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  }%LL| ]/]HOL-Analysis:threads=6elapsed=332.379cpu=1603.036gc=131.716factor=4.827zXZִF! N^]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VAU!Q}J&TlE(JywPn1Ws*8(`ՙ1QOMSb,¢0$B[.R@cExgJ龇"c@)=Zޱ$5F)<=hfLʸڶ" {0Z[۽ͯR1keC-}sO[ 41/О:VcG?ΙSWdHhV]-{\#0+U[febvr99he8%[e-pXF?@^`{nB9["D)`O(-aK U،wY"E?[<e?nRhOOѐC6t jKh+ "RrA `ƜAOi25Sj|q*+D 5|Q SH9h << Fs- wuPn"L:>m#2RRt}2'im Hq cJ/;{b 2b0.r1E+KCy8`mQen4Œ1i7 QB^z 򀴌+WwΐyɆwgntNTԤˇEfʯ(^1mΊ=^joU s_V.?{ h@zdZ x9⫿Ɠ}={MѸLFױ808ڌ|aFpi߆ŒjQeMqD#D<\J%t uTtײN\bwqSlZ`~{$=kӤ&㮝ă{&rxkOe0L9' #]u1VMƆjnҹVʗQ 3WJ%{$ÝF,B`D{cm,oOqqi'm<7VSl˔D؆~%| ()V;CI I_AZؿ; $mQya2{ rP@D;;{CO s+ZR nة ?>ݞ[*S{ in jwnJ-3 u9MJcN LL ߾BRk, Q-$359'+^R][sE%`[E! ?N)w!|Nt&yf.;x v<_y 5Z6R5wpIϚZFZ̢MѤL3ϛLa)G^>~ji692qk?GGۃ*6 ubepԳWSuFG@zKQcU H2tJ*$32Q1aGFi4؊˜sUP<9K.6PQA|*a5vѫ09y%hM;)l$= r4̕ihτpXj01#}KOq"@çy#i`\`/#Qi҇]O3ؠJQB? #l'1H'  pSbiYf-u 2lsF;\nE d]}9O:u_Gud&<^&;U$no?p'Q{wޮ7Tf lq®o \|w䋄Vte^@!IahcMFS -qoƻп2|掻b;! HayqLlafKvsLavl,YVnzS܇%tD BD(9ÎQ]<Ǒ  WIm;dĒH=A q*b0<`~ Ƀ1'!N`H&8C d@HY&k@쇂o?jg Ԕs1NxstYp2G[-#o&!mRC"#xo'ZTTǾ8mK( 'DtmR\`'lrRo8G?7=iiUUG1*%lҴ'p0<~ӆ=X`M **硅oBuX =Q>N^ҭ]{ieF[Fbǡ|HQp,HtCCÕkȊpMʳs6/Er>Q뉼`)ØF$Ok'q%>7fCQPU0׾]#"z6"~ N><Ryh4Ox=ӆN>~ye {xa^6b=h9,'asDʨ~& @xk8>!taX( |"n_"}JfG>fd(,3J5XUr*s<~uqFvRǒrP#x}];Di6#Sj* T6F߳5jtAAW]͘3+x@ @nzФBr^c ϩIJGSr`g!̟(Q^$p1BQOL# ZgAù -Fde/GƕbW֜QL:Bj@tB܋H](8Xc߅dqZQ_Ѩ`5[]W-(#FKb! @'$n12 hD&ax79Ghl55gwXQ/HvsgdYqH>c׭R= hJ& Z{`[UwDE+7G5{*6((a:wCm?tBD OMPqlѾæYB6\CN$Wgtd<-a%zm=ջ(g#6I1&TL'ܕ:fo@L'NSmZQ(>4` U`>S (${,MI&^lsMo,4Gn'0$ H եs]ʆ9g5I-D>M9Î׮ICg9vxAFʘmA2)\! ϢU$Ɖt QAćʛ"O0 [;s` 1(#j7Y0W'^+aSZ G{C".xh`[o2v!PdSuN"A%)շ; 1XW7ոF8:܍SMaMzQ)GRjr(iYXs7Цn֕3'a- JЇ荣=Ҟm8"6>hUڗ&&;+ޚJ{>YhC~QoK˻e}.5Z {kp&8RZ#u~ُeى®9`8y!w" Z|H$4C4fM'@UtHG3Hsl f$/zkP|M AI{KW8dbvztA,YaZc ~ɶ5„,P{` T3 .F :fEՍOldOw \3d(vMEIorFs8q9BQ;>\*#IIZ7fQDR\;yk;JdXUi:Yr~"C"E[bLYģc3gQbwCٰ4}K1:j°$ ͘um/Zo)pKl %FV]zlĐ6mخl(9{ϩ&-߻*%1NvE,Z$$?< ],m @xShB^q+<ɵ`SV^Ϥ 9s(xNmxCXfzD [fϳ}tJU7gU]?p\0b$7qRew1'('E /C㿠Iu0u+|aSW9V>P`ѦaDD,lA(6=kGך(<u#{D{ ElGO{;19J.Oa(GB:I}L=nrǻo!E)O#FL^U2vW Sb;ZeVHϑ/]# []oMyw0N]fժɀ#MsL SWUVI )8,{rZ4g.ZR1YSmHޏ󵴽+2z<Ͽ: :Wp&+dr >޺&;@ʲBXhS@DfNKHߞU -R9شPke&b!'TXhH}e}0HZe;ڗ8rosƖ/ *T-q w?(;0^m.݊%z(n׷KQ<>gctbvq֌NE-ga{jKgyIMv<-r򧪌 Z8ɨt;=Y\#~[^ a yGs\$ bWgZL\ݩ hNEw_)n ;/uc?y_"1/AЯOe`&`3? a&2Fn kKGXctY$k|)Xf4FWj nI;"\7fcWlKb $ʁ߹:KR2lkX^pτɏi'qPs G+JROoܑkV>_V=slc]̯)zqޱM`0/k+8y[ֻNJH|Dy|J4ʗT{l HghpGT7:%b?Y:,>]jрb 59`-bcr 嗱*qIYxLO#|uO:"`G5P&[Ϩa7]e/lL&P&"Xϋѩ-Je6~ d1m2%<ֻLd^lWo?REߥ2Cz[IN_e;~њ7usbu+1}bb&A^ԙ3 WcT,Mhcȵ~ӦB%Tqޜb9SѺ nL>n4v3̗Z~mM0ΊFZ#FqO;[pܛ&}my]u1%5f({ s6.ԹQ^y9p<* M:,}g,aO&G4Px^󥭽`nG$bZȠ(R'EEEM} eOf3ooC5S>Uq*(3P|^ /'.Ca݀隘$Qa>#J gs8'mK{bI:H{8 :pl@`RO>ŏ~- '}A\3̏éQBS'H]zywJvhlP6wD|ow}4J~F|sc)5WCV}XYVW ڂ O҃%`q/ *~8 @uԧXZ8rSm|(Ry͢m}k\N0c"k BO"MֱˏbYWy4:`-*LcX>v/ud`Oî'˲؂è$u_%4Yj*q؎t+l0Luc6soäL@Q=`KbIl$$sXΔ7`T)9͗Udef04hJ15j v)te>Al^]<Ԛ(u9QZ6X1ћW8OHEM r}51&,u_Y g,.jrޡ%U"m*r@!k(K %b! ?xQrΉdT: # Dlyٺ<3vBBp-Ub8}< }TMd(].־fkmx\ѕI1fX7v%Gf z#sJGEN%qHIo35{(p츕[> Wis.X:*p8W<a` f_eWN'_ z'+t1VIzL_V֒Lgt'7٢?-)wteQ6 s qBs AePB:K9?0ZNl/XTcm^#km8p'y}iOu9SB72x("#^&. dgo._0ŐOta= o~v ,{bGևMq>bXED1BzE\xVD)^_66n]0G҈6RT2ld}s!}]߷] !+P)!(^4,|vD$>$5CطJ~rnn2?14%JRndxtV >oVUt^sF, *=鼓6RR<׷ y߹CxQ(e)yh^1H^47A#[d!}]ez*>> I?v-dy8j -Ros4ِRpc=';%8ܝmuSK>+Pןh/6S0W=/H&+^2=s$$^`DIB?m.2RLh8OR"r{-dx;Bnbfs.i,<ۅx%@FMS=0;~Y.R{ߍ vl)"?s@(%>,O"-Ċǒ!0vbLU . ҡ\ {ԁi4&ǞG]ꀱa?Z!$!tR Yz nz׍Fb]5 n͆b͏<7gv ?}ŒYQ fGyk\b.hv=C 1r1g^q{f>̹x ~5їV) &#[‚6`n ?t/6jKNUr{ D˩t`}&) ?1YtdaCnSE1?Lw˿~e&+Bu+Ydgņ&f8)ջSUQt u~"i5_(': Jm?62[\3:2’ 4oEfW6k=| ;`8SnFdaα7ֲYuã,aPIQ̑4m2}{W꜔<,+t92OmxhW{06VPm截8z$4JaO/YL =f7 Y9=S7ݵSRʀd_3 ljFQ1@H'wfXK?@ri{\neM :DB=5?+Lt n5; 9g>]G1KLOv<{gE"Go.e&t]縚߫=!B1鹱 ℌX_'6lmL2T% h vڢx:Fe @0S#cP糙0^fȦ9?[VY~eexϵ=>pn0}W'.*M=;4dξ)7P/x?^ʤlK)m7lؐ:+hiupxq ,42䫃fY?} C\HU!D˯5޼E@i1]C|w/5K,T`c@kqj _dœcyJҊaƂ\̙~"alF`9BqwAٮI?"\e;l ,-.h8eﴦU>! :M@p0]i֘BY{n'2^Z>"dWa["ziA2yg\n<":Àg8Q\~Z&7|s;PU] .(~ȦW03 'p,uZutj:"EnKz bZp.5eotuSgܝ hWТDq!O(&M$gKPY[ m89DQZuMێ<,˹ <t-=_W -Al&\.?7 RKAEl{g]c9]:?WW#q Keq425=()Lwz| ]ٖ5)U7pB$m+u&00{Hcaz2Ȝ:Nnv /V-Kł 8m$|I-jpwͩȿb`9ank32J놲i2 3}能(]ny\ڮV舎2]O2oSsTF܀[vwp.)'K+9,˟D7T8KMk_jhk`W*)Ŧ֑@~Ri &o:**qaY8 ce%)sg)^HnαgL Oy5)ت0D(m9]\3gD,MQM`3JeW MΩwe jCrV_!si 27.l[Cn&'Q~w< k7ؔ03t?M`<"A?މ_gtH$hVjB5qC$6NplQsk݈";X ˄ޫ&Į,Alsְ(G iwLښɶXش{qRA-Ƒ'7~HDe+jߨG#/ v5Wuxŷ(1Bu&~KE`v]&Vv8v؍$ Q~}#÷zLACd3. :>tZ;ACM5b)"Jbtc"C7H Y@z I>8@/!ef 40K!;BH3hV%sTvs"9nh'I:"tАht2dI,Z>IjHigM$.آiA NG'V<-U4z_&~g%%KB OG7qÃn,O* ʫp߱CA.r+GG 5ZӥNRY>#!dahbw깣lp;I=sTs2FAnS7Xt?5+|&L`_ߩ R3;){BO7XV:CR.=·@XS+8%hCϹ9r%i?n:QB,& [?;uZ_|}v""8n'XRd& w-K.~:'V#kn⡎79wNz2b硟).\V22㟃WDq\ؒQnle[˖MI!٫VGux* `,ZNAKGp+5yFYi<Ε׈{sEPmp 5 u\fQԫ0 x_21 %ǾSt4ϖwZ]5άf"2LmhA?U:1< b7.םe3# jBڰ׻><\%Z#S#V olnwk1䗦v?, PD|6$:x<6ydFv07NgM`R 6|A5tdD )UJ}DNΕPSzT*%73GIHש2W̞K wx*|jꨭv$Ի ګ{PTI@4#Zm@h<2]_O"%ucn+޻D>@ہq7-y`ue(c:O>jo82I tϖd]j|YCP&{v4roۻvnqܗ0$w@"G"6pce 5PPYZ8B8?o" ~s)&kRQ/tJxU,Y'i,~rXSEQd5X%=|기\yKYw(R%}WЀ5|N^Er- ׅoF ۜ8Z3&rf׏;ʹcTe"F7]Mo?C=vED,0 -ފiFh +:*1HX#ﶸ3skRNk$'7oRRϨ*`UQL}@6F^].q9)ķoZ|x ?)Wfyv@1>+3얭av@4sY$_zzZh=\RA &j0UfX5L.3JMuHĜ1rmC;oeYUҳ@0uʁ8E' 4GPY^DN' v<;91;(ٮimZƿ*:5 UHu@1^Q'Icپe&umUsGNjjO/4bvE0ʨ gK]N;VYT@F\ouˌP6γj!@q' [@t, rF(S`r Ъ$Am 92s#@7gܸ\2 i[ֻGԢq >L*~]]^L 6vGcPp][yYNJC=U"u|m8##!_~J}tKT_TM4OՁ7u'szlm!yRq5bFB` HCȪ*Vؠ|91rIt 09.$`x8bn(O3 F5o70ھfM/Em dViR5I{}?hNczԤdngEfz% 䱕.B%÷}Xa#)pڤ.Y~CzXRKop i-ZB) K![ rP X屖):d|J3d#O%;ӌ ׀qtR.0̖@B[bdV(*1%ֆ?}K=/lvPd< BWH5)ѝ-8e+'U 5mM,W :k kڧNmp*;Ë9dYu8}#]{D!Xu7kUEwe 6xgFR/~ Tvf]1;pXgj&żo@,X1p}0=uƖ'|r]C4y1y֭C$bhQ1(k?˲A放Χ3QB?+ Me_́?q ^?T!jcn|c]Tߚ7w"SgN.uƆ-y-dB"R+J } BYHA~ u) ChSbv]yr)|6rbPIX88{x'&JԪ(ekMrbfm|ٰVN8xtyʈ#p\AS^-gR;`#np67Zi<p JPOc@PjC|W'7=3d˫  F~7qu!@ۇ Վ߆/]9g`R@wv1/uyJ7wKKyaGXE螴ō: ,q݈Y VcfLͣ0a:k&fV] ڢ=7̥u }"8ml؍Rʝ'!~i, S9lIwZS -00 n F;%+W֭U9%r@~]asvdw=…g.NCoϯgRಏ Iq}j?T N%Ri}9rhYdZ>4i$7fC(8߲fQ~HTĶ`0>ܑ,y!~)H8mW-+P,FT!:$a#Bė4&J|_ѹDBw9nƱڀOn&U\?o%7[O֤b~@a?bv|s%2F~t.ޝ^7Ni[pνHIWPd1#.Y*sd.JZ.a) d0D@8š4^ x TUUK-?u-X72 Q_SNgxie'u:O-THD -0e)gXSu{re]P *Kzlw(~13b/D E#V8.rk :̲mD9܏XAۗC0aMc¶^8y$C|0(2GG-K!fb)5S0y embu.=[@1EaQ/y{'8>G9耷$\ٓ,0|+Oװn9=RtW@51WC^Rr rG"lqF-`@CHnF'UwGp{$^G;u{BH_&xk/i*Tmgn< :; LnzD5 K ؼLqBsc&ҳv)vU$)˖*)nʐku\Ȳ< dbx2Bkjv\Uvn*)H7Xh'Z"JIQA5X\Eϩcjev9ч8 B!R医> _}%8Vy^`^>e|(rYEwڒfuE-,fNxC~=7'M*gYZ7zXZִF! #I`]ŗXiɟ1˦r.Hil c`1X14wxnw5z{+ $+_i !$z; /C?f]Kǀ^3"i8 n ~ϡ%kAA+`.vR$Ls N"HQJku{SmH.BO"$6[m_"_֬2JB2ޚT!(s'Gkayq>i{r@qRLs5 URz8(?mvyL6XgmF)Ul.Phud(u6#VBAEXTӑ|87gĠM #~m1 *! ĥ?ڿӭ|!ҤULõ.]#Yc#JMzFں{d&>78tľ\5  ) _VzCu;H!)'ȿn֫*iĎ5[zF2n-/|Iq=m>Pdx y FnOB'kWLm3L-\ft,v]z~N7P},W)F~E^Y[ڿo%||㛢7NOc7Q|Wr׻dRdw0D8"&٘]yw%Ta5R-b lvFH %%u !ש>*@ i78%kF]y4gFhuj9d^?t u ZV?ȩd`YDEQ׈\:ƠEǍ4/h@+FP &pH[%ƣs6>UnuyB|N=` ]Sb6%~ͧM#LS{VoL=+}cP'6y`G7714~>{ؓ\F1Zbyb/ oX#؎΅iNᬠlu]96Wv]HOM(׌BˇYĮ tR&bn.L<=9Bռ(z^BmQ z/P6OA4ދW)Y'M-tỎJxB|/n7\^NO]쨎HЗ[cf?PGFy!Xy$ !2{6C4&3w O<υls6A.IK(>jwX|26ܖ5'Ą" #5 tVҜy/cCI-}""@ävoqjD;L]VF:{K]yM&bH A_,ja4pި(Gc+8W죘y|h2ϥ(EKP.jv@dҶ[xq5L"k(ʑFc\tX ӐXnn3o|sx+qGNgs\TӴ7tDOLI 1 d  ku7oXLҚh&)ef<,rqf~`@Z_e) f5B%TQ#d[O]y 5/#Sti>t xII`$ 3 rXݴjρ|uE:C4d*|+J2qH4 o kL,'E ^&) ߑzPVeS%gDR{.K40q3? OcXK'02h}C~|R` MLYyN`٧Ksz*9u b>hjAk/N5Y>BKǥx@|ꬃښ !Sij@Nl{ڧ Fڲ>|뼑QgÚjS t8$wm bz? 4U/&wHm dKlC7k&Wp/:qZ=߹rQvYIC1Q[5A$2vJe/WWDs`{EDwLDYS9V ňȐtR.F+um8yp׶-(G$ܾ@0bin Wd Cz) 3=<$=t/Ll][d>DHS &LQG29W1,>j :j'>z`Y9wE;'q7 Z~PE0yM-\5j;I}eXu=u 3n|yFbBߛ4px s7^qy'pK˸QfDy@/)hL'Rt5"Ԛ-nBL:W:|KMEyYxKXox1Tyύ$(f'@`\?Ep}b'z_[` 6P@\({66oy㵣'HRc W5qV;MN{uXOΡNEe @#`^~p!cgAJQ fD?q"YSr?3V, <д sy $ wlOŰ\}[_$\ ŤABEes!U;3ryv[$ '1Ee&sq\(ASb/ՃmDogQ^/MCiu7'Pw-ŗs~钂q+;~Ub/Iҭ{ӱtoئwBPY8Y]ɯY~6e,\_)/j [nMTA_Pr>ٹ. +Cx;=fF S{AW# čZ?fJM5]UŶNBɢFt{=@m+_hSNa>G3u9 E 䤕_FQtz߱C[g9C8&iPmtgZO_&رjp<\7_ ;~Nݔ(~y \e[H%\ZVqB-?a +ETlmH:[pr&P朚^W8OU#ևKYիs.{j4H5v+3QM}9}71fGXuYxbb 2c_yLZw>w^4.K<#q0A@QJ= eb1(}l68M`˲{ʥ@… UPBAۄ蔭/\x6~;^ I=hxcUXT6`{齔ԪCC{=BO'+C><e6$⺟tݗrT_Ao] `h崙5EE XIq~; :ʖun˖FF9r^JݟSQTO:oCդP{FP#JAJU(#@M'983 ܟ/R㻠4Ԓ~96.0 ^rQuVcmn$Et<s8I% ;bTXgZс/I"xo*spհzڃ %z>ˏ"/*f'>_XTo>Y[{"pA6'G)E.!<~b@u81i: 7,5۔ya[`cYl&H0U.iI*/AHh;d%3 71rҁC33 )Wa.3ʅ1:۞x$4x?o5YfuHy^c7\O]]/4p0C]8sg7V>Vh1J0٥q$/$W#-%q,>B!< 0YyVE0Stx*)Zo_= 41&H 1-#k‡vlu FnUG7yr P"c| %032W;J&}ȍ- j>pZhiZEyhF@3Ob:>,y ?}i!PRE2R'^TG9B6T=P h=vڃCkr|2Eb %pSsUv3t9Kc'NphIKC锽n:RX l <6\Ξ;%BH4mG_.s| Lh 5{x*Nƿq`|e7)Y2bZ&[žxi{ yk hP,QBj5<3}B@NH\o$=Yn=[`SE F( ­v }v!rJrU"t ͑O9[2~+]VWPkK'tWz*X3ؑz^ծ( /`BeB3 u Yr?tǮ\"؁$H%|E@,1=fy4g(<Iz2 p}"DgF4_mk2qj%%|! xZvP3F7i4ܐǂୈ{7&Պg&J~7_9 ##(4U1% j)/C"!{Sq/_:bV-ިTs [(u#@H*Um9iH˿Ef @ѶJָ`360wT9z(HR4\O9q~ԙ5}r:Nx(p>dQ8 n_s*WKb3O`9W9 xXIQ,WcʸEt(z¤ :t>"准:ˏ+oAfruc4fHnpqyQZwz$kwdLu,\ U?Kk= ?ϙ(B*oP05XTJ6S `8]ES"U`>RjVnud=)oZ$=Hgs@]̏Fid~svY̘NPقPhA\ot>{`S&=}Q?fu %hZ"m_zwbhQ>Y/&G,ÀwUf8QRj==[ﶄj,y!nm4Cx^(% -?9/FƷ􈗉cCN^] +ܱg< h6tF^dhaV" >04_wpzAَ[tɨ͎'=4pqFxVh`{# +Eh@%Ki:k,h`#ss~y%Id" Z4RӎQ CI]慐aj4F B.z1$ ׅʅ%6 D8 %NpXY͵4MMe.:~ވ%s\ʰlKMX?(a^Y|WBA-V\g jdd a;Ifh̻ud?7YETlzWTu!P5w]IG'=3X(Xa6^:koaEw_XW] !Bw&gjVf~h2Z|SO6;$l.j!#_g>-lDBvS^f3geB`cO[(eo=[`;)q&E`*@Qp\iɮط\3NueQW"K. Xo_$kwfw57lT:{v$KfERO'PMzōk _;s/>ʍ)ةt_:B&+bFY]s{"%b 3I-g4q䃢x s-H)d5@au ŒVɹn`uIkxBFK-@RM[.~dvLGm!-ňC^ujajҥ!~#4k,]ß\bu?"5RGP| M B.7{$-|}CCMutsxgn.Mۻ}K}hC?=->_ї0E獓Έ nr "bڪ (P">?g#Vf.dniY]g\;RdM"6 P>"dv=2 8o8ArKWa`o𛾄~p&G 6cŏ@3‚"P/j>S@MFO4:V~y(XK'5K؟$?IG5z<0O6M*6GlTWʙY3piJmTySC098mSW6*K_@kUtX.2 Uԏ] V[@=L ϊS+}?_絍\|4C΢e1_leuԵSI0+qF>. ɳj5bHBhh$`Z֭ICB(7YcED>/A" ~qjuIxA{UUJ͍񝼣;Xy^hC|@.㡓Z2a47^N =+\He'k˜#퀻?AqS(A 8՝a^Dt0U~u޷/=>#&hDⰟ[Dg|/ EV t;M`V7%3~^5]')M㺍 NzҔ15PW%VB ?C'$~X1njuRNF{i,^][t2SpqO~me_ 0PS]OSV{u7>êJdbre: K@4׵eOY:skҘF:M,0yCbzrq:^QrԿ![md{-<#V%dєqG_Nw ?aL W~l{}Z 0U2=B]o.ql2\ 0CkKֹ2Ibx%ctԋ3 BhY/'i" Rx7`V8E3~$rG@Ize^M*^2 G2ҺBdvI'ˑpFyr:$aŸ?aegU.,Cw ?P8QD]T`j~DɅqTGGwnC2HH6 K\ WL7\G9ŀBIVw(.Psv2 ]-M$ rj`ЃbhO ]:07,n}%g3Ng@^Jd̟!KRҩ;%C*6 *36h Ыi><6 u'Rnv \?)6 \1iX;s=⽡Hlգ+{Yv'ʧs,Ӷb3N1oc _#8beLl ϙߢ}T)q27d:*jMeKqo0| :P"4Ibfɸa)k $J@>|\V@# 1A`ocz=7ȍ|,kHc hhBp[Q7?_iy@uMԌ[{ee^fGGN+JT#f#p{d . lTFG ^c7̢ףS [`;el:,{Q$#p(^)KTAV*k꟡gd!`Ɍ@D. T!4Q}!܆hVeb\'q$|'h­ee-(Vd-?LUu#+U@+w/Ml{RC-GXߒ=Pj~xھ$"({v-Ӝ$k8No%C`FʽxŇQPf.e$@#'b[™[4XN~YInصFhӞ`jrmVF.d{nMtšycY Uؗr=xXTHfѣW=)a운X-髼%g{&Ku=uE5 37ZCaûnB]Pݢ?tG{F}> K΄t|w '=j9`k?<<[{HeZ6CiNbORE3;x+gtlcEHt[:/3I V}^˗,oF֗E-{%:dt݄8lW>ڦ9T✒[rsK&{&A>H1EbL@,H.5V |*&Zk!m%`!,]?9{.(<bJϠ>&${'o!GUl"SaEu!+MHMY DHbQU9?,]wZiZm"g:wdkT{mu~m3kP^fC@e2V_(Jkj]a"RN[4Q-_t<+]*ʮDw'Nf뻒)[J[JWK96ݪňSӦV~6H×WIg LD]D vK\>v"}'XBqPk%p%@s+Vww2x:Бb^mvd>瞣MV_4>KU53ݿћOE{7a w-fdP w[[!>3u*W7xGL?ҟƅ4CY j(]k6&Y|TD XaZ.O陏hVq/LwSm4NGt팍)Bu}'_I}eBc9Sֺ*$cbi$7_!n3׹0$3h#@=NͤD.՟9$?OnFcWǭ\w :7#-$%^oQ|@vDhF O _=j\1M'1Q; 2iS|{)p4ll#_ rpUrOKf)H~2T6x)^}t\m}"!+/ON1˖ejz^E 19Sv%$2UA8٪(rSV y"{ x6?d}ܻNɉ%*,Ojx?kxX(Vs҉ЂQJol! E<'i#ΏC/tSƽrWm-LMZ./ŒƝ n|rYQ h1R,^5׊OxϘ}gz-/10d皱`41,6GգL T=/*w 8&  ):b "v5- .΁۪j.4i*:Za3x̸YB7,DRXe'tTuP@sE|WiG)( Z3-s_tG*  M&E蚸wmto#]pJ0TPn?u9jl紑EX,x8qg*-Uj rһ8M^t& aBv!pF?JS.0H3* I;.z!h~@ Z اd|;e6R]9>|-s C U oV"bqƥ3NR֖-mfJ=N8@6sg"եwt|Dz]|;픸w̝'Rc[~Ot?IՓ0mMKq}fF$.SBtai 99My*#йzz9c U>.]8|ʑO)p"P3 ft`Clhi32k36y -%'R+w2 C9 TLj;b}`͵] 53[>$v°(+4-/ޮ@Йuy\pZbCI}Y@b&s:3y67sCӞʕKH r᠝mXb)Pց\F*0MRŽgP|OYdAn{fhI0fcP i eUJe~n;b`F%ԁ|JѳTiPcՖWd z7#ο9xQc(ZH 9T,ԪcP^5j9xɏP LfEYP54#JtȎi>!Q F55* gLJgH|- ;xA}dt@ 9X P/VkBR1HY-Λd)v>gB,J'aZmQ̠L1 d;7 &oZ"73bm HYFOUc^tCFn̊*i|;IJ 5`Kʚ%!zS1A;$Dr{ q8+? S?C4EV>nGk2, v=iw]>0}T$I DƋ7y@\\4qɐ7q`A>IW^2$qVV_..pXŖL6{au2mzh@#ȾExR ՑKz35O )IEL<ט@BaK~AAb7>as,9'm bYe)<)^/3'/8 DͶwѷ1UlT{ /rNc#ļ~JTTY^z'R/MEǕsF 0V?&bNj^ )Ij&e}%e%`FP(:5}{D'|sY2E,_\iݫUkXd:~:f2)Ywvx>arnkcOu_2ݥ f䐲x\<~XgEdX jeZi9"ѵ`u+ѐ+脨O3REk0]%keŞU((+(]е @p e@I$uzq F6G7撲`cM™Ǐ/cg *iOp&4_C 0[$ d4eXb7[FPdl~O@i*Ɠ褾rU8(4-hpђxh+K;Ob>N 8&-2n4g^ J_]s^kl2*g; @TK",gT&uƤ0Κ|= FqBN!>wnQbeAB{{ sra_2ő8.[ p2Se6អi˛ݸ3K>wL1s*:M/f ⳺at;:Jч^J '䖑9[eQ /|)9}G GZ͛zΒ풏]CK6ܖQYr= 3 |E_;EE}48_At}τҵ+\>Iɀku_U/q'$Jr7NpAm)n`=Bݙ#~lr};/5s1nnQ9L@l^!eO yIȿr [m#^ ^9cX #tf Q{`]K3qwOatk{RbyJ/$O1]J?}fC!7ck}eW;hE:'Mh="^i%n_q@b'#vl5\Yʻp@^VcB q&^F3ODmXl`(ؗP̲hL3朻EZJ++, ʽQ{ٛDz$k2W3m`Jxf#>]VPE(kDS B WS< ߟܔHd$Fmr%ã +kxfLϪNx]aCUB=CM]MM6뺌IߌufGc] rEJ)ZiBػhΈ5GAk[.9 bƤ.&KIy  w9RY6=Xi3zI7V3W:{KTc %4}MD[~?f|=Z#_%w~NóBIõn Ut+av(̌^#'1s7d^vH}z%NhRZ " v|@F(aY 1":lSJ¸r6oNidX 6-hL-"~q3VʧMjyN&zNptB*2WF46z,f%-8 %LlMϦ2Zf5XWH7,DAEd Hjg{Y3΃Hw{?ޤA` x Mx<;SdKgx>M;>)W ,P3l5a6κg#h[Mgq\#y*s`BDŽć#o{x9ꬅja.pj$Qdlb+: k0!gv=T \]&L0 I4',dr HXJa'*d寶<>G?&SL r$@IcFitpߨˏC^5#5ŏDgf$/F 16arN&N|C^țXG00Έ9qՁy塭QGfo&oۻuȄ]|l9qm耔m9+ (sOA?{G'i$5"iq:됩Z C)}YʳiKnuE;bIM3+:R<FƧ) J K{j!؛\xSk˞wKqa=Z;]gm[OR۩%`VӏOTц'_y[rphKNsdz.8%&Ҹ |N1/\R{1#1[eue\AvyC]ۋ7QlA4b1C7p!W}(aBDE*EZ<-sQJ~-rv*f{Y+!\Qu>޷$)yU/tVrEdtASHwّfU# &/Ӄ&q9Jms!H(K Dy`r&ĩ02Eerƻwc" )KCsQej4TbCԠ鎩 Y Oqcl)+8>O Ynznx6 Ba|].5Gq]"@3P(=x|'Ijdtg GY:{~_vwGfmgK/ \Rx pԱÅ[W27m.[UQMZءmHak7"=sG:6ױaj#f!fjKSc@:RLb3*pEڍhm`&^~UgոL>4iYՒSToOQ]Pܲΰ }Ț,.ԙD{a.6c'c^q魒d?5P2SjD10gCQ7HMQI[Kr+ZU ̾dG1+fC@aH;|W %wpq2$Ѵ9Gup_s,e&Ǡf)j=%ḿF@Qū&3&lޫaܬPyVdEeS4MAi'z,(#էxPB&$&,6B O5pjۃR4U^3-dEA "h~$>ϗ<4K~ĔNh)uu` }_"s_Ee gȄ}Jh-2\z7=rѣ6o<b[ hZfcI)gHwn֗H3BYR|Sn@,O]k2z밸i(Mn 'g?k?74^*Zp? f1 : Bh惐IB+˒4]C G\Q#Q@m3WD(}rYAɇYJt:١+1YPs>l2lj6‰+W&H}a%ΦI.aGf[l͊29]y4&2`z4mbЀfF;x_aL.-x6+0XIkٚ7P{?B=B;?4ApՆVȪܵoסk8j^a+董 (O-64Kcqא۠{1+H1Bud4g'C+jm)ggFPdzbGO} 5[*:1|bЭS ) KWzbRk\#)RE`GJlk˻o66.;~ gh3~ ׆?/ YJ>^s,9gȉF.6|?FWXUws$`_/ht> \ICԄZ=Zl.Beq2^\2Y(Q5ǣ3/.[&M[5%{.P5Dd@a@y5xr2Eƴ95Ո ܈$l<* %@dk\b7^!z0%A=cBY7GV^68zy% o={qVrO%_TF:rz~"͵-[[OO5J*&M.HJb*yPBϺWE@qÅ9KpP(Y);\K-LJ+O[۽Be'6ZЫJM848܆&{"$~Ҵ"XͭusfN-o:Bꝴ3 'g[ƊjN,-!_C<0P2.k (ʁ E|& nG+mkG+3t UpCPu fȐG[fX//s9y3-䈗QqK UIưsq$ Zƃe" &yv0k>9TVO%7R٬q1VR2 pʇ-n$I$͍ G'Zmw-v&QP=VYf*Y3"U7Q\cX}G|S! OYsĂ "h Γ3h$R:PXAQ^bJs7qMr>>ýeSZ<3%k0s/QM`W_( }yߐ_%ԬA }HsH.`*E'N#zϽjн]V3f?.UPk X}MLSUjz< @QڶoayVY,t饢 H 'WFy+Ut#؇OJtij,O/%/iHj77*.~j;{K]ؖty&H*m!h;w^:־?xp6Kk|.۶i]{ۻiB x+"_JUѪFߐ w Q }.iKVFwG1ѻߙ"Kb~Ma~Lj<H"FչڈVKl/gQ_ΐ:1mUr!dqօ wJ3wٿω!O2ӹ?3oAf4]wQ ?!^ZiH К3DbU6pwC (PFLJ޲}k gӯFa6l,'gEzlԮz Uk bbo~c nSK a.v>aݍ[ZHjNsbx$f9<2OfgRoDa<鱖Ud'RY2!ֺv@_{L'Zt*r"H$6XN8+WsaF#GΧs9 {@F{A7ɕTeQ/|b vvl+*KXj*WvٽMJ 9eݡ#XMM$E$Q t;O| p$,G[ "%2~EHorh:,@un+U7U6M5 đX>|SAXIQg3 |IsRyʆ>,όjg>OS'Tӽ@>b[֏Ji_9fD4:$jRU=3FJAawxIOR[;y~6tZ?m\mrDt?. ,^1J,B0޺C0*KPOz2tMU|c]l ]&l &^$*t>6*mD V'G_q7-ʃwYzܳtKJ (Gq2\b+x$x6v:j^՛G7DPDc7 P:~bj-SNԌKh:(Hv^PC- ,ff%w6 ~:5⩩VY^<8.MI!.Zy[ 8jaOZQxt-zj^5F37_xJzt&|DPOya sA83mT8(n~꼊 0x(,.'G]l_pM֤0B=^;x%jH7뤎9Xӛk-wyh~c!Cn;<ȶTrl= VW,r:xԳPA(D B~Γ`Wi==i0MYhlڪ<͕dq_AHԿVz,hMV_7%NNeZ)+5<ӳ|&vIaMT`+'oL|&W 8?OdL¨Du)W$! w&y-):)̮chu2xp|:at|?5@ `3ND/3F %VԸmf[Xlq77yժ ȺgYZ86ac84b0947e781d33d9f015e3450212cddc0c6c77f3e6117d8d9e81a63ec2f1d36765fb9761e63d d8b455c84836a9b5f1a1b8503c9c0539652a6ddbe3a8d806ed9072a99cb8f500576a72d53a066f04