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 1,T, ]% HOL-Decision_Procs:threads=6elapsed=211.694cpu=982.708gc=89.900factor=4.647zXZִF! P]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1\0suA Jlz:<_ghaVl B;.vpM.]Ue72o\۟CJ>+(=`WF' Lal[RoK C[EuSTV^ qOO-q>ΗmlPm X&zc}|Ni?~|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 L}fS|&oS ?1tA[J@JF,JIĔ 3F".k|.1Y J`M'KJBfuֵ=jXpb~/R+8jcaUho$ \Z(v#M\rfq݁+TȽZ0̗:ɢnDDy$#{.mWI[¾Lݗ­߫C5 -8[:{7P÷3*sPlA"_btCy<~Y)H,tcZQ{n6%Ϯ?|;;Ow' <(^IHm7PUUWrm[S=,^ d.?Ƀn,TDRjK[b :plCAa _@Ӆ*nj?/NUG[w1ש$Mv>!Di ]"a8&N=9 gϥ~*WuH{=&V`ĝv6#g 6*ʫCLqDwx"Ɇ*2].̇Kp Z:fL%!mH߲3zݬP8|QJrhXdY" )nYg38v?EcH4OAd :>fyÁT+S2dr?ڣ,7D0Rdpu7<{YAD>!IJQ:բ؊~kr͔|QͦGy!dﳻZEB;}+<ȅqQ+vU6?Fw,gb#ا mmD[ JfPhE$*Ͱ=1lFn=c/82$J@4m,TNn$؜2µP4eq\Q5p5D "9d?p̂ʳ>k3+;oWY1kHfxG&jsYh(OMq ΃: G}ϗؽѩx9m2= r|(ZJtCedl rgy(,Lamڋ5Y*9@~#h&U>stS,ruT0dRv } u^~cK&b CmMP J+j:A80Kuq 7&9@bb*kyZ5&!Rޏ&}$D#ܚyǗ[4`0] i}OQEStetqNŞ??6\Q«8&s9|yxStmRvj,i{r~~`R؃4,4-ĢI4z upAQ]IMY:I@ ̕GDnA_"Y0mF?w8`MŹ7SsȀ 1`y{U)`@ٶGDc8YZiӇT:-ô4{)p:_;yh޵KMd7]+>gE\D,ϾCn <}NAGWgHT79?܅&M!GfiT9s!BktM*ԯuVv4u )Qu0\p%eړG ]jaySJہ?2 ~+Hd=RLѦht n)3³Ϊn!Bf?_#pGc"cHoD< '[yFLJe4oe$G)jtSډW4: V7_~=>~˦y4^,fœݪm*In_Nmw;M{Z^iz9\vT\kP>fnPT EBmنq`cV9p7iEzCL:Yޕ)F]bl$JY EQoY7`wU͏FOEFf` 24jfc5ǟ%P;vn `2N\WX%=_8 ~% \샩1$ m^=K.p'3 Ё:b3k{xrPǃX} L7*TΩKQ'VY)G4V_VUh =(Gꁰ o}g~ɐSFNw)=HH!A_ӵeLr{v2w7WҡeJ;:o~W*$'8(DڶU*u׭Gvё{Zt=,}zV2Mdّ+~YcTe,D C5@?vf?JvbƘ*mh.A'r׎X QJ֜~RMeӝ!(|oޥi1|vCZ٢D[nEwb'"*7w1C;63Xj S{Αϕ,e6 P$?~աJ+$d" eV z4?8)1ixy3Ti%O]k܁/&Q Mڋ j_07[l̵E=`~W Fً =uIv/*SEXšڜl} v f~JQ=ZG$w93{(pVAy J{EpSXx+3&٩-O \A\ Vtԏ5 7i{X7( i̹IƆⱃ%J6'*$s[1Y)B _ ^>[S(<)"}RbLWS;hCzWԘ TR;QJxj#uW5ݍ(äH6Ŝe`RG%_ͮIL5X|H#;*~ؾkgI׽_bsdBY!-%$#|ʡΐt G=2>2x+$ 3U}:"gDPb!W3<>%pL 'X ܳzgX;^hjtG85,{ՙ`/NgYTHnfKe24`3f~Q~W_P_gNhNͫF\'TW}DMzA '/ɋ~"dquQ0aL1cWŨ>-教c+S&Б\AS1ҿ/|DÏ[F+ o fFW&кlZKN3t螢D.E~}­ΊE8Q{g<.YGM$yQn;Zɉ--s&GUѠ }g R[*~m+gYZ7zXZִF! [!]ŗXiɟ17L? KxlWP8SաM~>fٺdOc!<$iwwRL-9Ӑ8ӼEDki.K"KZm3?|C#zYzA>8:kjL:T)L{R xeW>cn-l+˜DCrKD7*g;*$$A)kIPa3!ҧ)C^՞;މT=]eƐ@t̊%֡{{[C_ OwO'oVÝ{ˤ'[Kͯ&ʢJ 9&_e c8VZyY!A{5ƋĤ=T,vZćz9m"j? ]BzXէ(1*JHء`@b;I hf/+oDlt-3tH]^k'+VP'b#hڍP[M6`4L +tJp$T<(J (M)R^ ed=a2*jfBu}YgYZ7zXZִF! CH]ŗXi%B ;89Lihg+VȾ7QK%b`TgzQ :wr܆<K YZCnAy."o_̩oFh $3iө/BTP ]fNىC^áuG/ :mq(J7-5RXN˾dX}-*B_AɢIJ(^680.EV4w$z N [(!SxX15:V9(S:K2Kmc w(~"ITNje$~t%ue\-'Prԗ,+5G 2Y0R5i+" ^J</ۦ+1@w]5Dc]O7Æ -$ $mr*H h.a+cE{,Ța$ԋa}|5ޮ}>J]%Ǫ^1Y c2Bg mL]-Ӹtn})FSb6H|U4U'HX %(,,cmxژEMK2OxXKiBKc9rd4dS7%|=o;5J6/aޣK"@clHJfqSνJ/&vTlgV(g J>f__˝>0o+N49@ T#9,` rB_r܅ҥ]sK ހ*v/`d >,\w[A6qTcO~8dR)@MO jK)_`8>HO'ʧh-N/O3 >tp3RqRnV$b*4.T 8I1aWj_LŜ/,}c o{HTu  ԁEiM/6>u7_d;~NFsZy 4ۚNâjɂW_S]j*;>JGabb G; ު|wOĶ!bДZ{_ݟlq,ќ[,MBh2™> yQqъ3# WW$$~к/t k Kξζ8&m>P֔n??#yfj 7L&9| \C,\J- ڒQ#pgV3qⴑ]i>*!C]D[,}á,EYu:GMK™Ff:FS\Pup߅7˔:!xSD0i*2Z147Z7*3 }$M~`yR6}ꠐ:1P&KM̆j1P%@tGAm>UV8WQ+Hqb 7T]F*;F[;-2#ehtL%>Q ["x4by27\!&NcL*H #ԫEdU{! 6i' "v֦e榖4}qW5.!l265EYP FPZj Pu[/eAoop 455BsxZ.k;=5 <Êqx]ɷ::^# dWETbS ijӹg<g<%ewfbGbK}sm.lORb\."pO& L`+^O'hDlȢec;%晍 l?&l7N}0T4-e+ >;fd(pOn0(Nh0hl:{t-!'f50cѱV [l7c,5sUW}P؁+sK:w}wb iG%3j\Pr|ކ/ٚipR2جTd2Z UIlSԈ:5Q݋~M$>!|;[׎o]4uk=8@ @kD6vՀ}?o% T;2wX掟anȹH=r?`=9>JЂLTy0y(㺟>C X湭jWT\C+QZ7Qs^hP@n}|~R+%]`7tJ*~^l}':_Ě8fR+.lt=eFi `H cKkXizn]{UAЊR'0.ėUMur[l`S%8|3÷:-CgFQaN'& kI $F&#׉EÜۼݕu@-J^3בVLeȀ|ijyy6+|--=ZF^oŒ?rڠXegLx_8P7T4^60.IpkPĺ{}><=RCӂbDJ=n4 }6_v 0ooEO"d$ enNDžJTHr5BnPD\M͆ `che.揋f iGo$ #,>h@n$;Ѝ6 yuDEEO44P@PgaֹKh1 vBpKŚv\Y%s3W>YeUbJzЧBrU=7,Hyc!Ž +7L%(PqYtãqUL*;ۜMo?A8o%T 95![r0%G +ɢܥ*zy#aY cN"VNVBl%bVLm~lH +OBkX(ڋ}| Fik Ŭu茀70.އp{IlrwLJhF-i&``oTx2b'4^#9zLt˲_ueAkrw e|Ok> *CVD-!2iPQ&_s-qpf?U.>JJ:]~$Z YϡwFc%"D17üήɂO }A8p] ވDtD6 A5a%>}ۛj=밪Gp<= A_!҈Y߲:,kKʻ aJy~[ Z ̞{{8W:WvC(-l݊A`9wYvx?cfD͡n.ӵdwPڻƧe%Sg/s UW\}"J rB!`Ҩr1>6< U"#Ό;[te{0Y; C.-Vغ&էb& &u`lQ@DbX~'I,1X{+GqzCA.?]U)\7TCSl7x}<ՆJĺ"Ɉ5>ajjY{sɉ7K/phݭ§$dn$ o4eHj(7q>KPJ4WxR DleCG[N\/"+|YZ㦮.,+8m`偽9F?AU9S&gPcs G|ן9d1K URU4VbF*T(O­v)%Uk}N{os[akjt`KPթ՚ǥ fC\9k*)Y{GgRqXި)QnuW{%jQۭ1gIC!Be-1AILWQE1|C+UP?zI.'Ղ,I~ %zi.Nn 3o+#tۨQ*[:hsRk=_Y1IZNV'9V}p5yvq7qoDZZNb49PtFFdnA kͰ 4kʞhs;$/R#zs:ONIlܿw!l&]%r`? NEm,{|rTS1b|xR_ ;F)yx03EF{ܢwOotSbUQ1Wd<&BN"NzIՕJr cr3{&'B޷h(t,K3Q,L Kš? ]`U)V@G@||NO#`;؍bJ'-WvH<ۯiۑz5hWj ..y0;zbT(>6x6bi@~[ńR1W,<i3n:Zm@iyASpU#^26&}yP ߵ{a,ZWEsΚhDh \gf7ɻ'эn2-fe y=9[LHH"!L#6${蔛/iUН/}[29ܙU؇IgI n./Fvb $t =.vk'黇C_EןDJJWr&MoNU_'.MI +Q扫 >yTJgى͡]f<}1֯ԪNH#מzY*,fRnײVAרs"* T\e?1Y*']}9úg{#s,s XB lcFz*8*CrjvgѿWeM D 3Gjd]H*K7zh;=l02.Ǹ'w!^N8eCZlyQ|yLS9xSp"`X-WT11'STdP*F_{\k`:o_xoZu JFq˧@<_$Gv},V=L|=Og_r4Ŵ$&1ҩɼV;9ú曖wй P{޺e#.nI˾ ܳGQ,%߮M H~%ƙ~C±AIT^AtLKcײpϵ9HwWy 7nd [lqr} Ge+*źȥ; ːxdӄ̪,]#0v/ `DGJ}ǩ, ĤVs(,و#nZ"[Unu%u5ڳ búåдjxֱ| 4VOe^!Z{-xA+- /X$-H'9qd3ITPkp] ![Py*ĿuO F铑(|'T̞+魙j `ejMćkygX!B.gI#:l/J$U=AڛѲbGrhg\I(VN+0v9eDn?e(M^IM{m{@ lƻ3l?.{%9>i5%Կi) F|1XAyJ|.TSS1?eztZXJ8*PX@HLPiKdjQitާfoH͎h?K}Rhuf6"I',e$ovw3?I,Cc+!5DgVLQg9~*-:Wq涸kPŤ)SyG!o~X~Rޖ Vhϟ h|\Id!6nƷ56<&Z滏'%` 6A_sE@4h-ErްAcam5bgB0.&BlJF@6RţԄ!>snsAob*h : uJ+m?m/JV<&wz@T)aKIÖqVh(ԚS[[O \گLUgFIQDrNBgITq 1lb׬)ys' ydCe9`9nֵ)&k͢Z MQe'}3Gŧsf Kjd x-}=}s]V{."PD] :PPnLH%2'ݏE'^zfH KwoB X;I;}6UU)ݘ+IlB2)۞%e7F(ab֣*.p#]ӔɋK_7t"hP8Ejs;jI%@dL\o2k MK^=HH6dfB*4E Y=~ ż{mUF+V~.[=X2X iJͅA(R"ڛB];w^ +M-Zw*?hh5U^wtF2o+n="\Pߊ"ꘑAƄ\-"v9"p^o'-7uWl. &U|Py6jZg0D8zNcg2kiMRd*@ 1 h.Qg;;UV!o5k wr5+l5'QobP+.dߕO+w>s扙5pei'=>lM9.!Uy0Zd76r3@G"'VuM=4$P!%%`⳾{tbŴ-?nZyլ HyՅ+I}ϊn].)٫'ƻ݈0V;QohP:h&E(!,eEG)\L?jHW$jT'5:!2K,fs] t@J gawN k!3$|F}6=_<`$kڟ?]}p*aϮI3J}U<֪glnAhږ[o\`Q\@W~aLQ<U־Xp_1*LCSDy"4𓡴- \4yɘ(y% XNVTT2T_(T,UTdI> Ε0.ΈtIbC. y/SZqc ^tXwܾǮe"_sqZrn#U_Y_bQq!!(3X;}%7XШz;ux A (Zlܴ컞N?f3Ps JZ|=|&;'Т&f@m,bDIuPтFPJ<|ltڏ̓# }& b#w=𥉉*((t[w'Nh3C&TdngqGf;gb?JYgT:q[[|\a ۮP_IKHa}c"$&,ф3tQ[$Iw_,h'BS4' cWRd{VlvS# ?h2hH(nd `> *f8F<4<"Y:>i2:5"Fx.DOt;BBq/eh0~Tl߄X5'CNn*uIC#-k4 8~ͅo%uHv3LdЫvOp*gL_ϴ{!B'ecBы²)!Q,W80 *iP5.sIی0 s}OF&W?):{aG\oF%** pڦ( @3D|,BƶEwd UvǷW"ٷ%SXoMx΁J ! lQU: zy?8C]65RkF@CX!A5x,^װ@X^Q+:a(Շe)6=e $39W}C ܗ6\M k*EW)<8s )P36@1[ka4qK_,<;M퀃lryU&WYTO40 +Õ_]?7i7~٫A%W>߅_@3qJG&Fbqsu XcF?~~;b$1{`e[ٺrRaM@m.];]0@:X9)JlsҰ\;,`+!7\]8ZVdaG{ ܠIWj[Rdڟ-9snG\۰XԳWH ff= cû*2pVw.u5s"1ofr.~e$GA8d7G.6'cDb:P?~MT$C}7%z3鿬RT*YkBVQ]^SJy(i۬f9B>O^@p`2  4.8n_V,™D4 M}&R]ʰL2gko0?r eʿ^Fbfr' ;cS޺] >pR9aOBa y8i#]&?H}zpROMCA\}帐@O)|p\/0[b"JLل%]g{tDG.MۊN{&c]0] pghe8huTG|l F>$ 9o :h'Pv)61L=9ƀfDY,Hn[M[({: KRٚ\A3ZQK TҵgM'Ɍ XIA4"TcY(&} "a/v*_>H~nBP4\nS *v?IJkgh|7* X}tjj=֘VPB q,Uhe*j8a鲐hI[ 50z9&1J,8FY~e9.m<+P9&&Ȇ4 λqЕBZ1i3Sc͌3 6/bva!щ"8BSVt#*+qr+FNË%PWY KYwC寮 AuolyyHxlv(ߟ'ٜo}(j bU5߷]ֹe-YۈǤO%83ӎ?.FuEEĒX:,KKT l$45@g~E[{߹χm7*3"<׶ŋX9o9$M=F/\:l.9{zփ<%qUMh]J Y\ÆJ 13kg~.伙{E9߷zs'̦qo(7ը>h?z4Ep EąM-լLJλou*1]̎PV΍Y2{杊ۍ rއ>˩P9z~xso#USC.6&Ca&ZFe>VEs`vݼU#2fKݐ ; il#$**tA[uvI {<JX-\H_Ü7q $/Ÿl|w 8⤑`FE_Qar0Q)ͤ -/0:lm%=V-"ja]eyI Չ~-;O䒆=5vU#'$?]|X7N#i9lT&Skk%nfStKD'bT d oM4SW".8AFV.ЅOOpD FP_6H,:E}z;MҺ[%D2$p@xNc}T0p:S !J:GNqR<8mvJ,{q @mH|"^WN_^ة m۵z.DDD):,l+| AC4ą.*c` !9*lx.^r>7m>09 2v%\>2D޻,_RiR'/nm#;r,/C}#{'!6Nrm0:#n>o*T͵"ba!YF"eGY2 TsTy w ʘr bg%bԘ"goSv.)a`eBtYlK),oNtk|>O LsM;H/aeؾH. |.X;ƘXxvC>j}5|qS[ 'Ք@4tHmsxb=6Io"ӢbD:~\]?3T6 6)wԗ@Ҷ镼4^U! $:1r m7D 6ra[6<VqDKJLLF{}[=E OW/Ii@Xy_zfFz0d'  6~L-%v$07^Wβ:$y€6P':RŲ )"W&ԨS5TkL\u~JhL̜췗&;+j¤Tjv)Pj7n-aD>'^\&kR *b6?JL@j%63dfH9Dy;SJjh^T̤fU0ؽQ ?RL=;`׬R4&, Q!F\򹤭jv#@z1  ΨH:,KH6я¶p6"bZ^w}:ףJ|̩IԬoKPqtC=ۛ^6[4rN41]<,Ё;ueu)9:̛i h}#CY]%G[ .vh?Mricnb/K6tD"lutO>1^].{d^imKv̍T u-ѕHCG!lNYo~P&HEW^1 2b H E+[%+gJ5@<'l:"%C&:'/Nq!`}/4x T˛ӫS_Φv6liDږܦ{6}K%l;a-"^9R-{ -{96FՂ LGT+0u.DiAM!8KY"NXv+ Kg gu(pbK!Mb]O!Cҧ#I~ƠGPR_v%bNPX00l~KHha17(2HgTK+0qĐ{V Ì k*EM^bC)/UxnQ,B^{F+Dd}n)7́2*Byat +^HSiGGgkj3ӶA`멜bm+kGLPS[TobqIkSAt R P5--4.]"8YTn,FuuQr(\ Ë,-GpU%> J7O`سn%KH>wgLȐ[`y|&F9}iuzVJuOݰmdr-_64Kizc \r=3Md.,TtTv Etj GD&K>Se*?FvS[YDISYYj=dkw 'R$(_"8|Q5<<Ebp5 ˦r.0ţi6T˸O7/ֵWioKp#w𯈠#9 tLS _Kq O^EXr|UDe-Wܟ۽"ޘUk8 c bnեdK My08X!!Fڬdu6%$.DpBQ nR> z>08J)e?ў, (+Wt1iIX; ح[/ʨH#^a׎9n `;rfS_Lǽ|Ȉ!Ѧ 2|A@zA$,}f;Z^K%-(sffB1{heX:N)v~fت 9A/DsV*v#Uj#IA]kD* 2UMn@G#)pςtR- 5%r(W(qUae4Ģ:l-S&4 nqxSUZӽKEC'ЁڞcĆ^Kx_-Ÿ?X> a& 7c ͩA+:TLpY^1aA%E`^JnV!fr .hicetL qWe~h"{۞$(D] rqҨTKcS3 _pP%*'<[ۈCzGt$ڐڨBذ l.6<NjC*/[rd-!cمa38#' i oVKDψm->~='K:QzԨē5!)qՊmx,`ŝSHxB={q?JS-`-7@b`(YW \tkh2-vo}-Rь |5ShdnE&ϲ*NZips_o]"s"6N/ "Zf*΄lENN/;6|O&*.dWtxY ^5;G,"H~:٧nLo*T peDȩR|YQ1й{e1W$yZ)&Fwj 2:gYZ71c7012c4353c41c43a9b639ae277b662fe483ad3e4e9593d539b8de84137329a766b1811bb0545d 8426ac7e4ebe67d06e6b6dbd3c2ea4d00a97ad3d aa70b0b664c243eb3e7f38d45026795762d39fe7 a34e9fcc838177c4243e1a36e8cfe65ebb50d723 2363e02622a4c7d7968080c3073665d74ba2e4a1