SQLite format 3@ :- 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 )\ /]Incompleteness:threads=2elapsed=570.389cpu=1098.280gc=17.136factor=1.937zXZִF! 3I^]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H)'YÃm׭)I[:ys GCJP-Zڵaó$9 пRogܚnGU<4;~6G3~eu@Lk?GPC2Фy8xOڦ$h×Rk ) Incompleteness{D5rvO,57AcBG~դ&y; 1ӳcX5Az-i97\M#= ó?#j 01^Ǵ#{U  SE\ҘoSDd9TNX yoJI[0\ o}q *ҙd.r|ˇjQIw᧘2~zZQGp5r*4@po$^IfTa& =eBqor}5סRMTdRO\\.ӖE4+4u.[P+ۯHqZ_%_s䥕~6∟jcw*׆8)[J"vZhV 3/t{7;n5+A:ΙA~0+@`+vlI_c}l"2䗤$k 91F NNq{O:&fFhe}˔: 1'wL-R$&8{ 6"$J%dL1.x~DX}p*4w1LM>WrYn1xdDKp ~~+<_ bUPp[?[ĘqϘ8N3I)bFr%Cs9<椌g~^B!H MM10 u#̻f,ZʍnA<"dk%Szۨ+囄vMQ\TOI,YeT)},:v~رWzZ~VlGxX9}TjQGNk?a\8P _aBC=Xnb&c~OĬ/ܼdz-AV"/@^@]K2BYeh8k\jUk29ubb9]?kh÷T02Fa?_n |aOΝ;`ѓ1VLA N4lcbv̺E:=OpJ-/g> ̙v8}o>%.W` 7rlk=I;㢩tB'qZ &=ި~YDŽHcFbџ=!A B\/. Ss1"ͦxhgaIq,{q]FS}jpG 93r>-atTc֮ RjjRf#/- wP"3V9U [+pã l/LI0/0PLr>I:Ye?LcYrv\/Z*_eCfY_Hm½l,d6aaڳ~:>} j]l\JwXpU.XVeh+VBx d1Gn4xq? :4JO*@ytuitϋcYw 浍F}7v Ge  "KfHH0:͢,ʲÇ,Gdu~G5JOZ_8|Hs\M읗J1Xhzپք1O l+/>h@j c_@xdaޮ}ll#e\WV ؍uň`S԰_l}ٱfLj.e7aQyɸ]r@LHxbJ̬4Sv?s;x]yj}5:MjT㐤7ɀLg0+ۊ qt3&V&յPW:36fxރWdLs4+Vh>(BAы !WDv [är͵jT^"aԺ5@ ;OºO ̏2X.(#r0guCMY\DzLr* AYX^K_EoK9mؚP1řL&& Lɻq7JH.(,By7>@ WW[f$6GoI(sbjrPdVaםO< lu7l7$S$_GZ^pRjC44n1Uϗ:f/ժJWHB͵ ƙ'n"e<ow ?[΅Ď$v<Yxe+y&bWy4jLSd)Y})7ڏjD;4% 8эW1̕BGރVW:*>#Ba@Q84$Ck׫;qשּׁKmBKw|Aʼ7266(ĕ}x'02ad76 WAgzS|dhm8RvXVƒmZd켗Ke&(WSmu~1) ;S5pP֚CN D#np3w?t9$̀$5w: zb5vW>Mb{)ID$ƓRc1bG;)lik)sCTkM;t  դеfMVjOj)f 'ov&۸#Q5IZ.VV'w,Ѕ4$r벫p ОO/Ɲ[9mw7&y@hLM K+*"ya֓ Џ>JY$NQ@+ě^%ѓ5 My XbKH:NO-?LKߺ-3rVE:"lv&)h,k/*#9x,N-6r123=znKe΄]JCY,IBN}x5m(j{RrQ=ep u_r¡ Qay~a.\A8s!&,ԊtnM_B#1K8#:t,"U'H{fap* |S203^D(0 gh5{cD%Ǝь_?3)]-yAiy>P%./{FOԃny_7*wԇy{( g}PĈHɟMA|\,WcL/:5DyHlBʉ'P4;=?fXGPSztJ4/,FVl KnqK(&VfQi!&~V]˼V1roeurPv*X@XϷGTױ|7]x7 }XY{6+\iÀ=)!xeL޼{ks.y\x/n1w!={GRav3 O=ߒs =Χi bIJQ(+'J6&/4h*z?3hRtaN˂a%ZX+'@vS+=f;Ωı;mɞ|P/jB17;l2prTu\rbxQɇy5Y0&%>9z+cb[9?}@h<~FWI}7IH`W j`xۯ@ hM֪Po`hRoaY d}gkulOy7=Bl?T3B{KD!.fE7)@k樹r=YO1YiB!ɐdC"Z[ʯ mI*~kW܀wH/ oEe|Z0C^LS})qtI C Jֿlv>+)T)iFCNJbikw ?q~)yzk, G ۫8H(Oɚ<\ =el ^!9z8-lێa2-+ ?q<d+޵)#GM~|1'04&~FM-m=s3uQ0sPDm0uD{QQYy?|@a衡@$'Y:e)wz,vb3G:tTf%m [rƪ[DiIG-ԏGXJ0٦0SWPcldӯlq.~^?)ȹ0nP ^S˼NJb"c0373Z5}W*nuZGS#Xh∹\&⎅t^iFk0GsAp^N J ¬U|ي x'cn#U mWkIVs5t[IzVq&6i[yAҧXg;T8#Ϣ'ttTp]֖c= h TSAE#M<#ltxاb/Ex(^@јK擜{R0\X"3V6IXbVN(Qh^B G]U3Ķ:=>ƨtrz?:3 W߈:cR4 a YF m&#]*Y"/&?#x$?AF[u`ց~nfI- fR@V]噚/]e\"M&K)+_f# ~Ŵ&wޜ5E!HP[. GW"LZͧ+l])-g LԊµQ7BORnGg,GTQ욐E2YM6&G]0_Tu5?X _ykbmw-M`Ȋ.rKt\L5U`^1NBgބ䋝F_237>d!G4 ԝ̩h-D!U-\ۘ{ /0w͙Lv !w9I~mDp&A/; TVy(vx`b VxJ"y#d#<"'2Kf-xbͦE Ɯ =ưY7j\Vd_ku`w_NWFMJD1b OYw%-MA_@mO6 `r.% _ǁrBEGUJFBa  7eCzMTfH} ^2}i}fUWB+7Z3ns47Vǔ;!#{a{PB !&cV~qUkb%3ւ6a%TgY\ YC, t1=$#JԆcŴ;.(f$)zi猾}Y&T/i]QtsN(4q#\ `|}F;RX$R]t ΨXi C_'d<3rϵ>w #jjKNbmW8/𻣮8< cgv@Oߎłz8g!@Tr&܏j쵿{q]qS݆XGsK'c! J>[\UK?&ֈ%*&@4??câ7CTZ8+oN4˰]p^t.Ny|ޕOhwtg }I< EXINQvn˜vq<,-U%L/Ɵ `Q9QfayI4{5qI6R[ l0n7])kp! ]Θ(5V,v1;qgD(h2Ȯ&+>mkz0uEun]n,rE /T] ;ChUTq A.hs?>9E{J"uMn1?&$;ztFsLS?Z&i=2Qmf6I44zGw KeG67 vqՇmkxG޸3**9@3cl 0/z}֋ #D-b{ٯd A<1$T7t%ن"'kbu|۰{(*BjtEKEQY{JNP, v"la*q}[0טZ2'@H0 `iۧm˰ZJ[0ah[4 ~G 7?4 u9^Rh堶s'߽n<]dl&zRFNpHL}+IZ{~m-nPN`V~0L66KBJdWؕes3>_@/B G"׫9F-n| Ȕ&}HwLx@̢~[Bk)C|үJ!k H[>R,H&r1ơWWR{(ylIcnS7rQrG/~6ĺ7x"^i5a)sCB ؖ'89a:^zGlKW/E 9]=?7a c@rhm껓%ĩo"ZD 2?p0_Y} TyM`ndHWG *&V^pP%"}Qw}Z" 8Vy,HXұXX;CCs$W~S)(~1mL)5!K4Ҍ]LZ&l!ΦX$5~ vKDwqE񤀛~]\iP4hf rԼ7ЊBT8VRbl G 5]>%]q5UN5[g.L|]E 9mfTufS3z䛚֧HcdEKc͌%^- <>B2S?+tրe^ˬoG[I^NF0XxlI⑜K0P1 \-$/e|}s8/#buP VQ}8,(Wym`g>(z(MN+ kcy#61>(x<3ڨ=Jd4Q rd6-{4KF |0)@D+/]{Gt":p>٭(دbV%E%qUMaڮ~ y F-xFcj:nu\ۀ jWxDQab>a]KA~>޵dc)2=ۡJE =}Ip4 _fiqyCYu M`UUa0irIO) 󲫻&0y+3ke/;nl_d곺|>{nB6s15>h8N,o^4@Пwa1n_n."w OXMηnete_R:)A/3pP%3bA!cZ\BKPJBzeC|'-O?3tRMVkIf."3zλ޹!"F0H③^qQbEp:nu>gfSH^l9X)Ҭ<'kjx8c˞՞} վ(4pQ6P;IbR륡k]C}:Oy/Oaa 9bfMƳ x<@bM ZXܤI42H/CڳI MfJJ~U\J䟅MR{K9s9,w2A^MQ'󙙨Aioco=/s>Ewum;|pڪQoi d1Ǐ_hWr"rU˓E8SWh{|xz XoGA^pڜ |n"̫;Y]jgPD#'SՄ; A?_&[ e\zylbicdrh.L-T}6!T̫?\"oo2}HglݏPLNV%ՠĦ^EIE‘^D SçdTx,w/^cRShsm՗qã;IDP6s$ڰ,nNH@EMЍ%"t爵vv֢Bөs#ͭDF!XjFmܖMY ,*# Z(TZGYN%Vm@xƌ~ ] yk@Y!*|ݪ媈 u:hŅwc-]o /щOы4mf4bo:7Ziue RvmY pkmq2wi: rj.!8X_/_jB;'ZY _/'|OmjJA#7lj[' y*h';dǦ%ko4N4o"KSlT^wp24MK'- ܴVDHy=Ѩ N#Ť/^@Rn姐c ").C@vOX$Njw-<Ũ"etK# 'r믳]LJBsw$eDGe ш7e R($fE485MZsZC^Gti2oalP}\GWP9r_Tx?ۑSV^#{4Q~_d2wQHqt @Ż6x էJT3v&q(z o{yZ<<|;p"_DXo'eMNEڡ Tdfu:$x(7¸f%([#q"Өh9.kJQ6м3A|c>kw@:(amZM7漏cd.%YJ_q|i\qIZ;8 S[SPw\= IyEi]C!-R,lReOo 3E54^e:INu vc2S76MVPwu[^5]#Q"Z#6fZA𯊏  oBl\Ӹ] }GP-Vc="Ua8U E4H f1Dm@˨}ϛ帜؈2&ibo^``JI-P@Cl#7Yv/4,=X}i:Yi:a*Ã6k w, @oG˼-Ho|rv p$/2^`I"1yQl uMUpj- `L[~풘a3^$6&+F I;UT0{<cDUxKݘJM:r=:.-׷+M/!oV[LLpƗM=9a.s߶^ I!eNjXc0k20_^mތڀ{e~g-,.~F⏨ ^\|iJOHw5Oӽ3=5&?SbCωُ;#0`)Ω7ëd*jSX "؎| %~&A3Fyp(h|%}`ᎄp"sĊoɩ Zd$,J́d'n2N[>f,^d`%;.cC *96xLAd7Աi+OL~17m!` ~ԏ@z@S2FU h聜'ιպ$>;."7K53De&ySaZ'DҒܰQFa;UEV:8ݳqYٯQ/n>NRЉynbG7D/ܕ}wSm4x {4L>O,蜑 =xJwT#=\mn 1|e~OS},\>$*2歽^rϖ:4:d?U( `[͇WA[@э"?3oiI#-V \ \gYBI*h,j/D L]2Ɉ!A_;;5)t8|,p7]);_o(|R{m/bMebⓙ$oAs>5T(s.Hc ,]} i3 QֆSͫ =>HP@b=+̎`C c F2s Y^S3&Xɻ f&›̓hiSηൿgl3voG&I> :oƺ[JZFֹvjͺw9lhaH h RQ't nsl.BCڦ$n)Jv5AϜ|fFXT~]n#c~60!2 цjgLHV"QZ7 "y9_Q EbzzMY&ksНBHNhfgRSWgh xV|n :Zbm>`ߐX|}aP61oMPzܶpM/QdBeױ jaséw1}kEwkU?4S/&֭=<UC3;-#U0dܸ } +_\!~ݸ&|H 6ú'H~q+(,,85Js ) ,2Rìs`b!յF84$'\gNl̴[ӟ<^76BȺ 'ã;II%=7K{%6 N8zJv$ȋFx)L^CBK{DCg{<`qk@2Gc#ڕuF է>XrJ(=VoeB1 )fsb.1 G;(ՓXhR1H!^cmfC@w|黸^uVrWr䳧hbvrMp- 5`߻}hmWI̠x-AdO:go}9\젳ūС tGW=gW}EB:u"a.6Ռ %ܐijOG$`ٜCai>ndKZϨ]K"*ޡ=WL_>IWa-uŷM" @Fc\K bhFDP[a,$Mr"; df2O[1Vȹ[߇NE. IfDnQ|e0=&^/TH5'WasN9||I(8]ߞ [ֲL?)[>IA!*i#oVZ6+@Nhzx x٢i>W EUj5yffMd18^Z4S){G_҇-P6 L^jAQIaaNdKe@Wq}HZzoTdd-GxLw~kY! {wkr-b}S츍Er˪E}X_vԧY:,(Z">ɉ(aqa wO ļfu[\axv\w!.:5s|} ,dIP`mq4Lʓ.{{[a =)6s4 yQo`q3?>2 sM{! \YN!3 VTߺ8pG?Ycjd`r^zvzH–l5uؾ:bwS۶,_'烹H>mdnk\u!iNTn†Y2QF\ pI̺2oK͎{(kc3Wbv>MpP*G-Lj\Ey`6n+R8;[49y,[XvcaEH(jG@*F+%'lcc<,v١feI5:r&#FC4RrLw:Wb@jlt Y\('p#앉+fHM֖-6.ed 5iU)8. _Cs> Ym0ʓKoxBn QHHL4j1 ~sdOjCr'D鐷# hpzҤK󃤁u\:8;B4-PRH];$l0__.(\//=!aC\ԥl & : qHC:߇!nc4dF~lVXfFL{:R`}`i#iպKM^@Ҕ5vaBקG<{зB~Q.2*&gjFڽ)עjKov_g_IbLg9 gv"ʫf:ܨ' 5zP?}Y/j1]eڝ1Yz]̮1#LMaxzv5# q!{'(Du(u"I#c1%ȔA^R^^T[w|huYZ7ZЌ些Zf)r@m$f<,w#THHvZ8TaHEm F [I'{-x=z*STBi!(C*ͦg1)ͦ{z.sY !C@]A9>PU Udin⪲6,bA:i ;P Z:</N="T;l^IdHᙕ6Ο'lbZiI1 0eI%:vq)u^mdrD L(]~l/^7m-J˹C4$v5ŗ'l#K$q,P%gBQE⫍a_`0G}#L&Yg'g,'&%M܄doq;F.pe$Z|9vǬI7&EdNUƠ%6!6]f-Z>ۑ2z9IR]&Z~l ۢhM=8Պ%wP0Igcz>"i}YV)oڥtPbxFM % _^񇁈[Dɰu@| =niOځwGD.2OwsKb15 ߁79V ]jfW{3r#Ɂ\,PN&}ir./p҉Gd4#\U<!I49yuA&ړIdsQwzu)a)K;Xl'T *֯(\E_ns-9!l+ ̍ Ңd/^>p?=U_7Q^jA)*Fr*ćPƚ`dl >rV1T^^C_QlґI1&{zPRZJNg\ڼ0[1emL Eݺ#30mdRL4)6p &ΕWصQX: J B1'OwؐaxF I(Iݜxּk~i5H=!ݞ10g>Y&WF@$t 6f ÍJ%]UgG>e+hх3G&-YcxqvMtҍrۂ٢ NݸXt}f"܃o1QCc >OAH'b}ZNRJx|""8m1U+u.0 ,I ;&\C7PFj:`*{7X8}f!cSv=s3Xb\Y@Ǧ!*3rF Cch=ljIkP! ˈRn26>wa%j -KD&{?նvR9ײ^|~")ƙxla ufw 7Lۦɟ=C!}NpX t]'l>(k+P?o:L.E$+*laGl*)Ts}  N Q2#翧졀:8726+r]6(ؙ1.xp$n10&/ /vZA3-+zqg R$Yho6!?}r|+$5u [RSJh|9)pTW[BZ6ҪNC\LL )֤C 1ヺԪL C%*vFqC@fG7|<ð$mɮT*̦F-;7lg>lAj 94?UMjfhhcMA檈1N (w>&?bkSqկmicʗ3 }_^s@s#B<mR.d U( PUu0TL+QO֌J0ʾfG 7Y)ܗȴ iNTߐvWX=-G"WTZ(!)P"DgkZ+93EiO#8e"sP}9Ӕ 'aq9*GWn6&Ҁ, !qźk{2*yˢ+幦> OmlP]ck\U0J܍w/Yf*J-]bgپ3 io*)U@~hF~Á쾟k]S45z@m,k3u}Iw M6:\18*hv}2.qi H:I􂢇 !4ZC%=p>pTǔU:5̢KGI@c''e)GVCsӍ "ܼ4D I*RL@`h r-*= Uݹ XH/ajz4jņi~+%:~NK*.z>zxoUNj|L@I>ݎm1CzVe|(yek thuH{Om¥̎+'춚<ì[ondgI>+:KE_"&xulJάz0jG {sQUGOЦqG>[¬j#Ə~PwNGnpථ| ^f@}8c}{y] viSNuq: WR{@5' 0孑 ae_ZQ߬?'IRPռUk@vHO# aW!ϒ0II0Bl'}&0o%Q'{G[G4+(oP| Bo17; [+~GӉ̍3S"drǠ Āh>m.ꋱli Q5ZK2CQ2s WbJ@BĤ uxG񅫂kB=b4$Umh$ݾY. lg`ޖ)0rYu=ϔ^e*2ʢPdQm?K.;<6bU6J( R阚qk/k&G?i[ݩ *2:Kul&.1!5+X^tddDHie{PVJƴ)`"4']I%+EʺKZD컃L{9,I4|/M1#WA,"qZ1aaJf2s;p8]"'R6VA]j HǓeݳ ڂbf- }Bg!x=!eض?M/d%v`C^ViOѥԄQ9ZΦt;Ϥ=L~)Ƀ㿖M}X?j"8TU {Vy8|o:MFr{%!tZ~5ѣL8 ?E>5.wf]gE2f]75`. _ z>!.%Nlߕ/#Oev^('c::a $1CU0kR@W6n־Dl)eXd 溣2oYD@95!BqI +{q9c+ucH VkK<7xUC DgsPEEG9Lz^SOHo[&bʪy2ףX_e7y ,rqLXhhHR5F9ZUUمx95FEWsv;zbMfW .H9<d܏gYZ7zXZִF! %r]ŗXi%B+0i.[ON^=b5zu)bѸ$,p}΋mԁ.SZ^c_^%9;zW@IV|. A)-'к") '&sHg=O>2kj0Ո^.5 F,'$ȳ].g/\#Y / X,\6x?SweSa=H/;Mn߀{XsV#‡`҈uGD3_T'ũRʝ,MaW% z wbp**[9x`t?pҚcQ Oy`c*X Z9Jw@ nv$C2hIYSc+z%XD'Ћ0Df[ yBDxY*`F 2Xc7 ⦱jnoH s:5u\$kCqgCYfSa6^:S^Ih[6FA,y1Vߟ S\My'u e c W$ |p2eWvKw藡np04aHx@ P{t6JQ̾g#zbR\_A7ϕ=+9>DӺ4çēA+RŕZߎeQ&7rR.QO[6WIM#Bק HQyL5nV$|?JQd %C'83`Dc@| FBqh*K&mWՒ!{5'p\MLDg$)ϝͺV u%#I-^-#\c*suZ~`qma_iRP;a1K(%3_챃#@z۱H}>1&we%!:p&AvshQ<Ԍܒ ꗓTa WŀMBSM}J lꐸ/6; l`[vb*S8?'SsIN(LӔ%DCj&B@Wsk?ȭn܅JW9͵{}&KR$H3SqB.l&H̯@)V`c8TȩY޸]XNX%^pyHeeShֶÈ$5%s6tATǍn ^àWFVr^Oi!@\yF^GeDO0! y2U*5 o96=iE(*V69X6u6Y\l3Hޅ@8'ݛn|;d࿠{;dS (SW+23PxhZV1v~~,P$W諸},9>%$~˩uA99  VjJUtGiƃYO-ɤJh,rLps!&;8zE_^NTkjva_>l9l@6ԩ @4{ #ՔCkuV K^ V OS/ZSļWBp+[ nCi9T{5vL +E iX'2oOYh>G,Q]ֽ<Ϙ7Շ:],?vU]e$3ܦ@C$sm;5R`je6f}֍iS\_r#HeڰaF7S 4m!J|ݧ CoaYeS_hh[^4wg@Oo -h`v+QTG4\x>qLTj͋ ld1_5ateLFFf]CcM `FWbP0 !hKú boZX2Kk2qVK+欚LcHIhա_vFl^v\ D{o 85 .˙W+rC8=:CVd*I=!ŝՈ%NM:jruXD=!H2(o֫kEބ +##0 B頟ja=S36Y5CR͙~OT}(܅?le}>[asM+*,|/kP!dxV 1؏(2 u` 4O #cJ _Jyw)%or@C8)ӘؐXb,9į8F'=RiT̡' G%g@J#,P +BCQjH Jlq^R!iqu3t18%t,D]=lSpD9uPhZS~;dVo.܂`Yy53m4g ]7* 2'/?Q\M}Ņ2#ҝ]yK]Q>HqD[[F`tyFA5‰>kL7n\2@j dƵNӷ'c~ ϐ2K #Kcܵ(S/Ԕ3 ߺ`6Ͱ]+ -W `~BI'P '<饦Lm]?Tr :t'BCtW|n8BP[.~EtpK^pCH"IuûL2kT6:;l/e>ΑJi4B)%Qru݃~>X܅VK|5Һ2@#Ži3wgfճ'^7_8 NX{ǜܢrŷheͻd/md1fpr3 АRˆmɏHM kd苫6&nH7,hk nfdɤ/џBnR!J`/?SlƈX"[]Dž- P⍵ 䂢\`V JzS?O䊪%gyR`ltWx}}JBA݌YLY |AFYGɧ^t?tbebCpdr #j˲s,=Wtܹ<^`Z7`<[8a76sBaƴ{jT1 >ʌfW+ +Q[&,zr쀴5CV |lu1TQ˄Y!7saC-ZG.Pȋ=?рAV`Q~GtO.jr.5i==l&=+n3oDv:=:Wdå#33| 5۲5Ъb${=r5+_HCvݜ9/#RTt9*<9gNKCĶnI NX &x}ڽ!ѕ%ya}2wupF|$nh5A oAbcA!.%{x`S`P3Y=;2MyUB|M-xW" Ą'%4~bqr#_ !`\D,41 Yvv Vzߥ0,Sn^p*q’!*SڛnUi{Q;, [\ޏM-E}0SfM,Q bL7/%34 f5|54̣S̯ .?[R$ | Gg2Kmyt8*u9@|"4UDզGDL7_iBzs7{W/u\|"Ѽ |6G\9P&i YWU "W}M: /AߊjMBOxC@աW.Ȗ t3ȪJ? ;rxc= faE v&.gW8.P֒t×>x`ߋ5<zyz}zN$X8sdy.KCÅQhu8>Ib\+=a NCr"YQ`.TISmJq\=TsUCe!X^ .4Nn/۫vNgn3%_ 6o >=aP`7@(iwm[2L}kkqO }suvj\oRz%bTٹ]¼ ːBf^k@!rK,J]\pA, 2sj6qil0DC|s58Rt 9lN {EKhbϼhuRT>&rP uy'wHB~Օķ&~$@Zm-@4|4eޅ^}MvpۇG@8StZSZԑ.bc^:!e739iK׎~&.I0<^ͳE۬?뒆6Fd\ yl&okS̖@hYq4 l >^V߻!z.6$ڛ|x3ӹj/)VWwwt@>w~ ګu֝M[B;6 'OdT3qJvʆ5+ faU;S8zu" Lᡂ L>S#sFkJ>ON6&l4̚N5//9,9/&E/&HHg3"f/QGPNM1H>EK ;/v6")턷wG' d͓E_QAed !aDOy1UٛFbތQ 8G=u(q I' *2'6=zrYl_Uے缓ԫʚ[Z\,-FUc[rvU@F?cBd];qA{X- ki2XW)F]!cѹTz]dǞ.Hx_CW=B'؛NgS!ᕀW,94ٟ.-¡stxӑF˾Z/ЛP4k`fA]kZ%zP8R} <'kLDE$Jdfx@^f?s\S_B EF<[`evɭf[L;aߗ*DU|93wc]ɗ{\]qjaBYCsƇi; d bQ+7 B-=4_Ǵx߽}!uwOR' :יdp4oɬx6zǙr_,d\h&&ZyǏ;+&E6a(¾qǭF6)l!Ա)::|֐`FFHq"0 ת-, 'L\ xs sUjhOLnDP%ۄUDLJwX@=gH < FigJΫs,SC/JN6ۻ]FƘx /> W(8E^ÔhGg΃ :pdπ (׀ pyMJTqZ*Mˆ]lz9hA%%&p;X9!87exraOۮM|F\}so+;X-دPvn"z#(ք'ؗLpMΏ$ ֓X@dG4-. nw%\u <&EmeJAYPߣL $j{=V]B։  jʜPlQSЀ'JjL7$vwqs=g%Dq;С wʚ+eH^]y>pPEli._MA>qf10UGrˢ+1pХ*s<tg@ %ӱx{wErSJC#g:X?+ PXHލ{϶Z@0_iYmَU4%}m/AS0t%&3ٞ)#Ȧ`OV钉L oHEƢկ0xN J/e +hl=&hfd1՘ffϡT)ƥ]Ƙ"=ߏ&kb]k٪ӖNx2Zce(T?e8g0UOHL>\(SWv9i!V> Ec#킢2u!\#;qPQxBIkKPRu?)Pli0jxuΕ]3K1"cWC!pjwZ3,!5aĴgǭԧz^w(GdZ)jB ݐsw"Rc ߨxx)3˱ 7[d71 k}j; ]-9<0I2-RX'ϘN<(9>LDYP8]"w],Kw%}h_?.LʭGj1Vt=>{l"ߥ/xR|c60o:zU HT˽LL.-Zq1+XLZIj`~FycZϸKkGhpeZ+Ϗ3 8Qזz>t@1 C|8R%Y!v/Ȅo;>nUD~;h ` .&:k.jJ-quQ!ɚnI[&ŰIe: {hG&oxL iBS2lD;e'.a+ktEs2KC2eh z֗5utLpK~/N)< 9wE?;h+1*w+GitZ6@P_kPJxi 49!u)7Ẍ́X&|%brcYP_˫$/R`؀7^)}91Yl;R{q޵EcWRݺQMbY/KP&Yu/^mq`6{ZcqlI:ȐQ: NP'ʣ)ӽ'ʎfY촩(]|,LPau9>l3 1S }QX!F#z;4)HwnR$єCqБ<5G -nf;͡EĴ`1d; F_=kgo <&獾K:!%b`܌ꄉX:ƚ N欲L\JaŎԏ0 O@K 𥞵I~%}t|$^ f:}SZ-9$NּQ#=rjqL6P=pIm=oōյY^OrgbC^R3F}5:abߋk ,lY3JTp7fK fni-~/b'bנ{Hrl-R u {A8p|W^s5ՙ򉯊JG-Ok,l)DOH!ܱcc46ENpdR8] * ϋ 6TtmN4rߙc2LXp py$С_u1[IG75hq`D|eZHu',1l"ɺ]e럧ݪr ۣJ_s&)Jc@gkgȾrê8jya: k!Њ֋p<) A9OouYI}t)IfS1(ܫ^Qw2osĚaIkpXTI8J׬(˴o()c8$9\P:|¯5 _Ktr:ZЙc ̔ D4g !z^IL]ǝBlHo\ceCwt{\(e;!FΗK)׿8gDku[Ɏ#^fJ5 KYbW qrwA$νjȸ}G 7k-w:%D (^g6Qʈh»*\18r}bg.&+HRʪD? |W'P?CgJĐd݃Jquv1S6Yskc+cCC2ŠVƚ)*lR$ ]Dn<|Io>Yh1Ko_>Y>gG^E'70d -bfgJvP̜V`J5ws?X$s,>rFNvqIm%dh( ֶp{nUޘ0F[uHLh@a*aϤ6~PQ`8bn0ܜt@-(O",:xthSɷtDuz Ȉ9 q%\R:>X,6; +^5)M6;i.R9{VUzMx ptx 5jk*ͺ: (̺`%gB# Q#0tƈ@v"sVB(V!}/_[ANBjSj,n[%\0vY>eD>Lu0u?\L]7')ȥշo< @:觶1Fh+sr_8^fg_ڔgz*UOȊ] \p ё)oڎ\MP1"Ej3qgh\9̱)!"?L0!Ozp/91[#pDu~Ӆ,4ȼ]f"#Hh i"dt:&tqk ;{(umO]cUݹj׆C#yhaPːN!@L={yf &@G8g'tm0MT~<5:l[F2iċv5WP$DQ{\0+odhq7{?6;kÆ*Vi*Uc7y@);d{BNzg`(#%d[@)z(7X]==>3us!0Z61KBQ(l6+&jdA\=lmκ>j՚orrW1k >[ qR$!򅬱|nfYvz0M$Nqv+Fj @'Xv_8A+(\C{Ĥde*WdýòcAv.79Yh{7_=I.ű.vl:b͡‚i$Rf>ಖyOI-ܴ/cN9;Og*&)\׬z>ZѸ >grI!v'-?Ӟ))9866M_0 yG,U %BI >#6%pqDހQр͖X= n.g:Nj]lLOa6gLAZ9aku,Za(RYCXv[VdrU%Jh, ɫFۘ?,~xg~(NΉ(}i=^JjR-/S~Ƿ4av@ i:ն6НУ\Ž3.lȽ?O"W#5$mXFh?ьhV9p|bİ[tE= )LnAt?D.$y)4 %d^5 kJd,z "# iIh1]KY^2xZ 9_.zL'-Y(cS j_ Tn& rlsL-^5yGՌ>Z5gb ;ڛUc6/"|>yI5Yel8) D gHW ܄{ e-A:6<9y*QkNL.P=TO^|F(d(,NüIQYtQt+ _LלM]:'B:J*a[a ύc cV\k< (b`EI3`ۙ,[RN#,(`4:JPZcu8O4G/ naXp[T]SՄdJ7lڂt K)Y4o 3ꦀ2x8x 0*:;cogd|-* UO?uNv>xFg@F a YsW~wtAu|]GHv&WL/8LCswFR>>q̺6hQOEm RM@2MϚW-O T15qРClRe@|aYj7~]A?;i^ 5 *ůpS \+E=]Ta-E~R4fLOcJ)$OKM[0>WCi&S64Z)LK)GG=)aI}ζrl}#Xq!e:ntkihP3ԹXo ]UE`ЋWƴNӀ"mَ"Oy8)ʽbAU#'|RA7A{M!arriA~}Pxΰ\9zq-EA4eys7MQCSD c>0`xV]iyyr<'HbTRbE סhŕ!ѨΖ]*I$KOʆ*uTJ+TYq TIjlYyԙ̢ě rUc-0yd1gZӁYvk#z\.|:Ziȉ@î=~N"Z'_cj~}\ߢ=N|F?WA!M:)1:Ϯ-?6Z a5x?]hN0E2BϢSCOC/]1ާ@WK=x6eZel5]>Bf_ r)Ht+Yo2ʝK T3J{fEIZGO;ANX ~Df5q}!貺a{${O2r]K6[IKFCG.R5B| w`QG8(|}@ 9yYgfta ]XU r Ivz^A2/!zKJ$1:^j2?R6xyBMe:2 >"Y5ˣZUΏJBgZdVd·6qxd*45HV6}t?yL_>I&\2&`|4m{sȸE Gr %C F;Ro? k=SՔc .vzb. j6K]&_}`Qش̔8WkW[ºLJ†gVIJNV_W~U^ԋyAU7zF6A9IE|q2+j^Q͌-\MRͰUK|ٳQ':y_$t_"b07FT$W?gΘF\Å[svz&ZlM BF2;b-,*H9Pr&!D譏"#L,:W b?eC"۹mQQsgth>1;ӕr!K@!ȑqX\*A|vX͎.x31.$%(,w8i<+S/om hFȆc6Z/!zS5h_gV ^^mffxsm%X/cTkdHJ?irakQ㕿P@J5J8j%qOI["u "yf| t =asB]LQ|=0\KLC8RLI}[cTS0hk.J#y _qWu@ S9M٠fZT"} #Ίf0{-'gh2!k 6$mƞ9+ɓmLM8ǞחstvE&[Z.wG)*?K^;gQȩ_"=^"5- i'XgR_i:J Iz%) NC"V&18LSru#FPϪgz3*Am;gW5t>R+lq쩒)<~{fw8m wl`]:$YhG _mrdG79;k%9=m'FF ŗr*PwY7*Iٮ/fG&7QmAS;bGA9lDJEE.ziׁ[i|3oRj߼.5=sov70W6nzI=ڼ )v)nu]R vzEeB6x~O:F1̆_4풙̊՞|+%uBwy N&V|9& ą| 4"YXfQڎ.o^vw0zWj F7:=PI` ȱ' /G&lg7eĔY$`dm@|KM;v7°EUs2}fKHbV <6VUnTLy]f.`qeWrȿ8TكkXuɕ_VEaAjLQnz6 $+qʼnr$/"IeYaGVU<QX^ҷ;3m\?ֹ:Cw?AR!]tO}rV: LN;`Guݚ7[Qze_i(9C,dYtbl>g3ҽ"܍t~84uȇ4t4h.^ _Ur0[ɵP!},gK#ᨕ6>m<<'!˫n  F [` 2ˆ2BE?ov>6Io לWJWIaqd I{l/ф%.ԯ[.\nCaoe)T*:_g"Ձ4"'4LǡdEn++x_2!z-Ll֏pgulGؐ6G8FOYl]U@Y2?2ye/kLI*HԮ P vg$;.nh+na^̔dIialPDޤ-1O#w @qС1!C{tYa`괿7([`|Q٦tE4 Qިe."gbFFkX :?`0w78 |n/ygXˑf8`xq< %L-c}ߴZG: fuyFCikVasb?P!BifHVԦwooq49NqYP k\/$d)ԏz,c`3$ fʥ)K:~ƍQ#!E\jq'AR.\EQyo*4S@ .lXYB'N&*I+h0JRo-xg`.N_'|WLۤabh:MFY^tg clJ&䕈g[ p\>]][ϮQm/eA;ߣ"!HG>b[ H/t#;ଌEh([Ky?6 /DJ]~yECPyيƣgrKSV8Z=U 7&4 %X ]d{]mnj'IQI%.a՟a^NOQ&t)el*@fu+nDփ9s[^{T}{w%JWvq:wFZLM>YNe:Ajv䥈H1+6oœZӅP H^Q?||*ZMIM%>ܛ3FPWS#.p: z-~La2 MoIn͕Yd Ժ ^cKt|{w*GQ2zB̜nLx~bprl16F0(n&Nb]c'zó'+ 62\S:wh*!'9zP\H%R֩nʭ?wYUhb#}>+} ^՗5zD>`t^v>TB,P`z-?8D:cx×\i-DK*> D_PPUAXҺP EòڿTLMlU "ÅTN#Xꄐkجݵt1# j:,˹iZPt @rN}ۨO*dͮ}g2G 1XY\cz##|YۃFODʽe̪ ҵ_n񿠆3[ .#sȡݫZ 44$ѯVÃAEf4P ӵT]Ik32ڟފYIA׈r:3H+D@-6A@pUbTHZSKH]t#%}7zdeFxws!}́N"1"=|ڧXՇ0֏:ыR[b9KN7h(LZ&l1ԟz x=58 >' :̳ 5;,]j2ͩw Qji~vЖDQ>MK\K8jݭH |{؀(iy`y&iXʜCTy4Ƈ2w=)#c}WH36{Yl`_ `-01'OԀ8rBt"Qq% c_ -2eړo@KGL@d#-j܏zåT 'M/U7хQ=0SgJVNU7wrNXn&Wd0AZ?T2wi/V2k'?ER{̎ĶJ f8vF]%ZLQw Z6N\ 5N9D1l! cS&%7$tfߥh2 [pkb}dBx?noH7UD($)Ɩ[g'f88`]Wl3_U|u?](+ěXՈ^Y6 0(#l7T&gBjF|tr‡z>ef~֏ '|Eij+{%*0YL{wj@% k+a\ K="E;Ê(SYHTCgverٿ\N?x.d}ޒΊĥ#֫1X|;XGEl@:#hpa7/[ʑ\EaD*aG}Ѥ97CchU+KulD]?4v=mp_#Gm"OV2L3Jaԧ6)P_)psyfX5;D% sR?m⵿"C ~%IKCmXNX9c; \ɲCw 8 g>d=T]d9{0W4Sd2uFah8K BnmfZJ*cWB9_ і,PbFҙ%63VoPz.P$8),uR : s%\-GbȟL~kPv3Z3.=OH!9^2> sc[ sWKbiQ$P^L㌟\oasaѴ͊c^B0fjHM2٭wOS P!&ΕV ;W(jRoB,j=DҢ5`TpmN‚FrܼiTnN mJ(eSer&z>ߦ|*yF 2[ UG.j؀O_VKsp<i?Zb2;mI#(۲3PHF=옺_ bCGM5|?Vxh6?M.t(v€F3)"Ӳ9'#HȴDEQzcN57|=*޷w$*G@_8O>ŀ,:^-7qr z<3,Hu^ ,rSrc UЙ\󓄽YGڨ 9[O j<'YQ_Xg=q6O=m s\ "AXm6Ctj/T;9P״6ia]]9wA9 )dQZ*+]PpYB"W5F?b|ZfFFK#A-)Wʣ_wrj_f aZH'Y὏XkĬf(;M|h~.ad!8XB/7G(ODU_i"wЦ'%$_,PF{[LHO *NCexCQ/la4dtq;Ԙ5lIV6u!2[ fzq-9MfΤ8^9n:{i6~|_nl ~/lCj[ mvu5((BȩKxGI[ COA%JBMⱻΘ lJF 4{mWߖ}vS=$#Z>q/Lm%GN`DP PimTT crhG?$4I.x敄^_wIـE|xPѰ*h?\pޫ?icR!GLݨmB>_P-g3A NqOƊ(gJ7k+;~~>lo+̍2Ʊc:o?.2@)r(3gsyo S\Iٜ_;yOFL6x#Z,y |X ;yx ^M1[g?v\(?qGm&?a7g!̠|uA(x 3mO˾G%UrØx'BV[d4J~2&2o7 P&m.6[e?fVJ"%}:`3U #3ZhФpp"\WTb!>"w1DzJfp twLܛ~92'lz{Uaн~6bIan$߫{IW.0) g!U BՈ|+Q`N^Tz?~ˊpT/ }3Bk9#\2zEIM}}1qhh^Z96"RHz+wsԟۼD\g21?H_"riI/%ŶJ_fI\&Ung&ֿZ#4 /BRwllg E6s8މv=Bu3/iЍ={1o*u6Ab*h >a5Hpj?m_ q~mCa_^+*58`؀~[&t ~V&}@gwDγgC=AeA67$FjtfGBh4%ÚW+CWrٻ;(‚K4Z[LQ A>T?y~> }o63;~"(v=ۦRޔwkj^\4w@џ~ s ęG=J%bZB6lB{!LP y#E')@gj TOX.ဌkc * 0=9ewTݮ Oe#PY }:/C.Auq=Sў`,Je<9q@ʌD\_s9ogͲ@/iy^2p*{;,ԉ3z%\u܅RCb8[* K)S;%@#Ô43RTʄptEqMvfF$js>^(VX4Z' #Wl? tIjxsicD©jʎE'dG\ԦWqp% pE`@>!xa'vQ8w2(gQ~j}I2$ϻ}SrlJ ;~(-lП|օPd׉3"p #rgu,0BsvRM0[[&^ 8;2 ^;hE[ DZo8Yv劒Es%D㟸0.pjMqJCˬYu%dL:snf"P;.~ƒ'(ONoM7QÐ|f%^fo(uzVڿpWW  ;Yj`i]fb0?L QըUJёW3_K ̖lgͰ(̭ pYXG;UT / .Mɪ5;vw~ L2&Re(cˢ$BiZbVX;휋> PE*ƿZA&A<hNj.TX,.C.#N'e,AieSgǻ#e1 C1Ulr߱ћΟ٭ cHbpݣ ~S;5 ;6Þ H ( .4ЄH/ ΁7NQ9+%Qpd!L8r"?A0x Ҵ k-\M E;4 /ʨsOJO#r!uX^i2臋5|0D7{!EЕ'`jÌOM<~Wo=ߧvCN)Xd 5#,'c} ci~Ͱ5PvQލoMwHOh^1}bo7>2$Cp :FX6SY]aW1k:{0R 8>Ȳvg~f#Q@X6WG<#T0nz$6uD+%< OAċ[ 7 _Hx.uuJ9Tj\qIB%}rxVv>S,7Ŵz3clJxNE)EױblCŠ-<[ ;\gу}Q|tL3>srCCтCֿ#":=gtjcIwzacWLfX2գ|a7i\Z^x PM#2lr@j [L$]Jg)KXF3F)`l A ˊ26뉫,޶EqJqGzIj(Nh&:]4  Jӏpo3n5 s }R0=C 0:ɈRvtbb0[cj)ESeXrFiEʤ,],§fkH{C`W q<7a[&Q66#|^B;ϧ1iOJEQiH[I-~ %M2"d:zvZ__t6G]Fz[jc֖:*trOD<>%GE*QcCtfjL抵n} =Y~Է˱SK&dI[Oo} ֗8 z7da+>!;*j΀. 4~y<62ܣP:ʹI‰l b ZgUzQ!绦e \e6M^,;Qу\*8_%޺zW=hC>dzVm3Rɷﺼ$tYT(Z1A#ٝ5vwք^y}TΒ_R6e+>uv@y-Sؓlf\k:r4NEeQ$V+-}m&YVpT[:x#Zɟhv]䜕a~ OBO݉ݵZ4穪}͜ g A_;en{p}ȺI4M05ˆPf,ֱͭvk"bm +I5"I~Cf.Sl=6Oy *[]m gYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 0f83e9379368d232af1423c3a9685e6e1cf74f88 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 12f77c17f595eedb9c71fc37f436f86ff7647a6c 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 34221437a109a5594ba7786476b5abb5979a2647 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 45f7fff:17fbdbc853dc5f25944b0992e0363c5bc 4b91d80f9c8b226f262d2935fea031d73f7d9f97 4cee7a4a8ff3a6a412156b24cb39563781feeea5 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 5115babcf82b51329a1890394e7d219241d1cfc9 5117119a178eac69d137fb85243808da2d667eaf 5235ce6aab6def25d3666bf61341c40d04014e89 5f3249c9a2080df051ec979e03e69f7b6c37b568 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 98e56112c94ef1e4b2b588c91ee96072cbda4b3d 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a07055f2fb48bb9ed75b82681cd6701c235d6918 a0d7a666e1ef01cff26fe69e59978baa40c126ac a4107a7b0006b2808a6643c0816e1ea043f6d672 a438efea6288f9f4f15f7d643bb504a34d38c343 a6d881014016ac510413e96c94577bf126ea335f b27e8549c94575a704e4138ae768f609ece9a3ed b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd c9a7834754ca020e75afb9d98e309c88e75bfb0a cc49f191a1330d1b26b2caf92f0c6cf8b98224cf ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d051334d5bce52e784fbaf69b41b2bcfa686d54e df4a72d4c2ccdea476aa2a97ec6d075cba60850b e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e3c438bd503158372dc2be23c689a43bfe275b03 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e98d989b0d56b347c6ee1a9d61645ae944ef72e3 e99c9d3ac85e924fbbd540240817aa6123a13bfd f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fc8203de16c61c092238a1d5eb780b1e7d4d11d3d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295ba0771fc0c7d0d3f916c43417f199c897c9020d2