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 D| ] Circus:threads=4elapsed=33.148cpu=117.180gc=3.124factor=3.547zXZִF! 눎Z]ŗXiɟH)0%on4pďpkP|[s#0 BU8CT؆uۺ )őT;RJ\Wثd<؎BoEE   Circus  R2,\;ms1Z6 w$FcT8:W؀Q;4.kX/[#~-=7X%ʏ3az. G]+jBڣ#)N lG5A H`MV6ꑳk*,tZ!z߄?D.7j rvrS߸P&oբ}ـX FwqddMJ<448QRtiigw6k>ʞ9661˒%~R);a"oN}dT( !Sy.k+.Ta9Hi@$/mBYC ܋=+F KY#j?HWBy%9 sf0\~u&Sq]7 ?ttVa6tya,R*_m.YSS:h < 4XxA Ba P&ʽK@P Щw/evJ'G #pFyQ)uU!߰Y$+sNŨ] F3ʟ*l SRڨ=O" 4:u 쀓Y0FEhE*9u4 "$'C.ea.# o]uy^v@4#ԫlI? ybxmVdsrY7$:]ƣ^P q_i~Szc|=5w ?;p! 9Չ/짞C\ɪq~/>lHqaVGPg\ϿzY C&ڥ7"Lx/<2/"V4}-G! d4{&퀲0\9J,d"^#zVu_79GGqx~><͸˷Qy"-D+Gg)?.]DqS}G 6ȁX % .v0\ :Quoyi0Wo4SыwɍƋS2[ޠ LQA`~ kQRٳa,iiy_ Id@. L%QzY6,]엘}Qm}+P6tkΡ^p;NW ƼLkVO/6O2IVN=Y #r} ɉa8錆 \~S'W/9H"oWe7OUӠC06耸+uְ~Hd8A ٌp%o0jH5',5c'Ñu>9|ߋm,]%Pܵz Yy) *FHAI5u`pl U1Y(h26Z^qp%dl 'YP* hdmM*`Pn-LxTGLTڄ@|Y՜7h3얈Kj5Pm/knm1XQ% YyK2%]ugCnEł"SI]dE>}Ç`yh2$x@ՈD0O"e-qPV2Tpf42=mBFI9W.×򯜑|4}>Еd:IT} z.}ptѺ17zO&`̧<(3;+PY0Nrp_5Hޥ9sF}_{Lƒ/<4KNnF:JgžiI62vεBAoQ"Yqm6F8V2wrRZ#IKe zYȶsit~->i =um nl})y<0NL\s om~8;D00+[ψVV.i⇧8~rG4f/Rr#ac"'íVc'Xi綬[h4lG@9:Q+lb-*8(mtZgC}k~6 |AXPM- !Z}K]K6vY!BH:kur8k62Wͽo)BnKqyT/ln~tW.eᅮ|T?`$U]!iV~*ɡ8ynkWN0eU Kô2\\sQ_?B[s^Fļ[.6] KwCYX%jt\TdPUn7wXA]Rz?0C5LFZyQ d4C&f 4f #G#^VK&Ώ㊪u[NwaD㩡#zUpY%2('w.zue_oӆNO|=:(R5f0`Sa$6M!ghC Ѥ!Q D̚_7(I:D*9T9*ʈ/ȘLva$̑urE}͙ά3<2q\'Eiv}p&92 8dcMD%K/CG~9 3{JĻL>Ek̳~h:ִCSiœJuFA@$}d\x[4q2Ԝ5+v.'򖠇"%'SNKm0 ì>oa'QٗX|<~`S丰Prj&ą}3;3c5 j;dEv~lO:~y",ZTÆXAj~bE^No7aЮ.6vK̨;pABXob 0:DZF<j9O.*j3[*ȩfiƑF&)v6~/ov9Nϻxikvc`V:#FQDZ &jm5ڪ30z 0nRtւdlZ(5Lo`;N8@P"g56'˖zyſ׃8KKwn%V%lY)1m_E6-$JvE $c:RG#F^5iPQ\1U&пKw u^wCeް=HFAqh涂2?QkkAV:@P5շη ƺ31Iǔ 6vf_뷫Z>[ʇsN ARb{3G3`s+#~RkPy{@uYH8mr2ou!u?y\/r vK:e5VzUKn#{Lcr [9K ,Nadj 1] Tg9(﷑L͠tYf}<zm F T7K2;iqGsxXvp?Z)|XA+.+ݶ̜kػ h_hЇG'#>o@uX__Ph "m*x}LQHOCK(babُ*MgbɴΈ,Ctut :;'wgB[7~ ,֑72V [}G- e>CtԱoҶla1޴Q;栟Bw Y-3vzұc}m"Yį~skOă+`jZ ")b}ޅl?[a4)j>"@MB{#oJXU5Qջ k=mo7aR=jHI Ș " )dhQ ^I|knV8BmEz~mu` "L޹Q;x`\di[YD%bq19{Q[ -KmdlgNqbi~6zS BM!x{"a%cf|SfM{}"S}fPdN2"G_ۭ@YԮп(OM'}GDҪJfz Q :AZ5dpv"$or:lyk: Z YʉD ϴxGsDsigmp6~:Wb.i5[A sPPul}퓠&LO; W$&Qrj+u: @vpX+RF}; B,>QA7PAnmt¬[5hHߤs;EjՒжLrzgT/g [#Ƅ" :˒TF1F݈e*4+ջ|4D#JL~ܩN Qú1(5>%i'l,JSlCK,ذ;䎣pvs@KC]-j˫TO(8ב<%P!zG6 'F?zSf|9;hS/0`ٓ(wcSa1&>kնЪ_ЮTⁿs7\Vc ̬*s)bѧA uy]P',% lصcQ$PMezt`Ci钠oG ?o Q{{߶$ t^*|,I}kJIFwp}߹-8XdYP#J9,b.HK݄͈YR_-Y&&6jt?!yXj*M/~#FIЙ 5;D &^Wyn!SjeWn>ݹERwH&G^w}Id|]m+RԻIg7~l7l4eJ;f'mi~}CTy xhvo9lq53J݊fācR!OɓØB1@e޿cBS[^sy+p]kW^^;“P;Q(|yvLvOGར(IXgOɒC+B7ى'3^jCAe|uj rįKGMBG; : )G.{r?iy]ʀT?gtIXXKd66Ѝ3=RaDJNG/U^~ܢJqj<Щ-4ğ/>if>?DJ^!;>>s.[?mh=Cxa[F|; ҡFki懝v.E6y.ժڟc^ F- ެPnn+_u0ri&ɟjY.1,uK8bX4Pct״> 3'ZQ@򯛯ΪNwМ$~t{|u PV~@D9| _`)N5pVY5j=NsDЀYAmkҚ<8ܖM:)E{4%fbR jY/q"h\YU])He_dPKvpwH?)C~tv.ɶmi<}tN+ ZL^N<9>wID0&-! ED=Iv9Y=vh%k\б-jxykюK[ɮg>K%MŌ`g'+׺L<]PT}6@1oʋy=&{+:RVׄrjp#~9Faf*%fLWr$IcWouu #_s@IpD ,AUආ7pһPJt OG zF̐J.a}!"kF}k{X yI'E8,=uy EvLY:N#(`iL9f_ +>gԽ4ˋ=7D4Fy}N9.SGs-L QH72uKA(ﺯ"ܑkBgD8rėpG_͌*nKIAKk`_}+ %3/Uy$@g3V2(6yjJF*&LgfN(g~/nGؔ7eIi b▟nϳSH(6R |nk7~,<#J0Dea 2n@AWՓ4L)K~^Qr.~|HD+@H`/J/P꜐¯HSJdPHC/8%o%=uMSWM5}^hNPWg6h{*G_вs ƿ,CzԀr4IݴxhԂP}xaq87 FXlW⃃(xl @!ƈ~RWߍ E5 ]:I>Lrѕe)̾9cR |{]͎{U)u=ZZe8DP ې pz[@`EWi4N k(h)KC BU5Q(B;VXD(kjvE鼝_p$)hђOsZva PC{=3~Hbb̎wԴ ,_/gָXJLfNP 6E0FI gnDRըLV$$M%m W(]B[Jb%+qAN67Kq7 ~{]/j,# 磐^YF08uM/?2x?Q.;0{`n?2' :!NCv]Q5fC:A@ԧG3R[^f)}Dbr_;bTD8]z#[B)i;;Ll4'z-P[ս/%]s (!8~22H ?ύG+ŻA6|)~ل`(TK1i<:6u0rTup4xeA k-{aogO%75M' ;~&1(h`{4@S\KAG~rg}@XڢP.?R޼:P$ꇅuZ,o.?.fI {1 eqlt,aoօ%aT dҘE򟽎N򞙷I"x\r5P'Ď.ciƟߪ^~8`|𸷾Xlؼx%cA!.Ԫ뚱¬묺nOnҬE r*ٱ|գ }4sSMtdd*t;~G`#Ux{~ˣmd"^ n?B KcMU1WKāϑU0*LC`٤{nڑ"I[k^ҕq$ yCO+1uνhWhMZz\2V|zpw‹$'a7,&[vU7,4jBcyCA}vg,_HQ"*`r}~}i~3x3D?aRP%9f[UxMiBF;kCNC/Z颤>f"1wm]"ŷVzq@O_-HR)>oƢL >0`#o%=eMހx+zV>"=TD:@Tͮ-r!i#,1 ]h"˲E Mt#@:W =$fNuu.$fpyj,0jnWXWyӧd 2*YH D)z>}=5HkUа΍ʿlͱ^{/&B _SYGٙp=uxיUė>[i!EAU}%u*RK7kؓh'YM|Du{rt9]=_lS Z邱O @ݎ+$?YKBϝ%?yoC2:WBV\\9I _#吝թogРW_t.5Vϱԃoٟ?{ñܿlļ9*-]T mkhQIU%Y2-a5W2_G/lmbc->)+?r: o[ҷ<I;g8|kUjWRW/p%<"I=nm1rOF-i@I.ND9ON`)G=x暧K@oDBѯu]WαY{D دtkHs` Kt!Qdbfл?گ`GCʧWAG9%)+l;43y@C Hch<(P @<|!1b2'ȼf(eӠFEgP@}{FЊ+6iSQ|~X=tCXK$D0u~ٜ uULxB%nw͏pW\S0KM[-A }7&Y.X?I*d]G4\H9hR3fdOnʵMu'w~43Dh$ҵ<2|x1'EO3S+UMavhSrJO*enlb_Y!&) ؓEp|a-)HAE 4S|[vRȓZMY/tyVlqG .c*^4. PBt#yᘕirsr$9X$TwI^td_NAn>A!G^)D* &ڧľe$,)E3'"L<_}ZUȓ,DjP+ԋ' \a|u4G=@ ʮUfjH^OHYq8ƒ yIA.!?Gn.8 8 |/qAA6Og)ۍ U(A Ұc}~)qZ^qu軝մ_ I@|Xp=ZsPn{lӜOd>LnIDdj;u(oĵl7B@B>\ o񞡸Us4ƖQCA$1_#7s#&$ٍ p' H =B#꯱Fk}c ZK~0NZs;06~j{q'}P.xur퐂Fc>dXo;>Mt=Xү`6nůK?.ފeA,yH+y,0@t0Rxl,< y%BU1;{Uw6i}&л}#&Dy' 9$`LMZ`TX:^l"{0?A;B~Oʣ|ۥ6 .la j B!ybXsG7-Uf4ډ" | ϲc=]dbp5bVc+¾%u+\7q`Hׯ#2V9ﻅ/F?0onl2g h@8^k8y|s ]@P[qlm| 3-UЯ֝D(#f7kwjx7Rp (kq~!3ϥ7 Q$k7U}ps =44k 5;?Kx>.#; *[ "O)Wd2 [TgA|m/¿ܔ,5eus1P=0ۅOZ XIZ7R*1ѽZ%j4Ŀٯsi{y轋hVr68RD2Izé򠔫&=q[r:>?=|DBҀ/lۑitXrDݾsqVb}?wцTI };U*_Ym_S]E B*yIN| y _4Ȁ(:ɶZȂ}Π/2M1(RɮCmXmp$ 7mƏ}r0z"tؘEpn\bm"E{:Q~ฐ$!nxؘ= oIuܞbcKN}G[r:EU@U쥛'>xgYќ oyzj#hOH!5?mDhGgMR"qm 1RGx=|JUxˉ?6Wcn"W8LqG ^/@A\', ;"#na=qƌo辽6^ ީ= F޳;e[NɅfR='n̓3h|Rw`f }A0( )ﲬ9cIFVOSf}}Yticx?Ζ}owVh!q pfJhCm_.Mc# S= ULӰX1s /)"A4zKj~:yҒ4NXT*NhYT_OGڑ>,*J;BAzKrز֜Uef: <7 Q"'ze (a n!M췝%&p臄"5Br%ͩj0kwPk? wXmjOLA:]>:q&^?џD%SF5\/:a0r!]M)HR]*XJsL 0A!<г_i2p't#rЯhSjL^Hmi1r8GV]5ﵲԱ(?U9N;9ղK[>./o"$׆CpQ4dj rUY~_Zcu^)7jǂd+\蒜xx~Ub ~^~?@ w|Łю2ANtW|5 HW ;.Mg}r'Ϊ4 O\:l1txئ~K-k'F + z@Ty{h&1bqJ!߳K@+RR}$k^[ezxd|?{P1(Ob8xٺh]K쳐}Ļ^|%Y7DSKyՏE _oD_Aϊi0dQ}^6Y'وSn_T%+YRRuA%NOL7rSdꃫ0Kݓ?f=uR?-W^LJWkAOY9&{0ta9 H]K!jք 4 𜄬kшoQ:_U^QvGrҝ):u ס&bDS 7{&6[Fס`kqhN) Z琱s0 QZeZRAг- z>|:$gR'r59r\yV?T1Zd) WGMg,XTjJm)KB1Qɋ̨HV*F_dQ+Y{%[As^`2U:Uġ]N V`>M%M P9;*=dwBU()h=^8Rt]<unK=3vl+.R $鸛p?/휚KXB&tr/TNlj5-Y,[xĚ aQeӺl8@?\'8%xq w $2pǓARxkd&m4cf >$e{ׂODԼ;vU)jo?ȼiB\i b?JI$zѭ_'L}j>'Ax5qGL~4O*Rp[$̊,RC*J] 8$eў]QgU0[6˸S1:W^`hB[#'TG5kp[Kdݺf p)OR/",OcPWoБ/;`Vd%¾bEE}y&{-b7A %yяsUB+g q5`;C,*$l[oN75¨bnJ@![sӲ+y89S`wߵHv5pN:UA ը9^+IV9vXʩ WqaʲEHm,djtX=A_<5{~I&]RR-M@=|7{[1l\6(^0@֣%&I{1b9(m:^.c$ zHh^'8 : NribD iTyQERInݟ֡TF8؄5ߔCIP!-uzˤ Cj%Zf=*Z3ְ]V$g,6ͭ,*Gl}MnPNH4 ѐo& m~Bjm*g'Gg>h .+ Z7BwIڠ M:EQ{YյD`ʿڠ4`~ <TȼԐgxdL(*M/Wr ȜXxCzp=K*7+F 6rO.><e18L> sf޼pUrz@)h>(̏WoҌGXBn] t{릉طIF??=_ kz%I&ttZiӾYJ/F~I{`tsM=ǒW/pg3O .c\_\Nu>Q6($9 Gòm)tYʙi;[4@3Ot6-&GtK / Z7Ry2K|a/+B(\ǑT@H!H(c""9̦DEO5A50 X.Iiu Bqǯ`~ۏvGF<,>36*Kc~~]A|y'iUPH9^A2lnKE+b_~󼀬ܺ^@/eK4 pzF&J/4E5Bz )#^Ft>a&콙=N>aʲq>"v8}7䚂'ء$&=H^EysE(1E$!<;d:LEy[N3 h2F'3p5]%,i]*_*8>v034oQoڃ^]FaBW^tf17 ~}ͺo?0eϠR d-6duM'7(!]Wc˨;KnƖ@ bDR,]iDN2ENèfTAÐ(^YDUX?T J4,f-4`MG10#!Efa2h=ހ?r }OT7NԌG"~h_fcm`,ƺfCt{>qm?d"1+,Lޓh>]'_ma>19d4 6rGoƗ%Fpd䝙B|vPʊԚ!jʐ,{񥯪`ŽEfJOo|27Tnz;{ZMՊ^C JD PZpw-zxԞHC'lѴ/Pnˋ6\T`U%Ӹ\*)sL红 O 9+p]e>D`Rk6h[*JH4fː]dm?rv_ !;%TL]'J)uΘ{㹭~L6X !fyeH=/w}{&/=PODp\|A)Oky*>]ź,2g޼Y?{/( K!mۦaje +HZtim<4tZ5cqҘVL)3V[R~V[29$$b9awO/ ֚p127džtP?ǘ};>nC/V7{xa\!IyN(ꤥӛ42Vv-g.ȶ)GO@\c:〴o%H~ bNF<iE!3o]S;IN/S8=^Rp c_ˮWĐ%dŝ!Q zs!Ecʕvi4y>'3}anl?!џ*\3» l&ީ _}!5(a0*AhY{nƟ'^}JAцXO2kM oɑ˵]TgOM>_Cv*&V %ڼ^7byi}}N,d`0(!uu̗U4h1P^랜WסM?0fػ]Lڙ ҼG;G.S.NBɊ■dn ~橯gَW䉌kBخŚy5`E&)+豮YBT;]F! )XSTթ'jO"BWP}ao7!fo!+d4/Z]r&&B|%,+9 tfQ Q#WvBpHv rhQnV buH'8@:`p)1k; Ϡ|A@hZ QBltB#J& 23} /_1_Ti$5U}T)5 i(*Lb2âS~#:5X_(MxʗcSi\V%f;)QiRU*!Qvٯiݼb+"Q-O p'rI/lEjo"]CfI"B 7>rwթR7v.A/bQAmh J,EqҾКt FcR\g']>fGfX v78Ҕe1Oa2|~k$ tpQ>?ܴLv+B8=_o=㆗ꛊ&/G`SD#1ҩ[RERv)XR9l܋W̬( !nyBL|An}6Y5iſ½xTc ܟ(J%Y(7եLߔ?co}*/ M:Tz]tˊ3~k; |q:xF[hwFiW'ʹ\0ҍ 5h1>NkT ma\k Ŀ\_^,-1 ^s- ry4ʗr^;\nLbH&o$rӳ"Ƞ@ =3 n2}.YuC9mֲ_]̆ӳ c@ T=nvq 򾖬Ԕ:}S9 V>z̒/{Fu/\GeŔծ jD0%#3kw?#;\#uy,\)bHSuO"Y=k S:$', ؿ^]P"? h lPl1 S('(bzE /:`e&L5=~CߢFl`g׸aM0!m"xp~#W;+Tۧ\gu xns%>sNb*1/v: `[UiıHHQmǹ445ϸ!A(,QH (ׅDHu"k;#ax!a*WfҭߝhIh8d& ֒Eڰ2HE#oeq+/O\ 'Jf}tA1?{ =D|7.1Mg,=.bSNQW8Pp?cИenKuuKq?݂m9;P/J1eǀvv٠t>Z_N78߾ġ {*zv=30-{Qr"qb e~ڇ>X~0*CK4) ~ԛ? w G)Jv7 ^5|Kq@[w_F[!EO<"rt`D?yޞ/ kܭ]cnUE$-kOMd3  umI2 zvMSqr m#j?L,Tʪ@o)vwuxZ1S^=?zxԺv-l93OB+ˉ֚{uӿkCԆvOO`f{D-xhvUqSME 򒎔,vdvr#+>F&*EN,{@q€F%Eeq1e {t\,z}*B.n R o5 FJ<^{k6n)ZLYaC&J/qM7=t+"n (@F4F*IS{.0jwW<.;`˫[Kr:xx4#K]TN5qrtL;Q1QhSUR_Ӥ%>'DK ~<( e3sgYdDm䈹5[Z7l! hQ&z4K@e[ ] pV8!ycg]B|eQEYD|4{ISPҰQvs/\pp#}T_خ˫׎:^OqfbM,[mu' !?SPܚX@"1C"I`YFb[GfܞAF o(|\wWԁRNENHę=/E`J"R #VHFC%f PÃ\siVzrKۣM1~V'vfӵ}YoWH}! f VOt~l1#'~ hwy?.وV!Ov3Q+cP.]? y'AE :AέSO6:'z~q =%G vbq?_ww1F~D28+Q3jemotᎰ;Wl#QVG"b. 8n䐠^CNAJًN(/[МΊҗ+?e&x37BuRUW{[L)a{A mxj:_$9b<@1,}eUW3TpO#w \O7rRG-fC8#"t#W@/XMn^Xz3ߗ __pI&8{* _#ɥ- _Ģq[sg8pȻЊr? 69M-M:dd3u˘i3 t*6PPT#νFű^ P8ꖅ;"Fyˢ,2#ӯݓc09bn[d1ŋښJKFd#|+H-aלQ$FYYG/>Pf4d8Ji{Ў8)t4Y'7TTR3B ^#񐗮Iċ7&{u8v#-5x̧k{ػb`e|EuyeH<3+.9݉ghVR7UՔ82XFn{d2R? n&t^do75#bdEv#EA8^C,XRkR{s7IC/*uTˇ҇)goBYleۈlq7l vwPԔ^d!MZ\kSAXTJl̐R,[!|S_9 E!?vtrT7 &C:L$}:iUHRPYfeU쬪ސ׏_6F4Cy&`#Ai׮jڻޑ=9l!Tӝrv &,3Cڻm%+".L7F[Ĺ|1M)o)2c' F%=$\|fաүsHiŭ$ڵ#?5[G߫p B ~,C9^H[6U5rqb<% YUCYU3sy!>)A fڠZpE2 vAUHuFY2 w9yFRP;XtxI_:ۧ{sVj|W (6υZCjTX3B6 Ȕ81TJf颥S $5 {AYRdWI&<ܥf afs:v0jA&]ss$b/7f)m <M1|dlLיh2etC48dK'[o8{$gmsAYO9|x?mB EbYiFwK> LyS'v1 HڳĞWMlk"%+b;12,Ėtrp#,#=! ᚯ6WF5"yNnοNw1˒ct͹9HY%moſ57E$j3@~.M.sjƆ<Br{yH_1Q9H;)Mb~= )Ki|MZPq=k|*P}fȱa"bp~YV!n岾covvӑʗ@}wć͡dNhuJKYaY͏s[(")n'o!TϷTFa<*T /5tMeT휙cO4I 燰*), !` Tåߨ,cx Rr{&ur+a6I)mHMpAC^3*; ~JtUfm* s# `?lIrS/hql]w><$5XibjmdTA~@S} XlWH Uioٜ:(&5Weⰼ$*,[~/<"C/|tCKj[X N!၅h.Ր-C [s0Lbhm3E:|ZLmИzDe?,?G<tNc-Nl0l`ǩ[D3eޭXq>-=zqZ=|[e;|HRؙ(nxp_U"ySue`5:2&xw#6KCz2 %4)t?MPzaU2+Qu.҂g;k8*MR'Nkm@ KUuR4@*ae*M@tԪƮ;RD+]`s,/py;!6,@A{-#FCAٲ|Mܖ:H,`yVIئESTz(&A DM`4"oF/9[v H6V%FUEE5[҂'Uu.T XݝD> h}7 ]yÚd P0 l?Gۭ^^" n*2/W4G9!hYQ%$qۢ/tWWy e7ᥧ*M,jѰ<a;Xn ㌶TW*08s973E>x>A=lgcbJD狤\u@÷+z J-K`2&A{{|kTI؅s`z i3Im6.9dzGC>Le܆dO4J5snE^2lñ@p>xe Ĕ>=L71DkdJ1nuyUGc񪶒(Rܨ!Aq`T!Yx{SbԴHn1E?@Id)Jn8D+V(_-~LR?"+.w1 Şo -#oC{f"K>:D<~Qa[6jx ťvk(^29_euK\#:K&VY'҉ʛw,7^92CZdA(!W]?'.s~Z(ͮ[%l4AjKʓsZ>M ?%-&ް";ϖ(8Qg#趮 Y4(myG('!}߃qZYG*a[fuW[S!'I* dj)Bcu/U'`G{1/(>̾5^)nJLQeb16?+8ɨZa Dh3Dm]fy7&&Xrr拾 QE/Ѽsz>LRHbSAOubާ0 (can'b{"l[Sci ^ #ǎvM5#WW.{EȨ+j 8to@WZ !8%Ӷ28Pp<ìjiդ3UO 2Hl"5K'A-U#D<R4Z ƫm칹Dc`dDg : }n: KKJsvƿGvHB wK b34 ̢;8:T+P0"Pݎؙ4UdK28{>#xʱE}&).lI2ԫsrrP$N(Feې?#/Y>-ڣoM҉xIA}W{-hY\rm׸SQSűk2Ѯ:t 3h mUQ, CR]!ߡ.cz1љwѲH5 4Q!x@~*>#/O#%)dprf*m>? R?|Fj{~d.!`ZE(BKq2e^!/eUK'b|s0+(OZKo.P"4#e88 T}CBÄMlxc'@Xc[|g>U|ʏM}ɪK0WqD3+3`ndk y^ٺC{l'/Xmȉkp#D1x̦G=&W+Ez2N'zߪȰ/O [NDіHHE3gxL2c=oUQmXiLȒΧX wFBY!9vvz0_|`zmRom3O@!<:NUw  ůObee$9/(-]kr%G!EIy4شōw2A[*7bң'\KtPVܛZc; bFSD$tۤ 7KכBFm8"O̷ <6hz=jGkw1X&(dOISݦ${z ) HEf:hWnDQtuM>8}AK'QSjFҞ/j =5D5Փ ([ZaG"Tr Q#"%9KbPUP>}v C($qQJKRG@LF+TnS}E85!K(&lo %RaC?Q<ÌI;'60~N~Ĵ LzcWhМGugv8>5mYA皗~&#!pɢL?l틁)zp7N\BXCnx 4 ?qmm)I`;ϖǜ[ 3/%^ů̼"GKPO@lDUm9V?`knTKH0Ă9_qw 3lMÍ6 ?5jR/ +mJ _l -qf%z)xb)DZοTK7)\p;!ޓgL$v :a5렓!,fw\<}.ƥg!{@;&} SszűK+Vv\2L^mJqo2 ҮW%y9z ja5BBsNjHP57[[4 iH>})end'KqԄMծ5$n@X*(QO}ŭ@z3[oEd1G8akD4}\"gnD{}kPz~q>]~'JoP_1ݳMUE8=`d@c,"ޯSv}߻T\K[ p}33 B3`$WjN1*>d[V/WAK3ڱ= z:G9zԖxo#hULiK?̳߬?B@#85rT}hޗyx\|鱌}n.NR(,rκDΠQ7:S>jn/u~hu&x_{tx 2y#NRm4O*?=QxdP#OZ#„` `ACꜬ"b]+oB~>,gYiPnGNoL*bfqSiafܞJt!pщe[)'9SZP@j\&<45g⸞sEa@K#쀘_XlE[;-?e7z?0jĥ=`.ٟ\c)d4hVY.bynSx)  :u-^tq].!wL| P|rn8f*?dCbq&0Q%NиWS ۔?Z֋އFaD·G_$0ӶZ}BԙGWpPNN+JzK 7_,ڂwآ8s7sw4;I:211F,M& d O5{S9QE%?"yf$JqdkuA1kz?WVLB\AK6'7Y ' X_l]4⡣fpX=Q&-4u#ͤLjY~⚡w[݌tDcl Os4QXM۶(W89u\CԯL5>v'+"5 3g&8U `c$=gDr6Q2` mfZ&v}qr`O\,swxXHQ6=D?ɠ}Vm&ԮVyюy)Tܔ)&z ;]KYlIlE٢ 3ઌswwv6 テV!ֱ~G>#ݶ7Uyυ 1=J FIpGzJ`lL/|lw,n@%Zk0N XINZGȅSc+xym8@YZzB8t\Տ:`hb'j_ :$;ϑX|T)~q>RP($5e>vw($yˀ%TIͅ|Щ֘ii =s|PMnϩ|HS4Te1Mfpr(as[9SQIU<`au .#wjS&ۚ ~#@J@7AAY;(o3҃1xAZ }%(m܉ˋe7%O6͡9,nq!*TEjəMTK q]UO+{'$DŽXX쟵~ \ cEG.ȂS͎iPd_7R}Q~0e}Be^1*rbn#ֲ;%]r4ps-w"p3)7MeMKB&ʅ_++q.= '/t*@vc2?%m=#CkS]]jͥFwj K Da<6`G! d4.rᬉIN Lwn0?2 9])|eT'PRuZ9nעEn5;΅xdErH+3=mv[Q!(pu\jF%:\r[;72иҕUJA!F0V֕}2$5 -f=G'pwׯ f Sdo4UZWjvn?d6(|p<+b3k=-kuơ/VY77%lNU_;U~Dh`ژ 'acS>ٙpId g)~` %^7>oLGT2iERClP=*T\6"L V!)d:J#AsTٴkt/0=0:nvV_)S{nmGD83e%qu!Jt-bvҭ im>?fh C93 ~g&:WݩNST>h&Ҡ8v0O%P~ fC~1z8ϑjkdJ%`{w<+Q#1Iq 騨:l8 wؠ.15m>Zb `jk8Q'u /ʛ~,/UC⭦O|;mo3<В] eߓ2!mK"8GYJ ΢f!_|Bܼ`s*%.e$QxѠ<6r^0:`ʱWJk.ISeĨ9U->dd ۬@⒟E$\n&Y6oڻsnЖsPpIh_ B'yuֲ@8s|@vs-?t.bBJ;Kf}caƼwo8V/vُ Fpp?/{l )Ƹ G`&!3χϼ|d%DKi4kxgYZ7zXZִF! d6]ŗXiɟ>+yC, 26=pzWߑkQ }]m$={^67ɩ%l*,_^݇.H:ySrINƎLJ ɖE0Zt 9 &Ld(]öOjDq9(5]]q%!OgYZ7zXZִF! 7]ŗXi%L!l0/G|'38 ^g]>s{ Y|Q/_K0G5H0|-Wetf 6"fr,T닋Fb+/D0q%̈́2enL3MﬠGM_ɫSc">/cxcqQ]׃omSSV)Z]a]_?UhIz $;?V'󥃊&7=&,*܋wS$hV8#+6p$4|oG]ԴD,zE[/vc)"߹ڇPע7l- E\Lzބ;J0)P:>vEQ g/SF:Pg*MU{Ud5\2hc+ӡ9JH\7PJ `簵Al»XC#}[cɭ<9^,6 A~1@awJIz9ά#Ջ9Xjdc|=: fO妲=#"g\qdzUH|X[7JC^ kn߀c?UD]Ŧ9ŹTT9`+Q1?p&HOКw7?X2}' "1THAW!}~%r:*f"‰ wxS'lGG>T&m77}!8mHkzYEB],nғ@@ˮKjt݅%"V;-*2?րi!k;A`GHW $Fv,S'X7\V]+dEB/ezR\r(mjo&J(uhZCΡ[z#栉zE_24WʨouIpDVq "f?7]n\F޶ao{$QF`ۂXDlteu߄4ަ0w^3yfOg0eM \ܦro ˲%sK(SǕ["!=w!Q(_()71ޅw _7)JkOv'q8T'p[B^nlg4)o=3>!izw [L} F|jlbq1Bw;!~q- 9ӱyتO.%Z~y7˻%q25„Lh;|Ro1x aX^zsk^g=\1Ca6GFOiiݰƖÕlzR*\B,.=!W#ĂMIzA%yN7.O=R|\-)Xx$9H{Dw 䆢BZZ9 Nۮ"e)W5ϓe^^_Ɵ[&V|+ ~8&f{sWu&1K, :Q^,%3j=eFEέIkACLBg C3)0n̈и*zo񊦞ۮ"z&"U`jp +ouj8Fe:N"]a>@eoGK*#QZXCY32}F=wĮ{&bN^k >L#%=|=},@q= |Y aBj4aOvaᲗdOP@O0I@h``yNÈV[H<5ye8ި Ɍ{њ_<Bk~Ԁr"P$wQМ#Y6bew:ՍU0 PuD*'>o"hʟIPҋ$)z֏YDXN h1+i^O*15Z?>3S*Kћ9^gaAiqqk\r)dT(zqb}tY^H(Xub`@wNF )z=iFyz#_=[_Hw=ʹ R&osS.AdzT*S J{f` dB)ԙYUrMU ?kqMm.-3 pOG^Qb{`3H@kt!@TܤP칶+0 `0[I3t~󁬋LD)wL爈$4 M"y5p/%㩱åcE8|y*EAgoiV59b"i\O\H[PEm;֣=_qW)IR )pMDƺF/6$]߫Fk6k*3IHOQΨ߿W|/6#4inJg+Ӟ²ڴXХRd?-v})&iBe.΁%Ovh3bjV}PC݋ yH$^ԜBGT6څR 9F")z24W= ߭;dbEl'rpU،Q~]E&S+ ~I$Xu㿴WeWpAO&J#JOH팡rYż*PmC樥juSż&/]≛<jʿK9RXx]kjPۚD&!|l9^YtAXft*=w/&P 2"?R3" eCf$ECI]X2On뵧Кx#nz<laF^}ۦ:{c*\F"\JYN! SGQ*⠳Ϗ9+"D TqmPGy%' C2KSR"kBp85ñgYZcd14ef66d0196c7e009bcccc95dff95b8ab9b08c8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f5853246