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 h7\$, ]/ MSO_Regex_Equivalence:threads=4elapsed=510.812cpu=1673.316gc=44.112factor=3.287zXZִF! Ԓ(]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnxK?w{{:) QP@qZjJ 9#0ā@s+^@o: nftg40'H4O1[=s)\+0M߼kb|3sDI(G}%_lٸsT7>Ϲ2Q*=A6TIdrdwfj[3Е9;>~'ͱ|ST K[@*雰c =ꊕ3DTa B@L~ {)F( 7 MSO_Regex_Equivalence   "E4I{+ATfz[V:bc~NIXJ(#BanASΑM&"cQRA}5LybE3Ð WD!!)4 4uU$|5i:*O-/#I'_^_1YT>]OZ{jn*ve f"­%p[,0{S~yrt⽶EW#+Ws34&S_5@n^+'Ma3 (}3yc>;t^&;T?Pi<1 b(CðZl,ID~/BB}c?0U (V!u 5|p1f[~DVu'cjύF|qio 3G){bbDXqRq>eTpo\۫P\Ab& H#]Oy!ƆP{9Ȉ. ܕGqVLɂ7!w*VY].2b. DGC0!0iJksM[eN ih)+*vr*tTʟEOpo}FvQO % NT=0q`@|<&i13^=i\ Z\RM9Z)T8`ۭ l̒ zEa{Qms|CKnx6 D~oiAXAH'OZF=]h|^ !EMQѠM409V'#(Orh!Q7P}W !a{T:( :@ {\ Ǜ \4P዇3j+bA1A0[h'HGlLj^12AD% kc?+?~; `T5̢ {7A8X<8eC3aֲ>dXŜTj6=:fe'>P7Ct,*⬮KWuedw/_ـ5;A+%#"6E4.Gl%$ۗ)3=Tq'FT$b^2>ځ}|/VyR7>BI£I}+xl8,]ӓ'cr>ZJ"^%y |*⥓b&?Sc=fY׵=fS E~@µԇݛ1"4~MaT|Kch?rΫ ߟ!UXoIdyAVj _ti1Yp?HtVz>?˧!hB Ynݠ7У6=ay"pWKd1%\79*%+,s@s]34wsS.zCq u44\cQNd-qaUDY߉GfIB 8努Ce5хy(*DߖmAIŊ g׳H9p܍n h%wEAP P^]HBn&ȝ /yi{hT䥑RYY٧o;yZT˾tA6.GE!Nhjf`je Pb `HRs^a;U{nMvD.qg2&9Tҍ}݋5_(BE1T0m>N:\޲яl`kc CYiP$mc0s޿@JNyCV|ƣK[pLw;Jh+\{躞!jfK;AMYj=f֘>pQY3.۳Hĝ}0{od ,tj>B2BNg?OrU8aЇBS3?*ea!&g[BL>J Y]l?I0lf/}%}8 B-O7%ooq5Yց%&?|ǵZc :1zQU]$rH&:.离}web7yq @oOX1s"~S'ιgqhqҴ6>@(#-2q`KIAC:F9bHA;!yh|NFuP]>3hGXⓛZ=,3V2UxO΢Zdy"R*;t n$(AUF凮K1UFzP _V< `b , n&{_d.JZ ~v&Ç5ILTѓ|ܮVA_T(c)bV\k)sBa7рS-2UpK)1jv"(A 3٠TA@iƊy>1 ' GrDz4 Q4PzuZoE/ $/NNgNԀ=\8]*TSp,H^XnvlyO`+S[*F[>Ä`->ʳ U `#t'zC?T"?bH~=(1~{Ry.*݄'ފgzʦrס0 mn66# z4%o$|f,CxMLK&N4ҖsaaOvk|fIXH$թm:~oe*H%Ӈv:/ziN{kJ}i0lPYA2Q"R4Dn~{OXxCB$DQõc9y>(Ya xeRBFU|6q2 Ÿk-jزtV]} j'cέaэ탘rx==Yeeڈ$S'v Wd=ShM< Rõ(FqttKC`LKW} `KI1imt8ι"[.}m hWTHUGpl?)ވV= )H@Y& E7 Hu$tS̨ @yEiQ-V@.DI]\96·\+F$z/gYZ7zXZִF! g ]ŗXiɟ1˦rYsxgp9f閷WXZ<7YإEG4ŸSOK<.'`_mZ%za5**+Cw, 9MM68SJl Z*~ِg`v)!Cth:+j#V`uS9 VgD(ɞಥ>2Q~{Ӱ~S*uXӈ$'a/N#q0BຳRL] 0a1O,7I96R EހEg驤NWo ߋ}oߟHͬ(8PP/vVd*E2>>k" s6U@[-Oy1;BzhjgJb@GupzYA|>u erYU""[cЫdJG y @/d.she0(}"H3 ǗAPpf˟Ѫ-MЕl/ɋlܸ2#)ϡɆ!J4JG\nϢD]Rʪ<@iqg*(@Z4=P*YtNdNo1OZ\"Ubn8[ sRgHk  ԅ})v->K1E4HH`y=޸UAY| qVm ,$~~s,7-Sy< 1fLVEShr3IU.:G+-YmNoy3;d4)=s(Ki3a}jΑST&T,6r{/tcs\M: `JKgTobLLS^h/ l6Wb0 ѻ)uwݤO 1Rr*xVKsW/T%bJO&# \[:ߚ'|o-+_W 6xuu"ήUe\Q6η}YT \IN{ce.4 ,C'8eor;MǙ~TDCj/#ջKuqT]baڇ0*l[ذgq}aآ72w=Gw*֊uf=LB,N7m4݆`B)] gpG+\ OLUIU#ށ=@y駌dO͚KD\%,uY/8LQ uL;!_]fp s[nP_ˏj̵. 0pfs+G!)0lDVq{lk_qRV4ltOΐhEy{}gZ{i?ٍtd[hQoA^-3\VNַAD< 3sb IBp!Jw6EFy?e@d=zfuc[T~+P5xgu~V"IN5ȸU9S&p|Ga8֢祈J PMK=rX^Eͬ lVDd Hϱ/PE71<9zHd-zm 0'RT~kw`X8/&݉ hlwe-U\@fJ pH8ԣ<32y]pwhxt)rҍ0>DӋ2& Rr3U{h@Q0@delP|Q {VO_7\PhE7QpwLT 8w$SMQzDYٞCc)& #&=}9..yѺv.A7tn58NyqsO{ V/]*AUS"VnttOwPٵCIVhe56~zH%t'Z .}2$>0) b!| Kͺ WSoM[]8D?ZC/s5jB/ٷJgf*4O't(Ëh **3@ H^dMjGݥFYOkhWVCA˼k)_߆u_4j33ZQf~BC _A„Grk+|5Oa}3:BDK*>8^O _\%u )@=*_~{6"N[;+OD;eyɪQBյ=3!]\W9友_-͢%GiϢ/'1_8I;^._R'U,s Fv;Ցx)k>ד?3 wc;7N` 9@w!=dž{5OB(Y2gBTBT@33c7WFl* uD|ڝ|rο&3!?{AHK, [VV)"GK Z _ O!@#O9j[jYfm^7gQ@UKt!$~+p3:F%0]xя<آ#UBv b}!ý۟N|`06ijPW. w$M`\"װkF`8go[CJ[47R9 n fv9klɄg+b*0 ̜XQ06d 4 c`a4;/)'xi4?ŁEZ$EHU؊+P峇_ee$J`N[>Yęv4GAui yJ~djԻ3y{m U惺OҝPr>hrVɍ%]*;[5fkG@p7016e.SjB/Գ8jC ̆/%1Ž/Cn!7Amd~G"U~wg{6DbNMxmo ;?"4U\Ȼ* oj|hQF 9'Md]~z:TE6 mq}4> LFUK)d~B.5<>$(Th_ndƃ@帴">0veF]  6 XEÒ,(݇0 zR {H b;XEqӪű,BDaX }\Nf-mRWJ[POO'`4!=I*20fOZKidqɴCˈGVӀ ݖ?{9".Ni8%d WgMW;pjQnх(Ft /V~u S,KG2-G-enn5xlM%wle4v0)Ra[m{Jv4As;!@XΔ4F|Ioz:K`A }lqP\/{w"/fXn(jNheN7P,E<q\uh\/9&Wӓ'oAc,IdDF睠 } C}zjO\8g$G'%ۮ!(stA?#=J}QD/ : zM;}YKKԟTGl1L[mWJX!Iӳʔa5o!j '?߆ * v\+㈛5Dm wDMKt>E;6nTAZS** d=6$kt= dM*{0A3p+ˀ&k}-qssl~ze n,r02CV)M6>Ź|(b鳣ņyp} HVdhZOY%xΨY8D{:#oALu/Z1|ۘ/7$!Wur]uxTrQɝmPonSZ{ceԏlfuIjA,8qԛp<#Xd|0qHǨ,G/ni 4e!0ZJꛕ9CYSkAߗLBI1{L[/vJk;'c /xҏx] %HrZgȨIޛ; U􂼯mk DuTb+c4 b[6 O 4?Yb4UA=-Wʘۖdd>0ӐXHAE} zeVi{@|F.8/ˀ Y.n]tL{eo&g Ezإgk3hNtɉ9(_(3g/=,",S,=B7{Iz'ZlA:Zǐ&`*^P&W]#wDDe;Ab:o"/l>^!g%!s 檲pZȴy"e6/@ ] 똎h:^4F :K L1^ZGW5Xy:B(wclô٢  ZGA'JE,ye)ݬY#od %ů٣{@ₕC=${G8;W7OYzV^9`oysA+nP2X `Qe(GЌbX,B]B{DZhk|zyٗRRC=oa/NJ)M6aC:BOAlVG  #t7 2xSL ؛M؎q!~͉N>%@R*?HFD: U)sH8/" ʀa!1cD(vt]q\Kb5)icfgs3ϸ'_9)y/e\d7q sM4WJ\qK:=LJ31s+{@?c@(8Z)wyq D~4V!;KT9GEx33[K,M~*Ӻ8.8 Nb3M.…@" rQzWK3Ӯ%9d9! *]b63[j5-A}5]@/K^'`L-{Fkc$†wgxDx..j"?b%bK9FR:+vO({Yz;IUG AkΨ7!yҌ%3rad0cqk%gYvCc -'V7Y)`ՃX\@؇N\HX;mO??rq70gZȲoYᝠW K@Yְ3j" D3p4{~>|*W"\'wo_L>Gk?tP:VkSExbxH_ [axQ/Bz|fZ 1L]d܍6;V76)CrL8R\t:L-3CC'u2#TB}GmGY& \}b֢Euz|-*KMdOixҊISV @X-h|7trhdQQfP4ZxjöZ՚.dRߒ&w8z&h 'Mhq.FvTb z e04l6/>d)+-\brɏszDʒ%{ۈd͵]hԽ *G‹SB1!%Wܮ)_QЉ/Q]ykYAzLphD YǒUV4>䨸W(@ܸ [oy`zt}.>kD92ݢi ֈ؆'|稹~jXpixOw&l+E\EGYP-LU gX.Bj6FoU98`z) >`Ĵz r6mDZOR " ?[i*Ubv05P VǣJmz8H ̶-= ڠ$QWxgnϢC;"(H}@Ȼ&n8qsel꒷w،~1큩M+:yn1{mJ!@TcݹTD_'NG!ɮS# dIHa i 9am6dJI84N2țfLQ 9y[?4o ėyFtA0 [ 3J9KU j`]rUBAPR$L|'.A?޿d=mYbQTW I=- A޳>yPEv/TA.®QY[J9<_I"Jw;X 7#U0 Vc|J@W8Cnb0g.Ig$7 '%*i^g3hJ#ݞj=E@ b",U+t~+Ju~C1P`Pl3tA;9%:D>KrCs4(lyAjv T0h5ὕA GXU.LRdf[)4N1KBs L*'3YfW(h}X-K5nJBIjG":7%E2Pb5mCr]@j*!2VBmG^Yb^ɲĈPrw4v9eu~̛ 9Eα2xf 0nSX 2? $(YM>ϥn`Ldw^"14,vW(7V3" {d 45FU7m+M"Bf=V/ݹNL$ҫrQ:/#eaHyʊ "G(cWJE|X=7W+4Cm_o\HO[4 J5uG@Qp2UO0-jܛB1X&-15HAtXeBҼʸl{@?l;VSLW!:W@I:kQib !&~Tޙ29څ_PW*;Qc 5Un'e ZVќd`"G!p5J31m0 +\1譆 4~W6@۟[Sh]4=B\-"jyEyj}曃&7O/lP}'B"cY.ȸ,&-yCFxU­FOYޖc1rlFwO{beƶh#-jrGA,`*n)bA*/@-6%_\:8KQ׫YyX2$9]Δ)mMcfDt~?Oj:sC a;̠dӀq}DnKNLY,*}A#ŲX_Eʤ8X)l([ԀxF;+9@K oJ/Q7p@)螼2V 5!n$(Z@R露" s 2_i =-2r?$ۭ)^zY`±o5T06+ٝ*f U'g֡h[ldu @p:A'#=O/EٶMXZ=,k^~:ơBh~(r1=Y;~ E ҃Zq=Lؑd _u!ensdfO1v2Rf_m< ˕kch7#GĿEJmGg>n|{ƨ9 qx^N) 憸R (r\7S^^ ;Mؓ=vE[D~6z&?bG4brmvȿ0>-vtКVy cBؙ4K=Ksdap{c}F¶IMr41.sAU=u짓Xf[~ޛw2cM'pk]ψyt+FNl|5$iWh*~ XseZ@&դ@ |rB[)A/O".)D¥N`zo=p0BvԽZA`lH0N=lx q`QUѵaF-Zg,U@(!l8nWn{#●Gg=bB>ґ_AbAk'oVXOzҭPИ3R~32D0Nʚxj o_.^i2?Pڌm\eT^`yeʺdr3\gTxGK[tq @Nɛr:H#L rO0Da2 GWrHְ" NQhLA_#*OG'TBp=x LǼX[ {d;aMM9*-K!^B+x}Vc@6;)0mpZl>ur:}}z'}Wb[h9H[ ݈[Cmn44rFұCQ T/[qxq,Ѭd8.Q;u46N[9\ߖlȯn"Ld7'՝h4lLSYm!}+-BUT&)#;89~y̓"7Rty5Дhg\-ǀ%x@[vY"AIS@E;*AxޕGxe*n±DA+ Ft:.8j-ޫ=a*`z)Dŵ av7cٟQ `Ëlj*lDa@9*4jTtq?KZJ n日ۑ,@4|qvVfwT++;|[▕(">ۓU(?lA!g06"j?PWX /F ja| {N ho|˶jݾ!l9TGNeSm%Sk pɇ],@TS\8Qzw= >/I𷌞kO]BzRw(0׀Ȝśq66ocxzG D)m)כ ]< Āl:߱Σ07`CJISp dd6ְYec~Bͦb $jhGUÈ㔓`ДZp$Y~_ 9d5!$OL_vR!JwLjA6^Q}kl.n\)x{JƙQ%3x0hpTġUd@Ւ0G?#QͰUp^[ W k"8apPR0 ަvn%3[^{ Šoޙ .y_V%ZpBUR3DIvk5Yp֋I`_"/`/~nmr-msˆv2L [Zթ nұDTsF>8ef0T Xc3F"ê9Ϻuh|lzԔgհFt oW!D@oV+%sZ#(c3>^A8XfKb<3"$Fe|Q0F_:]^_]ϩ0"(<޺Cu D:y#WhHYe?]8J^oFK4,M~i+CT[:cZN2[UyۀӝU~,o*l$Hoۨewx ǹRԛDת!%p\.)ÈTBoX>m$0U/1="Gy 4i''$H[ S7},>+Fs\:4SPItOr$?.! bȪԐl@'`4(& r y` $髢I\OaOLOb2ðՕfZ&#Htc@gד3`#7j(:QNOUM$MC!l s/(:Z"1i->!L)GOͯG QS^'*&Lᦧn&lϥ4ZGnj!m0_Z!g ,) 鎒g,M|ͭB;ۖNX+Xz+K)YqA^$X\_Sn1ߟvz3qlz4 Drw7ɤYa(Xߡ$M/nvU3603Q:ݧw^Ԉ p"tu|>"ܐ]Gφǽd zJCIXgJJ}e a WC}+{|`. 7@00n>R=Ew2A&㎯SP]O&FgB%~QМ2ˬ` sf7}1wdPm=AK {H!+FcV/Sʺz 4W{6:_H@x~R1)cPH/ O#ZO_lI׊E7YoiŮ:ɘQG/N /O%Fa)7?3zW%?ٰ`;yE; ކ{ֲy)()4,r*#:{BTxJ1df8ɸ۵c%AhQ.ȤrlOcͽgxsSWg_~G㧠kΦ\VXEڅMKU 뽦ߦ$܌y##nJ})iΓ=^qZ}nNfxFޥ.]c-첅)b\rmkJIR,=t3hU>ֿ:v_"(@h}hj&!j? l'*UGWɲ[᱁xW XgXoFj~tFc oӖ5}x.Qvt]`Np6sָ [>Xx -Jlw NEֲξ@)QNZ͢(QǩEScW9'|Ǘ}R NKI6[7+!04iB;؉Tg$Zs2(^psҩkM).G;?tVŸ0LNQr2vҖvB#kʒ54A @t"H0QѫgǛF9jR!Enq좋+dQ,b&t!~Jr<‘9LqjB_?v^}OW8zy_D]9GwdV|7>78zq22>9i~ I;"OO(Uau ۑx55F(Ap$ q%*LÚv hE#$1D[=:Ho/~8vOZffoz ^b,`rmd.g*g h+2+D 2Tz-H=]E_9ypߏnWp;A2hU[Ң.7г%>0ԜcE=+}2xM;l `қE+My'ȏj)uN<ŗMe-3q*nlw8}+_u4z4VGfcN-48Zjw$ȓү+dchpd؁x@+ֆ˘z(*ݥ՘lZ)RSЋ˭LO ؑ:6bz Z-uCw[xS5m ^<3׀a*y."2XVT㰻^MNHE菣@:%T_|OqI36!lf]镰⽻X!gQ[ڤ:'@tۚ4!v71 aq2P^#6?PyeVNul2s$yuDP%W/gh&|{Q|Jx6u22WF8B̥PWNc6Yx R{~X-u!EM 6[aA -gI::~j/h(q+4mjO=8H'+';D'=ӀڝULmǎ5AOѤLL߁xME7Eov\,&VNyJ?ϰ<|smr?#iFs)jĥ?3BZ< < j(1I9::9z@y)?ǰ 4lCmڛrl"|^i17j}ߪ`5w7 WuRqbĻI^h,^&Yb81z!d^\AG-9<&D$O K @ ]]|g6??A:bSPzt@g$<%"ޓxs| AJ^8W>$i=X"h I ./no=hȼKnoyS tE@tç6Iex56Tn|)_FlsO}A_'iזb-a;I c>Fbw=&|}M[GDR7 T`7ؾzn:l΍o[2?:Lx@f;.}]o.Npqc-e-|e {4Q/FXqN^ EZ⑬xwC ְNiw# lGR$*pT^RFFsw +P GE[SdESv!$Q8h@ 1" 񔞶L| ܖ5)03Kk#*(dV\ڙ#ޫN;)=2kso{;v+\Ice"v鎵]߃b|M\{@Y,U>HS62Qyb!+[FqɇzSq$z{0C[VPF' Ƹ!Hw$%Ǯ K%1~Diq_~k#X>:Nmd]rsc&e0߼2 9Q#ftlw|{11*i7\=ۭP+e2PS ISk,oH[D倖<#ƻ`1v&?/|xR<̎^4#3o:FS5XEI=._8vBtB@ ׎?OxE#Dwuo,U{OFlMQq_Pǀ. @Z',#.}G5 s}9=ƻ[hXks0Zcl+kAz}pY *~)-0Ž ) C rƀֿ_pH0$>Kr=Cc,6Rˎڼ8$N l_XcaُǻA3$~B/bEh C#*3Y8a8i,“Zī\^stTN]~o=0n-~DQgؘ˿*vR@ֿNΡ%^<&L T6q 833SyuQo{y rmjw!>=҉\e3d1vڙni4SAoQJiwR0t8ڸ}:l RIYcI~Cmu!4}d - yXtit 5\G+2pL%², ˴0ǐPhmڋH W3cY~H|A.CJ˫ËԻ/*nj|^VK%沈PPXi; E?T^]s#@jS`<"Fa,+"MSY&E 8t;sy6ЅA}ܦG؊N?.%(#cK@->w4Ra /rwPW%=;O\ߢoU?;c0\#"'lpD\fCդ}&9Tzzn_>&\4`QN|$GaR>{F#KQ؂r5W;0PXomLHd9GU0+_$ݨ-a*1!H|L^vg`"`)vLJT[sXF\VX.Z:(^޸Jg.}Y{qYgfzR3^(΂.SM9?PΖ%S￐չ>b{0кd:=/}[~'?`ONVR?ge=ʿ7kM^`d4f97gF̰4L:q>Yg̑ ߼|P2vFycml@>Rt漆 Sj,{ '.|Xb -~_r~#=媌:xOPgCJc1Bdlto1!闰 wj"O< Rrp| DƉmb#z˲Z,%AJk>Ao['Ll[86'Ď*cJ}!.c5BO3J{P FI(N\l=4~r,1BDaa:XV4fk,lY>|:zEhNȹO~a+dw^K>3TFϞL@< 6ljz>wۈvɁ{TE(-$=Z5aLd`_WG6Q[˙Fl4z].U؂Mۏe<5$6꒖Y;u"&u<؂s\q,?|ʯJXuAq{ݨPd9*qkźC5!̷`e\wpu5}#; \Cцc` k8pY FP_ĨʾV|7P锠`:f[q{+dγ*`UIZ]B楸vR(>" X^vI:L5 =Qn7)`W4  aX/nŘיjFup2R5D4|Iʠ%rNy0eaeHMXglHoPLABީu-;߸Ąa(g1\YZkZ99a;Uhr[3 %+y"[F˯)u.Zj޲cYllBu5"io~E"g#b \DҝYlj97 Jl 98q½1@#L"Ւb6I5 4Iχ>{`7QL10W6g+M_~.NqF7Qn'3QƜГp B}/ $xn&4ڂ6F髾sMbRk U#ǭkg6RgI7ԍ"||wH'ƭd.q܏[y\p?Ժ׸Bl#:ʙ-F D |O5-YԩE~gX@E{Qa^J% !SOY `iO; 됢~Jm F8EDhRSWIX(_mmX" #ju7ɻa̛(׳y?e+bhoWFFg,m`ٸڭ*1o:j6^%Q(Lj~]J=iKJ[M@ފg؇HY 4Z|K^%-wgudS]t'D\Z#qfC Qʯ'Va}]H9$+GHI2 ?xcSP 1AHk-JL2;Ǣ[ X/XԌ>Ӯ]Nجo[լ[%t6jm?`ݹ>v=~˪T+-"$>0o򺒿5a'|UoǢ.\}[׮/* qP.Nއ[(}u~I \Um.ӳD  iJš31CDf<.FZ3΅֌SylrhL\Mh4AzÍ%.mq Hp~Nؠ'-&F$ Uɑ1nhҨE Yi,x- d}EŗM%%y%/޾ e\@sq"1ړR0:Q=&ǫve "I>\8P1srmIijy Yzݤkc ;H+&e/% %bݵe{ q}8mpӑQul/3)R@VީXґW/kVMF1"6A3U0/ysA&qB0o$8ѳSςMIS8pȏzJ~;DKAB8{/039nԫU#*bV?M'7\KvEwh 3\m,dǹby,xS0 yT~|7aJ2s?W0846>9^B+1:Vum۩8%t@5UZVݻSfa{?ZyQo+qRrM*wd ̭^ɴAl#cmΤs%2!LR}8 N|mFn i9=cky rAz};6a%9|VꙦF-Cy)mI$1v ʯl/lVDմUddô qNٞl9o.0\Y@ 5[iѦIäv TG@rL'_ l6vDD^rhRkmF9Z{̄> ZXu(l#'3 sD azDE/ A4[2\۫{7.+&%D8)k$G"*`V|Ԫ ]  (ӁAVbI#'n҄ arR/PSU1K(loAEnDOi}Y|i=T_Muj7jl4 8G SEXD;+BP3A]5ǁϒéAT{J{F ǒ){a, W1Hlf4b66F  ]ah 3 |OKcf'W6hUMo|ck:NZ+SӉ9 kJ*`e K*W 'EZ8lSb}I(?Z{[FYZX(K5}g¥+֬'ag4mޤm].[(%l'_ #wy.{LpAk5Z_w3}B=hcS'bFD%VCq!!b=o֋";ٍ($:f#y1Q]惬e+ɯ8QYYI+RX sVDXoC8$}Q7;r@s]K(%`NXgG+|z r̠D>Db3b4o d~#mKۯE"F*,r!#.S~b$УVOB̷%TAog' mק (|ӽqIN2 ÃxQHxk\l%׽6F ;J/ =b*w&o}FxWYRS]m˖' 'Br^{?Y4z.:5PN)J ף{Qۍ6Oiv +FrM#FЄ8ܾ-\25 I:W:\k"%fW} $J*֍E(4ct֌rl2`Vw~:륵Sik%jW5qcЊ<9]D\"AvVm^QNJ۝Hץ:vۻQ,,+'cq8(O\bt}\f)?8U,>"jDyКF:ōդu? yQ8?JHB.D"g4\m)}X] ߜ dgv`YXmM7`̦vY[5|̍sg ؋zMp5SއϩvMKE}#E*un- ?'gFFAcb\1w@AvmJRp3W9+U:70mY:\-C+`kŔih>''mcGQDSyUiwu(#=%[xh>2jES;_XQٍǽRBZwdALn8w' sds3NBmv3„'t_EljH^%3R~uz.W̰7QDnad,%bWʃc͌fg‹=M#͘`HrR05a(QQNk3;#h=Y)x,RIl] jU%77';u(1)DM?>E`Q(.`a&a20.L, ]ѿ|@[6KMQe#y!g*|%"c>2hU˵g/Rvy쓻c!ХU<%6PF q#8X>sxvS"vփ8(ܤwFă%0dGxu]pnE\Ki^e΀_Ai.&x o_O8{Y(ilGn :YN֦V%U>w5a \DJIL^XLF>Xl5LvaG 718،v{1'-1N Z&O|8HZYu‚L`s׎nimAy}idШY쿊(,]I61G'o2*_ f57H/cx{z:|$bo{Z /*Sw~C؟b:PScBˤùf /@L(i~mR}ƻV 2O= \5@G* X¦ڠ{>9Dek֧<(!&cQn@* #°!ܥhpkgx{ouk3`~_B_1V)B /qRKN|W!+5J{ClrIVmCzZM:|JGT#֕n^T6peק/Ќ1[sVald )/ o`GrHTQ% \X(['r8 5g:#mu2X-0\` ; #cv /?3yb>5[DYBU<9pnյ2.%o54%:TCj행v.E&! K'D"C嵸3yZA9Y)cA=%Gk'"'f6ǛSWN"Y{x<; SQ2^[_#_,*t+p[FKTqD~ tsZJ8ԾȻp0-i^0{(>fحϧ^ѥDMH.[X%_lGSFccgS"렓s̈́e̋k*~&c0w~۾NGBVhߧ;Bї6`c9(M:sj y/AZdg!Vc:NPp\Cs [b| m=GlΚ.PeEtblJ gk~+3Vգ"b.6۲9d:\7@m5K΃H){e&HpK0R -{spJզt025 zx{0l7, ;\.$.kŕA)lbѳ-,=S"8hI0c1 0^S7?+jiOӷLgIZQ5dWMˤgX6Ӵ=q+Ȟ'θNL bVsMSVRګ|u˖}P}pAv|W2 ]J/<)*7[maKPg\d>5'y$wRrxxWv:U&]&!&}b!=H;N_WAr>82i0b(g{C8NvSjY'uƧ- 9:(DJ ߖx*7d*pr}<_O`a4VU[Ulsj4a_╄FJ32]U=QBZr[ۮ \*z(@W>@偎F8` nFz@c-l]gPh 3n&Be9P&bZoO gu3oÉːMDi k;l.(n0d6,kBs+Cn$) r7^frq[ P ueC-~BO)l e:%S2Kڤ}jM RZX~9&!R KP51Ӟߝ#!zp',ɨk&Gx#J%pn9wPJ(d  .>Ϸ:5QR"Q5fV#kN^O݃A֔G`ouɂs'sRl44zĝK6~GEQ^Y.ѻ;p Dƈe uJ:2nE1 zA&Ոi[s+=^9{4JL)Hϝ0|cۺ`{!"ئDOnǯ? #G0Jڕfs[E}6rҍ=%E4X 4^~Dyb^6 ;0"d C..iPuɵ;Rn{FieKºAq\/wB`W׾*0;K Mg$N_A "]:*CAe ζa:1тoYaEh;t~@)o@t }Φq%M$7QS= qͷt)d]ИKNj9;,\/}#9\#jPw[(t#&БK:Ho B=Gv;m5 #=gXsbFM{ |'3^2 Yw%ėcFM˦H=COo u:O:@ts:D}31#BxTt!-'/R90@m R'yprey&~2H4Ծ%j-gYZ6096b8b270e49c67f22e29f2be02ee189d3629b278a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59