SQLite format 3@  .0:  B --?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 [[1Tt, ]% HOL-Decision_Procs:threads=6elapsed=248.825cpu=1140.660gc=155.044factor=4.587zXZִF! 1]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыk\pH\͝\Ec0ƶuQFΠ_0G&3Hqp+s}WayC&|- kjwۀT,FB~ X }l hՒtS{Nz{twu2\g*vH1݉p] ,~nViT0>O5R!P;M%9tfԆbV+'j(9}?ݦ靡,Yt,<[X5 /׶4Ask4tK,t2XSSmjuAå;|chQYPd/>!R08clbՑ8ײsqz}hh9& _<zȧp{e%Q^!ooj{X@F",)#pAT/Eo۷(DIK){Y:%'W*F~&URl4=`BG$C?:ˀdHgrz ضS +&UԨW*xwRرqyÈTz])뻋]cw{#VDU?ݥ[{|lכ!%y\{r$TP0VDP >) 0)h7}|hSrv߈ZeHJ 0 {[46XYg4h]rWVFSć|Bz}²Zԍh\\#.TKhn;5㐝`Oa?z:rGٮhfQtv1i v2ߞ=4*Y=rťr~T}`ǭ3ilvn[ (%$6#$@x g_v <ycbn B=HEN.R}|=2M7E;#l&Uc1'(26KA^ODt=pKRpfM]y =l;$5acqc7ǒQ)lY_doզdf[) .Z͢H?+|̕ά1RgrtmC7"w*HS; Pqt5:ڍL|2  gEWU] > 3RY+\)3[T_XСϦaJѱK(oiK[4U9uUY D,:6N;fAUP $+-!<]fB)E@˪ ߶k7cs`0-/pty-g-dcŞRa%;'>MW^ NQE&4I#DԀ۸qǗ*Dr@/ם7N1rr8ļTF0MY2 Tص{{[-mܰ(RM3͝osiJXT{+dƁQwo6HiJ~e1jY!2y[3~<OV;}37Ғ9q= iSj:$`7ּꦌli,"%ojyzd'$o߬azS_YD/c^~zX>ɦzQ 32dc!_(b 52ZC)v+MM~K/7+oH1C7@.C\C*tL(bUx S!,.7^^}8{GmyC1)ЅSV? .Xazb+ں]IFU R7ZD8(LY%=<"Kҭ>HSN-x8l7gEDj6 w>l^$>VZ`~G[KU \Y` ]sz( W|˔}N}l'j}ބ bӆ"qe'>PTq}N?HFݬ ˭[,?JA9#fj'Uم+ L9DCc0&=Bc ނUlFi=!0\Npsf%eKs _8*ZQ!?j1iP&˸钨kfn!+sZeZKV24 " u p$DWatW ar5-$ǘxc3sQRҿ~a9hŏ& }~_3n 58z-u c( \3Iz L$C`&$] 23HMvyzJV|lkt/SV޻KFpmKK=V>Doku{uYRoB(pclKdڔw>[:Xyӈ@ 7@p/>}M פ:,"MK~c;5,6 [~PouĺzP%jLMpS90P!eV)Jȼu,\Ͱ Um ׯ`#2ti+YWC /V^T6SLδDK*3;Y \ E[L5Y|ɓ,"3BkOY̠򟻳тOkd=o-Q`tנ-pUu1[ƹQ}FXSq1 ͑ |g%ݎ=*?W} 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ U 1%Ӻ'XvC<=tU¬T7.QYA0 bIw-TbFaPEY@tX5'fty82o8?[;ۨ[[Y^ `K]g7Fa8tU bQg%&`̴L8XfXT эѯ>,{CqPHETN_dp l^y=k  &~f!oo撅4MPpY=y^bњ6b'o2 NXy~9_A3H{#Y!Vt;J,hZJFTp +p^Q vֵy &,#GEΧfX.:g3cZ6v4Ed] wr?IMݍX왕jh9d u]c,M:~vU D>'JT%[0 9Zrӊ]hX,;̺YÁ )Gȓu-R郄1s)[!%YnP?KO ]kѹ堽8o@bj Wy/J=cj6F=:v~ g^ؓ/ *'Cn0?BVfod¦YBOj9:>a3 cu]#.Qf~0? L:HZ9 &D 2>Jhv D%]/.4sYƽ~uٵK(1s7Xѻű#d%Ko2y+S:45,)xi)1ܕZW-$bˮqsT/Hw_`j+*-u~I~LÝ%I~',G-1F Ű$wrLEz[eKU mKY>|Rj~{JDx๭!m6 }ĞmRڕCN~PEpTKLNkay/(%R9xu2 zw*8͡_xA$?a}k=%t-sʖE7RH܈zz9ªװRn~=I.ytnM.c"ČDZtdX[^µRؿ,~q7սH>S qj UA(H~vop̚U }Gfl2c}庠5H5YU{o*  5`I#lL5u27J8׻. ;V1 #eCޗbʳ5v=^L (hEKz䢔Fǭb6f 0 k L:)Ia|rvY7YV25fj*y>VYp]Uu&c_SWYVg? \am⃇6 %y-j1#ܷik=x ]3a gYZ7zXZִF! [2]ŗXiɟ17L? KxlWP8SաM~>fٺd`UZ)a8NgEb0L΄2D0E#'ܦr-MiVRBܒjJѿhWA{idw1Q6~Cj\>O5Szoʴ."S#*t߬)iμ|:no Q,RP:{fP/ w$.1@ew*a{g ni8Iy p/HfE1Po˿4CLn؋B;}C\)CG3~Ayzܒ="nIg 8d06^,h D ы묱_`&`~`;*w_:*PFy0і=F$Tj~?̍Cpiw/<ʹT %%l_0%~⣝ߌ>]*N6x~%KkJ4r05s5MJ$@AxVuyʣʤ?%Nh43EhF sgjAL&+{gYZ7zXZִF! ䷶QO]ŗXi%E`ηt+v]l+»R̗":2dWsDHg~ҎB:u’+J,B|] [p>ڒYuPXҠ{Mm JCХNyD=3S뜉sTQCCJ23"V6Adj)ٴu/$J90ZZ½_VEø=+U!݄r~c&&8s]5C `w-5e׉{jl:JVذ]jSzϽe_vKrÉ?szW0yD̋^ zJk<`ҬEF"FmdkDp> < {>!L:@a'l軳\ߟDutL/d?K/*_9?A-p˗?ګخ+o6$g)H!sQG~hD!y>3oux'҃"=ne넅&7i؁`A=9ZۗNJKxaB3^&#_ 9or-IR{S=N"]هu3(b.a? C- { 4AϕKT֗[bqS 8 Tv~F4u-=ĆR]M Kq4Owv; q /D w\v}_`3\ecIP9Us4[̲f_#6V͎Ga7 ܞJOI60(Q=|ϴh pNb.7$z.rߗSmSjo/<)d&qU7c{6FhwL=̵, Tm\xRdu+n>0l vŖOo:,"a˘XjI:ʻF/-NgSw| ԯF jobAoMW)2o!*|XzzryF}+v VT>~sـjhu A4|݀sj')be>]eR%y>pBtC*[+]$mVM}͛S<_v0˱>w}@ L@0;NOS,n7*~0Q63$zhxu F#&`'#HT5eԇaM.IQvu 1`}rAG;xƪKU_?zko9;zD|@B`CubzrA7&+>h Ɩj(ea@S@(_p/IL?Dws{ Կ[|$eXХ5e. .48t+Da:̊5GIH"I$Z; jjp./ B_G%Adw .Y@-6/Ok<\U囈TY =Y|~rfpgHv<lA61BdǗDY{<-?IA s/7}`~9C 'pZ 3]e `&m:$*Aψm v008U5#nWkhd=.[phd%ja(%q(m+yוj~>Qk(=5EL Hox0os"9S,44Q8 POd /!KZDAO=NPsU ^lK~*hz4UfY۱|"id-5qLG#(UsMFԢpdC9-\ޔռP]zۣvT[5{tqxU%Y ߔF)MmQ_J_c@f >t l6<oEB9mfOwa9ӫ~G_ZlYZ  V%-YKW-BFI{|ͰYgOa{G0$<^ r3aܥK TpKe#`W0}N݉Xz8kNl]!T^T<=z/$z')p # tkvp5]@` zg"c~vx]QGQIO4:hlؖ( Qsqgǂ s[Jy/Z5k1zpt(!Zo))Qj9*/X|-pC :T1Ӱ~O#}_T\# b zUژ(8I4 }yCcyiHq+b#`T[ ލtW?2yhVn(pY}_BMW>kE 2!Jpm"vWҢaUm12}Fn{CJnc<]~X M4=?f_5NH3P]QOaNu:lfzP5Rgsoճ`|RC9[ 2'A ;+58B*Ji`$ML,G{D Xkf4Yd&ìp($7reGbĐōϥ[6J=܌B>knES n'!C^庞UrbuXnZӰQ112٫As%V\P02BE]|UӢfk8̐sƟr(SHxۂRVk_j%ק9#|fhԝÏZIB+>_r{]|o@&WԉpsC-HR3܂ {S>/HʥԺWՖScO{2qm/p,3HɄ`"&5 +(p 3>|1jmK@Vj@n2\& {|}aXDMrt ^20.nuÔGӤ&}r(p54B.xܤE=@Q=xX[+pӦ5Qra/@+'mVi2l8>!)fɩ5խdn:$gK -*olԞvVAԥOԚ&b^;+S~V}$,_Nh28O.\,xv@Uy $\/#kiPqP=c.Q'{IG9{B4b Cu&A%cs4N]zF뱏Eʝ*Z!YCʴ#VѺ3(m?LUO@:^$|?xNc:ǩ?8Od \7JP1l7s|V\cdV>̗x+3D(i%S",PM6=_0 7C9l^YcAT3i(81d k+Lb2x_&45*J0MvwA3 zߘ>ȵ/̰?^8:%g > şnG"vz Þ&.VeiY}'To{yZ4M(O/źf[O\aߙBBzs5#y8,@vB;bJax!Fb_`j쌾ysCh̑0-$/L>3*Zbӛ'plo֢qQ0}W|*>(G^H0| 3Tݐ_~aM&DÛmq21%эƓg3 @DꄀzH'4Gvs%c|klVokxUR- %&,7.ʒA]R$ӕ|~捛slc 1C=xa,5ohzse@ԋp,><{R $%\om|Ŏݪ|9eo3: Wh`_"Zt75.y tYJU7 YS $^8; ג/f+6{em< qhRFUFsg"sPX]ͅ6B#.]jf% `\1Z]m%w6U]: p[ktؔFM7E~ϱ"!kKFN/Njnh L#,H:pOL[i ?BPN >qR ҏUhfb1X YAIs]J?O>*5gb|8:D/& bZC!OqސHjost+LԐG˖ېOtŞ}<y!JJɹSRpҊ9hZo] 6)>Ӷ4j_ E=/Qf|qlh{[Qjz0RXd^7[k[ 季NL`xϊs+ZCoi܌%OBruǜz2|`'nAĄHRM4jFg<}x|_.p8^ +CLCei; @UD.QU_`bG&)"FHմHi0P,Ʌ,6r KB~I&f~ p?? ̶iXTah#$lR!b%LLivЉ|]%稘œWѩs0f*ލ|s/MH ͕2YQ\X+qAl:suKb(o0].=0MmX'Q 7P6/{SH"1򫹇?ܾM{XskFՇ_|NG,Ѧ+--GC袝}KG x:۷*KoR2CD3[cZ=u욁Ƶy_bw v L;pSTIG&5TSbTpj~%n~ BȠL_ Sxs4X@'>qN'.B0uX$As?;tRE>)V%䡲n%Pq 1V"b#U:xED^g 0@!^Pd$~S& ̣N"l#ߍ3ŔCń6]~r"c g})kL2ɟ]UWo]>`t+V'E+BpEoZȵw@0tJ  d\@Q`5gXH.QO &y"wpwa.;C4{SЧkwKo3>!G7Io,ݒ M6ab(6KL\͘ Bm-kƌvsRD/$QdUa9d_QْTæPAwNP ~0պk0}\bCk fV+ҫ^i z{ ,`[I,NwˆMm srUXEizisK޲5q%shT2@8DPV֞}urMy/b\9]+@ue9# XEK8;vYbC2&7GӥmD JHv;5OͭIS g1H-+V(L^ 1#j7>Mi@ǝu>{Q@Ɩ 2!#pd #"׫Ed* +Vs>G>,<|l۔) s*#rqԹЁeB{ ZL\FcO~tѴ`iVnNekr1Bq .eC~}jq(*-S4ӵB"6YZyt ' C<^\;$ê.CDӻ7[qd$Bn^+REǪQ_f%$b>'TՑ;7 #&_.ꯐY)͢* k; |0da7z%6"b4ˮ.vhȦ~e62Cܮ@BD"7Z6{uh@""ʔa±_@@տtڤkxӗKP{AhMY-~Fh$KZK >"MfCE~0y4j B|](v4ʩ&;G]yvb~{.2l$'rtͥ4-6،eʡZ7t՗R= EXwdiwKRwwvGIOe-<&]~B}뽪yhPXg<Ԍ㸥x2\tOaiYvy E$;t}lgm%iqo&[h` 3.Da [5/G+28bjI|k'z[ʼnYp @:Ja1$+9}J ]O ľۄ􌱭:ECI`r1%N2\|Q`R_괮sKg~^D,&w==PnXՕ܇&Vog\Jkܑۙ9ŒտDhK:1`43Qkil6ZOG*PZxvԽT1Dѿ?@?O? 3:_YdžpkK6k ˅L$OQͷvMo`+L$C&~9T5X4ror:_v֗%خL9 ]3͌W]Y(Ѫ5K:l49sD}V4 [HFT]YTT}Ppo-.GLb ^;aë-A)+j氚a>z %QQ ?LyA_six*>Ѣ4<`pIft IKVYtKS, ~ÉV Ge-Z.2-8o`V 4/\-u"1,SܮQ:>XЄLjN+J`U?PD4YdQ|zڎF DԄnʋs>ky'SZtvtjO+Wm\* 8$Ar!/*hkϑ(LOHҽ(fvqR#CF&0D>?f1qG^)HD 2I.j]ZeSBU$"]Ff_+b!P@:L~jydp}|1/x(;꺬TnWmgOϸ1V@F}.6.M@Bp,4rg9h1@0M*3{Tut;=i-Eiوz`pIw#,$qh.[ZڐVxٵPfc>,_b_-e3u'[0_/4 ŏq }Qd9aC~`jS>{)rqH{I8 lX%>Ӎ8nu?plCgkzehRlj QnvnZp^lϞ7j Je ǃSnrR Mwjt@Kuw!H&vuV^K: 0Cn@)l=bgul/ǥ.=L,g_0q%WQ‚{k}y5MzF~I0AeV] YYMQzj{x:-XB0yտ} c姎r816He{zT?0Eм8\pʈ&7pK,\@Jʒ*Y/آ'AB\S- E×/a <8\EiIz'rfUufV-1I zCKEbh7mSkBb\d;|UH/o1 }ůo .4Z[ˎxW֐UH&v (3. &dHr]=.&5RxSnG0v9KCL)^d|9LH,V][-ց[z_̅:+$$E6@JT8Q;<>ZYbbEWjE|rw!g7`죂եW_zn l:`9a wJU[Uҵ n|bg.u=uPi{sl`#?a.(DWoD0.pgɚ@^^yJ!,n] A{C[8=q31JHlaz"o#!xZ+kQ&aK=S})\45IC'.gCe'㏩3/$wewH`PMdsS2)˞2/-H  ]J%3E5Fp|N/IF'X0vßFx12,lX`℠>Im[fA`6~0kAϪx6#$ƭ'@8qɿp~5ϐ^YРsx׮6FNPT/"&E"O lvMSi5g0pړ:sL:LWÄ;75yqP<(pd-9<j lgznZńԆDT/teuKƄze ,q؇w=Ƕٿ«S+X?XwN*xdw=K>s0wN !ER2\}r.,wϾ !*x]:p7JCJd@m<_AFzH qnZtQӭS": ,+{8e3ִ:'-{־z Ig}7`#ő91}-E喳[=`Q[N2'of@N}՟HB~+2jo_ -{, Y|Tzlz_JEֽ/ˊtҡmJ{U\aX:Xt6t)"C_ahSu5fɛ{}}T|Ěid6qƢ4U e3FpF;)|H@1q' {'~# p*:}.L8!Q9+D1Gs+ ְ̈́WB9,GEPDZݦ[jwRy=#F@YВ.K|y쀂HqrH9"O@μ BĬ#DFXOw"mu 0,mQ,E?dd]TcV/^5"2FƇBHJ;J~ Dn;N }rB:l.zwN9#.ti5x.:ee6#""wN a4yQj9v eߢ]$ȁYVHKa@PUFxLDB,1YZZP9SpDCX a,%gX~ty=V5z8c_M\iױRLOciF +o|w[X{0:p5iSq۫|q/! Vɣ7U0X &0Bs!Tvi-#r+`Mm'%:ԅ.?);1yxXlpGQ 2P4>z aک2Q [ޛ|[yVwRMi^#q9p3kW+)ot~d/dx/3Ԕ{ljȔҪnX/vg*DOa1J kg{5pp+o j.es\W7%̟'k@LTu^Yx{ʁdc9eVax_ZDM H&z21>ۆ|(BVa#z$?%ǽأQ;M^ZNӵo$0J˼ۊ˴!]|mhq/3H7-P0a? yIݩtBG)Rr;< oLֈ &v 5k@s-Aw=hfC EFMb}^h,}(gڿJ#^2+L.+df\jSyiYCnI5=\4 ?11$k3;R~.+jD8JEEKGMOHxWzd3!C#neZlg)O|ψƼ>U /7ďoՇa"Bg<(4F>\yyHm+4^/D&A}VNܥ{$|Wg(ڎjNz`3uu0.fT*9yC˾Z3^1+ˀUJOsN(͘L+cNVHxs $r橰^ ct?TfUhouӫ;$<.-F&0"ӗ1K *@&)[y3h3 7O-ߍHg02#r]a#п!A/.#zX7D>/ȥ$MV~9XhT@&$+8XSr JH2VګJ^O>.B7I!t>N'JLpcXHz>% WFKZ 1'_~\uKi||-2igh"̻OXr_)[:"fp9eJWBLo0)Ww0;B>nth1iZrM\CtD +H%;2gRµj#k I\GVN5M$I~;aRV'O,9jYٖt4n"8{VZ{S |~Y$%۾'[ǪwEҲ2vaʈ>zƌvC\yϡ}o?%bYGt<$bʉ~iZgv 0:4>F7 SMPen-H7nt,x\vLB&h[FKR i^VJYU2 S~/ExJjM,bo[KUE(3d;XGT:1* K_֪^Xyq'u~Ir39'虀Dc`OT_"jGٖ2,d,S|a \:/@ _Bj8gR^3EزH7"ڬ'U鴐EXmfOGQzyqX9x]Yt&S4Ir: u~K5 ;d5ܔ _8\c5Ke 4{gF dIRqZs<"ذjEO2'Nö4IH̶F @hfXG _F!Je%O$;qGhf\<e'DT87mw>D>䓱tKɶ g>Wl )\ ?K%r4J?Fݴև\FF=?tRlDL%XYsg}ȌN2iD0T: ))3eX\Zh~gML0!]X[AЗcL1 ݘO[@L_&L 1vXx@yCELwm! V7O_HCaTMĀe>#TZ4 ɵ16)X^-ex KKDJ6y/'%v7^ں8P~~fO,0B{wB$p-:«ʀfN1M l~_>-dBsdNUXy1a4*WiOjkgRN6;}/m/"/(nr5yƝ!tiù h<ₘcvʲ#}EfZv(RkLNjAʷܰ MNds%abf }W_홌m(;g "d'TToh†N)%255aFQ;l=t?G=_ЕOaǓ%H\Fܞ-MJjV(zrט6e6. ,W ()~7׋gl=qאW9W9<ȻIkCQ) 'ds!Kģ ;fŐr .1~0>re~Żќ\I21K=8N0rc!Ë _;n;odPEpN~nD+apbS ҝJAh)=GΥdC%_ \#ۼaf8kuk~N6:-@rƲ<#%#&mpB;$$ TfY͆[zz*14ǷcFZ;b%"1m!X@~+V!CE$'M1U-}ɔ $) _bQ5uew9C+Z,piEOԵU#4r,"JBbavuf*b(^L^5`3cM3r>w1B;~QsJNFcSg$x􎣛 600: IA EFaY8dZ(,T[@2߇ rF4;|mլ5^$*6)7YVtnnL~ܒ죪l0]k` }ĽS ӊi~b;[Fu 9~Y!Ӿ_rQ6fs%.Ohg!Gq8y\N2Mڕ,c948!9DlE&"+5n}@@>sܖ J!PÐF%(~XF]@Gx6 {͡Q\#U g 倔elL,$)XݩJyhR=QXG`Ցt\m luHl\ \N 6@51j͓02a7yf<rд˖%|*ކӱ0T q.lHp2jb2vuhg!d{WY}aRfTK2q`QS{=$tvNxx2nv06]yN-_0;gYZ8bb8ab6ddb93daa1ae6770a8e77d959f439229ab6c8e13744f5674a7b5f427d5bc2c896df0f96141 905391c16947b268265525cd86d750411a1185b6 9ac3a4eb4d12132039e4f78815a91dd814f3c338 2a93d7296ed1ddf315ebe6c6124a5c02fbccdf04 20e6988dcf5599c754a4b02ce74d35b5dc869017