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 C4ll ]S]Slicing:threads=2elapsed=565.733cpu=973.700gc=15.996factor=1.727zXZִF! )]ŗXf[&R/jht'g)~Jհ[U)D%^GZR9DDղKj}S-97:\dlD]KSr ۈbB3,Zy'9U(&7 fy`M:uЙ';nuN_#38}!B[ A\8;KdKx%M̞b'lL@NNY!~o 3_C|[~xUJ5)_A;d'V`l},ysî7 oQarm HY/@[OLuM/J!RD=CZQe>} `O2ڟU6`xVP%O!!7PG~2&{L혠Oh46vFH_H2FSӜ[!_%9\_#NWvm{a8ױ7:RP:Z+(/#1,]楏lONEM‘%IsM'L 3  E Nm 1ր<,2x8K\BqL`d"]Rf920C6zAF}.7R}sxSj 1+$C@%LSP{.nAD_@Tj/IR鑇'I  >,t#7 2~w`9pB>Gz@>bI{_;SfHWTt? ?!- k7ۥxP&q\x_:2,΍s4ԥ?},+ta\Wx[%~Nϓm}7n0bY )k(_[G/Fm1,v)_Vm/']8QJ3bH;\0%3Jtu_|{vJQmeB|YE{Rуtty{:p= _fX#C0;ج;Rvᐾ dɴ7IB_PH!#&{C,#ޅrt=}B9>?JjCJ=˷.Y>9`ѐRBPGٿf)i? ^QGKn e ,v>?Äct ߚX.}5+2E|M0HKg9]ʫ~$@UaFƸ 0YիϏ%~n"ڒƭ*,2=McZW~aQ^sq^rJ˙GG:5; {݅QM܉&vAL"Ҙ\fH|\FkLAvc&~92BuWuHf00 \'8$){n|V:zNFPЮ~16%5sܜtAWšȠ`{,ˇnt! ӓL, -i XDonMT/QJVǥҦĔ k#x 47~uDؠ-4>@fncO S84R (mg"9߶ڿ|AGnaNtba;͌=/\lC2 9Bs{!bGꯄ Z t3N3D>sh^kc#x-Gn||6 adPI'#' >-D M-St N#Y7 6O3m8[QZq2cf>*^~jZ*.B q!⍐B8 ֲA7ciS'8''[De)fS :U~%055Zm\_Lm;)b   Slicing  8Fz bSZ˩F3K2Voc`1@\jM8-s"<(~yD+JX*L&dy(.,ݦDWalK ^k1^MB;{ cf}tO^_ doIYl8ה*6$_*lڧ1iVO_v2x~o A62YGO2) dxe:87-]G4 .[@R fX<)*~L' 7I\pE]P?Mr Ti<i\|C͙YnQHoSeQ{:HaB;im/H sX6E{"%Է[REv:Ekj$@9/`uUS,"oR+" Fr {_!9^\"DeŜך=V4ȫФզ ϙ!" vO٨Fw?֖:׽ 4S|79$mn ;HE}mo\[^B0~-riƪTv_sqLT9E]V搆Kqio@VL6" jpyNۻ$*#l!͵\t>GdT8EP2yp)+LC$겔 n9/X̂)e#͸wpf3Wf =TB˕ݥ }M{ 3ޟ.ip;t4lMC<CcPyhPZ`ӆn;dN=U͕oĥi³}%Y4ӻh٬3q {PV!~+1Ez[w OY(Jfy'\yE=$;66i KS/FiԼՄ+SB}=Qތ7Pe7jm}FZEetH+Z ~8 @ )q!E.gXSSZ3H!K% X³&FH೒0|$ QNd_[C¹R!jMK;vkW |; ߙ|Sh_`P+zef5Q+o#GְX]L:Ѯ2>XXBxWoS?RQ10"Z" ,%{7U)i?紑+~UbbWG>[bJ͑Rf0Q|FNهiqⓀlZ#(N!u'])cN }sJ0Okn "<=& f3^`= uŦ}e@M&;dz*3uQm`ID7ReހӍkCڵֈ#V{AC[ e;7 _v3UAM&wh;i}Ś[H{ppނbKoRy7EcU0)@/eEӫ_ä cLڏ1ۅ.1l.Nsΰ7gx>eH"}WkOrK$g#Mx59`g m?[5=9 DqYே$wQ9,Zq>U:?jNvIKomlâĉ%stpކvJ@z%"c(;>װ:~\¿Ea\6V2M[?5(J`xg S5(K\A\޿N)Ynв$x M&j (E҉D֥A2nACFcX pnI|lg <f`+I;gPDAae/Ev6c|Xtr/E#9.)ݞJ\ӸXJ>͆TλRS= _r'g/z72%fP,G?2*xFH992LN 4]ʊ;ҪkPq `naW/eE! R[WyE5itcD8";qȌߑ_ kcJCRIϱZˋ:{=:ʂIv3y(Ma_%ä́J($ޗgqkQ 5.F{>Fl,5+[p R^8~N8~{/iNmgv^ ]pAoxgc ө`#gBGlT&q$+QGӽ v. *˅R`'k [B;tRM>)ěk@*>Wc7mE kԣk: H< <Ć ]B~m7 .߶ ssTws/fG@n*FX =〻Hmo6KTΦJ6M mO gԭvE dҊ|b}kyTX8Կ4% |]ȩ/նw'տ1N9!J\LwʅN߀-6@gnNf߭+Rap?&D?EMR1$@/췏kq9U8UI *o2tB,G4q8 k؇U}e0l6\hLw cvoy-IR4SĂbL2a~C*G|"ccHj:-Y 1LB9r 4,^qJ35hlGIEo#?w\'T!݂WA}O bt 5|e,g=8*% ޔv0)%4v?f~FwNn1uvFe?[[=h|.G큠Z&ùa#b_ [2M ZlLmY,Ek]*]i9hfo˴30>G6&)>TGgYZ7zXZִF! ޿_m]ŗXi%>ghVñgy{IjĨ*wv } V0+=CGauzkTU:Si I π3Xٮ?}|- 覲zL V+ؽ żhVhvfPE&:Mj1 J~18;ﵧKtHam[U &ڍ`VRViVÂ!c@BCH"0TE^;/xOlnJԤ_ύWιƹmb>;Zln21;FqD 5#v*k ꒩JqwZC\@,mO鶬Wb}Tj6&D' =:ٲ`1- N 뽵*o4e..$7^rXcO{6̠6GRpn p~j*Z̖D$GA߬,Z14,W-b4j&Wn:&M.д=G?fܐUG ֗ԌM!y%gQ(mE]\qpIu4΍0VR QAy hi{Wf [6s~~~6F9#`+$f'RۊKұQņ],"4;M)1n`x?i ]$qY%wHDkޑ7C)CόOPGVAM<|BO6\ dCjk܎xXC m9,) V2$]zY.}GfV1rFb&kN}\qus0`3ۤ#K3 3${WTCJ`aKKt'RZ0lSbZS~b'vmHt6ZAO3deǑ R8.I9Z$fXǙ9m Yhb|' BzȅRB#ǵK/K/['64*_̹,+$,糾#*mi Knp`${m9w^㻠VO(d~?) V4W¬LT(q a Le<]{u֗7JYܷdNm%63n;Cl5=vwƓ%Cmo?ϘPt~,.= z-ro`Jؐ.R .sƟ2 eQ"K751Aֵ0pBDONYv& /2 :y7l U5܀dޢX(.#,C:Y_莜 =mfR TæZ3Ba "8>ơ%=$x'n>2̀Pxc#3z]bxtw A#l|P_4KPWAdp;B/K!|-v> vU,eRC%r߾*o)/xCpP'TC0omKI7̀MZW89S^_Ͽ&1kSlļږߑ)'6Y{~lqօQzPǔv)A+6򠍲nn 5澝2٣TAi=Bs&kF`rN/|P-k::Ơ33tu'[#x*׈<(}pz]s#fρzJΜ53j[+ [Ӝa[}Nىzsl;dc6{#)ghuRC9TLC)V%'Ġ?Wv@20uvqaLI\LJW| &&ma$BMc~ 6=Ygg|m0trg%HuXͅV.?E?t+\Y h?1Q{$ou emLҖ_JoM79Yʫ Q)(Vԇb#EV8'^i]O{QUiX`>~eM{ʋ2K$<$ũS/[fh]\.dᔈױ iЧdx_>kB!F)+r TN0U&7P}ǓPw߯aGoVz %r 22YDxĸ$+0Cc1`\ )E:z!0Fl[n,-9c.HY ҩ'r {bxN:pk ՚U|N2Z~ƺ*#t?,!|{녒3ݒ*c3m8nQ/c@UA`@" BGp <_6K6@?j$1TDU}TJ'#BT=J7"vYoN/ Cu8Ω|:Mհ_-VOabL𻸵oo}7:Sm# zWAQ&G;{7…W'b9*duTx˖A7B]N9-mݭO.@7w2J=T_5L'5$/68=l%Q%^'n֨5!Δ))/9歹Ud0VˁI8`妧J Cg|z; |#ٴItGDxxc4nRuggEI^-5aHeНju\;WK.z(̮N,|m-Z_NI5)r{)aʉ${ Jy e̓?x xt62_ 3n\l%v7uE{/ʤY1fq|nN:N.~PmJ,W0;+aޢPkݴ^Cl&K5qe2W8@b 4G#M4l^ ԽEƦϡjy|" IŠa6v\4_4ulg 6o?N6q M` By<ȊKZzr2[(~+q2⿑R-G+|>-UM ZnjF\4Oz)Oq׹7s_y{HDAzCmLľ-Ǝ(Ի98ЧSQ뿬Aò]Ȟ|<DŽUVĚK?{ļBD`:2b;m'BMP-a 7܇8=fsy*Sz7tQt%Y~T'cg̸rZ8l=¤h: Ac.^gA3QV,N;P¢/^*N`Vtb7+.LnBIj<4]o*,qbpkB@ 4cx_g5>GDfaJ:ubCEt- 9ȳWy_$sJM{"~mϼ `mDBMh?6fjkN@ܟ?,HLWt"4t#?53IM4-FOs{kb8 6{G/@>tǮbsɃkmAkh!M:{o50}ۋ#b21Ja@Ғr{+'.kP-_:T>3FzةV7)mł[4 ݴ=Ieg1ڀDQ-1-*)¤ [晴˟%ӵɹ yLY&TE'U32fΊ n*_4ƝzklX>ʖ T{? "%-3xVl* S= z\|(w&nDX=\KbÙ_ï;a!$_ ߟtH*|#"&A%r 63+c%]a* _ʟ <(6i κh\B_*d OLzi@%+ iD1q~8LCc 8E2RNHnG`cRk!թYib_E8o *rѩ@I|6Pib߲ջLLͳڣc7,74LΡF ~t}!l {+SGxHwqsp7Xt3^8VmS=D/*)UQX-]v>([¤LH,a١݂V|ݬ6г5PDe>_z/SϟG?,}Qv[ʲ> *}7P]г/xw< 0SLE_6K$q+؏ FI'Fck5B//y7MV6,&F q h'*4pR*JŜG} ZGFUzfmN})D:1YIT*d`IP.>CC>ET9yjjI̺ GF6/l+rtqDpSw'v/DWʆy(sù#\GCI^[S\Hy9wp:LQXI 5~f|ừyNER2V[k$P]:[B#ME5--sb,w]Cl< [ybFMhi4g'?>rOIqџȐ.S#:@ǀex91id(np68m8}SFk:+.9#WIxKY<\իTI`$hEjyk{L#ԶE+5-W $ >)znvoo6D^R#A𓵬ՈLӃ7]ݒ| 40;.1 DN!SZɥ nhwe1^ 7t̟靠|_HtCbE]c+WqA`LutZQu[Fx6|XjZ{gܜi la$w))' yvL}?`P̌sz~Th:Ĕʜ_i|fT`* F5$+{x ѥ&l 5p<]e4-BRUGV9 rt`(@;)V Wĭ)Ny>i:|We.ʧK(XR^#בTpvӫkgeu0 fd#ԷwhM ),{ۦsJ t=Y#=U/wJ䕉vݱ ڭ!Xr1#" !(MӟybV}o^~3xۤGuVP>7|8LZ4D)Q8^Qeqx3p)t.O Di<[i/bQ 21ۣB%~ߜ!:7`=.'}PGbi/iaC$UN ^y)8Lg1P dNݣCR}/I|;ϭR֔ m|QL>&4F- Nı)r9trDѾlS%(< ot,Lt~%IhcgpYe}ż -C3ݹ`hΖӏJ]'"n (&Jeᙶ {/4GA Mm!L.^Y%6TJ=\'T¯? ºo+,ԷSE0|"VSBYM{5;U;zNu]ӏ@H-2zUבq_KCB-Ar[׋1[TF\@=u?V*"XGrj(J+$t43t#+f a/u.Q~3@Xu":z0,y S؁A$e/>∋.k lAπMSsrB!`lnH1H'LTq$xһ=%, dڗs7#~|:& rc 2:5~c̉ʿaZ!1%j<#(7 y=R)(\h]Nmñ1m_YF:/|:^~E%34z dzUDZQu@i|&*_)]cKtngZhŵAz_eaѯ9t]2 ,HQ[v]%|K[T ZRpj|Q( Hd p7kWzt)5uAeþ yvS6u m!d6=a%HӋ%CQ}&9-'L"d"*<ş.pR FvOYG1{~ʾ(LnnD5xRJk4[xk{_`oq"BÀR+J9Vd "g`o`+ch$T4#-L2 IВhjdN< ֹKgF>5@~Jo9 ǎfˀxVb|(9h%w1q=v]ⓉEѦ }vȓ]mD[GV,cIo;E4 OL!M1`/=.U"d_jvΞWAYWIr7zIxj}0&x*0c@),*,|60wP`tt?bgNen0fG"Quz4ѱG>B5wRޘ q3/FYzKrcA܀3hWˬU0D V>$aouV,#ƢIO-}eIzIA* ~teî5GP=G%U>[5^y QKŇHNd]*rex;cf"?/@uM k_|IƹzMyPul7бXx]C]Hpq G3O^1*Wq,7{{DTy'QP l.JBm(%KGP};Loo!ַ(F+#QRUZؠ>r{z^D+tыdBp!3!/EP)7)(?2ߋluFL/9(B7hiil@]6:8D Mm %x1ŴeHBeab;AV/΁P :LDdFwrRH.G*&ͥr~Թp݅K{BuK1wh=: r::"VK}Kwvz#n#Y5-e˦qV{h-Å4[ 3cQLϹI|FU8wZ^Z/F2:V-Ӟd՜LWB3d~w,sjNj9+42Kz$*YDLq8iu1%m A-2LX'N-1 jrÞ1 OUQl!g C"ZV?vF$e}`a8# YՑ 4Z a@Qb2ɀٞ:2!ēDm]WdA3RK͌%hxxzhϦ~j#n@ /e\{E'Eu>Uז7tTeNABpOϒPv뗦osD6bǷ*&N}}nʴ^[rd)`ExK5HQ)Ņ[lp);<3kjMHŀI24yӗu!7xױ 뜤ZJ"1Ư$/^"6NHSWM >-k,'As]4 '"Hn.>|fKCtVke/ӕL[+F2a&eL&ozN̋&uj{ 8*sDŽr"oH U&"@RPW|#;HbUB7D 2{JrYP?; Q|Z0ۓ<-2߆424k%+j?DG/U>1"G} #e8LU`ᶠRy)Y =nJp?k 9k/WHx͆h-ۛ@ТŔ*#:;G&-S䇇eŧMV)T烟""GX2h EQZNtk}W$'Ny- !ojg~J=҆!3  +MF0dddQJP`gZ?s,4/*k;byE2Ͳ$MήK mY3 O:%~Ei7OvU$9ENrI(_!Өt9F[@j4}ZڪAe^!_i@g;\ox|hWٹ9yY4Q;QOܒqd5:mM?]4[ ڍ(0ȔJC}W mP%:$Ċ o5At;܇&9qsx{ p+yOƾGHunr{Qw( T!end}DCdJ|4837Y,f8ҽ+, >@ Ft<ɭn0<ɭ6ӬA*NiM0ϋN új0dӺ)6GݚطyiNC@.`5DgQ̗ۢv ytŬN!-Z-EH0 ӵKO#€-={<^F84v{Xy u!NghxvII7O'\ʼnm҉՜[xsFp7;- hi;,` aȑcBHv+a `GLǽ'KP ۄ(/g*Ps0ϵIfGs!c;^S<,n $֛㌧kˮ.=wWO2ղL۩i1Ǖ zwj*jt]:`/,/ZP>;H;a0rNnsIjkL1S0tL+=VhFэ}uRSUzd[QX1Si }d l8I6IeܗH#*XJ 9V,mú kҀ^6_*ja` V0)h[w 5p& h9v^-~\<4>G6=ytX1P\pN0B}9qtf$;IpWYͫJ-zI3c'VPV(`Yjg%aW<"gQ3OC<?_C S_Hc9'W5^zhȘkط=oy)ћ PͽF޹ʧiBTA}Oߢ%M(󄰮z&xձ/>G ̹"eWo助^=ۤ^j|LoZ@~$O%B5XuϨ|Mg_jh䝊Vu3 ?|m,AU!WYHWvwx6Wr7VV`Jɻ!DBD}Xe֥Q&M`Fa(*;.ǕZ,aFzڔy4VGv 0u!3upya&ns\/Scy"Q7hL? $Q)IfեEjs@;L f:1*Y lQ ?ncviΉcVV3:Tэ !78謋Rcc(ѣ v405My,O}.1\bc'mil*LVGMUrB0QLY7V 37V߃\{fiRIrOhd㏚9O=)2Bɖn!66i07Yt {!fp;JNr.VO\&Y;xҋ!pK foŸOwl)q~U \EX%^x~p˖e`ZeT Hf }qW 6t C<:T39^Kh:jjxjҬƊ*}Vy *39>/ֱJPM"Pn ,}v-a[@`Z|E /cMcUpҤpyȴH˅>)Iv`zK1c$'N~F?h6gZ\& j0s [ 5QAHzA]9t_O'0/7'6X?_e?LZ 0/a{Njvؐa +cgQ^He5ؙ> 4,ޏ1Oq6_Y*qRTօw-:,o\^I\"M<>5aWF\`ȑTco}fD}x-pUaCet?b:->EN5|xO!/N$"GD;sPxza(-1jI[0bn9KAu+#QlIjld{ͻjjmL1%>2KނQ(*Fi'-A.]c-oR/B*ݫOܺcXqvblq/x]3 prI q,=-S#*)(Mz^ E0fC#[_0P$ƨH{ʂԎ F}^0k׻ 6dNZI*rQ.P?!/BO=7PfՅ r""lQ;[G}F:Jp4}T{BpJmE7LP|A6؀Viΰ*BRT$踫a 8%𿭏u7 =#.)c(=C/=Y kX,݈.?bs٫:֚Xbmp.5'E zy e ص[p‘{ fV68_/nW4&qפmN OY=E}W;*yrĩ:#bJoj괋U[azP A77." *"4} 6* ?:/_ȕ5!iTQ(u:}Y1@!N9 u$8 &h 9^,jѭ_4,LxwN6z6Z50]@L ؠt+g-n&@ Нep5"գ?앿sRQ$Z.^fQ3428wQ`Ѐ҄+ժuH2Nm+qeK$_87OTF R;`'z{8z{&<Qt05)l|i;/+?p6tJdF])#JǀZa WA*ɍ]xI~]ެ1Kn|~" _GކG?Qg-iPx-:Om Zk"-˃ /S_B[GU|/[I3:e@xxulw-[x6T5 PZI6Un=Q+ҁ&BPxXTr%@x3g r]rbM' ۪hxD}Q w&FW,+_gA:Myj 3BEuO0vl681#܄I%.e^AؑoA%$u`ȅ؃Je弿TRE<;{Z_0*8uRܤёsJ2A3^5^Xە7"t84u VS6@6q$0nVl$=.Ӈ1gȥרIsnIt#ce6)WK=gS'1B粘q{mB 񭀛Q(ϬE ٢\ 923{~#vĘJqP΀۔S}.z[&қ!Ψ-3ǸČ (.,vu)EqBC@5kl1stBC2 hw\>eRzXG&mTxVQ" ;fk%,矤BSЀ1"@ } ::ǛaM9R;ۇ~l^ӯV* lȍǠ NP:e/=\MB aYO=fwoiq:gl!~ݩݬoe2=)AO_!Sxa(fd{D}!t41M|*6r%D\)vX\ N/@j.5])NA#̙P2]66F3ml&q%n08Teuk,_Ρ_}vKMszPGb;Vrm@%A9)|%#bD‡?jQu j0C3ٯ"#sHWnRB^S?]R$̇Uv7H [|+|eɨ0{ `u3HnaKl{;-Su;kF.k;9u(y˶ϱ\yY&LrA}xR}K_3#t  I4^Cה_[)_{&aUdrm}9T6suv'XHr|T6dUH{8"z@H鳆gE39A[>>լf{l$ x$vmS#cqrޕhі2tލ;ݠc WjBU6g;ə7kcIh}:%vjmF\JzŽ$9Jh|I(/N M:n |w}˧19'bj$P>Sӫ q'<[PB N#qJ*qۏ㭨T*Aj6˩JZ#.t>|yp L,+A<4y&S\ʏB0P?♸a'{P7ܠț񙾵"}Ҙ)(+d_PkM['1P5?>9a*Ω rU9[TuȱQ\,)P>P25B):? Io8.J: UT]J"Ȟq`sc^18"pN@G7&eY,N5v0\8Yr~C>|rf- qT^+l =o^aBҶvХIσFo,Ev%/VO@lh!m:Lւ\l*mf۴ߵ T|YO{ 6ĝ]l NtfOuDs`M1Y!mHvPŎ峒y݄Q46>󌜉w< 3ceE1IImsLD^` OM BJ5ü6'^N:+cvy;C$L>ЄpÍ6JxHճy1ZZM"ԂQQb2\L׀ؔ&@ `b̏&#͈%N0#2U(}E˖;f7xZDM(gY׹ʠg?-[–sG0~2C UqۅI'?R7!J1Kxay%Ljd.CKIА7Cԕep$C4,Zqs"c{iqAbP~`&l[j|Ȓ:VD<}vs] јn o\Yy`ˤ9c[w"O^x?4Y z=@e t^Fo;5x1Y)`q+``aPy8,oioHl,* YتrX S+aJR6:R1֫yvUʑȺd AYo‰RSp$Ef%AǣK,cgD,zJAcTj{PNŤl]2 Jy:]P] 4ޔ)e _7٦#;Ŏp7y0x[ j׎r70}b=cz6v-% Ӱz<\=g-iӱ^(,TOHm7pklnc-R6FrO%_nT4LԄGb;aBQq!e2lJY/#S |Myz2 |! ] ƴqHOD? 4(T~V^RPZy!cNcʫnPߋ^cܛr})Xm>,;ʎ`2QIF cNs\KT3( N;EO=ͅ` L?/ <.l8V,xE )OPe%x} 7FQTJN zu#S4鱪EF _E $qxٴD\&Gb!91 Y၇m;k%oLG}p~ haU%;% Ƞn5—btxVi5`b S✻n%(ʌEbЕt"ոD6#L|2}2?'hK#@g TU*ЌΝ&E4 }(Xz\3\̡k ڙ 7@\AUA V0w=y)ws@` X!Vն7!NzKe䊄uZf ^*% = ? 6"gaƛ>.UmS`Z $QY<̉ rۣMٸK*%HsQiyjjqȱF&4B8J#+ß ~TdAMUGj[]tBXؠFMa\u{ ȮT6_+ |n,b0bV;M u_RD+JHjOn[Sf -_٣'1>؏[㑍50>G)+Frl.C'c < 7S 8M]/V?!;[#^Ȏߺz?ܽW[v5<h_|z\ _i:_f/YTG3ec#@Y1YhvU(0t.\L$bv䃺(A_x>fXVwkb+_X(6 @S((gL 0ySc}C6XuQ Ÿo9ȳzX>71" ?ڄ2u`d=*RK7 ض!I T_u{b_݌ +Xv,8|ɂu9 H؛uRXG ]lJAhkMF}/N6ݰZ_k+q/3KU \#4d^b\SљmD2^huVǔ̬SUx! L XI^>so$mtﭩ< oY\$Bϫ`,‘JT<9iFO-q$@pE;u'])`Qh8JMA{S}NpɎyXG[5Ufr (FDл$ş7 E'O!@ 9ZLMd>F1^[H vYIb|rݻÆ\ѷ m*e17⁤ֈ '=!SK)i풨<`F[B93|85ߙ0덕f$bN@Ti(^2e$딫LDžr]ۂ/v35}rfo@6l jtxP&;xZcc a`zcEWP A׹z?Tky XǛ:4A;Z8|Z}' -kDhM>ߨ`eXOu2XSCVvۮLZW7f$̢Njܨ~ 0zXF9 j %ujbV<>/Fi!#|;>ϜNB)'X: VHRx[4,S8o3iO1p%;-glhg0'f%}]J㚝ق "16¼. "#"嵽':xU#Mu u,2r5rY揱eݛDTƫq@Xʜ|+ F9u;xL'i -4Lui7U..^bM36IS5T 9˗ -Y@+vG43?>!wKl ^_,\QSf{V0~WzQo})`dGsa;~̴MX2; vL[ oCWRɰ|--WWpBLXXUX8ڄNaE5s"GrN$FiF,`s:a$[Є㛟{ݚxĶfMMj9Wɦ~rKer@b4 []ݣIBz 9_ǂ50,D)_+!a䪵 5V(jiUΈ6K:ӌ7%]c<ʒ桃r ۔ l2P6K8%uϼmxѱ GwK>2oCɾ}g;{܀T]6`*x8]:YA,>41PsR>S }EC28Dp@Bm⋜d3!^nou .` r|M 1wwɼe=\Xŀ\bcu0P,2WH? nNb[FL%Et,%5b>>UP&03X{ڗQiGpsOLt VV!EB @ crcn@co|8AXANJO-5<'ozZL\rzP€^N <;V(ڵ{}0 09^>nQ!D-Fs/A7ȃAjD @_yҼ"?J`!뜌'M9Tqnؓ;ގ̣Kr &0fUON!+Ju?~.er:D_Md"hꤟ3r]/A"1g(UBNJ4V} zVTf es= 6SgJŽsշdspl=+{ .j毷) ~ϗc, MƜ/UŁY=NPyJHnmV #rlض9Ck:Xg:5V“u#<*'!fi߀IC췸DG@(:ϗJѰ ( jLHpTa?Z`֎}A2\M V+ֹgYZb205241cdba58d4f46a6f74b07e9605636bcb53d0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 47f3e547c75db7767e004a4b015e520c4e949d73 37e433573e0906ebcff7255adfdd5100f3ddb49b3e90b0e19781ed2f8158d3af2f9d1e07aaaaf105