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 XXh%Lt, ]/]HOL-Analysis:threads=2elapsed=802.226cpu=1410.952gc=41.468factor=1.767zXZִF! %B ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jq?E3<3@'ݫ>$]e%}!,eXUy3rg K {WFgNnO}q#N˸s<7O<] ܶ-b)TGxA}|o g]&{Z/s9ВՇ2Nnӑncx$g?`dL:'hVLdjbrIG]JIEОP 8C}ddq`':}t~\SgȘT4o|ϊŪ]pZojIޯ{ " =7ax O\OxDÓz+Jvz"n{lϾ@@/o4_l1@iaL3DXtgnpɣNCsӬd53{R5N\hGVi%d-k O%EXpP#;,]&}mЁɑi@YD$lˆ$lOu`+N@xr֋boHWMv̔0oʘHlf$u9ZRN]R IXYfD2%Gͥ凒SrUCv6s5Θ[}tg;iu72pO_Td#8 %ڎ5 `$,I R kmSO&l*&Sr 6:dU gmAQs~0T߷ք4/KK};$E,M{PГҖ+v{I2e:nBw\$cǺ' *JjHÎOZX:m<}ex{6I@f39e|~YAԻ`hfr&f<4fX+ƱXRFjwY3VҶ[\mQlLۭPCX~i_O̊ 9, eҵ ^J|jct]r8ˬ[B!3sнvM,9@g%rd|_4S,[+'1/H!շ6gće1gr4fO i#gP/}bj]lwZ_GxǦJ#DB؄a\:I`!?նbS%+e =|/W<]oPTj4KaX\_S }nmCNST"C e1 *=vs^ ԊEy r)>2r /<ǯ:GkDaBaͯnLq؇{cLٓL.'#Qv3ux$h'[VٗzŒ˜:t1`x₰gud-wN͌ҷV;me֊jމ3S?H(ɹT@ݨmQ"rh]m'M+6lF$:3sL`,9ҲI+Dtci>-.UwMV0dBp.u?2( `g-݇ wxޫ+Aߺ?*%ͩA W2bJVgU+X09uƾ n'KdNq WARDjz ;+>(G4ey.Ƴ}8EcxL(sY:h꧹~3?K4[ee9aS;9Q,u$QuqW͑t*kp)dǾCvhq/KA"9ҥU'J51grj)Cxnޡ'MX"Z)b| jݹNi!xX2b/O _bɼ*v#hFREkfc4NVMl-rXjECS u{. NIN 85Aªc–||xf] C=7]\~gfG'>?)h5BLDڱ<`kmhF+<%[w^5yݒ O -J#+I3w,;ÒyDEƫunWS^?-\qP)@+\Ӟ #bIes AQ aM_ .5Z&>#]-".)~=S [e&s֊OƀbTY3wP@mgDc ֠ےP pW4̾HުI%'4cxAsq2測@mN vyP`˪e"ON{E'ҡo\;>;n72"BߝG~e Fpbc6iy&ûeBE:H*!2O-jaA;@xȷņOݸ<=W'ɹME'J.hWtB'.'% @_Ll?(G& % HOL-Analysis~'5] KO ;[!XM!QdMd+(ÐSJS)P(:Ar)EĀBF*iO\0 -,wA挅̛<c5/ (7xAʲaSL6=Qҫ2H.x8I @"&^(_ 2oQצlN*'UQb u*r|.#g[EO&~pT!C3:@2ᷨj,#uÇLJeSah6l$),HD؀Œ-9]P #}RD,,}9T.j ̢OzO_+xĴhW'-{g:8lȅQe o9[ WE[|:?ڂ ׾)ޅ+]V"NENoeP΀VXJ#,8VҊnY(MXwvQSw ֻ;]ӎ}ڽqHU>ЃqOU{QVװhb[wCNj3ʥy+}?(I~A h uZɭ#z>Qbԣ8GW`-iT tp}_S#ʏnJ0էSJo~ξdnF~UG/M|.U^$buEGCY^Wҿ k&s3yWt$<U%{gYzBUYmlh%׳3YBբyU}BUn[ٖYqS.g1nk`uţ]7wOsxb +he Z2ETy]p[[g͐AoyL0ŇE'-W}Pڅv{,G}>ETaޚWhi3,3dChc(`"+s-n3"v7f`tk\nQ2x=ϘF3"ɟC9V;R}{'_#=m@Emnp;ܶB$3{3:vד9uv!k_S>R̖.G:4epk+ 8OM {& 3OwrJ|5 ̺^eAM"k:MZZNUrȳbw yBqtkÑoEe$F<[ؠ^nJaJ4%^PSn?7fA{Ϡ~5\4x bg=e:yj o*"OFQΒ}Yj?1`K{>)# tc&z`NM&M ^ %aٗd2vۊ l}ܤ@Tlڄ^υUa D*uTG ϲ:]_H˱؏&nEN։P@ċ[ߛ "aorh}FG%>gm>[˸~: F{y`GL%9㻜$UviΝDʻfpLKl(|"aF"Њ[ٛr7V},jϒ[#"B,&aX6sh,B6b A9ȸI'ΣK3LmlE8IgFPhD5%1S*!G1IΠAU1Z̄t_'*̋XrnԦ}HtyiV2fmj@/I c;1'JjjȌ#|>c B,4s:/ZݠCq8/8P~vhXƭ9?X8~ ؾDv04!DY4Hz ɟNV]DcopoN>a X,sKzBp'/O&J^FhuurXb: $r8E`Fmb+]ÒGiz{N:y.GgyCW^xϐi9{Ȉk<•M:VxD+o~!J=6u0IU(u`e\0otq4X<%> q?B$f֐8nQ@Z`Cs*Mo9`4v.08& !9{C('Dz9XikJ/N" 1 b0 W ^'Bxq'˘ވrSe|Pv%+#-w%L.?H"!JTX;(tg2?'ŮHA D?hbIy8.bI Z %b(EE&ae&&O8:`DRz>E#vLwUmb< @JYn'J٣(܆i4;8wcbtިKRljIw};R!꣝\@TlMei '!ٺ| מ=^r%q N+<ʏ$qPQcR*{1Q.TxڂՅܴ@KRqU7*"Dmu^V`oɄ;gڹ"+cSq+6U~>ΠY0ǝq:>SgQ(3F#qmF&܉)|>/b:jx%(PwN\ ;]cqL={0kBh*~ ] ?5e1&#}~}g" h,t9TrL(0RFҎ{*\:*g3'C iaҦČ.л6s}=kl_sY6YLeńmޚi&#>LPXᅰL6ST`yݸlIM @ RhKpd!֚>o>'u@P \{ =`(I0;-h|Vl "3>$=1Sn(mC 4uP6HUr[\E_h>ĄP}p2C¸H/y'n{G#\ټ1Om}ՑVn4x3T` qܛ58c6.{7ѫ!q_>nFY:rU`*NrHDo#ujYYMQd鳊j @[1R 7 W qE#,a]H;x#_0 ?u~EX93qǙ_o[p`ϞjV5dybE3&9ANN<$AuA +Q\o19`mgofpӲPQ]0vd>W.ag62 ڿJ7Oػt0f>&y #z}3r:͘"pVԿG^ƀPi`QFȨ$jo:n%JfhG=nL1mQ oH]MKYOֽNߟh{bBrŪ^:Ο.s591ymVP24{d>k={;Cj.3픿׌}"_6V,aD-Q},~ɔ kez&P~]vQ0e' W&~_bIGhԡlC}٦q/D` C ON:8PzPrV;wAgh5~7rLVDjgL5ߏywx$ǙɝU18y_߶K{]3dDM|Ing٬adΌ[鷄Z3@ւ< [IY6SQkpy[ eR4qLmIAiBvXRqA.jlԢCh4:r^{bVՈPѻ"|;`oM!zB]B9n_9=nF.4*Gxp=.Sy7ʎF].uW6 .1dHW`Q0ekT"9M/ΜnԹ<63j {{ @șGM~6T<~3ppU!fSط{z{3vn[0*-䚅O0OWTa pv6Lϳw|7+1 boP%nȮ-qFX(6HFYhӪ1"XpORZl+8mwE.!,/~f}8gZ3+\@<6c{4DcoQ43:AX>;#dUӶ,_Fr&W,S])DW *ݸzprz\[mofad6B4E iZe/b һE $W/vD#ƥ|W9?q>R[0 -^@&-aA\y ȶa paŬ[+O`\Tk>d"*߹}+|iv[6s۪7zeܹX(K]$C+rA&IhtIN ~ZOC_0(W W ;nb|7%q5_ i%"4J9 +e* SZόIC׷Իeݻ|ElVUA2obAQ;EQ1/ǭ&sԛJȳmeq; r Zw fja›9 {}o/B=#K0Y{%I8W $ <]^\pPhnPvO>7 e};Ү#_^q6 | ^JЗ;吓 ^iO \1׸% ,}9.4YL\#Ț:5 #`+axs䍝+ N>vAhx qT6Ņ&[k@ LUE[7L!B؂Fb\g%/82ݤa`(:6^g,R=r?t:8m߭0H+ۇ.L tS걻ّ:P]WTP+2[ X [OEB0VxokֶjMד9ˆ -\ 0G J"@'# v;#YYT1(&~ !6EujχqKYw\>a F3X8\Z0 &gU}o mهPD-7QD#yi iӿ|yʳbe$VnI;/|ݿt{:VU%ut䭱dkw}gZ 8A6m>6 _c;uG(g.^^Y1ߊMsfs//5o"ً0Tx·A8^#"@Q66܄am1Fy{cRarcctB?i5Bp0Q:4)[̯lEV &qoEN6Z<1<+µfQTEn^Ay.v.GETG۷]̇s#{EU; rv]hɪ!vչ!4kX $[l>bD @ij'|d&r}]  3LO3_cTڬگi}NI:w#jAʊTfm2,#߭9m{C2U![gՍ Xa!lLUtܓԨ9/ iP yrO%Mϡ­Gc}c77]gPVܜ>%GBcNTMnY+w.x]{ 1;P+9j<#;zW2<#eV .:*KpP՞*C nUj"aH,D~sөfANa5/.m7'c-=}E!p3@vBCe 7EcJFWOP}~(CF(s\DcwY6Z8}yhjfkiMP==ZeXKU]p$prA`i.Pbm(qJ Im/,u# 4`3~]UhS)n@G>J4+1xUq|ڍPXK/Hu,5F 6-0E6` ok}OJ&ƒ>>,΂Q٭EьQU+'9guLhDv$O0=M@⬎Ia{9fR  OjTGt3<{=ZlVd:bHPӈ)>W&"Gc9`}*&]"o:$3uܢU{➲vK_)仙\e^"V\oU5TP0yjfdaкJ^Աl7[mgyVM}Qp4Uu!^ X5"{S׼f'tf::EAIS#UC1bjas=n x}E \#2p7z<>9A8ْ,[:/BvrWPه^g}aL`X$PrxrfYf s]k+^8JbsO;z1r[&Lk0\Bc~{2CF9+mfg#4}i )lq EuՈ^B [:~aF6Ѝ;IpS$0+WQ]n_q9%FtEǔ97 S%%.#ZǞF 寑\ H)-=(T*SB y8G@zZ/JP/i7E 8p^*[08Fi^i'Qi)ǽ3:Xe>OsyͽzFL})/";rMQgIw"+IAze'Eʁ}v4DZm5}!C 9՗0ޜ.ϐ0dm) RNf"c&}JazweYH( j46?E "M1)!UC|!|0׃Wvx5ppיeeLRh1Mj[VWj)-S$--C,LH8֥3\,Y@ѹȬQ>|shu/{L9«U':I|[i#+'bLR3<|1NŲcfmuhPElξz㼀S_z.qkX_ a".l#A,|f>^uec!:sA Piܣj5R<ϬiI&F$YAa$N攻j%ۙIn/4/ 0%DT9E-򰩟bpУ'SaL97$-4gۖyGP2 j5L+7O&@J+&vD\B-/`2J4HI"Hȶ{qoaFqP -!q("΍j'tSR0[;, /@DL2yP]yTKDw;]H*(L,ꑷg'C+@2pn}K#Kj[kc./؏hӇeC>h!Ǯ 9b a)ovxہkL,\2LdZp&p @|o%8ֿylXp*Wv2 }vO/C $#%u맽g$E`7G|@z"7T.@YاaH1Ls=W~Tn|&|'T7}'\Aޓjh?rZdqBD]7'{ikK+ sE`Vmgz(uKwV&"rMβWƮaNE64Ì-uĒ9glZkZG>֧wW-(UhH&蘿:2ƭ+S Xw'|Pz/YCst CAmF&pWvBb? .N06[n҄9lP0 o}svVWfTvam~b =`RzCإXNӾ`XCUi@U%'WoD'ZUޟqAfNBnhEj*uIJ6W@Ώ댁 hY4(12;>EspKvhQ2PaJ{Rr),M,A>{!Fq4mr(ҞLMg39@PԉIVqѝ{K1MPg8bA[n fBVU|K`3ąfAy<>Wi sк9<j󖷙Gł~N)+_= d&=MN~}GC6wÐd sX!ʳԷDL0jQxE]YW`\(A lM򎈯AQmpZx?8/MY;0=Uݱ:?t h Q[};hWuZJA$#I_f{֮QͫQ5J#Ӵ$KIǁ_~2MRCFxC1~JPGx18Jn2q}JY@.‹ʟS91S T*y8 |cZC@65nhʠg~>pxZ5%P!@}oN И[0ݴr ujMPrA*+]RZ ok"ꏲ+" 4@az{b@Z"PZ͢9u@jI + .P/4oQ;a H% ^03튧:6#%`:UF<2z(Ŧd}'8C$ aMq$ Ϸg+[2K?M S,wqӫˋsBPSoˊ8hn6UyZlk)>% !2>aT`ȵ}xlkZ"{ (1s숵꩝r1<=869MhʄBJvFj#%a̡鮰J+߈6]!?r@#!i 5]Y:{Ϲ;)}?,%ɠ:Ŕ2/i{;paG_^ [ԺVB% {bX,SWg:"3 X$ GS8#7R[[(bˣ#%Y^tYYG]ޗF#7ӂemlsqlzgOrwi*]%S.SaJU$M\ia(0J oX1 t* IiH ѐT.} &\#7dKƎA ÊZ1~ImRUe|эon=Gk2f[wǮ=ɽ'5SzU" Dy+SNeݾQ25v.Ϻ?%& cg OIWV9tB?Q"@<`PzLhkIQfX`ZZB=A871Lus˵e4և`j7>6I%PVSb{/ҢkdJK~p&j^/H٧ӽBv7fR }Ŋ<? vɠ0@RP8ӉXqd;`2hٌ Os˳R4w(_C3mK;/&Ɍ&Ldܼ!܍RL6LejjUui?"ɞ ʔicr|}sW2PwzSЊ&q9Y%"){ɱII&M8 1 2z%`%!!t܂N(S?9?JR~ҫg0g/6y8 !EC]*/SAB%%h4Rwբ@0ޗ0H JkKvg!v:vWzqf#٭D|_a,۲2!gN!V|I IS-,4Q+\Jo&FOSܚK-c=Krabi>u'g(F8oxcen/@rgYZ7zXZִF! ]ŗXi%9+в") 0]zUei QZ۷ֻ$TyQ2)h Z>攩$IwsZ(6׻J#(H Q:DzV4f d2D E;0#=z2vuf߫je<d͆)<7-o1Alwndog5 }' ˰16 ipsP YT0`N ܞܽr9'=Hg\4VM1crBQj\SDYӻ[qFmd*!AaGr(X&R*S!~I桿0fPxѱ^ Bm^5G7QauzqJrP=Ja^W}4JK!<=N_ n$P֖GpZ@ mgU6Bs;cbP< ͖F$gr&?'ew@:QŤ.+S v#JvAVP\([2mb*Z?``X̾Bigt~/2(* kH}ayH}4YwMg0>ugo4P;ɜ٘?ޡ(h _Rꩌ󦺏 !3jPK\:~ aq̷5Ux ;>5KX<6tj0vA1>SC}31~I7d"yӈ|F444-aQxD LܞzUj:DA[*޲'4l,l K%WxrcX.A1tQ+@BםkeXt Q<Hm"e.akkX;NWR:pVqL s@~cpo(b=QCC=b40Pn*f q mSmD')ve!Uu| itdʭyQB$rNc׶z2o#8Xoų8yW?%o-V)}}b1Dr⯑A_Jc^׸D[LΜ ^yW{#g}A#̢̱8YmC5o*>CN&>醯dw L_#.B PŹMN?WIA!\i4! ) Yd^S5'=Xb+Ǫڡi^ֵB:&Z.%%'/2dJ <@0%BѤUh(<,~Ȉɩ{jJ|ے'tC aザMqys븆pjpJ.c#-<Kf؂&)fUHR z?}tคqUnz=Yoíܦ*eSԥO#ؘҪH愃ǩ[k[Q:aB4n3I\#F+ CEL\S0veUkzͧp@=gjϱho3vmAmIc#a̗OČ&ZN0r=|v>7y_pcwQC+v їJ/E2S{} ]6W]Þ㝋8Shwxc@G5gkz҅> +`VT ?i! OVx6X̶tp80m[X6}\?0CL΄X) "`eФdIu YZ61kB3j* ;Rfa7U756i3m!6I#%&{YKufyOd<&sA]Z(`rBm 6Mg$F3I闘;uT\,!Y32#'i}g8ܜv^+Nfϴnƒe^߂f9n2V2{7vg U3* P SVCn[^PG7S'hwp,p%ߖW*JSkQvHòµN)/Eѱ}zO*(0/m)LfkGZ%A‡<1_E $H+?U_6V-|冽&/Y01^1tbR3v]z`;c:(،vCI!쭘 ^`:Cisr9k-JB @ ㇈+|QÅS[ ]PyEuG7{-$s#^]PVMO;xæfSw?ACT $"ѨQ;ׅ,SY{1`Sb7ϗ068"z f@B)o[ٙPB~UqS#/k|JAC !\H<>ƺf|GFC犮%`a.@$0|OH'8{;L 5/raX\QT@J` W8^_5@6xD6rĦ^,^֝82;{z7{j†rgDq^}m S}¸cQ˔zj)ȱ7E5W!rXfwU&HفPnuި N+CMhPWDA'( ܝux@QЯwM k"\Y^vS2*Ky읪ZV ~&EKx;ix+E_Eo<6X9&ˆf4؇ӫ̂a:IvjGͮEsÅf,Q+Uٰ.7ʙ{T@0}@9{ںodw"7e4,/j[5)Qv;ӭgTJ!>lP+_N,Uj%o2¸Ŕ98y4b~At"#Aig=꡾mx l#ܥ]ZVGσf'-TQ8/FpmfcJu d=o`Z + z tǯk:t·o  47S;n]vlCJX(h&xpΐ.l[%0mŭR':j{_:ۀ 0^-z 2+4\ ~mNѪ2$iFj2DKr)Ifk(iE8ow^quSq~Ykz4Yد0Te!hxV` l" $̠ʣXjea[CL-@K;ʙ'ar<7b9>'K tSYf1ODhɍ㯼,-zJ6F*^Z r6L%z^_7b,0ԹrrdSw 'I(]^SpwU )^`hw8;h4c\8{AٮVsb{XI@ڹy=(/*Cm}8DR Kh9[j;&U@-{:Ss&%!`Te,CEѯrS1&fHpxfqUG6 ^\!F.J,kp3f [fql}Ӛ?clMuO10G#]"0QpV;˙9ћ߯Pvfh~킧6oxlH_բW$UTuasSm@OaJIsE0-L^u1|ihΊ#<,Z&!}v-I9xtk.ؗ׶4&8JB\VX>:;Zd.:FUJkLr {F N ',JmT? 3E3a%=D;ɵe@Y旫}ݼj $,k-8p"tPvbѮ*(¥߀zEZji E-τUX˥Qq?ǁJvHo pWpiV%ڕ!8U5\tHIb\lߠan/?UD˞U2^.,΀)jƧnD`'pcO hTU(y[UNe` QpOTruc5IM`ze!0#çcJhAm4߾y{`]J'Qn2!$y[+\Du8M+3n țLX qbޛW()c#X9d]֛d%=`5y+ygi6|}_E h")rώ('à `=j|! x-|oPsVa=tluTk9? _wI839dr&*#ZO)&k;̋06%s 6=UtGZ §pxV}˾J¿BI;Q~Gp#SW>gGD=|־% %~(PL3e >#Iv׵6y|DHUhCeJboqEa^0ζ3s0E{*"jηD7ꌷIG>ЉX0'`=S@w\Ӟ3ǧݬմц#G!c?FA(AwNru,Ba!Wϝv;c.9`_h8UHr&I ҇`QgtƭV5: 60R݊ޯ|^7z1婊m5aʹQk:H]n/MPa~w\_׻a! -K^߉G6чKxo&vM](=E)ǦeIe'Ę݋L$|sέTUXQM9Xv* {Dw>#r{8Ȥ=6}1I,֍Տ@ֈDZƴ%Y#[L(YIQe)fc1)^KdH߄N_aq?+L kJԌ(sڒUu]a ,N$2j 4%J=`}џK#H#N}W!c_½7<ЛK~^P&#Nrawe, Tkz]{̾1.[k덈~;lY[4S;uocUj::Z-WňYB0B'Ix:F]~~12rkf)ߋE݁*^Qc}8?N.Vt(uUNG?!e tȗ_\ <~PO5MsmԃTU)#xϕ~-T!2ş@k[gff9mJe{2wbe X:>ڋ ].9UwMh!Vgi!+tp>;7=Bu,I 34e[wm[F`0ɫ۟ HI׊@&rФl,ڋϯ_/+* D)\̠TH0=D8qUhWy(ׅ>*}`B=pxHyt;uF"d@sT,mǮr;nqYaFԨxlܼ[&A}MrnCG<-,+6n~4~]8l9?KT][w`VAf"~bfAf{Snܫ\vM$Rg}@nWٌ3}=KzO!'߸pO,4jaŜpCHcN v2+R=IP$j[(qOC-W:>e1ѡ˛cK2hۆ!{R98f2^bã>'w.>&Y*E{#/9 @ W8l B_ %z5mN^kTUjM5ۼ!Iӑ::oc|bs>_ ۔2j׆ِ Wr/,/W>WxPݒ{W/tֱ}!`̡gj#@n0`Szl9 h5 K_&]'w"K<I׃<׷ M#ZޭuX /bQ2c@FW-L:rLRDfDG^W115-;(=-P]έ؇ N}ԟbea^'z4S6ysę66/kxa $3TǴP-ڏR (1UF0Ww! I69jn%KüИy,$+h2嵙 ?&@8zI5}+-ߋG712} ٷwsf?BQA A^3XR<* kK/Rmp.VKf  ^~U:WP52J(4Kp2y @XwyͶ#B1 xxJ1G,:Ek⡙R[~/J:3,.ِx:YmU)vs}n boўP bhi=݉FNڬ3q gsZ#D|6i_7ZfH.T@4X-*ҧyS'gеѻo쒎YgRSJo@ !C_w,b"oexF!%aD^"nLRET7P \}T!( ?sm)=)'d]S;z}s>_^^<I):ٞ#OpN/<_&Dduj $}T*sB ܯ+)t ΃ls8_l[WL(kDNbv8F2,hPyGATq] u26vd 4S%1 `zV*XyjUov0(W*>Y7yKS<"D P"\V1(M1v݃qaq=YOOK m57T &x|7Њ vKքQ aGHHwWV?L?uRkI?b*o ߏ9L|l͍&gC/v~NѾ p ֑ Y 7XgLBڲDӇ+|=S1*!o: `\)EOb|l&r) 0C T6&.H,_c7[ǫ4D38Β CjZSi;, qYsc e6AVz. %f^ps&~sp/ bVxzWN&'=QL$mRx`08n8yI6Bs,ƺRi ?g*.#I4oNֽxVÈ1a|ë:8G@a^TsmjHi7Π1r=Yn'v)yjᣲP'Q8Cf%uxmQv..sZ8xFVSj$~W=N&ZԳ f{wHwR ȚptQHM K/7ws im{qBhY.d R[IX%FuK+ ͠1o54l#~ cAn*L/E-_- ŷ]vZgLJH]sv8N7hkN!&U@WBcFo%~tp*O3q|i[<ܚSB$τҹ\#H+'L;[LϿ)B%Gb!8CQyqCQ.FG%8fb.pMHD)L 7[Kl ^ $Ԓ&qJ ?Cr J jǫfju:I0ٴ:l e{i8n*!0MKF{z_=ޣ,~/ٺ;< \XOsa W⸪'%sul]v vGˆp_& I dkԽ@ n,mʿB&C2 N-S Dr37nA>!bSdv6bυ_#tI^ft;7YTR!4C4GX|gN߶Ύo65J  zZ0UZ:,di ?~so K|􀄔mu}fA}}` `\ &'c5U15i]IY59V ZC\ކ[O%ˣwˊW9Nn e\Bu9GY (橼87B gǖ0 ,$ fbe?3xY`q2{>p||!4;pZ'CI qp7*T}:5rF.ߤ`]f~QsDr r2GB;q_ _N;fdo [s74YeCk J{7SyLWml (鎭-ҩýHo '^rkjҹ /iW^+)`}:F;dFrqNi_[MHQ_8/g4 &$}*O1j>)O_zCب֨q'OQ4Y 2nK_D9fD# zsV1h,B%NȔ&jN7Kv!d;nEk.ځBrt۽Ub*0 ̞j"d~1A"9zg ooOhgUS0NڴGߝiZk!~\ʦX~K/άш!NW4(>$s??82栏9֛t4q C^f3(Tmf6Oc@@lxX*|+9W )mJo_eJ 5}H4-s57‹Fz }VANkb!9҉#s{XJYZ+܆hM5 p.Fpĭ` 2G74Y0PX' :$1˨~Tdn^4(u C=Ƒ *>XŰ=jwm-]RU!*Re'95U摌դ;?lq#]yYg {Q'H!RՋ/m{!ndodizK9o'B|nN>BY1,}B&}McQR/ 싫C,8 h鲵_⬺b([sm-[zw`ФO3?F;ON^Vo2*IAB:2PnH_'5gw5/%{`}FF=k5 ^%ͼ@vq?Z_Ca ZrVdv-`.P^ AyC};2L "oYgiTU''SBHE}׍Y-xxXĤ1th_%7IdM&Yhs?g]gå|7ܣG#mH(~v5Oό8C>׫oܠ IhQvƮ|I/6@>iP- hݧ(ʮ~n Y6B@L > >D`~nȻZ(X Э*۟EpWo-in ^ y՗#hlz8oqE@5r)(3+-+ٻ KdpE0r{rϹMUߍ2yv`i焹wT pzNX`J\$.6oY=NR>rxWg[R;ZC4zTS hx{ Ώ^Ⱦ>\ӪC3G]DU*"cnH, ߣ| 8\k|YyvjCbc=`({ȑԉwFkAYUpDE^65iT,y>K2!81/U(bk+KR=VQoU)%<wCdz^]1  0|G$XH0Xϣ )pkbn+Y G~.&9yvkf5Mo5("A:)[֎-ws!xU\.֖`zZ3SoՂx 3P.ʇGJЮpIi=M{֓ѨU+k=m!X3qiSLyIO=X_Ac ;A>B xEKa|M@%~8^ _q:w1s=2;N<]X+ ܓ`V;gb b@~mB&O .D7O{Bv1Oۊ1$:-4k4?Udt/ YZMx.d<T4N(-&ߏ^Teڻ]ƥ4}5pUPA3櫸40M@I6X&8q_w`JDRL|+oW80wb;R-v(QjsZ] zj<6k8^\sFk?z?@BZ}~uw<|-ZDs6<$7g;trb}WMh-60esZd "ZZgשgk:#,  ͑3ǐ*M z:B:q6SYhg%)rNatp.8 Zpr; z"jdj  I&ҷ&֣q||o[[. !ے*M(P&h(2TsG]iTOf1D$'M&$6pd%89$~%}D6;7so^^AE6Nbcl6qUJgy|1gfY Y럑IzraPqf@k ]kq:&GI @/vh,l9OJ-s*@ELk fs8S^moHz3/oZPDU𝖩~y=`3V~7wOt -{ƿQр*DKl@y.^ .տۉEe  /͒qEۢp C9%"M2O⃯gDr01>Qcsu ${k\~j(`S0&u|i(!| ŷtP=mHI\biIDwh4%{WWlt p6E{!D2ɍ ASK"]NIDwƜ PbʯO-T߽`#8 I lX~Qk?}&)nVJ0ĴNl'D-H ^:dNQ X_L0kր5d q%;ئn?Ҥ|+ 0]Ad:uX+ju+{rPPllE%_c겪)O0ٔOM>Me:aT5y)GL߀t pϕb#AVk-6Rg_£58_P2$; d&?mfʙ\%/X2p?;BzeY*E6FD&R ^_5b_|+NhY835 j;+@6n;y" *|CQyISF&trtIo .6'W< 5j)%?{:}1a pOaa+UUwc5T]$Yl# WE=_Hy!OQQ3;Qie@ᇊ5Sz`/Art-"f(t+)ڵ9^B0ۄ/tP7D ;ZmChw$"!C2HBis*8vN= @Gaj"03LfҨٷR a%: 2nͺQǝ-4ۡǩj8l_F/ÕXN~ Ee3/ECfB%ԑc&AMV 2nvk!kņn}q5>ғL$Iv2Bts\5wIPK5kK91'x)6M:sE p\k5 F@ yX-wyBgEn8=\0{R݂ XFbmfWou5Ɍڍ"5H goڤDkRhv>9lW5h_&S'$Q?Q2SǤ"x##y<&{+W Y_yFyJj*DiE& k6sr=HsQ69w%2sfUPǻ'ўhKdw?r} *kn#)斉7\i˸݃ؔ`AYe{(_hSy1+Tv&GR@MKjzaL50c{}}DdjoОېtY/{*iQ zX;Dǎ92_Γ|凌WɇjW퇽=u`s$;T1!lsbג@j6&Rn(؊X`jAl8x*+āKL~So^ Ă->:F :g!tt9e5mz;]4\=1\ހ*(n]*)xpwVv6V3J6Om̅udA?nF3:a$mI-VoʾNUF_D, l xY힣Ij><)^g=WRvi"EBqh<x@31F g,̚9^]IBR/oj1dPBJTrkhqjP2\[02^^:%jjVv)O:¦ E  # EOXV%QVhU,~ZhEyᆙH׶1hpt5MEC<7ۓzɭ  :wA Xn Y![4uvrd%\ȅ`uC.9R>*?x{uC!ظD\{mL7¶<.L?~_=yp&<|6ItP1zi+|@SV%7)O/TZ7-!X,O`En$KFFƣAK^'7Z5Di̐Rxꭱ 61SA 8_8pɜDVQbN$b[,Hl#,E/Vi0RY#tP6DJ.Q(_kF٧rڍ,BDxUfldW1޸R(xyM|~faCJo~r<3uΠ d:쭾b<- ҠSRL͊rT=7E(-f&~deKpGA٬={uTCx\;_qƹ"-Uu\I#cȚP;C)nc{ ;zw Q5qdu@ϟوOV[Ű[pŋޣ\)ol}yj7n*a;JgKM& !Q3,Njүݖ:kM/ `Uݒ nXn+cDl;paN whF9gQ[ttJ1+| :7 7ÙK ]μDT/1{HP2Caehپ-.B`.ͽbK_v6l)ҒdNT&#HUuvK KXe4 Ojb`6o}N"ԟ[ =D3xyAk[cIkQٴѩQ-3?"Z)I%Gi\r;6akW3  ˩jsFʹQVpZ#&uQk)?A_oYo H* = ,a,ai`WϚ~{PQ8hV@fm(p\\ǘe u*a89G T1W,Et+DZ'f} 㧿7{ۜ2_]n[% z%\5~@/d d&(R΅M'q.*Gn=4N丄kU:iX @:gae=~)5U lIށV)4%(><@p@%V[i(KpN]Q2Ȝ]̡Tn3*%b!ヅ} L% #Zv{jTRMSPegTh5 ,I^~/d>_51.L"d9KGSbj idm_ ]+pȦm48{((>7 [gi?di: L20t (](.C  YKX 1co8 uzUA% [Na C |UdOӐ0a]I*ruv(u>Sn4iw mkbN*AbB( GMl+[l*r;:@XQgJ&)B fD|V<}KOΙS .LtUO4GqP(TƻJQi#>ڑIIؕN_IIϟ Bu˥5 Te^!EiCݽgT)(f(*RQU#n#KD)>Y-~q{W&#fiQɂ w aO/%{=b6ѿ YU WD9P y7S*.}9G, @H[wWB,OW(5:;I|.o\ $1H2:@..J7} եؠ*I";C;__9B$?-A 畏lF[ r$[bi跻*Lvm_ҁ0Ϣp7MQp.foL@x&x8)~)vٓb؅Ri 5ܜHAHW )JJRVzJCK+,nuq8>lo?Σoi!z3{ȭU ?5Yq?IOZ/bx(4b;hOj;' }ym{QՒ={ /oPEw]QuBDYb5gC٪ڛ1DE2qa$'Y)daxg(M'?Zk_)IH[Ѱ,im VczUhutj~s/*Sҋ,,TE髁41Thɤ45rB+/7x n5eܞC?4 gdCzj0=Xbziq2u<L J.Sl>tSyp"6`tq;[1+Biϖ'A ^@Ƃ9b@<3vKIKBnSم}CU~X&wz=:c\4 b#U4 ŀD$!Ϗ7r“㍄DLǷ^XlOO5ϽV ~pFjDµ1Pw/&R. :):.Cwln/Z@ [*p7˪fcyf'R 3{ ǛQy^j^DΎ4r䷅_j'vyު_2!CPj/0DP$=qrEHoJŌ!)D^s;A=D[4jDvH!,NFeKd2UԞ,rʟyyFϝOb@J1W"Rt7k5Cͬj7_8C:5%Mxz(/2u7 LT5 %I~~;G9N< cB G>b _54SA䙟*t + B9 !=>ʁh5Z$(BA{0{lM'W"YݣO+7lꌚџ'/MʓE?aE]Re\bg}D$B򖠪+A2[I%* Kc/vWwwXRwCbW.'wa%wWPŠW49ߺ7~*`Hb}#}PK,hm#?q#HO΃63?\JRug{-; F[EV~cyJ9 dzMAP4ZsFSEqFZ_һ!}2X+X{OIhK<&~M6ps]Mar +HR=)θ _cmx=B$i rv-|u":GIh̯6ޏ3m&9>ʷJ,o|6Dé.;- $PfL4td2< IE1m7ҫ'hƦbgYûMá3Ԭ!]n40 wӥ+Ѵk<@> g9en>PK$thh*^ĩ$}uʱ" nYGKf-*K;K*{M9$U+s6j's/ɦ2h5x-5ZMCrzͺv2uM7ތInSTj:JD-P ɒMI@Gu菆=߃UX³"@љk/[GjG"cKڄm a~3UѼQpĐܶTfMBeJ-}%̮(T7HlO!hl:sʌ&Yfy@CjIcnvWAs Ap1/4;@ѿ^"gn`(jM b͞!߻wUQo,(C'hwt\q% f|?.n:h+cVx'D C$w͆R?G$D L|NWn?R_'@n*. +4l6aJ_ D$koGG 90ɡiҰ=uL( H0Y}*}D_D0c7 Y:@~S۾?],G%)6y.xKv-Lm֜Sd>|"5D]_;@\y@XHkryc1MVscpLRl##<+^G^ b,-[!Se4I HKg[.5cNm9XڟddHgO|$ܺ1o+cKbu¸E{x 3Wx@b; l<̗bҸ&J(vP^r(Kp!ωvt|,q0ӓՔ~aHZv0MB0:ib< &\ܖ.xA:X7/3)3ATF#TUo/ %"Kf:KŦ.H#Z7u<DZ3(( 7YDflHC\+rK+* ٔ:&FxCe7 O@#!'^;ɀR' j_{+ţ@MHs/5hF3ںJq~PjTF89h}*=HIYSc@CGF:|mI!\-HJ xf%Z' CCSuB`IEVDZ`zQ_FiCz?k+%KECqd"EDiͷPXnk"+ \ mFz4_mgH+ @uFǠw䞹 !< 0 *Fs> t syXVD)&^sl ;!)7In!o1"~_TrdbJ|t<[bMQQ龶Df>JgRʙfH:R˛&]VW)1K)` I"{,}jzQ<^"KY?%p'Wk̰(v*L@dR J5֗s)HY Dit!)$7ds$Ɖ/r'}\.|[Y#$Ke[en]`\$LJ6HqD:PZ|2sϼp1[dF~TITJY QvcN=+;U$l!c2UkCSޕB2"8zԔHԈy(N8y*X9h\ǵi0#oI0b+&ZA??u@؋ڪ!$"xծNĜcظ^nJcҷ՛JPB&~EOu f&unm}S$1WeuN]$HgV^G a4k%vlq5u4U&>J2V4+mQ*h2Nz6qRu24!E c6/'ivɊxiZ$[L\C}8~GCKYlQS/ mXD@|;'IH[W]2{X*T XLhZՖ3ySxsU+IA|[e"'U:'D8O ԕ$!Ufd4>},Sg®c ©AQO<%?UdaA@*cw,Qc*,UgS8#q[IUf!e.D*c"l9FZJn}rI=G氿,u&1Z9u#$yEAĦ3+G25{{' G3Pt*UX5(wWr" ȦE( fcd)//X krEE ɰ`jcnLEAv\: ,5?cPX)LDqz(4b( ?ֈ 1inΛdSx{_ӻR"iWƭ^^=\O"/HxuG81{K4 As{-k㑹Q5Q {k>;fZ#l, I9C,ع]8 3zxvms\lª83@%|no~rJxcP-X,0&7 ,IY,Yj5݉k'wZyʵ :Gi5+O.zLTh}o| vUl7bJJ S& l D$ڷ`٢`4]h~w/Q9DVOuߛdIKw8k}+hčKWGhgBe",D25/wwgZW&E݊~g$Pj8נZ_x-?Zm 6# .ź@f|s؃ONLU7CaE꺷4=>szFc-sQY_Ce`2*:@-K]R'Y4tXᢓC )&n֎ء#FrC0J1A$b7Sz8UfD^0Ot, ;`?J"IDtd$4i8EA$ֻzؒ^ťWt]) ‡X@q=Q 2cE GjfY$5k!w4tIc#tWD&4zp0-xz:TГms=?ϸ"DN7ˆsIRNdTHQ7>s+V;x[ܬʠWqtQZpM3dxfZ3I_ĬD,!.r:w/ \\E +ߑ[oҩP.sy_nk'ζ_S?6{Oc#5eڬJȥu`sݰa(:çf7l׺@0Nкlo:W砻fF!Łpb]\Q^պǎ^FR0ƦOg/x-r NnV,XČ'|mJg>q%(!5r~mb㠓jsO]G4'P=E  YWmd­Vdc F{8&x?|SGt 4^^<:v^W,U(Kr.kp=eq>ttg B QwOi,"\YDłsVtW"8.JC1%9ݝ/(yO0Oٳ{e9,PvRw=t[bvBL|/\q0}LK0o޿Eiq% Y/#.T/SS,4(D-`Q;9L@>6 P-7Jݭ^(lW̾vMmbk=fg'_PFU? XdhH+IBvpqq>6WTJ#"x=P2F y怂QZ? (Y-as Ir"?`PLÿKl nz6:G|O `Q>vs"en})˫ϯ:1 'gʎ;K>M)#`GKgq钝9wF? XUxJ77 pxQ*S<8k`IQH ﵞXŻL4xr(_w-?) e>EA (NjM)|TZp6 xI"ΐUGcmx 8]4vEl3ܱա|g%Ϲ #Elu V1; i'yTv፺Qa.BmL'f6 \뙃#㊃ ?~;ºqo!j\7נaD5((N]/:֤re'4uSzM6mѻoʽ ^ijxĨ^_@ZfvV'QNu}4CH*ӒiėMn]ܢ'Y7us?ÿK 4yhJCs,VNV4啿3c՛o5Rȶ:xQ0tGJ-(cyPZ·q z18%*E!/۳~eԻEc\nRuMAKʑsW(jl/Jv8nrG'aH Z\'$<~Q,]ݘ!KK,sz|h 1/*pBb1M,2:i==U{v'GX!dg3N4G Ro*[+p0{WwOY]6uȾˏF(3z +B+J!u6mrOIki: os; PAETpNI.+ډ6j Mq ̯=a:n"⬻D$ٗrq2M,]g2"k7d gQwukNAk)VfCx t,)!Q|WY-/" -ߟ2, N[Fc>hS4*I6]14F_{Xy#\OB[ kfZ*p_ ۶lr'Q.= gsS\ lip&˴f:?&$ R{bޤ"bVm*#(lxbB]ur}̌ \ctqˍP~h= )ƵO["0i95* moj5iCvhrܱ}v].MM:B .mygU7p_.yG-Htj[{]Edi& 6xk3S-/E,[]CT홺׳+3.g].|ȋ!箺 p~LC!:-_1| %Bu`fU>N4[@aVr1OQWF4Hϛ8HKR2LϷtJ |kwb 7Lx5`*Zdp hM_A[u1 [!:Z/U| T{'MeU5La9dXY;1x4 Jf ~л@qLrf%1ӎծJƘff(2}>H?yD*3iu:qe"k}܀3%SY}T->fpm4^d|RxjgÒgrRL ?ťKb4-c##V_ 1/Dn`,tρ> 9b6=0`&^W)a`YȝT>bRשppJ m07UgXQic@|rAQ* ʦ5Uql9IC;G-x7"8P ݠb^p=đⳏ J.)c6~-hHw?0Cqncqe8Y BG-@{yqv:۝*^2/'^,Wb"@kyvES?@lMeM(=]su.IR*š8a!dkqj:l;J7/<2ƴ$:`=:*VY3[>}r -Y/ f橶|Z&zIr 4g Y_̽ft,ubX.PLu+GX9 D~ h~F c*:wsK8{KKбЇc%3hHfK|RMP|n$I%}eî ]c? gůԄY:&YyK C]>S8Kmb'̫'$G`X6#0JL_ |R͗+u^pImqP"+>w0~e iDiF4}!~UUʐK ͔)$]/}W~*Q)T HboC*DQ uN} :b@̇o},) kϕ#M*tS;t6n1*$J"56j!1KEo_dM{biMDi:! .;Rź0ԇM P>q|9c_l@b%Fݼi}ҍsdW6RiYu 3w inj;3e?^y$?c~lS4w7dAM6s%H"d 9'٪"ߙI=Nw01 3=hG񑄑h =|,8>iǷӳSЦNQ,>* O o7?%D;+5[sk( Ҟ3 9{ʷPo"tfn\\PPMTGOB)SmXGm%)3 ơwG@x hFE5w/OT>B2lkϴc#5U'n n|Uy$yòR\󳒔 4k;Vl5g=HB-cA64[q+db q$).)t>mgˏU&<.!';Cp_- HR($xx%}B7tc}xaSbYOeFphrIzս&Q&4x8>PqxɚS=3K"vT!Q"L83u5פygg_4.Lc">Ѣ"ԻQ-' gLt54 =TevM2;3$zܸ98=cP|dQ(SxtT!JNǫK}G <}3ve\ـӑ.7=ӏ:ځ?)fI.,C9S=Wqh;i/?&H1ӾPD W2ӤJyBXF)eq zl)y\isB4 uD*Z}DW7٨#ny!b--R W>pEԈ;`s|HB;h2q T%-s67T {VP?8~d nxYxQal@W}Gf\0z[qaxսvU l Gyz_;颮o{:P~fJkXśz6~hW*1ˆmKm@(L8P[ӌxloPtx@+f'҂ A؝Qul *鈯j!K==}S$J{ʛ[a^iDګ/hVQٔuCWhC@]µCؼ"Ng;DEWTB>&F!Q?Ԓ}8sZ$݀އ wvzC6#;so[egv [#?s1~[Ț'"+4Y΄R%֑49.l Z٬3YqW_mwnA瞤Έb^iqR&|:^3~˺y3 ς3܊`(SJ;)gة dZ=+eS'G:sgJU`QՇHXeaCѠ*(yn:g#ba226I>k(&.:^Sl6@LpS~&j ׆|T! kp,aժLkViLSEuRd4RGI}ͣsq> Q'} Č*C>ڇ$n/^/;S 1DMI6`@0`rQ6vkm_42PD^>OU/Yo_yi]fzm7E|~!Oi4f%8 ol>@!/TFC$H/7dwiT~{i.xL,tK~[ 9txQaP q!g!P34CKE2Ō[KHbC%l/z"p-@ |0TX 8K}\~Y -Ow$wkQ>Pg|ͅIMF݂Hƙ(m vPy:h>4⑳2<&vh ѥ?E>I^zFf:Ό&}:4IMQ["ΑK~? -t(FP3:@qx _8S}ӳl۝ ) gK4h +%ߣ }*0(L)e,lmFcj&y\.% M1*nBہ}3}.l62%GZW"ŪD|*?It˘qcY vz'V6K]Ok? #fkv99ivc1|?o7;kbpzA؄Jh+ajXd9 1̌7E%]W5cP]ia2!ST(hE5zY,ω_q>ksw5T9Zҏ}/h-W/w#&-f=l:C܉|#U;KkT IZ Ϭ|GB;jUC R1&VA36-[<ůTIt_FA[%;>{LK4Q[tE5rJ\%B0RXp^\>c,gYZ6415ea20384e264c6e770d4e2e7153be3808f34c41dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f444738d4b6f7bd6bbfc7e894b23779657a9e5a6b02