SQLite format 3@ * .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info :9~\<| ] HOL-Datatype_Benchmark:threads=6elapsed=507.403cpu=1843.873gc=723.2927zXZִF! 4e]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;fB0}@f{>1do f ,9[GlF4D$0MN?;'vav3*<6!K˗=cD'[ cJ߆t#5l}Mma~*e8ٍ]g9hW{3slꉙԅ|\]z .ពޣ Q'Q,+{и}@:n~|Zɰ)TjΫ=sN/5{1i+h!Ļ=y}a1.V]l,B!& eav7<)׫p}Tnfd q8L&F=o?;Sp. ]1 ww:D<<  ӆbY|"09 jWPU] p9/MއuP;zm:DVqc/VWldTRؒ9UEm.܉%l Z\忎:Dg}KPn$K}s:lcxF/cW%ojWo p+XoB+ˊ!]z]Hq˹ûKsP1vʕUiwiDDs:jr*Do\¨4GFf<2'{TXxY 2-R IHx s&ܢ]K̒`SQ-2F&7<u!7V ],i:RlZM^./1W`<^"1މNq}H1ą:ߧ ]8Z8 e_u&gc̩)GEk:L]jbwq4j{ׄQY㩘ANܜ%sƁb r56va 84iyYd,wqRbzi+Xc zh*ڒҍ5btP{_K/(+ q!6HpDeɨj\ 7q"Y[\N>tOG=R$O:4c 2lPN* 8'W  ix̱gYZ7zXZִF!  ]ŗXiɟ1)*u%9(H>yZt]4)^xZɔ5ժSK㳘sGͻ5L3 W ؗ >+4j;6F @߯꿟Mo:..V  "TAr 9,kMW*Lcg/#{B~{B+W.7n-1בE 9CÎ{ϕDGT \/mrybg3 6 *ܚ/ӊ$+֪#Xrc?c=ܑDmćt4æ?-XMjUsȩdQ.Qw,-y9HxN\yhٷEߺq hS3N3,/6,R3ʊJ*ݸU,sS4n4 Ud#HByf{X>Lz28ULK]q38\r1zE,8F ֌Aqǿbo:O'=êg¾,`4}b}R[%y^sCr[bAR][|yʺ|KRgfx6\.sL߇J1 FO-o~zs)e>3)a~#j#ǮOIѾf:S N1Ge"'vf(/Rw|@IzśwHmefMj1'h`-fx+ ~9{9p9#[yA:El.qiLR86=c$ƍTqM7E@Q7? _ 7 &%WϚ@S"%٭/ūҰUIC;6x+ސJ]\ݭ4FkmIL )? TI@,j= oܶ!3]# 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 F Fs9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id518Z 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$ד=$ %Vѿk{z o pǙp󈺃 HhRu *0_EY̮nڬ`9abqVUhAĂP|k1 XHh@娝n5hD(Txhf n *gsE  ylswUM:+,eB0r]^u;&O׊x "nk+D2RFF㛉cԛa]Y+ZtwmȰ/_N&^nV^xlAۏCbPސ+t .'z@;|ODȊ%\w =) sD"f ZmĦE'JS/:rb\ (vH&9 ~ùc7MRQENg ؔvz. !oX_5` h򥏚}x]F"A6C!jL\ k\ 6Ǭ0BZhmCMhD&} 9(}EXg9[sm\ J{[HGYA[lj; |l&*",VPQ2?q4uO|qOf )'a Αf7yxLZa)G\K#P^Lk"r;IO+Z;Gak],VԌn])GYMS "ȡ[ahx Vq!|mqY02fpڠYXDĞ8>_~J{C]t[ӬTU]C̼b5IJ6H-.հ1Үf<)?rP wC$vR*۽4߷aUI.muzixdm'#DOQ2-#ee:jNA٪?D|@%tFmwq1 كVRv*6ib@I;. X2F#@?|<Lc%S`Oί8S4Q?'ooTOO-H8Č{ !y#Bp[66ζ֨# /T/$V5]9\˥^&q b]]0WP:,MY㼀33+Ø %1v0=*T;4&dG/Cе-] c2PJŧ'wdl:oUe_+nJ@Q;4З١vڦ=K0X1j=-1d(Z*EA(jC/u?4Q񜊢ؽجD_`IЉOr2@y@0<_bo_b f KwI4MX_);%Ƒ!- и0k2r!;wg4^Hsfȇ tM2g5)q#!5e, JCЇ"p w#[>)MTV]e7R<02C xGjCD<7V?1wUb22koBcV!; o"AL QBۘ*#7?*wOꚨj3kk#/Q~Uiokْ X1jv2}Q˭S?WH͝;<7(~41} R2L(]}7-h`iD,9R\ŲI[HUiAC΅8>dҨ 0 +E(k#`_Ă%ЃLU1P{՛DmKjmQSˁϺ=CꩻJ6PԻ\yZe07-uw|i-Brnѻ-)oΠ=]# 輕l"b8:; nAA(]D =0lT Q~7΋HY''$m Zn\V01 n+gRD싗nXZɖ].B| -u]]-ZDW)A׫RAdl*OSˋ(t^} ޢ@Z]'dֶ' "^Ӆ-)ZU(rg yjmd /VC_.F5Ҩ%* Ҷy=s M(mRNU{=UlG4LgY/;JUh NuyWG!EIDgcSG'9T]&q&UQ;zB^C;,֎Jva7Nb0)d써{92k *wlFtF Ri{^C:ڪM* n YG\Ap"Hrr4>}[;Ҡ$UKC>~/:Va+x  uK$s ̛r#)ʓUb;fIf-zHG=Xـ|o bhkؙbs~Գ$' ٮ* amR0P >+( 0?KĜD$Rz':{8c"(3fmĖ0ݪ rU+ ʺ;5Q :z?ьl̯3kLz.4p8YR#"ߤ?{sZX/`Ǫr=g{%y-ZtN GBvi$Awx |I!Ȼk*ikY˗wPmˆ:hʩ8Œ 7qoht١ PsYGq[H-ZBl(Gr{5O0i_4Y1:G8 .)dOYkQA1; @9!̏71CiBaPx㍥ük(#O"ܡ0DkZL̨Aiz\^hjm'j\I>Z (u0)w [f=EH f G7NӽyA! )ۋ`YDUӭ&M?#j;#x1YC)"mv- ^['+nbt/Cdt;mmtO1Ia1kɥ܋[ӯZE֢&,FИ,aWyM#Zb-^zמ>u"(v|mF~ͻW$]Aiq=T=_+}NWs# XxA<>CGkE:p<v +BĹC;ȕ̶)T $[0l$Ĥ^S볔JP܀xcGqd-V8);…tp6 y4cjdvYTY*C:ޔWZ {9~sh;u>pi DA{34~yPϑ^1 AZtf}fOϜX*"8&kRz޽;&Jp[⎑&+2o $jE1 r@ _ DG'|%_2T)~3=0եzv@ }TC8}\;/R cW.-YFǕDЂ ABV3%d6BCs)C9'#߾ "Q!*kmI{R6eV0k^{|t?ڡu>V Sa4 f@ȃ vjDpŒGM}AtnJ.|OS6uFȖ3.y!k[!cs7_Y_2W7Fgb)0ZP20nj+ҰPᆭY9?2XJ')]{GR' w(2gqԚI%Pql V!qz]mm9yg~UD6 vUЙGs]_Ѷ(9ҶHxU )Q:lg\u,;I Դ`q+d{S-n^c;^b3mg$:%6/1~8݆+ƌҽ5[SAA5l ,pVWIHgǓyOH(+#G$:&3[\aNP?T@X)ttv7 rHcܦJr3+ͰOKr#jbճݾ%q:sdh(ճupV8) ^" H ق.LYC@95:B)6#L6m&s@IͪWMVUeM\@OI“5RgyFqk f?wMb{L/ )#R~w4vIKPYߖiE5-CN,zwhAiE\J^1B$Ozs ;7 e+𚒮 >sEp'l~֯ X9>#;܄N-&ef~v?rIRXĽ4^X"- ^aӵ<7}B Z` h=\/Y:h{+> J8JkRaу]'&TvZچ=Z%8P[uׂKءRȤ(G ,T;ERISx|4%ɕy?$#VuåcGѻ& M68%<{o.nFI r=b7Jꂹa^咦Q<)f[iffx%S`_(ښ!C20~4DL۽zԚv MaT^S j-VvS`Bj vQ%uS>c^%dAsN"c^A#q)ZR=qRw&t|m]/atXDZԳ_qzT$yhe)8'H]/JQ *17]okC;8lgW[v6mc6uWQY[yTF ıvNLNK`Z&Yr). 6v*DBfu. ;|C.- "L* $آn Д?s Rfe\T´MU*i a}6$$aCᖠ-*_S| zI~u*ibAghԨ[x<5VLw>Poq9qBvmɢ$P=N)知P ˎlMDuf6tn+T;ja(X8#f%vԙ (9α$ +0a9+X 5*5AR7|=7ՙXMѴ!4|CXm<Om\tvkXO/ҝ/LRU2aqHJM9\}'D ލ6Ǵ*}>3̵v<)Tcȇ!3#:4=F2ekXn5gD}@QF|#&`Kt8>Ԭ>NU6H5]"~+x'XFqE dPG `dB1M+3 c $!wc缳 D3^$"lK%B݆<93ȫߩC[&Q[mA?}eMJxڃ˾s^MCt(NDʥ|lc94Vb !R4PNߕ mU{zGئ0ݎn@un#U 2t-61WА7;考5IݱEmf)$0ìE{FnkFj[>7?w~+J׃DKbo \{ ZFĨ2}9J -ӫ^"'Nv%|бYm: DV(fx2mk ZRKT6uug@0m?Rgw8SnP/e?  +zY%^Í2'K~M0|f# s?L/ ;EsE^fBgŐ@/>ݫmzWԆgM Gzmme%WvVv[ݛz[zUȬ9/mU EQo DpgJR%M[ P|uCH0Ȑ![16O7Bji.+_j 5_}"<i?^`iq@J|e2;#!ƪ1Dx~_yT@c @ JN,<AeFjg:J+o; At[.:72Og~=/zX}[1>'0TUW9%oMl(gO0Kp^h9Er$_>Kk,J ] tU@k% !NƩu/ȴvq:7&#nqR$%^|z^S8 Tpѩ/Th~cMj:Q@PgzUGr`+Z#R,3by[bJnVd:NTUAt[IR{IέUΥ;_@!b8cJuҋ$ݞVZ?x?#Wfp%R& S-ۇW6;%v@37`Wk`pƶ5N7H)LU-쾾((zڬf+K.#Mvawi`%v%Gf3U4$g^ZɧЖ񨆪S 6˯0-Q") m'ߤL;VO9K {].3hA#Kx󱶠XEPp(gaF2mUrO.B2߿u>\G탗 NS9.h Tsu `?;|3Ɲv_5Bs[DO[/Cc)ĿvCkTN+TY/iXv_Be-1E aOt_͇ ,4FݹUs\uCM ³ꦢ굦ȱ74,E\jPhAzmKz3v`z9+.{<[GSCtK(uaLdijMIm.1<(y c۲0XU+L"Tm #JK^3.rvPEVNUFzxVXSUu{(͚q305?aJΖ苕}_R5YNT #^ڱuk1T)b]$UhJ7ңaJɨjyO _[ !r `+ %p(^F}۰h\TL{+"qv"(֘#toD[$a8ڊհѩ}XܾE60y/3j!7w{{`ҬLkYā#HbnJgJ.?zqOA Pɜ9S 4|Cb uioh:q~ޚS𣊱F4My᧨bsyG?7,a "52ZV;GtՌ2˴gN!>DWw" "cY>4Fwe/"5]NKrc\`nqE$ڼ:c>L0r%.yW<51G`6AqI ׭=Qn2e#Ƣ1D]\9y !nYBanl̊#3'Dq6q.W< / YiSN^U8mY+q"rTctS0a l]Ar]i`+M'p3mM4y }GhSJ !}D_<*p*wOEh#"l[V.u#j'/67BGr 'v"KS0~s *4#ŜvLæ~(nyۛ |+Y3{r`<33cC>=ޯIbV4|Zi VSh|T FKpi6e8S]Pbo*8sc )P&\5RMƛP0 ԫ5b4j`md=<j4liɩkiH21[' |2-uZf#3eW] sQ$3/=Ŏ wH &;Rm0lmg,Mh -8Ym'H$#qek:{yŻ]sĹۑ;<ooX60H4H,A:a鬪I:di2]Yo4ώ}"'p/PU*⡮oVqA/a9tcW䐡x"sh- Rt@D6<{>rseInhY-& '|æXQ';#3shtZa;ny&t \x!9Uihn/2BCnA]ewT L+t/2:+a]E~40ʝ񲉾&Eք] {iﶋr3* E8FcNÔpRRm,!$d Rׁ2EeY4’  Cvqo7İ |'Xxi)?]\"&gA~W,һ6PH@ 8?<d.gniy=mdˆ"_3ZmwӔ.ۂf}?+%Tar2iR9Ƚ,C#Exa J̵dy6kwJqlkPpL4+ RȆWr1N˿uDYyCTh{~1 &'ȜY>HZWUV1XuE-oȢyO#7؂ii&UF z(?k Whi6Ǟb,@֤*@x bq9ɔ[|>X6 Hş IBOiҵb(Wqf!ٙ!`?VvOS1>ۉ 5u@7cU_\%*QhAuL@f]%T?WO,fhC 1Pmh|Δ-Hc0SX %p?jWL!,uwS?m$k9GkSliSWhqշ0'c٤yͱ'tq8sI+XX _䮉s-;*eFgw23}YПv "F) 6e$k*zMnS %Iج 7/Lyk|,WkSmr~R [<ςYvBՑp,>2}H[B@ ,sxг٣l3V΀a/B{fNc1: ջYY*,h$B]͝ XH(xXaćb aCU%b<s+IE/ "|YxtϨ;$ȉ۰ʠs(rȉ~)U4[7}uRƱOnD=nWra ƓAK< rLmG \Ҋ/c5* Y@P3I[qn,Wh1?h]KKSla *žg|mG{PSB&eR-˙#tem_@2G7qā_yC[aQ-ؤTvWHJtSRjśV( flإVVOG6$T{:? ,@W 3qcY!'EEe21w], ,3h _H9r> Ju!=f*uQ6:?DO N5_g?s?Hjcv|BU_!Z?& HnXbD.mϲoDBLcШb`~Og $/=ԣ*GZP2;-8X z`S[qmy*cCZ,.uy0}c>9+-oMo\V70cFQԪDo_d6⺖!8/ 喁ڃ҂gk@ogeU䭠h~Rs.#%˽zwMdm?B^I2߂M3/Q*wȮAX&0WV巋ڍP ^^XNeDchOB&P#'.0;WaDb9y`t6yG >\syrP'pdRM=.*p$!E5V7Ke{u4 Q>zg*Tc̰ze],[:u(b5C숝ŜKg`}t{ |ZK W<\?.<<7};@MMx w"iإ( ='@K|*~=DY6aߩw050 !xa٣?Mql[db;(LQM($u%ԎW 1s+]| 29FO[#WĖs2 ĖDHUe- Vc.PHQ#Hn?0tK ⣛Ptrdb2 z 0m8g$Ff$?tr=KH˜ ;ͭRM%,Y]ˋaNZ2?v1ώr"ݳO٠CL4<8Lj +J^Ų#VOKٓ*xC]] 3Q'B:o'TM GVgpQ}GehIrxy~86ex16K%@'}Eo)mY3cBc·_Q)0琶M) hS=QO|)F.ےMំ8->v]; (5Pr5*cEug].aP !k4mcc3$G(3KQDy,(M=.w?,h;w.&QMfCL\:PSn0)$r/k((WZ3T$Kn%G!dE&J.vA? 6Vr6Qލ ^w+XhZn.VCEOB*"6Xo4K (au{C.2Aa5X4NZCZOR)rΖPJ,,"{Lb:ʰ8)Dϧ3VZש@baf虬+y[E hrĐċ.^:/:Ny>kxYzÁ b*z@8YόiEnIwﲎ9&> ySa XI% 3JdS4#GܟJ<ԁV@sɖ){xcR?[aHsOu*^kt@9$J0 JX4,}Iq#ksB px0UC8ԡ h̀&]v2o%Nm<5Q%HCO]?,D痢7'QUPtKZ}]QbO0ek ī dشxH֟Xkܯ+{9d`RϨ_$tҒ8R~Rn^0\=A&?MwPf1"$b^QlNa*?P[cYZ]:@;kşAmG^fS0nvˆ2eJR@X|+sǵsl}8"e1#V"k/Kn(K$5op8H߷%!C5P%$?IAzmQ;Uؗ7έA(|X)Y@ .;=!=ޚ |@I2y!nz.UP&6Pw!R7N=5hTU9#c6$\Cr=ٔ3l31_ |PBxǵ1jLܗc *[z{r}'~PG48pc7[ɄmQ23iJڌ%Uq(MQYCƍ~Uѱ{n<=bx )BKnBَ7m -Wxi<$|!B@.*pEQ\JH3o`;2H\W$O49'H:C炕YOA^oӑhkJ"U.☴^naIJIQyŒ&%R//Xi:cMlE`)D ]m6r0WK nf Z) k K$`}}Z4'壸²苭1Я>{)1r+hC|M@׿`ɂF<^#UL.JY.\&oF]gPm-ڔʸ΂ؑ>ڥE> pڱ f慗Uxfl OO|vBx_ˍdz$IbH'g> h[dwfQy7h([9OLeH#]Y6(+Iy7YzhИfg>A:ˈw'tO?\X5ֿ~qKtwŰiT6a!]^vvƙ'JIP ec@:,h ,pK|񧜆3-tniiT!ԧ}bi Y啧 $~e'agtﴧ Sd0 V7֦B(X,jRPZ1JxQӤ6=ӐIeN+#sd%]B;r7.YHv.g6D%avczx>hS=+;BmWH%=5J2O'c9y#rIɖThLJNQ7bŘ;v泮ž0B"0t ;f.k;̡ [=&pge^uDŞBݘ[7p(O%oE';&jH\ ?RJYZ_cФ lNCf ?NI#T7{ggDӑЭ8cFS\Z-kw)7T\V>1Aԩ<#ODf>dڧD{sUH%զdL \r~KD@5t)8+K@]nsnwq\qy/"/U!zj1[u~~bH<~P#;!UgK9A|oLX5d4"XX!5\Jm7D )k2ݭ ͜hMb&$dapjŰCH_gYZ 616x9G' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ign]Άxʆ5.f-9 rq@J[&hٶ"?gtF!0WISZ:EYK*m2vtq5[ӄ{z~mJY*AFfKM4WLts7 ib` %@-p;ڡK.I1Kx|FbM.0M+i TUH֐/9#'VԜ:[W3ۺ;d-$a:&H Obb24*5<f r(6}jIM\tѓM.un*}h^;Q$Z7NIb'E@jP1d2& ^?,\f&6 rTQ_Fnl2 ~*2`Gt*V H&CT}W4E0L]Ule'b4ls<*toT,l0z{T#'uz\NECyX}DlϹc54]!`1k3+%0%eڿ].FI= ͗7f9zMpz.A.(sd T#oCQT$7 )`@PI_]wxnm0]#6LKsO(ɌPxnY߆qr?I hO'4_3e%W62TVo]iՍ $?~_(.4 ضA5FO1DPcgMj$+t'4w{ _s1ˉyg8y4А{DsEH큄 wC0[l#CQ)(6`XID/ 8dHk)ն pgYZ3 9G# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X)]ˠ)jk2p O6LP=͵gl5eϿ>+}{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[j42bqIeVӇ2Q>q6Nx[$ڭ&<3jt|H ;zե֠3ռ]Jާt~K3)ʳg2,EPvjѢK O4cA-‹m$c_J(O>AfQȒ8nm5+D!f.l|w4ST8.3Hkg+oy[ĊW&6mb# MR>P[&`Hu=(dKk1-u-2$\:vn5= Pׯ6384{RsϮ*v9|GL:L8 F'p>T[e߯x\_$92FT;7e <_:8/ۥn/Z a.-wmlda6{:z mhU+^o\x`CAtunb7yku +q +PqOE}n l)͞_P7hwN>x :_isF|Kta e)(Vs[2Ӥ_\{`5x#]1Zm1l7aTova=IQpkC?*3P=Z $>A> UDuPN3GsV=e/ oP .'3,gTґdؙ_LBn?F7Fr^V FQ.`8BʡE‚Eyu}7$>8GBĈ-΃<<^U 6`˿Hd@>ygh\SAdЗm0WlW:k& Ge**->B p)׺4'׿,`r5-g,|e5]fF%Iօ(95UbV)[ԬKxX-Z Tc[`"_* w^2nkf{~4x8C붙S TDIrO"eg֣0#gtiwk0IV N=+5#6, ZG }r Ԇd9Y:Y2f\)_d$MG6!h[ .vFM(&-)Wo1H]!:yc%Yޒ#Ղ<N0{77Qhm<=|衃oc疨)@ ?9n?:9K' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢-]D?7 {?:fH\62PgrCtS86'ӽ*v !6Cys Μ h:\L5WC~Ĝ \=rGt#βttqC89TjQu5A:{iPU^H;OJш*32T'1hĀֳB#Le~uu)i ut/?uS ."nVj)-4nK? Pz*LhIv!S̒Iy"B>\ҰqDu>8#7ý@ܴo߉ /$m+A4H;QƼAWW{yWtޝ#W6BJ?tK BIAXq6oM(k$_-N PpwzAyw,DZ4e@D~<\V T:('%|?v$>v-CWZ2v|(}OGpXN ph _FW2;JX&=IwK~t" 9K# ,HOL-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_id516w 9I# lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씊6M yy 1tOΕ;5&N4Nmt|UVwzxxJȖF agԻn*'@7 {Υb%p$ըJC#P#l@Y'[ϭxSAIq\XsAv!Bxك'o*M M&M{|S?SރmE{0JI|%Fy IkstFӂv6vzNP=(_/ 73/FB[P=XCVڑmM䄀79ef Ӕ 'N|g6zf%r8;@)U>Iŷr:(c4q$f*|H<ȍmEk(M gQf<5ěMy{8F Y̩Ɉܮǯ̬cNΖX-bI $5r^gRupX^FS1<Ͼij8G7upD s!zywd5YJYh0 LIXHiO7\$v# 2Ϟ6{ 6]8@+w5Y2bR0nhwxAWm+Vaf:MN2afVdBIO{?~BFfު2ĩNuo\^!G]5 NȈ;k9hd|Sòn$5X;p5ߢj%ZͻVCFž`7}E»ehLs~zkkB-1?ϚU(4{<+4 CC8`%C: ;mPejwo#qjVg9xmAWJ_eL[iӘ 'Q8)Lk!iCCU07M%qQ;,\pwPȺ&wŨ~jf~ͶZxlMɌt=C8⤮ w!RF< (QבNguA-Yir@mFd;#7c2Bݥ{=eMYetjꄻ*F wW;.RrsnMU _(J'b5~_(Jþ.؝x=z trFe#G n+@Tbyz\-}#Bb"ٜ{kzQs\ۘ<[4Z|EKL*ыq'Zt'5Vt$* '#3XG4hŬ}Q#Xd$.i 9^(tww]Ͻ5d^fu[cBocö=FX f*9)b;\=pKh4Y[U`@zܿ9=je$rşLӎA5v hF V|  uևo7Ե|PCʢM/JI;73\cѽ4ÓamYscejC: p> =hJ Th2ՑX$z_qtU~|eEM,T.fIDq{A۫Mwo_гK?+7ȠR n^?\$P)a}=͊wD GN!֘ Zqt W^,NP؜՘2R2F+o8_೮r<`|ک6͍<[I5[󯍦3z9k |iĖm'hE^4u~93G|'lt|>< >tFJ^C:;# yVSGLG w+"|u2e[x`UCHQ [xV9@1gI``L]$x{Yօ38˓bnR@{ ^ xe]7X:(*MjS].Oc)rOoMޅCa[Z ? ?-U7anxR \ E#-57 L' {p=q,Wj̸:1NDqՕYDe3NZBĺnJǶ`k`O&ZK<~--~kpo{R nuX">r;n9f?Satdٻp C`÷^7 *V]P2@NcyDI+hڭԞbP#u^4Ipq~A?@4GFP%5&ة/+AA~DlSɶߘG~)6 "E6iō0)\ |pFy Ճ[TGg%h6/v1B5qk>3zswIO$7 xC=wuhnU &0:ЕCS!bkIN*ku=/ϯ ၘU;.# _)E;pVhņZeQ cݝ,D9n,Rz; x027&ZaO2aIRr7Əd"<8i%.pY@aWk`S||\ ߡ/ϟF˺M)<)Ր2 GOix%iӲD? &'ƥ'uc2Mz(26/Qa 9݆SXa~0 sn>ew=EnGp w܆@LVr)''q.*rDUG'łƭM.H]+QSs yC>NkV7H~^WwufZê^Ԧyz૲~(gDƵ۔Dx֜ɈypNy?yFNeӪ6 (YoFN&_Uo MV$Nw cs 䬘u> kEuTw=k%ߍz\APD,HMUQOD ._nUc[VxZKAbs[YwI{g5lTfXN_8)T^*ꍹ=*W+%DB`{ :wE-ZiRقQ\PTk\MFEĢ!IrEHS3 G+/$G:i7S.5Q5%\ ?CH6>(\ܨa=u7!^?I9_(;-_wuS$)^FHj8N[E0ނLD9jC\ R~W?%As?r%)Z?uK {󂘱!RA$XtM> YӦ-)r`m h΂VjSY| ȣ]#j f Zޡ!E:>.G>ks=|/6xr 4{t8uH AވW)sn9^W̶S2J hg0c-- 1ywTɊz/ur 1e& q'&2"7= Q8lD Fp) "˸Yn,+k+4f\=[`_A>ڛܝajĭ6VivΰݰS*X S5^"sY_R,oDzG_/bt:OJK@ڱm8|P tTvj7#T| \.n AeX ixf|_oeO m&E\^g V Bqי5K_s/=4g= v2'ߟ9P9KPGۊ&7`I&]~?rZz{=}r k;ּ ϓk-V+QFp?]eKt)X$1A1n SNgvG[kI `9uXl q-.c'wRP(6NfUH:=/]rJjjrƊ\X`#"ڱRh٬@m0SK/QU\')n:"WpI:Tìĩ" T"|Y /6uE|OiihGY)gL_}\AƥB@Oqv; 7/vz6D 'ފ'ΛE#cjwO)1ͳpzOb3}Oْ &џТ嗸j&|t &yw=ޗ,~iǖ'w7Jk0z Gw[+Eu6*rh>KsLPo(Jl<-QCEtRϴ*H'K}U5_#딚u/XDGvDj)}]$LssaZ")I&ܐ 7Y '5P[.ޛ̪T3Qh9S1P}o]b $ CVE7>ϮEo=:eOpۗc6m,6{ENbnW9ZiZ\({yHԽ2&@rsv0N* /A/Uc,X{rTj1\V /V]ٸ(:Z5AC?Zɓ-hXDl9>7V]z0$Ī{VyTM}%vϊ9R@iyؚ7ЍVb^ɱs%8yՖ{u'/eSzU:#L&gn!?t94>3ۮ6vR۫|HΦdu?Gq.>5WuҠv *gݫx:|msf: ^o.u>WܮsY4fSX ޠ 31a+tWlZycO_K@-T=Sf:HIS&T^OkcVr;2zWVkL/Y뫲rw,jmW" v7}Ʉǿq`Uy2'g=1,eϗ)DwT7:ّnƮ[ϥ8A-w2*޿UNHRڱt\^oHV7l,هbIxew &:ZEҫЏyjN ܜ}^O~ or'1 GSQۧ4>e*Ym+yQg9%j65cd9#mV5mɓNhm\g3@6SFs"/N+,p 73#C^T4A k\V@T?4Ww"BdR;[50\ޤL/c=bC țr~@PT x4{ajd;%z!Yi&3~ɑVǼ=y0ˡ*ewYр0b<Ȑi_ WB#O1* rLÒo; bSD10n u{-J|r}DYlCSI?w.졅)`{C 9<>T?(Clf /on6,C$ CjZwҧ$ɕ6GQ19`Mv .鏎WkͶ0V%ko:2*'c [Ex-7xΎIN &g&Ǿ: y 95\~n81'>qmp:GeF"aE ̿%:].v$i >= xXe~G'g38*98"@9K%+c>#{tP_{}ŭdl@`kܽSn3眭)bŲ0!q!3{t;^ BkLyiozRO/\yG3DTRo. | ޿)pidZPx7ʱ;X PרDLq+ؑiW irױ4'Mho:gSH1q3z2Yۢqc,pr9dp6;v6Y:XT번^7&:16KXҖ2\M Kf-0pɜ*ob+{ۿZrG]67=o\,GRjJ g-anzf2p9.{u;uT{Yz7*lҬr6zL7E52LKd_jXఉȗx 4n4r;k1: W8cu[5Pm}}udAuYRU>WLWvM8Dɡ277Ѧ Hyft!{ |Q'O7ȼB{ !u $g:eVCSu4eGaޅ=YEɌts+ߟ}71jEkeEPƃ-&ZP$E %QYm؄GYMkvw(OAKd˓}ټe܁! F &mi@j Zq$]#[rV{з0۳3 .{PؐoHU [sl'f#pHG#z!V.l3HQlŇ!OC*UFOvߩ |c r3ǐ_$VYw"1gEʆdK5i!NZUZS^7{nH^O,SφlkF4TʥMpgR46J>-݉09CϢ֌K CVUۆʕy@+U yny6cVMh걔"4Yb2݊sCd N 0OE//H!:h9hxvMϓH\u\ЂWSGstע:v.6P6)}N<8JyG&ǤkڨC\{Fq&lx$ީ V0b6EɘFQ"&kin h-gOp +~񹽗=Kf!Dϣ?lJ}{Aƺ/x;ƳU9Kƪu?JVؾKԡ+C7ҫF=jC!FߠR/_n"V{B"6J(ҒZ6hxӑVPOl4" ,FkL#NFd'`w"l4JXkBL7fu1r / g!^ W(y?K fZb{ cGtfokzhM["K_PR2Yt=pѼ%𴸖 | ʈޘ9aU 5q w"i z,$%&J-],lyIKTR'vM\87GnɡhOlA j2 e8tt۞=S%W~KL(ؓۆ S]) ̑,c^+:k%.#˽{[tTp#POkJk~uOuܘ$"!_js!ԖHE..#k " 7oi^D2ӶbV}k=tZF,:ux7Z@(-`LqKJvs񹗨yvCSa(# ]@ ,v }}u \bӑ5'&fqYac_zM94t6v0S ܹ^$3@3d[\ǦIz]! ;G*ds"B;"y]O?w)1J(2Nҍy |ۥ]{zm5V":<;4͖kR,)i9v~TC^ֵ+g =ҙ+B0m5*Ve 8L޻翣+e5rJ7xe!Rs䠭"NAWzY!dݜݓN,iC3hB4ڵK1**h_-Fm*S GqV ;$~5@@~ݨSy$=f b (d^bl3T=+%Qr,B 0\8p1SƓnxZh}!VMXi eDB5Nekʾ[@3Xz`E<'{xkits'='MPxo-zC>3c{~Xrk{j& j~5, zg6!:ewV$ݕYɇuP}^)23[P0Z& #֥5f~r'v;:@Xᩁ篼2Zca.VF*h'ҴЕId/:듅!ZAxaƵa+qIAt~ UqKTaqi -7T8["o &yŋ"7ϐnVƣ&z=׃Cb5 f4B+_`Ykv:V7,Bu ޜx?g*0| PeK>a"O 9~MK.PƸpSy<Z?lِCo;*/\r|8 uON6S4-cG(JHt8yɧq^adR%Q|1gw4hgXB>~I޻,WCAiR%5AŠ#%]O;bAd`3!mf:z:bS -$L%i S8Dܽw'&OOPER^(unvz/H}͝Pf `Lq+Sl#ޒ܆dOf yEu֑a_|ݙiwuM{nn49Z/G.OTpu(e>}+8 $1]f‘8I:>?R*A2i%ǫ2o:!M$X D}4i`|NYL`=`~x*O2l2'W嗄ُ1EK.)ͱsfjNTO_",|#QG O^ae'4Ks3ٮJj~!>.A6}q1" fI{EW]zd&+ 2-.l].pŘ%>M0,9&cK6%1x ܴ&՜-=P75z62IyqC]}Kc1J@X):ۘ~{+GI2dg^Qc4a"4GT6Dт-7`[fg//gdnA`_&Q9j[g#|k"7y`.ᙘtv\51ʄs2;Rz$ɔΗ3eFX3boaXSº}:Qo:Gс:CG=5 (r 0VelS]-i ,v)S&"An%3is"q Ha&>=N^a wo2 IT35`?CW,Da^UC }P4Dp6+DjoCerϋ5sCXVn4`!tx%ĸ4J7nUh` zTaF,ѥ ZjUY=p)Cy0ޕ[>x+fqʹoy0hC R7ƶݪ{\1G֎l C&m\:lTQ`a56d!*a8d= ywZ.hUB/k>bacۇup\E,@5W@K*?`?+e $Wl}r$j؟ޟ%s$cb)O*n)eŏ/'uPp_nrX'cIr)c5|HNMX[TDG8K!٬H b_$ﰕqx3-iR>@Mf}IKmCmQԞz ԐX߰lTcK>&v=-ߠԣgQp:].dTg?e:4(e5*<'ct|Q@^+Pފ(qVF Ty+.SbjUI^FT.br~`na.odeYv 6=Q=߄J}4D0 rwcR~#2,{f:;H`,}9k nTlb܇y3.Fj㶬ۜfzjΒuð4MzCNq(vc/=?r8 ؆t4"oM@R1]bG*UZpz`UȴAՠ?+^n'2`;q3jxFmKT$5[ˣk,k4t>Ԅam2~g.DD38%>V-L`+X)u+VqI\ ӋQcwH|gkl8mZVZ39u\PΘdWqQ:E Ӆ:|Hq=ref zuf?. |,oNj`C:3T^z ãڇb71%fЦbTD;wEuM^-;N&Zɍ /s,XNU{\'kz~-iڃ|%c儢݄qc=5f}A\Ƭ}ƺW@kzg'("f}R%Cx*2bܼ'|O˴ ƩͲ$&5ۑ+l{У&n[*`5֔6mg{Ȫfm|gzc Rb1Z%Sж0~ZWa`i1: +w)ojVLJP?w [}ʰ "!hl8heoP@mFkdJߏJ{U-[V\|$#r;D,GmL˃#K):8}ŞE9f2* }uѳfdlg _fF;G]@k"TT$ Ӷd)Q;ߊr(DF# "J7RDsaE-e/=3Qo]Fn܍k&ӛ89S~zcn FpSKG ,] ^f ǍcYQNm9n[P)4\;vCnQwГ;g؈OE϶QZ\#ZpŠdpcicQmjOŁ$'к(me鑜IH~Q V=_dԯHDJnDIO:k5E!uM܌* t<W19įtz ]]VNt@A|E1hb\5!fn]ia.Ό^k5UlNͤC+guw[ *KKG_~m =(|͆7 6}kWM!dF:p[qjLWRhss)`jRH3r\cn3y6kOtQn{J+Vo>yfK >] eM?N>tXc`E"s,ZW@f5H)ẖ 3ԱtЛŋ՚?Np4!SvKP =o`i:i(on5rH#al\+PVe*< qBU@`Pջm` ` NLeDW&8u5 %#,j ЫU.A=) jn!uxR;G@II*Bl4jg ƁZ0] YDv4,M #Ըb;I@+ ~XOޔ (`\UQߪ}[V"ܺKV+u\CnA{ gJ/ABHUnV8D m@iHTJJQ/]mi3p.O+ղ n)]*& feZȠ$nti9q^r)n-,NGj$:|D̀\ǬyG@&clЙX'{D2_Gլ?1 :B!b7[$' ǽ:hxOSoR]X V'T?K@ܹ T'.K,/dD[}c" wZi>4:r7}m%X5Y@PB'vl/x9cٷ\P1TQ}/>pSŖyHD˭X8U&iXy ѻK`l:8Rnlv yqi4MnQk5| tfMwA\}؊s,Z2U~>zIHlQ|- r䋉3zeۤĿH\إ]@"b&ֵ570waS\F`;:,_n \Gw1ikq U' , ?h}U ,R>o8?̾mX@vBeH[{p?P`x65²9~qG3\h]^x$9H|^ϬıO5#LAۢ }jL!+`'$"u<.bLMX8]_\x,fJfPMK2TFpc݂~le\Ơs $=6D:`y/Jo_슒> q1q4 1Sۈ;D XSXW;3aIb%72Dn{Qוּ~+t1 Ŷz d џ:_0UʡGvtwQ֞LjF٣8qx@@7ze }ꮪ OY \%x('‡iitp>Kp}nX4*-*tKɟqB,8:E̓Kylf>0ÅL8,Cw?H"]ên Eo xCj,7jԝH>341݇ [ Wݱ#'ϣv;7v)Yף͕"iQMBM(dQB8S9x&0'hzB,_z L`5iFq3ݥjCJZ"*Z^rO g/ n,0q]"f瓸\S9: 3~UeI7ž܌_s& +Osc~n\ pIJ"0ܥcMŊ#h5kwe*G* c{Tt֒cy:3 K',4')17E&%td pl-ќ)kW!p:R:ыO%$7%+󒦷:Ob ܭ._HIJܷ0=b0\m2Ia&Q}Uպ i6i;8 ^S)~32RvT9FloOV04\Vm`|g 9EaR"?MGL=iːSvX0%6iRY<}llO W $U˴l{xL^[7mf.юZpOn1P7ոCrFp=;g[in4XAÂՀg[EET J%! 柉 5C \qz/.!^Kmϓ9+BOݵN!*[bd芋6vϨ}R/.",D)uSFC~NYA > u|MȻńG9Me4MRk|S4冮0D?pSIQϤ@{ͨfrD(}Vv g$_i4`R ,:K e"̏IdḰmY\T8aϿ]G\_D7e2`>:rWJjue۴a5V{hK 8gAޖZr#bjk\a}f+J?:M}!I"n%5]Z%p&ir>ta63f`mx CU 9I;n:1q}$iu!'"AݼcTsI1t8VWxI4?kXQ5퐕B).gbFX ۄyȬ'[J("3oաmbۊ2$Ϥ|1Y7Ƽ tܰ' m GϽ ߐv|4 %-"Z=0,'MA>ĿARsCCb(LtIc[n5D_(u3nsԆe`k.Q="Zb(jDL{dĺ_kt7ue,Τ2Y\};6ɝ<j,w1qA:7*0U}:OOv@lU'5lC1wzc ɣ}t`o\먭93"D%F/w׮1D\nH6K5 [Q臱mUM«CȨe(\`\CD]$"Yr06%ijmN#CT)Ì[0џnT歃'[PiƊjl@9_OQĞ [$2Hח8fb3ahxBYTbU ]]1mv q9/j5>cH?Lb'%.`.YOU3f:1"h&Z26Ɵ㦗ɴANͨhkk9vh2~[EQjL\wi8n_p62eXd-2I%t F!N;߄{BE z[{i>2&{E/0=iM׻S4,E]>iFQ:[#CF>l_4૊gy}ISKOOHENS+wRY? b5I7\rB\F'1w$z(<yv؜Z&k V^>;Yˋ)K*n3xrʍ:;?ticV&Iu+Z?'#V ihkD`edMr:& @ow x2skQimEE_V*5PϦU;-cJ+>/_U #au!pe 6f_ʼn#f P/'\-a@*#Bas.\fiCLIZ`M%;+r?E= s>7؝=9i=D5<D;/~>W1ÅT>RFL\ u!5(P Rt_nj3 ޞL.Wo6@k0{bHHwmS![80Bm4 9h }V>j}ESs1$6sб1ՔOAnӢX7ձUTHfHduP5VÿWey8!+iy_m23rkvGsX;zIza 3.4@Ҫ:`w>-p%࿡1b/~Ԝ4E,ǛzY"[X8%蠆ۚA Vۘ.8˚._&:D ; F*L OئRWir"٫TqfW@9(6(#ʹkHUmxHD|L`G Llq.fG,ha3I)oY 4R0s_S_|}[ǡqvjˢ/)Tc2`D_7Qo:?,<Z1RvkX: .לX9=7Su&`HcJs3v9}u5{ې#)?PkQ8MRܫ bJno$PZ$q ;VbwFPEG _!&}?.y0D844_jI KԹ.Gin;5~ŋQ'Yz\:o#k$ٚR~^k3_1 0tRj:g >3Zϥ1%+ 8Ӭ N3Su%"dk m%8Vl|/IVqYw(?Ü/L$x_ "l9/wqz21 A)EJr`V!Rfh] h]L#$'X/x,eH:đr8xS?x3 -n +bQ${bDי֫0DvY0!:0nsS6h_ޏ e B}ۆtV&b5& ^P EM|=rb|@qupFAڌB%C5{%~G]޶j5PkprU[M}+HxR3\sc D#Pt UHz/i@tH+dl;f^'a}0^s?ƥ5qZ;Jlrp:] €qj?H1 8\e)[婴p љ~];2uGLh|#s~PP>SʽS+k26,Ye_#r%o+@㯪YʧQz4dWF@NWxub>pG!kzfw阥n J{匭=Fcu~@jz?sʔb\^ڟ_Mmr.P}lw"w!YM#>*+cԉ`)CX:MiX1!!C;g-ʒO&a1MdwV߱DCi@Aބ+m'dO1&,±GJ5u4yF-ޚ0`i2/$Gj(jTx?fޘD;mC7iNB,Jy]hi;!  FkK&K&,ǧTDe _ܠ _P]ؑ9mGWȠڵ`8Γt| rU5L]WQ% 5Ӟugi6Ql6~+:dftF?cMr8:>cGvx4m{SUVY&k쯝N N[g=1vJc&4f.Pvml SV{\2[plFtgi=p cj[0, _uj-f gYf!hAEQM f~<\tљ)cڿ+w!#1 rT-ݣ?f1,~5ZMYCq6}U$L//1 = _es5-# v4t^۹ $U \:Z zs-^Z!V>z$$a+ZÝ᪊Wo<{_Bw'C-s\].Pp_?tR훬ο6]]39lwwB+Kpea)zX,fg} eùݕ:K* ݖz .!,cTbznyii(2,7_8*浮!5\{Kg9t/:XBL8MA:Ŷߨ{[4|=SmxUЎyRsRgB.IFM^~ʞɷ8=z]#=#<\'Wo+yeҷ |殦J{ȃoxUJّi1 l\F_t(MҴt69mLoRIOڿ=wns\ROrOf41=z. St )MZQjуĴShj׺xZyW/ S>.Cr>KtO"2g;ɈȳObsLK`$C"CpfB!|N-soF0"nC `G+Յ 封 U@Qyjo*,Ym("зJyL[X"s@7[t'1v:fhA0 .H <_hԞx Z鿤f֭cYG!)6 2=wf,Ja@a.G|\vX>:炍\Hc/ :]&!xs~=!;wOq@* e;GjRFPN1ב|p?ΟjʢRa]2Ɓ:l< ؓ۽EaOM}Cf2QR3}iz.l\$S𦦪KNŝyJ.t0ܛ_:FB\;'I>/UG7DZ{Uyz <ޏ@2m4|k~?A,iΕu|'Lh"W<}~4+1mgppa cl!UNw :&%EI6dK|U#w{benSW,G8}b% 5@nON6ZȰQ\Ҵ=FCf _ hg;- b)'JٯBf/j?Q53Q֍*`UPT4]vJ;}b+XN y? ^ y@#Ksצv&ooe/3k=IDa$.Fy+"wHv༚8p%;Q vmٜI_+'J?Hmr0؈e&c D256Hm#&19LqRV $Gn\(9`3㚚 / \a6α.o{R(({C # F-.a0F{$8`umc2*֨%d <|yV'abSxp.}epUBRX+.LݥuIu*Bo ucI'oQ1}QcD٤JUJӏGy8R8'cO IMʭHe^)L ٗG5`~LVSwlֹ 5^prt v Չ=/*8Ԍ{quK Ti[wϡfNU#&T0*"1'5?TnORin . p.gZl}ځ(1#4eh[6 :[Xlh8˔Ixܤ3J;nrb:`=BGL*]ڶBqND-m

˥_/Vɂkm!NFLyGtad㻨 2#rq r>!u1 SDz7\"ǁ#А ٲ> 7E/hpAT*~G}4 Ds^)JdC!v8\Y<.2ştߙ(G$HS>@#b՝[(yЛ坕Tэ(R1_P<&ևG~T[xY(z,wQ~ѣG<Ѯq1Q/0oɺ+svȹf~gćz;g y+F\ijQSInXXLmW5ëhȡSH`^iy9t܏Az?z P>=);z,8NjQgq(~<*գS hVqfqv\:1acJYSNSGyٴ"G7&.=EYx}W^x\4#A:N֪7j(/'g}8?Ck^m}9ۆ_F763zyKW5GG0:{W裊b韬zPsұ~>ԋָ!RL5l=TE1Gޠɇ>MJ$*~h,}_rF.md5G2XŘ]:Q~E @ Ab${NlyڽgDrqhD;P?YFb8P1!_)S7_<`g'%rPKvcJfd|sФ¬qЬCɣuAwcC{UyU~7 ~iwM| -uk1vi_u/1W͈!A "\Rwq}uN۵RLQOw2);! sSvGK}Ghgׂd\5DnFJ("̀sK2gYZEBv\6mޢu\=MF1_E4>Î|gz-]nώOem"k$Q&PLT'%W05cW JjmDd(teʎ>飺e8EY 4t],?"FK%p9CenegW,,߶30]0 y1qEGЄ۱{]'oRkpIժoƦm*} \dz胛gbsO "v8߄܄MZN( qէ|l7KΒ(6#ڄehWaJFpW69`M5v83Ҿڝ'X#<8 {\ \BTlz&i$FٲLN34;{kp6k+.DRdHLKAˊŝ:j1ز;97~,&<%]I/G?u߆ $7"'-aN %NhFsL A9NiڸCR+`5! ՠXl#qAޛ<ēԿa1רeiWbPzH xi NHɢKZ^/ RQsQC͈lx+:v "C+ FICKå"@& ŵHRͼKdo>7YX4-#|4#~ARpYS]|I^,\R䶯w{˙wgr-~ ?'f_z9H$k"N竛HG =am\rJhҰ6A]"Wyq~w /tQ /ܣyLjlgS,xd;tѕ1h۶*+q):~:Pv y[>222QIJFi1 ]8|_x%č>V ȯ'9^jq66_o UX2䙷8;hTta2&24F{`fuSX+:󉻠nf^Qc0m|gթN0Gvm3׊;& iH'v'%,6v_K}o8x_޻W/"0錵Jv 6V]>8_t ѣe`-15mX5&ڹ(w:p=sHʟ,HX<""Vhy_: vUߝUO"('VCQN?%wNtsMeXAt~2Dey1%~CdS DQ`>\$G܄/6ċ'$]Ə̖ebEn뿒a.R63.c!+KB *|R H/d/=%B 66W*|r^23s0-C_VT}-[kprf-9S(+\RKMhƭVׅ$` :vp@TnK찃N/rS JtPJ$.XIPֺ4Q]WaSb Bzމbp36K kuKW4'xCS=4q&}i^VD YDƋoZ #bC2j&=E|1m:ܲܘ^ijr8+oh$< _*4Z osT߳nSqFla?!7 74""NYs2:L?Fw.щkmFHCWү?+ܜO;Mgj%j2p7Y'߾ޚ1("RWX|co euBvc5.%V Xg,u&ze`Ak~[</a8B +5qmI5ؘs$v&+5H}I($?:p<0֍S׬^pҬղeݲGk<؞[r4{cƆ">,R,GB6J^<ߔS>;vo^lbD^u~&b]Lr4;|gPHٮ a3ىZM\%G~"#9X$q{p2^\Hwti#zl>ƸQZe"b`.p"?Ԓ9~]ֱZ-vtoIfL檫ࣹDxBžyDE<2N%l4d?j< "n>tyɆ%)ʆfS$D&"4NI`P8$^۱$)b p!p[;AQiN &&9?CR/w;}g/ Dzl{vl3Ux4q.V~$ c%gw ))q`u_Y͢KwuxN|9] }=TtKޤ `UJR|p*Ԭ? ~Z_Ǻiwt}\6h32.Yl?PJ`:@,ƌ^ eD+W*Y\`q$ ߻gYZ$h&G8}X#ϻ3 2T$o&D"GT3 1eT*<6п~V:Xӹ5xP~RmсG(l$]= *?7h͵0a@-kn3mhӂ υtdFt42vVxg3a'~45,ue|P@|E:LlrC[~Wig .6)$.UK!\zEH{{3έ^C]nԟcBw XUkAl{aOgGKFi:BjҎQV Җ^ďTX|) Ț6G629Asi\1\"Hc}{>ᇮJ 7φa_g|B؜O8Ok]9DcllUmT?~Pj@ǖri?i7rGyV$%2TaÝPu9+0{h94hu/ >+Fyq]lVjXuĠ*H^N:"sj!#Rp֓ݫjE[HՎ (rzP0i5&@l]φq'\T~=K .5uZn3fH̃i:Y?RYT6y.M\Jxss4m.=@J؞cZ=a )hM'XjB}28O wΠܗ1*a6X(":[a9OSVY, ,u6qF#NTCa{ZvwM+=)Aqκ,, !q4,ʼns/W-y<+sJZqs2-aUدR@wk:m :]!U]TYS16s9ԺCu9c??T҆!@#Dfp@ގb[CͬYϱQszV6OjY&&`{w`حZcj5ܒXoQ 5[XlbLlDpAI0/O% 7V;z84lgj*J/]d+'"`Q%$*2D~b#woX/l_U&hIzmޚ(SGdetDUz E,Q"lt/M-:OB(>ܛKLzzG36HXGhgp )?vA% &*x 1H}4 [܁I0-bSAWPB0'>_yyTwc/ۊ\m`Zj0ҳ66|e#.Z?oYjeg| ҹBmg4r͆tA8(ղ }nr\z@Rv_ž0Ǵ2kY5oP2i߱Rg7lfϗ4oOrЩ䤛+/s\_v׹몺ÕMY:EX]T2 /ɞ]xǓe`fK '-w2rF܊Lmb÷LShP V݋'v*@\{Lx!Ձ agG͘jvzR,Ɓ XQ W2w#nH'O yWJ&F@#biUmN ,Jyz3ڈI;΂RQ-> {V?RJ4Tca,Cw-ɇ:}eÄǖ,2T{V\nk ƕhFn;NppΪD'I.0p%d8 rZc*<,jYH~@M:Vkkm(Aaxy tԤe,*B@'NW?}_)T},')|bd0фqcPJ@W)N:,H*ݥۊpŗ25bE85•]% Òiخv~{(=UV3Z6)F4Umhe dEi7Jk8{$8{ԉehƆI_1uJE>Doq9 ղ>OXI3䄁ZquUU툚\,.#'M0X6Ώ:;[!WFQmy, 44 m nsֺ :wk@_x$ĘX*E,Wt~LЅ"H\f^TO(PHh\ Q̞CHT1Tkoilsh] V-L\k:q\t y\b̢V:JIϹ>nSk-6ZAlW S+ Wk|q/pEqƞ_C|F],+? (tT:5J)6h |'{dɵlXz嗽02fH.,P7 ӏ:*G_כĮ|w`qn4AP33Bb@ҵoќxv5!x@]WԮv*'u΅?L < :JS\RiYZFí9^AK?/Xl8bMt_Q ?J( ~  #O() l)VFS_.9mHNw蜨m;=?_glu` A$҄^#-np" ?e ]KsHI@TX~?0 pNظyg/0rw<:t< d`c#fo9DU\>`ӓ dXO51o'_y_F9?^!Jj*:[ln|aLI o`~ OSꊃ q&skuOy>wgG2 mⅳ}JjWC,=2л\2BxQ)Jʰc|n#;.K28Lv4#xLZedZeVk"<«3 W}W^ 5ɠ1&eL<"vDLATUX>+'ΣPe @?(,W4ް>5f8lH7| G^'CO;YnLio:\L_VeHj\jЁA~buC s=EŢYvϏ(wƆV<nW\ߞb`섇-~fs/mWSܽ umPЗ٢V]we'aNL[ esۊQx 1?/~K( F;TCM'CX@WRn\x۝A VB6;6efQ "D/9%[/줖nl㌣o/#|Ü[]u?|x2Z!fӧwnntynr+0f[얡zr}mscU SЯyW)C)oS?˕{hYumB%& -LYd!nhW/j$w4-i 'Y#ptddv(6#&E-+AZ1ok΁%sm+mL4qU9ҧ ȃ[ש˯jE9^. }O3 {8"9K fv1V? ϱBNB=TD'(i?}UCù dg![`Ichߎ aB FO[yu@?*aİgh)@^o 1t: >|XXs|"78昂޴-m(2R[#oUbU\4Fyԋr﫭LtqQ;/K@vqrH$jGhUXQbΛ|0u=.])&8E 9ќvOH%hw]>C#5D+,r}Ud+ kTLWȯlFgTїr _ׇnE>mPuQj~ߓ؁=O't[е־{=>y' $^?;;N'gS;{HGd)[Ѽo#gbJ#,d!E25/Uhɔ(K}4)˪JΤKǂ%p{N[ v,[i#gpK}ㄨu9|Cz9;{ۇDN BJ AP"Ŗ@tʍhYH1 E]6pU=oG^ بjљA QPgy3b8EDZr>9}lQE v_t}^Y2~Fg1= ib:i\UŒ$g%MAQY Y`@F mjn&%-55WzÇBYp60s3ûU͞ZM5 R7o Y 1x.lW3 eB|UE.Lf,|:xS>.3@{^[4.TGI ~IکnkgYQM)Ę N`+-T(Eh\︼}D ρeWÓtn{,V=>%'#o#Ʃx޵{Q&1hѬ-Y {J,ZQ y BՌpKxNo_@XV4(L&ŖCuZ<, ų#/#Z4o Oޗ>_2~?u*|C92sݽm:`߰Ҋ nj]ҝ0Su6zI ΃@Yo<24`Lq &xRatkxUL|e8jGn7R/%/ 9 xl6ЭxSU-i!6[{&b J[(Oko<ճQ6Vf15~f5합)ùnȥ6aeqG,[q p8;|R}14i\eM9[uHxHY+^G $L+0b~S?j%/jo1@䢃ԭXq6mz)3|D(XLZqq\6ʩm"Z#)}0 fHJt\ͱcUռPbv{wiVB&7UtB:oe>@=q04;͛ vT}"2'VU,@mħ=\MX7Iyٷ,B^kZ+B.0Ғ.vbɱrxFrHM1G~n߂,[Tu: ,0W9OL'в/[K_ɝ0B%o>tf<&&L[S5̖0ƉܠA?\m/VJ({9*E|yHTY+7* ]I2riK +(8#Ll+QsX ?U>-h֡ ǨbMbvqafbR4LN 1te59ӦvHަ*o;=2zxQMy$ihN$)Ub \b p+s812yj Z 2R+IMKiJdnT;]sL"`veFۣڸ&-oZճM̙_Q9 6ADG_L( \* /ʾ )Elo˾7g*ƵW1\ pɮaS>h r/@.jv[}񩚮(9$ƉW&eM)0Nɼޔ#ݹZߴm݊ͨз]l^_; V&עh]&bz3㞹,B?8g- |@ZX}6q+RVҊf5|'8u~-*.[YJp0%ظL 9xvkOaSff&L9gDS8ATOnPqp! ^[ϷuTV,;s =-F`ELÊ7 -\TX {sU_dyz>z[ OȢl(p 0\ 9Xj$╘N[U2g?"F);ǸzKg@8CNV$Ջ=_H?nH^eeYNh 90ʉѰ ­9:$S<*Q"HS>{Tb7`65,5#`rB9,Xh vYr4>d.*^efL#38 (rΥRJ xs߾#ؗ(Yq%8 QgVо.iAսsΝ,Z XGz٢lOhA:xFVܲpDmo~ wJ>= U~햹;;o?4R2r`XFV7beRf,+ФX2ͽ/}(䧝ez,7n*!ܢN; FxpF6N8f ;y)Sk";d]ںCGAK62頪ta vvN~FFj2PJ} ; *g[b:0EVhwp?vU-I\p`۪ f'S2PBY`t@UyϨEp1 VpV@PbD.}z99fTL@BE 4x9YǛUJB0?>r %-۟7(,>co@*>qb4рL44gL?$ cJ5T3Lviv1.zn Y %+=>BWh|(p{u3K`Z0v ~ Oh18UWz$Fu$f=y%g[$2pZ؞xD`٦ [U ɀ鈴o (kF9hluUQ=LAtͰ2oL!?I6,W>=SѲn׏,_:qăҚ/ 2i؍6ߨAFv7kskgZrɔaHCo' n^yA{K4R'L,G pjE}/:Vy; z"c7H4S%\_oJ.E=n_MbuR9dSܐeeN?yfJf'/|@V95z&PV111^(y,m0xl֘K!nɎ]Ne*xi&^ku{<µid8}6-uv*27/]%;B^'$IuaiჹUU=48Yw#rZGE+eڃNI%TWS251rO \2A<[{ l\$ɽ>\[DBe~y*>N6Ƨ`I@d~"SƦ%Gp2evAxm}3 }jV<<:Zn52![/śz7뾼DQ5)*Zi.5;Xddgv ɘ'RN+4])m36 AG.< 89m%* t|H䰀C? %T=ٸUK=2qZىEo zYҞP:2B j8Ώd^$ T3;x9Sn.]a%sw*xT|Ԯ8^')}/!f$G?i"ð8uj~-³ц>f.`RlJP^vVE 5ۋ2$M8ic?>`̂ ‚`&G? d p4"t)_d#Mma :d؂qe2X멹YaEGߠ[AOLZ#GJCf|2pJlC &Gm8=53dFBeT0_)zm3(AQPtz y󺦥4yw!mmB7%ie̍IQ}9H]_ \rI -zsmʆZpqk 3d yw Lf+0[}{@M{DZ|RWwDg,pj1Xw?&4$~GIB'f)h)lB3 ilĞNNK"pl w$~eLпL'K9{B8G -> [DBdo=DF.: >cNtcF?CN4m b@P7`gCI-Wޒ28ڐvҸl`^Øp<F%@5c<=2PD2zsenm+>ğ:ՙڤ@] _[<ǩCstNJc%keW|aVO[rs ѥwU fA]օ36$+*[pځenjSb&9ڿb'^O0Oer? 1P՜}(bzB}{q7fGIA$3i`|o ПlomMKYT%auK)wG߾iŊ#!lJ|OQ&jigx We -YESS,v02 f^d:eo-O, 1C7&$rz @NMI|-G,0+={*5Ctb^YHbU=wqOv;4M uyyO%w.^Q:f"ogjA ] /.E3'(\n;gu&Ep$hfĎvЭO[/|QxjCYuSkȄ &4ta=-1mt27t ;B{:@n!% ȉ t<:b1)[x3H^yPZwS0يn2#}hhN "Annq_5x-|8m%2T*%3fWҋYI@-Ծp9b,8ni"r)(G v!՛mCH0V 3`O~q[65s|rx8s'Z撈0<9_Fd=+<'AiyҊ~b}Q*!eXAfFzĴ\l:xMDJari0 tr*feszXQ#:@͢zw.~ ~Q7U$rUs^\I0\̨iI>_JX{^*L6H2p#O`~ӕZ,Isle2aف/֢Ip6IO$ EKF_h/OG׎o]"r};Z剆-͢(7DEp"|4L" nvH'd߾RSm 7vD#<@՘'6~ssID.sP5lxVX 3uD/'n[[X>&i$RxQ~zۗAnVNvEh { qZ[UFveUu<`(O<Ym f=#z|e'\bb.F06f'^\vyxzAzb]0m-qU=pFFٚe>{I:VWz1>ڢ }Uo:+=\̀;Mzf=\1CdW)A^ߩa  ;Fs^uvOrĝ)$d ?B5I|}ZX76Q*eOpࢢhC8G]W* !U,䗽OiE#,91֧R5+|]5} T>Hyk1͎,[L .l ?סMD-N4Fk(7MjZ mXs[Cf)Ļ25[C>{׈Er}^K9aEqNAaR.{,(`d`֒r-)EVdfΝ6mua\$E^{cn|v{ %LC"&]g4b9nՔ@8SfY-䩖S`ު+}yPz#E'A(])Y]0[ 9fl=YTS&],4; ůRU*/ϴi NqV9aok}wQWTC=à ]R.Fd>}u#ʛ>wd;P|VCEƳM]wM/1  >l~ԁS98I P9iZ~Hup[ZMWЎoZS #xӾĻft~p:j 1 ^)\ l!A<wǺV_J!]{)@wp0 DՈSB&4uP_2Ma~ˣ .ŶʳdH㩳 Y)|: l""sɘMlu!8p D[c't7+[$纋kb~? =q$}TKCmeHDU&:̊^DA^s 1:P`Aà*;6wjX1ׇjxyIB1{1h̨pc.5- v:E.rbuTmz `nղ kg*SXHe̫;=Pyݮv# #jc>;88Uң̕|XlB9QJ !*CQPkd)`IMs-e |~rɃ/ywvN(&)$))Ndzԛ$ ~VJTD  d 6-`  qSp] U۶&/ę3Q\M9ż1^FfcmȠvLkM ^5dž!9dufdm>WC\Y\j]͚!&m̀孅a7Fʃ+oᘠv[Y{lYF|ڼQc;Gl!GOķ _o`pzR5_:L!Q9!|24 䇆$z 1-%25y zzgl7 k_PKWu\^!IhZ5YmulN@ ; 5Yހ`Bxl@Yƶߏ6nzb#IrQpS[D}/Igwi2ң@Z &*JsjEee9j J^Yt~O:.)tzث36b3(G,s 1cM<[os Zkdt- m*]y'a>$n5x ̛NDzY""iU7;Ij|& ~ K`s V'uig݁>IM$Ȧ _O &~rp"}\i=r4H|gс:W>r |WLrh]t{d0X*;\d_nc0J&RTr2[tƩ}f x%;gp"EQx/;INdfl Ptgɒ+B 0!se tũbabP(y#p8tO:j^C\K<$YR{OIT,xkᑽ6č޹@$헒P&liBV9D gNCI8YS/?Kz*tc0pG9􋬟`{6qF =s]к5!ax~_u VH/`6wuvmFjBeQF;1+)Ύ뛄 ,S (NU<6ibˈ27wKI*!|}QTJ Fdnfƴٲ5çnPѠIҷ <^ձ3H@b,k-aRݸ#Yii CEjsyp,K^kn!NN,0567`_s&؂ NTC9^w/.$XS1a*ToƧ &on8}'Q|1N6(Y2T h̖Y #TˎZm9\SL $O;_-f5A=qPYQ$eK;:nM \C &ζ:8{r6:*]U(J6Q{Ts2\,L7fSsćVhQ Z,,I-Oxj`i3Dxe߰>KQƘegpy!oh<x.4TtV5o_o`Op߷])IfOO7]5gjq o+W!w±Ȝty?uюW2 eU zɱD?#KS!"dd$R8o]THGIVI硉pO<̀H(VvMDʙXQsq 9|Kg!yv(2Cv)3adOݮ<;Y-j9, Qdiʿ= z qDlAoyvHOgb;6ңk`KU5a#(|8?O 経u@y:U[Ф7պ\8q $iDhn3Pv2 bwn [fHђZra@S֜+zH+}2fNza~l 0Yd&fu-f*m$r >`i0*Ң.,Uǒ;'O mКK7[`d yb wr(WE0Vk¯\ Y~!Kw`u3)xhP6,f 4SidɮΕnϞAQuP:U׈vvfObo%[M:X7ݐh L'oLi2֙˺5kgf1BWdT!Ibe ӻhyuQJ2r-8 [$'vN_M9urF̨Oʮ3dntc~ge>F,2C/+DqDեݛTƧPNǒK: 㓆b^U驁8csCg9%"҃|mJ:sl@sq- >vQtY "X(o#W4^c_>t"?6gc?o}XDsQ7n8 Wj}7PwRlR%/<& wU3{؀*A^{T4ḍSD[zN/&,aR+֧o\%8sqquzq#ޱEȑZu> JoR. Z7wq.B刬 >U~zo!6i4)Jгjx2R] a I3 "x=Hף ϩ:^Q%l 7eSV^JԚ<4lH1sP5$IHӶ0~4:&ߕ'DFoWl@Ua.| q+ NIE5^s-ш4uc|9j%q:](L]D|VE] JO3Mߵ>fEHFIGh'i ۿp<Ǣb]loKg<$קa10D˔w>ؚtWvHƿ̈VXҶn /|h=1K&|eK_n:gpmͳ9~]}H"9-Kr$`:h<;(=H:)-p +#tI충QR"]QFI׿~(a|Z64gn%h$N?SpBY'D*7Psp{ai?vl}֦kϨ %?W&oyMFW}Ȯ.nXB@ sWh*ㄩLxFF:\vsnh7޺=UwbD]]b $ ;9.OȠKsr"XEOH{.f)lY$i>jeG8:$ydq6˜9hh(gg(:V!Yh.t)?_v-ySSPU}/k|٘%u|qţi%ሷ@k4B޸=^|9ScGj㦃XOptD@0gSNv8ѐ?*zuD)I>08ov?,FW5x%C}e}bM " h5 = Hq:抱&Nݖ QZElw#½n?`T`.Wцq5sc5ۢFLs=T {EL;oB4N!A k4M֏$Z׀{b+[!3R5莙)1jؽR} wG?`K3 =#Np8sz*>+ZgKk;4Ψ ;ٲ sD ;4 #21SL3QnFVR |Y#KlyO˔7i%8zhBC-4zT#˄mA |C+@ ( %)_~@:ܱGBYR=POЙ]d`㓄ωX g[f 58F`nvխ3d4QsʙR l|,ÐKB v|8G<7 H%FIy]c/`Ty-L`gDVX} W$ކ2sRFyQ۸K^!@ϸmzn,HSssuJKIU}OTW!E=9E++}w:&\nˬsx(]հD\S M 6 v^.>Z4 M̟݁ѿP/~ )yrJ»,FHh-BȀ}TrTja}<5r/|H4 Obc>Ղ9$(^[cOZ o~ɥV|+rkZc^syV&8 dU6'8+#mR,'cm]Y҂HtCE OQYՅuoI7 nhud, p vK y'rx`N3?_O95.&5WS1'`]C|>R0MⳄvѭ?{^eҸ3f k4q@ WXL{cmC珰g }OSꀸ}Zf*[9L#ZL ޺s~ x7͟ KÖMN& ypNs[< RlG$㗝Wp:{g'/y[#!b G]BƆ7IC{W3323~YӉ Z )h/Qҧ%,H+0fL{F(F@5Ō6*N{AL;+%We* r1~U4Ӭ J)g>\e|ZK9ewq;H)u<@&gH)i`jo,DxP9OziK5u9OPa[~a/hK"_Hqvyإi`xP&%^PI'FMdYDW0ozJڍ)b-Oma:l侯7hyvE7vUot/Q/D>M50xwf]&ԇ}fP ;/g}s#5@㚫h{!rHy$ȩ.W Aq{C㑡(8~g^U+o{gT--aL8Ν[ёਹXJ;m 4u ;37KH`[[JY0-PE۷p';tl 5ʙq)/ Bä  W0bF:0 x}w%+f`$L؜>,+װҮSr꼞ʐxCTJ\atrjPP;x=ds6X|7\#lU"ON B-PA'p;l0"%&v6)Ϡ4 $,}県ʢ$MKlpOvhY*V-V`jc$t 6|_g< ͐}m } [:VkL>K.'gOx.`C]@tjBH(N5͢s69pGʼnRYF֖a#[w+ŏּN$0 !,ւR[| }ӧ%4YjKh?{[6BJlr D:^2Dz݄09tF{үy.p3fNCռ/R8d~p3ρ m6zޯ=Z]Plwu"4r΋IFfa?J]x4^6*!|]@y&&~kg;wd+}`DB% S)M}x]E |*?z23WLR{t]^li} D?b*4KpRꭈ{ ՃY[]Myݝ-FOpw2YDuZn,M*4t.@q". 㱟mRҗ҈B~VP .f} esٳ2or joђv86EbOf:2~߭΍!)V 8;@ˆ]AӈJ[y Qb&Hsـ5̟5lޟ3KQ[Oʺ9 ;F_rrY1;ONd ~," 0OEhW\D@ @'`|r۪ )tn`əMl2@O:nL3E LlbDI ưRt1U!qyB/; ǘa|ǗfKANF_[98(k -#o細5JgE[=GQLMY@aUXbYHmXXf=lRwd JXb{i 8y\ 8'1@WEԳG.˓:H$<oAq hnH qNVxi8`Vl+WR!ްh ՊrDQ9tw S_HCX<-ʰ9۫-l~sƨn0{ YNyCIQ/a)3hrhU]7OK*$- ~= ԍ-y ¢O&1 #dy#>Kx㾡>A1>um$JBq`}Rq1֨c: ybR47ګ;,9ʱm*)09t/JZyv7#`g؅VWd. 9xglbygѮ֪Z-ǷSwcʶɵDث/`T̤sbJ> {rȸSҳGzbջ Sr;eZ@ +z9ܠ)5DD&IG.-6 =+0훴mAeV#\fϊZrRHAiOXd^H{d&QsMy4'SrCjNj9pkL.d(ɻ?D*VIx 8Y)dEz[/"Y#GU9i\ٔBkb4*IoFAVA* /8v!/he}4,2uX587.9"r @N(ˡ?l0g]l~ʊ 0 qp=Z6;{pqRnbǰs`KzE'1A;hŇʫ;ү WGmiYA_STޭzrjufZ xC0Rk3uZl:JA gHN*Rqv0D}CW]Z$ӓ*o7 fhz⿺@,3_w>@`.yMYXǪXѺ2d1x7vQc;យ"`NCA/ʋ*4B옺 _"\pV &soPB1eI ~=j H;yh ĻdzxO7֔zC:A-c`k EFOؿ8I9*g ReK&IqP"~+^px7&VU-;fs|v)_& /jt#kϰlE徔>8G`')#aGr=]q%j2rVcu8˰9HpuRՇE>vkP^tYo,kx/АLcί-!am/4d^F ÍI}cUǓ_?i-וO$2~h.'簽KE+'7x6 hJ!,)[Ŋ ːuvkZAg((\(dtm۩fXQ!Ilj>6"jM{Nɡuφe8է_QݹrvPݣ=6F%!BJ X&bEFXJSO؉2fyGIvR6~Q04ːJrVJXT4&=&$*@3:o!M sRJ?xbF'`Җ^?GUԦ펲2N j;F\)8w5ndp/ ԣ~<h*TZ3ÕWMWX :}n۞mN"?վ#\ϛRl?WyP,-+O4)ȦQSy˅@J>g~ܥ+=\+E|&QX[?+aWӨ,dR909#M UI.0,Xhg& ]5v](tP_[Ah7`nrO[؜c"u]{ &i;5I[#MV8$7#$2A,wyGTi_rϯ'/Y̒8n7+8_T-ȩ<śCLk<\'"gOY'k'T|Lzߓ+[Aq<\fs;SWI$LߡYpuRUH:'k]'W f]eՠWЖa*Nݳx[ #2>1(bble> s> ˧%+ //<^Bx'oַM5BnEz?sGt2#6 pf:0ֿ=FdѪhesxs̒"TI:C cNtE)@c%qM ڭ+E ;.-߲nO:8ˤVLbQuv7%(VD!^6khu3"}8|TݡJ.gkʜTD6 `DŽW)<٪#$CN?@g #d됱tem9z2 Ko0Y: +P;r3A"Xp(## /X5{&r*5N2 `g;o39>b x `z x)hMELɍI@B )f.^ߝ͸ϐEzOgH??<#3} w=~PCfQS8: iߐT`tApxCZnqg})2i^( -w]%.`L `"ejbP{~S PLC"q#m[ٮ-Vvя&.ډpT$jU:%JQMׇE,FtQqښ-oۀ\S%?s#tKT=CDa#x8{A@a3'o9CM-x鐞ő,׹1Og)J W'ISn3NUihƎvZTO9Q, "͉/o(<C^/rPU' 39U>4v9Ќ.L@CڶOGF/Ħa1ڢtS<ukXw˝g=ynj<|a]ܒr Egbih棓`sC@/Pp)=eHP0?Ta>ͮ~-Qz.-eW/ۿ);&("2"7RGV=t) >i*56$iu7áWғ)^z^1Ԝ`,<`4[espQ($"`< Ucڡ jtoAikqH%ڍ I59A}Xg-D,8AH!IJ.RFBǕ2'M~6i~m@˚LR Β B de/LKA?Y/`HBKͻod"G6C,-f36 kRuDTn3'J6`'8ÞbV_\`RMH*[4j8fVS$AIO/ϧL;c^dDKխ=uy`6kI_ݳy3C= ƽ7TeшaRICs ؽs+ i@}އ*vg1K{'gtDUE8*9&d?^>pol$ Z7QmoUo[vs5-btCQYʌDGZL yg G ʘd6HE~p'[4}ͤB!M1we.64={za I!$>i]Kmϣ7"ИOĺ"MzM-mD_j3.83.][=}C(7K#{DcP^ T 1ٿ7q"0aB!~ЫpyP q)42_ɔCѩz`%J!ܦChd[c ytBII@lccIjzk\G;'h4A'M K)6MH$ &=:F#Is._O( /c!fD,Ef̃+`W {T\0uiW(,B%u̅??%^C7O*"Jt4 0r>`_9+[匉E\oE.ԥrʰ*l sN-tۜ<~A֍8A[.y )5IeLHBdF$XM5C0X/MJ_~'|Od|q o gtEйа^5A k+C#hE0*0jr]ճD0tEa>#;8[;, [JfG6P&2NVїFK>D|iԏ|AJtaon>e/0v3 vtbIwR4NhqRg CRIM᰿=1GKN 8Fyhcs%(E 0DIZMU *&[n4>HG.n9:T?$ Sbk0H%uIqBB.?qߧQQ*05wX5i~; C1E*۲Af1BK[Z]GЩ쓪TE97W.9%qR-XAM2$F k~jJfdQX%IO!V[\ݓP{H2«4l']4Sʔ] e/a2uڢ9|Г!^M5Sچ@"5=v7U=M'!4 p@Np$l'dl&#m+8x6V]>V ~3uD6a|R,qkf!HZbϟbe+#;&:&i}lRL3%xx)-3Rb hF&Zhga|vk Q]@E3c-#%-gYZe635780802b9c45ec05aa2b2389e656827de01c9badbc4e6c4622427a16d1301f7959041c62bf6c4 ce95a93ff4b579885a0c343bf2559c84f850ef37 413d44817c595c4f04b665f8d5dd091b062ed709