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 :5dL| ]S HOL-Nominal-Examples:threads=4elapsed=368.051cpu=1329.400gc=81.484factor=3.617zXZִF! ɾ!i]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AϕP^Dz`jSGw?sx<0l?M3 MF*g 2^åKY4̌{L$jr`dLRɸ9Fv\>O\ndV9VCR. ^ŏ L\hfQzG$]DG{OzZYjX0iˤ<]z/XtP R =Q>;.|Ca{A_)RN V &ٳ#D y 6ظc&}%j1uʏkM4k]=`Xj4ł]Lh(1uCaw&yfq<ܓn]'=M#^ވLón@h6zB[ÿ"^ U:0g$ŕMZ5C7UuQ}w:JwIɾ ]]qaZ}2ce!MQ+'Syi;u8Q|]$:-Ȱ >^:ӲɩAn ] 8`usV-]-j~(;dj~1hf羆|F>UfS#*#J߰z`EPX$sZ,^T6ũ@iQ3|xdz$?Y dndVGJcxc;WNgX?BB_!||L4lQ3Rc(^Ȥs_ :O딍dH\Et>v]JL`1i,p.+hu5 ]wV;Ug_ znyp UôiJ0̯]jJAȟ4'{_dEgä'wuh?Ž*(?]E^ǫf+ZJ hFu |W"N??s?[v08pVHiy؎CMs qE` [|Xqna,s$cD 0]s0|mXrt{Vʰ/SV, 03fF!@.l4n|>֦%0K38߼;= #~#ux#:<$Ǘz$6QΎ<k 3/n] kU%W l8QRN4G0"Z,)ɉ2|BU} 0=W0V(aY1ɱ5ӨY)-Joܴ$ϱX6 ZxR+ lP vM.Oq r^$ ;+~I n>PыWJ?3Ԅj7Ĥ{GVOjb?Ӡ(#!jyx:4Nk"ǕJWs*sLI+۹,)% W.&PY _s.4m"Soi|  *V#̴{:ͻC qPh5Ƚ"Ъ;Prdh٬I#_ ]6B^b}jdkj`()5|8GMQeMl7&vFD-Z?_(Pv!ἲN{u:J{`Ns3,vpm-J"Fּ\1HwbV*sR]go_56۩Oj.}7龪HQNmWZ<%KOxK9C a[P-%\%-Oкvej4lX\d1CM.RNʼ$U|,Y&Zdvް*߶5 o1[85P3C25WBgNr$Cx_>F;X<6?r.UkAaa%q'Ѧә35C.LNi)D#R LICl=-l}L!}ҔTvrՁޅWͨ0 L?'Sl:ki@t9s*/:pԗHs p!鿝 [`,Tn A/6-E*| El?|Fc ?j;5 ߚTJ\5)[$,ЯRH{ZRBHRWkfd~~eC*p<.ڹ.>GBq\ \M&={aT/\5n_> EdEfNB:>[RI#`A%Ә1|:[\_qOaQLxgBEуDҍ x؞Jm^"ka H vW-vcH+}2'6RNR?ݕ^*$6֟Hg}./,]YU2*BY-Dcĥ^G2]ـ*ޚXOAP>$/լh^ML:.d_56F 9f_$XSw1ǙwMx׿L=/e DŽ'B5`\V664J1' nU 6b7 }[Nckb/%{?qDܐbbYC1{=nƝ(۷^Ad=S>Ꮣfwܟ(OYQ#Hց\xqb\.pnd! ks֗w)KOq ٜ@1l73MD7hHpBA(^x,rC|<gC(_7`I7d& 뚫W C1$ZՄ9cdE2_ǘ/oDgV< # ;ﻳ2!;הSNtnqiPF!$/R!]|#0NE *c%}M55at{%bNZ | <s6 ;l 3r[`eK`Gp(]mA@mi} "GٲkYqw짠-%f=TNr3GRVݺY@ uՌN<< Ϟ GKG;qDy+<)ئT@WeM,ȇRvWf\ t$JE 5s)8lI DV/XF陉@Z|W'3PO9ުg Zoߚ_r@`n˘,R@W[&(פ=FMZALrg ao3)F^=+!pwۡb: f]ə 6vcE` G]<m#3&b@QۘNmԂ:"svB̑#". N:bcCg==ٻl WsIir`e ~\K؂z9#s7Bmн~QKj5,M]o>Y.TxuRoXRfgMس2BUnW?0tDjy2nfˬ~wcNe_z?T-iRe}g| ʲ-px{"]P]",$c?҆=ze P>2[# x}/\ߋbvL.@CmymcBꘔ%2ҥGa" RJWuXn:.9$LϦA]50 *6$ye _i xfMۉ?onk۞Z%ju'{3;ϡ<Ʋ(uBKv"_l١C>^E{^مXu B1♋BBbۍ=[sMIo-y q`S9 X9F=F}! i1"lԧ0m3uz:C`¥F= o8pߴbe*{hvbXӏ!о,\6Lp<ķ' i'1lTTOÕZA8S?ogmd:uoܸӷ mlT ǂkh4& ~/dŒp+ḿM7 {mެlȐ,fEZ( Jn.g^ Kp̒TGRfk_ wz&N" X0Z~*"n6M;4WKd^x;} /7HiTH+Xg7Ć )@ncA7~=(U{Uc(cυ}N5sR{O"om,Q˕]STk' XZ8`ϋ>t9DRBOYa9] 3 P?$ 6v`RF]8E ̂u[sfHGeL# Pd\gem+ٛة.lD7vj8x~@QD%s`BhӕJq7-Bz0Bߞ*|߶EG7oZKd%|\)s2x]lP8Y}kWh뽫&᭩HgV,yJf*͚LHڦd?ZX5ygLG@PJ,6p/QnAgU07~-[l1_ܤ}%ŶvJ d]<=({D;E^(2a)+. Fw"Ǽv=m,wm5B4d)ްM3"7MlQ(*46 &?x'b_g"pt#!A7{)/+,52?JC 5C> ,lJ#ʲeWaluqBR ~!.ad%,Tt,5e HNgJgt MU\G9czy{ÐOid< g]6ցج"MhO 1@pQrM_! R:6 שDU1OxHdq:,EhTo_?.*A17u"8 W`$yE/%KȰP$16\/QKdr0#dDI^5OW1U@WU7$OQXXB BĉQ*咉/+KO"= BwMb8 gfUT#y{Z X_ÞiQ* .̘ЙR*5>0;;\NMiZ%z"&7R bNѺY1 C }E3R\╔@F9lxՠ .[ljVYA_3h?jY2/f%?~PVlۯO߀|RRXV(-itciLou{Ÿ݆:mgp]W)/ްPQW Kpg:U+/N*f&%46^=Ԡ9Fi3}G3fPB=ڪx|Y=p]RI;p5u&kx)SEP7 o+1 "nXtT[hƵH;'䩚g{ HP%cD/b䇃#;W]S؆Crzpf"J#‰7HgoxJbΒsHS(G26%e!kRF|$2㊯"Cr KP꘽̢r%NRp0S XއuL Ps9Zl:|$G2%ױLKmOgwOƞ!<_# ݥP7[1bZM[#9sٖl2P$jMDx{.t˿ Dʥ:l!i1]['imobjRjAgE޲[e S5B5SyBPCñiҮ4?-Ư=y?$4o%V4vH ^_,@,D-͉Vv3F ɎM;Mg] ުܭωI)Vbք9Lp3 i.!D냎QsMӖ> cuxÍyFHi`q_T=4w*A)S6VAb~_)N+5'V-#a?Zsn pEȼz," ۤ e7ZV 2$-ڋXn+bөmt놨+S4Vv$9u2Pit)Ds"VLjWG,748m5l=΂ϒ"|gmb '^i1ּ2˥9Ь]JOS_!V~HNJ ,\:)n>war*=/S} i) j'O;8+>1im&?6i #)HJXC~ggYZ7zXZִF! v]ŗXiɟ1ʹ l93攀Lx3 ael׻7|O@AQy;i|gI[C8/Y&M{wgG~).n{x)3B1T?ĞYbbFe}?4\TK,QLx*b g xa0V@q>Jvg;}'/oS}ɀQyд*ktYht.% $h{fQw+\bϴz=gG][^ٚ:?1}hyg\3TfRQXRQV=>dCXO}a/XZ.0 < ɓb6O ,Ԅ "e?w<+S>W`'.TQf8M6WgYZ7zXZִF! #c]ŗXi%Br)045DPG^Qןu"ObW=mcv)/ k5' =# vI iO#QTkfL5P`.$93g*ŒCw)(^ku_5 aqlUBCzÙ] R=X.9vIϯgs'o{尻{VҊG+q. t2]`ܨUwi p -6 c-L&8:]D.؆.0##hssBԩ#g'R~V ^hL2g__/ǝzQPR>)T>3vz"SZIZt‘kDQ楽^]r e{c P D_~`y‚dʒq"WV'A!SӇ>^/|k0M sW[,Lpf_gX G ݻtbb?ĜY?5zE Տy]R0~ʣA{='PTݐh=[+i'R%9M(s*~{A a+˓o4~,2I PӎIO-p4Vv/!UϞs ໠ɷ7.Pq"I0/deaHf@ŀv1 TyvY4ݐxlܺ ]Yf [A. rva_ƽ:rc]y 2檢$;mDrcC]߷GTTO-󕬞VqN6J})r*q x慰=q&CĥN$$aF6L71)>.?K۷dnp /\z`P^Y `QT's(x;*| [&I,I9=I=uzeECiڰ=7MdXd=gi-ݶ~Eا+Y qQi5p\g,ZoRHPD,!>JsKCn|%-P";)2(_'/5'Oوq@0w6%\g%21UFٹ;Q ^Wo X$Jy\&W {Dкj:NbL4m0_=f y1 L|xէ$.d0X1pxeSA)aP`¶DG(Omo;qny-n1+UǏ\t\d6ϋEs^< #?shڰMu0[wA)CYwb(pyMu%(L QR2=ƤR'LpfRߤFxD׷ Qz: }T-desd&.ԧU׍Τ}Ss ZWtmH]K783 mgQN%1FK ׌|Š)ӆE԰%]\1AlRh+͌>UidC{&M# ´*Ϲ@w6/,džP_FY}EDl˴B`Qm4VC zY@o#}M)~B5ӭBsse ? -7}d|rv"$]CЏsR/NEOf=$m'AQöx4ppOV֌:&P@w+\@JWFvBPso;/GCG&%XCcBpȞ@IW8y"cp,gOP,PȊBC}ڻ-i9}^eig`)9rM}Cg&3uh3plu8ؔ6- _ ԍdiwAz_Ubw1-gtyxiXsHn}cǪdBssܗv04<.s#~5Ɖ89%w领>Bqr,gjrS{7&5GVPT\CeQ MWVAZLt`PoӨH; f)cϡ`3 U |+d+߇Qzz1m I s·V&9$࢖JUv:W'oǸ)+A IYA' q"pmvrmVl;/*e Mbg3^5VAʤ+ d_mȁ+`~xPl3Ƿi7l0y U{>iv&s:,+|1yYc Qy\b OÄ XBt[ɮ:$x1Z5m~DscgJL[w(RբSr L! A95#xFNlGLi{6oeYߵ&JSUJZ,&V~+c@L|2'&)y9 4=2Xeʘ V6vGh}h=]R9Vg ʋ8;$W>E/ij?5mCWKO KM MJ?H^W& 8ApO2jI$ib|7I Ϊx(.eA*?83"=m3|(y5%9H:yŴ86XA1o:tns{_(aWu:#DpӚ yXt YiduHe=~q6Ԃmm%@XpC&eF?OVBk)7 1XPW@k~ O_Ap )?ܔtE翗`[1d*T Qdg8J/76mO:PV )  iv;OUl~-g.E*("h덪|M% U_Ue6 =%ֿPcaNVU*cf^' i琳,`AHmGV|!XtG#WRՍq3Hw>#XuJ4bL|CK9BO )]GĐ5Ǽ$u@Q.~aUVഈXU(f6]Gh.56acja]iʅ((a-3VoKx2/pu~P,ƨh8e"d\\Z@wFkfG2(D3 _KM}񦰚#6/GeJ-lrϜ/I=*G;#/?2k@C;ʷ}^Td&(%P!A]^lY,޼2{3(Q1Nx&FfdHhL 0D'G,\?0^9zVgăʗ?~`9 ޘ`=T{T2y~qm=WGV9>N]\\]h9nk^% >1_kV}=1ZU"J9h9~ra,XiM(afBNvrϖNϗj=Ҡps9ckݨj_fئ? P4Zģ\W/m6bDžQ/9X;CTB YaqY#G ٵsC~S2qvE"mlO8.EDdc|h0m쇰,t ..ՊZ*W6ѧJV]F,zQ7V+*ma֗9d0 e +(H4mG:L[3k^z*5AK jCvhbM^mZR27;'@“ąZ|DKA跫4 f5Bᜓi%0!mQWk6=t!)Sp&Ny60pP_ܒxT`3/ fV|dnࢻ><7d71"ih̎OWhH6OZ ௸If )`gE`J`)j#2M#aUkBfpVjբXhJϑLIr74"?)Wp%0Bɵ\[cwh*<Lw(c3zΚp[5f#1} 8D} =2 J+Qat,6R&ޢmnqjldhC2 z#c/:$9n ng 0CQ}^{smvV\_#I[Ժ->ig<;QI|6>'TbiK 7T{ݑ^%B~iMp+vD@bՔ9\!Z"5f2}~ʿⱦ{O^u8kLC;OnAanQ֍k8 uY$Ա9S3NC!sTtKg8~ktݘ#lZo +颶}Ulz,c{-s9B%֕}f"BJXZ.:M~YѴ(%a"Y #޳דC m "R2=3>xz+l_0^Ƽ7OՈsXHDf=>rp`ǹ7)BB}p~62 YB) bp&~Wvs.4^zc`Lߘ 1pA騲f?0CfFAݗ6 j#1蠶ã ʊPzai{=ķi~mרBuqh] x"i[Ȫ$LO4|?HFA#"C#62d_?DR)"DZ /urJ-'D C=u'&NΣ8VG8g~E{u 5=nM/W$ɻ%ad4܄iR~`p3d2}9 tQB+1_s爪嘅0|c&4̵22=QsC'֜@YPH.5d>K=h* ~H'Ȉm^/tbǏEVmˎxơ<KdX$xl-'Y>v i:KNߡ3]ڼi a(e_'!s5<%Z 4ܜ8DeaHf8U5܁j=)FZLY*^*7 SV|/{%h+}#}:m7k_yL)&\813}x5FcJ,~$6W!~:GmaVNBe`Q;DKX￑&PdMb۶ =x C;jڸ.=P16Dq_4 oTFP`"i4JҤB{Z){勛 Y/mݺt2 '*{mV-efhoGۃ*ՂGhn<^Ƌ6փk4ulСNk~Z1aWaV\lGᅪB޹Lj'KfpALjT=Ě_3N]u-DIe2yf<|u3]I ?m'󂞰C!9}TPDqQb8#s ?t@L*oGt {0Y`<25j*?u (p }bNR Q4\ < )Q;mMH{ZvH{#B>q m>1< )g|0;kk;N;0k=pKtM7R)BB\,~xJ I5Ƅe}9` .%DɉX޻XЕ :o6p ?zNdKuNaչ*?+GoVl RZjј[Spx-Qm5H}[CFZi,~W\ak}q2Qr.<5Ŀs_䜿fn46k7C#`⢲m\&1\Qh˒AdyZuUIgOUZnd"#2C@8T'$)g@zZYkLu nr⋉";i.Q͜6+& Z7\#6?x7}ts/)y[?c )kvvӡ}*brJffAj& ŕx/#f^=;#oJ NPt#@f3sq3ӯS >(~<5jL^ߕB/OtNUYɿw{x>x?M@:JoCD1`Y z>=qj.ܢ:@ Bq?z(*-S9 WU>}DHt eLk bw]e{@szpxN rw07{.bRޟ}y-̃g"h{\QgÞqNT'6grS܀LdgJ'Tgفv|;b#z\{70_@".<ȆΊ|vd` JWZ 'Q-i.XvAֺM+gn͆N KXrE*ngOД5_k{u% de=I*Kًo\LĦ*>a00}"!.z)݌Z`x6hĀRj⚝,u+Kb*noX/E^;K ׄ2bW,\I 1(.z+vyی1`fp?3R}}I̤Eדqx$Œ:[Ag:a-^p( )J3_ ͹~j| M_XVZ>ӭF;l#>ў)Iydm].)hZ3{tuß~cHNd! jW)*/"e6;B> EKKcԧ̀u1ުT>GdVk~x\b2 ܃ ڜLoՋ +#V[*_АRny-,ڜjF" D=Uug]*ԗ(uz G;>o! % &qsMyP;4A:\BW!=b2ft>;;]^y(W%%pKGC .nb<~.B,zHlF$Qֺ O90KK^߉|H-CI Mz4['f" $lfK呗nlBMw 2\J#WE5]<rt[!irk?] ]y0̣^Džtj,Qz* ǴM/ǟlNNƮMحʫr+q9pd3d2\>60Vi_m)-;GJu{)\s4cIZ&wrY9[:$|vηBPYz?L :| l`ns+;5,C bh5^叫7Uphus ā srVM:koرRYdEo>P=} plNQd`AJR;ܲz9ThAO@,>].΀Tqr?~DU wATTȺ$heg;2߼t^2pLew Ljq>T2QŌ'vǁ'˔E|vp,8AwT (zöl /!^] 1 m F~9o12ȵ 2rXU#o$YcT{X!},VE>(6<JQYBpEM#ujm-`n-(t%h񟔰Q9IfyŮ^o24`/ ]fOT6obfV\=.}yd[17؜NiCXz/[9<(Ce;%my6goȅpW4( ^u3s7 P?SYheg0:}}@F$ռm*p7}|dpu;2g1I.[_QI[Â$C)(Yc?^*&|/)w |hI@o3̞t):"}r~$zuKW05ၟ0ܩX0}DmʂU-,?oZpЂ37EfӍ; 'PX\r_](ebct4NMm#pF5퍑ĔVG+WAɓmIR6tYf'!)!(]e33ã'dmEϪ@{cwC_Yڈvu{WߦZc5E BWgOdFt9Y΋䋖쇂%߃GnD3y$'Pt.Z#r88M~Ez4VBzp%0ގOO)[z}Z{YHqAtHBd+KZ,$ F6DƢov(dOfdu9E?XUF>]<,;THR֠[[㑎O?,H^ǻXѠd_F\|q11R/-krR^qf!erۚZG& hVqp܅l~\>Saœe7šWkXӟ|ޔ7#Ƃq"Q2&ѣ_گxtVy]ij0BڇYH\< |l~. YG^7VspyD0@ys2*8i %b\8]6ziZaeL5~`jxܑ K5d͙SPLRI7o kck\aϮ}"j5U.q0)Ո f9ΫCĹ}rT} RS<k{?aXeirfcvvyvGCdyYc٪.`j8J'H3āK&|r "z}}SU sMڟ'i\jr"{4P=ϷbdF}FwKgVbXv#2+WՑH ËıUIPS% MyWDmC10Ҡ -ˠlG:!xoK  "<;5j QڞELRۜx4m:InkX8_"60Lssy=1IFRSF]2ha(W/dc<&Q6($}` N7ϯ(`r|ap> GY$ *qz 2󹸭Od3^lɥGnpY"USlD,_RP+%~e XSH&ҵw `=X/ѸBOU pB\ퟹw a\rYMU2+ˁS>+†m@E0B3\[j*W" DOU1M\ W8x&7xhȸ5^Pj {F(o]OhNi~~=b<XRёxeHpRя+ϓ>n|z)]äp.ӖICsF/3ǀ ̟ѽiT8qY(TD_Ij!57Tͳ>ϑ1ڻiU4z:i[LⱿGa͵p) Frπ;^1<<~+ܩs ~Rb=>3xh>yi^j N=P{hM$?. "+9IâEMbp4̪}pCk ̰ u[ȣzwiWY1Aj^%~%+VY5rH^g+56 _~Ru2w:1ZC!N&.G%ǀҐw~0t:A"#(1ø*.eBzjGG]*ŃFRHfkTdLdÑCw}n~L> sdlMeu%7j؋O)Ќ0>v@0zi*VbV܊0#S֏v~@aWuũ+ͺգ^v0Z€+c96dLkO l.(_sG!_; 8l &dPPF26ciWΛy0 O*9k69QR++_ "3Q)Rb YgX:Xf-&a9E*xЂY:0ō(:[@Q];Zq)X"Of̈Rʪɾ'7"Baj07P$Kմ*e|-z.0"_#CݭA}ЩX@H]sn~D%ְcH;^mFZDnH`[ ^J?mmlQ|()һ O ]o.J,4N~ ^U3@:"; ɊrK/6;YA̾9Q$2k]x <ɂ- \QĔrykִ˲ +CrrֆnkzN{s̠ԌK(5 lQrV^V(PUSatGwZ5(h[o"S!v%yu“?zF9ON,= X@ =ntXПNbM3w΄-fAi"9J t8}x_{}[)-JAVTӶk}ּ ܱm-9M˘F\.sa qO\J7dU]hs\%cuHUtHk6j_o[?/ Y{V „BC\~ Q(OޮBKlt`MR/Kǫ}~CqPsܧ싊 >$4 6XE$1;.fi'3[[²`Gݿ@WZ<9s(UCw/,( ~Id|, .x^}dVb:/.b`>a(VWB'Q!7ΎɅ:]!s6ub Mnu7-xheJm5wͻ%xV 1x?sJ9¸+NFܤxDŴdP9m3XQw,@E#|`M>7l6m,(xq020uuOlKՏ,k\OPz&/cieǸ#T;jwX@DG,c=Z+٣V9cn;}׌3wqHemuLHkɴ_L; B ZW\tDŽD}IP3].EbZFRUEu! S``ʝDNľي;gQ iܮ4CԂPeSbmW@P_!Ϛ|xhqG]-fLX`A w4Q܅w{( vGy|13@AjuGGҧI/pEc;yj~Cu gzuYyB㩟nԫ*\ hJ¤i{ l"M:tKZ%iSHuK]237^6lb&SCG_C,ujM5gƢzW3ٿ\ÿ4L_N\[wЪRB@2Cڳ_xo-%ӳq+Ț^D Gw\YT2md; -:Vކk{W4}!:)陆o(Q١kV0Rhe%xpupo4UU]/ ɚmFT1M #LHԆ=wkvD𩒬(huB;1 I  c E;Jg J"u\[:eO׍Κ9ۇ-9*XQa.Ji=љ!1HiNPƩEq4^*~[ၿcDYʹ4ݝI wC͵d/>K7_NaE:bC0{L@1Ր=¥`{=,fAqaތD5#zX4bx3u %j90~J)J5?i+F!( gg[K)B %>u'[߽ ɬ~Sݳ1'z]uB+&ʁ[V,%.)Z7 (ܫyIYoO<Cʐnm:-HR|{+2,:1Th8Z3t[n"^Jc $E`U[ر7.Yc +W[׬/A=TePBSW7mZPZPQYtuW>+@ޓm;DfIkizV 9";"<FĮ'RÚb~u` /뫸3B/flGm<_al)Vk %jAoNz}kSvbMTW_QaC(:-iЉa~LdR{/Q_+RXCm6^XA&i]m)r}wf\a=YZ-Fr%IkS+Fx"S(e>b#Q,mJWzb/6o0ѷZ-b P$]-.ѷ1Uws&djp!S7lgɸCVOW4=y&ث]oxX{x_QU)JP0}ojU+\V 1#f}oxZtRTK>W7ݚ}.M88mcM"kO%OT>H|'fh1;IqΨ3Q묊Ƽdnj( >փQŃČk*{Bх#F8 Dxv &9C@ KZ:]%:VW  Pt{-h}Xrg-6%j(Pd jKͣRU%E y), MEJ OM .jB =AMQk),ɶrR:~#]^&"WWTS8q!5,A+R( e=m>c)\qU~>'TЍѤ\kO yh(4熚% zofl]QZėJ|5tzf~pUi}Р[;Na->E2dO=CaL@mv_ `117f!VxY]%Y⒌ ѫ뙛jz7#K5.sZůB]S[C0$[jy|$G\uaz쯢ײOS+W`?Yl vC۱I@:<5hV8-RW 2` ߵŚKR P;mWǣE6nBYDj9K)uE3RY s7xK]-w)-_QK `U"*bк2 B5BI8$CĚ՟QUB;{ )D-?ƭU6&|J~6ne_s'VJC{V ְv#P]LGȥ(؍mw Ave8:Pu\Ĵd;V*P#<΋J81 i#Ld/'<~;&s/;x-5trg9-,M>u=S N?R!e~>t{Wk6; cq2^D>8j Qڒ ?([:*b6rlg3TuD@lv>D Ez!ы"V^;ia),l%xi|rBg ɔOïM&ܱ֫cc3sDJzJr@Z P%Z@5ZV1U@ ig&M6Ӧ$KfwBd˨-$"<>=#if0ܹpnuzs:Ű4tQш<݁ekyV]k$#$`x^*?>v|wAiܿ%|;)5UR^§{ ъz^kᜠGx4%R\vn>K \׉HYkD>i`CPhN%s[[ζ/0Pr/_fUbبOމ20`3z("WcU+'~{ӉiݍVӱ[Ԩ B|l -QU{GMBQVf[D2$A,|&I؅~,oҴɢk¡W^+MW E{+AŢ gfl`Ko**8x3dS/^ \{bض~Ai ToH]<8 +x&EXfDIOG^/,;5J4X7c!#֕#3-}'\3ƽ.#eƣ~ +@ 3uL Q!"ҢHs9҂x:Y$PZZ\i٣}em^W{\u8<*m5猅N{A; )t$7U0YE50x M!eiم v. WbF`Uٙ(=Y1U]“^$3咕n-ŵ-u`9X7}`2}Aӱ!lƓR>BX >*C`8%]X F C Z1J`0$`Dat-;x;^S ´t!A?Y2%nԌ4y {KP-qECv僵o'ns'p;l_^Ɩ,B Ur?|Vc-/{?q_u {H7d͝WD9R4Og&-'EHx_=ƅ m vƈߓWVַfEOET"|klzBPiMNMy Û-nbz j.-=bYBIL迃#GKemY3uv#<X*thI]F<m^ڲK ̹_ArFPz=e[t3I`Y ;`!%n!heg]1+ nCV,EF+Q|pHҌEtڨT60'Vس=L.e(63 rQԚ紏30UOht Wcq}c?R>ge$5T[ך6URok;6:< N41   mŤGOa8 Y[( hאjU=~uH~*/$K2fik1PX2Em%{qBKُ.F<ʞ-ߘMc%]W>4E@EXgX L5d9ULg3Hcatv{gKEhsdnl؛E${rxp늴;)vX tb_%P?L[W' %KI`6DGcNېݜ'B;Y7'gE~!2g:m#^^v}uSr:O_R&LDi濓YOLii c>D BZ`?NwM 0L)r)`ʮF\6cgug+(_Akbȉn,&Bἲ]**_ V8-g5x ˘SK *T߯ןA&z!3,(% ۡio#R;c^ۄ W%dIAG%q]S="m߮]c @٣q+4l`"Īn "3T%Gov&;8QKsi/3iuqr pMX=8*j1qoH;MD׸e (xZ ɍdf nзXC']{a ƛn1T3Bz@lnQ"Ma@7 /^\ 5<[ i$D8#B$?u\W{vޭҋ@ezoHdPdbfJP1[EiY9瀪: ]x)axR~2BJ9A$hL=Sɀ}0tײlm>0< }sǻ3J&fVᪧtR1ӣʜޯɒM6\0եBDnF1 wu|F_+eޞR4G~PXg52?2 XYOtFD告y yW מhQ* L @BQoQŖukt3OF M,ĝ0tAEE|tD3ͳ[ko/b%ל4d])*a:9 k[Y&iWF]]M"?DI&/HB)كlz{яCQK,緹93CIY{vn7GVY4C=;j%k r"ĠNFF8*zQtL'!! xYkb3 1YM+z')؞`'9whuѥ6r),߻.C1Ip6ɽ%w PfsVSC˜WdPyxEe\Hy#\W(*1pC?ͺ߮ 敵hKJhx&7m+4Rl5xJj=_R6|oV*|tCkNQr8.6SKyui j~jrv*;XP):Sn- ~~SAEvԽwMT8<oD.Cy*?dAHvx*,#ᮤsUd3!7͉65l2,!D=I FXPgm ]>`K:;J'g4n*5ܓW7;. +UTÞΟ(H%m—3А3wf+D׵w:Cw]R|@ hvC\mpOnm&);lUA" *Z_yOvm I/+~ɎvU7X$c`Hc[+k ΂Q b@Jd(2 %(d(Uv`^fy= ]Cv]BT t[]Zt&rw"`T'bl[) .A#T!PX| Q`l/# נf( +4^)A@mLT2kzXqaqQk$]0p0\+yM`"MϦE4DvZ/d,C-ߣ~f@N qU0ϺBR~\ m֒"Wbs[qcDP:-Jں&żP-âv?- j S>}P6IniH1Αg>&@oi ~|daILB62܋['޷0ZؐdJ$n)=c֯{qJH{j11Iorhͅ`o,H~J;3sͩ(z?8*-`΁guÑF_7 ? +mɃqG<6Tj$Z,%Eى^CL->aL]Q}B oc&0$a8fSf2bhB/gYZ964ef90dd46832815c16150579e81eea3941b974ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 60601329c3d6940d27340955ebaa24fca74dcfa6