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 T$ ]/]MSO_Regex_Equivalence:threads=4elapsed=533.388cpu=1767.788gc=69.724factor=3.317zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBId.8^e&H ݊9yZ`w uKdLg- yM0*va7hdѮC2dk%"min"k&[:rj_Ϟx4u^=Σ29DJZSaP1}EHEE dL4S(]s")vU*UVmrEv?j\qs{:s Ö y/H!chRlGʔg'f—a AL 7 MSO_Regex_Equivalence   axEJ4<2/h/jPA௉'vpݴ26BiC 9}vʆ qkGw%?<вtTq7~._<-BlHglS:Sx!fY0 QH!=$?S2u%%̂5ŅL4}ś~։/% >)lUKSH zpiPy6Uk[:S&ȍ-bĭv /}RtNA'CsBtk* /|PE`v5ގ@Unƶ!&i(mOv > T'I㮞qŲK]^41v-"e ~l H}ν靥*;[HgfŸ9=#Ukb?uQH@6UA+-z #t0N/ }sSVp4|0..,~F# fEl/etHZ2Ǥ(@73g0f`eHƔwoȣl>k-M?68{hd1؆H2+S hMf^),Cҧd 9oa]:>ߧ0y*TPgbs&]8n>! )4]ÿOKU|s͟5;pBAJ0QJ^+孑_IU̐'/P2-~zv4-vVX|R!|6`}xD/Ea1Zi 3!;V1~xR7(d %^cKZQ{gOE]<* 0am;z+Wxh6+*5ӂ!䦣YdϜkp14V1L+TnW'aeAgghTߖҢ B?gŒ^ne`_M}AyU5\ϛ |q݅A6/*j*r؍76}N~BΞr/<0lL f' ~+Twer BrݚEBHlͰWKzÛYf',.ٿ7D5H4U2Zim_~K.3޷}iwQ =Uc hϯRv%*9R84/ڃ/|Sbn[hl϶y`do yrRacSw I?|IW?z8RiOɫ+9X_Of @8TsnCN.i:W aV}tOYܿ ! RxBXpa> J*\7(۠~ Zd.YyE-x~83ԃ.(d 4&530Uae%˟fHͳq ilx1AH+%m-|:՝E:Ƅ `[Ӳ։iUJS6?N]}|dw)%lQ[ tD$mOz|%u(QmWnĵ^˒K7?)z@%̿~k]Ϳ)twf;@aqm[ Z:gP^*Zي6Sɟ0QjT#{MJMpDP@:x_CmXrR藆MKt<: )Ϣrp֯ bjq?Nm =J#:(_e{p}p#Xc<;dP [ׯq4@;]SF"w2 K4^x-٣YzE#X:wR;adx+UJ$9VD\/IiyPBʼnYff"FZ}XY}E 3gr9y"F.U(h==̋R^#I2v>oi;+NFW䶥Nd]t;jz#c[յIւx&Iŵ{I%Ρ`=DAvŌXٕC{fBgꕖgʱťuzt#54TL6 lF^k\KwEMFVTʞܵr&M R3*&APPVrfL?egR93%H':b  oIVb.nOwb ~IzbFK/=7b'?A`炆V| ƠE$Wۉe ɺ2Ó= EF-ώor0!JK i8Tqs8`[ՋÙ{r8fv5thG#ɵD2[Y/`~DE'6s]8+ H N:zT;(_ET:<:1jO=CaY)_dxiY}J|?LVqig=` Og( p>S5*QIdd9P? ۍ)`8~ = ds$ۑ'2a?. ! ~Y*4|LTk87okh[$~fcGh ] Tͥ%Y=t$Y_H ^EoC@tl ,΅<^ؗoQG|mXI^m}N:r% `&/JI |S$OZNb'@!*bz;-PCfK LOŜsj(_G,T i58\4dA0gWfܾCN4Ƶ7X榊u""k}rL]}L$tLӗHHR,|$_H :GOrdX|-To\j8˱4 g##C,7RB8 ɼ:G,skn%ԫ~(ΝvJs?cWTh^Tٯ7wd?e!AѴ / فGbB_: dA[D6>uǿ7QHvEe#Srnǻ7)#*`>uӶ$\Wr[m?e> 7@bkҿýa<@_FZ셁;Ut_n~Uc@!WE erfAHtQ 1N]7C1>4/ , %C*mB<"4Z%QA>4ۺ J'tؓWnUz`!h[ZjI }^ `Hў쐡Il6tMgQ2!dGņ 9 sP,R}؞Zʣ>w++;"(`pHR J 'eϾC8>>e qGִ: pB#OpXK.ՐKHqN7W=evk}=yIjjakTn9]x",N 46xPEDK"zceł)ឝcm>ܳͯ⭗R<`Y8P5{5~tcѴv֍ߡpL/}hQOb[c^: Ӝcb`ut"uìJ'7 G\,C$384T`Z&0؞{ ;taP/< 2劯 FLc dFRbEĎiE )!Z= .=ot}r.K;~@*E&A_K @kj2nv'9I i(=Doɭ7$*Qd9Za"i~2 O!H$f-ZYvmw!UD*B]/*wfŮ_!X|D0dlU$y_<{N5aq f;zM[cg,.EO 7,UI/ʛyk'bS4+[8s`v"ao(mJr_,!tlCگÂ#OϠpvnlڅe h;|`G[""GʄB_18zM$pL ^'f@Ūk/ɀ]^m=QZ>r;rt߃`~%DPP?#(qqZլ1뼺G'OŰl,f(=*71j-5$,a&7p(V]f*7WEYA8 77=`V8K1FC;fR{#4}(m;s,؄’NK%{K_.<3bmgs&t#K8oT!2:\9, W%rV A6xA BRr͈,)իw!OoAT;c3?q@0&ڵ4!=9 +$zi"xF@6W7"LxIgͅ/\GJ3%ŀXex(}?پ@TD md%$ZN+Cn9Uꅿ_zg1o9̫t 0"ty %2e25 EkK{74 ըZ:p7٤5RniBh]ǵ)I9c$B~ZނNjV8용/rR'o,.Qnf|'N?}2£Ձ|C0f.2Ve oS{m0vg]٭ImO-[)]C⦓T!yg{%u]!J]`\4Y *HmY*9&Mch~d"wXJ z|x+xq7WuNQӠ {>G"Vn y¾:Z8U 6J-bgGG3-h;Ɇ96C 7'aL#}UN. J#NEmדܴ6sQ=ǽPs+Ã-A`DkoSN͘U)JMcot?L"u)W8ȣЩQfdmqw.)X*Y{ճ߱ĒsHh[{JԓOJV(p)$rq0P Dz3 qaՙgZAh>`NhʊhT+&'cw5ZV1-k;`ma6OiAZQ-}mjNWP :?Ȗdq\}i :G\?? RM0U9=.Z!(Um$pE 2CaQA Jm_?Akߤ=& >Ή322J;'{kv 4װYd+]d|j"H- ?MPx\?+8wGL--XkS>FExxfE[2lL[.0>4M-f!nzTm@ ^wi]Ѝ@ya*?&HQۻbp,]( Eg5'P7b[oՇ=|񛡧sX[%cH1'фyt\4S͏k'sQ*wu VI0y"|3p,*gCߜ*.T_U˄ȓj^9d =tY78[Q_FKpjcO/M- ĸ7&<ϝ=)|V +F< ZbDL;˓f-WQkGajJDȤy1@x ewSOq9RY/IfUlI֛l+zT-O^JE;X& ѦUUF-FK7x_8J>w#;t:'3=$rC2QKsLv 3j?s ]H'+[LlFna}e;Z!DwA6>,eR[[Nf2yp=7^|F;y`lD$}솭^YHϙLva.K J7Nt揰Q8+[%n pk2A{I)aQ(ML _n7* rugz6N@c+vBCGK4k»a5^HfbCV{=u>;|`؜آsP=n@),rVOJ8/,j&],n3,jjR7_p.*/o^3"|킇Xdc /$OƞPaGC{/rUH`/Q&ěB #=cy'24ӌ3"D hh%[_Dk=4wvhqá_YC[\KAh.:%Oim3]Քo z|}كyA1Ҷ #'u,2|]s,EN~ @+2}9Gfta1)>rSre@,.PF*S-n [I;2G TƬFR6W:);7KYQ ,C͈`f}-WyW=V86c[NK@!*DZfӝ$qoxnfM߽P5O9<$O2IUf>b^ ;鞤P52pd(4_DVjqyߗixPJJ0m9X:琼_Y>H"k!Zx.W2xјA1 HZ.}O7ru z+xDaJQl|;Ȍ]wBZaeiG'39 ?^H{ A3L:{Hm=\:Ir,0uDݩܹdNI03Bh\lg|?z r*]W[3t%(JhU;x',2#(gڱ F_16=gByIFHI-$2}|z<@(|ۍW4p&5q R* 3zBYb/vwCJXU=teQ)}KPZ%hP+5J%KԤ'˗ 4 >p8D|(g,TqV6u2=4^h!a/=7ꊂdyn$ Tb RwCjF )lf=P܃' Ż!F d;JUl(P,$45Ϯm8\?/l:ZpV"Mt)6gc&}:_$x>#NDY"_mowg[ly`F oS-oL9?> ]U9k3BFesT _Ǝ,Q䒛vgbA$M\X2WL Qh ?A0ٗ/3Y@m]t^'Ʉůi##"Bo2uoeoW߀]+f]&:Vt )HtvvIE u8$ LgdC{N7H0)bRjvN1/),[|Xbۇ ;ڤG9_}`+@Wg5wAQV6RO'r>41 !IfxpoSƯnV>5>pC| ̄yFn}DG/6JKtNu9,X<~Eo )Do^ E7 =@s9bsjkd8@dݼ- rrі?-VDJI sV8:hgY9C deCmҀh"pl %Au)ud6!&4?ߺES&¹JD7^2 ,x㺩cwNf26TnК(-8?3/_i= JKKy;utn= Bi{x_o1~VkSP#9JV%]Mm74>K-LrtR} +]pʲUh{v+Fq*~*4 .LmO8Uغ/2sdv~QSc˻!2f&)hNQCKYeJ/sr1r/*)* ;*h(K, DVetEc&)<7'g#bBul~be7ɶ NFQa*~i깘bqX{ Vݫhx14ӻJ#1X7+,hN>ȝabIPID O(e <@eR Jcx? ٥!4"X*w W /s4DI-7G( U@|[380" >I$ + &D@P8O8ڢ6EM6X7ODlؒh+]mG[<#U op!p 3WDd }σ蜌RffO)DM]FĬ4IE,&$EKg26+XA$&51C>hDWHh[Z$pxzv^JP~7bNIƪH qb{3嵾Lc'xQ+Ẏ`іR y6iOUc f*z_N~[hj"59ENYE ja7 On\3d,((Ӯe\0V:΢,"<&z@ITⷎ k'0VZ@w1Է'7kpu: kZ}J\"h6}q w#܃(b28XMU0%N8Hc.I.eO˴⍏{2Z5!8wO:6x-:L>e>@]#D{g5? wz@Av$]Lg{ )}ߟ8&_r-0tzU4@"ό?|H& ˇ Ռ*#$)U|<ڎiGm\%C P5x5t% kt&)LFСD uJW*b}ߕ1z*!jQaè.DפdnSc*`vp Z(f<˫/7PjOS"usT~e^{N]_zAYzN8eRN{դ6ֱVY:O JNGJWW 8=<\Z-ft ʴ&=&\&j0Y;MlGSC~L sTƁMƏ\no~M5DO=:aoZYtV#8 Qdjf5-:7dn\2MS|T̸`5[ rUslP‚N1 + U/ۋm?Dr bJ\i÷acHz 4Y@B.O)X?5#mB|KέNNˋ G{K6}-KՏ r5m9ޠՆ]:fV{+8ʘlN[P]h}eV)#jp. lKi%Lbenu8շv `N 芛wPc<+N$*z4h۲G Q8ܼxԎVqЉD7VCpM)MJfƧ>E#'`\1+UqeϪW7@M栗 rv7([n`^. <:}A.}=V5f/X8@tqP'n\̀B_:mٚUh.>Iπ,Ǭ4sF{35pxi86c q5,"eV"prƧ. (, ؖyecZwi6Ai62}Mqy7VGn4P x Ϥu8cT!ѻ|iqH٪5I;=CC ` ki[+4coD&%D-B$ވ e&|Z Ehb`zP}`e>#)dHh觲aQk Z eO<~sꌰxk'f٠ZrU{ԭ,BɇgܿԐ )O p,,VYAudNSؕgdKݮ.?$ި?B"@Tݮu 靂%8+4s ,H(@Z@SA)p"Fwf_%Gʹ!4) .恴j!73w()m2Z?k/6RرK˲8H|@ f$HMV@ꫀjXGQcr9kM&\Dk3Yeԧ5ҍUyf|$gXp\s ?JmTYlgH/B.e])*7`ń$:|_4@=zFJ }Z 5_ ;t/I. _Kc'T a&#vM7du)GDC"Vo>{1FTt%ccf]Sk@,Itmw  > ;Zlcqw~AgZ6fBō%C`j1RZ2,*<>9H|' T"t@ү(Ex`Bvlg.~۹X A5dgOդLkNnhǿLI؀ouJ0 {8qW-V_hM3c I4ӈUmjr]ljqCygvm3}Y?lC=fD; 3Krf"-Xj_C+D[UO_k,BbG ZI`\K 19bL(SrSx 8aD^/tOLI~ߙ. 63(6]I_šqicUNf_ùZjDqaox^lxxW"ZCP#w ٻؾNƿm5lm` %.9|&aQ_%艮[Ōp7&Q?Sm&S#.w߆aTF s\Q {x)D! u49%D{vN-x :轰.]f$f3caiV'c*_i?d x!lV cpgA&Y6Sq!{FE|Sug56dzH3sFƫnI쫂 })><ծbsS+4›Jt2@$@:܋a"1,+WS1/mwIr`+ðV r8M+E 2Sf.-X5$GvːA|Ȋ PWʃ&]xsόգ#yj-ܣ`ǐ5@k3 \Q;z+R5WD Cՙڮ]CX~#5s?WnY-f|Erұwֈ#?ΝT )7T&Y/w혅y`JV{ 1plAb0LkWm2cO B;B͑jŕ2QVfĵ;X;ASz~ {X.4qs[Y9]s6]?Wbe-؊h%运HvxYv|퍣{,Km=oauũeg}SܖJ,]Nt*'ٞn.~}$m?cO՟)|dVwC'ecT*cLfubp 2Ǖ‘bk8;,!'XnoTYMart!l"v ˴п\`{$쏻z/w0,O4 S玜Tr͢W$@d{hJAcl]9rAr'I.{q} ʓ75W#|Z欱s0f4tKC7@LIW'EutwOaz)~?vg ^P6C/lծ!sa4+{ވu)^#Z%/^ >>]0TQR) mKJ+åиA%ڛY9/;TuQ"GY^jNxc!U+anzDy(g'5+-e5JX-&yG£I-W)<+V b5̶ʳ2Mo JH>lz.|MAË 4L ĉ2EģdX$I\X%x0?+) 4WܣǬد2گȶI/u+uIލ~ϊ+gF1 *w 4r 9ZQͳsnooo>>?ȼ!c~/xўڥtUi<4E햺vd$5o!+yʯ{$bMg)CNMXf-Cb@g^s+ ~(#{Cۈ#Yj s+zPHv QrvU"`eL.^C:u.!.=F;܇KڨTcA7:iS wt%k0EӉSJ3AP[K:W`) Zp7X ,/@[³]wY(X2mxΓCfpXGI[-,ɢĭE%uTqZy }8Zp8J<;*A,4 Iڍ4ڜ#P׆V^U9.R,' LNBIwW %"Ioi^T:O*Ꞇ{'K}~sPF$ "O޼Jih_mn+'酄DsSTS\׳RN\ɑwyU_. K"2Y^#/.鲈KaZ[f7ΗȞkD;o9_ڢK7"X ZGO?~b.['0 m\%u+eTҧ:+DPyaRr_t q6=ߦeeX?rMHkiArbb%㈂P@ϜԎd4PZnoB=^aFW$ܚH˶r:WGyThXZygjN9 zXh= TENVg~},y4SF^3D[ҾZkjEuCE)<Ǧ3 m ) >%6 20Y\56&nfeT} 74TWDpB:09isijo=2}Kd'H IfB.4GXP +K$3urZxswX΄kTupFǓ _Ic;3iyAY5XZv{f&޾2=̛4mb3X#NjZfuMVdrH+k6噬shɜ/nvp#;\-ރ@J&Õa?\I^ N|hgW 9t`8,xs, ɽA ;ض]0gY;õ,V ( *p*3*v8=#x4F4:;C-cpʄ\yZD‰ށ)XgH{D`fLbƗMx-eG'UBI~r"~hK3P}O 'xk%MvvUj[S媒s.YC{3~yOWsWv 1(O5z,|q2? 7=^LfBְ5rrEC4 4H]j5Ӱ//pUX[ ]w󏵘T02,긃dkJUt)3P(Z0]}1PW#;Ʈ\TdS2ow1V0؏РAu{!WZ"Hijȶ^"zbׄUҮ\&kʳ<]G?Nu.[ᾓr0LĹYf8dЖ5㾅!*n]^Vߙi͈_ia}"%&ΤYb}jL~hyG\BĹ[bP4`w0+`s`;@{r?`RI(>I.hs;#bJVr6=_}XFhy8 y^sI "Ï[՜f w]F7bILkC&rsd;ňȦ)$>0Liɯ ?%FQ2(7 KW\.~KUJ:Ĺd}C_lt$OXߘT-gca8zy*SS\ CBqwNg;72G(!v;-Qj>o͆.㊵x3D.oP)3ݣT4lFM1s`H گڕi 6lnSHP)!%hC2N_X&} 3*D#gAl򜪩 * +WDt)bάM;G&Ig }&D)eFߡD3z<iu(r'!+r2űe@ey7Ni@=tQ1cbVĒl$ZNg~. Əo(kel!gr׈Sx!'71o:?쏠4jzPle* %%irR*״q#dcsv}.u h_5!~]oVꢄYʸŦ%n/?21pPKa;C*E_aΠbE.NF>ZC"U6p $l7'ݒnxg4ѮVdi'sN3? w v±` _Iyw~ZY-,vD<ܧzQ,uOL x(?l/7Ikru,y."ue%Y1Ցw~ iߐlI*XqxհŽZ`Pș]oXH0\ƊVžaqdj`yMP=9Xb' 2(I+-zg7_) H$ =ֳ&"kZ芀,PA1L:ﱬyɟ)Վܗ00)TḢw-|%]BnB[2ѷ(A`ߞrBTAHg 37{iOZ1\PE/o(.wMQm+|dYrN-K$Eac+'D}!3.T^׾6M-Y Y Uiꯣ<,6U |~kRs ͪHK2R׾iF7;q;~B*,"þw^0{%PzhnVB(1Ɏ)~hqyHpĴk^Z|_$g`2k!cO"#9xv0r )~%5oPymD.w^-y_.fQ?Zȭ1Ou™6nB { +fd"T mv^-IULbxS^j5Q]t9lσAvWonuҚL.a7}O"cr(Y8@^i3-KO3}6J9v/IDr]; ollB7p!!֥,̍x-kOCrCky8)ڻf i=%\EwJOܗt6ܒ_[ƇZzU/QA9)IR0S8Q4/9hn|؍L)_ltMxiLl5g~ u9-GLy!xk}Y^?kϢ;5m&g>hi:'t'RڌaAک4u{DovR0=7-8aRH׉_,gƶTy$Ek_X%l1=2ҔfpLz$hN/8^=M kWE|W1TM inGX`۝#(`I;Ő ? 46!OAYqd}@SApM倵Byrj#άk3Vc5]䁦M% ޻Cc׬'q.ŎJWO_} 6nu\))-qEzDK0ޛ|4~bÞDD[fM+caĵ8 zpYu zj^v g"@h3Bo=v Cx# \~t\5N7+ĝq as|+ mX'ok |N%Mbt2 0}|\-[\?=2\wq &Y.I-]ӏ0sBx`&t!Eaz9zA7e)~*X’~e7L {VX_]E,h ~f@5M, 63{uŵ]/}s3(K rt ma_fmNU0QcG9Rӭ̱ "k }d<4(Sp$ԦğՄPajJ(VP+a&sj_ijUu$fٗ/rW1W<ݴtDpL<+m'KH]:\.ݱj:3#co"}8$z}ۂDz]yS5>n}Lz__j|g5"r-s/ K}w߂P(T:KORWr fDaLxN˅ɴ3BgbȄU3 /XB+V{ݼ+՘RE%q[¸C46 d[yn (?2Lk_aFfzs|M[8 rHEӚ&ʥ{)\&,>9C`Jk xC Wl|fX&#jPBZGbGDr~L11 P7첸^rkd"=eoRi%M5+"-o1Ln)IU>হ[u[!_KY_2stgabc@E˖< QՇݵ`-E@SW[lo7S'7hPO+Suƀ?l\}WX|G m@\p؃GD栴դeNe+]gZQJa LgܔLWb^zGCMWňqy֊2 +"|,Lrl׋?sE, y'>)p.LpwŸ>۞I×uہtI ABHj4tɪ | ce@!E-@2 rT>=pty/??]re4(t !Pqm'8:'+؅%DՑi_!c}JrYU1ew#B*a&xcΣ7Hc E9t\e4~+jN7ެq:wFjo܌G{:H밻̉BF*Vo _th_jGےz-,V}t>Ezdw龒iz+|ڛxx۰/7uY4==g&L#qu~dmL%-G_͠I oyaN΃9sb1 txŢY5 Н Md_m_tΙg$Sȳyȑt~ʇ;vNkˑ SS978V.BI1b6!Aޒ~|Xg<6jDK;JZOЋԓKPDBq8YiA{u9nkVx#-]eQj`,H}[$\a4QŁ-͐`ەp@: /YG!ɫ_ Jd^a"qDٱוp9o&JP3ouo3IQ=n~bVޫ =1umFu${l'A%=w<Δwq6wc2 õqO]4t\:uՐܽONnoNs| лsge<+l(Qq^a:iXnk edAy(TVBv8O`3'kE>1N/Y;K_;|_qz?ռi]2q'ѫ\fWygz^}&6#'ki ;ܜ !O'V'DiJc5[J+S_,wxpзQqpi0>;0^^+E. 5TffWA7gRFmH͖%En}nnY<] ?YG\v F^ꆮk|X2QU?^=(^Y\ď 3(h@>@%ԣ0Gy/Y/)m5l5A+"WҲ'"S7هq1N)٣~d' ؞1&ԜG|+BPo"/-C=#;Bl&A0ADE7g^)e-2wG tyX-8~)D7RR%ݜR'?ʑ}8-DzۨWT)U1Ƣ*l] s8;6O&n̴3XUL$}G\k`ռ#D2CPcDv{Δ;jc6^Q9[ \6_3/>Qk8Q(+3zD)t$sj<g6f(63X^ʻ G0n]MDFu$̡e!V.95_SQHAmf#EEڸExRPZ"NI5j7 zV*C- lXv !M,ec[2P*2!Ynθk˕zXwۄg\D\-6Gwhd TR-F} F"96߹/qsr·Kq|Š*7i+`/lO t~ d5JqZqşQuYiZ'0/w˫dT_QYgԪ5FEq9OxMv~>kI;CѬ6# Ѥېj\m){QxR:R S0 ǶxлvESiVJkxE5auvA5 'b KV>sn3s܊Nx{EB]8 M狀3:xQ?V޶<&pܐS1®:ʶԀѵ)ASn:k_|R`݅["e\,Η(l9* YsˈjNC^3)$,}{0K [oxcW5Z¸M6!\G*Uu3'ޞXOl8WP=z"q݅l:2`&Ꜫ+4)CMhP9yG?׹(zҜ1Rk%hx&M0v):6<;P?J#jRFQ**up-uqsB }B ]dF"knE|/b)]awn* GrTEf1;q<Qep+*v잠f8Sp}n ) \ y. @ ; 'ai,榟A_?NvJ K ͞j0`=-&$sU,n0KC~ӷY\zfIWPVvoeFՅO3kʾC73>*.k"?lUѡfOml&AKQG*@gv͞ouet+p^ncWJW] aB+qxۭ+}Ϻcn h|`½4ϏBv2\$%lT̠9hby +G")_#]_rb|γqUL^HP Xi9ŶԍDV-w}`Q"8&Gb~8oI$e>i `/- zlK]Eڮ#`acr;#H+;rtEimjF<\6m:'LsAqIvY(8 -A$(<gx~Fn0m q"*H%Z,݇ K-ϝ^: ^4;(?cvs?ε6E_z$EgUylb4`y*=M wΚHDR^ՆZmȏ 1g`-^V ŭqS\L0KR2Kgx"E ^ҟZqu@l RoPȉR]M ]m~m]<٪HDB8 w"p-]޴_ON]Q%b^uL̘S56hlZ k~r;}7ρ_\`YRj=ܱu'p0))>690 rOKf&Cő֖k:3p-ijjm'N%:m~%m=}"d2)$ [4M:hb ,ڼp>XX*<4[}:ٚ<ϔ[_hD~ kc>ꆷ6ZɌea% H6rֹYp3vYHw=a[ B`TL$t!6D )P$7lj 5ϳu4.>/q$U"U}+JUzŜˤs>_SJz5n/%PU\VjKi),}^daRP(VBhL b:6dQJ:ʭJ.{w^ Mhyq֤d ࢟Wr^]3a ? v֋q`sZED9u"[M_Dp[nqu vMYƎa[nꇐvc HOܝ{jL7 -} I& #y8Roy;BiN`f:R6cw0iu`(֎{ ~:v;\Ama, 6e~]2k̅ʆgO:ACLK;vp^/ک2܊HA6-7lP!nQֶ"&CS*}RjЁ R^Uak p)VZ]jÌ|Gp_OPhі'\%=+mY:o\_@(43۱چT8 /|w7::ޮ]D6ں:':# S EezվpܪZ㥇mCNW*藑pioMBxStOP*Rb78'Hm %6]J[$Bl' ­/?"BFO_ڕYkl*})}H/}'~@O5jo=oqPF졪M>:VAcEfg=ua Wwp @{~t|ڸzT*W>X L0ꢚk7=bTԽag{K )я#;af>g -jo*慀 n Tv[WRT3׊&IO4pyn 0 _, M&ڄ˃1w~?$yu`ւ<Gp],jzkpbLVS^k_=O䧛`fQqxDSPcXݐAS'T}+7jGDh͗sk(@6gLtb< 0.(gPf=M`c324'0+p%Y6},w_W$٘=8Uu.xޡ &U$p6<$*{N5/R{o./]YLhlAZϙma[sxwH` ΢P?:sz*%sP eYd= L7?Z6Ӧ~.CԈ#-?kYg\)&?Φ8Nox9J['"`tgN/1E{ODnr28DLM*8c,T/`g 1+΅$<Y14^;HVJ5'IXچ0oqK, $4;IletNJp6]p2VsǴ;TN /Azbے@syH0cr*Ge_!1 v/uug=a72eޱǩB뚁4D:U]h`/粤w xQ"l ƒ_$S1_iy*;L ^?*S02 ںkr{MaVM }kܩF@j~;@C%u#?OQXxWEC:dA)c5dSBPeH5R|Oy-ԯJȾ-U`}Fr. Ӗ BW +9,P1FlA0y(^=qPB!)fD5x MvDm.^ ?ڟS_zvn<([ȁtjg.`!#Ç/r $W)oRO.Svw¤(^v'&,QRH]/Q߫tQ("ߥBk*2Em>MKgk]۝1 Iʫ>4ho#Ec%bQuiEc 9 k$ߎ,W^iI0w~`G}JūC6[+^e9O'@2-ʯw<BU8C.b >+a~ioeULLAkEI}ʣ|Hfi| s%uQhꯉr6s~֩w) A_B#џ1u{<8{^?N.{h0ٳ&YM:OEU`jClXsblV^MRIM&ZZ;S7[5RDRSK%gu؊= ᤴFa w9jg2ϊ{w۶xN?TI[ٹb)]LF٥6֍w5`ۀ0`q'R:1.T3NB#Xé)xKj1n+XyPWk.6D|P| oPu# c@s*HVHƽeE (p‰Ϻj״ss9jm`K>"ӾA&`%چve.h| ;=VL g]0_4F>AM%W8& Z #&8d1wG„ʩ_me^)–Æi; bُ?.BL0(&mqj(WnZ_am rm]zDf*JHE.\2wɻz:Gƨ4ta/.TgqKt㑑ji\qZBJEQM ;ĕk PJXI y͛> =|,HoΝ+0n'uGy+j0Ƽ!,}glTA+2Q%Pjbʞ,l1$Ԛ4?_im2q+rǏ広8 3V+j@,#ƠO.Y{)[ڟRJ,7^?c£2f]xPiL궓F`U)G4h/Ë"{ qqƌ:}xu#NYd /"aB|e}VߒCp{_ w$rKrP y;kK^`G mpHoLW7Zw6g5M%7|H#@w)ܬIvXS $(ԅow#tt͆@-j3S4@S3o1< (HV>U-߈&eLp'-֖3jůW*5㻒b,d2INvG$HrI0L Qs*Q1!a$ ƀ݂S̫ʬx'XPT,I&!ǥ/I_UKىORp&2k[k':m 5:wK=+zZcAdQGda(7@bF%T JϐS~p}-~A._֩1]yM[X7ۀ S7$^4KWȨZsh&J N3|mXr)m弻NhGNW[ ݓ򣔂x?9ߥNcVw|91,9*Ӣ@Su?ea4T\@c4vBXj™alcCk=`eiM8nu|1oLqQss="_Q޸&*6[)Z&vWrKv*k%3:#K8 ٫iɔ:q!zeSeFvv'BדgYZ7ac991e23233175ef88ded9d0105967d09e66dd531f92072f849172c668aadca4c36428f18253840 bb6d91cc82c83410f56f890ddd921ae98427d5a5c82aa4cf589a9b9b1dee5eb3287c9434a9c79ba6