SQLite format 3@ .;  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 m=xD$ ] Incredible_Proof_Machine:threads=4elapsed=33.005cpu=116.264gc=10.4927zXZִF! ]ŗXiɟH)0%o441xԌusS3JE{ʄ@ ۔$gYZ \=c5 Incredible_Proof_MachineAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs2 ysI=&9ݳy5 OڣSJ&҆ފaE~zFҦUՎNRamM"WHqbvJfB[)uwU5:GWiw* U&O^}䬁oQWnY+Pt\šWӔB!L7|5 F6jF#۫DU߶~X?;eqq w7uw`?YEJs)R^yCM,*qм.s!lrOÐLZ\Juqr;hWHDI)tG-MIR"(@vdIR6OK5\ωY_1|7}4 .Y <,%d=}#;Aޡ%dz0LWXc3^w,J: oohO 򸸌bUj,Qםr͑fŬQov`o^pѶD2)eg<$IDgHgyԺOW8c3MP+U6mЇ 8Ő&V&v{uMA҂x >C2a,~d(8<~qL0`͟YqjN ۯq5&d,gد3~! )_`-?|vQ :TRMgԪZ924ckBAxJ+o zt[-C ,:#]Ω^#յ v 3N@5L6l< ڌ[Wu9"ͻzagQru> K3Ǐzi^KricELf)^y PcY9OkέjӳǬj!>o !%w3{Krʕ$ڜ [5ùk܅>/4+spN*dD>I*Bc9FOz3&K kkLu`BIW'kϪ0~Уvy,9߃xEî ҢUhVL?-(yWn&cABp( Q&) wr-dL9Gaj<HA w8ib:DT (AaРse ňYc*/k`d)*/lLx&kw`,;N/ =;y2e'y;v$G{}W5Ϧq" ~ B.׈†= NV7 RF~hOS]"v~PMIJ 0n[ʂy6ꊌ])kOjN($#"e<:1A-|4׃Ӹzl.Fe1+ +:<>qAnUW@#]j.[ӱܒls Jހ vb[s6ջ;ZkEt4,KKT^F_Xأ>C bihʘ `|_a/>'јʱ'sv-*a2)@pJ\^DFĩ $ xՖM+ۖ^02m+KgfΪ `i %]5)[ / R3,+A D"QwK& >Zx&Iu%cȜ4ׄN͠w|-ژG׍%M0 w?ϝc"̀3!-NuL}#PweI "9E >:0*hsĝX/ ixkH(O J =O[2Cgk؅rqg(DM|aW40-Hȁ*AY|O8wX[b$O1ټsr}:E([|aM= FPqdQ HCrwfi ;5MY,ZtD$CC$Y>-~>֜P{a*u'dqr*%8%}B7L,6/R͑h߶'戄imLcꡒh/Kh5C-Qtg@zZ(y:e#tZ 3,ZGH# Һlp3AA_uÄisCSHTgrr7%3CKSr km3mhW6nszgWҊD8ĕةU.58_rNMXG0Kgwįnye ZZl_}bмbR"SgE#PMnn=pI>{ld>aPLN_eQcuN(\Axj? lQy7pg@U2l"h^laQ g\!ݟmdڛj|cZp.ҭ@uTLyJ RO/(i2㊕i'U_˶~<O9.ekƬQyhT?<|3D9sI`s!N3ĉ w dBhťSMQd"R 2XH⋶:IiQXA#q%.?+|pNoJ;2)yMdL׶%VmW\#vC)xQx`N.<ˌZ4GM64u'#H*W\({fa@Ou% _Ңt@w{îKAr$TGe~ZgXYN;f K)?؈ ;9=BNW'GI buŘ&T]J)4sι*˦ #Ċ+O'%kNm\;@ۂY?j8XJ^V2AkVڏ '/ӅKI|B[FYgC}ճ_P[s^KzKtp^d.D4-{'5%B^/пhQrV05;F[+,襀^,qFka4.^kQxóxݛ!8OjjE6<;-P͊>c.D'퐼hپ{e .GwT]*"+Jxj|iRs7l S\x7>ZA:;ׯ2}-LJF51e8/ǶnQ;5}_PϼI p } I 9Z<ƕx6A+zjj[4D%.WZ2W-m|˒Y~VC)ˋ璧TOMFm*}}O<,&:5)"]7Mp[Qź=FlM9f.Og_":gai6bгWe|hyEܡaOɝcW VgwU1=5Ki+!H~StL;n2` j ^MZ-Ek5#z?yT,]o1u9ZZ=tV`ni/G?;Pm^Qn:&'me|OX7/6>:Ahn+m][V]$L@" 7d+u׳Ĩr4%GZX_@ףZ'}VWV2,.|MzAyn%yTѫpd71Q C5 b~OvX|#b=Mbn|I) h*/*Lh$%=Sϣx4珖,[?[ ^'粬ޣ_G%g#,E*CHH7Dnq{Xn"(HV9As_]Y~i01p&&+ߑxG]jqHR\g :C;k9k3yeo "Bb!2]\#iUWTrۂ@g[qy}@x$åx5* -"\xߓuE54ڏ2VcAqq%T=p6`26z(! 2\f+Bk)8+A?EظXȶFn13Eν˕#Ȋ{#ʳVbTs[ )jWRTNTbXBQwAm#cXǺ4;/;8m`@ˇ%~2~P]@Z"Ā),j 'W!2Vx[T{dQ}n<Oޝ Uׅ,gYN$T66Cw>1.|#+r-2L{T4t,kgQu5CEp+!g.~ܩ/ !Bו/Xe x *9eGx{^,&GQyH"Em\K u\9Ts QZhd[ (wD1DЇCf5\/xK ҂; >O u^@,64u#kGL>疏mUy3LWu,ԉ=+O{6Q0siyN w Âg}Z04&Ju~ͽ\e46"y?ffP[~:>C lv,~O43SGկx2يؽ{PNst!@|m$f&J ܦ P$jh.M$_ ImOp~ϲG({84%)lԙdgg N66-ydfMhUp,2bٱp}{h0К_oJK zNё07!Du^1WϣϴP.!`,BNW7'z S6yB,NjZn, leKfyTvalF[ tGp^Ɉ C5Ǻ_ =6M!q[o",\H+yβ ; $B9rr}P#zvZSrVKW#6c$!S0̄} fʘ `_`DFZq]xʱLk_2z+U0$3ܲw ~e/{fNjn<QV<] n=_2O@#Z^c,w6x5$6-`O}4TS+-5(?qhp^l&Yn`4Ш-JʾhVT:+KE8Rbץ :L#KAZ GM 3t)QTokjQi8ɑD{4%6e_‚bC,A+[n"0Tγ=bId)NS_(D9xRmو킻}'2#6BQs4(?)M83BǾ|>{[u3t{!͟nU1jl4?8Y[saT(ATm,v[ԡ)߻)ci0 HϠnIC0j DiaCmO`ɆqV q88o<ɀC~ͧa42JI@u2v`$],t`ɒE@E;҄iDAs7&ۅ9mth'3Air@yI@ȯ4e[Z*=^ -vI6|ACugǗdv\O|̲u.VŲelK֝M(5# a0Ϻ}i#$d< Q%:<_,kN71f;]&ي K'O7{j7G 5 2')9x篔h9[dxu{a7kӡY*bց4/g.*RyyAS39Ev?O@wI63ƹA뜝)+6?oI<8̟'l20t1ǭ>kPGͼ$;؁Śe+|N{'u`m{Y*9m:ONۭWV\23&@vTmim }!qrJ =YQq uv93E,>G(ns8E6 buyɾ+I23])jخ sQijKHJ /e8!]@|pGfoaӓ|U!n.G~*ؔ,w uJ/LISxd-A]M"?/8B"2_?L;HT{gq (t:-!ҎxԱW*4紴k8P/MUWG_%xzUP |˙{f.C.mXӃy.W(\~@L$*;zWvC[LJU|ID&C`[jRĩCXLɣ=<]k5w~=]4SGTMJb1w0>/3aAX)(4PG"?ח-ݴn!fрU4b|<]& gV~힁dbexM v6qVkx~f韹έR,Ciˆp<ċZ iEH r2R$mK>%>_߭Icz3(dBxE)Dޤ?;ZOb,-$ thigtbG3RBZ-';m l5Fl٩?Ю5qG- [fY bSd>-oYjӜ&V"WVM! [ѲHE1JYs`Qk 0sWcfc!0^ z6)8d7 ׷o/޸n ]ӈ?T ygRJGNNuVҢG:zcۮ]Uz*q^qos!'3x@v~M 8΅@d,&ʌ5HLa [Ӌxm@,Gn FρAlr@C{ $ˉ?@1ȥWie9w([Vo,a|f,{Mאu~λ1d_Jrr(ES^Dy?q3Xl!Z?y2 ~.904őF41/(>! @ӹR"fo<꫶2-0R!3:ݰ!XJBȢ= WP]f@M 2_\ԗAvl>ܮjBY ͓&"/K)|ӊ1Lf wzqo`S;Ym09cp =26!yD{ f/Fždw/4z폑skNʽ:K2krhCS=w̭] Xmc=fw/_ɝgtZ0Q!YT!ݗ;yڏFsq H+Q/mDJiXښ Z=p`'}c}AҔ@  rŅ_ڋ̏=@ "pHQdz]uԅYul"nȝ[R 1(m`jI؟@P;V ˛#ʼnygo_wC; 5 _!XCf@˼c̴]}nI$! gf%} Yҡ' c$qQ=ͺGVwc$9?aēK1HQ(A; 97ӯ0( )(㲻E,KPpbB;XI f!F\d$~IM{<0g h e^{e{%}R o䇶 dp69zT%~"xݞ-֓6TGkO@hM(R+$ DkCZqMXDݣ7y:v\cF)G>H/_<:L}$BtZ83opLrecrFKz;*_$B]A*:E|?P`|a3L.ћ^(Xf}!vV+}'&/3[BYٱ%mUк\I2SțZp-6yu2hc|ip#k'IԚGɡݮlPIS,]2XbM}M<56բm:*SSW3U'*3P2'm6CX_nK0&Ē˻x<1b\Q7N*ѡkw9j90Cy(=p2X}#"PU4.HWDP72 @s=ڽϭcЪ#.nqwwbzkۡYƅdd'61$ '$@:eMH~I`Zi<. d3O/"(7o.oI.bEU2Ewb jY.N6b [-H*wq=dn%|2fX&YmgwקEJ!S}ϐprby#H>$JYgŵK{>Su0)8D U&eE~'.ɚy߰fWZP EGuN;f[_ %kjʭDMTU:&.eI2p8kQ3 w';sO6[M˥^bT(tBˮQçI'oH]pC3#sÓeq9Eƒk!o:= g>曮?4mRiK@"$ZSz&fTٍܼp 6w4w6Ch_E]a5G>E&wUKݕzUH2͟fR~fA95ԖI5_qkӠO=*m>mFY wXEq?8;DNxEAƂ9ힱFOD&,v'J): ?t$OE۲g ȅ.-$*et0|+ |n-sպu>aԩVB3[ވ2_/O&FÛ[ F ̦/O ~b$ F 63(.J3;]7]Xd%p!Uai ;la,vJ\~BvVgjͥ m |J xɇX(|dHZ9/IfDY"kk|3şܘFkSXp2I0*[jN<{>zct(ˑ&,t-}JSfvfaN>zAXQ{4%e;"iiz(  j}ƙP+GFv T A1٠>Psyut8(x \*~y%ѿ=)1?`(OMtu=, ;]RL"~|?旣u;obϕ iД", 9Dm~"Oixy!poRDs#;s.k׉4D`hˊ;~njJ_]ifn .`dnz'c#HD!&Z"dnu8WN˰G#-%܆o@Ճ2KWGrpɕ<r r+[xm~4-%]⌰Qm_/˓U+J=_-)f: (z Y(1{2z&f;r &(M, [obl\y).rOg^b|yU@7$5 'qP֕#JEA1I%eED̫:W>k߷駣u|Fzܳ>TލoUhZ*c˺l~z0ݸSը}?O}0bs 2ޭ Uְ i^/L@G c vqѠQ-dI}4 :ݧu鞙m -ݩOc2凱nn4;TeƑ51pYeh](,WX{]*|4A;5UbׁtȰ+cJ^1Jg X ne A|4Ba[2b!6 F<βbSwK3O%Ǿذ+/%}?;_!DQsM>eŶq<_gPF;iXEB}< 9vb ?J)`)ˬu!)6W&Аح? tlXg) iabV962Z'$M@a^)`F Z&o .ff6:2[ YbL Oɽ9AtvM4Ptiy.BvetF Dz 1Ju1ıhi\Pc:an0`Ayn U/yR{ovfёZj `/4 /+aQ&/ 2)S݅b>]~wgb5NWŏl|?"Ex5/TJTu}swT T~"Fox J0 LK < 8R$604h|YޜS?뺳'TȘoM-ČU/dДi  "##=%`Tw([Ѻ t'CX2'qrr[}[uO#|xP5k>*up‰NQa48tjTZ S)Ʀi%+qm׭vAK Bw olB>@zB.' eOyaPAk e1ԙ!G P"/tenzljtdW:D9W-D Je:u![F%|v0AJ>k (L-f^}8Xg\<Sޫrtz(J.2vI. @i7[%PQH?g*kEcfN%%8 zy6] \aȼ;&ݣOY+*ip d9KyLI裟20/CB'i2eYT3}AW*>$)S D*qLl`IQӋ]i٠+zaܜM~>.d5%vyBvHFè;ady4Zu1g8QߓM$%(90PGŴ6ˡ;6GW!L3A7xg77FH8__㎫%KLcYpZ}ղL"f ~c=<߭J#n۾M8Xν4MH<–YNUƸ$_nf,i#?>6X fi &;OE PclI?օhlRyØrV)QΛ5esiULv-ZCWŠ i 1"=ˁ~Sal'2EfF HDnRa|WʅYrP 4ZM `#Q [tP XceNY#6KQX!#F &Eŏ+&nnˍNp/0g1ָd PD*U?uĢE/oPov]?R NrI8Vus߳BE: 8B_1⬄2S{Ķ5ͮH/UХ>+ &`'a_[ ?4NzPuGŌJ, +㦰 ZBu/)t'ݬ3\?ۼ(ބ[/?kp5\zN׉#=;㕝J W%rF@bן!)hWvB<%SQ8{V8 $biCgnD9QFkN^*C-Ҹ/BYGI **-J~*X7vl /X]r(:CV 9Tȗ4Åw$]c\{|BߝNz=tV_#MͯG*JK*>}%U ʼnQMP9ߵ8p2 iB՟t?_}T^_ L'pnhX^pdaE}r%>td=}&F=6JA\g6{TEuǢozQө::`fc0qk]޶Sfȿ'E4FX,A 7[Jjnr477h %ҩ2t{\tH|lYDTσK$KgÈ~%ci݊2X*x֨ҟ*g |+qV `G@ BisBsaTTBUu1!-SO'JWKZyr#M{k^ ,#.=@yEF^3)䁱x=5jE}2A7! :뵶!칱QqMwĄz]d?ٹ鉶m;8\+~wƮm mۉ]`皌B8irMzqTfE&u+3qXv}237s]p!bJQю܃2 aqW9$QK5%jHi^B>hEjjXڨv{1͡4GɩD4#}nN͵ 6v>$q >քmws`1%J4OvXn=&?Dԛmrx*n@܅qsz >:FeVQv`j>S8c8{bCG!:# i[Т6^>kuj,OB'_ 2ÇXf[/ZxC=;S+$T&6f>M+ #(NrVv-'\U@(?9NuTN#;hX N$U{dovt szׄ,Mio)5TWE e92趾Šs"!bxv xiPV4ض͛X\1t2>#4D6Žb[(.g.C' ,pՋ(wљ33`߄9$.q:HgS“=G[]*3%: +ъ"lUN^VZ6b3得ʦ_` EVr7k|xZe26݋^#ai攱\QcO) blsb7Wk4'i^YB=%xkNVzz?\4# R _B. (rs56p3@$_S1&8 !UkcGjZPfByPmhe⩈wq֥y셵/!pO=4p]"z %9+&YﴰkRZA.XaŘ˼IMGޑ<;[~3;< Е@̃Dג\S#)ǩ^~lHq埅cT!- O"[q%=UT ɆNtPA$Y]3_zS a%zÙ1fn$;@.3Zo̱-\:ӽn$XthȰ|لlQҎϭL˗xZ^>tu =$ƎOk"u,}(eEE츂ڶ/Vp-P'Byo-E*ĝ2hn?vj"Y;@mUTïfdv Es`U&)EW˂W<20U{|,np !KE]fP`(0e?IMG7&%DIPKރf.%!G|(aI f]oݠ1@]>K0aM">C%`f+4Fcc6gOMrfU3GM(]{ QX͋fM{qؙ")lIT lߨ{|}brA߽RJ{a+$N(.iYņw^?$Xp%B/Du3Z^򝃈NX> 9ϐ0p>T-WԔqD`iw S<"#[.)@j(ld\!pU9Uc@b;mvzuXHh@m<0,dHnD0x2s4 7WKRS*!.ltqg@%bs4+0K& Li<:G5v1! (NC|%Ew7ME'ũpE+{ݨ(n@w'8 0Ƭb#tq6JmYlN 2Gp֐? #7RtJ:3rE#Yȯ \ ghA`+=/,]6;XFaW˧q2#{$;z7d,`F' x{UBuSKgZ1xujJ_w2j1^ gc5=-sA`?aҐ3R-bK֙D%': %(>~ 6N#Rg+}׺WV}*fqAH}'ҔbFNCqӱ8˅ۧ[@+_!rJ> {&9e5tSd}sK@/`xl3NiLnkaM@sv1UC:DG>u'" ˁu*v܆C?3XnmG!tnX&ˤ]K~˓eG<7\Ew5HY!. Q+WaP}OpsT7C1Iv_-t'YU[),"%;(D!4lMx{D"&_(9%hj ^<,#KEN U& ¨=׹x};uz%킥w&%|Z&$v"ho& Tӆ 1L@:#xq*Nw?DDB4a?t|T`zA&hl9c8roq bВr"õiӫCDWYo6~%A$i`bΆ"D/ _ޞ# /f[NӜk>~dLitcis]KSN t:%Klsry׆n3ڀH~Hޣ4}<k\Rdv*=4x@`qͷGWEG#Fy ,d~\<~TonJ`h.@Z2D#D5ߦa a&t^Y@Gg oY@Yei n)"YClOc}j\t%Ԯw*R@+%` K0 _gt>Π`*X037[SU%c#c!.XIgyZ˛E6k"1bT1.·x*aO[mo4 Qbu!jIZL&sXH鲕fco??:EErbG'p*6?/ Y-,ܔ`]<7Ea;SM}%JPz ۊbt0rjWN@&@Sߖ>6vrp -sTN=EF@ ,a( ?kEf7}fت8N`pnl74%KMNh_GwQˋù~zmh|>.Uի mJb:E,xW?[st~s{mDCIQVt=sOY=hLU14Ҥ=ۙ-5,Vg\U!Tcf%בŷ*MN|͠p* U-]6!rz2MɻL}(Yc0},3BTCGŎ/Oqto1]Wbsb޾v>FPT )I-2V@'KZ,ZGD6:@oni]. bIZo_^ jBFԻc3㙒yM{U7r~!?bUFDZ=]_i-v.)YA~GWwl6ÓdKB~rG)uC3,%ecfsz).(#L ɹ!NMA$P#Nݟ[QWZ\`yyFHt>SbڲtsWz:o3!" H}P}TKT_?J[Q8i%ձFI,N?HFմ$ӆ ,n C@BT;1Tuѝ<h)Xldf-t~EonRVH)oA7*l<ڎsE;OXܓ1}T\0>Ϛm ?_t&Q0C/8_Q AC?l(' ?U N}a^0BՊFh)6_%aa~>BeT2 #Xɲ紴xxtEYp!KSoKPFhMN+Sd$gԣ,B~+3RN]& !.cfN6[*4o=zZsu9 ţ8 U[[_x_c6>ݣb*GFv~4K,[k*RI'+OmX{K9}tQ؂+1 w uYi =GW`j\F)sƍ#}ҷ*Vђ(LW%$MMJ'䚁h\ ZMdpN_Dϥ4Ӝ݄ KݕDx2ĭ 2 ݍ8\ "ji.eYS"ә.XƊpNepQ/aTGzUS|ViZأۢYD];EѽqճKa#\,'.ƵCͭ7ۏ2nZ?;(RjSrg62ۥQ Z1[2FGč?:!J; x֍Rb¶H+q<$g} 618'Pگ6U 31ZxQ"k|f~ztjBxWVσHq`ud tR d7Ӣ]e3k4hǪ)U-j5\Q=) V[k&iiv' J/Wn+5vFe*!IC)>nu.Y|->X9BCϺz0{YJJ:fjx-(ɏ@SCGm]lbe6!WqBH!( #LpRhq50؏ `r>W(,XG%8ALi݇\)T{|>틮4+k#˩UQ;VmK͏R39quS@|ՇXr۹*^T2 {soMpWRiG]5Tc||F]gZW@6o_+6>zt7ʱߊ˲kd݂|!(|U,I}p:~/MqYvNANQl}GW[rOnHeXdh+x" gŰ|,wýUJA(D-irk)}{a)\cg%FA|Z%=jG:Wd"Ъu`C`/fN [棚nO; b{;➷3:D{ JGJ ʶZ_R'̶a]n,~ׅ_I<kN$o瀱 9$'U~ʞ_! c7EwN%{VsQf)3HarO"gUAl #yxJDXtÌkk=עYbp֤u$`T qgֺBQˈR{Ufh:Ǘk,І6/pa[ϴ-aVNVSQZ<.q*\0| ;i7x-6QЄ4š[)grn_ bpYrRgVUna$ -8'qS|b;&X~kti;m5nx j0of\9&Tvq[!UE:'Kڝ7 BkSp#v!ܝWǛ@%P ̆b9R(xM,J)؞~WS9mӿܐr#48 pr!'yTl}'D Ddu)-&;Vu >:M3{{XyҮ_v)bļ"t}~,a5D~i _92a OzZ9ddKiv.oypi;_V woY1zc@ o[:9*ݭxBo,ɕBs{ХPOYV<)Sx6IY3r\i(CW'rMk)n9@9sWY*XQ:Yw*~5-AW:A4rZ6#C% cIB|o*Z>M!%J'tQiLm(:떤jCguIi:OPMat-ʢmF8ۢu`u:Yt (g?3 %ZRq`s+:*>ek@Q1CqlQGBU@0ꩯZ}C:nB~fbⱿ$ iyTq"^`0"b;[6-nar f:g_4=_( 0OpDu%<눺^7&d|A>Ċqf f(ӻ":}n gnJC]-W}R)3;ْ`.!L [}ǩ X\BW7/Anl)ׯğ8Ixk6_8 D{jݟJǂR\̱?_lDGcQ^5].I]_w=' k="GU+E8Z(?+y£՛~\Ȟj9exh_=+{{49P sq f=bɿY G`Wꨵx5}fLQ*R%iX#RC-c'h>gvTn\  QzA{dqnKQ  뙹_XޕŜKFu@멮1ᙣz*!"{/KhbK?W)U &f]$M/M`vs۴jZ3h<8 \5obm@hl}~YAt" gIɐ.[lo:.y[v}4JՋ BqYtce /@Ԍs^j2sȰV_4|8:=/ !qSf]FȖ&ݝePGXvQdޠդ* Ce@xĮw7 ijy2A~9TtR+w łh^b8a9SaId pHR}AߑxZ[(";~OK֖@yҹ :;hB!%lHB(3=BWzCGs.АCUCQÈi^o6Je-pZT ,e "Nݹ H ZMw5uHsKGmf+bPWƕ Eb>t9hiY uClТ _3gʿӳ2 l-^O݀7Z !I+L*U.Ċ PY!Dw뉒vEs요 J2}^c'E_s!^;a%$w8GuKr 'Hm 4Z+9x@u#0mג<&'Lxnf2r1 ㉁iK8ӋZck_X.ӝW_~KQ)9 l\%25 fS,4Շs03|!loªz]}Gnh;70"03, e@mu0zO<[Jhq $ վXImֆLŗ}2 &:)4֒Q dI#ZY{{~X bWߙo{Evۏ} K[(΁gKtcs" kpIj?Wn.jCH}ͷٯ7Wq ix8 -Rɺf܉Jr4QxG]8bf`RI7k'S"Z[KCg-O[/E2$}eIo>y 2[2%Fwx00U&~ШQ'!=a54 @6#y]i-yv]zmd`Bw LV8I|!av˪P{m\ iN|FQ8ϑg y_$i'()Cu2[fťF"t+z?oB,) 9KJ"ߜcW;:xg}*[ KDzȭN0=N=9O{Aby/%;25s}ʨKE* Q{.'IXhkV|I1>z~]:naLs !#YYn)藉ؾEvlLB(_ ?]6rH&lҢJyS_3Qj-]FՂ߫W\ݛQbbŶvUѓUD=p\ZkV87ii>8+"/o)KMaFՏʚNʱ;:YNo\G&p6im{'%Xt3b!3xG5B)m7T .)|b|*>6]cU']ûmʹ+pH>:!hxRxZ R ڰw^(Y`޷s@C*x9ktUEt h˭s k9񽨓U%"T}KlTYtE^O;\eDp$[7 NC*r* 촬OdzNV oE*ÙRcqX{4ӫ `Tң~8Vݻ?{)┋H ڣQ?xc$bm4!Hf5 t2{_ lIMg+%gƌL&ЖufOOEM:E=&VX&Mũ4˺-z9]pƊ"ȅb t?we ]tʑILƱ ˚;6Jʳ= ۬#^!}orV7t fȝzBSUM2@C+&YQ5PN ki-߃f*5rǒ$ţ;.1/C yfuVּYH0rߠ'JѮӅG׳=GԐ5A+7*6=/ d-#L#}卹"v;'tˎo9b*8OqO$ 5.Q4.xK64xX}TM̳%FwVee͚vӯ!:h='UĖ}:CltGs"&DGp;L-T+R0hǼ9gMDi%eBƎXԇ -Lloi`d"hC!bM_d9)"WqSTp,C)fTĴa/>9iRrꪗI%[{Z92\CeҶUێO=^qGT,!hؔF @j)쒕^i ,P!DBC)יh@k qeM~Vb_Ik+uه: ";p0p|h\F!4 f {fCjj'wj:.Ix@>R50r.lHI31 jvԳ2 ,llP\ZNP:`- gK }0{JGG]o.mYH8$$?Z_NtZο)| Ok8X(/̄J;DSVvS~sͿ;Ri,JOtH5ɡ+h林Z%ܛ,y'k˰u.Yl:wI!*+G-C IYf((q "EeH#KTcVAҕ ĽMnB[̲ ؉FS[%U2)D2Hj>T>lkxׯ48= Shln$0j\Eci[Ԁ.ۀ@4r#ͼ_:{NĂe>8Ugb%ssL";P1jYcb8B-[?\L75@>DZ萑 2l8'%g*[qكZVǪpvHM8[uB\jA՛|;Qg}RC - 8-gK Ftcq/BZ$IX]]BYo0vgYZ7zXZִF! 4J]ŗXiɟT|1Ik:!Jvk L#~o IWH } BUַlO iΤ> ]~uર5}rQ ތ~y5;C/mQv@툾i@̹\[EG"э Kj/4F7Gnb`O Z`~f-}8RH Ŋp.1GS/Tw &$/jٹ 4 a[G[IekH<n~,վeF̗{}Lx>87Yz -4TEg "ϻ9ը^D'nYޠ !8" -{!7.o!]ïXǍ2Df ].ÿ:R2c1HĀm5Is`+(urx|L]J(4#EPeRX[(k[iQ ,Qɿ"l]P&(O!0J ]ZD"Jc,X-r#fEYu6Mx[ޢoy[K 61"c$p/ 'rTEp 2is|kT+vO} s ]K=!; [>+%t^\""tzY G" ˲q|p{,ʏv(o#Bva:OnzC cOަRUA1՛4ȸ+k`I2UI0JP;W*17#w\zL/`At 9ky1i0Atڽv:(#ABc e 1eC Bq%AY&+;LCCVaǽǧ2L,,K,͚HlA6ZZ.bMڦ|uHN-{ Bm1C9POW Jxq0껩|1O)]_Wˋ>X73b>挴et/ԯ B;uBUsR3g._5f8ɨNgGP4yo&dx5DEL\ՐHڄm}в6Z_@P]ʺA:i,\Bbx5{S )F^.AAP.`3΀ m g a&T9;@WPW c927RF&TГ"GPeD# ?h > SmG䋔Ւgrtv3-/қ|: 9GJb#DT8.ud-U<LD3+Jn_U_rXO(B㍈W·*@@C῕[kO=l(߶C& 73TGfh.l@@{g׍TvapDaQjO=˨y)Fu4EA֊n.en:yJuBXrMxwY,Vȫ>}^Iy &C{AV/g54*DJuL+be!;IIM88"`iQV7[6^#g?Q;l/0_+fbLw#uVլqgŊWvBNSyICwn6jKD(X5qhznWZ}WAu7WHaB])ֺm6V Uk aּu:kYAWij<`57J{WHR7rtC"]7 1U>,lZw 5nSGĝAX8@̴g_<?g$1!>6 &/Tc49FC,Xb\7ޠTՀ) e[?W?3~7 n0C]fnfU}b#{G}eu&&;l{b@bYxlX?+)J喗Ƞ0#㴏2<﹵Gg p'6w]8W3RtYyՆ:%6z8|GNA%!~Omd\3ԀmD~lڃ4Fŭ9H̺;di؉y~7fŞ>?12 $9-Qclz,> Q"Fvv``_P3̠o(y őǺC$<ϖH;:!JY ݵf9~~= K gYZ2fab02196908ae7f93e3140c4536745c63175e779aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f