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 5ztB ]/ UHOL-Record_Benchmark:threads=6elapsed=148.113cpu=245.589gc=22.698(/ ]ps +w{^} j-dJD)D!ò%iRۗ'U1Ϲ6M7uȁcJuXnhj=*((/ _DpKƾ]”[ I!} ]jcc9 `ɴ1HR"% ` *~n;"d>(/Pӄ Pm ??bMQ ܴig)~33Rn )'B en *,Ȟ/y &L {bf_N>/JFd8]L2g0Ϧ)4Nj9YEZnȾC'~ΫmLH<'hc2(֝ "e~9Tcg*-Jb;ʻ;O _bز1ͬNUĬ1u_&t)5X-SbQ8 L_AJm~$} Xun .f"`h PSx>@ 8xa4<@ TA"4X(P  <00h`AC?BC$Shh])@A*p0$0Xx0HЀaB"H@0cĊ7Utf1TaI25QE2J ]NfW)3eV)zI.5'!mH^6 |)|/θ: Nnuިyas)+㈉Rjo*v24%i<).ԙ-YkWmF?*,(voSEB['#}jc0+'سoQgwnИ _e0ţY74EȱG_;jjZE|/.)k xhSL>~EaRb|sA1rPPF-{W$O5-Z(RT4BX!B#EI5g>! gzu7()1En#hJ9s9S tә*D }憤)a%Y: ϲͭjFdƘV4~$*q9c2j(gA41 m .:v!#'zϵ; +3T䭳#^QeȓiDyh]J:OXmK/^3Ib1N5J~<#3٣τ,S>cjM4c3X+xy<3%a; j"w}=91J\dNfgek7]ٔ/LJW5 S.ƒ ]ݽ )>%bϪs.hVBU!vFMфy/U▜.纨s (rvSؔ*^zÆ&^[ bfzRTTU[Б&D?!)U/Og~54>Zze\ovdmϪ5Js_Z|EuY?u6kK޺[^TVrYhrZY[bfwCcŲXZYU3iE+iC#,VF32u{qUͪ(5dC7s<dzURMݴ9A2=Jbꄐ|2IMqЌĖ!'L:h1$)d@`@ dK0$`@€0aD! @(b?呷x*u}jK`j"j3&}#XB܅].T &e]9:.ʛ~m[)p.@{]B'n±Cf+qb.C@K{ #{kKR>K')6:3%C&a QΊND6X?Y@j3.%wWa cpIttDMqPA7!,@Jݒt"M(8𪙟)4ZJ߀]XLnaZ/blS*e\{״9Z |4ߚN>OiG<.&⎓8̜ $S 1؜ gqO;ark(oH27Sei~0FNh )vz-3C Т@|+pbeLg{U@hJ j8@?ECP9mrؘ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 =jnt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d̏WGZ/`pUf$|FZXm`뀉ߘLoLmN mTNO*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#!f~_Wկ~_}Sԧ>O}Sԟ?Oӟ?߿g}g}Y%Y%Y%RRJJI))%Rr 9Ar Ydɒ%K,YdɒwyGޑwyGޑwyGޑwiGĦzGD1  H `p000p@ Е8%V1)-<R,q0*">5B6R(lN֞-02Q]QFhet-Suv!zccǓLեv.Jzĥ*w8l;qweS~ e ӎ^i]H 2f 'sh,\ ΊSUel4X.&ێ1Hn@%:2UMKu g[`0:JL㘁b\sj&U?]{ҝv]7)p%] $,uPLAT4-1 U'؁p zHo&Ny:/mݝw} ˲(RSGb@0T ` ES߁Đ-y3qp*W]VY`@ڥr[iT^rhڕ2 7pr`P(5x9W=vQqޚ;>8(Gd7<WQ?pw=(_KgQ~.Z.~h^J+r/zgżb"Qz*egXv[aH@)j8W+>R ^pPE .4ᣇzzK4koܼ$!T7> U?x{rkп%j7([ޣJٽM^EGI{wȽ1OyqsrDhfY- *E( AQ<RA!|9(n"^䵨@EX!pӡJ) &fM3D' e-"*PǠ:k aHЩ5 !+D#x*TI #Ԥ]Id,RLN)="/XD"(=(A*qOC2ECo"MKDKP=uP7P#.ytt@.f4rGl,4F5+T"jJÐK% BNIV2@>fmF/xʰBt0 :BgKQn Wa0`% X>_ z!"ߚ7=@Ld9JlxDpF+hMɝl8yÀ:%є/$HlW989[`j`Čebo.Ua0,](Ǡ7DR)*S{{<r ynza&wQO/DR4V5 @Q]7O;=9g~GR~ B)0{UN#1MKKi 5;|2A$EN*Iƈ"85}r vNȹ܆G)> g~!0Ef[$S{a[<>RyXXn](hG")㌊u=m\<7+,w]ӍdRd5 @j*ӛXgMEx~!W:iw yyL"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 =jnt%B0#@ 0#8A&$0@ |ɆQsۣXp@ !oiyɸN nv ݣG]d̏WGZ/`pUf$|FZXm`뀉ߘLoLmN mTN/ʋ&c ir&<UժjZE%QZ%jZhJ4mi;mVڞM uy8Deޝ}ٓoeiDCDٻ0 1"qgAQay^<9ys>c>c>O??y7MKKKIII+Jү+H?E"}H_D^$1ECwݷo_O?߿d';939392)2)2)O>Or?s?s?r/r/r/=yqqӷٟٟٛٛٛ}ٗ}ٗ=ٓ=ٓ=ٓ}k_~{y{ߞ=iOx+^WhE+VUbHE*RTl[NqS(E)JQ.ȋȋd,EHEFQdEFGyDiDFidYDEdIDD$ID%DY"!r"!R"H!R"'r"'r"'Hw;ttttdvfgvfgvfgf5YͬUVUVUT6Fh(IS ,,YX(00(@@0@DdaL]k76q2s=ۙ:)gzKL~~-xfsigts+13؜9d>fI7o=Yap&͓$YBaO'ՔN|`O gj"Nuws/sm9Y۸aj ȌѝA<]zkgDw(z13;D,1 8Y'pfJNL#-@27KKI~bEO'&"j7-u;.ATc0,ĄSͬ7vVp&uN;3S9yeɉ4(0ٻzw%6.>0u%n,> Jd.>PJ`V|PJP|וиו+A9+Qs9<_W"Cs8Ws8W"PD`D] Ρ|]10u%2(> u%b,>0JdP|pJ\|`וP|ߕߕ(qż|tLGF20w%0->8u%h.>(Jh,>`JP|@J\|ߕаו+QBU]Rܽ0kYTĬ sޤNYz>@;as5횙YLmS̈n~-n2f+swI5(9ƄM|κ|%4vֆ}enLb>f]|cgauBsTk;3:S\|[8m%vr2c4sOtS5Y>5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*tJ % &i̧@ I%%Z$@@y?;%:"2"2"*!fҌ̘Lgnki~x)RRHqW)BRw)D BD)fǙLIE솁b;َ4}GYYI2%>ͣ!A[cI>3w̕guH86G)s 2{g.#,H #X<(:5+5EvreWJ܅hvc=׼meT;2d,KN!JY>+/{x/x5Մz墿|3}=׎nI导֊]ZB]?P)'dXRy,f[Y`igB/x:Fٱ"rLFƒgc&el25a:Z1%̎d5ۧ^Ǧ;ј-ZX6{euc5r63fl;v^laΩ,8 ad.m`^U\;k?lm+,W|WJٮ5]kgѾvpOX۲@.ŝ\]}k~z٭+~m,:-ܕ^l_ag}ՠڟ/[;U;d8a&!71gn킇7Ǜ5lahHɒ;Cͱ; f]30< )|̺5gY+& %+ 9ςp ᰑY>i+3T|:ȩiY3ˣDS}U67;T VcF%/P%}Y <.CM(fx*-rFukbK3A6 X"@8 cL3X86-7kE>8'B cd\F6YHYc04rFr*c-ml^e.CgAiͲ# Cvh 1m:JvYlyV21YFgytL5< =+$Rs&UT%`c#I׆etCwH?lr@aBIN!&٪R ٴVKlfXXj 'o5<շQ 2i1ܬ /R T67]8؃pu!pJl`ܴ< odY :6lm\҃ u EP<OuRk5W ~јŋ@yYo n^P<͠Ed_s 1{䙶*p_@ \yR]'֒m81C[uGĶk(ygi5,?`wB6t|RK MsK7@a~&,K<#<4P8/a3r]˫ƩeG=Q'ʴn;8nCx̓|6[V%wc}qzH4>D׭,[}ĩ<*ͲRu=of7^Bݸ=Jh\Vθ}M#DXuWyu>B=rbpYWW+gE~7#㿘QLydfOoOgxuOky[M껇azmПo)64M.6Y!Iqme/?}C=U< 1S3`h-^DބrQ3'5#ObnL jh[A %٠3Bht$B|Hvƒ*6ŸPѻnփPAZ@(0_3`Pxwc-(mB˜5CT.C%GN+R 3tt6P( @7B4t* k/$NkVtf5T`D)#u'EŌ0Q)C_I9 !:B=D̆ v!>br;v4P-k؇(7 bBzN{R9#MObl(Wƚ| ޳?KF1FnjAqE~h$wr)- 7C-1mQmH['aC.#^1Y1Cc `4dBgq2L,9`L2]py?_ ]EF# y%h6]q@,HSda?V ʇf'J@9v;,e]G+ә BсԱ<3$,Q]7{Gpް'g >ʳ@v嵷5{=1A%wWև} ucRUqN/21$ "Cp],z{UXLVTFVk׵y\hHt0Sa|&;m^-VP%S2hAu\ؤqúvuN3;glmkb1lE@EN!_ۢk "s@*pp6ݺȎZ{1u -ْtG0UEaŸm>R'b~5]36o+gW!K|ӕWnO_eԥx6կj_UUU.5jWثR|*Z]v?j·3oV1P7;h֬u/3KK%LI:+h=g#ۥojJZ$W@3X3g)vgBw氠ov$GӲ6JdlzMb6U]٬Un$fĪXG6{\r1j̵,SfD f<@Jm A1јьdcϖ vbY gNd5wyVZ +󟭮 @Olk"XI͡bybܬ,2sR_nqMU\g~54=v_7Ğ*2:/⩅TcK@N1lz+Kb~~JGMAi»iA1%X14~ a{xt ,$tO\-2"2ľgC* 0S_٬gXSظ>CC k\:j!a%Y ~ lR@(@n(&} .%Hp;Xb2; B w%/WY10dV>WD@L;*? 0:[ l Eg}(=Źsebnj.THRx X(q%7$z;*\p_Y! !bY[n`s#V`gVƸMՙ{#H2OQGW@& c1j|V[~}!YJj y觚iu+iBlD?{\9/-rޤ4MQy+Iq]!؏uQ, c+a2P -2COʷΌ5E#4ԾcCFt\Է]4 C_9ޅ[p=i5%W7YN + JdGW+K!>Qt.8vdHB,K~/w#"To>=-Z|^,$vyOr-2" 0ľT 0S_\(Ϸ`aPWCB.ƽNJ*nوp4_^vivT6rxg}3v#$]ke@m%AX"}qzi I3ﳍZY"¾C*0S.[֘v 5Wg®lkaTP¡rJ@C{as"?8ͨiQ[L"!G ׌uj%8bo݅omֻY 0`5c,ufj߱b)*-SS0! e^ku+tC,D? \Sq9oƕ]P&)\z.E"E|ۇ(7ES. MBB\>"!\E3g./\ᆃ-& p_Lå9.uߥ:Y(vów! 0r64T(z6eU޳´Nkbuh9$E`]u&&D2͒G`5Dw!Qd 7\ha(Xm}b6] L9!\u/m,( C[g]ģg#" PZA =-A+f&vRY-l&<5 /zh;Ƙ|Ep 8Hh+bjP/q }u"XSp<1:1B*؂+&ޮ[Zc[ L,p$L&CHpH?:d[܆'Pov!8?m†;Y(M4K"U&qtEun/4ZC 6䥓siqo^ hO[rsiYl+gI]S4^QYm ϛ4:t0~f W'칓$9>ܱiZH"Kj~!oX%P2~Z51\:1>ƞ~tnkT;1~n@R<t6^I6p5ide:~~̯ Z'eZs 7pcMbL)霡5"+O AoԟEu.-ZC-H냀)WZ"fE ,ۇw{7w68ZD Ҥ1.KY5`$2/'a+@}:'5fZ VYA}`+5U炒rI i1 @+sm;ڋHn Yg>3kӹ̘; B{ORܤq-n$Yi~)`r#/8HSUS F#}s5OzEV9Ão4 :.?1O熯Oa@Oϥhg3kҹݶ@^St.g}) M[!,,E~Ht4}4 thm:tc;dԹ`S5= H&'z)N Y9W@R8ۃ eEŹ^ Y4i\{K H4Kt ԣn7{!vhUS`;h65xYN:!=EMԹP0ZCEJrڡ q6Pᷕ_zWsjjDuz[u:qZ't/NF`; δV*JJ?m!:1VJ4f&S«J]S{y}KZX_ l? ?Z +j?@i2+}Lz7{s;"\`gjYʬӉ)!vDWJ)fM8{A脣J8s%n!Ry)뙾Yf8&^e5\x7f+~\x(qڝo/,|sUpy'̯r_NJ'꯯kIи;d/5t>di-$M%bX?dx\pK*@XeoMpI;uM*B UAUAUAUAU1U1U1ZL-R TDHE\WqE\WDTDTDTDTDTDP"BEEt]D#.".QE"j-b"-AE"hY,b1EBBBBB/ B6XkcmXֆamYdJd DHUQըj6ڈ6h#ڈm фH(NM0 c 4 H%6@H*B~0?>C^h3#Gkj#fF (p X 4,x@A `(PWկ믿ԧ>O}OO_җG?я~C?C?C?/'|'_|'>?/03g<` p0 Áp`h5ZV`5X V`1U*FQX1VcUXUP|>|>ivZiVZio''''I$IUjUZ*nܸqjmۈF4ȌȌ3,"""""""`#QQQ"FL biVZiVI$IjUZժV7njj6hDDDDDDD hWm$̈ fWm$̈ dWm$̈ m[m[m#kGr$I$DrHUU*aJX5fܸ-܂[D%*HDDjfjf63!yɪFZj E4#2   ~~~~~~|><$g4@"@ !@ p&,`'?֫tdX7Ci+Dp1!tPCg4 d\b\E#Hp n,+&xj3c>9[+8uQ =LP/>H1o`{yzu1j֒zUw@jl[L/Oө2h er\a:9MhБ~Ki2R6.d\K#:'6TVn0Ј4"[ $`**;2ޜ~<E~i!n4jGUw bU+-TB:=w(Fx-:h"|ry\!vWV+k_CU.z-))Gb djєL %wB%Zr 2puӳ;|\q r=nhջOof jVQs 5V5kY5YBM묒u*QgԬ&ϊj֢fEkSm5-g\!ܗ}9T/TLs#2j'_:i36Sf0;4329   `m&f6:d)wbyR%hOEP-4 nQhQD+S"]P,+L.Kr1w 󐠌q4p$ɆlJ2C >! RbL$Ɣ-%by>Q͂7؉\ vSR-#2Е"\l9-dxȓ [Fe-X2+#2\O.ˊ%6CvwI3\zXE%f|r7-o=WDݹr=I0|kt>n[<}~S`-DǢYq~3Lߌi:~w;8ª{8Z9pYwtu9AdEdOt\֢S]ةl\kӝ.c+ 9Og6-3^sb-l gCy=GO2Q ^ᷕdZih r6ݲ"g a o߮+F1FBV3#BQVBSTSh__4B~IziBHB !M)$!VB!9BR"RCH !5B EvBD(DC)B)~/]Ksi.]KrI.%KK۶[%J(I}%bG'? 3DDDDDDDDDD۷o߾=c=!t;#Q:g'%m6r;[g"mhAP }h.qpnܸq3fD܂+re"Mqĉ ommmhb-X,+Y$I[lf4:tB7C-tnF鈈m{mIni$ѧ۷oiK:-߾}mҥ>Kg>|3rZDDDDDDĶm۶mG\ϧԦ罪݂tQ9V햜a6ObuOPUwpHt`gX4LWH6Q7ggi]b}U{έћ L<X۔Td018Tŏ!Z t$n*S)J#7ߩ|w_f J}n8PZI#(2}m&%b>h&qF{~0EAy^b cFhV{ Jg!nΣ(|ꞣB7 POiM^U;%qMKߪwェV}$NBGc (2mĬL 25쨻M +=f\, kd:ggEnn`ՔgGY [mOe.&)iWJ >=TB-Sأ8|F~ )OD~R2IWVP×}:a!2"c <*(f`-dF{>ĵ69hglHɇ+RDQd61=͊bS1EHݬn3}5-#&P2(ϧȼDd1ɭ AFTyľg&D z GksVHQ7t{F>ll+wH%"87 tƷ:ǽ.""{J $@ y8`#JA0!G{2= R}YF\y3H;F>jj@HBM= UfNuw' La= oZΘȼMF.{(/gyL:UtC*|,L9ʦA$&2 ;vQz\|؎3!v r4xZ]Rb4%r S?'].}ׁهTQN69IMHXhi݉؇<\`{qބR _!7K/ƫhi`ʪ?Bid5Z%H|;#jOW{);Sɔ FZySYi=pS=[{EЧTAvv&ul1:tU 6ܸt0qvM.vӫ\F< ; 2MrZ$x03;y?jƸM: ;u#L+@ LTħ &vi[ab^žbSvDfyKo$!op E|@F h IT#5Jb>JE e͞O9^nqt|} Rĺ.?Z21JƐajWU#˧"ͳ^W(% y;jy#hzB.3B!jL#2AIkbЯ 㔥`5uGUA;@oTb[T#tS;ZDБl (*0w1>Ƽ֨ :c2͘@*)OƤn[RSQʄ?8:g\y4y$6y"٠E@)uw^CwMUb] jnUqd=D XJ4aU)ᙺEIΏh "f$Q^ %i1P`KơR:Yh"{pzr~j zF„ĵ8ٞ/|9 9xZimKT;E~ýWR/n?B933Rdjp:MjDqWaBx#j Iƫp]A.E_PQ!) b{9h0lb#I sR'ڎ\Zz 3$PyD.GqʍT* fLU9E2heՖCO)EВ)R|<H?dm ~f3ŵF7͂9&C06 I~8v_mW6^pc"qq -p3taPIMP=#̎ɋ?a ƭGR9v޼"`lvF%e'BiȨIO!AZ`,|"xP\2oû1wHCN[ Ht<8iоmiZk՝JCT'k9$J绩k BJR1SYL9TI3:J"it`PYVr pby<,<2Jm+Lgjb2JFXʄD47a,$އrL<^V2pC4Cps(+_rwś84u|}'Ϯ+cI+3 m0h?ͩM""h.(݂k_ydAVsF:n犢\|&ihPjs(F hH4WjqYdyhSu8Yř3%L|ª/OăBQV?ݐ/I:(IV/+u]\.*BmgH#XŢZҀ6IR L &i{8kD*@s݄bz'4a\(bA Ӟ&Q:귃S ?#t|$d췑X>À_Ξr۸5"+ "eMw2IU}@$q:{FF/E 0k(Q)S+jmKm6(IZ)bPĪ~}_D 3IٞA{m4WRMF.tp呀8S'n"_LƛԠ^o"e*ZjCe"$J+]~#IW0֡ۤlWJDΨ6;Zf#DVF% ޔP%IpOk"&i- C0x%]F_9@)^GP_մ&ikG,#' %?Hѕ$yv8hmO@&酯a )RGBk3]"JA): c }=2IZ={Ln(Uֵ;u+2IB52IkΙTmGS s=O-&Ƨot8umnmq=#A+SL8_d$1gʊP~3i7&ij-8͛iӮc+uS`"mjrJZF^M(F6@k1 g#ٌ{y9P t׳Tsؔ3l!OaB,l 6^7D' |5~MigTk5 Sr;9kX5m:ƥ]Cfk:sM\]׈k,D͠3!hD@:D]fRVCq0tү\_D5XHşW&zOf5K$4yFbEdp{3GIRSS. :j kޟ8D2j1 j85bD?͵O'13<4:M)(aӴ4m\aNgPMcN fdYAdp7X*eƖE"b"jUy5܆m(ҤweD]s]^.RWjh)TM W+ׂ56y'ۀlo` H2IKOi'KYn9Ib`hFyLG*~hրI: *ccQh87_D$Q2jw??RnJdnز,8&i2J<Ѷ[ _a %thj-Rm۶m$I$Iϴ!7)Dϴ!7! @P00333333m;m !Im{?MF$I$~&Bro]ufffSBChh1mu]G[CǙ%KԗQ A6?DHdJ!BѪUV""""""""""C9%K,`#n[lm۶m$I$I„0!LBCh a-E*7333333333ӶmJ۶m+"""""!!H$I$IFDDDD#"""-b-"""O$I$IFDDDDDDDHm۶m۶m&IRKۤœi+22g8~p1313f6ͨUV=9z׿^kmhF33!Hm*UR،ZLqI$I$ 2 #bX"E(B޶m$I$iFiC` !0!BL[[3333333333m۶m;N;"HE*R3 CABb@ @$RL0$APrD}#I7i_/ ~Z] ѧI=4>Ÿ1).}4*ϪkO N&+1WW/%m<DK<"iMpt`=IG{צaz X.捲'%VmyL*,ϗ%%+QX<ݡ$7hI3>Hoi,ĜlǼYb_TjJwJh`UN-Scvx*03]_f)FTw,3h>P᠆KOMtby:R#OB{].,=xσӞ*9d2J$\ٸ/K.w^i}W+sU(?]]xrUA\FP˷P;Hn+:XmhdIOʔdRfgSu&^VL ih ZorA|flOV-2H"Ub2kvMo?gNR(p}J$RHQ ZS>`BiOUh|~Rҗk?h2f2PPgDkSLq?L4WTUvC`@-?p)1`#ĂM7τ=Icn z,N ; <3(^G/-P5, KtcV"#" 0jFcXG# ,{_Tmk qȔOqJuz#{0&!YeT@DT |u2Qy$:eBuxy`DIkjcm95]^g5$iCӘpVMTLK%4%X̚! :$ee+%QBHJ-D+IaWz drX0NibI$q-1]b7LS?$Aٺ쒀Ic/e5\&M@&7eHfRmNTOGqTh$9TQ!MKTHqҐ6@OLtc^Q!MTHCBS4Jx:Ӟ$=THo<+Aދ|-{+|oz$WUHSRKi8&6E h*;0Vjo4&Tl)iI4T25Qo֦7=7 j]O2N5m*$؊iI~vdj]yO8Tߚkyl>S7 cwg,%宣RлJq>YL.e/zHT jyeNO%uJFqWvS"-0?Li>τK7 -I T ZA 0*ΌK嘠Kp0* oKTyd*YR(bc/ZEVmRj}r;rR$ǻGN2ni7ܔIHJ(ҧɓXoU}NBMRO,^Y wvJ}anb+iR)S)pKFSBM'lR_Y^ 5nZ=e+lzb)(RSMI?<$RZRPk Tv%ӵ4S+SWB UY> >k*dVX UbgUCĄ[--JJO+ W1$ ,FSeӄYZU9)gѭvL;W%iċ9#096Kxo9e91.yZasQ%J^b"&Td'T;۫_R h#'Nba/1I[D  >3Q! v4GLMyu0Q'8EJtQR `*퐊_&OnDȐѪ D&nRda/ YOGJTfY2nd1 lI0;>jX~a%-@_'nDpۖJrV$M]OJ-7 ^ΒAND75LC c4%rf|/*rƩoW'QM 阕(cB`vMJtUSnTrWMM۪ lՔsW^|i3Ʃh2gLJ3܏RDJ.H^ ֤K"mS~8H*RJso}$TviJYв0"E3n&~sGfn ;Fv8xˏB Y4tJ t* E3jC¨#IҢ!-|[6hJ/PrdVei?89*aיlwQe3.T>* T!HqrP!6]Eg9b6# 1ڵ|4 }7*92N)5}//iMAŷ+e6G A((1g? Clq6ÒP f]w*죤߫\@+F(Uw &,63 ʡu*g|'g؝]+3ř lj#YL:G{LUMی'P y?g,41rLکKT|8Rq\pML^34c B@5uy<022 9^9DX2&RaO'6E_V1sd07ɮ@j1dp: ,` cKq[F$(juʐj*B*k=CIL*p K*@ض|;VMP?[-eʄRvHE*RHDHDDDDDDDD0$I9rȑoooڴiӦmGiJ*U$ͨiD"r>400`0P`0` 0  $8PMߏgyfffffffvi۶m۶""""""!"!KҒ$---IKKKҒ$------IKK$$$IH4H#4H#4RJ*UTRJ*UTRJ*UTRJ"yhF3L۶m۶ӎȈHE*RTDDDD"$B"""""""" Iȑ#G|{{ӦM6m???H#UTR%Hr8 Cq8C<gXFM?3ьf4m۶m[֭֭֭mm֭[n[mmۺuu֭۶?>yyyyyyyyyyyyyyyyyyyyyyF($ Bڶm+RdmHDHDDDDDDIH"I,(p( $04X`0,h0 4,PhЈF4$YdɒdI,Y,I$K$ɒ$ɒ%K%KdI$I$I$I$I$I$ɒ%Idr%I,YdIdIdI$I$I$I$I$I$m۶۶mݺm[mۺm:u֭[nݺuۺum֭[[nݶnݺuۺuۺumk t8@!` f, $ L@0*@="0:tye?~:'%}¡N47)[I^usRy(*G ([DX8Ӥd]e GտͱMǞ/Zl*!NӇ95AjMsiNVSk][/7?)| MLDHof7&릠%o2>cCs 6NKξ%PD9rN%n J73;bt:O {ƞjO' 1D ;&}yb4x"=2i>}s3v# pC(r82 D2ѥF+A8zQ'E3|v&ERL3/Bf S$OV3f*=D3CJ3^ j !M6Ӭt8㋓3;!B*~$wnόzr_MPIj`ƙ{:Ds`+.8ɩݬt|[gJE]Mr'BDK[Ep6=WHm=Մe^#'.-b"A٘I,S';b.M,ǎ<Ou"=v?S&h}M$ђ~+*;&B ;#"i?:IrIǎr'I.n%̱V l _ Y(A*'*AxCL:PŪ$U>6?X~dxt10 ?Ue $6JV7!$Jx璞1 D[+UV5/jTG&1DL6;% "HqNiGIl[s^#NN֥;Y{Oظ[&1>}K2W.Љ~%-$OP'/MI@b^lLr$BN3ITRZI>7{2iRrI99"eQm.":WV&7)TC%[UiY/4x)UPyV{KmNb45,E:JrtK[$9'w17tۦ(*,7,]xD;R4Hs4Kh؟ .S3V=<ɿ$bFt0H%Irdi]bT@Ez%Ycn1H-SZ#@z>qs [i?7ׁ-BI 'q̢N(ް  *qHE )Ndt9"c BWZx8WqJT\Ibg@-V'̄BgToIꔆ.Z`7W#ib6+W! #hf>(ꈉXRI.@@QGȳ R?BxPU?B*#D>ĥESG`\e*#$Ű#(a)x)SY9{;B(b uxf 4y̨ g"$i>RE֋^}_cqzkhNf5_μfrtI\2&27JEȑ.q/B/x$Il\vHWYE;7PR4D :Mաm$jfͫ6~뒆IUYKY["Lrm05IؿI<.>4)j&•@4{IEY"D)֋@G.B =Tw?`eZ쿐!XՃ7M.ONxPߧK:ϒX;u&HQr8Ni`w8m| )(G;N> }{SWb o!'GH2*=y8ڔk$LrXMI2ޗ},Ó#DN|O8:Ii}XI\^ /?^6QJ$/n/ }\/k_+_N'ʫG_!yW9A(ULl-ޚJ  s4ޟmO:G18UVn6n}Z dڝcݓVWx NJVAצR6K30{"G07%%] QqV{J3{lNSbvy#o{2Pc2Zt>z {S-quh\ɰb2K|SCN0-%=[$69V{Ŭ + +ף"rTНY sP̫Vme+Ga<*sV_UU{e{"8ԪԶ>j~hU+5W _jSXRUOM)!!XޚXӟ'ij|K-)FӤN.:73K*c3xf+]1JWil*䫜SU~)S0*rVOI^)ߞC/!Fu)IW r))V4fxGSaWk\N$1 g3-[xjZ&']yOQlJP\:Mf|pFaKl<ZQ4P>1?5'g.Ah#߳TkV)Z+凧eaܳ^'\u)_xUT]SU}S-N+奺PWZG'jM8SZ_r*>z>QVr՝|ZOw^*/ſVo)QogZ? O!,yDTy| 1AqMaZ+ʳR;JhBL+$;ΐIk *\r Yᘤm&ܡ@ؗjDF9l%" }Od[OI`^x1e21:IBA*]JNQ$ER(&T$a!#H$QNDtQK$H%2RԿN>GE=ʁO*Ш`QK$H%"RTI$U "Tԉ)DT|* &EOH%K{B :i'4TO6HZk wթV:CHLχ*y@c ^)*F8ҳZ;ђwwyh`&o;BZ!fDmMF$l۶m۶mH"IH$IaF# BC!B!B!B3~\PB< !l۶m۶m۶m !p"[cw$X @X@۷۶mۖ$I$ŝo/%7iFd~;%3"ۤ%m_dmh-KA;Fl3"mhIxx gD#ZR$ΌO;% ߶m3m۶=#DIfGLg:әp3۶m۶=4b-9IDQmՊ)RZRӁf݈ԶH:$@ҁI$Iv#ZnALLGDD#"""2"m۶ضm!1m۶m۾mۓ'I$I$m۶mΈoG%7͈v#Zݢ.IIܾo߶߷0$ޠH IAa$ɴ $8HH+&v5COںEpTPqѠFh% n+¡YO,>fYY#%@>X&hZQW}MYuۜ;6,R{65o!Ϩby- hw([5Ť PSmB\ΐS6PBcX֘/ڤ#>(|%kR$oY.4Nir"Z#;]l^Cf`%g Ro(+ S$7oGV dr=p㮝;(l܉%.e2l\BVR7i)CQ|+h֯ULSdOTQP9V"b#_R$: f},Prp]}U .&*qԽjaT5a PSq)׻N{W5,dMepCl/imm4Je0rzjRg%*B>h窭gĖ+5al2^5A~MlHLLpfzSэ:DTb[ I]mV]X04rR=#Vû'WT/@%(.\rrVJ HX)@(g%@J2 j(HRAs  <3 4#r09du- deNl º)PE$l*Ӱ.wɂX kxg`m ;Y /W4;[?9 q pòr$r\č(꜁?cJ$|)?G3裟?EV^*<qDлui?9Cj ?8clM؊fNR5HЩie?B<;PWM?w&]hV-2q@w-;tc?(NZpj3?"o;ʂ4fS_ J,lstMB&ӗ )%lR,!ІF#YqbfUSc?cO??jԆ-^Hl_( @gSB0)w] ]KZ^/蚞+XHUdsmzm?]Xa4;ʬ-y tiI `Ů,Xd\xb'&0%c|a,, ؜Raȧ0ci2ud_>QOp9 +5kwI94ְ6*&x Ӷʻ'j3Z "F(| s le?a(-6~Uv.~HC^?!=ig맲~@s0Y?ɼ ~:ORaUZOe A)&p@?Dv 4{ 7d~j+K!AB?*cG(T倁??5 z~FRRh9F2]6?&A8dpOZT.?6W~nm (sT~4d SJ sȂ#<pC;~ğuwPnY1~JV^?`O!`]t'~4 ~d$7?hgjX@amJLL^D^j06WkrCX; ׽pQ>9qc<0>2ejx+ A!a!R VȻ >Sqjh>52h !}NR\r597uUxX ue3QpO!J\@ZTt^,E~!g6r π m:1I R2*q(j`i.+ܘL(xKelJuߴ:CC0}`WtTiƇqYRPEqFR2uD%RҮv Yм0%"%RI޶4-|E4}"2u}H }Hy'tB6xt[˙>G5druruEmCQϘp2S/=SWs"eqZ yb*^f`oTzVX5l5R i^})b’kl&df>X'VÂG) ${3Ȧu+G'^I :ޓOx S8hQx* g h03>u 7a LY;ެ`+ $k֧o/ʽŢwrnFH PPQzJIS4%+<>$?H8+%ƽ">$B;ՇKGaf0Ĭny,MdQ4 TEQo! `B)(jRTC0CV'y89PWDognPr/fHx2jծjHGQw ]c\ˌ%X$|h2Y=MTQ ;p Z&]aa%nGPR+E6L, ~m=&5 _s@k4SA{6`X=BGlwJvd9)QE&KʬTiT5W%h?m\î6|ߺf_x!Ʉ3(̔%PoUsy;`S* ]6Z-~fhiEEE|D҃,-m%-4r?GRFi|e@aI*z`>9_B}Awk]OJ %FJL,3غ %PK^Q4c #CpB^#2ו7(J:TX~XKjn3q{* @ʍe0X{|P$b_iث\:axH c9} 2NԐGuaƨW?̸No;|^Lj,Gy%q`tHw ,'uR*9!WPwqUz〗JyQc8 NO<v.sb/6$( 8H8R@n@#EqUnC7@|͕C([뢕j{%0 [iwD78۠m*6ZI.]ۤ&=x_ N2R\sLeBE2#t^iWdB ukdu]h?IJ+#$/'+2G yXgta^*}J"vcRLπ詃U"Mzχ>5|o8Y}=$pՄ"ie!&3 (b OQ}_=_w ȻUs~X&pr•2\I~~T]:U˥!*PhP5p 5AXA͠3AQ FHuLV0@= }J%V`y>j ,P/0arAT.Y]WRԟP̼_5WP}304e@ʝLN1z0CE|#p]͆H+VX̪NOmMvClBo NάkB7|#Lt)LJj<R +txT6lS "Irٙ!i'(#{" 9H7^IY[S%TbWB:h$)GL $W ,B,o*oEOΗx1LEO JrTLb}69U!{髁rԢ*Ialhrr/C 4*KAԈXޙubXjҗ)>H U&u3K1sjI>ÖW]K"zvǭbK@WW2ZGZWϨ}]W Y. *d;JB} 4[ &:ԣ/fV@SV !νV8lMX@y T+8J \7J6ę#eFȆ WҍuXZplHd"Ƴ~al?Gb_CCZk2 BRKV{8&쟔\/`/ag qMSɴf$XF4IFx ! 7TUx3A|HԐNSciZd_COM` OzdSbڴ XzDCq/x}O.-"? L6BOI A=Gi1x* ѝe7B2als%4gB TrΐКig`֍UhdA1mʛ@/V`F\]&tX(lj5IE„I/}6ưp{d.Ddah`v iwnX H.Epsa0UO6T:o uws;Ɓnic$w!:fͬȡcJqNj8o:IO A :";>?c$9-BNG[&IS~v,D[a;,K{9\ci"9R z3$ .б\ ORI2v5 Ӥ[5PMHEL;+!iF;ǵ qr˵qh6!")0V{>ܸ^%'[iJ%mW Hd=]E<?3B!"!"!""$$$Rȷm۶m1"!H|||mlF#*"LO|m gfIUD~ܶ,bֶmϴU#gfDm͈|P3#r@ik׾"h̯3y۪kOO?>@J ZA#h!VUB!CQ!L! QGfD>"6TZmff8 l[E4rom͈<#V1.HJQDQ,}PH  ` !!(&0C`D42gxt7(Ru~hO`{irǿ_5SNJSB4#7e7J~k FR;BPdh3]D:NU݌ou$ |˶{¾C0:PWbo:]xj ̮ <N{݀ .0\֮qGW5VI'$sfK_i)Rkבr[qV<^7[,Nԧ?r Y;S@B&X]5QSBKRLk }>-۩ʼn+@rAxߟ\-T#b}^_exmeګ5X#Z4x^`d΀ڬqܻ!+ Ea}MPxvER9| }PUv#yIkzQ] (f={Jz%lSngS*T"MHO% OOHZ1Z/WuV42e>w&lRk& DZztzwYEܔTıbu5KЕ5G*S ͕[oV$QjXۙ%:W?+qCe V - z"S/&ER}e^q_5{9 (4:T]:59I@8G6ٞ)؆dV<k SBRJ,"j̯?CͥeCfHeNY;N7Fch$HiV'(s6,PaAs"v2sl@D57>K0bq4W Z42>nA4:_Mz󝰱675uL_^foge.弾cQި^щV=J'Cp- /D./̭9+=A~]hdO"Iܵc5]H9,ҿ琢Vj ]aOa pm~!Oʧ_\q[}!-枡gq6[_ˋ&4^ I r ]%;  z?Nu |#bye>ʃl%qg~KO wجavgE3DyeE6 FwI^>w^Y6e<4ն[,~z?BkїJuϥʼrIc*AUuZsѪﶁzm+ffˍq3<Zˋyܰ[&՛?y8F`cŷ΄4^:U8Fyڑ_AT 08 jFP @0`X@+,4 #H ,p@     48C(h@@b "$ Ō3RLgؗ_D?/ŏϐ)CڤLrR GJ!R"H!R3"Hq&"00xp  <!C2Pb̷N44cMOӟg3O?s>s2}L_/ӿw_o__Nv$M$M$MLLL>O>Y$'9I,Ȃ bd [,F$@CG 51P```a!!a ` 0M,vnc4|4ZL}֘hq ]Wge7q7)RߦP4&z0#pg*ZPc3G䢛n--ST=R"DR^s[TchÇcvr"Ƥya #&ɋv0?oo2>o$ͣ7;$f!~YA,g2/.Sc#V(`fVla(UI0͊Eb,3),jF`TYhLЊ̲]fО?\Jdz 0Migɱ-19Lm=D,%e:*S"cX^SՎ]3vtEzm6uUZ/Vȋr▶(\(Ũ. %*-ni_^߮MZE Z_a@QJURp\y=] E-(c 0"p/#@4 [ʆfH`IDiIyɕO`ElUGY2")VV[-">Gj5WWtWfΫU}O%j?wJGv竅W}Mҿ7Y*)U+ USا?%ʄJSO闿@Z)*({6c\3NU՟5ô3Yj-)9ٖ6gYL=Ma졅ql>\> / 8V4k=<,6arjgc>hD"a0m< , C9Y˧9vUfx)d RQ$3in\7V #b}V 7NPo.@S}K)9BncT.śAEr? T !VA$XЬ-*.ߢLsKsאzև;f= Le6M("l9:blJ6ine4y:QTL[PC`&w?;8SL,{)u-1EѪj9^!+q(-N5_u}e\8|m`Z\|zuc  C2p]$`]V-MJ5Ծ .^6l62Nny%W*4‡dLܰ6SfnIMKIn%@(@Nc6ӿUP+N1_6$#q:5Ri-pjx6YfO,4; ֋?JQ 7h202ABf j}`ЅC~Lh)YwARRh7W k_^S\gݷQ A$W e&hкBxŸI So8 nL'aMATH&ANbl|i%y k6OasR8&#sH~ cNBgL| 04 LPc&+nX+)) LS> -E2bCn%x̺'jKSJ3K(泣 ɳ8 yka3~憱LOFJ׼kF:0ZM@!q< \Lf DNBfLmI!B;И QHQch+_W jܼz{e?(C7N%pBky~C܈; G;A*1 }E7$`w<p+}[TJTPSuL$esq)'fZȷ@c.aQaqt9X"EE)=A[qޖ%cW$xU[6_\;L3A ݓߟ%d̠ 0rG}nۺRK5 e1e7ARF^*}~Z!R23T)(߂sdB{ipǾhTB3-FA[ I/˻<ͪpSM؛iJ |rwkp >k l!7Pf5P۞윰4<`Ws ֭Əpfii*EA^0&̸!|JXYwr;l4;tv$`mӣ PξS6'oS 8Мځ#e:u׷:;VN 7s3saeF泶n50j|ד?o$Fr7it,[J 1fd~7ʥG8Yܺ{&v rȒta.~TBq!tv}; Ͻy?3D  Sf>(Цk- {>8C7י?zPU(F@˛4h2,^W6E3j#9MA5 -^ք UN_ҙ̜1`c7x42}(}kC?sG Sf:xf/pݡsO<^4v ň(cYMC^LߣYc&SMQ =k (گ7`&8ہW:a&8ퟠݰ#Ό}4kiׇ#@\6gV@yni2u.= }7MD;Kb X3xKz xj$9DېT`/گ;`T- : ͎8=HΠN}_gfHAmkq}\/ln6*k fMp2=.qjN^c(b$QtҐ&o ~S@zEoap4%Zs31q_}mDշP7%}~!~iъMk2yk0u!ͫUpjӂ_{umYI8̓4y26f+M揣&ȘyAFS i0QlvBl>(S4OYX _;mvDj/SwҼ ,scSw<%hk.6 \: tfG'̈CY&ӝu݄<$ۗo PD˃U;ZBҹjY3ZY *՝'PT_ Ewz>_.ZrgT{v~ѬնAI;뉞N=<}> YFkMQ/ r@~ahZS| pWlSbk>Coʔ;MvDkvkv6ݦt+[VnFnnnKD+J?O??c{ݱ;mvigڙvi̔ϔ)3Cf 23TnΔBR)Bt 3!%B O"<ɓ<ɓ<ɓ;;$!9>y#ovovovofofoVoVoVo6xox+ފx+ވ7x#ވ7mmmކmxކ7Fݨm DR 48 @ $āC"0DM4DK,K,qCb! HHH$H"fI#rD"A NI:I'$ɟɟIIIɞɞɞsrN99'r,'Ir$'Ir 8UѠ"*kUAMYUUAU-Ź)5e "*BYvBw3amQըUEȨQFUUUQF"\rH$I$I$I hQX "Cā "B   BBUp0`X$ NaLGRDH!  'i$@ B H>Aa@ DCA0@  @ AB?YG0M+ʼ9\qbO}~ @Wa B OQ90x\0y*Vx<;m_ޑ8Rb hЪUy H g; Jf|8I,XebqwʆeYX BL Ɂ҆*,b(;x_b@RTͦ\b{K!?I{{ ׅ{dž }ҏiR$Y}%l}`ǀe(X;`I0?FQTR6fUDpS)R.'2*BZc"ly$HؑZ\ogܓ_:04NÑf+Ei K|'b8P'FSY 0׉ũ=9ي M}P~l6qΙ$Ny_B@. FaZSds˝Z4`Aei>uo?HpP E#pWh6=ނ'46u'vVMB!ጯ@\.@`؉UO oE:%rSθ͆oӄyA:gi m iyO]1,Y;7:aB`zT7WN)9]R>M\DQ CP;bdk<ϖ3sIT {Bx}J_.VOHW'xt}FtZ]/֮OWe\]L7r4(LU?n3? 4~j7Z+Hmm< NNHD $dvrI;F΀\BO?|\HS#4u%BOJo&aIMI}rSj? )NBnJ^MӐ݄}:-}' 'QrVB?)V%'տrVB?)V%'տr%\'3WMF),au*wɝ2R/q=93[IR:Eui˯H:gEgbL8  KĹq3ÊpdF8D!Nf&_uE93])gf.,9y]t)i1uT{M,hۋ)םw87J| nNPud9Ohk@SP8G uDBm۶m۶m۶m۶m۶m۶m۶mk^RF\c2>ؽd5v&#|{1s2e5v))v'翳؂<8hD%yvC'H3jDZcy(_locۋd.ڒ1s񝱶dEYפ3pAz(e!=sy"& vޛC/{ M i9_6&"42pvN Z; Q!Q"ɅvHlX2Lj(RGũIF ];IkT;Qcﴖ/\I7B 0 0 0 0 0 0 0 <x̛̊{EǷߊW|E'tN>_{lm۶m۶m۶m۶m NX cl׽.mCWuqe}<0M&+@:.ER&!./>4mHT@P/jJՉ1e3E8J0E7,L3T0HTܲtl(b.EȞc3G3w:-:es)EfôoH҈j%DLP/JԑEz s!6"8&%#{Nc^+fi@ɬ0V'@虤[y?KJ.*#C&9hD$3@@H jJP a`0P 0 B  @ PyK)џҷRX-f1)iݱmm5\ڇP&]˖ 0ZhB//zC;M AUh`w@4#-#lPAp#w۸Č& $R×` 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_id236 5W/ hHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y$09l?m@.2¼&--mB-g JKNRif&fbefΥYZVfVfe!""mr&CD1DLļ;;3;QQٔٔY]ղoYVUVaVU}fV2FUUTU$EUDDDD4DD3DDt4IW" 9C3̠щhdF6363r/4R3=,:?̆ (4p@I3 ; DX@`=vP4H   D`z(X@46`@ <0` XA"8 `?8($`BBABѰ0$$ аC 8pX@x@,96O>L+heb["Cd !2Dƌ"2@48PP$2424 av:W_5SKM?MӏO_O/OԧeMdiY/ee^^YUfe&53N/nQ*EDDݙmu;;!-d_B"d!2324*V]U(&Dt6YI$IQgplZ53533~ъ ~-^ڙYV[T:se-la [׺ֵukYVjZUjZVUjuJR)uJNt:N{m۶mVJlSҔ(%E))JIQJRғ<̓ʔQ'iR&iR&iR&XR%XR%XR$HR$HR$uGRw#u7Rw#u7Rw#uRwK-eRf2Y*eV)JHUTHUTUVɨQuVIV 2$"$A$H :":H ڌٌ32fdȘ^e?{U[֎MD"`O?O?K_җB/B/B/9?>s>qq~<ۼ͏?kk~<oM\Bg}\B߲8{i$jV/oNgc,׽,ZB=ۆBa<{YͶb1ll9=gSo?s5f݂ކgֱ6יL]sٓț =*{l㽞Ec1Yuy0p,92,7mc1Till{fv cg2կϹ=!\g䦪j}L`:_iaǂZ5YŖ¾e3yql9=:SMʎ2vήg0yxls=:LsVn[gX1l뽬z ^;"m]Cp1vl4=e-]Wpg ufX4}<;ng-vfY,ʼ, V~(B( {KbtދO2?BZ_ooKfIEoڱDgm"ςZϭ$r(C,Ԛ hwՎ2ԽGI I%Xp,b*TOBɊ6R4p 1 [%ʕÕ(Y*y]}frIͿb{K88jS*OFYFue<?1r0Cp-q;pGLhl[I{mb =`=q5&!(>8w$`?wؓ KIpj!Hh ,;VYH8lfƞ41<OfEQsd;jn;#C>-g>gn5s%EqG&i pa]tܸuH0\W@[}3=wZ3׋p# L,AdD QE`gغnEeOWRbV ZI["Iבd/M܃pJE$%n s,(yDzN 3 ,D1 Cڑw$Yh&=#mn5ZoepOa<#kŒQ{CsO'`ovxH`mYHB 0*/|`$8HL@J0?%B[\ bֳ by my8Q8 y3rE+~[g=R3m3WWA#̛FY^򐖍hT/-Dt*o#a.R l`0g^' n+"$e/eZs/QncY0m\6c5a_9V҃R?"δXlB%.OŮ s%=7!IbEA٦afTW<_8 YƱ=N,kɒͦDǎH&2Q4OU C0'apV XPK Cu_,gc0 }ɬ#l#cd{p5\0K?e鋇,nLsooX9(2 d\UϒO14C|% C"a}-+K<)wZT @3ϒ@ǽ ^C)cM:8E+JSI <;CGo'KEiϠ63 pr6x87WouE5;SφֵbN@1Z^[{8fnu%d;Fz1mMO7rYޞT4pIA*խ_Ἵ]t_!*sLfd@HW%( 0]}E@YD4_"} }Z1dq^:q𐂺aFP IжKT5NO=bXv3djb4ч5'z #7kcB_z2] "Ds]nlb1LCKY?%qu#_bĥLU{h$(E #8G "'`M`G""7誚󍖺'2- $bP rmeG-.7 ۠(1@Kvo0Iv*$«ڞ#32"Yd[]uJ # Ti.F#*V) /õM)^vm6cgܤjQ7*Y6D7}aOncy\r}x/E*2= f, @L,<|/oBg]78ő'OLpQeZקY*#S-4cGÐ=M^G}eo\Hq*8{C.dRI1_A3/PLr JR6c[gt ¬ ɱjNECNT=`a,#3Xnk`,bG;nk3i ZZe!'5yЙƼF6Ց>`iM?-L̺Ӟ kT;9!n I h?QmVzT/HS;ln^c!pUNAW6~y)HV Ocz },K#-pҀ1/¨+4HA?Ps`x7}J= }D4ݫ MD458U#exهFX:liNUjfm:zB{UƜf)^v 1 hBDPOC<<]nT}&vwvffi{ʪ!CW"-2bjkM0>K, b<-rJ x(hBOHz[omvy;oۿۿۿۿۿۿxommomm}ݶݶݾvnmmݶvnm۾۾۾۾۾۾un]vݮunld#F6BE"E(Q"tt!C֐52B-]]̓riHD$IA!D)PBAaA% AAB0 bzs _d3bۘYt߱f\9X7.^c`T.:!cbQ-~# .^|7"x S,vb]1Z,E`)F/jR1u*XEbh LY,ux~Z͸rŅ0`Q;IwW]ec*DYci*u=c\bj]^,bzW]\1TckLX!KȢ!&Ղ0 .ů1zqA .!1e,VEGab\T_c( S1X ”`X5Ћ1qQ6,~Eb`QL- #;pj g<)5`.0:!0Qv2wL`Tq3P?ɟIgBH*_)Eg"HL*?EeV2L)?,EgR1PF(/igJHf)?τ"3B|U$L+?ShE3KTL&ˬ"eZ1RDF+ҟYϤb3P$_f/ӊϔ"3ZR$&ӟ Eg"2H~Vџъg"3L(?#ɗYE˴b<.EcJ0H>^d?ɏb~3;b ^,+S]Dم)bA1zP [dSFc| \Cadk Xe-ҏR1E'0t`L0W0jQ! XԎWbڔ7[r5tՂbNALLaߺS g<|%VVC 7}6O} 0ux m~Y2iP;ntY&i {3fI!Ұ͎=w/h{x k"ΰ qbq)pkaZT N/ڻ[*ݨX=pL!}-, +o|G l$ vV fL^<EÑ y%{ GiVyd *64#SPV06cWuk!Ki(-% K]Rԥ.uK]jRԤ&5IMjRa>QzԣG͌ ={ٳgϞ={avavavإ.u[lb-شioڛ6mڛ6mڴoDUBgR!clUBgBP !dJ"L LU1]vb ĨQ$I<` $a!A(+ M8`D_d-.Y8=E}pw]Zf4E>7E '9AXv!$FgE&퍜xlf܋!'GGm1'r/GXIfƺ{oFu"(1L !ljEjqnfԋX'Dp4Ŝ".͌u6@G1Պ&VTJ8a;` 2Re):ԊLUՠU=_E@@TfL,!uKC}`&r I2@TNS3\|¼؍ѢSY ,b8l)]{Ì+/0]DcE*-v1Z3tq;Nʸrd 1fTL,{ljW0^4h1"EXL-b8hb)Fi1Ybd1l1QL-J1Ű",&SXbZhQZ X,b1Yb).-bXdcT O1-bhbE,&,F1[d`qbRc1,bbb*{1Zbh1a1EXL-R1X.2}Mgb#t&\t1Zd`C^L-f1,bHb0]8:17Eqbz鱀hE\z-b0@. ™ks0C-05nk夽{'q6$8Wir; jlކ\b ӱ[<._iRm6sb!Zb8 F'eܛ>rkGgmF#w9ik e$VT-_{#N]f#^2@ъkYXZ#;r@\B 0K8Gv[Fam8F'<6dJ{ey|e d͔ gAZy7$mP<}(%V_zRX].4dyK-g{}ieŞW|+")7 p.2Yނז0;ĖQ廚2a$cb˦N ɳS&=n#>"S x#5TtÖコ;!M$S;2eoA 'LoUp/Ж_eh1r|`[\\ R⫀?pA6t7og٢p c&V c/;mF\$";qYFZymFwlML,״rs-h@xeUwxO &&e-lrߍ`B=ǀ!>LHyujoq@-Z.U: Xey :qM\{X0@ ېrᓧ`h;mC-dwup='sn:8amf~M7ҳm(uЎ~8ٷĚz%Io=2Gᶑ9ge"&!C/EY0$MY:F.\ s4L#]h9{R<,74P.GKe 2GN7v,2DD1iu W:Q9n/g7=f410>2u@m+o[u乔DnW=d3ʯ@m װ~#6*4}5&H<vMm@6UU|Ru$xo=q@#J,ң@$;-4ǽE+V:mn kk&܂zo`:R&1 s-pW++tRQ59չqe$!|X G{h)GrÕA UImoYEoR /.U7Q5`$crS7c 0[*ۙF}>7>KQG`&f>sT!U3מ' V@c9GM7.HjN73A; a1 ?է6Mg:F]c6iOm\$>n|LRQMd[Y/~GmI)]-J)7.FkӮzj9ٜBbupu’8qdX.A|/x3a.d%rES)-L;)Y\44ԆrjӤֱqQX}脷;n!;EeLjeOzs_x$(Xb0X6b\X(V+\M0M$KN #%LbHD*X֭:+@Do^h{%6`sɢ nxF6^|Lz.^$"eM,qE#7ݏw8&c J6!4g@λ8_<~,%ogT[VHbJ1Sy*̈lvŶh3K;[{4 ,"^ɦ"Sزf{HPq'NyatdS\c V*Vϫ.ewbmWm"Kl/aX~>`,_Ƕd.[1|oO $uOJ5Hye͑h,Q\ j޼pMnI^ڤono=ș\#O%GTjVA~&j=ԴY=ox$@_č1Ϯ]2sp& cc)0/Ǝ%`VZQZ"kk@1!:Cpɼf:CcLDƳ}D힏+\ {]Fg %"!c_xfGLph%rKvP$x+k$Gtc"Kqi{ \ < .EZ\~㮿g3@OUtҴ땔 Ëjѕ͡WIG@t~5r#z =Dҷc@ [׊`I,^eijꮌeF˗Ns! û:Ax5W*   Y= Br@{dùs4pEڮgn(%&'Q.S.7ΙA' ԫ,lp#b;3ò&x( WPa'EY f/T9 1*]j|SnjplE,!3GcvZPژ*k▫=&0` [Tsc80r <}sh|aB1B*4VS :8Ԃ(|N-ם̈́c H0N.TPbbѢa]ţ 8&Hr|l*qV knsT$XJ,wqTXP+wMВ~;ٗ@!3ͣovPn▓Θ讍E'ҸtS_Us1HGLțHG=kX#޴ydgh3rŹӝ 6Ӧ./So|#YN4qfFFP F Hƪ)dz!;XR1ӛg%.ޞ j9%~MǯnI]gs%͖mL`%t© ~E5a~J Wei=r{s%盞c^wF -!]f3*MzVIFY9sl'q|vC/Do`pN9Vi" d21B&k.kPIɳo.10( [tf[;n,Q3~KD ԉqw%JXHQb2kN-* 3g]ryt;;'0g 3Ѹ8a938|@S/$&zB܈]|ij8Z% '*TG&RG淁"YW;5_2#69^q%6PV#YPW+!PlrrL7JqKIpG,@#79OKNJ QapX9އ| ;Kf5FbWH'v>缛= ׶?zxV!e s 8K5KqzJB^jgf!f9Sei!g!xj p3)@B`vrER*%zT77qtZGR<Q!j#_24<&Dkz+>vr- }(S˲& al+9Gꊶ{ Au+}l#|"q.Î^]rjN"PQ+l# 4͓ o A8a9TCM\qB %[Ss!po6mԲٚ*ЕqtELe K]1A`/_n>$h%:9,pr3-]8:܄^d&&%J ,ЁB7X{5OC1RkD*"cUu(]z.GR l7Kಘ+H =ܲkXo5HZ}LOAZ_Wcp ª|{Gp@hѲ ~6=DQo `*Y0Zդn\I~CdwL@pą>籓;7?u `.00^46fCz 'Of5,؇bxAn"oېTuPu o~" 㛏@4\nB+&:'G&փ)ix".@ D /CĜey0Կ}oÑ2cBoL"n0[n 8Vg?M8j5 xYebGʂ#O@i& YťѰ} Z.L)arP@aȑL Fi5Rʲ؁ '4`ҿDXoХEpd$|7@2IPշ'W~eqgM!<6H{0e3!+ ݀ϫ]W䗼4X5ǧbkesrbP`,*w7d{h?([+Sx ;͓%e[΃c.;HY8B9Dî]3޴Ƿ*9yʜ-{og5UzR Uu[T>l|pMK 5RPY2"Л*c]dB