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  R R)T< ]%]Groebner_Bases:threads=4elapsed=342.415cpu=1170.108gc=125.692factor=3.427zXZִF! n$]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_İkMko7lF +q E=+Fe:62X0"midMy@$LqDPQ,7[FMdm ^?c^70vG;J1Q.L(w] y-Y1lS[jpH:|Xdߏfd2\L8V,zR3i}8 4޲HXDFynY L^ox%`E{K'S?+#?G@kkt(߅s4WrfU6\&鈜ZZ;z%Rn3CΛFڻ*p18gM_u8 LDv ) Groebner_Bases  ( %1lq FFCᄶ_8m)–-+LPO_ ((kyYV6ߗzIuΔ꟦ \}+SJW|ӳ= {`"t1\%u > A˱om#OwGJH([G!9{3-zѡG TMԖA[@%يs YFoX1"턪@~'/=%!z@c/0ܟ))顲f$_,H͢ lF<hyoc m=k4mhAzGW#Xu,?!N9ȱʺ}a=E-txq.O&lwGJ_2[]2Gs퇉s&yxWvMt׵^A]َ&zڲI$2:k8Ng^vࠊ=7Uj|攉e~x8Qy>z+SѢ7`kAК`_UWeFyұ0, +@*l4e[*pa H8YMyfG>RekB0)R}TrFc")e<t;r^S 3V *a[76WC#?p+ L)K)v,WikP8ayCi)Q&urf7]TOr0G [3W1a|VU zG疸-GπDM&;g4WhD DSk+Yc[A.e궝z [+ ~ ._71W [*XȞ 6,XW{ωFjptqG5 Lz*r\{X1!pCwk4/Y4Xy1Z{kإC& ACEۿE6v]C>%xWצ[ov;wdx*Gas0Q³i[rK=M {b<91 DE+H-Sᇵ~ HU> ̻~.ϋp71Fvne M29Q{XU 7+sSȯH%3fW(9$;jlq%d'zHwXDW5#@h+Aw/y_eyNQ<<}IpUQ` =䆥(DuVς 1mSkoB@3edDmh;Dl<"hvP9Դ?0=ߒRVa-C$ A¦<+F ] EuWX[8M;w YN)00z0mZU# Wbd.\WwGMKzn?lhe  +S6&(>8Q$#RVbbR*beYۿaqm|D<%=[6cJ`+Ȯ7i :6}_ IorLEqj0 zhQ6_yZNߔOj!ʥP>IǞxVA6KZޱ]D.T' eblo (G rw\\Qa{ԡsf(v !ўF*S 2<@j"Hb*xBע5}đjZNV dss. Me6 w_`?$,]۫]8)pRJ؋S%߻U)&J]H`l6x5ÊeUCJw g>GPm%&tf29h؟Oq̰M/9hv7LuX;dqα4ҖSҬMkO3ÆO3sɚ#gEW(}BJAX[ﭰcZobO&r/mޑ> _j^.eK+*$|f8oIbxE5(yV E~HoTQ^h8 һ5\m ohǠ" KNj_agǤ*i{qb59(0@\jG."ixB$^R=v1ē3@c2ִ%z ; qz#y}Y)nZ( oWϬKj-r*w%I,NHʲZ[iGO- :WKvlt*_݃ȵ3l:^xp# qxWN[fT)la ^ @3OW岶%y%,:_>zDw* Y,)~o}^⛕N/]ϧl׷0i]dΠb+0JNDdYP _Wɩ
2nkS#ؚzɱ7uBpf9..|qė@  l ZD^]f~T[:a=/ՙaxtNoC\L+/>Lˀj*.)7KѴl/q}l^>5!Ȧ4&aTbmB\z H­; }+f敋͟+ d e$1^TJރB(͑CӬ${3"vFZ96>M>zᙝ(A G|BgSdzJ//6)ę- U8-ز+0#D_p0qt%YoJlTxS҉;ԍM?[9SM䦈ֿMcvӖybt_E܇/^d*>ŬC ēl㞫 g%g<'ox$p4+}d;];ģk-1P(s0rZ}4fxsdMgbQ`9mbOR4yRIAkl-SLk?Ēojox* g(HpWD[$!k+Tػh*S<٥Ilڠ"Iܭ\|v# 0י<3qGB(m2NfoɁ>``"1^4>)A O _I[; "K+eq_e w\b* :,8Uάޢ9h SVuB2HX l%D~.;QL6ͽaĪ̤ zCG嵁cg,QH䞲- q0X a1M<4>׌D>'w{⠜ۜ˱]4Ɨ0Oq r0yЮocPcc;o쩖yH - u(2хdD11}b0L 1vGz~vܾijy MAdz Ѐs53Yt잉<|A3|J&O$@VA Qy@aԊ7<}y"{[a6xHy`@\=e4EY^ 1bB(71랋ߣЕϙۊЃ*o64*ST)Zk vy>jLȒܑzbWT|YO1C1 z#0ԇD8RU6iVRh2htJ*|"ov9CFGޚD miҚ2O,`)1dU<&!/5VKOf|~D=owP,ݜ"bW<ڌ.پ c*X<\l !0%iU>ۿaf:\[lk{:+$fVo]/ml~ Y)01d&)[N:3KUo$8JooK^Z{ڕe\Q.Նk9~inaQ?"11.ټm>eѻP]g'‚F{]";ޔ!Zei/w$:8A*ţn̍޽bqa܇| Y3qذ\HUŒD AO-∼$S=ʾ=-sVJzZʑ 㙟V)qj"yK훋}#ؚSfך#cw֖]#l4ȲE-탫!ֺ1)Ci}Tme۫bN)>v>LNs;)ʛT n9lrC^gHv/p3WK),(u>AYG0ɉKϐ29"dbo\A!1~ߌ{x;@az[bv ҝfkmϧ1?cL)喐'$+Ic4d,B4d I6=uͰ0[߾YʔN ڀ]ZJ6|T'8b<3V)zt3J%k6Ȍ=Idn1[3d:a](%O~UaL{3D7k &PB}iX܁G2Fl_;߻,{gEvP8Ź tag# kO ,,v^2k'y$h 俤pk"a6K9!ŚRRismd6lc8Lӫ,0ޛ6eLԞ<vwѢ)e`3|LBBT O%Ub^*ѝZl5iLl@%:6%1n9/+#_y@d>Aj.y|'`}gn# jI i2[G]Vm'*K/#fc}f6uW)B)ǹd)FrdBfVRvގ=~>yO_@ge#]M+W򉋾ܖs I`24 $2ojg`Pe0ي-v3Y+RoQK()R%)_ʊvrӹ֋Fաb Ateԛ*.XB2k.2!wXF0`7&:8SYK/bY@ Y>/xdTY[?(}ZJ >ҌhL/ Ozdkm e84t/pRcӿz!Yث_S۵ہdVcjIS`9vS ј(Ll4EA#6PmwV t JN1zZ$<8I=gYZ7zXZִF! ]ŗXiɟט+-ǺژO OPx=XLR,KB:=ڽD&e7|˜z#\8, 'Ӱ-TR ^)$,֘8JxPiyc@T%hXOO!m86A(W e.uvʹHXӛ+oC'.;JǿOsH蓳sH(uL‚|!ǃ^ ='Ǟ`"vqT%f1dZQN侠=:ס%+'w5xF%uPƽmHL&n'-ejqdžVj4d6o:1d)|Bq85_LI:~*M粒"z˫k~}2󹏥7/eNjJh!:;*Vvu4ai|Ѯ_3}F{$ԙMU1Vτ zK2nD"GD21o1> kщw7.$I;~"~!P2b<~dC#(1D YҀ覮pZ69\6gs`Ÿlq|ŊE'\-˷ mu`dW̹nXM1C ^ݬQrs :;n( @ޛ-"\Ȟ@WF%<7@ D@{H-\)E+ o;Jd w-G&:jR5j$95_C%))URB Ԕm1XwW:a܁%Xtt%Q+ FݽPض{4INS2b}rBjVD_E|`/[mMvQ=5b=Mwy4|X[psy8Ͻ#Aj ~:-޾>W,IvGtԍߜ%sͣa.mУN?&Uamo;WDWgA  &%_񤁑PĊJp"'|pV|v ɺ2dxZH$@-i.!C5O͂˧,95~_L^5@qu\l\PvEÆ8oQO ȵ*MIGHiAuZ@7l2VMal ҔԺ ͤb2فT $J4;>ِJeγ:xZ9 &(-z`{xs^ĕ`np:FR+r7u B᫦!8mtfV^RxYu 58=mgYZ7zXZִF! *e]ŗXi%Br L !# ~!})!p$eos8tw̴!A}F[A'P֑R= F ٦# \b SKdoGsqrW!7y9&- $Ez6 m«3r/ջ6TX/]2&lE-CDzT8`SR%zQC<mE E43i{["ۧ36pO>@ "]rEXŭG(AD)a+ѽd͏P|#ǝ =D1=S5+}t: v`&ۦ$94޵M&Tj .$bIieO!jOjp OqP^0ΔLpLf3c3jhUp| *2O Zl c>&V.XÖLmOlG#!s=̊@!xbRl-YX= #&d<˷"'|*i #qP8_o?LjcV]:Tl%WD o<J3BK׍hɰ^)΁:M_2QYwGtRQpeuqݧ7 %yŽ?4W'lfSn\P s9TY7}*}BDANn)eiެEK˯ugu;nj>TP͈9& k2]yD1h~ԬB -BNOLgd?|z,ila(Y:}:0a"A;TzhNW(=O3;>0 ͺؠV$"'9⍌7<A'UWgҎ;,\rk,>(ZC.E/%qz*hV)ËlUBۓ-'If쫱?]0[Y𭺓OX)#+kaX# *ff׵Kd:U+w5W„4r9A٢d48Őj+%Y"hNd8HfrƉH̕KTD5HXtDPQcZ':L 7NGNSQ!+/aBcM5|38۶yշk4B'Z #\ ˯{b)g˾'Vlu, Y$7=?Jdhfa~%ф\3v{^ke4mwޛnk0bX:O&]UžZ_|ҾwyEksdzAvtzaXWAwhJ m&=%@g 0IWmc@YD%;H̛^)1Co@ĠDh\*M}pI]fwDbORDHBOܹM :L@\c5Hwj1hE Uqo7Ha-|a3# x,X21 32&]#ڹᷦ#*߮E2-dYe'hrQŷlo7M2xֺP1#Tg&EnV#P JО#HX[[zf[|<GCgs};o{Bp + I{"!{"L>]]:qp.L {7?^F2p!r׫wD3w6?-h.9S<<{m]ܬzb.{vcF|_גL`,Vê7$eݦR^c>R cbYMq%a$Rvw z /YP= u20gsDqz.[|khDqE h4..wۓ ȐNUұ,K?";?H,0x 6Q#b_cN oqsb΍M\O:/kZVA -i*]Y-#=VA%&{y{mpPN]1I"@ϯ HҼpj}*su, Ae4jxe!"|R44dm^MZl&!aoHA2ޢ(uߚR6MڄVVe>;>h6cUQr~H@O 0,X3MZ^e0wcGY (0Jn1GUgC}3SKf{!#ªOeo>L%֏>tFfOFq[#lcq7LD(mY8O)8pk.#]wylɀ-(?%NeTaU^z\0;DZ#qInI6aəJ@۲k(~"8ׁ^S^'0;vF/mԆQFtڪVoރbZǢц<7+:$N"UGSȭ>hO-)xMOw{StFJlL_ѿ8F?II\󜐊)6o$g%icl]>jK@$l_(2| ؅NBx.M3m8qgA+:XF(NHA MbZ0cr9,_7$/$AߗMCeHW..; d,CK>`uLJ^W81o&,95ɨVȎZxɯ'˂ ^U>5a<HqSA,FT [+W&WspQ8m>|oN!j~Rϛ gZ/mT[k`8{2\Ati_||Gb̹́?]P`01TEG6giwboDNtNt<< 2o(wO63WEcߒzr-hCh_mjN7Ke6X[QaqGO`P:`Ps+tjj1*5Ce`_=B#VGY]ej H%:x?,ox1rxP@YWq*x{ kDۼ{UãWJ;&cɨlk5"j2sїKs GSV-g]Ighq țA3qh;0p*p ZYAhutH\6(Ğ,=̯c&%4Y>Cd8d6AwܼcLʣ9tʃKj@dVwMtYz0 Qs0^OfBMwg6C4^aVD7j8]sS2tsrJ!_CE+"SB %f\Y$Z/d= c5qԔ)"y*H-}f@j [ wc~#gw Aw%*3 BȿԪ4Ogi԰"V,:HSTRBt* eLk1zЎZ+!Xۚ~yqQ@c 3ۨ $'hÒs:sG-ݖXNn9\*3ITQBrΠ ʷ&,Yfےn")A*Z3N,[ym'%9Ev2u1Нߎ^:Yޕ}D!]U}0 N+Khq>F\<Ѱ>oC(*6yiV"gzCNKUaxY8d<;8n>v$6Vb]&΋~ LlpA D<=Vv j1v řCzB.v{ $e.q+D͎ΞM5v>$P;e̚ YMBZb4,ō/vS%<&s̭!Iey L Vv>+CsB /1ٔОI1 JdOAq~ Mz٬HΝQB|ʱԴhhijzezQ낦1^5qG;V ?UTr-iSNq4 7O5"F&==e o *rw^@A/{iIW⧕V@Z|Ԓ ݛ= *]|R5LO$%ivo&bYԋ+S Uݕq_O`UVfrڒ.sɭ&bӞt/՚hq^i.u0O\*P)kpE`[tr"/5w>%ǘ@æVӲX|)ZRGn3ϑ @y@P6[GcpKDfy4 ]L1?=\6M H= J9T|%B\CI GElHX̒IL@g{Cy5j 1,HΧR7$ Z.SnE5h.g;)r6NjEʾZ =rvAms8ND R ; c!yk8WnfE,^p8՝M!#tgm2ʏ#lp ^*l&[U Sĕ!763J3_D%ŗ_T">קP~`Ksp_qs(P<ʕ? |{2pλw/Jd**a* (2{8bU9Co^jDQQyنAYxm2qmiSr l~,QdYyv@s$½9Yp-LORc+oY]X;x ?<⹧z$ D 'xO`-GCftXU[G+zOXFj{Lf7B sRaêrkfod짎>Si\#˨beV+wЉ '< }sN1Txg ~bQT/1V F|Tz8y .2I|?̯;L|̴|GbDRRQD9S Lͼzh38GN[,䴋g.dPcӠmEd3٣_ATA=~ npE/oy.R^RRiI%/3< S%WgW9QOh7 C&0x|EP:0W# ,Bן!OܩUzS`oG;;!z%m$I[ 1n3{i~~ƝKRuEb dUttԥdL&To_>%:XS;[:h28bfRܟs|lvM֛GZuYP _32du$x:Z'h$=fbWGP!kPICebi3Z̭w]6#/|)6 ^vQ]WYS6WTXUN~eaQ3~O.>ypJI6 mVyX :C.ډv#IB(J2oËyCb)hhL[~qoPzU0^&Yi1&Uݝ]+X4Iͪˢj@t/ѣ@C+żwR},xjtn7\)q-U$|KN6_R .#[7WC!`!"1ʖ; #\u_W_ Be*ԨG :TUÏFod|IMWs]҇d^- \ƁXsR՚)o mbZqq!~῔\J 6Mc6黍;{\pR7 1*Q؝zK4xмo+ âB=jlF5nu8)VRu1x'd#=w\Zuz]cէ&L׿ML-.1!  [ -Dh*tCĚ Ӟ)ro͂:PYҷ}[wB׽qr6S) a-eZKQG}4/mf׶)L{/Ԍ1E%bļ)ZYkYsҭnsSE/D9vId-VvhSl@.B*{6V2_^ŠG[s\J(@4L(Ʃ}m( xܪz>P&v Knf/HEiVB9DR"dEtd:Ilt>UPGckUߔϙ8ZƦٸӌ!Bwf>7<ꄢ~YUqmq6?TA=F$ W2Z,nIT;@D viL[ӝ5T\5ƞYK8 =b^_Î hJ5fHωovO*760e9۠oc^t<֝Z~O .NRpg4V]H 8OTt L ";2=NB +;Gu 唏44a"DܩޢRZT·%{8xS 4O y"t-j.I7EUvek5jnۑC D$F7 Y,AuXNm@SʹEZcE]i#+~:b3&#{{e;dF%p?W.L3+߉i8tfҎePq^ %HmMG) UI䠭x`6/mfhŨ? j8Yeؽ*[rZYEyRkGQy@ne(RdZڿV [?Oo<-<ѰSJD}M#<1E.Ȣ7ٳC/ 1IHss2{il]n~Q_QN ql)'0@Ӊ,b/c~IڞLۑ0LQOKzNgD~IJ ΁{D.>,ւ<'4p#!d#d^G cչKT7NJ=V7=59sXw.J gY)A[k>}BR?{eҦsF)|zoMG TX,Ƀ#*gC0<{ɾOkO"G9 /PDT` @A[WWJRqbNㅖ2Oqse~jgօ|mViK4 Hg=9 kL ;?! XoFz2&"m9y!{Srt+q=h.TIJs͝!{~*W0rR/hi{A} 8Smk292Y%WIF BKǐZ\@jC77ҿ؜_g$m>!'l3*Ex"PF1PU&]hJIʹ~&RszZj`gsg0Jeqn0;|K|XgFG|wħQF4G`2K|C|@/9 3Rq&:p)|WUmh)&\?;{ggTe|Ht\֨{Ek4X8BΆ-aN@c?WO&#bE}Rx4y;ΞpkȗY`;}Yҗ]=-8}WWwW`Az")kKlG;5"axu}X˗.5Xs$sjP$WK ޻q7_aeO]g-$CuN sW+1X@q;[4dc;mDJ_S|e4%! \} B~V{{Uy~W՟;`u';s)T(@=BEɄب@$CXK"8"B8偳ri*7 <&hic=jCvluoI}LYPU$>e Mo) ,/Q1C<1AjV?g1׾p[lA!pRӼ%DSNH~9vJ D0sx}j Y8<TIIPDmt̝۳\)4P'XRen֜4{*3Dt9&r,k]'A a6˜|vXE*RyFVP-N30n4zh'XKSnf5muJo d9onpC2S!&sdj wfvO?m;Gl.xs^cj%cz}%;R:ߔ,2c!i2ElrstuiȅLaZ>4|rSȏx/Ø/!{-h"!)9'F*xwt9m~yf:m%H!`=fmYͲ23< )Fp~nΗ@iÛsыhA7EiL-Z .JvO v3ە].A2n&icBYlǐa[D޶`^~Dƭdn%WQ 7)19bVc2-||Ȕˣg)WSXE,*p.a31&<4\VE2_/X8Q\J3=ZT( ,wWSj 2)*90ݗ叄T||KH_lOe%"!aLz,Gӥ_=ur_!Rjp^OHQZHG2 "OAv?.&aa)+-cV[uw|dO>!Ƭvʱߡgyo(/#VXb~Mg#àk9eJ~/qIc9Bno͞.t>uAnQWg9lyBa44-C-^y~ٮS)_E½`GA6x6-+%&g:=򜿹MaO0{;%9-˖հP ^{( )im~* o%˜o7x{#aMŨu0)2%#+ Q#7R$;O @Oπ+ґ&P>$? H\ 3/!qHC9_7T,*K AOb.}z0x\w<1UV=~@a&/ ] $%'Ǯc>t+A\Er'B{ΧTdvYxX~sכP% ŚߜmAiyCư$Ƿ7ADm;(!wjaGFM B12-JiSF \r"lwgӛa[4 ~6(Bz$/Q3U95KR4hdYDseE`cRjdv6nR 5 70P[*35׼+p/Mkz8\¿ 4?Yސ+*$܎fFs_-G}ӊc"==v`,>*KP4!Q𚝇jlV'%y t5)8֗B对}cDYuk"KMo<\ |61:$SGT%5{'jQX9_x )(k^!vep:xSW>s>EU;,48^b6,RNZ,\@R;d $DΑJnIHŌf³|hlKrA6qgzZ X#WrgE!z6P6?7i/<Z.YE{>>( z\Fzd[$ZDs%)MW*21drAx_W`+p3e:Sb#>]r7Y0dX +;lD,NHZVTa-x9&<8:[^A{V}Rw2RrJ4YS'?V B) ,l{яEwySsMNI_JrNht*]oO9>6KkBl:D_ImxQs7wl9LcOQex|y5.Q K'[+k `_60&{r*n&¼2tb aCw&1C l,d^Z)(y;~yVgڥ-PIe;N8C+Z_>̠#Ӻqi_l#WS}xܲ娫lϵM9ʆD|~gDZ]|MC~@Hp #n 9ſ d6yܿ7.s2UGrI`_uCMUk>AV9b6ә*|htm}MS;,#mYL.rdM?H2; -)0mLSWQd/ٖo6PU ~.a8gG$e[[yé.'8/80m)?Z>/Faqt2= E8+o FX]x mHA['ݼ#f-hځ\-!" . :ܠ/V W f17|mDdq(x$%PH,z>/ðF&i P@o|Ǔ&:9C[m5aQWȱwL-wvuy![ AU%MiǤEHĮE]*4íw,F%Sf[su-e{Cr.<agĭA>D6Z:+ggBwV2LD1nnVCG._O&yd -”LQt-'q#_םv祥'Bѭk=ޓf!eChse3 xVrBuEDӃ8 Bgnb8Lj„2E~X^@*0y}EQnT>FtD~yf8ۿ1_2* !~ EWz*6X_2] 긠-YPaP@MZ0n;Z9ٳR}£ T m]n>LFh]Hgp^pL&)bOuxsQj`$]DXvsjjLȆsq_e BfɏPMqwl>BoTE?#e!DK9Y[t_MRsmcŠ}'5x^_{ssP#Y.o~ɘt\6~Uaso{^CCm,rgQM0JԒPF[ +OY;a{ pGvGr-n?ES0k:/+XnE oil-[SS'p&Ŧ"kRSpm^@r{3]K Q#׽!5p4," 8OVDCoBMaFngU@U'WZmʨ̒nݎE#Kp.pNa҆ѦK4ݡ"8FZ"ā}>D~U#p3hGq%yNJۨxn-7'B Syr@n͸O ۘ*[*S9`*B(CIW(Pmͩ1GZ>ix-兔 |(̿+ܹ*0ϽZVW[C4bzg3Q<Ɨu= lAk@v\R &`&ʠ]+ѣ=*bh˶9j9NMNa)t0GWd[4J<1r8ke,VRo"q)y+d֡H$Z\lkD2hU/E!Y8X0`!Rx3Inl:dX;bn vNRP xy2#/'Fr#g:9x$0_d+3KLDC:^ˈZIݰC/현Sфg&53JտJ|#7x΄/ے8VC0QI7ƫvgO>!^oy2bfTfLbz1 eAV z|<0 H!e+9++HCJ`$K A8^Gd8@_KJ@IW)43N)R\%XWNzU*A{f?'4̇>/ Kf|b?|E:7݉6B|xϧ/`#xFCYGZxZ- x$&赉cuJQj@R muuSFIi85OAԊQ>)Umw: q#JOӹ8c ,z3M35m&r%n ?oqB@Nё;fAMDa[ըZTv=ߩ _eqp)%A-80_4,cE'dƿ(x_kwWlba!X9Bߑ}XeJM#gPU#7'0A[<`D}"S~ 0bJQ'q|hw>;7J_:-2!cUc_Y~Z I63xG 7Xc(R^8i(dAVЩKWhsg1ޏ6vm1OSoC%1ѓЎ"#΍`suDON8GppPc+.q`9["$vg!m(oI>\E8匳4J (F >\[vT̹^~^:8lkD4¶^OBq=O24ѮCmm!`w1{S :m32M(m f R I_gFc UZE+*-vJJP~2`ݨi~$L %bV\TXKYF]1 h` ^$L4Ip@l)&RhVq%PaԬ8mNxJq WF47U'(,&2 U#H>Lbu9n;fǷ L|"Yai)X|&0^hh-^Pmt:<d{Lcl٧m=|DnP@, `ȫQwŴ[f1w7G*uӟ5 (`azpCPUv^G00g*Ÿo!(ekk?6H;ߓN+BH7h:cFWmqf}[vU((-u?$nugrcqل@_ =^~i#b#`B,Cξ'F$etRM<8"8FMЍ=_ R׿UΣ!wL2kQKkBl# ;XN 05j/CF2.>)Hu$2y!N! 7%X=׃1域q>Lk>x1~{(*dN#P*p-,swoxVK9 c\xbmt9u#͙:YȥoӲ(mV_*CN'71KLt7II{[ctz Ԡ$kwȇ|=AN"N:nP& Sh$;# s*{ώ64/v+2uf>aA9nqkX}Fjh#C@(} c#wng #Jݽ !,j!HOB_ȝ6:&V6K^&u X쁔.*[jrHtT%Jk@(ҝ16}9'!mEj9y5uc t^$#ᠨ+j{q2H=DxOTV"zՊH̩'s!$L\{Nd x"76ppx-T uc$oސo/׽Fz &Vz^ґIf{LW&Gy$[R]`EwI޻knHHk/6<9E3)Uci>B, !^I0#HOLnZ 5k ~5A׀ҟ+`4D `TXdlUX{/&!v[W;20?!V*71Az[4bv>^VD.-C4 r^5KQTe ,~=?SY6:ďaԫӀmJܯ7Ūte'>2N%,~ il{V K L6o4ydNnh NfO mhk9a]KLIE E@ph[PΔ#[=.ɁwDkCdTi1d;,wyk SK=QtSՕ.xIPphN}$E2eud[bܸoU|#?:v\^1QˣKVw&7~"ķPoM~8\sή vI$)TV'+!_u UYtz^Zݡi $6ug{3o0:_HPCP,g`OcLvobO5E*`d: 5ˡ[&> UFDE*?I|nWgOt4v+aG0U{!.K*kd:A%P `ˠ%Vi?,͜qꋬSWA)&uu.*w޺l{_G4]Fu2)lq[D,uk<`LSL6HB|ӟUq1iǧ}r z,t&?c0Dƭ ?#Qd 4[-ɏHTvq|ɐV%>ۯyokq7XbL5 I;jC.3>ilIm31M ^m#Ы hƉ%g,űCB5aq}gS>ڙC7В^"*:gߦ4+ Zш9o08#E4hk!w Oi_+%e+P/c2Ԃ۟f"IZe@DgXLh` 6m J2 "ykדſBi<#lbfѲ)XQmr(%fZSk">] zuX}#҅w+\=!N?_J 1lA+ Xw=Kڿu;|P(/A½ǧ~ Kr|Tw1bzpь#@mK?y5F']{%xKoWnFdQg.~*IcoP?Grc&>>jȮ$^e AϥuH>9TMW\0'v-<0bA#*'ݚr'8G eҚUOu\^%f Wz#L xn25ød'im[a~&8 Ac}ٰy] {wA{$x?v1  f":R.g0 =};{Xu A# & 3N d1& ?dg_$9sP0rh3fX9r]5aw}G{2|ٕ~íU]B_a+:K~ST{߽ɦF7aN@FsaRRӯ]2ک/K<,勲|ٕ/.p :9K]Т IKLeJSb@>pJZ5X>ȃ<;J5<]Pp+<,0/I?yoHӳ$ʶŎJjaT>K^nO3?-`{d%gDQn4e aF]P}ZL# B d5\ΫlƃUNE6$;+]'ƩI7ͧ{ #s/WPx>QF,Fƍ\f@#sSpS3ջ<W*qƃ|ӽyp\[=τktO:r6D\xϬ%5cwP 8=HѤj +IҊb {zmKe}-,|+1. kb?=CGlzHYjhfW/Ntpg)w_vXB4T(#1_2gmv;[[G&̜+n+X(+`t.nAx2WVdEVΑ[1/xk=ÙGg:GWbij<\ V^ ם+ӠwкB-jZO=, Gbd/I,:l x3SSthVT⳼(N%u!biڱ*e3z#[coFhV ΂lO y}SgYZ11dbb9c37f136d63c093fb07a5c7e96fe97da632ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b db31ab3431f20b0b68e3f71d90043a7b94f933979390080c6b616b8836626abd8bbd8b62cab86103