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.887cpu=213.924gc=18.7217zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)k'͗3\4k#7T/ oؼq^[H,^SnM70,ԔmSTd%As9gYZ7zXZִF! ^P]ŗXiɟ1_sB2 ( |Kln/h.z¬]+~EqB'hF#;Ï(<%Il_}YZ7zXZִF! v{]ŗXi%Rkl? Ѥ' 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! y]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;ZZuVOX((C5d!H@S ]gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Be     _ 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! y]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;ZZuVOX((C5d!H@S ]gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain 5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! ns]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)o#ӭY.)j?8!!-|ͭ +9a mlt/y\l j~Uo߰ȥHGT6Ic㖂Dž)htPIIXZ&_G"8%q czٺ^zhOjZxF<>U纔]E3AA Πc^+q%$!ųí|77n'Vh{)\s 5%6wfkF4|@&Ʉi9d1S `~3WMaVs5pol&nn rS& gk25>y)xQ,+ʹPgF\ә%6,BJgQS  \ʱjgYZm/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 ej c #pǙ?x(%jH(D _eZxb*})O#Lvpm0ƘP=n zvjKWWwbK#r5#[o6݇$wbU ڋ!ȴpw8&D&,+$! 3 & 1zS{GlND4b:5ݵaQj _pכ2jAϥ 8`3G͈/i@o^Ht svR8>휨:4ZHi#90iZHm{<}&m&}MS(1VJ&ꚜK:jMN{afwZ\?UrRnVQZrl@C'ddx|"jcMASn$߬١s'h' PW^H]Ƿ*w8"&gYZ z5W' dHOL-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 ! 0^Ɩ҉%3P{״y};,뵤vY2)`Uݟ;B?՜kmNZlz+%h9,\:MgweC;/s-`EiVq*Z8P8L5xNT\Rw6O=6&#f>Fp'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!8uA:) V_{} ]d|Wi7!ZMZN-Kˠ[mxޙ䶃[|<4ǓmB>i7?€GGM E11BL*_-'+l2Hvͪ HxqyHjΜ}(I0״pǛ'CHSL#GshGyj^6fii `J,x1?c_k0Y ]M(`>ŋʎ`-9U,$>3 9)y %(HhͶiUĂJCpA[H2绛}fy,%ISix;(㙄s/ֺ{+O"dCGe7}GA\a%y ʁ ~ˉ¬tc ~>pG-LhJzgmĴ Mq)[J!޼eQ7"@bNg*#t{W R\*|hMƸzB~Eѷ&[o&X.)f @b+s tQDQo*tm3Y6{,]]j~֫N#]Bu{p}4\AL=eYG /ݚ`uxڪts_19J~f~mk^t5-RLY%[b"cQ*,g!WKܯ^-NXDnay=+]`4ԙmH3r<҈Df]?ԇb"G)T{V7(6_HMaWU'Vd7}?P z٥IM5uP8nVlpT}FO%#ҡ {S+7RQ,z;۝(%\Х|xh4CXWl,wGy]V:hB5JףkUKYO/[CW6 I?})vLgj$ Xl_p0ELX gd=3/FP֣Υc6?xeXZ6p"0;аôg~yD+/-ݟ??>^*Js>u m )@T 3tOsWX1;tb=Fx9qsrN[S|rZ=+oie( ̓7twf%zhqV}ĈWsjozN wbgZ^C@?#N0j@?p51|E .~o _QM]1la76*gbX SPv=n.6 [KDy ^[hyS]G™LI|ʓGgb]vZ~v**c-jރxwbR261ƻR\l#ƜUbS)<Ʀ%Y ;<—o|г$]L壉Yy5ͧЙ}JfOT>> @zlYUǁ K^"SǦi ƈS3A ,זQ.g_zdxRWFn$qc\3AQt)щun1]- 3 A4dNo"7 b(DDV@DfdwFP9 sxړ:ex9'3JuI0;Cؓ0u'+W.aZ 16pSʬ67Տ&2x_K 2kUOz%EG̎6i-wB0H>:ĎǺ|,TTK3Ђa}ew4y˲p'ìoY<Ճ Xc(FJ-͖"s/H}aH3< OsGV=6~v24I[v, r $^ ''sMUb7#;5&F00ӆ»FM9eAݮҧ8 xmIѩu(gȋq |.!nΨf-(S\2;Ck&R8vJ梯:c*\*xtiP@ !Hi0>}]ɴeϬTYt\Rkgl@_12uAb^)9] C%vCAS0f\'GV cY#Ĭ,3@Xzd245B %[R>`Κ_ҩY7K5>SyĪDv/4G[,'7Ꟊugjxw <̰KX'"NcJ5T&*;6F DԛCe;*Kd៰a2z:űɬ5\!$νX{zTdk{^mT&Qvl? |ur?T &fF8iSu!'ԲCٙ1@3WA銡-q,Vu@, oz$J>H>Hr杺P#zl*/]}! -C$j~K KA4K2ʲ:J$WU p}עN21 @aU~)S2zS ߖS~V>Zؕ~{|%d;>EZRB \MNMz5eZZ  M 0@@TU tb hv$ZJ41df;qָ|'o =(;?61]R/߃-!]APoW̗7"ܢch+|هçi1@JT^g~At!6&+įIHQ&M΢x֪t:bC'a5}NDd'\W=*m_BI!2Z=8B!ˆ4Ra-fvzfn%A:ary5_dp%\Й*Kbyh(H"V) ꂴa> jRv@1d%bSn:}4r2p HQJ--XR/2 oXPZڒ̉b) zEXGfWZyi;[mZ7p\۫^#uXaGe_OAoe*僛9zN|t%DiiYs_Js˗[9sKda"#L]W*HZ3-"KUwN@Ԝ}/D>TDY2"u$SG}@GQ|!3 B0m(^vh}o AO۷T';%Neou9FMt&(^J*}8ʺm$\^Ѕ9i[Y@{9e+ {<[DvdOAԗhOG-g ᜲ2™`ͱ\| 59Ib,3U?[jL˄Cn0jPBJ >Fz@(/t^CjƉ_ 봠nń`z;=3 Urhx3{ˊCMrY" fB 3-w b0>[!g?f>{m֬]G^՞z(Z#pagsԳe.1;/VZ`]KX'S<` \`pweN?';r%VYB S($r+ڼu}~xZf}?v~|wAcӇqwީzdfb:yV\:oA ۀVnʼnW]ޗ/v\K'd4cYy" }G we39쭪 ,ƢفdZDTvD\κG )hkudQx>Y4xǪa>W.gj[񁗽y׬;B&2:ߤͨrXLlCJ~pF}Z+`$cvqM9sj8=yeZ.c߶#e7ê(g^-)X(n,[ad w#/+|cg{[K-u9'o_-% Q5mZOc2̓>S~6A[˩O p q ߮yL5<rf5Pn-Uۖ[uiՌn3^}Y C [jFo.9A_kO1N@G&ZDzL7ae̿:F4@16XmyeJ m{mWuE:À!h bZ>lFqƲYs6^XK X`d8r΋H* 0A9K _uʶ+;S!W Y1>m0 525xz)+Yz7}AcoF ? Lopc#Y֞6$\3 7ǨYmI Ex9PAG {kڠwyq撩Ϝ~Nm\ԍhUf Pw*7fyQB+(:)~\\fݬKn{!pz;:WVT! V_FǩDunP D4֧z*g L@D4Mz\?W/XL2x=rTV귿OIݬ nX?ӱk_faIl$C\*Zz2,JOҔ/UŚk~j$ h`˨Q3WzBTؒ mTwuۏm;X!iX'26`\n1*zYx,F 7Fڰ.xu,gFd:UGFkd tvT±kTЈDV~+Y'p~c0䷾!2V5݄:\G"1bnbh!k5g0Ena&̯go{Y cadpYޡo~Xdh|034i\0$}|XWpя@o.ŏ   * 9 kha@cl&.8=Iy͎3%kC|[j83f 8,#iOL6i$Bهڬ_1+B 4Eڟi_Y 6P`֬)w& ÔQl [Z3v9\^|'Eu"g3 cϔZ9~F#cbKk٩0F\ 9o{j3 0RΎnu":hk׮.|wG!?HkYp0s2u3>5jk.gٹ>^YdL0ޥEIª&B Z03w3]v5I+Y\bIDV#٫|bL=zuhA_Kz}/K7B`[_VA *lTtv3*uN`h VwO7.7k:s,Yܫ 6̻rlYzy¸D'y|3XDj+<#7WQ!t\A*i(%l[=B,ĞWDm` -")aX$QtKC}K (cm McN nG.niǪl(J[BݬZx%lZȇHH?\v9ҁ0HǣQtH&o.K=ӻ|/)KD|eQ9#&=`6H |O*M> z7~J^B =&v K U\i}WF{d N(6_c5pHLY4Ey 5Sc ҘoKo\09LatV)\KW&]vׅ=.0-ik 5y7@6OݎWe=:9FMd/d>z3Sq[D/ k {@d#fKߊEI tۓ1HP!ꅶPfˋX6̞Dxn pQ[,X!z+EVzKhIl728eb**怃wOPluޟYQݾ3V7}ݔ־Ľu6أ: 2}iWřVmm4[l~={-+D@1sE)ac] uc>|Wkݞ`9Kej';6 /QuUw ]ġM+ASF}}=,p(Pg4 rپʒ%> ݩUs|N~a1#[ k42nt/t|}7v"&d#Wia[+u8,YR(/+BTHEڶNH_C֌{Cq㍫4 .q"]"8CiU^$߯ypPMQ ~nJ;Ky!"^;_k#-5VLo>gMkL/jJXxTN-U1wWe_љ? \`ڠ ގ~=ȭ/NZ`97eRۈ#p We<Q@|xrylܔ.ɖKY }oRUf0g8Q8 '~TJwE<^8ؿ6\>@vxOs@k@UB5!*Pɵ L>TH&" '0& N=19l-#u,Ssk y2q*06ZXd`'!ܪѕ~\0父š7_P4XRg¨8u$QLY6ge(Zk!B<)\i,Jyr( !Es"LrcE 3ոXG~JFi8yέ.e_aE s9A-c WTw7]JV|9j.RF jGz2Tq$7aXREg5Ǐ/]jitya3F7X&FHz6lbZYC{gWxq)H>g>f @䃪1(4ϻi"º\ [T? iQŢ>rR?,UqbI-B.&kZYTu´l[͒D(&D8t4o>ؕlԼ6ȍwczhvI1ZtCm6PJb-qqv[Cj`%pfz~V9fb!s>|$k/x%k\#>'l\FDŴknQWE-bn5@)1Q_lrH=zYMwqԵ `; +g o/φN9rXu#V9PȠs=>4iaN5_?:`!;A@I^$KL6?%$t"|Igm_syDAk{{uE>O><ȉfqj-EOBpYeqWJ:r k`';s~>p8;\p,:DUfl{o,6P:B>VM|W)p)>[F[zy%"_|UM?"]Fꦯsnk5 3,>%C@lZp~hQxvD-,4ҍ]uV$n߬!xB[= ĮGi[$CꭦQWp7~>gt{粨nf raAk>Qy0TƐ2`2WcFvj^.W.EQS>6+nI pl_w}i{Uщ3urRR6B@TR~Nv&Nz˺Dx2l5,P<vFJFGUaAޗ@< QG 4yv"G_d O='[<*楑t5T}@3pXj *Ϡ*!N@o^R,cӲ12 ه# G|޿qh ܀|@$׮ (i$5.F\:[C!c]6M^ѹ^_K߯e>3^Iz{&~S968cܩ27k_,8O/?[z?:V$+969!TE&"j 3ә[QHc1FP`YߗsB˝8sXf7Qm^75⑪^VMM+7:;ViyED 1v4q^*4~a6rYʾv(?i_H h6 /G#RN  O97K*}KAhcO-+"%!xzHl{oTpy}3%e4iCڱ^'V!)e) ڂ?J0» җ.#< z:n"Rc]wE]%UGCMoܣ?˜Qg^0aǨ`l0߶pIS#0a+z$ yʷ=!]Atre*ef>Yɝ_W06|/T.ȋ=?prn?IHD5,'y+g/U3d ,{';J7İmNV$; CM)rlӀհ-dTgO'kU : nKHꉯo_>C>ی+Ŭ@(:n }T ?yD|;k_M_q'Ît z31)M;R-I\݃' ygb> aGPl~+b&7TTWH\S_?5 賩sڃZ?2> +75?:f`t ;O%".tjq D(K \SP&i)^oҧsOx/ZC z"[I##uKct &ux@),}A WU2RD`Q? sh6 Y$MHрCw>2zh/k\xS)X|j&p&H]/pC(g6ʰx*dHm3/4De^ƱH0z`_OvsYV:ek zZ:p!'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눘GJCJJfгd 'YK(y3=s/ХBs8y*yN67|w5qEMt0Կ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̖Μ-3=kq3G4wmh߁:8_s)i=6 J8$buC?x L 7t&9#hcׯe{ ͵Wf9z|NqrpܳS+8fPl'2u2z6G_^HZf;6Wu Gн8;ȇ$=o_ߐΞNB9 ][ @W1w4\KiªK ~!clN!N$ұhX܌4U(](h\Y5^ ^iٌvSdڤv88 7 ,qCBޏ(:@dqQ3cXsh9n,4 4O t]+K^!Wlo:@mA$E>m2T;\)9HD)ܷ^yH#AiY)G B\ 3IEŖ^-@pŻ'Zέ'(z"Ԣ4$A=S&!66PI#Nz#J;_&w XY)/!#߻^ { &^Eyy;/9&%rM! %5 ߩgYZ N| 5W# lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Ep]ˠ)jk2p O6LP=͵gl5eϿ>+}{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_id236R5W/ 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)<>?#Eತxܷ0b&M֚Ꮸ ,= M uࠄA~$NoBh~oVD`9R˕/(љ-pk8FDr=K\cz5~2EWv3Ex'  ͧQpdЭެ7#kpO??+bszvh̬Pd6m׫mHdMVobzlft-mdŲ)T{䡻[}dOe.y3-t> e*%1ҧ,mcZdi霳#vM"7V$Íං,K ӺԶ rml5$fB+]\ߦ'H|̸ҾeؔzA-Lk:偼@8 hE*ǪwH!ojEm-GK.B/8ᝅ̱J J·>D=JM-TvO, i( W𩩳ꭽ/a`0sN(75 0AįGr:( UJoKMUM|.n#5ڡZsvi/*xM礜s艙;V&se嫯/$RDqСME< }>x|5zr>Xx/=.+ۄzLH=h. x#%@s}MPg!M֪Rz*ƹZ#F'@6p8]#NgXܬʅzYɿ- Yv/NQNbB) FOz3y}p+V~Uyk\ApAk5cࠄd26 ;El5AVw>cR^!"nRV5][i*gPV4Sq:d)W>L`m)Z܈ xй->nP*&ܘ1C{ĵV}3)KSH4ch.M=qcҪQ. 1zFX8\ Pى6S譞$U0#DYH,R T݁1`7 ׃'p$+>:4U"9́=h#ӍSfʼn4KPU'-9Zo/b/T]mQW8grl.mQm)V*xSm݊bT;Wt-0o_ƆAgmHWh?Xݾ}Vwd w-(HR*ΉDNJ7'~pa9uFjo*D?nkuUK H0SH"{VCJ-8e^}Ԣ "Tjmr)0sc{ˡ6yJ: 7X"2^- D6 !'2O^sߘPr=ٵPC|*a"l)k[Սb_cErb{msr4/tB4$%0"lA "1BK\a'ju9j"wDjM>]|~_}GS-d&p4?~w gIgKtr ϣ-'ugU;*R V;'e'iZs'TxaqtOj!N'l,@tǯ>Ah=7ϼ7 kިl h*`d$L~E4ݼx4 )S7EZleպ6@A ̷}Rz:Ѕ0!&v6%7k$$`V=k*;5|ZXy)~O~~xc˴PNhjuM'|0i$bkOe甯 d<^Hࣇ(<dLu4v%6 Lؕbq_hMM6w4Hn?-<?$oRg?Es݅ 6}k KF3.qk'K_9F_Ja~Z]އ7 iA B = .z% Z5f fEO%8^"b!@ Ҟ`f8Z؍}ſn/DVz}%9., _? CP#XΫ5 Ҁͤ~crFw!AYK%t#S7Zܻk֍p}Jec^5dLHW5T@(, 9醴~l Z/ `s ԘT,5nz_T|G~}>+NIH7GrؽR{t8G#ӳGbK4imE:Df~%1Ds(4(碑¾ϵ|،y R19NJwXBJK#AVdsp3Vab{5FD|*gg׾7aD 8c)%t)n|}6(gD5 B`_Wf"1Rezzų=Xg~vsa72s^r ckرgYZ v 5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F ]Άxʆ5.f-9 rq=cjAi4JEa4B)gxaWR΂mAcឳw2cy@>"TErBS2|g 8[P /SvtH@zv2}Gz,5~]E-L,j쒻qө  Iѥ:w,Z2}(G,~lqF10QrDOt Cyk4_](g*`QA>V"ö08;⺇ =y1.˖Pׂ'Lcvl)NK2:(x" %ӄvMHڱjkq3jVR  {H8һ8grUen Os%(6qeb+{eJK.sW ė.X(]FŞ ?($c˽wS} pJ"k7p{':A/< hQa˸A[.#.mnKk6dC|g!\(ZaT#Dsξ О]kIacPCA{J/q\G.$NOL& L*k{}"9<р1$N|nₗ E5X75^s}=#=xDEZ؛O$EvbG8 b\;^bG6,Dۧ8:)10+?9WJD1orMsXcK/msTK2!ZUo&N _pMT jWhymkMͳPq`]b:>=hxBܿUre1K[le[7ϖ"B1Iw.IDJCك+P ʐˋ'Ǯamc&U[UFGg1(ܿm/vCcӴzJU:]="{NzSش ?t4^V2K6Tq+c\&RScS;%.3\7+meWo CZna5kZwPѾL__B;$%. Ln2lgZGP'/$<1 gveZSLo9 u KxNLQ?ٮ̗W6sOb8U Nw.,@sJ)yvV6(FG ElJz6v50Qqޯ'M5S(00mwbŐGSϽG2'DEm>")YxsAnnSImYp%O,Lqcc7Gq3ގ}L8\حQmn {b(cw%s2fTQH9q$jlv d0Zm?zÞ%ǀ)'`_kOs;Ǿ 8. ֯6% 5D׽gIٗNɗahdB%؎|ZՄ`'>՜;t6huj[c9F - uf4./$AC!0lgt+ ϬղǔvgYZ*$(M^Ǫ`a܆o(NҚ>];RYYqK8%&pViXOSs (5&%:4q?-i%F71|#sD_Dñx@tHAP7/)|'ndmU=>%xvb6lz+\`ƅ:& d872.]ܘ0{I PѰ6ˍNʬfhA} l[nN,ˍz)3!7T\EK𕐪x}v)&U"=y4%NJl#R7ڀyxF/Ba[3-;_:*xv\xkTl̗eUfDnp;lI<# AA dsj`)Q)fҩ"QCJ/Л ʊjCdzU 0vu:pֳi Q3ۄ7N Ci 0YKD[DVJ\jQkZ ]b<1$nIQ͗cЖ/_i4'u*ɞ*ӹ+` "0i"xͫ^ޯP.4WY7HԑKww8/=n+E{?bFH-u귟9O#9v#;Gf~)1^BH@LJ]׏8Qp5Ը XоGZ'J(~[4w(MŨ)p/d >Ư#rSp۸ Kep2^KhYNkú')Iَ+V*7 XE'}N$M-W}A{҂(q qN]_E ?L-Wf`ao(g@dx^7&CW,;ZZ oKSJS9UG:˽R ptRu?0}CkU:K eG;@5l7y<:,]uTQVUchQ5tv शe` )&ByDG]jS-;!O~އF[KI g\dɛޫ iҌ>ؼHǥ~x ֆo<9HYtH#)ǭKk_oU*>u )=$y<.f o|e}0u:imkG~ U|qǹ^h`+aFi.֡eITz{,уy"c>ʶn~?BOIHV1 & ţ) Pdv729\4}5y(Z5&3q7`{-Y@2NYKjG\9<]:7ج/6T貢XxL%̛h Lntl$ Rw낗\% EP廀8zM_]84:hȆdUƸ[PɃi9W8B:rC:G홨 Xvia&o1Z+މbЗhD  <\n6vO^^Ji*YL*ФtoEP4F 09^+U mg ̢[ 5$w dLP-ϖ(86 Nz#YMzi+GG̝2jR3IT$?_&@&1I bץز]SFܻ]9Iܫbz%5fF,؆u;1i`VRݏ!ѡ5^״0Sܦ5q9ِz(=K߄(NT=cf&FX(4,i0a¨ iLXBc؇W?EF[qXzF`Sr轗B96E'Qxu$4xNRY3 LĨBKjX!O;Ems:lhv]D4ܵ*HF@&tOBy a~jl{l!J7'L /G]7lT4*YŠH2isNܷV:@,XR˪gp)nM+|+Dpx􇰵4xFe)o7 LZ9}6!7N1.R7:R,1C|3B( Aܡj>Vb>> e8([/ygw$IOGSd*F=9~oj* mENATл1 %Ra,\10DJ8nC!> ~YB{G̬G4!QB~].Z'kɳ{ן0=v{9mM53Y#APsѥdmvA>RiX1Z9lJQ̽fZjwͩu1ԃ?r׫n-L`0n\+'[Q]i1An ğ8ºlpa7}BRe!˘QIQm0^\`ϕNK7h$^Tޡ9DjKLDNH35`G˦.dRE:p HI}ԵIL,EњTṿ3: XۤHJqc6GfdF%b׋JIk:[?O -̲n Rhm.+|tCT>>_ Էl}4!}16" ;WDGSUY&fA%|M7Ue6ow'F Jzc̎5hp'P17y?zN7PZeXh2zR 3L2&V7 (N(A 80I pi+'nc6&2HmL=6{9WԊ1 qK&pUkH!W4*B bҿI-EAeGC4z}G-!s̳c*Z0]0*/'Ҩj`Izw*8aC_{L3+9(ԣ4Y6 mH9}\_CUHcH@W: 9O3P`kj}Qź8|œ5WR :/8f&]7.Ǔ)ޱ咎z5kr?CAي\l-QN;H//TPɥ8 bfHR@Dۺɍ!U u:/&'ĥI fB_x6{%ޱ+U.UY:KK Ka9 1#(S>N HYYF0ԅ4ˀ+]w%h8axn [3pM u^<]pfWmpͨxH;rߪsBPoLw6$"-?lboo2ϱPܨ!ΰUE@Ew] .,Lsx9a*~&)qX!H;8\_AK__puV~K 3jF#"r{QĽúU"M4fn\:Bs[(!Rhu^LXE\*B"x޶:7KOK h7C,SX9K箑(5]na=T^Ct;zgWe+Of󫩵/m`)Z~J{N!yF΍^w"3Hm5:]:lK꫃ ԖeM7&oK f\.xgp S+/CHTLS./SJx%YR-A X#E#zn{DTsY}E] C2ٶ㵠l%6Z$ViX Uv7b%hRs sQdY]MWdmLڬf5Mۭfp=ITN@Ӓ>9:k̳T ZTla֝mBs6)ZȯŗQk/pxCl X*8+ϳ8r1]mﷂ@zs*q^퇁(߭6MԄ7T(2L΁c??.ȩKCnsͭ5ˬbb%[ ;tz(rJ9C?b`1!&KxLdWӌW79ؘK_|ߞ$9nԣY+@`:Rȓu9·W\!:%ܱ_- geRgc57D1I[u9,OJzY143B'y‰z퇊]ߕSa٢=EӠ 4e8PV3yVE& Z݉^TuCবX?a*6"kB 3yiܰ- $!˜T)VK.d7qlr_s/ɚ<yygqEDURj C7XrCvTu)0G':?+( K 2@!w\OsݲoT~u~^5vdQ`rJ&g+Spf“w 󁢬k-kK0#B۪s_-և[NT )25 U~mXzY0#P;r#W "!!K; Wʸ, ?xẅ?5)0Y폜CB"b|Gl <@j&.MV؎-X/X7.@{BF8E{wRsZ.8Jj]UͫGyM=_Iad~q1]XD^>Ü>vZȭbp t< +MU"L= KgYZa23d366de3a2befe002bd2e7a81ee935153a206f56380fd32791656d7213e55463b58d70b413643f 54ecb3e8fb88829d4b5afb0678ede77001a2e811