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  l%$< ]/]HOL-Analysis:threads=6elapsed=337.153cpu=1625.532gc=92.340factor=4.827zXZִF! iPL]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?OA[" Bz0@^[RA\Gq!a7RLlln SB7 uAzW2u!Jd"~EQb K M^_:[Qs!F9R`c#qL° A_ly"k k+5M}Q 璡k`# ʇ߫!8Q{OLF~-MeA8Jv+<5vg@`>tNN,3pa~ǜ̻5MU@w"4l|:]_A!3ra:yR$)̡r.EW/2#:Š@aCoFrhebЈK`#PhRly]1FTDx ѩz1϶ʦ@N`t((~$AScG/:QG(d&)V % HOL-Analysis  `:I{8n{poyѬ-NP]x3qƶd"Y,^q$]~9VslD%Mt=P^a*Qlq>of]dL+k/9dv~ى܋x{S`` $)9פj:r욖^x@zZ(#W2~kݖ0N HOMA'bg7Fu-KEZlS2aGSF(pd ?G%\xQ :TneWMm r0򺂑SKZp+VMYVWr;cl_<HK%:ݑGdbl@o_A6՝,C7YL].yղ,J)oV}hF˝\DWƨfGjpA֢~gPq[8wgJV$+2 Q,!MwM:{f\ qCN0eni_#Eߗ_bb[]_D(xWQLz3Y$!*>;䂙I-,+&ife&XlQyXo#@u;lv qlICsdHXPqh7_H^b'ZԽdIo\zv;;jqpju`im|~8Uxhr9ӻ$D"QYƂq3B3I:"l{?v^t-,+03"ݒi#RCL\ePv7TH؞T֯P~Э(t{!&b7cdWT Wi1BC$nm0SF!AkfbR ucҹL(\׏УD~#/7xv+3j aNueKtyGо=w@~ϧ^O1<0ֽx<\OmHW=f܆?;>ũ4Bùs{]%3H8]A,>`' v )-6VUx=azW %hf|CN!}6 hN/1 NX!\ƟmTmHW8_QAN;1ōE+-RP_f* l <w>UI;CnOPQP ev'PHIvSVU1Itj!E=攩`( |hbPzzM'hIG̬@%"! (>"hފO@E^cCaX@X립p{N7MʟE`ypyX颙̓$ 9 (vUV,J',s)$O-#RԘ@[NLO%u#_fpwOm©tIq1A떅8C,E<(I3ydti)tr,k?Zo#teY[i2.RH&ePlNkMhjl֯kJ{< mi@ڽ$I \Ձ}YFI`ɥ[̱Jm'Fmnڗ뤎hLLv8 J6J HgN!mVqg~Rn^.}2-*3X* pUR(IE 'zۈ\WW ;<8'<6Ȥ*|%y D\bo/jgbpQʧHZ.ILE9 2>D1vfBފǐ3K)"RӇb*[sg-k'WPnV}rUp~&'U|,\ض\J&˳YvX/M2.e"QpG] |Fr@@H/yxFNݲX`vwpG*s Xl2e2rnWڵyy۞*D]O&BxQo)bvsdJ 1֞PU{]0f0\3''˴1t ;" YO aEޭ_7K$6] MwMB` |mdvyrHȫ_7O`I=Lek0cmLMXlٔm Z :3 T.(4\Guˉ,<|-_S̘wzO$IբB0ps,DJ;\:"lcG EEQo8JjXSXs%NnSg q9&V@Ӝ{zV8M,)p1N?ީR:oqn198phɤ,9B2S'*$2xM=aޙB\ՓGg@.1׊~|?|?O:IlipUۆ&Hf7=e}mbk:#Ӵq\,lI'Jw ^S{Qa{CṰOH3 ~lOYw@>#k`Ì; 2DAū.J|x \=ԵR$edX8;X*w{ p bnZS7hWuIӘbO;%dj&Ȑ&:o `D\.[L\xլݑ/_19R2`@'bgNP![6՚؞n켆gËGk̂N9ۚ`eR{ͧCt吒D@uG)bwYO WMYbЅ0L,-lQ[xufuCj;KJp: 6О-yν}gA:6Z+ԥs<{ݣ7R_W&$1(rZЂ>CA0|\M*vN g7!{]qgq0Q":F Wvw  eywRꉾl@_e_ERy5dTDe)P6/;8Fz5*Gs="8x|:MCEmLy8@XX|.ok)kvi8bڼF;]|ٽ:&Dm< 69>UylorQv,p,%o^Tz^h-fEf4۔Ru.{ U`$B$$  0|쮲K~ǐsqBƙr_mƑiZ#*ڜzvoHeL+6\ KT`ѕ6FbG&pq\ cssfʮF*^ɕ6C+0Q>12-V t(e t\sw|j ] kQzڇ].cuZݕ Ff|-/J}Cd| ^6+xh8t"S%@լ#Lq+4W>~C\)O6/t3jC#? C]=VT7WglJn5N/;f`Le]:8J! ePLPyd1[[;erqeY0~qƂ!a̒|SBܹLԼc-Q Bx)<3 [EqJY13@q9$,Q^U Xҍ]Fxc(,ʿ7'Z;Z*Zv%)E}RRa8;8!U@.@Oۘ;YV]Uu< 蛵IĶ?ESwIT9QH}KzŖa˼=mQl DZk䷵l:4ԑ"zp1zRū oĐ܄j.i Rr&|޴/: R=[5̏re\lw̨Tm?Lr<`|ؾWmA'wW?x$HKp K+KfSǜ_ۍMoyFpd:SHu2}C~Vn&8H bB\f3uC-xފ65j(i}j}h :vEZׅRP97h2: g?!Jt'Xrz؜] :&lފ)(~)a/eqsޝ W=iv"R 𰖴c1 ƐP3  wOY=eJ2 c/ž/ ȃ- Iݤ)5_ƜqӉ]Ɣޟ-̖z<Ƴ~uǑ47[[T)x$“|<&@l >$2QciyM -N.Ƶt3zWs#gCsѯf^ҽ(m<RyrEao&h e3x = ;f j, ԞpZvAE^ҸyX>7Ft]HxF82f3\RmjtlGa`N,zx2YG=Emk b`"OM%l,vdM-2xľ8~?eې#$A FWn\TjN~ֽ|֬%:$IqXq&6lW G\ z6M3*:o>!oVHpip X'T&gηcu*ƒ#j@v|4SX$y>I)]'.kA^ф(5EnE?6uj*ReޜS- Z47DM\3F 'ƨ2%}2N|)kn_`SP1[^tQV3DzРɄ\Z`&CWD(pu@o72.ҵ7{bKA:Q"BSlw{zu"ؘۄYtӑqv$$[8xZ{?mo)B>s>%F/uC x6V,΂nd2(W:>7'BWaSZot,YLvj/- rKSBuWǁBaO0OXfWW¾ 65{r=ƜiqXTu')uqyY=ӏ Z*g;Á0 %c$Ai&` a]ǩΦ0y(_ok-r9 _rVi>r tuɘwZpǢԛ\l"w.]f{uAU郥Iȭ Wi1#dHIy+?NX9v@qvySu!y"VN77{Hw Boc pً|xd+ y!G A0X[hn#c4B;7ސأ궊4FxoYp^QgDP.d"췢wx196]#].Us1U̬ !,ސF;{N^ kV8^ aPYȁKKVw,( Pw s#91M^}'kDݥPJnvK)H9ow{K0J!<Eχ8yMFP- V؞EEK_$GdaeRZ7LcӼES{ 1bGhk5=+ڤ{9YK "mu.A-LA&(5+ Ω ?DJt-bR_d7rL@ϧGEu=ki6e]řF"=EOZ4TM~\7GnH Ϟɥюz}n_;Qs4S%閚PCܛq$}4^H@g;Du 4z'LvBTs= \-G :(zHX{Wc9;+(1FB0h 3۾L3/ykC5j%q^9Ez?KjbSȮdJ! RcI7͎ΩcKi |pRbt->hlrҖGi{kY>SN7X GP9 ] U%&jsїtciڒAj$er\%[t@ S ЩA/JDov_e$ZG 7E'lp~^O.ݝʈժZUM.x5[ bA:ꪕԕ:/(g~>(فuOr~BnCZpȋ:JLiC~qfg[ I)"Dڈ8\#ohCʸmJ(IA b얌mUDY iA 4% `hz uQmxwT'P]Q`nۇx/()\c^z%]],0SK~Sx5hTb p:RNN= "wn"4~PkQ$K):rb<l)G`SI|C:4JF`HjSJLʊhWɢx ՟jUN>~d'2+s%}rht:k;hɥN2Q}`u9zMA^~#ȉۘN2t2`3DvV(qtcJ}2f}-N(fR$2O1?qx3h.-/1IDU¼ȇ'"D P|6/aڃE- GTŃcVv$g}!9_6yݧ*jaM$}X$zjՖ.1B)$ۺ,'pW;',PIJ#HI 3uR#DYF,0MP6E·%!q5eG~ݚ˖Z-|e˴NJ`dM(˦gHuҒ+̤~Ļ+h6Z=ԞbtEتraaɳgՏ> ':Z8xvOuܭ( h^6!m5&bx!ɵ :V8>tyl XllKH}4v\\r/?4KduJN:?K$ Ӯh~#`Oj6^c4+݃@yt0iܜv)Y+.+ nz䪩%e[G6F#vFXZMݱ$V)`𬜭V$ af,iz:~䋬$˅J<7fj L5M P |.8R{]6wzQ4_UG6#$AC\~ퟮ]w#?fRZl5ÃGKc#eg_tI`PMc7Kq G`V=WE8$ dCAֺ+A%վ O_DSRf k3֫/f'%K̻@KMRt5Ç{ CUiEx1JwO@l zևyyl%6fYk_=&) 6I&X)AEBsi4Oy)iy$T"3NVgE. j.^ڻvq-y0f }yI'F:@0btj7LS_ʱ]?> ?#!Hb\.2,I}8Yo湹t ?FRL܏A[ak0|zl_x]8*AA|@AS"(1 .ǢE0^7 H(`p:5sL9.b*I:}!.6!mcK]r! UY!턦&CĽoQj/W.B!Mpag _)]-:@zʤ?-vr7Do7G Sm^W9Wgɪ$iU Xq%b&9Չ.dXI W I9u[Z u.RzPB`JT)Qm!?c5tO&]ꌐm֞+h ଗeR/p]o;P<#=d!q!OmI9`ε!Ewsk@071X M[J{rKVB(prO"ms;ysc"*+5"?g>cjI1+bvܭ]L|O޳9*ܧG4˝_ .衆=}a:F Nzv6f+ ]A<!{W#Kz_ o}k^2kk\O4/BwA`Idavop4'iۛq/FwfJW#:;GgnQ}5p⩂׌Lm93?t!@+Q0WULY}Z %ZN%#tY3#L8&;xM[m)t T?Ye/D߯D`6>'3o$gҝmש:lBcV`:dH|c(&wb&0(F9%w L$8hq*~#0u&/Relpz\MƊHYz˹z?tŻ. /V;%hd1eIkS8uQ̹_&eb_fl a'X<X;Z'Rcj !OҮW$=-}Ix!`^+zh;r$Qcusj;eXҦPfyO*糸`ށɪ~yVLri{B$7C׽eΤ!EԘq\Eҧ3Ǐ&UFCj<%m^p8&mZ!܉. 8 y5 AGq/ܳ}bO)4ɟ25{DHQc1*SXܝb&h֚iႰCsycXf?}bT@䲊DYؐHç:߇.IĚCC( 8 BYѱYp89)>OXv:9Xiח[3'&GX;׉?fr f.|2S}g`ej <̘<84o&a0ϹItšGB6Gaũ3r^;./0gZ̉G"QLY'ptr-端SW6ɠJ>դݎ[,]\GnпֶGW 8FUY/UE-4܈'Dtl +;r#Ġ]ЯU Pd[p]_iV ~6v`2$khJ}ĭoD?0WݯI4/ AiKU0$Ti*R '_T]z@]t.^zDՒsJS]a/rw(p=բCen<'UQHN3*ӥooǡODcϡjiSl5s`[Q~q_wT5fj4ٵSCc?L ߹vFhEpX17,=/6Z~cλ!عs6Z_,aQmҜDy ;-eMV)*Kh}v]skJ0Ǭ.mєgH^5:0Rbyr8#wnWwj폅Q#ި= rO"5"Ge}!\t(/iHVaqbF(6aX`l#?RW_J0B?2r8Vp%YFQe(JVF9q)'#K66Ad s~~Ujey [xR g*lߠj.ߙҒd]p9ufq0x&f@~3} i v)ORʳ 0PPޟqʰr_>e|}5W)4ptlLdQ1^Q5 7kI.3`EdiPCE,z7L ҝ""/7J*}q'un-5>FFW"^+(h Cjtn\5b'Crè(%C #mOW W9rB%UĻ>B"|CaE. Y[ c9O(*LP7_\ݕ ë McUn5c5O',$" rTVjWY}dy|%&5Ǖz(fK7ʚn9/c?M \:'ʫ*̙t0D+8nyVkmTPI MGJϷ}"J\iㆬ+%Mҭ&9/ax^06he ZRf㾄.;Y 6u4囙Uk~Cڀ$Lֻ$/hށSrߢg&mpI+5;r ɪY Rh N'!u#ҔLk=IC$C iR NҨUmqRN< 9f=d<$gJAf)/N/\iU=_a-Y^kId|ƴ-:ϚJhH>AyAShwfT-3'C<8 *ᜀˬ;1X2ƈgJPP\}aJ2vTw$2Ef^NpkL -=Du\Hmcqc8K"CyKq+*MbaxqMK2RdX۰NQayAӐk*"Ѥ%nXaƷ5 ;iSm\un(Vְ~ՅܯXS-hCzrjxJiVNr4،R#-MM[dμ%0xJj0@`/*x E%S덿-;L}?M~ؒ,qZ K^tﮬ 7u6+)|LOGRbPd׮Wѡg# g4JBq^Z'bǁ >*:S8 jKzNҫ"q3=CjN@Yj+n,uz /0Z()K/ݤ?-_Kj񠛏G2AGpveP*w*]ԟ rA$ r" A_˦+oES{7и|0UJ[ .}!Pbzμ&/RiP{X#l~8B`0ARzAe|3* }aqqO-.Q [ d6$ްFjq? /xw`kP-Fl2whll6ZܞS"[8XQ;g~^2 XF3fzV EpgAp'Z7_fJ8+ $D<UFv+HiC*ݹU_b σ@@=Bj̯ڒBC"0|uUrA+cFC)F' vI-;K"SZUcksi]#]o~UQ3%XVW\S֊K/Lz#|DulWxfxhd+^F"I%/DW?ǧ義y$uƇ+ {> lNmԸ.l7OQT̬ Ҋ롾#K<2.`P &|:;ݺzkhC`o;I6$O4;1 tEuF !BIzMԍ2]55#yH`6ttϥ ìfqEB́C~*=U2D q|%%& VkpWT`gxM˪l/~8n yN˄ٕs/ X~QZ*[cw.򶾌gOda- {qʨ'82x&Js&F(c$PݢVMWe(Q_x`|rU?Nxry0Mv%L:t=Pn ߘ%0kCk&QKM)w]Co"t6^8RABل=4#H-3&C'tչwܻnS[x$ EU0@7i_/(m[0oJ? +tSv jJ$4 $D'a7Q- wZ;b =d(flSg) J17ĥmJā!˭͟UM|`XuAP+c.[+3z|]A .(4Ǜ'2FSڛ/m T_w%itP>t= ̗X[lϪw}v݀(d&Rʍo:Cv yDhk ʩn<>rZe뵷Rlǣp+H@y`cѻ>r홃'"cܓ֫l9HaE:;'=iNz ks;쨲*xdWU90kʐLO/J%ox_]ΊSeJU WWZTgYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd4!3Kl 9bpPc?BC2sRW]#V~f-}ҧ̊s~„p+l*@C'ID*)@Cy/1.驷 9qϻ[,3sPl"nCd*o4'7 Lj4m3fh#e8mpD$c)guN6@XPfz}z8J%qC $Bh3D+@>RU{gT!mʽr20.pjtrYVPP:~\`ޫ|WWy9!qk eϊ0(ςdUiu  ~kڛ:`ZM9.ymO3?ܰt̖_ nKH,Q.GHGc/-@E)QueoOuOΒ*ک 29-hRu)c&3qk >)%徯L˟aȮ6FsQͣ M+SN'o.qM+Lg-uus@9VC>ۀ ;8kx::·xˑ\Rn*D zY%߆C#*KlDR %d%T;)P(Qƒ)KG*f(9 Ȟ2-$!W XFlg@,S7PڥCtdwlqڥ#Kib跶"xœ $;jq3npp|}˖$*U񜭢MjVPȫGoT{ RO랬eL?}/)@]9 ,ΣM˝}bʹ(:&^\āٗZOB4s f?-\lZD؊uc;$Vyke ^7|?~ {I\) NO .O+TsRP PFVlb$e qK)ϲ,;8nU\W= )=Fd,ϣ20<9Z@h-r " -=\YPM_tp-TU**B^/a~Qfq4AkM40v>swq+4>T>ct@ WB ?7n5JO6N::+QU18$ʌPO$0Oߎ+&řyAa~h ʆf \ 8 jۛ 12M]B$'(kLue(IV2g˖>Vl -\ υ &5;fa1 F?z:?z< @.:H$dž% kbӞяf Bd-?sY>)fI{/ {WEK,hk3T |8(הG#c[үWM J3څԺMNSqKXyΟԋyC㱃>camrGDDŽ"P a:Q3!)+Fy.O"Q,IF#+Tc F""j|L%١u, $yBeEF4*H*s7f%bTto? ^fȶ vM 6uLt 9|')x/h2X lbJuL4&I/z:isA!LR2]:4U]ubΔ{]Hz6AXLT ,1\l>VytiCpa គ|/N{Q| N"x5umd 7){zv7IԜ?G?q2o4$䊘:#bu N7!,N3ΐCu)DY)x:GnWd:F,ąH: ǟ,6>B8kq:EI뒀<pNv1Ѽ Dj3g=̏)'Q&z̈ҸbM}獊 v{t$",شQ0'P:"P"K2̸rwA4#Er Uץو5x+uj]*x)q[Ќ7FS[&bPlwjQzY >F[8".ᚭkI2?`~(K{:@?z˲ +5^Ib4b;ae4Z~7._*20D*;&{='fMaANߘ2s1񥧏х5nِv4z1F|U,̪* wg܉#5]*IrpU-nH.WQ7q)\=VPn~䱴0_ qH>ZFR9ǟQ^lsLG+QD.K&g7h/ȓKڞj+3ZfvXkΊ2!@*)L*zJڊTw1ſ}Kq?B}У:+]zj.:o`!؝J@>Vdj"%}[ZyRֵ% -Y~>D]]qjKf WZ$_SJjԪObU(?F~xim9Qs=9<3蛐5a9E]D/VB쟈w$"al״a|pӇݦC_a}o5£FpAbm܋uwvO~|ta^؃|d3Gx6hkrShXro+W)+Q%,b[W)};Vxe/lwnRBѹ5l67Bĕb"e Ma!Abo|ތ֘{6lx3gg.V~"6 C o ɓd*6 r4|*˗ ]F9t:Aq^nfdGٛ|eF1?LfC/b+Y\>ԚдxDS}yAeXxQFr'9ylEbnKuc=cRJѼ)?H=r.gz܁/MP,=WbĎG++O:6GF4iRH;X=MA̦k &q5V@]-J4hؕA#)Q}Uc!c[3)41}ktMi)`@e)ov?@k4ywbӊt6q'eU,jG$@ҶΕ7!qbwӇXhPIYƬ+Qk|*K"b58$5͉{OKmQo"%pIeSpa~A+]FGvC#Kmʍc-VA ~OnPT_x=cI=@t=Kk[5ڝ~vL?[С-邾5܅@yPT=T1SY>Q꤮h.Kc$ι>7) pCw Jф-#kN֙w]]cwm}ꄙBbTl3w,6D[h#]X;?TH%Կ}LNH^E;H+oEL=wWfNdPu݄~R=ם*K&W^j- JȔj+MP ՙgҠJB_ S݆%29![!KSa?p{}w<~aE$ѝ 'C|N pK#C2 c-f3(ޢtawjmG~ >E}e\Jt-sy [ >ybea=DN%|=$ njGY#z(1\d%:nGFxLCb9 @m7UWUm9 X1tL~m~3zP:,*W[)U&͆}yK"tj @fODRnKˡ_PZ }Ay=KX|哂<兕 uWGwߴ(NБiD˱jTYxB*7^j܆I'2@{y3{eAUF6ގЎhD[n/Eho륞D+2̕܃ɗx\B;vGqZ4UxmTU`0 s&\6ij]?1S5ƹ+H5l2k:q柡WSB4!ru%:DD*2Y0F^[VR[eE/E/~2N+*z3QY0?~X R/!Al_9hC7(=M( prwgP'y̧*'KX(gWrr^=n- cE:U.M N•UK*}Q49ٕ{B&D$B,W$< 4=Vzs<0k{SG: olT:HPE t Ⱦ_Q!]rsd[B.,+pJL v~ ;`_Eg@{n̯ZAGk|R)]Fǵy V0{m* O4"?ގ.I}A$(Vdީ`;yWWTPc&v8c@hPz)nQh@M#MJLg 9_׷0AiȗfxXYB쿮* +aC;Z^[ɿ3iU|?bَ Zb\!5k p`f]B??ZIzjqn rWZ_Z_vwT4x=U nÌ:J7Dk'fW6:k9EnBkV(3KP$^8szeqO+Gy:X8 6;lj(U(=Jn*ݻC_[ed<ӈ53[Ю` _7H$B39 2_UryG{6^UMmض%SDL-C PIӰs$!AKd[#ЖR6s׏SGwYXȂ*sP<^ l؄=paPS2Şq yFfGt;hNW;í)p{2MTXh1FT(aҋi|~}KbBQ쓼z[CVԒ_KvOψd2ɽq>2Պ:_ n5z?"HuJ8āKBzJ;{"_@޴bP,g4Q@8rX lfǹzz_Ye pDޔCyw`a<ЬO}fx n{rEEGdKgc`sVm`]FFj3{q\E̗|#0JzyAZ<̈h FBY_yv68WxFD@zT# ]͉SMF#F'f,mW;Q7\*`ZMG>"$ G/5&g6\ͤsrF;T"G,sMXU&Gy0,h8v Ɗ+$W&IIޝ~, V}N' 3c h}bKe(dl1$#sujD~Z8_5{$:!r4+fa1TY}Ꙉ/b% L55S“fҌ'yΟ,Үw s0m( 8چ`IXyo CfKVڇPjPʙP6΃fr墻X"$-OOͧy[{H@tg!r5'ۯ(Pj#Aee<Xx '#*=̑]@l'@ꡦOh [hKp,a^W-n< rARZxJehE v$)"҅;Ll+a={G՞QADMX[2q.!4Rv/ E}e `o[T6\ YZgy\Gv%4+W]i9t;0hKWM ZZq99o4KpXRF*6 S_pӧ I<;VJI`̍K NNnj•P&r& Ky;ڝWo»U5W \0Ԗmebl)GVi?gg6-9"<!; ᬾ./Fv.=vd=ͪo~GqRE^FyRv cn:@VuѣNCk`]c{Po+TC=~f)j|fA޶$ qȇub١LH}0{ţv1 b69ePt[Ol_ l&6 履ߋDʫ2%cm$!w_UGZOKD6]a+!nяơ@o6F tH͛8EpS R|қuh516| E:T --snApl4qnr:_7PS^ @${̩غ>$.0xea}q(o°_x¥@%TT 1YBmۭ^`8Gp|R-$w5)N UP<3v3V@-c%fwmʹ,rl(woS/y hN 2"Ce@3@5BwNaq?\4*g:Զg+['m[K4d"l>_ z%[ t\ߎ>)VϷ<82C>x"4Dr#QM4A"A5U07w}_ΟeR9o߯!9/̼yD?5 +juCЂP󍽀m*<5^:*B̥^\oS3INbmo$;6 ~}Y`t Dؓ/l(;[>c w;YP4 3-M2SĻʛWR >_[ KaJAku'PJs`+A,M'doIf֕]84+n  _@t\,-q ֊Z5ɔ@:Wz|g6g@](@q25!E@asSQ+6x)Q-+}s vH?׾N[t\!TA3Hif.B  քY)9 ''u {5HimX '| V1 INO_ X4ebʫNIE bf9b γk푋iz1ݰ'y-͊*Vƛ"ښ'WY%$vQz#)B ڷ(*ݹ ^{5s3i|Yx㔖pNv0Q{~5DӅpr}.#vE޶y߁,YAD,{JQ0 nݺ&X^%߫GX{hxB8<2w25McF:X 2 F'Lo$jY*ZLλDe*,ߟUU /Q|8cH^Q@Pv5ZArVha}NE>%_7juXrk)_I5"! xʢլhĊ{z_.Pɳ =_==܂4o-ń\O4(BU,&?R M# Jb2-xNDk/")jژvuԠ*8`شn:v&*n㔄M*ޫouO]9,A~=#yԳ0]yuO'` j%QYi<j" k3i` I]km0 c$߄,n ?{Tc$NeC/2P1LG5v}\.7vR2 UH ~:/أJ]:X l L]CoP"O XӴeRbUc9s Y% $oCcp)Uy@S0ʃ\J#+Γ%~˦c -0#2l$MFG0.6BKWh Jm/Wf&V# o'#x}_$m+a ;VLέa4pcN` ~7nۚ4?5S*cד^}JjWfa2$T#;h&t{H+Y?x^S'M1So+t3JKL+y3 rU6?|ȭҵco±m@d =Q5+nfm"0y\IQzX\kF4q>^TtFo[PѾI2 /T3P⾃h[7KJ祂Jf'"O&X8_K( @ȓ裮($"w#:W=l$(t7F"篡7"椗z;z2aP_5\?ۓumJ3b QOfp9!D'`g"Gƕ5-x1jαH;}9e`̲eNGby?( ZHú5sW+B&\LAD_7VJR'R׍_ 59ywtbA?,凒Ǹnm1ǕS/&"ҒKdiTtѐ4@RXm7jsha*6SQ;W*5`U ukz#.X]:D6 @ jק^",7sx֓+꭛c=rnO<o,(UmTYq%$uſљ䠩nڗM>ѽgKWl]_ق|=Mm`%xP{tD~4y|̕U%7T-WfkI՜?E+2{?wA67S@{Ib-fV&%їE>$|A% Rd#>'RsEC.Fby~AY\\~u;7.aĽne=(BC&55S2 "T"Wu@ ZvboƋw+amSltEPh@n虎N`zuV`ߣ߯&n/gUAhRlQaItBXNVxu(CoW/AOs{Y*N@!T+faQ,3b?&c½r?U8|9'.d1\s4ԯ]uP= ǻTg#/+L~eGG CRWa$6'3_]*}~d; ;h$f7Yvfʣĵ@05|EZٰs3UdfLy5Qr₪EbĘK?Kyl˝zͣrO,3S´;<(} uvY's/4>TLmO0kW^M;U91Y(w1T"+h%4:,3d `Cexǃ❫i 6¿7:˳PaQ?yݳrGC&tp!&Dc ~a ÃRʕWCdKMp'ەR0ħ!־ϕX[?(<9[K Y,?f~`Etdͮc_;^tSJMI5t o|9}"Qhj]wd/y~C=.u'~:D '4<*YJl$ppGn\<8hHh[5>ίt 5ES _ ܴjl{W@8Ή%J5y$‹)0 C gqr~dfFf%nGd6 R&Vdѵ 1P{M^Kn_ĿgUkm5g@^T>bƲ\`[cu`&zĻ|MOOmkTN=(*ۚwsxa|@aXV2UT?y[)` [T?H;% U}*&{D] 3s7c_dmBz).z/,5ER C fŮ\cV#p3 ]?"GJq&xg%+!f$54.hNʖR @;NJ%ks8eR\[t L\ ,egU|ǚ7d%EgoA#sd:o|`\-RDSi\۩I3vs\)*rr5-?J禿ܟV1L51Y٥_4M$Ns Cx.J6fApEpFQL 9 't2YOP[xJǝ=i$d[,~! ~7(->n98B$͙oa_8&Ӑ>e(6cX zccrbrF(a?/D5×`<,(LJ<뗸c1h sG*X+M$&?w/>* !k mwџYGYJS:V kx:y` 6_./ {ؒ7;>u@^fΞY9 |'ߚY@9_@s+N38" }h߱5Ćx;Z0k/<4Ӏ O{w j#q~^4Z,@NѺ?DLewe~=Dncip(yPjm1 X̭imQjoh?u9՗cI^!K&&.2ICE4Mm^o) +-Oa 74ɽH/]Iyjŏ$+8il ;[*`]Cf X$9R{z5Au\X.b%Y hzAQPofoV4jFX3d}f4v qhG)NC Έ'>\t?wCB upI#`'(QCcIVhJص3`i2޻ᝠY8/T$ ,a]`V;7:ؓauܦ` ;DW/=&;%kpf,sNGݐ? AE _L~_=~Ne(~oW]X4U_ߏz7>osU';31t254̥/wA*ʤYӻ4T($XPcxInMP:ZA(Љ]FXD|ss ?<&\1\VnA*8 j(S>D2:,C_"5"b)w'|7 xA*9 3r3R VbqT)8N 1&,)=oyxAĺG-2=kFy*c>/jէ X { A&sd~vdh hI6W]S*M P8)K√*#!!8N48Ηt^೮>$X.;'a+0w} ɗr`l8#dnQy^AK jH&_PqBFcyۄVd/̈P^̖jK|UW2O cd?\޴*'(0pPw+ܨ o/>˳@ZnjMy_rpx0 o色O%Ճz+ &f[ ցlLU}M55؀B9Vb$<4?AUfCoŻ6 iL;2ep.>+i.,;7c4v.[ǔ脷?֍;lM(l;@>K X IFcs>F3$8ƪ{?xeq+y(U*6T[^W& Y=_jBUB!' .C^V6^ӴPKW}kXےF`سeDJasTYgxǭm³6IZf@`R?24CA f#A`&P:x'8N?ȯ|(8˹2!18F R0 a~=-q>=[n`Dž Q5fMvbFF>&A&.MS %T"b1ﶪ[I!R|A8% ,R8()j[`{\XvVI+p2 &GC7"KV>F@“v%E^{mi[6i РvzFVoOGB\>d m&-^DCw#bNkf@ֽEŻ9Gi0x (bÏג%.qJ2Ki$VVu5y8]#л;G1\9 "ɋX1c:?#_ 3/PyoTHNKd"46WtOَQ9ݿ\$?KWq,2Vnz^c%ŷeua+5n%u3UK!|צI(vV~Jh &|#嫐,#JF=F? IZ i:+ʣFuE՗ᗉh\i2=bZ0iT8o'ʟR}@ \F)m5*L wwOë."=`Os)҃pNH(|1EWk$iY"QlT( ]P{}1P3]?~+ƣxBv|M#=BvA ɗq)?`B=uHv-6.T8yCϒ\XA`  VOuY_'{0f(Q&ֆ*EF;t iv8չ][I<,K TF ~\7H-'}JxH%H5HEc#M ZGW42ƚUJ{ J[ [KH'+dpZW>~귻7>, IߛѬ~8pä-p`7/Uj(C~$4F#YEobBܪ1Ҟ%[>4}jOb &ib]Xz3ý9$-]%6w/uy|#"Y@P7 3CHWYsSz)}H«=jB hR[ZS39v嫩L\GtdiM@jޅEr\9/<À>)A'}bbN_i$@G/}aؿ$4OrT]=}[۾ V^ԡ;jHL[J"\MӮv^s9l%=QŽ8 IioSShh7,$t+V5G js$Ye+~K~ tt d}E/^{#`R 4~jͮrt=ĐGtvRL ڒV9(, yXɴE$zxqN'V^~:Hɖ9w R 3Bs Ⱥan]mJ5rLk ƿ0*ߩ0͹άܾ.+h4.KډymY}Ͱ&.Iɧ-RʧZcre ,#[m}7a !WU4&%Ї,!>rsX#1(27@>`-qSEY1dg:fb^+p?ֱ|B [kZ3 kì]6(eEnIBv6o,W3 S٘è[|; Z}ƻ 5W߱)@?Ʊ8ʘJHw =o>xuXÜ+yC~TBj,DOۈUS¨ډ޲0(Ћ> xc=4t%T3%19F2-JVXgXtau[af2`jbf8ׯlqlkSgkL/PQ4 i1JMh{>Wi%@u05M?4CVu#h=8.[Sy!Z çYֳ*o/$ƹjH  O3E>de: SL  xqg![g.Ji(GʔGTf)+yy[R{+q/৛pV?6v.}rHw=lߘո9'G$MԊݐ:CaYSskfڣ mVd@0;BoԹ.x2_!`Mgɴ@0K!'5'o?q>E ,JaȞ9(P6x{-DzKjoӦ_pҐUp}ntW򃻘^FҏlDjGg8zYk38㩢fў |!C3엀 QB*q aaB#{5S ^GV1xIA l>X97bFϕ1NVƈ9;KO"{ZIT5Gm} Δ]!BP@l1ɗO/O?t]!}Dܳ%AA*r9O- ^`)Q #U@-GLBQ0N|;!ɌF6ܖ"}so j0dTxΝ1jMy(%3Oz\THV~<&hC+\;)M1A3_pai>[+mW>5=C @%חUˠoٷ p2=z~4Es/ՒTMDkr2؆G\ﯡ9>j kU}֋9+P\Z5 M 0M!ı{AmTJ];ח {QPZ K ꣚1Qo?9,zmw{"TJYşPobs$-uuIk=6vgRl RKOLNpPhN!/5RI7Bqƙ|^@R@;HP>7?)/ Q sGOr^sj{+4n>H/kesD\\.D(@6> !*nD S*>Ŋ. 9{";|lywdJyڔ\jlYb^eG\>-R >~l%bS3Y@,Ib-$roeDbv+50 UijtC'Y|fı5!Y$2k8_f[GlBX!iF%84Y Sb [ε(؍Q $z]r(ߌ7+ol1+HAzϊިbq\N>y-\lS_J枌Jh8hHְ%boX$t@-n=fOj8Wq6~ -rάeZ\/PN|+<[]U'JDOCoҟ,۽δ`V=,qY:υ(LfLI5a'N> j9ڹBPx5Ât jy?F֤w\ɐ|y(.bIsPLϪx7+ Vy.AZ(1ˢ#(n6Ӹ›*Y`A`P;! *-~+dTnneuET޸c*j1Ed問¨4+c3H} H喙r^v.5>K?Q1iSן/e-xn̸P2Ng,/1ah/ b>J0bc`z̃ ʐ-Ф\.t4g3VeiyfX[l_tK Qh*4:Vi9 TI_%U>iU4NZ i]1Ex ==o#V"(쵃)ȫ1n_A%&y$y"wuh9. viω)I{#Ou]" Ab?U%VK#Ƀ0>eE6id qU5? G ]@^YMR*cf9780Cxgch=BlY9ÁH{˔'԰h>C'!Yb)YpYy 2xn;Mr;4!0hI{-*pzTghsУ&W8ܼAזȧtu wV@*&N՝bIVZs{P/ /@xj'LJtF<NS#4i@ncҺQ!cW5oK6Y c7-<鸼 L/=B9_u3&6eu`X9?\KQY ˽'m#Tk^Vʁ?.ƧJ)-*HO8^Ooc>N2BBn4;[2Lfq6L\=&˥ۜh"H:5w]orVh4 Ģ£צ,0h)!Xe Ѱvs "eQaBAaݏzO2|26-?:*E~&\y;.C0Z9䯪,*uȪ g\n ye97VVMn7=w.3xWc%ۜ埴\f -[aʅ;z׺tZagw{<.@>Y!M^\֠V"[+Tn'lB_9<\.~L71ù݉3ީcvD!>n %>dwG{WP.\p7oU{i)!~,I̯n{vj ׌ nYQ5Vٟ.PE|N߶e 8>Ith BI> 4~L1NN֒*xz"6K v|s9z0d"+(w1)6ݙm+jagQp vU|L|ѯՃ>[ F-a3%^YkjycqhlŜ5]p|J}Ij L l}k I+^?8F]l;)b*_)njd_p(e;~,Eg@ٽ/ˡgepz]Jip( `a?e%3;ّ#+7LQ/jcθ8b }1V&\˺m׋ *_ My6X"yg|^F4FHK;G=z ͹g7x} @Ӱ%@/ 9Y}VsE(ء0 1](8dWi;{SJC-%&un^.M{xtENl3n[G + "E51֜WY+Wؾtd ✽4}QS4{}J>9A0?c`zOwTE$ڃ~ZI!;Q CӉtA;ar|lcА# p^ƏN4 T)@ N^$il9EmAӟX'HYz2?n<VqspWA$˥"v4gڦLHMFR#bk|sLxJ./⛖05^l7t~s"O2*T>Wjg3ӏ] 5_ {u|Kk?A7@KrdpתT | sY6bLڋږ\~pM|6tEoRP(CA;FYa6IQTFqd=k9 .|W&L_[Z`6DByn:Cv9M3fqSv< VPCaLjbd 1nMo4``iÞAYⲹ@FH2MTd ➌tM>m0b3Aɒ[ϓl3 Oz1JV3sid$@ ,.W\t%$ڝ0JxٲabљwѾw+{u6,%=SO4 4' [!qH1x&ײg T<%%7e[\xb^^PhA[6HͰu4fk#a2;mstAAigw>8{X¶{d=Qg9i_嬷 ř-UP7Ť Jv2J'Αa #ƺ>iv1|HqΚ9I•cMd~IITge"y3헞BO;&3*V)5 eRA )-}h,F_iVNhX8*(gd m"w >J%j,lP¡ Jiڔ?Q-3+d ;>S{7G2'2 V%<hCTদ\ =@1=fT и0rtᴃuk ,oR&̻C!A5rȤYPK?^zv3vT/iA~: |ivϵ3^/o`ޚ?tkAnOt;OR!=7o V㹵Z)ga"HW-` Xd%Mm=q3 E|ױCܑ/*n sV N*Ù, W˄|h!k.v1Zh?FeW8׺KU4.\o7[aZ>-M+ϟl@~$ONVrDة@:~NԠ&se+ ;Ds1 x)m~fW&Sj:˸0<@^B>X{}f*ZRsWn[`##M(ݻ\a&x'&~ Q~EBs,XE7\4)#wBZG['/Pٔ6)񒦤'}r1p*Z (Fn,GX ~(%:Fa \;g:XjQYGE ZʔJʿ6,v@ŇFr)+^KZ_W 'ϿSw Pш6x|tEԏ] 5 @ùl5_D淺qjEğv 5^)pwlȻNj I`Yߘ9G` DKonH͖W|PH$"5]^#ph}T< +p1@2Eg٩qM27"RXgϲ n|c0pN>X+&y'㐜F rʄEуA(&qk"n^`jPՆd & py{W"$] OYxpu%h-ʺ &_QY#Uo6-<9m;s;k AN!7Z$]zKᇆM]mT9;eyu7IXZTp3 vZg_RB[<9\Z{-o{M ux]'îXi! "V J3"jhGU\hkmB㌦ówd~:&F(I*ʸ[9NJW 9x} @)v'EdѻO FML*jHmբYAnIOZnU,{oubɱ- JH'7>+DQ'S yw2t1_7ӈo D9Ì jr{Üt0J"LeUK@w0N?C!?pJ7Nun=-V:U6m!'^ Iz۲fmMEφ$:Y "%_kޖ] gׯ]քXO|o{56ZzEu#-) kt)bbn2%mT0?`P3 Xrs9u`lz&pE[ڳ8C=)7DNg + 4(K+297^.ςJVH'Yh]|"ުW %&t0=.Z3Y=vE"8?mW˷6uL XW&ܖr˂E.tI?OJ7p9|XUK_E琷emڰ,R^QũnZ ~0K,I ^W )Fi{씑{Bw3! r!S>BI\Bzgodc*En`"r@o!Ĝ?mAg-d%%q$'\ul%Y9cJ7^}6˵RRj/—4݋UO?.?9\20>I>mr4` ᷦ2_L<][ A L0Uؔm;* Lj*&A~] 2%׻ OBx]}K4 ~E΋Ky`Mh( ]mět7&;}//[/>3b >f7DV:J!ĩᯘʈ̸xS3TFJC&72gA  =p n~-7,rXTriyȺNi5Lsxu y4!9hPwGrXx"[5[Ĝk|as2%i3 4FnFRz3D~? Z84$V_k1o[ s'捻tFʘ $J*dTH[t@0;M)w*,Hˬ8@]2mBDud`&zXp_6ƯǎszoxGGzvyC rߴ0漢t,vNVn@|t_Ɨׅ)er5==qQ,ߖg ןd !o"E{sR:^^=q=X~ k!\'+ y5nMtKKR%u,Ҁ`d ]$c IO~ͳK(:#΅mi ܁4&l@}” ~ڳT!Y]cPU.0[N DN+|||4V70=bcV.Ua $))ɻa 3#|w}A."VRpd׈ʼo֜qJ.AsmJ\T<\]lKV1l{@# pZnos}i4‘nƎ+c)V4CÅ'g֗-N[ݒOXk+GmtTUS⠪/O Mq:*>@"2*9` Ҧ-+o/I=9~aqF`X[3 Q9ުĄ~rtd:|x~/K,/&UBa$Nm zgT<#3a?T?E<^ӏuur&"Ғ{P?DXWF`pV??FmP؝_næznUji\|F'2a_t4, I7`|$uΰ4b|Iu4c^5> xŃeFXÎ 8Waki,E$?:IqDiUWװ.͐1'B?))_U#EϸW Tjil0/vKQ'?'q631 #łr[gH}U3N&vΧD}ֳs{4$;g+@0cdZ?2OnisEw|}TyQQ:^|̦KTV SGlvu~szp ʹW"eF%6 n5ȉ߷”K |B1ҵeҺsjXv)nmCKlr9VfHA.aQ>T:TGxTh.ʦF*x@HkM bֿL#'HtJ&]`LKDPصo-wU4]EWIY"\k9TL&@~H]>N1>}lt7^;zŽi냘B_v:y)?h+2T|V+l-⡈nr,OG 9>jB0A±T0a ɳg W`59oca;AH3Z&J1ߒl?~>PtY:i+zHnPBDY`^0%îd3?ͅuɋ(ވ}PӒS?4*Chҟ+̑^Ϳ g heDƄggOA5+^l_|TI$zhE&`i> 0,+ƀ[rOpi +:EѬ'k|j6f'O}UԭXO=e3^=Bj۟ g'`9T (dʴQA l wdu]ro#smyxa1w,$]n&`_yY7t.,0v<B.$wdr*bof>/pfiZǪOEKxt\40',"R9`VY|PyB4l,V-<.,ucdSDp of8Gtbq , > Sjd S Q |CIZN!ظ)l8KU ,]]`oa#px*x )Q?jd nFDʼy9n@\B:V[FS0.ɚG*bs@r3+X^Ɛd]+h[WJ=t]u'#R4KUǏKOY)s9oCh+B$6 G:Q{'u1}Ւ̻P7E;}lW!y&{~Yw%3Q=u$-WYudžWYLa߾y8 qI4>\/?dG GXcڤ̾M~9K,sGkZ/ <|, Iif]WՑuiqCDXZ>5 E;G"^-C2OY8l>*QQ6Bw3= > y'?49Mw [Z@I^ KT%_:hwx2/vT0vAX.ɥ H,RzP ;0mO6t_f$ Ԝj&$#h+m@{ȚMc.¤ѣoHO[ ެ'9iuuRlex|_QMnL-7CiZic !At6t(OSHC@v}˚#%?jW[a !)ý^qPC䯞{`۵[Pɺ:K %2"b:9h6I)><+촁'AT٦#w3He-z.~1@>{4e]6|-Ҽ5\N"iH 8.Jc{U'Ä OJ2hmpl" Ş" Tvn Zy3@Y2ɌR֋=wL kl`a"  UXc,K3Q*n!v˼Nfmҏ|$mW`RilVw#\p waƌfӢ~bg+sk04!gIAovGߋ'[PV1=d"۹Iz{<%#g~ԓ1a舣0x`\c@UWNn}J45S;m(q;H,ΥXw\z7ݢEځ)3OHc\5i ]8SVZFd3[,FZpΪM)Vm|C|[Cb٠6қ4Qd/75~c?w&ww n :%m͍(E 8efoe|?@4`(IA G,ɩP?9H##c@Ajb=;C66D0HuYw2NZdRPʄ.:v#|HCݯqj Mal&\ ASbf  JZy7yL=(@Y2/BaĐ80qy^}W+9hJB>Q! %_ǎ(CĒ{ ]r{\ F*]cpdv˰dX<1ۄZŪb˨ӳ;.`ؑoeoAD|7p'S} TH :;0 ,($8$~@oixz]r6]03@i&.LKAu2Cg`pc4l#^ iV(6.q5RQHZG|zcRSgqD`oe91)-J>#rk=tk>3:͋n9[TYV}Җnyƥ'kfԍ{*xfnA]W7j_:HjVHٶRҭx-0s\>]-+2l T3/C늗F\t6t/ IXө}RTtX=3Tׂ&'濤WrR>}P?b2WOݼޗ{&>XGToѤ ~8~eh†mҞ` Ŏza 5Mֆ'7FwET}gN~%d1Lۣt!Dm?rRm.mdXL|beNiZ*1?#yrasd6#AMn ?c܅+lf>I9Ki?QiywE=H-nŗn5dhlfpg޵ "!O#&/JTfKs-|,?k([U%^/L^5%ս_(cfq9X&ٽ4?a| mج"?:dU7V2+*cOTo( @]wDT{b2X8LGT[2L͢Rc|;dw6Ԣ>s*m\aQJXr^4CḪ(p_Qi ﶚPlŀ@z^;%DHMܙ1֊egvIy@a(RJVX̢`n%hU"nLtܲw6  YKq㣖`hu(㳉łDJ+>uv]Z&'3MbilRVJzTqƺwQgV 㰀YݣVPI:;e !Z*VZm Hqkh->fSZV4Ban/#ÞJ $=ArIT lprE%G0\-}Tc < Par(j#R`f\̓("wdQM=c O@ĦLGj?wdy;_=O$Ϭ@cȞE#Y;?:+2! _cb?xe|9LBmKֶI7]EHՔBD-vՐjmD 4qZ:e =?mq%/4Ĭ NNC']Bϲyf^4vLULO#zO={Pg<9k_Cj)N#`Bfk 閍Q8F N_>PN!>zHmI+%5[βPM"hceुHpo'\$FGP@wy[pԏ,SEP:t5(EdI/1hqѠ/S0GXRQ.fpt fiͼ WCϯ6JL4{ϒ*?.1yFJNpᅸr&¸Y5h\Mu#c)I8 í~MN{cRxna dPiz^nCz7$+݅r/ۡct*h=־X(?zsu )=Uer0ILƚ1FV+ziPzǢ=h~T+ڇYoF5d(ՍzG: M1~A7%^>8ym%h(z%^az# IQQ JL*"^gp_I7(jkߵHx!zgw5`NA %HKi rMB Q^6ZfT[C|@?i>D:Sѭ6kmEvzRW^gvx+Z&iTQovJrAk/o(ՔӳaA+}h1L1v ҷwrU>A-bt^|_?VO?ѫ 6.6bI@E4,߽:͍O#71J$)fp& .1: PErp:z!=BLaUdOFotnoT{z*Q #u逨iH4z m@X{e=$eT:kxLÚنuYmRU xPażJcl6J5ּݖ*}#FDcٙn9~7hyo(~xaφ!fʏIӹkUqtqb$rl6\=kp+^!y4tĮo:< (y4C=Cxqٺ_J1<h݊0 y,5U%{A敂nުѺ𔒆 Sf!-V,uރy[azHq6ΞH%Y:$Ғ͜#Aa|2sh&Y<4}hקؼoZgt wEbFylgYZ5f31649ebc620bf67d8389490358f93a1593a22d2659ecda851d7452b7595126eb2a4699eabeda38 890f4cd952649b9567a6dd5c0bb3d155e02ba4205a9aed28ea37180dc777f51df39bb0cb08345ff8