SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 %tL ]/]HOL-Analysis:threads=6elapsed=319.304cpu=1516.660gc=127.772factor=4.757zXZִF! Js]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sd:^mtLbX`6a'Fd'ëC4}K޶^H$/+rD.JT mHj?q?VAɮ^. '' P `]ڟ>gَ]__7رD'"#BMx峧5fݤ7`[WN eU% !qjԏzi =A^ݲ> ䷇diա3J.+~dߓЫvˁC"1e5, Loȃoj)`Z`N4ċ >3Z8l]MQ%VjZl.R+>3V `64$a~n;|4ͱH.z|i )~1[25]@ł ̍4rcLiXXT,_( ֬/{gs J֘Mdl?2&쾬2iQҔ4A.5?zUi3H{]ZUrT.43tR$)$Tsq{8Yfe5=ƓAkuKZV$M`֧ZoYaP42t [ݡqg+a` O `OEjwT":4&iחjmk1~nid#*Ç NLxOTC!OE5'U$HRWGත臫!iK%Q0`Z?=u>PטUd¨K> /+TԵӚWE1M5?%MoqZ bRqŠU}h6>¶諝_$chrNݭ^ꅄn0>ntnaUL@#kSc,4B,%ax@=^(/,Rl[#:NR~_ 6Jz}pכ ГMv6ކ A܂ҙF&sd 3O^y]8ѯUX TgxZi7ۀha3&N^0p&1ˣ Zq" j<&F4}whXPnNJEkjjaoT-])\b߬T'.?U *N{>z㠪]%vy9C inCJo%WA ݟe˸ERa愾ӭ:Ȫ%&Я BSZv L>sP]0XZ)@&'gʏ(C/`+zCtp0' v;!m2fP~ѪX\mL"A BַwTQ }D.< #Q=tXȣ#Gro5j0v7X1k(vRDR#T1h-JL1ڼT̞ a|N# f{ӌNQc/4  83<[NcotXr{WmG-uPI"ܝB`'&ދaOS >MqTS+w\;sz/OαtJo腳F^QJMCEA4DrR[пIk`-n룛@WY!ϘwW#k3E$y- !֑ݛ**0Qўև'`zLB9a!='`|؋65ب[:6u|{vDbN]+Ñѐ%(<(70-|* 4Y!zd=ϻDZK3P' #02n3ŏ&lwo.N_%q&QL09Au$Pnm9~|狒kˍcorsA?3#R;2g!%KgtŵO ^x;cQLھWOtC໖T歴OD!;Bɱp$(lM*b~sjX&/ % HOL-Analysis  {sT}6E?L*{Yu+Z zOWό5*>DfQll3_ N:83[=k z%$s%AU@Ӎq+&[TZBEc-R #bIg ,ȹ-MVh! UmPLp.fJ0rzK99i:3ѬmR @H9I=π ~a $"?q+/-c4LZ +W̊t#:V@~ GMyT; ˹0|=,'ug R8dY/W4o^"iOM*LRwCX@<7F! 2r#_&uB{[KVуR]l0KDa 5]Ho~p>:;p bJ'~UD^KSbyig_㝳 uҟu֧ #-šE)n.*,0 gTe.|۴q0TFO6:̒KSRG?b60]K Y7G0ە&äs=:͙-D #݃J_$` μv]Gnk2DkҮ#/;Վ),z>yNo g`&b[s@eKF [a T9< (/Wu|Zo>j]M>ƅb8,M$̋ɒA6k(J]5#El$hU u"4؛ emu?1Oi](e-.SH Վ)QKlxT_;_lPpTPJlZj&z cT7Lr)vJh-cr4Ysczbmج0N.Gk$H6bpP&5 ^%12:!cܲGY+'T'$z$@YFrXN`5# o`%6B =j]` )`-碞%KMUg$61ͬ8`4 's %%".VNֽO[Ǟ$Q& '/`8xNjTk`x8{W\a%(G‚O b]bHً:w=iy|j |, D$CMҖp(~7jt;qSO1wLu*I&KU]L~4مC j=e77fSX> 9[>9JeZh#A`bϋnH]Le`@.jOʦ 2K2}zrm/= ]'"r"揭ͻEw.7r/%ے`ŬTOhsgԄoV^}BVZn䏴9u4IQ۲*씃w T̕mO9ʆg.OH B3:\-i:6F:!S8DH.滤m- #@" UY5R֠[4=9|ؚ)xe\"D]CL*$xwBf;b쁦V"W}Ÿgĝ:fn-aЩ E漟s^^&)7q‹~{nxt]?mM+N=%_mWW2nzfNSySX[Ԉǐӽ9 &B'4Hh!屨RN;5 =Tn{dfi*cc1jI?w^J")JSUWh\ teޓ41MN3 AJ6ua LtD;\=~ ;6siŽ?A~B{Y?&L_m=NlYq%bUTJ_"AeȎdUC@mOTtЫΡ!)SAdH/Q%_tSrݎ JSxPI؈*ޑN˅ HsΓtz_ UV[g^vSʄ7}!vP%SoL zCWyyOʄ?Bhj2V GV!GQtEkE/,_qU 2(5jdI_6g+p5X|>9qnJh>?9 D 0rv9"i`[+ BohL6dY[0faNSE1$fhQ#4>]|B^9jrӸhf+DC:<1 t17CiMӻpZnqjeAPg) ^jBQ˜)&w/)G c<)^|zޛ킻W79ܰ C;%rJj}he›g|>+f,Ij\"|ce՘ew* sZA+ `KlŝD,_.C尓wAJ}9NJsnt.clL RDH$Hr;G`4>Be8XO_s 91FK,ps.tGipVR=`twj4:3qULU(ճL|a0ko||m t/B;X/C[ލ)CX`aP_Px3I[YCSǽ~{?R}H۠ UvH;ՒQϊvv jZWMèMž|Wz!#K.DM.uk8{AYe82qV&dO]_طFQ DZxȕd &1~獼wFEsC&:=}͉Zv>Qa 6@0H7E˝*˷ +:>Ű/.׆vAhbAs=~K}r'qEC(bZz@қao3~d]?=q8Tl{$s GsBs4d%^J沰yǛw9,eu /8:_%~83dY !^Iuț'wP(Я 0 #?XE.55㩝]}o =[n`/QvhIUK +7ُ~`VƙNcfX%aVK1°%Gg~[v۶>G90dk/)0*vA,V}P!ȐVyY EmCWQeH6vH#izT)Hě=~잴{*iɚ ?Tz$o8^Q Mq% + lHٻG{FK0ٞ&0c& 7w)X+lOM#.CJ%2nOټ•NҨ~oi5`&j(k?8y %؉gOnUG+;Go;!!g7y-$[g_y޽sy8g۴MXMe#ϋ%2v2m#7`cUҽ;A9vxٶ-w;I8a?<_k"+V!Ӵ^#oQΰas7dbNs;v~#xR~eOYSGgvɻqoŬ+"!dLݮxiE7M qj%+b51B<%R#%1KN!%Ife)(F?FvVֱ#.q7\%s3o8vjFA)4ƽMX5nDmN98 }"_ IhH nT|!ژA&~rEY561&!cD(:uJlY7FFqG]?ٮƞC%-)O*Kjh] B]V_ =o#Ls%~_eKؐw^cyq״Jچy"󟴒e.dnH8 -9r]98A5&S+a[ Qnx9 ݗ=2(nh9N,3tRzST !4VD9m׶QW)?'I>(0 uaU9eؿa8 T'O] 򲷅`òl,C8_bdbدF+Yu~; ^D'YǓR~&8&/Ⰽ7 5_=P Gs V8:^ƕx@#5{+%Tpͼ9WC#n*ܟHl>|lo} zzZyϜ}J8NU/UjU1yrZ?090sՂsj`>;E袨r47xsi?RN%1R %\̱ }PbZGaL nƷ4{2wol Q.nM=W1[٫F[cmkpiAϹIYr 6?8# .x-f{[K|z_}ZTt$> KGhwpc\%x_dqU MZA㖎[W6?GQUS=`-H&׏?ۼ0hJu'"Ay^v]s ף+\WniIH 1o Q&ܟWȬ҅*o5ۿb a0;rnl5yZ d@uh^Ĝ:NyKPpUp>9H&-*gMP 7x+K(GYڗʹBOdE#/"0mÝ;*}= /U/Q(/̻OK?:Gr Z$s,Sw*nk66f?#NGx1{Y@] .34vWrqJ&QѺI=[Npԫѫ{LȆrFKѫKc2yL% gEh5٨Ho7FuyOU9!N3$l9ĎQ[Nà ºufqZ&Y/Qv}BU0ұO]ؤl}Q!s>t*Kt3q|I?[Ovќ3<kiNXICӏS 7|RniT pߘW˼Y#}g,Y&hg5)4 C% ]qh#z[K:GԮ*ʏ(vhjcgvgx:tdSz('lfIȔ;8p7{S({]KUyǺŰ!oE^ve&Ҫ :)hڝt}ki) W_Hٸ jV/>?¯xqo1k]cLZLϙjJ (gx/؂CI ,>\̩Ac%pKQ /(vMµSpƀwbwe D-{Pmab_F|zcRW퇂F' |H$ʊk-L%K2<ퟅ9eұK$ᯆtlQ8֑{<mƶ&Sh|BڮME?4ivVuW\JSx&d,RFI1}y%I?=<2R{'za4.du0ؿF+˗G\:> Up DΧ*<^D,2Qdz;"ԕOXMKA9S=mH$bjڎA[10u!cvhw( 9IL'rʶx|?^vWѧV?)ܼ6569ݍXz/K{#@lD kQȟv^n>;]Hݔ**6Z5eރ:=wmC`eݧ*W֔bi=Lu"H3(\!וltכ8"l4 ebcD:^׸NBGs(HlaGYƜҕ3Uf,2 l Ѣ#KR@y_B ,W-"y+v'ewcvi3R6AEp.͆س:A{F-L5Nen , >BagbAkH tj*K(N~?*1ވQ!~БsRV\ nWW%WS9m^=vٮTQ`d}8MW^0x50!ERةɭq'1p)Ux,*>NMXc?FHhZ UކԈ 8kV8 fHGe3GsĨ쓁veq[5NxwB1i:召s#vk&W) PJĐG }P٣)40Z6t"PFX@=:,T58n m;>O <QQj)"q/6b%o=6pDY/],FCm;u;>pH؈P4L\Y  fE:VQ"N&3HϱgV>,iڥy]v~BrPhuWݧ4;!|$Dz.cKxJ}K2s:"kfK%M1U5KG= Nq>N/NXqg.LR?> dE˳ϐp»dh]* sS4t2 R֑}\*cςw YC$,W;3fBK@] >YK||j~^ )iFDsRA1 pBD AlzӼvm:OabM~8ILJRx]$ 6SD|\R"t0Ow*(|j`@]MNPx[]&8ě;:ofb$d:U. [8FgBi~W 4;.Vxc`"] ALjwg,Dw' lj fC3S+R B`}hFRΣ=s ,A@'pzSGT[.uS^ށIG;Jh B=l?\ U1Rcl !3G'@(#1Oo6;I CbB6᧌flQWtd+hٳqr~evr)`ʵͶ#JlS]сo>7AjZ5*E'QkO 0%H Xa1&`k[ S(=SKO7Yu].r+5|/z527al}e(i~_]>jdx/|WDFV5U-(ώ\ APaȷtAO"04RsJ" d[9-?x1 `˯;Y,+T߈a"i 3Ujj`Q|A0[9lqRVvt>evT疾a& kϛF1voyxEMjvgUv؄ `ZB:ۭfe9>C٪&~%>?#We1TƯR#3vU8k PzsZ#gz93IvRKw*-I[AjqU=I$)R)Aۧ~ў1FdUօ)|#TwQO(/H |7uXlyAaIq>2-_*|;2YZmaQc&`?oN-1iwwK8%Gq+9*ȥK50Z"axc3}[M1Ms+ҏt -F"Сw\O]_̊.W!)Td[c.D ! (29dǺ9P`L=3]o4`ÖyTH;qfYAIV 4y=%uUR 1iT'|#V)|1EDk~b6_LS$K1ʮ_<=(ke\Y[>[0]=ګvYH ڍOYgMR/p#@i *!4uVJKfngبSEoZ\󍵶zIϷiOm% E I-m0|<:|TKXV%LOկ{ϬV ԉ(#[Wphy8s]H/=jo!dZeA" Gp.%)G-08F8OVfG\cO@k8?_z컎 x33MߑM< |DcWM 梐wS!0p# 1i<5ź2 )5ONOW6HD`I/ (B t1)失 26],\?IW ћ(ow6}I[aP er:DD' |ɯI|;%Pc\%3y nGz0tsi͉6&/F9B^P獕_В:؝[ZꜾ{]ϮB[;/R~SI.2Qh?M?73P$9Eͳ:05Qy4T] ԗ #Yz)cohk>!,Xesq5 MmE뽔u@uu[:Y1q0u5[sܹp@O*(j94Jã2,EW$Ux P x Z;"O~ޙDƋ ?yc$M] ! 0HU)w-ݼj&\yO1lCr7ՁpԴׄ*J{I<J akeP ы G)|S 7QB:o?U7x4fk*>eT^R|!q噩oа9Jo>>}`K^x]*c/V@ (k3CH;ap{AVY#˻qJ`V|a(]TLhu%Ƞ3}%*'hmYNyGhi-,p؜G)0,0 Zf@?oS\_F]i-nh7(uHhY{hnNSTOGNP4s]m|dWIra8w9>QShWcqEKJ@}f3jZFJ,jjod`ԑڴ\TÂJRڧݡceYT{|s1Or& 6/:N[qxbܪDft(묒rj?ˏE=&zN/Ј#3=(p=y,l4Zuƹ(BB꿻{TT>WЙ? M<.~X“H߀0Etf8__Ih`Gߍ.JҊg,˜ۆ˱k@;nJcFagFPlO>sF?ègӢc,ڋ{]қ:sf~Q:Pp4KU͞I f9w ɕa&f2ip$>Ƹʩ^(=9Rd^Ȟ9fP8.hՉSqa=jσ5/sL`4s'7hhU2 f+wِ&wqHW_U{RP|"Ɨ HuefHm@C !sGlYR SzBiH$lEi?ō]=7/AҲp8𮲢%8HpJi r&o m]6,ŋ`FS5s]m|m[.! t{lb!l_.~!K+ ɕI}j‰,~EIʼo^$kz;M#TVPb%_+6SkGoغvz~N4YR"q ?@A#`W3qV ͛e4 ꔤ4Ŕ֙0%AZc*=Z?&.QWw{ @*? }N/)kSm k?:/JIo(Hb+9mR*nͶg/SdoXu)c%c&>jn.SCȊ_x+y<ͼtW ;ȴ#wc$×=Kb*dcs&C"U}<) Tp zm#V2*_ڌ@/$(!hwlgnH( $YSNĘ]V`5Q%pHk8(~E\Spi%.'e L 'ӶTCGu`?Owod|% ]axD{O-#ĜVPsEu'/wp$ٛ~FR%ff|qf@t7}_|T I+,Ll~&D?1:&B_$7_~3X/ tu@|QU_O.NuϹk]:`,V*EYe<-keM@^KrMTgJۗ|1H!`[5Jg(,yC^٧V "[4 +˽mG򾗰ihj!z!oؙS$bUq%cmf5BQMb:ofM}nv tuWH؎r(9 ۂяCV٬= ]cl omk}c1|][98\T}4d-l/9fmK{ۆgYZ7zXZִF! "D]ŗXiɟ1˦r.Hil c`1X14ǝe҆~BQqnˑ60~#P=s  C3rYv4gP={zV^\Q q-83߇hȴ)N 7O?sʧH9>z{*aX;G+zEg8 J"Va #Jy۰]Gt(Nl| Xü 輓YIYIa{e~n5SY'Six皓n~)#~Ա!FZh)QnK ¨}!4Tnygo\ѡ$6Ǚn/FX|HE*%[`a\MT^(@!g٘gdr1~WpO@'U".!+ϊF3]H}KY5v*N<0V?Ŕ:$t=$(A$ko9:_[ն³٨PӲ  {__ @T颾w*s2$\Dڟd/O7OCs7uslC{z 8Є-yTN#<-V<2,qm6ǭß#RUpU7! Yjt -Om&Ѻ=4QO(ۺd1Q+h=+R3g!Ma4ۺXLT5<$3&ӣF3M{(<F5g+c[Q,xikdV߾A/"ܗZbtoB[>QCS|{ܩѶAik #W)#O".S? ~ye'(m-\I$@Z]7.;f,ײ ;K!*mΔ"#cE.P%jtSǴvE⏥<#3"b -Ff ~Q%уaںqMkCyʩC/EI%$5٥m@ %bwaE@SK.7]~j#k-r``̂+^uDRn}jSZ͌6ު:pn k%ڢe9e89vSQBW_nz v뼚ɜf٬p?_u: ~%w&3:sLqARwo"1//(3(1ޡK}=ϖrEkk7nz]ЮYq[X8=:TG@`c6jhcqd( [Q % 4 s#(Wիm?R`j@0)pnW;mwצh:0(YLžρƧ \OpQxtzȼ|,2(O[WΊGiz_S2ԂgD",-\bh DokW S YUJEIlɠSS\E;pJn|M>ss@_+B 16By2؏ߧP֍㭉Ama.i 4V PbEQ558%pj'~O?'GPbR۳]bprkSԛZgVwA A'Hown[2:x_<)v*jupF1X0MX&J{,ہKvN{\qǤçJ[G,jdkW'Pw $I3yus0~`=AWFڣ͎2AZK@:@ʏ-xPoXf3  M+9 4E3u##˞M- ԤV' g8Kv2Xx" hhp]u]jWq5,'G$On˩-1{@q#ї/m.tN5tnBfRB?yLga: hֽP27^0D8POصVDt@\<]])ؠ7}{L0~EdM͆/PsR;S]ݭYztVهQFAgP.1%G@j`3%gƥy :ߞ%pL+Hs=t50S5ě څv ^ϫ F/HRgA- G P{"Iq—Q)k0fY3}TtIp#U,.><a+c p&WP%.u"7쬦Ȯ@QFp8Cff˖>28Z>(Ye@ 5kuqyy=!巆c7a>FVQ: 0s*#x_.o|Lq.Ɇ}GԷNG6S/n[)%#=:*x_ 6 ?Vl1^B|2$! 7,.?Җr0!%B9+ o ia8 ʒJ0{ 0v6^?((n}zawOy-S \9 'L&|0 .^.0bp`[S\!H适yw#E=!WU'VB[Oԇ$rҼ)0.?y5B6W!@ L/W?2ަW?E܂q6 Kj[t,|-CҨ!A>m ٘ʛd^+85,'J kbe 2>QUwxȿxGٹyE>[h/&8^Wu`]BOJ݌9޺0V~W"]XuL:vw33*;CIk&w7Tc4n,K[O8uPP퀤GWSdoD ʂC)֬jv (g9ʫRh)+lZT/S"D5 G'RfWڹOF($I R!hO_ӷ'"7mjƄ Doן1 [vKΫlPK&ͽvNO]^zi=Zl?r/^7 9Xت(4l1K0.&ݭ.VAT?-v[P<`ijme>EAeE>Eϱn{뾯wML[h"-_?=]M'j_B7/[T@ 0'5N"4e~yY}1b.I zbߠxkkmtMkк<9T{4}kCX$1 4>J_]:1aH :`T4G^XiRo '$$ L[n{؋nD]5r] [GSx/ -g: $ 8$ƙUo3n@zy B#Xzd ɛ$dۯZBXcC%-R.Gh{-f7~0[$>OYANTWPD@ r =* ҂[tJˬٚ( d \7#9cUaŠ gեMaEEH'W4Qm{-f2V3]R8(YϝKJ./;Id bվRgATrLd5<$_>rR1@O ܖ=<ƚT;[H]Ze"dJΚ]˳+wJA|*TئxEm4Ré5RzG6c*2 - Oi)@lvuKt_ {Њ1oG-F&ׯz=l/9>֗27M-sH'eDM)~rcLR櫳p%f2,)G~HʜZC,ˤw{r1 257+PldmqSN>Rn- 3EsfQ&:v_As/$wzӦƂڨP̱ ߶:OLjMhsxWVflY1rq Q1m;B Ή\FZ[`^5:oGtmL'.l,{}V/2;;LgU0dzGf*Mhh0 ?p4],.o{-=5۳s},V/`bئnb.I2jKzQ$:YFms1!eߒʡ.Eh$C]P 3iq3s>_"r˗=PH=]l Qj޹HB{\"F 6IP\ԆnAx]jmjk`\\Cv=cliGgN^F@D:%5XJ= 4`/KA]S g01vdvYs#si"iP#J=T)%vnC&8?'vKb90Nj񵣪ͼLX$ L|ZhLCyԽH8=Q2)'ހWzɨܗ^#"76MvfH W<Q#ȡmG@cGp5T,n**!;'do#l=(wɷtޔi t"\rOS"@qz#QXj8fuapO6}q?]7=8%߈,CYZL&;x(# EJ`m?#a/> iضTWqT1OBO:/oѥ=kYz@~*[Ol9\H 9GV&>ATdYlp987x/kFx `DP Oh\ 7`~ێu]LW_A6l$xѯǧ 1ƹ0ZsC$^Q,Y aǐ^YdA`E#_aE˗`t c\fTyVw`| j2aZr-Cl0k'4!' ^=S! teg$'T>)\)I\^ЁL-mܼ7YvI!dI'doXLc~ LJEk<kH5{,&Ws>BYԙ W''9'֓ ~jVb9ɛ; Ɖ>UGKqe8F6Gn|6g65^3_okNeԉ:=d Q<6~zWv(Yhq0RpsWbVB Bov b=L7: pܒ(k}g?Y=r {SY9|#FڮiKg󷼸N#iK"Pg+$fB;b=9Hh<16AlDb=ou5@ 9q h-ۥwӳ*CdU6Xv۱#C/WQ /B u d{H! Y$)FFOZ4a ,o؃1E_C_B&< M&x L} XVSv"ŭ"Lab. ŐDPM9&X5Ryo-wC"XQ0$uޘq0P.c 5672Rd͑-]x|#<x؁8I܄kg۫r`tD//:K04LB }dx5B[0> y,)8#>b&8)3%bAKY@~\/ze$^Gۦ>1#9mR#UP*pRj>*Es;~%l}x's'\,'YXerG0uwV#MYaX5H.3)+ta]-18$a 4kgƕ㤧-Ȅ=xv3EQ%6O$C*CCa TPS@e[A=ޒ\Tu, f` UCM,~Z4k5rilJK<'O$OJEbǔ$m$}@C %紗2nUʅ/RW+m}: +KsUv:X)b%U8AL$&˲R+JׄR?Ʃ sz9\33&$7`]ZMwAf.Os$B Z`{s Bu1âִ7بs˧ 2^ST4؁'/զZGZB;R )l*OmҺgo7y\doLh~j&DՆ_ÌAeO 43J/q;jh[+4if#-grTZsE?X﷥ GWfL̔L(f> 3(JQb G2[1JItN; Oץ h2$əY{66{v% M( !bEr|\*aCءDZeE}~~?goN$^s]믖$qBvlnbhuݩ@?>?w q?֛V\2RlHWmGk^beU=ưg6~*&x$}ZߦvO{*KèkE tqk y =Zew*JcR f)zJpl& ~j_]:{"+,W.@51|=IMe躘jfta;UYYa~9پ5iT\.F22@^.ӶOhؐ8EUp|  )z*#2htu7e8 >~"p%_&rE,tT6, O~iү7,V#xbJP@"C2Pe3"9r֦|2X;܋va-KN$ R m3bbm J\ͬiB:6}ٚt_<$r+CaL@urJS~+M DG~ w" wpG3SV,gI Q:~(s>]jFlW='meCx6C#L\lžއIeV0YIi+h?I9!~OA#܎Fۮ\Å]1 ǂnki?>\G'uW|HzRc|f& [vRXBN2/Q, B`hẗ/ )2œS&x@ڬ8Qxo&+@wn u"c+PMhkTr(J, 5 Y8 Jҥg[պy(@Zl9IAjTk H(#lK U.?popë= !%q qHVEqJzE:Fut(FG^gEưn HK^#Z-ұ6e*sȢ͸6;tW"˪E\Uۃ EN5NwtwjqCu}fԛ(\H_7ǶݜhInC 4a2vҢ~U;Tmp tov|FǗ%s't\=sO,ZW_>1&'-8gy:5&Bnj7xsnSUfghW! `.OY7T)v٣9*pKנ2EGQ$*_#+kE~ Pm- T1s5hUj+D[;llg9oM4Kv"׹ag0=ǖ6e 1( qC錾I/rލ :#_Yt&a%-O,[!_L'PyD! ]3z#۪--1ev c5b]yzOP4lyRihxkF^-ָ=sqэ*eZm-u|}/)PEW;4wvS%+c S VbCH+{2߅OLQ}{wjnċJyN1v2ZLRբs)#MAHO/5n6ƒsӜ[C:f^-ߏJӯ@(i@B/.׷^>"Vō:IS =W&ڧZkk2cyY}IR"vߗBhS_:G  sيR/~7Z_>iJtﷃbʑ cF*f=yжª;k\fc'v߾.BIzhPO?WE^xsXsjFft ^R· #ZڈyHYn\K[@s9h^GBW;_pLvF₷:GN$) –"EMp;EjA (@7U5{]^ I1#|wcL`i KHU ʻ,W+#Veם!ȑ%>ɫhᥖ$D;YayoL2M.6g +,(^ \ lN=lo|MZwQ6A݄pHytJnn¸u]Qd9gL1*XXQjDF?B=P~g+<*abzL2MdԨkEU* bśB2pOk=i,=Uze `9}.51IӋ&V)b Ww1w( uGo9$.8B h&7m}gmgIθHٯ,gh@+tU  "gU51s#UBn |`zwj.0"*4m^Ԇ!ɋ^Ն`g)?k2~A&7B~rzO<Ԏ|R-\ FFpJV]DwF"֨n6NFg2>KaWYn`SZڳ,Jӷ:$w&/&GEIYGX {7[ k|?6dXm3OmeɃQJ TʚmK"_Pӭ3zчY͒p&1+-,̨0jK`3A^QY}ƛ ķVV}X[L!.^Zh=7t+ k4JvRȤo#f pdx]h=B0Bah˴<1ܠ^Z\ fC4 ы<-^^3ſ/f>)BڛpYU+n}[/Ԝ@O"@&##ߗ}Sݨ$o rY_'?sBը_QRQnR}~M{$?qǫs?z*?3*GT^ Lkvneslq]+Pldʢp<Gr]/ZϘpP͑'D UV۩|/|dQiQ [3ҁ\%[4Xgrtof|+Ɩc&&XsaIOq$v|0H[k3w9?EF۸9%"r[dj8|bz!xnʓ+jcոݤpw*f@T\ӬOK2|" hdG(iHk?@|{D SpaMp:!N6 ʮG fWm}xH=3bhl e'6xFe_7-d^jg,ðd ,_v]SvPy$blW|ֱ~Vs9l 5L%PPۛ4GSK80S_!}@26c\VՏ_h9[Jawp\E:Y3]iw[dNخa:__:?_YkV-$Buv Jt,Kuu䜱m#:NJaǸF tܒ,#PWvpUHmj:cCVotyڒU3gakVr7lNWz*T%0ܗQod f(]65G̾]V;k\,QZ3v 驽|jg4{/ujk4+Dh O.]zj -P}LX?hWo^u꿫XdHnÒ%Pt?KB.]r>UNr@`޲ma38o|ϨWn[}͊m(ܹaBzcKQ髐 v@EB2SY +=H5 ?G};lY=oJ|'-NMJaR'h3.K|7FÞX {r?9}UpFvЃ`:kE虥Yor') ^`wEjl. jT4:J>[sFVwAEb(ެ1=q"=Q9 LIPLx0}_T03A9 qR, YIb ż|NRYz6ά^6rc"ZnU 8wk_rh'=5K:f֯īzG8mjPjw1%wf@t'}G[kvf^_E,M@۞ $16bZm-˷,qsV-P"zyr@JҖt2F0PuoRp {xɆHꨶOEy29.AdaY#pp)M@ syDç ._o,0pPi-'5z mA͂@~LS;4S~߽kxL 1 ZZ;.#r70z~񿊺`iG*@K;z˜ps' -:`(-UI&ȸh;T6* LAas EvQcC9qUt̋2<9$}'F9c&%EF rry "uja:+w5;i.s^Ğ!2mN@\l叶]pOF\%ּU S$'6u[yS-|ҽ F9ABGy `KVL+Ci.ğ/)Bǧh=|tVPZؚN |8+9&'ɡDLMIh>o^brXդwΊH=&t!7;׀$Usd@x,2QҲⰫRZJ*8"~5VD}6fD{/; UJ;@sÕWs}º灢|bt,i}Y%}y[ WyH$[Ǿ2&dI6rH8c| Ge|P{E\2d<$һ ;:Pl1o!P(y~=>3#CgRF$ (̱0f ̌#hI,bA0z$qwYU-͡Hř1>t{k}Nmm>4K;q1YϟH"߅]Y#iʚcϷ!74]s0./ŰPǟPM/͡T?!dwϺ=oP $eEy_VaD.ORMnҰCEe?}ko.9tW<؉[DaW*4,SJa!̃eSOQ ϘAh#{y[p+n!Ӝ.Xc@-F㗎a,^fiа@ÝߎO;We5Oʝ\SXLA'<./x!pKc$6?7x,Zi+\f)"?MaQIД{5r/?:IdU]O n'& }:XZ28&3|zy0{?A:2ľ`?,LE 7%{}N55.W7e.SAIZlDM"Lלf6yW}(Atd"")fwл) ,h7-A`ιغnF0ߏ|Z>玹o4=:$ ͛'9eFĤ!C&SVmQ㉕iT`هxi qiy]΂Yk+礝)8*g ɯ>M #4#(l%p< ϾvW^-z 7~]CP7sцwMnIM]j;z#STcSxJLƹߤDlP[zB8hO3GDrD1"x&яCx5h>xP9J?Gc븢"|kziŨX t{(u|It.fj2W<&{&n0yx.Gs) s%!7:#%f?ڼ١ūOn?Цфw|%l(CtWaaGkSQKTZEX-lgM6)DJu5c)J ̣ݳ]n(܃.lbFSj-K#1W> zx< Z9۶orYhaVX)Os7pM%s0kf OMp{ |]?s }:`>o5⛂K2Jg-=LL*H Ƣ- GMybL|@nlGo50h34}=MSxڇ%qXyP 0ەvv` ;oHp){3?X&"YWpBUO(*s^sh9Lh>OesQScNThaLQG>uSUA9gk9M)3*&ʈZ7`]sh4箴`4D\ 1ZsRj˶h Do>z4YF]9ARvvM H v7}|xVE1B%q'^Ž4t:i[xJ+Jo:eQ۝\tR@kJU 4 9fYnt]ư 2 RMnb ̠99',sYC1"Ww,K6\hǜf Eڡ0V9:\s:o"@#嶪K15n􆧧4uMOȯWw]jSK_F zUce̓ J=-^"Ê|PP|L|@SG|P}Z vfFt|; |9Gf1^RJ|n\ώ:tKA 9$lu [h1cͺA ߳ Or0U:2, Rb\_jkXBj,'xvɄ}h[J،SV^*;l:KڳDH]X,I̛Q+a(ޛlx.id 7⻺oG2Ji&\-c0hm 8{ucU1R5.AuH6GC̢I~gYE]}F8hV%ĶY n.|2 8erk2fy;RMB;]`&SKžte$;e| OT~H)ߟu SW{ْIgca]$b2%R%sseړT p:۵O#|/cJ7Xi8\<+zK2)-'b?-,.}%}>C1/R-x<^S[i4Ӱ4!y쌛櫺/sAlB*Pr͇ҸƧΊ;u3Ɔq,,GTeTb!v}LE6Ų#IuL6{沒z@Y ^z6W67&[Fp=%|fEEMu9&ڳڹu ?)KPK!OP6 I' ٝG* ~Hyfsh(j.dpC| .nFyͺGLtJ0TtԺ~*~F 5]UzLCQ-. ͉@gn,qOk-ՙ1C N!k3 'rgB)2jEmle04 @W3b&l;1Sbl4&|bӐ HB:`?Nj%o;3ί'n SIdgPQA)dg1oƦVװz9 r^%91_@[S; \ssūR |me" σ ]3 Sxw+^bm/Jwt}пXa[r]nU>ϯ1A$ƭ&\<9Q{rFZC1㨤h>z.Eeq)j }/Ǘ9opOl.t2NP]=<{x%?k>:p@i[ /##U>f IQ( 2f4Iq8d,b9 {(˖V84u Tb##bUqP:8^ +l ;+j%%Ct?aC,"?VR+ʤ}9LT+btP(W_۹6[q\ȁиVj[Y~ek$AG]".l{EzX ^S /ڍs^_/0`9gI)9ȧ@}CeIszDк&<%s.RIh;kWUT@ 7wl!D NjYtp=5}ly@%j\G_ Jŝ8Xh Uug=?Eg7p#YDO h{mlbk>`'0 n.Vl9>ߓ nVY* r,U8aBoJj6k,Rit g|H(]+FjXW6FӧC6AA/b y)3jJ Rd$tX 5iXM3uPEBKP^T84q8ވD1 W8ݬI/scQⱫ8GMҫk5 *Ilf>kw^3/uy|j}]џۊܩsR:.FOTP+M(h>|+QK:%QR18 d:,{Y%_3!Bj1L<.^>( lW&aݠej*~Dl$we=zEr8$eF\,s@0y <+Z,/ӄ5Sdd/8cK{M[q9j)oM0+ҟWUثC#83CC20EAÎa߶D陨"NiULyzۙ F]pJ' yEА,{?:nF_Dluňq=␜|x]+?m gF˥G" MVׄZQc>W bpQeŭ򧺽DRԌO>ӺD|hxn5bu&/Qj䯰%2QB)pl\9mOzR1 z Ny ie#oW&uTKnnq\̃,$RC:#Q0|twMS9Tj$C'$f)V "AȻ܂7n."g~:pp*|ï]SC9r(W>_V~K+į(n9wH?guui(jI4pD&b̍ѧe/VjG`C)zpdYgNCҐ8Vi{$T^bz2/zWD3w.< dB 3j\K1-PWW h(-jNJ*/8x#K_!rt>BLiQgSs}5 YC>-ۦ6ɱeⳔ&Wr ll]f]4'2j6Y7:5}o^ӺHF@u/hD{&] G\;0I|Jނ=;oɈ32E3x-%$6vJoOO,f[1w0ẒdwEPu(m_iA\NŴ,m1C۪p vzln2aGQ>HTC^(u8AiT5JYJ!5Yt` |G0m) m$$b_8rGU15}ЪxFWIdJ4!'@ ^H'ԊdZHhi1SPOܦhizI .3g?I0T͆y5덕.yU9C) !^RfPz Ӑ .CwphpnlF'2&m!͏ w4^M AM@N?̦ڭ&*^6R©N}{7$K3;8䷘J OE`.ܬ@qCa6_;XaƼ?xV?^=ޖx֖*+b $o >"gP# b6mA,K׍{ػK ym?X@A3K 3ylz77ݻ_cȤb6~ a;$ /+)r?Ȣ,큢. =n3xJxCT/Na8lR;?Uh&CE,ES+7DeeE}HO6L~o&pU5U־&ŔgZp_<_%e}XD[ϵw,gȒ([>:cOL3zgYZ2a01fe54fd791a638b5751de0f933e563fc159d4a3552ca70c14a200e457e2d73beea6524b2fc2a1 164d22ba20000019059cff6c55d56e309bc197cd1d601be43c4fd4b3f56e417c38f68ab585783f5f