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 >>35ztB` ]/ UHOL-Record_Benchmark:threads=6elapsed=145.947cpu=239.504gc=21.679(/ ]9Dc?5VaS}P b],"P%!q@^aْ4FKϓ s9MM]qcJuXnhj=*((/ _DKs+.7v20u65}#(/1E Pm ??bMQ \ig)xsâ Kax*C!<;%<'2 Y ru̲QH^fN:{ZK& G>2 +Vv_dBW5Dal&(V $VH7{>" ɵko|G ;WW=iOvCS?c^>S ]=\ad+I)/Z[Qhgoxk"B'9$m]PEX׶iQ|SR\΍L  n)O9Q`$, !p@$0/W;/r쫬g-$=K eʪHsEI)˻_rȝbNHqXnsG~[|!Qt/jRG'ї'"]J6)QaY2Jyržg53F8ײP5Ty硾1 ?n'r&Uc7'-fS[t71-dI"ע0${qo("q/JHjz ͹R {~2Lؙ%'BJTt1I99tl:]UHHq6#B!TKfHa&S?4X3]HA澂byĨTb<7^cq6169u26O> %9㊮WrWzxV#9L/%z{PIE<$%B͇N$'1k47+J#VUs^Uq&{dIţ1y*]Ss#uV+Zg5E2PSP!E[몙 YwB&-[gcRw3II!@@ Fe* 00`P8a0@PD1C1 J>SI׿(TR>yil=!F&{N&F8Fқv"imNC# ΍,L$pCy4tJ,QrhjhfZ>ub%DVN0 {) hcc&˲Q'mW7;Կ:5lREC{,jT8 3ӿ7?袥?N.S^O+Wka[,gc@hC7v忖yf;!78as UZ\!"J*{T ~Zt n2[{]‡$MCǷ`yYgb_HcEu[SLuU__5[Ξ>@s=KOm-sTQ0 ꫆.0=0".KZO[L_M⊺)8DEӇ85FBB -0uTIeqw W gK~bzQbAo EqSDJo<;r SpU_~p,Z-K_ޭ  #ܐ 6猒8 -jˢp []1 #槔]^3˙=&hklQR 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 =jT\aNj"Ya@}y]RϜǻyw{(!t*=7u\>jZ1l8Frz 7ntEB0#@ 0#8A&$0@ɆQs#o vt 'prn, WpGZ/zfTnr$|F!ls$pe8t|xxt#mn|+G2Z7<8$hrl9-ղ4)W  S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Recor    _ 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;!S]*.8&x (` 22l98c. L)-܋ӭr6H4 |Im]Вo+kΑg2NB|ł @' 2CבvCNd_,*!ෘ[} CbAbvLd/2!_Um COiAbI $2)dSY-Q!W CbbI !u'2-KdS̭.Q!gYɴ Cb_1I ;u$2Jd+6qTɴ C_I ?ŐuV..5!A1wi#{*ȦܷXH]DdS((Ed$ûrN#z%ا_(-ˡu&d[,Ed$Bn5"G2*ɐW_بPu^.*eB$_1gi#E2+ȾܿXHPDdS(,ED$Crj"rJدW/ˡu'dS,UD$Bn"E2,7*ɐ_;PuV..eb$1Wi#E2*).ѭܷ$ ?Fd,}~".[ɠ~bxy{#-ZReQF?BFz,VjY4a9đ uk_ oGxLjdYlV:=ȶ_L cOyT]̃ }R2˻ed-?U-W[, Oyt]fAR ʻ1 2(?VdWSIGyDAC ˻3 2(?+d[/IgyAc) }]12+d/+I}f2-$UAz"bG[O=BOq#e-J{%ȧ86׏8HEzGSx"j#T^>rbwZQ2T/9b;xIoQ)H$$G:oڲ^yaI#s1oI[R{-Dz3}-m$*Idn_!k3H#:M\cD =-lgy?8C#89=ɎzP]݁YÙcÝ;GCXtO9:84W|9f;"KҙCGrΑtѹ=܎8U~ؓW`6J(\䡡=9=xw'HI({Nщ ~Y>ʓ8Rj |DCI}l?Sq,RCr(YgDpBL}>A;Xva:D38Q }<'!?!w"u!>L'?sqNi|,Ct!Y:ӊCuNl?Sq,RCBvu!>L'RMU?%H&utKe*⧃]S G,GHTEy蹍>J1*='P)U6BC%j|FLsD54XYtU!! 2@54T6ҍ9X''6yYԣ;*$ϟ:k~Mx$qm5-3Pg͓Ȃ#L&I}zBT2HG()q3y萣JIZ6 iG%MC&RArD`i7I^O6l=+ We>5(IvR}bGyϯ"{RǭW1(Jeqm0,mzI oluoڈ3jugBHI m眼P* .J#>6{YU'clAXIk6<ƒc+G=B)G/?Iu "~R|G4~ ,"9Z]`vVdVS XK z{&ZuDjA?/5Pz[ăRt]rSI{=mJq: clqLjsdbF6H'[.oJn@ZaMB*qT"(^FpV44X nMDgU9\H{`%R8_ -(q0̱ Yq ?ΉC$Pe'܎:ĭ T|+ i-?&6t km2e?96! 5JxA[ōu%-+X)EH ^4`r;&~yM@*qQTbXBMldJN9`i + L,DpUǹq"M"R 8 bGȄ Ԉp?AE bFv>.72AĬ'qU&WHJXfhYG ܑJ-عՁ)pes;KsI-7#+uԌ'Ն}3X+L)m5#-=@{U"S7R[Hq_Lkؐq%%ݽV wd`3ElZLKLn3jvd7E,^ D<mτUğbC@ID-yfL ,qȔM(!XSlȽ|`+Zv~UV X[f4~JH[TD ! " HmSI$Rmx?e0 4g0B A C !+&I舨2byN1U@ Aq@a@ ĝU͌ anD !#PbC!aG&qgE5OB1eJE?sys4D *o^ m>鞠x 9mC[lb_f6&bUA!v;pQdy/tx@HȹѶO -}ұ@Z o/Q66+E ^9ɃgWK1'lQ_xu+UI+*@S}+i_@ lTͰ+NEMA>R ƞZ ~{Qn@3UA$5b  ; 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 =jT\aNj"Ya@}y]RϜǻyw{(!t*=7u\>jZ1l8Frz 7ntEB0#@ 0#8A&$0@ɆQs#o vt 'prn, WpGZ/zfTnr$|F!ls$pe8t|xxt#mn|+G2Z7<8$hrl9-ղ4)W  S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain A5W' rHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*ģ:% &i̧@ I%%i2@@y4&ֵt^ )L B )1)H)D B)fL)D 2"$lCCĵE꿣~*_Aw7j3Vffᘪ{2<"+";cfH:ffL cƐmm[)y 9&i$)d'B&4؈P8xwcʻ;ݙ l233231*UUj숈h Yof732ofh18c c4˰>~?2!H0( 0`aqL (X8pX A‚ <$,p@ƒؐ``XH(`Ph@$(hpP@B xXx`H0ү+J+JүJJɥR\J.%KIr)\J.%IJIJIJIJIRRRR))R))RRHIRHI"%<#<#<#4H#4H#4H##:#:#:#H:#H:#H:#9r#9r#9IqwwR]hܝw7Iqfg&řqfgvffV5MUUmխb*iUYUMTD3јu'D2܌g3ÙL93g11c6FɍQrc#7ƐrmZʵ"^GlY>㙜ٰVUERtDFTDD4DDHnfjffft̍15Ƙ118qQ1m{VڻvҝuYXpX9BʝIɌaa <'¾¾/ / ¾'I'I'Iߤ&}Mo7M_/K_/K_/IO'IO'I?G#HG!!!!>3*1E F H  !@TBDAbn@ &ƒ"$0`k@B( H$0PXxhPx0h  4<C(4{{{{{{{{~믿믿9s9s9s9s9cd';Nvd';O>O>O>INr$'9INrIIIIII<#<#T,.A#4@ B \ @`  Pp000 @@t]^fܶP{Sr2ĻRM+73UY+:vw-M 1#ɕ\қiՊHfaEXeG<6Z(eju!Wwq~‹+E2U}-$pYz+ʚh_=$-(hvL+ZՋr~%ė~kN]pR߾6b#Dbii?VQ C,G_l* /S/3LN)( ]"PҺUUj׻;D%+Z*(\[V6RgM*O 8ycA},q0ix t%L^*-%@JV*1At%-%hk39Լ3Y6J*r&S6+dڹD`JI.?).`ͲV2\!i%J"jґVJd2̔lA L-Wrl!I}i,ҘTWfji $zf.vrr+~Qѱ'|8ͻ($]J=vz~1j3qGShc;QY#HoK4DgK6;u] tɱOdqFvDCѱnTh֌5 c4Ύc\;0FSwy=DŨ"DfY:.kKdSwTy.%eM3a2=5&ɬi15=Qgm:jVn&r2S=4N3[ eJѮG]?+y5^t]6wHes&>[m& y }zNS^jelJѫXtqʂImc@ d.&v@*K;*4JVYɽl-|O5ԢETYZ-RfMNL Ŀ웩:j (\+6Wk:&p\үAT/{Umels`gZnCK Až kTb̉ d-CݱlLc3me(KT3l eM SH3aa)S1xTAa*F][d ;- [ P|40* 4P2#6٬Ȁ+0ЎX`z6k%0f i2i,D@ $3? )0 IM1{LQe6)04,cxEl<-`e ,3T!Wlae(,2Ŋ+k0- rpU5Z23nVf ӨbWtZfٯ3Rt m 9T:o1rmr:!ʃ;P-f[>Ŋ+|݈!̣ZCi3ΗR +LP뎠iE6ha u`Vr[XBb;d= %Ahm5";9;waQbL/g=I5B(:6h ViN;{cH#ˊZXV99:6<*NƻF˪V0اVezGYYնnL!]\5ݺ<Vq(5{kcڍ} <˜z]@coN)6ʪ~ݸPY\5k6<$T-?ݘeQu;~zxYVێ[r3uI^%Ү(a`Yf?94%ҚNU )7]'9_6lNc.b1 |=T{62nC]n!<*1(/CW}_j<'8$U61S2pIhaOM`aM6;0,!Q)@P44 aI(eene$ǵm] !(HH ˲@ & InAIwf?V{戧tѶm&bJwU9F3Bl mhFс61DL!,bJ2iR CPbz X a!B!"D.\5#ʣ0pSId>D6quG5 D*E['@N\_*?JtEFSӈK%<éesC[9nc$&7aOzmMY0O|t# f=V ,1֕YL&K#0|l.f18娰VLhn>T]CL)* r+e~lġ&ʕb5]b` vi<"hx})8 )pZja*!`eׇT.AvJoF(/NJ 4vEuY{cD舯h A]A(QGc=rkۚsz6hu=49u;%jhuj@מ+`!^=SףRק԰?% `'Q{TP vھ)NS`?K0]} 6U!u.*G:O(@Z X84QwCaՁm< ċn XW9xLP^5cQ,h^?*^yv'Z+`}+㐽Tx{!o@$3$l׻t%F#ۻƿ3R6+n4JlyرGGWJbIJ~v%L!GW@bIJ~t% v'$oW7T6B ''N5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/aʺ!@ 9wAWAx.q[՝!IR:v N2"""!b".bPh  -y"yű]qO\ MwwvݙɘYǬSU2U2UUmLU]3D3#1Jgf3s3ZhN[Uo6|')12I~1ɘ<L0ػ ,Ȼ ZffF$3UUUqUE\1Q-DDQC43ӛf*n&׶VjK6툈IMD&SKD@hHX@AH(4X$\"E?~ }Fc#)FQF5kԬ*ZhD$Z%ѪUGV%:JtQ"F%bQE(3LDgnfnfnnڰ֪jZD& =o>'(F$MvR&9I.̢*H3цH14`3 8?;˾˾˞ɞɞ~~׾׾b/b/bo=iOzzzᩞ~~~ꧾozzz믿g,E(2"((??o[h]_~_}_K/OS>OS!rݿw~믿~駟~>s9s9嗽KKK/K^򒗕2.qcy,屼ʈ4FHKKKKĒĒDI$C9S,Y,K%˒’’’’’,9KΒ$Y,I$K%ɒ%/J^(yQEI%-JZ(+zWѻUwEw5D&j6Q f/.h(3(N!E $Ha@(00(@@0@pH Fn0{;qVKy"HW2oG68^$c΀Ĵf i\lh1d⻄K+1'v.jcJWTKbua:Y!ҕsFw%m)ڕ̘Hp.$u.K0%3uVp?fÇtRIĚ7U;,Yf"Ig4iXsj%ˏ&YU* uFɄq'v%'NF_W,GaqIsMJ&:\sV+PJJm8*$TVɣBbK%NKT:vn,B,q~MBwJo,/V%i Hfɍӫ Y "fH4%&4KM|f_9gjΗyzb)dw3%3Tw&3fJSt%4=ӕP+9)x+TMijYeWa9=ZF@!&v%JFR&JB d JGFJu%D&=֕PGGI0'u%Oub t%`L4JىLJ+I-V+ tE9WV]RD֘xy6e&wm&I)+YI Ĩ' Ll撨*Iu%,e!$(e9t%(]*u%D/e11@t%\P:b,O'C`E2]L> 3 4~^lRA-bo [};ZDѭuAJ)_Z31m S@+L v_,$a0 1 KwcHct2w7KQXOĻpU.pٴ桎CT`M^z0oU 6-bWSiynGFe9!f򣈢QZJ`Bc!v_:}{/u*M,[H I_WAվRCE2Ե5(E 5ĨD+fӚ:՟SC,:i]g} ~^zɲKU)֎Vkym )ڵ.lz` f/ :o{Xj)+/-$Ф[@7F fʾC! Ӊ- Esr)6>z3,o2pHV0yh pF .-Tlԇɛbb (A=3(W aM ;+/x[HIkR4J0)`NG3)'ESth#<ӽ wrA KB 50R+Xtކ>]3g4ڏVAyݎ G+˲>N)Pk]Ġ@ LAa b'5TKx{&R Vf[HI5k}C),ϣ5Nz$#5Xҥ-D 5َ:?] bT4Z]Bɒh`ȗ"gLPj%Ag P̸`o+7w-$zJgF):J)xNV N`#.EWf|PsSe$iuϘtC[:4 P eUv G S+(/>!_wmvIL2qX{o ioL!TN {}KfxCM.[% "x ;L`X~$E5^wQoOc{#hX\IQnL/jU 3WRMj٦3EށKr_2jLcƑ't8,}.U^ZWrp _t{4wZ pA:k 쭰 М4~sa: L_'=fB^OU-cɕYGu!t乿Թ5"~}'O>]}ۤIL-:U3mfCҺ g--a+z4gj;BTOr9كϋ~zpcl r`veA^d]UL:?hБJk.O5]s-oɧ{6i~M%,@UolfBһ z-_uۼ޺Nޙp:#\HWE*)PUO6,/RbNlbVSnY?2&n~E?V>O 6)Blj`riq]01ƿ_l@Rߎ3ZZd߁cm0 w{y)&?Q&J64Sܺ'6ck-A26hCSt;|?r!FX34/9Eo`{khuf6๪{]i 1:yP$ ͍ -pfe(ݜhܵ{RO?Fd'1!ut4#A^#~AKMQO{ pK*@XeoMp;q5]]mm6Fffffff:n[ǭ&&&6n7Ǎqqqqqqq{q{6nmq ma[mUXUXQ`Q`Q`M`VM`VM`UXV5DH$DH$HT $ 89pglll.]`vmlC`[ %P$HHHqXd0 AMFDDPB ~??ϯxxxo|7^/K%|g|~?G?/ / ~~~>]zӛ7=9< w;ÝpgXfMfMfMfYq8k'I{Ҟ9ۜm6gY0gaWUUUQQ ̴Ӷm۶m[iVDD"E("!"A99999IdDDDDDDDETDE֭[ndM0"i˰ ;,EUT]uUW]UUUEDDDDDDTDETD5S34C34C3433333N۶m۶mVZP" A"h-EDh-EfRd2[fRd2> @ @0 (@` H @***!*QJT T:#)v g83hh{]vYEVU$T$T"HHEYdDI""&""b"&""Q"iE$"fZ25~~}yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy>|>|>|>|ꪫ t}"P )>1P qp%+`'?T="c#ZxWYrիhL ""b$Y\(Klj$\d (uf'pTqqfdbPǨG`%:ZHn bXȎA,K/8x¾svJKpґsfO`6K<96=O@SH0Dnl'{ pV#, {VF+dl2LZdC7`h٩JEFt%YhPWW`O(TD!f}~7l*ٓ '^ U$4@1,(ĬHe߃FFsmJi"j7x$dKVPqocaU}á=T:SVh|lѭ!׮_%`4I "ɩd$5(tY(1Jbb8'$OEn1D9q),ꖧ< )AK995]*fWewѪȩ2Tz*ϪL(KG[Q9ةNqvUzG*Q(G;S-etrrUE5UwgsRt2yU8oQNGIeYQ]e|Wq*)N%由ҹUyVertGy*ݢ)NwһdQtTrG9=*SJo)#Gs,rQ䶠X+>\)GJPٯ Hz LKL^P z"}qoz Oa1iĐ% \ 酣)NQyet|G9*S)#wdQrtTE95SJQfWs٪]2T~9SFV*#WzGd_JIP=+S% 1Wt&*$JdPW^8hQjTNYT0{^S|(4p()rT:2jA&*H#p&+h3JP RYNc9jhXBcB2" '@#SZh \m‰3Q4]jJ!*H ׮{6Ɏq0qr5Hީ7qqG&4%!%|S )1t[TЫ UUFi*H:Q jC]ԼqPjRAr)ګTЪ 4%V;Eaq4(U=ԭ0f &-- PwjoWCxks$n wCT2|~H wWS{ ܫ [DMb Sp5n t^Eh V!*7$WPڪq[Eipw*CB30$oMӗ/Q)aԐjj[&Ӎ)Mq'᧓3sBuG 75qPZS"^dtxZvLGO6(*O":cĮCc*sf5E'(|ZYY7#&_Ne0_b~O7eI%ˌq)seMosa39ͮ,L15dڗ/1,dK?1)Q61E~"S (&9 ?.!w06O"DɳggiN%c3,T~RZH9"*_|=BIOS+w|i`R.,Q,Xifr ^Dd}koVN*7ZJq(}1J<4RRQ>rʋ{i)lW]qO@z4Ž[ J8:XD<Ƥ$YA^l\¸%=W ҙ+Ǿ&'G*(R'Mq1hMkJfyZrU"ȍJSJ:a-P V#o\r1Js"!,}DcMrm{"4*JC#"EbD*Aj$NRAАjҩbg /-&}%tY!ꥃ )D**"RY\DZ'4q_Ps^yv%*Ȭ|6R\FI&I{]Y4688>)=UcԦ9c r6ܕg |6d~~7~|}iG:BWt--ݒ-ْ%[Kx}C9t B ȄHCPeP Ѕn )tSBBP>wmvmInݺmݺu۶n[n]O=Iѷ֭[DDĶm۶mݶJn[n{gFDDڿ?;3_%J(QD|EIDm|m˷KB$I$IFDDDDDDDDDl۶mJ$I=Bn^ I6iA$I'I2""""d""m۶m۶ "elA2oϞ=۞={ٛf6lff3DDDDDDDDD wmݶ$I$II aoF"nI.b$gXDZ*e"4bۺun[n:}[ݺuםJ:s Q`V łD@|t19|憶oTF`UNZk/LJ["s8 ɂ/6$EлfMl'h'=3 tqx.r=qn:䜓j7);n Vk%9@ךaOICZܽ613aSE=c[JF1Ū4gvJ'gNQbzH,m7:cT8a7Vⶇ毷ouIx%hI[j  GT@/qyj=`a, A^&!'5&O L'Z%PSD?ЫlMk"u!SD)іzjN;L:moN2[un GGqI}"1CoqXK{I9>É5Uh UQptVJ-[7mAY+Fhu+&U_TzGLbV$?nt<6 Ib)u.LϠOAƩujoQP"0T)0S@UMn"VoICoh!a9NP0.XrkvA2Tۼk_:'1w8\tŜ T|:ܝS.C뛢2,%ۧ|tu=cz JuP)"jSܼT2>};HJ ~0 T+: ޾f #< @O2#}P:Sr_=o4t5N̴PǷ.y@DfIR*ơ VS)Y=N=ek*Ӭ-VsNbzՠg`)Iڌ=s5^rGH*)Z+N{Pyqɿ/|^Ke0/ّ,vЈ0xν -sתSSD ]:[J#Bg P }o P D*fu,:ݪI WWSϩMB ا^\0rVRvg1'(87,0:?۩P0GP{ P u،y,O05FH*߶3@'H?`J*߶(÷&N&cV'S1S@+J$a![NЭQT& C*Ŵ"N2IdKe*KtI/eJsS& 5anMN+OOƒƺ$|%r 't#WI,?B"#W(I'T*OT jKlۤRm`.ҸMf"K ,ūJ\dp17  v ]-F *n:L͓(`7B M S♣R VQ#ّ$W"wG'D|Ꙭ%3|@'7v3cmC0Mһ,M>)R"lϝ;OS7Iӿ(wGvo89],zy"o~Nv:y[)0_&i7d!a"yV^Zs:R?E| " !BTfv'e@\أBɧ*z՝kJ$=ȓus ? ]|򯂗B,o=`LB@Z!iMғ c Wp(oX YU͹VzO4nC!*mܽ$,  \:IjI: tJEbڂG]ܟ*] %thj-rn|?NDvD~bډpD`PNdWUU~mm[Z)H\ .pff&p333۶m۶m۶m&.pJJ$p @  ?%"m"(UUUUUUUUUUJ+mQK "P9v@Qt# ``KdgQ`DUdODUD8m"CATnDUm)  $;EW%*YPUKdg"m۶m۶mF4"$I$ILg:C34C34C3ƍfmٶMd",33mٶmfm6(>==??%əU`ժZ"3E~~~~C|%"!D\U[VQUm۶m۶-QEYdI"$231b&fBL[l![lه )^U1Mb;LUUUUUUUUUUm۶m۶mKDDDDDDDDDD$I$Ir33335 s 0A({ C @"JJ*>),?󭵍`d?G8stn>];:Tv3ͣGp9{ TſA=mu=*~&Dw͑f~GV8n `zoΕK!&۳lUs@!Ϫ~(m "KDϏ!г}́f(^wF4Y{)ψ)IkN>PSxzSDʛ~<+RlU6olI-چ+y=E t7Gh׈prjE~T":!A1EH3%yǧp`rcjۢ#o ؙC0ȕ&k^$I$҈?v6+ G#ŸFNEܿݽڞ40´_o<7“<|agi6aG-Ԫĺݶe(+}^&%jvRS{#g5 ȣ<5jjG*9́#!Pl滼5/Ѣl8ʯh\d4E:jy{١M)d|hWݽp&#bW1) lcKFp(6,M/w3~=$RQe#A441ܸVeAɬVH`҈ }h#Tm?MÙ:#)=1hE5{uT1Gb1;i"ɟ+eP Db] {Lr⨥zTPayRK/,@(6SEFuQ9+Q=QYСҡޞ(|ӘӉ$0=<`R%5-^S6<,ij4(ƩOd{PJ7@xRD,%2M1!0NS"Y&}BoY3I9-Ig"R刿ԣ<zRc&ϟs2 ۝}$Z%6Ƹ:uΫp.&6Jz$8u9Nxwdbܰ8 SZIsr%dc2+2%f>"ޒ28eRRØ|)6TDD?eNM$i5+ {I|?D &W(R\E:*2ZZY{+u)$JZN68ҔF:ߜxn$inVg'aJS [(N-U@ D}JH2edN59Y:E+MTjڢl.kJY/Oje3oL4DdR!$=;Wa׌D۬BvuPC;M/A"P^;B M!dN鏌!TcJnDM4 "8ŰL1-mtrL:PJ[D+GcxnRё i%T?#ϔKI}$y\CMR%g+4YNdaVlfǸza05]rN*lzD['UVH1SMpw LRհL\x\LB@ij`$*zda6b &]5m\UCE\t\ʁ@{UW-`'by]d'ҀS(c03Cs0a^KXP='9+rPKJ褦Qs S$Mw&U|e[$ĴDIa_j*%mW<kb9l/^\dr"E,USZ0e'c|Z1. b*W&xEe#+j " Q3A^i^,a48.<ˊI?QZyI]J2KYJÈƋqN :ƭFVa(& ^v^ψ^PnؐzsyJIO,#!ʃsx#.JI@za˿eBx]ҕ:U1U_r0yg&@J} E*uI uPJ{B!\iQt5%c?ei͏D8nk$(PL7 Ԕϲ`t6@:4 M@RfOƛg.i2MC<BЖbru\ɸy9%jL/M=B/yz9#B9[)vXPI)#Z8.(GLdFח?CGc/M6J7_$G/B3jV4cY AcgQ}Y3epDU`uMnNClZ$*LBJ)}eӵ?4H'%R* $ɤ>•ϫ&q%|jR'sM:cӝKiCsB+9PRdڴC3nn/m:UIk%LOJW!.ZB_~Q5KIIh.u$mjj`[3Pv*$~?) 8%YS9 XITW|aP!oIy&^fߤ'Vc5gERXӦ7WJ_j{)Wk8 B/_B*/hh,KՁGX4<.y3D@3|0q"51H*#z B]|+j$#]b}vAHMbGD.}hv= 9ͳ#T_̎ GgP r}L':ηVJT PjK7hfց|aefS7mS;aڸgSyC1jb6öʤ$-hN֔VҤ4%ebͪgTBLF0צCL~BMd_%:CIsK2 ҄2uxgeF^i#ӕ KrNPP }Cߌӛ@Gfωl;CJyOIRg+}J.$}E)o()/-pR[ [b6;KԾ՚7?٪RQ#+L/oו,Z~Ub9+5o8Pg %. R=1=(˼bNxuDiYAfq:e^Uގɱg|R=_ pK @\Q۴?+/JߕcrlQʆY~E5⬼/A#(GH1;⌤g#YO2ujǧM)v&d]WRp~a>"HB9b;峰# mSdrT>7ڨODTҡG1WH[6l啢.B}<`T92XsN*PEHpǧShL808ެr~hQ-/V3֭CsT2S[VcMJx>@EAX)m z3xQE?ZRRcI0pZX> L)ËU%8 M=oFk!DIɌ8(pU „/;jeP_Y`8P7t]RSW(1{K!Mj2 *^A E~OEHqJ n+XXҡbVK^C-B\#bX(+/Ux!BY%b_?oM)sfR{+>ȨݔjAHXAKϥR&V}Փj("WP,B.J\$-"V-TU8^Y-Btq_ڮE5CEg)x^\B*BdX eX+k#T"d'홐Eg٢<;V(feJ\x@kh֎ zOӭ:P4ɰb[eWhqppPƗG;eˤn{#_S 1awm%fMуp6SyGHwPd/OR-UYV4X6Ȣ{ ٪7('eMD*[SY2/&#.dT*D LdX^͢ZAr5}NT6eI:2Ew %I!Zu[2omdDU)SӴ-be[ ܢ*5L *ҋu\\aWw*bZ!le3Δ@AGLİOcTq'QR~IIL+>W"RMSJ[x ^uPU"Z$Tp4Vi.˪x١zU~UjFdp\Wy$2UUV [%<3u.E%Jsˊ[V6$qB{mخbRqck!M.Q)NkU![?-*TR%WopUmFRQ5muRTjp> L݊.42Ƣezڎ婎} `e$A9eXIywHSeY7Y4xʝ"]g.qBקaaIHtg_HD377|`m5]ϲ!]R`:OIÛbY4?|ǘMZ5k`Tyd2md"D4op@[X5s8xpϭ`'4HͱcMxϽ`T1oy4r>o>~> G ǁ>+*< dٲuʈ Sm6GWBvv4A]]qOvuZ2ThYc;<{`):0_>kdx=8s< 3SklV<|R=׍*6P.@(e2M (A* c ;)r4].X"SɴEiz(Ԃ`46{?_פ5iH`UA[vP~dAg]^ l4B8@1~LLjwqKѿ*i)_w9j$yΆE*" l/d%,3oK쾷L.pd UE)-2a,at7'҃szҁGg$a'i7=a/~3"8侮 L7Ē(t`71Pbs{9F2=* (Կi7vI33AIpODSi zAr_)'ھu.o8Q& e:ϐ<;*`.?j%f]%rd.DPW?s:R4cn2ZʦC7B4h@8Zs5 S#hA#IEu4O,pEoB;fh9kJ 3N~(MS6DEUqTd{U]]\D¦FKYi)oc=.=UAW؁$JNPGL2~̎jJ$Qްj}c7o IwK͚Z=MUJ2B!YEVy9ᨪnTU65L!Ҕ 7:0w}BQD@eȹPF4UwQݪZ|p%K;WDRΑ\@'NB:N+_pMб}#z {^TF3ul(]" (1S~WfD|0ϙXe9+ø,qe&/P%܃iU`CEQAapoxYIZb*S#X]Rԫ\05:=. ƽ$,oF"%[02*QF|r T`5EڋTRjq^MP7#Z-DmYH8 ܦ/x:QA1%BIH|*M_AL)ɔJ!g N4ۭpvDLn}o!r C4ۭH ""*ڊz-)VUUDUUUUFnE-]-*P!T!X`0Vym o6o6ojZ2cU X` :s!gDD&"2mm۶m۶m[!I!IRHRH!Iٶm۶mhf=EhnEmB m hf!0"[$In۶f䷧R6"g#bR6BC4q6I|J\7o-I|HqI._|/ŷ90ĉf~; f~%q;vܾ8M6mkS M$""2"$I$IC6l۶mB!B!&+"!"""""""" ÷Ƕm۶vii۶mEDDD|/r9f~On&f"dnEȭ,g݊[}۶ɶMv۶mn[n[_{8TL/X IAq$  "x`LP( 0L \P6>6AR)HV07q1rB%QODS?̪GCATv)"W2#LehkQ&0T] kE\T786fmu, 232M2Iň;2:ܠ:[Yz`@i';j ˞0JG=(:XbT/eyD = ZK棠iO *L?SLA}.?S+ۋEhWxSXƋ4\&rxBk3Jq0QD_2S%Y"+᡺廚+ U}uʂ-KdJPxc/:ct. ~a vnY]Dv3> [-D$H;d]61y}ЫϗD $rgM̘daFļ8%)T(ܑŜ04l,'%ޘS'D9Z-)Z_0S-BR I>_&@!Д,T Pf dCT@*Ph} c@)($dPVP6i@]_*pxFE@kyT0t" 3*@)-κ.zD@zCсB@}r}S>׎Rn"enr1Ռ/P(hG%uI??%3ֽ8<@sߌO`ISI@?[3+2'|@@w/ttk?6s+?<7"A,QOnv U?2HO*?Es}3#:z3?HS7PsHd { @_?V 84ZF C,'EIa8c|K0U#?h+ÐvN 6h)qj}>QCl2I-nĴRڝH%Zi׹BvEin& Ŕ֦+%ȗ ^h&J F4l5c[3^OwInߞ .XB=?{LMi=wdş^k[Χ|6ܵ2i$ehO(Z5Tpx^53JXIM?@jOUAżw#xH?a׵Xk܉$;J|x_gr9?Y(y7}:?32K^c "WY$!LY!\"4BZ0a:UACe$iZALixZ&?~s%U ,M@n<]P& >|Q9#+\c|dQH6 [HnrH6H/ɞ9! \?#GD@y ?sA@7aᤉIe~lkl32;/?tǽ ~J5_qO;raXhfO*#~O{{Bʀc'vi>)YS/K7>W>y6ܳvs戢>}O8 yhLO׾Cy4`AsR{{_)e O*.3嶖$A5V_h* W#EAcG]+wVτ* NZ}N(k &Z'L$R' u2@S€}hSE7/¢n}H^7l}X(rg}P(p~}IRy 5vEwT<`%"!ӿڜ**Rd tV ć4QgV5 a@A3J]U^iKB; “uw5lg>[ѭXR#RP[ '}ަV>oͤn3j͟l1]%DvsZo1m\=%&\8}Bp'ÌWNl>hNN.F QF rƫDv7!0ag$ƜNu@9sRT_AZ`ſ."Q]]|aջڪShQ.2='sFc^Gd'=Rñ HeמGb|y2%k푪i! 0FKk tvEՊ0?ŸB:3r-O73V*9 &x|kZ="̸9{8n\fͩb3-{8Gޗ#fdg!!|ǞB ]甖-!abGQ1=HA,$ n'D yxbF&<{h3![׸AZ6!m| -i?Q5SPԴ 1 v=jOf\A/XĊ)zDK)1d! (2:ģ" zKB<=Z\ױ(ٺp}]xXTı"׵!,ha)pӋl^xNص#WhxvU1 GW !"Mq1ۉϱOk3H$䫷 jk5Hk_ ^ Pu+omhCZxPW>Wb3ָ3 [C&ZelF'0H#T.yHSCH5XYhdfv\z~1T:2zeJKT7 mѬڵ $3q/U;7EBR2 X8C=#w-#{$FF{q0˜KU=(LlWyxYeo3D/NcүUĘrtBHboiCT5eA9DE55 ǟ;ؘ4ɣîca~†UC@YJLcV_ nafO1BTv,1+H:l{ "Xv nMv5ށ+dxI`.Z%K哮MzFĮVߜ4!gkȵ030$V Y9˛RJ>>,-c*ʧXgΖ _{Y/팑QN3 +{yM~iGFisP9R2#0ʟ*֗$X AOj#T` CbnA"8۠Iۤ BtJY C `opuY*O)mɕ&dBVS *,Hq8T^~}/oVApU|^Uu:R /U9tKQPN&]\$',14CTs;nW+6!"/진0:>6&EyBy""F˘6jkԾ(/}z *T@4wc StV`EahR)Ahg5 (5< )j@\Z+/gjsX+\&XfOV>Z-kyy n%W3*SZTeNŨ8*Nyj_" Z q1kͳo̓kwHVQ l)58IX0&Jؐ$t Az1W,Kcņt*f0l 6mA ^ IgDh †XX&E!BPlG5$毁-C!8 ;EOT.r5.q̩>epYrNRl\gK9P  3\M~DHWǜUCn8I,1XGYĩ|Qc'!W1 ~3ojh;:F%.y'YPY ؆T Yo]F[ @ qg.VT!u7FbwCF8 L ko+Ր xvX]f>CL.5d<4xmfJ05Г/[,ąT}MF_ cOkq~;Ʃ,'ώPdǛie8gI$%!EX A-^SF == F{BBuI.`2 BZo o`4oy15$S1?59D큇¤PWUyA[Fzʒz*c—E#}K8[$K+Ui^/LJq_(M/*ۿ#_B,bm%Mh۶m۶mI%%7iݒ3Kn" """"""""f~-9Eϫߞ%K4iҤI&MnuݶnH"TR%$IRp^DoGI63~Kn"o%7IoH%'Im.]D""_{DMfdFfdF3@ `pB|Bn!a B!xBodl"Dv;&"=|nn""vK~3>3Haa,ڢ}pp  @ B [Cf$NA0bx EʞDUHwMwrn[P%ZPWT!I}!hZQ_&;"[qOO^tlHEi 9¢)2s託ʼnC\t]UM+,: @9Qufmg~Z{SU_@/RT-ž]SVpAt`!;24O{Q1XQ9.]Pg8/wFΫ  u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodL 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ <:L% &i̇/:cJ"ҒB)wL)""&"""d<\    N#n任G3Z~U;D634C3<3٥ffifeVUEYEYEYUE2gmge_gUI6YUUDDIDDYD535C8C83S6qfƙgqfqf3#R_0er#z=mAB(ȅ % wMy(P%`=0B3( a"h@$( 0`ꀂC` <8P(@$@ C  ԡhh@(( $$ CAB 8,$`" ,4 >>?/~ ~}}===۽۽}}}x{}ʵr\+ʵrmZ֦imZ֢h-Z֢=kڳ5kюvhGZL@t 5!>H0@`q0pp0@p@`P0 Ȥ>5)y?[W>goZͪ燒?)OskI ۔ ?\?Mհ[0 [cǯh,yN$dV&]f񇑩C[W|cL_=+b@4'ye(]^<ϤK[aY/)T!f!a !P!ЅF#Utgƹv5눆ScB)\Xfв=ؖ0x'Ldu7%˄Be0u& )bl0ÂGcR HDf:\ؖ0x*Dl`uص%ÄRc0 5&KKb(sC:S`\Yj}E3YlWV2n2Jvƽr+=Z)g3}&P}Ϻ>Ӯe fL* YݲD}*2Dy Kr')X>:Ͳfa#t69g$̺:egL*ß2, ^}Of9j6a.Ld+lfb{^e'iR=1͂?@*:S`PeWY<\fTdP X€~wc*??QVaM2T?QbUh M>dg],6c߲UuVeƴˌ"[̼o3Z6rqu35;QWϦ7o}Ÿ̼eL.QgfW٭.di,{fBhL2KLn2lb{m3{]V"}]fAKjNe1!#+*l)6lqD.jMFP5B~VeA+5֊>9o CY{Ke;3 ̦Y + bUx B?Y!jlfA2Q.o^ w teXXǏ04pd֬¯:-onkgiֻ`Wm, >us]862uJY^1fW1ņg$y"bnnRkI̩=dŰ$eRz7m[aPdY0 *IeO,F 3j΄UBNR^SN=ͬrmM[uZXXX˶&X_ZY"f{T[5SaNe#7^<@!<1Z}ֿF`ϖa|v+lh4{#PPi籬Pعʯmm5s_trb^Ν88H[!*as~2p40Nl{"_byopmGPmwbfؼ?/GR7/zsk=t #`53u/3An3OGKn͉h k1._-xTc^= ?(O0%N{?3`ofWKJPaųPŷ0tM@) < ^m`#zrC S8˷0:b}Xۥz"4Po7*38X_l*TթMCId1ܨ3_ &с1 KX(kRvuRgiGɸ寫GoZD&BE3!VWWLLas}KTZ)$Bd֙h\Ql]%a1 tu'`b=ҎQ&$N KUt1v<1%1R>*sx(ڴXef7ERCj+l-+]Hrl$ Dz6c@6 |RJCQXbm{j}1>PS6Jt`Ey5کԜ1p #}/.-$H) wR8N)v}7B( ZN5d財Asbq1 YCYY R#ܟ۷J.AE<wO eeQvLm{!'Ae%4pa|%jQ3LbK8qh t럝,()^lxM/)oOM06/6 pb=CH.iZ}No&|^6ipq |9iDTuUeTib1 ضbqrU|4R oz8wx8%CrH,-A?.jE|=xrEbCncx}&BGvwX!߫_@8 0}'>h,EWh x.ܗ'=;UImTL@ V(VKFdWZw0~ALwR ojH$qp$g"84u&0n}"m 柒3œQ&a6lEqk_)a lLyZaiUdıRRB=M[*Alբxt[NWا.W^u0Av ]8V`jכP yM}''ނ^Q#jHlw#L7i6르)xW%0V{3=+fDIt)`~7ilKIР5nD,^ap(}&C-gP85ZLa7ƌk(I}lTBl dӹJ;TR|l Y+=D؎e˲ISGG%@(@Zν޷WʚXbIM2puLAIBFGa~1_s5qӆ!|0g?h8rp 8. O>L0G 2;\Z dl{ٌI;23| T"uJ;A)z iQU oV>toWX`ML2puKDFGa~a0m jwzDZN 9B`|CC㈃o)qhP|aR7sPiϾIgD/n5yqߢVrCnT7?]*4juBy{P4%23Xt0ڊ`̎5Ԗv&:n)Ⱦ7P7P0@ݾCOB%&'G9o54cdO B ÷Et;Dg|=ZLf -#wDckeԌSx83lF3 -|pBy;^ӕojHdsp,D4rFaJ<ؼRC|h %w6b)rV[& aWa-\:D03~= 1f #h6P:Pڝanlq$ ~*"ACh1g0DY>ap(L3wDܧ^λCb lrCa5= MLNʑ c:3 5oVs7tx`@@ɍվvP3NQ3 wC.xovRjJK.No赆#G3lp>ܠ.1w@ ^ :#; ּ68i9,x+Evΰ԰l n"(x0z0`nPhYK2C) 92puLvIBNTB PCyf'CE}?qMhLaKx%Dw!^}[Gǐ~Ooj1EPv-[SŇt"v&a -EBQ$ECȽ*BT,yMzyEE%-0(S`{W=Pɞɱh|OLphK 0PAȎxpÑF S"$\8uf!~ފZ&AV3*5lmխo& L@Q(Yf hAmۜGҽڧJyoh:a&خ8쟜%UG| (1!ˆܑgF2|n5v9LB{נ񽏷~_Eoi1_yRILcW O걦,qDrj ;`k7҆$z7`a8W]'ʨ)t&?i?s Gc:FFyHF0*nc;o Iv)bTILcyުqcȮQ2=N&¡dS/~ 9z'tR3YƸImeUQG<әhTCng2ѨG[kށ/`T݆w>}I^/ZF2%o`9ʚ4d9V/}jpfאLBZRh c Hr@wJ';̔Sm2)XRhT1~f4(̧d;4{9M<_ :w|[%^vLX΃& 8YCzLxl5$DUJ5xP3@VNfsiĪ6Yu,/!e:?l~f(HOe- 24~]|9Yˣ6aozXP)k`4L1,A;fӐ̎&RwKS_? X8ʲj :֠rjb~r"\툶߫V -lMZ/FTsyR(n/"py@ݤg Io;agHfSAt|{NORqslN e>zƄR AhTqz@>eGn4-rN5N D#ՋsI)SQCFpjPnLo X4*&fk{{C!^*Wf5V;5m3/K[_Dļ6dh/QyN>G҈M jFӋd.0k` TC!~ c7=f2M>z~2z7ѿ$_1vtòqO ܘ \m 9b^-~6n$RIMA?>ŴX+Cbl_lrA㭇NDs7t1e5dyJ ON4ٓ<%m˻*4P4|dC6ŒBiVͲ_ Kj0%U PmIsL x!3em$ 0P,),),I4)iRҤIɒ%%KJ,)YRِ ِ IHjFR3ԌUBZ%UBZ%UBZ%UVUZUiUcT:H#ccttc,%ZJR"J(%R""TV& aBQ%jLQK5ZM TVC?>>R\R\e/{9s9s)/yI^K$i,EH"Y$K,9X,I,I,I,I,I,)XR`I,K%˒eɲdYrX%gYr,$ICO"D0 &($0hPCDpxx@B fufmy4O4b5ӟL?ӟL?9}Ne2}L_/ӷv}_~ݯu@fuwGVb RRwwȾ1nƠכHqtB##y9ՍA'ț3NH~_h#pa}i;Wj~SK0yY'e(jVD/aU(Ҋw~CK}Y˲ r/=)h}#649)7j:tJ͏9\3ᱼAAuSAAc#NLăc,F^+{Sti<~W}wY:Z)p^y (_4 *qNkp P.HFu- UUke~PˌfYlG-.{TI6[4l6zw}u J4f M}IY2a0nƗg,Tx-o@]֘O.ov ~̈Lf皚]ڊ&A'r9ņÛ;'*c[{3ͽ3c~#>l:@x͚!;aޭ-Αٻ)HhJʃN&/ hvi>lQ!Gru^ChD^c !2*W/8\>d%[CdhkM\ha-ThkELhc%m""Εr{븄sնfJ_kuj֍z?}v46P5sTХ9iH1~߄~ h>Cg|^>I΢m\{^MFW,kSzx'aT%iWN;53R+9]R.wrP`G+/R)h\z~+jؕT0d@#P):o'+ZBeM+,܇+ϫM}cws)(#;$~AZ+dR+3 Y-Z LWCGǿb[Vo9@;c^16#GdЉv!qi99i^6MoB:#Ѭ?>fS+&ATlƩAiFPKHt 9s8gBy:ȹF$?\޳O4]4Rf+WN #JJ W2ggi Io{DBChɌ] B-EVSISx)e3.DŠ6Iow { y E8ZИ#L0iOUu.(UˠZG׃a^.a?<^wJwq.)rK6EʇΨKd/q2={%'u}Ss+[W] ɼw%pNgLWBw&񿚮v_i`Wu1Iv%X9וhݼI`!Fqy 5sf+vȄ&і]~ExcW̹e?K%'lYW p&t%܀l6ryWr󖓦_IXi}]^@K+-9וꥵl~w%#u%+u%LٕMJ+.>ODdS1.%rߕp\qTG+YQJXJ̮asJvBa6W5ոW+\Jt. S_$nI>4K$Fcs3M;}*/oE3%/%f{䡛HjaȾDV e\sYI`oJ19.?ha Bcj'9]daT2(5L'B$y2;БK!ILvZdӓӥ'ICn\> Md4ȴӒ'LG.=9Lrtim ӥA,/=Yf:taҐۤ#OCnt\2 cų 2]dD"9WfK67$e:ԕ,Ra[LdqgOr/@hr~oWd`J]ғ+GJWW%)ߕuZ6`LdlJ{'' {W2t%OT+VxFv51ie\nJu%J!] aՕĹfb@KwW9ߕH;\R#] %+h B%gv%N^K$ZDIt%>=i]&$+ m1?&Ee+y':+Ajy9+$a2Xh_WIJ\qC]\<W,/{fQ)Y(07K./FF2d͡-rˉÈ)wIG.& 2]diғعd=>DkJ6c39TS7Iq<$iHyc C'C2OÓV>98diyc C'C2/KQ;Tֵ(pޞܷ%,xؐ)$%nAǃ*O*Y'2;^4Y/9ʶm+ѡA&Ir":r46i NK,3Y|zr0iȵsIR.rIWR0ũ!nO\>Mb<Ĵ'_.8Lq|ym!W,/Xf>ta#n.1by2/G&|q'dlmMU*SUQUUQEU%FTQDEDCDbA$DDCD"!"1h楙*͈A3bЌ3bЌ4CfHjOjGP+vm4Tm)NW H"XhXgY{֞fYk֚fY{koZ[kkm-kZ-kڲ%kZkڱvkZkhhi-hZVk{{o[{koۿۿ[[[z[om[zKov۾۾۾[IIrRNI9)'6`  x"?P)~^Fs?%=CBӬO9'1ijS֢L0;S9/zGs֟=7?s~ (z9r=OEH37Sr3bf[<-,?e-z΂ʜ9ޟ&Y3+&ED=s߃\ giQp!?6O~IDH;g_.R*DK4Q/s937?<*0w.*ϙ > \mV; /n +e/Z$QG2źn^CH3gKM݌F5f8]V,c:ߤ#rlLF;+efQfW2ʬr, ^жY,l5tfQA*/c Rنr7l\F#+zQ4e b"CIռPR5Q O4}UEGcAUXu,^J,YBYDW +1]fN]~S#獳]A%BMJ63nDAle%1F1D`iɡ_+K-bYXs-_V-DPRf->lZ#OZ| CgbI8u2JB7fipm)6=lB,=ҩK1( eRʷq@* c/sXil_Oۂ}vb|X:|Ikgx4^.& /څ5seZ:OF\[aXΗV5C% zoi\.1׌j-gx@ 9.zLY%QeX3Jxvc4#I#}l~v"eVp\T6ȼO뷓,Zgf(c6PsY $AwMO|жcb˫Xٜ E=3lS`0b2؀@J~mNUdً`&> B8YvlC#A.- paw ›yM p0ʓ BWt>ϧ>=2ؓn|zK+A6N1?410Bg,; ڥ9`&KT( o3e_i\f|Q/8cP47 $.ɧ]e~"1Ȫt#њT\I+r\I.\:$[|&P{,dft5p7a35/}VP`J$@є]jZ[p9i<*6X2"D' (S0+`ڈMچ,i9v2~N﹗d1R0Ô 2n=woBPJϨ@a'/pL]}A$S|czO$ݥwC;#{4a#el'ic_)31AHRv[ #YH\LXAIQVA.y}ѳ;Q F6&!ꤝzУAeeEI[Nՠ'a5E60@NW>i[5.<XKʳ"-N Q2K1^#gF0 3)T9 uu{JeS裔! M(UA5Ũ W,6:G9>CO}$`$.q.c%@PNZŵ<%"X" ጃV]E[¡tM[u% ʥͶ!A/#pG/Dž؏N1:5㑯]A!TJ%]H&𯖴Sm_Z5>Ůi +H.Y{d6 %w-fXOB? Ӝo`PkX]/AHXI,_ Oq9% `{7`\wоP#0@@JJ`E @ A,A$ 6AOpB`&@AJ`L p`0! H#x#H& &( : @  _N=8Dވe[z%T2ʕ <3 薈r.Usаd@);ONLC:[iIDFGRE v{ Wzt$@~)TBzdO."Lm/jHSHe4xY[w$WIgoSh LM 9f㠔ڟByR2e,ö[McXf|0aJ~dW(8Qжְf ! KޕEڪ$yn4$:${/b%]M&NrW&- -xǭY.I/jL6VorA)%:޺»#j >a-tsv YB\^WQ%D+U"C "U1WAPK۬1E4ke bD\ڒ+rPnf 669O,Jb^ċ?:G?//' bTeϣdFPھ=@Ys) 5g*Y87-EEWE{mVl&hUW߈yȂaⱛ)wU3"l7ͼh/S3G)NGbQ$8ļY3Kz?FQ  Xstj_OH0Ix @(¨a.IBAF1Q  )8B!B!BC cwW2"XSwe(2O}<ˆ37v.x@힁63 ͦVFľrZ,OYVO9K[2Xq1!ic!x.%@`v*=eLlBlGBF4}2mB>)tmAeȏ&jPv*#uJeG=o ՈuzR}aee5 NShLPF>W ˃ʺ9"֪F$DWҔ ;S ] (b1.JHFj x'<ԊhbY H8r_{ Ps F_07Kla#6UJ'5~;p0(6:XW'B!86ܐq}ru;ekd9V˥o͍2!7QM`"~r\Ot(=#deMJq d ]mD{NzmM fGMxjI n\c!N*P=U@ 9*iBIVYx,b]},N-hZp)L;)}EWωYE׼BBܙ$q'":Dh"J˯A%X }&I%<[j{4,430n-]ʩ=O_sor`Q v'Vb 1 S)~;iY`+K&AiF36@Y( e;8ә!aaf!--\Xp3012de­"R%MG{vu2a:id wNyϕ2qKO&͝aPV,XBȳ'Kr*5Ja-ra]ng0v(CZXQ1D` _"{}hH:F#0 CA{% xfgî%A|ޱbOsQ1#f&ИtR+gj&Z)%Ղ"׻0u0h? ).k:/oHńdZw1_ * /  N 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/LvdD*А:'YIC_6^? )ֈؽv7eK.1 5-B'HX2rs1k@$+$("4ph%ѡc~yؚmU) ʢ[DžqBQgEE΄m * B05a1k3A2, IДf$:eV8zHj83/bѢ(ÑPJgQӤj&D3 qEGB9E d>s tTNsQgg2,~(a23,2QPuf嘒IFÃtJp(4*JAF$x`Ԉ桔3'HT0i23PFCY"@uFYNS(gQm۶m۶m۶m۶m۶m۶m۶m۶m;ڲ{k#|-׋^.ڲ{k>ז݋E\[vG\[v/G\[vW9U9mwg8Jp532 $u@õVsqr c/GE_ ~Aw|w ׋$Dg5QaQ؞۸vc.((IPm"$QEUІϬDkf('{qch484e ]>A3(h‚*TV h„$L06,䤏sRHPcPȤJ3M$eZM1~E#Z]sII0 0 0 0 0 0 0 0co?sf;m͹׹:wu-sqWq966m۶m۶m۶^U+(cf,xE~ .sp- .@txPIPt E B Xps^DE<|=2&!{б "I)ȄE%X-Ɩ*sȖ5݂I:%qy"ױkzYAC0a"ll"I ~cJ䣡`**(j6H]GfEQ 4+:g j(*(*:FHPY9h,wC暀ט[:%(D58tB(HPzk Ni}3FsD$3@@H bJX a`0` aAAaAK"F{~~>?TgE !]B FF~B/.~bb!:"bnhX7녅߯Wӫѡvv^WkkWS{Zڑ!Cܻm|YYJDܻ:33].guULT2,ͳ4,2)YsÊO~b&cbŬað_ɘe1U,|x0x)f2(YL )&+Jb&c"Ta;AN 0c<1j0N c|a.&+Ƴ023wa0(-f1Q0~Obne|CFi0 [ Ӌ0L-9a0Y $tQv-~-^ČEa. -~0&,*ywb0],߁a7bbv_ ߀b1/L^&b~&)"#E|dNN3LTh)B,C@bg"3T s*4a!E @13YR *9I0ː"d )iÜ$EeHH2P LVp4a@Ef"2$(x&+8C@A0g"@3!N %i&A4C@0gp"L3)N3H %h&$8Ép0@"H3)H3 'i&%h`̀D39N3$i&%ha! ɀ"3YR *94C0ːbqc&#X&/^ E`nM 3e٢1d^Jce$?avQv-zCƬE0/ ]钆/PgQťaO:oS,uޘvA;`eÙvOD_$!F<@P86,{Q\),V7HP"e8q(َAxHF~cxjRJP$ I<҉׭ao{ZMgxDnw P?g" p;0kgr ossySD,c+waT_p#$6֜뉜 pD@0v1œ}fWP?@fCTM`_FcEx 2NbᮅQjDRW=xjؔK+ 5M]F2(b (3O/kYJL,_eŲ DdqJ/8^P0l1hgMcL86LgjWT(r'sT46rfhg=3aP59}B'ÕۧW DurNA9J;]HzrJ#Dذm[ {&==5pؾș`t1 [ G{c}t$[CGAI,8JPDM  @뀢54X 9@dK*-+)('{hB{-^h m-==iO !iEh_v.MDhm=&Dh?W [a+ +|>|>fl6f]@M\Cc)1fap1Bb302` Hv[a+lϨaS$($BpI27.nߦXl|nszr݄* pzr*FoendLEZVoyS4]T[Z~k&]d۷XԎ`V)oѢ> )0~"2bzĕ[B(GV-#< "qw-#XѽEJ[Pg&]d޿~XԤ#Mb~HGWu4`e)e]ejzV6SXUrƤWU4b:Z%T0KPݨPPeVW1~a菁bӊ#L1Qܸ )cR$X#fLx{Ǿ2X2aZD> ybʘbba000J3L L f3#cQ̘`d`b01jKf& &c 3c)c{i #i+0VaF|IFяƊG(1XǤ"#L͘)&.(1S\X E0&9(6`VlbSǥ}:F+H1ƌ" 0QcFqKI1cEF(1SL\Qc&`L(*.s(1Ql 32Ku'0WlbE%E?+aƌJm>!T!h%PUd48oop(/H0{UgxM`YJO [x{H^z(-zٖZ7CRxJ`)ky}oa9l[kiNSp?tEZo׉Ȗy.w &ͺR2saߌ-7aUufX8:LUO܄S8dM X3.N%jn Uo'g{j h@59YI;~SfR$Q>J70GsQF o(C/,n/NLT``⿥ @lLnSp˺+#fs=f+,$ͳ7Hk;l}-lNx^%M+Zъ7^>)[ n\U)8RlmZƲc_IhZjXso@޹ * PHHS ϼvN/W2~bXlB\ -9!_ƺ3?5j~`9jy)-Ҙ ui+kqsӫe^~xDa  `j\}OՄI(?Qyc6&€OЉzsty 緷nx q$UO~ß !j.]7\Q-wkZhNՅH4zrrz ^qIK[F-9[#P M[`ߨDwz-߲z+)sWK\6t]*˲ +?o a@)ZFf˳ތoC}]]Q(b˥0XvXSz,e˦7.&0 [^;։5P˫=rz͏[ o$V6r&v_$yr+UvpUO8o`u&7U f༫y3piw6jysu [$>4 mOH:5nSprDuؕ<!hvpw\ Cuyz>ʴ]MB~PDps>T ],x(SdwxyWQy:Y?xN6%Zmŝsn~rH@ODϏmCw .wz+':X_,.ԣIާh%UlQpCR\;֧`=r|ORfWAitȥN0q5YU?DYy9=$@bjÅWp>r2VvB4pX_ݖZ]m$Mz: v)C;24 ŮOuK7_/7js훧'? e@ "qTbz;q0$ tC]U) >:$x[zYm\7g8-\IZ la=b$|ajOfdN7H$Ͷnj|qq&@gD+!O,R 6%.$uJX|`I'ф;2r#&!@|8EV#Ռ؄21JHzz i e;n=}~-06J `%&t@muvIczm#?['!_dӝR"XpP$Ӷ-Ezk|aa'57w@ :Xb}S$3pCxxq70̚wr\@ Gbu5;R|/j-6ts&>@{o %%9 w]D啶v[Ͱհ%8wg22nmZtp-5/n)OֺP&2bRJpn6O61C劔8'}[S[sDԢPK5&d* Lmh,~[00ʚ0F @6^4sMš ;g&%7B zI& H1/EP vGe*8 9iUDmu.sIl[!S1rD,*qcFL G*XUTN|θ4KR9 8Cm XmKF&L@6^$Q_r- >e>${x"ȇzkiݡ|Rm@TS4!j Ȧx *vey d3vɗJk+5|{vPc&g,lf1AUblp֚Q1`l0\O<" $\( BT]͇~cԚ:S@U({6H|՘X̤q\H v{ _A/g-S}d{!y6ޙr YeW:`Xc7T 3s|4~D*Q}'_T(}:Th<ݕ<cp"{+ӧ-( ZQ|\W.+[ _^"*y"ܹg9@tl21ܚmN٤\vi[q+60꜍L Z4T@l̍]=! -a)RC4OK?;'O/1Z>\F$eN8jdʢX{hm|OݽضpJ/-hΣ=7-IZ/+"8؄l-xCMtHe]fotVڻ#[k1zN#SZύp[z-*WIbIOĠNyԼ\evwƥطDȈ\} |42qW^FZ2ε=-ϼo ܮL+\Dk'] bf(f{ڈ[QMNT}TµRhVLhNfIgi>vJE^"Mjn<6$14@n;i}^jη4 .p"DJ0k\5 [MDp5a'`*\O5)<:k$-,/ MGV"9ӏ(Bу+=|E|}6Ϲ p9$tڐC"*ZnnF3ѧtfd3FeQt5vEOe TL/l|t!PQؓ,JG&~!'##)k!gź\{"TUj Y|jIո$Qo8Wapfz¾*D{VGIF4T}>KBC3Vuvhdy\Qf4)xqf Ҧ8. -f(I1Y7SrԘ6P0$<t}b , @0  `!! 1DBc%KʋL{'c@ QmBEuϮmuFk:iR`=9-! 3`f8ƩLQ!s4Z8rS*oVq[fMOo|]\,w xPd`(Ć ]k] ǭC#mh6T8̝U#MV!ܘӪKAƝumܘ#|Bk>l.8u"QSӉgKMtq*|r/l/@)ZĖ[s,/#*v=2Bz?hƥ@ب[T9(Z4#y$ccuFZ m9ONO !Xl+h1[( k%y/O7boDr&PP9vqU>=Y1d!*o;ir;Ȓ$E;cptip˰^ 5iqb i\$|TAE[N->N?='n*^j/c$٬HΰQ`Kԥ#WhQ} "(p"y7_ٙomVꆓv[ѝ(1,=~9i( ^La`ƌ-ܭG{F+T 53!ak4@'wg5{jse*>`_kRH.ZGl%)V(;RfrZ^o[2٘&d<Ōc}zPrYXw o!duwMMxXv\ζk=AZ62|vl2m>DDC#cύ'eAκe@Ltu/)(O-QOqH^w6QzG ,ooXLoKe)K2wij!o$ &&ĔD)CfVa4q'щ@l"ND'(IF ,$p`Dy -l#Cx<_'$\Ȩvq)8*,_g7,+_)'80*+O1ȕHV7=*Ε(L3J~ٛ8o'* oņibLuR@!̲uՆaE @t,/ci~y,(Ȗ΂poɇ#ܒj"G! (02j~QWhNeK d=Z..]zToa%w>|qhw 3ƍ TV@ /k4&%~ID5~ .1*Jlo,E_s 8.ۡ_<.(|eCr83poݡ1 [ &%Q4*+p:z'(!0VnRY LHq [7!mǭpgg/A򺭟2._frh.&b`8KņVV4oN%m'ᠽ^wB@DU{;jKTYeտoc1 زp%+KտGF3:#.I`WFT(Z(m|eFRmM]oGV w vSm[;aX9}uJG4R-"k[@8}J:G@M29opu_Xj?ۺ|.QпݚeZ8u8vG҉%p8Z5b:H?sQ ]ⰿ65 l-F!wlJUzk8m Dqx"ʧXN|ksJU&<>*NMNI|7gKu7zGP* pλћ.ZRD}׹Jh٧KZʣTZ2< @ѭ! [R-W+ÂSQֳ*P+_uFVۼ {tLu?-zFI]W9'DW?JNbBM7n~ ,:8>[`Y)t'aepAt][H?u{ v*9P=kq2x XRPV~ E 0 ,;GG \-/xk1ff63dd3aa8b51667932f499bbfa4732d02c7e19f57eb8ed536f0e70cc3f24060ba296c4b68ba268 806371498c4294b06fd3427f88733a19f266392ecad8a329-01a3-4425-a831-77f6ccc2f22d