SQLite format 3@ .S`  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 <5z$< ]/ HOL-Record_Benchmark:threads=6elapsed=137.804cpu=213.845gc=18.5537zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'y#D>'kmOG 5i-N7ONF4QӣMr*u翱gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬!DD@)C:Pg?+j9Rl_}YZ7zXZִF! W]ŗXi%dԮYA< 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% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! z]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'w9ԑX\!ur4XSmHDK*6\|H(R(3C-yWKuՏ3nqՂ,vƦ(Sy@3ƶŪq$\̹95Olen3gy8qPgdp22vF`Z)pܕoWo7S}| Bp[*U'&؞)/{PIP MZQQJ!> άVij Pa11X"'0;ZAU<9v׼]aR3k!۱gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchma    _ 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% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! z]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'w9ԑX\!ur4XSmHDK*6\|H(R(3C-yWKuՏ3nqՂ,vƦ(Sy@3ƶŪq$\̹95Olen3gy8qPgdp22vF`Z)pܕoWo7S}| Bp[*U'&؞)/{PIP MZQQJ!> άVij Pa11X"'0;ZAU<9v׼]aR3k!۱gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! nr]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=! P۹P@\kp舖ly`"ơup٬tjR*`A By[!!0V,2Ab'+rERk}X㬫wMLBnw)g,1UbiPl fU5>"0fщF^,ծHa,]T@gFK͉f:6khDk"' ֻXLBЮ ٔm6iTD^F-P +hL8MwB'}Z .\Q@j- OD4܉!]MF _)0 *JA9|VT&`dwͅU+R_BAVT+N/Ȱ*f!q?w2 u9_߇oQYcȳdG8. F4[Ad2 z /ު) I7 {8C@6N,g6f:XE2.g&w Y#t1kQNѭ?|t6 Q}y{72S;>se]]1 ,L2PoYc ^wS&}g_]Zy_QOu#\HWL4|lYQ"tkjF08[&7hbX"11SQf{]* D颟FZ\( Sow=~1IVx8<~ƘE.嗱`~ 16[G8V.ts<H̾O[&xXG\%k#VI-: $30}ys!Eet4$*LxO$팚nF]Nn Eޚ\j 9-qѩ'/dݧz$AuqveXx8!>~gJԒQ 3S䦸&QQ fo3D58B6 CXdwHͯ}[LHVf7m֥hTv%|xdDkj6,(v*F /%civj$#bA8ZMQǍrWxh=eHipεѓۅYc2lİNa; ׽PFŶL@&-Dm2h€nَv|OtˆEk*m#\J%|ruDmDC`*D䉞I%v`>1'=;Ww+~X/|uayC@UuqrRm##[D/HկEG(䞨 rVHFYyYa=,pB𿧵Wqj ӆZ#HۨKM_^HB0_4Fˑa˚v"z~ʏ ?8Cջ*Al ]f+[/BeYlk$nNBޢxh)JWgcQvBkx >yJάRX`d*IGjiv2ZY@ύbaLl$4Q ln0FԱ;} ҾZx>_2Ļg$}6S[| p* A& Hku$J0(T9N[VU gŎ)˽_YHj$=fZ?j[Qp]{ouz_\B}%,J;ŘW„6z)hс\Ӡ Qw8( {^ʎF rleɛkrA)`4b;`eGԣR&"j~L';gOs4VN2} |p&U9x2zL>Od(cK3X;TOJ`ȩ(4u5Bdsgxtk' U\z´8hEn{}Ͳ("b-yTu*ڈb+ӏE$Xv lg1O0߂F[|4nmzP%XmF)oQʫ^30_+.KlzaC a[P*m'!T6&y F[vgYZm/N|%0NbV]M9Vh_%ThQ0IJob>e$' 3 q-iͳ ;0Q;o_׈r~ЄT79ߏ+Lnр ϥu:y@LSB藈YA>m|F n7e_rq(KȌe&0һp”}95.j%3^oWжnHDfGZx 'Fkѧ9_6(si,Mxz/E+^5t:mxHV?j T%Jv5404z֯ɱ^`%OPzD>C9^Ę~2ەR>8MR${vRǿ$Z.=[<:L7@kj@ۨt a,jN޿1:2(,VoZsH|=P5! X |h욑ͬg2`,^M抨D|hyUN(u΋5zM[k{'>N3tWLƑSǣlBL Ng #fm$ikS;z8 ~ VȂk?z5V Bwa3H߹@P#ݲxBD2mO{Aawgflдǥ٠gfP%u ߴOz%3$4zal@)*>WO&׽#ח^ Jp-^AU (__/wd#,web,F *֙qG`;l~rs?I-im3іN\6_5 kɠ*>$z°Pf{>6* NG>2~U0Γڔ*hx\~kMZ(Ld[ ;Iҏ kLpߜs"rV{3Dt- (a5Ѹ1]eZtZm)lNʕ8&j+[óg[/T-uRo?C5L>L)>Z$oddHuh^ Yc̓ e_UbuL$@ly4>T7+Ty@d"WǑ3Ma2 ݙN|J~_ff#y!Xb10?(˲'>C@zM(R*~3\K:HBf貜MdYȯqK.;x&Oegۢ?K~g|Bťо1]Zsrx~/sGA6k6T=ғX7 B&黰s72䁪Ƈ{i7ML,eb 2J,FSЖu8 xUv&=OAlF4׮UCaJٓ<@= 3{GwM)la%{ 6,#*s}e!U$t (=`7#?XceH>#hLm:ǒ˿,PlBIһ@u0wy|!tJ5F߻ޕ[n[Fx H&W"hf8 [Cx{H`$io w-q*r\N[HLv_֣;j #Cx'm})y¸Ot9@/pI 7Ăp`\>pp%\mZ;HU '/[S"9"t~9 8QP Zc)}dSmKV\ նM3Jrp77z])qn=ɽ# ۸uRZNjuzG;&p`[n`kcBE* aO]20q7" {EeohQbi6ms|/T+H'15 =X:?[.mGcVu?wH=urTÍB#5D5{ؑYRz%%Z5;[4MP+;Lp0$=axKO ˩̢QR=+f-Z+v>ŲJnl9+~44T$J4 e)%''cW\8t[tnw! oXQ*w1  / vH!ՔWEaX ++Jo% GaGFf/Mۄίxcx& ƃ\8PrVT =~(}`<8 a/.z{嗪1D#W`@^0d'g8hiq}rN6_xk-UU !.PgYZ 00u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute methodQ 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms7zXZִF! ݸL]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8o# :Ej|췅Sl$O{&f ~Qp|eLn+B⭥[V+3ޖ@I_0bY 7˸#L| hM_(^ )Y E̟:`|Kj^韁nraf3_h2[@j8q-׏]سgjhVI>!'ja 7 %u6ͽAF弥jn ??6Ku1rjUs^x,GWmW &&+.3@lS0M&eI }Ƨ Ũȳ ?@YԢ{hVdy~Joq黏A%}|!V' 8@ r>kmg,nJEc?b!&)v c(aD;s^` ܑ44V]T!.HOTFM,9Ћ:Sns$%ҽVku'vwgGo݄!0(V@V,uIP@}k2|vʤtdk{ijZo(؉SM)gJs0ߍk<% 8b6Fs$ l xfpV1'"[<-û.R ,S=+ռl׌ !}ipMi] ^u6唺98n԰5r]xgL%JIES.a`g,S,6ֱ,J}%U;gN?,nTJ7!u)?v]$t߁ t`,vせ OYfRWfEuibP[!{]}V yY'c&B?t2YX 18 /D'x ='ަWb{>[NRJz3CKmEb*H>o<s:!? 6xL+#=\+ 1uY)ošRγLZEX  CAv"88UP uL G"-H?XH曬#^^gS KoLQ$Ć+YzC_yvWC$ w>R":W^iNGU?kx ɪA흹 ,b Ʊzq*JJ\JL-H~Kzh CS}|2.A%'\sS #[9 S/ yf|͝\5Qb\)3m0P8K<)0Oa+u&_ӔK,Q~j*a`3 Af9 1>tR )|eGB^?8ivs38!EYAW暓QCDMvn\4a=$ȭP9Qf{($A0~(@mL JsX{ [E!.\Z:Ԑ;2x2TC~E6qC§pƧ(K]7K6_ḨnKA:n>^v7W.>h]vH8y$X᤿$$H c&AĵdtY{y[.T\KxM/Mq,NV hf^)$^U C9MhrM2׎^a^o?j-;JɆ> pw 4XM/}Z${Cg <;z|@=ȠkW]N LjČ{i?3D4ۜ$Y"ΐDEkTn&zyϷ}=6>On~<ʢsvx庲0;pQZAkv'M$q-8+[@s__~ɝtQҀO} f.cq֝j kBa33 TZ+ٔb=12 qXM797(" v.; w搧K,χ*>l{P>8ө?~ P?A2Ƣ1sU`N{%E= XO\FBzVOƍDqECq6lTc'aп"^wa&̊,Эp;C-3,աo ^R:\y{ yZ `}Z jf A7Ēn2>yB:ZoeĄRy U U3yȀ8}v QFi;8T6PuI8B1}`+ȓ+;FÆ!`H:/dD =k n5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms7zXZִF! n]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8']#)YT>|҇$ҁP3d<#]{{/+~90W9̛D݌-35l_8={5ADW5C4"6uMߢc|HLp2$P3ծܸfhܺJXW2:xC( g)Ľ3QK.(r bάjKmNaꩽ$u6XV|년 E>!5DUj{i陼MCKFKD)o ! 눘GJCJJfгd 'YK(y3=s/ХBs8y*yN67|w5qEFp't`G˸3mܫ jrh{썓>+w+x ͠PEmR ھwNt?Ξ\; Xf\調_K9TMo'dBbV=Vz @>>UXǬ3-ѳdum^DX=\qN]D 4ڄĻSaƳox'8iPI<zX&ZZł9-3ףy'xK Y>n-MhD<$tqchm8f c^RV]%r~p'{`Ƚ.6ǂBgh:FGA; :ȉZáZ,b|FtRb`Qya/j= axf蚔e2&.=bDe|A43"b pFG=;p.-= lfJ)|w [U(D㈛j}CKž*zgx~ ԣ@Mlh0ZtTImNG}~6*{@JZɪ m sq5(.z gԶu ;,POzuA S^\ 4Ĝo_+SBU8hQ\/fJ$0L%(wZ XD E,v8(@4EGd9fbq}=R; 'aw馋 ݜDufl18!ٰCXB=j_n(BSGX[zsd.c\t9aM4u7tyrNd,mKQhaP˻(U7HYѲ5nhݠ-4ou&t dh }j{ +I|&Ifb%^ Q)ު,1!֍ֽ;NhdeiI%Au0̾0^Ka"xxUʧ!r鎪UVV#^gTg&Gy~X˹>He,̲ F=Ѷ8 / $T9 *}O ɳ2ht2܎+}o,$tp-fI`bǍәpڨ*WFq_ AmJSF2̮!~|QU(8mO=j̝j+ȥtBd͙JED qƳp Z|uWv8Q"6.JV4`mgǃN!v#}R?Q%`TguI_%}teJLTy?47v+ >WhZkGvͼa@L1fr˫0qy=+C4|T)+q̷Df u[ы4e<0>@tnnD0T[T>\Ql,S,R}Pj<&9's{E~<^/8qV} yG[*I!bmYk(34vm~6[Rc9 }Xr9#Ð.AvF*,}J0Kd/R\Ն&a X1=] [CZ۬ƷM!8E4Fz^ZG=a'H# -=d 5:^)#if-Zs0숼y$Y!NM}9:-+ F{3-87ܸD~V@MJ2N[P= i!K) Rx}%2Upk7c p"饬"Yt8Y -;;iOH& 8}2>;quڲ;+zL@? FU GhJ }g2f2w.S=L8`0C͢.ĶNvBE:hhXO2̖@oD: t܁ xqUE* &+:VsbG0~ne/ _0؆) qNNϿr2ՃzJ|Գʼn-2 ؜]K^+fZWtӡ$e=;W:[6iPS ̼C긱+dZՙvw 0[Mbqxe9iiac%,_bb7"wf 95p [i̯6\$ FŒQϕA޹llm j888u|/Gr-I苓FQv6'4C7XJ}X4Tb:8<W̋.)V$#|=Z ] _\{dLK=Y{J5ȍqA,HstUq0U&cOx̥4O.ӎ~5kB̗0z@*@Qr>ASjsXA)r.]v+tْO T>*d~lL>]9{ry*QKBg9Gk4z@(=cLPN dCK6tչ.%!"5|ެ cD , r?͟"pX" s ʥ!6N#1`Èy]ёKZ;Az>X*Iqv5Y}|U"knVO$-Nq頚]}j{h HJ'4 LJ>pN?ۦe4&oj#=c.]lnԒ[gE\`xȲ|!&8869m"u6]Q4)ɷ Ğ\<,Jئk.+M3cc fa63lЄ%)_YlSO*((PVtm I%ANG;fx zBi͖WHf͛RSwޕT'Ԥrȝk`ØYmLF1Vլk.RV %{fl7%O~av-lekTpο毡&F3RͳW!w E af"<'d`(VdI|yTn4\9Qi^iPܛ]u`]g) oQ(XBP&~⽐V Јm݇OM*㜦ZYf i@؊p !@76’LQ4>ʑg>nS&ť#O,nVW`X57[ w`b.`9jL!DL TǯTVP{bD#gbKIȄ5]JVNmyb aSZz<e-.D9s$Ĝ9ʳUг/ \垗8mȯ sLӸ0?NP=tzPp)dmS8﬜} )v7e`G ucu/2>wWxlKF-6LNS?Σ׷_I7;[vl)rxqŽ.n.)/i٩yC H^KGલ}}54?n&d^ kݞW2 M+C7Hݥ}Ovf1.`CC rTSE򕏃B{֙5햂 de*)Tw7:弾Ȣf% <#=mtYڛIf(&+vЄjm OſwezRu'"ҵ=G}QB"o%!Q!"ĠE8{ъUY׼=ֆUQ="2s#]\ WoQkωʽ.Sk90) sVh9e y7Du2vPw!we~b!J6Un&<̹GtD`ȊG~hrn10lqY-׿ekw#G(_WxfY; Q[`~D# I o% Ci)ުTo$x+4)Ba-gx. ̑$bF |A6ԗ!Dm|\ sfѝDZ5*1+ETTj%q$nY/%>Dp<1'ӘY̝P9:b-.wxK9"O)Dv:)/۽-C)>k m";*%y6e>, :gۛȭ1aWjPIJZWWrd)&xPÏ*X,1jY_KK?ÌYKFWe/ w+!0v| V:OX3͉b{TIne+סђϚ j;'8gfv<3f4(S*}^=#1ui\i 7YeuX*x]eqIgZ^~Ϟ[zzCO,ɮf* "tT4pIy̳ t43װ^QEƪ c*nڃ |t1] 1.+kY 1L0ԼK6O֤y#MRD>q& ٵSc蠓v21Vڥڽ 儲8m`JvFzz޳CĕM",HF0ګQ\Қyw#+;ϜvXuIw7+"T&H Aa3+f Ն_duBM-ﶫ> Ψȷ:Yu=EEഓ9g^XHcOX{#"4%w-qۍװu8C蟍ѩsqnoȿcc)'^1ZesR7ᱵ#Uud&b`7E^,h vp >6%EO|42 ҏ |RInOaUоz2nCE'VsLsXiN|m3\=+JSj& 3fDKTtv|ӁkSϐ~zɄy![g%# N?knw!!_kՍ=%: 8bx&$&~g g,6XeVI~o4DAݠ#.O 4v;aXC0v ҙU h)qbaF,uDy Z.d[h #ǟwǍRiy./yG _p<\)6gnm=o˳S\s92̈́0!{kf0((3a#g0>G/X0-TH ->FCD#Q(kT^VC,\z|](}^ + ?1A) lSi#Pl%9rPnKp<*%ׇ:>EGu8rgPJ/{;mgYLd1k1mRm(M)ePg{&e:~LٚlJ#Fp{ Zo!M/ܾ>_}X=M2E3H@a&,):@IOJU2Cݦ/\Fb$/B]휍?&5@RG Dtn550 &q tw1d|7=~n޸8Q#vkbV 6:VJ4 _Or=ΟƊ7&ཬMp_(-1Q ?päkCQ$w|<:K+Z$ z:+穁H1Y̩y͍)iWL2g%eS]ݭJS7E6¨ C\lNebB5B!V&Zke XN$6˅Dn,%;$}<J=S4iN*DOaSI8, ]q/?ـ ބ9+uе$k .(RڝtqcБ Xw daMB;~ KH#& >,&m|Cܕn!{Lm+Gw,u8վ,GF4S ;Ryx++$#W٧=%q "8涋m\o';PÁU\hWNa%}A3Xx6 D {K8}΂@+ژ]MFyO.|}eq:u8w15d4X)@׺X {yOgs Z, /ZbrbY>z_~Zy' ˠD׷_~0Gv{E: 鸖Z*ʾiozALqAN;r˭r:^ueܧ_fn9X5 iHv꼯sJ/HU'"1|~+Ŏta)cМAݝvJdXXXp( c7YE)ҧ9vO,cR:U(Ld.::MP*P\/ES jKTƈKpir.=igS xVłXЌ[O@{\"yh s8ef65/)W)Ƨ:Ô'AeAA $GShCОGq9 ol|aD]vSfA ;S`Ekl+ջ! k/^p?# \Mo.nS" ip!¾V[ iWg|k;3nˢ-{7 +CO^16&"Ӓ[sm3AAYBӘϱᆇ6ZA~W^ i.7LAw:PS8b^>w dN+ Z-ku&@aTj6v$w|,p@uu+P<xk8an?w:Z~P틷NM.pv U, !COhjya1',L Ή{$rCUgZrƒ,΂L}TY F{Ioh\#G<]eS_ eD-iɉ ©Z`].)퇋MX1%!fgxJ>p)4'tꢔIE Q5hDߧ.q8JHoS.jYYJ >X'm &]~ _(.5]Q˃ծḏX`vn_@NO;& w IŖ۟ύPf5c" #GK\ [ç09wв#:^m7Np<(J OzTbП[|dyF#Biip]aGg>ALҜ^} _3,-O AZίinP߰@'"l pn+h*<ӝJL4W&GC4d HfA-vpm k``Hފ} lBV U(Ka\˅inf-]F$ *bD3Oۯ[=ͧh$5d%,q[ i̡Ӎߝ -8+%5* {*y'.v;,NV $˞-+zKR-(ub^/M}yn(V-r"g.IQJ9Dizȯ džHa6/^k%8J&WI( κ[71\+}6oze㑭=́[h a.+Ł;Q~w\!vz+DmЧ~*edCk~~m'kV.oUA[ܻµi>I=^rϐTwhv8#2'uЄAuE޽yU@ɈږXHJ4HbA'a"鎋8$ϕ̓(Gqth=H1]ۋ.6ڏ'Ŗ&~0WZaRl)_BJ}nW__k5DIsErEVeO=D+Ogw<adtmŝ95hL&gK!AM\ ,H1yLGŵ2?*e(|XM=Qoҳp?σegk$@NjKqbf @gv~l5x2JUoLUt 1k*L:=3ņL :lnw-|a񏚻a%Q[GrϒZx_r|!P()s N_=N `%n2 HOh(ѕYlۘAKd-2nsԛP'{ #' !s1b=U,I7K0aj_@)Nk9ݗ I9iܪ $2}h#+,ȦH"Z>z]R w?s?z`Γ}q1THƃh;n+rȖ𨆪wT8 3CFp]Bj )Ay6AH8nQ(=jPUq`o%A LEiT+Zg !^+vϕJxZwm ώKr.la*1Q kNCΟꙥd&H6KX#NE4F9儋@*mJ8HMX6z[}lQEb ܭde)6ͻJQ mw Al> WR`hc@[ 0:v?Du2?`FhXN~Pc=f4i*KQFJu.˞IôOe ?H ?355 }_ $y IOe~t񘛋 yPTLjn#"k* T{^\#2Le rQ}yW-N1=$猼}4E)l$G|uJz}WbU+y#PB@ɩ8jPhL6SQk%_׼}zoC yVϷB|]Eܡ^=8GdB2;5X LXW+뜙C37;,sr] 82Cr$?NCGjK2*I.&QF1cw 칞HPj~2l"e؊[tڤR֓\6QvSG=l^3lZq)p@_nwi`yaDߦ)* >1*(w{c˟`Pa+ L}9/lև-հ%d0JU~T }n\36V@D;%a}XX/)BӲ`ЄtZ`!4^4ʠ}IT#^V~$5@` p%M<ڭ(;'g D"4#^eG5jF'8!^`j|eu{"Q XEɎ9/]{E}}g`UTy4Ro[8c 1D^foǽc@f2ECYKp[FsY +K@ RA\UB#4qP؉YhKɕ}+Qkݟli@H7S*omͤN])/MG[Iz_] lqL(#ZJS+_<-3 NL3PЁ˝SJr5i[Nr7eD#g*PTS ߕxCZF0cBK7IՈUVO"mX22Ta)8~٫e)-'(-aCVP\\adb?ܿE #Ϡ³8',90,M%m'x?xƽC}lJb9r$=[&Im ɺV6K+=p#"dqLDSG^Cj1(D+M^%6%RO[&7)mp?- wn#٧H7Iitqczezr%V8b}x+~*c*wk?)S# s8-:\kHmYLWѴjdSJ,6(s9"t,Ó!aVs~6($"&m$,Q>'mO6I.9x}p/Y*~n*3?ZX6h_2um`91j&^907 1 DǺs\l´0Cm`)ЌRبC)?CԮCmQNǢAHs ~&I]U"z*҂n[W]Pp_wlN%=/V ǚAJ)) =SM26wbrv3m`~7yG0Jj/v2wDݼ7yʹ\"wƧ7 㳘vw$ {ozven@ׁ[p: iؓC[& A] ׏%Į&Jr !0o4(]\j('V 0ٱ# }@"ms,*]+ݭ(\rB}$^RE=(2aR:g,( f/̒,@OX/eX?xYStz&j~@CjәG~N$L!AɿB*4ҥ\⑋#LJg_y"'H1C1'dSV}L QHl23ۯwRqI['t?)A3`́T$YXd$J8&;!ڃ&S?/"0 Sđ^iMHkG4]39ޙ#HgYZ+GUXGZp?.WփrTrOB_ܭguߠϳ!YbA6EP*Mt0Կ1ۄW۵iNo}esPwD]o~1*y9{bN \iLU]"ak⹃?mO&WoZaXB4~MgkH__v(_p JwYNxucp?W0I%kLBG 03fW=a$YNajă40kVsVwHo21IGtcǧ#tC^l򛪮̗0095Wk98&P1H"ՐӺ[=MlgJt)Ce:kmv3$pw@hȑG;e5"ytE&8YfKn(`Z(<ıpwrWd(Ba8Pp0¾O>K,m&e*#Mb<]nR:4bХSEnh-hI[]mW iߺs}9PZJ^ѿfы9`B*D;З4h~l4YlfFdU-4Mv3XV`juGJP+>sPÚzDxc*'% sIv C[|h,rz]+ʝ\8P m^T>m'j|pס=v 7Vc}c+&ò bg-gSoTڼ??jM5M}]w?fxtz>8GB >ܙ8NSwӠ;Du9] 2(dpC̫}rafPwsS'.i0yn G4qG/5B3+j} k]njF+ƛ4p/BH$mPKc`QdH[R>!^8 F8O5Ɉ:nw|D+V/z\!$:>*~Hw浭O;%.?%n" GS$qex.~&f8>2T/ K!ē[--YJTbaߛjE]'#laEhx [ݤHrS)8ivʹf`1znZn b$46dVղa<, G&+ɮ\U)bqs@0`ciZu'9:)Q.u;ɧlQ\߯v?|Y.:: ˦MojcWO%.*E5=6 (H/0bI-īXuu!_s֓7O=.˳,irTz~׸X 錹nZܛ/JG!f Ev"Ǎx&*0M'sI*ŵ_!MF9x/lmz1!*Zk,UӲKhVtK<{vO+{5rт6ṄC u̖Ν$3P{ƛw7P؉Aj!׺DQ_TK^ W-,G{&)K '1}^! ƿⅧ)H^(JՅ0c9Ťc{(p YљʒkIal=dVa~n-Z[S&nh0,^ xp@{*VV|標=ή^r[ ͳLCS2Da+TB{eWz ^k7Aeو#[as"󡾐9!|\ WgıBHi:WQ梂aa4FDLL#o6DUm#tLD1lyFV}d/)m{[@N)J=%;bqy A =H&)@[E54Z*TÅQPC r>S4_xfmҡ'h yU;H.]th|xYx2UTOH L:B_.Fb-^M7 F:40%Vt 0y't9Jm(Ng>EYc}˯TxAJ&AF] H ϾV]􋹞 %B!,9;wOP΅&,əiw~K0L1tt7Ĝ,j~cTF,.M. &yg ,A8j"R ч+}{Cq7?^/d1T!(]oC^@&O;۩ K& lzr7BUEZEAr}bȌ=kZ 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_id236N5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact7zXZִF! M]a0{rgJ[^nhKLSXEHgn7[jD A30od~ R}{ͮľ!$/8L)mk 罶@ o1ՎVv&t "( ? 0Y}BѐQFGkQ辁w[Ƹ ±e:`+OtILҗSп%'9#C, j7fKw"lcאÄcnN+eUb"P%6X,Rf-xK7'_}5I5v#;C>#ֵicO+ Ǔ1᫾ETy75_y%niqG'mCٳjt0tb͞\8aYr+xjUYւ1D`ZLGw:u2B]6׾t!K>bFÙѪ٫\fShYhL:ԝ؍V&Wa{zt%NSΰP#$2' Qq6Yq+:]j-1>+t KҀ5d. ^nB.`5/ A_Fg=ӧ1 "dAT˵1H(Fh8q- &-rYPLYhwk'ENJ1Ϳ3_3C%`XCV};:pLgKv8VG, \.]DajyT-m[p|LdΣ1EBɠ-7bKL" {}]3FAtN2804T7aN&ܓ1?.q llڤsbDKgz:НB `gyzd$Q6\v9Aiђy(͕ZE]BRtu98eOÝvBr}MV l2IZbږu&q&|A߷yp.`|ݐjjoP~Ld LR5c miMu#jS't2l3l+Hݕ 8", hVs"{PC/dbk$]1W{lyqZ+r֣WFv{+x8_sJNBWgq0:L!EGuY=h8p_rL`Qt\)>Uv4I7ݣZ* T7F#ugOV?r05:Khr7tێX|cM0a!ȨWyG<&21AĒIJ6]sR ;uy xrR7j!eטsص;Oz>h[.`(R HF5C( t`cȫf)̆dYdM2 W|# ⮲Q^ߝ_=9CaLβp!ڀM5xEsRx)F37ZFM{~W,>^ 37wJ2~VK չJ֒f' Rabb': F X:P`(2J$6~Aua$ϴ@e۪7!5 bi8M\HqvG?}0 Lj(m?#J-1%ED. D0vAn;m|.d/h>e)<>?# XL=NHjg#rҩ᪭ bi…v4:afɛ{,?1C%qua r ]HorPִ^`󚉶JT -+BnnV9@s*:pJ:3CI CAvVdPxPޱ cND۷B#W[@>sIցsygt.:7Q.&̈́z 3Juʂ&PyUܦh|}=0jŠr n觨5s +Y m4 9Q4ONݯ!7D0DwzY6-:$ށDÌ9~˸$gVwX.j9vH4:\' GzW>SpH]fX%]#..$jb>g pP &nUhFxPHgl&;d{odm趱[&oa<Վ`OHT%\44ӗTIOLq/o5dIZj*sUlBGĬ})p:W.*+H"/Nx:)qx Mc ?`/8'5h<% =n9.ƥ:bN# COb]< ؾg"ćKBɯ ¨[QS.} \Ϳ^ӱ v1~/m71T1 ] .1K GQSeF44m̈7kp &4A4l>4G- ??87oi"PӀu uIF8$* ilQa<1b:Q.IZZD\qڃY"BLDRm@%0F Z`mS\n7R6KFH3VXJ!\a3mhA-YrICc }Ɲf0#]ETbu" Hnc ɺzgIOj!牦֩xxSFЄc͊1#:ˊ .^V`dFݠt*폽rbѓ*e,= /"\u=! ُs,c譶Јae_ϽPqȊdq֝ Ni8V)<(~4ZH8BzdVПS;790fh hCIVN|j^i|gӮeFzK(E9gϞ'n@#jrz_u["ue]q-tYoۆ^EdMuu rUI!އ?|&tB[t$%ХYH>zb#•Yę|2P&KOkt N³\C,w~6省D~N1iǯW>yPMձ?R̳N9/;v%1j2ږog瑁+cNӊQWo RUܸAW,mf4iAqvs"t?0٫SCҷ!'Ncs`~>C_AױyGIp7HGXQ)/`l(OF'Ůs8ҩeXɠ""(^q,pb:@ rw4zlsRl/JPߋ>5?^(zĎr;YD'|_gb53;sBpTV@eTz`o^}.diۥI;Z9_m᎑:mο' f\[|5L XسiiЀREyT뎨`v (,Y8`dr)9QW\G x}$mm *K#>ꣴ0qz{5f'ɳ[1<-{ŕhg˭Lr@\Y^0sw[zK;/%''hJZ#n3n68`O\Qi8a]{>͏6 **.10lVqgFJc֓c{+N7MIEF>e`[u 59ڒ" _C-(9ņ?,&26$nNۗ;ejlWUR [vQz/Y6+xO *?G1M^οBG$@9QյŸ1{vcHy_i+IJ:Wd{+4D's6y)̇ahNk.M*j!Ucqx`?{!͠AN +ےfm0 DbcNÓx'A8dj}ܰ ^WğD!FD=z4E^Hh}^zIv 2]f&"-t]=P啡BVI/e5> k{X_hT|P*ǭ}z`Qr@dΤ 2`oG 4E>^S9TP1s5+[H84|_}W1(7ݮ4G=9꼥PɆ~SXU؆bb| Ԛ_m܂#18V򩳋bP㕛S'/B:zqp7h!P_: uS]!FGrC H/z6>= ӱgYZ j 5W' DHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF!  ]Άxʆ5.f-9 rq=cjAi4JEa4B)gxaWR΂mAcឳw2cy@>"TErBS2|g 8[P /SvtH@zv2}Gz,5~]E-L,jM 8p.kgo~_y:L gQSTgnqsX۬L AWᐴgmz6e|C@mYh)MR`Wh[wϿ|O9J~Znf2l4a~(['?ׇY@1PB>W䎌}I<٫Jaʒj\eh`%SܮW 7pTXu`M:MJo}bY[B9.Kf8 ;Ju 'ig3-xZCf"7%"Xk>@|r]19ُZ1" )[Ú0Qe:[^BXa'PFckyK !k _`g ]wxZbEĻbvWr'5dc9b%Ԍ`,BIJiy)vÔt<~cIc Op31CΫF4X7˿B|PE0ȗy6ܚ9YP)~lĘ(aCT9|<ټ{}iv6!.ίWlk;/f[: $P͉KfhFD~ a<%b}4 _z ioOa{\SCa5؋jk Cwf!"-8N kʁVt5^Ki 6 jg-oLgK,1({3DpŊl(Ak?> BR1~+>Z%; xi<pԦؔ̓rheXĝ4q/e³U̅B]jq_Y\!]3><4H[V6hʻE6;r]yilb(rg;De̹e媲!GۼQ.E\=y#bJzm^`\sON.#۞a,ԛ]Y}xSErD,\O NV8P `e46S[BZ` ֖(>\J· ݹ trı)μ܉!mwTsZ>1ZO0C\r֧oGݾ'M 4fX6KT& Yau҇*Y祍O 7)rNX*ZVX?!uvI곫+ɐը>vl@F "?2Ltor!l3!M'sZ.:ļs( 7o'T&XHt>#ofw.4#)|>hRW`Fs0UcoOO"fweF[AmJ۪M|l6 vvɝi>BXXW(Js1=sb(a$5c|*eG Ȟ:2IEd?di6i-PeS9Xkdy0T|Iݢ|˷lh]wS?eS"ۂfH8W "1m"suAc}aF>HuaZƻ;;2r`E퀿&_Ly7M;5EtI QxLȗDᛟRalKA ܄WN%ldiR+[GdN2S^BߧfRLH V["?A>G:QC~l|f`vȏ?H!;۪27:s]dʑ};~)<(3Up!T=[\d&*8_JYcu75Q!5\Ӓ[>78 sYv ̲|2!'Z֘9[ŏvt tљ\m LyČ, Z~hITVtjOQF[XmG F(إ'G+b۵ hQ2m":p&n>7^jzw>5O6 z09dxBL֐v΂ʹի7[6qKEwDDz &))B75  ,gD[{0Q()l9ֽEuO  x1Z7`1y:nÊ jgoTȡ"(x~K&/G}%9)@x?MwskJ_`FdqOȻa4-KWs{P`F`!5N2wz֤gfx0T;^Lh"R }8"~fE8"f3agYZߔ<8{vM{F|Od&3NԠd pWơJGG(| {@gs t8Cĥ3 $Ty˧(;N&bb A[p&7T/1L-x,j!CтNX޿LooAPey'pŷ62}{s5QSJߟн[hu@QRsݵ%,FaLOz>AvN7*O4nGPz 4Bu< z\-u;W=8$ÁJ8:a> p g<.W ٞ|QShIA,^mDy4 F&^gD/V-M;WVAQ]6N&2U YSI=ug,YKNXBD?bo DO$c4;ps4J#tz*܃l3@U8SZvG&*O)6’^'Kܴ:j@ Aw3eJJ9Jq>EJ6x?8n<8ܻ|q<ͪ娿B/C`n w\mrq}>`-ȋNR~2gEqDΘI/us?a %g&/*nP]j43(Rp@z/+\D )R 6S9^Pɐx`tj> ':w./bRt@Q4}ߌ逃 e_VOl7)2&fWGcLw֒%QIW`뻚=еAZʹ?Sa$bJa˷X4,Эhp0[Q+`GLa%EK&?OnT!]O~qu}Oq3Eڛ>59c2OlQ\,䍧53Y% +Xdܑ2A MB6a݋M8&vàO V6P# oX}sܙuPrZqP[. )zSv`ӕ \塁l߹EڙCmˡ,G8h> 됡&hs[HCl((LPXΤ{Y vkv^*@>Q45Z_ƙ ܕMdVo!e fx CTlxJOCxTEowL_j32R/j|n{P;E&CMlx^U:Rgf4% ,J4>$ bgwQ.ۛF S@ STr«QXsN$WrH; 5 Iܕ4 G*ނڣWc>S J0Dk% ێYj|5 SԴ[S{ 9y0)\:܏*65D+Ss+Gk/3Ә2 ^Eم̊z/g<",8P2/[$OlLľun@ Yz m^}Ū=RT#Aj+;|wQ9Aͅ63y}G|mlqWYIrv{ E >DD>, b)@?*|vY.G>'*O#4jqڧY휽]GʬE#S}0rw7 QQ/6&ث;'^Z+J],TxK6|Zu,ᭁv [l|^%&6y+߬ sSoߥh`C#jTRȏ+!B~>18]@l ]D1K5lp̮wBj!VorׄȾt+涵EА{g#J1a;v1x|*ui.s.7j{ФI (|ZO| G)n-1 !'?H%&;5g<)ҡmʀ#2⼗-43hh4x^,"h.ʞ2^QpuWʘ3RڅƙU*Kvvi>P!nC#Zߋ|r;W7 :?Duuy.'Wt^K`. ]j.na \t]7-©ՂF.<4ءZΞA-E6 j|-y~ӍCSتx5}rUN(7Ԅ?4TƀuB$$DiR!'APPg:=`dМ;]_kt{,Wr~b[#2@?eh' 6gywltu&A(P"w"Sn]$' PT hs 0ꁦ..x\`Y+[ 5e &_9Pm.GBt=sBwINce!R ̒ Ƭ2Ap}3˯.^j .vhpD0U`ޚ'do5ڸ/'l{s~cfogoR˻e\%jt%ͶI]ɷnu;%v,D(jRn @RCޔo+gWQfط}ڗaez mkĝ$|y= %ߺ`nE>e N@қ ||柲-kK`4>VpeYmW.ə$Ѣ8yIl[Ŵ0 s?y,}ٝq S>UwGל̲>=%1ͅjĕ>jϿ?8U*A_{DʽěXe ]i|?3!ЎCN J!b.D|,y9j0z̙[ 3Ҍq@߇4YP 2Fx,b*=dA2aQ6e:@TL>EX.YD!&d3*2t[{eLOMׄ+-ILWv;4-) Xk=$^fyW͍'L3Yÿ:_WZ1ݖ\O͵3|Qq𩄘ah/~ 2#bJT;4ǽ5lG+0O22'+&_wf@}JzLZ?#4ʖPaIA~dzPE%lm:(a)kј|U`79!ca +5smOǭ#_g>oMBoC13EؤܫS]}G"nm_V?Xa^7XC.TnJ k ,z=)Ec3lmO}Az'х)[1bHO~TtW0 i䄒kvJonTyE,)8x/ZC_2j"1)'oZH\?0 (wyU;s+[ƎSwb,i̕ʊ)-v [wy Ʉs*4pm VXOū}IQE3"J&ѻ8x"Hd"jl=.Ή#<+#L|[aԇq$MCr<B[zJ^ O2Q4<VF:'N{>ݸl*:9b*J/ό GBS˨t3niWۼ QλA>.wn Fgo}6-b}? xFL¤,@kwІꮐTWI?#&ra@*ca&(sT~iJ }l鎠zs :#伉(@+b#{Ҽ_ z$$ {-j+EwtuJ~' 84 wGHAU 2@ t!Xq3rCEBo@D(?׋kG`=Z0Wtq23R2XC Nq@Lt{g S#x9?RBI4o#h^eL"6Cڢ_;8gF4ҥ+T4/-T9c)O't)1q&sqQaGs!_??Mvbd.k`.wC+B\Ceb`EЂ%|2_߁L0k3DLGz"صB.AݏyBc=/c%t"\tr ^T_ɸjn%KYY' :"+ݧ7L8ܣd^i&ַ.Qg iOĖZZ<&*|1}QF)[yn>m"Ozd.v7.uCNFS-?E \37M> T=ʆm#lk!Ob1yn;/-@晑u,r[ S֌b .`.}-!P`rPE 34eQ@&䣇d:E=WŔ _ZF|ƗU-HTYWM΄=RWԁI48Jy6'ِqdR$x6+3~]&Wj;X!eN0ft0tRU:/|1&6jo|}7$$.V*¹ pSŠe&xoRT~k\X#06nE-$S*v9nB>qsS-V" u+V;A[8=dcbőX=fZc E;ocxO;`w Ony MŽ#HL#:EțKO>vgl P~K!x*:F@qF#lD>ӳ&E1B"B}@D1-n)fv fծ 7-I{aEcG2*v 2>~|=WМSNzK(եRSD}%B}dn<i*xy+;=2 JpULū@M2z (4Q䜥Nb$ٸXum>s࿙Q#CSl~ihUmϻgm-߾2t}e!!fl+ʦr\p ЫM@w]nuJDIF?JxuIg//bqW{EḟQp@IFrcKξrfbsúǑ{|iKҘ NDn+l/hנ Z拳9%HSw]8+nʇkHI\9/Ne(!q_0r֢W`rJEquh&gCШ^ܠD0İpSdo|*- ?,HHZa_>I}i`ϱ/o}3 y5ٛyW:ߺ+K#H;| G$:$9.Z4%5S?P\<Ы NkgYZa5771d28b5c0fa336b94499d7362267bc7c1492269aa70f16755536fb90c293b8cf6c5f43ac275cd 5f526e0100e302c086d054bebdbf267155c91c44