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 S)| ]S]Incompleteness:threads=2elapsed=661.659cpu=1037.100gc=23.672factor=1.577zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) Λp;Z`K]:z0Ѕ|=tSBM FćkP)|&M(.c~Q?xz9(d:x*G]R"1/Zzͅ>"qx 0z_ *q8Ⱟ4wM5F %GIFގ{®o[Ez-AL8H" j_wFez j?U1EZ$.2# mб;x|C.9_/Ų2n\Op6 m?C ٺc wL3dҹ3Pń7QOY}26B>XV^æwy MHB+D=d)FdE|_l'U R0KzUFzzChP ".!o)58Q簷.صvBveVrX`nz ;#/n'ٵISծ"oRP%'.r[qxS_OES= $ǯ8|.C Z'ҝy`)2FSDȚs,!ɏRM^fCbKF*h`JO[~ 9/R1m0]lDږR <-'5\ ՟1ϱ%z]d$%Z+4)F`P {"ԓV^%[zfU-zm|șUf==UkR_)pqpIͱs1óo#xA$BHS]j`Īٴ^ઋZFf `aH*Q3($vfE٤A|vI} G*enjW3qb36mI\nY:q6cLHR*qslHΘ. n&`4p{syVL= 8C_ z,CBq§OY-t8dT_o]2nДl?5#.:E^O!<.ʊZ^LDE?Z:Y :Ľy_F\|lIA՘n?(RZj{۞wBɴ {.2/JZCsL;XyXq"s[5~&h<bXƑ l˗k:8wmP|X2HE S y\?YؾS)Cdt D~lu[E<d$d ^Wq~O_Ѷs덷lCb%ua,LUܱgN|GΩx&D-:n""~ ;:QhknZ83P_=0KNIamIAC '{L0"Dh#[ʔ#1?Rd0t 5b1jiz߃i?[ Sg\'AXA.ThEB0&~O;kW9gO+&'K" f苩"%&1ec58d![5ި|~A}DLB~獴H5RG @}:o98HR6 9T'L? ]:rCaƹPs@TQ4ҟQ^Q&fz;JvOkDVN=|&NXyw}U6W=L0NևCpT)O75jeBEaZx~%%,[ GՇXo"Mݭqʳ8e=1k+CUi)]ym&]j&f8vaWlo_@E0d,M@&ub.u-1ڳ͏r4"ltQu6bnu>C5:7\))O(йf=aW%: ܩDŽ` ϖćPb^nno ɤ/ ߸0 iR ѭK OT+VlR.VNﵐi|%sb$zGXt8=%V@D 6oD\ ,pӠJ>(P!TF!Ce̸S/Tr1B`ѳ ڐIlփ4A u[^kIpb@ AY{r[Yd? N3'Q3PbVKV󑒿&YIx,st'GWνSw.3崵*` ڪ4 swxytǭHjIf*R[ Tbp!Al j6E+]}8'^mIpۍہPK,HLn&=:߲ xD @d5irW6b$OWr(q(mȑ}&SlcҨ Kl4|K=$O],!dmώi'o7ͯzJ7B2!k+d;\BTYKǕDU캆݂^8c;o܁s3)w!4bӽXLheg/ Ҍ9kz$3}ԓ Tѭ]׏%U="lv}EAj/z }<ptY`d̞ma#!.ÂASFs.}VRsKtyA/B֯Nf`JG\zKQǘ{.ys~"腞BiyHBy3.~YjM/$Qk`Z&/HRkkGG@fgy*2WOܠ&;C ;Z0gdOfDBAI|\"1p4,ۍ%ۍAJ1.I\ ؟d!O`Z55EEb7XHB 5;S?6')VurAV 4W )_Aow^KrNcc61h҈:B 8QeT\^'|7μi UPOMs,:Zxrh%.xw]a:͒[0!&vϬʩzn 1e.I{ &\anܨ`3H\ ^֧zkoW3LXJ¦~stQX f"AZd{[fk*$`kaVs.|yPZV*x?Y4ܑK/"LI7ցhtVlKLy6gNzzfLy2(?Mg[)³ڔ'UsE!o'C|<6p /:|sʪ#tܗ&C8dPOR_e/zw)K}q=eØIsҽ7?׸VbG7ДU !iqw,ULd5Wg7F[G AWjA#m '7nlF*ζvmMakAưQ;-Ò6Y$ (Ԟ/=[Ν|g ĮRaܱ&S߻[;|WW bo&.!5+qţИ35f4U,Q׀"rz VZ2_7Au> ^b:XB;\xqܜM14 t $,ࡸl!&>-hDq}9w_P&H8dsYjfrF1fG/& ={Չnk52DZBdTfbi^TeдI<sɒ< ;o-ʢ^\2R(Ugcg2o>2Ao]be!.Ũ^ȫ[:vIOJr[ ʝ)b7g2jwH-7lrK3z^ Twfd׿(Ri;ddQJ)a뽶Bæ&(.c|.i2]a@VԬ?kz;bc=ZYӱVZzyMg8<)u*.z9ԮN6Z7`aCK@װ|Ro-^ M'yǵ =+G'7%U6%G4 *UE2uhЋ?V^b:K|]f|}(JB0FiλtIF>~8"ųĎ'%v2;jR!CזQ &/q&u^gVVQhI/!\,Axx"o#͏e xۈ-e=Pu( qigEYSz{-&6 ,&nK(9HuJu7~ĀE; ٝ}F+ETKEbQq}SP6LlBw/2Nrmw _Ͳ[i!}GzD F̃&AK Y5KXmxsؚx-g{pmr&K<" 'qF/#bȢtwq#- ZD1`B= OWUպ74-u Q#k&>tx7Gǐ{f́AKgPh-tza=Ӈh0>AŌ%Ķ suAԪtno>lz@Nbذ,pzܔ 蜧*M0YIlk/D.|UG--#t#pW8Es~D4a5G_1 eR;0`̽W)UC0[Օ+GւS.`P Ģ\krU]s?YInRO:ܲ6!V3_́;2^dBg~Ⱥ ĝ)Z C HE'+&L"#@>"KC/8{6AՊl[\YGBG$?ayhӞuC"@#oC5;_pK̼Vx[8[kɞ`UPWAE{J;mYr/YZ|.svpIlܲ Uf|,П^)q|W``EWbřx:܃ngYZ7zXZִF!  z]ŗXiɟ頏ā˙مPn /C$rK򶚒:jhSəU$_Pq%sr胡vWſ!K?Re 4]G{uJ*զ_6k ڈgYZ7zXZִF! ~]ŗXi%>gtm=w.b:b+^$m1%zѸ X+^?zN2}ƒ*k_Fu)(ֹߊ JX-~huUj֟u* {l-B.A@O,K"~J0_[ks#A#,{yWP,m:4btSSߣNqW[DAkw1 |T28ZHq(v/;F`}g(c9COLgBs*#[INnվ75迫_#KC0!Ar&_OQtsyn6s#4YnѦZk#wA<(tTLQ8kTI]vm옊+⪨S@Tc0rcu|7HsR6=Z$i)E2 6a?ތ)5:>D&B҂PL.'R5<W>Ö^Q}5Ls2$m1 3r{pS6e՜%tllCeqSQew;4>?~㌃o1u-قWYO),mFp-ί R;OOZƀGͩ$-Pl𻺐=.8W[z a)+gMB{4rw\M \!i6#2z▩ex=Z֘qZ;A"Jw=ʱV0X@ErW@N zds-0łYӖ~e9K~"MJcM%q)FoA!)d2tUDHEʢGqxaP2YB i"eT%Q($`)O'LR0^]=Y(&xQV0G#ϲA_>zFu0 `,+LnA/^ρ%G<%+ CSNWW%uo , vh`۱@%,|{buf\#Y7.iSc"GU`!P9(k$sD(;$G2L4^}&jH p#R;[ͯ6úyQdcd{= lhFØXC\gWJ,I1Uwv#eX{#-rTNhu F౶$IqJ?.Uծ+-.ga7>R$LNNKd{}st5A`C?h$>0Di=}'|URM I-; B 'WڊIeu>-WNT9Y6Nuo>>Ojĵ%7V8B֭yf@FWr0c%n话^ #4\J! B L+ak rކp,4J/zն[͡:Pp5UO(c0=ȀC q B ̃PG+8\]RW#0$irU4~@Z<]/~0Nu%yǯE$B jraLyփU-wK%nFs0g]U 0[-f߃H/&Xz\y7PQSV|gs~j٨eN*ӳu7w ^V=aK%JwUk-곊nOV"Z笌 l<m͌!;0K`:ASxoF_u".:٬8h2PtI z2#}Ѱۑj5rn16Y^^WPҪ0keǁjIԦ ώdQ@ygΩ] 8WkJ؊|P 6wHx8HA0/#Ny+!ͪ&{x ׋\!|bn0,+e^ җT~j`_Će !!Ƣ>)aY5(9=J*F(Id"efU=Qk0?06{('EǼi<)P\FƓ//1<⦶ x.:&`4~/ 74J Mͬe:P P?Z]G'S X;:z\z/d3;W""A@hR-GZ|ũoU~DsIi"fQc4!2145ΰslZyG%Q HFEꚌ](7u xG!nfL[C~! w w5 CKhfA[/n eȠkTvm! SpSzeqEyZ޹F]eُkS L7[+wT@!y-J'x >z+]oG=*BJRpiaEғb\0m螪"q1%23^IZMJmra5gfyƞC 2 qGdk Ozi1zYv\N|Ο^dN}G_Bpfnru7y*"ĠxA%e6Jv% )!#E7RWDƠGk4wcPikr If'D#D j֐fR)Fd-$]Q')%+G¥ !Ql{x~ۗU1;gp$2!D~G٬W6jw'^IOhsq<BV %{ 5paVE#q1?$p:F 9L}ظ^:~jF.t9Q<V#[ ήܜt؋>b^}1/ 9(FD/fK&{Y0O7Vr6\HFx? P& Z^\"7}-Pv霘`RXGHJlT'jOU`Z5eA@wS~DWFV=p@X#kBMU\Hm+u` 3"0rhr!ޅ̦nH; u}ȆyRUYC&)\ɬXc&s~"rEE ̼w*$)^g;F^6̙S\RzR%5w2E>*peL8*.9 ŏL|dA2w܈$+YTꛮbŽӅ9=;ۥW\(ޗmK@ʯΦʸ#2}V(1C9-p~:?Ӌ;?]V,hհǽ^TyMRcbbHqI/z7D8&ґf}Dn5j *o%ɉnHu1C.TrӤ>b?A_.jS e|>[Jba`P]'R0;+}wWJ\'Lm(նMCdD 8-p6d=fЉ:Jt?^` Sw\*x&VWN^{BV]J8=Hl4 uO\.xL_;l 8k/tU`劫_V0HuVE4xfhm 6ԞWQaHPOodsH#"0*_!\!s-p Um_DvYE qH&xeOb Bnr>@/g'ssU6^nH? OM85ʱvMIf7?#J$} sR"עe Rᬁzw@Z B͚F2P{؉*5kf#/:M1G@L= sEv̌r:P=ĸ9BZج@&̛7\˄=[?O a5F^`Z?K4zجKўFk* P2}O̐ˁۯ&)]3_4v~60]Zyҙ9MSxO8q6MעYQ(ܗā1Pr=hiꂖ}2f|_|z~Egeγ'3 q Mg7nj* }fUTtt( K(9 w MGQrYHYJsށH1*ǖ|8=Ć> Dpg^AS'g{!fWBw1Gsһr3յ{C]3o8X 6Z86ΰH`b ^"85g2.J./n}T="1lt`T_ .7i%@gY]/t=v$<Q )}%U}IOִ!phPs<ئS`bz.;K6h+jma|BTkM̜&7AQ*_]7{Ы40{ F7LG%P8mQ5ت FC\"u^4yy1*)wG$k?MՖv#49/,];ĭVlgu5dmT:|W=!I7/8_VH\/@PDfڼZy&9=R$hA↘3biׇ zխV[*J`¥kZJ|OIZ]&cPܿq[IN'k$sNy=Ʉ.yxzEɻ [^#+GVM 'ae5: dI6 A@ߴaIVJERZҶRŠ_G!z6Е~il)լЌ^= +E<] m.djJs1p{٨NgNด$b$2E\l ~4d%[ % wVXzI OŽS?ojz ztnUiGJU1hMm8":NcIg2>SGlO mr;, ]jiJjK;TP ;h[;4Tဘsxς_!]Go=yf"f> 9ۥ4Wu勿Qpc$G\ZM*Pmg*a֝?\Bxcr8`R& mXɫd6ҭ›G0i*gaKoED }^*XH6% K`uDni7C`޷檭S!-U"g/wpR~@g/~Z]wVT\ T(#IE˨lUGF#;I *9 Lo?Q܊=T3{#iF1ǮBGs룊zb@Z[R0[ۍS*Jtε"GXj ֧xdm1@lt ȩ_"s {h:?.׾|MA$ѻT$PDWقUaV͢YJ㟧x=ß=&տaCL5F h 6<@P~ZmGiV+p)AvFE-̀]W]9j\( [RPC |OR\ fD쥗 V0zNu)حZ\_M9lu"!f_NeXՖV_rG+_'h­TC[v00D.]Veg:(tmgQNR`T)mpc( Y+buJ Tk/]SEdw)E.ia(!mz\J>[FEֱ6C( ސJ_P 98# cb|+d4s9sCBKi3ҵ >ҝQr(γ-j5[y6ab݇^u8$̈'wuXGS#nfvRO7?qlp;KBWV;߰"Reњyֹge>H5.zH- ܽ(Zr1BHj=;ox})ϴڛ =#E@UŐuzY9 Y?8j93mn>Uw܀ZsWf@n´H.AVݺ;8GL4װ/AmÝ)&P5WENp?n-2xbљ OqqmDBb\ !ţI#nܝFO^݀o2D +KAU'[`K%~Pz̔4|M>%WBl䗦,#P? n[s(>x n_R' MWNB A.~0? %iB<6noON]c+tШd+Q$Zgλ d[ڷ*KgqrA17Tؼg>(ulL(>]z#tMG#~;J ֹ^_̽~Id+g \>2J{J5b cJic%bK%9ƏT; H4=X!j'LV;J<&+כ#<W޾@3mF cVp(fo%%P+0Lw⛃A5y9Y};TlAa# $pF [:T~P[2Bu9v<iyUP#̧Rix\`3%'˹MS Z  p}II+%/Zsae/ SM O7"|r<{ڔ-60.AEs Z8 M)QK4)P@c]ϙ(|Ih@ieWroI?~a pؐv!mA$ ʦ䅛SYF_ާZ>[ VHlC%2Ճi =w6AEa%H4TX79dڽ Y08͸$ )|I9'2jqa]*h*kbfD}\Q9#%_gq[So몴17:Gۃb[ڇ0jO r`o&㫔ni!Pvla /jΕL%e~(s HB r{_Q'ID^*oAu1՗]>hh؝(ԇGQ!NOGغX'3^NR@.%AX;S?3牧a9E?EE>lh|JQ TWV'I} bDR1&aդQ_ }\4g3[6}3 PI{^+/Z ۧ9]T&vI7 A<=ilɾrYSker{딻PʧK\#:ÿf^!|HH1!Iqۇ3.X]jhO$D Vb{ܫV[Qh`*aiKpz;+3:xҋ 漫O6jmfXzH7i#j 篨eJ;#ފM-ε,avjk?6q,˜&UG8[\5C}PFld*t0~P.qvE=8+$@ eyR:WokH|y@rtg 5X{tС%I@\+O˾[|-R AH=Щf2ЏՄݣ(rI<)ΐ/6v:fd ,O'IݓS0;s}9][!,^d:no gS7 !=@k3}}[1e^/%Iq=l*A=4*Y}Rm9>8" 4dکDbbMkYHe1Loǭ˂,egO o6a,g`‰GoVFL 23+G~|4ai7zNGR8 7{ ^w񹎯q|Ԝˏ׼g^$;'!ν \?r'Kp6>L5U,,`oçڥ0 5syp=\Y@ۄ{hkфXBIGL*^L jU:B4"%oU>Gv.NiǾ 8 [g2} 6)<UWv{3=̃}@iRZ$j.kK I3Gr?bvN~h/GWvoYS]YNe&־z=[Nl}Փ^*Ď䃀6ؚp `mb4̶w9&H!1`Ө;2O{ yt=eֽ"aGΊO 9ZTQaxHSBAs=LgJ$kU! t|$bw5v?+hș$uKKu~]mK`KV*_ j4vv$6 ,oX) ي΅o x f̽[6dtR>]?rE:B\|2+y &_E_T 0Qo1֤Yg6u5ĥxתT HBkm+!(Zv@*:zYE~(=/~$bNR2 ido):w?z$ח `5f`Rgx^[ֶ>lJ@-QgX|DSYwÖ0T-c,J+p P|;S)Cʇ1)9=02[ R f-0qihσEB)Vj<Ҕ3dh:&%a5]Cf9j9XveHw\ QF@i^9#O\h^)o)i_]sLcq>pkwգTwK1 6iQ gfG{x-ٓa/E_Z>ńӝ<a: ?Jn`+?͖V'%eӘS^鐜DRwg}Au-ag_ƻGQ%tJ5JO@@>h_8f 9:}ЀK(g,nE"%_b$ĥwrQZ78-;(MB67RrQCu춎 _+1b )@tk2q J #meǰ 2e``{ɼ%xiLyc*^m&#\%Ѣ8> %㤕+?j, _Z=y|U\fˑU \KSՇ :CmMOkRy 4Ya:1_V_!.|)fJw\yJm_PmǏYbE)#Lev ".t/yKq瘁I$V'1#?`-"6ݔZVlз-{UF"ĈNF/p=/A~\QA5i.վZOR=QxqRduι'\k ώ<Ѳ{7ٕJK&sFTFPp>~[M*qhbr02߷& U@a`Śӯ73]0mO}E7<z"[ 򰒊H]i ;ψgd0}> Wu N`̺h܎B@9II` Ӓj;u4 %4E m֔'2FZs7o'8fZǧ;W<C (mjP՝룇AiaBd~^G8UpW^ZmBd iτڟ|F/r|pT"@P=ɪ240=Q功Kbռ&&؄#@f:&u=W ,4Hl}Wߔ\ȔYN fܰf{cuN?O-swv+VKF+aʟmM8'ծ~u6YJF,TzGz}qi+ CfRE߿mZq5h9H4"JF5:Wt_  ObgAhK1hQXU~ȰifN$x)CrH,,ٰ`\(-JP#NmRѴ? WJ1]uo'. 痨ĩaG Sgj~"jQ>|6GB?-Cҋ0>|0_ªwHE`B߲?k4؃vËђ@<zԨ(FFÕ~ %ފY,ױXSbNl #(~Wd~$+} $\a;Y%aߊ33v뀋O@b!.wy4&]'Ϋ&y<7օe(yJƇ])Bqtz,Ԭg88 Gni)+R+nGs3dwCc s;`};ߤ2%fStƪb.c.t?ie">@ [VxQEFxEJf!9m헔KkKNv^`P sMlfh?F!|jh)JD?B;QIw1o6E t^e9?zFү9X('MV|&2mC!\R+ΧENӐv`74fOF#*V*@HakL"/jctZ3^٩q\]f]Tb[N*a;(, yޣ13-zBj BqݴF m(J0dzMcy*cF^H&Ī=؊:k+;wda{b6g/ J R 6φq׿(r^xU``|ra8M͟5Qš tg 6ݍ(J>ZyDv}y;Dn pvT ` hƈS.l"Ǐ}.%y)CwD&DmA{L*cu/cHfhC']?m%vyAfsDi\%if >Myhdw xSZ>Umq,6Y\ lj%\G,VWv'O2{A0{=!!^ĸ- '(\<αa#XmgȎ%=Nƪvװ3z=fl̮ LHB6@fP@r5X\G9ũWЊ- k9O~ܳxW0[JXJ5&' e})|6 {Dc7%lrCxarc<ԙ4GϔWO,hࡰz٨Li׶BjM|BnқM8?e3BuK"c[%;Sfd ɒT45};XϨC tݎmšf6:բ㫄wY% _Kio/7 +v=K&! uҟdK 3_{0,osgS&r/Y! >љ_ϫ #S`?.,捲1Nرt$݋T{nh Ijڛ^z ķLH=Iiψ @Q~%1j7ڎ#KonIk녒&QS"[8(~ݑdQ+J9/N,Wi`Pw`CЏK~Tyȥ,#-|D aLH7*[3<Oqs)평jI@:It mV#{yg3\zyCaoRQ?Nhq GO~J#~4^9=xuGξ,l T7wmTEȕʟ@[!I /s(M68% ʉ[\E`/~okceKK3""]ҒUdkJk B;a($^\op43<9_nr\N/f _2,ezJ̑as'%%80|(i/`}DXyM%>7M2z tFΥe aX.R %vHf58ND,_ =^uf1Ov&ж\T~=J#+%Jdu3b=5XK;&m;L&FB!=Oۥ64; >io&:iF]65y>?]z/[yGiO*'<1jO{5S޷F$V)E Hc(>;4o))~&wij ^MA 6׊]AF%5!_7CWCBQFmjqBPZGѯsa/`;gFf>]QDUz-f*֐lC31\ Q2.dS)6)zJuFؕ!6t;#͎S}П6 ~O1H >QC#VS㟰rM6\l*NÈH0)Q7$҈l垠s +Кr/'Fi"D#[mJԋw^lyUuzϭ_ܐਫ਼sҚ3|>_9sJ.R&Q ҔOaU9uvL;oD<]1ґ^Û UW9e4*˻/t5VQsh9sٰ[X=Po JԞ?2Ak"lzVo6[^f oHk\K68x2 )X`E@_dzPTQHprdUKg7|FT$Ilm.xK௥ޘ Kn\_@G{u?%׵T 9.4mglZD[/S!A$CH߾:UJR6..j܅FrCIIC^Pa PW#N~Oq' }dIw3hvw<*%J28—71$ ^`H,DEHeK}`=副ﱤ܉ e'ZQ19U-@:! HzR L=>җfR[ oriC#j+9$ *8Z8:4dN͈MZEc۰' `xiUK hch2MnJ?fC21,Exq2ZiJ₇wKS?d`';[k;B58 E}XbDR2r1& L-fgO8).Hք7>6w-αj{,ILz`MP=s҃Ԉۊ2{ܲÜM!c䆟3|cej1(\a 4pN YY?OO1<AZAmɅE8xΊF4@WmcQ\M.ĭNP}1%>?MnW҇!9Y)]%f4HlLۉ{rz(@Png[AG6V\3Sqx1dhfJa`u|7&8TBPNkN xTq} gEoխ3E :1DEg[ޭd)]4< v>y7/r jJ4Qtug"hخu۞5?bhUc"tijDϯ `j H+|-+L8O"zlB)PztALiJxoC *):Pn=DΫcIT'rLaϒ(]lwG i%մL_mP5ppy"=W4oX,d,7CBL+;wYq%RLC򾵧CM.K17|͓rTESFr~{=ܲ#!g>( `Å֋ opڧڠ~R0)"K\~G[{Ci ²s@;./6.N ] Cʍr& ߟXR&l%>Wą ɠp &Wޓ dcB,U/{RE,N?Z\K~ӝYwKj,=W@J"ɧ@|h+dnMU)%_M 0qD'5EE քo[^M~-I68uڬ?`qf  q!!7!rL{ f.W?VD.~= G3%/P0E=: W6;k&pMP9wK4|@+JFgCMhZxj-bPߋc[֤:ںP8Uj{eQѳ`k5Fw9ؖ. V$bJ;@ 6ѶOMyBզ1߉yu\HɲW( A$ ^=쁫@_UGuUŃr[>Ilc5^8Kl]:(QF(qӫYb׵UˍkkE& $R)/=^~2O_%B4eG\W~y_zX$˟~Y mqh%bYAl 1C]`E[{[nj!۷_Ԃ{D,-:y,35xnӍPɒ=92R#=Jtyqy:vWM4]-ӾROfΰ%`jl%R-`٢к?/bcjԽcHccʍ'|H^;'aв!4`;ivO(̈́M*bL)?(IP-  ]ּ+.^PSHP-.W1y'&\䚻Jx|0 *xx.F0.srK$<'TBأzh {7CxrPig wOP~A?Q ZČ&~3SzBp<͓LlX)!w v\g(mRHݜ[ LKl ^+Lh4#,hg-:c ~/!c5Ԛ>:b=8QFyNP] -{Q9Ѣxު`-B '1K/{|Sɟ,^{hY!LIMPhAtl@7lEݕ-ȡ+d|?wQZ[*c )G:EK!"gq"B5(O?9Ju ~(/*fZbґDʔS7ّxu+|$I\[Ou׾O 9B3/J'j!Ó2" w{Xw6TE{i\٤ 1$q{13̏WgBf!NgN ^vCp5͚K.oO(jWш(}QeLUd\J&Htq`f2 g]^*Q57EI_#{N:xBM^k^s9@ ||wt\w"[: (Kji]Hrք. .tDLŊfI;Ω!oQ*IU*νق/ XWb,$_xR,7=g8%.+Ba7 (7g5DNʄH !<#`>#D0=;#0jp-`qsZ ,cv*W&2\)ϰcjz' >tH.7JeZs!cJN5!c\iSP]Q0Ĵb; \4aږ̲PYDO).U"eԹJZT+w$ f,F\uϞB߯?۸[^շp–pc~6\aaՀj">ݗ)PDn\p Pla嗗/+@~itu݂&'vk׽;1saMZ@_'sq͕YUK\!yaR u|sPx#]!A9k}Dkbfy(_tpM_+DPhrMʡxυ~(#梫(]dNctp @-ڋt6<ͤ/N#CGޕڿV{ߟ-aSU3x9PuN8JzrIrmd8j%X^5P,a%~iK8UCStBRdppK Ah{ I&.H`UuXb ңg|d鍊ݬ(| # ٿ>7/'Zgz |>Z\Pgx[AsDG0mZ].o__`zb%#JO~e,Yb 9` ǰX;u^Vy%!̏` y6ժZ6`|g;11B^QE!!쁐tv(+3 'dmn/ k$ǷG|݅j cXީsS#H!S%{ C tTDL\Sm+e| l;Z_z[B>hJ vGW FypJɐ4w_F؉[ L$?WNoBF}.ػk04t>. E^w[eoLdʅ`"P1Q"BPVِIg go{&M 5Z,r63.A1;Y5kO婋@L_!C7tKSfF#M^&.$R6&wn$}Dfzcp_[78nI;1I/og]NIDz]H`!Kz 2D,]'W'VI~z,T[L`HzM_6,0wN'jˡqU P"y5 ֖̣&ƠX΀gP(E {9'U8HΩf(U_&:4J 3 K| k~Ћ2%n-GLe`',Pfs_oSK@U6r"g# ySIDEIۥ1[e| YVVQ VN;$jHWIJ_̼t2t jzیƽ:ؾm"x 5mƉ9 hpu H>El&fd(V?YbD4+Ԡ(a-tFCpi:55V٦{J6hp>OLy/`js$OS3%аIm]RMԕUҶcgRsiVn$<|G7$ ;nj:K[-^)?  E-<6fE μP@`+μ 3yn<ڠ/ǹԨ gVZFtHQ̡*$MzF vËʐ΋r; \YXXkd@V}`%bnɎ@-J<m]5EnL`7:XuVx1M3¸Yͥ zc$o\z?PKW`Ѓ(|7O|J=>~DMMxk<vsnoۑ oן D J 3|R2-xBѺ&sH70 P$\gH2 RY03&Coֲ ت 2Z=@c7WU[i@uy%4wDޛ`Nՙ7ӬY9raݴe\tGXLX\,aꎍ^e(L ǿ5Tm8~s = 3Z!M,W"9V Ͱ{~3oT$_bߡXIUROqzpZ7-k.W,հ?G*5.dul:Qŀ9C )[zRLIx*$պ5;Sx qfiALWú^m==`ug>}<57w.ܴb! i@QAK3}נ?~],x.#X)J$!H>PRw!BA {bEH y=Q'v(64'M̘=UHњf*$qgy(W9HM*Xsw+48o&k|lDOʐyTY͡_/mDq>}f?-Igu zFD>zXm=ם@ z +odEbFޯ.^ @uˉ^;TSɾBVxOϓ'= c)4 M/R$,9'/" ^#SuPj3 ˿_&ޡOy90$^jX,,<Ҽщ,zlM2p)˖W8wHJy}NZ(0Q`a,ܚI  ?V~;!#^}G*ۥ4:(*]}B SevVҬ:rHTxlY4"WLZ_`tRm b.3뽻)PA'7g%ey[upS2/?] O_i2֔`wuNobnӄhiC)1kt؍q^FK>:NV*im|or@1BVnKۦ!6;/;u=sMSߤX$ 33 N]#Dow\!Q')pд,"AS).3~)z9w5Zzu"w }܄;Hp=$匱 CռZ1inA.?!Lvcϩ.Zd[Qz36.VMC-QA[^ĊS7Vy\f \J{>zm|1fUoXv;r^ |EЌVOE\0wKg?qp3{54uI]E0y4[ :?JƢէgi^SDv~ C3k5#HnK(6'p+d!"7Q9X)JLl3lͼ3@q>3⇋V/hl: sBZ"N [k"*E|ahޯWMob^釧ً@̅4{J~PSe;L Kc2ӧ:`\lVXiWçlG |Ԫ! APU/fކ>lo]rnKGaäYKU (5͇·_t#sQq1"׼SAݢλJᰧ(+,eƜPƞE*O,s$ЭDut SN[\Muk~8 fkr7f8q1H.R`+5Ԥktmhs>- /~іY5olG΍^2s*h< .|> % Z4eM!)@3@̜Gd޴KB5E H*(̪us8 L+5FՒʛ[ژv\r_ao*>"4''A'X륐(0mGG\WKnO:0 w`Zm7c} r&.HY9{z蟬f=@=/nЦ +s2ΖF{-[)c_01HAӷ<CKPJ1g:l^|-KqIOR|ESeZ/{ݘ|8Ž%۬ӘGMTcp=zMD:D3=HFMjA8Y?Et5FAvFGWc ]Cj 5Լ^!')M27EJ@(rG覘1)U~%/>Wi$DG@3oJGOΗ@~¡vB⾟q6}plJ.N8Ն 0jhIa8HJl jsx` 5'Ŗ+vݒ ǩ7~uH~ߦ02jd:L꒐+-}N_t YQK 7UBE. 0Μ\TSL֚_0pIz"̉MB1e>b8Q|oDߎdKhNB~ٝ6 k&I]kmދn#Inq|Urj;}W jv_=|Ӛ!cA+Qᔙ55yof lBbq" C# c\d?3o_ݑk\!A+IȝY/P-Vi}xb1Cx[=]@a +6tLH)&Uy9R'Da. XpT=5nw(DUS"~jpB Do'WaoD뮽76ܒXRn]?ziY{b֧r-m5hbn UyKdz8ᆰݢ♸mMq]7%]$tT ?q\BBQ{0 e o;$]{Iw!VBe~uPpxEgNP4VҪ\юs/;<@u*y3D0N0W "q7l"vD7{sTV^HÂ&GU&PC{֥DCvFTA,Hc ?e!kT:Ff@/8sX,u Zv!oKgbg"Qc^'~,Qݱ&TS}{ByyA솝T%YYLՐeb#Y4ўrHV4LֈNp[?+EPuqZ2xyגԇ5$<5#69δm/OGa)ŻbRFߵy@=HC'Ò6^c ,_hSd!KF`0D)@)àzbx@^M)Pk>保qs5DaoP֟tбfaמ qݲcX,>3P)hyJ7ܮF`-䨥'3G~wJX6c=E-,??J_If_l-tϧ |F?\_2HN,N#Pĉ$ס;¾r}~1h:Tyyr|D)E_w[,5[DB8EP#9@ 3gws ީKJI7Ƽd"Ll酁SFEC=n쫉 zJP˅2B=;QgYZ2ee026dd4d8794b6a53567017717fdb93108cbd1a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff f0b5f7f0ecdcff5e59a5005ff85d1faabeb1db2db6741ffb898c5a63ac82782d7419538212c86bb3