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 #dd ]S Psi_Calculi:threads=4elapsed=385.010cpu=1256.720gc=45.424factor=3.267zXZִF! f l]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טXVg:9C佞uNU\C!D2s煋$KgO5 9Z(}?F$nJb{-,5T,wP--;[8[ ;9wݩo2ƛĜ퐇 Q;߈Kdn89ؿTʘz|k bS?HyR&(Vɠ7sQLMpJpp=1T Tu('-0_R5jL!Mp<7J p6b>wEҦSp i}w86߁P5$pIHO4|%]p; %˶J!-<a 7C*&@Owѽ]U:2lQPb=kOlfw{ qΈ.U=r`Aqv'Q ,ن&b+fv0MXg8ϩkv<*UzxF6Y(h >#|/|^v#}. . zĔF2UtYj[O ģf%H"NV}'K Lٚ"7z6V|~T yEM{( M H#Eޖš:o`)M+@䈼.E9uM gÌ"9 ϥWlNMcBrg:\谣*F!u|cWVqTN!Wɧew4&ѳ"A+?NBs}H6HO]JT^<$IPCP)gYuwIZ 4{ ޺+ /6+\X|A;ԀҖc*]@B ) !D}!6b}|>8=v}DEd>? pL!H-ke ^TA"i]38c"ilq5ekZi>,8#AgNE0R˹.°y`5InHňŝaLykVu|w!] ݑ 0ӌVU{LJP R0G@WipVϴBan8*+hI^ Zi`6Kv5{JU!al&Kwl,Q& }lX|$-~E3tREc՚P5z2Y`y+E(GxDNml #lff*ƨd!"X̑Wȸ3m_;tlM#vr 2: qe"{O527$1plF]v>Nf͍LuFEs@grOG_\ĻIcv냽z\Dn#Bl'ܪCF4YzfzAW7-uE)q A֕9eqPk AUgk |D.eK|v.LF;P/]T%{Bh08y1!l<9"dv$!ȻO~"*H#̛J !-rѾ)5v3Z2NkNevb`" ~r4=I9&ίwA~${څ]{DNN{1Paܛbک/=W#e4?3M]eo[W$$0pW}®,јes < Oxo~L(=#P 0SqC.eVUcyUoq샞48T ѰkѪ\@Y0pU8X& !(IPbRYh|UD]ͩKb3@K\Hڱ\9 tNMO5~9%Hlұ '~Q?@',&cvϛV=4aB3]_15D닽 C%7pʹ[8P|K>̘RuR b S$< o9.5v|/!}[fp1=VCuą`"ѧR6\NzpQEZ? W{/Ռ,iI/OzDn/HDX8ĘHN֧n.M^$4!Y'q/J?)Zȗް*vRIa}XxM~;͂OY,`G+PLݕR7K 2`p_K(-Fi9ZcNV\T_4`E[9hYғ}WR*=Qf?Z C BM.)l}tę*H dϧ}X.|'3HJTfZfCJm0) :a▼_de 1NzM/$GaJS6}鴽>ʴDݎ.a$:u V+!6[W}҆G_cP+E{4!.8o9(zJ@ܕ_B[:Xzyx+&~kPeZIU " :t@ 9>sT~@4*~4]Bv5 zG 3@sIyOGյe,~vp_uAɟFMwRT)@ j!}$}!7^XqA g`p :\rOR~whl}FsYX KQjRD I9-bש>d =yςeƱmO-K~tV9Ty:aWL8Y \bEnIX]z`{YK8MmqŦMD-ŻJؑ): ~٬g[ etHN(*LJI}oLu4P8M=_t` (3$Jg0ep+xkAmf^jIk!'/wuG+6b̆:+aJvMy7Ӏ:A Ow&G+Lȸ-|KkGաsK+_J11mL]XjAADfg47/6$qe&z$59 J&PtלBaRW 7aCzcg[/"+ ߠT:p`h817%@/gZ |J#YvgɩgZ_w )T5ǭ>T鲡嬑&8lF}S zTLm&ij}%ux<E˶N>07(ČEW~P!#Dӿ,pjd|6bJL:'kV\ٓ@ W\CEIHbeU*X:v0t ?FBosusDoZ*LPϹ' SjD~Q{2A_8Ɍ8,'[?Eؗo6)PP棖L6|OZ">{53IM3X.lO3 00wk`0 Wp̹U[!bUM V^W;f`׋V*:f,o߮"pd$cP!9*=yYssUш=R)Ѻea9WCӜoۙ04' W.>wY:U?5?ުFё 0 4ϦlvgU <4C͢gbIqcur&b󖗱R(EӂR@sNȏ蚤1D~LKzڛub D- eؘ:H372dTf0v'Ly'WXPx.q}Czu%&ȼw+GzKWH 0SֹE\l:ad0;cJC o6[O[L>kPH|\) #jr- ^C/RU~_$@d%w IR32̀%q#4شvFlm .-)<H\"X ' ;2Kno;i Ri4Ѭ-huZ8D/.ӿJ%o9@%uGeܲGL,- upQB|7[yB@[S?'%P 7q9,>(fj7y w氵z^ 7@9(grF}9b|4_=#@IIlwrTjc^R%u/ܕHOtںꌫ<$13P Dw"f{[ZW;F? j:FxImaΣ;dVnSr(9)$ G)~na09:å@^O@Hj:@fWeYC7?QWr|Ŕ{/fYJc_!z=mk.t paMKpm~q7.tEP.g%aH= akl:?e+ŲU$aA09Ĝ(_g=O/$<[|7a~N좣AQc*,=N id$I~ҚZ&w&4^q4JiW_Z*!ɑHU;:/Ҍ/$։j^c~'t,7>vsr.&Vk/);t2 wݿhʬ]h$cDTu oݪhW~F;ZQ6or@ܔv(tlwD#21c Yħ^ 70S\^1rLX/+/^ >/1偰AXtm+t MYq{`È>V!v!J:+Ԍ:b|E/Xi&I}&;4)^ lBu^:H|6^'KF@:Յ OuKd4) XLxHaPSMB\Ub,~x<d~yL) 8Mk)(K94bIA\RSAʙgYZ7zXZִF! N]ŗXiɟ˗̵w'Sɺl!\d'Gs2"YyA>,XBaD~ ?g7{?#4Ӻl.1&}oE3xLjGx`mi![y 39RY9籢hnRO2%򢀝J90#d}9`c-hGS >Q2FO(Y!bsF<# 1Oc T ?@P`=nhqc"!'z#Fp(Caa10q?ń7ٵw]4MIM*I6OZ{ǎ^}YEn8AܲIN .L_uqo1ɤ>vuf ׫=D( a󧉅sPo3yv2ئ Bkzk 45oPXxM<:KV9fpG<Wu; @&;ʶy+uYi{lvjbK]if_ 0!=] eTO~{J<6]p`/˶,j$0=[.o:LH8a9>F-gYZ7zXZִF! {]ŗXi%IPfA k,ǃ5-mɊ.OWC"1Ej5Yw5@]gGQ@C /Nn+!.y]$sj7\NA !YOU?d'u6ŜW%*ݑ̀;tfNfUn22C Ωa_EuT5lNO BDʉg*i S8Lј6k8Fyfpd1E`7/pVRu%jLH,yG̝Xwֺ1"+ o\4[bL[6h}i!xufRJ5*Y|ߪ~%R7\8ǃ4ֱX{%K1k%"&xC-6d 15Lc֯hsVT7Ѭ“&45gl j m1/i8SL=LJawyꙢ p i* os,Om`;A?>Me(-8f>IwzגDwQ7:$63D^؞uSNO暄{v¸\YI ݜ襪>43N:6gZgJ2aquܣJֶ-7ȂS@e.d@7 ]M 6 gYb I)d Bh]ŀdI'04vpK 3lUJ1=**)#_ yGG0C덽odȯ{.bx4p7_qQiQw*].8fǣɹSUXJc+FDW,7ߊ|*B+ HQ~k.*o$ bc&4;Z.=3qE֛pJsf[Li`TZ_~V .l1ġָ|15 QӼClFoGh/& {bTI\ypy֒̈́FFo"mkRf׊ysur&bJ"4"lkUSȎG"ZhTr)1tҎՇZ`eqm"<,^Rn? |N< (r8!RA1Km2vP [ 2C2DKY+H/g?!Ǜھʇk|4)juq5v}]s3NJ_LɆ^p>XMzf,qC ;><8qŚr%BZVJu/YU7%2GaBD%I+|j:N7=> ("3&ǢmYh]le=AgMRs77#k>h$tS"<ל͹v >ܯlJgS1ǥH Rƌ zA1;Y}XbN 3{ ;bS"a"*e,!_ksZR yN\&d:n<:13(pcηo~*SiWp'7DUlzHj~ h=ҷk~Tm2M]?]K _R{ 4B9@xL  ZSߩH ؏H T7`68áXKvk_FSZrCy2%"ް+XHAH|V I.KE Se~͟n?tkQ6h8\=kP'Ñ l <6jԘ;Dǰ"cXi bԪ ;O = 0s1).sbb]rsp:-BnX=/G+v.U"U |Hf 1 453C;3W%5+)t`KՃbܦWAFD2BcSTY8 &pa \yl~֍E3ygۅ|62[6~0( WxCş̰a3m=|xs :lHe ё@~kw 6({V?dRJ$Y !xyPY7(Iׄ~?)ҷ9l/ =c ;sE'?2ߏ7A]_ˌs2sfq@k v :C}F9gDQb;tX+5'W+4Х9jvIIoƮj=S61om?ѯtTx (cj=S@Ng Up-z碃hSYF+)ZMc*4g#$/zA?n&7S Ma"d2.]S;8, -*4Rzv @/8zO&ySfEB۬'/ZK/^ʗZ`E'uo.09ʃ򴣟fumL}h蔅bz쬷z4ifa@|ذwþZ~Nh iHtU ,"V(ɛW{ P`ؾn48:OkEl&-~}skZT'A#ǤZ btrt\jdpͦ;B\ QVP'ƇQ!78Rs~`Z'29H#lxmSMH 1A φfgF,=s3(U; 9f)6Lpw;ڤP~v'#D68Y-f'+2i* ГWWr&vc­*5 gjW\"a˸Cr^30V/Vԭu^WAAPv_ei>8n6+…}T!~% ncT%yFAWVKl̴J3 6LHJʡ]UO 8&)hp}M*3 g~Av.E*zx=PS }}~x@0^yxhH_6XaL}8CPOpuf:š41 NCj(7SNNKۏ.` Rupz"k9\5cZJd.~K+n#iHϛ0q1f4ǒEUeҋx<7*d*ޕ/JE.,õYLH$EQa7nK`(8N$V+$d> .MQnvkB"l1F `PuCQzsj\"xfr/FD8 ABwm3cbo;HU&ivnN@Hn2_}#r6{8o^"WOǻ CCLCZ)B,QNvz bF e!x|m@{nКӕ(b e@ep̩O/@.;,vE0}@uR>$X֎ `ikJu3^h{m,KLn+? c8ye<L&T#]cr<5- mڈYfx Ӑ NH 2XxӻUK׭#MZe ?f.[U/ `e !4#'7cp5?|% -qv"b*7HU5D(?t0jhʡUG^6Kܝـ^ i^pg+QNsDDbE5Pm0%F!A`X](/e?%bDE /C-TB!#1PJ%$@Ҽ):X^™#'auqx2"rNWx`hdHvk~4XmU)JoR*i(zRw7|2 fwV[y %FxXO9/.;He ızN jI?zz.\$35ITFUt:nP Jm-rMȡ}?x$†£]ȆUϠhzxl&`PX(|m($qSppCMO\x:̴PøXOQ6|-j7Ja!Q›c/ xxbNUw"JK/#hJ6挓N&"C|؏y'e ^+~ΩE߬?}Gq kV#íDk]7rS f?*3QNmM۞6HIX,vtd`[9=ΎKfS0a[!KQ*ɖ/pc.rL(3` >A-f\~>+ ;"`&#̀EN75O "ےtiU_y)ύs=ji,̀%2E uA5A;7%b'ّ'dm}8oki &lbұhN7cuVl:>,7HS &X)Sv< >"3:!Vk g~\I>06"m*4ù;:>,J0G[E ־_|ehuwE0I?3<6uGJu4(.ף;_т'KQ Coͦ4jt""F=WOxǧ7wjZFGK +7ur?1uo@ɋ} Rchԫ݇fXvo G}0ٳhZmr8hϯD'Mo P!x_$&kϰW. E{KhmGQIy7m⧸[ ݝaCZvv:7$@x8e!竲_S}fk}̕n.|8$ 0MG -ih) B^IJJg lKIe}D sQjh1߻ 弙r!QwW*8ÑևQBy]+R N5b%#7&?òP%=e>YDu\goX 'V LB0T2=UG |bVظavL-MV{ӟɊk! r?AQ p/U^~Y}Ns=% //EL/.a@| >q-2޿U~O{zt'o=FH)'HQ8Sx@,CGaŌ&Ǭ-ɘ4mqpݴ!݅Гm捲xɐ((7ݸ+w%(?6^9uH_;0Y@ *AeZ|3gԤ[#8]:PJh3j(N(řMkid>]Uq&VXq=!:ʧ>$J7P{/{674 : 1u[)4doxUY2MeXޫ1DfeNA4R#! `3\f{L- @`BU{t9 龸ucFi7 bXh.]+$n< VTDsA 'K9[f#S"h':!o#)JzcS)(BJ*1*v"Lگ(EC$A%L̼,Ī6x6^gZtNo2ʲ??d}{d^u~ y:DF }F2QJS-@*H}][ ű?dd|ȌxX(G@t6NXD/v ɤ>. b(C3/j ҥo#fԖEYv8HNJ!Ld1hï SZEw=+hQV-̽uj͑;{@7EBDq?sѝ!t$ gA5EA mwLDߴ2`qr@YCHO UH쒢q 1T&} }%oF=Q;ɾ)s7?B% U:IAPT88l)ȘI 믐 vg $YUJcIa[4 Cۈ',8.DxP7!@Q  *t ;tK !\mjR,f9{z쮝Ha5yG}*M!CVU=e}Sթ(FlSYA 4EN;SmcMzĎ7%oKʟ<|WhQZ$x\xU>F ۑvZ-ɂi5`.\5q1.ߦOtWYs0)=P|N\wB~2Gj Y'T0=YX/ `_7EC2{V!-e3(@p~c]=e=ԌdBPB'xma«pls< D/ EKTZ G9僋21-$Mg|b،XL{uAh ս zwu`"i9l$ƕE-N\_wg!6;ME Ȼ ܐ,r*;o:O@@q fZ7(ICTZjؿP_OO tʱgd-ao0K@u}ߖ&ß  ܂VZ/P( hY]IYYɹ>惝Q0nR.}"}V95h1 ЁG&=Uɶ-'c'GZ׬P5a?f#7S6|BKok`\9%=V MHӉׯ /4<ToX={!Qւ4 _ a0'T@`!&$xH:,F(gf*֚tu a&I#198[(ڟ"aqAHA|s ̻(|j ̴ z\jvl^iQyVj9#IR1{vwxF=yX2He\>H(t^0X t `NqKo(g@]5m.,'^htMrDq-/vUL}P!BUCSgdqدeEǗCb-5yfLA;2]Քf›.P@j>!鏠EMo& BCjrXO4?,W,3jm &\UUxďG :HIT嗗)dzZ%;aovc1,g1iHh{Wd4N X^*C^A\ GG峁\L')5,JQvUo(T@!b#e!! O~!yf]Pn$1"?7f?2=^вJjPR [&O-a]D^Gc@4N|%BԞԢ{[%31ZqA™]< BZG&PA̔6s;E hnm]8إy׾܂ ·4e/ 8īijXMfQ 61wF!a {]blT@'V{0FKhs ;&u(<Sna6+$%t@> $%&qpwsJ+z;*oXLrvTQ[}<\BjSoC* qp^3qX?$z ~6y># Na]ٯ 39us.@פPn*ʝvbܚ>c)jJ{ת_g&%G7XM, sITxȱmkj?/egb OA\)yB*:p[sډ,ںޥ@!JAAw"8X=pezW3n֖XW) >]ZjmwGl+-~Kjkӱ?/ aZ6 wF?#$G~"x"*#WQep>yX#zeSSםu@6kF(ElG.vz:@鲆uQ3=vAzt €zZ B;Lַ /;nftdf?0,i3F.L.NHd+at[3}]-.F}(zGgBmBtοwC IqnM0L ĚHft2fI[F6 fsǨm!gS!j OĜ!ZMv1F`8!;cvwܓ|[?bвL dCԠLp.yΡXaS̵6N۰*7t($l'~NdP{a2WJ["-F۸fV'MUQ kpvA[8L` C4SdcWW]e(:^:[y*5LF\I> a@z›%*$Db#)VA"A?($)HL  ~om':1*3J`mB˾[#e6m䒛-.PEXJ.^JdO K>|#688#o|;0qg HVΪnsyW K O26Ds*؊CY]=_kͶɓ%m c-q-ZZSCE?ɻp<lZu_˧JkT5ca@X8< ,hFmS<8#/!؍m2è!0Q/vg?KF]Oi~f9[tJ7 {CM^F tBkX:n1鸖BiԈYœ m:Z=(OgM MxFw Y++ &uROC'vNMQ"EջXR@pkrpU|IP1#}5]V\9M̫hhowzlTmo07oѻ*os)PI!#?ݱ wS)sG}*z Ew4_p% s}bbȻ8bp'5. :@X]'6]gE,vo& <|uG "#@u6rZW,}7X=AG+] xq|WRDWWV%gtd7+rX|OELۓ.){%Dv7oGBґsAݎ3odpqSyA7JAgol,v׊e qߌsV8>|ӤWd uDrD,*oې-D8s:x)ٝQhҰ4Vv8(n̫c9$9 h}]dg P)wUoczD{H*{B"pOBX,Ñ3v͊ty\Ɗ8:N֭sy㦇R^9N۵lD]zlFe#hP_-.2؄x{W%j:dӠBV"uvmmk{͒6]BIl>=YZl+Ǿ,{jW"_7HSL )VzX xW(ypP]Ds |_]"q@lX/m)liJ\}piqegm' Hkn&xL i|fKq-ku 0K;iv'8-nT)bj/֛2TCewr RB/R!؆MIDơp|ɵ6ZODɿdG ]g=+Hpd*fŠ#0_]_ eQT{]E 05C?mjY:.UX02~5}hS4z!԰Ϊ %HU]\/KKtv=#ۤ`mu%y!Nu z#Q a\snpV\(=q hZdfѢh[鋰\HG=`mR (=OV\CY2 .0Ie B3aY],[șe5Ķeo)LJ/}^TR$mE1o[1oKtԴs| ?Jܐbo ch>UP\3Q&cx♹et׌tQp\G:Hi/}!shԺ1O|%a$dnnejj],j Vtm F >쏊yWFkqZBarbd5.# 푆7=)[U1mW=A H z^$8 J>'F5 SXecSVN_j­X1fHȐ #cQ+W_},6(IF5_{&2<ڠAzc㛥>]9?d7>}6M(f=R8F.ע}lڽi$GU^@m^grHy!|m8K|lb:hCڈJԥUܻܳK!i 5nJo5Ń7c)}o[*M3p7jt5 E_fǡ4tޖ(pJpňɒ\.Uk)@HrS宴}w[squ5Hi|r+g)jOR^WC̬zYƾf#g"}KEΓJ3/nEU=tm-Is>Ǝ*Ƹ\mX`Sj*J66t(SF)N֔{\>?#}(*ɫBMOQnyHF`mTlo/"_i_R|q5b.A@ .jhGvR3LT. PU٪j@/e)[:z Eʱ;ڹ'*`&,ld;ӈD5ckC,ЕzlXaFN G*cѠu?6QmSPM܅xe}s,z({sQ`Ao|WC=9`jqg:&j#1BG^xt sqc.؀R"uI<>%@ '=7lpPu/in@sz.z Y3z;Id- 蟿f6!mX7 %Ppݘ:<8"[P\0nk󭶤cPǩ/)>qAo%8OƔ?yO?JVu5lYs(OkOXچ@/ ݙ[XN~8Jp[.R@a!*Koބ5!"N m ~T5|nZ*C:NF^j^D< v**P?{(݉D>1qdG!Իx|]XyXTQCɉ1uDVH5r}Iq^>k;z6|>zp6vS4['>,p$ݳC<&V%`1 S݆w`ͱO8};avԇd]QQzv3*R Yll-DKgIjEg3GyhJ UdbvbiEV(kcĬ),9L 6a,.1k6P@/Gd?Qs|6EH*ӹ_9VvWoc‡UV /T:35"x)k/1l4c~Ÿe_A9a]z]Lxf]UnCZ-i[ɑ,_nnUPFWsrD_yW2HOm,S܆ȆطZ quR02D+=W:-i932SIZ םǿj,[0sz\x4ܻ' S׉.ϡTUiCdZ =68<{8WG Kl(ɐ pm"m^Uuڎ͂eL(T]p`p"7b=&h1ECgdJ|8/ky#rb 09+o7UOob7ۤf!r`<~$ !`vTD;h]9P)7߲f g9:pCd'@rdeB>PNB│d!=۽ oKzIXPu}2:ǜq$(ڐ*N1y1^FZ}ȂD|GfPnΎr@ȈVx00 O"{mp8:d6 .z &.dmճzݱ-~XO dl6Ufx" g{05ޭHyv 'u}w N^3c O٠5ϰ6~Աx/K_ǯHŖ:s/OT6߮J`P%0Xky]G .?us~r@'~Q ZfM^j "i,o4w@(gARlT/r쀰 V4|?UnG|0!![ƞ:n;,f!k3-AyKy{%!W7)GF] V:pәOL{_u0T:xlOeDoЉ o7aE{k8%0fʋsfpW O ը+ 6'c!%y}wG%ܽea{Nū;WƉuT\$ijh^{8Z]$ltճk1ý/~UU~,MKdrP e*@|EO{ޯ+8{xr 3Z05sC?A`, <dY~K-0anqA*H9zE;r78фr]ې?@ ) d6& Br~Ȓ NEUY^CW&cC L0YxyЊ .7P0+LzySbITm<Cb7,Tv?#(s$?,iLo97YArWkIzMrY|(J{Vx 'N(θmɈkj^~&dc}/UCfp"e@,>)m@g\֯MP9"?kEIubKdif]E?5R#n@Ku` z]ڛD7əHLu"E7Y=4LH4,\! Qg!v@,bŜ){!~H̵c/<#-_BhgkkKIK6|~;c'#q6`26gt4 V%qɠY5MЈK5 \(%XS#S^ʀyH=aҮFϊErXwI)¥_BX uϛXB]/ZRtRNxXo DUv0~Bma{:{cED`[V+P>RS=keHL([N^[.' sP.#)4SjN8w,ط6UKy|2י+)2z>PZ€>c{/i:z>zBF"*4G/c}^tt.Oߠn̚@KG8r 佪ӛ a |QT݆ΫvMYUlL[RO>59]!JM\xJ |*˫]TXU3@Uq' }qH p R}[f+ rf+fyVI9)Qz$ c&-jRװߠ0YIs۰U Ol8ѷE,!Bk'm8e-%$l)7<wK̹Yy=_B3[=r| iTHzWX, 4y{ְ>8%%OZm#L̝g<1 qXyB<53lb1K&81㟐|&U2$쯶Ozg;Gޣao!ҝ.QIt*ww]ա),xHCyAs'6΢iNm^PGU3ܛxX+94V֍ >}w Jr&l3O"np(kn8~-pE,hc9 V* ůa{wt@؉EVWN|'ma5~¼ÕM%l5^f_#vK^Ty{!"27J3 $ r&JdX0Buؽgn1} -3%IV ]m2f2 fcF^K /=/|_u{A`$@\ wndNj.ke U/P!ƧdZsڷ~L,^X&m>dM2Q#hL܎#]Ali 21i6&_cKB>yY7,W/ض-'(@M?#<8=@_gs5e԰am $=_^%vs-mX?KVۢٳ>rE~z04D~K}=1%=5[d*3ȇY,? oFش\[* cQ#2!S_r% ̟)Z&SU&zwySK2 I.Lv2 _|aTy3iʨ$2# RU"%U) K] sx:4Pc: 6!Q>)A hdt4.bؙsEmTɆi:['EI4TzZF~.շ^ѽFiFw)qŋz+B8o۲#<7`_f7wA` -X/qZջJLٔiYiZ9 Sw~Bk7-%{=pPOrqSպ 5;T-?Ih_%Υ>cH:mp!ɶhXK?T}rQ v_ʻ3Iǡΰ=y2xlϱh'~]ԅOf,Hh[XՃ:0?y@p!m[PǺQKb|=uT",H8ҖTt7/w``KilbЄjW:_`MB`t;%Sƪī3Bo$tq*kUeJ4x7=wja-MhRӿ9ZURC(6}E^~y^Ӧ>Kb _/79EVR?A.avA]MRR!xb^'{X6Tәa)lIzӶŋNY~` sXYKg{+7Ael`rEؼQV/+Wt$I!OI-&F< ޑ_)@ĬZt&swM-kA%z80ɓ[6G}dx<_xsr6Y A)AžH(Go<1vԵC E|!^K,el[cYLk0#afZIgfVZցٙ7fռڙv~05V-r0lxeQN!XJ@W-{H/k5xQ #o2n@G plKWH>푲YY=@Bg֒%&\ֹRN a\\-t"n{^99Ǟ&w3ĩʋ9| o1i7E(c !;@+vO?7_p;]]ud h rkmJ}?X bbٯe~tj~)||5l Z 0 ̃C#L L]*z!3i/د\'HXQ0[~!?oR&bܞN"2g/'QRkRb<{\pj®C4BЗoȕȔIJZ0%=AyI۳HߦG~dܴ ^]WInM!ĶCu;~ٚZmɃ /qw.qʢjg`j )Bx3ϕb |n): MC>YP밦'ƨt(fa4EÑ#!7x)f]CT-W>3+)qTOu2`zGmBO@ջCgG$|ךFa3g!As]#Ir~G([gfÉ;ƚZ~B̘2R'چ+<4%LtuAE0ӇBY |:7nTB<)c'c:@~8]^6V *b ߠmhuŲ8GPDS*><@Pa(K*ty @T~ŃCg-EBRSЉUcA$ Y%り1ˋ3 ,CEp1D>3?+DrXgZǺc?ֶ i˾>yEAh ;#Ac`\׳$hJ2Ợ+Dj”픭ԪFQB>KEf@mK {i"d0t(tea#?F/UOvIXU@e &725 j!@9VS.ݖWb0)fK_F\=^Kf2T/^1kJ55,mHʏH8?<򌖐=+t#QQCZ0큵d!`HWsΗNϯ w&p|=d8`/tڻF/HB$.9N)X[ 3p@iQ }NXl6ٶC($J}OdͼlK RX/$|2BF<)T֎)*im-z -UYuCEsrOI5'PTa΢?JʉOFPM=Fx;h.N?> żc5%I%b7jhRHj5#ew9|e|_mQ^dD,|~vҰd^UbePt]R"ozt A^KwՁgV6ZUyљp T- % ƽQ-+*=Xn,粲Z00tz;RtZǡw/H#dEil:oj(پ0d?7 u(% gT'QI o" Szm?P.@pR* &/rl\Arb ukCH ZR- ՀraB{C/E"[5HrX䰦G<7}m3ykD~si6lڡ$iI(z4"9a49]%8{63#},8쀚:%piD9 H^}M}X1IupzTiEL?ȟ*J>2!N$m@q #חaQUG8!NroGVJMBQ zEe|xwD%'b3~_@3b:,Hfo"4Vhɷ*U*d5`YwV,-,Ny@ge\r_$~ SZ%h?~OeeVp :4HÒpt"i,! sUpqV WMZiO&thk=f}WMɔMTQO&4bCT!VТgA$N Qf 7R0BY8+h4Ab0O ^)xM|K|.$WEq3GNgQnnwK  l ap4%UKrh)B&OtTnh\1],bĕx iZ4/V$(#Bj^tI:]&qn,VAJEd*>wuea}nRE䙲;]@ ʆŕOWԈdz ΤȼLMh7Z֢7r#ڥu^T2ܻ{M.y [L:uvŠ .8[*eWwUl+|9L`i\}n#qy瓦1Dx5oa0j{Y гh[nBWmqS\otExa֡`hxm#Ƙg&ؗ_,J[cM)4/l*E<o%^EkB{AN-v$ `6%"t|O8XՈl|:nCfghY7 \(iuߛUg87vBVCbnRI!hק+E*mrbqBv9 j_#¡2N& yuՏBRv v4s95g27ZA͖[-(bB*"c/4PBR< /x5eZ}EsܣIB.[o[.DӼ@Sn$a)8h H߾YU;[tN͗Y\ _LCGT?h&+@3+ oEu%dy9ќ5H8d|{Mɑ  Ё=?dY< {#469QlYy:'L}0ZsdP )AryU0*yAYdIf#ucB8{ԡ·Rt7:݉*'yϺ"?_} m zɎ֭Z8]"a'Q8&|VƏz Glb;XP1r,7&nT3m( 4:Cg4yzwM6|*ab*j!]D.CW++$6Jv8a1ю yH) a&͞19> ~53vrNYkt$QQhmviB/rtdJ _ Z(g q.NB}˲pڎ. @+F(D."}ƜA7Sa*5R}n~&?‹{j⎯t]bf-RxD~Yc5y#\0m[1Ƌj:\:t2@%/'F=\ $37n>#f= *7EY4Y$S>`H@j,u31FWC-ǗEww_o^̘1~$ڵ^V6G+:`U 5 !]t}pa}!@ QRisLq,8^bFήh 2c$?*??lFr##z{EmK&FdI卷`x:cV5I؃7DAV'pYzw]zKhMDOqQ@4ۏjcub_|yNj뺑9**a J/-'`(ݕXIK$.RX?' q)TG6=@6WadG8ˇ֪#c}k7uyg`rIJu&@aL6D tc։TAa lb]a;nMd>l;4c>@FoqϋS9- DbВ+ fxjMpJ9W)t`ƮeIW]WS0l8kX6 hwZ ǝů-huiwl.8Y],}DƤt6!m\aτGhizr lx>da] ̲(yy~`++öd$ՉZV K0N/FܟwҘ}s(l:1j+]ɬΟwtSM@6X OD?8zr.\vd4ͯof/S~Ҷ<= ]r ̕Yu&<6YEP2[$훇2g AF~geYTAWo*ɟ v)w~`{1k ?@R׎bߪl~&/K-L5$aN<@i>3CŴK}b ]:S*ue NV[g)G[6BrYXq+ak6:TDx[n:ÿͺ/-O 5ۓQ?Ƴ'B?Ma4Y*uFP1]Q>?9Mig9>f-k,|R|aIGMmt1@c Q_40rBU%soWzG]w|UWht ˛dJHJm'7j{5S`O5QVfIZ.H)3V(*bl6B+ TV>2b {烚%7z6&BO9;Ką`Ul:ec[KL_j#lcWY z*V/{~2T8+[˄S~ =TCwJ ܓ(,dR0TP$^w?E+eB\`ÉI+Ge3 UESB+@(%zOUJ+l%!C ]_>N"$K':o!Z1}lоS,rGn1~@ ];AŰ{qJWK(n!z tp$(I@0BEl>؟V;Q8fI%iky"]J(xehxQ 4b eEݨ~t'{N_wRW9-;}UaKOˣOu?;y/ldl \BG.5_L՞Rg7_.hC//WJpmu1)PMɞAZQt N&*q?%#k擿!*d5Jܖk`0_]SQ|M~Ѥ{1Y&DJFA]3vě7x]+OzRc~@Jc,Y,6m8[İ^d }A!Od} P iw~;#27FS<.C$Ŭ' u/uh BkUiu8mw3qY8$zJd24*!R!?m[HJ|ձrnO{Ћ9un)9-ƃW|J'r1&A|I*5L^1n¼M_Te.ܦyϟf,̍ߧVr,Ԏ,EP@e(o~rzutS+]w&@4Yz %4$2wt QT +MP6=\NNS"XbUjL[3Q"Ė6o@<'< t۸Ů!Ba&*(zD-ܨWsx=&J X݋mWh6>qdT]~Ls$jWJ<.Q`Q~Vo_ t*:oeM[an}([!wC%n5뎣bF$ 7r.:t, N(f;7cLlP7Hk Q:R1ƝDHqȼnK#d)_uhq"-cnpKGJX8yKr) ,9X}')'B)H3wEqTloCJ ND\*vuЙlX2oꐳ&1( F+W7rڴ]c\);pxq=%agyLdm=D% #jD_a9!{%:rYԂvD@W>H|1տK$E!*T k/uy c[PLßf*if7VTb)h8 ,|[PL^#%o WJy$ *W':P{׹+˻JYHlHJm?bgMp03VOE;.~q͋H</&m^\02YRfYE]Gv[ٻ4$hy5n%R灡 OoC 3^ED/RPq%#6;.y '<}x#a/݄ݏV%mPx5-$$2+SQ]ro2VX፽;9j.O֥WoSN Mqf(%hw|{y@_TDą`ʗ)9r$FN$<"1b(9-[ߋ[\Fٜ[b+*0;>-aLQ?fx{,]p3DgkZI?zzKШowS>^R5-RB=*!gs0oSOѩ|i 1B44C}2,(5Bta'q{@* Ge'm e9s ap--<[>:DD#mmK"iD.oI&A;피 E#p5~&2̸Zw7)Qt9H9+OŅ۵ q8'I1c!`p7ti ߫!:lں[#ύgYZ3c0a2a4b165477c645dfd00be46be1f71394ed0b5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 eab33d3bd5d4e6d5a7608722a109490af2ae85c2