SQLite format 3@  . BBh77otableisabelle_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  p1< ]% HOL-Decision_Procs:threads=2elapsed=615.926cpu=1179.716gc=92.528factor=1.927zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓U|ؿP"F&Mm1tXpG&GvBt]ZFZDR{$1$2ɨA/0rzsxA q_#K 4(8*U%}N3Y `NEm 1z ɹYu;J\Jbv m 8K.16̶KfA]OMLtڈ]vڱx 'YmCW00%^lhIc T͟Qiiކ*A8IeGNs9lpMUX /m2ƴ.zʞjW ]y)|߿u퟉1SWre.ca8=.8w 'NS=]kmT&ӗ47w#wg+[Ć=4 &DCV ОVJT-俷S,6d`&{/;I n$66H"lBΒhPE#CF;1VI\wԑ￱n7(M;)Dtf"AUҴ6(rjdn"bQ`Nѳlrh <.=>~?o\Yy;82\%tfWgէAW"O3DDZaqŗrBlP(nyx5n1ģ}^k2!҃k xL4=9}`;ʊЛK$uZ p!`iLV{6q됣Y9(? ?kN/#?& S._~Hh \ICPJryVPo4ʣR**QZ gaS`Tp%˱g ٮ{Qb,®'&$4E5>!>?;glN*&$ٓPD-B?!)=, |Q2`X868_blj#)IpY,%=S4ڏ>_V<m|S;k:X`*V&,x_6?B~(G)EhY1!ǖ>52>jeQKC ^qYe;^y&p)2m.=d-+?CC^( >.:fj Qk/ev𪅨wBX)EM"̞'>MaGb|i @UWFI#CS~:RIqOgȫw9֠fJm?S)A}Sȥ+Xv| }'xԭO2%wB쫱wcTt䢃֠` Ʒ_?cGneK\Eg]J`ayp<+:^A9a|#u7(j׻m(|ǥrbsuӌfihs-IB.1.qTUZP^ =)ƥkq~\qj?' .?#R*Nqf+ *zEi)V&@X%sF\,lo<,Vb價SW ;B4l{X* fi26vCjE^Y>{Nuo¾4x=6pb{ |TNiohH2@?!u׌ x _)9_q^̅i**y.JcEio,mnRcǔ060O@Z4xdYQ癶}I-a-LGbP2OE1(NQ) ۾|kM?XiTH+{=(8 i\ҏ?+62&c^օ1XW 8Հ`'ecuGkDntɠKQ*U:}#Nz<t}AQW)ܽBZJ %8@p=Cʖ^(fzr9>I'ur'#y[wz=ph}f486+]3_:4>]еX9Ny"ONENod$n iXRM/뜐୒>Ƹ~Q!\E$-D:e_FEe@῭%[%ŋx_0JO px@H<:W,_]Yb.:%D%zV #{' :JA)ZtaH-XJD!{D%Z9~)Vb:^e@Lt8%+X(Kvڮ[tMSs.4 = @apRDQKof ӫ c+&JeجPHB7E\A Z$ԷkK P|gy%ջ`X;9ͨx{^'#̞^gLڊ&GjaP6 ܍Nڬ4J_.YgCQ"1|n"T]T{[%T<*`L}BVq&`fP.mPiVzR+HGo5^D}xW(QZwسЁC28V2R=aAǔ9V߅-)MiƂЁlIzuX%P"ZJ JN#aJx(^A;oLp>1OTLٝ݉P;鎹| ԼO6}ڬp>PUa ύ-k5&?z"ɑ].Sw{Np-tyb ՑOFB+ÙI`rX0Q|ᤴ+{Iv#X+75+3p7L^+݇ bIv] n9`2h X:{ޖH*k8Qg@BcN*=zM؈5`%Ź_ҷH|Sʤ4!;qi hu>;jXSSRudꤲJjki\`Y_)@v7T?'G_B>Q3L9xz/BIn5Oqrp//\&b6w'p8~f*U/rhD&]|NgK>! b/ݐ>Hfb܇7 ԌE%ނ~ѝa ,np9*4y+F-E 覷@18B7XהxCǙE\ho  C!ۓOP͛uH>ߋW>FSJD ^k,~BLŏi*Tfҿ |2>A7C*r0/#`^HΨ\=N̽&00j(;D [{D\+ o.YRT%|@H Sr/Iwo*z8嘡BC۹*~FBu~LA"qcXJv ܙ  >ֽ.T\ Kjz.Dp(\~#B HE\sNz_\T#p sxO[r甲w  ^'}Qض:cvo tU󱐶4}:7p6tMj't ֘ڇ;yFZl _.&a8XUI\.U#qoE&l7͈;`ͨuhܖ1C[(Pjs*d_^z|Cw8摢sUi3p~pPh cc>~|D+<68϶M? jܩ< VeeŬPJCiBuQ İĆH22FGDO#r}P}lj^1w&jh_k=]}TqmJcly:h'r9x-T9,K%b93nuR^9/@6ꎵi({,].f]aݬBea5ා!\vC/ٱX"> _Pv@>F|7XE jh.1 ޘ+R37^3Eҁh6Oex bt.eHRFo~dW "zm|7}LC:O\>`l4,mpqeϨ{%NR<%nA@gIsv8h2gD]ye|8+@qgYZ7zXZִF! U]ŗXiɟ17L? KxlWP8SաM~>fٺdO.b-T/b6O:Ǡ`4Sќ3 ާ U\Y6;ڗa+I[drR5.|e7ilg:VJi\ZǛ*og6$MAm QBI>QV,MFT{PJ;efp(9!Wg|\Y:+MWY7[Gݰ| +IJkSgqavŮzvѤ$ ⅔^x8s%*́wM4q}'P]@Xܨmj+Isܮ !Kx|uFM_a/пm˜U(GÚS՚ -ӌC ]9Ťco2f?` O\v}>C\"#h4WOP!N鱯kqjT=ssRs@snt1/gYZ7zXZִF! 괕w]ŗXi%6`AP㽷oɛȵS2E/gK]}q1)~_Hƒ>Hi`(k עgqNRj /sHI<'mZo-̛ps*z-uo)Xڱ`{툆 ~ʳ/F_k5 ꕯb[w@pR7,EIGf*,n Z8rW^k}%`nA>sڪWq8N&=N!sxL.P wKGhzkՖ9E]~R/_[yr@]CDR@XQݩhNL̪K5P}xy۪p 4, P]M܋*HJbY%hKXcZe1;wOt6؟,tP`[ɐd\R ͽ`3ͼ&xxB ) ɄkxT@;?xz/#O@%R5Pn5G=)Xf2q04BР4Vn1WXд7%^x|(1J7`hNX^$mW%>ݠ^dH2\KgO N!s[S(\g0B y;c5Uo||j8r{55F;yB3yHjoe#jp|M 7i. ŋX\|Qv "BPxu <;jʱz S;+G<:m[O6c-#TNmtV_R\kɨz=~3 A3eQd\J3Xy0^A^؛Ra{' Ue=XgRO/ :ࡗ&"jŹ*wJv[m.sf24R.J+ fQ x؀C5ZBJ=2do587_w<6i, ddai r/fK:]c ˼?܂ϿU- "~7yRq~aG9"|WK?Z:t8kh%F֑ R 5v_+ V ai*b`1Q֤n?J It,cp)<*w oOMx[Q [x#X-x|ۡX@ tusu(0FդjEqt,"j.+tL9y\" f"Ȇl\o o`@iRqD{·LmaLf@yP&Uf(3B`FpE<]56zmN~A$ւqoOtD*r8mrlYޓ!l?§Cy,_[́r8hր陋l3)-;/q?mA$G.-c-IL$5 Dj}ٱ䍽Q:M&gQ3oo$f$xU8U:Tr% S>_VZ!OLI*5/`\:m]76xh`A[-oZF@&vwkeTz˩3CnkT8 |͘oӅ/,TK݁IvWt!Z[d8SH(vBWO UVp,OHO/Z5Jǖmau1Bjn8wT\ܳ ,xy$Fxػړ"GMl="n?TIm!tNh7Z`v0iw׫|ӉUh:~y =ju*:$S7lL<2$"buHi%, X : 8'2xZ!9`FS}W/r?zY\)taW|ay77! %X%1,F:Ck߉+rtjD3Nډ31\K W;+'cUh[/*Ƀ&]J2Y$XnS6q:LG1n^y\P(s`c$}0" :oq||,vf2Sގ$$KZƜ_?’9sx9u1leގQ1 ?t8RR)S(~(%רc? ŝ3< e:K0hZů|ks~?]| ìjR6!? yT:*eϷl*'QtN#6f^b"RU< !-h'p0+ ތN^]?h'pjjsa+o?ڻWS|SK|L܇ZG#j-RIܧGPuc8U<չlh;ʜ9ڀDZyO%RXi<W/ƚ1aPKڇ4ĴE@ r6+;种Y] `]'}}BQhrZ[NQެwEfٝ::Vy(ˬ|f sH77!O~4Yx4oj`slI퐐 " t4Q|&@I Z#2+-t;S)i RI@ZFYC?;G1 d&fJiMLUEJfNGj=hq%0B$`euP,'6!R.xxV2 LuoPbVu{bZJP&F݃=vnZT91g%꼿r o- Ű 7bP_ҊHc'YfDjVjkphaT?2^~X]6ܔ0R+flU,0;ԊN 8r]{ʁRt5Q*|BW5'$9V YI3c4:֡ykZ7LC#nO ;rBÜpLIϸ*6 yZTdTbhV+vڮ?5laU9lzŮ~PC`Ft,S<^v#"Z(7&_]2Bاu(DL]a_y\\gY0]wz甏Ôux1l|z{<X:Ѷ}hѩ"`1l+a$%mA[=E\ZciC2^擷q`b kfz3%;䭃bzcWl6-|OPr\Fb*@ʎ^ÇO,i H曚9L||?CeA?]}p,ghrYsRE3Wkd Ⱦ EcC7C%Jx7HA.{FTԩOR9>t~_" \g{nBjVKWaH>w8#p85D.ҿO1@;)r$(#A`}>]Stx&m&RtDK 5+ QͦAR,)#Y1V;5S+?8PkJΥ%DI$)jjd K۔ 6 & lJ>:eg Mjby`oRPAv 9%g@ڼH_JD]-c\ޑb#yYQ 9ppµaC2$X~L 4[dc(UnёloN b @>ӀD3`'=c2ӈ;c7~qhQA_8]Y3~XDϟQhJX@8|4S uD%,Ã{3pÙPx[4Np=v*>؟2k#F[~B¾,~: L̉Naજ#8 M`!E?؈R&v+޷[k:xI`?)&-X5iDkCSdc9Ƭ$ ]Uk[@=>ffut&/QI4v~5籘6d`T sڋfNek}bO>EH˕-Ňr$|(,MZA"̩ ɮG]s|V* F V !؅wE ׃j1BCakxˬyJ ktnܷ?r[C$^0ADS2n 2Dp7T|&vW=ݝgX%sٜc p׽@e (b췌Aj0R>ǚ9ay0SaRc n&2/Jf{YGf~y$ ,J͐LGy E<8gNf8Z46@dt]Ū9=/IǗ8N#蹹0BnUojsBӭ$pc83AeZ`;z/X}ֶ-}>2TM>FUav$-d@h5T?TRLO)w:o [ءNM[EA _ )]wV(Mޮ:ptmY侁,5{ ueYY 3U?owX=\Ó0ol + zF_.dSQ-~#z?)|U|*,7*\ |jሺummDz+ <|$)hPy=٬+Tz LD{u>҂V޽s\R3fr) Kq81륪A F 7MR3Pp9!qaEyl03qD1wqiDZU\uoQRe.`l1 d;$%cJ>0c{R{Ѱl /IJLd٠@geݬw5߻3dRv˾0D=1JC+թm H32 &/8 N0@>fGpE!U5L)Jj*/Gs-KSSs"T.MMYI)/0k愎uo'wWזAF­+NQ@ +a'e5~x6n ^W˙Pj9g g%zX\sش).cZNi9<"Oۨ²U&L\ fc:܋O73gՃUus)ԤT Cn ؙHǨx+%^aGS+-հ"KLV)cZ!Ue RAG2sRyZ-eX`z@ Q!*Q],8׬LЅt\yGT$-Hbe1S頀f L88@ܿ G 9K-֦cY?yɶ 4 -v>{8 ], (Y1%mO`g^if[G&%jZsn^}KOZ% [5 \*]&iPض`XuLeCC$ՀL5Sz!(JfeP,9 ǓD9[v5FKlJ,K(p2w}_y# nrﶴMEeH^qL:ؔ3j)N(cҮuDMt58vXcQ0e?bR{YNiM.O,/c=-7uǥx.v9⡌fv11>yEtGx޼%k 8xR@Xj2.CH=ok?WL܀}UɊBN`HcKW [ ĿS 氩? I])f^! >l?d0__6^8A=1qK.Gvw]BO5~TwxEMqfl(n')TRi s={<#jEѱI91zuf^UD0yiXWkoLQcRә,r Q,o!l hz'xF$ﷲS]h^.u%*~83+񛺭)0CN8!D6a\BqSHWk Td\_b{9CnTp],}eN\b|`蟯pK¢ 1w p5}@M&nw";anmM9`:6!!2_a"Hƃ_iK"*($Ϭ=o1 *@9fxH+!׮ D6[Vzt׈h-Ԓv2${Ìˌ{ 2[lKrG'AwB>\fՈj{DjڒP_5B8`FU {>1i6@ M;lU㢂;5ȶűFݨ(zcpY9鑥} $H `X>p%EGGǰF@MF>HǓ~/ Cj Y dzڑZ>pKDRn]s&3HnNP yP,`=f~D X#aX|-(I™k'br Ją3OAInjJP.,cHM"GfďG4qwr޹Bb9/h*ҵ~l}^\Fqao+&h6\᲍MŮR+.P+9QK-6w,Z 0;"C/aZUT|ۼ(lԫ7 p5ocj.j`/>Uݡ~ 8xI?B_,(廙EM'A2]Ff[FDmѷ.c$#=TH&&, :ZwյUYapA%Sܗ_K 7uD˞{ 9 6},n0fRu>1ȴ=O8;; AxTgO>K"rDq>Ci7ӣ]>Z[L Y"cV=~CƖ u&"]? % `C.uE,c}R=h`waװ?!fIFӏn 41vZU 8Pa5S:%@Goi$(zFN%`g Is@J oEr>PC5K,)A+QF=ʼ.bB7YR%OzF+c@AU&E%Hó rpx0ʩtS*a9_Q}dn|^ws¹կu8[c}У{&(g/3(_r}']|HL WjsC7PtB ʟYjmɏ8~,Cj(8ۭYIr'w>i[vi4 ?ua(w=/Ȩ6!WUsB'h65McGIO$".\p?H%7Qc?JIMܝrY# ,劸-i8g˦ir(쬨(7QPIuYVms_ZbͧP{.nwh {^U;Բ5 Gs1zQEQG?H ށ"^`6cSqp&zZ(A]VYo't rE@h 55df|HO|nУC@GؘQ#^[-2Зhx[3&G]$AI'vA%")L~ԕ=yyқ9WO,_][WZl2JMQybJǐ fFáW0Ё;SN (ގnҸk""e~=N/mhov\]O'L1#&'I ,ϷۮNdIv( =ROH;6|jDCrME`w'q3O }-J1f+q&򟝒Ͱ%ri}Z f1/v5,#[OIo5su`#plۍXG1\~ydL-=9ӳ?+2F-qhJڔM@> wNvC}Fs-~2+NkxdY v0kaہiGs>f&qG+=jh,WS?jU1- Tۗ%zAwKը+4- H“ 0:Ǻsm ϟtj\Y]9"L!ȃwH#q|sPvXNǍGǐ'3İ悯MG'm'.ߛ6>,. o@-՟dMLJBҼPv/S͢aQLSꔗ4'A%Hέ :060@xIF xO9;^1Y.h__BҐx= #_`VKjz|81!=gŁhGa`@w7i# ry@ʥd} Il@^`!EaW3&M!Kޯ 8H*Nz֍1LWR/g >ǴYPрxdT1 KlS4N3ChlgLn35lpB<ؽXs8[=;uVME2G&9)y`nF$䂶6ʵ{1 nN)#q;0"aC%>^bs~c|!SnE z|/߈lmZos*& oKL xh.]@3(Kr?n`0h`-+}`ukb^s~/>]12G"2oxǒʪc+k>Aq|/xCR{VZ*ݧuru!= EZnpV(r EGxrHU*jpLRDWy4@^׆g2Cify96I <";\<'U:Ʃ#'|X(]~x}Z9㤺_QEsV_!t V]ߌ4!iʮ-y5eݙf ji v zҷ&_U0 5_`+ Qm[K |;{ca7.'F蹚ɘiO1F0 ofgH3JSަ{~xǙhVjJPD0:5 A:xT|= tws3JDNyh3,ݸ6]$"C):fgd X^svl^[cik1:Y:fhYrQ`J`+p1&gTH߬|xS(":Kx>}f.+MyHI_V_^O4r/f9Ģв!PГ=D3D&FSAE{4aBk13$lͤs?@MD6D8ԏ,ґ9㐩٧xQX&V:ogj/aF>`g[@5H[I8qӾko:~ ( $Z7`f,J=mlV E\3y>I+)k F {}i{fAj(<ϖn$ cٗpl98i$xE7jnH" sU+8@k>CnzGJKvi<Pzy' ˋ)In#NU9bW83.+ف]^]״ljm4^FW-hA%~m$TljJtTa n5!,4 un31"q ݄SK趯ך*rN; x<χ;0YиMÓlɸq|q.:J6~IL-̳0S"&?ԧt dn4N>/Z> O ?N-A<49hIΗ~QWgFg:clNS2]pyI0lc'ìgre]Iey `HzѲq}~P37,6eHU2/e a5\d QEb A ZIJ@qA{q庖 [K}ryf3eb]OڀՇ^!r̭ڜ >Ԩ37i_# Dtb9-K2Up-67ʟcCLW >$?DB*x>sB^,#, 񭰴a 8=OEx]DyE9{*Q46;a8Wš۠Է^i|?UQo(}xDOV]{&<0;[H@vyW?Cbo:O^bT5tZyoЁam=]lI,\>PiG֭q]X#VΦFq@2 Zz 9]}u֬+դ 2.JqGڛ{s7Mn;:a((@NJ^ ֦z(!eIg(y\$KSso"] Pkto dz%.Ð3@ogԼ޺C=tߞ%cQ"*+_OXEvMمlfj>z ܰ<k(B`aU1,Xn:{ ^r1' p4/Rlb&p&+3DB06ǰ1 h}96 ;OVK`-HRj`wˢb9_~.nȜ[\6MģߤR?e`1 jXtN},k3>E`i*  ߌTmH/$ ,M+KðZU'Su ]ɘ| _Bea!ϗKW%a% < ٫hf2{Zׂ5ź"쾕=)NS ]׃Hrz2AH٨wVW)*a~8?&5fqOhE@G?7bqӶRuY-OoN7MHK}gg@iTQGӳX6)wmIh  OrQF8 |S9:PdTG׾Zk?&45"6*A| g%6 LG]HoOd\j ܞ?CyBg֦&Kʛ68Ӏ;{@y8kuWxƞlNfX86ǀtS;uѝ{DYtؼm1}wBq&Kj]i~:ep&7WCmN2C?",P/{G8y}`eـ!NiE}SA1y4X;jy"=~&EUyڢ:c~Uuw;:0 N'Ķ4N{z3#2|DBOR顳)(쉏j3lEWaցYB|aaJSKMC> O\m`-z1%CbƮo`de_pvq-VūLRn Z%56KdKc#@{wesܶ`C:cXIg5}!n-cK4P&q Ѓ-o U R^rVNw  lxK-0"ރ77 V Q׌- eXι;2;ب{ ACÚSEjǯ]-^mB"!IYYA;cnD(?_9j=.Q .}Eu .[0,#ܩØc(XAv\7SHPMs:\6^f ۩B"OO\,=rcGK>!+!Ez=8R'l@Fk(&)J A\KA3ڜ C9->=<\\A"(wĚ*!F~۹vw`AZ%H(XԄkݕ)*%J%S#&ɵ@ pTL騦u~x/ ZUP+م}Eod&pN/S 2HHuv,^JN|AvhV V Ŗ1߫㜪jR%v,fVشXQF^Q>ItڷBrsK\4cDPudf% x}6a@m'5&Lu/S?{)_kNHȵù,15M].=ܖjclDvo/\SQieH؎tuFN-_ȷڛS*tE˛E|㼵h|"[:nˁY lm}*Q:A;KǗ\"K.,YqP]/| v{ WI6f_ m6p2{zGfwsV-jn?Wvlo.Ja eC& ?#Jdsbl -m[aL$| ֐7G8kŸZn7uWg: tzW>Pq,mY7U5Ѕ(Y18ʔ. }T.-1K\WQBƖb縷̭~0{&oewbl#Ƞӽ =yJ]eNZ Ճmԟ oH}ܱHyuk(v+IUѲPs$!1/2͉mPz[v!3ܬRP~fjE`4i/m/.Pw.U+kfoFSiA+mZ[g Y*H֙)0Hx-hqR$IԀpJx5]1#hqɱ\pͩ40i/f K>(/ތYS6~| _A` r;s/( dv5 k(WIm-[ Ǐ7tHJK\v  *.b lR]ZK]<^ѕYelo8\?h]RLͣ,SMX.rFZq$ U8@ -2?$EkO(nʑkѼB7hʥu%m *o/ C ';oR<zr7HP h0w +]g6+9S*}jSkn]̛nΨwM#d& ehX/J\@I9S@iT" B 1(]y}U>֠ؖ/%tIa5T֐d*\b bO6Zv&ߟUv"Q-x"X\$nJ+0eN_]LW3p][u5N@9y8UѰ:W}&9+,Pqo簽JkyWF7m'?Gʂ6x3n uO%A>n뗘29|A8 PY}abSk Cu)&{ U"S n1XCmDֽZ&ͩ}bGU-!ْ㡺jbSW_kܱ*=SͼT _g]灞1 rwU(˯:29]igjw3MR W0#Uwee{Q/ ];:A*/>TmT5k5۰Z_k9ǎ B؍$ozM4MXiKW5݈J&c?򱳅vȴ/lX#!A>_`.Fe)u]&LV x\F~^:i.w^&T:/Y W VDP[ #WO 铛'N/,8]_6NōOۡmYj/tb*[Wg{Zj)dp .qpS Z Ts"jG.p~!PUPRU34以*)ɍ@BS@v~!mTHp|k2l;7ǂz9{|^))c@!A`AKRE+ l#Vd {9syO Ö[2[\BFLLL2C?+@< ێ~ʑ9Uv]Ef]:P6(4+9}9e4$L}ڞ uaЗ]L@^U!/7ʣmp_Lc͊l1 P^aO)hfxWl5}z I5yekIdzc<4e{"fB1in 2O@_s!0gUgozfFc"! kk ^1C3ba;s{X!$ C>Ss7"%O)7/̧6/gYb! q_YyMOKvtC7h,[A&_g) +e>^+TY;5XS ;mSץMufpt[ѣ&1])H$#e%颙)8%ribbu4Jc1Wۛ+wi}-,G|o`M[ǁ)Π?#m__bh,cZ4K fmɛ"=}$FBUrɵk)^ЁNPU޽c6 BGyPY ~n]%(v>Wpj*'p6 UOɶX݆ Wnl$T*ybb^3}n2:-ڕo0$u3K,AcXmcc dCx0 -IS@ HhRSN`v \WJbooxͿ6yAڜFE; X3!aagZ'1oY#BCZm$;͢S %N:cxT]#(ѳY+' }STwWC5V}d73 Uܿ- JdP #\`/~5Be MUN2ye蜫+f5 *) :y{3M1 ׋[ɀ$D \~ \V*{&eX:eyLnv\vstqі|󲽑6y_&UL|AL91s7V'߷K6D*6sTW-qڻ}?+fvߟQpkA~_HmE Xu1L.fyjFq"g(A9֩hU UeA2.U7Z pHgIꡇD詽GKЦkIWTVFJ?vp%u[ҍajOg>w+gS+HO^Y3\toIxs*ő*o4i{hə1cd\toFt(œД2#|ARqFIF0˨i0?+=t+')Y$- z9<&vW{L^ /E h3oqߋb'vl6o7+z7, B^ '՟ɖl0H `$lypֹ5Do }C<4i~2'߮ut&:~sg{\)",Eƅu`TJ'*,2` W _MS-xoEN,K]J %y,I:&Eer`+ӸEma65 ?4jIhXɖ["?-ffӻq3і sJ>f_WX 9o8JFvwFN4VoBW#%֣\Yli=XV`x‚d)q^Wۗ1_t)^ M\Byh6X̅XI 7Ѵ@ch:"j+bS6]svx$SbrQ_ ].~CWV=d\İk]2RW0nsFGQYl)\[ &IrՏDn FSzȬdj(pctGyM ]hhoҥ]ʑzާ쬩xþgDxӹ ,)kYCc.5,v OM*W lz{w*R[d:{OՎճu]'ݯĿ€F=tWx2v\F&M3KK) < \TBؔ1%8ܼmE;,3"K } qT`-<$Z&{hdQ#FHD…{*p?̓I3 F %ǤR0`7*]׀hAɗG;3QmZ KNCׇP#%= k:; θl%*5qCzhTwpX8UyvǛp+DoENk:|*OXܢhvWV $ӶyF%jN? Trٝ ;?0|s88Oe{[Oјm"KSi)wDjԢv^\rߚ )/;/)" 镎umgeQCt5Z9vcftZr+ -)s7-494{W2wQWЀ_9\ z:hT kvT  :x 퀔M+>ӈbmZc> `13ߏ^c='eCǜV둣^BcB'F]_`Urqgck!&RUrƇw ;87 凗]BD]U =܂oY_1R1h Xhq128Bh(  ;iu Ȗ'hbsAIvS{qDپ ]D3׊<$1yzp(pF<?GFHHN43 ~Lॢ+ xű(|!}l?+,P8,;^MV,Ҙ(Z@ƫp`walA<6I\pWo^}}ܳ;fi ˡ"%a!Dq,Dr ){Tg|g+t1)W+Ҏ.8, QA^/Q|%%L^)kL^Ϯۿ譇ϻ9wNFvWo43foQE˳1 \.eؼ uֺ_3OE߿ t{)q6if\忻~0%) uSsK3&" w4DР@{NUȈ|o?eЋkc6?l6:]Ltp<_-XPnTj'd&ب2 y$̵^"G^u&omTEHLiVp@H00e?CteM8g2;Ȍ7I >0~L&Aotz|b>tKUVgŒqM aN>Z^bhw^p Xwuoh?E1l\c"*,e>̌t_ 8 !-86x$o{7Rz#32J#vS 9ZS~MUpj;ǔmGggEP\$[Tkt^%#Y`$u5Qn7P9o|ô2דN5!㿃#nQ:kdA׍ݖ2+-+2 sJ ]UqhE_V ]ɳ4Z``]" n?(<\]5 6 WxC`D͠vL@vg%9{nvnO(6HWosBgRH3BQ ṿs`m<ХA׽,1i|nB }%P.ˠhEK;  34IiZRB#ny޳^ h*P=e)&ƅNy{L(g AP/ola5Kק}hD8_Prp:nhbs;%q^(hx!6G*\heFSɖի}1cJ"V>Y8jc߃up\pR7KIHvQV0_=Nw+.x%K:w[̭]Ӓ6Ҫ>ZE ir cGE_Ro^.t5oRgs"? Ǡ}LP;!Ŭe $LNX,ouFlӏKҘmQV[s%>6blfH~Lg3 upЁ薘mQ}]*g#[b~%̗79o;`oBU&vkxM[K톛m8ˮ_'ְ>K9s(^jb! IsA0hA@.MX3!|ڃfUh%oX! #8Uf5IUBi>3 RƒwۅTH&vKO8ɭ(!_؏C~H0hĜ _oSGXfBP:Z1AtY{_DAlS>>E~X>~7hI\X%Ιaݼ;FY|yLSDE ߐ:xyw/E],| ׵ e¹QnIƣ@T``]ǵʇuPYxm2 Rl4xqY^Y6Q0X|ކWBfvY?ك)Tga[jDx*܆Y O#Ǝ*@ K +Mu BrEAUa'!q7Y@d> NמgڟDj('_>T{=r8'!zXX:*BNG][+[+`|_lwL34ŀ1Dej(UFM,Rd.p q!%͡=cLyZTϯUk*K1y5۲#jy9EBhji׆ /+Y?z]:KE$P |n;KpH޻]qd&rAOܭydW#9Ktu_i 8#Sü𭘒hHb4!Lj^Awѿ{6)JA dq[1 K<ss-#J7\ۻb)xI5v}2n-CkY}UNKVRaq̈}4 4.G[Iq?6bdJt9x!>wd? 5AT`&*k33i P!fʅ F/skľ$iՙ3P#[?: w _ =^SݮJP׹ekV e$@PHe;uOST|0x?6&xTNM]ǜ?QX%)沰^D&|C01 hY-AFa@.PSˆE"10snC_?gn>saLuK K̵4yLG$FKb,Hv)SLg?3DW}5j@Jc<%xE*9tTbz|MS0 5 Sۓ" qMZm: Rk~$8S+uOw}M3y o $$8a|Dm9Nǎ_t!_I\iwOMDE܅c2MBp(v="d?=a?$Y$i;ȠW+Nb}fê#@j5ek1&-OJޔ'&;Pb]|=ʥ)P,O),+Z'|#:m46 "qč|#0 *"gYZ1b9352a469c800bfeee27eb7cebefa12ff45be4f681d5f7fc3e04aaa1f2e7e53f290c7539f21d962 760f5e67e9493faf5a17920ca125cc8fad05353b 91ecd66eb993ad7f2f4dcea6b812a916f274f32f b92651b47650004f741835e1473791a09d660191 77b15b11c5d3414138b86e7cca451d52c694d95f