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~L44 ] HOL-Datatype_Benchmark:threads=6elapsed=512.885cpu=1853.056gc=727.6167zXZִF! 4]]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;7k8*~{/R  Ds->fw2 tN0)4JF" 4"=.&4sa^7Zɯ)ZH:p"=8^oh~Qr2+jS?bx5>zƦۙ+WH<4o )2cز}q㎟2( /4zW<@#[o|^80 R>7V\#W$Uk /MAtW ʑFqJ5Q]gyOG *|X O/eGo˅U53 # YoŬcLoZLzTT/ !`%2${S߻fBYInz} N*f}ibF,kX5o2]-U(ԏQC T^á}(ʦ1Оm.붼!yLk[J2UT)Z˫A8vӗ >?tH6Dw;jI3 m ^v$! :5clto `|2TmĜ?Y_**.ֶcÃ"UD4,If-B aON(BN r3̄J;KNw{fkLo »ߜc3/$R?$,^{)xJ8CGT7;h8Ur(9 }1|zyZq bA\*n6M&n9]HRس%jԧm= L6N:=Ӫr\dM1JEnta{ȚvU!F) "d,6z PD=_VLgA+>ea8)Az}%fxcT} K7t r4GbIdyI{w}62&llsiɸ]7G#2`IbF#&;Lu2U瘈Ԟ:j~rҔ6+ُuY7-Y_/9!Ii4YO$XӨ' u>&q XDER@@9_vڧ"w :=yr{ykz`$:/ML_?4@gٵ8CujS0OAF!:k}G@{y]n%A{iM} ~Rۓ:.7_E$4¨%$JkrMrY7#fz4O f0}1'qBD$T$ 9 HOL-Datatype_Benchmark#"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? 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$ bE&bs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id518* 9K' LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢]D?7 {?:fH\5g n+J$Gǎ19aBdFXtZƉ;2WQ o[-,A=[' 5"JT>w49fS?1no,Ἦ5ܛ>J9+O*ȗ o>Qk[Ex~ؑZ| ABIFF?; HR ߄׳+L\`Ai=VީW)3'.Sᆱ9F h)d(P*|z;psC$h[;[?rr2bͥȤG0bŀZ, I1MWpϢxi@ Pk[k2_Z{qWq~R9a$)yL^;yZ$E\#KT#'0+}{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_id516g9I# LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db󰕟cR n]tINCg"򫽌_t]~ rsTu"eWtPY*%lza8:G'gqV=Kiu&^I%7JjpR3Y'2krQH>?݄S/2+|ɏ8E$ +|{*LUM ]5[2׸(鳏%ޘˆvSc7԰)Je0rMn(%7*[~Щu/zo!~_$^QSkD"*oXҮC/MYnU}()`yC9/ U= Q#d6*yΗU'x[C6dѣ5>lVe>LMWTJ'ػSg. b P78/&u.]x /#>8ai0nLg"vW|"q=*Bq;½ : +޸V7U>iz*6|0(e+`v4A/&Es9Be‡4K+ZVʚmErBO.{w"*J'&kvǧ*Q<,~3 l@u{·a+hyOD 7\`ZPv֠ lfh_1LGNd9 %kz5,oƓک3P`_yTuch7}牺%@$䂬7[x$BrşuFXxK7{vkS5jzx;`?N, )O۞V˒H<qj.pkWgVYxT4Ƀm uT K 8hn>뎙ny˼g䷔U7Wh.J c 12SXNu= hE m$ڀ{ztOě&qJ8=!s56Tn U]JBMk"`7+;fUj" wR["EC 9h|F+\6)Af)x]c %ǮD㖯}7:٘J3SGly``R `G3IIIm}3,Ayd&-Kl(:KzU͟I|?_ɪθ?c|4gѴDsß:j/AU55NB5vQ;|iH)+~ 2U%J[(4Wia(E]og)nLwy 8frMN y x;ձu7 !a[vȅ=o%^C al$ Z΀]_g$ GX ξshgX{1J#O8ucǨAAےW9o:pd\ =>6/4aj?5߆it1eQ76֕|# B$ -=gL{BI SlSP7Zl¥A(ciœ0(] A譾je\{)5D] dGE8=e0=^ {SΦ꯺艿|$V:qN~ts%Ρu' esDŽ(bZBj񾻱gYZ}4t7/I\EV*f~;ʵZ8^LCO$Y)XI_QxIMe-TtQkdΣ^y5Fr I`z;Π䍳,tN[y^=W:vq|N2st2KĖ?.~Zjo=(han?Q# U]?;JS4@a}CceuIB#n7!jF[ORf#i)Õ@X?7G#ϸJ1 k0AhgT Ɂq"U֐aJ֋s -ej)*[rQWl[/W0YkqX ! i7zBXܨO!0#>] 0vK38p{C 3Ap'{ / L \INZE&ëS#g@~<$4PKQL?g=G㇅;|'Mt_Yl2C tD0¹1z?H 4{VIڶ}k]Bc#**_=jFH9ό|29o陣+,}O1Iշ+<&#.n6b&r]i[,IR5 hVv6I[uŢEnQ?(?( 1\|ϴ]U2U Vh͓OP4_<2>wJkkZTI?a?&*_>$xҫ60NdRNmh۪)˓O(Xf`k'3w0ܟE4eQ\7)"Qmfh\F ]]Jז+=:8&'G0)KY:5KpsTW&tBE$͋`np*< -ȉ'|FPK}U|֍t+ŝ.CyƏh7 L2 Y>_p錞#\?A2{v Xb< *Gn3X0>[ M0ѕg^Vh޻HyJ}]F! n?Ep5:7*}נ/x ȏ`l$R|5^J'ahu so|[O7R6d`N< H՟:V˨Ƞ+?ݤȰh&UK߻D}c| .WA+ V$AgG)Yw=|l6ܐ E5 @c ln}_$&KR!KPF,#SeHlYwO0f> nmtf7>Hɷ7mt %%K]>=oޫB\ SŦY"|_ƾ> ,OOBy%<ew2CrJ_w:9C*yÁ<^P~fmGL_a:j(Qp3Zl=e=/ 5s1I|qPӔ6V1Z &5 R{/Tk/b0,Ф28OtʸcAȈz5MmTnW;]C0>PH2 od4> _?I:G[e 7(YEw3ZzTeFO[0&qQX`߆}홦YĿ15>حz$W'G#C5H2=SìBցe,˰ݷ{&оx7&UfC: M> JeF9edh1/jL\\8$-h++r!d ~O)=[N8i优@9aLijlIُ`SFs c~-of57|?RJQƇ1ϜStJH[R,6@X~΀a]1$k[1 'Dxᾙ[ON1.sɓz [eaŘ 8MB!du2 Yi}J55B`k`@C#?&~h`"QީE_yNtT^]-Σ mT (\[RF 'AɹAZc_NK&z|Z zLzj |Z~tC]o`W"0w>6/=OKls)PV_x'N:xۉ p|'h $^h]+@S+qP~ p3ҥI,bZ-@b.H*Mĵ#}F/@ʣWQdxE~@zk^3 _}pzsG]U/ؒ0UAB9Z;gelB _4ezmI5=/Z; 0(%&:lDdg<\** N}\% | # 27x@vףˇ\5)<їa ,z_s yLT rewR"^n~WeR["aAXνA'$֑BMt bE."#Ir8ik_0ؤ@cR%1Bo#8No Gs4D:`(͎`AaΣEǒ. Jjl!y%:+~*;cU8*P?u&DXt|f uqL9wt#g~wƆ=:PXw|^~+d\_MS Ý ϪབfFc%̟ZrN_q"lΨ"N>lgFJ~a%έ}>bdm3jVBF4 s lv S.)a 7zLƯ, w8Q5u mlHб@wn2RGW'J"֫אV}! Ic_0sHC_,1j7)/ )/` cmOy yi"7˓ 9֮cz"DuPɗn|  +룹un̴Vu/D)|G*s2;ycC'ꊢu5M 0D+or+^6@ лll$`kFKͬ%>ݷyzb&y!Si<)mm hڻ-4"@\famhnE*}oM-7+jL БXs}$f"YNw # 1,0;dg9nkD vC1¡k,]t8 l6Q!!:Ozw稔$ eoݱ=ho^$xqm6yF]E]vZ#ϕB9 d,Gq(^*Ig ڮ7@sFqznyiY̜ vv:jn -?і *5 |OQsſMݡ|ƊP5@% d<稿id7"A`⳵(׷ϖO(̅H; 3.nMDf)CGU iަ7{&9I̋u,"D$ѩ&AolJr fR\{HgV7R!cNS#_2!*cg,hu7n*V9"K8m:fRvn7 c]m* GG!5̥lN/@S|{˺D?em7[-.X+z>Y\lo}1)ULj %DF`U"SV%2zf+[:@r45pE#i>zu e8C t6L~K3뫥,V@^.$ lqxK" *7DgL<2G;1e9S"QV~.J^1dos Q4;OǾAjdNѩJ09|L&m 'IҎb*s`7-M]房n8.rR\u iYљ{bT JV FIw([l})rFR7z'eoIJS9؊Э9͝4 m41Jzeg#.h(LH &{1CIcʟ,'U:[0@"8ˮ1寧X_*@g,td[8"`NFgin_b tZrZSg gP(guD%<I8u ?0/N'AࣼǭXeEkmfc1kn FU~Ed1,!̓9[n.n@[rnG !eU9}뼧kQmX:1姙:#OǕaq}@ $z[rX`ۏ5XvCf>ϾeOBIevo#5؉赩A:] ktt(_ytt$W -WE{GJ)f+Z *4g+ W_iZ_8Y$~Z5zk%zO&U,u#Jmֲ57n< /gR]dVú}ْQwZl LN%Ld 甠:oVЊZ̊sH"cIJ^9X\&} !B9);F+i88zHi] TE @TtQksiG^.vV𤋮JqrXyb+=Gnb)dYKE%BDp^ݾ22:IP%ʀ0|q?CдVߦ>q5 d/Oc}r6R9SJ,#O-2T?d<{+"kvpZ6oQyU3< ^_^:fvy .hI?0R+-܆XX#z\~͙.%dպm$s4+1 OTl .uw)պExV?1*{i3q_f8;; 2#Awࠄ_q-6u/`Ɔ^5 s8A^ê  vZRgx_L3nl N1r7TvsTO[خ)0)q01jܻ({Q$%hKϖuy(*?NK oT".lJ:RX@X+eRHc>/H{%}*u/ek@U1ez_зd`)7"|-uӀڗxbs0`S"ؙhOT&7aF) ܓ3$ "&{0ٜHJK`x']{͵ m,2b>nŴa?tї}k/=kx~N z "=&V%' BB :JR 81:fs4]2Xc탂Ws{ե -vu4 _<A7' b w898VAR/NhP\ㄆ9_S<'Xh(šOۏ މ6ěιgIIpL:[(+à"Ѷ0B36Zǹ۸ے0.M4I킺sou uJ?ZrO\-=jY#Up;ו{`>O`÷ -G -]Q:ֈoV 6'z=uAan2 ECMwv8k'2wi1Smpdmڱ'<Fʁ!qk6{UI$ܜ$kV ˱4k]Tߠ O;7Enpt/4`&Z3Y)|&4ABcsP|{|ĮHȰ(管"Rk SG`%h VԪdpf EklF+a3HvBLsDg0ƝFS2Nkkre5rwy#|T/XizɄF\81N]ag'9h;V *}j SiY`I>b^"$w NX"ُhb2(27#E5ǸWz3N;X߼Kv9yzq:lb$8S98sf/p칲ֱqp J?@P^zo7gPr~8ԖԗHZ&_2".@SD^"ut9$@!l$Bn' O 4E5çpb.gux/:ohD&p>7 Ah%@'/آ~ft'~ī m}㇅huNQ'*?z^R-t1P)OEɤqrDC#+TL XUwpA bx;%vO|/ʮҹ1[ViU*nIJ %՞ӉupiKӱd"J@3=E}N=WB$Ti%̪&\ZEs3IB_.Y>8ouEn`,θ@&Ez 8h>)w8z_ݥEfOQʝ+*%@1 6mVϾ + oҭߊLcqn H؄1.ઽ]c{LIrK'~F iw! hp5$?c\x;.cCz>F(ۅh1^1V Jw_LY t0:`p%:h_%4Bx#Q=`;Mx3؇ ^/fj5(VY(LR0$@Έ6u?;9L NvL'bSRX4%]I"ǀ/@meB\'Zz Z6dxɂIR%9x M \P*oH\y6ےe1ʌj+_-5 L@wM×g|^m_(l~$.0cÍV?8 Rz;ʎɬ=y8p:NI,Pv|.pށAMHFDt`|<៕th?'f!sGH)T:X4hk5S~Ge70S}$4XzDejL/ zx@Jd/&)Y @M(ldv7j }%aJ @CM ^&V|-/A65qWP`XU"NotZŽ3J(鬈ߢmMw_;46i 8'נ;L9UW_p2oEV%fE̜v i۴VǿKKiz!$@+J] ꑐ|@~DXܨIK򩃖-9mmtS;?`Di| ͻ4 ٪?CgHx3eK1izH9T`ƾdXէOwԼKC+J'RHv5+qUP>=PԿ/!l8>fԒy.d8w^ ]R]ɚGߎ?tW;^PX&w8 S੆Q˛[D霶KhHC05Hmg$3Y9ƟRtXݧW¿Y =)aR,BbUL#@?C#ն؄K4&8 ?~**E7ї`pat;VQ= )-I#scw*.Qm}A}htζ!zW8{W31ͧ!I;bx,ЀlU2Im(,m5 nOުuijtphts V|.ekcM, rEvv6K%$v@:t>v'WD FЁ4wF =Ka3wWjgX0w.T,G'v:]Wkunݸ3>7q'w7J ĵ_0 5k'st>+ab0tvY b<r<Ĩ'H`ɊNgvg4jWySB1/ UsTD:aSςXćzQO_F6B}VuOElVV&2@K9xBSݺ"y r7qIy#,41حt,TjFK-J9!zK8 WCj[3EWs\"::WGB>FjetQı׬I%SnfnC{e)/L/;,+L΋b?.bXIaO 4`-/Nʠ6Eƀw"'~0Cy(RүIS}3-7ʹ[~ AI(9{1ä6hϦH1[PT+_VmzOlN[=&Cg\rP.-K8|c# Ҧ׀*' d 2Ū3ⳗB6,:/7;9!)V%rHJ݀_ ɋ|qƫ& W/$koVJ '>5 S*}V؁.HՕyWKJaRn,1WҔ6>=)rhI}#=>6%jЉR5+PAӃ= @_u)mƻH]EEw:qAB~FVM7 352#9PVJ/8mwX"0prȇVMLBpzh#uzu4K &2kc=3i0,[gDТ֌$rGfN0p<9uy]n9Q$>#{ 웠'5?с +{((O!dh?xs,i- =kr4&58tF$ji'.&o QCnnNڨnG 2A\)BIQ\|eS{6|Wº숑s s?L'`obQ 9ex8u8@= 9e[>-Ѕ [)*(w8~mU1zBKbQ͠ i=U.-7?I 8y)oj Єra+ IgGiBQ 16zY1S9nvIxR?XoViK l*b2Ǿ|_"Qd`!ڇ,4W.":"hwEK]>(,gAz0|g7ޕn%!,D7ͨ;#%Vk\ \ 敁&**uMAEln4_-Ky e^~q* ݡm칵r6MM$ۜO*M=>O*xek".k^cԝJq <_5|2wEp4n2 $q5M@AE|E ajp:@*}kC}h-p|.j3Ľ`QFc-o8ON]Ǭ1+Rw$%bPhvwp)2KhQ6wxNznK 5cZ#eMRmTrjNe^ :RlR4 (P {$mLHLO; ohkIP1)>6 -\L@kT_ym$Aw1Cx1X5ZѨ9{-%XH1k(rLtY:|YnreHsDk4dfxVaP5Q gcLOa4#']맕fs¦rB.|Eqr_r؅#]-AneO]RlϲpSuyN +(*Oܜl41#~S f v@?}I> 3wlHWfsa)o{ˆ IxzuZ00#ZgWeGӫ B Ai,Bs@Z蕿e){yɁ:DBpew46ak [Q$ߊi06]T~aA y- OW5uB?g3␫@qpP`i6*^HWf]-8!t#?E2$6TN,;LTO?CQ(?v`qapI85]H: K r,VKqܱFljyxPOw*6L^b?$D6۟Vunab"7U+3qϞhC `C]wktmJM`z_nIaFYsscDsE|+&8C $U,MZg+{w30Tz0l4Bu7ZBBg!lB?Ӫd VTkQk#bІORCj6W<6q$ٮt}tK4*̩߼]Xᱜ$leDڦ* Fۏia⡠Kߝrjzzqe[Ok&9 m, 2| }HIJ?f#pFqG7ݱ ՔekpC$ w0\Է7=9HLo en/WU( 8"~=%lB;ӳ#}9Pġ2Yxӆ! PBO*'D㤪{\E'7JT^#<{U? XӼNf0P4Ϟv!+rVZ#\nD۱h&_&(ݐA&pXe3r2uņ٥Z1IS1 Ϸ 4g Pnt-s%1[5Ք[>.h,;mJ׶pW(-PCv0FSRS'reS,Q9˹ c}-BΘв&Jc"[{`^>&]!8IԘa15:v$_ZUF 4NtUUFS;UEG?x-=@C j;c@ IHjšE {B?(:M/~j.(NCvPO`Nd$C'!D"s)2Y;F2{ҝpxXD\H!v;V<rSUxTMq6 )2<$45%)shhh[) Wefz^@nl4CznZ,/rsgω@@Fvfjqps]p44dDO#Zm;^ڤM&k~X}]@@ON\V3Cvpr!rnQJV50rBżӍWO?r2:Q8a 4^Dy:ͽ׭~|nS=\-B2Zϙu6muDXa_<ס9sq!K }7'+kS{YukF4J {K^8 'Z^8TupR|l݁hVUNw\ʮ츜E`yv@$TS6T$ŦMB d/i<.+*}N7Fj"_%=DV-{\}.W\ xPVNy ~D~L慎\|f1{F7uP Ù)DQ}66خ萸}eEXxmu͂I"Ef+)7VM] 蟢2U3hm BK?]{rQ\7ZOEa8t^~#*3#a$u?-1 h;zMo"LI0$ru1b\}ˬ:Eyof~p˻veǜ:9j󜈰Ҵ"3^QVC[ >܂o's//o/qHt^ ̶xl*A=ȨL*n]•O:eXUד]fa@[v-\.#FH=[5vSv`q*GVkC>DǖJ!zZ=hXED~-W%5 W 6o(ʕ#߀B+Ey|J!i;JJ20|?| 1:k؃)r…<h)S.K)iPѫF8qr/<;vEV`|7 uM?^24/[kN:B-4L ùؖ2=$?`v%9/'bjz ~%gr|I;441dn蚅Bu6V<ĸGZĸ"I SCDb$]w1up /"`PH2(l[ ڥ2K(P. 2uR/6üQmD apO+]0ƨW4P c =D!H6Y~=-VW֓ `T"P4D)>֒CZY裛42dX/R!OO4a`uE(iu$ "P3Ncvx7[V#bY-PLBP_2uh \,͒Ҍ ӸnuC @hبc2p+UcS?H{Uc]MAS4Zo ypZPRjq8ܐ4>1xT&7^-O)6Us>@$}mlTylXh f2.h脖4 H]D)ָ#Nj}ր8$[RBw߹:nSWb|NCA_u<==mV OţZ\U^!ihO?!DFc@9oF* YDBPi%'lƙBY7p99 1$r/Q/pVGȽrG;"ʙT>p]E՗ܰ\ӛmI +t(juV FEpy4u[=+ OUc)0#QX%^(ArOŇbU5u]qHErX_[SE98o?҂a`>(Y2N ـK/('-,4܎*_܈wdp.e8L_ߔc1s;8iM 7"X+̲2 F?Ⱥt/8F Q 0|M;Y0);nȻ(7&Yv5SAavk[_HaK<.y1U13jp|ڢF9f|a-KW uM\#`▟:F x3|`jR.h9z!Ijj'q%_nz@dMydo?~dV~~aG*Y>K%Ø \dg=\,@hpbJᢊoWF7oq6jɞ[ 0s26޲xv04 ~XF5?ttY!R<E8B&s8.$Ur2ZBHh2:;ݘ\JI e혻\H@XPOBrX#ȗT/b42"`o+=_!U*[7x+woFϖpx nsݻϫgL c6ʠ:$DŽZn8N2B 2h=AֺVf /b)u0J79s *[*.iRLfU~8dI *"E(4aO翛Gj E@pe0Gh:1ħ:uGJ=Qoa2wRfkv-K0Q:L X`5hoj4 S|p$7/$脁`J;xtY騺:4oDL>0;,*8cбSL9͖R)QG%WV4;4l#͊櫁\Uk-11yˢhEZu8}p~K" o8F([\b i4`"^T)6u"& LxOP>lѾH]e$Ϝ(!\(r]$0@~L-w3|xF3 xA?*ݧ[g󫀄) bH4Yr rEXYhyb8yǙ@$wJ^X:sȣJ]r*o?J y!(x]޹$/C>H@"PV#1W lL4. Z㮷(AT#TZ iBCSm-rhkM9@4Lt"Řo(:J:Ze<7k8~fc Pg)>֐OIFhCLw W9 pvəOm[Shq1" 4dGFB[8/!xn|KaT` Uz'vm6@F4r(i?LߌT5%qgӱ`\pΝ+WE'XFM\{naiJKnlʗJbIWw<b@)oL떺.\mWMEV`jkFtoig[HK-Vvj&~`"͇vIj[Heg 6 mLn^)JSRq+c j"qR1;yV}٤v0$YTomG,mS3@`#?śuOc};]ǜ;ۥb.Kе64mwުu͓;ߘ&t<pdwOi 3Fk>AN{3us ސ;^o(mbE؛ѝ/';@KSBPP/R[[: 服+H!sh'i2V'˪( qKH2R<qNqBE搯b 2V91ɇէiuF SŘVѕ<C}=&g(/%}dnڬ!_]‚dGaHTSUT[N{KϠr@&2{bNrA?HkUBQ热jc:%EtdePn4HX)Dk@=Z|([MF 3pv49ܔȠ>=>>yВ-es8aԀn](R\ Y嵩Hӧ%<鹉 ƙk=$sYc2Oa#\p8- Q9EPGAnȥoJfZEϠ|+ԥߺv5zP6D]Y-ܢ 5y D{l׃8R8:9/e yƗaI\:d`7*`wԫqA#o!D)qh9ۊQK|G[ <(eKb5J ǎ;x^Tdy??鿾6H~2ic}[2S[Tog6igr%<2Ob )%L{/L xz ue_pz1GV61u*?f=bY#C]\!fW)?nQFoΡ>6,["L!P`a1߀2,Õ^VM瑁g{e ]\q sy iZި±5|*a'嶉ԉg-2OnyVE?DSY)TМ=gj-* bB-z.0 T=a: |<J423SPs,duHk@h1rpgοPEM<ˏGBk@BGOȷ1[Yu2lKXS3yZU%?{GzG?V"H1{Z15;n/"#AZ6X*fN Bs;jho'ߌ<ď䏝!WT>G.k6;SLW p}Bd$g\:<1UY8f-*SD8 #!t}f>|##쁈o D 5lk6*Kn"yHT13 kֵy19YYFVD:ކ\2CccN3b\7.GFw{_p+?A  3-tC&1M ה2xP~qP6=øur>r+=jgܜWF&ESYr"QuD\Vۭ]UЪKQ+F} P%5݂m%Q"zP+ObO#@1^Qi" dw#!!WYx99>Í2p*mL EUO%61 :!kD㫐 q?@FN?q"V6(F]<Ңӥ^|ǗU6]θߟ0'Pvo/G\E `%7 zVLa&;0!o֒-tmkDUCi3ە%Gm";:Ș OpxE;1]ڜdeЍ0~`.ӬKӭ?nׯ#Cí)SH08XKE>A_Ԇ"OM5FMȋ|s~i{Wn(¼ZK(gYZͻaseT*GGt&Ew]$$Z7g[i1ȊH"fFdC؀(}Xb$׿0XJjF:PΠ ^_*C1 T1uܤ_-*$Do³ꛛ61ڳJGC_؆#`=KnεFR64 ~Ơ cϸf{ǧOt9D$2pruPdU î|\|֠wfaFU}%F+0ӫ .^TNN$qBcd~p*|NF"[?9S ƒD._g\َ%Ntk7,Ԋ O K&_U826n;T|X3ޗiag^n9yt@3ncTGNQY~-_kȎ]!Ԝ^0_r'÷L83]6GVm g9ݔkA#28$T0Hĵ0B򰧈GrΰiF%r29%Mi`.XdhN:n(o}JYӳױb3n9)]ek/x+D_h S@N/KmJ oMl)mCx]vGEŀf+e,c 1E n鈤䙳[om\`Źnߟvn9C@ПU4c`MD6p|~IxR8ipuq~(Ȁ'߈9K *R,\XJ4z%0^yCH2QEȊaBnq)+﯒Zm8ɑNt4 lIfgk .%-f#ATiKTQU0 ȍF$diX-b$& -(JS\WK{ i6jN8zbM t2?FE4wS}*d CK8Eн%d툜|)$$yX{j3:|oL:iԔUlo]A~+įH3JD3.^dZg=~HQ.C\{4jB߿gg.?- ^ .&gL,^Ca:jmv܉m*dP`ieteR4Jahn}iyhSI&BG*!A2rɝ[:?>(d6~oRhh9dܭNDDy<ˠY6JL>2z )?KGa@N`N1VU,KX˨KW"nHX)/vyu~cbL|TS'r{,y])̀PǼ& Ȳ Cs`ri򔒌&6KJqMS O&ݥlbUE|14Ny0od[U횫 l1˖. {1`#șW>K-s RJX<;{ӯ~ iiH<*B2tܢJus=ƽf Z_8:^D^ 4 Ks@ѩڙx=*TTOK9چR%@_2Q%W;uW"&rD_lPSվ.B %c Q||Uhp{mtI*JfE:UwYS+6{"|l /<3ͷjEZ@Qꮎy+ ]ߔ7]L\ub{s9IE%*~Q Osxw!XJ0X23Z]j=0O5%vu1hnG@|g6YIXA8κp\ꩲlNYvx>XQ`~R*K]M೰K+voS*r|ǫs"&ĥu){TԚm;h,#r=DQl '湓"g]Aעf#iKVwTl4򨚳&QL{~r56Rȹ @SAo]':bX#stÇ&d+B˿ D=z#+ݰ#ڤLpeI4 @`ʒ22+~Kj['uG:2fyn눦^&CaR^mLѓעw<9g7Ru=-|Be <(5nw5p1EQjS}jq_hK]R,!waU4j^L<|XYJa{vݐ [6 Ld4D ~8)g>{\X1#` 6?\qpf>eE[|#`^cm>4G}Z)a%n |#J\i,f GR$CTj5TiSFi@28 YAYOBc0< "O;WɊ"  E_n/329hv#,H-IEkbY?=KWf sOu^.2! )v~(D\ؚEnT(~"]=y\'}$lAǘ1"P{ ǥL,؆-1teʠ.w? $uE o w51 ת!0#CS=͘)]N2T5qf-id$aJ]tGS (z%]^AUc<8[+ έqb+q1A&kjxB,1Ϙ2$ jgYZ<EN'DYt Xw u\m.8)oormBR B:5T!jYUHg8C E_fO>#Ztt3"O9c!'AQ5̪G4WF˜m12 ZR{>)Wj}p V៑cTlፒ21jⲌX WjОaCH].ed~ךvOӋ4!Qi14z\"]2dbݯ(hLLکތڇ~^]Hf* .pkqP.ߴY{XD#qdXçT⩚,(Nd5*P^=5>h 3_7'G R1%}H @zÆFlRxE # ^n|9b WcWPNXB2 %;.ɱ" "bwn^t W'x= KdS-&Ш5)p>T\j }Prds5/Q8UPmOviR]Ic3S1غ* E7wwǑ8Sr[:|.1FuU"aVϴV>kc6`ȤćC_gEUbJﲹ`CP'.O* )X|&#fSH0ʼnE@ѣ(HCU~I{ډiGE|Ul::@Tzz&Nzp40761Ev o*@/Lq2dT7Z.%ߟiV Gt:l6Cd$"9!SFik_\nvX gdECbfh苏n BR?SbuQu)XuHEk̗\%̆ L< PɧAOMud@hs\wJsΫVLnx%oSX/:z;d\iscܸ}g[1 (K K\܍iڔ 4Kpzu;yo[eq@'igf'ƥ |C`PVs6>/wNŤDW+F#uѩ2?Rt's[3}nK!`Td|Pxۦk5׫5􏸃8WL0^i87:WT}DyrcL+׉r "(ב*K39wM"9}ǢӋdtzn@#:"!7#Tfwc @3:ܴg0qt<>C W@}}vRg a~1.9*1)7QBL>5FNR…`l4yps _2(-go >u5.P [-dOuvQx>eWP dUC"1ad 4&x sP2pIpZוvb6Q`yjC r1` 2r`,  V38g[`.\F-$+ԺK+ &gI̺ 4Kgl qu!3e#>vlv-RB$9kdJ<LCyE=pjZ@'20Zy$φD]wKb*{1{%ACꌽNt8 ;Xj>6gb b?gt4ˑ.`Td+uAӜ5rT+I#McQDd;/kXbGܝ,\c!\88YO a‚co_O^0] `%IK0$nH._98V?UK@hm"l>X 4M:^ؕpTpX%nSct6x3l3HYMQUBN#Q ŽbmI\NnnS:-VC=&wH14(4Zxo~lS0Rة\ETM~FtM<1sҽJ&cy"gvr[򪜵28gC{n_aݾ"i@zu2ZgZԔ454tgٹJ~^:k]K75dJ*2 5D_E†>h/]>?5(w휚w>ڙq~l=S L"OU5v\-&HD؈M&muя<^p=0L&5hjX fsrΒlH]"2p3g{$S'eU+)).<4 i0䌥~sFz0\ Y7cjuYK)70,vjF_IP%/މg&18[Tm5C-tyXN嶂"1As~ /ٲ\XyoULk_/Z5t?bR}Kc0*~쒞g R%%Jy^1'2lm ϗ zLg:Ke ܴ!9a߇:0V_ՎߩS}ychF50(~ģ[nt|@"Mh+p.W\o"EV 8β  otE={ 1~Fd/o^G.鞧?2y:4EC*]v' ߡBiyJ/ݭar Tne)n9oouu8 p_NR͵*5AfI$/@U111Ű*VQ6ִ`q۬Eiܴ\䵛ܽMĿxVO=3GmZ.&E,0òNrV]}*g.jM^p lr -nvP1/{eF{G [ J[lyPimS<>0C cteuGaOK]`R*T 0!CW k)Zt4gYEs,"t|M9zC8: ]QZ.Z.#uߋWlcL5'*%r~AЋYQYN)ѱ\ uݘ } n3xVD4A'IuJjX "%\z{Hrc;z/ m_C-4dۻB f1=k#JS{ F@v]:8>|?Z&|t5 v qՌ)/Nw<ȁִcU[qWK\ SfC=Z,\[tC4\(#ӫѹ-G`8ȻP [U/>Edh+.u5UKڊiE| b{)b8mzKV(_ K1| &#䐓r_ L ;bN[Qd\"K6A[/EU?Mt;̥a[TV81 2P!1 $ָp0 \65ESr:&~]L ,Jaf`9-`mJ(1ԝM0Ë"IDT񿉽PD.XÀkiuf,Οf nw! 10?oc El{-(9$ Wzrh`hj+"Vz凝]ch KnL+F?m;{Xր-m19Q<" һ`b_ ;'?#/ݔ3;@FWTBX6^|AV<`at-.Cr~VH+Zi_KuHV<+,oAlG#̶thNfTD ЬgOE,BZi@Du6IY.l+yԈf17@!:%4ֵttT _ZܵY+8}uV">FD$Pk++XvVcQ0}fT;1m02`Y.xӛ`eB]kli!=)znWsuŰO6w]7-ߪԚ~T6HCz2ԿY8Ӑ$#MPڡ]QӽFr.Upog#؛;Z2y;p;Gi_;Ǝj>뷇.؋4բAK \+K{@9ê9K/;˴&d~@OqH-F U(ٽ. VRL҄bK=)vTDo-m썻WȠbؿn<hn1)M:MPw(`L2Hſc}$Vtv(9΀jbtm/#i՜RI}>`ݥU¡w''}9; Qt eZg8`d<>uYi| F dxyI'5&rl'm ݖ(Vkvf9&%$)thTr:RS`2ž#h=ObHFs}д9b ĭ*$ ]?%>n@7Bn#nQD12 #9iU`|wTGs_{9nl){N-< (H6-\? sL]wT:Cx` XÀ"f@ 9.'5rqvc~&UAor7Cۈ;XU" -r#VĨc\?uKv 3ovU l)k uS=l~[=bVk>2lcP!g)e]oC:@8gTZcNTrhp$Ppwʞt2/,B\n6YiPe _H<ǹ2H(fm҆Q뉔CI"GΗo{ύO~!=(9s; `<:=@1 d 9()sku8W</=B^UOB0]Eپ//CS븯ijL<1lόc|pNMKcWC0YXVC>FPSHII)ߔ^8ҹXK5A݄)Y{]}[qWq8o:/#{3>(~==MFw4pƅ47,q'#EiOl?&! NRԵuսOM+2OdBv`4t1q"xdJ-m@kaj9;A4t\bPU7&6R▤h j竘U4k%=C4cXAKJ4 o##.a&zsV?u^xӜhC [XIBDѤ3kH[ruvJGA Q#(;}}=@>#A;b,ӮhEP`3fȨBV=Dxm;4hk]iB9ae_WpW0TE7*ŞvŸ |J $p1 G@P.@nzhŷij.[ mxڟ12b۶SbjXޛEA?9!qWPYmսA =scR]uRg5?X>j%nslf{KR]-8`)47;y!@)& l(Yqu(1\j/*Pd/eՔ~~!j?`6 B_0EuXD%^]=PClX-**3 ɵ mŖjI9d\X#zVՅ}x*bk]kJ^#ΐNe"3bbc Hg&T--=|X~G%|!XKE}PjFâ `Uق&p SS~Mf;v;X5fc Rwy1}Z9 \3ؒ%Ir<NDQvCQ |gq ߙ{ih߅/ JAWѧ2bLUP}1JylZ;I)T0 Dcgv@lZMyZyDVz,: ݯ^TWș W]rM3|an ѽ"~˝Bi];Rxz37=?QiKQ.ԉ﹃S^:,?U`B39HG}yW|aFR 85@X9Gؖ6pᕬ\7=B;6WYi3Gf0YRJ.+Zo *iyYb£0 >A8b[3i .YYC(vt|2Ez8x&[z@dh#L@z4x)81/QL6ɱ>j2?ky]U-1i)f,*\swZF>يa>\PhǕV#C 6&> .|[>9v _QWoqv0bb/!+'vu2+ރ:karrM@ ħjN"0nNKP|0Z=حhLJ K ѫyf1@NRݾ塕BP ZnRݗʦ=o#Iٞ6Zdƃeu_1H#8UlI~TK/ԩ0t~U)Ȭ׫cbO4EzioxQY>įG\PFmdah%s\akRxJQGq|q4PYIb"u;/-" qʇtnd,OZ;opGYGrOmp2Z0S5]2uvQs-` ݫ}y86XKL mQ["Vf$m%+FʖotPT7<2O̎*Vk 4.ݩ4UTw@ǘ0ۣQ7`wZ2 .Ԏm`6qJ{!*+ mtjs4g]&b0qᵧw?1a7xc`:(7=LGyiB<ҾLwdjg~=$;5[i8OZ!je}hLV;XQm% Z{8SzFXH,Dp%q s6b述] C)w]6sy&8NK3}pR0U$JDrH&ɥݾ\V\֧%{_e<}g1=v >!דz;IGOm :[J'F/xC+Dž Yc_w[|FpW~(/n`o$a$'tʯPd_ƀH#0_6ԃC~skd[2h[uQ KRf1T18YXxR\ju필Lp9m) Ej '~(Zf5mm~2+G?9*wP!*,5۲|+5ȱO/Ve,6m{hROc2MZZaMTl ^8|F':[ "}qC0zsQ+{=*U')7R~KAR]n Օ0$NTt,Ø]'Dݟ2Aah#T>eljڛ6Pn98_:AOq),n\}9Wʳ? unီҞJۑ$}O/+;.z"myTI "K7vׇɹt%~(o8~ù Qھu4 NSڵ`#dzZLL :"ˮ?L0ZwCSc>mSxΙD.ϬTL>siḎZ8 :!qnGr޳r ;6@Ođ)ZS~qfuv&bޡ%̎b0E|My7b_MZ`4IR!%01|u,8`?M(H1gHhKf^M3ƊAburnߴ xc{b9W iPYxzW fa )CR)0>` N}<50eE/-ꓟYxKBn4uX-M''#?S% N %Ztb'(^"h[;9;1,ol3Su1ŧ6UX8?ʟ h)fkGV6=OSee{O,ԑrDIh8MODr ^N Ms:*[Q̕%MO^Ov24N& @w 2d:|M($0#9R4m jjzvp'}`ˊka fhw/9V"έuesq#f_]T#bn׳"IӼwA.*xTB^jTaoe7iZW_eD'V=#H 3kj[FBZOӰ.i(MM\RVi\ (+1!ѣ@LT!y'|WbbC1ń|qHc2iiAI51g7mL-ns?hbd81Yľ (hTb!byEb1L*b{%;F7d{))%͹rMKaM,T(<ɳ[!ҏR,>گW L#IM.݄2'o\a;["byu|#{С95y r^19ps*`S,d\3P_B-X(i8&Jߴ A ,9X 2D sVwj$zY:P61@\./Mc^G//Q3|XuP/$ne"~qzNy;q>a)3XCPٛKM!Y/l &-}2,Bۋyx?`biK%iQ`V7Λ InӜPZ|T+ެ5zTqȵ+!1o3?E[ ʣ ɭw뜦۰~B<=_BO  PRiڀ#89Jۻ]lUsɿ^Yz^x:#˯dA %w쏮s VW8ktC܊_}$>o18N.i!f =]Iu#/;ط~A6ePƑ08b%[SPpesLó)Xz5{@ٚsDd+Wzˬٔ5 ʰ W/UM%o~JN'@Ghtc:_vM^~f %Vw{^P+]g('zSO.X1o67l{HwsyߗkOJ"^Ҡ1|pײuAPҺPZ'm~l_,YG Z"ߠJ~#~a_%ۊK -F^` %jAۑbBt⤳X pDɖA,&>Pr+D$%6T`=Pey\K5r; \I[`! Bo{[(zF2H2NwH$G({L]ѵ xɨ*{^C0oć*r0z_8;CFT&ن[PŖަ|M:TgY K `Ƨۺh8`8;pC{nd? I^2$;K$u,gnhƑ@2=ؙn%^N ]S@,c!;eIBP%5hl 9`Hjǒa(:'K֠}PjB϶,P\%sLwT-8(ZkQ ǟ+ 3 BCza=/€Ҧo-4.bX9{<*[T'H@JMNWwa Cqz~':O{k .p|]\0uMPًe>JDS0Td'H\(>gc'w30#_`B )|jb3s\/tT862Q{O̚U Ai$zV(e0zȗ?@!iK,>cdM ;-qjF]3J#Sq; <;_ 燧mf-Mji:O6@B=wwq:tjMXuD.9T'-mw0f䋄ճ}`-əs_E8ӾH/*YZmpgZʎyD4M骋/51Ae<ٮ^t{Hbr[ x l'% &??i^(Lh]ǵ\lZ;=q}fQBSMWp%p{?I,p4l+%v2 ۃ5GY X 94T~0}Z|$FAW'"OKGUE}l7'=Vk&F_=gǬ:v?> W@~](nVR''d.z( 13s(/*|U?p7׾oG&RnIFū󾫭(%HW1R{C:O'3pذ9FʭNAL*Fi()[&38qn OE +?K5Aj43qGiC7QX/5 t&q-qD®4 S(+˞ : aj8]Z/FېMkC uŵ)`k֬H7%q`x>/ؘ_4r},fu ڀu#3誯@,s9BJݽjL!5@HQʬ8H8A!IbZW]" #Pձۗ53z~KS{;cwI ݜBd,!  Bj'F&ZUjĔ|n[ hʢ41c7av6d3*tSoNqb YRhD^bC\v1`J8^7Lj{ C.t񢺚. '!(*B7D*+#U[> 0J=ҽeAh)!#UH*3+ZU1dOHX?)3f%S5f"3#p<(U oXZ>W#tJi^^߲z&Y`] ydDOBL 2w"cjmZ-=vmI(h ]LhjJK:U;% 6`]4hϞLhrZ 9Lhjpn?=K45jWPc.yѫ /)$iz4=syuURL{ڠf^۱51 crXڕë+#Hh2U%|pذBGɯQյ]w߉ uov*3]PG(S}iYv1=fԍg!1Kם \3D3݃g5Spu2,9vR06<;JLvsb&LUn9PqL{+}{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# O)QXf$Ê/"Ex:k&אo ?ѡ*}'A0@ˬj}obU׵P#`B꼵&6"\#߈%S#77Pa;X T"Ⳗ#Ё&6 M x?b^T5A9EiZSC30_ޔEW;H 5ig ͬ_l]U/|~<~Ħr=Z=05_= 'ZD1R,Ce4(fO&}:mjJyw VKۣ[` %I0C\&5!_v7ɭjkkq]/. 8$!$oq1Ȓ>2.a *X0?ϓ ata Yy=XpH8MߪZw+vIR1[4=uOaFWpro eVZ2Pǣ),y^cc+X l5,ɦ(N,O# ϩg4{^֏O=Lywf  p9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ihh]Άxʆ5.f-9 rq@~eܹuE OCtj_k(GpYS8-743@ʘ)E*Dhw;e e o7:oFϙ."8_K>@8_3,#qj}Qal쵃%4/pa{|?,v?HkƃǑE ۦ?p!0ϐCޭ^`'} v(NfD>yQ٘Jjz\ڥ0#cLḼSuCoAokWa}vCܷ4Dx!~b}׋MpLcV{{>Qa?F51nr5m2F:s?JŪ>aC3{=`PQl<^CNQ݃R`^<ҸQ[~ \R}ٕՊD!@c љ Wx9BriZDW8ԤI\;7jU't Eӕ:ޗ苠4s CC8=v" 6$Mfh-^KW?ZzT]$z _UfwEZ?# OL؎y Oy6 C0NEѽ.P乇it VU?%+x^ɳ[5 Y,)JtVϽ![j;)T9hjʓ<#*CBc@ՙn_#BdpA=+˱QEPd4zҫÂOV; ]!r~5͗{h5lPsCbs5byu.=[X49WO+DTP_Sw6c62Y$8OQYÜU2-6-#z jcWOy@ot3B1fv` 5Pȷɇ:[~?Ye[9Hs,/-'! $rKX7on>"O#-x2jEw6 s ib1=&z/JH).44.qsHELvZw8Sq6K=%"g5p <o{WKYt4Bߢs ɰGFu\K0$)uM{z8khqh1lD8WBT#bp_n.K.lH7%S!Q%dt*Z-ٜ!MǟR}6KHQ73Jwt܏?Ɍxzl#B§7S9Cd0z(e9~G5IUkwpRŶvu4k@rp +ATDQ]Exbuloy3cP> gYZ%JJюcˆ LX:ůs+9,9.7(/w0^<*w-blBt_P0Toy7a@o  iO[FýgƩW1U ?q]f˹ޏ3BO+LHuLAF8(FuIOKG_b,u 4Sfa-T.gh˖A!okC%0lz soB{mB!:[jt|rԁV00غ;ƬiJJ[@jZ)c=le{J 5*i𞶂R=4#,1d^|MGqsE%C!^DP.0Z`ɼ&8^'T+~ܯVDCEظQ!J]ep)lG~TRXeT&'k$O8#{2*A']][గ.ҝcP; hgkd9`:%=r r 6̗QnvrL4 Yh Kȿ<Ϥayf~F= jJϖ7&$u?xcl5+iZF a!02!}a~S⿪}&!s^*BH>V0+2BAYI.f~bJc@QrX`k5ƿu&6屡c#(rh^%n|A5dG 7[g]۩%j?M N [3$(4P)){ F;Q@_Z4 '^=[t42ĬɀZ,8raI"H3>zNKf KEb\ci0wN~F bu0njݤehW.94cb…8hyk ?!p n1__2j# EUn ";K8-X#j'Wc"}1RL#}5_P@*(6 ]\zI4y^juYM26{hҳ=  mIk1ϡCeO-ͬ9Ol0jW#W?jck!#wcl3ELL|LH\.mX.e#5F$Zo;\mJVgRظ<0̮Z>Zӌ8c,!D, QR .@ t,`]۹;Tkܑuܲe,'qw7@CѩcO".['Xn.o`X; G2u`,3Rg. eZ3 Πui:_a=^rQݑ.6c_va |H;JFyzPiHޖtpTčˤilc1v.>.F~Ti xNy[ɭ ,R!U5?aU:A +{a60C7y7ˈtWp *B`ưRe_8",BE]rG~ͱRu•VQ{I4B` f "\9Cq07T:΄julމw"Xz <6TroL>n);C>&9}ޓ/)SpS]&ҀT{ͶlG, ['=:uBb,ӃyՄn>ެ"69f%B*Sy|#!f)KU9ԉA-+w:'2@3o CguItw]!):V#WXȂrkUd󣧢$2x̎cvONl`g~ sH1v#՛EųӒ {e%y{}9G~M8M`| ^Ø3vIo^M)F՞ҏJqeYB^ȡ]lv{c#) eCڋi)nSC-eFՄ:GGIOu4f.޸q>?4#p,N _\PKr<Ӎf{/v1ϐ@)#) :;{A}y_Ac`*֏ ֠XǺXÁİ)T+uC l"J18/X]YJcye)c R6d.1BfB@'dn$/""Xʒ("qkL@pVaCS`zy0#gY2T!(;v:q"l)l߳R~!Wn@HmFG?:gFոK5B9LA$+KB/1 iZ-R㲠0?)sCjLE.Χί|EKv @_FP9!x`*Hv3* eOoNky>z% ␩:C`cL:&Z1#C [FNI-aMW4YpZ'twP< OwYHhëUL6ժJ;դC" Gwj]; q(XQ iN-4u:CUK7X)yjhRbz҈D_aR+EWx c5Gr%Anˋm %[\UM&p`z$13dk O<)jXs4̮՗Vfz 93dr 4f3 m?*UCf &S&sCh>kQ#뢛:CM( G;Uck1K2}?>QAk {4S_,{5ڜBhy[!y"aޅG)Cxܼ)}N hhnRa9.ki.H0c],v 8)lGmw S夨]_\=M\3$`y 2=o.w(dp+]s8{ZpQ5nMsk2KKyCR4`ѿ}!ÿʎմқ\㾣(jH3SkTek$ğ:{CcV|| EsTuBRi2 ԍ7J/op? (xbT;y3J.'sx5hxl?B^:ɜ[,~ƳD|df.ް5i~9-}#r'@ƑTT5v"Kypd.3CXXA <x%bs*BITٳjkdG˷순:~Y92Y kd}`ض(%d&{g& ܵyt~b1 \!($`"[Z=F94lµ#(_];!܈c:՘|/6pmB2M鄧4LYڧmt %qFFM0&=la|H!JV>ж"ȍ>Jz 7[VqPδ/I~*OFܽr2O<-mrܻ([IO1xAK]'&{瞍rU2yhIVNGˍ'ߪүj4@!j%A7vYtg`@oiUt"ٗ}XQuO}3K2y6|4 [=qm2Bq~3Z ۵V9h%}o!#D9ͥ7~峇!jul~nKʾrΠΎ-׾ͥ2wUR|s^ 9]%Qm=unET51L]4CANߺzQ *AUzz; tQy yRX @ND_F"Dw,R_ǃL!Eoћ@f! ؙ~Hᰮ lhG[=ת0s%{E,Z?1 ]fQ3)7K.1")l<~ؑ7Ø˕ 9Kz -*2:)bdcQT[Q#:,kexJjuuo{R|ނNY*׊6`ru)%k@ K<bYѝYk,!_ Z*t/fQM5Z>z6#$vD|?ibwa/P &>S7 *pQ|T> ɉ&hN|I#ɂbB\Q=&&wclF}O[lޕ%,8M?3 Um{e5d\2 R~HJ4ļX}jT,(? =6MwM$8P׈ψOmidh܋T}&)%M/.e$!A.hn2^@Q1oY-˫; _7 Ga0Q6[nCetJ*a$ [%=iU^7>ҫ+Ŝ2iv7gˁM_N5WI [*͐kaJ|MJjel)KFK s!#q6xzaZ=,DԻGy!/qwG19=zIvӘ4473Gk5tx=^zWoPkU. hdeP7]-Ҡ}(V$oо9_ |Ⱥ(qח{mN'cńӼ1K?aY!Kt}5t C`kI=sė!;K/Kڃ%#ܹQh_ ud[%ܕUc>¼v#+.Ғȶ>? CJ pS!oXRP1nb;#Vr&;,ч_X7"D±JRދ6w{=/W1A`esOªbN~Ff evA:y3ZXK}#'8MB0Cs,ٹpTP^x^l瑏*$Nl7x*Cܾ]0zv @_.N+d;.0Ԅ9 Ǩ vk ۙ3oeNLφ1LOr2e_X]>3ikXg"^F88Hq@,F*=rX6& BWN(_(` fFoe>7Z[M0 %]P@3KR%\߮0OS@b v6eV \6]_kYi8txJzOi:"8:qSZ}u_C1?B?ZS=Wc}Q]y#d`h`w,2iR)U3P[h[¿GlPq =L) x`*JjEQbS?&&_9NMm׹i*[56iXuT5IS.G̅V5~|`Fs6S6dΑ\ys,FV" {m$hynܹy[N[lT&v7f 𿒰֏D0O~@q` zdYάa{Z;JٜhƶR=1uyej4iaj H1HU,kM oǸs1u||v}LR*՚nMsv7wU!tΑEcۀa}$C4/7M N< f@CA(Ȏ3?.m9 M[} EbpSRx.(\.\ #G _f 6 FpnDpPV0]Č\uT^[pZ@YO S$F-}WFݏ;LƆf,C}\yuA@%E+Z(D}䰋UDѩc=3]RѨ7] kK/1BFH]0iq~5?BD*éZJ"sz{L^* KG<dSk?ͼ l:ƓoPpFƸq 럃v>%^a.1r40tWkXxulAJXCi\+a7SZYa9C> ͽJ1@faq1̴ZSLPc$4|g*~Ҏ}o,L*n0߫Yőy{%Bzesa4{#CJ~[oB-ZzԘL>>EzM*Jx06-˧dj/b'C {$}hM3q`[Ԯma v3561$zn\my<>wxDs]QhWp|PY']*hIm+Hb-י2@b? '/rpYS< ڱ,F~@IdϓRHz+!M;qa`|ᗧQiu=wV0^dB<-#mGOboA{4bG]/̢us|,7sDh9ͮb_&<D$!F>aԊDJz. PD;TA: dx(قܯ}nm_rewdY.P&|+lhxF- Z43(n[Roh{ExlSW_z'0hwtv(U [11R;ZImCTrwZ6wZ vAJP>v"/'SYΧuCE{6m&ЄcQob8Ei> x \D`薛>Rq\r#PDyobW-~48sby6MiZJe=ǀOZF5ꐹ9z(d9Í>D($w ,Ïت(]̃M 1eH`N6sFTl9)bȻ.@rh 24Q 9>כʪT)MbAo{e{>wmե1Ó-XR% c[cZH/Uʈ7R5NJ}JbϾQ))\3ڻ_Q࿳AJOYlȌn (٬:ڡCE %; ~2ٮ@Uur!ywH4Ď/ʑt8?hy42B^ױ rbkIN|/7|Qeצ(|1E6#x,:l4GoBƕ4!U2D1泞 ?,Z<*.(3^&}IK-4|Tº},6Zq#ػ {)bزQ8g [ RPbh\6#)OFiDi2gi\&0rSl(>{/B^S1"I!e&v3yIAYmi}2O3q[pD){?J+My(L%WЫ W#DOPsKDZu+~4ljֲb!Nt-t{ηN%;C Ё9 ݠ׻vPfak V;?-N^|d`R^@$M z)%1捁-ޭut^.K#Jy>:|hdYz 犵$_W?UNhs4i[ lrV5<i mw&:3I@}`rOV+(UEof[È$N_|;/åIhڕkQf腯\JvjOZx)đ#Ge]:E+HwݒmFs/n[޽R[Be-<C)ސOR)$l#cÎoCwLu@b FkT-uf@J:UorePTMǓv]#B6 7ЂQC 0めa.PG#d [.&fǒ G$TN*DG]8%|ç~M vǎ՞Bu`$yOD(OW]UΖk@{ CD4 kDlLcU?:. 3*y2+ ̈ϢlP,gLǣ(X3<~WVI-,HiXUvgװ"L=΀[ēoQu+PWL7?'g"y`n ;x t9`ibs,%iG(? ⡐+t 0PeXsgE2:=;0I-5)b%I=3RɿX[;l3YWA`غGnvX|Wnhe0<:_ROf(Pj4e2yabZ &5SN>tBKg)$U_HMAH :N,tY48+ Aթ\ee-7&_N暊l_k]l욳Q+xٮrD |-(D |B4ϰxՎ*1`%;Aֺw@/*h豳SC" 7(] 7~PQKQt+GƆ qef]%1EvB]RW _D$v6Xrk/Nϔ4H[BkSdaעR&^/֖^7e}_ Dg8 O6)C\&Ռ>1NONqURVa%t/;˗FQE^k682Pꉾ&":UBxh(zK軈;/aG0[g@(qsnf~ezYeGRf?9YCMQ*7'8:8q݇G @2y+\e &N=;ms͔%%5 js!$bkʌ g.Mo칳HXE^catO/9oU ?@ b*&'஖ކT-KȠH*EZyҪ#rL8K5'( 4؞^z@g߲_j}/&>w6{oksy!Q߰h!AJI/V(6{>ډأB1mbRcfΒSp',Ͷ]fN Q˹zn0D`FKnPQ]KJ)x8~zDa!zX*863DPLoܤ a{E$nptQY`W'd RzqkaZug|u !t4EkxX_1=h8/WHxʴtiwmրbjX*B2;~dSs'g@X7#Gݔk֩pnTOV_G ]K&~z@ᑁkt64vo! * 0I#}2ՒZi6f @H]Sզ ndklv囸>IP sMJ=Mj>fcІJ=T bnD?y'}ieJ="=Œ$;̈́Ó+ZTsAb3,La'3D$MToH^wx/qxl-' 7N1X%ɹ܈`]Cy^=邓J)gz͹ ɪ;_nԘ~RV U(R֬AE8;P-Y/KoC\fOYQCl"x,J|Fv]LAob"tr!$!x5DWi.vw1o663*dKew_M,oe["TEtNN꺦Hl{- ڊ. RQ @lO|gx%jivlk-F]^ZE.9MºK,_?z~TA`]`-C0(l!ͳ% 1^6NT7L?Cp ~dһv9/CjB9bw|ݶNa$@D=A_crNe e?$*v?< V33$2uߦtܠfOeh; %>35,tɎ>9(ֵwz2ZG6k 2ٿÐ zG6L/4VcŞBUy[( ϴz1g=JqKFrKZp e ʕ;V& g됴~Ypԍ{|SM(*޼nxR6%0j&ydhUgVRB$,*PiHUX}\;UKdjVJ?0y`/ؙtsa2|'OEha68F ݠL&)b'+)H^4OڟɡAc*0 r@uru{HJ_{42Ǖ`D1>2F:q],r[`Kn{v?36C/^,#R_ڹ7I'%  4Y))J8hj"d:nlڅs5rt.h& IA0q2"^9{k>”\5ƉS3$d&ÙοnL4pu8c МN,vN}% X#,b7ΟaW EjsXJF7Z79 }ht}q<3MnjK. t>ޏ43vZ|[ M;mP @3ضUsx'E)y5F~$b*v3Qu@bʪeч8YV% Ya G. [ve"JG9|AŅ=f*JTKS26 ۋeaǭ+\5mcio#iٶWu |2a!2];eaD8ӬL]QѠ)Q&qtQ~{*wVYhnOU$V4oER &X}%)ͼ.a2p78 g% QRC0OWㅝ> 2i`tJzh HiWfϲ6+Ƅ ==J4hP2{&An+~+K и/BݻuX d" ۟Ҋba']獔xԫ"3LߵokS軮=<71p 8_+xd>{ءƣ.@_}NS{=9FO|"ga|nC܄>8;_HؾKa&#]'s&r76<= {;6^USuEzh&ݝj|/"$[z/e'|IB۪9ި  N+0{JwcU8Phu;Bj/`]ڼ1@N׫t|ljKKok ڦ󐜤  =^P&7]yh]Mc'{ w@QL}`hBkvRp).wNO2o'b>VDfj`]Q;}Aײm'9q8~\^ڭ_Lv6)Nb@[@S4W=愖',TưM`Zc8vLD08 j㤄IIXP`D+nW:4ՖG"Qr`U̡[y97ܑCؖʼn^0sKZuV-Rmk}-I -oX}J@b` % 0[G,-T-\@ӏL*G㗿&7ʸyxFce1L;K+^ OK&,})o~qhm$lRyy=<U ОE`L&5eO;k[{M)gLT97z9, lcE>BEv]6Xΰtm_ս{o2]k7;UzQ.[8? P ,@,ZL;ryKp7H"n~Yw `t&O0@ձ㰀"(Q<@W#x|F&oYJ*gM3|$Ob(Ky54Lke_<+S~',"ȡQ it*+)/bG%f&;3`*/u+E]R8E$𴂕/av_7,oaԻG=᫢Qɞtj;S[62lG\6*MEGἌ!*!)Dح#H2N4pҳ\,xU܇*~ gcpNi6ls˟0Kɭzf&du' J cĖXҨ(a89E^>?%݉9TV,@54:o<Xrms(bo*2V-wh"?Lm1Iֿ~4G ,R(NP*W Eؖt*15ֶhpyN,p'MEuȹNA:}I.)'@kjoc2/a G \+Y"4Q=B#7TCJQUȓ8 O[|b`&o"v!PF@ g(/7mAֶT%.t(֥kC5Xq {#*2xV\ˏ)"hOӲ T`KÎAWU ["n6<%ZUq{Q~ 6~>]WZDTՓ)0@@p.(!mmx߶ֲ֟yTL#M'<_R;0 89$g{n7k cP}!Q1.ZÉeWb~u {:B x|m<d8`we m+K۷s'|\;CS^'^^d|߂l7Ӓ֙R7L(h>>T$XetTD F2l3 ,wn!>J` ԁ b.Uqa+I< ~ reȊPX~2%[ VT.[]F}.wyI$!:c~ nذ ֒D]ur6%7F2C/QmDmU4{{}I:.c,U>}7$a gqlni3/`s~[d>Q z%\H>C,u.V0v"YO9V ';Kĺd(S~2 i. ̅Йmcn6=I XʋvBj~›%Z*f&wMw/|" (KnwR3csUI X^g j-XRH.RäT6v+*l^ kS챙A61AxHQ/k M_G\ͪ LIʛ"\IoSXrCh,lM&=o6&zfdn痜GҠas]k;YT X’hw'D;]ʦ/ }H۱ӎFS7\W|c4CЧ)BkavTf!=hu!X_:K _1tSHn)U֝iOmĂ3$#DIk^ZO—7 8-z!~NJrBO* Ώ\~ιS&4n&ZEF*z8B i.SoSXOq5oU_-Sc+NhI@|MX_nwCܦ}"+ɫ>̛lիM~7azAa@>Da!3@ECZjpܑ"ϞFyiJw|@,%r%*Qrʹ=R-˨@_be4:\wRd{uv⮕d.%2u?Hâ3wq{F7Z#wRM7(CGgpTXZ+vu/j8QZ8#NP̕k=w *F9+>K| 氱ngkX]jQVqrhƠ`wdGUBvl?[jc7΀p!P42a \GXKK[<{s ýrcӢˬGD*יWHK|e)n)nc; %HUJMyvgw\oWnO2s[,ty'zEv;R/ C^6ɤrXdD;MFEwj˰9n:Q A_1b~z,i ~-B)f+m]Ѿ"p_^qRp^6=‘&a퓹z#?C a-8Jsܽ\T]Ȥkxd,X1hM)ͬdJYJQ 6W3ણUNrV|c;tQ#43F {3S ?ȹ7vƢ]rM94 !EoE'1M)~k-EEI8pJ=)TK[%]-<9Jh^L=.KQg-QuA 8B#T sJíxP֒שgX Hѣ{aL 8q@[^f^GӇ`}u0 3ˬcÎvP1 ;AwpUL)Qa> ݀P<;^!9 \e 3[;d胝8,n'i_ ٗۓiX]wvH puMy pT,+ri-H<ħu3I=>I7wh{MjQFcsW{&C{Ȗ[%|?=[h*b,g H|,{&Υ__6  5!/~͘Cw\2:RHɃbBN&/'3U)BX=iӲhp4Ҍی}bx +jLj''r3ėh/{'<3ë?C{?=$ͭt'pІmVduG[UXԾmT]? kz4@5`(a^Cџw_hōhBeMw*>>,gFZp--sSڨmT< HQ m;2aMd%@5B9  Ѓ)}pPKQƩ@5؏*cW\01$K㤯eg-^_O >Q4E=|4hNP6'-AkџO/N 4I ȡzP3"]Sc?I<4++;(g,~;:XΓzC5hf%ݱ XiLT7?.ސV3dsbiZFD ^y"]`~5O;xtn(a'Q@:⪿KOixK,sPmUL(M.YfsFZ=d?.%KQN4vS,CPAMSba8_y.U1b\G)kפּ1ӫ944 8YJX!x*2pWjˇŠ-nRKq|蝡BDsSHzNx\,5EU'Z.Q"/Ը`c!PxyҲaWPc)3sgV2_,x2D*IA5c'rjofZz BiT򹀟\UONMb59ks dEA֛s|v4r8տyy;~ 5tPG^(Uf^7T7H/z _W}5cg.Fffj}{鑷 YGl8f]Nz~Kdr ԙ[`Y7𼈮>ib;jIb=n YWF4KD/t"3cGg@]k9" 4%RgJdݗZ\_fVi6%$`lV`PƏXO?~4 {4Q-a=Rqa~Yb[h}đ/}R DFVB7 ˍW@}e 9.=~Pͤu:T\[43 ZĮd գ%?4~c_g13£V>zeE$r[ 쏠NQ/p&.xCM׀uw/b[`>Gߢ U;:b}l|{!*[gA5P ב IOt!N~U^^Rz]+lÍȌu;O'RXF\*{WfZ_a_TwZ+2@'gͩ (w7AS#{-Mɾfg[-?Di9%'p+yVu᢭0r Tb쬎 Umm|77ÙZG;ȵYmpa>Oܲ˦7vY#9ԟU[WCy|TEYTǪ?z%JgDc/n%?0j)MȀq$+Ć_+gr5ٴ 6 ْe_yW/y5"j=Xr93? N~RÜ\TETmΞn_HΦ\Q.J#D3:SMX ?#MT6bFWZ6pH32RHL}KYwxYtZar@@DqYGHqoINZ::p LpI'w֜J={rˆ([#jyZc[/BQivf2E(}^ay;5ū%{0ae3RuMxvvz#r,I< 4YEOо * G P$A2AIˇ-?F[7λ1}ܜ0UvZϏb Q.kr/0}O}SY '|H@T>:*ꈄKYᄰu*7Nf+.kDoKփP +V!uLT j S%tk@;vu9ϼX-y"!dیt3$m #~}ZN}U1Up~٥ֺnM:eV25Pƕ& ֆўځQ*E65F.{x 6h0N %ݵd7'me p"IC2\kɨzA6.fdbkMݞ(ScW&Jj 6+ZZ4^e04k OyCeU6KtRBPk~$`VRPu $L?{ ᲅ M^359(1hGwD2w2-z_7(M iz܆\bα@0RT:Ӧ?hf&|}JtLoDX.;Co¼\˙?P1R'ĥYMP<h594"!m j{7XƂmNEn Y%RZ}Ǿ s7@RXkَ͕G4c!H[WLա=V|}ҫ@Rޝr${rJymYʀ!($HH`U WhqrA$OSJC&{, z2-+֓4?6)tf|'s^r߱?9YfLT8Otl΁2\9b@ uICn$ڝ 'WtcxZ 3_m,h2=,"sM"'b) 3/|*Cs(` Zˆ(;bcw6B$x$D|]{m=Uc%6б{ ˱8̌#S[ל6ž C "v ^H7 J!}g~eҧc #KuErt-2S pI ev:SƎ͂se !XF!˔I6.G9_$D^1Z)BXbH_6&yJFВ8"tV d /QĀs\]o1D1EJb|#_]aj,?l) ŋ{j4R .z1CvmeQr{9$6E割Yظ ?Y9(|S ZUmoc\)9Ju:Dwqٺ!/6ʐ) V C4@]9tl@mk{@6[vDzȓzo-*q+_2j>#ESB|[fZŎяicHCŌF#}Gكh|S5E>*7I"n_(i::jqTgt$|%.AF}u/R,9U_B,煋%! &2bz;J>[>1"/'.~9I9ǫs;ڔ`CdpRnbC7_e'#'{ƐgV^?gIeek~|·%iIC_7c?My c'sa%(TZ~Tn)$z5F6+Ro+~B##ͻRr]ݪ|{;FVRoe{7rPZoKqJl}3eL؞{_-ڡ`C\& H& P;a);,<༇A95!bnM hi3eZ1"s/1bNȉȽm/m1iΝ$j/|3tDa.#2?W4  d)>v=~=:5mIƼ<+\՚ 5QmkEz?2`p@.\loU{*]M" ١_c Ke@EvwR5FI`e0N2+Ah7Yl2߅{sFms؍ E`:sz9Z)4=sߵ$O#ҏ lm5%fǪ~PM3J . ;{IsrR +ut5(VYކeےK݅Oh~ G!0nR-|} $*V0vuON($l`q1+HZ(G_ػ8jC̽ykӝ-7Q7 D3Q}Wygص ]t$d꼆vG+=VqrZo/8^VoW( rIԄ#S:>4  jeYdia]@(vJ,j.4\"~kh[&|9ޥr{r#& ARt|(Rolc߄5)hch6ރ&Sڳv^dˤY4a`L<۰,\sB\:/m6A@L>NDCEsJk *;mG~֫螢)*h䬾9G57!h8]EG㮳rZr>:=OۊIH¼`vw4KbR~s/:j뵜b "H !F(nHR/}PZ.0xgYZ9dc23096f699475fa7aeba9760d6d9003ef765c6cc1b50b527d94b950d2d160697342c63f522975a 64e02d979687fadf0152a8264141e10032a6402e a1303619027dd9d05e19ef095c6735f892219596