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  ( ($%lt ]/]HOL-Analysis:threads=6elapsed=299.906cpu=1455.664gc=64.128factor=4.857zXZִF! hH|]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚz>AI@ "{݊.GSROyS淡^3> ܸ%"ډ5 Ifom;_J*}Pi/k4#1\8d%<?Td#iS()yɦ7U25'T!OlRPyTD_+L+XVMG&TO <8;& }"8{PQ|񔁞vyR9 }hGF؛KGSM $|p= 23TӀ^w[҉yuG\ Tc{W/(ipDziDK>R7`|(1xT,7(=(w2g-a6Pͻ,s+ U*%Q qyҎT~(,+J!In$}mx J!jC@֒ZM# % HOL-Analysis  $#փZU'ʉNڼmmɶbw@#G7Qd(I*{9ˁQ 7h)=eje܂MJKsi6_55Az .@HTH?߰];m&TQȋ?r7#E5-'F]~9DJP1o jBhցx= Uɷ9x4Sąc*`3Ia Q^1F_7eqHVwбyqY-fp@2;DB;s*-,p(!Mw/ $V}'7sJK k'4!;PVM@L]OFcoы$c;1Xİ|{W=8/[-26#Hy^'{?}1 B#vk{)?0Ŵ ZAeA۷e:t\HghWyGS jK!'h ;Dn9 2(;MMámA Po|.N ;i1|iK|f*= D+G :,̦880qj4a6ےń&,bﮣfeJK5_b/ݺ\&QNU o'E[ y9rE\jg )o5t dsjCé3-Ka$\5ܺ MMN {\m4.X̌EѫH4'^ C j}MȺ|\<4&1ɓl/Fʱ#6k g('Y9 A,2 B ۘ-.$ܤ ڍcq-뗋]pWz0'Ix7'=a'Z>}yQE{ 0{@lPNM_U@S$g(4qV;b1</6ʲ0(NwrT7;)b@DHنQ{с d^T4餣b<ӭtHv5DbJ\\BoXrT'H9o*j =`ֿE)Q* /B)j*8Gh,d۠Oh_GUtӼ&0cr=ԀrS*7jx21 2 e ew{[ _%=Լ%.S_n@S5+#Γ8rb Cݲۤ;gv+!X` KoH7cun'-NM* ZH vM8РED"S<%P^A d_?*~&}յړ-piP>*ծahl[G)1E^}Y|&EiU.hX-D45CɇpÐ&Єw枘<CiNԔ@e.aj@_9/<`=ZCN\ol)ܔz*1"3sFMMn_)d;3(eIFEzbZIEG  O1d.R~֣@4:wه ?pE85: 12tKN! T={c<וh59?rr.Wع_(ɢ]h܏k ?Y-7& #J"ê~BkW 9iUW->U].4"cGHR@ @K*5bYg!Z'.Lu^Kέi仡KN}/ooS4@ӷԫ)>3ݟy;"^A@/b>hOuoҮI䣾(1B 9'o2 Z׿es!Q{*UTOn$~: @ cӑ.6^ }.<+hZ>k3[p.~5{)xi?_[;b;wr{i\nsw ۉ#5>Xi&ʮTCi9{LR=MY ߱ Z U`C%ɰ^?ĽXIějf~h%!ōAhfq~\9g$ӓtӳnlc @1Z!|:${c'i4Z˼1mYqҪd,ndWSbM= (Йb]vvURƅ,s,F~$Y]Y84wt p+j\J_/( ˚#d^"#R9Ԡm '|j4|;q(N {ݐlqrX/WE4D$=}r(G2Sǡ1=Ra:GFv9||a~M$M..)@wO ٍqzq)º1|"#*nkkuco.TH2ׅ: lDd0z7Z3.TD#gfPr.,CeF\kv%ф|hW֛b1 W^cχU,+ɐy8` odrG@jH|go8N 7+@RY'r60(Fӻ~O eYCmL;aBC7gSTvI52Y.s|W/K{]yzA(Fu+Bv (UcuEzJX[t)E9,π\܂±b/tMH[}vM2@t_JNI{IŐ(uww[-- 6t%rK9B}$,LJGtPi(c7HvJ%"g<A3䴽QR{CO}:&=g'hQi?'bfT1/[0*-CDamtZEh ƜㅼEx& e8+\~KXo-Vy R^ƧT7k -,)Ϣ"xޫ*2X:n:qw0SNhXH @uSmr$43A?XDxd?\{ˎ

Ih Ci7|Jvd#;whlYt rQwT(S7ي .GwS-iњ=^ Ԓ*P@Fmx0JjolaɁQoy"M(J95 6U *Rq7jJo;=e ڡ&g3(f%u, 5eCmS.]XQxBA'GsS9+#-5=nc*-˘5;zޡ7$KKǓ"[J%XRG"qS0Iu X~Kd4ڿ)r('-,ā+Sm9H>^y(Lʨ&Ň]DٝD\ET ]7O:&~t: yht?o}m64&8iRLxՠw}G]4 0Vu mV]Fߋ?W5NK$iaX+p Ot%|43ǔ! 0|q/0 W.~DB?6x1.Ҥho|I>ۧ72|i,@<ͣdn/ 9-b>󊡒m",M!?6O'v~12\KW& O~6nu~…zSYC\1p wY.gvmKKJD0y*j-8DEp54sAYsi&L ]a/ǁ ?ouIaB ˩tQj-0Ev-/zp>_$< v%`:+I\LVWwnĬ)cX@qD'nb l>u3W 29ZLMKF ȣP8ÄѪ jo; B/ӫ,f;P0yI&74Vt3/43uw.@Yഠt՗eryt8ybu"_*sB'a3:k/]|ņ^쐖T#fHu[,Y[~FfĀYR}G>mEab 5뒀 $4ͪz g9w 1Ia>%?0e") f~oLalg `ԯ?7Bu2fP8SS\& +KT֯/nU,180K&j_ H"w҆/I5h% =H&L0LϗaoMZgԵL91A:i{Tw,zi)RY9 c?ی( Bk'5U/ ..[c&QgH5 i }%؏%0d2HL**]8YkZ7$ )̣䌢&&``ePTy Aca-cᴑmXI_@W@Hؠ)! +frΩRL^RBWX".kG>0f=F߬ YqJH#Sx"d3ȤĐ  tB'>x>Ƞb.Z{Hz<㣲 mrJqZwLU-ٝT>A]B %11AMEhi@JdnPC[Jnٟg~p>3 4˚x|zPL"9UOZO3YWI$.XaTW W!ז/M;2u"I0׳-UBCEc)Kfq_;7xd7t)AYE6brVX|Y#d D@[3_[ N`&9J۵'ǵI{6 [eNXdUa- KĔMH|8P`tTz3K}r8z1/ygh./jN6࠿ze=IkIՔZ:fd̂d($#l}'Nj3q1{|m|/uaCDWj\]۫uOh}]#YpX-xfx|0綈_hM -mV>Ş4giր(Y_Ne0nw?+\BZҗrS\w\P*V5SR]oQ86:XR)eȓDA7/nЗNR;#ثWkXyn".@6?_3y=؇/шzo.* &-oBml >ctt"==7Cߗ Ij#wVxh@ 2nhk DeU_B[*9Q0/|m_7<咧x+#bQ]CJ?lΝͮ鲚.v{ԕ.3g&yHy+fvpR-W!%ƽ֔4OhΩoޔIUKH8 2l!E]]`!xbXCh\ .Y}b`ljRCo"&0,(߳ؔ|#,j i76 Y)Z,EP=Sd6MG2rV5'`ξ{mj'1raNτWd6zd*ll辕R*Gy@_BbNfC qiL7zU < 甖[[(HMɻGUL"frwAy3V h%χA5>CO!ᗒA&̮ڡhL s4Kx s즡9"$U᫴J,R(1싿ٷ'U+V;RrWrf<gl $,Vg45!)y@5֚4\eyoxtvY3qBϖuI}>{GFYO{pD^b,r7'#]g#izNYvK>H;hG+pSx%&N[$~A*#~Xj }OۤGQvi3'I &,~V$'!K_o Jn=M^DB[Z D·(ᯃUުH^6BEXKbmjIYp_ٷ(em &Wu HXL[\[~&6ٿ-Q`T͑,6x&MN.G|㰆n?d AQ D+9,ӝReivlm}_udBଇJITj;Pgc+LfGTF+Æ 0b)61gǭKtBߣoBP_CP],k)dE2aPAE*=v)!/ai P | Ʊ Zp*ZH IqPD鉅L[I*9tkn-ok3ҾjJ'ȽVﰷ=^@~R=3zid8֧`Zӛ :@&-abqLzLVWGP}NpY*B,-ty4+A_qwJZOkhjejEK@yD252_5dtۥ_iV%^[Ct5M0s"|0c% Hԉ|o*b; Ԅv.'h {ƚ(sGC7G[$:ЉB)m9f ͡o-95ۨ N4d c'*`/ lٗTy>ae#Y6軓C:~Fj]FEtRDÈc#3GI.)x?}gkU6< D02[.dnӼyw{6/?v|fwދu:̯7q8ӴN-3KZ 2lΛ?) 8RBݴHFr{36?Te^N<(X,SZi(fn}SO*k<_0 WLn 3?߬o:">f\!};%aeq\iro~Jzﶄho^JQ5%ź8s+TI9` :ssxOhm(_ @2q-Ά0MT>@Zk#\h *GJD}d-1JFa⢾npI/xAua|)ڋMnW#):Rd+r U,PԈ3DYͷe|Sj~Fs!!q;7񵨧ŧu wO 1ElX9Ϧ+>7@$\ Ó@L^E%b֊\޶!9RP馘&6'dl"K8mbUG*8l/7pS(QRoӱuHjĘtM=xL6l,SJ:ak(Y.%Z;l1cςCl.1+JvnH$8^+m /5_{@uĴ.q`Ƭ6 D@[6^dTI\=l$<8 E6&3i : D*QJѧRƎ"p.?`9=x++'N[fW;ΪiV%nRvm]桨ʝ\VLRCD2xq9(bAϓ$;E 3U63^`ߐ1,qg6E}}ɗيxz䏗_Ce T,.9 R_|e=ljGɋ m0+:Wm(;X8.yfgr$y8^(Eo_N> ѦFLr6Z70Dk$tLJzBb7EZm @Eii`}*u1})Bw64YԥXHqx~vwH{'HTبSck@9U\Lݧj^IR#J=4RMF8_". `锏g`l?cR{>E)#fiIN>3v 矁ԎӃz0at0r¾aE0= CM k(ɖ\il:lX{Y~Ս5 wSLm)r8B[܍ڜ?5?p` Qe~zδ h9`nGB >M%в5OZ3г?9(4% t. 5B2*Ejxc_ Ow@(aNuA$4Cz7O1$E'Ve7N҄Ƃ7kD5}P8.w#i3o:)^}%y`l`%Cȫ< 2 ;z4UxAKzۤ; uY\] z BU{$7;Y19@ ؎wUFb͒.k C}?=/@`m0θ\R?`[LrLBc<tuД#[n6L p8>MVՉ?2Yf l'D'!pӟ?l%1&?ZjA߄elõVFZˬ;.uIwsuj! ք'RW|("arLPr|VXD7I?(>ZϩVgsC.J`F2&[Py?3o}rhO{y͠Xʷ 2EW"{BQCùwcw"z^*أ:!54!O3gW "h9 *{jL K:]J2voi1VX\Έ"z҂uQΝlC<?cS>|=fr6 #ucMhӿ5Z AP5žNw~gC9J!a!8o(]1U+#1&&M 'JesP1܈/%2( d9Z2mܥ EhK>t͆GҖEo ;zd {%tt1 %eO|u[~/6}*S:QhW-מe hw呹 U^̎LfNx]) w{@Td ľB;g֤sU@ o@xb̠!{ <=*EwTz>lw'm&^ $$65*hrk42;4\A9[ ǍC:-h[AXlr)ػ 4䏜44L u5`L[g}SJMk!2=@Vt;J<"1Bwun4!8M$T EZ_b u1/G\ F4Ro "̧dġp @6hýE1).09$,\![q,'潱1a+}&cɨf9ʄ?xF._eJI2Uo%ǍPu_XzeŅ^!^K<ƣ@H#Bv0Z<wA}ۭLUh{NM?Km<52t X X6̧8 eWG PRF_'F}4$Z10ߥ6T~AL2,'yxJo1P 2ˍ)`p[к)|T!Bj!/V[R"۽= Ԩ>gv(L\,\M #pKyr*C^2#o*Bg`Mb{Wg[pNM]m) +b!!h&@X϶g {-> H) p Eu\hw5 Ĉ&b7kX_RfjJ )U9u5Z05Cz;Tl)8Q MWWGݯzs 70/NK떯ZvW\7cai6|e_߀.F6l^U>׳3 0Vq=a$ 8R =e[xo$;!~E L+> Fw-fAǸrYh\QyyJ3k mхX~c1Kogz3j&F@i, Q&闤 4ZIU}x8>H.ZnD{3}p=W*΢c0;~"2`L= 퉷f.3mkb,ams.z+t7[]xq/W*u6v8W'E* a֠C$0 4Nc%'x-D52;ý֭ѱ%i$?SSLrCh,u:Mfnk{}/rFV&R Hnv,R{d|RR.VBJ&r8Cmt;ld3{}muٔLPˆ;<Io&u|wJP58)XP_TCmY"䟾)f-k8΀oD̚8V-Dd]?ƱDMIv'63"#k 5z!]-ȏiRWEPPoBy\h'R:cED5_9 C)ON<+ok+Έ]"-j)l<$2X &?I -pTZ6ivN8]ŲUӜwX }TK(_{ wc.!ycb* 84zYFN<*n)[nq>q6'߶F o*-%k_!) 糾xIxC)P:LT 5\Iu6h,6\x^,*ݑ8J}Gm=CT,~m'P}`k% |>Vf]̤܉~4È{ݤby}ȕ b,-6wOآIyKH)spKxJ(FVȭ,(.BDOfȜŒ!>]Q=o%(]c7u"tO -NL3̙*ݎ;;F$`Bpp#<+hIRP!vVL zJ1ʁHs O;6Ko4R 1s./-7vm;Y&\ N)fPb+ &x! Jlmt2G\PohLiZYINa,L < !38\¾>9ezMkazP"ԨuuuN.ffgg~{/ժ!)hHpe"F{-]! r>y;2'hQg,jԞgb iAOؔ5Q6 |Xaĕk|AP`5|t>|zXN{wQ1 7B1LOa!Ml(jY4" a"B2>2ާި " [r *56dGKwS`'r4Й'NoGj!C!#^b&"{Fr jI!x{K(*:X ȏÔN,7%V\39-$sՂ+{6-Ɨt숆x vDtҰiѦJ0,U1'Km6FoÐ$ҚUT $r{a?c z;˓rz^GjQ q80֣Nř<eCf <]Yh9BP-x7\q[5TǼ+ {P 1+o%)mL,Utnt1].ua:j?mjZ`Oγ \\#?\s9jB/fHَoYzCf -%ʹeg4^ʒq<% PLpai?c,HBI3lT^6;?g{1Ho@JբǮnXx#Ov`NЂ5nVܑm^;}my+>MBmU/ 8s3RH,ܝdo q5A?L=V3:du2 ϶nͿQBi w3xg+VC\|Ǔs cp=/ 27Hڶv؆Ӄ7)&r>2Upȕ@6Y2NTT#k̬T;bO `]V{fR4z.Dz{5t"ܠGʋVZ|$*n iY?LBL rg)#Tc:ucYC 8DLs6zcir2HIJ/e}3gn{as%O}1?7{aZQzQBpff1 HʉmtEzavn۬(J]8X2,mX*lWmvJʾĴluTʬwsq{4)pteykq[Ϯߞ>M3eBY>+qYҐV)yߴނM6~-я !Q6Gs-nWs H< ]+/}kᩈ +%Rq lwtAG {:8$Z0-+xp%6j\nDž;묞?r9Cf9$(k]ɟF{d| ^^P2&͋>@mK zuԑ>P‰3SuBn u@ 6Sޏ\<TwSƤr@T'>GUravk>Qw擠U"~`pGkQ1vjf݅w52׶mr_ "`͌Z|6V39wtR .9X)<&bQiTvHDtzl rٝGV*M=\!pmf3wFTQ.(63$TV8իk$`LR[t HQQ1 Ȇ{ŽW$0eBf[XN7A+3B4 02'kNWq nc쩫=1K:ۅQlN'A9yFj뇬d.+:\Hk t=M9Gl@榳Dt {gYZ7zXZִF! "0]ŗXiɟ1˦r!cHkMeBd4X1`$'ȢIqt2?ŭWޭV' ŽJ`C $oiȿգL:o9m9 NGlP2 6|HxMV.Wu Pg`٭b;ݤC3= y& vRgl9A\Ic`$4󤐐od{,r![L#%"YJL&Ѯg7XڋY ɽP· $F12i/{Mk#ʧe>Jf~ݠ(MvU{ɞVhOrO d8Ċoe}]+ִGe,j&77T98p(MϿ؆njSƥ V̵bL M\"9sw"7\9WWb*õ'r_T C?IVݓ%a^ePǯPu\!doBh M]CvNmgR73(Q 11[ h \,L)qMmuH㵈fcEJT$IQ\>.$ a5=7Jwyk"lsE`h$bj rRTiiWAA;<fcrȃӍ8ECqV`2,nKsUjZ"1-x,2Q9 7*9e%5vU.pl(Q_a la^HƷa.ğl 6^'gP ωO/0:O|VOǀV(yB*c"?=,'*o8$SIMپPIbfؽ st$U`Ϣsɠar>\x%"*ܖI|p#IW !% њihX}e!EȋkjU:<\$UKc䩤a;1LK5FW"pE ! %p"8-4o2qc*bƮAw(}At,,V#eFp/>i9˙]h}Z_ 5|(Ɗ9{^Ūg"Ǘ,`qR?r)U'fSs [Oj_*+ۅ  {3}:zz| J Af/fy Gl/޵qWJVtXd a8D1 *٬od'b-(4̳2#h9{sZ8JV-Q_7&bP67+˳ރ/™H όh]}dzpT*'8+<҅Bӗ#R߁u2,v\/ 9146&휡QwXƌ)wEk'gYZ7zXZִF! 1`4]ŗXi%> 1YsQ}G. 9Vn+#LhΗl{mwلlo6}9fyo'\+Y&K;i!/C|t`^(\+W['xX.CDs%|S^niC3 f5~)q:ڄT{>s],ͫ+4?YR:lw 6iCìn 7:@S?5d`8L”ogr!:Wz<ӿKon3og(oLTw% *MK3$\Kil# %ܪ wMLS X ®Ig"{ʼ F 4n>9x0/l@Pg`7X>YHa"֒um q:eG]}U8q77oEHPݥ Wσb*$guAam3_ ,_:C4+U58&u g_%$[g}j !浉}¢?U'|e^1ӯP<\-諔̣ ˃fj| SO2;2L{[Iakjʢ"v;gBɵ5^>+ vj9K$JT`*G 4qON!-*y[K!l 3IڔM!qOco!Z_z6et6VwfH;e@btH`G;$_!S.+ dPWK6bGjy1x0兾G(:Z BGxe T Zʄ#TYjgܡ*Ɯ+o~6}a,38cYGė+11}Nj|$'tyV՗z Jn0Å~5T.eD`5l,[7\Gg ڎ1wAndeZ[g1A@͇"p XVr@'[ x__yEÜ( ` wUxCڃ7a#ON#V5=N%߯cM 0zye< hMہꌗ!#Y#A ݔ)[+Z&լFRy0?Cp`CʝXNDA{ 7nC?sPzzb:HglL1㴴VQ+r9'W=[P% ɝq&qNTK~\㔧&^Iꭃ t̅ʞ~u_(~j 'Q4ܦnɧ$7ғVXcNlV4; |U/'j;H0`oP F6"SB[g{,tEZ OɱCc%iJшpB6$̄Tqd!f7h_fNL%Խ`\p+: J&g]Z3TV_l2hnQP'1w?c?6^=pfcU~2?MK{>-hSj~f%7>ĮEBSzB 9 rDPW+R=&^%V%:M ~eqg35j  ~꡻߇gpr(*(/߻i̋C!Fzr32{sۃ0h y 6'vq=pzP*XbkQTՁgA^ eyeQ57M{\ 䝈|](5d4hN\Nr~/2u,WDѶٌ 9y}O#t|ރ1v)w?CO^/t;zį#q%҇yd*ʛ.(ZF)=+[ᕍզ]K-8x^6_YC- ~;t~ҏ~tVv{ ]'\Z"*>drm0D^z߉0ĝCyg n%ukw[Ņ-3NPHJ]6c2Gbrq?Ǒ+./%[_D3:2ХׯI݈ΒVx7]{l+bϞ*5!<]h#{L;/Ʀ3JGWU|};T frC*up oLfDVTSI5FLKQLlc$9W4Lfq_F˄4KܜUOӬ$a=@.n5VI zŐW]ǷݰKSMvΓN_Y +"Ebއ]Dyԏ#?w[Phm;q$ ]a\ar-xɨa꓀'_߉_Y#n4:=/%π][56 ^}һx}ҊhҚ)AL p `#ІV<ڽB`;[jraVXD5! UqmýP>%U62;5$\V %R8h3MWW5Զ2!jsU#ݦ+qTЧ9(/Șи˘yi۹IiP@f0A 摑>#OG!/0 ׁU|{R\1~ \uL)懻 45t3>w;EF܌[Ů tq:rUci2 Wz~k9$yLCDoHXJQQM ?h,f0sS-͚ ^* -XA4QtD^p'.Ñ'8oRA&$idt9 ;Ļ#̘j#Wim\ @>dUVXҠQq`Ol`tw٦hR&i';(rpLOcj$38a˪Jrwƻ_E/._B_ƍCp՘ArĀ|mXcF/\3Y"%пƏiROF1H욓BL3A=?գ(˃@gs<g"@ Ȱ5#[T!{ݍ燠`vB\O))]2rZɎT|E=#f[M)/: _Rmj21jSԔQI3`tsh Ԭ0pU,X+48jve$&-)7".QcBp=fA^9Lt~ 2hm70T0 }X+XoSAM{c]FX;>42#P;]ST_GڟO[ ^>wHJ"YCP*UW3Zc|@&]EL3/,Z6B8s {i:) ḣI`Ǘ 9Gq]ysN& )FOoFM`Kړc^~{:ЈbRAc(' P8M'(e ftKh}d͇(lkW R}RsңO/!mp|+_3{E L8\AfݫI>1'[W.dw&.Z[=~mvj󥘥8˨?K B\|) \1@L+'}g,6$OV!gh]\{^[`vVFPFeISg%'],׀ \־ч4U3ȔHyN*L~?s7E(.RD:s&Sr3Ji15&N9@x΍4ujgtX/I6RnTI|يLma@MDZAPB10q1G d4=8,qҨ@ǚ1rmVv[&o k+]Іx/iFDsolJ!(%;&eNNV[S F 3s}c+s**Ro!i?=fHo> gK Î)BQ8E0d~C+Qtfb Aۛhn+#Ćm@n9 q:@&Ώr S=Jo2 A:f5Y[SPkKpYHj1&T.#'Ę"eLWtamB ΩuZCZ 1dgXx*=-3 $Xoe)XyC(|zN5ONn])}wdł}YUZ4ݠhCʳ 3gS*bL<}'$;~eM<aMduF/4dcfh;@,@uGK휘-Z3k) aNF+F`/V%EX:@?@ǐ!epE^])~ 2ݸpUV9?t+*0:Ohd(3GtFJ `hL>y%$elmsõT0?XounapŨ?;)$i\py"dŸ,`_aS`^3 +W{$])UP8$;Z8mh'/aL!~{W:}9=-,p(:DsY"rݣ|{& _Y=^g GٻtTR @ۄw \WR7?&IG…΋rGRĕHHi{(a@aU~]茮`uT|tY0ͻ?F+`+೻G u,< 41lucW KΦYjGqǫ,Bí')ZAb5oqtl T).Z{G r mMr!O!E ҭ=IIbvomH|= *Ua/ߑԷI8H 1X6D춷ܣ6)O;a7!OBBV#)lZgÈ]`~2_EZjֆg4;/G=.hhTh+û _(KY?aӷ;,Í_ گZjyXIL}KN|DQZ0Q;j)}D,ZU>[ j$WpOP&SrXA18J p4$ƞ6fr;^]:H]l,ꄎR{N^E xE$<},h ?Y-Z5/h|KLE8edz;2;W*{JGZ`!v6Ak|D} zbƼܬ΅x?9l|"&Yywk1(DE|/` y) ..e;z~:3J|$gI@+׮NDPB+\s5!e6]>膱g5 q8I#Ѐ$|uۆ[1/00iח:FRKCeK\u;ȶ>$r{~3Bxr:放B@*؝-$Nc, dFo**PC pgP B2go2*s15Vq;KBYڈQD(1P?sph =vYfQJٟϸr8;yýG(y+I^ =NӁA5wqӆ[HX?U9aD@6 %oy!#fCZCwa3I_}o"@6N0"ݝXP< ZĬЍODcL]AC{Hl."18wY6ηwX]ГeT=c#q\VMw ew\)SՖylF*V⁩S97nIډO"hbن%Qi38=[xW\#] ܬSR3J-讱I1¬߫` +uFc}/QRSB#ֺ}yMT5F6}P + Z-XI ?5>/YlT4a Pg-qEw]{sJb?нU<ܔUʐ/r!d޶cw0~jAۄsάVZD?imspjyl'Wx AbR$ ƧxDsz7jDZ0pJcHe>Z.ٛI[?70_~C*z`Z̀eikC`hq7 *HSf̰DGu,UF&(cM5eG.;M lRokn}ī OF+-ĈcvZ5+NXE; /Fq\Ɣ6B Kڃ|sB)o*㋴#J%54C ̓)&K)Α:bR; 2-W.(V,FTQBsG< c&0z_ЭQQZBcOVبEG@uZC믯hMQ#I4jչF(5V@[9vާTwbjjB=o.kcujNxsiGQXx*XWv-6 cBCգ MCu?!C <xkd1=DL* <&E+r:(SO仺x(Kpz'R8. ]c[S4_^ӎc'UA+`jHPqCm~@EY! iy KaP &><̮>j+2Pi85vg}#oɸYAi5E>y)r-yLԙho؃vk_QׂQ.)'su|J@E5ABa:Gy97aDs@qB(x㹙L;QpELQq_IӜ~F>bjƼt[CCHj.BK@#;DV҄%!4.3 /Wb/w[zv֣VKPߤ f=o%ymi)?萝)Bɒ?=D"EYX }}^msVXg-a!v蛕f}C/p3S‰!0ᵔxl#CUOFkF񮸄fؤl4Vr(*]ȋloL3A^Vf n1;|u, s.^, U!ĈS97!}mZUڬi6#]gQ5^r({Am{DL;!Ѯ6FMhV7uP$O_D>?e@!7z76\٣Q՗JEፅpjXPR(ઽXiva'ejT>'7tY¨l!*F7{qH ga ֶry*ƯE:݆@T49s ;Er2l1i:l=C$hw~JD- Ne' DV-;8n=LG!y!f&@Lq^ǂ˼!GO}0OǦRƈ~I:yH ii&"t-?$mw>N&V(ӴKЊA 8,84\P}8= xG&^źD=(>$@ӝ(Q>Ub܇rH@5ߩc} }?<.)pͮC/PNa TZɞ@i-9wkh`"pQ<-މJƙK?5T75,ΉJrtamܢ.˪(O>E#9m4e^;&]8 @Rٖj ~e}HGFdr%0q͈ޝZcG]6~*8?] 7k:dv6qw]0sK5m)Ȧ֣-ܐRZL;O)755)_U0]=1|8LX"CBp>0X?gg 1 Db~I ɐsY/,~5~i zCw8]t~F\7^(>tr"^蔪?/>ԋ8`S:TxB[0/9A x4CtϞptxpqm`[b[tft{c@j+Ua$lQ)+UXCc[ cmc[Y:WDS sN % ]qXʼ7*q̞} r~Fx:6)Dbhp)5()7tŒgM\4:w%s.Oi:({t…kSERC0Pu7=IdؙK]Xc,KFT$Oi gf1K0bq]U!' ے(K;0;}%P]қ]SoUh̼\$~^ce5Q}6ΚR "P0B0s5(ݝ@~'6ݹTt<;ЂAl ;yigo76{Y -j"^j3eP{/2~W!=JƔ/OpNߝcP#'*zfw~5}h^͔R4)SFJFC*t{wkoWy>|=AJ)P!EgK^岛~?~.oK7k#+ &&"x{Ԡy̼s#\h53D;a uGAp56Χ7!etBޒ Y 0!'YoL;+5U++r#17`ˋ`Q9v uK/o1R Kp#ywkP4;Փ0o'$) D Mը D}f~EPgV2 y_v$+A$@حVv< b`/pey&׀p|><(`p"d&_dTgL= o1s9wBҡo3hI Gp_!B feÞj p:4IV\^V < 9GS:dJzf3նG(y;C ejNK^h$ԖG5l!`Fa"#2,Œ٩l`I8M{Iw0ϦG1u@F!JgZG]_S5af_E@F.9Kk:v1o 5 1ex-#ӺQ}НLPp]Kx9d.e+@\n)deRަhUy cp P \C6bMTH6sUQWlzP $Nx)XAHh //V"B#uxƥSr )TY^bW?:|E{1z|5n!jw( ̶&@}8&8?Q.̈́|Qh|W0XuيR䉚܌'ؼ`5'bӗYMI;ԁSe\tW ͅ;ZޫbhFшEz[ EDnrB-pYݯخK/7eWvj+mJI .Uv-$CMͶ,쭲4&$j$Y7 s8qa f4jpcXZjTίoΚ DlqPrq':3zvPLwfTmC5qgEc<pnP~@F2DZBU[hu63_ɔ9瞱}iODP0-(c5QPի9>vo@8#u3jDs=K*:_lXMw؆Szy>SZ[T$$|v/6LE :lcڻ0-1Q*x=l fN4`lb6pS @[c/r" ?͋{ix^o/mfYe糅5g9=lNН.ZILSbl؜F1bNbb8[ԔYbK\ pK+uZb@}kXkdР;"FuYуVcF%y 9yaJ½8 e3>oD<\+ o9I**"^5NUZʔ@ B"C^ .Q~7`,&?!z$S&膫Ԏ(pw?)YaRg43fܒ{Op i&7AZՉ/Qo-5 gvз)}j\?P`cO'M8&`KlQ % 4B21aʿFI ՖΖmfIEo7%mh9'9 Jq BʝX A~mF;Zw@eyL Ǎl [#}X! "X`2ceĝHfobTa P)1%KK 2S#Hg CytHa(75ggi7pЕK8=Fx}XIX[0UUan gcOVY Gg~jTʎ es__o@;vR).YK_F(7/{F|8>"TChr ) %'i,wm9d{qяp[:\+Rwe2̌Tco&%ZDluI-0W'a6Q19qoM7^N]3#"f$G.62tv ndXAY@4ST^*70)\mNٚ s2nlKHeS"R }98xAO|5X8HqrZy__&k _a2^w$ɾd;AQB'vpG]WEB}A[BjEIGJ8YTYɍd8ޒvtqBG\ \03sal*܃)Nl>( LiWQ#%+.">p,[m1܇EDg,14܁~d36YM>(-O%Jڊ'@cb%)@fܗcJp8Zfs/R{ɾw*흓Aù0ueYˇ#iK i~>C;D_Z-67a0]lb*х@PgJ4fcˍ4=,E:uh§ #JN%sHJí>S^ŤUجB*$?A]NHM ؾPv>\SK)*Cww_8^!q[ rNVALAY,|$emc`D|#V'HUd;x9Ùb]ʑtwqr;+Cm?BQA)ix؆;:WE!i=v5̽R" $^]f)Y , =G9I M#Sæ#z `7+*E:^|uX5lf+Ik`ȈQ&ZaW_('/#|T~ XC'بhz,=H=^G6@%@> 4 TZIU굿5+/H܋(#+IےEY/Q6竈pZIOEA5㔈/ՙ@a ޝ]jVk'p^O8SO?u%ZhMqϩ#SOR@cж&nL߄ J5,)HF|+>p,)* eEp,1kʐ$pMIe)Y+O֟ M@N8:RK׎̷'O\^mPJ9 s0̿|0+w(;놉v.me,XFiKHМi*Wt-iL[ NW.i7{|})$+[&덺YMmυ]Q;3DΝatFbr0&_}L(O"pT|狳! MC4>nYFd.19:j zH86Rz1Q`s xO[c@[B4]HivO"HwvZ'a0e: _d_e%+:R^KxKdnb_8jxkSmd,>Y^@ZN^LlԲTܫXGJvͱGS! ,k{Þ$Y_uy1mЧ>.1oKr>fʌz7+! G /?ouϔ~ne-g#4ZHv'`xS4S~wRNȩoH ;shtU r!h[}^?_gQ/ RYT*VQІ.E'}9΃{tR6PܞlZhaFYlІfoԥУ~ҝ i?ۅs8ټf%Ԫ^! $MzΈ=R-z:Af1҅ͤ;^5t%9Z'Y9ˆBDؑ=)6IJ_/ t$JviH^m1No\vr`tH{(}N}EeX:Lꮻ^, O>H T|)gʂBlO()"ۿ,tEb/'j$7$d"i Q^S9}_F?^*jǭ1еR^"4#kZT<ȑI IA1"MXA7x(1HmݏeAum6k) '8R5$yVFfEjc#dzq3b3\zMݘs[ S4UGo8¿TJb aj(w$uOXZNP"ezޱDfʯ*fTrWϏ>rN Sz ࣣ8gvZJIhۯ)FϔV6 .L5I-1NnҫjtI-'vR,sM^$ p匲lCxPu mEdC­ĩ#|9t29[vOGԆ T-p ݂P*Ci< ցI#K<&P vF]Mj M3g{+f\ Cab`@ dVi|>$dLO_FCQtUɋ l+(o l^4!=㠢> iCr^A0Z@(ŀƒ%s2|UD2eR 7_Уl^,c%O~"i# t^G . t3 y(bu*l82>jVbaK˃:<L삼Bsf_Z^jRr<4)*X^$>Jf|xe/V͓AʥARh!f$1Ct)"ECjuE5Ѳ)_S^$1J5 6jB>Ž`FAt R+f4J}<1h "P 4G t[=)94΁AJւqlHǤkGFӐv?:JeH,?pz[+o4r8H<>~W^/@9_ 1)4A'HIfG!`ʴO8vx-'>v"ɑ94QާBfԪ9GvA>]=G=2/Bb%O(Bntnۂ545@j4As?g"G#f7ce Ir #Ls|eRb2ۊNl7˝FCБ]d(A>h >LVOEgC٣Mned.J1aބdxXkS6+YɚZ^:#M6I<ٴ FWB굪b|;rbKc>7YbtԻ_/H(C ~{uAyOi^k~1jJ\^Jib,s !#SnO[eGlb{WhhUFmx}>>&izFeמ//c8{+9(=lP;#L0kIqW2Fg[&ѡߦT e3c ^rٹJs İy!O;x%M)Fw1HL]HϭNi(#'ֱOmӹa2w4W?lNh l0W֫A&G :de&s(;MF4TgYEgVL( e һd`/]Ѓ 뾞'rx[hī@K Cvn~LoN ~gs/F$J>WB :=v'7F&ӔtYR(fM'|4̈/\0 ǐbLϳG+^d'Ux!v9!)UTe; 6iGڬ e!e,XD$IrnįZY4.$O4P$"FڰNfyxfٚ9 L߶+hot%|f.)lCt ㏼^At;FTT/! &B3(b=;\SF5^QE {M ?. c{*;/T!XVk:Ro |fLD}=d[z:_x^ssIY:y+ xsY K!FdXeE/~@KYpAf_EMd"xry(NT0'?jzj}K}r@Ks԰m٥FaN$ &֥2糵 VMyI ]bvY26JcCA0ŭm]:&c")+Pѩ/yo]OURn-J@]AF$_~'VH bamFP.ڃɵSKVmWBU>ͻkń*@|A8U֞P|0j}//fcd/ϧa2 Y~>1s"-P**f< OK Ƀٮ]IL~/.[~68Gּ ZIi"":b:dO{ԴͫGnf1i>s+ڶCܡȇV2uS#]y:bbX> $H^[MhyG\7\ÕCar &yW@'nM@s4klݠQ Ri~g1RB>F>P G^ԕkN!1I$"NRF`O]NR ʛ =*;Hr0wVTS<cd_ޔiUSy99A!Opu5S1A!%YUOd 9*ް ]gysk\ek_!0EQ\܇LmO9S_ 6z)^vJNJ<;:hr8;jICTJSzYtbߧ fF,<R8?g>cy2*4 M%h臄íayeʼ pEc=HW:3MNn,'EXSI)vGgPZ+ŀZaf>h݀y^U+cj?\2ϛnV o|,nucݠT[syVOwCs1کtB/yo1v/<Wlthpr5 B{_ފ R&âmޒRXcvIͯc,CM]򍇪j5Wlo'*'wSܻ,wcP:#SZmhFkcXLMhRrěсnRGzJK+ߝ%D1|OWo 5 J/kGnK)i5>)"gSof?`yF~E^ ]Bo|3gYZ3c7315baa643485a71a892b88c6fc1cddeb989daec1fa52d7e9afb209e4092357e883ff03bdd4353 258dd0b2c6018904988ce9e16128dd8a4d0f1ba49e7598c0d5bc31983c144dbed7d2f92168eb2f49