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 a1tlL ]% HOL-Decision_Procs:threads=4elapsed=476.660cpu=1598.488gc=134.676factor=3.357zXZִF! S]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bE􁊪9H2qg%R !m޻X[Hة~{S:|"67vHEe0v 5)C)vnn1sDD'.<: UsꌵFձK' <efH1 LO`{oCpU.)_E-X~{\h2T:`Ku G¹j[.lGj,'PI1J=/E=pE)j?7h@A }=}δ8\SIn('GOKBvi!X)'a~t\Í?Er*%oPtZ/$4"|PXQɶd|٪ e3Pۅuޔ4k3f ӽX†&8uzOBTEV)x3Ϙ/cO8D•F)y"@Q"PWfPcнw9 LME|@eEm)D WYy4k*9hwv4{O_ G9 V쭈T6?cO&ȓ ~rAp%,З]K.b+䦥@f4`λR DPXFT\JL Mcz .  Z Wː:x 8^:R֋MXmg Fk 3B*pҐ֠EʵBEM‰1E޲lNFڠde%\ۣuz(3t +y/[ͻ\Sn~xIFThB/>t30ĬGZRZ> 4Hf~+v5n!c[c2 qg44٭Va(,}6l{$Zy\Mɒ=fBFZ / j_J' f89j *%@cKUpo9Ѳ}J)wjw9ܽF'Qk;p +"ZR5\KLW莆{4 Z'=^6iid3"wC.,lr_c3, 珀$.e% -kzaO֝7Iڊ>Mz搌a֞<bq:ʪ@ +r]ɢ/|\g*-%WaxH}bDd{b1w^*qtK[ҼCSQxYEr5m!<L[xRLj D gvZAĔ,ΧWR} C|/Qճ1,]QA.Nt`:Ȇ ƪ^M&nlƇpxXW@ }_Zړۜ4MF稄nB[7:P)A%D3/8 uq,J4v醦oΤP˅ԉ1CˎYS8QqiT%hD$7t],-QZ'Oׄ#ہ@tÝaKb$]sG:ª l|2EYn>,Ce~wHÞVb;2o~B Q$GɗPñMe§dm*b5h4:. ,fC}hw'ʎƷ,rqmAdϭf; KpIͷ ˜d$NAC'\#=9Cvo\fz䦛$:|*H_oe8Fuж2"'H:P?x!zf~N[Zԕzy:#Jjyłb_G>v͟( &X|Π=Uȷޒв#^87Fz4Xaha&K8IT3 ;N\$v O$.2$\iUk[ް a7~`RDs(rη#4!X|Iy/#YJWxK 8ɫȎ3ڞ,ftIҐ,jOFarH\iٿi Q؄Fog(`Ղ18x;,zoG4퐎3zqV4ϵ;U@hnhKK}q2gLfEzyIVϴᣤ@ 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 У NVd pr,{_! "ɉ+[ّ \ b7K$lb/d  eIe&!:^=O}3η9 |) פn0ڡ.<\?Ū fxW/IEẉw$2Z1E]gEeh RPXO5zyU_ Ah„#sVG1=ڢ a0}F3 gٻ]SIgױ&k%{M9o_fWynd/yЖtD{I+o KfnIbnn.n]OD)qLO֨9,!>WrYWAb΢ (x{2uߗG:r=e^gtik콮FxcL2 mh-Hyx@H[܍퍠.5 YO){*wLs_*K{FBτG&<*Fǻ/,yn iTySmVx|R/ggWkz ğP{G区`qvf\LSLϊI|Ec< ?"$JӶ7z)9Wē*J</vIPg 7ڮZTEuphk$ bCma3҄UATyYP{S$n'>(Wz<'펔4a"׊֏ ڲ[Z3+ϗsPIuyb!i"ʫ@1&%]kDa#}b܁'.h *(7㓹.sxS0f9lԙ "cgd$x^KJ85ۈEiJTs|)JѼeAyb0Mv/_ll?VC>fDŽYOFhU#zxŏiL={XG@sb7!r-pCmO {Ƙ =VnM]P뺺b┛M/Vq`nqjۄՓ^rAeqPe!\\cwϒaw٤ʉ8k'퓂H~to-̴CwW\U1: +$ d\6c1Yզ=6)$(fEMVU+tl@fC7\W"CY';(s]+{' ēI^bOL્NjG7еZǭUc~{x޻WL {lwу$,VΊVMMyN noONIIOB閑]ZBx \+n P)gVo9x!R[n#VNiN A2'",XR:߰nAgF.6 ЀL*ѵZUPԉ;~HN93X8aw4QEڃxtTCTb3}RRNUQkslD>̱Lej&E#Ã{OCV"!R?Rސ*ϔ/+Gm5ܟ|}TE$TjI 6t_22ҫRͯI還l[٘1R߽Nj!N99)eHOJ$l 99y5X XX*'V?rQ$RgWnA{ Ŷ;I )~H&x?>kU]ȕAJ[ 1*b f/R&$kQް~o t ?EG.K$ݳ7KKlX|B5lzC+4X:ZzռbE%(KCz#Q 00W&jEg JB6ۢ(>vDZ @+|aQ|5^n4ў+1d'T!S#➿UfWgBhY9_tw-wi=GP-bfG Y!3LNUO)Cø@Seb^nYO.V8mAu>/z.ҿ* 2_  ƿJ-h<8QZs3S *?ד1^AÊT<#qahis|#iCgMK}nW ad7@) iIPH>`s8XqN\9#%AȐmRKK]̯0~?:D)LŽAzv$a{(_JLb`K 0n׳dAp6N4W ޜ<Πx$81 k($HF͜L*0+eY#+#c Pl\X[s| *_{G3с's XӇj\\nR%6[VF2pyg5ƒ}#"X.ށrPc#7Iw+1Qb%0uZhwsV0#Z2 oJ+zĥ9L:!E>JarI~=C9>f#a?i?ˢwV/ I6)a^9o'I LRQ(,=ges9EƓ3{W췼:q._0s6');_));{7 ,Y1Iڛ xcMMv$Jaׄfr%&Na[ )MvOj6 5},j1U~V4.= nBNXEP Bixq.zݑRȫ5ţ#%_:xI 85[+^Sv2A$M7Alfr8%/ƚ](.q' 3lS٩"@ X<ϥ $KKJ`oߌm nU)4MXW27VU3槡C T!&v!29M}n8UgYZ7zXZִF! `/]ŗXiɟ17L? KxlWP8SաM~>fٺdH5͇s10qk|gP+ASgIUBk.c̲M0v6N:){ȨQ<2I@9Ut$C)tBf#,#o6ḩNRkJJvQn棜$ qXW^ʀZL)rv+#2,Vzn0"Spm=YµR*L'aGj@x'?|z MEt,30M=HR}}h cfkV&Lh[5n`1Ҟ.m>\(k SvF3Jjj>I-<7yF$̙u"jrQVeƴ^"vc T._9AԼ=) gYZ7zXZִF! ~]ŗXi%G̉MP IyqX-xy .j`lAW8L'-EUǟ&wcB t-\A~g)O݉r R\}=LQ)߾۪IͰ&{jc *t>c)u5^iW+ Yi,T5$1tY݅l@amDq3CjKSd+oR7'lzF\P!V:A$yYYv#5*(ҪA'.qw|މ[Ŧ\tLf=k3Ct`:3I^PuFḪ[ g&N׆38Y=y&ԋwę yf2:;Ơ ȵ+@.C%rims1sU'! WWK:bSG곤U«<]*Iy70-kو`eL=_;$ {>/IjUO+p %*m yd/ƩzmlB|C\eJ!_e#'o'9;e2ᴍNo:f#HV " afUTw`TQ>f\oB`LBNh WE Kǁ6?v_t́j1qDRRܽBυӂh9+2hek-^%lSt6nGVRbwb!}P.ar_3iXFޔY6C_f@ʌAXQVp_bs 3w<< )Y+G,,b8ٴYMb`aI}KW/fY 1Y i+moY쏐:]AϞ9tg^h쯝;MTmcM8LT)a%Z̕`8h\jsWMf HD տxDULCY=O!㉒'vM 4*1B=5nʹzsX&,ƍZ{38e.n)eQ* ujH'Q>w,kUjN-*$gHҵESVB}#DTH;:j&`o}y@ D-}ߋm)I4HV1l<[i$WXdP'J}7 hws^[!A)_ %&_obnKfȽ#Y*ٵFR]m_BIsGx= ה%s^ }7Ľdtn:_[ܦcZKuAi4ʼݕ]aωg2 1Ό+㱚HVs}@#6=+MKc[<45qKժwomfg7\jHӬYc0 9Nc`챊ql|:x#\:uArPտҵhu6)4'б]|\V' z:rZ^sWv7Z̫{+Zlzbի|15RMT3 иRk]1n DQ28U0[v11qH]WD)DapAlVZiEc/f۩ϋ/EH%L[)"o}wJzqqDHZa uY Z]ʉW6ÆR-+%ۇ|R%;n،A{|ynk{i忈$ ?Z@}L$moxЧ;EH$J$A V6;/Nri罁'v$t" zW6Yf%5pPH'mm}g&\9T)il.b&C?YVp 1>vWPXWQ>2zjTDzn-C_hyI\@S;_US$= ˻YNQAٌhԬYmډbw@Y5N&v?UAG: %!4LTД\ >tExgԨ|Ez}pB27y %<6КMfiPW!naAM+?p6?Rp M޼hh2^1YbR <,ғɂ_4RcyFVM;gvűp4u\Her\g;O]g-x2 2ŻZ1γS(` U܌\(6ˑ[>Hm9.GԶ#dcBpy VAhVxӜrk!lLnDT37(^OEp#rj39{]F 9뽗/xܷlddS9C2Rݼ)ɗhp,`8ӂ1%fq^A%ם>Y|gJ VW%]~>ϒA'&[rܟQx>xR;9n/*P7eq>(4n= Arm4t-e/Zp~j%R#1ݾxn0 yS3[ZwNڏdvhymyݕq ߏqNYI:>z>V-̹,f_W4*E3^Zc*9: :kA}Lֲ [R_(L ?2;B8T;S 44G4| Ma."(! xs`}w1@ў-E'z!?gncB"NS/J9puR h3QIN:pg-tt"J]%*'[ f@N Bn:(@;;F"}L@%,]Vf'`XOo1>$Y 2`O)lez6!4i}sk*^udF7SWٶp8H56bwPB9UdפR㵺8s_^\``WhԼ[UzKq=61$-huOaiM*1\ _V 5~T/ |̴6,  0r^ROQ H!mTLB~>i)x7-aN6++<2 КWHcK491ÒTUi"3 z$4p%Xs^)v帷jh \:d|(}i~,!l4{ø|SWl j0Wd(Iobb`,B*#qj~n྾3&h{ZM$딁$ L&WVYlCuN[ _ ҄T>A3ze9ˆ}U:Gr\$e6tITlWD!2LU̵V^$(qi@,Ƙt.%t:7&I~V[tSWgjan_"e< לkM¼[֜-To$*{:&`bv G.A!4%B=9:o1#O ھX^O ^Дv-2; @=Giy"VgN 8q赤;Ӗ6$cg>j&-Y"Vnqy#Hq 6W2}m3jUDdb7UiB aKrNtepx&vz0SI@UB%d\]&it AW@u#% F6@AZ}oR}* I\v?~mc1G3=tb%%w{Q—qz$Y11h1Z ^B%RRiEPZZT"ぉbi;$32ӢI&;KY@cV We2^zq_~B1h&ѭ[9T2 .c2ã,,$UFĥkZ5^<<*WI0ӗ-ϢvŲS)ƯZOvs]՞c: Ȼl|x,gDZ$byEYJU<3!m2/j xGfFBS~1 #Uʱ\J"GQ(&uX{dƾ/򊙡[a݊Zw2OEUOv-DO;+Яu_ Ĵ-=_ܮJw>4n O7Gc_] G PzӇdil&g@#+w .yfS|IYTj2F =R}j8RXQч)JU,snh>S~߿"Hx'NSIpuqr30'"}RGF"Y[8rv5j ?MG9^1P~%f}REHԗ;ڨ^S0)ҹdGL DhmJ4LO1rr(򽫇7K|Qڣ錗[bÓ."`97,EV3 ?r}&k-'^LU91)KRfUmMcA(Ç 6K‡cW=e ~c6&$}ҟQt(\ڈlkԘiahߛCQ3wmؼc=q $,ݣشN##jN0$6BC+;LTy09hㄩ<ݮ!Y4MA5[r 6o:/3T?ԒsFg 7&u޲ ^,ՄbNZr 2MIL!]%7͙\xs͹n<} e@OG7;|(h$]AAcV3oZ6x"pRN# (SEP!ar 8 #qS>rf|;P'z2#TEUX'Ad.AKq IM5(gjR-iqUxHw]o9 1 ]7U 4>:bqٙsa6~T(-Ogf3 &(4D q\ÇVߣ%xjsCϒ-Sjn?uz 5W[3*QE<8[ܹhVC+..2 ;Eq(#؏%]m 9g| e+zyeB©v_~~`d<娈aɞN29O@ պ\QL48MRD`vaʕ7]\S[sa/)u^5=  8A~_q#l1v~NVZ}pWNݾ/b3#:~z,ήq]8՛UE9ICujr$=V #Ll`2E!A!Q^eZI;Y3nÔ1]qw-yV 1:= APe֔WuxƜti'vɔAD=!sra,>ůe~PKϩ*u69ݎŰ 5oM7BPG8?h7&^<bu urpP䓂^ecqJFyM0ڮx@v;Ej XJlZbpD_P`.nHe>Xt$fr5KqtIw}بT7.w;&3tAwirNN:L `Xj}ňݾ rjVS!޴Nܛ DrN/k^Ard|m:qgқP9nYZ:!( 0vqn >1_3kgD_*3tWN?fwFK{{>La`UXHoS$YPdAj&cް_ՠ6@9:𵵠nW¦D7SZXLs qWU8ɓ-:@xCIQ~+bj໺tߖϥN^>c=f|A!cWqb)T=JtN B8<haw }p^!ӎs|>/mcYybߍH+H`0 `ayw=hh0RJ`Kdvߣ5Rf˂;X =[?NҰ9t;'rRyv_gTڈ/OD;f޸Hd6I*׫B/օ%`gHyZŝ[yЁy̳kqjcOR#ٔ'yVIKπD؆ʰa-<Q7BOt\&H}uG_eHr TOA?ޢK0"Ah%G UFd@‚N| kJNw&J2~wnt*Йу1os)WX9ޡz%6ذkY7FشKF :@#>]X`&sW1 j?w(6tңzikz<7.K @z\YA)nomq>&@[_x"xuz>Y KTI =j;B8St" 4Ոe*&^0Ņ+y=`3 p3Yɰ5汬MJYaӺWw{nzG]=П"( ~|.ىҡMt;Cӓ:㏭b ̜oJ##BORoᇦ=G*bW+כ@RWP,w%=g?BDXD}!o%\,2Ynu8sȻk,Į$.s6v6v,ރPֳ-S1qFV6OIK.)X"m6$[z6|{|zn +ghiꘋ?CJRWvr^|;wwW7dIF48K>NQN@57#t"!e z22Ѕ;C+c{)ӥEZ_ @6*Mt)[CCy^-G2zz@6x  Zd\&Tr:Cڨۀ.1qYO&?%g8>c2ϛP@smjGXP*/]U7ެ66ME3k-gc;8bcC@ W5KTQ =<:Q͉yV_DADa43;7\~z@X߭3(_yek֋B劁>U"%<+$g+z6''d݌ ʰ >ed ,n!YbLFPS4 -U.n}c/IҴ: 7[oF <*OSculaC>` GOV<`ju )T t@z-T74$Lz7-뤐Ng#ɂ,)ܠ6qn:~`X]`6m\>7O"0n33t])@9S즻CMOQ@APfwE6 Yu9%sIꧽ>7Z5݉+ *RP+bԊQmoTvK/etS- V+asV0ߖ[Tn-8*AO[fy@vğzPu0-d;MxnpB*-3FMmPP$Y ZQiod=(Evf!#'Nn*xn__%-s̠uZ߫>x.yTo_0hCJxZ_'_ eӤ0\# ߈~':S9(Z^k1C.*Ă`G ܕ=!Kr xu9ջ;ƩY5M Xҵ}*Ta! VHj"ӳk-Ny;K0A*qUTH9E"`b;O{ӚԤ@t@ c*K s:r%Es?NEkS͊   qYU\S7XHT*(!J'?!d`QHr^6wѯ`GCy1ScvBؐ5^j-o }+<OJݕH͟[.1p9TE-t.Nmw[[=ᕫ}v߬?hOXΚmvP,rdH5ɥ|[b*W_: 6DFHo72j=5s- @㐥e"XGJT s&&f֤9NyXr~ "`t?Rq|QiP)ROA2][G(¿#1MƂn;[lS#>L]ͥ%jz`e@DӝPB̋TݓxOWnui;a*^cf}sҰL׷w_1+tT!AkjpK#=6&y83;؛Yσ2!c|pB qeP1Ώ_':lB$V P\]os HBf:34|%!ۭNVMQ?s>qjʂǬր4p5xgϑMw`q𮾉 c(ZO2}^~!ɆGS" Xw0GZ^FB+>3D'2@ bi݀jeǧjPȚǽͬxLkXj_ --iϚ|t|dwͯo/QjldzGh' tr ΃`=Ix7b} NQ0?+ػЖb.i,Lb8F=@K2:̭% d``by2y&'lM]QZPm79B+˲>QY?a5߳TIŖ#X!i8RevMRr1e'˲hYjl1T:WkttoX2}NIv]H7x%1_770@9ty CB+\͢ш$L8zR;?-![ٴAmAzF9M o7*$I殒Y$L\#*h37pUH(.PnK9}sQ%7 cŋ{ZYb"CkfZF{Ro ;„@#2:BU5mYhk/ICjk3mOtpެRb;O{g&ڮPE%/93C2"$w`yzIrunR#䤤Ul2By7Ev DUJ4 C |;{)TvYtP|c֏#6SUe:PoD.ͧLjBXA燣HmOWP\YivG nvl>Y B_ rhoF0E9*:_8.ƽЦM-dco)HsI* Vb qqn>-yU y!gi*ݺui5%&Y_euaIUհ[?*t;a=cx* nElUXHC;B ,x3?EQto~˼ D}}Vks]P m*(ҵqv9xsEOb<=YI_UOl ,_Mb1m ~kr/I\dQj!;+ɗ`¬6-5ON@Fl|p6a3r`!+1G&A }WBLS99$gDaRӢ'!ԗ^l}bNvCf>$i(>9zsV8~cOUb<کN'p% A`;roU5jm-Cn)@K@Ԣ'+ϰr֩r:xymiJݻ%˟oJ?Nma|-TpbCcg֞YZȵʊ3P<pfx:LSUAv=Aj[3pF(\kxӻ5aQA:֍ץhₗ?ʅ]VP"2mj(Xz}7d0ZCSAH'IM sXf%es16㺗K/rp{3"E߿%2D4+} UvC$("x8$cD%[ʣpuC %~·zQ>"J\o,r5zFYmx|hۮ*H'@٦}(HjiQxZ{UTB%rƚ0i^8Q]ylR {`8{=I ? HBAcbZZ\+ z]]B[ V &DUɅJ@I>A9?w1f*[׹hnv@QA Z]W ҴSGArL_=>3hnϼvHfqp/vMas +nnCV3hY ,(y=.%/'vz/FN2އ7\5O'ij+座E${%l ij.mtTi,V6XSuOBzH/3=+:#SΓk '}V` 0d:UQի_rs=`-Q!;<69qzb4% [x_Hʽrv⁝fdr ہ+GJ'7+fo qj 0㗬5 &걙S7 *>%#,'KB(u%P%Mfy9&X {VhfH&- ٲPg&giݒ^[-1)uswB\DOE(I]P=ui{%CIZ 4+Vώ{BI]6K(kUH4mM_F'g_C,ttx*hM1~ݑ?b{۰FMEA.k1V=IcLvrsOCFٵqn~? V345v} ;;BCC5OYQJ  zp(F%]2zqnmcU7.BD톜{Krqw-%q^M;.6ɄC#ey=0QJﬨ 9=5}_b0#:YՇh^2@W΅[ӂ Z&<vMEWU*H @liU,)Z f@gt!5.mk6Swa{4f ٕv)F;;=ҰwF[0 O Vz@GGgT"4D+/smf X^8S:^w(ޅQ>2ϫIDW1FR!EO& UmR+!}EcVy᜜bkՈAiM ,u4 ̽y062#$dal*qx.pWP'`GSgwq{ؽ:Rx0% \{1p)v) ]l&z19 ['8"䅛&XWw4VH$<4ou 4!~WGoX7 䮹4a(K`-IIwRb<v drIm߅T6HYsé %AH,[SCHDғބuX[³Pі ~{\"-N. σ^2pTTɐ?b%h96!ueTtޜ/QfL^]ᯤ$AY>\`<C #؛ P(MA=tq"BXcfɤoi{nNJKT+#Kti"*է\2jXq$\FnEM~|cȗKׁMn7H CZxb-}vr(nQ92@,Ztz89St| HʄVKxo\n[T,gZgzRgf" )6[RWGXm^C1~(9u׬R;:H9/D޻-|g{J''L g)|H'CҸwcpDBYhnU02FRK̹Xٝ胨X*z;$ O6rVN$ғM؀)_e&N/Q͠M(&hi/l"S{nh|v+E#', f M|x53Ri'^ tiw#I{e٥ge(/ oolr]jYYƼ": l `L@}$U*gF{#EB S 3݆%ø⃫3Oe3x$aW}RΉ}=ό@oAˌwNvA/xؾ)=Ge>|~XRE#uWmlLU*٭OkjH I'M\V*NQI@6(< JÉ MѾ$W{0t: 0;INjmH⨡$_p_%[}5#>|ހ`vP Hk1I$acfvO@P$maVȐ7um=Ŷ H+)/^ (1k6|P{Au t4m:zSں/ sҞƼg8qOOً@0ƖQvH(쉆`"r9c?)D,&8t9.-{~CiAe=$OYR(-je3iYB٪v?# P8/) "YO$X*5; UyY Չ:T#B̼Qn|A-Tǀou"xD,y71sg"䌨_|UAQEê{"0#ޛš؂REdV [E`H:Muvz S8Qoh\i-b|aur0ӷ#iNh[ϔ/F0@$n&~U$~3 fX7[Ju61J+ E!_y1yDA+*FW<_DXkNպG*/h{Pfz2$dΗGka>A@-,1 ;-;P,,sdA^  Iq9|׷G+kjH L 0kưSrg5 - t[w 4II*_ ibӟQ!lQCK@ S,3zT0G Y`jY \(l`k:R-QoX/L 8a<.ZμdN[#ra3D ɜ(]&%.zN榽]=tkd 摥!E-E4ϑcqJKn5ٞM 3)p޻0KD:=fs!9ėNt]"m3©iɞ!`5ᓕ"趭<)q]] RY7oGv@-r`kg  \s)N(ubum0BmK)_F˽Y0勒C^*PokD7L'Mfb!̾6Ԕv&&x5dmv.9OG9Ի]N*=QN 7 ɤ:s ~yprٟ5Ԑ^ZfJDL~N$7GʻKꉞRwV#-GkE&gEBrRw{L>Fj,2dckB<)cA.Mw-g$NS>zXK0_uE"IM56.bxU@tj VUat~v j>s~ ӫ_z˭v:0=O;?c1>ϠpAX* CaȹmP+.Bw3~~潯EG>W k8ΠZUl0e8Vgpݑ ;Rӝʜqj]?)6fR|KLA˖p:~HPhg#zT΄r{#(P'Z+;S`;y<4$["._᎘ @_R\X]Oԣ@/TTDU%Ad'(18U36|̂Qwj-P‚ p66hgQZ39"*pOTC#Nx ˸Lzs' u.?f@guB GY{$C@PdsjsV{&IUi}.~x\uǣD=q*QX|T%lM* ︘ΣpJB$< ע˺8 &CEe`*%d_v4_W ) 3b_Tt) -RY5>P(myW2gf&|S "E_PCcxr݃d4(Y[oj%4~EiG򢨹CpZj2ijK@6*=7 baZ$(8$΅A{ X`#\C_dPCA*s0בtmʍ>>Jc !dG6dӵ/1iY,+ <1fh7mǙjOţR_g8GayHJ voœ~$՚U*Zn\ Pk_̃Do(^fIt#S|٦4dD`u Q׾xgE "zus;$o6sRPHmȱVJZt'vctYї8Py! /H\T' ;?mP|=w@дrUƩL^pCo*gG%{Yp!:y &F}ºOs 6q}DL"ql9=ZKp4ANZRW;Wu!hqne/nYo=N8 ebEZHH?KB5r@˞:ю_,%Bݾ+sJr(]BgNƗ 64qo=_`>~}&Sb/ZgWW 1\-m !J1q6sTJ3婢͌wGQo bmzi,I !o,]D^Fl/p HQJۍig1.iQkk3ܙOTz#l\|Ȇ{T2ýcSwUEe'*{e+j}ނzc&PL?iUǖJn:85+rV'u q6l6/ UYwW T\h_/j==u?hW'kOD( 0$ A?˞m=®`9úWs).'[ENIߡ*@[Nȉnp~']I|G iesUڧTFCl!`wczY-bO ^H2>c+(Kqp4~ZPL=6a Og߁FF$Q^j8o ]MU !G|~2EV4ʵQEo}/LV! }(W~ǿ@Y8Z/ۚKS+gM,Rw|xx-ѷ{c?<j9A)G!8'X뽴,U87W/`dyV,UCڮ=kؘӢ޲d {̛LJ0hv=xOoUYR|⁊ド\R :bC͇Ej-bq%F:uO_-h7~cq.:cR5nn>?u)EC2V}, s;H rbe˚m3qX"y ͞`i.<"Kg2Dz|kuUg,L߯ڳ`iÆHw"; -|iYf#vW;]WnšH~U]`Ϋ BSguDT#ːo MZ+ԫL`ǨOm~2K+ˀji%ei@r$>9 e($!o:މ'=y$'t}u.0M3*VsXw,ֽ^uӣn"pYZ^pgj|.DNdUwm)AG"Od_[Eٶ_E`=TGPHPKppk6 ʫCV|ШM n_|0ݧYVwO5Y`Fc/_b|$Cw@$ O1!ѥoD탠6ay0}29el]if JܠTK^Gݿ\C3aa.L\ei{1ZGM+9VEPd?3Ih784M(BtL }Yڙ'&R&}!vlC3"S`QE,I²5 [ ]ư"XQݩAu2|Q%)d@!b+fP<1KJ #Ѹ=6.XhVO9JJ&;+0_<:qxXJ%' HN O612:;v\'E|8#0*W9|ЬbYݔ8_d} lHNnѵ8ۃOlF7 5b ߲12`XL$b} b9KrSxQ;o`vX6cPTpll1\$& ٮj [;fVv]Wڀbtin6i1MEvF}+ 7$xnrݢȻ3 ;%P' ˧@_A,Ă|i4ȉܬ;Gc4', O~jqujc=0 Iq׷YT CZKXavmQk2JrݯY, ;MRYtlrdr 3t1DAXƞs]8\fL%y$#`;',ls N aSB(TiH 7qWvKE \hq''wLys-CvS,Gu7 wnlVv>a1}7\x0tv]-xRJBP;g}pJPOh6 `ԭ$:sH˛@z}:MOYɶTޗ3s|:)جrՠb?؀.7[27܎HLf'ҚT8+MCP!j*9)@ëOt*V 9CT6`p=*OrweC~`?vw^uڕx76W뉸>AKEBsr6݌'`p4!aEY:Ǜ?/& R~MhF1:H{q+V__Ud)8y'Aa8h`P" 6i͏;@<'QlԻ_dFZυjHW0LG![w0<XR+5'\--eF$mo@^kq-~s6}SaL!u)dI(&q/'=zWXCl5&Ȉ?r_2uH7y8 R$lO$BيNJ ']J‚&Yh}[{s-dJZs]r4 sFW&~Ox‡6]]'T׀s!(D,>o ˢu`Y & 9#pSJ4E5:jqvas1JO耔BgzM  u.aW3&ط zH& e@yjWxW j"C63B=P>B*s/4Lu a5nGz` Cu))v.vz2Bb{10߹N-8'a;!鶹Xs-IGzz0T%pA_y+{smfA'2\?/R¸ 0qӄf~Jqe}uc`xDgBX1;ǣ⫤uWvFE2@#5bb4۲dqA@$4$N iq'K $<54Vo>p4q\C9|^CP;_<%?8c9+֙) )=/JF AtrG0\v* bNTj4A2.~{-j.!q!b=3ިAލ#< v8S,hcrجX?x:""Z@'k1D8<-{bcF-z;d$8Rȗs SЯ2(Y$ʢ6s$KAΌ-ڈ nl(٭mGR!ҀMflnH0i iM>Ny4׊*Kp>* ~e0=b_٧vӷ!:P(8yܐo>f{e_EAoS3oYr28Dvqt0.;|?+c ꞆIa4#Jɫd=`z(f2;2_X^'~!v[p|,D<)<3c1[=5TN,~grp3fQ0'#;a˫%aàjCi[6+U[1SqjkkHE|ʉ ,kKP>+) b#nբɂ\JMJ]р5UY:`r' ZҞwmpi@˛||{*T>r {%S@W`!@@^HA>3DG@0aKv.<R=^TذEOf%/DIAߒwԝs4pWEZ3jf0d|̭YF];Yݕ/Ȼ YӓSXJ֍'D kG-Xz\ +Qu/mǥ ^[.Yu[53ʄ҉k17(`F4C/ Zt?ҤDUyF/Sb;aTݣ,6juvu^Lo<,6=#OQ-fTE~1ьoHf_,bSEVTQIGʽ`ƒڔL?@=>Pc|γ+z\30YO?iJX|dJ{ B95P۶ҎKjbɓx->NM^Z5܁i(,Ǯ[lŸ-KOUNӟ״E-n~Z$A:^d1a}Ύ gG$v<d@a/. GtĤ,ʒh8Z4%MDgϲq. Ĝ@/J2UPSvX~wƭ=ք7 pH> XݱG w\L}FiHU+>;u*i{cLJ.r>ڲ+u`O-ơK1H,Q?lx͞e]#޺ y@6ԓWmkN"=}3\.dKlW7 ao^.gtzAWϜC؊} (5Xq]\;EC $oqAƌ1ErIoOA ljSq]=# ~mZjMX3{;t0usqK5,5앯,su%H1'SN˜PPV-0C?9@X+jo I]c4_G7r"5]ԘTMXN,d*TǗ ds{BԊj"Nj;f68kS+nyθ1BD__5Ur'V 3>ۂB_n3.zt:]n W`~7+'nH9FEH-)A(ޗT؛m Hy,ͼor/Qb~[r?̱0ll]Qzoy,(ۭRaHO<8.`CϪ*9IkCBB%= h4bĊWwi;-( p<ii)A4=bۍzq*.ǻօґͭLUA,.V?[^\U|{ ,[^O;t g4#8"V~nCJ8X^ٚrǔݕm4"΄|g$H]+=O胼ǻ(o n f6@o}|6z*p{&0)tY|PER|E\r4*ѦNRm}9?!ڔbbS9NL>F0Л,=,h oV:|gv`_czTCɬ&`Xr>8(_)L JOv\=K1W_CM~<11ب$5 15ܵ.,Pf 8l{?_ʢ/JoG7is^/e c{ARcxt=쌳, ^~^%JN|!.L:kJWX˶ɴ=Cc#ĺ1ʭץy5XGY Ecn3Ddv`0̇N{T磙J3Vh4Bh pi'Nl' +=_.ZnYXNde #z,*+03h *;:$L/9Vr tDz{K5X=ײZړ @[Cg 6(1$MX{T6`Hj2A :00ύ+ Ȍ-:gF+m[R3ݭُ,dC[*%Z9gMYQzF@-) eSzIl+սሩ9'9j->Y/H礛)+|a!Pą2v"{Iٕz*S#ȾosNkf@M|sGO|_[B*1yl SRYۋ'E:3t,?:!9 jp!E8 cH*DIl N{z-@&kdV= 4:6M;cq'Eo#e@uD !bVL>Ig cPA2I⪭CpRR`I*5>ݭ,Om1"b9SuD=Ti fGƞ'`r, P'̱gYZa645f25d484cb8d42c5c7935b2a70f5d70bcd5fc78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 dd5a66ed2ec6ee975e279edd847d2bd17a3726ea 4909c2e6b1ef8105dcb0220d99636907a8a8684c 118dc90b8362379584a15b74798f375d94d07ef6