SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info vDDL ]S]Hermite:threads=4elapsed=51.752cpu=126.840gc=1.6607zXZִF! Y]ŗXiɟH)0!h]HL\G y3phA[˗E}N V$q.G`.أS@ "hI#$wSxQΝ:5A 8[B! n>,1Gٗ#FıB'֕2!gC]{&[v} Ғp~q<:YVL(*>qe:6&%cagYZ7zXZִF! \]ŗXiɟ ו 44gφw_ YweXߛ|Cc&[5zے *x2pgYZ7zXZִF! Ὓ_]ŗXi%D3:cX"Ħ/.l VM`p&yT,Nn_NjYHv%b_cUIwT\S@̓K8G(DQ2 x =pPI! (iJ?d> xͻ&3չ@1 Ul%@s&mF4PBm3Uϔq~Tjm{ɾrC;=y˲9l;F"%=Fv;/%6cקlٯ\Z@]x,rnāȖe8b-HczH9$1)ի& -WR?h1hP= >PɠV_zqWD1P1|Q rҪ'gȖX j2V *z7%pFw'?<)ЈPvDς#"I(iW&s0ܨX?)q&#ZAV2z80UoJzWP~g]k>d0Dw~E&~׌[*uuaL</:rURƟ{%y„`߉J!jU̟[FQn DڊL?yQ$P5~F2ҋlsRX4PWf/[jzW淚R5U#[26wZb|BMNi֛'{w0~״*f&ZYn*#?ppB~{٣ܬK"1e n*ba+́   Hermite;% 4HermiteHermite.Hermite_IArraysdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 dHr5Q2 KmkԷ-7Fyk<("8%FdfOs4͒PyD|?˿.Xn=eHMG(mV[]R2TFY׏s<38*isU&vyn2aI3ae^ۜTg{460#sU*3s*tkMQq0OJ0<%)? bl3bݫ$Y]EƮ3vĎ$;j̍0'SA!hmvg+&4FE\o\^s>9mN % Bxݚ^a!k0$0NlV#$x7=P}"d:9H;0Š$T | b4q_>C!6ck{ޡBϺ~=8m|xCaX.$^92>!i_`6)PM4!O-YAk5O.S2FáGf:dnvgX{*Zb!CR٨)ۈ6!sg8TeGŕqػ8;PrR;X)^ =Զ A )PMK~D*6|23|ti 碑N7?*Mo h3%K:[N$J[ɯZEo|vA4sDifԞfϻ0r_R@NZU{1  {K)cEVΉ{2M" RΏ_LI,5UH 6ŕ=\2 Yc^Ç|L قiK#hAk>I(9VL+wdžpaLIOqQCϒiŘ4#؝8Q%w`gm@ 8|8R{G,T75KdM9,5Diec][IqD֥[&ߟWA> 6 9hpFzle"ӗ"U(F3jK@ތ9H '_=t:r?r̸y@BM}':{M+uU/gA:DNҽtԔ$Lh=;/*CЃF,2kiiO ٛ!͌уQbÀz"jH9%?EY[KӤIܮ-' [2Kq`cm[fMkR 9"hEH"lC9m¡4nGRSHƓզZ; gwEճ@@)!~2m~A?CYPjȗHC*\1<=t׺cm Aó?H6av@2 O 9JֲGIH2[݅ hXaRK@zֵ~BS4hHț"5S܌vղsjҷ@ӥ$x~_'(HB gfr ɪ8ױ#^MV4f@v4:[9Ĥ;6~Y<ۍ9+Wf.ݳ d=yqcn :(6.i>ƈiH)S7%L0J:9Rz.tS$z_nyXYY0Eu;UR1B])s3O|; {+3l?j7_C@ce"aS~C/*7:$ӂ``[6(aС]@dqP]gĄ"-bmIL:vĪr$ L"%(ەCޅSQz x3gGš5$=~E4]JtJ*0WcSX!/ VZ><'6-OL3lG~n fZ 4y&:M*䤧DA<4Ni~ LB,mI{>/9PܟZu @NŶ&G~^fܫ¡JPiA)`bsYKBhlbаZ_U,#FAo2,GS|3B ?@M,p 6pU󮆹Fl/U!B2g'ᨑ [lGjY؉(V6KKf7YpjQzKW&;ZZX%mj`(q1x6FV>UNMQmZ`8[4@HEj:bB3d@]tTCZ? o6OBku&!RuFt(r%RۅN K {cL76`M %E_(]u8bf AP$IGyGBu=0\C5g  (+%HermiteHermite.Hermitedocument.tex/;% HermiteHermite.Hermite_IArraysdocument.texBq) hhCJsl پH䄅bf!Q1:|=SNOv>n0#p/^qbW4L0S'`$О h[2ݨƵ; L e5X9/ G cǒ^fy=e˚CD+,Dƙh߬4 WO8Dޝ7!A_Tt%-aaAء(s gqCe@EW`H쩻O Y+\7^(Zym lack6gnG1BtK6=@R 4G@!j|/+|SQJXudCxIп>dkD`BꄤlI'f+Q T6 [0dzCmADǗ2GT~f>1V$\G-*$wc' 4w,E7q͒r;t5@تpaM=HMp[ Sxp}o`/-bwZQ9q ՛,_MHCXv 0l`eXE6[4߽۸^_C2@@x+9%ynZƜ)PR̔#42@AF4HsTPLP9Ɍ=4)<4k]h܁P{$|Ft!oȗV܄th0#@̅ޢi526S뺦v"0҂Ȫ'OŰα.q6\/2$ǑͽH2 \1 @dau?>H\ɝTb;X׀ {_ ܻZ D*:b3X1& L(G-J}pzg^#zHƏ1^xȡ5OpgJtES$?n #^Si7-&(웸,^mpUH9SVy}&RZ 2UAT-H@Hr}A 7Ҭc G7O>h bs+v1Y !!-Ip/9yI=|rR(CT_R6nIɥfT\e"_E+6nx:3lj -~S>bkLnv­L~tڟC2ٷm72dg_XǼ}|#áv wSYlSAzvt TuWB0O?S$I֊fmqI l/%?9󽖫ym7ws鹥vjceٟyS!/ea_narMe8W1TPÎN~TQ(o$AyeO0yD09vZY-K$&{5{WYA33do{8%lq]ʹ6x3 J QxWߣh$QjX%710b\lZgEšXw9$a֖( 1]Da CcH6k@VkAɵ]Nnoj>{fK+کi衴UX('8zȁ|hs؛r|7dX\HO톭.aRNP ϠQ`r⏞(R'͸*ʊ#E f-zS@~eCʹ9_Gkz&qg?L5ُ8gw˩Qֵ~] Egܾie4>$EwwFs2ExhofFq2t<6iS(yݢtܦ/Y+}g e:;`7iNh?C8~bX\)Թk:e]8vu*WCJ,[{<,_ ތQ|W&=S۪p,Cdf"B\/MĘ;ldGr ΗA(}~ra `橙 VXShC' k9HAXqEZIo"Tr$LR$ y`9w7wpӘ-"ba=W.2&ӆ x&/FyFa$:4t62M=Xh݄+YXЊP;;-)[Q="v,|&ԣdԬ":x0^֒';xڸޔx-ڞ:ϟSO|2< lu#>mWa_MKB_ʣgѻɟR1$8,Ji+S;i4/§^11 E,`3qXP] Tz#Q]PҙkDK%NI=?@侒LΖ'їc3-yNNEcDK  r%4Xdke|2Ը˂.;P6Ɣ{&\O[dr𻼡Pw}IZ?ҌRˏԕ#!dp&+ Q<K6CJ$mw$ VD::?Ih`*|ﳀxx@lS\΃LՅqxǃ&(q\%hկKpO$.ٛ 兩\#nuYG`&g~ |aO1jJuU>TEEI M ވ ]S?z%!N9c67ЅX fmѪoۅ7={ 5Of뙝dv%lYu6cOGcN'/EEq,-:Ci12uy@2&_ELs#-5ޱ4AFQ%~=7(A9bEb+c񩉁Sx2!C?v?@vTP \2kRD#`a.26}bC`wr'LT8?3Z5 Biy-&=R-׬-VOh2bA)醖3:FpI{?N@6a 9~^Dخm*sf'waSyеJ[X UmBgb?O[7iuc|{|[rgtc/@310̖sːԂ&PV$ .`'_1:[o¿ߤO& ЉJ#ҢH]fUu";ЭYr*4u"V:}ƛtSd؄oB)g_X[xTDA{z3fc^MIg~vĎtkKU~܃/T3rf@ԫ*Ŕ`pn$ZdTS ק².aۙ$;P{Y/d^:(o/,(GǏ b(J豤쫔I`Qyhr%ݫ-T\hO=bw)ҡF oQj]Ж\Wmk"7?O5t[8\ռ;ݎY\(FM|HD!Tw1Í˭nwޱjy6Y~S.,Tfx _L;3~bo¨šErEiHTc4 ͠nD DhJ}XǥSuZ`}/p ."PDTJwy;-vIImG79,)?SdvsoN@(~է.o'ȗϼ]QLs= QK$5cΧJ-sh8*6 Co?q SlS%ܗɁ,i`j^mɚ-FäCa'2짫wK!N ư MyȚ+:VL<y5hk:>¤ϥF:N ZVZ:Fzb@gZu϶&LW6 #1#Yv3 q0cbi7 qt}<6|nd@|#U3lLiz J(s{gǟœPxY3ȅavkŀ{/8 dΦAa~@([WuH=Ep29( W\aJe>D+L[܆hOD~*Z0tgjduP qδz9MaE)P+$ j=w^8FokuU泹ur[0 ?zd7+L E[]ȉ3C` 06w5MM5*8;G|mpHGxd/Y=˱/uHq=|=[5C&F`9J9a޸7leCǑM S?L|+3HKH# }Sk]BCE`m Ko K߻\\$6,f.pb *\_pl 4]Y UݎdE V@;P;l.Oy:nI*&qw3; 8Ȗ~Z-zq \Ӏ2;Dԑq~pSjJgwʻ+`k{uTR `rJ[d#͊=ife!ZW̪öhήIˡW6Zw(,ӤVp\Yg=ϔj7mq@O#2ԷCHj:8R DT hZ?BianۑLcCc5ݟP Lq_$^~-{BvSAHNBTv&'=?\.oh( 2kyO@=1~T EzKcY`0YtG.)Xu~=x`ƫ3?;aQMG:QXի*@oc[9݊qzEҋvOZEa жmX q`Hr6, {was! . kT~+z?bk&b-*LC Y`z=|i(.}cCWW h ƯZ'! ۾M] H25+Dq h\C0+./y\,+c:%Q9P0{_R9UYʼn!2>-qXlp׋mvu`b.`^k>{:ۭ ͎=ɎPڿhʌ*=ı8߿fg*Xd^0b80õ.m26h{ئNa'i%BskN с>"X VwFo 5Dg K }8o>b,Y_. )f3Eɕ^FOwA@*ht&<۹Q5rYsb;ƮBfbt<8wtC*j̉ӕ)j5k`EaO1lp IAFw_k ZJ<󭇎ϊ]OӜa-go*苚eE(tG @%)+7p#;@M.ЯH^lSQ.Ocf#ЯT%k\.뷶̈<ηt8֛:` N3&kTFLcBI^(w.veFcm>3%{d!ar# '>]vt x+xw얯um9jV? xzbՈo)saSΎz,Oy^؛ph! E_{v:ۖÑVZZ#Igrt>d~TAg&4%s$V](נ첥 XyJ-?9ԔolAZk_yW Md\Xw+NJ"+pj8LGa(bt(*wo/00h,WZC] ^OCsܛ Y?rؑbQ.ʍ9R 'gR sA crYU[_ـ&λV$iC1zo08I*iR9奮8_c\!5`P W(G"ZVZ16z.B|uuT,6Yoj@D^0YxEW[cWoq5If?f$fGI'nArtKS~M- TpIG#Ց1.g{g)#@86ݱr mTJW^1 A=1ǽXFѿjF;/UX >#!ܯb!jyWjL:I^ʑ:GPJ}Ď3flԜf~#%si,SlVlJ D˒QYdn\.Ml&vrTFS܄ w<=\ H4M Zu{͵_Ni V'{&J6uzeUSt %d>ȣHzSmSP>a*JePG-C:AӈT,"<D5fWAw 24XI昨 b6 <$]R6jbcX~(l|uU4 QSTenei|$X;v#Q(D Xu޼!~3nͣm1_ORZ_\ipxF?\wR?f,mUw%ocnl|zU &Aaf q,}# "jyo?J5N3n?M> dlx~֘Kc!Spx$$r:}>|~8!\ipʞw b6-s2zQ#v ]Ǖ>'G]̱ F}vሕMwp~rZ`@o. ]ry}_ sxJ)aФItMhɅh$0ЊEb y8YjMܠ+`=Kp kiMuS% 8N#^^nyY?c>Fˑ7EΐްƂ+'MW ||ة3Õ]jkVC}'P/@o18:6UűY[hm(uӡa&Ђӭ8WȂ 8 7JEeR赋:>+hW袉$4ab|s'=^|Lub_O~qjFcV>U6ܦYC f?kL_7䰊Buk_VeseW"agu>_ (͟0sձ>m΃ r`Z"H<*Il4St=O0y2ũ,c2,{ݏGi`?`qg@ $zK/c۞IR~Tjk0O]Tu9+5 +ܒu;bո0و;6GZFTQ``?zBկ?!K NGESjAFx(i^%yJ8L#a;>\3 /I{JsxJ9Lr5 nԓx2u; /F Ϋ/(9X]1u88*U-tX +I+rK_i$-G3HOI 甯yB$Zٌ]Җxەk݌精b⺞$_2}/MHpUKxdFߡ-:^Ԣ 2^ V#ʂ=YXa)iV"4`6ƟM sX|UC( {Q2$!V b-ﲢ2שQdW!O6bmq*ۮ:.H3x"ye l8nBѩ3[Q|2-Bl䘴(9qvu'-hND;J@̔ZwڀT.O 䧮&rZ"j@MgЄ\h)$|{۬e!Ѫ{کF4L"1e*wnB=\MwAẩbnxWAaq6zqػZ'1;"-ƑF[~4o>aU Ŝ~c8 _L "*`N ͦHa,ǼdM3&Ye='3˝{#ehD4xT)膭 hKszUi@mҒƁ缙>7=9+¡o4.a< [`e#j6&\s]aG<@$KUcƼ^;Gv0?0gzKv-D1cb3˙/(+2 kj5vժ9յ3Vw4̾6vH]֒*'؝M=?t "*Y_,YU,nyHJJv#h"3d ҩ$Zۮ&$%ՉFZV] ^@/PlqPIx䜍"ލѕC0J 8XbwSvJOZ@qB29jOEn,(m{mĤT4tI K{"5>9&&;-5P5^E"IC" ~޾@7/tCm=~ɈYosb! 1I !%#宛a$'h6C$ \LFM(,q<3c5uue; 4%ҡ5%lf_;'&MJou\^g6ðL`vSHe< ]?І1e1myVK?OTnRvkb,"Aô(";iU78 @WyB<!K7fB-BinTLx|N.B :~ZGLVGF*ȐyA6NȞr??(zI-Z˲V?JnZ1KT`'ُjcځ+/~iYF6h7^.D߲#&8m 4˚*^X=hT2L, bf6x٨n" RTAw4;iԷl?DM5ByOAg7d*{0'ta[vuv;sSRh?7D(n %bF[K t]hB7d+?)UZE 013j^W*a_Iw~هhx\`]{ ֔1GM6 EQCFWI]fXc3Q2`s껆 \W;5 uN_ݑ1k0@D& n#ޙJޗMF7GFqԅM*rl hyY\O 6i<-m5J!STi6aվ.9 \"p[KK.m+8g,L-r{2|sT7o䳖׬qAl\>le =D7O+pZдhLX|?YKҿҁZOkR&`TLqiG-V|kbk5ԥ`'e9szx XוZ>ףeYbś[ k 9黝R*JG# >UZI&ki`R 71'LL}F󕁶 Ƽ뒴\: у7/Є;cG0םdžI@bt y۵0_(Q:etw2]^n3̙iY;M'ݖO-*yNV1?0 +fX@(;>5|x JD脽aأg2XZ6 H@9pdI!k+5sL:ֿkGj=D S Mk6ww˚r_=fVBSXeRw;.JQT3TтFa |+CwVjkMɥɧjXK*uܦ{59)2~Jl|mȏ#L| N_)AԛK54y,̳@,qt_T537V7S?v) G ^LT!Q/Mא*g` z9Ǧ_JԖϯgO=׷N:QBYx40N^Zy皡6PU Tb)aocQ6%wyґG[oH?ۛ~[hy҂Zvˡ#YMKc9lWR_Ii~sܪ]-.ك{6iŀti5%Xdp5[5 B0ĥ7e'M z"a9Pا8oI*Hn:=Sެ V?8CčJs$PdD@߁LGX # ң?e ۷}@v9Y߀<Y(UG0 {(@\Rie/^`0 \#"t,q( rhyv~-ܤkHs&I'͓h\%rSoK.;R2o |;}eΓZ.ڝC%Fm~ԩGKVGiI8,]Nn3c6zYI=@4a[KeR, .h72lⷅ 4(ߐv-+JUS ϊtO *qTE V :+)-_Ejn)t^QF\IՋˀ - O` &>@1i[}#""n_{eT' X=ؤ|.Up-#[ 6)2EYM,zV^9;h~-sJ:H*/җPs; q%20` 5*?dUˋqv*I 2r48jcq3t0Nׇ /i=Y֗T(d%T4 _}M8}\h | ?ֶq˨NZ܏LR.p(hONj@*T7+(E3"m%96F2iëX=*6?9weQc-'L)oWרwt+͜n/˪x$\sL^^Ld ZnR\ 1qyRux7 68]@It߬ AbPܥì,\Kwʰ(.^*g!Y~I[ZnyʻU_qlBYuC(l?`Ae ԟaNVIF7rTN&xĝ➊ܐfENԬQgMu\Yku$qVd-N5[xt#:x1A koG85*{'[8{{y_\7W׿uF5l3qs%{lncKnL2BP[aA-~0߅8%JqRZD2ɵ 4uL@$,@Ҽ>2H-`,'`?V&q$;T/tpy;^K*TAtU )([|Lhpab#>_x^S¥ށl< / x}TC428| xf?pPjz.:)Q'S4'HI^]&dMurT0[ 7ZexUfKLJBo4>` '"^ guhR Z:QӥVD]|_q38#b?qqm_.\f 2VjS,e؏owpWcf"K3JJr.䙯G Bz =SlYE$|`dHfzȌM WOdyuRp1P#2d|+rK; brdC)ij)b1Far'nG"4p"?FǤeQV˙%$^R bcҘ ƃ3 KtP< `$e!+$A,X'L(ڈ!+VræAr}o ,膃?o^=U/}D5>|zHP j28 ϜV}&3veX?JKl3y/ Ɍӟ`^\ţHC~8qqp؂71&0>ڒe&"zzqXOnK=5/7-'RT:{ |Mjw[xFh0MƺιH^hpLGUfp|Ld NEk7%E\@j}u -p9}cL_G,v}CYL{m_y"K[r8KTJkSi|gOJ9n=d=x j3{-8 )]vX<+" y"`k\RNCv9.wRIsUrD1 ̫~2@[4%{Hnr.lg+R0xP QM`b A͋eck2y;t)1.3[tPf *X]>zrJ\r~˩yμn),I1bݛxPzLw;./7hSqoiX WL WpR˚*} gxO`N.:)"Je '^ҪC +8WI.9t!pm#mU߹W9sg5[fjwNqSH(Sr>ls[v2\h86v eo\RN3zV`c;,os1Z>aJEÙoIYZ2C/ (a{p j r@"uU7VKֺc> V~O~^o.1KL61p^lk'BZimjMdޟ o$.U,<'7OٿzR/z2OGQmi/̼V}[ ;?5.1`m3jkOSu$7o\0BB:cdyF瘁U3٣G8*tqR.AvʮZq̤owu70F,lHZ(WEgкGSѕ2e2J?UY̓[TpTlr[K5_0Hp_a2TsJΪO鐽BUgऽ!1RB \odP-ߎcrAvogH7=hG<8(3@芿kD3hݞy ,BXܿh'`?=4)ם6'dZ׃3;-\$Z xp%S(EBxP£ky`D%[ W}YNdZܮ !yQ-wᅗd'Bh$FEa4ǬQ6_Æw2#*}fHp6/eh@ҫJ)Κ]ߜ'Ĭd-K壘-AMI9$.R|C]!8)zb0[ހ@u0U2$AhW%D6-I)L_5(1 Rf@80>44.{r<- ϳ}fcS߶"GyL.cҔ |i7 8e{5 DX&u"Gr|k@4n٪!BXP\KfZ&adL#Y:҇_7xI{h9`g3ctF54JX`wC4@ 4Y45]@gґ=~,'i(KohJ겉 !6H^3w@i_a 8Z MIAʫMGCcl^}4Jm `7JC&<[0Z;, !Z.d}?o({oW;8xX}?:t. -@&&XRzrs@ẏ!~ QA =/q w/w̮a^/$#Ί7[cNQa ods"n.L L\m)"q->Z$˺HRO aS P8lLh&fVDwW":L,Sѻ@N-@2ѕCPh.eM%z18Kfd>+= -!6 =[c%窇X׶2O_41nݠ@2 +Aa w )Y eUap>l9/04燍Xm50)v!6r/ kd)x*LǷE0'ZSDAI*#nyf>d{oY<{Z]$FjmV_01<(9F7Fȳ2ˆ;e⽾ MGP,ՅuLjs|="V>\b\Pkr {] {_u\#:bV]vbpUҘCyص%y^"]+/d}nrcU>bSQqaN 'Z% ybSpp~FVSxM w7"QUwy18;46R;m6''y\$hhEz[ Al| ߴ1;/n4-\SBE߳ܪi m>{*r }}#ZS=nG1"1& 4a:t62zDqXفدYu@i(>-ǺI=֪$3v(2(`Na6{2"쟤oy+q}iUO>!z$XZKUAm ZD%^"&#)6RjI ? ϒ6j꽆3l!^veDkKMwڙlkaPUm0OzS~a+V?0C:y8 x~&*-H&u#{h 'RTtΞOzz=4Pt7f~WE&v xC)tac&h h6pFXs\n@  :q't[F;i VçNM:Yͤ GvutfauWcJaSFrG~^%?j° \mO{tγ5)BY*.͹mňM)S-7(:~i2! E%ϟ} _qنUƣt?jV,(N<7^I_oe }+o`t.Qtn-8ߙ 8 CN9mVয়cS+#uSt!yKf驟gBУ6y)3Joh2dC* R\EOXb'WƋ}lMx!zC \1"UUKQ%Ԏ ҥ77-@&3 L{tfҢн(-%]jW- `aBj>-foዷ2Va-۩4!Iq.`w Na9*HψAچoHu\]֏|[P` ̇lg`ݥQ$Ʋ@3Iƚ>fb5ޫ Y1UK>}fp"W %g\ 1ʼGE 6AZzǚKuO`0|5D YیYGMC.Mu!E^MGiBz2}YF R^~&h72`E50F܁-v~]XR"?ooLAk L!ocuRs٢TLۢP5=5D+IТQZvTlPd>Z ʭ$c&tC%⁰4 W.myTf1R Q‡ǛUP Nߟ4 Xs_ e*S.1\WHrY]Q"UŭgnkӔڧSb!]Y`E kp͚KWMzwӨ:F2@?g5{WG(S*elrD5bұ,9 Nc2hE0r&RQ4> KJ$! @ e zڑYfٚ&,Z@`1h&v[! ! * T6!vǀәyU,meE)5eB-q-xz]U:&_%UWVxڑzxJ_?#Ú|<[o8\  Z9rHWz?IA#y\pX-8Hn7.>ex$񛬕[?9B-Yx[r|q8R لж JIHjt:du}"Gǰ2|+Ҡi^EqZJ׈䠗,ۿ"E53OE`(=`٤H=Y lSJn6"{E)#5I Q(xy ?̻=Q= ^=&]KI3$̈́PRY;<;J#ǫ+<;9 Ji)`3}%yzLPT*p[b.U*hLӲUSLqAT( .l'qyZӦː$]6Rȇ])C/ 5:(uKP} &OOfq=,`ǀǞhNX&z .3a >ϐK*bhΑQ.--5՗?9@-#f@IjUˡ 8FH_50QcgrWٯ XQC@m!g)7ӱtN'4*פ0#Ua&y,A`>c{=H~Zzw ±Df?lOM;OвŇ_(m[[#ʭnRsXKϣ)UKMN\М bt03Y8a"l'!A)0kf.&;1o:ÑF?Upθ%XH,Ó*,`sQ!\[;=R4عG2*NQ-"ˏ& 9)TfjC܄ zp\e1;|tFtlǒp̻([6m@[zg QpI \u(PF/}6íneؽ tLd]yD,]H}3H+޶h4C_E5*@, |!p9Dz̊1\Jm/?(-z"1QBԀ/BAHrm@O6XtȶcnD?!g,ㄩRM/)nY'X&n[mkO/7蓠-ZԀ rB$5bi%=5>-ȿ$,25649! e*8A0zX>qk`Քk1Cp=Y VI`0&g|]QXp?%'l0<8Ta7>K w 4o nɐ;xf2w=~!^Ӑ0Q X],\9P |O |MyOMm0j(j8BIr'%klDH>#b#`8es}<*"f) ϵHim:9dr?78JO 1,CRdD=[ӏ!#y?J4C)hw{bW``Pʺ.m,EI `-(@Dt $)*,1uF!h\áנXuQ V9IHSZ֕1(QцReK)7$؄de[dLKVN:ÉjSh2&U3 0\MT;ُ+X#t\\X}NgݒOuD( MEpi°La9"s{m/ Y÷ƭ=Pw QM[a7#(R!$~J˫cۦq͗عjL-Tf2 /6;^jaQ[o˨2)?4 JI > ,٧.íYU't k&f:dAՇmYvGґ)6YOk- jlGU >I]_ n[rRp?_;O>gJF`d2cϪ$mU6WQw"bږM.kD%_szAd%R/;[BclQ؎8DtT[/mT}H6c/7aQ!HƸ:5_MrqTECUZ"y[ JT` êс3p^ q ;fŻ*~֚+klQEVSjn,$v5ׂw "{Qg˷*,l ]y7uICy%*Lk@YΎqXK %Re8;q-ױ&#K&^9j>$jl(4:xKkr{لHv0^;FLab$Eͽn@z. j.5/# U8~++}KR~5Kvi ,QVJNI<|o'&.ENe/ef. :ce7%6 LmО`TLiUN82zQQ Ii%1BCg0(D|sY ($AmKz|?G~-]J|Cer&2XSln }SQDm]R]Qт9A2MR oE"a upcbs9zCŒ mkEoB]"TNQW.3jI&C?<6 aʪyKo 6|RbA-~eň5A=$ x4"!!Zr_D|j28ps|FF:~;09yNC'|uJ5:2 PFU2Z@8C8OHt#dzTqL?\v EwN4lFcAqE31BQAi; Yӟgt楘*:uҔ ESdxj>L8upT.6n*HL9 +؄_YӇ mXOڀcV5;MrR6E",`#G}, +onbF^Kfuֽ*dQmv|Al,H+s|iCtAĸ/n=G[c+QQ:H1Fu~e6@t-d !z۲ >Vu&u)h\f=CmA_4"zRܞ۝a^OL;9E=X BUg [8-kIT.A>6,cqeH/!!Ju5 Ğ<@e WƖ)/:T\}.!dك!"`gYZ ww;% 4HermiteHermite.Hermite_IArraysdocument.tex7zXZִF! ]A-MՋhvG"uIBm5 dHr5Q2 KmkԷ-7Fyk<("8%FdfOs4͒PyD|?˿.Xn=eHMG(mV[]R2TFY׏s<38*isU&vyn2aI3ae^ۜTg{460#sU*3s*tkMQq0OJ0<%)? bl3bݫ$Y]EƮ3vĎ$;j̍0'SA!hmvg+&4FE\o\^s>9mN % Bxݚ^a!k0$0NlV#$x7=P}"d:9H;0Š$T | b4q_>C!6ck{ޡBϺ~=8m|xCaX.$^92>!i_`6)PM4!O-YAk5O.S2FáGf:dnvgX{*Zb!CR٨)ۈ6!sg8TeGŕqػ8;PrR;X)^ =Զ A )PMK~D*6|23|ti 碑N7?*Mo h3%K:[N$J[ɯZEo|vA4sDifԞfϻ0r_R@NZU{1  {K)cEVΉ{2M" RΏ_LI,5UH 6ŕ=\2 Yc^Ç|L قiK#hAk>I(9VL+wdžpaLIOqQCϒiŘ4#؝8Q%w`gm@ 8|8R{G,T75KdM9,5Diec][IqD֥[&ߟWA> 6 9hpFzle"ӗ"U(F3jK@ތ9H '_=t:r?r̸y@BM}':{M+uU/gA:DNҽtԔ$Lh=;/*CЃF,2kiiO ٛ!͌уQbÀz"jH9%?EY[KӤIܮ-' [2Kq`cm[fMkR 9"hEH"lC9m¡4nGRSHƓզZ; gwEճ@@)!~2m~A?CYPjȗHC*\1<=t׺cm Aó?H6av@2 O 9JֲGIH2[݅ hXaRK@zֵ~BS4hHț"5S܌vղsjҷ@ӥ$x~_'(HB gfr ɪ8ױ#^MV4f@v4:[9Ĥ;6~Y<ۍ9+Wf.ݳ d=yqcn :(6.i>ƈiH)S7%L0J:9Rz.tS$z_nyXYY0Eu;UR1B])s3O|; {+3l?j7_C@ce"aS~C/*7:$ӂ``[6(aС]@dqP]gĄ"-bmIL:vĪr$ L"%(ەCޅSQz x3gGš5$=~E4]JtJ*0WcSX!/ VZ><'6-OL3lG~n fZ 4y&:M*䤧DA<4Ni~ LB,mI{>/9PܟZu @NŶ&G~^fܫ¡JPiA)`bsYKBhlbаZ_U,#FAo2,GS|3B ?@M,p 6pU󮆹Fl/U!B2g'ᨑ [lGjY؉(V6KKf7YpjQzKW&;ZZX%mj`(q1x6FV>UNMQmZ`8[4@HEj:bB3d@]tTCZ? o6OBku&!RuFt(r%RۅN K {cL76`M %E_(]u8bf AP$IGyGBu=0\C5gYZ  ) )3 +% HermiteHermite.Hermitedocument.tex7zXZִF! AtE]A-MՋhvG"uIBm5 M(F5vt6kEGw+2dfQ9qF.shPsuo}E.\H_z_tNhgFܿ0}S3|NdjǶsQb -v_u\rtLOŕj5m}[Gra؀o{tuRD!o7~a>=mԅ]+9v- 8㬶u zYEQҋ$"J`gD{cRJ7Z;H,oTp|Iqux:>YrJU5i3ka4$'a6ti7?ZX@5#:X]"F@ ݙ 4C5\>7 tRiub)ilHn<]mat_h\(EO.  +`YVBg#;/eW_Ѣ|w Ց`kVS%Dۄh @|׫6Lnl&Id7snz~t60=]Bqa3rmv};@y&!#Z`+͐״w~/Otws[MX (_!] t h:Pmvq,%qל JK4U"+7ƫKGO$bOMFi(w*yvl쁛K/#6pFkdk@aUF^.9,DD|B*鮦=38#I}+86 N~GZy2qhe Qy9PJU}!0$OsESyb:֑s F[LH)Ĝ*p76݅ޘb.a]9(*y)xE8>O2Iؽy. nmu6`aYJS7aߺ/o|h@or?18Zm;KSe yˉ$>%u)Qyǭ.ZSXUE%9r "xڂT׏a!7Lo/h)0 7&B9 Jۋ$$|A\M$LGA=ejL0r`WOh20?+?Ef?4W&U!ormxO]ǩvY-ph/2f?.+}I9G'k󫀃V}h_ I^8[llOl3 %T`.8wc-{, }F[&] 8kp(R_".ߌ\ūQ)Uc=VeuT>uꅨ'e{5r"D)RsƪhCu(oYcXh= <%iIdt3R+DT*8JR>1k9kX$f9kϻLL 7$߆آËV`ψ#Ɯ;vSN ݜ‘_ Ӊ0 ],Txy8XjsCYJmV*:OڇFwzd= >PǙ@rDuzLݼEU㔘#!$b|(i 'SچeiD8ݏ{g6`}غ +V7jx6B4/ a0{lxe]0kD8onxMF|VI*+ΐ4R$J_S/ҐRz>ys!~Ӗ@UsWSba|aR61 Vq8Oti={h) WWAIJ>߯04`! 3+p70&5H)EW?GO]6dJaO4gL(wfl# K# C_(^f/>N []sNIϬC6֔(Q@]Ʈ7t6k`BO])0RLM$^%cƦ hi\2n*ai9@;*aiG&E+pB% -j:X(SIˍt㧠?EbﰘHoY Y;@{U&X cd b2P /'E$V?Qf&*~V sgB:Ȯu4OES3Ϩ1>f| '$꼥kf,#}G^:H OQʀ6N`S}+L`f)!$~,!~?=*'7ud|ɡ_G?i*gx)5^ˡ _2X{tu nk5Ųtn=7q=>f?lj8A.vc,t<_BA}F̘fQHҲkOk(Nuam O9 $)Q/ADpօ)@w$uSbc& )aq\ 9,BmJ$x!0 /)w^K~VS~/-B12ȥA9 c^ 뀇e1-i In'[tLXG$r.Q0♸Bqѭ)T bySO@jp!352?W;<\9unq~-2;8D'K`N oXhEmՑWy>T"v'Ow!2PAd/пַSDpa,p9.s г{8,zW{iJO('.WNk&N UۘIGo;sXnt˃ Z0A V9_I ,#\&(i