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 \ttT ]S]CakeML:threads=4elapsed=373.077cpu=1129.356gc=130.696factor=3.037zXZִF! 1]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5I"7oucW/<:)#ᴵ8`r˞H3 B.Ö_WRQx:YMwvEBp9rMk9dT KK3>W1t\*wMƏs@ V/n 񼣐w-;nO(H.9&=5uU ǎ'Q.0L+ DUA.,@;wTa18Xpe pB86&%(M;N<_3n<l٤*_I   CakeML  z]O-H6k:t:C5Ok[!9c^ncl'ҕ6#G> p}sZl9S͚Pe>zg~0GbHAo~%$ɐm^^37p"Ke rnAEFI[Y\T/? L,;(&醵FS^x$7!ʐej#֡ gӃl͸OoVUj>Dwτ$UJ?)糉gۖ@JNtj~~$b]QЌy`mՊiԐo1UnTBO ;XXN^SX.)AËwf(p n!Bv7U?(:vd@Ɣ?pwæk fJ+6iK,A3`h]F|v_6 Լ ǦUB>BI;k5 K(2$NG%]E:>lnpdAOcoS/v|Eފˆ0{&*<8s6FH8G@SWu7!#.^?W`EtQŖ'EX"(FSpBN~'4Fc=ƨ|167y5NS{t.w3,-w}tw _#Y~?,}, Vo,= ^NZX70UYP43m-ٚ>9 8Lbf`߷Fy&@wsP[˵O.۶myQL.FwJ'<e-1:n+aT涾^'ϼY7"V@4_@wҗk ;Pl'avTㇸ6Z@CYdێX#13wKp;'T;@%]΢v+ۉ: )-P02ӫnGPcs_7/.S/X;73lh3 nXb9g^ttUU?&о㼣,$+qJ֮H  k:H 2}S NNvNS]2x.Mѱj/!Z1C1ca|7;iM[)Ut֠1Ks(n6OՌuqyRO ̎>};hǝZ|8UF5_F ngL@ Y ÏR"u2wT/p~Jkvi*RbD>t޺!m6b=^(9җ;*J]ܘ / PInK5{#vݡ8ʼ2ŞT*e"rj%JS 6A"1zt|I9$YIm̀eT*8.cHVscw1V9mv@>c>iT~> pʍK 䤡h傄/10Ysv Ë@v9.Gl[Q 4 IXcLN6$6Plp&}8"m(CیGдB*Eb$ӛX1]鉢!mSJB,bp[Y}*~[`8ޢA-UC(s>4$bJDV3<*`o`kn42qC(PؠBB , hX43 ]<ڊj]ŦMXFQf'Peܡ1 ja!ujp/0ܚ5:Q^ _ОARBQ|^g3vj2h6$AF-cV I9ՇTpw5VHtlhSO 1$E*xsFʿmaFI)|r뵪#VSpH$r^v!}- OhVB,H", 1 }=fKzOg02nypf=Ev";AdrW1'Tm?G$導;U)/ps7Տ_?)8.Ùg\\u+7l}-:$VZdԈWY0NԛKM;? [ox+ Ua/h}S'&8<6 c;ubQf埽Oc?[:o3Ff+0A`&^KCZ)gbTmX>j i/t"LSiL]k~D\#G~nfBGKۊ@gU*lFRtyoQ B:$sc\q'.԰Q ;ĵ>ߒm ijF6V#qD#aEgF@iʛ<,D,Ko+n_w?8U\1t{0gf|"6s(ZR "BL<=(M/% /=MWe2'_2iԅ6 O0# Yf&\gs^tm%d jx~ـif3`ݻ"E|C@B)DBVYV~_#ty9N˱mj:WT9Ƹfz3[prdEMc<#,ܥfzr5]OHo*(6_3LA%ޜ `dB{sDUGt0Pzn'@rhd߮*Ob}(l(#Cc--QmT?)M bQaaj;8ǸP*RQ0-/ 0EXa/ bρ"Y<(9}=_r.رb f)Ə/;"4RTوYSa3d*7GҡZ:W@, 32޹2YZa{9qmܡUH:iIp!'?b<{0yduѬj=;ń5Lr\4/o;1iøW,U(.o54/;O x5CԂVKZwAKls$7bܷnk@ymI;-+JlJxd U pH+2E, )nnut3sGX9ƺn['x ,w#Hn+$&mBu{bXY`ۙm4gaXkfnJ.;ZLnWoet y{򧏲6T0÷R u,FSsNUso;DV˓0ƧE"%eԡŵ|;)DLOJzώ}XWUF-&"L4FG*F`݀B hP}]@k.{'z3PN*lfGIꋥ"EepU0c:AU,=OK~c82F|tZh! _[8 u><2*Rs{Ub2wE,A}G8UP0,RY7V!)۱K]gwr.cih(|ܦ4< f1(b;Nf, NE/oܭnΆU)۟$6F6Y׏5GK\!kّ?%e0`~d ò}aAfS^MhIGmzI=zST[yw Ԧj4p\{S˳A,2~!,᱋rD>( IF b3 %^0(6y~K/ .z_>JdA4*=4Q5;ㇼZ|7cFQK$|%xɶ E[B+t5$߉_Z/AɮiI3>͂ `.5{!hH > :|Hb#P|i}fb_{ABUK]6L\H$&Ϥ zfrұҞs 1Nv]_GI*Cg2TX:LO$"`6gEӢ@QNy3[z}hbal\ So? d75xqTBu+h0~@׾͗=ľ6PQ%__ﱤD#@SHUo]|Do]vNJj1+2HاEt}xi/)I'R(UQ U)7`K=MY&wdG~yB{uRҭqtخ4 >NAX 4:)YaOj=~XOkŁph'>q;Za_nHbhV_wmV@ܱ2rVGp(*mA/uiצ8.U6<;fiac\'Gi`>'a ſcsS! Hꛉo.T+nXOhi4GVٿtV?,';7hdyY0 ~QErAo.N@us#ah%<%R/kQA0$)j 㫡Tj" ѲAB Oa,@6*)8;DqR5et`V4aYg5^bX$du;hus %<0uKH7x'jG 2"$+2aB;ClOW*$ 5Q&i%:P+JB!hyX5ԇP\S<®SN XAKW1P֍炫;Jl29:H[@޹>'?ƶ')X ҳg|AL;Si04^5rĩ`NG FJW_'.M%`%ՌFڈ4 p&TY>àP7JhVW.%l/P/4"vk ᝰƭ? 2 d#$7 P0WWXo-WN}svq8JS0ɝz-Qny"2 ӗh $*X4[Ug4ɘ12l>+yƞv FuX\3&A0=B~gYZ7zXZִF! ]ŗXiɟy3 >u{b|ߏ@@?{2XuzKKqZI=G 'GS9KV?YOumqrZ #w'A+N y t y,JӋrJ{ o͕Dd}Լ<0WFgE?LDrKwc}00Zz5tTЃNSSwmIjn"Q)c?7~DxͿԅ Q] _9@}jp{ПDJyU {!1&8;i~6׌UN'F?dKyRǐ)mǑ㼅ih߀"/^roR* X3ݣ-9RrKArTh`4w f.Üh+R'Nh묊NEdgtf2S6zvVV?tV=]\Gʉ[7N )ZZ8Y7=;BN$tz'Q1ŧ.|D";y~=` cU{ML e\/)ehpZz~)m=vxk(g#c4td^/f1o~“UV !Kw'QLz8>}ѱk}MN>; j`IZٓG\"+\:$5LVBY;*n6{)v w/)AsCf4AGleȬ(TBu!x8v_n5+[gǡ_zaR"S(vI$|6sgq3wNůCft#;5`p-l Qgqmt$2""#138s ])gkvvR!wܾ/Űa3NY/שHB_2[Ws JYoBŁ\D`@*˘m dŇ޾h6!\ŊD.x'_edٛsk3{qS2 Rfhw>zXbFDRiRzx9;s |Jj)tf|F:O Wyuf\$YY]D<8L Q*͡oTZ4tcMj(G,Svns#EkTS\M:ʰQUE)--|ojby* >(D<(P5)"5ƭvru)`@֐)$?<\~HA LAyڃAdɸ|\ɲ=V9шU*͊g *,nݖyH?%[V+ w%O+8m?l'[ce0He| R) - gYZ7zXZִF! 籇`d]ŗXi%G̉LCY`reLT|M0g1.k]V!]jJ\b v"T 1NZz:p25@s/(?BR8VKqp_OJJ828[KaB?N8({/Ƞym_q rs9rF@⮷d}SH dp m[BD1BNн˅u 0T㹏lrWqDNU6Г{-6hZO%̼l7&`,Ok2Ą`L .1̀S:Aj᳛aw0 $I< ʝXzLwM N!|-/<Ťþ&iʟ;H_Pd((ͼbl}RΈ0 }I㹽?W h7rw'G[tS? "),e}'L4i QAʾWdjO; d()O~(`S2*IkUǷAUUqMٷfE؆MlN,)LޕeBg*Fcfn,b)7_{1S .7L_jxa +#7nSy`;n섑 4n)cS%zenZSB"uw|[VC z; 3Af7Z&ln h, D@ۅV8`ı om.{j?Y*cm! ʸP0MVEv}jƫ kbJz+ ğwJ-Vq0փ̦T}WQez;/,g^fH2vrtOiR: J z4o3Zbj$8c?CuO-'"'Ef4ۨe$Y5ZsyaE!x=a^^;8mk>Z\3ۊjhc ֚k3.$9LEpu07s{ bO/5D5@8)>uo owD@Qp1gѤ\zxF#'PTҒ܌AZuwp*r:vv;'& Dpfg0_C<bպ\:di;y GC$Wَa.Iq%#XE#Yץ]5O}Li^DWR[+Q} 0:{G ;6<˹V mnA`+P 4.K Z V*!I. i kjU [qg^L% ~gFe*$ QÌRќB >JV*ۗhm6t+ֱK7ʆZі;sKpT-F|x.!eQRiq_ai0T`1tԄT=w)x%I+d#~TdmSx:A ya$PYu/MLMl@$̂:r7z>};7+p: 9/@gE-8FLe٧M4e"c zwk*iZ鏩]g6R~rq*t} ɜQqBf S: IaSǕ^xɷP}t^W*Sw Gρd>a!q*atC ePÚytCM9ONT]Ë@g}p w<5K(Qp!賈 2~a>k)N> ֐oHaqUO T''ܻ۠ӥ#[o(,"?j 5kb}Qrq@G1'1:7BFh7DŽs dMf_BE٥kI_fj>*4* [s0`4_h<Bb7XgN;pz!?G8oppӶ:V-B5C109N `^CϘ馣Y:.eo9Uh-+LK3\/*XhiIZ#7ISU罧t kچ7gI4vh d/h EQ.s|='c'=RYN9&Shj: BUnwL5nz]VݶNG:W:'[~8ω}<= |Ě* U: ʍpNF+ s p5gPXpՎe({O°yK` 5NdXp{v QQ[Iʗ6rB ->!b/`#ʵ=/EIJcj8t 5&ƙWQf :/RAQ~FD-z4DF[p8Srx*j!?W@jl١ pV aC1:f7D g٫-[:Mu%'Q{0յ*#r$.؅/K߮]9æ-hwϝ`&e&F3DB YaU72Ahhe&Q;h_%$]ƢPA[Q9b4oS*zďI+O_1"=g::[ՙ0@!@o,ŹMəR|3'StM}B^Z $adV2xg;H9:"z$3c_z=Թk \z3ctAts .KF.{h6I lqMNSw%D`~D I?[guʸd9ế,tIH"r?Azُ S7ӈIZyW8%AMNmܬaw?!! 4Լewk*HZ&%aQܩRȤ'|*rıcG 0 H^v%/$Xx :a,2csfBx2DhudQ2uG$QLJ e>MmAlwÛ &U+NR_%!Snd<"p$@D4Yﶆ~)as(Vtl*]̙1Qo9&, ~^.]|`fy w8`B{戅d– RԟZNp h|B?X:UeaGDH ;b3^4,vId֪:*],YzbGL=(XG9W(raP}v%]5Cm M i tRC)=z?cXl (P7toMz}10[L&%DM<|j ~P yMs^/nv\ uO4+"[ѭA[ ،$@iiH?8@p΄\Aٟ5^ćxܒT8fuڥ1ވY/rƄJ\KND' pWn *JR Ч曗YQ2(b0`T7ӿ͗#K)¡(h~^̫B IΑ6.`"dĶδKP_;Xw7h2L |U{pD:I[|5&27w3xųC]n,ǥnr g-.ON>vWd,׈2':AJNPO#/%71L_'-A  qdFL= "J8p{mpy!4"B$(kI E(^Wxqpgcn#JG!q;ʶ$ -T 9*;N^ʬ"@{4?ʹ5}"ӂS`qꎦ96 'FX>,8Q) H*t'YxPE z}zn/w?X X {7|~_G\=! $URa@Y&ՏKkY/Ӹ+)܈@8p ;|uʞ_=40e䶿f+XVMCԎV! b GwaְPf[ [(rQFADW0"Ӿd:6r'W(s/Z\tCC JPv *ڗÁ1r${%P8L(آ\S{#-N?$l b θ,JRp+q]q+ !p̴~RC[_M@b ] ϤM1|gێ(R诊5sN^V.)-^> -x1ktVEV*XQmkW [pў΁Yc>I9AD5:nvë#eG գB6 ?1ՔEX>PEH+&Hx AWJ{\ɣ>-J:pR.W0>12ɒv5Z3ch&왤G/lZP_qmh_h-#58* ܡcV2WclpnS3h>YEwA÷!,hRB-JuVNbT2G1VerEQb9^m.$8P+-+נhNi ǽj@5ځ0< +Dy%Vj+=9wXέ.6j=b/0Raa⻘Hܟ5 e@{_ZyJ1p_R.?IU;c Ph |:媾=?fmOR+͹Yo}f5ƃ‘d<OCx(:vmJJJG3l$àm |+d;-1>({u`De<'/Vh]xeM}˿"y9>5EpF1>Ic _qjQN6BZ4dd+v޳Xċ1 ');A Srsb!!\Td\DY\^ )*U!\N "P ,o{@..vY/Pl>`2HczIm8&=1b3s&Ȉ Tkѻm*уK%2ll`긯3l?CcxŬllVߔnP }:NWش9cVUl4` kd#}6U~ }k<'H"Mx9L hE)~W 7_7FahjTz6*I4*z7G=_>ٺZn(նE*#R6BkuvuqQz9H1|dD!ܛkrJ=Mxㄽ^PBM_fEmoN L@ {p~w3iHW8x)rV[ʟb5|bBj!X$̨G 뿚n?%ƶ 1﷗d).!%_p1{ڿ!0,J3?]8|QaˠWo}9GǧdxמmLz-GKIL1^xvL$sLJ#gj$5|ZVAmѠ|7_%jG23 + v>W wbI6{]reZb=RFu֓ZS6$`*t/}eR$Triʟ="Dik;KW˕'I} ^`x $r=| Y`L eJJtM͡boo۱+[iy!B{j3Ak; HH}+N &9 gs !G$U J7|\"7 !E_2LB:b2=jmB8  ?aIlXUl7իOgcQ8L0b*/x9!Z'c]猡~Ɓv3E߅ҦCt&[ ]|2tj'^AWtbԖ nsftue/mAqugox\]+1OCX$*]~lvT7)CrrZ(j>3d& b1`&[ R]&Ș@"v,7l/y#]=uJByC;bOW/sr$`gxHQW_ݗ(^$H<ë%m$0;uTCM^UrMJup(Oic{%'!wZ8MSGŚBhOR_q04zƂ/QXЭ²X7Y yJ~LU>ʡZw_PPs.Blj_`+W ͺ@4'a88_q'$k늷SJZXP]Ѐ/L67Nceu4+h3gu"l3-#E􃔝-e|ePlPUpF!U{ӽDd:6 H{L#?g̘>/\RAI+0h#U.˯",xgqS;'3?C X1MM͹7a6澴7뫞J{(.q̔33|_.T_/DgmxY^;#)Yq%0AZ׃L' E"- {|6+Uiec0%1`ȀNƥupIcAǡY8?1R3̌vaelJ!&[ >KCpwdL)6I/j 6 : +\\)ުd1y3r)5B.»zwZf^A$ŕsfUz?M0b̖-~&-!$W[xnZ<7]]bcY ""V*nJX={a#.m4ctk+ku}ʍ-hO3u" =s0^\^YKkAF u:rxef^=X{ xfL1uvܯg!Vpo_ii Odi ,Ƞ_ l&4Q*!q[W< !ҿ\:7N I.ä!o+"G"p䛑<"GhVI?[@M3Nq pQvFE#}AHkN56v(q"b̚ڽQI^==,AX{.'o?Hq@(`Tm+jLnr9cU >ieUSPH8XoY7Oo}+ \ ݹz-)7'E8ɣؿ".a\YyҡX_.Oٝ!&\\M+o-'9|'wEC22-ZvXM^cG܁#V9F7înu{;aQ;yX\mk v~6Ybn'%l2gĒXǷ*ӞWޜId MW’iBFf+`ɩzN't-Q;[Z&"WW>\gWalN,??ޥjV_܋{f~uyղ l!ddL[d Xar;: N3Fr9{k:=!j?%p3OidWr#(o;[FIR+VGMQM|n4W 0Y5?ʹaFmou5ztyBt+@z >mކjԿ,a$ BE8&\Lg`LώqSUy|n Pˆ6MΠxTc!lT!-7 + ^\uܚ۪D E:pZFm\RKpVDVq5^n}gNZ*.cŒmA;?sx*!sˁR/JJեjUD/xcHUy:ZvJ0+ru+ۛ_17, fZߛ*IK)e(rA>S^cS+1צpS v}:uu?aPk)Oݲ#G(Qm&\p gV[H|jnD4!S8}['o$5MT*ubrx$g[/p$[ =[;J,Д#>HWՕ၄ݫ>lQE?$qβ#DΚvb0"WJf [kƬ :yGt'ݻ)l 9'tDbs^##h0Q;/N8Sv#+SyJsR!F,լuAyzXY tTixts`[C+WTzZZP `Tۖ=Ȗ ̂9r h/K CԽ}-H"|bw[ؕMy#V,韊">N\xer_H_-:< "8xAuX܏.ѯ;xBmrr;D"_x$s!8MIzH^d@:PvC6K.OG.!ou/=+IXVm)q<2߂dבR)<ʰtmWڙNtEMrm;OBҬLgVO:\Ì\$ Un1RAgZEKfHnZ@Q+Q+z998\M>Zգ?^d0vؾ{, Gry1ML@p= <s׶v`?H>AyC.$cZHGG =$F- x..x7nMY/p!%%F]V ؘJl[kO%ÃΏ)S:MY!9$af>d2 :{A?vhE?p/wH+RZUҠ5j񝌆SxF Ȣu#^P-=s:շ.Ǟ훥;EHS1o^m~K@=@@?+dİs T֣r:LKC~lܣS(G'ɵR? #rREK,\'CVOR p =J>:FY9$7<:’Q/M(Sr5[R|VbW]Ğ`D2 [ZLI:MQ:Q q5Z|O44UG7Q"7-:B8+m}=WUs.jLU ]? HmE$nv(&l\\:s#wt6}n c8u\ě>a]'q5a\N%8]s}K݉S|+)%s)o. XMb~7>c_5yTH2x^\`' e9`-fp{ -!f1i }8"@ouPmXpG5R}UT'3,LqA`y;6E`(0bnhe)4%;R5\iX_Q&ewDww bsCU*VXKBdyOR5W 3`NJSY4LZ}2jc!͔ nAIy1HQJD],l8u m;h5a|C#>](L%mt"P ]<&<ʆL *0.BOhQr4IfXax|R n/vL#ݍO}%Keq#(O"]² (6Ն6!Z Q`N!g aB}Sv]aF~k JDS5 'w_2_c♦)L@w-FU䇉SY*e7׽ُ]v*Cz|)WM%Ke+kY\1q_lg-6HI|DhKfJ Xf8ʶ9 κ@j3 %߹59,9{*-6vBpJXtlsnc[nMҸm6L2{g{e|R$\?NMumsʎ^YvC"Wfi'dmP(Lmִ(aػʗcVmVD6 AdEp~3Xee46c?0]^;WvS6>uFA(l+-z^lga%S'\Fd&W)hOg¡2zVU:1d&_XVe T+pjϓ2sHp)0BʱL?q620m.q tw'y8f9$8kcJ2w쯜a=f[uѰݤrn2-b o>$WDM7+FR;u1ڛõP7$#~M`轜Pm[O@6'ЕuJԴp0(dCϹ3bXL~Aժ{_؆M'ζ:3ffYMB9]8/Pڭwt?4- Ŕ%Pz:D{飠^ 7{|)(&k/Iwp%JfnSRj98Qel ~e4z^D_3`ӲK"bhV:bJ]wQ@F&bv\-K2[+T t=IVjFkno~ևJ_ſnRX(^fW< DSt>ÍJIhGFyA3`6-ϸU.$H"2#+@J*TfغHq?Pz30CԎ禖NHR_yiM|QSI)Iz `E$b\Dtl,X$da7MÔcs*E%՚DMWkSA> ͎DbF+ >p>t'sO" 8;$a{ }maoMI؜!''{{4c!+OjӬ~6ct"lk?2:EXe56[~uAe +cK1 0wFdZ) ` 4;\ >B(iqZn+G_@:sUf3C$AL[ ÔSP M)HWȅmJzf]9$<,{})+ʉ0޵@s) $棧wwvtX_X=捫:Ti3Ha^/ۓԵ0TH/:{Wb&uRϕ.I(ne:2Jyk Ix o9( 2Oa& <}"RPtd6fˤ`*_"ŭm*4:=dHlݱZ-ō#;EzfV!>▉ĩ+uR-0 `"KCqrtm?8_>;}`DkWT\IDLQڼ0 ldw 8{G(V'?~ [ ѯ=LyE )T=jq]W/< i<U'%)iƞK#,! њ@M@Ǧ_Z/=}_46=S!ֹ!f.SH`i 4$l D7vw(?|4&qBHQ𡡃\fW#(x֊f~ ʰ|qH%ɷ}8Jrw̹Q<k.?{:BjDj#O⦴:Jz-4:?gZ/e8[-*Oa|KldNqڂ?m+;gz?}Ga*Hg( 9t4~>g7؈DT{(m-X*`4T7ʖ'")sĄŁ\ @|4ܲ>ݱ=R* #Ц-&J ApͰe@[-_ه7ݪOGY'@ *z,>Y^&df:ВłLf\oi l|!Ӫ2;gOwjRQy{h>"#6h{<4ƭr$T̫p(: 4!Sy=w@Ό9/JZn`bW Vֺ0B|:( T|ljq|ı`S{ v Ķm+>}צڨ[FM4Y@m$ѬrX@I6ܝWz=jh~Iu^LƢW_63ɣrNbI/1O{~o]xdT\LfҘ`{"T|ΊA{†oY*#N m*4s}o Dep!ekRd]X@*@(nn4h 2v<1]r6PZWXX1Q",!_e@i ِʜE١D[Cfy1Mɓ3%0*X\/.T~4”kv1c(;:!YRоKyf)җ>.U-I|&pv c§Q[)n{j1Ȗ4BԽ0@L^{~6vj[ mWkPtp% LճJ7B4hVCA 2A6Vd VXDpz-\C$* OŸ8}>i,p!ηɂY2lެdpcx` ݓ_ЏA3a/_Ao[{6cUi%MX6 kFWɑگTaϗX47]5cXZ}Dh#\ڮ~[!+?WYJmˆ$|F% v72KP]=T2E d9o~r}O*W0GuK2. z/H _HqP4-u)Z8:L݂6*CؙU1]DօBt%'SHFfb 3#'c3bw%< CW9{ZČ.wY9B* (bxփ+$K2yN_2~Y9z{ySh*WXi4ixA 9q]Z_=LӍ6U\51Hx`vJm4]9iyXo7UD%;ذt*DK:y } \rTZ[[%TĂcG0Yi<笩p\#i{SE eU1 XOҁ$ӆ(}N  aÊB*S hԫ x~JILA&A )o 5rFGh0^ʲ uꕹ f2]!<4HTml7P(h$6|bS hKbj0,Jx1CF&d8qG"kzf(;PT&MsQn%(o"Z?Npgw/2;u։jv-W"@2o%]p@GHH]_gO*L'Aj3"@R<7`@8L@l/pϘ_B{ڢ)Y`ZJ(AIjg`-|[!Z*֒qˡ &s 2~xl(HS_ &~mz0ʴs\)|a/iG+Rܡ`Կ:Yri6l-V会2*nAު4 )IYJP5_*&<)_M\-z#N~ Nj>;K{ME&v:Z[\8_ބQ{Ofw sl9Ӱ[~S-@B. *W'|`AZy_ DŽ1ރG3(ֶ!T,![9>wNrL[ЃRl}&.%E-xC'0E"e#׭hE`com#I?mE8b>k=2 *>L"AZo~h˭Z] j9bO\2 v?:K挰#;C'N9f[ۀIo@7eoA$­BMN-D;gJ(&_yUuEfr}$n\#1q銠 rנ*-q̦Wxf&vP;\MYh ڧ'!u 1!jSȵ=N.Y Z+ X4!j3"I nyȄ\ڪÝGCZOmj\K}6]#8_ 9ب=2 L9!W4ȟj8l]-{\K<ȍҨnKW/Eř&eVsHIu3dqU. ύ?* {d8]CɠQicVvHd{nC{::Y&F)6ӢX!a64C>grw_O4;?Ƥpw85ū(#b[>wMo(O탷Ka%[;OV"eshFZ!5/)]f4)(!mIT؋.KYڨL;wqCz"s(41")IրV~ѢƈieeUS23S74ꕑ1X:^!2qU5P*ga惄 (j|x.6u7>y01%J&e;-CfzqNM׭Cۢ7(u8-OOHУeH+ R71D3p̪WHM|7=]x%}iDO gz|>&BMN&0TP[=S WWL9CZc}i~Hܲ0 jgu/8IODׁBc) y:7]w=*|:s*͘ wpD(m t‰ ֹ/xܿݲ!5G1~cCz1d1v= h6戋1<܌nKM63[ɘViΈaH쮉%FbEͷ^iwq/E|fA/<gSw@bueؚD$z8˩l", _ pPQ?e'eӹYۆ@`J뙉 .üD@NE$T w"d( O>cAvٽʒnᵲ+6)6V/(ǀ*5'ŢSi.NvGX89ncy k2Sg?fP7 TsY0QkJJ̗17s}UEҡ!-ș1j8Y*Lzٴ6I8,-ӷϽ/<1.AZnZv :׻VR\"~ r^qo/jk*@F|RkUz[vo+ec?&fFvbPνƢ3okzy\X1? f^V5i .lP5G/996)qQܑOF]ni:;a%Nbo*Mtb!uT_ϭUzx[R\ %c47 19ngREǒC%Զ¯o0p/