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  "!$ a]]HOL-Proofs:threads=6elapsed=765.471cpu=1708.508gc=429.456factor=2.237zXZִF! ց{]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb菳Ҟ2pK?q}GZ[KrHF_2Y> o!qS[Vl5Atgx"DQ 5QݳNYs;Oju,orF郉bn/uoA|Ϫ3Ŋʴ_v|E,|ua](&Wɸ L<n̎.lC*&/?úveb+T鷳~V64kooA>MPڑRXI Z<$d)۹Lo~̢bFԟje } k]!IDWAOmA?Ql{9]'FU%oa47FHGw^[d&923PQpTtv̟'S5WBl!>lrŹc2[j7G^t涊"=Iv:E5/HJQ}G/9h?,ÝBrI+KlN;-8’ׁ#᨟v \?GAhZ Ң~wu~Z\"XWc#~ØuZ1J iS,DwxJY-BGh:̯Vy^Rjx{tcO,>b^zgc= ڶfwuɦ%#k1]h5zɛMm{76,X!vw S ƣE0y8Yd:&{O ")k&5Ǵx ۽  ! HOL-Proofsر̼zrӏ$~!2'TYPzK[jb{t6š_NЈ.v1(dQux7kpn\~>֬G,zky% =JUeѲo ķTi?U L遹j%o/#S`Y5Ұ:r!KV  (~{l9R/tyU;uj"rC RND v!X>s0O~%iZSېo_(һ(c^VzU4GdzB#&cTg<J~X_~֬Z/Mi>2Zv' fF/8}iyƓ9H+`i|pD./z7 l!ˇ^ Fj~<\ BDuf2*n(]/v@"a|Q1f {4kd1uì;ԋXOO6lǒ(桒c}sCЯD4S[72.hr3] ~}e0I+|ǘkx>A b N-`pǧOA U JLjpayQ}̺(EN)r6i@[]VVHޠ#rmdefpÄ(յN$4}CRŜ MP~wLOO! |0Ì,DY>nNIOfW{ةT>&#:uC:?AsWkGЁ,$j]I Cǀ{k% 9ο⡄jV@~$:X5_T ܟ'_wxG mhl@wrti3?Ē8(>`*j?Į%363['cv+Ǚ1*\&b({MU㤋AQ2I0F!j _# N K0 nt]y41j8i)1kF ewm_5TDsphC^7vqS=| 9pN}Gt4ySvY|d'y,Nub~r EC zc|;*p6&>@C} k =%)pu[!pӌ@ 2 ؛$BxUx3"%ƈf-NJ/T] '{\D5Sr$*S㮰ݢ2`0eR69ı iwZ+Զ(%kעw."LJm9 k7V&zxZ#G5b"r8n oiUK Gx)ż_x[o06 }>0cu^C8%)z3Ź~N21T4BBqٿzzO9+X/c !'ۂprݞ6!h:+XYe,TR/nkܒePDB=u/tvOBLI%( šg@d2%Vښu HaMRe"7A"2*6jC*Uẍ́l ȡդ=·vKD( 6ȌCd|6]jܟō4[x$'QeGjR(Xmݷ$tsTng_3s B9 .yu7[: O+Tŝ2!rcrN;e=:`WpQ`@1_/NwC* x@ڂONmr!JsBi%kνIh􁮪i)&IS)-Y}O| O><~@_8Ȕrɸ%yO.\\ #䛪U 4raٚK^1TMINԚ7P?TI~ 8,Q;RP3a?ʷ?^|O^Q>'ENQcvn!C dfR!NY310O?Ε+2b]wH9 %O}SnH _8Cm _1?-b!M$fF]>؂EsKyp^9h+5 1Mjq#i4hP;¯P6O_iLOyE͍ô^7pMC-k٬^ΆX>Z46W-.0C1^c 1DO{R@juxc p!Bb&O.l5ZϻgϾg`.s^FgՕq><:*.BBG3wtW#l{Dc!p7l gFS0~!]^Z`\`-"Eq ,~9#Rnx˩C6^Ze*Z(_v:de+K"xg`|xdd[/$bVrPNSd|v}8'UL ƼXLVe縺vPL/}umpujD\6Ll^4 þQ\hs~&l_ onJuLv^fx˵&~}yZy[U,iDʃ0vlNNKԥc;{1՝LGK˪~퓠%SJBG=T+ʐ޲cTݟ@޹F]D]  0ns7I̓&Vډ/6gp'}ko{~Ϲ?֧@³f|az bgfICLc=ךh﵃SjuD,=B p]-,lK:iJV%q@31T qN"f8{#/zu =đ`#9*(=7"gT( #zB,f -&^ aVPM0A8 GPbjH`pJ??*FZtv[J Nt.;صz좁]fÚ{9J6H*)M寂s)ys}zFZ_UyLP,$M YdD_ȰI5>9M!YVR3a\$UJ =|I~y+4ze]fX31DՍQw&yykv{fD,vۓSJxL?*@glvq]/p-; ;ÕLxX)Afp%r(%fR,wByA ޞB]|ff X aydFQB)rPM{/ r+C9w8C0҃BɊ2(R [ʤ% oZR= ޴3 Gw^<ݛzYQ uK~Nm,<>Tz 2\ =W]BY@* ZSqc:)JOu< [rr"x~q$#\B@:,6mqm x@!ox)Զִ :a|anhbU0|9;W{ פ`#SzBmߑx5B0)/FsH$tͥwR-ZUem۱B &REf XBDcN[zM5q{0rxawQS2&+VIm缣R/Jࠩ`M_NHU!PH`8S,%l+{TvݭV^,%Ia27n!ޕg1 ZZao0HSbsK> Q ;#G0p :=:\ۺe B)Zҿ G?HB -ZF`rF0ή~^uc^jW2Ui6ÙT h_/z=gYZ7zXZִF! ]ŗXi%6xSoEga!Wk.逺ov08VC 0 }W4O To3]Y]Ȅ,Ns$yicM5 U9dfHZZ&=yq\zdC!r#wߍp9J  )^p_X/dԇpo:=mL !K=\Wo-J/ "yy0y"h8tS]WPntwhqeѮ%< lw!Rp]CƵ"Yt 0 4x ``$^(ьmO}M琰WU7^Yx}_V" |$Lg1i 4Ir}-˷uiF [iW7ffDF)~ZuZWI2*p1qϊ>ܲ%E^=rL^ 4-j>t7~zGx0|JJ|"tx!07G֨ra>K̂V8M½9u&ivQ$UhT-9.n;iSDX͐>rV;'e N_{bثDergow/k<2/L]4v[6>+4v* hi>FS[u(MƽO߅1*A8fP7bHߕWX>K՚[UBށ'.U^Kc4@v_VbR/dl̲#mI~_v(1)Z\zԼpȋ}m40Ë,)׿w$y& I'P{>h'yz V,cvm?e3yœQ;Š8OOٖw̝ Mp{ɓU $q$Ow8dR7(E6 ^G]Sx6`?Tog %;N`ka8tN#A@}^%v*&l[XOܼyCȪ*i+~9W5^`5ʤ.OPy/HD'Ӧ_VCL J2@ìۄ4zVg飨+l X :K ݛ4$9()7}| q.a*WJgMAF)fXf.qT{̹?6~k%0 j(ˆop=Td-,-໫TfǷ 0q+NJ6 rp^]mHQ4cG_4Eeap/)]4\7ZUVe 蔕DD^|GH{;bQUMb?Mc%A1^IW+VrfޔB1|nCK G`O|ҟ:vŕVYp$dZ2HV&[A%UtF{8ǃI ۔;•Rq:"Rf1(%Y)l|w^-6F܉zI~tڔмa=*UPfXKZH67ざl M^2gupRFVPiBy}j#4Hb;]J&͊R4٬3n)i}Py&\~4A$"E0lM$WЗ''N/21W*67tOFmRkKonhnQ/]M=gi R9RN˒ oOL~ME9$W-4HϔsQ ]/n2k8~q菞<Ù<?V$oIfW\XH !JYBYPaDVstf.y~ScH4NmH&'١К(tdNiG\YnK<6nUg h +v;38$97RA &.x!^fL"ZW+^( ƍ)ima>՘^,}xgJb\Gu;0}GI>ogOʳPFhwWy%Lb1 zEmܿ{>V)0L2g8<0 a9_i;14Ε]~̦A[a*ixmzy,)psu`4ן<:$抍h(#aީ_d(lQu'O_ٞ BhS ndR@V0CA1Tp<iܣ,EU^p2g#4Y5A6pm(X Yy< f&.dOwzClJeg ޠ>(wFK u4kSmq9۔a) d.''0*nC LP<͝VUN qOA ѕ{XcW,$G^PEd#aT_1q;g (5{/F6z* [6Y 8E[:e Yhd8֯se ?G0|g ӊ[ֲ܀qfͺjK]FK?mnU<텎 P[ҭp0Z̸t[tبq$ ..IbvWgfؚ1F}WI܋Ŧ8vpLWA%O4_׆ov)fl|W c%FU\W5e> 8;6Fs/i 8 kٚj唪A}baU4O e[o&C yO廸εU|t:BcG<,#Rw 6 Jςgv1A%iJ]?N#ynGKG$%q;퇎?p j\8m`p/ުBGߠ+:c- | o*u5a Y[ px͟K@>!4 diS >_|˛aQ'pUʃ}cM⛍2[9oW0&L3ekY-M&_~zaӷSi,A`nF cU&o4<̒>H) I@I`_+ex [ѻ@d)FZgU 7s+:rL$B5nt5N7̄4du7/yvxdD (Tp,:!c`_Y.b~pëALCU6t0);|򁑹{ivlw`kWpl|45qGgXkAkhq090uO/mI1[""CZͳTk b52B3F(Pj{Ag{TBoDcJ<}O,SR?!u) |⎦~d?))q0=eu"Lv[B(86ll÷qȩ0(ST}D1f`"QcoL3TӎJNրJ ':`5Ѣ Sp~Wk(r%u P4ETDf>_l`<a#pQFaRF@TN[_ [9XQo߽#Tq.RSYX`0SܦLb{uJ O{Xa}g!PRj1[z h\ݏ'm*i)ɣ@QcƉ0|ڭgeki].q:WR@2Z'^~nU, $f"=g޶4bRJ/BPڑSn3fH(n9?CXp=QJ& {EC49ޡ/-Gr1F{U Zlb"?p3>/I~L @K@:HjÔe_>o4l;ߒoDdmA7Pq`&bN:q@7䄕@6,PU~Y*»LE_wxofENcWLRiafhI>NDŕ`gz6(UG>,`9Kц{@b[;i|gNN5Qrz2eѻ/y~a~4ΕmN:_:8CZI찃'2)WΑ;ݱV^ !ofVC ,BwzPKV7EUXЋ7^%sI N,F%-Կ`KTJ,F12-C`%c䴸h} ] uMg_;֎Цax'8LӮ"yHJJxWW$Fj3dn#MѶ!WqA6T iqctK tEJC}ɽ˵8H r!; KhP_1_%7M_B{TQQL\š6Y )y+YKUK<']P=2X9'V m4xR.[$h-̏+I@ރ\ вz((II?#_PYEJ-e1yt_8ZH$5҆}3B5[gǘ$ᙗ2EJ\3iC.h+u0ώ0xzдSl9]~1NȌ:7 cN_,8׸=kc@1GzI拳.$#,Q}[~Vq;>\҆! rvWΘeQbH?WbTx0QemnnTW!ꥳ ;\m¸{, #WxQ9xI+C%dpx?9nf,<:aۏ;tcR^aՎ<1n9ӏIkrU󇱱^]qiDA&=- Aa,y~d_c X4q0 ^26 8<#Yi;8XM3;7ncY?0t\ cO)> OuWJ&Ew۟caN(! bzĢVC6 ;ӎTLox-%XbMcP mgAZa$0mr+{֗Tft4fd j;_X$q qLCI;Y}fIr -uQJCl ڹgN8dsKcQNq> ` "7Pj v,i!w p=77=l-%Y%'meb:ip[3 +JmݡpMifQ+b%M P`C?$T}5&) YZ4{b]p=hDM"";tLKdvz8+BV 2j!2t2TbcLÏcRop~aitO=5z!Ã[byPNEŮ2'ZW-~۬a[}<~{~3UdCm.g9@+r :OW}A?/ls_ù]]e, IzjN #C=qmeļ5M A-l_y13/8EC587 hSX\;;cB>IcD3>m>Ub@o"3uTFj+X2 U^6 oqԟ!Կ VUb#Pb#Y±$93$c2a٠﹝obdO|1ni⩐%܃Rh 3_-}xO-U36TQ P+wtODLϒw6۠f華G,~f̻Q |Z) eQM#P+0@HϦVpbE}5qu1/=%] VAt-&lĨ!5H .pSY?%1Q1>.i ej]c ޢǗv#˹/DN/>PCjui Y95DCv*wdT >i` .5VfDмʉe(WCr&um$5ɔpO$? [:!׍E5Yl`Eis]ʈ%᣾_ #6L?EitձwBބ^; p ؓݿ4z\_ߐ "`\mjPQbZlD`'k3IZ9D+-R!|)p_?X: j7t@*Jy$ʂ{jTD~RMx\b¤Gꔏ&!vhCp5 DȤ j;{` l>ei/-c+v|=aa0GjJ3q_5*Vq_!Yh|#1:U(JPKKoF"wBԽt(P: ̉-m@ԍbME}kl|:ۣ^Q]}⭱@t,o\x-%eah~#$`x+jYt{An%#3yLTKSZ W)̬rS`tTĂܾo_-e{ >u ՌYQCދ-7{ kg>5<(ѱ?A/= ;e4#-8^*PgwHa) x- 7.X2y!dey^E ͠RqkJ(%'R=+9lyJj0n25tn0s[ꛄ[nvK¾Y !wle:. .Ed",^{m~wJrcK:_/lNX!ؠ [Gf ȄPjI"Y$ٜP>ǃg}NPW>_׾^r s,.*[h*,PsA9+~3v@&)d)ւdOMnm];o z?7n+(to˭ yخ^ّ*n倧QE곛0 Dh27?k]Uu8oNqt52Ã9i%!Ǔ≗- 4pL'g>!gq]Kw:wDO2:C%8OOڪa$GiJRvC |1$ҭBNBh.[(^r=z PCe$^6',}|@?SjI6-Xj 188`@t8^uf1 ut!CϓF@.,m.{x]\m4uH S J%YJ{J=S pgr>Tb{AxqgM /x8%rA㋺niފrZqsE~PەClb-OTLE8Wm׵+#zc}>k"|n~P@`e)t~р)"V6M1ƿNp,xDճ-msɜ=*?$+JvMӽ|ZpڥQB[I)$#[UC#pВXP W.p 15 m 6̤XD,xgެ!Z񂃲Y(C"F2l&a֬*lp;ؚr<o??D2Ԟ$IRp23P57 TA.Ë NFӇdo,  7c@EI摦jQaqqADVIHYMd%^GPI Xsw%>|Nf6qtАZ8Tb&mM>IȐxSn-DnҋSFcV3,^ g_Y@o vOLµbT"<4V D'j~npڦ<ɞtrw֚:d?=rМm5zb$돚B>qqyDC[ `@1vA sn3xȺ廽XQRW4Rþʉ&Kg@R&ݤ3;ӑߗDܺ,`F4,'|tĕ"Qgx!E%+9{~cُ,[e/b_{zE.[!"W0GP`'?QóݝҴftnN.wmk < {t*=92Ꮠb gznɰXmҦBLo}VGϼ*JZ$Ȩǁ„xq M۟KvkQ94qG]r̀X-}^ItbzOkTaH $1 ٩F4>9TsӇ_RƏB3vZU;5<dGX_f7>A4,o5}5N.w3=w %OMT7SB%Qne)-YD,2 i>]kOʹ1cpH3Jv9@z1{[lљsFBuh-=/ >?xkHW=$L}'*H@_tދD9NYP.}<`7>6%1/;=1/?Hq|e8CNudK^ޓU%^z"dS`FZ'+.W`ľ (8&f?}Wǩ]r;Atk/oHbʂ]9^Z k,$eϠ{""\I5j)hBeDTJ/>1DvS%3eƞe+%K kea} 3Ue=ltFw1uoਜ਼t2v1F&V㑦x|@sb5!L $Q}[?,1[8?NM{29x()ŁSr5RD{7r% gpETd/)]h FZ`WץdzYDAdnj7y}ӺNrRq1N->IoG.ⶆCŔ۳44 v*>JDz>հoEó@%ii̜So4V#I/#^kb3{88mv)={zP^|KTWhQ Gkiy(5Wo|7CuT&N|d uǛ&^.@ښ@\S150@>?GǬuQ62ݙLY%*)9 CҺgstóHM|'>mYhZOD/XІxut; L* |nj﹝:ԣJx [GBo tkk衦X.Ć.l 9 h}%W -[Ϝ,ϢnCFuy>~oX\UCWr*Äyſ lv(Ph!/Џg‰@nZmm"=Cf;#b~ r9*$ b?JAAsPiD!l|FA]ߠ?!E`9e@[~ r({/]L2X͕#4(Ag`"9y>(CroYmծG7mD!(ENx|}>g6'4q~N#M+wtʃ"=厬.hJ"TF 48,.V*?lfX,z^%C\IEIHJ:(B:Vr[z 0mBoΘ&/)z¡o?17*^xݠ(SkJ˸HT?7N}ݷ髩bSD^=}:XdU}{*l\y1D)喢gXSXY)e/c5K@pcтy!vL7ASqBM<^=Rߘi듋+PNiTKtA.hSRwk8xu{\g>j x>ȭl τ:{T|qgx!ěEKH_b=\E Bp6x"ݾ  Lw#z \\CҔj7-zSI$xyS_5AOm_I<)dtg>GZ@WIPr^FZ7mzS_#In( fi*_?P+rS)BVt>i(gbB$JT~xNYˆn, D⌲ނtRt! o5F5]nm?*+ *mGbw%X՞LLf:T2JdvMAO8*&qNCrCm8l!'\t q-u\yP7:"3)&CH+IAR%I\C ά$!U[v{̔\ٓ>K[*q'm 8 .95'Ӥ~M-l~Ď0=\iN 3F&.F}&؉}) %IYaeګXXI"T!38ʑw%z|6+1}PX꿾V:9`&"0(;{@M~8'Ms;nEۈ-!w^j^bIvԪʰ~.K5lݤ6Ő*ܮعuuȩwqӯAS{fOe/:lW\/&)gb4bCSROhv e>/JzgYr::r&x)"!#X1o_f 0嘆Q }{ &6m\l a S#،uEZe )Y5ɕ_to|W V\, ǝVP *!6yF(sv$,?ڨ(PbC&NE/ 1%G4`='ts4S1WbTׁ#B5f85ӏy]%LZ_RFF&K )oK/#vCXң"w?ԀN ϩ`AUq?Ձ9E̷h)iPx]q jbFNm1W%cM.Pr0֣Q"VMlȍm^t`pK? fF>%xgk37SZ(zuq6ػg 3E 25O' A|ɺ@U z[ُ+/G'MP]hyChktի C_{/kƺ1+\y-o>sļ]4 P dSg`E3\[I2\?s=64a/w}J['3I>A?_ozPP%j%PN4'l @Aoka Rf_N2US꓂mBP+ͲR0gyR"a}N!ʶAF5y|a&0 #wu? uW=(94uD*7._+I]z30c4Ý.˂%enOWMu]W'[ i*`Ճ/Z J#K"p:O ou._'_np3Vʃ6?TTLGsO#hs6"z?f oJV7{'A"7}/*ZGjYFb%* D3'U)?HQ2U/QaJXd_ Tr9`¥390(eah!pKcDFW&Zj2UB66"?5L܄fK)KLrY1*50rÑ!cAeui2rֻUk!C+0Cڜjke_W־"7]ϥj8L MD?6~oKw>y7W yb60w[9MWF5D^n: lor,J1͗.Dsn\_IH) ,3.qlaId lld.9ߑ5 Q}s5tK Rek(<*!h11gR_B? gvՓhyǁ Ɯ:q^ ̮A4._?e:B;|>3:&bt&Eŀ6 %jBB)D&ZTuA1D2g")K D )Z]wg٦f綏_gl5.%{qCRelܒDD#^}n+H:-p'-d jC.ţ.@updwCnwxp\~M}yRjd˜=qaNGW>.@NH#K=yTۜ]xg-x*@P=xdmlϬ&`qO9"ۚJ&""-9tAU'Qy{(cb 2\z.w›+wruq|T]=hJX?[-sWs^*w{VUj7 RsCo@Ksǫk[/fCfhTB ݯ'#F]߉.*VC*pLm#8 H?p̬y)C)RD Xku~>F \R ׽|U1mBk(NĜ57Z,+ %Aomj=e&7s/ q'ItF\h 2[d[ "j6 䆺8[zZ/I@ԩn Prea{֯ǹ:]/ g{M%Zqf1d,Q FYxkl]e ~ilu|3^?8VҼpWl8!N  ~Û]LsF9ai.#h%M+ʟ;+8e<{_MuqW V&tp0y4/3@wFFSM8s5I×˪*!)fP@W5ΐ%,/o6Zvn-Y$Zgv)~qRNʵa+IMC=~S;2po4^Ҧ{{7䵳' .Zi;@P l2}2i:Q猯]1N"Xn%?r{DDM5PD9 qz e%iR#c0/cË\.bLr"5f'B(: $'T{LL?߁qϋ6eϮ⠛:ܗy*?Aaل0gKB$ QT͔oI1'TU#ӚZs`l^Whf&XL ܊wS&=! gSHjIM&s E.Cx@rZ4"0΂׭St,HOc` >:D3U"4kiDj%e*s(WZ6vj?DD_=?; lg[RʸF}yvuNLeO&z]m#LT1ηT)%Ig "@&k4Tߦe+g>^u˾8jl<9VX!- ## if#^hn -f:6F_9l%[>Ah;H`&)}saM<ghsoB7ks avarQZ~(qw=7@ƈԱwڂ0L{HXZ1y٨0|@$ B4ʑBvM"#Χ:JF~aVI(k*;dMYcgQbωE:$DEEuzMK 1p!S%T bfdRao*Ã]' ZRukF{H` @U S%AWky. JQM_.bRfWdtv@U9f_~T1B*v%<ᇏEEoY.\8P;$?l:'k휏 bgY54z?f% J=O"Y*Y6Wnז@ڛd38`DdAZ$4LԷ>aynb L/?؄>%RlpE5z#~BcxE7m$$%j>[#g?8 ?bLۍ5][r1M ?(Zߛ~^j1/xGE!@7u0VGx)F8>0(ݒRgǒ-SoU0&AÜmWp8un@OEἃҲp?wsǨJuĆ^޷88(_Qơ,A Xò"+zD=+\ʝ>j!2RUF=|ErRiܥQ0#Y$!Iy{+k n>||E<#Fn!p`&ެxikS'-^s˥6ݢK.bw")-tLo!JwU8gKLJ;$Q[,_e0I5˙H?SlnUr\a,SA&C YY͏-9Щ"4| ឈ0R /zgSmj>mjv H>62;iRq܅J-ʷ%&_~CTԋP@kw.Lb\lz.*)b@~ Ӈ%r'=ͣhKZEa$ÚE5.Os2 XcG,jtHc[@JdKሶUodl3Fx>{ھ`M%ë谑^qjd~z̍V>D'{: $:,yG֊pD}JkeI;>.%ih:IkLrϓjEfjRZ[%|N,I?+Ap˲+R\=7ҷ9`Ozp}B_,ףobp`%8텯X*"lTz2a11^|++3yy/Eکk-̗|x}xK&c 参:jR8(Q_҇4$1 | B2-xdMuV!po d qw<^Qiձoط|Ƀbb:~,\Rk?3@?V1)G*{e2r!mgE5(^"Ygzu nspe ? oB3A|ޣ/eʷd㶗w#wy VLy=QP juaĎS@ f$h[ԄM+\,26$!3[!(3 +ˊ rzz E5P~|i fݶhUE }%:L',7pF)J_G.(Ip5$˃K^ 3&/h'UBDFٳv<j<^9 &e dq[l$wV\^]p4g2GLͿNk_r*v-JC &rC{Dd]ltXkDG<:R1b֞olQ޻Cy6$;Y4V4!xi$HM(w\lgM:ֈZ7wuCͭ U߂J_Ew-Rvz+{6$ŹHI)*H[ޤ1_okRQ IY#3GeS͎4 EB[6fg6 $>oX5@n-j#MvstoݩCs+sTmQƣ^\Pa?+u=ZSl6 I3G .t@ZR:iCX5{gJkC i|޺CFfgIor??]u9Z" q "]v806#>zsƙ8**|wUD ]oYN/ +GC~UE ۯ+|ȃIS3JI X1ŏ(na0F iU>eJf(3AksՂn,;rfq~ۻlz`kEIJ\?Zvcw4K|{ dYZ f ]Y:`}^ځB{ !9DZ9Jm!|5ۅcÌUd (Զdc{v TL-f]DuDfHښ~'WzdM7w*%R/:8mlȒ,>̧W|5hLzƤmּ^u":e5.MhH3Ǿ~ۂwPk 3];μŃ-H5dآ3`߱ w9&j|J!CW]0  FV$h/A &}|\&sI-t *-˨,-7'TD$,<~3L™&uk\Um8snRw)GEr)2=#(P P,ZŠsQ$]?@r.P~ {uEU^2""@@蝹NGk}ҿe՞I#X|v.RJ@m9{ek"׋hqV/)F#~[߆@!1L%-'\l*$E`"g/ >kj rkc߫"&jQsOᯍQ۽= VL4wFУB6jfmY@ÎK_'}Z|%r⽐r(M[Zj'i3 D}w~Zf3 Q.HcXȭ2<@)pS28[P:!J$y#\bsel MK7)#y#Hm|7 ̄y׏"qJ%xGTdy[ͨ( y\F@f { (ŚplAV|oW!! :^!C`u` *v墒8BsħO}KfIJ; sg '|¯OI%L*^cwD(v/d;ƣ ^lPDp!f3F͂: woT6"Xsa"(?Sv#R]_'U(cڰ{T;Yk,xJV]: JgY˺/ ڸc?HQW`o!ۨzԜQ7g;͝D$JwzE٨tkx%y?q"%|VbNd*gAc}Ei)u /'ﲤw;L|yEX"fGY"]^Z)@8I)f/l#$|TCooU z#I5v]J˛d8BS~,` ͪy{#K1D⟴*Xזଖ,m:8!@P0UJXj.$}[ ze@ٷYmI  (ϭXd&Cx_2U>%[7э?}ȋ>2y)/N%`{S3m0-vĢ|{M VɢР')OU"ۺ bV0r'e $ h2*uwB/.%@vy@F.*Ke'Jz'N L=zfwI13t^vR-5R<ʈ~ 2 WO)fYT2]{g(4G 忧j DZd{ xĆSyI*2S.LpiCŃuZ!YTK0Kf̌W{Xi)ܳ.;+RGd@zUyht< G[.|dQNfyv %<v. 9mi<Mnya}T>tج*Rg'6[2H2:Rޭb"Q:,&/p9u=|hd3`TfYaT-8! 1A/W\_i=Z*ފ޳ 4XEqܤQNu[aBb{$CGE-#=V YY88F.oՆ(R-dė>䖫)a5,$xZlyp8.|B2e-|:Q\]/SD+MäoϳnWK[4 Qv{f MQ+2-ØO. nq*jEZT

=tlAJs)!іuǧKV؄8%{Oɂ{#cHz1\r^?/4=xˇ7t_GN[yUcpxBtRkG&0Obw(,+ Wڅ@\F#K+AFk>;9G^5i04[(^_m_v7uO{P'FT| J q qVh.-:V1x "8[ WȀR2@,@Y CM۷xO30"9u=d3\4.h ϛ!jF4?TQ96xњ;%ƫ0x"=\"9Bx@kez>|lu85G h˶f8OnjQ69i11+U>{_q \^IT\fit[`SGCe"j:IDfe @"#Z5/(ݻ%= !^Y!ĄAvŧ\WsuVe4"q(mM u`^ٷ@)@)CVF pmxkU/^ m%==\/3(.-aδ6Kh|%iEym!d믳ҷOZXZ\$a_5vs?/w%%unjv[o7f;t| s+{=( 绬pnM `#_2i#{C2]R3]dž[D v^H 3!|(}7ݑgڛysC:.ީ:~IiC`4cص }iNtg&5>=ǫUi\pyGd޲ o}98x##;>mVi|+nY6Z\i<&U; 0=xD)+ ~%AU {bu,hܫA.`/2g\svmp2Qs_73]̳Hn~iN!+ + +^u%!eIfeEĜ?SDki([ɬT.{5@!C˥uec1xnwimf +⩿DawdF-0{l.1`&[!ݛ+ʃ>Bpm9FQn9C7OT+f-Y1RP_k]˹R[iU::ieF8+q3R7<2'(3WMeM. T3x k@+z'#13{>8:Dh#ƂbnH_:Żg'-%-˃@XUP]Ie[D jZ` vQ!?I[o,>Y+jil8{dIּm7L0vRU 0jb%C=$بO،IvH0v7xgS+$ K xg alhl0*BA Ϣ_XOkQ<(J!V*n?M?i,(6L꛶ O㪈Lُ#/= nΥcf3>?0>_Hq,r QVtV,eQu@Oy`[ 4%&ss4@[`'^K?xϯL9LT3MJ>^bQ<'3έZX#::,- '%8 ~wIFBWOY&U/U/?;DД}P:V !p}5Y IEYKYJMv`ɹşlI4v`;nmX3(_~Azb[G@fq_{P'ﭸQa$ KEM$ zk! "FL]d4+`2L6rpʲIl c{֦6m x(r`vAMtt[BPoC\}u+ ճmMK [t_VlLR='. C_O^QǩQt&{P,K31݊ ׸ݤ4.L]$lf{b!DievtK"j +OA.V2jQ tw dfvtzDQׂ*raa@MsV{\HkI1k߻6EVO?Ħr]M†/ -(I~DIBl@9/MQ(zgx0'MI ,6jO5I>Z@!ACLSP-vn/%b #%cKZL'gFlFex|c`O9}-?&v]^ڲ~pZ3  㜄swKR*zK_$J9vQW =4eAh_TEn@Aޘ5naLBH7|4*I 46́`Т`L`FO"z߼;#(OaV_ߠCvǾ%>(ec W݄w=MRe|㖡l43m[~'=7K+u\ kKf-TC;+Nz74%-(Sa-mDQƥNog҈H,Y.ak4^qiXxvw(BQ@X}tH!\K1kbA8x@ŗ6*Dob yr 4&.RLOid5]c1E9| mFE@Φ >RGw,i;g8Zbx|9eHh7TpDS oqƉ~ 0#:Ts0 J:ҴhV$i`xdtЭ ůqkCc㺼D|Lqw{HYUp*q:Jr.}[$=#!9CX/h30QP_nN,AY!_ġ n)i%<4HҗT2HX%E %p+:> lyCD7e4AAApobjdYRqvV3!]ocn] _]vؙ̊ 9 (ijªDk]K_i;gc\N;莡U2ӀQmr* &(&'A0y4:Z>fKL%Tl_; *21dl-Zݯ8`tZ2^5:T_Ap{'XH ꅉAl%䭞Zd'Q`YF Ȁ'rFƖSן+'їv|"TGˌI >+qKNBRvL1Jb ϙhdD,S=_2=B[s8ϼRqC8Tn4.?wѽЩ8+1DEԺɫHyQWc[X̫q\cv d8#d_XJ^Vz)6m_t$e}TBt]YlV 9$vKnwЦ;bm?e&Ouį^`x|d*]ԱFBR*vAh~ .ٓnj_rgJ mkTA[b7o0l%+YZTA^Nѭb| /(tq' x+wm~;:PB>*\fIPP|6ߦ(G(.hAiy}umMUx|v'v>ۿ1 m;IM4q3*5D%\ZEУ/26M4LBYq͢ ypX?e=Lsɽɉ8b!H;3t Xą-cEftg6yWo9d^zL4e>/+4Ro',wA˫a*u6_v'VcT6n{p,QwDOjR\_֖NT:9qI {KN&rtM0DA]9J&w NЄc<ׅ̣߻Oh<~Fё47d!tʂ.L'?5"i,ztϘ~&[ ›io[ؕa֨Cm9E{(uP_n)Ӝr ߛ9ʞ n#EyߵktF0DB-+$^aC4$5{SPs!Sғؔ<zM0;!#QՃk|n?X x=( ,Yc%=,J@O^at~[9u#so=ZN-U&Azb6?\`m%5 +b۷͖řq@wEt/$CA/w7j .) Mit j "(ьߛ2// oƸL4+M%A>H Vz!-`j<ެERJm[yKI*cyfIR&}cn4EPD"9+0uSjH!ª(yWID~f3xXX@$~r'юwukWp>=Ol$ԢA\)/4dtEP5%6{MٵK޼ы֋ȸx~a籠Ea#꫆P\N6y)л+5U"vAV\_Ř5|'ovu,a[3^8`qX.%{`-, RB0Lp.O :?x-Ycj"ɬ/U~I\foA/)6iwdV|\I ܳӁb֢VWNk qG1pc {wA[_,?[t"tF3O|/.r*Lܑf4쒜n#AA6 lQ3ϷK𗵸ЎcD"&X;-ɏ|{Tʲ4ı;z|/>g\@w}I]5E?1yEQ[#w>}nGYLB-%i1MJ\-|  * A ,/*Peq4#dӛ+^ {#*eJβzg N򝔝6ߗGf<9yz!6)cmnР ȉۉGdyNԫ~yΌHoa)+|SظkQ..:mk.$ZIj-QcXɈPVR; JxVW_C,$#J>߽%~-x9侑S1ŷmLoÖǹw.J]w] lC8yWE0чoUgmMEۇؒIi%s,^{oЧmER8Ԩ:wd;zP