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 33>5z(D@ ]/ UHOL-Record_Benchmark:threads=6elapsed=143.841cpu=237.314gc=19.498(/`%`u u)C ZaV)E#|ۿ-btO:IT ) \: y\KB܂k,BԵ=? 9)۫P؁R愚z (/ _pK~iȮԫgUՁY>}љRG,Eo1(/8 Pm ??bMQ ܙRf)tt.bn;粎qN1%#FO<8Ǵ?FnԚ!;R>$aZ!b~nm)Fo+DE9\.:kxlQ'2"zB{q6ԛdߡ>{x9|6#dᵆaM%F5DxZl16sv56#puTg5dtMeʽ*.FGjr|;X MmHabU2UAV-)0D@ Uf$D! pa4<@&0D  8Xp`Q ,H`h`'А@x X0;U{ "8x`h 844L`` D!<@ <4`&D0IL޾D|DtHYBTQJ8aG"Q5JhllzN[R+v6bdL!1QuJEYSDzo<9sdrgWcDvZCd2!Vn)UHV%͌X*=L B5.ܔ]p*8v$ \SxebNQWWG+nqy )ZMb6/.grVnRؖ"'9Kl}m2ٜtd'bL\/*!qɝ媉O.`hmA籪LSh):8OIE50iSEQ*r,!qUF#O~ajfeűOq36s3&/hy4~?1֩>j3F7#􎑙ٮQ]S٫ L=ъ+t1[{TkC^f=WԦnygޘ厯 On؛Ds\=#%UJJT+ѥbnb8Ա֐e|lt<.9e\;$57sEO({5ƬCޘ}_v0ٝ+(bQm5.2nECP9mrؘ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#!fdIR2VG1ٕ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!xeKWc h"H J$հD"H|M$yM$VtGfVHfR1q'Dh$q"1?odάD"0 QpHn€a!!(5.q&n 5/J!?7Q^sc7Fd}6Π/Mx%Ek|xgi/qjJ~3*@%B:[QfPcb,^,SyyA[qv( {~CIHŽ<#QJB5 xPoPj{6tۋʋ3W;|RG)ߣd1^R4 ]Dӄ)}ە>Us? AT+oK[1b‹ aZO %"g}ۧ eD K=ٿ @ V ? $[>}%ح"IvljîM(ak8hv~K `>K*4jIASo?QZwۤNK* Ҫ o"*[|S2ST2[$B ŬgX9V65 L9  ; 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 =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*b>ʬ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'#;H{iDqy7#hUA޾hS5D|0;BD鈶% v>[䍟z ͩՠ_BM6uXz#։`xހJ۠\U0!3Iʥ}м-t zs Ngu6EN~HUvF@2!z,qsezd2u0 %`&(r]qMN#*TFs Q˘ rK0=m ^c}SST1 1I/Tb*<"S~bFoKuTC̊< !ޣbv' tQn f-V;7"1SA0@8K5b{A\'t} fE[6A^Q v:5{{^nț bU8]5q뼄6ñiETf$Adwܪ-Xbs֜t"'CBxFOR{=jpbð ,m|@{Lw#~3lB`Hˣ-ta=cc&Mn!u H pkqDtІJ+ %_{߮2N.L9уvz0T*2ChjawF/5AjHMt]׳DžVUIPXdwx*2NNLLQ72Zđ?H(;i)|܊\;QI_5`LڎWFp`8zǨ}_t2\G|duR-U5}IB(lZ$0'hgKPȮ$So`M\4_x~E8GBכ-zp5$ҟOfZ1 l8BE%-˦7憮>*#n.65[xbjݩC5Y5' pl8&T,ԚTVN6ZZ?#&_իZZ-JKujR *^JւPoUZzU+UkAWiV*=z˯ҫj]ZT-ꭿJWRi [~^UJڥjAPoUZ*J-BdWoFFfdF623b6L|VqbzAd4KEЧu)HTJYM"W6@@D3k:1>bfffh7_5ôzu^-_KeG{m[ν^kyEз|/U\Z=M Sp1Y5Va/ߛYj-b coY̎2d7<*}Bi2gKf#Y+`~ W4ΈL_lUf, ٍ5mAgTmzuTn24bZgm\21MY(ef w͞{T)Hb1سwL)d V bO goR<Jڡٮ$V N X &F%q"U4.ʼn4_ɉA4BgOtk;` bM")| ͝ ULg%΀2HzQ^D{.EZ#+ 7s[1s70 :(Ba(D:>@ _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=$oJpK*@XeoMpm);uM*B@FQc5FmQ[tn-E.".b"-bE"hZ-b1E"b2 LB&$ēxO#v;Ž#;""*"*"*Q(EBBBBBBBBBBFUQQQQQQQP;CPjI6BDNDNDAdDmA[-h j"*"u:Dh&t +fh  G$ȋ<!jKngD#D H 8H@ 0 8PP@p _}G}G}G}>ԇWկ~~>쳿믿>O}Sӟ?}K_җ~G?я~C?C?C?_/˘ɘɘxx 1L 01L bX1V+ ab6fc6fc6`#6 #d//j۶m۶-[lI9rȑDI$m6l&l M4DMDDD4333333S35S3%R"HE*RP"|~{zzzmm"HCD@!j۶m۶-[lI9rȑDI$m6l&l M4D1]Ֆ6DϐH&UmmCH$UmmCH_Ֆ6DψVUbزe˶]vڎ9rH$Gܶ6hfmHHH&hg)))T">-mfD檶!zF$B"רfu~@c `fpp!Qp(- &;tߘ Dp."0}( XK#*nB:R)@L)O}6 jdDH] )mVragvrC\gCvyH H x nweLx*P*XW_=7%*JUյQJ. RzsSjTuQ]UkK/g >RnNIX`BmW+p"d,Dp1'>Z }Gۂ|Rh pQJXwWєyjR~ @U ETa{S!p׹'pvWRNKq)U1_Sq) تc-hDapp)41"p5vCqpr]%J@^ E*\$Qrv2l}Co*` ,Po#%M|5䔍 *9S\WTjS LjS4"JĪ#N%0՘aN+)V8)cy+X5)x%bՈ20hJ╈UGJ`4WÜW"q*S\ s*W$^jĩLs5S4^JĪO%0eaNx+8i9E+D\5TSTHbՈS)2jh"U#NM`ʘÜ5FX¾wgn,ށ§ I$kh"$$P-GuTy۩5`Tț2fphꕈUf`vWӜW"q*S\ s*W$^jĩLs5S4^JĪO%0eaNhܔ9}-=WVJwd2DɽҝDAD&jyPL)ISGTRvJSjPCx(N ;S$OLj;5_SmgUs)Tl5qT̽*(>%*y8f~8Ҵ_lBu~4M^UJՍGPVC' Mk]h΂f)дh=j)E-Iz%h~ ŀd-#餂+;)"/QBUV*PTN=JQJ--ʫQ - f-UeMcDeҢPע@V(BV*PN=vJQJ--ʩQ z- dtU:HRe곒 0lQ+Mi+~VREתQB[{4ڎbtOG:,**+XJ(g q5U):L+.U M0疀X+nMm+~f}ZMEAvj 5"0==JN_t(B%U^ WM%TO@&z \3'n X38pqB8խ`TGdHN~&zv&s?E2mF~ȜM{οմXN\n^&^ff{?%1MKZ٭º@QY1hzg4>!1/53n?i@Lڼ&vN?ɤB2gm~ԘMKn%-"vN/Y<ͯUFyP.,x)qK?oe\oSB|pP o_*>Kݒŭf[ ՍQj,?|^K_K*ʚsb gG>U sYZ-+T#7PB#Ov'=kU:.kK/iePUVI09UyS/zi:KO_K{ԘTP/^ڗ͒UEeYWW(e^UcL.MnZ)g;jrs>;9:iB<O|N}L\r.qr_X+N$'ntgқC,V+bZxeBɆ7At2N]Uj(Yʋy ?jZdkU~)nxM%ORc1M?V0mOCEP25H.u,GK'iJTTy*]yG)Pּi?aIOqSβ$/-_+<2.6K R//75?!_y&x{csДVޖԆLHO&i;W8$/O'SY2d[/&;ɞ3Lߟ!}92{Y)YvLdY:}/.\^qo8O1Бl# K} LN`wrr5}gݛe Pr}6a1,d%ݓ4VK)+$;)SL{=T#H\rs=b̦rZMg_zZ8YJ/<)(NNk§5[Fld $[r'0ӣ򒗼| @p03HɈB B!)RDQ%J4JAA) )MiJSS%JDR@)P (M S&MI3i&ͤIII)$$dI2&MMڤMڤMS$M&M$MZ0i BD-g& aB!03333)3333m۶m۶m+"""""""""B$I$I۶m۶mqDDDDDDDL;"l03E|u a Gp3<ꫯzРAІ6J򕯼ȋȋ<$Inlmdl! X"X^H>\09I$Im۶m۶EDIH!"9z^zJ )^BI\iE)Ij6ڶmVDD$""%"E$I"iӦM6m6mPDBdHB@*H/IHI2 ' !B!H@2l-laG$H& aBh !4 !H g8Éivicimr L$IC9䐳ͶmͶmWHB3VlfZR&8NwS EAh   %  wњIMn!|).2,vroLqljmEʜ04E}8l,HD;٫lgg?0-RFnE"}3" ͨt|ˡpWe\yNɥ,09[rz!ibg(;qUĖAD0WIv mpdsl".ѨS1׈g͋KH$3LmAEB"|;0*(I4lM\Ij!dޢ_c!בDL"cOA P_E##?'c,<.s,G2 ?HT{eD[`6wsO+ihyoh1\ 1D^e'#K4QcTO&|3M=I"Y%oIXb'ߗDc| G)]oCD,JD{Ԉ(<4"ؓ<&P䐧j>uX(ቶ_]K/S/ oacsZ 89 BGɚ &Lx7'z% H)625/Rua5ͤjIk$OODPZҭH[*eQi9IrdśCKLcdc`aSۆ17v87W."/`YYuY$@eC!PS= !)ji%d4 ~@Iu?)߱?%y |ɋ!qlpUꑳygeWU?eL((ҒuɭgF,L(kvHQ֨'< |5g,JuN/B bWkO}閾,=Sd[;@9F7=g@Taj<7ٿ&ތiWSE)).eB`d&}&Uciw.ʆb}E!Yg.:$p^77F,^@.28o tWO =Ѹ3Uin*ٴ;8 ؉ĸ%'=`XaM ç:heJxÆ6Ò]$uo5 mׅ\x3F< 8@K4o OigtL!8MVGՁv[} F` Wl<[QF.5D[lLv'ŽM}SgL23h\%jKǐXU7{_*FP*=9D>)!WI2gjH|*Ы<@hQBͮM ޕ7 'Nޥgt>3ҎȮ [GnۣFO\d 5+Jk-Q zB4pHҋ*aEkYEVAd);^ha MES8쉔<5{X&"h1+KzJq]iZRcIoMF<鴷ղITcT{7HS[ 7C2>>k%brF̿"UUTDSr};Wu-LIwc%KR}:zteZI*?A[AGR9,Kv@)#t['.1rhm('5"C*D߭+%,S3.0,͔[|& \]+eYIe%?=}>*)d2> CUSjZ]LT2Yl$UfcB)_MTybxuIҲ񬥌Ov.j&1yIB;9ߤN7LzYf3M \tt'ykZKEӤgckf]5>zgI~.Z|6F+ {eORJ fɗ4|Y[Xΐ<#O׸)OBO8CלrAa'D*:M;o&$̭N԰P0KqJ6 9F"J&tE51PP*5"H]'50NkaXLCX:EyT/M@L"~Y1M_$Mp89e%mg Ij& FP3-yuZyjpr2It%І_ ~7 CPOUd$&cM7ЕEvĵrTgNW <̄*G;S0k靘Ff]ɈGb5bV!9 G|cUx;tg#,5mh)5aXIJ݆~Wn| Q"-6`a!ycYJ(tMғ1,X-GԚB4nqL|PKܣ$"m`v Ϡ1D` ٝUN\V(kGtpxS'/[IH MWV$9<] Z--iMUtBƚ@X)V"41*ZSr1NE,5Iȍ_H;CQ|oHkc KĎ^Y 't6W`I;.DDH˿˿˿4s|>|>|QDm۶mے$I,YdI g833333333ٶm6mڴi&H"$RH!RHK,"""""""hD#F|>????_ a!,BZl&"m۶m۶LNCA(SÅGC  q"P[P6y>5JV0+9 ^զUXjl*tTTZ-%ݬRmSVV\f9(%fW0ZC"b9xR žs$B` VynW}P&L0 ^04 PvUhl)̹<ͤo%zߚIH$~KeZUOJ<_MդtXUrGSh\ ˪Q-1|JfiČ¢_ħfWQ5(|5ͥa)]A7+TخZE5T;aX\: THlB.ǩb8<hߔ֥# ]ZW+IOZ4kmj.$a*; JMuoh԰)L niU |[%f+IT]DOĦڻZX%ath~ZϓYЬReeAMnz)^u@)V~4(fXJ^6ϡ=+p ki:`&$Zb5T1c$8$]uV]#V4g &Y9󄬞؝z(rPV\Չo6rzb͜1\T+PeMo2ei\S:T*^U.sx>if0PFT e 32S2lci`YH_{U/RUu96L$z %y-q7ZbEeL3p3]O$ogY̜74.1QbIxρ)COv4`J. ^J0J3ȧVHkRaQrK{"e^)hTߍ&O b}X%1I&F7<d$D(DX*#8EEeHKBڗu/ts鼴U'egslʈT.0UԢb(]t9J(HĔ4Ӹ+NQ"mʧԹnU Z#Kġ i5֫P 7%}.ٝxCR~Q ~SH<ȓ@ *rF4#"lk&)PqU 4lu1S9$i `R.kٿ*jd6B(vSˡ} B"Mq%,j } ,M ,a:z$)g(,e/k/v5he:?bW9^ KGǧBhb=f0RS8.hZF9Q-3U/ &d#A;t*SSZ/+[ʥ]ښVPς'y)#GSk'2?}80=[=O,bS,);pXf-QGVgPC1bkl9s6Ֆ5R$Vд|SҳWCeleͭB` z5̀ 4J*D" 1<'i^p%BWh # #z6Py̎4UJ`E`C8Yy0*g=2 \1rިh_*80y;P-6t]S*!]/~ Z-_KVtꓢQL|l _jbN} 4VaMF5HitEŲ!usB8l/{WƐ~C%ֶM :\IAAA5H|'u( N[aT.K+MB3/ jy "-UA$?&N|#=Nl(@h^U~LKG}%^3#BZ.1XBU0Ejؒ<5DD i.{UFR}>Ej6sKE:FȫD-aNmJ!g5ǯtAM]wviVfpKH?{qLKgpdig κ/ \&Zs!g}SiQC0~V}P05osҋ'bc9)bOJGPIJ(+Y<`s&jgĉNv1܅* eQTX@Nw( R!F餧\_&!>I$'-R08POWq`iJSV Jjá`&1/YL%%=ExD"J5zZ<8p(3N&I,*gJe-Nc7e&q *D[t}ZB8yAIKOC8s-$qo󼖪Ͱ(xMu^qWK40tiju,,=>/綅5Ty#覭PfFU6LHdzQ))a6xBB'yzq(ٯ2aNHsR|Nڕr"d--#s?* SOa!ܶK:Yr㵻H꒽@Rq4-їY.cc&ﭲ?/A4k/;$Lz<P3ɘ%m!mgd?@v~NJ^͢)!p58y+'K62N򪡥wMRIg4zpr$;JGMȥ/v%lS9$on-ghPqWeM*1SV(:Ae&mFgapbn )\q|KhQ93A}2vm1ݹA>*˃ `2mA#gn*4- UFyl`f!M8_5NčDxvZf$D7 d6qP4.R f́( Y gtx;4uHb gJݡWBFnn09v%xH|9߮"b6O61 6Q4Kkc%FZXb6];T$IrzDq=lPkwiG 7H1R;T}sPa+l>T 1:/Cr,o,SC(}#aJW)*JS)̎ Pĩ(U[ %`PCl4hf6xY)IE0ٓzQ/ݫP"QAܴ WNuVlaQpg+ L(y4>ÎGDfWMS-tN֘c4S:k4AM5s)ӓh@:afPij"՗cI.Ӧ{P{iJV3--N%D?4|)gG ěq pM*E [J)% q8DD#шF4`#خ]vZjժ2dȐ!''''߸m'E—lEIe0|8D[oR$| V _ÇCD&ElEIps\ `@,P%% &?|>>>>??}FD~~y8(;p Na0994`dD#шF0`۵k׮]VZ"C 2۶m۶m&tA )BI&M0a„ z^/!C  1b0l0l0l<"8) <p8p8C*UT$I$I$IRJR%R%R%TTTTI$I*IR%R%IjҤI&M&I&I&M4i$iҤI&M4iҤI&M$M4i$I$I$I$I$I$I&II&M&M4i$iҤI&M4ICC4I4iҤI&~ 0 @(@9‚ , (0 b-b-bm---bmbmbm-bb-b-bmb-6I[l!Immۺum;t֭[u^nݺum uۺuۺu֭[n*UTITR%TRJ$TTI$U*UTR%R+R%IT)@>G81 ;  &!*E$?@KOE@ڝSV 1q OLJiiI͐IZp 2)f?G1ڄT$'c٪,b@.~l֏Z1z{+~q<#w*P%C~9gYRdſWLtS$DOŽK"_7{Uf3y k!-ҍ.6]l[3kV?lO3SUoڇi!]y=]Y' ūkI1_է4'Pi7TzJpJ N) NR8%L))BJjIGiCFixq0}"즷_tiD<.HD_ƒ.AM3Q)'BFi-V'3d*zzCw ?cz6":ॐ'^t菗a>BR5GhZ1GzRXpkR5!u%R?O؜&BI;X&&ڭV$>gB4m!C]ZLlb"dD fO!ń䦠InRH:$e"`iM!A2VLB"&'8Kb3an1A+>cin; N3۴ 2ɨqIFW*t!˦|Myƞw $2DU_bxrS_Npm,=PL(nؚI!pRFEUD2I0&DtQ@4| a03OM&BX4!&NX}N I $ShK w9,ՇM2cU:DqZZ-,IXI:&U&-:jH$jVSŕi!Ej-i1CnK"i-҉˸KG:UX;qwѤ(+w -үb3Ŵ-(DoHT^W)5־] @iT R:+Ӓh[?|*EHA]EzƴIꈹ& 219v:4dN_[Œ::ʴU8U)3$ # hSU$9KQwv5;s'$B_ZdIgI}?'uGw4R4[3)4&>Q ΤɕLJPFl/>.Şt $q$hPďD M+ -D/PʓE;::R<-,g7 б̰["'GiTMJHT*%8%AI?tiYeI0|I0J&l=餚 .o?k'+|%.tJDnԊ$&K({rd:iuKZ6KdXN'JvDHr hĉͰ YT΋~iT@xR}OH͓\'7&zI%7mTJ$B7=ɋHEIEl9VGMVD+`ѕ򆳷V'x OϤT*$$ۢz*'=%)'&'Ҿ`R{*uw]dOKtX?֟;1=d 491LIIIM+HpuiDL-siYY"L[RQ.IpST*j7H II#$!mu2?u4PI^٘!s)a .WM4\UKZU\ e*+hLAUK^eB^?>u^#HU%b ! N.Ijtb#3qe41$pY&PmҒ)ik=ڙIԭm2YXLV3q1a8y[az@?}}$'Dߜk, wt]S7wHLW#]{;|$50g~T>>%fV%~ 1}#Gd&Ww )=;p*Ŭ:U%z!#ת*[wdUKJOC-HTꍋCMޜdH ')SO1gd?C3{(:u*U88I!2[C'!ð?Zأ. LAtYNq(r0S>3y&W+k,eUˈ "5GHsJbq/!X;_H?Cqb̼?PKjh—1{Ҷ>ԡ*Y(Vzuȃ*$Pjw(*p1Wy=B q :44'(߾z=Ǹ$YP 43njt*0hdzT6 HH :s $mXyr ͛$?o:e-Kg ̑M9rQŋlGr;X.)4̝l|8:Q=s-;۾)=ݰ$w;G&:OId][W9#3Baۨs2]UGoco\I%&LXD|;$K48Or{P'`vFlWmr9n-e3(lN-q(O͏6u3NcƍRK2* gČ[ATAbiBRFQ͸qMц`R"nngì>e͡t2U⯮oUz͡x>57_BՍ5ϡ8v57j`OEϤΟr+ϣl2T৬gŰ+Hc@:]lUsA^J.rQ8Np$=[UU{y,.E_N#BN;|^ VZ_\ŭi]rU WuB-+:Pզ]℣@EYWI+je~aWJ=J E P7 >2+Qw . ӌ K-i<܎H2o(K=KS"K˞DKkSԾBqcҮ\JSvFUY ?/bW_,Uy Z+_<$:;uC-ɫ*<#椓 x&V-GmԗƠᖤ+lrgT|0ē4QYqeԗ](Nln7XF*M}eκ)06Z iRs}%pTU׫$擩<B׫TkJ ;H0aqJ%=9pJ_ْ-8*T%>ֳ꘱rL%R;ųbMȓ} Cϵpg~iO%vQypxl?=‰n0iC)!ҙ @U?. Q ^8UwjVjFFBdv^?t/<4}I6&v>a)SЉ֓ T%a+t ?(Hi(+VTCh+^o}R",Ӏ<>`7)U(M_­wR@Xmh)r4,QI+sKNDöN'8Jj{~`8~{ϒt5o7 :Ϟ@6TӁ y|Vv~ fr\2,{UpT|`](jœ)zSV_͌LY,lx5yl\N^jlU&V ",ǦSs%s%R"ʦ+HUm⚩@CJd~SVV Ȳb*NV})Z܉ITUäu Ӽ:Ol[Ѱ:9"ĥԀ ͇ H)|%_&2Y=Խ#ιCUaJ"IxҳZ;ђ{Kv|wsV ь#涊hF`1mьGT[E4#BnkfDm/%Ch&!DhB*B!!B!&ьv Tap8P > !, h0  &1QE!$I$I۶'Irۿ}^E4S"V͈T;UE4#Bn l[E4#BV͈׶m?#R6*!'WьI<}L[E4#BJ_oѬkU]ZD3Fg$oߏ~h4z+=hzЃ6=hAgDJn"vU#UfFXU-"I$$m6m۶mNN۶VUMTMM4US5UDCDDDD4DDD3232a ӈB$Upڶm*r-UmihF~Ӻ[f[H۶ug]G/XAȡ0Ϧ$tXTP, (L 70<,Њ_~d~Hu՚2V7jA;1γmM3tjeS;,=x}WtJ٪*[I+v}Vw+MǝE٪&'HmbMV5UkR :u3OFg̃EdfNgi]FJjܸu1cpX3–Y ( `+T_b*VD@HU9Né.ϓwh!q]>(5)<;H!e-I BK,}Xh9ϝ֝Od[چ<<{| L@281ԉ PV&t@OW}Fg#I3MPpmjt1V2qzd1f:|]x-(WWx?Ryi(> P:pEV Ъ]!h4R[C 5G1֑$a[1>@{J@SPТĦkR{?@ }d^ v+@&fFaK ?IRgaq5!IiDp\Xr4egXi(:_:j%+vLv1#OlhrY4QMJSl |/gW5.L鸣DaDJ?څ3KקAʟbY5/ 3iI&nbePKiތ&?S ʟOY\!5\IOhBzjlß0T zS ;OT4EuŽ"A*(Xg~&u=\S.O]A gt%hhgK+V0M Q8usJ4g3IZy~f"+< #s2̧#~-v?jf8fgN$3YֱqE9Sh poʭ%o4~ڤkl3~ ҏ0O;F~5; L}C?'LjDvzGL"N L'b[(t͏ֳHi땢XQHا"~>t@}cv/B4adgj>V!?VX 9QE YYxk9B6`QPRUtI6pMCdQ٢}&Q K3mH~nBf~PIg'9@\;3iW?7P6i5$kZ0{O?GgMy߳35Bx-}\;}TVGvMٽ9 8e$zUp&>7+v\'G.u Ii0}ǟ|WC>d4=\s}< B QH囘"2>3Bp1Ti|DEA~dKYzQ *x }\(iң:G!xG({*&AXm$ ! `I@~r`".-Xo0)f֍f|jdHonzf`$&әA;zf 73b oj6͌Ɍȃ"fF҄DB6!2c:Ѱ 9]f|: # fCB3φ,cHXb "3%3V"=+}"3~)3#i!cF1f@g1JV O $G3  %h 3 '+)̸ 3dKr0x0G*0c6`3fخ|E`0ʡM<>BzDf=͑ &f=beg>'@k!xr0~0F|G?:OFntSj5:\(k|%W:*#[4U2 0ʜ`WKV~mwN>Yr= 1$Wܧ,._": ,C#o>|ǽ632ƨkza |uz?wg0д?$P^0R5Lv2I*p(_96=J` VA8 ֶU=ثUK0pV QAT"(K|=cH} }!(T$ rwk%t *!TuȤFHqwJ4CJEY $(V(-NKVY2W r!ƗUE= xA)ſRl1Q>^l`)0'3=.9 __ȝyP}FsBjS7<@}sDp0L) lHX`{3 R$0B7n@!,˽yVZa%Vg4 @q+tF0*׍HNsTgX' jbPVXTԠZa2@#V3|f9T-C l;kdE_ ;%%!]jY T?J1c2Ɇ, 1V S X] 0!B*16bC bFh^ĆPsrbzuÆtM YNES!Ȯm17ѝ7_C61S+zdOX7EȻ @9v >eB ]CH, Z!-*(kt#r5DuªKD08\j >U&48,¾j^X]kMNavM&E lB\ŘԐt锜A@',ǐD) J\hG 9"UCޓVCӜS7G9{>4c2lִCsk;I5 MN?Un\ ߜ$9XK}ˁ ̊,ܶsgsX,䶋zݏQSxYoW%)Wk~ )YקUZc( >$,@k1x./AM.[H♴  MBJ1ČuxYX gjH?_U(@@,r(N:Mlw ZYߟXt;g=1 8oNaݐR:!ORJ%铤jtGߞyn4ά˲NB exBxAvB3 ,i|W 1qXgp`p++U0T Ty_'aK `V`Pc"i]Mh:ic尸pb_x\(72MC{UC4}*vFܾ߫ΈG!}26(W8IQDa4Z}@@`  ` B0BKhf\2QP6N3GUD3;M\E`E"J3=`e= D4W{Y m13r^Ն>8+fԈeғMvV>*U \c>y5=vt: (ɾgJ$& ǂ]6u䣢v\ϷoQhzyw ፩#L=+i\ k@ƕvGxQҫ#J%IZ'qj0=$0lKhtVѽ/}a]k 4|8%; 2^Q%^y)!isֻB [sS x)t)F?M.vH&Zzk5c1J\vWU$$`5V5{;qEPUw L %Xvu*9c4 ﴠ+@wUMN*Þf4+5z5\5p8HK*YDCYATz@!\+=ujMk}i5P۶`XgF$#Ϝ=T3k4HFJI5xTb.U=$(:@%e)>J"@jյZj SMw8TB 5ڻ*FiKw a;O*k籧_*2~ ̓}]R)Ʌ0 xO8g"TMWǙ-T&rP'\JiT悴)̡4XFcVqJi.ٲpNpP82htn)QAz*N| 14]ƣpQ1p:7(/ I@@Z~KX3T<~8ج9x cQ+WנW?%-!l;zd%-֠bmϣ\eQZɖYd1>N}p_Oq!+݁h57M"صw6+:J qE5{ ӟEMsGS]qu,#z<<(TᯔK0` S4 5Uu$sFl\A%5>tٶY9s@+[Ԍ<"^3`zߊ/mQ¨vwldx`k|N`gU!Ɖ:,іۻザa^<|,F5"d pV5`xExwr+"y"^@1$*Z5WB%wlZfl)UB<Cͬ*woX1Lsk[yKsuG;`;O93C2K~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[H65y$ 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;ņRX `Pv? )ބ$<PfDNDHI"DD38Fڐ6d YC֐5d !;dCҐƌƌƌllllllƬLU2UeT"SEL*2>>>-崜C!C4h 1DcȈlflL*3UfTi*)dL!?^R$%)Iyyyyyɒ%Y%Yr%GQr%H#҈4"","",%DIDD$IDC9DCd!Y,D$D" ȉȉ<4 *6DL2 b!H< 4D, $ ۴iӦMk\[mu}W}W}շo}멞꩞꩞~~ꧾԗR_K}'ԓzR_g=YQ?GַJzwWp4uwWpURwGvwwTA=2F ΪA3YUK7S\yޙUtsȎ3qr7lݍwwzw]1o0+22;R!@BP"   # DM  `Xx'is1*A 8@Bq@ #10 @  @  B@Œ%te d`R4VTpݤ*Uԕ0WK99Q"!,QQo>lR|7#a8kh cYe0h0t9`A櫚ݥI m2aW-ՔzICg8$$P]qJ}T?M/FtY3^*4w[e:ӰP_i3.!(ڣwmmoyn\d1)êjs9NWоfe\OG ΰHl|S@t&@;ꍺ\#x3VeNj4_7C|)a*Wxx^ft$/zu^՘š, %׎&"/qAOr6?.Qr{e \|>׬ B?teYQ16Ci8Ȍ;RM}:!aҙMd**xm5BD0/!J !FL4Z~S&8Q89^Ru/ίGbj7H_ >J)/lƢ[AfE-OӚShYo#6{p;T.Qmy iBtL$31ܶhD:L*Ie&Z0X%pA`b/dS =ċ,(am9Z=&:"c({5xҸzOp;mxz§$ ҉u;~O.(7wo|sYTY{tQOㅯTZhP}d#IuZdl'#8lA{@-g+0@У*r6E'Kټ1YrMbhC' ÓP,4~!3-Lȶ9Ir¸^ tt:`)OS_>מi Zg3Պ|o~B~m2%+#ėpTF,+tK*Je_&T$%Hc]?<\f.O ',Pj7U(oE~q-ωlJ~~iF($WvѧUl'%p/S5yBu%R;:QsfR}p˯|ci1ʦl%r1?B62ƺ)RGD(rjd}Jt`1ѯ{Uݵ%sI;)|+Xg$5MՓ#o_66ķ~fv\u?@;}F8I~v8&|iK2gʳc%q70eLr(kFNKtf*qdž`x0;`U#qBݒϰ7P=NjwQD5P1!37 nΉ;s?5)]|jKnٞyFpI4[Y'CwxZ[I<ˋ@9p+A"YӕB(׻R$=]+f@WBs+"Yەb(׻R$=]/f@W E+AtsOQŕ:]r򺒔7Wj,kKyޕySݮjcPBDQfI!K2r$s#2cHINVl& sD<TŬb1*0kj**\&9IYU`W0%1)kqU̩ L T)9UaʪbR1E՘sLYULjsTSUǤbcJU0+UL:T &wsRS[WŔ0gU1+⪘*fe3)W]ÔTcV1GU1*05IuL**f)IYcKw3%ׁ' zf ^9!%] %3Y>+Aw31kKzյ!+![bҕDb,J D ]IK)dҗP+{bҕBOrҶ)ӋGBNu@n{r:H=\eRN'Rڏчꀼ@"e>RNl7ҧ94|άrJ@Zzs0J/[JQeR|Yo??YQ3#-岘SO'?S<_ ZE3\~|JdGWʟΟf=Zѣ&Ngzϲ kfҦ4!ED2AעS8qZ7 EB b;W8͝i#?9'oL N=̻G\ [6MiGYX6Exz{x=eFPrhd3N5  } 5W# nHOL-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[}[ދ/]qůl A] B_fm۶m۶m۶m۶m13DƖzè˻p-\A\@>"Dgnҋyx{dI(;\EH"I)ȄE%X-Ɩ>eNٲ#H)I& D 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>nBuWFD+Sqi=뎈l hXGEp5 un+<0#!؃tؙd.T Fdya?k })zFpi;:̑ڇq8\Xqz`!w5ok tz:BU~&őd1 ѧzT۱[^m=[kǿ=kĤnp3[x:Mi!P8VB@h353PEAÔa̻?}_<@GL),= qbĶ/R4C ]?!\z)''BhΗSAnMtSaxBMHϡ$Rg*1 d&tfô͚0vԇ$ CKB= {ik'b@% $Mnw^6kdYjYJOiy* BAH1 a((#!8B B!DHba _2"(7we(F2NvCQ#2L"5 &|@•"=բ#9[]m'ukoaaqkϰ/9= <.a[QeYFߴ^Siҏ.-*W wh̿oVVvqIVr$''m| [ vUE%S ;>@ʅbF.B.)h G``]HS!40 gSWڻ5˅; ־(ՉB%rKp11 *f.% rr 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1|Vn'6mj_3Жܒ L 㛆?!v{Ψ[kT-E0HDPLw]k!dհjW5(f< I DCP&R$9 NT< 3h{iy(ICa<ϓ"k]V,GIpn7̞(,7*$0ّPH ji#yq 0jԄpQ M,I m@x8IHgaaD0KPHIhY<GQ&"<8 .8RdX LZ$B8;DueiH fa‚!JUhY9$H,8T0ʄ"A?,*a҂eb$"9G2ӯ}!l"}"7NQěQ:E|ύET}!nųDɄzA?úº9QjDGFUo"Ex8fjjVڢEH!%JdёoȐod*on>J~f?oi;b]Qa=1X?뇇uCúX/,/:v뻷zz)~zwvvi]"Cii՚GeeZ=] r9uWU !dyDzWgffߏ< ; ˣ8hh`AҮFhmm6Fhm]hڅv]hڅv]hڅvkkkjjj6m6n6n6vy;ovx۶6xom6E{{ޞyW[{zH^jjQE$"$%B ")"@bAA!@% AAB0=`t) H#"`hc.E0sf.`"9\ a#H&ECsL."E0r \ta#`l3 F18&byL0c`L3(F0 F10`<c1p`43#8 ^mbl1hQ.^bt."}1],,KbH]LAEbv.btѢ]t%F"l1]d).^EbZaQ7`Y2 X,Ӌczax*bh2f/E1{pL/ًb"^Ӌ cţH<E{TL/ZcJZQQ*&ɤ"2S7TO&ɤb2ȟTO&IEdo2ȟL*'3}IEdR?L*&HEdR?TOF$:7Ӊt"g3;ѱNtl9щts3ٌNt6DftL'r6Df:lF':6ӉDg3:ѱNlF':Y͔"g3ٌRtl9)Efc3L)v6)fJL)r6S(EfJRlf):6S͔"g3JѱRtl;fq)b"^Ӌxj#bC0bŖbvѕ]/ńcxcJL-Fr#/*W1|1KbӋbzSgJ:N -~QfFK#6wLYwfJdFg'US?-&ZAoV{ 6F͜G0iĔ6 a5{EӸ&<MP/6ғ_A%.vxDfBўFNV*wKw|) baj13 _*JӰ]I]IH‚ Ad 0,ăk0Na[x sW0uq&߯rJ'9(D\[e /\l4Nshl6Ew#OVԈKЕwbEp5CZ#Eh 9Uld}t6mڴiӦt6mK.]tҥK.]4@08ǘS! cJ!BcL)CC0@H B2|ӧO¨/A'A$i` $A!A( #BʄKPQ2Esq^48ėhv/'X'"bXDXO"4bݬYEqQUbeyZlybo1b,(Ewm"qڢIxjl,&E8@X㴋)8}2U6N-6\Ʃφࡴx$,\7@OD.N[4@S- hq)]NF/hig])UjU6¿rVUz" WU%w{jURuY /ԛ>[Q>V$h>z8bE+-J08bâ f/-`X{g\9pE & ,^0[ f½c+X<f\9ha{W1X\lQ" -j0Y`b"  _0[H f 1X`nQak0,`٢ E /[`` 1,`ha 5,b0xlb /-`X`E L,^0 f5a0X|l"-j0Y`b  W0[HcL1X`Ha1e0,`٢E}p$@(M0^kVLSVWO/{(@ݐp-1'( :l q"W;KE\yյ(SV% B ̗~ R Ď~c 3ҼIi.ཕr`]TWv]`>@Խ2.](Pg_uEeVy e*@土mOUX(TR"clU(mb걦&OD첯,rW:yK{>n092 u|+28" '>7tjT__Bq8wꄛzq4DǾFN myB9 2C^:75u݋yVw&RT n>d8BYi(.B9 :z{J  PtϾ 'w9KH`ݺ~=w."f'wQrןĠh;I!!يEBp\ѭGo%YUB"tPO\Gl[B%+/m1S۲b_ Zy)liԿPr \ Qꠘ4V~&@HMU;v0oWɵ~pZCJ2In6, jKht.o׭SS=^xuAld-AW5=;\bU9F W[7/q{^]cl:-E)ز+[ik輢GGEL( y+ L"6o ,Wwipr];M`@ϖQĤZgcy{K:B,!]5]!W (t9[ܤ ۔U|z?"yzCNp.7SPKr7g'CrcTtsepʉn_96> \n4 d4[r5P6l5+y]+%Or+.p(5e-0fElg>ٲ,'ȏX VwB~G:By >ɚ)Q׭MvMoUWUI}P;xZRi@PxspA$@yϐ85>~r\ TV CU2pdߏn,^RVʖ[OYO|j6\kCezsv$"kpbDׇ :lH&~Dna=J!!m&l![{+VJkwAkk8GH^X=)=6+v3V'.һђaw%@޻<8ytP>H(ۤ>89Ҕc!EqbKcݭ`&Y :agz]"fu n6(H_Ǿ1%2Ƅ8n^VHN:܎K"kz] C,otv>6 2*J#6mPj@R-a7R@4'UDm2ZgV6O)]"wO^SFzuMJD)`)~%mǁ`'L|1_lQ؏EEcOAcIb!1<"6mYw7JGm%lZSv̂u%N6̠OE)/.$$H 9ϱmjKg؁ߏ ^ OXM[~MI]yEgJ%ZM62L'Skc-ۺT-u5%Y5-5H3:[mR=/%4qNzbwRBfXZeMh2AQ*eG]yƳ\[$`&.nBִ~U&T&;/͟{;7<Ƭ#nL<-t&18 M8KV WRxCȚm  /x&0 v#Ŋ̠K1,~4XQh~*`6sd ml\agF{[ߊ֍({](GoOt) M`MUlZ$6 E% AՍf2V(U ~7xS=w>Cp&+e o6=!yljvB*AhIa4>@kG l[:F܀ nؓ{H'b8>3#BVC *fql0= th)\>15z&SщnmNAV/?rmQoy;3(IB ]anl9k~%WyJp[;@`rIfݓB &qR܎q< "lM>]KVr4:=Y^5WF5>(zvI#BÙ/?:sQv:G>2B+y4*  >wy{'֔qmه,= 4p2!Y&+Tst D5RV%$M1K*_,mVڴ3rDž6koiÛ^,y}r PF:"AZ@CˏdI㗑ǠcKt8ݿQZubGkl"m/x߻1f%g=$r!nU*o]%=q({ ۊ}nMv|/E(UZƎ4>ޛS^, /!KM] Su3un8dBw,MBlrya, +Esb8"v3Z!Om$!̵n/fIUf|jИY@6 -Ɠd+ $UO|WPGyjmLE""-m]Dgw+lyu>VuLijCc2"Ч ?ʲ8٨c].iRCHhfg}p] BmUajaТص仺u0  Z jo˰e` _kN_3! ^)ag~C-.u ٦iu8:5Yұ| ءŽ'~:gKvddOgD (1 [Xd󶐻/YWUv%zC_U5Gԩbh~G]pZ-9.K8ŴH6Fɝ6+f iﺑ+c\r@z^7~g< 8i?۵Gn/ySxDtR R OBBA' d)x !dǜ^IK|V.87D'`Ք gwDmXRBWmvG0T#. S 9ZtOpRvr;*$BgY~=wܙua0^%)(*I3{nNˏsύMtwx|,wS㳛:x%6.kٌEyVc%=fQ$<ĪC#ːȊ_C#$^QSs.3Uyz+fUrT݉\zuW5.Τ\vXQ6*1<6wS?Ge]%m)ѽv1uލ47iKPplzTjq2EWڌI\U*jbRX.'4*ΧGQ! #Y-ݲ*L"VG$IfHCXr(&^ddghx32LcDc.vE(oiG5tW|)ٌq&Z`˦8{l枻U(u:/34ƜivNsG*S]7~==̓thCd$rsx.a$QR͊gJØV7sP00$ ub 4 a` aA a0b}\hKqSP\'oۻ^AݳN嚫O&)K{߁mͮK;g^xƔr%@ rR@|ڔ#j7^q҂7fHT<gbhVձXoW-65a+p8]Ⱦ 6"‰#%V_%9z6kX?֦8cZb 7rqI<GrTr.D5wJP*'n::͛?}c/N⢅7MnDN \H}~E9woӯ@6qCW7˹LqG5&5N@)趨b1q5,oGq +,$m)3 T<1'RC jeN!?rl2VOSD YE:Zk0B!: MMk޲C.-+J#ᦅ &N~kCD(!b 1[]ji vC5r4ucװ2 XO|6irNa9]XUh Vޘ# n?7ȩ3gQSC\ 6WM(gu/C&( ݔ#Ҳp(Ԁ3Uxl!Ņ(ƈ aBX/.9{2p{wYC4LfOv3t:vk#ɱP}'gs-"HA1uLuj2=fZǑ x*@38:?:'_BM'Qr.>2/•d2\, \%)P @k:bJV4XgIiʼI\$FEhvpYѢLk˗*[=OEvKvPr דA[3CIWeAi;;f葕Ya ]z (Y'IпJ;V>a ք3Ny ߠ%djԖ ktKbE[Dyܼ1ctBdžP8^fvfcE6¥À… ۄи"nϝII'Wq8A-^G#ʰIo"jn.xqT&ݘ̨Gy';0$2}V19tkѰ к_E %`78Ks>Xs [|:7wbPojkNZ@ ӽ!%ZZ…=`-ťᎂ,.~F7?279q!p|m3@/!K87(zխ+j>Y `xv[(7SO>,'W Q:հ>ì38m,_uحO(ցLJM vwQ<" r[m_nC1`Tj5PFJƓ'3(KN2x!@(:rLD-~ e\ #,P6(B M5@ 1.:FLKZ)7 "nձ:)Ko 5+hYrǡl;oGZPFͶ/Z-ɇO),zKNp{o_< ZO`ׂ" c~y2.YekX-:!$y2&08 O`0j`A^S\dܘȁuk{C<<gX|͓o)[R\2/ǻjzkM s6(kTe'Z7clk,qRu,l^(*˦4 N(@!gMx54P ^܂P>Ê," [j6䝵]A&d%n|7&ύGp1*o&itǎ+(ۏ9^#+`ʄ8ۉ'(0 ~bkތ pvptAY:D-7jYגPE;k5^djo&ExsF-V3mvP=zzHnev`nuMeK$ط%t8az4?lFM7^׻5|'13Ԛ{i%ky R=R|'#*B yoa=2̕lK-j7n. $%y D=+# m.GZ@)z7,Z_R-  +y]Yn %˔*7+#Ku.c. Q˒[ !fYs8zK%JHnM7s- kheϹi8Hdx` __xd3b83f73c6706312d23e6f7c52e8b813493e44838c2ad67f41d2a030f0393e2fbd1c88a540b55845 2fa6c96befd2c17f29a768fc6a6e8049b259612cc2a3a65e-51e8-46fa-902b-77ded85a8005