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 <'x\$ ]% MFOTL_Monitor:threads=4elapsed=106.135cpu=246.008gc=6.4087zXZִF! _/X(]ŗXiɟH)0%o v-w;%jAh(7g~6y Ǥ!TGrT}nqb{I3f˖c"y!X{w>)ط`C8ZmF.THocFX\b`t{;xv4 5w< pUY,es(-5BJy7<ƣ#ƴgt=mKJ88t΃Wx ܼ"S4Lk1-]$#cP=<B[PKcȏ{taǾiNݟom79zOfTn&TʐWdp u`r9Q?&kQO. !sصf&0r֥V|:dܤdQ=M^BոGS@&+H\$ꝱ,xR,Q& LUYt=@[DZ%CC=v([ni]:HH j&Z}W7 Ju [E>fq@PLu_$м._X NxTn I6;;2+> ٬,9]QntBHcYK2X$ is!nVh$Dg`p{? ZS=wx'/irVTk/tFb E[g7$!U_קqՕP2p_[솠fEEՆr+2,BsGF A%Id.F|rWE<~ioHeX?ġmYs4RG&Qzە&lΊxM?tM8#<;Pk{CNYw+ڨxCavRml7¹h\io0^} 2=:"d/!beUN\SȚ1 r" ' 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 du#!bj"gT)ֱq,^úˠRSlą6fNTn29V-Q*V|{ dzckOS [Dh)P g'-T+/tK9 GZpTM^NLmК;gk8b/oy9\UI:!Ģ+Y=E'LdO}~\l%[wtA0#,-mQ av74 .U&lƁ/rWGROB^O]m~ߊ1ƅX02IDn&Wu=csS Qp '|/zVw*e6o3E5VdJk VǢ#.AuҀ4*0is*;{ ֦WP99AIhC(x{MnW93 Z<\NOj\f]C}tK7fZ[/?D2[9o{}XCgup0҄MWfI&ɑq찌zӯH@ɀg@spEY<͆dIrm4utҵuؿɅ4TïI1} 7JHB֌'s?/w^=vXA[:pQ2Ս'LնU C|aT"u^rVjlbY(^*Ḥצt>?<9F n$&Β! QW 0L0cxOg?ti [HʐBvѐ+hO'wI0IX-]ܷQh׽ &F9}mPȳ!7Wp^y22Zbnߝ G-@3I+J-XMIF=Jsm8f18o 0L{t|޼E-o08&,ѯNnБW0ʀ~Ĝ&g e 8;t7' . R]qãL.7 oyihf7Q^eC<NJll}RXz;;=ާpbY8z;F:RL: 7s ;vOnfi#Ĺr(6 {lang;ni鞪w 'yu@1I)ZdCsG|Li.4=10DI:dJWQH\3Qg3ӊLiF|0O*ЃۛR>=o,?1͝rؘ*f#)Ѷ.i$30H[&bcgNgHR7D Mmr҃-I@ MeZMw+&IFBHHKy*Wk$FP#eQc2TPE; iAʋ# 'aq Eeg!jGĚt$2 ēړh0;5xDʼn_kV.3`x` 4Ʀrw_ 떥!.7&b0h ׍;1Q\}MKAJlKEh!:8:=I/'$ V\7vQT> qyUA{jgF4v#{LW_Q&g4Q$95s:\pi?(J\ꏘN<Iޫ\HyD dasT.'hbR?moh9 =8,pLW0t ck@PLDԫПSð߿뷎>\Cα1ODM}7Q=j4ֹǓXGNQh|[dl QMR W3Nd +[܃TA?৕dHI:Np߽Ici=DMZfgJW6gn| %^ w&76K- JH6* AvZO /?lNSݪTM Hi O<= 0F;=Ě)6A N=Z~ F_TFKt6<>-d"J&tѮ?:ҌM`i0\eF:. ] P,,"0+G[ZI_0|r$OEFԵK:yoz mڝ0Ie| -;zeop5,;& 8>~KCGBՙҡ^?;JZ! `K˦vycYFG+v]wrH@IURn_# Ap3XG19}U,cU0 4F\ݡ'*9VTs[tz{)8 n8aI7S;1}հaf"'>bR"}t-Z2dxi[-̡`oo$w0P_6iFCWu蟮~ly0CpmnlZ@P.+ߜF9AMQĶ vV0e) $*YPFOϘ$ 9x5ZAZe# 7q(a0dF$!j"lFʲsbTj*VzK\C_dY)f< 8yfud= ;utJ=ȒW#.##xu'֪vG`o`+ m@ա`m]\bJԚdVO7i .i>stI$̓g}>u㸽~gʲL8(*,zCjđd2@ T?} %7Ȋ󚂲aj> Íc!XAJΑ?!K}4QnWU RȢOb2x]šW]7T[X87y< z1R/Nws֖Q+dSvXJDgEnLt`- T0_Z*⠼٧{b2Aۻ{)h.QlXEk L=ݝ}qn>8c172(?ILR!4HJ~yUx "-]Zݑnw3q _(x' L169P|YrҜDž1.["N >3l礿 uros(x("OB:$NF^_lK!`_é'?b$}~XVS\ \pT1[?"g:ޝ5U@jG.zNR{MIlP9ܣD1)K+g۝7w8DsN ǸxFHg$"7"͠\^$!zǛg%p+ŸȸgS$!`@VHB^ZAPsi+z|.$'tnR54xiMVnS+\ QQ~oZI@XsXe^n}umn͢"(-7_ +/&DJYj]L7 e?\=LRͣD砝L*9HswD^qM4/{Ing|O.6/+ϴ҂6IEC28Ƈ ?|cb ݯZO7AA /4|<&\q)Q'ֺJY:v/J"t e!cuAy"tXlU:f4ԭFD^ $goY=խѻ|jN?R/mv3R2!; ?^d\@:e>,좱3Qgg' %R%hӪD[iʏGO <3'~*ȢnZ A)0ᔆa.^Ҥ KOt| oL 6vb(sy%@wGAvϙ)l3' $I"n>hpf_ _@_FDA- ]aMϘ>eY⃜E˒gDK&ьf}f.ڢq_2*A;bj#k݉y Elj=،ql;o5@4Ү䉎ʬ@$nZ܆Ǯ5 SIcjxzBp{L|َYQLH\tMI@J}BDSS>=H#Fb3U~_/_:_vbj̅uC?=m Q3Y[Cz"o9َtYMBʶ֗^bL_&u}'zS@ν8B{Ye2ܠ7֒ _q^76 jJX sG0cS ~=ySXp !om_:^Gv KBJUJ2K=2k_r|Ncwǧ2:=p<ĨHܹ=ީvL43},&ҴD܅|;J佺c(;1&Hj)6Rm5sWax;b%4q+\Xr?}0LdP0.\qW-yrs6Q95T63:oiI~,\ ą@L  –%<*5#X_zŬqcYW"NpOkf_8MVy!7:c=LLFCD0²EC3NO0Dk1C129n[uKn t܁OkQi_5r&OCd\E:xj@Ln'䂈/amn p hR`7>GgFB>I vK`Q#FpՋo DTdѸ+N?%*:dHҩ sd:xTWO!=eXK/h `N RIoA9ux*&+הWfKSŊb5gc J*)%2OcY*8x[>ρyQeC|~< \ /ZiU.b $b<}Ӿc@Wrj|c5) uR&+%zv> X\62K8̮L몙 e5|LI՞3g'H>\W`+^sWG5W QޱVCc>jj݋rM"-UĢp-oq0: ȳRY iWkn 1ܱ$Gp =_mal8to#B'Vb@;KgsgTwR]{v'5п;т$ޑ&h$6\ErR8wefx)j\|aI-8WRلdʬݕӯTHyݕѮML)6;>?MeR,cC~:{%|[iMK"M[+(ܬ> Շe Fљ gS%VoDюjn6xY,Ч]Y)P/b<.h!J:6صxiD?}*otj,ޓv J=9E⳿EyϺ9LqL\.l!^DqVL`GQsIBo9O q? X!Rser/AX5q #Yu'd_Տ^t=ZZ`?g;2SS$Wl 9%نou ^Cg? JqIJ-8l*seapō'"`^?BU2ÑukLލgow\"1 8yz?$*.Gxէɑ_u??yܱY܏o 7LL0:k'^|ߓLO.AYzȹ~>s!rǷ)4*W[T'RɎ1=_$7x$q/khZ\P%m"ΞRm_irV7RQʛrQX;sGf!4qCU<fbaݹOEDDYL W Fl{qX1mjr=E(d ZsaR?v\`Ǧ?PQ/_$&k𧨤,RßhpQSFuca *荎 < :&ׄA#NabSTeEO) yO4 ݛhO ,nG&țj~q0{H rEdVtiB+q=G 5.|h#Md}]jB%^.~k8Vqxӌvɠ? $!pkWcډv7LX ĬYv-uNDB>htu~9y53>T;TllEY59< k#ّZ˪d CTzm!- +(_[XY'Tsl\ov?Tqgt;a3 x}yJ/f$D1npLG$P /I718dϜܨ-2)@nd#$Mq@AvvJw΃G~[6T$B+BABeqDÞtG_oqyy S<1VǷ*:k^ଃ]㨀'hO/.8EKtNbGLiɛ[&Qo*:8;{[ ,`NRmre1g~؍"h"@ *%h&HJt.!ȒRL<1 @lvef*E`pt.UjnPevLMeL?[H9@ MxX+^[JC XvɼvLJו3!Osi >C(plRo}M n\g$ZnL  qڶvY2|> S#Xu?`[p~ODz2֨@_3W;dSCp9&";Pd)yg{8^RM N'quX1Hng:/?V I/p-^ChW !<9Rϫv{$kQgjn5@UInyZB? ?=GvfZGշ88<ߣĞ!I:Bյ'uKVJ]4p[Zd˳cW @(2{)UQיmjР4P%>m{d )n9)'ѰhU0۬Ïe;tj?lGeH"+g gךo%' L!X9"/fa #ܴǖλ|!R :涚*?yR͖*˧K GBL rqyS{ X?vvKf`1G?O,Zus2V=89k e6j=-NSQ5 W3S9o"q{di8 s ^Iyc.*FI#zbY,;o%>+dTٕe1A # 'mϋ?r:8DGwa1ro8Y}6+@Aq,,L r&E >8وKz]5`Zd6J ;_eJۊIkQUHz ґb#BM7~"l?Opdh("H0 5O/8׼^84HM Y_fK~.^:gˬꊗ #:BTu詽܅6 Tɘ9oQA.]espSWf~jyiBDծ? #1jltܭ5H.\'_fs_waԕTPd r;weT3\YH5`rwy ־Co-޶r}xjiiI)A'{HSR1:K-< Fcن8 X.5©N o7< n-T=*8-mH@fU}_ PH5 k6[5_K.Z@|[vRSn;Gx>:c ⡙uL0J]Pffw5Ԃ@t+nHHJn=)9Ρ s9û &:`6tBጯynw1 =Z/r:RS[8LwMfj5ae 1"Uorb:*8)ez6ͯ_u>AmaȟA.:OS+kZA ݢJFeԮRWq9BNjmhZLC,A|E~I .et$LG@eMYFdNΫ2@Hvʋt"G9y%e y A"e7Z܌; ʯ ֱ`@J (Jrܔ5)UzdV\x> 0N ;qc;i:JqR $b@:͵/+8'ƇQQ2Yo vu^X Riwh с[4Z1p՘Ten!E0`p@zlCKd48tæ`jPdr @;>Z\9o,Xk1kR9pMA@d+=F ,p4ɉsI`[ l$xezQQΠ)";#8 p!r5 byTྙt%!`ջCmru,\uDX(ĜonƁU+a.*%l)#I^l"I;:V߽K#kYЕGWhP9Oy +Ǣ"}9x.ļL<iKv UƊ2*3RrsNw`呠 *^P)"iA&x=z`p՜/Jj/|%-첢D(td^ى~s W6%8u 4ŌgIï775k[.-S?N_@5&>L?# ?嬊|wag2LgU(yk1񘄺!2Dž\ȝLRj&m#O&LC87YEZ]N${L_a!j헵ܚuG 7KAp9 gDGBm.Z.؁ xeJX@&zY4WQ&S @̈!Zެj_ Ёx_I]AS?buil/,,3:["]b$ ꉖ;o#Ae}䷍8pۀX<~tҎ[&xCũ_ko01`׮ ^dS{ҍgDL+B(+Uӊ2yej짴`m&ȟZ6x//0 'eO?ԒѡQdQ9\ͣ Q0⬄/zg$7SJ&6,[kvf <| J8,i@<\YRO>XoG bMϪC!kFpxuW]!9-w"Fm8G%āo;_B] Mp2w jې) K'n=3zo?73..Gd'N`4AI- u)unJ<&шU 4lҎj2"/La 'S·/HfGR~!TqU ~wP;evu\Htʷ?h P#u؍Vbtnv/}}=k_-x~3\:_ڇ3sm h=kw٘ɃL!j%8LϾzZ?"^ˑ-:0딯"eҜ.J뱞$Mc4VnɘFBw\Q%i {B؂W l) V6+ĝ60Tv}al"cfLQτ K]SDžV39 2H$ 9VKi΂0U0f .)ߐLD]X fVm໶bX"_rwzKE*l}"ήF,7bğFաj dړԪR-T/54[í cE?0du۪ƳFPUR~+E;c Q_);0mJ&xVSSu+]:] =X1mE@Jm:47xDM7;;X#<P9dA;iJ6+2NtSVe`EtQ}q i, k!4=1P쪃1f/e=xGaKNr-Jźg2&BDø"LLM>r&\/X̌ ȅ35` }nސ6#EGm.K~Fb_iWgCʮESD~6:5Q>~^g=,upgLiv1+7-)q׵+vOE5XsE4x3ʰZ0M>Ss7{+)<h\yX9}>wf-Qrr"֟R}aS>IGKۤxkP '~o9` :xy"^枙4IJ0(`bV-Ʌ=FO"LM K*¢nt&`$"/\2 (X!#`y<8u2>D~Yӕ`Z++|_0Q]U We;XIq z),?˽6cBinW Z? *)1 O'"$Խt+\A]k%K[@bF]_v'%\f.~!0Y.^_LĻ0Ϗ AM@W-f޻݀jM (kx:܍.bTO޷F :2!l=XZ#KWY[ah/QtdnRˮgf%1z؉ٿ'pTvPKԨDɬ2> b,Athh~feuVi&bmJ)2r+UnT1ZrN6e2?|HB+ j7UtXLr nɝc\?aw<@̻slu-YL<}K r-PAzg<ͶK˒HR-EO$ݟnQPjV< kد&T25Nkۜ͝s⛸O&G+=1W NPK_k7|fJ].͌4 9.ݦqպ#YKGYܵ'5c}j8?PAK(8 Yq/ ˓AJ fr7܃ǔC'B_XļX0KK?^QyAi3>SR* &e7, ,|":@rf1#mUO",0kd^V 8suۏzX|#$&"R@5vİں4gYZ7zXZִF! ^]ŗXiɟ7^aόu&XȒ*>iKJ\Xjo e-aXDQYzvz$᥍GʡJ*gը\,nb&Nfs "Qq-+P9j j\qVb"Udux~Spd{#^+;_i"-!I"CN)LT &OGgYZ7zXZִF! >?]ŗXi%L&ʷAIC|UeՙA8 QuDm∖Y&p=ZqA_.3W`(G;`5 fXX^gMDcĈ! " :ȑ>B)ec[?mNJMLOJhi tT*w8Pf"9 Z̈ad)J) H,*eܷN'DZuokF3>`Fm^d2&WG 4ny ۿ,Πr6;ɒ4`e}P' PWaJTV:[Šf]6GPyُNϜLXxGZ(fzԃRaSFV@HeD&)TȢܹHp<nK hKOKfhPquD3Sy' n70x[8.GΨ=f0px j,zɳِq+ ^eYs"-`7F^s9x׼ԆOجO&xQ2ˋ/m2+]3>ETtE"Q_}mfZ\fsu)&k.  1JP+Bf#>eȻs/Ou liD/i>x؁M-3wXdO\a%ࡓ`1Eci_Rd`N}yM8h$V7v p@t.j6eGa kL34Bobn)d8h2|oweJZ+_5:XRcwU*0"za>ܽOuⷙcwknŪm='g;QjJ.\lqn㎣aiBFtٖ >e*^n K9SK-G8>NñGիnRz0i iZ4Lc038p\ZR|Fpo[**Y֢{!QbUH^kZ#JkVI?`kw|ѥ<kr-LN>zfarڽjxwmȜ]XMEx 4:ဆ;HeOU)*Y9Auߍvֽ0P\]Qϱ/V6cx&mɐÂȻ$yQH1+lWIxYgM+_7~feI?l\HŖ.V.LG'ݳ"Vzßa-QiM*YTw^Q`e./B); ĹR*5⩎S'bАDi <r; -(3kv8] er(_M4fgQrV kMv1'. 孵"ti04nMf2 Cz q 4S\XǽYd=P*W7PF4P YmHRߓw͍h qX7PuZ؋YΪv}na$ 2%C}pŠtf厪"W7^ CB\_[uЫ6ΰu`Ԭ`0I wɉXCrJ]L59S "lS'>!@}(hv8Ns X1CBgL>Oe0+10Zz"hj0o[ڵZajSohOCHƪ`X%~@¢"UQS5'E˚FI!9*.=l[,:,$V2!9E~ 1>Y 0.~Jʐ_ 4XdJB|oM7~ tM?Km{ƇiSftĬ)R1nIu^"=ZQG˷r K.8q,O)r *c #`n\}W ."CWl3Kw؇;&y2?$6Lv2Z8 I; f9'Ug#,fUm{!g^?K 385b0C: (?-0#9/EH}Ըg[2t{"xJ ~J#;W7VʁQf"0{C -鿍%UJՓe.$lo x9(7=& o[yj0pa$!͎)cYQ_z^zd <" }QܓH"nz Lne4'n';\fXnU/@U<=gfnlZ*5 !i;t5bv=w^7${qVMЅ"O9-?d1dtAn\5.`z>sdϩkYk…aH-cWq:jQ?@GoKƷ;;8L 홀<}9w|f-|yRA+6W$ivÏgeѨ*p'0 5)K੍[Fbցk.Gvḿá%6x<8낫pŠj>@&jvj}F6Um M7IGYnҩ SeHq~+M )A/@;ɥ_{~9NxI 8) \4^Xޅ% egkӫ1RQETRN Uj Q؝iU|!FYe)TXƀZM_6/Quz Sۦǡp) 45$]ǟ*ʝ)8;0tRhn+3%EFus> GEBmoSmSF\od͟/>؆#b1o~Z=*P :Z>A؟`r@NFx 9CՏ`k23E[jn$U&QuIX y끧Mh7T:}vVQx,te(y]TEZ-DS a-Nj76'NKA*17lJ"İ/KY?]⋥]0'v #@ %|>KITKGXy7.i':ToR@VxUung,rA!)GTJ`Sn@xgLd)MB]'`"@{K'r7zj9KOC4L%'Bti;~΂!/*sw(^aʼnu9GfY@;w֖bɉE&H:y뱁9isCh檂x L XVhe3O=bAc0)p a@pV ~^`%Wi1vujw7'7X5VDd +Q@ ƙ,P@;zK Y6}W8j^+%3,(-r%Gk`TcviEvZ$GTV9j+潇a@'Krւ. šԫڣ^| [Ei\ "Oy^C>$-3nnMjx o.)譨-pq =e Crg{?A:v)5&=WB3LR)LԆ>LOIIj^K.I= [ ݠ)LjK2 ##n )olR8<¿/%KfVUݳo:k.F=7ddeޥNriϭ{}ծ?Y+޿, j4jp00h֞C~"74F$FF<1 ḿoj `s̵댱ҞfD[/<pPnV/?ʦ3H UVhb^H ZlNAKm 8\o()j-Q%'6y3;¹R>T J7h:*FQ5#2 m,ݓ_C HtVCa{a`W09~+amxoٱsI/ {Diu%N֋31 PdbO˚ʼn8Ysa8saR賹gTϡ>XK`StCtW`3;R) N4k)k䉽v/ȵW\½ݚ5l8QPzcgŞļr9q: XN:Dm\f},uc0JQf5we8o[5H"B hZ7%xRV-|~جP,9M\%d^= i&랼 wdH ƴ7mB]K_J,h~讀-T;(^fH[+5>qFXWBYKrgjŜYĜ qtwp$ݨ5^oX)~>UҀ7W vi<5# ܨ@p"";EùLF8㿒a^5LС,w3/OCgU銢VEDzr_`lKW"f@*# >aγy~aT\ARTp[TT|-CWىB-^h⛂mjA{hr3e\EQ`Kǔ&^(CQ1 DÛ -+'>n05r,`BHȈ$JZ$K gAi^)$Qp D,[i`B˪`U?̖^'̷YM¡#9stݿ5 mY*#Uz{1D ڶ2Dž;O"Ie6;6JbLDs <j4\8Sޣlb-dw*WO8WU72N'YMi*x >NΗȏ޻NWeף?[ j4´; ^>6|6o590"WrdRS8֙Ĵsxd\`dע(2쌳">j5`/(SfE 3B#cO!\f3Y.x,\CPΞnԫ2S{g| wxcۇ q:twF +*zOqSO}gk6TeMNy`SvcϦ؟L \ њ4CMvtF`i-A`(Au\dIRCu.`igڋl&'=~mM C8/_H)S ^锻}ֿ)IɃ)IDѢ6  gi\dAE;{bz I?񐢙LmEb~ȬT'C2^D~0H:\kၔvq8)bOV.?e֕hlJ=۩drL$wH8Z;"D±la2+(԰Uf