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 A#Dd$ ]S Psi_Calculi:threads=4elapsed=471.541cpu=1566.796gc=76.120factor=3.327zXZִF! V%]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `ט &V5B{ShϽP<>|u8Q^輟+Bf^1` %B[l%l1| ˀ^ۈ$# d7ܗ9"duJ- p{X2!yÁ2˴3U.v_Ϗ'CC/H`;I>n,M< L#H}Y}7+(ٍqu7;bWعa_5EiUi'c55-g:}ϓ ]mWM?}(Tc@@x7r i0}q.` t\fegD?n$EMHLûɢtiIڰP(^$G)Kx.K~j]F҉ |{ \#g&S+5bU$Uyٿ4Fk!~#3Ld Z)~.JI mR_Tƒr|n bc:=m'cUqBU_9*"SQ)ό %/{fzhTㆎ7r;/0G0X( Q̸g)<0z re{0o\ZE5A­G֟WHn{|]1v'#6*0DV,K%@xxwɀW- /8Ț/xƠ-޲Ns239/}ѼL,z/+*?؅Ϯ/mh Şjޣ5I]ϖ1k]CJj}4v(s @-M7!4`Y$24|AUӠ1i=s;)C) zgjQ;AR]I?K1lYM_}> Ћ9gMij҆TX.PKbu77gRDgԓĢ[.ys<9pd8? C<:zњGۚs6)g<yGb9 ۣͶRi[)F+)/j_;8?A6,@PM "By'P6]r٩(?O@*q}hn& %2 P~P+G7K@ ."GCO2'_W4$vGI)3FH?]#(A4,T3zG<Th! +5yѨ%` GH&w07|(g4ۋbI󹛩M_Bԟ+U)IM6!4(s6_HpryI'rT,gmvH[%e.u ʾ9U Qm﹉"=Q4s6gCxjbt0 .獣]x*rSm!t8VʻH8IeMq ~6:pq.ڞ/8 QU@x*bn iCZlKdN^@fpŅJC~غZEf(m>0+ܫ2-ϴī xR ](#J Y7+˓?ݰz)kT18Q\;-+4Hz"8X>Emw)[`A/!+勢à9{EV7Hbp@o;ƧlƳ ɮTAZ*毺) d EtS@mTt-~fXq.n%a;d_ȞYhJ0F:ws7. H蛅샳-.fsC3khm }a"= (sr2[6&?&y/ ćo3.00쫷ю$ߚ\,+dHj#ZT6yO^*E$O͒ 'G^)>H 66q #ǭ] # Psi_Calculi  \`Ftosv1:V%N]4M'9f=l/./.]3 JV}[ ߙ5MZjrZ}اY&A ?zW猹?XQnpç# \{XXMN}F|S+ev=09B65&K:*šozxGxz D)jͶ}!_{@;3 ȔvWsT ]Qc.Ud\]I;k?}ysK0C,>֎O@Hml^|[2b0*ÕZ*eXd.'{=P6_?Hg`O**H_Iuև9&+ h x:8,M$)j"Ѥ#h/Ģd D;L ,݃՛WV.6`7OtW􎬞 "6oy-FkcGOR|4ρN˶+@nsM/wrͬ=kN+D[pqW>)@. t _\*|1"0n>~;Q]{`}^@gz:!F}fh~8缮2k<¹KZA6&%tr.cQ7e2x}6Tqč2% EP>^LgouS/DBTUҟ),'|E@,iyNOrzJ!$\UAVihcdE-d–riDaS;L?:T1wXBjr|Hvkp2f?޾ׄ::w6&?O^KOBN?Tc(ʱZdj@X"pe{jC?@kNR^!%Ld7)yNW#L;2$}}Oi==KH"Gк4}xեG)d|?.!f KL9&!jjWi/ Tq %~V]1^692|"#**Aۑ-+UzX߭'z*Q6FiV=z-\WޢOk (W?N/L?ueS)ߐx''m1w$zN sucNC&TqL^C,3ɷ ޔ\ c(@`5=ycd.xo f\ kr eDȰ:)I2j B}y\F2,$H-ͨ1րRE ޷AdYOy3$4.6CI害d]7|T餢Kcε(S\n_tg/Fɩp(ڇ=(|<V`ʷSR$`憥տ8h``:뀜}2)|ToBKQ^E% "tFa%ru"}6ykX(/zt;fO F?m8w2h&=y F5˦g(. -D-s*ct4J>b)Twy<߿C˜?q{u!  R=vAAq\lgL|oLN.Glqae9d{|/KA gP4g5vߟ:rt}-,T#2;e3^PU)L @W/ V6YJ3NkfZSOP^g+v `ijz\i|[exwe.(H0&=\@9HQ$S޷Z0c<ш+ERK5~wt:+-frM=XؖULM7L5-JwB$ǽ kZB3A>BY\3/ fe3(;GP HzRRH+Ml\v[ (8H&_w(摋_{!ތq-K)$l+y}.:J;6LVWޥ8aylc*j|1_a7@b`(<(?4?&ycvNeܡdwz|%Th3O2\I_@|+/-E ~ Qѱ[-n?i ^sîQeU4auK$ta(2%.i7EPnp&YR ![Ij2r@,ތ R)| "ΟMa< i/ i^b$˃da^RcV&JyB@SD NL±MȒz['< jeDE{-&,]Z޲d4Cd՚5bPa i/|N%1)jAT֞R>BzS<$A nZ_jIKtOvBknw.-ӎ]Im 1L5k dWf(Y0#5m֤_ B$#*m<0Uڶ p: ^%=DWC2ɤ 5FH"Y59=uiN'ߎN^ĭ`ĭnJV-{ak]]T&RHMМ= \1`M 1E My`$5Kݒ8g+4BU[ xҠېʴR @b;8e{dʨv0Ӻ3cŒ4_n ރ{\Qϫjw!=2}̉{4ًN&ݷG/V{x.+駆/%@4Owb`G^ЋzeE&n؀v>ҏNkku*~lxNz'+{Crgk{pU%^YkJ*剦bspF<  ѨCXm]NeI]?hI41Y߱W ڴ[=18c[-Dm*> *D??cAFqncVIv0IZ~4A#7q XAKKz񶏢mѭ=ϖ] ݉-٧=g1IX"@n7z0 ?m 'ZMW&Fā#6f)GӅy YikFc/_3j1Xed є/ 8DB*2O:SUtPR lS8iZv'E}61bjHpP_'s o"~J{3!}H%DJ $Q$hD1F5ҀZu4Bg; 02NM E${khlE.ǟwsPQTٓy]Y+9om/ufs5Sة?QDGR΁Tw Q',!(NI"╩1[lzK^¾iQwMhpHc#~a4XQ|_ IT4;)N]Rx8|`U"~RXj|/H.]3$ԎZ0gkIIH}~P ;"eg"8(Y-- #G%=Ats~;nI-gHbSҌO+l-Rt+"Y/諹` :]dY{  IӗnH\|Иaq iXrm&',c>:AwC&Kھ@Mtw+<Tض3zУ BУv9qG1&щ+uOwFfF@5c xƀ3s9݁Ixdґ$n!5 #c -J;ۨAfA,hw(D$Zxbbzx#RdIg?i6$ho?BϤ CJۃJpí}w&HkV})X/'sl%2Śh^!D*{qz -$V%|*K(XgA*mIuk31Sԩǁ,UCAY1D=+Ȳ YX@ljy?J Ż0p -n t=~ c;?ߚCֹX=T *ӯH<s8748{^Pv F\m̻fjRVn;\ChQdي,^\.(0-K&ShsJXK꟎3)2 ]|@\GePh^lgq>~L׸E<f* .iiY& n1 KmEl-,L#-6S28HszY?Tr!rQCЄjZuf"ud,|fL+/HV4ܸׄF7/mѵ唊{Memu/B:$tsD'< |kg z$\ax 2}$;ZaXU8ʜ^{& eW}A.9ÜWJpx>ttCH/ҁE}HV޼-_ ޽aZ@3rI7,?ol8>g2։^vw^ԋoDfleɥ )^3d"&q~~ƲPצXOk{$ŀ^$|ƙj54&JDI)%7˺o\i'Y2 'B},q9@gpLb?@5>#K[S o36h7goI$o;ySO)lk Oim{Q9nIzSvrҘWSSz*8v>2hiGO44W ts#FXaA"G ։wYix-9<)Sُ!ӒQ%. fphp@F}v+;E-CQ^ÁM@P1moe"Ѭ:=OшYy?O=PTܖ08h+GQUU㫦8-D!+Z8*bg6E >P--neX=: lښ }k8 rkKC z j ãzۍ2hI[ԜB+AASYR7q@RQY:^:&fR+{Pyj)~J:ɢ *H&* ui>Pu^.u7stAZIb̰g"qlwQfmIq|ftbnt6}jz5yRU.ӯ r6;|(KvNP3; $\ŠNvUHi(8qXѠ. F`l7֝S(Dg6?Jk0$>ky0kϤ˂Y=8Ls?6ӥFB`bR9F#}gSIn|f*ë;C*nK,--3SxDrO^fL84#趕<>5WIx$X{mJ 똱K=sAuP_jWwNlWv T.T^GFS&sVX )P6N7^/.pd9$H4}ZٯK5,0n[KtTK/{oV"s/ȼߒ=1}X@& lc=q%P^6 cj|+n$Rŗ !'=n Ek^I;jO48ͽn)OԢlPhU{G!g5dӥbݜZ^!]5Kl?CLgDVNilOKVdgYZ7zXZִF! T]ŗXiɟ˗̵w'Sɺl!\d'GN~3Et{3"/h'w2B- <;,ƅLlxZVQ/m5[i}K]k3怩ZuݖTܐuO3KllJ9w t/\;H|S 8Q@컈| (.-Ά&>pv|K5:4̎=HY186%UBl[g~Θ:|@f0ZjKg ~U"!) WY>`Sy&o(o //_0v;xBk0GfJJ&FX$%)eȣ,f}VA(UX 9)zzq .bppW;X~ϷE&+D=9q!Xb \a+2c}h,x&ՠa&*ej(_Z'cXwvo:0eٖy-nwqrn.z`7RS+BUfԐ^6{a} v0uG(ӬBv.8oqǚeX]D 7ߧv} Ri8jp2?˷u(:DN鱁ڶ ;Z14Le@%AeZtce>[NXSfgHw`{0vTu^|sS tcdiH%3mCgYZ7zXZִF! > ~ ]ŗXi%B4uS|۾*p$Ao&ԯŭB{(V{\Rs Oxӆ9Nyet,̓pHD'`pC} I7LX]+^F`W4Kjo hUv%efWޞ6*jěhΛO@;Xܱ Y (c>D~</q`k. \d$ob GI`$^!;鄫{ )R( LLZ̉^ 0SLPIoKgޓ.|CȎO,/i2%Bb #Ia)WkZf؂+H[*&p쐀; {OKTYi&5L򭵔F@{$ c"s ch+ھ!SdT_L1-',2?AujӐWkvGW$5)X˹9 Rt3 'Y1݆?NPEg J55:f}UiOLOb=dg9HGF1%"1}7{ϝ iuF h% TftVk4uj}jv<eϘ .=z8Jv<ߩ?ϩ9 |jEu#ckDȵvϮ.ru5 śXϩ'Ւ!J+]tX+0=/]d N;NgH?l-$5&vQS4XԼAʡtLOggaf./۷ `:ہ^VKg~6_B<܀_X%?К)n'MIiw"O),©H= 0}ٯ|;9mEBtf>,c&BCE۟I|GO^)dڎƀ4 %UQr^189T0y1^tjO yܴZR `&(Exu1ߍ}b,&2PQ\fgg!#yHWG<.~6Y$r2dZ%Ṋ˴m`X\n+cn5gMׄ/OV c 0*?WF*JvSvCXu?vf+rԇֵ^侲k,]n <53+Kb}45',Ln1gXE$45R®p=Vx+^@PNNHO=XkSL,v.a{dĺxiR8BaUT!{`KITt36 71o# :(-u^X&y#\݆;/.fRWO :9V/w)15u `ʞO!=vn dw|MZa&lKu]m1W9uet\;5JUxP)$u$A9rujǷHt9,{]R<:׶S0!"=Xl`kz,}Zx<%odOvcL.JM+iHq={<)WSzֆN&+3n ,Bge YaB2=3qi82RWlpu$D-IThzCFA9ԞA+s/gmw#U>)j (yYы;.2L㢐NaьJ}OWU΁A)^+T"rmWG"ʡ4OxT|[<7.ĮiM Vq]eP E%yBȴG% Pp@P F5'mcaGhg^ gmӧہ^4#4KcSQ,W(ۓrPt!*&FmxFIP+-2kw:jǾKI4goBN A;!  E=MtRuޮ_doz3IP@If99m2ZJ햒3>1' #Zi VPP|| &ae z5,|}4<ے VQF 2>;Vtgs[.9~}"nJӼHh6h԰<}X.[@r:]<> w]FtS~.pCo,-o{qm>*59Ճ;͡pLANaN !8=D U@6M%FmuI6IaתfpFi*qW 2O5ݮfdXw0ovp+AK3]hŚ֯Rhbߍ4y(I3(#٣rK7+qר #{8/ΆIEb*,FA+}VXM͘"bKީpG{M;u1x(ҨCM9-Lz֋T >Pow87~ dd}s1NA|HO óv?+$hgoޱezDx<8Iu)*у&L㌹~qw1l-Pk&0`[gEH]"<~;~*?"4ԝ9M$[icj+In3, ;ޖmy#Kb3Kڄ;;iB]wLE(hb#RZȥ)tuC,'CK;!14SZ&fgI)gpv#J7 H %mQoiZE2t*1ap^_htFBf5]< ]8Au*tL+)B􎏵ₒg24Sͽ̕ՔOOm8U'+z>nU[se`KQkfz!]Ϲep^jQWG~?):BD\{376M\C)~*BF٣q|&o_s~9 t\GH N^+[ b3{i12%.05qB"LUj`8_YjZGh)hܦ ՝8Чvu!lΡt+CgH.ѣk ؗ֡DF{}5w j1vMxr̔!pSb`%VE =7G%&Y۱6VtOK I㼋W~ α6P0V]cZ#F#MZ8Qs|:Gwu{?Y-5nMt/]r~n*yXE!ץUlD#&ܶ;:3"#"w:}$[@qgQIY'WfwMM I_ pi\TԌc\4ZXl O5h&;.ǛRUi[E,HWe%)0[=W*R'`RZmKB:yuI*11)3pRNebJ4S^֏ j)A*YYX.:F>$dO&ࢴ{ 1SOs(?%LS]y"a| i7Hc8v)s΅0R\Sؖ/n7Zp«KW0v;Qd>:%3mؠ8tfkvTW fz] اppRC$3ˋC4[6)bNpm璒1JMہ.r .+M*J9]/:/v'/NS|'딎k9'aQ1Pt'bH{&a>\ P@Vc<22J8Kjy?[X J>Զ= lsoH˩Y~oc]$p"ʁ+ť`POܝKj ThD $o|T!#5oZ7:.. G^R%e"%E7Hcm)x<|]㸏@xoЁ@r^%$JwICż?έ\=_gQPbfv~:CQ͐4^fƇE,j$wIT+Շb%Ӥӈw_rRX[T'}smζPפ oo~yJqబp=! (WE\iԼ3r]_A=F]yО^BY2꼧np9|ẁѴ!ߤ53xJ"\Z Gq̔ [r+ڐ9޳KIhTK#UE0[9jZ#.f3XɊr!͸7>""@R5EY/|%-T@CB kkVcYw miz@̝{&YDSyeDD*&)Ux]"4a*U¡ؖ0fkdK*I.,Q.=tHÙgloȿaYE3%jvz2/zO}N1I8x-FR{0yi/e (;*4D7T$mUh +#6zH"qLLڝM6YPK^aP") l MH*xhYL mIvkLݜRB@ zznC^C v|!:}مj>V>kF _Ȍ? \6a&H_iOir]iV#WxɖkA҇M(eoeeKym P1*&ܣzrX5T*IfOQh> ;A>y򨩼X :N{dFRG6)HifnI[̰;@K dz%e(,PdDaޘ1%5;FJ <ߋ ?v4M%D*n*F~{.Z0i{&pbdοO gxi>is S] ߟsb)|&4 .bT:R(X| Hj/La o.?XKrNC 36d)V|h|[} K^giOQb*{ZW)󭶀5Y02PM HU2Qeě s_/JM[6h {1-ov,j\%׬9-9(ޮT*-T転gNj} 潋9zA:^pw vů5[V)tJ"#^^F%1 6mZ)Vܹg .=!]Fnd~KF<єzv^TA֘o#URgxBc3z= j?!&3Y|M%㲿q5kv69B;Ǝ8{5|Bu7tX;nxE6yh[_gz\NxDG\F1N]R0 'WR_9C5^pWu~o,thюٿxIGͼI Ű% _io$dYD;@tVLe`gn^zMbs^%_h%XI 7 W ]ntdF.0^xQ˜Q/)p0Z}b;_uU,Z@$\y67JމS챯LdClw;ʰQemrAU/e؃i򳝉~4}Q:{-sifJqPfg_w-k)1k2,E* ;L. :,  gc!^y\&vu/GrnɅB*brSԿ^>jR`{2+Lltt (֊d q ;H۪t>SsɅ7%% E +^"L쓷!ʅaS*j>W>- ~rBwpk'2s4ȧR з}>5y~G[|Dз ;#{ "]S"pgm b席KpuMǂ=̪5]b%DM%::=UbhEo y"\et :,dwHVpc# 1͑2_G2ء8+\¿vyvW&TMnc~;۲YqĘ}x sDFʗ 4" l%MР Z=l (Wuu [j/Nb3|nG.-Y@-XSPz2"86Zb_88$őgH~@^RL/kAwЛSc;;ё,o|&F$k3&7<@CeuF\ cnT *Eώ|bgnLA,CSVg"~?O6[.쵕:k..)Ȝxi69e@ Pט9q;Z [Ȏ)&f\6?P~ |;Q*޺MgvSߖ1pWe!:sMB߷HQx\׶`W#лKAbޚ@&t%# Ec%ͧ:ux R 6)B waB3[d,ܬV`w >BZmIyyiJy5.S )ﳖz bgw_8A͟6KC^;E4i [^)]ksLc3 E!$u#*}ۓ|nqeg<'*(Tr;b1 cʢ40q b E4Ћ*Lm`F7Kvȥ O2+e&fч5=houI#<} #5EN#\n]Ra|}_GI(L; iYQ&j"1*'|N94ut иˢX-bz<{?sl#͛+}!_bFdƉaKn։vyJ\f3J FAҨ^r&W|j[+PPaܿ %`xnif݈ēX#'. 4hhu^J\+  ٙUjUkbj|-z).gcr͙"ua鱭0}O Z]p)4xhD"^S1$Sp&}v \kQY~^RQwH=A3cb|aO= )uü4*P>PC&-#xpEj:DwFlWCE+gpAڵ$9Tm | ҍ$F}^Sc`)= (wCP"U| @FNzbgjKo Vx// P/P,4 ibr5MA#Q@HuI&1mto 6oŚL4aY{V ]+ {:y_#|^6LѠa?^KԼ"ىemcIj S!ӭov2))K=j/$䦙#P-{#T=@\NA :7go& 7.!]ErkZ0L~RK^HF}k Nu}ͱJ~" z f^ʭ MJx]*u\@0OHU/{8t盔wH:ȳ>qCDs 5rqXpZ6ӃMf?G;eW%}zoׂ#ޒ"u%BF.=̹5S8"sx@~AanklN",._ Մ;':#~5PA)>':>+M74#6@^ ҳIjI 8Zsvk rk3J^k+Z6T,9ν8_UBi3p!eT%/x{!EIw"D&=nzr;ڱX8m;qTI׽| 9k:au~P?85qצxIyEfbcn,lP}<ɷ@'8^6Q o8=2]^.BƗ@gtc3fW$5׿/2HOu柿"Ȯ-QݞnW2J?Un_l*RQ)Xr 4/[k2Cθ No$8kGDE&–3e 4m8N$`e4&?3x\x+nI~忆7I>&1!2*uӔgMCd4'ȴlB+jC$mx2*] h%*k`>+gqpА9:;+4댣E8elPAsv BpYk\m[OmC&}0?2n<A@) AYPqNl:2뫳I@(Ϫ _: TA't@Ԯo(U867nT70~=9e/qFtk z<Fd˿P pF"Wm0`9oSz.)!7J6)32=ɧln~p 8B/s9>`:tp+8St!\W7@cARpZ Aq$Ӟx?!ޗgA9`w)w.ae\2d`C~`ݝ|LAނ:9vs-UG?3Ћ 2:&xM"PCz1͠Ib=M,<,Ĭ69J#xSiA Q +;|M"cM,u%VZܿJ>ҬU:.Ԫ\i:hEٳ) (qp;@/)\"volaOz|os֋ fQ]mzxaאD>7hnP<wIv{߼J^N>;ɮ|Hȿ@YuRei-pqMBY.NWoe^%~!&O<͆Xh$s:N4#j&>52"HNB Y1$4 6tj#Y&*;Hu+Gt6wUⵁC\#qQiOɥ8:] gE=G*EY24=~pbχ}ɮ:aZ$Q0JyIJV=DART>̅C&;W ,F)MT$햐/̫J\p! GCq*,_!#']rM8F%w]>wQVD43^L߫/At2hڇr#鑓SiDP7ٖeClMBe^>^7>XW'LVjU-6,so75x <\":K~WwMgb^Q%ϪN( й}0+Vvg>kT); >@㶤[6VA49ctħ8Q XW L6D@b[礶k|M_/w:Wa1;EaI.۪f6j9lc 1gP—E1فQScZi_Z"UWHei YK&0opo7csܽm!8<$u2ϑU&tzꪌxL%ʃay-q,M, 6:#߱4p(6ZTQE}DN P{I$ȕn`ej왝> ˮzaɒ|m`P m{XS̚` [k@ܯ?ȩVE\g\>.>M_S . řoFu,)ԬK񻮡Y)%K_T$dZ ӠˢV,\5D;c%iפqjdw"޸g ^>:x]@8qozZnmy*Ê~=ǬR2pʕ 94fȁ8Y_{;g9}g brJGŸIǴଡ଼Y?cюoJWڇtvڕK(cC+lPQw3y^930i]Ԍʟ6^eIvVU{4>&'DzTb}e mPn} .)ͅoTH­56,MIm<ыfJ*ؾhPpPZCE27;J)mTu*5uXJ귩a#g A?S߸zvd=M>KMcn)Ԑ۔9;=A"tHsYյ-L@xY$y]^ݠFc9ѴThC/Hs4 P72PL=ye$A rF@WBHšG"ȫ{h`OKej#%MV"c%'Aj%JzU$u< GS3)LWAQ.zL7uƑilD’M'+ކ$>FC7y&17Ǹ .F?=+eh-fޘr]")(+.Ql<@vtP2Ԝ>10dI_ 읶hXG٧DR0Slr^ƭg;L#@UAp=o;DpRBfĂ$׌;*.Z?FbQx:3=noi%fZ_z+kЎr%ER >tȃNkq YHTxe^2J*!!["ӽ;+BwKzsaΝAEeeVjm7\<}COkhkИ0PRu+tOL=kKbWucp,%;F>s7䫲 J/%rFBoy}S{>RE|>H>PB2˵?t KZLυsL%y .wP7>.O`/f8e!k KѦrg27яyK[$wgRuUnf枚]l؜]# ^Ԋ<@k|KlWqUr=ARտ$pv`9@\Yia[XrŠg$4M)bO]8ɂ7d>Ҋ!1Ti04m}Uÿ Vj%qW:j% '9l/?GӐ]YauN,ؽdfjn -36lԳ"P29a,v(fƣI*ɧYnOV%K} G4 9ԒwzK}J@;.u +Ɗ  kd8F蕮1qp)±~,~Nx%^x+YwقBi/;El??Ju!]Ȑ q a_0N jIzZ"+E’z[*ϢC'ƳE1PK0y,Vz)jGMYӥu ͉l_Ot)$ada7Fd= (x"'IټhSE8J,!{OhguXp{UΠ`س` nKK Sk 3"υ5Wl";JI|>"ϣ`VwI"ߔjnfIANG/14[AV?'KK %/(x=5MC7:(/pLXF%tf5p[y<ܞ#]QL^ʒ7MFMDqzӎWk<0Vt<|koz*˖sن)(|6ܥZ|i (B4›G+ETϫr/n: >DOJA[jLIt[ v]Z<hdr8䍀/V#d4msf=[̔%O#!?h4-5,@gF\ [7N:\l zp n_88dtm-` 9Z+~_pc y;nD|)(0PN}{c4<4wN(6 xxd6= X|~~{jۧikb }'z(3ޫOsCdvg߂r67CbxMC}fũWc U"h x \`}бh;SCSZlST` X_cUUj~dALs'{<4$4_ɺM2ϰ8u=#[LFsT#ZW&ry<æd OsK# !E#ԁ/XUWr=8%mC߲j7'U6#t=csDm&HvO}3(ߦ,J(U\zz@0k%Ť(uc.5 q.2M$x^rsbov|0W mD9CjsLjM2~rhUS-2C*bD ʯ\KXUͻAA7'NClxI:L Sìћ`ق`Y< yϫu {Xj SU y F.@|2uѤADэAy+{zP]bF.>?#̾ٴ}=G\WQO+ ?qԝxvsHpXbt VQ'(h0O4־ؘgp=ai<^S$=އ@guy_ m8V~'&7n q?FYgZ$zFՊar6G abeɇl @UP|w˟"*)c2B80CKclNR8ۓ) _?֓ՠKDWr=N#qg^Z{_û7%?JWjXS,cp4Q!L,@}jpm_~& ;ke9|(vE.^L,QՎKzBq}jN$nϭK *{3k=z {zӻQ1L$]"Z$j]&pl<</ut^6Q܇d:4Õuk[{izO:.ZJÁW}sHxr^&Q)WNks2:b3zHLܣ4J&+538rCҌD]4x!8TJ\ %4,V|φ0͵Yyif/)Ngь MGz7UQ)"] 0֣d9a2%a[Q.3?ۿ06sMuPݯ7[k35befs&Uljl+ϓ+%J DD81t ź.1D"NIaA-.H@%UMg4P)%sNsjc*cn Gog8Ү1jl2yćWJvdF*R~K^iXjud|AyEa4݁ƎFX ^ڗUem|p^_UތotP:>zm--:V~fd3/!JD\3eAZ4÷#Es+R3yH̼ trEw?r n&MG?k Ra]`|.z xStTU}$l@?c="# re$B(V;icUW\z7rm)D3nt2~ĴTgP&8,eܗy3p?^lQPPi՘&il_ZE/:͠~_X~h(NXaeZ-^QV@ƢrhXUC 磊A|)k ,wgQǁzif>饠֡jt0w:jKJ p<""30RZu@gf1)!vBuBG` 'S3zC 4'mfb:_$%*~QP*ujghqrQ'U5̆-Dݵ7IcjM>+_EnFx:2C|)*XPvBT,r' ۀ؜t͢#XXy[qy"^"6^e\^niRMR(oU@4w6UVc*Z H*o sN[nG'a#m6s&eDׁ-0n 9 BDJƏ(1Z4 ŀ'ΨwYse~h4o&OA?]ꠙ#Q5Qɭ 0P^ 1JD NBvY$Tp g 9;y1pnIg^ .9}6gr"R^C<͝oITձ}4Ɩ@ ,(Y/[7@{iknOAKW=/JgzV膣1\?N+'K;McShv8`:j ?> S!ci!muJxmؓI9 3rѫaܪOR($I~qSB5]k%A?ޤΗ]2'*z_|4,hH&9^T8=۠h$,S\f Ł~ĺʸܴ~u9f n[@Kp#H .0\ }X0:M,>xnﶷ<ǵN2rvV .BP4ע=A={KFw&kec+ ѽ,|<&z&&|> ehImug'sD-ID1ݭ6V~KczPH|UnF~S۷FjW7RseAWp(~VWd ^'zK͆F vKrD݃^Gk jq*Hr$A~;B]aٯ=V}w XlYb*Ȋ%m&}X'2"Z2:); 44*fINl\?_z&ܧHA,G6#0F$٭HV*Kc(ƒ.M7ߖb&H%??sGڣ!`41Y݃yE8H-; uVK3q%d+s|N|ۨAVF$y{]PRȽ; ! ǽ~寀gfy߼+e?m`+Ľ s"] .w$륋z6HkFGN8SҀ$Z܏l`QhpJO\<ܑ$~s0rvXhuvloɌ;f]1>='ưE+"Y0Vt =x1ku*XNwŐ&R[:/P ￴=<ސQŷgl_u(ޅ8D;CHwu<Š),x{2#Pϼ+Ef٬t1v?z(i龂;v8vT,vnkd.R0[F_ A4Ik D:~$C>ș%-Iو=`ŔXʕpTX @O1iuM2$e:[q Nk5m7laLc:od4l;$I~𡰄KF$hA&^ ?Bց*3Ϯ86}TX0\n˲[Q!e=aHh͝zod8i\е Kv#byH[39cZ- U H,縢vԒGGdzv9S&${5dޥX\o?^rW;}Ak;6%Uìzm[O_[2=~гO^] Gá,T\8o w ۍ: ͂fˉm}];EcVGUe|v0+Y,\m~$`˳`6! /y~p._! %…rW(ZV:g r\+H*"Q\, d_~d<OE|>a7lp56u lrbM%+ĭ T%*ފ]\Yd.Dt9D)XU|9ޣd_]o קhM'@cԱڒ@Esfa wK>35D9hWF^pa(ѳzd%Rs˵O>C0VfHovv,؃1V$\OI04jp)Ɨø?DT0uVsS<87?n82jTɐwWn̈́ g{n^f(,BÀAɧVP6Ó1Ǧi3{Bc~J=Cͺb(L` -Oqm&5 hAd]涐$Otx=u'tnJD t-%O~.eO:grdumzRawyQ[NF9pG*rH6;x8˞@*6r.>LSQ" MC5&d$b+CF}Q]~o qūldKtS񴱬[<&(pSH4e;'-l@Џ1CUAQGEeFP~Kw<6NJSMHȡu+)By8}iF9NN_ZA10O <׭j>m,s_,mkg(;&.ښw F׮?{+.EY,7Lp7~k>@nADnJAD-^",92Ьp!eV?5M M}۔_/Bt$]}]wR[{.y[P$[ifye wNGcʩklt].cy[+H}&µ!d^f.Tý \0ml=nYaXE'ڡ\aS j4 %:00WhIS+Nf7Ƽ5/=i'>I\µcc񌟗LL|G/g*cc;-~Ifb+F)D^:a:H0YHTQhBqS,9xl]YHnwL#ϘʡsivGuͤc<2: #];q(L'PI#Wt&A w؟͟j p놵.芓K ,$$ ~ѩOZٝ6 4 L=]餳iq*S;\OHVI9ӓ`Yi4a)WH=єT96#n%򶹟|mXK&Q q'lCnw TzŖi5'IIpMU4BGf,_rV.DO}$#%~yn%~>iy]ѢFWs2HYC7oh'}r;Ζ٢b٧>9ܭl9d̃FBiWYjB9mZj9zk14"!l2S-U/>="TKE29LtZJt6?TaK d϶ԭ%a9JiIske-( t [~.މCs w3JdݩȠ0~2TP"/ g'[;WŚal!~@mb{f 3l4XP bcLsO OeXOp4S3/*LfhOJwe@to5>?? e*}-B톥O- ˾gw N!O\a u tTS}o! qjEdA2˩!Sתk+vt.&sw0⷏>XX0E7(]zF[3N{ Su(GAF(RY.B| JxoNF2 ENAy3^ i?G!mCAr%ۜ VphDkZcv/D[iT9q[όiwWi35?;_[u Bռ]6> 7ޖJpoh؜=˹IpԵ9nRTq=]Xk=YoώW "bz:#E@D䟖b% k٨ͻ#[Et13O2DCtcmz@ĵ* *ewQMپI<ܶe7_(hPj0{o# q|؋R2xtF;(RX?K}lFˀ CԛǛY@}Æ, cqZ|L# oHYdSUo?WoGuvV{lc\碌v^+ Yl.0̫aپ>ȀIxc故H.:;Z3 yL(RbWP}6V"U'WL)mxx~i ny x9q[A7^LX>4]ՊFU͟+P(,ÁCA6FD!f[kec/Bp 5-h!~m;φU1f$q~7we0-vus^W88HV+56$ܸACm_L_F sQR&ϖqOv>U2p8712>HGa|Qkz)uU3k7܆?r`Šer*6yGs~[bU֋״hx!ݭjg"KVdHAa0Q8$腂\'C-`H1: bwSlCF)GhBzg)] 5T:l.]a;_fecuDu T-DLm Jѿݺ5 Ғ^x{)LQ5(78\Kn(&ݞ_K nV-1O` U(Oo3j" 3`\e%1pJRf1Rq-0jB@j. _gOλMyHQqھOڞc$)'<2:#{^p1 n-cmڴBeGQ|aGb"b/1D*K@T$rǫH[&U3o詣FYS)oɒmya7A[ٰXE LR.uΉgԇ:THxj6d=(88DDn f Xof^ IynL\pup[Y kS'#s }tnA~ߨj>fY^_ہoV> jq3eͭO `)3fmi4zH9"8߳yNAS@z:̢Fw `訑Z}픣NbW]0-zq㽺D"hA#Tm /v\UE89`xQuϸ72.7_n-W]!*xZ+T;| sZ 68S~%ZyM\Qth&* 0$ <p[|WHxՁ6ׅtRaxm uCA=GɾPplP-TêlN;-Pnu?hjvhˁ=W3 n>"@ߥ7% H8 E Zr7>!VؗV+HdYhZ9&Ik^a89 ?NQSKazKb,3oj).-y} p2Vzn[ǐOyvM`޿ʊ0g ҳ\R2<ܮg?ĥ8;~X0ate](HK5JBuA4u#d/aD2kWZ| ι,= dL"MP>P!7%Y+"BGG\ԟ#Z>Y+TYz8TY 6n*1_*>Q;K؋s/[3G\%V6xY=@ =NG؏\'q"z.D'5ͺvCG.֬.p(7L=O*hÐ<W3"+qxn;sK&9LYZgs=IB|cvxS@\']vw(RH *ENF72^*5gn>I!jg--|%=/0lN@K(hXAXRM1oi=#_dmHú-l(Tq"f!W#jvEu}z~z8ͨ~oX|~&!9u(x儾XDMk.\/yTѾ-Tvˋ^ h猱_ Rk[őɘMFZh~172d!˓d7lo9#or j;ư#؛q45;!2ʶ Z~b??Ow̫H76ܸ1Wed}hpߙ+bZ7ZN]G%QZO2s͒gx&M' /66+`@v"BBߚ?4ǎ/O6 ɝ{8~$"> 3{t2͓1q Џ>[Niހ xu#֖^\afFQIHx% i;BRșM[JOod/"D~? JD>c(H3q口i2[hQ^︭gZ0hK|(Ök5YDp,kJPoHthx"|xr+@䔯 jsBqe *a\:"+Pi(e&5܇RHQsWu}00 B&ΐ輾\tn"3jsۥ9l{y4[yܪbQ0\&n7v^hZq_\0I?!ՇΊQ|=$%T~9Ȱ=(T讠{ J2#"g>*Aa+la1g6<",%&ᶭyYrK\M+͏yyZ*kaՍѢ]i&M洌X Tzer}=^X2ndqdK(86x~>]z!Đ*B߬7>8l n"ooWZ޻8ͽ3CB/f3}cyPsA&U;"8,4߄)Y79im `鿾i;/ü_ʥ#iqFQNa /'P#lCpnYa%DDz*lӎ֭zy28q K0m@! \ щu(_6s0p{g8cC˨`SR87`)s{QG"Nk :柲uìbYd[[o="]ک~tųt`wnH:iด/HL^e;UE̎=R|3} 0*:[M TQw*v: u3hHEU" !ԫb)g!r556zhs||WIQ& SS;*!Tۭe$A`o@c w*f%#u>U71Anj̭ ]w= *4a Oʞi^DĹaF7˃ZDfnE%Il#L}d_HETpHxLy*N?IU/jj' E,>ݢse.B[GFL^Fz0'UͺzsSW)o eUJ7O0v g>,b5Om !m%BmTfȌgT}y*(-Z8q$ A* p$`ނ{{|y4v BΤ8YMs7: PRZ\S7(]!Bj_|EȈN6A}o Sjb 7Ch C3$k-u݃ޚ+<dX?)uκБ唎UiK̵o)O(tG,,}&WPZM!aBہN;{hFQ1$yȌ3,шP]W:3*dt u7qlFqvT0ΣxZ >o;ھ#'XRMO"7{2 f$U_Sm9\ƔZ2=A PƷGמ9Tw'rQ!{l̴ hݘNtz~,kY0coL>K'4~Fg1®Hgd@wX٘\Z,nF\_ .kT/]֚ q*s0VȈ\t)̎\;}#c4}TzJm *~J*Y)4,C(L;@ ǰ]_Nr7XoP8"SJ,zp.y`A$)vVK$`kT.4RNW7 )7v K^_ uCPwb*.yyT^`V6rD1=s2/# 1sD نY6pagbo*ETMJUdasc"tکsLƴJ[fЂ!=~-f,Jw[4v۬o.i  ~WU Sm H쮂f2N>av=s$XSgYZa7fd970b9d44fa930439d5067f961cbad5153ab89cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c cff7deb7ff074b6c2f132875e3509921ca9b4e41