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 L ]w Lorenz_C0:threads=4elapsed=908.645cpu=3591.924gc=19.868factor=3.957zXZִF! ~]ŗXf[&}k%GJ')T' =@0ӛ=   Lorenz_C0  Gc$7k.5~ Vہxޓ14' }ixVGS]!}Wo|?r.&R< >7m50tcr'dN}M*e"onU`?.21KgB$c,-%ɇ;[m?PJR`_uXpi#xluachTyZ^kzx56ɜq`.ÂV/.hʣրTAIRsiۻ~`c|cLHCn|# w\{HJقG[iR>o7ڊxMHf%a}R4}[a \ R͂;r >kW)5~!i>:H8fG~Qb5vemꑚektR遥CX.۞wwhJ{}n&8[XzEox<Pm1)q{%>$ bBFۤ0 'su.dǁ%,5jK)tœM Z[D ApS9A79"o@Z]HEgrџŶ! WFMed<3UOsy-Gz" Ux>"Jc!G]V}|/ >'0gӻ/|y2]}EVg.Dy^NwU:W`| eԐMT{p;"+;+ŨEp_kUL Y fszrΩ'1}fs }؝kG`Hu__S/Qv @[$=)e< ǦO7z$t3x\0{yܮ# ؊t0w#akk5TVrMnײ5E+%Yt<)~RǴ"s_%wKܒHᤨ*}۝;16jm-9Ɗ/H͎1q`3=9[2/[ Dȝ]Ћj bg @R*PZp *ND:paH>$$()"j/6ާr0͈S[aV%$kJx \cuc!z7 ffFjxH-q8fK *%j = )̘\2y*b# %ӎGt!v|DcY|vz`PՈ& wΔ׸Юs-~5n1KDo+#+=( JT^|4=K j(}suq!=K[./Z$% 9|-M^;.l+z@ P6xvg7j}G5KxyDPB]3ɬ[ּTvw=hOaX!ǰ[EѰbO=Mhw`W\)Yˏ'@#K2P-|RMy5pxrI嫺*B;r8 lo-A: q*' ৅Sҹ3/2 d֦Θ#;ɛMݎJlQIjx_wDa3N6c5'za8L 6x~"Dwsga4Rΰ7RQO̬[oVIZvۆɹ6ݑ-k6_->g=[χb?Vp"Ж޿5bu=zՊƺTŎ2J8/p( rtF.ΪS#W>U5Q4M+UiweE;/# #žæ!L:'>6ƛ5 6OMO;Ⱦ 6 x)k4b:0N(RG v$X1&jREM:SkYFQ(LOţ9"]l?O|`0stoR{2bs$(>ڳ.U5|"y{݉Rsuۥ 3n Wwiv$SZ}bR̜.)7H}jDJ5K | yރjUslgsݸSae1T,CApFu<$ף-6ꗱ@BzIay:,z#30CW`!ҕ6ds d{G9 %9jNTeQyc 7" LggpQR48D, =7ABӎ{$Q:KtK 3nXW|FntE_JR^p $3װ n5> Qky֤Q%"l |D+9 6ɄIn sxWgҼ|4G>:|PDS|Z^w;eSlP-9Ti rL~ 38opCR CC}\Y5aEO 15| >t baWEl Wg$b¥%H>յVM`3?x`nsRJ@O&R)-Kՠ-yk@&/r -[h- +#?cso&wo xӔ1("I;̠Ǵz15c h2n5?%꾬~jk2K7 F±vBxҨղO"bcMDӰDjE|uCȫ35r 5-Č,L/ =Ao?Z|6~]%6G3 E6D3J|L:·? _~yiC! fP{"zg 8᱙2|lduBz<ፉWĖ?x%AZ~ BQҨ D#K_m0H7A/$% ˜A+zsl ,H3iiVЃ lJr,F`_ YPG6`hXŽ//, xux͑8t_}Au -nu и'?ʀco6Lj)"e:fhpx3["8WbVYE?rrfBm=_gIݢaKi3wu`H9Y`ڍ޲_각[] Cn:a+1k#H2}\Ǖ6p)rfFyOZ;h9j]=0]r/xӴu={Wח <&#Bk&v65%.5LdOdb']OubA$cZ )A_>C޼ZhhVZE>OVWJ{\ĹCWz7! zXJ/}>'cG!GhVYSMQZEɠlL,8 N%bZvdߢ~4oҋ_)gcyzfHDґ>.*Kѳ}@l5IȭB"^ٳ"uFo9OpAi˵RQ3BC6%"^'zHvUrNN uc:oIN 1F68`9@Y2^Q\W4 ʄvD䰙V)g; hO!)K|,׀$=-JTʈӬSنL˲E ?Hܑv.paj۫DZ=6? P풒4 F9 ڲj[̂jxeg-hbSB&w0=v[}ج괕T8@GpRD4|)e!A>۫.Mhb` SUCD8Ii70e SKṫ 9 }J^y<-g3x9_ܔ3DP1W@FJm牄&h@|4Iɔ6X|o \_UzDY~_98@2 ƣ,|#TDm0?x0FĔ Gz|JS 5VSTc$쎼H$>3M5:2?%+;%'#7_NJJ'GUmz4yy;yRL8p=.oFd\J}d(56Qh; 3ەR3yO60[\yQ޴DDsHX62n 2{J-n6/LJ- j''\GO[$8e 3ZXDLh'0 Dn4muPr/STUBg̀?8 ,_͇g0@ mb:FQ/~s{f Quα=(x; h]}pia'p8]Qi8xD@oT.BWiz./1@?jzPܒTz(<>8Ic"ZPO%O>#l?Bd|wѿ߀6g-Y$<*!oЎk\*пU*.t<Rf-ý tj}5ƒA<3vC)X҈G87rUYX=%Xb<6N #>Nj<$HG_H$>`v|JFn2E~Zڰ2[R6/`9IsY2%Uo4WJP)I˶@G(0.EFWʴפ'i% -4!A@ بph{YjQP7h|TKSDΦvcrNWx),D F֋qAk|ybQd-Z}%̣cڔZ~/r\ցb e&vGeUքټ.do$dyeZڀL8˺kJYqlھ S5"ew_Ӿ%v4&`*bw픩6Ƨ#?'lmi!U-N18&q ۲1d uK }}T9@ͲV%ASAI:*jXcE$4}WH籸=4[6rvdu[7Rnt=6r#m,_S(/udždl]PRHM+Y?Y=AFb3bizrޜ 7[ Ȼ. dʞ]mO*-IIE ^݄Yw-mD}!ݠ@&|j37pܗLv,@L\2Ƌi=p/+Xse)(E6] Êq ~ EWw9R 1iBRbG>`vE3B۪$Ѷ= A=g;'WG@XHnA-nf |>Z]-FD iG a9ț"$'j5lD=AɎҷo.9f5тT·m $0t!ͥ Uꠂtxl2} үVFe6~=/3w-3̻}>9_Tڍ\eD*>0r.]7V%,k2oW@(izzi޸ x:)1~P1)s8"s{ZPňq6mAa'3SFV SdI6b xۙw6LB];] %&ă G⽶RUH[qAa;jAU6$[mxQ2MjsԥZw+ ]]lNB(u2?]+wqa=ns 髿BJ+'Z;z,]%UZk. o© 51.Th;9ipJx-L{Y/=b[ RRߣtUpn94 Tk:C.ǽN{|8:Ł\ Kl:PO|h*19}Z\RbLsMkS7ItՏ\2ť@4I__0jo$"+db7 Q.+B :&d@?~hyoK*%汲4,R Ӡb Hd2򤈉t-~燡bހJg[8k["k#>!$*gN0sPPB˕.ȝR$."։͓c8_ p܃HHO9x.p/Mf'1B*TFS+.=2l8EbD-~Gݚ9ebo)a2$6lPȎ"r,a*^;]O֗xDJ~ŭsOGŋ@ƒ*dys>Ӥ1W 4\fumN ZC@˧룁wSLD N$L m!9i+b3cDHWtp0LW5 be+8D+k@k'Zâ/@缎~}jUa_9h*9=ό.0\[t' @r/r=Uvo!ݶT~[ Lk2D3"y,~/ l^6}6T/ PП_|ւ|eF\ײs+4+y-u/ښNd?S ;s U(.jenݯD+KhP#x0m̥]5S<4GYՀaqJ}hnC(h:u ݛyXhh*{N2/S$bGzcZRsy҆I߈AU, j"Y28Yn~i()%]ΨÚF?qH Xo{ZKXU$yQ}Y8bB0dt#Uq3C2ұPY7?>mlº-ظ!+"bg+s&~R˂(H&FSq ]8m')B3]y/B rψ .6\>|3;0,a+ mfPGTEV8aC9bn;|/mtD*Vl?aPyBA xS`).P/f>7?rxm[֚%kGR=6L4-YDe_3ʞyfQ5J=*~u`ҝl'86`u-jQ)gB['0f[5z]PO](5Ci|bQ`&5m_䢘#]'IoP*IⲟavP}!< Z$8#xċ5迸E\UXfeml躳V@F9/sDՎooU[K8x ѩʂ@~&W>ze8 g|t;4G>5θW%"- VA"dTL=rA۞B3%Mf'vJL ͸4pcn0/*m**5̩Y_T1Hɫ)58FHPCtbSQ c/_ l K[LGc㋲SE !TwF1c^RikuΚO*u4.yU9b%g 6d%:6AjTĝO[:آ'B<FNOu1F"mk MMZaI[{pY{S͜"  BYgdd֢'V o١qi JHc3iJڂx_ ao*Ţ;@ūf`ʇ)Y90,b%NzO<۞bͽIrzݿQGb<$5.*=wJyIG˃္oyR Y*ΝnT|VsUPSXSt,!Uxqm&u(' {օt#PjGJ_UoArleˇĘ7iFfc (аB=LG_7c8 #EHKF0oVE{iysDFjӧ1+AZeBm U׾;3ɾv1|9n֠2G]M! O:hx(]0GU BbNi w ,sNVBkuU>dt?Zs-[Pc7zkSKZC?\@ ^"C;j(Xo<XL.a"Xy.ɧ'phN T `qJD~ɫjZgAc," ։S|KN'x@?uY' fpbxқ)D3|AQA9Fް Ҁip>g֢XioeGtvM( e'QYݯ0=Y2o3piٲQƮvb)?[aF_Kp7:㩸sJї32ɤXgN|p 19}* aY 6^hr-pX([ /X=|-BL=. ]~ZVG{5 Ӭ 4r҆^*t9!Zߜ'Un'8vw0$6ɧ'&ΞMKo_IK>O \҃z;?yTFe%wͫ掄CUꌿE"(W] L0d17フ7ǸG0#VEDdBP^ɬSQw"£nޞ:dso2nӿ[Jae#5 cÎ7$':Fj6߲m^]Dd>Y33tjlg%ڟk [/bVc&l A4pw7}$ܟZfq[XHp\_/sƥfa)abHZvv0cmo9?$^.>D,"0v؟'@k)ڤi=bH:#YC(_"{P)rE*6 cMuL13x}2S,t=#y Nȥ۸>]%]_UōT9! =ؿT7~#'\n \8%yJ\QӛBG +6gd1,lpsi8B hlEUuş*<%KB^UҼ(G/)֍YdxoOټV@]j**V&~=BP +̘sLKgNּQ.)LxJXZO8$Fms De hIh10C ]`q\+- *YS01G`t6+z_*?mMˏKN.ɖpN}"?kS:[2j ,tsxc2(DI/k%3~5z;n]ۯ= -Zx\ZaXh1a |tPݱ~`_`Nh:=߉,tDVi=i&#Ǖ?Q^=uRm&.|UQ%Iq^7jK'L w cgf.ppzFˁQG^MӉ5c+bwq[0?< &p)'h[=OUn@+Tlx*ʊZ<燦dn8 8}&XpW>ڝWO guL7gڒ>G!:~&u<: Mԭ@igPee^EyEe8 ⮮t5 퐚_yؼ[Vc. A#V 7"4 XBMj6jF%M? ]+˯|jL&_:cuqF{`z[:tøya|Z.Tl-Њv̫qmե]cߍvSTJ[-+L!ï[AW_!mjyDw\BZIoLAU<^I`=t3*x9'bZ6(uek;V-cbQ3fqwYŔ7B%.Cw22-_ Vne+'Q.YFlU7H౎63b;RM‹$C'j6+f,z[SXSs->ܩAfOCA+>GWfgҺ‡Gp ^bєL\Od:1^YrccY?a;l/Yp pn2嫒g)oC=77 7Gx [\Ԥ T2/eD9 7bOj=I?Ԝ]f:GQU¾qѵ\s} ~zkYϖ.!ͭL;g6^ %ߠeϘ N/[)"Hl< Vc}:݃hRuqqFZA5l FܢI3$@ڞv7 wQ㖖ℒy丝H޼ 0)֮+օȀ'B=o4,8A'ĭFp((FgP 7`S~O,>V CÐiز[VC.$7LEhkQة" zi ԝ>1ڋ́{%V@j8؏ UP48R tFa fZahpOw膑=*/pTȦS!n~vE6pEXn )R-/uɪXئaSA5J:}k0PfǙSyʋT1W= $ElnZ3>"۽3' ڍOJOZM6O0jh9f٢)᫹Գ@GV]|j2L'Z<@}mǻn/A۹.$N7! -=pq [{XQwmM5R]Hf.-M"ֺ/v*͌y?@Dz7Bf'/T!Ľ-ra$?@NY DJ)+O1dLM*.<2{]Z# \pU]CPyyw< 5"qIŔ3Bua2 B#7f2C/GPx3C(Ź*m ;8J9d 5flYDԙmXQ:pʊWT͒!,b%}wM 2:&Tg= |H9">m5Lϐc”gGMF57F1ggW|Ntnt 0&z8T.4Pւ $T!i:,*uS:_9z?2 jg&yJxi&lfVXl5&4ny0sK,rA ^.נm<BBZ7e.堇*rs}*r P^R4 ξg`eR-þ=._;V>jg|ˌ ⡉ކsB6(v(rӞ\y~|U ?l6խJ{CbNa;/ZŌcb'‘=V蚳 |}'Pi |4RpS%~(Ƅ[UvULh_A A]7}q>JLxJ뭍 oΐ{Zd06RY/ƩƗ2Qm.̧2A`~qsߵ̅eNJyTlHz틵p|å#4 ,']z$T7b^nh꤇>ΖwB'WU5+Ŧ ôϨҍ'\=Z8đ,yZI Cc=98iށrߨO 4Jl? '-nۿ{_'!B쐧}76xvWL*<+QNհT2kv2 \QɾgJFWU.mA>W>x%3/T`BuR2;[SQ2GyRL:2&AjAN%|SqmowJ7AfW\"jٛB`*sG?wB+$m6-㸌>5x'Ͱ|\گkHYaǀ~Ƨo |Cx # T4,/5k 02u[K[3XpQdo(*0#Q Vx_}#G5rlΗTV`vL)2@y,yw::C t 0`d =FHВS$Ȣ26 ;P{XOiy3sq/KR/Io׳w ݛg.j'ݳZ>   ܜ6=[ Y;ѡtkF9 rV5z(´{@We` 2/kł_e-qwգ\}{ڗ6(=8y$Qy |/d{@ )aeSPҰHP% 4BM38&mTd_ KxŒiȢӨXfm '^[NtzYt\TC1Chb8FVrifJ:5NV@Px>Z "YaϣeR|@xxL.0JfkC/_lA_5!dHk`Fl5dAbkZց>z֎p}ŭ1R呮*a~,|/Ŏ@3!ʌР-EJ" $}Nو|[mF% /2rt6VF!-#'EΜ|\36T *gw6X4ކakviL [6a&93@n2ܨrƼ=n,K"qei3ޖ$όS=Rn '(75EjRa#gb*4fbS/"GFn&T_[F oHbRRW.˳LMύn?"f:=8J٘VC'٥2'_a+PJw4E5};/_J 8op NG3o0#B3pro?M]CKpe-w¡oX5?y:S4㓜2g:-RZR꯹s׌oz]΀ %M8yLW1B<&"TδD"͕ؗYǞmi@1E bޏ|m˳*{LW% @QL`Ԡ0Cu>+5MuP_X˳r>SW w!^n bvGds`@`dم6,왉8'4mNcҐB >.3 ' Qf4o+HG1R25) JY݇?TF[WkHEdmzז)q%ժXBrvQ* "E=H?QnhI8zXJMFS:ɶ+c۷_ΤMf~aB<KeoBȬƭswb_Yf % tmΜb&Č#h潚E"JoTܹO~"#?7ߝ21Sv'AS26\]9h:K 皫V o~ɌyEx~ aѫ܏@ }O{7텄͂g~BϥSإY~w:\نA>U<' Qo c?$lj!5ږ-RŠ6?Ag gFtI58usM\@ _` r9W}E< n :G|݀YҼ>/:aO,oܣu5PTpm`!'QX_ܬԭCYZt0X?O֫]l;+59"4!s s.vuSJ$Uz.B>O3;D#dAt3O"T2|+M zkdόB@_Ѹ{MʤmhlhhBCB'C{\H lop-2](Ebpcɨi{8 z,3ǶؔS2!-yx~gc(3iFBc20/`HCrlo{8vg!1{UR)8*},WmUX  *K*%.O댕#QE=YR E O!uv.Fp:eR-JϨ?)A *~ ҿ|3 &4ɓv0gͫF$ :}dLUVMlj ngnQz& /&8|P*f(.y=EO{Qghy2]:b!l08"F,Pt&#bחPs8' BӢH\26 }vƷ#Q܌<&08h9+ RB%KB0~DX[gNM<&i[𠙞u|xk%u_~S 4:a2xIbVvrw-lq_|^gyƪ`%nWXb("WȓMx Tg`Pb+unpt:#l+osc+ޡK#ɋWӬמ-і^sie(ez`̵!0 HR3hGN 垰mñflۉ?>V R'hD}Pf2S#ךGpPӌ5~iM [MIS8]B?,ezj#Vdϊ#i$:_@Xs3: ̹ ~</|bЅ52e Xufm넥9gxXO .=%078!sY,Ikڝl0:#w\~7B*OBWb@lӭt&y!'ݿL)(ldG>߳,T5d,Zy*j<+P`#IS#38S¢TreV4'wp-λTE68#+" SV$=7{M~j.PWg`wzařmkܱcJ3V}^Z^fE? ]\* TJ +GHA1 FlKkN"PR֪ [zwuZD==h-ޚw^J+1eE?Xs:ea㲽k".k-R]?S %{!ظfc)p)gcluo )iDy"I! ψ J!wbB#Myc[OydD3V,_)rlV[cs[MO_rC!x"g'wmG6rJWQvs-ez&|=I+P*]Ŝ s 4AG^J 22im^TZ8Uy8LP; SFOlpIH{& qJfal+EYT?w (Ci(J}n)I9B2PЭ}r`3M$lotZQ3mW*zX!PXQ4n y~(y+ * @AAɶq 5e#IfG56;=atqJr%:ރ Mtl#>I5<$@!̑RFxZ>vX15OJq|t嫦kKOJp"4`z]u{RpZR~X4v4: ==shZaLwj'aL<^[!ϰ?M{&gu*u7vO-Kܯ{V 53r~*D,T,YS7y6$e[ֽ$dd͓` IF/yf 2nz_HhX201Jqrؖ);Y-cY[}Z=ivُWK퇼 N&d&v107MXNX*; ҝ=FQ.0~[Ls[ x@4^)|WjɆ50^:WrYK>z}aCR ùM|#Vog,x굌oз4N9Ovh:- H  p տslē~%dTRĒ8+nDBEϳIDFQR5H!Yw̰?yʌ]MEU炍ТҽyfayjQD7HIA"=a #ǡX5?n! D eIڡ`H@$ ctn,iLk}l/g4vڊũT ;D!t$'>דӻfhaI[)#>}r9i Q?/,gYٸ[moCU?n]^ϖfB%579mA3i]*D݌07Zmi@: j'Ǔ0Z9d  ,mkW4{ʧ{1U(e/(|K&DdGjI6P3hP F*G2! ^)IpaN @̊G)r.D5Fc}ѝKc6+hϪEiq #|o!AIfP]҇]t&kl$q/z:-;TWKtQDƉMqB.FF4f'9wA>f"7A sжm=X֐Oҏ!bCžxkn;{;Ϗ&%Q<{'>dM(F쁘#f)˰ Y) y=F@c~G#(@Ɲ|4v݃X+1j yuD؂_)ċbK[pjIzGrp_* aI`axPULH*Ap4GwPr$]EA a0Ԓ} Dz(&RZ~Y6%#9䂴ڝ~Ԓ Ю륗o_mc?ܽU=Ir\!I ) λ %@AV xRïMUop|{@Ә/1 `FCmiHde&H>e7X( ̕2ўD&:m<9/N8J)Sgu%r@\ݟ  B;\i^k:6|*FD],ܔ8fevp5לYU^УhgOXV 4g^l^`>k?3Q3+HO2KӨ3^S^ct֞-Ue\vG>;"SȜB[!=҄'*DEP5l{K3>&Ay^g"4eET>bpMht(MZ\YZA^%EŴl %qBZ<8=!]%uT݄^o'd3/N滑=Nt6hےZ{%L!8-6'NS S(PA\.ẓ&5↡L>/yCl{Ic=!n n vb u0Y1wml'E3xM7Is`K=zE&F] i|;lҩlwv\܊׫׿^"#3 P({ xt(i(n|Ź]WC#Uet-[\˸ Reʹ?6AVSbǔBG,o.Sl~gշْ7Wwt2/L5vL+'4\x.꒓0%(&}ɜhjuRX)ha ڛ%n#řDcK=^Ixݜ> y+O-]I%*@G_6V{sz} UQBhY<5@Juuctujx'H"d3xdmQwX~]A7o%xo *PCoK Y\SFr ́xKe0nx姝gߨ"FUFj.  OFpL;vh8>PSv'@ot$LT`Pf&Tc1 w&}=9C=\|\;v:۞@ ɁID_>)6`l\ 䜱ה^SX ƛ-}ɺMI ,%obLXVU\E'ntlQ`FiuR& Aߓ IrR5h¢ՔǨ&W{˦kĤ)p U69q uNK7لЦW9zV*v؇W߹DžRݐ] jcklH/%:8bxrbqXT1|x| FH ]g0Tި4 >(m܍ɓۛgaZm׌pm/G| s#*IP.!Ecȥ4O60ӿde㿖iVAE8KܖS7~J\ &ǫX]9uF3\3D+" 4kJvՅA;*L ]}B{kd*D%&ᔪ,= 26?*e XTڣshrtO3-4{xQA3L],[_E 0?QPHL QbGåi9zJxgFn=XH3՚K_@{,>BWT S餙 OM'\0<t`d!Z2}6L28_~s_b3i;UNO#3!΅ $#Xy@HGF\;'DTHh`]EnP?[MpG 2оzdi)k2sJCypE:Yz IȆ0+Pxre^)_ tF`"\xjezRigjY2 -@3E `Dr9lƽ4<k|:B\5kLZz r},̶i=й(}=):~npgԾ."TOAw m$7ƪ-b1tZmBEV5`NE& E.F QCEpVJ{U]#ؒ2W<3c+:t|mBwC٨ *=/ÎJ iK?m-P]:⁻~D-nx\t6*nĐ1ݖ]#J'W;/*}Ϻ4(/pj12 .l2JZf "24,D <"i &'^qNc,.~%Vu6Rw_u׎tX@7ױ4EҾ D; w2MFuvxbב Dk&ʱjIiB^|)ό;iu?%@ guKj1eI26?M6=Ñ Gw]ߗ2K JÍ7I{&4_[) \ltȾt^b9vg&I9O̓ÎI<z53}Hcy > -! JcLbBJJ0ߢڜmh2jNM/×6 q%3i AQ e,ĿcrJc+jVj(z=㹴} Ir)c]]`fj)%^f^ӶU*+X!'4s?%am #K(fξ-9DH^V䖬kB㠕2GY#S]C O%@G^8GSd3&8ؐ6vQX [g4$)iPc6.\/W)B\.] thuQA9>}^ 5W+ D92TExNOԫ?M; -s7x諍xĚ[y7zq <%\x j#I:5OsD}ҁ- aY"υr&D\>CDq~1᜝uޏ cx9T9­M*1'[&Ipr䧲t0L%/Q<ٙ$F?p=3|ȭ 񐮌w_ɴxxR[g-1gg:oFm#v=r_3*~U?z-!!XLK~\#sdoa$-̜*[+R<F?~Ʌ#RG5m|OԺ -iV-dK4A4K{xPz( C^D0iV‚0E>gk$ ꚰOOE_s5nS;מl #.slFv٩/ ,YX7OG~\h?LQ҃ >ZgxChJP;Q4ǩ2^zqLOȤu+`V$q J K\Z7G3_IR>ը 38ʾV`'V\)k6lo$|4qW`VY O\UTF3{*殴`F!2=P/r4an pbw|Ջ_gFuʋn gfmBR:2^ w+(Zi3sv8X[ݠSA %@ f ʻ0]irLS1D-D|['].KWL*%N%08}<&(LR 9 sE:C<]|G=V[ݫ0NS8 O9`M4WDwĤ8wrӡcٌWe%*lW. #G`7RFeA& ۵3Hb7]F}te[.3P>3GC%geae;%vrVn?޼P{mѲ&iv' Rtױ,TM{ʞw~j Ձ/nrrSpz,7mLc`MyH ѤZhlƐ)*5Ĭbg1dfE٩ktg#akX`.7G-z !DkN!NW,B$4c'ŀMy(>ao0_4#ZC% =:Bi4tQ1bFVeY7DBIjtTAY[ԇKHpwzicQ鷒ZK1&7u Ԋ ׉l8I ]MhE@`K(foK(LgcUc%z\]qhaN$̴;XK+IE*li9Q+ohߛ KROl!}+|sJ5{w= Fcz{{-M >0(~R.((`5Un57d꬞ރe,n>04Cq+h)˩xz'6 /~?s~OEabtA77bV =z,y<#Xh*{<sxz@ٷ6lz"çoUNv@2eVCU+RČ&tʄ$Op₴ݼuLjpC<>bx,9|pOZ…Ͷ1NU' i|76h՚A(#E?yR惐A[5o&]ܸK>l:Melֽ2%kzi24"Nam=RJz5W\Ovǩ}TWH6[Y*zbE&1W{}3 Ҕ^] S F9rVX}~[M](5VĬ٣]Z񚏻'xQ0tUr1j! !#j T V͝m@o(-5K<=ya?n|jb~' ~.5qv=cB ,]-TUM7M[Ûk}v;bY5EBE4U/oa5,+eMA{RfҘh)}FR\ *q, cB4[ԙ06ҞpS.$^[W;rJ }{JوD{E\Cd)x<'^"m{Gf3*yd#+5nIO6+iO7y7wؠNkN|&E,'P~4Pj^]n\T(04BlEK>Lp֥uλPS>3'ϋK$.CE^e:o5//vE?n.ݻ#{5?h^j<21~%o@ /Q5iWIj ,*`\YLྦྷA<2$K?h3l&֋.[[nBDʏEgQ8憝dtv`¥vtnpPIiaSA;pнěɑeC~sU󰰋ʕfZqaxnTuezLZj˿9=]o.JM{{3݋ _QW@}+Tϗ%"Vǟ+@npѠ9Ӿh19ݵ9\TK7ӱduVBFl!C57^alEk#J% nCbnE^W]7i|S\ ްU Lwp!I7#Ef1!/acRjk}-Z.Eh'$Ȉ*5 1[sj]C7t7U<_Ȧ젍=4>K[yΌ$fڶu|m2lН9wCe AQkƨt@="ՒF±LxtH<^0cNG"(V* >@*GJw} .ol\e&8ndGcƋbE2k_^H$A[S@)AEgUs?w 6m 6=4"SBZ(152. Y#i aL|)a:2:9-YȘH5/01 '<[@ŠQ)$RQyi'Jg7dRQ/ГCj~!$ 5r~jbf$t:ZL} qfNia,!c7>ZEv|`:HD^/1(\\0{HwƼ*e.yx$dfc4 8_ҁ!7r{ʼn7!Cޫ XE_hxU雸 6D|w) )i}Ւ+, 5Qu=g%brO^>1#2242)T(K79t.Ils|2 mHG7G~7p_j9q/.2p'?q(qfᄞ$n0E3ue gb6`P2=rg5.75ié=ԍ i NG_EOW[jU "s2Rv`1#eI?Tu3ܕ^;)z;/>&($aUfqiEN/0u7f]5>;-`Ƶ?Ċ7ܿ7RRރ:/RS*xa2j^01"`oO {_M mo?܀$< >&[^89nJ߇\,7c0Թy"_N1B7617k=e۲)&''lC˽<"!l2Kŝ  (* ^zv? `V{7FQĤFqNIP@xa'cA 6$E##)L9OT hJ_v<1%qߨM(lz$%ebD5_OE5d.+g(G2Zr*( or'P0P? ,(Ș{O5/cʱĬI+!/;]'9M RϨ.}ƿhJWcؙY'Aَ ;,7;4!@Kcժ|"&S- !cbܷ 2qK"NGͪtGby,ZvV>~8apk20Ŭu0\vؿDͳ(ir|.hQou;,7"ڕaQ| 1_`?<ە>Uvw\)' kzqkD ́Z \"{*75HYv*FuTn|ݬA?9G Xr?JXprRJ28fP;'!h!)&y]ޭ<_Kfs~i3,Ʀ*M=;pؼL{a'rxb<vıfVƊ=$kILZYUI=z4,.MN q~'rF]  (& Wn8 "KHFYV!&d@GBVt]ײ!8.~sS 25]K]oPêD/aEa ;Yk@27`&pE Hg8UQ ;NT ~xFZ?5ts_`" H#KL>6#S|eAEo[i96haxTL m~&!7Y^?;!SCꉬp$_кLw _ 7,o w+p@W|``=7LXhGIgf ")(L) "3#=ګpkyuHa}K`.@rm&H'pFba#XÿakTKV1mls<3Υi2H >~tKܞAm'J R2VvN_sʏiuZ Ѧ3~C9 0I%:B4WƉG-=c;xVkOZxVpeVl`XŐVt9֦?L)>mʶ"{ ĦL2CYo{Bcm G91hjZB,hT=-哔h|M 5%fΞ!Yq|FylD Jڨm$79@Ss#4JHuT30(zS08G' 6폪3+n3IȒe֯<ւZ0n:kd?*$+޴.f(8^8c B3#}PhZ+H&϶}!Mf-(/76NzXP$Bb;kB|h,?qQ=:Q@z}&/wr"8%ӛ֐iZ-euEA)F;Cܴ_]`x͌/Uq&c*!7l+}1OF6eIw&(3XpJQS#zXr!E!s_mwkDV?\=>VfV/q3~} O@lYdsgABt)v`_M|,iWB&+:dP$ );ǐ%?az4smIzΗ-@ʣ?\^q AՑ3 ʇxi3ML_0f'?fV#2NfM;U?v^k,ͪ| |K Swƭ1љ@=#",}g IIT mr-(rM`S(8Lb Z{u\ыbS͐2˓sL~ 8ZEkVG!Ο ?7r#eNM'+=I8Q]PJYp1HIlBR *P/\L~m[P%zɨ$ Om. qbD5|tY'x*lGmFeoi۫S=P8p'NlN6m~M޿S\^|`u  N]8'%A;ժtlJֽۿ3W:C1.88ra!Zlf ߍw A}/jjjIc&ˑɨ@r*R &Cv{ H}E|ZeFU"8!]uCg~NЀ`}snuֳa&of4(XEҞr"Iؘ@V5( yE=-0k4Ur2zq>_Zp>d@u_ j朝5 \KK$0]Qi߮bMcz\3P&|p"ȣH$`58(K$$مTP 8:9׸:/Tޛ}Q p0—5PG]c"΃ CygNΪzŴ`6{񷚁ޑ鲌 <mpqX[F""] 4@Vb(d-TNQ R Zy/YVce,,u&!W [XI)) ĝ` ɞYkcFo=e@۩րlHLׅBWW%F Y+-hSɩjj ,*ʗfAbRes҉- O)7ϯob<[Jକ"Tw,#b$E?j+BoկWL;fwõ_|yC 押[qðώ\nԎR DGWC]`-~a2DwU_( B0{F)f6Ȝ ٩'{ [Fj *=.^9O9|K82KPA=ClTHv7tF 2 5hG O6jdǁP>TKX^| >)&]z4Eܛhw!1E,9OmdS7C7VU?+dxZ&s5[[C=`:6Tp)])|\Z.aI/gkOImT}ۨBcZ+qivx[- Qɥ=[;|F ed\-bJSI*8MDX u."fgOQ)Og^Q7Pe"A{ϴtN@lgŋ* }K6%jnLe2 =/4#}-Q?ՠKnt#`hα,1^:3X,dQX11Eϲtvw=\ᗭ1t%7S/GEQ<5Dng zX 9CѩI_lza}0H1݀݇ 'xl>(l`ͬq5!0mzpJ)FBlQ+G{ "AN1bg>Q/N!nbx~f^boyi?x RТP4H %G~hK MwRep8q 0ܔ^kRh/Awgnn&lӶȩh)3ip Aѡv]{[ ӟG:F{FEB Q~tQ 9x^kBiYjk L{q,ެ7 +̉\)ecm!65c)s4h`}8^aN`޳ixJ6E2(L_5WF8aEu);\(q u1 +!h+*Uq kr >VXy6[cij/SV[>>ZAnPT?#T8~cdLZtk||oOj+{& Ah' xjhHDR6%yީ f/}j $bx2W (xV 71Wpk G\u['n4|mlxqݣKWi!K1"y)$r7CI1U`_Y}zFÍ;\!*Eű[hDLYƚ(0g3m} .jCA- A)闉ե#1CLnHz /V8RU]{5®Dw̺RmnbWHM6CUL1 p3Co,5o*Mwi 3^fHHxO*2pt 1NrB0s,dۨTi\Rr:p]bwqGX?UIU2 iۀ ,ڤ"YIDfr4W!hY/RݳG# DS17o+n9`u5.2A5\=ףO0m+D+F ؊15Dx,Vpz;"!Υ9F :q9X՜}Uh} z X4"UC?ӎ^oW<̺?I1joפ6͢薋~PWk3s>$MOկu}T/(cfcį?i)1"1aLmW3YRVJe˟טBas *f߰iyzf{7_,AV zԯr m±[G5s OOn8*!qk-imSW!9w gHӿY0" Bџ"9,ɭKN z |6\r Hؙ|O?=ooZAx̃FM 7?gIMK hk!'vI&ǜ9X'[8ZP>)4˫7ܧ5$D̔nXJ{Z\Q|3 ;ޕz#2Q1NttNF[ 2Px ypZf8KS0 XPw@w9^yGBX-]88hC 14oRJx'׈=Sx)$Z 2xh;T(79V3;soW߰$*Jb6Gro<)^=e~Wsr/Z):I ԡFˏ&[uۍ?K3 OJl—x 6m%0\oz~nBU?_L@3]ZY)DŽ.&2vg,Wdԋt_ "ߦN=AC]WʜZ#=r5 edK?oRƔ|ţhܒUQS+_+f4CQ s4IY9~={ B?#_*XO&BpV|deWNP[]Q"NnO*n@k\c7ü c?4OAD8܂o5 <$ 6|þW^؁Iq-~qF.Cxu>1Qky?.~7K+oHԓmС԰ʤ3Qy֫<,3"ND >O `PM 'MJ&"¾nݩ/HfsC Q8!4#^܍VUu5" SẃQ_oLZ@ēߨD4M0Zv/1VQ@NDXQOPaI9tq)ɼe%+2:͑@d, N|C#[V?a`EYN kKc{VdV?XѝfS=Z qP^";PyFG.vnш`ND<|sXTj|3$k:çkN|&yvC:҃tRV,#xb˒9{_k-7<3WL*#Roac^[Y.+Mޑc.!T91˺06@?@\xA"[|Js >Cm_kSX8Gj|A郜l}S>3A IJDvb L]λgʍS8CN2=5,bϻӚioQNDJr1M{ ﳨ R>D+3lk<[VbO߁?: G@0_-pBYdBzP8m y?bs㫷U}kף݂b3F$qkJzߖQK@3ipK.ptrLc豃%76}7?\g xu *<\覆 YyXS԰To&?q#&x0|37]S;^KY6( 7޻ (x!) >SC:|tFf۱̦^B pys a:zѩ%Lz0.EɘޤVd љ!$1W&^T/^V4u$ ~#h l794e)X2.$A`v@ صd Ƣ䓻'w3<#p- `ZmP{ثF YMSS^:Td$Uy mMVCTzsj =*z/Dp' ;Pbx>`gIľg T҄PY B[_/>ncVEQ%Ocʚ?¸r,?>u_^cf%? @/NZcO @Vق# /(#Q)bc%9v䋒rEj '70]}&L6IR2S@>[alگ1Tí]^}}]!RKU -[{Ra|JmVibt@%:mVOg[1a Nӊ-9y0Ρ6Bu zC-t}1,84`2*ηn{s} fi׵žq_EE]<_$ߞVwLWf^b NMt$3KtH)0$em~ǜkEt@ Cpk8e] QQC, Ah!mm@%>-Vo%HhN#%fg?#>gxybiGDsx~pnA}l$؛r Mw&](oS(Z.(Q=@?Pkde ܫ a@.CfQk׆d;KalCpn(D&"u7SDl"&Ò-PI~HyEU 'q٭Ыj21񮗺؃Lo@WC$"ݫm-H5m,FiQG?% Vwzʋd%5^;p Zm{"S1wx̔Œ9|^d!`LGO3 NA"2L>o(06!Pɳx5[&C& [tezׇ ?0-9~uW;sg8궋TUO[ ~ _u=AyNFN\̟%p.{Hq43*F?#ahH󤑠C՘6#G\bVtY"Zash][\z@ rGu M,M~:EhǕpe{ /z0ͅ.@I\w_&va2OBZكrٚrl sARp4 y5 o2Scfx>|aS#Qz5ls]_síV9Ŭ{fCg65{D#kD"8 7m@7;a.j0 We'ISRo0kcOmgļۗDk[1a3^"#."~OlwY8dWj~rW%[NgԎ"gaƱ8&_ BJHœAIB&Cc?u>ye.T0f7ڏ*_ OϲR=0JΕKu(|ײ1ԅaz[X"!ue(CW MA0c('raWm^r‡~Yw 869XBXSAR!ЪmG"\~c;Q}{w]ơ0T9H{ uK@xֿ+ wjA&mhW磣tt(>ucfbV %;o0EG @3S!azR]]]B'DpJSrJ4جC{BDN'%sZ'zйolf/w&)SE+3M:13rp 0I x~϶|0=j\ bH.VK#.7IYcuW0Q:<ي)l)h1Mdzη|$d_L8Ƚԇ5Y[Xx jέ`oȪ{m^ R1>`i yc@djv"wϿ5(AXJ?VA_=֑ȟ9 >jߪH: J=ĸK :,m$i6 Vb/:e'M-ZWEc/TaܐvvqrhJG=;yxEߐ9InϷs!56>``~On+PmV1xԼ?ѡ߃)U񋄺6,"J8~єE/Cc D.9HvujkChIKkTjaf44 zv(HD6)p?vxroBB]MXpxksOkmо!9{s3D p(wc9d̙\Czn 3L;5*lPWH}x<<ێh഻υh]m)$ABx1YxKz[bvAr=\޸e!h@%4`2a Ź[w?M~iY!E`BBϭOjr&qϓ4?4/@* mW/|naDUo$5.Z=ْ̍qtl%KZl[Klށ LFx($q)׭gރαB|appC5!97נIF5b@j)9܉>d 0!IjٮÛ&B̜hx8qaŘCb3uHT]gzF{"t6H;1V8}Ï&xiHV'm5f^HBqMq J95t,r9SIKB M^C7 ?a&X>{ jwۖL):em7bJ&Itšňd!6s`20havc% 8uA(Z)r?Z/ \r\K'gS-{00B5]t:I?|{ǎ tT: -Z"2]\)52wn eHJ@7)3¶%do(Í6HmGs_cU1yL)A슰1iK4E!ւiD[a`Xd=uէqz9(ϝ ~Ƅ(a=~D#hȇ܂Tb~k36 K~bf29_l< y_0)(Alkޘ{\ݙs.Ai3\w|VOؿ[\'\BUl RQ M`Ixu`:}q 2Al=+XE#s>9 Z FGZmOLŮq UUc]ƿ44B j_FNS̥BpdEX0a6;|DtXNՑJWlԭZaʭlst.n`wv>4 f3bp_ܫmEG|UK8Zzܹ/Ot:9'?C'ಕ!3Jj!erQM(ߢ2F" prY }6S5Iu) f{V"yRG2.',ϙmQXuINׅ7K3SP _}2 ԝyg|yv'Httg:æJ(Xw1Bشmtn 9YE jÁ[Hzc`/W|6Ư McV6<|;Y`F>MQ=ê`n#h+B,LNpEGdfE/:y"7?^߈X?ַ zK_ї\nLͯJ-8A5޷}p,`:%R q.EGz"(z 5*̤L">3o+w|0DohU ʊ4')\8$RN(ł3aCi4/4FfB,tm*Q$7T*&kO WkҳY7(օ t>_9r+Yt4  38Kʦ:']Ⱦ?+tY-bUn`&@E)K4Sd{1~i/jI*z`鲨Mc\clՃ 9qN[^@w!q0dϩ)X\;$EӏA&C> /^m!'qwHC*z2Vspݫ3QB[:9Wr o'_. _W0C L]ð2֗"VEmU3ډ]PJ#ތ9hrApe3r{ Qj08k.`'Kqڇ+֗' I?fک`~tW@/M v>!grx}+#b!*yGsbv+5>%gCu3{WiH./^^7D#5Q./S.aʪ{9ΩR}[`dN5.^+UAk>oIS;54z/vjtƂ@;T"Q4>Y(Qx2}7ҏcEgH2QPպ`U^3ϕ,<&% t0D\PsԽO1'MOmF>2maIS_KF>C uTdwBFItt$O!QjCtmt>Tl>l7 ech~ƾ*OTָ).O|S. ikW>j1-Tո©no*d#.Xi7AjY$Uo^_+{ FMA`p| T(,b.Tt}k h xO* ,ZJI2hl-!wh4^H,|ыS/¸TuHS["˺h;_Alp&vV9 $F"ӣ}LÓ<Hm؅d.ML i܄4M7 ӥ+]n~Cڎ H "`_rFǢK$ý"^"c |B)a<_ ݤt:!0~K@S;7 "kx 1^qsB:' RfQ Fb遽kBc"_xv81cF1= cr_`%jsa~zKE?7cO҂|gen(.P2%Ith3coT1HSFW$ҿ 034wqoZ%ɡ+VZDg񺰎|nc@Ɨ]?6&e+,>2@(@. b ~YȘ $ ?1S5{}`]t@ܜ!tMmoZ&\70{d-KUi{P88U:t(Aܞi8]bcw@]%, lr.3A(R臨>7%>E`AH`v{$d;SyLF3*Jkc=V[ě'A& }X%65 $nr^G =M} s5(!GګgKkq!eW:]A#t\'APܭhEOƸBEW }zQkEy-9Dx+ѷG ש)YK4#"f_ЎhqyC)аqiA-Ƙ-'t/D B7C8 ;|*hg<{\pri r:Q8хBɘ`6aےc=`xgf޹rgdŪ6OSj+J.K8ZeAhIAjE ]<2lfTHs>qYB H21,7˲8wO=daD /H]4' @O6|j#B )<<v.`Ym,Վ&3}@Z=c#QGȫx&AU3M)haXm hzrv%,ʔ\Qu +4 A62>iY8aMhF$-EJTYǜKb{$hSgd8k#rMZẀ)7 ii+ hkb}_݀ਁ s.';:nXP<#( 쵧-g(pDWksѥX2at ~E6!;%{@tZIl31#b 1>sҞ9QAi9<&Fj . R=b6vAWڢ "a1]Xrl%=|mkot #S5uC]@Wۊۉ4>YN)϶82P*׸pE_,LtV7V !LLkr<# goOA\'9[J~ چD| -:TҚ[ j~M, ,pèSϢ/P4" ȭAPY,-[Ft`o_x0Cߝ8u #XQHN'.ʢcңASKR6r$̉_h <(׈6wo틚&}&LCg0|@B7"o;WO1N[ ,HQ((-6\z/EӦmhרw\蕲jzu]EFج>܁Xf.TD`%1̖ѧ6=ӡi VRߞ&>S$4ů+_!Ky H0E4P( aWW J4㢑},PϹ !Ю0w޷8dNMq$롟(ݹH2 Q7 XJ*nTDD , rBE[eM\Q}k}N4; g`{B4GWO+lZQ{+CaYrXެ~/ˋ@f1aF/lVG0 MXJIp[s~0]E`^VgWߓ~`Mi8Ep'`$@;|m̊I6)4g!輸'E/SZKrHt-6aknV}1Wjʜd 0 ~8c2W tf3@ Zx19):p;A ? !(ޡ9t!9V**cE)Uuz`cQQ^xe g[efyosm%hm}n@;!VRfU 52F~+(R^M[EvGc%199R2T; s * SƥΡ(1.{NvjunR{fH(+ H.kb%8A kvq"l{ج%+NZSW==o=r`AbA|[23bb.L$EBxBdŏT %b"+HoS srU[vUN۩Iz&yD(3{/&)lA[8Qt&H]O«ع0hU0Iw’bTыe:]wuR%xݏǛ7|WELbBfqC.?lmpWs8s}+7_{W@/x" r"[;(1OF s@G2UytD9Vs E")ǁK˪%z⭔k=cI{( yXls lrJ%BGR"NJdmp.%3AeqUtZ74R*Gٚl2Cf@r@g2'[_JLT *Mrȼ{Ԥ/>knD j e`2+ B˰.VL+zQԕDܻhfG#ߨF?. lJ~-%m!P CPxe}3%4|1M-s$Pmo]A6~fB4)JLR"&2Wpn:u<̭au rRW+RuY# 'c*褑PucD(4vzv&@bXdO5蟿cjc|$czDyijcc5nj. (ybJbz9 a3D_婈b_DsNc8YAÌ!kø-K3zaL7Dk"$-Uc@*0DoRP=)xy"+xySNJX=+BBlBSO>0C Ma`_ +VGMǛ'7$jfoY![C0VFGRHPT4h0~S#FҸ-SM)03 &$ȈnC2xZkFY{gH R8is͗xE#"N~E2~0KHG-ő