SQLite format 3@ 5- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 U/4| ]Group-Ring-Module:threads=2elapsed=247.212cpu=475.760gc=26.928factor=1.927zXZִF! uؗ]ŗXf1-/6vRZo - *&EI lmʁ=oL;p: Nޮ?gAjtdC>gYmHGVs;Ï(J=es ;+VXKc[0Z_DD) &ӗۆ3/`RW\Xiq̄1˻ӏU!2TM!=@d*\7?U(hm@O|h|CQ@WBih#-t ).¿ы;O]TޑRZ& rY~Kcv0oUgʞ&nKb4iuDtFSXrw,Z(;ssNg SrQMG `?# CSX,{z=ޡ'SXkDQ){xI am3NǰM ~UM;JRF?ohÄHЭuߟL펻{Qp eI()MErYX1}#0cX#O"`VJjȩKs1 lPv\)/+k-PA)F?Qt֚;*2-IbƸ / Group-Ring-ModulexifaW S ǃ2TrU&s“ME?C}Mצ| 0i Dhza;Xp%e5#bŐ JCcS þҀa |]LZ liSq7YZS fQ-W.ĝ8"uș|wdoTz ƛ`&7&Xu`@ExUIrd>ܒ:| ^NqҬNIDYV, ԍȖ=ٻpKՑ`¶`Ok+iv:_u]usM#T/(JZ g;!,${4!phl̅O< ?/{X(A&rGos~$gbY)ʞV}#gjyNH28j~^-fmhR:xsfLJ!Ƴ. I[E~ Ž</; WCg70rŸOSss~ew9)j̘7z%M~S0YłI@H ³rk5oT_+yf7]tCz w(y=r<磰0~OgWŬ;Cl~cɴwR F.r%j/R=z_7,7Q<" 8Tܻvfv--oxx&uf)3s#wNZ~vR!Bx@b6ȸR{UI:}y80Έ hLǸ~,kjOKFpĿrQEs?VMx0[ɮƪcԕT.~X`'HZC;]m$MSbyK$F8DSԫqY:9hotkMXIϑQV#@NraԊ}551,$HyvKD6s{wal7򨩛>󏚄rm;JpD44U a OƵrC\i캁Q~71bS8hB?G=.};EEp$ČrMw' `1BpS ÃYe>1p:R5{{?%z"KV*jcC W$YMZq;^|mJ ( `my%䰐{ jl->5Éuǫxs0KxSlǴ^'Mqc`yrH"2V)xbs}y/`4#uka`+5F\z@!wdl#;'e!mpnY$h0H$msФׁCvz--m@ Mzw-wERY]Pޱ-hϨ+o,hAZt̏idNiU앰@*O@mE/I [S-H1vⱠci(5S"vs/&J($hb낓[kjlDeMbe{n0)LͶQC9r_KeP]IzJWf# )͔AS3iY[~yv}|,LGmhoMwJXD-4HR_3-FҰ뫲hz+LhPsdM^jn%T'5O3KH Hw!3K%1]n(hnKܯi9[V&G  S(uf9W4\eXq|4z9IӚ ,"`@iޔEн 78PL:O2(S8Ҳ1ky2rSOm 7C> OWA1 E!dUG*"|;⦢U{!Ւ ܎'>έbiԄqja w~He_s R˱2߸Qƃ\ J{$bDҩb &`!h8 4J·b!\-ib#WǦ(n" F;"Hr1sB&[G8Ar;wFY{53Oth"W.F(PQ{:xg=`Pյ b1@lEཡ̕Y#Jir@\Mp⭮NS+xӈ4#ĵGNN>Xt+x$@E"кq vjMFx:!o;Txÿ6Oe+`^+GĐMKk)|6e}I_u?&E3& =ۼs~v ›7 bBzZk<,ŵYf>żxԟϮNPOW ]Q"opjx4UZ @mueumyta 1ҡu@ Ɗءˉ^ylts# 3I4X+L5T(k*' 8 p?[eg?k@jB|jWoM4+.JYV:@͂%xL5o^p`L.ٴtibU@b9{گC˖j"\oboThTEt_0)Ң2 :09xROBUM3vΠ>ɎOw]_/"eT`[5*X/Tl `Yq(Xʈ `.6(׆ipܬ9Q/3deHs3?tW bk\0F܈NIvV86G,=ނx7ab 5D:=2f! N6M}"kxl- / Cb p5'Obؗc2Y@iA/ Cm|6yR3tQoܺSu-l= H-N*!&yhגAR/0V2 盦Db !рɃ?/#)h#|$O^S@=c+QI3٠fvuũ7͐o 4|=Æ ]? QlQC}rc%ɋQs)tyթ 5l# rf2ǹT곀G@F | ,t}NGE}`1P\G`&\mѾ@5gLy&c J]D}YRmiYu3-ْt'!|QVϳw#S6|&VVu{(S>u7vn Vc>wYtjP:Jek"qoR[CwePA< 3BP' S~N TMqR幤oٔm:";ͦFSJ5T6 7ۃ̆J]58ZIښn9$,Ot >"61  l322VMmtD_~'3<̮OB.H?N@skyZ= `eາtLIOA2)WvQnM>ĔNK9,N[}|J[5"J>eb{?*:3苸=uw-G[kVld&BsFH/ pDơD%'$ xP"Õܒ !erQ":"B&C4͝@B "F3dVsPqF ] ` lj5'}򈅑CgpvkqW"3Tc䔬5C؉VP6->|Zk?̒yziq,[+N LF<C'ӬCY䓃mPoԴ-"}+Bc?&eXH5{F0.F3; /\浃aSx?W\g;p{YVܵW" .L=Cԉl-F3(xq㎦9 B,=DxjTz.W|w`AeIcG>t/L'_:u$_FbZ\:]OIi VNS[$em/E1q /BiXm1S`YgV9xs„:.zG7k@ʱ&ZM伋!ᢵh[DH{*L_ȖF2;2y&̈5$v֒,>\8Y4X 4@!a(r<1JO)8ra闇xAfVVa'ՁTU g&2^'iYOpx~ G ι IlX?Eư耣0VNVJ oMyg >ؠ/'BhwYDbFy`"x'[6FD?2z|ixJVpDo n\!!Ls43U@Lހ(r8Pa8%]z'/ 9ůs>}h;I~,@$?@YUOrP4y6 ;`NWWmELŗCEx_ᣢ yx{|}[o 1)l)Rvc}SēZ$ JcEUЉYg Ï?E8qLm^vhxx_cɦהjnlp1lp4Z`REDyL"5[J2U8$ϗx!N8/K|@ML1ƗY!+Sk^BhGDL7>dr,hޏ"菥?rl;S. %Ítn 40`+++qGصqfHHTUHܟ 8Aܛ? [S׳ fh\[nʿػ,fmW}cnݢk"W4ÅD96G+Dֺ癋27v(\c*ocÄ;:˷D_»o/1mhU&Iq@?K]uaH+2λ߲hg1̢vaҕ23vnk{͏@@p%|͓r6WoC5cDSult܇AH j+z?a2m _f`6H.}}/BRf̫TѪ& { _:ɖa)o6d.0_4*ṱʐ.Vז}k#}:WSFOz3eݲ*6{Ÿhf Cf926F[9'S3JU*q񂟁&~^-ݡZ@i 2ӈWWl7wu 1|7ƪ_svs0sKlܓOM#7P'2ĝC9sHIF #؅Wg(hmj܆QHB3)I 9i"}h~mo$&QE5tk2,儵Wa$J"Tp;Xx$ b'-V["+yQj<챕bMGМ!U^/g/qC~ 7*W̚ |<,٪yVǂe[z_{fF\:% IJ ݼ2Kq)!8}5;co 4oC2GVPcw&w{T>u͌p@TZ)/uaz~37_dվiPPˁKt(f+s#;차8thrϯzjFn (an}g>_tnq1+Q@j5$="xay#L-  Sn^gԊ|+*)!WZWZD_h\dՊi $L)OPoJ?6,"T?#hd%n:BeT!jLuj8 v))xt#z%/~>8Xy9+kVaBV=YqFov7FItc4c/5 UeigJvaP->"hĿBXqu\X YytbeL?aӯщRȳLnBQy9 (ٜL).Y 9lSZND~T\v#: w 4!yx :d?iHuPA◿Spl(df%4H]f/;PA2l)`?Ob%+e {CҔbt }HI+)|B,~[(s$~c/T5{Bu\bH!QjѪ0`MvIR >VȂ 8!`>I0gǜM]e Sx^3.$Zy]!ƾcT\n[C" b/B-6&-vT1IE$7Mn~bp cYJ{ WG()R}a{l6hHέkRU7n欬Ɏ&i(Q0K$)2|}4 ({򲈴KQ4- =GH.K:/@gG(s#-P~=6kjm_ob-z[1'\>O+V4AnDlkm^|7Ÿ E$2l/E0}^$A˼h+$rɜ{Vf~꧲MHZ<gRUp9hKA-wz u&mr uSjKBDE^WL,ay}r֠dcW1v@)Ɖb4yx%'6PA/1d~Õ};HJ8W=wׁ\9͔51NhG6 ݢ]4޷mLl@ eST&yc#,pG leݹEViN=,(Uoj^؛v$M.w$Tkj 7@}Z^q2l?]Q;+5J8EbOAp<ǟ4oKNm$(#TDM°O,;(I4D@V>vE^ *OT39~ (I"0)hj[T5gc(qR3FZ}O. L1gln( Nn`LD4"WZuʞl_>4jץ6v(452 fos $uńzmA-8lc^ 1_^'NgP (LB] ]N gc%Q⧲N sՔ? mxucC%b{;|Ira8ikȥAO:K\lX%|C`]s$$}R I6cF񛢊Gr3v'*X0.MoLRSĴ;!:33BXOkdDZgzKF<}z;?|yCJ[7-8Ͱ=^CϔM?(' dqrGb\N*C {hQ WP

&NIEcYxυNS|2$nzsnc_r1+ rSmej!ؙ<G Z(/l <ɗl $'\dv'QbklD;L̺N2y*mGV?,3 ^f'[Ush$s<-1x Ř$eO-5H #& PE+KeDcnq"f:mzv~w~/;45 Q%J{!t/ni8U]V쥛b:{WܤaD6L,)I+DD7_@2*FgkT]_FSx1tb׽@Yj/=Ul IVjCh5﮷O+si˦)8RU/`/pĽpJﻅD㨡h7y@ l]uR{ЄMzRji@"=OmP^{V0s_|u}iQXaGuX}ח G" Zc1tj^7ϸQG8Y 59sAn!l!Ȃ.ud;;@Wg񻢚X/)ƊG_2X@Ō}k\iB7Ȥ\K429+k7SÍs*hι\/a, <ķFZiYJz%;YkUBQ*'S=cT2 8/8,qHR[\ QW[m*#&l|}|{_m11. u@&I_>X/&E-*7_~]ʄkR 6o\ZT}؆ݸ} ,3(JDRvR?cm!*34RPŊ ]4%f퓨YGݛe2{Uxp=]dZq~D 5%7$̼@}+)DeZ?0޺̣:KLD4 H>ܻk_/6}ҮeĢUieTT*7=]d{ ;"h0B~m1ٻܮ>(1su2FEQ [_UG(Z9+!Y\~{uIѦGzPc,v|^QV܉XR[fWԈ szqW;yM9rWvï f A2^0/ԗLB \ժhݩc@JԮ %=^S~X1"ؑK }|݂e?iXom% Af!/z}>V%b1 +Sy_L1iѶ+~I3/dֵh#,MVlp=R5/+(sg "5)1zb ՞aRF'Y 08qO1fׇXIS饿$֯D+6KҞ9oe*:ް NmLgi[WhOIkEwIM'1(nTP[GBGbzk(lȺhP=z mtgl/d+3 (>4C{$žHrdMR\0'o>U93ợω`&{c.eq>ҙ꿚U[J։y*~2 )DvH)sF8VGP<}kI-̋b鵋q@[/ߡF-|xI޼pS>wץs-}xnG@[ߟ5 %g&Cu3^̆T(oԤ!\{%dCَoy'r)\>D[?71zT,|ࡎJDNz'(L4ъ:+Zg?r oNÆ_)"=00[/i!8'WNNrO?%vJDGO6EEvJ&Ҡe hC[!"gZpQ F`KVY Ԇ^J]D:#$7Aq&u56"/{_΅iaiC}e;Nc}LSbߔT SͩZS5%{}Ė2آ7E1SFJcԛELRPjChhqY#M^v'M©"l8ReZ#F$$"T?T9SG6; }-QZ vkRPOi\mC#X+4JRJ5ԷrWnkofx#*IMߙ*{(0*Bdx򻵶_8nn ܣet>54p?ݖە͵&ڍ@Jna2\,XL@QSOP1)_a|S|g(2Ci-UF <CqvN=6˧ 0yXځt*N0(i@%iB/E(=2+{aahO}ɀic\ 2(x08Yrg͐]T9zCD˶Bp26<(zfѹwe%#rEI֧vkΌ\PgsHbr3p  ZCtxR&"Q33oy[TFxJr {td5|JtV vj`yÛ ٯsT\rux%9\8FSA/ pGnC*2DLfs`w˔n?4WkwYb61{!uIw i&\q:c*9ӉZ<5mxɪ/+^ݥ.1:\ܬ}cS鳉֌0}HQ0rPܰ'ghdToDk \OW W #Y |;Q^ڧH$aubCX(\0a(-DO$ɮj1Ι;{@Yit'v.XiEKǐKaͼ?+nˋ{!t1%Xn.T 8X:,Wd̿h;0M1c?r,'0f0r)ɘ=\gAʂ 0輛ϯDWn~gJ+& <ʆ;2U _M q-eF4(e1"J!ߢ?$NRQAc(yHP %H1(RI(>pvT~{q@Y|7b_'mg6|.csrT)a\+TE^5+DVX&sJ1jnӽ}{;P = |!s WEyέ0cg8(N*r48ϨQD^BuZt :%`?N@F3Zލ! )F۞N"g̾W b HdQPDe|ŘOBL"~T)]U'ԋ|6 fU-569^qp7jga "Ay=N!} .<&UL.xY3_!HE [(m*,3 p9k"?9QwV5& 6%psrRowckvk=pON}5]JrQ`Q2_}㰯v;HgTv31Z&|uy|"2UR}f*ӝ \ S5'ԩHa %];ut~Q {hvTyі1*+em&?t}A,T{2L *9'e)]B@*m_>LYิ+fi+,¥`"b Y a~xCnYd 㦛#4},?3toUvJ(Zz ?bb"vJlO;Ks`OfvǃPmJ0j⯐'%M  {G/atZv^ s/mÅ8+YKz0 ŧXxk78E9& n1d8[6 9ޘNuуB%-qg艝],h["g4xCm?%Y [ήiȩ{A9QDFs0]!+lDqĵ-ʝ~'qQR\v!rJ|rCWr}քSAK3㪎9*a;KX>Iv=2rN"QpW|:4'&qY!K]OH;7t%ΤW&77x _ 8 TE4_XEҗai1%KÁU #i I~5}s<rLT #ܤNuPo( pZO$ b3}?5ghs{®Y 's~ȵX?xa@׎h,y \/y݈QbX$8$R~lFhʃ9x hZfp[w"խ ]ultjG ͣ+&Ύ3YgO`Vg PŲWK W⃶b*$몹O糮(,l݊U]E5g8_/wm'@OsxA(kV8*?$e>˗( M!c?VyzXgK6Ha'"OSmuHs{$l$b.nHݺ^&Hwzly) ϶#5P2 wS[L^s1\t:1 WlxB(7K2E .!wk1n2r}sO8yF*V&ރi4x&G|o+D"0V JuJdN7#LF?|o!ϥͬ.P(7p6\N.k3pTDRpsoގyg;8D-Fej鱳R:W9빈p,7@m&nUB`Y%!+F贠iQa_p=oTPn|d|Qs%>C 7@*|h4]$nzٹs\}[`=/?.n} 4x>H^@W0o /!|gzmR줷9}6bVi|>&lkg BaTg2_M9 X8&iQvӃZ~Nѵ_>%B|Cj'26p.;sn6E:um38*ʒ]#Z;j{g͜h:ۉ1!STi?'᫨N*\lTb Am#LP,M4E!(dN1=D^Mc"+3p-ϴ;Cۃ>yf"R&\qr4BaУI-X=hrIš!Ox_){ϼ^O٦RSϼ'_䏃!f\1Km7*/?ī R^ y%P竻o̓O:qdW4IV9*b*4f'ggth(ZR` lårXP)SlnI{,)beu jb tT DjjAo7  =%#CvӖ oB֌v3HD},]TNByoW(oxl<ΎҲqX7SlihpyFG3Rq.z՞C*lXTQذq)%GXw\/O}tL&Daf 芆ӻcP2:d/?@())FnmuI!:aHZY-0?d3xq㏺]ޒ UsV5Dy~'mq\ZY~nPݑ9y!ĞC)Ѯ]`<J0t;69jd I%FsZ;!r(bsBZ~H <0@@=?|Ğ-`oza?]|{dN¢S;LTF㙜iyŃ9.7qaVB}@QwyC힏UA9'M3A~KnRi"OtSޔB]5*M)^b^_si^h|2}6]Vr)Z[o >gȷx)JPTSV;I$ s-*c*Jo4퍾}:*{.瓑rP YAM}]o0K(C(RiNΤ_mC> FXAXH+B$}fcgtU8*>Ԋ\?i qWɬнaXBwZ㊃F vYrN*tvx" ZX!4fmf~D#23zV"`y<oPűV2a.=E]ࡤ/ TOGJT` * | W)Ra?*ʸ 9YG0Vcvv/\oJL9 *]Ǣ{?3x \ sɜ#%rtΩ3f~5~|a%lݾ)~3O|POsi ,H1=ad\ 22E&ǽa`c ~h9}0EXP)e.,v`iv| шCZQ惋 G t[VL i/y ,$[deM̟'Vn  fHtLټүM[96- =gǖrTd 64?Îo FP|$Sƿ{!qD[kѡ28À: oB\ M!4y5i'ͬP%4`g6# U`|%< z*HœW~GL~t25 X+PAx2|6I@N+"j 1:I4^<)nɀ/.I{;xYHvמ5M!1 &]f5p+H5}mg$K latoEUm,T^ QvVݠdMp;]Af:'15@>Uѵvuf:p( HO#QNjBqDlHj_*Ͳ\MV:m7;cYƛKP: H+pk KO*PȜxC"ن"0SGe\A`Ϳ{\KoLsYܪ 9 r s*P3KN0\BZHۛBrMWr )Ak1A "#ˠT'Ě[CZ}cebv*Z)E++1Kd$j|0iDgja^hJphrH)A4)(#}6ҡZap)F]S6ڒ-#/[aXJ e0͇勲-7o0GAt7`4@VJ2u7c"'ҫO92f䶀H\ 0E~{mN}β䜫 $Q\N$ݘw砘ʍõu "nzBS2iM`!* "^,UZRD}0Mx\B~ޮ)eNllP^f)_ADwY[•r釳߁8,JY$J.{㫢mS5-d##GADKDCz.z Xj$ %A'e#H)\Qotl[?sfao21jr9T_䭽ox$_;XS{|:{Y"p~5 $Xsz-&$*){TwK6CFK˖'ZuZ'0 +dbnS]>Y'+OQU^Z -PC{tj-tX q DNJ*d 9H瘹4hqb+"+e=ɍt.[Ӗ~BET`U5a_ / *,kנ膀. Tܹ;;}Ifc튄dXp/R{@)A6$e.9X] < 6J06qs}P`N @2 `ϧ-Brg֜7"T6JPE|uN+Ġ GT)Tc// rClG/0i&jS|SJGR5 Jݚ6, I,Nr؜ wC$ `_oP6C)U-% 8-~.MKkp#?4d>'?`,ͽI ^\A\G&Dn\WP E>q/Z^n(@zO->;"mȈ^7=n`"`uRYOs ]0r;9ŀLI/+pS'GhxUn<8oi[Oߘw[dk]ЃCIp1~4W%AtÅ8SDazGusnb>ŋ\w\Wyu|M=>Lzf DٞpJ<<&bYSG#Mw-2}&{H%G)956-CaJPvƿ(=bsh]HH* ߋK [q&F.\TMgcU(0sW+́H]dړS EeM\d.塴@CŕQX~3^݁3 X*Mľg '֮-IX,G4:e;bcxD0 q<|y3QͧЇ,A_~2UOٲ#ZnWUYaoP R/H t7SlQth~|RtW.+MXPp0!q0PgKL ۟rJ# }z~wWCR*@ xc'4sY5 Rq«~oIP?L(R3[Cq /" edpw3-vOUv:㓴j&!pDth-f#]iLJ튿U7_ yp$7q,۸BWZgO}*Mo"vZ%Ϝ0Jl"Dq]FB-{B%J5qRPH ~IJڥFαHZ}>s~:n5nOQ-D0 N)7ywfY_^t zu'֧rqqr>q+f^:/݅qXult5eA vE׷y{zQS8fX`қQŋPbr4maM `PI4K,<ʮdV^XI=JQHc|`.r"O؉ 9`\~2T*/ |oDowVs9v{W/R3K6nyE3Cb6IȢ~XE̬\pGթЅդšjUyS{m*['"&omCc9z>9pB6詽0ȭ }OyXuc)[yf3y1Ou6\IhT 6J=8dRr-JŶR<p3}}-| 58#_#i7;@!"]l@*s徔]GGE$[8h>У:3/@aDOOMr=j`` ;BB|tYzcYN_ܰG:/mfK'Aa;1G>t 3mŦ/) ]8"v֨\VXS{9 o͘ KPo,9|kEi>"EYdF>kŀ>LpYshuj6C`d4T}K8pp[ZjKQ\,̬O s^`/!`Lgom#0]Dy7G9xP1? ۗI{V'9* d%thtfJs݁+O>Bv꫷E\);^R0DDC fpX0|Cg.-X7!RQ9U@eLٳ:ޞm/y7Kv;/D#4 \AyFl ns)z먊{^" <<5ncO* |gM=q<<:FE8Qh=LƺD*o'Z[=M2YÙ՚8r=Mh2k}願ْ @_kHHxE[FYI!IbA׋T.Ga}(tZ6Qm)ѥ2 &mN?kϦ;+5C:=BJ2&*v_)xπ>U[k< 8.z8أRQLB0_ҌfD ܔɍĶ>00:i}Eb׆b.ҿ^p^fHࡻ^\C>{64~I:D [}Ʈ9"V^lizGLX2flt i˱ a({WE4\)Bac4i ;gTۉbo-Wz("e.dZXׅ͌Z"*A!L$>Eڏ`PxfpbPiKU3T"~o QY^|]ᛒp_m~3? \uv dge"^}@BS>/Xԕ&$3\L>3 s[8we 0dOٶuCT^?ug <'c8vu7S(B>nuS݌]l):cf, 8*۷{s%?Ձaل6N[=PТ.(n{3_%qjL$G-~,ڸ0?f~ 9O £g l]-צc0X闭M ~ 3vICF.lI:$2t>Ϊb>虀{NVx"Q1c:z1J)2:dlm7AxiU׾'3C)A5>L> ɦTnQm#oρ(r`%m7P#~iZ;CcTlc˙2bi1D.2挩@v}eBt FFC0Y%[a֚˪ͭ&j{iFP]WܷWh'1h{c':(x=c~_eьvCȌtM[UsPz>kbHAJq{rhf:&YTڅnCr12ap]0qwE z6He?b݂e]HcӔj.:UQ1T5 yemm vE5TB,W1͂2 &B(ܴN^oGG,(m^GǷf$7{yxh`'hfu> *ȫa3qȶB\| WQ!ycѡaЃ*^ .*{X[l6lSB}wWo~%gT- XZ2=63Em:qO5$/Ƙta^o҅z3~Cj~-HE=XOɉqz` H]aCZR[g)S?Ȥ$+lv5O@k7:uLTvC&ׁviMcVo ; 6 㖞?YUS3\4m;M XꍾL|| |xnKcSRok9-Q@D yv ""dwdRX>)^pdLQRRK↪U;E{X;kM/Rt=iQܜ WibIؘ6ٮ#REMj^2@iSIbZpehU`~''ٕ%"ѶYM!C1@(ؤj UNN^;}FrȀnC_)4Ya^y6#8J(.R%֙Eв=tƈ8Œ!JE`I"让Yg|3hTgJ8Dҭ!g 'kCwXN[s p3*ز+O-Y~5x"LbH>'WDR0(R0{p׈e Jȇ;k)m?$I6I".w*&(^ځ!73wiTiyJߐ5u4}>$1ͽ#}b6LGXqOQ%^eb.6cRnו+:4H%RZ8೴@hb n3'@rtj-?|-CFsd(4NRͭW&E!b$$Lg}ݾk#On ^.:M2_E7Zmdx"Kr/W MRZ~ \+g89C/f7 2; ʇ3,B۸/YskDT@R2E#M58~fX:/'I>4HSj@y3S"Y.vuy\EL׽$tJ9>ۂ]i袊` P18=ssB/6.@BO!$HS؅_P{[l0CjK "TB \%G7j i; l0!Y֡&sl"$٨PwvpTOhaN10ҽ[󭕤 d)[a]te = U1ISg⾫mk^b!‡:L᭾u@Rgқ5r ge& r6:TvRao7 L]i+1OhC.v{G a|2VZ}!zXww)3+8n$͗$| r7kdYlګ)98;ƥq=4(=EwFM\`!KdGe8 h4+l\ݲXwINLfFCvF\ƾ4W?kWycB|n3g9%9͓ը"&Gu~8@Y:@5Tmz-GP Gd%ĀsĢ;T۪4bk?f$?^_垧H#VSxL'i%y8p֢.bFc ItjL8H\(” 07-> !l-g3~8R *ِH>A@-iWF,#VVPKef,@%NMhJQ"K-.Q{fAމ@!Tԭ$1X=+HɿDGmPd˻!"qJ7bc+V`a[>;DuTDO$hh}?Bla)c4Ӧnp*Lۨ(RTˊJjs^Aw.,x"bFIҼgҌc"i[d Ho`1z]a~< m4Q8 ޱ0>S3(GRIJgT.) Ģy]'OS>r<)]\'_ҧBT2"#a t) l$zQ[ά~BiPlMݓ \=U1w ={"O+N6+V,S]oI9@lR[H+2EdŐŵ>,j} : b> y L_}NloIgt>[޻ id#У#R[~c3R(b[3Ų=.pX …*Pli%YPSU96ϯB^wMbPٵT?`M}q =S0[٘QqzGe6޽%c 9SEb)iOQqi#p {+Q pVs5lH@Ͻ(dy{oRH}|똽t d=w]n\u2[L7,mq)bGtw-GڗD{/ PtW?(D A4W*w%*7#'ЄKKׯO`O*2aԑ,IQj SWɈMH&(c%̙PBhf[χ61BM UsO:.$֌!.$z iޒ׊#gˠ}h-dDoʆZ4fJDM CU06Vd 5NȍA Uڍ"^`~t[D,G:+Q7g|#P^ja'U81F=j-?>Z"G Z/K|v"x3e6.b(yIx(M0^s)7ɺQŚL|C@y[eM@iQ}dE֔QyPSU*AE Xʦs(O_0`4Zgl6ʰ5ظ sqKzBmwÙ|,YHT߁ù+Sڗ:+؛-@~5珐%k ¤,õqњVG5MS˿5( u@ZFqb)[Bޮv\LƳd 5?S  Ç'Uba# -X ꒊֈ*>U@{:U Ի(v *c|I3SF'՝LS$qT^'5dz Fw;Uj<$أTcVzpc:@z-ʺ@8|Wp =TN?ךKo iޔ&&x~8~9( .7Xrkt' <|аQQASk P g ̄܄L#t}kr<_ M䤗</&i>? sJޕ?"L7b/@o_7͢h,NiE8qFʹjsi~ ~篇zֆNZ:kotULID l-y8H^Dž/hTF$=_~ssUO Lwxe `jB;¹oyRQ'NVq:qߜ=ثպ {CFG۫nl^zlqkw7. qka'CSˏXjY2Yfw[xH>FVw 8 )~oMpCQ*H>3}%I-9k2vWAJU -?o./'IwyՋ `h4&MݱAqM+L.;G@YAI`Dk}Է`LA+@FYp G掩!Ҹ7֖`7S gb_z T2P: /;**j&= ɘp}⛷p~hBvK* 3; Lb:z|밦̆`+]•s)~K. l+I}b`R:.H S"2Y-C49 #IM9|18.Qt:-a/xҐ_ם{[Gm̺=XzyH߭1e@p`e=:HԆ~w1,;Ն>d\pu(ruD"&:ql%n$@Pl㚉iӟ=jg')^1ml;6?+8/}yId1+k^]16muԘhɷ 0b*m08lG(Mv+\o Ycp9T1okesyus`{%Ǭe:h&=VH=@ 'F9QfrXn?W] MfMMd"ú+yU%5}]`^4ҧpu e՚!G$!BU {sXb|hMs(Xu\83WWg:nY,-7At*H¾FdxfKNtB`붨,"=|? R xl8i/zjuI\\ƝyDH:+X-^o.j  ~&`_=#;|p,,w{nm=QB=OSIZƅ iqj*)J6C3(AW=8\.ES [o "~f]A(lx-%LLomؾ.$ Kr4kzR-O`SK&f  <JEcN{' cNdF|VY$h,] (vYIcheijΒMo% N$;3;)Ly& SC I1nekp뮰mţlv*tI CGwN'3d+Y֍WU +^nPpV(c>raP3#7J$!%b}e¡sXg'vG#9y1JmQavSi|, *>gB6U yGj'k/Q A/"ߧ؞p:1˥[R{vu83}j8'7ԲܑUp0mER8,|O?35K0Ak)**AGA zH;l7L7鼍7ֿYkVC*Cs'dM 75d^j!*& 1S^E,_NSHv|mI>6yF}4#VMiu;-?9˜!Ip@\ `ev1LZ_`}-r{o1(XK5qDIdemv,琐36D~wuT4 lZxڀ/B#y͔O}d5k`Ү<9@Cl3gw #fK:j2llI,zA32+ i~UDӧ2ކ83Wa7&6_TvM_&);pS[lN mSkaGۮNT'U5b=C-3nERPϛd{,'xsDN^5Y*uYF!O9(w @A:4CUK@Qᇞҽ,oZZF0Fa沫yce~- iW63}$BXWV\ֻ?;( Mrء4,:?|Ivb"]M_E^+k b.DX*S+/JJX-mW\_{Sk{梌duaP<<MD"8`xJueoN˳s>si*A3Uj(Q=m yF}sw !M j lbg 2 ǿETUx$إY`,7Yv@ Ičb_+{9E1)%ǣQN iM >H6V'+>d=J4Qr[K YA0[0_2P6zyd̛s gO2ǜ`O±tG`IOQKyZMT@4~ u4?bKs<ܧV!^QTܒآ6Z\G2޸"7MXa(1c0->m8!wӡ"~Qdc- y`pH'v @Y_ d3a CˏiB/b~8F#fZOIv]Xm2 /%w:[U:n" }OyG 4dl@Jr=`!p 3ՒS -f1 ߵQ \"cVP%&bbc:>a i9yD/]F)^4:x3Qn@5~0lh["*pDFA|Ӭud6LUS~,fTsŁkKIs QԿS8hAE!5"@nbs@~fy5H;5w&S.0# [rx: דDmush%v7"5 L x7]LNsJ>`:53mZyKg",y[)/卷έD#fmGiPD7p%Tv,͛uooqԊow@Zp%޾e;s)sϠ5y~'ccFxk,lի@wg6;F 4&2sy[%$&g">t}!TǀXFG1e}aD'{2OۖUܾiqz<˳^7ٶ\|)٤c 7;|JMn? v*Fjw؄Ю)^I'E](lis=M "Pypt\p\KZxEJ | k`tKc;%\E@/1% =]DiQLrͩaJdPݮ 43%%Bտ%Gf̃")Z Yu$j,+> S@bV+p\AiJmDtx"GP9\-=K^^{<& eY"(4EerrTI uuc3"" ku1;+=#Gm@*'raw|A o7J@bz1&]z:v' _M`YL>>u߭Uӿh(4o!^ϸ) gYZ7zXZִF! 佡/w]ŗXi% ~u֘%9kHXH,K<3|Aw$_ԑxTGlqn_%<[AAW?8YMl,7u渡cˍ6G:  8t=.)CM !}ib2O^lIgCy{kPEAN7R12J}0+?e5[mgrlUI]LгE-b3[gRjRy.2Pdi(6vC'gy^C_B݅ ~Qw%W0sNal㊨ O=I*+'t=~ˬ-Y5g$ɵ@Ƌg#$#mpY9-W[e WE5@'Ix'RQJ79.κK!K=oWu~HPN<.?0kޜ5" PzJPNۉ֖E z\^΍OSXϖdb큝eۘ+rB"RrVaCC4%tX*1d*C4RÊĶe0cIqT+ot]p{1,K/h/@gIe-UswPKgpǾy p n:T}mf{5tZ_--:R1@$!Y2#OR };KO{X9]5j?oНWIAVyqK]9~ D0mSmLqӍZZ!7nꐘF0g6_"l XY{L8bZq맿=zXOF ..hf:84Ч&jI@'iY$X+@nam Ľy'x58 Z`m:rhz`_c=hf.A"CY)6WM.{|%#-t>p+OawnUCD޹{(T`bQç %`Q$\΅.ur]?{1)t2UlX3܄I^DuhG O:񥙣זF j[Rcv$uU(N˞!\,Zg:3ʿ_`헁!>IQ]>lQ 9}*R/މ]ON'! b"͋&O B:@6m>X2U;&JAʩ`ڀ`GױZY35V3pͬk?-Bsu6 Qp&#UQEW{&g!F:vN|;B v{C_s1S {mEYڌ(4_eЏ]Jݡv ʯ"*uMPڻ U+)qZ*W;c}]k Dv.pe@%C݀6UCE w8ԮzGJ۬^7N Kjqk¸04˵ `hb ,NBcHB5_<)s9m@08ec gc5-Xz VJ%s:S]}Uj"v"LAs-XT'SG*}SOӃ&'tQVHj@u~V/\7hڭpKC/ rh{7;9bK_ I.t*5E`ArV]8U|=$ݲ˱ +f=Z#*eY8&#T&ЭI?pE=a@~Ӽ~ ~/ CeBO޲;JS 4Z2}9K_@Qm"M/PZ܎l ?UiGWCؗNe׀W ƺ[!x<ly˔аrm//׸ICFF07l~}8vz #(ȯ"Zԫ31>5 9*U: nty-xq5f}4 ۋi c:ZF_ǽHnRV-rFU5<5E8\{,rr5G浠:OD -5 E5QϏpߒ\6Q,x/ɮA/ :RV\L;SZ36xK'#vVOokƤyuM*Z4>baXpAr*U_;ChWSTݞ<t#*8h\'>oT ȌD?.[Kz]bW)BO;3y@TbeJ{As.y+Ee;hDuiD! &6'{f6eSϬH6)cn(ǿC5:8)V9WN/ ?`H!<fN ̎uz6Y rK\5I2Tk^);bϑ8 ׽)qv8yýU!]IM̲5AQG) pIZ*'2cJ[m":wGgy9Op&dl?6Vlq+q $p՛#voBĤhF_\3$!-9Vb a1]F6jBEǯ@j%x׋ћfbu­";г h5+bsQ+3!•_Qbwb$0<~9rlv^1!Bηq)IE qº<; 7#%.$be'i.uоk5Qǡ^q1c\N&+<ǚ BמjdfNsK肫?mי8tSjn+U0{3pClG~#8Kf^bsv:5V1BY%6D4Pi~xuZCMc2=T"4eP˒Kҿ t| #';Nʤx`]'ݑ%Ne<$YOkIq|^O9R#vq ;Jg?9nmk(I]3pXK ^%D;9?o@xZ鮞M<(HYE5Ke1 |YrኴҪ]PfGswр_#^cPss M5T0\ip iU)2XQ^&t4Ņ.(Qc0XD?H2("s9DW_&*@/}j65`k|ev>`o.%B/ӊ+})"(ս.tC~uWwOw;=qTyq OV 9Dļ]K=?!^_"?sd#dA?VN O\S.KOW7-KYi..*2 zC.Mt NmJ?I!`3obu,cg+?L7N:0L?8#dy`O &*ȱlSjWã)tKa&pf|"*Aa.$2 s乣ed+}h7,:rNg[nJ<@R#C٭2q̤5$̚:}EQe aer//BidF1y|o0᪪ԡlC BGh! 㯺C̷氞/`1e % 7v_IA~bwR[Tḙ2_|fC=wɀ_2ѰAE?VYhY XLAM=)H eS;%8w"l2>Gjˡp=nlD%$L~72pLzcry-{<~>؝^#o{/.ի٭E%6ȕ߂rW\H$?~iF5\·(Z8q pOȧw[r!9/,WUkHC4ށY Vv;Moؒ\W>DLql};xv• FELr_1tо:u^-v̬_dxJ4Ua Mj* nhn a5Bl`n-;֙'FQB RELr-?GhsuPhV0=96'-CN!)wM赲Y1*|Suu\)Ռ1b2e!s!X + Ԯ6A2 p;ʼWV2~a[lϚXmtEfhK-íqJ#Y&ڀDgMA{z"MMFE9K䛬v;v<8m%fe|o!-؝#$MQUM%2P˚ 9r߰&p0I !ˉWtUl 0SSh_x!e!5Mb7ŚR,&s۰5(EbD@s0e͜Vr [,$u`VJh;aqj~)MϽBCxO;z-+"j fq4,.CBo47: 8ҟ!YW.kCKАZ2WpyFВoUgWq]K}:CA?t>]HU˧kh%O_P$wa5_c{B[/۩J`99!yW˲}MrKo3\c< V vx)t(]|}5-(a_6&FNz#o5~?(h\v`)H@2 Y+%8 fw:+`ϔ!1qUP4#|'C]l=EUf,l,d|(|,uHp!el̬֫8k¾a0^c|P4?;<0i;9xE71P AΉHO`ad׭chx|>O}&(*o݈Jp])t  td.l=nJ^ ] >i6'}= /ޯؾ3^UЯX eC |>ñe7eoqGx (s]Z "GЈQGmwBT@}~g  5"!" ˬst{zsn>ʑU1)V[ΆJ5ie٫'[_MPZ4HVx)^.8G 4}Z=iJME+9t#Ah=B1ڱrd0[sqĜ O1p䓇?3+i`e%)i[Z]lcCLnF>aijBdy'!EGː"ӱS!΁L 2',Ho9 DY=!= iГd 5f~Gs67RV⸪{㵻ZH;4 kr"-i5 Fn4c#jV!)D:& >n:_.l%ά}@ QE_Lh%n=M!_(Ck;q>ʼi$A|{,xAx`N6dK۫E46w-- 1"+J4 o95>GsrC K:CGJgKJԽ3{2AsrBe .Rc8QŇ9iT0(G$ݶ^cHՋ[yҚs$W`J M@H6+` @$@}# 70X  Rl"w{'MEd՘6Tj,ʍٽ0@~yyf{]/ Bz.y8T h G0Ȥ[1XՏO.b (#s /d 0O/V!D^cQ. hƕ@SG$d\33sr@ V>dޭx%@)Py:" l28odqKٔ3=0~o^S84v?[l}Ч,U8;xKy.|{2oyn1!98A@O)&gl2jfs͢\ED) PdoS%1kmu pZj\nitŴ[2AqS}۝ZcvoF}=ԊƆNxxN&Ղ]]nˊ#߮WPA,]\>Tr۽xW+uWYOϢm;B1 ߈$ =dD_`6lǍUER}l`}|oB@TNa"DU$ಷ獉d.]؊6BpôY7{4| O@Dž tWݶ,HzwOMk)4˺ejk^!L^ ~8gdl8wr*f C%NՋ(#Y*J16!e[˦o}0, ? 70:5owv}**ifǬA @RȆ+T_ ƋUvǂ>PVL`iRtܢrZꌞ0A xc1qUrv~; YDRv 9QO2l~?ғ*S:w#H\2ف7Y*:g(:!L#^PhXTp/d[BԹpӔKx:_YhTtS]Lf;8`i M{_>ooE"Urܛ'"Đ0]ӵ@p.ϑAn2+/.d4gc&9$Ͳ=İWh\UUmKޘJnS}٥u>nI^.P}Y/ut¤W1j䬩c,QyX맦TW??~:?a9ylq 5얿1]&T3 + ~f]m!UuC-wX.#?s Nc*rgx!5-,-+>wس38X|GVrK);0gEĢ74+{yϥd #CG5nN;|Eei#ss:͊9[=OJ\~߹ K{U9IDTIDu@jzJ}MOLs, )j}Y&OǦ уX{^@r=q]I._n[P]Ӯ%><˞ 5S !ߴJLg0Z٣Sȍ#b}Y5;a>7$S wzaç 0n}\qN+"/<"Qo チ&[|~]d ՗<7z%bFb-gA+D\R<*C-vm 2.? 6*K TV"6ko1 CzI8=h5Վ>fCV2cMgu[:r~F0ߕE3<7ntᤠ,IB3\G]ٴ) rE9WksD8!1B0=c;`)Ab\*/}b#,!ſezڝ_ &ƒΩ-{+.QNhՔ ZIcUr-hF JzC7&xU!W̚3 ~Khi Xȅ\ Rz1B>kP nL{Cy !6+"znhǪb0gSȗKj&p̋2֎hP['ܺF. gW¾SIjWTvRc{D6GshxAsobb%wX5Вp Hr9C i璾cیN!t_خURN&5!P~$7kHU+؋ctv!I]zMwUuZ/x>- : J(ɨZrOy¥n֛g|pǰ~OLk[ Սo>œN zVZl%^&Մ+h-+u0L۪ $}2<*DbdBj2*ef Īy_<3wx-zӉ1w`j+}6+]`a6[b`=v&"6HLvi~X(5x:Ac'&.sٶ- &CY0ڈctkEBY祲N%\뽹|NA\p`S)͇aedR!hɿ3製^ ǟ6F3 Zad[OE<WzLu]yd.ԛ}=<t!>$N=4f2̯2X-4૦9y[@68Gݭ0ݿyq2f=Y~OK]cFR0fKpFUspo?\`e8":M&_ 99,y$ 8K 1tuz 69S'Ģ}#}02(_Bv>uOK?`c8ڐ