SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 8%\`;Gؽ8nt*q* .#lw gh,jn%b‚$8NbB 'o 3/@% fC| pͷAIѰQ+@u΢Š6Nע`Cn~Q[JzI(?u7 =J [ vLŒ;$JPʰ+a2 J*'O8sF R*7+cv㯣>N|ppnG4M'݂e?eY%E" % HOL-Analysis  bcͿuL%g07~2#u !>}1B)Ic6Ȑo 6(X,Ѥ% ,L{[3Pe%.:'tR5oپd cm]˦T WH">1 eZ~*Miٹ鉫6ԴAHYtT Ui IջiQH±eȒ8Qi:÷"za1xБ0Ԕ[ݨDm|0{ƭzVZD3ױO1K /N&f͏qtELTqLV-t2âlO2RhU . g%N50VE6iDLM:h5*N/W @DebƩqR_-l?N]YbQ%:/(CF~y]ɯɤ}F֫N%3'%='.D=:,i ګz}K0kNwz&u83dw7j'֎_.1ǪL>l/ޘթ`EV疨pZ[4 lQ>qe!Lے!{vh:рբ_G"BR TGuE _;ċn2fHs`4f=ZSV |lV|'ӄI\3weIXhWc*!OĨ!WSﺌA۞*S i*:k1Pzϊ~9 w+\[`('5 @*/>W#KUX(W6kgR -Y5@񥗽pCQBOB91`!eMٸL}f @QUv J!5:Q6樘O߾Ħe'j{hULt&xsNS-^96$1B=1JΟxGLBƆ.^>iq%~Ԗ+бk7el(N4Z!|'ۃA,Q'NGl8K8n=Z10De{6M#BΙkj&Slwtl>Z5c ]0ZKe# %K{72٠DI~NBj5.PŶ 9e؆EӾSzDIp6Bce]8j SU @)sv?CQTg T)9H-1BJi6./,He0m4 Kp*Wr28>r͈t 濧[cnNUwȇs=@`v픝}' k7kdFٓ9\|?1ە*' *:3W,MS"-ڼL'"Ba !>Gxq%D˛!ϫa_74g3MF" UE{*zO47kdr 4-䬬s{jtI9N~x'$:.!j^^Mmn j5?ށXXYx-@gZJK!u M=EIᄇ2Fl↯IE~- *̩YcZާ;'ܨu= vQ0y0/ V4廾v$q6wA'#}[}epA67hpFYϑ0FD {cǃo=Y!CcPŐΰ7)xڣՒx Mi/>07c;(}6f{6\QX-}X<j~EoeS <8ۭAu?Ζokeo|R2YH0d& [n:m mܠdxj pSVzԓZJJ, OaOp>uZBI;71*>$Yf*"/[^|n];4öR}˭p@ɕuv#)`pG 0ɔ[X0mxZ/; CG+_ڣ8es UH<%#*IEJPd]*~eH=V:"Xo1W!Ull͠A y#E8a6- ʴ).8s^p_ȿ6.9RҪǒmFS!wt׋M ߒ-&i,uL{g&S6aZ^~yc> Oy$Г֕&XLq[ܢŪB&e?6^fs"iY}w]JvaYmwbN$`!iB`~++ƓuW{x>F *9Xqʀ+MSg Ьۡs? vFHH'$9 \ N* a8݈00f:W{CH^!()Z&KYsuhdug[n&+o\;C"igT(T?C u\Ӟvק:vo>=b´W"$վ@]wk2.F ^YqM@i`8'1O4@_s?Ȱfٻ#Jהh9#bZ<"2,$0 c~|?xU:C|iO%28*3so;Q#g'366H?0 A^Ag_ʐu&cl}C۲gHԌ$y&~m̼?<WG`*_KbT˞= yr )sSźQS MËMw$usX ] 0 XZ=V P*+pY7ƉQN",C. L4TUH@°";7 -et\@4Lf7. SI8L-.8SA"r4LY"Nqj/Iw+L0Xț3O"=zrC2|\zl1F IUGezau[!"Bw}CnTjvo_|oX{)OT'6Yt 5 S&Zn^ǿ|=ݵL]|ۀvYjv 3 Q@#& ܾ_(s&N1༿y%U*7#6ݦɵr\P]8 αɼ> 鄧mTd?ր=ydEȟ闋ku/^XB{Zmd9{n냂D~TTwtmBGr^D&ǦW;_EjK#ɹpC=fe"8>VdMp*YQ\%W*hL.GCIBAn׼/JhѤniFr +&WBfHlnr}u҆I0,kE z& q,AcIagL8uz`K+Ԙ,lDg+s:uo9 ERGwTM.MG*IyQR~2]6v&cgb+RE.! a/:>8 T9oFgOHdĿN9_Omm)#^mRꉹ`bͷK@"RW?vOuj+3Ky^@p 8x3l#7+hpa>ڦMEnz<nj~17jQ+\-I8Z DS4FyuNx BbFqv0rNa8rh[{\녥xVNM+v$y,ySW! W97ZlæVsy /[ZVf5 ; 2Sǵ:r¸[6RǸKL4ޒ3t #Bvⴡx}qĞ^/?z Ah[U9מּ=_4d(P2A 6wm Px**k ,t*?s"A;(+Zv^SQ7:pv" 7“-=}12\E/0O" xwevYmp#%|fhrۇ|+2- *wS ETc9}" ۥ+iIod]i:Y.p0Q93:/G.ǝNCez{~G)-QWn-0)TtN5\7QM5CjvdUh ‡/#Ot!@#vZ35.t5ËZO]ψ1 (y_FdE%,VO3zm $euTx1\@@0*y_,|ijrڦ t``_jۀc> Ih6huŕ9ٺf_W,PNqS[U݊CrnyЈQ j)W}1{9)+ٯ %cITnq$#Mqv-D5pO cX[zOrx^_F |  ^kM qi_JC0Z^%]_J6b; IfUb!fM<`XA:)hUA'@' jo{޵H:_|KMYI1W/C0d`5(wF׽G%ݘ8%KVZIr I!&hK.$1CŁ)U Uq4gŹ-JlY:SaS,ij3<&TԤl`T>`q`\ suv yC8UC*Fu&F;S!3Ґzm,~c[Cqf>@F&IkŽ%ST *.*Ce[Z :z7\yH`eZd$F _AK2&.\ // ]+|r7OCvi6Pۊl'<2JyъC Fp+SbߣI3]jinPM8KgwE@!×2$6zUA%62 r:P6*b ^ g U~ Uc{=ԉne e U+1]/v^%$6xQŋx*eS3CkmZ[g)V.փ/LT:e$O5mycy3;lˡoϞ l0`6<2{w&F<pM@HgpPVV$ l1*u [x!gY{^N{q4H fΈ'CAucQ Gw`"͝zTGi=tn[k&H`hw4 d9f“n}Unk:2&@{ "z^TFxzOS c2DI0LؙGyKFDEOQD!=KZil}*[a`iH~Mlăω"5Cǁ_@Ri=}EO~{FN APt#3+=n_rF8su lh/dSԪf*ZK7~R^<p^Dyog,ʓi]6v}8lybP@+8`EKDݞ_2"I9sm"M'JQWjIQ<ίj/N8f|W`4Dluq#HiV#+D\¦ 8XyIXwTw#ogXa*0,)`ԄG D!|QN"GP5|6R'tEۑĈ|zA k.6ڕ ?nԱ. L`J ej]+ȕ^oFsKakY ˡ]FGB=%r _aч`<0 ,f%>"}5يv!-TWVMYNcgja]zHlkPҲ6Gz@`4$c45Hrw -!սє{;¤q X=;7g9$kbc푃u7<( vpf^1.?-i|:vRͰ$ΧZisV4knbؒbMɘ[R'>P]xC>6}h(LT?A¶塘vgk*(b E0ZƿAjQo5 mD更#݉Tqm ^FOA%OF|`mѯ+uMnVďxޝXgzիnM9e͒U 7A(KGD8ݞ}K%6jW kG,/M֯f"rEs|3!w5Y$DSŏq߇ ERus ,ʪ|QF̰ j!{tH.cZiQ@M!X:#‘)FbN=vLc { Z*I0 >vbQ}CU\('lR5Q!ь]n06#VtXS80؞|x ߣ i]!Qȸ߱ͽ7,R۫~03'!e9'%`a2r+NNPmi/VSgYQe: HJaftQP E6$ywZ;Gc!n $"K p@\k{a 5,.t{s*V] 0=o.;2:מtnB of̧GUFJK\|5xT/;[塠ʩHx! 0{l4p|RV9[ MlsqTzr- F>C"')(jn?jB̘|7OF|7s^|6cYvc)1Lyei+1~e.l L92=SR7g JLH!tnutWͻpO.tkP^j%)-l, 軈S>4\njtl@mJ-L#Ƃ:m> :$)yY^- Gk9= _H3Y0;r_2o V6:.˱-ĉ+ЦõčJ XJGѳ@,T?|??Ҏ6㤡1g@V6n*?ݺחex:G;΍ 9jvIRGH|Pyv#rUxяIߞ3pDg_1v DMMcs1M m_,y߳g͟n$~__& iyJql=oеiYudX8{ |)h2P_$KCPd6lS^(3')Ffr^A{e9&/c\nsUB(.C6-l0uˑa\V9 Pnz,4/,”#C<|` c|"[(IB^`)"kʽTp[l hm5-%WlZ8 [ԉ/>vx^V4w ,00vт8텅]ѽYo oh$.IXq[/EcipMӀiŮo&z߹?C'UI'w>XS/!$ IVy u5*>%eDw@: yF?n58f;#CK8[,k`^g)s3A3Y^+ϼAߣk* ZjS;D3vEiʜ,zoZ;z IPv2G9I)"9;..ʸ"ױ)_dG (yHfD MhJ1^Ha,'D>0mÞclm`K@[K śD޾7:Fwv d-"@t yng)iC j0uWfysm$',Ӣz:e0H)w;3e? &xcElR.q`Oau;qdžJ 7s̰+m y S)le=cΙ?MPy$sig _:cw[P}8Q= dkYCNc;ZǽᎿ:.͑c2A$%N#iXR+6Ly~ &p pL]Ӗ\lx/ 3?w>mȱQB R$ n?ݵAV·qZy> k'؄qD5۰(rTzL+,*>aL9ٳc:|O,>VA| TʉbO@|fŬ+rewpKrVKIL6ՂЏ.pQdq3a[kEkGknu% uXkfD/'#XK|ɻj:sGaSeTpvM-`ę Hx+.U 6EJrmrLLԁsb|ӊ5Ȑizߖ`feeqd̉@huSinE`c "%{x|sx)s|2m>0 r'zcuAმ4UXm/{BErVHq JOɘ@ڵl , 172{-qbqU A]z!b ٌNA_yvd4ّ95ؖ{^?m$՝ڄoe"}o. oJzR^E{[̦|;dN3.s#ͻux.MWc/IX>o NG=3R'ށ6 CcLT̶jZl:.22 =,#32;cqly}q*j1=C4 gY.j)9s3Pѷ9?@n9pES_q%1 Fz{] /g9I{u<,܏ZywwNtyBԎ.2VU3UuH #uJ?S!i3یSپJ[978U ėq(iyC~W-P=HÛuY/]RvH< F W\Tr}UfUD7 Vu22#>aNAUNbÁy.1`UrJ O%e9[]6HZ?Ӻ ^ب=9&m٘IܭŠ+;![.*!c5 9"]Ʋ͸љ5( <~^("g_k(FTO^)-i-%5up\gR̼\32ŽS]}AX'1{DSK:&߉fTq^l)VڧA95ƽʁ'Os8 NWߧn(y7BaH=pD]_JR1}D*IV$|b9o9t5XXS[¸J;z܉ڶ <F`W,Qꃇ463SjΏj:Pd?%ϯc󴔐k 6␾KfÑ?*[M%buAfyqAQ<[|#t+@U&XEpHퟜɖbS{n iWRr>F_Zz硥!yWdG), 1}їdwwtl4e)6Vz> r}U;vrΤE"t2^m[A2qjLg ñOH}q%Yw+Ba \ۼʔ ~Vvj% vnȫ\9gQ,GhfÊ^QT cϵ_ zQnĶ%܋tYz!noBg.Fgm'睻K *:͓jTMdn0V1vߨWgW+~q)-k=~08hdD-wjnY= AxT9S xEP´P %Tef_}YRI,p#RDF3;V@Lh(Y3@X  rں>BM^.<$C$s]S%<$u@|W 1H >FVYnBu(g8B=6Q]7(6 rF%{@x&p#hmHmeU ,i"(y񂵚ŷ$l4PxmUy}/^-*uB<n4١b$Fg-vh%όz\1昛_\A`9Q v-~j쩟4-<դۊÜs|R7kAiٳӣnwmހPo |CJ*Ն.@V)+{RD Ec@-,~c_+AXTIA=p`YMş՗j5[),f&&6GGoV]'0ImpW(>ϘV'6V\hJM>}`3C!ϣEđlPG J( ޔ056Bw zH6ԹMXMd5~O3'5>\k .lLn^ګoа3$:,ø[U:j Ӆj* |Gf5b[U:GzX0S=glrDjglWF\Y4I碣X K*t?#}!k0T]Mi3uGTJDlY*Q~,ݏ׌ f~_>S=~Ytn{ak$ah"Wv*qt.΢U1LQS$.(l +KTfr@rh&j{K^+;$h <7>ٶ9p^M 'nls 8hiRn{W'}nA>f gA[Mdͦ31ˬ^7RgC>䫱ga%3dO&Jxp͆5>98s+Ւ4ӁlMkQͩAr= Z/ymbxl(! ?z}GPK[hnmKKt vL]d`Hð *ә/ja0 ~Bi`Zuw1WOA#nKK\_k'CU}n`g0bn7f";/ٯ\r[aXtd^5qzkwD' QxvA@=/DTGsMa:zdRbǨDVv/g21~Gn=v#C>C(d8`UGɚ X#q-{fiI@8Kbm2`d4s 8i:;']$q{˞)['t:rZ?>]#d{MN,C3XoxA֠^8ځoY?~ej҇f\|u>RYLQExjhI"@pAg Lȹ($Bpz'GSm744}Us@7 =a>ꖓrovpU>E54LWbWJC Sn$ 2HmBF,l:-(I'b5D)*R7 fHKi/_M(KU-z f À#qL])۷a]W@CݶKY  h0qdއ~fxlAΆҳ7D8Oנ4GzK=c< ,^+Sh>G&UTOM*6QhtM[R2U YPa_{nmrkJMD PC;4:Pww/Ҹe4 MbŔSsZs\XX6\ET~L{t!6 2-Y\.ݜ/Fh;5;Yս`|^K48xk{52qgsr!p`MPYjch>pmr5+m  CvH!W:*7Ww霃@dSG)f %x4z;JQI-̔() Km,eULiv6ik&*d^ߐ4:8"1o HrlZw3QJ&Ư2~Chߕ#H$/R.k& u<-Cw 'JLP݌bPDQs(]ǃÃʑpυHU_XIal3uw@N NF׳wqȲi8Ɯڿ4azfs~LKkM96 ֢ZY_B;CUieF FgO ;4z$;+aDž 2o| 5u7fThxg e $92PTq:ɧW$aI-`5+{7)o^-q+_KPfnG~Ǹt_ Ygf IDdtt[0lEtGOr:"ښW@1:F9 ϱ?Vk8e?Jgz]^W,ؾ@mL7N|#{˧L_\k#0.$hGR/3YBn1/& pLVK_X!S{+^ gk- [Dr|]HB Vȧ `cp6VGЕ!.q]\utW8l߀Xluv9.:)D}FÖGdzj6~~#Hw"nwKVWc{ykWUA˰șu YrLg(ɒm]](&mgHUrpEg5;<^.o$KV\`<99>G"}[TA `ZH .x="2h8໑EctǜB#thA +B2 K?9*\A|6a8]o嬑tL'9A9DuN} jNЙzU 'j)߇Ò 20̱gYZ7zXZִF! "V]ŗXiɟ1˦r!cHkMeBd4]C厕K'߅H2uO\; nW=/"ȿ{뫥T`@7.YLo/b=X[`† vh|,|;`G#]H"? mJ1S*gZjFrO&|p]?nꀆtV[*J?\>q{o pk;BsE\%;\4&";oֽX 1k/\%c^7c{4Žue6pS<Ʀ Q&Yok;|r>\X}eokZ7;w.^xp15` |8w A|:jSI%&l߀,ܑbUǺG4=YO;~>@tA/뫈Lbnx>G#=EiJ]Hln̂ ,7M?6i~zvgıZ>?w_gclMf #H d4歔\oo'j;<71}Jel8vP;N:9jڴUM:J2 lnNje;L*԰K|!v2Q}ڝ6*-@h݋awghUvx(-{{5+0du%:f v[zPKKR<6&5KyKoJo 3Jc,OgcLLnlpdQiOeȁoJGOd0u?vt[>rF%l~gWb riIXT !nuFCsdp)wzzBd;2ї@9KaOzs_p y Bo:g2" GO9p_QE(0-J?&e;@xΩJfQK@ OB|/2BHvl>/YvDZΪC<G DZSr/g{fIf`1ۖyϓ^/j=ΪR\;_ ՘~m 峭mJB+ hpͤjzѓC, !R/cafSRŚƿϏ* PED:*y5S'7P!W_å, m7LJm zLӃVMiC{r8Owj]2\!wsY4#; ]-[s\Xu7\m1^'1CZ4G?F#dP+K`'@-XvRh3'5 QSRUceu0# znQ<]͢EV֍߾2NBĭ3a_I^c]n2naST';K^܇? L㨻*T!solO(f4ہ?N0A+܂.A*(81F_ja5ID,t6D3jXފ,Usz<3Ǘj`uVL:J{r$2N3`poBX*/֒V~ A˽wB"S Ԧ`mv2;^PM+b-Gss63MDNrE-=:ETmaFZ'p9,]J4i|GdVSk;Cg%@ר Y9z&N8}T@o+ݻ9#}#O%/\idW6oFQ j ]sFkwc7‚LzAy+'֡Sk$l)m?94jaw:iuk:8kkqgS|%!{ltFa¯iŚOy~4V?O,}08(9?eW !O~"#Y^݁ x"a~5#ؽ)T)(Nn*}| ȌP#KZ@4j㲞'}TkyвRd0grD[%PV"1^]`o5I(r 㛽CaٳC"SQ\Ti !Μw@Z,H.o_Q]/6^ᬎ(TMp#ӣU~wLSY{$J[(@$V"CT;70$2Fۍ;S5dn9 %(JfGU%OģaB=y3΀Cly.y{dD k6x)U&w1=N7ckԗmXv.,f'3Y@CAUutt[|W牿\<"4sE%$<+yiֈ9)kҐIY8omíq{oC`=<:Beϱ{sbбs6\<Ȳ˭ emtr odIo&cCnF %J18tΨ{CTm}?Li}cagm&ǽjb A3;[@f/TiB ?Y;/`5EUߚN>>>X'sNy? %OvXlRy$/m˸ tlf!(Wײ<5jT_R% >a'Dd%vWKPOΘy{R[uEINMFr7aMD h4ҟjyH04VBn\X>yR!۔|0șRTlj"$LL;R*"Ӫ.Od k ihfl_HLÈ7+ f!LL71&lHvZ3\9m`vWMc<ݯ0x'nZ7iml\ETw®o4--3iᬑ`h.<:g.F3< "y8@ B͇Y ]Ѱ w4;s)+мadߣ S,HlSjO&9s[Ty sn IM W2@mhQZȈitShP^ehMi ~\kEN a.@bm"jlAGDc|Z9~i"BihWg߂XZTAQ`] L~K)DMɌ>%B'2%,*(䏢͘3I[pa- g`JjZv"`O .f/fqVcsyg%>%cK%#$#%ߦxC^"('`pL-Sv '"wJ &e6t 9QzK\t؁cCԆ#?efC2\olQ&ie\]yL87< ^)z'L̎&/iq}(9{PR5-hmvp3vUyÿղ0Q+8hS7؇D)GYicT|7AĝIfNfg6M(ݬ 6Wz U}{HaJMN]B6 j'Œb+Al3Z۰>`R| R8b1=C@i.Pqyl6fxhFUSKS"vEMbOdL1]%9{QA ^l5s3h$_g/O2R> -_A{f{XߡJi;.A7=8Q(p (Ks63b^Ym֫â߳ii-=!# hft2oQb3k4_].jSˈBbC U`FGVC_RG+E"' nԒ >@u%T oV\Qb1Sz_pe|` !TZF~t}'C~pCĺwFy~6QTV7|jamתÑJbW긼  Lʄj7XAw7c[^/`q$QRzjIPw6$+Mr)L_О^Sة0[kG*0|Vj;!T#`S+|bك!.%u8|O},H9I->[ڶDeG߳ӂAi:Uk:!W:X@/ga2"4 ?Tu= o#3Hݷ2/ VgwϙJvGoQ.-W ˚Q(rj{>SZb 6"#.jߋ 4%컻EȪ.UY)*HAuBmfEՐ z9ǀ /t~a݌)rE@k4/6Z_n6hإ-E۟unY}gDITèHOf_cEViYΫcmf1XWIţk(+ $}=CF_PץIc~!5/[Ks8"P7t:{j=i.jc `TFdZt#C"h.(s'@vL0-ks-M1GM|kl"-gw?_4+%fuCiD 2,Ԅy/Wɑee\tqv1 IPYdZ>;9Pb[ʇcZ16凓FCǪ43ڽGŘ"CU.tܟ4=ҰZۚ҂MK#CMBiaDhjO>0,EوR X=`Ҽx=kXg HH7k ? 1';I~r1mXu:p΢͸v G'hrꐲ\}A% Lw;L^ˀ} E f$Cz--Vg, WH [SG#wkc=cYMI<BlƐ\=ín 't*Jؕ͒SbiT!{뚡{}ԣE\"bix[>ϐ^i׻lЂ_5l$~[њ^F{K!V; @f䉕*4.놪B9ڬ4 @/)W4sWdbqoK̑\ iZ9P!t`gV=#.y`Hh3g2d>:͕/բ,Sh7}S>وШ~9 ,'\aԲo$7s3qM{ە[1BS`9Gx yHLO &d22:$ U6w.vkR#|5=YHLw&~鯃K«49cؽHo2IgS=%)iQyfacIf1C]Vo#k6^'A.dB7i׀=ҀoY2l0)yI_TI\m$7Ïz)& 0# MdtRD#~Ku7rE%üH["Gʌ"턬4"KXmwx.!x/km# C$ZTzycWi<5?ʼn#<26x@=4=0+w}Jgx,hWؿF`b3 bĄ:NM Lv.) U _+[Hߟ߮ T%.-&l5E4O}q.tD{k^ +SCޫ]Cn4M2_Ob\g wS)ڔc" Y z¹ĵe_9`]ZcT\. LR}7df R@GUe-uub},"-,'ҹ-L[kVU0&=ʭ1XB,еj#3,~cR^ p+ ԋ4Fso[O_x^u&TvWҊz%Pq 8teާ6i`n0fQt>L!)q9#y,POhc-|5VK41KnDmMS,%[J! p ˜i&cCn+B/j~5|TDAOo'zI \V'n3:6N{kS~]dw#b{q"Vaj[_^3;l/G]4i R/ø-ir*5Y"ix3xR!›XolcSl1SSb:A0$s%+kg^nu-#`I Cٗ gǹM!bD j`0  wls,km崢dy63򋺶W3ᨢ^3HV#>R5eB$zs&)MJD o3/ Ȟ: 8BK3J%ЃqO=yg6"höM5'=`G` IEӹ?~plXZՎJiUdCxOCgP!;dF = ia`AfKg(,G͹IQhSOl@qYiY)qNO4]|7`Lk Ȁu^ .\)4)ułs'D_$ow[̴cS51#*D 6\D=􉵯il]ޡvPa?QQF,ElE^X9]kTѾv+/>e/T}- Hp!t~ǃ-^ y/Ҫ`Е#ژ [BͶ*獊^( *"O_:np@gWړ1iOxEi T|tg=1q,V,D -sfy 3-j>r%^|kBlG(,17,oLqqG U\Oq%YgIGx (gAI`#f '4.fN.y S<*)=Y _&nunExW2mDhUh/RF{`t>@zS*q"9VH6Uԏ7:oސ%9`$5UOGp=3D*،A4۞>C&zz^Lum=!N[˦3ϼvdVi0pe(]ˌ f@-_|Gk. 4lbijZco QB)jjgSKr4:PkIT` eإQ?m,HGy_oݦ6L݀^ A3Z)7.&Q0y;| ~Qtރn~~Nw3mt3ץRllu%BOW!4$*{^rCӞ  S8=ۢI8c NVJ3&6oT# v{nMTM^zq E){HO6+Nitr$Thiu@Itr{6H+T}qonC# >nz=QMP;_Mvq "D,Sh?l>Q:[~5(*.ڙ'<熘$ 27%jk*8l*aiy/JZ欳tgR2WTߗ~y|쫪-al$V[qaDb# _A lͻajN10Y9mmi è.9_]TMNr8,1U6pR"!Э ni{-ӿv/n.pe>J]2AU}6Al0-+Ko-,!L2P!roh36!WtlOSn 7͠ʝCZ$Gp\nKQ@SvQlTJ6TA򵂌˲ؑѬ-V3%K㿾#l^2DZApuPy҃*,J#R2oȉt=̍Mtu&q2}~9,M\nK$h dfqeDqk$FaqG*qfD]`,/opDyӮ"C#(Ic,Z6O (QiɄkB 1٢yÎ?U-t7biDa WFɷA<7*QSu`brtGyuPoTi5Ͻ-IrR\l3TKR:Wz H25av##y2==sdjh/Vo-3I_w-h.05*6ڻ%^d{ @,;"$JÓP&ʊ8FSK ;aNOXtsc!-DUfv-}ox~ ".%m b u$=IcG.6_>X}Zvtº яd卻ﮪM9l׍ߗ3*u_q|g0G4uŮ&_~;['総6ZɛYR\ SW| 1^NX_{}Cniɶf,<F'wE\'d"YPvr|e`_$uҞmv~`mb FB1.}d>7QvۨVAWCr; 5 #0usϳǵ }l٦v #6? TkH#ZB@m[JNN?!sv>^BrNkTPP;mkUڗn&STkn yC ZLt_j;3jvm3taw T25M!WmuE2J6J%w3\6!H6t< 53#eYD yZi ;ƛ*>.ʈCdpt,û}(}]kMqbήqZ R;cm&ܹ9WC" vXBuD_/Z \\ꆬ7&N'Z jW] O,AcϳȋKHÜ9ԅSq%|hkmEW4{Ly[m/3An Mɩv'@%PȡdoǙlL]f &'ذ?{}~R#h bO°{9 so󓬊4x9gKhOqj0r.# N0YD~lu-"G8{ Ky Ԑ|S@]0/k He:Yϳȕu`BL+G\|smQgeg\iW ;$n!CB4[qɏo4.Vћn9XfkVhhC Z<iܴ f5Hiqe}`iˀc~^yØ- K0Nv{KJE 9N c Ny5w(\5ɷ,1jb`:fJ%q` "{$?pT]=gTe秣\ ,VE1Ἧ/e:"\~pn13Fϼ帕)?y(!n hgܛxTluzZqw(\KI%tحﹾp+Ֆ#Dgs${K[AjEcš->>n4үip$قB b ~h?$gs|Y1G\. jw){^g_͘ LBITKW;\miԯ3p'CnW'!ŌF^S11MPCp- [;y6iL!juOPr}ZB6vLv@ehs6mR Ll K ҠYiQ&l(zmtQ@ja =إ}/)P{ a],@ClmV?B , #%Ti]9[Yêz(qNϷ|_ڳH6\xej5Ȱ/eRj[k.׍ǣ\B [^Pn8D28 $T6jH vjcEI{oH}#Rz ˠqR MԠ*J3loOE|^'gqKKI̛ߔ.`'x.ە\e|/H#*dB8fg Mͭ`٭sFC<^W6hWQlPPe'5 O^^;tUa|r OHč| h-%-aŋ;ݛHP?db#yt iDE 6 Pݜ'0LJW,4T9~=5cj[`RۣtCIFwVHA[Ȼ.-DF^rТ5g9!dF#xut 9xGJ/ )_G݋ Xi(Bkpr_XZy+S#մe3>}>=DTu\Nz0H g۞̢o?K;$֫\=koS L5w.-Ń4Շ̫K=l8;=ϱ9-\O|2N&Ѵme8 hV ~3]Bc'}P,W_˃A_zPm7L,4#PNKL[ ٭{_!A9oniĊjWN@ma ^o7\sE蒎 l㢳GtBvC.DQfFQz;6YGB3b߂N_Lڮƨt ~':U>BLCEɝ|dge5B+x0&a5g[O {z k|O槶VҜ]v}@<~-3KWPnOsX3ByV[~nY#VKNj-/@X+ΡNVgii{{˭]jҨ FT@q!yze[r 51&v İ>Mp%nE8AI4ѣRd[ky>E*u*O+y;P9j-xwYU-q=3MS4y&2M ,dOׄq<KNAßr\H'6)DO4O:^0i%5ΙRǪjTRF?Ç%* 9-ܵ \yUD2d lkC:#arNSL!?'%|U~4;xbߧouݸSz/Ycf;13&ƭ 3:6<(̏ߝe_+XY\름nvQM`Nkg^)%8Ap\OsS@TBųxL ƛg[|,?o.]~3Ȗp~Zq3!Q*Mi熱?s#vF|^d_N¨W>`',V+ʫ 0ldV2WR!ʼ4Xuxץ*+st_b0>c Keob/vo'B'09QD¬[,B@Kf;?v4U|:e3X6 HE&ǥq6+(G=1}0r8$dWqC8A. `@ J7+T]8y8X9 Р؁CEzv#>0Hd{3'_0׵vZu8Ok@nnh~1c7p 漘DXW€.m1\nݾC2F< A}u˘gO1%Pc"/^r&XxBQ9+cd0hW{csL = C~~Ў$mzV;fZ}M EjزX:6qͱsM\ #m.+jvѸ2Sڼ|I:k,>>q*< TEՐ{f/;$3^_i'!K!q hcPúj:u6Il~H%EgA#c})~^CH=b^Ef~¸qىI{0,!A5}Xi ZY<>QѷWmi";z_,m#d3}<A)4зJodUbQ.=ڶ$)~;fɥ+c G9k y?WLP|Z%R2M {q%NMdd8 ]~h7LEu2^D|3.?j7YhчBkL{A*<8ÖbA8Sv/,W,[$#AG:KA̾NJS9VsiT/sO]]U˩~fjn7@ m9*x&@u ؋N+p;=I0MP}8WQ[ľ(E~JAвI|ڈ8|FZ[5E/̑wSx\#f?Sޢ!Y6mfmw^Ţc:D DY՗m]I0uhۡ2X}>P;!.CZEi^ƘƎ¨;p)L=y#_*nf636*f^4^ vm0W}h3USMj{ {UӾRoseubՐx6@oM}r -L".jY^d35ɦ, 8aƕk!a4E7؋_;hc5!QTS[t%#-|Ƭ.18)T8gIHX'XGrW6 /J*7~I9GMNq J+E$ bpC_W) a`AjV7j{ -ra8 `LeK74ob]jz'@KYNDtt|En 47mi{.EλMY2QT?n$#]٬itWǽgQ!\Hܻgt|oxx%៫O7?%ZWщہc:vq'`)ݗ)l+VʲN0aY9s݇\pu$>q ej;xm98)K1.xRԧ  ,[j#rD\%xH'.|a|S.~.IPZ5A}} _yiI`-uؤJ/An;&,s)~|@~)ᣍhqH"Äfl:m66ZD}ݡf5*0 $.FuMX5zCS&aSklX4fm Vg R؎ҫ`$/ݾ e9NWR޵ ' Xw"stul1,JU\#:oqL%E `a? "/n0.n} (GJbh(NAD#:ZY~dlur60)·Ytبwq&mjxrJ_9duQȉ=Xfa(ם tW6,[E78~uMKZ '@ L]ѓ0ߨ:ag]Dx PA7tG1@a(UFcﯮgY;"y]\L\ BrI]舡!]er#eܒ9\ "dSď{(w%ү8tCwBb5e[6?d,>3gu3F:c1[,7bF6Ǒh7zMB`׺M%W D!-o]VYKuy1&? XA:NC7ZpU/ǓuK t]9MA^ ,rr34_.c[ ~`H*3s?߶EvO6{bۊeDlv$TɅ-jЖ$Mz4aD @GյRYt= XmuEkN#/9VwFFZXOL 7 (d&%Q.(2IXK&nᬞG.?o>=d]ŹY9=Ƃcܾ/pJ'ܫp_5<9H4Sو¯u\ŤG^,04mBn7z15-l6uHxk-g3l"iy\9B`0K|nYE \jI]f.0/~*C0eD=z5 4.lrC $Dޜ/P z&$"<P*qBͥ=1Q37g~b6Y{DM?nxoIR yV-!:GWf:E!藝vlgSYy9s= 2C%K3&r)6#ߚIXyL1@\!Caa ڔL6Sɬz}wm\N7w*Cg%Ct3;ʈQQ'cl6ӭ:˥o$ j|ؿZW#*<؂0t|LYU=n:jr)_o63 m^h_~.&]DݖWZc1K7HֺGB[x*B`ٸYHh$#P+"zjF\Eziԗ 7~w7vAƱZ~be,EYChwB=@j:ؖGx a_vp[F`ZŌ=]Gh3MB`CPQFP{ } 3oam3Ѽ_:Zӝ8E۹M"Bχn5~;c%ӝ5o}s[^ڍ听E[uL#g)~E @}ǣX{w$#vkL`>sJ6{|DV{*KWyj+2;dxxqN^Zg-D)|Zؽ 3q`ZAfS_(g/ 9~6䖴 {k_h]缚lZU"g<r[!D罡Ye H.y#5| H?Ê٩7Y&)c.@9!}!:ٙyp&jTzwW|G"վUXNZkgZ@71_*At{J{dٖc-|м9f]s0w[w!{tT+1>ނviiCPؘyS ,9<_G;.SBOQ*/G~CߠKME W\rHi%LOf֦ҕox @FJJO!ԡQǦMw#.߁) j=u.xˮwD;x'E4=}k U;GʎBʊD~9|qUOwח%LFc& taj07OݬөI7.i^^sk )^j%Z><NELGݎӆşWNotKM0qf \\z+foApD򾒱Jy(-%vJ%*@ [yi*[\]af,+\Wx]:RuFYFFuWǒ ӷvyQ${%3 l4]5δ_S#Ӌ%>zۨ,E5ESȽv7:o,gc|Vrp"{§{/WăD@i+"%vmMFvMX.@ȶy"*c_) ~Q6zi p/~e:q4 O/sM? {>n#ܢGW\_f 0KE2Y@y@(BF8uvjZ|JZN kR^qah7>΃y;m٩dd󶎶̞m9l+iuscp}{Pl>QgÖ>KLrwS W%ޥOCtGRɩRϛ1d.!TM[j*Z(DI|PܬKTj]ͮf