SQLite format 3@  .  YYQ77Atableisabelle_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, "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 kkm1< eI]Jordan_Normal_Form:threads=2elapsed=340.583cpu=575.704gc=14.740factor=1.697zXZִF! HD]ŗXf1-/6vRZ݂Kjc wCGtnH]\wB$$+UqНs#V'W@OcHލ~8%9޾= ܛЙ\^"7N}qcbSu)~\J`x&@[}l=f%<'VQʁPZON0E-0YxW9[Y?9n[@h*ܰ6SAWK~ܜNVc]֜HWJ; t6sEt(pT6㘞xt!WKLFgn?RCh*i0pORvyUV[|gpv( BbJtH{:"ed Z֐E65U%7epuFk@һK41YN0]v B3 WXp+ofdl*~,"HwrT_ڕ3!IEoT /j(ANKxݍQV7X(]Eݜ63A?"h?PWeрӶ wz~Ȅ@. B̈́WWGIiy Ogr+Cm.og:5-o DLщ Ap:{D5pA~AQ>^L] ّ\'7v@a)&l NHxB|#|7IUvg^x( m77iɻ'%-&c4xWX5q/h٪q5[9Q(vKe ZWH`j:C,]+`Q'Y l y]&t,v1Ր|,՛]znU1D43B3܇qdnYX=(oX.MHF( DX ",~ŏLBbJ ! ذ\t9Y)I5m~ҺG7(ÇpΈ{5=F y;ĞtAT't=SBEZ+⢖rů0pJ]£YOt8MS"zD;X%d[ѯ;4Lq"ZH .IWLuyNͽ8n5\M65:r ky\}+L;Ӛt&q۬ߓΥekt3)o@7JYR?̕(GC  xU]0oB1=PƄGMYN2]М};ojGI.r}f*c4b_/*f"QbZِՉ=tsoKGUE_]MHϿ]+W~gkRl$0EDс+s) ~n~y~vAݦ#[ ly.YŁzk!S ب;!OǞVb\ć /&Ј,6i*Չq0 SM8&#R P w9(O*OU1Rg^vlX\q+Xr6gw/eݿȍB~ $r`p;fUk=eaN6˖eҢ!H`2$G4woQd Ligy@iu9('~k|M>VH-S"h(4y$ODZ;e-k}H$/ۡyCzovU@kpyy/CL&T@1APV¼y[d`?9_ǀ2[ilf Z ,ASX\uhHzW9]C8ۚ1eC̾Ә>N` !p&_z~5N!LcRJ(4vo0Iȫ phaN{5&*gy f^8 {rM;:E"ga8JLwf&-]f]Sx3=i5 Ӣ.=n\-ԗ[@-#mLlln|a dkoO"MElOmo<ѫ <`$(.8}U4 ZSp^'7jRǎsIP걹 g'cv} ~o/_19əys:FNb+ Z-3?C\ZXY&EIB7gq 5qAt뀑l//wwn{O[ϝ Z!{wl8i |TTzC?e5FKy3d'">8qjˎ}brq򕅩I0)V}+uIS5+lQ )l;O24ctTDYu2!3םNX֊ \.%Lͳ]`VyO+A2zP{婬^7h a<)*4i<5y ,kWC\XBCDF wwЭNVP6mɖ?ʫٓԾx( &0bD_uu)[p@)xT|9 B31H9 ػ54嗢Q'A|?c@G 7Q"AXVv73iV2U |p$Sh@̷ 1Y/L4E9@ΆI_QfNnVQ<;/Xcjk*o2M7\ 9q|-MZ5H)dL 4oˬmG 0*-<慧;x4\ T&$DP^BQK="rK8X GT"T/?E , ' :facL PwѪ)͖jP$)+]1V#:Laa*Ao3z&lfbPj)z:. OZ7І=ţu&S"W{|R [c_3n27iS|L?C8LT9PJ}ͲZrʀʼ2khкab) ֩uMtP-dsHdc\x*ѫUqtjۨ#Y}WY"y3=tW\2{}GOD+56g<<9;bް}o̠4A±%lb2Sk啖{t_KD`D"zDŀi޼ӶRLUeh~\8#ϡ.^X$`{`=(/ ,NWÓ榀XB$&$yF&T%Y"&1<ߋy7UY,36r,R Ո*Si6J BbVzH2¡HT&Y| p((&P`eP/I Er=[HFosΡE?0]}ZS]jNxG@W++%)@{"EhOFGD@ԞsTƬG\VϾV6"ra6oxe3 ?u*'*u+:/]Q򡇗z7Kh0CRr bP:bc #ڨ7N]LRXJ@PYv4& 3z+$I4x FhTOPٳW{kC7so͑cN0-0}51[L 'm KS%$aJ@W@i$ ~΅eVl:~V-o9Ɩt l]6gw5N AŔ[/%VC?B>v)a(P~v}ר"!8L'B*޵@y7QjIK|͚gϽ7~I^pYeUA.ڒJc@ 8pOFW'8Y/1>NPC4p7 ?($}>LEl`N|šN-}yYJ -i3)-LKݮO1NJY%X@tL*J8Зk\7u3 E%f_rUFDYylai-p:>v/9Ȝ׎l;^_洕=z:;{'s='EΆWj]Ǻ&$ExP -'vÀ4RXwY E3,I=Gm*8Zlh3+xhR@RݙBrZkSI G7 a&OT-W@mhYo"VBVvNb?1LYiw9_MsES;sjf[vCM͗hsxci1OxYM>brlu 9 0Iۢ|TjO ˺ׂ}A/&9?C\+i }}rV'zV$7b L4фGxtɊpxLD84d7Vx!ͼHLt.;m~Bv&rhB)EWqpozlV9k˧ YmX{6c+-NҋAHg:ۀ+lwsneCŔІUn[1RNTkA9D푶!m&p{J2šx.ggr*<@ewɱY*1h$ _@k0`Fs)k\]Du;wӈ0;W/*WH =p.aV;+6Ҫ;V vTgU%c M_A 5 ~k7։_kECib$.n{{_rd/L;?"?8}AGA{;2w = wm1c$lS=7#HcwBpR?MeovY/?!Ytkhm'+-= l0vm5fE{Aψ^6Ȼ? 5\+Q;Ə)R1s&8LK+Pޟ}ܗ/WԓϽl~ctTօ.i9/K65ԸlB]7Ь8:RHV)=YDkOU9a2pXg:$Ȃ#Gjºyٙ%K. *IK4L)ڷ]T$G,ElG\ Mf͖P ƒL:YÌY*3-Њ=B?`|f(=8aYhb QaZ2F 5#CXZi,h& {c5o*pC]^9>3)ܞ= '[P_ʸ|maf/k[+HGJ!قD֗} TiV(A]gӴ}%)KI g(tj1 b%[Awx7HYF XЄyޅ1/0MRN9t7tz?oa%C:q(~[.n!.+j:KY9>|k.t܆W 5vJ-+nH?V7N)r6ay& #lSl!g&M8= 8yG܄)([<{2qd7ĠѸ%h#T٪-SoFRw\3 8F=#lT4pqVkzyYai2ߖah*!&Y,l )M,h>)iTـ~aiRyR$&lNJ4ַ4PW;IisR*؃t87t@.0f.R=Oo$jx)ݠ?- z_ύaoqGwD^g~0 R]Z?To5SɆI{uhAC g1~EN?++ï~7V_>&:%ڃ`[5'u s$_JIkF)k0ˑn9:O\˶U/hL1JD`fs >];6iv(M5YÀ  ЙA"o].r"9ц[L!5JmVSOsn֊ϝW+$ Ӓi5!zMjFyA |]NE" lATP ie[Umh&whkؕ*fΨu<9dT]Jl"qeI^Ba c Q@K4'a7{]k9^lUVp2H w[K0kfʍ(=)5[@kqUDinBiJF_{tv_f2Ѐ5OTK}&Vk6x Ǻ0 wթ^ȅ,#W5dy ]fHJn~s?"2AѩD&|G._YM`;{ԛ2R:$DRZw1 )fnF<\^a@ki!ny>8`h +:WɟZʦP}xPڡA2(N~*P@\D}YFpUtOyb'/jk7hvګM7v?HHFH!ь]L/fU_5i y<сq̹{zy#eͺbtqr=jY3kcP߱1Mhe0?,Iؑ)!h92V9RH{nN.=Xnaӝɐ3G笊?T{Y]%cPgV!̶?xDG8AJXJ6$G=]ʁy0vzkፕ6 YbiKL#̇sVbVQ}%2͸̽~J]_BY0u0p1:5h5Wnz3!xȌ3δDcAc4.Kf9Uz݂ iIAMk R;yV0 ޣj](2&ɶ_@4)Qp&*~ "J88\"h@J Q ߴAoy**1u$ܜlRqjDbS>.ۜ䖈 2 ˂)Iq$ I/V`ko!} 8HnuVt1+.ڮj_wPbܻl6iX-&enɺH Y m 0ň1o}p1Atn ͝]BYsg\pv=nnBe=ʧY7x=Ljm&SFyȹO68Zqy6ŸpBd 馑h3Ǔ6[y8J'1ۗ7lR.Ct) gO 6s2c>Y3n,IYRC_.4ւRf\e`sRZ B}`Yubb(4B7ȖrF}=뽞@67˺QTg}ǒ+$5 rNe#ʫƇІ=*_uק#`GA,@yeF 3ό$" -4b]ɛ+C/}C'.O8i rH Q0 ͗aяd#|Vׇf^ebh^hD[)'+VwgQʹEq|G^qUUHz `OLOQXk9ɩ~@ͳNц8XZ\zCrKWP72vỷp_:<>ŋwFKS4VFD%~IK uy\5re Mc߃`O{vSlX.H<DqeƯΝɢ>xq>ץN22u&f8X=iD(2{),}Wor~JvR$\3rD'>>62-q$T ]:I}qwm&X" "U2+|x,};<?_wuf,#4tIwIE)WFw&xd2Нmbwy2fctvEs;aG3@woS0pmp"z襲.缴SOE4 ARwJ HNYd.Rt4:OFdrN~@ʘt(&gg#[XGvcE\vCӤ~HWx~M-AXêX*l6(Шա+2])qeLXN͢#HLt5P7Xu@$JHsFܸtjy4t'qL u';PJ)ɫQACj)9BB!*^D}Jn9k%7= PO 6 Ż V6QX?BQC$k5٬VzVrRaɜY~|;p@cv]?:f4~G.|+ ÒsyzUf%VZg]zla\gOAI.θ{THfHKv1I},xKK>xNzx \H\cp~|UC5"էl|A}g$ v{ ݨ:U/&eLCA,[dmyWC,oGW- ɘE?[A4A>#2ڶpa6%5kCa'4͡gkG %y6_89U)@Vl譑J9=ơ;0HjP8XՑH&4? jR"9k'xmz/%lOIh@n啛l'm굸^4-~%=ڛ.ñlDKHz/,}9o4LٸN7%)H" a~xYvvr8sl0`TJ l+[Jlaw;t=H!/O JЂ>3RMɹ]racGT_*NAEGeeSEA^~XZ&[6/rh *0Zi(T{3'c\&GKh|1S3U/f: L&B ҤWBs9؅o EAk=p{_" a_,0axh~fVi+!װ3ݴPe lc }Qe 6GYߌ2s5z|,ML. %6YMoRZ LrƤ>P_BFvjHffpM/ {,8<f۶#ZY ؄W>:s {PIOȨ&P6HDgyH8TJrMl]pKg>uLª {I V8nQ;ɍOqf:&'r z:J`L8`gf"kحbĮo=b-0 )uӄ%adt7*N,3M/U#p48+iFe/CC YyD{X4Njp 0<7Z 3~g^HSl n'7Փio*!y*}_S‡V7/ `<6$w |m6T*su+h8N;Hd;vq`\1j2n}PP&nn Egw1DCitה}!tҋyZCzlA+PM=LtquUOLw=^kN" 6σQϺpc5y0VL pӀ<3S$à \~z+n^6Z%%rJMk:1EH%i58X,'ҵBVtLv@kl^ϕPuTukB'W^,L6Jץ%}mªF]2_Մ`07Q_YZGm5;"4-{wI_8ȍtÆ_HLo 2l͑Pi1[+.?TwIL5}sbp@T.xR]?Y[ a@Vo dw8E@@>N&$}Gȵ T2o7{m#LEC0LǮNZrCKWJWy&8q/MTmI׆p?@ rFlsXџFåtDBÚ[jďs\ *.4#aQA9?6 |4QTXG cLɨG1Bߓ+< Sq86GgnUҁ=}솞͙Qr-񔳗uT e%ɻMMeޒQ;'Vd?O}^1#aUnq`2כ78[F;`zxq" J~EK෧XLGBF<3kþaISD+/x|qO$F%ӏ27! gڳ vO%AI*k5 *rP"m[&,&q?c9| ő ߵ#NqLH˻ 2Y+WM4J0_ɰ6Ӻ/L^6s1?uZz?MsuK~YaGؘО_I{Fr@0UC2f{QUqxGhEџR^8U3ZJي5#b5Wga97}V\Y ][=L8BdU7Lxnp+|XyKnl^L3o2J{~ܾڦK,X &3́yzT[fY2vP"UzOUΰd|sdՈ>=Q) ܫ?sv yU:gR#$ܗLBh(w2 w[R 'HBG[]hr5 2K[Т&9Ʉ2y/ջ rqh!`QQjV>3 \It(b$z.I^*R f:(0hf*tIP~-aIۉ ^dL;]iQ*=sagKeWQi3%1H&v&hIɋ䫱>~]][Ą&u|KiL^wީ)NWA+.aSM\B=/ar{k^xaV4wM ;037?$|A߆a,9tı"Ƕ줙mT"$C.'UR0Knx A5bĹ,´jʝW׆Ϟu3t/*ͬzd#c4Oo"E tP앆^oS \"KYVΖ6%Xe'ݾ's& {V#LvqP!2XlJ{M63:Yz&ynB0,sRP]f{>O &jKD7k]5+,&{a<\J# 6|/OG6Mm'y>@(cHmH='zʚSR.]i,ςRX0Բog/x'@ NQhX/iysk?NiH y5|;bȰFsx8"%#V!j%ʇW) KFny@n8U!, P Z:i>ROrܕߗ`1xP.W^.ӕ[@ mS`r݅8m,pV)1“$д`{@rvouB,oBX@c}tlR(kȇB~9 F#Vt~N+i6k~lz]؏T\8;NgO8B[u-#\HB 2qYh #9>? GeKy6Nb4?t/9ҳN[+~{_Ex GcBopy\?!zi# V#U[,ʄ9"ub tK .EeM%".FeIuu\&wubua҉XCJxd C"e~O3D'{-[P"yt;{phloǦ'/.}#<ͬ問:w\‰D+e0n.`;f­=2W7Trif$9~BGYhhUn&[#:T7˚w~:&38IWz QpK erU#z҃‘&|_jXNr+V&*bv3(X?S (}/^CA%w&Oo٤8^v!狨D+~~ȡuP]8b\)m^>U7 T`/vw1 wamL~W>P>Jn5M;9pskoTs%euɊ6U'\?nĭ /֩== Ig8{*f*̳d@CzR+]|'bB.>LPZQ0 t'g7se}JH5BQU2(&%r#$$A|Eli!JyqH}NwtS/Mwvp^|#Q5PJJZ۝@ 5$~5cK4ӟsU6e\0qRb;& aj/{ϓ-<_w\=kRQTYR邰CaTnk霠kjSD968EA̡l)t~dyMku^mё+WsNIh̦Shs'z}#2\1f9(3Ib͕(BmԨYyM6\ObAibt>%v5~<Ł}ܫ8X߭$ٵRpk`k/wn=V̘Z UT*m82y.6gk5@9\@ݖyRy*.5 r]S~5o+.٣FnM_XbLc8ehgYZ7zXZִF! XAz]ŗXi%gYOsb/su ҄d>WfUpA'%=Fy_sӧĐjheja)9[qm08=udbuh,ݗat݀ PnbuReFDë< {Uڛ_N1SWP#)gGPRD )pY;-y瑼ag-mmVfO`gßr4+irBlw&|<]i''jg\ V& IqZYxzZA=)Rӄs<  b0l(6:sHɺ|#f-PmCZΡ-5O{IO¾)IiO}ԏ䴔:Mi{VŬ Do3x-X7 *pɋrW%'b|[hxE|BG&ǴY|2v/u+/?>ϳG/DnPDԀYYES|rHؿ$u13(%D:s&0;(PB>1 \8iw/߲?G^%s#b 'W<+{-R,f/Kx"4-cꈹ;8hvP fdpjJh,ߩoDٰݙa>S C9OϢGBͱ?#o r.7WlHLW0E~F\ Y2&uU,<4ɇξ `8#m ^zsc#^`KN(~}-;έ󇃶k]L Gs'U8y!K. ŔD ᅱ)I,F-)#o$-a]4Owȳʁ{ jhE.uSA taEdr׏W<4ʼnF~Al"k:cZ4Xż2'[ e 5.+1q&YV^TwY9U<ӥpͽONřts43Qrz>e\z<>#c !rGh@(Hdg9 dpius<7й/s["TFk4 #ɷr+8fGث(}W I؂*檖&Ѓԗӽ@G`W0 PxWL?N_SO1 ۘ\Ǻ aHG;ƿp$JH=D4  iVsJAH"9Kky~X8 D[ sJ@mCKV|# OD'i>c@S]*Vr/0L t7tZ@ `V >.$D RV]X Ar&.\IT>O0^$:d-?ndm OЄ.1c& KfLQ52_/`g_]D) _+W\i4W"^'|O$}[KR^6j ?ž]P=?@-r#멈ϴeТMAvh['ŸlDìPuu8Xsfٌw3V{oL&.֢`b-7_ Cf:,52>JI> ??Drj曥qrKKz(I Yn}ms"~=yS~`u?ҁ| 3TJc)JkH T_RePKl&Eɂ$4("tO.(kܧ'm#BX_~s'W@L,c3V~w(G!QK&»VGKk%`/liVnQ*8؆vdD_~z5zvR$Ʃ9/'ms%V\G A$lvׂT`y^_8 rЭ)Ŵ{a3s]AؼH8{$se[Q'?E 5Qz-E)'2Q!,Ul߂O\]j=1jz<(SjtͣCb>/[KB{#TնyJ"=Rˊ}h6"mA}WB]Sv;P/,@^9Ȕɓ?Ɍ.ć0(;F vq`P8?@Y%y;!]`Q{)UW|̶\T+bPm]LQo24хUc>F= pƏՇ,"íǜ$xIe66@H<4C+%'61dy%;IxDF'&=Iɠj:\YZ iDH[81ȘTCZY4"v=Fp/A4=[b{(|&eI83ǃ3&|,5‚[֟SX6\G<6\u !|t2KΓR MNU $3giƍC2+өg`C(}?Y$Kf@2#irFyذ0il:k|}>q-M%z"Ԉ60gsOK)%ޟ41dh3hu[}z< lʮ3)!DM`Jپ&S$ҷj +A6@ץmm>&;WH+˞~?3<ޅdTC1}~dm?}o9VCLSCv5ʱ;r ForYL7h`#pib{V;.Wⰾү0oܳ7)ߖx!My߻J~ ߮&[KV:TAoZ\˘ƃ9L/=LA*4^ۨ5}b Z|gKiK)Hxrj1MkCئ!/Jm4Χu e,_щMҜxY3J؉5At|o?m&ԓ{PcV`rQ-/vQWA-34T|"N~ BMPY mຝBhE>)ڊxY9 u\e%*Qt/IP/z-"|S̀{B Bq3*-h9fPyWե.Ń~=Q2n;HCъ[3k5"+N cF;D@d+Rw,r0fC!HD Z؂ﮇln'Cx$xvJ~t6jVȇ~J{W^0Ƀ~Xq"yh}V8uT'n 쇻5,Q#Τ <V`slCpRYm{xx);-=|l % [QtT=uoH(RI"dέ$)M+x9  "FZr!.Q f8Ihk5=ZCvIrt2@$@FpPÛvr 7B5E0Z ^8\OuOZ8I?k -nL")+Pwc-qؗcHbk e~=@87qkńcŰWd,^{|Dj. hS@tӶ}9J y?N} )s9)NlPYR_#q쁢_+S$Zh~Rc ڝB4P{vL܅mႂKINRA.{;|#e*% ȳ5\*Cs^ڧ(4u"HJIEI Ǿ0nf#X򖘆rGMT )Mlr;~m{^աFP~%bQ~ԩL ֥#7&L򺭒Iַ]QQ#+njR;>eJi!f=ƕu|'>rV[s [‚x6;rxvX4Ou? n, ;5{I"eqe&ޟӛ_zyIvWva")MC ь>s^y+ wfI6[$u -$Ns .)bZxrOMއpֆŵ\b$mg1/>P3X&N.L:weLdENH_DoLJC\5lI.eqݞ-٤vbξD|kN17W:vsOpkәD۬>x ~4}! Ay`\.RD\*U"1O7Kz0"H'2EPk(W:YUG ҎxF撑[oR!ޯ5b8Lv0Qpszbݫ}䪛eWp޲Ӱ-sߨӪ>r6AF N-c6]Pq޼/x4ui^~^[njj\ҁ\b6 Aj^<.Xbyp<3K/~hQRWwm{v~/.4jk.X+NjDr벓-)N؟Jl)1gG>MmȐڗ$?9%>piUC6ЦÎKabSAJc4/T u2P"B9FN um] Xl9Ų(r` e _MhͧbۨU8 ̞B&5 E+(nj%UG^]~wc8gWmǜ߸>[J³Qh([ H~iU{, r-T*lxDzBU90|qHp7Q6=( +⧍.0 >*eTk t).>$g/j,- ]P6,mtBWL0Zp%+挑ָ5v*%VQ5_|xAvT7N:ǬZƂ}$pf]$bJ0"+bEB|'71 ױDvZٝ)Slb`06NѨ{ x! AzX%P\ ~qv8x>Pz`OXIŝIf; @֗YAK:_A9hJ!T (☬6N5 zXWGw}xh$'Yr$dixi&IhP[ZGDPZޔ/2m[W3@uc߯FnaU46K 3hil&jH4?Y] pn/_5$tAWpƒjgY1o !#HkDw/N.<aʻA,*V#IFbځxfcfɜ8{ExUdcIY-ŐAhX>bdVC@.o]"@M"R"b=˵i4{@}^1jdfw2Yq$VIM5S.fnAu-ef #ܻaߺ}.?Ux7|0,LΘSx t_`#&GM)9c"}FAUz&MMg !/ua"i#xn5O$&b(m=bMpxH!v X'P$$qB[J@>_&)xrNl?Um,t -/F0%lޕ>`K$h֣EndB xHּL2qsLڙYe東MQ[9O|Q+uh-Ypɑ"*@:]b #DgY}~` c xӯWrULy"GE] v=rE'bե[{Ic>LÀkkOgI ygG9І :,1thʮHU {57HAjCMO_-^;붢{"P5g_=*ws<@tIgW= _xE. Ưg&uOD {T89s:J8:8D%,[ɡ~)߮ rCْv_&^t;[w. O[QC̡XssBO܆(ŀ G̮] 4TX&Jdnn"R D^Ie~k8Q ZZ[v$<3 3.R 38{[d;h:%:IfKx.zd2?: ƕ\?uzӬ5AB)|NL}%zdI,nmZYAʿ]|[. #9TSn g>Hlh0#^tө 'ar] ?Zxrk/u"3 ,zBS7h+h6ID&=}Dt`֒Hx$9Xfw=pn[H48U٦.B' >}x)v\'vey[ Ƥ b_wZFWJhKiFUҳB%0mQ2;^gTf9Nhy(F3)BY $Ai߻L(8@ϯ+!״~8}3^3.y}> cZ࿇VˊI[SYVD2.tɗŵٙ,m3r/9w 醠ǡB]ף\2wxF_:΁[hSTݴ!^HVܔSR-<+YSW!*4Ce)W4z243r2(iQI(쒪cubazp i=j%dpX 8jXiY?UH|0=m'4@#Vlշ`Q ]%@\081 T [,sh xG:u3H [l$'[# Pko߭~o"-L STPMc5@$ Pc |F{4؍[R!g=7i0jr72bEo(/s L52ل Lt%4)P8'AB( 6?c~;}R 3$&VS).ĭ;"1.V/u*6)(J&d6/)úR=Oo,h؉) +~o2*CcU*oH!ԊbsSil&zL$ܨq͂\fnnF^cL4uS58:)E®$RȬJ2DF&ƇTwuR//t舤2JpDqamdܔ$(,G`p%<"ydaPk ]p|YrtĎ8c]ˊ_[ \JRu!mEԷ!Na{Ck8?ڢ]ere NA)2ey2 Q[gSY|443jNJz.9Y͖9ܰqVSMaJޠ.yPwdQ,yF,,CII~"ͺd(Tש#Nĩ/"2ɪXX;{aǕf)tu] zӔ I"I՛vuF#zQ޻%&dGQƅM1@2I0[%(73W~q %Țd^u/I$&rw.s@M-Z*p-ݧ'tӠ2(r8Q#S%.*>03U;Ƙ-[_L hz zcJvg.0gw 3uA%lJs K<"SħđhI8.\}HyF/5{C//W)oKX2"6Wh ascH&nn+_?Jap!s}UMwlnQsCl9$G34)_Pp6bHKl]uP ?X"yNDYˬR&Yhu+w; [}C!YgB߮jV7UM+%燴?m*֒zgB~ |٘Ǧ3G,5w TܴZbTIg ׆7UW owZ5%H"A9Ju2PP?5|Vl h@"ƑTR+Ub0կiSgt,X].*$5I7 K+rl'r(#6m G68zJaWQfВwU&>E JU =_b7EsE*Rx`ypFx[tWhsD>hcz^%:zbD-;saQX3sp;z3.˩&\iUoS$hf[w ߇?Qy@"+[>oO791ÁWwI9 %cC3`︿ ֭?v~;̭OI'<)nTosq(jw**6y=Җ2*UݽOe KZuG3c4ir@-ү2-A YJqΌ"*q+ |w]v0pH0 fI⊵分Tm&H oM1 3'vΒU_xx DE=T16,~Y՗ppe۱TBΣ>^l(q cΧܮ)E$JM?pLˌ'Z5ֆFy=cpk҆Mb,31v*2-w HOżd_H5KP\ԔБаx}* }!AA\OŞ0s:F9]GN5p)o#4G6zy:l.VU<ԣK~"vH \7vA(LķqCzܑΰ21B;Yz_W:F Zmzjd.W?= t{ʀS)0w[/Q{  p^|:\DcOaYwSraKLmvX4PF!00wٌ/Ch 7?gES_v,yMEH N n\ݍhrDoAvg5>_KC5Ht2K9S:6#~x>L'wynj:4#5ė)"]]~.>[AۅmlO|Bs;5,C(N!6`ϐ "6yq,AKU=dLZ%旖Xx)l$3k1e󷲜&ĤLwq_ԽyߟTrű ,"%z=hU2 ]co|rXOMN}u/lbF/-M!vd$