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  f fn9~4D ] HOL-Datatype_Benchmark:threads=6elapsed=528.850cpu=1881.954gc=753.5707zXZִF! 4z]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;yR";JB>޳Aաюa[y#}]PXZ,HE(Yh$%[ηJYw?j+nF H9(e_M8 l7LdL~7,\9;_x*IcÿӁϵS3h4pUSu=&Xl/(R|E;(nu{dIh% QbcؒK,v7 ^MKƞ vpPa/h,x^pP+ l7)RZ{̓ۓ\yZhf(gi5YQ-mo-XK,\:Wg[2;.sKtL9`$x#[g"Ek˔Q lCq ۽7C/NN;cDT$J;q뫯.CKIg]# 9 HOL-Datatype_Benchmark""9I) Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQa5ѝ*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?k L\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 [["9I) Ns`*x5_0P?Ch4 =j%6X)̘)wb9kP ydx.^J.2D9y^mGҨt"kx}1u'}H_L(f>[0u״8wwa\QZ+>ꞙJ|vx=ЈB{ H#.~W$}dZ=y _KJ@ʖ1Qy%feנ.lYvT ןܰCA-h0}wcQp]qm]w}ˣbEGlG$ D}hWAy5rH*L[߲ϖ/8Ⱥmd=LTA l>=ןK ĺn=T @ hA6B/kk`O^=XL< XdG$SQq4V֡~hlK%k.2O*H<dw42Ur/WR(ª C翈;?j0_[s򧋼^ҭ2.j ou\>SސTbȫ!BusPvY`(Y֤W+ŅAPO֥LDʇ<`pԪ` Scšc34ː4zAmc{2H6#]VqqeI̫ 2`wHigcU3>a~U[˝{6q# 9Tѓ>YiZ~Ek&&D<KT.=uVHձ@RKҤ\[UA}uNgݼ_B4^('8]}9愹\݂_uhik늸Ep/+SL9d?v8DGA,my/:LG-*78.TߊITU@C0xgX 'jAvFjL~RCd%*0FD;6Lf1 1g'$Bݓ8cG# DO u3ui7~_QT"K|-_+3kS$>#6f v/e[ܧEK"l짵\2y`eV?лvCrwdPO1l|}0MYD{]<9ntO?AOF;TJs{nz{ (Qzea6.|gL1] Wn=iz{_!%taghF.6LxVQ2wqǻY;{ZwZkt_FߚzyܲLbݥɂ4ik鶀b]>2aي{(J̣Y,-HRf)Mt6CYv'IRӽz;H0|[&T_OE aZ[uy ^8V= ,ਁ,;M2P ˙{s婮9._Q)G% #d|;Gwnc&FOB K9T; ZI"*΢1fKQa6GBFؠ 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$ѯm]vGvENSnT*:dq  h獑JbZ˳nO Mm~xI0J#e gW1>HPh 3|p*mh~KmS}?Q#PL|CXg|\0wN0!_n弄Ov5G^6mϻ1`Y-\cx9IY)z?AGt1L9KN xgNJvj}$5,@~wyJ3WQݒ tTdc6S5_-EN|no 5r +" GFz WyqFo %!BWm ]ǸbN|:_LMc8`i~#tܵJ*`xJD8a;*ᄅdݼ^,\aZq|̡a[_iKPJQ5ph-W |70)*4Nf#ꌢiL*t` t8Z3Z{n£_lb_R'k0ꙴ#-tDѰKt[`1f0+n, k[s#bugԖ܀#F2.H6uYsE3  54 D?7gpgp*9{yQJ 1w^LA>MY7(@9u ,!_AkKkW=& t4LJzҩD" >I? Bͯ"bW/aWi?J1$vXh'W뼉?Fm)yO\q%܏igE)ij}Q wSԺGS%2F>tDAhEg4MzGwQvmtxv8wfݪ8|yW N⮪S3?ҜPeQ5TP~̲+=. JɩD5tkx(kp~nq杒+rW]A /W^}qd@Ɛ[ɹ韖1nǕybMXvU/Xz%bB*2B&^=ˍz)9gta`**WY!>5Rn额@pkۃQY$u9|z68 RR9}c=DCڐBc_u[5Ds]*)T}-ٝFX4xheP5z>Me Su P.7~:Cwj|J '-?z .:oǕ CmеxOJK[MBH=愔-p^.>&aio @3+ }reX56wc%-RUNlf'R9GC6Qc2C-5*Z臷`S ݚ$,dy77{Nz٩ox]#US,W~ojao3 f>C-AX$jQ+9"~&r $X~IpA#6gJ p;] 1.Zmخno#_aKҽ|yE^Ч6^~F ..mRi(n^2~5fg̶˲\{&$le1' fj-=DgA<_\]1jѫJO73jX\Aވ>.7"/u#,5 nLN.O܃S8a Om!l ]HrA}RXx!ϒҠJ?ma{ݭgg(y"hQR}VHb>2 {m(DZ,ͺAlw: GA).sXs񷤃(pAgM*o.#^BC]AN$ا%<;9eR~=f{2 RmQqTUA 6: \(ItgZ3kOoW~y5GVNpR%pto8 @NcT9aZ]W[\N37*oS\[ h.&]?;98KX {= OM=N_0!A{Bx[TgR_pـƦjjˡ/48 ڎ8;Aw,}#E$x f eRl 82P>>T.o}Ȁ`n[÷E#8rk_RGؾug=Zpjv ďďlWUgb43\eirDV'7*N&, vu"JN#|f~[]Ѿ9 įJ*=Lޚɜvfm(~v>G؂n{;ڱ_Oޙz/hz̭ ɛ$R-hǑw7>ЛhDZ%Z[[~4 K%.MM_+8w[PC?sz[EvlG H<"lmgQfyJσ*|rG "ѣH[M'\W IKtq:g!!G?' H ?qN9_JDOQ`kZ?|ZFr2Qn= UVTbk&h}rTDt/N"\,d!h̓L 6e-yPmNX@~8(d1&˒+U2X-pLFCqx(}tZճUu!H^t)b4XU[L̊_[4~L;AN<?$S-e)+e,3ʾ +VϏnyM0f? . Zg*gT'{bIM?/ Tc>TZqXu/oac<1GڞP2[z>% _Ju[#}S!L&,{lu:/Iv]o) {L $s 3a/(DW#I`0K %OeZ7`[TbK33lEk=-f❢M?1r$'Z{% wOqxM dm 眛U%9JKO%UJ1}=Y/l^`2c#Hfh% <}'y 6=ɒ` 1pj7sF[S/.\6X^SVPٌYS/mf>oSvlAB[ySF3^+{ ɳ2;cc3:be5Ȅ6EX%ֽ^k!ڻ_c2xoM483"t<~w<=C4zt]܍ioKmD8G6n#J׃S/~mx958o Zizm'+"DLGʟ/,|d᜚[I #*' K! q}4/ QB Zn'i{2[o*6Dw[23C7SqJ[Te94}y"{|H$i]UӬM7{ʼnae\SB@pA}d-n/V>}\֙M_ r w@)T7H*|m TBvpF\=,#A]* -` k# .F$==}l\¤51-sU166Lݨ)x1a ?LXq5}+fwô>gᆾU7'_}(dC]Pn1KTT+:S)Rz1/5k3@3  e |ϑD ~ҡ>z#u눌eĢ6s:׹ῖ slb;F>EX6H ~@v D(.7fy/"O-uN .$L 1غC=(Av_44kJEUJvwΧ{a(#ymvfNk^g}0qғDYvI½`"q0%2N(2TJ`/.v*"&yJM8ؠ(QjEOKcP5LzԴ`k\hHRMm]mI72:,BԪ7X3.tV}v=F4ٻKRV x%z/n(*nNʙAҨe#gvGBz![35v/dBupݚ.c#vNKk?Y^lwܫtz1SavŸ$I[F6 DX[eDi2=7M4xyԾcpMS,.9~jLUkNsawZyr2/tI@A H%(6vӒ "cz<.**{dϠ5r1A͋_Г: x{ VXP/*/[HVB`s E29]@,؛xca5xpu{.Ҡنˋ@ D3@›qoEN!l YB#;ujtŗ%m ʥij@$< cӲhFٮℶ 5[Z@jz㉘Y/@*$7<06@˺Vse4 Z=EՄOIbFX~4o(ܔИױM'F~WS"0idO Iì m"g1WJvEmHJfjv\5ka7ӌ?o8No7-|`zDQ֬R91Epzm^$._\_E`Q/"ءPP󚎥|,pT=m:5kj2~Yw eJg=߲U<Ԧ G ǩtA_R|Nd_k]!#ѪQb^.kR }MQz).6<ZsێG$='t 5?cn3)[(v"jhWvqYȇ #srWK`*zy8՟}@a]- QY[ȬyAjuHc} o]%G9ܱaߏy8ƔX>p+Z1 ۊN|e _hW;jo?xd2 ajVGkp0؂ Kw P֩mdLԏ?g jkL:1>l:K7?]zۼZD( ^r|P'GUۜ?i-q8Zij.g\:iH BbjGR.Z .-Jmi/Y}o-J@(ߘH禧p0md\Hns,  α3ɢm)FztX,oc(иEnt" OyNOݍy!5e !nAV eԸGml&ܗBNJ?mPJ~L`w#1laN4̃H[y&6l4! tdMsMV"Y'wȸ&aa/ڼGhFyk P-j,t!m԰:e" uDi )< s@dtBP8iެH?$:u7(bW &T#\PӥNOLskGD땝;E<\i+I5Tk\(liѿjkwaUC0sB ,T[e!.2v׸3 MK1dYm>hr]ӒYUSFuis"ZJ\6njQ͜,ښ*r= bq*߷GF9A^#O3 `ԛeJJh[i/`IWESѬn"p#|v*|0Lxgzb2mO=1ޚj{[ɇ>Z'`m@O9c^xRv QAnilH)'6 ܇3J0rr#Jަj3Fˠs8#/71u#\. ?8a-ƭbDN @ȭKQ3;\"`4PAk} ,p"eɮی$ex7CX%`v[n汽%P>XA-?*Px#IvN/!ېtS!U%ZfKda]Zk=В똾`s˰~iaRnHΘѹ?X a"^v>ćkSb} 8*K'&>J]W{ š`YCkth$V ~>'S|UJ/&:;Y(;"hRC#.!K{]REŃ'BC s_َzr %O/m54*ү~yq>e+ d:g!!LΩgG~n2㳉 3'jȬ5Vʵ^e,ak6& {a_KlOO{U5 k wmujO=VqGR]91ҭdQSt w7;I Ohwl#ϐt>ڗhP IuG0 W rRsҢlo`H1Phik2A3h$g pZ Rw:.S6(=%&q3NG5QKiҪxҡQNL\Bљ@TQ9\#ffMha \h~ 6u籅MǗF-( G5?|LG$w\FNq#ڟ.۳lq)_|3xUu H 4S&KtNiɳCMPE.i *71/ӧAe2M5Dj}l:_a}t*vz.Ϛ%B/5nSye=~*<<"'繟ٸ=CuZdѸ-]5f|n?[p\2PQe+Irye]%H5vveb½sF]D!W$I /[mmZV !bY ^34log@O (]C9#~bX: vn]>gUVɼK&x#]ϩ(Rc:0&4fڀ98kI9*KG)<6O_,-p.H|& ]j GN/Z  ^+"*6</MPn> ` sb6MA]0l<]*XyTHrA#ZGz'#{̅T k4w.[ Gsa=©N[ 90 ->k`I?YЛIQj4`:Dp"!W`|/G'x7p|#ep2TWL Y\;dr&(+ JjX"H|h Z{ovѡ8v uNAC^9oe!. kg|:]^ryc o{§ :^SݘwZO bX.gjl"_P;x7xz깪}!p߫pesl[ńR"FEM 'sUzX({d39UF% 35?`#DD{wYb[ޯjj9B'V3ukã&^Hc~Zy[^H~"3 L|+~J˫!+rNz{z3JK}\[n!ӆ )8 k׷pKw^Vkh BSee(S{0! ~0)"}րBJUL*4G#*T㋠xhx10N9 >/,[] $ &.9int?\\!y򢁲s(H(p'`6v> ԉS7H(t'R9'D9YCخOeIj.."'ύl+ -grG[)PcAlKB]kA esp$J.qnU`Rü|1m:}TNJpw\-+pK\HSu#x8)g-+*Ҵ8\N5oCPnp6Ԏ) Mۥ =/YU]=UiUռEoԧ7YlɆ4x'Tr-CItka?y`k`+?K(E&~"5&αDFkxu+K6շ6}uLV ȍ6a"]WVq RF[ ]qUG5dA3x %FuΔy\!T,^ &¹UQ=N>envw5)E>^ݦ"' "HM{G=Q|^s'Bʟiip^c/R`6 I BPTqhDZe58ʖzA"p q@:P;I8ߨlǎ{L+S[@>7P!ڱ鳒<~Pd𾇩qܵ {K+,炮%-(G͑,TS FR!tBX@T;.NcR}OPeG 5 'cl: Zߢ6Zzer>^jl 3bj9.j6aYeZ_öaSVxlƊW$t[ֵ_jˑqj{NBe;g dV&N ;R\ Rv.^몈Qg fpV}"¶Ou*eԇF:uv~o,)b5z -ގ$&Vw&҆Xw>i¶~%K%w0=MBǤ#l)4;t O=NOxAj>U!bTǭifW?fJ{Ľ@=DפP1ݤvSݝcj䟹Z3EK_q0吭nG7)}ӗ6ywtvwQ}9-oĆvm$ڻG^¦|TmRqgO [4U6s嵥(]NNNX vF[M20ppg/0p+{Og: мx5OGmIm]On}4YH#⪶E0bIF"Jցh#l>Ij OEkֳ$fߜ@Bc2p c 6]F"')B'WP[fͥNqa>|$ؔ hpMGCA5硦I8`,o[5Ӈ{\K62v?'1G[r#蜄iE{$}oQgU8F$ZcC#,җCE8KdS&Dw(۲q;}B4gOrf]@Xo. A-C=HTK"^g RBˎPN.A qY&?y}{T(K&\>,kץ~gdRmBn×9CsK`ص)4<6j,/N(OnEKZd``9G RmmA="84P=Ն}.#f;Aޗ1 8Ē{9P,G ۆ65̰1N}/> e\pϜ;;rj(wV#\Nh/ꘆl[˨[GmU[ܮ2X8~58Ǐ0rCDQ.WIބ 1*/<ç( eh#D.?$c}0ղKh]D5ݰ,j6옏9Srt\wةJœWW~nu{z.t4+}E2UΖFxw"*а*yXٝ8vbRB5l`]X0'6iȭ;,y_zNan+6VMʹp_*,${Z:O71ȌƂ0&Zlm0L\k7ȳ$6$:NQ1M|NuFŏ@T ccr2b4nXfsxoy/d|4uJZ%u^4(pJڇ~z@( p_ [%ES`V){7t(*Z}Nz4MA98c>! 2 mx(n.{s6|_tr 5a5+NT ~=xAA|! v>`>"bx iߔyYj ;MLVEvԛ?Gh [vgl.0XTn)>\ Q]kε\Z yխVduʵTF;>DkPizfRm=B<`-x )VdZWЏCOhNenh0дo'R%}^>|y lܰ>:!N=fWIZۅV8GW~U| yDY̺-n? Aaͮ'AmG>HMNgHwoj1OVD2$-ɻaIN"8&:{6Q՜>,H'GJe7\"#7kSI mIT`2NP|aV.lpr;' u[sns+KVҪY;܉4~0F,=4*u7|?'WrgQP q vcLܬ;Ȯm3;5=Q-=fS> ^3p'?”iMbt'`f*qAiɬ-8k02T:qSaġ|tKn*Qz Wb!^"!aF 2hQo'a-6PU ֚YY~n0'M ZqDb8qYrSK\Z#:Q[*P4ˊҚ8ZJ D5K,IKow#(@y-MDqi|wl #Hx'@_%`q:(x{& ΋^>4hV&Verukxa-imeB}`JHh| mT_6MBojd^Tuu_`nZ8e,^r石`.HECau S:y'攡1 nOYV%D#KJ#i5fkHku҉Kwdx yy7-% B_޸DdWW8 tʔB҃Az)]fz.UZ{f,K Pxc`.z?}H)նVA+'Sxf%tJD>^OL.x*Xys F*WcP 7Mhph;*#ܝ;D2jJH'}Y\)ɼαgYZ A2A9 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 ~ef\%[p!45I #x(]):Ѩ걧:o$T"2$ %XRUS0b1^za(9⑗ܢ,{&A$\JP:]=$Xx+L_̝~$xjRȯw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514l 9K) LHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/latex7zXZִF! HL_]N}T':=Q߲mZwb3KzdP?aEu7}P4n:Jk)vUUH.hP9Ƴ2 b "F9w/zg4*fVZ/ *݀*PD7nE'yKO=W-:ZCVO LEKc5oHY翊4VGLJNy*B8gÀ7XWBx =­m뱭ە ?};A( j"+hpQȖCW񁥢_x&\ZfA3g{;RD>,.]>rljOaY_g|wiCL*[ -l)LlSr!e2gz:u01'ƶiɣ!.,BBnt]/ʱ٨PS@ɋ rmG~p$RsY| I3oF?;_ A} ꖻ(2%|eu,ƾk賋l VnQ{9m.JI56ߕ&+CZ'rO ~nXA4a=u_ĸݶ%O?JS@;}F6UV4  {2T5o 0`8MME/ r$[3d9C yR^j1\=-;of^!2Y8Y˔!/%w#)dLQ͏fybƜ7y1}MGBh)k\'([C("€ᦨVcԁ;[en]NJIu,>-<ٿ*f ; |*3Z8b M활D#YؚFe`7rWL-ߕ=}sztOWޕnl }!.Ľm&֮E#ۑD~ﱯـ6^&fZxar/OUH' ĺ·zW$W2$}g}y}#kn0!Ns4i4'V\۞0쀦^X(|8 2ަAG9ޝXغ 7>D{S?YR<cDLt[[ZZGnkҒ/l-tRHp‘s|N>^d]ȩ(8" sDb>3hN RKr&ǣMHY+ PځtJٯ&:cxTv_@gTa,l]W?.DS?n)xOCSzݫY0EP;* ЗdnS " ?hWI@O[CRֈ+oюK &e-1vY-cJ|=wffGM\V٭?msC!W2-JbL@NЦhưTdc;6LNW)ifkr5`1J ނ$wNfkT|KI 7\#+?XS UJfb`f%#d>kX@Tӎfb3@ gg3i+ C 'g;V.,QZt7'w`EzA4CcѱrZ,VMZeTw)FJ5#ڋ9C4P-@h ifz,<> ϺywU71#&1_0bEswڗy 5*Zy+bp&ڪ3wz.V~ӓSW;v0WDsKZB$e{Mm 6p)ŽJA$4(N3ɞ&B~£(9wa=\cQGvՁ:EuF[wXB0z,فW\/(j0d785#edՇ&,g BЂplQ7M{Tʽ{'Lp!E8Hm|0LHZHPmWwKxQSH)z{(/ۘ0?Q ~@x+l%O٭5fn/SbHezؐs@bf*Mi_'i}$;I`Ȯ֋+a\dQ1"[%Ͳoh e2tw[7ڱj$ZnLj`{24i_M|a/Ҙ*VNr}00aSN=XPfdJe<ٴSP 5&ĺW ̏kThՂx9˷ʹr f8!w!Wq7)R%:_G 3.:Y0&2kdz^A?Rz ζ.NsCMj;`VL)YA̭L<ϰ-YB): @ۥ>ѧR5.U&eme%MUuٶXyZ)! C{,n'1%,ch!՞-&=pd> _ *D}b} f)^ÀT7xvyLA'pl ݽ^>뻎6^34YNCK|ݞUkw>}N1o< INgN!r5ƻt5Y $Ҫ>µ  BTX![Y1aBDGݸemY"(? Kh=X)qfI-X6{e]K3k!yu,/Sc˜NvplҝKfO& 1U.WCVO0qQO!D H5Ք0Y~nFqoӲ5M K(pc6}4t7/2.英R ZRY:gm#>SLs)F{7ݻpby e#ެB qˀ蓗@' B&իC'3^rvd?%nhO aQ"@`;ܮ~Oly$f> )Ϗ"[ IݍrwwsaNnﵰpvs, ]Ҋ=Q1GtS wd R\beKs!5@@m m61܃\8ӱ78ˠP^PzB۩~&ßk6Q*ٸ`aIʹiKEC"f/9>D\*ASQMyv(X"qJ{s< [Hi YA~ \7*L>*5kJ׈oJnI{-ԯz6DķC-D^GV?\Z D«|6+L/[!bS3̠f1*WQ=OM""n'\SNz|kUVrSTqS[ڢʆw9Vh85",O-^j2J˲hA$ʯkrnrO? P*S/W_sIdhKYeHx.(4[*!~#**ufRDv=LJĻ{m ˍሧ|3n԰E$qʪ>V`4+˪΋{'TFXLR vx eߕۊ#zmAU8  fxʸ uBPtW}VK^.SL?ɀBzyyif\c$Y*}^ʤ49!Yz KcMQ:ܶ!+8 u/,W;1Yp%hM*DbnNk]NC׸|FU%+kq^&` _4H&!vB-3{$FRUu) ShBUf@dSS< 秘[ar&&R|g8gJ_uFAIu;VV4k7/fF"齑;8K\]ɝ;\7SrU|`>,ύ?L!k>"s#pCN ʖp~}9K8 ZTŠ/ZE@5@>eL+h흱۹d.Iu]8J?%saX:R-z}}vg VjĂ 8sPf% 4f{Rһ\0#wY=v=:Mp_,.N.}97Z1XzB nIE[l+QJ*L(#+x%*]׃{" "D-% bTh#[Fy9Xdkg{RQϙI<Ֆ`D7~ŠCvd=TBh+/Cd}?qt5^tT+W:6]] +HSK[$'f86 VQĪIߜx1Z?!/ڷ0^aM54϶Vyvv-.VfS3 _ e l NjPX$qli6gZ /⊤M V}!.af3]zQO+nuMDȰ!n|A<y>Dpb~rHt.En/0OpY}[9mօCD{ u2!T~k}1hP0Y З07/fFnD߸{45~6{0!sϳ va x^'{aˆV->'fJ)tT$f OpvPT'a9\5 .R+Vܰ !OrLs1!kfm灬E-LT6aݼқryya_Π}$T| gN 3}QFqRg5GNbl=2"@@1«T ;| B3iƍ;7i؛пC$15$a#Ľr"5DRt0L aLfD܈(*羛6Q45-XZg-9tbS3J`-HD M`7=ziHNk_=6ns? ,<j7 6IzCq YU(ȁmJ7dva<1-h+/)֘xDn@>`RbѤ.N6] {ZKs^TƆi8M4WlqnG:n 2 /qeB-5'+#`1x{EQ =Hv٫y޼:>+ ĔD00|&BZ/8BNA*H78pJgWf׶t0zGrYmO, _(h^7&N$ue ۭk2:rOC{ K&r r(ڇ$@Qg)B>X-@nHAns&]㟆v3!]鯕%m;MͭTyL4@,'2k{PB:OMҽocͅs_rcQڇ2bsLJH4b]u ڤAΪ_kZ/C,elZQ, pk:\ UFp!,c ~p#(*#k_/N D{HEXЧ= $(s{aȟ6fm`]$ȵ¨3Fsz/f+0ćvSvT̔Â2=Ye2ul73W620-W GJ#I A#3~1\I9mċz[n.Q)qicD9Lzb6..-YL%"!=cP؈ YI{cv/!%DDުg^3JaաLIDwzO0SP!o$4;bmty*s|ϲl.cV(բh+"RB䲣M4Ҩm͘cPHJ6B 4tI2 2E\B_xW6.-em袵[*a4XPrAN.YѐB.s4b 8Xݖ:W8NuXEjwu|YPE',{D$,H6XDNͣyynM#RF;!cKȿ+hm'5MXoAG25;]Bk/V.R #Dbi%#|]y@\j,+õkw9_WFXfnfXKg,1ì&bszޓV=3:KhN0Q9$ax 03G)i-@FCKG&1v{:&B|ȕ^nN࣫ci6=ʦ=t~^POm"ړ ^e8,Ơà : `wzs<0 mpFbt~]b~ V3Ȍg\k SN嵡Nb@D$d0Ya7@hg.UKpRwMȂ{y-'IrpW+Rj@ׁcK^,CS+9̶nd5f Vv )f]H"9 '0o 46fRT) QrrL~8K8 XzfXhi4!sQ=$Xc=Ƭ|[/ωӷzl땵m__{[F~kf#,-gjCv<B}c6mNh y$*LQ YHgrU6Ha72$^! +*5!O;7402 @K^?I ?Z8hO-aϊt[/ 86=n3-um _CZ^>`vL!shn"U0GgqͰsٞAƳi/t1qښ_N!%H@QM;;E#}ʛ 9 jR4;I׻Q}I/ͼ!o;$ڥNyxGiՄî1_sh6`f:]TĤ8oMlAg">d<8/:ĨO$/oJf ;yOg:!V#$iʾh,Uhd䝞{_N,G@ȣp|F#0;brG v童pt:(_Y8n$"CH4"sݛؙ m{z*-W%#}3"y!ی~ka#cHB Zi^j< vbr}5&ʗNT=LE!cDC~ƶ:]Ui񿗤aT8tT|q 攑MN\%^H"';.y{ܦ‡dq`2Na[ )qoB#SWh憷^-̪3K5t{VN'-j®)MA:h$qM wH" diDd@6a_hm^ 4%gyfP2aM5Brȵ Z{ay`֊rk7MQ$g/ ?^Yx⋩J΋9vE u!Da,'=ѤG'^]7c e~g}er`Dw YʯX( б;!8^I,zHodςNQ@,!}0GzWtKChxCbU$> i9J(8 S,0gs9XcҚZC9E/ A;F}R&^|e,O2 `ˬbT8rQ2U=Q7Q(qzD^ٝL_+,TW3J½:~ӛ44+h6[[|vY /'иWAAwp{(l{*\: 1//1^oVuPIf rح|{,>op1Jsk&Bۅ.$ΰ9܈G'.=Qת#DZ?Q*T̈#Rbȇͩ^V?>ZMo|4[q3k*.ΥQ ]0?4e*- eL_d ]5t\Z?tY&\ٷlFI'04tK)Wі69ڒp- [I qG&88P֧r>DޤQnA5}Ve;YDkr 餣4= MKnG=cѰ 1WqЂ$O.MԠq^S.b'<4ֺrhvV <y y2DI+7i}+\Di ʊ:54(鷐bXm$FkaBٙ.z"$Qj.c8L &VM̐9ZdNlܭsWQtHҖYHrsqNE@d RW Sb75Uۨa*ϚCDH-KKWx)Dy^zftTQM+/:z/Vnp)*enkCWj&W3lh8< )U+l.CN"utEhMIRvc1`RkTūc cz nQrY[05cq~.ގp{Xޛک.yn"f-Q"\v r9XH=4QV)ʺ1 7gք! M6f ,%sTvϥ&ju=>yڡԣ%f&lq~#~75ЩG~\p޴&yN,|UaZFhB P2sBUWU}$JVx G.\ dSpax0g! bպN$nɌI߹0"`}O:hìUUǰxI{pDaC-sEE*(f2|]K‡9E -VbNaP["!s~eqWg-E|>xќdu 8yayGz6X6'l{*U)"~6Ip77Iq gy#{|9-#LcgKI,8/ّڑZ1kw#ٚP9wBʨvd5[  :Pmv {hj~`"\j3ޑk47by$#W}RMv[kbcՖ}lg ,<0}I z>>ֺXWm&bD]]@6tP֡Yƫwl]Rn\5/u#?*(}$+˵P/,F+ڕGfʮyG1Ey+C;r&+e 08HbHPHr,酬fMzư20D @+1=rŨS(SBh$Oo@|bFpǖw2(D*=vC3i5uJŁUw .}; nSe<{]%{(pƾa)VgbIMkQjNc> $ /@Iu,U2#?'"{eoqE=TUPQI k~1~0`r޷}; <嫑(e3J3i#;~i枝=ܬ l `i{`6n7s0ZO]nn #iܻVe ҙĵo2wql T]ړ|_6k5iD[&+,"G;efMdR mNRؠ`^CtOfx[bybnd5:J;HJ`+(NIl(?;왻b=EҒ󬽥#iLVNÜz<"Ԟu-]5!Cg6iګm~" 8m4kH;4h?grynautbK3ʢ՗v@XQKo6 {gE>$Ɉ.#@7؉pǞ.jt}K6YOY M9 Y]fĆd⤴ȭJ`P*c Wnza'$~tQ-fFY B%RG! =†АMz ٯ(`,})Ψ wHe =3s_}rm)6 Xj.GlgUүqC$gfL=MCMpz;p+ 9Niw<\zo(;n&3nG-'.-t`WrwT#\ ᄋ݂-[kzuKN=^,FsliYeeh!$(ޙ҅F-VY׭DD2_<2 mѼkBw:m T2A,OBPeS '4巂ط)-ӑ<I;XFރԚ}?9F* 0$ *[ OUpUdMo[£Fb8*m>insx3M~* KqZ"O2Z[T`0 Vz4?ҡ'dPȁ4CL9k/$ݮ" L&=> ܳBRڑo_KN.I%D'`u(\뺹#( }1Np7zń E$b*>hG!.1e_/n6|1pa4Řqw43SV(V<ِ2[?Պ̇rzABTE<vLt5i# 8DwG_ve,g8l7:"^g8 EYO$bR| f8q)@r Jn%}M^t'px^*+ޮ al8\E ־y^Xf4XPmv FkN@s~g" ^:{S #^D<}%Op1 <ܛ첰z l0%I\j>)UQ mˏִJX廟EH:?[S!w,Ved"oC+C}M$Q}@G-?|m cw66k+𲐺1c"qTHuV)k/I TQ "#~# 4-$}Uy[*g38dp=7tWhL7NTJB~#nv9Hc7[Q׹ڇu}pl8tQ?m ̻AGpnbF{ZhudNwp8OXh*ޓ4'KcKGU^y9_TXH`kuxxŤ' XdxԸ]ќbH֒QCE:JQ ^SGdZǁzqby~p$n)py6guKj -JlZTAXP(b% eT lw[`rR[}gj'w)`<1'.6Ö[ 1e322~ ۠p eI/0*P{?IYdͽp-&COkuJxHAZ~A,_,'e|&+ՑFUr5q"WBM"U;|lX51s`@$Jm !)ZeId~iMuZ?Y:`&a V[C_C?n绛}p ̻cPљn_(wkb47Ez_RNs<+k2M8`(x"BbX*iGf s0ɧczy9P9z+Zt>-{Tp .hmQ'NĹ4JfDFI<~" Jb{Q|\~v?UgǬhcrP^[`\0DI0Qx|tU-ϭԨ7(:ǗOy @VxgWqBfKl%Ja]| '}*jJZ [2 9"G"~\[4E}K/WK_eF1ʾi uR}_˝9]*$1'غV8:]7-$hǧ ,~~gz:Ѐ9SƵ *2,'v)T 6WmUrа!8M~b%3Ϋ ;5K]7LQX ÁT5>vq\cu7%~xw5l=%u賢f4t<&)0Bxv}t !T!{#*+r^j W7Rvft33JEYÖxѢȢB~ʫ7u*J5LŎn I˭ qu5JgZ}XjTQ.E+U67き(I6 0~U~޹ߠ,'}rA}C6#YukGy0>n姺EsrOA ExoxY-㴆zӷ(\֋%Gd.n4uP2u{X?|X$ Kh5ISܷ6{t )ne5~Ƿ E VYk;5MLnHu[oVG.2,yvM꯲Lw.9RXSb>11`m嗑âO nZ_*tz;RdA%{"Чxs%-r0fhYIIH;%o\S8Nm&?"0HZ.~E&Unk _[C.Tːh-B#Vom'J&qj@L<#CW!=J8}{cC &3El8/ כbZX6|?nL#bm{7:Y'JXETMRX.VfTL)hYoЬ;JLg8OIр\M5bX-j#5@!dK|f1+n9}2bbKĥ;Ob;0+?YvIns[cx^T+?*[&zMiEN`r-|]?Ou.~Q:ÕҺKFMI a,3 )2>2?,c;`2EA#_ʼ [Y$I@Kt> ܧ2=Cq]e"$}O8?R;T E?9N{(`P$H'6ҼE呌O E B@m akE4h:;1zVy$8fiR-0[k&}FA1~G̨uj~՟8GxޗGq~(jrdz A-Fc /:jQih^K;_;AcF]bZ{I܀S)I:Ҹ]GJwŦYUvMn/ ":pFodP{QIABWLV^@G"yoB'glǮ ̓j 9)%y~EcxtMBoA>{|*xN+y~R6ß_mjW vSrhFߧLm&At:Y< %Ö[GKlО$TO}M/2f` 7HAt󺿯{,X`sޓuqXrK2b\]0i6€Fф<ޭѝ'C%x95&G@Yq8;(̟њre< )c#P֗\s/GtKv bH`]OKZw([b3sAӾkJ7~bѽSy%29|ܒaCcTG~r X 5W:SoRӌneI.³ccsȫf?vyny ,+R\Dw,WMPV3ΆDtgQ_=;q& `+61"`W sxEKi JJaL߼łX w>bWC뙊4{V82̓~JGv)oeyFKe o\ v10į,w x@tA0^ٸkvy1et `<=;о֩^Y9

\T*E.Fg 1tZ5JNZkFe},(09Ylh%I"^9'.Z"ۀlԏk \'jPNn$+ .|QdL:8:)&ej7n>Rcpf?yKTOaLSMW?׽1a];s&̇Ud63hfKyoV!ֹr¹|LW7NX1@8d .ZM|)&{N;8lke#'@eph 2jTeZH[E܍fJNzMpLG1vXZZ}=+vˢƐKÌS.F p>G -mnt\^/}t\pV*`y 8<5Ij3Ow (ϰ8Pړ2+,;:T" -&9Sϴb}삆^3C9ts!?M*[UV~ !B5I+S `Ǭ8/Ɵ.v!K4(0+vhRQ5.Аkf=D./{s׊i[z=סּ7}FqG0&B7OIE?F+214/*?un i5-slf{K8*3Q(Uŧ`9lccrS=KQSahw.≘0fr^3dL G<⸤9JT <FeqI>>N@l}rB+=k^zoH&.6$:VҠ*C2p)#W~op@+ ~]91 jH:DbMb|MnIE( IFP.g˨?Lvd:Kٱە鄹rȅa(מĥw 7M 仇9`Je=@aǂr죝HYMg uzds@Gr5.*- n"y UNhECkd׈:ɅǾ}yzC/'I}1lHUnwgϳa`Cix%lׄ KZ[.Cs-2Iro l( t9er^9修lFW{պ2qCg AT=APY>@q)k$/CV鏢maBS;Rh$? cϭnڅɓm" ,Y6~Krߕ4K=ޤx*P0^9 ) [-%BȮl1jWvYy6u+uQ{⡆3ThzG; B^t<ժ脤)1SxØRHRh0 E:,;E[kmP׻OᠵnsKB8鶘ft^#~mB1t@x{ۧhNM48K3Z=5)i 迖穷4{h7̕DqB4plo`jXB]}}+&\λ'PCDl0◻k]oEx[ \2v3}~<㠕-êW(1}$u4ux?ʳz6*>Œ+t(UmZ=PQ@\w\:#q{˼&9ݪ v֙҉@uiƁ+x"|"lhh-7>,zp%}6Bh ?KECUDtgÚOe{n@NA2k#BR{* H"wMn啪4z:4AiG%ZHEuPD 72B-.ȇE1+f[bA^nJL>K|;e&Y/H_iG^~;ՖI3unL}2)K!MNm#i _썽gU`wu5ԃc:A=8E6o0[%nJu4U/.4%ׁ!n3)&Nv&t y4]H// $»M eR` 2QPpO@țaJWiďB2'nl%sJ%300SKgMg M Rkh_6n#j拯dms(,]Z5|ߖe^[A/Mogu^*ɂ8º5׆%`;EQlz#`` D&~?Qlwe %EYBAs8M$c}T]K&?y mw+nw(4R*_P\.{<:, 8֙?fjQW*p;ph HLڹdG?Y8f,J1{,ɟa!<2O[YANJVCc(}2{:qI0X~\%%hG.?3 ,G2X*Ж#Yɜ{ɞ\鉶ܷBr]7ud"@f6L Լ]Bpg) z'_T1x$_V'ٸ\2Rӵ(շ/]F [씿S k|бlԋ@MiLe>Ԛy-~naۇ"S$ZaGυd@iׂzlf;VmZS-`bΫ݁[،%&$#ƅ^ׅ}Y'R`0\uMDeѹJuIP0o,Tx[/u_P v}7.mPps1<ܘ]^h j _& ^B{O6x֕cnճ.>(L@7jL`5ԑM &""WŵݎZ|& W ˞J@LD|!+(\JdE:\>|% /|9ku`>-*^G9iE bJIY|+Li}ގa;djVJkW[]^d=! ."r2fT5fa5dӘ6Fj9 Nm3D] 8 lVo *FA$^:rAv^.u{uqZGE?~QLaLxp3%))g+L^O^"DY.dϦ{/P+bp c҅kI ؎ͤu>Zw˥<"iD28_9{L1Jq/\=Й%CyD&p/x =4O$0wT'1ԕFQRGL'~Ш2NPWY>9-Duz"Ф 9h;\ee\ZC}xzAkP Y!_.#/Rpg灶DMa\y.(g HtyO0:7$BcbGGJfGM5Հ{ r7I#S$\NlwHfp8-~vjuM}+ɕ_"־VU7_)@!zI~& <2z{KݟT2%3vvUUj+MB>Jj[?dpBlSʰD [\LH&uWO$=|26]LU0ĢfgZw=\7*ق# ;/Hپk"5;frk𵁀 d?x%l!kN'<ܼ\G2|]*ysE%En&w8Ͻ^cWTidu ( N`Z> |mEu*):Ek}|d?`ug̝jEZ')COOJ Wwlʍ$:iƂw2᏾{@E5dcmQ籛/fm)8!(ktg`Fкx "(uBCfUr=ʉjdt >jWb,M6I_fw%/ꍽ\H1-. `7DT8!͋еv%܆ ?ð],|XDҢȵԞ!Cv5;6MpAteET{ciQ L<օ'4!x`,TJ;5q,ư=. s( Au-fGk}[/m 4#ouXpVCw龏ΐ9"p0>ĸY@~#Y )P5,-NEGC[MԎr5B6):fsv+cywg9> 7T(~j$x !Ԡ,\`EQJb2ON>#L֘cXEj!!+ݹDx[լPbPi ?q;/L6Z ي4{ow5yG  ]O$N9ϳ12o+$юFK񋠋O*ox8(MNUwd*%_gm:@qrhNوgq~5pFBGIVz_Z7˰"`vF*KQ z LU9C B»y'e,Ci8I"]t# TGÕ 3Rp"[ʍ* ]. Ek~)~ K[|2xȩ#6}24Bl;@bԼ)I zC[_ [FH%e:,4Db 뜉>Xv7Uyjo3by0Q4CȠ)Re*ǴSjb0+EYXj?E!G{W,ApD!~S!,8&楥/ٝ&G+~aE6`BĂM-^@* & oɷ\5ܤr.4$k!j3Ӑ:w8;u' O#ƧԢvoCލzNGkGI^ekm] ;'/*tKĚ!I/eqc30BTY8:HVM"Etu֨lOƺC$WlJ 3+k!`Ȭm!^P}!i[ ޻gs1,ap)r< C/>|SȒ+{a 1fнApoJBy1#+.'8( %i]x0>|(+9(B͛roзl@.]74Pcd]#Rв/~X͖5=y~}HӆF:"C]Gk 4S͠hQ;\. *Q }!ΉL8Ȫݷ<*z!!aiH28;="ˉ ]m!;&gz <FAp E#Cdu&;*m<~i0X6[hC`0^ 5&a]T[?ɏX-lQK{q[/ j5}UFBA2:S>gF P8r]OxZtv   탰TPjtL#I䑣m\ʭM5CHїB&n]_wF.ⰹR!^z,ccVˁdt^ţOaˮYMdF @%]щ ʫyMl 8\!jk'f9L #h3 GPŹ͡"r8;o᳍V@Sx=ȸc֎%SS_~NC*!DW`1zۂuZe*1VۖIS½ wW6vk[б!|x 8D ,r₢FOhmXp &'%bWp(G=֑M֝s,0F575jW5}db6f3S%~y.lhykl]1:K.Dfm,v7x6N@u`z8St"J J4ST%FjimF6DK`Fc hLbN ( T aWS%6URQYQf{Y?`E{bv#vlfLHߜ .<$/#klݠIr2o\*Blve.1%== Dܺž杕ߜ%>qD?fD2a& [~ȋ vg!)u۽f'l9}:3n &9n@xd ߈csIPluZ_ ZvֱrOo=o9* 5a?6zLԂ ѥ0-_nC̀}t R HVɉ%5U-]8\Ke8O%WP <+g6.c7^Eٻmu"PWa&L@]ЉG61:R-aF[ީ\>'O!1Ko}Ugo?/|ؓs^OXKfgYZFNM#Fo&C3ջrJ_F͝M^Q ߐq {s3njXFi#Jj kRJXNI29ĴLSRyr~"ʿ A}N-[|IuxK;X-:\ҿ7qcg`O,٭͗VpW&l, .stK(wT[W.ZS097ɦ3Ş#M1ClH^@oHT[\x?JX6;]qeԭy(&`Z^C Gh2<hj G{[JN_x XINüBWkj,[%iʧ8̓bQWa^K46w+)r!GGI9j HRaprpgӲX5 Gͩ5>SԛYڹ0c4:뤿Jsi@/13ۜ< (Q b9mpDN 80Y|MFg_jOY|hO(hOR\]d23lSQ _gX.M=FpD#mxZqb\BǷFBWogh_zeCS@ߣ և7ӡC)DC;W?&[c)c_7G|Dž99lI\)MڧL8ƭ22%V bc?5 5SfY>GYα*.ut 0}?0<=z9+E7 H`J"s ) ̜y2+1 |C_$0hp@Q1* | *vOLR-L!A A|(yF^1 =tz^Q|ux)tؼadk؂󥞦5"ūT/ݒ9tCx(UrOK\]ޘVO̡W+$YP{յ2ZdЀdO8Wja6vIn#4;Gu& ѥ;jo ,hݴ_ Q} B$M"vyL=f} 8]2,KFlՍRʛ)IgnLG\M&./ʓ;,2PI=bQu*=tKY {\CW/S 9/yg- @.lû>s)$F=ZpsHtx+9d?ME\i]ʨɼ) gs`Z٣rWps0lߴ4VaIy|tcIt{D_C.Y~QM hk!:d=Ehߤ93遒c2d/,1{܎Q+{ $,Kփ%ؓrPmˋF->:*H4pw,Dz~(mSYwlRid&A|Xu[1$\^q` od6zЙ#EfDm^'9֤D]nL:vOw1U|jkDEҴk]Ė c9/,dاX47uO\*xj mo" LRTϫת &lA& zK@Ck0RDBGAa:44!i|AwƖ}R`l#LcA8疌QH`yE_b_"HyHV5JtXru壜-͠ÊR"ֆ)V&,p;TNQ{wӁd]TMUvb_3U32N~! (uhF4GIRHL]q2) )]$O:sY[c@h}m"om5 L}6?oR5޳Fװ9 ҰU $/3# $!P.)Qnq)@ZؒEOVaQ r?оptˀ6[!#ċ8V?j&yN @%Wil >ܨ7?肤1[ePv>yp#|4seΗޟ4Օe`15{NM`:>-NT? vlyAэCY44ӫQZOj?U>,괸@Z€$˒oC0t:o_of@'xQCM~`_jӉ1Lu%IEr:tcX`6Sy}9ь{N"| X:a`[d{dl&%FI}OՂTx..Ws|rs)OE~r=.HdoeJZEٸonS*K)30ae)o# ;I: GE@l H@y?M?bcMkt'>}- &iπ]sWI*[”<0Y fJU pt )1p8 RZO_o]  H# ~Z6=AAA5S^c f{zNj.Ao ǃS !Ue1Qm"cTjgLN/V^9V%i$>zQ-FU(&'15އ $FǓ s,EVY03H1%H8p\䤩^"879N< #6t9W5Ĉ^tG"3C`3[4}`bV\.RK1S?lܹ@eJ{@,#wдv*%v kuM}"6Uyy$kwhc!JOP_/f _\?8W=S22 ۃǹXriD/7vtHVX]F{G`;$%lZ" )UOc%V^ܑs+ oάRQ)ZDnCV'ïWw%,;7ՑI=W; V[{P.ŖQ$}$2`{8ORQ ^do&PEgB}y-5S<ѐ@$D$T.V׮ʯT X5"5uY:B ļoG /ecR*%x/ϼI=^2Ҫ^0f1[g;fxA[͉O?CT`{yb*ϷN+wl=|(S;4?Pjpk*MGv_[5'NMK^ٱMP8$U3GD͘`s4n1 $tK2^`]!(7ɻtRAfԵ4ٙYM;AEчmMկJ5 s%z>LG?,j~3gA-#n;v ᮦjG^>r0t$Ϗl~j 瞘, 9j1@ci],!j jhR@W@ 4]+Q*3PwQIoIf#ߚ&0}>lyAVqI5rP2|Ue֞`v=vK1녚$ tgYZ  7 ps 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id518 9I# $HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db󰕟cR n]tINCg"򫽌_t]~ rsTu"eWtP~0J[>ckP,#k7UD=s3\[C+4-+f<:X]=d%j`f҉OZ IO$ugGpq&$t[MQpILr)n rt"2~t43Z}xGvS%TH?fmQA:8 m7{%WZTWƝGu!+:(<$RAr_"L_F|b0n*7%Ï)O8p )Ut2t/Bͤ9W2;>;'$0]֙$PN+[YiBjsKdJjvP>Onl+V.%G}\?dog&pjiHx{t$dRao }`~hzu4S~j8?s rշi3{w~p ^^T>@/5{׶*zEvv^LLli}w=f=qW.GRW =ZzIƩ4l$w `rbO7JUvqoxl{ mK']B yp80)ʑS*$`P + 2F"OL 5fa;È!+vfp$]Jy-'$R|L~!G{7Y_'n m|pm;#i~j)4y4KCqO"c:aj7 P3jW, sƚ;+WKhꎝ$0 kܐ"_7U]7 .wjunDKP]@_:( 4=-$Fc{vsRrˑ{H9WͿhh6 =gEq8xηIx;x7+xn4Qj ;HV$3hU<'&`) >/Ij͆!\}#$5>i2v?s&!eL0$9 !`r2#z{FGoIp4%^ "07 JJ6: 聂.YSNP06?B"VLSP1R$sm~hԃt]1_BWJg93wE'Q0I@G5þA:#챵m]e? ME'-jZug}+.cVV xXs?n 㪞;K&sZd<њ;Pqqc ] \wpjjl瞌W:}كy4Yy+{V{7B,g_l/`7@^ k.^ٵ nUG$ vei)VC$ ?d(1o\[SM!EX@5^?fڜ\4DHU09EPQYMTNvyZ8ĩJt7\%7nGM݌o*̉){66zsAOq1bh#X ӽ34硖.L UɗeR.* +7@V=_ʾrA骔m]Yr_]藩{$6r$a~[iU><a%GsPLAɏk =2LQҍ%W:} -Z7'ƪwqpT!qfDa*e3 U)yZAw|d@馳T,2C4a\$JmA3zJڃCbS3.\ i.`9۽6M_hsϖvI ]+ \>#xZʱgYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id516>9K' tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢1]D?7 {?:fH\5jJGeElcv|5Z9 Cb0Uv 't2VPt[`XQas]ߩm@Z zb7#>mT z~ mOPU/ߟu?ڱ)Pڈ^dž3:1OYBVC”>rԻԆ#K&E7;cFqcKoa3vW-2/bj:Y<߭_}^(M+{>D u~Ke@h E>4XrT{+"FphtVP#>4E@;R$2P/ǟX0|F͹ك=|@Ю =M ZAkej(еŽ\$YVvʈ89>~D IRXṔ A`] CΥuɌ>:5\u}z-)hC\zEbn݄3-Xfm=YeOQ4BS!: 3LuhKl{x+osQ7+lͮ~@MXh>PC2jih( vޮ?Rmr$u}?-4bm<J!X}_\=r:];"O- Hb̟Wf`J?$Ve)ƸǰNdͮN)ѝ\' *`3F`!g)DuOwJn9Ql?PiZ/6?psGfF~9qآDX  eKQ=nNWA1G6͍L9ƩPM=Z ].V׋a`>bXBU1N+^ .Hv |ueX~lGCox_FnҠ7]:mL56yQ[8 sOTCΦR??s1ؙcrW:PΌ!ȶqLK lp} .b޳SU$X+$68#v F!6@a~sy{P 7F\ NBU*tZ5‹Y>'Dhtt:I^'9tHuJ׉XD燐_ coI?QӾOB[Dg| |-Ē}1}fr,/4gM[})b#~wmǟUA K4ŀ=6AXL'Ͱ +S¤ȁy򧦩ϝ\4RW볰[~-bg >y5 Cm,:%F)<,&cl(V{,kj[Bņ4(n'ZLG4ŻdA7;S̢FWBebOZwExSc+2{cM"Γ_?Mz= BpNTVY=0ϰDlNRUTw[-A\[{iG_ɗaC勞vDB+  "M1s9Kt9 S,#(} 01T/ (ҍm@{ʼuEPA9g$9w@ITؽI7=%~}q.׶:Yw_<-7Z2!8Wr̻o7 /' VwGTAzͨPcGدAj(jQ3me+b]Y.AAhOOySiF)krxMn>uk4]qkK 3S.s ][>S}#Y&=u!(L痆]wmubWN1])+`ܞ v-c ޛW9CK( _d.S_*p>M\ҴM] ;0_)>|֏A׽wn^F WB [N8h@G" S]14<(k)((Nku+C&Yy\kLEϓxUhŕ0[^|*2&%/ KZ/7Tޏ"H؆m@|y|-E'(ޱ- +{[/VrmN7qKË} j^+9uh઩0R/ _5CG֔j9?L!5T8j6 +d>3A(8Tx - ;B!^\8Vc"ۙyiZ'BF:wH61eHA˞:-NbԾ5\PÄ,}Mn4}`0L,H[s>O×pio%^7,wx░,}.gA8QBctZ?p3j#^$Ŵckz=~:U.R̚z 4Ԟ0ӱ_ӏAyJ>o؜[4lDQշ}֎LCo?ފQK ,JkNL6 ^& 8O{3/Á |P2 pə;9 (pK툂wdK}ɡ:BP EYOXgADNfk} 2[&zaɰ>$"ޑARN̸6r$*2–|d3x͛d&i:sظP8럅\j^ '?x9{GH-pB҂<3fץ.OdhSn2s[7֪}QT3_Gw= ^n4wG{RvәS0˯տWL>TbJsvlZsS6O].P5oe^^g#5> _%롾cn~iz'WP3crVdgKa X nW֜t'bs]Džc8iК˟B(94eaz#t1T/zd/ݡ-$B `M`Oj{ޯ_[a I,Mtw\shLu74[.%edCkr 3yB5I|A~sg*aRœ;d5Caf1N3-U,RRhCߴe؈R'RT\b]xu(D.I>ki:QglJ8vT[M:PA&͞8\wAh7ŽQ?']0_BƐCĂs<_'lTѼXڡm=ҩx:;0-CmFo?"SytƏ*yJ uBx}Y@pYdNE{gKC:"ϛ$7U^W/&ŚMcx,7ΉY4XIZIUlc*WUa>#8mY Ά*DK0Γ^pnx_lYA}?P{t-`[!S$m :t%}ъ %DE`fQ@NnNCӅLwF8X( zY `Dhδ%w߹iMԿ4K!+n3k&8*V&ש@N€/Yr_Ɓ0m"&kr:xߠөe"d?kw"2?vab@~rGIE) ~M92I0+_VN1da}9ό$m4[9>a 0/ 3/:IFvxV7*# TM99KblVBdZFLd @H|b#o;nHR$G Z=0%N)TY6h;)7{*i]o@pۇa\N& yܘv% Q5|s߰{$"H=wIMa +%ڕ&BGяt}iiᒾ<՛$,foUlh,&XA`Q! ıަq2Р)'o޸Kg;hJO>mĭ߰-7'IA2 J6/R W+oÄ9ow@ kd=ж#GrWU8t%{2g9jtM[S$mׅgfu;IĻN]틃6 8Hߝ/+%#' u"e _ygAJiWP>~]l G1H=[)8)aͫa*ڨ>ߜLmGZP8gbƒ͝nq-#u\VkƐe H/E'..̀Zc7>k gSP䬻iēw-ʨ*i.aѲ Sb5&4[H8!S*gVu⚊ԀkK q< P8`Chp, ԛִN_(Ř$ӫWe[bM:I2A6JC;cy%?Y>0%ߨoGʅzr"ծ Jos_wA+fxυƜdA$BǾ{@tfTda&rKv|ݞ"DA \ e$\ѮuEY<4e > $A%3IBs~8*^v)2 {i\KX/͙_h;7$IڪٳYDs +>EXT`Ȫbj\/͍[viӽ 5Hªja=PXJGh6upIs}O_y-70P@ayp'̻_ yo5{1 h8{<,֜ef Ci-:p; eەAy9'8%7z4ՑTEzm|7@J`J7,xo(f]Ydm+ ^ Ϫ8NrD'c7\iʨ+56ղB&A7T}CӴ_FS/USdkk*A-rبCփ>2AnFabihlq{E ;)>c8+f=زnhp&D7ߒtZ^je~ #)TwX uPQYӖYRY+/X 11Kw̿)P7=JLC`asṝt0l]>k{EF/~@ <5w;#$k3;[kzÞP2r м;NIab`, pMη" u[")JMaFRuH8g:_ 6Ws奌7ʵo7El=QL{,Y4Q H\U%xÜxy};PzsqZ9'V@똸kK^0}Rv/14=8s2M+2̭Bv32bĦcS^ʎ8^nZjD͘Z_s|i%MთM0%یqt(n2_0޾^$sLݡMWޑ߽ ۼRu`ү48oR쾳]~J6F^wA [7.P-n IT7;5V9KWNb-Y`貔ͺG?>'@&PE}Z^7SL>=O(0aզ]<,8i?v Tr[ʅbd\ܨcN|gx^-ųny,"0Ina2|vR޺Vg[|{(I,&]J3K0gmHwa pJ*`8ZbLne\r;R|o!48,10<(Z7(tT  f-R&_=taU.`5@3vwdt5vIJ\FQ[#n_#JA}KaOvMtaEHe]$5I,:~e3Z Terr/\f=C0qǧNEhEN`ܨ+ g)rWh6-JTh+h+d^B;y܉Bjq8z&b:0ZdZ/OdX| 1"#Ï`)wv:r:V9(4GE%u9ݴrјfN:ϟzş|B۾JjR|7|@ skfW((Ͱs6ZSնN@p9BSqbs99Mniw_~wV91|ݥ>;^^q<ѭ6) kNK5 q=sa"͆s"cCG7O spS07l3_-,n__[#5CR?=#NG$ӥb*$vӍƾF(?۲?qᢶ[vLu +{rJn%}QFH @VЋ 󊈖O/kN淲 6A}H2 TI'XZ>d*h֟޹&ewGAFkTEf?E Bld=ȥ2?êWP쾸v?y2s ϲa]]="sM1]; $ѹ5q^D:z ު_(NeŎ胰I8Oq?t)\TYB[ř1/Y36 #FXnUލ#;=ѧ+`۽r'wq>9Jo|P=}SRarQ\6Sf~ѿI/TO[=i|^7mPcidTQ$OXK Ub->5~Ҥ =I379 ) WSlsߩ|W%ȭfAuw_c5  P`Hք#R3W:0v5e#BI4wXq:"퟽G(^q#4Bsv=I<׳:ڜe'q̌Xs564W0g"<5pAg|7E k}ܣ:acdBǔݾ®M`>= =cDߦ3VZ;y8|nKt'-aH g?ԱJ9 \'HnclM*FެFu(W/3wւ%lPxm#yFF}&MQka$i[?s|VlAEjU=|ӘZnNavD p9nGW@]6Uv] -ԯ$KH( mÖĆt_P$r"vPips GJ| hu6,B}ΥȤ,A13|eWg8S0Y6-Wm!{n] m{k^1Ѳχxwΰ.,?$4ףڔ%٨ ?sncV݀|#ckɨM]nޙa༟gybߚ> 5 KG<6moTv&5QRD5g~P<kW[UR^VAQc.8]~B)X{ P_VO#.Aʓjj. V~*q+Ix!M1Ӌ[ m|;*]9?j_UrQ}s|#"N 'bI PIHj,+[I@[U1xe,k!Dó֌ JfdET{E7lN*'/yNY6lEK'I`7[Es $66 I yĠ*;31qwmgz1=0&lgkDL|YE~/5Q"tC7u궻dB㩡ˁzEf< k3x{?c;T9U. O!8J3#]49ŷ/`%g'd̿YTL>1[Ǚ ~ݕ H}~Vݾɡ օ_/Eۿ|N( .I6/vҘ ;:V9`UeΏ0*=8AwYz8nzv}`$ۺW}&gʭE׊ AdpbZH$rs]EL䠧*vVy:N}J8[AR 4 ԕZUߐ _VÏ=!X8i)~0R"!E;2I6LNx`8rt@}OF>^o3;?OLBz{,XbatĪ)E*YRGOXjSig;oy\ ~US|'r6:6e$/!%K`;Ve Ѿ5 y7'޾ĄUgX,"tXgR֎Fqơa.pe_ 47n l7úib3Ls+ T|A]] c>#VfӡI6ʞ<" 8yRx :^+-tY.i9pz)>z^*\fVˇ u *0ZҌ d jyhB$rt•|$ԐY[ꇭtk:ʀ6Dܑ]0jk>4;?ͯxT0Z_u':tǴߵr 3 C<,z^]ϟaMDf~/.]r W#CnNLZ[Ǎ)3a  fd,ռ4L%)1*1!DD QbDriF*XsfӧamWIG"?e7V\ #b`D$f¸꣋s+\q.?,* H`ݤ};뗻Crs܌!gݕ|.~ډ?5c~sxRi3sA &ٮ'4?W23VQ.WG{w<+2[ A î\+=_Ɍ UsF &O?9<5d!X6@>[ UnW kAs~Yի-%|ܛ/afF'~b}g nmxUMw%V.zQd 1ĝ8aYx8  ,3;WGxe`[f_BQͳ`%LԒ䓃YV&*2)}CJb\Zv]=wrԍiSDrϰiՑGh0߾aH qNo+@ xs\5b4Yvڈ1ȭHba~J@)2Tmq;xˤy^۫5F!{}B >Y^`F5OCϚ9AoFV)07A~xg`UOW88$um%4B6jOp`v*E!q8c=&^եh*͸N@i`&^|Bh? "L:4iT(A쪁xc*`J(%n(q)L@q8eW%:NHKi7D^q3DMGcm )SDGYE`%BW\aTR|x'2bNjvpD)%jL@2<4//!\YvyڏCrF)KwEe*:f5d$;'ᒦ%‘86ևzF(@/pLI:fUx#;Vܜq32` Q@(fl]G?\މ D0#yQ$=&Ih /qaz/QD:7ǞR!p1E: 0my ̮NX$e\\(eQj\#h5HG9>1~`ӓO+C^fV" Y ](:vm:U(Sp!TufG55\sr~} SR> Jڢ:}H7#08 e63}Ry|_ q񡘲 _WI00P-SW ^rM/QurE = GG kr&e$S$)/{#a֧$Dm& 9yu\pN-g2>q%PX]FJnк9jMdK<{ }6iG|$jg'm9.@")?QvP V6Hv}N4H?5D}gP*HPC(yp-TZ}0< 9i-7gYr0XnuOu ^ h74`'xV`??esT"R(m6?y*>Fv%Q|OqdEg;=à6A l;ד0ҝM5Qck;7oE|.6me"[h9YTV u<n?p{@lر8jkg+}L"XP$hc2W^s'k3l| uk d/ WO] ZMmI̼[nC34+nQ0hV q̩9#: D:ѝ;(RKzk jp 3-dc {ʑH CWe,@&s,v|}ev1H9lх|nd\^؍M/f`?I~-h_X>Bytg" ~=t['tRx\ +>傹 鶻MddMo B]l,P_&f=D!~Z߱y5OegT V?H\g Wd=f{/wSb+q$VNR>ӠMJ :߫xJ k)pJPN!FFdzJP#Oz^8(פ HgշmRpU:?N7dɥ|z[wp܃tz|B;O܊z7+Rz)s#=Te+2w5C5E#dp`lƄ-0b(9ZGszwfz!B Jld{ǁrƓtjeT"7椙ϓYR~ߥDt \`T!s,.rOF{M$;_hJ_UkǗJ)rh_Ηt"ESD3z]jc+-Ú\{c.~@o  l}qNx%AeU͇MuX%y?i L1(!Y-P1;=oֳ494KqWt.+TCP0ۘЌxe)¡_0Bh#bi3 koå$fs@ag7}b|5ވGx7ЪG_J'h tKcȕ{D 3셣wQUBwAGWG_F57]V#fiN=N2rcM3MΥXY o#0}f? 5aZ"inTG7DL>H~ }tيFZ7>.q`3`:g义V"sŢ%7/N9*"-$-HDQ_UU&cvd9]ѡ'?C{?AD Ds%+6#q;IyRX2GPGx\9!O3Xד@i|0ᢷGak(TRJZGEVg^t'fxE>dd3-;4LJRfת [g+ф]FO,\^a.InG* L]a opi|$5 <5oP&ʖWD~*PJB"p^ې ^+UY;%6gg5w󈲃*j\\%L#z9$"|ݴ )'sSi'gj7}D.㘹>V{@x~(K[iTsر .+EȡF J[?π*zp޳ѪDTd btTL)# L_Lrj3,~ʗzØKECRP}y GT-{#;"4Q(K VQ Uݭ̯5^˴';PivpS1l>= @ χ0!G&#j:$y:\ǞKpG"u:Ok]ǪK&NZ2JcVQy@S ?sV 4%[GTJN)f|mȦE鼺P rc ɭ0T3 PoH_w!@%fjJ6 %vOϫY% < 秎MU(%k `))}!$kkB 8 0?o,A% sS<\n?3wB("쇴C (xW&-Qý]!|9/6Qj$K]]N ux[Ξnixx ̬c)kLQׂuwfGD^luUg @ d $E:+Z=-(+֣݄߭ѮS I~B z/fZ2*ߐ5#{QZ LlbY0MSyf0ts=ڦXmY g& }"#cd{;vw( ż¿ŹBZ뢺~pD?3mt;0RNŒ5oA O쳧e\zH,5eO݇_ 'xj rEpYKime*P8%2lٿPPˢgHXOqF>H;=zgļQ\[0NߵPC7li͟OC"H>x}EUwG؟Wmcq,u[9> X0z̪EC`|J#Sʗ$o+ e;w}"o¼j/ao@M5#R:Pi_+0xP3i(/ `OX9}.ޑe2 X)S˜!DDⅅ%2J(8fʻaoȠR+2ts p0Y/}^B|\T x'hQx5E r'(\~"+nH ]آM էLu@(}Hv#;[q;T~qex "GI0[&߱> 1ܧ.Fj2|W p?ڝ'HFmK8bsƞGkTf $\ŤW& {ݢ5TY|Ik`LQmH$HB6ԯ@*|x49%0KFjK+6ƶB\}U{`jdF>Knr$.rɆAnŌ) bcX:I IkK~0@#帹(?#Zˎ3|WUW$Z!\3*.9r>#iEKǯFQͲ=OS"tޭ&1||2 DNlF+M]F*Ԭrr8B Ui֒T~HGNn[SLбĸW2(/f"m h g4,vQ3B8&7Iï[yd8b7ѡƝp8 x8 };W=u_ 4Y5\W~E{%߈QDPY7q #W|%5HLj'$PtibT tErs',pܩF=׃Bc^J{4b@6%M˻/"ؓޟ22,9H j,0'LM=BUr{c-|9;YZޣ;g? ߓN!a0͠P/zWɔ:AB.,Y,zAz Μ_0@6h-h.ї`٦ݑ&N }J}y=O{,< iRcLҋ[?SkHrljk?ˣrfo(Rʳەd@U$4m"Ur9#F,{ 3=flVݻ2ڻsoLyWu~ĠG*^ k8WC ED<@D3B*U;.|ዎ|׸;EdYC]FgYZ t9G' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ifi]Άxʆ5.f-9 rq@]x9 *kB˟LU\E"V4I [uDk=}޲h}3Wr1siDw])[6q+9p.mꞝ]ʛ)#]"Z6z"Lj5h`|ů+tA54pIw7{,gOX`Ii_ 2!ZLk/^G'95n1 B|nn~ώFŽngCZW]Gk5EQ ^I)Qغγ2q& {ߪ4+#wcZne[X]$yv"0W Y阖Q)nXfTp7jnf#}bAkD+_jnV>H浰>PoV̂c{L JB_<E=Faܕ/d{2)GC^ړ6 I RJΛ}^).H \-dG B=!{oHˢ9*F|j70L1u*&l8P۰?LEh.~nZIIʱ/L>=f kM+A,7.C4TϤ[U6L^WkK"yZȸOu#mWђ`\!!U˓U],^31:KCqUYs/z7ƭgu @.3=-m&(&zj.䷖oMV!>E]`fTÌӿޟ)BPJ,5Z5rv[sfs|e1lg;HG5U"aFI|}MuekWxHXr؛-HsrruaYEٺĞHze4 (X.E8\m:-+Ch.UU:Hzt 3D]-BQk df2(B Cϧ&گrrHXbj|wcKyw-∝!q ^f]{%< Ԁ^ʕ*Yٓn)pP{Ԟ%lPA3!ߑ<>L%nCDTyu?p,j+Dq+z9GXU-Wi[9.P0F!U:*~F#n,Hxۼ2er+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H _dzB3@ܾ5Ԭ 7D1iacm0e?cGެeF8z aTYd4KO^5_C(뻢 B*(3\#}9Kss]PXSZzp\ 5u$;??T&6E5kIQlO}TzgY)r͝ǔ;(#\YI9+{ l ͞pz6tXo I?과QEkh(ItMxtD4!&끪/Xm];*k14C~7LkOik7U/.@C" *dͤV;% nG c~ >)3"So-;p y#{G9H4Gd,)`'6 D./<5f dkE7BoBIlD{__KzmE~ݧvݚXQSìSyb0l#igK[M* Ȣ_彁KY&Rbow?` Rpa/ؘ̦u:w%Mcsy[ٴ2~{m$b``C 7 :C5[~zg'޹o?:U˰p,'aXow'\^<\zd*y1:O5hEZ4ƛy`V2D)sP*isxt+ι]qn > } l%gwuþp^6d2u j %W3}|nA:gl~9]d LF9E-+tWr~*%Ś\i&U[w@ʨs&m(=2—[ 04tW?b`w[S !{~^j!5u\C#d`q 1KN^'1O9FyǑ(M L8C-ݸԉV˱&w{)Z: ,Cٶ@oM!Ch_i(5AL~Esqv"a\kѡq31Snm ߞYZûFb咥A5NFxgx΂MyE`ՑV6tBT즭-J_oC@\]>Ź5%(QmT %p(ѷrF}}~p󜚌ç\GVl.x`ݡFp+P[{WaNd@F?dAȇW2{2a1yl,ՊDh]0ξv[uT̆w,$N_^ VņIIv( Vfͽt805wx y9Q$ )ݕ'r\()E΁Zu2ǬӁ}ffq[4]MrM\YuhقHz-˩5.eVFX&*0_O* !ӟ] Or@? XS haBk!Ẑ9RjQy S y_?ԇ-J'T$ۧHL6MLDջ:ۆpTKG e 33MZebA p/-} >>J|8<+T$ywV}RAb{8ɼs2r i\RiSl5ܬ849ffՃkgnʤ.sQ}&b6/>6necG+B4/TOi%i^Ր#/_0](^iAT.5}o9j9\&K "y?7[710߿˯m? iZNgYZ7zXZִF!  ]ŗXiɟ1)*u%9ZS`7qw KMWxڧiч?@2!/gYZ7zXZִF! ]ŗXi%<ݰ}tg%Ȱ3LlliJ4oTυ# mi.u9o[?1>O` xO׵L` 3[g eL{0R+IO{gi%Êm8<LkjYP.WuM\04&A{r,\&O.nHRD:(KF^XMAAgx?E,ٹoJ>:T0I}sc?ğ|{ xl+ׄWQ3lH`/a\ȉ}=M7aQ 3dC&f7HhWSWRShtkHZ4xEV`[#"sy՘ o},^J EM¦B D!bi˗ 𘢋۲WlHHݠ[pvbb$1ѥM)n+&^fLlLE 7ɼ\@rdV~R-[9{cBm;_y L,3tiCꁪ­(a&P2#NÑ,K4!s᯲SږSj4M|5coyLrg% I>R= d =,<}K-[8[5 1%hR ?p8F]2&N8ǺXMm,p2xUn#_zԳ<jݨ٘&(gytxX]@9(@fSDҨKR I:q-χ,40%'۝KHb(:BoLk_$4GRHgƋ vW鲛ĆɛX]O.. ՀWR/Ok@?+ՠ 9 ^#,pW>lVcNត,2?3Z|qDtu|#q[nnxʈ޴<<;Q%{Lg' uk߉(qlX3:>4`4RJ-in~lS:brn$afg_&e) 4 7 N/ώh渵wumyf/ C"`^v=%k8`9FjNq^*wf%MDyAg0CG.k v08d>c(,=4Р~wH)9^tv]g,x:GC*Anf(H$1`O࡚_b?fvT~զ{o?p e'j!k R"kyinRs+Uַ~:(Z^f tu־Ρv:5t֑te D F #IRc  _袲K[󳏟s\,z^.i1'IrK^uw-Qwhh\0xһpeVMON&v٦7:t2_{C_JZ!4@]6ܣv SZ? r]Le¢Hyp)ށ383p8RIai8k+*.4VYa(xvQ>18̼s}2Ʌ'?.s~1DN(^Z=ԝf T 1oێP3o|ܴ27#/k+r8JjedfSQ{?g|x۴o\|2c16|sdk9v` <LyfQv!v:m 47ڲîdDEn1!9w!JK*5,{}6$93qoxLE" Y2+9T7ԏTU-?BuvRw.֡# ݹ}Q+ TZPTa"S=..YBW.o3*X@jB[%m/o+}Zܱ9WS##Ư[Np?Ζf2det]&'̕@2_B N%c80K[ ġk}ݞr'i3⺑VQ?D;ۮb׶J[?[m/o[ }hF5a'ZڧKjh *edgB V2XOI$ *b4dJ;ijLF?ՐP'T@3 ǼԦxj6%qMc4Wmju!Ll(,Uzpӻ =3K( _ ;Yv!q<>QTsXW4E@[X' 21_nX-1,#]_0gneV%^S2Ȇ]J[̙@Hc3CEJE yu}uX pg٣.4(AIc̞r^i)yv_RL -u_YTSsdZ:)# (ƕCs ai=2U@÷M MmR{]u̸8R.TH?RCy\1Ǣ: I\Ve35H$ˉ[7T| )|FJxi5!c ?1QAt$^EUފiϢْ>6l~IZT_$wʓdRXR?(;r аۜ d5%եnKqOJ;b mDy\lHCӆl258[?[@Emf6BHr⻣xS?SRac;jwy.)grٖr-S|p3ӢRLuj"BJN!qo0A|9ܭusђ5W7c*W"ѿ fM Nz!سoCbZ޹r8Ϝ)s Q% SAoK&(Z &P*:3j|4I^Ie !4@TaC7{"@1?jUPW+elyWq bvSʮ0p@9[Ƚ9Y͈3QNt/{Xrj eE!\>V҅Β[p]>CWQ_5q9vNIIw0#GOW_ɡd\ Ns-N_,C7]&==H;{@he*Ǹe'E8{pk]"D6'Lx9Fg6m>.He(Ûy1L&Pr&;sugvN[M _ډtiw^;Q~b~st(=1 e.Ч;I#% &L|R浰d,^VҠ3V'k;*GVV*ܠᖊ툁ޖg•L)y7a"!}wn29!иn/F!T c !ؗbkLgĚҟ ѽ}X~v/S!CvlӐ;*T -` _iC8x,i"$YŁkzB5 aqmJTnoNv)mzmc2܎?ޣ\v4a~3;Hs r3(R;,o~c (2͵Y2ĢDUlZUi`7췰Q;=1G '"J/(9ݵP-\K¥j(s!q3{q ;xi8Q7dQo<9x}=or/u&// CW{;D-`ER޼B'mE2od&ʭۑtC?jb*&t5"ÔWkKGI<: |,{tcND4,?"3SY:)|FØuʴL']B״ː2R FsQi M>*3aʼ T]$ 8kԭ|^0N\jTmdyRHzB`ߍB8 >' JO;2Өя)=7]a5Ƞ?޾:v8$y!1]-UƟQ&.LNh!kR_!:G;ou&J*-?@Aa`90FDK]FZi(*hT]'z+UF +i'.pj?a.Koe/[]oN+@O+SLc ߻ wC\eTWi.,' ʷC@fhL0H[Cf<1H= nypx( 6n8R,s!I~Ku(|e'eolK) 19^ KN8o&0t#>?mD*sy;cGh ށun0_V-%^/RY={) @NqRnxʔ{,?g̦LVُZ䥞KP>,cM)n2I{zX&<:R(Hypa[<@u RL1]wd0˷QKP?㡭C;)+#v tX4ʱXxB>t!2."yS,rW4BA4Gnj]J'/㢟e-LKA)NplT81v勠 &; Ȟsa !-5eDC/W: < \]#ҋBS!쥨# pߢIIfO+Mox`nE[͇ٮ;`&J2:/4Og:D 5ۖ-덞>WcgSmxUsnMEkr^o2oxm]h7WaZv\n QA$GC=R@CA8{O(|U%A6fbw` /LQXsiu;\=1fqLŶ0RTOx1x=ݷX #A`KivQN$WxQ)y IaB*9F$y;Z:+ 6I} ħ^^#,kyE(yش]fˇpL!Y 1kdɏVj{ %ؐ ő${dg 5@;/?o̯4o"N+8_dº>?1 f Y% S-g_̋x=ۿRWj?,H'e> D7gwHL`#W:?XCHlp5&u"ehH;ML fz Hj}g}l7Tpߣ鮒&ֈ4?+'צp Q`FTx<LҾ[CIlv`7Nѓc-UtEvY6""o0L P>PWS# ΄IӪ?FYojm@ffI yb[ǚ{gͦҴ`]9|)EY H2F t:juG$r@@tG|: tOz'S`ħ5k7cԭ l/Vs;pV]"Y~4H@Z`5@,oC6om\cZF_1l0W+kR%!80c<dD'[5Mcy .tW(cKM3&Ph";EXz 9#`j7P?+rB?%Bл)nz;γ((N?)qM?A|:;:^Q٥L.|;J_giB1-mttn';x}+JZ_ ?6ֲk2mxU,B<#8+GFT71?+N J\W eJ~V@Ja=vsku(_ %`lG' |D_"b$ 'qRbrR}\6"FT n]vRkgvfmNWIr=mi|a/`﬘7D7)qjm~YyJ&~gߊe5 yUo[8CF*x,U蕛ro;F̤ݾVrWM _ EJTA+i <{8Vl5}) '4YTΰ8*xj7`t_!Bn*{U0X99YD68@i]%^.)9ptq9SH*sj"QlA^C7ːɦRīrNVD ٶjo?7 װ(dП&&yp2jr፪%H${}y @V DG/hEv4yl?VH &Gg miFd}.JM׿G򟡴WXvߡ҈MD |ʌ4wE!x粏*J!Į.x4|4TTv~Z)vG3`k NagyqCF!bjY3hCg7SZ;HQ-QZyP[Em2d!ЈY&ZMd | A _a2ze9IjU?3P~qY (UbڜbN* [ęb+gĻwԁS1,$7a>/bGd/v R*$kjC,_ WVMPYp%4!Npe@M-H?Ä3hvXgKND#Tf3"CY=xʩA-)<9e&'+ʢGUī xz*tqn 5X ur@,#7Fb8Rq̓u'~ :v}5Y+T:篆vaUf)ҖVIbjK!Qޏ| eOu ~a!n9`Lw nvuմqA]4¥w̝(2q yN&T7ڌjT:늘̱C>[-$9SJg0g20l  ;4"zQ.upf0ׄ8Q:.˝t _2$3< D!hP`݊/'hO|g׊^:J6ǰ kG2n1FD7x,"/ ScI:iY!!.J·3aE?(7QvnJWͅ(>/!ZpFV@DE1!AoẾ&vS,Ql1qUg':cb.KG <)_3+ٜ.Yר.:yˢ͟;Y3D^VT|U_̇$vN46-WnyH͕<G2ВX2+MvenYPpbcOWx/njڈE=+k[{VRZ8]U֥{eԮPGl¢ &Bֱ6n.: =?Wpj'|{J=D9DTi'h唎{[]-NR&j3 O`7_{􅇿擉֖8$*<MUivE@gJ}"ʅ[b{a:`ZŇ~־C98b=X'y8r/ hJJ3v؅‘I@Xjd]qg 锂tp,jf!5kP EZϸRIp50":%@ Y_^%8{UQك!(I_-f?W%Cз]թ-mlsipN JB>SK4 ,פ*Xeclӱ:9~/ThTD:{! hNϸEД2Oѵې(;2:{nbQĮ|McrS/g3SX<.ؗ FLi%%] lߨ^hLm3KtP:G tX4blK^{%us`K   ŵ./ŝE38`ˁT5UeV=0U2r}DWA 3ezPV`e[{$#F#wC;2js6?cJ8X, *AAuDxȞIr)?,]5ZZ4h?m쟓ЂY/)0.;fuixEaa|uiLWO.2L[[ u9v@€˧!}vi#FGl|a1*< |v3-WGq՘$+?-2\e)Z/U^kpU)NK-Qhm[Dz ϡ/  @b9V!$DYYHGG~j&w̲Ѹ*/qB)#_N>$/ʉr |H5&,u5c 62>#\Ckqc8~%̟xwId?w t}^V/$Ul~MEEyR(܎*(ټf-NFjVNնmvC[ /xm'䠿@sxR} cUy\= ߟn'Mt[Zo!ɢF&nEJN4zy.ɸKHI֪itZv2pҒ >tB8VLTN*I4H`oiŽv\.r2,Dj}_oN1;v'1Ik^ ^BID'_ 6^JboD7J=Tm+X~dk i,tv ̄ TC&b~^6L~ LX],YB[+,>wF^-N$'[f&|g]T.S,pו.ZcU撨Chj*"I?cZc>8FH y\ϊl⏋$b٬g+/R54g$yL. &W >q:*?98o=9if=FtBnwf7.i2T(!2Ԝ8\,b$ml]/H.[X+-qW} B]bbk{p7LԎFͥ<\VautS|S*VJhɭRmH&Y45;3/ )ʮ/zB)zTx{3tߪ(`3ܤ'N6N܆\7`¿yj7nEլV^T2c9 %z'r7t m> O)2%%${624Pot;+ursh`ogeu$xt}?g bcIUo]\r%d1؄?@bm-ZUq2ȕ. d&PXg%F0JZҥƟՉm^K̀~ g!1/7wѫvEKg;@_L}FbpP &gSja;:ţ SL_S86 Me-:$LbB2sI<:QՉ)"j2zrxtyM0>4Ve_Fܝ$a\5޵uCZ##7wM@%1 [ 71>T7H)5&O[Ÿzy<#lr3k ށ |*}Z))D~ج8^F=XfE(iD֙? =\Nڬ;QS%#}(I.{k38=ʶXm,UɽNM1) |qxz4*"&G>XU^JW2$b`0dnLro~~ΒYo/a@=+J`!@/L\. ț6i Kɾjk o>";*P([tf vݙ-)5TƇDl&dXT)U#:Ld`s\ʮ1 |uaȉ_I`W^6r8Le0LUߝ CAol[o.~) D5c&.Sލ"`R'_ق7<}1"9QoyϷRVޚ&̺Gl>hw @ԟtLa7% 9d Sm@׌<qe@޿Y'RJ(jB ǒ 5_ppmߋWf_K< .,$V"Cv4Q0uڰ;j*>UaOAc:yYH:ߵB BN_dwݤvSU{Nwf G8$:H4 }Qw^.d[ oٜu1K llwdk d|[W4!8# Ұ+Dq#< pO1n1SlTaز UْW c 2OQV޻9"Vl҇hmU ǥאwòzڈ9NMsfJ_~F* 'DN4>)IgKICrSU?T4R^y=Ѥ_lpO--mry-ռj2 Jw~­vq ;3^ZW~ 닎rm ʭN݊?a# \"GCõa^* l$<-3ee)BK%iG8A?{-L;#gI\@"k?a! &hG! ~ eoX6M4CgV󌝑IAVz2R *g%eSd4]c ;?]c-0mLd&(@UBx-IaqU$, Ltʓ@毝i̶է=v>35܌!>k-b55~Xҟ|alq2]"{f%*\[8ڒFJgV.( Md P= `v 8zG0iGa=K6QbGO <eGe^y՘^eIEj.c2$]nߩPܳB-u|57}i)c{u}-8&NXJ^Eu]l!BIW̪ʤfd9AwQ3@[9)P]+ 8uPuQKdߏ5n݈sOk9{)אNw?nbWI3DltOw_5T(Y_Gר!JÉl UzQ9,\9M>g-`0ɮYS {@ wͥ'=‹(zoa)csBY k&ѺX}͊o&TdpMOb繎,Wrέ ėz~e] twbot%;( |^ P _8l݉t= 3~aƸYF0{X"5́'_=Re[ߓi;D>;ݠ#㱨u簓kCxP zvRA}:w(q{"isuKr鳖 h,9פ?a~ RF9dfEzZW6\Bu~B; 8B sєIW|9uTҏR&Ȑi;V7{Nj=%>x$#2I˽+1F^w5f&s$-365`A"~yܑΞ?#iB#kZ2\Y";"46v>ױWեNWK~=/,OKϕiY/QSMwqV+ע1 fV33NQfq\m "Xj0Xs{s["\>>(JzjhLR$8SE7K:+fgs tPss} n? tey3 @%cC\>cF.v`:5<zUa)Ϛ@I;ζ "&^Ъ4)VE QE69}YOT?-acZ&ZKŒLO:oFaUŃ҈dAeO086BB+d*Qu-=ݛϥR&B*`Fydbr@ot^l{ҫ`yFqu|B".1j)<>5__Ɯ"WEϖ]XAR}ql'Ϛ&ѐ6)GN|Qܢ`qlPHNBG'TS:\@&ځrAZ2(]s֭U:qj #,}4!U#4 HAF5.z3+),1&*#9߃| .OoMzo%A6Tl%ҷk`>HK2 %Pxh?q^塇\fq9X*\2-*M:_z9_V$%uH8v!ފQo&\mO RaA~zeNjry)ƥ<}_Ol4n2{I3vI,]C39~c]dWlbf#,[5CQE.fׅel#1-h';sy9 \ѐ/tpDۤ5.l U{wbͫ޻ A6L̔o#ےnQr!S6,ro6"F4RP3 ;/FJ: SPMw掽Oɞ#'aנMHRL@Pf\!Ğ-q? x@JdE4+j}ԧ ҤR^DhLf˥GqmvD AvZ`޽ڻ:)`ՄUq:mUK?Yg6 ٱ7d`ycm/ZaUΕKBT]p,8viq/jͫR ڵ*| qki{(~?%S`.d+]P`Q'J?Bi.%$kS꾏Dl6 e|z8e|{~!BMV\=Ըm[ #W< xgR s'8l&ISqAs ࣭{~wtD.ɳTD,OC?ccV;c9O&$'Sf| $9$z]Ѧ75(d ׽f)mߨA 9^v_W0׌ZgdW:3YFʚPViڽ7c\޷mKE Hqw͵Z4Kl7,D1%ȵ u@Uzx!CgBrGSG->Uǯh'Aae1}CɎ9V=WdoWO07m'naEzS)p?(K}P1>UH'K͖~G:%c9(G&J`lŸ>俬yv`"vESO LĴl!Fs[0\[YV#hH .=#raKB@xzE ,w4Ҥw˿.~}([sM4gH5/^Z+RYS39v~2"TyqA=;7Bu٩GMs-k:$ /ÈSթ 2wES1iN2μs܁C"wk/[_%aAJk7q?$sX>]\$sG='ԟ=v3:F7gMŬ8bӿd=k3OYBQzPXAw;n:S%nz.Pȳfs2m6k 2_&3;G٧eO0Jƫ2_'>6nYB!ݴJz[-;n$;x)$EyWmY;1є{]\Pߠ"L!]E{ae!ͫÔ꧗JO|tQ""Av:-vYGً)sH谷 aNk¨u&'eDorĶ@"uT;wUծcr//Sx{ Wa,o..S3_&έ]{;[~+,ߵ8"}LgcwCψ Z P:ҀS<"1)ᙕ㉿}/L /џATg8տG=MOn w'WBVs/niR`*/+JHa$.ĉQpqN`*LS!d8MZqT`JL)$h{"IH*U,-R/.,;ѳ |1X`o2E@2I>ִ.v󢺏 ~@a XU6!D.v# z(ZګqhX~l-nĕo8l̙)6e  4')[E$`_6UlWdZӊEլ˃\Uqr{Q5)Rs-[D^x?ZW.E PNNĐJ{60_T4vM7|2bqpG}،l`':Š@WݒcP @G%nt&`ؚѸ R 1Wt/,#\݈1Ւ-,}h/W[bk6k5tR.*C:Ixp2hs,ZZkQ=o[xp֎;"ipgtx ==')- F~ })bdakyq:{KKFXڏE[kB0 s\ohN=9piz όّNv>ʋ4k0 Ew"\\Yh7Y;5z{t{B.;U3 ?g(,̴ /EN},ܨzcOX_;qA6BDTU],@2kОo "ݽ.[ԎJh{xyEJѵa:-0h_??0a F1P#a -ˌ1.B_Qi5=pB0i`tc|G3Ζ3](rʂFhG`t%WbtM}&o$yeqgh'(C1BⷄmB6WE+FkO=Fqwo g‡tq1CN4򽔟~ YJ`O.9Lq/^&SXtfS :hvcPhq#:{򬶂_# :[ *i``s`ZT#kL{js\)JMBoN`Fe B wkةPlEo SeRg7IVU̾ʋl=%sĚtj*T]q9KӺN14wa&sȗt~*%4oDv^N9WPbCe.芋[ˠ7}WST9s T0ݼPY9KXíhbT|a f>nٝ^VX^ǂUwSNWِ: X;?Я= eA<3-Qk;SPC簢. 2ahwbN1ac8-.+_-7x:u*_)lWT ^~_tRiyοw -<Y%>5'D]Nԥ$ClKaAAUa=}:$TrDFqfi*?y{j񣷄P3+,!:RiSa .BG?CCk@W,[,WW@ɵ/;*8.FP`'zCg߃vέ(-pzL/mbԀ<(Xt.d!jTɂ&ġs'?C*9wك>Kׇ^Z{ֆ0 D8⑵j@*YN(\Qe Z74CfjNUK(U;7{_𯂖]­+-ܵEtU`aZk>~1N^^/֘0~aUTU:QR2X/V`FYlJ*̓(5`?2#*Iat彌{k'32871oJvJG¬EYNUrSq]Z-$$YQm v0o*'|GM.iThXvr.e>wh%њw>:pKy׹#U8o*Ts77v[]eꦫ0[ǒexq{04V~[;V4!dό 5U`>ҷSfDSkEDWW9˟.η埛WaaLiϧ:s.Π%!IT# ˥KJ,lmz$LrMxǐ#8amup.[7ڸˊ(VP7RJ9ystg [|c]EAGo3 dZ0:IN]kWDIkrkJ^Z>?@tȇȍ᫟Ս5{y0mezy =dݎLjaRgq+·.^hib!ʄ8Zps H\^'.LK`+ ׮w6LmgkS/|zs{5W T˱Al#Ղu,o|&]G8.wbTٓ}Cp7`+_"=dk勷螾?u,|߹!R'>{2A!Oxmdh@wgX vo_fTzny6TiFy m_Sz ܵs͢1˝XJ@W*s%rF!X^XDVwe|O] S,eEII$.{RŲar8x*J.M'VKgm;KT:/t% \3{bo3- ÌH)˃`h_dqxQ%|ߩvTKZW4 $v' 54f5(\h0-ջJ}'[^bUAG^$o Px @,fB̶K2-aj0\,L VTp« qe/5٩'IF3+ނHbX< dҐ]sC_{%mHhaE6qn43y"KϵnlD_ QkAv(Yšl!r+mov!>a<zY޿whN wiz W-_T2Veed6U-zͦLiҜh5' [Z82!p0FW̸̛6]ZSUhT嵐Yӽ3 kdu9u:z͍Uňv?)KC@c %Ct7? D0j}u$Eh2GJL!uN݇=ꜻ$Ǚl 3TSւ+NW8wCgq ZL,W=eMUgXGD-~oB:aO9iB19>#3f Fx ` 9\iFedAku[wVD._C)nI4%Rq&׶YַRZA1h3R8Xy6QTeppz&ka7Dyjl08s X("_y&f" >Pz~tݔu)Az'Z+~7JoIjMd'ΪODž،ޟu ȋF^S>Tޠf<,IBŦG!yh¯t@Yo-}o|-LVˎin.jFZb%9rԻB -nR|ǀC`]fH~{fiω݇\ qc$w@e=.'ӥ`{KjSa'sSY/Tzˇ!@4l;:>O:璾1 AC"`GO) cϷCOrPf4ԩP~,xr%vJ݄l.OB{Nd'HKy]x zEԞmdhZY87|u U*:tq&߯񅂗IEd0AhrRTp2ezE:K+NJbߦMd + nQ#mEa14jU\Kn}|{ i2a/".X =O^$s~XrZ@A-]l:J"٪ ;γ7etYjieϒ֜)XƜ]4kLh[wQ!2' P=`vҰ9? E2ӝ`ZjF M[8B~z),BԷ1YoZ(d.-3gK`)JN-sU#d8O 5xzxLÄO/XU߮?x(̫*Ɖs?&tjsK4cd΃_Cc&A1CSԫ̀R ;EݜgڨRO?#e`WZ{ZB_gN:\mBnhEH32j4gćڅs49'_%}:C?$\b˵]H.\re5!i̡2ΫVusO߿).':)R/ c[Rׄ%k,63DjhKZ9P{$ % Ӻ}RS&^@:'D!uYm6U5,@7\Smř]69IV>H̓cu"/H{;SA!(D`U{+t[@2L{lMWJ_*Ap6-Z_?V:PUfJ,5#Jj_Dˏ4.ϷD֖#{2@>\@3Dl!! 3>*8Иꮖ0ҳ࿢/0rkob쇾"_P囐[ [ۋ|yhl+Vqg)g*/3vQs[ 7􇵢1U:ʂ%u!H^(uPZK*XӘ3 ?[ Z>NMs%7v"G*47}zK4[jwTʎVD)ThCRħnqaԣbҦlclfzBfkV/vp/MV?,\XT-}hNd OR`B>OْK Ӧ 3D崣'a4,D/n֧ݺ"ܝ>gSbAMoʂhj!M. jr0?xz(tb F~!g"Y2t9+s Yל\Uuib4_y)Ɓ%Uwxi|~ʛ%MxGVL9eRф?Px7l^vYډ> xg5Ov˚yMn֫5\nVv}x}Xg]Zw|@nepO.<$P%>5Y9f(.ei\ 5e-i,ȂjU\7Jw` yفRb~>φ :Ʊ $N)tҒOTD )^Gⷊ4%Aa4Xe=dDctfqѰ.5qabN،Ug9;,+9X1HyUQs?Sd 9|B6ѱf=i̲Fo<%fxʯs\[볼p75ruLDwE!(Ò#>OK^LBX)a'Iax=l$]X`CbggD-lGnE~ie婌F2]~vg8c#`sh+ P{ӊc ~qj_e?k^~OsW )Z澝<:t`W몄V_bwHp5+B>_M" URtY׸D`4 ^cJZu+ `G]0ۚ&;,qyz^D2Fۂ^P 1e7tŢ- 6N(0R+O {{wiFjlСKlc,}")+S.I*M-jAwwV!5s_8bRӹq103ἃQ? *i}/b͘-T_,t{Gw82K;D|Լ 3l5y9M/ȎV5#> >Bo!yoi9W;* E!W˔7kf7w[TzSo[I/ ֆ60sʭC E + E,?̲6pt_$*y|czqׄlHPS8р~~SRRh(hw?O:gDM(AfoPfR:@beO+^ _uqfR /&^ŅuvҰ'bߊgy¨<1}0odJ/ +yixbXwN?r`OFRv@EI(p7 (N `߁$si- mҾ9Q k8m c!29PXvXmr(ӒPO`9 7ΖZK*$h-h̴otKanQ+ʦ'g~T!eiA7`ǿJ؅Vk8(tB~D]gqٻ/G0X$|-&< ~i`yfX (~/%$qu T*RSd@}J2hj4RkZK& qydR!˄[@},7Czo 0ܦR^D)ieޅ%5D #i?c0z9]MSEں>I` Z3Ch@md΄;bsɞ~tT—NDЖy*H+b3c7ڜ$ԛ$EDPw"+[;Oej!Ep~8XAq|}EÛ >rclrLm#Q5Ahфf\%t,8 AO'QdAWܛE7u>zy5dn :<.&Ctl ~B ~#d7f k!.L;b* n$Ttq*\-p5Vay3eVmĕR֠H\Rf%+QDB'_)gԆDz,` 7IЌVVԵE7 08j%Db,ā=O$Wl_{e3F/] E+7).tHwiqMY [jC$Ш5A<yB*; !YU PӀ:.w[B\R`N5. 7i@iќ{Js0E2N&EGT QP탪{~"W|4.yLȼxmm 3/By݃ݟא KP-}Ol44QA$n.e%=|'Ax#z멆Rh/oO5b8> :H Y2qsSsa F_l;ȑ6 Ed@d~Mxr<xV@)>zȢzV-gREٸw&f+8ܛRpRH&$Qm𢌴OwLƻql_dó"北/tO_w0).ߔe\fnHRp~|ՆZC!3 Z IB5=HNA]C6caҰR¨RY ]: VKěV@L/| Dv<}u7d&=U KZmMJbx_!.bp12YQ}M(2F!ajCؚ1?W|CV>}b^;V=|-?8r6R$eD~LHw;@o8A7<$\U#V,'֣FdP,LHYi`4-ϙĒJju#[y5>$hO(Ae^a@RL5M*¦wOH1WE)=鑼@UӍܙW&HPngbx`RT+rM7wjG_LH#+}(@ON+E-Fi{Zg[ښ+0=c՚" &hHi'(Izz\i+}c~W.мkc ''<˕aNsuJgM}ڬD=V*-t8+rH3#bm>vbf?sΤ>̯=io;aOT *.@j,00]B$X=YUA^]{#KGQ9p/6YdUgf3 og`ƞ ÷y_P ԉ~v4wZUwO֦R/*~L*x"pdBE#0/#"$5"t ĢvXgcO,AWtx_DW͕Pj.ᆁPQ$#nnVj'(͍W`ҪBH?e) Rj>9 8:H8)kxF3DbшUG>!6^a*0{gx]cȚn(ޜC[Oڔ`Z$ MF- `m:oƣg9Ul ӏ9ofoK3VPw1@@D̓$G|s`> '?9r?WݜԬ޴g,$JB`I錠*M%ゆ%?"p4}Sl\{2^ X kMŃ$x@ qyݗ2XfG /g" t,^:EqБnFZA2 o < 8`+]zv8Έc(zc`?wоxb'+ ,;eGn7Ē ug[lR"&Ag'WB.ȅ8XyIɺ>T}`n ?rS=| ܟd0|NmDN!l7 !Hd:WܬqA#m;}T5Ӓ|w ψkPM 5Y#lAy]q k`NQ[ pZ\{E#BhBXts.tԗq'11b%pfJ߅&S]c&5,٨ޓ)!^VV+[B|4sC mTL[M¬0|~p4Gƪ de7;t>Zu:FY=+AeiX`$mUpɹO"f FUi*6nu5AbpgT\t:OaZ? bqwoז9N:oFT)f+ ܴ_EZgl$RplA$g%@%L}y"\SdDu2?a bn_Eڊ2\NPdPh }zAf9L3^<8iR=aHW(c4(E{C~r_ ʠ{^`s@J^zf=Ex熶1SX*pywMSr겣KA#bL#H ѩmr#Ud 1>ȋE ՒlI&bÐhoM>."7&]IҦnIfE/}R7~H^m7 M hӪGOBc?Nন0BZ716 K4Ԍݖ adxweѕ EEK_] Jz"6GCs( z=g˂R>6Z.3rbC}r %P9N96+qBWŚW"!/{U/ ɣ)<)STE>~A$2~X8 tQ-۷t5!zRwa켬ǝi>Azv(R_0TL c˃KC}x3 \Ļ+!>L`NcE}4hRh9+Cr/ԅV ܨ;A*g]ԗK'`Ǜ NiwrmVҟcE5עosD2-߽?Nһ[//%F#^}J޲voRrvE]&D 8:_n&F1i 0 1X1̪_^zJ8 wۃ"mp4|Q&W-DefvO Bu-Pa} %쏯Z5/ Zפ.?ǤCqK^hgNK+rʚ#G[_Jx?j̳Z wmzࢬ>ÝG z`]%Y [0",V{eF}n42%#Ȏ8{2a|kH,хҔcNI΂w'Żv'dڶ85O v$\Kz5dKoi%N%jI!:͒v6=3VЫ(C^7\;˝AIwE5irYĎ4T)Q3:8N6Y5 OUCd:>D/kөg[dы9P4 IUqzo9!a2+rWAnf*S1 __|%_9˷\gKrL,(=cWz͢0N>@:1Gq5[C//-BgYZ9fb8d0b61b0c2cba0be498a97f7ee8079b8331c847e3a0c9c4e00d2e90772688cd89601e0e76e6c5 4089360610a005ee2f39c6e19f04260ef80d19a0 bee3a52192932400ac1f5e6de3ae2fbf79ab61dd