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 H7T| ]/ MSO_Regex_Equivalence:threads=4elapsed=534.877cpu=1685.412gc=36.404factor=3.157zXZִF! ت]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%bӊDUlA{;Utι\{A]ItCHC5LLYH>0WPji^. 7a|c+펻|{Un@I"԰fyMxXc-s+)OdO<0Ҟ`7 d[pGp\dm؏$0&.]tF"G!1Zҭɝ^/DO+USܡyqlpvw(*^ @'7,Q_cp[y+2cK<F'} uLgJx%]%1|S^΂%+A d"d>:mV RA&(1Pw`o(YCBl: 8 -2~;?$1ӵ|f ʭɐ m0&u%] HXcd"NIMkJ<{toJaQl뚊ue-8cEXlMUQVؤhŨ棥s)3𡽸FU +TUL 7 MSO_Regex_Equivalence  Q*2w m^(9Ω䭊H2h0p,,ȷAkG>i.dG\pfZ} ,8"]X`l:W2{IX%$G=ʶ\;SJ:roȯDCk[Du659p12M8HHDgX բekZ9-@+0 T3*"I97V|d ll4;+.r+4T\5l%"D}$MkXԆ4llj},"zRwo۹k]x`YUvDqq$֚w0s{?y6m|/(S#xoq"]i2M``c0o$g(|%+@'2Nsvˠ=- tp5L <*tYk(6ÿO&ֈ{[&g0GI6i }/t%UӰ5KSKTHB#)z~L5D&C_@8jO\H3)lNM.ޝb`&>7i>~>si%l~*fn[rFn=4KeƈDcG;u웥Xy@A!O;{ٺI}kM%n.㧽{Ԭ3oNzicTT+B)}JUn_Ǥ[ܲP&,V#jG7s 8NK.$,kDYfp=|Q|'v,38ǀtj"wk22F^[ s~ 厊ʲf,x>0/G@fG. I2SdR+|<" 9j8ɯN{qz*}Ij>3TLhow=&>I!+x<3 HKLCEexyDV0g~&;S⥇Z5(:+Z]{G;AS"o>f Sκ%T +@*n~r4m )xiGA+J<oYkIcIv}QL#-łVh}m\z&x+`jO-4}>-kCN_W])w,ʠ=r`x5 U-K@=/L(\S{ѺF/\R8|K†P2H0=Vd q$KYTy\ѣCJj'{oE(2PwWB 9i.\2&܂%-gYZ7zXZִF! f]ŗXiɟ1˦rYsxgp9f閷Wb)p^v"GzcC$LimdԈ:rR`*A@i5v>L\w آ>~?HG콏lE=[&.424=aL -T6Ƹ,5|r:OS u[=Լ]|K] %b^|oE N=`8=Z spo,mHބ0#RޖWm@q{xMhDZgYZ7zXZִF! ږv]ŗXi%ES3@7NeZ_)19GVz22fŔ)Ú [X@Or^ÅY 13TynͿJvHx|~[H Tٯm| =(A^>E[e_nXt@l/FVda^9~J,AG13Lp\Ftt[JDOYן^Xl ՏkDݘH65y)+xкܳ'j&lLމUgIZfX͗*mL[56@gr 07*]=Zq ҞZ5ﭨph&l ֵo47<=05*k]u E L Xכ|$5M5E/֏(_@R(e2#վe4cpYW}.sW=,=a<^4ZS*b0((DPCk{-V>o=Zn7 JeF-PC) ,yU8`O|Ȯ|K0hJi;BHtmBX&q8Q VFiKȩ߆YF~YUH'E,qqS(iO%|~fZS7a([\r)l$sYpIm΍z)jA-hd!*MHeKaE :-A J VV&~UϜG6Rh 3c =&ejF)=Qj]+,S%> ~0X)fɋd 3Ν_A C\q-71{NWyV0,rV)K%Avfs^lagA|ǻ'*E+4Χ~@KLrWgKO $=wDY7YU,}U;W!iq\ơhv~FpG2ҙcc϶_14+ؼˮ\- 0 P74nkΣu6".U(~Bl"[>BR!bV@NӟlT hd GZ?h܇$ֵp(՗On{o`ٱ:)jL6ځ)A-BA\|S/^!%y{?_ ZpIqNN6%ce#8xli\piNB<3MRR@j?L`N&|2ӑs9;BV?n)P±U|{8Z*T sUǘxeο&s,glCql; 0N S5Յmp%ߙ) [tA` ?@Ư|NpUvMVvZ {pmq>P[aQץfĈyN#&~09Tv)=wLPQKv➰ ;uYPOj$`.!rNdEpCK>٦|ڬ0VE ?')uvs%ߑ%Q@CW/ޞu m3եj>G'\ w̓߰~l;6ɤ~&W,?UT[D]dž?g}hC:*NCbVƒd3}Xo; My%(Dve~> gϳ_'n5e$ϓ+\թn-lcW|Tdllo7 ͑b]GY Fr>\(pen\E7EP^bE:Aθm^BLMK璋,2c]{kN;|r\pDqFJ=̴3/lv_mewI/m()ٙFqZ7!eK&4ʞLT-Z7Eb$vRy^V(Lgdl5TKg5G3."\f=_)H3?`:c .-dt?JY(}hE8} 2G=0l_ze[Sy`V #) !\X:%B'^K >M}R\d4Ӧ'i P}Ԍ}< c>sXH:^=4BON:Բ5(~*Բ5i:ª:nxDyo"Ȁ}";9zw.\hM|okc q0Dua#h/iL.*%c-EG%uaEIdXHBDq'de5)wuMuXdtk5*r,$ʫr\1؇8`X 7* zX_hAl?'* p0o!T쇹jVQ], gު?lbf_'9D*>z Z (Py}r9/K~}a $&/7gtx JdN;L Z 69wQ6Zuuy+Aig@d2:㑞#r5dp!ht莁Ɣ2ng]Tdlx,9LҢuB\X((nF~{g֢r,TcrE\rN P2ug3|tƚ~jN?˖naZ>j}'rv/[DesQDM=U( *YX^:5iGO;XL =}*EgJBߢ4=.-bq1Ɗns<;4g6'h0GXߟR!׽2:[VԶ1|Z'dyJ y^:Ulf!CL!w〉L pY _d!=-nW/R2ڳSqޘT捚8`KNh0j46>۷G9Y.}[T_^(!F\vtl w7x=|B#7~;F(&,#_]Pci߁|%,["ip—čTN¥?DѱVG6%t|U`֬-+2f4)@)s>,#EVByRe|;gSi>af+?0nA. ϫ;>A?HhU)=lh(g=4e%4mPrMSc]7YY+ N԰2 F+{@U/d UnCvsU{Q+Xhxr7*Yևնj* hȍ-*ܙ8f:[Z[{c 3P:T}eu#;{\Ѿ5S0!M'g2Q+ᄊE<9~Pl8e;\f a3Oh5 J4,iOE|UP*)БW튞މ۱-sVǧ]"|FDܧfnhRõ@9rtj9Avj1l Gɴ,,.\}>Ne|?7;v k&ãĺ_4 lVs-w":P.,1aIPaxN]?f's^7۩3E XEn ~E pm _nA HoЋMjQ ӂמϜMQs;,*sK 2MivP^p YpScV\W`b;uo,kS*5Ln:oll1h'Fifyd_3FqBa@)MYwCҢM*ެ4Igٮg 3/"Hq N+m2˓j( hj 5DWn[Jbn xť .4R<7׺*ff{Ah\G#?dd;!V[:W5T-e`^0rO҃n7S2 -N LB\VbSY_{z7|0țF%~ܳӔ'TNSWV+q֑ @Gǖ$ɰt ҂m"[w|U=^DQѝ\*֌R:m6wbj*>/!w7@X;FlCQmkU%x_Ll,- {}| y#!&*߅ j^1+"[J0J]M 9 0ڐ`V:? .A5:,dV:CqBK&c7/}NXx7+jU au5ԙNIN*Z*e)b_*"SQ̾i9H)O=3d89jc&2!Wn)+aCf|{g\Px<5i F̽<~=LَBeeGDyvhXRPf0 H \H %D̋\ln[^b{ gQB$_^ظ$ ,n#4*Xl'&C1v+C@'I hI37ikkv@KGъ(wwFi(pi@ߥ`\6LZ[dn3 >A?U2~/VekL˽|=Sε4\FiiCӭOEfFN3Sj6xg;Ha蜣sdq]شv;nw"Bp6 -Le݂7SMdpQ ys ǣyVOHHPǨ140LC)< p] 3&D. 30D@k0V6R\4Xi{Omgު߰H #i<\9 2nAEV[UAP!R8qk_'*߇[׺jvhN!SEO_Zj`LB|=[k I398jM/-K9e)d:/v"d׌8"bIt96 ~&QѕLř/V"ib$1\-j;V,o < N\׀ HqRFب-i^t f|S<-CR/36-]7@P/PSoˑIϡYUUlդ$!`2qYtFS+NB"5R 5*)UG?C*u~ePx1`:f>Q4op5I%vx8EsLxdɅb /8!!Bɀ%jXW:Ȋ(o)PFlpW (2/+u HD\xd8\aC"k4Ƚ;1dQ r%MC g8Ncp?<{DU}RSO&hPf"-t;+zkjc cw1Tֲ72gUHlOwpk~NH<|9 $cn-rUv_qe=Tf'*FL@0@=1&erP!S8%E<  g,ç zկז Y>^倜 xSsء% $Py"qM'G5~%ܾ%bVmZz"s$Qvۓofi9GZ̄0cl]s*V?A8Vf *hZ CFNE {Ε`#ݶ^ϐOo8cl2 A`ٚEPSORyϻK5qO"$F6Jm]_qv`m4}J0%'^"_<g{gf;'p7-n`)BP496gȂ)qw4ݨۢtX Z2 OAR4Q馑x)[DQ.q_i'fb)2y3[{/Q*> DVw=H)nIZ6m컯| ٟa0ef->hض+ /b۬ ._]baXO[ 6Mzhd_}deCb'ɉaC'Rŕܨf'ʥ}jFm76& != F,fzU4<ᓵ+Vd$g wc1W+g.댯(=Lm6Tf.b8rLѵ2<6a_̥7Khd=VYƴ3a:xGED ) Cqkh\,v>cQl 4c03(U%9//QL4a81od"&} +Rx&71iDk,:, \Ѥh5/2>EzH(6L&iG[؃IY˜+jYՔtuRGXmQbWohZrH[ +ff5CR =oͿjB\!(uћ/?NJC69K]rQtw(Y14ui/|^< 2JrWX:euacW+uJR 肋gbKn"bo f[ܭRc= 2'ĽZ4{(ngL˭Pz[zC7QC +Qd8m?Zя m"أ1M;֧IEANx?q%6$]c`RK7d$,W89^edVVw;}7[R}c`C>Ee[jGW)VGMgvD{Ru0Фq<=eXZc$fARP$ !5E\3;M[􉚲Do }مr*&'?M|ط5PWUQ_؎dlYy+sRrC arboe\C^Q*,hJEGAVI#HVw[b:VkqYkMHK snZ }mi}F;y1a]3k4̏Ql$g;h }:yxcNphvڈZvS lk;J6A3?0NѰgFSF39\όrkw޳bܿ`?}!YLGMpb1IM1:C rZ*A;7~jvCoT aq?Y@)AϝU e:Ӭ/ SG'D5G~\?0xPP '6@=uZE\lqi9EGcnͦj%KcH[ wjv:8FTE[o҃Aj(G-@!һ[kWa΢ʃqеpuXEЮe{)>" ؼbcc;[ ie 6cxʹO)1$+=jCV'n';$k[)#XxebJ@0=W$i| xKN)x^ΔHБeVwGIZ9(Cz=1$f>Y"S6n؛"6m:z-3G+ 2)7F>mK ^ձ\T?ӯl| :z 1޺xI=tf- ō8ڽ')d>F"ד@]:3AyVw|>hH ZQn4||bayeqJU%CbO͘?;ҋ)}Aߘ=eeC)nbFGkMZPh1{ei\gsK#]gP/ Jp9Ir,rTDOs\{Rƛд1uИR1eJcRco . q o!9b)f/^Rq[]GYB_@gAy6H͈?ѣ9QU"GG+$ܝ׃b8qb5=="DNW%ZhCC\1D(Sj"[:8CwWw -`9gVO=;%:%j 1E“U+nD:$C8UmhJűz:v[˻1>mhE̅U4J~6G3±U sG!Ԗ sKMkRClUb| h(#jD?TO-Є-!7}7 kqsvⷙ$÷#]ZnPp^^Xy\ffOg,) ;miN2#Ƙ8-&m Ls+o-HP7j^'or 9=d6ćt\+2wQ9I"XC%L|IbFY&eg=%,,Lt:u;6[ p|iMl:ћ0r쐭"ɤn9e v(Ac(IyF u)֎:S1B.2reaEM +"֎kp}}avDnkm3P)3E;!.Z^+Rv WtI1hV 8} rfGA{ , TNk%885zsZ7*ML@,P -UndR*XGe%*IZz_'@E 0&Z;8hT+qk@l >; i/g @ݫe@L'Mq X@M=nJM&)Chg@-:߉CvW-9ADK1=Iep",M!y-64#B {&1k,!~K ?7 ZAD]EOf€h,}'suhӡ)33̆ClKfEd W?-z1^6t:m(!B1/)EDзE[ Id|츕ɠ>W\E:E'PwKUd?s#((o'ly'S7 ܳDQg) }`yn5閕)ȟk2=yMM\r+V׿!o:J9͛P,8P=. t <>Awlv}%8Їc}37_GuvV*0=VJ3p=e~N AqTl&k3/>R[J"@|:ajtK<o]0!4>W!eRكAcң56,T-#Ң &׹?6^gO+,yXģ9Ey btonU\4'Ks~X˶6jpUkOD(b&ͱbM@a羛儩/䣟qbs%IF_gE4<mPIVS{w_agNMytBhҺ33٦b)`7;Jsn߯.&%7h!=bؗK%_.Dc}JC"%o@r_Yb";?W߲6AB%X硇ܶ\wkj[<34|MB.5> aZԩ)gChk%K9z8X9gpge"b2tC>R"O };+Nz 7 u5_KdKFwkHǪeLR}샎D^4}G=po=Xhmg+x_ G^y|✴XCcqq&x^빂oX%=x: cD.^?T unCgwQ5&a[j('z9ũ"jZU c?Zgi%gY+-g@n~I֋E 6eWPll͚W[O@/yhW/XxŽ\©zk<ƏJPQK'đ9:x;SF7ha™pۊv0Hѧky,6 7Bqo^5qJs eIO`! jWm%) CߖJ߲Qy.b"aن\"HqM(Ok:8CryOTC,ד\u~b'4{#aΚ͔tXlFNE*M HJIr,Dhvr.T<ȰQT0"X#qlCZiKHMT7 Ry[} N|=$[ Es${[qھ,-Ev(hI[\G+ [~pK}J/S\%sAꚭʱl~dvBٺC993*3"c&eZjWf Uܦ^<n s1Yw^T*JS!n%Cga~`ӆ$0fZGW69 ;>Km!1_3a6Y9b6Dd@fcWȰqnM??P$=JO&>```R +hzcaPΞ^*tfmv"njye!^oʺzq8AxhF5: }IϋBAj9%nwBX3)Λi*iնs¤dl~st!w]GY؀aU*d4,@`[ں _sSG ~J7+Fa Y&k=QZoLdB"1p3@SC$ESć1L3 dolp %ĸRq6q ,Q*;㯲,Sʀ!g^y#m=$)vNG/srJd#f`y5 Hd@F6DCa$'Պ趄C|fc~0W$' `2Aӕ+2[!#t 7n'|-`27Ԫ5 o6K#H-ʎΚ3xU-9kW&nw ΖJz`^ ΟuO$;o{\}ަa'CȃGi#vF m-7❒$Q[|l%t8 lGq:T) Q^"ƥ"ba~"zDei8 &< ,٤ơo0\ۀ5#zˑId֪,W*-_LINrb,8Bl vח+OZP`eM.\5AUE+ !:vi~3"+AfF-EW޶w$xGq{J" E7?ذQ<>uyS!`qP Km+2./YILD:(358r)Z4p,5`b)7);K߆ns=$Xr+*.2hG˻eTMNTSmJ? x콊^+HN`0~Br -쳘.dZ+紓T<2=  dlu:vIm@ ;(B5 5~nۏ_fMܑCQCX{Mc^CO% rS[nffTQW_e> ^%wY9,[ǥJ|qt2V˔m"hbI @UzX6nN޿+ vlŝ b+) (i1yt6vh|mSVT'0M"6ʫ/Op,;tB.<-F ;`k@ԠK٣ YO\˸3ٽX@h`*bFk HBCj@x16IpED97AEA"@pԶgVN-[٪}hǛp̜Ʃo9c%/Ghb.ը (ΆZh|#>,ؠR [[湩ʝ/ki阓G&+Yb6\&vdINMQz>YY_k%fN_bcJL5DsK[@^mza uЦpypjx7|tOu_h##o69}%8d(j:B/7+4X£ƃ 65 OYEuU hKP'9ൂekBwLP˼T0b8I_iH+oO6;}U4@'@+VA;9<8QU(X& |f!Ti Q݆`_Ơ-QdSvJGsE00FUyPdD#<3b2cD/#77–w+zE.í`v~ֳn6=٢ -ٽ񟊖'8ˤ \U${ڏꕑZx=09fV2,o=%}BK~I :ca86|GgHR^^=kx0vn¯H ٟL4>YK!d}gV@= q wa,щ%W`1twn?°eP=<蘂@w~9~N!{a]nv}Q"AoX(k㥄E ՈLْ)ھJh/kFy4-9ף KY29}=bi=~a1+X2LeqQהbxk|kM?/n Blm3̈́|Bk+smUs}5(~<ցmAu/ƞ&dĹido|Kft6_\"ifRéLze7]w&^+0rHy nAE 9iŗhgTXҨ{:5Y>)Q'8ٰ! tgBUaц]kM$ׂ3Xl c/pqw%C̶2t>mZq *_, ^4TZUZYBdr2rci;OR֏/8}A{\+O ˕߿'s;q|i7tºဪ{*KKы=:צ6"TAr25 d. #S^Z| xH %JP> (k!B$TxdA7(b"2uJp4KUC;F9Ѩhw䚾Ű#Ӹx^n }է bEpN=$ ~Mwaˮ#3-OU%#Oyx\R7ğhGkg0J`Lkp]ֱeQe}ܠ}ކu Y<)NUb0j.3we$URr8?A7t)M)DmFXjuuS-ټuj2xdCj*ipup#ɏ&hÒT2h|v /$J`)L~fv7Pgb{mN>\=3 L bD%j@Pȝt݇$}^,$orv©<[ UǓk7t9 HYS=x1.Rk 7sK`u7nK]}ɟꈮ$J5JSÏ_#bBٚKbٙ`XqFqIUeA8<me :!$=8˰/ӕf=L'9K/ ^} }]Z~3C<_&' |5ϑѺ2Ut(k̤Ov̀If"9;p!ʹX%*'bѶY8jב4`ph[4C4wYПo[ 2MVM  cs#:MEV! "2˖0IF?77FSLy ァQ\QXu Tڱ/p,>Qߍto p_ k|JM%c]6˙dvtIXgI*;OӐ(S?2q`TsQ}K?}kX(Eݽ|!j~ƿs FJ$ JZC5Nac&2~>+ ͕ݣ!4tP)^`V*Toi<4!rEw=V"(Z@kC5%ۀ& vgنq#J"nJٌZ(SiBpnhtnfA)c4GAyQ r}^VQ?E5=0`PK@xop䯐U:t~=L ?r,<\3,93 |pwX67")GzgOjUN+yx`j[|wS@Sy ~{>|ZwSʂĹs'1:/Oz"Z44ʜz Js -GVCy"OOO,Mn߸bzdc x.ϯ~u9K?#oC44@iЯTEZaڥ%14ب;(~Ϫ )~Xk(W/!N%-oA@ٿW G*yQP+ Z%=gU)&x^;| 7&2n ,!Q^+INDU,5ZXfz'FXaHҤb?}v +OR2ӽ- CLG +7B=q%c@d-pP|LyD-V/@n$%zC LWĆąHUk%#cX-ΉF}yFYj։ ꯟ Q3a(yV>Mq?)Z\:`/ ~2y,;`C?SL[Rœa`g͘]5~5cJ196c!aA<^Iջ>pǤPhMO5{*(%if{snZP=Nڔ4I`G8NF[0SeWLDų-\Oe d W2,rSTZ'i`.[N+]a õfe`x\ChSq:_;غ2ޡk .#88o%3Wz4>fq=/N|u& pa#H!{apR6\^UQfe-0q>kGTBPq̉eS"[|n#Z(e˾Gk@J `t ʮhK8): j9 e>2]͡Gh\Sr}@U"3z)S|:`"|nI=շvި)m-K R$&ҠojLz\[P% uyF~pc5`>\[_oy}Q=?|DK31cV:o6. '$`/Ybtr~RÒ]&)B2B"Hpԁ_c3EyTF0$7j'gc{!C)u]_ N|_c-q+g}WuPw be/Ь"YʁՊ}u \XǁKf`l?*@pzK4T ڰEdZ*KmeLև8%ng~Gx;y!CÍ)!F6U1,ZǸO姱A$1uRiHa ə-JE0Yz>H ~'9٣Q{KNֵZ87cr̻?ހBZhɜN2(ÛRl@yg<%}}DH-qDcGyC> MgkWѯpmTNyFHoC߷UE&Qb輸j1!b }7Z8-&B{)b60Γ''i2=Tg4z1%V [Žw]=(;rB}uao[^ Ew\p5G!x̄^f+}>b)Kt<6":.LAG52j4k4'yπ4Q)y}{sᶥEzY1 4)sڝ;>˅:T =m7ńT+ۉUIiߢ5F~ mZv쵥d=~M VSa|Ti<)Ǭ~}މ[vZV?25<} o?a<阇bB LW;YҊ2vղd8 H[+$„hU0^}v<ki-+ѷ̞(}L<T2瞔ƗH\z')΍>[n x?ލ _Cx73:R![|ߺFs@`:5urM)h/{ljgvJ>(7Rmʺ,ϊ˂2?W7uwg 3~tg #qs~ D3 zzgh4 f6D^`o> j5P<ْM^K dTo^c|]ңY@F{&,+ #~ONGzvSV0ủă\?KPPkؓ]--74(  quzlzT,GmXjte~lt,;[8@zORj_~*W0|]Ic5'Z|@͉@~vKq>p+4P[٦WPCnԌ׈GQpjx?\Ƞ\^Ϳ$LJ[sL{%$`$/ dK=:<z^5(n_ ~̖SvCuҪ2PoFiw`H iYw4P$ՐM;B<:sS:M'/$B[5]h_3.U0=qm|7ڌe,g;( q-<̏ n{oՁcv8Ʊ's_LS#6cV4B/AyOO܅k(I_.Y.d0|*12=_hmEø'b,0mYSwBGoSVK3r@&#Aq# ~Ma_lL0}wRٱWŸ].ؘ'Q=Oa@$9ؗg{*3S5YS)&NHE F7 zns.t5cwj c8*'lc&R+,I(,}Q">df~dzRC%>D5. 5(!3CH d q{[GH[ui oϛr~1(Ph铀w&syhtDc!W,_kқ k{|YZf8^WNwJ"}ǒ oݬD t]XM9mXuDIOdN-2$~AB]T}ޢV*чob<؅}>73cP9%+̋B6 %ժN$;AKF=_#OT+=^"@.mDn7/H~~Z}nmmxTY-F3t8NJ+U߬p)p@MqlC7lŹZhR~IZac|!ۡ[[d̵v'-"Ӄq;`w>Orp )&$,3Fm>͓ }B>2LR#MlOpSh~qTb㑯/L%)f:G4ڕOqn$e]KzPǺ^pSs"|[+ .KhCYH 90ٹB:\Eݔ~"Wp] gC<&gk^T&'8H9 7Fqt {"qWR L_bERd[v<|4VU*YBzkDYay0VUE޸: וqR~Zb-xYyWlr^.vUZ'c(B{FtKNwt#;v_(;U4%'l& L:YIŗdH)$r!IھR1kNr ՃN7u&VWJ.390aQiz vY$So8` xk1rgXQ4(pO=}_{4ן}U:qؿz𐯜LdQ\SYֹ|{$%EKIéچy&Ӎ e%U7$pLۚ9[RSj SyfId>>P]lU: ,i &R/&nԺ0y|*HEVM42G9L}u /v%^¥3ziI8e3sP(|~m TnL{[[4e̖Q~i~->ۃ,pVs vbqձlr™jhx|c^}1 =a7Љ6-# 8BØ.<{b)Q>gGiQ @)!%0b[awURAMŪ-A)Qg9&U ǃϩ/,ˢ*c{An0U[4.#ȂYy_w͐q5N@6IEK3KϜNpce*d/3]cOmVPODKaN}Ǒ)7 TPb 8#}MCG7+ "C? 4"4u|aJAKb>2*U(CܧWKm 12_t%gh{qQg̪Až+W-3gEe& ]3SJ|/m z'DUFZ865~a'YISN)]&f۪bK924Sjrw @8@5Dfm=N vajqu`Eڔ R" ʍtqhH9] F@&2d)F0syt0Fq Vmհt !u;894 aߺ|AZ!J'j]a5ٱI oDX[rvxpk$4iWyF)rtEkmkם/" Gf#.chKHwTA -wTjozsDkir4t!^w D;쳔>E ;Ih0 Ǧ X]$Ou IDL~oߕ_w3 Hq(5 qauG٬Á9.d~g8d-.x_2ByZǣb:s$-{3̦rFl &ayB.>wfBΌow t1% ^UҠh- KAx\7CO#YisZV9S)!M{lY:Ey9!J_&s //N-l>oŃ(&IrEtxYegbLY+.)?^+'x=pFhj;볿\:9B1?OOL-BD)%I1X#Ov` zSv:Gc"i{;Ԇ:k\ =+e]꫋"{% ;b4~p>`(8DUmwhзײ(J+[ucwpI|%0x1] _7#%,viAzǦ+BO3Nz`j?VL6=;Mu%p g8NH* }k2L=F[P0Iv\.ViC^$udi>e6Rqhki +@M\ R.@nNv{s,X|-ݧI4dCӝUܢhu @zƁ lj(RjZ7I✋b^O4#V&KP!L5/Gi,(QU?pGCӏwabjDnz;ya@ 8c"0a~mn߿*?W9 /v q߹I?`q0K*_,6T}G-lb_6RdY>^3db?RE LcA&Cz?TP䜭ԡ3iD6v>k7^2hT+w!)(U,]/s0V"'̧9 ý3產,-n옦7?w}O^=ZtDBL)ԒytB1m// J_tH)GX.=GūAY;g":߿!wxwmG@i|>| .x8StԝVn|†W)Y2"H1RpX0|ՙYb VK8r x`x;~񘈗H?F6[ف4~hp8󈋿WXYm;q@Ek|v 9Q˝P*6;on^Aj{lqNݩhnEVTz8 亦Z`I3Fu\NcUZz ɬ='m'%Z% 8dgjZCvsF/鄽 D!Ax?Xna7 j|̪X zLӶ@2klS{%_} ^w^ă aZ\ G Cs] @ܢ%nb\W,uFƧZs,a[q7#D`1=ƘCng b$GU1lhK }&~H՚9.ϡ}c(MU?,Q<A-pu%|:5N/QS(:hVi 6oOA_ֻqlMpHCEf RC%=l\wj( 8)5Vt`)MwmQ7JfȅX}@gyKM,Q5_yG OVZ5Guu3'%%hĦ4i]I3IEq^&np}S#+vrۅh%W݋;orW~ׯEvR$4=n:r_qɥyU}}թ%mGo`HqI }Fo"xA@ Qy1e05sJL5E7*jspr8 fSϟt6^YE/])ǟ{k9үVYy bmOa(8LߵDJdkDmA뽤7nv/Z7:@Ԉ#)9Z׸@JNNֈph^HrAKbQ\a.b7[W3""2Gbj~T&YFKS}b;$jCό]X`)-Uv[,X{/)w|C2(g{/)xcr7%6O'U}~:SuտzI6VMELB%T'wոj́~iOI-o98K'=cK~|9šI_^-6Q 1!y&p'bQG/B*tlxVF -e[/65PT:Se!3lR}(AףT>I2ދqqu*M7Ǭ]_ d)Qw5/suĴh;"%S_;r)O;+ZNsI`JBj;H (5YOp(mK緺&2+^]~ G Gшt;mkQ%M'9KęNQbB o$]QM(~6 CCWbpBKZ^ZoeXlj-?I޹&lc,QNGɬb.$\(Z:)0q\Y>@y9w*}n\?p~C8:*p}: Mn,[ 2̐El@W=hK,qX~s4B@$XFۖlIZt.GL>K37Ձ;ٷSoSvxufx"{{&Q\Ǐ.,>qYwqq?(kI񹬲-+.f4$9gOR:# L~GniaN{#OSդU分B)Amf5gV (,\"*n5  V=#hVӰ dtL4dH|E8G,X0nƦozzKyJ[Ft0;& s|kJ}tMD EVԂi9ۍ`%+Hϥ%#OvS*[-Bkzq#y5%8 ԋ'SiٰMn.9AڀbىvJ|49ި|=~|:Cum=,x" mn ~,^ *mDͬi5 *k(tSICm'bg粗ԬeG*T:Y(j eH;K&̒θ}o4P@BZ,a7w3g0'r$9j0w !CN]]&p2>* ʼ# #W}5,dg%{3"WӛRF˳%Wjj.e rBC[O%ᬊL'B7GIu=,gtsKo#(cI[V|XawŞn4  u>O ZG'STfù?XJgZ7ũPg. S^PT*"lcՊ\|,9AqmAt NI8DPr#=<{+.W࿠𢡊k2 򼎎I;R]IEgiXΪ =b)1[ .-+,ZvhFW_ ?.!&t&pj3=B.2P,ZDsbTAxc'B*f5mhˣ5<%$8EÎ(IjgG 'kњ1 lQ6#]1p? "'CPBs >+^G&RtṕCn[G(Xix] } ,6BadŤ$aD Hb8H E$rJ7)["|)) y(ᴱ*p2[T ^p,j?KOxjBz=ư?5n!^i8-l[pr#oK8#fco=xid_ǩB׵DqU 0 6[gTœcU&=>?Yrˎyvt%+y )AYE#0yxPV.T HTUNs8}c~`4&- SazD0U*29t#7yp#bpAD8 )R ޮ? F`p)9P]E$l~>$ :?x7}C.Miﴠ{z7`^j $3#AL1/dWdGづ=)O"r2=G '5JdXM ;I w;:~QZ`+SE`a #6`` nm -SSQㄐҪWMP✭=CØ;4q-T|w+W)J#z8܉.L3vFV[(˜6j23A4#":!1Eck\KW ,<fYۮA-T'쐧XD <}'0QSL=Ri;?l0CGuxK?o>-Il2g)xo??~|6nUC &7[5bCFܞ6}xF^]-ڏǠAA.T""X[k脓G5o7 G|)ϒLA{r%[iuzFjrO76yVR2RXD} {W9 U껫5lc/2?ٲEy&~#87::Uq@ړ.?Dqeq:s87~~{TQ P:oY ~ Ho 2·IQ;~BqEtw*MnUI0]꬞"P 8>$]N(Ɣ'\dý8 W&RΣ'ۄ||r䱆i `VBuQ0H'Q'&ʢ p|LrIE:T?s܀F9&Kbt>zbpneE幏[n-8Ws~\42xS <`DyUزV|gn MN[Z8:q="'fꓛ"C栫qLmx*YK(0T/l"f>;KR?z~L~!H_|3¹:4 k\C5Ԛԑ8k|NXy’2R{]Л9Pጩ )~ N'ȁܾjׂRlߺq)y -^QjYb `p+jCiMl`$'Yu۸ݧKgAŗ9 #[w(d( g_zeV|fr 6Vkہ3J.\fmLcvU' j;[Xko(Pe;J-8A>0Ӑ)PrfR#ߥfl7&̻jhKnn6e-=an*.9TFMTtZ+ꦾܛn4 Hsxu3 {BI2]4\0e,E<:n*Sa0h@u:ߴD7ytU\kjesppYY+1?Lv-S Nwf5#>rIi qeYA/٥!DJHޚ* MXCq;{_dO%yֿnn5VGp%h& )//hDU'm(؋*a*)kG6>/gOEyKHi&%Ǘ-i^X|wd0ddm2Lveٓk8lΎ ™ >3ۦ]Ί@$z)1篫|Qբ-F/u4ă~—{/1p OdUҝ%t1z9(n*c&ּ۔\shWC}OjD!n Zpqyk5'O:eƄ;8i*IקU&NXn`e_*׊H:@0 d}ڷE7?("SazAÑ({XNb稵SuB )묑WFm4Iw8QTpҿ5*KKN2[_b A$-ujfd/ K;4 n֨/%|t>QԲ-%N+D`1L*)+QI(8z0'Ok! ,>D< uw=H}ӨS#1 NuQ%+Qo@'*A(-R zJ9T _f⨏7ۙ)p&!9S RA̓PIܫᆼcN؎.,?AuUV֒`{nM2jҰC)KUZYxրF+WDVRrApw0GrO #u, C{lF|SRpTgZuf?d%2Drᨻ7g^pKѷ3ȑۏn4IcQ2MAOd({[魽ܶ )IΈiD;fsy.$D5uh&&3ffBǢ[1'BҴެhGOh(FbX JE3kvFYg+3N[a@LTn+VE~֛(P}cya<ѹ&b#ߥiH}/8uZ̍4▂\V'\Y' șnrB TqôTX9%Z Q739:խORBVMkf0"hXhGu#N{t[fK~[աgd! ,;z bt'9.?=epOfOK8Ͻ3ǁ=cUW'ƙ8n [P ϡ펀56[tМ8n}vȢsC0D$`O0X~7ZZc۹/@OgYZ1481264149dbb602a5f77eedb575518456e8894476b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568