SQLite format 3@ .S`  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsu77 tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  V5zd$T ]/ UHOL-Record_Benchmark:threads=6elapsed=149.416cpu=249.161gc=20.1047zXZִF! i]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)_$$i?t}I(i@ugYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.̙;) bhCh'Akn c5(}l_}YZ7zXZִF! X ]ŗXi% TcYf~_7 QL1 Y&,l"H0#znR !\iLp7'Fb%禉ԣL5]q>E1,>" JTuTwJ{[Dʩ~̆c<~ޛGبtfQWi4q]u`T!' "9`aLۚ%@Y3VֲlF|%G e=:'fc&0;AB =]y.QB4)Tik uϕU煹6R/O?8Y: O)XdM#mF>˙CJFlClgMe Y0H ׀Igv.;p0XpԄxi8d쁊m 5 HOL-Record_BenchmarkC5W) tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex7zXZִF! G]A-MՋhvG"uIBm5"LO*5fF(^e[=6~NE;,,țV6t 8E)\~z03xikci+p/mb7WuAe_+D8*=SF 5 bƛ}ʠqi;wa#A1ɚ1#qCUT2TtD/qEq֤.2wR0`M绍I7 I`<ͽ^yW s^Hct@G9Pퟸ#65ExabmK#eI&Ŭg!nr)6dH+D͐G})6LE"q+sCYɞqR \6]@fpn*Ků# R\7L\c5p!1b"'>]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j-5W% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#Sxa(` O]Hi61=ZsǨVԭLQ8x큨T%g%ۈS,>Ƭkܻz'QH[,OG#HtHr7w` ϒ\6M ;ŸҖߢw4W}CgRCM.r_;:,L&O7Yt0IiJ7X+'طkgŒ@H8za ~㗁_ =O|#Q}%xO)?62*Bzvms(̇)!}gYZS5W)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  U١Ԓ<6C75u$do,;II5>/fVl|toH>Rb F㜰-Qj|{𻯜yM:Ej?2yGbHi}4M'R3Q?Cd=lafGP'3օ/nֈ5[!lɧY&Adl64އ4w TO0,~+Ċi8!PkzZ$HXv\FѿETl&bggA\bfH,gjO:&Ѿ* ?Lo1񱁡[3"߿)Ӎ9L J[M r,nݨ_c/xFTfs8lF՜'ꓓd1T)L'Kh(tX XV5(]ܓD9vF nReki1"t0x4:}&̇UI,DmP)쇥5{1 0iXKCg++mFy'3-݀4)fcS!̒e<$f ˔UB7N>zzǀW݁ {PB7>[eoͶAb:Er [ڊ~u[7"Z10>ٟFͥmM|¬.ٖi&h \;؛_Қ&ҏ}o(v%2C)?=Oմy .N+s(:Ո)t4&XLujWX=[Ea,$FT1? @46P8U`B WP%5دPjWxs1aQyf錔 ' j\4|ƝXʨ"8Hߝ v<:ilw`\]z8dPcs6p4`bdY0v!'*Ow==CmX8@7jJt~O@Aȕ:`j޸pӇv6-g8x7m24f=]![D^iuv5;zJmXt=eIw*!u :]RL;/䳸BB+⸫bj-5hC_H>< Ǎ,wA3nd'T&gIL}HtߚĚS)Jdf/n|QNw3.~4#Y+L#s<\ U&zEKæpmwDeѱ8f4;屦 $b4-usug:+x8N`QV V̇gyX=&@azi5e#$dt ]yhL p۵{}c!,;}3@a◆o|eMM@XVd5 AShNn}!|H߷l~$U8P+Ay]pon;XP @ߒCѺH#8}Bf:G^;T&bGO~bye=E꽱$QF!&R[X`z8n'+D'u[ ףܞp|O->, p'ۚu@X̎5}s-cƧ5/D"X Wd{j|;Ii[g%rV zN$2*.zg̫4Iy(}UiWpW&"/LH6,kcoldkq{d9j|[ X l?:;gAvJGqR.3} /b8{Y$fDX l(qWӚhQ/u "ni=G) W{85~|DXJ}u7'c86BnRԓ {RxLddO2qCw.PZJTr3'ir `}wHzU;߆.aB`+M5/ӡ0䪟5:Y?{iiiK48"tP*a,!6 ~D<([TjSPU4gψ'`=tmY@=rMbwyV-;FEۯzxl pF7 JtDOcR ;I"%ߕv;.@nRY)04ת}쟭D[e 7Ċv)=˛xV۪xԨ1=HB5{w)Ӌ`*I|9qq,k*3<ϔkK^NTw\<"c/n~#-cKCV*d`>Oe)C?R(l:B@RΎd ^Fj ~!c)p0wVkWd'"fpqMnRzڭpc%6XuG;i!8(XbZAH.K@6waF_j3?e&M&تl0L4Vo EO48C`݇9m"werP3Iv-!L$ ~mmkIrpB G۝l* h!$z%[MK#M bl)гbI)]<]_{͆G-!X_"l9&MV2P 6npƥѭ{ %P*ʖ}kp[N*:|ɉkfcu$ 1 ^:B[bͳ3wcad=eefN+D'QS.P\UFP _yK+atkksl(I$-^\et q4G423;IፇQ]YX{vqE0=JjdJ6+qV X Oَ[~H>3f|:~ ȣ"˄$liqhZV70A v ̥Y-#P6 |xf&9r-L;˹QO!\k!hH>ƯӍV`]q1#w"?98bB~Ik.J3e2PEAL"KZX]6>EEaMcK_b"BMZ&d#ZHPهoN/2*'讙nSvoEPVn#0*7D%H?ҘJo57KU-T~xCF@t#x 2wR+G~)[Vb0 ,B (Z2ݶP8#Uuք Ļ{exFkkm}mf$ҲՓbVj:~Q߽5${O~h1 Gu+1+;"z? F7TxI^X^ME ;"T ٺ"owL@lWM m5Qcm :7`zY>`BG5Jxr .f]94kxƣuȃHI\J׼a`P%|/\\A?ʋH!rYjw&@ M5ߗN2I"okxknwFe<_1|Th [aʦ}oO_ >AFtWU3nR!D ;0"n~&A2zl0+PKSt Aw},/K4q1dON \5BnXzS(LWV8qؘվHx1H b2$'GNIХ<?zaQvlXh̃~HMEښ@Cqezc/u ޳ Z^?HlgGۓԞbH-WȪMFR Q՛ سPY FFYbgoePZ3/aD-8+G) NZ;܋\W"2MU|H\l!3rN2NGSxߴZy9ӝxZvr,zن%s/-Htťuc6P>Of9b0=V_ܱK|Iĥ4HBn>>tgOJ~*SbVv}s.Pqf7goU_ 7?GٚF.uLZ0Bq^H?bE mU~BnKXȺb~?! lY|Ky@6GY0|~T+#h3U!8^k(``u)^X VZk:8Dɘp )"{(b1M<`0]w ؞z!l,I%teP}~\9@㐈oy{!miE7:6)6\s5˼0L?GZ_u5ȈЦAtZ8K/7Jgg+n14li~Gf4,βFCcD'[9*d-r-/<ƌׇyGI^2I:;wrP.WRgA Um6g{|K^ ͟*8 -?o\jaKb3[/`3맞@0w3ZWSp\pa_Ifߡ,"eQC!a̼Q!KTBg.)`"+Q j-5W% LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~bLb/Sc1_>@>gW/=UZ#Sxa(` O]Hi61=ZsǨVԭLQ8x큨T%g%ۈS,>Ƭkܻz'QH[,OG#HtHr7w` ϒ\6M ;ŸҖߢw4W}CgRCM.r_;:,L&O7Yt0IiJ7X+'طkgŒ@H8za ~㗁_ =O|#Q}%xO)?62*Bzvms(̇)!}gYZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! *]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 Äg'5Wm$)ݜgʌ_ 0y>e< {H?dͱV ~=Džhޙ_aHVg٤P7PM2¿8=OX Aۘ} c*}2RɊ*f>::u?U:Gth2_2+TRt QƖʏ LpAٓ3ur'~8`״R'N@ /8 LE (ۊ5,3|^љj[iw2/zCtfW!MxHEwe$P]X_^PӲ̹?w =W2[8KAm]YIwB=(S$#cPl]5!82ֵgwژUT,a➔>[mb*yD|_#5H~p6y[#]y@>f Ø1\tɥ G;F ś|%יKN(_mMcf\7"pIyrs.s,Ac>%d9jk*| 53@94 Qh { DX)|87 TG $ z񎗵5&m_%ryx[i*Sb xb%ʪ̀E}3-|3B^(CS\#K{ۉ=Ɂ"#\*$9 t.gIl^JGA10bQM$sWjm9:KIuM?,&O7^D!UI&j -mzIv%^]PhQ+-|&|nK|%%6Rw(<==]H&g<8^N-pe3_@jfħH \9XErߤhQ>GcX(bikao4ibNRZBK3N*K*XnII.;̸0DL9|1p"#=⦩,nE3!Vl8[ښZ8G1 Jf{2AQi@҂݈O`S={]x|sʼ1?)RAb8MdlR6!ߝUܼM̘i9Si07M&fc4LfYv ]h[[t BvyZj1[^2KMo\\g3_D'I>V YBs}(ىj&sͫwѶfkBƝc[p&>.I 3SHk. .yJ:ҢM?8\E[#][Ǐ%wR][RUy= خ=D7q9We_f:|hyRҹXEu۸e~*L؜kI R3ŞbgGh/?05Khu|{X%(SqRފS vgz=ZApRQ΅`bEݙX1=7Q\sh}183HcӎF5㚋"ΏkQ>aR擘J"zJ$Ҁ (%_ o~WiTo2.cKe{0X13m27.n}k8`d3^ud]g 19Lcx!w]vK/o\ \LDnA!#>NRT 8HYe (x7kۃm{'$å޵#bK(L2gb {*T}1'y2:uy9 MtIA=q.6.^I2rk]U(2E mb | .3BnE?VǽJ2duq-pBC9O][R%)<ўr$6KS]Uj>bySC=M ֛_nW4pE/B@ws݃ vVW%{&^ xND(}?+˜F&:p[&<[as k-KyH>P}9ibf D&AvpwrgPifk.~ Qx"K98;>X!N!Zl'ጼ;&§aJ{JQț;)q \]a3W1Y|B(Lk&eiȀ[bFz ]x)MqD/Ɣ OvE{I1KQs {]zyyYt̷ž0bm5R1B`ŃFx|H܏k.ǫMSgYZ'Duw>tr#p>LODbC̢,m]sRp7;qĻs_MR5V4˓.hSW;p]V VL2w6B "#ojRZ}U2@uXN Y! R'I}k$,ia]Ԛ4['~l| ?Wb3gC+xL X,y8pJͣ(WydCWZɊ-5dF~*8 hAǺ6o|P˪Ko *GkTI\t 0{x~Ȟ?:,a/c1W7 b![#Q pgo̊^@R"deNsqpu=°BT_e0ԡ6(%dۈTU'%HY5ШGS Xv-ŞTG8";`]_y Dcy_}K\{Zy%*() $yXuԐBe+䨎0&zq<OWh0)Q۟:CNiv`7ډ&iA|<X3,6_VkSKko^2WlgyWł)PYt<.i繺Zԝ@"!^U HiƯwRJ[h$UϏ%-Y[A74_~½vdDVWXWHF,rj|Ë;4bI*A'p .o Yl R.Pmc?"bgaPⱙ KgOKЫOW y01h16-?sӇ=ԁSph{p:#czCAaL)8Q|ˍa)$*`!{vI; mL͂%ZM`|'us)Ӣ[*23{im!Bl6 ~_J'z,y@Ac[/Or 8v:5( [ E#9]z\.f#A~;*kP{ grf33\eV/b}F+3#oR>(j)qW%)gWĺ 2=8K2W3*lJY2*.!H^ l1P/CKV!vZ 2Oڦ-];fL"h ><t$J+s@jHN +b>Hz?4ɶ)t[uFw_9**_BDQ Nb+ $ID@f(elĞG8#ꫯcDuEWd}rff#zCX\3Q%}2-enkBa\)!4/L7SVkeHǙBISEHZ-G-7M4EY0pY'۟ y// `(bnįko⮈C&~-dIqZeZƁ)9;$]H,[au,@ R$M|CryygO)2ޞ 8BZEA=kӊ]| a;#XQcg c.CcqP\{f?a[-F {uIQ 3 zl$r7f4 (zURid7|$Do EX1 "с Ug *~W $3%P8h? Y %tsZ,-žC7,csC9wW(GCQFZG7HP[*&+ 2f1S]dA%-km0m3s:xo^|m;:#y &t C-So$7K},CSj2 KUgZśxQdNqϗ|Λ j(J eze .`Dfݺ AJ?N'LD!5]*n5t-"eI\*݂AIW< eFxBz>i?>BfvxFZs= U>rCC3\‹J9~m 9rob$E>-W˚<(F[nx:7X[Np-7y3B\ YF~PO,sYZٳSc~3qVP.Z3Y((vj_;eRÐr}]a 1'LK")GIYvbixB @+u" )2 {<ŃE 6Cό/r4Zӆ\KR{^iHCtWkYRW(b/#nͮ؆%urxg<AQ;[`1=E~9GZ`_v}.WYȫMg#&|ԩ &t_˅58)%sg7&po5xHfYv<}6K(;\sna_lK^bP1nF^bZD?VQ&ȱH5ש6wOZs3'I[h!yEZM@z5|o qWGP ~ %2'9'I?BIKI'B6.J{JIL*"c8RfXv) :&t7s݉"wOu[9؀ffP?[|W"Sz2lq-鿒VQ8Ḍ4}RG4<3N1,maq8B% ^x -͙k궩.A){ti5+{C"sJfZ2ѶyRm걉 &90xbbBc> N+V.s*)]f$3OK\%ݚni\a2V)6X߻9*DGVx+wu ­"_bD~nO=ˀZ#Fx*Q :L) 0O0al',l:=x-8l &QwS79.Vu֩tOVPl4v} qK9m\9Kn.%.[P,S-?*`JO#Nc]"r=;1)CIJ$-$3y0K>Mz*:;L?="/81|2Upؖ5 jiʋص Jp1;Ojd|֍n 諢n~+I3iUo'QfBW.\I&XdNJV ti 4)>`:sO䉱eϕ.h|9v`=k^H6 x ʟsZZlb L `'y<L^"Nd/H stxKIăvY(O_f148@nP> v%STqᓩ\bl(]Cwz$mc8u unЎg($ER[4P A. _Ѓ×%Rxk}8gDy߫{ BG (x-s-WQE6(9MJ\rDhoZ(6"n.];Pm+&߶"CQ i:I,`P.pGjn?iicC4 *~fAšMR[2B33j?mD"[sn '}`j$'(+(('qOH.5v)]r7F6X0NЗK(я6ɇj5)]&ÂJ+j`Sة/g%uEf _4bIm$M$>NwFq+nm{02h%r`-BH9?mg_?˾rXt^^nƃl,YV0M4i8{h{ލT2my^Ejrݭ2UU*4O_:yi߸']Sh%Jٯpnieuǁi Yʄ 5Edq('iYg'_מ\9l+l4^D(;/ IFKڽ0-?=4IS?R>̄yv=FIn`ߥ '@ Y΋vA<=z7G8oTz7z`n :}?Я!NJy_fz(ьMMfLt]M#+R~$?SO"4?*|Ծa]}D3\\cp iۘ*}l]=R-,eP@7F=~KlބV M|V "bC8,+vuTqe )H1o1lR'>7%<.]9FU!28_q*@t?ϴ/~A'yқh=e ;~ `xy.XMʆ+ZT5&o/L6{,@BonԔĮ~ 59CJvKflUh鎿cQuDiKR?> jbxDNr=_u ;ٙ1ךJӧi2DْPN\gApGs \! ~SGTp<;u9TGSojt^_>jn8V{$`:L6$2 nMaAn3 ̃3o-.&BЏOե\z |8~f|հgN!DVaX|dd'ګdEKVO_Bdk҈@)r%܂!C_sڲ 4Χ(5kס/?=Um/$/ӗ O 4\(-:ҁŻ[_?ы}rhsDhh.|B" fjN }x:͹vbN@Qf.:#hU_u2e1?zIؘ`ċrvQW2"ZҢ6pI?aqV&w_" SsL&jW߾fk|ҍqu1kߤŸXVիr*Sh_ lGԦ7{.E,DbV욭faʧ7 xOߢ//wB*IH3QA"VLI7u &ь|۷b\)V˺@\Cpv5;≁.{Z70`Dž62(<ޭa6)Gq,MvGgaaǍ\ n,.1=f9(|DGޡt If}?`) ԔpTrrHR~̴q- "SΑVt8u޶L55^pхTe_C;ԝ=Crqa1ɑoA֧?SƗN=7 J2(R:g\ C^s%9'+b$m;gnM/eNEWzjhn(4$#)WV*7*0-V`m@e-~Fx2/޹< G)-Z $^>gǩi7/A4i٢bI<4j_kP  bF 6H43ZD JR&^ k 6rE-8^|J@ "Փ2s dSB/&e&ЙЗ?-^rK`Iª׆ V#̻V-n<Pjivm-9>b>(2_+ B.zNu3Մ&Ȟ2]K8~ ͺ+֝+q r]yv!VK.jZéR\HKd\>T )$vd3E]Zh ȃشJւ!ZfZT\0`=7< ^\ȬG9Dfق=|pSkjBo!Ĉf̅V,lJ`mGP?BGTw},(:݂\), .v{#`2ʎ8`c# 150$t TӍm> p@۲ȗ;t8ʑ<ڳ&,<{ZԞ뉴.d:n% ?4 Y37U3㝻MLuN^k]!id-ࢎE꥾!X﫣#(,&<O,ZءmcH @rEP ZML?őW(*Y? b>HR q\dJzlE3B& I ^Q@^9,fPS+**n0̿d)T/W~k/ S3*! `ba9P^ '>]ݻqLi"lhL&P9L=xa?&jC dB+.G&2g%瀂9s8 $힞x{֭~R:P&-mWsz_/S Do.t[tBwd8BL?IWW+l蝆h7ꬦϔE(6˂ ~!|otPez#D bu2M0>>|o߬ cIi,r t %1Y^4 Q%V/OcL^ nzl85*c9S944kW{9A=ܬ= +]l(;" >EŜ]s H[i̯oa0),X18 9]"UhOpƅ}# |%gHxݻJZz9ϊ#u$$H*c-=)-,_Z3=M;~zo4 _Uy.q3 -&켂tȳ艏`?$o#0o bD,hH2qê=tO^a$~/M 6l_;eAT/pТP^Jz`@Mq`|a5[+~W*I Ykz3rIp,5T6VQ iE` xpeêFF4S`:4i/IG{ԑȈpzA'ssw3h~()}Uڪ F@NGT٣)L) 떐V"Ko4QݹRG-V&@U'Mw7Av!YDigoڷ+vhγ4X( y~SwG,8 J?4sQ8Wo^:!^&4!9td}1D&ђil&cSwۺ$A@!ksdj8k(l8܆Nm[6] /+;װcKuR5L=)s 2ʿ+,L{9z~`i⌟E+Þ{1Rw?c9}>1QG0X?,U" S҃ݐо<a9CΡ͇k?V0~t*0-Eຌz>hD|OkO&9`0&SȰ狨 ̅g%R^-D#M$&]09n2sXLDhe<G/%d,[m`a|ƭԋ Mκ-ȣ=,®!էb`g6D2:"gH0[thްRlPqBVjzKuR\׀$D 9O{rK51K=DV ^#EuO-/R:p=¯8H),ezV9 #jӐ4#'ow2Go֘KV vw[k׾4X#X0>R @W~mz-%k| siͰ)V/"BBJ~0Ky ;1btڗPl} 1B OE6p: @Bܕ%8F/Id 8\N"Xȡ,$jԶ4/25QFTǑE(wq GEaG;[xlE=pp 6F[#`>{,ŠX jЇ=+Ū:46 4!>L=Qඓ5%5,F4tp3͞WnH]9[drjwsrgcK67htJ%B!;[\w0kw.|QTɰe 96pO+LpHM'00jD{fIJ0lU!vX_*ͫc/kܽi]I F>%;"Z6G'E| Jm--Âs W2oF~P@3lF6xN"06G} w4V[7:J9T.byV>% jjy^d\b*,z:#܍z`;]U0#H;ΪW+Mo9 `e-VJE7vz ^a¸D2 `kun6DS3 TS;Vzy* $?SoMcpE(W/U H]jXkI 1}|+b8A/w**t~mҖ 6,^5imMrt.UGccz%2+soD͘Z\9`_s`XLAfUO_Q4 z%$틨,>%mїl޽@|>nR/-2:kG<$R#OyU ׷886mm9$ҶNw)1Ƈ CkOtpBI\ĭ^׈Ҋ.@FɍC0kZ.^HFXvݠs,8u-V eKYCt,=C%z}Ĉ+<’>ɉ0eZWjAv2@/0qr6M0;Yz|7DuG5zC֧sI7!ܰ@ P1dWjU5GMSzN*׻uϤЩVpJX/v UEhs7^6CU];ːhXrBBi+wLH9!8\P%jZw [pC4g4Lt5B7 v+=lqH0RE#@0ae_M כa@G N^t1+?@#&OhS]s`DŽM: `|j;9W_r<!)YLH ex#T# 0 k5Tmg;.l?f-^l<8 HWT nﭑ2y<6iiR6<$|=R`zz)Mg0 !Mu4Ɖp5?3]7@:1Jw lfi;hւ`̯OpeQ̫t`D=,y'n{cZVcL7-\5]A?'ɴ i/'2᳕ K Q%@0 H= lg%G0dnZ4ԩ7bmvi)7/[\կwv5) vRc@(i豫JD_Q=*qHm Mi0y+Ÿ&SxIYؙC엤vڐ[gBg% zM@*q4E60Y𯫽Le:09[0B~8WOЊ`j+?SD.ؘw8zMXuUXRNHwYu;NJh_=ftyT~ O#ʊvZA@3 ig'bv@nXrh/%HD5z i"NΠԶ3 sx}/ϭ mAQj&R2r\uDJd\\L@2QY)}%$$<]V nj6ZQKϓc7娳|āLE\/qjzH![֑G.Rp`!I"I0G/&0WׅAic.H-Frӟrc GG$?|[+Z)̈f)4w}b? rO0+p[e?֜ZZCxm!SPTۭ%дP a V{Wr!ҵ S*o*ϐV3JHUP0Vژ.yWHߥL F\_t$iªL4 'Wݔ78E10n(=&8 Vt)ҸR?/> XP[El@P$KxrQA_ߩ C׵]Xg\HbHKF̅QPks/n͜P?df,hb ہ ]T8[e7ˮYn4} .NRb=_bbN}>>!'*/ jСD (͒L񠟃/LV'9MSjݛ09v[y6yK}:Τʔ(xOr&Kq9:vTC[\%̌o&LhݲN*9 `H1 OmL-DLi?OOߏy]?1t%8($skK=G0):P"=B6+vÓŖ27ϟg>]F(w 0~,>V^P+#Ļ3v Q\'^Vp^IH}$'uQltž Be@y%Q!iCVζ&h0nSLݰ0ܻ60mEnbGlqV q*v+"cd;:䥦7 &-xfqJNIC0'3NzAHK”י]8|VӵW1Tr< Ax@1q<\XY38QPYp.4H"r3:ZB@~Fw+-'[DzJv*F!L]m.XT9e{8*wwyJ&:֪tԈ9ɳ?uC+ ވ`rZ+yGob%/QߧQR.^P ?\t+M=co3G. 72U2 5>i&]8wHE ,%p~\zoN.k̢ . =7/k]tPYI%~?u3JA__ZK ZRw(M)F4Q!A%xfeYGEm[PG;W#(^'\sT$aQ*|dB+\xe ihlRM]!άpr\&Fpgv#ՙmx`TD0(<{#lb`\dv1-"e"V9Х*(|S/YY_5>P77+ ַ뫎Rd+/m&Qrz}ܮ3bObM} FI^g˩ϺZQ`ry;6!q j: Ā@԰'ߴQGkt[ᾘ6ҩLD|Xhq'A)0xs\ *Fa(-@Pݴ9 ֐6#E*Ԗ.Yz$~>MaEEX]_!F P T0R" LiI;П[Yߏhtl>1xnn|wnrPxZ2{h0[bQ?qL-yiᡦ#'*?Y6q58 o0nާP*yπn+ pSb0,WHF Jb~(;GYH9DU3+ }{rZv5qR(,}d}Si7x6Uzdw5Gr՜[H ȱD.,侔NDUjIz$bZu |{/cT;<~KG~ \OlCyM\ ̤ :2͚ZlaBX#nۄ:{5o/"kpcޮb֯grZeo{ a OD )BVTKIUxǧ2%>BƔ=1i >xcAs\-98K5rAFޙ Fcρߛm6~Z dahZCoޤXk+FJ3r$vˉꊲ-6>zTY$bU/ 9]q~"YD⵭8֤ǂd+s&emt":e[~St2KZݦ.)_gL.q -')M5'(s%Hˇފ #)2D`޺c-d6P:'qOC(%?̵>fܱ5PHa#=鞠J-MاGL–aF at*P V4c9<K6D^N ̜pJY^9EE3W KXC***ն"zξ:=xMW?kP[%VЯښb`D+7L<ŭW&/&1(/߲ɱ6tс'Ov&@OqȈyBM ֌=p4;U޽{Z6 K8P*10c+z;YY%vyrW/*.,.n$ Z@Zq~(^Իaj=ƣ vTE^?#vu¹=nc\>PRDS>h+vq˴N%Y(*!Q{o E5p)nOg L< d=@ ;O{J{_Q}&Yl|e`{`Is)33*{U C*}&*?= xl'W1F/N{>:y.pgeu҅%)rAbzw"3=f9c; -ӷ7=L:Ǖ¡pfEDIWqR= }D_YS^nfm^UAFC\r4cBzuǴsԨ`\a͢QdaOEل.DSGhA[}x}%N].if`:HB<еAd!xfsY}m_q%:êgbB#Y+^jE69Xtߝ } ЗgxߖK[fx7diV"m2k=6b)=_p0f+6-e: %ɥ0q vKӪD %On7v3E';]{ ~0P&!b2kogoLpfǗ^&){ }{]w,30+̖&{Uܣiד,x;L{fzQSG5D?ɱj\ y_Jy.gE%o~z2zH=d"=^ުq8u䘀oQo[aKJa c3wjmV oj9+0}MuG&R16?0Eb rP''}]HX̠#6#n/pD1k1i=Օr|0rxYzђmri&C)pVitz|xuCz/{eP/1T2|0"xBotxeEYrlt֎|Qr}uPG5ԞzI{-'"C` P `)X@w95_?kj*VBE)Ǒj^զm {0|/Ff8*8KF0᭧®6dpGghQF.3iϞ޳-_D1FgI6.ݭ0b3c{hKׅs!9Bqf9ڌv56>Ĭc*@Z ¦<5)x9FRNjSuGd7GMAaھ~B< ,5~8͜Dgcě!3 E{%c(+ QU/E]l2$fq#WT:9=(?7-3w>NAmizbʲC4Y&|V_SP3W"_a93dd Ns8zB!>b2eff}h.gEޮM2[%w/o֟]Q@0>13UK!%QL I1TT5mL?a¶!ceRzAwL;!^ +ˏ [f p݆hiN'<\//w7 xWy}a4.w_~d)9UpUw$&z7|r $Ù7mhq>0ZZ){[pbR!2~SRR"|$yr&gYg#)RC;κϳP55PΫPdiSqFŧN8Z(W5&KL:g=\ĎY5 XMK!sMRtxjh|+ne}l %!kڜ3̱gYZ u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodM 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! N>]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2 y+p)#p`ZeS ߤ"üL|J Lȷ 6+Y_u7hx;y3Ἃ Q+<&;?֗h-4C][FpxO)]:FF$S,Vy]Jk?fD8$n mgBi{K5R}kg[Pӹ 7]M׍ CG2 TYS.B.tԢ޶3Ti`6LBG˖>dx AV^~{ETgP7RJ%~u ĢoޢFBz^@;Ԣtw EDҰXT{DDzRZq`cZ˯*jO0r]fbiC~+ :7]QyRob4@6s"Y677 F /'-s<^44t1Ȩz}7LRiaCiGT CCޕ)Ij[Qr'&I$M ~-͑HϰCUcl%_.KÊ.Z)E3R"ֵZ ݣg5/a,X,dMNgk]01s7:&GM˄%8^5l!N4;ʂє2EU~pe*޲^"uXQGB*V A6ne1 }{|,;^nO R8-P^ԟ#EsU,\{{OpPjĈJZόyk3*]o}]*7Y~"(D=&TS:^ÜK {J,Z3C~z~.ʿӡ$>žEE" rwRX ?<҆ذMhŠSGe& Zg7ȇRn쫓<W's]d0Sh,xR\̧v2a})F|!l_)JBG5n؎I֘ZyX$u D5RC# s35~ÏFԴ߬XIW-a< a8džq71M_ֶ=pbqR >ե^WpT0Hjl@F]((Wgu tˆ7J7@- ER#kTa-9f*F=5-2x1.w@tFD}19:+#\qk1;N0)2577Nt_MD,FJf & CDB+:"dn3/XEŞwcLW~y^MZX7Q!pohTfɎs&-dyx U ϼuƌ3C3{ WlACGfB1,1L-E8^I+AezZgRc.<(Tk({w!F^Q쬒x92SnآUD-x3Q;Gdm-DW@~iX'W- Gu E$@L=fa I(|쓲M%Ğ(![8L2"{`0f3}HkLMjIc2)dnʏ<)er֓|2q/-ث+X1'sw81[|> fmMdgbwq"JhR;w=᧍G`yBȋ~;UJu-,6̎D2OB:.[ĭ:Θ! OU1'XO=F-S-XDDYD GTތhɘN^m<ࣜW7٨#e6D+).0~E!ͰLcXw \3Q@$)^r ~\]Z:}Vs^*<&v(?l+::4#]Ѽ} DˍL^+M`BCn$/A~tsa~Sn,N;V,,΁L^:Guu6f`t,#T4E"&Švd}*a.{K=HHV 6*1LPiLD 3XjXc t"WR1 'd6UNk(1o[U 2uƮ**Y 9TXbB<:њEBjUT۽7<:?+&juzr4)sTX͔ M`r ]wr0 4dk}t.f$*eJ(:tk/hx%^Z㶊=‘`[\b;?f\v *HQɣl" =gJ5_&/|7:N tqًe2ux˜]N ^; Lgֈ  5jFr d^4`Oedp u"tggj;1- EG܂wl^q:AJ )\ ~V)fSE)׹(aۗ̕K`~q ~<^Di VaK 1)L%>B+{?`'$'?|&(Y ; XoOQQ<@4oTnq&ۥ-9an#.#;7ͥvJ5EU_'-ߑ/B "w-qMl>^(DUҁyvD'3T7YMħ-Nթ䃼6O6V9Y foV"iiUwanULD};vLU'^/5Z5n]IibTOr&S.Y_5~PA4Z z{E܉ Id\W\,f-5K5Șo t{H.&2/̗[><FJM %{gPL^G|UJlE ,?kbآHFk$/ If5qPa_!>r!Yǯ^Ž)6&=~<{Wa\x'fݒw#4Hu/[;nfr8n|q Oy \xl BSVa' eG|JFvո.6^0eis8-䇳;7fxUpXXs->4ex93hiB0G% Tk+h|N/ND fs}@TKZGY T!0ժ1H]sH#+)в81;li@P$KBYK{` ޕQ:Ex# 3sugKٝUhő \D*k^á/XPVgSi!o?ࠆ- 5qZ=~UH1ldCu"ނ AĶ#]i-ÊD~|b*TO/I'Ej{f:nNN)zie̢'m1\p$U sIXgeDfoГTq/0POS͋01TuE;N5#s+MIl# G[\TAKl 'r#Wuqi|ʶl(ZCGR a@=pW@5^p;ʔaB1x(;P=/h!QЦqXk}̿­I|jѭ=u^gd&cuFwHY3.A?M4Mb߇S9GA=Akߜ1P"(,44,JҺc֪Tw<,U1|Z:xF᪊2LK+ᑚ|E ݑȥJnz DEjӑ ꪈM1㝠%B>y 66 " GgYZ w" 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/ dHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! Y ]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮĽbݲuNr}xeGޥP\u^i̗C2ٜSvQ]ξ,K**|2Y`O~^p6ކtk0UY߈ b0{ATC\K ""pH=ȏ¾ &2z),bHU.l܀(d.vÕN9pm{Ä#OfCe;C#}H9̰NNWg+C3m9LTnkVpTI Vicv=i|yc]^XS-=mtGU %G/z-qGS\X;r67D8,jl)4{R 'ˆ04Խ#ftGCֽJ(m`|oK\m+՘j|?Ҏ0͠: '$I,6Zi%+خذ2 =D "UJF E5F$}:@@-BM;'owG߆SH]cMGȣ Yڴ,a:D;9{S9o6A'4R?+7up kcQN]C>N!ɴA.|de- J~AC$?' t7swDT'²yy.]Y,BW]10D sj@A`He ۛεYDF1M4븴Dyc9F2 pSO!6l})5 &)_ơeaKYM?"`u4o(慁2e4s) r]zP?n%^ddq\3Ȥamb]%̶sy%-9r̀.,2;N—qᴣ$`Usu4(uhHiPSUXZvP dL3x@)n! mbh> 4)Z]:kx`HOhDG2ˋm15n1b48qOU~}_p}1nC(qd1 h+cō*B+k6ŚVE r{0 zM4nf]JWXNnGt|L$)۴<ѱ%'0F$r0"j"Ci'9d2 5x4) OvLL9ư H=ͭ*Ʃ*~=H,}=yӼ#!N& yh.qU#M+\0fE>q 4J/!EVE7XN]LB@> +?8|~pO*qZar{8*avD]s@~ޕĐt]z#k;d`W^0Rx}'TFtXd^&R#LcV1(Ikۑ$‰>F0Dj$kcWD (k H/cmy+v5$_ea:\7^ދYMBhzv܇q3*`S; gm2kUupdAHVkI9Cȅu81z=&4aiN|z1Dȍ/{P=i00y\ȥS+8v}ำs*mfp^3ȅкIbQERnpQLOυ~Q~˟b*:^kXF9Wu.W(־6)na&% `ʁ!ϯU۴9g2̸Pw{hQxȐՒ+j[w:(5%WYN~<3CGչV1$/hH!g]M{B[{mͮ֕4zHm*҇ե캭Dnk" AA< 5W# lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]orKuU /4ҒNY,CϣB\Ԥo+(zTkezS ~86 gFrǜilaK·6s-hI .Юţܢ+)|&nH?t %5łώ0#+R%]$r1I bqjscK1$5  )yž+#UjS-c $!$vG;UL[G'ۜp\K90D9W^{b+tvAzFrEqgDfOO5*VHt7n qvb!cu)oܽAEp5mҎMN)zYoS%tnkҗta\9MQIr]3&o|B<0ܟ>XDHOi si(Sޛ#B/LX.<B$2O٥ioH,g\?QbSpEXX&G X .C߱ w1 L'α>'03dY-IEeAl}ϼӇ=ӝVf [#Saw8fJ`wqVcHe; pk]{2n_cASbYe+U-$Iht'|#Q50M~YpP YOdy?Y릢f$cj{{t;s `x~LH26=ayM{hJUdG:3ޕ !ݞa>r̼xCr36C7jk-'!5ZS7^mchx"o@YFrYtexgßǖp5W^\ Wʀ&A:#^ι c"$iX5o *j|U]C)(vNWZӔ:vQt3jUF:e`]7HUS3jVՓ[ֳ2+ªF *BlC>|CĩaK3XW5CA ZXc$&!M <73-""h 'm灨MAI.~([S$ (т>1}QJ<\"^!Q9,-d3i8L:x#޻JH,fT_F Hfh9äQ$CT崋g&CD3ͥ&yH&4cpԿ/|Psֶ`1ޥ)#ǥ`(y$NIoF@-=-d1r˨XR^c+/@:.7&f ^$&dʩ*Ln.Qwep}'e3J?X澭_ڻ@z~ű6vw\ #7ӾM(|gH yz{fU| j2>$>'>iR#~vʶOE1_q?N.`"~>_'?nU{]eW؜iYND4 \QO;c[$HM.اd-/BGsV6ZZTX TE U(dUd~+b>2Y}= *里jAA.Sgщ^ _?u񫌄N|O;sCu # gYZ ^ 5W' ,HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! 2 M]Άxʆ5.f-9 rq=c9rN48jAR{ȣ=sa1*si杮2 iit]G ɻlBp)31QOM *Gd= d˺eWmote\wU2@yo=? *14&΃c tuzKHQ,QKk1+EWiLrOc:$jQ>nӬNr2>u{X{[nr?aK˵fI+ڛՄM4T{MLS-MFL`c9'#ݑcٓUޘ +D!m7f؞3į6\QxR>3]b9qoŦHӪ,QM ʥwbn䙓>: QJVb { T9y\k}z.$]8gB}d#dnpL<(mM jtCJI.>gJ|: H|JS#<'t] u\ jY9$m!(~uW/4t&N}kMn'WC@OD? CVe0H !H|1/[FSۮaA$BF4XZ1ݡ9t51xGSW:w&H*jdM7V^c"~qazi&|;oybPA!dFmۣ.4&)[Mq,%T=MJ@BaZ&NH^c~Z@bÐ=)@`52bUU+CsTp &rb :z> yIz)HL#Zn' m!F(E ȦRub8b3ZE"| AH٠1?N&`Iz~ G^y}$?I268zj o͓akxK"e"1;s]LҤkK۩kY#n]7$Ibf9aFri>H28c3q,}9tx(LɁ85te`Vϑ.|*49䰅 / cDr]l(魡|\)㕥KgAuoH(K[8Ȳ=)>QGWO@r%$ap_h3ƕ a`.6ґns Vkz}w_I9T78?Z4YJUy70xUߣIGWgW`[vh{5:j9Q :i+J0=W\̃T*囉 R{2ixk{zG}X)"’t>)t^-Xj9=6ia 7y.C;a]_\҅%^zK"hq#K(Y{ Գ("œnI#qFy˼gYZ7Ah!Ζ@0\x2ZY>t02_GGj7j0U .8cl ƈk&\°] SX]mg kfJb^O^z>P-PeU sfh&Ʌ 4B@V0EMy&&O0XȥvumOOLc(Y8* j-}$71] &SicY.z6s}P@YI1MVwa8ϯڢdR)5 M\<|ow@S CXsgYZh%DjI'tЅa`b 4X^>;rȋ oiͺG;J%IlEZbgw+@~19Ξ됳yהlL†T,F}SePp1ZeYa, :qڢGo E;EH|xĕхuBkxl>Fy5ޭ@BDbxCUXIPh߹-S, g3xEY`X&(f$o[Jb΀߾PP u0%dQ"䆎3.X܋ ;84:[UG~fD`kwwko5~Ѐ\ j^SȨy@6u;wۢzddlGB̂u =ϕKFli޹*;Om(MoYN)- lNgx pgU[(!kzbvLw[ UNw5t| Vs\*$,10X#EiIVE?}B]lK▔ ~I.`ТVq|Swօ5=NHACXB6'JÔiS甎G GYA8 ~z|j}gI_J|J^ #h,FԐY\ciEeM!4baܼu(U'Vn *{1UXi:慒sR tG1s]Xǯ9o{~bw PjScyO+*CUg B-q GQQG&E[b#8LVDb9OaG $$^ ,$"`("h$[ 0VY>)Z8i}XR.6Eg7[>5J/%״ajU6KK-H"c֥U>d<fsו:̙nQ/qb{v3.O>3ylW h5iP@d耶Ui$#)"8{R'VRK2+,UWb 1=DmZ,sp0-oOO(5꧅Ns)vvW m)bĒ'GJ]b/BY$'Y|nX? O޲t^a_,> Sv2ȯS9X"nB+:{7SZqTL塻t.OyGu*v1H I8`ciW}$|(\Duo)%,Wn<E*0/~FMbiԔ3Tթe۳.{*(-J"AB+Un5}50Cdl)ˣDy}+NϸO)Ia -bA[ [,k}tS2䆰5;rx́F $'q֗+?$ 잰iC^"5*76fiu=BYqjj& #lߜDƴN| +jW9/huH{%"󗅭W["Mؗb׭}+s+'2pV-EJUE5<UM]J< Lkm5,J=mV4S2V:|0n߇XcbPyvU*q}[W_K󻟨ţk[}[#x8ږ銙 zbN3ƃB@$l?N@΀#=۠TJADrHJUBk bˬ@\R?=dg2"{`ڙyNJI^ʒz-8&hRFR;[*D: TC),ިdt˩C{\ Do.<'lHB8]3!ol4"^ :8 ]QSr=ayn"ނ)}:ʮsY%6 pv}@كG F;(g, 1+@tNJ8^ ަ@XcTd-2rgVfo\ĀUfIDͣB%E!+xX熨c?9pWu$wMW xhEf{Gǎ1s^ϑDzhVH$P*LEdž@ i^ h8)RfgL &:= = ` (Q|=D is$kq].%@W!7-ץv8+OK>G }*`Co`0ҁjTYs ~mhFNeY4X u\zriwgkM?d0QaFSS?7f >|{ RAw;{l2t%܇vר;@a_AH(]݊Lzcbyn=?:qY06m իxS/5R6[錫9WW}W_f˯Űu;jl͢T>p0 ]%""PM2ekwi/!Emɺ_m0S̫^zԐԦ$80zhv?iJğQh ajf hD( =yVrT8}~9vh 5흚=$Bu8W;wϡ{h^kRAr(j9N±̇_{GRF(Xz=TUo}cKTCF @#7F [܂޴SYdu1KAsح&%g_{cW[[_[z7h6,K JP Iu;Ƞ/]5*#^/? -%N>Cdִo@( q:ܳHq]Q'x3 Vo)eoY}j*`ܱW?C#f~+= ?nl[uCO08zUdUqYMFRlWø_¥|l @ȭ+n]l Tyz Nd$){=1EL7\|ڳ;&b|Ҥxc")9|~Wo19Y{UmAjEG{%bssVUnxgBXF.AR 쑽wmOQP,1cj$2fQLXȞ(jh3;\?ؚ1w"ë%| Nt٢f<{!!4Q$B}U64GP5?sn<Uəv0%88zbڋ}FrE}"9ODLIIJ*] qNWwz&s'M\<ա`1!~([dȡVЛ6sC5ՁֹNH)'IRZ:mԛYX3N5ݚn*؝zySjE~j5Ũ*0 IPu4V9 .<ib樹_rxGplJtmQ肌~\ #5.@0sVas U̅ FGHY!"Z+`=vȷG{t꿛#ļm_Gi-i`ȵKe4]L"RNr04 XkW {][啐jlO#,d>SP`3HZ)sW-?'{ vWk_X /챭)tְ%F6\p+K>Rbq9F0հp]`*ssMA.!c>B1%3(f"yw[;o#-K<2㌘%|Uf!/7<>op XxTd/Lbbg Oz:/J鲾h=^ga'Υ>;W+Vz2̻,ԥZ."#ZٹqL tdfFQ2\fw