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=255.950cpu=1138.212gc=156.940factor=4.457zXZִF! $ ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1\0suA JlӺQdPg/b/gCE wi:szᨍP.T A`WߢfE&}_J(ۖNu`7L>t@Gnow-XϤQuXΠ3S@XS~{ƑK7TD9΄WdzK;4lKHNjl,vHuknqs0|;2E5 G׳b`$jp@ 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 Y!x/B9s+^M)3mXhFF!dҽBe! Ӈ?P'>&+ 8, W]h91l`S3Ɖg"dp6>N,0bOKK^%d]:qΗiZo=W>:}H8:'ožnrػhV9k  fHY-r:FìO6ً%Iky]\?/j{UCF_)ϽIUCޛVgiOHGEZkZD|PP*?.vsPAݤ M+<jМ?c ˫+GTΑѴ%g[H&?<C+!\߫IWP; kK4,[Y^E︩TqghAMEduihz@"sI5>xX=?h,N{?>',ˡ>t5<܈9%n<׋XC ?=8M:}įFipv2b̂)6Hh18,aU7)R <7ׁ%jzzY#*6(N#;Xn*y!{Bxwğ8|$W{!7_Nҫ[j-&:)C)6*eR6D-@l`p^J7 8THίUm_I7mJ#27 ƋpyL..IxGy;UraCD,c+˱>/y#ަdTҢRRxP3B ' !b+f_o7VIGj>0%H{}%1N,ot9xA Xܳr]JB>#@.tҰtBr q"` i^wsWG앍hl%M8Mmߛ E" "=&D exe:Lēwp3M4V_Үz8KaY{ (Ƈ85{ M, *_Z}trBPeEq5nVEꚰ%1_Ɋ<㍥|z~>- IbI#`0*0Պ=w螂דء͢R{%#뽵 *#tyز89K#CW>&ˬnʵr'uQ*>SȿKeK.[n๧Dۙ ~55R!,mdy}Cek9*󇣳o{-R$JHyMg@1)m#M}I*Щ)G㣪\bgwݲ{"y67G9b",l`o7h3BLW^UgTXxZCn=blK*Z δqS\:4忒aK nҹw4cáAJך 4~^bX22?y]EeY6_q65  572F.`/}ʏjzgqVa5kD(1rthG|A's ԳOG@lᾒF=go^'=ʣ4h Rjats3Td jֻ žξ:=l06!b6g3`!H `G~ T2nB 2CL~h*`?3Hl lʚ$w\Jyޞ'#_/!Ȭfa^wm5B{Y&X$-?Pmc Ji~f'RiRE2~(q :O7P g8u8pBr¦*Ea8/C?R /ƑybZDsǓDyumkD?Q2$@KSޚK$OE$?/;fosaqoZ wyX?MH1P < 2ps'2S?Hݗ?Kk,g{ByѸI~`hro)i.$_n~ on(b?drѐ"edT{d4&Y:M\'t:'VaCߍst%[/ًlOS' 6E#NƜ&5b>m7񚖰:rvCB?1HqXG_,P\`B${rc#(^.@u}/H,c>-Sbo׹,z ^'iԥpVH!DLt!'ٔyi7h-\ "'Qw 5FcqyZ؂j>>`#;hk=BFnPr4_,PjO,H%Db,(EaX͗B/`yҵI֎i%p]L)oE-OPAzM1aY_-ESL) ,2ۺouHZDI;VcQ} x]FhCU塽J! .Ae\M~ѩtTsBUq^ rqT`ݻHycЎ5عVv5 bBPmjH9v)98[~sVK%(nCӢg 7oc{ai+ h.&wٍn]0VXg?Vdy +W)orjk]نnẺR a\6_MмQmb!^z{0bYtBP }I5t(;rIѯ.8wdF:ἲ"7%!'nawyxI" Z]e{#CA |Ih0=M|'txe jSB+KԿĶRS=GiU1 տv"CG}4dWӼ24*A$a%tR _kj/'Q}8JnQJb:bwď !8PHwzPH[%HEa/Tn&8O?. OMcR*7M( >[#ow ?w穽{|Er kC`޶e2Dl2HBpWI91.6roYµw A^=*\n}ܩVVr:HP#[?'7pT(F:!nfQ's%pO3K8Ӈ|-^ͷv1K}ՔO&~ D*O7n P6Loy1iV\T'[骩V@W *g?{tԸ|̘{ջp/ @i-=t]A C/0yt"'Hh-o|9D*AJ N򍦱f􁱙*fE^#S``CbmA֭Ȟ z_؜]*}e)DCϋ{͚)?RΫ{ݻ2zCZHFO謀0o #]ju}f.Fٞzc|udL>%~gMX}dћ+KO?CMdi+>)Zm06JKdӟ͒ +5S[A аfٺdIćp+c!c&9*~~0 ug)EݬV!9wHjHкxV%Ruڋ4[pxrϛgaXޣbWAW -<4|utiGk~&uh_s=<^=<E7[C@I6u' a% ])~:GrAuґESZmWV$ iT/5C_& K$z>E& Ҿl?&< 'Yz#kABOuc>H!^_Y-Fynu0~t> 1-ӜbpFWI43.!mW6T{7N5| BƂPGB/MJ@oIŕ^^a0+s$"#]aQc_+Ug*_ɷ533 ODW\TgYZ7zXZִF! T<]ŗXi%E\Χݺ ٮ n$Z,|%cǗ(qjV+! I 7籙-X>#YQ'!)/+^]Kp-IB"{Hk"Ma 6e5Ky|\;K,<1 *h $u-U #ͽ ?R3!VQ}5I>Cf%Ip ~;p@EVIv P(1ǒ ׿"$oCtn0$B<6D0W`y=qlGQ֔7ҡ>yjL񑫤.Ox`pkd @$4e(9w(Qjv>X``V/zv0LC: =O2hb&! a`h?sR7ԛz$Ads$E>sC6xO0`ceL ,A+vyuv7 7:,X\PW[?VE{הN/ ; M,Q {փ !*$mS:b;;5YIuڢ1j;_5xJ$:}+kKB? iR:%e4QzKweO,,0V\~a%NQ%!v&2e I,Z:Lw٥'%TmqaNby<*`Zms%ȢeWwƿv_i[㧋&2Ac%DW>bMT-Sdڥ<5NAS'=0aMu`[hslSfuNPGJуvB(gEZP84tx?౔f $~ zo<<yK@t` 9Ќ1j 2!=RFdT0oW#WFzmQ(Cwh1! ߾DE~(M[h9rmM.Иe&#w L9C q<# V&xk3'PfP'Wo=zh_(ƕDr!ř_[FT:;;s:'4gl`|0/RaN0*$+ 1|9:^ կ$&x1Q߽ dÅ'\͉Ǻ+Rji\o>sxa{GAyXD"> 3 f fS3  FJ@ǖqc{Xo"C\*88^ }S XQ`(b"y|>vF]}XC裙?-8Po`^0Lswd3ȕnz #6܄^oHxdw*sAH@R܉5 VEz]TӖ5_c|d {*ʟnh8i ˾Dܙlnvjž":VdA^TMrK禘2"/Y,qέ/#b ;0eK,}@)F|L]TvLL b Xr o@\Cj+QLJN`4P =owOTҺY:{ {">.4wxFLϪ|!cz~!Adw488oU>,ۋѸ."Ph[r&)ǁFv.8돨BT(0|w\F7*je~f[ F6XbqP"6- JAinjsdS{L/ lvEٍ\QGZJ)hK77: c7m](TJRM _L<";MCFG2I |d"l GKV#> ly.tRg8H LnlDfQZO?Ū?G)źI>%P˽?)C~}$G۠RիY4tT5]{`!rQO._׋Bc=~{yCG6&Su嬆&ZKzPN _!Q_y_МI#^ZOd/%D il])Ol$3M A<+H_ @ebxBn/>W`A2Fg'+6v . /GTUC:hRzf|BNqԌT!d8"'TTK}>ZcR cHxSs#8 ;_7ʀ`'Qb#kIR:HmOViOdAE|ʹmT* ߠK^UƶmeydE7+'_m=Z95Q6v4QH$a t|tjo$="E2u{ֱ"~tK禃NHߔ2QR}m,cVJ0!̣`SdFyq\Zぁ.=l{怰P "oBoaRgVG^o$yz9W#XϬ;HZ1 >@eo _*k|"ܿ SC0I"*R'sgQe1$Ўd rywFċI+: y|5?go4xR~cOo?9~&SuM$rugڌCd3\FW桨0D*i]l^tgr<N!#J'hZuP8Йl~]g٨&ɣ/r׽ A'vrIu}PE⽙V琏sV]HӅ nvpFqu~ |6d^ Zs^WSx ^5U93*~s}KIvF;VhJO;M_l"E]}"GtZZ0] p>Nu. m`Od73r) bDpSW`MIJ/6@iSALf- GʏzI񐍐UFC65uY}c>iP1P@g%h|o|,xAEMiXtw> J~Ջ3RHbބp~su 5("'5b&Y̞ذ,X+Nœ@lxF<0qPc>v1%חַt3Dіp~&io2N!]%"^fkFj/I,]l~l(,{gqnK[qC_UiP#JWGC8PHiI;>{DŇ0 d.c?PKQ!5fqW{B\cIrs _"L SHcp4{{ @fs%{,= dDy3h 9/,g*|쑧Ͳn^ n+nzb`"IGU(C(Cg/yen7qCeVwmErZЫ(]>!݋rSuN;O*B=cRԞS6hrꦺ'' KU.57u_s` R-i &A֥K,ƇqN}wy6qIԩ- u|T6’Q$mƁluybsTI,11esW5zԽ_0uV3iWC>Mo28RTRA WU3^BbXZ/i_\hG k+\?9@ @?rߋGĺ[`GtLoX+(3ܵ3l3K4 "VcHLD|pSޗ2tfGfٻn.h Nx;Ƙ%ٝ"`3 ֢o KvٺW^{!@ z`fgcćI_fː3qsBp:Ԧ/}iW,[W~N}r*~8 sK@n5fEP]nAK9mQįZ.3hF ß_PY Al\@x]BLm(ƥրb4C[~yfVܝE% ޾jy&5JfsԐ*1;ɍ um!sRۮfSMu¨ 8#c{eOnɶY;xe飨kbβۚKaN]՚o( I<[h*4w0ys,U 6{8~68Q)eaڝD2a\H4r.}H?rlAL~KԞ>DV[+"j;͕d9uW'毖IbZζT÷nJE@D׋[?p4͊V QTb"jH{3IAJsѨ\\{#ՐQ=\-_P;)He]Q^C c$Qj!r R`B4@=U}.oP`/ۚ.އ ~X7$!hbDٴU ±tG=#2жkCc L;XQ4y&(m)2RwD/dD=m;xч%DObE6a #3_SZ]pIC$Ŕ'I}uEC~4b q1밍bѧr,&^FR}rLhW0s}Y<٨fcF#4ldM`0@D9jHizӐ)(Fӧw0UМ5.m!ZuS%ʟ&pۧ3X` {8HBԂ>"]iߎ !4Ŏr{% ޛ7g&*7 #:-r:ũQX L!yAchtS~=`sHOcmϢYtO[d͠-* 5 | cF2M̎sVc5 w^x`3\A)]|L %9th>sBcM MA@T)+iS<䉷Jr ؝r?a"4QM<,̻ۚ%,R!Gɬ\YdAf_Y QE'vc#EGr}p#CB`T<ʢ0Y!pI ʼ%Ġcۦ}k.frt\\ O. -]%¦e`y\m$Q$n;%荍A;:I 9)ĔċIEK򕛳 RQ s|I9!S,qm r,4GޟU!ܘL}H-o`w|wfQ1"3 +S1^<]L2v6s>`UJ;Ζ5܍y#ho:x]`aq276ۑ \<){(E "2q 37T`Dc6ewix/G3͒d,義d0F2ăko(sʘ;L@j2Q8Ų5\LŲ[[pU >VȑV[²LyzMX%}л$WX3ݗh`Fo)vAb qebOa_%CšO[vj_ËEһHuFAȵ^9iT#IYfCQUNVpFl|w)J|D׉T{gD&n,7pѓ=aO|"ONLu6'|0;ŒڋTL1cvϏ7 #vᣭ }"[s[ k*cl@e/CM>Cd1vzK ҿO+D^j LXަ^g-1皘F4;H8%5ǫ㩅 s„`y1(^ l0d7AN25do-au4r=VȔQJ l\;ޞo u=أ8^xZa=Ѩiv=Z:h\<5Fg3J0tA`739i6sI$Os  0tN#t9f`v l(#tK)e Ю0&A[HZhshw8h|_5"f)OaU#.j( zOTY RgIIYzbX|Fv1T0ikb_ ~e~T cݵ5 U 9 L{tNAC ?R{3}\Al?CY%Toy Mꋹx'F- sg8M8G&Tx&k>d,=Sh :m|o/ V :Z-x^ܔVK{\ZqQneChR]Y2SNn]ꯟ;fx9R^{ GQ*^J2;sWZY2C6ﮮ=30r^N\z8NSRK'OpkԢY4sTL|mjKa}RĂNOod7'p赤KUYc}XVGx:?  x+ggHoUmr+TB%g M:v}VY/ $_5^ށAap::m),e&am+O5,~2X'4v90#O0Eڷ_\xcyT Sw&rO3>aEm@x2^=@ ҩleNY?1ǔDn'-s\M@Ad]찇#׸dy%1D焾le8񍚁U?-Q꫺&ނGHz Æ{*3a4B eKs^BEF_i.!)#_`)\鼦3۹sV~ͽ<ޏt +hgAՓNxqOԐq@ydTC H@7|G,@6jW]|ۉCo CYuD;2wFQ R]U+(=^fG z(0k%l6bsE kl)~c+ztyAW:NDᷓ B,`(7g0y YK"N'6zWҁUb_[_ B@tpOε8jŠ>/ͶD O?',fy;zmq56+=UhA*p:3:ڭq7ݱN6E9F)rF Fm 3VS,ܡ<WfňC|>368M]{;urs&yORدgi1bp9-߈h yc$6u ;R )%Μ9(:w;7 GFhjIϻG9ӿYP:_Ӎ KXR>-r(&_5rrN]vou~N! Qc.1%ki<$wY6%yQyDS j*֢j+wWUܓrzctcV`БSе\P5ѽL\䬳+i{˻+AA#"Q1⾴-"W/gGkMvй iJDV4;[,֦X9ԕn'pX_mRB0>dc-P1Nw6皋a(g%f؃j()o~+d "Lnٌ /jpC {G\&]66jQ(EAo[Id^u"|oJ(1C;RsH uN"T*AcKXjitoT)R]A2#zr#ME@V+# )!`;<L :˻`fh۾&&i";l".,ȼmUI0=)Z~NvFSb }Y=W% D',,ဏMDEhebbD4eCT<0_7Wo)׉E0z^Jdg`^1f&A] `|YRzA|nV{ 'ӅM* F[b&/摁J+dO8q-+i6Rb/XGU/}75/( VLgj6FtউAwo"̶f\R L~yg"/P0i?bqu:{)%=D淂kGΓZWx`φ\5Ɯ-!CÍFzi0>V\{-Y;B8N?<R v+I#<̼9s3]댷o3d^-jۓT^Y'E&ϯR 0TK۬Zz>&IG ۅjeC+¤7ȫBW[bk2 G#{YT>S MA Z rytOwc!Eغ([~Ew#Ƙ Y t-Q$(FȋXH- y,'/:p:Q:.Mfg(ȊܸZTQԝ)+O0ʏmt)2uCh߂2 y˪ҾIXlMg]c#H_7='7(ғlkPn j3;H[41ҝ9mƟ|5LWx.},II(OTf r,.sc!T2t5ZgnT-C߅9rhwZ#Jur=mg#rA5 ߨ9;B_)X ǖ10ҹ9YbJj kqέH9 <:Ƭ7|D1jQ`)-ZjÕr{?AK|$V%4 4qr/Rs)tCP6܃c) v-u֠F8 pW'SAhdAx'<2SŊL5&Xlܨ+JP Do1l|X$ޗ c*LШ}ٸ[7UYSd;drct-q%uopbeMNWծP@Z{ZW";Nd%䩒j,Yp *_&:oU0VdVc/PTA2)Ir}K;D&UKX͙G]$9c4[KnZmus6V(o\öp _f j!E'3$Y%V%qRiGZ سbO% l =Ĉp8,Or L;XCu tkVd)${|;K*"؈ qJwyƢMb-1Yyo6-·JWfw N)jNO)m*M@#4dcvs`(] /Ep9GXgD1o DD˥/QiѾ6KI6UZl l@>L%q)l\89B4%:1bBR;t2 P%6qFSdlQ8Hi@YGݧ0ha^9V3dN=bU#v4M\4 y3l'uQ̫ۨ/|h/ L_k:}V.NT}0uQ(dHAI)Eڎ5qݍ>4ynռE9&"g,*8抱\\s ǚ*G|ώC(U_N&*(V8|-8WlQƐU"j(532bG%mx\8g\z4Jp1R})p[Dq_|`v2Qݟͨc]/CŬ%-grKBjkK-* ґ ҡ;A*TJ\oyi71L8Qީ;[AJNw:#|B]։QuoOGG݋.B? sMI]ۼ$̛@w9oU3l{ P: M;*g8d J5)e`(U.YunFφu\ >Rga<Lxszhx/EVG!(3wBI /q1(-/ I/c@c[Br J3o;|Z0jC| Edb`#~gu[GF;]#DX](/7J癳ySg| wMǨv`ו8n@;"zr%䟦Y A}wV~_AcčY06z2EnXeP4γB)=Qtښ?nPG=cz|$ FO/dj[W KaE{s{g:DaF<QL!@$r=1D쐦0OTYRkk9%UL?PutgG+: @ČC7MeyzgXv3JpyN}z8dtcIl?>a%  ~om*A \XE>)Vdr#+h&ӵ5Lq #r'ՏvS@x[Rҝ9nÜ,ze]H2;uƯbh@W2Xg4TFZJ#h%0],=2Zo^ Jk|EM\QO`,fb4aj.t=.E=K}M6>hU(\%Y)FAm/ŗ',؇MUr#(m../Lf|7EL A$zk .Mc2 ӣ!Cq4sTZ$ +#-;xHׂ=Y`3dF4)e9-udOeb Ğ4U2ʡz]囪XƲ@-7bJw(~uSvMC)MÃx eI{ڊ*_6 )^dop9D"*,OCIYWhh7 v~Ŝ)ka,XQI@9;//B$kټkU4D> )$0; or {AG?.4/u:âS7X>P MB D$jT}v/ᅳ0QCR*D5Q]W=W <S}W,t|ܛ(%-H`&9c ET+h&oQ Qgϕ;Gr jnr>`ׇPqWr[YDo"pҘUzsE[1ӯ-˔QF%_h7[Υt4[m_`W:ڕuɗG'4zLʝ7-Ūmfs3*%Ķ&ke|E"Rm&)aYf|.MiX[oN,Oq§KywҼ[UX_7_GǑ ~x S%}rJV;; ~ryHr6]P۱C1%׆vI=\ )w] @| ҇c\Ϊё ڻw_VfH%O)O#$"gn\¡hQ,W$S4)̳dV(+(`V/\]JMI e4Yzy4<TpdYb 1|6K1mcb_3^aLWGb`.Df_hۙkfZlX~&X{ cGeTea|VѓHS1[^}:jb55",Õ^.}D-[Ma/ۿ `4UscKzXv$_od!R8쟤hՔ oث-!99pGrrmV) V aDZg;NJ1OKBRphx4x D_QAnooQ;W<)K Iae^r# ݙf39*6L򀚺Y{x;;z駦+AZ_ZܵB %}XD )[)~Q_ͬ\S)|`w1XxG]ן Z!.6dųC$ S g4ho {iuװe "4BF-[L6^=B¸iR{#JvJoY;Ij9G?J"4Z[yϚ]vARH3NgQ 414L8L+^%ҿl(A^rي/m=S#}=K3zl^-{Z^-j:Wyp ]7wzh*VY:H~.AQ6[Uw.E0mvd w7edGB4"su8ڻjꜞ/$(uiʎ_JY.в_ >D;p9ӵTPBw %@8~c9sYix;>vZcgغ!@.Ò!}̗UTpw#q*ht;iQ}h?he}{ zr):_l_]Y>Euou̠F=3h؜S_֒&p 2sGm[`wC?Ms;ПKӉy, TV* (,+ǹ/}ڃsrPF"aZ(4{Ԭ\֎WKf sfc'ݎO餿lRvAWh! lꄘ ;$i~"0u3X3Y]nr*l'sR.tC Զ>XOΥȞ.6^wLfxN1 #TٱʁYO9e > &ț`],D#z{-b;G 8~^)ykج)GGv9ݑz%Ǟ\TIlabD_wjP{yݖ7Ow;O Z-1Є*5ٷQ'*@'[sz(rjGz .t`O_5۸*%$tc%j $+;Dp'+PAJDzh ۸ϩa\~_/Uy"֔ olA畷05Ez(\r/\.I(5*jP^I))ݨ9z,mـ֢E^Wuu)M񘭭ڥx/N%FaMiz+p~Ӧ>t0neO J[F>m횢I>e =AGq*ssyNx|-hpÊʽQi+E7k*v@`~Zssrf6 < *m~h! o4QDi *譮I;~kp<):S#R]%[= P^l_#B;sk~O/@yf6&)D%smI߮tݡ!ZUa5#skWvK3R@٢M{_%>:{7Ukpپ< xލΖ; ?C?'m[mq4bu\^G*^97G?>^NLMtsA% T7: )U0҅qQ]*R9ȷʟ@KKGqD6r Pwޥ/]+'Ek5h8R?"O"Dx Pϸdsߔ㉫\; 헻%_=5K$͸zHMrr`T0:';@ άytl31kl_w6 k ߇^ %,DHI`Г&F>7Q} YEmV'J܈HOoφsK}slWF8R #,VT[kc (h8LP~؏f8g?CنLبӹ&gYZ06a22fe413733a352ddb76255f6d1b92c48f2b584bd67b285979e6f43cac76043955b384834a2c80 5036220c7d35dd2ef458845900033dd223e33096 fc075d9e300d43cb3bb5bd23bfdce2844b31787e b72833423903cfca731457cc8753ddbb2df63e46 f5998c1d775f4dba9dac23dcc1bff7e8103d02da