SQLite format 3@  . BBh77otableisabelle_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  h1DD4 ]% HOL-Decision_Procs:threads=2elapsed=663.620cpu=1262.404gc=94.444factor=1.907zXZִF! t]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓kkRhxhs"`l0nR*ܶ޳0"p'ߞ{Kǂ;%RH^`#tD͛X7ճJkubkJ51ݍòh_sl2th(#] eholz蹌:} ' Ak_W*wa9Y䃋Dͧpɞ"Tcd/hs2wâ*/Ƃev2ԗB?9+V#jF|Sy1:uǷPuFvniAa-}f5Ő5 O~7::N/?U \,jxHODړƄiJ5 X~hM -ű(v>! 骙E=־htt',ʐ85OcF)WcQ:%:LδpF2J%$iB[=p`CK_~{lPV$[zC 7j]5 7zFNlbCFC7@p߆ecߦS}%; |QT!un..<}jԱڻ$RCP/^[%\ 5Xܧ^_,q_xv!P8YF()AVٚ N Ak*zノ-jN}˧~;}^[eu\[Jy $̴:,rHAaF/VtRAVmj2Nc2,ReLo,Nai!a\Wbz#4VϙhצCEueZ  3 6qC; pmVnuyw陬E|jVf*>肥`Z?My[:>Yy Ƭa^.4R n] ,hF)"g\O@u/kOrob_G0x=Oms12 uH Y `'"S"_FFJw>.o 1 HOL-Decision_Procs$b%xm|qWS{Q"ɯ=z$ѧ>zhlF^oVchh pO@]{Q~9 dX" WpL.6%45l{Pܼ.ssbd%#1iw:W<AyL+JZ]nQ.ihz$Cb?GJ2ūBoO*WMŰ WjdLXߏ^)R%}f;!V(tJO<=ZAYu="u+=,} }[ۨ G~ c͵}6D0 o8kVDEJ[@]\k)0 (*Xй-=TUŶfqrfrq ,9{:M,J$=P@1ϒtޤ1X"w MJo'V=1 !P!&MNnS(4VL"|*\dC^5Ϳ<" .)eA(H2K-Ti\pI8) f +Þ6x'Ws^)_(8$Kx14ThNP1xTKBo)oRwCn-xe4iyVn}7='iD@F;om˾e%Xgu\m8t-Ut!\< lӣE*!8ՠvDbSJoa3B,V4BJﰕ>e,>EY*KքR(*,%CMb)oCrc8cjo;Q2L$0[O_k$ťT jU鶴8>W~Iݘ-lnu1XjO@InIZGUthMm` JeʁV7; B;@igje49՗pDq7 < |uGА-o[nsw_O[@k'߬jsKO 2YZp!/@& },F}neQCu9=7ܼǤ+ V%~&-Xd?aR ewox\(ޑ(Nr;!=kM\]")''.Xo܌Iuw얣ibM}Zw..*{Q!~,/w ?|`WxEv8:gcig@M:òyl"0. Y$%tM܋So%i O/w#{CyR0sJG!z~L=1⹸ḙ$Džf *fӗ6[& jzYKzws.FN`$NL9` Ҏ fcu h@v#Chl$aJJL~ե]%D<$jg䎊۩hy{sh ȝy$C@?i1MnpðŎJWo,kUś] _Ӽ'jȁ&\qE6tlkii&aQm549s ϲ & R "8`_[)N]Z4hIz#fw8x꯺gV}+ԒMaTդ]Uq AmVa-&O<`qSR i3$)?OC?oC 74||97L^\hx 77x@a@N판H@Yݻ\*?xmcr$f:=)[tiMF#%=toBPk`/2vAMD z᚜GvRNRo^>/E[m4P_!*,yI-i*@PX-yr%R %lsP KʼnWD'%{ߑ<ikehu84W\;12>L"НɧD9GjX3_d0ţBa+T]E/'[ÚuM$N`!*uHH\֌)ҚJ5¬N b#Ti[Wbwd驼@J*Fє&46 3g:FBmu![,ˬi^.  ꙍCܢrRW;m\s%z>#<-`;\t$t06=*pZLeŘU!TzVE˱1n'm@bRc]IQDӾmlNO)w@UX)-'ш byd2(x u גㆶ/BPkH|-_ }DBǬGr#:! /'W`EK\͠IQRɍU,IXt6Mh$41Q9C\2-;:gYZ7zXZִF! S]ŗXiɟ17L? KxlWP8SաM~>fٺdb&u>IpMݢYQ˰y zZX~Q'>$4eHQW/-2cSAW W'E,!/fB\l61xa#\Q~sģ$t#RYH!1& 96R(ՠ,;[VUnh;P i)?&$A&,/"F?FG0d4cO Hoyq@nhI/xmj~qzblQjFgB^w]qU6 E@HRºJ^>mZXXnSpg_Xbz.d5)&LQ)Nbj7"k宝a-vך X{NCezE5Y1Oç?cUr<縐(z"٩_]>!!t%Ut>?a|2a^).vfm<(~rmfn=շX n@ʳL{ 1?}( lgl἖I򅍆siڠG7:șƫr/\ƈ^\C&6?1Fӡ Ge0[`YVܴugō}ȁ J@z|vdas%~ N෧dje>^4.9a;"ڏscܢǗQo1W;з",׼>XPyG3nSU5sך}]g3G6@ݗfWNfH{=YXO٘)[6H.,W?5n/<>6D/w ?dNa1U}d6(Dmz:#^զ^}5D/ Ӂ^:$yC+k}ظ ٦f`bWI^=LM1RrL">9gRBO5~9n|;WQs}2Y?iAB+xY`Y).Xuc A-mqHQU#K#Hl7* VTډ0%n:^?, yl,KkK|-^%vf~9*ʦ4s^mHn?x/sq(rK"7})xKuTA ۷J63_5{sؕ)W/'@BS?$ ;7[h5-z9S19cayIQ#yH%q7/cZ7|GĽVhPIp;?hu]>O,% ľ"<@wCB6N$UZ(u6$cr c3$?{j:l,Ѱc{~hxꛕBJzYVv+,ȍZGF<i;X oPSG : ic'7*65PNȆ̠PIL$Ln j?AƘMYp h#?l3Q%G^Vdh^f=l=eh5"aeV-rT=}G#c`7?ss/=ٖ'YnՔHl]`Fv”t_?4%Fr[iLq?ɹ{m_CNvA >. C C{ȋV>۩Uz H67P.6޴|W]}\L~#7_Ea4a I%{k?5Ƞg[% FX>}ϔh3yJ2vKU5dS֊%*p&Z0 ےZ ?>Պ}ʲ>{n[F 'ocu?Y%@xtxbPj lmuD}fXM_P1K06avҳ+XJ%pv TEk2[,Pgܞ| TΨlAʂ(JN+ҠxƤJˌb!F|Fƻβs^(kUh@R>*|㐇'Fn'UxayTȌ +w6\.73 3Hj3n@Ipx=uiͯN?h4!aVFxr`G؝|Q%eVĊLv&\$mTSy k.t:5ӡAD%3p"b |׳^פL@hέ N~ҼQ33βs,1Gy'-Jؽ! 1*>;o]%}?(\}\q>Q`~p#=<0ϭcF6ÄXsRF| sv+rL; P/GN$"8O&FoYY#tltdžZ!sO [%Sq<=/uK?}F8lPip[ܛCuM+@b>-oh$߃]մBNh_Cj(I]YsPhLB%jCzPV%WuHh_Oc =/Biv\j(-D,$C>b7 {LJIJ}c9~)E]HI+Z2Gm15Iec|EDƛЛLN_̉uSu͓4xrɪp\ZĨVdn^3qbb{Wrk&Xz5Ќ @ 0&ۇ6ZV7hyw9p>iIHy22ۈEH"“!}6 Sk+M V|8wylIa*Wx #fyrawS뻛ڴ]wWEgAS  ݬ 8L _wsI| T8)qcuY[Ah)jws{ [c}%ky((7ʐ~b }6ںl#mӒhǏ%hؗw [6?!CDVԺΕ89ex\zWhHhDJ, Fli>{N:K|u[-whd^B;n׺9҅ 4ݣLF2В3~$ }qTwU3^dG&THs_@Pۈ\j<q`xէˣl Fi?5z-gEP&QnO=dC`G<^9D4)ifD 9a[0EdC0}eQ|Yd\s^+WɞBi)9k!QЮmQVw4"Nv5qZJeU_7!lRN Լg4JD¼sLzV[ES`Tq?-vD_Zݏ+aTDGW*mv-OAt43rZ|oxu7ZJ2*M [)_Eiw!v|ԗ+&'Ω)BlI~x=V,~B3tK|򆤘g[Z&=ՅQOu ěW.ЖP(MCےD$|XP':O+gSMp s+:%e :7l*'? .WFHΕ64ԍjB1!Grhܛ:yI2,mK5C$t|@Vd;{LMu-ŔbTa@Ǝ 3Gqߖc=G" p"\)AN;g!7A'Fi p M6 x~V * R3tHvmغ&?L:wΤd2F).%Ex؆yl/(TP"j95g:x8mT%5a(EK?}5@_]{7| BF66MH('N/Z#NOOh5,NzQm9|-uRdeTuwV.j!%H*otU:9mMxt΍.yZ* | \e6NEߎ=[4!j6xS Xo(Y¡i&P>g@8"O4ѭQ57:<ϕ돬ɷ(V9g{r"p{H1(7-)q_l;VeB}:'"H x01ຍHs?g,a_eM؉>ުM5ѝ{,ڍGrPzU;z@#$: %om1B'-+?_7 ~l+gwFHAN+ ;c6܍|rRϒ9YnBVhZ\4q_p{ PhgRECÎj L0u|$s)^NQxJLE*Yu_Z58\gQ{kr!!Ԋsv+ݼDC'XU76W`~x}]}`E{klga'>|^"_1ȓ+#N8'jp.Y#YmL6J; e1yG"iy4n4@]/o|GfxXc:~tVN| s\ЉWbS>4e>mXoA&U7'd|f qtqDdB~f Cqe/,>Kbh8L,L ^1c>Dh' va1b:GU!`z 5rq- 3?>tB NV<o wZwmUMW@荴v5oH _Gwe7ueUNL&3e _@@-zNX_};VLα$[/Ӯ'͜QҮw(h$TBrXbﲬiH{^o}P7Dh? M4~~q_:o]lNm 7!/vrRr xQO$us !큊ebg.'#XISJʻ lɠD.rjHx5zBC 9BN#s_2ƌbJBl͐VlOlBy2[/v+?;2R-'VRޝmB,%Y\HUsc{5[&qQŵF{~r@)Xxrη!kRï,{g.ߦ,z 'U {TD~ܵHt}Ô׋JrD#Vǝ&z_h޶oI;Wox h*Rnx`X21MK5!wP^ b>Ԃ"\G.4 @=ܠ2þ?aJ}5gҨy EĘKY}-uB#~HU ]@PxƒⳢYZ UPdtY/ t1^@3.^qHj"\@ai8CγC] u߁Cr~ϱ'rO)h#($_Xi]+&e!kcS"ItK 6ioIoװy%𝑈Ӈ'{x_-\.uMp]F7}~҃|s@? \UBN-+q4=aF^ū`ˁVXdbD6H$& YHO3}^#v^~yS^lƗ{[qȽ꧔Gbo;.#9m]OpcZCUpw [Epޠ|WJ!m/w}Dbel2by LJ$K++-6ECXE /@6%Y\P_9'_V!/({ ܌/J+vhA/>!֔ JloOjo8YB!m&j:+e+䲣9VI}A;7aOThm0չ.XJzQ*62{(6KHYdW JX2~z{hʣuɥ9L6VOz&#'{}W[Cz'̂OLtaG6@ccLBu Ov"CguWkW2NRpӘ <`V[=߁;XfG fsAIGyYjjN?A?M0 dV!tt3e9lX=~$G3Dt|sw4 |$uwB-G3Jot]_5:B. 1f9xwS SqM1I?X\iVMv?!L ;k{-fKX[ qA]1zCt , ZW@,7$vLaifnPQ %K&@*~B4fi >).T6uݶJ/tKs-rޠsjVD5wͶ|6\MRm &|y%- M̄' y).%:x8lp+7ߥfI>_+Mk:l>!|CbmTū㳟OTh/tPKPL+X`W۫ t}փKC]·x-غab|&Qg7F[Y\?"ӹ^}diG`BKË5Z&ZoOc#srzd]$%lY2-A\}HIEJ1PV"Ael׌)m^'vv=tp*ob/&ERI@ͨWLVXH$s~꽀C *@"Ġd~if?g|kGٺQA{Nc} فFﱔwe|°5O1۔0=o,ESK#,1upjȦW6Vr*f Ko E-r͚uLIY3(B rPcy}ՒωQԦg:R1%Ux~8c*T}X VwR16/lM Y鍫EXB#O.@V ׮QRi-SKt}{$ 5:{;'@j#( Dw=]-a@;_0-zժZ i,Zcv}>举'XCsoA\Ǘ!LEQrKEjyq;׷o-Κef(N)V,MiZu x){ƪ-BǁAԅ}۫ڌ?qY/xv7jtW%(SH9\̺eoc|>Ae&i^tM}VgHN"k)g->0!l`$Ѕ G¼D a ?~jֱO[pT+2v͐`(vUSww(vshASu2/t7by r,+ppQ^C#XS(`?`'v=|nO0Uu hUm˶id(pMAPچDF}'lkd麗I]h>)%c&hQess3zYqz-V%n al;SEy)L/mjxL qG Vu8/ \ Ƭ׳ s49$̖#Bjw2πS{)>:fÙ(LO*fpE`8u0U#DbW/r+$jZtpل$=q/E`9xp⍚#.~7좚iag._ Qd 5}H 7!AԼtlY?=7oў4(7/APZ4]]Rd~|bi :u<6ϡ< ._?!zZ +Gl%\OՀ*=HM+w7[F)]!ǫEtXCːj Iq̱lTU Щ.MD\ꢱz/=C+b(Yޝ ФbdeZ ;֬|/miue;"OM79ѷotԁVbLUu_ΦubpvWT-fW'd& 3S3Hu%(D5SN'?32wm@`yHy(K(9-JOCcH.Ҁ&ׅs7%"?aw"VEBdcb'vʠE~\(m(T,J 'f|~DEu[O~-S }#xgmM%7%Q&cd*!))V>:͞.ӽ/9dL!aῘQc(0_)3z8Jkô" 'l>{YSdfAP͞XLVZru=* dX:nq`4d)C;F g;paMu~kLOz,9`zXҐmd+j_Lo[:YΝ``+~)zߧBA8[,pMYo]cAҎuR]BձA5>#O,)Tsy)nnd .圗'fj` !)9ę cZ(fk$/w-C>D3B > ;W+[jk_q9l}CWL*}ϪE%)osy峋ͧ8 ܫiW.2W(u*vp(6Q3עo ǭbpN,o?ֈC&t"3x>A!JM+`>;vXc'}92]«'-U,YCgC!CP7roӗ' p:)2*/ ٯ ڧC;^i#AdŐ0һ{"Ϗm7`!CDA\iȉ{o`nvNXc2Wvp^)'G驒zkV_f탇p)TAmiERm?kpfh^+Tc4oTKaml< /)-6Y5m .GS,~3{5k@7j?'W΢v#Fq$ 3ט#π&Y=Ɵfa%:m]K# ξx6Е&Cya4n(ITedQkM>ԉ?'=I+:2e)jIdm(JOk@ xu#6wQOr؛e\I+Ҧ^Eׇ拑CΞT"g^v;6Cpl2%u?f>iŁjY.lWy6a #z(ZEBƦTo{L)EabvnK*;̠\;oR~hJ͛4oق0ݷ$`Pj4/1«֑rKcckB |z(kx|4k&-AG> -oS^nHՋ_*:.fD͸W-cѵFqJ! l'4ҨC jkBH|x:хb T,b-#Au6cOO$7]fs'aY5ͻG`:T/>K^.,(eꪼ%LjWeZ9^?txPPBCx21Kǃ~DǗŜ1$PZZrecde[e5^F|T&Jj yGfq3s^ڤʝgj!뚮@UQ̗@%k@DR΂yZPB cW4ִмB '拗8WZ]ri_w$EAϗч6+?}}j̙˱Y =P z;D,\jBS'v?:o{G̯? 1%iG1@-溪=ws_pQgIrJ (p|G mt2+YMgW' 6+O׾"{0y^PL%[LO_Q4uWzsbp..$(Ns!Z`W v  \oVt1vhfL~mYL&CO|3s~Dmrs7\S2oͽeņDVDxp#*"B#}B]~EOgq,b+!]s 8<,qa,hrrjA{dsz {W/CŋkJG0Fq|}xd[tAUy?gމcYH U޵k58'BH1!V^N5i(X4<48 \8v@]@B1 ^H8}9drXMӲ)]yaI:hSICiABy~߸^[M Z/P]brrI+PX<uVe`NYlP]RjMu5`lv +hgz$giPȍ~<8ō? fsLwͼ|>QAgޕZt&H-![0<^n_9!aBfWS/)dy[iUCBﯙ2ցn zT,zwjVg"@2B 2t4USܴT ;.Ys2&5PdĀ?ЯKdڔ!̠hiqmdq3kCpf?8F?v=+W9O,~%5#Cpfﴍ%gMZ )Bc8BE73{;fQKӄܖNjƓ2ẍ́5ɇ8;n6ʟG2C>>UFlC\H0@V8L$7?PCċ {ϓyJ&i9.Xj 0Oh(ZD596tBxQ㎷R7O]ϻv^X(th{13*o?C<_/a ހjw kpؿ_«M?*`V\@̲3J4-Xܿq8!TxLe)INf \Z:!{_xܵl?ru!3fԐxU[ !#fwaeТ b2o ZDdQ@VFx5ke>4#7֮@3iH{G X }"f?5D/bEP9hGv7_\92mF^ΨFg\Ԏ cphl9- ǽLڴX-33( ;$j9_MTHZ~:TW*8𠎆C-E[83MyL-Y?(%҉,"S$0l+vЈc TJT˫Q=VA& kG{Ra )jbU/$-s^zTz~C"wO$#ٺ a4[CcJ2%  tA';C~(Q ||:hn 8p,ӑI+gx@ޝ%!h2d,uA4H.U%TS^ M=y\Z)QA8shQ7=JfGZe\lAeLTKΏBTxOxſuc_rMl^$HbAB1\hE( F ڽv;# D5z rn GRacV],ȱLenvrCz:'$xfr6T1p;h fD PRaB/G}'^[ohg5_w-LӋg]{tѱwGDiEQWwϞ?d9UA~~l2Gf^9ˊ ,7u 9hx7wߒlh- !ufXExŭABcBk::Qvf Jq?Kt} SMc’,q\pBU-a"'bRH_ߑ-V9 _4T@þaU3ǝE{WVzR T⦒X‰#zU\&\Npڰ4v7|ҼyWn%HLi.\8 ]1؃xo.sXPoWv0k,0޺ZEMrY']vnގ:Dw4;!5W JSUf1LPL;^ϊl#6bH^d_Mfr@xN E\:mOpiF^{˄4 Qli-΋I`͊ć iyJ[Lp%ɕnVng!CQ$ R@N(gEAmPa-i_&fW{NtZٕ;þd;iߐLu,:%=F\!oQD7+^DaGг@_32Ed4m*2a,6Gќn4?O@yhü[b8sRtjMFkw#/|)y:8*tC0rE;)oۏ- Zѯ`GG!;tp"D Q+AW.-ZWC[fDTZA{vim%FXӢ& kKHeG18,wA ftPsW~jϣhz`%n,B@Iq"C5_(sz-mG HɃ\`\,_IO~$tޚZ b6rڜQZJsp*۪CX\'UFyFSGs.rT߸( |b6hET{ú\Թ+ H]jit@ :Z-]>-jT@ZϘ{d}:reGQKmLBu;M}5i~޿ (T&t.'f0)!PRq 9xvZ7ߘj&DiYLRK Qd%M=nåxE}4ؗSFM*V ߧᮤZ6m^ےJ'<$XL B@`ɉTNO#܈`m=Ŗի# >=4c28:G֖1m4',`Ě"^ `{_LXft^![I5)72ʴ_9${1Ĩ>Xa8'͜GC*+\Vf> lܺXt|E̮_X; R0ՐuO#qƝzlbpH$Ol^,{_-ܼT^[Cq5&2'iL}SFL@y!#\ZnBD^Ǚَ ~qp o#?D*ҬFs֛SA%sE.n2="t7µeZe8f@y;][^IM6a|%y&H÷+Hٝ#fhɱ:OUiXKԗ9Hr3[f\R;1o +\ `Z%^| S#ٓ2]AQl;Gzr3ftWKḋ4{V`Lj|LɈ 7bK#I?=tӁI΁XRĠ,9ޟ|8uVd)mَ:e{~ iQVLғG;Di&iS(dco~3x(J3 /]iqVMB2%,'5$pMI.I'`Cj}#fk1 @0p FY'L^N'z]Aq Y9ڃp»-pyAJ: o5A ]ɲٴ f]x\ߪ(uduLjyHGFtF4ϋWsS,ϡ"ڴ\GP/c(bvUKWof{?'jjM{ZN\ř0\ITTM ˨${ 'vz;/pc(^|+J0A /Hon<~,GVMѶ/ Fx!ȽN(Tu󊀎(g]7&Z_m>7I+ѧq18Mh@Ŧk"9GieUW>RdPPs]r>[^mZ=y~z<՚z S7vFLmøktWp7[/TDÓ[KHLSdե F&{ I;! 4n (ʑ5EA]{Մyu=$.o a p>'MZexBO=ooEFn>b\Nm@/_e;F2;K ML"("j2[mZlJCF8ȀynP+X7Wb<rtXo$A-ޙd:1\qbЙVwGE5chГ5WbmVl''yzSt1GTE`mĐ'`0jRmG(1'_xx'7Y&GH"KVxxDnz%>1"w n)dʮ04 G)d$oSv@dU[Wn 뼧tdzC$貋*avPe ]2~ .F+bXZC]ն~32~~Էlݐs>悊p3ݙ" Pv+)y(eFr@AgLe!H`?\)سqdnJ~^Ppomlhڣ0b}M%?X#gxBR&10e e !\nƲ4"aS0v/pz̴h⽗Fs$BĻ}뮡ؑ1,8Zmdy lv+@ |dkAR`\g)9Ax+V_U j6$O? 8$7wTВ"qgvKu$hiI:zj*:SP>EAv.Du^wB~렺R m$#&8iܰ[,qҾZ_M+__ Qrd~%Зi=সB2ߛx[GTA 1Kz7@>WJ~`=z ->uIب4LBS k ._%0~k\̰~ĆB]3[0wX6[vj)҂`+e+6ͩZ ^AʵHET>h)U7l2il R.eӎ2<{25 c,k{T* e8&fV{/^<ki_BTŷ؛G} ذP7ى#jVu~y&0ҤssN/H& 8|.p/;Մ̃i$-Vm )R*2b[jQ.N{Y֞J;x6L!+AJUu. dUiWp)W0ĩ%Mԥrڒ1RTeeCHP|ܧL:ȶzYWkbUį<9%(J+Ysbcv8U4bPT_0vTٿseջ\TFK ? r:{٨vON6fpztSN 5˨A+݉ ޏcu-"[޾v kZuI+B!<}xI P*cB׍)SJ@XgrOE'[kYMZKL=kqykw[ܚDnD#bcX7m*'dxV הן,i3 G~O_py!ؿEh#4 by j :Q,V;<j/b^xf_ذq~ܓ:٠DכIpBz ax/aO- &h%*4{w70:oU{ ht}nϾ=i ¥K0+Cƽ~1Pw|8iqohAwT8WE{ZQ& +3(vpgLM9C%NKP(/Do=./GgIuѽD!C|J7FZVrghoBR@_/QQQ[*Z55YB!siyVawΚ5Wsr}6z⭻ ©>=%YBJRP `Dx蝆D{Z٪% 8a&H ? c#~h$,m%w̛UV*$\ [ylID:ħr}l+H]CשLcD[:ݢ즚fjQ|)څ9TX̟CK/7ScDt**mˋyEã2g4[Ain^Kq;\EENQhn:\*yӊ9h|Q]S%#@U#y2F- ~'h#bl$7Np 7H"zOM$&QV \Z> q[q8$ZUJݗ p{Ǜ^oZ煭t&ΈxB2 6b^Œ E/ o )O,2 #9k!J+==Nz?-ߜ&Bלn5Wڅp!FP_=oo q9zz#NKMo)fu]LLoejsbҭC 9"-H6䎡 7_~~L$1 H4K鄾Pr;rlSMcQ} C>Œ;O5}lP[M \jlySB@gklG[$̔dzoeY =PM:Ѥ4Y`N2P]8]z-͠\{9dHJRikcLGk-m5CB4n ْx:.t_b2CB'LWFu\Ѐﶞ'sF_z:mVpߗ6q8,#X|{7DHt,vd8[6e:Qӿ+bOD:t25R*Lyyyś au1ڄ,O)bUIUi`p$ϔԌ ُeYr`gd/szq.pɩ|QjT0kDi`1n%*lB4{&gee(Of -Cj/T_|B2 njrSK̕齆/_Iј%fb)k3L6$LbVpZ0]H㼫e}n앃{z)[B Pr6I#'LGGA3nvjY0HGӅ8~w:5S 6m3b7>FhW0ToRO 1u UѶ*z:f:isz@4 h8{>5:7RUwI #S8Nm8 x$gK@3Z73S(Z\R[/ylC+;7"m6Ec!=*_ p"#$c.Z9+6=WhⅦDMO7djQAŠnqHþ؆ 0cǼM@eW߾wV)Ҳca^Jya~V$ #/a] #.2?JvMk# 2YXp/8%޻<&J׆Tlw/\wT2&N'$%k7<իl?ƌE R'oy(:(WWkϮh0z[ZZRPNKiAEſ7a?goq!1v{4 _L_l=6eٛtyp ]WF,a~XfC8^.:;C'@q?}Չ|!ՉŬQ 2n`JcǼX-u$ʳ9]ӪIIjBNϨ:+"Zj db _%lx^U₰~^fl4Y&HcQE'-PhCSrݹN'qEԊ&qao1@ب&LtvD-B )SNlp%ӗ[ 7B/Tw uƏGGJ,5s+U9X[0qV9Lw>lr0o,51b7*œ-w }Ք~{l$ej67|~|sd.|6m?@<juj ~.`4J,πFV6/fA.bhp ׫*ҟW|Q1mӘnH',XYؤ{2f;yM4Hv]JIkVA 5"K;KzdjF샤AEeENwχ])ܫT $CZK~+17 5/:rro(I*CpNNŐ^EƘ#O/|R,1oa/;`h@A.x^j&%5`Pe_7AT?.YxYP=>)xvZ;_Y$(rP !@NzW6EEW5ɖ0bW]BؐМzĞ$\OwHyB8uCcӐ4s>;ROa"xkKx ?c ȋMbG0ϐ n/͠p2yŰ jxoDЏ@P6Udmg v{WM\u )tl %Kd9F? pnmC3=*!. gpw|Yjel֞:O(o?qESkA䓽1N,gM}l ]T6f x<%+ N3/l)g G\rig:b[.jFa%u)h mTeY-01f+/(D ΐKHRMYPvm`~ )EF-(@]8_0 \it&N>)G9O!hyJY9+,J&m`kse_I=Afh H\UPi˃.;[.f=i] ֣ ~ )gjOҗM}tߙݻPk FU> ڻ^gnb1A.soa%q;E%ܤKOwB7{TNVbƳ8 T5.!jaAu"{|.%9f5]b_OX)Q38ʟ+Fd\At2vbϙ;Ky] яH#]&p:Bc!|=qS{&+vbtMypa|O*Hy!?fS H<t8:;6DZ8>@q|F;'V?u&{TQW[^wDTg;IlNkVDk'exhrk@)r&]sm8'~J5 UH1]<ुӌ,+C+![ R5" NK^8ýǝsheTUh*l.skSSd FK I{`Q*l \ӪilIu)^]rzeP]3&fkSx̩G+r" CpXб50RgB@B- Tג"JE 62D}ƞ,YHtݬ0>Uo{j^ܙvP诊mw4m@ 1nH!:jR5uIF} m9N")xxB|R[3f1 ~7l"6Ӣ{(TN܄ Ntũ2ٮY]< R{ҍH{ǡ5CXy6>{I [:>>2xPrPgg FAtL!@~ƻi:IhuMC*E cEbMt#Vh= Ϙ1&t,؛QU:'\i#BZ U!^mbkM[H4->.PB5+ w HT}WK@n0AV83ytZځ!|d.k'YA:'E6BL7!d\G"3$8s ѨH22Y0@7TqfG=(|b=XhZ9w5(F3OKz-˻2vO['5W;(AR Hue r_jtw_8bVM"ϡV"6Z8X $6{+huxb" bZ,x,4I30C>R4}ĀqtWZ؊=ULlvh^N} oWM-gQʀ,a" !q"$h߸31uiO?7r1ǃYW'EH^C⵭IH6c.lSyFC@ r`ͩ ? ܆'NdJ5:Ϻ ϱCpx&sIj P ;<6_J}. ,8362wC⛦%Y fdkVt^X.YÎZ+]:ΐZ] nɛmf s)ýaL)n\x`܋>[%mXxx&A!~u륪C՛יBSqeOS;=^Nda"($_ɼχy?3ԙmRx2H+t>z 7rL0=Mf:`pFI4ٽr{A8$C® D/Ap$[=2踶[H#x݇ HdS/дn$Nd{j--La<C=!"c DU'g5nUb!%,-[eA~"^e~^imI@5T_+j}>OOGſP/B0ю>hu`Q(`-"bGnpA {6"xo kvpi`\>&=r'g˛YfJO֫Br"CcJ~ §RC-y;Awd GO=Hk4st7z*+,e[g:I i@Mb-}LJRX,V _zlBQ`[U ӫsgĞMι`Ԙ |3:3Z".oT;;LthțjWѾ[G^me]r0F- ,r&wݛa.=mmʎwn,`^ǎY-f ɱ t\\~4pm|+b`5|_i!| 2ݧmTdA]n&bކ>T-ƮXТ$kx2Lp'1S?N;N$8Ait$w6nTimaj\A[ x`_ EٓcVUOcz?س$fTRځ8a\W:b?KxŻY~/%iQ%{9]髚2%L^^|P ϵ  :.v)Ƙ!鮍fK CVulwKHJ|e4k2ENoEtʫ3YF)~|~tw9Hp}+ Z?x{) 70$b0T]cm[x&*ky$ԇ]Sá.-/D3+*@P93W[9rw44 RXNb&b, ꊑ!d0Og;j 5p)%ŹL)vZ3lg4T Brdt&݃HZxtYžRt~\w$O FWI)LF_cyRL0Ån F@}M1ĕ' (?~1"~mJeSi?FQԟ.ሣ`SpϚ+ xْ?~Zش4sa)-U妺4}=4)H\0GZ9>MjaAc^)9?Tps_E&z;W"VO \TXQ֠@E[ 0'(+Qh1\ۖ!ABq!̧v(SZQw ,- _Uko~B\Kyohf[,+t(F44wX}TPvv71JDBTS>xZmm^THvc\ƞgMS׿Otڵ+olX gӞ#B||{ vxXj0!΂ F}CΫq"yXoMP#S΄5ebGuh=)qse7z"אߋc|0ӐV)J]Y~+:adA2HٛHٚ\4)cW%Jꀻ;~B_h䵩H=eZSk]Tڇ=෡|.pNMQ@ߡ'-ʯÚ22*DYJ% | Z&t.Y?ncM D؅߉OӺΐH=tz6䐛}ݬ'k ˭bfx@v:lGs1,`Ax/_*jY|VDܮD @wִY-s!f ;rܧDwsUaY^ȴgiOD~A6j鲹cSmo/ ':s[)bTDq axr]aCW0(4o| <)$FfSQeEk/ pKTsN> f~v!\8vY ^wN6KCoxi BC]+F%'Z <BLDOJcj1t%9?PS1lr+0,+l] >#{:nB8)˳nˮ@ɕ$ AWC]Pyez}N2ݕ_ v*B6 W{h1NezYQ &Ze,if#mO)S휄e$ & DUooY(Z<``a!D[{nUĬZN"JސzŗṏsG8i4(3//ic?UN{I1X՞텾N/hj0Ky /'jcit8|]{gpjd$M@jXM@mE=(eZ]?5JX@XNlN( 2B^zW ^¥=DS Dq`&/2!A1Hd2/OQ7Rܰ9oC u"Ȫеۙ~@vcH 'N>]XS,( V ޭ&6@j5(oZl1܊Oӽ`}-uH?;nj;Ttd|-T{Z n75P/5vz*_N>rd(&.(Wv+xhl 2iC*͂M܁Ѵq_k]Qq}VВWiSGQf#?Y{\B0OIްٵ}lR[y2_)=L أ_/0ZJ+׿Ķ[rP\\NʂqXShLHUkڅOg ub86C~NcL"ӟW)0NjcR*ٱ aNVg FP̪5g@ 踢8t.j 6DU0MJu %F  ]tҲzGnsLf).s4DsG |6 ֊I"S2=;ugVAP#_^TSM+e荛fi™NgWF<3OUq.i{BV !7pde+]pdDo+Gߌ~79z|\ԡV'RyInma_^0/),1:nмQ_(|릙8>|83xԈh`ć ['; odI? A_$xmL}\q J>c8UX3;c0pG0ٯrmd^ja&hDE.ucW%!U7/خ,!nH+,;HNO.E3 !*c1R!' ,e s=(l_Qg,%ƹ\@peKgl@6V6~ 5^46APl M|N+A(>O)Ҏ?F艌z/V(li> JC1(} r˜=ӑ8ϓ4Ay0WuI$)/>!e3$ȎOlv9잍WySe)EyZe' &-WIx mlVp'l PM] |Y7lN!m9~ڌCOymbma6.b"D,YڋӏG8k?Њ;T1=[OF e-7{\Q4nşrϬvߛbpz#tJ(po-WNa2d/>/՜,z766Be ~{hIġM@Sq`<k CM" ]#8<"Q$(t+}2 Hp8%`Wf^s*^Έ 2~Fъ<`&p?