SQLite format 3@  .0:  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  05$ < ] Auto2_Imperative_HOL:threads=4elapsed=309.723cpu=1158.324gc=15.960factor=3.747zXZִF! K]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Yu8"U.lPCtgʻ]M|RIB/Oq7y0łPuL\FJ[pom>ʗ-8)zUƸ?gU?`CENo=-.cU/VZz/trhpf!K"kHg!ssrWxѤ 1;fP9>Ci[xj/faEsT’HdV>S20T+-8, +o\m}5h`٘,z4VD+:q-µgZ1sv{5Fz dy4KǪoKąMN1rBMUjs;$et\('*枨`U*ЋދCsQRQQSʢӴDyÈ?%˛ L3kk@ûf<)=EĖ eJ'\&g:Zjn]vקЦhsvYձ??PӡB(Vn٧o'@a<Ҫ7vE^. b(`7Lub1w{~2x#[`靏Ak[/YgSѺkV+D4Bֆɘ!5B}je@_E)dΤ{ 5RtEޭ5^ \Ǒ[<-tL+jޕmM]k(GkҹhH0fߨ29*Ht K'z%k_H\Jh<0:_`[DEnxŞ.z(1lv5ԘCcQH鍄# 7ѧUŧYMmtR sj/賑WUMvFI#Kl uv1t`8_So$w'G< .:R\詟VhLlE]eVch8H\"]P^CF:hK2[}؉ȭm>*ek6 ˫8,ܵ!?ȔC36"HVRghDu乕eb39fnZB!@i|Ƀ:nsYŠTpE-A ׍U&PAL$p2^|QR[a \iؠ^[7asd4C2#CT~c.GI 5n'6Blvv'W1S[aPYs)%s;A5Gw!|M,wBeE&2Z\^+0~`#"FyĚ29΀4 5 Auto2_Imperative_HOL  GDvf/1.L#oLVmWd 3ޙ?!§k"uX˚i!OI􇃻AGx70#bccpCo=u7ˢ2uR]т1EpQaѴ)-ˉHYo<7*yސ=W$JX0:V4Y#xe8 9]k#l}#g [ԗO^T?U8sfܙ!/ϛ ^V3Lq~wVP**5 mZV]@L̞۫b'wθiW**AvKKDcM6/lϯLg# @q@N;{j wh=(5OhDݍ;BO FƆ0Tlm]MP=~Fs˵u[KM肉Y[v!Su:7p œx}88p _y \л$ qzQFnMC#0Y#F"@SSz1N,Y8E=D5KYTnB"dfT9k (3*" l X3}W7 h`3-;;*cO9=MEʕk#~{9=d/Lvku̺g,usLPh=ZǁCd7Rz9| )rSN2O BpoL+)WrXXnY~~dP溈^, @$>*`؟ݽD0$BqT"C1ƴUFc=Hi:-7 * HOO#D,cp ^Ud10hF4^`;O8Lż}||:Na(/򗊧DgL-oe1PUwܸi.xoP2~,jBB>Zkr̍Pg.!0Z%^0ٞy[mcP]i!MIN*uyq{pXwZ=#_fܫ[xbV=*|0,;ТBJ FMꉁ_iqwOGWK7R,GCt(4vrMx\Fǥ IϺK=`B?\dkM{Ru\/rirwpKDcjoP? 2Sמ꿦׃Jz]l;nVqL"%hj%1 73>X6 QaB=8c/w;uIGA?"ȇPx7 !FT&\Ƨt 4WcGjY0O+`O:ZĢE\*dΏ9%YPkg:L. x)uz"M=a_n@IVTr#sO$q,E\5m.Q}^[5\vf-m*<:bSr&b05Jb)^-?&C l=3p?b$Tpʎ(wQ=E}F*{n'b%IaDŽkWL9<="?[RlptDY@#wV3].Bޯ͘3^fk<4E1 XGn\OS1&F<˹qWjZh?N`u:tV5eȷ!ajGk"\ Ƴ\.|G _ Fo?Ѽ6X8:rph[ 0G|J)NDq(ƌCh$fzbei:XU  Ϸ64yP>Ly#HT2j6mPSP/R~͓m0KYWK$-i%.7L9Lݺ*zn}DŒG(7A%.C6F S[c0+qe%Ƈ/ i%Nb| pHYȵWi ӥ&rcl*\DZ4{.zl[>ψ|Z)lnmI RIx}I y!o `/MS.oZc,f{wz5Kr`M6S" [+ϕ{ьk`0$x((0gㆾHPk=Jސ}tB$0[_]Vzk:sէJWs]76[~d0\k Fܸc=t^.tӫ,< `5n[PCc0p)Cy$h^?.y l$8; W+@fg2ұm-j]%@N %CPݩ~k@K뱀I@°w64CO4zd9kNΔ.(? /LjlAe|\6m7e%+ >bৱqdձn¶p1򨫶lnaGHsϘHU &u-r4p|-6.ϭJ8GaO{=NŒ"/74FIރ{/ɾQy:z!Ʃv%KZZ(_ -qPm]erH{JTߔ-ltBQr}A#OeهQɨB7[]B>.r滊{"ZV6=^e[!DT"3 I邜ۡ/VsKz>< Ȇ0'hZ&QK_t67P {&.n$>Պ};Yմ͂mq! =H(BEq5&66ҌgX."m4}HE u8l3(P&_F<횳;7 V<LZlReEj@,<VXrԁ FD4.O,+_0eO*)"K8"Vρ&-dtt=+gyhu!nf#mOAĐCyFV6]Ci>xL=FDޢG&ܞҔlB{FYA 2xȘ|R_TZ.\\ [jXMú1Ɩwe|Dd;g~Uk{B9҅ u˓v\ nNVh#z/=>S!yw X%$ %V^P'p~؋\!^Wg16lO>R)I6>$l>k'/P@xNvήč]@V_UAiZ݂LKH18YF1YqIaDACB0>gӦ~p.TfƃYƲ9Б1|$?"9I o^M*ۇ kણacN ,ui3?XFZ%qs2v2-n,;ʈyˁrM9; ɳtຕ-o=qQ2'0, `hׄtYS}HxM*쀋9x](GwMiH]6=la(#>bY} gôW|"H~O#~-kyEAq8*<9X Z˱7|UQcۇ)'_z[>Pazd :nQ4I'HnBO@[֘ˮɺ>?8#޾0'AL oro$|Ygs%Η5R#Q;Ta9NI`˨x+%,&I)=B9`WC!$NB)Ǣԁ'XB9nl66\}bk4UH?kF}~;-{̴3C29L;mub#vk|HncjU:}ɇ5'= w뾙W=6L9Z] NlA{~\Dbۜ]*o,pE|lY;G-9 ^? lܣ Hxxئ|f™̱,F82\ޗ=Xi*U$bK7 ut\##?Ŷ8A;U NeE_$%<6\Hb'[qy|R33$<.ڧJڥAnb{Ϡ1Rvѩ ]d|^Pk6RSڍ ~^eb$D_^ }IuYɁ^pKgS_?^+n[t|%W5| VjI&E-bҌ=ӈmJ3*z yǛ;׃ũ}'ne="t۷ӏ"=RV/"1ԃ*%/'Z}5۸žoQeT?ɷ)ihʦ'/.ӟk }kY>.:N !'6ǙB6%96Ұ'+ٕD5ũ 6V`"MP)DXaKM]gmClY$^.9jҬtLرM2:^ @V %6W$*Sin7O?*@Ř⛪"&@z1GL$U䜆䕢Įt=V܋IrXZ](y!fX^xm*zy9ƝɟĐj-8.mc>YaPYf;aV4ʨs_wQGֹ|d(T2*i+Z/n7bFFfH5:($+KbЍM2}J1p͋{2)vk%]7M'4XB=ȮdcZ>4PjνJ,p!~I1DȠMZL~xa%@(t5)E3z/{)#=ˌ(ko[߮ޒq2+@+ا]r B=5Q}//yHT]ĵs:=u +U)Vwgaߘ3)ą_Zb=YI:od jS|Y%G.p{LAu\=8.j/APR6IL3I UȊNZ X>5],g-%8'QNֆcs%2ٹ@.ӂ:Y= dX9F`Lv3&F8w:rQcXaGX,D4?Ndc3z??/-7fȪݦX`r@Wk򓶽0,Dsl8|Y\'gh0ybqǢ_ʵQ-&2 VHkD\'yT7;s&<`O7Hg$%;2U}'} 跷Y 遦")̱K% ]lJ\L-3 N 9+9lݼEiR Z3 %ߥy535L>JOE |K(yT`$Fz|I!/- TMnK/7,敽z|oz"jN*@xVJP*$hY!=ڱxt)&R贘]3w}Y悖 `{t5Тxm]%ȓIx g(dߡ m< \ҵpɤ/r$IjS/P˃A47~OZs[5jCyh;V"$Vm iLݔ͏N/%u%Ϭ~\@ :NoTfbqz5 *{X)__zM%M+ۋPĔ_Dܥ>ܛ~cW0 ]M`2;IaHOTQmy>VtcLABɀp>  VW_׊Ee be7:nnJai]@&;o3U ] !.s[J4W8eHH ) sw(pMx:Mߨв@Zt\.ΒD-`zޤgɐ;lKFoXT @buvmDR5'#`l%5,{Xh0nQO\-X8])o 驗\qҠ)_9#|d%}AU^$꒔c? Nq/8Q+ 7wޯު~화׳{t θn\{Ǎ(=n/˻9+fZ^ov_mwSɗ"Y1]Cɻ%rD=Q= gUxţLZ9H~1N⦳sS$m*XuDx,_qPl+0Bǖԗg!v ,5;_ױPD@7Tq4-RSp U@ h!80ʒe]q0r,~WT2=R`zEw^`_Tև\|mB3fUm?`LNޫQOfɖkU! {.R 3> "F^ `X>rj* 8Gк1K;i<$,ޔ;Eh9Lςl &̹I-BACU-k \NGtUj{c6Dͽs4@PD<7 rE"UTd i!Jijh$濟jPy( }=8YX~V};i{]0U[XDT1t g +08FlrV3Ap _T\ ' 4&ʁ1fh?H:J=y O_<դ@M&>DObm 9;h6qgH`k^hsv4Hk i!uk }+cNx&mrv*6vYxZW>Erv?zf7= ֬j1E8:+%4S Zc{[/z @Pه+]?:LfzVm% α@2Xͭ1}r( iʼnThV8Wg)>vALzPKBS!Ho6 k.Srw 4%E\mCbaj xϢ&ka!k|x𬳢 xm [%?uH٢}q0~ @re~==wyuf6`>MNa.PlӲ>"4/fPP3gtV<7nXqXyNLzkAaPHGiŨw:3 [p.ྸ.|_& <1E{~ӵGvnBiBCio\)0 @1GG-EIz^ yV)<7)2vD{{>! 鶮[i{'e~B)#I,$V2PMy7wszHpжAŘidPaoDt [@ >A=6)Ѯ+#\$?>,=g60WY7::ػ >XY C̈k}I[J@>lkݢ{q\zJbUQ}Π-F+ӯʉ{kfߚZq0هs7G[D[/GC$?S'csE\\L#C<Л n5vb$2WϢ<%爓0l>LD^9un&+[VA4A =šqϟs +̈́Zm3UaF}})qO:q$~^Bx咍ZY|Y)7LƲ6L+ Ksi_M~kq<]:u5 D;1s'ӷC}z:ێaFzh bvXs_r~xޔ9] ]F2O<~xn/=`iu:ʰz0M-RĿ(40Lp0F3<~9X_Fl. mŽIIu$$m]Z=K_ O6_ZM((GcqbkDkjfW'&7SēuvIXЧAfU(5;X0m`ϙZ)mcmp|Zp_N$g$ѻM]dn:KɄP"?T|p:Iq.%AM7WT=΋G#OE**tVf^K:C, 6Nαys()+P8yo;Di:53Pͥ%~ōcd<1/8 3/t* zQLL"[mSGQ Oύ+,`oc̫Vb Hn$RZug):)|'U5y D l]~RYN4jC󋮹VUf9(Tr"T 㿑- L&WCCtF7OoG3PtՐM*"o &;YdE.t.ZbB=?D!z# ^Qswaqy|חak1cY&Ӓ`Ov6Jj+z8#˙"_*ܢΙxɷ,y/bYa6H.DU$`-pXjqIJ]Wʕ#z|[ V4BtP{ʤ qzִϧ"RX8Ώ U߁͋~G= ᅺ-\]%ErΡ$M橾coְ#Vxt;4:LodaؘRLg`tys3 qn)j4&d-o|w te9sd2ԭsMH<6M"1P{fd3$ptt-]]> ?UF\yU|< zϢIؒ@/1mltuJ$MZ2^/šY;ub[uxλQizI]'}mNuHr?mɎoAB۹=zY#xMܭU Kaju=8"@Cuc&+}GfՑ80zk ;U5e$^{*k8(Y{JT~0&CM [xBk ^Q0Fp啒}4(Ɩ.g{FvOXQFXS;LƱ_l\ËP@O&LOѮøwe;_չ` Sb{Ir8'< ;WwHU oSAxl,n }T7yC:*vVTE=) oV͘#<̜$c)A˩͵lF9?s{r$"c2%p\Oݝ6%?kdg"a(r0QOv$a!`t8c_G/ eSBކX+UTr8fQp”VpļF4^R *nni`WQttriV~J^n؂`.i] =uDKT fVݐJxa Հzg5ҾsĢ ]vuvR%-%#GuA.sq` t<'k@њlkjQѿ-б2QAߕM"Qoer>V))Ku\rd2CI TMNcJ\캴Pp2BN}6e ЈewL8 )&|mjRqZLc9ڣ[]}WcsR`nYJO 2-HVTdC@jꝛƬ2aaBXz&B;ܟP5fcؽ|ҟ+*N#³R OPz^bA!P<g#}R4 Lή̍:\#a\AUw95w,5qmr ѳd m[Ixń1s8\&G[,|IQ-hkPb`ztZF?iOg waƱW@7;GJEv[xZk@ŮQCXQQ:Ljxt l %ͨ&d&E?Ot.f&Yӕx<2?>KG/ԥs]-M~lE*Ex,6-A!k+D>0̓)[7w΂2ǯVupkH0=`M>bDb֗o?ڼ"a;+é"(5Yw~"Qo&tNn9sx;!Z`E6A,I#SћᱎitzB%7}+>`.36ZN6HrN?qr84~/H;M6b((gFDRT6 36jbpnOک`NХUPJ;$;kS..t]a; f{:^BP+H酅aijzxʼn" v46sׁc<`GPq_boHݒ<4.yxňAªYVN6󸂐g]mIַf3O@OlYN0B< [ @'X"Շ`,h]a]->'~P,DQ/6@zQ$({<`ݢ&',ʇ s@Ŧig5:CS*_$1V6jhzx  I$fyJwgdl`pgOJ6"X=%e^ oT֩.(T$i-qW^T/i_'\cZC"ulnjSS_$<+ZI fCy877Nx;QM2h;}?L | )Ȳ'~xC okmTvvkN'FRth:Nk~6|OQ ew#[&C¸¿Lb7;-!I|H(r*z,yv`E& _OﱃszwY(p5<-Cf@|£M'"gyk0 10LݻI2L.[naL(u.9|\ *톛NG?j WFvID"Wbgم$>T=sm0 >YK}g`+7 !B#jVc6zo1۳>^g584) כ^ypD]w5p{Vzhd  RC|3yr14ʦo#ZB;+W i,mGT.܁m7LdqiY0N7"y'@aXOO37|kΕkp.EVY@&) a[aT9T/WzU2g|ݓYMxsܡ 7UVro!iG= ^NQn,3&PH-z \c7^`V lՕJ1-eRC([q.#3ѡa x)C64i΍ThWcCkQw_Ipt4+4č'FRRÅ\8hPdLT~8 ;Ȑt"x#j+/!`.aܟBOű NFւKY*1 RŽu8dCdB|Rj mG6qXdǭrO"Icu#Zj+Ziqz\BkjvЪENF`v1KJN$AZstɋAۺ_>%I M.rV.Μ/ypQ3f#NV+\ "Li|^a0.*t+|s<əolgnIi& U:V砏NrHgkg1 ög;\LoݥVb=:q.볖KnUՌsā%7 [|4ziнnars|..:!.2(j1nɃ &ӟլ}F%y!]9y&rF9U ߘOԥTVcɴƚ @^RHص0uάѲ@磰eB _B|fZd~#P`~iĦɥ2U@sNs٭RBz箇M5__MAa] 8R(<7 3Y)P?xLUZ1ET}6qu:TG 3`v^:2u];68 MmnIB`r+evwxE7as3 l12 z50JZ䋢F5 37!э>5޿6vq݊1O'0 DHPcs;Im`F 3{g]Ic>mR`<`U~ FcڄrU(D=6u9Gr[,O 8IWK~-6'Rgs`bQրt eIt"E)g Αf?էԩ^N/Ae oU1PN5J΀WaRװcի%֋NKT+'y(QRi4L\!r?nƛ8kڣnwk ;4>S|+J=I]t 7LZӏ6wY\0nM*CsXv8`XQJ7 0*5[Z{Ro xPob%bz)Plz|l y?Tʝ7u:'$q7F8r0cn'd-c$ MNKͳ#uU&:T ʻf[t0DeI`ߕ' b7ĕp.BϺC|"_ gz2(_^$<(A;K+&{&*QB9bMHac[uCԪNo/5=qN[49D^j:K1;㉋YH  b-þ(R80{Wg>F~,ImjW:O;FPxgRNc]GOx,^8[.3ơ-P&5"fuMˆ! =LE x\ *MRijJܳv0 >k&"X;ŚVs4lӾ"O&V=St6E:h h\KK>RXs= ,mrD7lQ!f"=eȖɒ{ֿ˪ѷ,wIt8y_CU4bq1Fד@>l̓]#^f"~.2G؊I Cà <";CJ@cO =Ibp)bb#gٮf@ـʰE#N6Mmで  ߆-ϧSԩ&]2h7%FᕏVMͽv )Օ`8qc3aC%|ޝ"Z}#ʉ DoJcbn,iC9ɔ .`br‰({H<".]hxaa"@\rL@|gq$0n'ٍiN-u* 8.ܭQ0__@sG>ptAkFy ʹ=-wD6`)2 enK6DgO)>mcP\cb݆Y/O1*| SmkɱO{ ej+QUh^ʎ$ #\w} naz*YWoo&̓N vIDT;iBRfwzjJ (ٵ\JVQ$=-k wU!rvh%+;5]c̅ooj\rH~2n/r?&.g~QU+̔_CYCzTja8UШ;KaȕӁs2~PF ·6FBZ]Bʸi[#luJd^ kE5\\7}}s$w:*Dߌ7,+[qϱgcm%O? a.wGPo#:#= sW& ϏVnyֱ,ߍdQ&F:chv;j_ 0 tg]dTx1nȿm[F`ܮii4J\%,#UMeNyBA zS; `eeѺg0.-@5bsT4#dIf0i[wQyx8Qi$xhG ,Sl}xeNwP*``!%SA=ؙIP,'P ygԬۆ%IZz B8!{qiy=lȆ|zWm{d?+hj~tq)ewus4Ww44 If`d\Ʋ v6 g{,z=qݪ7lGdvoʥ tQ(C=z 9r.Pr%.J 44 {D+H3WqZSz{5P9,{:2'.D>p_ .6B%v^*a6Bt9nj&!VWYCU[ya34]8I]N߲O"Pũ7ZidPƵD_IqMTW]1[sGVY.1I:B 7{U Z21J7{Lٶ<͔]ߠJUey)@q5qX0Kں`n*u#"sw )7 ;E`:ќTi){5Sf*:WԂP*Bs[Aܯ^vt2vkᑪl .)Q4X@R[KPohHуn6t'ZO#@lr I' Y{]ĬV~Yh@PGYܮ,0U+@1Yƴ8L˦X̠ gmH\^ E>u%PJKz=>`]>a99A3'ԙ쮢NC8=ms  ^quΈDͱN5gK?ǚ> buPC3O@=1a~En0O:ScI_w&Z.k 2dkg s;uC_f= sk] F:y)՟bSG)-t ˗.cH'D>cZ27D'DU) jcMN %3Yܐʫ5O=dt/wudbߨ6L*DTBg̦/@OޯX@#s.J"/dc„Kh`UU9h+ܵUvR_]Sɘ!Rh`<ɉ)^F&H͓͆+=DϪu"q#5 Pr'Bq )USc:nY޿=3t`:3*>>&"k&ѻ<s|`:L5q'HSX?koQMs! %\DC|),p߰ |Cz@iy$^u5޵fX6UvBb/ 1`PXY?5*f`l|]ngJu▮hOAYyx'^O |umyo V uujCXtYo8:wAį n(t( 'oL&AqrKyY_qF-:7V%3fz\.L\՜8 zL58CPM, gl/mHgQPŠ>3 |U{JnX e iS`t`=qC̈́Jr xȳL.n^aw N'!xS2,tW)HAf a%<84D40WH~@cJi^ ltA&OIZ#Svř~cp?S(@5B6wC%č[rkX9 o冣4HF%S΢+) ]e[}&b1?w~~WZ^QJ/%Xp'l{csڮElI7̈<ȭ|ibZU:'%zb|NǠj9<ː^&YMmpS9()/9AF[W3Q*(l#zЯULݞB6_C~|})-1 ~䯆J^eqvڬJnKP gx6#aeKY;XubƆDUZNH&6$=dо`DI "r >:V QnCfZ ̹\ m# rT<;wI-?۪LbrS,w^Jҷ7sa8FV.P^CHLtTXJ ~u`G,aG *pa[(", ~8gޤȾP=ج#je"o![]h +eߐҞ,CLI SPlIniׇ /kWB2ூ W_%}"pu%[O Q ")5a@lwJUwR ~!Td5VfU =>^V5(&i)B(J*iK~ٟF)nֵZβp ˬgHL2YE"k )$[8bR_7T,Ko>wϴ|jwiC߃$kgȯR2u"Ҷ=>O= d l<ѻ?n xl <]:b86ٳћId5xvaBP[^S= 9ʨ\O\ZVH7%Iw/Gے>,&G_neqsgZNe:&c=rv&m 0ޖF6 Y@Vg)@XUIo >f<2{} :Z`NM/@W5>5bAbsXS ʕP#n 7M?Bv6p_n9WMAr+U%RJKġ>u:A<{iNmÐb j\VH2F1p7Ѭ`Ehl -Ba$k1t8pfwTĄbHb`N`6&ֹV+W¬LHqbdҡ;W=dwLV*9Qs4?vHI)3dH#uJWmBe"ո$^G\%uI{g-8Iu r-lh#{2C_^4$ oXY{˜?3\ 50,?&M_֛>k?|L"۠9G'.?eDm'R 6qkЃEQ$0S4α.܅U㽂aTƶu"uft?5jc;33.$;T_]Ƒ lA0Q+^Aq.5+p+1s)'S-د^E+ٮU(㬝i.byl@$TC'S 0QP9N>9ʨpm@8k@ESv"Mt7;07$$k8zl=p#}01#xp;{SƬ4x7DE8F7"ub,.ō{JhzpGA΁niLq*~[#2ƙx0]c#kiݼ3Ш@f[&m c$Grn Z; -a $UˏX0mpRV f`qɢXnو?J.\sOA"0Ry+2ՇEK9heXK'+B'1«$_\Vv掿׫} [Oa#'}*{0Qx0pKbV ݾSt-)1Q̦K8xxiGo=3RŦLI,m0m{ h툲7{#Cf!ݨuRME6pZ3lim3@wq}WҞ~ȃUvwW^!=%WƻٍYpj>a㌜NtlgˬZ_VW0K[y1$Rv0F לcyN /X!-)KPRE^!VA t`ݱdGHZ h UoAOv ς7_c0*r wj4of٥ۋjr€1! ^Ы+ɼZ|~1;lΰ>&vzUf|@&7XPGi3Xmޣ싱xܮ94V]*;ejJ\}heѭ3Dn3GXI_ ת-8ܣ2^UUoڧŻV^Df|9bj'yr OWE"{ˎDAWRI~f DI!U#v5Iܮ Wz F"tJii-<1'#amts@yȢ^7VtͯGE& 603D2SޯLˋY'ϔgF%F;pZh*\,#~sc$kiA`Ae v‹CYw[Q4ҬlwHxs~L_4+BM針R.E;~AOQN'nYAUclE;,`'1p j4L26! X}__Oyx;_5? TJ+x4 fԑr xpD\E.Uۋn% fWwfHqk2 w.\QDq?ElASS3'B˿ak<;f@| 706lw pV[-gMr&1~/r!Jur gieD噄K${?UcghcP jE.۷M.ӏoyohC4zRZ;gX`rd\d-IgV|A9U0է:Eq(C09f'9kB"q[)Qr\>CuK f -%_(nw2BOZ+zX!ae 9ʓBͷfO^Lnz@1 HH`[Ku_6Ԡ1Ag;X߷J

l K-b5ؒ?S [lY5 RIC2,fg?8}<@z)PpmwFC:80_ϣUφSY> y_^ QUyj7piq -CTeYñ˔۞:^8\9}e(.6$}t`Ltǹ:]nl 6CpajHB&X{B[8XrƷH-y%|o:&G~U6S<AMa+bb<"dtR| I1A\ԊZ%m) ^}‘OZfR ,&@WQƮ?d: d?t> zLo(>?C@a:J`U{t|1S?[6 @A,or=,tOujs>ʄ/{ȝ^y{HP?f.X;'t?vnB P)| [sI3WO EIU8rE9'?w Ep%I=F93͖)YU-.7E/=1yZ/f-)+lJպHYx,0$4geP~Q\ r [YXP셮bj6 m0 ]wh0 @?;;ⱧzV'WsJ_ya响 591S/J\ X#@Xm@}gApwnc>JRaLYe>9%qIl)3cMfP,l tX^FBSHW6!(sT 3lSC S_~;S_ (~tTďaJ՟G1.eo.9~v:<2>dЉ *xz~c"R8>TUWdie*'v H+|~##Kē&d%֟ W^cmNJb7ѹtN <\Lt ()G1מ]bNl쏗~5jT,o9r VF 6ԅ/N*h} Kې+2$'|Y`K9F?dv(=fFBpe̅