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 ddp!$4| ]]]HOL-Proofs:threads=6elapsed=650.229cpu=1527.784gc=250.064factor=2.357zXZִF! K]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^  7nBNRnhbQ/}z=/e> yDR3huc[;K JkY.{O* A㆚WFHkZ!5 !)hMW$u~J_ J<*WQ0Z]s0Z ^1)`:Q/D8ӨK$p;d.1kǺ`%Z0}@xK0 .Y@+A‹`sZ#77U(Փ\c=LY[㓽_0?SYz'n] Oa>Zy؆BG+ R!BY7oŌ0f^YS9grJȅj492$"voN! _s=dћ"yR+hho\x}-_E43>[H;-5_[ iIf/ڱj!I\ajE4AHm?\5avd}ҏpE'-rL=qX`vMXD(j0p:]`h\-u rJ\q4G3kpp[#0Jm)ojcuI8 `(LdB3HL8<O2$eX- U['4GpYBᾐVBmKGӭ={B:1 |!Z(c#aӯ'&Ap q1XRf#(GKL(۰J7CSt=]ќTԇooF!Godڏ= 5Yᵂ߬ѻf_r|0nݱ9c 5e!jL5w' IgDLCq O ~Ṁ067HF zfz/PX]2e)Ns:> ъ rm)NBQd>^QWbu^02HbIyd!$(ZK:#)*o2wh -e 6|*o~<%Ed}r#0nmT^t&sKz$1$AN' aL,ĶOhۨ"se]α)JSE`&{`LĻ,xOf:! .Y9LӁ݄Fu[ UAOy ~azrt&E,dq%:-4 ~2>/ :TPzbTs"bWidvf127lP;z3Uޙ?n[s{#=x쪨AFfxsdXKrzq}~sC!G=A<i7KıLc+V lV28P,xiЙbd_1ϰhx$efr4e/. X}:=CGT0p԰{Kel)ap=YtZ v-({bq ~liMNoeܟmV=bʗ =_D%ĥ8 8a!Vߜ +pvCs[^EƼpVtFp͖FRuaZncGׄxlasXmD0CQPYOs=t d|)D*ZG)'B|ԟ6ТvEQ8159j@`1ٝ:Bt(@xAi5ũcprRf7Zrû W Sa\cIk_[m<JC5Qkާ ϓ؞l!%u Đ8l.O~?$3QG ה> In8ޖ 'R!?Klp1x(T{H`@7ȐH>mL<;NM>\B-Jva[o Hł!hk2fTy؀#`߬i紲թ׋ӖuпC 4X>hHey.HIQk~pv?V/Ja!!gR{{#K@#t˴Dzt ?Z7>Ν|ʋ^*Ԇ^$s38ƬcN^Ԅ6ᡀD@ǬQDga1U`SSKH7d}I |zG)nӝLn$VT/_ȡnM|h\?0ӲI[\ M0ڸz\5nf~W#n'</sEm-kV{l=D)lZ"%Nc.H#[ծ&0mhF 8F+"~Pz%3h4ZZGTNgC4\AWhg.uj#Yk]y\@q i{bЎ42)h\" O͉gcVi|  ! HOL-Proofs  @o#n(L(P\H O:AƴATDEf6.w4v{!GM22A'bOtpW캧/2nަ:~p!N3H+>lw[#/2v1 h!h=ݡzD!w ZXiҠb"PyE+G)!e9nuxb_\{YEG>F.VTgAt&dF[1Tjo؊3w\q1$栣4Klګo:"<cm[Kņ"?EV{f1-.g*ցGr^jjS,MIY -#ޞ<&cHxYZ](>=A,h:;oR80`+}Ќ)A,wKjm_? 枚#Kj.:bDD`cLT(yWwH>@5LW XȰhhj"~$6Hu7IAJٌDwF29؜jNz$@ECXI ښc7ɱa~ݎWXnWjWp 1x){d̬lm8u4VʈxǪb@i7NUZ5CEBɟ`k m2u?gV՝g±mZ'lEJلX,` ;~-`͵asy*˵] .&H ;SnoHX@>gzk5̌-)o ÍQ'MZDŽN,=˩/ zaS)">6Џ݈KPu>&I[~~IXn'BiP"e`.AAH(1bY4q)Ǝ Y]IL]sTFI9U%F݃,Rңyi/Ù3 (W:'EC-*>HC[#N?X[Qkb%+c-DY.RܑEŲ W4Jv}%Fw@$7βXPث(ncLE)nD*` ddňa>ӟKkŸo:~C~Y;6bQvC8Brīy΁' T$=&̣aӖB{CDU=cdr$˗ 2q߬?i;+&8Dkm6#w T1xטAn2%f氅-*؍a؍e-L߃sP}n=+ V M}~.dzN1)Ӵ]H)3 "m'PS FQ_btrz"舻t_Yu1}{ur@j=yOԿq 跓+\>I*w*o5}X3麦 ZP|8{8.wĖgY u#Z,;aC{~bUP\=֦Sp„f kV4uyt-dNDǽW1Or]/ΐ@J`|ԍ~r񂧮@+m?WZY^hFSxFr%Ȁ!ɩ:FE\A&NaF~#O]A&W1 zN8¿:K8 OKgZSnUTXBT2gYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!B$Hf%6${e~ALg}9-BsԑS;d?٩TK4gUVa.gņ|kJIڞ,OV0ш^Evp( LîW[,SAgۖ&Ưilf6;mHՌ%5Կ3`\ )qz~Zq$# BVT7[ۻw&ѹ hT4؁}sɪXd_岥珌=RkǍvYyٿΦ籩'Ɨ(CyϐF`*P: |olYLت$;DcqwІk2IgEL| miAQ` Y wEe(#;mܧaOSƆ0E,pLwc|fPKt?F{qy<h7 ^=iaY͸E&6% /E@<̐.@۶]Q5 Mh]+{)mr# <4G v!j3̏s~>;Bs3k&bN92f3Nf׏f,D*{v18f8`&fv6`Vq,*ʉ<#&9)Fmz*Vt͢v5VI2M&?NphL $ ~haGkj*2k={A0AoXi/ bFKnAwc1UXn( JDŽk=E! T*_PL^ ?j{V?8 ;})RW~ 6Abc8تPZlՅҰ竕Ad=e+b>Mmy20csU9+Jݰ{Q:˗6;u/qc ^,y'ABH^#->m :V\.}]T7q⪭y) Ʌ NURAYy܁FnbJ%, uW 6.m/()7΁;3ׄFb⭏FJA"MT,yl$p?O{`4#s-\n|D޶<s_蒫Q G~?yH0W2` Hu0-z*,Z,ܫu6F=RBU҄(Ȍt[%RH䵚E>M<{a>LӾ~1*я8pl"@%'+kfPKNwHޡ_h"K_]X0顳AX ( zg&yn?&їA4k=5Q| }zaXFFO2'<<4\LfWv& .|p_t)2l;6}esYE܀jReAc} 2\QsgYZ7zXZִF! |]ŗXi%@Zz3bFk9[#-Ifu~ ; ϣ6T"V3)!u\$So{p^gA*R5? sgf$2up .dFI1oá0 f M ^ǛKըoCTJm+/XTK;=bS|9L@AZ2U9^3NkYGecʈekZi0 {XcTgeEXivo 9µ:-?b)|C'quk/A;/wY:@ "=W\9܊Sߐ[#5./O` β#;4 (`ND[Ww.V ˻KJRD5 rZԊtM')9TBfvh KdX(Hd(aX_ =˦HJ,ذb.m҄iktza[^m~Y3Ԏ'?J}Ć=/Kȥ,: S]zZ|xָܾ_Pdm]O*j5w[֯)lbi&. 1-a? )SEfg{:ΘTـy:ƻ/:=yqlxG fzw]6iBg Kϫ9ݔ)R@h{ÜT`o\ &T?4NGA1 [lI!>0dkgn QmG$ژa,/r\ݸ6K9>92}}PɵYFT⁽h[t-hJ3WLJ o z72`vekesms%E6Rf׽(d"-a8\]Nx e"Hm"+WiZ3K"G!qD~EV0ёVsiOo@I黂1ƣC _#lҫS} ͙Lי@WM;!tZQZ[\AAJ2uգ}0 17z ^_Fq &ȅ_ԏq-97UpjǬ1ٮcvk.oש ˲Ê.E߸h4F8A穾[b,{p?7|*n:%a#kDeQؗJfXfq$l徟N=z0#i,^?FSCJ֫Sկ]] )F3_~8:qQ&eb.;Sx铊1" FK,6l`G+c{KCDƣ eLʘgб" Z(3 hRЉnݱnPl4Ƚ_j{%kߌSA݀l<׵zrhNPGT>GԖiE!"R}zdlXB1 w,2D*gRc׺}&- wU9f# ~j$x02)jmEMcM;XHʵ>ᰲGD[2-^F)StҰk1 '_oםF]&jq/BJ,uLޫ\tF9u3h"Px#M!Fx \%txk]9'`"p)۬NZٯ"^њGL-}A #q5On@eXߝhA ECۀ6|Bi}cg5ιȗzE0tMmEb%9l}XJ(1HjŴI`PYf >/=)1a׾JUw?5!0]^}Us/ryb:{(Lx~t6,(f\jNb#ҲAGV!8XlGDFk!zZ{.|=˳)Z0+yqV8r/琖Gkg 0{]EOxv21rX|G E AgX PAj+I09=lV"U5&L2|;;;Dv2Y*vP}i%IM)+uСq)fǷe352vg3:sGY{]+bg,1OC{фnUƌ`K}gVGХCg@"Ȭ0yR5mڡj̅.@$$As2pB.ׂt4σ,S*IMl_K@sZȉwMFe{autp=P)V9e4u,[P^("d( |T[F4A'L3].χzED)'TneS:Iеs&p0C܅|{nS~:kNf1C{ i޲`ouZ&m=$)1OfU@pkq0L]рbٰmr 1s 8Y R+;_4Fp' D?X){sMkǬ iji[tvf롲Ȃ` r , i0i+6 '^w /Š-LO@r:t0EG C/c5̏v/hGQmk?Ô[s+ Wat۰V+;M@Zheqc}[_Ea^;[ 0"@}mc0%(:"tzSfiGq A#\ahh!0  LFQFw!CD:7-SڜD=B;@{̯1,3L}\]fn/;ejY㨘?nx~ f}UBX,̒9Ӑ"TehԘ; FNxgwUAP1ADGʨC~=񛭭ʕD-#$_.@ֲ#}2 n|>\ߗVNeQOIzrtLp?WB4" /i {MЦzfX{%0԰v>{(kM:1c+!fUCӭ_;-/XplIxi : FFܡh "`X`x'cIHnuYVM1 XSѰZfSKsZ.r\maPdUSȕ,($"1BNަB^1Ɋϒ @ע mQKB^|Ћm޸T1`TԤt9`+XtB~;!Q7^ -֚mR@"Q8xaA21W? ̼(`0(R4{ہk; +p*ժZ>),] _Ņط xiF9RBY4F3֙hYݿu[ȟ{M 1wpҢMJ6 "=mVV֬it+CPAvm'iL{'l1k֏KyBT~M@M3 cInlqVys #= vd"E>iYP%9&vbPriTȵP|ӾgT662>r۩$[|r݄SNT. f97d:\\ dϜhGw6 n \[#lZ"-6Z_/9W*ȴZ8LXEk Exx }gį# >7mgw+)=V8OTj F7OIkǀ:@V2c0 )N}B&!󞹌UZr|}_būޓP$EX p8nsE؁J!a=d6UK-Ӝx0݈,ĶщduGsnvoѣZų"Ǝtx+3( T[Iv}P񻕧1tyMau0T Ztː:  7; w4:h<ޕviW&x57+y]RoIK*'盄ivRAZ.V}~ԏZLk⑹h8% ،|muNeoӝ)K"1{{Dr/]Pk.8#&\;-|?(߶t+})ߴ5<*[i>jgsF^qXX&E6t*u>mh}iϰHIS$:[!m8J;O=p-w/6jLBɆ )\^ C\t(s"yu.\7; hivxNDeX0p*'(&~Vt钻L1Kybaߗ3wV ˿?^>P&Y8<&["DRϐFfbG|=PGX{WB7J&g,x%4BO؀_6S[W!u^]t;K!#H?|x@o`GO{#_puNqlz6 *_6hI}JKn, x>x38I>b9`% '*O2@u(Ѹ*pD~M``I%BadYOW&%qy`= %ܨR N>,ߖs6#OcS@^k~?+d/kCgJE+=z]{+zfe<4=΂ļ-{.J%Ų}a_s%b*E"W2vv\^wC%5x%,?w&F`]wQM0\:ÌMW@!,ºD.ɥ<ϺqxZ_X6ą;"mvD0՟Vz~S{*8:B%1|CWFqj1h1b9mT-Zo zh洬M7A_Ce;C X]H4< g#,P}ӯ-yN ~Ɓv_h/9 G~rb({Wyo?KcDɷN׫!ϋ 1PhF#AGUP8{FI<>+4qfPLs^4 'YRq(ox^wCHvZϑpw}n. LV6I_w,][f\Gn*u{@'3Eo+#ag*?y؝rOa&4|Ձ|heJ M$P>|H`5GKlS5J49[.-gx$I%p@a'EPδ4*8PQxs&O_FQOŸ]к) =Jܗss 50%0ṡޠ;:Lw-d1:U1zs D)&wx*sUv!]kzȄz:Ntȡ]]KyXr?t~0zsV'uh$OKByH$j;1+D|{:[sxh=V9Ɨ)j, ϐjV*3շu#Գ$/GԋCuha8HaG݈CQԟbC*@`uF?Wlq ESInKm-/ilia/FgW..E $D]!EY`."iz &O.rMJt69Hf*dxXvIHBpfa4TQ"kJ{0o=p s*k2 ϳI4_eU^DQVZFse֠Vs-;CpBNzhGq&Ij⫾{oXCRG9?\\Y,G d* 0r vktMT/$ S1MU.kSD~ˑSew2(j)  yAw`fIt2RvU_3,'+8ϔnJFJW zgĮ=;57:ĵYsx:v*Qʤ.nro!>MqgA؂+?InDf@@@dyr^K's\ Wݠ8 |Uq 5)O5^ \OPqzC8Nh"yuu y!bFoSY3ʭ !YU?/&3c (#= HFnΞYA|"i%_p̪u5& umMkfB dx,#+چii'W+__ms\>^10+zXWDP(IG !pAFR]| ΅X-SDV 48AA;kẏ榹k([n Dmd%FOnþь8,e:Ù 4_d T@w+5$q'BdƲmw%܇Ҹςы #:eyfM|qz6чϫ0nL o'ܫazqN EfԾx;~G$f7cw]ɨ/VPm”υܦQ+c [nia4; DsB_S.PsO"uNnHڜTsb9C!ؗЮ7DU i֘ ʶdOc@ b2Ɲ6^{~/;פDW;}A&ޏo((PgK3@S4Ŧ[[:WSy΄`Kw x t*S'05/+soyJ%S@7W~n'JPMTVʇWI0#qQg/CB8b&w=V!n%FdRPF+/@K4C&c~3}#ްkZ&-Ӈ]0A1"a|2U}NE7xp;[Aot}QrdGV97ӽ5L7=Ц*. T2.T=!mG@ 5o{Y{6Of6 `}\hzuF (;T5p3Ln>e02(IE-+WkRʝAO [2Hwr}8cwMPN8߂70}E._'؂ڗ3TeZ[;u:-rܿi7whE5X;N0!U1tyG'?Uˑy?(H #bi.TNf/'׎RFxTwE-\pa^R$ٹtX=WT)nvp@J,C|NZJ"fV0Zi.gzbWdt3V%؆Ә>6yte1i.hMՖ`"tXKml*w %uɶ 5x`B+@G䨠nJcRKCč[U>?;S~%u ,ќL[ww }H}No!+xd?{/ 3lzD;؟ #~YGDYȭ6IJ@kZ߼";Vpe֛H<źȲ=;¯ <}5+ݰ?FjdxW.:3%F/_i@Mw65,/kVE.`B~mY3|8/rКa!\?vxֵ .`{2Qؤ=e+>F{ 8`uKT'GGm5Lf_yo|vG8oݟo̘&^Ln_!zRӹuP1j<tT" _DCqt;_9^{UAXoj}@oI91l4*ݪ$1ZpB>qܙ 3 e$ S" v|YF<2urj JP=#ps󜥇I26Wf)5AW-c#dŹETk#3??6Wf#v@NgoW@2 8v{j$XXyQ !}(ڧ+ pôHHr "poϵaj9qe Ti0(B!A)o̅=QOj'"Z:kwl܃ ӳ?no0\@ioNPUƋM?e(s#WVH igE'A抖*vi`\?.!ޜh E pl&X1d {u 3Z }gU;Vo>rGljIA ?zBР50 ܈ Q纆G.;%/ }0oiP@R {kڟS4CӲ%|$Elʘ9Sd(-%3+ȷIQwuh-yAV2Z|TAIl/!] rwłi^\1: }ݾA)ˉ ׍6+>.\bYΗo)`y^ɈdD[c=<t88,B[ԙج{ΌDňH ha\r3`s;,wfV M.b/J;wԳaZHت-JNIM1-?8 D[1GO<~쪟E\Vt֬2H;Bo0wm=8߸c OI6/=Ҝn nFhP[>Gq ?P _խĎb <1aJ̦9݇aQDO- yr2JpF2U{ E&jU"`R'J'hg&3C`o! wS "DڡEA0_BAOZwË?o gr2̄4=;2dy8Jc+ hbYqon}"SLyX 3Xb.+ܗ<(ogE .[͆_ NEBtE~·bp^s#wZ_kH "w6{J8f(,xbFȇ>:s|y8獟 mUT 蜓D>˔+$1rFMݬł/`ISxGv+ 3⿞ì$m7掹$hEaĬ]\Q!?nD|?jCHoNj~BR^}}:M࿙)y)++{荞;_.dpv[a`VܜU8zcc6!94bSD6`857#Ǥ[j! g10Y 5Q lGt}+@⠵{qz1 :;두ue@xٖOJ[AMİQw9 ^lxB'3^=bIVcDpb_*NuiVG dY Ն6\TAPF|:# [3-߶&Wu0ew0US< 6m LْM4 J*m%uk?dֵS rc52O Rp5YH4CkŸw5X*ޗpTdz,GLM N7jO6J?*D j,nC!/ޕ&@,sznYA퀆`_v3K%[L':)qT 4R;e)LHTW&K>'Uj/4gY#'q!e̴] ,ZqJ =SO'Q{#! 1gi }M-T17|l5M^!o4T&M`ebKK"w< |Qє"g7 6KLI=܈.!뒜g(q}5$rC3//3'r5hwy'- +zf0iAL()3uXM ֥˜.6&^P{#PqdN-Ψ:vEVy-YrL p;VĞ{v C&gg19zIvlU-,ab4 wgcȤGSYwQ1&@%=KmlZ@-oI&rcC]{ϝ/Qzz˘A;ۮz:UKLEǵPx݌:aG"Uϙs$Fv;M#' "=.dUi ~,`[A;|J' 2o)l~ggܯNp:D7DuA @sKV;"_mRvCnE*):L4; 8_lldČ;Ÿ)z, HW-Xte qnQ`M桹hKh bۛ' Y?'z/=hafRRzhOxa_d҃rk)yu<v:;._A|Cqd9K㢧 dYq`_3pmHcS2Ed`BHW0kM8 d,?L&{zIJAd2\z :O6[`V?CrAH*3N{7}*6 [5xwl_Y":S6KE }58j/Fe[ǃ̠.vZۺt7 EMam㽥r1 v1&D"5 s[Wd8 S] 5Sj;.Tn1]訢8Ac;m2mOTɲLP$d8wV!`0~[&E1ЪO'O;//'WP$`c/w&1t[=wnO>eU3 qig *idD[~H[S٥/귏%/]PY`q_!+wv]i^#L:ܤyEgNyf }kSɁ BivHaB p"&Ϩk,T=9jiGd NDRz8X7'0ZdoUB5?˲ȕ0a+ I>RJ45/=g&$ظ[ p,QFu<\c|}dR W?Tɟ3B2RM:m><ƋjC%|XjMXQ%cw([9^;we;Q U,^| pcz.J//Cl|gViJf\6ǁxdXQ]8͵!%ocdny@ǐXz4jTWb-39~DLl?`X1ix*:#?uRfAĊme E4rBmeQaaAm,Fi;sf(¾@.Q2Q/utt +JQxL"-qq?e D%UIţF)GH]< ՘މ=:KIv߱ID?0t.8QK\ߩ,&o'W- l,2|гLq%QԏL,.x^щlu ~T1[bKzKZhrd٢ e)3TVO Mp&Fϲli=&ۋG3Lr6H_<-ѳ}yI79h_P]H<08:%@?Q/n%\BF87hi!=Z+Ϭafc y5 ^G0qc$E~D?_{+Aft۲15"[lyTie8<⌹O?,R.J5/k3N>[qiaĞ_\ݺj/Øp)?ݞ'id!v:MoUVe*a+ .`r " ޹lIH^ +.o/UI) s[@e1M^3H[>?2!D :bf2{xǪat@u&ⴁ<6%MzT ܑD["IЍsNqܖƔPyM`J!^$YT4>98Adߛt\īF-"%$Uϛ ogFy>-t G0$i[1;Nx=;*ZqҳQvhT +7DY0tv2;Hp=!4zKGP]&VL6ؚS +BWp!ұ*ӷS4Ƿ&mo:(}B[f{fIũlQC!5ܥEd'^j|K_([0۞@g2y{muW]pwpmy /cy9CRHbiUfth4ѕin?Oz6/H Iu@Ū`ev1MbUiSHIOxffwx'`@p@a/N\^K9 !OV˥1ww5k3N)WPg0oN4旱X >'ܠBreW;$dvrq&%N[zel2e1@nn '>T;:x wP>G݅B(duU?yv O'GMP^Ƨ|H !6USz1n^)0C90J q93:Yj+BX3Io$V bes>!1y@`.1DTW!dCτX>8D}˪P3ZxLe_&K(C NtF9[Iy`{#"Ai#!V$%^iŀiѹtNfuOl7H`g-gIo.67d 1Qè.RH*rF:*G;ZO/Thv_ZBZ8{'V@M= re!IY>my h<]cϬSQd^wvul_\1lsP Q0ΩWcy @4'"WλIJv9PVΓH\vz7Ud4n8]TE[KI8z;ܖl ӕiKn2Q_ջW>ΉPpeީ3s9\C:KiQs sfWV&jӯ*4vR_&gw77fbQOvPcuL">|s? ud0{mԨv0gAFbw)I2Ӂid~GE8~ml޷w-zdCAƱ -EOQtYY#.}iP7xUr3wJ8DŽ J@^[bhP$2t>lmױћw"of4a9GJ\@L~<^XRWd㗬C8/*m<7?):&tˈ 8Ѽyr6eH0q4I ߆PJ_N/ ևEфmEG%bDFo#(E: ѹ]c_%x%L&Mhwb.d 3!{q@-gTr'q|{zvvWAy>=k䄍BRJ 5Ο%|n@5^* G11p'fV1k]=:Md@@ۆT⏛ s@b' YP f? b 2<+/[P 0)@! N{Q8C}ttEqڮ1#`Po=e'ZPTjto3;;FIQ+1N[W>OP& @'.r}t/yxU6ధG^$unq{d&8*^%a>/!Nuts\wp5dyB=;B=cv_fmz Ief2YN?+%ɍQK#5&JyT30O r0רHR=%n}DDlShOJ61Q5yRD^\k)d> :$u )K Yz}C<6]u23r8-5FNjJmKS k@FF-ZX,ߊ@PQ'XTn8cn1XT@"fU=\H%EˑO[t\bz <)t/BpHE_0{ޓ0J{@eLe̾7,&!UYp@L FIN㞜 gТC5bn&p:2L!~VRO;Ϲc<.Rp¡ Uݭʱ<جo3; ^vsdgSjp &+jR5G )tmrv` 1T:*ɑYӎӗHĈ.w$Rk5ּJUd)~ 53(ME?x"C԰ ۶(~ _{d-ʄ=bbÓ=5}>|׈v# :']_6 ~Ϳ=G:̚McN{f?grݍx~ǩ)ЋPm3AE>埇;`2o*ޠSvZ|m.T'S}+= 5.j'Mz:%] ڍtDYɜ<.vU yvb+0;Xr2 hb=lbd*W' |P;P$5oO +x 9]jtIb8M>FyO؀1OfҪ>8Q罢.;/cLBͩ$=8T⦀ojyHZwmW4Db2%:.A:q\ς{H}|#0psTw(˻3x>T2g,=yՁOn8flyҔ1 B׹]2vvhźV9Spk9S: VXJ8Hzen[:m5rEzB5iܳdk&<fLwd#BT> Ca;7R,I]S8lŸ/Tvƴm@ԩƄR.dgv;ϋr}b3ge8$eI7+L~n Td˒\A):%A9JlqwgĹkj&I깼"[2/9 .D,muRr)Cɷv(f~ ç88%9YX75!8 ' גΦp~|>y)E.6WGҗUU~j?l|5<gPyU2|ީbdtmqخQ!uty;I W拊oȼ-- $y f]-H5n0 >>wZ:$&Gޞ$4"3uTQny B\6y[igO 8zz-&V{*%sPn%m >}kq6C֣ܧE<vA H6bWDwN5ZC@i2S}NVvp&/ҷ!7'ށT`&b^0D-G06iω`[z-tQp@2+i{ﭾ;~QOQ/@_ã#x8TS\5Cyڇ0bĉ]6i YNexp”0&&J4cxX+-$@*9 ?Cy]0M] t s8g F 5ᢝN\ ڏ@ |PŸ!2cާF)?iVHV=>vqlڗɴ/Ǣ~p,u+N ]֐c#jžcPQ[`gt$eҚ2粒TsczN~_2RabssgߊAx9\>G/Gc$#m +VݏR%ELތ<|j ]<¬[X+ d uNY(,2C{IfBYS'w$'f':`arZ-ъ@:Nؘpϛ9?l@_)34xLo [w6.AG \U#bɝWNeJeKI QH|22jG,'C;IA[kO:]mB `m,Tvlj@+6E)qxB3Jծv()QEyU9$%"u>ZSY08>Kxmgrh4|70+~. ܢ`ps6 ʓ3&+xƶqJ!zq6Yl9H̀0ϻ[-@#e )DaWW=r*n:~z,@AIF[+^zkn ׶RzWKd{> !f~݅4shr\edث!4sack&)dzNw6,?(?嘋sI$|ʑhas**DNY>)ސ튼SƎEL_ݕj$o4'#f3ob >ҩ|e"iɔuV.c6[FVyDcT K.&0˶aM[!Wɚ˻S*Wl QDJDGSze Zǥ&p ->ߜp.H11^FrjYajD(p?8ı΃4 u3s}A-UU[m";#,,E[S7:vAZ;JQLoO)+?W:?r.r= T ѫ8wG'OGedQO9ʦ;]c*NYG+Vmo4;oʸK"?}Hy$"xV[,<%)}aa=PEYg*P%egFx"E8׋2XXN`NKh3腬0T;~UT\lظ{lb$w9U0_e /kT^0fuF*fC.fw@v,}A9A#3qێl1jOgv\yum/8xy9K(ٝrdUs/ ԈC,Y-,Zb/SZic]oo[{(gRv]/054ƿcVt=Wy(]KC_e}Vyifj6OA,u]\\"Eu,:sO WG[[LT%&Y/&sNa\/ַ%hnf! "fRkmr?ev{H H*K83usFs%'_{ŁN3Iq3ƅix/0 ANOZ¾+:NtRl8HAZT25Lemʐ1N1&A< "GmC"H#~_K0o]5 b \bp!e.uD/Jel5K1`H FȞhS+᭸y<,\$[~!lV2*r'KS6)胈;FSA<rk}:{2,_0`'#h$ _9at :_(,NsI<5Ap>tt7*݂# =;Rrwjj)I@u +PYIrzy,FD÷ctO¡@<`V49-u[Y:޷w|dY~wDH/՞ҞB cȋbh2<w/NZ:wWpd0F@XE.nf"4G#ܴ{?"NӚS=ˌ2Z tj@N #_H [c6}E>9xS>K&ܶ_05&DCKzCZ>:,q@o;l#6Qh`6O~^‡sREB~ B>adpyGYhRWC"38<* y? 7+zdj]0@N0I09X $ !#>'_&ҫ3b,Iueeh:s7YY HKXqIh5^k2˖#" \[`Zxd.2ѥoqQo|aUA3`"{'xp6y.WlMo@bJ%꫙_. Dz3A&R:#Pߖ-OVi#&>td g/&xn1:M D1 dijc*+طdZ8"g jί׫6gGsiHmp'd䭈h?EIAp-sQdc\f@AEVk0V~w;d.jykr1\\WmV2%t]6jdar@/Fɪ|ܛ۱Ė]_j:Mrmb^6r@[SckBK:+3)[˳vjHvPr1$]}g!4 B\G7}mc-lD#$R1]}ߕh[D} hlA-/Xl2J=QR1{d!T^N3бO7m+Sjz]Kp<=Lzf,.=?IdUՇMoM_k]sukl2Fo`p7XoeJF!h@‰, Ir䑼%!Q_}`gj2ѪAQD!dx%=dhQ8̞~$S"W&2Wv|JH@iѳFmpE6;; ; N3h+8o2Y*R1wݴVYo舭xpGnQ |Go4>;C1͓)3ʲ@dOz!@lMI=d]|&$N'! wg38v}8fF<.|h~ 14FI~:csޝfŃ}2B V Qekף碭DE٪j`L}nV3-L;Hм>Pbau Zt`@YO̜UaNaR>M@gPSq/i'EL6ۆ{삎j'\Tb1N0J-?i2EXD>l0 \&ɪXpoUaj.߬S`+ԓ%$}k3OGl`GG[s-R Ύu=o2_~>D㠎 r>,D%Y}SWdAvE>wu6n)Eiy7K@ ֗OL/FO(|a{) (eQexek'Sqx0$cOjwcc2p3KFgA`s ǩus5pR۽rD.PB I^s$ʅY0%,biD}K>(M 'zmoy$3 q<~gpRa0^hV _ (eg71a[Ϥ"y*y+ڐgYZ5c89e63b7a160e85d2e83e526f6e90117d27cb8de216e8eaf6a375ec18ca24b2ce78310b303039d89fddce0ee37d1a2d0eb8acb6919f62694de2e614