SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  t tdD4 ]S Hermite:threads=2elapsed=87.992cpu=139.376gc=15.628factor=1.587zXZִF! {]ŗXf1-/6vRZ*F"QvPGα=M7Ӻn+Qa),ϋ7\A3M%~¹N%[FF L[Tap..T``n'GkMpw~ӑ~jvy[6gS#`{Z L]yqI3qR$>:̦R6Ï8M A3/ 1}'Uzјgrw6{ߦat/O8Ӳ]"i[pHkaU(vJ^L"gEfbM`ÑIoyOZC y?pQ#-62' !o^Ls7N(MSě=Hi< ޗ gYZ7zXZִF! Y]ŗXiɟ ו 44gφay~EOD,^j?4bBN sb:r~#>wQ ougYZ7zXZִF! ᕒS]ŗXi%; K_-㰨d3qgA}V6pƜ(%Htq~.0r ngezM_݌(Ms u&w8D^3JzR2YN¹ݳN %i~P|1VX)zvF^t>!7/JS܁Q@ ,kԱZ}ak<תiA'xB0 /#jz*hŧe A΅ ^!YUME7c, `\,;)?mNf6}"5'*5,\?Yg۲q6Qc,v; /~Uڍ%䃋Kl|!@ZD6SOShpvr;Ի ˶,;,`k;[ێ| T?GA0*,=JIn=0PĔz!k$wm[#ɮ?#E5z.ԉ=)ؔ*p   Hermite ;% DHermiteHermite.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-OL3!~6f\(n 4&$B4JOY,):!'a~Roj¨˶ HʸKcw&C!S8.ӭ &Q!Gr>7m!'[,;GEMݘp1!3[„J$<dwL4PN# t쿈lc y( k+|~!D%"'O!gٚZL A=?TϻO@mܽaQk)x&HVGFG>ʋ큿A@IEZC]jJE* @^ub";`V/;7EaS:Esd!Mj4b`d#ͱT7wZ(#EAR2z Qݎ(FkdX>OA~z^)"YoY1"qWϯ|]2KH4VL+{ĉpxՎK@ .U"'SkLg $o]7`W( x qY 8 4n28x ljE. r)CVaZj؁`kh v9d(e¤Q/*CpU:JN39UPY(/({撈VN0Oǂ,Bg >SyPf1T\Yf>cݚGRKNxzq U 6)黆A4 L;H :2ԅ,MhPGF<H/FDe2p}[]}_T;0W4xȪu"/J4_VD_='~[ދN A9;cx;Ȫa 9M4]"]m.Aa 4#i`)iQJt[i|IbyCZՏ` M]4p[ FgԒghe,,?jT<'qdt 0 QOӢe\%,~2IU] (śL:i5qvlԶ?/D=hDv'!prIZ-|j~z4b^A/GZÍ*]P0b_]>diP3%h̙ՙ$uZdT 0+ yU$k̆^`F4_w&OCL*,VOwG\{c82szW}>/ oj|Az7-WZM;&3`_V6~rz&RU*kx-3`f {xI?rR!E~g<~}{>#YKrt[_H}!Rg;@mtG-J4@d*gR8wgV?B7֮6ojQM5#SPօ?K! jOtPum\Q2Lmr E:j"!B_gkya֗HӵYhNlt,eؒs-_t%?yS]igEJ0ohu4^|R6l4'2"D2tMk.U*bQ%^r5Z15j$Ӧ!H!M '9҄HJJ'=$5.q5aTAQv*Ҳ+ڎe+cv XFPszcÂtͶAХ{lY.LR$s(ہePޖjBb>/cp=[JpvXAՆ%( K]` ܂(wf2R'hN`CXEm⫃i,kBƞ3<%BkC>%|y׈}{eX|f|B4=TgW!DDeؿrk0%χWw] 7O Uf|faRg58y1>p#da#ݟV+tG;_,ub YG8 "e?0 UݱtIyQ3jib-22*y~?S֠~_\]f]WRz~%K܆5!37k6֟+uZFߴR2MHVI60.'.@DB9:*0ݑm1{U"8MW˻(q)'&q(`i {GV%JIVd[j0}JzԌ G" 0bIUE4H9=f! OJۓK\ʘL 5e 6yq>@ ϶s)=-oLjl/N<d1Tb f* FF]3jfBe+̐4Mo7=d㤣3bÁ lRFWDd t\sIVxqOO*d#h {j{~2)nkI$F\FmMA7 @00.AՓ,2bтR7>M>t -KZ<ҍ4$pؽy#kTew=Xe#ٝ㶥:f!y3dҪ(w6qֿy%!vՁ*Oi=|Ł*T:/MpySjCR@J<nSw-n.ܷI)Ǟ؁ݪRq}گ/v5~\bdI)uOЬ9xtݮ~]1ZrENl9:5QG\@ԈڌRށe~ॳYga4;[ɠ B \BJ#_:lܣWC A|e+G; v+>vTzXy m2p3>oor,J+Ws<fa~[Q&R$S"]+d/?n$<*oo'pY5.u}7ΥD V Y,1J! /P3`j8'xj9)E=nX^J0d+nQ)#'̐@͗ߗ8dBdDk+8//'qʦ9Ui;<cYhAxحxMLe@s+pC[$Ǟ< ߟ+2|R-Z9btz2n[cӗ n22isgM5OM~hT3]p񀲦qM< Lzfƞ&mleI{'6W@T%>_g!9_MI"<] #ɻ!eYĬooz6ȝx/HwRm`H4$zw}wWQ–$B,kB?uf'M]l\ȁf#]zHc:U1"%cOs-F5Iqn-q䧓R| .7ǰf sp>I+ uk_Bi_܉Ǭ {#5T)~SgE#R`cӝ<!En8^ּ{no|q+~h?>җz`8T`6"c[z> yo##0hk4ţO&A9BC3 jC{OVo‚#\64yMP6\~7ڧLOu}Hi39\M&Y^$-c=pP@⑪3V~ɭur[1 ,?6+:B@]Vyr+.YE1wF@Mb`[AY,8O>D׍i_U[FJE\1qf[9FNAkOs4."BaT@& ~@$Oo z[K2~\œP"ips 5co^|^--̶] RЄ YђXһ.ޯc\h aG52TY%<@imD:En vKPгE{3$~fq[n;droaADۗ+r1_ϡ(R.?/Gn(CוּLQ(Nl+`/<k[1Y @HhY1げyAոHO>s,ZC++k3IbaH%xLG/!J7x8\+9hH݄&5[bl(7R)x%]=h+*g,%]7w$\n8) CIM#> eK:ꗱG3'uIZ:} EkGҩ=T<[}o)U p1>FIF\%_x^InWHGLElP_B_ކl'[qM4ڝ4pKԸUʱQi3-M,j+"=1+(xK͕gBD߁l) D3 3S+@Z9D-}&H)cv?)X#utT[jC~*hv{V=`\ .|Ʌ Q ~Fs9r̲H@QV__zwHOk1xJb'iMIdi')[fJ;oPGĠD0I~]:w{iIYTbk9tmVO|f.CqX=t9=a_Ϻbbwb|b m88_)ҫ5yGAMex5v®xe1bd,[LI.mhho,bزXpuǬ)(_\ {;?apܙjm.]dGb0Ny`j&V٪ !с3%iX~U{$:5kK,{i-|*VQbb FB')h?pQKތ=xђQkj ^OQE1}hr(v-b '!=WZ{y4Myy/,v~p Y;҈p&.ys7>Jn|Y:a[2+49aBF)n( wKRԻm5Z7폮ڥB(c.uX-EǥKH;!;SM@\xxbSN1bL bNhmZ<j$4XxlWvS.Q,:ޮ(\"~))#B9s& S/5=kV9sB>U͑6iH/E 5Y W^K^z-\ZցiB'L Q γ'&ڬQ:<鴨܂tިP8;"=UymnkHX85I>łcvWH ݑQ9OR1.`İt+ehi ^L8rg @{s6D;vԽeCJYK*\XTܠ_ܥQfM-_Ӓz"̂X#_M_'hMWx(1qDZQ=2^[['QLԏZhmkzTzٺ86@(|K]rXQ0w=xy=6p/I8LwXqCЗb{ ;o߰+b6i{i`+v b,娭CVGꒄ M8I֕4Cu-SIvc\C,^"t$-,_M#AQ{:,[㎿ !IZ1?]ytܳ ص҃`J( {W&j֍Nյ ==҅,zlo OV\' fM| \)Liڗ>cڗm]6u.{3&ͣ8Tde"|T=2'!;LAB j&'8Eu5Ȕ,&|0&K:Y7LۭP9p z Hj P"V%]1 \/: hW sYuJKGs؞k|6 ȑD2$PjڬY3ptT#!: )'l/9c:-;D 7:f1=W'l<хë b}-Tt`n,Մ$-#0 cԶ58PF&S@}ܙv☦&یT]&2&QSNg.f N*0ԒU# 21TYGzV;IrEK_@s^76˜4hqkg ]S*c~QS&tIԴy9;,}EU*~U*>>Ӵ^p6t`-%[`v3`Y10# 7.s]`t,%aos% g_z WqtëA_d_F$=4D.=\PF~Tma )ڂ{5/{~:#ƧP(ze(7'Z徐ۛ'[9U[5?znNrg嘱oft2:qN+@dTH:,g@brl7:CَU׺ž%)_Yc>Χɹ`c;}tvx ib Ir=pQ;E)oaG}k؏(ޫPU?\L+h=)V_ἏEQ7]&iVlbuTF>0+]) L[]S}wG7nVgW4#" H~2ld#cly.P,&gb5y`fA_A|=QmfuZ9 "6ґ9+-d(+d~~H \Eke/SLlX(L; MD8޽׎Rwȏ,- 9Fxg<_׻j)ԔBeԺgCc3xiGV_(0Z|$S(X\Gd? aD t#T@X,坅Ȏ"gPk 8 euYЊԡ:ƺ#\#XЉ%h$D#LlB.M,k(TI?u9nJz |tr0nk1Hu^hMۧ5gU96 P@ enʞ⒕ߥl[,o>gq3uQ|gDd/Hn"XF$QSC|0&>\A#%qq[ʩ gZtGOb92ƌ<+àļʱ7 kwZœY-HI)E".9Bm6(*Å0]3|X mkF y+P6BK&Hn&)T^!j9i9Bnk( M%I.eZ&5#o>Nb[9ӈ7UNpXRx1 [ >=)SK0j7HW$e4r]eWwP2 ٙ֓$ⷦ0:zHcpsyJe; -|[ZCK\*$eFp G޵A]"(\o# |Q[m.hg IS0%ϐdIWQU4.8Bςhxb|;MʟʯM6`x…9\#y՛mi\TyŎ\z2 !x0ϣȹH@bI l<- cb/`u프[bi8I/fi1O.Mǒu]dџ}'_1&WBf2^:#NP, П<k7rqPЌ()qF"LVUjr1Ս4zdb0 utec'y6WȿXT[͢ylaxCNow;1.jt#53_د\!iTUS/5 ~O.Πr4]L.u \p\G/^ClqMhi{,"Ҫpty;fP qrBՐsl@hxޥ|rޱ5qYŻ'\ qF=se @EϦz.{ߓBEKN|0띘q)<'hep}ڽ|gՉPGݮ^Lb)VX}Ze-ºI|t+(0 (r/|CBÎ- F" ?0"5M64޻<)-Fr<`_[r$|Ȭa0Ax:GH'EPHAt]=:߄* ֡ΰNG)#U1hw _]k7/ع1i^ :jD maJJ4Tsdq rk'pi-=ˬF|=0g{3+ԽhI}ىp<,sr&Ik.տߧa~EeXff6R ko5mC+)_/}Y: ;+6Ӳ[-}=A᫐ҔV|D&eDa:J1LF vVe E[NSM%YfaH@40*1cYl޹.LvfCu{GQ':rOBc/pi%ێ&ī!TOFfyq" ZLxf2۸%SMQ ʛ;y<?ugN:м.YBx-W4כ^4vd,G}C{.ߏ*u*QS.Eb=$CDZ_/t$4,cP[vp$!KM_-:mD]MR[#XD*?d7$QmR4^ex4kk0Ӗ!ѓL2L/FM[\ZݳňL7@ٳvЧ.{KL#8NF"ȯxǪx^9Zo&w}Pt ѐy7.g]Y|J51tqWdSwTC c؉Vpߧ?O\;X[X"<0`sisن R\=w¢&4hJ&N`pLْ{}".T1YfQF!|nІoAF"mAѷ ޡZ2czlpުpa. nCM5BG]"ͪt/LN! F\-7< 沅^k 9!H"p3>  R™'RetFBȠ;E!ĖK0XgHKy&0 T^Gc ١ԾڎɆ7T3˝ϥ;|z6 (V3b(G:q Z^9icbZ?fz 2ON8vԍO9&zcfaP<7CO)D果0<G5L".vm2('KKІ]=e|6KD@ ]%'w=ǜO7U3Yph2TNtM2ј*'c jXAKn8"5%'2tsjs6wy^r?KJ2o^N PR\,o LiYf_o^iuhm_kXC(4~r&u.!h :&-*5{SKQ֑=9ȽGrX9SaeaB+qXZ((NWn39eѫz9/IvnVgbe( x bf~xv1e}a xVnm8 {rHFĻzx{$S b(qٟIX(`7 fh^{KJ](3,|*N.ExvpS2gӟsrPw eV='5fZqmŋ(ڙW6^REikg֞fd_Vgzqc3& I5Eȟ 39,K4p'tzRRS!AR\4 Gb@tb:FO8IxȰuE@D]@pԯngfm|ŗJA6B4Lֶ%kfH2~ȏWeDCt;fq*))T4މKU@1y'T%,,% 3n6KuMy[7VkRrQ|ѧQ/H˰"dH$~JK̇DtwU<$ȵTr{D$D^ gui@mq ]YbkbL+ ]H|vv׌eZ694pVNࣆ PqIA[=vх7Kb1s Ժ pVOY 2M:˭J{Gd?uT.T\Xۂ-:c5.a`Hu3YeTO;3+Kv;Rag@0_l0#ѓoF[iVR2JFsq]i6*?Ts&CgZKQO\Mz(2~ݵ[?|%VC'O7pD!xP>27?[~b_pFum`'̉P>A~w2 7oid\gTQbhPNgd꾁j3ՎEZh%y4w~׵CQŠ Y*Xΐ%dI^ j`35$Өi89'xv[d*6}dFmw:O>u_ĜYYΞ^2iav,KloX ATIAGİ$aڣ=En5%X4l'eȗcόR7ۗPi{NL6%6{Bº NG&81q]5>V zqFUn%z~KTau2ODuȗQ ?TmV6'C9?q~PԁKMBkã_'_ p3 Vп9p?=HravL3g&0|UKKa%8g2wڲA(MB| NbF3Is ke`$yFW$`x] 7I 9}qcOȕ ԗ>>L4ga#n noC`ň!9$~`\\4h{B (R6O(e<~o|(ΚFEcUr;Vqהt~4҃t@G6樔­_ܡ >֤a85>_iYRs@ff` 6lߑ8oXdhapN!t#-:ᯅoհ.v}ihxu`1mwC{$Hߟۈ`M>0Zo:G.(N~p#?8,e~(F:usHl?2!c!}+2T5E[r瑿l+ &g?koJ39O.({Ă}=W uZ>s ׌yJᨵ6OyHzvT<]coV[>N1`eya(W϶{?)X.ZPs >]0\$K`0Z>y#s|\1 {WlPoQʥ5Y;zpq3/ .eϡ{lpL!!G]%j&"Bcwm#!cD'{pADA}KY!& 'w߷3'Z*}jܐ+aoc321}&!t|H ME%gٯ -/!.˸UM,x" NVz K泽C^LلvKP.֫0M폍h{aZ"ӞmD;dmpj,@P w[Cb 5f0R +?UaloH5fp3n[g7$Js$w5Sw0Ay5cXr\܈iglۯxnbIXD8HL9xS ~JKm؃jms/uhN@&_MKPwH6E:8%%Ŧ0Ae C:{]*ƶ S\V:&NAoP%{}sX6(ivǮ†}(o(`Y& tV.&u/ .{/7m0V!Wbb;S;nΤU@3k@a*FͯDlV7OCP쑕=mcXVC돒yW;I3]%`ibSi ב2Zl$3L& z[B(ʎy, !}įeZ}2>*["&MQ/6?UEf.hKW&9wߗO ++kruKE`QZ+VjeaIdXzBó ͏ 3h(㒸pU O~#:ZN\va\g𒯆KMͭ(escE3 *|8@MGcTj`̺~T=/:'*\Wzi 9(pL@4+PXuB݌i:|QGukҮcNa`<ـp2}obR&ТʛN2} 5ȸ.DGg zv,^u.56J>mbC5!G2y6?ָޭn*d&!~J =m+..Vi݌U[ :Reo}ż+)ZFj17䲗pzݙ4zqgEk't$bkQM ( FfasPjYXz<ums|SuC>jPՊUigP'uey#%p 7~)\H.pNc#G"%Dؔ y @͊ew{7K B-qK8w<1ͱkt\*ϲЭ~*iHI ojQY/#B>Vh\Qct_6^*xȽ!=I\T*{6j:91d2gL6}S+clCXVp }y"l#5!Z-AoyH͔26c[66j3B(LG *Z=NgH>+@v豍Fah%%E8 =g׹% !G*%`p|=9 ߴMloqXqBvgœ໡(9Tl_K9457 d|xЦZR6PNŅSE ZyϸX2K秌TL)A?%0NwLek:r{pZ:N@It\,OJD @(&`]pO 7ʾ9B5S* >y%/|}'BL\n~n]U *q_[[#ƑĢD$ʍG D\kRa,NM}ocm;RN[Iܟ|ڗr+-!UFn9 :HZQۉNtһ0ʼnJ-sGvN#}ڻ%6ܧ+5񰘮}gHˆ꙰]C:ٽtJb AS[uc:ޱ /N%U*8\џVfK%QjC7Vp5=e$u\[㟌p{LME CkG݇wwQK#S- /N6xL|Y'L( Yy4h xq{_l{4S _mK3f zIrkNfҌbxeo$!Eɨ/`0K Y,2| 3{˯|o>h` @}D$i<7IEJɉ-ƈw-h㾢y'8 Jf Y|'f6] 9h|A% <dD= ϒThQa6ܴ4s_^A sriT=b]\+,ej~R NI < Q&Z+r̲WK /V3W`T< 3}KL:REcʋ Y{%x-UZ5"#NpXE!s.zk&a(?Gyݟ|-+z$J[ ITF=&kGeQś8@}l@`<WTQʂ=j \RAPrKecblUMWq]eu+WszS6W# )cx SRHE'䛋.]JBSb=~w(ۋfI@/݌atN<,-9y #/Q԰c*|רVjgta֊I*. @~'H@<x+^޳C)*Vp!}uy=cN8?Ś6RG4Kc{!hL{vCbwjUQzP3+87hJoqA vʦ r5]u|Nt MK_J=~5j+$λ1f;v˾?H0v~ &RyE= 8=b2,ꦥa-kӮ׳ ի@ru b7LESg.Ju V5)]GgyZL+,p!7.؈c?&rF/dHX_Ey R} @ /P4BHUHd2ڗ.' 9=-iԹKhJ?]fF\17|*LFYNp[[~w#M'j0Y\ %CTpڲ""P'B?\V,` :$Y4/w5#('.WS6!,caGh_n6²ptnr%m(<B(,~IbݕYz"Uo @8xx.BVeyqt'TqڪsMQ8FIi Ջ5g,nܑ1v\US #;TUJ{B"r= ċn!h;7Hk p"4&(~$0j?BIRztiI>V|'"@=/tgBݪ[z5 f 4njrwn3^fʿXe%q+Tg7>{Fjq|Y=+~@5vڿm f ?~ѝVT0%YWNnϡJ]YQC/yONfB '$2xx!+70@Ad+_x@ׁv^TW v71(> Bc(UPӿRwqۏ9EdEy #a?:&#B: r{:roU?Qݰa|TvD4ԥP@3ˆ]bw!VqaXqɊ ?GhLB.a[RD$SvR&h4M*S%ȫH t $r|oWF/ff/P(i w>:&1OU/KKJO>u!a4ǤŘ1<3X/Uwi#AK;< $R(Z,ԭqIȒ,ˊ)AQJscrbl5G 7|%簶dݛR\iFV%3hiPԐXDi 8?muD,_c8ZKkwҬO񚩦bL}MKY[3h KƷ{HLtϫ*~4YO^j~*eۅW..8iM%uLRT-.kA:B4ˁ΍t qtVe&?[&¹]~lvRZƞK^Tzdvyǫ&3 FSTmČU>r–ˁI~=`邶*憿;㺺ˏ>lgw4ͻX=,.Ӻla/0 sWZդ{^(oظW>g"=ֲ=LKϋd;7"%^UA9zSc-d?qy>348+ @ z[#p"~3&IxPDR@hި$i&Q0M΁w'ҎƬQl)#n~72-&t5g,:?`NuV! 7ok*]B bc8@~X_qOWQ؆wf;ܩn% &;q_legxa)1$7>iK13#[zȄ)I[ $g{(@@!Z'qMό@,+r\9 -]7}$'o]qxvvJ- t'֫v!e^JUZqgL+k4Yȭ%iӓH@))lϋM3\Ϯv@#{$$ 0}&5pOwy\5!'Wy~KI[B5W'܍CRyHfw/=vsq4 q< *Kou}8rEkʖP>d@ѥQyDH.Ip(hĀ2V"L)vCq2K62;v_/+Xt| K4S47H.].UNVHYA.صgh{Q/Kpg9D);~Lu KTU%',r; \R/ӯ|v床ۻ9'KIʞ+%7$ ݷiY LTovB lR9/? 'h7Its%C9r *vY.BTmp``i Bm&~q|6lC~wxrse\D=~ǔ\-!n4$̝zAptu<)tk1[!HiUt͞ĎlpfDcyb+6C2Ri+0V[6>kX#~/1ëeAy */FTQ}/qDWG+?;K@.NJ39C\ +*1nfWGI,qm٣zibO4R_SxedKK'-TyFȇ@|G.,=n`1BjMJ7+ˢ}{Q.aUTk[4/'S>m4T\.3f*[vC>ćM9;@0E Hi tlʅ0eoi W^#G#n>BIeApMl[qR&1Gel/U -XgJ#}:z_WQm%UYADP4J㙯#-i-YBCa]Q37`%hJ1 `Ҧ;9vRҔ؇僄pVp/ą'H*ts`v!S[ hhEE0=1πmhX7H%p@Gj"z|99Ƥ4>Je3^rB@-&d[{Dt6eHHPF/(@YM,By+{b rU;:@[w&d;PFO%$(VC՛4 #`ۍ!GGSG{Q] ՗:ɑ8V4qr$mAPI#^=SRT wM5Met}/RH;6P_,Ț3F8Z43|8!Y^be餹:;-S9e7 ~&١hGnnek OP  ,wZa8塏$Ы3XxԢ g?r;nli0-_z"W6,).2O+Rcq^y,+UǬ}"L\ 3!BtkJ-F:“}Ô[!Fhh}rb8d]vC_Ag8'.1qi i@$Տ*5%4|Q${f\ZѫУГ(k'>+F  PU+R8!^ӌ 1S?,O+;=]c~LVGȳ1Dr#FdaC I-hB{a&XWG0&gU@6^쉐+V G,8N~iGZ!pO-Â}}owZQؘv:N6"]ᠱ6S0A;2ƒUO5,\tCP^SmG%%Ss uh+Qn=榀VʪH(?ݗ|^$? j)y2XdHmϿ8(]{,5Xp]!v%\`ON-.G(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-OL3Ss*]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=vG@+-hh%cF:d%C$+>{YXP9!a9:AnijUDzp{3zKs4M/N$6^"*@91`J{I"?܎Qry2V} cSn)g]ApBkM~8跸(V/p4>hǥ ^/whXv,AEp[h1k -x˩}>&SsKi.\G,~`?ɫIut+ A瑏&9|٣va,XƜ0΂&hjZsl\oyҵ %f>[̜P~=GQ0Wd$,Ղh/WϞӲO.x::&k9q*cW1 cɹ<c5Qz$Vm'BǯT87DD Nnēf&4&suWX\cEi 8ШUc[{`ҀʗOr0sky/PT* 8j&8;$Y<{@UvQ`yT=~_E Kkq 9{a^bvL6#GG@}[$<>e8ߎ7'mB9p+igDzt@_ԫ{M`(? Iυo]<%]R0!wS~O\x?*Ei' 1pܯRYbYw-atccL|nA :i 5NҹΌF:qZ{Y_k;p-_eQ-B~|h%Vi蓽ahM=+ӱ׺" 7_|\~xo51z8;sRW@d%U}M_k|Ӎkuua|H.?-Cc]CrJ|F, F$@f 9u,aXw1cѿًu ҹ3P"ِ*#7j eCǺ%QbtK"hIY6@]S.8_Wu7ΖqJYټwe_6mLe#$>܂jГ6Zr#S1t檁\"=:##7lh{,9@ĔAƊ^M~Q}2K?mྞg²߹vu`~%,DIJ,vN z lO_oL{{ŭGj)>A.|p(>"O;GhT}D( PgGY8%X3X 0ChQ;siD%\ZP{;eՐgYvR⧅襃m-a$OO ?_υ}WhTdrFW& 9wYʆZV(­|  H:b>*=c5 5%HFRŝ-R'1<,k7$}t{.2aADԓu!DHwvl%*zJ Ⱥ-8]DG)URBNӹ ot2Csq78U ks=x<6G蕃" VL)fP^&10uPɣy^DX 9iYvnerm@4H/0*8bUhy0:qU>SآH+yt⎂.8d˶oY{Vu&|wP^ (P/:.Ln\=F"k > 䀙6EC,~3zZecW/ `轅uyp(amQ0VáFMyv}zzb=?ySԉ˻CjDx贯/oHJ XXm#'z0)`ilj%qm4̊l6;JF3%ZiD^~say5ʃ\5Rg # ъ68+TPyD.̺EOrc&/s ڜtElhP2uwM';is{s+tfD8:V5djz(g/ %/ ]p4"my (?WP8G*{gf^k&Nnk_$s{1X4 HI| 8 2-8YMhOOU/IߡRDU0+!qvq%yr%x[ U!S β-vixnruڿ* 9M6 LH֪ vQ-.l_pVPP"虫g3mCiWlٗkTAAV'C<tutC-rwDieG x,z+P47dةa!o&n[7Ronf3suh:eB,ZT]LG6,}Ҵg<ݰTwdSRg,q53`u8BU7u^f֧%\Xzcsj "5A3Ft> kR'mn&iw2*EΦRLNJǧt^5guH&Ԛźg)\:9h{(WB xx|'Wz7;vi]ݝW4b#vس-{gzifܸ~I*kvajnvEd8q˒)Ec3ft煔<) 's_ .7Oj$.f8fn8mBڮe3|~8Is*`,%o J<ZMuKbkwlXz)XFdMYY 9WS@wHS!!Eq^o<ҾTޥ7YmHS:/%/)#$ǂUc0$]E_Vo4?#dWwuE)2Gn>1{Sr d '1B%rzҘ'u2g'Wbޥw31^cCFfzƒ W}AuIFD G@\I~!^3`QDӅ/SiX8PX'5NR+,*yl"!Hy3!G'z-koZpؑ 1)Gj0%s bL&w[CIX z[d@= WPz8XH]3ig0D"ZijgYZfbae40d31287dfa9e2db66724209cd22f8e6d3910a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 baca57aba4a2608ff9db48236e40910e56e61fe9 5e1aa8e533f69bf37350c35a2581f4f0bae12f22