SQLite format 3@  .K  B  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_exportsh77otableisabelle_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, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  5zd$| ]/ HOL-Record_Benchmark:threads=6elapsed=145.166cpu=221.268gc=14.4527zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)up-F|6bv"q\LL/|yt2g@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̘-nM01e%'$;-*ohU,灹al_}YZ7zXZִF! > ]ŗXi%}œDtxQ-ܦ~K=VG_!1Q3_ '<7&Lgz8/efjH d?=ĕQد?ʣ)ez`nEe~a <~)bF_ (j?lvh67eud4Q 7˘*0ߴZ AJ^%S4ǞRJO9%='ʖ"R\%wFm3HS(gŽgʞ2e^M_[tBgY ih^%ݕܛI-iv V 4td 5 HOL-Record_Benchmark 5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ~]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCCʪ6݋nśL6 7Pw2tMtr8S"~M( )p瀯W#Gf{a !lTY1ptzB0.5`U`G]3lyϖщ!2zXrjL eb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark       _ 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  B lŬI + 0ћĴs;n>լzC7!3BP*GiU&.BidO!/AMZr0|}Ɖhɐ7-gzs]/g96HCE>x`*Kx؇hq=sJM0 ygcYl]bMA}mJV^7$ CbJ!_zK u1&J;y3xMXHE)W%`F>co~ 呬DϦzxb=P}8mu +IwVmOA)ӄn;O\@F ,x?CD9y6:f7Y3PoGbKW Ũ{1RQao[a?pcE Z֝3#mFR~3!4~ES1hp@yI[Euh\Ӧ?2]b4S"J?Ⱦ8-#nqMz, D! G; qE; pYl9.:_t^E<!Ƙx질My|T'@nkZb%w0siKCdԼh  b<{Is8+$ a2:ERքg{BΗA#}TV}xʟ_QD O)kz )XV@:D|ԣReΣJ>@%WT2D!AK‚hwijNk9Mkײ7=$Df6 g1 R-1@ou7.\=O['_;L(>l֪N~?0UqVYz|$Íotg0-֣ʿK[ԍxq j)U`nƌawd׻JQwP/v.H*'NARS|!X_\&5=<aj7ُ֖ct_kc>T_QN yF0G3վN<k] ~f4"bPDD*BH$M8||$Pv,?^_ec9$;&l(AU蒓QJCE_ǍRXN)hR4 7U4{7@*%F&Y{iʝǖN|C>;h׼TpƏp܁`!N^97ZSlP).22!$2߀%yqaF-yڂ,GeP0Ñ'aEn{_x=) !#l>Tf=>PA$%HKW80>TFX^,*OD濛ZK@ T&?KNa=98C>ufm"{%m@baCguQLV}#^l&5w;-T4_?P%-QZ $0?d_vO.- h'X´ܨL|v.J.oO:9~6 k< BK1eS&be_m+,d}ؒrg D]Ak[qHٴ +YqYY`8l%bR7oKiuI0#eVRd[SR/ҮnA7 4L\x"޷K־֠nox3g!|PuWl#JAH+(E_&*QJ5ey]4T`Gpy9/Ǎ1"8<qgls6ohvҹFSKDm5_j>-1;SY1]"3td#*7C;2NA4QOx&鑥w Hy$θt vZWƝs b~Lef'+2)9C*E }K \f\, OJ@E.[M-[U9m&r>!򮎉M{41\խ+&]ӨWo&d!`>(ٮ`0A|Wh M+oI<'@:W  < SZ iٝU B5ײn4^$kK94MS`?,ZBuK|0VU,/pǍ&8s襩PnmJ2>|sR1L_ gkmDsy5uNhc^)w$& 6-mogvv6. %3Կ]*kp& UQr&H\@R6^KOkzSKH/J}a֛2腽U`$$Q ^ ޒs%|#'͚Sbf@qsSGO.'7koL(6 N&Ma[}>O@':,qM 38<Ki} _o$,Y[e1 a ݔjfK9V)B,!Mw,Q3xx`":*jZ2&7{ c13@5\F-ԄTC S}E&R֩pe:.^=d -/+" s{~kC=V2!%? !C찓uwlT|N"&` _jE~͘S+wFyB{[$Wo燻3$lKՅ D=Y?g9COKb!  `^@!K6MFpmu$|x}\h#~EeԕqŖ/M~ w;=#С͊\)RUCzf'2E~7 m,i^ J/^.pi-{̏ h@꽫2ȼ)=fi&Rՙ7&{T:2w,r{,_[uqTvf3hbiam*lgkȾ_ܴq-FԁwW)N2´ϟ-KY2{w"OoujθBN_G!д&`:Rar&U^0غ},\ ŇR'QB6flM)=*^4P D*ـ@]$we 1¤O[]G@eSiyY po鋮Cg^>L,WQ ː]vvKe^36<% < 4lJs 7&mڀ, y(NZcE3R]*ih:LJ!m(IvXrjL eb\gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain NN'5W) sT:x8.OYYw~|;h#,5V?ЏnR@K[-73{'LUd &BۋIHRۂj؞)V@Yc~K9i DzDs.A1@ӎj-ZUp5YY:=R)A~*[sΉfwJØ;h@ypi浗C0x70UQA\gΞS$;3Bi|"YpaQ+V,ȡq(kؿ1KGb~?{vc\ޜCXo_Q 7*_/PXyOK!qSjdn)`A` _^5 Ny}7cå9^@Lj1Jǰu7QK|x.g%Gunt Yг 'Z>_ʭRiς:IQ7~TS왓kI:l:|D_WIzm. Zp|Ffd tRT7Q&}Vq6:#\&9As4s F#nrKTwPUl!P_@Izb6.iz3 :Q)? { Xal`E~Uvw,[}wSRT8dMlx=KK;?[7: s bAЧ=ގy*%NņfdT@ns# %< |o,‹tkyc-'B/W/ @ύX֑hq7&@2{뒃9A.#N'˓'_?I)ՉBZ <+镩6)|p!AD?p :@L {GsQ _v$nOn$!z^gZR.dKk4=2|K&7?qh\/Wfja ' Kf0Q HXOM1Z*߿/'|l#/\kd ;1d&fXO/]`};Cv{8@}@2|hIv|挲E <=%i022R_zB-;^ٮU.Πw)#%JEA9R;"qN7\Y:]W;7haCMi%zfcjbR{pVb[!=CmA/ L^݈-O8?܁(!J]Du02}2;ߜhbh獶S%Æ#mSG0{W'&3#s,ӆwHՌBoǖB!{plur&vJdo^:U}jՍ.˾슄UQ6G '|.]Б -ACrj0>!g7յVۦ/X<Xu3IxڥW~:9:e۝-v(60#'qB!W.ݦݙRcjzpXU)#xxU4dG0dZ=%tx f<vsJzBd߆NTjϞfeu ` ' |栓-@()쥡q@_Wy}G2FY(hr8sK!]B$@{6xsC_ h#N0/sFcaH$0H7zwӟ.0udtţ{h?Nh"mu֓_1%g (6s}SG*̄'[kcN껺pSA) om SqY\ NbO=բՄOT2h+^`Xm^#3Få˯-ATG5[޵r,ѭB@rƘ :8yo5Z_kLP!&8)yl#+̩;C BlsǂHXQL]'q6.&I_sE oh$0[s^F>Y 1p.єaM廊GQ̡#S u!>9/U 1jΓѢ!N-(?!ɂ0x`_4:D,co1+;渏OvW L9f& AjaF2^60rJm[WʐW]0t (-Zճ E.`NƖT8:X<\e*@s{Sgަ~GBaɫf]>w>A2tyV/CASϡ7AUPV*woRm\iP?%~ےUFu;Ys$V Iv_D-cQ Ax-٣^YD/p UXl4m 3-|8c7!WXŤoW?H Dpn=K;k}0lv֧XO*}%EZʁ-xUxյ%0=m aDS$n'5b okum+q7!^Au-ڽ 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n}]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I<ʷ^jvitKFlVb㇓hKQ*-#6zxSl.?e*o/L jΌ!pO'tyQ"8iX_KM֟R& .I0H 14م$b -DŽhŐ-E݇6o\8"eU F+ [agoC+h F=l#焳QB l_NZ4s3MԺNv ,ij/l,ɆNAFsx PJ`jF9ѤUY#ATy^BޡךLR\Ḻ ǂw>F2iM]#(E0/Lu][;}629~|&za#MƲ2 g1S 9 q u8ƣe|tza I 8LL&qM@g$<,0VG1CSMFS+ Ϗa'ٻrt%i[`3l S|*7*{!?ǣ-JAr˦|!Xu  ,1~ϱZq|^ V/RH(MD;7>--GlFeQbR2'|uFc#( Y.u&ba"\_:l63)ա"c`aAbb {l7ֻer5p`Ng7(Ni,}*~hXƕ[ I405SxhclVm $!9eq)i=Fu%(UAJ~jHǍ R9^1~uXnfp |5%0L S y%)"(7vG9B]&i/Kd"^̳ $a[ob:w][!>yWD!pr{J|l4~`Ȩhj׳ZlVVi "!4g9boI_˜NDRI~!PxPX<?_pC8@;*|X6?t$Upu)2LD;RWm}Ou,}}E@=HjBڕpaO10\sM#Y ~\^e^f'c^Yc~֨ߚq/}F)l3̈́+K>EUG9.$~ ވ3Zu;FD'x!ܢPuuwe#x8L$ 応AlН8XOZ-W6D&^_v@KHrFO 7ga1*1?pUyZTy'3.zz~`y$X#`=zh:ll1,N?IDS-%W(^4]»uX-st=*Ǯ<7D! =19j($HO/zW9gcN?WFv`-Vɻটp35%=sNZigzH4P'm#$bBXꑗ67xZv9к9?✈Fn*'r[XvE[!xU'pS ~7ˇ6p:=@Ճ=ԇ9x+^E bUP hܶN, #XmPs`V?Ǒ  .X񳚝3x_f&bpTh(6}յǾֺeiI$o] <5Fo-Q3~qu&U8pѢʞ Tχ. H93OYgSNoJעE?oQѨ?עVB9m[H:9WF3WnñFLj" yĦ#*ry)zyENS񨭸NT =&=v}y٪~\ FjWDZc]@|cokl PUmKkƒ"P1KG`HE2 D)C񃮿 /,!RqRXvNdqAZ3r{1u#yV>m0^ ߑ1:i}Ze%㡾s{Tc|y{XsT2 "Đr({з OZN}G@?}ri{!atd&8ypq@ 8jY|y&d}2-ivCe岩U٪ er҅H|ci`n$k`TڢsEdƪtPWn誴L&FQF9:LDXtZn{l nϫƀr|2ēẅ́gFIʲg Q^B>Cn$_Gt4# tɠgX:"R/5ߤfVpx጖x m3rfS&w 3-C'E(wyHYsI$h}\67{ wڤ3aJ)ƲLi$h0MpNNfp@)w19?XıD<W}1 )[+)Iz0iBڅ,Q/Db.zfS`PCQt1|X1;2%Ed"ս-y祈d5NJ4^}iW.p:\hh,oWe @P) x$#kj=B;x;ѥo(SYh gpQA40 Gnd~-gZ٢^@RJ<( ȳA?r$ 6~jCJ^WfJϛxie^y&0/Aүe$4EjS7E}"wAhՐLyo6?ޱ JBFQ ];p#L"¡i Α TҲh_ֻ1i?xw"{6U/IŷlJcBBy'Yl|44Upώ3 vCd8dCk;:&i:.|n0 @2wxPˮ{GO{V $'jYڶZy0)䁼vkxD9 ksnu*{6{}$-(e;}E?ޖSYʵ=FD `A]2ӣ~Z]38 H);t>1M#4d kG+>gYZh8 \lf@:< sPzRJjL\UjƵmR"3ћr0>Sh̺Q-|#~bIj F_ (95^6LH3]A˼[EHp` r{}(=Se9o'n6s_aw8De>pk-D@"<@u:{GJN[nU&R*qF<3JP(008j"vc 5tñV8 f߽iU+VA, N]6pt6FBfj7xGNŅ&,aE29av<;AEwqZ,I7*PA 1"N*]qT;$W݋ O;n?&g)8DK8@>LsKQX_MUfPqrCOedFKSS]<eGR"[C!E z V[_7 "+\d Gp`waق >N(q#8fֆ}q^*GfFip [k%X zW;?DqI[ B߉O[vNxVmHtz𿟄U0Th|ykd,*uxNfͰֶqWDꕉl5pP%vHȰ;z4nh+8fz慪QzOg ש6T+y&DB(-J " ř}_DH>ixE%QX΄`Lb$=ʬFV>_(MiN2\ Z2k1X S1&]ǟ)pKv"T` S=^򾽘+q2/J9Bn \<*8>.xfIc2LCqƿoe] 0h26 ,q+ $qT`Z-bqؕ?=E;Gel0Ccsz[HRDkgv16`{ï-Vʭ B. qjsX{XR\?zǘN)'mFMC0l@㇇lfzK߯Ow{.}lE)܊ʡOycggC\઀=YSs0|"Bqi{Ra$+Dd2RqzALFC'27Ru 7UBq*vƽς`k&3*/!ͮh,g2nQ!8/|([kOzݦ1-&7N?@䒅EY[2YIccma& c\WW o|Cܮtt7NW(yR59ŁEVf 43oʄÚ}[eAD&~ew];ňħoVËq+_?8fh;j]o`|g OYv->ZRu-KOwuF(y` FaƹnľgxhSU!;0mێ]"?0G`^_Փysw}º)i1EXSLZ5Ddyl>^.{rh DGJt I CN\qdl~:nmK(qh4#-VW]a 0N'}Q2!?%@=$)Nhg7|ԛ9 hn.5*;A =X֡tسC- d ;;}-qdȱ vjхظz(nr-fUgS紌~Q)m#5++K&cx]c[Ŭg<{4;K}@W@Vn:E+ih%oa,tqEaoӢ5ѧn_XŇ%ÁFȎma>w`OqBLm$7hZ&qkQE*i o|vI=W:X r3?"_4?\lXnc#Qc,7_ri!ZwM >pmD<ɉe,KxsRH!':Z;ndPzWxvX/Eq>WE"Oi~79xw}ⴱC(p.dNvn|"V ?R Ó؁3^׳g6*9?O)!(JlcP<7fvڕP /R"}s<ߊɒ<ֿ7u2o\(d548(X}!Q75QW BL/RĜPBP@'%i^UO3)ABsѦ[ZM,:?2fy,c}6=Gz>vOV(1P}S{T R`&Q o6Cp|M4Vc5ftRf3,۫R(< v&' [Qhts ~s)r!t-\nxԱq:Ļ&&nsSy(_nveIqRZ{0S@:Ws3ҫFs O'(r{!aC%N뛹ZO.ޣmrIDq KiVmV#FwsN {b{Gn_o | (_N*oO N H0(ԅ"5=C^N]XwrN Y׹3FRӒg! ,Aw-G)~4qavd ÂD+zb $-)M;fe 0ßg-v!L̇.QB]U!pwDCO̲[FhBDhK #ؔfֈf]]A }}j`6橮%4f89bg f3E FC#3s:(91l`LCbܬupaKziJ$5<%H0@V!D?9gYZ R5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)PϾNE(^МC9s4 "EUbj3]1_tEo5ǖxuemEuO| z0GC>΀uL&^𑶁F{- i:L5p+hER._]V&hx{ ^cR:p&M *< oԼ@(zygc'Iv͊*oZ:bt$Ӄ8fkۺ?ygݱ޷&>#] |wT` O8W mNn`OJKS48{>7 RZ|Y}8j VH#G{ )T/iL> Uw6aus 䑧uaTϺ)PERn2"&hU~7{Bi3k).6tv>[߀HV$b0b[1o 1ߌn[Y7 ׸ )H{SytDXO8MzQ*jW}_N֎z]C;P/Ҋ #N#v,0YWJ:&% X]]xE4V0֫ XVaET+1 D$6A}[!~~9fj}]Cj0 0m(8ntÜ<X,(7eJҋx[5K:Σ,R ! ۀGsqE3QemY=Ip a&4hTr_f/*8g7$zdXHhw-L̅nwz }rO4(EE-P,`@H3CGup7aĂT4 XaDk|%*;*R)'oڇUr`M18,Bhk00ӛZG\nC( fC~{/(s+Mp\Ӹ EA.wk4G⿊vQzkϮ}v"A|hym1޳tE@\>r4*gt뼷Gʄg|86!E"*SJN AfƧw־une\8/3n]a/4M[c8\3"XV:F\AS R/Oc7ecVvPsZu43H%fإdc}c5b[7=pAtn7@)W$`PIO7WT1l#p9P8 SklEw)~ʐ>)aYمCg~'B7-'0P4vRr ;N,1 _.blKfuٟ TJ2nȀ^V :VPq ʄjh@|gătỊg<83d4Xu s'3S _go2U?Z{YGdt>nz=KsC^/Hk=voy˶\Ӎ܄}°:NrY_/x!"<}}LJSp|A3k@\..5/Oe ’)ӓ-" o C&O #3KL\ܽWþӾ(?ykËP*xeh? W5̐3P&gg@(c͡[ȉ(!fRHgEQ1.2(tmCxz.wb*$h#ihp0Rt% yV?a4eԷağHLj2ew ɱΓ#׫aԉ~O n3r[dNtoRMWfoby@^QM͏岫5mQ -c: j1/3{TU \Ȕç:R] de Oá6آz/ dB$cHkA#vJ<p9{1cn=(X ǀUAJ5j}4t45 AlWArD27f}# BgڡzS" Ը8Ylöf[z⻞ތweGz|ύۧc$vລpV* 8XHϛ62ekM>FԷ;Do?_qp,xy;*V&"A-9 d}c2;&nQI!%P5c-茇џcr2͑ Lcgظ#)!rL? {q>VÔꐞs–x$K6  6N[|Z.} $a/'m;J6ϣӮyI9G*+$/хsZ[ V?"yJO7ps@ 1jgatWx"t,l,sIN-M2OGkLt*V-=+#gNFco1^V??;ze%Ͼ7|/c3R8oKJ=3Ntx6Jj# VT P@>֭f )F[TM𨉽R%\ tv !}h=̤&MDPI緬j-xM ng KWMp=Ã)Il ̿OqSv8LlV S5=_tm"*Ӣj 6s')N+Xxsc u:åJh kO??Ur: XL=yR1ѶGZAC`󳪂/@Bsq7KW%94l*˿t8=D1"m`Ɋ}Jo'+4nP`rb0:Oa e:y؜-¡O;ȡ}dw~ԛ%np;f]A@Y4U&r#RQ0U;zp 4*?XS:Ԙ8qoH[g1P)'"s2f–,SH@o(]fnD?a$&C\ÄVztqۇVŕ4~?YiSQY38xB9_!]gJ֦{qЖS `EGvΞ*ٔ(V5R2%WHN͖hď AZUlƗ6'bsn0n+FߕWA[s[z*+XMJU:刓\-KZ|tlb\t4-'qQPuzq-6CFWZmg- ,ƉzjYO(&"L6f7N"R?c}KL|%#u$\6o{XiB3-0wLF>ܻ;6n>?>ccFAEUtфaWą;l Q.$uKԥp҆gօit"[ϥT΃`fLn˔js]DMuV?Tp'y$o9HG +sP$Y3HQig'"@JR}K2,f0{"8\K ˓Cӱ1!+EbX* fٜVtsmJ/s ,.],AxK͈R;5V.e74B~)J]${*Fն%wjr 3&[L3TT%8۔pzK\RRJڑ(";jqoSc#pQA#gBO?d>oJ3428]9TOY!*@ X%'\~'x\nXK_U(wVq J%{b蝞}iAJ1s[-͒+^h:aYX~(<%E (0:MUG ¯xT)>.GFGbN;$UQ|Jy.84?]wnƁ:̌m[׏eDiiuj |+91#a#X1X__֦3͋(Ż4} Uk5EĴ=Dyw?~-zc_eBL<(s#YHJ n0LۜoC5>:Z 5N u9,kqᴦBT$85=F|Q&"K*<h l ;д^K'W 9*Զ"$(x-oZBϮ J?mA3ؕq/"伬tj\ȄI75,!G#lg8Ώa`,|[3VW,vjb:fSQ"Uy}%[Iܶg0wC|"5u#s#u(*;CAXoT[جC}&Û O3E;]Ujif2snkϥY,@F~6_Pn!537_NJ"Uqn4~lx?дU>tmB;?ްd y Ni]ROC[7Vhb+b3ɜ9C(P.+F A?qU/̆K48!G@cjDP?:nk (\޴Q6g$ӍS1CɕE{4yU:jdwa;F@W|^ " K`Dxb44Gb,/ݣ)'w1`bnꕾܺ{_V]7 `C!?瞻-'֣O|je+dM5x?=GoSЃ@(oNi2:sTEwq"aFfBEtxȹ>&*>uz]OTlqtlUGHy21,&U >̜"}2VpáY&-<4i=ƔjF~=s+pJST ֑vcM &7ڞ06Qmrg V^U/q԰DP/J;΂E^k/x<40e$׊.lBRMnNܻ:X !QfДnI 8 Z{J3] Á:K5F`L8sx']m]~x-(@lQTdֵFIlf,#3c5d%mY{,n@8Lrqkc& Vo{/Yy^-"iDz?ZSyeZMy>A xWu4W4 ֖V9dpUN1P/zw ߆[Q-W8ݬ$g-*l :@[Q3XG .3&5Y_inehgVK '+rn1ʋ@#?hxMA֏2϶tfvO qޞ󕯕iPp'eEhbд屮l?Ӕh X--6mIMy2inNdb!4Y4p^xԒqHĄO+AGbXy;hJ/S`=c!(.ǿ.f- +q]Tmŧr%Ip2MIR"~]vFB ZSR؊.–4qp{^0Be;d#Htp͍9?Ǖmm0̭ItkEY/D%I%KK@mq ~W6p?hb AiyzF%:D>DoR].mo}X뮧*\psJz#Й#"hilҋ`zADiVӦfK~Q&!O@#fP~ASx;w.$r<۲;]ph~-H{yF%]U죮?;-y9DI3Cva3ߧBg~rjKA[sDF_AMBFg*bGg#1t r!Ss%t)z Ҹ ɀC˓7ϧ+i$ .x2+*neMݳJ8#_G*]c=|ъ JM ꫹>COҨ{ j]weNH2(ǎ3=' PGă o+'l}NW&.-7]xEހk@פ!r!qOQ O+7Iktt';r0jv$G^] Bxn *rLI[h#]>(aU +`B+k&fPf: H M#Nl XwUPz|,:bVg@VuggV2m/2x^u EpG; ? >FO`&N!HjŏІnaq|-yv`3u 9)()Xz'ګ =_CάJ)zS@IĂ2 Xap.|(BGp FIrSo*iw|vxڦU?ɧ+הG~[NYcUwæ_rl#:#Y\zJˑm8Ϥ$@m$龠AGájp~Kn8Uhn_ WZ+Еvcd|,^0V`P {eTjˈw q2ؙ xt{0 "O!nmМƾ afͨzV םy6jWR-#~69eZz`"1p*EkQ%2@h̗ ;/4r4sC̞X3:oǬ)!'O#7j4f"ďX :fO}Ѫ#]UTMzw Gvt vD;ZP (={HTnChEc:Iɔrib*9mB4(ˡ/ ar ϟ$冂LҚwH5#Q鬭͛ŞD=fNctØ{Q7^>6fF[SתLjXU8|2qJ@2qtFԢqzg-)/cg~Ȼpz8E{Z&+*؏|1) wzU֡[Xu~JOLsv0ǎW4')7dT_!jLAin-,; yF@ +VZf:XHSУU)Xީ0$Q 'P yо-ܦ 2{D4!{C xv{o+ɀ`wJdg02e/|W4853 f1)RIJwˢvnGN)7`9paڣQv% #΀G.']/^xE$J (9Ѭ= b!WՄ6>eZppaϿΗ]vWzIIZ"]Lɳe+PDP%rR/I+a j8dwe-bpMJ-tSyqhMM @`nĀ.i6Y3npkmECcJaS$Ӳ4¢d6'4:!?IHLy^P58YjFۥ׏S䀔}d )ZC:Q%G{j)ߩ3e;ݩʯ-y*V(%W`}mR{ߧP"x9C(~ZskX䓭oNM"g5"CoUo+"@ ͧ6 MFc?z| 3{W&+/pLz{̈Kь4UDZp`#~f)~T=s"%zOװ^ Pf4gvnFs ħsRfcảLDh'm 9-Rxp\'_B=z.x P^(ա|T&&g8;~rF$"6cSփb7A۲z%W]Bd1qFhXHLۥǴ)LY#dz܂yZj)JlZ|ei}olb*y,HUCa&P K"Uu6N ILU [}E',{pS$- ̼mF)ĩ>Lp np4 a-#&?*K[-:d;e^Q| luV0Gϱ =qj5$T>޷MxB* =*3w-obK9߷MƟk j|6%:VWܓ5zJdSK.XJ6k!JDhrD!P"!}yGr[R}k#\߮28(xxbH[KiA(P4Y6k5 EW^}#] gYZ u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methode 5W# ]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)P|Bog(EX`(d7-R7diH~ ̞VskТA㮫fp@-[׽Lѵ@3boy j}?1u:P!TB8 =æI'҇U/׋0m}8Nt3̚g\+E\Xn /yE@HI[">eol&|ʵL7KLVxo.ިH|1{fn#(otqpqP= sdSUGe, =j%yI",Rpf Rod8X:="wgxV"6s}EF M-ǝz_<57EDKR !RH*]iZcË^w&l* ̍s%;;d^U|AlB_KEt̞N!mNy<@]5lXY߭'2$4b_{HՉF \lz-F6&\GH*QO2o,~m5 qmRQ]H^fl S>5mk9B}@!s>kxl$ LЮ4En-VKi.>K4&_q?DcSNE"";6gvU [tv;r(~$Mt/dWc_.W?MFn`n5Ό ] eQ):P-qmt6˧?1>x'tOb6(qt:{9mSV7$r {s)Y (Q} Yu"ZW b7a;[J2Yn+lջB ng"&I?P eBkT-)JeW|!٘XԬo[1(`EG.ƑVu K-XDVbWk2odE??#ҍzx!DzEeej]ٖb۽(G똩{Ldɶy9l@6y+P||{^l >P@|ϕ&]VB.qW)-4gXnp0,&J!K_Jb#1-ҖJNĬȍ7>hWH󂮬$/&76?@ &'&vIǦ4 gN `|cE_(i+og9Xk^Vhf[DCEs+~XK _|L=*VI"=l7B]?V=U3ꙖH[,J擳j$G_"w} 8]bI{?+eZ./' L~e6snLM{.Jl;P??'rpP+vJQJ8K GbmPʦo,sbO</f,uӥd{COChCiX:5!!cZuiM>. mLaxZĆ̸h֑o͇x +0)tbݲ`kJb)_ uCU Cֹ( TRY0-tdvxC(fIxmT;&knZEI5C<\&ެmYxkHYwc^zx 嶹xhq"R~zTuђuh]FOӸH/r {8-eN]]F'ӈ&AYO#U >LPg0?N3F?BIt,Ta!.Uu} 581$/90EJB ܸ"^8#%A&vZ68OtHaVx'*BӸ`wݵJaf/zriԐgkZI.adcC&jӟ>+r_|Nه6pX ~@Ϟw)Io>#~X䌬"Wr k8 χPYq*1HF^<7_e#Om[>͠3+:] 8'.'$SB|~%v@ ϰݎu Կ'偎E3Z8{f#PI_Xa_a@&:~i>RQ=+)AVVUr=DC>,uʗe쵹56ǭ^x|9\w8  Zg-v,s1\.cT-]ij׌ N O ;"M8բXKiOWE ̵vn?; җa(g ]G1yǕs4P~*C(迉М]Uwur ;* >FGct~G31/oFf~r"oR(KՒ9gwm5A8nҩ IsʝyK@}JrTϹr^ MS ZMc8E{{Y%}5CXX #"~^ܥ0AVҜǒSA?ۖ芩Q-G`8vbs -[t5a5TVz,+͈Szģ:&/d'>&p._.ufjRx p~4&1`&d؞?qNJXDn:9por7mPArk'T?sV1"B/O=On喜NۡlA?ܿ Ʈ]՜5:' &ɥm* 4(T`T{ C(%ϭƴbVI(Rٖ53$>x:2_cP4ዳnmBXA\bJMZC>k_o 1#RZɾX<MTiȵ݇ %p#eG:H}Hq$]5>+I,3hcRˀ/r4䛭!zt@2a>ϫFNǐ }.]e*BYjЦ¬3MiM4O C˻3'/ĩ!H]M"sgu*|?1tYqk^hte/d5^G&`U`46k!7rnxנּOƍA(M>1([B q` m94D7俭F@NZVJ@f4gwslOF">7|{uyFE+ S #o<:^G[O|M{?pt//q[^_)WRi 9c'4!Pb(M]DH_Wlʁč%ee c {pԭ3~'[S:6EGnTL.g ]4gt_[?)e+2MB.j/UWϿbz>b)K$ 'TkQn\GTf DtH$ ] `/vj߁ljuJ}a$=7@&V7vDAq['7ۈ 8oUb(U']`O썐]nk7:VXpLo}ɛfKaCrZYJ`h|yft9YZNr㜴P捷 \~ JJJzaXE&/O8_jg 7<8t:D8e!qtSn/0+PZ6֣R.Zs#IhQ,_Ԁ]V+ߠ v}Jw@Z`zKP;R` ) \^{<(*JyK QO{dR{KK ϣ+ǘ Em?}oTƦ-_ D5ݦꉔNw1,%P"'BUԴ6IN}t73zh 7+1!D}G؄ Х7!b7Y\S@+G_HAl*06,wdJSV:5 ZpcPeWnx6Q&70- JC=aOٶ.P,6zYM^9[hN2y'r &/ %XCzf$YB2lߝJܘgp,\GNK˫' qy7v/( 7fXrၙsL'qAœ Bcw@.V׭LM92JJ4?O YkGC}}sTj4B:# %4z!- Ow/Sb2>iTw)z |QN9tO{~솳>ٹ?<@TaX xMSIw SB8fl[. U8eH%Lן!5%m Yb"qH{v}4_q#ԁ[hib;Wt`񑞒mT]r0z%>q/.ABH=4w_$)nFksO3َmopkBuD#wο)R[ 4 ^4(YDr ;B S0Vp^8{6$% S P O;@^rFsxW c}:w[jrxP|)5..jgMH6>gK߼z j-\HE[i-0`{=3;O:±$ NrIwBܪ%c@@э:qE4Q>ҴՊ FLlPBtn ;ERh4ϥ`iKs!tBB%1[3VC쌪UWtג}6}]5K5o7XnziTb(۱.5ccy(썄6CֲGSĄ6XUQV^̯"Q riy%,9P =i-^8{^: Îd33 JZKȜ &neTOM >3|r5-C r԰3pB&hᘺ&rz}'p esšX |{nG`%`n$?z)v^=$ ϋcz M/ 51{ꆤǝt"" L&(*t ^~qv]x/?.0(u"܂Q*5F Pp@,}yt\b)UkY9ҝǍM>~ݒEJmDn!w/!tϢ[Vb~(H7+"zoAx\&ڼ.*[Ru?H̼7%$3H/QO'l&U[.9(yVJЅ+Qg,\e'RR| xh(MX CdRQO+5]L+]׷":\XZL9=k<*&+)a^Fd[jHp|W%^IS-"0=5yWa a2(@Ki.jv]K+3Ni-Ɣ{[N$o. z#4u.+qyAy-V^K !'1`sV<\NG}+J<=(ıYa73o撕c Y{@՛Յa}|`T0Q jrEX Qwë&!H]-" ח=g)t/UgSH=NE^!o‡ ۛYИ]] LgLNbY@{Obpa%{#_tް_ćo>HZLPz8Z;50 RSCW1%[Н{sMQSdJz=V8xeҨȖ:rj o3/;D1zHBHl"Π-t!"]R%}Wd5 J[gYZ  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_id2365W/ $HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/)P3!e8B%nju%FV7l sBRHTH(g*_}G9TPq MX5|Iri*Ou[4Dm)ϐt@/svdVf&ƴЕSlwyVE!ҫ2BhA 28^Fe[맥/^#t\\B{;3W6 <V3B"anax{hGpӈ)cK|y|O\:5TKtBjncQq 1ͯH 8iU,!iʋ`o}w`kr1S3Si 蛫EK9tmc DΚobh+0jq~ qψ.1MH,SIKhdy zN*:+>k%+ؐ5RN'aExaRMwk$񬴧\{:j' Bu EddGQUM 6j,NOtuvt!Uy` IಭLnS?e+YtB2яn5GSOWP bE=حj?.c}EouP˓iѾA,Zr$֞M`AF ˞ BZ.nt7RdOC1}R[&bPtT+'5o/9C[ .;$Jh%RFqs -*94ɩb81I ukdv *kwF 5=ݖ]>,mS1ӢVvM#]KQ+9~[ԟqd}ZC\v-63: 9dY,}/iuC5'^1i_k^*)\~Le9zk~˦U.z%J%WHP_V'?U[lJOv[WBwjR=:wzvr8:?c:8J[:ѕHTYW+qLydg _SeX u)cB6ןCo2~T>knUץqա!P YL.UU+V&Gv&|rna|w^sCQ!f+E|#r`eo#CBvc 7\BWAlˀWdAV eBEd%L@[D6anh%N}.! 2' E-njKh= 'oOI=coaF- Ly̭-WkU֚PJPXs;Z|ESaRX=Y370h5R%$1]D #, flX39Tx~V{xb![*UaE8YGt׏1+zGw[k klxs6P17@ehUY+PR{u% 6tJbyl- pQ'zK0h6\m0Mx-a*Xq6d8󴤜ToJ*p^e۪xRbWhdb&\Ó(;R{`Lh#lEh*Qwh#nIIEǮÍѱMHP"DkeMu8 z%{ff-H-Ֆ>Ϟ{´L2%A5H U85eK ii 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! >]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o:#FluY-854E-p]lTjx,3yc;_2s?! Ǔ\\ 8 I)asq_ZVڄ/P\ԙ{D1{_P{,Cɚ͟+ }"A2/ii8 ݘj9'PʌBW ң!oejboN/ @:7֩yT!K=V{ٗ0VXyzinՅDt:paxmmZ6V} 2O֎2 {<> N/jF eDOO㰻_ M. 9 y]ÙRk6`+K 0C_K8OQ gW8zQ]Y3q.v)&C1w:SV<GQƒ?{w&^Lweʊ4Wh/ܐwYz լ,bPraemW.u0`ُFdiR9aHb'^s%Zh!iFL)$%L;Y7![#uڵLUu 5zK_|A<ܾism߂ `6nۉ+i.8]m)of5)e@ϓԠ|!{mH$[ gAިy3[ gωtM9՚0eͫ)V]cVx L_22/}KUDطF?Š'^Sţ55][[Y-ƫږ27M?(m:%4cr.Ĉ{?Q2NojF) BN¥nt7|!!&FJI?$Ȥqe7Qr8;j}wrclPd ['!i[uPE JYwZ`%_QwY¥yؘ5g\ًdnZevMm( &ME%y-GFyZ [a#:3~YT>ra:)zP tVnycb $VW.-}}8|hm :8# Hꗪ-؟G,pe )#*Pe; X>|vb+D?AvזG0Xz @A hC_UT#ݣnT45|mZi]LbF$P8D 8!“RYb'$6X!S,Ӌ&'Zצ[6 {Sz;zg1%W:3|4԰~X|kɛnwcuy|mjPrv['nSJ:ƜbяNf؊Nj@n#VS<:VBRn9݈^>دyT`TTZ@S/dQ_-QQ*4:%aHǔ#7mY(@?6'Rw6 #铔dW t2[rJ$67`nYJ֤;q[Rpb+v͝~_QI( ,.0Z.4w:f`O(Q5DZf}-\L++ګ4*l׫7]2Ea0MQW}-E}갋=mVi=UE+fI\PZOQg d0eYTb 0td|2:$U׳NX;ywX_]5گQK15؍jKw.C"rB"M򤸏ޮEl#4 SgOPsqdz%_ﳍۧ^MEgVC,IhJRA?ba@`G6|ֱln z7)(߁s|FJWROFte uL_ S-%QoXMYwŕ 6?! s]fFů jI~5tc4kk3p[CPG{ >^٨I.|MzHJ yZ|zTsE/n9y"F@mTB {TKe6ނ캑7 z͸䵗˟j< JVA_. Bʸyb<).4|&tv6#6{/ 2X Mt';uDOdvbiՀX~RĄjx^]fS4Odvby얦eJ:UՇŸlE.8 {/|)H7/cZ v7LM@ظ/}߿jǿRFyg~Wv˵y}k\z egY-Y_P&* tm G6g_(^#ӊۃjs=on]_*9S`TrN(ƒG²?7XzBv40\@3;3HPeI,ȧ#m5#q~gMQ렻4D Bw'|rK,ن`uw*OHl+顠ծOB9d"L&M}pV&r͛c}T;iKLUYS{j Q_X5CfFOx1ijĎ5BQՓB=mݭ`%^Q<$!̙0>)ϥEAόIWXfe *kE?VBw!vס+x+2r:oBWʹ4W :8WFahAмAU3͌<|ԴLRz[-c9s]#*ue:DJ#2Nd9?ߊޝ(Pq?ǫ /.w\_[9^E 'Q>\;C@ ,ю$eڳB!Bc{ }xI}KtU ^WA$O̖:aVnXPT45@'[tniGPR40c rsK  ?-&q i^MEN=JX'dB>y:+iKgP>扼&LEUZF?$L8RQxJ %1ŕc~>Q"N)MaXr:)+^ #530t)8 A둬R}+"eڮ/};|l]3>;2c(  O;!rDpJ#\Z[2k_]_@ ( ñO29ps[jA?x,“:Nu0,$3d ): cA._ky.M/~#e!0>"o_یDN~)nc8,iaJ>َF%%SjAB*_naXV[nTUIL̩V3 J[i"՛A\ːfrihZ'I,`ͺc i5wiVC"p4h2wro xz&r1S<')wyGEcWnע:Zb,(;̈IR":#PY}†9݋ oՈm )c+t&j >ВvAW?5L+_M):H0X»]Uڿ -!rn=IpDAE֌STUrapţ}ߙ~:nj9")rl3qjs%_^00iUA0o/ʖNd&p#$SϨ E_N?V#C+ uSC\^HZEwPXn[CFςoϻ5X%`Sx火y~|$*fIIcI2kaXLt={sL좩 4Ǧג!8EQVzյo;Xǻ#T9jdλ9zlE@Y=cb*E"ILmrAG!v-އ uhr.se ɱ[ _?@]8;qI LPsE"^swdn f I;LUn֮ f5QFSpvA޺`Q/xXhh֟$ߎ6l?F8G!kw/cuyDD5QxbHhRum;J~q(߸ w#B<*O%.ϭeK[:IAav:/ױ;6c2{jǹ &"ۨ6шcqCKDxXR3VmB J C+),'sF%>5"f>q)*H7SxMW/M8b9m!Wkl1۪9tRͦS/ |ḺJM2 Lz?d)eBy,Pa$~K#;.KOJD0iC15'}"a);)][_!j_ÂNNGgyF9@Mc]JDW5965Jju<BGf)0BEPWkJ?͍ x4`u@rƮH`^MIy+$4Klac3&Cv|m~J(ߧf/pMuL2tr϶=ûxZQuyX59 c2xWmR<7KPLV"jqPK>k`IzLa0vȐD 4o_2$~:R9 .QC\+ZEwgͦvu feU.oLKv/%lkz,VҎ拾 8E}ڏ+PfLrQɭGy=8QVsG|PY a@7 V%62UxAobXݰ]|ܮU;'7ȫuу_ؚGYI}uQWtETTLb[m ?,gx[,Xe 6|u||iGX@+ޝS(tC#.qc:!E7 Hr/L\-T*> ;{)} UG9 'ka~wA?Wp Z~gDZi.K\.~fӃylqL$ֶb_Ƈ<#?~>ffw/ +sv5* ()p +giqJ&#HRǻVJrxFL6m2!xt5<,tϕbGN %!H Yeۜã_[0ȳŔR G |YܜbɒۑE& ں%)>(7ҫ䦖4CqS(=3;G0 '3C'vnc@w=dIY֛}:gMg.r@hyѽmuc/A}ߟtvORr?!὇gBŭuai_a-(]3,[!'rSNՓ3qKs՜m3bUĠe!@5Y͞Y@޺@nSPⓨ˯G8EkYAFbf2">ViAaV,ڪ&|@P]yYG$Ooo]ʃ|g`/7kPBPtD;S+/ 28ㄱ X!!smCkL Zo H Ǽ͗/̞t=&,Z#yhw0U5&DuU/^ƲQ5_&L#XX4‡G~Q0Cb(ԕܙL2jK̈TOq(x1W940[  P,aP%|}>"/ԥ9 }ߟnW2,H9HHnd}VxAHjai76)Se0àղln@MBoJGwg2U+5I#!o~>2l'0ZvQ- <(V:ؘbYCTd֔7?/|(սddb#ҕԶ:Q!~F @?RFL+zVb6sA_ eoӤ.6{jq'SnR$r`.E4U.k|UVMbm&>]ɸB)^_@>br*;^=}.eTȸjy/S - ߳39 F|R2\dcla`zz';- :֏ĊnPM< $(eU_$}mąiGd⸱׆JSzKā00d!Qvr,E5ҋ%%Nmw[RUitf\.jyJ߂tא$hSϽyg=!v΢;Je/E{Nt7O 3i+0|cZw>#bwnF}&pL;xcd Z|}'V*`iVGJy. Ț|jUĿLY@dUbE~=;A+dkSϏv۵ޥ\ ca >[>c =mȏW}}MDd*{=/ݜP\G)6rVܯ2]L,˸'! IN\ R9S2 #2_tqyT|z\!m2P%*/еpU*_"?==ajmɒ'wZ8\]lhU&WQ썓Kа?ÂLI=,(GP`EY s& =;nQ?HfQ3D,DCIഝFeg]_׼UfלּPP#ay2j<:{ц2+~Hf\H~b6>s Luԩ(_ (SWjwk_kBA:VZnKR.+ =6L"xLG ]܍w ¼ShihɬTTt}5]a!OFYHa`G]cb}wV"`' ҄"Ŧ ^OrWiQ-/ݩ33RK|}D&\ 6"'[1?F9IJM lZIBI<2ZHpndά?'!<G v:{2;s O7/58dz#/ZEOcC:.Kф.wU1orQT/>ws_qHTF aM(P$|@m=+B+N$9λjz|@A%CJt$J2+O?l0ɵa ?NjT,%˪*/&%MC/>50GG_Z9r*fAS2u  FyK6_(t{Wur"=z fa(?]K3~;:3$*6 nY?sz{fԔȖY$b[ Y /4|`fYLʱǠ`E*l :P`"MBc Aseζ41hzNvzMь6\-dN܊;E/{_ .L9c:޳pX [uI'\}fmKc ,hwiRm 7ҪmPVneǚ嶯V 4zB!Ok*6!#{g+Un'ݛ ҿ͸5ya#xV x ٭z 0oZYP:hkas~ [PZxdga2MQj5n:v3ƿ+D_:u ez.>~)D'OEKG}MI7:! 8^{yx)"+n_yN!Q3bfY6AJ )-m9:/&XA?4ru1ڷ'.beZY|J])'B"["$}* aϭS&8Efpi(ig+&QT;'+G0"/wc]}jd?PB87WF{E"1\ 2u3ωQX!vv:{hQLtGvOv-ؗ CGtSvu{ŭtwUEMՋsU }T C~$FOR={螔" 3IZdWBQ+Ђ,zQ^V4za1'|SEcЪr2QZQm tn$J#|c[ j̢f@T䛚V Z7؆nKdfNږQ@vSVHJ< [V樲oaPtzϳhwMMF`vf.Ry nRۃɝOygr\-Ib+L"J79l0\kaÕFq'u%Z⼼tB'/S[{XD$gɢT,SJml{BB T3DH@m/AMu0s15(NPB#Cɇʳr$mP\ئ4^! Dt=]!A9XsOK*zm1g%ۥq[3aˋS :Nb;ոHh4#>U.MʓqrGNeTkc d--5aw_~Q߃wa%"by1PP63Rh`Q1yB@G2ibU: 0?qʱk NOfwLxsK2*~Nc R)̕n8S`^Ad^NXN@R{խ0VN19g7v&:r-SxwrP "]IjݕM,G,sCq]}P<)Tԣ 7юroŘOig͞nC* !.)%LI\ޒ=9 ԗa߸\w믘{n(\jb ~An1HyxJ ɍE RhOʰ| kUr'C}΁&fd qFq Rj)hVQ[eU?/X'֮[W9ybIQY_?01-UeLvU^ 2qn}ml&PzDh<"@<Ϩz"lRV,4ktdYeg>Elk-(Pn.55gӓ kZtlyO/vx\“E4w{^U C9D73Zi$gbnV=~}_Ω_+p^Le'nYYS9u'Ȳs0n@{PУV˳TI*(R) )EbPwP.qhD918e[L(w0J=%}DK<6`3mw!uƀ,fKE:#6Ԇ+Jow0V]a]mi0PLϼ/;s˛@tJKrA qgYZ69f9e70142fb2fa168af3ffb339cee9ae0f2de338828c9bd7d7a39295ad2cff83514a86282d73123 3060999dc13a68f36a127d1e8a4ce3255eb025dd