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~d4 ] HOL-Datatype_Benchmark:threads=6elapsed=484.657cpu=1921.971gc=779.4487zXZִF! 4l]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;ф"ȺpQ7gDt5nQhPi^ !ҙ^zotY ~7ψF?Ԡ̡[JןJK(7>x0#˝yuM aƾg蒃E+ل8gNV (Q m޼D]h7^|SPSa|Z{%T.5B˴xUm7@x(}4 Ž!7W"Cw^^A9T8r3oXڜ+χp !B(; j^ѩU0}a|󔳺 r( .Y}= cj#CZ> ۡ۫"95N-G nܟh~nE,"g)MVRv!#AJOG twe/hخ Chêmº fجy\HPO_^g "r'5 7OX&΋%#:\4ZWIsڌ 418`YEk1)<^.?Z4"&l{ӎzQJJy\sD c[j2wg! ˍNyh>? b mlDxG^ai}t&(}EyntO'za9T%M>مWC&%˛٪͜Ğ›3\*)B^7$ _:Ӹ؇w3t)nZ ݄-;%%l 90I6{0>Nӎc//<ݱx&ÊrKAN"vtV-UGଖ$~+D0p@v1{)?a/$8G}:NӦA@j %'C4ȯ/L_U7 i)gYZ7zXZִF!$ 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$ ~/s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id5189I# |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씊6L2-DxWۨ >>}n HEb\ʼn'#Ǣ9 .Ѵe3fIg^RrJ_GDwҜa^jvnm*]F~>kJZ5Bjy\89´sT2% )b><] CTQڭL?8e4ǥQ%V*w #~^' LRer6"kZVmF&p!.1H_''ut/O]YR0*rRTMnW fZg[0Kt(@=:K\ |V3qۅBoi$xPIs<-r153r[X*(|i|w,dTI H_$@l~_yom e{Fr~;>dp$Xx ptn!p;'$tg/QHFdђ$`Zvw /l gD m2Y62WW(@>@o;I\b( g2e\pM smƯ2LT?}ؤHa.r4 %tEW217T+%aw@!愅B =.0O;ġk /KY9UK^xSss[$cG7OoĀԧw-фMc )QRְ]4נ_e}oV*ӥd*i[͋i&ةd)|T.հ!Ԍ9܇r&ET~HFjr3,$PQ]#ڒB K('nՑXʬOhN}D54`zi^Dϱqrd0 {n~Q]30 Dpi J ^nIu "zsdGa\:tϙ/8D~k}_R(_cj>j4!j]^¶&/sUCFDqp$P`"T]FJHs1yV =3TRAuNjo޸ D%%=C1eRha"Imw/Ѐ%{R6D*i"ٿ^.$rO:U&\[[ xDI@uw?OW BaQ Yy%'rs[>.fI; J-H&Vq[[Ͷ&ar'I G= :]9I#0&ȑajߋ34\cGlժ]N|dQNĺG N$jf+%ρi.Crz#%_2Y*nK4FQ76d٨f)(ۃk"-K".Ɔ%Tz [Xux{ԫ,no >P9qˡȈF: ٸ$"PmaŔmc%<d(ʺŧxƛ!ڒ-8AƓ|?t/Lꚤ }]"$vq[P/wH`}=TGCB։e;3!C[nY+@[Έ XVa,FXRJU C7%q@&Bn/\o^ FձOy!B.!:JLD:dI%Gk7ly,dr@R]7L^]vX`J}BB>ELPtJ,v̘^tg>)AYY/0)yU\u%l5^'yۄqDO/AC5r^o$/7uiaK Y|[7 `b&*Ej)aGADhIoXĠXDNW_V3|'"+QJ&y$ɞUTqYoi)^#s)\S"g8KGy :N[JR҆=|;l;~KT n9?T}L:1֌fD _>e#[0S'T.ogYZ*fq`g;li`xv,? bHzOQ;)o:P=FvZ:*l&zNvG-Uq?%Ж ӎ;PycwjC3{,1btW&rSpWKeTp_Wt;[?$6U"~=e܊V‹snsJv.8rB + ;A|YXFoPZ;h 3v>Bh )JSk/f<'ʟH)n4z,c`0]6wR؟6oȇw ъ%˧ _~?MTgV\%9>?1V6X?L!_nQVb=CJ T3[CqT\F!W0*a>o*> `|x-F[AAmvH=ΑQT©oo*5[˓YL[!JH<`SNfC@N1J}HJ-@NvNtam1ݎ= q]/<V_t7 >nAza>mѸ2p4v< :uǃ1LSQӟDt9tba&~!%h` lzF;p (n#;G-^vMCb&ö( $ 'hhaz4.M[c(Y)el%J`[:lF؄(Z$0Z*;*CLLi Z K1kAǻm’:' ?Wh⛸DTo{ou$67@nZϟ'fQuKwfWڣn{y!f 4ugCRYcRz.C*Y+vQ#1q#Ģ_\HY`ԓgUb : 7d8$Umq$qfr/;WV\n$B2Ou4rzN mYzݮK 1ؕ+mZnGdZ]Wǎy{k.p 3{Uu("xHLU|05~J} WR Nvбցt JjW|(E1N7P%#Mya:$Uዥ"=jпL յὁ+^JkLNU%BhOL]3Q%b.:Ko[I3*i)dkI=-cB~Ř̑5}zHADl K,Q+|iіxEHI 30ד.2`=?._f"XDV=!+<k=@ %y>V%#e u3恖 p@GgO1Rg(}BqNoS~)%U,?wMQCN%(}MO~NtҌIE Ç>T$Zgԧ7IHp˔Zncp޲Fn:ʥTXP yj(:b.껀SZdrKYLjJ6JqQ8̦]tv7髹_mى\gZhwlrws]a,Z!Iq5-=NN8y%n3+eHU(eƆ)[{ԗ;0ބJu\n:̈́sDs axPO;nO B^i_M~ထh ay8Nt ;n|o+r92hDdg+``10I9/:JML`BPJ}="bgzb fW =.6B;Unib*NX}6UnoJ6j׍ƹdDµ_^q&/'|g~ oy däe݁Nl:NG%a쀟zŌŲ}%$8S*ő^]k]rŘHyervE0^56 gYU_8[=C LVF~`. <^(\}ƌ;g<кc!Hܸ)4iz$.{$H)x+T 4Al_S37(^$CXЯMzמ)!#'*-5(2GMae}YʿA뾣ZEv'ѷ)zղJMYrǺ >AZǵ2'BOm\Ԅq5Q1D;%+C]y9{6 @Ѓ$T|}#~rXG)ArM^ _>r,EZo26kaזvuwVOq^}!G#O ;_ FW:/b 56a5UZIU#Pznn dxFPYŪa1h+=IJzQ)d&^2ůd2ep6حwŠl(b2;޿ udSͼH3> <#Q0xC#PC$,X$-O85wWZ~:DZTƁ.*e0_4GYf7aZ.;>@v`s`̀r%iu#2UP$ ;ȧv# tj8Z-ZMgMGqkµ KpF$!+ͩ%홐?Iu,Ĕq̎tX {O{M r*K'A)eIT\ٖ@|/Njt(gǺ.٨[HWpތ(L;Rxw*Z_5u|Sk-> *d~|n g5 Y+ r~ 4FGˣKg}?m\qxR1&T;5ׂ}z MA&PJsJ,t*&gOPKX7'J!{{TROvKAPw*RB \Z <2Mƙث/kŽ5Q~fWy-gC[:-&T&,>#PB_g;Q;nkJ@K$\qHVjJ]\yBDg5 QJձp0(\2ch i9TjVݓcdF(> #!lZ8-QJ[$.o;վO¾+Nb B>n;y =qXj IxnQ Vm}J8EV|FזqCLMٺ*Utj.V > [Y_Hwc4xא%Oo )<#9ƾ,,4sRж,->aa(b1nW9zPb"ߍ3"Z8mՓrnq|BH[X`a= )9-J ~% Mí<^42Or5ҋsܒrI!T}6X"D6%3zDr]cNot;y()`Vg47ohquTˆ1%ٸOwX{hJ`ʂw}sDSB^y :wgs\_"&"t -yMwл6m%|7Jz_[gJ"B#f f|tV4HԿ RMYO&.d0 E S#N(FلR-'\fp%n uNZAI i__ZZh@jTQ oc][L9,4xL|.\- (ß3B( z5ΌDe I$jQB q&dA2JD= SgW}`x*GKb/^^⁔󔳁DwWcd(FRd8DҦ+|^]$$̄pg$bӁ+J])i! QhbO/s[cKS= w} 8}fwϻpGy\)$ZGG&gq_:MasHU/X,cJ>OE(* ¦i@n'j}u[ޅo?P Àg`U:t^B1Eo~2 wK*%I%wW8UE"{F2(SϽ V RUG().^2nxA%wg2sC1-ͽeWka3<$!Kjj0I[S} 9-@=ٝXRv VX; fkty`&8'OFL+]8E PH36 t%JLVM0 RJ107jQK-jmi#csφNj9 Թ@d 4mKwh YP`E;N{:`cbc.q HgLb\vdqNcZ[5<[]fqz~P܎843CR9ʞ&i2b-yoJ?.O;5Q";21 b| mngz/Bt,W28WhKV"6^ 2΀ad->Q7崟XD-+W6>evX4nKM CT?Өabefg;g] nRbtT|4 ;4rHm5 sAMُе63[r}bUwge 2Zه Yo(F=A,F?6|>fޟff XyKGI{9Vj7%ɬ K}lm.`7mW+2ΪڞClĄw{(]9T˛hLQ{:_t/H&PC1H X'H-%'9,Ľz_Y%' !x[ Hc71> T{Q ]K|#$DyMtF굛b!_WJ((֢NzETf9b|B? O]l.-*>ʪ:}S #>"=F✾D!(0L=(}pNEL*y>&XX FBV{VW Cγ zf^jl /h8Sc6h+=v)a~zJ S81 a˜( vYǍPIlAplsY.t xB+ҲfAڣ6>; cGK($@̟oB!Gny!Rpx 7W7V;7 *:hkkb{FAiiix?_ᜱAf~D\ ^ȟPQd Bk4gn}#Q ;I5I>:3ȅg//cI-isR8؂$+)(8߷t[ѢyQcgU~1j$CK꾋%\+[! G~8|ˠmt2+s*.?0+9\*u<BS`ioiFѭFx]lq܋ ɦ7D ݐr%=yH ,pw: pتtbc\)%;+ՆHέ"d ?B= /IA*Jd$P5b em  Z$OەwrsL+*+f[2a (lz p!ߊUX!Nz"Wh] H7~5̊\LSjG{bTmJe ?O/*+M-sY7"߉0!|8 6,YWwp)Sh׭$5Qץ?ݞ3z6#9j7SyXkKƍ763hvϐD$vYҪMxxߎlYҰEs9۪jYDq%8ŗWH~8g%aDE=!16Nj!J "RfԯpW>sY+b\}y>YUFA% l|뾠$# ]l$I#2y O Yr'EĀE|AL5-}-fZ q]IuM/U*0ʽ)L3rU+3!>';V Qi/HZm"ˬv!59 YwLeMQ *zr)W{#RS^ H7*5puE;]Q x9<([Dt&9< Z m_xI}kXta\z e,8J 1ւC|ODl_?4uZѳ_ĉVE˟Ǥb Ft'ac؎yk:9S /vwnp<0Y)eKGS0.GE0@C?G6xӘ<\%5^0Ϙ8WJNDÍcCML[o``),D w&m-nx{n^l(tWOU&nf%?_R-"ExϋW#)>gg~0)&ӨeZM[ &6UZcSthVq4,8XÉn uw@JnsL}kAiEuxey7 HSWn$gɟGٕ@ww0OZD p^%pUo`LYiKNuگ*.zfLJd!/|pۈ!a!EwGYjD=^refhb,'I+(}mxYI>ӨfBM@KxS=/ i;7MshKFQjYcD"j2WMt 鼖jhb|JIdMmze6 Xp[.8ciVbic\ ckh/uQ)l%\5FzF7K<`.`tयY4.ij}ԄS*u :P-:<`gnLuʚ6}!B!>(Cc_N3}jܵNT Օ+f \6 OE` լI`\O0oB4+:y(Ņ s}0!mi\ќN7ߞt*C u )ǘ9 PĺUZiӆcɗ0PsQq3`SVLD]Hlsm3Rq%l^KfQ(6FJ/2J%ۘ)| qҶ3tEJ5T%0T凭hqFBIyc/H9S>>9+X9-wچU+[UFK^}Cn:5O,Q;NY/kr#=:{MsZER OVII0䔰L ENI peU{At*;.M6zizk ̛}RvF'f^H9u$IR6ރKvao__sbCivhsփZy=>2j^5fbհjSihr^xK>L03ts!J)uP2D.RX,yzl< e#*^T3w>v]Ԥf؁ӏ^J׫wWOX>@5\Y*Ѡw>9C5D2{$X0"B%kq[hDDL`smH.&"4.>{o[WnLG+Mbe78:)Vh7^ !>SebVx'g}0<Al})gk2?P:ݧ{rG F57~7 }[D|;E|qI"{fre|]sZ}qTFvLX$,Ys!D.*V4sT\s5ʽvm^&|cJ-GWea?`Ra趘kd%:_[~廊AV:i 0}ŷ^TJz?xnTb4 }/B[oqnӺyWUץ:S c/C [)pb`³w*ðGu^R4He8>>1s[P=OZTXף@h/߷`KR׀I,I=,rp ?Ba2U:jF9[ <㋀K*'㼮3mD*z $[<*K([khsOzƒms {Vp}R;vg&ͬHa=K)fnY:Pe]Z hm,k騰w48?rFTJa!p)?tFi5yIt` a~n *z$eZaLZӿS̺53C])-/ FHGF9pCpQʕ"_m2[8* .IIBb>}\vкaqOˉmx'k%kVj]Ir(i{U5H,|\kkH&+ |06&Qg :ozwҐt_*.GN^V+ $f,G-?Uk]!hkwtS@&/W,,~YI4?@ -%+Nst6xk_>IZɿSѕJ8" IzXeN< ˼Bœ%q@c_#ؾ{";(Wv`3PEGWB R> nBLrI)3AtF HoଧtzyX t0xF`r&qTb-m Gle KFug[负` Wsue½YsbKⵛǻᴃ] |Lr4uB+k<"]OjN7:L1E#jG"z4$ 5\!uL~w[ 0aE,a@p$ nC0X}-WaǠZϤ|!'exg,⍳1|m.9kjC eE3`H֭Eɗ* O Vw//*C/?zVE.dq#Wn.7m W Ӂ5H '2vb]xm.g [b+ (,#~ E#$]J66ʼn4j6&_-&y-Si> ;Gd{c8sJ}KayϫNb|]3z`p+;\zT7Ved׋-q[_ׅP͡ C!G40A>GOMATY=jWD ɗM`8K @$=-;M SrJ ;N w⦌Jog~\!53= vzּ ) 9҃J@焊1* \YZ!?v IJ0Bkt(\ެTUvJ0¾{" {OOQ0\9T=5KӕT^25쌨C:%CVއ 7rܫq XfӘǹ,;Ef#K{H{Vª!X vA j>^ 0y ת3iGP;qV(EuΈv%LW4?x[䥿_[ 93Q!'tzm]D$"haAkT=?SJ:@LxVoW7yk_J2s)8-9P؍^cZ;oǃzi-.b]:xOT5ۂ0&䁣<ǃ/ŗ2\ɑg4g{US":C/Es4-t9`pAVH^Ɇ#-%W>z& ckhΫDWuHİpH#l9ny>h1]%A%G?<߁Th?k@sΩ]y1;"12./s"c5qO2ˇѵ=֒qU\\O.JUt圚A_֘yL۵)G^v[/'eItݦBbz1YE"%2OXegk}M(Ʉg Y j EIWKAiىrr@DE%~=6 /%VxOO܎}dI$>zU%*x~SR'0Qfz_ReUW8b@?Ω;)EEu4"Pm  x^ 挽syK56ȿ05/ح`CN$c)Tol{4$!֫7[ESjD]l Y#>.Yk"<-.PE&H*Ϯt>$ȨC? M 7HMhr͒3?$1W`hv2lhoNf | * f1v]ff{@:ߤ̍V;痺[2@gcSS3$]yȟ#eb=6<^Z jZ6YӸɽ!n-*pԍw$$ٛ\59$*sh 0,Ӄx0&gtrVLieI"@+X ZPY5i+}3,a]]^՝󱣕M}E޷llHi_H~)L"8'͖9?MwcNvZ\l)e[r쀎yR<-XuKqAs;N @zɉ-Sìz 5t$ɗڞj>虳&ТGU]}9 ֳSۧ|Wy N#/)Qm.=jcgөCY9_ rfmOgk݇,7TgfmyTQ1NY*p Y8C*s .^Qf{WZӌ)reWyy*>8r+(Yhn _xzbP!^C!ʠ~ڞ;,XFUI=_2|r ~BF;D*aM w8COW'B#JGi.D%]3מx]H.۫<axL׸B\=DP־Ps)-uDMk@`sȔy>ڇD{kX(iEj9)X%Ca`Q3Xu0̍A@jqqR&i$ކ,EZaK7ۦ wڣyf ";P 6tḥ̌bq/ò]`pIAXHwRz3u.02d=Z _1a\op۔YA3碉,,; A(ZAA0cۘǍ/kBx|7u.mY5 Ň}:Ď80+Yk|C̈́3|sP2g'Jxh8 gln1ǝ\["SC΍)h$;-85WɞJ$׀dPTT=h`Z: VKdYQTD&\B3#3hvBVW s?e}Bԟ(tD/Te^4 S@|Hm-RnĂ}q\iǧ>w%q,\[q,??BP6jgζ] Bz%bٻeV>F(Mn#WhJ6&SړfþL`%F:M+Wk3_[U. 6YM)Dw1l31dm%nQb-b]_`WŗlT|fh`ztÔؤT3Z/pPQ{dLHRz©H4\b<8wjFԔ^t}_CPr~kx`ZTqE7F2athho 5,r۫R&64+>C>(c wV Hv\hxGS-9YqMMr'HT;d:84!Q[9RpwN`aBWZeɠeIjki1Hf"mnկOHlemQ~ Zqn9Z˯jr g:cbmOɳ8 qwIpQz[#I+oEpI6 35Pl$ak=DG;[`h 9`9ʯ:.i ޓ~0jWٳ|е|%q}dP4'Z #8\=N@Rs;^Jr7:ЕZ[Z4"AE uu8x7do<,D6)པσ; "dgfeKoWpp+ JMp^MKzy?B+"?|=c`T~KF'5sJqqڡ*+$0~ CXIC}'dݨ >pf!mSte{ʵlOt#;R| 報}< ^@s&i,jzٟ#pW’y◮:KrLIW8Ȉpk; ׭dkr5(S _O8"%K B9~O:ujwdt?ΒM*:U T+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ͑92>'4kr(^ow/;Nɲhƶ ig3*5AV%Afos( ݈:f}r)hPxv1$"x~ƨ]Jr^M|)X]I*æk[j42bqIeVcP/hl:B3Ɏӌ6Ծ*Ó1P0[Fu]\4Y&qP +9 /Jl.%k@iz낓? TN .ޱP7tV2jGf[J2eMHN뇀GsWu 0 *< 4it~G(7*&q֠89#YJ8O! SeUNeཌz>~ZTYC!ɱ#2p$> 3`n X@F3n"jOINv^qD8o.H8GQJ.k~ Hyme7:N ϋ6$28Z,ޚJkf/5ps+ø" #ҿaʶ  .0ď0OxyEy`(ߐd NGg^Ќf-ՒZuŽmO<"<M(֕1KroE?hOVOPیnvuXEcF}i'gv _VF:M.; t)O=Ua׬GmP57+<ir #ģyvpN=e(VR&D7ǭaS,j/I0/.=@~gn1 ("WO+ ҈u¿r&4YV4I؛%(Ϡ1+}U2tD#Xc Xޒ`?o紳W)-@6{_(鿈/~x15VKǤ/#mDә|Rzt^jer lkXj p } | ]C./M {ivq!Ut+An6#;gnLM׾N9~cĆ^U#Y St'd0! Z/=EG_myKf;!O+ڄJ9=h^f@ .Wo}@Ul'TlALQY б_ј-Qh28#"=Pް=ZIe+,𴚇R(UmDcP=JөI̅E n5ѯ\8C܌abzA',{=KH2]reZGݰjZl L\P>:49`ϵ꒪'}3|.U/`J"EQ_ øbj?,pF&NE/}ܻ"Z9m nSH:2 "Crx3­oJ\86|Hܦ2~ ]k-[;LA_)M*vѨ3*ql#= 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 ~27r^=w:Gr+&ņRXL6vMx@v!0Yz65%vR` d`6㢥$,QATps*'}ЦP@M`N qIxo@)u"zդ&^CvR hi])C$JSɟ>eŘ[Sgw 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_id516l 9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ied]Άxʆ5.f-9 rq@YB`ƛ JH1]ƓlQkEemOuњ./wb\ ^"2/cCg_I;Dbǐ`,C k;sx[`Sŝ6|fK_ϋvT~J0~Xy,G-#^9/[_'ܗcIQӸiO}'V'᳉;ȑGCۻb QUSk0щz/-ڮ⫭0V3ri֯k_ԙDqc_Vj w Дu: ԥS,%3[GceH 8"I~k#g_:h'#_(Hz@Qz! +(U7/NqYME 'Po8UҢj%> zAz.A/s /ڜNW6m\[žɓ~3cl ꂒ_9fY;) sliWw.9'| Lp+Fᄃb NU_Y =O25#'0q奪@j9|ᯚ1eDË|7IExjpBu5|1w[wf\0}9RN>NҦ+>1]> .sQ攁'%ᖊ½; ~%c Vp8iw-~弚J]lB2w|p ^_`3GDV ÷$eX,+9'we:l<PnR"_SBD|*`?iI݁u&Z@Ȏ;^`sgCڏ|l5qV]hEsT[o.H >s/۪]wI./%lu]QSVkq"(:C%孌BmPܡyd$ꒌ]Cmn}((A.C]+7 H-6Tt1}+@=SW"u["G/pDE&,u(~ 'd&f(n X jU" XBG}b05_~`j׽ߥ ! +8yLP -| gs`h26/ } 3vГF|9jw-3ͩ|8uߞ,liR/Up%+pEl&>^c [_Q\(BVط-C=R[$-!Ӥ\ Կ*ՀC$ e -dhMܟX1PjcCP>,$Wv7d^˩tpk@xăܪzӮ6hD1uv;ezW|;pAC;R(CPz;^PnؑoC<ՙ G1gYZ~*s[llZ̪ĄkPR/5ɞwW[WtIpDŽx1%ɝG\6׫ t.w,rm><јމKnKٶ6p&$@sizC7$tUwwc/ 4*u$7 W#7Gl0_W9X,+[Dpx9feUsЇIaa_ɬ,kr݆OKrUNYb^; ,e @wLe>TyyDEiEB"œWW1 RkWvlf9:QkI/!brsOqi^'!(n=‹ς|6xYQW[oFbjT"I5U/,–/C"[mlYAj8٠'x65,-eT+ZFJ꩒P S|Kj %|0>*音&'-oNeLAjg |‹5(CAEm1w&CAP;@p禑mR S|<\)ET[ luP$/3е?}MaXjd-*SuuQc׆7nPdz;0(Τ;mFMK?MãbX6xbX)0 K10l$ aWRfק?3P+;Lމ|P1_C@ k4ql.(-H/5[nRQ37@|RgzB_SiHDf|Ƚ>(Gaaљ ^@bD*9Btu= Q:֗z$rk>2C[TϵQHIh3?tl `\pZOx!Pӏ ~"8O͍\t:u puD~ Jq Zh/ɤE*jMoXʷ]*Q,-D 5+zwf vծNU*(?AVzƶɠ/41Y!XK>B2rIKb"s9jc8wT׉Tp_ )T>+ &ݐ48GuE";b\`)ɉ'_ }ZVs/Nl`e'۾5 #YfZ<ß xhHi+M=`*L}{y(̜a]吹xAB~e~_xCEPSO;pJ=G6QG}^( Å}T 74ݢqEeuC< F T[<. v# --g;?ceUXz2kh.Tf57\|8HE7,%eU RGhHck>]/֗(PyTj Bߍ-Zk3݃h )01τ{K^YZѤyyHJBgtV Z(lc@7h_r9ӓ?|wu;ŠH1B~*&XZO)9o6;jqq}KyaogڇCQ\_Vs3[?ݳڹ%8[V9oP*mWxPW4x5K$@:Mv[FUe({M ba c?0HeaF[(04O@V̭(܃[֦#$ wTM$ >=mUr¼3Kuэy; uDmrKh_xjdh@t3$-У!r=٨rҋ^؁XW?lտIi ˺e^?5OS, fW P쑍gF~Ic=J8E4 (v"*'v 7Qzidg5#ٚ+[ |@-:҂U tZ EZG_7d7fg.s+xɚ ](|f$ _A9 N-rh3zhqg&5]kۥ*^m]7ΡaxR ,퓋F?{WwYd4%f"S Ք9WgO\a [~Lwk?e$T4ŷϏR3_=uy:VnItjgAy-7:CЩϿQ:apE|]4Ⴉ= 9otTw{zϲѥFÃZO`6)X|$:rr] n~u[M{pt$qbjG_B)dfyMeLǂzXtɁd|l6x-!p]T%ŷL\ŲG\4R:]_{<҆~Īksl;znaq])FL}/+G7W\bR =ySq7&2Ml >-zCBQo؏U@o<786cQJP^8E Z\ZRZp:&,!04^Gi-]4Bv}VZfy8(hs;T9=`ne}g)qMԓΤ5jta Ƽӗ8ɐu- 2>(},ۼ.Lh^4` ~3q 3ס0}K]&d9N\ K+Ƒ[KC=xuQw xb;A$ ̘h 2)(l)aOUn_y5ulA jH:dIcpw%ArL|m||UHxxO[ -G$^ IEßʋolSo>w7ȅ Xv4Wg]{ř?hl/i/w$f(HCw `?r 7lF^^IOo7QّP1ɪQcW,DQsL{Wv 3,sk m|۹b]wuݔ`IWq WbU eij9ǿ׼ Ig$QQQM(*q..JPJxcۓn:BF_/icARi(#9sޟn |5խP4 Ա**:k~|y&bP9FZyCI$!],toIF ܬd2ꆞ9!C<5mYMx 7wG}MHLY<zTj5p2b+Fy]| 1t[bJh ) we,̇鳞v]{9<ٙ"+dzc6~)PBu(]tet ^J ,۾NJi9˜&T:ZqܵڴЂbsV$4 LA7vN%(T ]W3{(hDTY v`)ZlJ&Fֈ5QCoi5 A][۱$^b78ckʂ4_<6>]`Ȝr9C]??XiHR[9d)#x/La."=&27ثפ2SטZ%An-Ƃ;( ]!"ΖZcK0l6Vȹz4=r"aR8q^nm˻WDļLD,`=?_ٹT_+~q u\E9*ff`,SGt jCLrxN/;ot'0fQzkn9>B˚CCIXڜc^HSP WïW<0M>m݃ѕ aIhaqӛߌJ؃gxœ=qSy4ߜHb͉s|"AH).yyd#rj;8lվ=*c4]}k X(, j"?Qzd/ TxݠدX`o EQ`⎺B)[⳦U4NS#!^Kv3!zߍ+f|~.Ajvs΂{p=D&ܕ?'qOoQeXeyґB/}3CNYOǣ;A;$)>KBo7Sٙ&0{HmĹRLNm(&i|j[Kx'뎽j?hqv>8pR#Y4HHtKybpesw_ć4uY.sag|PE71PKR)Ef ڱȋꄇ q]4=ģsFgc7:$^6 αˣiJ~6k f̪=(~\W+ 0u >v$'Y &?D Qܧ]fvB7m۷~!S8"|M'$XbSF`J+f`,&FCXLk;tGݵ~<ziC6 eRyjTU칪0=\}ZdD3х`:2x BJZGbiy0=3|Ͷ~̅·qzR囸|\ZN̸NG 6(UKCEߴg}IMTB yYo|zRɵ ' Bw,fsQ6ПwQ4PY0;U`>L)1jqK5~ÚC fA%ĎQ) WdxbKSx܆OۑP8XTY&EŞڴG4jt?V*ݯ, F\ןˎF0ixMaC~eLٚɪ"* fby`v1(Ao9_do2jH@E2BiLA˜w")d9a:hQuשeN0o 2f2 ZWҴq>2 r{  yz812/kYQnc%sήOrU&5/!4VFxFC4(g_/* jЊPuKUQswHR!&Nd=K>vOe{|{ͻ9"iuo/+ehl4۵.?-׏*83M2^W!V"0~% h10=fOk@!E"ɠG5,Ÿ2QrKbL7K=%J/u1Q,9A{ :D6o}%c/:(btV{Y6,y׊خ ޫ "Z8d UoV!I^Y@9#\BSH]Zg9fP|OuĊ!Y: 5p|maq;vڭ16O&}qu JEk:ྯ?o=oK CoOm?F'{fxpoRd](@b~`D (y 5O?B?V|NkL,3,4%p)MB/4Lf22=}.Z`ݕpd<ӱR18xvh) nl'8J>^\DSRNY5vY&ݨ$P66E|= c_ZY4VJG+i@F\i"*}2sM4-⮬/"SL(A@"#Fjd_͏f+PxsYدz{I-wV2C͓z;J5bG*S)̚QR"ЄߩP5t$  T)zn).(u?~k2e#r#_BDgX'C. թ>m"%IjuNgvw,]% &nL HŠHr[kv@F`f S0ݚ ٤ԢZI2st!!M*{0LYۯcmLVИoCʝX%hg@mGSZyxǁ#՛cn㜜-׷y̜l+0d[FF3׉!/Ơ Ygr LYd7!*HGm9|?uWBC@+s^Pu$%dLKT;=tĢ+qZyOgys AD6LI3YHouxBz)4ysB[WIOT}W=:ev,`A c֓1k3>R;* l(@I%)%DxHvrB䪘*U%Du6ҪRsڗ# hHֵn`OpYJW֑Ou;@q(ݻ5 QZmn9S! ~l/]/nep +U.XԷfSBq};VXv͢~w a~s;"n)){)巉I( e$f={#iKQW['p$Q\Zh ?"t`='Y %jl]B~HmFO5S%pggƬ_E_s $C~ ;DM$ΐh tKP#E{%+)p@7BoXZyLXhIJ.N܈SI{PI YhEst}/:|M $"6ۍ)߀/4\eGҩ+(n{oZ!m+4?Mܘ&eG$aLh$R:ʈtrJ4`W;[uhV2{"߈!5'$}=6J~=BN)=pa[E1$O2}wv'٭jd)j"L:fYƚ\|{omY#ƈ?WT652d {K!fߒ_s;>SSBB\HM(= m4e (8., ɥ-o.Xsl(8yda@ EO]Mv_%r=Nn!2 )N'Ѣcz X1|iy4̩I5G>hN/x_l-5I?(fen$R+>FL8=1(&Ia v\S}l/!3My:[6WrP=;w$uTZCY<&*'P#^W!U |fjC/8Nv`R)j+VF)}97w t "F( =Vn22QK,8ȏB 0;5D1ƘSQbgI>4%dFgz/Qܮj_HPŒDf'j"q*{ {RFG-0=Q_\ :X.` &;ZF8)썛>Lx>/>=V& [c<Ѻ^u gN+tog!|O^Դ"S@MZ(W'Z: !!JM=r!\ɣ)lZ̙m,OJX$pSΑЪjo,N~9]0K=EiIp#; Oi] =4ԭp]Pw2KȽDȕ0 +Y<6i IGKW'v9!@)wACK48f#HJQxJ^Ļ\ۇUW]Wΐ\;,IՓEoϙB*e量nj5\|ٮUKڮPt `?n)~|G(UJ a$k:jgyػX{@V,!.Q zOxQ3(_9:njCRj\UUslm}o55Ჯ AAi wFi˷SB8ߵz# D !%e&I-sψY金J3oo5$~.F"W?úYRfJcYl+]zN!qLL> er=ѬU3b[Ck.7h&7Aʢ2Ryo: @]8RxtKEh1sP> mֺfܘ}|]",^Vu+or65p"Яm4 ԘP(jVޙiYjO׹y9w-(Q9W_<2.qL&jBb(=jh3"x`D.2[n ;o/ĝ9+\r=Ǒ17?KT.rTt髎JB 58w @dhj`87(aizO>6ɶt aS4o*YcEe(?.`zr]E=ƫLXC3vSiz! X]g"nN_BKϩI ޭ,}~Ug: x̔yKp'6'ub6U`+ME "o.5{%~?drN /f[8+ l/Fxs SX7~ +S%YB7Z-|): # OXM&dJ` >fHh i\coJ={cLt0lA&_"K#Yn ;2~=cRIf!xpDaccCRU.NYyU-%^ȠZmMp Ef6Jmmj AvJN)V}HsI<% lzY$+1'D]\1ׅfūR,$bozRTӶڵmIAN~G#"4L.9{ N=6ZXx\RuNj9l 0V=UҧlsہjEKkv:t}O{hwp]vBe *EC&9>!/֥(qN41 רq@8^RlO*zW? hT2;҄sqXYbȸ6_uO<|C0/`V鱟e6bYc!Q @o_Aa2qS?LyfֻzN"BЄK^1m]0|uH}38w{\^XůS+9\Z` cB8`2C~Q4̂>Λ9ê6 :[w-Qxc+9KeX*ˈMI9Z0HP"" YŤ NSK%e26lUhnLqU' t^` 'y6.KkX!cR ]WTdecju1Kt>I8 07Zf's0{/tn w@~Ta =ou:Qj=G$HE VMɣ}[ZQoV+Qpo#3{-ܘONd4:S2dI2*Yq/lH#'䅙=7F4f_iIb*I79GUMLj\e[Cyb|Ą// M8vcH&.ÔԤL45pvdǛǽ+F>ApconɧZys)hZSEA #ҀtLC=irw^2G juv]?T? Im]t1Ök$ rV*3#5ze7e_l#^Wt."by.Z#֒PVg`Gd4ʈ/T6W O4{priRW'o5w%HZkIu p6/3E=V"_}q*=~9/8ӪO7w'٠kb{ 8pJtdMvϵ0ZYȒ80nyIӿ&MFa}ұ˲la((~ҷ63{Eyi%~Y]ѡ[ @ S X^:# Rfv,MY9+9Ꮂ]*TD2w5<ūI!2 aAH=!3G 儬٬Rku`ư;֛.wo2GJQC6OH ˑow9ǎ dĵH|nʐsx1ڟvӐHS ngK5xԵC&  6jā> R#RۿA!G|Od 2"}tsM5Ȋ.j\.`Ϟx`D)_+Rˬ^/J^k^PM̖ g'6&3̶;`aԼgIlS&A6Q ܉t@;ɘY{u58;Թ. JZF(Y݅*PJ /8dR1K͏Fv͋ڎv~+IaR,aMjYժum9j ;M#]8 ="Y4f-Y ,~A4Խ̝!K^8D_?QOjqZ-Iq2'֝GN9I;ssp}▏ƢdԈPv% / ,g*{Ŵrӗ :~3T03Dt.CmK̥>x Dr kf/>p!r w̥Ϩ&; pb;9{s#\B"}_(I0)g$? f|ᅃ!сW+kTcԷKmX28^Muá#7/[Ahc*)o" lCBc/[d&`)wJO>?{d&I!pJ0k5~ٝ9Ď}غ; `I`F IzHzٸ@a5N7R-sn\\8@uۮW8=t%eŽQO!*О?h2~i?Ȅ c9'> !HiaI;cQ Z3y^N.a!@dLλm/ ب`KN&!"EZzN ֟pX ;9 Pi?MϿjvMNx4'b敞f?B֥kpٞaכ?S"t-U8@dt.%m‹_A;u\KLEr0ڷn>˱Y~su"T4.XFD5wx\ rs]@1!c~0@(ldJ̳fۂ2K<=z;8ٗI^V]qB/7j\cG|5À҇23wNŸ(n ڈ75Uݧ!M AхK?<˭)YIiԣo"$1M>8>{_jf.\tP.!(8̦E ت6s R:Wb *jBMCOHyF@ {bV"hT9eHwL26lUUClbۺYPizcQ+{gR5/ZP HklS{ *a*M*jE^܀M}1UX#, Zg 'r_ĤZ5 2;ڙ֋0q޼Wq#%#-]qv+<$~YȻD>; FX6 hy,Q2<+G4_jȈ&CJL)D/G>4B^;$xp8m6Y$ҡcq~h_J lQ^K^hck0ğhd2ק0 VzhNj&H];c LrK1;rzt*EHBpl*3zRQFBԽs*2sL˜N7GkBզȅst;ԯ:Ci!gЙz529KL:'uE*Ȣ.Hڦܧj׃ӂcO#S4kr@K^e7Lg/pC`z}3~2ܐRr˫Ok)|~_}ƶG/h+]e%ȣ1V"h-Z; 3ny63;/[OFuP/23 "Ǘ8*^K%?M1HC,{ :Z} 8BNG3:/bqCB0<͢]# !`ne\Ofx6ݣk5vSX0]j1i笇Xi 4u:Ul2QLK]Fs ~ctNl D^ 5>zQ0DCsP/x9t̉ոBzy :DHȮNatOL`mȗ,>SIV J)ZWu^Z>d;baQe*Պ*O@EJE}fng5!*qCi9pJ﬇1\;x%6m`tm gyV2#W!f3QAXvi{[ *bɰ  Wl+w±>$^Qpj󎪏( |7:RJ rUAtA`G|≇\^+Wɷ2)Ł7ePђ'C8g4 Mb6͈8M>j$%Ӓ. Ix{3:= ?al;x ׈ts2ϹjlFQ&{0} h 3 7 oIw?'BnojAۑRc:JV@s'p6['>`7ICVhEFXM B,MG͛lN~{-h.%Améz&m  ڵ ̑Ir39S9n(G/Qh aS)T@Bf|G-&>C4SG ~LF)>Zc::%U^\ViG`m !W*EVH\ZZV(Y<,fS%k И T!<$;xXиu5ݓ]4:'RT,sILx0B$TWWړO2:y|a7h:OIfҷNU"_/⃋<qLT*+8_س*p[?D% cll%B HM1}JoS><|V q)'^O 6\ (? I S0o 8,lw1HቨV{#|N%H{t0$i9)Ā|8 ׼-\nŪ'XRVSS>LF֛Q U? ש*xͣu_Km#pfxP݁o`q׶SP)(PEm6y^QY=R]BT-1O֍ 䨓` ̤3 9CExݓfClU&oa\g4r Mg5TG!1vLs].-n앮,GAT>90%$vdE g}C-?\q&JQOv[YI=9R&&@jՀf0vsa,eZRh݇9eN"a"[+*Qg[}CUTOx~;1_\E"6ݎiFB-9{P:66sW/} %Vty&iIߘ2 U˹9ϐdTڇW2*)L AESj"gT8>5,B3Q9EE*Jmp"*cWJUr|ssƑ&`좦L""F}6^s5XMS֕{E{կだuQf##(\?yD͸_pva3kL<(vлѕQ'lRJ"5-ܴ7M{NV%cJ'Qdwu=TQ:{d3ʌ;6QEKCw=f)SZEo@o`ٚ'{Ir.|زCQda <,l"pô ڶ2bZJ^|LI>,u!~L^T0U(FI@)I|?vdb,y P,A$ ۊkb8b/ė y}GqnX9hZQ}اYJ%Ez '?z) <4?Lv{1)z?^g$1jDt8wCuEX$8}A)uёLN~f^@{#hHRVo5q,5L 17!id!]O @ԅY:S8A7_&%wt=՚5jIu?#j-_Н(0B܎,@G|߮~_d:k72+j+,T er%쬃D,e@6\u̾1'7Ḳ}pbmI"3bu?AEZ4TS̤HEv d**-A>:|rr\%d@1/=sVW$N6D` +!R l#tBQ\~&Zlp`JǫzZ?_~>Ջ p鄵q!V.) 1+_jTX{%(yɂ5zFUP̨T%b+ !:pȅ>7d+;\ ݹ)!Vϐlb- \Se/dgFOdƏd@!K ΀Cv6' NFǀca­ѝḄ":'_>[1"٠v˿3ՕoD\֝`xu0tw]4hq[-=MZ#цTP]mw?CS<^$#οo̚![GYZ\|.{: @jگIҎn2e#ig=~<)o*Y3,q,EfخFn6Eg+a>D2fi۲lNf9ZO>W e#_C 4E rғ K_Bܒt2v*[Q%S3!\K^<$?Ȯ_tO!/=/Srs>Ar[UV&"'펠 ˑ6a-̱nʹGB蒻 d0qK}\[HXne?P! a"/i-v""Mr 7J.3~DM `8tŞz>?&*߅rg]Bk:"9ON? D-P{B(ռǖS:|dxKse&~"[ >Dh/Dq]4 I$s.$i b'l.ʨ)dm$IDBkidޥp?},QihWu+@c+oJ/;WxtOԏd_>R\S=.x"OˀjT͈5ʪ@QM嵴ژkgA+b6/@cI<)Hgmb(܂s"Hg_6wR;N>3е4ީa5<=CFyxkrjb՚68&p|@ѱ4_cK f|9A eC̠Z'fMB2lG G>A.ń&?rET;Nz`dO#8="|1^ɔ>ZbK(d͛a7DJ>2pst*'ы1})i XM1MJaqSJFQL]a>Q,;ϡN\]"[ {e)H؞9IYܰ2kN"_0 (V˟sѐtm3M;JIXtkG0um6ķ.5lw?5]|shV1;fp4r.@޿608Zyg{'vK 3GIz\lAt'^E퀐gHX w}tҀ)"c6~'~ ʐMRHų&K8z dOܪhΝVxYؠ4PTK _@w?w]3:o};N"Ͷ =f ͧ"DTg\0`vP~I9j^,ɔ| ui/K~0We\qjHϔ!S|[4Yaf%@'rH)٦o?/ǎB(0r=p jah')jYB$POA&D*:VA ꬎ#(1t 1F@Mk|~۵{Pl"˖W|bIsLtcJ]Qhהa/϶f2תzd9^gŷGyO; P (L>)pi񶽍0 OnHVֳ(e0hN Gr5HSϸFq$~`5ոa^&4tڜRwDd1)HL@$Ѥ2fᦀl 0̑ _?99/0}ɧ#-\oxX*ǎ|!.w6*/"SP[j]cEw ^'bVPYs?5K#mH|X$Aϵj„m9uY¸J`̕ΓnbK߮EO5&ZFRY2j5] )X$t#jG(%V~Cg3y1% 3e\yQh{Db@"$/% qm[sQtWڸ`hnhyȂ'{m |d½{YEՐ<B C`gQD|a٪c_ˇtto]ɼoC8PŃ~=a.Myd&Ytb.ӵJ]%HoqJktR538WvcOp Q)3 *Vo`MsƠt?\0 U.CT{ Pu[j56{)|p)myXmn ȉcUo(N :^?RP.-蟆#AmȠDjtd\rSym.lIU7Ġ+bYDc  pQH.Oqdףк+3)nh}Dv3e_JFӡ2>(w\~GINjebՓ&Dk0MyI'w&P٢ַ0B?Vi6Kj %~ZK,Ņ'Y~k:}mƋWQߩ\'IC"#nPɡj:0!Lh4e>+Nu#zO\}ne-馳.x| Ʃ6gfw Q"!Bo!$f$ R0EMbIL褗C״Z 2?[bP 5#9v$(N_ܰ^F}"${ue7rrS`5ֵkZ l\pjU^ݍ.Yl 9.:ǓYz̝5_'{$͊h8.x5f_;r~'NƼ4I{g8֣X]* PB—t&$q.Qe"!Ƙ݉}O'fbDg^ &&2 Uu T#ݳ'56oq[@ ̃y(ѤR %תڳúPi1lL|W$5[ >ltyɧ͛ͤ}_*4BA7ދךNXz>ZDyp pY)O/EAz.8X/yVbZlC(@zpm>&|>螻2D1e!;6Z!-z'"|O 8N[e;w ͼ4 bƔ6Ĕ2tf oU?(7W&4Nn-EG'c`^Lle mb>~bκO.og~\7b:R+TN~v&| pNY;Aɋ`Mw/,1e']rW!C} 5=^LHz 58.ZԪ*GǞdl-i~N:,ێ'Kgduαcu/tOFKt)WY5#@L!q! m1ӠbXI6r= Er6ŷקL3Q=N.-wt*SԘՉP}sP4`zMpK Xyk*P58e,~Y86ŵ *s3r~ |-#ae4(֥JKhM=H*tZ9s'.ngR?T<-/ LaeWv_eԐ\_ GM@@A/ޡjS+>>Wxk~o@6 j'vd1iUa$W{/k^b5އƢǁ4gA@$DOɟlaZA2C;:Xݑ!i^L BESo*7?\ay5 Z_{ i M2|">oYB{NW!kkdU Yb&Nû /E,7Š4^e">VF֚8` -#PGsa%/Dɔ xй)- |Df':rn_@-"C4K 37eHuzZ]D}S\g͢m쪔* t|$4'4P_TLGc\a=X:˸]ZM= tɳid]$Ȧ'˹ON R$ɉKRym/'##sJ7G)WcKg4jH s8~ W?$){Ҟ:i[dSyoi-: '@uf4|0섡5cVrYԢ\<n-+7>>ֺC!Ɂco'Mh0 +h_A+$F Y;2 Wu;gS}x@͜uOVY UG]]ٖ&1H?8 QvCVe"8\hhV}MlW~2\ձb<8mo[(F^+ld[XWRi\@;<֞gx8y"$yd!SR .9(YaIXrJӗg5劃[Mc%j4d$)z9wGK˶߬/ƴV B+M>K5pgYZm;jV,T*A`Gs ;W@v@Oh3 g(V *mI-k,I􋡵Y0M/KzZWd);?093~]+ԝ\"vFOGg 1jM;_ cY|0"t :Nz}e+3lBz5י_tEP>F®L9yOѬjA?)Lehh0i俞^ ƭd@U.ifꡯ/r_ e gWbJ6܄$ȴ=NC5?JQUnߡUz D92ܪ~Է vY].Uxưkn,r;F|`24)*P_( 5ԵQw,VZEMmǵEOtI K:q{۞uogq|b&Jm9=nқ2}(\㕇 k;S-v6ݒۈyAJN3쓡̺)NL(iyDL Am U:L_꓅~ 'ދFi:JM}#>5鱄ķ]][I)b"⧘T3MB;se MgQuwŽBeGăQeYJ-[5P}F7\Z6wBƛӫ~_RhQɽ ^X~%%+| 莘Nq z ` [hEm'b5yaGђGfC3у\F&k#{(Cǯ M+^Rt Ȉ<.T /8\?A#ͲcaCbp@6xjyע$7Ե %P wHx;DwnшFwj-zMAV5Nu!K-,q.?÷#X?:^19!awc.]ԳL1TU\@(1%}.Y0gge:FN`89jzDu,ڮ3]5@$ pbtYd!I~:RqcAoYLlq)HuJZemDIO|k&.bb?8@N<@٪+{Sl} vM<ԍ`[%+Jm_@cMNW! rg32C{;IkGr9E>Хcej]3%,5cmKB,06m9X:˵3vIϝbK Kc WI,>ِ;Y-'Ô,`㼻WDG|O-'injD[h۪1[BMp`cߎA@1nޞ5\_ e\-Z[5P S+wDV\ϝ !OwϲR~OX[yf>|"k,HsMdM.JP2<ĨQOlgCҾOCGAl7(([VbóLGB\Gm͇C'B\![n7- ^QIR {ɩ\9my"x7E>k ;K 97z|o7&~MI(ؑbj\wQU@xƸM ՏDjLWښcR@O\SʙGD_Kd>TAqǙ{l[:Jk݀@Fq=bj1R@BU:a1Cza2*z-mJ_ &(Mg *"K`Pbċ s*~˹ALU+d.qf=cԡtݩ`-M#&xUrY'n |?ep\-[`({B Ow}2~Pɧ" Ǽ0pxb8tkja`VnV0"ds┌2g/ UTQU6m֝ʠ@Orvz<ܾ*{Fr;oX)Zd2fP,}C2Nx(6/= M:`;vm3,F9B9%&̨n7N:R]\"#Q5]-eBsaj1GRELYZN?WRsxDoɂDeX"x1~8|ۢai1lC=? !ղq-Li61%/yihdR>NI{:up[ 4νdMKw8=2L5xG3tт9p߾ #2{i PV\i]H!sP'%WDAG¿XnS[s:@YeSedk -kA0!JWI%7ι(,BkwPz h7f.QhЩxಓ /fZ⨐ks]wKp=T2J^(M G]ԫܰ ໂzE8\Nú`[tm4NG ޸ m[JiB;d1)ݮ)XoDkIk;uD:F|>Ȏy̭~n^P)8z 9e(h$ 8.O1G+C}ȃݪZ?nAm) LE$so85 ~ ,_㷳 ?=1NMKn7P|aERIX\8n~qxk9l'lBGx[oΖi̅ӻgA+rBό5'*l= ncUٌ>ZK~Ώ/||&UY۷O\zy2g@R/6Pލ.#9ugϺurG߈^sU[F_(m6F9U%%2\X( n"_zԽHu[ ;E zņc@aYJF7&Χi_Rϵّ!X)z bHeN.tmsSbLy4m d5[8< PX`8L #ݱgYZ7zXZִF! ~=]ŗXi%>P^f?}^j21DneYlZ%:lNzV$h %%C1<-d7ӓ81lD>ba䲭Q˷ב+J[_̱ʉt/>z2wcuT쩡Zc/qah?Չ홟ϓC"Vej*sm&kIYԃ.; Įl ӂqR\0jkc1bYz<BD 1KH]㏅=`; +^gRV5LJ11@əQRaLfaS~?x}qJ/9lF+>~0~Hzr) }g &Ok-,h10\XaѫI Ͽ6zӯZ0|e[U>~lWsSe(%]w6z΁"Mu@1L7$Rˇ3FTh$s\qdlW`es˲~o谱yt?aLM(w|< {NU^dS ^S dG ܯ4 h}  ?/^? v B-sVIք中_˫:@kB7*mIKT[:< :;\haoOw_u!|#!uhJ?ïI-Utv?dpKSe9 ZղD;(TjX2>"ҔO`:2̘LGk2rvϛ}wNK"v1!b6̰%! {b;{ !Nv&qZ€FFgKuu"pi" pI1HdZ&l1|>N1 l0]#$qƍ)Ci }ہ̯̃[IhBM.}IO|gw]v!ΟVu.%m{Nu$LF]HxF'ؔ S462=Z7ш Kq-oVpBbº/gp0ƸY7а ,"! ggZ+;0_U.O{$x UkuRp335#d_r"~б21Jb_dS1BO1s9jƘ˥KjN[hUi}i*5/^ J'4&DD[bbWF`<$ݵ`*4-Q-) iJީt c6.iTųLb*(#Ӯ!TM0#G88ꍂZ?éL-V7AX6x ,ot0EEE=+Zj2A2RK3xյC ^{5K 6-.=eBR!DJ6 KҹV/PX> ;ގFc)TE ۤ7Vw!JԅDZ7{zipZ&xymޒhDYw/Y6yz[%u3p L;r*R޶Ϝ+sP |o*}Aʹ5KZQwQ;o &XYXH!*wT8yyMfLpCfZ.=s7;2'<|=s82Nl#'2::yz^wA(hF>m%a!RsY|ۡ}S݀+ MOysa:p;47aw ]k x $DШ&ڻ||[zuT[JJ  L? or%irBJ88=!U2Zg#'qldr}}j }_Gk밤3lz[X S.*%MR0*H23BནCAELj];߶RzD6=ų gJ7#ʧ/\ -#I_H5g?6IPA$BEO,aS=ff_U7 pvI գ%ceUP~^`uJN2ԴyύSO-J+엷Y7pWc4eFKh., F{i!2 lSXñ2G !abh,i\?cֽϻO`Vo;8&MG*g%a)3s9e4?fX*x{_+H(54='PA=Q?|,h916Q]|?cdnH5[2Y\un<٭y)~h5aQJTZR;nLklh k2D {Ļ9DTYca7@}Dm$401^D*9aUp&,aWEa;œ/1~Roš^ݸÀB3Be^.R[o.?DK DFsAahPl[.׋ W?.tVPe{9oLaj(IĽz6iX:E^aB)# -,, O!Z?'cM?~ﮞW"@;zf0ds]<mm ^šc gXdgKc柰N6)oXZ 7moʼ^[,ͩWK$N{jI# n?q8[ʷ{FB^o:-KX1U ,D*U~\|Jb?|-C}f}|E,h= ׋Ӕ? w,,.8FvIs#Asp(0O]vƣw5:L3|QL=^Ii̜tV(<_1I;C\dSV݂~Pc'"BaBN`\bC*YXS" Բc2-ָ:6LFy6ٶ#LLvYёVRfCQ]h~-cG̵SRFFUG9ӇȏsyցdA/sDyAFLal@Dfh$]yqt;!bϏo `7TR) yOŮS5Z`nxA~LJ`rOM.r1CɛIB~  )!~^KCX&CB.YJB_6:>EƜ r [!ynC)弅RG6R󴲝'ܑ|F<#7+`MVK82 PUn~-1r\0g$U X9h"1o`#ŨJy(2'ܪ)2=\ʘ""f( j۸3Nȫo񯉿&M»qtK ooɞrCSnY6G<ۿRO|(Ϡ=$m3!3=W3]2;kIJO9 e#VkK0%ZP}J.E*j++~WS@wpYGTW>ϣjK"*zs7HLUFj=5*O%L}nlOyb g|zy^[:mLxM HXH*@GAPQxCE[ %_4r*TMqԇ;Ab|lQ:6ԙ|peΦ},[h5)Y@طwV[* i0@^nb͏`_=Qa+*j=B{xk*b&\l yquJ5(}(ۦqȖk}5 x0DA]i p= DM:75>WARs*5[L(o|lwoSMlH,}H4D=B߬,C`ȲX٪,sc|F`0󂓼b{"q&;IYCt_6?6Qk HZ͑eDr*;1â][-WdeY_ƳATA:΍?-Q4tڃ-lSz_ZmMb> mZUQhҢ^{I^=+O@82KKs$(-DQLғcX>&YK\f"AGޟELTː[qFRW&0&&]w z)eg0T<:AOS]kSG8$J{Y(Zj߿@~_q M%鄐q@'pVU`{O 6[%P΅;yUHl*+A}BB ^hO|cCQvd WR`1?N`;E ! O[!Q |˄{I>`fjWgc$] X5e-1ۛ& ZuE~&O>sWw%2 +$ L?.GisN Tۧ]f#@Aǂ/z9bA PX-xIAɩ DvʪQV8G?*K$Rlh[ (((=12zp+74d)!$y;'>:g۫ 4\| 9>]CLֳ.. ڒTbd{3Cf( 磨Bd(Z9"#;v5cµ۫_]:)Y&d3-@ %xix UDM˘"ϧثoU%ŞH*-JvGëÇIMz (0'g;~6N:i3ade>nNm;3dzOzMzo-躯.#b"+^AG;*i1il5ro)BwZJK#q ؑ*d4j%~G;)PK :rੳ^{{9r{TZ{~b yE۝ʭV&wU*w\! Fz=C s< KBV9t⻯߷RЏAt3KzG'-L}]Cʿ_PFr^Z('*[(s%(z=0 &՝As K"!+Mlɉ\0GhLK 掾;?@q8$ nOd{ x_A ^[fbԁ?((Wexmf,v(ImQ]yK &ޑi`<Sa.APRi|J'7Y7)ȸY\*j2\W4Ƽ䥦 kLRSX4$!_l٥ǵ:ׯe;?FMfNJ>VEJD5C7]5$pED2$BaQOx~l4ǞZ4W w> IW " ^o>y7ꞑ,X_SҗP }@`,~!rxqᄍ5t>M0ebvMݨXiqK39- Nȫ@ښkM}A?/6= n PϮ;k,`*{~J&חq8 N0/w2A!C Eإ;aB&hV 4 \wsc0pN=dBšmpshw)2{RHmPff PF1n>^Hym_mNDGwK&=Nxr3dPI`V+=ab1ҵ3ݶwAS5j[R )i?b|P?X{w^799`i9cw/(]xG7_N*jARwbbv d:{u©L]UWc(6]!AV6DӬ`D0Mp+UadJ#5 >BpM9ä%3{]qAB܊*s42 &.R¢$!*\m`BiC3z+V3W ܶ&tSnlaQ-m%1hv\{ϱeó(n)_xmi.3q%,B`}HJ>,|[} :t!] ;A/b [֎zH'tGzvVĽh!0],jɏwm (xFuQm2|V$){G3/~zsŔz|`Y,LNNa?7 RX1IUdC(x%"0(w榛ֽ5+$AoJkhӍ=w BR怕z(`G6vִwm_" W,_$6poShYiyd^s"d2&6Wv감i.kUTό9__\帊._U줨; n8GmqUi, vm8eHB;<2!]Ye^'G'b<8nȝG!_$Xs@$>7iP 7#&rbFo}֚ӊ!q3lP*ZRJ&p}1NXLzY-G%jY_#t={/SQtgBai6l At&+Z(Lm͠i͸j$M^˄]T[~hD[:MIߖMM;'_Bkl/i1ѓ|BΑ]2U`V@񛾓?F*#`(96r٢ rm\>֞A.UXb? h؊g_9tZ*^;-c ڌ;-;g%*뱈)[Ds]Fغ=GLf#&WB6#rkX1u #hkLaJ0Y0v6vCL!TIA.Op]^a;s-L ۊ1.3j(NzQЛKRbѤ/<%uz RMiyٽ PJl*5˂vTyv2 R;/ ozC 6`Ka.,ۋw*Uh(V o;W"#,ܔ(:Sϙb:T-z GWºFNH:,Hҳ̧+ δg%il&j+pE4ޥ !2^m8{ĄQeo? b)c uYMIQ#g(< zN\Њ54I;FaH`&KB Rgо-$?C&Our{ho&| :)*m`_KlaeK}Oz5Nm3 ­bc9-+537{tbI?mQ\9A?4&b#묶Zn+k&Vw~~!KVvCVHI0kc5b,;D[e?W8rKVdj~nU@~&sYk7`cTa{G@eأfko$+lupaX@#Q9Z0Sb{*Q8#BĴGvz ;ɊC(r ]^]>bI 9;s\;m}?_Ɠ؇j`H tvbӲ'"Oh:_!^g_{0 ɐpga& |4&HS*K ڝMmDX\bn=aClionG1A5hĀ޶k$\J6M:eJ0Pz|&0 ^W?>wo"dEh &u\-EMJ *;"_-eY9s7%S@iD4>S(B+U1\7jD$_wPt.Sp$JAP8Z$ޤ U{Ӗ""(]@=h e=}uOgXa|d9+47;ܢHB'$%/fU ˕a>βG(ل2%nW˻0vREb8rsCT6 џyb*\|ke^$rT.GY{V3t9z֠s $ 5t-)ˮ-P|޷]2&|YSYyk͡`s'KWzʥar<̑ 8[}iK Gf}'Wֹ3ov OLri~0RlBJ> roZ{ .Õ.ϵ;cLX# yösz;|;zTAoƱM!@--m^CM1OgL Z,?/6 {7R6e>JhVmuЧyY,z"NX=z '@F151LX0Z:3Q|b7,lNBzYwQYҺ^BW+nyU3qv:z܍"-ꐉ͘|A$!;p͸a񍬾//xQ3XӉ V @ TFBT@[őbF?̘͐Ħs <73hN7& ]w& "LiL- B ڼruklJumPK<"ePQ1zSvj3͈cfF0?;7\ WH MJX᳋ӼOlbm~A<ۍ@$? UMV7檅 rź1v;OrL7Šlw%.2*%.S'$]ɟ=׬K )],|hnBKp&gZcAl:d6(PdMӖuz BL{sf-Qt* ƍic߬Rh=?j?_IFY@l5u=AtNlF#݊5[z&6^-Io8K3`diIy4Eٮ*u:kmA&m i8Bמ;5,@\ _ύdؗu+xcpQ:1x?Ѷ]; "5IK$@ƈvfj޾L. `h.ιb:[d]Idx$Td Vh>{fiLEn]8O:Pr&I VFOCI)7dpafxKCS8hqR8if5N`ͺQPp6mc"U֍"[e)8QEKz{Ah_sK8>9RB9Ƨ hAv PgE\X/vҷesSOH|!95_)N,s_@0aHn|rX!}GT&FƖ.F zś#p?咣\~r嬲QQ9G>K_epfd8BM9)$qein XVH@) 2=6)"i- Rmgrl6/k< >X,>~$Y9E웅 cI ,ϓy^!MFH6";:GI> !Fn5JnsvzfL}2"GOXCʹtq6l x֧SɣݏjS\\B܁DVUa zTCc\pp`0ruQH&8&MhaBzHwh |ӽ9}[B ʞ mXM2U I;_ar3 ~ߏm29$M v|aӭΧ|eX!l1+Eh9j6}ԳCTuov9at.=P,*2~A7#cX;oD}nsW%RM"U8[(Vg/&`'8BvƉK;1G6Dvq]%:b~;Ċ}_j^a'Nf5꠮зPoNj wR16gs+߿ZwP2{4.e+yjOè{ynܖR}; tϞc/@9H,8QxɊ)ĕPT^+6p^/m E\1[th3 G2-69֯CX˒AӇQ7ujˈToi}1ڃ|'FCsgZM+K>Sk|4@Aa[GcyR<y6Xg-Zoj)CxT%d&:N lZ~v{1 T7f$:s|Me oԌtikJZws4= YX s(e<r-]8k>M 撫,ƀOd@{T5}mw I.('dMxz*8E-8lߍ%.P^jYrͧ +%iZ&%_gEȵ.ck+bŢآ z0?8ڄ>&O(8MG۵#ʼnj`k MgJ;$qtBw~bpޙf%W^x (C;H/z\H!rN>#4mm*CpEQ eMSC9O }"ș_DJZFiRCqA-:W|J/Zp)-Cε9*iO8@QCAEɡd(7u[dCMǧ= ̵ӧJU*c/&tT s o,Gl* uU[*65҈wľo+Mwi\UƆJ#<E.a jáddjLZE&uGL9G?ႫqPœu6g+)cZB]EjDPjʹ',*2:&39%h;^YwWzg ߅2O0* 8vϨx*gbHB!^`J?7D\T7*x@!d.6CrL(5MP[>Ëż.lQ租~ +ؕeG:4*VlLskJ[}haecT\; N6bXTk13 uM bm"w׋kK`kPU6^C'H>VYfRMN+2& +7E~(:Q?@vQj_A[_Î`rnlopDc|6(f,Fv5 _wC8 άcC9`pR"_IqoWڍA=v4"226 2񍜪wP4azRהlߢ7]{?Wb58MolɦoVR][EMiz|lo-,W, QԨ57wUwf?} 1T)Fmp5xd*)PiGq z150ANKIV {P[ż:DP1|rYx]4Â)=(dnn[#|4POdϖMQ@"lcUjD=&Vn?ڤ´í"3'yxsKA=X|` rp?X6R!p.ðB1FxnGҜWzhWR1t.3頚+`(sn(7Y|}{9۶*|<߻v7Ai: AzrzAA M'|V{7=V76SPwD (b\n`]I(Ȏ)-XHWQ9K)̎{ݙ'`BZA)uaWx1tvjv_LǠ >dC%<؁tl3zVXЦJ }<-˼g8}TX,J;I(Db{9{iBjҺ8uVRBK1N(uUZc(5re&nR\̍nۺÓѮB@D>b S@N;1+LW`s6l.C̨UePEs1㟶صb ZI/5>j5&E_&M;riYyGJ&6dž.>,f.r5~8Yv&>w9^;B0~v-#_Kp uЮa?x#c @aR[(FPDP|${ђWVe{>L%=RNUK~,s 瘪yɦC"ܣ&H*/a ܫ>^=Amaxz݈J9Ɇc3̞~C&Gx '/+#mjmj`M/YzͻCW cXUSӸ:DU3:هܑ3;Mciֻ-R= nect҉ɆBoEէ~/Fc 0&ѱI,GlW5m.a\vCrl!:7àiHL7sS8OiԻRQ'i7uV }%y|O\x:.6i4)9g&.[8*xW"uv3'%{B/T 4Fyǃ_B$mlsw8H;X:Te6bA,Q6;d`Y}!;btd{ C">X.T*ZҪn.`ju]u#7YZ[-NU+@'bꌣ8H)s"U V[Pᾓ|6kԇYH?mn[Z]5WnDoNYјega\hII'C7 $ Aj;0y^E>ִ'z kn:x%dJtj˷]fl6QU6F$3p>qCyJk7oq W@U WěBjFu Գݥ(Sv kܚkF@+3I Snr2Ӟq zȊs"@,QWRZ-_ pa3x5.b$8Pk ßf^EyAPXɧoπ"yõ/@=0)XR( pެwٯDb4ō<;Jw;Ϗ& J8Rxf1˝C8Y~KX /\E4}4uuq, y@sԓ?tKFw)/~#[]:dm[=P^Vx()'^‰N=459Sy~|#=JZKQ U\'aH{`  JgG%3A)K N@sE,Tmzk}ևjw^T1@46>q"ZᕋH\JKyn kp]6``p^~ͅ7z8diu)ĂFO}3$P1 7S0<>#8F,Lfh\y6JzHqR 0yF*gFd`Ƭy{ 97: |+MjFۍK+NcsߊDePJ49miN[Pm鰢X9R!ۺHZZffa&춅WھzR0-_ 3M\i CAMtُQU|SLf3kn<'gFJnVh y+ \(~p[S-4gB{{p+I!S!&8};)vK]49k+KY#P$(n>Vrg{cFo-6(`U m"{5WI. @ gio^K<_3N2S wHgR.Sx/33t|o6Al3èY#$M[í>[(.j꩙cTW<hhR9! VCTйVmQ*|yS8I"a3|z[%F~/ %ݶS$fs IoPf枸yOӂfyWJ1p7ߩ`OA1D^a> pVgDJg2H+b) '&)~iv-L,pPxv$7`kO5G5> տi1Ea sGi7;9EF(c)7$oɯ#F6Ƣ /ͪ%[/sd@볖VP7~z- gζ7*nyhzqD҃ S]C' !cU+T#nR7eZyb|@!9 b[XEy!h}od" ٶ1mnEZ-ѩԉ.Ϭ1]zk7"@ Kp`gkQ'!JAF,ޕ{(E;-Spb}Ff%.{T9i$csI [|&ABueZ8eryLJH2¬m -ɏbm^+%X)#/42^3{ U)l>4RrEV<\B1;:{2>-:F'b\鸈cvv]QVM?ToR#t%\&Mt4AByOI[3G-sd^jz;&=Y;Q)ٴ>aǒS@_4{Sv%a3Pt#UZƑ$^a hb{մߞA97I08Rx@%nN[݃) *Y p+sFu/NN"qfKN}uY-( ."ݦc^|Ls_z93$~B- edmAᳲͪNX1X/>:H"o"Jדn$T<# q*! ꬵ]!52#t=YFimuO޵&Lq,A$h\gX&튋j` O‡F$y^%% 2botEIAF?ۯi@qv +祂ct(AgVc- ~6&B^pC7itSJMc ]hs#NSΕ'頖UsuVQ{SޤQJT3 \[H@O&1h ޾({zB]emkf;8%BݴRvh<;PΞc>_}wDԒ'6]'‘ 0FJ-n3IQF0Ϣ|1LXŸa/Vǻ!Bl*+ HaX>`O;V)&('\34~"ttQsPO)SR;p s$X OHNV+Z:<CsQ 6|S9g}8cdk%{p)}7 3-FuFp,BXJe L$х2g1~~-ueD}-QTDNodftg3p;kЁ^^JiChhi;Btݦ2 OZ@dbHF1,7)mSH OyaՁ<-p;,_g .W?bݚR#dqu1# ,(i$P~*YQJ,ۺnAGcvuQ0*n$'(Х0dÓ3~QªpYx J[e}!3trҹ:yxІkkb>w-* FgfNAx`W9H%ׁٚ1} orA% 8`Va̤Z !"I:Gr6IT"{=S8E4^aBU/eU?f+i<\w_ĕu&1&4K\. xq7{9&QG}Q!Agy'gVd:ux?VH]@\7Zdhrc̳OH3p ]Ei Og$z"l4CxVHF++ usk$Hlb(TpEtp aDIVw(99ioB_)ZBВB1+[YCȔ De̬Z~OBˏaxy*,aꗽ~7h?[pI\Z[smH3j|o!]ad0Prk ̻M1&D8r;*_`uoS %z*4r 8͉U4tLÈ}pGdBufÓrR4(GH nb>U/'4RlcVwkBlD_*LNU=SqMHVT?A= *\m ]&(8|z^0H:ǾÐu9OYπp7ᑴ{ײtoƋMi)Lm󻮴VV\S|(!U׈K&j4pS:!jbATC_ NKrkС)LӴrʊaѶZ.6Wu&,-S_{:hx9M<;'Dt7<$&ފJT;(ˡЈ;}١sYznDoA;ykɣh~Ӹ<*G+Z$)(r.0lA3@2Dif~oEK>ִ0I1W/FtԧI -k7"J.-8EŦwUY`'ɞ' C%szcd~+]n6Xߍił Z~V,״surc5 Bv~ǽ L^mKW{@aC ˈ$~zl aHq]4riWA;Jt]lp?%mz#mƽ"R8W> m{\QԑC)-A{UEz=H-Ɋ@Z!0~k[fWюdnAHؾ e}䩷?OAP-%0@Dr/SN.cQAkJ֬XAL?vF#]IY$Ŵ Kˌ~Z8Iu4%n5]S+ݗrW#q(ڦLc̀s_@n%r"gQSR7],j $UaGIp^wU(1G (wI.Kn}zkg? QJAY'SIяzie.Z X9dg 6| [.hgbѤLCK7,$A)8]q0naC &]/dꠄ0ٚ ]|':_ b9p ULvE)ϷDK0¹I!B_6NM3FA͏Δ`G;އD.} [O5=ׂ!wyGR#e{KGi^qT֨eؑ]#7_@E2"u\kSz{#.}3w`2g)X+%WNc=$U7?#y{ I4U'ݶuyFoRY~47nICi3틘'נ8 dOWD"pLc=v}[jo4NV*S<`kp(_T +'=yb &.>Hb~O!ӬX}߀߽thڭ: k4v(f(f֣Q8%־",yBQڵak<1W_ jyⱥPFF-- d@qo_tz 1+5GqsvlY,.ٽ(աPqs 16T ӰoaƭĦ8tm1n 8Ж4$T: Oa2C@!z 9JҦ"NLٖR؁]EURPhyXA8"_"^/x-iuҒKtfiĢ7PWwVˠ賋vZݷ_B_#A o@w;a'r6OIϳP)Bбe.AYxLq̜-PeBiLCp# W̠؉z;gEj !LeDqc_BknM<8U{hU/=;ݫ 샪UEzAKUDh\o;3D뉛7"f}o=?V,7m+c;y`4DS{HFTKU7x.9TxSҾl3%wG-| _ b/08U΁JA^, hh(Z5T)'Z\Y&ZI73OyOڏI+@QJuKƲ-VYzO^?%fgگq/k'~ PX^vzh#67HjKc/(M\9#niHE^ZY AzDu-\tmw:.UiZo|W+0m4iOxO8g>Zz w/xC@+9kFA/İwgX9VՕG;gs%LADC,R<  VR_+ogr5GŴ4WI1i d .-i > Q|"ظϤXQr"Jh'`eL{637]q;Kϔ,SruƊ񂁚݆#@t&]KV>tm#aYٻ ͑XE~yIБnЃ2. *"OW9b^,}7lƋo¦@rT/4ܟ} .%8lI5*atף6Q $ eq Vz*^pa0 '^+l^cgYZ19ce2c792c484de802857eff8d0fbaa4c1319621f5c535eb8e289f9179f2cd93b57b66300861cb0f a3bcb999b7efcff01c5d291a88ce943b9de5e75d 725e6e9447fed785c1c7d5cf3badca9aa796c484