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 \d| ]w Lorenz_C0:threads=4elapsed=915.492cpu=3605.956gc=20.176factor=3.947zXZִF! rl]ŗXf[&}k%]ŗXiɟǕ,mI,1q~Ԉ@m4ifN&= GB @-=C{*ZHW}YZ7zXZִF! v]ŗXi%BܪH}Pc$`G֯քBJj}K.wy`$-d   Lorenz_C0  rM>%kJ}f} ל$)|7o͖:-2oPY4"&{2XIrzdݲv)<`bDq46[r5u$X$IQXKzب*6.J4܌S0nze(Ok*>]g%"{\PNYȭX89n (PAZxaP:M Dݮt{BP[NgeR3}o"#}USCos f&R])ҒV{cO/!y>ILJFR9-&M$X؋PH3EK`wJU[ hR݀C$QSnpS"ba{"߀ѳG"G. J0TuCpmLnQK?Łɟ2`)!(;Htn~YCe242 7|jSyU)Cbvmw+v^FJ=(et D9h잙M_STEsr3//Z*p{TR5Er' fSh>&,#m h3gǤz!] Uv}㪉 9Pgw[ПS'+uЫ " tvF|AC/O>|71DpCS+f;yWf "3@惖jDPio<'Ӝ$t&F\@df L4I`fH9 Rf䂶b=@b%51Ֆ<3=6vz#5*¡OpJju#>ih"[ɷwĸ_kB,9/\?VϽ pZW+*4t%n&3-bɆu"vow}s({srjMyE'`LY6k* +TvHUS{0šh5 =t2sCz&ږKy* wŌΟ 7?3oHy`('#:LPZHsИ\IsVĚɼ PUzn^O1NlWdb2[rΎcϺ'Y&8jqD/6RGK ac%']rnO."[9Z&.|y OQ?F^=@|8 {LiI y2"- <V|G kGZeU )Q7VNlz  QZ/"?7]r+oukhDZT ~Đ\1#)ZQh% I^?$ nKy2or7Z3ILu:Q`~X|1:30ߥ%n&J Hg_.lkߐ'i5o;a]bfdY.-o'e.ӫgr> .,8 xԗЇƎ ێ$סwQ?*PKm5V钖wm&0څſ#{y H.O"A*sÝ3K2|bl}9aȮ4@w;U І @+i{ zI.ru >1\GBFp~"7l OQuL(xI"Obufk(6xU=0H޸c=U2fuc+?zmT%=R1d5xz"o#eA3>d.63jykEtzAr>qy-/"Uif o]Rzz$FMQ D`;ʇ)莋oHUb+u{ l\G5WJ6c7~N\6I>2b>1.DA> t $G2 JI&Ai-,0g#ʏۉ8_p{ Ϫ? ͓{t5s',ywΏgWx .,U.->Uꢫ¢`-͏4L $.>쳨&72J;6V1L:9R;VwfqY%P+č3ue(CXd}`4k'J:&zafV\L0 jhG À0sEHs GZglMmUJr<ξkrn@封&;U=e@gfgY^߄Ȉ'81g/F5*ic:52<ѠVhUٝOit9c۹hBۖF5I"y:h&dnxKɌŃIQQ$l:S\Yih41|9hX"V55y瞦 }ʟc*As{!8CACt]ڹZBp~N2r7'؃SHrf~CC4ĺ'V)imJgM<+ li[k!NfmgQwC5?u f\O'm#d2V{@|/I bi`M;Q,pBḒLBڴIv%Z<ǜfhٿIKkgmR=y*”P/j.|eƏtoPW7U<{<􆡶0/5I qKκ:kI&MNzGn 5 #`kiu2s8YK$~NPYF(E mgm-j7.RfTy;Qׇ) -tq 3xpGQJ zysЙ724vx-DRL%|[ݭbp_4x?As7;*ZL=˿AT7h_b@8 tN,83Lej%@6N}hW?;oYѴCkJaV c2qSi*h=R_blZGt ARׇ`<#IYDCE as?joY0lIѨ_-% bs/k,(1ϝ$O. $#ˈK@Oͱiޡ=>StQ7!€'on A ;zI `Nyjp]cgb)'b/ĆK2bQ9#}InJ}_|BA#zմKgT'I*ۙU9A >|<ɵ4HFw>VЋ&cv*&"jӫ4QɸW-L=FҚxvՄUMu'nsX:W),ÚxpԦyV۾ ;E*Vx@K'($QV9}ioA>t$UOjTRvfMݿk&\Nĩ}xQҧJ z\LH6N-i=bfT Oӑ yG'OIUXP9W)}켔G Q*te? l]~yw1훣@({W;XrsF*ʊ%q#TҿVHr{kj;&JmW :qzV}cΙ7$Y׍"OIujuIa*.&D/JMT5M;5p_cҭqvAEwy:yK깵t@ ƌhe9? >vXn ȷU6ni7&rUӾyH3}7޾zc:jh>Q  ڧ#")%T]Q 切 __T(J[,Mo(nf<*\N65_wm tO~-dTޚ5}|kdo5}LA~ #2cc*K|e8πhAY-P UPQצf4EL% ȩ?NN97ɟ@X+Du,q}hnLssf;W%X_ࢀb g6ȊX2L*ƠPJʆ0&  Ǵ@ݼG̘w$f-=i{LW`ª =#ы \`肥/F}~o>wz8}жB:?[ QoVv%<RWW=OrΌvfK POwQP܈<^MWBAڛ䏊PQ9t$>QHͥzR%$ k/8U貄vNYr8!ӷzŊuA•GY`(55Ƚ#[ ݲ90i}DGJ6Xv!7 D"ĺ/Pte;F--m3ld%JRTA5h)h ؄?33-K "^ 3wpƭ@[66ǜmv3$]/6TwpVr/j]t ̗mI EjB`amr%q0͑Q?=kE5$ U2IU @fXtH?mxa+⛝;]G/כGL5.ֱ8){.?]" }4Rhd~򵒳?+nYB%XNL?Gl+MWd2)AKbuVwk beHGB$ <@ \tWV jMYz%E 箌ݹ2YN^r?96&]}GVU"4"BEGy0j>|i!`;wݢGe+(}ǘl)S)J*`J!DȺ/U3,7pA l72x2 2A `@3 0a6[Ǻx8-L[`S{\ɏe)7ȼx0e׃N"2:uFcW=M.u= ? 2)Uȵn U!cU`p"#>KP:!oR*3L>NDWK8gq"r(br:4WpcTy% 3* f.r稿׋HljдpРoiAb\y8x'6Ejo9 .﴿p=He:'46J|A@UXTfH/Y=fhj6%W<]$snڠ[8ER7z.Lt,HCpaСRf-{{ ((8wo<5HX6\ ӵnvΏ쬦],^n-؈VF@VTHI O c,B@= ]:o/LpRi̅4Q9ӴPw1w |rn͔^.?zpχ 4$ueOF[䝙/nTfAtjid>2K<ӕ͊R*`УDJ7! q(sv9,W^k'ң2hFH(i3~=H糚.5̡QՅ`i,% ]r/*@1&`nŒ,6wR|"@&É@Fq8Ձ6n/W*^- wM^0V: >븠PgqfE <'c$7-/6LH1oڼ+7W Ԑ  mC OT"*cIƋkj ɠ9%UHop=z Z fn!֟{*CG8E&'"z 5* ;Mbp<-jϖ57fNtP [H.)U'"0!ʧj(1I/AZčmfLj~ z2Pn?/b s$R&NV"X|V9c3T|n(O~0ө63n`DYIQ˪M w9PiI~z2rOTKy8sdޘ-7XeM;p>[} 9: Xӫ+ {69qCECȥIPV0hbh?]< |#b}YQ)Zs 4 d"$zRV *i}%wQ82 4IQ|=D Kh40[d][-}Z,YrҸ:I:A(`y :9 e(rn?E=#Si{qQe5:0@A>$@mke#soOL;!ZZk$/!RIGE㘵|%TiI*#F$ Ywg7fzL89uyGlH. 7%v؊}vfƩg݉IE ܜJGQPsw`w=lIGliџԔt:BDevsbBV\d;p8E'EX6Mň;bU^%Ii=KASHF*{eV}W ;?bQM@p+G u &i}; eeA^ 7MMQ"hDnO:R{GJbq~REJqx^Q<غ~ Yth0+ͪRdZ7;eH5,2Pͭ9eׄ2R)FÇw/X-F'bkIPcO,\s7G}<`J1 u_d%u!a $pmNśggP XHٲsO\E{ )I0:l?Qks5k#k9|WAe eT3Ge:oաM63#0 \ӓ:BJ5@ {9dSjE.9d-q1 D,t: pϒu[T+ 0hx\Hi  V,Hk}gvߑ Je,χd~hFq. 3 щ.L|͟Z'ӢcPnRWa|@1\n ,q+L 1ٸ:!V4K,}.]S)y16k!S;nb7 sfn{?EoÊV{:o "Q* C]E B4l}f~,bZDSv]Ckx۸Ltd Fki1/F̏q7z7VDTVk"-☳ʎ l#ya;Xqk{#"1gnn4fġB6;gdaOZA]WX}2SriƲ"S9D۴ \L.9T%P\8IʳKo AvlUڎO%Q0Y^qL|Nww,vdؠ口aȱ qM!+xdb-E S_['?۞0ܫqC9xΰ*nĺ& $x)8x%gMmaj v>/Ov 7S~3rÀ2`/oyc{K9[/H G}8IL塺x46tb/~metUHPz$J R6;!! (Чq7H$ty f3hFȀN["$].=2zl #w} ~}h폹rb*̤ȹ, `sO4 &LϗCAa?x9w[ʅ+xJ7 |" u:hT_g#ZY,(Na8N(?.:|_͌V<=`(q @O^(_EekVLi9J*}tR1P+t'_fƜou>~UscB@ˇjѫ3R0 |`r(g/ aYw;3=nQjnS}Egqa$2f/$һe֔{bդF 4ŒEvPPPc5rըh+,fy-JŎixG䱮j(U7~>vܪ FݤC."fbhihb @k7S% \6Pgլ ͣ>9.[\(b'˔dm 6vV|ߙHa$1w]T+Nd|s?\I-Ē<8s$L1iwn-SOpڊ>}&R=HLHr=8EKo7Q뙽2&j.C &~B]1A֢;!s_VQ֖4`B o:cHN@mX#Q1n䵾#J0Kn" ,c6m9\ر [hGo l5[@gt*lL=QKvx6ҋ:\Ks*}q񥪻ܦl-4zo{R:WPulm?lTA=6eGxukˑL'V(qج6$hsS|1^H;٫uzAя< 2Gh /9ű9oɓj1TILմ{ZIi&Z|dj~A7:FZ ]:&gSu׸cg =r>û8tf"14!`YhX kܷN6Tzlı?L] {t[Qq;h_1l8!R^kʊkdsƏV$VۂS /\pv86@tCg^EȂo."3p1crQFW`1ħ eG }0+耙?IZ@c\8" djuLlIi~ xc]{(? Ǫ}] LV=De5`YKb `"Ԩc q1dch4+EX1K1piG<0N]9E;Zj9z)ٞX&D~Uvw 6 R'hܚ_w@1 KE5-G \"4n$j e+ƖlcԞC2\ڵ(V%@x>+e Z#+@O "̠";e1r)(*)``i!aE&6% JcG+Ш֓x%+`U&;lKY 'ReM.,1j[u#՜3ӂG@OQ"?#cGh~0hG bFXV!lo;uIu,Q~9&Y8Y'u]P+idB(HɿF?\@$ͯX0M4}fw"k̙LN&މPS߬?v,N\5({ю tjDf k=^Se0A}%gEcEP[? l:8!&S$ y>xA_,Ha.Lx9aШxʾJC#Gks$D|)2x}2n5mnQü Bca:bg"̫I!}?b:p.3v[tDk硒^СE)Rj!0'|JOåˢ_y#_gZN}Uu݀";i>x=Œ)neI֊Mgn@-~-ֺZɕ>gͱ 5ƛQ=Ĵ7Zj[FO8BJŸBmϙPWṲӂ KyUbF_ħVHCŊWHihlPWZXZ7 Im4iRHqx5wVS!]]H"J<1ț‡tG_7B Qj7ܐ#١uR+gA>>i-IaM~*8N#sjMzv@knE\ (Ν>Žlkap3ҚQ2 UN@+>5l,zm%u,^чF L]r((?߻Sُ8bm&W.2ƫܗ.fQ~k\N4 8}[t@f__8#Ml`JQ^Aj~諂{˙f;zU~x:e9  u8a?r{x5l2dF6\3l8-_ꘔѢjBbK/8,bVDN[t)&ODh¯ؐ U4|ȞB׵ %$^ЍV`fQ`T*ȯD>AWwhĐW&>~Y̩eȕcxȠc+n3 n7ۨ=xVLq=^;@`R!cv $X!d /Ϋqy1t&XeCBlKv<ۙ|j}3Wc)h7eC=r!\Dd/##U.6 ރT˪M>mQ=Zqlz,_$>&U=&eYY̛"7M12HN3"@Bd8""ٿHklsR@nácRls]Z䰍6 vXS򄐏QS}R)2yT}} Ѫ-Ʃ$zҩDu"φvxXǬ c?κ"PB|eb4iv٢Դg|QCx Sy*|k2; #!(- =ahMmu 1|N\ ンH7?Jž0<tʷ ^Iv雧p gF~Ռrj"5GpG1 ,|Y@(@}n ddӾ0tY s@ UȰ$kMA78P,ëǘA]/D$ ?t<3>D:tkRVb_J䦴rǪhv : `p|NОo<#hh`~P`fF3JZN[GV#:Y ASZ u A'՘I${!Zf^"g4=/8\C1_Eވ}۽~<ya݆}uiA|[{&@lAƟB3Nuo<\ q] ڥ 0K-)2r5#?t8+-:omd9ws tV<-quѡ h;g|t;XMAY fxO',b{2m'zC:.\,[ 9#{ w6=+4 loR uDVy K k t2pNx;rPQ*3Э(?=ܦ|RP"猣O,f`x]^}`cE  rWZkm>UT!.__."=41G;}Άʢ|+4kzʍ}bL1L= NKEubGZ"Zm4*D-^) ̒ du/,o;e$}Jeb@ɗZˋۆC//^=ew|gGC6 B$`y\wH/#5!t@HL]a=Wя̩SD(bIH3G+#Ǖ"C1sZ͔U=ʊ0|կml) X䁬|tS<~ċ)D`eLcD0!ۡTekKd1f;);Jvضm_3`$<%V.xtw/H]1"W$j7?T+$>VPfV躯0q޹]e2I @<y|E uXm6".,uSdx&ԁ!0 7=al;ԒΙ?F`dtbR]!F2O{2ҁw$˓lʥ# KHl}K* ohBM͂: lNAB2MhG ɉ՝W;N,?JHSffLELaG>o?"oP4{azz36uA' ܲ0PrZ@Q|!%qU5Wd\co3@\&cz am=BOFuG6D^5NZahhSez̨Q~* ŋRqUbSo%C{KkV_ 4&JXiK:f%ی<$NuhoУ~>*k.9,'St() &(qɴ b=Gsl("mKcV<}€{4x}.pJkKL(-Dҕi%vc(uP9hF l"U Q4"uý]zᲪtb0<_ﰬ^. ͭhjNP\ lN\n ނBzx ȓܻ"<TW{e~n#ۨucNE/˲HmŋO9+GAGBsȟ LWm2IL1{6T;HнG@uyy"hj=an΍7XX.D`{4:Bvׯua ”lt/O?B_jvFm H^ھْL\-Z"%!GkQPhzdaӹdv1l(LcZ4}l`0fݣ XB)aᘿȑh]xIW]O ЌSls\υTzWnH0ݛDh:z5Biڔk+Z7x;u'qCTC0ns:okOV\ܺi 3ށ& : ä  4w Kqbc:|٤ FcV /Ƕ,7o0%-k@x*ޘT:J uD% +YPh^{TFʤ#|c>Z>Mio]::jFH@phjxJ&*B$ЦS30;]!ZBקv>hѲIV  D"x39'4Zb v怾Ah!n#?<ƯX)O'GJ߅$7ગ =mQ'nqb ibn$3Q7?J6;NTީ~.|# !GC5RsUs~?m@ap0Ab%ܺw+Z"&Kac> 1^1MކK-=A:|-ai٠Q2s X :^K3kq`~DFƥbr{F7?^~Xn](,M  D#wg#協*`.DMa7jWv<?Q+())D&*q,"$oČbj'(gf=VYp~MfXH`6*yq;~S8tŒQ _I^VKD${y~pf"0=ƣJPq,`rWg0njER-_U 8 X?+ʌɳ/_ע03HYrEleInxU-qoӝ < 4ӌ%QZ*ܧ޹Z{6 X6(?/}jFr Y/ץg~BˣATUO63W}__MJd|z$J7c6/ia#gD" ,8t7tYT[+rPأ6.lt2o_9`vvs*{'~G!;lP`Z4r(}QR\o ܝ1d==a$ݛ$c Rb3klb/U[ѕuA@nUA:/)U}$%@@!U/k>ʌK19 8kDhtcKR K:O ٲ>#g;_}po⟨Uer xXr9]+fmev11v~ kbOTǑ H0i"S&o Ykgt2Rm~mU0Mah$$ cqQ ]:?@68]ߎO*˭SL'&=7S獽D0CDNj'̷c2W Y2D83Nl)6`GXH; cij9S2mepT`^AddXP{ƧteZTOXU(#jQ,/Vj< ]JXW#Zz1aH{zi%H؊Bcqaw2a4 ] jd[K3D-I@t,F-B01 1?V.>FI2A\ELJC.+-ȱM[!тd2eU|exD*(z륳_wdSCN}ӜO( !6rܫ$6JȬ̹2l)vwk,L5#x lh"u]_'56VEcE_ jg]$×Ղ̶|<g&LOQɊL˼ԕ;GAtrUGT, lif u=PWS#dYց )"ovX.Iw]Bс\oϐ ɥ$ %*lw&*E8,fONx+AZ!R۞6µżg\`)f ?p d=yCe~ٰ9NН5&QrP+,tl&!L&B^(*"~L 9+C ~;\οh*aRP.@'voaWΑ]oCV8nq"SH6N~ V~#OWVHՕP/[D(naeQG$&.2G̓HCx%SQ8,x(< îOLVQ?y2@(}VU>"cRZMcia>)W"˹}d&R'Ţ-֣ c-8+-pVr5Rą3 JpUOK* MEԳv=΋K٢]c룬 dӝr*e&{{mv u_a=<A9wTkT ɘ%+$i#qeG:qw+mށ4iG [/N+[)۠GjbnýE+]Ӌ چnفR|TYE$> 7H^rWS6DHVnJK1/; &vT:3ץ};[5&k;)쁶P9;KOljT<7QD-.S0 r6 Sׄ0f{ 5;-9wΨ,4[;%ӓr~=gJp#\n!xbzX%[1:fcʊyiWpE"/ a2Z6Ixq;kN7sYKrNc:îc5LɏOIW !;!z6Mz">@o.r?u=κ#>A!ץ߬G5 9בB'#u\Js.xjXjah gz"@nQC ܈N I>\J};阦%i^Yj^FM+uz%dv"J&j QEwasA0`(KIg/ěg$7EZADx|b#~ij넊}S _~=,0[ڄ'DaZJ;0PK#^Ŧ[+ @VPk Ɨ۟[?)^zK;r&=yR65Z&-ȹad9^ jrD)6)5]^CAO@GK1u9N}\OטӽX$6kdx'Ȓ^US@ vE*.^NvfmX;+EQ+keZ,꾠[% t5Z`c_Q+Sz2azXU:/\\"Nj^? ;x/BdDVvoxEF6a쳧^;ż3 X4 }ސDLȎ2\JB^ mѥQݷ0 g&ϑ,`x3!u.[KTɒ\‘@#w[&H%IhbnCuO`i# e #&=İdiVb*iCQ <8SvUJkP:4Ͳ ),f~jy2!CN^~0(^w̡?͂C[!HrAvPb,7 FI;aL+Z:gd-94:DĜnB6ܓ$1Io|#l<_1N h23FMbs}p@u=MW<`_W/ +4o`B_f_:Ngx pSe.4Z9L&,VEf$*VKy Z-OZ%0OGC@Zr~P횇k5}ޱbeohr]9wrRnXbo S/%-AMCKŅaf2 W=MYR4*.3 CgQ;±hpoU][d<m&L.u!3٨g3*H΁M\YipHiƚaZR(ÝdLxcЗӤ^ o$nkl/phM{zq~:U R v?5,f+$2TIq_8k IX:n/y;UL7/cwz9a*EAOl)]q }K܄QN (>]VR52ux T^ zD-5^*b2%K(^95m؉}&[lۈy$Ou&K>n|虲-|Lc<}&S |y`AI&>^HAiLld,+4@}$<!ps R6AOїkٙ"KѤUP,z[=6q pӴ5KGg9f\pNXa#RDxri[IK>UI@XNB=8'3Η^ (A2;ZR[iyQa Tf|@6>Eh^ǮڞZG2- y`B:~=V EKpR5_4#23 r-ЄGJ ٿc,'t3X'kf+ʪL*2mP8-=7)-!X;ؚEUwN+̎4EHrLQ:r'؉gkD3]C)%NJZ6+^s-v;h~ڡ7o7f)g^mb~ٚPw5 |PM#Q04i+T2_;@iS' {C- )sO+?Xg j7/~0" j؈ns݊CwC Tm.tǘZ0nC%ja'mP{yILH2eqaIg-ɉg}/\V3iIfCp?`" Euu[ kȟN/i_haڑinxW&աs'͌q gm&h`ƦWk?#[Hk\d X=pvpI`\y>y`>LMyRMܧ^T*NpxBߣ3H4%WSe DQJŜγsn_w8ϠѲpw/hs"dRV5.¿v<}Jr%M ]r۽TujzT^Ou0Rؠr<3/K3P*% XdEHB泷;1p%aPB():E/I)I.iV'6D{^InAuߘzD^:c6>jaJO CNWj8kAU޿eBŚWޒ|f&_s巣gٟI!l0b}03.vxZ,HYxh.Ya:GhC,Èh7S2d)]]sjn|aw6./3Zc pUYȾ vlY\etl- UPcLQ(t)cD$qDbրI[p箴N`~UtsXQ~R[*^JS7u'DxQK`^6πm1m 'QjM+Ć7QSkN)zS+g^EUl$8hx躾_MLa HkS8X!K2bZNMTeF-8DIHPPޏ>&2Ņ)k&0I :Rs"}F‹N.ʃOxB,Ԧ#.QbO Xy0/D& z+qէ=vb*-}aoZ"DnnO%Dy$nxkZVT(mK:_DIcye'nÌs5[sk؈-kԊk.'XSM[FҸ֊|/%-Iz\)(#($1gKmt2GPឨD* DJHć!)V'㸐k 9#%.P!!6 tX9_wΓ !ú-I{J?t^$ZP@vm{h=\!K*Y}\8lf˱dXw4[Eop{d!yg-˛"'zg=G67!6m`IG:Bo K)ew2>ٶrjkYHL1%"WpфZm\jѝ `mA/ zdI1 -A,;PqR{Q^vcb_`NSOlo~VX(Vf;8Qmokkpm<{ˋ˸םc(bϩ;bךjiT5l?$YK!B[y*N0M.FK_Z+_ͥRXJ Y uݡ3S-/H}Ls`K e?C[LOưK٦}CȚUMTRn$oRUqLpyZs{b`,K;s >&I8EKW`f&_w~8^٫ؐ8\7Ÿ< ҕ)]y2ۀ ]yĐ+jHy3xRb!׫+l:8J A}K/4 @ )o7Z?+Pmэ4UZna Fıb2m~CҴS5~*o!9˙CT RүY9ϙ310:\PĶGh.<cnll y=,P3pmRW!| oٛ (Od& pu=)s"j夬U|54#j,`'2 i Jfxdj LWFC w`=d{,Gݯr` 2 {_fI/b9(f@}{l$+9eyrkyU1˳1i/宨|ΛĚtĐ;aXq{v*mɜj`.(u&擱I/X="oW%b$_m|yтsU ۆ,[l?Z;Ry=t;Tk >dLL*(/3pQh5:$rQB4χOg3\* $䇿 3pHI; uDeFM3p w.rf5[_ H!4rfi^=OU]̇$fe/>c8V6C7 ]f1dx}`{H%5qV#ʗ'6?K4e1;lOOh.V;'Zh#Fppl%S9>OsOK%90b^FsHwa&W: k|9PTdն}òhvT9{H'fc`Hwzb=]]0;Y$sҲubIY\'g9sx΢P=(pJSU{oIOئ,EY,̮F b?סq3{,ы^"AMGJriЪC&Hi}t!K1tCb Wr&C/FSkZc].L3R`&7ޟK̹W}57XԿFn8q,TBC6y-<# {`䄝r~:1ܟ">&҆%jzmU`+F]kIi.ϵv&pOG{}݃{|TV*VS}DL|eblD,W_(v#2bn?ġ.n~TD[z X/=!r/۲!p0mD B^ x;Olт1L5 o0ةEH0' M(ӇF4->1Џ,{Y _Yunq;#xV!RXZ3Z¼a;Xd[j2,B6@ `h*nuupF=ov%|S*IrCw?xd/rYIE!L/4kX*jJ:OȶDg1sx#SIy=NvqSuiӓl7M"/(n^^FO.l)Bc4baSw2nSŗѮr I'FCFŒ*r͖J ̬2Sݓ-O!|?\܄dw,-[C% jwKa(wyFóǩ0'o`x:€IR <;eDL<(2/,#$(ZOf0_<]s<&[R?F+isJH,e. i&LRa%6$JbFol1r( ƛ{# ~37d1wD ޴ٱ`ZJwB z!C.1e=NmP7&mpf 9kˬU5N?㧠@`Rwcg{ TeWYkk`N EC/zVxGBM֖E|em]˛ڽIa<1 x2bZ 4f3`1 ]kfMBE.;iF{čj8+o f!O؆R`hubc3#$nd y{DL ? XB9!X?⃫ɌP=4;s> q&D~^c.U/e5n=diz\tsUt3NnhJ?dI1Ĉ7\.6Yc{ h@'e]̗ܙ$5l}C1dH)G"=˽";#.HC^xku( ]_FR!J30嫴$)PI,N6qt-y}Cwķt1F^w$]u p+б"m; ޶=aJ`ѴqC>n.5%5NLkL,oiKܐrV;?[:(#=~' [hw][98M0dB!qI]JŸUS_̚0/*+͵IfV]Oп }f/بr/0 Āz+`0sf7ī/Z9L'}`W1BcP+DwI4łyXVX{o)t*c !*1n'y/1ɻϪ1R=l"'F8Vժ.k~fGk©dB(MdNC1X+M\i- )Caq,ǬDXVAc10F ԟ wPzH産4vNf./?hz=[oIɶHe+:Dwvy H=QS\9R9 plmfޔ%]25%&pɜKixƉPs)77R݃BP&%̍vX+ ,TT._;'m:}vpj9¿Uev+c?&,s~iwx; Pk:P:RO 좕8v &jL󸫘NM$l[Ϙ;k?t Sɴt8T)|OD߼6byȑNZKJeNk!n0 t,'bKxrv boP5,f`P0֡&L#lܪLU:Hh6$B|3cۈ6﹅)e0{Š^v_GhJn C c27 }7q`JNAv[״R-y7LIs>d9}Z:Rkmգz͆Os朶r+m?)_C0j ;²%,>exg:C ymBssr%S Q1:֓QK%%aTpt/]D-L>&{n$v:K7{aL:}Y"ЇoF>WF.HĞG'Jҝ@uCSh:;F5I^iRSg ;63ZƄf a SO'8j ! rW"ڱ#ߺV7%2_jWq%˒[Xnmj;}և' I4XIEhRe8QbLF NRCӫ}P`@OPг]Ÿ$2i~;DdK>S{(A: o:jӎ:Z MZHf ]y2xV\;d1/sAvG,+ϻ*lR-wZkl[vgN{W \#7V)\*Q6 F(rď!mb̹tRx֜ 72R>+&]$}r dY+f/aZ8 <1c%fW/ FwI"Vj\ RVIO![~b=7qGGVLDZϾʿWܵzHC [;^b>97+$ aaTm &6Wp(U/q |/IJrcV! ~aE!r,XFB4*ӷ863L6Qx'F}Y#g[2&r6V D%mMtz}W^\&l#g%"wg== "1BSYZҟoC*&#Ex4\UN׬d(g=OG[nQl_kC4ܖ*7QC#R`O+"yC0"컃:'bw( Q$N|jXai4՜$ÖGW3.pazJDJ,xɃFe@eo*fRB}Q ҧkBLi9'^W ̜0ؤ!L"Smq_3o_5hK DlA#EcOR"Eu. HG3|W#p.ărmn?@(Cv)x}>]9p"yn:h"g(_HVwQ[qٰw~& {*Ce]5d op |SPcO)[W+̓ӾV`,Ju%aٕ<6e*g9\߅m&0Lr${ďFJYkeָ>nQ@*z%M$ʆĈT1i1l#_.+͝wV.[ ,c" g;o:/J?Zљ3FYu}H!N :zB\jI,["#y5l=CU^'ꝰ~ ы1u|m=yM҂e)ّ raЈ<3%8Ls$+xhc]V_ 0+Xu1ք}7ĚAC=%Nk:T*~a(N@- 5s1:[״_G'0Ӷw +O`Wdժ5IJPkB {(ͺlI3snY*1hs1¬̼D"}ML. PRS;t. k؉Pp宥heU,Kx\:Tfw@$LW,gpӾNd%uψUE^TH\ẙ` ߯l'wn/%dEyفƔDsz:ZpHܔFiKw%+p*;nZU{]<Ӕ3ܧ2F{"K>OIYgj {8w[_i\gp$s=V .%A^7:f XDݳs`JLʧFؤb>BE?-"F[MzUf0H,ҝMn-gUk4 _&mw.z;:`>qיbcjw$M’Ip& -+pQB,Iʱچw.Ff2se*ss!jm9һb(4Q@]:tQ 0?g^UͮG+ .s1gDW~ޓ,(f4CЅ Щ׻aQ3@&~ɰM+Ɉb\}w1E\M`h!hjraЀFd [Aiz^FN[3bw{2c´OA:)wdq'. ^1JjtdzCKgU6a\?˞rF_6z Z c $jM `6.fMB،՗u;n'IpHd `xX]&+b{JݛwfS/12Dw~߀$%vYߤl6Y/AFI_|B%lO:hLOm{X[7AӼΒu~N]ty N`U3GChR< _<;++7 ST=Z4DՐ<0.3%b@eUI9[$ 8nw6X{hYЊ` y:~߿WAK 걣H>6*ଭ@,KYC"\"#tY ,"8(1&2N]DIi@YOK)<Z|qABD+ X:eLI *2^u9u(]jSז}H:ݝf9=`Y|Y CFSK:^/-5,~=EnxoM$X^Z>ؽ%7e67GFUCmň;"ɺDa >;aH|Ig#qЅTO%Nr5䠌G|B1)]z\k_@sqs3^^C΢UBuU=:_\5QaʏUS':(<7NWOЍ\ɶ=!Ѵ(F>Ȫ9o7?gw{0kyondWs+S,G-1bMBXP -bGt2J _*kd?VVs+z-l0j4& k1c[gP"Ɍ$=22y f/qr$Do_h=iȠzQw]tgS9Ct]d"NvC-:P䣲'=hNAeQBH IG* O{$F 6,9iԗ~8$14C=&I^>,D7#iHfr{\! W^8C&)^zpaÿw8t-@d-'͝Wqwtz8NL*1w F\`8li#SP(bՖP'4mr';6< PS%" lK *@p_,C(MRX a0\q.;P ٿ|ةW JJYH' qaToKwX=@n3k\;ǭq@P/rI㶆"ɚ Ov_qK(ȱ([˟,40fʱ0OfezsM~ZQ0sH5}.?59$V10=  s.zp &lu<uvӤ#VҘ$6'BW Pm.9`A#foBLKW(I4m닡c҉E|=&{~1Uz/g\ھ]ۙ[h(;\!mDU2wJ0&J :UCDEm5a1bB] Fre5S,Jzc)d4?*癓tgZߒυeL&nFIM}w</M*nЭ/ILw ]e .)³5ȇC%/Ckavy{-{]'<=P1>✎gh1:=(-7}kߋ…*kbDrc-Z2n0[`~c5? /MݘѪ89NEoՏhYY|awcVMD3B(Q^ʩA ӒQ-QdKxGBDAY hjĸS!RC ymGY*M8#~42 C]"rзt[-&/5g@FYc5mæ~5f8&L|H4\GLFBLŜ9B?g*CG| 4pM_5LܐvÙ" 6^Cn;"E|#r`0o!>IZ䓸<$@p-ͤ`JSbq!=w9b/Ӡ:"(4@e3#홺Ys!JP#' :ے= b,4Pܕ$xD% 7б֗Z /apޟx5b僞uM\G2I|'|.U eCrƇ{7X`·K7 &gizB 7!j1kR8wXA=}P }r 7n gk7MdpXXt./dxJR;42iE"E>X(6ttQ Z PHJ۩O z61ĕ cM; TwHCߒ8 Ʉ .b oW4*ՠyߖT#ȩf ^q9HSSƱx `82}fxlH16JݝȒ2B>DM&A74A[Es.@9pD-SE0YM.wﻚĘڕ%JTh)s_ŏJs# L'oFJO[+190d`99d\ziVKcVԩvVBF˜.5f{jЊBm@qq?xz9.'!q\`7놲o[Ď"BWȥd+5H .}S1kfZlϡ+lCV{^Bk*@R[4Q-IU$]5sWj;ōF~ժ٫uH l8ܨPodn^S~LjOQfwH*Y_{yLz )4 5IhGS}(qfݢ]A'[!õs0I~xA؅1MW?M 8tu҇ؔB5o[/,(Mm:VE"Mk<:cg&%mg$"=xqHO5"R%BN<jW\^^$Dkd5>~Xv(>[ FфaAa!z9t Z1P ؃7`5d $VE0(юv|Fb5 -/R'|#K ڥXhwݔG$} Q\Q`2r0(r%K]Yh+ VuLh P`w|򻘄MZ4LTu5mL9_KtKGI.JXi7 *m,?Ȋ +Ȥ,3^R1fvpNƖ=yeU.'\hvr&`}5o~Vv֊CnY80:H` G"SG wƎ&hoW8 xPq,`?% ΗP4p(xa%Gd\c\=0 qOE։v2]rdfm%iv犳*-BeB_#0ODLd"qxgHۦl$/Xti:/SpB'aZ`(P/)cwP-5gAKZמI$ۻ\ -rg^4/ [u6h -ZI FE؊}ƣ47'A/E:)Hs1JZ&޲ H$˪LI 6O0-Ա+vra7z"75]~ Rzd}S]wiBƸ{\5ͧ씓 G)t)K4Fb3"<"u*-G/2Eum>8^#28,xRrOsK%mIW$*]Ls&Oxuu|_hO.~U"FF 1&^_y~wVAx9u@H+$isBz1|A PIk1_LA!'*/ƮY Boc _S{7oM֐_ =%aO4s͚0%K$bk8A#IزFa9Hϖ0`D0a[{GW)Ӟۉݝde5p~h9}϶!UNNfUJ QQJ@ޓk EQ\PGX_sl霢X+e/[(lk.K Kٜ!HXǚ>{ bZs}Z_2ֆMն J"*8σ51pXj7v1iL4<ۮ342ˍBnGK [ոiI 32 lJrų HcDqH 5Hm hQ,DcY-ϗd=}܅R^ ë/ېQevv*ңP_49\ ({K`G0G t1S'4ZG&!TRvDZgߎBЀl+qn]1?k"rIx oiOr$ v͡l_Swj l=Mꐎ;'Fi!%E6UfCS THrN5M7wsj/[PsfBǾGAM`~6SF_C~QֱbW) NoWba}Q"}ΚM7 71܆}u_D U^e~"3βtFj#`ˇWR-<1'<[+|\_Oׇ)~ώ4 mi:$]ɮpX 5RQA}8$g0"ʗYLUXvx&2VVk #fL5+T ߀^ܼҝEDySSwg&x/[\Y PY+!\䋎v|OCՏ?B_m1h|;B!PSI&N'}c G+̙d@Zx?zn0&jex∋|E-KV `s7W4ȌIt[*-̅$6]9-tGUMzis=kIBca+{NuR_jp%x}e`hMN>bTB4:j-ά̎[J!3J;+@6{^¸K/%p o&2Ox%ʬYcQGe>T r: D! wG; 3ww vg8>' i|;Y9Tr019p9a_#*`NA&G1HPRLK͡Ӣ|BX{i@6pc&t5|Ah5% ΙfGė5,o0zH9~3KG WV䷘Tupcc_\PpA16YnO_==:z` yP+ .6@ՐopLS4&zɕnS[N4&:5TpoJȇc>y׳$}jI)Ng)(`XYcxWhBJcѹ%uG3A9(Z+!=Br@GےN<Ϊ,P_m$ʝ[M7*0$UN#Gͨ (VKkZFZuqԥP:az̝ܨ n1Ν0JC-8\C*ҏȢ09mu$s>\ʁ3REhs޾SՐȼCUeۋ˲KfΚmՂm*r#yZkJ"bHЊVDtKjƀ3K3p.g~-ūƄ8- #wwI.8uSjV;YJ4>z/L#ķOd5ZqɢM;ڊVú _D9"pbBʚdP(sSm!qG,s)S~΀ ݌kk. ƈ`\?\pT84o[MWAa k+\&_k3q KwդiۦMq#GϝN7m1|4aPNZF,KQ>(GkR|nяj9fF+L` R9142$qC>]:;C0R_:Tn, % >xz_A1{9$ 9}U~&ѻ?K fAZmrLdGÕS^>Cy'˸=It2r`5ru{_tUL*9dŏrH.$0GkcdjL:x~{Φ! ԫ|I"d01~55âh;9I/~f$ Ci9 6cN2 ٕj0U l ΠL*4+Sᷭ5Tj}6a9 Jrj%Q{ۂg^2T^3E)Rx5M?Y158<%wh$(= cƿ 8IԬ$ @jn%n7jS6#U`O?H^&C=8gqԑA Fdn䆍/岥rZ.:YGzA.n2whq*exu ;ˮ=pTAGA6}=u-X[u EByZY0Qbޥ< G+p5:N|9v+)5<`יeU6߬dqį%gƌnC냏;Bl\<`L\ ;kWN-L&{RH zP6#VbYd7&PxE^zjI(،! 5;ΖN[1h_ε8Ë2ϙp^t>(nK'0lХY:EΓ'1N`_@jog15 T֏ 4JOO+_4K*Fl ="Oy+4:ю)߭$PF]vE;B*$N-3Ip׬{om'얿yB3R?dyp1NQl}9Ijpv4`R mxF y)~mm/~ͫ?c-Lot<[" /:jd.KGKt[㪋15hV|߉f2/C $t_SD!01hjduA窕j+\mf!P\sq{F޵%p8: |ziSk`"`R!f3AUW9pG1o@>"e@+G-^>൘f}] }ZG?{d)seCsd?-w_@F M<*1d7 FD{k*FUmӂR;d]`p~)ȡDzmp>EL%$MO6;A TvKf+j$fҖ=Yӹ[v^ 2' `hO{̚(L1G*UZ':3k̬(z=jY(:^3(t?B^S.D;|Z 8*ء_P 6&.#UŸ :^zmulɇc%SBm|p1.=E`1hRiR2S .0maS9G *ӍۡGoa* &+ƭDK9#sSXYqEQ#uBH?dir㲆# ;,j(fix 0r~;q}Llp0y4C4b$D`eG;1,`֖llhH^|Qf)5zan]` ,|:|8twL>V;k%Bˆ[TFYՄAjL},]Y`$OF _ xq= +sm+EBokKo-U[@yDRdc_8罊|Ob%ϔ0[ *b/NWdCguI!Ͳk88}(.Q"^׶Z$>8Ғ8TV{hDA7%ԑFޜ<)Sqo.Ķ#i|fEVImTzqIѰ jxcn,!h"8Zn+[Dqd +r`Ε `DO{rҳ"/96˅/'u+5D>3& v ,#co|$ %HKyP[v2" pxlp}uDFMh[ASzU5ܺry.ʷyXvo/oSKϬIpIZ ӽ3,(92B\өOZ4M>S=S[ ;!1lM!qaw:[3=7LmF1VkgX3\w:`hܢ\7YVn zgJ_I ۲BثNB%k K `ʐ6VG",cAnn_bcF(uwq{?,JG`9 "S+v? Tʓ++0|v9 GU|i9]x@!O#l,"L_oKfhLArs_!kX!/gE=7qdn]ESЯe?u*"3][F< /"M 5[ҽO#E%,[KDA[Rh>8v] Z$;0 0bAk/UL\qNvК8B:Tw1) R2pvoi1"MNUz,pƝ;U^ FP!'1`)ah ")0X[M\gzFqsҖBf SҴ/!MDKKP+5Wbr0cX%n`UyBC$LHlL5dчq m~ҜhZg?#fCOLU,K8N>0uC3rA>ʻŹ3\ Apn"69hyUU:D/ye Pcᬱ#N`$aH{sK2"6mw]d+=Fq) 7! u.yuJb$GK>^6Kqt"!(nofKH"7g`Z֞4nfsP*O֍S4X9bY;{dY.]4{ϰDw' ˹:?řD(Ѐg *55yĤb+d;C){yCe-Eqj%^4\f_KrJ{Dw.\-+"fh~ pKp"%is9J|sbﯩH8ZL 2,V_wlYnQך¿GJx< VxG$Ū0N)C ihi\'3$ğYJfmIPVE1$s74z6J pSpt@T[gMIJk* 2R;φWݾ:oHӘl֮fҶCT.ȅXsiqzv * +a+ԿTmz!HӄH_q4%m?:H!yr~t+r4r-TGB \q&㥎!~1= HD}2Јtmnnu"Tes Te/c4& r8 r7(h\l16;,>:JhCkYv8DWA}h~:D4 F4*Є.9@] @;(B6f(0ta %A,lAsSa0Xc*%9x}CXŠw1DĤ`/#WJaTa HL,Z`W(2릥dDJ>)9a]Tvj1g炞I]c; noT;n A wUcU`"+ *=ŔPd%ߡL!JnW"+\;b~+ Cjld&/x NXECO(*nv=A;I=FѵE0`UnӬ TzyI p@g%ם &VykLqlPBNkڠ[5a)tm3$ m] s;:o\l6 /$bm* x5 4jQ;FJ!=pZg Ahqpn6$}X.͇Fmux;ZϲquW<ۡaeN)}'d8GPokJHrv !y z:4B)֙'an9lC7) wto¹@Ă̵':ik:>"$pNyxP`ōM%GYnx0tcʛ9_WU#{Dt ?Y `}>ڗ,/JJs=Hm 7zZj f}"4B;UvYS$G{t+ϐiţS+gԥdfQ&VrȖ: äH"P rP_ 20n+K+{(sRe<01xҿ) WaȠЏo7a<=f Y[4{KZ"HYd,`P]yZYZ,r z#tvް2OA;}% Y%0cy;$ҔY~0Ox?]%}aW.,/} ^{Ɖ\%f<j6YCS섩o-r,+ooZiWh7#e;q.=y <cɕ&ǻ#r+z_ ưre})u>0V>Jyd܌*rY2г;qv-;l8rɺ? XΈ1w_nX5wKswQ3-"IǍk'M7a`% nYtTnɃҐRa˴/mV/xtmS*fVU 8:qmO%)8VU]ʌ2 l,79ĻŽ+7IiׂgPA<鷔'Os]BWZ[DVr>4K~T/'n~|[9 ƉT|_δQ"NYmNBF;z޻Lݐ?Xxtlu?<-ZaP_>wlu7(yq<&v=ҪY]EL9Gh,-ϩGP + 7axX$#T|b( yp=^,:Lׯ3i ]Fw'w TFh=0k*h8QՐWiJ:gA0lL5fiw Tf&& W5j2\ЊQrQW.7۰֔hQظEQM#Hvi͔i|(yxE z6|_ x{39 kyVsʥT%xi~x,!cg e" F@S湝kBPT l A{ރ<OoZ*`uY v=0qOsTK%wB$w;xF":_gESȖ-oL y%AqWw+{M \]oT2pG(l'y5AJ1NiiZ&e~(`O#a/ZSI;3Z/vdxu?u{()XE`!|89UT+fS9Ŵ;:Ϟ"Ǎ4oےRߋsI;ʉ…y<ΰ>XtAc0Sz C,TVD̹'}r0e$2&$PMEt{AEb8d;ѲJO ;C&+nLz_ u,dloOؒ;]~NQG>Dɬyp1o '|VSKV*B3O A0z'=)Vۘ*GZY]Fʚi#؍Z5T9!1 4!Ir4-knxLؔnü+ϸ>t_o&Kf@9kxb<|/)0 T}@!߀/>4S7ܝ[s,Ex.*;CC89FtU/ M._Zd*T2x8+XZv{./ڇR؜p^vXT,m0E*ucXzvO}no;y#RLZ:m ޔR LgߵW@M`fcxk.+'v%\\KĺR&k  /;A -y9Ox)FiWGizb[$˔Nɑ<>Dvgvv`3 18'@M!bΫt؂v ~M@E dž'ă~$ٔ2/?Z_off['Ga#ߨaI+$)lŗMn%+pkl 2BOHC-p{#Ŝ]1jgU#Y!%Gz}KMqGP1=>Jڋb[I!>YhZ׎1+'zh|"ĝ OR̭܄:6Hdl2Q]4FRy͛N\ RönxP§N~ūԕN_5swp|r~c"KwKDžYDLjŧekq}j35(ϟpc1S 9uI`_ فw!٫B*+wȰ9IhƏSwڒh's^jIJOn.RfH%մc2S5"S>j #G۰JBK-mqg0U p(`y0';ª±!dɥ6DIxƟs0jjeBBNد[6BqhVM "E;Q¹|LELB1㩧UnE¿m&݂5[-V Uc3(UX4M扴tزp9X~68+$Wu(I2tht \mF"jt%hbG'zla,Jqk[%:73K|U*J Q)h ,݀G;':F@\LMC%̹ſ=87`-`ӰǽwNX4ʡUC |%4~|ߴ7,uWY*i.=Y* p< 3HD1f2C]{` ەw4ؽmT;MMÉopF*]g%9J/MXNUr3Ԉaa (=!pP0DsPRAdB>$#{#}Ht~| ~`]C4("5^9tHmp0%{ijA8ZohS;hob) hW-\'03܍v9Y,uਿݺVuNlvD–&<9fOb 1'o]'"GSɨgLUo߯ŘWϹqjZ7£lpאtV҈HQ0 zFr >[GίVj`+2\*ޖp31*k hT7Ejr Vȱ/H'S6z $mH焵_Mĉ6#M<$O)TFcH QsS4ߣO_N׮<0d TUXݿ!#J}0']ץa)s"8JC:Uռ^ )wŬ^:/f?j'(`V݅ߍ|xzcMW6î'kM:OOO25z"Z1ŏ@tT(1hiSk|rk뷮 DzZ7Mu,ئr/|zn/9bT=\Iwäfjj{dnUd^-ʜde|TJ۟oӈ€wdžq<|dE/88,S^MmbaPW` ղւdEPPw0LnWŸ/ʹ7m=Qy |%2[6ygn9 ⩂:U ƒƂ(]_b/-Kگȁn8>pXj=(UilyݔNp2KP곎'u)2heJ2I_ '2i6F%A\DEvoW- .7fk#9D.{)1"r˻:y$lkFFYIXIgR \rZ˩^?_Y Ob\^* %/&{=.dPVgYZ92f3167efa338edb5255e5427ee3035dd8cb67a23853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2 666262aa3a57f798fa4ad17f792d9706fdeb8b97 a1feace810e55c5bff4e970fef7804cb472b5f8f 87a3d9d9e98186cc139bd49edcc3f98ce71de1f3