SQLite format 3@ !._  5  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_exportsU--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sourcesu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info OO"5z:Ln ]/ UHOL-Record_Benchmark:threads=6elapsed=145.576cpu=242.809gc=20.653(/`3mr`u u)C k6? S0 ripLk 5';R[#mf lDtI{QO-Sa*-l$&\_ lZ(aiNX(/ _::name=HOL-Record_Benchmark.elapsed=134.561cpu=231.049gc=20.271"d>(/@ Pm ??bMQ If)<"5B2*YB '#s1V cxRN[)(() zBraotmzv&RXm?UK:)eN x9"d'c'ǵvkuFBW6&%T,$fw2ĩԆY]kU)rj#Y$eUO||rlvzY ߳u>vԪB9E6sdu1gQfzdC{r "Z䬗{N,U:uh:vB2fH=NŰgqYjFLwegv{ .32|D>b_ʆ& ie]ŔsGGDcf]ѭ)[HW,ղ!&dqWUG y'G */V/: u¬y4F $ccF=ɱZwۅb[5Ecg&Fn<6lYܼc):4rg^\T›8Mo40>rs M#Lğs"̬vn>+6YĚLEi,5s XdBsifulL< XQ M3$s1TdN!Vw_ yQv܅:'WwOYh2ɫܠhن KOgEϊW9q3lCAi,d>#{ER1队r4[ɾńGG\UzI/Q^7|Dv owmRNyq?BE뾣Xз:/`2Wu"Qu&w4q X-\w#D/*?T3Dkn[EV^Qbbi:$!e9;ĕ^bVf#ư~%tCV2׿ԺynNug<ސ=F!kԒF.9Z-&g#&=6# UA&IJ22*WMpXeSOJ!1ҷ6GVIZd-U#Ru(,w YFtBa@`@ E  0 `P8 0C(B B X~r^wzo +*Hu5N`jgvbIRBxF@wR8H!'+0L[9ɺ n82W0eMX&5OXqpuYy-e|G#r׼iebʥYRsͭ #A-:r-\MTz/5|Rj^UW 2SSv4QII#)dLMYi |gU;SԶS3@PECP9mrؘHA!B!B!B! P{b-㐖&;K#5KM.JMbtt]}t#v:}LLt;2f berjiE!ٚi\'h1)QmjJ$ZѴHgv+&ŸI1,njdu1lq#""R$G"34@#-"""" E%i:'"),Y ZgRcRǦR$JJ)2>~n7QMeji0UoI[M M=Kt+~+Ut່fݮ%dDXJX Zݧ՛ܑކ۵1w !H1?E";:9bZڍ9r%g/9me2=0Üpr2rEw eeǜPUwPT2;ɪF8%1gF1Vƍq̚1JcjS+:!v1;':z!v^#_U<:##~x!3'9ͪ+&hT64} O5{ HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jT\aNj"Ya@}y]RϜǻyw{(!ԝkʵ7USRa1uc`npEB0#@ 0#8A&$0@ɆQsۣ @:Mg{33)gBڀ,zCCWeS\Ѭ*RCNoѸ9ā3mfo N//SH7SS(s6b8:#M&TO (jI\-N`1S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Recor    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents   CF;ԃ;(5 PYw(@P2ZԀ2h! zhCzѺE CFJ C"5&w(5 1ZwPj@2PO*Vbĩ/>P $Cp-9AqKiLũAKQ'H=0r?PxIL,qҦ@K`Q߫ {I8?.tH GգA- $Ac,(sH%4Tܟ_=Zɐҵ ~Q|DPA?DIP G{rS+PmR "WfX .p~F8=B4\O_+:RMEQao5QB#wY~ґ4 h`Lt ~bNdgnP<_؆N"B#C2 <yЭTFzu(K>)Ʒ&>Ct0{S~#xI2sC},-I`s0O@&Cr;`R3`oWyO^>~$0MTHczB2襀` P/c1js9gc1ƘƘRJ)QJ9B% (1m۶mv۶mn۶mm۶mm۶mm۶m۶ݶm۶۶mv۶mn۶mm۶mm۶mm۶v{novnvnv{? U40DX04<@$"E1:; P, 8(F l8BA9(@(( $ 4,"  8" "<($DLS (0PD,c1  cJIRJ*+ZVJM`Ce !c ȈBhO60@(s [@X̚D4s4S--{s]HotciMD`JS.G1HșOyoEC('Ȍ>wINy߮un슏7Lj`(gAND:^$ Z;AAfN K(8\$4j&g} rb^eB-{ 5()Y7J1?@ppg$@^LnQ(L]#rV& 5!E z L.A%MQo CE?Qc*(,Ve{X{pX;-jP1 P͂*Nr 2E`(X'%BH) 9w6oKH뫺A,E#%( ^[Jf.A]`HPlv٫B{KN7YˍιX tÕ: IQ1;bA wįArUI<m.R/}p$FcLa T̾U 8C2˞@+g?ja C';C,SgR%L3 S[(Cr 8TO~i 6eeWC Lk_Er.{W,j(r,Ql/@_ag),Gbq8~w:) Z@'h7K⪗;Rʰ:(Q.#NXKT/l#lw4D~Ks^`ҩ}v#PNWtxu'Z+GV׿ 7ц'9M@d s#Էg ZloF)uPvif~,=SCKT1Տr`Z(!k#k-q5fBjoǙN c#Zc^7滽` 5/bJE/-UrUr,1V/ϻ3Ć!QPi- g- 6*zK%1jʠWтsB!;.:> RP zES \'!Aaq~8kМFIO(X=tm0iQ)AtTZVOĤӒRkPAUgm_5(<8'c'6pfJ?(v ^@he['=@BQ͙fCUF. ͜fDqůLΥuʌ3R_fSQ=!-舰7F=t g b@ivsj؏Mթu^i=w҆7_J[dǭ SW/Y܈['TpL,+<̱+ie%V!H* ֑#ݥk{H`;/# 9uˆ~~ys{g=_ ^fe<W:dYԭ%i0+7 ]Dj*O¤=A@XrQ+f}RQQP'Wy_:#xiNa=UἏyuQH<1sI WITf@]އ[1c F+L1Әr2V]Kc*sR0C(N7|f=Aphc-0KWД384cj c Zr;Bkm8uޓc': azuRfS:?'E$4 ˾}nx4KZUDHW>µ@hog{!֛NZ:dܲt,gR|š;h0<#}aK bgint(A2 >?96]BPbr" ¥HlE-wTFc; 0-D݇q ]N)vBCGT$RÓ7誳@&[ %痂3D$O=.v%5DeDt6O0H!; kPxC9MjݕhQ$>L*$c~-w?zS2.p1NMQًb=@;@EԹzZP3BewYJ8W?B$_@?\(Ҍa6 #<̰LuWb7hZ"x+A /=yE>*lYcb[iE50M00b"xYEN99̷CY@n;D{iJJڹ|ԙ>s!grj2CŽ"q*}hHK$ ,J#x,΂uڬk*h!%\bZ|%mԵ8e qҏ/SZ5 ӂ&iwQ1$D*yd'f˂ |]IohSY Eٝrny9TֳyGl&b;LɱJJoJ7`Muq3s`04۲Hg& ؉`7Zn3u;}TpPDE܂WPӄ=uVgQI,,8cu`I"XJ@A4yX\"LOa~^Gڅ0^u@nko@;*#&][%&TsSg7Ca`zѠw)@>HK2k8DN.4.I}M?+т#@1+(܂Ok`r`RE4Rl  ufqn7ڟɬ&j_y t dd9s̵ٛBA"r.L=QX-gL isDs䌮=uhW.dʫ+.W#u)bQɻ\/tdOQzȈU5ܳϓt gɅ2'KOpb 4Q թ;mįu7ؾy>"N_=6[@oHP8TZ|ls!ɋ$y #}0V́2ajslS!%0P@ b%`C6ضAm␘ ᛖvf+/팖 f+/(k! :l< XN`s`֞a\B "O.b!U1`z.4;Ņ/h -CxCqL 36ԞXb>2Cq$(C#w=d\0?& ۱[&iXj2>0!|̼И.e`gP cz*Cma*~ ??DrP۷Q*suXb:{jlc^ *>e`{q9(c:(Cmvڍ#*l Nb26QZ4+w0P;`{vN)C3dG-:&; l^0Q:zp@r(c!̢ *QoV!nD%:e`!!9T;BJlPy U*oYiXSv!! ǰoLcSj,t8EШ)k"5Ha6WADSHŢp\!SZUFj-< sыGQ"ȫZhp ZTh#!fK ܥک[3l7Pf@}ޞL,19V)2vp½8*U$b}Q"#=+EHM"ŊdQ)Ed$ãrQ#xEP\X ,R&D2x,'v$#B"#KɀS/HFBrŊdp-ו2!X"y dh\.^.u$b]Q""5+UH "ŎdUZd$rq"xEɨP\X .˵R$F2h,'v$#NT"#M[+ʈHFBrŊdp)ז2!XXϯ~{_åqTX ϯ=x9ilWP;PeDG(bZEG2-j@~%p/4ݿ<^ĬGŔY6AvӃ M˂U 2t*d*mVQ wyPl _׊ʃ 2t/WdRTMK" C*l ]/fdZ~W-L7&hFl`ƙlj@|bxȆƈ5 ,ƙj]Cto_ kWGv:rl'ހ:Йs3y,Js{\/x;!safyPGf::q"I\8awDr=/GN⠮lS'ks vD/qsGdu(5]8NiN&})ӈ3MDOR94:hr#Q*ffsm! Ш,tn9D@a<M4)(Gё6h1Ф_B#&ChvhiRAa{NO-'rY#Tv㹜?I6;uHX|gX5G<3] h&"P#E:@=ʡBF.DD$(:`[8f9GzpU栥"RebQp֢~d{R3TV! Zx<K*Ҥ."-ap hr;H@@VWU4T$[\@#drTP 7$&n4k X^\rN#!,BRCe RB@8\Qa 7aJp H-zc)hYj <& ؊@G ڏ,(;V %{ |<i*竩؆57ELXšL5S_j|o]LE-k8jAw>r^ ;RN">f[MG>"di3-/V3 # Xا"ϰ{KjGۢ*`cU c,×-M[.Uk\d@ei0×grVwG|j`62Fſao^QxFq:+G p7S ؎$Jŷ@eBlK\ dſ5S!Q)D W9/l)'nDn+A>dA|S{)2O0%\t#J⸲Y,'  ; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jT\aNj"Ya@}y]RϜǻyw{(!ԝkʵ7USRa1uc`npEB0#@ 0#8A&$0@ɆQsۣ @:Mg{33)gBڀ,zCCWeS\Ѭ*RCNoѸ9ā3mfo N//SH7SS(s6b8:#M&TO (jI\-N`1S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain H5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*% &i̧@ I%%i2@@y4%ںRK!IaRH!3&R)H!R"Ō"HA^&RCzx?׿HwOE2?FMww&B<3̌8SUrOUXGDvEDtc Ǐɐc crmK#%!$$eLDHÄ& nLyw';3ݝMffFfF7f6U%UrU \U"M:"!fF -7gcAc vֶTZۇ/Ǡ_f8` Аx <,I@a!pz 0 $H0XXp`!qxÂ"Hx E Р  H @  _WW~_铕Kɥ$\J.%Rr)\J$$$$$I)I))RR$)RRHIHI"%EJyGyGyGiFiFiFYG֑udYG֑udYG֑udYGґt$IGґt$IGґt$IGΑs9GΑs9GΑsdqǹw'Ѹ;)n:L383)̬jF5VMFڪ[VUҪ&f1Q'DOĉd)g3ÙrfΐccǸ1l 1Fn!7Fʵ˵kEǻ;;:qֳx&ggffeFfc6jꪬjFUb *D$3y32sclL1f1Fx !c\uTuLh޲ݺta]?38VNrgfR%D2#cX+/<((x!ADDOɾ/쿰/ ¾/I?I?Io7I_&}M&}K%K%K$}I$}I$}G#H?HHHH@ fUF43FF"q@ !B? "sC1 (![ F1P@"CƒA $4hH<0$"$0H,,8@A{{{{{{{{oo__s9s9s9s9s9'd';Nvd';'|'|'|INr$'9INrLʤLʤLʤLʤLʤLGyGydT,.A#4@ B ` @`  Pp0000yFLj¦\?hovωUܰj⍭ޥ2j [\9I}/tgD["I̯kwVK G(eju!VwB9WQd>\PônarXK:k)U+ڮ뜪:OvCoȴ]& U_ѥcKlaQL[s7wcjH׸cX=@2 S6+dڹD`JI.?).`ͲV2\!i%J"jґVJd2̔lA L-Wrl!I}i,ҘTWfji $zf.vrr+~Qѱ'|8ͻ($]J=vz~1j3qGShc;QY#HoK4DgK6;u] tɱOdqFvDCѱnTh֌5 c4Ύc\;0FSwy=DŨ"DfY:.kKdSwTy.%eM3a2=5&ɬi15=Qgm:jVn&r2S=4N3[ eJѮG]?+y5^t]6wHes&>[m& y }zNS^jelJѫXtqʂImc@ d.&v@*K;*4JVYɽl-|O5ԢETYZ-RfMNL Ŀ웩:j (\+6Wk:&p\үAT/{Umels`gZnCK Až kTb̉ d-CݱlLc3me(KT3l eM SH3aa)S1xTAa*F][d ;- [ P|40* 4P2#6٬Ȁ+0ЎX`z6k%0f i2i,D@ $3? )0 IM1{LQe6)04,cxEl<-`e ,3T!Wlae(,2Ŋ+k0- rpU5Z23nVf ӨbWtZfٯ3Rt m 9T:o1rmr:!ʃ;P-f[>Ŋ+|݈!̣ZCi3ΗR +LP뎠iE6ha u`Vr[XBb;d= %Ahm5";9;waQbL/g=I5B(:6h ViN;{cH#ˊZXV99:6<*NƻF˪V0اVezGYYնnL!]\5ݺ<Vq(5{kcڍ} <˜z]@coN)6ʪ~ݸPY\5k6<$T-?ݘeQu;~zxYVێ[r3uI^%Ү(a`Yf?94%ҚNU )7]'9_6lNc.b1 |=T{62nC]n!<*1(/CW}_j<'8$U6U3F0p7@R+)= dU8LJ)wi-,"N()[104pxY( ,PvWg3̪3QݬݶUֶm?!RWXē,<DpH;<ʀI]Ugf)U#޽aA8bqyx.xgwbi CX29 H a!B!" L%""̇E@.zqK*J S5|Zr`iكbxvPm|ME<p,Cx C"7.~\(=PTR)}$`/ ˂hR]|~a_kN\ kphɌ ۅ Yf(C ͔GI*:db6B( ǏF:ENDm|@::6? oMP<zoЊ+? ΊBM`:&e_Q,5tj}#HJMЌ9; ktU;;FF!tN8}d'u #J៫i2j R z +QyuW1GN +T~a$[ n"DV*DӢ 3){髍1AF:r^mD `plC̈J!r/a.|6ͥbQв{zfVλB̄ .o05A\M/""gl]L{A|֓.jW/"zv0)a1[A/[cqM}u\MI1@ؠ7X$OLĖ;S( }5#E?츿rR^Bb6dh 4kr4ČЇQ1{5~VF\@Pو13'pۉ״=I05Z}Ԑ״ wodedN_Fy[exWb#V96 +V4aG}aġaY;`9޽Dp.CzYa(H9Y4  G:K_ؽ2ҲYKԕC|ps.rײ&3F EG]돡 2oSX./OY*\`EV9`0X$ЀX݀dlP;9CnsX<.4L(k4D#ޖ*S#YAߓ tEƩuN&).k7p>g*A8d0rlmW~`_sD]8HYr"n8~Z:_&p-IKjd:eDO MKûsyi ό>tW _.n٤hJJݼS $1+)$q9lVawa-ڕ>6Hw 8cPu%3$J]q)+aDŽϹ;t%h PfWbujbCJhAdͮB{b,s|JPTyo y5W' bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/aʺ!@ 9wAWAx.q[՝!IR:v N2"""!b".bPh  -y"yű]qO\ MwwvݙɘYǬSU2U2UUmLU]3D3#1Jgf3s3ZhN[Uo6|')12I~1ɘ<L0ػ ,Ȼ ZffF$3UUUqUE\1Q-DDQC43ӛf*n&׶VjK6툈IMD&SKD@hHX@AH(4X$\"E?~ }Fc#)FQF5kԬ*ZhD$Z%ѪUGV%:JtQ"F%bQE(3LDgnfnfnnڰ֪jZD& =o>'(F$MvR&9I.̢*H3цH14`3 8?;˾˾˞ɞɞ~~׾׾b/b/bo=iOzzzᩞ~~~ꧾozzz믿g,E(2"((??o[h]_~_}_K/OS>OS!rݿw~믿~駟~>s9s9嗽KKK/K^򒗕2.qcy,屼ʈ4FHKKKKĒĒDI$C9S,Y,K%˒’’’’’,9KΒ$Y,I$K%ɒ%/J^(yQEI%-JZ(+zWѻUwEw5D&j6Q f/.h(3(N!E $Ha@(00(@@0@pH Fn0{;qVKy"HW2oG68^$c΀Ĵf i\lh1d⻄K+1'v.jcJWTKbua:Y!ҕsFw%m)ڕ̘Hp.$u.K0%3uVp?fÇtRIĚ7U;,Yf"Ig4iXsj%ˏ&YU* uFɄq'v%'NF_W,GaqIsMJ&:\sV+PJJm8*$TVɣBbK%NKT:vn,B,q~MBwJo,/V%i Hfɍӫ Y "fH4%&4KM|f_9gjΗyzb)dw3%3Tw&3fJSt%4=ӕP+9)x+TMijYeWa9=ZF@!&v%JFR&JB d JGFJu%D&=֕PGGI0'u%Oub t%`L4JىLJ+I-V+ tE9WV]RD֘xy6e&wm&I)+YI Ĩ' Ll撨*Iu%,e!$(e9t%(]*u%D/e11@t%\P:t%L^*-%@JV*1At%-%hk39Լ3Y6J*r&1 KX(kRvuRgiGɸ寫GoZD&BE3!VWWLLas}KTZ)$Bd֙h\Ql]%a1 tu'`b=ҎQ&$N KUt1v<1%1R>*sx(ڴXef7ERCj+l-+]Hrl$ Dz6c@6 |RJCQXbm{j}1>PS6Jt`Ey5کԜ1p #}/.-$H) wR8N)v}7B( ZNb,O'C`E2]L> 3 4~^lRA-bo [};ZDѭuAJ)_Z31m S@+L v_,$a0 1 KwcHct2w7KQXOĻpU.pٴ桎CT`M^z0oU 6-bWSiynGFe9!f򣈢QZJ`Bc!v_:}{/u*M,[H I_WAվRCE2Ե5(E 5ĨD+fӚ:՟SC,:i]g} ~^zɲKU)֎Vkym )ڵ.lz` f/ :o{Xj)+/-$Ф[@7F fʾC! Ӊ- Esr)6>z3,o2pHV0yh pF .-Tlԇɛbb (A=3(W aM ;+/x[HIkR4J0)`NG3)'ESth#<ӽ wrA KB 50R+Xtކ>]3g4ڏVAyݎ G+˲>N)Pk]Ġ@ LAa b'5TKx{&R Vf[HI5k}C),ϣ5Nz$#5Xҥ-D 5َ:?] bT4Z]Bɒh`ȗ"gLPj%Ag P̸`o+7w-$zJgF):J)xNV N`#.EWf|PsSe$iuϘtC[:4 P eUv G S+(/>!_wmvIL2qX{o ioL!TN {}KfxCM.[% "x ;L`X~$E5^wQoOc{#hX\IQnL/jU 3WRMj٦3EށKr_2jLcƑ't8,}.U^ZWrp _t{4wZ pA:k 쭰 М4~sa: L_'=fB^OU-cɕYGu!t乿Թ5"~}'O>]}ۤIL-:U3mfCҺ g--a+z4gj;BTOr9كϋ~zpcl r`veA^d]UL:?hБJk.O5]s-oɧ{6i~M%,@UolfBһ z-_uۼ޺Nޙp:#\HWE*)PUO6,/RbNlbVSnY?2&n~E?V>O 6)Blj`riq]01ƿ_l@Rߎ3ZZd߁cm0 w{y)&?Q&J64Sܺ'6ck-A26hCSt;|?r!FX34/9Eo`{khuf6๪{]i 1:yP$ ͍ -pfe(ݜhܵ{RO?Fd'1!ut4#A^#~AKMQOzpK*@XeoMp;q55v5v6Fhmqqqqqqu:n۸q8n7------q{q۸m6n-[mVaVaFaFaFa6UX5UX5U j`UXI I H Q1hH$ $ $b g"p&g"p&g"pg9==]`v! mI0`@(R"%R"%R"%R aIB 4!A 9З/|(??W|W|W3 >?G#_???GwMozӛsxw;Ýpg3,&&&Yq8k5NZLZLZLZLZLړ=iOsm6g,Y0gavav]]W]uUUUUDDDDDDDETDET35C34C34C333333m۶mVZiE(BHHANNNNN$QQ4=lu֭[7d-f2,, aQUW]uUWUUUQQ ̴Ӷm۶m[iVDD"E"1Hh-E *"iKn *"iKn "®""P@ A $h$8X88VZUUDDDDDDDCD4DCTtFfd*tmٖmٖmhm"Q,D&"+d(Ydɒ%+""*"*"("("i+BFȳJf!hD~~_^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^|>|>|>|>* $'v}"P "4!0 qp&,`~ܦPGjnc=ijL*m(ļ;s@ٺ5WTa *8,XE~,BHOv PefXC13e! gF#Oi-#c/',&0YF}g5MAsC8ө*H9&CvQZ("#/ad34[C 9> S݂.#M,:!<3-9% 9P H?Yr DCߍE^@1Hb1(;=kCd#QdG:{Nwid?b8X*FY %;>i3u~sGT G㎇6?<*-u"-B&@K;9 Woҍ>hS{tMu:ym Aqs:ZxO86=%#ɯ$NEVt,Zꉇn?8y8$̘.7˵'Y~RCNYIl~"lgt9m;-z[OșKˌ.Og;itoϪ줂 k!;E{$XOi 9ֳzmβ唴Mi?5glMj?rl;{.;v4ٽ[<=.U5ތS,ey6_W%$r9D&mz.eSԦ^6nzE/UlS]t.T%LϿixl -|:]Z,nJ.fm叽]BA/oNJD)NpY`T2T)KOD-ۋq*)k篾%*ZuGC"8PD!+WIuŽΥ}hG"Ҁ[8?Kkm]JE:Y$B y͆(P2Yu$9!N Yt0$!9QWkUrlIKf+Q"trA6 Q@4oI$eKr`DU5Z&C.75gwٞq^vKzْ/Rl-y.{vܒ]*%jQÉ$5/yr0ҷbAB$D/2AZI8Hi]-eE%/we/xٮ[]vzVɹ䊺N ٖx(pX5Fq.~@ivN3әw&&'5VJV*RdVԬJdNLUEn 1q]nmܘeF;wŋD1yX j,hHFC>bqDz~犄Y1%om(q&fc^΋{wK])m/z@VM$I觃 UVߌkyS}6onɽKp۞-Rih[rvbh#bv4,h=VNmp6VfڟE݋X5_j(VΌ~{ϚCzkS0ihcbv1Ͽ)z''oߦ<:szaJ'M !x_;ҫΰ y=b. d?Wdk"h:&cX*;$s 6n"KO$b r6郎U'E<ߛfcWzJ( gZ!}uR\u,YeKdKci,͌cp3a/8VZ$;K4K$K$K$+,Y K>GH#y$K/jiЦ`<+_!]|H$^䤱 5")}u@ Ŏ<@ oNFh-m禚xRiԒQTG({?HF4tI*y* j+珓ѭfH~#]M7Au4俚k;CRެN.!Lxa,^sPQ'À'8C GUVrkH5QꍩWIZ;Rw[Ã3kR(/=E7N`3OQ2]I*x ߲؞\I>2 /j`ίSvj6. PRIAț>$ӬGQxx&&70L%::NO&`  -gGZQC[l/y#aN<*:3QXhP@L߄,Dx] TlG-IɯZ!iGRZ @hU%\X^m[ x us R4 }*P1 džK/uK˼wU | 'i#,[n v~"s7LY(p>UѲ(5ީ>m728gKg)(Ϊ=R$b8m!'{ {T諾1gXFCgLJ{Nv=v6\@U$ 3D$n =!a" 6qSU\[PJq Kf4nIVDz/n9={ʿ]{o$sn{L+"sv͙ %qj*t>ι@J*9W/9 !48zp@}@JP'p5{FGU7鼬{긃VWI8h};YiXSkU5TEg]U FAV/c: JJVPaov&j 9θ{fG)22\zA?OΞ 9{k<_3R_UBȑkx^ϐBA7pTɩIP5*ntϢRI)z(WPbf%enwC'W܋p&u$/ERH%LGfD0oѫLю26[`bM^8>3[$#Ex(pʤت(2=zO*Lpt}~:!)Cbʠ/Cje#ψL^dWʴɟr2i0U$ (* ?`2^!NQg@VV fZl0yX, ubߗ#J6-’}YpGMZ(~*^ґZR.ebp3K}.qlhuM&WMDrF;`>ЧBV!GP[0eLF{N֟E?J+%C+Aۮ7i-r;3@[%Z<50nRĕJۂfN͂3oj [GU{hĤpz`QB_#bO:\ nptZ#[N9/:u-"=A<2l+>Tw vMaڿ]zǭq4ޥ:6ҥy8rs~eEd!$1V6 Jgb&{Vy€(Iڻ}yI*2ecǤ $$0r&19Y &pa;p&iJ)Pd~EҬc5E"]DqjnXSw%ej"5KΜ (m"T4LJ &V|LOvR Xȍi0|L,;$ F FOVMjQPWڳS&J.@)8N[́mL hݹ4n產 :ep=8 >i-wHo0r=cT%ʯTa@z$ ޓ|zK8nOSIQY36yUJcc LOX|K+PQ/)?ik  Ĩ#7i˵>/eV?;oPFrzĭK Vxc-maK k#2KJ #bYgA'y:$N !Pul&rSBGڈ|av~R4h|wsK%́}$:~(ݨ4 GJUqhA$MzL^U4[O/$;;-@Ҿ8 |N:ʹ_\m`ާJ{&șzs'Jm$XA"4ZF =$Äg1D/q^R![BOez&1;>ϟޡrٰyTX៣%G*{8*)1MJG2,67aZɐ~Dͦ*hh}#g`ЇE'j O=#t&i'~G5,y0D~n| 6I<H%Tddy~/fGCeG &l7yVp. 4~=ye U M !3)yiȅe2bC&il݌CW]MM/sIZEgn_ZM0Im!!]8q[9oIZ[pvL$ T[e H'tsɏ W3IPpE!uFYwNGW5Ig Hse%8!{IZMr؆9lLrmHD &z[6A}`!Jm`Qi9(ӆilϥG s&XmE(lh}6|x6M敳Ll4)u/F &U y,TͷBrJK >Q Ni"3i"MPy"gԞ-טk݁ U@XɣzLe1Zk5X~|&f1:k`̚[5Ce 4FhZBhkVm^ℾ^OjXţV.t &FWUbTհjhQj &BQ [ =NM c05RCRg/Jjq~ì֨iS8J4 5t`@͕BOHXB= ;<͍iR41>Ul(qiVǫeF7 ofihf|gU4`i ,@(i9 Kĥ!N4J,͈K1jܨ4-mGPJT󙙙۶m۶mn۶m۶m[$I$Ip8b۶m۶E#mFڑ#G$I$ɈG<xD6l&lsf"&猈=IFl)Jfffffȶo۶mm۶m۶m۶m۶m۶m۶m۶mm۶m۶mE&#H-AY<#"b#޶m$I"c7nIz"XEƶ"Vkmۖ$Iገ1۶Eh9⒎߿x3g>̈ȈXĶm۶k׮]6mlٲ$~  1DQ,{ABa @$HN"&.?BŃoOgWٖg6tkN0 7+.CZ[wf)3Ye|(">Ę>:>⿤9p=;7s>>Wɞ`X{;ŤT{6J@< 3oH_|$v)sp+;S5g(JFX:{~1[HRު;GVIYߕv7vkMlىQLޏh&VJ/Ԧs`%ֆLeq%.&VJn`P+ OPep%%ix'%z1>~R*2(I]ML9_*$ 2? `=\5!m5]Ҵt`cr\${&S pS`5JAP(G"2)ͲȮaJƚJ*;(d7OҬw4t>HSJjRϬКO83H:.S8lUIV$יFT%yd'gwp$!)bHa_(7YAU m2_jaP'}0oL5asLl}SxFRz'f $,ipZTvĂm+ɾ4t3k2:Pf4F҆i{FfIf:Wđ.rj cO6mmj4ޝiڜZMU7eZީ 7̛ifUf9-аT};YV{+8YUI+1gW\Ҙ m.F+E4qY.NZ~˩ad04zR4Y)KjaIo5 sFdN10t$N0kg/8JY 0Uw4sD((tȧU 9&QxzP۱':(XiXHv`t5鍿&@vB5 E4T`+V%UeI-*z`MPP ^E5XS"ંWQ ֔% UT5%BA **z`MPP ^E5XS"ંWQ ֔%x6Zc‰1:ܶf2@\"Y&MI9Jz DIX!gk=b[uTY-~WW:j(ZOU=JrGSwkmDW9<`KmvF}[^\SUUDq鱷ţАgG5&=uP@*SJ+` _)Oɑ8SW:r+X}lnP/T ZKޓ`]_W2V!4$B2F|@M}cɄ&[1J{!M&1vQ7RIUi?6ܚ$V>sQTb6wBU Sj/cy6>RWJv ZKnu=!QE(([ )t=j8qbHLʎfɥiŒzBx<eִZbToE!?# HWJaϯzP߃Lo66q'%Am41򌖨ܘ::0qOO"w|*j *׆~=9S^ϡ: )'@>BwWI06BWm\}An #xJ[Co5Uﹱb)#[ʈ?Pvt%S-M-)-jg1<է!p0)[ysNrd;K`ىASŒ_a6rEv{ӈc:+gF'9mjRĒbbT ;#in"Y^r0[Rz)]B5i궚PS'-}ɹt0ž~VJ#l<Q '긊YJ>4ƕZ9&&^SGL68< 0n yUpQ"1#]+cHZe4.%b&$&:JFm%2^!e㫩N| IH apk=hGu3/b{U1K-W5T阪bu1tX4!1d&We*6*=].$|.dNg6 JASrWDENUig.QrVw$!fmI۲Ti-Lpi#"SȫUډ`1Th\~~ЌG5)9hB(@y>a&V7ehCOݙV9V:Ր*'")3aYZm@7E.!Fi\]S7Oty5GȫlvGsDNfLTit:b"o1ocQ4=U 5QUc܍_J:쉙*|iҌHJ>:FP}\;id'O*9&^u.yRfY `e y*g#ؔ#Pj>u *,ЇRu:Iyri -en0%nVxAYJ l2K6dTO6O;6J|"ނW6Z[6I3hBIAXBAYq!1i$&e,7\JJ!TF$9i-I}WK ɠo4#Yڳq4| &IRoQ0QMy[>u,ȅOċkɨc]&ЕEMK:VN%*Dj֒ʁ'qi*HM5͒KzӾLJ^HL%4RI2m()K!i5/4dɣL5?JDDqP_K.MA&2&g*neS+D-yʝr&1KoxL5KM@gŰCKA ̱-hKBQ&9&K+ 05'8'T6&I5L\8wPM_i&IxS>LVwԝ̖ݩVm͍5;T- V_Ïgc#HpCɟuZ6~71nSId J˚h/d6Z$L)L~]Um T9oL983lRsdMY10D{XpcڌkN^` ˂I2 y>+9D"$IT+),`ljqzgH7j0DZK6o-̺}igxɉ4.jˌEz|ֱ oK=+?jd]J]gJjrf:.xr9R!qf^r&%R@a#Yݨmmc:{"r4)C7Դʒ9CBvUyR1<{FFA2*hӑf4)p~-j/0  QQ=7ݓ$%%5kXN7Xv393fs9%O emJUNCՌxAثIpT@8G>(ܚk$I!Ʀ T.SgWrO,|mVfMHit|k2uU}̀I,d+;J2UDY-*jPMXP+ ^; {+Gā>lGV$jf}XOU¦DNÝ'-bN9lQ6/Mٔ?BNH0Vh,vքZAkP=<=#:ў8k|ΣYC_oKu@/]瓥_dP, ~7@*?Q{I|,9Mg6п@{P>gOμ+QڌN41@m2&G !,V  sd۵хB --_ G1eeF SJf BfbZKh$:y*f@$fDKÌAŒ;bQäfx Z_/C)kˌJj%6FF172cZ$EKU$kn/}O; ;<b ;FS8iX,za `k 62Qk'B6R6zΌ"$/c1c1cfffffffffF!B!B!DDDDDDDDdvl۶m۶I$I$I4chF!Dd4HE60$  $H~~UUUUUUUUUUUUUUUUUUUUUUUUUUUUUu9"HH#I$IRWp8cf6%Uc1c1c1333333333#C!b1B#"Blꕈȶmj$I$Id 1"W3H9̈p8<(KKKҒ$---IKKKKK-ҒiI%iiiiiiIZZ$I$I$I$I$I!͈$)IJ/ſ_^($ 0 @h4 hа` $"hӶmmoooooooo{bmooomoۛm۶޶ͷ7޶m{{[----IKZCK-------IKsdAH! P v- p@$ ,  LdCOHAL͞ϻCNgKiӬ"fV(C'Ys >)f};]7&L^VDD?dU ?~CaV:BԄ}lfCb)ie+(gA7:8`|@ ur(L'kRx,\"7pץvK׍WyFB}(4R!Kap@w´i% 5:Џ:.1А[EYIy҈$EH$Eh5M,) pPNdE)!" ӆ7U1I}ű$,OX4LƉdؼ? g |i"$hݧM>76QCy!A愚\$U 3'QN!Lbo.B~ ěQ*R'EHP폐S\/Av͚Z=V6i!&>B%ߖNu 0R3]Fž^%~ޣ AYBK.V&ג:"d#NԞ.뉿pki5]\1blGR9CZ!/%I<9!A ^E)Xhr$QEdAVwmUˢJ^\{)8"d&oP-eſч[F1x,BPe,B#+yÍ!2>.UMR|Sr|,UNE|Po*@SEcO)Tj jW9FBqj`*PH_%D1RD-T3VhpA'ezFnSS?eVv$}? g^ :%U݊XpXYLh`!ݯRm{GyOw/jĀQJt |hUž3u6-[DTOv \Ѻ6 μ*DyS=uNvU*)XuRoݕGuL/*ZEa vo'D 04v_+'t;;l᝕P`nKU;[aאU6|)Hq7ϵ"SZ:Redh3UUI͑O:aJ4ש9f„PYəFk7/s$Q >Ov9͜)%} bM'7K- R`Iļp/ Lc0qs 0%Â%Zk,D[mG ʧJhPMJLoVdȁi"z4bIkOOgrMH,8/7Zɳۨ+[Qc:tf8S XX2! Fޟ]~RN 67!RH𴩯 $#w':lM8P2ՕDބ)* <:&Dwiv)ÔZj?\f+T. %BJǩN'ϰ:#g ky^e̔׉C"M!gSz+gdSjѥL, ,N;+ɔ*0H%JM*O"XJ^҅Qn-9O-4R'!Zcpi}5}#JÊM(*w!T |CP~Dc}L#J)牎i2#]OzzW.* Q?ߌ\k·G"|`}?tAY)etdC8kZySJ _X'$]9Hqlʢ=Cu@i'\ҙDVcDG'KHMGҳXZ(ScOT6UhI0T#+-ՋVeSY:1ZMA J^ ZMfQ0~ŭT;TW*Lu{RoJKlTy?!$:ןR65EWAӒ[5d:RJvTSPbˍE82zd=E *$3[QY_3wPCNpySB8Dds;P7JyU5)$8sD$&ؤBTh^f_ DQF]S[TPi *5CAY_ .MUsSS:K //7%En MZHZU`#W %RSj9 7.}ool+45T&JHd3Ę{C>ndjܠӲmUYI,eV*} Bֵ"O\O)Mдiّ| J "DzNҳZ;ђ{ov"G"ffD6aP*hFdHS+U$ьBmI"&Hq!@B!B!!Bh+D3CDBQ~zz~駟S8+t(^hP` 8p`6mF6F=A{ж3Lg:әΈT""))ڶmjmgU$ь6*h"&lVDTThJьlm׵}II"諭*h3"WXl[EjU}}}}}EDDT___u̔Hy[I$VD3B4QWQl۶$fr!MUD#2"D"1333#332#"$ь^$uݶmG4#=ER̛|۶O6Hqv$fDq<F,I$K,YDDDD%*Qgf:3333333#"""R"%""R"%R[mնm۶qjhFdْDE4C۶muA[[n]۶[~{~ܨH AƁ,T  "`THL$ ,P t{](C1Z$5w`C&; I&*SGKS0*`* ( hynVl5]~7;]E瀞"{(IfiQǟR|!0SҼ=o*M\߫/CTFbÞTCkP͸bۘ%C4ZաYq4aV )Qk]a+3;De T)΃"լ %j."ȾҶ"pɉ7'0Hyy'ub$MXPH5 h IPȷ^/UZ ր !=BJ#Y6Fz@Arz$0, uWqx @$o9*sVíɗd(P:@PULi Rv :[u*KQwYjr5q0jE\P=[qdS\i%Y87!ү. Pe鬦eQhnYo?H!ك?kDܤ(5̟^x/R/gBIf0X-QIY~e \OcftkB)(|#\TU܏_#%aחt; 0 LHY?$Ƭi$,+J5뒃vu;қ1W)=[=UMQͬ?knGqwuedr)1{$J/Q\tDUj6V1X󧴶%bp58R PKFW̎QwQR)J#VtԶe_'a\[_5@ftyubܖc41,u9˴7rPy(hZy*GQHB}(ԕ}[Vz.`5ұ,":0д=~`X|{O@<ͬT]ZN u=53&fO.;J8|V3(4R:`Bi_7W:#X^՚V`׎BPbDx81g P)7>'@>ML|I} u>#&v:}51K"f& (n~GNJo Q&)FhAѷ0+Upy\/.wk۵ͥes)뇩VEmp*,<ŵ:nd"]=n!TlZ a],_#K5k&\e 2 Z\\e*>SM^p&4uVtg>{38X&nE6as Eݬ&PP=ď,YԟMHt\Ɔ?>'{IQ`#Y>AmgOm{df9{-)[brݓ 2.Vm?MФ뀋ȵ40xͲ'wEإ- E#xJLtb]Vv(l P{۩", WWD y_bւ&szig 4s꬛@K|VȮ&(eJD&pT5,7|V|ऀVDJYwC{j) "IVIө]t䃌09u9~|Hn 僮f'Ju&QcTPEjxX O"QEB2e~NQz%ćp[VI.ag.cAPY_^+׉]#v0 h㳒uYaK]vP$nh>aM|Z͵}9coyukB`c&ZU+{Uu/\B4 S+|nXZ8#X%Eڞ-@,xI~& h9Zk g I4&84ҿ9:pKep$t꯴j>$ƒ;0v3,xQHF3y8A8pL⻥ fD`^) D[8|$ !d3$`nѿ F~^3"jD9Ћٚq:I@t k֌W{hU3L>Zz5b|ӌ+WY>Y>ihGb\4LҌ4O6tw^c4Lݧu U?_\`$&h-JXuf|2HL?o73.7HfÉXҦksbmvTxUuk!7*.ir5*~i 7ȟ+2 "}FS4x]!qn葧p !Y:uBi2wMZH(Z~b qnnŗ"HO x=kڰv0uh } #S#HHDCET>T[CEjёz *(q,(.ޘ+1W!cu%29X[^؇⮨P`\nJ xV*bEm/%>7SA'!z"Z)/YYͪM' Ir1B& R!S V1%qR%BP,/zHEx#Y9]>I?/ @neS"9/r[^uoޏ J"M #}]Vu;YЕY3ʠ) >D7-e UvXK @\ B=:0>7fʲnjBENo%#){uP0Z~Nr/Ix|Z; Hy[j۔ʄمqQXi9\ ,jVEuWki QG.%)d>Πo˻mWrFx/:/?vѲ/Y?:DySC~RbSQ9,Odc7xj e,5Uʸ0 E THt+O°OmTć ) %QPOBoOm;@b@jܯ"DhHET_)t=JО[*<OӖ0s Y-^ (KGRS/)?ъPXmT@Qsonleӛ@hqKs N^4ezb>Ȅw@p$Hqy6VL1RP|Q"Eo۲.hg*}.@c.RPe*5/"28AB 䊋_ DjJ"_M 8Ez HE^&UUޓW)da;;Z{2:2hI,#=G$2q" =Q6b"S8C& Ye Kxm0騊S!+-DUu%Q9:X`jpH;Ķ9o++xpsE.j/v9It񚰤E5BDJ"TrPu_(Ma %ǡ 5Pn]hRrv% Db^jw8% FCj(Z|秮BGc@hdPh<aBn^[wZG'y@VI ^c&8 6b]ĹlFBGۇǧCN[:&JkwIeWJz)! ZA3DK|1h\*Z5$0"?4 b[CL* = xvsjE*f5fz_T|-G1>ݛ1FBеՋ),ZjHX9fEekԣ!ue5[ IN( =m=XsS dP{;i6K}@K5RH{Hm?h\PsHDfFS>eND =yb!c;2vz4p*B%( R!He6 kO|_S<GT@=j'hpZOܽFh$~+<2~'~ M1)$HZXGM xKA^я!x,@[CdN35گ{^EK[Zzۭ?-,ZНpX`YOw<y~ dlF5hxt؄rϣm& +xt3aAꪦ; Nd= i5iVynvˉ}wY`XHZ>p d>piP\-%I͚8g O6_;h9Pevyu::pKb}l]!^C%)$O̾%KIp|֓\GO1T45OqhѮ߱Rg@H 7R]щ|]xW) EVRݎ Q%UC!̿í%zB3 #/=ܠ|%[M%mWH7d53]G@Em+)BBB2 LEh㶙lf3ffڑh8."uDߒ[hb1D!ψp$OOOؖ$"1TUMՈpj2(B $>B@ٶU5%?""**"*h;ԶV[m____DUرc~~Ɏ@Ѩm! !4B !PBhioEљ :ә)V$ьAV$͈|ĆU-Ij͈lj6xCHIQa$עz000 PH@  BPKh+%cKllѫ-.OoՎ$=2_;F]c*[wv_d9%CJhaz{ iyX !2'aԎsx&S Ul~7`2Tvi6ҟz8Ix{1#SKlEvuԋZWk>tc!CAEWhm wj"ႉ-}Mq08SKJ.ڍJjbbLAg}89ˏSmӲ'H[nFarjdp\*~6jԂr# RKx-uˊeJ)Eӛ @M*Ӽ;%- 1ӓ*(7ҽ V5[o%KSRd$aЫd"bBH)bFy)k J̛٪ZxcS9o/Uc;$|ȦԿ xa1zީϻ?)|/5 {Ua@V@z -yH,mE\`zԨ'ԟZ#dN-Wi:52}ĪXʐqd`EJ $QT#>a!&^P9ʚժd4;6QՁ{;&uJf#xcf!xbn̄hvi#`R3lCSdF rm9,e\Ű3A6u1똦A|Obt>b a9EFd!C.h ݳ{97̗Y0/[$IXYD84h[jW_Y73-fتY4V?c4]Zb@NR'UKhCO=E*:Cz0%D b^^ϡi>@P%8j (`yb14qX8#ez:}5Gݩ/[dwTTѼH^n6VSK9~-p~#*WnnJ:d;\|~킓-KvbI;{b-/teX{]U\.{꾟qU o)wcK!Qg6B2%L^p@y+5 g$YR E}ɇDUᣪk+[>:%vyG譢7p v|a/x*0a`PoDʲ>1U|-RSx2֋7[9ؾc!ˊƁtYKǷ H;>sD Fx'ʦ=xtOTisrśm£ t5dyq} h])t3KZ4jZ$šIgwqd-/S^jV>T`v 2 Y:PJ,LU`8qQ22NU.^pS*k JU%~ͭJ]4k.3@1@Z4ֺދGj &SD[3*җ&#w,n2^A1p,U UMɰRIӂ׆m߲+G5oD]1trYeNo:onϮuB kUL!-BbI,uxzYU(ե7psm@JHF"T90K5(|rh0ܪb:} ajO0wJ08oՕmul%Xw ]efxj¸l=Xy>>?/~ ~}}===۽۽}}}x{}ʵr\+ʵrmZ֦imZ֢h-Z֢=kڳ5kюvhGZL@t 5!>H0@`q0pp0@p@`P0 Ȥ>5)y?[W>goZͪ燒?)OskI ۔ ?\?Mհ[0 [cǯh,yN$dV&]f񇑩C[W|cL_=+b@4'ye(]^<ϤK[aY/)T!f!a !P!ЅF#Utgƹv5눆ScB)\Xfв=ؖ0x'Ldu7%˄Be0u& )bl0ÂGcR HDf:\ؖ0x*Dl`uص%ÄRc0 5&KKb(sC:S`\Yj}E3YlWV2n2Jvƽr+=Z)g3}&P}Ϻ>Ӯe fL* YݲD}*2Dy Kr')X>:Ͳfa#t69g$̺:egL*ß2, ^}Of9j6a.Ld+lfb{^e'iR=1͂?@*:S`PeWY<\fTdP X€~wc*??QVaM2T?QbUh M>dg],6c߲UuVeƴˌ"[̼o3Z6rqu35;QWϦ7o}Ÿ̼eL.QgfW٭.di,{fBhL2KLn2lb{m3{]V"}]fAKjNe1!#+*l)6lqD.jMFP5B~VeA+5֊>9o CY{Ke;3 ̦Y + bUx B?Y!jlfA2Q.o^ w teXXǏ04pd֬¯:-onkgiֻ`Wm, >us]862uJY^1fW1ņg$y"bnnRkI̩=dŰ$eRz7m[aPdY0 *IeO,F 3j΄UBNR^SN=ͬrmM[uZXXX˶&X_ZY"f{T[5SaNe#7^<@!<1Z}ֿF`ϖa|v+lh4{#PPi籬Pعʯmm5s_trb^Ν88H[!*as~2p40Nl{"_byopmGPmwbfؼ?/GR7/zsk=t #`53u/3An3OGKn͉h k1._-xTc^= ?(O0%N{?3`ofWKJPaųPŷ0tM@) < ^m`#zrC S8˷0:b}Xۥz"4Po7*38X_l*TթMCId1ܨ3_ &с۷J.AE<wO eeQvLm{!'Ae%4pa|%jQ3LbK8qh t럝,()^lxM/)oOM06/6 pb=CH.iZ}No&|^6ipq |9iDTuUeTib1 ضbqrU|4R oz8wx8%CrH,-A?.jE|=xrEbCncx}&BGvwX!߫_@8 0}'>h,EWh x.ܗ'=;UImTL@ V(VKFdWZw0~ALwR ojH$qp$g"84u&0n}"m 柒3œQ&a6lEqk_)a lLyZaiUdıRRB=M[*Alբxt[NWا.W^u0Av ]8V`jכP yM}''ނ^Q#jHlw#L7i6르)xW%0V{3=+fDIt)`~7ilKIР5nD,^ap(}&C-gP85ZLa7ƌk(I}lTBl dӹJ;TR|l Y+=D؎e˲ISGG%@(@Zν޷WʚXbIM2puLAIBFGa~1_s5qӆ!|0g?h8rp 8. O>L0G 2;\Z dl{ٌI;23| T"uJ;A)z iQU oV>toWX`ML2puKDFGa~a0m jwzDZN 9B`|CC㈃o)qhP|aR7sPiϾIgD/n5yqߢVrCnT7?]*4juBy{P4%23Xt0ڊ`̎5Ԗv&:n)Ⱦ7P7P0@ݾCOB%&'G9o54cdO B ÷Et;Dg|=ZLf -#wDckeԌSx83lF3 -|pBy;^ӕojHdsp,D4rFaJ<ؼRC|h %w6b)rV[& aWa-\:D03~= 1f #h6P:Pڝanlq$ ~*"ACh1g0DY>ap(L3wDܧ^λCb lrCa5= MLNʑ c:3 5oVs7tx`@@ɍվvP3NQ3 wC.xovRjJK.No赆#G3lp>ܠ.1w@ ^ :#; ּ68i9,x+Evΰ԰l n"(x0z0`nPhYK2C) 92puLvIBNTB PCyf'CE}?qMhLaKx%Dw!^}[Gǐ~Ooj1EPv-[SŇt"v&a -EBQ$ECȽ*BT,yMzyEE%-0(S`{W=Pɞɱh|OLphK 0PAȎxpÑF S"$\8uf!~ފZ&AV3*5lmխo& L@Q(Yf hAmۜGҽڧJyoh:a&خ8쟜%UG| (1!ˆܑgF2|n5v9LB{נ񽏷~_Eoi1_yRILcW O걦,qDrj ;`k7҆$z7`a8W]'ʨ)t&?i?s Gc:FFyHF0*nc;o Iv)bTILcyުqcȮQ2=N&¡dS/~ 9z'tR3YƸImeUQG<әhTCng2ѨG[kށ/`T݆w>}I^/ZF2%o`9ʚ4d9V/}jpfאLBZRh c Hr@wJ';̔Sm2)XRhT1~f4(̧d;4{9M<_ :w|[%^vLX΃& 8YCzLxl5$DUJ5xP3@VNfsiĪ6Yu,/!e:?l~f(HOe- 24~]|9Yˣ6aozXP)k`4L1,A;fӐ̎&RwKS_? X8ʲj :֠rjb~r"\툶߫V -lMZ/FTsyR(n/"py@ݤg Io;agHfSAt|{NORqslN e>zƄR AhTqz@>eGn4-rN5N D#ՋsI)SQCFpjPnLo X4*&fk{{C!^*Wf5V;5m3/K[_Dļ6dh/QyN>G҈M jFӋd.0k` TC!~ c7=f2M>z~2z7ѿ$_1vtòqO ܘ \m 9b^-~6n$RIMA?>ŴX+Cbl_lrA㭇NDs7t1e5dyJ ON4ٓ<%m˻*4P4|dC6ŒBiVͲ_ Kj0ZT PmIsL x!3em$ 0P,),I4)iRҤIɒ%%KJ,)YRِ ِ IHjFR3ԌUBZ%UBZ%UBZ%UVUZUiUcT:H#ccttc,%ZJR"J(%R""TV& aBQ%jLQK5ZM TVC?S..(e/{^s9s9/%yIKX Y$d,Er`%ĒĒĒĒĒ%K dɲdY,Y,K%%aaaYr%g/rH 9%%   P`aB&,@0аaA‚Y~{߶fm~gz<??ӟg?O?9}N9}L_/ӗݷv_~ݯ?nЋ&Vuw'dܕ#p6nh܍MGG%ƙUOUc ћ{ޙU#כȝݝwrrrrrux7l;!_G[~ 1:]A  0PpՠAHH Ѐ`A5^֠(`A0ЀCb3EZH01KLAaqP EA(@ AA@6&4PU-z8)mV.<WS=I $3a9o")e{曹[OӋ#&4 cJJ̎,_3zrc#E{aY8pp濹j>(oj* 6-= ,ÄRx;S/sMЫ [_pt_UuӰ9ԿbDNi VAf!tC ߑXtY<zBYAMr˞J,Y(/;hʾnsh&X(x|-N.\8nA4 ͙rٳ -Y)}2{xawAtbGcYKnɵZ0 }v܈>)qP=\3,O"1G!i{DDX˘3Fl[c AΜuZ[4#u+n*Y03L`^ ƺLsF+s£f*Ȑi q> v(6= \9JW=Ržt:N@<ʚ}̺գ%S@V; =2m"Lfmwj |ZCEӪz6!> m=/T V16֦#ȥǣ}Y /"2zd;5ZpzFnkVꑲ_aL͟0.qf=My9L䕑8TV~nm1݈GUU7ɱyMRLE9wK8F1V{qQŌ]dNPY[{LY) !18[*[Ŭ;!1u'Va[u9󃘵 A[]L1U)ưr+ p *̬aW]\kŸUp@;]*ׇp&ZwbaAXtFIϻ_f9ywڄ '1aޱ`Yƺeh;If°̼)ܱ9$NZGNT4+횡wlJԻàYONsXz$\<p $ cl*Tqras-)\UiGP_b~fmh`sI #`(%7AN t.%ww݄ NR!M69㤏JlN(Y NX}1vSL3]ҎϽqҩg2 &1DWsGNx.-xd޽" `EFwp>%0Wk.pSxe&8e2aqk9 b(0mO&H\mqP9ón/W'JL"Vvc-4] sjm^4- _IS"V/#wd0 fm4dt<U,$+Ct΅QV05#Wd3.׺N3!ʩi‰X^rDu( L&5 jV !`7 ŸgI_҉2_ }²#TF aVl4!ekwe>=otG A8iFs/)l/k7PtwaM;~gzn#ͪ֯S=J tAtIղ s-DP Uץ`JueTRYHA5U:RwAyݮZLUg)X֠gXOO20D2aH9~df"q7Kp+D6LIU`iBrr6N,fh;,sƔ!͗5 I+S{SUaSM(:$Ot!J*Yۣ׍hS\NFHwi%f-8pnTPk(cе/0;Tlւ9 my͌]\N]-xkW*4,8!e:H|{텘7KZ]S],ҳ'gzvN$2|%yˮ%Ã0uw"7yȔ>n A"Kw Jv!˳\b/a2 fyHߕBeW $Nb] 7;{Jtb"v+.)pWB}i8]͛;~9 (.[86Ot%oLhiJxݼǏٮDolJK9sV\捹8MJd`%4_H ەyYۏݪyz{c_o|W^h+2*4ԕz֌t%k7 lu%W\4JC4RW\Xܕ]q}hgn"bWz$v歿yE/&L+p}_dؗ^ҕDy=] Rb~^$0Jmİɝ̟Y?=ÉO=%V)&f LDzfY3ڲYb͛5K~θ6Y@Yq se%nJq9}9. 迋C˅>; 45da]e\VaIzf dI UKoYdt?gI@Ωzi 'ĩ~i N$ĩ~yH$̨z 3H$/S3?N$_%SK|avD2\|)=x3i{{gSX>O $Qr)u%:ʐD&IH+1I7;XҕL$Wt%0I$]#2+InJ&II#d4+I,J`&&IGre4eW",ՕL6sv%:Wܛ_ vҗ:Iu#q?֕ Љv&lv%hcBK\]'2+wJq8]"}쓣ܕ D+C.I#]JoW"zmJD@K䮄\ qٕ7 du%$j^!j^w%ҳ1*-u%#H<]ɣ[2ڕLdWt%W|[Wo.LdSnR]Iy<\o,(o&S'vg J$@4:ˋ.LD=Đ|iO/s <D}ʉ$e:GZPț*] |KHj,i$ɬ_}# Go q<;q.Is,q *KݵS=Ӵ'՝K9J5!SȏK";_BWr2;{E%3c@lm)U %3EɓI }X~p'd }"$ϓ9+qLݷE+iq'bŧ s'#yZL(8_-:X6lG,Ѓn*pO$4<S/E:b|VnO`k 9 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thyS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236c 5W/ ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y$PibDg -z+ޙ"wF333VSwwey=Ȼ j{63Y$G3ҫҋ/Rw}gdbMn۶]vUUUUU'o,xU%'W%GDrDG$="1Dd"+"W͌ffd336ufIuj3C m,(֚z*o%$on@!`ZG- A@Uʐ-lEѡH  2 X88 0J@pHO X !`Tq`lP8@&⠠p,hPh8$ $8PhH(`8H8, , q` #y)))))FIC1D C1fD 5#"F(8$(e)p휜$_ok򶗷-y[[%s{wێn[v۱[WZR,8L}4}G݉ffftefefTfuNSjX'_gm6i.ej^H"UxDFMDTD4CP!33!ڽ~nIRI*9%-Y$KRZJ;!~Bº;n.&\"׸5qk\uĚXk"M4&D(x(7 oxUiUZVUiUW*_t.EH"*JX%R TB*!J8%u׺kݵZw;ˌe2c̤̤̤̤̤7~6O>'dlmMU*SUQUUQEU%FTQDEDCDbA$DDCD"!"1h楙*͈A3bЌ3bЌ4CfHjOjGP+vm4Tm)NW H"XhXgY{֞fYk֚fY{koZ[kkm-kZ-kڲ%kZkڱvkZkhhi-hZVk{{o[{koۿۿ[[[z[om[zKov۾۾۾[IIrRNI9)'6`  x"?P)~^Fs?%=CBӬO9'1ijS֢L0;S9/zGs֟=7?s~ (z9r=OEH37Sr3bf[<-,?e-z΂ʜ9ޟ&Y3+&ED=s߃\ giQp!?6O~IDH;g_.R*DK4Q/s937?<*0w.*ϙ > \mV; /n +e/Z$QG2źn^CH3gKM݌F5f8]V,c:ߤ#rlLF;+efQfW2ʬr, ^жY,l5tfQA*/c Rنr7l\F#+zQ4e b"CIռPR5Q O4}UEGcAUXu,^J,YBYDW +1]fN]~S#獳]A%BMJ63nDAle%1F1D`iɡ_+K-bYXs-_V-DPRf->lZ#OZ| CgbI8u2JB7fipm)6=lB,=ҩK1( eRʷq@* c/sXil_Oۂ}vb|X:|Ikgx4^.& /څ5seZ:OF\[aXΗV5C% zoi\.1׌j-gx@ 9.zLY%QeX3Jxvc4#I#}l~v"eVp\T6ȼO뷓,Zgf(c6PsY $AwMO|жcb˫Xٜ E=3lS`0b2؀@J~mNUdً`&> B8Y5d財Asbq1 YCYY R#H%0؈b!Uu4` v>d6= ܱ;:GH|C>8`A6 p@.I}?XJaLʓUa}aui}2I{zҥؓ@g9`.$9DPy$GHmwx3grOIsDHi+(^24 +8yd9?HÔɧE+5MEb݁U $ȟ$-,D ] t$[0 GVEy)B~;E1G#xO>e jKg(0%Pݎ]pp-H ԜdxYSAJy|Z@,YCcvܐl+a: S#%iƾ#o@ϯ֐9Kz4l 3!bP ,)`! ¢YmhEzF}. +n:y=%p;KTv;$fx?Qd9qGMP=x,Հ2j5H14c~KP#U)&Ԓ,Lld+,$#1֎l;-4<<1J~BrDiO6Uiow0SS-PBb%G~C+'Ș49JX5$=Wq\9.At#}ÓgN(B>Z|ݑS-[BxCmXLurymdQ%U8e&aɦNO FjB o((6X `- 1LĈ3>(hBUQʨ>"vϿ$8L24 +\N,6rz1ÙaZ?btvFUŎ lm !AWHkEg `䶋F$'@_ >bJnH,:͛Y%Rg4T)Y{MEV PW>*N)"PNaKX(' FͭɓK!IN@  &0 D0L D!0|$G` N :A $`NF` t#@O @$0'@"0Dp #!p$&h D8 '`  0At'D0C '@N`"p  0AA 4"0 8!L R8P 8 0$O"@ N   '(& DLP  DN`!H$O@e;@4 r >^I1<\l>f-o='l:Œӟ)!57'QQOې<_L$XU?j@i;#)҉Ɨ۸nC|$ePN%h.+8`hNƍ4yKi]ˑ2ۆdICjBd@zP zs!BV|sVpJ1FclJM Pc&,`< o8ci'XVGߊ*GR"2F4lЂ-MYV,LIj]n|z4c||0{$`:7xR@*uI#$VW7K w`-<#ܺ72lX ֪gwzrbHm&¼8@.XD ])]oW;ѫRɚA*Ety/FXAPM-""h3697G]TFA LB{tX9Abj/b uc->x5ts7ߌ hX`Ŧ7Q?֢5K{4׹# %IES7yǚ`ѓ\U^h² F*N{nC=_LDIǑ><4T,PCIh|h,Jj@p@1G,oϲdK[ڹ,(YPZ +Q:JBAH1 QrɁ`B!B! B!9_bDs2f0-R>2t pl>2YRTg`<#'x%Ք|kMQ ոX"3s$)a5 9A {brm{Ww)r=U1*# uz7xa@UI>0eel3َF׊NK.U8y2hIUH~ӾCz2YxPrh{ra`teXQaWųM`Ve#-+;4ָ^9*8DH݇\ɤrv]1Ac8,^cHt48ԙ:߂s5=\Ll`S`q,x8˷ba=ҁq|`oc(~Kxl㒤$YSAYWBY .*BdYI}MiW&!iBMTmp~I=7' z;rR?d<=@\f-m[-Fi=E)9|$\(ʦh sh/ 8̱"RK%Î =>IR͉#\ rkBJ']eJC$J) zBvq0%C6kJPuW@lNKbcD *?[ļB7  ' 5W# BHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kve\*А:'YIC_6^? )ֈؽv7eK.34Դ( T"a}澓ș|uM@¡D WckUTD?(b"B6d>l &F91/4 4#ԄEƬ((3+$ASBh$YE"!MEPϼIFL GBU*EiPTDLTquVe5,5xdeR:EQI: ʰԆ̰(DAՙcJrZ&g ă 4 )QáШt>(RUaQ#RΜ QeRp4̨B eQ,egQ:MIE m۶m۶m۶m۶m۶m۶m۶m۶m۶k#|-^/ڲ{k"|-F\[v/smٽsmٽsm]TUB;ߝƯwZ+cJéȤ&h&"9 ZŅ5.~1{{-\/DEnc{n]]PJ:#Ԣ($AvJUZQ$uJ]ѱ}42E.?H4aAE@Q*+4ab@&@ rG9)fp1yGdR&2d @bhc9ؤ$͈aaaaaaaaqkα\\pun׮sݷ-Ad۶m۶m۶nU2fƂ[t] W[ k.qJ hT(TU 7=G$Dx:! Fd",ck9QdnAX$d<IăvXP=ȡbhadIo sVU8P% EKV,l 6*(j6H]GfEQ 4_v (wi>LPCQAQ@Ց5BAc=2<7ǖN "9a &"TŶ;LJ x#F=tD$3@@HbJX a`0`0 B  0 PyKZIW 2+WCBxX`^.D[zc ^^ 5W' .HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1TWp'6mj_3ȥ L 㛆E&)q Uj ^3iD$ $ܰM7к#Fp$Ǜ #󮁋`&ip @4$ e!E4J0MTԳuң@(& RQKL{f%=rT,Q^2(OL&*󉓒lf.QOkf񊹒YEfVqV2(WT5cYDgNqKF0XL)rp>c0]t4yH0}`31j]:͈2`"[<#E`tL0%㵆Ս/*@ r6~֜uxJI./& (|~E7g\~UDИ0ObܤO}Mc:p `ֈy`$t5{55 M: 5.S_A%._~i+g7 z5*w/ ԑV~|г%byFX:@b)0$aL[wkym0M.421Osa.ZX't ]v E̫ž  B.ya-Jp ʚj]iBW Ju؞9DS9ZUG|+3>f ((Uxz؉T1*U_"(Y[VK~Db2Fp51 Y`5_' >$DQҳ~ìz~.y _K5P2e&}.r޴n 3 ,0D(rPoyJ\ȓ)dd#֩X;iL !av޺(ķ:WX-#A*4śbcQ(]Y'Е@뀢^2.!'&%~hm-B[h 텶BiO{~ӞB]vѾhmM'Dh6&D=~hm[a+ +|>|>fl6f]vQ9ƔB S !f !C09ƔBCL 1 !Ҍea+lVѨzqSP  C  $!@G@(@č#ÊHEH"‰u{EtNObO,EX nVq/Uk)1_.jD(W͢SdڇxlpȩžH_߰"B$7  P+VW=9N-&D"~E8YtL;?P-E E8VD6&VGW7T*ݒ e]i)q9!C*Ep k}Ⱦ v >@jo><.0R$H"Ɗ aǰbe1*"q+&tZ0_ &ƇiF1#1cŘ1b(cʸ113B3FL2F #̌ cFcFiƊ1ĜQcqc̘cfDf2\+`H?fE )Daf0H\1Ck&E}(cHXbR1#E2 )1+&`X&+>0Wd_W E:*v_^+0R@cE3)H"c P 0QX"btEg(1PqZ1b&+"`H*etA !7KΗ"獔zȣ3ނ@Yzp1&^#x[zPe&OMuł0$v:6V`% NJ[`E"hk I`DB? LWQ» / 6>4 -~>)@K6Aokalpۢ_J+쨋k#LOM3!Qa 맙&ztwR7ບ- Tqk{;L$*SL@8փG8ǯO܀<#[\OE֔߰^`*3ʬ<,)Z'p%˘b$Wnߞ A&1oqؗ8u /)) tܝ7÷&7S!!=r F[ 3z{w 1n[i.{#PU@xlZc n(m @GoԕQR OKpa,3 B6ĶƄ_TKsf9[e< . 6._١l p6UBmTneݍSҦeLR4 m ߦ mu*ŷMTv?ƶ1miTM^Qj8]*+u'ZUKcjP\GDb௶}zd/b~YYD궟bI2P~M(\~m#~PzL͉p~^5ʬ+-oƶ!kJPBVЅɢ$6kmHF #c)!h  $l 膣6۪__27M1E&q0]W?# -E欛q{>P3XwYMQ{4@cU&M?`꼟 9 n\7l$c]L"U,= %;2L7F1\C n|g?: 7), ]7-MBtkV=&I,ԫT-r1q0<\A<ڔv;  < rk"Kx]HeX ]YnEGÅ}r+xi@۔Q|l9fU[ ͥ&AxSX6Ϯ6"R4Jȿ75&[ۈ s6a.*]?>o|18I+6<97i9+jr8 ~G0bPStf^ I2[K6(paA g[\ Kݬ݆-`hǮ jCxl|"ܐIFu{,{޶Fu̝bBۙUO僷y"e_JFOR,ȎFse`t&52ٚ&+RO M Z?128)YAlH= pBQdMx6eqЎl1; BzBLP(~546z͘z*Љܺ ²&NmN_8o yh^Q &*jo@Ԉ걒*[،lw=r8"<°ۺJhs KHM0pmb=!٬94Dؚ -Q#)=liOl|(?-Vlba8IߟXg!8LH+4%]YTםN2mxſ%yەdfJ̈MwnL4blSX|WV+;J2'Y*RPbJr<;I:hXͽJ*4K+>е 6S+)n,N=[ю1&<֫?BډQJ~S#iŠBwsOd#"dPYFn;2tVbqݽcI#xƐ.䬆KǨjqA| mWif/sBdIr%+a"6 PQ<ըE#3e!zDDųGK.ڴ}~*ު~GJ/z +oJhyv㾚s}])dt߆azYTLE1?nid~w>N Ӹz 1qT O ( @0B0Pa@Ƞ> Pb7m:hLj3J S{ 24Ҵ$n*&Vuة, J4`77Y3mLvbXN4.T9(zu9+cAP$20de$f1b:5TV0q$O#!D|ZvCwo_TebpP\j0ƧwEc]k&YGx؟+RiR2c= |2{oF$^z,,[ `x E*(U7"՚EuٟRGоp*ҧZ8&lkB]4\-(bܧc50F&_j mn󋸗NY6DOG Kz'J~Xs\$}.?#A5PSqRv{i~a2w 3Q}>oy=~&R|$'k'm)C:AAF,qY8]xK`,׆2(jD%(krUR R0i`GP46[Ȧ0P>6ZF'rBktT|)>eSFĔDi,Uv]s18{U33gA)Uzʇ Eͣ[yfr*Y q H{H@Q4A\)LMFL_ӹ.Jvx-Lډ> nUbɳVNrłm%rvʢ֤oSE`k;T5R0Eӧ ঠogJ7ߌf$ħ8 G0 {$%M;%^Wܑ nL%dP'bQm(~ovxebNϲo=jny1La_*W'ECh&i߸p~A#Gp+IYN!t(p;< ]oϨ”EM 4mc,P\fE* N\-[ 1߁3,K2T+'qbSV:j͓qq'0U9J8Ԟ8|\NR5nyɼ! ΍'Z qdS Q[ ɳɃoq;- </ixuӄ8ȴ3L-\FM5&)[Ȗfo[:C՟82NOKe΃@ \S%M څJ~GWDGqS~߰~6Lh'] NSͤJ5Q`}| pI ܢb5\K !UlY)8^nn&d Wָ҅܀ #s F1sZҫ52;)gqlw۝"Iv)LCokOKm4ha@Q2^v bݍ ;}μ_xn#f8v G2DW@p@οFh^R5ΪOAC)mVmJ 'S6 J\BlmH x1U9*-)d͏-aɤ*YVez@s2[)79[vUF0}kq4!ī< &yGt4H;$wmaYh LLK+;XoslzqzR-ΪކG x!-O8Wh6A{DsfrwcB)yȥ⇤ +n/x:4[='*0e^qna,ܱ#JE6XIeNN^֪i \uP s@?)!Ye#TZ_,H[(;|{HΧxUISFF4Dg8xpXzQ*lWW\JCQ/[8D@է,ęהs`pTAVQu& }cW8u&v e%I[t6QQ 5@"1C.]̚pj@oؔ gZgJX`oNZFyRoyK^ iZܲ:B) >c]_N~RM ID@݂>$2Ip.B;WR]6jM TC=ۚH9OQ'`qp8=A7a7XvB_Z h*컳U}E1R|ݲ2vZ3Tz(U2єE4d<2ޕ ҭ cQղ P]& S̃@ k_s@NSFM2deb18f1070be27cd28924a3e9939516a75ca9670801d317611e826e9cf4db1743005797fad2ead3 98042735e6ccb24a3163b6450a8c77d21c48bd86257460ea-c379-4cac-a087-a92a3a1f5f48