SQLite format 3@ .;  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  T ]w UTP:threads=4elapsed=38.715cpu=130.460gc=4.608factor=3.377zXZִF! ׬?]ŗXiɟH)0%o^( /m|K$[fH W&NfJ)J~ؠNnf:^.j>O9MB C߉{.^#OX"Igk2Ȏ`4  JnSEw 58j3 jasI X~ڨ+g)PJ`\a-*ڷޛ^loa~}Z0Kz{esSr d饧Z HU-h8DR;ssz: iL G0g)Ej̺i,I#=dΘp|z,BW1$FW ,:Ý>پ-:ፃlY잫+=0.4HB(o&x(~C5$uvvYކv;[CF9HBQo+`0pw7o z#"J8Xl,ڡn{h!f Z@۔[gɨխ*|:l,THa0ʱ)5Gag~'sN9nPw{9W'3lnqjOg>h [28lfھ]> $J.4や @#2VdO:v =|P^][]_L AÍGxJX-lgp<އvBhCPdUNDq&'7_ -v{Fx Nn RCSKP6R!pɥV|;{5晛૪jlyySb_)F#ؗeYp:_jw݄0PbvQ4!E`p8|UI(/C7BQQʞt|Sq`^Op ,MsB* [3背WCw kI\IKRmic<\/1pr'8a =17^"FNvl[GFb +MTPIU ƄV=\m)/=Vhě^2GrB?N?gv9Υf1g{hjuNyLfJ]9Г&JߙiB;fseĹq  UTP  S_(Q)n@U$:CGf)RF?{ҧzCEkr\ \\-řF!&.RբWݦS׻ zR->i6HŠ␩o_ur\=&c@-ҳ%Npm^$aG~Jvf96~>COŤsdDۅD^3wY.4xOՑӀ X0bPXخQ þ/ AȕP-|ղg]"1Y%W)d[=0CK* Zq^pީ} 1 aeI͐ ʂgA?BG~=j& =Q?@X61S2&XQ|[M퍜X#?"7fa^,^oq~Qف,@(?@Lڽ1=}F[ٮFUX0❀Us-z՟MwQ忤_=o! xQR9Nxj%m452X_N1f."i~3*jbGD'?zx7xr}*S|GTvtWg`ry}%ZZzq*@51KwzoZ!PWsO^n70JMrk䤔a@+ OCYa1lnM=@yzt]#Lx0qr7o%ue&2U$ .@0 GKT`A&K>uepsvQc6s%WrP3ـ:B&9O%,yloIyccoU(j]}c:RX4&lg-pZ이 ۄ9ztےGzIXff~S7 ~h%C#͸'; 0̰q  lQ5vf+ 7_z*gD<@>\F:sjZz Wt̼q"cVSk8ןÍd4>dd|Q gKҮK{T_ynExek -><nxo5WzxގA4=r4,K0О(c*J".Qh[5$_5 #]duuC>"\kr&S:}[g aڐ'xb =fٓqk:J Y|)--SPwQK'z< Lވ$q{O)Nx֥R /::e@F.ro:Ryƚ#,#F/A$DT]_$}]~38mf"Im;+y{Ҷ j1:jQoт Pw r lj_~_[yVAvrχMBҤMaG%F|Z.(՟ys5w&Qfh5`؞2uJnYJIͯ%QS U(cLtUi4hWūSrC>{útK3 üuT/zq,CP*S̩T@I-<4ZOI}wQ> ]!'PQggCJяDIm, '!UDN! a;Yf[~ +V3.'NB3Z0ӑ{44`Unkpq83x(Ne86tVJ  6>a--y>#0 3:Ie cm =j3LXffyE/Axl3o,rm+=r(>זzB4e/T#)﷋gj&jN^Nd7A?^{db,Qi'rxyڮ@3d{\ސ"5 ~kc6:uxLNAoq>O*,} 4[߷M`p-XmgAXI*g$.2dHXoLMTp[9Y,Y 4/.p6U T̖ .X"'êlxnM30-U9/&.)/j?pS 5[;*a.{|\RG QɉKs'y5'w *%'cɛM@0w~狓ZicK#32|I)k gɾYyPT9mfA'a&p>gm#*EӶqdx:JaPWKb m5W9sYFYc|h<[ZepiRY΁SH'Tj|C0nZ܌N;=u *w21S,P"-_gF*c.TE.fNZ_Huo bO=W` Yq4+ʣxtd * y ?GwXZzXeӍ0_Q71]ݺ$c8HàH Q_W1cm<+ ?,@kdbvÕLw d2AS.999țd^dx?nExX6*u1ܚkL6uOk3.z䒷 ӧ &%Z8({~'kk,6ƪ.Xy_h!Ibv{RnaTh gy =8Mւ/̤ܪ@ iLw꤂QcVg Atm|Ǐw\ m=,ܙ#pX&Rv 7'=w7vH>^ 5 f]Teb&$T\$3k,]m?h%~oj0P~}+R\S{O;}Z ‰젂PZބ5i[иۜG5mXsaV=(7j&Utbž[wʚ/zf`yGz &d؟ɋY%5m0>?dutdSNs_(ԧf]D H&"c9;XR$ũbS1 0~eUV.ʜjBp"yM33d:2pk CÎVI?&.JyJ0]f>uSLd1?^M'(Ib=bi}O93t(3@sf@J jr`5Xsb1UJ?MzJF8 SI6|\`'y`Dn 31ㅅӆ6XF\r#&op5=Gh8}#tD8^zj_73rf#GKeElrHzޭBjP鴡΋ϔ;w辙>1%9V 4?}U&ź(?|^vҿ|z~2Pǥ e_$^ն. gD & M6jo3*cƥVRt怤m%+~^8N X5@Z*~ב@V5-5^<3-s8f~k?޷EY%~FQ! YXmrԇ;8VHPbz6ix\4TD_&0ʒb!8H'd_ӣWdxظ4) ׄ~e22*]#yyh&4^y|߮fDXS$t3&=m!$ Ѧ{9ބ_5/:*g.W@{w{GɉZ?SBrx!3Lq|=wo@s)2tUUxnʗFl[}\!u,ɿ yAFv7歺YY5ȏWo#}v~_Pi L7#`6"aen|`?P4QK^k|:Z+9}˫8{KB&6V s'c-5mffņTrM~kG }8Qx\-ieZXl{_~b츏 RH82F0.)lmpa.i]+ ػ\- S=ϭI\?J hTaY4.wowg]uDglEy*娗i;;+8pެ<7?dhmhjdܘU1ql 11ǜuebNhi矑UviUS&9n("C6$s.3oP̫Lht! ecK)Cv4ݽ+[t) ^K;ݹHI:wԋu+?. + 7(irw41|.sFa1-۝T([¢24CՁILŌEK{wj8h ކ5RΊ^YwHB8l3ٓTZMBd*$4ILbr[^sh:*0%QfwR18XgC"|]BfVяn*h– *@//*p@> dw/P)hd?Ӏ=pZ唂J0!WY$T0qCG#fzч;,`WCVX$qnEv=8NC3&#{) ;#w,Y4JQV9e9Ϋ]"/WYZnnx]à&'wUZKCj;\#MȔMhnr |ϢɔH܋qxWpE)D;Z% éKQp9$8_TX %olݬ`PhCf$-Εd@bfŘhg5I1 KIJC1L%4ƍhm4j"*q0a1,`uA>N{0Q]Ս跰}Dם-Bn__iw8ͨLw4kGIqbb'AZ'y Ff2.:W^hZkťiVG ' (ۡgЎ۵5g gL!I*ZÆhAjb%zgѭ8*xN+M#J",;;!oBT*'QAJȕqHc+=_ՠ@-^x(g `H1[Ij1vr΅2ߟz\A>%@ΪD M\Zk;ƴ;͠g8](M!GsJh | !J. Hvj %ܠv<}Ц\ Z~AJ2onSjǨ4:c:#k؄_?_h3l<`0<S(o $) ?W6hCz%Х uR?d  pzS1m+_+\1A2[W~A4 u<(Zisǯ"^7 42h Fid1 |1?PùU Ơp/ybd':ɟb`ͥ3x5f՜Wt.of/ 1͗xڛTiM=.oF 1UFGW}cٔlʖ֨(,_DTx 7=Vu)#GV+}Aα1!blv*;?h0WU`VYԝ?6R=Gˏߝ!?׌A&,=n;u 5(Bk-bQ8T\.~r Yǖ\k#!F٪]q-I1䭡9U7` u#jG%s_AJV=uskf5ML]8Сo ~Qjǹi'{o0wͽ<)CKO|HgE(m`/' co1z%o6uS)^ŴG/:q$:бPQ3(!$S~X㿤DE%42j~rjbxȾ&&+I23zL3@")f 6X=n|ݢ}*S̟{-2 7@krW7_,TV&8-A/1cWe!NBg B`DT-27 &EmgiEam %G猲GUh ODyOpbނ5cWIFZu}l+U:^s|FIZp&kPH "wJ*fKи\̍M,ǚDzPxչ!ZHĎDD",2{X`#q٦g|lW`Yٲhֵ›Hd @vKr^ m ^pK}0#ΐ6R&]h[ŪugJrt}ZD7 wSi>f xLQ!nBQ aN0p=\ OϨUw<+κޫmՅg=LUg>_#(j*C'ձK(F_NC>ٌx/cdxZ6Sf^, *zzo|T&#Gͣ`q#pjüB_j]~W/шjh^k!,(I@!$V5/eEҜ9l2UG 9UeaHbu@LAثږsTtک+W#zv_tT_} ,G5kXs9^Z6 &b9UQnCL*wXLR$+uVB|ĝDdל l6mXC'@mGw̋[vG7=|h"vb)҅`>tũwP,KΛAnIT^uq# |(<<*mXze9YSx= 6՟ͶGc Qċ!R̺w9]OI\ݡI}ߺVld|L{y']߆q R?v|L 0RU̷ wfKݛfa G |&̰$[jB)U#:S}C u*QeEԙ*vlHo V$3CEC%; Xt7OI4W7Z?. kgQYSB,i9D޴kdԋ^)TUT&ƨQ6ctB¤u&sb Lwwģ>Q B8nx'Pia)ψد`5]ƭy {Yd(Aځʧ!yP0}Ľwy= Sv@= 3kE&̉9jLuHok_HxKuUH L(EۂQUq-(ˢ UNhs>yKxVՐC V]).6Ksps,> -bG=2C_l&Y;;@!udv >7:)aEBiG;?Gk̟$Br[ݩ( #DA.eK@jhҚYesKe*˩HQԗnh-M:z_sFdfdLYZuՖtFZ @ uD &4K&6FjQRv[1^λ9XٟAYJ;IEXKMڨ/tfPhy)%`l#V6hU/2?/q&(hcF-64%rLbFĠ $6ђMu`:7ӸtJwC\ڟGZ0P&[* Z *eH`ʚp˧-y4*ϩǽ뜗5-k K`hylԉ[ b<([,&t !AqV&JMy̒CZ02N ݼ逊&gl'|~ M`G2<.1<};q0/U4bc`i$F=[& d^ԋ4=oPa ~wll 9{ Jnl0GdIN.&t$ee*)!RT{ ?S&X9xt2jQg3r:JBxb=)=y'LH){Ky=ߋirU53\U K B4*1T 0EqHYlv~\ak/725c$e#l>ɶfBx.\nMJ})c#ƺ#6 GUa/[c wĒW  UxveDA G$ Vu;&;-#&(JW;`#Ub!4s^􇬃)&lwpŀ6b%EJl}?|H(;扐L^5s݄.ՊoK*까oeYDע<~2Y6NGI@{W+z1`B[~c-8hb9I^1<<^ ܯЊs XsW7ے~*՘ _^mOS2LqJkw ߄ϬehJ5+TUuh\oCUlx=9z WlMMo},|gkd*g(TA$:e*;j_[n^fg/gYlI w:!: VM" Ƈ}ϯ=ݤFAZq#`.KBvGhɮ!J JkPıׄ;&`v`$Ds.%VfƠ pµM/) /MB~W ct#Uzq>BNQG!}(EaIɀw#qO>٬-};J[y1Rt^NU~AK8óRF- 7w١q=ͼAlywD=>U:'85jZ¸q*~ ̜A.uVfCѷg\k9ݘ$u"xTx:Ц_riCKjbW'KX9Ct%Q8tSxdH<X9u` \yuְB=22/3ה˗1Jf`\9\DioB,~~5J5bjם bO  #=?NڼrKh;Utnt@3-3K?2c*; u\$Oe}bX_h]K 96 / 0ut'` -aKwAȬnMQYHc쫨푰TJ 4[QFalB[CdGJ͓>da 3b&F(U݃!azƓ4b>:[#ɠGݲ4IE$X$.N ,?kήo?M^緌@昄+Y^GXJ-oJ`ztО%rA(Nv NMRDa־Xn T]zBV_j`x9L|Z{IJrg qD&n\!eZREyS.:<[Cm>/ADqO`$/ҨIφnxJC=}ҽ_JJ]%k9+|+&\QxSqH* Č@NW.ESmYdq̮M,퇺s<2fÉі@&[r˝B8 3 in0[Dʺ)ylW26&bV^ BeӤm.=3κ+۔?Dӗ_zU,ux,\gF,o)>W3d6D DG4Ovs"1 1-f"2eC~Gf7ۻPb Bwdzjg3FQXj.[9 *V4eŁ:_F"VR.l(d{L{~ϖH4'"6 uPed[S!t@vTeez|t7tXכ[]{+G_ ~S>v7a(M|F `gٛe2 ݿQN@G[F <8 [W6V=WmE^'%֨joV$ 4sWL&dXӅ?[+{EgS^$fΎI{[,1KGV}\=VFzb+v]hM<%Y Ga9"PML6I?XK -㹒ImqNԘmYC@d:n`g}o%\3ʊXe8ĄM!2\%2"Mora |fݒ^fgEiPl{ޱ,+ ,?sŽ2ƍ/mF[/wQ7M/J!d& _^gvA?Cv hG}lu ˏUk=ӵ'J{cPWS ~K$|f#s6 vNT26WodW/XS`]Lܝ9NpUjQ@#B(-1 -ǦsD8ˬYQỷSݾ~[: MakC}b"͙?~n#NZhdѮF*ԃ"lcS<.r2 >9@$-}̤ Hkat1Q鵄XxbodM+ЃY!=6C[WMيc glke7 ~q?Cs.l51梒6٧5)s>@ ~5aokՓԌt\=[7!GH! `fk}}!z9 RB4"]*̄f QHw jxMbi;OJ |N6)AO|17Vf B,3K~z.Z1fh~vgjS ppGM`g &?OT"VFȐ<bbU>.b=qMC7,% fL5V=w}P670EBIʥ€[P*>2"yXש&PtмY9nl,cHJ) `!n'n1O0: U&*ٖj; G3'1u+i1hZλޚXly*W&l]m%((/*t( K.cҶ^ se׾p/bu`ɮh\2GyK 'Z6DdS|2 C۽jGVAyt"sj,Bh5a`MӋX>)b|p۷G93'2 ^ W'YaYJ #9, úǘ/yňjd$myfRV4]"J{h +XbWa(25Ӆquk1^h\ +i2-49(~g\j6.MIKYSOuk8D3 0 KEJu~5z,EI[GJ12k h#/+VC x3Іxl1p@ghga SGĈ͏LؽB;Gjy۾MtG,X؊ mXG)V-L[v۷*t >d==AT;P9e|yf3n_Gce)ee 5=_a7o˴r5qBgr8 +6WʍڪꜻWmغey;,*H~+fyP,ǗqJ8!Eǀ&5X?'?Qbڸpݠlx, Mt:9C9#?Z}&`U Wj0Ix2z!_Nȫt DbAAreTG)2?WN8RS㛖-Lc2*ϖ07l_]Ha*e},Ԑu=(k+X_.SlT\o2?*Bj#O:R2^mua~V񜺪>eW-1gOZJzQaK}$c}Rgۆ>YfFH[]Cv,ן5!#̘:M&1"WugQ[j{wivE謣*ɬrA$ص6Z1gaP( &89y Sx55VJODzsjsN}Y̱ {F /vLDΒ\Nк}4}h/عM\R0HBPef3[ WPW`^SgL?WQkDֳnB3Xs҅w#~.6bRgKMQ}qDemáDU4({ ~LUyiGWℾܗ^ے^i`e(8 YOE`+qh^PzU^8U*z(tQ GuTkXH1철e倓nOTE9 \iž̚K&Ֆې~ g; i\U$8h.ytٶ[RoLc:L ZKؔGC)gXi tMxcrg՜B\ֻ)> VX b tս44R}w .m* r0<MY2ݥ F M̗=}sLZnJ[kjNH)('w ,M4$`FlpgX3eD9C'SQ,zRB9>ekV[;-P.ŕi8FGdIYk$jK'Khy<ܠsE~"^SYi7=IgorV~n6sJ֩dE2 G__e\(mͤK5 eߥXr* E>PvIl7^ݎY Y2RJ&HKyb5 嶾GN'nq:]W&nBc(CEݕL,ڊA*+3(-u39161tUQ"5in ((AIY T;G% ΥZ ZxA!4מ Luf)S֬2Cy' X1RVw:'uQ',8! D^ӑUɦHؠDgEj[+^])Xj0d4bA| tn"R X|FWPrƿE1ݵ W\aVUqu:BUYu^fuOKd& {ɮoh,P5fd _/kIqV pU&LЄ21eq_jRlZzz=1+$0YT&әf핻gN)0#I2hXiCr|bhsf]?yT(oH$ٿ/ WTcUO%%7o@J~7-< ".{_*Vj-E8UrޠDsnXNEz2-jHCW_`~׈9Iw-:9+B# *Tg.и=u1bF]L+6}DB(ndK#b͓:m1-jruMrW8Z;-DD۔sn_E2;E"p,M{UE_*1UItpgjGd=vA9r֯Ǘ-*\%Bܰ ^]T"vӖOX߅~֘Cֽ|^`FxƯw=ՅK#f,"zKfk<: Qg{aGD-s]5ӷ0>:e*@aRdǒZHqđcz^c5eVwafm#3қɹ{i IxȫԷCA՝SRw 2%#Bg^XIa%-S.#5.Ia'r16w^*J-;EQ] '$[wf9۝scXTl|t-]vQR%:O |J)7CL &#yYEWxm&Ū4V C/~N6vEzd,wӵs(<-CqO3ƴ+T|7e#"v2iwY-A`9-Oul!gL|;nQIď|`IV }4x.!݊S}OG+r -*C>b^Ws8/9yDMQձO|'jSъU߇@ {4qTԿvBQSֹ&]NP2v[FQXɖO1s[W!?ɿ?6[Y*=P1v4@*O 31&ڍyH^A!ZDE\7n+bE<:c˒7ïޚ F2Qߏ`աYl T ?J,K134UΘpaw4=5ojŜ_U0I^KT՞%W3DQj~(lH4]S}(87ڡ0Ao i~h>q{Ira] ),`e0. -nξwߍSͤ> -)3$2)Y9.;;T0t=b8Qk,gìހz}f&YTilV5" 2w\gӤD~O7UXG¦ӳBNْ_ U\ݗxFKEҢe _ oj6TƟq2<ToМRWv-&A'QU0_ *"ߧnB 3-1fLҒXܝşJ\ ^eIoNaٮoQni r̤b9)@uE){s!ME>&N/*Zj *8a7Tp0R5˺+W#; a};Q^\a.V1_kފHehd>EԤeNJN (%c.#TkZO;uu:p#"5sPTAS>tsM84orm-a;bi|FV)zv0BN\\^mV[=dZ|wP_KA Qs[6˙ mQԛ\D8ضW)#HLe<\*]Tΰaz22 3Sf9g1_F9FDVG9 '5z,OA~ĸ Љ NCh\ _ @.|@RM$L,~5>!_n!e YDbN?2*O|;\ ;/gje.O\y=,?ԯOXxo<SJF9zT(ߣ'Νw$3(#KaSRIHqƷ|͵'}Ǔ2vpzɐҭ1 azg`}y]oF U1Z\;|W]%hl Փ}OzBk޸6KzQێ}q>ZTƌ5:䗔{/\ircNnL U>+ %Hޅo<ڟ~ӊH S:ّƏRb׆^_m~0k&mObi1q:Ul~B7!͡wl_ nϨEd^A%uKCf˭|_z ֧Ase%Ay, MK4^Z Q y„>f=ň`D'0)i\drb;fPԑ}j %Q'2R$0K~;BʒԂ5\];ˮS]reõS`&mW"}R`?V!>ўz,/Z"=v+5b`Z >~580@PYX boj㽢>v^:~~ q *SKmp-f W{9oꭠw)ƈӧH猃_@"gg&6j*mKضa?k6Iۥ|څ!ћ,9Ynq;\d-d!ai/$,6V1ǡt=F>faSc6AHW7؉4s7o:36FKbNR|TߚjT5fT=$bnȮ\3@8C*Cy+<~bXVA|{'?]2mY:2S.wS+'PB?Ys34ȶ^֊DY 1}*iR,`a)M;i[=1Ľ߅_Gt9p"(jͻ=fҚ> 1eQ?VпGUSI 2&56+['ub)mSAcȧ:~MZG.Yr!D+܄2P2ط$&Hr\%,(GSMiY:T Bp+Rw_ O=C?SGт%V2܌EFu2BĦ})4(TP\PQ}2G"N"ʈ&* Ds IttՆʞ;՟>=dܙcLrVjPG ϭPAFwlf^-c#ϔ {) Ҧ Cq-+xЉG?4f`,I]jQPfn`\Չ[Fd!ȸHX]_ }DDc.cEe8:S3Ґǥ=0Gw 7c&k#z~?cK`o.wŦr̲/Q^5N;RGRLlqNXMoaR_޺P֑U)>@˒CJ~|Cgdvc!S{oixмZx˖-^xctz7(0 7Fd Wa)v__!A/uC` 22ћj4P?(Yx0-Qϋzur5x!IN%TՄ&hJ]d |+_<bou! q=c;ɠPZcD$nc9Ie9 X{O"M=̭pw%%0PCEku8ڒzמ(Ȑ1E4Kuip<a>fb \wEMߦeܮ-w юӍ;W͟Ԉu W/nCF)JeY KZMV: V}U =}&OS,NzA{a(&:ƅHr` g.o|&NC`E]a^9% Bm |+afcpbl6Է냆,f'<_F Hg=?\xxhГXKΕMJPos%)퀈:.ϴhP9Q">pV$xMv_| {qV]9wk7@&=(/:7C[BFކ#w&?/ nπXP ȝYnfQS-î.B./= M3U, x G!_G^TsR!fJ{U`VߨG,8m0W16{0l*K.K0pe{zY4j'Li2}n<-KKbWY~8ND}JS4QE; w-; w1rk 8~]%̞ӌQ . Y uf!] 'LbQ1!D,JR,LҼȏ-.E8/C Oh3%ZK87 Ωy3lꓽD@eafZ rugZDiY_Dͽn@|XPsΫF4ȼwoqVoR87ӭL~/#uKPWB@/pJQ)EV[_F8y0 iCrNYWX>R "Qi 9!8x [i2JKX|K$ܸ#_\njoTSYbVbp;|22ϻ_թH"rBޑ숛:-CFiR/bJن[SFK'yxDU C;V Vɑ`ݽO]Y#&&CAŗKmjD-hgߨMqB9 4n!CxϷ"FӼDpϜD"kכ#㕡[TOAe,BFX.8:z//?v4Y(=zҚq5 6Y>ƺFb`P0~.߼`Mg` '(q<@jQe+γcmzi%}3 o@naQ:%#(03;@sǤ>)>OJ(D8\(qTgQ-3J b?1ho@JK-yMk,τA~ag 2æyܖ1IBg5IT3SR^0@A\n=E;P("#8t6,0~/G/s, Z 3eJ`YU̦h (6S_{XbiQSơ?Hm_!=k>o"ڕy\lKc"r [t{ \=22ҧHIKX*mwp#>ԇ+ėk1,rꫴ6ڮNp^G.Mcw7g,&k~ɟxHV.屩Ee`bFl`}Dl]$tڴh!X&+:D =b+59ox^clp_y|/hDE~9'Ȼm.]Xjϟަ*q\V%9WYHa|0^t72xytDg0(Ӿo[(ظu<2X+Ӯo|F:78`O:p! >uüKu 5 2Ub2þHE~0/Ey]Q|luY~z !/bMP'}eXmH r`IcfvtEp DnLwn`I! i'@N 4 1¯SnfX@tUt,=AnPS0FCpl GZţ!ĤJz$Gz;Gbf^pShwCC,a|jCcWydp鍲}I*N!9e¾~17ucr=.35ZJ^Tb{jQA=]N=۝>EsfE<:5<:8Gia UWaގ`%mܧ#́jL4"6_Ǡ[`jߠt刂>r#T=|Y RyXIs֞ Fnĭ$^HaFa]^w.a_6Yp^Wʹ?D\Eaw*obۃ?bmK3m{οrP}{q6JOшE*mLXw-0,A߄<BnzllOK$IVVsNokDC3=ur7Lc:ַFtϴ#3ݎ9\ _ȅ%ֳcLMT3-λ-q,~h]N81g<G:Cf𜎨Wu4 g$k Ћ[OJ&j VˮTUBfAW`rkcp.Tk6iw.\ä;4nZ>YyZZ%CۄoAR_Q^Y? vzu+]O؝#w?| 2v>fRpEM}PAڰ=76LtXº"lص?BYl_|-܉xih ˊ9ըU)'넡"kݕ.ԣۣX\wљ5Y?ځQR36b N/`m'elđ^B{- p8yMn(5wx9µVlZ 5q: Iq:<:ɶ# |K WQ%um^8wׂ-;ͥ{|ڵ:咛3"#WaAp} Ӽ!iidڴGcZPWů yq2P=*)twG r8Oa 0Fu/~A__كP)0&bV6ޒ?6;B-|TD;Q}ZFaq.nس7Po/CpDeĪ S Jz+*d5\~ "2(@픿 lu WA=6IJ_|u‰29W%:nbVC"з40D67b) +|kraLtmHpMH׭MI1)9tۢC\HNٛsrz^ChܳnX)'[|C\8 @aC5j mu%m0lĘ{7K_gykCAJrL?A'4 99aTؗ7lc !y) RQ0 қĽĪiB]hIJ1ؚ"JDDPMRLþ!l=TE-{Bw{M JIņG@^=[^c mѸw%Y<)>A#&Ddf5:G ^0130RU$/FLK, GBl: t1؜u$:i& .8 {xC5e71r;UkËk9Ŷ Bp$OeǦ| \ΒO, \l>!(7jnp'CfYͻ{'4!"{̆4DvXfe؛o9p3dLϿ-E{'-(%]Tt7ԡ3='ZʌiڱH[) c@ ]pGX*(뙪20O dag":NBm[C jC]y@pbZ)?/6́D,Qb\#"OY[⤽}CWTDnU?Gpl`:+5Vq˥oܣٯkXlq9N.ƒ.x3Xs@ѱFcMXz.&Fawqt) 'U={2}Jt>^Xs1#(HG1LJY5:8ln & QqVi0te1 Nfq,,#ĉ5\Hz:jJk» 숪|#_1[O翈 v06FN6IȑdF j=2,Tݫ/xCɼ98HdY6~%^qFR[&-K+R76D;qlcve3I^(),b<-3' Ё8,,(7@Ø-m%̀FZ\ h#i 3oJ{԰H3R˃6 (jjEBw0o#Ozɣ?/N6TsܦQQ|.EpW ܋c '9䮟X% #9 1 I49dWGPxKf:6 o(DEshv߹2$NqZX)yz2!O.*dvynOscbv&( K Ӊ!zM]ڹ]FLW5S$g1.`Ҵ0|6Z2 G;jw3OflܕzkuH65O ǝ6zuXTpMUpk,ݴ$g$rCqY|_v'2&>_Ee͢j3 ppYuM008Қr O`ǂpp"rl꼬m 0DfPnFV 1+/rU.TpBVx5hy$S4Ut&9'(X6!@_ZK!b['fT̉r Ki9A'J~Tv9 JKx ˟p38+I@aʶU\-=o[|elW "yLTnO!y$%*mk(fT;褒7R<γrCg; ٝ|C o萦Ђ yYEeAZӓBu Pr^"H '3qߏ<$`gIi~RvcțT,~"rCޠdIѝ#uJ=^<9msuxR3?rA@(Q:KG<]ˌ"&ˆHsٚy4Cԋ؞VG0JܨF豯%*ʃӬ%"1>di7u$3w1?)Q |K-?Kf^t6a3߃Z>fz୻ޓ9*b#ES\$#/Չi'w4|(z 5+o!&9 _"dc.&'߉֘W5/h_P-.>m&08 s^=LҺb3N\!QDONVB65Q67z29SlRRz)pzs/g_/x;dLM)%8|.l#g_eidE8$&=GXl!I%45J˫]8]!۵6`4!8f[p';_Q;^Bx\D +hZo4OAN,!* tRX09A/ѦTce6 J'-Nr&)Մ˓9RߗQb'G7(뻲1 sYM *texP2N̢L;*}"H84,պUYtRku _a^́&7"9WɆiQj~ىNy9^Z#4SJ4SU&x.| [Tؗ$Ѩ|] ;VbI؆#/?{fhOD;O_.:EǶ%"k"vb]m:07`W')qDi,_ PancJ> Hsv&@xWSpaR'V}WHr%pH$+!4(\0hT$3Hz0l5}$C>7\AzAcp9:o{َm']P[`sir ?4ϋլhDZcq3]M$*-! }3͘ݾt`aGހ$ 1uA x]?4¶ !Z:: Jg$G)PUO12^:b"cO1*$lJJ¡ u|ev]p/|1oaOFR *h(crHoХpI_llFhWzbAB_°eaϦ?  -tݙ=]DDw6㿰)՝&[udw,əާ15 I|xt֘iXC]SU {jYpX, ^Y/HZU9YW$UV_1[e>2B'4!"]!+|~iEAbҁN |s8 q5GIy2'q#\j1q!ŐY5ZRh!y/rJ/W ѬXeIY@vIA)㔛Kӿ3iՅE"yۨgM`fP}nmE }Ϡh]ܧwY?j-ur0d ޓKti(<v| 2)@fVܐ~ mc*$Wx @f5ϋ5"O =*p(Z+Lj?oέ K ȟM8 zLk'[p~$Rۧb2R{o"Jj0+{;a!+Gx k;) `E/̓[qW9`Gm TYѽ8vGxeGE&[Ǹ&8ZHUS鶯6qH>\7K*$5IEr& 5|G{[M%c{Gng1ȹ= / |xV[2Hƻ7bXE2_nudADetlI?Pyzs%=!I4h\C~?ߜՠN#5'Тw\'gZ s:_?2yM.~*C 6s^mBUXA%۪2E.MbQ<EtZ{?Ġ  m L ܄"4k8ܖO=}m|Bpp#[{JՃRO $ +~€YEP:&b1>sDe]ܑꎿ]<?Z1h#9p̬"˕tW=_0,8ϸR09k)iX) ԢL5kRU\4<^&Ʋ%T'}+Yz"M&#ӟJmޏ !5(:FS*].s6~ͿЬC+«i#V7MMrGP<螶?$32A Јլ;{Gd9F$nΛG-i+'C^۔=-m% ʋ]t %~*o` Vmp\#v'}dQU|R1ƤrF^ 5R]^T6歋]87MLUlx'mAr}c*_FsȕZ۴}%bInvЧ%*kK5c6;QE_ćo we7tl1bhYۇ\Qf]IPA̽i-RqfAcviM X&B;OǠ") m&kW Zմ+f+ɥbF{2ߎ*g)=o@5yYpGX(DZ#(vÎZp`B/`|&:=_tD.I,j.-LKڱEﶠf(D=mIZX{aff*-[D֠lj{çu އ g`<|-\׺|t+4ZT 7t\\R7GmIô֐$VSlPg2J[ɼf#ב=0U8`1+ȵĹ>wFr8bF_|mpE=|slYb%1j0Km=#Ca,̑}w.10H9*sab["t` 蔮쳂S;FZWF|8yȬ ^'}1uӜdZd^.GA&P+]l-;4@Z;+$2cĽX[a\xc(|"gMquC1]C3YO@>@bE'}t_ 8]]$n,.&bgĆ]B4`OU~|)&=J"AtM+xggVI+)v$ҠR~52~£c럜Pƶ0遠[)?}f+ SӞ_}`j%t5WI2wX*" :aZ.q\zcX|Ep4+ٽ]Éku\B)&dJv,Ѡv7BYz%#Xq0k{X噪 Qt 2c- ̺A*XƖrq 0%g)Ou|R$dc@ܭi㶬 ֡,J.)+R sۢ"g ) +E X層Sǁ Tާ;61tGw7^X<C,D6?Q0FUȆZ~:ކfmJ#8k>TI|mo>?q{,LHBMsuBN3M,9 Q׌D=iPx2tUnQH0đ&Aրkg}\33mʨ<-EF2їo V:v,kB GBizUK ogQ-SM/3 %b62P:avt&H+l[{\wֹg藙Ճ(!yg^+ z^(}O,qdΫtn;P8B[m1茵a!i D);qPADs߹=L?d5*Jfɢ*#?l$XU?KO}q dip5w`|Ոw٬V*x7{e[7~ؾ؂^B!%F\%5X_|Ru!K@O8 ];s;wOC<5m₪zXU;Dx`K|,C/=,>=+@ҋKcJ{OWvꉩeD&-e&+E$7Szu|^$qץ"Uڕ` mc W<p} im( i4rFZk%hrj;Nե^^] U:fIۯ#:얚BJ` DjPYu1UPC .._n _nUG$2 TD8h_u;LY[k5:Tjo`ѧEE_N1F"V:?0C؞f@8S5B"7W[<8[8Z#(&Flg~/ڟ1Bc :*c P*AǤ55LVuW7fm?,"ĪqDͲ@Uh{:=3kq匎MjRUldx,zZ|0:}*2tW`3jF<<]2IG-ݫEoWz#E'#;łGd%򑉺EjxpϲL~QXq:q27Ԏ͚q61()X}u+8#-OagᏕౕF;9Jy4=KATčx{)akN-&hVAmC^RڃR5T'1ܬ{~3ҧ z & 0t̾sOΗ*& g\)h] @bSGC-wI{=*"SO} &&L ?7Fz)LZ~J $5 R%W+-;:G7_evi@l%N zCGdib݇yo*KË1 D3Dl/XC^B6 ; N$ 6ѽX?z].>(NeQm6`Q8F 23CuhZF~SW5|sSWL'9r葇^F<&u7YӀiCr9H>,KML1BNpǂK{{Gp|:ݝ.u ja7&քڑҞ5g#Է8pc;:c0c BB^c: aS4{pҳAfL^!C#.oG+&~(JLs̘WG\ 1I+ဂ{@p%N̔#J!5rx0 a,e`fJ/AVjE+[׉Tx]C-Z'`ʹ~r,R{eAg#t8sA1WkjA<*iaϵzxڱ{=?ӡĻW74n zBeP! 2gJbboEY} ! w(LL\J $gPLCZ(>S߹`/9rN?;]Plɐ`IKo:zie˔tV*Imf4*z`m!Ybine\Yi.;$e; !Jx"eZZ#,@TCA8&)3Un(@l>J7N=v3a V&~RhbK"b(RiיzRki83CĉGj6N$A-˵ߎ8Ujҋu *&emaX>B9KHc4Jsm5'b.GlW˃(@OE.EBJLՙ>i[ ezeM [%=-(&(`-k!t]FE^p1Ub)Ii:i|dxr=6\C|#{6%ję射[? 2pUa3q~R}V:CO0_IŅpr] X$+]^ ij]I8 Ng:|C倒I`Yx`Hc@< B(;Q^Np`56v!P>k$@@r7O ,>69A&#MViHhSJnQ&~FH}3/w)_k/ܪ`wJ_\Ha=1rnCsAz4Dk` <BK#ә<"`N^Ѿ~u4Mϒ.=ڝKŹpl׺w`NIEB#5Uk*x9b`& Y&3;,˄X|Z{ (yR+Yt$;;nϳD̹+K 6O!eF: _2oI/Oי#n .?cf)q$dDߑb(3.7+n*ZR'*?u$5&#w6:?'Kܜ'Bw7d:.eeP# N{ VdB/%m>. ~vCai#OMhL 2)i*m6?5&в8QiInfIfCn?رtWG;ppsڹ.WiRr.Q Rʏ.'; ڪ(*B:c~BԆ0xmKD!7i\RO`/ @ÐVzPO՝ ;3y;Nom 6у|&ӱT8*>,`-J~#5"A9?)xskG$+Sx>>X@IĚ%؏S>f$>0B a,Na@Uԕ+ۏqzڔA{uݗn끪fd`nn gSg;@&N·G(OGsL9`1)e̊] 8ҹn 7\I, jl=p $^f/&czn [/Qe3)W>pb)4)Wݪͬ1+ՖC176.6?{-ă_9 q%S=.Y4Yrޘ$Y [W9ȇP&5q*SOQKؔ|cTઢ+ &H9%|J̛VbE6!fvyc dtv(t\hGAMHcd:6 yU{Y9] bj_C"]>M{510drT(Ĭt]L;+RX^PsauN f( -[%Un܎~mȳ%?!qP1KjRC$cȗBiօ!G&;Id~pWm[{d?.`00QΤषǏ`/wW_phti xҮj2**%~ߢ1F,uC$¥|ጺvOi+wJ2^zs$^24\e*W,m3u%-~gcH6h)DXnJsG2Ck>0^\kOi7pp',+fUsWZjԩˆضߢxgB^;ۼFɟG"ʅ;|Չr*'isk^ .l݄@<|=KlF jlIά(6:QRg8AbqJy?/ 4ҿ.9j]c:5v}p@&}'1*1X' ^7?/"9 K[6.En(b,m,O7 ?~ErE W ZЄP$(8zYMѹbry ; e+ʕ\b,y?ek%geE# #9J+I}G`#~ Vn=Zd/.>gLo*:p KPnοqF{`:j1oPő#mMnɆwMFrW:~|Z.ZPۯ*TmQ0!q|iBwv? uCB YoMBq+z@7,9KR9U˲Yƿ~G^te2}vA.;:'f}-ϲ)QOHQ&v~ t4na>f:BN谒0$mwkBwK0W^d犭ؿN^i@:Lh p͂{/ z {P"!3>'[l! Z|ՌhIՁpjrLV c0MZؤTɚP{$Aio TMh20" iX*i\VS,$J11|Y{*2QG]=!Oߎ$ta:"Y,q0<.kih)&B"q᫐7u2%JGDܷąb;1a!>.e Hhc!]U@LY)1q*%&p'LcCPM@T;ҿgΏxlgc}S賰J/1#.Mh(Ď;o o wTw p#އȈt렭z9VVc=uƩVe:}޺Iqa# XqμC_ơк[ ]e1 n6>l #|Wٮ!4f3 䦔)j/@owb;| .#\'>!^Ĕ15bg<(s&![뗂'J}-}jvR'жk QSw<ʃ+:%ã҂bx7HhwlQNrcG-kA}+6e( 5/7cyI ƑzOkTi396';=X|V#+ٜeo$ʩ P|&@ld(C^2ݤ&vZPc_ d<-Ag2ҋtt1gt13L^>KV^:YZǠF"Q=jr `?trt1>RU^6̣|eaZFF S(7&QI.&kt KSBp$V7Z?{ꐒu(₵2EC3,AޒMAium. `J̈́4Yq'<4$^P/9IW~UoЊ]- bwxr$(_.qH%XuuBd EC)0n ?)0Tu7_Y۵g̊&d7ħsu>xl G뗕)~ G#M9I~ͤ*VZG&UӉ@q%4,0;VFCĴ0[m4݈uCp$@noJ;kLFEϒ 1.ǟ) LIRY! RAfo/4ϻ8L[ c jZaZYfhNЕtqD<هZ_ҩ+*5kW > ].LIAP6kRJPے'8_gYZ7zXZִF! ?]ŗXiɟܫnB!ٗ_ΖϯĘz,J (kԹeJ!d58o6* rfRZ8CYz )$j2)I=FӲ'ĬT+Khʼng&c6]n>?TB?)d=EЯS}܍38w:8+;Z.2׀|+:D6߉߇פrQ~gYr5sۢ)H_[ul]@֤%E]ob,LD<)%ӌV\ZX@Zc(TЅ040C85 0?.N;YL1kJȡ9aY`f<n/HjzgCyX[ΒA$S-q$crbn_0xQ Ġw;%0-ٗ,e>DI19Gg3ӊb2cMqd#rt(16.VHmV_ѝh3gvhf?.~ϦqVmmU7\,#R!$`i-+ 2kcO<"87`/ Fy[ܦxӣ{2C }sgMq u~6ECs=$#%kG$҇Xxu[{cv]*]_wE*׹!P}pk+B jcoZu䶟5 @o ʵ@ `\Ɔ̢4"z NW M 8yA:$68SuR,YRE2ȣT♡awYp1DY}G%$PB=bs9]\ ;_~IԐHX%p6ְо1.(Li4A|>g-FPNȈhz[l9<(DvJqA3$MiFR# UxE>TtMB$z5 ;"&.YBo@ b 9CJrfky\\Յiqe e b/ud\FLԝqTYpVۚl^r.Q`]~oY1"] wэOE!9Z߇W" A 4Wcmfv ~kǾjhSߴ)PRxdOB r;2b]+kӔ*Iz.u`ud~n)zf}y] 8k"7W1GgFwh O@M`]y}WMFi.|*'[\mME":vɑA`Igs# T=M]U#Sbl11?֯sG*:-by^&]D`_mf,6q]Nmv"hd(26C : ?%9rh,s*Ug6Rr@Hrg7p-W@/4^֊b })G#DBpfΪg=37XZ@UuyPgPWX—KA8nx.>'zPde 1qoB>Vy\g.PuBFf5QlZIOlcAټx?WhՐ}IZeNӍʠwV[~L[nӔ-BDŽX V ~鼎}0%rۆoDpuk/e$~!OqcC4i_|&r!Q1V-挄Ai*œ>?( z! Fh͇n۴x&XNG% իIMPdt o/Tu%r_Y `CYdQdN6z4!kJŏ8׉zķzU9?/<a +~Ot~Lj*^Vp}pi{&"sNT} DͯRLQ9UZp7" ye+o"԰] DߖN7ʅ t? !qC;%f=Z [G^]B|< g\\wHV 7bI SLxDuZ20au7J=m|j?5Iq˝f g ޜ,wb (|"SNj~Gotǯ_4sy#Rma up7ٿ_zˑ=nL\$D4=ġ& f|=_-l@Ź2sky ҮXYCϖXR:M n.虒ע4x Ayg<,^J %ָ`f(3HGn>{g$bfe5i efpfRHCQcB@n~LB>۞$pOoy(ǔ@aH=eck E$JMo:w==uf&qR>/F fa>q#9G[5- j{ů ,[n>ʬ*t1L1_xFktPtcdBɝ:7}vmG;IM 'ιyۈ#jcaֶpc @8ܑ&Xq WnB*ƒy;d? L9 Fo,$*&H`\P37CPH.*^DZJPˁK58`Bd:{lK ã @:{h?4::fU1td*Sq,8KnZ3f4EW˒uf;GJ[ۋmiE)ՀoY+Z~ꧮEEF`u hz$lfgYZ2f3bb310f9c53c5045f7670182283df1a02a31b78215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 07d5259867bb6e7f9aea952548e2e54f879a11c5 195b545d75664b82f2c659a35ce0ce2c517cd5fa