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 |%$d ]/]HOL-Analysis:threads=6elapsed=301.839cpu=1461.528gc=59.792factor=4.847zXZִF! gH]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB 'oFA5I"OJ>,1Wpa{~#@ <Xal ^!T`NN6JvQo"Q $u <؅zƷQ@'n`Us({Fjε+ݐq|3hE‰2kԥIXLh 05?"0 ľFOj=I:.0ru7^t0 % HOL-Analysis  >.7^@=Aݏb0L[hy@ҺC+hH>, q?$"{Tlfc;K4JzgRl&*BD HzDa.~wŴe] K镖x%pYͅO^ X%sפ~!%EX(My<w|Pe yN~9ڀbrLMGo/*I˯eƋ1ݠǯ࣐m&C=ёa{x 1VV-86e{1*PӹX7Fҳ[_`0D#|s}Hrki"$lg6Yx0zu/$g5]K)(6'})BGOCUm!-{seQ`O7 [kLb3Eړ"@ch&`5gץxAUX h}*Id[d+'>_5[ =HFZ'Y`8ʵj-3_IjO4}71:3F9 U;X`ߐ)[4+03aF U 0Ѣ"Fd?eZwk]ۂl5$VKs]cWk*vAa$F1ʻ C ZҾ@I=K Mbs7[UczvW^َzV$R@_x V=  ltǎCyqC%W:(oU=. md }h7Kb))߸I? !xPĠR-ZZgy k%1 {? mCJE^'{u{LF^"@I2hDچRa\|+cN),/;`msb {I: BRHJ/=mtӭCy |}8* ؆_mmyʬ)2=x{\QKD]2^yo-H:x({tlMnD0{2v=![Aj_\r{05 [.,ޭdX A"acQ\~NS!e2%$x=x,RMPUyQFˮLm8S]NQqo6EKHB|7q`[JhƬDtl}#*:_ R'RNxWÖJkI)oN} hʗ~'t0Hĉ؃]?JQ^r>m6 ·NOa Ļr/uh.z:@~1Q):/̴/lj{Ѥr4է3ZgG`dëWD>QTrptKŗ Ndnĥnk tH1wsubjE )+dzgiD1 cʘܔUU}!h8LCz;4u3TUDO %V:Wq)cpyBOEEt8"tg#4ȏvţV D? OJLS/je&U9Cz !h`<-ҷ26Qg<4vSݐ9h ƧOg֮-s$6z{*|O(=o7FLGkӋZ-ʥRɡѐvq5:|$y)V-! d,(g~?Z O Rm*Emj{)]PŕҎufJFe[)/ e-5 8x<),OݟFzMJ{CaB<ݚ!=Ҏ!oQQϻʯL3 UyuH$3Á>RuVh&Vs?u%#,rW‰Kzh=lsРp_KĺlyMvE!XΟ$#f"?DS'A@f)^x~ǨEVVg\qyڛڢ`坠p8M=x1.*h@z?V-KmE.e71T-M?.ԬB\ZhmXeCY ]8Q0D?(E>I +ṧFhBZs$%g+:0 w1rrInSL i"ʀ~}᧥Nc zM*qgX5vKȬ$L~&̘ >9@mqϑū:GAL) WnI-19K=qリhE)n.3=k G- 7%d/ՇsAbmpvp|J]AzʷTP*h%a".(i)&Gq>G{_ſsv dÛi]x:m '۞z5o,DaBG=BeaJHB1ac{My{&+ {Š5Sp7j @ v@R$'qJWB{E0/Yai{|SuNCZD;Et1Ü`)q̥$"ڄF#{sJ$B+uG Ym[Ӳ,ѾR(8lt~pi1)J%lF_Aň\zY}u>zD.\y0z3]~[ח*͏$f~1GD")vG[_Qa تAd= >}n;>ĞMzsy<逫ѽ;m>bgHht~X:djdI>z~ov`j8YN׷ XO^ЖQӚ;Ĝ Xmzs2 0 j{)iQ3mZ X̵4K(~F{h{&*Ȇ_uV{Ot Vw|:(+:|^ -V-eiQv49S8/yx_O @ E,asd=&?M#'ݠC?_iŸ_Ļ}${"gwtĽ{uA%.(R'U'dx k) (f |.v8Ю}QmtnG`}}/0!OÕ@j;}89rO -Fc(y+0=Nr5[_Grb}F#k-:b Dp˲ɹzsUs?qҾ Y(&cyT@<.|)r(ɘdNB(f*vJl>C )t!<Uá~QDż.ImTCb殦ØO G,&4ZZS25 w|6֯I2=mps箑*"1$JF3#6JS 39%Ig5sxljk[Ka/ӨF &${L,Z}!x8O ghAzFX?/ =W3F '틷[5 : z|ܡD̦?L5442.̊?i>k=aT-j#­F\-L{"8$'zUL /J#oEDPe"w| |͵8>afF'qp/vS޷A/4sQg_ ?C<DƿO0eZ%Iܰ.`bD,oAsmA'p!JF~YjGz`KZJjU'_{4dMP&`C#yiQb:*lI{X~[wk5kS]VL4c {/&{9nB-C3#06#=>uh]3/˲Agkj +btҗ @)D GesAQܻRvPu^fvC|4fi[?\(xz=tJV`_!öl_B56d !; XU~+Ù 4bۭIϟ@sڌ cdJ;_,_ y@tx|~,N_颾A@gdH%<̋\幇s[JdɤC^4Oߪj`Rc7Ut5 xADT(ݞ+넛^PL6 SHW [8ӻr}!t'$;d]R-UnAVXml]h+FN?wO^by|C#_A#>`aiR@@/cdTPRJd=! P~%8u!b6}DfrƤzA{(_i2F4ipizZb.>^u']젼OiM=p~|@tyNV!Z#uPQ,uC6d&rvBFRceZ xz)v|EܫR*Jr+@_`%%$`6 <Ē(Gt3r7/-C1!Cr 3yCH[K'GTH8+J߸E)H -kЬ "!r !GJd$WӼB#4<4sͿGх/[ᐱ0w1=˴3XÐN#ڍZIb._ͿBgZh=Niճ:LJ=)~,a)hOuUWde6Ld1 :hTґJqh~1AL\Gd0"E'گDkg{ G'p+jT &jUlm#O!$^̇\Ҋ svm3m %0'M mKj5t*K.e x+%5E3NxkX+"Ľ"+愖vkSȸeP jZˉj=ee63& JȂKŞoW/`YQd̕ܬw-c|PV)+փD U$:$y<+3&G+a/S JɸCQi/Y!IMbFυ\k&U/{d5~ kI 'Z^ qӈG1PXpsE^8s-P2e?ccͳ ="|-4,{[Kfbn#uW nR כ9*Uu҄e 5icTJ^J\z wבY>5 J k `IO"+:U$a+3K*p@/Y%^c PG+"۽V}}ZGqfA✕x2xK:K p [&&Qٹ_%EeB UR2 2N>tI/zu4rc'5:CkhTÚW^t0n12-ew$MkI];xG>3m@H),!j/1[ޓY!@Lq|+ t_#E\WgGk)<#Ozi7>e aɰHΑb-}!#By}L<ȝObSMox&qfE'۞>3 %;`謯s6[d`{SY.W[Q;hdxTgA .K)(5\\Qb>ᄓUMcgTxED<5qלoFu3xonܨ6f@Z:?T8U+x{7PL=r 4 (^4h茦gS7|ፙ?,3(IR_8 j´?q"oN+w蛫jqjP Hk8}6mD2I|]I^H=6ӎ\ }+/+!, N|{xa7(bV?8-p`0 xk,&_6Ő >,D=WTq茴}Gȡ&:Nwn<6`5b#tF.zfTM 8E3n CsCHWSlF}wNhh8v͆jvmߐu\.  j[40'X{XpIktFKfDa!aZrLNu}I5F;Q;jdy:Qrv:!"աd26e!\]^B0پmSsWxj\LimO{ ^1lhkFxꏥKAHf10CW`Igy3$d{BC9l9X$p;"ҕ{,)%IO2Q륷Ϣ;n=u9ښ},%b뾻&wGn0-t9.!@G#٣ [㙛8$K먚6O+mc K4$aݱ*X`?UDؽc 5jׅ|cyY2`ǝUU;!;"3eŠ; 2Ap,JLy3~mjopX*mRM(TV_0qFS94Rj+QqҎA L4)&}`lhj3^ڰ9}{fٶ7+Y;5$JiRmd83/;IqΆlg@-{A{u j OKmg?+m&`!9MDNַ+9ʊ#uDt$rD@ۖZhծS<՘FN8Be{S$B'@䂁ŷg˂˕j)_72AyYXL]U] /<exǘ; l15JzeB4~SS1rcY<` 1ՠHOuDS>k ug$l<` r8?P]Q FbvV)v{M =nCߣGk SE #y;:|l#2=%$ RQ, Ok W#UޝGf$G~z~o_᪝F3 =DvۡcorZ@SJqMRTj;#2N<S9@mOD#"oG!RO-#~/ZV]K^Yӿ7/wa£ь+ PJG3{SeA;!%j6Q(B&_baUZb[0sqEq%"+-bqauzÕ{+/8*'15M]l-^e"Q= GąLe$4Sd3f^iC^hGxuP 7q@IհGXU牋V>1k)FAx^\l>UȞ (c1n*ltpJJb34/$9te @Z)&\yn(g?Y6,,J;oܚoeO+W @C %2رAC<)YzN 4d'Z}~h ~L^3҉uڹ)+ǿo =Ov$IDǟb#,^BSI,9\Av" OLgmPV1܈xA:w#j~k&~ۢSRj *W(OYӝib"Zn9@s[?' lw2; U\|}t15bj |h!/Ճt]=&:MAF~z;2HVҀoDf;üT"hLL f3N.VׂWs?0 ֧4wC1˔%HwzD mIB?|E`oբ0nʐ ͱdGHbDtj chЊ4ß6=~83x ʄ|K x߳.oR`7MIo>4s\aJ؃=}lΩw)V~8j0B VՊI~A/Pgpv\̓ GrDFhgJDK;ww$w͊lUYm ,*r*8֊ыY1/W(e}e2 ]|x<kiσ?fu{nH5Ō;JUC@iX,ͤs9[q6\_q2>?(6Npןb'@YZ& ijFL5:>/}E =x%c kUO+By6ľD *~fqI5FYƹRyҾDCbŖ3wKYLlܭ,GWxS:v)NΑ;$9LJa-.Aacfe؟@7s>?"Ӕ~eL>I㫧9$Cj}Wr6,(E<,Pڲ[:@ ,Fŗ~Y{@D!y=+MOiQ~gȅh=|xQb0 .Fm  |.]5TM*ǖ:WWoa@yߐZdF**bߜL2t+ԿxB;4ifL]a:yJOFyPSb )\fr>yA^x0υa#7\]z贱oœFbv-M/IS^Lu2)M94=[>O":Ə$ Qs0 kYYk7_+jyoxZe>P.gqgn דV>!bM#ְ#2 HUT%QĥrF9n2SJF+mY%B+?V8 P3^RH2pqRj68  9HQ>MH2kb[WՐӻ-~GwPQ7bѧTwس F$L޻n^zeiBB'L$Y xnh:Eֿ0ID]-6 ާJEXX xz,p (>E%u,nlOƽR ӵ&«UxZq8K uFٳ2.P+vƻMDc:tJc0oœVUk#oI#{P\h)umD B.|^ 4vҀeOsQ?o\pLS &ZvgޓF ?ܶR7K˱)R g aqæ;4g>b92=y6FIGƒI$Nry!hʹxF숍eDf_b_Ľx`>֪\22 zsEY.{%qa\@bv^;~I"Bqs;T~O'e/#{_ItcB|>5Bە^\#mPK-#ĺ eN]iәV{!7S< Gh26;\̰{Vtn97 wPX0X@i?_E-/ʈj}JZ3줭Pݹ[ |ã͡5w NSu0ҥ}WFp̎TNRF:y5 M,c6KP1R-pFpM@Uz9rNtUTj XkA'tYpII}IqjZԆeh!mESoqR 4.i%=ty>[Kԡ]uNګ8hm8pylcԧg,Y;k9 lMxsLY%=W%e0eq0X#IB$“־7[:ONt-w PFZ!Dܺ,cǠT"3C32(ޱyEmeNbh`ܱle@tjMkBl%EbHU4kf6 SʤTi~}?%P-~X %?$v)r 6.؅"BFrN-3lFxan0wJ=6LQNڇ ,O_aX}.w}3P yncNQ7F9GÝE@@1>{!5]iy rWë{'bX 8Bi׷pԦ&%<eohjn|V"Szlс3})넜I]-ֺCo`Y޲z%[6th ],xF- c^4uP; ڗr#_q5[ULW.T)j4eeS5҉_2svQ5ZĔ";[1_X=_ zu2x@Sm7E6"JChŕ_ Y=k(|T6͢6l\3qlq$ e78 *>UxU:Uuz19=(`BH-i:/@t;1"CS#hh꯹ b1MOKA,םu\UlFY wX#Lt^*8bs"o>%u^|8}j[.Q=&fvCfDV~ՠAUU-6:?jӮSkvy:B[\MDBU B}6anr!ZDȍ>hP -X7-݂ԟH MNCtQƷ~_X(lX5RBτ|KqY_*w&`U@mKŁWZ%]0sO㨓DAgxI2\K5$lgb'*|'=N>WxrC} o"y f5n }LJD.3lO;nHUt(fN{^D-IV9aXR?b9P̸̓ƻK> ~TBȀYd>*0ɝO_54  poUA!`K "=i*w%"?5M!mH;]3@{`bhQS|"]_h:Øe.:=dM9))0b?8a s =L{"j<, 2[(,2W.!596xWʑ8s3,#LtRʳ^b!& 7&ҁ2~\xC|ڒT4ɏ!X0YmCso iwe mMZ'ϑpXRB8JDe@eJ(4KjOO) @p"?[$yXە KQ  VgYZ7zXZִF! ")]ŗXiɟ1˦r!cHkMeBd4{=;'#Y0^$3\AV^\C!p;3UֽYfea\u,!\(C s, |.Bfq FЂlkF1«d+1 Ey6 >m4LWU8WC*4UN& (48+\!߽B[r=ω׽n"Fa:kV *tf0Q[(rrkl=veoͥ~gLV=b>v=mWVVe;dsO &X"}iFO~J A*dFܐ6}8zXSت| s2OS^ )SN3!^]Z*r;]jU}\p<Т}gO8~l{Ontb`&wܐ4"/%@xMe$tYg"H[8ᮯ $:5$Q*&gܜ()P'p04=YVi3 TfԢ).[C(={Gĕok0{\D6薢s0Jf}@X!aE̙|T*Bl|sȱW,+5MT~s|$l_]U}!#q/*3AByFik1Xp_Fz'JAʋYPKBHLGΝYR(R?vwQmu-[yp%11Džum󶕻²3/+hѭ>nBOԜ/ l+ ɍ1YySDxs%geAm0P~l_O!*7Ob2 Ű yqeXӈ2T 8У%-uى(J 1StR&6h8xUxeܸzmIB<"xnv} O?;!_~-z$F(af*oyۊ0d@^]_!G8ҟWƟ@kRl6YnW7Fкg&j2n^1#hkpQѤD}ȯ[1<~XX #*x脢Fb Qz~,*X= {eFNju &oyGJ)Xقdv{.?}7I& "gDjf[#d&`dmbdPd0s<~͐oU{hڙ$o|1kQ]ݟ%!6ڕl!#h4?@ʱS]w8$a"gN~n?̥1&ռ@rDk;Q׽ȓIb=$?P0P_tMi< ;QDohcۂTY%^РeGPy spdCWj["KXYϵd1K|PY[(]qT^$ f#U'B fࡑ"db':niot"˂@Q{EϢ}DgYZ7zXZִF! ,^]ŗXi%>d۟>֚J( eRJ?Ƞ 6A]Z,i*lS+BM#Sg=0XgN\k=(&,ƥ-GXϾgWDZ#Y64L9:|(ICٜ&D╖s~ab[1kYRE$Bq[8(!!}ؒ e'L`vۙ\6T16l o2KVʤ(8嘆tl|EXR0Ûg'z+ 1oqb(Ql6Yoܠ x f1\,UoˊĞDڄD!VtaQ1[`__uXq5q&6+]2!;dJ֡f3&/?w08Lߧ LزE E~' *JNp"U 'nt6 0m("UP'pqk) |^JI`/9lck<-k[gaSip!jb缃;AYd]H܋l\GP1߅QSjǕr`Rk A8a6|Rbˁٝ)cH'(Nt2RWJ\Kl_3+3)]9#K )Rcapz1{/Mu{i9F9+wLj8UbPgDG%}_ިB0Ty"j Sp+aGr]f(vxc.BzyX;-^92/d뷚sܚ?áPNUF]&:?ܽ8M顡usSn( |C[HSm5`B6gU<55, :xogqf7-i@6G`p6*ӝO[JTQII"2>{+3#'q-7-jW"ߜTrsO 9 pt˯}Go"I|BV#:a@m]m|\\#<(0Pùs4Q۷¦Ϝc>A",ԒzވcBsx:$RяVիLH´D?Ԛ!W H2߹RgvJk‰R8~86 бiQ+KwYvHQ\0cxعPZ *,Ҭ%GݸLȿg5,!%RClO("m'=M&(S#d>V28B(f.3OUU^_),s 턴ǎ=./U`,-OZMDEl3tR֨>Qx6 #aSvz(Sa9-ho훤3 /C(0URn|X-DӵnĊY?hjDttfhx2}>Z&Nv8TTlé刜#\_DA(ciwгgyrzP̟!e{_ AU7L6&6C'D݀ kg 0PXi+ Pj]aD/ kL'{Y9`^.ߥ'XB4ATZ1$_p׬,YԶZQBpOֈ t0fGp_yEdOڽR#+)j9b0g'iasSrf#Ϛu.UB҅N܉l/٤?٣ }Kԉn9@' sϿOKiT[]X,= BjcgF E|:ػ1T¬#Y!"q4Pl B^xLU\ds+ַK q`wHk.%fߺ.MFcz1x7J+h$KIr_a9wr# \S48A1XNzUioq2wvVU,]4wdnlmJnrh[͌bdrR\;*ex_)8-¼=-d\hD2kBE𣪹AI(a0̈́CPRu{- kf,7Kc@c$Н QSSF3V[ڏ7/I(KxEv {)K'3K~Q)ѲD18V@Xh#H<㫏l-4zk0={NQ)a,l'M61qk\b[iX wk~ƮVGq 7AFfg2R^q‏(?nc9`!|#Fi|kI/*LɕS܂aRwbhl\Ț$Zrޗ@ґRbsK8]#m70RR>[#Rjٻcf~c`eD(9sj(v+kNTˉC (?m\n~pߝ3"$d*I3QB.OwϲI0Lt8O;U8Lhy4@+R]cw:<}-JBxʘk0Um}IٻD͟P{m+;e,yJ92_ [!啺c_+oV{-Pƈ]N3@*8惝~ep=Ս|ԽMY(̋@*Bp8e 9X0ո`41ٞGf(QHGwLf&8Ϡ-$ȩc ?UXgnK9,CIY\]iDC,3Q=&Fu`՘BW s[@R`O}%v'SG+ъ(ڼjNqhGn Qtۈ^'H4sD/bP'G3{i _v;sP}p߈)eSSKnԶM[k؄wC)wڭ W8 :F|b7ʠ1՝8lUxH~_?䊂]dtVl/7 彔4n&j|;/&tJ]9 FE~cuJfj42*{Do~K_܂O.nFV([p $q3"OS! +-/qI1`r,!X0N9vT%]W+2Ch OZI7NW,bdͻA-ǜ=:۵}r.G\iۻY7^V y yuF&b-CF# eLN(11+RA O~s,>x[Mbߩd{I̞ Rjݫ/lGai6 8QϕBgl B2X=UAtNr3N+y@Ջ= SגCq4a^ t |n3LkK=-e)#_k)[^WOPYmNܘBH7+q\ 0~;VLa[CMD\n>j&}~Ȋ`ayIoƽXB+l+^Gn^d YsI0e.d!2#䡱+ԉ<Ahyh?!o <@V3vr6Eg®{Ŵw7s1Zl)62;pLsdVo +Hѡ sӇODV-5%/j\|;gc* P精6~]eKm2Q;,:1K л<ҔтnE*|P=2<"0F7*WhEQF~N$9q}$ʼnc~m`2f4Vn3[qݿy϶}Zji0\G|3Cz l&ßzvȂl_,F u\h\GXM\jtdn"7lud]<9LdXtE4kLz-OQM;N\`cl"l73 -?>(=2(DYH$mnH{$&8ϳй~{NuryxQ_wa;b1Z N#ț$ndJ,g 6?o&/,̧E243PG#1Ԏ|JjKBoݦ?S1+IߢM]sg$$[iU?O7_z^vkg|Zf!kraF9FGSޓ{q#aIچ5o;V#\Љ\U]hu-h.GjG;:_hM[RGH'(jL *UL>uYRt0zC5L'Z 'T֥ta3@+ =K{oty9d٘YwGqx+F@bHsDqP<}k) (ѿ@դP7J̹%{1_'W1zǎaHbN!,!3Z]Fܣ:8xcpﻮsκ pX+Lqg;gёx#xuV.K مc~횳#grΥZ2uxObYinΛaD]l©G-Yc=mX"?";~#i1yDo0#/=WlcAE)Cf"&ݛ.f۶}m=\mA-!)Z6jnD޶mEN6Zd \a ıdž)X sS}]<_viQ̹)[} B̗]a|Co+sPQnJB_ &L}_ƽl{|1 N}og4 js/3Cu dkԂ2>amW";Lu]7 jXXQi|ŹbȌꭵͼб5d=-_DF)f풮=jkz>q6*/GGaf4 zV{[ ; K/$ %+6P9=OAfήJ5/Oqs'6Sd(J+{,gYtwޡ8}eS*=λ.LFCn]4@QDXzi9.w$:ɐ~kh#S!NG/_ A!k<* Iޥ ,mg!j1]8S ) .709[ْj1?mF嫧1Aÿ}i'.-\EXA@=AF{Iܯ*XT=<4]as*pr8^7Y3)Xǟx)<urq$09?YF@e P,r,@.q0b`itqI6@0 R)K28'"so坰f >Ϫi#S}|\zw%{wԗLVѲYmnan/9')!iEg+#8:*ō*P (h1 q* do,gCj-UFL<xPVrP4XI/㴾ds٤VX0.ƕ|b=Z|Ftn f]Hв?zonAC=DD*g D_ &^m7cHpKS)*Y6h^@$Xوኛ+8_v8Ə=w|$ bNHʧOzJd2hFoFEZV4p"U".$zHY;Mcܥ.Qm.k^4% <[};%fn!9D!T#{k|mMwѐFw 7TN լS'ϸF`aenlW-:szƏJ9Lir5ZCq d\P.@ΑЊ,lɻF`1S#"HD>L($5m;'e "`}a^E4x!jr -뫫h>%Si`ފ0=-JږKp;);IbX{!׎@=گ(aͥlZB ,e=2P`bu-ެ"-DVBY ''oD~w+ns-ٚ: lSi!ݵ/jdTFXnJeI(GWh':*ÒƓM)D9"Ȱ6]hUcy#U +M&@`B/:C ӿs0~C2Ó6B3~K^7`8ra$<"Hȑ{ifC bѭ vߚK圫hGn.5覺#!óC~$Ⱦ}`~[v;Fed80\UKkaf9웶JBvPԱ*llε.teSVLfH'B8eK(mjV#8|F@8d'}3l\_~0O4Ia1g}tw3$]3( yRq.XOS`zU:|!W]L*K?M|igfop9dr˽omn>>ʕ$1ҊCvWcL65%T1v}[Y8gv"Dkŕ~>x@h?15=3okY j/'[!,0jo4B}e3m#^d6\ejoOF*04k{nd/y0p>[Xw)ԇfQ12f^o ˴"E>eviS;hEc wg<t8;=P+}P][Zu&`(Ig}";rY@7Ki־ߑ.^2j:)wG;?Irߦ]dg3*ÞCusD1w#G ;cSP#$f쳇#oXʦ)BPt\|+K'(9B)%yWl9mu8Cл e >5Lz/U*lv䣽[)]1l PT> )YcJNnv3/+( u&}2u,V`?7q~+= }jJ9Ps@dr ga*_?u m1rKw SBc !sI IE Z!:pF} W \#9mYA`bnM3$nFZt~Rf)6d:H\rV{[pH?~٨-X-;@n 8JnToMXIkO\`^v:]zjպyTށ=`Y+7=| νڎ:d֐qȯ ui[Ӻ!zy-t;Nݲ2m 俤_UI^7L *Z]0xvFv!S[t^d}'ыZ0;!_H~9vpuT[[j`WՎI8 >C}fb(Os2 Kk`ҟjՎ&AF!VJImt!.EUD+OƂ{Ls@CĦ4Ͱ6ݎiZa ,QYccŮ̲vbϜ.g-/omo-hsغL9LXTW4R@,XIj69§fGFEӷJ?5,Rܨ.K(gֶxr;r ͍|K! _ -t+֕O'ÍdA5OsH߂).'Hfy,s`<:&Yu5ӥfrLS|݃gfC$<}lI2]?9pXf>2F^LS}֘nIsj@6 T&t2«|굇O@ K { Fvgs0H ԋ`i[.d /PGK\{7ژ!VP,kxLb 9WVF"נ(^E ' }sSPbgY)3 !yELk~ֽ4( gB ?Ԯ 9 _=*Xߩm|su `+:]V-Β_1DaѸi׍K n!7VtN)4{.E(6ֲ[^Ӑ&'4_P~P8.JgeCOH=Q9ɱjƠA3~b$*VAe&Wb.qŸ>-QI%]h8tV=7Q]DpxXJQ}w%u1D9٩uLHHo# UmL5$i9@oGƫxYBj bCgH`x<Tڅs3bD &t<x8 RǑ4M;u"3f$߬-BMbf{Hb>^ `] вLFI;gG1õI%_s`NZߦwʊ <4^)y-YRD]nX-EHcfk:YvuO[U2J׮F N `&5F_XIN@W}v+`;a]x_ԝyǬV;cU%,JixTۊ}Aٷ{9V49N]6!Գ%sTg}XMb浪 ]`eU.M[$E%Sz*i q`mD]d )c\~mPa<:`*]_'!5^?27kDÏ_׆:bX)e)$A$p*Q4ٜKa:{`[?1켨B9Q[DS#BA_7]iA AEzEC]qc3ڧhN,Y`pVQ1x!'gУw FT{"oF'iRHoj&SVN^WIWKXH^-漶Y310i>YX9$ 4 _ߔr" B! l۰ xÄق:#j!.xU^YY"O"3k; C~4˼|@c诿2jFVʼntsIW1sX%)j.8/Џ儎KFyJr;HB9,J ݖQbN~ߞR [ zrB'Ncb7 ⾲i]O,PW)e` J`U#[6%F]p LwXWy>o=z$dHO򡻸Ծ&hD/nH,D_[4埕,"q:[2GBRPSV(MJR~ ~HǨW^YЍvhvu8x%nE%e~F @x`${zZf Ź4Sa: in:PMncnpg cqU& 61{`\I3[iPSkSM:{` ql?)U៱ ARO7Ķ& ESGÚB Hi5 C%=.,!Bm855d*f.׌g/zXn:)*TP;@ǚbFɇ_ı qxux(Eb0i{C.U/K~a-qQ<(9xd|(;H4aiegPp$1ޢO<Dg\1F8go}?{q ݸby_əiyA'0 箹$뫊j\*,)xd݈J΁=hSx>t^H"01]ZIfEB=. WGOŤ>7#]ǕJB[q\C@z<yD3C5Ltf"FWfXj]t<?_-SS5>XVHj3Ex[5q ȳRHf&4&] ^ywg%#"t ߪgY[g%MW/Wq- jDٞ r\@[rVP0u;/w,H\;69^ ?GQscT9-\Arr‚`Or CS#z FLi4naxJHS3Ic%~%Maw Y Q- &0†3HYE\hNF˷en&z22JV]5BʠUb>)}*390Ry}"@bH }\6*%Q^>t~-Pwnk&>i/}'FT-R̈́Q9?mXa'J9BOu5'&j2m\- kQ^ }2P^Ap"FV}wBʕd[s:5%GLn-޹@Z g3: @"bfG`%rvԫi{ӨbG!qB":QْўdK1bm+wXt"]pc)OP{P} -b.tmߦh~t->WDtU`lWi)f@\?fNycuo@rM,Py* x`)~4rƬyehVB Ow7`ڪ08[`dd~غGFkә{^mz9vOiROKzE_d\ٳ"M9'S:CfQs?3dY2gK{z!wztRTd>lMJcmUMN{Ըp0Nm\HB%T/' 1UKn)緆 Ole-MICX^/J7W_q6 vbQFNHۧk2]ڦ saԲ@hװ>Wp* - ͽƃ *EtLBRmEp+u GTΈKH&,=3Nj(z>c>_c9΀v:%YWthPBiʒj}:KkFbz-tdD2RLEaڨ;j)EױCDCRd2daX=vT`QMVT0tx``,)B'*}h}jdžU9M˿_9(Z0}4{{н,0]Y,ZAk R}T_}^SFT}Ց Uk$}ZpC 0e25"(8HQ֟3hK/b)-r5ټ4}ۜ/.caBDzM,Iȓ,|=;V1<P;jeə Ǿ,+/d;U$.g]O&'ahk\#1 sƭB{lZShH--h=8daC`q\zmԔPNç㠍RFd,xf<#vNy:(G0q1+ ;%Uz f:U{# 3.hw ?q 0hRLNU:S@!dćŚJX`y =| \ r˴X<ᮄQ ?)yJ)-=ضS4-qQ )&+H+6(ޝb_\}lnhG4cQC.bOЎv#?V: *%b]7ׯqc$WQ +hxbܫxTS KPTxJ\uaqv1%!7XD>c$>FǍ);qqE/Hx3(eq7b"pq-j[Ù qwK.S.=Ү@2;@)EnUNʍS4-Dٿw-*g-'3 ڑ8D#9򨛟@t_/[D 0%PN\*_B[5Ʒv}[rgk|@g',BGF/MJK*\%#<DB p \C6^5D;TDg5d Ud/5 ͪd8?/ ^lt9M]c 7qF GqF #34oFY]})@pvz7fȻyzHHr~Xوs_a&:J^wJJ7~Ʉ45QC'kڪ Z5c: d/t9\"idp1K( />hng,%дLrߖӻ /;x8-I"2bj~ fp,ۨxLH('֚] ?Ak):9k(hc\qyJUo{N;W?\s n5']Nx(u=Oʉm~\LEA 91;Փ8r?˸bIfq}b))]o@þBR‹QSG qgiZvinʚc@ZԮ/Fcv:K;lt+4 ƒ06 9s@5=ȩo; />OLC]cl&$,Y[v7y;T^<fnO/`h뗍bxRH)p"܍A'۳9IpgGtrF37tȅ  U ;& 󁪙}nD, >y 5쨓>5pU[H^Yu^j4"kǗ0 bM+"ڲռ X[׌DW_ jC B ̆0~)1)JP- L/ʃ4Q0.*[ڿLb!9tKB []G xRT@ kV-LAY7dK").C Ӌ>l QC1B_r"^<.!inj9 cZ^GD#H$ \“'ݸiUFˆupy<|th\8&.EHSқ>"96Ȯ {K ^PH;<3bv)R##=llA2DvF$\Z=v_JVч1b,uw(3\0<zZغ|gYZ286c7cac7a7740a0abf3570dff2c2de1017203b7a681f6653dbc3911110a79ad31633f9a1fcd6a75 adcca596685e64fd6307a9b86c351895878559b685fa186325a2759bb611596c8d1f338118f8f7a3