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 TTp%,t\ ]/]HOL-Analysis:threads=6elapsed=327.397cpu=1580.496gc=88.628factor=4.837zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{_# ۨE!-7q0&ouЫL R`TS$r]1(³/x|If.j@ĺ$P X\-z wGiy՟:q5CPDfY=;sFQs:$CpA#sw*) bFw"ceV#r^oPψ ?/T.S=o6.F"(b}fē`ܓyt J蕑* 񾌿Ue.= @bqm..b~f{UVK 8pp牋<0ZJ5E\stIF+@). 7wNw^kp p^kf^n/Rt\@0&ONEslg6@E1Y/f*k`AI#_;_[rZvo(FJ f&n[D΅ECS-t:I`׈<$GYELƿu'&$D%ĺeS8,nE!SNCԏp8DQco\0#q23ŧ٘U46Rl"/P 1`V0#I\`W"r ؙ ]Ҏm-s ҕM'$a8X"ÿhB- -ˆh4nqtk\ۻЏcGk4F6mu ~Ӌ~9[ fP 2:m;v@vf?' G>Ok95pL@HEw1p>e1%xtO&+j3Y O!&]Q7\vq 9xXȱ3:SK#;RUt-# JSJKNF#55hÎ!"W G*#YQ}_d}DhDxy @NazHLfmfL8l42FN4o,-0Z҉RR Wͺ"?CQd(X])HEӮ1 [j1JR3pQ2/kT:@13=u2EAXE\CdI.Ah~$Qve7*)DȭSƇwzf{yNXkC(Ȥ>꾭̎nm9sr)ܽf>+yBZbIkD|ȇNF⒙KOqAu9-BD/&b_Apϭ08*&qE5.YT dHa)/Ym>*30EMsgtC{#|#i+Wɣnm'?ck Jo5n ;NvAsE}?%b=8}*xI)q+/}f&E2gQZUC bӸAK,e#tn٘ʺQ@'ZQh.$DV'Q\o7o1I#Gr_$`j? ۹d~ 1FGY:jg (jv_d{xIDZ{$_R,}U'x-jhTEۗ¥O ?;-BI2Ryȟ)8+k0L <*vDFu^}'1bw=o}0u2{""j@”Qq Tz?fh bP伍]@Yi3n,%9- Np?(aT0= ;[)jQ(.+q4(Ϲ={\3kMi~0:B̲↫Ƕzt0Vx{m g6^l? áR@URLY%d`t~_C&'ftFa5[`g_J uI h%yj2Yj.+A&F׮f^|>Y&5)TGfD "u@U`s)c q`dS/-(}c֎]K]G]up*7JQٯ΁oM xy S-Or}8Qɺ0T޲8iˢw1;JK>7Dqֆ;Q ! :tyB.=#뽑~1TRX|MŽsb˄TZvnBCPzC ʘ+%9MRs/ yo(TIE k=0)6ܨGf ѥ=bѡ@_gzޚر M0^g9Z{ln`)apV+!{d%bq(b],;/,5خPKo!ՓkCX~g}LPMVD]}.K6-18Ua.Vzݱ,#,kRu _t)"GƮ 5 a[ywA$w!"PyY]OLEU#΁'SF?|sj#'u㛁+͘2=xaxZew7pTΕ9'] V%c0qhʸ`[&ʀ=3w%J!/u&t AKJn-d;U~S߈\?1=ˈP&MY4A HSFS'jl}'q}$&l[=Tq&d8]Fh43(.d=-9XٮCpxn92_-bT'<'Wy 46c`|>ٓ>lǼNvƫ+0t?KiIΆJ?0rùx lFhPv'Y:zO[ 0rpDǿu>,FByz/ƹu.7 gaϽ2D] zcAR@Tഅ_*$>|?0x@ˡV#X6phᐫ-v.BӂP& "UT-o8zո)hD>%Ô V!Z%8 cnmO![}KވaS;pBI0c]|ѓ!RVpÁU.oxP-R bBu $慯 [zS(g.>~S-1_B43!:EGaGq;0bm@d_&𩧅q̬u~[cL4LCUٰ@4D8|YLt}yJcY'8?(4U2Ewl3'`.o+i8A%ǛEP߰$&̏M%[Ժ"58B\gi( )I^E8*( ǥo-% ɼ|ulX~ eo-myfkDz 3S!j0rݦb4poa/-<p.K.v!n߹ugXʍM2.t /Iʕ[U)hr0N:y1Hl.8&e5IJJs /"7rb4oEqC6`V)B_u-:ڒV(%uK[[>^k[r{KcCrה тVh-i|HFf2b3l N "ar5a1;gak<^?* .hm7VWɣW"W*kiLŧ|U¥lfSs!U]/9*0v'|rxDH/Yb0@׎{ t` g!3פj؟+(AOV WvƐDέMf:d0w=il ToQXp^ߞur_amgrN(wKefBBZ|%=*D%\)9(HX_1'2X)QuDXYi OyZ\CpzPG&J,}&oi=/ 8az j,?Y!? Ow AkVe:3NsA.*/UZk[LN8]'dǒH&no'WV#mѸAN/bPkOT_~%6^Q G)2וTȈA"ڍFQPwmOo=׺g-kae@잃i48Sf7^n  )BH%Y2x Ľ#2Kn8aOjbS3_3D*Y8̝1.& Zw&^ťvl-Ū( T+ATL#Jm]nMK3j"oB)dy~:^1^- u54͙u[ vC*#$%B<5;{$r-..\?Yی #IPWoHG X~tuX|MR~6˔AvnOsQh`xVC!Tk&nLX7Zihd.e7HpD"SF2DpO!u?Wp~҆=bU6'cOD}N.N,Xee l{%皐=;,ҟhw)vybB<Eghr ElTF)Vt~,!VAyeSWUА'PʜR:)e6lbD0;*ڼDAoWIǔRzZz̃w2zqRu9kpBS2MMp!imQ=QCC4]H\Z]+!a(-tjFAsM38R;!*D-`(*$QħJu,TS+l>^d^=g;lSb,TWt`8 #OUւ'? ծj~ʉ7lPVcj_>ksu˼sIg+S(, D*KO]%;%zv7dqXIkOØd ,] Lș*s%%Z.qFC}fF* ϯ%:ŔQНIq-'\3KIwyZg-oNbWTKUD4PRGH$w$`:,fa)z zՁeAcB vYljhč|CǴL Ƀ4?P" zKkO66DH)D?nh[p y6yZ7A?K~HmK="y1ħiXS:( ]핗tT@t0l{Ht9D ᩦn.mrUp쥁lMR`DJUByY4_.Pxi,mabLtn^BMo,C=FZoJ$ bTyVFW]?~m<>C >|CL|0v|@8NCx-,\Bhr,kX8VKbQ{DL=NO}|t.fN}Rе ,]"cnQTR1QpK;n`9$ɟdi&~bt^ebgw&l%+RK 97$'ϟƂcrۢ9`㉻*9l ۘ^[rDN Dh>5Hk&G)&Uܻ%Mٓ4sYF`" jv98mkjbs&$8pM:$3 H}u٦['Ic?e{~ ȗ7VO<@k7E'FdT%?Dݪ@ ѲVA ^=-pϧk+Ϭs \ l JZk="˜L.m뒺Xa^wĀ6į>!7ߥkJVWl4tK_]sa@E.;XOp#=[0h2`-u[F^H% GxǍ ϒ.W濭(Zr*pT {X-Pg@hF{tc_ƀ4V2mGgG4 <V.VsŸ4u>p1~'D(GpNf@3 D饿] >F Qdqd rOYEQ*"f+a2;$JwW0mz:y m>a!odה;g$ԣɈ@Fg0^6Gz,]v+yQ#1|7yu11_[e*",Iv;lN*P-4BWa`@/8WD vyٖZ{uB2UVՈ'Z*@:F$5 ,03,!Xꍱ_u t4ܤI_B˲KC2Wųۀy yl.@dfLWhI:\nz,oTYOp~eiTn$ ,؜G}mPIL ZxQ {C/e԰:oOR^~6?׳8M"ma3+%L!3M>qga 7T:9(EN*v)iP%Le>*1]paE,4rبG;j֒^>whrC#I CX=P"ɧv/$d2,aoqQXtzqF3S- sTqk0S3DtyU$RwVW^BmvgoO+lc dneN|nFxdEK~x)SבT"є;)DESbРWZyI7!NOǙݙ/W!P(Ow 3͍85/0W.I>k2DwE"LCߚT(z{'^Bg䟰h!ScMӐxBhCcsPց~nx 5=T7Kw^RGs1ݧ:1Ϛ>,gw[iW'4K'L;Y\DY%`AD΀ HxF?5&z–$LD {TXOZ7-NL_za$K>J.Qi)s-Ѫ`bKm7H4AաB @d,BY޺īzbAu4őF 3Ԫs $w' Z$[f@\6ABic#zZS@[&l;Fœ$twqJ7JKkGё4EBvmMd$ns?v\kȒZn#d#>l2F>&E:,8b `Pd+.>g vk# Ml|٢[#@OobgT n6n%)̨Гhw^SF㕸ߏWL^P}zANVJ>EƎ-z#mi<)]rɓQ*MkPsp(.$9IxW!rmU~ ONe&RXDdy]CG~-Ğ$U?=Za4:8rr.T15Dz뾪(>^^Ja8V%s/~dȠOvx Y҃7?tJX䧄n2P}bGg}Fd1jݳZŪ[P5\F|nVP]'`ύUL+1{FӘD9IxI3VS5 k;D+4=fip:n$^*hvN+h2ޞLZORaV/uŨsipjD~#:h Ra\1|&2, 5J`5B:F0nJ@v@d(; ْVmW ^,6 pt {Aܶ鴿'!"P";M_}Sضk! tm/@jk7#o2 v^-Q۟6}Fo?{yˈbc ZJKw#4nvM8ɡأkp~ 5-H1Ii| @څ0(ڕiZKȊ|3%.ĉFq6ۄD RQJCCUqS^Rh.o( رz0%g);ߥ9NOs͘CJ҇}N~dbŸZ 'WoN#F׉#ф9*e-+bf0Zr-L︍l : GnNfO$Q >q9Nxm2mȍRNtkH6rP Ɛ"+Lvc[2v 5PUMRdzVňB%ސL+y83rsqV`٨ѱ)D_D]\ ^_.NIc*G;ﵒ DžH}]㟨7P9U4呉Rz̛9xJbԸ#-bO}gJi%U<԰^p>b`PHl)SD-ku&!)=8{0ZR/92s"#eqb¦͔FC[6L$Aty#!ߟK|5Ů#KcuڡTgb׿57*ԱR(|h: f9JFjsJDiI9;:Ј@(V`, ,.ݽM8vqN]) ?(tYi~t{#  0`s:?1a OfݷIgKyMwF>ЂJN9V&,RGYKloDyKB蛆T#{99rW?!tFQ/k7 &7H XepUFkb,>R"֡InR._R9~rYkzJ۸)(mB?c>lz'ՐvM;q!ȊG ۆ")fș@*;ۢeN!Fee+ֿ԰٤yyS bE"Bp$9) 0 d_8.}C]/"|fx㔴ş +2u`$ޟ;**g3>2JwKcK[,޽em@j^&Cq!O3%Ir'\jzJD_CY]u?[{΀9\onVj8Y\ԡG9Gl(Hv D0~h5+LY%]P5 /ľw |'#?sF|f<0P-7kþ:_u.8AyV@ر|.ehT*26L%zrܚ:˨8?.;8s7R:F+;%pPUU¡Ld`X]n"g׳ZWr~19O=p([Zk2Źd2"M d3Ó#4&m}kԆR4eE$pϥSn_CՂjEPA6/9u ox` N )βQ*AooOX0˦_[*&2ﶒ~Az/[uY=;f*^ rF}q=jyvUlqbuOWjye"-=| j2aYf?ϫa9Ab4ɤ|SpKc`}Ł%eZnHl fRuP1t|i C30l^>瀝!fGA C#[{NLaӗ$RY'I|^UyO7$j">+Gg&p޳u>$;<A. ;;q;qt=1ZK.?%n֞aLZ+6*i>̰I'$(^[ *K b Agq>ōMUURDo%1Hq|V 4?ڸ+Vt?`sw}%o QiC'~ Tc!\,xՠ:Iˇ?%_u)í?t^\EĞzR&GfZ\ZRY#v,E9};tm9ZA2dC^9?"[5wyJ~x?)P桸XtrG2B Nz> im5!HῨGGq4U67QCbӑX ?V34{Վ`)[ ZN\ ^  F]ǮL{ ('XP.CcKUT&',Yv9t/o9lOUsa(-=JgvŒ^@0<&TSuB[w8Zp+K}׭|Ҥ5ԡB`]^ɱ8x ~>[h@ 8/zf늙 P/`#@`u9[mdE}ߣ$v Rf]Mx6| _upl-#q{ij&L\bc FԠ+iBʍ"cI"B?NĶ(,232+B9GVoO# 22J9b~S`FUr7Y|'U_{ s} ./3FR ma6Ŭq_(-$ÏOm2cvteC[[/3ۨu>p&imUyx:in}Mr&< 67+9@ Z-9ZStq3Jag^%X=Wt"ƕ[UȲJ:6ybԘΛTpE}3]nzN |(_)Tuy7( ";?/:r\ߧH*EŧuVZ\Ԩbs0Bq(M5£)5Lenc镨S( [ERgnEqТ)_|Fp%q3(sQ3/&`a/5r4.Jgcm-Zo'lZˆV\cN Qn%B,@h)ZQaCo/| Iú y/i[$zAE(fRK#T)3NPEZoe;z n݂O,`BMS Kݷ@UI rhڻPU<AgZ4B'/>Nr0s4Mg3ǏN-d{#sr䰍39&Ljc8m2[+Z-[WډX1KO tq\CO7g}8;HzحqN A (DZৎ޲./"̫ٹ"LMSXF0 ho%285csҠ:n_boݮAnAMO-,ް}<& WclJ隯$&{AƒHW%1(yr,ܖ$7A?8ߚZnxs.؊"劌8rDM&J~ɳXo,pDsM+Lz71OOSNg.Őlp)X<:/ȅ勚MӋ%)\8d{uػ̆\8:S.\T…軄eHNKZlU=n%E̘ƮGm8rz:QmM2~976jK,I(3?-Cs*(#d_>G Ɓ6@vNO v80*4z,a tR6٪kL%ǹƗ*w ;Ć@Ru=T$-B@~M"=j2mu;Qq&=cTWI3*huz#} |$܃*UnT+Պ 01s@/^ٕD@4Q*.:x O ~^\t6b2_i2@?B1Y?5-W5tPU||`mFz~w~s╸șJgӬ9^;>@dzrV;shf0)=xWW7pDsDR[?x PƷ@Czvw*m/7C5"Ym@LqKhF5K۶5@K+П9ig0ĠIAhg#nzzҚk K4 %2gA 9C)H+7Կ!0[L{sROwAIjUyD; us-@k; X,tʨMmYXRFmYWB=s XU`_Bޭ0#;20;B]oi%J(O~|Jls6k^R$t )T9wOoa 9֥qCgnZ;9|$HNGi(2E{l!xhvx[)x_g $ WoLҶ/ 6XBbϢf:v稁׮眩Tl=Izyb|?=f;/C%t`f{¦<n3ݵ -G ~M\X>94,y\ijNr WWռNMGn k-h8%0 Eu6yV8|k2q?b}0%FWTf# fX0X[h)-Ss0a8WqaOȀHXegʃ48`\ᯏg-mΙX/(ReBi1Ҕ'Dmn R9z>c6Yʍ%`o6 jEDY]5X Lm] y%KTZ ¼#MR~~|s[|0- D*){Hz8HImCo"xAi ?yt<;:%m}1huojAM3$l#מ>KU7xzˍ鸰ׯ<$lB0h:1'LKpm\QO(G^@ < i|x,␝aYtio` )#j<~.ks'á{@VR!y_}W9怟Mp r;;!XV,hc` ƦEܳvHF?[#PwQ\<%*2_V|_v43YȊ#g!~˻pY\XDP1$ o*ijSzu/k; -"" uCU|>X ,x9!`8G+ 5Ez!tufvPOţa_f]BvJ.\S7"~A|܏F풳lRE$nGdjپ۷NbZ^?b:@K;ݑ6,N!oӆ"6I P/nc u" K%GU :Vӫ"KϏ2 9s?2Lj&UpZ~ +b2}MF4mA {,ihaCmm{t #*e4s=*/f=w?〣H2b fOi‰8_iꑉQƲ̩.gf/?vx?FjO22E}ue{?dޛ)6UvN!ZBƋf|sҲ+SRaۡ#+uaɢ0f+}AT"ԯa& d%(2橉|ME%}[9riBk}0 [TJ+:J/~0 ;t#GJwk،~[-~0}#VR埅wr,˾~;xhxojNHq&?e!qU!0vee^΅1Ңd, ꌹS  nPAM97|3HW"[3B@D;C+#Z뽱1`CV-G.\ dH`)X@jD_1B\frs}mM.I}0\ 1qW^ϏNrT/^G0r0  _yJunHƍ~R^^ٵ>2|f&ߔdI""Gnݭ''Wvc]&'qhF hX&&iॆY :3lLܔtVۮ'& yty{7mL9-GY{|sP_vʫGD*t7{u?85U\NJſA/ԏq},&wةoF☈pwNh,x3Sb3㌌lggNBЎOL>u度zaQQ#A թRKo[g83Z5sim4fKhcxA췔g4 a`yȿ=d1?h$ t'meY.5rd8Ư">O ]>(*IJyAe7 # ;g&KlQ[m] 9U/Կ (*d>JpsLOdv,ϡa( ^\=e32|-F5śHj|gYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4meýy|pEUjVԀ4qHOᙖ "/a E$Z{㦥/K盉AɞMDzdKm"]>YmNc-X 99:.Y:ݗ/=;qWtB; +l~T8vs^oGĹ1l+8uG2tVnma9lC~kY0PmreD`и$e%%50gs#24C]K *L_#~ BS}rhMhZ]r[2hX!›k du1AF2o8&S[(>#zg5_wܠVx{=:6"reCٵۛg#C%~' 6cpc %e0QLRlOm)g`5[;\BE;ңe7Cȱ>]T{ea ^vv d0,6 Pm)lOʧ\԰NfϹC\ϸ0 U&^E_OXYvwk͌dAҕ~cej 'NRe@.80C>6WV%R> Z4x&O2or-qa ENFCD:7ΘwD,O;]P屚7F$әՀVa&w .h F`fAA TeI{)򔨼}۟[Vޭ5ltbgծ\PG=TKQ(Rw5_5DCA/`Truљ}IK).U̯߳;z& U,kx~ķؑO[8 N;~K?ra:u&]`^Bwgm1u 2eM^C[R: fV?\ 3iհU-POWvAS!"iNX>T_>/Y `u.#\G2nꅃ$lF{էkߔ X\!~0OUgv/X,EN;utj*%x][ua[q&Ym%:U)}97LLәpF*) ž7m$4q]L)ݿeLkKv~;we7KyM?(-1؝ZS-`&9׉u3ibmU+o;sW1_=$+AtfYb*y[D8SDi~I6,h()D y>cD[`y!(Q"u7~6MWZW&r+A;>+E.0\kZ4GC#Z۱䐃qlؼNͬ^#W9M׳dIjz̐l(Jݩc-W<Ժ3++ܝb~b<*5|\ 6C, ߌ.A#/nց:܃a <؇?$ yPW'2y.Pw`;Y%Cx >7=s{}ꑫ6qGט\E*LvR8\*{#-zKFXr/Ap0JxqtȌQ#u?w>%t'HMg hk(c[I> OugM1袺̥d:Sй.إlVZ]:궚&<'GZ S]~'^ KgM'<(&d4T^lTHA0FJ Ž3QHp޵Sm 8߄9GoЅ$U(=cݟAځ L=]Jk.ߩB }WVq&b((; N:ił.9!; jE)I\S mD Uc"a!pv#BA`ZӗtMA >IHZ}/[tfv`FKlg2+`CfiNԱgYZ7zXZִF! %]ŗXi%.Trd0| [hUGS% vfi:g2gSF=i1{mΊsSN3!MX$lp(U,MZ/%ˌw)B~ #,ص5mV,e= Vz2oJ2| SO;eGR(?IzAuF>c[9t\k:DĎg%2WOX$~Q{vb+>k2L}SeLHCE2oaKCkoAamrʉ=/@VD' vO MsErv*OsJE`dž \NdhY{,oMdMQojy轚Nϝܴn"O:vGI@u.X&e^@ܞP"ԃqkǽ TXO 0^ =/bϬ $yj ŠO i0hiCL`0q͞^ L\ÉU:;ghF^KMԔ# @\@vgpNqѿPFH^c̎?bZC6O-VN33sR|8ѡ[!5Aj ߅&ޢVu `3N8Mug{tK;JLPUKEjD1s2  &XX @k~:Q vW,$xߐ!-'.3'pKz1 YV$„8.y0\ICMMjpĊ.x=F96pft =×Y IA 3ޢcBpj)%rF80h/ `˷+U,ÇR 2@}֚1 TCx]E?e:T r.+w>Ea1f LSr]T N`% Q\:VχZ@ ˥̀VB{D|R`7o`9nZ3[7zEa hTF$=:YfSU{;"A$$e"UT˿TrK19lSz +a{?NkLF$~#9_Lr,|(0|?j.|^O_) ‚RE/BQ`Ye&3$&Gho=]JLPlptɱ|]Vϰ,wYk,(U3?mŜZ!91s} aѯZBFıwsdZ"Pԅ1H[]8_ɞ4xRhE5$\a^ٵkt#םg.JEY$h'qJMɥ <>Fp&ytݩ.rxdcvNO]_65 6Y=C0R1N O߯k7ӚǨc), \%w.?SU_B?>J鿥xWU{5Ԋ{$g^5 ݓWE=vm!Hlt& -D&&d'WHC=j7MT4Z{"cϘE_+)M8ŃwR.-,G({kI0Z* |nuK8]2q,H-Uwm2㟏Sd(pb!G> W)5;v/:"QуJl>%vny]?O)gch=߇}U}vܤ&EUjA] `VApW*b@aUIg oD\RU5A48:@P/|dA,=|8m;5r[,C J|{hS._)e=C^;z7^Is+BTy.PhMba#茵lQC-^K"M tz%Vے?8ҫDru5S̑Lm@2W/Hj'>L\})/C~jsԫ5'6K#-3MU3wZp.;e-E4?:~%XL }XG;9ZAD5:ÜΤuY̯LhCX=T [(V07˷=4M-6.BU1 rö-J?ܓ!]EyLF?X3 60c4oqҥN@Y$cuȂP $o(q|hӌ +EraL z )!yG1o5,Dký> CҦ:xC:'m;0Vux1yhIlä}Os0@) }.T򝱆x(̥ [k>p @ag#%0+#lbfrm0S@goTk* |NNr9g 3<Ƙ-`ۛ0,6!L_[%RS&z G8e / 0.$6,svR4]Nf¨F)PA{DT {M4 88 !!5Hd`fA-ɟ8N"#^b;4hg.$!Lm,wZLZۨ1XcղN-b qG.f/K.զG X߯`{ئ^{%s^V-PϹ&Lh"M*͙ ,Kr.ZmtZQkˏDHaY@)!oLR#z;'s]clE1AU%NW) V(crM 56yՖ ! XB3XE]0vdG wi7Oe.rC[,ơ%%Rv'&Jjd9@{/&=#](q=,&QB2`Y& e4-Qh*X3+c _X^M켎.QeUŦ=7&Q\ j#ݟnkZ@ yP^[w '>}Ѱ[r":ט$P"q%QBLC4(uY7BfR?ÒaٴX+,®V!VfdpgUM7lo rOp׫ V<7/V)6.ȍ>w XUpO57\.7^y-D$T_ꋑ&nC= 8&o:Bg75R=pFMWx.jY^]:mEZqyQQg%K %9_m=qIIkcx0L.nC6aPz {)[(Ì@dc}ūc;W"]T2u~rt9DVT93~鋵DT2|Tq t|jY|±|HҾW PA"fMi@P;dʮzBǫd:wN ^#_ C*t\wJ|lХ&,3b }͆AT|ߓcq[6`[G|Z iEM˴zڿf3jvɆB@3}L 4fؙnsoF5"35&!w=,.]=>*XgJ,U۪vW %Rـ4qe5 ݅/H(Fݜ~e)݂^9INa=hv @6]B0I7^dD"`Znj@*XS 6}!V!Mtge;ͽ@qAE+aaGdӜhu{FjWGmv^_杕W 2 Nփ8ܴ'/@;'2; Ik\IE2s͍% CҿP ؁"Fi'FHA5cJԾ'V;AF֙9u}40|QO^p/O2 wAkv""O**]i?:ӡ~#Ni@uz<L) s_ 8볱;07ܠ؃MF)X\Sd+-zKkEyN8`5 .(NfA.]KkC,Λ eQnQ 9FFG>.rÙmAaנ]HK:c?ﲫpaݷ/da$'!PϠ 3@LrT!:c'ybLƽh9gU.Vr}6Ь^se:#-]VFLV^m]q 4wD bWqfKoXGg?@kFU+Vx Si+a2'R@]1wOr.eCy@%]鼥R5$@%&T)I %P J^f-UT] b) aMߟv׬~7\hڻ7y)2:4YyW$Ag2M9S" UOìJk4b @>.rABV* x"!>3u7T-$2̿R~kIvYE8#+|2zė ۠gLٜex:WM֩ܩUwd(yr+]`e^'LSD #\qdƄvs:񨠂Si-eM?z.pM+Aە#"#*r4ZAz56;R_!eJi lT!/НI)[uIݻ)i/T:~7T |x_LMN{YU( BwpT=(UR ?op0]5v )EUxeА\d@v)&){Oj)k'yb_3Jۘ ePڈ5JWWCҴ= v:_ZbˤuxyۖDVWè]BtJj.kCi&v Z0n/z0؟WdF?%oQN 3Nh5'%ѥ/>b`U{0m2p]0b%d (~Ih8|O`.bЄ`ԃV>?mf$l0s 0DmsMâ-j% @OT6jD9?0Vq`GfylWWɠ9c-"LLjg*Ub𜢨1a\h3dm B K׈O9toj37]'" 65{݇ IW+ۻZl4be_* 끵~>XE-wcXu+:3,V%]9ZKyIAFEGX=MujR.tT`"&>N+%݊ySՙQ~ &/=35-LBC|]zA*!&lccԼ%{b!^G |ix`8I#,)io5"CB/sGɚ~&m,Q22kR3YkOX||q;e#TMWvm;Edc nvl5 kX<25L`;XزO Ǹrՠry+D|L/9UqynE%g㦑O8]׆l.\U8eW]=j]c cma󦹿)~X3 &޵ %"z3=:\Ёs(W ԃȈ/خ+Gӗصo \fĮa[h53h o2.N~s5j =$;w (g,5d3T},T&{HAcT~Ѓ4q` N@ օ\\'#ep+X[l(Vd^׷' oƹJ*b+C/&*W F$QMmNmx\iY0gڞ)c*tӞ#R9-s^+ e#&OgdQ_qM6Qe(C+du;|*+3hY9{gl棗B +rovl!m);mP3XJ2XkdpJnP08gYXuc^q|e5wRbˡҤM7M7,݆1RDgj"餉lX2Jh{{j} &O&S6cdI @ WPkb%)*I?2D\AWːy\gRIWީT$EOU&%ު84rbj ΔJ1C-5>ѳ O q- LTc'sCs:ҺPRR)\TƳm/ j%oy _,8vͨ Fۤ^?,N?\YRa)ԢJYځ5:^^q70D7;RSDbZ!ik#7l!޴,mŘ`xb @Jp!NˍZ+NMɂF Y(ܺ^]e4Sk;~66V^%~透6qv tJ~JԨPUͥrމ`lm?Dˊ$ MD p3UM(acBUcn=fu::=~ GO2،hp 6,rVt (Sv4 ގzTZbۉIݣ)3Kll[@(_iv7 uu4n.&fvApu \8Oz[Pْl4g1ȓhtSN$~E s'IaX-)|4zuu)W GX]`AKudV&47[^KDp>׃\1KH \V+%B6L1i Fʋav,'Ϲ>5:^٩WW3$?ƶæzof\M*ǫR|˟(P=I<hZ4O\v ܃ŮpٶtD oYcr}o [Aafa'Nxb2&|GyeT o_k|IS]lfďH#<x[׹*T5DW瀌}9ZJ;g: Le[Ýq`H׈-/{ $]8peYpK3P}Lj)s$}g?ra,|g69|3 &vfܕid1WDjx ##MEًRI7MNt>՞ X^s<cv_0B\s@(0f6)iky;3(ru39;>6W>\ ZOzI:8mTwC$*ilZ C1ӠʥsWI>SE:{'?v*5ս!is/MCWq#ChfZ$A%W׉p||HcFnrיO9 u2y>"CElmӽKe Oik{6Z]mc!Q}u[ߊ2J^ KQ݌ydy8IX)n OuuHv" ܸfJ\5.`ImX‰\uf 0PgMN#+@{d= hx 7P |ڝڐi-r9ʯmdr!VȲTUeuV{ccҏ\Ff7  q_9'5l-\)_75j#P'ގL1+OKT|% w',Z[x^m:Xd0PƑL3#Ը~kSNRBWP@/M3(JjgőJt!D1i D yafpmXZAM.Ƙ D1&C~2A9;.g|qhc `YEV.Md);Y?xܓ.0,ÐQً:$᧾P?ߪT\DKnj&CneJџo?/Ʀ*_)܊I@jfw5 mϝ`k3@ϛ".KQL@. yݿoT[UB*9;(R~? hx!$hU9GPB/u d̰jv'Q]>dP^at3=I,nÉoa6 CKwl@\\髆DVs+t$ J~BCyC'㯎'"Q lOL_"+)HF;[v %IIFVy8?bm.=woa?$KVpn.9!%|хGLO/r**ſ~1[^x́ u5g|(V<#/iցJ0R \ XXK95HLF}"L/X}w#CHo#a  ~BxZNq3K/Ϸal vҾ#:JuJ^ܾe5Dc#]->L8o3)TossFXۚ:_fܛ&]oze4N5rm=Jn/W݄/4E1.2'la)~Lz9cn6o:}Pʏ1ʦ (6+{''@!$n<|Fv2GGBEڲ\"1HܶwB^}BU rU.RO,ӯ]J'-ZH'1r8DII,CTRk Hy˵ m9.17W0;WXq>Nfsǘc~߼VsA,YE o߫FZ:( hyAEnnfayU&[gO:}>PT7񁳲gM=:ea\8'[w:o8B]Ͻi"9(Lq g][/ [<6 [\&`mS=/1u ƛi6v} p.İ[E]w3AvnV`Rf0~7Fdi 9|k 0dJՋ/ubi 8НvuƵ4H1[mҰ/dARك!Q073 }DiJ"T14(bʐlK \ FYzS1$Փw+oL7=8^lhhȡ2YAΛ1rSehſ4wxÐ"&\bZmD=,:İJgx"CKX1ػNDVWJ ba>@D%EYǏ/>=Ds9cF`vI聦%wL@jԏ/JjhH;q7X,,!.lӇzxMzCYu˂2ݺ$g`#d,Uڲyҟ` M6 W53ϯ,YuEe/wFh>>o9>y*g\$qTX6Cf&e^"Bn j7;e9!-Nri$l,;a54yҁY-qƊh.9WH J c,oc_ qz͉{>vT3}[A a/ 3;Z*ypyRG6j\x\͹#btszL?ҩ֍p|HtYx q\^"ҹ7F67;}_Mc֚t$a;^ DJW^ȍE=ðRAuLX/^لtɖq"l>\3w1sN;{K{tK˕mS.g@"*}00~ݻ_ϧLanMaOoQ+I,V'%%瘤Cdؗ;ILJi0Cb C9φ/3|"JxMNEbyYPՃ(!/@M:fLhvQTҝoDQB$1Z^FUᢓL@ g{YcpZ4b1Qxyڋ3A8&ejǨUB"ڹm7+=h{dvWO@gq` 릯iq.yL2^+|. ~Xۮ3#{vfpaK WJ^]YD3BWb Ydz|TppፔSž bЯ dVc@`zb|ݐA."ȼEp7X _(>6V|l0fjjgzCRU*$2fvvSAyy/Y4Z s|#E46DE2=aD~7i(tQg8͗⤃ΖI BE Mf}`yz~&&tyA'`\E{W;-r5Xxډ6P>xVhd!)Isc.%Yg)Ɨtq;k]#O}"F$/aaˎQR&I>;0U~=U*4b$! 0 o9kCh[Yϭ(| J-kys|yUD TLAs t,7咹 ̺v#/?ߴl̐u@R?20qIf+|?m[/W|ÅxC=+W3@WB[(؛X)4`߆7~RMϓM&H+fa@Xt-J{ܩͻg݄]'6u"y[ϵ<9/27̎%h}[SyG7 Ǎk!!OJ*w6㚍$U|L̉W(ePj R# %?hY}kۮI_@xϧ+<:Bɚ$ Vy dDq' @׋tC VqU׃~}Rè;YKKÇzs`bU4B:5[vl_um5e/ \ɹGg1~hmc.,[Q$Nb!HVc|pL'yJeaϾCo.//J4tK-ը?yyGX08S6w` y (+\g#wUX<)v:T\lfc`Y4*mjarKӄ߶[ )5pFt䵨q2D1ګr {Ս/|?psWO%H]a4 Z1V+Uߠ-$'FƾSvec H,')RrSN x=R~PvTt (BzE>ʸߪ{]#t%B"t`DHqR!: G|!eeu^R1- R< $4-E%WjyFC!٭S ~<<1,XI[ C /FV w/MYõY6>wv]e+~(0_4i4{!h ·f20͇}Cʺ@Bwi/5RЍ%+leUљmce'Dfx1 gc?<20V|46NM<:i?@,x6qŸOXwB8eV?&}iO4re$/ 烴C5LΥG +꽂 ^(~wq(3)0Ji><)iIv53<}5![3d49>™]s2uŏI;ٻe/S\ԧw ׯ_eGC!iO+k+b\4-l;mvy@5fЕVұ=qjH!Hnp^RCn/V9ol̚8>镅JXrtnb<A.#\ p;x/.܍tH 4΄J4uwHO鎖Nk')9DbthcVZkA{sF4,+YMSBglOHRC ;kL+h( zxݣ0ܣ f5Ԫ-S gTu{ޗ$)GEæQ]Q2ҳU G9`nf!c$=@ͷ_y=qQJܨ߇bK sSbLLj: 91~eWP4,Ƒa$GAayɉ*I`B bZbKRn GA3bˍR-8ǚ[t; *вsUo!r5sԊƬe><>>Jà x&p{jWLb|狌@s/ռ fZk6י >2N}>ؘL wm>ņS'W}]Vk^ql[%g:O0-~}3B=Xi0%HjKA WaNxXGV -3SϩFPR ^tWV2ڔeC8_l7$+t]:FM$LE^F:qm.rK 0\uBJ'~CcRNFH5+'0C;B&Q0zČ{; `U(X̦nbbc̹1h~2/\|7^A7zN?X$z!!{[~]7N | Vxj.h35 i˶SV~M+vQ-E8瑡.W-^6lbnݤQ8|zv:],֓a N<66+j@G)k~hXbygqGSVTRXae8OpxHf $K>. ɢ|-_K^|}ab9IߴضT,/5p3mg9J%L_* ?s`FLgEjp A;nnx8;È \ (.ЕMʮ1=!KoԗMmch'Fb* /h\@t7:ni`Ij4/ N]wc`4BF;~<8Vb9;HnFڃ5 oo5 Kww?O{K`! 1Y4_wNpd⌇`"SZ4v'c'v6BC.&w"feVox9 c~ !׀1L3yNΞQ0`2k(\-$~)~Zoᇉ2$яG -#?[O;P yqǢ'gnreȯ'2u/'XK}ă8e+sZ'rK5 昼k,TALv8̩``GwE]OW]ˍa(kSAF_ι;Pm`)0K?hU+(h,P"Q=$zgC]}zi!x>#eIC,:Keٷ)]wQS lA[Yp TVkD[A/S I4|,W=vBoZa4G:W|B"j0#nBbhK?ܺK@@@'HFed7ZU`s(F8&" `ֺpX^ Ve@E~:a(T".7#v>P3Z,Nm%cA/XHc  JCJNi:Ca;,.Z&AlJB FE>NVCyD ]߬<:r,#& vqt`3lYz1 M3D3&I[t-<*xC7RWu+`=EU oԂ)ׇCСȌ_0EY%yfl-h޵C*sq!4?/qʊ/38ogF3{k;N*#m ׬uO a&`l, hڜЫ ;3*m)0W :!)<7l_N;1ul >[>r-+%P!4 NA/Uy[lDLcs gcAZ3vJJ }k8vJW͎̒I?r~lx˫L޹xǣqrVo9.+źQX4OrK~1Gyŏ@aAT<6F=/U|"4FS2yi&)hh-kМw˹xgn@\Ow yi( "S5NiC"1llJ U+&(U)ioN>s@W7$#4'@Y. ځzs+ݓ[EZO7Bcc4t Jd8T1>+nov.O~:mϸzugm @CCOIl.R8wv  T&|447 ˱f[ouEcפjߖs%Jy W73"^R]BO:&}*Ws*I7W73+(-`ߵh0?.P2; j^0]EN;;NsņܦM)B# :pM`zi2FX>%FJDFANWK*!WjDmջ۩*ַ7 D:bSxHgI`J[Nd#j99\*[dKE4.L"4 q ' |Y2:(Jկ!Ve7zdh((EFe*n>wnQX ^Y7޺B V)y~NKBZ?TrlJ!ҿo8^(ˉ1|>D.J(ȭ$Fw U&Ym|&-xJ(5Cݻ)ѲJM4,)0'Nu4͐h J5R!~Ab^2$#d>\{(i}@Me Yqk t)=Y&a5Xg y!U 7(-3ڢsEU}ܿ )^JBJ^.0^k,e7$S̖=!lrhzHH_%U0VvQ Jʩ1g X[FfJEtM" Q8WdPh!aY+k@?>Se.i|m=6%2++\ TfUeڠpQHܬtxL#pk i!#@I-y"ħ"j΃hD})R"wveg7w~njtq5祃07hhzdc CT gx3o>!f.~PohJDܑhR.o` *xS&yX(aW\IVN5wCe AG <U58c_9n0&&sN V @\O4 lq/ XcGNՃun њLdEK47˄w6({אU8Տ-X3zH.)_ <㕷6Rڍ?~{B-p8R !Zy,Nd?fn ?RAN18]Rƶ*g>@ĉ=((X"F,XT<1z_d+g3=m &xp%oEӗULڄ= R(AZjxytC[ahʮO߉B N뼿w.%{c\7fÐU^ܙ$$vpYj3<+.-k%`%U3}T"ᨦcy; G} [!ׅ L.Y>&9ɒrNM,*g kuTښx\琾8)d%[x.@wBa^ұ+7t}yZmڟ3%ؼڛ|^B vg2 P1R]11 ad]4.$.!^ lCQU4FF5"ٻ,NZDDy*}E5MmYqabO̧؆X fZ+\Y1!3vV }~4G|1hZAlЋ?A ūZ ٯѻcxC,aeDNaLI d#ߵrU1g0#VW Y}Z.VOc8W$\7ۿS897P-Vu9OTyRXelL>ex9\ %s>4ז_;%CKnvQonUr`LM^Ɓpehbtר7j/5jUHTf6 ¾0/h3)X 5t _$(#kp:0.gsAX^_1ղ1f'20BGWL y*uߦuĝ$>BbsiPQ;:V\_9<]aŽbgvFm곩 ل =n[=P ,>%Sj$%,Wi"VE=% m&RӨ^Jg[fpz|]Rj C+c$ڌE$W D,xi%B!R51΃3w6!nNAԙ, w)BzlȢT Vn;H0U!P9e"^D^6oRK)v´Xy?Dž)wh4-R*|l81njEVA׉ڿv $(+_ \wwB> !% Byw nm734lr ݧ!fz dZ) M;A4`!Q"צn$HQ]v<$ H@H h~rd |BOa+zho˒>aX.3^l3זUALHB1Wtm3Zw=nZ5/a>µC {@+f}BT=ɜ{Ik"Y, eV+ĺb_1M yYW-7G>Rc]6HtC\Tvϒ|~/*YJuҊlC7ڟѱ8?U'E]k2Tc4 2 agd(5O/d1|B9DۈRa"ӄJ܄ ܊[̥0 $U{w9075 e'0ЖK&^K:Y?xN6b0΄Ix [[I#WU ŎG?gpk7:{fhjy<l 6_pAL?k!T-) #I&ABӲ(jpngK5IvKp3KgG"5;:?iL& ;NSQcIŜC{BXyi!}Z|p(+ݏ.=F/rHs޹ij 2;gT{{hW[[ (D;TY"=qֽݙy: Y5NϼQӏ}`mt^2ve#}cuKVyP9 m 陃CeL6gV 'yտnU0H@{LbZf9s{8PKbbB;c_{619\p+Oo7N {`;x ` tpSvM!_QK\>:Gn(F ssz }/qWDp!_5?I_KT֫@1 4C~v)D˽Ŏ4dZW 9+"ʭWbL (b K\LPPdP*!`Ow9( "^kzv1BU2λ4t>vetrSvGyr Jy2qh1~چG14V2AbxH%ҳ2LMJ}_!NW=aH7BbxN$:#K45J7Mr큃 40Uw2+ILYjF5 zz]Wi]DGkg(#|e,.Wel6ydu8C' :}ZݶP.c CEneHlU ھl։<382C5{th"dpʘJי|t-yuFg8{>FH8}lRe6rsΗJVbPc džm*Y@LBcjiX_ TyM+WDbht(UI"HVZ:hlϽ||7<=$Dv 옗<(+46yA>IO'2̋;ϣ  7Aq zϪeȱv QIXA9Xڂ(Q>x5c+CʲٝZr±tSaltU{݂"_I w%3_CGuhKV `S@ jv Y}~'NMynM C;1-xfݞep%"4s\|'`$._a8?) Cx nxүN~ ph'?gN=x ӝ 痟%g?M*>ԐFSdϠ.Du(m82^ҫҧpo^1w?I<7W+ "J}J`n%,Dr6kkGcI(ЭҙnmJ+NDjJneӬ2ݞo(!Fov\mc˱GJ,h7=h/l朮@?O*g`(I0AEY!ԲguϤ'ahorU'chʤnVjdw”i^)’O|1#%պ@nw4`7zG)Fÿ.?kŷJ3#!4{{>NE4UIDez =EuU䃧&e)KEَ雀j)J9LNV7"Hm&yaKGh8ng6jc`Q6ʋt[JBG<&tڀs2ȵv\4 SHl`l{Tݱ<>DUSR7'@`o/`Zs0ׄf:_$.{2 i8D޺q?H$8iL} 7}ϩ\4N_v&U <'tҚ1ԕUqח!(eJ,-f{=/!Pl<ԫ e>}Z͌ݥ;<|gKc(&6l9ڧ( |}'IxIsmVR{wrdÞJ=:]PN~as~.Oԫj@)rVhzC\6q]&L .CWԡ"-7ώ|M %4%=ڭp$F%ӯsaz31ĸk`L5&YV(ޖ8#xnb'k5gKx\\LJ:,]ԗQon!`r~jO6櫘3 طojg63XؗqϜnç=[_)YZ-/8䂬;H^ъZ`hN&]d?گ(#T79jևKO֔2y=`@ݐԣWB[c$<‰SqTFspj=1);$b+j ./ުNw$HQ$.O_D(C+#Xr'T*1bJ%rfJ  &3K4Br3= PP*C6F'yajs7,?X qGlF%RJАxryB|Wío?bɮ' MT6ffH~EW1nAq散?T79}6_w5W*.=̻k)O֎'^/p hhws+Ɯ,%/Jv|)2R9Us^=.gVOexŘ쥷SAx#"դ|,eX,p~FZU=E5^, 5#Y[ap<$m-.z!.eƀU= PBR1)IOG+SCף_KmRi2q}LiߟN}FMJvg {(\58^;\.d7< 9~IC?dzپh;k`pl9=&tgn[HDy $?r0[7VUNPkځA0me~l' Pgv-Riv ({K?D(C洗6ڒH? ޕ j6rG }XNl=楼*NC! $>ydMD0a;3jN̓dLW,{UN%כEdZ7Ńv3!ޞx*RNLmi.,iT^sx7x:2^g!qɠ0[2