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 TT|%tl4 ]/]HOL-Analysis:threads=6elapsed=296.507cpu=1437.824gc=59.280factor=4.857zXZִF! TmFr]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5mab^X8$G[j"W$gO\ꅨN?yrp˳R`&'!tX,9Pz(Lt6%#$H3Ï9J> kjVwoƤp8j "dUhqzDftP. pFĐ/n J:g>8` z"zP1…Wz'L9>N'U}2 R@eX磌GUsA!zY'{epyD0 UuMȦ:ݣI#JwlSȲUO#,P&6 76\ypS4!4RW/"T2,*>D װϹYyXx-0}j?JS^/x"$Q/aTUR=EX҅C?kK^R[0zMԂ, M3b2[9&^5p5(s~(۰=' ̣g-9XQV1-1;x}i:Iu|bD͜!Cz!I93.}dFJg-cv x! U󶓪5_a_fQL*L8)=&v"V@m#e_ӒY=4)!|lA|i>$I?):Y}mN N]|_)52c 5A\'6\tck> !m`rrDդ(7&'IFkW J#4z0mgWCR4m;"'SSEY̅i,AeC|qMvlKJ@3j 1j;pvX3%Laꪡ= ';+&``58^P[y 'P1OjӰ:!'rnsb+qհ1 37 %kpEƟ0pˮ^jz,b|Մ>ZGbd,Ĥ̨2K1 3vҟ2Ez[ȺKG8~'F*NjTшZ9dQ^ncd=D- 8*@WZi #kD@ZUBi )[0ާy[W(GiY W%*6,2WhK1->;`&R{ЭZ0tItIdwGh eg~)*eޔd8H4c~ CoذI|漓IPxTfWX%nIsVH oH<4/ Fp!"6͞鸍e)/=qM.@7*í8_{z}&1mj=0sű$Mf){|ynXGCbiGwifesYwq/@2a$ntrUB:Ԗ H3ۅ7@Ƨp;Ѭ)hrfoY29B{`$oEI;$)'X=/lFq'Avڪ8C,C6XI>p"(G|~q[0iݲhzG ThY>nn;g)P8<9L<'̐6l*516-7|i3Gd3_n\EqE۷>:{?6=~c| * p t,w. ,Ԛ(Umˏ7Gդa^;|Vtq8?v^nU-1wO(.)Dso aW"^s]KD\;F: y4jFwj asntw5!^|``V=íabԎBY˵ xfo3G6r08!MN TN6C:iYC8EW$FDۊRF';--dJ&8$|CwEޡ\Ξh,&@yNͣZQڸ#TSE `-:f5\T"vl k?ӓl'q/cM[ yerR>(p\kh{㹬@@smJnUK=lsV!?/X&i}I.!B[ހNMS,mKD#ͪfIfy KUv/bʥBhƿ -X;B:Dg:DLz{=pikxE%Zl[*>CGJŴŖb_tN z4Hqv$ئWDձ)VVPB x){#S\uSڙu,*W%+ N'К/WM̈́X=ꘪ~['c}R$?|W1弎n=Ѫy84~{e cǃg:d?f}&c ɲ?3Da;>@kvĘLЋEQ|&˵hԧM+O28 T;Έgç,z3anzmnw׽}!FZuv%`(N mc2vZ5e Z!D615 PC%Iȹ[/g0~ 'PP4;E%cjH^'cXՌsTKM\sC2 fT q˒7v[Is+ ߳1X 9jHiMʡ+TcGquȴ(^6#1v/Wy1P;s3B7RB}xˤV;o٠'KZC T!5 _m#|Mb1U@:gķpj/J!й^EOCQ tW& ;7JS"Ap~ N:MTg\iZWcbP8o5pճ^(Kd:s.Z29pC݊{n0'_4woռT7^#'ݍu/cR{^4 m~tʔ9 zo롒pG]GCHJ*v|2e LƳ{ ƖfґR(ds\;[Rg7P$w¸jTm7 /GȤsHJ ;[$ ̥|BD`uxXA@kRR8Gn$.f[g^^!KHDVO-97KyBV¨NĞd7rjvpL۝Yܒ ꐡEN]G, 5[݄H XXSR,fň06guRnYhq;_Pw#9>$i7I";}w5 `#d1~RkAq&83 [P'[ġ+ Uha.aRӯŠxj)NZތ>jMG^b>׮l&7]$U Ue 9ާ`%O|6j5"ꥺjTp"(X&}0eg?|]@yӏ#u[LDR=qU(R 뤲}+'M'ti lb'S?(sO8#oZ_k-S{JЭ_:2ļ}GE< [HȈ8>]o;p rA uN_!_Xa63yB:%M2D-vOvWAnsCz'fUD= (k7ŝK- ~"iR൪uj>eF V+J6!xKpcL7,pbvH":͙ _Z)_OgHeg)C'yy8 uLqt鸨V4:׍-92)l/woffE?;1+LP&_r+kdj>b0o=y?2# QF 1"I>DSLƴp8iAV/]Qk y>c4G)n-yۿ #̋8 탺0[׷n߼ T6佩 ywozl]7XCm͌}Aw 5PcL0Pks%eG2\lh ן~Z.P ^7QWϴ|ܷ]'j-_Z+9c<,6(JSk1b G2pYΦAiC80{cQ* is ::4mWS$j( ܊Af@U~1t-rSUf`e)QC`!_N%Q ߞrFUD@ZvKֿge [+1b"7C6k0X'1L>srT9S5SRR54Od :d I7xfzve }x^nycV lG #r!&ۼ;1 *%ypI^J1YI1!w`7!z='Xt<4-ͳ&MEl$”aXQ~bxx~IʲZA6oz41}\O[@.oAYLjn:MFJuŶ,hʅf2_+ p{^tˌ,0&7 HKrGD"#M$euۢҿLI̫\8eo^\ݱ>$/G^Mð*K'W8&%ɒWlsL4A)GMJ7GIC\2o)hrdb _B/ i5ߤO3^S% sD,ogja1'N=$#iAAf3·%y埾rWJ̓la<$$BK"e OV ަ 8xѪQc{ޡ4X`Pa$`H98簫 ,h?8V.$Z+q"Jfbs!6e#nSx(YZf64DtC@QHS41VEdE $FwUV@swD@:*܉ A39`W|тݿ>`MAU/0qA{zf)ymo|ec-AD0Ffgs ],WSp-%w4:$fe?坠v;:?9((mI^32*jNY' 3n+!Q\gmzq,bvW-K75fihV|@Qr Ԡ+.6gXpRXfI!2M4#Wiȅr:JLS{%٬/ӁA9`嚦,i^Bb'S.kcmNEv'6a5**TV^6E\~"$'Qgwbm{+$<&ʫ*[p2'[蕙,g uϾ 4dlRB_ 1dUZ!/5q,M^Q, Rgr؍9 Ɵ\BL! MI9|Qݍ=C/vGݵ*Xà|.~[ 0 /bv +\uvjZNh*t܂!g\&לqJw)/al9mJX9ЏDG&4򪉮$UmF< 0 56Z]k|( rZ½-T(3,knfA`sCNȮN wZ} ''׬K-/4SG"o-.DI7΋1~^ZLʔ[vX0_=1ǑL~S\:TzUB CKdSJom8FJjͭG4{+M_G6Z ~7(N=5zcF 9ău(MvSBb`@ӧB9v+JA0W)YcRKw"2C]'N_R!IpJJ eyۃ>vpKQbhme@H]+.:t~j6:0&;*fCՍθPc7 @~l)} rHԵ{R*' 7̃cwhX3#F1`]_gy X|;>.9f?T-cWʡf }p893tQ& .d3nzan{:U(iM PsKM0~E]ަ̾1{F1!/YBKQ.qQȉ׼5תZ7 sll'p8FQ[0\UuȳhS=&5a1FV_l\"/2AP[*8fIlE!wPW"OdX#2ȤW3)Ws/]?vw-/-DKŽ`P3}+)=#Qy4EWL:* rym~16J>#7վl;?dV,S9SR >K~ :ցcn8{hbfژ{:aֲ%hF' U^2=cF~@S}[; ê FVuH%ʝͫrj\R\)<~@%3ʧ<`yFCN^ƳQ^΀3VΔ uls8`q7V tmzY rq։ cHv."5+z12q>rJOx;צ Dr@vzt{kTp$Y lx ChCDǒ^AP$,QX~6ɴsw [:qw9x]M*0BTd  r9D -A>5:g?_sXVmfTBNU>^0K{"] Ԁ:ic |DV R>|KmfSyYoC?/7Q WKF٩~p[1i9.0yp~/S2wv':L#+iwec|`Ryv4,׮۳_~:C0^wz cݸ5a('h>[Jf)VVÒ'J%*I{xUsv%Ѐ L1RKB ΂@c{5c*-(*F3eN~qDd ߵ%/ӗL[G DX1Y(9zem}4@X)9<;n$ħU, Qt5~Ƃ*ꬱ:J/;3C3A7wADhDž "k(C'Y~"9GJcp$*qӆ;_3/խy4.P(f I.5o.v\<5&9R{"*ؠ7io@*-n=ŕV:a VGUo#L,sR&V)UcCHA˺*1i@EoE;nKK;N;Bj&&/_/m\\!$Mq p%S^W > mtO}&7/>v&`X,I/@gpiy1c۰пE CԂY=@r_+]WFm`;m,F 6P[9Iu?at/"amy*8[ʗ*S{Aʳ?ʼnݍnF֟iӦmD*},0_6sHR[RI%C"lbMۼ.?2#z݆Z< EqT]w@ jQ~yT_wQN[Sf!;x6/I$ =;vXrjl/tBh:5[~`y]?b:N dzcnTm6O/9-\QS+!cc\`w[^ɿ&= afo|66P슚"*GЄCc46?#w70&@g5:Q"lSQ80Q=n`jf&@q<%\rAŔ#k1dEi))r=[-0Ƨvlp0<0۶g!xlU $5.?y{0B?l{*mͷg "7b`n6~#͎!@H*4~6 Cz4~Ne~</r{݁'S{7X fܗ̇ f0#V $y.\۪`P!(gP0? zb up PSךAY Y_xEVi ƅ>Ƈqj^:qlޯ0{8h-!Eh܁ڿQMл|)f4+vqbcjRFV^/r8GɢєSke#SVI31l+קOK҅%[lMH.;7"=f@֟,@8\S_>r>9DtZq}5`2ZhNo5qژSc?T"eY?_s*, K+Y<@De՜F9od ,T}LI*`& ܆V(" aWHK|(ca޵Z$e0y7Ƥ406'.2rO7sVM!]Gb=z0=q:Ώ @WGN0p07]@&wh]uä "KWysڴvsD؎El;b=X&AAd%/SkQ#c %ۺNL3z@h<61Cz+fqPSb vV^ChY$㲽u"$Ty*Pv16!ʯx)s)ُ?r۽6C{-< ^"t ;I2yc}VzióL. ѓGRs@gd V<$(vpǢٴ ؃AHIƗ7JǷ$T;&16eq \`O/ۨI kZl`y4e,shb O%x~"{T6t̴2.ESz 6%dzFlə$}3wd!PIH• ѼwwEVKir('VBu}(1:эw+bEAgLH/ڽn[H SDEM '3 ?c[-|G07wtߧ4D<~ d&S#Lޢß+,WS\)"w|6fqu&VQk]Y:?q,1u>+0K?w?d.oJ7^u^ll-oYA@Ƀyc3=9bgq |/9)ޔ6ŴW@;']Yʐw~[_9 )]|q FτR2b [E칉ɒ&3bHv -{bjՇ\UWgx儽M)TڮZ^ƍKt9"t>$=Y{;n"gQ9X@iD3,9@LE殅,H,s=ך 1CTbŠz|Ka:HWx4]_F8汇"hvhJwAMyڞ/hf$iqG.= _+z*(9DϜ!(Lr nI1 vB\Z?fr Mx_EѶR+@8s>#h%?;rywJX*\=\kosjђ %hȥ"j *`Рd@&Aj# " iWs@eS_7 $%&VM c~s v\c谥#cOΉ%HW*wMF HhR2X-.kg:=Bz:nU "k}p/,jO|.I* "@a#-f [pXt'{NH󯹒/RR3Ek S.~:U~4ѝ'ɢLm1u<\aPDڭù5 0U)VB?,~ZļQ:z"'֦)[3F>-w4'Է,q,UU/bU g93!svM|sF́Ќ* .sмDJ.P~M.|Ļ*!M;8ס/.|6}([ZWϿLC\l''$~hO ^PT\ëIǀ (G($5QF(I匐Sq6vI5# _/w{msin?۳?c]/YUq}Ml)JCb |KVU.]!_8K'xXgLE`؟7kD+t_&4chxy#D(h#W6f$_CFH9jPA49=R׺iNuhȚZ7׵M,zTc=$2H\o)m\ԆN+gUO}9PDcB(Z'Oqs<==ApByO(zm2`uƾ; ; e,㍎% vJz[B۾В;(`(y.,;Xs52EXJL * 6#5YD`AΟQ]pbȷaR PֆHIX#3&#A?R4=cfͪtgYHL-UɧfSdatD[@WYYC2mذt|8RwgW8L! KnIEvSIWXX HjHHPAZS {EL!<]92o^EIygl0pO3xN/YFAFUPaKDO'Qr+`^٬sfӇry,>Lj N]:!J"[<(kw[KϬIH{sa|15$Nکct23?%D0'ajշ3 é>EmZxI{GW6W`l #\| " 5_N ~AxԡMN@kR.(t_L9>dQfڍv˔%qg[,a>Ywj'*2V3]*w 7d!^~ i܃?Jz34Hџ {VeTG;y 9vY`E%fkp;W>?{ݬtwKbF8e72L}@0'ajj.b0(^@*Q۝y;6Dh1Xi َz}<{ڥf2<-B>Mh\Pq>*Qq}2tQTb;Z=Vmն#Cʧ8D+2 #>m"ޅ{$H,ڕ[(Θ1#"+ O$ٲKOEk2 l3 75vF ܻ?PN)!hih0m&ܗHN`uM-n~.·6˕3 |k2{š#(qQ=FnbyVJϯnj:66|TV$IuhݴMrGR]&:ZTB1DWzQ=,G6+:ɝ \Cq ԏ`g`C'>c:>:ȩva5[}zqӻnMdwt`ǡ)ul~@2_\mFCU\rXj"f8>:Zp} 1 p󧓠/( iJd%xfMu8Za+Z :h4h rGQ ma q@‹KSʷ!\AdYL$7ۧaVu_R'dbyT1 1w"/SPo_(dDYBwg+f[$-=8)CT"i!=6_[ 6 O 쇮r5 ]m ))G\4oZMgc=W1%٘^n*fb.18aur y efsY&vdž})3z,xU:'nDD)8IH]~]ذk.#kР>@poX$V Q뜣G)򒨼ȇpSԀE$lJŨ?IK2E'K |۔jrWXczM_zi=˜;;U:PQE[qp/AW-qGYV/Y/#U{;/+Bv3 N>"vΧv8n8j-63Gc}R*zt3sKQ"]T>A'b H _ܵи=Kּ] bmf"^(>|J1/ݹ˛ZkH5 05oB؉Eŷ &(Ij'+iF%vqP~Pcb;Rr kqY!1ZHj>ܠӬd?_>v/LQ"\wе\}cT~V-7+jj)wf=IY(SANi7'y J)aG˨My$n -]tTE*00|d˾!Je%m@zTa͢,55_~p&4ׇ\e1B{XFr2[\ǺaPc4C MF\01fQlAS3&>ZDfDm%݈9nT_]a]\7V:WaS7)}NzCO 6gYZ7zXZִF! "/]ŗXiɟ1˦r!cHkMeBd43{=;C=[yc2lvV1#WřIXرPāDCQR eLI0k<,31MPӌ[ YdlFߊ wŞ>6uWyCDeJ=U"jVBnJ4rּḒy:=*uO~jI=;k'Y򁙃Ѯ6S 0VK(e_Fe'ݤ{ uQZQ5>Es]2_wge@E?E ?#@ lu4r>ho,)Mhyۤ;k!cj(*;X ǝm x_Vn#s/bRDdkKMT6rF<\|V3ثUG)NexLpH%J1PNibzpX ٬GByhxk ZYB{ S86Պ0zjjUyG0"͆Ps J:zM(:Gī$5%kkm1jXL,&4ysUt( J0BҺv/Zi?9MU?BL'coO訶1tћYP %jxq1k@T]Q8J+*bh.6G]Pdˌog/82ˡ*qi1@N kpAN<l?NrFi[lt.[(/ ë lN{&]٭D j\cؼd '{l#YŸ?``)Wdu_mv9FZ)1+P7׭B, ulPu+:Y6%iϞH/3`N#ڠ l>ʃz8U M|bH2O GJYF2 SʤSXm G@Ib< +F^}촩qM"6^r7 }'}a-0dWZ<#ՋjX%%!߂2<4^DL&0Mxkc-SdN:a)nJl!}>m7\7<!o~^lX) |fJHo9tYZbl-n7NCvEl"];؟pkmT261Sj A5_sR- KKQ.4bBCtr֪"3MO4nM}t}hSCVlF=]n15 ~-͖N1mOad`Uɽ$t`bǙN+vW}rޢíΣV˿ "n;MTx4mFHaJo +GWzADKJhBƴbJ@ةDRăi-;a6E&gYZ7zXZִF! \]ŗXi%> u߬t'$5vfU%9F>#Ohww Cܙkdhbz*z4RdPr{O [3*r˔%L}lh4!:lD_ %rٓ4_P+~{Xԕb8D>ocTg4icjޞ> |-?jvˬwճ~r% p~=" WĩP߿^ȰI>Ο:.qK)Z xO`2d +"ɘQ YQUCN=p  _߇:0Hp$# |9+ ?,f$ֺ.g^0#~$l{DϘOpX͚~B ܚ/0E{xƖ)6WY0b%84Df Sisg/OwA/fTK+xwhA,h*Gكƣ% t~ |e\da#$bK뱗7jAVg/DzD_s[ 1X+,ܟ:HB޾ܲ~a5~.U'i3Ύmiɮh|1 )R#2;x8(~#6uJ[.iξcKw|:wqI T.k Y|~<6.y ȖMN~7[{,5Q>ԌX|j ;ojtX4A} D˗8K̈Wɘ,]DM#ž#;5:iԆ6i `jx*Iq$fԐvu%0hP t@̨'f:݈߉:l \u]"H&(C!PBU4.}?rQQ䃁#us?{Mƫ HFw#a4i Ϣ_Q !frU 81<8.\?ɺƮ(JV6ӾrE3 W`?brStRm p"im!7s1YBAEC餽%"_b݆htؐMHR&Ϳ[Cs{VZw_͆խ';OYEen<2y@uVZN_2h*y-'P!nQJÕaE LXU]x*Bȯ-NwsPpo[sDȼ:@s+ًoŤ'齳V6gMw8Gjӟ:"r#4qb~ڞe*>R3VwM)QQXpţW7q#:'kQ/SdD6L2#{"qCu|d1A-m|r,,go[<,@3/q}IZb0. ‘UDŽ+ zw7+،!$Y1HgM*7tlڻT-ζl-9^y=x)d^/fS:m8Ah"$(eߏakD0/0sJĭ=Ϋx˳0 6DhJvT!r,}P0B8ʉ5˚>5A,{@ⵈ#|XԿ~Mc~QI3L#zoW{YNdK}j+W8`T_Aoվ?!ɎOl$L0e{7ط` |H Yr1'rhT05>Z2/M';,^>A bMQNFB2|$ʘ_Ӏ"ml]l%x~N5јeJPf=bh[ ? GaTݎm s،eUd q f`N"58_VNxY.۸T6tԹ(̪oPj[ƒIa( ݓO\1Ʒs!lLd=웯^Mx'*ˆeb"ᛎb;YeEblsH$|pwҸ"wUn1)*$w"fMxLOwC裌bwS oq,w p r1rYķ#E8veQz/%bp+w{C앋xӉu0Ez9wBGL򏨅qBę`9[>:bVi֝ꐏBPƱڅ92j_c4?Ls"ަTqӹ_r8q "# :/YDVf0>G&Yr3:9jX .6h0:'_*i9d,RKp^nT@qr2/i6ՌmAEM`& S;7)0g !V|w" t>D=-v!rPOA*r(-Wwžfgpz?>.(b{٘'{%޶EK*W?݆۞jD~S)Ms:h+HMީ0Nu<\;aF앲~bmc"[̛ۼAxCE6c+fr}x=X:$o #|#ky~[Q1n (^!wNag&\i!fbj'D4j=zLTv1# 0VR+O@IȃB羮-:b*.t7lw~U%rS"&(E&{.wUXNI2nʴ'X|e)Lhg~=)+~l y'1_Eg%9#5mn5^=EaE;'} |rgߑ6ZI|66GRUб0kXm~'K е*LiIO|4SܣQ(S#Q,2P8H$xO}ehE4p-92/#)vbFYk 8fX#x66aE~ lKH5=71 ,)~Y{V7yRPo h Rxa4aL9CѴ|z6f/ՖVp8n@튔2 8ED4)%<h~ȩuTܗ,lIXj^IPg`hAts~Sy ;lPbCr@ ;W׷,:ϟ K{ܮUOP֥?3ז=9K2[Gck|W(Ӧ,j"~}Mܟ4RkE ^5V< ?ߖ5\i\ j&;28@B#2T}G%HŵX >ez(,"Lh}ҮGZ4;z`1:6ēN>,5`&Ej n-JR/MV2'E䓫;պT;.55=A]gX'k9"#]ea k(dt鏜7̲gwGw~"0r2X+BZJ-u9tX&r:Bw @_Nh ,_DX?b;"Dr$&%)箘*mVc>lY|)h{1"T QRM*5؃1onH$D>=*>m YPE?=B\hx)!wۢKBr $[T^"v5޺nƋҚ9`f*4z^B^QFiC}k_HI +Smj}ͮ{9Ѯe5WeFMH"ͽ|zJ&,orbߪD[g-2wTs'wij[p!vR6$w !ru;te!4s2MSےoQ/@jM +>ଓFVGʌ/Q-HTlO6 \a[͢3UTtɓ)Ť_~Sy{h&B(넚r(3eiحigIF`(믣1~>0\a`(=T) '*g͊Nr/2Sڔ;sTW~%5I+bLyGk ҳ0;o.QHn#HSD4?LKҨͰ}ACho iQY;SHet'\ @z_>g/,O>g^ҟ549Qجxnz#ֶ۷~:)4 ^3  '{zT&v=N@׺ͭDgV~aP`4@_[;w c2PO${ŧ_塑NEÖ>]f]o#lwcW*J fH~#\yvg=O7XAԺHc ;ٹgVuTdϯ_mLta3EWd:Ȱ$ ,7%p-w.rDܥ;Eq.u#l۪](L?G_d 1lb&OT*Hٓ lo& MslU[Ť=ʫ ClCN T(UĪɩYWZWK4Z{!wOa N":θg׋&34ϴ/|8ZZLdi`_VG\@ZHN?3Q4 VOq3 <%T2/F-TX[8aRޕG2yU,F.H_BAĝ\+7>n[-L'jnW߅۪!_EtMb|̓S]΁/q&?4`VL(Ӝn)\rw%ʢBn-aM*H<|l#8D4A Ɣ)TE"9ӵ ܝЖZ) =mc--y$/e 89{G@h )G(,9&iIZF{?sD)rw'cA y`Jtw^ݢ'ѳyz^T)isJ&^8_*xgLsbc'٢̣M&'<8*(~Y [vNƍpa;t z} 3^;oJndG U)OʈD'h=}VO!(ӱH|_ǰ=TBwE !0qm8Դoh؟j?dް鑱O);G7,,[*KN;Lb'c; OC1]e^PNF}lhp5-%:SڱFT5l$(T?|G4}[Е]gYs/3417tmy'2 ݏXWhc!@ -j띶޻#T>RrtEJ[ųcēy,);'NBu@]F^Hb(+Z\}=ı6lb,gSإpy S7(Dt͖(cܴ]M~ .iIW92ncr 5 4K*\#6(L-|X IDz :}xOÆ Q-|AD>4W*̖NDS)}-':ෝczN=ԧs% R7j;е Ϻň;-<5ll_i/ߒfIM4jF05hdˠM-GJ0lkͿUrjI|L+<1fu$v@8p+Y! GoT!5d%NuL:D>-^ [˞JJ~JSDDMY {`caDny.[RR{-WYvC#fTYyxE %8SjdJrn9'S~Gb&;Ht?]>o8J N[' x%dK=t3*!Q+.NiQ;" RfÁj-~m:9?HjםڦTp>7$BVSh4$}R$K؃3r2)=2_YbsmLd=ONx ߳Q zi÷H3q;h2q܋fm޴.\/<)#RIn2'"߯n ETeVP5?Gr37ޥ D%4`WD1 _@^dz6cmSct\8ϠX@Լ>k H(?t=>x$(knh;]k| Dwʢ͎+z_-ӫEi̬">$W#1ƞVE-g\Z&/z?pm`NCsxjI+ MXV{].ER_[лЀ B%/ <V9e*7yLIV)}*uu-$PMbw:$FTWʥ|GyneT%IśmhQ=Qn𿾪q ƃC&Hk:0\Q}L.ey? Q1&QNgIuB~NVG䏡@Z+a9F~Lٽ_.[fܥe*Ur}' U(aQ3vWj JEIO0#q/V+Rb{q&ѳw糱XOτCBNo`N]-xHxJKJ)7.  HMˆ2FdGERɖBQaukWw~W^qq)P^%ahtn\9|ErF&Bt@$L[&?]Q$/FA{C7F5)*7iX0yJ6\rfKՊcYG@cOa֧[G۸f -7P ? 2?=RJWTE2[u~ovRDr}ĊZe '],2Il8A_1nYAs E"S?#1K.d`'< P67ԇLKߔ%dHGfstzGt,< /IN5̙5{ pnnLK?`d*7J@إvff-q~~Ny^q3m(E]e>GH繕'խ&gkՑOAcP-LvDrؙY ЉLƙN?w+q]\) ;Xe܋4/ƨl Y3xb~ESxLYnK{{{2۩qGqKbE!.ԛ*Epni74φ5= i2 sN9hyE eȉhL(-m/f<f 6!oSs.ffkW(M^ys#ذN Cܗ [F]mT0[]3sPXk;f;8R;u  &r#u,]cjS.TdUI r ^ +y8_s>8$|2ʀn`Ggҡ \a})Sɵ\WT\@A< ^޽=V}׀&<묕T0`mL f(|`j9cTG7b?=#hfO#Ba|Q#((2b͑"̰^,XZp d|QP7?ؠ}R[6)8|=\k,6FӼ&ߴLn&|voYq~3ӒA{tRe{"> 3N3Z_|Xxz B-,Xl1?uEyQ@$N"upA6zSrQ@sV\#μVyi9C߈ A8^")CeĢ!+mBn/$߿=~!itTHҒ"ĻE^UGU}N6n6_׹0`bՖX;"453l'<gva0^#tF{2EFۀSy]w:' "v {<_Rfii+ba=TqZ |Ȭg\O {[%l\E!W+t۽5A+'+ t&F#e*f_bQsc?+i$rf,:i&X(Z̟0cy3SB3g}k_qA3*[,b<Ӌ㉪^mQOnyB׮lihEW@ }Vɇ[L,n &%^]Q ߺuB,zQF2w~0$A'ȼk3KPNQ1쨰܋)/SIm5i)f+*,dO^_1'Cƀ^]оۺ_,py CLHEu5$99GIF"ۃ8oP?~ŝ1 2YN1Љ. [1ƺtrr~erW_+7F$Uن * ޖ@#-K\N4 ~ Ρ9m*2+hB\2h=uJN,GTgJ^ҋ^ ) ȏoO]{35%[4H3cï7hxZ **Be,$r_q x܁^ fW 9zE`+S8x~V,_>19#NCBPhUNt6XU޴^7y~ ״!)~]A\ݍn9x)"-94W?pAnvˤ)F_g`]ĎuywlO62:àue:MFW"s0!T풨' 7:ABuÂ3zwrM%qWJZϗ.+rbW)k.4 OfRkliІ.0Gꘪs p8GD8A&1I8ZqQ,]VJQ{gYIqEYϼ6] Fg~9ugv`]* Nу=02Fo'h1JP~.GF̆"k⑇VzLwڻ@l͍l=.ZToה{ε0_j^@lݭ7 b͈R:>іIY4Jv=-""$PԕIe짠;Nr_421MhYxSLE8p#1kRRl]dU 3z%qH PuIr3e8#ɏA֟4r=+x>N߹I!VJ7>~Jf;9] 灶{=P"}a/'&)aӐ570Bn>/R邨z ,jճD@3R+<+LD  =4A& :L6Q^#v}{ivFnT :B+d`>Q ͍)sB#4ܝث_UrV` hSژ6~mFѰpf͓~ *aRLA=^Kkc&~PccӀPGCTꖨe%TYh= we1^ h]u yd >P>[38/}Kh]OpVOb^{ƊПM+4>LA'>Wxd~kRYWe~w冗aཌ Ҿ``TVḫ 0&-Y&5!Mb2˽eA6H+4ı=]p=7P_F9zj}|fhnC7%z8;IGDi^DkIT!JUTW|~EAɻwj+^LK2?3? 3+!a}jC4FQ?4Zxۀ:^Z/t>RȵMpFqLW#:Ky䉜ޯwp j@NJ4A U@ՠ(\"Xy `^6c 8Fm[Z-ʄ6^)O4;q [DxKӟj׆c3t:xVew''#GA"~QDVBdZ5 \CXb+j~ ԩ8D)%6yb0hͦ23Mb=#YD`6EP9^E^U o~]+&:rc5W0܋ũ$ 1_֌'h_HC7ɟ,y0$FtQ۱|X/# H|د<* `bhP\ޣ%>e9W}W&Q9y%$~\Y)HӋi:s2*]ߙ-"\hԏ/2m.{֒R%m~_ɬM"yp_|ǽH"\Uvxg=j kau_{1{d!B¤̮t'>xQ]$sCvrX~C@}RaXISۘ]+%0]DkNΪyU8\D_"ל#x+5dB,~.spM oIl +Bos .նIChtvJez[غ6dpTϸ%ܲJ ~V}Vg6XNo|x2fe/ a )߷1+4PnpIvHfmp}Cn7킓ǞsCmP1x z;q'ϰ(9{YE(4,XyS|h$lQ~VE uuՓ#|,9x0VBV/P 0jю'oZ";s^kHoRSE;+ CD[1+aܢ{Q J1r 3J-ÑS9`e7WKn\GW!#BKLq}ۿ].Az-l!rM̧nPN,OGWF⩸vS7JcsOiÎcnM/>D aR^9>׋]㰀7)]tq{ťT~vptrN11Т~e*?yY[m:O;7&r>7q/ - 1 G,o'57cx|F'-ݍK+mi{>U;u29 z4saYsz\Zɹp3$a";-he@" u?w/rbe&^z?;F1׿zM5d&FWx+_9bWmxhCoR70?KD܆adfk!? I6(di^7ԑ?(;y|2HRBOLz==|9U5ąyg7[nG6*QOTڰbk6랭/MTe S6Hłv:A>:H=ek_+J|;(P[IA}tBe}[i5 gx@m׆A%nZYRpЃ:K*ig7Zg)+[=ET:ZA)z7p&W.brұ3Ξ~xqPS-_ xG+4q9H/fs Fr̭=.uw+'jdeu'ۓh ѵ=@3NDf`)1JDGLTg!* Za#gn`2˩GƧO[s`P7qHGfE 8O&Աjؗ>01Ğcp}v7?G+JWD^rÉ~Lo\~Y`-<{$ ELc)/xP,wn-a11/ճ"nR4;UjTqMHsʛ BV$xO"f(FJ7.pɨkl^ ` b PiO[t!QLL1&oJVo\*ɘuz!i {26hiQ9j e_ȅ e?J W8Rs )rٟ͞$zI*O?Ejf,ľ;hR!ۡSf3 TN kUĿ%~x\Uuޓo}Uep!^ \f}ԀItTx* ?# a9a~lz'[b"~v | Sx 9 b@Ķ=Qy\u#a֋.htȆ8ke$*#YiY U{y:9&^|^O ۋeƠ8V\)3שcȉ9#ٌrHM1,{gdU[_RH-1-HH*6ω!qa.s ׼LFϙ8/yqs`%HS*i5C]OębNjµO{;qmI݂{Azjv9FvHCbM]/ͅ@Zӯy,]B6@SQzN0õjV pRHOJG`/4l8cb?G!=ohݭ̶BSMJ2s&WF&'|K]:i=8> Y4t,vdX;:\7E Qu9[,5Vf7rZl{xnгd}>BcfxFOM]+Y^`q CIRò0=p;IHH'}1_΃/X \|%KTeyw C_ ށh*v!Tf!{ӭ!-n7Ӛ*^.\!H w v~~4ꏸFnڱ| 7?G' 1А kVT95p78G|U7ԔcMv kGf( [vFDv/7CB#!=7">Qhx"EV%[r3jݛ5w[26@KH< iYwVӰp* 0`Bxz8O,Fٵ0d{ڨK7+k?X2Չ?;Nq!Q40Zqcۗ $2w˺j%1$O,QQ24&[Tl qU)D0ym;&}EQf_i bK9$LC'՚ JE}_WPYǞ( rҏ$mht:3bϘL sֶn?*0N\bՕ A㣷0aVjcZnRwG%UZ'!O*[-o0.3 1`y:cKo>ږ<{c:1Gq .vg ru (DTcinX+u3Gr#(ez>Hb@QLs{D-mDď̒D٭1`ZEb)lV̛(|̓`?R + 6j٢L;DjJIt=&[>!]s۶ԫ-ڟ!IRsNrنh .#o29g Pt~[kqh]QϪ];$Sf?*nGN X/GG}gy7cj}n}DͿ-Ȍj7}ZƲb Ε$]IeT޽#(EVt$w0̎c0+$6C@FԬ_ C?98&CJT=9bI7:)s+ng追H{şd͂jk0rѐ|DC8;H MQCG7j\LrG7)<6\k: TZٹmF)h%l>,խdl0Ks%$ Y8NnPY@kvZ8a#ΕmU$ s";m HTKUØ8y ߤ"NjXQ8ah*Q#ϒO~]c/%8F3n<n6+LhRP9.xUu%)!h.]-`F<[[%>Im29y_@(0/5W1Gd*trўOZ6~kN>/9xS/f.XJ:cSrsXBWTVF﹪)>dF٭-{ޠL/pX(6 ׂ"BXɋ#I4@,aHMA1#] 3X(S>+zz"1PtBeY iK,g;^`xd8DPɩ6&mı) *;Yw]zJ-UVuO~>w:(xnsx_MI_kSWX^xñ#؁%6à6iLDR+$?;/U;0[T9K`Ў>/A^4.X8~dwVc 4dchz%颥Ε鿚Lax_7.Prs)47؟M[@x2Wh5u#9k">JC]Qgm<;U%GU*ť"a`CpvmX気(BBwGe4T9JFâX_ ʇQ9nNJ1*[%f 'fYԽaz%Ή)M_t\:f!aޚUE}\վúI1[gȽ82'q. nAHdvyfݍeG.- % 0f$ B"2G#i`HgF/{`  qGڊ%Isҗ"a x.[J7H.ܕ T3Qʌv xV zڣ ƎxDi P܂9da`Tge**>q@nnLǓ9-C,pkG,^2%c32V9[f -TY HΖq:*;.N†SZ vpĆG~618b?&^5.jK7Jj8! cb*q߱)0oBUgb蓢B@kkAɩ]zT'6d'?Ig\b~BtCYQj" *%s ×tUG|ˏQX?P`2NeLw/R1r'DxMi bUp ɣq-o2N^g}16, 6\Kf8id2PYZy!gqd'5_q'UbWMӷl/qp%<]kUM1t6 EM>U~"G1UD Y$2mn!'U1 ti!+ @`Е{K0]#9iЪhQ:qPiVW5u!R¥mČ˧|bw,0@qd(e3ਮ2wi>""!!4F0[ox{؅ +80&~JKI8TFJ'wR JS