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 |7| | ]/]MSO_Regex_Equivalence:threads=2elapsed=788.569cpu=1027.144gc=43.196factor=1.307zXZִF! w]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl޼־`KQCe;04[a!gwv英1c`_*Ei,0uUb"GPvpQw~t w-āi\n(<q!9YR|<=hWs}7.M3Po M%ifWʲ΂<Hr倛^DIЊ)isDwBНAB Žy'$:z|  V>8uW27h,@vu*E]ٶ^ѡ64~p >4MR3|0n\ uݏo4hoSdfAc6U<}_xJYmL@:Mp:C}f*й0=8e7^a^s}Eb|;Tb|$eD2Bg_*H=A/gFP<춡*&Je_41h'6*"پ^]VCCU[4:g0u)D$-Ζ3 8h}_0F偺 l ¸QI0B*5-Sn6Kpʫɟc3ī!{\MfJ;Po- 6vV~E } ⡆!(Gz\^ˇ$v$dTd F̜˒/_wcڝ..*eЫUQV C`~}s#nD56d_Jw cRk>7gZ2] Ά:L& O s,TQçXa^3{↑PGOSL2`.kk4ӭ[y5Cy6>AGX\ 7;.S-Yk m6OVvhߩI,rhq2ٖa(]qL'd{`M^B_\VzXJ: R.gpk'w|) Se)ܣN5P I™SdlS{+Wfk,^+ DTxk9s "PRV V tT+22P8(ݳi>~꘶_絘*dqU7f2+hes4׋t2-tCU$B6c[xV$?1E6"wfn3F\^+ru|3c;$IuR->_e)/,;ÌkIQO}2z$bkBC2UD]2bJNh%jr̝)¶UD^vb)@PM%px .éC0ix}苄n}G NAzFՖ|h6aݨ}9PL)b\toKyxLf בR,wFIolۥt?Y `rE t0dX-W֗`hWS&p\,GN!G_N=3&eUr$/Wq=i}{b+}t9kⰡ'\z>r;H0ORn,Az2<RU{6_2Q˒;w_\d2NXoãcmT/pE*rKayJw%kKQ&v!=?,/t%:y^'QIL?8?pi"d!Qt-D,CV@2 ̊g!ߚtC4+7мAݶ?F%xd[p4;3Н._?k}kI GqSAY_i=Ybj{Pi\K&Uj;Q,䖽TfHة s6QsS|sHӿ 03P>i\>~M ER[ہ;ϋ.O;%){DhYv,žbr8a;,L,XaGC陱 InbXL)8g@Cww[RF믙PF}F?%}H\[e1/F. fX%G௮&pSP,/6EJvC{`QE|;!S.3N@Oa@ ޷huyKf*ըTJÑd^-"O,frƷz3S PgAy(ohEPn;9偦Q:tQۮ6OnR.\cf15&igzS% NP7ݸ~-'hR(~\{H~CӉ-8I_ޚѿn!# Y{RKGq_#2d^ 0)} 7Q i469}2yx0TbJ_+?X*$Ry+v@-Sg<& mtpҰoՊR`G_>( c١H_)_Q`¬Z$臐^W C"7XFMsG2_{('u#[k U793HDqIU8jЮ8]}EI4Tj^~*w̰nbKqv^ʁx _7}72 s})PQ5㎡i.%M*0a]r[#Y,ҍ;{tęl YY d+u?7`(AU]W^9pRsgYZ7zXZִF! R}]ŗXi%>gtYnjH R 3-!WP_V36<0 sSGU`w#lu?cu:Xܹl$+;Ӊzv=1u! {r+Uk_W!ĭ aԧK1vKMخ:}V_c,ZӼ7& Uw\{î_غMKFyᓙ @?#ybVZG;ϲ'lS7%ދ:s;zeHtvvׅRueq :+\?f/7yY]C]B!*Ϲ Z`nМ'5ϯe\5662'G&U9Zi#zf޹(K)u%`73u>49^ wo #Į3R4@ *vgb>e/%;w5y1WS%w Ul-ggӶ|Pӥ8E//`x&w 3ŲA5>7D1q\ SòU#-pK$l~T2Yet7*>g`qucW|0 ՊvD.i-Zar5f#Ǜe|j %MTQIɃzwCEt.vHbOW J`Bb 0k mc ,u5"%Ɯ0mchP Oݱ4mLM pMsX 7WϢsEwcƬ<_9+lXJ$hR0I/9O4YR9!t.ww8J(N6rek8m1wpvjR/1cDXGզĺEX]58.ˤ3,P%Qk$ ' KːjB,l0z8“/^/O5P ì_0"5BﺡN츿wC2SRX~1jy(CsQH2(@IYrYJaY粢H>{`´Tx%հzW'EvU:91\hjGha"d81GNIbQ0T9l\bvqOj@Z jGԾ:p},ϷRRe*-.<A 5]0D ׀)')HT-!^:y+",'I+{w&TXYGG%dl]Y ~sڇB G\w )$? C3Z-+ǖp??cV0g sh94NJ왹ZJ j]pM[]d3"0%&5ШDGLn ݉>u%9}d{< vzܽYVewS!Xzԩ_(P$~#-0k#mٙjZ,W|Qk}㞊!ؓ mhC4lM:6}NAl@űwS2C<xgT:>MV1suI96ҲYAu$f>=N~ǖGzAst̥|Qк!Q<Bo1I4wI56w۲whyUfO{}t R.́ߢC9GDg(*^Z!H$53n|.eU153P&qJs6t~\Mфڋsr*t>AaC9^T+bHkح&='ya0iш,"CvG(2ʘ(B`T90; r4G#"&F"-6S0 4i7)z'rP-a$8j/64c%ь܄v-!;Yv{z R'C0@ʪE>xq6[/f@(>%WD(893i@2@:D@uxY7̶b_iF>xD]Ch G l ܋fjYm!YNZAe6(ܞÈ$A̚ 5O'aBmdZ(xt2ARZ+4fn.A4aHh<7>P[}}P2 bLa|·KaZѡ vn1ˬlq@`cG򎯝i"~:s*f\% C*(UkD 6s}}Zf毙R~e;ڸ2[@Ȱ r?R4D74?uY;PP\Tn6hZȲdzqYRIV"[?g\Š 忩HΤ9ϤS恗 sٌtC1#ayk@D2tYp^\OLd&A(8sIDXMߥv9}`vDy]$A!^˔<\WZ"l8}׊/Dcȣ6އAuoUIb~/!hn]$Z>q9|YUӆm(^:|)sPmEJь #K^RXËf?C9ل.aWGz(n8ǞFݤiQoK+-ax=ڻrK˒-9! %0ݬ?bR2!ίmXj 6$ϷvJB N',4I@}I4aޭ=-,&ANoSg_)so̭㐼~ʤ.E-uiP-GSfJ?/dy25R:v4Mvt%Q(!1{a7>Ns\Lr>ܴ'>ծmpfTvPl?$x='' d&02n }= cf&5![i0)t QԲ{o$z@X-єߍV TF4|jʋ婱1gRp3䯓Ufq2ӂ1x{~Ij q6WWi hk\?.QPCqۼoaI cypo>be8)XfpC2'vpn-[M Rօ2>u*9!(0y\8wPğoH5h:8R($Sq9[i&>;>)}*[ $/G{Q,)ڱx7E:P`;%Pz-}Qtj8smo\C [{Umxizsj+sk3ai䅓Ü-a )"V@A.A?UdlXH+;`~!eGsg()`{kb=Ӟ@zS@Ԡ.55Qb HmΛ@|K]ϣ,lefx @tc'ճFT Ǭ ez ]4 w,=JcKy5(ңo.ޡw/qKLA [[ȟZ;Nڵ#P:陝L;hY j7F{4 }dr :@ሹ&UCI+(U=+C,lgwGʵ`pJ)I9Z )EA׀~7M U>Hyg}G j|ӨJ(+z:?TD/ǀLF5}[+m+bB&s]tQWtt])x,~ͦNKB.-?F0AcMֆpp,ur@h,ld GzpJљ?h@>8p) #;sI ,JqW^&/KQ!X ՛8{ZmO|М+LZeٔ=^a!쳈kzm |Y2@ȡe ewxgځ;]adz]l<ߏj@$,,Qɕ7dF*?iI~81]|pWe^EdԶ $n kw$Zêr]? }=~HS.!*zmլ$53 ?dc'2 }' 6vZ $݆+==7L$DY;NjX Ӽ(?{ƢI`L:lh`#YLfH;Da 43Q昄L9jcKyG"?;w٘Ҿ`ZSe~ :z/+%,?켳gU[C;Q9ZOՊ:#;I,f|~ Jf #^/gcý(Y54XlEZn֞v~LgT',K{1fA+&VVfX NoQ85M5q5_G!5wb?>I8>?IkK833*-pT=ԁU-0nϺ_pL1V~Q<gUo2N>3Nsmq!}UXfT[9ޘJdV@@#C\Tt)(6(%PA\ &3Cmzµ Pe?1jkJj:#Eu :hZPk7 .e !݇H]_8;L[KjC-R`@\?xzX_߷'~priGbOAEZ}ĤO^EFʋGNpH:oap.!ybTM#.RQH;j .Rf6e+6LÅWJk?rKnT/sAǑ5Ei|}W]0jh^SCA$y/rЙ eK|S+rpSB4˘3 g^q> Jo_hPݪj'i=)53F A Kxz_@Ati Jqri`pwA@5qȎRy:c3".p' ;}6ĥ`[X!?%lFmּX+2\76b"iz,+uXR1ۗc2ڞB@hǬy?^W}Z # H@p7s_2%_&JThkZx5dW?z'xp#j` ^L!횩#{"Oe |d)^ޒ CXq&M(fZFGX^5‑܆NP4X ``X3ZDtp.=߫$D|t P/[*h3ߋ1o 9Уk=[.Lk*,Ϸӡ{mpm|snFi`Pw`Fs82(3ˏ~hv =e&V|*]v؏I E(1h]\96ev. Jߓu$h}Q,Ƿ+{STԃQL3%DA) ƴr*i,?󣆵 YJa*)Kj AW9^ îl=X،ƍ{T([DyR nwQ4뷽(C-E,e"~(Ϗ>7vNrt3fpk #ˑ-yaT=)Jpqs"HBqi2`wL;X ˀuJsskYv!1>!( >FPVB 'tuwZżW-vDzNP=6(XȨ1e#9q'QL.bYD6}^D5֚O)xG6_F|QڽD$:RoQX/%2< tV3́dEU1~<)v&dc#NVdiCWdAyThpP:—NɝUk\*~qCҞ+^tYX^pՀ?&ٿ7` Zks4^%d%1Ţ 保aIg –]m'upt52{A J`fmx|k@dRchՌ6n~ݠb b|W{ ͭZptx)!#a)ÎTKm;UK/~Z|G$rΧ 6e{+IheF8M&W.[R*dV qMB^"USL?b.o7t37%TjT)z>䮍l~v6@RnBJEM'7Z]uF'VPaKL Mb4+rv /&61Qhiݯ#\d NP VV zCЙf<΄t=LO#%P-ȍDS'yyeR{S#;vДҋ1:ܡUƳ S︫\6k1ԅDE,}h6ld g\_UmAS>#/dj rh`)%4%b\h1AH[9%v gO8DmCDi%@ [,An^~/Τ(ɼS0v^s+ .HvoRĚ udiwBаXGk .rY qW i#/~sBT k' iTPΤsZC_T;~H&8M ޘ_zͭ?.rMQ>ޏ[؎}1bo=, Z`Il7 +^=UYZQUXd kmѠm^0wLkCZ_L5lb"ѠQ5}i"s|wF0Mdge~6St-&ƙlUϓo”tSNGcaAXLCm?TLMq xk\G\qlPh u6:F|PY+ ~q9q d$L!3᷃:&4 &4:`nuت5Q-q*}>aȥ8(hѵɅp!\Ru==<0&oq.Q^|*i1X}]Mt=< Y4]M8\.DNf8lP;͍!EQ9MG ?  %ɵI "@iUh;34L.Ydsd`.} _+:eVg0 }f4:dI"sƨ@3жi[(vڔi܍M\vbR-(orό5i]nj,ϑWsx ;9o&[4ҷo_z{Stv@ U7ce%Ys6ߌ!̨ոKnjF#|2%0d^W8rll"{!w*@TB'T6'M\a96[6B:C/:UIpdh޶\yT47nI/J~i% qWfg=Ա''`;UR"%@ϡ{X x o˳uV0y&|׎Z(̏j 䬫4M@EF1T8x:ޖ%i%\ҬO).crfi̫|@G tЉm'ڤ팒V 4=Νr/@ga{7?A+H[&[uCg |3ֽPu7m. GZrڌ"kŴxi 8hX-e-a\#,mChT"jpBb}n}g1cICwwػ5X-o)3ݵkJ->IJ"OT\w+|GZGW`(ى_}DBKfLP~-GJ;^C'Cs#^!&qnvc>Jc8al"O9{JmH nS9r&|Y">D5-Oy=ɜ d5 0O?bm5]U'7ӘB/1 4 Eң9z:%^B4 xxCDT<eGb'K+:egYnt>H.mDZbcCWښ'_ü8A Y`t f92 a$(OQHbg4,%GiÑ2LK80w`]X3\)f7W[1u mn/[iog%Ҋ$/nθyP6q  Q= "o]/R̙T4%ZnL7 bY˱k^m2B\f` F>%Īȁ= pK(Kia`(KU2ƍZNw2iKyJ^!YϱiLK[!WpR0R9 u@PLBmq\h206xBo񙩼=6uj\$\no/P_v #&lV&O(h r/-,B#axNoGa02kfWz8-a: [ZXr=l5 uO]F88s^p!99-"3ә? а]WcJ1nItGԤnK`oQ/uab$٩F˷NGQtOr5XN1#n{"^uB0#{b!1v6CȉռNջlHLg!Ni(B݅b,~|E5'(g)H{$Fs_C7n]ӌj>WoO<1KW>wrSq1.xY%7z쥀l<re!:| >tOd֝ 6n{p8QYD9){[VrBo;p,|&٥@4b}m&#3_/遲)=gcb>,ވhPtl{Q^ bn!Rzm"a2."LmO0|7QkvW}ͣ}hP&pVUPh Wo '"ҩXz{ڨ_"yP ̶W.9^}W|*$wS[#Bl: >'d0 @kҥ?+[e>@ۓßD WF_i4uF#׏\ҨKPX|Wp&`r'&-,< Nv ّkQЫJdj}t %K;ggB7*:DW= ƆY3E8"fkɓ(!8r 'ꎰ^e?B]zSL%jݼuYW|탚!&lk޲zD)Jm GAeE`q3/L,H<@=)z} qY܄`i0 iL#ނ(|NQ*%bPP|ߠН;RtT<=k# d He0 VȡV1Tc[咀_gRkG4jy2s0IV G"E4$F:F*+Fl ^^~.O'͛4S#!Ok"*3 3 JlqX[??f*6n"C*i̤zG8`⁜<(F_ƒ~B!)wC49)},}E$.cQjvDqdWUJ`U`^V8{qN({{Y(轰Qyl1,R&|Yzgi$]3̥FS*[FVWo'@>ӰXwtF[գ>$Sd#u'9[1.T8OrAvaXpcLY,HK[f5siqݽE"-&p|y໿j>bXPiOGeߏ7r8"lp e6<ݒτo0  `Oƈ(fQU$P.ԭ =IXeSYFuEU&ΏEֶ~ׅVҨxZd6ܽ st!# r~SGkO'!2Ta ) z wʍ^j]1o(+g}!=` ~*V@RM{.QR2`:LvLjxW5TdWKl6x_yn*QeqPjeGõҔ 5*|͊O9P4|-!ey.3lwX(mYHƀ#-4-~R7j.h~G{{fAqC̲>  !iF+9Go>-_Zԭ\{~HHa:clLBó)6i\TPF9VOLGTA D_R  ?&],vM2Cϵ/I[1φ@^":zzp> n}#R ֣)a/Fg=j ܆'{MYr%4ir57#_JeQaˉ5ϵhݫJa\ 6nA{a'D$HJvmuGPݛ+L$FdcIT]0jL<8cWL$/i"|@CdnIa|E çlBa_Kx%Yy͉[@f.PvF 9xrX8x\rk)Iȭۦ(4TC9"hOYFLRTm9Cjߦ6]@o̷;GwBQs ) gfwWW,/Ϲ bN1/Q}Tϻ񙢬61^b " &*W4:-Bb63dBqs`?Zf1F}BVӁ'uKz%~#}]@%;n ٿ'؍ډ<9i(yT(E1aH] ȟcaBTS[t @9Dw;8{19sƷ!;Mre̽Ϙp"4TYNi{}sVrZ]S?|@d0hQdRZ dD  \RKxGMDmVqf:e<`` ᫇.5VqeA&3HEy'Xf0FV8&z25~vۆUOnf$]^'+( M$=b<"aY'81OɪZѥTt9}'5R=ݴj[DžȗmXi) zdI0C42ݶ,֩u_\iq$\$Pc$+B'a:`g41g.yJMⵃ}*.1nA*[dr"52A)~PMC.kk۷gxW&n3gAbƏJ|ޟ7*ٷᬲ \RdrTnrhL>X׎1ss9\/$e$|9(ɳ㵍?HƠxG{5(o耓Xޗ'?O3w&E(kBI h<2|C>RdCpÒwi^wY\5*6q:HT;ꨮs:J [CLhꆈzV δ7i}g'kFB*mU{@|ywko͓"ĀbSg] @fĂ?4#+myFoepr3)5;`}6;AA9*t_n=vBW*R*)%lL(Wdm&ܖd.ryh%fQz,.r'pWޑ67uU? n3,Qq.I jAga΂Нw1 &hY(p(s2M /SX@q69>E+\a_QFM>yiJp[Y9cnC;Oc9("&l[ERrW <3br?qk!W5K \\ _DӕCē3>r*5m!Y̐o!o,ڳcS3Uw6O#[_X" ^Fj#Oo4};xBD F)U^A9ݖ˂̠*;>~Bud#YqwhI?e2wQ<9#y);PzdQd~O$^4ĜkedKBe7WFG}X&L6iȮvLz Sme6C u`O=I$ڕ\:\~-u@O 0N|=5ՐƵqoa?aęUl#ZYp;*|䫝gik^;;{0e>M9Ҝ9i]hJòg3Kk gZ "J| NW h>UEX}Q#K|2]tr;BWXaFdlk,v 1I60iUgL6\X灒HäfxȚVƲ NP+禵G!Π i~Zs[ƊV ,ٯ:jkQxE#^)Au”F -z sem}~TaJQ:iL'|bp?O?ޝaP]:AG1,8MnY^*_f#Bߗ~,R\ >6pH⚮\>Pa6,-ZJ jPK-LJ.tKd6s,ү ̛jQoX:,h\qMEo mU7~PбII(,HpWO [zֿA;$軱 v#3ͩHlPTz%l*EQ}9OAnmٵzlCB8#RwD+>UGSFy'{ .@l붑_udiAp4e{:ad{,;BUQ%uvl1c>M=^hj2%*+]Tad}"S7␭X+"ZtɆtRw]趜:äI?Ga $2퇕 |S?G eˆ>G,r@ LyT(ʁ-;<޼ 6QS;L#+=3&jl"X |Am GjR E}5/#9T ʑx@5Od]涧qۭEL_}bH2լCc@Kʏslowqkd[.&zGٻW+0Oj C'SI9u8W* &]:8olzAM8\ O`B.͐|wm/ P0W_ RvVeѽ6t"@MΞOZKˁHx}aL#!!4vV}POQǠn Ck>\1*m_rͥ}}{w_VQA" $BzwO*8H>p  ͦ֫WbuW $ /R&Zr ?(2f18N8YQ˩&OB U0*s?9adwWCA~}q0m $vJmIJ~)Wmي9]-}ef ٌ` 0Ϸߣz ԚobWGeyUxZ ^S(jGݮxl 'H:Rr `S˿6қx(mN 7|iJ>g\ʊ'7kH@y aIz"zM:gCO2I ǧ)Z3zRoV-ZAEl(XXJXKJ3eנxJB"bN"pxU?yE&sPtw Wz׫Z"?yMظĸ ]9ds{nPsn%M;Xϳxv5ѣm>W73i'Y rFJֱؙ^ٯ׿؈(COƴ}J6 n!huQ~րvS"7*iD,1<$o_$\B).y?MAiy` D-Ye6 jA_slHxUbc 7 {Й͠LndgQw11uǗWUNo#l0c(XJ"(8,j'] `VExX A:.ɗSk1B'Oo" |x`c2Noc*_ςL7|#/zH8-j}6<jRRXecX/QxN˟֥@iVD4.TKyۄD[imqEm+-.s.*T(Iv|6\CS܌Fj%U]` CK\e:L;߆]ԒRnF7Ij?+g]6;ͮ*Qڭ6G(XQ;lJrbĀRj sSqi  , Mj`4o܄nUEC$.Xw(y4lҤiaU 2_ ]Wơ_RsQT՘0Q|8h>(YC7[(:CpjE<ո U{7ys%uT;h"B&0&N<P gFq1>lюjarhuE e*u6PG62PHCJ?b"GVO -OWFYZ?$e6@Upܰ[\G'6*o4k0i`F(b#S>[3m:) U܍" LCm]#)~䈃 ȉ'&|KiXE5X3.6{@  }GE+XoKM[ҐyJYQ9NrzO)+clg0,3Z`4 4Q&\pQj]؆3EPp{3љ L`ښFrpe1/,"*n=آx}MAt(o}?]J(efMDc!u.u{3¨HG0+mgdb]ێknj-T (\jM|CyI;J:T$qZcZ^wA&(v70bgka/HBf `CgU+޸CJ5 >*;:0*M3l>x$-ʝHKePeot.& nOpՅElDa8=1'Cnϧݛ8J& ݫV#A[w% + /Jf `1@:խ8iտnfjQӧ^*qtm‰ր+g2 w] JHD)PՉ]OQ02"% 2 F x}!!eBoCp8>s};ƋȮÒePƀTD԰3;6 It[pbLтy El:RZ(k]{^~!#%⅁/ FʁouBPŦQq{j˔1ޑ6x_NG?2qw!1X }oiD?}YX jt=Yjt *Ǹ>X3zDLa¿Gnysbwdq  ash{L}xo>lݵ،Ms 78s?>BJOG'/v֭+82_| TG|ư7D8KjvW?0hGԫ~++yhme,PiÎmɦZ!P!Wӂɢ9T#D;#5C-2 #'fOxܨV=88G>LM\%;/$*S:/ &+uP^U!ȱJqIu9X+"3"8X=Pz }كhP, ,_/R867Z]~>it+'6Bk?&JE1t@%v2*|irOK̨{Gf ϫ\j4l=ׯB, E.[ϯ~{W-mzJ{>G֋`~,n"nW0Nq쳨ݔG Kuz3_PF*.z145ͨQ7>,q<r ?5brVWTƒ-5Q.>hgNW?)/zMl]c]ܽ ]YtQ[uT^D?Fu~P1㾊8YHE;*=zBSq U5n>,`[,<.{]Let-1wW%1nv\? ~$[1{gtW2Yo`ǣc(_+4~+; BϦ܇T@=1T aLg^ԯb 69vXdm4" ?z.L/Bigq L]6U,+0eJ^Q{-BMrAVeI+[> - oaBc/NNA .6j"ar` 03ފO2 u:;*ݯ狼Wlw)k$Y+ s[q@s+J`Mhuol?ʶ{_Ƹ>i9>+P7g\YceS`gT**XWW$y<ʱ/KIGTOoG٤L |¡$?[P4aOREGE+(Yq}U!G3l[4E* @ O  8hn3;PyLj9mp#G-wn#ckpUL~뎫lMX,c@TGDR S. ?BS m=&UHy}(qd6V1N wM*(xxv5aL>Sr u y3UG:j6]Q@fGفZEBŅN4tHd(S2#J{tR8!;bڸ@i%hmK3ip: fԠ9!T|%(:C2p6l\Zb^iЍ3VcO9#C<^aW築Y"&(Knbjȅ)5&3Ft}ȇ{V,|_ܮie pTel:0^l/-/ޞƐlzCW ѯIaV*ʥ@Y*%GV_%n-V+} [^/;ifȫ5ǸZoX t~aJR;FawN˵grN=E LL(S ~HB6gVH4}(=UO1w4*?f|h*4u 'z_U^4 u݊mpZI4ʻ ݳdKce G-|3\ִ}jR~q+c2 Mk~jQ79'IvΆŏՎh ? *i+$TUSsq"Rv^Jd]}I%,i5p9gxg9 |Pi(O Ѵukߵ$Jp965)wQ1_XiK2ԺjW !6ħ[nAlǔ̲|0!q2NwuRyT2i*ǘ< p'K êD Xoڽ+]k(hoQ%N{ۋ(.غs%ހlz^ʑOKD'= Pq5'0@I]<kP|A,q]'F1u'e,+MQ_Lw솒W)p(>2jDhFRaiAv0#ɘŢktlIgkBpyez; .9 ҺƝt⡠yL#[kxxr8'#?H0ҭlOxO~rbTでn#lO?]nu$":JW`X.b (tc ]L2ۃT^ӸYz:ۅ_$}b|`9IZPЮF5p8q9{H;[d;2xR0*7^+0r/& ϾKRt .ȳ%&Ann%TR3'(460JhLӅ"k3 @ D{>a[?SbIA>/6%,TNJ#A9 BB8GC5I%_ uXjđ*oUM̶b:7;,4,a߲5Ȍh $ B8j'=ՋEqʰ/xz*S?8<"QNmCr5Pd; ir^ 3~-Vá6 !CJ-aj*lMMx-AF:..VcO\=#MEK=vhPEQhfSd6mTʒ=CE#492gw-zTH⫭r/ IRӟ`TcRA {KXʷm7dj
UL߱ !322fB1:s80{arɰ QbB~o[ 4(u\&xDWUȾ>s''29WQԠO0#z>de@E `!%G@ ?q9Ao~>AEǑ!gǀS}DѨm:4GRaUs<p/2הx,՝IƩi(uG\AC0!,_0@t.+QpMe?\q$EΞBWPõ5W}3`Nh I5ڲ[1FA1KL\F=OKzDQt h-p>(3I4E g]v-TVͭ ۲tbpl2! vW~W TrdX!l7zGP na'̄YD6~l8=8,PCR>Wep,уMZ=zbipE ~ >lEӎ] D@$.v/n,_K*pǩ}.c>LVz!~XCS`6:',>&khrLmn̆X|XD_mgms#2qcƪMu&W%p46-ZNMwB/Y! ~jK&BeQlJ"_?ԺKͶv.]"P\-ϼ$g܀5Gg^jTlJ˫[ +rC}[nI!y]BMa#V)ipQ _ Gjcq2c50[ngJMgRt[ZQ\4(%6`z'(>28XO HܸCn! tɿH-I0 }|_Y`V?Y'-q~ԭiZf@Q Ģ#N1,!3³AnT^!>(\H+7}76mPs*t|ei֭Pa(OJ$@00Yq1'y\?zd_Mǿю 5ʋ:)?\>=P]k̒YWƾ,j{mo8k$΋ }>j5$c}g8Y퍱D`W_uMQ;ޯK=~ P5gw -'AP2n _Z!κ<.g_U.ۉ !Wj=(Gmn=! ȵYԯͨz- _Zo,$?M&(& ^&}dkVI'!N<8jʯ?eC2ZhNQL1y*3RӳxiM:+?SxOS܈fjK0"G /{L6oO'4}]MCjێs%Szo~9F>`@z5 ʣh/mIvV6kS¢D=rq| t[307b8 "թ)LcPO+]Ri@T!ɘ`j Z^T\qԬܫ9vJr+Ĉ.vݴ\ᑍSæm[M1$ Aޏ((KuY$i { pTw{""x;cy-7")wPhNָQ<:x#Ŀ+ c=`Lc&FEe}@ K-u=[W;tQ]NL,ɥxZ ?:W0Xs옪j`> 96_1Peg[Su N}l$m@@gxtEb5tل_}e"_L=Ʉ9`[+y-6bk{9oo){c)vgTZ@}Գ /߸P1N'w2)\p àR> etb묚kg KE_VirJ~;oo0e`)`,;ɗ]؅NiUSxE4x7)FQay/tNԘ(p9 ]ɒ؎FUj0;X.W%%'))³k r©. Ŧ'&S6}VddJV`f:|ǝ6?ꋛ LixBLwrp[+WS襫1,5ch;9 7Gn<{|w$@UZrnfs^+^Ћqc{ro$$acq}2.ퟦ"u[Zje;juk4PI`z/<8Q o]-^=oߒ#fS\SL~mAӌ1Bne w!jYF;_Pa/q-OCL5Þ,k?NL.'FC!](Kt߷RJ'lVX ?ELKǏo(PhQwP DMl~M;tuҕ|^9LHQ`Mul~,&hqVAS4_ ,vv*0SX>(Qdӿƾ}W|;z)oGLy䖙g2yN] d >)#} !ʁ̯#:La{sU;_Ez6!CDoUy-! 蝬eB-qޯΡ|ZcDQjl9ȖF4XAUmvl'/I uB}lBz|+tF&ZcO!b?la AL\&0Enq2^loZ-C  `]>B\~Hԇ@`*́7 -Q}n=knb\Â.6_2N/ULhlݡVWm%yPIhoC6cL(hoߜFwr2l#&ͳ eP%T]lwy"pށrUZgx y+̇SRs쒈szZ{4ؤ8ӌQ4žSzQ2Nf=xz`x~1K@ѥ䍥0Q\BT@MT+BTr>!m=:?]Jws"B?S-A@i IS#Si8׀/1+~Jfdt-i2OFKҩ=b+Sξ]a 6^g=527u!=O퐡ٝ窮^WƂ|vX@ZRz*/i:ˌ2\UL棊Hc`d<2 !6127&"*o!ET%PoCw߆3>\W_<_SN>E9&{q.STiCojOk\t`I(wDcdpc<~2g xTwbJ, ~a~'\4n*Cg Q54d38Vhz`b>aa;r6C8YZ5!1IOHC /6gʟԦ$gY}C2 qQΕߣ<\DcO$7u8sIG\h! Z ψ0yF!B8UcVȴF<ԌE8DkN;flrel.xeO WdK&mӸ;2gYZcb8a041f1cca672432f04c53209b7be6eae8d214a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8b551f8c03f401fd79bd954839c438e3f4a4aa12e