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 DD !$T ]]]HOL-Proofs:threads=6elapsed=723.050cpu=1935.324gc=378.420factor=2.687zXZִF! I]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ K$~~刄5Ws͝_ŕ %a "7UyJYxه8~w*N@P7D4*)g $<;w09Vj5krRTBrɌsM-[mcSҵy,5FxoЧ3-ɹ_R-˥3lO\6O`Wc/-q<{EbDB,?ą%.%4&wFB!5b;Y"6!la-8$7 sX{YroJ>Q΁T*Hrf(>8f~٨xR+Vw[>JápL?|pn~{8P,:ڈgcjHD 8"L_,W)sL2YZ Gu NڇǙV nZ+W'eg:Li4 1 ^#}LB=;ȂQLJľ2kAZNlWu+^!O.Mv5orzǭa&)T(H "bI)]Ӆf@=ac Uw2)JeDoPTٱ(A,K/<5XOb}}-߼R>\,|NP,GGԜF|m=W Zu7_e 9 po0;`3W* BU9x['fuJ~[}jwj "Mp;E_nFy cP?&~=3Vyc{獕f5."z9d+|"Aʋ4iG ͷf;?oVK3 sQ\zؗfͲ6VLk5Wt->`,2"? fˣ A4^g-~1"fpbEuW3j8>NqŕEn̤l >m&Fyi0r0!;|KD Dncֽ4|Y./&AgR6+\wM?~"Ei`ΝNi);f:]qH{c>7V-ep'q<..1yDxEuyfT#!o}ܦs],׷Ɇv M4MeYz+)p"3sjjC,5l>_/y> =c*v7ԈS7kot),~4RɅ9+ HnH\(ewd ӜnAiqt>dF;@HɄ ß.z2yk⠡N'!>`4В띓9E6w_Rd/)wss$^5o녘~-qO:#Qͯv3lHǪ s)d "՛ )[S#tTQhqfuكg)*C*![0c]z:m/;!eqjbNa͚Rclk*Z6P9bD9x+vij`%\E LP <>YNwZ{p{!FE<5c|_(ڕjʨ/¨PJ6UXhE[`cҤWS>TO&9+&-R͎iHg9cyaADp PhMmĖ2\s96(Њ)بq`:oo4IqK\ߞP\LL3{)3BJUkitiyx&LQ H5Q\W\! hhIˍʡųٹz`qTOfx\S樿h@Vb9WgHK[ }悓rJ(6!L+rMuh# CEy37=JV3;媔lM,^4Pt$˖ 3("/A;ҧNͮ%IA&!9 |.J̵! ,Ѫh:uKwV.0ǖSz H.tRNOT@4e|f{,H"8 xF|hPF"=|ƓۻXG0WYrA Sε0NN*P">o '{{?brDƽOʀ|OӀŔvEkx1t}f?0hroȿHY"?h(kO)@sAKHHe) t",;a1PAHXΡ- X}[edv?YߏtƭIGZZ0¸qD_ޖ1C,YGVLQ}"W"`V.<BeT?zyRG*奲A6 FѺ0z~Aq)Ƃ n ByX1}"z"1bkHzY~r }G.Ze2UlMuES xBr=jj`H9lFi[y߮ո`iw1ndEIDS%XshA*z oGL%Ӏ J-*Ao/YDh{Ɗm׋ޕ|%"č8n;ѫv}j=4H9y`]5?cD!&UIF@#(g!tqz1n#%m00\lrdü4[QV-@77p6r6fnӿ)_h8>3r3M<-@!9b -v>(ûz-W?sБƣ.;_>Y^b{۩KٮL7hOWrCSnfO[Ypwc'XAW#|HCe VtIX#jQQ3)edIJoIP-濚?! #ʉΣ%d>Y)(H]A'zI[IeSb2=ԙ`&t $E4o2󊓼 T< ȣeXt4Exm~NwT͘oH=T;C6;ЄsK pSPuc¬mgU9fuwr=RpDR|Dّ]3ZktLّrg\7{~T8 U)NV{J7P3>5*d,H A;GrW/]PI-`mfߍ`FZ#Y!D\i?j׊gix]87cRb/C=gzls8 IX̼㢨瑷~4 @w V%t%5#\ZiAT|]5Ģ0ME7az"IS驐mWǒC>vZRu~pheAoyCz E;EZ6|υQi_`0)<.-2!Y8s|^+6إ8f oHu/d%;J8\c  Hь\1swisf}r` Ȉ +\7[EqPS2<M{l ]S i qߎI-l"BmZ1ؙNM.u@GwI7KT՛ Al|:U1@Xi:\i]Ye0z">޲Uyvnræw2PO^ ]t Ey}?=Bi'b^T-ԒMY}3Jmd=͚͑}AthQ}-|ik:Tt|;[tbd,(*͈ [ "3"hF9-AuHq\QC|9f6֘q">Nq5ߞH?oM9_)z{,I!# p8Wsq|e&dpI7Z0j:R5혾^di…k,Jǻr Qlt=SDh.0_Ԣ^pc#mA | !D8(p 3 FRp2z"W9O05- ۮvR/ÔyR`I;v>"Z|CodM_ÙgDc@a@Đ䇜KHEoC^P2b>0 xt9Mۥ*_6!n9`6oTUQj+΋Y$'620-O"MWDA`ɯ|cծg(jjh:{2cM2sm^n0uTgZ=6u]%߹Q|Hg|5x{N3+(`WaȂ^RYNbg@tEKkvbWxhaovd .\E`gx 0?kF[81=R2%gYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!Bf$ѵHU( ~͹Iϒ(A.C<6FAJ>J0Vq̽tSЎ+AU0)ꔿ,ԚM$`HXPV̒C$8S7/Q=;*@_f1hّV~*4< AR'~$=bd p,D}؍7RX/f} ÷r=,6$g 2t RyHΑhei2E EL:j˽\:JeJ!Q9(fu/;|r "47Ui!v[8rT b ]Q;E fZ8w[\yD^;jK u~N$tmX7PiD:eVt`dC&(C9)zssH%ȇ_eAZ'']ܣGAf 6,2++k.-*f)|n+Ƭ~v59OBkx\32En:G&c+*OikyUýDI!bZ vC[Bfζ#Xv['tEB.@Sǫv5S[1HOJmq aɶڣVp4PyŨℕqN~88s"Ze8lp4Zشe4 S.<zREtaD8i%Rh ^1B}Ȇgi isO?.yċɥQ)XDVnW(Gګ8 *8QbݽF6:ۤOwmY@RKr*s4]>j` "CHBZ tAI %rZ;2-a"ZB,&8P5x<$qV#ig 35iL/iq͙fiFyO=Y,)]l"923g$ANA|.?p، X%B7h͛]հ|vT07ڵSK뽜3Ǖ!㞌ۍ4TƳy;&~Lgq-$?I3S%61I#ߜD." #bU`i 2z xgYZ7zXZִF! ]ŗXi%>dNBH2 3_0FF!9{Ej2ȎJޢ5j3i _*c6\ FD%$/9*OVmtgŔpLRݯ?Q +qNݵvJ-CM\x;;O8S#ZXI#yf.lN!Kb-#E[wEmge3SܨLqL=YI9sD^A ' rG> pBt9FU=x/sK.$ 1pb,C=k}~T-o!ezsݛ԰s[ ;=o^? =HkC. }n[ F/Xxh\I4uu XÊwjǫĬ^Oyy}Fa2N/ă0;HP-2\'ʑVJ#Uɗ4bxܵJdv'EVoVԣV*Vr7cUoPKǨL: ѹa{{;riT]πmҒAqb8DV}FKz .CKqy#Ķ;ΎSXeEH,ӣ؝6k[2!9Sxd\nE52djRI28fVR4EwKi+V <$S߳(ǻTYxud]c-"ɯEak푿 `hS#H"ꠛdAbqSUXۇ iC8qZBsg[sofW\slL3X6v!ȍbj4 ``0x;&|FE)2  cDذR#ja1,H474t~ oF4K~!J uG CY~CO}`ݨ<1Ë|llv pf@|%m$6>kr44Yi#ȸ7*]"Qg#'?8@؅|&TQf$&8dq /G5$WA睆BSO(hd@?E$yg^ɉ c4 ьؤvd~p奿3Grrrt\`vqk0,xt61DCm;T> 6"re_]Q\Rx?JzXX?0G&YT.ؘ|k7*֝阗ğ(VwTR&Q*J'CCz; "P_꩹dBRŲ|z[z,U; [w<(:AKIJ%+򠃃%y&JVۑ;Zz(%άIBp~Dij8n;5I*/ )ΰTVǥf!$~D/-t0U/?:߂A8"1j\A7J>m0' ܜsF Yd1=N`x~nrnOYهg`6.q81OrW}n|VMMV@T'tlaFT_/!HusóPUcyТ6N+)" g]8;D~"Wd 3HABt-b(b [gW8u&prz"IWh9DM=T<e+Ҝ|I_曢Q Nxur# $Q&KbR uN`hFwNW/`V(>dɰ- \ǶtXS)ߞp_ω0љ %U1ϽX0dZFA1*Aiq̋ٹ$3%[Fk4D6%䅨͜ma^0.EZqnPVީ.*& 0Zm2@苒Wcmpxi5Hv{O&7^C9l xHqA:OU~)~iDG %xSw,5c;if2Y$/w}fg{6Qf?M1c]n/g橞lVoBY9'4Ff$ :e O~kH麩& w@o-t7[RfqNԬd4_ \|~=2є)n&RRs|H%`\K}:`U=P밃k_}?%QT`C|7h%E~.h?Ҹ)¬#:-ʶ8i֟'^*DՒѪP濙n.Wi{?^Ԃ?yY{J:}"ƀ,}TOxiǂ:RHa*L̐wˁv7k{QYi)>bC1#:D0~=L޵*IQdᐮZ]TD:o.CˡO]u&pF8{P>MA &=\?fkb@ۣYi CL\ݣJp}n6 /c@^D"̄?E22FWmN9cOOf-!1זvhn5:`} KGؿ%,?xfX@B! o6 ȠJ-*{+K6OƔoNw1vT@ %-Kj ^ 'mBgMB v4{Y皽 @oEKz>핬/Wά/;k?ᯕqOozoh}I1rǚr\fM#rł 0HHNضߩm,qdFtt|(yM::i0azφgٶ}<>M2҂N;Nm(JyM,8@ӕJCx^|9וVց%IuZr֊LN>z`~2&e iUn͈ KMʍ;7XM14DqrSM9=27s:6P`3R dCRxIYל-JCikXyݐ)V_t_,1~jKsTof3cP@uxOvqgxW5u'Hw= or$`*F8<~IHC%`osAS]hD 3Cf豸p_ubuω骨cq4 R[+H܉Zݕn]ыʱ]geIu[/4'VB/SGкb69Ќ ;JNKSfK7~ #g)cvj㞻"g)[ڌaHV?N2f ,ZA,U5$ 0)+P 0VVX-=nQ?̽![^oT#_g7FAJ~ ]WsiZ&B2*Z먨Pl40nTz5jչ1MlDmG+҄&s e2<'dMfQi (U @RU bra#ggwƭ9IXz_X2Z)p~\uRtl$eR ľpY;o;y{F4x(Z~M9̹ 6<--] ۻNVf4y1wu~VjWIkuVǮm=H%B_k(GE shQĄ$;i³[h奩[S}D%i!B=0?ΊH5pV;vt =pS"aU%;#gfژД/V39v-&]pE"@\w`&A eVް СsrSN8aTJTrLg?1a31˳W75) 4{'~}TѬ%myRPCx>(_Uӛ$oĽ'\P̾hhNތ2";6ɿI# F]sדGm1o*18<Ghs m[leA63x.1FT-eQ-mxÆH/? ? :0{ğQJ,@\ۅeO2n R9?l)kl!"9[ʻTN4).C*-;LyT~jvm))GOce萳 7pajWRxe<ۧ{T‰_@"~E[Rp縃jUU)ʠ>Az"ƀOL E  V/:6(%}JdNaN"3m` pRŃkp#{(10&#pKMC+б: $O''b g%],:zz+:i<P8Hg$}ڙӽpe d kዛPcG '(P!i%(u ƅrp{?mg nhlyF)U!q*tS!+w8 Ƃg=΄#Fɟ(wlك=@ ^`dp,6ʿW;T0<* I LrQVTNfeGyئ+7o%HMlVK]BazBu9@["c+h ^V(\: nn%&ƁL1p&#7㹞-ו29܋]*/ZI"ގ|+sH8J8&;@ngBkcꏲ>dHl>AD8C]"ZIsT坺ZPF oôFˎ%;9y(ߤѨ)mj_5YǗ@`!Vdk1`edP l~4dZR٦,UmS".Z1d#~-'!,bV-G{$  _iMna߲4@LN "w{DԚ  I(C6_ZYB(S/0h>3h.B4$ Q9v> LYW ])r|%^J[oy>pD%׀%>2%%SC~VRv1N|OȜiܤZdA!6 REּLQCEs#wZVeC'<؟D0)y6= (IQlj!bbr#v乇٘ FUƚ("aXn5Iid[.1G8'M{-(h}EmahXg)\OB"J8%%ð UHFE=ri'ףa!"ٖ)8lvߐyۨ8.߂'\UՕ]N(2wWo.jէ__DUXe,5Lk>n7f\Ҙ E%Vto@Y XI0ЮWW`|CKG}eડ>36~LmRFdoz^tT֕VЋy P@W5hԘի ln[*!!"O7Y_ˀ 4'L\ Bx//`drZx"hfB Aʏas@,ݞm=7Ue۩n90ˀ^T. wGxAc̄.uTw=]YR4J@k4#޿LKhDYuL`WOw|iAIJ4P1bqqOg%-? אL yw/74Ub*XQ[ $"H?p/wC̲sE]υ _ZSfSCeOsHZMKE)X|Zs.7]*+fh+ҧK\ŔHBf"vat#g/Q s߹X|?$ӕo°rُl*_<rOgQxO6e|=]mg8 n-jʸSg*p0Fҧ./'5'xueҍtY 午5oJwM N\'G7 $2T=:0B'w* { UUnւr[j }+q8y˃{7/1E~f?cpPDfC!eC3)DgrH'G *4|񉫙sS8 & Tİy%%{e O5 EV{3or98K4]xJr9novCDW~$?r2lS%%-ʄ*;XYˢr?[-֛NܵFLMwv_!7& ),@='$H/5n\fVe[]D`-A)7;E*0Egy8MhiRBpz)e9PT/}ȚHXZ7lyH"p3WoorYF/>B QADj1e!,9, Ż<7#UKؗ8@C,48EA~1|%ʈfH{x͍$(mQ٥^̺ yݷuEg\2nYX䡬:tk*8_gh,e܍iGP2 Mo;w\6;b V+MccT`nfOGqAr6sFϑ2A% 0|`עޢ6V)]V88gVڡ2d)?ǁ2,\)_Plbb/4fj -9\R`@"F[.|u0 /U,K] KCqo:M|g8-~g*bOm]`7Г)OK>@f |4N(̗gsQoǩf℈]: dd8;3`? a1X3gdeI{jpCaĊ\g۵yxkL^/ >mGn"xoN;iW0m['L4:3eۘIw9o\~(3 #. ܟUA:S(Y{_~Sw)N(Ngǁ[l 5>^ yV>lxj-7m4gNjHhJI|5vy\׮/c24 #soW+H<ՀD Zb؝ %;\Tp_|#fo<*8;ne6R OBaJ+ɐц%tyK| +2~%Kpߑ ;0g\NF !~V~OH.12i[1OѦbU'58rC Iq!qs m8'Q|[IYd iǀ$2<\(EXox}ϖ61>, ѷS`e$~=VΖJaie^CPk{C ߂֓Qt{tWkAD}jpsDIm~".lk$QbЙ7ZNʊQ d- {^Zq$5B)TJ >&ܼ߈x?DshIBoޖ32va4*V{ͼ36ok_M5Ҍ~a"S6Όh,`tKkv.-9G0.%J(.I!='8Jm" `]}>Td10;vI1 `P"9#AQh'N1H̪*9SB6!^Km{'7Bt:رC~DUE f9hi=BHWR{.Xu) ȯWd^5Еn[(Tk);j h0$ો(6/'0#N6=mn ZPE;u`}*n4M\VDKrI޼[P5N>$Q^ 1MO9OW؂xQc ro^8M&β$߂;#B)(pH.iz44 䴡4ojyw'T#T iW 8w|]$/*Zf7a >f*G6;l=x]PuGY^tJ@t ]LH[l* sNv$⼮2f?9nnj~C1)&#+(iʠM!U^ Yݡ}5<66XJ nB"Z?(PM6b)v>Ӏ; ' on8$mu]FW/:v$j{<^kZ̫/z-(9qLXd|C֖zZ y&LY Aȏ5Kwy)ޥNf|1/K Xad8p3 e Q? VIVe5 6]1j %A_wQ[\=}qX["AQ.Ų0{KPWWlCUN'B͐6#D&Q쭃v@),X_>'3$#'cJc/W)#%28/Hi!`y V[qF kG@K!]1 eVڝgfĽ8@%iGpi=Ƿ]5,^fw+a[)H7|pz=M`0a,:MvPE 饀ZCZ r"xb7RM[-+to㗹*{֔u'r2v"+Ѽ@b J7)I-812;kV'Tиեe V":Cm>FW[ u(o-n5E*F#(n.x,-!nE6c[4j~{^?K+b3lJ7 (*_/oӄ,W?k묹_:uKc+6[SUHPLMZ(߯9̚WO49ipe| Y,%:'>ocD(u vG{JYћve19:xNω,Р]3Ofw(PE=29fqɔs!&UE:3 ?( e\ÁKLs*7GlZHx:(kO ̎(ϝ'?nDq4Zn,rNV3F?u\!UYn/0go9?FC=y Z!nx lIH Q+g4I@UF>y-:#@ ̺iŌVaٸWFtb IZSx~j_{2Haĭ17od-ze@ʲtg}1ւXsmLn{B~"ʨ;mŘM/QfaA&%R ƿ 3w.xAY:$6([YDQ.qaЭc^_go,ݪo>YՆ7=_$N%AK}HogBKIãWט#)qOOà^˅$ -ߠy#Ǧ* ?~O)p@CW)$ =K᲍,;(5gsڃi)ZcLfﴧXW1(h 8Tf8)l o V93(> jA[I\=lR3>ٷSg@f6SZg^E!w 6 S:բ~:Y,]q$!|#an] 3SVTF}"]&*=Ʈ/$ŰsQ " Kmz@ 2{j[(aTCVW.y$-!ϓJza:'b*sM"H'-ϕw .vn,wdzuIJj펐ʦbUV/n] p-`;AaUhv#\6>!ސ£ZBC!Bjcڋh ?bޓ߆tz~&']ȶО$ *as:PIqĹ8,u$!zh*HZgHqS4.kpq o|`q woc/j'g_*EmY볭DΈ@z0  k V{$~iE+7S?dUݬ{,g6ѿ$g6vߪ4#5"-z3 To)]|ӕW "Ee[տ;Tşl!+^]rDo%vK2(\m<v87 0]N?N+xC Gqm ϴPO'fn %Qx)2/I#]iٿBdXQ$_>UeL vYIq@cA\_.@3UK^_0l["yw{T qU4l-~a{.zd##ԕ] 𧃰JF2uJv>c<L*VZa t%a^r3@QFx[#0KmN^G,Aw$zNG04v#"1/S I(M^S(ǹjSa5UOMW)oHPjZ.Q.|2M4,?S!Gc"k?Eů`:|yFE=~GzN#+9Ui?bOh%U~v?z/VUZDIF7te\<>)C¨&UziH ;mo>.<.\VRu‘XcndK"d?b|6d?} Gͬ-Mg.ԹA֝mqU6lQєC0j.DiYcRnwkwR#`[$=|Fl2~.%VG#|dpbfmN WÙ#`fJv>?d46}7CL{tX505*NظPSҧ=˓nO"Ie%p܋Ax uz&=*FTK=K@`ÿtf惧w!$o+Xu}d<]?\RY28X]r1d{1` hC^]bGE ^L.-'nxF)ʼn3U]'Cձ#'ߎ~rJɷNn8I1}j|kcovS6F bpZkbhݞ18b2f&Ey \q&go'pFN8XX޳o+F[K;EMY0om:̯FhA(|Vw}χ g DHM|ў&% ^ӹP|u.Q `#]w0O@![,:PlŨei2h˜BtGB> 3讂K4M zm$>XLٺ[ޡn^ە'MxgO/to:?Dz 3s; ŵ{͖l"feZN2䚜yEpHAIxZ}$ .1cv(O7x>^OLs#38D31{#mߦyhR{0CYu-9"* dA-xW5*~h6ֲkŒMȮ5+) uw-|byE"'_A Ey@!T=Mjňz 92x~'Ԫm=N*Ku@m/n?PA-(V4T#Vƿq~x[u*9UhxL6hS(a%;(߷aJ V_0 t{Ea8Cېym!=v׋^d!Qzap5Z U:?[Ŧǿ[{c.OD-@eTN3XSj)j:8qy53`nWGk?Q ~vz-FQ3k=gAS7$r,@jϥ.1vX:}FG!Aq/!44>@c\{$9:7Z9O]߄\5S wcIx:+K)?o<0e& V FRAVcàDX`&Ꚇ~׹,E\(O؊"'NF2bn/ϼ<~TFO՟޹s8 wOglf/AO":`kk5iƂSyHHkcIFxidt(HB4޳, gwvvRN{,8fAGt~M[}vz H%JL=,~ =!!p5s|WRy *(C#ܶ-j:cG@Fh[?l4*veJKtNm RWxؔSNwծABVR% 23٥A_5?s(v,98M%;RF9lz06[-t%ƹ+voJglu~+ګ+-O؝ǫZnTi)8kZ=sa' lmǝ0l ]L-Θp=97d;QjX FSj:['XRڷ&B +cu`G x>e;ƴpf#mt*3#'}ѩ{joZ˃qN~ʃB~ Lcm:[&1ikvPD.H>ټ=:qߖa)+;9 ʗ}ʢL™.9MfA F IY窗x؜|&\6ُˤг52>ߐ5&~.3l߻aK?.[ OO168XJGB7x  )t-BCvoIm^=+~lxc@Db W0sͯxe_sK&z`%aJ0(ͳ/"hma=EqYToE7Ҡ{n9@G ?N`. 5I~/sypzm?1ZAme&ߪ{Of?Ǵ혌IzV nZӃkMN+ۋ6}Gc[`蓰J(@p9np+Ŵ(>: G|ṋzvɏ m m#؉^sNfrT?ifj_·1&|FDÜF{Q&NJ]$"El AԹRƃUUݽ7Z~ w3>~g׻72,"WҗkޛAe\a=E9- ~i|qꀛHy[\'#)*$b淰Lg%:ѪrppoLT .K{ÜzBXG R^/%9 <&$ z0rM__hƾ gQh >-W׋gq亟C^i-}7EqUI_GCw397l bأVHeHZUoL'Qwa@j{M4j(- ެbfKIOFT@!\ybivdh9WE>l1㇔r"~+8 UU(Ș#@r \8]Z+G9#s$&\.?&coI1(Z*3a0y ?/kt~ ܀,W$^BlKnɉ($$էxXZFP2XLafXĂ`יd҈MP6hf-!C7Hb78V|:=|7 m1('e 4h ~*9)5'E=x Vg*'C2@B`^=9M1Pp)gQ#:L_. '5DS&Ǘ ń6YЧ(Z ot$REm̐HbQ>8N2rAz?؁]V13Wucfo *šhsѺB sfYi&?s#Teu | _EIL=_nDh^YŤlۀbO<ޮM3e5t=By!,!krX(11=#@~sC"' Fq;bWDs|(IrŦș .' LngX8fp.v-)5.VX.3f?tcRlU2T&)-B7]P'A'?lOC/-oAů/VpݬKeN-q*ؾGPGA'K"1ػ}qh|9}ocf:mSS5ԁ^sBo}^g],ZR8%YIGZ t',]"oYaAtdJr4Fz'a!o^Zon꿀+^A oL1BJKg^15] JYH$җ#z+!Z1n28r*!)'bj3=sIVQp,&] :5BLNǏ{"why@ R8)WöXy6 4^Wjc(˞%|Q]ENZ_I2o, G }z8^T.<؄v0Vtu?"ۃP?,븖DY-PXdwߧRՊ "CleO=b&dlj. -wҧŵ%r79as;M>ƔjkHȰIz:QsעNEd'8Na $YV?q >cť:T= &yȄ6{[CUevLj>;3abWDM(wXh֭h+5-Uy=|${KQŚN#7LBXփ$2x_gnrhi rGiJxQ H!mf2$!99`}y;oǰZ̝ Qn' c%r(Z(b2GM" W: G?~%<&f w}z7}푮ݧxb'ð5$

'u*#{3F 5B'yNᖢ^- "\#rIɞ n*)GVq/x} A!ihE^6 SõVڎv*}%R]#BY^B^?\5n,"JOԑx 76jTľE G`9ute PR#C, ;dHV_pwƻ7K_l%0zP58݌U'^yRpZDܡPmoyμ_Ew,!;Ssy22$"xLWx1m"O- !!}^'P$?-TFt@tWtmNf<]GV ig$~W[.z oχ,3e1W2pLg9{XF$C$vbB.y fXs&  ^\˩Q.OsfݧF0ș[/WKA-'B!=VVKRڵ`3? a^Vޜ4|hQdԸD2v=Uߥ6,#x1@#ݦAT1=)q![ D )6xg1rpqrecbb{ED" =E͑QˍɓOxxB)@z:0ë}ܟ3QUrwʢRG[~!E?S0@]3ç&x`zLx9Ѫpo|bX߲ B/rkn':1*D1x?n"5Tesp cKܪ[tK#)J a{Ip7EqTAkZ [Bwr ' x{*~3q;b9HQ>ϭXI5ҘqQlvjLf.{P`G:< $9/6I)v]nȭˬ7Hdwj-/L?j4qgnwmOȢ\|%qioM76W'g ^4;̴kY/lLиUЈ*JWŚpE6<zVۤmKSXbyo RMc7DsM̝&(h)wgN?'Pd`x(NLz150|&~&ꘓdc`P/V2G!s%YAPrw ƭ FJ73 r~Ao{g^g @'J=x~n%[ $ ̹3dcǴD'ȡ[6b)F] {Bku1!ג͑I 隭Fhn5/FQ~@˼6ˑ׭OAu[Z:u5HuwϰV;I1g/Yu>)RrVq.@&7f![!geDu 0HǢ-~hݟ3K+q iy xCoTN ksX%'V! B"w-|ќ&ݟ#)UЕ11`i )՗@<#Y ^3H1?N~Z1nz@N 7j'U6/=eJjMArI< ?[NyʫzWM#RM><cN@2ZOJC7P+P8 yfVW?kG]:+^uɄ`V\$'9W\H$W,uS~|% - 5UL&Ec@ .)2n͹nҝ.IVzDC'BX5?Vͯh{_?9o$z?t{"G${u l}+N(#I8~*AcDY~'Sj6GC[$u.376X>J ^k%*Bsš*(i"1"5mCQ0u$GU&8TtCq5}!_[cpLxE-E'Fܞnln[3=~f&+N&M䑕S_VpXm4t IőT2QD+,9bO~޳RWMZ %qd2fpe$ʅ8fJ;wP/#e}$Za~JGQÙ/:Lu>~)>gh,Ҽn*G)buQyoNz N NuasӍPVVv LΗW\4 A@lW0O Jq\"#DjqyRAes˟zⒸrKTv17=vрK湜̦Y@7+✫};:E;Qsl%H5KHc 7X7a~ o7ۺOWψ?ers޿lRD!I؝]FԠaDˉ7}f9? JT:֋@B/"bYڷ+$ &Eu( +R=Z5l)zq_ߐm#Q6h YdEk И)dw)n >YP?VQ:AĎ<2{O4/m)y>5H%EcF LC$ 9#qgrŬ`K&rFa>5mИN7V gc;0͔<}_ֿeqzGlEy#RRv > dG 82p ~E@NQ\N@T U/΀/<=AIiEB ={'ggwΦYN{Y?WԾcRۚbHs{!UrsyM}3XCO Ch6GR#[W:'[ 5i[-=h8>Xt:Q8߮rcl혛#{k)ث3 2vPf\z"N3²$xmfnO~`S?;: d[3s_q_M6Aه*L)={ !\`E/?3ThoH*MEzbLCEVr0i!hF~Q-F-Lh#%]E:FR8 ftXtIG^ $s2VΓćԽNy@e qtz bG0css*{-^畏ϡ\0'xC0.ԥyc$P-`5iv!$`460g(8gj1.\0\]n*=0(_J826URQ $Z4@΃Ox#.9VV*Xn~>2 .K2SM+(1;=|6pE.<=Ӿ fb(ٶKB+F8 "qV<_\g"/#Qr ' 0,5=pbɦ[K4^C xjAHG` z 9 k)(4stD`e+#*Y8SڪdJ<rNҊO]`J /՟N t;i]}7y|OY[9O׫m)(ݧRQe$Q5+j}Nwvp? <5|QHb}rQb<};&jO]c"J66R!Syް2ӘζWR1kfrc&#&{ JRUHQƩHo @(~ 1[gw&>W\aW|b OŇBF(9XZЃ:픱RF T*N1-KzQ&G =Q}})U§y*߷4*BxXEO}UE}plh{'1d_>7ѳԘ (Jq*1%D0\?Sl.[]> w/ ._kSf ݘoZ 5sYN26bƆ0O%?]v DOzgЕLcl$bG'4]r|09"jC(/ 0Y,{:F~εNrzX3z`PfUfrr8bV 8X 8k DYu 0EN2p-q[3P4宭{F:ix$5nW:Q.:F_K@ž'7%KkwqK'$΢5iҰCYJXGY=#`UF  _mؙ dH9TH@sH5h{9ܸpZSQ:QXc[-EYzJ⣏T-,UJ}oDu gtsͬPݎƷswI}bqr!2\qAjFW) _ms#?CnxDMQ}a/tGqw8P}lo_mxU[+Laua |l~cuNC[{XrUMֶldZNަT8z`,cc#*뉤IexRz)&_-Sne'M<'\2wYQc1 ?P(xΰ2BreK{oW)ɤd-=j'\M= آѮAРcBj3| >U[XyUA"֦g% }^"oC͢#]?'mgtY򮦲p`f VL$Rb1lM^hN՗h#+!5x3EP1Mq6k.@HVv0S?؟6;1gv>#C+D:2u2mnP7;Wf6]]Pߦ#:sw)n15bx^ZZrٮ,80%Qq $֘9r4$!=*l]דLZT+J>ㅪuґc1:K,KS;a&.pYnA3+Y 8/~BQ~8P-B+2 'm MZ 4Lݸ2cx},YL0 \BJZ2 3rWTzJ>W8־n'7J ;^Yp~K W`q*EF S7~%dc.;mE_dn˶QtBe}i.[v}5=hI+5ClʁJ+F=Cɶ Dجr R]AorniD;Kg ^Sp4{Zol 9g(7LC~iea[BBpdBGPI6p+l\2 =_1q7eK4}RWP:LR~]>!u 5ka|b a1#Tj7RI002d~\iLid-E /J+݃N=gڣGOl34|p5/ɷ70ls@h.|oV+d*m+cIx6oǾbKʘRڦ)0fZE 85\ zF~<$8PeWOr? gj G HEi(W;E1J?¸&<ˋ2L_C ? l w7 n\|4]~}o8~@ ?d҉ Fy>h҈:#"s/'ăn5>7\?(_DwI6,fkt_)rS켓g$Jx2v~G:L7rE$_  4 W؀PmӪ o6ǒ\Q%rJwܚ" <)Y0_+>qiREmH 㳿iORzEy} 6z{iiϿ < 881 LL͹cO%9aK!9@S@4 z_U@݄k$zH 6j%L䈙*6~`4y=38L rgғ&WcIdp丳C=SyRtp@0(L4F!-U5F>kՆQ H^az@f6(GXǑ#ܬ7]+ '}tIŐGI-)>*ʙEW syv/nME|j|,XzN@Ze 0BэѓI)מ U\ϻ"jcMq% 21HO Ifݩ3Sv]]0DHW֝uVnVJ`SSuRT9Hch\*,Ο[Vǘ}ك~~e hm.3h.j?_FiBXs%^n_4ٽfv@$+%:\pi-~ 1emcZ8Q~ˇ?qL)R::L41 *a@@&_^Ц HΆ0z3jÔ"yAńcA|`~5VU"}DWТ9\;+#{QyoC\ZE!& ܱPtV\US'{J1edu";SA|Nk'=ph=|kHsO%5,D 7*@t -^ +SdKCpR\=.]l#S]˄`CvUZhf/&  LTqhkeһ<27,A!Ť&g`T 2tl;G~KL>g:x`7b}}[( 7N,?OTX`.0|U蘌Lz~OH UϷ =vJ,a4Ȁ]Nc: MJOt%*nH_x`n &+S@ԺmmD:cbזUXl,& ee'&F &~psuNsW o~l>ÒX7O2Ao `/ݎ}Ơ8{N1p 5[Xxpf(#!FTNS-bMn)yjLbΗ)uI/޷N⨏"LcQ :Y!{gJ >{}Oy=y߼Ak:QreP^G.Uʢ/%AP,rX"I$}.߶C/v.3F;SzX;F-=w5^jgK`J,WW,RwAZkts7W Лۼͭ%b/v{t3ɫ^\uי2*m(~Γ ̵yJo.~p%Lx(=@"5N\U3\ xF309i90#riYܙeIjRlÊ7Imͼs>n B!-А[bR\%MH#"yIV[ dA` if291K{дHs>z w1z\trկLYڱi?j)3.ܗe Q@Jwյ #{(,\J ?FGE-hmbqQ-uE_rk&Z+G19&{$6~`9]df\E.@r4.fgU HR)WH'';77lG*&/M,ŏSD $3&r{@ QxR3qF sN}7nF`6mPX5Hw`w 27KDBp>rWeDpHΈ"B!YX ؞J Hjҿ_9nYW|zG*:9?c!"CtձÂoABnz`{>Hd 6hQrplD=0f3B3G Tʪ9CIcK祎Qޓ-f2xʱgYZa5b66cc8567318df438c41b7874676ba470349afa681f6653dbc3911110a79ad31633f9a1fcd6a75ba4312af87b16a6c2c37e614f879bb0d2937e13e