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 D5z6F< ]/ UHOL-Record_Benchmark:threads=6elapsed=146.332cpu=241.901gc=19.386(/`3]bGE\} (zfLS j ӲBd˻c ֍S9y:|vS yKA䢗k0BԽ6x lZ(aiNX(/ _Ks,|mbD7۽1 }9uRGB(^%@:֡0 CіP0r|^w"d>(/FlL Pm ??bMQ 2e)}{v/| THhz+twL޳# Qcw'Pf[Y:^d_wV$CPkqg7sMVgzSaRw:"?+ʧ8EϨN%h/vt9+f窲d*SRaTӝUؑDŽgxl'Lm2n'M:R&kX1sy]fD.X 2Q9c5"QɮLͽ*i5?YǭVDj.4afm5(29ۍyjR4W*Eelo[K"[*Zt"iݝ5K 򺰏 ã(dH-ELmw۫i++S6E&=E{gFq*{Jw?ũHªhroG/9xbљt7bL?(:lW:MxϤu$c-Xhz3~͇Wj$Q?c[C0 qWmF.9S6ڙO$2O؉|$VynGKU^U<"#%Y68,v[b7i'f#cN 7>Q=2GVxB7xh$Gq46Mݍ $~%԰;:R !Ka4-u*JgZg*Jl*Ƣ*[,łHL} 2a]X笆Fdv$"a4jGD,h?gjH>gg|hH#ȧ|2 YQ/c:Ny9_ݎ0_JKaY2;Qyt&m0lϭU/dIH*ﳟƟ3 PKuetXlm^WNHsn$WA9rCB2(G#ǬFW{Q_GF?Tuygf BLܻp^YQ|>3z#׳IA a @P DŽ@ˁ0,`P@` BaC! ! 1(Ă?uKޔH̼H H G@\3Is[#xxj+YZGyi7ndm?H[Ҕ-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#!ftꯣ;N+w2sS2( 2*FKd-@J4 2b.v,@dQcd[**ط.u:Ȉ+R᷀,HYJW*iC COyb| cAFb^qJAdAh)THN) r΃wPNsP2(e 2#JS 2(%> 2r.vLd-; 2Y,Odb:Ȉ_)NY*s$)j)iر EWVyb< c #bxẠAbTi*AƞhAF( r炌w]婂}RN9P2ew#P 2(%6 2b; 2(=2]Od[p:d[-N9𣀖a4ȸ[(MU+$ȹQ eSyOd-ULdXp,pdQ >ȸ(~,8UV+pQQ OYHqW1T @ N1L]  nմ ^CAFȚT? hQFŐi8 Nau; 2+p2(Fkd)  2(+Nd\pxd-Kdܳ,~dܣحv)|XQUJw)hqR GAQW1 x bGUA?AFhTT#AƝЊi   0u\ŏ{;U282#kR 2* E 2(+Fd(88 2(Mdd[J+-|8X~ͣqz;{NSQwk }WCo#w ̻4Khߣϑw;湚B}b+EZx8/pA-sXAѬa6#/H9fٴH85d̽b)R֩7 CL1[L6#UsSb"z6wf 2"\nbL7.uflIYFGmvLt˄4Ƨ cؙ-.h͖.sT=ad+Y63ynO3Lb3Hw2K&:mZdqfn4fdӫ x}_ MROlIRSo$̷-&wePo6$֗٭4/Kf[M% }6AthI֔jo5_N+ǷoM%p >_7~$* 7Ö9q0>[6R?]p$Er \Cw `s3pk[LBOJ1>(ZO3^=!eP"ed6@-O(OeAA1j:Kڢ9Rgmdž|YK6)R=|֖Z,s!BJѦMH @*:@$jQ#(!HLuZE H,!MP"eF69h, JL 2lGFxĤ)M'gr!NE> 2gsk I>6!DH, L 2dFnIE'TtԐ*LÌX֜TWM51Ooj f6yU'5EA,@jT6K[U$,GϴA2Oj2+_XGONj+5od,Flsn4/o agI}ʛY_y'vA\ktZY}\@i쥁yyRLc:d O?4ƈF& :_RYk_ ē盾"*&$Go4<TXALdzMC`(3}0dݒ1N4X { ޸6YlTY!`l[#1kbq!aUs~SZ '@Ha#ۥ&@c?h&7 ;Wy.4QbNbrK8#`M(j>v*! ]o[\DzXd6blr `O ք#a"С~Sŕ&=Jp0 f]Ln~$ EǩM@9͙X Ebsp aO ք#a"С~Slŕ&=Jp0:خDcΪ"ơCH F`*=@c?h&}8UhzG6:Lkq]P"g/Ӫq,2"wg r3pO5"d[F'R'Udv"y{Ḧ́ۧ/apyěk t.t y)#CWO dͶmO ?"]g=H"VObm}^ Z{VěcM{?Ъxu)N7,wP_^嚥(ौ)~E RVר}k*WՄ5LX*nJR,7"1j:TT #!  ; 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 =j [BX fj(9Ċc*|7ec5k1ˣ( ΊxӶqwoL 0mYp8f%/qd 7˅:m]𥺦Xb e)@ExVLJE&KYLl^i}v]%:癁'C0uP${Hk(60?y@iʥ~QV{ØDH9p 8ƁQ}ȟ,B2~IJ(b9:()rAa߂Øh<5i5?`rhPuFle090c|)&,xf% v2+ĒD%Y%e\Gț"%3eqőv5) !werDU&E܈1U2%UKe\ir1) da~{eW XsbQDq%F:EV=e⅞~8ЅV7Y(.1zN+knrh~Gbs}=knˊHSK+ÄI\>Oy=gy{;,JDH<%e1HzDxy˚bΨdng4ۦy}+mfeOjO;4֧vk ۮ:Q-b=SEӬZ-9Ѣ3&֠a2։4Ӫ<Hyۚ*+OtE8*|5(RCESDHmlfpTљɓVӜݚ'gGESR|7DW|NBJ50|EA{G^+40.< *t-{{\UaEotǤ]_9(3a ̪ݟLf Stԙv0c5L2g1=y0aad$ueL!Ne4#g3Ϣ9̳]dS,>.Hf&SN3t> |6%K3 %̲dY'25L14Ko"|HcgCT ldc &JXDP{`o"H_4`eBDdm)vde0،Ųl24c?sdM ef Vm2<" +-̳4$sf43fHGAYWv"e0wːӌβCl0dԩ٭`yh2Mlia;+&,:ZbЎ]g9v f&[vK06b`mjcay6g賭;@0-Z1+l\I]b`}Ygzvh{ 2cW`[phߚQ~;}: Z+⇱dC0 mvsϸy[O_}) Q_k]V\.#_,Yxvsle]|((fiV'^>y9a,f`u,2uvK0ƾY'+`](>L{щFEl&v8N05Y8/asZ-a$|bSEB(L ^=h{bQ6bQ' 94 5 *ccCTfL n@TE?U q:q gn|} ruۀB*L?K >f/ JhY = 5lcrm:`/ l(n {?RS1$"n73j *:-44ylmcQߑg; hOlz}X/u]Zzxj(6滝܄ @$nX +rt"Z[(yo7l~XVpm]'Sk(c ɤ lPㆥ"׺N'rN ߘv#0 Q@EauOON\9 >n'Rgބ 7,}ZDl4rQNғ~@vXTDnʕF1"JFI?sRXѧMĖOSk*?/D,= deAO͜NNO\i$~.d:7,}ZD-Y(t=V#}ѥ ^6 1~<O7agҹaO3 L.&CL,+vDzҍsk])ޟ7VT/Tq1!8ƿؗUTj_NյƵ4{Rto6.E*%h(gm#o xwp)I eY]kIS7<3Ut紧(ibRiYֶ/Ew[iOOj,ZXt6RuwN{Ҹ&/&Uȝim1`i?o8.HvH1X@roXfkV9/MGh ?O෡\i{됀G)YԘw/q="+>/ M?%4F.`h-^DH)!{IT$ c++ 8 q3$gy y,P-UIԲZdI.$%F$WD (%(@c!4 !Q@(], T#4)1I~-?퓿|#f$?Nq:KiRwfE|-h CP39  H B1BJDD><ǶnH:,h|vDOx NhVhҟSY7>@ƍ\M(pF= *r|Kܐ suGA(QyC(ediuY:Fi eۅ Y q.T# GvE*I%?dDҲ2`ӏtdGkP c cC$E/ ew~C]Ryj3CWzΛvr#a ›*:Af~ZPܭ_ÀMDx5ƄوPmJ܈)s|zt)Ti47"Z,DDR͍4^Vk1bHyX[JTjmJTaEĜH%^j|\rn\*(QL.`z] oKnOX, f(m>/ O̪TЋ=U-]č,T&1+dC ǎ.3YlK97̠f!F&r*H0B|!sN7xF03%]G9 tw$r8 ,@"MlXLtA'=jJ7qVL!]Ds1#H32r#id5kԬQFͪ*VIJU:ZuhQDG%bQ"F%(QD":܌YaU[NR-1!)L"$=o_<i492Ig6D1mDqA8Sa?;˾˾ɞɞɞ~}k?|k/b/b/ooO{Ӟzzz꩞~~~[zzz믿Yz"Y$"(2"??o[h]_~_}H/>OS>Or]w~믿~駟~n~]K\_~_򒗼qKcy,MTF4FXXXX$$$H"r!eɲdY,Y%gYr%ɒdI$Y,I (yQEɋ%-JZ(iQҢdEYѻUwE(zGD&j6Qdf.h(ShSHIz $@QP(00(@@0@n01>]4c"K1yW}18dծ$c,5\JJLGCj2&t%\90ޕSxW’d!x1u%;Ø>”"hvQU͐IX_+Z'FB(sj(`R- :-JNXrNJ<ؕ4BF9ܕ(baND˂rT] N]Iw 6td-aF7:-RtxK d2S J&QYjN[ :p: b).8vn5XՇPS[ &8qzR4~֐`En g\d6E90ȼ}QCS]fͦP8C]g(yx872X˰!Yا`w9 &*Iw=A}bMݻ.7Hpp evoYC93b|vw;6a 6R[ 4M{?EQ IW]Rf(yx872X˸k@#؟q8-N9 f(uC}ihua/5};Xp {܉y-$_0D,=k'fn} aDӳښء'EeX#9TsAee㛇 *&p/]}',g"Ӡe׎D`GWU{>DD(z]Dz=05 s(s +fP@[H]u˷Yu`;9#mpR.{2hs Cw]s2lgX\yP};r0U0vա;C8%LFUvvLvT1so_nbFK 86 >n'Va_%5ylL4߅i! M:/gK١rHo::,n&) .ER2ԍˋܪ6"t;<;@so&Z]vT@;*_|sh&Bѽt+gG~]߾PzX 0~:B:uרu7Pt!v;Rx R pÝ|[cɔ9 }$I\aq:CnC!`U~ :1uuڑ Q@̽m{ ~W}!z\_3e'"i.j^PYB|sxֵEQ b1╀m LQ9Й.s3,^.9P};2V%Dvա;C`%ߘ]vvkS;rnGQeC< Ճ@ Ԭ3U{Y/$TT5ԃ'u(V@ Yη9kqrP(15YXf_ga ZaDGR()a{zŒ:sk~Z+):Aۖ]GڣTMD侮|8Sx:)a,iMAx34cD3. %: 8U++a#U5Z\Stʇ߸owAF8C@;+Z!+ƾVNYBw`Fuy*thEeiKKbVo^fox/ơfn^t3avW o<{å.,HsNTd]5miF\yv+jZ 1$_{-^r"d&cSc_]IrָkW@P (`ʛ41Pu<~~B)T I?Q Qҟ1e@6mjGk6,N7UnS R\kAQB:>`^HUwI!c?qu;|Z &D${zל6^A& Vh4Ɠ"0N |Ҋҟt#%8Z:9^GAEj{xQ+}bv, ކ30'KBүR̽v퀖DJyW0]sX x#RD ϛd]0kh6t0itR;|?X}/ve&Al ԚV/ZW=Eg: ߨڍ;u^Ek 9h.3pBͽMz 4[L\:[ ҆0E[2&v#N0Gl-7v 7%L6ejVoz[sw,4_Vk*^ObW.c;4!@崒'n7rݴe! ʦj(ª TPaw{ dXK[\/ZW̗k4Ҋ7`ҀצPE֥Ͳ{4met*ڧkVPfF@x$&@dd/Q` i?CzJpK*@XeoMp;q5QV6Fhmm3n3n3n3n3n3n2n2n2n2n2n[m8n7Ǎ=nm6nm-l ¶ 0 0 0 * * * $j QHD@`@"0p&g"p&g"p&g9pE9Pd" YE(@(R  lC`[mV[m`@ $9 `PA#!DDH#~3$pp@??___OOO???//7 ~7 >3G#? / #z׻7Moz{9|>|>|>$}"P!0 qp&,`VRF4yR\ spDOr_)t-aղtu6c8ǵ,9r_ IY=F,VK$&*9nF8t-UH6ur"}>+4WFoF|ĹbEo9DbAB^{RHfnOnxD_zR>BF>5Rq+[ Q:#D.T̺ w.F-Z1pf##^HȣM:"K&Cʈ*I}2b2@2†`qT%qJ/C9o d^?93lվ`ٓ)X,oGډ/;5\_6{EP:NG9_DV2zI%'nɪ+#'\bHldFs!s&Hc_l= Q@7h@@=հFvч8GgD >Qb#}H=?1 FgmS'i''S p3VZ:L)\up "iVuyMfR#~Wj GPX$fsOUnIȓfy ,$0Tjͣ)CUtpG]jUzURTMa攩E)vj8\5ЩV}T"ZT F!sů E(jn5EK}xR)u( ;SbFG!;5SG`xU̪MvFW"rS\5Q'pՐ}UlV:Q C: 'WMtjU*fUB;J)Ĝ2A; ѩ窓K mX*B" 5#K zؕ餋'M4_0eCO҈=цnM6 RKܻPM9T$[ո>m5aQKK=pڤ2 k( Ga;WF{jS!pUUMEm(EWWErS].5`!y:Q=id MϞ̵B((%RYrs+1::2d!UBPkTX8't#SQCW&O#F|K XjH{vSVeQ!Y0{ՙfOpiiکy4=JJ4-;T6*OK{,s.qV?0c'X#@$aDC24]_(*&Y4ZAK[i>-ͣtJcnKCki-ݯǒ>%V*vj$U<]_tYD}i|28(6WzRgJ0UW <~5 '2Q]3HGH;noڌKq+ncƥ︅v\Ίໄefa=͂:2Hc-4Gtiޘ30FOt'D=cŒ?ygtgDϞL%?m{цj )y?M)_|ߘs3wJ^fN$3!mh f߰6hKV&'o@E7lEcD h㳱br\hC{ሒBy~hC2Odwrw5O|obl1VJ_,&(30pb~l\fgmz.l9GJ2ӄlmJ` 1)xsm{ds;)mFq*t|nr&!M(0_tZf r6郎g [nEU6$Q!Iĉ8g$QD(ʁ@ivmd (J(*fb&fbf ()PR@)J! leK\k.R/]%^K/ryBm ݶ )dz3  aTV ÀD@G@,f5]=fӡWZOg޵S99Tue2b< yt܉Q3%#v,h&%hԟ+(`Kuٙ,Dѳ3#"#ghHvcg B&N- 2 v+;Y#vڪc3L$q^p_+E gh\1ܢJil@V}8GHK7ɼgW$WDԄQZ9o{)T Rǟ6)rb9UHb47wq X|MXjNr#H"͠yVڊE߂+ Z\c6:Eb,AĸJk<:JDPU1C&N$X8xTSJҗ]WCH w4?']ղ^3gϢ Jw1E}Ae,B^]M_6Zò.3G'DnDI% .V?E"E1Q@gBF.l@2EJ|EդY"|jF'"DNo+/b$`*m[Qa1vd*qO҄'uȡEH5!&ױ#wdKЄBxլPelYH  U"fs'œ>3BTM3P[&RG>ʻ&B1jJTytuܯL7/ǼTIPdDhZ_@P.^+ܸ*]RnN]h# O9#J4")) SB ҁ# #\7\wRY%H!Xv<uN-zPnB\=$UH)qR"'9q>P;ID ǒįfjH.I`  &.ᘰ`@l~NavJ ppVRm¨S@"tRSR5-?+{f4+(z jJvCUEy lUyF0 S``'`n5:U4|μ<ВM +Q~Q:D{LQ"yVrY;C=i3]E;摗HZ$qTԸ !tXv%(jdűȍ͞2nɁ Z9Hg.B}ƒs΍bD> dl4ό!{;G "4M;R:jFchQ p O#Ԓ+S!ܨ?Iq<ފf-)q7 D8B7AC^)2F˥rv6@`|${]sÔq7cܢU1P=YMt¦2E-K)q?'%Dùm2"E\vđyߏuL>Tst9'!4Ino8I2sڤ n/J7QH$'6v2ak=Z'x_ȵc4mȭc$11jcBcX1Hzc1د#mƈfc+GjRc_sT#qll3Fڌ݋Q2F*Sz8WJ8ͅ :y|H0ڝfyѨ}웧9DomePG68L-nL(Z͵C.AC`^c{n=Lۗ464ӟ L%| H:HjׄrAS#e\n["Z~IG7>ŒNDY'ݩ掄6dL$D #Q},wqa$&@Thݡgjm{UP^GI^pre9?$BO6EjahzM$53G}CјdhP-'x"@SJ"q[D_#wi\=]#!I!;Ar5QS$d'ȡנk۷J.(V]=IU\Sb+"c**LI  R'BO6ErkzM]6wT(p?len] \MS"`MJaKp2.2Yr9f$4M7m&c3mXb''mJ\zUM`hUT,|CK Щp3 3zy(ƍ+ԃ^Qn_i+aYq`ݤC8Lhg bD0 ED"+7o蘟Mح@0'@JP`gG=RE*Bio8F _u&9>i$mV"DȰV$x)ur,N$ z U%yFvT2I7 y+q As{49l&])d^9L *. tt8IÕتƟI_I'aύyh|r=_7ґQ^2Jr!?8:=EemTDN#lHí4&a0hŃ&GNgXGe|Kqi{ţj. 0RdVQGdP>콀 4 -"8hL=@A c/F4 huӑijLx9FM~"oH0ӪH1N6IϏ] Yyp{#X̍&H羅, Hψ@ ML~WZ~P$ `5?~c2Lz4Ipnn9puhW&iS0?Ԭ'ބ\>-!; ގ.l\C܍' ɿS'0:E}[FT$]$F r.WD_ͦv'gЈ$@HkC\OU(QճILG*DzSţB]8WAf =*\uqD.; E >V0"&9: g1LҤ6$OP q ֡@Rhq#%JƐoM`P€s҉a$\G?\tf9waWa0o:&Lҳg˕ťU)a+R 2IOUC)HL҈qb`Ims6hR5Z^Ƽls9<-(1(4\Ȅ24DN2  :}yyuo!HgDc8eIGMjlk63M4;\̆s7sٰl`~;?d.unle=DF)J(yVAPE&Dd¦a#g`ܫ3-ؐ/T6CBz&Vt>N_ *۳|5*m6/t ys/AiasaCq#eUxh`nM#i(xEZFdD&Af u::k85"GeMAƭ0b͡/()IҊ}5"ÔQߣ $V PTQU㛪AB׆I4j8|6CQ4ƀp=5NMs,#j.Z؈s(ZK: 6>tB,#MظaqLP]qy>*_E9+OIG M zmt4{ZUD8Rs#-8v<(a& i*u| 26"(ᨄ䙰cuR};MIz[(i 5ȠQQrиmڙ>2I_# /DЬCE碩*kWOu&"q'r4s@9=l,+g$4IbdaPaQ2!=Bf"{KħT %thj-{'iwS~ ``UmVUknk۵H4m۶ܶmF>>;a a} ~-,,laaam۶Uiܸm۶mF*Z"rm܀D2f$Ml"kIDvD6)aldg("Y%*GI$P)UUUUUUUUUUm۶m+m+DBD$DB$DDB$DDB )p$ILLgHD">U%9SF|Ĥ"rBP"EFD0""&|7r33333Ϫ8C`q,c%T9VUUUUUUUUUm۶m۶-I$I$I gf8pf33%P K1Q< ÁAA@ DH|VW *MVmR ~VZF?fce~@~N&j1*Sn$jH.}W"ffv.i2j:lZUHm|7]I}c7moS J\ol1,6zmi3GKHϵIR`<#( ('[<2-V&4+>b5MJy> D'AN4xiG̫w_%xY$bgO7(W5(3S"Kr;A,e)3j!oR]$6{+uִ1͓D_((驧Q1^Rh6ɦƤe !EEx{>Ua %-<ߦ$ʔ &{Ȣ};5X'rdoPwRV8kf\Jac3wVNNqJzyh|)+PʟlB6lZAҬX_Sg.5HhpЩXMbџVfep͵d I$YtkлUj<@ RjSO07TsL)yM7l}M=ed+g3TF6F3ᘟzj.S`VqQ5ƼiI-#O;,G:5QhV^CJbN$Qf4hDҧ7~&sug_%ؾLߔ2X9poJd3ĦJd<[|1"s[eV4/]VZO5213Zm/}s|ZW|VI,Ms6-1UxOHs$huj,,֠չlǣ=t${:)ONcźUZ=fvB1rz2dZYn5@RPV-JMHұP`ՖMΩnyH4~g23S WNd zxS]QI(Z u5rml%%2\O̪@@;S0S@*A RxAI) d8?'! f%LJM2LI>Cb"{ o+تl8p5Sjdǁ)-\_z%/'ǩe*Zgdlf%/ 2/O'O5R 6"|cx]'iIL#L2aiR,(za 7I{DBm|z(7N6/ N8yҢB>FvȤvWSrtrV*2MBI|?y}eK1L5)N>\39SӸ^r p -SiF+ 2ĩ45+T >JVJǩ 'r%WhQ]QFHS\@zJlLW W=6 U&iJ8L icaZ\ۻu9+֞Z% _z_C)e+kS)ef/ \X*4E UiXeRѝS@UH(9_٠ @7WW]f,5l[;EY0UZQ8QOޮ0KWTѶ] jO5UQ ڏE@*޷ɌA:uU>P8Ho.e oқUU TaJo]e\RQ"oQ&`3 *%*zaL0K"b=uM3"Ҧ& *IZլGVLe eu[&FVPe"9$ul+r F-O"D[\Y][02BM|}UV)\XJN_~_՗x)'&$r,)ETєD+#'Z1󨓞joӾcEMң#8?QZue@13uв_t%R+_UMϫD+ Q{K݁;aӫ"a%bXݖ&)"ʏ@_&¡ 0==RgF|T˽\E1-K38xm\zwPO2S%Qƫ)Z>ɼ, ,U;1M/)6 *FϫXjŪZGm*ĆN61.̬D-O9tRK3cϓ(=jԴ5aTǧkD8jXU-cs] y>MID\.U ˔dԿ.".gK"b$#K^էY2bDXNi0d~grU (JnC|,c@p@)̣Z֑'M.6nI3R成)Pj腨4ImȦ%y9R'&rFKBx|{Yrd髐:3-(e )\'K0_n>iu:h{65MTL'|(޸'F>r`$qwlYWLJ*[cTvF]fQuݥrSjGnR HfN$GHr%ƻd)v;i&f(=}$MbA3R:U{K4锧i61݊Uf='R 37R !GT>mBZ˸3JYy@U6 6+/8ygBۋ:"fta(jO=Û"%՜UpBAtNv(zU\D( y M.!y\&5$kb^3K0aPBlrl1+](!v))|K"U$b({R 1ZIiE"b+Eߣh@Tq1fϼ E+!)(!ud*Z6E#V3*ѭآ[ѭ*G\-u[P$g^/N R:+݁NIU;T˹ځ31ehˁPT NDkT }+;rI(M:f]@gPSEH^6(%*ֈvD^=T= `)a&1JZ=Di#3Xy%x7j8`Pf; '{rLͤ=T_~"[͜}dLW(,*UUQݸXu! l?&6u&4y7dbA Ag9ݜiin&Ɓ' \w̯L6$zZ?DFɇpbt<<]es椚0cf3 <)ZtafYw02sBar>d22#@̉1cIz߇ {)f( 3:-,Ŧ4ZR \B}m:xZ+I>8HFd@/Ud/:/R X$^ '9 :/e0dUPqMY%'w̡c pK @\gM;#l)S[~c8c8C3838   Bl۶y$I$I14#Ĉ&Gpp"׃cF6J`A4Pp`A񯪎!c*3#HTUUUUUUUUUUUUUUUUUUUUUUUUUUUUUU1Mc1c1c!B!B1""""""""۶m۶m&IҦ~TWUUUp8p8!3 !2$KaIZZZZZZ%iIZZZڴ$----IkIZZZZZZJX%iIZZZZ$I$I)I$I/0, 0 8@Phh@! 0 ``BHD"ڴiӦM6mڴiӦM۶mۛm{{Om{޶޶m{޶mmooo۶----IKZ5ZZZqAH! @%vD 0  DlCU3@nLU=(g(Yvo#A gI1/Uf*N7̖V&7wYA`m\&Tt> |y&M܅`*0%'nNH+3s_42ѓ u9:I6a%W';'KawFw]z5ugѷBI }`TY5Q5+QMG_bQ%88Kȓx")GpN/3l NHĘDHi"lƈ1&F9%bJvZQK_!ڿ9†jR33LY|wyof`ϼxɝ1U8OO-έ`:ET7&$WZpqDD' c_8H,1/9NG>D -1{7/$T2~yʷP&Z * f!Rzad!!t&~L1=!~g"q t/G'3V)Jw!Hw`8S*kЩAx +!u8{pv&fI3V[p[7g='mOku *E?cŸ>iԳc!ŸFj~.T>cEg'!iW1Ҭ Ǵ<3Vi; L+U3i~ϒ 3 4~dkzdrװ^l6MO:f7dce! ITxPᚴ\AGwG(ߑ^/ct?c 4Eߧ@{vT/+ ~*<u%3$P:JU\"?ckEX[»gl3CꞱfPo:,{Z0)[*HRW2PY`}7'jU EGT5 =<D+ Dw^ͺw7Bي E ?]@T?\.Õcb/b󫨥;gz[ SE*ǯ2(sh5FWG,QejrRE:p*[.%_RcVTn2 =h%j[@Q(qWy/1"P XtFU+be})emR\MCCz4jC=Q*n~nfPL% kaJ'WxKM;ڰUj vU82-B%#L\6K@<$jpT P`ݙ){ *YYәNmVjrܼ+n䳲էGK>ճ%W&6݃}s?tdʥ>!A,!&>|1:g+G4kfxKIzWĔO}Mݔ)qu)ܔ\Tޓ6%yn,ɔIm~{JQK^+BBDW`OA? ߆#}9kV;ὤ9}!Ȉ+]FL!o|Y8( fk{1bjx-eiSц>8@+`AL;PT`E+ yΐ\AsBUt \6GZSS :=wg& 3MA8UeQ pg9= 36La Z&l ?\p*ڰW\a Q*TWȏ3jWfh2~ :AS"x\P| 0ɵ%m:)O$=Gm,ΆjRD/jrF6/7&ŭ\d vƲbb>-ŝ2[HL3K~t$h]vW'94*D- %2} >7$8,GĠX*sWM؇x}IֳB VqrH\OS GVXt--+ &r)w.jI:D=b#OϘu.ɣ)`SBJR9 9U0 `TLu]QN u R0=T۳\,,M* 0CN8ش~|}j^8p ˥Mn+ -JOڃB *ƫdl^Y۞tc+,1(O$l0qYtүhtQU") Kݰ`TvR(x6|aVId]?2('@`䫽` w$h"K MĖxRzJVrtӱJ\dmSoU!%*'iMm $w4\>|njH7JM$(fwu]3$@c :URɜ8"G:mD uVzkRpK NEAM$H7Bw%u%v#$`HD!%eU2[Z0HNE8$~ K4EYqJ(L 0[WͥC ?@$u'R],/Gg&R_=$zRkct)=QxRUײyAJ8eTBJ6W7-yt3ޕJjiB枳7U`TUV(S mRw FfH>v.QEJRYXU!u$9u@L=w'!8c *je O⢍bPmoJIȕOb|ꙂCO\ 6g5SU9d%eI|A<{yM+MY%$]F}fLSzn|l3*]@PX.83Y?\c'ߒЈ,J z׈ ?YVO6 Dļ 򠋰ikºH|GEGCGG*-v˪""HB;5hW40cQr-ItQIFTGiV>ȭNGoCJtpMʮa`m* ҲR6nfYJ J ʔ5bhպ0Wі6 iGWi|Z/9+"!\{T̕aPYSp_nQR{R".ͽI}N&ϑj]aCt3e]ey4_܌ *ٚd/*"y_(8.v[([ GJxI)yQGrjwVutJ 08+/+]6RN/ӛVgіUrIQlq;(o}zمEgCubYE0yU\K}U=Go^Jt E?2EYcP|e}Ve_T o?UBIG9WQphس=}HEqJW(͡oCSΝ ¾#@ۥ)lTD! ZS ҳZ;ђ+eE\.]t).]tg~;F%7o[%7oEؒtp0"Ҟ-Ғ4Bm -CaE6Bv!I!BDB!flaS88BBDH"HRI"I$$Q@/0jB (`@P*?8/Ҟmڶ=߿_lmŶmŶEDDDDDDDDڶmٶmɒ%Kn۶m۶m$Q(Qg~[ZHGɨ58;kx07Cpa&IUnhnLX2RvK뱧8İ"f+d*'A'~-Zj46)ލzP{wd)G3WsY"Y8L~4ass~ ?%֦"ґ%wN9WrgWdwP'%eVYM FB/O_R_jV5OYyv4D Y23XF CkF}wqe.kJ:w;qGеU(7l XP,A6؍(`mXJjI !UR)X -2LaF+ZpƘZVw@}-\Prtl1FE`e1C'Gͅ{Ɔ&Y>}gZ+աP%^UM=Y\ fQA ZZ k'h Lǧum{VHa5"iX6;+'/@Vp.@y v1(JQ K P34;W"7C + 7>E 7d @|! eȣ,?X@Ej`FZ T7<] CLL #(z ]<@ȐTJA4Gy?}ME=6{?4T,Mm(Ŕ`"~t`| lBFW0Owo u_joDk]u DG`5Z>x#n:*#YXے_?zv"j #iެM>qa1l?jy; WعV6Sm.WG"9'։ua]X0 a1?zIH?,%AʛZ嵇<؂SCpa相*r.vE2jؕhG\w? uqz[ֈ~dt׿+^O]|"e9O|m N( i bͶڵJ+1jǡؒ1)mXx~ˌv=GIn7AJukͱ ~G0+x5w:KpNM,~y3 ѝIOc'GO(+a4?~h!11?#pTȫs7^~cL^9,?x&͑T~AD/k7O~e眑L'%?%+G='W1o>~-PZN9~玟ܳgq4~ώ;/~.6Ə= t~Ksd?l%xe9?FSy!5z~R| :ۍ~O Ё~&v#Y/iE۲Aaym}pϒѯk6x>GE^>z,>a"\cFMRNKZ} ﺏmWB } rjCz$`#ȢtT<ܹw]F';0Gve*5I-eGL|w¼ e%QQ4d`e+EQl& Z2*BX%W-%-4n({FD$"9#eWp\AYȥsYk }?7a)iPz=R]@t,u#LJv5}PXdv =\0}O\۬3K!7pP02@lR3} tW2#giPDr3 =Eo@լi~Q8FP֓b°0>HH>`.œ v>tL%'1iqf]y'y C2fIZgJFN"]?q1>D]N~Uժ#S/Yv v^o=8O)43UOncn9¨rRPR\/A@ L=O[jȬՑRsx'u;Hzv `hb=++xUj=V-4^/fZ kۡ_9a ӮxRP1 hL3)#v\ ؿ$h=I9~ Z~SSLњñ+#.rOY rZabYۣ;Eׄ@}P3ƉZ3Z 3*Z쫤(!B`89c#YpF #G'ߌŬq.z@9oF"Wꠡ݌poތFnAAHv>Gan2=>t"tCRG=G쪋QR~Y㢕yU:Ȁ`*uXb>W_(ާؖr_lI:I P.R~fKU^9w]FWUxK3VZU\5T<VR|q~lFC N̠EitMH!bgU-uyl6dpHPe6#Θcޢa׍أXǽ`zqY ʷg qY.Ñ@pr*p7f^S{/[0Y{˼4sO4d&R=rG2D̩㫕DU]J>Q%&Y7&HVMnq:^./AӟIe Yr@~%0N2+ 5N2} GUZnYBafP0`wCH8y pSw!-2JǢY#hlZTB&/Q?)(uڸH@գӤ@:hu+4#HJS0U0DK3Mʱj@!I)qI/`,$1E6t+'SBU74].EI+H>W Vk&$ebbBZftIt.F0}F^%eQԄ+PEg=#$EnFP\"kf[m r]\dD&㲵mOV;0P•A@QbN?X,<@eO? 06TWDV#Zmx_\o{@A^sohJpu@+U>ۆ FLE.@o?oDb%~.ZAdT[;(Vȵ$ͮQ;BTFKBV\`4H+Oaj Hj)i j.yeWZ.|{SKPS+hJ] mz J_ r^iދj>]/ِ,b{dCbŘj"7A~:Sl]8_߉ؐe<7 1AU8ÆO̱F#eӫVvl\8pÌ)~ ;A!f@ E!Ƣ6kLkm*FאH)L̪kHYi\CZ жƭ!=j.@ akȡ:\-jml}D[ 3W 阊A &iq:%rn QzX1! ]rHaI>\)j1*.%QC>- !VCP<ǟsnbMu2TCnzT~T6Hx⠆S!2T9]Ky؃`] hls mS}!t41CySpS)}ޔ:؅.@KJX& c"ᄁ}' NV }agGMi8|&A^$Y$[;f$*I[@.5ӅR9VI8P1x?SC:-tcg(s@TjiB9Y`-XlkT XD%ft)!jsP+VCz!Rp^ Ʊ2P Hܯ,TBu8io٘?KӴ,E5ІYY=ɜ|,pKHg!'JJy9=c' \dnRkBiǦCFthp:r\8[q4EjOMac7D)ۂ/om,4`%W-k{gozuE}SxS!E1 }ic~E 㒡}!tt^@ᛇg*v!P0'4%4h'iH֬vEVy_-lG3CvX s{y\ MG!aYF+Y\VN%mWd53]PB@3 g 80`"EZ2`@[lٶlٶ-Y$I$IEV[mmV[ьF m"dьI>?|8r۶m۶m_5hZY5#QUUUUD43 " g[@&Bn]͈EeɌH[+˪"Rn\~|NIN@zU!J!B r QAU͈ATED3"}ULDn?AUD3"-1UM4#ҒPьHK,HHQDa4ֲza``0 F@ `O&pXrT!2pGGQcK>=,[gH7MR\%εDV!v *p˜n9NHnu~vNnm]%Gga.FDr>U\hvYMX1:Qu[F@[S5u/Bd$z꒏)n!r咯kw-!}PH0Zu)+n؁Ƹ6x>^U^yJU$#]ZDIZ[ *0a+osL #Q#i}VR7tvWe9<ܙjM SR FD#5Y`dfk5Rw_OtN-F=fYEm5ܞDmhkf%d@vH~2K>{0D`I>%d9Y!)۽Y3kEU%qo欺S 黧R;}L}U p&kfVhmY$:-&=I4T Pnք90|r5ŵ/R<럥 ؤ3N ُg^a;QTJJ-RdnhՈMŕ5aL%sim PUy9h9a 5SK S.(axZ2N0W$Mȃ5 SJ`%m^kjdIZ+QXgqxWBG+[czIVC֗^Yg>Y; BY>I+W@tkJ/S7,L%9T̻w鉺Eɕ#KwއeHa qqy)읶h!qCˮudaK3>OE2ps2SwV1;䬝Sds$[@u/Ը8λ>ןEw̏ӑlMTnyf[AK$@Z oYuVa5 L#_^ٜ p%qSvY:0zR\9:j'y .wLMAcB D-/$`]|Gi}#CG;UTHS\R&΂fW?<+ ^b==AOڂW#c4򲉯,pTS&?,4sAi=H@%5ؼŋI?7E4WK|} CeҴn p]ݭ_5;Mf/ż*.E$(T+aAyQ:,~VT?AiV,Yy᠌%n  嵒KɟlVZCyqQEAR+;jn':rqx*b},EbRo.pBW^ÐRtk|+PY/YLl5CUGPrC(? AmYгhscT?|]uy)W;+D{sU&Qq3~}:L:*=TR~Ʈ^|f -[|:iO9xYBg, :Xx)(GLII;ٝ /=PZ8WXEݕUľUW?ed)T^y@ DEV &[K"v+f ,jV J[9mi!&Ze6=09ӘD|tJD2:/$jdV][Tc/ȴ25Q+Q]QJkrVujn𠎋TD $H+gY ~PORϑzV,ֿT Gla}I .WqhW,$n$u 64cLKY#0eF?6h\5pDW'y$&`Z l7Cp#+BP+^|hKx9mɥ~켪/`g0Z.^K({Tu[*}Brܟ*E#5 GPL@5+E2 rԟ_ PoQZkS`§-g{.w0 Y2XL D3/;X jƥWUYv9oWM5waY kOunNKŽ&F@|,"4%R `FLFIˎ!%`,cAqxJx]u'_$sM0xR1^^Snw &u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method2 5W# VHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ , 8$0$i:~JMNDDDH e(((Xhv͔""b"""bNCCCDCDCBHqoW*]Nd33K433K;.͌,̪ͬ(((hR,¯fU5PJ(dx!QQL`gqfqhge,_|r3Qo^j5@P0p\P,,((h(DH#>#>#~/'|'|'|/~?^__>>>==}{mVkZVkڴ6MkZEkZY{֞gYk֎vhG;]$L 1!>H0HXq0ppp0@p@`P04k)y:[{>&lkOͪf:)O[&ቚS ןP4>Mgh[&74k]T=z&P5)'[W|cD쿪ᘟuAYjNSE7PZTEj"[Vň9ɟbפ ga''F %n)A@*,\s e 7Vi̊&J";ʾclFO[3p5k@pkV +C1md$c٠b,u}c'` <^F@1&zL%&C)bX1 J# t1MCQL3̘r{]*2Y{V]V\lmF:Ӿd+3q,*èh7٪"3Y3DAX+;]eJ^;MjAz3g >2ih% iEKhq8n *&O0{;SIX]u [{*Vco\'0 LvRBojH4}&0g޺'0p)ST}Ɇd.n3B(SikRk{æӅҮ LW Х@u En"~7HVاNW^>ܵu`v;$v;80`ΛЭ.}1E7>OMQ#jHlw#Leҁh楴S)W%3V;f=+CEzSnv?lIC!uk0hߔj(^͵'?3Dnv~J-wKc5| ľOv B^6\Z\%*%E6ڎ@ I,SllK٤h(@X-'b?WΚS qC0!9c 4\cq zp}όv/8 Ij^K;:)2AylƤJo%p N@ nl(h7V+s+UM,E&{8˺?f %XGO06Q_s5|8`'!|0g>סq7bt,0tKz5$ϴgA$ȳUƚ8 ڀoF+!B6i e)VbE.Abc:rkr(DoYL?:mGh0M fGjz; k@C7dPׂ|vSL`GLRc(jԾOvÓ3b'z]["X"3-Xo㆖O;P?P52^Yj)J8YĬ/JD75$::g ܣ0놲l__3Cb $=_J;d19xy -EYͰ+԰l n"Lq_3VC4(N(X0LWv8EzSnt?Ñ`C!3DxSC󼯃p98|hxajW󓡀IDqᠤ6܏::q 44&aKu˫xd%S{A$VcHȧoY0EPf-[G"ȉxЊĖEBu$ԢASܭADaJ( =,e ƶ<#!TG@^ \JqMǴ0B«X;N9+PS-ai8dHsi^lQ5-e}4 y;W:4'v ݌y3iwu+[:.9D>F/s%Ń$3A]>I];J| ,C& 59dh^);.4L_&LP@M]AS Ch;ЖaI'3t*K?+HxN3Q@ ܜ8A4h@Q{v7Dͻ@2t vty/ElTssr'^ԘK _Mz2/50SHvd^SpL&Q15S\NRr5Өک hS Od.u#|Imw C3|4Pu8=&6/FlPN4=^&pY{W]8" K N1)(nOA#K'Ÿ mgȝS ܎CxD\'*n3nBb3ͷ!;4t^Lp׉2t%Ԧ-'$9zx;zN4w3NZ ]چl+ڈ}A,c4R _5ܜ=M|y]x"lFpQ/Y~ba)TzW PmIsL xiff޶[cff ,),),),I K4)iRҤIɒ%%KJ,)YRِ ِ ِԌf$5#IJHJHJH*ҪJǨt11F:H#cKXJh)DQJD)D"%""„0!L"F1Em)[ Qi5H8q>ݧ]\QKq/{ɹ˹N>Or$'9)2)2)FHI#i$d,EH%K%KKKKKKK ,ɒeɲdY,Y,KÒÒÒÒ,9KΒ$K%İ@` (X0 aB 8<tNt1}~k?g?ӟ?>sL_/ӗev}o~ݯuqPZ ݝ{;RwwR&xw2nN;1UA'DoygV5H\orfwr'w7#wrfrwwBՍݼ~) BBp0Fj ",$44<`, @aTÃ  AH  pР(@ap$mZH1K8AB!aP CA0@  AA B&PG_*GM7ͪgR-c0ayGo<rK|^ЅHlyۏ,˻.˴=# NP=nm`Df=-dxKv%CDIƄ3/A|qdUHj9Gw=>k(H`uRv~"~6&la*-BRЎP"4?eи3/f;=iu;OTИ@EoC\`.a-Mha2Yqʊox?1c1js(専Yntܖ`hO2_5VwՊ;OG9K.-j];d"edǜ AL;mZ!o}I,WBϏ,n6*zql i\4i>lRT2Q3F'Istsq4NσkH"shJz<;X,,j2Oٓq\fL8|Vbi]1NmCIL3(B6IqZY88 *f88];(cxUzӳBDogqb* *PUpؚ ` AIռV!1P'ϭeqJ&crT# 6[ d"tq04>8Nџ@1&Bp5.\ҾyYf{>1LPP/f½o5w2 R[("\b{9x.RXQíE,JbF]Vp󮭢-f,EV,1KFz*cmg ssX%D!Ɗz`܉ނ\Pĝʕ@|dVQwaUV c8ci{(sg"x ,弻q1;]#"IkD-!8iݭpbi.= ?@@H}pIEPkm-^U?K 4|҄C8t2~k r} ﭅?zK rG+g_d Mɉ#-MRL};3wF|`mEj `p$ P=_wQG|M%bُ(}E1R?=)%uĄ 7%AݒW>I'~˜.JfR JjXV/CS) bY97ww4֗ȣOP ׈Dž' Q).Ac./sr89j^ [&v Cɯcp] 4#"աyN1!E\cp2A4tTp rS(sd_ѝLY_0Nb̚-:ŘݓV"McHLM,AECt":Saig]z55"_ޢ uIa '\Fn~~4X3xhuT'+0f)t11;oJ0ŠY{OH;m)uawP/jnC; q9UcA„ AORиL՝_'M鑦_ӾמE:޹3&z9CgWK٪߬'C`ڣKmj*ӊp_͗Gx~KS yvYL#/# ;c#^ Ĩi eQA_-~bŢ<zDP7Я J1?iV|C&9a$KCI2xZ@!T\Z+0S!%I9V4x|Y- p }d_I=:k%{+o+QS$s= L 5!®dZub.tLh֑x;S)~@vi ҧUMւ/jQ9, 'ے2>X:}'$$ρ?#<҅v2vhpg;櫄0%ɫB$Pf M3Ev)IxT.<m4w0!o=-&}삨4tF>j/"a3j쿹cל5 F]s.2//5UWȸ.q)ꏳ\l158YB9.2-_o)P.ϥ$l0FWb~lAK6"b87t%cW\q$T?[;$BJnĴ[&@E+y=.SD ʽ %aV[rQ2}o ꙃו|1#+lDPR(&&/5KlFDNm"71 "LC ",1( ݤYv",VI)$+f%T&aY2YXl3B䊫b3Y"M̛%\7o4A=,$ϤCJh̻l:,!W@DRb'6)%,7orB{,3?͒t"$i|DOjt"H&kdO`n2h&7K7C>o0*4#oݼ f ;n4kd0/KVJD)q 4D-˹|P|P m38.9ݭRfHHa&UEjYub9r,eYj.ǝ]5w~w2e~qg.Y;;kw2帳qgq,_;kovr帳˸f/Z杵7ov9n;.邽g5|<D|Е"!J~ 7Ct%'W1Xyk/BO׮!e r2tsWRpHH+ί[DĕAͤ{]MAd殤>8Hlԕh-"zߕ*ӜKXfڲ6{j9lgPes?L[Yf>bA5- Ls.Rciz>U7wv9CRe~qg.Y;;kw2_u.YQM:$ @U"p ]"{2k-e~fI$Qy{g-Z]7wv9nsI9G8!5H$cp.鳢~L!rIu!S Rry^sI)d?~'ַr9VmKIJ$d[of.ǝ]5w~w2es&쌮d35~{8q]b\?i{w:={w81ǽyw={wq]Ǽv={k8qc]vdD7:=[{4( SQAm2~f]&?I$J gI-IϾǢcɄG'׊2+L}ݑgf.*݁q9I9l8?J):| M@?\. 1pҼU ~2(Qo fX4.ǹSE;nJ h\FI&d&wH&?)űl :Aw4p>hx E;-lM\Snyw]Q M&M 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_id236K 5W/ |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Yz$PibDg -z+ޙ"wF333VS7zݑw'ٙlfeVIHJ_))/_;ζ~ o۶]vUUUUUSث*^UH#"{"2Ȫfٌ ̌:f&hj3Cڌ-V*ʝ./.(P8,`@B`"aaЀ8Pbdl CP$΂c8  PyR% X8$Ł ,PP ÁB806aq(PqPP84X(4X BB `@(4$0$  80#y)))))FɟC1D C1fD 5#"F(8$(EP s${mO%os7dnnqmn;vJK꒒Rwi趙̨>bN&dLUJ**1 H "1:D!"1h楙*͈A3bЌ3bЌ4C!͐ԞP+%ԒP[V j4Tm)NW Hr H(Hp֞gY{֚fYk֚[{koڲ5ڲ-kZ%kڱvkڱvF[khZZKkVkZVk[{ko~~~[om[zKo-vy۷}۷}۷}˷<ɓ<ɓ<)'夜rL3y&4fLI3i۷o߶.ר\ QH@W>,0 04p 4( $$(,  D0P)~^Es?=sBӬO91ijS֢F0;S\Ds?=c~&Ρ~J+z;Sr,znOEH33SnL蹉-x~ .zʌ9^;+&E+A=s߃\ gi(.'~"DH;g_.RUH4qig%~:_<*3i.Ρ : \*W;.f EWR,^.xY#Eb]ub/qٌѡL`KBFS?3#DDe1Y/,T&d&Qɼe$2oL3Ue6!N/h|dfTdV1w "{<闓Q$drqaa̳>`gbm\nVqQe޳?.bީj1 Y .kGfb4732?tfl"뗐^vɪd2ps}9e+"^ wd5`0#S \,dɸiHޥ1vYGשּׁLF&!A{NKuah]kpY g-X0  ]=ut!"*>XM_ D\G5a QͤHp,O wWI !Rib@e l ȊW(*ķ'Oku# k?3ʕ4mO_yG_//sE$d)*Bq% 2Y#&9uyvH3R&H#`=ܳ\ Xw޿0V.qqmN~5HJh5H++iحKDa<"&VS$|i F7D 8 6ډu*˶Sa=:u?ފJ]*bR)kB@nLپhrtd;|c͕^y~>ߺ?Ze~ʂyȳ󗕧 ŖVnO>c|}!uCF5ShB{dU'?&V8N$RůBdUGH%Ȅ~&3m*SclKC9gb eWZֈsx,9tB/22ڔrR)$'<F ↃiM-j j$Kϡة!A/D0k$Gs[ݗ}#] ov!(^EB&ͷP֒g]wGn5b(J\/23Wƺd:6d7l.!l>6$Orȴ;mrڀT>Ҩ?a?"g\1 U7Q>EO/ܺSD͒}yQ'u&UċF" ==7k\R3p%I {7l4]'GNc#jBԢD٧6mw1Ç@;c77j{rv{]\:WR2SkN\Vvr@Bz\m]Cw=xs3J\F^mvj5빵4vfD)dxX vǾI jΛ ʚ`%scھB4ˢ Wyj6rH>| gYk/Ui^ ]JdFx}_⤊.q+\3z(-0L\Wu3`I.PBPѸ:Mz/Ш\vpQWw(#[[gI\KuqQ*A@ACJF0H$\$C`HA `+$ A&x'PR _w{WdDe%|2&L }&dӣ6$^,۪̙Z'6@E'Sa vBJdVѮ?SGb;i'w҉s:JKSXWA @jۼۍW@ fYHRl,LɇWk(-n 9!#idw"NZ4W'zLɌΜNLw){K>MXf.ig6ƗyMcg&` "]sV~zVfm/.GfĶْ#+ąױLn/,v Vl!}{̔(ʨ;vNrW$-ˁ7-b-vfQRUBD!uXL0 %\F T].ˋ0CPmOeffYEW$-E79<7u<@$HzVץVo7?CL>WΈVW蟴6zŦ!>a,?ߩC+Iz8ꮦ\|P`Nɣa,qZWoR  vhfsWi[4DaY£\] Pjx𫘈  *D X`><4TO}i#Eca44hvKliKK^ʂ?B,@gQBek`؞I9"P]# Rak&PZmm\g"3碧X1AhD7)~K< l|PČ6uG wlR+˻[K y*R=z! fz/[z1 *s둕I nq; #YDE҄y!qHAAvX+Nl$&^H9Qu&L̚iK~ 0P!d(L ы!C Bb&E[)o am%΍6ۺXŲ;\o} 0a_M^$+cgv},n!s H0٥ϜV"g k^x(ptCn|Z3zwϑ@?7__E^%:,?qCd@EkB`ėtݛ%q'þ +xQ-x@?F|Rz%&le;nғais'(YGߢ,-(-?Bo[9<=VP WdD;PrWMY;AvSftbDLc@j<? M() -3LҺd'aak?yŌ<\rFX.a<YC+ZҥBwR-@&P5  !drRp:7Kd9!H2 KG%b|/K  L 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/kvd8*А:'YIC_6^? )ֈؽv7eK./I%V[2rs1k@$+$("4ph%ѡc~y7f[UJE$H(("41:os@qaPjbYQ3aAʨA)HCL3BMXdL"A3(h‚*TV h„$L06,䤏sRHPcPȤJ3M$eZMm"(Dkc\w 6)I3baaaaaaa恀cgc;ιZskk.wy e{ ׃uZm۶m۶m۶mv13DƖ ~y9 Z> (T]@BQV4ܗxbj#c"zP(LXDQbly2'lY.+SL'"xz!k_ . E*DEE_ҨƁ*h("4XgacETIDUA86D@(J̧P|&h#k{|7d xnˏ-E"r LX:!E$m=济Q4yLеX|36&sD$3@@H(jJX ap0`aAAayKAHIFi?OMӹ"%, {wKKH"ƣ˖a>f#`yWbb&#/7@3 ..O 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/1dXo'6mj_3'ݛ L 㛆E&j'RF +L  B1B b# TwH$Vj@(f< I DCP&R$9 NT< 3hZDI48Nz<FJ<)®^,JEʓ&%BhaL'6)yI9 IC~5 4H@éFM( GP(p00 $IeX08dyfHF4 Ej(dqXHAeQi8@#Ahp$e"ƒIp#EI9@@HgGbB1eiH fa‚!⠡jS;2`a:@[&p8@EbqQ&| P5LDj0iI2Ddp#LXFYI8aY8҄L"%`#Y*,$H*T$9&Ae!D GH- ՙHz&C, Eg@<(KP@0 1HaµwUTuxjuQW ۽QffF4S Ѩ(xTnzjm;RZT vyvç*%L&rUVVU Qd#ߐ(Jգ"Wx{{^mݢEBH%JtݡCgYBv!EjjvzjfZi=Dkj>&y[ZN_Y⢏XOL#"놆u^XX{{utzz:^vv^WkkGjjOK;ٙYf{YRD4[luUUwfޣ0 : KWg_mumuVg[m[muVgVgv:v:ululUgUgW]uvvUgW]u]u۷o߾}۷okkkn6n6n6z[omz;ovy;?DGOy~G}u~qwѢҨAHD$IJ* "1Eeu A !     P!<ӊs{- E{IŌiŏ@Kc=ƠbNŴ\E^x1CcR1bZQc"w/PRĘh1Q11V()^bPT̨VT /1f(c *fTL+*~UJ313*?*rJ1>fLJcFaHe>'HZ0{L`3Iƀbʸp،cqd`fIF@c=ȘUcV8\ /J5"1` Z4EU0"q0\4X\Cb1c Zf`jQ!| ,B1bZD`b@0]T9XdCc`QZ,fw1XP, +5MI}TE|eN3V+F!gKdEzd^C*V$X($ UtEd2FE2P+B!'JdEjd^C*V$X($ UtEd2FE2P+B!'JdEjd^C3H$ OHF AifLf(2:Q2OZN\pQD?g@"f*2<N4QOlrDpgDf,n:q STCF+R3s^EXͤ"eHhcWJ㮈LKbZ02$Ebxhf/^tQmsH\%(vj0fČE+.D*h.,1h1L.s SUmXB@rzF4RsU\aZP#o(eUS <KWWHM-^S>)KNQZgt S>ӠfpeI#Ca}eD0*|>֬ߵcIwA:b_-4] qk #焛kp]Że#daF M݅eV>"lWd˼i)7dcM֠z50&HZ'|j:KZd/ 5 []ܐ!$xxBtMﰶi`H ?J"s#\_&ou'_" WAv7#S3bg/|yS0nWDu8Nqae}yˤM,g%+}_t8#+k)seaƢ鈾,(Axvڹrұ_Fqeqk .4\q#Wl[,T+a Yqe<|8@ A)CIPZO3cm٧q9N3<矂NK ]g-P w^rەOq68~6o>0}r͗ΙxrxP.5dsźcEeNI1ۼy{^|BGYye(b<ܩL+0Yi2Mվzp5 ۚ!avlz"Xeޝ$0ѼYtF jx}36'M2з5f_3.!''&{h? m-B[h mО=i0- _v.]Dhm=&DhO=+l+ |>l6fl6v.ZABH $bۄcL)16!S!d !M cAB3!v[aΨza瑔(`B 7@!HF Jw'BUEsz2Z[T3'9*-"d8HQ]ӓ/fEμXkհ6c\(XfŬXvfQ!6_5_DT˫bc-2DBN.DţAqlHLSiu5 Ԣ 7N_WZ ƋhxQZ0_L fSSƁiƎ1˜1Ü1b1af1d\0ee31#fCƁYƁ)1ca13y 0+/WT`xb:Ɗ +/M*0x?fEۗCS@SE (a"ƊK(aYcP0PT2yE&g(cȀ"Ҥ"3g)cVdX}9T19E; 1UxL^Q&+2`H4F0Vl_UL`NѶ8:!1a XqZ܄nS2E[#_ +tDXTLUVB7Wԇ ďёJkYpdFMjvFޥbƪ"J͕U2؀ rQH)7C$fO kpLȑmN'=^/[m&n@/Ғ7陒M*VBܪ (៕frhg0v[E _Zͱ%\,)C joFAWW2HKh8-(*.G,;0)d M N /͑SU dΥ[C7~ڙ39p^)]oK97&@# A~nYT6d8C^֑rksrXPYu@%^}..ev3[L>[J | ^ng> |WG1BވcVgSC.Фt;$lxSRf?Hެ䥣ւS}H% zyqT}9R_㍋*Ctr[Of?P-UzW M?yc?DZ6`aB})}Nc^Śػ*Eys ,%MSD~ 𯳛f"CbnNe6L XKMpBr*Uu72#3Vouyj;s" )ϟ ;J /ο[^{ rp ib+n=,i9&(BLΜ&ؽ"?#zG-8ÔN!CrߍTyEOtEY^뮒/ l+-Z@ h}17>^6RpCdO y]F1e:H2%o8T!\HBn>[ Ǚv?%@(&LM`o~2贔(eߝ,$tlފO$ڀPrv)k q> ;*2NK ԁ( VRo8#{/ 2V/L}duֿ ҙzʅbh*򋬰qU1@#6d^fHmɭ6 2'·l OEd0pzlھPcZnOjfGCXL4[Œvd&m__c|Cjh2{J ojp:*'a?e}|Ň>=x1ۡ7(A /~[bcYR9os6_rsN:dޑیZls3JARQE/$8뭐/E+_Vf-Vg+ly}umE1xTխvV:d;D+q 2a}Z+:sH$ 4/ bQZUu{$L<.Ԩ `O< aM`9n-C?> ٸML&,OT%2 uz/?&Mc"0Kv1F-%0I#('Ӧ#~~.%cr^qmwT[ksMc~@yPDU2GmKgXy*xZ9ZnyJBT\mr:OmHtrʈ$g '~r̘ 5[36Rш3i1XRޱ)BjD}Xt⋌V Lj$[j$mGVnUr:jou} lD[^l-jbaxèZvQ!Ss}0 :H;2V QQͽuri3Nq;)S82+ K ,k뾐+"ف^[-.5BFIQ*zƌSHP^6V݂Rl('ئzm!Â$KjT/se=ĆL`Dk./ %QCMt6qe.P}~+zDͳ-P4TC6F:?6S8%N([}A>[ܟc>Kak *[#ǗˇY8N k񽢞.eF*43j{\\展*\ i@=f_0H:G xǸKr*[&0XY1; $ITб=^sh;ǺnamH6?L옶#hS<E6|6| o "rˮp =jZM4wOΕ 0d;f270OۀLG&@Lm)Zt̄nC Hmb×9n!?D(و_3XЈ:6\)Sm^AqtÔ&C/L8l"tHq3HxI mDJ[9EO:W5OI;,e\dUO7Gm`lkg$تlb*)ق' ~kjՏׁ0NPCo2_d|6!nMkymR`9+aִ8' HU[ Q-"D ~ AB.^|L8C@aS#bC[8WJ[&+|m:糫aKM%R?6$9a;\So?UX}\KBfAӱQs,K(tSi:EReYQ*J8l_9H5R 0W^ KWF;P(/!X`ns Wq8– \ Buhz=xR#3dcwH}#˒ॳ1j-Gλ aF"MhpF`^^K5,De]l@Oy,$/XB&f `Z}BNYxa"L/"b)99笒H"xșuo: L5XG=G(> F*bNڳ^K K%*YzzZ vWG\Luxַ1%3򺎮.uM?uI[PI Ն:+ W.&@ ?0ֺϼl R < oūdӳR\joPMsA*U- ?#}vnx24.&x}+S:* UxnUB#N7]| LiU)scsskOOKS\,gr$NYta7Ƣ)&fd9WG/ĆG"~f5Vl2b|TVxd:#:1ʯ9XJ1+ɉTGȟxb 'cWBMY7BVle2!nGv*ԠYFdj!PxI!#Cvʮϊ*S2dRB{T3NEj:69nl:7RAYSw%_\9Wzln5;Q*KhNB#u)a'=êe.hfXǜ6ыud5t"5דWFgfw/e|Knk!*ϤL{IZ:gqKFF1=)ϥeŽ93Vr+8bu!M\9]kzlu1NЦ\6;bj{X$aItYD*#͑cGb3!Öě1;cΨEf͉{כ +Qڟ\cዢ siqʩ[3˘*z#P08(A p@AaP  !$F1` EB(Ͱ>$_3- %3 -j'm%brַy0P΅|T6Wp1܁͡D)޿3,3cۙL)d:Q'$!BP(VġV(g{j,wQgqAyi .Ą^jufU2@ymp\^H3qڍÌ6y0shDz*T&8 1[a ;Ee_6JݜF=R 'R_EcV?J.yjN$\<>$3S'%d״Q/$G@%ԝV\YnNbS>Fo2ФkO,A>%mq8bU=:ct/͛v^底Uw']ԸsQGn #9Ɲ=ja CqZWR6ct/n.D/J*RA0I;!\׼Pz=?Ll.0HEurbfzYeUǥpE XRIbAL9Ƽ樯P~tITpV|͡+㘠7v;ޑrbݗSIH-w S ;pt\X>m0yX1=(-W)lL C/$KR5>߭c/ dz9K㠅!'q3ҖQ$G6_"o#eR\',/t47թb=fJLk((삃W`nίvma,tSr̦3rqsʑ-$Q9''\$O 7r oe6`m4( nŽ9wPq<ߦq 4k ju*-LdŠ-d^N,#6IzNpA.ɩBKqhq#қ&lŠ~?3yH#Ky }I PM1yv٫xY{Dhse|j%(e:q)@hO6/$mn8)*N Ik(&7|F鈓˽S8Jg"S󾂄>R+DzlsBƥD(?Ly }َdM m\H:Ũ f7,gɘ pʄRtRy3H2pH CųTqiY$~Zy[P)9͏aoPY0$Bz(Pxh&{ _7]\gikp+{4˰ .Y.6/‰o*{=K&q `JD(Yd%(TN,z6"A@ m37(ph>quϧleS'-4"6:7ɸ)4aW%zs2W9qF ,#rfRKh'^%$K\[p|fQ ?C(`e**[a\i۾l܋s$vb(uC<{a3i2cun2bB́ʽpdQ/) cæÓ7Ƚ4 iJA'- bBkJ "Av7'Me xe;zE3%i)( (XN!j`N7'd}SshT1ykl*YƤMun ɽ&hu[(Q}mCNb,Z)d.)L% (ݛ0J0'P^Rls*UP k@yvMi!E2f=P{vh1H K2s[_ XG"ɽ& d ngs::y u0rK8%zo:*ݲGi#4Yں5LtH m4q<7C7Wu:/ kC&N31%7,lVVQdd^TML.N8! ֯J,1@u8Ϳ3̋uM AfYFuS^R:o>vFD)hkaM˄o*hMB Z7d~\# XKdG xഉzAi vhU*u-ŏ@+b+ݲQiɨ%0O&7uc%@Gm? FbB% k_Ʉ&?-}#=ŏ%k [j:훗 yXj {ɲ& lYͻ vK6(qE b֜W $pfܜcp^NX<\}+6g\)'1A븜`7鷎@OnKH$V"@%/P 'Zzn[Svqㆍ'9;`T׏4sdK\Z 47GQ͜uXinMCp f~$VlTG\Mi\ X)׻X9\,I#v"2 **/%_2)S/_&%ĭ1Hs>]v \"]/|f47ae7c01e4b97116bdefe46b258bdb9d94674417c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7 be8131a433bddd63b748362726e9657753469013bf4f2d8b-1105-4b93-b6df-298a11e069f1