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 {{M%dL ]/]HOL-Analysis:threads=6elapsed=326.678cpu=1688.072gc=122.108factor=5.177zXZִF! R]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jit35ꊾ:֚rcI,2XS0i H`ꄶ֢XbktNg/Kړsb'g-=_'E?xkt+-Z1SUXI`L$%daReJA<]a~GAk\z̶k.mD{!GJp00Kis>r4x[5 GS%<1pK{͇NhR8=HF@ mӍh%vJ ]-=OS4 OPXr:}ȡ+i-jU0i7C:566jF *ujJtL~f=*E.&J iluUl*høKLyH,*죚/:) ̋ XιG);m"cm#{4Xn;"|Ϲ>:#s`LmsS#E" ɍuCcjǬMUxvLMG[ gEbgC $q5rX&l0|1HޒQ"bCeHS#Q c3ţ@E +jMwN=PWݶi/H_/i[&NLU }JFSգjGTNMZ~ug:%,8Zt:c[͌nHKCO;2lNc^lII̶Im:3nL"O;m1h, X6PFePEV3ֱY W(oC 6u—E h`M1;3Mz:gǐ6kn=\)?mkʜw<<&@I.އ+30g"چ M^ZMQ'sO7K&.zGJ ,D7foXY dͼ_jwH ٺE)U4Nwq n82Y4?Ԉ-撅c&㷭 'Ř,IA-KH|-r`Nk(j%DѰ6@ź C',8?JD_Qi5ζ('k2k&66 Jv"ܢ0\l-a{7&#iHS'8_]bL(T4"QB^qwPtk >9˂,lԊX#XG>GRf QqE>&3^f\_RBsr<N)qMwx[{Ս]j3y< @xx.hTUs89XQtg$ WUK/h8tδLQyҕ/K}|ߐ|]msL}2y@ڒ&ʧܧvH+ (F zB(Y Pŗu۠ڑܸG^;vsfʎ94r84L~p (4?=XӔ}fH>K,;;-d85[B\ o`l8#B60OcP@3}Bs^"Jj۷[؃[HTQVmx e$5lI-\% ^wL@m4[jĬnC[2,{yͧ!2?*gJ3pϹ&ؘcW- =j=0dDA esZ _}86s&Rջ{yF7Yn~r"$nJ(OqU;Sa˞XʻEueߘ^&q}r3hRz1FYnI=pDƑm[/XqRa5zkU1뉂 lj&.V>&=maLeH6lJ (Y5tK$i,"gnk))Iƻ2n3P$1If0t8NeC\N! *\We,)lYr1FRz2[ 1~NfS?ef Q)ԏqg$Cxs=MjuڂyRAȫ++Gj菜6%nb]-*}ZP}N+JQh_NC@LOT,;l(㲵ۂy}zOC:"RuB_A~D^%`E!MwFu`ӖN]BCUH7X|eǶϤ 6nLB=϶E=egWS,J!M+ؚ)a p0M:1z A͗i<n/{viIfl9Ul{*X3^HŸ-ر SjWnɦ0 f6evcT|FIiŗ*r3~M(ҵESQӭJFР2pjahLc,K$2v Q{NƓ4[.s'=AjoX BP6 ZsEOf/rͷ25Һq"(,eJ'l*r`۹A=΄.wF>ԲV1@HGV[fh~"{4)kWY^5n;a.8ύT(%y)Y*9oHy#K4?pa/-2Ɲyl7,X0%iVW@zd j % HOL-Analysis  RáT~dru6FUMPX}gﴼۍH/-Ůo73Rerֵ*f7"lsh MڊhZR{mTae$Hܜ/gvUTN&L= Ž@;CKsόpkz)]M^|Ӹ9QUgBU{0 I7.2z `_b#ȖS;bJO4>>j?`:VuۙVi^"e>3.LRˮ@^ Z(o"H\_ b O W؉r*_<+́EMvf,tL^%KC;=JAdVM"ĒxZD%ZRq'Nbig@f38an+ܜ7U@EB&u?s,29$PIOY\7sHj+v*c\t2;Nxgq0v-BG&?Lae/i*%x0}y1%ԻZZ[:Ž!{uZQ4Dh.ބ*G5%) [S5Y>)v1ɫyѬOžq@ww,{~tftf:jAq6,S KQZd4N4R<%vzu.d;bi~8L]*H`ߤU>F<[2C[& "ҝLYbB EA|38@qCU1_>dzI@?vZ4 8ov\IJBV_}PmQAbh*4T~<'oݛΈyV *8IT (U+5 b'2ȂwX: HfWr3]3Gf:ОĤ,:IPu>;1[Cn";)l!3z'#dJӓKO^.۞g (]jכ v.%_DB\1[ȋ?=qΪ -T@# kg"ەUJ)5AX@ؑY^/ 8JɍԻA5L8XӳRjcz%1/.=Gְ.Id ofdh0ʺcjћ<R/BV7/dZZGhWS+P)uz.E{JQd(Vߙ9K_U[wQIt`arRDt{vpp+杖JQ<,lc {n²Y͚2 F)m/0 -Sj^F{8)J.]?Y ĝN|^CľìrݙP4ЈZZGnE8= ´V _.p;m<+H-~lo;N#A̟> 2cc N5LbO(QhH?!.V#5cy |8`Vӧn7َ=)# S2+Z3V.Y1l ڟeÞ'EMclMWdz/e>1"m&]ۊdžfvoq0\fxn ]gYBE!{Dxa؟C4Nޗ?PF*҅ O> %;łS/yNemH}"cbZ/c.<pD3;CFK50"YjZ`r|V9?R| 1Ǜn "(a7H?!^oCJA,ΉFyu/2D)!oĝ}XŐ<9'ޠYjs*w_GAIsop2j4)<D # )/vP~A|glJ,Xp=K $D7n?K5-Lپxډ`0`9ٮ0rI;O%&khC` ܘ7xV'|K<sCP#WK7gc6rO25g1OUuݔ']XR fvތ7gncX $,W O=koOnV"_j"r// OZuHC5a:+㰝jMl{w)8khd.8̙C)!>'%7%;y[@-1aˬxri0hzGsi6^ġ7^ gpO;6\F-c?|zoNp|^Cɹ,.7+.W+G%2[9B!h0ҝ0jAEjkR=pu@zdast3Iy7mYr9puFbXT ]fKHQ*?áhUDX99:V]a2fR#TQ0mD\U<-M:` CÀnYЪ U\bHhI \/zcit]S7W8ȟc, ۑWIWWb4@yٙэ;QU4- .$zwQȊv>Voke\Q_RWb`8LP`9˲`j&+,Hؖ\:7,?]aϟwyo5h^վ/}zfu3gfcy }t 0v+X+' X4dbF+,9G =|8O=lBn+# $͌x*:VPxs+3 z&ANf; Ot:>Qq)sl1q%g:#!G.(5vE&yp[ɢ xRo5c,.\+()fI'gZBH|a\c&BV/O|gKLBn0㖠;(*X_̣euC+>l V/^#;?[o.${`~.^ W[Lr,OdlvKH DJӧ›L3/A?xN\Rǜ%gsirQUz4$XeƸip+bOH#~آPEȸ_acJT(elj*W s sl{G3̀<3Ô'yΏq“kQ`m.ݥUEB!<=Zxfh]|v_L+sd$gA2س\naKXJ@B:o,6yJqJ(D[ q9WΝ.eP L5 [r@v RkUyJn`]~dRȔDŽȯO௥ebD0:GԄwPLjƶx vD^JsjzKM|:"P?L^C!$YW\ݘ/?8z6kQ$j?^ٙTs,+4e-6οtD]1U[n` /otn!>n_LMM53!*4"ON;^Slv}gQ I̪dhi+bmj=|:ZG !L\\(Ϲm)3]ll0<!ֽlC2s|rY@ei@ZsGwy ţc8VV 3&aĆB^v%BliD7i<ůMW˓䭹[NdJmU({r?&u."%׶:ihY'lE7,CCH'<٧eI oNJkieROf- ;:o瓛 ܨԔVkb]z8D\ky -K6hZ2>.xIYuz ʢ;U:f෇ ۏ9gD򢙌yb =ihfHhzDz\㐑0~'eWE$noa[R@6FnMZ}֬ Ac1kxE5ݗÔ Dw9G~ƯyHOquka'v/Zze(^~`+K SY`e!Nr҉"g̎":}R=% xiZS>9uTg\;n'ךpU#;lBk Z\8|5cfE7//> ݽQ`uHc?`aԍ6q6ps0CT"{]<$u>+<~>zD(-W}L ,1x cm;}X=Q?Lb&hDVPQ;&Y7iaTY`fl?"~2X:q~"UUOA'Mm̫>ih-`3_JIVx ]l?(t0jlRd՞KlsO)2ױyßG H]BGUL/"rYxEdB[I4Ѧ͡ JB =9 o(Z=3Ce:[Dc|7\CeQm FON]|X])T~^NC{j+׃M&aPQ(QGC>ҫ:\lbˌwվ|`ٍF8#6- UT|ZѿI|׋I>VLz(y\nz9 Ya<Z=H[{T PΪ8UBPtz'!YgJѪnbh7D燝 4@DH~lS¾iɍ^rq{?"RtPwO V&<1NV_uVG^++Vee^/kم a@.'EV+/"0~홸ByD^= [C6#6(R6OYɛ'sgbB+ܪGfwP.[Ȏ"ғ9UFKy!G;#^KW#[9$1 ]Qj_ԢGN{ BvL\֨ m H7GsE-ba*pd1LqX{~M\s4lPSk3b=tF hl. kYpz]£I#k\*1Ţ Gcdpپ+y6&2GegWeF3Kmǿm=V`bnl)0`s>o75AEF`cH^[.Tͭ;}&-Nelp~)_)λKN[|<-7.Ѝ^GS WR#Owẛ9fɊ82lXcr%$*A%%L,v"uu];~{}5moҿyϴ9%5$7ns>m[M.5<ά&yrpZkʹګH빴6tnT2E ?g^ؓ=n7]ĻQJo<}%dPk=gqᒩ~t>3o>o{_ˠT;enG5O'n˪~?n7逮$Q^oS0>veoʒY%0:q zԍ#ܼ &A7VٍU/݈mIS,Bdj->gv(k\ۈXMcsJXyTh^ZbYnOxw9W bi~`XPmQL; М I:V2/%O06U,HZ^}adwW89E4~R2}*|, 2@rq7?y;B9DǢ^ꗗ2P hˁ='$0Vb2Z1fFNxd#olt!G3 0~(+YC%Lw}\sVQ^J歓f ^ze|T70v&$Xf'w[N}T1qH@", wdrڵ׍]8DmYK;b`LV'- 1̈́cZdT@{57:5 yM&![N Y ؍ds?/`` ~;6CٍJG,$^&)3 J ji0-lht<}Y-̴|p$VAk Ғ <֕ Z4J~,GܣVO"Ǧ7bpm$.$der1 q_Zxi1o&u#jq)ڱ4ԭ{5Z̓?o`'.^yޕB .u w\4@h5s5=iyo续i ȣYP%Y`R˼ᡳ8\f(>*L,6Lܓ=wWj@(>Cifz@goɝQHYHz1l1N`T(糥JpRHަ#ԪkHAjշ˼9EW$lmhhXٍ)LL)x u :?ױ6Mg*C)( ~|왴^]pMX!}9%K׆5q1#^ӄlejRm¨sfAt r+д);'1viq[MEOHBAj`SpnLhYhϼEUi GfoR.RD$BW(i4!GsCnkS.;֋V>uXv{YOk@S='ts1ɾsLq[Gi |IQϒQً5v٤=;lB ԼT$B~Ey[+adEels{(wOkCtq,Czɹ%`[gQz)XIBY;RJbF/Vw0X]%ز35se>VoV]|'k_@-Oc`{~0 *id.8drW{ǭT͡XQO 4bx+$ ߿:nǕ rscr|ܭ+m#YlG1"I~6WQAk7mZ `+rcւ%Wqk'/:4@-'Lݭ%i{:FqXvRϖv Z(AFXhxr3;D^rЈeLo=e+=R kcwD¿;ʢxszj#MC FzgtO Z?l! ێմ jOƷOre+e,tO@~kngGe6c˟ڐ VEd5sY9\ɱĿ`y˔! #tlBe^#$c\ ݅bKYRJeus K~W5,3友'#21_#!y|eʍw9 4YyS mT'/2χe/_aÉrq} d>+|wj}?Lw|/* ņt{wIA}'(MdIN=׬=L]kg{rLZ CjVAK 9lyb#H d0)%JXqMus`(n <7'ĸwBtuxQq |7d)-wgMRx;#,ǃxʘW 1[kS 66Iww8S幓ěax8n ^kEznU~äL ڄ'S&dC QAQG'KY3:T$jQ[5JJӤk9*7!Ex8P('At-ϖzt}EQ@@5O4\7.{}EpIJ>!>A0GQN\}Q& fO|ySaKaͰZ:ef2*ރb:yRtf5y~woJSh,Yn4IFY!XEd1=9k{Wjs&а@w'd_g4djGdεW3t-#XFSE!q4jxEoRRK%[eկAUI@D8uTRwz{$f/@B`UI:5pbN"Ĝu2r|-M5$}S@5Bs*[ARXx t<M Q~] A@R'?0˼cjی$I3 j_՘>EkF&TF挽|js=X/A||${=o'Z;~w9]*?P3R1 {]K! ƂH!v1,Ëcb }yZFa"YCO4R:vlױIrY{s>׎3g%)7p?[FkA*z飨7..[6!PQ+u-c;2h!Do3wKBb2!BZyfhet{ax^J\nF\U?ĉ-+pۇm3`^TXc}Y(~Jc|4F'Oϯ"Nxu_\|j@_*-뇤Q Ja }۟Go=+̞S?9#W*СvFyO?n%qaHSf>l7މ$ 8iF]V}Co:U5h>4ׄ_fL!f&:_F <_Mԥ$Q_]ぴ٩mU4SuܳK@A(MeUp(6( |߲"Cݖ{q'"թCh *jT 1PS}ŔgUau@pIŕö%'>`m[)$Cehd$HKca:X%>PNѩTc*~wb5Hf`0ˏu%+璬td߹YFj:Q1,ا~mW@0n_Z@4Z9C; 5p/'uxuvfZr8ܶQ֠mtO1Gr۔T ;]$n RR17w `q*J| 7~vW ہGG%0bqF[81Syq0aJ  U\޶(EҡO^|·7(PM Iz8=-O50X;/5J Y,`rVnƓWdߙ ˷[,ȳ/P/%Xk2r;r!ꎊ 5!3Q ^,!1!Ydp9E&ݥUJ2.r1ыo _oQEDi[|4A~: DPUa7"T'|&T?>%hY3ah-.喼'%س M/tzZ=1̵g *l Y~;2Gpdqqͪ\!l%t'r .rwdwD}f(Aͯ 3~qA,B&U-i2O&o%$jt@w9<-m>9W} zyq6[Le`S:#>@^+yk0 }Ypy7RwV*4'1mkI5kss*9΋IhGZ#|=,!6 T!g1A.CG*KPG9eJ!:d<OWciF%zF}hRH/^}AJfrȄxZb -h@[$6'M/l\(8 U[ cr!#i&8,*]+k%xiD'x)^V\ Tb8X }w-Z0#4! o0Y~P< G3 .W. ߳ӉW'YM:}BD3(Ҍ'V&6Ma-=>9*ع)|YlǴX(8!Ӟ<9,%=hoV+nHHYpw ~9l-GmU[ͅklBXLnv?lg\O˟=yBm?АE 46\X#2Ԡ,%ʮ X~V2\%h_d)~ή!la@<|> w=˳sJha )k*m(3kNmB,-k߈rB}%4 F~>r| Ηu^:u+r$6Cbl>TG-䜥ȁ2pC51eNA2q?xn]ւ `]u@3:5Kͬ4,JWyI V3,`E;ۍ佑>2 g?Rh,i/`'[#ߠ7^ 9) nގѹ_UVe7S+fچqIL  ~級GµDU30ޢW@Ǔ:|^kæT\9 h(=]3K}Dy:m\5[d8I9>р>$޻FQ]'D_iK8%'W?%&]<5ܷtf01P;;6 ?~=vS .%fzqahI\jxZKO<-ѳZ6Ŕ袎&`u:\XBe(wlS(qDY{`Iqf_jKmॢm ak?`cv,F䅉LMqUEĝ3[{q`εdx^Bk R34=WVPqOUi-C+C1PI 7]LQiFY{sipy!qr$*as@U+ #)հiMe3Xe%u~abRbaѼ:bHSEYݵYõWBSq.+_h|~.XX"BFBųG3Qo햙fwEx?46lw yϾ+6 'P5gYZ7zXZִF! o]ŗXi%GV4QRQAȥ뵾%-'fCeDj߉ܹV-EWHaäY} 84 a <7 h==̏3& dьTg ejY|}6f9G}y7!`v=@s N4qRrAq'Ÿ-* .i|x}۠,8V$؏EJ,:V*'Qqw%=P M\ږQ 籤KraKXf罻,ϯ򢩳|y(Y#BW̔nAjKs<PJ9+c)*w$f,JiV+2 f.u=Lh{,D 7D6EҜ,7C*ղZ􅎆Q^=+5x> t̚71 .pZ9Z:JY ̩@=V xdxS[ə M~K6zgh'FE-^ЬN\*jːɼ G9>2Q 8j/29۟מD% @>8FªlQoꤟI:^#;>u2 RI`m5XFum[<>àvՏn&?C;G!|KM5baJs T)a8+gN ɕ[!GIle7|u]6jd=yX|('_ZZI! 11z2rP(J}BZ,vSﯥb-a9 % t#?dXk@9]e1h[P]A}qszb Uɰ"CM[em~/eO5nx6bhU9mTY>4xleKqؤY>M~u^H@@OxzTNjRj\(CCp|J}tn`UbL9!U4RKsp u TťeV7V2ƆnT]Ǡ>p#<M#l~dȤ7.4+PɮӱV8' Ѻ6iZ܏s^P!)ڰ9)0t*MVrJyR.[ZǥF#hnFVrO{>YWkx ,ZOaުICkd,-\r_5"ҢLޓ>`xՀ OXS VP3R=S$x9<~]BGmoszPc>U){,@µ7',9H4J{t&Xo'$Q7\rhoS.2*ɞ04DB,VmWx&ȺBq἞3Joʼni뒏M|K]ջY_ A6$1k&vOZ7xSGBC+ ac.<YVVL~P`Gϐa[w 'B&p<_O\ $" HM4i3M#|gyXkR:iV[pj%C< ~>dV'/0$fW, QCH0jb;dqoLlIY@&?7n^i-Ӣ,Qܳˣ7ӥw r fxaeLӱ"N>+ɯjF*lRB80Lz>ǁ$/̟u3C"<pqL>+_NV<.nbDQleO$AQRO#WOƨdر͏՚]:eESY1PVй{tvΧÎ~@j|6]r gCkҁE5u:3b*.&*#w)Ξ OXُL2EGZq#.͛wBS͘y\4'Hcj _[y-cgkrq{K0DJ?Zva"ԽI5bD`w'>aùdTl \q83]0;Wډh45qxˌrRGLOH+{b9wtfYF<_k_>%{ tp+: 6Sux]!wҝ{vZ碍nձH:oп ^3Pd0&jV?@yg6.3=E{XzFo j^x 9'[즁B[,B4oTeH5Μs( OV^hVr~Zej5NVtF!O\ZDy[؜Oxh p7%BpSoesy!;44Z@KD$iE@lPcޙs8J,P)3mψ7%Gs^u X.-?f^QZ o_NC fH DU[g10aߓ PrY`_ㇾ*7ߩ`b[6kh-zrnuCM1X<8ofH(ip2 2 рk2"'Uuh=npуs ˧a-}}+'m!vŘ?a ĽTLت "Pi d5ל^GAmmo%-{1э>Iz(~ )b g-+oT{RËOؚ PԀqp o֩ϜÁH*W v#:wqr%K37ӿr~&k&YK8ȹJ51(U8sh0`<gTkHF=.g Bkй޾$V`b=-0ՠ Noܧ _vlhb$w }Y+~F֒&ɅJ @)t{OiݻUv]\eU; К41S"9Qk̈]s{5Pï$&T2"Op0;;ByD[R莱r*6lO|,SarDXx)X"t^[˴@^")=8i}^F,E%@{3au/q`* 41SJڲ!zך#[O(|I}BYk鯣YwGȴFO 4h@tp ^ؙ&wlJ7 ;nn$sшCZX7ӿD#Z[Aބ%\#-tOnP3 bjg4b[bΑ<O D,tDc}PQ-y@]KPnȶgXKׯ z:Ÿ0uS"bw=ި?$'؂8k\uƼI*3t4G+y8)o=HgIsh zt({OSjުӷz>-Sp.!=:lw{ɗ-${-I+jZ9 Tܪ0uB{ J7om}JuY0.]m$ķy/ \z~Z`˟4. q>.]4K3=U!t%!3tvaV:\:!X%pNnŦځ.z^]y@k6f`ZGc 2OSǃ*]KwΊL{8l~ /8H^&q,*ʕlAo+IؚO ,8ߠ>ʉI;, P%8A"Vjs'Ots'j}%?-S`pƻT{۔w1]>~ߑya=^8GSsq6öa-2':KI aۖLV-RjéMkсsD渂+&Ui Wrs! I˥AT twP V$ciAZ}S|-cL)`zo@^9i+UTm9$VD d>̥G =nS[i J']xjp0-e}gHra=% 6nA/8>G?k6&]p? P&tw{L^-s 8N<]R񳍂>?O[J0) )x>2чMѼ4WwׁޜǯSܭtDu7}GӺlA lKB{s37A"qwačI#jrFH5~;"_g6q8j;xS)./Ze|M5s# ?{iσl?,7672N^B[*PiʔCǠu'8nZ0L&i':gleq8o)7h+h5V. =h"5Ө0 GKOEzT^_3_;F&QH^t,[3/fGK5:^S3.&pqH PC @Hz86\C1IT}H#:_-^hoRXY[iᲉx2~aϢ-jsk#$ii?QQvՎ3d q!A#.Sr ycv  L3 钟^xd!',qC8ѡ=Y Qʽb? {Kk=s1(G4ZThT@'E^@DN f7E2٩U =Y޵|C4;/gBgKC,9^k&P$C CƿPZns HϜFTv鵣_pğWƔHHpC#pvrDY;@_M?Taz+'s!E|6iG)U>{L'l% 8vJɐSvO|Jc\#/#~lOTR(> n=mLIS$S}GY{YxR~ x"sa/,SgmE8/p`.4+^l0ˁaT)mfaKJ(1Ȍfq6*g(I%,4xˮ"X~x<4|Zy@1m?mv>/ x|qߞ"UXMac %b]I@VH{3 B0 .&X[!Nq4Yt,c?$r!B/zNCP5@n] @ yGRp8ƫN-wMh5 cmeHvRStv.vM߂)vI5P RX)D)@EEbv_wq+<:{Tuʙ1$il=ȱĮKW7w'#H3~~} 9ٶnNlv6 e'\,LZPhTuº2Hac'X8lKAQ bqxA :lHG7_Cé7Vr57Θښ҂gġ֫B~) *r|jw8eYo R&㥲k\AstG_%pɽ*ղƹt&MI|Hn]My^N OMdt?3Aa"W@u=lTk 5J:9O]};6 'Cn{X]Oqe36w1ORӮ{%$%nK2p;^xKnfj7JS<'k!$12 Vs#K_0FQ `Ʒ&3 >e/a72߹{|C"P!n8YyWXVvF3㌍ewBl9[8L=isY&1 X_*>7h˕-`ml0!BvH98CA'E hl]W^ !Fv{hL6vKx1x>; zdeƓ'DjqK~p ,NWfHW< isSm/ȟZXN8vF}wTmʨ^Z>=^|feLyN|A? ~Ϡ-E#igF3^bBAG7Th.&"Z7rkoQ!7kVq!\zYfmWn{zrTx ɩ'E9b;sxa hqsٝ q<֭"eyj?!(mՑQ,2 KW唣1> Z,K3\bA/q(@[I_m{{G+2w)b?nScfY#Lʧ mOGf?yyyJHW4 y2ٛ׾BSEk 26N. S!&\͑(|Fzt V ϜJ/zz {vvl[V Z=םwQo\*I0 AC)hj@5Yvjɰ<EX D_Fsd(i\I\rgVt?BK&>+oZJԵd2qPyloj>փE~FځHWdž\rR"?S}5 oaeVy 6?h@Q>e@ 6!HMJdj g]FÙ荻~XB |z\ه~rFtnhC-1;gˡ8{P\WYBSeٱG\16 -;-\&㪣"qsaya 䴗Pݦڠ`?pu ٚGܥA'l <In&hFBeAާ{ɯ >H }Kt}/ V%ZAWw$HҙQ)#`ߩʾhEqt{h3?geRT.3g)j?*as tA0z{8"ri6<؅I͎=NxٛmNS)Pښ`:8"e^/4CmG&ĜG?†2t֌OPRE;˳Kd 5/B)E`gIi?8&b u俰=0I8'0ЅEuߥ.8i N'!J:jwBcछ̓x`4)G߽cS 0ĉ p, 541ldX'(䙜̃h /+ { `Ysr{*TgjAG Bv/F#z#tu aC& z~7e8苁(tƍ y]/=h1}sZ4oZ2sW+­o|?/0q⮻r8oǃc lL [d95M`]5N0;'g Mڻc3 nr0L~3wJ8V2ޑ| |&,|SE#MKJ{^QQxi#HD i C c䶝m4 >0]h *;|g[O=VFhcѲC^w߉"Vsg&t5XYjXsRY{^SoiqBNM2U,]U8$dAFv=k w#@B0I~' *dzjU)VM=012pS_E<Bz=Z T[DZab ljWdz1) lt7`4Hc)~5 ڌ2V־DIU|dϪNejVp?"~hCŒBٺUU==^ƴ 278660&VfU@sf3Ո )oψF}枷ۻDSqGhdm[WX:U \Ӫ8Δy&R$Kxak)H6~R$Yڧ ?666"'re3K-y^&Va_DgO,gg;hi 'Z= SauGPV.PŤ40Kbhxzs ]C5I֯29^xFJ.t_Kj&*\,p^{lZ=B(E58?@ؐgCe'϶Et_~8U\5!k(T16!璸^aH>؀"H#;΢y%e=ū6%:!ejϒT@OCbT_L ,ԋ 7X滎r\Յ klbHV8|Y@}+K>ޖ%,Ά_o[ď\9+:9drsxTa+0z :90=;a O,GbċWJ'3h\'.oJ}NſlYh@r WT g9xF+5,Um6h+%5g-wެaG|(`Fe;ywT\ 6&='#Ni8;k )PMLPҹ+$%&2hE#Zth?u,AM0yp>؃ެIeBɨAf|HqxC(Áil~m‹??BRc #G{'3yv48W͞B@PVM]vz⽨JOM/WJYO)%'i Pv杂\:Vlm<7=ܕ~AV9tD+LD"hr}Sg6Ƽ^4I`Arft*sz瀴N,V $^(8c=CTO Z"t7o ͳhv\dv| r+,˦e_4eL9,{c@M:'> ?QqFnwV`20^A{߸([?A5[@6ȃ$V`٫dlӠb7N\C05'LR$COtۇ*wNvG-"sK%B6F*qj̗Mo .|̭ϸߍGU^=spM]tA/&f$XFŎT4Ւ1| o"f:J/g@kKh{x=}@94#dt>"4AƎA!baR lU[BSYGvC7JPvKp:~ ]~ģ} ^NLwg>y(<5%D{yGIߓ3kXS73OGh[-su^ O<.\ՕLj8٧$L\"asYĄzs7e7!.qg3 H$Dw~TOiG*E?=V ނ \ 疬t%Ծ,CĊ`(QHΉoq׽Qa|o;f2JQGWTlڄ s:lH>&x  ;>lt"D?]"%t(3ҳ<wnP}:gw-9b[hw,Ti>R7-ؽ^I%e&A@4N=El WE2[!lXq[29;(zj_բ3tcU.M.x[#ϓZ}T}7PwH)P,[&>B+Y DݜJ^z:=u"3й0ì 8ӱ+A)ěU9ΕK[{٠4C`_&/Fg "ն9I!VN  ŮW$qk#`E Ȑ?HΚq?˞-UA|Ģ)Qa@ T#ǝ Bd-`&8,pE$a~/dCѸs9UAln] gEv+Sk2!&<'Z7uPp :L hB`WR>+픵IՅ"A咨n11Vj=|Y`M }T紡i2QJԖ@b 3JHfmζ@wv \ϰ~{t+tzR*v'7v|nshoa@4ΝkpPu>=-|xcr>BIʲt&"D _W4{; FuZ}1X{BmR֧  FGua{=9 ku㗺N tځ~nWs}>#28~O4֝)x'%.?QΑ."^lITVnhֿS5HhDZԹAǩ]Loh333ElQlmwqɌnfs5);)﫞x\v Vhi|zcאpsК ~R*sIxj'^Q~ؓ>0kĉ3'[v|\$n;("Ďì=|V]ңCMуF,$a?P̧Q֨`C(#g;c0uEC1 /v,1皏??72vJy#4!毕";[ mOl8?G[~^){pGH`)R(۵Ka L=dΞ"D%E> W;TBQy{v/7q#.jCSiH=7Evd׆T"͍ 5J?ٿ4Gh#k7ё0b"{l0p)_Wx 2Bƌ$jG _ic<'b )Ջ)&_xX^ Y^Ђ"R=ZekWb\Z87'b?x4|l6\^o@F2Ìx+<̈lXʀwj9AlǓ+ohUS!],0bb,28 :P0?%otᶧo&(6P-u>)+sG^K7bpkxfBOpj,Vga}0 hv J(XΑEa4LwНι\$,Sx]a -f"-b /$@`0$[ ه偡RH3J :AyàMVjw\VGhs73+27? nUIؕО+MfK//U] WV>ԥ%Ɣ^Y u4su^z{ʆ4Tv4{tk **FBކ|J`Z7F;/ v.ۉWIma,?۝WV]kfEgSj5-jt %r@mDh/ԿkQ?N1zh0a09g82ZkuX]r pxn#'p\k]3,J[/ٯZ0:IJfo>q9tU &fN{v&\Z$ȾKSυ(eE?j]ӎOPxWu&xTj p3. ϒ%"ÉҌQ_?M[vE 6_\R Lf {ҊJZ}!zqUa|Qviã Y+aHN6# %,m}͒Iz@i +-Vǚx <= C* +#mo;A4a[AxS zEdN/i>o9ckvH: $T:\aU}7-mAWv|mv'W4΍OpvPdKHɹ/U_Խ۬tJL,z+G4TrO7iJ\Y=?(*j`*q$͔Ǹ=uoj"Դz4 $k,Yܟ4U8ʙ&T.90cGݬewhV{K[-d6?$ ++TWr帜 kDGu}!L@j^y"+[sUdq%˃c~==ؿm@41ҁ~(̹04!r2[d)\(ʡ*f9hZᤡ ފlL(GK_% %Czֻa4 *IVՂ_H>ڊJ>҇-PMBԷJDT"5}pB}NQT,*Q 0: ', Z"V90bIL9+w-W?J.}GaϯwuVOL(4rr+qHEKrYgz1r)\rFE ewG" m([kO=̞=e!+/tiD-Ts (;>a hRMgN؁Q6 uj;ny0eu䮬[Cf xnhX_9Gƅ ցdgm dDTܖ$eØG1]2dbmyGl&tğ&xhhw'eMfSa~m~._H /tlGzQI0ɵ+qEzQw\ǹM FI R,_&K3џG`2hO]V`WZPaP[ZѼ-7֎jd-Ré@>YQ噎e Ke,<)xݗˬ<"U:Kv.ՋvSN~C\ąjȊNJwڬMZwNcޮsd喝QEzX{hHڞ7Ԩ/B{lkslk:kMIփSqB_j$ʹdB.rkE :.o >.j\aȠz>( D:#Sv-ld&D}F?ъ^(O(87 _5jSݬsZd xQt B(ibv?~6OU5`(zn 0|o@4tznݨ衦ԷcT,]B }=3凈Aw0Ǹǧ9Yr"M@ id,GM3o] W9阱 NcY_}+,gyG (*! l`dCn4a0DGii [rJ蓩ҹY-ܪr _lW.]"$D{[0b!mTUh`6vK7 #u6d`yTI)%IPY 1z n7਻ $j! E\SO!:4ZߨlOoVPZEZ–~)LJoZR'RR rvvei݈c!Jws$0³DWCĉ2y1E!^vYH#+ i]Wlh 0^!%;xlz _gcA|ZC{G*7]Nv)qݎ9uE(@ÑEp2Wƥ4&i}-;(}pc{go 8‡|xmUq̢J}>GtF%>lNGmSLAj|,rU;jW_j' =A-aBڙma[(xJ]ijg^J^w,M;."K*ifN[dDaR .ŕ';hLN0_=$"Fp < _((`Lm03sѷ4"Ԛӏ8z3oa6^1'gI>i{JzGil.vߒnӈbz+t_ *(p/}!;ZH.gIxt%Avs`-e]tDƝ1񐩅V 67zַ6֒K&>t%:0 glU+VRj+ve9u5`w>f鋽uSjD7!| .,Do@y!BҲ ヒ[H,Q_-2Z/"`YޛHY[cʟ;ԝ/o(dg}Wq2gm?I&NA5_swVzمDBފ"ueS8/Պ3F>>&)5T9Ɵ6z$e ? %l$9mlOj@w˙6oE0ځ^ <;KoqAUg OxӮR{_<Y!x}EdCҳLrP@-J(uDr%KpԵDȶF L-u&畒* C:[ȝ d̳W) #׎2,QxNb\y=mm~< ޜkEF(R/\u u̮P9q.~qEz&} i$5-1iM'JlK!'t4B3YgyǜNd*:ĤCYO,7 +FzYanNC դdvj5ƛwǼaU{9˜.V߄mIFVtUl9hI:ЫԌ^[zd9#"^STnP"=rI_mc~Nv9!qd DSI b¢f#r}-ADJShMw )`+ɅU3(nyaѩ ܗC0x&_aqn$=T5j[҂"N1sUCWĨj7m5eoF(%M1(J{y_5&5d*m;JdZL ( N}0tǚݭf ߿5Y&[=ypYdHa9bkJ?k|L5wRؘn܄<9}} "+YDq[67tٗ8 X#*+Är\ajeXzLHa~zs.iO3(F*t-ֳ%[[y5iniTˆLcYv;muiإ>e)XގLPsqt\#wIւ0$iVnQѯʽ/ I?>3snv\yo3.XЇĿ{$(`C9ぷoSˌ5UM;-NŗMp6J%'S,jT:[]I6W8"fCz4F1 \ ŏCWzl޵b,ۥ I"R ɩ1%F].gG&(*@= gGݵŁ(ͯSZa̓M^J 1@?]M`q:D[tޫ2f4מ_;À{;}=ub 45Mv uzg]f°'_Cv+UI0j,tL.$sFZ.`Jڜl7ҟ1"}M)dEKX|l0Ǹd-)kxTIN~oZ+1U<'"~LH%-MA=VHÒET0u]$HW~] }-XB`0]0$46CN K@59dgľ'duxBp#\|wB/%GNjNvy0hYL2VVclSQo\U"/MXM+Σ)Eu`a#.|k/ . R[3[˿3B`Nw*M5aB |FX> hn;hly2,Z5K3DBIv@J(~× ΔUݦ(/{O+2֛㏘\ǜ I/OV/Si|5O{vr[YNvOנּ 1>i6|셔VO.Q|_K],dM<.YӀj>_"c9*pt23byJ8Յ Y+7YZ˯탑՛ U2Tr*n1d Vh'ݮln٬Hׄ\F;@EV &҄O+ǧ{5X6̠V;Z& pTzx {e,q_ojeAodдnY,]aGO 5PC`SGe)j(^ ,p3^̥,حe!ҽ镓&&HcXVJ7(xm}yCwxMxO!jD],VZϩ@Tzc[uqY㻾jh0 r$O !SXm(,Vqv-ٟ[,bVLk1i*F(|Ta^/O;W BH\Jwv7(~]]@qQlJ/Z/Ztj^~3%\4=y3h3׹,ҥqQR{;ιgC'v}:ri*+"ve'kdDoQykFVp#(^(AOHdC&vw:Ӻ!$-t4ՙ&VW9. G=%܁O^\JXso\hj3U9Y-Dy) ^*ax.W &N f6q;CȎE'y3 ^{/Mkv(]osÁ۞d6;S ;L}q?n.¡'r-1JNNۿMd?ibVMH2~aKtc-[xi%ds M_~4A~!&3t'DA?N|$ԡr:ϭ16]Ua8ZVVqIm CǗD\Bvsm&ZTMmٔezx)S#jZnW9?s0=C"K608:~r>{tO2>@YPr]X@UD0UOlI90B;?qu39vҋ%'*UPr  Sʕ=bIB]E2'F}!:)nK%RJpث_[D)g+Z jALw8}" D_xFhF>t UQÇ myN*:рEctwLKa Qsw1&'[ns S1R.ЙHkʋ&4#Ԁ|ȅtkmW;Bt߽&uI enB68xa%{+}~⩽.lP\{Gx}*_6\dz RVk[2 @27peړ=&k#}QG OeOʹVIqC9%<p6ceK $FHtl(SlqBؔNuKhG?*}kHg?ѨVy=TnLi6xቖ Zƕmz|E:8YrB"|KX܌SC 51F@:M1sAyD@'Ri9-mC"׍n}?DcITl`>39iYR1TBQ^UU)xlebg7?xKq¶djw#1zJ61I&\SoxckhSW92zOV?5NUp? |J맢6|N_Td9+x*Ms)9䭏XKoS cigTYi2LdL*=$ܿb8I$K[ђ<\*ir O 푡 9Ӌe;VgEa<q_sP5UH}OBϤL'β̍n~4r$c}zy%)̲95'jb>ٮG7 ֳiX3[@jfiySb6U &2/ AÁ-pqWݟG~W3йHb Yj[#[vZXo;xiK41c$:a& ~Ӽh"qړMj˧vz99Ò7Lp8RF,*:n hQQ~{j bU9зTXef/}nTVK|Փd66w\uni=Xo%?^O5MJdu9y? mV@DEcBT%h}l|ݒ J#\X{ Rx78'YQtQNp4Jda{#;HV@# r]% 󤽊mgP?M`Q)@`tAQ9LgS-3CROd !wfA <~qzUHro#Nz үʶ\Wi/ڷ9ɧGӶu UGsmԑ9D@-!L?W7YC 'wbX'#4G_ y=v)(3flV55; ه+zP$AvEmV!8-s9 9{ &&^