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 5ztL ]/ UHOL-Record_Benchmark:threads=6elapsed=148.120cpu=240.656gc=19.357(/ ]ps +w`B}(m&}"qPaْ4FKϓ\sd0cJuXnhj=*((/ _::name=HOL-Record_Benchmark.elapsed=135.437cpu=227.316gc=19.068"d>(/dOZ Pm ??bMQ J-ig)?]rI<wFՋC'U-1&4 )(Nk$hvo01)aEy+6RYC8YtdsLi9nքv˗b,NWewĤkTnJmm%Vs3eb"3h8^6c?YFSLYy6YP=180.Z%ŊR(*ojQNԃFT Ң]t4 +l7XYV`$, Ս#! 48H`xа p0APL $!B 8Xp`SppÃà X! |gt X蝕 Dp ƒ 8phh C,~)hYvv8~2hzO3h􃊂ȝ)ۆ~ssE#UT⪅2QPe;z'( *#ɺ+m#gL$kwg6 O44c^w&H(Dv&JwEzd|kCzhg6rggks'dv[=w>sؓ}S껊yR{_8S^ޚ)+G Ȳ&oYbfC!Q]gjЅGӜ w ku]~CB.; dJQV]M:eFEժJNUzQNͪ^nwIJUen?!k2㿵{Le&sOi~q;8YNd(בwe "91 ;M7 ?J}(2/AM OAa]b$y5QӦ%Ba@`P D10( ``H 0BQD! 0$R8`æΫ[5ЪS0N_Ӎlk uHAeOYdԨc;>;:tdemX1kx:ݒLPI^@$Mֹ +ѭ=̀\)7*I5^u*"@s9Lv?Vٸ oduJ/ld57M)|w2@a_Uuk&;yx=R\EPNֵfp[Ƀ97&K9RĄG)נRq 52 L174oQ= [ lZfLDEuxJUSx]ӿCdno :ի FmE%i`FF r|p|XNM_ME;p7p$#y[Y44aRkpvbaG ȅtTX QO暶PhxN=褨It$jnU4d @8+.U\F\2If_e6Aq R{y8ˡ;·0@A'ݪÐer߇z24Zʞo= ha^%( WGImsUi0S$nBM.`NoKP&zUgq"UpVk\V+ыpp7h,AY3) odm 5 HOL-Record_Benchmark  95{] HOL-Record_Benchmark~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy48a08c25abeafe98bcf25bb8565b3f355d4506ef(/`': UZP uǥmkQ0 1duR=󊚤zn5I5nXe-f}Bc2Y**VҨ]{o4$۲]do7tJL}"] ]Atfleܜ\vYd$-0$ aTb@'vXS ,KJt4f0&Hfo۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m5INUQAP5ITQAH5INTQA@5ISQS֕ujP*;vp+Vkd7Dɺ`>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 =jO*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#!fR2VG1ٕJDH$PY (81(  ``` @ 4yj }?!u{X%1"+{USozi^V{2TY,7V(1q)F S[dȼڶhU, d TE.Ww튚[ arW,Gʀ^+Kսe1!K# l-9SH5kL´\8Fu!1Ոayu5O.㝷7ھWpM[F,⍜Xh;=PWqhA,Ar VelzXAom ]-Ɔm7^tw"i@ڮw{+`hЮw#@aXM!Џ~RCC=}ק|U; dZƱ,a3^S4"1APOr"}NGIM;/Rs:G700FUWFC?+ǡ6$w~Y8ťm]5ihY3tJ8 Sҁ|YteUq Kٓk-/ۻ}6UAƯ3RIݷdX~~`Su۶s.A[`g~穇3~ ؽ藰=3z?sà=3W?=C3^=?C3G=П9CW?1!B! @aFϘ!l`vϘ!b@̩v7Gn_z ?ꇘ;> ؽ#? cTvb 2]xAEGwQd^Ԥx CLj#𻨌c 2|/jR؂ EyT<^Q&d]TF15{lA<*/п(Z2.* ߋ= Qd_Iq~Q}LAEM[( 2/ʤ8 ʨ> &u-_GeRkAEeTS{Qd/ʣ 25 2)eNMǃbwXYH]Yb_Kz|1BM<`of"vox`WqoXAWAo<@ԏ`{7p 88MC ӐA)!@$h pA1 Sb 1_ÐFfçt1֠R me,oF7uZSMLݐ&FbD'C47N$ k /F40stEհ6-b\.C43ʗZ oh)Fk6sZtAڕa-͸/C{nhYڌi4&tMJ-ͨCxjIIH2Zhd(2ěa^!ňfxn.H֦QZkeHfFZ2B&b~[[s; g[[7jo5LEoe-9-{_H\y#LCkFEbvڸQV,x/{CKEͷ%~/C?~[[m >Sw#Z0[IJ7jU$sd"I^Z6 ; Q8doSQRXrs4FdqQ*a R(APA5iEb jѺȐtdY! AЌ@!=I RY9T&(HGDE~QE-w@|DCjhlWOB7EQG +H PdUC8-NުhO!<TdSE KH:WPp$l!"yVI9HDFI(BD*(x PFA'U4hd r JHDCCTQC(hjSBe4WbD$ J HuRA F~ bS 'jJRFKNe%YJiIHL<5īRG6J VHH\Gs(tˢ%4)!uR!K K": HMA ^A"ѹ lURC k(*iOBEZC Q DUC )z6%F tb` dEd#s҉gmNK8g d~ͱZ˧IڄȂ!3άHE@rhIC$-*&ZOb6 ZDy3L#0-l&l'Fcp} [(;lurD#5 LX@:97LCp ,KG "aENX$I$!K~ß$4i'uf2SԄǛ,c n'E|ƒX-N*J7'*- MÇRv#R?+®9(Ed]bÎ_'E C#dLAHրI!FPˆhdR"J!4i0!a.,EyDAUqNaPf 2shn&0$a(]1Q6* xbS8Ă|`\8+Wjcg3ɠtDEؼ8'A]@SF 2sh=6xa2(_G1*vp<\/`y"O`~/)m 2bs97$#Í4RWmOmu`Iea(XRRQ\݄V? )s/a3v7Vb|;S,@ǒ nߏMA!(ZrEd셷ŲOV @(Dג+"c/(vGb.FNq?i\2?ŭCo0&E!\{-F;jCv1v |dO{)>]MƅގmP7`A~~*ύOGߏF&9bE!xeKWH ҚH$H$ %DH$D"aEwd6mщYjV-U wH$F'c͌F&ZJ$  QpHn €a!!(рh5/H~K9#hށ%*z7#bfr#>"7w1 v6/Ulŋj>8/nŖ7.9)ǙǞP)S|q/15{t+ 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 =j3Yʪj**9"z<"#uflff:әHE HщHEۿOc/Fr#C6܎䑭XD4ȩ`PvڶnBf6]DUUYUդ !"CDQnf:SN3S523""""R""c'r??CX `8Ph &@x S !ƒ8Ph C `@„%+h , 0A"P  ($(W0$,X Xx A 0X $0X ( (@a@`B$pr8)N 'IprN99'$9IN$9IN'dpbbbbbb1٘lLN6&-&-&-&-&-&-&+&+&+&+&+&+&)&)&)&Iɉɉɉɉɉ!&%&%&%&%&%&8hA:] ]ߕ]1!wd|wYwq;GFm ]Kkۚ`65hegY fbf4*VQQQPDD!b !pD&GDrD#7̈́L 7S }3p3Ǜ1LD'2O$x"8NDD'r'>cx%kdI#/UAUWuUWuDGtDQCT""Ufdb!*dDdC~K9$X h !|7y7y///'I~'GGE~____~O)?!_&<$Y%Y%Y%i4N'dq8Y,N'I$q_o[nݺիWSN:uOҗ/}߿/g}g?я~g-o_;˾˾˞ɞɞ~1qc(F1nܸqƍ4H#41a cÆWb-آhiEVUdYEVT$IERTTSS()EJRE^E^$d,EHEFQdEFGyDGd,%DiDFiDE,+++####vjڡVjZV&l2Hf$3ɌTE ިQ>h(cHSH  <    0ɞsnެr_\m%Y!úᕺ*vZe}xWRY֕~Y JW*ػ-ka]wJ]d{W{e-2+^2bGەTgi@t%Q,(cf DnLm)^M䶛N,axڠizjEϫ)5,f~<ۙ34r\  f BJJ]9[WR;eB \T:#SrjfH͙5YָdT,I4K2 1͒(mwI,`bH7{%hmX{FT1|La͒"ņTYRܲ_Ra;3P'wMTIS9fTh=ҜT*u]ItNW2Złr;+vJD,pnv%,;]`̭$ڥOWes7+)fJd,Pv%,;<]jݘZr+̲ӕtT@nv%U 7c` =D6خRr+QƲӕTpnt%Q(cf DnLWRRAە抛X8V*O (*Yt>u%Q,û, Og4XW2RayߕvY<JQ*5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*J$@9wl  *bb pp2 ^ٽ[ 9917o 1n 6Fm1ci/x B !ATb>ʬbjbrճb*QN&`ٿ6f3}W\I{qѮ3Zk82QiBn:[ɡk歗,[t9VsCٯxK=FY`< .z$3n봱)Q$ #m zݞ+GER<ehU4w?&=$2K.5!G{ɈRǃMMzI+bg/`SלH$YZ*8LduПpTfd!,f峐0[EW&!y~8(ӰLc&b4 p9a5yt`{fXUVWI%GY:Y!j&?c ep ,XYŠņCq;lpkx.a1\WR*zu׍nEqKr bP,/V( E,bH_Ԛ[|.Ό]H(>뵿[g5Z'1LkޒzYm TK%y)2Ff96O(\?=5J[R^z]z6">9{SkYKY'ŐVbufǹE|`#d*f ZB։Vp/?N.~fj,Y,#)9Qaѱ9Yٌa&G.\Hʔ[3Z+] XŊQYXХҵfg5zKmt w`!&?pmPk?KZҖgw; r p gkm8~yh!WBh+Fr2Ao2L. DH^5[Y-_ۥ.UQP]@EPZtW.bbV(t"V}?ju_^5fˊBg8 *-qj" 2QyC+DZ1UG'o4UP%3sjzz/Rϫ6Sx.lW]Ve1T0|6s&Ÿq;S9SW^*8 3Lc6۩1R1a%i: r0A,Y]Y, x3bѭqfg)6 CԈfEff&(k^u85\eY2X:Ŋ]!Jψ&뵖g=B13*㳱Yp(bLd23Mlo,L ]xAa\|9t@JhςSjl&6&&D2SM';6gNh: ![rk2 ا0[A OK`z|ccbH񶊚vy4O$I(@7E ϕV#q@khH`1ydG76T'Nۘ櫌 K^R>F҈Nd1<;:O+҄h;HP?ׅgSk4bzcW!U < Ԋvo34C?<TMG5gIZ4#*؅ژqB]$TH !(u^V( HjU;1a?/'M5:P ]_g]EW8Vs''8 'e&aYu۷opRژp^aZ#C-ԾjF]FVt'#6jc97D[hZ4<y;V9pQ^ZND瑺惄P/oP/jHWZR;"g9 @i= H;FYX+D vNV:Dck22J9KD%m$d;84ހH襫S!O#nSty1mYu3^auH*6^UC7c$6+&?uF(q*l_=@EQ3kO>Pk'z-!xN}L\GI\RUQrO4{7Gz!Pi_I#' G2؂z J]""ā*^XT*x4TT{%XN.jP)hc$]z 0Q 1֧`Psl f3rLv'r~IUĬM1=z fW2`,xWZFzy&ec c/QB"qĬ0b2(3"f.9ݾīp 3&rɓq NN:Zw;[M,|M˱xWzi @V(+'eJagCu HilϘ@Ww# ;byOImg3pQ@ _hu>f0*,ejyr1n M%΢~y\ g|ӏ}8x$'HDH4pݩ|Wa,K1LϤ.\tՔKI1PEVZ[w.@T p<iX 4Jك2!?Z /3[ ¢ wkviQ;cG-*w#Z0"(0̳;,Pht[COW+ vIO pKtxô1e7NtBCNDl%2]AUXTՎFd1\T"UN h8 SğwaXSoz;:6Z*cekn@ӪEi&}(auoD9ta K)P̎ 핏SYNC1BR&8Ah r3#t?۹v``+^ o<-0VQT ^Hvbwn68E5~h}So\QrmCC49 !.]g!a>j w?󘘣lR(I5 W֍>Q(u1A$8 53;. ljH,MQ="( Q㞭MKPϿ< )MLv(|(?e8UŠa(Ju]̀$(p>M xHT &]d!!Ҋb7PYZNMAt0x 鲡7[[')CJn.kk:_TL"0 Ɵ2"ˮ(ᱻk->?)R뺰 %(IodM Ӫw< (p_w,$MϹ[F.¾C!" Ӊ,$ES_)*q->z}}3,-<9\÷b#"$ Ɲ=0<$4 gzQT@ bxy`ST[w#ay!ȡ| O.!y5lmyJYvu Q^-oei:C1R\8A ?k<, ~ohf! * &x-$EEԾ8CEӉS_PT-.}*3,YV'9\oҭ'"$6?[k;οy&h4*XHB5$wTLvc4L1xB,xoEFÚ 2F)jzF4;؁~xz8m\moU~fwY'fF6hӒyWίK 3};'؁=E M4Pl:Kk Si:"$yߨEKu/Ҡ;/ā_1/΍ ~$A^rh O]V4^bܹ$ܚ4&/MrŒsaaj|[RɃҟ>$ Mt6Mk6*>+yF͠[g*yMk 7XSծO:FΕ( zs-e;1S2AS $0$DM 7M̿A17\n6,1D5<i>EVלQ>V\_H|k ~܇Hg@”\g@GI(a nx炱"m'sjQFm hHBuHSro3I}%M*8i`2S{]HuRlA٭<,En |ؤqG}x:7+h'me`T)*i5%+s:R7u\VĐΑ3^~C}NyKl'Fu--wuZ ܭ`I0Դ(cs N!/OӖ ua#k *Ⱥs:V|z,Orjַ°6%#'jfH]HifHRNLQQU_8_=T_1x}~';qrgG^Ig鞚DömPSy~)nAVbk ;یHh)BTO/Ո)5aR ַҹ\4dTږ?Nt[_uf*lđW0FSO}=iO'|PI/GN?-,F4ُb؄pJ# G=xLpK*@XeoMpm;q5hhh5Z V3ufYg֙ufh6ffmff6Mfd6MflqM,&Ğ{bO=o6o6o¼0/ laj*[elJX%$$$$$l$l$ljjjJJJJJJRZJKi) RH+!m !Zh!Z&D фh23 2d&L 35S35S"%R"H)R"Q %А2`@bD#fD>#BUmf"} @ @0 (@` H @_Wկ>ԇPC}_Wo}Sԧ>?Oҗ/}>G?/߿믿E_E_E_ӗKhmMC{(< BaP&I5RT ՂjAZPmnnFݨunԍhhhj۶m۶-RKDD4DC4DC4DB$DB$32p3 EYdEDDDH$I,"+"шF4AAO???&7nܸq- " aUUUUUUUUUUUUmm۶mۖZj%""!!"!"! g8LL",HD6 rU[ȤDgc`Umf""Umf"_Ֆhf(0U!UK-Kd"  im-$*JHD"83̌ IR E"Sd$9I$Gc``D`DETDETDETD#~觪vfDȈhf(2Qyyyyyyy>|>|>|>|>|>|>?>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> gt~@#@0Dp!`pAp$+=ܳ NJP}',hCvxqnc>u6W!MpocHƱH oc*3O6d+;`Fiu@s%35*Wjd ?8p"|~s0Jo8#zr[VW;cU߲RwBxr]{Dຩ6yQw3 *_RwE >[1n+H3.( @=sTH Όr4G,P.MnV ~dɁt7[xw~}7ֿٹTq*mJE›xqqxcnч#"+;qp ۽|>xn{B8#p<&N:LW H^#3W_@UF>}=mj {s+}oNPkE@7PZo H|`7{'GI9ϮFa"D}vR7ev&dY&D"C(QmEYS#9g&Εr$GGeT{uz=PVt:TUKySΦ>byJ{:V"é95Sl%WIcXWlfF-*|ipq>'[VUtnT^RWI9;Km04ta&F^`RRdE p䯑+/yy%%M([FHWv%nIxmq])Ԩ/TF-\UꜢwAStuț(9EUz]V!nGGɖjjvW.EW"WԢ^4JآR^oǙjM5N* -"-Tܦ61tJxMj%(7f~gUTYoT5~*?"L3QJX5PŪ*ՠ4V%(A*fI|% n^ԦZiV5^N.*ʭ(HW/?kJ_ל"dHJC(8F(P ơ!JUk?5:3-j o8nMqsrpCQg,"s[d1@zQ\1Qs$351=S3B;ks*=38=I=ޜKL2وH4ώ٩#ܰzφ9٩^C챘ٍM ʙMSl9%& w3&㘋6* 'c >4IS١QjکןǜKlFUBC_Λ!w!T%^2)g ď+,Te\V \܎XuD,pT%r^Tz@9PcCX%8xU\qX|ә}|zPJLJuy ,y@˱E0:~\2.S7K8:]]B1_d.҈쒃{g .)ېw,2([w^ x]K@*{UHsa9q`s2G)ses>4gv19fS>sCbf)'3s>;s2jSM}KoCxO5r-x w % *2-vC.:.KPe,2_.E ˴8~9+.9pwPK 8 je&(r]=AQ,sK0xyr-c]\awb.EDIf*T9`H#lنJmr˦,L:kO)ԏm4傀kvACvKSNwWqpSn}O/QO;UGOnFsy旟ybʟtʳ{d ?뙳:ђLA?PW-YƟ)EkCϙQ4/)&؝\alFYɲ؞u&\l83.OFuZ'wOY!7S~u'*;Yܼcq9g@g<ӝuBmݐbII0Ss1Qֹ1{5 Dze r6郎g xp޼l\w:ZI$&R(gZRނ?#}=33]vmڴm[leFfb&ffbf6HH#^۾\նgN4R+R++R%VQEJQ)*UZUZ%UR%URP)T U}7KiIiQYvI" Aim۶m۶m3333g>>۶m۶m$I$I$EDDDDDDDDD"""""ܤksFZ!m/&E"|>3-)62%?h{ \@(pB`m۷~f :M쁯Ҩ -I+鐭h}*a%5IA~p>> MS(;/ED*X3E~Dz-Q:񤲁()[5w$]1a>>)@ڐM=%LO2\Kχ$+y rN=DkɖJEcmI7rBj+ҳJ%TArf꤇y!R+XF2<(54 { $]H2 ݃]O:cŬiۛ2&8/1MwRM?v̓FHgdyx2Whgrҝ3Rfɦ(_G Afh"Ґ3-7{3ЩgmUUYFS3 z]??*6Y} +mA&4q ?nh <;OϹs ˯/>9t;?Dt>K;蜑j89k:d>f*M^WS441~';ǔ,IJ%}*i 49ɰ:DyИLM _HYߏ1[aGZ=u=YGOKY#5$+ք猆us.3T gtirg#:iܹ.WrOզ_Vqhh8acBݔ$Aw[=cHr?uyMٯ#fNlуmuc[2Kֻ֥(Ϛbn^Ag˳.QJ LdJRϑOԻ!MZIQޔjl2\zU/'Τ@?!)H"Գʜ[Q ;ָu aEeO8 `f Pd'0g=MlazgHJq95% k[~Bɖf3DBiJxNy5wb[=ŋ8XEz@ǡ:&F !^7 09}Sh ΦR"0ɷ8`6ljTЫ.MtN&KzHLr-(jBNjd> UW;^u:&i-!& F&ДA[*yd7vduȟ4/Ɋb>%jUЫ栱C}mVB9ыt>ez:ڏLjN%lJL*$icnڢȳKbg${{jk|MgnVzAmmwE 7Ɖ"j8x5^LPWSI XjR&jtPV&ʪa٨j\gjI5֟ElE*MQeDHwYR\]7I)TS6 9A)Tu IG|K+'bӓ=WE&iYҟo {n.I&ivW٤ K?Q[=rt|pVI&JdSIRZ+ne$÷ؔIEm#""""HIm۶m6 3333333Ӷmۆ_K$I$I۶m۶bQTLI$IDd$fZnSELV[%mF4"4 gfffڶm۶mۖ$I$I$m۶mҒ$I$ȈȈHEBCh !0B{$I$I۶m6n$I$I4҈EDD*""B!B !i+6IDB c-I 9(4,~~iرݽU۶mm$iff)U0f3<333m۶m۶N;C,YdI$qm۶m۴i$IH"$HA R "AdEYdB!B! aB~3X"E2dI"rϙ!L۶m۶mےdըĮ> BA$s!A`!` )X'.?Vq|S3!i(U3cx&bŞS<3T01usJxi(ܣ PC3 *`JpR{SdB F VeH!T,Ӈ!߆`MUQ2#QΨYP&By8rQʚ]ɟ,A)B[I(ɳds閊IMV=dꉥfnaNI3!A\=G ڵI \:-&?u.H M6MK\S[yQت^QxQڨ<認XʋVxxG҈|*(29dD,*r*~R; q%z锚Jtĩ$J]KWei@5!ӚT֪WJ;(qY MN`Z7 ^1橳l2VQؖDղLL]VR*q#SXߒP`#ՠ|]XfX'S`\R:ۆݡ8Fwߢpim]%ipbvU|&& r3+ɭZ S)Cߣd)#$ b*L `N !acC') x-rW (e$HTގT)TA*R6LeB2T4#[6p,WҽU+'_h9-X'2[LSv/ Y*Kp^F!Jh!\N_=$6Φ^6,])HǠ^$vzDlZ0&9嘴ʒBd ɯAPmciB;?ąK"-J.I}9`ryϤ ۜ RRҧ* #~L\A~%4KH^INDbb +{a$)QLv%7z'H5Q$Z F4LQ;NZD<Ӓ!e"&s7#a bbF`X*Fcf*B#\iZE]nQblӴhZ+v2@Iܦ(eKTU1UyD_(#݉W&bBszG e K&1G_R)"G.NՙpVXWU_"%l끪Z =cU•txmA@QI֪ ʜEyUkWj]WV3%Ѩ2b HB uW$V@U"D;U|q )zuC|otSQ!*^%lqB]mLI8%1r)|)S4@^a(rS )rxGQ.~~rB0S΂~~ );j{ʠOqӫ[4 鷪ԿT3XO(CQ,L  |d$QBUK2IHmI56|m[4ЄO1DtCTb()07zPx ~ә*=y"-EJ 2cDb*inJĒ4 %>4-Db*Siz(pz*JҒiYjYIOH4xlsJX zUOg&s`R{PޘA#-,N]FPJbZT:*ቦR\@łvg)mUBgukо)NJhS^KmĬ:R-jjRLeV|Sٕ6N`{-VHHJ53Ecz*J!$5o=!\oPӎ. 6:iVAӪ)HN;I>N+{ppx޽Š2T%fH61ة1[eplf%z`J:5 *$ F .vԳyQ5*䭦*UA,6]Ɂ;ddW7mI8 c'+$uy+Aۊ6=X5zm@6mKЪ6&ijMID yõ(7*A"mk(d-W 6j6˱喉޸mC/3XULܼhgVa7jR 䩾<e*F3Yn xlL<SnLNsd.=Z70l^t3nXEK>Q8R6Ol4n3*k?J'f֒:QEQM.4p.%NԪ3NJ3M;G`,7fs9'6-)Kˡ"Ugui6GP2jTߵGLqLݒ}`6)mETW6AuW;TӐ-p |?}@G̦$\),P`6ü^Ud,j榹BatCHV|5]j{$%n#y HR4l9m)J,l*]#+11OЂ1] PJTum;~xV)˪q6$ru6GP")H&[TP18g٦2MW;uZ5y)jk\F&^I2uɬilF,I:s$Grbk z85glhiȹLRlbQKtM ŞI086a4l=o#E\3$Wc23g6oK) +Kb6QghDF|Tb6G0g1T)hZm #\B}Ui&x6l8ҩR`%G^̬M8t0ig"Y﫝 uAAW !TFW~̖ 4rzPʁ03/f^)%@H w ;=*f5&/cu}]iwIzv$)Ku  ӲtFT;pQ:nkW=pL LWvNsXB!8 כ bh pM*E#([Jz m۶m6 G9rH"E*"HD"qGŶMj/ámx`ph"ޤ&2A*Mj/ámxph"ޤ&q  T`$%Ig0??|>s7@QDqpP#Iq-m88 `oo۶I$I$II$Io!)ЎU -18p8p8$J(%J$%J%I6Q(ID$IDIDI$JDI_%I%I$I$I$I$a$I$I0I &I„ $I$I$I$I$I$I$I$I$I$I$I$I$I$I$I$I$I$I0I$0P@@0(`$D80,DDh֭[nݺmݺu֭[n[n[nq׭[[nݶnݺmݶnmm֭Ӥu֭[nݺuۺu֭[nݺummݺm֭۶umۺn}{ƍ$QDDDI$J$J(Q(QDjnBH1 @ ʤz(( ( $ LXC`u+aȚ@Ցn; a*OsCUF“$ꤘsT'yWZ<Ī;B~N=ao!<01?[,D=7?uA_1F耡D⟱z}XЍXkedxзp\SIp[v\~H7t=YhԮD(_BM rSGK3$<8OjB J$II,)R<*'V_Rsn[$/ !@4O%i"$u4/Qq;gt% M0d:q!uaȄf%D4=͉L߄ k̤kN2H>&B8TiX'$DHY:'!v4Md'i"$ԞGt=3&Ba*4b#KL+#5d9XIIKÉSLX]8I5xR1Jx i8?~ M>,Iwg?'%~YqB*FD4yPOg|W?5te">BP ƈyL$ >4l| ]WHE6t]wuK}+MId+I0ӹG8=c1'WYG.2yJg@@~~_{= Ia6Ngؗ3V 2<ظIg,9ƨtQbuPmgLX8$ d8XR =~1j2~i~Ǝ:/4 }*üT R;2iL@}M P_K mvyH_d %a;M\/AAD! ^j?c)08{or{aH r_Mxzv"hWCGh#q:0Iyŷ P4L<͖ 1i-MgŪx wrv5K\1HE.B䱴,%30ʖ< U?~xnJ613%->>&WwS4!mZiRUE3& :1@=t=f,j4h.?=}ӳO< s#_{[Pq!(zI*́@+0rI4V5zѪf)`zzjZYRgEX+*<ͭRIMݒBW("$".VkJo^_'l9=)"dl)U';7:#d,/P1 ^olԈcJEHe=HbIp=y^2~ctVء jo2!!O(s!eN/TLfUj~s- iIw.k}tZ%Tx1mmiB+oOUrO -pZm8һЛrOSʋ\PL֜t"y(=p_szTZ#c|CcT{d1"BM5әWI@ɆoIK(_ X"_KV%VfslCZARA m^)@ts·p|QO9w!YGu`?TSj؟.xZﲝa2RH|gtff~ʪ;iޗӠٷ @vٯIMi;JNlO#O筰 J{ fm@:B&|z7czϡ4:s>=+Dw&T[Cǻ{džp̙uvxLKyXGjxԝ 2>iUؘR)-l+B $YA8 ULZVeNw&6-KVZ8->7A 64j=s4^Yqiژ7 ˽ s*Ԃp2CiZHt/դ0b|`H"b KNyQplT"NFqI |dsK=oJ*Bƹ*&/qb@,"h~!_OзxG8Mdݼ_Q#!*/ߜ?ST (o1?AB?A4[4g-LJ+4Q8Fz u  pFJ49@Q}ɏƁRnN|5K#p$9ɲI8rh&I1o3>f$ *Hw&TjوjyBl˞^'$'SVϖnOS קJ,= v&J=uhڹ }hOl;'VTx=:*p\Ԛ2c(S74R{z ̔fYy=JjF^;ꙙR%s=S=\V` p!˜jEg~-cU',쎰[Of_SEʱdSJ2Ɏ~%Q\T6@W&|e !)vgpDBExv;/ EFk]Sj" 5[$^r!rb J]`]s9.-wW+J#9yzIgVӕe[)f&R"D:c_*ݫKí4UaYe0LQ~ ΪR0KT0*)JKCcnAj M$}IA)e۱T3Brt]\pђȁ3+RVA^T0QL(H` xS=LVf4 p@ )f1 s깔dn Tp #6H1(h+tPQΐ\ eXNJ)MD( ZH @:_վa FKiR*L(RYeQ좬pe"\%ϒ3p 甾BzpbiH@Ƚ[t,=QߴPp®lpSA^R[9` Q"Pp⎸0s"3ݜx{?*I7x!jWp"NJ 0Rb/fAp3BO3jP&c f WET09/^~H1/F5qr6["UR"| J9fqo*N-}zrcQR3t§|o&\^{ǰt) P)?J&/KSVSLS ٩rArGQ?PH:h~==FVVn;l4 $,!>M{p.ˠ]=S 9֑IfݛvHt3"QƖYfJLDgH"y4hF$><#ZҬjH>B%ͪjDڙ4#4#.ݵ<*9/XswO}wX7S1 rw21E 8P`J*qDKU="?#A``0d @2000000000-@*3""t33LED*RLfJђf"~YьSDD|[DYQHUKUM4S"[fUETRC?~~_zKUm|>!oUUUUYQ϶$I$43#32#333ҬjF&ZҌhȌȌȌȌ̈HKI̜v+r}oo$INNnfYYYEUTUEUTEUTEUUTM& DLx&<y&< τg E"a {kXKU͈|DXKU͌ZҬ*a І6""jhhh644J}^X JA q ʔ  bXPd  4P X(u;%PF*SEȽwpȽ\^dzj10U)=b 3PiXQ 'aF½pVFJ7l6{Yk֬|( 0G1}je9rfuЈ)?(4!*` ZT*`T⪰eQaA7?" +rE YFEt)25mgEMӭzW0Q"g"2c*x8&^$vy %2㢮N:T]A ed^5IՏA#cS9A2uRּއ,:O&/=|q;7:tvv9mt}4PgЃQ& N :ϥv'arҹML2l8fq "P8A޽ DHS\T2Mj fu@!Z3t?j拸ұuIOqaiEI)-CD)~ck!@`L+c&T~/ 5n(ږdEC B^ NÜZY:D"D?92+}k,M D8VR{9g˭в*X K6N4@nNL_7<.dB2J9JTLR̗Ak!Tu<[!>ii<0lC= 8Tm>Av>I5ǺjfTfQ{TaUYbU< g2 P.3x^tMXFN q۴6/>Hq>)4{@H {ӿ-蔣6u@mUqܑH"V;p!2 %?  `h5ֳY@'1 }?)!qk"-A'?KM](i-?]/C? gN=c&?B?HGJ҇ǘ9 $}ycl?QabL ߡ 1 ԜKϱ\U28UPM#O+q;(Ӏ:‰ h\E$qT,K=|Z')1{-/BY;Jx%)1i2, e< AKhlqBR4n^(?Ik~uٟq@Q:<?v+? iiyOwe iN .\5@R"R^T2~SͶU]/s; !i(AX|Vʍs:(sgd%B `si> l;+0ߏM 8pg q@ y?FQv?')Ht? G/=p}mb==;[Bɒ Q`x!RH* J<rRߊ$`C^]D0ύ.]L~j4N?q'ք#Q`Ka* rG?^~z7g lQ@ZWWO_3+IVF]KK#5hǷVI#EȘe5\ /d= @1XEٮ(lvcGQ"h<㔫EPwa倒1$.B dτB6 ~",$^ Ɓb6O@KqOg y7Y4* @lya<<0J8P>& rD-CYѤ&`[ ݧEb*Rpq5X4\u(s~Si t%F/>']S QkM`zvQw(XRohO* E-_LгO%6n?>(S,3}(nmP)q<.DAK0|!j-z[XT7AAn c),TBB?F")H5me*M(ԉJȲ9(8Vy I~v}h CeM`>L'%kyYFMh< =M>}RO.i[(2Aq>Ґ .B=A=OMC{^i'3I> O7DI [[5 L\ -$(N Ik&k /aNhrˊR44K1ND^6~l&tyQ}Ù\ ՠㅉC#JβDDϸ>VHcv4Q /x=QyJP q{[Mc%ߟWTbrRO L6{h«*)u݉T 8sdedsaxc02#oRh\`ߐk\EkX%*/Ϯ#ڂӌ4_KcB\d5o{PeO3Ux@h +Fv g׾'i9>>}dG!8؋0l*$^Oc(1Gagǎ3Z %J=EpTTI{buSg4*W|3Կ޿X|uBѷj_Y,s3J03f"N?]tq.-'. L"eS,H?$2 pXwFɷjn^Iʁ{]#gAӢH0$ iH$^IVSDXX!2?`fG.-7 (DqHtnx4aJ QJ{Bi50#q1AJZsI$qD5h0`!Gqcz$&4(HQ2'n }D6y>B o$)pWb! luCB4%%,uԄ + P)@^p4Jv@Qޥn)B%e1Ej%3)H FI =zEZwk=.ϏAӖ0\Hg].ٚ9*~HG+]bFq|a~kd;KkmI揼hgO*p9_8I+WO^WB]J$7E'&jH+*VGu$YQ^ܨ|IУ x^`G+rz(6DUey14NcW9RvԃNqU/6Z_eN d7PfВ[\2^#ןwf ,KӢ V ,/zkur06RR:15Ob&,)";Lb</ArI̸nFwC m:Pz gÁҮYLYu;^H˦.u&ֆ]oBy*Xk(XEϩ_EĨΥB|Ku2SwZGɂ_bm`6P 2c\_'G~bRg0pz+oHZH{U)XJ K Z'*N4QHmq,LVvEk ٭A#4V`#H f2e"e!в:n9(ݽbl_V4?LjdhՁBv[[LC| @/{Z8p`)8? @O7LyO2#.`G}Zb[􀓋}@XQ>;,:re7Ʋ)to{N؁}z8hy1`;-EU6Lt? $1ɕoJP*zY@"cԢ«S+okZ-kjØܶayON b-o,0 kz&,RZ7/(bް+CB,\3NO;Ię`vJfEɻO3'휳C'rlVm]"HQ:!Y)7)\E\'_-!RP"ϱ Ys? |->=w`Ól#[ _t{DI5@+d{ | @e,Wl]n/D0AAfoo G,{PL[aӘDY UO!ZOkR?>`[ +tFåZ$B>LBW9vUj!A C7~ n>| uC t`TAW QJY}f"V{j·1ys-uc&P,k COA!7WAdM_VV5B$gRqِ+1`^ްa\cCt*@ĬY-ņ膉AŬ]-ĆTaCPOr!q*լ 4lHg.fǤ5rt'/f'5dHLήa G ߂Q'q|]C (I C*ȑk4,"5D@t@j0j JZljȂT{Nj̮n`|u:h]O A%3WM3vصXrMDΐ=iuLQCY›Cf!|4aMW9;̺~c#mGչIءTCl%M*` \{9y9\+jmI{A8jL^ ] }:gVy/rD7 J،ի|>i #ÓOVAI%SaRiOXg)[x=F I<yB̞৙(t+JV$=?SC, Z"+{a@| 5VHaq^G~g˫]FQc/~mU'afT(VfvB:Aw*To^viFXNte ܧ@?m|$YBk*/N. BvLq\]05p;Q[ qIU$W΂XqjyPc lzEMCG6ͼ '/>J1k~^zZL,7y\΃ 4E4?7feaXwne7Ыġ_T?mՒ;1> gcӱ\o=H#=TFBƏ";cOco¼xyE$iZۆ/b*l?H^r$UJ<:F_{lBWM '!!Ptۉ| 6S<э%6&"@1A4ȗ/+@KߠP.{BV4v2lOyֹHhZ6-Q tdU-vLFJUDDDD%"""*Q۶m۶m[iI$I$I$gffffffffffDDDDDDFDd۶m۶me*nokߤ#GI:3``7ln}?[.9#rA)==]"3wVUjU" bJb%i"U+I3U+I3-ֈX*~_c~};`~}A@@ !bBB BBB5%Y%[E4-9#}UDk?QEԒ&==V3"WL5XcHIQp(z0(, $aH@  .&BQ;z.(!ўnV_d&)k0F{QeDyuj%|ށD|0(㵃,vn'~d;x%\ *cKL4&EG-0&3kh%Oy3ĬfB/0Oip#+uLA% qv0of @l {)וLB~!^!!#]<.-ld/n囎Q*u}r5"~'խ O1XcHccB*DMXNW1qjyBLe'yRT 5HrD6kD+eNVCBQWՔF<.R7U9Le`m-1)$T5^S,a[2C6" -UX$~u2_CHitv?"ZIܧTcejj +1j=lxqIeS(= u^YB\UWnFR|~v4sbPZ#V'W+#չg슸$*[_̓TeqJR؜m첥͆xb2L=U%dʀz{tjY#&0r@S*qEX\ ݻ"QIh E3/6%)ÚXۗ)9\JxCeTfiI64$sXɈBdK ^G=gQKw!4VڠnrU<}} =W!º&Jru|L;u*|y1V.Eգc;J@UoeL@|  kqCmzEMu[^ լKqS-zaZ/ۅ{+啟yXԝލNVz#jGf1\5ly1VXޗS0o_% =AV/[]phђTKh>̧[^Oi5ϸ saDV d FJћ07hiE}O,Lo_Q)S7`T t{VX6\Z-ڋiq_K)3UT Mʁg]BX)Lu]쫡ˋj8Yj>oχ6>}iP^r}U2U9BqHٓvo~y$ӻw);KZ]VSۢ+9nwpyzK\P/fyq5k>lVGc30 NUF[.߭!ve>YUW?4[4ENm]e6k(EIhg-܈H݇ZmIּJ6x&H$5TZ%iv#ёOL6!{u`NRU! .wQ=Y!:_=3u]# ݁e0C}YkvbZ7#\SNk A)>~"^mIsPfP9>j,[r2 ٺd5a5>hwJX+&KTQx:D3X-IƓŗ,&M5? 'dJ2 ?C^0OŇű)jQAafiB[[4U+M 8K '%̣+&| ee򐌷U;zW*s3F]ZUty.?Aթd%Pa*O&J`F *ZT[jY,:{]Q-eє"Ei ʒ溞`XN91 HU(<3zr/55xbZehorHpJU.uVӯ?)i@9iiE!o½?{)Wvy*W]{@ߩ(.bRunҐš5U@ʩ.Zs ZhziE^A+N1h@իhECC-:)WZ܂l2cZYKmQbR 0iDSOfVҞWYaDuݚ;iZT,(*xv.hu *"( eY05b\ey:DX|ps!sj?Pݓj9J~(*3t\[. }!7}WUG+n9]ҶXb,5y(s a4O935$N \хZidma96 ccu5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method~ 5W# nHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ <% &i̇/:cJ"ҒB),RiIɤұ̴̱-3kTXXfeXff&"""""bZXXXH8uwu7uw-kݺIQIݝ]YΌ0̶"3+23"3TSJe*9*J"B"$:"QMʆjDEDxEDED ̌`ufF3̌Lb(ʼn>93C2K~7Z BAD $ ܀χaUAqCC.  K  D"A`ˬPPp(l>@x`@"8< CC@xH`: ƒa!a($"( 5RJH0@`q0pp0@p@`P0 :1.>Γw Kg9[Wo1,ߐepfK5Ԍ_KJ(Lg7R#5SlO_9ڹne]=eNE,fEf~T̟G1b:'~Aȼ7m'W-CF"Txլ~%#;0blL4.fbYI u6L/mQVYRڹ\^Kv^жUiQzG^_GRצ uy\^{n/rv^_Wks{A./{غVYVDz}I]B/˫ry _~^zAp]^.k^W. uy\^{n/tzjR[H65bfffh7_5ôzu^-_KeG{m[ν^kyEз|/U\Z=M Sp1Y5Va/ߛYj-b coY̎2d7<*}Bi2gKf#Y+`~ W4ΈL_lUf, ٍ5mAgTmzuTn24bZgm\21MY(ef w͞{T)Hb1*Ug֩QA9&J  jVZوa]̖kXk},ȺXuR֝Uۗ-˘~EELe:cik_3l^7jٜ#C]Ʀgɪy$ lp雕5Ib)]Z写fS Nh VWm绚~kKqrVlIk53@"4^Z$flft1$.##A|ǮźgqD_F^vDQ _HaóUe+ ƳX*eKφ-vV/S韍 ^aBZͽ3&ʯ&q'V ٸLV0OCHpBwO˿yU;1h "A"[ɉQs\v- >f"mg1n| Mį6xJYvK.V]jd*B> ﱈ)a!F'A|;]X0A#~ i5GCC[熆zޮō*)j۰a.ХaN7Eh>DWXz;̏B|ܞF+*b ^`b^9 4;֐+$Vק [p>7$`b|5üpLNrp|p#ch~lUô84Iģ&@čL[S<4D3CLq;e_dFu,E˗?c^Y+34=Y$1v &YDGᛅn`{:0"3ᰝ.f5xo߱5ce&1-~wp!'K)}O#\% wjZXW"C2CI pt_Yٗ " N.Г5̢s4 ,/4401 LԿ^CnCL5|#^Iޒɍ5JoR;DNb>ㆠ"5AJEXW8^]&%"x>`o*~5a0-ykHk"8H1hff&J; 7piՈ ^w̑,: 󐭡g(} o^NDQpp0뭲U~(s5.34Ծ3<Sqi.q5ŽcF8?m.o`w8B0uJG5LyžcdI^CnQP [؃ D}){=qCVQNQ 8oǀz+Wr嗢?גrS@<@`_&F~€qCB l×f0 հ?Q;"Ǔs^$?˜0YEn J[BvuP*>nHX/ĀԀdժO항$fB)#vOj J0oNhːtNOb]> .lYqC뱆^OAqKUys i[Ch{ċLXxn%u|Ы1Ѽ]y!8܇):/Ә捣VW]~a}{.hƐo vi@$ya}p2va&<ѓ0|K 6p+o`r8t"+&Śu':9Y&gşCO._.F"R2DhjѤA8K><퀢E$# A;yy%C~ i_4GCC_qa<90F@אŐ0(Y9j{k1DaTm\m)0Ix󱯭W)s榾 砏nzC4%zӬbZ|f^CNm+v_4WA.ca#85> zJOF1htE W|^L6&NTh.;8J1^<"K<6y.a83i!tCm ~FDse:(4'7BJt/='A+o,~"&/mQ6L8 ,Ե^Di=v4 B+X$h`F\Mw;jҼ2q d1q&9+mSͻ SA&өcԪÊӉY8cs͘\dۈHtjb24Dp+MD7>0ѻ4Ie^ vvֈwqF鏠IE:'|qn'3M<00Lˆ֓@|uIZ'<#^FәU@ \|3]t@ei`o4}W1l\5l|/zY4Hc2~7įZ#4xnjg}L5G&ļzSt Aj@o,8URN7JPk¼>?;=MĦ&&EkҼ t0KogI}'kH#T6x‡ :LE&|u#>k:Tԇ,35ѩRG:4i F:,~f/L? MS^E7+NbJ^@ ^&3EzB8d):_7QK .5@wHӉ@h0g:v'l=BvY;txf&jG*k ͙&. wMt^Em+Nѕ0{Q'Ӯ…eݤG6HG6v(kd9sU"bnS ڜfP02?Gtey9|!6} iZ*o`ΙF.5"L@Xs"׎UXe* %]o&\,3hD3[4ǼðsVcΘWw}LQ3S/qǾwO04eYtnk,2l\s"􎮄 ?v.6~@E۶C0%S ?ݦ!DT\Pl3)^?/}3hCU{R4ݹ@^D{\X,SV4D6tiA]NV:/!|u8I\愱w_t[D-jtOK68g:ICV1rt4KpjԿhAMU; RL `Pv? )$<PfCrȒcHchF2H+i%dUJRI*I%$SNͦfSYk֚fYk֚VVVVVVVVVV]Kt.%D,K3،Z[ViU*-֊ihB՗X~ *ÍQjmf!/gsz!A-[ٟz]I]>.V80T1s ((t{0teњ$V: r'9π`Q1沶p>eIc2ah$J`o6]'Y uV,zvOt8oe9?4@T6liV_~%uy)z=ڲB1^;oʝ`VvH5$I^6:kqv'k{~ߌY2G5i17C#E*;yt&j>A̹!-E3FH+KP5jIެR1Sh=zkGQ݃/+Ɗs&#V ao> ʀAIolJ8$3d`ȇZa^IQQYoTϏf!-# `1f{j̔T7f[A68F_GqËUVϏl& [f pzn8슽v`Tǝ7QIKA3*qPN$NrD) ՔMm֭hĉ*kwBPd@H8S2Y/RLK\giJ_LM!L;0'`JL‚x\͵ʖ[m 8/<5Wkr}lfdAV-W (r'öj9#\3 s%fFU  b^W<|ñ/É`1#,jV3L²\VzTi") 3 ,PG~bB>ɴnfXg n w*N0FNl-Ȥ%]„3yo)1+$Pf2`;iM^Up<وL׈̷Ӑ)6Q zI w/s;-މ1Ҵ}7٥4JSҍ6rvBZSK|Z Dv4/W=Z)4<"~v, vY`$Eo2&PΏ ؔb;PȪ%,TT'R_=ÒB0i;ixI,,^qb\ߓut-UHFY,t +3E;&P뚲GЊy#G)* OVP)Xȯ#QV@ L^X$qQA@R^ȥ8_<EY" !=)CkȖ: m6zki[!u촓.D0 2Ed4};Z4-!8eNVX}}LEi"̮& R5 I8q72G (OHu49Vs- Vs4i\ƾvRT?Q_ mBUAk4v,ɢQ3~ q %Vi{\iBΦ6j-Y+֐a~gt`)Hl,+k vEa=\DU(L5FAof%2HdtI96#,sqz%LQ|$NZ@UդBA-D:#0>ÊbTA, ];AhWײ旎>M zMwS4?'wPig ) $=Oª;RKXvi,'Ul ˈaOX+p ?p8_"}V>[LE"b#!fTv?1Q\/':oSkg5^#qɋ#;չf+Wj"D45FT=$aͨG=LXe/j/f%ϿC)J,A0˼E :/m#,)NqΑQBE;23gg{UL7=DHuNfF Όre: ܍7u&>-hc|"ˇZCq]ls"fvN޻["K -'۝4KzG>kF0`?3ݪc:9sy..6 IWB SԕRt>4JAa*Pg]I-(@RWS YW‰RԕB|NJC):w%Qn,cߢ^g`J+'L&V^SH7o8Օ4VDƔԕbq.ahF)>cTjy\*{YXsvӷ͒IzUjzZ3 =(ULRuLfK'I] 3IDeXeVb"^`,$(OLz'Q%fJ"IΉ,dd{RQq&V3*`MJPND&-&"TޤLtyR: ibZ3 =qNuLRǓ&ѥIU  DdXeRA1ޟ ,VL"8OLjgQ%&ZI!Iʙ$IJeNK4mwH\5fk&sI r+!_ܕF$_K =JI+ BRlޕrq!)dJPUu%\^L] n$ I+ɭbV~֕R1)6u%T\H u%.PJL] (+/duJYyW y.?p}V%`>>`.O NBVLk&'`S$ty jYa"?(9IL2LJpLקeʓI$DUkRe ]9Bl5,PO:*Nz&J&II ΉKGT8dT1Q2ȡ.Y |zRt"lR1<3d&Pf+'V8S,?@M%Xy3#'m Q)sLbNO\S,~V#} >e.YVJ ƕlEqq)׹{h$T|kZ̗&%X&S!IJӞIɢtbcb6C%OvSt,)+ yI2dXJ]H]"稟)<=eEǜ0E瘧[~hyz  ^p?fpLHdG@Oμf3yQzѦ&N!IE\s*5,~vjfFFbGE"NDfS8i]'6IR~Sot-EOK;-p7t",[ܜ)F٦N?9)/A+Hc M>Oh01Ns'&a  5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kuc*А:'YIC_6^? )ֈؽv7eK., v2rs1k@$+$("4ph%ѡc~yó*"AY9 a0N(51ꬨșyAeԠT&,2fm&HFEQY! ZլDT'*GQiR-z慔\L2Zeb8R,J"bTͤcF$訳@(3ǜgq; . i.LLP6LfEQ& άS2H<|xP <`QNBFA)¨iJ,Jm۶m۶m۶m۶m۶m۶m۶mێ^1ڲ{k"|-^-ڲ{mϵeb>ז>ז>זUNUNUB;~Z SN632 $P`нuok.[enX~\/dnvb$!: B Ƶ/\P(U%jQ DD;H( ~Y%*-("QNCMI-2Ga.SDh]>A3(h‚*TV h„$L06,䤏sRHPcPȤJ3M$eZMnzE#ZZ~qݵ&%iF 0 0 0 0 0 0 0 <p[{Zl_\vbc1޺w1]| m۶m۶m۶m۶+(cf,--u/è˻BB\@>"Dg^DE<=G$Dx."$#$ Q`1[^9QdV"I$ .4OD~#ZGVPPt1LXadIo sVU8P% EKV,l 63ǦJ"ʬ ~ő('BQTd> EWC`@Ne TVϮ xnˏ-E"r LX:!E$m=济Q4yL0vS&sD$C@@HjJX a`8p a!HAab?yKjG"Um F=K?;ԿWă 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/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y̾ڏ$0$il?PXUۈ(󚴴I e(((XhdRJ2s,s,sZjb)xrff""R!Ruw[jI]ޥ!!}hfXfVfFdFTUCUCUSULYzJUK*"B"$A"^̌̌ ُ1Č QhhŋzFge8_( @ @AnAMCP8,'B!AqQ "AApph8   $0BH$،@!! H! ($ Ev Eb $@  Ń  BB0,40 @A  D` '/ /y]+hehYK&2D"Cd A(2$ $&p`@40iٸE``44SP ͛~J |Mt2_jδ92E3 o{V5]# 9b_:j8nˡɴsf&3`dmwh4h:?+uvh܌#]); 4N#n~{zg]gէ..3 4͞>joSGdN/+NS%.ʬAe-ae%f7P1 ə=,{$f'l EfD"kw,ad meSг%L,h]f#$V :C<a$Dg/~?XtFdf?Xr`6c~hδea$b s2#,Adv& YDbe6&g12;؈ fLuY2&"}l4ccW]0ԌlJ lD"=-Hի,Thb2tJYPlx?7$Êl nzc2ؕ3-H;,dH0,9>!K 7plymVI:T- CrJ%,smA7XuLmFf0 V%_[Vdq6"ש2_F)9o.eʼ˪Z:j"D[Tڧ(ѷW,t-r^p-K ]\J9}r_<%۶bY4O,+XlRz|.+{Y>B ʗȀ/\ U|:cRt1dOӊܡ .nڸ $SIAp`˄JN Ǹ!,fZ"VmpD7cVJp-Bx[ŤH%!` dZDh4aeQ6n&׊2h;H&X\-[",&E.[H}$j%R35IkKYAH\4P`Jjsa{t38AxK256Xk{50scG}GB&Ԣllc@H_v,Dr;v܄ e@Nl @/IyXJaLʓz W:\LӃO >3}Ɉ@n ⃿%IfלbTI>40^D9VKdu.= ߇<1#Mdu j3q Q,٥|!i47h.q&N.'p w`[!D|@+P ֕@WBeCa+IYPm2WOwZfO#z ߉B۝BA}aVm"e#G(eWz)RcV"eY[@Lx `[ыXf5G$$S_A/vz}~= 3 )+wd0yx4kH"u-rna,,R~2'#Vqq~*XkXJhkiz83!حK20A'&TEr #[F'YO^ ưZQ!Qc0w:>ءU C!O7ѩ|i8b?PH?@+*ШE\L.dc(܍}z`*yp'&Ņ+O@x`3CIjzsʹFi ppry<Rz X5AK?dV|Qx]JʁqvłH` @̀Cյ$媹\=Տ`ٔO!2-Á(%K5fATNC4 Z9ϗmA+^t'ۣ]0_|/@G. d|i?|<?T3 G)]+(-L'5J qAn9S)697KUK$`5}"da3.IqIYQE|i.aI%IͭK.PڗcFͤ X1V$6׻g&xKjLdZFIf\߫6r?q\M(LUh&eՏ4;tzgˑq:8u'Zqd!'%g5o_ t@I:Ո~ZՑD Q۱^m=#I۸gdqp<[^y RàE4n`)*1m6}9\#{VϘi:%sJ| R\W-o>oOH2W!+2YV i!9A7׵X;~YdUq9#.5bMrp   Al'hK 0!H$PF @ 2t&d'D6[ͣ3O $ b +;{н"niUv̖Hk. -c9 vK:3/^\^FNC;:6HRaqMPջx`$c4l>J 쪤fbd+xo3 F8мoQd4Vq'A  #`'@P :H`K&0!H&X"h 2AA&pHK8 H\ H L@ 2 A$`% K@04D N ` A$0%JpJ`$A,H Dp 8$%xH@E $ .&F 0%HH F @ "T'D0N A%8A%0@ L` Z$"8LB E5  Y(vOVQ B1H9 QCbɁ@C!B!D@!y_Ĉ we(k?h7D,8 ± _p%VgxF㬅:%ӈV- T#Bמ{ ;l[I5tDj q46R[J*]) [|w!6fzŁc  [ā#sޙ9r;^ Xa ]<8ZdGWGb3e*|óȌ]ߴ_V,A*#`:mǴXTdKxDZجvL̺ipys`s>7U:b~N=QGʃaՄj-;l%6B2TN )V<~xWL#냵,ï[0Wji(L9 cHW:>xE#ͤūм{PB_rs$q."nuVDJKۓYUKȕA}_CjB [S26.!s`FkIó]G:3mF;""c$d5Alްq mipp j2 hd a ?}6YC^-\l  Qt$NzǨbS&Ɗv;Y.>A}R_$ac~ 9 Bh`ơL +% v)ń9-cH+Ga?H^7^e'Cim2ؿQ,ڂYxsx } DkUY{JZSSZ *uDh§\JNR١,d֭x2TBBughu=r8n%:_WHjfjjVڢEH!%JdёoȐod*on>J~f?oi;b]Qa=1X?뇇uCúX/,/:v뻷zz)~zwvvi]"Cii՚GeeZ=] r9uWU !dyDzWgff zca6| md6M:aXiid+jvk | pM:y(oӠ_'a ϫ ܮΖBO]';8̀pa^kX߲>{t8W<-& y_ҰY"lCj$N(SЇHȂ 4⟄@X |vJ@wc²))+arl>Ļ+|%(K()&2(dmފQbB0#iOMp#"z{w DhO/+-wgm zn8?nq"gB`ugLn<$3~IkX-\<\2~-\W}eLN8H*$Lj}T1BCA•w5?yc7<6ņrAs1V]s9G[).,n^JJjg]8{xy u>M y$s7$[%|`Lxz-ĸ)_cRV-K\ m`>$ /J`EPI"BL aC@@W!<U*I<}LƳ$y;]?8%4ɀOQmسYęK͔nc1I[q)%,+6:3,KL"trNVs8JLϗȂ`U@#bĐwZbp$nk1, ]XaQ5|SX 2(2Y"07qRw)HGt*fe8< rӷU.r^!LtL "G=ZhѢE-ZhѢE{B(AI&M4iҤI&]u]u]u]=zѣ>}t6mڴiӦt6mK.]tҥK.]4@08ǘS! cJ!BcL)CC0@H B20ӧO>} aSP@ $ !@S((?8UKaEHq9_t8 #uS1v&'"MdjHQb5,D иŻzIòQ"u/.#Wˈ}mq&b7H3[0m"ś}8mqn"J@ Rxdľl8O-#sj&\\7K.NXх',u)*SY?ۍ27ӕСipu3ݎ=WoTYW* @AUy': -hD6Tk_֢)o~c&mܿIe$oaצ*?J@x{Ǧߖ]T|ӛc@5k{,ljA@SQ lW8,* LgX2TLOQ:Hx4ag ? (tl9͵hp73 ql߸4ڸhCwpcqxkѾ]8'@0!sh~w PqF/ԥЄ: }P jS.ȃX4L0̺)t To@ Y DS렬hʄ/g# |p= vB Y@=e\eOjL8|m,eAir-\jPe' یkbe{3=w2~=/y }l[h}ߪ@@9@gE4JYdsP <[&@d %L忍rm涌S|@l @;q-!~Q'j.<%RݰBL^ݱ'Y;V-@]mq{ȱjGru HNM>쫿Ign7>5,7.)!W,A%S`IC╊\k<l n2M㴵}ZZT,FVfh_ ݠ"I.탹 Hq;VF/]ܲrCT;K_ mNvM/kKŮy*)7|:7~cQ\6҆j۶\XTnpm- nԠXnp}@7q Wjj n͌k(gLj]t{$cc뇩a?<*^OG~yJGSYy I'bV]@ RP&D,JeߌLӦ a?ҿ1 ,DdOp%uR)Lywg1ӯ@Mvf5 ʴ/BhmT[COhd@aD\'ؠO;,/+=A0dQ_v8-"bJBfQ] @V]vGʑ6<1JUhoTZsmkwz?MprZSAmi%b[NqU T5 %;"$^&Afr_ǥ #}62Lu^t fQQP[UQlbPt,S <mDD{wwK02HV$Z˖Ƈ8@El׏lBћ1Ja ijFQ(9^BEK6hvbugy ێ.11ԫI}ٿ(͌Z@6yāնwk %>!kO l4/ S6{jԶЀ(#A/IsycB}k֒H0M [}B8͚7Q)m3; #1+krÑmF,/F1#ĄX_|u? Is@"(@A\ۓuizti"d|M-*\(Vͪ:˵jߦG;6F Z 5eHU; **5^kS0؀9&NX?:c(X}[1˿h-2۪ L~c{7ФInĕ̖]:dTEtWK y~. ^$jdD`|2 L Ԅx eIpK6w5n񻯿@I >6 N+kx]` Iq# $! Eq-#4T|]/uԒ.̥$C -`'o.ga׺; >Qq]F\Wkž#k JA.`ޒ^dq: .HF\m fWv:Vߺ}9- zw_l 3T[۾XC45I9Ԅ !' P^j>قq fSs=;T^z:a4 VlW eK:O-ʻnjW7iqptG,gMUE„xK\zqUMS5 bW+P\%a-EJYhr*)_5":*]ͩ7WD=;""WOױ؆jG24a~WKt[">Y("&kYFjDW) ][bϔXMKHk[R^)egؼB,K%vB"[!:JddDN"D$Bs(E$uh,?shӼ԰nш9T#R w;lONJv1l:̝*(MRyABg<)7/C-q~ cYQ3R$5-ƲO)K{7`Eρ N~>FT]G=vRƅ-5Jj'~ tZH'7h\9 *ZD{iQ,X3.,5DrnPRUo X**>RhX Rltf@M}<0Go[)ΙL Kr Z|qO+zPMvzWDtjرj. 一z ^gJN5h H&i5ń\snR)hiL$(-UY\u"Q *B Ef::W\% ]"wҠa9iWH S\bDN,`Z=+7؍_) ș U`Q뤼}zz\ZĠ& ]"^Z^ܚh *;o{bFoEwe5 Wko3ȖR=!QY }k`uđo1pjc[PZ~&UZDž0C`b'4rdbfpy7*w&p;2N ((XI-jas=:VNt,=Ԁ0!hg-W~UxUtZ9y|:,UrKw ( 2v8j[v=&4۪u0'1pKD7\wo~<8Ywiغ<Noʈ ++o1NY &=R+}8&%ǡ`_G]ٖH(vcrԶp{i@Z7zdi[l-] RbMkI[yƘ!Nu?SNz%xK ;(dmJ˚"9}>:3.MŸ@l*.9g:쀥{|x7f0a~n4MQ<;/%8@;XJb(T!hń(8(m!5| m ~D(}"ҡu| f#~l$Z8{ʼn2蜖ή0aM8#XFI}L:IS+v{1*5ȼKy13o_Wur9;WNɝr g7[$Ũ^yn;D){8Ĕ`M8eTb,wA<|}+/yo j;%Ȝ-r΄z! n_$aV}Q>.HBD mgp5;j{PwL'|SZe*;MlQ-n&`!h gq!۝) _ZLWJ6o2gel\E{rB @5*wwq%[e@4@%0+r{,EՂeP i_MvgNs"i=J@!\HM?ۇTK]-P3~yoMi ec$Cb5MMJӐ@S*ewQH?O(!sY!h0GIU<Ԯ=P.FƠɌhSxdžJQ*o_989V+,zQy*Ml&۝ ?lJpN]ؿ(OT |"t?U\J{U(j8%QF&J̐[epUm[UTbѨۻ)YJ М,Unћ.HVe73AhMį\Hbu)D'm>D@p] 2-u'Tp\eD_.cBF8@#0ǚ,G>>w8^Z+9b_8pWm3o޼=Q~dT # &2\?\$?+,;=`ؽVWdbR`r- &^tQ2x֖yAPqyrQ:t1޹0^P:kؠl)J*T"} ̖Kހ)`FpX4"),VP^2&:SP e(,0[f@