SQLite format 3@ .;  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  ~7xd< ] HOL-Datatype_Examples:threads=6elapsed=80.218cpu=382.404gc=51.6247zXZִF! y]ŗXiɟd)&]HhR"P, .N gqaU_ܵz e,9N_W*@6h~S(d;ƽw~8$;SXR?չ}͏p-IfRN^ǿMU/35rupIe6o$Q}/e$3\ǣ`= +>SbV%lZ%q8E" ăz6gR` IODw:r98r$nex: ?95/TybL{OGkL `yU$]Jԡ5)`k7?G}eBy :*xuJZV#v@{p2o ,r.4O4ٙ+C0r ,ߠ}@XwJG^?6kb6[b7I^w:̓K"?6Q; \yCB|2Ǡ= E/G(o PƗ3 (5y/'[v)_uI:O/Ҏ K/Q$6z|>ЉvEoQɉ2(36 姧KVz.0y% 1l8,-O>bܚ &;w1MȸMLm>;7ٿLL;cQ2.f*|* eb*YnCRBF͔+CS'S;mjs ex}WPQYW mCaꝔV~kq\lg9CS;m)SӤ$UqE1:Yj!PC Q̧p*hB[5Qb ;.1ʅh9MTwLOX5q!ʉʼnkiH$#X SRzwnp{"6EȺO=wbR`_C)-+ފNω )-#)]!E@ؔ`zmL-k6šurde$fAH[`*,ԋsr8 UZљd{fuֆ EO=.cb_u]]2!XAP!ͺC$ OxGrr7"<ӛҺ|r Fg*Dnޠ`?sO5Q+,$W dͷ%S}ҒIl6^EiZS6{sQnA08E> jRx(%Gk+ă,:mނ1ءs_}Ca@C;>+>rO`X`Dx2`V֦N [9:zSJSh8I5'X\wBrGF(m6y;"Ysm&5ڸI,ˣ+7'T ‚ D7^_™|zPn Ρo&tFV2'} Jg.75258EULpz_*͹~ӟg¾,|Y>yf!jk͒߾8IiWYXn1 man5UW:"Fmq_B78 nXp}WʐyataUt);-.L7nkhIF~WV֑`!>Xv>o%,",O9s}~fv[I9 t! pL/WV'޴I; nLiG oЛ@h#ݛI_Q_ 5hTb|4|845L盬l Qpa=#v& <f\4'O, bQ c{j8NK\Dm*͜G>$xL EY)|Rv^:uo~F^ CxC㾱xn[ ڈ0,oI2զ `g%-fv93F#lP@4/?@V(tٯ=K/t+9E;RPS3}̲q6qM3OOUJj.Z,\LPʐޏ35 {`سMolN(Uw@:OT% /Nv0!q<$|v>#U ?_|3FJ;;yyեĆC<)rJ/gH5 [mϩM'iH,s8ئl* f*LbOUܽ:OH[uZ Y@tFd'pj9prKaekq(OUb^nzoLZ96u\7|3j6dGԅ7)V#m2Ӳḕy糁ܬ:vKo?AGzڃ/ חaQC4ٸ4qǟ nYqҥ"a'CjlDn!oTOJpKE~K脘Y(m>,Y|BArMAyo|J}n6,*T4j];b&?VViWM32#u5Mtf!,6 6ֽTpnS'&ZK.IOd?Vn:PiYMUIbo:ȮڡGR]VEu S 2Mpc ^q\vvlt*BʓX."ˍXnoRDʘ Qb`;ϧ8j E4<1Ƞu2 o!%X2̮p&Zsx-;Y[GE1Uqel6T|9h4mȻ@=;/%z+A1( kAk?,wioBBچGfTK[x yJI]1Eu`ZV S&@7OqkRK 6~!.-Z/'A3%':mT=3*[ImX.tRfJVX[3'ȥ3<< )h!=zYs#3Ș^mp]@_1# 1S8bmpWKBgmּ(eɂ;M. 53&ΓCխ%Jҿ ot@hoXٴ,=5)P.4>+_VƬk.i${qUt6ԢE]T[in#:/Ž"V/I_A>k0h#/"@xp{֬:H~eF}^b˱biK16\D UWF| 8Lm0[7;K'd 򱕚Rs}* $\&~}VA$i$> `)p{.z*\9'^yOibc9M}aj-:IԵߨh4yk,VrܾU@S6qDP.*J37 Y6dir(Ay13= qrO54ɗײެq`ѷل˂6 A B=ɩ#*a\cy" 6EISX䗮\\gx} KPt}+,sY8?$AJ9[v娠¬Z.7PT@Y?k&YGrlrpg *_w MŸ<~[p#!QЦld3JXP _ʞ`\9P7j: m{gGIyÜѩD-_TL%jUMP'hhomށڱpKMZ߇DWleM=,jy+\l:p3Fn`op5)Xpg(k pTx9-fb 4ߤURf[u[y4nku %Dcfٜ~&d LMY[A^k#`GYpUc sê%u`I ^T^XDxFr`w;E?/ak~1;qpUv@}dë% a2nζ:|C[TfTHܴ_>P%Hj i^ӫuJ/Ph#ygћEhȍ՗bčFS%3+#<  ]cXDd1lV!? {<O"C-9xhoO>oڂ09Ⱥ X!)lUwv7mG5rr H >h<?lF$, VґK94{I}o͈ir֛@ /|N58)prdԥ ZHSHz%8T˰2$a-yZ:D ?/k, Vvifw5?uTP7O~HTK=ʤyDIRɏ=+ ,`n%8]RI9"8Utb:v8c9(ܜL\jSDsj'.n4ǕK/~xqh%9v@4-W9+9+5N^~̨I[!t;߿Zm&xw6V7rNz TYZw?O-)u@'ܫϟci!!Y?k"J\L^Ϡ(*Yak{Eu9%;} y ة*uF6 1XCz9'D5d?=ɏ$x1bXMmC~++OuF:.=@"e^gfcP-:U%o۱smp?T (aL#ykaJ^\vdAv׭%'3q]vfFߝSAɒĶڣ![ LykH":K?6d ޼sX\THFWH+I^<įBm Z(6%_OodvIBvʅ. rc1ю G>!2*IO|2v-UIvY+yf~cwƶ;0v8E1^ $Mf9S̖5.j!ʼ&U)1w"gj&F"wTw8iE3.ڿ}}Q$wXd7_g>G0νdaNSg '씝)޷;4]q==ڧ(`c/|WblﰐBfgL_mSb5=hDc&8 <ٜ )!ԅ^Nj(1¥aّ3Z`R9eDH x9-icRXs#uibi@`w>HtRs#-VFXWWq,}O]$܉ɖe#[x|@FB%M\a!Z4q H:Ox-p%bEs=2YCɎ.*nۺ-Ȅ^nҁ>ҁ8P*|"uCQލ]JK+ypƧ\k2h݅)Gm (?-FJ~\+hՇO AƓ-:(ޟ:X2h=Y=ꕻ{ 8WA\=: ZOWƙ7Y<5%R3&q`~1 R(:V[B{H93>&j,G.cjn~̖ >-+0b5ܾKp[M(wXIi N@8Qy4*,^Ҹ \.X.PZG[tCwG}zQOKii& KaYvV?72;T(JUn(V?}=c[SńdЖru&CDXHw&n[-zhlnZ@pV"w:NƼ"Q ϋjy'pLS; [hK@p)Դc,d4=/ᡙ~/ YX<M"dma_w!8cMp*xZ& ֑+Sc(!3IaWB*TEkf;n1=~J` + _f?P$!An[v&sm.@9-ƀJ}!sݸvC.Y,u &pgIеbLD!*LUi0g ~79W_!$iʂ %bI:c6oxax?Gn*4xjN;X1_ C> naLg2?3LDmjcI;+W<>UH/T.SKV#_DA޹u *0<˙KJI8T}5!v:t<9\ge_0`[:56h}*2x}窏 1_)ӞiK/K!(4@LLF0ǒܓ*༎SH}i$g􏣝y=I"1TPT$GQR&euP(J{9qft%Kp0˷(=w}L>4jr⃻ +% `Qc<_ iwI~4əs˘L+ YzXZ5$>, b yJd{c/p"+z7+V}m*ߑ$kk{\}epBkSkl栫PawX |~2'@N84wx˪ip]| 9+Dl}̡K8:$=v;. ZLjQ9g/a)JDֆ7PMe0.?/9 Z\]KNؤ&66Y A#47# @)eg80mbK9Zq^?Kӗco`%|]C(a0)6}ڎQ'/&ɑdfnE&P!w$-Ir{"sn:JSl1Vàp UBBY #_[/REe%63LW0BҐ c#vMc P컡TO8i,]ݪ:!~Q3AK5%Q`){񺲠 @1q[m#vl1sz1{R8ؒYܼrI9AJE].Ȕ,:#aIzp2&hH01O?)RhhH(vn* ڞW{xE\h?$\)Dzu+ah*aw]eم (nV$ <~v/kpL}RS8|?|MlCoi~\#\F~Uٕ'0Ս%l} :/7 _-¤|*!޲*jLVbHdQ-+0> U+3V7/L-vay㨗!`ܟfY? MSoIy)sŞQyY~ˮ O d.Q]YLƺwIh8\0gv }0wAQ iӮ`eƃ[6(N{߁C4<=mUr6ewho ::Ǐ˘s \A%FYi%i:, |,^|ŨF-.|Z+K0WkhQ߱2Pr1u fm Έ Nb˹pt\!8hQʿnBQb -w1ON[((&>!ixbvO]򊭙ڏW@ʂ# > n`v䂾r@2AcBvD86f}hwSC ӷ]TTߥڀMGu"~z轔5$+DҦćI+Rd `6 PRY"~uLLa7Mb5nXxTS%+ pߴe.Ҝ v8 S%{oVJY|m+ݴfۡ|vN\H|08VǤ%-#H (2/SsӘZwD٬( :\-O{#*LP'\₣&\2A[Z/Umqfv :t.i*ah/m,t*Q > juw Uj7vNB cݚYA,|2røc*S?+CUݻ׶\f:tj2LX͐k^ dǡcvg;F`Όx'W &>ff1YM<k?&uT~2>2,k%̵Y u|:J]ōP:^%nE icUrdm 5SãIսG"@s:gԼT6F8z1$Tʕ\rܡ%w.5mOca+O|q@p 2nؙL 4Su2g(YQ:E}N_vW<56HS+%ebݴf bgc=.gߒYa>Yگfjf aPCBGn ~ŒҞQ+Du۝ UKhpf-x)9)7M 'ǺK k {B< -K3kWq. fS QŬ̥`|!F;`dFM/y =Ns`,B`ɷF;쮘&|\Dǣa%u\n cռϖu*z~"҂S٦A:i^`|CE MA@.;DCvsbPZG-}+ 6:ubƒpK[UҢ6P-_S:*|Z -iTXGz*/նl(644sXK3L^ͤ;虝G>W J9@$'!D91iNn93N\3xSv9aj~V4F%O^!yT{d|ˏvV>H&4vo@&|ǵv+5 ;Wa1c"9G3hr`' ĩ닽Fx(0qp u$R__@c~ 4;`&&JI/x^ͧ1<+!G+}|}Jor`H \Q0R> Gr}1b%0n'CUh&;K⥼Q蓹I+Q,ZOxxXmGd'H'i@="66mH8u Ģ@F_Q2hllɘǝ+3onVP[oLb74D8~?Y ҲrQo,EX Uo.ZFaVIݩWçHl` 4c &C #Cc=axy:IםޫZbSڑ n8 .Fx^bfu# |Kix~iR5ʉ~ R$ı,ƧaD Hw7*lƶc, ,S%.4) E7wسjrL֗xĞMgq"R1Q̀]3C4MO q<͓ޕP"W\&s2bHwTuo"I FxZ!qd^)$" bէl S;zk\OJt/AkkK`d"tlVP59{EU4_/:}J=:,uܜ"jt~xz Og3qd.Zdɲ }''+6ۑD Dй}%<. Fe/[]0|kBI>L|NQ:^BXuBSkQ&dkX?Tv!ij+_ _rQهmitʞB6Eo`! 7D8uಌ{Oӱ*HLØL8`U\LgB}2 c4^fmi^)~|B>=b[s=j1hj֩K&ű]q޼@4jv0&(ӄb3?U)ߏcq59'l`wZSD"'Gbk[ZM)*fŷ ( :x`VL`5P92)#b}S4 ۧھJ%I=yv\0a."M;j?[ݚ1Ua/TSnEJ8*\Ϭ&\o42-?C58]m 0Afl/f$#C04Dbԉا$ -$KK埘nSԪA MayI ֠P'9=hQEӴǿWbK.[)40\>E$[lSѠ0Y{NwҬ U2Q>_6{qp*|و}?Wk̈'*<TR/p-o0*ה*q(//Է& 14({w3ϺBxsQU^aӹCYzI9dXۍM:cđ?( 3mAFA b|h)882]4I!_5_plo (#~`j^u cg$ 'G/mipI֣/3yH86{ Ojf]6޿(XTd lnVKHmņ\2o2! nQjK9T{_4)$^)#VjݳSYKgfIYMn4@V%+ 6KRO ,˔X d=ҔX'c?98:H,9NE m༟*{88XsHK{mH=ScM>*&>тQ}wБS-o}WK: yz\T5-" iq)hJ)#m_$ YrKtf\0eN RYZu\9EkEP巈,"yFԑ֜29`h":ږuzZp(PFYB_348 ஏ3꒫['7nzLZ>A^E:\pYS!JTroBs TtO\^2 Ő׍GlX ɜ>OۻY(3:JPΌ  x覈@ ,RB1nJ]O Ʊ0Snv?gIN!,U0DXKbNhxvr)4lR-8:T}XVH|L{:f3mgaX<=R-B^n{h}kbs^̍gŭ'9< AŹ$U`CmYiPeA @IF_W%_)-*i?Ԕ|K{" "3cuG[$AÎ~`]ꢦyxp\KtQt- ZF-0~> EL"ƑB4Jds!4tEs1ŔaFd9}J};|zJ!H prW{|Ҋpm3rxTLDi:(|"V[XYxDg FM0҅okA=!lB8߲cיlDŲt tN*ǽ#ɷ}wH\-rfܩxbՁx|bmFy"j98 F "h\1"7jX}vm-'.p)[;[Nc`AE4:+‰U6/ V4=?Dd-0)+&X.k2Ҵ)cWCtJ,gԹv8GLJŒT^esx t j+T?zrl; rӘ%< A>ސ"Df3E'Uh (LfmL J͸Acv?B Sfrm H} 4 \|. T֢9, -nqlM-z Q5Ur&  g 9[?w󠧘̖05=8.)f7k*-%˩w3Ϡ򖼘A8rܷX)JI5茟z$-AU9 [FEbؑ>j@7CZ34JL2lpr&޸tހu^JYzs@~rAht:[Uf@e?ǽ-zk" Ms@vee^DKJ#W0%vAy #(;xa)܋UZa +WM6b䃇Qo3RuD 3pucݕ8fgW;]*6'mw`}Tm[44SD L^Zf-Ao/Afa|CL B2l؛nc@p#w8Ҹfʍh)C*C^[DR* E)հVCLozPݰgFX):c) aގIBplMP8!2U.ӚI E<HO>l3$#bz+pmؓ3_䘣-VqbCfչ-4ynRz̔N{0ᲚFk 1.^TG4GW϶7:J&geΚ@\.NlND ^"P/[O%%HNiD*DJ~ lFB^oG(P[E?h*I`L̩%CI}~  b w^v*,KqjHFgqpskbu>EqbJENȼ!wnl!"U1۠j;Uk/Ndq‚ okĻYKt$$h r@[ffR X-^~6½Yjm b`Z5LV߸LE(a\]mi>574U8L^ -c0Ή9]#dN "c&ZX@_[H& R*$1԰h  R[++Sa-m ʠt\5r^A_9xya3gW-#) xJjC;HU˶//5bʻc/h֤ʈ;4>j%{*| Ht7Va |H\W:d5fٛ7oA96/D%(PAhc;0+(*0%"$t{-?ޗ;%~)ԡOCK$RA(+ߨ/C{CX3rYZyn p:bOtA|%Ίp.'fvK4y]o2}i||^-LaVV@x3槎l[_h 3-#! kf+Zː覆i]VMl;*]ʝR*b6&sGqQii35v~sڄ/9{" W ϴi[N=`ֶa9es5m]/}b ( 輩Tyk]}tp`dVG@D_Cr" ᄃO%US.DA83!P!a~:fߌejF[h֠uY@1v،viOQIYIVe;0йXGTjVHX%w90Hkwft=8hEq|1VO 5۝kWĄ)T~~8EcyrY&&Wp3G o܌#ٝ֊(3l R·a$WMB;cǭO_Az<@qXd/uP+xI=D [я08;py `,n1p޳«3 ,6] 7T˗sR0olkKiٹmxre9juRs!^,G6?v2ñTf ؀Kpo-7iK9߻T'Z ve|*ldzߡeˉuj /d\[Ы @#<Qͩfv;"8р?X)JVaV!Iu#Jo.(v<S*}S'3>ЁIbcWTzd'Pq|7u/g:D<*`=㵱 gm%# {ϥNs5r7M6M5W(B(Zhs HcUA7o7ktM5neHsiO߭Bs/ X[m4jcF^VD{s%dw95\+NJ:@V(b{O d,# 0ʚ:9b$U8xS @3I 9?EK`\\&UUUQ 75SrN96PP a!iUaJF |UwkR_|Wƍ` # Ǡ۫ڞˈgxBJG; ف^X?s 8KJ SEr'( дo‹q I%p 'I.YO&.>"PVZX<_gVK Wm(8Sv`nr 96MJQt̫h&8 -!qi!m_GO:g{87 mL expi%X/ zroT `/Y-2nŐwsD#KsUcMnfy?0lӠ4o;LӚgi' OfOOmցЙݝDJU,c .n0A]lB { ̂.|d[B[Aw_ gyM\KKX@#h]P9ֶ}6ZGbid:+R2&X|MI% *7))8/VyILm,dx$g2'iLt6J3ͻt#+G#~S dݗY:&J:oәnaX S21 mnq 7S}XBkU aԊfTnPM8W &// \`Y ;|& ߷aiŔãT{V=.eN]y~!j̈;bmrXx-# QWox(kߛcf$VnpS<Vz0'z /=j5Gf)fޮ S73{\F?WAv2R~sY|9~( j [ X"Gn,^sN6x۳05o5[lpœ9%Ort}9ڪ>ܧ007V7C5jw|2_ #; W^94W^X~PlnopS~_\ʜ|ʟH wCmA%ao`4j \t zH{a-}&o&Dhk a0N":ZжD5.A N9˶͕7u?:#ضV=ˉST‘(7?W8Deox:fBwt4s0kv>/hp9pl@xZIW^3l@^K#'HV~:%58m*U~8m \R BBǬ̗rRW}ÉgMZe~R 6 dR\{(D2S7⟟Dz`_f-vOI$(N f{#u{W K++]^5\Qn-RΑ, XI%kjq LKUQ-r%fӾ\,n7 }.$Ć[2uUa:7Ϻ}"kMaާqKJNюBΆk2nn}4]Dx#[" 1Ⱥmƛ#4/P-J|{kw9l 1$ kLy<) ByK܈+3[3~({.$G?.!Xz&"6r =F7­SL LNj7Eotc#i1Ή|1 ut sԌ)YӚ\> ƭɍ='D8k(<+f9Ko"¾ܬoGg_+^m{~ˎۃ~@g}YK!WnOzh#ċYuQ6 @mj'JU'e[<'BNmldϏ%:F;G,q 5?d7,5yZpiQ{Q\ ~4]M,(CùiUI{Msb55森҃9.-~n% fj\mK$A̋UT*Xl&.yD*oW7)/# 2trȔ3ݾ7XQQ-.X lJ]u{^uqI/>8ʭ㡸xAPxT"uI+]+Ԋ{t-&+9л q8\13 ok{[`W>>J(( li8(zhw;^FOҾ$3J(;voti)=NEG7(N^.X!URub _lh|/zJL# vq)6 /8ɞ !(&!l'M[\geTK4ٹ*NݧX"8(oӂ l4ZPZiQkooF8lF6?"mt%1Op#Xfea4-SYsys,-MO> (֎"(XA[XyjaVሸ\T)BޝgR8**tR# +RRgZB)nSAs0gKdLm=@:&P 4 &zuU!Bv:̃'c4]|G('?w$=@K׍'d)ihI2#1i_^_Q- v3z?cղĔ[ܗ ⲒVR*9cř=QD8Z+5jyN>m{[,`*Ig vDmD]~衁Wʡ$|B*ظOSӱ,!%xaK-I<@j`ӛIŌ*A0{!eヒFŷ1]Mw5;NL DW|I঍ȅ݅}`“/oTU=4=lmMF-o&|{yZ.aeCjm+,,dpϪnjC6mʓT Z)渊}Ҝp)pAb^f"MDQ͕if?NBar#~yn rg?:I'.2#ْ൨'}kno!w\|ٸH>q>uɔ* 11 #XZ3r 9vtp,F?!?׷5Nfzrt0NQ,XyWJhD6ҽ5M;JbMt>dq1l@ D<>8# >jplpXIS6Á@gB  oБ!6j-eD -E&lܚc@H|?Y/q3aq (8 c\?. Z,]TU9$ <& 9NZ69*hU@\Mȸ}#˥q.848ъڂ6oNg~C̪mEjI?"niNFz87ѝGPnS8x9&dp \q[2 !iz&)NB?1GF򈂲 VM+iCqd+@!? m+i&5҉\iŲl,ǤmxRWt,Z]MmpJt%^js>})9l力FCPvCU\=\-75[/۬gwx,L[%@Өƭ{RrDdUƀt#uNoe~#]-$ISCr2Ƀ,` Y SV̗0410f>$yc>t .r,q5Vy>|Bdgfx'Y,C0agtyrxCkĄ%ҹGQǸ K wRUS)_J7.KJ\dXa~%GszMpbXGQe=Dr,AB|İ\;@۬< dŁ~;Cqdm|jv=C>!߉JK6m@6Q9 Bb ɖ}dGndNPaRv#nR@]]MD)_ ۷ڞ[ѝ mupcȘ1믵6:|?%xG x_1EYv¯7Aџ<%4l s9mO_#i?9ף9 J:SA[ b4d~xW_uw9!eUkL;w͑8Gj5=k 8!d~,}(j0w >$h{#CL=vpd: YJD1Io|Յx揉mZsI\bp~ܔ"My %odϹ:='9H챘u4 J\ZǭOUx~rZ$EXCRu\w#|]y(RJY6/ [Ý#AiX֒#IJkr|fJuY,܋g <؅P=]!aio7~R_،Pu?Q6 V_k+NMܨ&Dw ֹ[q fB8W%FRw}T$^ܯ_vUS!aŒ;Fd=(&"(rcޔ"{˰Yߋ\W 58 x! ԫIp󰙄 %tS_}2-v;[Nm }EE }J7xSQ9%FlXUcXLknۓ[~\_;YZ7@!Z}f+otk> L54ɳa$C ~B]X@x?R*34XA6ӸIA3H隁<.f< S6) m 4 Cf`؄'ʄb;X kь8F\.ߍ8?pj:M[؜D*U>\,n.Qe#J[4tG>}4^ _Zedva۱T\an>Xj رx?:4u#!Q5|-2҄ev rt@)eJޏTj R9<),SHh>㈪nut)ɱ/HNشP}{/#?a[TM,' rpDN3Ni?SKG%9b!%W*l*.=dIYlz 2|b 49S8Q,`Ĩ+H' ![k~_싼Eӎb |_Df+t4EDyЀ dr^#vཡU\VGG *s 2FA֪( @Ӭfgo Ja;VJNT'p!,Y-r42k)j#z;x ݹgrh۽/3-NPvQd U33+З3A3\UW ׿ͱݤ!v{mpZ^u%MH)Z7F%Y~$pC 2Gc2*Ӷ{|rO)9OJ8: m_@hcg9ًdn!qpFy5rJVpkJ 6Nkx~Dx[b00H#]%װPWF!ҕ*XrJã;+1ccG⧴аQ$>YRoxxӣGLLڤKߊQ6ѫ0!Ƿ(Fk9@QD%ۧ5 ≜ԌiNLjd1E]*!~: ͺ09ݙЊ4f卭;KwW.%h^v!$Ql;ǀ=> [j+9ؖ']IC˞A[_,4ҬmfcF~,q盁ÏrJWp$y~IL%'̈́c,+Po#Jh󱼠,+e\Qumd~O“eJ81 y9]S{]m#Uրr)BLO5YePhyoa!bEs8kQ%ng] +ml 5H7yNZq ,vH(O %s~FB=*(%tTC?R4ڡ82]1VՉM G-[cjǾ* 03:|`+~EMj*Wp ͠>2rG(T3175EbC9Lv(=Dz:pG >7|bࣸu:gin!%%'pue,\w0 i/E7`؇d9,7.-m[B y~ fLVz kwzב%OhB'Q$zZm܎M|NT?)8zUr1dvΔD Pt,}\Cwf A#3׵?Aّgs]gYZ7zXZִF! v]ŗXiɟ1)*uԚ@e^cLl`x(D1t&Xfeѧs7BÌ{wGA-D!Xݥ)jxHeM@wݧ /Ɵ#_2 eAN0:-x[ʌ@\,ACwԶ9W{qe}[zyW&6Y&YZS~0t6נ󤸧<fiẮ-g7O*vqHuҎtzwÎ;F|^Khha=C^\(B/ Hp< йrB$Q}wS6j7:ˆ 1u+bk*V,e?B9@PM>cF$h)(l{2m93%رεӭ4%ήWw|s\gd؋Z0b1znwĔS#k4G0X*=|+I(3| C^Oq5wpgYZ7zXZִF! S<]ŗXi%L&ʼ>Ba`V=ov[$bM+? Fj$eحj-'W9!c_/zs18J(KЙ離(feNPoqK\cgIHG^:, CܫVNojnlMX+7@(\&'.?g5覍*[!\ zuȅ~:N~R}zK0l~X 얢Oye˪3V ߞw;\Uctrʔt:p{}Z ͨ?ꅹ۪ n}i1RT;ѯvy;vpxa7Dkko2Igǩ$>YK3kF'zJ E8 .e.p6a(8A *A:h9QwUX ŷpoks!쏮wΞ"rhݼ b3a<%>qC?P​~\>zxfԍC+@=W s%!9H?aWA^p=^=smtimmvhz8Rh)S[RxE6L\0]ŗ؇xkB]쒌?Iϻr5r1EJ ']̔_&-(g)0PF^2^oS* *|6/+pgr++Ƌd=Қ$;`M G񺁸pѪ#쯻.,I7ļDcS͑5|69Wؤ2O{DBj@<B6 UtrtE 'O;(ЕTtS;?xGn@TOH i.7*5lHVfm줙de͕JeIaPihcWYIzٌlS{#J?fgNpCl?j)ɚ`"ppcȇ0<^?|xkS*`.᱿jAJ;toG^'͗4˃"|zdSGU)g7ݫ?(hns׊%: j/yS:z_jbZ0Y_h|i RB%do7wD#@\bz8"s1'!& F`%P&H.Xbc=dAR/`hk8}Fk@NT4=t  GɨƵ2%WԦO|HsJ.UN;7{"f%Ū%!2-/pi W 9MA)#-^y-c}//UeI[ʒ8` ߗR _ʓxGW/R`/t&uT[qo1n -}n`~k QǞ@3a= !w\ T4uA } i`Gse8'8Q;S-Lsw}q9Km#HIF=|&cuhGrIZWl ! #STR |]Xr}a\.Y$,Ls9Cӯt՟ 6b1;=Ur*46ra3"L0W+B~cIf\gPFMse#>qw1qΥ.}aؚOd@5}A/J4{l'"dijݰV񮋝G%~]*oÁnTQ b@h@,0bFTo{ϩ*P۞fEhIW1㮥ĈaFvd!0yth"G%bJPIXcvhEd#6֞6B7Pxi1n +szUl)`-c.?ŮPH"ibG;ys@mBD7_: Jaqzju挌> S_ oa.VF9 #O޻c "%SO1w. !Jp'r2[c.(pNSZ>SW?cG*bp:.Ro^<0F0ی*׫=O/HKmD";8<~Uiؓ5RR6[tRUЀ8ʱ>W@(H?*M Rp[^p+TȰuo,œ\| IB?f04i{|: 6*ÓC~j9N z%Xt<$F, ͡3oGC # kZ1Hss,$@%=O bYۇJc݃V n*'2Tg@@'RXtQ2+}چ: u!/tQdH[2MZ8Lb=zc _sb>{oH V{L+yp]1K/86n:Y;GIak'ϛa&rtv% `r;%pi%ۀiAV6.;Y2 7Тڂrf'MS9jJ3`ưf#SH2M k͎Appi _ 5ɇ3^<b|E QvةDx N[uSԅxMvn¿txbp~D̛|ȵLk¡@&~"e;@"=aAl\wYhH={dEc^.研bG9ޠ,GD,sJ9BA&AJC`SW i Rf'6jrUc[U Ln ̘Vn]˄!Q긁qR15Ėme]j !5n WQ!%7a }[LÕ-W&TENg1opkm=?{o@tnڔxڶl]5H.À B[# ٲ2QJ+Eb[3:voծ:t]MSTu));_T=S돞J-u[Ņ!3AAܕ yc_ɮM?G 62i/2|N_ @y)JJ0eq}nl)Bsዿ񩶁d`C/1 AG.2PѭPhk!4 nnӊt͟ ଜw._jxa,<ƶ!yLc &JlLأ<{2׹\RF~oQB3-XLL$F)90>51$1(a\4~$`X0Z>&V0&:"vFT-oѩ bِ]uhaHA~ܩ%UZwKt> I4׳/ϭfHl[\w f) ܊yՖ?wfu;}^Wz." D:wm;WjXV|a'L  {߰Ӹre9ñ9haۭH sF|`SK*~(NJѽ|)+P \g$7J[F1sL<{{7j|ҷO֪v!p1^mk ճoCb҉0J u7 KylpD*3hϝ+ PۀoXco9J{qnGLӉ<rMLhZCs%YUWzsHu[O$R&lFBY2M3NA>]S0dGlQű;tHeX:k}q^8j q"2z~wu+g~WwNf6ĉD\Cc t_A"Z̝.T"QUa1c^b3 KGց'mDM䃮@la1K[*i5/W֠,(.O첐hU3gH8$CЯ!cl-R5e& H=5w\t^- PwT#wWTpu&hLّ b]"S!8!{p8j%cf={8Ryq8f>ɒdPȺ3Vh?6^[yх4R*mlpUk0Riw:w)j"c'ja 2IQYsWt-J2VR_[_sXLCG KϗwدMn]ES1$N7M"':XGD.k!(tn݅*j?D`"7r>}=DR<=YV%ά~AR:zmLD)I]zK2ٔ95+^+||3 y yk0:h{j]R\dml*WW>4dJ\ CP4FhDH$y#j@Nn(="t=KZCŔ΋IdP@r\L˃ W׶= FG಻ꋣUm1|~'jhJTBcw-cVY }xaџflwn]x)#~*l6vlxpϖ1"a6sV,7.3!.sH>*һin˷d\E $z̀5€#Ņqz닢VZwL,1*H=*a/