SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  * *.9~<< ] HOL-Datatype_Benchmark:threads=6elapsed=522.478cpu=1940.792gc=705.1407zXZִF! 4|]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;#U""[h~+8HuC_JB5#tJ)huHz7SIeR!V w!(UcTցv3 uc"EsOa\A=\"bKGO)7ARGLL$?1C̈#-sc9ŽIʕ;e, j[phbhdi-IcSKa5a5-q,ld}˯v |mybUg{gjt4TnEve#WIsP@@. lJk@C^7lo2_Q%LVÅ58b8}#j%@陏8[Bk.u0~SN9:ȃ% 8!:d܇gq, l+-v\\'!Gp Yk% qcK<1Tytxl80KGCaڣ8ATS#4}ӄ|] O!]|CLzDtPڍ[,ip޹LQ ״oRx3(m@&LcDj2T&skzu9Zy-`RWxk|qV" `X! [f|yq<{(Ŷr9d/Vwz S4b8iUϛnE}lC#=F̏pDpG{3ڜM2_-fxBB{Uתw+cg}dJ2c%;qm֏,6tEk-&>fyUvE xI i+'gYZ7zXZִF!  ]ŗXiɟ1)*u%9K3L&x?g)s@ qB2nQjV3 ^x99;?,E2nbdž Ce0ZIFgYZ7zXZִF! ]ŗXi%j8V+چ݄lMC ={FqD dS-55795hE1!?޻|}K>ęXܱҍ6"B]K&skJN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ =!+tKQ[VH"Se'Dxy\h u3-K *>RR&I9ajH Óq ѽ] `E1Zwj S7kE8zƎ[l X:CH9$(LO(IbQ~٧k~ g6ÿ/Fb¾=ǃAl4UPcRFw݈媂kbPدH Y?ic L<$wT!i^_BGbI8Uq`x`MKL jso}AGM$ᇡp4+e%7'f+oJ E(eLP ^RU*Ufڶ{Y*RJ "8;mpRA  3}S뚉.2[y7/9+1t3LLj\!vJ+lIk^|Ӻ8mGAL1 tEp$N^riu-cUZA+ru)3c\OXM]*0B2܃=ȕcЎݐ`IBqkWYϲY$¯w"J "$N\j-߂S hY2λbaK߷R'*4E.c}`7mi.Q( $om0b/" J́]qpI d!l+̸y ''p< LP(`xUQfn+W&K>"0{NMUSⅼO1֣w,bʵ?g_(;2 'V* uor$K$eUҫ:;s5ȱކ̑XKgqY=#'xqtqx"L#+xpM3!YwERs]: fDg-ur 8"9 ;(s!>6 M%KROt} 02O}`᫊2}pGs* Hm7I`!npCyq+٨/4$ZW n K}ih4325JK 3V%NW  0g5ӆFcTuِ(8[ m)pqod~_?潃9s{4B¹-ο~5#F>bpYZ}dʂD~4Ovo/~x`8wQ¢-ӅgoZzl1֯BߌH+!MpJxHO{{\H)ztpœuVgf,0ea+0p8Oi2&FaJ{#O`X^4_ ]<\&sk,(YHY :;d`c@h$U>3;">KO20+  hEW/ڟ0(T&Xkq>™9s_S.uL@ |GK~ey J@n{|}4kA};?`ևMעλfoQLz鋧6IsE@@צ$wȉP57&pEviCR\@n:7"e[㡳N^"-7\ǀ FlHe4w5$6[oYX u(/ʨ j[\tu6]V& QvP1]`EQD˥̞z|P'6폝X#|ɾs<:e۪S`݈鿨43]$ k B*:~>+!i-V+Yl9`pU(LZFVUdwY~eb|ZzJj=z(lhq-Μ*8"a-NSfȓ@e>4J3IqX|=6K Wug=.2zc珺9+;D8^Flk((+= Qh8W..z"0KtCzz%=8Jr9Q1~==> ^G?-1Rʕ[YEW8eM^ k,1νLp+սit_@ X1i0h8u(wxbSQ=Id.9sc!0>?4|F%SXBm2vϠkrj΋bi06 pA|hOQ 䑑vFArCtem)EI.]»&‚g+&]Cd`Df\^qּ߹A?7F֎!ZIK_a)QaЪƨNRCmw-y<A1z}wwZXK}2Gś87u#=7-J:I1!4wX ՂviQ"6+m.(Q9AE G)j ,d%5S1{[]m#}iv `7WĒh׮+ #/T*]zXfulu\U,GMa1uQgɆU [.+Qm%L0Nsp&\πӡ{GJa[6u\JZkG Qko7,w_Bkk(OX8z2y r7U ء]kG9Tz@.$Ɋ=?^r#`v`Etkk /= ]qhp7HrNy,k1Vt|w2/Оgfhw=y\;KM{+҃_McWa/YU*4YR5*m]WDXbd _df bH`˻K0*;nߣtmvCuP/cEJ^txA_R9YJ7d֌쌓QDx/㟤|P1G}K0Yv.z*lQ-j"| ʉ_wW .\И3l?S%A8@C`> tPjXܖiпPW*["z'[E'9L2y_:t=ܪmt47[2L'8o>B{1tRm9#P?ؚyqΐdMeuv[/^9^NUL47(>W`*F_ 郳"zO`zYsHF>Tg2Oi+Yr' 'P;ٕF61@dK;0C8̮vM;%m2'gDdږ\i#=o6(*Ϊn3쨱CdlꑦZR 'a,hO:ɘ_N3z%)-0^~Mi*|:]4D)B\x# `p! T7.sqj}.˪VG=ӊ7zbW8LT=J>k%< N(.'ьғƤ!'l,i3YbßhoڴuPŔyH2+ա`tj#Qė'yez5VJ1n߮BrZg^oڸ3)GD,-KHٖAupNO^R) Vp1.;Ha8>sV~O 6\K{SE$DaM8w,B;y}Obll:i d ^I')l0z=TR+;V~$\X$a$(e#*uVEplnSjQ h"'8I lny $qG~0E9\BLH<5-lؿWuЫ?Ys-ZxP<PoA3kCfqƋowZ Nq׭~HfTD~M9J[(p3ְn4ZdjP>cQV}B KgU<@U裭ɮ)b揪_uخ:yql>NG RAw <qTZ{QΗ2w# G+wj;}P~2E TKh\۽/6 9@2xkt0'S@""4 eځ8m$JkQ<6&`řJ<#Ѝ1[=+ego>ô:S#t7wlNLB-|? e2ed3% UB9.Qz|ů"E\p {U .`LLѨ_yO=u)\H(tn{onc.E,k"r|W9 -i -MjduVKN׾Qe64 6ș7ڨ-E'CE-qCݿ3;;;tKod aF Äs}WQ2{L?J$#缦oUuT Ԍ=H4wsDQ{ ;Q+r.W4OtJZ/S4߄Et#Z t1np ݖM%q;xxl&Y33z|o ?=}F@Q2!Iֶ}<>SbD*"5=+O4DtUI^I_nad`4p}Zx͑Wo]h+~/XU:EQB!Zt{#?ޥr ϩX50\VbukBӚ-2'sxȑ.Ye\lso*\ڀP޷PNP~Yc(h5V[tbsHsDTK|.-68;.KD)dyO\?$m>sa Lѝ?…e8sLh­gCBNRˢpuK~ᏸ6*?b2 $givh%UYHŒIȮJOU~uE⎰.P'nS B'{P~U4Jra*ɮ+ $v7A M1``?GCx|rr#RU8l%a+]2x`n٭<%^Bl +}".M]i4nV&&Mz:xzN]*:ygCbNUpdʲ%ߔX$e - ڈ߿PwW*[&߶ݗ k M]Xexmd/pˀc j+~5582sFያ_xOiMB"W0h %|asnhxjk{8!}욌(`i(UclcyWFT#ۘ9.~}hE+(Cx"4cCoäF(* $]zo/}K{ 1d *e!J@^ʖC/4nVdB؋qmw^)JSeȉR@R%ѰXzY[泧а&1zJТ.~aw<*X#!-'ʑuK i$@zǺ#?:F"YƋ䄸u,#SQlױ'jQ`CA/=\^r()+yP{FYZ|%bt!N5'Mq :Lhf[OVZK @WIBj8mXVPm#h9?4Yz4WT:=@W@9\d$,ɀ1##ed.:DdZ999(?S9%M&ųsKqXĪpomk# }12R)3hk* W~[LYP~.ŐZX^uPé'D hS]s尿ti|I]"ĝN76$fG/Bv:r5?O+1Q\ȋ}!|gdV@\op'QECɏboKo/z.ݵ6Ϛs4REL|RFp&JQ.5{uRRū2Y*`!&l4۠!p%i1;ԢsX iKo~U[ 7I0Œx[";Yb^`t'%NLp>[ hr@c7#sI z!I2ޭM‹!p%d̑5mÞO9{O#ᕍ3gn}b<ᷣ&==aRoFFݿz>=)cibJKĘE!4X˜RpQUN)LΗ3J_T69':x[$kUYr $ȇ*І˴Q kncc&; 5*m:M6aJlFy^de,`jե3+ƞBMttso y h8SRLH\Q0OZumۚPc˥ļ\Ph==\8Y;򭍞{y܅1?vˤ;% XTQpD> I.xX3S):y{F烿T)AU:R6cIb0X!ރ<~.=]AvcC"ONMiHL`1BD胪oDŰdݸEԟFit2׈=ȁ[+:ĔA$Rp8:8t)' 'Un:.Dace^B5x6åoZ"P kbARwިPSW.}xd]寈GJ.}ui}pI_2sEE!:NuZ!Sq&[h];սKS`0E`=aNiZrFF/+V*Kd[{wϝ@yO 9 -&" ʅH?%alZroψbŢ-X1tc:]=cq¥gBWZI' !XSR-ƏA& *,6sBM0WO=N  ;|IyPWٰc%ѐMi=?eo[綦!sϡZCyTlAvued[&5 U>dڶIR8ו;ւ^mdus5Q?[!qԉwӞT$u.'q} 1EAqR`%yc}#c]"l:(H]A3Z{9X1Ɩ3g:M5ϱ|1W'UTÍu_BМ|AMt:fV{ĕ,'L eRce&h$rS 2;MZ.1Y6W8gYCNc9*YoM7izH78ҽl8+?'H*3 1cSccQ{a)0e gpR$5uNH",. 9ζڈP\Ȇh{[Sa '"uoKb5 ڵՅK_3G$ b4e#QܞR[T IdPVsSyq9WWLuE ^PF$h]*ĆZ:b;a{#^~~":qS3,|&Z^ӴY!؆Ȣ%YT%Wd*}wKOA~a{n- ñ5LE]p~K2?85 U:JwiV9W||cV9pͲ"3YXp: tY3Ju퐎iCŰ6哄E;_1&js\ :Nf ҋaB+3.!hݢlmأDMmo5ԓ`yWJtB@6EBcsgytVilV \sNYPA%ZG?\ڟ~<efK7N"ѷŘšs*fr',2~t/i/5 =6O.s\ G`s%y{Balz./\NO} XXF 38rǏYAaJh|`Db߸V0[ vVb0C(*:H /b  c24ն_s5רJ5.mc >i5$iŅo\0@Ԋptp]6 >] plZQ%n-p%W7 48aJ72BxTDs/]9PNEho{,IoN@'K$JiE8G 5dk$h̊D%~gKu)-AY݊D]uI>KDC % )(%&穒y0_Y6$577Ʌ0>m#§c9U&˻lz"m&L/dI\s[OWJs1ǥ}}%51CS7Kqd(h/Qx#=_wF;zЖIkSMz a|BmºkF?4b$Zlm(2'#x4Cp@qT_9:W ŏ9;f,PqI#:wQfJyAB Xinf/t$m t:no'os^E@.û8kwq%5ZTs*1[1PZӺ pvAO/ Yb'EXLA:g`-0ocBpǔZ"T4<+#8?jibz ̺ Ep6 / ٚFvӢ GV|Ⱥ%s{t>Y,Qga"%۹`K٤N명vۓl<19rQW%&bT{z(9߮bp[~e^Drni%MˈAݧ;κL#2E~'8Xcۜȩ8޻|Jw)Y7@&9ÂLJxJt̀C}V$KW-s?k/UVѿh2[cziY2uenIHzYU઎jVgԇ4E-o;ޟiu`XQ$Є&^mLP~ʤp=^aiXfИAi?HV|H* #nآ_Dˆ( a AfgdM47~-$DMIQ)T ҐB)6 R^_ @=Usexu.ԠWD{H#h=X"̛&f(E%OXF :a!7]aK IYč-- $)B<>@OUNX4&¼j?^a`nj'CJi %RMBۅb1'tApMpQڷ"4ӁK:y"~5ey %1ڞbZ RC{9Lބt T!)[S0w4$("( -HipU>1$`/}H_^ris{Zq-K$ah[9WL5 7]$@)JlR][&ޛn𗆩WJ((n6d8#z?YUɜ^ٖ:hӐi&.Nʳ^|w!Dz+f7 Na64Fyt%|TVlpy3/0}!q3T|sٸc͑8x{Ըt`b>c˯rWٔ9-8PC] MGs1sV}dJnYȆ[X GՐ4?-%@q,\BoZoMF ul`nR7 U̻O¯u2~g]{a$ϙ#!mpXWJ$ȯr {M¼jz :evDVnBBllT[gdM3n_hᗯX yWm3DPd/\M^$zalkۡ}+k YU@,$&rs1ߡU]^-ubh+ÑP5tp߄-6k]?FN(䩅˟@8ԨI?' D< "em4̃Vcg{+8%u fU̷1]kg8p$%t@[%y5 X'O CIEput쳏ߠ^ k|%9KCOt KewmEbu亐_Gp 9#ٞv%'rGyrjXQGX qhZ"ɁeHZs8/cЮ7v͚44M}B]K{xM6Lz{=vnP?B&:Պ/m~A蠿3?4(J{)B~܊ xe [8ұ \cيx6wj,mIT q6ٜ)!.mejBr}KH A,S@ABYz^)i?WVLr7?Qg|و|zktYһJ@6cτŅ]϶5hl*H 7F՝> Y/Z:}H&#N'VI#Tv |_mqWʓ5ƯT^6b$5 ݗJB|qNɭOkC@|9en+zsO!c;20ʗPLgfu*ip*vJ_edDC"\Xz@y#h Zm.%1͵Iܔs؄TMb^@O5%O#^fdeaD=Xl0.P՟n ޿ zG#e]y`+h2[(# sg2B9F1LZKdkI.f4HJB6B}WRq{Kc0>h25m kSݣ@/hL,׏^~? ؈* ot;(XI"-hM[7 lb{'6\86a'3.nQm54Z/tq薎^˼9ERsnS4s;G9K7y̥Q/: RO˖i.VincStgl\wu:jۭ0,öLk¦F?;ayFFWaԧFU_D>F?TG`lW6 %a8FP"GPѢx[.'zob2^dJiVi {4ܫ=X9hBT894m[ֈ<-V[c)J I迶F쌯οi?O2ȫ90 Uo*+_= MN@_oEdjq2QGT#Cݜ:\1}lc/c690`+ӗz5D6>C]i#Jf* .FH9#R^։QQ^'pQ^s\'~Ja /^R[~1p*WM p0{pln 1E 7"h8rY>25cz*3%Jcz?}seu/XʐQXN-˟dsKJyŬ yQ[=KkCSD_zEB Z˯}}EzgCaxPY'šv}.%- -Esۣ8%\zU7$vIg s:mv) oaɱR_iR`qPT3"8W{l롑·$.(z#iL'(fϾ!,ûўz&KP֓$=~8ee<iMjSx 2e(H+]̶AO1h9/^sD y h+o/:P#='\fV/ԟӻ_28E'Dt 9~h,rny.tDl'Wkfͽ=DZ&آ"%3n'glV^("n?]qc[>"4$ xRx6F:*nJ>FQY-sJ]<LRb Ad(B4]v<>gb k>;ǪV#qf ܴsx]E{ ~Qi?S4~P5/Au{ +gқcs_+rՙ`聂kU L_OK)rICĦ== 戭PIYxwr:ڏ/'i48i?Q$D +}F~;yWϩA=1̙$ErRԚUr P$Fj)YL&7sK'1vmyP:\wKD5G}ay@&޿1SR DZf|Ӣ`لF/>l1 G_'#`Jpğ\qY*[3 IOprKr=D0ؒT2qD+؟]k石ʡ/iW^mYz3yis S|uun5vWWͱ R~=q"-Dr h\¯yɡziQZ 4`Ss TE.p&$#j"OЃ]CZY)$4#G NT7ݘAU'uٵPܶKn[x:8!zHNV? %s&fO뵉>"l+rbz 1bٗpE:VC._N`BvbOIW9 n45@ ¹\ I4#q(qsY5`Pdf kស\⅃r*„:-cX'⎔t|zlEJ:*Pŧ^-K֚sk1% Ӓ򾇊 L_{Hy> s~hD[6{#3Rȅ,?zt(:z 2l肈{G\;oiS°›a`Gu30 C/2rڞݶD g~?LܖDZ[ANKGNMn9R$Y9$*`W %]h_ wiy*Hs +Q)k&5OVy"_wFbqu1mp.d h2©- SN(d3M&{pJ"qx~5kfe[΃q,9 4'CG:+E@i1Q&r Ý]Vwuj]_ZWHLGأquٰ^ͩr SK=F)l]f鮏#|Pdp:!c@A ww4ZԳ矌Da]_8"Ft"ۈ^rG=Ṉv _ $.tlrj$ ;'+cxpXWplxdyMMnڂ%͖,RIIj$/RF }3-47u!:ּ~S&};CFsZJ !OvBp PPq6Qc`]v%Iِfs0c0/f\0KѭǑ"rjDW+,w[*bɣcxvxpl7~q<[DGO/P;+VD n!Sw*Ǎ5'6{IϾ;ՒܸgÑ TYf6me-4YP@-$S}%@`L :=MfJmF);RR󧨫= nL媏{cTZҬ(˻3y,̊5z7}`Vxf6/Tw/1NxTK9|RgG<;5޶9>%:'lv6$&^'i}#a{; ";0Fc郧)ђ%#`C1QDSrL*6{f(D#v 7~4"vNm+@>M:SHnѻ(|TQ^[Y+4Z#w!c]3/vG;(PNQPOCcˍ^1AYz9s4+w$˳[C bj>YxB$W{ꘛOA,(cQNR g{eQGLJ`L}{_N?`'>8BEPxWlDx>n 魯 yA>]IOne0j6AoRwwAK`U xn-E/ds1~Nk=: d)[iwސ 9g՘#  |Հ×Ӷu"P?WWxV˓m`@\5m_ eF43B@ܕfǂpE4ع@ SEq/4(0w#9-k~{6@> 2!ۯk}7+ z '*1ǃ imA7MxZj颱X1AcuH6φ| -w@D4S<&y`Cӓ썴ؖw?#LsFxR,Ǚ`ۯ P T@B 1/e9~kIB^Q-YJ~^M.DSGQ?"P;؛m2b(UXsF>a${N j;hпxk_i195 NA@jK 69J;`eHb2PZ h(9m-"6*gr:(i1 {% 86>/ېE~rb;͐T>&P*P"P|Ǫ< SBQi*OkO{OvJhyx)Z1SZ6Y6FɞRVr96!WSѲhf˚,lDLu~{s,'>n7Pcezeu,GƇeApk3:G C)鴿)Ks;S+1AC&ȱMT>/A–njxGTzg҆n|QU:2Ӱ<'kf,:^8sNMcx_h/!v|:5(%_ffq~UEPЛ^k]eLfh`mta yjT41$Lr`hf꩚ۄL|9ydXh{ &iLù>6b_CgYZ ; -;s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H eEQKnhF4} tzb<> &uRҴ:>RԽ )^m߉ [nIuy -%:FUlM%SBr=e0!Nܾe\G _ \֙y 𿭿#qy_Pj^x+{Ȏ$$4tNJx^Vx_,#?~m =,د_Kaiyax)Vcک._;7گr0 62%XB}WH7R]̘P0[jOL|-`gg-V̺"b%`[nb2[SV&AsF0S(GnKZUIKv 3SƴJ_D:bqAdgP^Io,eBSej( udEnP (E*i@8x?b$9?Ӱ@*zB3Gn]&4& -XxmQ⫅Rf$%f)+0oqbBI`{A@PJWGwg7!;Σ"V.@h"Ki/M+$3!t9.VZ [/|^c,EYө NSO 2G{N D`nCBwJ "4_f{bx^)aC @jm@`*W6v&K z{ clKcn K0lGFiӋgW{:\y#vMͽLD#utm!mj[74dT>dQP\_m݄Y\ڏ*n[YTh|]QaZjug9=g?^ F(U!?KA) $>?aM<" `Qv4\N7`Tdy=1N^3ۃBI<)Sjڞ\D3=sK=Zғ.aLQ},FBS2U5 h LCmAՠ\nv?;]7 |ަ[YHg֪WEQװ| 5o yo{ tea4 y7:_u. *q-7^yܳ9I &H̾ތ$&=j:>Uh5G^a%U!!0|;kznooEnώ;9vY18b4F\2k2IJ|\:taPؕ ?p׻h =KjkEBšP.ʇ46;zhYŒٻ/NIW#%BnIzur4d߶!e-15qύoD)g cS"gO9ZI oS^w]Y_o,c\ 3<\Q?hn'JHqʫ=5QeyeۗԶ:;YSykncplݸ#֨[qƍ#%(MV;>i7!9҂ !Ƞ "><} 2+GPLR){R]2dW:Ui-ݭ,Cþ7PS'mգt}$6cm/jzd=q-ろ$0GG. Vl޾Q(@R^T 66u 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id5189G' |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Iiw]Άxʆ5.f-9 rq?-Kkc-i $ud1<Λ ,fģYЬwiq7†Z+L xVR\Z ФUYGSRQMߪ~ݭCM6FրVBB2m#;[KI ."Eѷ7&hə?ΘM%.Q3 .D(a\  PUC6DBa:ڌ:veN%,PHgKRP習;W2;Z)m>NVT@ĵX&0O@mE.E ^eD#39CEeT/s7d97UlU` 2gTV$Yf8BqXn.a\J$!Vv2NKmL; k"߇Ul,$)ai1&$j ygYZ AF9K' HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢;]D?7 {?:fH\y bBpsz`nIP)#|#т;,+}x@i'~z`!eZPNj^ cp>Y A ћB8>x1P!?ck3X,7#B͗ӽsM2 = 9K# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~$-ͨRS`޹[/2=֒\&.z%8R/>=L<_|,|$v -Mf :ԉިI8la`=$1x6( 70ി2J󷼩WA4IS3D5Pc/5sx>Cjw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520k 9I# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! }]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˸HEno,~ f3ͦ.%LÊ3Vv01G]UcXXrս<\s[%:7\jו|YEEs5G4n0)AI[ ԧ7қ8 [ߡ]v+{PaXa;%2dWڿIZ26 Ec+l7*ғ`<5@lGb\뾠}G |`Ւ %ouOkH̬VgmgY[;Ԟ %nushE|B\pu,:RI8XD~J,6㵈\(!?"7@|5;%C}CfŹq`iΞӞrȘ¹X.^<(tL“;3X,@Z ouO+(,ԝ;6T_DW} >lvO'!VfdnzaQ\Qrei 9žCMte N>Z\8o281m fR:V} 'F@BG_}cNx}eItA.u>WT&.Fsςw?/V¯|/Ab lAzny@~ۡ2Fl` @p֪%l \,@vBJG0(BЂ 9&? }ҦKૉwsu]Wx~;  i˖2W0sP[:j*\?\"iow} gCFQJ^nC6$_;#-NfiǐNpI#܆ >LIǤD]5 vEՌA_ PFBV:ɑ}W$̦i+uǵءWدHuGH&Q!WIȱr3vVU (sClcaiͭGa;QTnC>^L8X­1B۵%\K\@,21(c3N} ,8"0{G༌hW2)zuںo 84x Ok58 yqb5v`<&DB_|ؤ/``N|xa\?IаRB ;k:#;? HX MODWT|$HR4  `4wO W/[6 JwUS\E.&`Л<~(Phu08T}+eJ.ӱz/ P)&[& 0I#7;6Ca+(97Tj 먃85ѓ<tkZ}zt$ V 1a\Ԙ)=]a)# BW,]N0[f1,F8<{k_+]* :Rv.27aJ}n;0YZG_s0)) x,vnA&Odu2oM/ Il4o<=?dJVzR: FtΙ|VMqYd3'B)t 7ݬAkc)-|A*Y0>P2LިkeåY*61QG [X;kUǑrlEMK#ΗqiڎPrXnf씓 ]1ϤFYiY \`QdgYZGۿgyLImpfS$c됛x;Œv檭8c6s,<,r!{pOr}>Ҥ}26?_E(0K6xV,<%PRK'8kus`pId{csm >IOKs@;Zx{+0&2ʘ?CRJv+PDYջ:f lM/N#)moV{9Źb d _F ',Y#Q(0j-S;Tί*"F'nIm;idf rpWDYtpb}&Y8&()m|L r1`NR [)l)1?zGEm}zb.&D9>uIXKá QT'>,zkzCVʰRa.0^g MV G;Jj'aɦN>q}k1dBOIeܺ]$z:P ]ͅTd*WZw%_{V: (#">)_RO Xi2-߇X8DLwoSJ TcNj·o{%fAxbnӬI2e iwpPr,+%Ej S`LBTOJDu38[8(փCAMݝrJ#U6̹pGE[Y6c+kֹޢFRʙlBtf_@V62Wr2PQ%Z3閺ݖ[{'@w-G.Y:Ƿ.1]%9ц10ym]Cɝ HT^5nI r DX>kq&7%1ƣ7'^_mJ MѾʹ^d*=E +vxKUŻé[tm4`R=.G`8 fɍQ,@G,s+yO'kU1Uv$ªIȕKUS;ҋtgOZ[7rD59f+ bOCK+$-(FKĎ'R`yX3}~ن$(jUCUaS<,]~X8MwV c'7 @.Y_ܘ^ePYw7UFXNY >*r< 5=QfQ͑ԉvZzt_=+Yj7Ky)9soqFD)I ^QšʗH^h#%~RsI:8p;F b8տǛÀemn^>2#s7qWFǝ)?v9]o-:|`'U|{:qz8+ ѱU&땏H82KGdQs7Мo X'W/P.hN])0~ ab[?a|g5){ @x*v}7_"P:MW )5< n?^<^Zۜ6_89E5ϗp DۆԌ6q6X} "is5-< M\$PcPCOTH˃&t6Mlk{9n[ΞPe-Q*KўaOۖ1+L7;JV[ۑ&`ߒ`XgC~Ŧ΀DdqR1CK'RqdRmn'LI+afhH\V)ecy8='& |?rm.ۀ*SRo`asyrLUzr3ψwQz({L5ԥ TNi0ӑmTA`MD !}b'|R:&]}?3w.@a,g9n+I$hi0Ҵj sNWUR5UnN )*GPh P[H2qŐ-aFCyprV"ycz_ ;hwPSKԢCʸI u7/&]I #$V]פov`cgsi4N{#?;PsI-t[ &2.JSwy2Nor V5a ѩ5xwڳkIZ_s[E /a>AHjBx@i ܁Zi3zKu1i?l`p^$'jj۟ej? I|䗉mE;C$T~fڛ Lgx#?-7+[& %j`kM6x3_/c2+^BI/!fPo, IkIƏ 9B$^FKRyzj[О]%*Ό Ќ*pYLQʐ1h6)l5MS$p@nʹUUCraw}{ ,+WMPgZ=Da+%F9F)w_EnU7G/. 'qe?GC ?cv[>_Ǒ3o?%mϧV㍇)+g l,ƄBcZܩyL `o YFTԷSɟdlY2 kD q o6`'$X݄ shOG*ɡ'zKR|!4c}SMY 1 y*;%Vy?੦z`f:)H%:a3w<0"JeRNT*ߌ{ǝ.g5.1:(5'|wnвcW@,+b!UqwuZ1nϑ]KOyAU*d_\vdZ3g9VǃEZ?Mi-|ODeAϸZ9P"gNoH 1V⢜f LQ66Pqϙû?wKy *PyF8m]Uk#<):j(f٫,cvN~j0#_ "u]-C"IMhR qоʼnY`2m4* 9Zʵ`U+ڨ4@}`4 G4SB'Gg4̘e §H0e'si"W#} Nc % `εxL EMcG:(.v8Z[F1Uˑ@EF38Kr<)_6{̢{v`MHcG.4_1` zn@ZL0iu Js=2;7]3 b@ɸes$FNiV&ȵrDmBypLo _-f6<)5f`B3<>Y885hixO{Xk6A;/0z1Cf@xM9ic W//8, R2+zG "[򘇑%p3q }U\ gއ!\:Oaa$i1鏏Nfu;7cx&Rd>25ܼb>Ʒ-_ [2-:duG՘e&SGcjOy1mb'0`}C MwN-9޵e}L8"@4 b1 TP'fף]%B@ njگنCL9* pمI`qЭ2lڦ?Z߄kY7ο7$e]]ϝY`Μ/*ӹOz@F< p}7uCs"[UBVkp+b 8 B) #ܾ@ގ$pwIA>6к"i;껉ֶr&U~&;1A&;/.#ḳVd99_SxTiԅ|#M=ZDTiݤizBDy4};K0a5c%y1#; OTxIt7.+AWTƉFj̫$ n;vAcbDڡp`ăiڿ G>G bJ|[w=v;@B5ϘcZKDs,FB.LVb4uY1'Tɥ\aoev$C*h ȟ$%!_(٠ ̂Bz;˰1nv7OV5MDcjɰYƒ2SOu]Ҍ.ΤO%LPckaXYxDv\ͬZ[1[Ep`Oj`M?eSV*dIHS`Z;PCp4rHr%ilboDKl'ܥdFdγ, l[mp t+X]8:3O};p' GS6ЩBD/wM+W I0]d;5TB N" V ʥ{Az|'E]Fum0O1~#I$z&E\/xIbUeTv +SNn.'5#؋w$֌&'PZpt~M=dm\4-QO2rujw>IShW0ښEw,-i4727sЗ>a #A7-;7q@GKß&U8Ln=f_F<̴ޓPVjN]gxE\Rq61Svz #9h/#&O?YRL4=mk-CV@eM9sC5W[Nґն-8yAɢYeacv~XDI-x'6l+'o0r$Styt\|8soHCju?u"+ n/XLu÷ otbr@hō{"s}Rv$ܮLJ곴19-+ߟOtxdsTxhQ7DPIr^B6բk|!AB 6$m?ǔn3H5%J;,ZNX]swBU"NvPܬhn$EH^K+qdVx"#6iЇvfFȫZfA'iiw6+ ?hISgE^Ie w)փ*@z-,0{:_{ BύjwQƨOjm/ٓuhLW&"oh}Ү$.6,;vq:b!p<̿>![RcK\ZH)I6dT'SwXa4c!Jn֡l>\J,*UំĂ*1MSvf |q= A3@ˎcp4m{;OR 6Ue*ٖMhUTDo,c@' AiD Zeƨf1dV o>lφ ~;߶ rK}FWdܑW Ъ@"v0[ElH~~COwcT|<& &}T5VNnG92>Wgimhb!ECNtYQp I)| 3IˁGqa"Ku7BxUw;L[6G1rGHHƑuoTZJ\ qsj=H\ؐ3ryUi57egRSP-t)~DYUn?ss> wyx @Oa2ѐhůx:P P0|%SyYYVsb!\p d$hG!b# EDӉ`hJ3.)\%% :*)AU!>,1?iZ5.Z*a+pO4 @ءDl83c=W ϥb4#igd N5=H<<2G$sB:oM>ƙMOGS#FKq/$$@]&CQMȒ2%'(TIn^+yxP(f?׌q 5N,R!ÄW͙ ះ.X^4=4 WTA+iN$QLȌt;eD:)U3CJہHG/0U[rMm3e֓[s-~[t7K0A& vG{ym HE7g%+&` K⒳-DP.GVP(8[$]a[--R0^=Ppܯ!Ώ~35%`:GċyRjQ]6P2{!݊Efv>ڱ|LfϜ⓪=NVt*N&% B0f@ 9KmUɾܧ ņfJ,T? `ܝv5^V|D`6&Gp6EF5NDg+/om [ fۺ< «_xyVHbVE '{<wc)o.\u6JR1MO8xILtBk/MHI:ɉ$W6KLq>ZWy$,6D pθGxj?܃Ox:\薭gѨ7(M^;;U_P ЉcUr{n_i)|ǝcݍVL+e%E~^Pt& O{kBBR9}w(he+ޢ"mx͋FBuF;];+Fj+|5]$kmV睴 ;FjQTpNjw0!2+B?fMa*0 Fs~]3_.jR/C|`QE͐mc8苞*M6mhVxC [~G: 䃝H2r>NC!/P2I>l> +8PT]B<$iJBZ KvqÅ/AEfl^ %V-}6_Ő}1Ï}&:e\Bޔ_Z4VEPfd_sm _-k v{egyiu 0hG nBؘm, PGɔg|)wl{9O-Xk{"_٨xpҗ' u%,_Db0&.܋W%hD5*ۭB>@iluRغYO K߲/Y!n}jdD<ĬK[;x Iι3 ^uCl7\'Hno/+ZqZ6* ݦ: tUiDּG/:=P]^Y 5W^Ϊ 5HNW>?6ʒ_6 O TtEۮp+s<{2YLTSP59tyj)axfQ qVFW 5š$zt0rՆvV)*=k*Td\ˤH@e%gCZh ekOmo>nm4m&ωsIM+Ql$JtyB[/L/zJߤx}\bO83zo>FƓ57J_TQqa0oX[;; 6ծR^ߘ! 7_"2#4@:P&Iو;6.xyf "N5<ĭpnAhvyIBRZڏ 承Sο֮68bMԅb4 א&>}Z|8yUՓt8X.1)mK犯m?abr-B4r>3 %"u>uC3LpngxN;#;kby!WDߝ|eEYL_ .X)M[vK9Bsl䖩ksdfS_gCsL7Qrhy;/i[Kq8<S^ Y %7qWWxRLHyuQlp2< %=yF&e;1@ Q_ ]_h)ymÌOgl{d],LzZV:OoFs ]]7GaAJZ14b\X\zfF<$wt~QU p/]p3=L։AsAn\zCşgO=u/A 5l\ 'pˤi(_} !Ńi&G.hDCy.oG_u~_1u\w%{ڛX*:igy$|- #@y*.y[+=Gn? K.smл%6,.xCnIToTEe9#nϻ%uǼ9cE(mISgjq+CUZ3NismƊ9/5!?<&%h`]OH >l9:o 9k׉M8t98;njNd6ӀMVk Qdp˿nHMnQ@LA06oF r>[GlGl璩Mlכ3 8W/oyRr[DlXH[yC:hg: EM-+7 O6мr^P(UkpB;`$(֍OhC])V$JW!Fȴg=Z2!GU%,o@S 4ʅ+ O07ȴQ{:6\γ)%󠤩/7.DfC;W7]уp^J1BBU!sp+6d$wPlHRn7ȆxOg1%+sP'E8Tk7ݡ{g:шM)+zph`<#7ed"1V8>l(qIъymð^@ %\rpї'nְx\ SC/~"kƫ>- c234nK؃6G;5xkZ=(y-m><|':yiq%UqV^޻Ugx0pWzgfֈFpP,+GK=$uN;<Ԇ]L!JAD1)_Ď[ΧI7>4h;'e/GuIh~UWx VHxi6d_FVTU ]y< ϣ]ŭnOMnU,5"35s APN$1~R,Hۚj2-!>r)jP %`ԩU<]q`[.7u7h[Zb"3 %-R$D~0d|rD3G?7g_&{=_r5Wg bDU6G:4y,2pm'M(QYCVⴀ[W%Zj,fDjb~.UK@Ɨ2;͐So3FgiTW`G13oXu`q:KcRăPxI~N7uY;92}G 8HwV?!5ͯZAZ^H)ǽ]hӧ>(e(9y:QCڔ~+1Mr8STm]±/ekh o"?vsSҔy8#/}㻄M(iVn%>f6P8=) YceZb'jI>TB Oq"+5}+0t8rZ,)ӠHGt^}ɨ7%uD, ׈2 fc 9^89yUR!_NvlE[? VK_$M@~y&2v|`ԡ3V$ݯE,x7zʎ`$K1nL)tD̼3P{Ú n1*_n#\Bi%k@Dg꩓ .Д"?veIwTNn 㟰M(dWTeTr A"I!G'SíԆ"٧Ex&ڷϨ#Bʁch3}^d_{xրU[3AFܲ[@S9hw)Yu*.pR_[re~4h}I.&[xV1,D$rGh[/ AK Ӛ2T= 6Ӽ .ݨ Cޞ;t F( M^"BVz+뢣 ""B[hQIL5⋛YwKN?X) ]Gڛu;( n3s⊻{& ϲ+;tEXNZY$p{U1Fik#;AQɔM'fB$&kޠ m%@ .n4mB8L`$*V ̎2IXu\:JDpO(c9vz &sK0h).SRsLn+r@Bx#d 0>P\ H]H{>pҪ|EW'3X̥%vDjq$B$BZ/>?*ғH`c GHQ@i'yf23iejؾ*Bo׿{$N6>zL$pq n,Β, 5|6\S.Ew-axk>"Zh&0Lm q?IV=*RȞ|G8/ I Icw-0Iؗ܈"#݆+R %nw 5)T vBÎ4P-fȡ2m Ma\|1#2y{gcG| &^ 7l[ia > v%x/YBJ+p4PG'5IW>80]&Q#(1 CU GcE8"$x9!iCK|,:6' "V:?A(m@L_h{4/xFJq,A`{ R%]}~ʅ^9G&pU<ڵB0PO_s_(#Kh1Q `W"Em)O7% [4J Z=o~[ OQ` ]@B+CuhVЎr\VT{Lz,!Ba~ݿ^m[{ݲe'&)IHW:%<}z"' ̂D?zU!${\ o͑㤠x<uЯOM!{bp@C9f"MzHxKQFc85Øo1üT >0+mZ}*J?]r"v|dKrք<[eFL5}gx1f >*q- 2.|K#^\u2 & 4ܰ1qh98k*D>ސ;nI~`n% Lmh%P?rHesuPIfv8;*R`Bt(1@R&FŖ )ԧSɰQ;Qm^+q,̐G8o5鱃E~s BZWsDIx̀x+Ƨ4Y/E|ԝ,-Ǩ%_j/qk*Y. f|Qv Is<0^>;B~B{ i%<]=#nW.V2kZ/J IU;SKVKVB) ͝;#It}+aGX p^7ݓ fAajM2X0T »^d&v7Jڲ.YYY-Y 7x?]ot*8Oy_pC`*9xGŪ.PJz|Q<ժYG̒/B\7@U;¥2n9N+EH kJ=3Fj:@F\a^w}~eu+ b¯?:^n~!zUjJ J`].>Bsjx7I6\B)iڎ| +~"]$ oFTUm* ȷ+|?mTt4Fפ•`Z9w>@K_RNHnҧd(Kcچ-4Ɍ8''@%hmp`anuO$jinW\~Ls̷ LzɲkÚNR6՘wׁi]i h,>hI>^*)-,ij{Y.<,>Q𞜲 d.*鲢|dͷpM C?xOiK1ӝXD */DFRǫ<^[Ym!/2)kE>^C ";AoZB}ʘ@Xr=\U b*8|nW)¶14n%PKVU 04A%摃Ln'}AAia=1A_2]חu19f%#0SuA#iHI TMqJEcQ]ϪE{RLB4oɀ  D<3ѕ$ n]+` TJBt^8&Bō|R,W8:!k[r\l6Γm@3YOF2##+/S0Ȏ'A>(xƝiڵcmG8V~HPumR#zLY YhA"a$g48a8|僁Lp}w`'J#Y!Cv^RmjA@-E/V㵻!uYWx i|ny}=N9 F/ļOp'GKsrVm胠oE$6STk>\G~|TIϋ!;.#M7Mv 9pjKyu_ tk~^iX(8v==p;MP?hj!Vr 7( 5$Krp/Q KFp|XzC @K\)PtŐMS-k1NW$yz/}P9kPP ]@ZFn|M,Ԫcw5gҬGEbAI 7KQ~7ؼE3Obx|J5_Ps&!"ݦNڏbD~8C 412Eࡸ3E( яs"t;>*iSRt]!8~O.g 92ͪ5Jez Gч4m 'Zi{0ue="&h칇l&WO-b xW{v]_ŖǕ -KVɾ6ңc{~:#`tFlk\0UU*%1C1'>nnۏ7E SLAA_/'8o{x 0U*ietؿqJ)`mIOYߡM 1O=S `1O{dXL̢bZrRfwc̃"$UQQ M+r $fCA,2C%0^0QzGUw%1Qnс,G Յۤp\^kJl0I>?%] "YSOq$X>x u`_>gR*FxgJP}ƴԦ`LM[ɻf>D4d. [y^zPYATKwB~1Ŀ+Ȍ?E,h Z$M[iRܚmiQ C[>Z-Ox{ٕnp:,JE#4 ظK@AѪ G=d+.t!T^dho:=/jklx6ƆݴXw|T`PCm 837B*4dLgr!̥vgyZ8P~g#'ؼNl*>o0{B\|JSCrSN |RyΫK9Ң5-&= f؂x3is8B~Ԟ,F,7[6 " *:(ѲY 5ג[- pvc mhܞWj q2#c1}Z V_vO%Krºg@g;8X ]*&6՝F%3VxCj9CR5M(* L9tcy֩ VxTkx |QD1Ҋ'Qg;Zb_-E? DßN,V4m?X7V=vw(-D9 ٥ʒj%ĈM2]oɝX1%bI 5bhODJܧ@h- SZ|[pnE&Pbu#!)Xzfxo#o VWj=#[.8,2drs:jKR8na %"]Mٮ!- WD+7 tgy0\١-(a摤0v,/m>1)]dCV^-= "];"]uScV(W]mdnmFof*b8# 챙,?'=4* tT=x8LfL7W؉qeD)Z&fshR~zNPEK30f l2^tmɴ.91iOZVl8RGݤ88]'aE>+=[;vCUyxأ*…F4]ĵ{}b_, f'Ęi$PWY푥Mo;y/L ؾ/(m! @< a¿N=>Cz;Al KFꆢnܴ}eCG|D؞]?erRc)r(4X:fvF~A+z FXAխMDҦuZup#RCQR5kS c!ªΈY azcN%)h3w2Grp:9K;ܯ;Hq7\NWvW&km|AX;sBÇT)F.@D6exYoUq,=$WD ZyEeV9}h'( %髆"q^S_wqK\VVF=.kޅ$6,4ÿɷXUkD\8΋$tj+NSިp&ڧ6hM%w8PR7bg$ !^dC/h%^&N̫' 8X5U89sŷ(O%15{XJo0~ƍV)Ķ?s,AV3X^ ΃hd {JbuĐRPS` ݄+nfa.{ѩ jaM E!\:/0r%ѧ8(c Ψ~s}wl*5ypGgLʽMdu F0o"vBSB`ԏrlEi!u:9)xPƔ Aِ"[B1je9JF:z#q3&Kd@}Ũ a<&9\AUGݒGZHO󼕅٧f0^4 [[# ?̦:&yY*7\4ֆ*9+Sv/0*J伺N^mݍE 9fS&3O*K#2<">:Y%>b4|#t\.Z35H\?c8mYqM}LH\uu }9D $fS$M pMDQ:Y$%n_CxsN)~c$'zyYӇ%Ş]A-Ѧbh3HQ̇p؀V ÍM$^rْn?A06 _H߈hJǢU .TG6C`2!:ic$ٻBTeF5es+y\A߰^P}LTzP+#2)rfAm CfS0=M޴X3<)YƁ?"9xlRgwXM6:dda.P^-JXLga,RU<'Uvu"v8!=Y\ֱo9 /@d2&}g|S H\"tj5o}f/2gsˑs]VbM|7խno،byUa u$Q0̙l,;ÿz91k-v_LX|t'JM bG;մح;&%g(g$H|:0B=žT#r (M9)+ #K pM(ESl FkGr$xSt%rs&BcUXM*bšjI^ÁseZnkVs \RsCxNo%,W-C1x Wݏ ^7.CƪdBǽ+7Z޺ܧ. AyTAn&nՕcڤ6{ dsIx #e쪒s $T|/@o+QhUvl[A[8FطvӹE @y +ZIVl$Ry>[oef1k}!C[%"]ٺf@v7f&vۏtS&} SˁGso g~MM]qM\iaï|75O{N`լdG既 4ZNaikiʛKp1 \B >e:Up4堝bΫX8Y FAC\'VMu#|ٍg|;p#Fb<<+@,y똵RPΔ3C&Zdπp҉VuLp޴-qK.vFu@ni_\n͌blcARy]8*aPlP?b Ó_8u>[e4Ckq_C~௩9YzH螡 0wmC=i^w&߃I/1$]#3Y8CO0)N(x8c. F>alF=Ff!735trW.JY餪C]g}HR#6.`zA2ɍ3֞} =e=,(Ro٨*m ޔGؑ Vœh~,uD omhBژՁa%E xPsl/˄eiy6nȡQ &Mkj> LмK.UfL +}m|D3ߢ;h&6?(b7`.U%{ыŀZQIžp`IN]w+[Ϻ.d)FM'_>2Fy7~!2LyT %;*QJ*fE6gl]EͰAMCx (kX-.{Q{R;CVWi*$i+* &GU|+?C=M#}) ͕dlT +J"(g'&:ܸ=ۏ؛h^+~-bcDԥt{آ{`g\6gO95ݢvm0z`=mT+vKe'"qX~wfPq9v u%6Ir5r.4܂lO)JtbXm"?lH] '_]kYO¯GI&1:MuGl9ǁ殤Kcp^%-M`N^( &,yR[H3hj *g}}6pty]gEiJ~ 9/\WCb8JkVဘB:hZ4_=`Tg hZdb6?<\6A͢.mNm} ;=k o:]5mjyt;8ޔl9#۹ {F5nɼ wիPSjaónJv-qJ4p sa 9 vA@'q7&[C#M#`.јU(9g6Һٯe{2] 2oT$Q}r$'֧ܡmbU[ԝZ*CCA^?^K)LVdMbY03m9*lMXT#XΓN_ DaW|Qk(Mykՙry|"4- _<4G,d}-庹bquW% cxJ: RHi>)|)C1Y33)E3vtňAvyq9= qXIi\l9G6?Pܬ~jr4g1` Y'9qB. Bk⺷&.]aߌi]c4e7fȘBsξ}+,j0Ε>+C/N-S<0SZکѹĩd^xF劉ESp2\Cϟ_ K WL2 0C(M F?v4gA9?Lq[ FC5*xl\B"iRhSpHtm#kw9/(ÕGfZ?! &Z}t[,;O mlEd Mdxf jTd1kV@™NDr@37{qD7S㷝 F 'rR%MUj6vLjD\,Iqm}RmlNy"GB6?Y2k=gWA&6 5z<4EI<Ʌ}Ûf"K9/@xު'Q=n ^KRL>ΒIhŨPpxEdARO"c> C?em1UuBeʼ&ticf ,A'tDEN}5͎C"QMbs ZbHǗ19TJ=Kryp=ON8/4o G MQw^{Sxbsds9FOڒ;}1CQmJkA -qDu'칉G\NGt萾po`\-㞊n0ѰH߫>H#$3V^)su@ V`#n$U"var\řd'NVlu1t:3,jظױ\#mk-dD)bTl-"@x,{ָuunj+=,f&AN?$ $ށNnRY@'vL"mR\ox`4{Er[ϊNka ͬ鹓e8hH}ANΘ!.{Z>-6:~$ם$1Ugӊͤyb{4B}wK3܏j`&+Rkԛkr/DvoΊ'$l0"x l"ta-jN&4(& f< iCoBi6R"F DIp`imz !}n xH4S+2s2~FcgarDa+W' +9Sru>›UI煎'(X\J-Olh-Ӌo7,\!#h=#rr"j*>WtL hͤەu`=џHH~k$4Y7MnF"3 %f`_R^&&1wBkҵL%oHpAxO- ܭMn|]RVT] fB{tD"[MwP#kD9Bws0ƿot-|8i$YH~ʂkQbl%+7o0vt)elzǯ43GHgYnEl5X^˜HIϊgk#:x&!<B+nD.+4F^z#UCϤm L禗hxJzƐ?ѽI&b\ a$eTWpwĬ *4],ttz%ŚAnֳ ? `W|w:t9ri8ABu&!KYgYZK :JpXT+YHffAy+J5D6L!;2Q5:~$qoG}8BP<Ԥ^vgzb /PQQCy 踑~Аdt9{)27/'}qIcطrsvȈcCՌAd^]GQ T7Q%_4{ѭB4l RpN6t Y: |R.G >ӆ~g-2ɦrIxVG ൻ~&I4 _CP@9p 5fi}b=G1+mu1l[px}V\;FH\3UHxC5A܂N+WfE'k7-? qZbrPe #C^bs/}9lx ,Mb:V3wBs0({#MhQHiEeX0ҚH޽`*(qQkҸXkC0=t+;׆]8$VCEIxѓ bڃ-(R袮W'j}v?o b8@%j-Z};;ٜjoMZ,f0v1O+@;٣A'y;]= )mx37Um;,#twBP]eᬇڝm #Ǧ%n< blz ;Pƺ ">]Ø5x  6'BcYZ) EA+.Zv|lt 6wcD!C؏cK8qH/KVz? 3d3,-Z%sŸԢ"oۨמd) v``wDG7.efg:H3  :"BYO`Qq1$*HJ$j( AA/QeO I:&ێJ΀`'5U{yB[*9 2,~f7Mh|@#rr`7Ɠq4],lU,QlIVQ`$ҋ\ /~xigPWCgyV>NC ʲ 0q046;.raHUL4r<'1N J>o>B&=M[~B291h gh p{ytN3CƬjr^gY٪ҫBA7 G5a&m`Չ1 "A= 7QװRZR]B6[- qBƒkwl vի:{Е؏טנ̘F΁e9tfN"8oZ$pO Ԋ{#/ދ!6I|`IEL<)f9Q3ا7W@9D%uܡ,X/{n%4^_-Fz}z1B82/Y4 |5IOg ,I$[p)mjEPP69 gudPJr-ƨhx`ηTDN LSؓr2ޜc$:6," cQe`wzP@ 15s3|# 4tt>D[&+׭pNp''?Sɺˏ% 9w$Jiģrq;2{%P]yyNfE=`U䛷'/J|SƭbX Y)# ^|9* ިzh3\|5.ĤV〚f gNֶq AJ|:]BzRX3\^l|wjRbbNbxYۚ%)H}z2Y:sfY8G)PVfBRGO~͊Z#ڌ2;:RŃ* nItj:Hwq8j1qya^r6G;ԍg]ؠW\j,!=FgԒv^i6+Of$"~ )u_5I̬"zR\mDk ͐vTJD" z֜#02fT w@6!>`Bvs2J}9{O"0CBQcws@5Z~7w}“wQ-{H0bHoz1cyks0RkƎwUd]YoH"_ث5GB&gOH!O47۹!iZ-÷D?7(_!#!ٺ1~a+3}vS mprVX<)5T&99BȡIm/xڑBH"SP|n,!! nfnt& 1 Y4֛L''nH%\rw4[إĎHHS+("*YO$S* m5Hw]JߍeiH}He<^,W+=[潭VpjYjiC yAҬ֘Q)~T[Z^ٕwϯ.CF3(]_)ξ}YPs,]He (ݫb-!"~` G}'Ffb2|8?0 CQU zPe}Odpߒ)ڵ#`RioyNrw o_cː}E)Tg{7SZ>LD@6) ҷ#zXT 9|fI/S(k/b\h_Gs|L;WMzt`>BDxQl ;W TB.GFͅk' Pj'S I?%)101e' :-_7 ZkyrdLL/H/Y@qq~Pr錴&b} Pjry,u>Y &T&>MZ?MY7A^qtdfiR=Lo9% TrVK՟-@rm"-D~m_xn#;Ld7d[(>(CI W0Ld ,^JSOPk[w3z_)kE\uISN >IYe툈+1LDM-4-z_ڿrR ?5/;6guiNvǮŞl*xB5Ш[o[#=#,"Hy_8@Iy65j0_G/$x/&{z?RFnid ]CTMť'R&7ŧHcNlwA̧ E+D9POQA[Y F]{*:N)kltmtI㾘`Xqg(:ׂBo9qbaN\\u+*>ͩjTq05Š'UUEDb 8#T Ֆn`V` ө5]s>r( W"q ʮj-,#sz' {Eͨ5͊bf JC6f'!IG MR+sJQ [$j!?*)pɛuSL7c@)'/7TZh <|/ʥ2zk Tufn1ں-o'0h5A3kqr6z͏|%j?k CcsI0@(JMv4pbCIFiY/`gK(e #vSoLR[ncl75q ļ;FLq vSk,ֶ5![0Oz2V#5kqO;; =!·s$"Oqq "g/٬RG3l@rG7hTaS$D!"Ҏy;}$7iķ&pL>RQn ?~ƙs@9z) Feb~2"x hDlUd ʿErٽ G|ccg*+mI [ M4j>烻ڣᲭ$T{Z:iCPi4[2= . hm/e#~VqQN#6țltuXxUY>*}vѢ@1Au` R#h +C\XøG~ªg|l <@iAIf0n Bp';ګA1TfoO JfH7elI#4jNQo͒5= 3aryt5V2JE))0(lDzA0ü=1"0^\#ԿX,mZ  6uscHL:R?h ä튡D)hnv,ū)29 YstjgⱙTE-]~mdBEu&9|fѤ0A)Gl.yAط>o+˪#H3음ee0:mȴ)+e穫 ='B׽k;zse cRQ\_~83#B~w4A閶5LX7 @~8)w'y5Ht*P[*?kxW O}Ɨ:FrC;FES2E nk6ZEENfI/1'Y'!j5` jγ~񢰱mW"njuK `oҎ7~I=e_5Dc='Cl]/c$L[68ru45aHjׂCDn[{iòKH!rp[k~RaX't7OUbQuKȅK s Iiv)^_CBBY3''@ꕒ^G4v@>y=H1#?6[( 2dNԚEOI)Qzx‡ ~Cz`)R[gENcS rڳ(ΑЅ=K`Hd#r\HUŘ2%<{#bcP!3;A:;1N%MN&nBĂkuT:OYc.ѷ_LS,eo-R!7bYo0u-.XoKLxۃR^كz c0'Ѽ"Bѭ[@`]/1&&v?,i8ךJX7x#R%5M>ٙuϡ:V!edJpeWʚ,bߦGm4Fy5w.꘷|l]x_/Bƻɍ5!W^[bfHmV, ꨲ\^ϕ{5=5)Y?&0Ċ%M2)~ 8~EU~4]Vx_(napbLV#m y" RK̇ˡ/b"VSaC \r2lguAR`<;򄎂Ya,c.Ӕ]I54 %tN'+h7jgEuRb8e x hW6w AQc1ᗜ{31&TN)β2:*f1С3ӻYɚh$!'Vُ'ssAFOA4~H %_"h4Ur[ݧ.E6ϔQ)R;EsYz-EEQ#>jNhk|#[?RH.Nؿ e4EJx(&py29xEO5Nޟ=WqU+>^OYWDxb&8 p u, 3bsVhh]pUQl$Y^ K/0` $V|ފ9BPiܜuG$&o. K#s(r5)/V[kv9pX5%>I hHGV=*U ^$i[QEbCی㍉DTZXAQV̥f|Ҡu,(G%`Ag|cF]fS4=UF/@*:=u;^d ZfzR~!`iw9\UpPhj$2ޝ3ETӹ+NJD_ø3+R].lkʱm{vh^QO['VaibmHn & ? i bG' veg5,TK;-gQC([ʀz/L:.UdQ~m\p~qԓ.ʹy!L_i@SY Mx2P>sDԧґ]K= Ypk~[3(I3H$au`\>Y /ECU 5[A4`S$F:8uľ~+L/D2H. -;؛B-$蓚S 'Z6d&Qk0N"z =hoQb|3*/b%agleFD:QrǑ 2%U@xt"ܰ5/7pNDZf4%x^AVaQsqYO$ 9Sbco A3>p m0>WǶ9_].9s @|ՈZj ׫9l!d}4Z]n. -Zdrqdcrjr!j.H$l4,`%Ek5k~dYÍ s28͋[ᐩLœ}u-R@窝 `m{p-~ J ɳ-LsOmhrL0UѨ)/!&!)B@?C7 8n~q>OZ4RH$gTOUr`(φ8L鮗tLwN!~p({ʥve<~~CN+ju[! Ȱ$Mм*P^/@Xo4 z hR3@ ]uXO<Ӽ95i'&c; H}"ۊ'Jf5Ы/aʐqhYLbUB[Ge>y=K[Gym/.,dc7\.5V7&0< ae^'|KtjX_޲cM&_agә1^>}#J IիV/>TH Sg !,hB f#86 Rg>Vxֺe 2oX\;^3pw г_ϷU8e{~@JxĻ\MLk0\'Xzi(shM,*Q(h 절<@/Ĉ.#(,ݼnjJ5f14Yqץ2)hz{XolcO"(7u\0p2ίJBwӜGRR0ss ^",/%ѱ5~Y[-Gj͈-]WlwEb&V:wXI;:4RH(N(KKup3BmQ *d&C Ab:W_eq3ZiZJK.R7ۇ9VZP<뇎*;{'G]+v,ʊgA)rPCK;MFE\\yAi^= TcÅ -P(k,D7R{) ʅܡm+LujhIqZ'0ZQ""7E*Uq9 +yHbᯨy ⯀KCr|CcY6ެ1toED.y ~Br:HxxՋ^;Q:!9w.cu j֔k~: QNox~;!wKϑ |R{ yxk ܃}ŨI6o :DH a JBg3y[&3BgW0\2V) 'G%8+6+` F{+ pCp#RG})D]c3K'Sjcvԟàї $qjtf+b]9(0bp /~` &(xaEՅ%8BBf՟PG>y~[=7@5~Uk(e `{`4iѬ:Pk f/B tz65Z>=P{A,H3;Dׇ| WTg叚 Q;uT;Iܾir0C> T5`[eN2;edV=cSדw<$>_½,4hy\F~^/B fwR%G|=8 ]]8m Q̰s`O XQ͞RrʻeGy3'9}nꂒkTF`cYxWa,sHN[& DvQzqzum랈.u5JBRɪ'Ǹ͙ۜy\%^_D48 6.0%֞Se~Wd"6A Q`2Sf-ȱUeJ\JҴRʝ[KU۱=̩a_S>~{"xut_9ҚPXBAB dbKZsT`NA|%{V=] $#=y@)e/<$׷XDgL`2H;}}ų`V|?5<-CV(%UrK[|vR8|L+>:!8g=:?sɓPsEi^i '褱lSiNj!oPfGdv>n|J7QZ0`#$Q8M*``S/ܖBۺ1K$#+&z =SSV2A>2%~bZ5d_axa[5!mIse=.(Բv+{g }vißLyuH\XU$Uam7^.=$?o M%h,@"<  7eϔ 4Gكf-ed9 mmLW08eIZ$)`nQ$~i!k{]8/3\3m[z :\0 [V!bZ;S֩k^6k'eE)a͈+#ⓂYw6 8sGF(j( APDK:اM2:HU(1:u+N^6=KW*[Aj% Ң[ψ?xKCj}K;H 7bk :΂sMo[RI>:lMl3gz}Q>(wa tP(ĀFsNդQ/Ƈ:.beN73"y2դm=3=e.a|`43jGsV:^˞ )cZ??ȘT?Dziͪ~ cߚP fW/ep3klFq) a.i@~5:ohno)f=d]}(+XųH%KEک(;eY(P5Nv&j<2 ƩR+*V hэf֤N'Z `複вջM6,NC]R@,KUj֊CZ1wau=5lUh{A\ =U-eRFp:KJ|/SmPu2E%R'{Ws6MZ?0\T 2 ~Qnbbd}Po =QиCRLk@\t=c/;Uw؏Fߡ"skef7#<&BUj6blO&$YO-126Kz,/g-q/Z>vڳ^3uUȷ| ,W!yjn0zX7dg0 ּcF'l\x*8q+緓Ez! :q%R}~%t)` sEt!h [Y[C4PÿbZzEğ&򔪿wYMX];K-|/&[K}1lq"%9:ngx0.=5]xynw]؎`zoa~+~ʄ[Լ vM Nwn]-d 棵lKTX 0l2;n ԛ/*2U1;K|Usso{ြ ?=z]Ye &IKLVG&ZBMV 2Q< ,V }@vab.#o}NR"Žlh"gP<ߵKH0)IJED.6WLeʡNKD z9 ( Ǵ3kR{5Uծ3݀/OMLA؃ /B dJ6k6RnTX2*5wU+@\6<-zfN>U +XRJyxqe].L˿2$' t(=Gĥp7ִN嬥B=W*.4y {VDmLGw02f+xSbHy;Zd4P ث둁a,Gk5@ (uhɿ,x~sE/5{hR #L7~Q=1bbèFvWL iZЗZщߛ=K(pNঈ^1]ƕt;.#mgc9v-=Wg"I҃b8`AOߧYIgUgܹ r>]+Tf Fun~YabƾUNbq;zv[f&Q=!l(.HtbjA)sTM1!q#µ`2U 4w.V~tM&$??<.SlA)SZN oR~ xSmElRO]zNT$)[ u9 -NgA[d6[ij8Αrq̅*=1_.-pucp4&&YR'2+̵BOc<&CIًKd}ߔ=\a#%ο %G9q%xT^dʢgѸ^Y μB?qpomHnA4~ajLc%ٌ. Bm.(ZENp+ʡ&9\E@_p+B-)y]01yz>M`i_(;˽9$oU3qKT,|pvar;z뎯f>( )YyڙvK|dE|D4^Du@c~LvWCᨲԛ}HZSYKq-yT8Iˇ3-V 0 v/Ede #Tj!vu&ȼ`'rm[c[D71 'Zcv3!bԷ xeXt&d|qi LvUqÆq5;Pp,jD H7:Vî8t+g"!>O<]'*N$iXg!^YG߷ql%ȓƃgAfIyx]NlNjʠ[BRyk*MN+uʞ(Ak6[,cGb;.F/੤y}nS\zrsG6jT ;X⩕\)?nL?$&/yuwSRLP-1HT#6Z {V`42nb̔|eP=D$CgP-]ݩ,Sr N`~rxnwBo* vLBRd8 ~ܫA @nd$͡RXDQzfNGBדxc3hKUvEF|Y>F҅  oia O0H|vD,"bk-g,$Cn:j(f1Ҳq4+]SBQ?ITᮼ2LBv43#  }id]y wm&<ª--z㑡'q *k,9FB{SJB/GFe@x@7Zam@Nv(Jv=9^XD.q^uR=8K;`{7Vl/򃋿nj1uYi7yKq[֘rC&^:{ Ʈ[~' |OqEb=3N4Yέo.KxR wM#}00t^wA>R}e:3ϑj!)$+p2pʧPgLZ RUYCD/;N rIųyɷ`ja Sc,(Vl7:C*륙VVWm LxeBb**(msЁJ6R$`m{7e:6vv/|njhD?W@):?O0:l>xi%a1>3ۋ; B݁&3Ԏݘ%y=gM -W0*> 2:V8IoӖgm:*S _?t. xɧqNXn=Qaӌ\f&ʐL%d\-JMA 6{;rDet ]M,|U6&S/Jhj.ŗ&E #} D\t_ܓ˪ g'/|Ŵ]/L1Gc fܗe 07"X6 ظ{ cfnΈ G\-I  |K ^Uw?+32xj 4.\yl$ lGHBe[\[{a/6OF%h3ĖԠ{FAX> M\I<-CJ-Va{ǗoY9EكeTF1ҙ!JܩVX<S$u?)3CE$q ,b_YSr?^s?l4i:~mYQ=KU60Z$99)]e;?*N sJ><$%uy I;(-#𮼆yjbsA@{AU2J. i0olћluY<>q\;XV7t[#$>?( \$o'R[L.yqf.7^$ *vp{؛,X~\;qfLJ.2225^!NsuŠNB_ғ_ ߾6W>@.+؆%hXxT//R-J0%TԲgQhwr9hC=;7? jՋd\Xndsd" %ѓP|a/QWtullGZ(E$mjIbgm-*.>"IWjQpdǖ]fCCHt&{D`m7W(dg>Ju; *9z]>&+?=w5ג鰙h(wO'P?=HRђכ$2K_ ~b'1Gv2FZ[=_# fU;%J5YgKw}]l(/ rI_WM]CqS1WWԝtb8z}x^bV2} Ɗ$pB!!!;?LhoZ9 ąF ih=+Ŧxj^UQP HR=_lf [V{!@Y -Vhk`ńJм,bWjT@.b1C otXſCr ~2H[ai< a5Oj S1.ͥo z 4>(Ӄ^#Ղf l[ ط{☕P,߇ckӨ_qDf8q86}%~Quf0~\qbRHtZCkz UY +1(kԛnD H] xӊYVC!A7,[]4P5_Ț$51GD>t+ay&-,i:f)fm5Cj̺<-[zj\\+fNy,'zj= 9f΍)Pfsҵ%ur'BQ$0'ɑsmNoّe p2*YEV\&܄2+qYNvKZ見[o<u . ? g|ME8ѻ#!Ch>3@}V0M>rEh!4(ՉvPQ|O$ a_F8nŰ)`$ANRQ|?,FBL? ׎=,Z2?sIzαqA@|wALߚJ!'GR-tݭƪ]:y$tO R[9 !ȤE1q~v#:,T7 5?:}"+zn0IP,1VO{`lhAwi֙%\Ģ TW*BN֋[˽  NyI QNOS412u6v`r#wH-Un,Rmt ǝ%>K !sT2+ιn-l /Yv䓞mTh9&^ᷡ{"P͚MwʮN)t FqeS6{6BfgB(H9 T:GW᝕ה2b ; =ٟ4g=4̨VooApPk/F{­Ѽ0 y Byۇ)_IwUf %.nFoxU?QZ5Yܛk~#:糫n.W mqu!ج7^I(gsuN4V7gb(W_."3tNnYyn%;q=e67 -PEbPϩm>uIQi#8!(ذ;1F5Ɣ8Q\t*'sGfoYp/~- e{|$?PN}Dy6}[qU[[SlT8+`_M pRF.D,ot1lHzA7/!YK aX±hV/z*P9 =]Rj򷄩[8|&ڡ(D}%Ih1)_.^U@7ӹHX.TX`z=7g҇?6O} Fw҅eV9eq8h|ߞ! (e{ãQG T%4]k3bcv46XZʔbmେ_RL#loH9aSKSRYƟfb4_f(i-6'<g㵾n!bk=%r>#Dhr}tl_.i# Sʻ%=5S5H $w ]k3} z %f6{eo ۠Hp睺 \ґ9:`/l'h {fҡy|E(ީˤ+jk^I$R-VUs)JVZicRZ:- F7ZAcgHvkY5A&_2L2od=EkmIl u-Y ľ OLrI@^I bTG 4?~AqOPr4|KQ/]JPRE wЗ KF6[XeUʺLۥ!Yfk|W/2K$J<_%#I<:ȿ~ &e+)]V` .blS#'mPtU œy/pmH+;( {E=#QS%X E 8t?cy1 a]xK'DJDM&0z%8_ ^q]Hؓd~r]hꗱslGse Pr)\%ئ\Gْ=A{C##M( YG|u*wمV$ۮ ZV4N)w {ny<Ӹ4Q>I_g9+:"jb-t)̞@Y[.3._jjf ^L,^HYj[9̻-]%}}Xe.~=6'2m[F% G77mG Zq).P~_VjQO2gu( Îb{R}-a6:@cHNzqƧ03tmUfN(4Ne= #sT+0bp a>B-==q/a&]{ŁrX 4E{HPif}s17x[ued%+hכ鳏(ov,~y2AvR4]ޤBI|&UcM=UטIZB1ͮ[d.}Ր')o(d$T%K=SN+:I !nxzs88N'Q=Fl2C{OfƄ0 ^F7U) yOoP{0 cj)|58.|F;RZ57c`\jC-|C\9ξ0$_D$< mMdʡ[rȾfx{s vOGwDɢs'y8v6BR2p`j.ߩGr-L6upovr [d,h!kKyѯx?VrF1M؊^v\)3|E[ :', ;N~8ČlW8 rTy)mG$@Vig72+@8\!E8@-( "/p_}64aZ*qMz :-FE' fRiN@[nZ'y?7Y३{\Co#_\"(ġw!g!NwVr2(F?g?ߚTZ(zx&%&L7TixWs4w{gQvߨ b$^O"i+c*߲9T| 3RUqjw: g61f5""0 1 :K?BWD-˜[{0X, =$jׇ fn}xA!"?yeRwN2KafGR8nEO2G}M WRQJ,bNd&}¡dxU= "s~)7eugkW΂kML'ixeSR]p]܄VVƄ܀VCk7'/QFZ"91{8E[.?hS#韏XO 2FCsd&KdšKOʌMANM5:BoitUkxϭt1hc K>  m~I.漥0#~78dy !_@z#4S<죸`A^)CP/]Bsqg A9tĽ`|^"g0()r433IHOHV\H)c7KZFE^g" oi@MujJ5 sxN*. 6GfU5j[/"b-}"y4gnqfo87S]͉3V;& TRJ^|"]o,!଺#AXEOܙ PL ;X.l(p=؜kTiނ]C.1ϼkdֹ]s&oÉ{bCnnkdlJq(_w|ȬMpҰhECshB Igs!7*\>-[z@:SYEZ>!bgi;vh|iY!ѲU4~ {gix):E")rv{)`\[?a[X*;ٵhBT.ðRt6o&m+R@kI a97[V4zfOOȐX&Yy' ;|XuP9lٽIy3,hX`߇y`D!LB\~6dԥx`8Q&ۣT8u~ZMc]! Z[gf_ɹǘq +UjYm83}Xӽfw:]Opafnc?yB ԅ0 ;ʒO- ţ\* d\k?[fI/E1'޷ %.:84B"d sǂZHqyդҶKj1y0y>R|bXgξ ehY$Zra #\f:S?ݔ&v@B^QK Ѿ_=@^禎{bI .>Nd)vjvF%Z8e_ OM#S_c1ۗu>!TJH%وR.^?([ iCQͲӬ^P-{y{ h2\ݕU&X1 hҡ{c"b+]b l 7aI~),Mȇ~Il2\q`Ho!R<>%5BE:6 r~g6ThjJ6wamǽ9p`c#dVO#r{UQAn]E6negK!R-CTTɕpICc@ x0[qSQ?\q KywFDh`<_>WojEL2INaiL" YmAt#Sq{WӿUNXYOg 7KAܵP$[-GN3Ʋ&M |:P$-+eF\ØũUu#DɏBMܡ(3MP!MKGc=y8t?z] Ulvfu0_-c00z1 'OK c~Xv}с_؁d>W 7UT[ka]丢gGU*?7 Y cܔ Q[@flM-%*Al"͛0m0$~>|ՑGrB!6rH2PۋР[%^;R,I1ZTYtڿc(qîb+k<N ~wڼ1襁Q̮7݅a>7J`nʆ9 8SdA:B 9[Υ)\\MLa A2佮Ab2lhHLNN9e+b7!6x68 dRRdͭ7dca1ʖ~l2=/8z7L[|jo-&'TqI*RLɩ-Iog0r4'u#J Z]iʴ]UC!2LdpB;/5atEQ˩ΚME e6%x1}gE_ ʶeQ]BiMp((TH_٥BqΙ2 7f8u _<ߓEcݟ*%Yt>˓bczT*iC9k~@)8g_FuZ]EMp6dy;Y"!#st>ިBg`#Y=, XR@05 Cb s5J-!FP9:޿F_cn^纑U^ FOHCOm`y$Jn -m7/)! OK I00ziq+yՊYQB M bЗLajm9){ld=syIg[`@_W5arsRr[G>[N53ֹG?;R n<" 7u<0]?@] з d wlj2M5J]N`XszissEH?FI?NBդΫo\Dm,zk ܞPqa +[|JV\yPіz0ɲ dC\@O-0+q1CMʤ$>)fِ08AɴSK!))At/Ǡn`Q=znRz"^I.pQpzn@r9V=M/ZtM7)ik Uʋ8&xEBC&_rnW r%t}!+9T,vY4MGUMo{7X *֒gݛq 잙>Wr{$wgs{g>Rk)ޒM HQ0^ov-ϥү.DB-7@=qX?jVfuO>Ory`C 'S %hʯ t{<ʋîvS!"ff#}ې"uhG;ᕤЫmevO=Ƴ&$X'EiP?jJ,9x?cy[`+c\J|^ngЃHW?֟T5|Zl8@T GmڍTXh`ndr}l8ΦTZ50 61,MҺc,~< UUdm5J=uEqB۪K\rO2%Q20L0sȤ2CQwŷb} u?Auk)7keSSon9BI} ;(h/Ozxz*v'. 08-Ir[4# {Kow0JTܰȲ qhEhTqE;AZI ]aW]}v5ȰqAkh&خ< _N퍩ٵd_^&ڒsGm""be4} PRjY*ڱ""[f8on3cH쬼dyb J;S#v!M )^F8G+ĺcfp}JUK <h"(xD b)H# uտ.>xSTq˕DKRyY^<ֲ ڪڦ 7Y 5G<oeI}M.0UbT>znyitsς/R/Ib!*SyӹAmݻMd6֤urۖߙd]v[)Z}|hCK׷:R;gڄǂA,na+C5B=[Z ;wkN$2t*}L~s:0N3u4^MxvJ5mrVa̻X, we[SZT@I`WbMa(E93FEyLV2Pvt%T[o7e$My%$}Z|riM+FgLD IwBc91J&P*R&kҖlr7h4c[L{C*e\`Zqttpt @Vf][WbAF➷..t3&!̰R9Əp\ڳY&G\'*,o>&NٮXc.֧ Gqf(lb&<:ԎVNvk`ʚgvݐ.>C߂Yr1G b_<Zl'9*ҍv#`~0^cc(aC_Ā`( LGwWY~#fwE`" 5b¹uK0ȹ ~wU6^"gj"eHjCC"[K wNLW?ƺZYJg^xP1T+#9-[sA<3 Y$gPFs.*N&eBͯf&cYx#KP0Y Ti":pFؠZ÷91q/aXOa{5ax!)^bllsTfF BZ׋ JKrﳤ|M蠤mMd6cer9|y!\u7&=[8X_Cq>=f>ePKP=Qr.@f[%b[^I{  +m!B3`~а6ڿC\ȇ▽ {*%IȶЅ֢މ'7ŌF>**M0Y#W2Ѽ;SY NgXԥr$1\bk[?Ab%O2Y3fm 9C[!Bel+7Ĭ~{#"r~͒m(I,2|}6FjaBE̼y܁JRa,NY+5 3 Ma뀂?LŠiVUDFLY<|H  |O"L=EKqh%"wu3-UO۸N$E%˱@@.c<,_h|Tc2 ,E(#"1 %Fra 33IA59O~ZDYoDS楚zq<pf5gSj(d5J~!,W\AQ#pqL5vQ(#fZprJ75^{ߪ(K9dEܓ k2 n t:"a#v6?-vd]^`{"TZ E -(iفZN* `a ]}Ұ|qS";DA}ar !gl຦ڏ˼ߗP+{m6hESv.f HiU9w !o77.b~Hkں뼶52p}@}\S?3V+tg>W: #Y#ܛ-re͍ߦE(h.&|qEݰ[,c޺ tYs|& Ӎľ˝^s_*#yB :].۩`PBP榋peHS2bՠ|:IZ+[TdTߛǤ^@CQ_A&:G&ȗ]]q^SKSAvSn{ al=ׁ Q9!?O@<A.9&$HL̯AI+\rߨ[2 IE,8[sdא{mEZ߁*qH\}Pe*R]dEKʹ*ΝT%bvWL<7_;lN?5/X9f;R4y^ěi R #dHaL- x@ax@.{7HXG%j]l.gYZ8051f67cbb921433454b52dbaf610fe7da1bfb514c5f183ba78d63fba8f2fff83f20ad92ba3f3123 7b9d4e57c8c302939625b8327fc2f5fa1e0eeb2f f1946c9a59c82ac069f1aeba727b8511731731c4