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  !1l$ ]% HOL-Decision_Procs:threads=6elapsed=262.302cpu=1170.212gc=169.684factor=4.467zXZִF! *]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCު V'*/q1ް$t  .i=Bڇ8-mUuaS .&ɉ[̠K@͟)@}"S#ibǝgx-Z*]ժIPoGy:1GĀsԽ Kp Nqڴ<)nunRcGQA|?M&=!)fS:܈=]Ndn ؓݮұi&\c!a3;xfj ן  "6dϼI,4(~]|@)%OMY< Cǫy6oU(gkX+6HΛj7WQ( ªQ=IEa_8^;^tޥ&.{dZM. i yysYspkb MGz$_!#7tN8}`k,x uY30ƊUMpL]AU-ɷ5o.oe5!40Ὕ0!G:i0A NUѓ+a=64OgoP9 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 j(iTB Yobܲ8 y3B5$(1ܒ"p >I!7^'W1AJY /ى4:W7)_KGM>ë"\O軙^dyA+SS`0w7Wjxj';T3*u@*B<+TWL9 w[)!X~ ضtl<#^C`RP4ˎg9D a4eT% #$MٶGVIƯ[eC4b8 1~2#zXvo` reKko(7kB0rҹ6ؙӨ ^?:iCtTaY[9¦_Uh;6MJ=ȼD [F/ T4־ |Ob@۰t%>^Y%+{)bZ>o^CH*4́+4?ꠧnxƽ$|~M' `)=-ڠ˥nijmЋxBV;hHps]uQ *9˕!fR`*ū8#4FK ϨxRٛj?b>WodOL6:-9eUfg9C?M0Lt9݊Jh(7\V9̐oJG`%AP& ʬ5 9\v̇D.I Wj=4!Xw}M%?r*=ڙX/!=18 uyՈlj&X =arf/B9i+Q箛_|9)횱.`<F}KQ2|KMuV0cbgSC)?j}lG<c,\|uyc?BuU+XY) ķmbh@!- @<Йx1'C;Ckzv(3 (.B@hRϚ飓9\y7M!Q%~szPN Bpg`s0Ia>cqPIn[+lK}r!|[Jk-2ٽUU 'H2jsLo X@g (t^Rh{ q*G8!˕"N-<ûԣJxwGxuxQ:{*ֲq#um0/y[D]F(bU/k޴CMeiO6$*%AH(m8N) &O&)J,OͰL6|D? $| iD cXֈVփ8|WG1jX-6)01_i*t]Ƣ~Ţ6d ^~7YsUC NV}N0VC\n#\1T9vY7 ۂVdPr 8WUT2%o-f*nSkLZKG#FY_4kf`#ČWXO[%es $WmZ6ևG!8CȜXVQk6թnay1lSHFwJtKt[T7[Ԙ6JهGcup m[$:GM#/YA7=Eia7S2ӨD{IЩedL re=hf\%-9J>*CTK+$rCԞI'6&3 0 Mܕ%'Sh==ҧQ|J`nj ٟRHT"J:)Ќ.S[/ yB m.CYEhee3yEj b5uib n3Yo^+_#!!Y!ߩa,_|$ 424=+&r裟 }-u_M#.y 'So@mp<>]۴`\C5%phoyaPQA9cG趟(Tt}a6?1#9niؼDח3yGzΜQrM./?y vOӢ- /s=aY(՛bm.ۋxW#J!(IҩRd>Z/Q>DYC|YG=Έ7u;N.g ?^Ž<2 \wlܜYA~)xRIPͰehl7b V**ùˈb5T'/IwcBR($4\)+a ^#7C[зENziΌng3cB|t]38mx6*:eZ3so7@X+3z*7U~610rV*D0tFכUZ%pICQJ|ֳF %.,PiMoV q_nDv-h}$)qsGLmt$;"=@k4zY}^{! {ÖF!Āf3PχAl]YwH~9r\+o2";&ܒ>NsPZpVr}=( &x8[NlUjC?ӷtdRu"L 2bZYwajٷV]ĕܸ[0KYȃiý1xt:9D9k7|s%% O\J`H1Տ5PWJvp(R`TƬ4#_H iڣ;Xu^7& qd g%,lG9C<ݯSΟka( R,jG?l{XӇ^ 'z4\<4hISi &KJ 5z7O4'ؗY"Իfm/bRA)OŦ _yҥ ~ot0 o:jhR{R8sB=QD 靎qlqJS{mNʐ׮&?jPjs22vNCV%̾7Yc* aޒӛb;O5g._o'8բ,}K5_d *qXA- vz)tKGX3$kl:ⅦoW2W&r82ώf%0mxsN8Y$To9ZQ|R8<10|'eIUCVLE|NĄ+%9.\$Ow?2 >>+s7fAgA4Zo/ggpe .^&r }aoRߦWp.?<Ӂ[_VSby jMduERjlʼnb@DTjޱ]~$vuPXx̘2S)͓êRlJV{>7f)vi>Wfa=<.mrwPx89E:bߎ)ltA$xWx$Y^&^BK;|%괙IR 'k9Dъ"'$E]E!3򢙴| #_;5f= //i!\U?]0Q *msQO+3 o?) baNΞɼcDsmj8#-4"3CnX`R[jdQ:+\~ 1E%-̯>w,ß$cs{$i: s:$gw-~Yj}ι9 'SgN1`HfT J`C>S>1PsRLRB6`-+sIpUWOz=Y$SdBa"0^Ҵ=YmpL6.@\!7 m_Η<#op%EԆ1i[! ;CW*1Ͼ$jNt ,3o:ts _)Rλ#G`Sðn|}z-qcClJ'A?됹Q63\бgYZ7zXZִF! ].]ŗXiɟ17L? KxlWP8SաM~>fٺdO^w¬F{ԃ9kGaSOM%tFK>hx74O)iz{.g1+x[ F{ ER4r08@gOhB,R`u! $9<^ mz?]jH<9DӤlQ;G1\C&GܕT<<|(s-| #fԆB]&(\Imл/js=j $:[7"T"ڻ͜ o^Ak:i}FK=0a9qP٧N7b>H%A^7ā,;، D03N 5C7b#\U"|/ekZDNЁ.T)=" A-7QgSsMc ^{w DǦoJgYZ7zXZִF! yUI]ŗXi%Ge}ٮT,U^}{΍qNCeN(z)lQ,!ۯxB,9Ar;:8.2Z˸-~WXՈ[@`4k"Nk HA =G-8oFUt{ֽζhH/@PHEpc؀' LQ<3b<3U?i|w o no 5`~N^~i7 vK-:^OXDP0K~)E#)sYdI1|S|&~5ƾ12 TXe;7, |wǐHL^b{WI?lkk-Ə.e_쟐۬?8A=t%QszCDik0׳Ҥ 5 r*&4N YUJ_:}1]*Pf~͢_\J,)RgLv(KQS|mf*$5xG-O72eQА* h46.햷ja,YK*C 3 {dia[QڐI^6+wby@-yx%rMphO& d''F&̨۬; |sV3u i.UrI=eң.4< yҢ ?$M?{ϻZݕ0fբdΦQm`qɗ[8I~Z7[՟hGmhD /xeI\ ipJS{Q7^܉DžzY;&iLSRm3xVUS$n45ܳF@) Pi&EJZF2@:\ڥ7n/sU)7f`g֐A;p%=WSD.,/0rH'O# sף &Rg.%38CUbje ^j $-73*((49{FA\&&F-U[EHW7yB{>v>^Q_K+LNKUapWkBK~*ICf|(zpĒe#J"f8 QE3}%6$a9C9Fw +ZlI{SYJIKGmu䐶Ee& 5('NLb5qpQYsb9eA}yLL<`L9x'e:Ku~f|1}]<E :Gop}gRV&ia߬l Ml[KyM7ږexH#b^A.ne2&(aHUK4UEAXV?,wefMo?!MDPr붖H*pKb햗 2y #AfHu#e&Tg&):-{bY)6j;*6IMM{/|%IW7X{VjX>:6Ƃ 9yȹc{st @~)} sm0z JЀV_)5xu/t#%I&&a+sqp'\v~s7K=.6X?}N_ΖJ"߶GNXلM4u>hFo/dcsn|EĬ`C>A?0"a=y&6Yj_*#+c Jx=THs3EEI7R} g`wMM8}}ҹjyO]y7HKMFQ3L d,u|0#AVS!0,nE\hB!T},I5ش^CG"]mw^[1@`@i8FM2HO^djٌ8Jfnre7;7[A)3Ek~^c)PrVc0p(V߳BP;`k32@CD9&E>\!D~(->-M% o)9ݪ=aTnCj@JRpŲKLJA˒`ZsVghsUbQω"qd 51|$ѤZgR9_ޟXl I- )S4 j*C +]h;oq|hO̲'k䯳rSlHf<;RIuD`{Dן ]_3^/O?:G!JK id1G d~ ^$62Bo_S $j`6tWu FXO k Y?H5rZ8`8]v(` '&"Em!zsyP5:Qq2œ2kI?ULfg T2WWA7eǺ:z qpqgu]cy.:j}t G,"RDuVىc-U.)(Y c(D4wWBEh?hZv !&/7v#cDg |hfl=qUI˃6 Y%6>"%J$%mqSdzGY=">,~-2#8I^/6Q'DԊE`<5&Jɕi٩ϳ*2܊Z*P4CO%:% #sKaeb`PvPRXŕp8yOv\˗]N2n \f>B?'F)2<1rrGiJ$Ik9PLOw'UVt>z@;xj%X,Yy/94tr1Ѳ0`WFrh0S%YOyPB<86 9Ʀ7x\G9Ž:+?.e \g@f-.1MEG/, 3[i#ChL zpRGIt^%, TuR2.-r  dm'LՓ?KcַMĊ`F2k:)R^*{dve3Y,9,:Qb@ kY RlDFCZo3b!`)`+&IF|]|8KQeN'uJ.NB}ھO#넃=f;Ⱥ&yZr;oRřO!HXyw0Cf4j *az 'vJBGwt`j"(>ou p0PIz&^S߭;20Pp ^8t~ARJ C"g||v4R]20U^ =}XF1f[vbQ41G dW.PVąȵ4o4|rK3$m]-9"*V[J%^|',agwmj SOuOʈ7f0ζ6x7Ș&f~"xQǙW=9.y=foz#f Y.I-pLv*Sh(9tpl׻ vƖe%7NX 6u, E~>x[~wUOXthBxYANzP 6)B̭^b4(Z2eM ^- )N>0JwUݸBa:& |?SEݩ$TqXoT3Œ('5po`æ&ū ;J74vA,|珥}@ʷ{*&fC,v?j&kƺyF5Di*#4S'V'FAGz}i pE|c3y/@w-^t&pZWTJ Kxr .-)蝝YKZڄJ]kl!0H3ܭq$wCRWSA=ͧ_4cuH@%b -d{#ͱQp ~ t)ieQ4x!(B/) [pO :Q9( E1X+ce\ 6Z#7QXZF}n=-5#qqK SDhrXm1O/`:A `(#GfcuqH;v^Bw %{:Rld8#*;Ȩacϗu, ޞ T݉ (d^o)*C. :_|0g៾ySb !c4E/펗b_a %B S9`Z|Ej0ʘ-Zg]C|$],OCsm^&^k?o Y9)KM6Ea5Q9<5 a.6^dI_MŬKrBr/)zR "k@TT3,E 49bӍM(i~0zf7ھfRr&{Y;bn.0VGJl<C҂\@ $sV7s*JP U秬0ݕ~xAxj `RqmφNNi ܈e7f/4+MKɠN7?+K}jR ͷC7Md[⾒qX9$Uja1m>‘cvlCP@U}-$ :eSm-hه- Ů.K~rjaQa )`D$: EVh[x&Aɮ@pIOG2V:>+_T hJRۗGdx?onzqJsOŏKcu #N'ٌ抂WS=^ZAK=Ӣ2֔T7b濧\̺G=\g1"<@?pRFǗEZH '8L ?dKw7pue- qRcK,p0\,2X-E>3:lTLJ xL3L|]͌GڎFG~ZCx/st7`v?l%D|p]>}R@< 8B&3j` nC pcր.E*yʽoP2,}jEZW>B4ZtH>n0t|KsQ-䛗tUeS_44j;}րxJ|?HQЄ3kGM.!KyxpdfØQaxq !2X5\u"`NjyJ]fZMk |bgȟr>bI}+;n%uƅ![-8I[Rt>M;ި&Hxɟu-:ޓkww~vͮ0a|羁l5uxclOȪ"^@mz%:e'+V#m}[->Xr2|@{BlUլ#)TJ &xS}2e9k#I:9==⼐ۘ>_cŎVZT;\p-^ֲOSVyUV4YXTXB4&&qq݆OY+ 55MFN,\[! Dst)q۴PU¹D;n$=*-[Vdu ܍rJD) Cq1?ì>3\%fT>0f0>V]V]^N7ϗ }"!Rj3jk}㧨ckCuVG)@6nᢼlFLV@fI*n?5~I]s(% C{ ޘؘ]P@(O&FPxQ0F[H4>z!ǪLt*ܾ}.A |OVL+N_܎=c9| llgt3Ō67L1չjb6psEqtt"D"<ٿl@5IzC &yI;f>j+Y!p+px)6NfTSU=q>f$= ]qH9W9X*UՆQЍ5TDܰV0Ѳ{ٳ>h>a{>Jo 4M6,s5Ga)]k Mߤ~[FףUG:GVSzW&gY N1Bq7*>/2f(/. ƽeiZG }j/ 5\qVin $S E ػށ BH;ջ>ҵc/rbMA}2&?p;إCǷ{W3.aNHl(pXiQrb\$*:͖ *iF3r2u1!p:J OȺM̫E@3;O8ĆTр =2s >| bw)'-\pi=(Op^UV7"'6'EzfQa x8p4~ -] pfyn4y'af=duШԎLG/u]ĒO{p-!1MZfV^%Gх˿'S\/ :lt, fX;+ =fL6lX4& [K{ Pz i C5ϫ# )j?Q6܏wM%D4(Oj1B{9dZf/L?Z&0AeK^ACt3Y0I X0kM J ֬ŹdkD{ 8ANl֞egr.sdQ`-ʜwj@ʟ]"^1V*~e#2Ml"" O]QHxs'J!Z~O#SYb C8~TU-4}m1A k'?e$FIDvlQ7GNJ%AIfbh9Js6JStgE6@{v.O^"|7z$LN%%w-d)#z0sQS my < {qv'#\9ɿj Rn+n M1c՗!}IWmbQ] m I42oz/^{ZoӪu $7 "Z#Sm@r)9AbX74e.Nf°{w59g;<l y$=Kq5dw8ƭSaxZHaKdxDٛB߮u8aﲝ~bY7S酥yD4 SL1nzŞÛ'RK 4_;*CMxH'=bEo`tb0WI Qa ?L: %)H`(5+Yj %: ~\vxkܯuӅ\бƘK9ӭ(xlqeV[88q+_GTl[TXN7 )~v]? IvCkBgo}8êwX 6WT:XFkU<~Umġ}31Ctcۇv4k`Y"]npr': W0n(&K|gq~\y.rOYqc]lB#nkIʞRޠ[;\I]Fx˿|fok1vahՔ};yնz,C>ڐp5Ց6Ȑ5N==QQ c.U9C)d!i랸~jicCD_Re6zʎ#|m.{XyY܃/^̅6O /[UjIT:j XAT9o+C%K&ŝHu^կ W6@s 0&ݯ(-|13gJpb*or~{ӓ^p֦mְG 2'#ݬKS0 vI,S3m`"܌Z?ص HH߻N#`-4άC>Q)@24;: {pUWi8:Cf.GIr %id@-*V/7gI~mi.ӷOSFZzm]5732V'UuM@ue/f-\KKɢMGR=*[ɻݲfځo2B=9h+spfY$nbY0MЙ%k'ƽS ia ')'WXc*.%*'Dxv /A'p60P#G؜]7ӁP[?B ҬZ ?4+lGKMD%M5 +lB0!/HHXAm22Cŷ[!~-DDs8γiV1i =ڂz1 "i@ |i㲁x(!v[|]#h+el."t]}jevH`8 OTWߎwص/4ô8q!86WdYXfɔQ(mḘB4&-oc PgwvCu NR OQ\@zgPGe.~=]$ݥ}cH(aZi 1h`|+ )ǻ%A89޶+濋\r3gszQ6ni"HnʗFB]Fܽbk>8T${McSoHpl3O1&I myCцD\ja[^ DX],'~IB5&\1rNzΑȰB[3&+lV|ii8s!˭1q 0j$o0!xuݛ'!['hhͫ dRKFmc eTZ(Z1_KPxAT>||ITlP\NSmy$+&_ r?8kKNSZhIÏBs˶uծ.ǒP }@QG@l,ʅ>:d s=I`Cy^hd.Z&B. Ft0 ) Mr`%7"h}*gX:`(Y;'Y͔Doܬ/oQO7ci*I] ٯ#r?]3dD7f92Ukɤc >+ae߷rzcBbZ+ڿop7=؍@<ˮ-,><;u15 S,W%6PDf\qCUǶތ|ü2e]y$*& ,neAN?l K;FZ sָr%F(\A=fJ-Dn6'0GUc V@lʧE3-4/6B暞rJ}2]\BV; Ta.N j& C`O :Y-F"0#7ε>nVYR:_ w<0O;}N:p߃ Q5*>g m{x8Ir^m.\i o.R<9Z, d, ins36{P͈^;$(u8eLtw)ZRHX2|WF&)ҩW>+Rjv_!=:i]X(;H UWjNxB8X\X4sQ=+Ա hN$F[KTFw&, 5,uKڀL| m𲒓S>;EDŽ&IDƵ agIG>Wֽ&"`, PF: 6]G59h%JgU3=cVIt s>!5D:o>p'Yj0D:X)hTŔ^c$ Òi4qMIf!z@K!FKw\ U OyCbl2Q߷sq`M-fu|}~GWQ(fT^=|1vC8$,ְN&X-$H}s }mLsBEA!E(O{/@'mFr)QYHb)cG6JAZbosɤ0˻ݨ sKO)\f]n Tȭ{-Y!7y\ ~jvtf%7'ksR '5З7#6clVEr<3(1ZEPL[A@5 F!BLȗ$$x88ʍD̸̜RQeFXh/%?+Kٟm EklvGn:GHAzm] 'qUFS.bGRljmgFb21زMf9JĆ'ؖ.uW$hdv4Zꛛ}(09Ih1=-dXz̟#B\OȜV2w|BK>Gxqk[ѦNz禞ѵoi56n&tVli]B7ww"CQ]KCqO(Kކ"d2B|@2!ްΛ\ZiVtdiiL zz9q!ゥKpo꣡XNkUmZCJzמ=T;9k#р[`zP25^BmbSH 6*a'!yJC(j|kd5<&xWI_HN]dO@9qSi~ג>3=w +@mf^u&4b32G?tIh Ex&2]y*Fp7JqrMW.;BV.OdY-[[.Zk2on"hݞCO)lϬԺ,dc-K< -T'̬ɀl)Ncd1;1Y_xL* Ia/QN#Zf72gpE81nŶuM f%6xXh}VB֝cU 6܂fgVLX2lƾK ߴzS_\ M羷G”9 8\2 ^~G:Q%0y`x;Arp׆ܖoLZո$UWHFC9mh.yq>nīNW ٸtLt:YְtXڡJ5wŧ"wyܴRrշ{Uʘx@:r 3/)ݽ$H Z@^{f.\(&`!VA0X%SS . a 7JSjuYۃZZjT#:6錑0)B%|j'$f: }.C`bsg’'!pR|5U ݌T`5rqP5[ +DvG̽A1_`M#mnO<5Qy9zQ'Z u$.,xŷ knSi/jVL4L4ť^G|یEn0D߬s4u7\8ĺ NVlߦ 6V1߶&Ǎ0t6Jn,d -%XKcNWZy>s"> 52ؘ]?% @u"DE[WOם6O A(I.CJAD5,u_ᇹdw/t٧, sUKw뒻95]$wyLB +9 2<CM9SD g-L%W5.ʍJHJ Oc1Q̘3Z|oVCeQ_.ZpQ]VQ;<%÷;xVmǡDk?i`C?LG8$@p͜}:z|G>5B?ݩD~[ `9I uYU ˩鿜#Hn tq%HY+H ^_W)Z4~XלG(sN[Jhz1ۻR=,K% aAoĞw"YfLb5]h "2Q2J ʯk{>t!o/axxab" n[VlY> F-,>W."ئ{]\aҔ#h1 +;ȢYy5[W,))LT} 2Б;\$-I+~O䕪lV- ?6/yXDZ?\3aʬơetdsH@vC&Dv X͓w#S5|ـ*h]ԒR2i 7`UBT:gn$*\`5R7˔#Tfe6ɘ?w$Xn,`&VSWw_2]Q&'-ĀpWn>.wrSl1OEA7*,E)%zfpߑ lq~Vވ W^QfwEOD+'UGuE G0g99sLIkh*3璯Sw ?}Ԁ4Ò';y3^A7+N>ETq(O{A5p\ n&/kQξ$P_Da^JMB CaJRxAt M4+6)ikhwߩ (4j?|U$ ʓ%wIhJLbVCuA/+bv3 ^ ;ܳ~?\Y{I(i1TB(^iq\}5.@U.q֫ ORhӛ݀9La_|_HIZ"KK㲵tu@x:` 3?ݴX&=̰j!8lxx0oQ\WBjcEe*[Jҧ 0( n*tsKQ٧7CZ!PC Z0ݻz|{TJW;>:ԧ뇣0LOtԬÈ_ QAl5~wqwJz\X(nu`qH?1aleffIN?'?S3)hmk(ԬX/!.Fw#؆2VRV :ve,W? *}H ߟD`k)֖%.bGʕ3|ExB Ip˅ZayCF>HR°m \$Pwm&ɡpșX՗ ̔5flلB[:EsoVh0#k@3J6U.^LYLڒ =QV/Ďz|YھFƒX -DlnEniwJ(s&n`5e.hy]_o&HXMʙf\"G̱5'ѵC"y{t|HI1xu2nѬL ȍpe*^U G:JaK ,2^1N| Y'zF4U.>MZ)Vv Wۯ{JOCks"M[#Zn!)"9%UދpR|t>=t"I`*T|XkࡉX>`^A2{FMaXp&޷ѿiƁ5+uD3B3 (=F"gVQoعx;GiOp_cy$LJL@e^!hC%(OPXR e!fM( " $%d{wf8ghk->=)wF]}Xkanw PwԕSūKoγ@^7cŕt9Vl`j_Ц&aPx|Ru _jiIGSo)F񥶬=0o}7kz聗lka!.KnLcYz  KTm$EO{$42|ܱf IE`5g,g'$ 6,2qB&@l. < WO믳00Ûb9 <^3Ҭ Ev `Ts){{U78ڎ>@S.d3ڼC#bܲβBh!dpS8:l߽搘`yd$Y YE?7RE6qaA D6WV)oV??0lDü(?;uItm.'@<$6;lx*r[~}HԛFȁta0'~zmOف8ƒ^$zjeVubspV97}RS4'%d[72jpR;nt -l=!6l7,-z{;pQ8||SY[|̾K +` <.Yv qs[j'E"n+,70U\!P)0H:aKN7!Ij7piCp|=D攸}i/wZ^Xxm1%h Qu{~8t%!yɒVĩٟvj?mDB:{Y|סTwYdDUb0*9>BqC6X9J4U%N˙9܋mlU_FI92szA.DNAh4)te;2CaUv %VZ.Mx80!#ޣdgYZ7d70bc8ad889346addade8a8d85cbfc04ad69eaecac5d03352e376834a77ac05dd893fd2179d2522 021e215213850104e25ab568a4ae9421ef705042 4526834c9dd8036ec31e4dba0f2a68c42a19b451 9d20a534d3fcc181c7b7774764b7eca6e50ae951 3843b55ca36c494eb6f837d96a182c9e04cec956