SQLite format 3@ . BBh77otableisabelle_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 !D|D ]]]HOL-Proofs:threads=2elapsed=912.607cpu=1611.508gc=203.336factor=1.777zXZִF! ~]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_ҏ7l˥+!sm_m.`ufaؔr!#i !^PL*I\(b`ƱDa-g_K唠4pwAZCqI-m9oa %ǻ&x,Gg5JAJ!XW`@;a] 3m9u4e.PFht7X7!I' V5z]\az蚞}Po.zuKLSc˳%e HSAd*[ VCxC* ^   ! HOL-Proofsõ+|'kc?EmHujm~1e_s 0(#(¾PjX:-X}~%н&M6 =^ǚf!5 6bRqȝ,sϳpJA/ DMGmcIi.B* 6Y^Z[`J7voxi-J,xl|DΌ># I~1Qʠ2gt&[] } @>]rZ uҥB(#A rr-YH+)_bk_%gbF"" H|Q=2o[&`AG>{^r&{R+>E xKԝp#pEsAȌPs `$`Il8;sx\;3A3QK& c@1GPo;J{Ȫbjk8t_r5|ld=ZM=ͩC05wU+gjX[H qvS,RIWg@b8J4ӿ-8s˾T|kgd+{;Lk(gg5xlj4Aa7,b&5O(eku99n//0(vjsjwM, #]__~/iT0! ;ctkѭGSG F͞9VWjMǠ7geYZ9Ø`6B#U^*/v$j }EP `* lb}ʨH5@[|iwĥhA"-lڇcMC5(חlQ 6a[M4Q)Eqp MD$_5R’ Aƒ*_ٰh`.X$VZ{Ȥ '2a? tDoNr2TGd뜝/|,ɑWِȩF#:)&'F۫X+L{Vu d/"eCSG~ 2Y@% 2vR,)IhFH&+<@Lb yX'0Odtq`< aȉgtdQlvQӈh9?!k?<4H*ψ"hGDh%N H$;&08nL{jGVMZu*zqJu2%3$nyjc@.,\ˋ,[%%\ atƟi!IDS<}7C>\pWM*l,w;t^-!DiQu EW%ˌ]QhTuk jX{>IAFp˜?qö_}bz3Eac "rM{.+kd7 1D4|Ktנ0 S3/+6~ א=JҒ,H!_7ci4Do~pChHʳ .IlWXW(b$r:vr\_ ՟.DhRoI*~ѕAjdOEcI.Mwvn _ߜ){1Cc0Qi;['l勴 `+*wAnZ8>(xu{P nwX~6*u_ꮦ:.gh%HcM{hV!Sy$̻ .UM}"}twbdi9FC20m_ߌ,x%OѐH!0Qlsj- :*ޚQvX: \0mu,iKVJ6qunלP& a!>̏C%u .E=GsD4eXީNpK7ݒ(W-cGMbfm j/bHO0?+_:"<7^9gӥ#X@MmLY -KF%G7?lszEa)FT&+"L(( C$d$`YS7 @6$[֋?ᴐSKuMآV'^W0IOTzXx32%([nbm }J9d  9"ѽ![%A) 4$y‰ G0W;BrLK\+^ufz|̧E\̷E#`Q]"*VV j):gB$mt-ޭ/ ''.E]oKQEibBNiU OiR@dfn+!(ICrq 0%PY̍1>VvIKuμTbv]; i>R^} ÚEke05&+ԭu<*{ m+GPFLEucW%VgHG:@ݞ3;9 [l2*+0&h 9h@olրj{;X龮}8"s7Kw"S?\LJPeKH\4=P2O8h%ձ <G_DrmOz-A(]R,'=8=J* `igJsr"L_.uțӭZ 2f^/Aʽ= v9 Xry[KTAsӏkB#T;sپ ?13X( TYR7 T73Gi 3 HD#6GABK+ ~k()7B_h#ڕmWP:`"n43=۩'P9pfOfļXA$u졄'] uS(+DޏԽ{<䬋4cF/Ivd(-kCIҚ/%{5U7z䛑(%#.5*Is I%fr%68F6exw:GEˈ$YJ&5L>;%J{T#5ay[O ҁ-dVR< +jt}+h3.t4x#Ŗ;f:‘{ AVʤFeDEh2b`T  (ӆN4:# tH:FpT/,Zg԰c3L@+1ϭ<_9X\9#La/{r`QRf%[@RoZ:<0ˍ%܇yXf_^ 90(e;UΜMJ&SZ/3 D?bL2'tjg`J٢?h>x.ru_*}ٹ`#h0ߌ5ԼoW"W}Uy`q`{#g2!?O?&a1&U*8a>/n aK]5ݗY(1ٸ1[hkW=װ.py?͓bɭUJ#  <3o&5L{^R -}9JâO&Mn˥w3G^wO09KlI7I)D4i\/wۼak(zflXֻoÜ(CTr"媨3_`>6,LF]z(JduN C.M?:[.xΙfhFq=sxwOĬd̤6Sœ^Ty]z^ۉf)$z *8Y/ llɿA *! ʄOaZ*!6μL 7^;D $3wK2e#lEME+-gSG1G&:) dBiV&~ E9ܫAallrշ;K{Y0:0'Jܓx2n5^FG#<ă#=>xXp.F3|cxyf w/א)2DQ&ꑣůjebU'|?ԑ '\x:IcOl)Q!VLQplM\hhg67w~ݮiUZ l[-c!?` AL -?si iaHXv/WO(]ݯ`-Ay'`/ٛz\{VF|eډ<[o`P} KFlcGB.?daSAnT./i~&Q+AuPe5Dw \7HM"_n9o->͟gYZ7zXZִF! Q]ŗXiɟ29aoʼz[%U>EM!!*WmIEqv[-+[33 keLHt.;25ƚIx]?xru&t`MYEe4I؍n&ecs|.C!ϡܿ9zfA]Tf *]"pE&)s.s-&8AE OG}ކ* n R!^(BH"&*`YU$aF {Úñ|Ns:z%t0`{, x9;Bަ%g̤&c $5/7-LN\[0Sv\cYtEP+6d EejFl"hr c0iq ʝ/K |q_/3qցi;X7Y8D/LfxsDYrQϯ{i|t@gFΗS-ֈ.g26!S`rK7vrU1odH_í9U{ -!qa$\?#flγ/,u `sD-CtWؓAm}ȋȇ@L <ثj2kyD @0?B (nYQl\ft!bͽ'!;|dcRG^+~4:[UiXnXE?r{ȬYI ~;2fsj9tQ34uZ ?Wqfmm ݷ{.dkuzG]:S-b! cqѳ]1-2Uaj?O_07v@IO~iטlWv{ %Ok h߆!?VM'Vi ߻1Re،^]e߇q;9- ?`֡q@OGl?m=ͳso'ٳ )6;5 x&PWhMW~nMXϴ킂ǜ8xM a>Gb?bUg>dp c2֯0P,+0Rձ}!Uܷ`=/\+[TkUVCʹ.o1p<]!fz!= U))eᓔDmqLc?X܌(YRzfe=I%)λ.<'s`ɴ@R k.ߨwG``j)<&e?nΙBYGbCgݎ*%TytEt+J'h_5zjWT}C=R5 Ux|ACd4)*^K,3sO)ortO`\=ȉI$Z~ 11*_'MxĦ(a=mec$;ˋkM1U}|/EfbΠějp""E%fJXSCGj ~ד6莝_"6׈j^<yT6L$T?̶# ~͈V](suEϵL4 "\F 2ϱgYZ7zXZִF! 1]ŗXi%9(P)"a"sTp_]Z. ބV /osu%vm'w ) U l{(z@ reXCA=o8ڈ$Yn)RPFkU~BuW8Dĕ[$vL8^Ꙥ,.]/-ǴLZ\n"m]2͙8\n-p#x[5bBEWY=1GB6T;HAjg lҕiom-^㞝`:$_r.c'xŽeaύc}IDb_uyp \֬\ܗ fr8ŴR2U?KZP z5Ȕ<~`u,lA|Iyeh8Ñ(;ԶI'3[]NYŒS2$T{,'viMم&llOU:`| &cnx̌J-S vX~["B݄%Yi;/x׶4nY/Dh9lI!FB*˽1kH0`5@?ƫ[QnD 1 zCd_ͱH]]`P?N"Q"^pv.asbwRciv?'F@XOnrzq ;(z'D]_lw}NLiˈ݂PPͨJhK2))w[M_U@yB46\z< *܌[x޻iCFߠ[9E{O t49jr3<05 kV쑦AL3 ;ok/5vYIP}躨TQ flXb}o%D?bϙ =6Y'Ч2[tDJR]j21ˡ }X濟-z PHb1`JCi%EpV:%cRh (wl44 &NeK%2SNAի>I{/hADw7-w[At|KT+LH|l5!PcԻ{&d{.6͘*zix<)FvuiAE;AḛO~BtD9A(4՝-3.&+&d;PR` k}t [j> ltMK'2msA=R8]IUA)}IRy&^{GOx1~kͨ$DQq(`s!)s'2.ֱ  )fݵsB 1tv,Tf+%%P PQu Ꮿ }3WVN`y#t)8Rs3#ݩ9p2]tAxW}E--[_d   waxckU% #x2 |q^75E词I; LG>"ZpLbQ?\ǁNÓاO@"R"Iy̅Dad5[uU#<|Y=124Yhlgċd~Ɠ;]a%5:ri\v ^S2w.~K<e"20K '!0d"uN;vkl-JxX ʄvlk" umnNFy ldR]W׵ KoH&h !@tJT3ؐlu?n`_B8I"{;T%։MYmZ}K[E2@X r(&8WŹ ɡzO1g͠BQԈ]ۑԯKC2I;<]A %8 2Sj{t^2_7"uрdYoP'?bͲ`mP*˂:t *m@I4رV}XQj MKT{^-%:0ue%D(͢Wnb-#( Т/d%+ÍR E b]7O ?.8$IH?³n]?/ 7U)QgNRi,ݔf~PFxB7߯=?y{}Sׅ~yk]s҅I>ZIXƌU%@4օ}$`ly cB>F-r?FD;b J˻醧hS v[5/y^C6#MOLL1n} asdDru")RyJuq+]ʔh%z`ҍB޶:O*궺Ξl|]/@*j `HՁjڮn?J~ql V4^ea'{a Ջ͊IHe|R/9 ubI(#u*<+SߐDq P3V FnA_# &Fry*VJs?g  BČL$B't kK*HzfCA⠬DYqflޮzZᅥ9ʷɻ!;BVQ{+yG=0A91/P҉ng[|!_MGLy{*vS@~g=`D Jy<^fG[h5l <7&~f98tRhE'r8OH#ϱ~3>/M>Uv|VWSBI*ꙅ[Zi5M}5ٚ2dkYrnPJӬj!~/ ڜ8t4᫠1ECqN, Bc-=Tiz41LKn f}Kӏsv2?m?'ލ.ϡ.YgnLꊡr}xdf_@KNpA4 q`yq+Z" D=dnc=L"sdc GkVΫzXR/bo' ,Jʁ`⎫PmɈ[IwIX`d<ŤPk;bȬGٿ_35e'G܅Vxxr q}(Nr#´LmYfe:̔wˊddPRހYr:T< ӠXHv5$ 5d3Ic%jQF k(^G4A7di"FrW0P"j\7f%j2!8OGf=kP.ÍƑo,pTD4G7`\Q`J U4AT돏E;U\S}҃pH8RچI|5@ڜa͘$~RB v6)LC2D`\rgS/ .m.Kv;n_,('ط4f)$$XxYe׉b@(~fۡ6i͌ACUpni]쳡ɵ72־y % yy`nŸOHW6m\{E EP^.ъdbUԏjg2<{$|"LGiMξ]'\ 4;rbZDvu͜xlQg*c6g峜4k%mlI SiYW6R=lX/"pE q @@~# dD0G,>ǾI]{g#W/)A1CAՁiS7U?.rB55%)myy \H$!~p(pr,7ZO76vv|Idhvp-W9:yFo: rk7C,:PsyzfXCtxb2 >ҭVe)<몹\71tM‹JSbJTY͎ӲB!7{W^/HI͆rvgj}C;U )vƛrlt:uLsުj;*gΣŷ"Ǔ;m>v7B(=ͲK;0@aB'>\`3WHܠ-F'-SfBk?Ѻ耼n{Ղs"m,3ao ~ا/@>n$~i+XԐYfː'1d&P0b:>R!e&xڔ/"uAi>q  qA%PdTsxp1]ڱGw/}$"Sn5,TQ_sc5w ns>RdOPI cI4%a1JAUo7PeDI kWR-:,}'uNZ5[/ǂsys+\9Foѧ%H)=Pǹ^.6wUF#h|ӳTfnRϞ\.Ӵ87XtsJΊDe;{6(tͥDE88kիz|kVºI{k UNe5bd| ZcO"OŌΥtzC%Ǩvn_4jUmg5{Wzj"[ *Cc&V[,MS< uP-c,Xe^ U$\=J)e.Lk,}^`dc4oZ}+ɐyx mh'#lZ?̠Z"l vj?QW6s 3iRǫ˕vIL"~$ƱeY:#wnAz){fU,.(Fu^;˜CGb8 PJ)!O-ϣLyYI7 KU7 DdTa%J75+[_g#όzc)nYtB+Wf|s9&.~+'i[ݽb}ԍ-_]0z#>ŇdwgXTAN%;قO|k!Xe,4N;4;4<@@TďmYl?< mlk ar].# 7C,}"@P G~vPHpyDJ3( cd7uZf'Wk^nԶ>~ w|>UrVqJ!xQb||喉Gy'2 HOp%5+~*[ ]6Q9NCl6Y **#iLIZ+9-X\ԃ,a2<3>^ߊYQ\+eo;,Zc ^!wSK(DEƃ̧KiX9N[s _V<2LIc`%%J[4$ w ^cme•kP6]||w14VSnLc nchH#Nf8͠6T%+T/-qqc=wco#,XxlƱ7aV?.Pw={-¨^30 }8S=HM#u-B낳'ڝhj+J@NB39g̾#T-4XމbT\ZVd%Sr5W#kyf/hgؕ- G9ykxwK8Cwc=eSovn"j$:DahQp `FbX-Cp o1P @ Kr* pn\7)>z^֒ԮU "`*NjYI9+ØMHAj%[4  C 3m鷝0FV2(V]X892iboSBePvtP_ {{[TF=HJDbWxaRy;5Dd2[Eb1i. #pςp0B"OMqݨ^8~1e;_{G|L۫xg_L$~3 gtR4ce1+uT,[96twsv: )WlVp1n|yB3?6VO{q_ӯSgӫ*//F~‰/ ,5N!ܻkY^??RP%uKC07|6Kq=.S[izhW#ظBFU7d }>? YC 3.cTu+qLJ A|n8U[҈a;g&ǮqobeG3.N*paٙsN[1Ӽ\`6-EMSlF9N5,3K6T5ܦ[+ZYhħgrZʤBv 0 Vtlu➀Cyx0V! 5̹`d#=jp`E#ՍQ% 5Mj]rQvp+f@dA"\JDHG98wKcA_{9dsAׄG)3d%sAʌkeޔڄ0.#V20C0r_TE܏| )n>#9aqNgu/{ Y m| 2teLHb>nDkwJZ"MxVjljEf>2< 6{$|޹SBnO"oU|Zb/XUF@F]z1D'6Gz0 ri-`Fb;!z_faנ$b$pb3iUZ3|=\1!}/Է-n D 2x{l^%er Ty5U2#SvgƋWDYrv\IK1s/g2Ou ܩrYkԣޢJ^z=*MPBNN$7a)(Rܴ5,wXR Qkunm!<=ۧ~hC(WBhv<6!iL&#ˆ?ALsVQDXZ=dX*yZ&Bϴ5:)sxMs@Ͻ)+Ķf,m&{<%)(p,[8t8OCHvccH6aEfWs%ExܪH.sb}D{~zwpWax!V~.ևdxC;5 Q";&Iݼ#uwJڵ@r\ҼDڵ~ji J{Œ6Ăh/[SSw{kN\܅vBHؖ,Gf.5PTGbИ=ψ B7lrigt"37zGMu _-K[J(j;YxsԧOtoѸa;*BbHTkճNC9Y 7@9{n*/z"`+UTt!VY;0P="Xe?a\ h:#h$37j3Ԁޱ?ϺQ* -$jk_(osOqV()"m~9s1Mr'=cwSKg X#>c+)(6\$Bײ,I7%=VrB2-ts,zszs:?S5Bsol`9*R M: Vz{ iqΜ,L|?yνexۙӂ잫3\BV;:S w8r>:4~ /`4&+]*{/Qr+0fWm} ^~7H߭ t9U%^`%7؊h ;O@#w_WmK'"]IazkѦ< (t9>&GGxԀ17EF%"ZJE~k Ŋ9hJ[@_ ʏb28kz2kY8f y4 \բ<0߻lAp)[3):5n%MGsDbVﺀQ8bQ}?prtP[!Hu& s C2ϩ e\OVZI6KXM6 2n*<3 @C%JvYKOB1J 87"L6 '=oT62Qr8۹YbΣ35JXC_%dL!"d937 jxwꏻ1n;ያ~ABXuJWM<li3J4%3o%7 T5PRUxV8ixvMIN9"NAvËbu)q[R6rFyؘd.?G;+R֖>2 (ʼn'Pdlh3e9&pTAkR%E՘|i1u{~2;x@WR85ra{G;W] nAE"̈ 96D֥e5f;GMKkJ[I^.|-P g2t朾'fP^k)a;pPܩ o[$-\ohIU(Ը|Ey''LIY0 ˹$Tci*D$FD LBHJ" &hlnRVvEVN U42!'F߇-c0E jRA(F>tۗU\ScօOiJ>\.Y_^1+4^)=uj^B)Qot8X>zuB{t-*~<}X0]N J,?\s}(K+#%μq|Ley^V&U_vxe6/IvcPnBWp\Doa;B"*J + (zad4b(NxS/OeOqtw4ML~As[߸RsXr%iqf(MN7$J%*;y&+dPMfٷmN90 mL2Cq"DHP oEA ]Ye0kZ{+](LNiHzB/Cb},FNv$J2&\Rݨ=WFMZ C)/;|^Ϣ5HVcCu4 A-pKun>4jΦ\PKuNh?q϶.]P*$€`]\ lkF:]*<ã.o1~@gI7W߆м}F`ndp%ʱoM*lGW`)V>77qB`s):@wCUkE kq NA` i({!FUL iףg0YCnfo<˜ѫuӔg \8s e]ߦ%21"U]S\C \ό8S:ٴ>2t/"Pb\y h:yoD)o]CxB&YR%/w+d/f5zH kg3uoT=q Nس_ !8njXɏ޶=Y"dX-;Cmo|!.-S=u{2G.'F% XO@F}ybq{UI98wHҙ!J[ )R"Z`QX VnK`0ӖCz2"Kl0QVG*ǽWwz>'ʜK*>׼Ꮪ'1g h߃o.ٜm#2s|TC ({utEh;7f.qΏiE4}ʇef&(M^4.W d<\<Ў.:1>u|myƞVEv @!k͸*h a/1wUlT(;)%| Q #at%wA5V]+\i.'^52D-WI;uXT&OM4G,WjHz (ծ ?nHˉ7%𾵈KIDb@߅ drvyɫ.C*i޺wŢ!Mn>\kvu3fT%yɇ.\>^Iݯg!}(`_¶%w,C:0w4N@UINŵ6C9J|3fJkv+$v ILѳx1_/-ŕ욟Yr} _ h @g*ps-53;qIL)z!\?t `hҹȩ|& Յ` %5\BsW-%Ըb(C-z3{xCvN6,."5t{JErרA[`mtCQU#1LskkHzQ\dIV]  'kWPf}[woupuA3DpB1ԋ-=6;G} d<@ t4y ZG`EXHk)X[h _? U%}pnP,$4RSK仚5uG2涇l#oOA턽y]V@PELxR?(/0e$zHZ[qPhvҊbDdۓ=ImvrFDtI [ A (g_Ƴ)u0@fƍn1gcNʤCx1 '6!9XJAG>a q+{|Ȫ,P:ճn6YhY cχ$@zIٯDEND5U/75a]B\lX_MZr,`3$$s3MeL?5DhZx9G8o6.:Xm2o+ArB#@&cVxܝi6[m'Ol쎉٣ظW#pOL$PdFJ@юJNsruf 5pgV㰞:h)9kq{5J| aUV_>ZBSOĢ\ %u{ fˑ"eaގެEtGޤT^|/zS iȳN-ɐo')|Ab,vf`w;efT2P6sLjFۖou;M Gs3,\7anhh\( `v:;%^hhnäJٗ%v q8g [e6+Nnb#e ?˳.|+@xݏV=RV>9s9w0 Bإ;AD O-?͐ŧ7m~OM0UDHgk/_\;\e"Yʸf-#J+_{QJ! Ѐs怚Jxɪ`>2^FY46# CЍY(l,CtpXjDۙߑtNX4 92weOLY'ԽP'i!^N5Z>mU&${2!g_. oi HX}Vx"og-XkxnVL)PME?HH\ZT"f\O౑)S乏JZvs_"A#렼@j';zeԦDT PV`T3Ȋz[=3&~>H$.dAXiT,qi43һ7TL9EDmb8˹E1љ"g>gC%ԼGjTգpIogP“N TՏ@6~}oZ  ,k@Ҷ4R "^'|J#[-j e/&c+}ums\Tf҈H \ PE0c/n 5XTlhHgVHQ~`Bg^0s߱Ԭ(OpߺObcx=pTxшorXriqGވ:h^~]LiU%v+M#!Mǯn~69%xDQXo}@U(ĴJ5%#Y0JA{^@BWn?)$h5"j-kv\Ӵd0\f2P)~.|JbV1ppQg*ORhxw.+5;ͧl}8<3ΛZIxC) Qh_uyf6yob %-9*Tq\a1i*.x(`|+0: M3jDv}xE'݀x:s7`zEiM1kh (I@yPK_GŋZ܅;gȇsIEb庶Nx_՞}#t@tEJmGƅH̨ߟWv%-PdOoHN&p yݮnשJglj)NZȕxi$SSKn%Tqx%2)޿6{/y.%fFjj}~g:TY)*FTGw;ӺE̘\rT"SI¢m[>D d04ĢoN^iIzoڒkB^?b9۹b  RDhǁJX;>frVQ'yR0D8)@ӨEd$EBCd%*c Hk&hAOE`m%SAڈm3Pm}uTY[U_A (O^8wxIHY g&}r&ȭ8r 3{c1LMObKiھnU纥*Y\j^M13>=Le_-w jޔ%\z.s(ڸtm`7akl`=-bx 6Gam)GgcltwU-0@N3 3l%绤d,w8eGiӌ]0Zs"E@Ϸ5A ')Cc,\P5)eJ7 pሑJlpQH!DW\2pǯM6E@9],vNgr̸£1S6gm[ "3sq-eڅZ֢KADY1J]GrL:;} f6IL? s^\b-\띋hQAzryyI2HYLXD/C{#FU42 ?~zDW9M (wbga8ݸU [%\˂Tf5ߕ MqmEff;:7ڨ&36~֢\aüxA _XYW}\RjZbTWvW4 \BE ^,O_wBz:E'lLI2ͺ::"afI&8*!-3jn{ދݴ&.$ nB*A2)Wp0L :!-Ast#؂oE ǚJ&سZKgLyQSɶ-lѡuGV`hhd^YObR0';wxQ99iiW{f"YD?^!! |bMYR: nGKz q% P<1j!й!ӟYAP.=>AM[߂z~ru|_|.b}9˨MZ*ǟB231݉GKgkwf zQ#ݴX]j., `ʗ HhyU,i%0P$ C<;Kh<T1FąRB=︪~+!_Ncl?ZuG%Ri/a.cquwƂUi3TMC)RՔn._raY3LgF` B[, i "2H"=Dm[FJ .OS׽5>{`COQý{I9 Gct 93Pb./uň)BɲwHԌH%V2LiH ucd4e ca6ʂJ X1Q2ytlv1rxymO p^CϻA|Н t]ᴩڱl羷5'5I~Bzw׋+Ƶ8khnJIu3AUV~oVj Ial{S->3OS}(p>eJOI;ZS Lk-Uu3|frźo*_[߻Qzqdoh?liCrGjħdp։Ӌmp76+K $éC㊻yh'p|vRo:B\˧n֦٠*G/懇{W ͦǟM*"wHG爇 Cd29,Ã{7u|?6mLԙW1늨,cj!?|Ԥ=h&,E* 8/f ff*BP3Y9 ڧ}=0$~&L] uv9;\~A~1> y7|Bʋ Ri,=|1Зr5 4Ӛ>Cn@=TS0-DDjҿ%Dv5"Ռs>}1SեA e:L.ቻ3 zV7nLJ"7>dŅ*EӦ¬5ysF|x@!Lh FȠgBݖOyǾI):m7F߄nT(*@@%.z`6> ,xLYV:rB#0uwWF3hL3}6D31IC.5 UΜsp!UxLI$nQ?2:cdGVhx`uLbw}G_FH?@IY.ry[Ǎj9\^1n&ÅQ@-k[%d:!/ùz`"C;~Wrg6 tnǡֽ=8>g#KJA{p#I.p pvh&}/շtΘ~}Yu"'q E Z cY/yV8 fAs),4]< k/^iA[,3vtGi S3r"W)?~j)X&x_ e{t{H}0K*/X=:'ż~ɨjF&HF|F %>agoJGLf0/S7^:\sO= aѐk8>+'&AWykoxH`m(}Nyu*bg*|cS`"QRQ +Ktk5uz+x򭡽<˓ Cih`}o˙MhODy ԗ>(j=3W{4"FV~+c'tf5kyt|PtO:܆3нlqeg$lk9ӯ7 ȵ{%P0L?B/e,Wi-J)ۦLKnY.{atNZ 9'{2_P:`QVT$+T-1<9Nt35wpL?iR!ex  e_ö/W,'|&h<]L2`B2 ZfL@4D>V&YQx&s`: ua 4X:&ca듭 VQ3 Rbi%$+1v-wyNZ؅Kں89Qݲڅpp>(կN+YWdpFPW$YJŰ`K+KZ@A+] X$ee:ϑOQĿ+j9UqgJ4/oEc!}C<&a1F~%%`X雮!XQUO{Gg5NfW ]yMɶNKC*_7P=vW 0˨(-]ơcIA' Dk#h>7Q5DZP̗S#=^#08Jv3(#e>Uq/A.Ŭn~(Cxi4%BzoUn+3:@w8_ gHY=N~U:}UJ2., k5!{ H^HE֔\tV6ݞ67|@o}}3,nX2])"Eޯcxȟ/`]"8Mnyƺx6#%}k +Oյ|zj|M)3 ]5r*y;49T/X0w\6}J4D HSUnPUd%r8i䶹 :O8MY`#dֿ'/oG+sc,ہMR);2;qٰrAb QZTi#1@],IaRHfvl{ JΌ g.qOizG:{T0oPEartg/SW"aM)irMSփ;9mVEcE[7%@30$eչ?wMe \rG!ԷA !ipܽpLBſ(Uޖ?7 2DɻLoH&נfUݻ oksjNܻ;}ZYĪ`gF9bw_H&9$i}S|~ضPMg(moh<2c4IA-$d^p w3y~-@c"74GDLY"!@ +sӷKj2~. q+*E ͢$ɩ.΃hZٛg.7!-Vd(SJv(v@מ0qhc=[-d.  ] p7_ +DSê'QwvXGS_ HAT1R}x̹2Nz#; 0%!r/ $=Z_:|-[.O$wzQ&l?( I9?X=d_촱ޙ/OL5F0Yys,_v!1{) h^xcHiXݙq)6d ػ1f0^LU}GQj% E0RCێOLdTq ruMݻ@sK%^N(V$}`a]OͷH\W;Xp82ϋ.钙?;t&~I&G%e~rrpڕTD!ܠɸjphBv.0< /X _~q@"!{P]8|!#-Y=+/bp;t,g/S͟AwLfMdG9mBq _۔oJVlj.iUVuKU07.A8=C>Z'i#\l|s`箯 [C<\.?ӸN`; N툦+@,gCHP¡w 51fhQ{N&>ȊNPl)\h3nNXd-W(rU@u!o=pF >/㌛T뉴{LaF,jWneb66 EY&rbr>Y*%I;ɛ Y.>c/R\abI~')S3eQ6x`cO'df0$k۴y TfѸn-m{A . 7e=a*ځ<["0Zv ,BSΥIdŠcOVzh _!|"Wc{K1^N_ѡ݃Oڎ^Q a SB*`wRHe|XD-rt^aP2S/H|.bC.|ܺ~0a>{f 'v'Z|u{*f^gǑhU*gm{lgD 0ۺ,ɜ Q*5M ^AQPFCBȠ,_ +FIt`Nڊ+SDy'!]R <-'N=< i(7x=Ԕ⬶{1[ȪITcm NnZf?H٭3EFQ}Iπ%(*x:`JN?w9pdXSjeXʞ~%ߍ<.Kw|mN{bAWz PƳ=2YP]C[7G~1Ć1RK V:e8utu bs54=xqLpl!1Q!ښ@AN}'D' V6) '6S-{1H'TjT %u` c/;Mŭ215I!O@͓R77ZUD+{+tѮ_"f7RCw * m9W֗R̨ +4sj?BͭOH^L2Is1֓]vDZJÔ8;ϒnXO"r6yN^B/a,,<=n"%&0ģxVl-XxdOɦĦT[İYg a\0jndÁ\v*s-JqXisz|`S^!꬇c0 ǜ"练\oG^zEv.vH<:oBڵopV /liw2#X$4 .HR9^@੭#yz<=AKp Ǎ!;4bhܻƒݧ<1PӇZTQJ%b`D7f1sH@1Ȇ9(;[,6TL#`wQ'(!=*_N8_$ oLo}&fP[ƢPb226rI$=ag0 +&JqwRɟ/XJ$DM@>HO])p@k0/2싉&c 8 3Da|ݻF.I%`xD3lB@ST맑&'9xa?`gDA4VuO3h7^4~zR5ჶZʹ?9O]^GnEFe;rO}&uihk1H.HHJ$.3 s;J"0JJ@ [a 88^ǟMz1" SŜ*f5r0P3O㻅,~\B$/ĭ'U3S-S?}{r5M-;;)"jƃrMUU.YzdbG4urR1 S9% .2/n;;È SRt9œP,d@+ww(L@ڋ7e+:WH)*è~K>Itpk~::ɋDEƝ?3%KX#be 꿪1X"gIځ"x\}GTŒ v x]ZS a.1fPO 5WJCKWcfuH,Kro6wLRFPVBDBPvr@ʊUXʵG݀,@i~UϿ#PKɳ,mCޘQqX#8ڑ!n^tN X*r[_y{%~׭^9H?qD7օ؏Rwku-7vjTغ¡J~hI-x!/j-W(l+yu)ӟsyuw^,E/0w1r Bֽ5ݴiZ4 Rffw39ϟaA .pb6UH.f/~4fI}|8ٔ؜o0K" `w!'K)hKYi@S=) o{aDu"tŪӪ'^IGTz%B. &ٙVC1 pk+w0dfm R.= 껖M3]=w,W䇑C߮oQv 1E:o@e >,,4!oQs;U}f=*q w:əxNo;IN2hLVqO9q*ne_IDm˛|q䴄_Mo])tѯ?pD}Zd"' g`iZeT0ZaxꤥQ% *w7a~q;M’e:J{`fB|&oy;>} B&N,~睕^uU^ ._czJXaU=aGi"ВYMqѪ} պz=cG긢889 |n =w%A_<+g; |тzay$\z4vbKߥns=$b;ylK?9 QGjust ʖMٮu Ddm`׶ ayLHA$`:FDXSQd/2x ˳oOܸQK/Dvp$||d4+,‰/]49MLyWmYk^KJg<RX6\;N 8!`\0 D.wT,|: ֣|X@LA zuzDb-Mc$ZƨBf>p3 Ymu_sfBSK %)HvDWmQ&a%Y~zuB &-R64"ol5B53Fћ v4f޽o:"7c9(O[NyΫ_G{N=ɲ{1-'J1Tpd>̚1x>{jXkYsO噺@|L{n?I6V1oݿZ\\%7\6qL~|e"v[@@v,iXM7ަ?Rf5FF ,/лZ̉Fq]r<{r"ɩLjIr&rH⇧ U.zT;K OkQ$K{<0!LCi2!0ZZ²`@X^n3Eb\8gX>ꮧq%h u$9'a_@T )b/ |h685uC3!]r/;$2d`xTO%/@GG좩iNrbwR$I(q§͆ghuCPGpZy@+)ڹ0eFy@K@J;qʣ[}O-Bc\fLunvXr'",D-oZ%+){0YԃͿu}Hs 2+x' \߱)}#+GUuP ~Щu`agT7d[H0 \7K$^|M؞}e .u&ܭ`e ]L{yӫib++B#RbvMZ}ZVͧó'!y_eю+MBΰ=@kGI:gbj5f&nɘ; "UpK%@a/TxZƖȚ8>~i@:֌G{YAܵMjg+"'m؅Fuk&af'g?VC bjS_Sr" QI7T5Ka}ԫP,R>eʅJ*|u'kXS )u99 ڔ& ץ0 Y}j.R3^\'OzEI,Ca4^?d{VMMbB(3SVS]5s &{gյ'BA֗=X?a>?uimmh}CBRݯX上9׻lS[&]%b#S*l 5-'z-N <.Beb]pxvYlByAxFS0`CzҸ~PTV9`LN"7>R/ĸ :UfM+-Nɨm[/\(^Rl^8K,CfA/9`t:HTT8*ߚM1;݆ jVu7]@s]8a'iP=〪Η>?dVJϒgp9(m8UԓHOz$;|x.Mܡ b2/wjakFW G5MbMR2)RCe]/Cש-֏hWh rc ;F m#CN /İ ?G"X/7r? P`7\f5!ώw!s\oqtZH[p?¹BրȽaNަ (rVoh9 x̭?k]cx2^_ܮ⨥bW / R$; DiE ]J4KŒbԅ{Dhth5P5bcmF'=LjgZAR o%iH&7Johh.fI%s8H{o$0YL}|X[M;,_^eLAڽ :d9#F}'-ªgU;*)ᤃ#YU6b}0fhV$tcnvwrFHm|ebU. S_h_kQ(|KvՌ!ђ/ 5z|jdpvuPV_ nq*=jv:T_єp%Vg'{\xP ~W z-Ɓ?*" 5TShY9Ї[o|\iʑ:0! -/*a5{NJMN7\^&|>w Rcz> >O‘u76E~ؒ@!aEAFP90)MW,RlIGw(#]I[D x /ulV.mhq90JBoCq#>Pƫxdp; 2ܮd918 z %Tyh?aa9;f Op,5 E^% YL%x/ _ (}0c޻)簜o _k;XllVXt,q45*$m8 Kq>K_T  ëa[sAhGov]+4nh!R$(2xiM}j28_TяRΘ=#hTwHw9φ#m `Ut+GҢ,ٚG l$^{">kŴ{,P:/t}4a ~,.$-3T&8X -]c_KyLZiJZ)h{$.:>֭vs4^aL,Zuꃜp0Gtqgw?E9x_"M UFeEV,R\ݚD5)M.;<Mg.x:=za!|{s)Il+MhѼghIST-D,T/]! X*Ѓ&;SfNPrgXaZd8zkt =L'/rd1y+JFuVo)^jNA?k|H?f}(5`k"[xZsh@"J-W5U"ٮZskM W)&㡰L#vץsV+YE4)KGiJ jlb;@#sjtծWOd-]/yT//ɮY/H~Hxݯp˜@F+5{ RgdEbsK낔-7ZSKܖ;&j$\gH91fQ?xmp&',;|p^Qr5X4mݰh2$y8}?N!㑷$U)CBޟAA4{ Ou#Ius:V}˜dNpX?ʁ?tmTK8rt26z#'̹赤Cސ[0#(g@8xT 9ܩ\oƈl"kU#h1 >* %N/wNg\4Hʃa1urUq3} arF kzx[]aO: /Ud!ue_COd OѾ{9x*0U/s :!Q<HsLjDOܑUw_[Gt/I>>0'RCtS8{"q0kyZ ܧ!s4 =7h;Qy#:f$ a K_J}}sϾRPJ91FHѽǎ(\.zCJ|.Njؗcj8dՎgqҁPz")(tKQ^MUY0axl᲎s`:_?41c@ AlBYQ;~!L5Ni,6q]."{@;#+RlvR|0T@>h|  h` K:.<$-8 2Zb--NX;''iz#v&|Ol qz&y< (h%ȢT Dai1ĺ!9YD|_kR_\:!Gkq%)䕍q@@Iq[L|U$l>M|j.!ឺNwc̈"MCGL_o/0o8qS Nˡ~BE|#%7r@!YBfKcdj߭7c|]F11 ĕErʹ< αQ ޙlR~OKq&p K|woscKt8o HMm}nT: 8|/brҰf ą#WA^w)#Y T;}؇!`,WQ./YG;/E ê):k$$ ]s zU#A_cA揕?*IxgSNп.%e֮=mRp ,i>~Q9ܮU#~2P7tKyo$ȑRSA[X*^vz&R:0gmi1 2[ڗ.<1¢37g]̲Zi?i58 g xQƇpمC Dt喛5/$/kN x eUn97v˥Zܸf:WǑ~YF!<#.70I%fsCI [5uN9_!o:W_A8K']UޒhrY 򫚰S2hrp no5d%BW]V89M/՛_2¸#7_p:bp{ڴv%tsŔ#~4nkׄNjlSS0mx feZ-^h$l՚*n lXQC\raOҀ};n 1zQ! q!]DKp*}t1=h7Tt h2^TrT+Մ1RO{AΗK,(bD s4an`CX JYc?o99~= Zr)<}_+g}UHlӹ)V|yG(P:\叠[b_#N W:q/H03PB9SaɡztI1ŠS|vRUr?$A. R.S!LA:Zj7ՀDi{1e:Isw l~"]#@:ݸª=j;?rN9g|AnMUYNG,[|,u${`Be%KÇi\qyf9[tpfx f)zmve岘*&ԟ|>y" E zY (%\*B9§Umtw53.axj‰j<TH lٲl~N܂[g;=+{rSc q=W`Ή_nglI##@m,K`It$BWK)Puۣ-2Icݗ :|\A R,VN4B4 E}gUI9]X;EZ誯χSkQB?W}y y;oңeJuђv4^ݩ8Z_(V ʬ`ثA&@jem*3( tW=G`~ĉ(bĆ'd>\{څ.<R:3P{׫ĜPpwё\f.~3)VW =zͰKv]VWP:WQ XT@bz1]%kk4,^rU~Dk~ t{7eoB 3-fqj)+<P\7v蛸ŸJvd[7s%gg}AO6HҞ(- p7/HTNg9c8;Dn B#&01`<}gYZ889d3eed3a894a74e3832f730a745eb43393e1b25f6b46d75794d7d779141526bb8c5d38bc06bffe592ab22848f5d5e8ac70a3b31832be7b0004a176