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  D D-5z4$| ]/ HOL-Record_Benchmark:threads=6elapsed=145.202cpu=238.885gc=18.9757zXZִF! ]ŗXiɟA5qbh,SwV$ƦޘLҸJcԯ,pAEe)6T4zDRcajЙ禞Vdq^ 'm;r!T+.F3n{ړ!]gYZ7zXZִF! ^O]ŗXiɟ1_sB2 ( |Kln/h.̘ټ$z ^׷a:FM?Qgټa k_"K[]}YZ7zXZִF! >r 7]ŗXi%F^( #ܲ/X[bV.ҢqQSBIri mEV|:>Idp=.N"nZN0X58qu؇1L`<tB#3A :izKnO4d}iY&"x2@uK]ΪJC1nK 0vs]{ArB2 &  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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'wI+p;*!mI@R*߫w(E!Cz+l"iع@E94}YJTU͌oJ-+&R7BCj>y+;NQ*Pi Ab#`V k~P#q%/a "aÊ >O vBz,`_w|GsŲc)7ONVe/{.{-rG4r۾kc.o S)dw.(=Abya}ʶ~_=;&R|r.[%Uqt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkthe   _ 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 j5W% HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/types7zXZִF! ]a0{rgJ[^nhKLSXEHg wLΠ D<hⴇ%.V~b$(]]ӼCr'wI+p;*!mI@R*߫w(E!Cz+l"iع@E94}YJTU͌oJ-+&R7BCj>y+;NQ*Pi Ab#`V k~P#q%/a "aÊ >O vBz,`_w|GsŲc)7ONVe/{.{-rG4r۾kc.o S)dw.(=Abya}ʶ~_=;&R|r.[%Uqt7gYZR5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain B5W' tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts7zXZִF! n]a0{rgJ[^nhKLSXEHg wL/BRɞc4zFL_8 G!˃I=v0Ϥ6]WHXepȲ4tV^oM/<Y/lH ujo+S(~+q[;LFVYm|vftBYp!#e.  k{T$_)g"(_>225) &YxL"sKMĘaz!Z";F{&,:<ơ.,&^}t©0c# j=aF^ M+AhfP ^ bOͽt糍Rm'1-σ,yPמ}.->m< O^7Qy++OZS0xfJ#tpSK$l3EpS6wjV3W_2'pI5gFNѩs|llWVmx7C>K)kֺ,HEJO6@#C 9:L$5Tlj1 Ml&7C =(͝b&o,!V }BT!B#Hv[#$Ho$a6lء&/qlcuPxy!0o},oF-e_X)::REǧ)iۖw?^CŕIgJ+iۢ < :fA>gǰGl5KI V{MxlD:i .1ܯն`vcN ?>iˋX+1qJ5lI eHRi=x[gz"lp]{Zq~AG?壳a׆2b:H|ĒMM԰t MU ~[q#.[Raeb> ځ BQQþHn}eH*vJ4*߼uKdv3g,NsVtƸ΄+tM·Q^ǝWBP1p= &G)*U^)B ɩ"/Xq=gR'h^6a`t/M :sZN^r.UqtqBٛ7!.|R{Sx E٫dc.K:x'!o[L2[-"&j؝[N>つߵ6S }$pōm!CxuŧWȲ@,a"\cvm9$` DA <+"@q* 4ociیXzef] ^^ʸdUK҃{Pz_q : k3dtR( xd;J?;^ܙ^5gUv˝zGGLlzb|I,jPG&ių.{BҴz5U\7Ukb"&^-""P`\2I!Z #coRQGj6;e!ak4\oD.)s@QR (֘"Ƨ7(cyVrUIs$sqkaܜ1 '7>q~o);)7'\{ic1f)TGLElP/;YH#B o* $q|| >_`. ~4taw[Os! Xu4<>)mpmQ wk_|4#9g=k!Pi\[l~wu׏ .Aw,۶Ɂ\:X*jk$v;\@^|psa LA/nB^4"3Šj} nsW0#@RuQiљ!~ڨ PefC?;Y8 Z{Zf;Lç )MηXԵ9K $ ܔ#^:.'<ęU@i'slkeޙh.1פ}O4BL>{Ŭ76:oZFC&EM`o&UP*3o'v\Oj YC<}zRr.#E%PŲ{Fӆ& - kJp<-Ih@UOhE$@uѯ]V~k8q'ςy } ( Y|='.0b]tL; ^2~Pwê>vt (Üu瘠v+-#m\c]01I~ цsWgV]zhTo-XպG[*7g p"% +BEoTi({qV4Ҧ=煚bLNyƒx T˙qRm%YԚf=2~9܂vPpk#L Sk3~u$h' T 5aE0(Qew+cTWPu u8Mfj좲lw.B6mS[|}xdɂBkGLp 9GnH]Xَܜ-ЧXvqt$)ɾVϹb1/qQ@[ L\OIdA>`,}Xϛg/̽W|GGXM rfrN<0q%Jފ 2"HbmJj?x.)MGƚ2_kIc̏q@Ku0xGcb9wV%xГ^loG.\Mjn.Cl߬Tj &B V}z[vQ$}Q]좵)ѨD*zTd^H"A~j+2הPm7_;p8%`ִ,̄)ՠxTHU!UABl{c+/$q͟{/wrg4w̗$%tP ii {kLT4%0b*mp@4#N'nx/*ԳVӨ|ZZ6NSC:4Xq[\t)?a,uo..XFBcXdW\?ؗ 0W+\Xi /\\ZURWNv ˳Exy&\ Gsl\Tg~R oӊ"@׊Q~s948EAr~JoQʃ9cMt4/%lߞmSt*ީalDD@Ӓ } A^Y{DUE"O2YΥ6 Y}pWӒ4f0SVĪ>o`JOG؀ϴi>v6?MfW}ȧ6Nܘcz1s,C548D>EU"-)DhoZAjF-W>_^vMw ,K8Q.ia[Ћ|| |5wvzh6ߦ]Y Zm)Uc撳=!"7$)27-.{$JB7Tӛo !}'O9(s.V8uubx/Y܉ t; Y^#c+R+lsmXQْ)XDB1$kusjst ٛD|.Kbop51nZ@'_ "C9 eɉ(Wkd;"8\Vo3-/o;3lN֝ɮ+No/=z{ⰺe)eL\Ε hďf'cV;m!%3}Ά697[s4z%DJu=WG9ge7N83-\$ %:YnM'ƢO'zuY~ݥ'y>F,!J)߫;7E  # K誜QHCqm-@uN>XNj?G8d-]t`fS~Ӭ {'U1M!TAĊa>w6D dj F5:Ѯ,(a c1籍'kZ埅q߱+KduTgYVf?Kj3PVolWBL %3[\emlH5nbAA,]%ImgЭo4:?酉| ne*ho"_5B|RBId;kt+Uqa=Ve9G1ȓ?RHʴ֥ɜ({*>0[uem.qU8LP:qH{)%SM)FgEХ~nP*aa7;Lsы^ʠI^9,~9^,x,sLGsV9Ҍ]ު\ǷJ$,p)\3@Y6.{9gBшfz %KkVWCE[\J}St-c`iGM[(U/Inl,<-M{Vٯ&LÓ]tzSΝGg?ǟM|zWhLgfKIcD`hعr>d `£3@V>;Sjp `Ɯ?.z8shq_EZ>yYUcY4n #-L7 !YQ(?9f]tBĖpwRzBMFĹsw&;¬%.H(^ I-DϏ #oMi Gv>zbhy+vi6&~jLWnáa=(q9~OfNJj{؟HA5s%>([l('V\jo˓䑣jln$!twPqa%syt.7lZ&+i_ 7u}# BɚǚO|i U>} kow;.8p=lܟ_}Pǿ 6V 桓T|9fǩGX{2%*ɗə\ Bîdy,EJ8NS1/%<_FM++TepΔGN(#0j"gJBlo #2[ ڡL@LA [~UjG7!/fW^5R셁y77`Q"XRsWC#eG,=o|E>97aDq+j"-6K>Tҭ&_k}FNot3km܁F,aiV+~q&0,KEM,8R!1 ;Cҥ>4 ^o+ 43^'*%&鄢KcSIεr]/1otY|a3~S$a1ArlPXϳvn.DZ:{(`)O=}ZB$'Z 6]@{nY^F6;[o@R.UB>p,z]]GH66EJCtMbX4c~`FF$BkV ܸXD#ȢȯaiNgǏZ ۪0t͒ϵBNR֓Yӏ$zI/ohW ?. =bnr&_Q0O4n3AhNlH͎aE<{)6`uf[CP+OAr'fڇ4r#7w㩹I3(7'#w¥YHRh[cd}Ώx0ĠjSifX媷 ١jr0Ǒ][emﰯeēdD㵭 nJ!|Xxfçdj$.6aU7 HB\7eO/lz.~jѡe1-u)}=, "m-U1)TpBEBaceɿL3̺qvn8~@v^W7$dGExZ89_Lo(vV,pJ`  ٦<q 0`jFc[AD2?a{q VCi^AfuVޛ&ݧ/i3:8q @k:ZtC u[%u G$/{\LihO#,2Kk1Ϥ ;?lDC13<4زthT+V:;86YvDq&pq@0_ ̨dgRj= mb ٤fds=/Tb'D5٫xTaV΄r)՗[i M8v~)Dn`jP22G@lyqdG_Kd b4T!p咻gw,E:-fYת3zdYxj a.o5NWUȋ5GUJ{`G<^s0(_v [S *[ovH{PTB6M)~Y%N %h,& }!q!! 5`Z7.ZQeOȈי;5=ƥ԰y*[)l[]꽉,>۾*`&mE4`6 nհS]`\.$/k >ȗpƿʺnѲz:{U0 (I% Zc{>nR&ԢjOE7kȲ)Y,BwL0j A:!E'i@s`W~wC95ѹ͛UzZ߽;7(}9Ñ>c`ћUf@;;ZVb<"e>RN9~ фٱ4bl 2tkHәCB'-)*d2H&8$}mwF(`k,s6ˆXb>f~yyT8!E^HX՞@5(KP7]/Į2 ~ 4S{tis=l BY>)q C@oTӊT:G OꅆR~l.م:Fө}^*sSbv!+1c-1aq9 C-]>d"Jf=\v`@WSa VC=f1DaZ`QIF  /YTX0Fl+^#8͍\jJe@>0%;_79d~!:XQJ+Z ]HWC(:[M~ě |t"Gm&KDq_xh:M[A@I2(.fKL!J<+lP?MyVJhvnX&'^Ed@%gNgOW".cV lx`[\*-S~R]3+,)Ոu2G"zș(% -Z6S=rUAQf[%H(X㉭XɨQ-mp:S6L Ae{ 1hHXk(Od [ji#'@v,Tˤ96ːXᯗwξh+P zЋFy)(Mzn9UL-D׸hK5%ѱ,0ts){ q)H|*y8nM 0na A]23"+`ڌ+YÂ^ײe<=ѐhۛ;~ ځDG"J<8])28usj]dȉôo^u-96`Tc+nTZeCT$YMu(WDSl3 4}"*N1Us;E3ʊ%il7.t1́rݱHMꕇuTqF2gt lZ=>MBKVgx5 G] g 'Œ_)K+gj5F^Xz޻DMa& n=!lcR3*H`v^RoX9dOtgmtLoC*`0#xÛaݡ2#.P2 &9ir؋1/P@p~\SAIhx}JuunY/%s= RFm=HS>"$WddaqMNwaUK D&8a߽&v$xLz.2(Vj8~u*!xtvqMuMOr,F*[ʍJnb6Mν?6?pj; *Ѧ dL, 8Ҹr6s8cU_FUص"0]H `s>awR:}^(/DJi-Tn[Ҍ`(߇ H6nmgMĠv"hIwӡ*/N\I|2!v.9r D,čj /"_C]sVOSI6Pe蚳Ur N3r*b|yׇK2!A$rψWxNMy$NA/3s6V+Ɋ{y3Bo>AQ,=+ "$3`RZՀvCfѲL4[,$z gG|5nl0G[؟oʘn=YyOy {X)_j.#+v 2'i6c4ȑFTRߘDž tӸˋ;t|A"Q8SX#kC6+:@ mScW*ReiMߎm@":<)}]0(ښnbPP_ *$,PҾ-kCk P𷒗4a'Bg2Kr4'p1R8kI,)5 koA9yk'*FX\@/t``'aNaӋŊ1NnH0<-s#h~6iZP_U+[Ä8ðd`MQkK՚ݛ;{zm.Ztj'"XF( OF7WR=xՒk}#iDڜG7hyV[H6`y%;Z jQ`RĴyͮs4XHv70[_oK[ ~dq).&q7OxQ 줣QS菓ЉI@Cf 0^m}:Kݥ RUm,P*z}cK# eoqMqǿwF}ʳ{ ͍0+L :U[vaoǕp*XiaubtbB98;5^2tC?[5mSIs𺕑Z[x,0( S2 ` "Y[`n!4p0DQkfwT=U˼L<9 ;;yE I :R*0H ~mƋ+FYplgvё>ZVۢN7 llgL=PD#PCYWfv/ PC2]{!iܳA; 6\Sh2#ɬB?Zp+o0md7'ד:u:46NWVZB +r˘]{yN}e1.zؒ\aĥߕbClfa Ĭ BP`~C>ʁ@ݰ7Ӕdfi0try-|H+ݮ]{ފT#Lz3Æ>E01oBB#hܙD,=y+kpڍie;ɸGE֌o7ˊ7MĐMƊ/_rh fЎ|\nJqZ 2a;sNsdAGI;=A hg?AV^JEijhs;-0JQgQ!1,ѺԿwxhJnVA&+Tf^Cpے=P9RO`ɕ *5T'E0MVH0Q0+<*e Ҳ>BҤ>vQ8!P:OjYS%Rʌaӄ6EhA{ɫ#5d5`B5K~^Gέd烽骬(k]g H#G]G^s¤ zˮ6!*(|xTwtFoAIn*?4Y?T crEQfxFMmƗ$Z|B *nJI[P\<;^P_< ѾlP7f1؆%8_Uu!DƹӋx?|kW@1 {3DžQϵ}01\0 Gi*:Ƽ{!\ KK,7. hK=WuA:Fg7 WoIS݉qLKK N`5QG7#p0wCø ZHl{ B2!LuȴD&dh5]V_,ݨs:V9!s]H,w3*12%}JEKBYcm.e0m3 &"c =<~a$Qކ/;K"7ZT3(SѠ.mۿshMG{I9^'XSۭ!ӳYK;; lߏE<ZRhR\yXK#o/I-؜HD& }('q|1!z5s9T}q PΰVZ JRMM%CB8]=Qųu/"i#mhqm]ߥadRB1ݤ)N} :Xco@|FBO$r@lAaX;K3"榼cΠ[ 2=Xg3=LDh%Ea2QnS~8tt{H az57 M6QtJll ed~G\0ŻG Wk^jkGhl8T#dqlbRhd˓CeȓmD/JkrHD?+x|c^߻#إe5`֞ooZH4I1b!Ȣ2ʘ;%@ڼ/IT.H2 }݀1jrDkViŽ\$ 8K)?שGHuG(jp"(xJIxzen%+۾QQ_k^ ɚ.{;)>ta<Ʌ|͚WV_q evR:Gz#)L[!`UAnlq,'5WOb9Xvb yl6KNni 9jJdNԔZ d,rv>I8U?#G| )>mݥC u5aEA')P̋g7$t'N|1n-F/egJ"S ^5wαzn}LMIV*ꨡUK?qlZ;VC.hVjD1S$U笐4Ub8Fw:9DdcIO=F' #CQ)?b`j~8q %Ɨ8J&?S0 ;Ieo b̟VGd 8q;_h]5SsiV%<3Z4B*]*l;fW:W|wMe\](۴L]M%Q\ZT"0 )t:/B#B"DmKubJwJ܏-J6~Z(e[a63X$ggdFZ/- *%2Ԃ '70U!bc-paPy@U f4vYVm2ۥw6"CmDmSysP5f? J$x>%x!a=޼m 0ȾX,jim/̶x%Jxwt^|Ei"eQϠc<BEzh Ts"D&#tO)!O[4,Sw7ywf\[J^5Uк&t\ J(:dq&1;5ӋbmȮGSR| U=d7#jeJ``#Iq"YP\=iRod;E㖼7$ jQWS!Ûq@ aAq9B@ChTmVQt)6|%cvV?YS Go4>L72PVW)BU]3qCQ-/fv|2 Nmi& en*[Py+TH 0ī'GR)t,8%FhX4S+R!5oVMge68e"5o3jk .CyexV 9Q$g$`Gxp) 1( d(PPtvB<B녿^mI$_qlS^0WA(?,t,w<| B>F{q%+HMAWgtN͏9a˩K6q|6BgM~niZj fWEN?x`2]13o)ќۺ2 Ñ nj JzKo\g[p#t1>}M`Μ QK!Ux=] dՃ-M=ŨuqHfsHF% &n ?+j !8#::ijM8 h_Nł?a(Vf<VUs^YKSQ*3O0kՑ-~WnkJQ|a^y&W Pn1Δ d۰K{Y"V, *SB7aD򜞛~-0wZ@(QU,gC~oz`reWR𛓛rK8Yϓof^.mq9 ;J[SG^Lr+gnd [e\ڥ,ك|8frxATFz' _2gt7Le ΃,$ePѐ_yͽ1My^ڌr\ G4Avʚ-inΥ%kP \LΪ*,r*Ûg(|Gۥ |jt0acۨ {&TP}ݰ<˵~`t,k4k5bt1wILUn nJ& bTXT/Iq=ylб L"ǃNܺN>|Uؾ[}S?SkUm֝[ tJشŞq)n0OqhK]fd/ɯb13䮸7r^ :ꂨ\QMna).BS_˗/l]n۔*nRd 賖*jKaKlʜ8&΄Od$t\6 {q#*.ObIx'J"&RAWW͝); $fg}ǜ "u!> '@NZ }w5){r\~/ O+ezЖrAZɺTVl樨=n3(}W遃0O65AE'QaG_܅DUcK-< ^Vk,CLtOuDu ~5z#g?wݯ6lӎR/E~< ԟfh ]̝]=},X+ 61د9ch/L!f8,ȫBU;  #k%&gY6ɋ<..iuz/O8A-I@uŔ f$20>9QOr DP[9G ګymC ⧞i^.NZn-t3 \D#`\8g]T.6`n1&O#%K7jOpθ~mX^ri#1;F~_eY\bOج176~_F4~)\EUly!$uS1LݫQeAE6 ?12`%pl|wqMWj{ht ww^ X8La>pNР{#NG.JT}x 9 TWla ,s71ɽ3!qWRfd{9w8' pGb@M $!X4N1 =lEx4."3%S^R+NK\9 s0@b vSqHfVB -=SOlд/F%pV"ʡ?&'d)BqSOA獞 Mh\;PCwPB2("æ@&OXDHs 6DJV'ED^6M)bɱ CW"0(e 3 ?AЇYR][9ϙVtߕ'nm|ˍ_:5C<_l?A eWŇI⍪< J*Dh@ş0g QIu}2&dBk# 7^\Yc?@УYMyZ7YuXH;+^x?nzczF8.g B5p5 JhM VV7qŸ_RMo c#lCQ5N;)lKV .Ȳެ_\<ԡUr,Jid'盵#)6P๫l {Fnm+z$sw_V)i92S3QXѷg:99.D,Mɽe>nzO8h° r^<Dl@:$]ZK&fNXtyC杒a*r.4 "ҞVk Qr_^ Ĵpz 0X60 ƃai;A0bPE[_gТ gy_&9 jrz͹^G@=34J;:"VML)"C<<>\ٌjZdy[5l*X$R>DMU zMFSY_Bi~09Po#NgGU6:|(A<}zP^mO B#Qc깨y"~4INbCW'Ї)BcYcPxs( <;hvvzhxZ众;H=R=>J8m꤅ j5~G}e[°Pޢ ;YY1I[MQY~NpG!L:&-k <лuz.)0f0>$T%R|j Օ10&QKT ʽ[5+2O*tXhΥ:tTG-A3&cn-F&Vt6^Ϩo&dzS |2j{&SS[xqJGULO32@]W a<Θ] s H+^Jj!;A*cȰ-j> eLٽz;Я *"c` /lXO8lI۞hj6"tڦ;%NOp[0=߯y o2W*s2LC=c'}FkvX .Ζȯ!$Yy Bt:bkJQ[T_QG6񎿚0qS3s$g ETULTENVfOb?Ek-5 %^"*!Z}McˆsuSRkݿbfvv6rDW@b qp}azhX0n )<NpV9SX(Y2ztnsz̎g |OV3pVCvOFNc> ;i f[!(벣j}XZ+BB8H>Sk>oa[L8.P֪juZ֥'FL w J)tݍ!nP(,DH]MyIӰ8?r NNJ, Բ VL™x{J  u#D333mҳ]co@U|J\OtB6:Y u?jqHЋO0 _"?޿eiˁ\8i@荑:w!zq6y6oj%%/ŤVUf v %m ? 0"Os2x@k)rע]PʳJ#x= aϒ-d a2Q z ENm, qh)WkV62v--Ÿ>Wiԫ[G؉ 1l0 _ ?-Wqq nMn +SzۣBSY9@S- }#C1*y*qH);mc)/CvuH4?#'%tE>Dץw~>"hBb%K+x4]&0QYݷKlC 9Qb٩ڇ+[LdnC61pc3Z-YHFQE*~5vU70L{Bw! @̪Q_ bop3,3@tNJl`餺/U!2s.›:j?i J'>RT>;%nFpGg7~OCӺ}dN6ݔGٲc8ZQǨB6=h:+5s0mIpLGGdz![_\'rN|@D9ciɘń+~دqyš2`}KʸC.Ēr5ueL.Z޴nl>_1+xٗwuC c.p?# 8W`5\U _V t x\ˁ qƥNIpA;ϰ,9e|yO*=p[9-bq|:7òbO;0WE#N(.):,?CL~?W\Yq: 6y""^ @ᢈ@؃uַʚ \q*5F]%-Gl;Ik'gQr+A 4YSb=緘ve~]̡!BAf$'{?o W SK%N=[ZHw-eE#by-cD{{zDذ (ktC 5 SP^f0FϨЗO%p85qVN:zx}(3q7v%JqZeg#p^6(`2aTW/7&H˪>JH9?+.)m, m4)T|x,C VwO]!琮]gƲhk3@OO+۲ L=r*Q 2V&ڪb 0iMqI ['Jʔԯ!AV%?n5<縸uyZI^Qukib/͞ Ǐzrӽ?joY BFݓۏ 6Da9S\Qt)ᛉ793 *NRId,}"͆4JkRAMNebMGܞJIZD"YFifOblO!HjZh'Xv_}`O %bWxִ.k"d򪆢s%V( $B'̵AJOPՌ>[$2K 4cfܺиU\ݺ"f%^ ƞ̎]ETօH2L}RWPiZjC"Anܚ)rt FS7S+%^9ykV'7xc E=ʏϪImYc\O _XLʄ87㵝,jw^ kt #GQ.Ctq,%?ETaS'4˿=qR7tksVpkU'4A7bDzC}%sQE!9~To ͨ9F(K u*Ug>1~ p ESΨ5_;Yf.]LX?`D˜LsK 1*elex QΧzzK,?,2= `DxMwMz{\/Iާ{LRà> kp~>j7uQ%llX/#fSXl@WzVkӞ G';O %\i0* 43Z?(;EcSۺcfk&Cm q٘.o{͠(l5?qֽ y89ߘ3ih&{ҟ$v}"EzM, (:am5u,fbk=쫍:AޟWչ-cUV%lomg}Y#7SppKPS&.u/[q?Ke9yAG2ɵǴu%WkSlPa7sу^"Ut#/>OhxZd!v 4?1 RxO;> > /gU5ROZ%ǰS7^.}D`n ^k#u#Bg8fPyDfdd[(ZṘ[;@s6h#Q` Hidqꦙ4װ5Ң&[p.*cWނ. Hs8!e+Ac+u Y>.}ItEѴZlBQƲ@}Y]='Ecmx븍gf+u\_N>W9X.y5yM#xhZyׂ=+X[|AwۦRX/MVP+R+I?[9(2ymF>&#Kы^d0XͦVK] bu;oω~DI іX.*VAhw%ַC]7. <:݊34'_ 0O≽dțk{B Y]z G"~#uʷ|1~n革A -šZ_t5e蜘L*lR0voyI Zl4I3{jPP͝МF_&0? &Hiv%q'Pd/D_E_N%GhI|4^П7nV0U|(]jhmGmEVFᄼ.OXDZh(Uj΄#nB&?=Y{bl=~AB +XjwVn%UQ|9s8=BZd_-̀Fd]@+VcXJ ]'MڋZE\7ĿyCo\b! ,[t\|7ׇFoXaeĶ^|nDPfx(Ԁ TQ.EfUiՌYC7M7jiEG^]6Ses%IؖY?9zwt' =OC\oqRBb@nãU9C+-l܂cK2x }6o&k_uQlm{uW͹p ь}X"=;lb̍eQ=Y*rl6ЙSџ>vs]6Ustɛ[<ñ1=1!ǘ1v0GɜY=u)(NV0A}dء# nLg-xIO߿7TMH)Adg 6ณ=*WI] P 7#J+(_O h։&w:|C qy:59V)p ^v {y>j**ioQdl}Ph4vڨPPzg]5e!\!t;!W/04Ȁ_yܵҐp#V#9錪r 猏tߩ[A% l kq>5\.׍֑FkH7p)92`{;袘mִ6>sy P`{oZyi %7+jI@O:zʊ1E`K봻ʹ^J#*@gYZEWp}ԟ2 ~/_h*R:ob@_{Hz-$,I4c#SNr244PKV1`/)gZ '[/WNQĮG$,L~^4E ǘCa]!$DpķFn ߛy{A.x&dH+'2N£[gXFL0@$ip?nz#+y.{fJç\aO;.32oɕ3~e&U4DWl 'KT((յ?J3?Ex*3WPׅgHY\i֜GEpY:UTF;DiG,|M%{M/^`LXHmVB?Ww']+ mM$-{B>SvD_`jOIYt)Z!g[U?>ԤkͰqIyZ|2}r8#&sWНN"7C_3?k5dqbK^d'3p&'S˜u\)|rDH};x$hKO } n "?B5?ҫ X??]h-oksB| @Ceh3K^‡({oIpp-Ijkg*!McUT\BXD]f4eYQ:TV"%d;P'u]간u Pc}d#; fŲDW:y]m4hd)&I!:612ι)q1 u_qzxhxp;v,dcN4 0mavL"WQ֮fLZ+>(Hyb3H>H]yЬ~P8UT3ϣV!)=M4ZWcRCe xGɠDlHw4+mCb 05_@3/H0J#`{ CԷ9z ޺a]eRGi~Lq97l]t5xgVIMOT*QwiGd2oeyzƞ=ǀHe{$SKc1}egmI$0J]{f :7p?H*ʍw*RMyTd>R~J8?r~a$E>H/rrKkpGÚ ńᰧkFfJty t$gr<)T0 ?feu[ZӰ Fm9uQXxL(*ŽJrUܧ:5[$N jC_Mvӛyҷ駪j7`isxv!*A+nB)Dsҟ8n,Xj:Ls^tZ/V8#Z&=Ε=?d%9H*kkh@|:fhtҷ y ;d#.L8%\ gmKs ZFͱy?u|!h.1__83? ǀ){$n^!wRl ;m ^oŖ7wܥ$n9ƧhRNE?'eЈVuV, i,Nq `g^ϣPJjf"=9{_ 8 '`zX]tfTF<,ݯQ~~۹&q}9 [>;~ V[X$%MdHoDqUX mt߄GW.AIc;7y u1B2RqYχAg` |Xˑqf0|\![9JL)zWk=˿^2d´pl1j<#X`iHqr( %/E}UM^C}I YN*sL_*T> Z ȔQW՛y=n(0V#$|3uiהGZտrjf mbtR:/csVi5\$-_5Pk"@^yKe[?+Nk|440[5 O/B|>iO4񺭣HD?U]gXnW}JJoɉ}K^@}9VjvAGܩ׭V ȝ)"FւUԿ` lRelC[Q3Ifo*LJIk!5&̜mJ;)EJ%vmr(;tXHGI=<_Uӯkmb4 ;#j/VPZ:g@kgecܑ!nY '_lpf8m]C3*5 $k=09a>4Ɵ_:wLǀ !"-)M]祇r#;͢=XNQ>,P^ F(Z]3Q%dFgou'}牽 i̻a EJtI{UQ)ewNހBbeMVM4j [4amۣSErT@zFw=f.sły 7[< ׾8nآD[^_tyDGH t841i#z'm,)Sfjĺ@I:v 8<5;jD :+SʈL!5 +gYZ | v 5W' \HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages7zXZִF! F h]Άxʆ5.f-9 rq=cjAMbh++V8OF%_+ ɗH{ ~}Ic]˱B&HDN^@Rk;;;H#3%)EH*qr(JPJ `$\88qwU(ҵB ~Pj U8FxlUU`Ȇq-!Z.!%꫘wp-lI-$,ZBc3U(+h,e 3c 1{{>_ * C{U.{1ld7e.¬/ڣͲ a Goc7"X2P9`" =OIE [4b-4BNy?ĕV yЉI-&n^ʼ Wz3gn ق;ÛaX nPK-1!p̖ 4G2bTAS 3ѮE rE8J(5&/Nwzd?֞r e57fjJJV\A{.@( |Ӯ\:?6 H4W2zK$/8^qdI+zskKI3g[yvϳ]F4܂8KZAdD蹌d`e'6B!{(G|i-m蛻ۆi@$R[HmC\WDŸVzӄZ Zh |i'$޼[^D}vP Ъ8IY A*+a]ބ?CŦ/VC95O:5+CTq `wD"FM 4pJvK1*%4UՋ2@ MybuYYmFug` OSQ1&,b(ped`ɤ> uU$Hk;CTidX$c ;H e3:+~2W>k>7*%d m /dz!OLSJ# ݚu+K<< V!r70L&GNդ$HaZ;Td A8SmIBO3SwN嫽:[c߇aE>HuL^L+;# : KIgs(L*a+r|!+S!@N88._qXiyК<9gAZiaD$Cy=BjSxm+-AAWm Wx+&Dx 5Wl}ީ ʃ7z{C/-{(ƦoO%Vý8 heZL2b(QWTa"9?q]ʂHiYtn~C'A#ދ 0iOke:{r ABibE邔딲K4kaۻ*Pq"}Q׃%s 1Ia|IjH?h^cזtum5$O[y)M{zﳱ4%F%ćl -,kOiC@{f>E +i+j:W6ֳupan]ݿ FCx1B[3,(&XF1;:Q=J6i6_m(!=d=kˁ@.`rUKEBЄp>%̌toQ،!@O*J!د#SY:ٗ3b1]Gx]2aFUٖ~7tzq\zRθ[!4< U/ual0$ϭYtQ MkUOj2!b@4!;Mhi8<_W< Jz*w& @0jC)|Zi]GDZQ7>FS%9dk> M?%(2ќͰ.V( :TҒAHpߙP~5FP'}%?UA](@ ?=Bw% c0Űp}YwC5.& ?wG_w_Ʒ$ظߧƯ;ryk`%feJ/-K33ð M+#3jSfP`tg 䕫u&ҝ+b, =\4[$ J|0@kQCp3B_0 9BU~\'^sAf$,| hך9`.hbGwYS7t~DU@02}n 6k=r^18sriR gSJ3d-s: חU,'Ɍ[L}L4,Ut a7۽EHsYǔ"gYZ 5W# |HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup7zXZִF! Eu]ˠ)jk2p O6LP=͵gl5eϿ>+}{Cq7?^/d1T!(]o UoebmLFgt'M'zH)&k'P)Ǒ|q 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy4WQtnI)]})Um:^\x 뒆]pj уlKE$r"PaU\ JF}`qrU+޵XGi;rՁD1|غ6_ˑ8nu=y;M#>LN<;o ! آ }$4~-)V5 jQ!DE:v']ίi@Ws h1f39WNJ}Wp b{9bͰ[ޡ|+yG4' l3+ypet/AÕe%RCHC$Ƀ7A'>%Y74HˣB,&7yIm^MҼ[Qit\(oޕU8HJJq0X&hϛWm$b kCRVB9;OanDƫ*|Uj]yϷTp\(M }ÇUt7=re-Ƭ7/*A(Y&ޔThJ 7ypڇnxټKys $mXdvo{E @Q&a:q (˓ŧj>x [dh5Cm*'? ^H X=GtMʾ#ÅP!ϳGtfNTU1䱛3jus><j<+x.'Vzu7drWcv'#"eF^;7Dz>Dp9kD"Ք-Nۥۇ/ҋ[U^l}-Q>[*~%U $KX -ڶ[NwF&Z¶MT%GԷK<NJ`__<YUկ̑v+r6E5g ,"2_3sT'3&,?x`w PDKgohṅ" n/h6>w<z+5m)*3\1p6:6pRD۰n$௡YÚ}$b0UjEe$ފ$}W'ho /ot[ucpGpoƝQٮ-TƍT'02A˦JK$ ~4DBS@?@{Ba ~FTpct} *<=E¼Ht.>xW,[m(PE On1]ۋ/<0'q/i7Qu +G1p% P^/x".b5,7^~[C`oAc,0r;y޻E'd EAdz<_bL'+1U|ISϮqu+KEVЕv2IlwgGmҒ{K_M)%Tパ(eK0-FFݟFI뎧+mDM(VCAC΁w[:ƵOGбÜv.c1b6X#P]+i]ZQnzwXm[u L JY4O uNGvzO0@6FO˩u/:6Ihj拘vyrEa&J286ANU,TIv1{vDp' Uw_-sLҌ7#6 !ceK w]Vn!"xߖna%;_ MP*l b2 M6j*FA1Z vd+>gnWԐ~WtC$B 3_BCiߚв+hM_' K4-aU;ΚSK=[нii77TJF`o3==ɵE.zlIN ~znW\2C\yA4'~JRV2ll0bɘpDmn-fe: RAU(Q wx ) 3YHX ]@xoV] 6/@͖-P^ #\eދ*A 1څ̂sELU}l!6 ́w"ńslgY]CGθ}= gQ~8c2UUyu LVczߎqS~JK r#ggYZq@\Md$>[| < {BB5k9x:u+o@peOS? -/?\ɶղk R3'x; qgIìB=$~O_:޽TK}/vx޾>8HT񶂎{g'y=x5Q_s1T61q_;cWA3Cb(]ڃGOPڮPZm\&t9bǁ=tŜqxE9adCj& *) ZnR_JO{sZFXqY=DQ~ } ߒhe ?&ɨJb#EҕBt"_)@5q0gM~8 db6 K'+CH@ S?s C JجtsTT ܁:k[$?pA֦'+fVi9"T@!,$b쐦okHwG"`:7ɤ<Ռ?:H@6w\S&6Nۈ/!@JxxLKZ^?W2Iۚ6:lZgETBчn"EGtVRAOqK 1ׯZi-\YNr)@\2X7xF!412*̓<'P*_Ӥ1aE@eiaYqz y݄=8Jځj8 GsIh|$:i+mL6 k@Ou?A]NciO]w*3n{M}3%E , J9_w`Qw3q36eyM4Cga[x=^6BȒpAerVŔjoh&-,'T\eG+s͔x6%|>;w!,zoxpWIeAG 춳WH 9V摐GG.Qޫ5 pH-=D ?Nl._;Z6 1^A{F.W/oHg=FaSj&z[5e$?New wԕhd2?* Km9\2.(}cMps }k4T 4~;J@eqb;E۽Ī,9%z'Q̄slݱFA<58W.칧a]kվuYtSjlZH|#U }R._k`4NA`O'cy!=v5H"WN*Qټ#Y=jVcD 7b}A* - 9,Eyv_Fk01]ǟ=]_!5bЂ un7µs3vyKpSҹ.4"v9/XpeÿD]mDd|gEO$T/koǯ|X'8 o ~}6rhYs=D`̲=\>9iyjU7Ylz3*d>XO42>T@\Df w"OM޹vG)Zxcq:fjHcYrg3m4-P9`˰?B z¦@Au G:^3|л˞SH:v8aw[c_괴)9V/gn_ |Ge׫f_U4iԸ[V)0xMY(y`t:+iot*J+Uuʄ6UZLK6C] &cQG>:]yNМ(OY.-=mnjQx#+| ; |g $@kE:!N@>$Dq 1}U`YyYIK+uKľD5UhOl;ֶ Q|KG{|(k3&e.3˫̐ƀ'_Y8u0ȓm!y ΐs!ߘ'g!x^!̺j*~p#:kYQc.wjPK`Y:DcCG+AV`:Oϣ ~'yBdTO?!ps :]O1o&l);-6c;cb|a&S0O*#~S ] ijhӥu Bf6^8A'BhY1Ty3RѢI\I!C n)UKqT9EWg?-O-_e{^nRvi.< #FG)oyکΊZQK/ yA׻ d/*;bc/Sz,KC*9c7UoTMYCkPʬ!.`O#Ad7Ԕ|EVp|#̴5`7q~DORINaˌM$&Jp# 7Ry}N1=)7&tC0ɠ6Pf xjS7@y>_m!(C:#%Wn+ym&pl;*Fdd'GϲWvU+vU=oHqCMdx]|ӄ͉]_߃5UpS&:n-ݢ_ʬD#S476cA)J 5!yyX ;X0ح$Ju/,,@KI=vH<5\<"P%^ Oqqj`2I\-25z. /5 %KM`y]ӻ%aoulD1RR.N/ + Ý¢GQ㵚T6|I['Z:a\l S1&%[~ kPD\ڴbD+ +hDĔ|.k F2]jGEԟ;i]l^G+yWp`cjodVW zrLZbΊI/EgQk͎Ҫ]ёh*b&^T/i29P"8bY~">Nm.u`^ G- m~I!-8=tff{i RPIG"_:zak.))~=6>9v, @rjjEco=$"#42oHE/T{@˚l c#()z$pPq."HrMr.L(sw!X6loNbC(!ֈASMkd8J5 4lv.OJ;ɜx 3̥&2g%Ҝ-hw.k 7_Wy{~9i;!' ven.\72gOGB @;/־L6{Pd쵨lD)H j;'᳃OA{Wڡ Mzsٽn?Y1E-mܫF+wK-lY;VqjVJ1qR3sE9psʾk}y^Ek; 5[%{@fج1<-o֥0iGcec> Ƕҁ3EГ9_{W Cq?7QDQ4TR_h8"kvfR L5Zڊ0!,Tc@آpӌŋ;odx[C(mjxf,jA~Ggkf[n(fql3' Ip@~{b#X όzMRTd PQߦ~Č'ktw /j1HǨHީ`;T_@kpPKRv|FO9mswY5VGgKd4"T Sgќ"r,]pnF12><2 A^߄ WƩ8^<'Bn#T1<]N͖ Z \~/EaнW=%UYC*}mh&;7@t @_q)0\^8ϫZD>jۘeFwW)Sy.ҭ-Cm(`}+GM! XXDl3LdR 8t9>r9yvF9䙖Ihǜ)TK}2(ZU6 <@L8gNO_4Y/b'(9߳Z9ʆ |w Wy uLS_؝XᾺ?aLmZ\uҟGpP\Zz7+Id$AtgR%CYKnj l+Ii6͙S@Z&2?@'MAQ[aPB ,g_WTNOt{UJjM޺G=!fZ-ԗ"gr&hX69Jhpq`tAyevTɏn~{fu# Qq>+&SSr k.fx򟪢h~C6,drS~׋X[6,J"͵IUWtr"6MEs /Z?)n:lj)*k܊hji$_)[yrxN6@RZp6?-+5]}0>-\㩲h::i?GT"&d6#dۘM|AcN;HL| MFB;@ȞTNh1qyi`Wouft=s>e?n#SSESʖP5Q>s'gB.ٌt 3>5txjXdf0,55'X |'}zs$ I,M"ѐW_rCd۵WuBY?}6S$,KG%7L4j#ᅑ$Ku h_N~7O DBuMfBۚ*O:CL04Hn0eVcӆ3)Rnȴ_H%(mtt{I |'_M!q`2iYBL0|ZjD)UlJB`SQ\6jbA˅J%B6|)v[k8Hƥؑb@;TW\.>EX^ %:E2yf٬9|r!j0Nک^eA7ؐEcf7.ՌҁsvXx7=EO)G(GnS)uXPݕZ 7OF2ɛ¢*>*Qc! B}Qs\"r .D4gQs4z&׭+ {_$I^n7[:2!]S!Y:q]h[U`D._ahBJÚNz5s3('&lQNDrIiȩ>OB$ߍxS2bYeCh*_8G'N 99dl&`[1A"jnR™ 6#IJ @ 䞴gYZ5ae6cc1eea7a4e704f1c0c3bf4da3494a9b2968553b315df48455a829d4515cf87e0e92738873628 9b611b6d68409e5a328878299cf3d7c4e76568cd