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_exportsu77 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 R5ztB ]/ UHOL-Record_Benchmark:threads=6elapsed=142.482cpu=226.001gc=16.506(/ ]psWo啻 ih_ };@m#Q)}"qP%as/=bhOk9NwY̏cJuXnhj=*((/ _DKsAƕrKnwe`lj}`c.%M/sThEB*i;"d>(/+lԀ P Ѳ7l|0t+LʝdffПŋ\KtIЈBx'2$c1: QuwkZeR(Fv3j{=; dҙZ"^%7μFҙ]q$KģRdaoDJ$LDZzM tYb!Iީ~c1;䝩N/e$dݡڨH>ӓAD U ˳ZPI~RC=Ȫ)$!|W։7U=ߍHLIe],܍[76*: ȃ,5Km{a ([{QĀPh#p@'&0@hXhpC8DP 2,,DxÂɎC  ,L`hX'Ġmh$dAƒ @`XhCCr#lJ?I\ȩJ5Q)3w6l٨,PՐ?f%Pէ܇5Xn/֌&=ٮaJޔ{wD&Xڈwן93BkjwqWq$'}YWePhvFgD6c/.MsǎIb$v1#[GŸ">bpy|KFDDu$O"r >!4C_\٩z^qsT:ܯt^ơd~+u'fM(M[b.mJ9g_-$g o6C^VN4-7BV82B #~{G0m<#3LR'*_2uGC1*3)ȄƹVDs1ckc+>j&T:5jdeeDJ~[頱eBLJ؍==1w.֨* W b )pXJΜWV;Y7糓5:۪vL&tQ UT-&B&wRbzMŐB EB)WEoii 7O1!p$:Mj[QYoDNv">05泜%Ba3@@ (ʁ@ ``( B@ @ Ð(_N-.kFYCMv/lq @Ҋ>wk2Ҍrye^>=aˣ*MsKdLI&-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 =jjզVU_2bWY)MOs\~}-\}s-e ; W|C.-b' np%Pg0#@ 0#8A&$0@ |ɆQsۣ@:}B3z~ʓt\Gܻ74p^hV O~a&bh@9Ar3cb<3x#/>?B l,m<04+w!ՒZ6/zcRUWS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmar    _ 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#!f;X:%SkNV w,[Y/˼i"rlwT:{XYѤ1*G.%]ljCsUYV4K_AS}%@jrVF.SD=PS" (kRx9FHmp'5 _2UtyEWޤ@P$kP(FlS!D7|3m!πPA~b޽8T5pC c 24K{s>[t_)*Nb۽bpK1*誘|p)(A_:.sA2*vV \94 5 m1mbۯyў7>{M~`18ngyg}<`5+ lصyBC1!"l]So}kz>Hos3e}(}[? <3;0]]o}Ǟy/7<<Rm7 Hyf(o}זy7>L>PLvs(HA_Ŏ t\g1ǂ@dQ\ 89 b1dUQA 2.v.PqA\Ŝ }WS2.X<; b>ر@xs*htAŎ d\s1Fd]\ 89 b5dUqA 2,v,AŜ ]GS 2,\у  b.ع@ps*AŎZ\S1Fd]\ 89$ ]1\bӭ(՟7yB~C؞9!!}Sπ}g{'>@ X_.4м> p PO54`as~,0@d>DC0f<3~$lCXB0ĻX}̼ ZG†&XU3,3z)׮Ѵᙫo [;iօx 6XۄߏW屻0*,8WÅvaasU},|k LRxa-*yd_Uǂ 0ѽ)=0CS}-0o. NK#Md[ޘT; GHQ/lp7/?QKQ txam(yiiFYXk &GxaO}ɴ᧼Z|XS_.|gܩ#V-sYzfQ{7{tK ɛDQ`*_Dwi%&-rSIIt8j&PI{|],1ZTIQ܃o6L1ׄ_J2Wn0n#7[HM}$rE<_r=yӍ-`q%>,YEKh@-V,AK蠴ՑȓEEkclUCJ4 Iڣ hXG+D]-E=+2g#A+ (BA #-@r2j4OЈYD5d̠9DD"Z+0+RZC `єBd ABED "&  d"$Q^k$X 2dq")! UutD|[QWK4C+PN,D&4HD zn O qhG$X0KNV,yI}.]>:SæLk"}ݤIOL=@%P!A{A-M&J{k+C hF7QTQ&m W+]8kzD<ԐhhHF-9 HT̡ `DZHV X9JJF:-P0\hD$ `PIG<-# hG) e2j}k4y_Ah3 ZX Z@ٍ^Z@W؟_ҟ" D?*A|Jiq4iqj$.IU'M6@dD4ɊpȗI@H_22&8Z$Ju8Cf$2!L.eԐU (B!>UX 9Eb% T 1 UG,*\S3@GXR oC8M7ld1*< 5ɞ|5 1k9=z"擂;XUek "'h`ֶuNJ҆YXۏN+v>Ny S"LDI=.jY::lXrEIMFf%%RK|RQ6TeԄN$ v蓂/!cA,$AiRLhW{( ~nC7juaȶVW z3@ɟ%6[t.HN)IPg3*lU5dE.:5d/FH_rq Щ):3|qƜWWDuG06;ݰǬ %*aUGjDm"S&#cXLp^HUY0&MN Yʽup#V4|dz&7>pg(%p,Ҙ̩ Iˑ &wEƁED.rU j-ҐM'؀K H_\0Ҫ@GjHm@)&#a͂MFƁ_DWj:,҈OM'E p'g1+RFC%'#jf2'AfE/|!.P,*%Ug>7׃`C BH\eTYFĉ>.3E(pzE\x8S'''Ͻr/pM6ý*26^6H_"XPw\[GWC¾KE Jx7Q xk!?V'㹰]>Գ;Ķly7Q2Ļ.4KrO1WoEرPbj=wqvK7 j!խ?V/㹐8c1.(&@+D-7lHx>ͷ 1W Ě&W +<5y׫;?bM țl}eߤW5;~?0 C B C "լZ"A "1;Jc$I$q1Ƞ|B@! af‹5O~7{XKrϝG9!#0weͼ]p;mi{HKx-afr )cUJ T ( e l~ |q~!7f|rrgE9V{%_ M>J2f:_.o/1>V v|oLNnE=ߞzODΖoOK"g''m7EvX| bfc{HKo)`ǕD162{1)lOu%TZ20]s_MD-c_`l#ReH)QQ (Ҡty ,qa`Hy&/B0 Ey iT0j<] iy  ; 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 =jjզVU_2bWY)MOs\~}-\}s-e ; W|C.-b' np%Pg0#@ 0#8A&$0@ |ɆQsۣ@:}B3z~ʓt\Gܻ74p^hV O~a&bh@9Ar3cb<3x#/>?B l,m<04+w!ՒZ6/zcRUWS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain W W%5W' :HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/a!@ bwAWAx.q[!dgd(Θ/;G*J** 2AdDa>& (_x@աC4dʲxYeYc1cuwt'D,"Fa&"섙YUUQUU=Q "D/H!!>!'73r37r33r636S?} 5UL0մ.2DcH!&5{c Nn23ɬN>333jFTEՂDH#ψLQB%ӌB#33 gtffnfn،Bu_UG@hG0B1@0 B 

>>}/ž??//?zꩧjj**ovovou_u_uOtOtOt/Ž~~ޮ{{^~؟ٟٟٛm}ٗ}ٗ=ٓ= {a/셽c?c?c?榦b)(G9Q^ybJ+*:*R*RQ*JE(tJr)////WK-RKTJTJtA:Hiii)))41!h1cn;N$3LLLLl a6Fը:QuDՉDƮ6: Gc $8a`(00(@@0@\.4,fLFg4n9uLLwf^_g rze:(gsf'srv]:K85_f $4K\Z<̍7_/Fڅ)/ډ۴I͛Cr;.~yTf/i9WR1s;QSx341ɳys;cY.ųBe.O:1%VnRv,q]6Kd00$i˚%7ô t\X6Kd/0Aƛ%ڤ$R΢iOTλ.4ObN;.)+1RQnoWb:9wW2gWb\g߮DjEr]IyEd柮Dr˦]ы߻:ˌ>.w%u:3v%R*-JLWT''J]YfJ\lەH^N+)ӕhqQn+1zQ9{W]QggWb\_WErNgϮDJEe]I3W\*WIXF)-;v%GX;J]TҥJRTە\(W+qcQѕ|D+BQwWbdYGWʢsOW ڮE8a٬Y*DNʜn&dhd"LfB&f&KIەLc+Qӕ,“+9wW]KR'fW2'f'^W w$ Dd$S}[u n5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/**% &i̧@ I%%&-@@y<61FǸcccHǸ1l1~ԏx)M )5)B )H))DD B)1Ci"$CC2e(,K/S'zww,3+133y!Eܵ]VU-TUUcH(GD4Siff1j10ϠI#%ɒdP±E(dݝݝ׻+3"3Af&2̦S&ֶSUMU՘*df#";cfčc1l!cc6h$$<0@( 0`x0PXhH8q 0 $H0XXp`NP8`ԧ>?Oӟ~eYeYeYeYeYeYeYeYdIdIdIdIdI))%RRJJI))%<#<#<#`Pmge&_~qfmgƜK]{J<Y<?ѓP)ҽKnML,F{(Wx#1p$#O?F'S9##=#%\6N<4_ EMH^C3Oyf3#މSJW9ܑS%<k{L#wKA;յbgJDIK:~BRVa c<e+sj;1+3ga3ysj84ӉRih#nML'E;3J4ǣf\L!1pJzy/bUC,IA:UV2+Mk>'J6]c8nbǣ#`E1}FtT:[N;)s?7oL v2* (w4h,t*Jj~VcXZg}%LḲi?[dgw;{Yʩi˘ve.E@4SĒoWtGidsɟ̪dge9”e_\BQ,j.bFKq]3k^2^YUfH*EU* VTqR$E_wJVrV+D5D5X U,ez$rDV2WZn Ve5Wr5P+\]jF֢zI PfkZ˵Xrb)K$a+ȕPDKV]ժ,HGM+)Y6%`,X12KVP5,TaBY0qFlISlr RKvq[++BQX֊nbi(VR"WIr^L*b Kr kT%XY,ܬ"ri=U*VrW+4k5X].j(d"H{eV^Un #WJ*Wr5T+F땲X ʹBRj RfkZ5\RT^ * VtsK+ەBꕃXUfzh~NHDKj6Z!jUDeao0267Y>&1~ aW|pgI&޵VLpͳHu9H ܬ;pIG^@ k͂p]^3~٨,5Sd -듙g[cU`#e8C<g$Yl4+{C؀bUktMgkZhIz.0fS@+ 6h0\f&;3&.6[.X" h3x6XV7Y6KN i6Z22qA )6d }gTe`8={A{Vn'& 8=[DC!I#Q ͟KmO4)Gr+ l;1@ NL4 q޶mΏl& V~^Px !5TMfњ4\a);dyX Y-fjW2yNk )uxR'ӈ=_#-"0ByYsjrAߒW(l@<,J^ %{jفt13KQS2%.kr{b\K-uӆl'M60; 6[tBZ \c^FS` 3pq<:u 'H`L |qkYc88f<*.bt?0tỨ8jqGTq:v`q+뚏@#5%XvD@ y>B=:KTYVVWs@1%.GjJbiYEf#!N-<)%ȲZx8k7xtSKp// Ol?f_=g<7N1{xw?cn 9ܧB!gV;ό%,!?;ޖ|H10`h-^D-7!rQ3"5 4EY2{?|'|фVF ښ1GP iCP((( y,Cpp';m۶-iV)^kmSB]]=T~7`k%Y:kQI[J]HTJ}ܑfk)RzRMB CX2)  8 a!B!"T,\z Z>,cA sq=kv<)t}S)AoiZ} \n#@mqL -Oଖ5.܁AWk ܐKP_@q'e%tdy6S[Xj(/NV~~_PޙB+`(7..fqUJa߭dH2n}Hy&Y`–aDv#DUIA9㈤{IG.,t.! qlP=Ui3hA!Jݣ[PRy\U =r,N;!Յ2!tțnKAGQǚ s9KY[>iV&z#xΦhHOa9s-+h[U0oQ[9vPO,-O]TU 84U_*#*TB-h f*f1U p*P0*PC')侴.rrJRHȶ+ #)02ِBY5craLC6-*4B+$؉#^F3Fb,QI! E\M161zQ;Z&p#= @tohN ӝ{ 6s)tH):Sîc2g?(2#$Eu,őqk;ۿn$/c &'/+[Ons 7wz qWH*24CbۇnIMKj8L(v]Dž $_q9k]_C" ZܧN&=7d+'إ. iOUuL!\Ɵ36z-A1tt8" F ͑ͯ%5xq:WJž8n]r5o!,\&gKN\nNK]pgBh"4üoen!ps~V]mޜiW0'x nCfS6WU& M6QU& M6QU& M6QU& MrbJݐ}t5K[Wh(1 ۦ lHQlYv#- 1j ӷҟ{7Zh &e_ "f -_7qger(@Qjh9Cw;"e"kd$"m,$,U@CsF]0Mnd MiO]<S&+xEqh뀻vj`@PC'{ f/h P9*o!ٹ Ec{w1ߒeaqC͇sؑa5}#B԰ \v?c*PlaGAnwG>Ď6Q ]@Ux`/ Yf'[ U32Ou] x+yMO}LH|Qy0}GUC sűfn6NOx-[v3,)Vk$DH {ޟTpm ^vLOLQ@ C}Q>mQLx^ >yZ ׽i;h&Fw/3&x`;aCx[%w$zż%m55dGÊtIz"p|T`q hGՁ[kqhOE. ^ v&bu*n YXvlM%i!16F|K9EQˇ{H1n:E EӹPT8C=ܻPwd.Py(P.rp^IWoA=즃lw.~D6ˮ)Ў*!N헿| هIQOZo/mtyOW 7"WVqVg߱!vb1s+o&(*ܡ yG ȅ % U!tG g&;ZeUG`G>(F]D2@<T|hM Ǿ01S0J 1NZ3:4\}CvӉŀ1ϝ֘̈́n$ޅ#s~p!ja7]ds Tv=u 'bTj}uELkB>HfEH8Z션@"](c52{O0X'ygS)ܰz[)F8M'*fBQΌg]w$.g(,9(Pp^MW?A1CsL.^u$S8kh1q!0_ \N{r!a!0 =Uev\ E;YD$ N\C1p9},wZ bhl=PwYWY$T qH`& O'$W+߀Rf rQ'w–Zefi vw+ okEU*!(91u^Z>[֗PbVE0 ~p&p'^LKVm/& Ĉ6VlF5Ke]y0KK^ ;,, FS*NHNp`l rQ4!_Na@D sp(X MHp40[] .w$G-R"fF;Kg.y0K^~?'.p>M;ѕtg7Ce+oԇVC:wWNhә!xԷ)r..+m [ d*E)RSH5f4-91 ˃ZoԉaO1bW[k ܠ_lsFEtNgPnx+30`ɥCg3`74:v@+:c\.YF!9){)lҰtQ2fo//bX#nQ)CwUJS:ʲ_PktVh}>~qæk,1F%n3cY tn.J-fיmc"dS,j6ipH̑st>$y9U?1K_f_ ଼jeui:Jt"u; otֹRYv5D\:+ly~q. GTa ) ]j492v4"gqPz0,A^BT޴g\y_)0+볧[:t" Z1LuLL. ԲXx/iEߦ،{f" ^&l=0v1@̔枓MQ/\{+lֻ L90o<#} uH< 9h%|ˉNJQ([=8!S&J;owWBS+?,lTMAhARrMD~(ub%ԿH(iطrk wiTS|uYwlJHv'Ѕ p|]S~jq`'@kkkiii~g~g>;ٜٜٜٝ2[&, ˄c1pL8&~jO=MmS6MmC C C C C CҪ*JΪ3:???x8*ꪫ*"""""""""vim۶m۶lI$IRH!R C$DB$DYdEa#F0Q___O6lu֭[7UY UQUQuUW]uUQLL L;Ӷm۶m[$I$)B Q``虖ȊHĿQ gZ"+"F!BJiDЪIդ*H5H"*"*"""""" "N1Әi2ZFm!Q 2 #2  C$DBd!"!DBzzhFZR$⫈fZ"1#""<g4@"@  aBB@% JV, ?Z `c,[٠|Ucx#Dmߡ.Aކe"B#ZYم%_i Zn^ z_zA/g6%΂T NY3r$AǍENH{h"}gX5J GWnz(JBl'@qEG4d@ЍU/trRs8J<K_Aó/]̓c '?yģn;K) 3Y՗\ol&0-_ y3.č>&C@ҚH|y#m! GE 1ǒ.MHBUr,=j# ]z:R58*nvA.|H1m3Ma<7{BT[GQo(X`ԭSIZkBѓBCF7ZB˵S r(ؠlpVڬYt3J eOC҇\J<d_A 1EAՒPvd-9z"Ԁ0]JkY@{8C?jKW (5aUrGA՛~t̡>Pznԏ^}Eꃫ uag7G]걡>xT7zn*^n~ꃥLNz7npP.8T\}n K}3WLѫg7Cyu>zP-f\=s 3ԣucr2IMɷԙIrNI1[)䧑uU|^'Ij7Y Mz bOɧs4_MRxe?䣓6چ46TOڪK<)|ubgDqi< ;L_lTz樋N=3GSLѫ׌H*yu6r8FSA?r>Gh:V]Rz'4`pɃ"OB4)l RF JhFeT^eUjQG*RE@ $[[}9tBJ!5/џN Rc̉+cq:M"eT" wRQ7[V}RCZ);*iAMn+jmQޢJrSʯEZuU=Qf|jǕM-쪪UG+A >4UUrWn>2wҟ^.UJmnʭ-K-rՕlbh)i}JVk*QkW$C7)URQ*u}%kʮuM%+Ȗsҥ^KoP(blLH*(2./3 !0'nZ0|O]wؠ9>a#Jc0)nnhbRO`31[}sy?#陧D HOo̴`Le[͖Tg&ngmzM&Av: ns sIIƢ]Bo|˥yWۼגH1OI/ҝ~t,^R"-w~E-fg^~K"Pd}*w>ݫ-_¥|k\ԋD.8Uc0(PR,6~FtOefeg9Cv_9K)37eY^Iasƹ :.,;29o:^4K6sv)QYs̺WiTQ)H"E+˨~u)R:T^!,JW.*G,/s"͗*RRDD>B \qI}_]'%*B0r3y[ ,W.tC, -ÍۥDg:h~!КRYG&8Y4FT)$) tP2Zz]@oqUiPnf__.+˧T?JԀ;|a ثN̅ L:,fuNcrv/fi66l6 ;)fcrZ?1K:PsDD.gK9IoXgT`&Yv&3d:gQ934Y=3yS&酙ya1iК):6Q(ٖN:@{JTYm|f"sY 5t9UhPn+d#Z0KJuP"'rG&-ZnH$*/H ]y Kpw,IRrhjI|69Id KG1&g/jKTITׯYj T&[4c*G>'G[-SKhM29CCPE^&[M=Qҕ0#=!>bn 4=)NK{%lM̨N ˙?)GN:sRߛGwvgz ?hTb F|z Ae* C5 X==i;٘즛(YT&fKϋH!QRs˃ R=%gʌA83[fL4:x;=/WNEu%O TgHm=S឵HC{43΍z{PB3Юif@/$9IU!32#tqI'11ۘ T$3wg \K8 $}Nefbd49\YiVKx膰 [ˏc'| KW:aѵ?2KKH7F2fi1O3Fii1Z{At]i<18f6,)~4Aqc`DˊWmz{onzMMc}w _HVSj%i81f27y=OV4Fn@bZLQEG,f5:!0A|~h)H՞FrĐk61D}K m}#ݻRc3"wV:1O;]W8!/Qh|='䎬Ф%sYrp|msR-QC.toAYn ~#Ĥ9A) q2*H _yprUJ5Cx{˃xcc{q4t|y7LK4Ez@&E+$0LSJro ƷTP-C5cm z~%4IO_/pab&_ޞ+,BVzHBAip|*%O oA*P_ m B"Cr+N _w̤")'/7X#3PN3rg#IM`@ )!d?)ULU8&+_8ݠ2ERBNh&p^+N'RPLËIԁ*eRhhA֢Dw;݊-K5S|+E`D"$ :E},N[%5E(`iPk}CĜ7c)&(GY=f&SA>K;-2z ̼+dp~GX&ul|p84~óC8eၓ 2K|äOK%_*~rr6R3*󾘎_Sxl5lG?]ySF E p TϪ؃=/ӆPا6K>͢t-8#1iCDY_6l $V-x|r`04G+m-uqIbvډ#;^& kFOXҳZ ,LfpI$ml/ =Lk&*y[IV(4Bj~Iya;r¸J-t}yRۼc|F;!(V, $L[x x/¡D(7?PO(5 %nѲN)mNZg@U0dR2$iUX&t ͦ,B $Yƅ$oCJz>Pt,AU:j3IҍOW wsZ? zN۴>BueE!CbPGxg򏳧5I˞h :*䁴œ6&i` 9ܑNK'dV)R}qUQuLn_mi>7gf BALl(dDf:<ͅD6IrPձ ć lIzZwpUyM/S\_  C7 QBIZUؖI:t@]L !KЍZˀ-\^9paO&|fDclBH~+KV,i߅EGK(ym^kյy`6x {X6!E j#"x :m̘6A>߸B ,i3p.9Yl{|UC'ʘǴ6͚MhTe60 G,"dy󠨲9lzdzM6&0K%8:"w22(MNVqD/.<~hDeN`{ &+; l6PR"_.ArІ%:2HцnB|9- YY+$]/\C[^&zkݚs#5y5j !!QZ -f,5f( 6ʚӲC5kl5` EWpxPW8hՙZQߏe5Xvu=t@Z5.fQUc!T3IqkSCQM$EYԤ/ejj05?w+5x[>fRUe{uF+ ԑ'L{B 1n(Y&OCȈ2iy?hIXJN(ɀӘll7 fj}4M xxv9! bG-2&chTiRR&Jc^dNpFQ4aICEW+"ي#1_}BrGtǽ #6hLV?j:F@׭RLUCC#@ *\njP}T}0 !~FI+-ĒI{o%QzKhТI{Q߽=>;T7qClTmEn0o-藰W$ rhvfQչM߀[e"7JNnMn# 00 pؑ$D~GI$ܺm˶#H"I"IH"IHm۶m#$$$$$H"I$I$I$IB;x6?m8q7mq$I$I]vڵkn۶m۶m۶mےvے@m۶m۷M$I$I""""""""""$I$4;B!Bْ"۶m۶mv۶m۶mII$Im۶m߼yT%JI$EDDDDDDDnEn0ݚ&9"o[-MH,8??;;o߾}֭[nۖ,Y$I$Im۶mڴiӦ-B )H"E&I&M4i$I4I4I$I&M4iҤI/鍒"O$m?Hmof^hMj߶iI$I$Ir۶m۶m$I$I$)""" O$O2"q۶m۶mv۶m۶mے$I$I{۶m۶m$I$IT~ q$c   qR2S ?b#T;wTfj8fTHxX5y ($H"?O)s0]T2yZxIզr>G>1crarTyFRg3g ru`JtVaw ``eczphhYLIvaBSTcW?ꢲ0I TtT}toLQ*1gKJ ,;-T V,LVj*6U㛊CRFjj2X0J=*aj`Sd1i(S=HLk, <nr` vjOLHӼ{Ӑ?Z< "i0':`tJLWLZ:91I`K>+5-`%d0zA"RTTJ%j]B|c{ɬ߅Q.K *Hn4T"5]HA4 \dlr6d ׺JU +K:UP{[ތv2RVJ b! [lHɀbzf3M*d o[TU1 eם0InԑG6C y^Ym3&a"`gY)IjJMsUTՔT$)&]IRUS^m䪤4U5U))ät|̸PHlK)>"Vȱ,E#+H:J%RđuJ#))>[QORh<[QOV*=Tz,E=IOي8Ru$EW^^~A !oe~KGyJOW(` 22Dy,)h4*Yr0o?aGE2A2Mua& H,hg<}$J%V\L'#VfM'] $? bsuU)Q%TՕȨ&6Y8.XI 6gYJm5N 9*iNdzL 3)ܳ)wQKT[ԝw;BHjQ(^VuΪ!,ܜ UInDv>AS2u16)Y,j6ϥ͉$[8*fKa^8F+S{D5Pz*uf'Ř#7W<W> 48^3yjc jd)!A-XAw8OK'gpRD[u٬sXnK~L!GE %9Z*T*oTb4`6HK'UDiW8đ%{+)",P\򷞘sO3j쳘&k$/v>2SxNL#$T޼GS7[w@RݠkB\bZ+,N8Ŵ{d4^z&H׻j)RlձC 8#Y{ga6_YƩ/J_ n1&-}e46nR'#.;We`dSF aWV&iJOBy/IPO1?(DRԝ)Xl& JS3ؗkh.cg< t@r' R]LOM3tMjwQժ9TRܶYdHq9HubF^9,4?1mcs&Rf.|zDK<8oQUF yE$fs j_}-*ēeb6vwb\p٤dU sv5B+l (l/dXg6Q9S﷔j0-19DF&^7ſ513Fg_cg5+"D<-3FSse;@U%$X  k>l9E $DlNǿX/=T,Ky~R"<0/\ʣ@o~a4jZɁ=*(]Sb (?TcNe@+Y'УLTYxOЧ0EZO#)r$nȒ`*LȈ YW kVݕt Sݨy^4^b>_[L٦0C㯛y|kfA,ך`?)v݇-_awmOnK^S Y\k2ݳM-nzSvbr$Pv.S8*Mb6iӤ=BFAC4h/!oh-!{fLWe;ӧ"aK菐?-9p*Q ?RT8"1PLֱOҀwU>M廨!bmH\0D-z7 F-HfN s&# OsMzs> <Tķ5hUAzF|0L8Mw"Li6"dgfx|x8BrKiU,z}QK`-& b 1&geZS1*&B]|ZV^iS$0R~J$'B$VjHۄ<]i"͉v1/=c($ UxIc'rG 0 !lEg6FU/\ \?c,CH0ʩ "V ECtٕj! ~BѬtOeƩk~hLiL7gUV`:_\2=c4Θu?gꞱ#IR h^Q!VpKJaQ6pK!8QsnH,뜦K u+]0AD}ex0wz /\:yz y{k"! neJJmH=XhWp,$8V iT O v&l#1x,s 7؝V:J(l0O=ǰg4D{[u(81狣I 9M=c=c TyƂnI %7›uZCX"AH잱z| zƃ8 CBJa/(QW!_We,BLnU_l|:]\6h=f"GS0$, izһ7%L_ ,B>1X[G`e4ҁg!dn85}J%,U6MUM"Kg,@?a78=,B{?(UH̘M@UiJ!ȆTcWa/6fMX-0yM"d0BzoN+۩*] p?}lg?M/ߜ&S|I>{N"NE8r. "ĝ8i>MO$Hrbku;]i *C)g[b1iNb "DnjjH+/BWÆR"FN\!i&Ҩw.BBaQG(#B}^)DJWzU^|9{U =~VWGuj-3JjU+MyMvK9Ee9]k xư]8Sȁ)>U5N]"^5}/NME9PzjrߦDJ.*Or qnR7=?$ի#P5c󚘞Os/%^;^ԡ<^gZ$H / ՙ^aȖ(=46|& #=8Q0%Ut%foZ>G b?)IR6O:9~&%|H/tj$g5mۿқVFMRw0<`B`sSuvdj'NoO7MRu '݉BO# '%. ٯIf~I?-:?(L\X;=rܟt@}KȀYv!ί~^Ú5&H'1Yx'LI:DzzXBv\@~ErҢ,A(χ8@PA5/U"p@@ߞȀ,CmR2F.dކ䒳 T"h.d yA@,`ŴV-,׭d97q <3;>>[f$ϙ@:N:[ϥx;aHs쇛N!X13nyT90(YVgE5Xhgptl?`/褗hY~('n{(`>%ߕ'z6_ U#<0TOlaC@}U"_dWj;PTܳmRchH3 J~ ٲmVwLӐ> ,g?Ul JP 6JWҝ{'y@ E(<#{)t5PYq-{Nܻ3!Sl}v\T+ΩDKEJ5Ha$O];2pRt#0:}abywW5k#Iciw5pX ~juUNҚDfy\Fc ,M^ G* lSc78FtVM݋Oj!4~ ɦ蔒ߛ0"@I]Ǭj@tX8?ҭӎJ|M92%)SJv?{HK2pLFߞ"(oψdm iKnD=3"m-"J-m[H*~{FEUUUvUUUUUUUU*=%Ғ2"Wնm۶m۶m۶ZVe`rpQA @fy.b&=#Avp6I$I&y۶AD=#r"gF%7"Ir۶m۶m~#Ғ owF%7$i-D홋%gtN̈%STJ?_m;|[·-|D=S6|o ·o[F#MDo۷o߾m}!̈ضb-b-33233CΝHE*RT""m۶m˶H$I$Im۶m1DD4Q1ߞ=3"-9aCa4C34333CBa!!ڶmVI><#Ғ[~gDZ&F=#-?\qֈ?'om[|" dG/X 1r(ʔ La!@00PR! V %SHE3]EC U i՜r ;je8Q\1Ӟk\jǒnK% U5W4#f'qUbJ)2Y'R%PdLm ># 10.pT6Y+Ǖڐzt燃}},~#,:YL^bA44/$qw]`Z a2J߼PXʚظtP~ȩ@'_$vtXiKR*K}Fep+jO )RVz )nHZA*&ҥ)PRKJhJZ ˿QD}o5rCZJK*Q>vTbuQ`U5F5T?TU]l T WNC]PI&Q7.@[ g$nC&z o&Wl}ΦJ5;qb*m}~a무}eAmN쩧[.UYFHQ-(c'W:>YTqM.U4\W(7TD(@* @!R6r?yFͩ5,PW ,0,nP4/&(_+4G_({,9\Z-@ W(` U]+9(I%@ _.< AvLIYQ#Dk@xQϋX-lHzװn ]~^`@#ZO2T> 2=oY:06%S;#:]a+?@O+@{="ç,OM1C2N RƱLuGJ8P|a:0|r)8?;;? ?x?yYl^3#lMJz,;X*Oqmh®ZQa)sHY=Q"=|}%`V Sݚ04UP=?d\%ue@KV8QLD/Q*@vijxb*"u c2^ ^FqZOIW%:kyX+>s]ryㅃPb&]: hG5a7@0,$rAT7dt}׮\ ~\"q1Ԏ٧r2تWUP.f9 /+Qy"\22p<YJ .1koxB%bG:?h~d*~2?7>vC KRxEA 㻤~d= tާ_5y~MϖZyP`Ϥ*Ws# 80bcJc @?]{sTh[ F.xgkQsGڊTj\Ӏp/Af;[rd)|u;cjn#wk,X#KlV_Jә]P?'f7ď僒ĺ ,ide?Wq6XOSrƊ᧔A.O&vj@dL֣&,& a,~Jɖ֔v >">K}6tz>Z6,Kè}y]b>:Gx.V>Y}Psǯ%(tPc#l8GG]p(4 "dgnt:hۮv\ GMBg *w9EYTO;)<PQ< =CІ2XPom1kY""[0$"$r(z ]VS  _ n'C,5⥭ %z 207&1"8! ܰeG%P Vv"1_yࠄ-UТՊ)1Rg,XQ_Ce 3E*W+6#G‰f೪ Pv}e! ̔AOX7Щ@WC[|Q< %@m(9kՎ'MUpeN_thUNdcγSӣ,tᒠ*UV$ D:3yP.Jj%۰Jj5dA|'?'ojP>6BH%%5|$&wrbYU8t}]xHuTGfjK$RCnj)HˀF }%zioР!U4LjAĨ-U, teɂ :+G+:)-ԩ|2a8"#ǖ-*-hcU H rLA[Y*/Hh[nʐXNT >UyE`&]%&DϤ]kW0dJb"hbt?#J638IHQA7}% 0A$Q%/I@eb" I4Ņ@HH(1O$6y\!x$"?|(]}/HHx$^Zb9l#1s$]+3몍96i@1䟑x=j`$@*EbjWD"W@~w zD DB,$Ad!cGڰ ć U8CB$ؐ@/01$"Ah )̃D+!ZMD qqq ҈: d a%HLh0 A/HDB $T #<x+?"6K!@>!)XTy@` u ծ9'EjT^g~^}K;C=o՝-+@v%Yrk}RR/3;(z*frLh uJ^xPje\Z/Qn. վ&FZ}E2gY-hBBK%U7M9"* 1|tCփۦV^GBS0,^^QOv~u[M*+MY9˥ϻ|Ͳ\ ǞrFҊ^R];hn뮄utF MR(jJgQ 4rr8p퉇(u0;.Ӹf(~s+c٭HP,&_b!Y)W~MvBx:ϒ+1*)B%_LC}[2=;kNp2a[n~sp@J:3,yP 8Ʉ2>c-h9&L*@ [ _ v6<4P-\o^sPEH}n?x+ZWtN)*x -\O#p,zB3>Q@czB(D8(6ŋ~^h!>wh=5T,4[ er\t9mzLPslSb"Ԅ"d׭x WbresKjJ1em:Tu9IYHAZ$)?Ol^t$*J~Xi q@@/<a!EB *ZMQFa)2nW/= պE7+w +HXR_P.u؃5V(]JNFSix:!%?2oeb#z dP}VA€/VV E@Ɠ:49$U1OyTLM("#f&I>8ldGMѷB`j+~Ӑ DgT %yR9!P".l-!L*k#7$qDX=):of2KZ֝ 8*bo9Qb_7Ysz ɓǚi+,|v@L(z@|U6- !hGf _1A  2a6enW-i!6R4 * Y5]#G_+$=@"4Q5%ͮ(isDmt"յRvb-Ч+-5tRZACV++gmf(jmj~?4V5 l &؈IjKP ,/B0VpH2 g3fC6D? Etr$xLcņ8Ŭ>} vĬ. 6b n ;qrUcfSkct#fikU'HEP,rݥL !pۄhm ¬dq\Nbe\Cgb%\i1[C{5"x#Bh17j i6's(쫆M)SR#ar+NM9Bq3Dْa10K kذӧL 1G @3P*)T Ӗ"+8ӄ*/gW~k[hߚ15fct#&Ր@H?Gfdmo?0!'ruNجOgZ1%&WelkIub E=t_Ig Rr 'aPx˄7z;~Syg#PufU$}i =OφTϫ@ҼKYt)p{9HKo0)<MRbRߠ*$kfKGD)E~X\,& RiԊTTI ڈ88o ֐./bvC8 DpQhP~A m&J}$b}Ь&KoI:,掴tui\9w["#m;9`@ % &"'C('Ly, =GCxx:Z++dTkZڰ4 ]#}p_]Iwi5H3uXT.vAÜ4$@ ?hH,%@ d@|0oYNѫm 6ur7&êuO t&#dH ƈY;ޛӘ?^xtc<$4ʾ<)lG ˷RI:DgaMoQڈ<|/5!Х$\t .#XI nTSOlNƞ"B0y kR,rA;$m%C!4֠2? -\&O#?nJFG3"`#۶i۶={ ]ێ$G#En۶-֦M$IJR6Iq!$B !D-9FFۈ6ږ 2q$$[l۶mIHdIJ$I$I4I$NvL6n$vKMJ3Jz|KW|8vx/]&=IO'#q8o  FA" >A#mh ђdr ȁ ɓ߶mۼm޶nJ(I4oܤ$[2?h73HIQDa,z (,AH  AV ?h0Q_U;뗃ӯi޲u^$g1\L8w*t>Z'3&Q]dh \"TU@}*_Eʗge2a9n햎Z<s_zPHc-KVgRP.R'1[;d+9>Z;Iu'BÏhե37K") 4b!02!ksF,R4/+$lR %=-(Pi{ʦ%H}J-QN|NoĚSͥ,0:U1T* #LU7-)Tnr>*+*ɯVd7QD- k*ꭈ^Dֶ嫩łnW)I'X'+ݫ[;ysE(nӘ>"u>^$mSO|}+xZ4>łE3`\Y̡ި>bWSҴhK8ƫjHZS)Vh JE*+aS5YS{2ǘJДh%.sZ(m a+y1 HeB(MZ۔ep3V$[Z kTeR<_bfdvޕ1ۥIjI29Sm6I3Yw9~X?!XaP։)3Ƿ 梌!ʀ3T,& (Gs_( I>@(PgZ^viWcxg͑kCov.W߫W\yx2OGb^蕭\ŷ#Z6 9xKiyVwTzN/R|Y^>jRo TzdXܥti MW&@=O\Ok\:j;4ZG5:IRf8ĕ4- ;ui2՘;L{oGY2wKg'J-@ʀxÙMU-iA+(YnjZlAz6eN>;"ZazxYvI,^QZeqAH(zL_kgv)śb[zVW!zTШlĿBR`HQ%IR&( ^F,P RؖCɒj^ۿ@TR]pÞ"#PxlJP v d;C9Ne”f{ar=b:N R'ؗs[^J*Z{, ]Iu"H̀*.gοBQT.rw[zcey!BR_zm))+; haI%,1%Zu%҃|9 a/dXˠQ:Kޡ9+ O`~wEQl沴GRt t][sk|'d(quZ.0(JDJ9cM˫%2{8Y/mrTP O>ׄ AP']_Z 3WUIŊ.. rru5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodo 5W# PHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ ܻ % &i̇/:]y 'HP"#BB22jp.ycͺqGwwvwvwvwnYYɆlȊcBf&dfBfV2+1hi cd7H7|6lac1ƨ*)vjdJ:U"zh8UhΈȈl35S33TifȌ̔#3#23uTDED8RDv"2u"5'r"ODLD&2ڎvFeC%^t@mi[rv)G < @a[XXXxp@8E샅CvăBkh`h`XX8` >! 08 J`!!<@` aЀH xX     $p ‚C HА!h@$,L "5Z{eheEˢj_ųғ|ͳ ! ,C8  ! 6-mN[s֘vƜUs9mCsڛ9m-vdNʜ˜9mG紥i,}Nlԝ 9BN 9&&䘐1#gA$g 3ذmب1z^GDG#Ȉl ͌116Єf7'"'&fjVf̌!2h+x;G] _??/_/_??o7?/ſO?'ğ?_ /˿˿/89s΍߱w,333cafg6X3g6lucԍQ7FucԍA7tcUUUUUUUUUUzD="G#7# aq3ś !oNd ",D5NYLbIsn}hfUD3ْODH H[Җ%------ȭȭȭȭȭȭmr[Vn+v]nrKRn)z{Zo[VomzKRovz;Jo[Vz޶m{mo{ޖmٖmٖmnnn~?b >&@CG 1!%>H0HXq0ppp0@p@`P0#ˣag!8$Et_N>ںt*Y${k -)N?K]ђmf^Ye9BRikHEsש#5-B՜75sm.~Lޏo8f퍣c5'y2(gJ!=όU#wjǎ/SQQJZ@lb˿)[ǯ?PK~(+}h='#?B^b-%+kErKXjKIgܥ%RY$.}?|AYdcKewH]q8X-ii]bk-$Rw%2fKZZvZ g%ْh;gPsW բ^F,A%z+ԕz__.KPI ueW/jT*B]Y(ՋZJPWʫ}"~V,?Dꩅc2T3F3%NcT3F3%NcT3F3%/SV[bRg_薨ԕ'rfȗ\%T[W%*u割yP*3eq --V.9_0?&VS?b`\iys ۛdqqRF[Uź^j: M,e_N],/+Rg=KYWSK˫v YRVݿB.,uֳU|:uľjл K,e_N],/+Rg=KYWSK˫v YRVݿB.,uֳU|:uľT?X+ɡZO}b<ч֧^ rˈŎQ`Y]ݟ1vX1f~&)s?[ ~5gc9##jqYrW`H킿JqYrW`H킿JqYrW`H킿JqYrW`H킿|InZnNU5Y!g^Wjsilسo~_l-KuQb, 3Н C9 d +$`ٳ5ge fUnYBŢgl!J1atKloL=Q%, 4FA5Cb1~vCA+`/+Y`æBlQl!eγnbرLU I#"^7 *:gBg[Mch[v_2V/{V~x)zU~eB|!3W,,?<îg=5UUMF5FJ^kkҟq=y/yVM]XesW+PUkX,kjyF H%&Y%GU}H?g1W_ - m"Vr>6ϊ'^ Y"D/HEĔ2$IiNpWĉ̕|up %=h`>jȇ/QZkb_kVS}*ߣ3'Dhp <x@mR3ޠvsg{@Ѝ!5A\pd +;M3&&%1JQ \4]<#b֗'HH 䩗CW߸߽ĹSXɽh0+_/\a!Ҹ"(zB|l~ 9ym4ʸ}|% p AaS5Z E=].ԢK*b50e+ VQhp I! \<{cx N$jUIzNb;h2X.1E~:/KQ]UWfnA'Kڰ^Zd،tv|y AVE :,S Ve), bѴ*@E+R=*|]VƖ1`oN$%F>͂Wn؜l>S C-V̬>`|-h clSTyZZp0#X6S,0Rj}UԌղQ|yWBQNIWJylKPc0=sw !)[f(,F[l#~Ѡއ= pnߡCz٬ nJI;~!L gAh$kQ_6b{EnRD 57taQAzK'qX\CFPOz K7cv`P)F;aƿ::.yC ~/Ffذ~װlla,[#2BV/dsE '?5ZpRMWö1h N).3ee)7n(=%u,4U+ZCQg+%:v$(.Bo R4$il.𕺆; vhV!' Ō!F _GAE798aو}A~5`T DU[=DC^mL<qíCQ' 2V#]EQFg %= r ~k4 /ZLcfpQCy98>#>a 3oHax3Ha-װȾk Ƀ9?khF t3߂'@ބݫf ㆋҟ(F"n(JD_ wUy 5$/Zi4\ԐGtg 0CXuC_7 n;*aM}%^~2*IUڷ;DL?8+[GQ 0VG>+pCQ$d%oe@d|{4P_Lcಆt.3p?#B,fw >+6Q;qyE0flbP-hO*^e䵉C4n))J;Ā0WBe4v)〻{.taZ w=w>͡~w;ş׼ r^Ck:N hJTf-0AhR23o w =5Cѐx>o8»7NlX(Ps!ܽ .  0pJ5;XՐhhvh8nXv`òUݬINJG[G #'UtX3$ u4=G#8+-G*2j ˒QЖ NzP]Cy^grA>YhHl8p*ף Òv-G?G )UQQȒͪqo}_K50XfĠ.- | C'{(Fٱ!VWBwM̠AL[ M]ӺΦfnj[^9c%zlڮ5=Ym>(&(kzr8C R0<m4ll[L{XS[N`9t2F24OuG ?ώOlGpPÊ[Ll·rWS=KsV(4ovY44bd ; N\_ߊVo?K jy(\fa*\]w:dMn/= dԤ󁲇+ƱaD6Bj7O1@K1eitaVSO|Ei:b}ΉKٌ' J8 /htM5^t[/j KU& 7(tOQcYBT 0[)`cǍ4j՘2٬8 $|f45\U4>#vĝԼ4Hĝ͉ύ~/,H@+4 f/iW$}-}^M;[^IÎe ]vdժS]7 j6jn[: L_rHqc5G> ϭ%DB%sl+P5H/h\|%^T/-'n K& ?C&1YBT2[pc keL7ٴ8 n$305^U4#t LE:;'~,̶|Rh U3 CkFaFp@l5mī|c;o`& >3Ȇ`Nxl(D}0[VQ,O֧xET-p:qFv&j`8&njl ^` KHYxzyb_nw & :ɖh9'l(NDi 3miyK2Zۚ&EbKg9Mq+NEb"ip=g (ea!'M( l^{xUtJ/jOQGihn"E z!`0!Sl9o.}1tzzh,vj΄z ?W~9~Kt7L&=&@H'( l;T78,K/:GiEѮwi4q4y,LJr* {K:pOY-'DJ0se"%xS90ӏ>Iʮ|tsbBVL)ɽӞLHSFl4[ᶑ{lͳu:[gl36l3+CT Q2CD "2Dd~9?oͿ7{=cdM-Ծ/KҾ/K2zqiRHaY!rbR2:+"&krL19&,&b% I=z7zyymxކmxnԍQ7nnnnnnnnnmM6ݦ[Vn[FnFnnnnnn6 y  D!A@H@H@(   I'tϟO>gϞ={9s9gy,'Ir$'IrIIɝɝɝqr'qLI2I&$ɛɛIIIɚɚlSU"zZ^U*5)TUh5Uϴ^"$I$I$vE~W;S\ETUUUUTUUUUUUUUU\5SXoU͐rX*PUHWHTq@DB*0, ApPH8 $|5@!   @<Hl4h'ic$@ J g>Ba@ DA(@    DN?tj`ny(ZRV t(+J,)s#N? _IQolƤzI:ܓPRj}` ,`\fR5TYnG܃p08 AުW:jcYbB !%LN-Z"!Iu20c氦%ָ,*;Q'|ƿ@I\:yI9׭ܹ0'9g+7E.?˓ˮ8ц@ܒh2OE rz^ӫA.;r#!pGC2|:<02О8771;1`dvẎfe%x3@~I ~0B2י!h%cWM~;#<͐Xȁcdf+ΆfVgwB%f/sEa$ ^?P 8d3kY+Y#܀뀦 0~~ }~>j_ϯxϧ#ɅNЛ9hc**0|> =%MB잍<7 nO@6wsb;1s^*`.zZPTѵ8g9Fgqc[g }J=Bā:0y>[x<%HȉSn\)bUjA&G~A ;JPE !v"?'qEĘw8˻y}Qb6WA.2Trﴡ i ^0wN x:]6֝ 1E{ٹf ֝"ޗ=rw"瓘ɠƈYV׻T fi +bLڻrF3f"݇bg3b=߇60;4Q X)NDa2{=g{k4c齺r۹-  &Od@雑Yf' 7q;26cl!j> șO T㐨Uz'%nsQދmiNmqyЍVmP) y$*jb-2hc@CPu$ee'mK ٗwTݓa3Ml !.$gOȁjv˨zu8HnΑ&·3a)L6ӆL )a=%z ,\/"DrXUwI-TxcU"≴=J4AzɼjmW ZoB .~ [,0xJIV;|5/w rb dz|̗0k#.*%.3EԿW<V~!!R# cw]B:RXNcgи"j,q4iF+@MmzȪ⑦'Dx  0 %h|#ҍ Z4h)=y"$j`k"VD a'赹TX:f7B f]zumn+XUZ JL/ ]#ݠprA:;?t$**%<bA[BAo`&vPe2SH2ߐJ/"aSaS7#_i~ 0az7CjX/Zd*| /L)fg"M Ȭ=?ζ kZ_Oa'j"T7 ~3ʬ7\e0ݣK 9h{W0׉1ᄂ b%].@K>!qT4XcP1Aa7r<.FY +%kmZս,]%MV'&UcMmgxZ,Њi,R$$)\EgTV/S]TfmjIȨb̄; *,PUV"S1[p3̒h=lu9YUg}_Ƴ [=ξ_^G-&Wzr@WKawdjݨ j;!6U3@Z?I~V*dKrns s-֙j-YKZn`x-aY$2ĵOǯuTXC7C&n}& AD"A}~7].(׀/GcEy7ZD]H2 e^於V]ÑWewO3/.˪.,_dcLB .\/*C]I)ȒSWef+ɵxRt,RY4KO)T6K Tj['E+ZAIIKRYxJ,ARYl@R,:5K@T*%J7ow;Y2ژ RėJrD,a%sz,q|"hywf m1.ӛfoIY·"YbXŹDip)IlXVq.d%LxN/%UK$f .ӋfcAFaOMYXŹD,1۳_ĺXJTPo'2%I)cHeĪgzJM陨hUL'ri& TS(.7mBFghRU1ţ=ʛM &rSMzL'X)Sτ)zZUT(c5e&S3M71"DLLL&hSFYS<״T3DU T]qdI׹k$MƠeOu\g):7^N ^hM~]+dx %[RpA($ߦ'YnWR+nN23N\]ǿKeĪgzJM陨hUL'ri& TS(.7mBFghRU1ţ=ʛM &rSMzL'X)Sτ)zZUT(c5e&S3M71"DLLL&hSFYS<״T3DU$625ИHi%[$cr*"p;!h7;7RN S|Zs!Tʔ=Dm6T0P9/TTg0L#)!{@L')>K syϜicn1%Dj..LVf8.MrPYK-e'^i)sl)] Vԙ0Q3EOkfU3 eLI%R>礮HK`H$wɔ)^T \QE Vrim%5zH|$d|$UR<> A"D^"l(L. ux\g67 ^RIĵOBEV%aHi)' s1db[l}%$ZR%c)K4W=q?O,; Ɩ{#cٳ/cOR)ZѝXyRCΙiE.Ă/6>N:N8h'gñ(;w1Xu&ƢGV`̿2'w:*Nſtb9unY*EnY暢~^t@M~^4ODEk/z)N]vt_E(ΣsgeOG/J s@ 5W# tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kvb*АF'cl?"vo$IHҲ%9*d&k>k͇Q;:qHϬ@Dّ,ߦkk$z PDhdkMlNj&,l^ 5l4Ԅ@:aA/#=(J9>C%:&zDs G4ISz1%҄(F#FQ i21J" = f*=Ҥw@U&Urp'b AQJmєiF&ƑÃxpFK#`4҇lŸ86tĔ8@Th4(JBQ(*m۶m۶m۶m۶m۶m۶m۶e5v/)#|{Es k^OF\cr2W>ؽus2ZNe_&Wk wZR=v8ZюC{ E0URJGdPڣx@)"42>aA kgJQb\<&,$ dqay6(&ZT1q#2(ENRDk9j#Bz17B˲,˲,˲,˲,˲,˲,˲,˲<x˂YtdItI,e1_/swcm۶m۶m۶m۶m۶ӝ J'_\s^oǸn-Z\-6 .@tx촏}Yz,^pX^H_{]2&q!h 2dJՉ1{Vд4H'"/97 遚j V&Ew-B44 Ekc-KJ"N̆iHj%@PT|?W(PTPT4m捐sr wd v fi@ȜV@虤[y53Kb\Mc&1$Ia83@@H (rJCPap0P 0 B  @ PyK̊?"[}D$[?H!@mh X/l6Z%1q5GA"BQڙO1Պkr` 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/ 8HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ YTJ$0$il?PXUۈ(󚴴d]KAAEinl&_ydd2\Ye方eefV 33332  q*,q [n2Ȟ̨̌̌: ِJU5UMUSUU -tVYҜ©*ʛ":"#U$!, QeH33tg<33'%32əəqڶ6MzX5)H5"j[jO$P(<@ˆtAI!(@"Dؐ8@.Qh "AA1pph8   $0`s CH)4 @ ,`pX@UP("h( 8P a8(("4(Dh80,   "  (, "4E4'$D2HF$H-I$crrFƌ32fd Όm^+k^+Ekڲvz/e?z"Cd !2DƌQ_ @ՔW(*Vҋ߻mBmP*i9 U:KҗJL9eDL DqDx/Bw'"Tx#ݝݙmfee''ͬifM>$KrkĪª*i$A"*83`fe83837Z+螛k;׶~/i#}?///)ʟ)ʏ?ʏ''o&o%%O$?O#?#W?LrY>3eș#r3eși)#3LLD2e$"&%%%"]]]]Y٤ddjf[WH:)4ZgE<âaAS08h`ڴ6Mkܶ333vn;s>ϭ̭̭̭̭mfobo^k{mZ[k[mmնR[jKm-vNi;m۶m۶mmo{[i+m6o6o6o?N6H@   :  D L6䪹[ozLbKhl MrI4BsQwn+`g繢={Uhb&_~/aÖ3֟䊮AeNtq&EKT{4R[KeYE_#{8URh&Ezpj IK93@szMlZe0/$+fv.)U /6+S 断~H&[W*BmP~-C<|&&e]*nƒMܥ5q/rJ"|zٗrIgQt-xk՟cs5wUJr~(cqx27Bs o6תfqŤ mIlmPfUAzAs*mEO5!d51fd12@:_ᢙi8tcxk03q, /v"BϢ.Ӯl/:t.psLby~-"neB{q|m=c}nhdu0w;}JNJv{MH_mh\5Mx]eHн[R\$]_YdY Z[O]__l([֤2[|_ye,Ӭ.|[<V/o#-AXVYV ٖ%֎KY %Y[Bګ {,ː+Lɇn0%" >t%כt漣)9QtMxq*~ˈH{vOœZq|o=c{Ш+5+kLEcV֢0R9Y0gm#[2uWW~VM~@4kcgQ ܑx́ϻ*ʙEN_]%''%esPIT>ϧ-mnwA% JKIL  >[CT6sF OzE4@l+܁Nffxx⧛Jr4і%`GV_M͍~Dy?syZTvsW p N&"~D)΋\Ю:#-ۂD^޿ψL>ȝ"pkX3Â:~쥉T䱋j<,_JQY jG5\0 J,R’ԓ!|{w$uq/_e J6 FN QA#1BFJzƖ< :`p]҅Y_?nԪg"+ En T]#TB95I_Lq/b%*ؓ &"[}p3K.. 1' |( KI~:`!C "!" !HNP*dh %$@G0DX@ $AADB@ @0#@` ($A8B0n|!'F V@,2gf~9Jp2Wŷg`Ud 44aqP޺zAf˨I<}t"hwsxakWCOCl-A.d!tx? X c7`v$quf2@KBK(ڀ1;O2}bˢ*GZ$׍A݉r4d`1C)ZtK=C0@7Jw([{]&a`kپ Rҡpl!'ȑin({.Ѕ+w2h8+v$,KSwlXUv톱q-Ұ*1fYk1 ~>cpt3PV0hqe͚cP7k?ιT*:j./0FW@PkA%O@v# $)rB#ž577W^р F%F*#_MEʊn5 WH &QOC߸bld!5Wh.Ydi)"'h:5x̼UNɻ9 eI9yzΡ_ oDQʉH><4޽arsƢt0Rsdf;W)k#%%KJKҟq*IBAH9 QCr rPC!B! B! B_bDCꆻwe(v2Pn}yn v1K DeD\RK߷gxFH憅;%T.X `] UnUЪ}q`rcMzDg65C&倹пhPf+Ğdj]H"f9*"_.͞"D⠄x˘\A BxiaY0X"y LMdkN8*$}$9?S ӎ6ؿ< ~{_ܰO teZ$; ߻h"C#eeRgNǩ|L/o~޴Qt.;ݑH9H&+ɔNԙLsNogV@㙻N9e FN5yb`rkI{ ck5)ylg3*l'a46gɧTyt.B Q QZ7cyFs-;O Thw9l lϢ j~[ܓ: e-@z.Rar!m~B@ / &f]Ӟs| "2a!L.jqJvck-7|ڳ; re;fU$ +1~EyYDztbpPs+F#e8L5Ha5PDL`TaQ2U߬>ߒ ^24`V.Jvs> ad 2's'ƲТ:UF_/:{B"^1d!\-rv :Йi7D4SiHM qݱ)gIZRH耓 &͈<`!rM*Ys ?nd]~"Afih.t#)|( v8L4wLOn)F@@ `VYG.`09 n$c xXs7d.܉ݒ *sITUM@@(,,sZ9b yV/o ' wO?uEvR*l>}%V^Qr ?:G"176]CC{a-cEAX׺d?])S a\t c@gRH&T {Jk 10ڧ0PH ' *29z=TBН;d\TDJ^fZp? *Tc @@= 5W' jHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1t[Jn'o6a-s}+==+7L "v"A"@[۰5ЍH0 d*jq#y@D^PH݆׏`&qp H8$ ʄC$i""a&ͣey4tң@(&Rf"oVef"oVeCجD.2dݲi#"VVYU.BuW5}ټڶ"#.^!ci]hyw@GqQB>vy;oyoxom}omo}ݾwn}߶vnmmݶvnm]vݮunuvwKWrs ׿_֯^-ZuUUOMQQSzMMKKѭVtH77553311//џOtKKJtsQUTă9F$$0 !D!:@BBA!HGAAB00bkqϸrD1jT^t߱3]\/%Ś1s1(߱Vf\9ƢqsLVi>ޢ0^ b"x?.SbE1]\/'Ś1s1$f/ZAtQs -Š1EA1zbZD`bƘ\T)Z$Ëb`(Q\EDb֢0"kq{ .J E1hv}؋;1TJT\1CYL29PJ$ %b<# EdZ">,OJ!$;DDd2l$0'֐dNg(&ƕ)'%fD22 HL 6C1HE2b3UpA-#"1E2V$ff}ʄ"fX%haQlRёqˀ"2JQ3VhP\ C(\K2PҙP$ )$ ]d"3PKF*,#0P dEYwC+E2X.ld9yME0XlcIuBAqiA:v=AE::"G 8QBE1A(v?|O))I9c!+|!LI9vp dS*yEWs8(G+3(`gmfO.,E}#M~8LyHH?l`٨Emd(NYlgNƩny6\f.ֲY"AjCDoLn|qyÄ˺o2axpC~WlMzJo`,Ez$-NR5'lnƐ=4(q#\;50GC2 :pLk'g1t5{ߝ<:1ۑ}Js hs9X("K="*;!matljY~O62KPPa[7|/w%0H*İjIUP [ >#i+:Ŋ$cS07 H)&Z4DC(tG*YH&L(]Ra焢"o[Թ톤UJp"`r؂7&Q\qDK!Uca%Za/[Å~+LwMlZ`.̿<󷃗rWz~2L}{~qkD I2E`dYxOd"$)"t]tYMolXUcӤ8wv|F 2V036/,R:)~}O$Xѯ2pM-ǂS`#Ǯ͐.X:>VS;L/K"2U +J (a࿶pP0K h&YB;y"Ѡ_*:&t.pc nv '9$%Ah|I5L8%e0(c;20(уưa80]c,;PpJ˚ A`[o2U5ך3R/0&*Z 6h;/,W^fҽMwz3HTa;yVcf8Xñ(8RMj9[h ^co?F'in)zZD@_81Ř&'D"EiJiO4x{6UddàwCiĔ2%4=[-k><Gg`:mQJ]^,h)-,JyWxK5σsHكCӺb;/ۛbWCv.llH^:%Wv ֗ZdDu@UdNpv4ǾvsE~\{΅{uخT4:IS)tIxVWGI|' =NHձKTsz'OMyD1x(]A3]s=L 4N:%-)@BǢF@F")d`&t9b"ƽ~<Ʈ-XE= x܉ s %BCRLTiNYBm )>x٦K&50}M}q tJ *rvWǷ 1S?!mnv41zuӰ3㌞r޳B1<5ɥct̋;pj *4~kղ'6k1P~'Õ5gEMZk#~x-h/##* 5 z;*@]!6Z6cj%CGk>=o; W*fVM}DJ}m`1sJF-S{y3~/yc"*M\'ɻë^)3~~_Ōk}  he2R_RwI5OeVnhTKЀGĶSt"~?542i(RI^ !2v)Efңq5eO=57dc>Xt0Ia?dajI[>2Av7 Mvא1EiZڪ羙uRWb[ߍA Q^2oi 1xXV5~q%+۽ƫC5V&.k>fb[$l(R`>_3| aAʹecìbL:I m28RDPzP*H+7lA*7N-\Z){COg6܉@tqB )c2R3bŨ8t^>65 >%z9?P }GEL`\VHC:|q9 P3fjA:d5vǟTN=&(a>2=* WL&9B^PxM !\,R}Q)fmc,/b #؄]H BЇ0k`՘^]lUڬ>@GkКLWSx` 2<־ GXrZDL35l`[y{[Ks9*m/[}vMX9k'2s|zۺylΟ#{7k]3.6xֺ_kPv9+CƛOk "&Kl__AHɝq120S]o.~!&a=l UD_բ|oIuBz]?[ "Pvq{ǝm7[1y]"\ c2V: MFזWm"bDc6 Mw%Bd#Jzx-[*#γ`)ܽx\]MI{Z~IyE˯D=CZ#]Li+ZAv fa1)n5xH[2]$-Z-ϣ%bIlmCڰ%f$&LS\\+[7; 0< d=H(6Ҧ -mNf$OȠmAԆ&sR'\"W<[.OHGj5 cپ8Ոms Is0aq=XXbKO?!؞GrMYdF+-r=nhU=99KAUSk Ev}=GM Yo̸57V4)l=Zڵd![>`lyK/?&*cp^Q(5b-i礵V{L o6CC/ Kbgl%z]< 2Ot1 RD2vl2u"DzYP9>r'o 0;"iE80 &)U1͍] p˦Pl3q!&FdSH49bI|Ml$7.+\2 4.0evɣ *cJyXQeI/bhݐloc5xąZ5?K t4ݲ&p}@F9} &%AT'j$@0rgGziuy GJF bEk\I #]d 68O&W|a֦qel*m$pЇ9c/v=e-E`)8u'4s1`[xA&y+И'ܦt~WmجjgN)ª6x^͔ r-ӋM(@5m&l#9X4(?X ?SrZb= i \oD>7gm8X]u!j†z.j< .yEg= &0d6h,l qvAiۄXHea.r^fV_#8Cw BB4oՀ3be/!QmLg<Ӧ͹$XoscΎz*RbEZێw?׉ٺ7oW%7]ٷ'Z yçLObn%܈eyuq3^d$*@qs!h1Un:`1|fACJ'Dp1TWka|/=RlgRϒ1k+\SF20~CQ'`bwm'l>6^<+re'3jdMH}[}]{Sw >9tPMZu{'>ZLc-}xos3E(&ϖ1]Hw K=WP< []RUoi,u<b{炮  2.Q/VinoLjdE2XXq"mryF4r  kٵF"[g˕CfgmdhM36S@ rU|n#!C8l׺$ $?ЀBlx:a ю\nKSAbW!(F {5I%^h;mi>vҶlױ :DӲbu3k$#+mvE yLwI2yxxj,)~kׅ^=D^NKlUWkZ8|I)&%ۼu!BdFS$B@WO^I|74jj5jS X r7 }/[>.C&1+9̷s;$ WNNVw31 kQ>+2?޽b?ӂ.A-O%Dşa Oe@ NuyWq]E04B(X#ߠtwwW[ qiB@#)ƍڠH.ըZ7sP0$, L4с x8 0( 0 a 0 qHR%e<0\NAI$t9tcn4zp7#eg̹38aM1q4*|jI=sG*pԘgZ;T}=1.L%|o?eXz@41!w45;O>!lg!p(z82rZH z̼k&Ɯj (P=K*U[-pG`,: 8ɡTIle~2iW(bX܋DWu\o5.\Bhd-فRLxNbAi9( sG4+oDN jURe9 8SS\;ٞ"ӎIɅ$BDMFʵ^6ur`HC(M3mN=UMUp${ ǯC`f*bP^z0DdlwCHVūQ:BqLQhkLT$mƕ̰ 6zQ |g˽{'ZBl g-[;\'Xdf*@M *Wnz-[;m7̪߰pDT'rwZubtrGBTa/Щ>%ljA?I]Iwۙm j. R؍EkjqUا,TP\@TS]^^vC5S`H^RVӐ'$ԄD1^j37dmTa`\hZS= $ ^GlL-9ԕ>h_F1*!ܕʣsTep8 1n-,$J(607OI.}&s7;60! KT(}ʱ*Tg amm@?ST̃ J{1 <VNA޺m `yfh (P$u$}Mlˣw"&PX;r0K@66فݳ6aިZh"?d G^mp^F˓ E+avj #A T}_boC w:&9p5?(>F%THHa 7v^đ/jV-ܹrwFk,̡s~%3lXQ(RPaы6Bǽ[ۮoH<zB>jDv3ζ6$D/=f-v# #0f H$;7 1l|e@p[#Z݊[PPmrEHpfK(Mq KRX ;K m9rXhO 0ŚTHLϤT#-GL$m^E15J[H**T7e7ϯ##-PԲ\n$G@֣#nbvJ"f&?om1ەGлڰU;?vfN 3NB:VnJӤKpvInwRʸa|$5=EuATDRn5M&DAȦ:ުW۩u}Hx"L(v-םKe~d{5^pvf!^2"eTiBWPU;5kXڗVr}MSHďLR*⤍o1]! ̻{ ~s_iN* sלrӓՇ 9p}c e -JA~r-sAݽ'S9btClۭeitzIh.+Bcx"vnOؚ^6_ccOI Bo|AzvCyC+v#}%mnZ xglȨ@kqIP8&8]:ȸZkYzv,*_ݽ6-್<2nM: ר^fBBQvBFs޻!  1.`Ñ!5XoMZ+'\sfe)J&kx>e&c~Uv uzk22cL]پBZl6y]oF0Sprj*"޲]d\5y(Z2ݺц*TZxIG/Ccñlj Y^i{Ưiӆ Ic0L\)QIc5ڝ&7]Uƫ1. lo¸Bh}Ѕ&I`܇6Q 4CY2dk_NWχ@fc'KپE{G_@eϷd m u'mAz1(׭ශ# H͋wZl65XiJ7Pmm!G۹_峁z+~ECжIZ9iu.5a1N159LFȥ{.X>Y~~ֶZenڐav˚`klx/k@#vֲI8b/:L@+LqM+b岭8y)o`akZ}X[Sif0[&f kz-Ӌ|gmrP r-ױ~]sY!X㻏Fw,mq [-ex[oR!Ik | .Jʐh r5l3L܎^;οQk,BgF9Ϙ1iЃ5Jׯ3RO=vNV1ʼy^f@fff800c61ccbccb2fb725a497081c509a878276b9f1ff5333dab6ca9f4b94cb84f910098ee70abfd d29381ace5f57e0cc9393a9203c0ee853d6e55f54976a57e-c857-4f7e-841f-31b25383f867