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 69~ḏ]&! k}JkbSUQ[E'X&j׆ =%bFG뱜v~{XÖpsj]mpj]ov`)WPyPddʪA$y FaW#{yS7-nb|QɦtRiU`'TnD.zḒ9<ŵ %Zg3r"߃iHgH6% aU{}4 =i> X(Vf_+QkiVPʂ/`qT\K۶e|Λ*lJ5hǝ=p yN^x6)wCT 7Xy9ԟJǙ₥S%JX=Φ=_)?-yދYrޛN<"WZ*YOleM:O~IwSidq \uUp{鳫d^@d׈#QN&5;F7JI*q\"r% D/M*2I >U'jb=a}]ZMaL˯ dzdqapɤC i:oWgYZ7zXZִF!  ]ŗXiɟ1)*u%9x)XZ@9x{|3Y«[}W#ݑ/fYngYZ7zXZִF! 뇡p]ŗXi%>`gzbc ҵ6픵ޯ)o- %5Aԅ?/`ZWPH':nXON[ܡg#S7T>^e{blUMni$5Xu4DFQr XZ϶H.]  )I g;ЬP"qeݛd=?ߋu;L,(JMQ\]5pOsM9M2дyB&W^6qO^ڈ?=F5"()GSZX)pAYef/+S@#g |ݳC?]85Zkv7GgJL|Usڻqn1"mv~ wFJ22m~z@s@eمXcJAk \C1>C,2N#9=PTqPAvq$ZEtRB ]D,z/˱|vTVKC/*  9=DNh1XNTdQ\]МLtSPOӐg<Ő 1rD3 ?s)4lӋ\3G \0}6tlx,j+,=j>ʈի[J25[FnW$4dA`eyG<7f agukbF- 1̟hFOz9B篴E1< ia3uʱjB:B2-ZVM^*[G $L,x5`~t} ϒԷ?.9czp*$~/gl)ɓ/k6g+ge>>Bt8Dz7gQ}4*oycyM\%^B@>%x )-zx= (r=Lkq&ŃA>gi?|FlB 1? ͈iW%j͎W,DR6Ϙ P$8?ЃOPFd$PYIep+Uc/G[V0@y7#"? 3'D]lI<C>/Rϰ;== XLgbȯ<у ,ĦLtˈSVի-'՗y, ͆8'^S1-#RjAGR҅A Z%`a:|MfdÀ Wy\hUOc5S+r a5GQBPS5Ke$Li.ߌa݂AA9g& (+vbbfP:ߩymMœn2^Q:Ȇ8nh&V:U *\%C‚vVyZE涿xٗKNJUԯۇ]J+ysaMA뉦ϳ!W4PSlw;? n'ct3xNbNbh Jad/U !Q/0>CK𙺰7gYȧj# X|eeo@m}6B!@a5>aͱbW%N[Bُ_. ,ShXMkxܓ2&>2yi`)(4 KHW1RIMO?H7ߡQ6Q$}:^WA'nS)`\n-?tA+y E&zcӖ[ M=bm#䢀)O9UpHi!FhS)^ؒE=^^s\(GTj-A; F [ \a"-f)EF OH`MbU|ںj{38%q=^6X+mr9͑C-;jڿbxHo:XRk? URJ2y~쑠!nզkraꏲtΐVO*6\^mFLmPݰ{"Rr!\X5ӣ_ƌOFDe QfF^& !U!^d^G;VّE$tXJ"GQ\DMp6Rm+851CJ6{׿]S%3zcJ,iWd"9=WXtDUAon C43(,ЄUal%(Ia({+%>_'N+i<E'6pF!}3Y];d jA&m,ToQD쯚#a 3ewHSY).:7dަ?N& vVȴ'CQնX#DDVmUBE(f7 *^"xٿ+s6UxZӭWe!T8.7a|c7ԙ޼f`b'u͋8.S%}> y'F>"3l1Q}# ޤ L,(a{zz/cPxzc֦F4=QcPO3Rɷ0~&ul5e6 d=8#܎ODd:Z绞%c%V{hLB4RTK;% ]`c)$V{TI4*'@F"Qxbry:Ww9.lQP$]L68}BaKŷ%fL@ IM#CmM-F#(yvMPj]tқXqDK5?'&AcM Bkײ)1P9‰oDj!򏮂)S,r* >c 7+# !0Q5Yȧ&:K OcpKJ]=Z-\b5zߋ½+[]k/z_R+rMS=Pl@֑Ix Oˇ|&444"d\4)MQXZ,s*O0 O@5~?c.DdԚ1%7=Ƨ|6s`QEwQ7 yЮ`M(W[(3x|[.<]5p@6 76g"򛁵1\MC`JS/֨p$ȗM<brUcIO$ Oy[}jk%m6:KhT/ ȍQ>u{#, F[i^`d E ,zLLthgYۧCz"kVzJ*h+W?y?V}C!RƓ4_@L-h[|q5b>|347~Ad:LY'e.Iɶ XϨ-̆\]9Oc]ex*]Q-k y 4M1ZΧjG5ޅ %f{αxBBn MY+\.F2<#u"2V:$q6Crm㠿'wsd`GlO`W:gSpA >PA S="4.I?# &<?$QW כlǾ{1.!lztmU]IMXo7R"|Se=YOVji|Pf;py\*Bn=%nyǭCF!)k,SpԮip`e|{|Uh3>Ov?|ztԱ;g|O*0!d Ď&b}HF%ͯ\mM@sΪ?Oi֦ s9vH(nh߲sA#JC"ZaVW۪+۔UBs P_O(w]|& ոd{cDyWŻaED`\ r)e0Un5ںy?g"֯=fpHkG&AC iU{Dg8k `BgʛۂÛcoW,B}%"YJ=> 9kwXp䘥9CeV.|ނu)QzƵMas4³Fv}xwe*hUy2EWS?ǝvG*NY OD՗ l36Q`rƷ(79epxԸ9(̼'O1D2&8~(RJ-[EՁ[q^ǟ@ɵD0,LѶQa 'R}rmP/:&nwЬOKD)h ʗ\V߶D1'xꑷ˩ͻL~}*up_Y2SO6!S9j)א򪣃ZTcև 7qqs*Sqw+WDC/8B`UP_b^ -܅px'$TtKXP[B<\=MU‚S/TC~]jOPĊRNn_Rۨ5m7qQ5 ҃Y>%53ϝ^~ d2ņB:Ɯbi hn 3ž]]XhS랗2ϘfH,g4jHeo]ة8/=x(w3YtYv4nJ{D2٪0j d|dZ+BCuh9kQ`|RhµKHV|x |9:+!wk!k wt_创ހ_ ExUI6y̓KgME^<[!D} <8{=U]щeX}$ʚ&uM3ˌ_̗Pg15 V/DmL2d: ~owՍ'aoјqxO+xO*5i@Wl0N/%Ek{qIG I{>5mOMc#EWSJ@w3N@Z} 1Dm@T(ЬCXN`0*:*>{`njeGtnsTWTea|^@+\H6pԙml?')CNL L6 59y 0iS%F'TI<]b߰t1ЅxsKpb;ڊw>Xy0T\v9?͖{S,2ٌ@0>Lmv #YFYZjM[q,AevĴEՇ `+j}8;QDU.Iυwk VUY)QP+*o"@OD?E# }H@kF+AxtܸXVG>b>` *5esf(,_7.K12bL)i4'Y!JۚO=6*C?L.;waemmdPnY ]JZnFlEȭ7&A_I84P[ uB#?JL/)$*r1D({o ƞfy̱QGr /hV|W!03"PAOjqߓc2#H?+PkB&D[Xs5؛ɰFTޝ}r5!C~W*Cׂ:R#u$d-(TP`mM3Y*zN,0uزeڴa5X1hqī~ULwMp}dseQ pW2vUx@M>a&~G'k^52S9Qlosch,{`Bog;'+S 6zչA2^Uu X?pN1~\*4V~gk~d=x%::Uv)9 #5D%N)O*2evNvZxGN?.rsƩcU/ȑzheh#'_sOAsMW΃pp}?h$_q& H5k<1} -cT.>ea0lH$fbiӢ&lN@~Z!ἣ|1r[~47<(Кo*4ٛE)uix@~1N2`d%Rx\ӗm|%mrƂaK7ļO^hY_7 70r?)6z̡Tr9ԋF%-E_DDe0v0GhvERRZw>ev3ao9c)FncB|L_|PJFqk V崃 もݰH$Q ǕCX\trM2!y\=q1_Y)u7#V 6{aoՐ p%s *{g^yt1.<~?$]3;?5Ės.,@d{ "1  ].W^1ػaJv] PI78v($/Jp c(W4Z%V.6.9IdH۔f?A aP\v۪$E\\^Q/۟q%9NH! hHD'A{)X Y#yܨx Z=T EH~TA_ af_GUIˡ{Mn!lxUgjUwGy%vIJ[˳1]"9~բd9NfTGz4 mI䏂D<>e$LĎ4S8&jƭb|aB{M%-!ˈB0B^Y_Bbihܦ42%D ?^;uY0w(FTDa 4tn:R_h* fHxO{Պcp8UЉO(=/ :ܮČ2`EѺQ+j4q3R _$I1 g܀COX 𣯫Yvk8nOHvH'BOΒ>m ^ϻ(Xsz<޽EY'+"0j5zl'}gmTEHyB/_ w,Q_:4ky#E@4&\<9~FhJS$l+~|"]V1ot=t>yM[.doM8om+GkXF[ߧ(zu$4Ƙ\wi؋kK Πyô>so(g)̠p\ #(tHx<;&M'S{sbQ^'BD81̴+e܆wOq{wJ,fij ;`.2o''k݃wqx? qeO/[Oj)Y.>ڕG"44z9z5>h^+T 2G VRbnqQy-Lwo^2Hèq'.: ]}[5[y@֮˵Zկy,/U樾i @%n$<sISV]*򰮂 s-06p_W99\Uv)o,|;n!TA\g@}4a8NBZH `MlJC) g'#AJq9Ktް0ܼ~d1G g[C5ZbA/j5ёbJXOPRz\pnz˙/vW.wL}m h5:U~uF1I|>t}";/(Сq-=!yMmrK(nwPj[85* jهp"^!7H%ٳ/}¿xbEpBXQ @hF} ̏of'&+K TY9g!ƲaAl'c{%psh>Pv.դel(N}Y:Q!BĈ+dsoItLQ+yskGc0IdFWSVQzBY۔$%'+գ1=\9 ֓1u\YTS\=Ю*߀9\"?ݼF%H##E%TɈAcSWd' ] &v}&ʱs ޅ_QA okY4<<\$"*^eJl/tRJ;4m$EMʼmkzD>Nb;*jbj4T"+\m̰;2a8[@p9`H<= FUHmpǯkO܄ۇ=1n]7 Ŵ[ڔsb/ H쉑sUG/m4YIzhܸ Uqa=0/!e W^f:ĦB1s:i"MCڥ=%X{źH\*>*!UR?˷. CM{v@ zS1٫`|V FnwJC!~a2h%~PeoM Gm 8R!%d_a{;^eny!B۰v[ūA'tI94o"Pܪ+z!E* _>)aGN7eZ` Ks鱾0sn+>vmíGwՄ0itnV'WƄʖT8q/ne=yn_6:tL%m\U^θs $smm=0u$i_$"l39bRr qVɭߓTˡ6Q!ZoBeL=5)=78(%tΆW-,dջNz~TLJXwj`wwYzh/X}ۤ/%۲Lo[a߬5\+4Ӡ<4l &}d' >$g|" ~=]GCPa˕].Ԉܷs?zZ|ؽ3>Aԁh(?/F% Jjװsnզ6ٶ{~Jrp8Jmn:6X0%~X(ΆL/' ^*b z`9+"kb-@׷`Y%/9@c" mz&`CD*F][(M/]$sf9;6ͮ8"*ҾW#?PLdj*#Ab7碛|25~r)s酆˾WFCIn/bjYV3樳`v O}UH 2\;%rlvg15i];W;ז6ϩK2!3*,kRDZBD)ϠnI7ٌ k${\cw&PP6f 'QWNZm* q]x[d7'à3XQ'i =jy;~'>O)Gy0aѵuq>ѶeH!,fp) K{eu1PZSEN ;X~)n~)p] q :;RTRb:ׄ߷q:%4xjQʿ'35X9d3XR~;?}T*F29s0ؽ_d/|}]Fr+݆ԫ ++},v'e$uUD K{h]sݭu?$'.bi⢠nYQ%Qay>vO}xJT]ۭ!CʮM,88ˇ510Gbzi9;I@%HBfw 3Z "k)w Âgk&-_ZGԴ˦O t[)&!;*[}yn [aIe/Ǯvznhp}q#T?H8v҇XW7X́=c<9W/T?|8\Zza+Oid&Ջ(NcY ~5YZ [LЋୣexnHޛ#ֻݙ]<0ы/qu۲sƟ|F,q`x1{!JMl~t*ַ#5{E? 'M9̎(+o}?h# ub-eΏeF}KP0eU jo`_%(T6ru֊OMk/+~i|l-҃n?d˝OЏe9 [zRz {liZ4kXe"#\`q.1H8TL$0 zEȚįyH? )dii0? V>Z軌$nR!i#`[VIz脬=i{>tC2PX"']J C)-AEAH]>ACq||JWn(HсnhNmO.σq?S4^+>^D' pAUg*vX B1k:#a+&1?fvK @IHK)5\(b~QHM"0]<{D=i#=j^"MWAҥRrG',Օ5!bu`c^ xf0y_*~I ʆt~3J )K c̑lŹmFl[WG @>9Rs>^ 2&b3t#T;UƒAC:G;yV6(k89B#i~XGʂW9ވ!p;w?Ju8E&wY ъ8o+~:uKVvsVDrѲ 9\U2:qG M8+};e,2uUb - LzyEP=&^} V"ύ%P#NuPA@/ljc57yyr=]L򋭽uҐ¥:PK Lv'G=nZgT(X$3ɏD6sۋ}_\MHL0OZVzeC#n @qk˳]eAOy>h|/3u@J5n#؛#fDp0v>7/@h ZuD[jwaX 4DyhʝFi8]Hda hKgh7 r"YΫ߁ǴYm_ 'q2t+UѱC{K ǿωп9siY.*R񲗁~76Ct&Oi|p$rpOCĄq[5u'Ì5!`h[j,=T%?v ,)6P45xUv0n/iPZzq'f 4(%ATIgQ*CbDt݊i2aR:›nO2Cr ԧ+W,;w6`EOS_ЗYl.S#7)ѐ<'_ֱN%Pq7arZtFd z1;`Ç`B"dCW'cW]3kc}cRss\[4KpJ` Z!@ZјPɼαgYZ [["9I) k6g+ge>>Bt8Dz7gQ}4*oycyM\%^B@>%x )-zx= (r=Lkq&ŃA>gi?|FlB 1? ͈iW%j͎W,DR6Ϙ P$8?ЃOPFd$PYIep+Uc/G[V0@y7#"? 3'D]lI<C>/Rϰ;== XLgbȯ<у ,ĦLtˈSVի-'՗y, ͆8'^S1-#RjAGR҅A Z%`a:|MfdÀ Wy\hUOc5S+r a5GQBPS5Ke$Li.ߌa݂AA9g& (+vbbfP:ߩymMœn2^Q:Ȇ8nh&V:U *\%C‚vVyZE涿xٗKNJUԯۇ]J+ysaMA뉦ϳ!W4PSlw;? n'ct3xNbNbh Jad/U !Q/0>CK𙺰7gYȧj# X|eeo@m}6B!@a5>aͱbW%N[Bُ_. ,ShXMkxܓ2&>2yi`)(4 KHW1RIMO?H7ߡQ6Q$}:^WA'nS)`\n-?tA+y E&zcӖ[ M=bm#䢀)O9UpHi!FhS)^ؒE=^^s\(GTj-A; F [ \a"-f)EF OH`MbU|ںj{38%q=^6X+mr9͑C-;jڿbxHo:XRk? URjH 6 48! Eތ )7]od{ :wj}`s32"ca(eUpU0ihpd~yuMrn&L:@^J)<7 Gb QN8کL\?kI-X]N>Wә^(LhW=›#uCfJl2)f6ڒ Ζpkp\D*d kI;pdJZWP#)c9m^􎲎Qvѥ1 =4 S]0{1Xl\hNz~20>䤿\\J".n A9tynLi/('+2ٲEZTQ="Hz+J1{-&YD2\1`4@XN]޼Ꮉ ݿ3ln6RlR+c`:q\Vx`?j ww]lW(4u-sms)1"A|9wFy依)o|Dm1)=wH9  LN(ycŞusGTP#<@`~LMM{һyCVD"غ I}wWߣzeerSSrS|Z78Sއo04m֔?;jOVl2{ƐHz1!qcpX?;@yL3mja8H}$'EsEyn!>:^BԠ?p[N"8Jչ ~$آre m-+vs+rO3!S90A5h#'3Zy![ 3x%oQ)iJ>4W @n(vJ'NNaim䱖*…kjh@Cbr28Mloy4}2Wtf40s E^mR/ 7ΟYrHWw,\NK>ʺAqOnF$+L'`SVS܄m3.L4VAsL(;QLQu'uhPFE'>gY7<|T7R`%R)i1 Jv 'bΎ 놱ˬEDE9(?Nͭu-{id#_PBՋ~\_E];FӶq'ۏfM o4½CM`4>HXZ4!687"dq_MkB?xF%LFX$fv#5S'ѯiY>AYTFE:p&'|xS (b%Qꀳ3x5lN=rPs5y*A\۷*|#lV.= @E} L_ݺ^S" q%1ŕL^kg*M<_rDL;Z,Q"Y{7[F~Twӵ'sŝC_*RŠXUL}f5oPbQ&eL_!OB HFPP%P1\McO\5q%4si9uQFgNU!wpԔßVKR;*|r+#%LycVPș4JM]mS묘a8 o? Cm nK{uۡЦqIR]!NzOٍ)4*XPF^51 U!"Џ}ge=@@sF𪨎dK/bXDtEX@Y(Ԡ[zV%uA*QcJhI=uspX~x{tP8i ԋ-xhYؗ*хJ/ĵ(\CVgP䟌tdﴟS['9( 0np{*Uop#ԱU>5ѝ*3ASKݍ=uG^|a olo;X"2!*] _ :TT ?@11?ѧK҆cNZ-dL~ 8Q&܉7ҡ~+LθJ|uDUoB4;D.3~}=[uޱwd.l;7jĞ Fq d2é+4:d76Yp4n3}҈\Pd፩$- ,E݈ZljX"s 7҅h '?`۱`TN4RB \%0koEH3:6c !퐥-k ɽn5NqK8*nfSG6vA:'/rG`-ZHz[O-A~@!ȩw!QA`Dbz%h@R-~ t"xItТ@)ubqg.$ Z,<ʊ_(Dlk#Y_85t/!Yۅ$.%({$et?2IO\hsaea j-pcbNY_X\)Láu. =vl4KC}P\lM>t`M-P @}0>;gTZ>B QXO3[ډˏ[vo])1 WGsv]7 Zԯ̎hUT&҆i@ +h{T%.Ca7})'h<=9uDax>'9w2x Δ]}2\Þdڕ "\SEWO)vQܠ XOpI2;?v4*WMh%)7\8?VLUlVMn2Ws}hAhT:SR2#-.Fj]NAϞ9o/_A`*1@qy;zWA`KUi4DZa&c` :xZ*))-\ؾUyefL*ybR(&~f;ڜDUR-zO-0FE"KMMH?>qQƔsuh69}q W1Z1ڄ9/5}D '()`}KҫFdM bO9 %HʋPJ,?@:cMKz#.}!4@_b)sHG<gs`# HO,"sgͷ{ Hx;aIaxe*F=q୩d|$-QK0&ˀ^̧x S$i7~srn(gz8Nf5m/AF:WI3~{nbܝ<+i&틷ak{,G3cI60ߟf`,ݵiՈcl̪0A@1酕yHg ]u?Kj)=Ncjt*]%A&=PΨqg|\B”͎]*a&B&=k]_ G QHrN|h(_#+ݻ(Щ4 ¹(6ASQtt.ǖ]`aLIn%yïNtf=B-ޝꋧk;45Bl o l w硸?qԀX~%qDYeAh{;~l*6nf|NybS_Bz.l 0;4%xIEY7DH$$N<͒Bo|\ -Hf=ׂ_r\2ؚRYLM} \5MB%TRž3.v-ݸ,%ɻ~VI$jcgMMIG1?PIɥ|7SG6^Wu!tG="^U)-0[ cDd&@WvoU)'xQ9W$cbAzzZhXғƝTQV$:1l"µ;!gˊi>vIϳ |&iPcUB2iWٯ`(mԁ ^K٦q-l: 0Eҗ? @)ozu,={-˗ JWr햤17 FDS~=QY"A5ZZpԃYnLl_e.+rL}C ZbmYU\+ss?kL\8%QQ lh5P2Jv!x9:{UZ `5<׭\{3zqqr3wLu^|7 b#^.hzNP[AʪZ|# Ϯp,I2-'jԫ>]Y, wcr\У{t˻ S"I}k0d-q1ºOxѲk[S 5FQ_C1?s$S؋v:b%`駹]dKҮ[>ˀ=SnsN%:[Y3\w&p0Kʙo*kDg`MPp hF9C~C{UO_1#ZOvވ ڄC.$ +{PADH![`GOc 3μʫ=>Cܴs^+YS $Ej[|Y<0Gl|6;mMX,d |/k󿒩|1Zǖ={ &z sQE0H3&- &ƉOˉDw?1kxt#BQRc1 "~ZowlT|*ˮV;$AM *i䏘`*q6B,B&poydt9I+Ίc/VՄl[m{=Fmf;j]Ym0#g ].n ,M#Nvg{ˇfTdi`Ij *zK_NJyHhZ6+Tfl,/c{}KwD@vO7I}-%ϖ~L*xŜ\%`NQKM~4k:/, W| 3;|:A c㹀T:7t弍53kwLo1zTcD7xZ]R[ѿrVk]?Sz"V9$+ {LPB#H*:F$Ks렗Z ֨{Af; %tsUKmeo<ҁnt&R-^b.녊 Xv>BV \܈`wF 8|s@ :3zEϒ h>o6]mDy DwhwP Q~D䬿wО qZkKx`;[ˠ 2ׇqB5803ԵPytcy>%(䌠Yg^[ZA mӓɱ|YјqAe;,_$*\{؝mڕ"<SǐMةYߴ[ m]޾loMYrs0٪Yķ~I-/ljw2cCq/ skږ1۟ۿGt8eWTXaxUcfcvU0$K#jJ14M^T|}G6f`eSnwذbV7F asmHcĄH]/!]=zdo˳]FݼCC G#_JʳUqiZvq!oN#4LٍUxZ"}/PrqJ!]ܰ<?Uvz+kylBS5H5Ldg"S 潎[wVkx팚'P93%tÕX#ma(veI1YG*-j8S_.⁏';Q`h)lNy5{n,7f`{nzٛ"o#1-(o-㟃ζ5`)͵Ą=_ʥB0XT\ېӠ/D QIT[?٦5!kLZ6|79_\B0ޞQi~Fg*䛄[:uh7zКP楤Dh|lF}Mϓ'!3 pծP zۅA밡>7I sAwCs;P*/S 2,%HGYi%`VE-%bԱpp9,!;IcKѢΐD৞ح,lDVj.D36z ԓXq֏ /E36-Ur 暵Lɫxٝ87`76T7n6AMD 6BG!hl%ħu>/zk KcAҫ-zPa$Tr"98Q7c-P[z #O6g#Oy Te2Kb1(P`ʬpꦹe3hlL /$-\'B'G]I8㼙[㝟vKH1IX:wb47}cptB ӯ/"8W·Rw>G±uKl6 dxߩa֘m(sZ%*FƒPfJ0r1i3eJ~)vielLT!t৯K| $UVѓlkj c XEpC" L cl_WKg,Jeo]W6n) ?U}47h5b( n ۉ³ ]#osgAS^/H&DN\&W?[%1wUK#@T_NB<5Q`gG}-=nog 2 Rؽ0Ap'^rRNqSk= v4S9=d]0$^0AvkV%G?^ ;wPIaxfn.0U UV\+O4W:ck}ϊ`TM~ Wa}3ҲWQ̀r:e ?@Fco?@x8RCKL\EP=עmbi$̡V 'p$K`ٵ+8 yRK&3!ʦ(goÊ c6h* ӡw}g#馠XI(:@F ߚ!Qp+woo0po(b#{hBo>v]nF t倮eAq SKIfm{- :%]ahhV>ҏK"LOIyS:F0EuA8#/}/.h+SIpP] ga-}睜ˊ;~(,;S#ʖYË}TLLܼfCm gi%.= Ӌ7(;hdr߳{od.rשB:/PeAzvEyd&R:3+>Ne݊0'slG´(:ʕH'oUAv]Qn!/?-#ո)PM.1(]qAvu9H!_=CkӥgU2N3 3VV)zJ#5 zP'{q7Wz)gvHG$$3Y_riGqH|K7!$6'>JvjSXҰvy}_SE-y~*K d[&(؜8Ifc5KTYVi |yfWr?+aQ?BxK3ƅp64TC@Y*ul;M|r]5_`ZD( L]Oxn`hja@2s ߧ@iz(3taqypەO}}) 3ٿ9ܲy_ ꪽ)/|i$.I)W_"I)%gCo$F q&nyxNxfkHR B0Yu"qPjn, rVEʢ}H@xWqo bM҃}J}"Ik* .#ǃtN_&̃!No.Bс1|Rll@؅c#̋*ok굨5|8<6+m|vO՛IS&~Yz^–wމp3=ۥ}Ya8 Pt?c;ĒT /S:ƽxP=ߥ% ; `/mȎX  sNCgPO:i]i&4LK@R'6o+- ж(a7^ %`<Ҹn쇳IQ?-fBH[(1Mw0KI~g!zQpI#[©~ @CmrhqP8&0:bQx z{ -*LCw4@6/wn?d撱R%I_Ǥ %| g%yך Y<`¶ꏨ/ŎS1Wx6i[ C>6Ow6 }(m9Q\wI\UKokF .}s;᳅ŀF YP @칼ئT#ij^>mLE <N{HEUho턷Ձ/C%*oam\F^'-ye(Q^XO_ثJx$дAG<j+ΆF:ȁpO >EOݪh25JAs4Xч1MiX@='fZXNb"!>}dnSWM !{B c?Ǚn->g䰋uc=xFa$b&U63 !ٖ:w5'WRٛ!.S>p8@)F/(BB-7jqN5"MՀu#v1-?+LJ%~$9O?e7C83a(83®lHM='Jg^GO jpK^-gNd9kb;1}saJdE|$KFtEFEIEn{ʏ1C6KrXa08F;!6/ -ϙbrw?C~ eeZv"<~߂1Чzx(FKCQ =mb)IȂĺ0W*gx6o}A}St3d5LEEk%k 23f]>L۳ָ!2sjnAe eVy!gR\ kVcnZR\7\+~ ,ő,=ߵ<@9sʋ 럕E`yuBX 15 ߏuߩj4J/TVb#eiGâdr\s|Dύ:vfq>r@Œh.j0H?>|-Ėg'usܸA*`xeȆspt &!4)? vjO󀀔 Ob6$8=~y|J L fJ$_0XER0"@f %u7=`7yG(Y&tAteG-E:-״7(/UreX|GnڼxI¯fޔ0wA6D:jPĵ8*G4!qql&(TOi{&x|RƖ` ѳӶ*<|) x~f}' ΰdr (@c.k[5 GeBm2مe f#Yj+A6#fjM60][5{l$G\܄v*/WYLv*&UZ~у9qY>#I%/'bu"7" m&j7h #d1CP/7מB*wEVY.vuyfvR7JҾ|.ݰ/O$~&vj=]!=$V@'ˌhUM@+ָ d$"9_P~R W(sA`RPkMTBc2Bvfka 9?BCeT6dK]6r=#k|G Sz*[rV˸X]m*~*q`l[_;leWHd"]NޚiYRJٔ-9kSpj,y }ޝ#i681{}ẖ,&|G1Ș:t"W)~/\1dnh[? :(4]``R'_; 률DSGw&dM]7b|{nP7Ub'=R1{*5B%DoV+2LI5?"~,-.BvR9LxXs\?.q1&jIT 9XMR}&+nVR^ + "Hx@0O !n!-PҲ tqLZ7wjp'Ÿ|ﯡڲOg<'/|,֦8!Qh|GL8'hҧ*xf |hҳLE & XY3G1RpU&.gY?> U{nxr5Ѻ/۵ރtfU TE ќ7O@Hד($vkV k~@S[ϵ¯56O§-埕Q&֊kG~wuJPF7F_#88ݚNH$EOᶆn#SY?#k~[$@?k"򙋍X㘅j:vO `!1Q ԕ4Tjcwk@%),F=ZZ&=yhK_%ۥQZh8Εv!QտcJh6aCۍ? 0ŌD$J:.Myd6݀ tCw( ^ `50[dKm!!Tb:@v}| :_1؋f!r귞DCY,KHP* c5F+x+ 30V7+ `T#G櫳,Oڽpvܽ=j0**-7HHSˀׄ.'J c_lq{)0l/a ӁTUj}gx3|앁#%,ߦwTQ,z"Iҧv_'}XSG}t)~k3ViٙK(QmH1Il2 4f;R.I2bA'6WӌV婯|AԉQ,q'M8},VA ت85YSoõh1n{ӝeb'F4KZ%ɭع%(ȳae[gi[tnkgT: A4 $6 )'4_tu}V"d-?'7a9gfo4T#iT?Ȳ!Z '+.ðl݋P$^^GEDgvLg-/g4׸Xݦ) ?k)N.h1GFV=; }sHxWNdJ_oOhk>Nķ7wXK%Ęo8{|ZçM择s|99ZŽ:+О 逰{ >S@UdznE(ò(j/A̓Y*0Qa$O;FM|s_nX(H)(/94 3l EW *l[ΘT[օ͑bl#O`K+6An".n48'dRvF_XGA4JN-4Wߖz]׌XƲ(XJ\;Fp7~,9NV O CcMwn%Pbԋ$&@Mu\,1+Ԋ 84E[gE- -M`6}lpmn:?WI*"s0`zU`!fv`zba^VIi ]Y);`zbI1D>[KeԬuĆj6uKv)bުэ%X_XCp#0ݠ'U$Oǣ4Hр '6bfx#F߬I(*p-o˾UCʳ6.J@W{33{>)/5G ] 9פI#B8,zC*6_aHA,l HȖ2\@U0 z[`2c*5K&Yw [od!~@+:@&MIsʐ(nrǥR [ K#ghEAugWJ>&N˯=Wy,ޔ=+dd69޲82rOe,[ V.C3@SYCDtAp$: ()Eʅv'ɐk9/ڕrFv kRU;]K㷏0m*JCJn[7#v.m.SڌOxV»,Y˵&?Qb@fCI?o8ZR,MΒRD$:CJy[!%'1t4CdWX~/̨> B&~5,x NdY΅sE ^iÌ=Iwj|YqޛXdky8KO7mTy#rL@B0Teh h!7ec)2^oZ槣Lo(;gyaO` N$ Hrύ1MY$_ V:I1N\ׇgM͓kji%߈D^ӊ~|*$g)}pri:"K^폇[i->^&^] k$=ޗ7z?TbPrY L#틯3=ůAaFtō/LpǺO>o}Y~2˥ }(˛bPP7hѐOn! I2'X*+ۼY<-]JqGƯ' RlICMuv(R/Qȸ>4OW%,֔Df5>}Wo'A|&'vexY|kSiGub?ȭ8u;JE0P)ajϪ)p\Σ]DJ#*!*8MhB)^q$F뙂@x,A# Bec")M&{Y!;U셤xSQ5 ߃ęIrqXhґp 0C%)yIe6P>QY NvR7g|!}!$nNo0YY _]z-0T&TTO`s]i_7VL-0f bX2kƥ׎†X|ʞw@}WHI!+\d8 2hU+.ULnT`63vyj_)UIvi_Ԯ\%+,yd86Jȕ3:[0d%σjBjQ_FIM 4x!P]-\rPNbPa HC=Dz)؜*]>wmM J@fAā|~VD &'@D_U m/t\MS<I|gJD% 5$kg/[9%w̄W~W=ftg8%4ITvɃ?,#VOz4usZ†<2V+k"tEv)7=Ltɼr ("9.6F؄r䛯)KO:LQl<{ i Lnՙ9EU)Q9|<"Sϩ#,u9g C4ك/[ƺ/KƪD1OY((w\  3n y#4;N_Ǒ&T Pdap& c!_{۴U]UzXUc<Eqzr*eu,jZ:^G֊~91nFpt9Jlu?2]wlMT6ޠR:MF9(( ix "[aMyJN18Pnc!Hr /ơ}9R7S> N4IZDf_pQA=pxq""^) _ҷfu&xPf.s;ajt -i/ߣ2a!x^ӑ^wVj{[50Wf" x 4:O/v& Ҙr$>/Y"VCB+lhZf-8(.Rwc{(܂ "U[. }}R:U8Ӆ5lzy Z7R"(Hq'31M?Q 3 Aa- Hp, D1 55MpQ]3,] V!vU^(W:&*!|Բ΍dV/D}> gw)"XO܈ UGw3=N|^Еk# e0Bu)brQ7nkT bLDI#4AcZ/VA~N0Ag)NuYiSc=Lw)y cU1J2Agu |V `},)|F74zgrXN¤aGt߂!{kfe?+3[8NɷfJtR~?>$WhU8 RSH#y@ΐm͟ƔD0m PJ\qfޡ_J)M]7j{LEf^6sCѽD\)0}Js%a͌jd7ŏ<%"=}S.K7^p4(8{󪟯ay>Ba|E?FogAg&OhY?26|9հ3l+y)ƭ)xLeLdtqY I=O{hwJ9j&>˓BʐdErt>tG9M`N\gD![I66sԆD(Aϭ9 ؆)}g!U^<{7Ńj)h4jJTT$+OpOv}T̘(`7p\{sRjEC2 _Kхd}x7 ӫ換}mPE%"jܡk GmwF|nڗ8Tj+Vnl>;rd9@[h\OaL<7MoE5BuӷOy/iT?xz5[Iin,mf;^$Fd>R<*ih4{?)j8QRG, fisٝ'4^ov}4 ̚.ԝA~Qgݸ X=$"waW!* tp#B\l3ͅ(76ËN3ƞ4> 6̳yɖI^!do0d1W*%;>Z*h7qE:ёAЍ$iK*d}*1(hWG]S{7MRhTs xq=#ۄpSL7+sNejWMaI{̴TG5mW'A~# T#}Wľ2:b{'ç v]` q9,5%sopu/q VyUFMmB{ M؆ui/. 2.k=Ǡ] ߒ m ?uegYZ C Cu9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id514Z 9G) ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/latex7zXZִF! ZM]N}T':=Q߲mZwb3Kzd>6GBFؠ J%^DވH|HE|F0Ơ6]VmEĶS[|0Dav<g!O0[A@ݪD>;7I_Qhh4Q!h093L# Ep-;ԕᵤ븪Pטα8zT9e4zCDe* eh16LhGHYJ}** E*38]0+#;(8H-š厒@ۚ{!nn N?\lx.lhxDV#,*AWAP/SX㱦c Ip,ץVU"]V4<uʧwo J=M=Dxhd"YVT_9$K\")|i rfqrùݐa_ 9p#_v(oPdEmՄ<^|3lyơX$m_I]P{kob0Xd c0WXCxf9ҧJC;4K/x!.9X^{~`9,9̐(Ì"V48{4 diel@EN.HhLUIb-sqUrt5V yҺj֍xH|GؒJVz _iȺSp5j Ev:Ei9fÈ)pj#[`gT1dc"({Uތ9CR LgD[BWkMhd ]54IC#c¿CF RuYi#CD˸>zG3r+' E-?-0dtXW#Y PΔE<@Re-'DNH2[8K+і\j=B$9Ia%HczE_52Zx']ӜNkox7%és'4!BEkR9?U9HmD:)W]vSN+׵  &-ArlPjbNZ9fHc^2mN'PmY $ X[>bxw tGavn,@։ =wDivu)<=/wYm]?OrT/1p[Ar`4s& kl!)@Uij8Co2%@M]Uyr ]<UiRZ~T8DwiZR(BR⃽;Գ=>mRۄO?/tKKwGʸq7O^Ne8c;+fR;h/t!?٘k F%x 7PѮ{|MtVA?Ѭ]/F5Rݹ.Nۤ? DY "ˆAoR'7%7Ղ",+o]o߾I16HF4a ߻r]l?lC9ƯSYvѩC?y\J˭gGjea HصMDB% @/xC($CGwl]!ȼ'PEq(ӲPs~ep,:kSh>LVJ02cNFұ;%kMkW?ꛆ㦉*:㭛rllei-'גPy^p) &^ VjejJ*dI]@'> $j xj 1X<+{. BdoRǾ5~&l;}|2f>+a6!lHTq~Nv;յՅ*-*HY>"l@]#2Gə*dT9^t_&AW[JO K] J77-tGri##NrХd{ !CAEuU"3mP[%RLkX,h tXfP"?<Jt!mvqQдWyےVY8kk6LjUbWmlGCEpn9'o%b@6֨Q |6YiG&DBȘoh¯euw  D_;E]^OM%H35C#иA ;Bߴ @6E3DuhDlmjA?e[pe|\ :{8Hu Α(pB~A0Y(7/̪Sf0'HMѭ`8gq+~Hj{YpKyk^IJlF Pihqm !?L { r1K8Kk67$ RARs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id5186 9K' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢*]D?7 {?:fH\5fl4$bs˃!>@CTo++ڐn Pǒ”"RKi+M,* tShL!Cĝj\zT_Mk>߃;f8V_! uqqFioLvWb?O'\oaHesYޙͅ+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~ef\%[p!45I #x(]):Ѩ걧:o$T"2$ %XRUS0b1^za(9⑗ܢ,{&A$\JP:]=$Xx+L_̝~$xjRȯw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id516k9I# THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db󰕟cR n]tINCg"򫽌_t]~ rsTu"eWtPYB %} ђg\3A]^^bdJIe̸J;SƸ٢$ꛗcQn_E4-*` rۨٱ"R(;@7Oev1; _%/cWv3k(_}TSU5ؾ6.߬ŇAf-laGkٍO=8~<  x@I֊`|Ev\#C7;EOnAG41vxyl l_pn{ 9&5u}Ec*I|lג ^J Bp(+K>e b|HZ\V'cɊqJd4x{hV7[:,T4xٖMc hGE#+qC!Uwa`% ʱ$a (Vm".mĨ@Hi֔@<9ؔZyNt Q'AEkk0`m~p 8X7~ғV&tk!ˌUb{+;7iU̽"4(r6ha b#UBLBΞBUk#Ed$դ0βIQS6jԂ/Ց48_ϬX+DrzT~sb 9Dgl VԦ#vUCK2`h6tgvJ,>xUnqxÈ6> Hix.H:iۛWy\ޥw'ۃ1x$SٲR@]^hWFJg6$Wu~+?m·<"{˝ֈ%w8n&WaKUfc>1YYJ?R͎0Ӝ쮲Z卟Ž© $S fCQywpޜFv~zHakdT8o~%hMKl4dM3L Hqo4J)~y$:CR1]䐨'G˛ShX) 9tVYv fY6\a vk=<۟ٮ-:S:18x/;*1CdO[[-?q'_f7w29zM3El}3ɬw |-/HL}q1f&J{F ^d%S|<}>T.|da_`8 #=Jvug!~s SM:~Z^mTi>s)iV&O6 OWNNx &l}f|Į0qI7>Lc~/FZj_Ѹp+ c [gM/Wӓ>ܯ]abs2N镩 8Fm?ACf̻0=بeZ98KSN:*hnaguƧتTu& W(9PP݇zXp>$lnkvL1˽B5h侶08,NoFScK0gކT_5q!sWY3XX^Ub<,[6Zܓ/Ոns+up7jC<У474M۔+37 5ĕ][1IќXx VHx)0G4R}=vgYZ}4t7/I?F፧t^Jt(Vk} {9w6١aޯ+/1>]ܰ1ܤ^ &kS,!oIa塙Kc;aPW_dzșJ+sHvә$ /lw ́ttC*eg>E(g.?|N23=7bE*:^!%G(4-޹)Zp k 4 ޸Hw>}ndQ6˞(u.sp6Tՙ2.Vbѵ/8Q$y?w7בQ2UĮh[6 d]YNCb"Wr] Amj۸@1H2 ;LPq#E7}aaLoyu@&fᯧZdc*!Mf&?LF 1K^0G@ݱ#ȗwj3U%g&YW=uiGA1*FoC;B q'7uR1W`'&ZJY+@mҧ1!%Gd`e$n=I&FAK->̞s΁)}Q'B?(^{hQ:k$ѡM'2bST=[+e- !yxیJ1L@/⏡O p򅽽ɶdk񄩔`peҰTҜ)'vЩ,;r|GpO|uJ|0jPKQ"fƦ_֪S܈fC*p.1"a8ƽxWPk Krwk_xXD:Y OYa㒹Iنg-5[՗QT9hߗtgؒg/eRΓXl `kUϝA<F)!QдфݞC@_ҀIތ7N&F9AÝۄ抦S#-<#b&q}4Zp+&5o^7"bv3 }{]¹.z+.FMN ÃO)O!oY EѓEⓓEdzanϼs.r,눜EѬ\Pu,-L%`-I1hw=>M*7u+ŕַ2;6=U);07T?O9WL Z9* ,X Og k]^)TJiNZ.sUj]MWMo<zElם'-.AXg kmbYK Z2UEˉAKRw)`(XEv)u#¸^C&7n@y[$ K` ~KsXG;h T uQe+K%G,5ђZ좜 0 1AV{XR|>*bC Z?lɥ=dyAԎ1CozWX FAfO E*n"Y߄Aؚ(V-|K=4L9zFC]:_]Z jSP ݚz'.K[Cz^ߧus$"->պiI{HZ;Kˑ fH{/Kc#5s :@S+|~as49Ʈ43mS f; Fxη|kB_rT2U?G]Bz:+8~#@^>a/S@NAĩ=xoM쉯1|[+NF \m%ܬ)#{{iʔmf`א7&uR'af#-~jeY%)ScB$z[8i=,X0:SEIĬ|Vj0l:M|$G'Ła.kp!2Eḿq~[ \6FV5RaFԑ!Wl#wBGp9R8zKtgtc;5MVtLE?oJ?ϵ 0ç\9求99,itY?X3!J|$0}袯ط}+H5XS =gj+ʠ `JBc's# D;?164F7L< S)6`h[#/hR ,."vG/P-Nb~Rt ~bh)Ta-5KGBqWZsSOHkgVWm\'#~Dvpl~G@~B\OO*KV 𐞃iC)7-]&VAc)-72 *nu ~gss뽛}PTv8Ir6p?|_T#i ]p?ÜnRyiumOfv6* wATv㓑tX xfa 4T s_Jd6?!QvHb1 3\8Q0WO|Eϟ9yqu.Jg)4oF$9DϽן14CicEt60id@PC4 k*+5winA|5n7$QK1lW{1Lٖq:6z[C(Hv,taxSkS?z"tpfHAW[,mrѬ{i") 1Sgr=sD aa0}udo־(fXr% `Iȓ1rVѧMIĂ'Qq]uk+ڹXQjxN7UWUrž9lP9r?O"HQ e[1T_v/IQnEWj+/TR@iăkg]2u'%.`mzǃ9-;2{[?n`<*}|#=fX4b`uLTq8? ~J2B,_tH$Uq|Ʒk70fH6KRBJjgG▾"emqM %IJ W./mLЧqGp"R#3@/,?PH<%Z;d\w!̙'g=.Tޤ;EV)KpWzv/ [ηSJSc}gޔγJmCyrH`"e7ge*hekt,5fd|g 6i47*:BDu;X`v. $F+uXD/nl,,s.s# 12~.cOtq6BuCϥ.( u=9r§^w{Fl(rhMn=K"e]\t \gJXȣB*F4c7kne7UܐP Z۞im;/&VXM*Lѣw[&FQKlMa;E9B>{(Pn $hh ͞f.8:Dpi ֟Sc&-NÐ;b;>_HP,mmaT.e7 Wx$Z!Kn,Y7-O'kBǖb5"c~Abxp}XiRS?7 ' { 5N [쩑s*!g[h귔^9'(ՃO0Hӫ+[=xZs*=ƨa=.WH)YH%3<8/*m!b^%s: ~7YTիޡДK[t!]e NJ徬wb^-jdC}9\fU1'D܄7IP"EԶK+VH,U tˊf<"͏*}e|yc8cU\vTvHnjR{F7NUb"?xδ;De„aY x.UrAdXu c;1BCLor5SVz  %_b1;y =Q4e62~MHf{NeܟBAy~+^8˴@DM%ठHx ]%Oly*)L'ZLA֫k4[2l!l/Ց4*kaL,^ ji+cW`01_T$X?Yv,*WNY N|Z)@^<HI'PԞp;-'%3Yսi4 S%` &juRe;QeCv G ?ZA·뗺H豏=31!=gSq8sHlIazUkl`im ZS΂]qblBrEwi1$XnjIr#,eS- D8 P[ӺO C[5 %}HT26b6Fȏ j9Y!*-ir ,);~j|mγcàjĸD|x3v[;n99)gcL?(+]GO` |*22 zׇo|jXyW4JϳqW -;{nQ)e2R"vܫ, ':iJ"Lj%rWx?MbkAP#.e6V}oYR_oCenR m*nq>Op"@9T)u `|{sgS}e+@vhSwpJƚM<7 ɡl@ȋhB6dyeO*wrpt$9iF;P=f x,Z2ϔA2zN$@6Þ5|C`_Ǫ;-t2.KRS2YFehe?ys΍z' WyKWɢwgM.S;Ri<#7D;GFqrMoܩ5G|ZF׌QA"-G/p P qhŚަ04ESYnnWܟfMƭdd@"9t'ݪ蕩3f2xl1Ío.@JJ $mȦLQ0!t @n};|;}%AyS[b9IBʋQĐNcÌn= …|ȏp_R P1R.RuZHcyZv?| ~hs;Bт{HGq+ޔH x=o8\Tx 逺Xu0Ԥo-R=;+T /bΜP/Yl8:pgαpHÊ($'sIAZLJ#ntq5b=\|'EkbYix->t4ipir,~4qh"a’?ZFq~] ):Hm00ƨBp[ (@ -Cz6_Ř`٨GL=Әp i|9|m%D&[_ UH/!q20]h u4hKA{2[Iޕ߉GIJ |2_ZW=F8M?$]œ=K'%x%]/pv4S %OU+ᎍp039x^Gn>٦}|y{2:|G鍐;84Amvl sݔ털M .xv!Wzz:˪ kj~F#|[ўT')|:?N|Zdʬr. \SDU RGjFɠo~ߌP`d|jx퉡A' w˃q1pH\$#pa:"+sxy5<'~Ov )BcJ9P[B2\8$1׆q(w XyA j3ǿq t^A:f<,\.T4IS9"E'42gF-KһG`QrGbJӨ Sxg6 ߑ~FXW1puMqMGԗ2qAs{+clB)Sss${$,jG9ƝZZZ}-~]tC|Xn8 ~R(?CqFJ,=قLzI u2%d *ެBS'$ֆ@k杳Fq0ż_/ $mqKöMMd:Wi݂[;xW;sIɘF)%57;eNG{AC鴴[;2nMM䕼6x!; UY3'^zVڵdf Ե8͢*G)'f,^@SGPv!{;Yd{%'>)>R5jᐯ{QlR>Ϭ:WrX̜Q5'ޡ4$cB}É 1Vϟ6[EV@sdޙs2"].@@K.Pr5ӐF y,\A %L8yN7KxR7.C[e.[+#RWZ4tӎA)Anø%He@7tO+tWz4*;Z]<\=$6Nݑ`olًeLߴ&.IJ7 =0,Kpm-ʦ?VGNѽο͏%>\~b88U jur< 5.{89{2d;#݊KINz5eeQWE=OM-O*O%b=,T#e/=Tt:5cM*GQV>m1' JLȰv lUXJю4O'͌2vzp#[F86DEnYbѫY?#*Ȧ;"׻́X"EhsXUiB:xXkv2K輸 Bf`젨2MjC3g S֞vޜ2]Rk$c)@ alȝu~y93Y>+X[ lIV8~]zHx<}/⣲qvR.^ 1kOֽlǡ3,&9SIZ]xS&(&NzN'KI-A~c2 G@mMLrNJA|\{ 4m Hֽ?=rp/fO;&; D^&}KkΞ2X}QO,&~ rM.XnHLfڽEłjY߁ȿE/Ӹ o(Km~-=Wy>NYbQz5.;SzZ A"r > OUeM*2Ό9Re k *xIjg˯._X}ՠܪrF򽔺Ν~0hlYKL*Q<{Eg_B: 1'a -8o-un>FDdZG9NCRcꔻA"Y3`^ ::WtPa{ ovnW=H}NU9 v5MW\rN϶NpsK$$OJ;׉5{9b"@B is1<`vR{ƪM斜+U]irAdL= )p@<Q4,"GTMT%FdМ!n `脝NSR ߻Vv]٥ &`^\   %v?bv}7f';Fe,ptS܆$CʒfaCK>NiC#:BIlXWP@?6[ VFIG&SAZ1Rǒ8G^d(N'Yl)1$5IQ)bG]/NG|LyAƫ 3o?Į"WG5~)&qE-.AX]PܸifEE{M?(0EI0Y7]`sG`7 h%m"X 3*0peY-5dQm%UAvmM('o)C<L۶D[|ܤ䦤,W<$EO2k7|]ބ-(G?؎ J78d | |~&BCo JUzj#{̈]kq k?>L CKA?I;8Z႑i</{"`K( B,Sӟk=į&38QOnmIC,he(q揷Xp+Nǜ (qZRI}PZ/`g%uqa/,9k$C<>90f)c0)Yګ _i1RUlM$-`ibjr矢S&ϐBj%U~JjG_yY{XqͧԌn2Jeز߫(z#w6̊ߓlCpIqAc: `~_نޣ ,A\I5,2El9'X5##Oo4<',XS2/k[JeknFfo`ѕU 4kw3B-?'pVF[cKWud!5.$4 IId*iȝ`f:/YxXKtK.X|Ġ"#=)GtK;̍w opnLwu~dJ ,'~Rr- L\'f.yzE쵿UO>s LWm>eHP ^fɄUIBW]ƃ~40 [ oTqk6`\'R7),(3Lk Q6T/׆Ds]&P漴~ 8F1e}v+ ļ'|`p[)s*JuּumZ+ 7,;r!EM ͻ͙$< f0'I&-v\Jޣ2/+֡G 9f)Lӟ| } 0/ʊ9[pO2h&B^H ፊ%.2^84:,M "BJ CS$Zt"BpGS~g;ҿJ4 >#! M&sgoʜj(SQiz"޵ ^E%$=3[>!20$~_ ~ "gmk$P0E\ H!"hȑ6m3p:~ حb@Ib] <|+ Dk_gqIA)>xwBd{\B$P[>`u|UdCPyrd3 d_*08N>C? I?F#¶[R,>-+ g\luC!=8]5Tj2oVp3}/tgҙ>v]ۣUxM c;W8 g~N~ 5*BjT?bءT9c(ILҬr@S! R=St-)Y[_AX|ǎ{Le,DI8-t"67@|7Ag О5Nx6xɮ\dە~4b ]V)_qwzO2 *i`X Ӝ9Ad,kI 3u}*asLx/%!%@lv!Dkyѱ߭Q6Tni, l 6(b_%XCp'_+}?sZox}P9cd/.5cLmPoܼ3-AD'UY&6PP@Zhϼ*;(.8|%)3e8)vox{z"F_+.z = K^5k'?3tDe6ޖ>Ŀ+$#߬/-34 Dt=Ђ-\+Xغ"2 ]~/V+x'((AƫNakEACچG&B!L [ڬ%u{P  j/Gw?IL #Z ⮃7L<\X HpJl*t!t!lVsx"ayh}ϣ:K1QׁS-FhK#I&쀁'Rڒ/0H%TBB 7iG6)cn2+.A\co(^J´pPm/Q)yW2. ?.8}KƒG'"98gRn ;R +!H牖5pKU93:l~3768Đ9 W)h;/asʝ X_Ƅ4>x;%F~cpb1r^\ZrbfeundXϙ<#)ۢ'o375zcoΪbmMZ&> /Yъ`,׼١~9u[o<rlU3UDzmD7CF(zefD(%4rz;>STi.R=J(jzs z#`PˎGI8ָ©"L ֛*d,A@׾6_Kc*sI8s٢Ωt(Z<o_A}uE|FWU25XZZ?U`>r:X=)U[, 8; /&A=o|.pdIt#";nC@]08;yP #^^IA;9Zt,UW̑mp6;Fk(Bc&  1c ,_|J&o[X~m8,ew6 \0Q#IۛEӿ z \\k`XX"=$vB͇PCSW﷧lkc3輘blWǣ UΊwZiƉ:>}.yh/E^ CN[M2oC¼.i|?ߎf_-@$˪(>b6%#T Wm +E| 04'v*JANپjR[Jwe놏\[YCNTʼRWw\ߠ)\ytQ#r"ܓ5ڀSe3+6!ےSCTuĦOQ! 4 3y7 >*M]$dѕvpsH4w0@% *yZx%ne'[ysVJ W vz\[W +/pWArB@s$6i^hRI40DNz%iiv`q}6rMcQ| _, lx>j) -3FED\?W>TMVons`/Ο OQ**5EGF@.P[m1Xgp^M\ UOEB쾨.x\K)vr%Wba[8Fd~D<#G-oAylL/*@,y֝#iaۮ26GqϥCiE$=&hrnCL}3}6%zL#xvG jk B.b{J\]n}Pa˯NS_lA"zPtVbaX8bb?L N?0cäk&-1UfO1e%t|D3Fp#ZUNlOAK$N2 ,cZyxykZFUjfձC I͈ y^ͨ|U!TIHg̳RF\Mg&uFТdκW|d呹1%X' DRh*/$Xk9U@ΗDBL2 ($ j&1]B,҆XB~mi-|_T zWgTP^B:I,n!0ȸ(Fس5X꧸oZ_xC>s[L"C:6[F)`^'8 OoMjmT ۆf> VAd$afw DFysXh[8Xa@e l໮JAsY_0zaPkDwZ{N<>cwV7̖)7(K+*~/d Dv %7dH?U܌]hm4tqt"R Z4rT !w]0#NE ,4;'Jn4xhfODQx$d瓞#s]=6OQIwZI9iC\Gے[ނҏ@XR]mʚfX䆔i'3+ Ӈɂ/brQD$_ Loq)VfKfKAMZTT3-ވ!pYVbLK+R{ ʼv]L4oh/jW.io mup D}Qgdq{R7H&zMlqXZ9=ll9U/  ؾ,0= Wwb]uʑ,=^s< |(UTzI3LJJ,7gJnh7Ⱊbk:^,|g!2ߕIQ/g?~$EAxds5WLX+ɹ֧ C=\kۗ (@{鯨mp6'| i JPؙc[6=[~g\ȣ#y:(wi΅Wi8 o -}Y}ք'^)*O0a4\{}K2['׿t[J8֋QdիF},jF-\8y紱l*T?l>:$"QUXJ\^UH{Ypy8pm?3 aKz!X /Y.GtS]5[?W`INC̠|JL_JWW٢2!szٙ뺾i* 9[78֢EQ+fCmïAJ5X ('vdy Dg^Iy ;셇:{hRԍLqK|I' KT@/) تLb_t>qӵIv4~+ qdS_h]C@}nw9|C1"㐟ͬ7$SʌIPjb߾؁X詟&%ÍܾJ>*GK(Ng kм(Yc1$Q/ * D8 &;Qƞ2GC?K¨HeVS`P fYCb[5a ]>Kn4dRUz #1hzq)gR'!EXncR1h7JjJC \* ~2ۥ.픂4vi)= Vy%KsgʣPeMCP;"#b@;UD96k QTpij0 GѷRg:nHbw,O6_E5 $G_J`C$%A5G`|ύ DFިHŮME"FVk9[vW0 J@n(Wg?`D/.vdo AvjYfQib9kN~¸Sbdˆ;H[;3M*v"}{2 :H4/:!sw6@/+jDSDcN=U8u7m;S-y"qj4ne+-ɻkKs&䡂K9wEݣAVchcN诶E71H}F 1eԾ4?u9@koʰ87բFhXG q$|>ԙJ W ns +etP Ei!>Գ |P}XZXQA{b+`gL(j~R&KK|۴j c8CD!.H7g5ZHcWs޾#Z6I.Li7 ,yn\sKطKd`|7?PNǨ; rB-_ixW-mݘ/{" ,Cޢ]`v' #(!~LHآ։< )C'h"7M9TiՁ'=Y$<=sFc%U__pbo䍚{_9^Xd.8)%t9X"}(u{X1Ϯ0trfԲXܒ6$}8g,~qp[r kEw󋖏g|֙\>dlO"Km[Y"XR  xDM 6GI)-nnEՋ#~e1eo}6Z?*ٻG(@hh5mѽ ^VIp1L'S`J P/ [a@2%9o7xѹZ~P: =u dP"ۆƧj,?#(G`]U<گ]5A)nh*]&7 HjU-j4FU B^TW[Ly9ARf>|(M$@|;ފa jFaq{{>2QsH 7N!12E~,\4%`zž'#pNHv/ 5 x)~Z\*x!RV,V63FlLsp F5k"zO$؎i 0!&p>Єc q|py Iu?uUQjX&@eHS ZXad,G7ErP!HmPm爐qq D. ti2#hf)`p Fʞȩ:bK l.5%'+P6BB /_!\fcK$~Aܔz p7 ߐ; =JligZ!-pȅh"VHX0#IO$^(WQ>e@53$xm 58|.#t:EKZo-_&v LEŤ GJkV8FA`b:PKfSS2DAMnM#~]Y&λ?3Dho X'nMƽcg3ncY}kFs䟜e=10[& 9N*`Ź+Ӓv,^? sjiːpUԵ:^򵷢F7w`s -| tXnMξ]nP۪_;O_'/>r>xj\_L҄UbH罴o!208[)1 ,gH:U(sP=]<C+IP,@L4LSF>V,1,}' Eu*NǺT"` qD 2"AG2a,vJ;jA\aҊ m.ճv,d9U|dM jո ֹkInc^oĽPb8M*Qxו%bYmw#G6~f =|APN̼%{(L0 ;V:Sn u199FvX:?!%y!v vaи'/2hNo!p`8Ahmݞ/d[9ϴ*֐.|_KPVg^AU0*&^̛p0JKRlm+;A ӏMwDL})e R:KB<=pnsGrb`˒OvFIG%Bg΅P9hxr}7C81=Ǽ 9hh%˒JDJA*r%e܈q$Rl tjlV!Tv6QLSҝ8!o`SW&>hƚaă 7RL-n$n]g)X("<>PdI">o[v=3?nci8{gh@slm{iTލʍ)b}(Ur0&L,!HeQmp>/ )q!v LnI)ja;kXVtSiGgsWvWbT-qV^mr2]h rrٖ9Ht5(߫%Iޛ^ *߭~~,hB.T: Sj}hHs, S%g)TE), pc2b^IE27 eBƏ==Qy"rhywZeF,݄w d*EN\U,A] \'m޽. E8T^'#"R=x?i`'5 jE 5ѽ(cO;#.Cʈ1QZ"^h>O#Xh]MMR!D6T kVv]#}EE3v6J%s5CaRVD׫/qÀƽՋƚhV (vjtԴ$y#.};gm!XLMsCM訝mz*E>^^hٓWvcSɯ*ngCm=vg7R6- :@;81rZ7nR&*@p,{mGxd<?gX~+j.$vSPP{y?yAA*RN ք5HveL16 0wڶ`Hoƍ@Z6RaWZO~x0T &~0wgح0o5@@0-ߐ͗[J,H+Wia=+ L0LBvjn)5{ʵ @n0?t?ej [l0s11*D-<CX5~õ[ch?A )hO%|)-J$Y? pn AZ 7כ1VMr cT.$u~Nר]$[ya@| %9FmYd^yOhQNh4׵{ځk5cY5^,ZYQg@L0_DLWbEC}-%bb4\NڥEY2;B\, 6q?7qʋfP;]`'6qi(LO!3lTuwxE=i$ϻd~_w׏83-S1YE*tCyM<1b,FFp%.~D19ѺtM6ݻpنFej dj! cP:_mq94?=|ՑzuL;\S& ,/z%W%W\v9h2^w 4k]fn9=wX@&|WI/RvHxͯ tÄ]/7v %i" GPXIw_~ 5_ EP{g8[jtHlӑ!O OU#u8N< 2W,Pl $iFX GmVj*GBVٟJMX ŸjUdW~0϶[ae=iFkMد _ere_i0"$/`gbJtqpǪ_eMLCWlP,j2ְb4 <,4 613k3Kv{g!Jgx<[gOSۨNF 8tzD0\9QZ\?|$+qKSFӇ>#%:4 +lбRu# .+U8_=8lȥVj\1] S";3\V+5;@Z;YO_{ Yf4S*FpT0u2Gu\c,obU(L'T]=Zµ7c3NX֩;2fr=׺ KuJ@@$?f`frZ$j/_G]].0 hP R+y͆+EvAGv,}?Mv7|4Sbh|HmN/.p7+7X d~*zoӼu0@ "]x2ppql07҂7-jveRNp|U!zHtߺ_m*w;U3;p3 E6?gB\+7 ZD翲8C=R0og㹋l UB«":G,ߘ"btNܦSp|b,iPt(#{U;D[P^p Az}ײiTjO:P&X]2-_XYE]: )!ŀ,Uh׈<:QM<(hCĒO6L:D[UDGSo׼ޮH48SzL^=3zXs :Sy\RHJsϗ7mK5 n7וPt?32$S6-fڭ]3UdsBFH<ܤgl:K6 )rBW\,<%}^Wxs ?jZP[Xo:-Pqa ,$5hCh:VgB[\ 0ቶE0TLܬ_xPi\kڟҶ$7)d,^#d^pB4UFz]ԗjzXl^]Z<,+yRN&/9wa/e8WZ: Ӌ n}%PeN+W|"LU/K٪Ħ-WLnçO6BKPf&zkG3tK 4n0cb;TN2`LɄW6+!itœSO'q_e6~ʐf-Ƞ'  ͨ QLhv~R(Q|Eq]Ʊ85P0CɾsWx:_Vł' `0"o0'ْ[o׫.$φOi0S3zz{>!rlRI,IM+]#[Ah\*7xDOM9fl L09uO[YbCO`2` 4ryG VM]\*+9}EN… h(y: ]q"+.K5HL")1:\݌s DkװҖڞ4Ypv%DGSfN+M~% ndwCqbx'gّ+,7ӏcEV|$H ٴN$<}1tD-L='AG }`s_V1@Z-y0_|㟏;'Vo]C;&q9(R "2e\dQk+*ɼ~ȠS> +`G՘AIZPL,t؏QdˑJ%h`̳ ie$Q}4e{1_cR#M'&`Y>|w_Z?HTGޓK4}@ |{7yri?&anXVT+9bµXsOMWh"IY",arAIb>/z@׊`W_'?U>Bju8}3n,J)|lV5Xj~'=.Z\^ϗDO+=ό"@n r;cOmLB+0Msj)"b1Cw&iX2KK-Դ8sINމ?DXRRK\6ZBcX AG>9A-%f&6@7{h.`s< HV ea P}?yZ0qcNtuYIdAV ܳ/k^~vR_<.Y߅z\ y_$JnoP.Ү@CCERh}ӝ,2wۂ=u'&vQbi̝vːvsj+20{sߔ.F= Ǫ@QeBsG+p$ t9 9YKR)erMxJd9r~h*h_ʮŗ6Bf% ^M]5"犅6ܜaYo)H A<.)D_w7WhcFg&E3/ =r`6 -< R VyDӅt3)G֤b?mr^Qm}3Ɇi o> aɗI NA9-!tgbcO-3DbGctͥI743;C4ӗšc1w87Pżff?.<\|99R>U F64X* $Fg4߹ԭTt> 򟻟5KuξHJxgxBACeh%XU*}J &m\ upndjJ[n"":(WXfQH/4ǜ%YV'f .GZ#m~;P0/Po9ivd7Ib™W$K)pr:9ae GUti_ibXw=$'V .׷ϗpu ip twѾ)ey{B/V<&L4nlƜ -C{!d &h&x&/pʏFŦv\BK) E0['7SU!+t^V֙v"ᘔ~!_'TV"{''+f/1# 7z\r/8, 6B<򩌙%T!ɘ@9:a~B"ZͿuvaq2TUqG >`phhv G9;7^M򵐖:/paBҳN#I&3G,z2xc*u^,A0j2{ϔs2 6mWK%llJ&gaf1bd+*|ʍK4}65̇ `IITD *.>G62|9oe8? ?5.q^`A *̤VrjjnA8e~§\'n׵[ HBgH7,8ޡpZiS8+2i*eҾl>MF84KQgYZ+0Oe\/d}.  dJ6<}q/F Aro=h 3VlG^$[2aZY-ʣ05ѯ׉IHBa)h`X\@  j!nhUvw'fY {mDeK>S 1"8 48#x?53VAYAdrg8Mf[kת;7gmhCX?FoҗX}S7ٮ NV ;\GO>V0Lhfj 8!;_(_NbJqdbcAj;\6'N1l4seC,ufe^-N %zknp$r,>~ݻP&99(@;+uB4:rD0 ;2s=HMCEӈ@NhoJ(Կ=0rVVvq"~"|Ӛ,^GiM'zoh~?㧃@x[Ӈsē18RvM@&[n牋"XXshBڂ@lJ݈,'0)1͟q&ޣvzVzڜ!Q59,n`898ćC-zoSpxj^݋_ysz? ?:savNQ~;.}$(!-YfZ"iaU_W4kP9|؏sx=e{sIh[a2ycɹ(/j eP '0j4giK#N韒m2+Wt>o5TVwUݍ/-{]D)ܯ\}HbkUD/X&cl{gB(>v8\Z׽^ suNT𛞝e<[_J=߿$l [-ߒ˱-xE8LJ[ 3YC1 9ߏ0  tpYg@gge'H4*x ^*(j\wB68ѫJJ7#Ԫ&eI=Fk7B, }-#gϵPF HbL$Q3`$iK~2T3r7IGCf{˜+ (yU/[k$CqVz"w[2' wu70BMӚ@Gb؂їi9| l(n2sRZ\43F=֫QZkHs:+-F;]S$Xn~XDk>izժ.oM:ݗ;VE?<'љfZ f ǭDƅV}WMPx*9'@;r5Р{LMCЦz J tPk8.::*3w r eϮ敭M9< ږn-*`i˷{U$fqFU~oHәh_ 1Eưm?d;qQ%GA%~4mG \6CQQA 7p 'D(AЏ78e :o{oKs{w[dlSҾSq(U) Vnwܼۍ.Ssu>s+3PqVfmCIFG;O}b O]fQQ챊&ĢJlDx#ϖX_hS`oSU KVV߸`&4"zNލps,0yĠ8SkD"`!-&0${YOR|PyK w ^2%PՆW!7_B\Yjz7rŰc_7 9OpHeP8 l#Dk֪=BO uuyA9 kt[Rp{5t^Dc)S/-(m9?Ǘbw\ys DM (ĥ92^~2:jL@ZNBEZ%$i+;SQꋀ<'ݮ]5HRm^+UlY('2b'RF}j$cJ?{J^"!X6/—7+~Rාݤŵ ZŇ16P0 <w,:H2R}i#*.wRjWw|pXUbUaÀj´dhKJЭU#Uo΀ .N{ wtҿxrPEGx=D/ uU9`1)¾S A^13SzE} ʜܞry.'-EÄ/P<<q#Vu:7;) ?[ $>|y啽[tybY4W׮V<ڳW!xCژUեLZz- ~o%l8gr;h&%m LmӸvO {˂ʢbxM ? i4g`m$<bsN'cQ&TaCmNC[o!azp oXq<>K#xR{;v]F!>8= uCƲ>v_7;LĞK=S4hCzau2Ξʁ!jv94(pA̻h)D*HX-}J߯e|l90j}DzWK`Z蠲[u8B(Z( -2/\0r+,pf{4*СcsaqwK ;F1AFAQU(;R8ό&L((tglbvJ[cmlpw$H3MvrQ=_qx/VT͎. oai[Y2ZΘ[q$ppllDjmt2857|,Vv:ZE "_ q}pg?Y>wD,E@/Ln%U0<3G㪎1ƴ\##CvK/MnV h9쎹FEm?~LmO´bb=c]׃75ǸO+9HTG;ě'b4uSڜ[h(ݨSe~Db{P16x\^4#sٻ)+,L ,.wKgq^rӝyB/A{V 4ؿ}?D2rx鏋q,[O~m@&_(|vקgSX,!/x wIʭ-|s{|EM5P1}c#G9I> /. Y;N\玾ݎhTUrg̝̝2Oco0mfv)y?T;w>OHW KdE r@ܒӤcf}"̂H$ gYZD\MWv<#NOS*7Z-L;ܜ}?8uz G u 2` \dsҕ(1߹Z3'ȉo{,@(3ea!ʺ무cNcֳETfv IÂFe>dWSʪ 9pߩ HM<[d2O'-K;g3}S?x(B.&?0D |{ ^.>>ZJ2HD5T`}`ȃS- +Kߒ訁t 'ar@+x^k'rRtnW'zBoi[6@ge4$Lpx5v—&6TS*FBOEJRENrZaM,u\P˓^hӍ* K lyT {-sY-fSC/^ALe/v&#~hX0lV+s@ޮ]FMAd\ $_ԏHK1&u9iۛav';H dž+)u O ?GsQv(  AI|[W O64xp_:$דw?Ow$TR ?z.:7ˢ7 ab'a$؄ޢ"=Ui  F-D2{bo? !D=eSXt]eşTWF ڡ|W_Qi!9Qsx+Əyrdx3BzV|X4 XA3g9Pg؊*vAvP݋*EvV1:4I%OH=}2qP?6uA#s Dqq4~igfq7thXX:8yBPt#:j":?Sps6Ԙ n%5QlA#Ҝ1Xa.̘ht;.q[(O5ӧ; (RBeⲭ0H†c4|9\MP1.Or@DcGub2t&XǓWذq0 prT<I2a=E+jT2HuQB?Q¶ t;ʖhc=UזRL]UaQ *[.s}9b.Ö *u^f&}_@vYĖe4ex>zJ !b˚ {:LQv尢Gj#aW ŋY% \9XN3蟰ZZ@?n`:^!MWr>d%2M(f`}8t3哏Ű~=|Cmq2`z`F?$jX^aCw(Y0f'(]fW8{E{A.Ṛ@쎾mHZ̡O%@O.5!5<[a 6_ߔ(JZU %%sƔڦn+uchgr]H]5>G%~-c{;O+jFNR ;~e3'h8n z)|u 8*po+C"ѯD綷e8Yt6*(K ^r\׏U&=/Ͳ: vk?BUWNS%<*`xI?7'KؗuxSsJ5 ї-jc֦gqLs, 9+;p{.&s45ʼn)ay]yKr;ҀfSōi=Tw6(+/QVr2^W9ve)l_chZ_Rfm ϸ\,sUK' R6O?-pAdSQ,jJ`0xm*5P0~cLiް!}0 qJ]?>#%z.mKqzX3/nFlh9Vʏ31G8n0\6s M҇'?n?e#;+a/ ΫKc}̊}p}'<"^VRWF/J-zSkOZW;k's)IC%Row.\BXb񢫹 n Ҷ"7ksg/}[o9H=cHGq3殒w9_HW6 ,C\WW&V#{M jEvŋ&̶bV y Ǹ|*:`ă>>@-#QIT@׀1M2YG8 M1aw7y Y,\^*g[GŋE@Lm( Y6\{gM\pP7G]ma{鵂?,(y2.\θ0,/ b=)=b#Z% !fwK5/9)ƅ%GP$HcaM/[RؖMǸl*EIYDJT.=$nTn.^MƏ/W%Vǯ5۶>zVρfTi-'/sWو(x]CL5 .7q4JOL nc01XUb+Wobw-˪[wP.V$` D;yNN2nu=|jk#3O~sO)бxzmsXl).=Ak#>ep(TxLCȱ[ִn#6Q܋Qc4{Pe:k5 ~r7(Ss93Z R EpU񁡷")^cj bȞK[G_ \`eš:y983  |[ːA9eU_fZth$1 +ނ.YV?r4& iQٮaVHa[]GB+.)V@Vr9Gfw+HhQCʨ۾Њ {rduc~VlJ-534V(/|ӻ;#"iQ=|ޫ* 3Tt}4hsjnT@.]$O }葬u$HY8(&ռ eΤa:(VrPRuDqTpe/p{.j'i^SؘCau '8N=yjfgO+刱i=?*.UB pAQR ; E,%X=kM6fSqN;]MAUs6g2q7ޙk/Kt/rY{.t^rZ5s;Q-}@>~ss4">z \ic3.D# hIo ~@r"/û]D_JRLI,gZlXo\b6^AaOJZ!uz[j]N LIuE$QOsi#vGaQ{?RdUx `27$Y7 9i~@i0=6rjDU{tep'sAhQPڤ>qy6Ř>/7PduX?GlO3ݬ> Eh<'OI_ubK![:0~isqnC⥤!ԋhYmS9RCFFx񋖜ûπD !Z)Ŀ߇]_eaIl'oXJx3pH C+b>޵#5{R9PISaV.]xx,ٺA]Y^Ɉ:[\à 6$il$#S#$ >= zdR Ġ/Ӓ~Q~ۍ{.e8!GxNchگ7S) gEѻ䤠;I Mj3238Ttlw>LB퍮x^%N]}N#HבЖ&e\א,]ӊh+C"jc<eI۞I]5CE]=Y3~oμ{KD)23 aJz] d<*D.e=lG ItnŖ82x`Trf9,1 NXߣ(4'.ot5`R& : KtJ)su`LeZ꺳(,[$`ȿQK8n32[Vc]QxtR7zZMZfsз '$S뭞a`RBb4%0S0xYZԴs6Gyx[}ǮYQ_!FLuȯe:\elyG݇(7}:`! 2n݋ժ]==B{RGAy1C_hV9h[7ng;;yaU΄9Cdip%.elY\}T咞 8y+Tr.T/fn.S;x]-[aU-ނSYmiA}lݪ;\YH]g'׺>pPgxŅ $e[B[ 9z~_/_VߩuL '&߈BYt@˘ܐ_{$xMM}`8_HE;N0[,yD,r g/deDQ֭qyx8 ~Ȕ D ƝyL^A~*XGhY UTDco9;zdG0f|G]ҋ \<ş e7-ԓxZEďk8)#(RwNHnrNgzݦ&GQ#~$16$g@襜N 5i4=z+|U =4eLDIJ0`u~U߆@r,%|y_ рb[U Z3 QRz~qwӢƌs@*5B5-5X&KJӉov?>;[+AiE/lMF HA_GCeSbm mk'hAzc\z ~@OS=G?Ђ0L~R@fs_wRrI+}(y (58\{ ΩM 5/kO~Z7+ށ&W҅ Q(XHqEVΩd-P$[eǢKP@Y-ZC M T!E-~_%wP}'S+[ZIչƄ]r1l΁Qfaja̧}'em/'b֤wZοB(E[;0BR}4(2Uq. 1u hׯjrA+X]绐\Z!<6lLAwEW;;~0[=R FdW^B.>rWJJ%&vNtbhe6RWG@͛VRSY"#b3I:FxCjguV(*(W86Ј$QHd P[lje9ucD.j}:ʘ ⦎h86OE\XLM]tPUJ80@f7?˄i6;+7fN}fGdչ)h„Bp]Jnsf<T^+[H8(ݔh8;b\rQEtTi98Io&B"T-Su ziܷ~H_m -Z -KIux&Ȅb%GG 5{&KbDIaB"J.,k7? 0Fb\=v`_5`ށ ǖ"ZtJwe.^GίD;{ޝH Z~)mDW+!#Dk$U ;&m.5o.7@ ?}I;Ոc8@-(&;yc)Ǎ)^$`lէUWNc窲o3#0~o?TL1_)j;p]},gM +> ۺ X-ƍZ#cY@>ᙛ֪cxt[˾[Y_'Y͑Qӗmt>bn8{R5 Sٵu+7^buKZlPcn|`,xڛE5` f㿆b@=bqZN^*SiYp;gx2Dd9Qy.O(O?N2gQF! 5hĐXŜ`|d! WEH n QݍӋrZ=%d%'svRT_Dy!H" \>Q߳oZLA Dꍼ"(,dOa"+.pIdWQ<2{cLǔP <K~|V|jO%A6n||қlm@8:SUu'CzO;Ohe{H9)#PTw Wɼ,Hݑ-*2aKٸO?3=<8ү.B UMَ݌yB(n!M,m175]yz-ry[ +-d^{߸ͭ,}W_b:Cl}E |{q?b.־+CU% Xg+Ph@=:Lbdd,Ki!&T}Av29P]MtװUfBTс)3[;REP`j5#ZM4C|! b5+ J8ndX=\м_J㻴l~L:$Np=B &zu|+hFJ LS&ƪΟY&vge{p1}iB 1Ze%{тJw*)F̂Qo(:>2Ը b'龄(UL'p8 &ˁCJs勗)y{Ӥw-9c6J]3Z0P,Wٜ R[fHr4~%N룍Ϩ}"ˉ.d>[4^ÇP&]fS|l^W8呢,߳U(  RBp>0Ym~-ID}.}D"N.i`EDPC rPRUx8o (i^QJA .Kw8jA'$^6 (n |Xj?N~deP wCGS5ԉ7lVOn8cNהiB굤{#G9Wg!)eWwvK͇ߜWG4k40DRsąjE*Ko?m$%Ot(190*fE .U[v'3RG "e\6.tc@P(JUšIԉz(p|]pbqG)f؀꺫ؚp-%=R-NCԗ$L7;g٦ZM$ k Sסg 75]]nEAT8Ec9H(R;Q5i߫E8| ~_ڤ{*kšfh]ÕQqB+ 3X;oW!O@Tr$ڱj<56<^5?n{>JmB ㅑ=jg[v+`Q30.M!G=4< #l`:hv(DrE0w໒[[Ҁ4/5UD ȣkZȹC4ʨ+Y}%aIXbU"$؜չ&#!'EB# dvGt,(a6mypҧCI2ѼkVֺ?Lu~깸]p>^ݩ\ϽyC[xUb|ЗZ>+Nv }hk61e)Rܹ;y+Vp3"C ˠg] Ei =* oսd|-b%urxjwWz竁~#[:[%~c1dOF*L:ɂ݁>ejvQ+Sfd~!#KJScE,U4 ƽAˏG< +r ј"ns)Pƭ3e_ovckJp!HᐘQ[-~^XkqkF(y3TN^kI',)B Mbsvz` "C\石-e>$L"$eH #[R,CC0U>EwNm.@3^P7m㛆. Ruى֬0 GqH~W=nZo~F95ZǬlDcz8bOs;jFV,M6~p!0Y½ϓ)Cǃab WjMIedp ˇjޗq۟u15J}{Vr,?HF5Y/qџji^.r+e*>:A0| _sA4wZ9Q~!*4Y'5vd⤷K찇RH3gl)Vq3t:XNjYyB11Q֞n.bXa ^ނR1TV=}7 3 V"?[q*Mǒ8fzD6/FJE)DJ7 LP 5&Z<|*e0YГ W\τbcJBGHG]6OYkx2g0ا6n\09^o4ʑ d+ dT9٪Y=jRb|KP? {3R޽h6Q= Oeh( +sMiQt@ɵ%ߤxg" 7|s[I,gp=8 j.LW8=72H tSaDpc?pJ>('?&16{d!֦vʨX zz"礘Fa5SIW'{Aij5FOA%2V5֩R*SVoECIFtT@LJmjz,=xAoiMY6)1Ԛ13ޝoi݂<ֻۮm 9wtjYpS%j|"#!m,L+O ia\ ]^bdNĐl̇8&Չ@?gŞsEJp<4R ǐ"mX 4@Dn586";jhI=s϶Y!ƃk4!'F6,n?CYGM\}SgZ4^hp:e$ vBY2ĜjUSlm6 麪1B#nɺ!z+rӤT ) \ժF 'MT?m>ԛMh @JrYv>eBŤ\E | YBc4AQWapjp4>2*Jnj OI-+ό0BR07+ώ+mszVVɔӊ=G*ijY 2)[`?[3ϵV*ڤ c*VA3 s,hm}=Dxo{DLn>3.rݳ˙44e: Dyi֛2;v:n VܶE *O-r0`]ߗ ܀ntDuKQņge]o/sԇgALgD“|R2ߨ?U=N&DŽF#i83)7ʋأ=nf4_]N8 &fA-72|r=\V#3@UrFIU-2eztu}ti ji|d@ʶ j[}ب͚GE/[ ԖUШUxh@3O-TK6%#7Yf\9cjJ .sH蟽٥^w{@>H05B`^tnC%|˼c~{ڦazz`kuݦ/{zE9;vC͊=p^j+@tH!@i~vO+砆iqQ՜ʹ$@|XR7jЎ]Q󪩅sf6'CϨ[i0'{ !}l*xbv@T rw@3v&"HABm=zE8=S#COd88w e#~d.\r7$wt%hlIx"3=OPRtBP /mVGC-G1HS֍L)}Z&7S&gybI?42\&G zFfpXQ= #c]F6󎩽hіМwѐjNP!E93K BG'^i?:ٞz>jm#{-z/UrurW؟!|E(:L&RGkҷss[0 kA !UϯG)4垮O$_c޲!.HܱqL_yX8uٺBBF%ě Zg8'ACk>eА~y!#$Eib[zƧ@\L5w^mS xvvtE:i2;lP3#ER^Qǫ.ȵ"[1mN$ey_*GG׵}UsMOq_F~6 fe`R/AvZ>{B]NX FO|_+5 G5؆݈Ӊ`t~zpfyDF;0 I+&jl/v|+%J*x=,ȚXOr W78RXo[pX3qRmAq>zd3c6_)y֑ؐo"dK`җFŲh v'&+$0Mމ_T\VZxm2&3pӈ&먝-gXyy&p;Lݔw52%:4Zjkm%Q&xq4=ޞ,qQ,_6V/AYv_r²nέ!nL ĤOb$h.JOQe)E94Xze^2/\'*Rmhu1p~j úv.ЮƄ~!oFX7[ /l_y J ܄?%IW_@<Ž9QgJ7y{|+l41:<  L>HZɢ2->W/A<ȞW}U1M`YJCۘs6f>di&m7ŊE',Wʇu=,w2$X 9ٛ˰"{cJI*/אRVc N?1[2L~y XB7r[b&-!|fBqU%9>D`?^3c Z].3e--%R$As{{byXw^ĢVI Kt(+յ:^d{ ?Mne˸~UC/2(԰.h.F ϥch%iʨV8Rt"JW^<1?]xocNC.T/:^USoV1'$ʂdD7 s3Eyᔍyp"S/[:W[z , ?qKE0|=?F QoyH;L*q{V(Z!D2gEzA1x)c1- "obH!՟qdaWoͷj.E^ap[SU"'#CֳX+jǃ{K*9{{$} o)ܼ[VaS%,bl;>UG~ O qP]sl _Hbd|v:Qg6i~h lO'8nS=z,goq^O;Py k`FT[`ZEY:BFCR-^XkH~T+̳Pݰ7(3#\<-GUP,K.9Qv|yg2Z>GFC0?v6T)H͙Lݬ f)Cc6FhrR5v50Vy2=_R56lͣ`RC $sMHȔГg&#T$,6xkR΋MwU|sVgVucAoZ x;l[8cp;a?)W.3W>aXӑ(v;ݑ'Q1Bc2oit1ΎHʘ:H0} S29BuicK -K`LǷլN9YvaU2&,jB3"CNI3͍z JJ=(Pʨp# SqJn{: Jwľt&G4*T%. kU|߮hͷ=ЩC2q07}jL6A?\J8`c:> MnSۃûJ 8z=4%sEM:bW 8F?R/ʗldAl=bU#cD4©Yc38S*tTzd-Б+XRem VmHs3Gstd渏?S ?:F<|\;9n ;ycG!~KkE/O媐 46),3fFK {r=%f}C골8AYӖjcCs*3U'ZMLDr~>ܧN(g[%Tu cZb:eAAgm=ٔX&ߊb0s.k =VC):Ak5+ȠEՇ%8ُ+'ڔ]* `R5"U V^ML*iXA={_Z_sA 藼~f=k CIƊNiciՄ}4J+*2ksd S] ֶ6|[t7ާfZ$|#ɤ޶s6T+xRV!qX1@B`Nkuxw$(ag"CD"^Ew"FtMlja?FqVl~ !CJfܰ#zp||dY~ A2Uڨf))קr. ݙTvA2,߭cl ZEƲ=*pDE<]P##Um;9yP?f" z 3722I~4X:XZ+ Ā58‡I}PзeFuF!PdB}.^oI(uUQ6YAkƺxB ܨGX_5CGp'QK܁nu^}o!sC-lxO5%'r_wKhqyqSiwD6#.> FϋU?gkevPIUQ*f]@qR?LO6' 80n=_iauJO$&"cB=O*<5Fp $Ve-\x J4G~kŃf6R_MX̚in$JȞ.bLsma3DGrK*ߝ;VNSdŞubMDxD'nR~ΖJ \m~/%9M;3Dg(bOydcIT#gTA sCdь)P:N\GP62`;pa#J5Vyp2XAGq5ğ3%;/LJR)b$m (4w>Ej檐iGčtx.e?ٵGƺl/PF_˿SUTF73>DVYoOT Pk i鲭?4YgB /A(Z_Ȩw&$Ts{ܵш?pOGuug$]0V%}e4M]g lEmYI,bsBU#`}TCV"Vm3mO;|E&*a|b-*u@YHWڍr89HZ!6r&ӅN.v0mf's3VsNc{7]86E C&h1gYZ h9G' LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! If`]Άxʆ5.f-9 rq@yݧHDwAQE';2k?LOBkS:[ ,~ hb 4bЬxtQ.$zWYgRJγJʳxhR ahl#8RG{ #V7="t/T̼H ,te.U)YW\z\>ڤoz=w)O>JɷǗps'I #o\6SJ(!59d)/T84uFDj]4\F-U3qHN$=)"WwLNa z6 dSMlGџZķyay;OZ Ȕ!T.eWvةuZ-06 @Syy/L7!Á-.J1/A<@όiWw̻Q9hXS`A(=xHRtm#lRAJA}$3: oVKKQjlfY<%ivS~knI<KE#*R% B5lCN |p2kp&™9pDLf`Osib gg/+ ,͞Hfo'@tvv' } < {~oR\'S5B 1kRϿo٨Mص;[s?]%PwE5pl2L>b%6gi2yjA+)~ vMV?.Lk`-!_g uU˾ל^<,x|I!{3,Gi9pZEkrYG41eh۶7ԇf+@(r-42uU,If/!4h)'E|* %r+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H _dzB3@ܾ5Ԭ 7D1iacm0e?cGެeF8z aTYd4KO^5_C(뻢 B*(3\#}9Kss]PXSZzp\ 5u$;??T&6E5kIQlO}TzgY)r͝ǔA]&"rѦ i1;r:P ɐhWshNu|Ьus_pUX..>4^2^=#Vb:FמZa Q}/.μڷhU)na|Xm?T0~yo\**ʉ~-:I0=$&BB4Ag2λ!6'ruȾ<E =U<O7K*mw42jC`åCA H$k?cߥ42/UЉm cl]=/HRK D}^O2" ֬^1`?wE6홲b<g 4ZZLS𾨺0ppL>BWM%U E?.1'%:BOΤtz-hb  KDTUӾmހ'`Ys1\w iG(j.dP?%.sCcEe^CNOU`"ZӀBvY8)P?+Mߩ[erA^i ,%)*Ʒ*|eleWRV1/9*(}W4C@qh=}h Ut!V#7CxV.!Aplf*b$ĉ%!we1гkUBy$d{nNA"ǠuqO۲8dXEk/ H2[m$;>nUSQZsZwy;fᙏ/nӍ ̟25oS߽ _A9uݥ|&Spð쥮Hf7"ZF\ɟ2eDXDolI8(C:62tZ+@ͻg_*n[)!(>0$Aߌ|uM$`h,tykx.B7H?F+zaHH[Ax#)Bi- D/nVRZ'`s'A2EP' eQ-U_b|?N`m4 umEM3<9wRQtd|{֪ڴ@(m71M;VC&۔l)qT1:blj{{v^u{xXTsw>0D兇dvR$̥ŭd2u~HWoX[Ԗ%X/˨ɪvrܵ"EkboyQڢ="ooGoVDK, ?QQZBKlΚ 0*ri0.4YJ-+q6\ {lx| ,X)=9ٸLISjVfj \\= *!s6O? &ijX0Pnju"^HG(EB>Ǎ=b杵e*m`I"E2O[:0(`.ehZ`y^3@0v# O+^)n"썙[GAH7?Q:,uXG2'QIg`*KOx$} 2O1S(A,paqS]PZ$'(+^٭{Gp3C6.ok;To`zoJeAC!p NHS.IR%VAJJHMv`KӋCްj^f))u:ox-{4RVxDH5`;wĵ@р^,ډfD_~MmpAs!IKХWB#|3MfFG bd$Y5 :*u`l:ker.ßs6!Ĝ7wz.oIH3 {rnܘs*uۏxuH^z4L70|ǭԬ2gy*m@fe=x)$Tb{$ \_cN69_%uR!YeCJ~ѠeI@}[v 32UMU-JrTe c\a䎆p\gFUx_ftQ{࢐"hwU!ݴ A2Bodp7sf]X^&lF>&V-c >Η e(lEȞɘtySN.sL9}zߣ,XF4Ķ#^!iȅ[7VNmE0")qv}*Tn@$Wgk~޷m\ m ỷ-P#(K`!p0d5&_.NP{<T# 7I >6;ې*T JF.uV֊"4ѻ:0A~>4Bda@ḋSe(n9\1( U[i R6EHY#pC`3(WѸ4Hn,qZ 1T>DK,rh߅hW yJhǠy-T~R$ *ELУDC^gpZ@ S,+DX7_Lɞ¬'gUK]e(*AR矋o%Wc}`G9zuU~(%Eqibn@O^_xíU?/js(tmp w+z#iZ\u-g󨷞bرݙZL[ͭ9W|ƺfeA:KZv6NFj0Q8t`ʿSeD?yBL+!FDa2RG!zCY]1lݻGہ-/Q+e>c2)?'<ŌS '^,A&90;C_{wÞX*`2U7 ެF$>>!7է}݁y `VL )rE: TNem: }^*!NtuߘuͤKB*X#ޜbA axq,޾I׼ MGNޥzu-oxxt1x R9e=EMH[O %x hR-%f!)@b-,0IDMjDv6PKh@>j#E99W2xت.`Ac_U{C{zC'YQZE\O3;Ew"U 0Znrեjj~ψM-8!ߙF<,0)VPn^T }g8a' Ѧ1GAr\:YL R~sK_?.F!sebf:5?f84IB6(Xlk%t8؞]h p٦Ox j랏yX#TF%ChXՅ)&kGWeC/*)}:)5iq-aƷT0bio:ÕEo'd0}hˢcM[3X}fJ/l#R>hvMq ኉,bԹ%8wDjTC5Xwu6}s")& c=Ip}Wj /$Lpx=냸&)J銑A-k!P1o2ʁ.]'gJ~Ab%YV#Ξ$-oN@%dP1LIfI9*to0ۉ_wE|0lxw -Ymbp-@- *khW ֓%>QPBJ(fiLGwt uD82Z==+ҁa5T I[(nhL>kw('sr?Exbg7G2#B'<, 1yoB бse2uWGxn0F33 LT3gE&?E؞-̱{R>>~KEBrQrq&=$dB]OH&"R:X8jMi?W|;+\F&/??<`<O1uhu~Yg쥤nS;"]?iiI׻O~aw* seY}4|dN杢Saa< NP#@܋[um{۲l*, E"npr(l]vBjR \d7^ye!m&p]쭞ۯC9ݒ[j`آG{Nw(LI9H᭲\P~/a#P{O?%U;z軡S{08gx<+o%Uu|ؿGR*[3JU8娿[yVWanzYz?GD=j'v;e wmoKiXE)uvŕ49xyZuqLIkfSr-oëgD;Bųw k]Ҍefzcv[fT4%Ey8bȈrflgmVp!6 ֖5˿aF`(=ĒyˇbZP&RnC>;?T\|j?b2C<pS-H f 횊>WC>L<{uozۈwXs(KR7XXM3sC<_ۚ_&Bf`^_ɾH H_" C\W^(u)T%Ǩ@,ػNQ)>%NPlXZ$oT+vdZuq/78/h5^/R^DE/F]Z=HC]ag${=F: Ѓ빖”".Jbm˂m|w9cHۿ7CtL29+HW0Ledȷ軿lŴR=.6bQŋ{df+eXcL_|Y>b*tpMG'?g_&9d\~7M/Q<6v΀Y*5Eafiu M_C ެSX۟g& ~3G__)z[Dt6 :)o[qN#N\k@ ]^#?vnv}?DoUz9c)^^MDJU´Q861h]p yFgt>q/SsR} HtR7igѳT^0齖0u%16jx pB~>ji\<RX LL45 Zti0O3ګPQkۈJ[Yen s5}}2cfvˋ/AkJ Gwdk{b= ;F"rj Eēļ.aypEmzNȩ O4@~N ,ӊ:0Y"1ꅻ鍋ǺBc&cX=8lOܘ3pկ72ed>[g^g۠ub;8yλnSz;KD,)k@XnRye{GPZ7`5NY˿㼗[nemq]TvUwv>t2*'nd?cWM8g> Cm:ψ}{%~q-S**rch {UW߬ 6yfP5xZĤʢ1AZ1?V:pXx&-.vLv]Z[t NrRK 9͊h@)-HH[x5$]&D -il ``K[(6}XK匑v\e2eɱpei+Nlˆb߲`{0TN6Q*rv-B)4^o5M9#h[d|dPcBqomePou/vy6ח𓳘::"0*))slLPݬI(wb ?4,eV{KtܡZ0n8H8$ Xp4EMz l/4s\û2\MQ&3/dV~ũE"*z8Ȧc!3vcΎq=\g _G:s1‰-2_+CΎT;g%]9qB`t}b riљѻ;ntN:q- { -Òt"+.j|R;\ yNn0$Ϩ*nY ]*)h'%eVCqJ߮>FT\/hKKP=Yqj\.op-DO?و>a\\|Ќ^<įtCə Px7N# SP{Bn03!ToU:0skƂbZq,#ejI'ʱ\sRH(q;^gDlAю첽aLHTpF1F.xb<54|Z<^ʽD C>LYDi9cKM]$r39inG TFs+l[ל\ҴcϬs=zn`hK1fk^7ּ/F2TEm5}UN5p+MhVEA. G,**Q% 8fג\+`w3jynwS2c 9cLYN|ߠW2<ƍzTmꓔ/ɈDM5~㘉j5eTE6Pd<ȇڳ&v{vX;G Xlp.vWc)EմUTڳ|`| FUVeuʀ NϠAP=mxEP WƬwv襸9mz'h48}Em&=#`}70Jكb7Fe"iJ6&#SO,)I5na0݆_U zEڐtqNb萔e`G"J$CC9žmBS]^;Q/`ġMH./pz&]Nn&r#'Zh16! ȠڞT4\ԏ0g{z*#R^ؿ@,Hv=mw5`hͶzgN(%[%24$bԔ(>JE1gFSJP.1]g¢f8~ D-q͵K߫[ eˆȬ0s&tȦ+"fjC1?d 6N͖DD߼;ߧU()0-$qqz6M"+ss*D,@Y&=>m`2w~w2\Ȉ joy^.N*C%"_h`aH=2 3('l/ӫWf8!d `_&etM,C:*\O+ui.NY%: B)AhJј^czS(!J !0Ժl<+I{me>P\>$*,֒rӺ9H<#=uдYdТLc„:)sI H,Kwל=~_0IXs@ ZE䅢 N8BNþ@rfyݸ)FOzCAynn7,Aݛty'zтLdRxre lc0&@fB_8GKl7! ^ŊJ.FUrs"`;k(MvRd?@!TSD U:)˾ZDUR "V/q\}}lxrj!Y%/n$G{%_T˘@B[7[rA c ?@K`NFMp[f3"4vpIzO PQ0Y! ɸr+M3007?hMh%\+r F]I'H?tR ެȜgDS^]]Kp}3A=Iʳՠ<;$_[7eq2}Ɯ[mU*>EqzsTx?h/ [slE?F|D\Z A@dڤ&L=Ԙ{ko-:-BZtvM+wxPqe,GjGh= \c8tl{ZE?cO-1Zas+گR-ٺYoREksP3Vi׈όX#ϕGz[1Pj*!CCn\)}l^Dc SybN^EɌn8t›@?8[WAMQq͗]([ȪKh!p F6;p1N#d?N dۗb{097 wb LQjq{3X=P'*UX-Vjҿt^hXNZ"izj!v:[ڭcѝv}l;lU4$ƷpZUZ/?~ꃿv`g `6/ +' T" [d)l~vl`;~@I:yxfn\"( ;wL`~?Ӽ~K5G<lWi<!$TN!ks\4?4'8^"\1}߶12 τ!DwMY#cG>9P2K0!b|ľD%tŖ*E~_P>v"6]t ]6J7. rxN}ezwʛ.ÍX}oT( rkUenSbe|~@9FAY`75ĚSU.HzSdl;*3 \'dm0*UؚU;#> wAAʠ*pEkOR~g&zH/r5ZMJhK CF&\re򸡍yUlF- т>.sjoDN91E>oWNNmQAlbs=^t$.P×i&nm!s@D_k+YoÆη3sZQGy,}[WWW]KJK1Mg0,/ ,`aAVi'AGLw, P:#Ew3 YZL"k ~*Rp:tx:Ŧ?u7<|BTm=V2b V+.ˍ&,Tt|^MY'5!i{ow[laWIPY{ã\]qa0}{~dSFfq4i۔W٥WD.5v}W*5#M^؃}!!ݪѺ3[:V'{֔fŏ;X]ujd^ry܂ŭˊbd+װaJ#) F D*m2 QW\:V-*Y+@Wih[.d˝Pab2h8,KS;Fan&#8e=wϰ3mgh7/0dtNrl";"G|yC?pSPN0T ?gof/".%kn!Un ub{p~t1@3aA( mIh!!Vb) 1:.×w^՛-Rc}O,f/~vu!QVgE̒]fq`mfO:=l0SU|5+JVwO|<|u߿v$=`bPrʑy@c!4x%[PQD3Cs'PODl'LQX^$RMPXkEFM_F80b#'(&|$#R $5 3<ӗH7uzi erHP51NȞ N95-T.'Y$Fc{ 2Mg1 '#c\񬅙 `_ZI f+@bC #E@J4X>Ix[|ZK_ c`*q:Ss "\oHCZGǎi T42$/u, vvoոuOumr\uLc!:<>87TC*L*IET2yh0{aU>p<_0La%i3 ri[8sh/EI q富!*B].~-<{v(`d^-A`Ec舿|/Zϕ%P7R֖7x9.QoⅢzw{<(H$^p(nƸ%^,_Ze@ =%Nu3,̀> /w,,5d8` kG)s֤z W4bڧHpZyu1"ma- K$<]( jVr9~#FVĎHEQh&r{?G耬I8ofѿ]*=UFƌ ly n "p9'*_?N1ۓG7vH*J)ss1Ffkl$\Lc2Rel+-Pb痙Z㈷]fPf3 %%p)=QCۏ8{y,J"Xy XZ[/"2<,|*O*TzksNdEY '~'C^@~j"ې3{q}WVWo6^$B Em2ǧ} wEyuR}boeÃJ>˗_@՞5eZ^XĔe(P"u+eF<%;Mlk1qܸ4LԀfF|2Ha;Pd{)ZR7F[k/*NW_ZPCG[&}E랗yk'Ss9DB^c*Ǎ',&s.TnIDgqcΎt*O&BAesCH`HD%Dw %w?2x$@Xl+Xxa:aĨ,"+i/*y`'`D}Gc8 ƾ8;f#QV8X:]u27V^}O:U% gt8m[ ީ'.9N nKcկ!CuOm/"])iR*k}MҨ _QѠj,#(!-#}_%`]y*ʡHVwO]H[IzP3[X~tV* An>hv䖢Ozz g_"Fр@-D,3m7LzSּ:!+bǒêQ]|xG'w&qx͹lZV !coPg~I02Ax2 ߈_PmH_<5RSbb(Cxl ϝ< CaTW_Ѻͺ#^2TFa@2eCy4w)lB8hrmʃ5Qc]J0ːTJSՌJ* J.XrN7@UWi5$?7yji[TL!P]K^JԷD8sgV}rzl?cz:>5V>59 ѝY`%ytx]DWk&-cŧmXA\2{@p5N S:DɈ^'wc(;jmlUp6t?abr~r5VK|, w+20*2~Me~184 f|mqT@r0L=-#os^R645%H9NU٪bmOh2@$ a00"DÈ!9o<%]` _MԢ6gU -GHS+̾[|ִU.idRFٜJ>Ic\cA !괡VWT1onъ7DkƧg'nJwq~i&a䆥žZ"'U9v&ed]Ut2@%z:Pd} F[.fAY.2BZ^ǯ|(ݓ0@_"Ro<#xGuRJ_pߠcC=/EH\v=挠Vx+ u^:r 1ftу|%IZ͞ٶ"-} $0V.zmu:HGa|Bu4.alc(gP9~śu[2b`/`WuNYp!3f(W*8,B`ef,黹 %ZkIl9TWER02XTߟմbo61 ;1(mv ?v(s:IMqr*`JDf2p+5[ua-BJRj5z$I+hxp 3z!dXNq.;|S\m{ ~zzPu-|O=c#9| /KWU/D*翸ۊtjts\ʼ_* \dYµ&ЊrY9(D0Ěj)]ncpbbbZUǑzk&e<2F]!0 :' qzuZX\WצKm[ah9Mީ瓌9 Xeߤ|i V\-Y8E;=U ^C0Q.355?d%+f.;3+-D_A\?2񬹿t(H#\j3E]Շoܸ[L @ˉ~A&uY=@G ,|JktW"N8))*c {5Hnr1RQD}^,'nQ20i#ۼ65l-9`|cCU[k}(jlMck;>h/k&}*Iָ#eFF#^+A! Ԙڻ EVE6MhNϷ8Atufudqs(}uPmX ]I`#(0,m`|&K}ηY^F;|ͻZcf=4;U,npm?zE38?`7H(_|\9')?vJ}[g :˭A?*b٤uF þ E$*mFF;TC0de-e.߳IYY!*A8ȡV 5SRX?[nwXjکĿdN*fPl2 B 2.#,4{& W]p]'[,ʓ8A{CQ$@^J(Z)/b:OǕޏ B '8ۘh/uv8R* s#MGO`? šh` ]sL[5ݩƷC򊆆w>Ph22[P9~ cUvngG^{LJS"ydl[?{`4ov˟KF! 2(2+b_PRcfaW=@ktT)v;B..Hb2>pO. 3q1V!@ \+4Lj̔ԙլG@7os@g _L4$s|1Czm0V,j;9/"n!(x&,U1{5teo}%'@-ͫ~Zy^qA|39'zU@8?*,9Β4f,qG"1 v7wcA^} _s\Q΋@O\}̣u,g^/+NH^k MW[$X)Ql,U٤t5(!٘Jfyߍ(4'BBPgΚ ߡ=CL6_Xti$Wc}QqRoVBY`sA'7tҶ`<8#5|7_tIJǑT-rMS0K>kp fpїqgֿ/N,XYa)}$xX13:M\~XޢӍ%LǾ.l:?77.NU Om}~讫zs{5`k!ؔ/ՎGRY*TJ^7 W~ ﻲT_tOͩPUn$!$t"h8:-d){yP# [ױ';|b"!$ ɜ<_Owh}5`ܕiѢ\q˚UpPNW#A%Z;4O<zY}ݜsF**~4\y4H%,mVFsyi٦xn"6:Zh;JN/7PCagc DCYpm13&{7.MƯ \ss1)IN4~tGhs@`LXKqazH 5dE["Y'KCcҧ,'w4 |$PbIfRo8㶵lfH%va"w}X*v뛲d%́ClHgYl< nri8JNU_+6P. H^oadiz(uiGTDB-)] :AS`eN)j.E>AQIЫH ]Hl>ߐg^].ip6RvQ؈cK(uN3.D Sz==Jyٓ4!W-8.*{i3x'!T~3=Jv#ڵ_kuK|㢫9GU}pnԮO bTF41m;ldR8 )|ǀKZ#`{2I.g/Fכ&ђYAkCY+:n:, e>Ili6K2J6xK?*d'6Y9#e2+r{نY 7% l=5Cԏu%>R!7jI u 9%t,ϵQaZg C+5^f;ז;Dݳ9Lf r5bG}ns:9IsDlΛEVo TXC8?L_!㛱G}g*N PlQw^Om !?M+̻6+AFSMRkmȝLXc큲a X.*jo 1f 4&Ŀ Q hNY$j_~hUlCTF:9^5+? \Bw¤sLwtc1I6iPsW0Lz<^CG\a&\GT1t هGK їt%2m-M@ ,n 1 vwMK辄}$),,@Ķe*OӼd8)y6Y{WG m ?x֌\2-SBMkʒXuUMR|Tڟqú GAP=^1μB! ;c)-OMp IE1cU绁߷~ϧuxjfo:l4m`wV-94sgsamصWE`hE-sp_X dUgB [s7JaVZN}kKА!2,kHP)ЀkDdi#'nӓZS1=ipErg$L~Upd- :Si˜ud{vcap>/8:J#G$ڀHyq{'?/A ٧/1  (P{߽p dr‰0JFKU^`}m{݃e.Kh%ofuh{mbEnh(mXl[G~aOvY{B#5joG/nH^\ʷLvѧ_If_)%A ʁPa2B^6{%RN X%#='ͪ)aa^e^.x!Jx-[ށYŅ5 R ""tYpSc;Z+:?{$ ?.,"fg՗08r' %a]ķBS<|NM_A '*:M֚V[un?ʝ~cx^rP.z VY"/vMo=cu ( marTUM_2vl0ۚF`8x77s7m 8Rf1{%Ӳ!6JWCk>Rd90`KA;ZGiLp;y"t"HXׁ^ ķP2%?T"NPFq“J9aY P=.aUu&g=jq=- ma'bqwpp mif0 n/!сcg_#]V4A-Ck? \&ڭ,Ȳ Э#03P> TiETtI6⟀T?# wk7RBz]6  +K3jokJrq+<qA?쵆Pt.;cg㽏z#8*J~Ysn.!Xå5jViNj'IH΋tL{+&Vhs;p&C>xޅi_\"pcun6LZU*n/0HXqeW4di[zc5Ҟ4FP\`'^jȅ^ўQ hl5nt 9rh3PoKF[B|Հ\pq<&ޘx/R=9Yzu8nU)ͮdܞi =Öp4L37m9_^` fۣą^st&%דDm{0V ʆ?Cn̑p?@\R+r g%x2-f1VCdVau]5kX2kM^V7N5~iqt~؉9 G!Y/7C 6wf'Une;Vт: 0ʩ)5\8M͖fWZfWuC Ӌտ͛.Y8Ȯ՝IVVf -Uflj_-`(&\aURP0to#C$o* NS2G̉l뾈HT$ D T߄]E@/?$׽iLMy6爌$n1I4*WeTB?."=7##Ju-ȶb3k=ʄ҃dT)a$XG_$h}"~ <~k J[k eBo%2] ߶nyfx"-wZVz*ȦU_8jd~l|4o3gn.y[ wq@#+r% ʃ7)tob-p[ .ЭG BgUctSh EJXhf'wOI >aSwkuVdh{Cxdg3lc" Shg0R|ma/S٤]x?pŁfqU7ޞ.G'!ӡ!ۅi4Y}\AmM&F L&q4sR^mp *eM%z"tg[_V( o #mD-)T;\K/9)R ;ZCw4lc\nSQ&BC:uUa?C)3EDBJ:gi͌NyZ@;12b#>w=˸5Q#GNal者bSg@({OwU+t+l^!xu\/߉)1QT+rjۓ4n^{:_,ɦa23yU4KY197zȻP(RIEN$%sRPX$ VSݜ6vJK§-}gN)[bD8f/)sF6VTw`ɳM$;p}fh=]X;[=9ùǓwb7.[fiPLR S<l?.pp@HwY_yM#4$X{ c ft-r8JFn& S /Wv;rI2op]j€CXm4.C+Y. ;χb[/~mCVYޥybryV\fo"eι$Lt/y >V$G͈|Ժ,^-;dPu׼kb)<buh^:Qko(ӜKl*)aRJw}Nma[XdۑUwq{Ymc.fmjVEmU}wD]Ӵ(wYZ L1xzEhv3(=t+3A#k RϗEad,UIl;dkx>JQB )^q1LM<"Ikr}LӓP!Zw);,x=M-ĭoF]؎g=ݿVTވ%RѼx lz&L9ư`!y}QB?  50eQu( <{6('+XZO`΁K]n aD:f=@opb4t%Dam?K2%<3A8̕)6n컉 A:l0sNjD%r+KVe n}E/DNǽoCۤ[f l*05jeb>Z6R]*N͢=@ڿ> OPsL%S)NܖU7 QN^oYD,Crf\j/L+RX򘍿h٬U*^eָ2MP{9`>roe)mWJ5c jF`fUDB2,:b+KֳoJ [x*elO 7:Ģ r+ݮqUʛ{uYǧDcg%_'х$>|0|1- mS{A+Do5fV7G+1s~UCZ'}sgGŘpDvhޒi_`4hi 45aGs+m6@}HBdSV3u=O&RCe\9Zd-Wv[LT!ZCs"qh^4bqzN:{:OAci"XUK%&5Fe{{>AˍL ԴWSqb^t^(;BܯRL8!cQԶ ENahє޶HՖ_H;3Q(I#*zSZ#R9g(cĀXL.efl/fAԫm 45u ͯٶɗv\*;ٿvji&9 Zv{~ T5u,Q/\E#\IŬ},HXig 2J-ualVKp/#4eǽ.T~ ֱ'=T_%^{ITzEbb]~*7(6?$X$mZ5U\ݒ>P1ymvfG[W4HZwԲ.{[oh:Ƹ-GB`h`vgesHσbV pLq@XzsD"}or{ʅKB]FR7/'9#TD9?fI{R[ƑMgHыXy_9 fh AER'r:f)g2؂ve_8 i`#w>LCt;HWVڅ@y$z/{;]`ʼ>7GY;lJwg{8Sh91迂~g$C-b",Q-|0 z MYPlQi)rbzMbS,ka`8DOӓi,A9:ޱHf5M1Kf|uU%tpؗ)f7EgR=rc}(- $Mo zZݓ@i~Z-͉0VD|*}@p/j9nTnr_엔2} ‚)sZq}:ǡ<`/=ewsA28ΜkMfbkp#Z$uj,Y17RhN>O%/"9&c`]!v>t{jiU+$Aw7˻7]QG2 5*YfW,pp>./Kw,$h:^d:|v;o0Wwē#SFeH=HFݟ*_~STI%oǐ W*C\CQ ƍ "\y=Sy9":y?䋒@8uvx4ta`#,6(VM6 9bQaV."~c(nQ*xxp*=ݳ`m4}e>f.$0q$zWPq8}BES^VqyjBe{yR'dD[b 'uH Nռ3-/ԈS׷lPk[(}GyL(S&WfRx cW& ̗(տC x }hYGMT? F;`Xw,Z(a1+&$$kgeMz*X(=tKm;CɧP^[ A|aAٱay=>zSnbS:%^дe^w>x)d;`*7c=@ƗJ`l0} i1/H3}V!(QYXHTba,kz2އg=mwS3ȳ&dXEnK)TVAOp. =!&@CDF^C7p] T} <ů|Cy/Wo9\oQGn~Ў~ {Np7m-hM/D1:63=$%1keJR^b&IY]8W1@M(P^ ,OA`%g%b˺"S< q7PnN&chkA3$Dgx><+6'O;:n+w<}Y bxn}vGfQx܃7]G)}xz gk"LaH:(8|+^k)*8Ń˼a6 aDJ091C\Ws?8Br(Y7 vevȆ{nԢl4M{tS&xځ.QVyi`,T`² &`TպECڰu)m~&vJ;;"~7$Th*[ ;xޒo8TT%ʈrJD71<|  =+u meoHh\?oq^c5L ҹ8E;4|s3Z;3!huaNW%ovV"b';Q}']p; NqFڔ%85$>>a4RsCZJ9o'T!HK xl0QԈiZPf"Px+T2Uz:)B<׳_^ +/A;4;H{X^.)@,r_ x^k,j"+n8DTrU9 9Xil-A%~9+Y\4. [\.HlqvY.ƀO r򝸙2C~KWYMJr"WgN&&c.3h.ۏs"o nH$L6wjXWԣM+wcWmidUh"fQgm\n߭:dtvjwcK?՘H/(q=C*`D"x)4i5^@ЄфZuMGa41 dJd޳V@AK4PѧO 7:4?+?n^E.~HDP Z9HTӜ{ÛxZ?H3"V4?"uLC/Yթ!ZH//Ei&KVBw<2|?-Frڦ/# #?W=fOx3K>7#uάaM+7濺c(:4) } ŀw嬬"yZspskxM0׻WSjVI" LPSV`p{`$RG"[IcxlЗ'uaEVڋr{QH&MK #r1sE!iTk?{<@rN୷6gA`!;R/w)xU [Y"Q{"CM|P\KlVEo9(](ފF #B 25 6 ivVFF앦ʓ`q<1Q( n'"g 7^ #{E* {ꮽ[W q3_E X@5b?!Ҵ/4I$ O:F9)] 6 #&> (RokNSY5xc2pDlC(ę!1~wvg1 8p>UY%3F! ~/Fzԏ@pYwX+d5SC G~ +vHhhLyʦ`jET<:]t>% `0[ >o0'לSXP94xpe\{o\v[~*K;{)Sax"5& R-.#;{ŰĨui[Nܩ.(nܹ;_^[u4ԡƠu[B!>f_PY݊e^%k10 gJĶ-JR^e\Rj 9]qW9tYJvN(6Aщ6_畂0'eB֋w;[^vUԁ>*(iIEeQ}?~Gt :6c`-gXYD<(r͝Όyc2Gz$5RMƂ;Ay{Ӻ#xfiZB>f㡩dEl:aR:i>V658=Ǫ:TM i.my{qM] [Бyh糯'p샵l%,֛-T2d?ˑ:{pyE⭥[🍄|Y!m4aUc^V_=ƌ2i`"&qV8ܘ(5џĜ5_Q/;|,S`Xv9%N0I{s ŌO9).(%Ws@*fSg] z9`%mmʶt]v0%HxVCJ< VNo9DLðU@ #:W),C Hae/;>'Q {FIӣsn^y .9ZMZUuP߸x3{z-rJ VֺIB6~ !e'=ݒa38D>-E]37"VYW~鞿*" =2cz@5}JTXS?":k .'u#zHm(l4V9ښ(=۸["^ezh .;&SiKHƐ9jjrQ7r,J%6+H.sza*ipaJ[@?up>k0x \H/;B)@R/Cj$L^ C  ?h@V}'ŮMԷYB@Rלn.dC-;`Jaʅ!0[h)8}=pco } h 0/R*iwc:%%O40ΣHdJ2#.)OCC]ƾ[jbeɳHLӨTi*{6L-4qHafw(3o]^]jqZW -snؑ"kU > %[hR=1duDR Ϳ7?{,ƙMzop'-A3,b~Ri髪@w"&O J9]\}SdIhnOHj\}^EYyZ' (8OCjgV=!b´\Es$`m q/"&3P Z0ICh'幝UBwkKUZ9RAIG}<}V$ɻǺfJDG42,(Z|ZbS%4FK0SO1/^>ww) ;Ⱥ+bGQ%Zpj*}8nX;[=aByIEBnT8qJ P'}F!m<1ĉ䮴Fo+wbq 2q,FZ2̴tJyIHQYĮ-ӝS9UR.T;˷U0F̬5m֟=5Or̺%xV`c?@AM 20 } Mߏ@1tDz~]Yww73-{[?>e ~f m\l pEo{:{NЂpM;'{|[ol1f&;s+͹< iBק