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  ',t ]% MFOTL_Monitor:threads=4elapsed=94.685cpu=238.228gc=6.108factor=2.527zXZִF! UD]ŗXiɟd)&]hS.J}+%%6٧v'af G& p 2 4L3O$?\ئIe*m*i8}4&)Fʼn\d)F-vF5,Bd_Hg.^olس/>P[^Lg% {p6ɥO3} 콑b3 mV֦3kY[Y࣍b)Vp LmLIȋ[.^ KxZXeuL3Ac)dwJ_գ5,.1[Fl\~YR7xDڋC IeUϒ WtGy긥G3e̬?I@^R׹!A  {o%,Z_nQLK5 ' MFOTL_Monitor  ? 'A3 MFOTL_MonitorMFOTL_Monitor.Monitor_Codecode/verified.ocaml7zXZִF! 6B]6ȱY:@b.j vgЯ)ꟋO;0td:KGQG9 J\b. 'p2I eKښeÕ&+4njn(:18oqŸ)^8x6r'b0Κ"s?mt:Z"H|7P}T:uu:2Ը^E3Ǡ gd2O/QQ N, zm#p1b󾓫NjL\,pH&8"K?] k 1|'%Yg|=aD#NsS3(M)W=w|.Vr9͸Ψ_y_~UHΐȾX p')##+:w[Db }DǚA6 1mFN@E{zBXgNƇ#w =+9eܩDhd@I5R|tCY;K! ${>dDGF:cAeGūe܍4J,&)B+NweY\Bd γi)nrg~huN!65y)Ab"%[d=/9N}m.۱̖ 4, ZĽe3 sf-} 3N8A}pUZfUm+Z3H&A#SxOm.TS65 ?'A3 MFOTL_MonitorMFOTL_Monitor.Monitor_Codecode/verified.ocaml~GH.U~|Ǫ؃`_ĠK#gy=4Vʰf5W ."Lk Q*٧gZ%rцo̊Ie-͘f;i~]qy_V"A6kTh0fb? t yLMk3V]m:u> θţQ^)n; ePenB2gqMe6t#iLtj1v~<װXߥ'USNw[.-iC^r)OFpDFqp r;_6W<_QIXSF9_QiӀӷʆ¼vt[QOM,GBХ,Õ]LGrN {=e!Rjco2Kyo~r;pɰ9II79,Gp.TF׃i{Bkpsh%nVz~vj/HџrX}AZ&)BW4<9_T9'/$_nBi-@Wd}ghW-^%Á7+kw?׍:;.oD<p*Eb -ԷM1"U&(-֛:?GSR*nC#e8c@d.Hy+嬷~=?Ԇ?Bc$/kEx@J"e)"Y#ݬlkR=)X8@[fNCt1= U1bEU- #f?tHg"zkg(#ٴl!Y&]?!e|b5WbǧSIh'k}3dC0X{B;<3:\7=z^ze]gSXld""f{<r BQQ*XW;EhɲLS&#>1CiP]ʠ!J{j TQX,ĤiYw` 窝Fj9%g~vrE?r61v]{]"S|g(&2tܯaWJA" U+>ntڇ=ö?>u^A `VtcgFKh%7Û&<2КjҤRM {&\@jOƿHnWKٳ#vgE ǽ/1V(V^kMTbv<5qh'MnNRRcYi'%z}2! r;'y>lvzӲN (˒XNĨ2Z~t1 `2mCG^Z8FQ[*nМ([ﺆL,&i( ذ .2 _6jْ&qd)q>-6;.:V7~vGK;28.AÅ"b%%Or1j4,)7͔+*ZN=lO90(ѕ߹d/ :ɢt,t4cTyg&:/pu ].tdY{ZRb¤9]K8vl_DB *RTU+_; TԺ ˻b?l7Jwtm8;-}Ko]YQ%0e:V>"w/׷z َw|5 v]Ez ۰0SiBo_o U$U5(w;-/aO߅Vroqڃ0?Ljތ6c<uɑԩj[MTR@rF )voSQ"O_tT1y,bNcHXYk;m);sLY{&tMJ$Fk8m=hYDM̓U0$&sHz,:Nn[ N~ܿg p7yy.X-AAgu@'svȀ&  1i D2:YQvMb'8pq;|==H0a>*@SLwyg0F>iB3C81@::$zԴ:Ո{7Cw;5ed }Ds)^ÊWU1h (gU>W#'0VrT~!ۈF; &a".eWxr>y;ljG(dN΅eZ.!}}KS=qZ`b,QR18 r,H1$ ߰kF.hCoRq`#6M#9/y–UEgv~Gk PMcl0`8i= * Ĝ#KڵD~|a.aF,{رaj [VƝxm>3{lxV5_|~x ]wxPLvD5Kjn̛'R!!N=;,4F ψ =H15ͅUu[jB`pnhu`\j+sP3!AesPWZ!d_Ě?}q<బmdàKŎqcFi3sjXeoE#zDDAu8]>ά/gfbD1Kg-w+x+<@wCdb_'Ew E5nPpakF'rIVQߣdӖc$F5<[z3j$.#ɬfWK*XaejiHÐW*;R׵H#NTznB/xSגnk#$YC[ދ_#}A7i%mJϟe`fvvSP`|=32uL(iQ^pD ^C,y/38k6d81+YW6.B lZQ]'īPH.^8/*@m}6]ĮENhU> 4W*dTҾ-Cm!Bw %!9+^Ǣ)UonhbE s2J5ay-6*+m0y25ITz%d(LwN (VW: 6R^< 7EP&a1]ٴEE^*\󎺼<˺:8 ]hkђw%@Bt[M=f;3KXimu=w {G4(OڛO羲iT}A;/k _A{k|Z$)ۄ`1~4tʵy-qL:wX CR|0vw >MZh A\P1O鹃iT֌oj}DoRryh4IO*gT\xtlź-}0Mq{~XJ "{%=jز!]N)Fd ]7k{hW+?ɺVN v,+󟕦0g1iUM5xYQ;#Z%Q:uY5 E=Uo}#]Wm&!kD15RG;ŋLFhaDk`-V} gr= ZDdoZe+EhǒzRQqpڦ;uEo4#?m&XWJ/LkSs#/|STg)@ 2,mP|!Lx!B9\Mbj(Uڷd l6ןY7ݛF#hDC|SI7@-ygeR ë~`ԊW-YU8*򎎦S9HheV("D>ą3~JV3_j 2|>R@o5Oh{@S@-rqfko5R܂ oL3"o&bx1q!c,暵&ș_l^щ*i 9AIjk1M3hGVQ¥Ly=kTn"ˣd]6j':My`o5!}@/g^$-c{XH̰2<4fhpdqY tӘSǸg;5¥цIjq7OE4ď̂!+&[r:dYYbDh`0iI f.u-YscD}MI>n]q>e) `VgFPSr(χ#ԡYR vX&EQ$#d^h4.͒w;5_%Q(?GIݦ|4mp١jhZ=b>" }҃T3h;B!aN(!?~Q}BOX>WEGrro]kW(ܛyGU0b685gEO}f$jgmwj5 FeM@tynۛ+ެU (<)i9G˓EYL[q?UW\Đt?{@4l B/~jPNJm;5C?8A(uaϔ:2q9œ!mS7r!K=QgF{39ЙYԘ@wp T6-fØ ZJ&JśM%k%KU@t궺vuaT㲒 fn`I iM8 pm%%6}ؔ"C[ՓOW Я$(߹#^%,PQ_]E!s+}qkrA5/L,BjMu6/|)=k2d vEG` tBm^Aĩp̼haOVRrDsk=]ˇmu Ub|X5?¾ߟaxz:)fB_=e}qĬ]yb?`$[ÿ=a`S\(]6đ ,HZfq5hso>Atށ"O͡daBl3qp*TXz@AR  /QՔw=T߁BĞ8|0OA-?x-G 7iXǻ.YaR f*ԺJas`2UffHc*~Ui7<hE$h*U0=| g$DR5H|Uؒv@$<˧1yd{_g!8DHy[Qo܃v/#^D8wEoTd5AQ;Td0PxGךl5.Z1><ϕ9.0T=NĐrY z1e"ٽvo]Ȣīe\ggb( qdk`ٮ ÓpK W1{}ʎQ;uƝ"no NnDϋjej K9K;SJ\B~kpb^YҊ06;Z=Uhgr]rYuD+ kH[VkhVS&a6-u:dp~EJ`%goj3E`63!$5+v0p(gթ"Wщ¤M&.myB)d]"Ǯљ%hwr*6_;g[L!|+qU;7=(pVHX+ k4Ҫ]s:laE7ywȘ:,9k?3gH@Y~ ~-jkUqtG_XEjFh3 rk†0$|ȵIQUUs4jlVNNܝ#m(OfghI<G/_ nevvy!y5F#a7=Ȝ.^ F% uj 3 JaR^|]0vZeOLc+?VV9ne,8Ĕ&=$^uފEX3Z+Eơt&:4 G1oP`4Jt7 fhdY ySѡ"@Eu"ڭvR%\VFܚe+ٕ) _>AQb$#E^)ՕEa-?54zZ֭Yhx ;T~ 0t,| {aOފ~_hGqKllI:SpP$O62\3O|X0)!Prôq%*h%lPnoXѯ0.}[$߱; '讪q #XrUMA)7g;@7w;xCFISAd }ܚ fPP'մpYw°}8H&7Y&-r,MǙ2N6k`N)6hű+tlw2kTg#9^^6lZ (Mh8Kc,vRJ_Ph*B2R+cNjB.\wQ#Kkn`a;|re="=o)JȞ6h ތ*`1VP 3:?x2XΖP|JّdBwj ^bݮLeL9<^tì+q+KYz.cy90N\ sXN})rh׍fwRIdt6yp[]'<Z9cghг2K Xkwa 5PŴx,8 D͠:Nϯwn؇_wlMո,x([!O˺!Ȳwj17O걁g#cZ\B၈D;#ڦdD*C8]k ʆ77粳 a1?ӛEs(.|*@AROYFMmnJ JȚj"Ŷ߲4~YV2ay9xR<ilrj@3T'~r~Ehy܎*N]#.fm7_=RUI%vw넠~[F33WNJ1Urz9ɬ_yhe@/܁aK Lj1cwwm37 Q?p8ăWJ^K("E%2_l|Ծ^7"fRLvT`G(sZtm'Ět88 ֋9el5Qu2E퇮3ٲ 벇< Ui sk:qm8{dtH@<˥IQ+2-g M㔌C}ݓUT]kV89MĞ/ *T)5e=UFi>L^m^lp+#/q*^;+|jbPkKjgK*FhFQr`%9Idjk|Zwz2g@Ki$8{^Lyf]ts'-Ljt#d t6}UkatN]I|˩DIֻ0)\Ps6YCn%'+xUtzءÓO)wIqǛ+nçg li{?)5az FpvIl7Q?͘u8 hl(({=2# e J] r\^y$o/5置o\\qD%Db^##*"+S@D#7ãH3+cCzm>tY%ơr':ɷ1pa|?iC9[PƂuWy`bFۏO3S  (?!R~s I1?F2xm jck{m{9`ܲ,V~ϐ?(`ť" %hAfO~V)8%*Œ^K*gFgo7YME;ү3ts͹5X%#$aT*#x3s|ZwFmͰ4>*)q.fTW`,YUD T]zaw݁G[)U3?ЀI^?~jYZ# qa'D nV_# xM<ݡ[a/MQ ]6Ҽce!l9@rl^0Yy* Wz,jDy?'R,[~]5#jqq3[R"pOrplX#. JtUle>gk3:KwEs@8J?kdUFiXH}CbBM-.ѐ|6?8Cnj$5~}j>:z󤿻Vb"$dPuX'?';ҧvi IZ0R@lrSC%-̔aɑL d+gz^qs!1- wQS| /=O` As딑dyMNLkq+OIw݀6ԅBkΐD "GU9NNRHαoů {GcW0F :\'z%:ON4 7'imLGwMXc[juׂEmH$N)|B}? ym!l DWW"4U&ܟUXpw䜞Zs$J׏8(@1*֣+ 6+m?Fcx?T3?2a^A2i+If䘿 e]\hYPIgln,#n$@vqLZ57Tkdʲ1wcjE2&$b^jxXl!@ĵMغ-b+d[Gs{Bl5RgaO{9~0C#VuKCS06?}}9`îc A -)LH"mUGI|epq1EAÒc\ɴd$D- @8%(O|A3 u* r"pK{!?v,N S+x" , QIod>û ҍaq .\~2-QT_;sPNN1.SJ0DеR)/LAluϤ4ܨiCE @9IUe#r !C?•n;ڎ~pQlr2On<ď/L$?8yzm4}+1xSߛ-oV<& 7((m9Tk>(PXyy˩"VzΟ4_jOra>dJ O@ Y]T7ȈwB=WڟwƮ9t_[v"`-akk>n?"#0AwJPGA_X%2KPBIđi")[׮OK՝%'8`e ?YZOnaUXti #!,N_9Z9!`Ό 殄Gnɘr|y06A,+RQE<8EgmԾJڗzIFm2 |A'?WMM⺲~e.'&Fm΍1 3߫=Y+m_{?D͕]ql`Ó i)Lu}pӗ lؓ:Tx%*?"0-iY(#~~kUZYafBVVuɦ7B^A >zB]c&udRֻ;sƇav< чX.P5@QCzXfwhwz^3\EuU ީ,|uAX.|m#*& T[#y$ڑ|&D%"ި.pPկoΘ| w5?F+O!Oaȱ;*fv<* VD7퇭T/.H)@`}MqQpG8j"Lz2:HGdpdyK0nя{G`qmUTdD:crCל0Z;/6[QnN1spaj]b#w9,) DEՃ>EVo.y@ {kkEZja-ƒ9R%X-_!>'=F/[m|4(&}~-Թ|'o匨R ӯ{kw K`cK2"c6K nMkNw g.@LwrN=հ%gbH? T:v@)}E$AttqISXRROH64JMSߗ*T1#_v+Dtx6?Cw&w?c6,bIQk !1Kk,rt&N4j8^pv~jKT{YG̚lr ҪıXԹ"5YHM賜i\@*ze`W1\>%6V'YQvŎִtsia( R7~z?WWr58![vĤa1*Zf7D һjz[| {2@`(l{vP2S 'Qezzz.ծ&G3WxI0֝K\]H h]/eՔ:2DkC] 45LEN\g=b>#4ӍE*F?`QaHWV)=m۪?bl ǫKG.zt"*}C;ssp29*E[. 'YbߜdC /@T7}7JNMqyeE_P6aOanU]/P#Z3߄/18'Wet=鋇T}iD)'2BKJfA];K7c D)ёeޓi غBupxc:q4Ժܐ6(`)VnPUׅ>hgYZ M d[D>yj)?#<BԿX ݡ*n@r ZQ"RQ,򫐥t } ѢQ9F=bo|0'*mǃ;1(bٯaf51RXF&"伕-1 dŪV"O-Xm@9Oi ?E{ Q.v$@LcU4!\[_ 1&s2aR39HJfY .wB!SuRoq`vD$C ("@75{!Tc9a>肀Tِ`SS?Nݐv_M~­۵ v 'zw,n~zhVi=gtv&W:K5\P[$}J S4 >_R8y"!DwRn=|fD_rf6">lkO"J׃xeȓ%eJ-*L6 Iu9eG8'跱TGaUSmw\q2hVQ*si?z֌O:#+ UwT"*g@xTW(p'˪]x&R'6b& ;Sf=2R1K ^0 С bh:ٓ_A[ԇ^ \_]L{*C|[[8Ԇ /-AL݇1vb(Qց?g\26&Vrq4x/AfDn wA?%sz֧cvCvȺV@*10Q!:uW&_NtDxyO#5Lo]؈c}*`cKk% Ag:~klfy.0$}:_{{Ch 3jb.luF RDXl=@; q^HVYtԌvFb Lɴ- wMzi/J_/"doɢB- OgV Jfݰv-~σVѮ7҉cYk1[=/ǥ_@;KKMo5q&ZWdsAw`jHED`]9ZqYts* k r y ZSrfn'-z("gk14 rm5Z gǚȍ fT CU8:&Я,F;O[ݑS+Yhޤm8Y.٧ICĎy25o",}nP>tX4 p`pb ܿ)_uA ȖJ7Cʛя 62ڌ.8XopdEy{G}zU|ƵW?o KiL ɼ){&Xږ-= Д0SM`IUUIwVK+dV ύ}?#UIcRɌyrji.zywBi4+3dWDUQKE }$@mD@]ز&7wgƏƏGM5efLBpe)-tiGP6%0y (Bx_CJ`;ڋPsaDlx%B?>g4ݥk &,!7{\F0މ F49a_MKZ6EQ]ZrvaўtX۷;@ lh`#L}%1=c$ CY0‰dWBzϒ)#j]hLթ B@Y}DB k9jgRϕ-7<|h!NwQ#ApWXF,剭v] oUg֮Fl} 2Cޔ qCt:74 "Gky,OU+!We&cʒ&db&rs! wBD(`kK]nnʩq u)KJP ,0г?ZV*Yn0wU?zpTJnn'ɶ8 A2x+;fd~+Aو/R$|o[%hq@=`eHsU #B}D-a_4iEC*rU}B4q}m*}K-B:ۭ jvi CzkK@$&Am" '~HBH(hLՖ~*#̪Gu泋H%nlU7w\ NB^_*wenI3?,h`!A3;x*ARz{ChpZg)HO<@ߕ9^{Z|fa'RZqiO)|·*c d(^&P\н_d|?i⏆r:0-/3J #>`D&/@{Ȑ ^uK$s7HBAp:; [ۤkQZME{kmXڽf|*.z<#!f~^&!hw^%uXܖj6Ŷ K@,i}Ni0E9,{Ry21t[ou)K#XJ߱KhZ(y`%SS,-)pI(iA{᥇kz`HhKq*amLՍg>iZ 酌H⼞û]@0B1nD4p/nHbTG3 y}Ͽ<RBO.@]?כN=` RO=T{l :IkY51C\V4-#%>V5y܌+?kv9S,h25x= ",B0v 3g׃lik'9֗[8{gٔrz4T?’SRuƋMW~NvubaSU$ q|T:ͺ;?:395m0I>>vt2 5fŦ-IL @ _13}} < 7)NFϩ}45V!' K2d 7?[ %qhMBYa+upD%E N-K{ aHS} y26h7k>'#"T)I-qD()S7vdќ+rUVP8GfӦӬ jhcL70 (焫lMKCVzl9Fb9>\g< G=U=7&X\_l8pB^вǨ/> @'~-2%8Q 7S=ּ[Ǹ2%NČd3T6SHtX+2ȈjRezظK9N՟+&6ٸ9I$ F[j;87iԗ^7h2=d'Xg!9{(<1c"(#YIsM5"2^TJ%3~* RJZ7 dDow.w8*܀Ck L+xUx@pk"%'"8`帳P?JWkfyR-vSE-z{[ Ց &B[[&?%c*7;Twvd:;d+H 1ű&r(!ݲC5T;09^Q'plFsޔpLghD>+ ZrRMwaͣ 7T7WG'NŘ<|UhbVZ~7a3w3jZG$E6:(_]LS+N|&Bz}n;IaGghճ%쀰]U-uuj5([\cdTj^/ cXO4z3mKTT2>}yב տ4q:nэv{_y։;]}1Uc".MÛU=_^y+Xg; 4  ( Εͳw.᪕f` dzMyzkAچm*s,sEWXDՒ_\/g|N#uޥ 8%tkKiz{Շ&g ((cݸt =ow.Qlv T-̘dUa:"nF]!_ ,SۼyK[VSC9b.O "hed |gFTL= J)?$ `EE"#1$iP&9"}Nbǚज9=,&ޓ>M[_nFetAdŠ]PQc@˒ctJN=,FsОGҠc"tp҃/y]ȼ,m}]z) JP4 ,f%윬Flwj[.l0Sn]mnaW) vWKˌg ,*[[FaCp]e,:Tc2Nj; .,rgR $ pK#* pg#xP:d41z}纇<kd̴O=o,uhHU6TTxɭ 6xa~H82A|/|EQn*]dQ$KKa{[(@BߐDmѻ9Ձ:E %Lx5pfѮ>!W-_Ä`%y8 dCͪøן\zJuҦ -mKR Y:[8[bq u(.3`bQAhq /#I e2nJƝ+FBê|5)⼢z= Z`$$KT`jԵm0ơg̳;ryَ]LU߅HqޖBg J݉4n8%J8o-Ȩ3XjӄtUol};8ijˡ$9#0$NEh+hCk,Ko g[IȦi>99u:D,M*Z$}pH3ЮТ߄^A#* :kԽϩSPn V>CIF캞w >M9l&ڸ۳c#Z(O ՂHx!'PK#4x;SΊD &WE 7CkܴG1׼k2g}+BaEМޯ}UJ,]ޞV2+(K#eRe^eA|s+=P#xƲMEX>ϱ^01]*[Ihkm\ϫX 0y.l^Vx\O=,@\5eb%|fk\LdP.UZ{\VtZ oXZI3-^&NjH:V3 'lV|;?o=KocDzzh޹3N4u8 {~k 9U(dN٢0PJZ͔ԐNX!>q7# r494%'>$ׅHQ&H:_hOHrVU` ˅Ra$A?${[|dAg&T5俷Tߨ;#ӽɌr3T5 $z9+ еܞzAgqy!P>kH^ߤ]N&03 ox;zpuVFO{_ٖ,=+-Wօkv6tx٠AcB nͫV0If悫v C;Ӹt!4=W'~2˴Qn $E/578 Jl\od)?zM3g_t\3jM'mO-a tN8e;;ba4E7tnQcc˄Ud)XE2tOVXR $ n 5m;YG֌v p#Gu]x 6.Q 9cTeeuyA2n7}U\&_\lD%׎]/I_і& _iƇ0=';~bEHٴ\+7Ih5{ 592JiC Bj>{R%!nbu'TŒԶp@5*S rbژ*ջ[ٯ8ʥb<(K u :ܾ\ViWMWj?8|PLNG |y)l[b-_)}G#4hsBtvͻ %A {cUo)dA2gqE,:*Yd7%9ǎrF%\`rngCvS:@u;&8bH?">n2ah7S[MD">;Y̠!Yz1 Kseu>_-뒫[qs;v lyv>}g~T[w Ύߋ3mFxG8&Уċu*Ԯ ֬,-)iFUNS4"|+DDh3ev\CxqcE"vdS#W44ä\f?}Mjl!qZR)f:e֣vŁr;ϑذSʼnb㧢^E;.d [%Zh#ݳimү8M13?(ŀx̄01eb7X?jژf6k `PU.4#nK\BOyD/tNwwN2v8ڝM!P=n C 8 U<5XJJBt#]cmYD6w2F-2&0AoRYYcbݯ7-ϖdK)Ha}ntMeW9pbGQB*h*_JQ gO))eCeMcFoKuvU/eWC, G!MƧ6|c*|{äUn˃ Q%z!^KɭXwќ\E;vT3\?X"q%uj-》D8祂ۭ7fJ*)._z9|,pJ(9E|`th7ynTJz>)*d2%u5Çt<~$$|Ȏguv-3C6gPc2w"3X&\^pƫ:ਁBƨpX)#bX5w-\_5''ci}o_]DXIx_Ve#^l|#d."M>d ^bM2DKȝ Tey2#z^h͔Ix}v]2N ;ֆ=RSGS @,hD/=I)2 d"sGYM3r+vԴݧBzWg3Wtu.>@ ;8j{H/_xsGBF#Q q`m.0ogZ:v҈,P_X5`͐^|۽hPh{PAJEj\=xoЪA p",v;#".?30D[B/33Jos #a}z?%f=o7Dg/EDz ",Tw3M~l&F g)m?h{-bKMyʺ],/bps"\O {mDZ2lj- r v U~\Z-8(zq+X%jY Ns?*nq @+4mmOs-YÉZ8/541wRga [ \OJ1Zd>T_A掭w@ŶWWFÛ+*VU'[D17w*V] MݺHD6W8*I< ~[K Ԃj7ݳrT>@NOR}"ygphWMtuE2,Ĵ6FȮt(q$dL6ZBS]^" +AzZm[F;Xez"cJCMSc '%%hlYՕN<'#B~o;r UV*/Tď@-Z$邊5VcX[7ed>C#wSaT H:(5GuK\ʖSz}{ъKBEkaI@HYd#E{R p? `v`㪬l2|=Ѷ!f{ňr'ǙGZ<8 DT5(Olɹ7rv~L5#sz)@֏ R&?j~"e5߫ !,IZFiFqŻ4ew+[R}W8pĿ}k l%8/8]O݅3]5[>y)7! "ǖg~ό pʌ;tqA:ykY>hAvEYJ=\ӳ - JM[!t̖U4P;kF!q(xRv'{bl]V\ D ~!`'^0v8.0أR͙JIICf _`!fomU^yݕ}Q #aU>qc6Y&<-p Sh/B.J[~R \'8Mbn3YӢ#*deysIp,kuk,IzdaJTs;YuʯK3E9I^D=$_BF/=@ւğ4KM<3E#[\j[;.`XUI??I sm>0s r{2aR\д3'7p=}}.jE6bYGُz`|I,HB#&3z?:tq6؟H(̀n[!f+\IŢ%U4*:ӀT.qVV@L*uh_x0 #b%*Ŭ?sr&եpYYhr[L'Ӑi-ŠdN'OhL;o]{bP槪= 뮱 מaR)NhpNp>)rtTλ3wŕ JÝbwNt_e{PXU+_H_+{^`|*3. MvT0Rf˛)S02' ^'B;S\#C ]QWhh[.-ChZH(6HN@+\f%I-jےI7aid޺^Dhp9RfCYdUhIK4pqґUx0.Դ̈́_Nd (Ȅ\a /Zif^2Ј$ Q "Qi9alXϫ\4vnj(̜߄P.e‡'mGāٵk6҈d?nd鵀A*"3 "Agbhb/xV+ٵ*]"phE{^\xP %Rٛn|4D[yAFF<m"=&,u:E$W$4(p*~f๹?b웾hU\IRg*kZM_&R鸳 #dLE j(̻5<ⳕ^= _/(%nQY`4*`:]>&tIbtY[PQ%;NM|c Tc:>j&0%w Yum:G: A?NG5V+$s(! ߇ÙԨqdGj5Uu MߕÙ$$YG!;LJP4C(_MQҍ|.Mwfw>9De 0if6N鞫=M2Mm(cԎc}eހ(}Ɯslf1zq}k)btдq3֍OXm5(mnTC;0򡿶 /1C// A딆R?-Odc,"dqevMx%/t'C>?jK2#d)U#Y&; ıܡpz9+ᓙ7e6Jq.-/5:c!±cj1P&Dm5it}:\ RęYBp\8H!%e 喆(Qbxx1;#T] !YHjtz$:\~/&+OZsթρogY΅yWp3RɁz>y˞i{b&.#?)ș^`jt*`;R4@?^EW;l2a"v[ }.oqm+x/HB1Hsqs팘}= ohSe(Ǽ j-j0*Xnn$WT<%/p^Y?9IZ>kEYޣY4 if.wv]JK#(Yv:DCKŠA/% uR@fo[@}O3 oUs=UM"ۯ-͇2U/CAM淝,ʕo<0Ԉl܀ Rj A\<_fn5[ilg(J "~%mU(ϷߢeU,@=,*X)\IQy+8-yLGV7^l/oR J?%ABc`b3kv npɒ ԰/1{ D_o߻T3'0ԃɾMFV4hA)v7se;'hMfv6qgS3FCr#eS=?!,7_($pX[ HUA؈-{d ]*tӅ]:HRcA6cf}O&]DN{\p9neg6LEWz_Z]}בL[R)4=G2eI+/$USATꔪ.WXĪ˄ R?!ɳZi9* D l8듌 В2^0!Y,Ua_jg"Ly% 9/0OXyiwoTQO=>G77kY=807fł1zX\6uFNX2O8k,ͽܝ!("KJoZМ7X1&O >qs2ZF6Z7$TR_w0UMި#W21R$sbQўCnw2/KAؓAʑ;Q kvp{5˷w[Yrr{uyZj]PL 0w +Bҽ&;31#ྫྷ'yg43j03V Gy8ğZI:`ތ #JI9k 2:4¾ت{͟ǾvW(R@* [o=[.|ܼ)4G83_"ǨG-0SCE4̾4`DpG.'8y]JiP[)ge󚇦Д[Y21ЮH؃ #{JT)#g3,?ԫ&%^}-*ۋ[č"?]ir<;يhz ?gˢOM GF}+b뼗ɡ9RzZ/,w2yn҅02 !t{_'b BL%<7縢Dk]]Z[\O*E)2{o`?%j !;3Q;ӹ"+Vp()\̉o0{gYZ7zXZִF! ]]ŗXiɟ7^aόu&XȒ*>iKJ\Xjo D/A4^fFVX)S^ Ɩ3ȁR?HN=Aa2O! x~K!mB'&뷘k΃srl^]h9/%uIW7u$;Ň3.>|cv/Q;@1^gYZ7zXZִF! &j]ŗXi%L!lM碋%6439Bu9Aevi C|j%޻1z39D2MKJ bjZZi 띪J.9m U7#uܪ90F-xxTVaW{<V(k1񬁤 /u}E+뎒o](@/eCL65ڌpz^#jzF@c\{ۃ4\.n,+}T6 S/NEyo4Y,_ǂ-N̩T%cW#Z2)/ڨ,٩l5HBFmz!aul[u!JlK)VA!{e|z=Wz.Z!{a_N׀|%*Ikְ,iC_ KmULgW q- ^nO| N#n8]4"C"-˜GGYS4])DQXȌVBF.TQR/ KNW6q>gKh=BGmɿ&o3Pt?i/i{R0 O'w}Aö ^⎚/^PO̥U)ƀ@^HЬ,?[ݍ]TxGP~=ĺ!& OJ>ǼndWW6yԽ&E_ 6(HK巉x>[9+* qZ!‘@tzum{Ӗ\.gEk[g<~o1&tJ).K-*\[C~=%qb(*Dv.  qB+e$P莍cz«^f[kʎ ꥏ@cہ6o̫. ɇ}r3"zJ,״O6f8|\D!˴ p[8>:*jy9Ă,o,w\Ta9[105v}{:5Zj!J | rjEO=72i8&#e ߿m ^iuvJfJerQ]CSw+)6}jxM2.Qi4 ax8/t%);)m(// s.n7*_UeݯCp:]Sdb08. [jC \+pWw%EHs@M-`)-+V3I2LzO59)8$+=GeK OɛE0i~4=i_yi\AR~߮}x"znhk kC}YMܒKGއGY#;q_zyo{ۂ}u~ ߗ$Zt+"hQ$}"Β{޻+xϴ{D^C OOhs|iOkV`PB3}hrtpǝϚcgrw`}v=>@G7aॾq/mhDcZov *ܒd-ZK*jˊET-F"l+տa:Nb PrY/;aG^SEqw"x^3K@"$BzBtèΙܤݧkOz '=F: 78$X}h`T5}-8ڿօ ỴE+‚w5/5:X|sQ-Sm ϢMܑb2Id Jk o9KOޑ-^480 _񬮐zD nHL߾az05}dwF&`gRpd9)w]G?S3W!(Jl>˜_@GPWs+r#B,*mDohȚn8.N՚q4''Zvga {O4-r3zK|c;;:#|5  œȯ.g!k7ǰ$ɴ]ElM Rhm\,IAU){\RD贇jY7+dve;t ĢWC-OP/b:;/] 6>Zeead+71QSd`j^>*.@̈́h" ?9uY%ZH|p/_I5fvvr]Y1|)m'ȷHX(d5j>Mq9%NV?pJxlv-  Ɇ U.zHl,94}0JY!ϚsQ0SQա9X́ɡ2#7 ԛ'h2C!X7A`ˏ;Y1 v<$民j1eapS9`]Rriv-gJM/H'K#K]҂(8w6T⿚2WL|ӡ^8<0s]g0Oα{Bi_*̞m>K9$O31⊀F:n+- 4G%쟱!qtނh(~-aP~G|^wbD= b݋P>_ſ&mUrU)TҲj?p5Gtl8E43PWro [Ċ b&!yKC髉Л }AGG, }~ހ 䚻,7Fۂc]EXw)R_\g|!ڙu LC0kS9^m͊S>?Ƞj\7-&`|+BwMzoO`hT\ g/RkmXlMk۲>/iob APOK.@B`tD$;WJ 2$xI)aKT2%gG(d9"6%9h6L"t.\CSww>"Qu8#x.:?ͅ*,#gq(CB;Ν'ַ\$i)J$&9=%}% p$"?jrU\$ Wf"3 } YxԘ MB:#͎貕qלHN|(ْo%EǫB_ _ΰ.-B|ׄ|0[VMW$TZ&\`rmYN咳2.4[Ω =m^pt,ӎ8fEpW3}pz!>ecǙKR@4s k=*z!TȬQ>w$J+4f2w׳23V9B:V%oCi dpYEB!>cYu;VQo!4^XA˶{-scJI?nwF@剳yzQ#T^oI <.!lcԾ&g.aG1!&C:I f3kI>P&+M}KYP*xD *֌t[i4ٷf-G6sR(0# ׏:UfXbW `z%u aV߱c[:àgDDcz4[izƎIyr? T? ]Ow8 c.=EJl-lZM%[ⵇ!;i ōyeE 6p8/YeqYNWB c~+ 3211ײ\WhLʆF[=0ox=N>J -x@Hj/@vIWږ -92h/;dJ<ϳ?ttSiKꧏ6+1`;=8?j9?0 jZva)A2Z(P =m+{Z<>"N ehrN+p4V|Xg&71[{ r:Ο>%@"$64$Kc|VEctIυc ^,>a[ \f֯<~WQKo/\hic0[zaQ:do@5o]p.o]t.KXe܉%OX^:Ƅ{璼 ZzHN0,ƫӌ2 1P>ؕV ^s1؛ɓ90|RI493#_pU膁@Zl;eZ4MhÙzfvvP]Es {L+f:4"[%:gTù+ZWO >"a"$l;D@\dcPŷ*CO"q-8uNjRwGIƂD;Q) ,Vn #ui!{n~jwOJc>*w♢ +]EY{U=>SŢ{|ŹVBPz1(L_A]Y?+H e۷N%"Kw\nV? ^FEi< z:~qL?E8ث#@3 Jg*T+ѥd< /i-b-GG'đ.QbnJ;OzX- λXH< Oe5b"hĸF~' 4x^ݹl8eEtC3Hz]&b 'UwnI;e50ȫsǿv Z^`mX:4dgYZb5a749133e30b09da622b75436c6bcda13e657bc8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 28a0438fe55a6a39ccda4a3f13ea0da17e21c8d5 ad081d7c47ba2641eb52f6ba2658f342ee80dc66