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 F),4L ]%]Groebner_Bases:threads=4elapsed=326.648cpu=1152.624gc=141.780factor=3.537zXZִF! h$]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5Hp>' ,=bo a:MCmDT(ev=^wxZMLRNL-AYPA=nBG iL;hQ$)ATBb .'sNW ҇(q#JNZ_Uoȹϳ`fJ=}\6jd,p?O QLw'35S?u\xIuD`3{|& $cc&FHFU6*ATT)rq61b|$ ;SNvi5]}ӆ7~Qt€z Ubuz04=S"uIEgp؅,95JPꮟ&ffbWGG[]V: )jdGQx>쒃fh@?;S,ݤcm-z2Ni'/  jwJnF7Fq[YuUS0H/Yɍs" k}ᎄCK N*C#6[դׄO:;Ս 2MF̐FoA*MR@}ul6GX<&f#nٸ[%'a+:e/_p'Na]bqZu Z뿺s T!2AY#ar1C7 C{fAc61M"evU*idO ;x|$tz?&B ̛>8`ʐLC/ծmqi7*H5WhGMTcӮX0cBnarWPm=JEPa!|(/to`'}|5<>bAcʺB:})&ZO!9a!\-R)lA[J_Ԓ64햬@BI,A2,g/~cOAvfpWNjሰ ^]JeB<ѐuzE,EHӋ[t[D(FE7w} NjWB &m(~ń͠E7䮝9y@4Gx.s+l;e# PGosfcBvsJ:MU*S 9."h#\[SؾLPIYCw#iǗ^{$bhh" 7"uֹ\o^B\axDp(^o)1ĥb5}Ƥ n`:;P抩<}6)6kϰ8w*U(bO~`SUnIoq=}`8m d!?CxXadKP;H+/-6`$rhHSiy>d8,kg}Hi+`Am mع窞mW)y#>}u)"6T6;[^}!o?~p>K ZZ^! e&3rsU9!5 ƈ7I\dmb-L/Yl^_Xd$>3 P?U$EBGZ3/jO)1~ +07PQ+K,e50YB:nf.<ƞ$ Lݺ䟰6Pldr46J^D.)o{'QR`eE8ۛbM (KtUt3aOlyaј{Wg$VڮA &Ƌ~Ppp!KosRb}Ա2rW@oO4M̘rˑPF/0l#$ʋ_TWimQWg8aس4c wcV'7)oSH`*;{aHE- _HMOU#w}i٤2x9ްG;R43e,hJ`̛6$η Ӽ2s ysH1vբzxDh |+C%M {HxƤHA^c_!hW[ަ{T$ڨe`Z,O*+ÁExjdo+u/5h/bbU'ZE=bcQgdx4a~EfZ?)V32VO$<;q[^ 4xpYӭ&C ;9lD Dd㬉>NMX7tKdr@αd RbUA " QGgj!$!{ U.~"O\1*0ٛe>nlę@F?[i9 ZcJYǟZy?*ؘҬ%zZ}M@v "v!0ߍ|/o{N!S6&NDۛSXQUclH ; Bl.@sC۾7j㼚Ri#Ṛxk]_WvёD59umIo+f, xxf v,S&|v0ړ; 7PKÁ'3vuRnwW= 41;#rٰشR˫h'Bͳ?mZQY+>kT}PeJ-id@GY8fP;urc2xםaJZ[dѻ̉x;+6dmAzC˵.B()uNT6;f]e,yz/'| $mS8oPcx!@O ͔E̵yyf\ԧ 'dB q[R$z^OtP%Qc =Iϒ撸ut?%d sWb^ߏH6!KS38b/D\3] Ԟ [Q>#*%;QVmUJt~˜P޸ۛ %ieߞ>.BX;ChE2-V*#/~X|gi+#$OSZSLA~RhA񩸟;)n v/bAt]N )8!ӣ8AhEƗyֲHCI۹a/gaJ'в-P7wf+B[U@ne<1z Iti0s{.KsPV<>Iey? L&~Ge=Y{*#F̲Y(tvNWiIѸtTqB ).PQb;xTV I,g $W0X^xoٹӄAU'1D+i|67D3@IH${6 P2 }R NʟjIJ-{Nk&u1;1|{?$4P3q+-yx=6O8>!6E.stP<Hb WdtU*\G?'YXEĿ`NnXXRTbrܿ D׻L.[XDrޤ<|* bt7Gsǟe.Ngْ:Zʶ8iޡH9 YbWLtBqˋ4m"64} ,#H KA~-# }+D YubYϞ) mͨ6cA~.@cf 4Wy7b-{Ju{dt]Ѩ|lsTp&TSaa&Ws(Gs3j~Zu!vkLFgP\$7Mxx s=etH:2& PƯ;Q;[G.0w8Q\∝v$@00xbvZz2v3͝~0ϡBеtd~)Ka7_&dwq5s쯯Yl}xBeGک':Ҍ<6lTg;$?L@7ys9ZBz9vnx|0 tiP5cdWhgE 'ʻ[6uHv1 ~@%*}FR;p@vhUo$$ɡ=zu쟸Gsxm='Ğ+cÖq6E\nQ z‰2&WZbbf3l Rք`Y),yn)C|#.MVA=sw_X___dīNMT@"nK'mb~3eI 4dmZ-2HGEڕҢ4-z(3/7k}z(^g"bFS5Dvb plI+r|_κ6zV3gF&ϻ'8/>U23?Ѝǎf>'O}-J!]4tۗ?1/A^mVOt|2el+s<5:~Mv:R9E6fPR0a/ʲH -HEVD5s`O<[A*jWH]N18Eѥ6l%7M4u y} AqpYx`{8c+S/(hM)sEoE2 1MCʒBuҰm8Ps0mM5Lrп$ǵ#9n?rIFY=: qhŮcp6z]}hqH"cyڡ~ZYU] ;Ɠ𓖴CsLFeM0ߍ-KYsD]w0˯9NYWJY 4,5-`կi5fKI0S.-=D%\:vjir֖n&WLd:)Bf$>!GѤ֦uܘK,ӭ{r%wEpcl(Hb<;O3 r_Cmm9iunqAqHd"Džtuf=,dv fK3HK8Wqtж9fxnA OQ''[RBZ2/Q?R5`'OLmIyhtKv0S,tt=0)G{9!O#Q}{tw'W"$%86~Jt 3+&TtahE;W @=7g4\CwZ($5y4aRA5]hjx{B%1 qkΙ׎$W9GxuI)-ʓ0jdZӼDm."C}//BfemSbJzSg>g YoXkT'5V]BEEю[VPf4mB+LCl쪂#{4O.%*UV@:a$,磻lT_'dDĽ%WL1./Ⱥ[|꬚r~&mVț$@&H\HaY͎8#b-k3"*=]g@B?v/\cZşjAIbp#D= H:d|4@5$&':v)O+dme>p!hnިYB/8ǨPhn3`mpڭM-2CqӮ]!=^,ps*tQm2xd;T.xIg}4%- {>E`GD36U `w࿠^cw7-zُ0#,*v7C*D zmjLSRd(㨐x!W]P'ogIKhmԥt$)yŢcO;N)6Jb%%'rcr?s.{ނ;o(d9!]F6_MȈ<45¾SYno  8t ,v!,2l!`UmAxIT[7YФ}?ܺ>P2T[~/nTv>:Qhh$: &鍸yo.wk%_Ѥ(|aNeŧwb %wnJDX݂#)Vs'w{۹Y״[ḻ[T'\lSȌ!B[sO4C*rlaXy#'瓪-m} =g$W\f\r7JɎ~ӃLie#Y3KxQ?M,t/>f4Jn&' +3g@t>IWd3~Y w~ZYȡT<_MFo%z͠y0uz VZcP:jyfh|˻1쫩`7!ޮSʉ>0n;b( l=xvë#aSdvhtΠ>1Mqbϕk R[/&Px؀Yb߱MFHQ°e~}qpb'܇[㊏15UMj"$@Ek'^XeJ+¥6}mlͪ0;4;m:8ڙȷu}r|Jzb%B! }ƀI+![rp݊3ѱWieu}wQ~Q@i84ck]8?%i9Y8pi0/HƌXO^:܃oSa.%J߮#L񭉡4'.ߕkᦾx7abPWLz? M6`{(ƍBiC}=wRN9 ݷyM <*ѹې nBl%rfcayʲ,ǯ|퓜h3 8VYcRtUtW|QH(ZsK̒ӃTi D #Feר&pQd9z~ k0Ǐ=%:s<4PNkOUKS+o* g)Ez>SwI>#mLߞMIyخ`ҲS=[R5fO,vF07 5N{/gYZ7zXZִF! b]]ŗXi%B6P[@*y8xs::DkoϥNL>JSSh-/Ls$1X${"OfбTP4P.8ǭ",?6u;RTs;~lqq0%k'+#uu3N) 4+ YY< GpԤ5Ȍ C_~Z`z%JrĮM"{m@H~r֠*9#XB[chB<<)h\_?"nE 𳰓^s\ {u(~b*)oBNS7)ƭ,Ji, wQr{bȹ? T Y2YS<#'ܨR$̀LW_-LAfs'=-]fpi"!;Kb%Bu M>tG[yZhm*!_gh^qpiµʞj{F}Wg'Ӈ6sƇQ-ru&3EI4xTyG,ȘZ7RR5{6ې~1KT!o9[[_an2%pSO ԛD-dP>a* 5X!A爔N闁u<'~Z=`R# ]J*&eEЃ\ o$Lc>1n4԰ .RJ@k;Ժ7.q֓"[~hJǕP&wWx 7yxm6%T+i=P…spvd{=-ldˬɉ$ tݒ{' !Zo.؁G v}3VZ ^5jճǫD}˚oE_L+F q.rgU%cq"Rj,F}Dzr@`5aa ,LL:+' fUOktUi8.!kvFE%C<#AWiKn;1xhEȪn=֝/@?cv][@x@2.xD{^sMr/;Wk납6:zIɎ.diEGByF_ c3tCǔ`/YA1wR|6nNkTZJyn$gzk*p!羁Q1'gp"9k_To|3ѽ%T[Bj(SFY[%eեo-U<{m/ ҧ+u%!zvEŗ-BhZTƞ=?ڒh \ p!m.1[V.h0.3#t[KlknR[L;-SsrvnS8]&!`XnDo0o T,śl(~Yυb''=Ȼj+U:[+uc}OZnywI$*Z W霤g5kLk1\WG"QL_BCvl Qo B 1g7\x[9%TJ򀝹!x&J[doNƚh5s7u FY+02:6Lcmok%p,Ľa@OJs@e"[%MpcHRy-_ e]'pS/r Y34vLNx|}h6:Od f<3T$^5} ې)>OtPb#Wj 9hPNUp򕣶S[W@~-9)qHa :[)ȣ;8UcA7џmUtPr}ȨU_)ķ9ϟK'Q5!aȈg>z0Ss॒*N;LıOG`E]2- h]NW@"cS9hih.;6S;Dj IjH]%%oF[Pw~Tw킨e2P-q|2{wL0F@7SpvM?ObqOxBzJrނ 7)x<Š|*7h51Z0y^YvBe1kz0e&nG#35F#לep,_$$GQ^-OszRP+Щgi0Jh{qBzr$&;C^+r/%xIM XNJm1WKk.zJbtԾf'6ckt]f)&֋<^3u+n 'J>ooZYprly- vbk#WxduB~c1|Y h]ư}'C@CЯ!֒܉V$5Ì p da Z4PF _6؉CpKby@εP1l |\2 r1y ?F_]k>gJn3.``jT 7>Ý,.+.n<VbsqiTKXM@i&HΡ;btLh^1Ӥze%XE|o!!ˑ/ru%uv Bg7` a뭤&HUG\3r4f·ǭa+B'fweFrtl_ZXc, g.ˑ¦̆W˿{:.4Cua8dd-4Pz1O[K4|3bN 絘+2erJs(Sj)m |%kƵQx~m7i%rV/.p[*>ȣ]Wҙq6v/3[a!t\6PD6@lr%-@8}!c5j1 sRj˼bczƬxtR`㏬hY%`+i 6ٹ=9x?"mIKۅ,LӍ?+$I=h3uR nx'.t3Ip>7^LqHv΅0N^0Ta43c M4\!3 N_g߇^Q RBu9hGXRVǫ=x$Jtao6Go޿5|#sh'˄ٓB3kYK&m=^|v˹ވu+ˑqg*AI`lQ2^q]ijhIe|n^ 3y;~U\#~`9M+I,2`Zﳺ6W^Piˑ+GfPd}I*SUu4SV͆8>Ds[6q.=(3%o|^MB[ taF(L.Y:Լ{"i<,2jDcDo*璺C)~`7+'M{OfrIxj<'貸?,:V'h>XZnۭ͢doN燜AzFb4 _+ $QegHƆ'oYߛM xR"HG1oEM:">|瓠췼0 ڍS'Da OuIwXg+3` ~%B hfuڧnXiɫ#nmsd!wz(@cV&#٫S`&@LAt@Gb}*«iCl7q3I%$HXȑ2?wve.Щ.O* Hş ZTEpnr9=ܴI=%(k'B\7Q+.*ƿk|~Cf~Ad/Aqh~jq;)97ml([w:x䦏 z3Eh7COh`n3;SnLA} be8X\DMaĆɮKTEf [ kX8;m| :?36i LB &KPqi^lvQ=`!F|vfj׹c3UTXrgLƞHrJ#溇~@SK|]:= 8+T%7,y̩HWd{߶mjP*n=lzw_jo-OsD05%/AEגd7* hS$_NOgp+~q]!71\K+'dfqwM!T{Lhu86jZ<+|HrF2ErwI2tqɱ"߃oEu֙.?e9Y`a~N7/Q ]'2jNp@.j69<"{i|/KsGgc kKəZndǍUL+|zG Ir/ӷ!׈yObadHD/ *L>fLM3o˻$b$ﭛJXz"ڤw3Nx9Zw,<"d!#SlyY/̓c]$%2/BS5+r ;|R5!j&?{`L6*szI7$&Xdz-U#4!zot-#=f/w2:$ʚc;߯;Vs6h̐Ʃ]hă].,'Tap4H{[lW,7Ɖ T"6`)/Adr5 qּ;d;霾-X7 +!ȑyz8| )qi@I'"5ۣm'qW8c +0%$" 㒻Ac&|[{yBIZ[2x|H64Pfyں{sTy~ wE#_ڑNBUh9HAXB\.#9[%<-Y&hD^aɀSjK/j/N<ԑ~F^Ꙕt7x1GΗ"hż7PE-C3m Ndy4g^9ɤuM)8Nn2*8s T+wTzSĆ@ qw`g%pJHq] ,۰gs޹ 2oGk`b#L6eCXt5K¹Jc.ppРw arHjQL^%T-! LwB 􃥘.grY\џ$vled_!LY ~L*ٚ.B뼕 HLJ'ʄne z Kp]Li?F62tk<8(95 dGk6S%TtkR~vcVTdyK0<Ўnה??Oҡ:fͅՋkNew.hm*wo*ܿ6UhiRxVvꘉ5)J7%-,4R FM}bӸoLXXx3h4s'j(1#B@J~h=Xܖ[Є9ˆpJ׳5 0w-Va&r>\4ܻ:6DSa )zf.ԓz%ƱO;| =*La/ ŞE*gr7Kё(H 4){A^ϟߺlXS%g 6(hPgl@$o2BѪҥMίA_RiCϤp>32B5oU1d5Qڋ#:#`oPTĂB z6>J]ޱL[9iH7Z)GYca @ҶLxjvvWJZEMR));7ɚ\Cm? ‰;_,2k|PL2'p],_*0nLE{Lsj/J;:|QtPG6"]>~(<>52ص]l%dǙ:I(f<Ȱ9a52SEJ|(H-֎<쪤F`}fxFFEH !:4t\]eҝB3"4W1ݳ/^wH.,/Nr\ml wKBoA2fpYF?nr:&{xj8vŪ8kVwԄAc-KRzđ ;Ź7p/0gP-4?hi?M佅lK\̜I{t`ʻz& ]BaOz ;Xle \gu"d^)EDArޒ#u_tx,YV".$Y&X,'cˉV*/ܞQ4RLT+Λ`ۗux̱\[T fs_ ĐS?VYPo%0Jriz񼚇־ >42|X]QIgg?+  o0Ҹr53xU # 3m4lϓFudhJ#q ax҉?*hϟRz/F3c&=۴RY\+V ٚN_J.9CMwd,Kx #tr3AUqV؆ޮS[KxhӬ"]΁5/ʘ 9.x&0-@uC?UҲAY .ـɸ[E 1>K͔Oc{pq8 a5.f?fЯhl$22^w 0eh]XJD? /dbh E(jŠ!M| GzB,q[IŢ^q;ޚPG&0Y~E ѤaLΛՂGÖ9j_KvFGη{ttդAcUŘM'PNJv̀<>Ga^Xy>zSVmXŇCg/)/@4mC  !p ǟmǞHqB]/U %9*(O o0 $Wj_щÈc 꿓,9 l/й3¹WTn$4q) *<% 7jC74Yنr^q5D+ T&xw_X&(FwsըefXML6"=P݅)meҴ Agq9:tlJ9H(sE_)YFkuu̷qpEbåPbIC/FEK>kFBWXڵ9iJ_'xQzψ7b,RW3[HTԅriMpyTl_(3\'ܐDV+)p۹w!EO88s!obJ Sgf~s+~q.)w|6&&ko~iTv,41?=?TY(Cd7RB ‡-_r8NXRKA c>){5G_ȵ fHWAR3mi0]5?V, x](v2 l㥰f\JXɺ9 ̻+лFKeUش k*DBYE ]1Nʔ2 -Ǵ )Xr;Ӄ)PDnO߭8h>w;aCBcwi7Pe]9Zu%d zFS.H+1(N b&Xm:}N_V1R=ޮ,Ke9'K('B>mG6i.UShFMgfbɿe?13u2.F$8-np.L5.p3JBYcUF*7T`{>Tc}P ^ej}&a6wq[F-1{fQ.êUfP,l`{([]{㴃7 ſ#ZdBޛcswDrgb )2a^x5ɠI/tBgqEc@oZ^IKn%Qȁ~*ǟf-t= o<4qȣl}[Y\8Ӭrc\=IM1eǥg)K@hu AA>#]AْǴEMYF׫íd"f m~=Ξ4+M~l-^j\Jlgv&IӵmWMƖ4p(+X9~}h2Bw 8[.zti&96X\%YvA퐊J!ߙ!!7g0Zō}=0Nt, p3-*5g3uW }QhΕ6+k8F t6ylrh99]dx%V3}3:ߜ 7b^b (n[he9ۛQg٩tb_" mexFwxPKFfqu(rSc:蹨M:Fˆ^M\X!sUuF`(m;s# !er^AͷyY.}{n8+ ]пp~.s} 3_(q4UpEʼnjh͏*xnt#x廂kwmc鈜Xuv ,IvuNGL0I~F{y ͜*$VSH ߲8On"5 U6%KG歭-E06ɶ)sܺO[KB[x0urvYfi6ۚoƒi_N{T#Z2s?@:v%~[{;h3ooGT QbWo1Z sGNuDoC*赟&̥RdD%yxȪKQ$ʗR#OTmytOtd  LZe⇭o/;򇥉&l1Zv#3-[ g>Üy6AYwENuBf Qt:YP\쮫n86qW:ODm/8vŬ`+݁|9?}.91lo`+LJ+F =Usyɓ =˅z^ Im"8&y<'IRbⰟF$c_f-O_56"gٗѕߨ(nt ⧁o^T,sΡڤS`33A{,fn#f|?v/yD-)݁b&rTL [ Mŀ5/*22*!l-{NgEbhr>S*:uHUbnVF2,Ij;S7|r.G'h gYRȴSl~iᖵfΔCq&EBAq9(Ђ;ل1/ /4y_Ch"m=ap3qzPxsC+K}vpW0$خbD~MS&&4[3-bfaV.AXG{7?3 ^qRاMd;ỽ_+|_0}b30K7ySp>B-r+xqskJv_tSb"8, j.~ȰYw=Y8MN?_Ǝi 8J<8w6(q6}E/z©%Nse3=(sdb*Ơ5_h9:x@GOʳFy1$`? ,첌pD%We粽K!SwϥrP y?#& +J6^}B)XǠ=d d}KͥN(dU[F fP@AYg 3'l% !*Z']H \8yMAc/idG)Px"~]^Љ=Xl{N/Bn%I~J/h?y0".R >6$ş2%f܊tJJ6;jV~<J}c f3:SןbѶ%;*+Rom?نrEb/:z}U}\ռuu_7B:oaEB {"ZMdIFHR7=)M: ꗀq3مKtIDܾAj g٤Fa% 6}w.')?K Br[ڎM-b:M0__Vqwvvm?Q8»4J+)QT; }o~sO]vTUKE.f="-o˾iNG&5#%H¦ܗ{ϷZ+sk(8kQ}`)#}ZeZ' mpҧ5TLD8Z &l^IVZ֚M ʋpBHQ.Y_Cv9K%jt7l,RЄNIO=Cş[zl˶(`VQKEwG9iFx* _-< %:suB7rtHTQUr.6wqQ?3R=6oaU"Qs/?oU#w)A`(:~x9y-ۂ $#@YV6|FF:Rr۵šOYv,mާS?9wS wK@WlJ3LfO(eB#q}vt3Eǵ R4rJٟLEfGHp̵V/A͵ȧt _]>̵c^5|0M$gl#0 'Y}x/X/4G1=K- y|ػ)>И@n'O|[i"+ҥOjoCDsXvBC8zҸfM+V7@e% 8”LCB2on.%ob:#x6~@54ĘA:rQT+7IhIct_߶^Ķܻ/Vc=n(ǠG?9օY}ؐ VpPo`ЗvjŜvWxKk.+:=_Ή M 5/bt~,qZx/ HV6o*/Um$ ܓt2>|mRO_E꣊ਏ~iJ Dc}s;elzb?8*#4)UP3\u/'3uD`><1evOSa q? f"0Wcr9-DbHw3nTas'cX6ͳkKxwe?` n~1vuR%@h,ӕM^UG}1hD24dB}X oA"2 !pt(mY_tSJFFhiq5X=f% =KacGxt?r3!fѣ*ԇwrj7L?.rI yE  x<ȲJkti-/ݩHڍ} w=h3Jj)4@\خ7s]+櫗(26Bsy CWB?j\ )6eP6/q#<Ej밽o#Y4T$ؾ@Jr7h(QRBmfՋn9T`zԶWvaESh b-NAnP p4.S9gq"xt"LA[bǷ526ϴ9'ܺ[s c>Fڤ:ykTlʉDz8Jm$Wb݃_5@B@ʑ<u_vk9Y딎u-'/fX_y!&*œ؎_9{%aֈ}Āt ?DzI'Ϡ7Q&Qл@a~5Qo{}m}e P vo^ -xJYS~MkH"X~Ë':?CEJR Y&H S:;k %5wHk|6CۆaG/`QK1 II\~-h5-5>ke0Tv8*~ӨfIL`:'"zjhk#( 4.k{iz#Gּ}W4zZ?^]ED>1N۾AS̉Iԏ.ɟ:XIBֆȊ#*Og0r6O+$XP{VW={}@D2ӫid5eu0y R*2 ,}sZOHpXN(nVҰ1,%r |"jg,I0@mm˥o&V/,tӓ_厉㞂"mk,=[Ҫ ~}qYnM uoa9Q҉"t~YDİ}xyܒ,F&w>aokuʰڕgnLoAx5=SyA2R':k t - mۚ- G=d.ENnw_OH騱վ9jRG8Q$J Jq--^l9~ lboPjIeDdl`$ge~SA?GHSP17Y-A򛴺Qn x>Dt'btq9Wo궟&3 5ޭJP˭14Rr@pBwAl 4. 4',SPfN'3u#\S&؎&.txs_36YҺ z8Dz (Qf:I2q\aUk$9&9Q@C(QUUMxEs*7aC E ;0elD%v!љ] <4%V m葄WƠ~:A4^ܓK޻eʳ%6[uNϮBC:r;%JDK{4BQ27 zNܹdqH7LgRgkE~W":+n9@;=M3  Gu8jh8l`8#ŝ#G5`F.&_Q? ʊkZ!*ny cD~5bS'P$Ndശhaed!`bϪ-wA\0Zx\Oe j 'jpRN bUx3;xvՁa;1:%oTH{#\sIYUM:Q7|Au Y&'Gj\\$-ѧ=z"^xh%nm7mU!X2} iЄ4QQeURBGsTC RJgϘU%2)dKp34G,#̻Fy;rwJNX<o&R=Q}> [\Pbt2u}]ćyF G|{^娃7!T79d. T|w0,QN;3'Ngq 5$ ). yi(o*r _egc9plSz'V[UuE"&cV{[n9)lzb 7NRAxt6t PGCGs8: T#\Wbr'/x/?Ĩ+1Ӽ r4/b? ˙ cx=N\3 F(OC 1'qоT)‰SQqxO:nyliH`ya@@にqͩ\g<*JR ݆}s"2:PaUEj%~,Gu`_#nPe mnČvaǸȓQ*+=/ު>ʾB,)_hP”wI^)yoa$5 ZNc^p]3 fNNiP,sbҿsi&r眐yθk$#\$l.4܏ٰ|08?auxE/gNMdR=yf%;TfЌW||L^_K62 l& K>ETd0SQ+TyfThHE^{ttG៸K@16sWYUw|!_JLuZno [ŻĜ]ώ(]8:~1VezǷr鴗!XuV'l_%]~[n[ =Ǥ+d̀M Y,>dK#SB?4\0B#Qn@TƊO3v[_xUc@Q~5^㈀guCV!&& Lл?CA<{$7Fw؜F߯w 5Mh.̰ψgws-HNRiTełͰza\lKwBS盁 f+~:Rf`8˫6SSՂzkcDkk~nG|XV/d-Q4~x{yo>N67x8߾(y,UdHvZ- )X< ,zպUC@vW{/O2bCҠhd_3!#챐uIAfm~ı4keck=ΈΩ&N^$:^NҶ 8v"\`"@#\#rA[]bf#ve=S}VN ]y?n@"o9UW[9d=W1 iCsͰciu4 ܢ $yg ޙ tY+O-@eBf6D 橴0!1 d&݋DpYqx8Cp#!kA).Ֆ!]9#+:'bes YEH#RX:]º1{F9 PKs+ue kCSN0YS6_)MghSKucpi3_mxSqZ5D_:/1 emJf>eW'V|.)0MqXTPMA}:QpS mc# y?,m8(pH=&\%\yEu5R\Xer?$pEMk K5AZnj0sQ키2 YO&|h_xD AJlֶg2%1oZ"'ÉPU}jdK ٮ 4tP*'t3 cPBPѯ 93 .lHSN :9BKJc\%Z1$ėu~7덠*7Xt϶pXXRRi&=>Fz.^9MY;\ͼqٚS; %0W+(U w˚FF{g*sK{:;&WL# {9۔|:Fwy|8t |2W(VqJq o*Cb{x΄08O=,Fjl}Uє6Ks%Y51jĤ{gDq4Ҟ4īֆ~簈,>[g瑧',X`ߨsm[+rk¬mm@ boHꭥ;WWX# 4em }ZY1jP0K4p7F5c-I_K!f|l[5K zE23OauҌ#m1{N)d=5v_IěY(; %HrUc IQqrWiKU~KWʡr (v^19cܒsoC;<뿈2##౒!#$~H׳+lN|\ػ3g!KH$"H:rVѶWJsz155S P|ix`6_W_ǭܳYCVqgY L(hR>s9ΐr opU1RߝÒe¯ H\M3汅tF:P?WhfZ)J$0;tFT[s~8 @h:Tk~(b@2Asﺝ֙~#4<W]1[=p%:#]N/@6Z<7wMS*;˓.ooWɆ.p-߻tC1Kj+*\P.dYiUen&|wnUQEu/2d7dZ.ڮy7qpoZsb/фZ?:x[9QӹgN! cD4^hڛ6Snn ڱ먄P9FΚ2@5XR-4`vϹ;OA.IYOɢJh$2,TR4WCJDnH|ŗTxm|7j| SJjzTVE+~G O?hQ}Q3 WH:кs_hY,i9q{CxY6v` er+P;W08\P^55 C H*c? i7^ mɖ7}$ ճ'̈?XBIq)O)_<^G]'9[s&@ÍӜƅ{Y*'iu]svFtTy.8Y"W-q7N.eyx, UmP#CiVUɊ.pY,":@xd_AP2-%N"33.D&a7 bŚ*e#n,P!! f 1=u@,O`XlqՄ/=0YF>=^#w9eB~- L;s]`̌O R|EAjVe-XO?R93q5[^r L+:آwL4L;N A&)\4ϽEKzdh ~(q=Ab݊ aW1'+4NbU:ZK''vgYZa39ca1c24c9e8ce0e7e08c83eadfc1a8f63866a5ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ffbd0cc1d9a39ba67abb05d830856036d150c206 fd88c1f759d55ac98b581e616f551372bb756e46 2b2df3e13b02d820bbe77d83b6ef89daaddbe86e198d94a57b35fba53db5932f9773f2ddbd1c3924