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 <!T,| ]I]CAVA_Setup:threads=4elapsed=551.988cpu=1960.796gc=213.804factor=3.557zXZִF! y9"]ŗXf1-q恈͐7ӺV PV[S‹Z]qتjJ e4"V!þѿVٶ$ICinhE+mZu:8nd{Ɉ(W鬔rP0Jv Q: GWH2Ȣ'(e>]B>^x zrw]R^ z/Y]*'gq1Ga`^\R7-^|7M |fz eF&rYCـykiE=Ȁ'2nAȈjA*QmL á"phP7xܾuGƒIØgl&u̠˦QJ2䌍Q#GNFU8 J619 ᅔW+f]U4GIzi۷ R;yƝ'`r"{F0I^UCz}Hi8Pe` #=cʹUc)mQs׬ɘqk_A&T(&FTlQ'\=aZ*:-!"ʝL ?`2HU3_=e?)0jQޘVXbbK _bORdW:~EKs}cWϟ`v|]oP2&c! 01xgֲǻ$M)eG ?p \,#o{Sj`Uf<ݧ8%WGjw EZ'9J :JzJ5staY|eǻS=E-aВ' lt4OsВtNh9zs/'KZޞyVLfcHi)fcC@!}nfݿ|awA6M_Q*RB09$JD>Tkݾ}Jv&t\.cFLuAW@-ˀ-u_4-zsKXFΰj+)H@{ xC uq=XoGa~PiZfzu^D~/GPʱS3*x&84}Zku yޕni%.Wxi9 ȽBGi%"pYgV, ;*T#`B)M:**vxِu':hTfK )CK;O+q@Z$ !C*ށaYEU紦}K].swtbWC8t^5g0/ JmzS~UݦD1ϝ f `K§85=d n%LxFSd8otF?Nr,I!mUhAmy%tyD|!g}jǺ D8(b3hXI腨QmTogQɑ5xƴد j`Nqhभ69o9Sȳ}|SC7_ܶ/_aeAX6wmHZV4i2bZ<\/Yak3`{> C3l6ѵm5u]4;'QpPg` i ׷1'꽚(|݇1RS]L @KZ[_I>#, `" )ueLMR B_r0_,zF -Qf23/|S5WM5л{8qڦDTq׷񯴣~g s=u] *rR1¾o.lm]6IPJZ"HΧCUXG+gM!Iًp8`$r ʪZuf{C)a3xvg)+ >NrkICwMbHeb6LmB{\ܛz X#'H`N.oz/, }nɲ_rnH{3/Yn߶•2NU$)sgs|&^k\WK奻)2"( $h) mJ9|BV:xL_OvnkW/*fq2ɬw]4vq}b-B~vIGswܝOZ\gأ6A2;+||TXSfaHP_w ςc7/eS-M &QTXy!{ b}w6*  ! CAVA_Setup  ]qaDQ6 /#?dt$1UDr҅ޮ*_p(vIZAչk:Үa!ͲbAd1Qpv5ĭu"}Q5NWeG `kL 4C"tS,ԇ uD'TC2R> "U8"kV 7pZDeoptr! ,$:ә@l,8:Mks1=Cm}ˡ?iX8XdV[I'"TFiﷸnG% ŭ_ ZAiKpdoϿɕf-pzy Zb 1tĝ$+6t,6ӧq9qHqc!!p *ÿF bWʑnF7(٧t|&erQ}<.&D8w}U鰨浰qi무6Q= bXF\ Co0Kv`t.k#n+Ƚ7y˖4j~hUi)W.>U259͌8@/uT5wCH 47ûOϜzk$]9S}B6 (`Vܕ'㠸]i_HcRvkB<֊dJf2ɖh- e \dcT5 ĊRxJY{($64ѸB<@H^ CZɟRLu>9?8Ny3*]<ɔ]{fGpLIzс̂֗bßs_SihgL~} {/qYQѳ#L*[K4݇߂T^E_fjؐ$ʋ̗*ynH]Q-@w2BjjU: PMEo;(I*jAbcbЎA6j8;b#"aa"U갚 F2qT{X)r kX:׆_|DגЇ%nT't`:T|`Oט37Xk%| > 3D NfGr;T^mvݦY~V禠_Ƽ3Ei g U GR0`uZB8 2OUk (e,zV'@ E47RicW8fEU~Qv_,ʮyM YCQfv!qR[-]zG*X$hL-!Jvaa{= o zo bC<8z,|AFvQc{'W,|?6?Lwrܢ8L VVwNs)0x'CuWu@yF=ro&lWZ'JjR(H_Uލ 9ЗKPMގ%mD?Hrm mYAXbީw_w0xhj:]D0Qjs M[ɶFJwRW[pV4Jm$c?x8R{ؒz3CS&G'/36ɳ}D󜊞D" HE_ yt#]/jU ~ CI -y{nrᴓ=cN?|)ű%?u^uԢ^d#R<ɴ;s7XD/0%e(6EMsR`=õ. ~2mZ-"@z ieZճxMC֝n%~np3KM0`x3"W?{ 㰅(e ֳ1t:sub8 Jꨇi~lYV>PYaP; | v,}+1Wshk'"56.F$ӌH`J\C 3J\nUIA=Z:hƻf)0R^qO*9_?v|fy<T%7Z @аGAr ߖC%V[X;~ &A=?JAz>b|< jؠxSy'; 1}_X2}=Ors"h1b _5k(w-јdT-M{[fV"3ALB ǯ%b~8+193J.EI]57"Ur'|GZ=p_]e2YePCgV7r8{V' ǖtGBKgB:^Z\S$rp0>*g7pzodoW7z:aN @)M8>/ %-b.d~FϯOUhשޱ26r,d &"HWL# i|vƶf%CfĂ՟Oo 2|#=SZTͦH Ic(3h1?ricXG/39 B,K3`ݹ(jkjt ͐ͱc.!zѸݘw~jZ3뺥9sx ډ&tc578@0Kw4tֺq/1t X,D Wr<>`P{ EJ9kO}QRsa_}>P488pG9gG=ѓ\%WRd&o{R'/Seyj {ɩ/x0ȗFmrR+R $)w!v笛*DsD]obm=EKZnD}쉎n޹=T@lTKM"Ѷֿ AΩi=iq9*]J(.$K%`%漛ZM=C .rŷYT0,l0Mïc )ND%𬰝Y/h=%6}@Ka!y2K3 O~.g \$2٠?w[F(C[)eotԨVk$?X_-GhIAHl^*3n|Jd1G7)Z/pw,0vUPvp@C 1 5t8nK $m%96O,оZ8M9l.峣}w-cE\U ŇjrP)di~-#,31MKi9ӱ#A (z XS_}rK\HGSv 4#^ӳ;})YJ&bUn]:I$X'L28}t)\Zʔv (NJ޲8LoYڦSƆ ߏ<~qx)P"YZR2=*SYpNz8p{ѐdOcorwȿNr W g:Ud }]&ɮ|Dӎ@2ȮA;R!ڡM}>& fW5Rr+NfL} DŽkS CA[,y >v0h| $ o\o eczC,bmXշcZu_5O% " Q.}_ v1,ʋ[BvKx+!2d,|)eso&]%Fy` ׊3d郬n'5;||/"Ö Kx .yAI'ݍ kE}j&?+ Oe6QnOr^_[x:5eq$uɨ27.V|+%$#`5nrc.T$fPňk.^I =Kg aHZO*4Ԁ{ XuHiBj6N0)'"vsr|u*,̛\I5Wx\hhaŖ)Uf{]Ǐ:SQ(R>g`cVIәQ?9KH_yOu9^M<#JMqP >/Yl0KM@`矰.zf֑\rOV #d[>v}kVr=FsHIOE<\aDHz=:| klDN(| YG?hi*_`+Ҽž/t q?`ڑ J9X1(l9u8f?6 > 6"h UzLG?g+yRD+o74h"\({{!&|ǖxmcKp{A<ωPqҟS+y+w?x1Ws+>I&E5 Q>rbĻ(j3-b58,,Jm41}R>K֤A5iA( :>=3_1)(~x7{;hM)ew@ͶLPlќgtQ}]Ƿ#Q猸ͧE'!!z9ꂆ)ZՋazT1Te`C FGr"?),Z 5 rK O,Git4VQ#БF2}X[3_yH#29:*Mɹ%*FP _N+F)R:k#Yw/:jB\؉#z/q ( uz㦛7Lyrڽm_;TNj|ק~~@ҫ+AS#p]ϩJpbDTPd LXŻd QQL󕼵#u&$77v`x`c| jU.=zma>t봳-dٕt {ږ|jLgW)5+ Ehƴy=ba@2w=y&9.:cT\h6(ҚZ:DՑu!)qp.SPH+$wF*-rvBFD`WEY%Yk\% @ٔA4pg1Z mҗ|@t.=N/-BvؒuG]f Zm]CDBd)ҹoj,vUbj׮/<ƹ@2XS> zxl&k$9\6bw(rv| RN:gݨpꠧFxk>bY&+}6jd:8w&boOapo:TTYNˡbd4 gp{"2hz<^^+ &W2Ǘdz +6`0q86y\xXfeEs6?.~{o}M_x.c eqX".f&X>2zu`P7&ikwP`t+4? .Zla O(XJfA90LJjT gf%-caLXWfkBe2ۆ_>6U7?H7\yÞmMxnAB/M :dϙrZ% ?Y"R%))O\MP&f2Jc7f)~+_0MWHv2<|uzP.xKwbTڈYhsQyEח۸œ؞in`f8X{HHo>HsVS S8N2N( V5u`uwvdfd 2%Vz;YBQ$~J NnAldXGU4ġ'A8Qd|Nw3GFLT6ΕOOeƽ)>X&pkak}+XCuƊmOX}4%`Ci_KCWC+\-]\@E#&fZ,U$kCrǀZ~O fO񴛗1` Fny7dA ~5:tǤj翄iNk S_CX _as#]IO-N@ŤJSa~Qic ^ CH.; ۣkІ2 D'QI2 .vwkڴ\#ަ Ă56Zb9#;z!y,ݗE[ m, !k֕W&P#"r1/ ,iА{eN, j{hǻ/PM5sg3~6b*Tj4vm*ߍl?q^],'1GWLUԀV,rrgta9ᶸ2[e(oSD_e("6E9ozG(3,sh io{ ؿ_(nړ ]m*;u=ˣpn]Ew8m)R'}M׀K+_x34k?ND(7jErDNK&w(Ny o^JGb 吹ixϹی "WI#=$B;U}{@˦ o?A&;:a] hZ-鄷!BRWբ4TtQ+0WJgpFmO`i2S2Np&tFI L)⩲ 8`=Y Zc~m&sv?ZcBmhUNƆ|}O&eGXв'8sqG_&='h>cAL t2hKA@CQJГ݈RJɸYq0_hps5 Ζ!N#f.ˁCH/تcgw#EؙlKeLO9UkS )jYk>;. >(izɭ<նLa+;7Kpջߐ 1@iKB;` b֟6]A&V*j I1I8mwP ~ݠfbr)d7Ⱦ!c؃1κxQxv-L=tR *ȕڊtl 5od jyEz(hQ~Cwll{A Iv̶ [.tMpL1P|?]zDHS%~@-kUQE+nm#t-}]lTس.TB/DPDO}!F"9DsR"F9/i E5Ua*-d4-˹ɝ G7J:'|c_!1mV=b~7X2Wn 0N?  _DH *?ޜp {b}]laJmuvAq Ľ]B2j0Oi9xdjK0^І[7ɞӍW=N}2srw>Vf318߃!<~Vfd^ \to91Ej >ܫݔϪ=i~8-QS ~^UYݝ2n'5gy'^RL^ey ! v OĮ`NUV'3pP0c6 zw7}|̾)0#^G6p0sl8>_M_HChj|;TxW?2]٥j$_0Oʳo+x:B*lr| , i4{އ'pM$n,Њ&`@NCz&C(*GY{FlR!(`1ZD V.b-ejI&%WlrsK&F~9ٝ{s^vM0 ȵs@cTa, lLsf 膯AG7-"Er/_k| sU~}*gF.1¢~;v M12TkF)B1 Crj? PW ?d?Fq1ڵliX0'qn29L !}r.*/'x "j33dIZ@Ԋfu0!k4oZc$jνL9r͝3K?F bTe17-=WPͥ 939>-\!NAWp"' z ,H|iV%PLi%1/uDl9[+Ql(f>W\'9C^ eB7b&?ŧF.X19|Z~ǿĢcgJ80ehy4Txjb{|zK8٧xF~+!BnЈI2 db>y´a27}&:`},u6Hܼy'o)cH-GZi,M$ +pF= Х[lTDWiO{| '~)hSdGhʹgM#!"&v&p=5?]tz6Hiؑ0F"e˟dpxhbj?,>ԢQ.TIIE 98غ3 K@y9xB;B[O^B# dTEB"ڻDfbKq.T֐?n|>\^~3]W! ܷg1R#,п\>bk2}BqR& B֧& l/8EM Qܼvk), (ln :.m;a\!ڊ>ez+~$g lH糦4.+7w1 <.^{V7^bSPpu3Q S6XYgo+ٔ?3Cs'@q`5)Q Z; 1xFX{sV4_U Pm [x ?2ϣKl0md./D7XX9DWU>4*azj3$']/kvAjqYO ƌ9<|fٹh+zq'F+TF*g2dM(mgӮ/œg$ 4ʃ69 ٩f$˭bĈ ϧJzp'tpfQ%-g8s _EY ~yxTTsKvdP~e Nl;ODwŒDhɄtlJ3x)Qa1G[U@ N6y> g:[q {KCQGI+@ID5B17 󳁣|q N}"}{J*#W7 ;rKEs `Uw.s4 vm%p8 +:z Uߥ{i=HbEwsb23~\ lg>WW7 7x9n6piL}=U:UKpsP* ffV+1*͍%{Y^:xh+Q"ɢ~HV@HI\[19騋\xf\AG3 ^a{gMpOCW?| 8푝z:G@:W|P90FִWԸ e[l6 1P.n* qv'Ub]&O%HwFuX $cCF(U}zsd!\_ŋIC!ۻ[4F}€~f~a^'H5\FY-Jd\x:nJRN<8W_sfdrvx2;mDux/bxs]IS__ak;H'|0v{eQ $:4,2>kԛ0`SUɋjV[3{⬯r*@U H7).7$d `Z޹6lsεQmmHd\;P1kآ[]JExns%PqYF$l.w /:CH>Y:YðEh s[-"S3Jp?;m/)C~S'G3I";8kL|8nH?2J% 2;Tt-ybynEjB`gYZ7zXZִF! Rz7]ŗXi%I怉B+YLFkRug7Kf@!͎K[ԲJ 4xQ*i wa3vӊU,x!' %Q;>Bf-!H''`!BrචW`WC7Hڹdu0(f Ԧgl.QFSPij+".g9KI/Q^d1(Ik|Ql[t=𤖊b7SȑF }_3K׊r7-%)~{_G'n_mЗ772ȎhmQL \ڿMӟ _Z'}0k>,>@fVVg=`pSfxA2/!ڷ0`d; 7Z:dbxsE"HvQKGw_&e$k?^3Ե麗M{kNP2ytO* :jM{Rniu;J~Ŷ4FOI'+&iL7E!\"P=Uq+uj'1:5;ѪՐQEl}-p;?47-AQNa0LYܻDL4bt$q"QPhSoO&.ʩM6_h;0(YYj<^Rf0.,LIf=3zoc&J.;+AQrrTT[J7c|o焕>sp(6oXȮː7bO" &\ o6󫨸uɒVVE+>XA"&AJHہ{Jn͌\@IS<(gIV.S oXx*= @Lop y 5R~n0ۅ"jz? ]NTw|ڬVߖHdӧ7lZ1B*5a8ψ'0_Czi|Ugxu5FuaF'(M~(U>W#m=tn~߻ An6@|l{DP; ˘͞/ HMȓ6\R޳o@UiU $%nP,̨aZKdEu{'4hQ}JC-գHDVۘCOBO@ԒG oC>A:O( S])ޫ1ג$_sK @|6L& Uc2=A$SRmrEr&SyJhc(R$9zn0L:by~27bKv|EH&aYHF % W ww{}1H8C 7}1x,/ҽCvSFJBnJRv"3?X߾==b`<:i}$>J^Z`)'BdYPEv^ٴQ?C7ҩ$Aѝ_h'WWߺZؑ8Ny̏"*`Xl-jhSh{YO,ӋM2ïh+oeBK澖Bwě9#0HS}dq#έ&gxE{00йoSjC_lO EiՀ%.Ew/ʡ4T4@R [IQ|ʧ{!W(B@HT#Cz9 )[wl$gu5ڳAU[(_ev6Sad]qq]bE.AW2jk;*r1@նPyNs!~6$(2žȞJJ#8ȼMP #izASo0v.۱#5ضJEmdOA.y[?VY(c1/Q+Z ZO,NKъDœr_ra"9:f]#/eLPsl}L٩eIn &MaQ:u ԙYO5|b;]Jg)'62hw@@NAOc_I7vuÏRoeDڳ9蓡qzx"=bk}_*н&js2X|=rpd5tE">ŌQUՖZ?Hhi> ׀oufҦ?1יv *6Ci+c$΢0 R&U fR#v^ST'ƒV xzHf>yw8zIZ|]"inFTFYmI.1}5<"7艜D3jO`}Zaz篒X obAv^vf?1c' [[4ޜ@tVD0[I xoKed>w[ S=h:ꅬ0nk̺h mSYZ$?;3X )7CpU7JOғiN% X*RV'Z|Ӝ`8i>XG-r h ?^]5~l8h7>s}/Q<^OҒqc'i,4ImH0t}o 3)B0~2y e3gčw/iU ' r!v| 4x"Zf2sx*|XJ8&ʓBYtK$wenb?*T> N\*? 9%8,F`4ůy]]Ύ/?򐞐aINpK/u6\Mh,;D2x>ؔJ>â^XR(0&½בjy`s(cwyЮf7Q OK^W> rm*n$0o)MD% sGdtrĶԟTؚpȞm䅹Z/efLC{a3͵lZhlpar6 U1G4ذBz.هwIHO-q GcT (}Gq_otY!l2-L,Hhh 0NX~@btsE N|}|%mreҒ`bf]8py#һμ|%n-uNZk:ˮ$jpcΤfZ!w`jHs^L9gnu/[) $CMgK6`jϵK-IĕD]lz+(>xſlb8$Bw~X3NAٜ\ ?zT<tJnWIY_gDrI?رu^Ze͖s%(xˆJyʯu<]#jA j4RM 5#?^梹k:?*Җi/-&g7D}=lr"B(%1}&KzjLHO6;]&;ep-UR`lc Ҳ+SF)C)pw6b".]0Of*Kշ(!0p함 MМV̙|<YfBM[ٷϞHᒍ)0<(]:sV';=?$" t;Y#tz%OQPiҟfh6އvn"nmDy*f"sF`܁RLaL\ox1^ - g%Eчϑպ=z2e ]~҅T@ ]@DYD1o6]t6QL_Q<ţ-ƈw57hgX /az:gԎI^Qg4A҇ZS`kko 1ERtXzFr?!gK`82&2{گE{ "6j]#jYWŜ@S4YL/0( c}hu)5H mBN[Z9ArOe]Bͼ֜R ^ߨq!^ut2.jM"Y 4nۋnӵ`"~Tx E֑c*.&;C$SY5ÄΜWS}s؁㾕ՠRْRDҊ9ʂo V $޸!ԽR{^Z&lf!Hv(<ӷf大~Ǩ&^ "!Ұʑi XY0J5¯3Ȑ?4cp:@$<?O/!Ӏ p3 ]"i$*1-Nq}@瑂1\IdM%x%8ʜ_%jv2EyGRϏe5j'B;%LƮd1Y|3n+c ͒+Po0H9JZXqwk ǫ֓Զя(x51yoI!≾9=A W.aXDBT l*h MJOJNF+ҽm Dv?0lWϻJ/ANx.e2L5P07m ]e6spYR`a G>VFd o "T% c2^U=hcxaݑbJU_#t H!tcB ʧW0) ps-i#XU\̳ڲ&Z!SBy-rUhl`)$dQ]'O(OR>܍-2_9bovل`dª JOz bsG8́ sʄ ,O 4ߎr^\jV&!D wϢLpF׬B'* wxnUD-l^JC/X=HB?J";9j-!2m/7!!a35}`0sc2D@+w>1`@d*hfs;-Ԭ^q(Y-bE`Y|z"_A-y #XVCQ;Mya7 V+T9As"8Wy&PnXF#uQ=l+#,+b")T\+%,dm}xߔ`}貜 OYQSvHBCHm{f> V+k8w}|=5xM.m Ͷ>I`4"{J>ʸn?IsQBzMaI8 B#AW9id߼΢#:jgZ]71Tn;/z.Pbۂ}|Yw+TIs(yU}8f~X?cD(|;V$JzԴgc9E3-wA=:v |rv[}`daP]xu]ьM]xa›OBŔ 56Ue59Џ3Kn~@BBNg[I~-rїNw]Q_r}G:ez̏7Ҍuo˒Dmùpg}LAߚteC&y暖1Y8Ȭbnq5 aka ov߃|i-[9q/[J+臼5"2WZ_U,S "7XA:O{I .Kf'XZ9SǦ). g5fܥ̎`) &]h|jd1{DV-QXGubʬRB11aqęmBYQ ֘ċUvRZ `Fg8Z p_wd% Ed՞e:õ;Kv֑cpNCYk% `sKБ)Ѩv0_͞@k"M;WPKLSӞUFaSY B}AjRFɋ w+>1.IY4 W T>;EƁ;0aLhd="NLM{bl॔X8 ݦ < ^ vAbsB=iJ6?6촙S?Ufb,PUD6b-un9<7d5Z8ZOv `1kfNoG29|d3Tc2+ԞhƩ[A#S`B>) .ZbVtڵpQ />-(I#঒~ZEߴ7!TP IP]30C#.'@Ʋhޛ"96`򤥻)#p"}0W C\Nosg eFe`u5UPɣ}9vcBMd"Ƃdb[&\X2`D\S!1΅cuBſD-سv) }R&l/ pjv`-jXe"7~FjkYP3cֈ@ʞy'<9oKO]o'f^ԄǷ%!/Q./ˑ5(S9mUŠc$g Ę. &*aNr+Ÿugwoc^?l~y5yGcaL. S8SޞoNfҝCYdNs3fD,lI)hdKK/YD[18Y9B#pvIo'Q9wKψ-;̬6SV\XI O0bx/.Z^s Fk%6<# Lq/tQb @=Ve@,0M9/1nH3,ԤS֢[eZotW9~g =.>%9Ҝ$%]gpv%vp_Q%y8jA!OK4l`p>vh2  U=4;@V+_@IˢID P 79q 3.V(ZC4cؙ]  Ǡ[c陮d+Iёk5>̫ )%ԛz'AҫV4ձ.~UlIN䠵cP~T4?NwP>=<4cU^I)(&=YVtYUz?uXpi&žzW)lo0]MQVׁ`lH2 d_0cߚ/hRԏHmYX&X%m%V-ʼd#WMZsM\=n X"b刭t=9,49lp|B } u&d? تs~| *]ERşlg l-F6'h3: ߄W7q6jEyLQ#vF:C˯՝ԢׂV&AOv1_LTvޭp#'7qgv6YNC柄9dMDAqeqY#(TLx . =oFIh~W&#H cDbi3.昢l؁[eϥZ,HWh jW8+1bm|*_Ipp.gQ6蒥[{խTiLedݢ+h%ނm=X ?Ss$sT]@hdPۭ;_8W`&=,tyxp{0>M[u$@i]t0J^n3B 4;虲W\2Noq"L'jq]Tb1䙓12H&AIe=# 7V?ߜ>-<_ҩ xDnh!ʳfi0n)^4;|DL7st[(BliQJ殴u)DŽ}GfoC.ƭr~gh Q9 N!m%i~eU:|ƻB<$UnrTx'oS&c3]0Nw2a3bR-ds,YiR6{"Um8AR 7S8}Qw#'! uߑiH,W<F* !DY8&`& g7AD.*S]P‚Jဴ%pKE`{9eo&*د>Wk<$DWO<-'܀_'zte?3 ^r1Bluf)l;jpd0/}sCP"]ߥ~J|{6RM`F)b1Smî܇l90XW+l,sĞ]ލ_Jwsxt\7?{u= _(a#Η7d0rRG$[_ylԍPQiiH|$y0dtU$4si-V]:zux *IƑK?!g-i#XLK\1wNĺ,Bٜ?m0d cR]='Ez^6{?yf9yѯ1p7xdDK6Q.VFz(O+gw(rQq :I!͌7"XaRr"1Rm 0yb`_+*Mks̖uhE U1WPzwBƓKۺ.4AUεWrl)TaaB_OTS30>f rl r!Df>^)/#(xp0*z{jz/L1Ylq%Mqaom?x,l/s.^w.pnmܛ@Njnq+Y5|c jߠ2yg- 2'.&]2p oʔ(@E^Ɠy D# 5" O٥l8ϱsDZk c=(m aE 31xb5bk|-qir½BSR P-Qj.Bsx|Bk-Î2f;EXЁᴎaR m/p\iڹ7?95J.:0DjLꦩ;^^] rhWl@'ՌHޔPbsFXb5yGRI a)AoV0j$j>whFX:2q}9c#Pv%7ED8if3Z*>M)XG}QޫK qYtw , Μ?-(ن,Kt3Yq| xf,i9g/T3}[c' V1t1s> +RC̦4[oM5}RzWacS۶2y1(hP E3F%m/ WF/HbQ92>yJkI)G_% \>U,}VD6mkP~q̈ls1竱[FpVyxYx0+6CRL+M%n a3vG*m="=NaKK%cqcx`1*)p9jCrYBsK>ni,͞ p }1?|AtcU?&% &9e-2:W,ạ=)cyh-^yv"ȜQt $#T#1&d_ͻ\*#$<B?.=׌8i|TSR;H.1ޥ9aMfh ԉRb8DH" Vɜ+f^@i prkAajlB8ҟͬc!$-` !*Z‘>H2:w)JW&vhj3-O4c*q}DRP:r:mZ>ΊH=Fw RK=-XKw - eU48J?EN 7plE^f v@.E 1mdH/~IP_uP9Й\gk[(ѵ+2v|W/^P!FL-7.f6=]4f ǘ>q+4KZLi 2$Ꝫ! jI6|r"0m%qו~0ֳek\tYDt/o,˦+bqUJ^'[LMv]n? s 4֘a6y{XwS|4H<7lRBeUŎ~-0x "F`j|sVP+9vM&q:%iVXb`R%+y"z!e${03˼yݨǖ]?"FIV l$^F?Sxu,P@U]GyʾĄ5g $Bg)\i{XZ{ns}Ut X {!׺B' K/`L 'px3ҠBQI!FXk}co[;j~rK`=C1k*-´'WⲚQ8kũD$r6 g7ֿ|xft :;OV:XPp]',bHt675i8c6۩UsU58hi@=n5yVq䄭4F!ʆsE4?5x}s7"V*%Mb_ܵ'^yn5V+ HV6nq 0#=U{6sЭ=Oѵ<7d;"#)OaX BÍdݕfF;WK8_w$=[_\|Ϣ0% D,Ul=$_G v?pA'v--qzh@C}ş^)/V}`L QYR3۠b{'$}QxlK|5ҒfZ)\DGcfdܨR,_Ͼvayktu~;BPƨ+/O*}s%xyOt n's)~P鯛PG,!" j֗3Acb )gOK.#x`/rhN&euNVhk(MD0CxLM IGx] |Av ShЫa;KNgVD >&gI^n X G))"JAYy"qͭU[yp=Wo46:VygcBYmt_y?"V&`p㤈l];%O'wfIG5GE?~(8(mM0tJW:eX*g 9)+qzw5Q3:@-<\T/F&p920թmtgxX> XeRҾzȷKبa5t;M98CC}KI-クn2#utJIwwMD0]׎YX/0owEʻvSjkraP1RA=9@f";(خAlPD!7r[w^Mk[_f=k5˿"\>i;ȃ^t) UPN-"+=`t1jvJ+j9wLpuaw&"[pH`i֣{arIs'N+wܝYF|?D.A x؞b*zlǃRߘ,γJK95H5ߖ4Ҍn}8qV%|QȡWxڙ`FEryt4kfȋ['P$ohiRl_81%w'84by͏_~`4C٘P<肋[ XzHdA64F;d2!vWP mtQY*2&%Nϧ8HHk˓C O-v`CiW;̠H%K_tbcmקjP ++&1^ḋGz5ah͒ɖX5 eKNIrho&0Yhi[nR>GNS⑽.)=*_. z-&{nEsb),^2(]8uܚZ:&\ad@auSK?X8W[&dZH%?( =O? jޝcl2i>i$6F2;ҬL4wBaGBS0.9!B<̓;^+ѽљ>7SwOK& # ɂ vSL&Pj<!(CLUΟk_T+<:^]-Vnv$( Re{=[J]AүA> poB掣Ƃ^A/^_L- Wc\mqp\uf 7;wԕÍ=lٳF ]4oOFՇhFͮ_[R;̧$^{faԯ8wz0^t2{)ذ7 H9y:) vI%^깖ScHL| \)8ZƌKNl¦<ݣ;lfi#9v=obȗ@ā3==Lpͳ>5 h|N:o0zņ#cGvhpx߮P8ɕgGz5bR/(]Ou} "\S]`G$[g&6PtơZM "BdAә&hp'}OHsY,;W7+0eh˻M$ C2;|dmźk VWh,` ;?!P݌1TiQ FQtfl7Y3j5^Z.1nKRck 0!eEҺK`fdM 0`-ZZ/5W!1?)g]J6cٝH^1)}B6YhtØ?0ӣT߯3Y<\"3eDTŘxd+ H.,7uG*~P^xK~ W2yⵊ~t,# >,t&#wj]j ;tX_{b,([֛:H f-o85u~;9lV&V1B+Y`4 RO0z6)4|_zw{B[a€YqA?i#GKuVO:׫]< =YĩMjMWb^YI/2PwpZ`<A{tpP-0فvI)alȔ#MDZR);&f >P~cUp#I2+ [S˴R+<-gRvME9/k ̟`|m]ڗM?,i38oH*[>`%CnDPr0WN^"Q__f~a~lB<]0\|- [e-O}җ@m߅<=a4u.RLc 7uP]@%Vtu ' CF0.G1 LdTƏv9(pLURPcteWT\mIMq<@H20T?/})a2x@%^uکGbGu1d¶=ܠ) IjS;"0O5_WdOVC-b_AT8/ _ŴF\VcFjH2BE'{m.HN8do2){sIaBӟ gd\ЦIM/sT=޶'#H92A&*%=kܦcVe:UBWsOP;sa a(g<'"l%Qra-0~xtE>O@. 3\o Cjpg#*BB(ʻl+(2iӐQ~FY*Y;"Fqg۱C jcP ƒWJϳ1j[ס$9 r+.XTzuF. )@|3 Kj<>Kݷ}kL[!㫮G [$EBP|jCL0|h. XHus),L6,^!ph|0(W_X3 %Ix0;91U: ?;,cGF>ަvx"3<7W @]iD>riLm7>v~|Kg$XeV"[pB0(EkN:0 6q; )Ƽz~S~2>^έG~$ң˝jWˉgs:.ҫ}znB {\em1_Se]k$ZӮIU8W<Q&Rȗ@Q.wwWxmld. pjZ[Qׅ6X-\Ը2ͿasQ3ϐy?-4+f`<{o\3+2[2N #X7ڦ-GFz!:&C< BZ)& ixdMo!#^.D2' b~_ӻג!Il'+ Bb6fbRL3}bVuнD*7\P I$&\?ƒ;Z1C܎Nzʳu`fd)aǎ|̸DבtVTn(JTĵ7$O\]~nޒ`hu4y鶁m^l;^NTn'@>R:yJ[]{ډ%Hߍw<w+~mKz<3aRk6Z`n{#c9),^nۣ@lqNs5o~"0OI9$ <8vPAd[s< q 'Q~1eCޕy*mcoIsRFr=oYؾ|'HmrlFyaҙ-lg3 PFC+sxԖ5 &Q)Ͻnlc)bbH#g=ߍ١w'hf.I~`-Oc'J q%O;bENSne&7*,DfK&rJr?㼣\Yqkx+?k [;fV&ia-(! $LnɆH`QWmWnjVꁯy3Pkjo2isI۱u)?6{^#M NtdEv1lV)U XEq*U ҎR:{l)kZCyd}3R"7VZH{R`yۯT9,'ai m[CXX;IKUnY\!JyQBnƗ]^w1c$xv\{-Y~|WL[<^rDZ);`Y҇1{G&B1|cBsǸ5v785 %*䵬 t@PZ 6t)rv1S&G{: Z3T1 x#Rk^zkXub 7,RDYE9I2p|AD-ʴLo+xhAqj ʮ6J`f-s:o'`ξ,Gıgs ^TٛCu+]TMy.HzdžH|c(wrgy'>H c@e- C &Qi=bL^VUl% c|5. bOHa!.1rE5.- jNނtzhOq|]r3#hyצ`A>+"zq f:b+B6LGA7&RSӓgs !$;a,̝}o.Wh0{6(TL 0:mI1R>tM)I9` -f ysVe?립)=TR|`R<=ļn8ywyM$i',`adN?F>Ҵxy CFh ,فQ]]OF{ ٨F',;_waYɀz_KCyR;LUm_2 4$o02^tO 7dCWL:6׃OCmoLV 1uJEGK#wOY#Ԝ 3a);Pf#}C$QsAf8sҹ“퉁"DkZҥ;B# #3 n*ZE4H t٧Ñb|?Nŏ)(x1/b>^h՜٣0 25%׺73P:/UqtlcQ<#ۃ뵦 RD`LSE+GN 05תFp~,r/FȸP̎Sy|Q2C*zC_w%ϳ$5_#ʐ)[.޶XaOʡA{|۽yF@v3wv4 L7UJ,֥$.K4kX%Juzrʣܵ+.ͧ#9O=*ޖ"TBs(HHK!o.2y>a/d4&+|߫}ጡJfT!)#%^^i.)- :+ !JO,6+IJZF*Ūu*Mez"l-g/GCaV$I.CwD^/6.H:j& xFj;*m[˜,AV"ab:|1ɿm&Nɒj8 lpo'ߜ,'Q19g @Hyhl^!H+'0مSVg\̱IKH%nKUP(1bi;Kc)sxˆ4T9|TEYh0thZq|_bu4B,U 3 Kg;wʯ OzYY\஗ }KP:)Fg: -f>wV3\`[4XO,9~3ߕ~.X KpX 44۷H\,QJ(JLt.F ц}>a^Iѧk@'`͞qo#FTdUdD>+P3g/)Zp tد}lfnY~>]3996tgtn, YY|uQ 5kF Y.ݵ}Po' CpB%T QQG7+vrUdLL&1Γ^Ta>2_AQRթب7AAc#T::BweYk-yrdwHf mZbec0m,+5|pl[,BtE׬z kۄ^/o! MuCOE@xݫ{b] GrKwcwԙ )5 []Z$OF:`^\*d6,A>ϻ*߇`}M-߷[ 3uB]]s,Wn6 DEuP2[)3 sMa-lV1F7o+GhoOb}x@{V(*#ߛ#e0lhnɏi.FXx-;ez_w.^8 TZ~4x閇Ճ♞ ,x\>1 ~o^^>!op#ǫl"w˚!I g %)r=y޺3J7 4B=I כ/z%Yy_W"92%~i/@ƌߥ6u,ZXe~c|Q-=HN4Sb S_Nv(ܳ Kn4/8]1qO%/V u=0GX$:}BŰ>;ޏn>^UAB{$xj9d9d7VTQxt(m= /;4Oj2I} ((  ;ҁl_Ha5I #YIr62%HDP:{ !6?y2vc^Tʱv@<"xA9XyVt2:O3ߠVQƽgRmɊJ憇ri87bٳMAj:Hh 嫠RdXNL5kJL*#~uZ )GY.acch9nN3W3|?n1S[{1>V0Pxpzj3ڵx+|p բCUPx?uda*^3䫌RSugɞVD]j?i!b)/4Wre+Hj:' by;nyu߹6CbaG' _+zzvN`q%2ɒ}6Ä*JOM7mȷmAԷ[Sd$_R3 z4PXGڻ ir:"f2ߢEVfE]Cp"XOnv5aT;·7\V0k0@V t.pkYCe4P/s`bH fJ6znFR/Gxx8r(:odg:.R<\*Yo#xTLMI&f|1-P،}b] 5Wg1F{XyF}Tye擹kaKE""$ylQK"##һjMtߋfJpۥ-NXP.^]t=a)ySm| 'N{[IP #ɒ09%f&|uiJY__*9YS/QPOB,6l~Ub`Kd,"'P{rr/B4#3"ѭ%׀?jwj)v  y?؀ř/ -Xc_S_DUM.j8JO^j#KbQ~săo]زAIUy'܌r5Y-0#\jq|. `KA*/E{Y YOb"=,$},O_dK(ݵtC^5< wfpĢ|$Pș/}Y2عkeNF_Ǫn7HQdg 7i + )U"g p1pӪ1 49v3@ܐ2o~\k)&7>P{ ~Kn툴xg 2jn퍘Vdy*!嬀`"/ʪ#weuqQ⍹4sKjl#PWܩ$,e6JO=` )/.?@yQѲ=L-x)٬uִ`D4s)Kԥ/eǒN8;zmU7A*OVK@Gdr!z|L-hH4ͺcvbiرqE'uIf)Wr# JJyyFi5Y9Uڍ:P=Xcd諴5Jߔ)"5 IG?wXzðmrO5ƟmH1z2HBˊD.[lPAgUS9G034~2+w뻓ůw9՗mnZhUCsvR/% gsc#zX;A(f @P'iѰ R_G0ֱYQexT ̃BזּJ [x M|J8}2!iLP^) 2 H xO[:v2:}N/T8$b"l6cK* iy_[.pSh]j٭/%{AtEgMς6M!ƽPD`r\mc8[/EH ~* u>8ש ;SA'NE#VpTw{{_%9{a <(ouiH4{Op9\bAXUg3yuu 0Yk oɫMR:>ҦZ?-xFs\*Zt,hxLH#!ULX3r)v}:j>UFՈӒ!A7U q`%F_nrz<.gauoGF%1-m!#5n&bUTb(zMC*|" NA 8vpӿ]!mL7r^ VclNXv„"It#(X]p4:y9Ψ+,9 -g-6A^>d&7+wr)nMe9Obj3zrҭol]{@ꆔ(A9!8-v/GTd.mTg < uA]YNII뚌sipI{݉Md,叮%oFLRZۍՑ2/ٓCU[/'Tۤ&2ڮAU^-ލ[aվ3+c>20:9]wAoL'd%3-N = 8A5'./Cj9l?]v#@{1ZD6 Mzpx 3OJODh xq_q(_ծۅ8ǐ}&ϡnp8nٲ8y~tWbތ*"Oc.0m~ثž?f!؃Sq»RoS0G>4ߏ\\Bv%(OO`rQ7]6NIaGP{ J~a':ҀnZiAn2N)!\sH;Էrc'`T[9Wcl*>r\ic#IA3hzHůueýDZ]TwQU_kT(8hspőkj.ekiV$DfvK&~ΛPHTF0)g=ʨBŽO[/اpxn:i}Ds]]kT'41! MVOўט*t0zRs5Jyi乸߷Fb*kxI! ^.*pFЛAwVq$&rJ5} %q)9#PPFR'R3"rp^8Y SvM@'Jӱ<=D5K]0;0IQ،ƌ2)Jf-8.[#*/kQW2f`Vr!.<"+uQq)j쨍u$}srgҭ@cSW4ݜs?[cKѼ5d!q!q-̗}Pm^LxIÇ7b;Hִu<\GK#i1E@bzr-)n{n"`kQ:(6^Q4`]nҸ$ S[ɚt˶öAq+xo%n2š97njf8I\qmhދtdDjsJ'/6ͦcR}TYHn!idyLxh@1툍D {s N $)jλ11鶭 ]ic1Ϫ7^yoÂYyAˬf)-6,X㳪n?36+[zOBEq[+n{WU.4 yF,9Žb]bsW^-Q8ͳCuNEt$*r0Bp ^xvW?cx0J 9m."PC  {S pIf`m7S(R229׶A}mʘC; `á;r?/6si JB>"f$ ( 8WNkhpXH@׫[|MN{.SDUzcbNaZUUJ:=` mQcO7K~."-4҈UhiI4mN}ȽZ_+y{m3]_uĤ!IeW m*xLlǑNϣfq@oMcȒ u"y2v %VLI4ƕGNGm=lPy 6""ˢiyq-J<HzH31:z3گEt@9e Ku/3a){Ɔ vÄ؞k9wZѰ6!ʆ" LԱ{NM41x6(J}8Ճdb)F)Ld5QGKxN3ubaP>"ż} H2pI ; *d:?l3Y\F&` O"½7skiਸ਼n1e-w:[o^il6Rۧ͟i9pB/BȧY쳠m&{u'+E8& f Dp</4롞ُ.oFlzX()msWU!kgBs)h<ٔXUu\W'ú2r5לN-0؈~R6 fAiruƷu,,Zf{z:~@S=ᢤ;M:=pD'Z +5Q1ᥤ8.A.7!'_X-.9$.ekǴ(BsҧFr%Sÿ14HX>aBp=? Q>cҴ ȹ/hC$f958G.gJ$;K>`}J$R G1 tvl!H}wܼ*+B!v߆kG}7PB>@p;:5( <|aY)lu/;6M5`γkbQ=t(O4*R͌:˔JVxr5vY/[tuEˣܱKik5lg6l\a<898A溣z'F $oDYA 1FGx̜ %-ПJ4ܣH9.kAqؔ^MJZVgN׊TmL fRQkG`\C5?IiX8q턖H*Qv(؏-O`v&A )uA>rEt꥔\߷c#[Bƥ*365klpiZ?q{=yN(qdylȄ9O!y:\J9FU`a ,~*гwpXia!:Bp~鬇ğv̡`11(.r ¥0ReԾvT nO ~],`K?oBԼ[0Yng|HhRN{QoK1h7},b`("p 0ä w~g?6, BVQ^GNv,DLr"ĴcZ\,LBDZ<VCʍ N<fris7 #c?QvKvY>0~(r@3[ C)o&B,(1>Lg mVfx.1 mGL&u7Иv NR)LNu5 mӹVs+~Ti?Ðfg!$Q0 {F=`"uM[|&w졇aYju3 ,$ΓPtIgd!ȍ),|e?"5 iC{RM=gXBD$c5V ;r-G1d u~WP >CՑrL롐!<>wH|_9h!B̉snU?ep͒5DN@@tK?MuG|!eDKR;ppeg{KqzAY:ϱk:ДwA@TDWRX3rJ-vC]2O|7U?B70j!tD}COq=CakЊ319w}1L$íw?>:UO^_#N.M͂'v^$*y k?9SETCN k'0\G1zk_'wgQ Y~GrŎRiԜ-A:œڀuQ*4sW[}n?kmQ&{>{sA/﨤qUnɉ|[kQTr(r_- qL_|("rQeNCSpUuO~;cC~k2c&v5 74 *K.灋ǰK^ Bc;dBMhR`+xJBZI6%ۊv]TNYc`HCjqF?!#dLavh#>Ȧ5H_4yyLmԴ1ɲ_q]Q7v@R_:maԑ >c4. zKŢKHzj J9Kqy.Ež]4zrMá 99s3{{!= 1/ M ja:ݓDW1@dY9 @+}3#kШ8U( ;ZK].GF4M" qkPlDZv3 c_Zp8p*"9#u^ntG ?`MA=b>[*4/r?[t׍a{Mcm"<yTϟiv70_ǁ,'dCcfNeG2 7w[(N[%=il r~ŻږB,)S:ZZ_^eASqty7z(n4Jm4jJNQysGSl &4,~ \1I$(B}} vᜌu}60t>1R4e҂uaMTx#xO,<,@zm>=,-#TL~3dmyJ\boGt6NJM=w?8~sPwB3TX<,^+QF>٫!6`$ƩvB|>O; jէ3l0!46`u^_vF]eoQ޾<9 ہlb\'%dZ.eSv[W '~U_ňpi,wm'||R_*qm]4e(SC"'ڿ# 2ch s"R$B%xGxExq\e~&G>jKί:rФ^-ԷbH'KV0 =c=,5,U*Sx@kMxh֙ F]kG#yb\f]RCmn~}Xa=I(#kҞ$"Gfx0"mqTr NZ%E+yuwzt?q ܔ7<9OJɡBlx8öK|<:ƚ|0Ξ#@6V<-~Sއǀ%͘ǯ~}̀4BJYb,gKכ gr0čFFGcz ;6y0кZXTI20F2{ϰrƕCF@PNE_nBReۊ5T=~ə ]yΎE_bx^PRmh[ ͇V(H8y,'O:6Ctڋuiв)=-4L?^`D"- UGEo.t+މ5z.cc QM 7AITu. ^ elA= PUPSﴇ=(JxdlAu=U?j[UC'gFY1 *[?^)KwyDEQ$4:c,Q_hc֬ؤkDF⾼D)Л"X;CZy0dޱSs-jJjHȊvJv/Omx sTs\FP@5a /ERߙoɝC+LN'X7Γ8E&#ΐƧ^T!Ӱ-j۱gYZ839c45bf081755f041b1e47d437ac8dffce219ae5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ceba0446620459e9ca50e1e491e696749bdb99a2 d22d656bec329e50ff82e6a974b78e6137bd04cc 018ab1a0898016f4abab2fcfdfe93d1142125404 69bf64e061454350ee99a50d05698c196b08639c 4dd6124a6842289a75137e86e79facd73e1a62043ec7bfbfc46d6202a76bad60d999c37e03a4a572