SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ;; %|lL ]/]HOL-Analysis:threads=6elapsed=346.740cpu=1652.116gc=148.284factor=4.767zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnth|#l *0 wʚg`0?91m[ X'e4-deJ}L `Yef7'ixYl;0xk5)`e1{X_m "%!VYׅw4FeKzgEaI TpFHnN [aRRZ#i})iOYY XuwVܒҦj#|a/GYOIq6K99&us6>'~6->~C.B;,qyQi1#9$8 бZ%yvfW&g"T4>_[uLɵK#CaSD ܥir.-NizerG#*?i57` e ]ܟ_U' @-)$vL+ >~MH҄1KݠR;Ed"]}bIc3L-7cD?*? ^#?+7&<'عQ.pC)7Tʻfb5ZT1l ~Ã_z&k.mÝѱ䥪u\BC.׶ t.gy6CJ֭[L]Wh֎G(@eUCSN c@k % HOL-Analysis  (C7-CWcrcK Rg`z{Ov6CUz~:_ #{~|:okp@8,g-=hMErǠ@'vm5 Ʉ< B&蘜J0)J:VL@RK8U:з(adH:f\=\z 6/2Eւ3EGvjG-.8nFx ~x@!蹢w#hW &LO#a8_Q]Dz };JWZN8nps|_#>Q3~TrGa^-fc+ۑ1*Bk!2, +tvƮLAgAng8;OU:lt( ѷhJ7m~4Hgn<]-kT=|j&57^im Q#R ˜R2;6b| t-+7N ]ZRa3wŇ;MIV+cû/"W9h O@+Fo^|8*@~5LGTa-Dc+yFIx2W,h^UQA 't:dm,M,5{[V`8cH؊nz%kȡ ?|oLMq Tcu~*f2^o$;؆jn/mens"TgG! ˦H)=8Jņ=J2`f85-H=+s~͂WcWH)5 Z{([;^RT`nrxqf YH,cIv;g5?uUU'7W,w)$KՐ=:D?JƑD<$=yT)s_9CJV@/,VwkΣiii(M3v#4:m lq-Y<lbwIJF:⢟ɖa (#3{ m FO( vM\9mQV_bH"8}Yx9fp -3zY֗Pכt` & ζJ3Z jKcM4v IF귩'uw6Pj5œ$yL,3>WOy\QهJ.e)S7I9ň(bQ$D ^I^YM# avNxH,HPZԀԆS#5rq!EOgzbP$}K&*Յ!Xbi]@ |ģ:6lvt,Q8D! KR_mT nƍ>R%>_r:)^z258eZH@]O=) RNҘ&E}ܭLl}'.3zgyƆ#la\F푋۶#+<6$DoYWA9_m<]08崎KcuTsd7 3vՌ"tFMxshb9^u{K+;|#qAX^PUc(A^ym1D0yW: =_3mYxo/*,c-hr aH!NQO`(" k`aO<_񆽁4BO8`GNGح4RȾotKA CTDp NԔ'=v:(]i g7F. 0ZcV ̩H99%?DRi$!6 (4p.:MCftQUfSA { Y oLo1l"=5F[&iؿ?OH8ylH1ɾi.<ՆS_0Ja0IĴj ʵTz W$f쵴 .0fOϠPQJ>kxU0v;PVÀfViwzNԼ# F[\C/:0-z)``OR*48١U",?O"X 2]](aeV̠7MSb<]$`4$Q&2pɽ Z Ipe8.SO Pxj N{YIKAwkԨRD?,@l1kl -'(;5 V~C'"ga5' GxWWd"fQ`fp>p F`fC kaU3h+ [aPP0y`> O;0lq' 31zf hh_O bU_@UUA$aʑXrm~vvըyyL-4P0l8mÙI#-W˂F w|<ޣ]A`J9Ł`͞Zǖ  {G߃>oYXe." mTn\̺Um1*kRt~+<` Afˈ*I]kАőPڽ&Mµ#+P UiΛ霫mP9[#Z qĨT=rǂ9*ug PʎJ̤s2)w3E{:GDGފМ_ZgmѼ(8@o`gGئ6uvIլ3.͠k7c9IQI hʲB BƇњM5j%OwQ Zv_wtB4#f7G% !) VY>ߘt-/N>tφ !9OUOۛGb&P* ;[ĐT\^gfap#Y+`XUf,# &4Wp U=) D?,'?+cJĥOJ u~ne33(X CFjtÚnD $ܛvd'%p`nJ?׺2I}`W$02yLm w o ltm.|^IZLU2˓0[>wRkt)w4! H{1\{څ.uqbn)}/$HxZѢ#2p#(=A{s~KB~^[}+ww/XR&󸾥㟤bT?ඓP"@kLg 8Tb$l7Zz ;lod\6InYDZRƞJ)í~vRB+Z3?@ Ձusuq.*yz`:UlGC.?wP ˜M T(fdW[ji͓vFjڲ6wgsGTZVh8AF7tCI!ۛ;Oe3md,sjìĎ2gM"UUBQ*jx'JLxx?OYS%J]:Ntr~ vY0Ir; *KCQ祥t`6+l+ѕ:|t'RD_6Hxtv2yL5(\8%2knjt.K*ф?kY>$,J7imDf>J/_-K^isFޓ3qQʢun`nl3[y0&Tp4Z\9 ╍Pgґ {Bѫw/"^wK z2XR,Ph3rFewV7vHP|YTW)ٴu?h~1zoZ8)Y]80B-Cs_bkC0Xs>4dIANZ(^ᇁh]rNh"8Z}0#_sZ JI}IFXT=^*ٟI: A+t oњZJo{W H-pn-πՆDfcVaf<h,Dg. [t㣌 DǬr)WsM8nv: {2_ 9:'v:ۂp-@+;Vȗ],"jk1m=5믒(1ρYa*NA/!*MU|v\AHW\XݩY(/L3\g 뤹ڿPS=ps@@.^"XZfQdm#]n $c bxᗂ a\<\}Cl3kF1/0|pm3jIWJn*@ kb ƵwCPIvi5 Fc%G?HG[xF[麢?޻GUc7 $~♃oF4;wp7ΐY\wFd|+ S*0l`qly-d<ۤEk/4.{s[Z'gA0rͦa+/K%U[RJPAl%1P-f4y?榐 )/I%g6Z,*! XiǶMEv)+rJYj@bL(me0]*\C@?UUU_G2\uۓ/1{VŢ3qFgAL<*12qft>n! :1fij?g9Tucš ⿈ ]'ʒ&Q\+º]׭ ''7tjſLGz)o]}ba||͘\R]0~tG5O¶B tg1WsU^!͚QB-d* S+.X{XFJy 0/5%4&vhg+΍FT4:\_[2(Iwfu:7aD*Bhb5r~em.+BW^ؼ xPuTʌidV ΟZ򧽨LĹf)mF8"ؕ%jj '[.h"307Z~wxsugiI|h׉T`Ii] JR7#jtOG/kʶcnEIP~9Iry=9[xHHvR8DI*/)eAo򈖹Dqz?E7dY_jb}2XQyL(X*GynYo*^jHF\=fW`£xGӀ}A8I`4{\SZ c'X ܤ;l z̢o uQ2Gɚv"uHQjtt'!8GcQ-`ic| Em*$/ j̋xo0G[rwڳ(1>ZO#j-'}Mў (}wKKT5PHG[])P+]VYy]}T8EE֕)Y՚'Zj',Xx5{/:3gĈTM RuoL;j˰3[1֬BQ8,f^uĎ|S.SWkOEIF [%Hz005C,O2w5hqEV#T U(F?f[@ DCfirb2#C g,jݖ>XM!04>4ô x[>e # SixsxG x;%Ĭ(=oa5F-Ά6lS_خT-, 6{b4O xQXJ<8"3`p0V~',29!7bKhQ'y[e~"Y2,m}|%;Q>`@l?"{Yg:?sΞgfc ~ 5Gus3laEnji,hʋ5O b(ZNIHy$=v;r=.R1䞳5)F& @A;\uP6,wCT Kϭ\+eA!#*@B22Ԑ^gؽy=FUDOeohѸ~Z-B2yENǣ`0XH$ݪʣ A*}\/C䢮Ա{[9kbEg)މ-SѬX V+ 5.upXm\zs]_J%zb_1jͳUJ7 Kal*-y2}0[l-K&p]2i<EoXaЦ;h~Ǿ`׀R?Ua{3PklCKuTBxqږ"ZLc^ӀSACֻԣV_dw,jESHTM{XR)a'FtY+Hn }";aɾn 8z\',:@֠AY痆~JLU1:C% 8 T{8،b 4c3x<z3r3.oWI(D?Xp`{ȆL`A3{KOStG=56ֹٱ|Dlv t.YG9٢d2xTg.ԇO^w-ǂqonL{I}|o] qPi[,+ҷ\;mykֵΛ',ܬb5@y/#8> ^&Mqm lc7 sc<9ts_DmwO$ՔdW%09܁saFl}2A?@䪈Vw9)+ З#Γk T`6ذ/¡_3wӳGұ1Ѩm #,H`Rd9E)6ޢ3G=d'М"AW'1;vN|$z=WE\ (azvL>3gDN W4t!Âf-7hGU9}#&s&o)oDI\ɟ۶fp ə^t3z7< 22/ǭMQx G9ƛd4AW]6zqz8݅1MꍁQ%tEj\64n&9=;6-)QQx!?ĬʣC`wx4̗<{q,%?~|cEjo5wQ2[6sLz2m}ޱ'.1ZH#o+ R@֋D:2y8GH? "jeokӕ"d[/N.t! \Cgۨc9 ?8᫡N%/::xRQwH6E/  S &2%wlv-A0zëB%\E^e@x]BT2`@p^.#⾦`m 6{Gʻ}EĥEgݢH KK֟]~PI [( awY_|M..8Vmfuc̱V^񡞽YHsq^qM*&1.PcrԺ]Zɦgܿri?vS"&m[iS<[ԣz닯nzMʄ(e {Fo@tAxx/xSpt/xuACK` C}5Fnkx/espR Cߓ5JL\Uj&*~Qlx%]] ߖ{w;&}n>'dLJF~~gx|ثvU{K+VSC=c͔;Q&KޣQX4uR0-uE'/o?[Fx"W6ϩqoLC!D_}_o Q8Q΃k ѩ^Q/^I}Q5ԕ捦m b1Ko '4;ÛD >)6.Ď)6Cbȶ`mJ c/hvTp3!j9OC)~~)Mm{\YL}|!UikeĽFhpZ3GR.[(܅ə6Rpe@ z=x7|oBmiX'%!G>y ӌoJ2 ^VF^Pf$ "%wpQ ܑB|%|0J%rKeCt)|8-=!4]q^Q,lV,BɑqAD{0Zc +k"Ua_Sg⻩!ǣt>G[!'nHj$eWhűIl+֐b^>@ :8}/ {*y֫1E#|Z'9Fi߈rDG,QKʟhy.\-4ƺU{DlAګяDM qD$uaL]NJ&zѽ٢󁥟Q[.xಋ^ ae L1)UrS#XPnEg]񏿪ܺe/$C=e^E-ֲ};2d|m6^v:o5 47|2ǻ{B ?`~0;2b dP鬴a2;\aƐ^L{娑;^QbVcJ re^7eFU-8osoi^A{rYFaѾ¨YEN &;!}se|0;[Jp$$HPC\+l[?pR(鶝(sLm~9A6p^pB${ki~{IKt_RwtA0J?s,_jCՎ4I%a)J?۶xף'CfV?,l4nI|薽빶 +mWR( 2%^tpPYQ^${&v؉5TA1Z9Gq|ݪJ-QgPN!i/74K:0[Q{WGar¿wnJj8V/fdl:bda)Q@dJch2gy/(jJ~vPEV9^|F+o#cMzrpT[TEo9E)4Y-58 r4X/"5'?+ d<*fvɲl}&;.iE{J; vG*_AJJ$ltc@=~d4 '+ 43EYб*X@~Xz d| Cƙ.HOK1 ~Ϙ ͺc&+Z$v7x{5ݽɃ#׸w[UJx!U"PxW2XS)4~1V rUkAMx#OX2kW p ഢcIfo4K 5`x%sΈRh $mc,^)酕WlR a͗CqqV09=~-q:b4z@4BuV[0~,N/b>[etzaƢd{d9dP[ ]GT^ume^o֖6?)?x6~by (;GnJ 5|xq43mw ”*;ѡ8{Rt飸H L_H0o 5H%/> vРk{6EӸˀm=ܱaK3EU,QeZk r+։5Y̜'j&;f+ pke']9j$̟B/6Ip=H"{7"] S7g|hL!tC7!yscSM.Kaj'Ɍ݊~A49NrɤU&ΟO>}IIUN'0#M46 ?nΐGDRvkS?~ k0sS%-y[\KO:QQ卆]2Qk\N+F(D[a)r`mjuj8| DZJN˓f(>n _:}L58{e-:'%#XOǠĴ[z}[tUn.K. W䆖@ N;'VɱbAwffDtQ79Co NC1HΣW6Mg',I23lKڂ,# lݦHYRdTY;p9^7v11Dsw'>tUo ȑlnq9#,lF7ǧ$|\X G¡u]g)TZEGd4 YK: _XglH,pmCXP`)SIw(Qcyq;C-:.!CV35#,b0r:њ:#! R[P[Y+c ,o8WfÚ5\L_.贃CEU:Z]MpD*D>DQ\&U ~Sϫb+5{>G|>$w%K Ǧ ;̔YQ] ԮԸzp ) θ>ag>3gUX*S rx/~As-)WIC bO 3HhCqP"\5|;5^`T2$d7yRo&^֫a1·VL%ה |bD@n0uǜݜ.݀P -^PGӫ%/ @6RBڡ49|P^X}=ݭkzf؅ UPsc߳?U˾["è 3`󅫵?x m/s^ȴ1֩N*|˷Uݣ錀aKOphM[.ܯ13I$n(}PIviF UlߎsO SO, p>B:q$4&6^5}6Y5Ys(t0>_"5l>(Zֈ [u쐥 }лgQMo_z-tWٿMZ.5!A#>R)b(%6 K↧}7ag1!Ü);yߘpcPu]q\ZQr91íb˄C!W:D"/P ~B@|#>%T_RRƻpܮnN4:E\I ?h}jqsRAdzdZch(Mn - 9DMV2YcyA`@O{8b%fO+% 6>߹ 溋{6)g)p)5#Pܲ٬z:Za.;>u%r-Š|qI&)4~TJWiX,=o =e(H=XPZIr7-VH{O 76׌ ZaPؔ/ si闅YJ\`iy" [ U餍*eƊp:N';EX,DN[MA^fcHeoz,{?)Oi_$)\mDb \Ͳ,Q#-beިcxwT & <\%FS"QDV+ ?Χ)> hWvPq+.DE Vbœ\t2罵M[i9JKwv|]zΝfѴYU)3g" ׎ T#I{֓%TЇgVp7%ac߽{ҊqӡnZ4#D<z28zED~.ҭ`sC@ʀggYZ7zXZִF! $T]ŗXiɟ1˦r!cHkMeBd4Zzq=GL: yɊ14O"wZi41)i"1KinZ`9wԊ&όUiP1j4Ba@RLBoI} : KVܰp~ݷ0Z4мJ+E awK0&_Wtj1{%Ҿ-@],Q4]pqd-f^"sLCщaQ%J_Wyo;1M#p2^C%Y(NiBt3}D<[ڥ?c1y.Y9z/ʾv@,J 0+ qrl ÐKL H(:A1HBjN3K%ta0w+h#MՅW):qBYݻ"n Qi0*AtY++N%;9Y * #sq[Q+ܰ@M6sסmN=(,sη1Ҝ۷z^䍝ˎJImQwڧ"m/@mU.+uWXa6wfv_kHTL;k9iZFP!,l`\t-E[dgPc [PDbr뺭i=nsˤ18נWe- }R_02Augpd8/|CIjmB хX>znc,iifȝޝs^c*P'^c2KLIAM997Gz5"gH F\;az77 (b'N2 od/5Hsutp pL kQջ" =+]0ԇ8Ǖ*ngfxhK5=K4ω]9T,Ynt##O蔅W&GS  k5f&Hڕң529Ў`rJzqJ.OܰI)R(6e,~PlĜH]GۙGb9Q괆ΨoIB5KZzmVمbR\h}mP)yv꾃蠊Ks J(g{cFuXUU׼!-q^.;yqK#,ʂٱG0F0 ;XU%?f`ŖJfMreZ1.IuIm؇ii5tY362p׊y+)-cDnSv3 Rv%n<^3dpOE=RC [$ `u`"i(\DwKLОO8uP5Dgt gT;ܙ91?/cn[* ۏȴr\DD?CށDקhPZ!B]oOQ9,&W rR}p @e1mЧ֝-.~SM^Os5DyD9$၀Lъ\ҬpRת$FF_0E4tm w+{2O΋DR|l6/?FD3<oN2)->zCW#&TM~S!,,9!B޴H e'@dzm9Br:prr%]! :+rN{SqٛΫLMdIhȲ\ w.$ U(,yy9*j\j-(N[Rzpe;cV YH!gYZ7zXZִF! Jn]ŗXi%@fBtL=Tݞ-~KJŞ^i(1FƮ0s|y0CE>6\GǷ AͲ T3.xc ꊤ~ÿQŜdD`I?y$> G6˵3D)pBtYb8 9į۟P-hRЗ\V;< A14`W2eVPYE(؇:˜R(Mڡ@7HDNÖV:XUönR"*%K[44) hX 4BO,U 6,Y"3b}ɭ}݋DUiY5j/[o 4@[~nhzL$)5d( .}7ͤ6xoy#v<`$XQ܉z)$2PMW\ԣ*%Z:%>m%1qYVt`}H5hv}$\GEXj0fMA_YΫ/{.D9WcQJHFƫ\UK#(L\2:Gt=K5aL]4\vQLk0jCCustrlҏ.ǧ\jnYٱb rcW8vD j5i*W?!l[P2EkLQhiYěAmH\G1B[٤koG状 O?իYJ7 0/x56]57 7"JV(G8!…,_N]XqV;4X[jI9{ ǟJxuFbOH>_&ba@%]%S qioUEo a19EXZ-T\jE]*r,v5Z~܄\s|`44LjPYfE3xV#p~W$V\mSF䓜'H /jd(UΣ'&H{0ftBr53Pp@ȯOH.%:!XQ-_ՙjqG kx[컟] @T!VU7A\x-wOݽWLt`e'<-5i>c/Pm-Z+Ueienw#P윈2l,s3N~nVud3ᨉ175& XoT.c g5g>{s ԛ ft{?@\Eщ0 sjaZ\ّ<q.udq#WJ|Z 0kyT?E*yα Ok2X6/I_vC39ByfΡ0/_Q ƥ4*^VybLӅ Dt$0ء8CZίuTҁ*6o@ '-DC=^KP Rbxm˓ Lj]`|"|-"ɓ%Ӓ)4 6]/<ԇ-qvqacQ _ZjV0:a#yX&tbnEAQO۴ f69#de ^!in"n۝f;tcvaҁhoN6k6J+Dl)dW۠#{Mm ^CG脼/G1O '`~!R]n!U iTp^A8~fs 1^'#dCeGSO|iW3br!gg5ޔc`Yy /V^F Ց(1/]n.HTTM(y]<πڼR40Vii!92?f&m))kEۊ2JF@I] *$X=N@=)} |'Q6#?x'WV}wgELkt_aM^ kg`| dӠiN,A2I `-粶Aw @k%1B6\~Qm2R MpԈbX E=KwFǯ=A2E`QߩdHp. sYN?7iRPWStL"oKg\)x\ŴK5>eќ3%cuJ^3 Hw$*~Y6c/B2挎~`Qy6hTyB\R ][ZlВ,kL!#ږ-ε՚qͲob.ʱ ^ݬ!Qv24DJHfsm:0D&qH[D҆=̮G It]-j\<9mK)@1!k DY.M~TY䶫B0҅{I~ܵ&xoI!&q̘Q C1-38Ͻ^O]hoHQ:Jc2,~ X $wڢ8.),pZ }:lHEL bi>rvp"GֳTv.P[1B)Xj6wsrumjIے:4#7m $h!θdO¦pkAlZ-M>.!:PBJ x⯎H{Y4a蝙]., u 9,RTĒ3(\FsI3PeB]z!5ӣt{ zN\OTK)3%bߦS=sza&+w,0g$p]LtV3 h BA?ne*^eδNof-PEfjpׂ#YiqOU|W& |&fsqNrd/GSӠÏDHyGZKf3[Q00CYpJ\1h ᔯM`=J*AdY_60̼tNU_IS߶Wd=gFb#24l"oDhy(~ZJ13S Q2')/#{1*~Lp8a$`Eڬ+6`V+=yt违)+ZۥIh#Lʏ_x$bl̺IRDi,2 ׺~Ih7 h o=۠0Uo&A Wk~h ;j,tv:N޷O+6NN=A'ۑA OAM/2Al VdÇ([n{#2iX 9%)1d0 5! :RR]%nnR[*Dldwz;mjc(c *|R@B'7]V;@+xuMjB!q6. ձ>V*i8N͗|QfH>wcox+0Y-VP7$t. R> -e5Aػڸa"Ç ܯ}㫜˯-(gK6=ƌ+Kǩ4(VkRfdF}l6e+5G5" V zgǟDh,so.ϳP -ͿkFz9Thf\U5;mhknO\J[+A3ՄFOZR!gqաeXQDD2?H90TV#;zl;Bظ!"xlcH ۢ ϝ+iX &WKFKwuo٩6VT⑫l^1n)Ƣt^kQf\jcY? 95/Nk-H,-0D 2*y5/ƸKIUjs-}Q|E9NvdknOAA.V[%E \R"86iu3N/)xd94wi#5}?̽+Zgp#LtLen"wxE;m9/$9 vnAΥh3bY 9_Sș,;7Vcqlm|oW;朁-oئld d]3uȍѫ跇 ԎMkBVwNP~CeWu-Egd@$ ݕۆɇD;nNAzﭩ:dc0+z2ӋJ߼SU:,KtNaޯhy ui{HsXedgY~ hK-V`֖[Ԇ>j' gk4L򪱜ipf%Qv8bn*zM̏}ǃv!C bQ8NNerxEkP.aio 2%Mlc`{&y WGC>#J+ʀݑ{`CPljts!chV E1!7,&Ý$4R YfnoPKx~&ݟ(>,2FsM9Œx2tG9_Lz~)rRUi@_:ge5Eb :ҋLpvPZ滀GcY 4?--å!Ń}=Ov9/ xV=䓊j7QЎ47$J 7YE8}<j~cCs#b;<])j~75CcYd}۬}=(PX<} '=xCzuk01{ a? wz X,#F}!b#zwm_+s[l2WLP \~?մM{:[! 9 e}B8WN~{hLSϓ%ݺZF8@yUsMݻkXO|=L V4GXZŠyaIZ(Ѵ1XoinŅ(^J 9f TO'NRp^ 8Jt0bץAs;ќV[}IQG]VR2,8j"OF#|'֞mOp@|dR J^uTK9 (ZԱQ} 7aI#h`ShN/qTE[6BN kPO2{NҴ R%V/Ȭ@J Wߑ]IpJB8Wi D̫43W&kZJ7³f |Q,0Qhu?VQ|UG*Gsijx Q<_PSXi;r`v\]R gxV]L D{KD7ɖߛl֤hmks2lM<A"` őϹiY}?]M$5m]A߼ܰm* Hn)Mcޕ5mpHUH(DA ZرjS0xF5삥I ,GR t.f ЎǩmA;< ~ƢQ<ޓTmf;@bu1Wz[="AVJS%+ZR!JS/ S'S O 9h^?rU\las Ah<4N3?h*qEn?!5j!S|gnGG 05jIp+q`Ou}Wt لM 7p#o~r~y'9FkٸϲwʹNW'%<4/C <%! "0xsGi;$z|R}rwcBg\|:/y]@O]t/6s <c'JiS=LB礪:-uk ^3mjgaQrX'rvp< W+Y#K{NDتGA.?z]GZ'DP'5,>?ZnFŚ-q&Ô/%h]ބCU')9<سHű5/f{t; T€(ΦYr*o/}uGznJ&͜)}e7L ;("Wt GCbNs]Bd/N* ,u2ۛapP<]]^׾8X0>ڳ3/S Q)|(\5|M{L<} RG#Mscdqө}b? ^҄d5gi'h<#5ob45m^yō(23$P]2hň އס0_LLnzek7䡕/tZC,s7ь CqSK$}G"K̯9&93oS6B{A+ 'Dv ۢKhۛbb,MW];Ĝox*2#5lS"ݘQb'.;`ݣJ}ַj~L?$~T`o* ҁs|rla;ɔ%СAZ->!qujǡrQ!4&SZr&D{"$ ɣoy|Ww@a+(,(|B긽D pG).b,W'x'>I P.b0#3S'kFцD.sʣwšy4q&V 6X]vZx yų53 2䗖DځL޷t6Gel/4 v@?@1ꟼ_SຎNtPH>lPyJH5I|~su[_^@*ocfY;_Gh4y8dIR QfɶGFZ%@h]oprƹIPoX-i?v`9oAd(׸,^k vfɂW6P/aFg|vD^՚c(I4 ";iw}ahӮXe@✢Izdtey p~+ʩk@uFQݳ˯17Z.ro+1RI(i}WQqt-ؔIJY ef+JJӣd#*109@ Iy4{ܗC? a)Zu.4ndzL7c66G #C"c2 G+&1 LJI/EsǃKKICV EibZ%mA.4z c{O_B6a,Qm6CTY%#LmWrH,!Tz?_DwE,XWܔ@n [[ D/U!&4X 2b`15tNYMq#VD&Z4pzR[(;EJM;\B,6~ |jϗwǷ^ߍwmF;+Fa[ԺpciX:;Yx}Co8'Ń(]*3Ëy ^JйQ(nb@l=^˸=8U Wy1nSiauA/~RLH 2 m&o)8QHn{5i^~a;i XfG>~Yb*a`+.U*dt!׊~JDtE-8I$ƅP)eC\{ +\/ q^MʱmfAΞC:'ȌǴe7tX80Zec;qduA878J/(6 C$PU#]'2v*hCF$\XJΎ |>2R_o $*~|lKp)sYSrq =9O~M<`KIi]biPqHJ`ty E˭ƈa8&GA,^kkjJ˳PNFǜnKvM|!oL3pPhI{VG87;=ze}9^B @Д/)s"7+ߘ0f\hJq1 ο܎,K&>|dԧRDۈ۽x聋aL4Ϳ jTL從@DG@D8Mlj+U&D;RUؘ g6OS2xHQ0>',[IdtW" Wyqe0 ҕ؇RW ӿXG炛lxAFMkF XN')X4;X$3넶Ċ 7cZkPVLIگ_>kv o*~@ )"7Ԫ]og4 6~-m!sۓ7P k0&чR,=0[)OMc ojī'/}̑YOn݁|%Y{f7ӏl>'IWU~ &^O&kGE͑g,]"=ͫ5 J";[g ]LNGuA.v\UA[N.`iw=xTH)rF S:؂/>E01^cУ4U9-!9@ >ݤ3H;cX;,6.FP sr°ȻpX [I"ÇK~N&Cy?Eay\߆c(QOpQ}GqZ ɦהcVJ䡖d7}\A"V/?_-ܜV%ldb x;yQ\ 5Zpհz൐dLlظhc_{4"8`Mue%[ NX:A*{CH74&&@}}C:U#>ݢN J5)(3_dI@Ƣ\pGeV9^𲦬0뢳IF^RBӜwAeFDaW T- }K 4SJ/d>HdhJuꑮ%Fë{ڹ' ɗffa//S{&_gEꆤ<&tbRxCJz5lI7  U2N9y9&~#-|xw=Gi6қ}Q@MWPx חq1݄ɾLך*-&lu ͙b -x D`.zyfP_%+Ntf/ hYi':oPz@$/SQqpq3 VKs~L7/Oc17B&ȴCu@8r;vTz6@zsm\x؃^81i686y\?O5Gb!5C*9%[5}TߣMvsv A:eT]QM!n#Yj$P`Bk7}P\P–9T֥ &cX\q0ݛej)?󥐠UIH[Ju(o)L5uG~Iffeniſ YN)Pw[O3^CR+ 27f~Ugd_p* XDjW"@fX]8%fm@ ș{!|gl)aMD_AySSd6TFjp&D +c+^h0QY\;IF  Fsha~W`Rʪ A"8eV2Isl>(BPg-)w:?S쪿|ro8  FwB2JFۭ7KyRc s7ӋH@*ru},MzᄉOY2ԛvϼn?)~PjS`A#=$l?IzFPFT.̵o^@)|AOhUM(82x$$=C°6TQo'FhUzLr1K;)$ͽy&O6ض=ѧ,EzQKbIb>yfZvdt UL4,A`kYLJ?I^9n,%;T-CE[Ok '/O*e_]7ǥpxyÅ u~P;#-3$;A3EgÄA ̾6 P_@6(.{RAH˩KR(~DmY͞jB:OJN5&Amŏ M4Ӕc[DGŴՈ 8HWB1-hn+^s (x"ސe7p 2q/ ]_nñ䬟-"?P9|(qqM@ ˘`D2xLb}Pþ7R+*ThvwIZ;oU%t0xx9z>q8Ӂ"C)D;3pa5~#.Os}l0m' Lgi _F%G.~*]|ФdQ$>9H!kuz fR.=)'`!Re͋䃎w,1lWy"t4kҢO̦ ѵzޗjvGxGHc[A[w,?pGl0V/o5 oBW67jWٗںbyXڼ)$!%+3-@K@ߩ8R {,ŗvfEh MV 퍩hͳT,yꕯ[_LH<& >K{8ٻ9Em֐R]pD|$@<Ճϼd"(<$(6G` J+hXɏ;ؗ:e9A` ţڃ&'hԧ,BA.QŞUV˸)mQ>#;Cg} oj.^,5*N@z>':̳"YȋٱDINu+! 5h1/3~EڧC*qZ|Vdruxfot WuEY7ޭ7zaYAf CBi`WЅ*ҽGp1t|$Vh÷8]2d1(Ck{7Ya/ -^iLS-2C+E\Ɖb$]#a]h>ޥ"y3H||.~C#r+,f4Lh:D\@/Qf榝u~. 0b$_@;2&6$=K_OP6ɝ\+'Fs]wzS6>/<#yR [7{eOz^$632ggst*P$ m߮ pQT!ו}8 tZdNZi sI'nPהw]*~6QZw:sG:e2 \A+x[}3|uUX[ȶ?Gi~qʶ)`M~/-SL#9j>qJw$:o(˖jg0-YpFiO ay) 6/d ΀nxDZ/Jm}G&sd:>Cho"rnY0Kq!:٦x/zXmj mDWhZ{s۾x"<5' 2:JWȐ!6VI{tʸB*CizRLɪWgqk`P ^ǨD7[BM/5mmj<hzbsIpnX~d-`D4ˢ:?HMf3ӳ/D 0NC8;ysҽ6֠&X}$lyKoX܁7kDDl}_KN)ݳ8O|۹ml"UdAL0@cףh3]$u +>B'e{C0^[^QW'eņ?Mp>\W|) md|+3T * k/7G~b=%*6-``5 aZ30~J3(ڷzP6@W##`Di}h|EXl߰8'E14$4@tCcze+,HV q EFuc0|*ad #w#j Ii Tyy“-І@ù<ľ^'w RdUeܣ}*%d6boh^'Ha)_ꈊ;ςq^2M:ռr!^][xoQ=қxO {sU*xtnd 2oPV?F#h9(8jуXWWtR9 8̆|g |S+dP('F|un}b$ٕ\Th)~<:IWt]Ę`nϨDJBH7 R=JnۧVDi+>4_\шU ?'rD1yj\W̲gxS󓲌{ۍ?B3Nz2p);|rX;2e.^z&@=3U9 3h-~mckvMd%qxi,R=m4['ppflfL{:Os*r-~}CvYSIq-1ym]Y1{L梓(pcҁ:3-_ܓ۸v:f~7j螘Vm6j׹=)G}!G)x?$u3aiIߪ OYj"?9zޒW7x**^6pXyZE/u)Z[mt/9Q25d0&m(VfrPO  ߏ, q ~|j{-!YAҨLa`Oh]B7#7)ϰo`*T{CeiSG@1)˾@k fT[.CTmOwkK򃊊iJB#@D?eA%"B2:P6j'ɲ}<*}s Bj6$'%=LK7:=XJ)ҹ0L7N:7;^c*-ٓoJ()}^}PXRyG. + ;f("9`c <0IjG^4I$-L0kTv"VAl,yjmt"cp2pQSS^"U~TzUϊidaB-@@ 4#a/) z"!e[]TX# !r?zϑ =j?Wwdܯjn⛀Fx=`G|GM9a^FQ՗vM4{nVة HWC. @^!Br>ƥCHQzv@:)bGD$rG~ ,D /,\>I$-<q}]>fj=H>:.r ѥuy3tI⊩ r$HL3`8ii9F5Í׀MF6Ș FLO@CZ\,M iWc]Ա/gz@!Ju|odF"P(r.\#eDžse/*iR \CeU'3# 't xj7 ^ݡ| ^Z9".!hr@=owҮSɘK^´_׿݀WH0v⨗.6 c |9 G1Pjуiza\l.-plU>-*4{Uż#|磺i-QNJTQ`h(zEll2$?d*t2O\DAǚ[rM{0a[JE48yUyM9rұI O T`^E_"łE֐/v;@jђy`"Gg#,Ìí0js,enD3h/F?k{HI KvHXʑ`X\IA&iPc_0a4eSygK?QK R\, 6fCiBD9G?qPRDoN h\1}$u]Uӎjr_ZVFeֺV5@ǤAC`Ooklݩ]c?WpveÊs>8?,|1a5a^_ {Qt.?+:xzYZЏ WU u  wO P?d A}&V=Bxm$S=-/43Gh}jY,e+αX'J Yq!Ӯh"9 Fdֲ.5Z/װ[l5i)]P^a#zL*l)Jv7DO0 ")ހhy'O>hF -d]MskcQ[Ɇͼ0N%LT-Mxbj pQ׶I;g.pr^u)eP)+U+;q׃45 a `2LQ,s3QL<\TMvyN!]<ưҢs l>N:޷P̃D0ڽNb"*> <:eL#>Q.M7UdڙB>D8^~Xej/\\7'ㅡx\lWTGuw+H ;P"3hVPA0Lw^G@e\?}89[*WPQI: ^n "(FPoz:I/V[%ik&?W7}}-DHr% 7|y>.؝z@'&³DV:/~x#;W=Cxx(ky`;CۧR0YcJ{C!v{ױ|J&Tn^q$7>L*OΗߩ#xy,0h{k7CL9hUX66[QODX߲/v5 zrA:fd h x…ӗb`FIY8鋃~=j]9dT'Lg-9.upڲxh*'{0x^<1:)&jE/XrޫDW A4G+YbɃTƾɭBEQ_wĒ`UmZlI\MdKNNULy_{YP.Up xC)J蚲f4>5jʄ 2lMCey,t ƮԤ2޶Ft9,] ͟Kؖ78C?u?EY(4{(.>YE{RTx] c@\znP1I~oZ"{ܟrrM\2>D$VNҐ>gE-? h֪4KcS7Sy6ƿj2'㝇0 |tW ]+С$#VZj]D_[S6D*b@zB.r!@a,;U]IvĢ_K+= G,iT&f>3eAtߘLP|9;erMv+A%wsU1 zK*ǵ: hWVqi݃\aTm$fOwDubTwFT͹\pxޘuy@ik9*N9n8(:#߃\+쿩^Yꦑ|:ǒ\ Ѷ8=l~F|pcV51 j@p]Ǡ-c6-Q<k75 DR$~5:ɷ2g 0܄c5o2;h$p'o1 Żés%fd38WKI@K[ `0BZ(NhKgo.dGzA>(g@MWŶۣQ۶$Egwi*I;"kK`9{sG.UWLZ詂2XGײKHNG%< {-ˉ\m[Z֋R"x+gYS]8lN]-czb*v`ڂ&O $-ק>WcaeIܿD{ ɲ+<)۩{כEsA; ޘzB+wl% 9P l^E!v\ͼ*s @q]Qϐ lf8Cgr+Hs?qH19=Τ*ilK|c=P߬ *EC$|բ΃UO-G@P'!@y#SWܞ50_~bMuaMcFURj so̮:0dfJS#uEJJz6ELlƸ% ߴNŸ#34YXWi7SxbaGXd"a_ mipuTD=[jYGSѨW9e]I[P lC9ĢKߐ\Ӵ'ksG4}#jcJ$әR.ՆY1  (x~?&ڝ- 5cybˀ0cEoDo# jf9% RaI`S23S?؟(]JW ~c'_NJ!" ]L\EF)ߵ0fGӋ7P85npe)}v_K2t'EIATVA(o2i OuE9rCOjn>ǡ|x)˦Vjy<\6A%N 7sηp1Qe-Cg/b,kFr~r!r$5bޤ+[cJa.C{ؾtc-R=9I!Hn,+ئ9hzO ͛{Y}k]:̵=UO>-\y2o$)HhS7(K&I?eGy_c* ):$A3-ނszl/e5mR:eB>7[G]Er"{]\2f !]<. J|/sL1 L̓p p$3C5A~r'7cV%ndfe˼plCRc5JIF{z<ܳ0SD{A`)&R3)|Z = w}"蓇*K H4b2i FDt=dj+q1'N41x5TV{Spq`-#^T4 YވC<=M'G5{@eU/r a9$o G9s&A.d-K*J *I~ZK|@S~>ttG}#B+'_; `bE5U b۸J5.8{@ꁿ)a,-\eG!T);6zc+Ǭ+uHS^ZBjAn6f2_ʮ|dfŽ= ޸@y+^Kd7@MtVG=0l,mϽ|y: FV 7pB6eAi$ˆ8)#FVcL4˄drI!~_97v_;P^_%!_<5.IePn%v =%C98y[z-4\3:0M&>]kOu&L+"U99珬uhGiySw͋FlViv %l>DKt76+hylNDկw_AG Wbu,WWϟ3ꏏE{Ydst.KxpK 6KB\s,.M*&ps(m9p&N?d@nIwh=Ss 1N“^UgQjcP(nB~@[]0-cF0gH$P7a(8+L LSD@Z/6A؅="c"5rU"[^^9"%FyE*i 0' lFptlx˱gYZ2dbc88a6790820a1f21fe57b5400b08dafa4bd4c59cfb008d82973f70adacd49cb832067f1ce6d0d 1b0de3ee83d720f252fb261525717bc582dfd961a72144c03066b69864f639e9a5eb87534b3f5f8c