SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 8%d  ]/]HOL-Analysis:threads=6elapsed=311.748cpu=1529.772gc=55.488factor=4.917zXZִF! 㐩L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT}sI~?02rdKMiZɸMց_iO(,čmia=I?d+O X [(vcZ~.{j}[Co4ݙΞܙ-'7 % HOL-Analysis  NC [!M! i"Nΐ\sRY::/z#'|f液)UC&K3-gqE_% 6!?wOou[ZroYqPeFb.몟y̦_vp >;8ǚRc@tHU~\TOQf7s*ϸ72h3Aza%7y".Ήb@We )^yZZܗe2/K'=716.ほ$'PR(Bu((I/aco=7vH Vب,{b~ ub-45Hl",8`l`v}AfTfAd֎mmzٜ>/`cW}Q2m DK _ xLgȤj9b)O^ `R%ݞ½-pس=)ĥb8UO=e>nM 7'~P#ɠ"ɺ2q1h|,e)̓ !3Ksm(Ax11*ҢQe1S|als-c?*=Ϧ 9 sb zV=tκ@fR(*qV$>sM7:3!>hV QFBiVaE4W}FT.Cv6I$%h/]Iۤ2$4|IFlp)ceTng7ɭ{̋flKV l*Xu];<7Gν>ycKG+}K.T)vlR:G۽ϫJ6dPt=`,GtџLb1DM 9΢i+8he2wnމ f~IN-"~+Nu1;K@?Z+cNfH`&HI=UF2exDsk<軵.RٓƿT0"8iFkuh%Ro ojzᨆЛVV`]?!EG\YyI,2΁ Bn/cpsS.K C($WHzUϘ9̉+ _[vLA?ݏne.^(P23$H]^gS)ൢЏ:R`IP~zN 7*#IKb@J}i 4ћO)er;߲Ә|{5L pz%s<+k"!&^n93iW_R]u? {_>VuusLIdukD3cq`7ƯiiZ0%qe #'F%EΦR0)Cˁ !4"%6xk ڵ)l\'C", HC8NF$_ M _HD: oF|/qQt+}{lJ"H5u l& )LR>.[`鏘n Ways(RZ.Я˂Ûps'@HqfR_!{~; b?*IV +L{O&hyEZs]5Ά*KlhAfSw 9; [*͐DNSߌ;Lq&So SC^Rt;_:F]%qxpU7%Lz*pڔcŰ!Wut?6]DY^MMۗ_p(.k "qGJm~2e3&+ͯ/cQVHQ2O{|AZ V"^:qr/.jsW%z[_3 c]}ym;0lHS f 5׈cA% Zwǰ^ ˷Q $ؓҞ%ǫVvpOϊtl+1NL aLjSJ9]eD@İa8cfU&cO4 4%Z"\iRm'^{rCM~*#=. K 9v4g/$A }hTLk2P"~ȝ8к{z?:LOReGV{e_7 e:UOI%B;x ݒMs=+XtEp+䔲i I׏3&s7%q<л!CPA&*F&tujiita8B;)cfUKtw=6HbP|xܳEOf$W?X:Д)Ӝ)x1?5F%uƔ2njjj.|0i%e"oN`\{E4C /w#5kk5LL$I#Q!4vђ9?[" 5Nn Ht˙[Aҙ_B e- t) *;)I4{{!r[MT)aBޮ10y@li&A e]'K+irBXSj!,J`$qa`57LH^ >$aGsl"|*7+/fo"׃ێПIC0QDM&;F!M4]_fLݐ0ۍn(dÑp]2AMkߋ:Iߔ3I~|9-briRW C5eT6~MF 6 &q4+Ey#o-X,W]mwoneinwv΄ od)p]@%MC+wG1T̬z8Ʃ9ٰ?y<&ZnnbGwE=D zٸ}}iQ2u@\YTr~q7LVIiR Fk? /M  21W4!TcåR;Y7c΄zy~c\W'E56gީՕjV 򫾹 Ix<: HբyރV2VPbS9/eK%;XlnZu sqr]8i-bqq*2Oy#%8F4&H(W(4y^"oOUv1bY`ia|+T%]M"f$,?"%IOy+=@ZH~G?&c%H9X%  PݝbG4& R3Lb;ē=7|:c+be$u j(0Gzꍜ\#࢖w%u2L>]O{`Z˧(uX!rW)妄tz^v _į_MM?EZ}_ ژAIeڱ 6w*n KU :D*ۇy&lz?N__wOջ@ֺ^$_vt-w-%HҎ# QE*Q2 `~~G Bm3 O0ي1ʓ"=`⩘u &r6Vd&01? F`70;~5 'ԁZ<`|V]07;m8Oԥ$CBuN&e{,/(6T|qCŮ7/E-a>.w%V)u1 XˌIL^5yaC(cJ z6LsO"Bu(hh`rT'pH1UR‡uk G$J," :bw0l[w"Xi^>GQAzPGc >KȿX`7/X%C6ebrEoq*KbjVqDVM|dU9 [>-ilOo6c:$,fk9}-cw|4mѷ.د^ m \ SAܞ/NN?|2X`oLeS yC?\>>?|dGH66Cη3n"$h /7>:q#c82z{cvIUξT t]ؿd.1X Nm) X;C.c@,Mt@D*5U4*+gvKijLըDK>q葙[&k-_b,xSVgM'!b/gЫ i^ˏ qp/+\A/ںpdywxA)Vе*-Cg4`$b4lH Yk,sD//IljX d4Yn ̣^4s׉7ِ(4ؙ5vUU8~Nj_5m`΀; 2_L>A $tZ@њ&Tp>Iݗ&ug%س1EZx|ւvqek|a4sae_8 TZd4p˗ Pɳ% i;oTmis'(3x`%ڇW7:H- YeN2ʈ쑑*L(\0 \L˴ p~B FΖ틂_7#3~kP1&鄚@Kۼ0Ty1*MyEl b׾ޢm`€ۊ>ON8Qt4C0`;ac8ȶpbUȓIh R&oi;aǭůq#:7վ$&4uFst9G!+  ,;ZN%i>=$/ @wD/ɜA$'%7aM7i`Φt7u"e`sccݳ[6v"'} kz唊|"i,ϊdS׊aQ߰ݤlvB_`sRW\Vm@j)߉2OD/I=:aqh0مHz 4s7W8 )sgBop*߳J{:EnUtBn=)IsjwoܬDd:X;ۉ}sWW⥫ R4K hb#$)ָiv }.zDO)c:RZܢEA]bh[SO*bag elA #Z:|3+gB k#C6]0lHM !Qk &)oyjCT!uw% ,Y%+D 4\T{{3SIq =G. {@\eV8+F'KȍѺpl\s?`L;?B=΃eO?-샴LyT3-e]k镑 1V=/-* zv ڒ:-d)zoZ'*"}s6Kcӄ*lsARQVPQ2떩b hL1žTH =>x:ua|s8y: ˨/fʆC*UۗJ G ;a*59YjlB$Wp)É"gq/m5VL>Mpʂ;Dr[Ay.pbl-sd RIUIB5?kY}ݴp 4E4zk~e*~ XoY}Ë^TIK2넺G)=16XҖ{]]-da&YVJo1@vW uK83 OiM g?a57`s=zu{LM4V8Dz-E,ȣ "4*lb- [VZ )*,zpPgvk9گU@,YXF1b@5F6\ӢV1S!pC,EgJSVsy?E5|0*P {5x'iYUQ{OTO{Gh23ݬjv+4F|L;,p31~O+/t$C}䐼,(Ag9e"&D-R*Ȍ0X6P[.Y  ~գI2 ШTcua;'{cCZKAiɜ3rQu'#qj˙BDWO}UY9jy@%EkC\!0u*v/X2JN>e`x8_9Q.K*P$xM5EJP\oZ*-P%@L3fCH?s9R5|KjMYD~'BVXٳSYlcHq UM.){Xox w9 _X2G--H`4Ru9s=A }̧~莗J K_̉D, gʆm= #|:|cjVu ܐجe_=-&p(Q>;Vg\57<`&Hc }1qU1&2M{:n 4r'kn>`Qf51>.7&Ƞ~k_N9,  Tr-ms13߄Esp)H,Q`z*m?ǒpԧNe3Tuk5? ۋ*sg3;r0\$yRN,xלJ~-v¥E G *FSz F0aҖcJ#fbqQn nɏg.spo>hn r_ոGC-$T ~ π1k&tqh@Lc3mhN' ? HYr#E(VU|o*1 (;t4($nh:'(Gzr;M %75s'9]pPgc衛uF%)b(/$CuÙuN呎769d?w! {?)45#ʾ B[ZÁT dW覕\_:Q(ue.jT^UsEb<>r"}q չK<6wDܴ3vהb$ i[sDe|}kJier^zpk+ <1k@]=Z-e# jKK] :gesv]c Mw!MW!鳎9lD%}qwG?UK ?-W3T2^O2cc](y(^Պ ([(}_Fw ;&8Lr_ACitEe)$&{͞s3 V4nwH{Aw\H,Z~cnih!=(?-4lBI=&u"x(m3{ip̢_sz1Awt_"R9)D~TaKTD׸6SL<7!:Ddc_H!/ PW3,L5:@Oě .5î,\$vyKTX~;NrOt7HسWa1w覹in ң7q3Eo`n׬(wUΟQ*;ʞҎ (kFbLx-R $ViSvFUӄaO]<l,6E0\]ւxOvBqR),o1Ƽ|SI8v<Ʌ6o7o7 `pȂ_"2m3.iS'Ԍ $UIB&D<"NivZۺ ]Ԭr 11R,oWIQB9w<-{CuPGks#*޻*"s0pXq,F(Lrtú+)]Aϊd۽ wT [ƦP@뙖kэNJ]wJtʯ'Z&` S,6s3(H˗S j-iRbW j';r든8nz" ?xF%XOT(0z3Ee%.BnX5N bI;,HH7#$8/;)M0{`Ym҂ry|dgC꺉Z9H)tv 8 8M W~(e&56j@A "e.6#l=A`[[M~I1~vLe0:gg0SHZlϭEh5ǥ'6ofA-\s᱌fNRV\I4#4b֛C`ED㝝*/xmvT;'wb&2_+C8c+o:?E͸1'ʛVWxWH'Y€0hH*9L~ZPzŎdsWRǝt -i!$Ї^c|jωg_eEhEu4Ȟ&пҊ#MB=u葟YfKCW O;X>!ݒEس6̉I f?PvkcN`yR 8rX  \ْ`s< L."bVǟr)bCJ 1BcuM|w#NI7լ ΏНѧ}Ə fi5U a%&W~3F V>>4iwY 6m[tHR>NjN&^+*{2JG\+- hs{ Gqɣr- @@e5k3gǛy_!(E9)/.>Yb`vڸr1?v&Yd1±`vnf(#ST,xRj~M ={\L0H4~1mQy21'W:/M= 7T*I"܏:#pBx;hNS"#aG5Jf 4o!%Oh.RxDa.7Eъcx{0U)U_&fW`!d?*+Q!~V)5sݠ6>QT_U]uZPaJgaI\olٹ:cmt9DCoii&~ܻ}.:P?˸7jeMԲrD:x uzd|X:BE&B Oqʒ[Ǣy^e_ge 4'|ev?V934_a"+ &B<ʾ4b"J$. ~SAI$j)Q(c_?9:J4׈ H Q3ڸV/m 1ϣ;[6McP]F.z:_gP84]%R<'K5,>n7p q8P~'ԏPVAC\N9GZsMOd[fq`!gF5mo*;Z=Qtm*Œ@mPp%(<^U{h=AzBp|C{~/mvVt9_:?`j=훲x\p/5Nkr?5PKi@,knS08}dv][D@3lB|n2~s}VݟㆭaԡFuhٺDNj/!ź/e̼s;`Lb8`>&h8ߕ53RŔ7C]q0 dB{C^9$~9Ƕ:`JnКN%v7Ǭ9ٕ I^<793ҫN/nUxZ!1kϲ 1PT%bYnhddƻgheb"sUXʁF6k-zejeצ\0=6;~:cY#,HKeEES3`f7B^̝aBmNv<|_G֌7bk}2Rl876u̼|QR(JdF 9tİP$C,V"O^ZXYӊZW)H_t WI$, y\`UggY.0Ebw*d"p1%% 5wEM3[bV5M@f%cuz)T/Ut*\@}ZT Ky˖fA,=lKL߭)C).7]l}AhO1$hsy;+toK;ՃV{ _9f+>gYr ǽ[v J?9 0`9l@91,.pFWLHL)]3 8#7pɷ \ 򷟇Ȗ$[ 12뚷0npĆr;hl^0t\Q'@&l ݛerJ6)I[m # ybj/xwzx<~l%Kn~&KatTDN0L\ Q4lH v!.+BsÜc+J}WopnUꙒqt5DI%B ||yC(XB?.M|xa .J|SǂpS@ӌGd!Ԉ7NJ_7j&J-}h_$>6*iwk/oc¯e v49I?a 9K0!\85h7#o]oyh <ȅ Ҿ7}[е23o`,Ty(V/t1OsƍWif8ӗ(+_:`b!EǗfEK/X,CIzrޯ?$$,F wR6>t)z|mM̬E%0f:._0hHp@;OS0KH 2P=p'S@Md: ͣD,<.r)Gp7ռ{*!C=(F-7br%kTߢ k.d-~O@uiCt.4u.oi2—΁R]P.36 1+_a?}6),7{S,_o?D;'Nϓ$P8[gz^L3YM7z2Lv|Bu$9{mb !]w){);;)g>beξOU#c o["s0yo-N3,zyNA$s@9 6tT&[kԌWSv\\ 3_X(2HK-ŇdcDMM8=&Y8FI HG^My6ΜZcdC 3 3$E Ի" hOvKj&>~tuM1 OE\ lu!/[v2.{;Gę xND0OA+j|N+4)t4U@b1_R-ʷ#*}j(g!u?aD&v?iȺ_ө1Mv_].Vb/ǂe(/yچIyM80u|aēH 7l;zQSjJo^<%)2r0fjU9n"$?HL6q<5R7{pQgI ~# ]\͜ M&\Dq,bFir]MD][e%|`KK'/Y%]o1ê:}$Ȗ*T;~0Ź m#DL嗋7DBy~fb{b:OGtt2*T(;ѧ,]v E^'ί~hSхؓ9\!K QU{wEar0Toj۪7D~<@o {qi*gYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4Y:޻vR! _U[۰UT/-,ή~ dӇ[7:Vɗ8(f7?\ᢵn/ ^gqY%2 e70I./sd`QD l@]7,]|RǚZ\r~u#EWo޲VP+C'%d奜c`dpnis/.,wga>|nt8]ZB@ezDat,.v~~zrĆY[~2I5TDq,h IUDaN[罅X$8D8}P\38>dʾ KJ{\_p cJq_ CCe=Ah> MvՁ` E&{U-A(;u?/us3t6v2rͨ $MeʾT]8W>ͫ&[ҘyE00@l5 jKc;@z7_RNI/p9-qSVGtv~Q7 b^S_xV#)Z7t=l殪_ޜߵvkbP>4?KVlhk+J~l\6Om6>,!=ڱTQvmhe-<ެ_ 88Ϟ@-,ZC5L'%j!pCmnBR~G%1P;Ȥk8֖ _.l> y-ϬJ@(o&eS>"X+Kb|p*7dN aFPk~`.%\il<ќU /9C EbԶgE~585H2 d;m!}ʠ䰱nOl%z'* !IKB3p[!ske-O{![ wS= =]jūm'@xƥ$N@7䮡=BQ_jr1X}taEXsUskAFʼni9t~LoMn0gYZ7zXZִF! Mi]ŗXi%B!<{"__ W_X?AO3W̴#nH\;F=2&4UdQFd?>gIp,щT7NF#nC0Wbp!6ywBYV*/VvT}V)F'g ^W‹+͕1˗s:۷!ޤEeń"oWDrRo'Dߛ 9;YUT}4w*d_c:WMGE+NO^M>"rF8&2&u{̓Z?zOx.ѩ3BAw93#E UE֕QUdqYbJHʜ1YO4Q`u<5o\ P#?n'it됎PwoQD'_tmZŴ涜CY?h2դc.h!MkGU]FeV9 &?-Ga0At ~![b Bp+V~[=9h+ m;ߗM(8ϩ8bl^g@m8?ps X ".^~eU `oO};}ߨrC5s91RY)_vSmXkϩN>?*}G됟zv;Nm]*"犁߹|lHzg!ϬrR0GF0]7T 8w> C+daYیLJj(Dk`c;à$;!Ҩ'?H( /d_:Pׄ2"JBѪ[klsA_t4彷:iFE;P)pW90y ԅdiA+? /!F7u L|ó~vrg2-oy<}֯9RYX0ҴRdh@2:=ba+(g)uȿ],:&&D&14*D.1i+тng$R a`0E 1EaK2Zw}݅α,3'6)Xۚ58ir'[n {{8gbYP͆k / + 'T oï\^q @-Y˼ː;VwjMTȂCv tôjm' r̅m'.k5QNiUlÑmD=#+t9꡶a=&.߅cKH>xaGLFx04BK4{-?nnEHA ҂ %AX2"e9ry-`O:/Î q>b^Z2I{nrfS~0F%Οh)-Cj \#3Eаhϓ1i8D~}[ ,o$R\q~XMI<Ǻzu}1uϢ5$ݔ[hmvnx*'C٫ &RʊuCILCGFr mr4f~? G-0^o=\a@ì5' WAHMW8ǐ7ʫdV2L3 ԳNn[G>̻mfx lZY.`UKUPl;; *}ǃe; V.1=s> dVga/gR*XM$iCl_Г'J`hNOFSTO8 ش|HuX~ϧƏWvUl?J.ى͓%nQ-C0.%nFP8~g> @fM &,lVzUf!SqJ-.Hy-1cR)xAu6/wmc'VE@ގ}bg_3 .z=1}MڈlFb]UJA%Rvd^Ār"y2ʎOQυ`vJ D7~'l򵛾`ɱ 9N|C#.RIĆ_uY{|9+ /tJbaɈWrU- l|M3l S-")9|Iu3@MSI^o0r/eٔHr"+x5=n3^By-.פAQkrϺ#MXu/=6!R Mߵ~'[lZ P_=5.,N*!OSV  َ uoPI ہZ}-G4)!GYe^SKE='LEYiYܔBAm:9fhPLe5{K<(C~|@S;Z81"%y*Ҋwf݊I֊yeFdzZJbGbm3g"ɪKz091a&Jн`>hBZ~RCekPYϣ;A@NEYX^%75L^8seI.;Rz V)* Iw񲄙EdVL};fR-yV4n@;ϋնgf~',wز;´|kf >I"ar-.u>nD.t{0.ۚeo"N@t< y8(xg.d$_hRo g8((VκYҿ>[ ̗[Eif1:XG|힅BpfkYXcFT`G F4hT9 IĘ6SR-ѽeEZY7`g=DSM2[X9dtܓi)ݰ覓~ľ<"A::F&b)BaPPHe̙8FiF4̬n>"B3h"|wwil~kO,9mqᶔTO] .>cb7zo3CKpv9mhA//$S(% J?M;v5)Qk7XvćGjUt:8 6l̝f_Xt@~Q1 &1vZ/:YDb uP:>ވȩjK'(p:X^3J5R*#' m4trmK[}e\ՀҢZڂvZByTo1 wdkt6w7T^ǺY~~EIdGăwU JAK*']C;|YȔD5p2DDFä;>} Z Iff*?O%QޮPs*i'viJD9'$[[P /Q/>[ ۄ+4D DEǟ\'H(?Iæ2 5H.'u#8ū]ԙ}Bb^ёxt(+5hKKA$|wݛ8';AWs݆ 5A (mPyQDۅE2>mJEpFABLlppK ҟc>+z@TL}*ְO+ڬB% Oaozm #Cd )Ӥ! !y v[w0SpKXvA!(r䀌wBQ}vZeK -iڃG@.(sPg xd_y-0{ +ЯS;F@L1$7x;'1"lq3Ħф \xfP1,hH}bT@C A]"K"Qm*4#\-%d th<5s_ۊMF 㭠ٷ9eC]-+WJ,׶5M$ǭDi@?ItjzHy)8ht>q Mcs(׉~t_ÍXb?^F P"fH$ p}~oiR݉M 7 c8cDiUfL`.Nv><׸d+V+k-s~OR4DI%dն :Mw I~]hѕaJn կmd*ETg!:A(QN*t?ѻA,({+ DJ }^XM/H &( &^ Eg} (_,U.,N-K QC{Z`9 ud&A1=8Ig^qMPLx/:f-O?"F ^g js*|&'0 L6 MYPsiJр/GpRM2Ky0}H'FVm=FE|vYW!L$@oW:n?ǔڿiV̠D!Dfwi ye\ ְ5 9PIwnR8,tث@D[c9 +E#] OTR~$iz`k9tKІ_BUU(/YD?>#-(X0TT`x4vY<=Fvs[nfHo.774S vׄF-b|32,."x{Hz3U^h]qJR/-+OٽeVW鏧)N ٯX G6n41ib4{_C ؎{-$N4CYU'r{-~!x,uPiԸ+g5U0c"#%f"dgǃ2g'%A]HnWp3/ʸ̣*321>LYOWOk牡Zxc=Ѝ%+f$ ׇ<.uPJaRճ;]f!≷UHs/'Y}9hJϭ#F:&WzYj/Ԫ<Ȅkx5]1K1ʰ,8m7Zq0ۂM?I@LшCk j0R\L^O BlǽW. GIRTϒ}ގ8P+q \%1;h!fTf c-c|j(Z~M#Pn*wg/uJjt]P T5dr|9wqA^7Epnt%=OHM XE  ;LUH~};5D1rcvN;vD,82KF뒫߲lؗ8M1V43v7Ů7̎S 79HO'5~وNw Z#>̋.A:q,OL;a(M@T1DGV1DSȍZ<92MejRcP @ z')<`hvWt鉁!LZ$0nQY'nqL=Gm%>x:KEWE'N>ΨA<5}TsS%0hi⊴Nڎ \"'DA,Bnp0˶ [d.VQhpP)\AL4X/KrAwO0 <\f.  08|kT^'(俋%EWt䉠4B@SX@X,+jC '=ۿYJhK0pjUK1QK/ǧVj>78-JggDOJr}kyi6l%%{;MTC-a#T690DM%vk+wJfKʅ?8:^ԉ?}T벌<"9^$8m3'iħeV,Lz,tw0Q̈wӘ|  6N!٫1Pp Ά5 R8'qޅ ۔QXJ;8dN'rÃL_:#7 .b9H\rsnhl)LʱG SdK\2_䃞EUᡦ'|b~ϧ2}DяW=E{Dk۷M”۽ alGI%[c'=D}7 Q\@Xo/o qPih兩% jHAgQP F,Nȸj}&cA(*G>"۾&%)%x8h}*_XjLK2-=;2=4ZaPDq]ݔcj5eոq,ߡXď s3}9&.Z.ԥ~t&%V ONx+إ0ς+~+#e.&aD[ushۍq^7Fӊ&]uXЮd:v Qa3t{!I)Ym8ꃸ2xo2ƺkCz=*I3޾fp><[Fz.do#U`9bm'm! jo{yU.N)`4mw"=w Lٿƀn]qyxaxYb#c'7s;~yW2_aT$P=J`2'Bi;- &/ Ie9Vة ú%tX|H!ju c2B?8)glb]pt;*tl$@CrE*7l lbwz>E+HQ(3o/ ֜(|2s^~oC,-_Ee\>+fhR>Y,K}Գ:n9Ԯư֑ypxՖQ־O2*[T:P6`"0tlN 54t1 "J. ZEZf#99QbjJ@Ot3˲ؖ(}Dck#Qc?1Įx]N=Z1&h3{*kiJe8.l쭟GKB~Kny!^+TuԬ[[Qtlǿ3C^@27`w\f!Cit_u}I5sSLuG |?t|H]`,V2Rrx>oa%AݣQFCĊxhU4ʍ?XKQS8cnxWC;ŭ$qB|T=1z $6JLxAJ}`9(ŌV t [>. `_|*&߸"D A層65G@S 9oz4aaȗo9 !7CK7V:Fޡ:e#)H1wyiŋ$%IG~8[r lغ6*p E$lOMtw /&҈%/!)($kFlu03"ŕ)}{`掦5݈it&~*;%>3(5%zTABhXW0xf䅦Q3T!`jwNz#}DEK;||,_zt}滃r{dӈ?`,SrWQ_ϋ+xa5x-K۾ =*13"P {܅ ] ިpQ^tӇa\dDݤ雸mQ0|t(wwN`L;*lDn;f7Jpw#N&mt j6ţ~Jp ba);n;zy5У"8cW߮OF)/a3veE|_LI>kr(@FO1=SPyFۧ ٭eIt8\F>Kvέ5?%? <\͂ cGnD^nM9' V*`XgwJנ$J89H$-F'_;5KD|Vѝix;V+M+xw% w]p`/t](V8 >ӯWjOrSۮg61ʛxZp=BDrc_ap@g/`I7 ]YaO_u9}iIF?>s_`QMJC8[0hBp,Z.6?ѳKR` wPǩ\s>3A3xNto:3L<[t%oj@ yY"|L_S$uv8ge el0UNW/$7CPd7fovz\zv{!,%̿^#5uC~M &U"Xb5C)w sW3ă4eWYޗ2 =2pEz>م pdWjaTT"j7 R/41S `KtJTBVfQI(,vf{a;Y0#q"d5f1mD6Y >Ln%dsG-SzɅZ"ReRޝ!;cX!13k"79zqc`V&!`N`[_ [Y٣f#p'B"B1o7Up&SLׇI@#vfdwY o c!~jN餃k!@ZB9M=P$ǂ\<_ᱠ-_fL}Hw)W?}ƃOuɷU%mZiƻ;1k =X/%wby,if_DG"3/f T5|Q]zڸdLǞV D f|õJM}X' #Y¦){eRko_'69"$f9!ow ;#sv2W/qٹkY*SqIYx57UMC>yEX^hܶMI^*(Z7=]O4_ud." &װ2o,o'XRmzlj1/nSB`ȫ5B^Mo"^yN US&*wz% Abq0O;QK C#v 06L_#уIBw; Ur}p-V|F3r}+U@^NO39SdN'Ey. %DEY#_.U'F+_C3;j0~$@\M9( 'Uح|3w~sy]qrɈ 42sÔ#i*C(EchakjhP? ^0 !U Pt:Tf&~3 t@>)F`Nnu|Grb)ک>'Z܅ ^d .~ iԼ$aeߦf98 ЉTcͼЅ#Ut-NˊI5%e^6Lg$SWgcDA<htB5Ҁw\QE`GL!,\AfzE]RLi%?}tCq½k}̈rr}/VEMمPǒIwA?>b)yrIKp@D2|M(Ciؙ&5Y%3~=%EC%;rş]k6qbyFgɛH O>fZ8lyoWջ37Zm*VoK ­Wl}xfOyVw8Ș䗮D?^w .P"Ì@. d[欶zu#7st"+wi4c2;-iN ,<l0l\m:J%QE?YX{aTd)& ǘN޸JgO#p+c`.2>yAݡ&Y!RQedoZ <c-ʙ`XV1T#G}2[a\<ߡ)XDUk Bj2^`؊C4TP1ocd <(s(/._pT;遛q_:K::Q+Y1Lb%/Ҳf-#zdIMLj/}5D ;O)MQ cUqQ[h-Є].Bz0;K@Cx'Ny b"X 3w}NkR~X01[VaeQ=ޓr[T#0֔{8\'hjEYVD)}oݐ0BnXsRh+SWTG^.Do1NH΅2FrYֹ!d_7TFN|B̫=dd " k9pL RS7M*|Jv?d.Bz\JWZ{w܂@oz~X "NC+Ȭ"A`RЏ]Xxh~T'3qz+0s"# Us57pl(*$@VXUS^=mx; ^qnĺw*j^᩺gPhsq`G?@IQO]w+B(92XeVv$5)+xWY>_|X {pt/ܥx(ׂ G_q h./jJٜq|kުj wrV,JE+1zGG$Y_IL3Ը{|Ǯ$\pzyuM?+Z h@XU}{@]x@ .Yw{-ʢnم=.#>fB^R"4.o'c]xt#p/.3;.E(QS7;{ \*.yR0lpZ{'(*֟<+fFQr,slILKLB hǬu8R|l!I7)IDhpH %: /6}*djPف oՋb2]$P]~T;Qiׅ$:@NjC|ʡ;-ֹFy!>4~2N-Y}-_k1Xw?]]Ё[z=Q;VuCB'pJJAQC/*W0lzf IQZn5uōk]{c??|q'rhδRU'~0f}gK'<$'| @{r1 3rYF Ky_cs%n/o kj؇'jR:p{j'XrPtΣB?3&& /)"91rZP ˜~jVГ~{rϡd|e+ 6] Xi61V;@1eCRG%,Wbz0]q5:űh H Ģ]FYObQ:\`b4=nQۻmk8]1;)n*Z9-XHDH"%>JũM ϞZDŽpE*XmtINS?~T 'jCǑz;8un񌂇# Z K9*6"hA2$B.~:RHXC#C$U~q=^?kvB'Y\(p}>I?Cu,pExQ*H; "J5Wb7S~a\I[ ,Een nǽzLwE9~Kg?>vD b\*")c xi{Hy.2h15/"M/OGP5\ZNVn Xv fy532IJq'D ߸-g&ްV ֣r # 3LbFԗE8zjB(@'^|KweTs.s3z/NߏZNQb\"ΧHİ~V<6 -E]G4W}5ò;:2.qq&"/j!<ƺ?o3u rN']d0Fڃp0t!'Ĥr?)|>_YzR:}+~^e]M{%;`]^Ats-Iv H 7Wv,@42E&@B@{^c@b=U{Kr繣J"DN75D |I 'U>ym6T]+́%lM@TZ|EKg~G=aJN0D2 Yaf&"ܭLՏ,CU%.[t8hGUgcd,kla*ƔU?o=-ͦ@YX*uT`y8v hPqN9,r)?z"a75[c f\5RdzְבihP99tTyd[&8]ְsW<E4 7Z ŽK'hylGZ1$|w>yU›6Teo?jEP(tBOtzDBec L@tKc sBlHV _ f$ ~d'jG#rW*ׇڷf"BUɂLM∾&?KgT +N8T7ԋ;]v pNN[Z-]%ȖtZ[ޓʚ2L4"qGh56蕷2\xﶡFtTwhr +Dۦ="`)10{i\$!+#5ߡ4RXv (Dn('2mRv^A VV-^-D^ڜ?-5OۥH`)aT;KDإ%:r/TC'HYRyڎJU0d؍3CR؃6`KP}uÃA3Q. rj,v:,/o N碥,NSV*َYe.I2O ~w f/w5#dod7 $)׆$KiC҈~^C 9A4 _kI ]g鍡_HP!q1L7UfX75rw _gm;ͿQ+2p?/(% ~eI4\{G^ ")\$N( }+ /!N?=t=$o([Dž(;uԙWK`,ô"e2k"Ap=n&_aOL*/:Z*0{Ax.FK2DWNҽ:-Je{p.|{vABFw_~Z(ˁ*e l OJ *@1FG .rk~xhoď19Jo8_O\C'F-ho DFۈ5-Ȗ 52( hUAizMV% xdjBbGf'^X9<^duC u ^?M4jקo|In 1ﺰ٧gr\-v^BTN J,:#zQLiZzyދu,Yыi 6a+є01+,?u!o.k>bak ~C,#j%\@7(ֻ$KV6k= չeA/$9puqcm}VaJ xKoB2 ӧe"i[dص‡ur:=o|3[D4wG^fCi0Ա֪҆- 1[KY"7Y/X7 6즍UXl"nIxVrzK yrcYnҷlH\̼.Jo@mIRY{C;œK&QGF5!8úlsoZaQDO>B 䐇$2šWG ($NHjKWytb;4i"X\ w]qSC.Yp *ae+s <,"|#c)46ZI!Q@PwTCCV4UJEcr ޑ8D]r/,kU*<|-$MI> !wV)c`r5^[Z"GB{/QjAq7:/GI鍡9-_Siϕ#B8caaRVuk+ߚ 73$fJŊOj[>J?cwp Oyy_.'Qu/ZmL'3Pj_(9b[־TL%GE%P{d6^!^?C)p)VU)n,fV_5e+&bbȜ=|+ X*+:&yXY 7Y6sS{P/МsƾFي[%y~BTWZy76C%N`+Ա=U |Nj(:3]+sI\XNG51S,:r5wDd fYz(V%p\GK"׭uHyA O1v.r `A4ο@\VtLFJa4Y]a[n/`ﺽ!eӡʣBp !>^7ݿj@ 8p>E)cr`\A4}oH& o,"c]xkK[>pr(AUhH^]d0J- \} wD- 0NΜMzj$<^Τs`*eǓ)"נE)ws&"ėhH}NPyM{{&Q p$0=646h>~ ]KӜ= (-/⮛BѺMRF7JtGܒbpzٔ (*BӈϙGO M.O,bgl+s4WiF@u{c2 \i@x -C7,K#1ml3Q;6cR w IDžxm1Эx77t$8%4kJvfDJ*2$Dҟ!bh._ e\Θȥ|6 "mFfvPbD%ԈΓƦpOFKTsVun/CB$ccp~<:==˻\jk&8i) q!=! 1q!SjdbJ6˦ ^P`s< oO$|grv)ը8ď[}q iOQ6&쓬$ WB';n51 .hVN2*e_pv))$>_n0UZ.wT9:u mM,ITA oZg?`vB62` :JC#8,ȒtS`0.bDw?G{! ql-wGW,gDNӃb|cTݨka!m6qc&B鹍§.CV 4W~IQ[a [ad0PW$B ^qؙPdGm^ō0맚[)3 -w/jnNC2˩ *'{y&!E]v7SJ6T?csE"捉';6KxlZ|T޴_mxCX`T.SDw'%^a.RܶLfRZ&fٌN"~RRhs#AWi0&Cma&1% 6ѡD?(249;m9ʅ}*!sQԂ,f9_$c5toKK5+@Lr0%*R#˄'r}NSAgAڪ/l~%= gHeMf^Â4fV_Pv$6ֺfCfXM,Bj8o tibʪ~ & K~gQ/9OۡSu! Rcw\qZڎ9/y-WwC ÁU2 Nuk< -Z! ]T fFQۚPbc a2οèk)SHPHO8@'x-^BLqWfȁP?y.\/RCĀ9M|G2?h>H۳ 쑐<.FH, hJ7H^w/wbs34{=8Z&${HF5Uv1`Yh`Y(b`SX}2 {c֔,o0_DdDf "V޲>1TT 慑ܼօ%Dӎ(pxCR5!l!512~ᅻG[P#=# 7ѥۍf&'B?D;{`88_T1өLJb'/M+/9xrp>w8^bXsݧBCЗ[PtϠ_ S\8 07PƐ={H̵- l'a|yf>F,b"[&ePY}x[R+ǹ"jt( =O*)ӤV axIJB4Ww㷷^QbhD]u/]s}g SbJEo`<}; W,^ebɅܹdt{k`#GrV0b5@_=U'oNF(t8-5v]xI k f3{|r ѐj "bk_Srg7V%nYs M"@\,F 5)ߓ{Jw _&˲KUc+KSeH='[*QHrKϾ׆aUEjtUҐ^m0 迖*E6O 0Cr@n9[PoJ|V)(c  ^m!8({=0!b,Ş(!v)u#8 :M$'oBτy CkFmcpbHBdX-z5u~Zh?$dB3 :%gԮkŸ#N]uaO1k)QxH A86 O:ɍI Jc4{W*nK_9nkVo 9LR%E ]v0{Ea`eIB1,6=A"o8 xP`;wD$4ўq| MlqSS>_h.ξ/@r p0I;mIӁ@7u$BW!\&-/ pGJ  &I\lЕtOtdo’iѨ1<}K }m fʹpGl)AwCӡv+(jXש2IfDĂ T졀Y$`9:߸+ ].`֥t: #;kM$I\ a"΁m|g~ JOuOSrRv-Sd_m: {ZMM? S̳˚=kH+ dEJ =9G)whJAƘ) M+QiY-[\Gu\bE h`Eͮ*-qGRFlQ ]EHV SB/D7UVlZ^qG4Gǽk4Ž\W#P-4fZRwo\E|XiADŽӭx-"/Bȿ:_|'ׂ;ୌd%'3ӇCFԜ9+Б\]fD^'.C='T'lEim8-1 |vV{oyG]WQĠ` k+Qg_džFgXLhװ>8"DoWpti$kq Txs`(3p絉-J}y@DMQs΂5^~/ i"ɕ<})マbU8?pk#ĚDɺГ"/ %Ŵ#3$e 1|Ƞ@+tE'%EE6YпVsck2vn~mTڌr2&m@/ O*| G;Q1(-iblBEE+VKIyV,iktGRCEC,Qg<>ᬈRu]Hܔ/2Dj^n r= XuG[&KqAi ޥ$~ U}orNtCHsOֹG~ @lRֶuVr⊚{aG+k1.NFR8_Sszy* t~r2ˡy[6K;+QܛKl9?L+!{+~ږ 3[uqMVGy~c~]D6I!:$N Ge&N:d 1f夾|~IqHjZ/uL_~. |D@$VgZt9OU2y[-fTÁgu4BD59ֽlu $' -%q;91n M6pL"q'|& ȶ '%}5=NE}  }`zfKbj2Ӗ58>G)i$ HB ks^+Rv.{w#`}KBj i$_IJ\~4TEH $M-]zU*D~ }MFٶFX@:\/V?@="gV$dtagb3/"EJ}{g!颀c(`:)twX0 J$wͥKc[b+L\qwuBƗ$ ~ y&>}CMgF@K|.}eu*b 4傩d>ٟz[Tȥ[1a Ku+"~8guUhx꓍߲ $΃ g~b.pq{oW~l mLMGlԉGCt p%nB̽HpF革#hnS~{LW _&%`dGB2vy<ƚ/F"$QxUflT4eDe)v!cW:bBJvlelN2)rDfxOKtX&Ң l"?]9c;,RjKnv_/@/O@2X߼yE=Ƃ9= ?tELvMss2άBȬ1Ko.^ pkۍkEji)Rt9~*Zi ϳ'g>p\us×u[|YݤᮺY2Gt+DUAT0Y^Y8# =iLD*ib tTؠAr$zZC?PqLw][8_C r]`pHR-wKACLtT욪aTra0^w7އ*7=@{31(Ց?Hm _L79Z29iE}#4u ogŔlRYWԨr YF2\V$+bXTE 1,όdOzUؠ !pW>hrŒC7LIZ' Wp 5xPfL& U'b4UPӦ[?6]CC|}ofxK&<~kGo[{/UQܹR!уDI0 Na_B[C0=^<~wɞp\R)'C3XgBRf9꜄:y9))c%ĐW+O"vшI l#C@9_^ょDxӅdXO},c֓y<˪%kd*!Ai8RAXK0iDzff! fo!J} .M<ղF!hmՑHߢ -հajlu~*]*w%F'$+ ,{j䇷pr[oKQO]N 'ؑMi}1τeJ={ lazO~ѕo,q:i9Y 7aB wCiEd=&/)b`8 |1fi;@ޝKqt,$喢,0`z$7/@dVR?@轊-APWF&-/n?&xf UGtIArk.k@7~۟޴*pЦm`?hS+5fUH7(xn`H[]Z(*{ؼ֞a>?(qf|1oxKp9:fcV?)SMM3{u$ 4Aҭt]_pj8 I|"||PTī޻Kv@k/t"P3}|ғ1u(u B\46t>^Ѱ4Bة~'3K |썸ݸmM_{J#]pK{%fAOc8 )M6!cj'N#` &5'DđyZL͐]$zZ^Jk ~iUiNJNjp5ǥD8o.E]5~tHI\H|k!`晷qlR#F-*&\/>to{&U0f-GqAHTHtߨ;3gR-z6qP߆[' W^fމ: 7 N Aڧ$KG.Yj,vYCJ'Fa%*Iy [m/ZocZZJÐN:8R'9{ux(.8f:opC.iqLUDxc<qSB>dOwxޝO_];ש]\5,qJ MON_( 7g򸭟ESA& -CL5Q黙%1CN1)}%Qpm5"S94C*j)inȌs}{Y=5l{T'oC&hQ563+->M ¤(5 lLN4s&XGvӫ.'~(:ё|i`uZі@+WEr6{?\'AZo]NN_Inj n&#m^Bh 0̔& vNVTz50X+qDo# yE>Fka?Lbm)&йuC6|wOF]+p[JlxW0twPf^:D9$:y kfu c .fX\.D]CM}h@j3=Ik u" FA&Qfs:nX]39@ κJggYZ95b4f4ef67a770b1fea5df9c99569569cb0722e643c7be6fe13329de6d6a102e9f64126d9c7b89c8 894a67f4e6318269dc9aeb1a75f1b806f92e5710f81ca6aa4e098bdb6df63b8c7cb58806831c4a03