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 B9~l<| ] HOL-Datatype_Benchmark:threads=6elapsed=519.689cpu=1876.137gc=744.0927zXZִF! 4m]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï; MJ8O%繁-֙XvLeE0`0*Kbym)[!{Ae z"_-o˱B3^n[!1`HC|OӑGBR~D5)F&S6t܄c?l W l7$P-GEtd+61[\3̇\2! Ft0RiSE#(=P('zeJ_G-OקDsrl%~BTl$HGHc~-_B/JD <ٵDd!O-Px#j;I;.jFny<02jl̡!O])[ -e"HIP+'z]+IPMcw;ιv`vN*sܺ5qhS_z5D t;u#;[LB';&ETyכǓ>1K"t@UuR0J6B3*Yc9G(&H<#22WY?" F DĮkhXв ܧ raf Ep֫-mDņ]|2+qk^Cbc5.NDMm{9:7qA i gYZ7zXZִF!  ]ŗXiɟ1)*u%9AʇZ \>>2r"mWEI4qdO#vQE_DSE+2=o ;eddqFLY+ZUIv5ʫ1y3e;ܥb{PCpY-@@-he~?6uDyRpcI S,^*\hʪR-b(weK47-ײ.Bo}5Rgc΄}"P9[%w+WchfuiԠkV%A'Ր;kaT=Fۂ Qy#qv)X693yWC)t)z_33(U9i;P n'9$ 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$ 7s9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id518w9I# lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db׽X>u  uVbYW! Tm HMmlk6"䲚#씊6M(~uLλ\$O _ҪZWf!͡dz 8}?v9Z ֯"6W>۴R C/SkىtNt_H\QL$WOkwCG.Qyg;zRoC*^>C1GNHWo"ߥm4j\(mISEޒp4cT_aƆ0C$3ZYRtŚ|Jz;' =S-a ע37 T/`HZbvL$OC@Bl1^EL0!o^\ڿSC@'j ;K V#Fs{YR <{>/@g_FgƊF0{co"ŇDtAe{# O}:40m'J!W!&wP]eAt?}~Cۛď:x+.xӯ]U0E#Td Fn_*6=dl#J(W>fɵ=`s3` *9+}cdϺ{fuz1-b#Om/ u7ȷnR b,x;R R8ШJ8BJ>)vVsz0Rz`7}|iz['WV_۪}aRa#|vbx\~4N={/#YGSRh ]p}^ҍݹ+`\0K)p$!auP!$_fZ`N ;ĂK 3 Oi>*u4TH-'>*( W;<&@D3X+' = " H!qg/j;}/ v-IL^,/IJ;z7?1= q.! Xyo]GqB@n^ OS.8E(fw8Mq(gCo CkY UGL{/@p5VlaA# Hsec2p/:AIe=>7V6KuBYZvZ}o]4)EbsRi Yaw"~Ozn#ҘA7UvI,X]_s#Ŏ͸|{@tוHVhR)A\`7۞M@k# (>9i+*%tЬ3ԺCՊ NȁE1qllov/ٰ7CMPfMqkn :}Ϫ?Ux er]QAvU罐kUZJ0V6f')# EbppͰoQS7$SԺS?R٪/z}S?( h$2h"9Jh̔B 5%rylpڂCSgJu14}Y6d ߡɦ 7 D|(&K"nܥf+[01To~O(VNoM!Ew:KѷF+kh7Z&n6W(oYMw$:֋fPgUʻߋRe]!(Ki$5V[lDŽcG |̒Jds(nJ)KZA;vFUі"<׃}ӷ+aoX䱈6'ʀkFh~e?#7En9 ͯicMN2td;L!LB gF$!Q%5Oҹбʕh,u@"k='>n{FuJv?vZѭ;kz笒&Q6MIB*/34*`ujjk5͍\o6"VX[?1?no3C[U`B.)T-iI׹!h**l,q-409rtҴ,Xu;t'Lz`^ Iۆ\h!^lp|POUS)å5HnPKܵ=1D{¢v]\x Kr/REޥrm Tʣ"!%K+| #A*iTjX`24P0 0gZ 0w]9zfS"+)g1\7 C_@+]Kb4P6#^i0#Н՟{nQec[T#+ ?Wt_gIJgF.^ : P*QsLi}:dѿI,֩nIMIꤗ~Vr-/%߁L/s uJ+|As%zSJ3-GM.JN:Ђ:rρ:܍mRxfѿ(#PCdtΊnF(Fk\-+kRaViXq0Dq)Wń%5XgdZDh6R'¾-k5`c>/5-zzW&'IsيSqzqtD7DwmF 0=aK<ѩo=L0+?S+,u@§9M|RWhg6KX:G"~U/ G1]` 5dӣ sg] Ԃ7e}!RI~z͟W<̍#Ȋ@ n]k(+:6#bl|v8f&*vvp(ƒ៵]QԴBdqi pڏΘxjZeȊqQSɖݕ>%~\miYg\x@%TG~A[vN94Fs׋͍ctQ'Sed/Ro4*fB4`ꚕG7#FzY9lȈ[D mI`Fj6C~W/%$j+qAjFD3؟Ѫ}.dh"Pz]G:tL<"& |=,^V3V$(WNN7zV?٭ (`@CLD[_ci8u!oߵMW&oj!;",|ڔ'-4 صG-[nϔ&q;( A/ #nm ڵ S6{ eT ^`6[/j:8 y] ^+60'j.^P;!&q9g ŊZj!pxa|vqҬA hc;)(asݍBPyL%8ʼ"0BV/opF_<>y௞ed $~4~I?/jnR>cQOR!2a'ʳW3^?;FR0waQs F壥qݭ3k8-% H@#f;Yl !L8M^vK w# JXmjҍ7_!i({VRN<&iJi)1kRcx{=+0>cˁWwCH;-7-4YVsC.]5[tp FP^ak$bq.daɏE3F~Kl6ˮ2N!FVʝ"hX`j*cn+{$=oǛm:p$FZS`b`~ޜ+.G ݟ>:DOJ]zٳ!>fRK}xOC;sg.oYNӬq9hQjʳ] O] (?2P_[aBᤖ,D4޵ *f鈑uhqwTcMfp4@(|g1v @ skD(-ǂO;>=)Q5wSɭmZC6IWYNsf0o|*=+Tqs6ХzAÏO/ç'0ĉ!bA>r-3fq(mpoVȿxlb+V 9`>S&Z-&m XL-'ݝ:: 2J⚄ [QQT.‡M ZǬJػkZI/V +GpY#L 1}ΪEYnF#ZzFgOm#l~UJl/1w=?#E/@PqOeot_bCW*L2GurXQ fx)0Y\~/-$e{A'hh %GBTًr{͕ ^j8`΂/&r'󊬉7i^n%Ȯ -@q~àm+EQ0sUH3?z?Q\%v 9@ZAI-i 9CcVw+=2n~h+?)&>r ,|!MT/ z1nG}|lLF::"$/1_㢥QNL S0ֵ?̗w凥xqT /Pxy݄l^Eȵk oyl<~uد, z#x'0u\V* WdK_hc,)U][t( 7'ՉI*PH& Wu+< tHbkr۬}=+*&5\!*"x%n3'7|U^3r-└eVio2u!ry'Dɧ[|QT~EyS ;M. - Quz11ۋD~7i|+;CP$iһy"nt=fԷsJMTU. >ZWdJ3uӘ8)O:iU{Xi%Jr>ܕ!FXI=]hf0Ђ~g3bE,jC-#T 1kjzݗ?z&]>7Ap !˿YM%kR/(+s~b/\dB,t $Cp k_Uc*ܯ;2D4KYgvٌ,wv[x!1spRzPccY[G )KUpȂkA5_nc -&DR=҉:) !Am8vĽF^WOozH XsA`R?2Eŵ8D!s$}.- ]AZwd`*y44?^{.|mOkQZV'!"dHf]>c8t$Dܜ4[S,6P88Ia]J֣iS֬J=:4ۮq_ؼ%Hq-쾽3tc?jKQ-ԥs3XY.kk2/w)e5XC2r=GqSm=m;/$ ^_ka,ʃEjta<87ԝNJI_Cu$=&YN޻EEmb*@JXHj!%S;-ۻ&ȦTi1W6|̫mݤ8i,Yݜw؏2{_alLG *3$0bkC@M}>vkAk\VaF9/T޼Zo8U-nx aTO:";[S3" o)]r*l>]~~ӎoy vnYnY}ϑ  "USF3el"C0W zwHH/ˍՕܤ4x"i˂T1 aB^OOX%1wSS SY>;rꛩN@pm;}·;&0LcΟ 6܅*l{,!hյӦ#M5fId@,~pEc;2euocwaKa粧x(&W"Vl Le+4y]մ L@Gk';[UßLmPE <*ŇwBX yvJ"T}q'V2ݧ GQ\sw @bS"'36B8-g=#Z&v_<ߟ\"*V댣TKڀ#&lPQ*W%g_Xj~mk$L6=͂-*ܽӛp}!]6ޏ < E ~hƼ'1=~䀮[9evԠ= ::Y`kIg>Tr.ݫM?.oR`BB\0@/[Y2k$myw#+grN%%ƆY6]"dPȑ-Pf_?Ir-h׳HsuÑß hHr<t|ƣG")դyH[b S)g#Kn^67!0L:xZDv9b@E[QvqbI^ƉxuqOJ˧dXVyk.=!_Wk,UiWt_x 5.{e|⢪D5~\a/CP80y;O5eDVW@w,Zt?M0 f@ j֛>%Y.|>cHyY}[*>,ݓdLMBr .]M.;wUvƶahʁl/!1* g~: ZPoՃY }/XBbs3v%"AskPۥ=}quЩ].5¸ߤ!F^NXqS\739@X#= P$j.YIC~6_G|{817 |Ъq4+3lĸ{Y4#eً6HU"2m*`OKl 4#.y2j Pw#}% \F)&).l[JSܮy/9B+`-ϩhV,,[aݚ|N3V_=Waܸz *ptrHԎ+Ach,)5B,uP!X==xS%<&.5I,c0B8>4>f(QS^H zSk|P ʐj9.4ѝtalc!/,VPҼoR5T^ϲm}]6M^Fi$f~of 8ʳUeǽ/N" $* BP ѣ&QFwO!5$7@? -6sTcI@fw1G3J#.Rƥ r޵# Pe7XJk3V *$J/q|{Sʔym=r5cAxj+"elÑc+XIef0n8P"yyf=g.:κ!bHCMnNX7#w{75]B4V7px l YV^e>7/bt~`=vmdn4 2w(=xxaS+#ZŢUDe#ͧ~ 9ę}:i`8fB?1 x}.Stٔ;\7Σ@*Ϳ"ᇓpRV-e~9#&&Xa*̶^#%'b b+kۯ/!4p-Z1;u/RJ ȓ-_( B%a#&po2-SŲ?k,ˢ#]maeB l.rF-JSY-9:N`YZ>cKN ʻ3[ZȈԝaMtoˏ`0DO3eOSqc }hV [p5&JWo[ x&Ʒ ! aREl9͗~gS\@}P*(vL_Q]j~^p2@zEk,F 2̀t8"PNHw9]1BEQbPM^ ;;&V}\k5 N=l;(^q9xږSE@~P8Dw ʎ{p5U=INfF>R x8wgpGf6`}+]o9q;R oP?:[>fo,̗xLbOpc25Qr4< RUљ. 4*޲Z 2L,4a/wd }IqL>L[#N"aȿy+;z)I7;͉4s4S" 鯈h u;=L\6BJ-` n7ŧLH(:xv8-s/>1]A S5J}ؚKժsmBU[$LeڕR%^V7D;m\zjinF}Qw4u[hN~xiy2 zثk^Ć6z9)@[eJTӇ>ڽ(D8Zw{Xzn<΁ݷG @*X"jzǓW^IsI-0l߃MML+檤ht$n."ȷJS%E¬sƪŒy7x:vO>dddž ?]z` VIwOs[#/| S3G,ĂtE@J)P@O]u{eԍvǖD(sp( /+7Q$<1ko\/9X/4~@>`/fy] _%ՈڼѶʙ#&3=F{{3떪$ў܂X5~=59 B: m<|1:O?=K#~VF:tC=~ 1R/o=Tͳ gv LL7q­KvwnmB8s弁RAEb|k\x#큵}x-u~eӨO"z{{L1nASe:fv\^m>%Ɲ)rVf|]53t=)p5Wo֬ Ĝ/mЛ*% %h)k 1C؛aB9 ^LX1n??,+ K)HQHQ);_14썣%GL.T)K[/B#ztCrYmSCt|HHGliUe$HW5PTnz+6rߢ+N\U~?&M)!a,q1_Ý$u|su#_:% a- i'[ ʵ[sH,ǻp ZvEvLM@^qƶ?.Wv6<,ǯ8.% NxMǶUsLu1kLUkL~ c Bf_U dڝ d }l?H&N0q98ھ&o% סo^4^pDOr&FdPQx+ ̘6'iU(˝sx ˶0ߴ@f<$uK֚rwIhrњY2\f*PD![tVP!T>0m3jތ2J[|`nj^;ԬkL|C y 㾉lXݕUs|&Ǟ랻=)c8Gz*>pMg&Ge}nTUr)fHK{ #mUMaOl7/Lc^l;]n|[BB$G; %H%gNYX^ Wl%D%{vT(lp7uYF˝(]>6 0Fw\?kLBgTO9$ STNPN ekhd4'`Kc!TjinH InN @ˆ_Cxͮ3þ!˛.X4fN \ IHuI󀒃?qO+m,IՖCKWt5ȖȤnF%smR֟2!i |ITfH 塵6nP1*.b07$A`)brݦJƅ5-bF'"''ͪi,_+Q 6SFe@R/qj4]-d0]S][ !Qa#z@J|se%%,~/v<vB_;>Lg-}"){FFqmk*B&V|Rv0lrv~ "G*NW4ʬ 01{EEՉJ;Wa>ÐTI˥U', 4;d {RG$56lD}1tnM)tgxo5@:br0b=چS;]oEzHŽk`Eӫ>Ȣֺl7<]/bmk>(:ZPѼ;$U'ԈdwxeTKє1,x#:w#ShRѐޙ @=/WM ~ړ̑j3]hMk&'fP3`ʵ0 L+⨎>'tlt.ڵ?CNIMPBJpb.Xux)W .wv8k1Ʋ0'7 Måz =Шk41ݯyk,u r4éh#zGqYadhIU1#Pc#-r*@.z gFkR?}L%a|ҐBG$Ʋ0E280ʒ7JTQ|jx|{,Ac*)л0d(΄%t^Ǚt<2`hx|A-Gh:3!<)[Wkh"$ 'F&;ӌ@+cGlC nU=W.ms@%/ݦ$\S] :T0 FC"VIP!dʮޅG fA r)0aDn] 0A{q pۨ gddg8i$ }LHOՌٵklϾBjh^~9xJ~WʼnvxHBbWV<zLCWm7@# A4uf\AqaLH]NAnfy8l̈xL*lAO3]4ZW蝗Pi4vigb/p'FJٳr膑 2zlπnHr- x]wE\2ƚz0& |d*)Y:?+*(Uy)cБ ln/<TLi\JXL{1K&X&u" N,p_H#Q |e [ qҖC*V{tGsXO6V},h24øEߘTXş\Jux>ZWfYNmAvm D9g+08]TĨBOYvze[[%V]vY-OMZyun2lpIסn#`[.!Çb:guDn~s(qM7C ie}y!9B9%x5j2M메{ybʣh]Vq ⓯tVWΕa.&V0g`!L.JkԵ ^1#M]ZvU J &Nc'D6-^ 9ef6TB4P-(fQv4]6B .b Lʞ8CUO;*|s'(<$~pT,m^.5z2 ~B+]WzA@䓢g0?[`%9!˖ehW{ sUaN."\@Hg,UEå"~>t;8O+V H%92cKC١yD,Ӣ]giK8r(8Y8 HƗ+dk_e?Od`$[ ~77CB=|Dl0)-gzґ!aJKc 2"c|WK9{;҃$lq))mQQ6!b~΍ y}@*HCuIC|m t*O?@%yL|j ~-n|I ,Z8\8Ճ`)-hrYźff9lHvVfa1Eqe`w?I8l‹5" l2Nv57(leWok ﷜[k'`fK``kc _=`LiMqZט΢7k8:&@ 1Z5+5v%jh/uŃ荾'sZ {柄]6ݮ!4jAhP)gSU %nNqR2ˇoD$7uFd 92`r'Sa y74Y2' ÌD5)&D]A/j }~box|vX.H!+?CE 9(\"rWǪ<Nol60bm2]ҥ,?( .冦P 薯^ͥwX\ <)04bJD#p +h=8~z= X0>3n&j%}D4!_zEğot@.H0w p[oHm?([A{61J=.4kiN1ႱI%*6]ͰF%]Jp"y9a+vV^ԓ+lCQQ 䶫]Nl+f Sv{ڻy֋|3>C uVJ*gWc^,y0'fxfFA0?.N}EאD4E I'4ki ~rxȃXeZLug=kl^vӅCMTH<\|74jJQ3KDDJd$zx_MqtځǚK&9I PVfnf/%j$Z܎|a<_>ҵʑaWXCSg ?0۬ĺkxqxdEi0,{(&x5grΐr:8@@֗VݲQ! yǤ ws2e^u- {ĺѺ R639Ժ )Na3N]Vrk&މ{z(%Ni 0\A%aԷʉ˅R^l=!ԏI~8"k,z.[TQu iuaa:?)C ]H6y4)9q7.{ ]͟Fevq]cGT-jϋ^Y&F`7)#JЪ(bV7 - rSU|iاb$W.xJ+e}BFFn7ݻdR 3,,Z>9Zo l"(W ]4]6Scl [M z B]O3c熏pgr׵.Û/ ]aի g~N"EqzÄ2˷fk%FPR$mM!VGkILym;(.<]XQ @>zuyu ioFP j'{I%Tٳ[ L#۰1j% ‚i:$G&x5nl0͈i cV(8ÍJ"g6ٵ} A1m,ηp=z3 OXg`EO Xa > 1 &!RQ~UwMSoqb$i`y?߾W<;"ur&OI*,>eؓUXIc>J}~1q.q`$J1eg'E~Fsf5f~7Kdû϶aր;yNPi}2NmF\˹K [2\V$U)hxM52">ȪUVFCۨӚly&Y m~\*aٽ33rA3?16xZ'ͨms(FXz~F*AȅuL4Bq\4;T#.J7⸒:Ы[':ύnь+ (uFYi㙖iR},8!dܑ i6زg9;w2IO : }e@5\|Z?,QG;h]Σ:}Z[Wo1HYk;SS;䔰!ׁ%#d`aIF17KI 1M[M9c5JeHsH` ,#iIyB}X'_ n]?qL~$$ b |kGAiNamY)aH C-e^aNw'GG{h6~??ٟ+M&VMAiKįHZgף2ey&}efqI)ɔu*uBXTgy$dBU)E>DuNW&=i&iᐱ,s~*fs¸]fpJX6]fxWDPNlkL.;/ [PkчD h%/%y_FÙS(eɢ;::~{*pLlqcTz8[ _Nj\I Njy,_^Zԧ(l"b"׏ua@_?x2"MMT R4!N sS #ζmmTp8jN / q+SnKfcs<1h?$WI“L:^ې I۠xՆ2XFE2unU/xI:*Cl/ynZMx5ŗPZ)2!Pm/PE|FqtDVe \6rf#PURdilo&{BӰ]OBx7W`SUW67@ft:- 7Zrkt&<$E(ǣnGaGeY<{u_3jM[  Xm\-CIVN`X rkk"-#%bs68d;}Q<1]™ɢT.I nHa$,LVjL,Q,w ? =bnvZ=qK:4 J,"VvAsح#w-/Ax]>)[gLM}Dj{(VÁa)KeV?$ ,,ZA>  PM⶿{eDχg2ӄ= h8,𣝅6U_" K_wVxMKw|G\OKсbJTLjь1T"mG4T&J#kqPri4O@fb%;yRdVlm!CwP:猔o$<\ycH?RԖo'7\nveAgT7S\prMȠ?k~q/.@w_HF#WMޘL^aDs34 _ JCX}PyUNE7|^MYIq s~S&R%oSŷ'$1l$xB,2~-L'2n&/|KPMLioQjLM'- [ʟ|" =C5zfAxh9JְC}ڱgYZ .!.p 9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Igg]Άxʆ5.f-9 rq@H .;Fk v=C5b-rgue,GuHglwuG<~})i lIӦE +q$i n>:67*^    OcyJA} I0j.[q3t{%3|HI]-U -&T:5Z㖾49} ~cE%T=qc7{䓶9 t 98;O.=K5¡9 5^GVqFN^(VՉSC`:f9hvSNrOa*T'Rgj=_-ljIp#!cnETQ OʃfPY^BHDp]E\̨cIK9qӳ񥰇/_suOb[5+V@ ׽^x:w:,*OQX-+iav^A3bvE[U )$Viak/ Q"du>zϬ!z.$z~l&_5vk[<"S(2RD0M8;G{phVf[W~e vdk×},Kp 嚢Ύ ˊ̀ iL[NeVn?]5u޻&n qN'~ 4˱X^4fhW cZ S/)jvib4ONԸţ6Zl-N>I4Sc*yûup܄iFJj":JP4Y._xǿyc8Fi:B~OvĿ+GhWS䂻Qq&BPd J_|c_A?~[yF%6TL_J/5-ao<"yYc`b=nּ!<_$Z֍gʳe›oiŠB)9t\҅` hNl ͺ lo2-_EދgklYS1$z% |IRmȆ(ˇ0kq"Vil JjQGYuI-խ(e"TF3ŮP@/2v?< W& BWgYZC 9G# HOL-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[j42bqIeVtWJ/o#<á{Sx=?8Hk3~`! ~a$'~͵W//o͍Uv1F0J 87)%R*K,HSc<:Ur]Ż3h7 ?7AnЕH(, 1¤B}H=ޑh(& IvBa>R1 K߉yH*[Fiy'#RET:n̬DBįJ4 ̈́Q…kίvx7R)o(ԟJWO[c|K,d >JϠG hQ."ؖ RS0 N͸A 4,AQi@P8:RA^odx6$ cK*w mgfѭmT|=+̞k`;cȰ|1OiFYv˕>(Lfś"xhb/;0 (VBdB@;$ZowVJu%z3ֽ'q.nm@BQN߯_vYx>"fP~Gl7͔"sx_%)=BT睕u]Qafd$R/j(S^g2Bwqv.3άng3nc5w!B"Ꝅj ^@trkdpaj2Qx;"|B\ som#jSzrUl_!NG58U"L{Cl Vc2;mnxƋN=R@zgmi*?Ҕť/sx &h7&͕FoP0gx46.%}GK&xC0!bK51!)+L} O㇊%SjEnEo^Xqxbhi dV݉nƄu7VB2VO+x ,=-GTNϛqVøԔ.!8ps;FW!E{W ߉pO2qYV ]w&9 V̤pXjv}Gju!V蟨S&S藊gvSB-CCs6 _vxT8G*-㾠{i.Ȍ!SD4\8䷍RJFbvعgQ",)>"'[6b~_Xtc7B =\lOCM uu w9~/ i?i5B,?'ⳅz$IX"-lӁE9+0b;ߢ/e(q6"wyQ|!Y 7zַQd _BD]jikE ;ߨ==;˵XN3Q3e"Y;;hS,>Lr/l˚ܥ`_+?by;iuXXFV?ҁҲdU&1c3@d{9 fĵ(U'7R#byI`}EE[/ϼUPե;Y8DI<#lDg#yif"mes&[?)_>`o֑@y$K)L56ehnee_)~ J|.28'omHJT{p#]!KE'X$ge$Qڥ`Mf^H%n~E/hAu"{%>P0[-T75SQg11~ѨS5:'`y853e!tfH/tPiAf[b=͌+\/E|37dجHO݀{r]=\dv>3/*5鄪`9K`2?܏@~UHЌk:AKc~9y+őӕ+!5ro@Z6eBʵnS:w{1u[qe{R{Hk*]΂1{ϽQB&kz3+,r'Pijݫb_チ A5rAL;+%1W^BM Wr=" ɋ;.)y>pzʘ]%IkAlUSw`!V!/YdU!| QL$-fA*j~l''66US/0d:RInTS_cˠA#) 9K# LHOL-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_id516~*s[llZ̫r[^`7OWiFnv" һu#1,FUXTQOk*BtjI'BvŚro[$|`z‰pyA -Vb> r=l.}J^ #6 ][?̜ܿpAdXlkWʨz¤1dyK}0;/ZLs7cl}ef-Nd'σT>U֙F7LjS^UQoK LY_T״Wšd#PloPMWcWseF>ln ("A1Hs4Eјe3jZ9:k0Ke50rJ͋3~ +ajӻ!c\;hɛK FtDX+8W8o=6M!@ajahuy7'[E ~闾;zae\dB[j{4W1`3TȊKIn˔++@m8'ȅEMgKI*]RSlLe,)Fz67Ʋ,= daD0E3_} z]slRV5pWeRT%Dod[ yaz/O v=v:큋x-O2C:ߛMbV 5pcR6|uѰr!οMl ?TO>ɼrquvJKѲYďX@hR˓)*PJF+ƵHgC޻Bu] $tzUسԕ[ J1c-& Jm u6=H*# PU/@+@jXnZ…O=;U( a,<]Py7M9A dHߣaN3#ɞ:o4cͣ$Knk6twAaUEQq{CRhٲ5kUC>gQ]Z(ME6 IԞ:%_X qq$^`/4_a9flH!8нAJ0qw!xVV$/;s>Ǿ~|yS+LE ^&5sX$=qqstf7V,`rPbv53!@9tIX0ۄ,L5x-׏QZ\ ^./N-d)`l>hw^~- ѹb5ʙ#z:+砟"od<\?6c.NzٙO<* Bjkb4߮1=>o#ŀpUM}*ثdIW `O_|6 јMF9;ĴrC2$.}yi/[T\,Rx73X΂H$%~j+ 7ed҃)77a^ mk !MW >6]fX킌wuV]FjU?-CQj(+Y.x=Kz:Ҷ8-aqfyek WEEwVT5׆swɍ qΪ Jw'Q:П>l?vn%"3JL@sV}W%V*E&30~ =z7DKt&.GWHUZ>q?]fYTFl7rˀ!(B; YN%^jȾF6.z'u hU(>tiq)P{}/vOAG;sK=W|7[NPoSg0 ΪbR&Dp<:z+}yW+W@dbvAʏQnIr'9"xLЇdbFBbM+62v ?Awc`7@zgC&ى=Z %?+5~lc0\;j+\:VvLm)"9*k?i[x} v@WIbepq;8n+FFeG Ǎeh*J)HgT PNV E!o: *۞R'o ,:c ,M|QcCy; .Ajj*A/՗M wm:ݪ!B66Nuvtp0Ӗ}*`Y4򎬧AvYѠMEj94;8ۯy1֡M@㯬I:{Qɝ8BFh\Lm)NlG.Up!)>'ʹr$`@0-?}z'A~Ax8+a_y^a aɏӎCѿ֣ t. L"QѤյ bPi'~fF}솀i_LNi0kGG*cF+oʛT}},BjYkV7qW5 RZD;'ӻZn@y/"L7d\y2 )`δuv'Y4> e2 dߋIT_J!xNq|c yF![@ @n,|-ާ|vwYO84|'2REIǨ{褰GD!nдW"#g HUkV(==' jeAℳoyp1x3rLU[z T$~3 gB&H=mQwY>G>dH!Hڕ/ ǽ. n!3;;*NKԔ{/dem@|1a 51Mb3Sk!'o *x.j4HۺvˆTB8V <ܼd $^AM#? Q】(ʍfMɑih;p:/ 7/@&YmQ۲m|VΞHtFRҸ`= hie4592 Hǘ>IJ]} {@YQ9B9 3u%zGtÍazEX6F{ #Slba+kuO#ۏXL Xy ݗ*f!xieɼģ[-Tbi=t B ܟٰM Xyb:^z9xUl ݨQ:*Aa %]M(`n_c,-Q!mW'|!fAG]$I$#X [,!ԐMY)7gZIjl#.4@Eh/mpsXoTns`哉/ꂇ9@1ֶa=wbۧ>[+_'F@g˧JxM(\^ ׆Sdʱ0cW+u%_*lR2K죌WQoL,LF5̮},U(1;EvZKПJ^i}%ϟu(H j;J94kvir=};w<ːsh͍9pPm~f_X~Xfega`@6R2~;Ȑ>* 0H.fƀk_7?p FVEZ^k癿C}8~@/ /ƕ}G/k7QɏEռ&#H{WQ!åWb@w9HY t:,sݕgB656joT6E<#}~yAY^ȕ:_WK鷿V=rHbSBg16VIj!(.(0U@`t6IsӄKe7 ?K1`7>bs0'Yrh1- h[zCRw=#6_|Uyl)\(Dz~տ`eY=A7{2dhGb&pz PeBG\֞ogKKNp,rJ8( ;՗ެ_oiSiH`@}6~&l]Ƞ23` DDvNr&h[.ހ,j ]f89i!5GUQg|Fds^i.A[U ~OYgu(~+&i.Ê|ISB^}szdXچS=6PKTh0*]'ʲI>U)@ \гB  IEk&1mGpU(L*1+.&&ɗKSw^[W_;Gnnrɳ2$(t{bqy=@M Oc jdU'Ω)SNگ҃p5]ŒyE/a5v@mV7 &t{2]v*%N1\f<fϐru6Q [sJ-o|X?晆z־z5.Պ|d@T@t4# m>*|"xw:heoj0"Š%+C~h8(+J,ETx2cK޽.L7 :k{Ӯޯ }cJ Pld^z\ltXHGH >9GAĬ!S zܛ4!4@N n8w iRM-3X5e(5(a՘BL!BUZ#|QRTIBo%͒MSR_hAt{JA+cԁ~~Q|`m ^KES䴢.D:FiȖ=eX $($OK0u 'Q~dho V฿ 󩒁,Sou Qbd˶^Y)@g)#ʧYQ a Jez|gOHAl[ddGeqKtDA,Qc{gs=T aG9k2.>Bބ'Х'CD/(:Y;nЉ1 IQct" ӱ$w[qv%/#1*9< *WY~O\ax,8^H-#޿NŜkd|ۃFǮhHSxNQojc%|]t#PBMfm_~uP'gvM¦yy<4I)'fBD3gFkrc$nʚ[p  iRz=q  :(Ă"M1YDR8%s,rmnmO*4)UU"$tSxVAmO-XhSr& -\iİH`DHfͧ"rm`7/6et] D\0$D6~dV, ÍhPA1Hf7VAz1$Wr =B {tIzo87j|GTVm?iXʁy(Lʯ`(Ǽ?,q1gk?b}D(_D]w]D@rQW|0hl2ʤ+jN"tErկ:bn1#_)[8P EG Pw{!XmuPVyD75&;Su\B)!F,M$e<lR[\KL5] &͙Nvq7DgyRmMQ~dOHkpd!9zxƕIf=9xa/ڤ1ɻdF`>Ki6MFД Cԕ:쳳ͳ5H?4|)bbq 8WG<P%Ou% "4čmm $,3ca|)E'C%wQ|;\j!w od>sw/'&1}m1G.Mfog#s\q; bkFkQPWby,x,Ü1d٭4 Ҋ6ε8? J<פfz?ěgd (N9Y.GWDEO|S5`ꜦC a=~RP$%BdRm53ickW{?|A{޹,ȹҏ;JkOܙrgsDm2n3&3B'+ VR2j8Tg+ԁk,%3iꅢ3^nQuȅ*EԴ@i'd9R(]y=6s5 9!!<9'(afͣ={3d(#$ o- x|*_ɄC4@TuLt%#,r HKzhyNuhEb<6k5*}Or +Msk9Ip'܆c')L>ء>*)k1#ъu݇yDMry(Of*iq'x"oQ h/m=eV;s9kWZg0iJ?3985l}]w!'3=Oߵ&G(9S :# a`ń !z?,Nm,2eoro#:0 ׶.2xJel9$z?bZ(k Q1dLO{϶ͣiL`eHSN2gĶ2#iW{2THW$\S ].)yu}6If(Sc QCW|pq9ow=3m4*075@ӜTMM8"Jt,EOc*!\ v p8C +F& "%.Wt-n/κ?uUiJpNP=q^;s̚%m*"@b@%̜q'h k6aI/?dtJS8N6u&mp$@7>Z+ Nu|_3s.i43?#Jrzc;=~&uwHRa%c;=߇& ;7(iH3Y w?ݧ+Ci/m|wb(|(/JϮmm<ڈ֟Qn5Nflݚz[71i!㲴K뭈`Px̌px ~ 2lUG{N,~hE/ER0Ð=+HIgBfDss~ޭuȃ;s튿mhQޚeIKTD S,d0)qeuF~F"B (4<шbIF%*=3݀>s{ealo @td|Y=6BE=K"seE.Z(b9:~щoJTtztWqY9I:CM#7p^NQͬ5vNW ^xTHl.0NmaN(0`5mqt6Bk;8 l}%_SX\ÓWTHdX\xoNq!YO5xh}ɟ6]нX.窞x `wI[QxuGeS@Fݡ4{ g;Fb*/Lzw7!T'r0z%M7.P%Mf%$G֏,q?'z6 wyuv<їYp8җ'6+؜.X aAgU%PfBʘ\u{ ʭI0. -3 tny"$eS@=XSGih*x Gft)x(R<2O*_24" N[.qBgҳ"}7'Hl5r[8HuoBZ{5rǝgȱ8s[+J&>[-r l8 C{_qan9K]RK[ (n`&VXyc-^*1P1tVEwv%BÉE0W^at;V5Z{1]r")>0%k(cB]K·bJ, xCjͥܽѴcH &UF4z/Fl2;tqAлw=:NK$fگaSex~`uy ^yqX'F|thS)$/[1Aޅ7|[4)C=~ohA>pR– &,3^ӏίr`(xkr#@H_=ӈKPn= i'{S&A9sYsı,eI}.'>O;f\gCjv^wvFȕ- Sxsj9Tif0ۡ{.ZԁѢB~48G lc?2a%/Gpe @́˰&[^@ӯW4J29ЌG e܄T,P(0jc`!=)+?MaĚWLO;'/O'H#4}bi?x 9:)=e\>)5ɖ]EN2l8O!d[u/:@:6x4iVڂAmXr.Y`AZϚe!YU'_V`y [X)*. A8:2h i& |Y򮡱hA@ē%`50 gVVь$A9^H!<^-AvH|7k*v{if+;ىb(BؙY9{>lpΚI&&zѷ&(D?JL$݈ވvwu"O>-(k-|ئDZר G&㍹`y35.PR#480.^B> 5͘g=to} )oel ߤ:ؽm-x?"_( |Lch؈"!d;̗pW/g n%R*}|9`hAԻ,uVX6s"%J Om] "V  yP5Bǎ D540w3$}gH9&n@r=/_:E[ #i.!gEJ_sJP}Pc!ewIPFGyORr Ur՗mSG߼&iƘs} {C|xi\bO3ś/S:h%Oϛ:!dITL'N&wĕ.? $i+cd|FuB'h F:D@QݻVs;%'ʼnϩF2Q P>bK^~Ybde-3YF|?jnt7!:ºjLE``ʤ7$*Ô@14oI4s([l5J*L-%sT5"\@0ۃ');ˁh1,OVyC]$5W|l$Sv<#@\b&G}. XAI䃚$zV;y*߁tezӦp[M՗{LIWBNWQѰ_m g]N *Ip~مw^ eTDNo7bNTpp*mL{* p~?Jn6\ nP1BadO8mBIݺI|쑌|@T4eosT[p "oO#㖺! MtZ{Ũ*-@ALilo&F>KT璱`j >ÚT4nztmn{dj2|Ec7-& X H)3>'[rѣ-8Q Tfطx: *эBYe:'">O` b%bhB':i/z^ϬFŞ+C!Z;-T7K :S yBCpMӢ47QF]f;mL{r!OQ^=/gyw}m)g 'TBŖ[I]\7{>՛KTy@J ޭ$ʥ&#i+WO-&Ӑ`m?s6nrr+;E!XqoSFz;" `XiOo/7 (& 5pkHE a#vB1;2Z>ҭΜˡS8E!c0}d7:Xv4ZǺ$rU;5Q "<X+F8BBu8Y~ >\rGR4 [_iv`0RO$|cqa.IQ@kl"H?`b<2稜[^f0p $+a+k v#ve!pM5`2Tbyԅ:cP`\JIK$&֛ }PF*#߆"A8`B5AtTyx6" (1W"D''r瓨S=~fVwJ<FUyCqjшhdx񧊹Mɼ> L Q'6[)n2!R~L hҋ fm.s +2LTj$i(c -s|#c0;~-_e6vvwNA$:)%7] SRrJbFZFTCv}w#C$8iMJb(ǖ[EI} ,9 E5 ſ%;9M|yc'FEj"ᓽ@TDŽ3s鍌+3W5Om5f#q=4dn^[mEz0q2{6^9:1s-YkBA/ 9Dnd~mc(}qxȫ*b<t'‘Xz8{A vɣ m IQ ЉbZ3J67|q 3Crdh*gGڍt@p!%zM((~E[!nx>u:G U&i`h51Mq-韹QR* FcO]]AGێ0"X08ş|2>Pvf1:3Kn2bq井7;W@4vVnfs?gG!&0fd]dd0ln|}s!X EąGl:H{,,!Ml11^ 52B9,QA8 i{䔆aFo `~c`Ze<6 HXWZYeL ӆzw\YZxQӿԑ)LmTr? t-W@n={bCpƮG'o-/`WOvg(8ykvb~[ĶQYM6RmꕢۃTǏ9PelmTCMb 2FL>hA׊I NF:ݨϜb'fgrpv0u~]l8%N1rPB]}N$d)>٭MTLX6d3s`QߠP|cA3!̊6Ccp'ڗ÷Z%h*k jE=68 Lǭ1nD >bL3aP"O)w N`ءS lv[n'mqm::/acL+ «1E>(m8Pgl_lNXG wuNhb OeZZDHi9vm4U31A$a]%0u!"0{Ն~4PĔņ]0F;dv݅.&Ighj./KྼH-S=#<ҷOdo0-ٍE#RF Y5}b17 sldhͥ'K۱@VBTym+R}W_{3I,ZUY"Ү 4FUHpn$*}/Eg$5~( Xq2-E-q{N׊S<]=zO绅DFCLpsy}hs/ kiTWn̔%a.Y1/=[%mbbEmnrV[4a$[u]e؛F}宂qy-U/- KFxm3qKBuQNl!Oo'Y.kLqoWOxgs3Uv4&G]IsGyfd=>zTam㶊d]vX.XM/3o70IwT /ߒq' Ñf Aٗ6^|G;lT*-x3J]%WpXV9oŲWxV o+;3Sfh5p p>#>S{LjDXvZ$4Z 7 Y n I[}-Σ*K58ZF5Qձ,Y/ UZ)nKe5C&LH?"+Ma}@L_aQ)Y)~|iP]=Mr0kgd⧃~+9,x-5d2@.qBzoLpW߆^#7-De*t#5\- X`j~9}:1K ^6Z3;䎣`K١RO7IO" ۩HD?:TZ1 ٢9%ZL>r7񙢜1@m6r;hLh U|HLGg̱I֛omq|΁!.h-WD~\ X:X+i(I>B|ޱe2 &~U&F) _6Os lHs'|{SV#亪 ExKW}>O$ !skfFt,#kP{b\kJRRVkK1yoj5 ]BM~(/֠}M #Nݽ0)rd 2<7M4%v@o;I)]Xy4Qs0GHYU# lmM弟tq԰tڕ=&ZЫ_0 5%AO(Nypx 7{:rt<ń̙u7t=Adz ǎv=G %sq)3ҁos$(/a-"Gmtw.#JŮh,w%0a$s GSg9@*a=LvK @poK{Xt:j6.+fᢙxۙnphrb8"zX .6D2,D{(Pom<ظ:]4Ĉ-h`Y\Ty/cr!<Q &mӶXr =d6 tyݯzg1{Pu[0Թ6641}(Gm:˹?DI{𷌓^0d_zr ,xfBԔ7^<|5'd{aMfZ]#f T{&'VG"Hghf#m=+2K,E;Qsqr" 'ȵn6>_j *u£/Z=m y&!@w2}J|Yn!x+ >|-1JTnyReǍ-iG];p[Nc,7w4tZWf@^Gg9#]mL))B0Q+ gz*}wor%O *Zݑ^TWIɧ,)X~MGNr>rrA P-!{8c݉.i<%"b() _[a/*kk%j2j5c 54XGs .ReQ%tų-i)*o-?1adan\o^0yͫN6.hNIbiF'Õ,TMv[6[^gw,G1m{2GxJ^%vʘ{!pe.z{.f3DeShXsUoؕ\w-ׯdi.Mmh d# UuCAApvDx 'pET\9~_}4J-e<>enK NNEi(onFV,Oǃ6o!Ι)yF|| oå^r9΋1En`"*Y3}U$&—BݪfޤS@'oK?r+DPF!h پoDVOxN3rB8\ϵPW8/# }un -l{:j$ɗxAM/w_IJQ_YK+iQM(slE,3mfXz(pOy0w=ጏʧJKg"#_Z2ڦb5RV-yU ]#D0t+XJ@_KAr;`YH_ Fy' ]`y$M8|BQ0_KQލ)cC]ݟ5Ev.0Zi>o%u+ľ2iqZzvn(/|mFɻ>o9Eǰ/REt8!MTk3G\1<΀nu5 oߗ,q +!6b1O&*Z+V)toəaugɞ%4."'ͯ{80)ǥ+B O)T$J({%T/^p'~ ^qҵVA$E`b;j䔽6wJ0oj f7KY,TBl$wc;#\an`sWB),"Qd|)C!@4s#Ux)NI߼~fVvcPs!_4R4b` zFUո /-n4cދ;9/5JPY2;|G?>~T7K=H0ϤYQ+NAT'LJ3`\|d w5nk&P]%hXƼcQ3N83Ͳ ՏH{Ko}aLI6 t0 0ˎG,ئT:_נZ~P3BَslޤwW^4̷0ؾ ̏jFU3&HDAΞHoa{TbZ~dmeU,nAI7yJ ['[FԯV#YMdXݐn H;/_q^X09}M.#ܶoQI;ZGWL'M4HtM'ňRQ7s20K`2ivesS~D%Ow̾Hd*[+ۢ y.)f6g^gdo>UhxT͂,2oCjO_Gw )8¢y-ב_.]7Ξr*K?4e*UAGRZo._yǙZw:Ag3IJM*C:eI8ćG{޵N 5Ni*^0^rJ6qo%zQqԒG:E6;M v2"g+♺ dK~ \ŏӜ9]7:vb?tFhJ̴JM3w@.W9#kqqU`I2pR&W%zUi5 }jhlJUYPo4D=@R"K+`gUЋ J-Q7SAXqħP[n# lqKأtML}͓Jࠃ;%wg@%+Lcz_&:-fOUTZV/z@t{z~\B;C )V@uGܺR|a=zf^S}ۏ)آ(0욠bg'ig{H_eTi2n<'f\3֧e;:=$GƖjN&QBǺvR8jdnsczX M~T;Rdb(PbL vXӡ}_b$uw@bzb%Nj5=~xdf31lYrm7/Ȯ /E:6x {:a|d'.C=#lN? A;э XS08luc\UP'=yA:ĿchYdy]0Ep5af;tSWjF觖߮k Lb>w׹\\gE!Vqi}ҶDB-}B{DՊ# ( -e˅$YzTBB^Vtn8NK8] 5h| O"}Qlfx0|_PaEu6<3'')P55ZYҥb ćy냞?\YE@*㤺e ;e?:<J`r%ZXGԼ%YQu]|kB\O$d蚓w[y W>@iaxΔO&weY%H_Q~?^sqO%#$SG{QtFkezxI#ELK%m[U"'$T*4?CEmj`=ԢN-sMa1ؖG%Q&VBnG#Fd* 4Eǿ&|Ӧ_*S- ,&OU1"fX7 ;l*ÿgɕW*uDwd5E(!_A QIgx3W)sևzƯ?Pݩ;4tGѲ͑٣&qa&waz݂5Ѝ3#!$nrVQPx$J%@w.VF5)5B~ˣz ^MlC0h0)}tr5/AyjbL5)7$Ҁ|މΘSm"㖥?) T+8ʼx_5?[Tuǘ~YEԖ`ylo[ QG㬥*/iT{ Q.~Q.!(^Eq vѰRH٧)Rv8M^+K.oV%(L=k]W~)F=(HYuj&0-c$"q|]KfMjNxUs)U>;K%ШVsg`&ʐM1aY= XƋ/13ExZGĂ +cw&?G bmd BH.m%e7 -w/C [iYpaQ`89qd47Y1`7Y c=Ƞ}˫gf5GɊEL2jsLibF)్pe]e'283agj;YPn}A1 )~1RpRՂ+w3~3W{x5,6%mvC]$#lJ0b*kF;@Lqz|;+{ܤi_FOG-͸>'9HJcKLq%3ŏ Ͽ̠ZmR1+2$QCAPy;!o l&D v^QsF̩HH>ҫQsW$~O=A()MSUi㦃EE_“FN09e]lnJ(GJ&|&eG XA@tW:?bprhW\4ɳDF/YfcթSCk!g2ŘrOTScKUXUv !q͵a7*BngH`[wBDɆc0ܚAdً71€;*'FU0*{2eRj`? Kr'Swxg'+ |ԜEQ@N//k#6r5=AhXIՓ6]Jv*بDª)UA af`Ǚ~Ogы":;2d-XbHyϯkNVC5a/DO_|"*o݃Q@ qs$Za;ka;HvѲ-dd5B4>"H/8*eDK$ju9UʽG\W.Yn(|Y1<譢wρ V_[ZOE8@}"QT)a`h)(΄$nюn~!1QI5rի XHmk>y؜$(5CW.*N˟a^\2M-c6L!}%rzz-A|.Ʊ/4N 08_wT-v.9ir1᤾@j ]5 uӛ3B)œ7mb1 7aT mŇfywU!9`3)o~n fװUăR:wMaZ珨893 1aYnĒHÍ 1-<ݑ8/zŀ/7+t`wB_4}rTIr>lp/ک1݋;PH+G־(gm^/KGU;شOeP]1ylJK?#{E%?İӮ_8 Tzƙ}3(܍ ɞ3ٛj2):4q|]γ0@ⴏ~MW y0hq)0%ॄ5icœ\ ]TǍHڭ ޞzM9;glx+9< $"sŒY "4F)mǝ7y;m4&`~5c_b|RUf%zBT w*[=P;~G%J?Paf?X,yInO$y6Zg'Dv ;5rkB MYuʪFP[`JP.!y z݉m`<6*Yp]֗}HDGF><׌J ZAe)erjKza󲛲}D،O "W/s?><єN$ruj8T:ȔQz@|6ay&~}hdI ʴ1''K_dU.G5"H*3lĦ ,cP*G0Z%IBFA6؇ ʔewֶ*b XkR(NY\CjrĔ<"Kf crXqDMMhsǹ'Wo&4qʭcQp^W\v::tN.k2%T:Khb0;mR#n2\+aW }"]R8y񏩕G,Hn?|t0>nV5Jcmߠy 3J΄6=ijD1y:6d&o8l]l> v4bb50n'biI}y wvbeooNTҽؔLu|rV[\S_",c5Qr$G:U=mݞ]|'B:!g~$UW͕}vKjoGXRp~{͓f7:vn<(FfD6uJ\R=z͎͛[IĴI0fCEa,#Q^fspD@E)vC+W6Nf[rwd^̟8!l!РR+,}wV+;%~IV_Nѯm<;\K "hAPsaO윹.Hغ׎+"VX~ Okol '㊄pϿ$6e< WSۥW`3WKdE8^,dRDx%ZS6=S1}ZA{UT 2lDܬHES"1Ӊi=#]y s T|֎ *0fUfboH/ EZ~AQDP\QA=@"$gTSZFBk%'q bsD n͊ .fM*C̓턞qˌ#9SCl 2Z{MHaSi$R oto2{&[SD`}w'Unaж~Ȏϱ[s?5(xF!o$?ߝ}¼ХL,hx1g ۝a|T]|4"?W n_yoK'=z)cQ5d42 g 6-a4ozO TZy ƈ҅27`"'@{y(v)Ȍ9ԡQ%G}?0*+qQAi=f'abwZCl|S& ‰6O b:)WSpJɑbz /M/ O GYe.B Op*Ԑȕ~2kgi`uRF-KL^\mwJ %p!rF׀vh1 x\[,rHg/RRFFm u:tXy\Mm]Ǯ!­s\&mȑ=օ|sygM$sIG5ba| `6k]% Bp"}d*13*S"5 Vw#{e wIg2zY Xک@yشߝT5jӖh}AeUuhHNzœ62 NӠ@4Z7U h.6CRV3GڠT*v2&fcz,D,Ǫk'ԷGMI#Y1B7p`p:>d3]c 뵢=WAZ/6q'9Ti+d֢{0 ǟJ W#RgG1AmK=e$oV1!6F@]@;sgc)W>h( ֠o{&D7zg^Vt z]Ed[81hOv/at$bl-rRUiq|^%?o[y"oFe$ {%NN>yzs,8˯(j*!HD S'7^]Aʞ$|HWfLuԮtoK@Z|>m:Av])zwcℴ+)یp\ubTfDucF'+?Ή>9a#|( PLvBa+TPNQv|ܓ\|[lEg#R5DIEi=4yI5Ǖ| iƗ J ŋl7]+wسg!Ŋ` aRN-:kF7T)==/>-tT>[# (]FZ1*W3`x~VV9Խ#܆/A^CP_{H>N:/qutSۊh{8~ep6ɚoZP=bOV1aeMŚG! W]yI}%x8~6UR)7cOZB"yeH3,i0Mh{oUe$-goW$`CTT6x:xVtaf ~!CbAu-vdrn^ʓz !dQyyڭV1-պ_M-VHM1arHڌokzo,;dmuyx.o!#%ZR`d0kJ~YX xXV!x %&*K_y&J@8ٽ~b`w8Mn6&ax~`~.U6L|iEO_õ:.%) i_<&<=Y##^iGH\5%*`\lM5&m-qF5S6I5bb&A5P$TM?KDU6ʪ˒]4'Bp"j\'w-vyWW}OD7:̵`S{Fo49͇"lgrWg"w/8(D@>iXݴ=3;[ƙH%tqg{WU!mGS~ > )3.8>mƠd,4E;y8s HZP#5^[N$8!Za"@+4'!m?o18knwd_-t @\䐷d'ĕP̢qg uƲZºOW*} _E)۱1/F"cX5 ;lV5,w5V 4֏z`??^sCVndXk]s9o[|&r&8]' h/Z~K}nZC鰁$-x6vGr# 0fm/nq"zaWGN!i&t"ɦ}(|#+^Mg X"ȐrN`'~>OBSc3&* ./3({៩9ـBvAW(@ yv QR6<Cx9W٤-}L$anٞ~ >n,ժ4cOPP؊2v"셃l l s qȁ.s30\EK0sg3SrLXE18@n'}tK;d&:rdGcRqykVWA r~9o ,AV"7lcf7 dz:B{mj V*A\H=ak(]&躣*8"M[, PtI4J$;:GK сҪb@X3جw\ɴx{vؐ(9(I|#kk`%:ƳE@ZwznC/j% BM!0S~o{QrыM]: JE؀ UX;|*9@AY8{9Y=OPu;a uU̯E$[D"fFo4xZ|F3L^h1VtSQ+p1 QW&~ $AF"@6`ekQnv\Ke!$fI{CrmO`VSj׊ۍW^ߕ{oBaGx(c^|#}[xks|Oq7O]$%c?5|A"1rtN"]+"/ pό=v5N[[eArZKxyJrVdTJ\'MĸKr W 1Fm dH\ĭi &B{` Es@r;\Y2U:(λRd!6̴􌰒{KOϼ@ $Jj9V[%ӳy?[O9 1ͣ.B.qb:D7^TLJdoұ|iׄKB|?Ꞗw0SDdun2_|a-Tm|}f=Ḙ7I<%rsϛh2#ܕlSUD K7LdoKLN]RQ(;B@iqۋ'FMPlK?epr]bL?^j )m=s>yLO^7Ν7*YطklI8 ;cn=o[} k ֽM:'R+U=QEԳ*I&14+` -9o3n7]sFz. p2MxI> re&DVo5VxLf j^EWUXg)xNWI_֦Mͣò+^P_LА+2QYb'z?mhsc\S7L W۔P9=01w<|f-He?u7C0BxaP 舴:}lRkxv_IVFidT .Hg:z7 !w?0ŹڼT:W8+צYddltO[e^s.w͢ڲ%ti\9-@|/qu/L/SfNvA{U!M^Ȭw[·2 @_aeS 6$WG qe{ +b &BXhh:{o-G> Rtʩ"6/QZ?t|M7ۣL-ʚ8/Mҩs!ru?cucW }KoD!_\p l-1#"vc&򸽴vFpR!+jůLaB_NFRK3$E5PG_ZV&ZQ IЀLbXT4#[ڢo`w#n&f±O*}]B ѯUeɲ@YRP@8PJc=7JzQg0_@N~ڛk˨@NY+(HfgeDFd *nu[%[aֲ0)1ƒ [4"D/6ĴGᡬtJQ$so>yäiTŽe٨(-/ uu SPhe*>m/L!Nds2l/dv]qt9c:6ONbѤ^NLD4Âbbo/(xgd<}Ʒy؅kiqORN5ОsL"c=WR*Fo,T8U˴3ο ֙"!Mk1TΟV!@)0QV8lQ$)YLpWJwP̚Ti?? ܵ' [_5KG_˜q&:FɆV\b5HmΠZcY c_ J2`>kfR_YcӰ UG/б('"菉$->9̂mü&WMAZzsMH_f'@{n/w%+[> UP]!R:{\D<9iB9ÉNS-W/uj#+(#"MyPk< ^p2rl4 T3#U]~+ tHg_CeHjx(!8P;tuB(WYeSWD'CTx}etK9^]-22a?GwLo<>:2w>y-9GD8C C?aS&z tY*5뒈,礶:(:06-Eruwg*h oX)ן)YD?&1\; {&C1=\RS6ϘھpY?/mKʝrshA^! }X7[fVߎi~0bMm3O2u <%O\-I6F l bhQM V [<2Vxʼ݃ip5$3A\ 9&0@/ ~5:N}j,o]朩;n9r-t D#qhxY^ 5Zo53!5ӠOC|>:ߊ\t+0YJ;<| u{cE{ ci ~0dRێx,wH{@Evl|΅#g#v7 \9Hi9ت^1Km\h̛f錀Lx_N_FWjSgpL_(+eT"&(˴N~LA^o[EwxSMoa\Dj~V%S oA;1'I`1I *p9$ŗSyzΓ&转qY'-#vY,; gdR]*wCHÃxأ"i1 uM5>´m&2 LhGᶸ{r| %߫S]~\i.8<Պb츧?h&l&Բ}.2Ɣ?U} wlRnt7,LUZ)m>]% ԎLDU;7s=2E䷩?:

21rVo)|KAKp̘N3ccGިsV[@с(,)Ho&Gvmѷ4ՐR*6_9<釺ΤwLFx#``˼ڙGQ9qy*g[3!o`Ryt/hVP厀eC]uK5Vcyb{ |XZ>y}LƦr@=J echr T|Rr֐$FƜFC X%VF29Z^o]7 X GHoMbs-5s8/Ƨ%aewCIͦTitއv4Yy2DP יF zLߐdYG?G}^C^43uL#dߏم1'shzE=M5"^,HYJ2h|h곣orxFv3Ŝ5/%ۃFUW1eKS9zݑ0^싙:%W) 3Dl659Y.LHe55O[)<$d*zmpC( '-*JPfbP!vM z 4iBxD{u6roGRRI(d̛JvtPHk{2}ڬ$ xeL^h'4,H6 f}.w'Z K2sLZ(qQRoVGzKTfE%>. _׊jҐ\0t2%EE{k0 ڑ;&|N"{4ͽj}kp݆xBړvJ$7nUG[xNbXhv=+8]3;d2$هkrH }Zg.DZsnܣxD ۄivņKO>O[n9x:: h@p>) inӃhK&p{>.Wgol }NW.E—x1XI;L*~g~pH_ywݣzV?^mnXb0viML[uqoPּI ~͌:p`nZ#ѣ;W^TΏQt%:#1fs-~4oD0K^!gfp&%V@NfRO6HZ8]-42Jtm+s5} ~}rS<| )p|.̎T5 ⃩fr kӒ;-:{w+y-2l/:,/մa(zS\[9sSPg*+dc w2NKx]B[IwOM(umWd~ܦeM(Ͷ,fJpM0Ů`Hwg?Q] PP^l#I{c3oKtm/DdYB I+ă$ o;6J/\sԅ1.{-B@+y|I$0[nOG126_22wiZf !$&x68vvرIn"uWjOfhh 3n@dCK<Nd Q6!KUU_zjTF,7Ve9Qs&HP*o4^D6|HnJP1KENL#onڒED>i{ </Z y܅ɆCě8ۡ`1g?,ǘTؑRN_ڦ6<6xN(=фݴ%u%eGM5wa3W] }&D8Jd^B4_k*c mP c,CZ rL}Vϩz65,㷓 ٗͻo-k:zĖQ*3eX?#Y,̳V_mi0ނŠa, W$Sc\LZ#lvg&YrFlΓ ҁ)- [LՒW^jpȿW#7\M{@X:(Ig8 5tޓ/\%kBMz~DHyϗ-Ip⽓fB-25?}żnPƍ:xUÒ _[*:t6az5ʇ%t:Ϥ :a^yq[Xts :>0C!q!MqބP2mo`J;."L6 s-G雭.fQ wC]_dRz_պ3T5 ϟEI[;绑} m C73gG ?$6QC^"ݶv_691TTjn;Xv=ėf6HX]T? BW`(δ.wu2Gv,1 |/s22'YlHFdU:Ȧ: ^сburzM]o^S1cȶ7{9H{I:6xkyBUԎUQ:J$o\ێ%-DphϛhabBۥWSTɈx^u̵IEtH>jf` YVtH+LUb |\o8BJժȔx4ULZkuխuP2G/að2Xlzmm3 ֍KEZ7S_zjk&9!̆L]mx5}v 4\j=zU+l+85 A,\=0B4j\H͈,ߢp6MjM5 -*tlH'> kw7e>3:PJjY'XD&%@DԘ;% f}NȩMGj`u*P!YGA܉ST GTv4Ǒ/U ,aN/|W:mn2xCݴ>xNs+#gs 5wx|xE <|qq"%Mpk2A#JU~"\Ӓ8Z4%$<byCkoLҢSnB/_TFT^!:~:a<`M6e=>;jV@C%IR#pg d9dBҌ/R  3Rq)s(; S񪎦ѭS񒊛U lAt^LW4dW[Le>af@RP_E I(|~ cWӗvdžϕ}'ȉA Ih~h5}zcFLB+^ϧ `6QiOƶsɴg%۰52 +o'($)z'mv*.Mʑ!Y1`CoUڳO)ѱ3|ld:l`88>> snK07m@zkF1/. 3>6&|!Ra\2/Xjh>& mlSCBe h ]`SGW" Y5L<5-S'qA4;ܬ͸鋯 џu 9EiWsp'z$_Ymy,\>JFj@j) X'sPG$ %r5ڲ*Ж /xZ,c=mhf0jA \F"DƎ<@/3lRҡg,4`NZ+L DL@ t?o ﺢ+W ЏK!5e̮R|r՜G_H:U)DAh2:",^]rt6;m A v$Dqmd^Yh92^:l %(#iri+xóSjNIS1bO?G`7".L) >uZnJh{kB,QO0L@hQOM [׷ޅpC(38iͼp?ձXS 8Je߅<IK M(+I&t~Bqdz(dh>9߿jVAɗq<}I LՊm1# a¡Z fn෴.ΐ{Eb!7QOG5E>{3` IXU9 &UDaDo|?B3oI*3xr$ e(@*{ߣ) +bn"Uj ˃4N[Xg.{+T;;PZd"Pq@[3B^>,B+Q8u&5~SךGuxRF@*<'^; W \BtF3a _Gm'1 Hk"q2L; W[/悧[V!{alKIB8?ڸJ-lIiM#Γr9}4oPۻT+~zѤEn ZaݢiG70q[xi&8S=u`-w+HɻH1|ibƖ&]'^k^tQO]˝YN r44e 0-/Qgu$`&h} ܮX;a7*8S0-pw 5*֌GD,>r/JŭUqpR$߲w5\I3&Zzq#_.c{IݓEh^o:e| /\&Kq}=)B&tPzm+ ,T"R'Q8$t͊ ^bos-WwÝo^Ê9+ KEA^y!bzCnQ ms?;K.@>G{tK*`Źv7Xu }o-ɭm2k>Fz[$ƦxDtYV+DahZy~# zK @P}{%d}MJZ#޻s,f.@Lܯ+#v{mvٌG~ t amR%ל jz˃!VF.GsčejI([Tv{ FǷW8 8-MHl?ɮ pXDȿUVD֩/ x5E S|?іꞕTJ=&=AnJĬ%ria[帺~tBWk cv ̓>y]b0tӍn^~}E`\Btn%tE}]nWrg3fۗn0r#Prg2J<%G(Zm]fZilDS.JVɰbD8xcB:Dƅ7W+^3IDen#7lͬadV*HG)/AI,T8bFi(59oiI|fyҎi`EdV)|%.{%7?|_fm֕!#@9A C%p2Ff5a09?X5.RȡR?%@C8X෱^ޝ6A*G-DwQ U7YO?v\\_[$x~ CRT!.ӫla|=(Uc7c[Kr-+OOp sՂ'qٯ6Ek dNA7}'fgy czx"6⻁xZheAymޑB(,X K2} RY<8^.0t{| ?+.Z4;qAVa$x{TH QMa X5ak_-M^ֲ[#wLkDQÀu?>T;V _j3DaOaunE6#F6Cx>#~MwxMEgr~KGxitơpЄjaUhga3sc bvk_+T-(w+ְ3ٻjryŜ[2S r|T w51E?^q{6JY{DR/ .!vh}@kޏЃۓrZW9(-SFuXӑlY[hK,'3ou߂Æ8+Pkh^y Iz4Vc-K* TyEe }]~~Лe,4m@;}3i\«4l9d # <^4BHiϪ@֦09BaEigGr/ә7}Z1|6Vp$w%ێB"B׵Ŕ9t-ݩl՘\prV@r΋\Hk}tF󲹳5:%Rq0[Uʘ`N^B"i͛W:L}J uj(.P֑Ei#j*h+0%졵 (6)vCS1~;~Y[(NoXp`@xeN&ZΩ7n;M9ՏGfYindWxzp/lfRe-K4Y9j`` %xL9hYl򵢃mx.$n9BɢR$}9/X$Q~LOEl:EO)ᣔuc&;L&!7VDCY`yi6K=B}˴%泩{>46O% R?A[c:1/a(F(?gu]fj)a'Vz@іށ*A^"& \u9<`ֻ9 *W9LQ<L'usIb?g>; ~u<Z"WOoy qad>*.Yj fipFP=%rĊ1׉i-2$;|lnas~KT{8fVlw&fԄ~ ~KjCQ5}xKbzm6JпuSε ugC9D(.ʁR5_Xh'}Uɰ=|U ! ?A $ET4"NQlQ%DOlU~]TYj^f5AuJM^IVf75D5#p`>Uoi=~xmת+G|7#0*H[٠^9O>ڏ0I~%nXL 6nͽp+x>PIhmaz7Ee{~B 7[oO^zz'Qσcc·+iRN(+ 鷜}ꍙ~IvXċ_S?͝#:;pV+]@Nx? þ=^{X蟥ܓ @L('4̉Vc97G5j'B(']'(Q1/zgdW6}328t}-uC}1cnЊ_ qȬpdDΥu_8ڙ7"CY{5D6cK ! 0!w8 g#s U륰*1+h9 4TsX빳tdi2_ETQ#`z"N'wfQ5u*hhdNѾ(*U0ˌDVENLn0N.iٲx1ie 2WQ [4B@m빺N=oGer+ ^tHu*o[}-~Nʁ@1BK6|q1E /hQ}B_-$jze|D9m"֩ tP-7j>h:ۊ%e9qŴXlڻ Tm4eFitxy{b<8&o i1N Hޝ}=N% & )'LX/gSH ]+R=ZM 9u+BS1W +t`=ZG@WȂ#I>1JL fqS@ = qxr8+Z ώ^}t.5ϦnTITIĊiҞ<\-Rly.9[ .i.N:>2k4t#ɕH{kHD,k:(G?4_o( Rm&Fi+'5</L&ےz-h,E8nBEVKAuZ rd`hҏwȦ<J*9U@\qec%]nϣ!il}d.hfsAFmhG}Dds 4j}FODKa-yv|22;tC#9kْ9XKw[+}wPNXnxs~__l ܶ'/%^X*rE Ik:ej}a%em/9qXɷ%e"Q4OVyDO_\Czt^h 2{Ɔ@Ey<"grh7*N(;|y?ѫbe/澁cUHP Q ?5*9ؾrfX\bTKy9({TكKk@T]z`c EU\/oa-R/R9qo0x凘%.F7ݷXwGJ߃N %\ d E|IO~#ZqfU8XW<5XR/~p m:\{> 0 9awXLHk:T{xLqN,}њdةzm2UQVJ|kY`0nTv#i?G5]$߯ZPS6ý 4Y&ץ5iuWAwh)~y{*nT!@'*&@QOz9C6MxrhXwhp i#;VA➪9,ۿ Evl-!g7prX <_{Ysu2ȧ=n^+e_kh7֑.l52rSߊ[O%]k*KCOsɼ1B2Vlee'Gz(?SKHg1,R,XKVW|= t١fTRQ! L3},riLW*i@0\Vqr)kҍ ꡪC]Cjzأ CyE~Ѳ< f/l`jݦ%,g_cX(zcQ5 zqrc+=$N^0f5`5)GY /U{ɠ=Ů(Β>2T :OtLvm.J5vˀz_!_,(pЍibĚdOtjrWI 9ߝl Erq[^Т:sp~8*:Oyq]*#]eT3EJt}f)$.XNR_Tq~CJBsK5 ܳǕtvFs7,܌\U?Bq|0sQ?2Q,㈏DUz2OVe@c\:fI(e,#i7j24nF34k-zysPW ܻ20Q1wᬬ{9=sidz0INo[bo1p3hf% SV(l&ސ0Khh^SDN?c{ۿK&2 vNx~FסQNqcVNzCNvPcc~(WGwjypv0Ez)hGE~!}G="'M0 ~ƙҲʙΎH }{.ѧdpUaӈoI 8O%{G*0 G-"wN"(C?^߱=Pivz|,tx%u`v8/b] /EhF<]QgK[g19y \bJIYg4yXvpJzS{z&;;{A)J4rnQLǫoV+l[ 泸Kֆf0i SH;8o5JO*7Sz_3yT&^'[s8l&a4R`84_Ԩh4t'-V9 20<6Mr@@AjuLUtj47 zT;%ǃ7 Ϛ'Z2QdܟK @N,+.Ud\*ÑB׼MO[wlQDՠ:3B; Nfͅ.V?fePE1v%w\̢}'1u#(%ؒV8Ok\S~~Uj^e"I{]&㽠&j|ִꍖ(SdLƩmL/?;'W.)1cߵ?yDx&$Բ KDpFBBǝީCԜ8/fG+ͤޡS/n$QW@֮eiی@{10 Qò[b UnBS֌*Y7 HPMi'3QDH\}˶E^Z/OO=^$\_o_WL*%^:m/>,؉XEΟ)j5:%S؀=돇y(vh/Ounp ㋽!9Ϳ&r (5'pFrX<*S2GꙙK?$5 2_YʠV;=X N1uS*w;7F';=k['c=iᗟ(08-gnݞz'^BuO`,v{A IR6D[H#W ,[q"]2ԏf!% D'=dNY~߸iZJ@ ^n &&d )TOxWSp\N.Tycɟr6qY'gK>=*;Ys\sX_XZ[D`wT9J,B;ӔՂ(끩tD$#]lmML?0z65tzxNv$v5yX]};T\b&+9KP`ҭNT3],fZY/c{/h c7Qe$ Yv^Sɋ}B9a!hXgۜ%gn3eENΏg#Ѕv1Rzf[|$5WF'r¢D9-Yv:v:p 8vn! ,9, α vdz{&p1Ci~ VVR6J_]L[o7ט8ʝ,ΰX3V5Mbz2;9kmJ;_àDs:@Od`(Co}Gqq܇u|"' w}jqWsA:j?Mnغ4"y` 1=v0 6[" I<j2;X6B#x97 Fߨ_1u^?' =fHY@ꩻe~puZWEtGTҚ9h~?jUt];h/nh9!=6Չ8sj߄6w&4X5s{$XahB/܁qfIsRi22jfػv%XDW%dZx˾:CigCNႳtO=-7.#ZR>5j{ ք®4B`5 \rt՜Tu2Pqa,8~ďr mȽ*)悑LgŬEPtGgci olEuIVo chnJEwfɁ{Dۅ"k.==bqtˢOCHБ'&QX;z؋>$#}O뮩e% T~"JH,N;bxI2zNȷ UzL=)loVfj qz:yIQ1 xvзnZh'dn#Ys6DficD60pt,_YLH ;M-Q:Jzu0OIWF"A @uɵRjcLfOS"-@яH53#[}&OD7>6̼G(-7ig췠.61"9͇iZ/ C(:Aխ̳s+89ȍ]Հ9ʚ3W}Md( p xC :33RX c(Db:bjIk}:⬃Jbbb0'h\p~-ɣ@󼫩N7ȣ;6Qѵ Wsh!x;6;Ds/; B;NHD$wOd/cM8 v@v~E@=uJ&k"+b4p'lb{u/غ, ?83.v)DY{=SH-ƪ51ovoYYQY1$;% I{C?i(A|o"wb{ &1R }SEՄ=?W9A:|H&i\,.l6&ƶ^.X#1Aj\8:51fM\@62t5JыiՌ7J-9>,nv+]dJ1!PbQw,3ՃK!7?`͖\nudښv ۙ:!*ŸgA&^CH!4p "y_P^__7)b0.e nf>p*Y>' nn+)@6}E *PV5V*5CXAp'Piaٔi|CuOۋ?m}w~VVgݓcc̷o}$}`di3|H͜6gM^~{V ٜD5jvKjNrDT#`4*Bkk4C @ZxoWm7^ld%2NQ)bԮ-eOњ#`jBꜯSe #[nJ{D@qfgݔG1%8c9ًd܍a|`&(\F V!ùw4#6mѵ*:~鷻S(\V) ^{p3#϶ZtHfG5?w(|=QڲacC1+ط/pJSjb%e%}Lf%Uj_[^;B_qBьoqfZp™0Mdd<Ϋuݰv`>֏Gu,J0ݦ;>25f͏+MF/J~ 6D9fXi1ò+[WQz\>b Z lV@4J1þǼN[?OKCSÓ6)Im5d#\t8ciɐpUH)U*\eOVts8?o$8 a*\Rݛ. \Jv]^Sb[m-@(ExjzA3˱# N8k OCy%+PSh/=՜ )΀*.&2Y`Q~b,ɂ] X_) KݯP l "ԐM=#wi]P!z+Q"ȉط?!VR熗pT@V#+{TBRQB&]S/}(ew8 7|}錿+̸{2"HaX.޽Ӗ{q< cwbPؑ䶐-pRZ˛ /Gb-񱃺0Nʧ+CPװC^AnT)μeb WLQp[OƄ\(Rk;{Г̪dfe ǜ&5KK %;EUhfoCнNI"z5ÉX2az搸Bf[d6UNײEXw&SV3f&Z;Fh^Ezd| m ވ7 sږ`[ۯn*GZ>}U֌ He.s4bFzLk߾Ć\t慗EQaH;kZ!q,Chr4^먱tvKJ٥9UyA8f'- Zr4)}\ѩfn3sDkf[9& (5CqԲ ݧ4`rYFTKQ3 *^k$aZtĎ$% Ӣ+ǦcDjQ>ޠq\\938gv"VCT'B<.M T75ݸ{MXS93zaOEB?&fUI&գEw#AQ=tȚ`w * 5 H>$5;Z3ERV0a%󟈇Xkls>۱Oo$,2nZUi +j p/:$x8u{0.g L5$Ck Û`Io6,0B5̘L@:-`;8e=H|5s; Zo0~jÆ^S6U'<6(Wfs`@ⲠSw?\ r$+GŊ;S [绦A#<;]Gی/&am9hq/e]*pQ}f ׆;٢L{7d6? WҸ^@~BI罤&zfF VI3_"⼇^Gr:22zl6 pbωZ6RYVX5NUXrF#\g8;&z-⃾GS~=/oS&N#:SVd㱚<:3͖ʞRΚa?WU`;V+d`p,d0}kZ=E|_$A{Yg *LhB ZЧz' r~8V:g˙C|g3peOjvv^δj16&X$-ڱr+'i|G?a @W9z#`\ P18sSuiHsǰSyi0 =|"|VBr]&if-X_h:eDǡe vs7a'M7$IU>+а+"z5b08ŔQی2Y>zǭrb+%Gv"/'Yǔd*=ݓ|@7 kwSa@9Œ~!כv:HGO5#R5Bg-8 :Av -e2Y+3\3%4LeNm2~}ȑqmOW?&F4:ֶj 8|e&ٸrя} m).TWɯcE3N\_5BRt6 cu&ѦS2zsfD ?Y4e tِ4I2k TK>T-VEMzeӰMM)og_yzL^?dijVzvi`n%< Ns{gB n/<cH M釚>Hf!m&,_bP ̆m!iu}{ /٪?hbȷ#oK07~$*mc;ls>>> ɮaȬ߳Nʡ{4OFgI ] uuF}-n{kmcVV b0 O,e!dod؀ ːK`Z2n=Yq,4 ;(P=:Vj_ N@##"T)F|@:"Sޥ;l[.6mMBuMufکNO6r 7m]Tא9Eqؿr;{ =!0=r(l$rĿƊ~֐o?WWL}3hUb@dv6J#C1BKU랦8ԯ=O>u}a$zk/(/\ '6**249 "Fձcrg3dafXY'@Pek܋4xbrÊjjem6Ai6w8RF 4 W/%Hp<-+ mxFRPlb72+9!κW(LXox96BbJz S7prQd'^Qj58|֝k;yPgj5T8nW *|^Etc:$4U]KK%+J~X` 1o`O@OEەR # cߡ໛\-Y U+z YO,% {ej4Z_Dwh5/tdpw)/xSiÞyi6K{~~I$G D9IoMf+܇3n xM'-D wYOD&Ԧ]{{YNwǬd]0{P5~j}uwAZA5GR d_-@ тjSj6.FT_Бls$<7 ЦjÇXMݘ!i{7p98iDeF*}1k߲P/z&2,.M[gYZ13d7c05ef18052fe3404acd2717852f5afa32b32244fff9626586a47cf219a42d65621cd04b99d5d ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c b83d4e80aee1d88cdeb177262aa9882502bd4fd5