SQLite format 3@  . BBh77otableisabelle_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  $ $07 L ]/]MSO_Regex_Equivalence:threads=2elapsed=784.249cpu=1013.908gc=38.428factor=1.297zXZִF! `D]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D)aDaϕ܌̩6T:H8K[?P{s1,.O,Qxm8b _" 6社?h4dJy8ܛm$ XLg 0"$4.ӂ~fϲMEo(#*/}=̰ypz+P/Y|ɛ瑑Io< oO -~Gs8!cfk(߇= ,L{Bd3>+t73β?ES骞WSӸ^e&j*jЫk̬Qrs.X́x -j un"wZ_,z ,Fj+ 4c@d5|Ȁ눴Ijˏxgɒqs=o#qiKѨh;_%!{сJ cƼ;vb,~w ApSjLPH9>(lvm\,]t`Vh*| 7 MSO_Regex_Equivalence (?3ݛvUw#Z8'dR"}#.?24D'%[sQ%SH@+'E 1d>n f)C,];g{%'0џzD +R}H3l=V;{fG32ژ{h pR&["V`ϼG&epN 9$~wJ`-i.7ם-):p\qsXF9~K?)!Q  vy9n!ԟɈU^@Ƌ["B.6qղ_`< *'mEٌVڶnKS@nǕIYlAsKPu-@sT*Pt]7.C?}!_&ɮ2/( *{[؝0,$ÐGòR2ў>kPٰ1;cGQ}SuVպ Kʺ&m9 Pi)U)!r7'xIh,=, AsceD w 69obA c͒X6&,KZj@\NYN=_*C 4˥Pg~A :?6H{rjXxfMwŽ,1 :b驿@.ѪW8ifZz]%>+@*70Чa_-yY%ޞIhrY6/m}DZ* uc"ō4X` ߒU'ofp kil=dcJnR#*l~Iiy|TC}ՔÀEh|*N"~Εa@du ],6L ^sޒ/ 8mt뽿2i6=H,s;Wбkiq`bv]\ՔIH5N&\pKܽ!^fj qdM}b2.w:( ;;K; y"#tYաe`#=\i䎝'bNss4 8Ec19O/ "]_M3zMQ! bO~|RZiX{AB Ky$n+Ə8٧x߯I_(jFTبGBs)ej(t*= jz+ԽYzs&VtO`EbzIG q2LŇfo'_>L:H> ]4m\YC./կ^5ҏ6@Z!ousd+X&݉6lEe٘\i;Vŋ]߹;ΖMr!:.2^o0}>=cw,(7WƄ'$of͒(:}u`٭A.:*{E899i~Wr4.l))fo7r:CYL%)Dƣz ̞劔^`N(A5"Qd7Vd'IpA~7㊐~emހjP&V>š~.ܸul*YCr" B|=ؠގWQq9UcǂRr6ʣ9RF}Ig 5+Ļ8 Y`6hw8+sS!5Sm\]Ιqz3mk̂EI1|db*ϭ#hmj7\:=7zɴ} |4Qae[Ql:e\\D7$sE1kێ7m-bu"Wu{ܴ4mlxj {wVA?& Rvhc*4m\ё':\nΡBjjl N%OtJR"ʡ)eE44/T;awv)싢Vi:pwT2ˊTe$5o)"#]ұGTaQ!dGIwıoҌbTX4 v(OBvCqѨFi^mߋR#?%jtb&\A}yIp E6T Ka0{< i_!{lt/9 IM$2]I~ l ː& Y}WC^IQŖRnuTN|5Y7[ .dc yKw0ʀlozV)ݍJ]_LLx 6-!6~Ϥv!s5˥( /e>h]Xq҉8;ܙ5WۤQW{EG ʷ' zonhLZf_4_n?ޡ,3ycIԗp5ZXKp#JKN'U"87# ivIt· @KƳL0:TS:غ<`-3zX_m@b h>տUVIUJs*}$B;L!k5ۓڅ_VW(F vRLMCT}~p>`ٲ`i J.6p΀g:f(L#bek_Vc/. ҡ^{EoWׯWMR4v6j > n .flQՔ\嶜M̅q/;b,ق[ ~^IoN]~6!%vOcNKaNv=pezWZ!a8Xc 4 s$˂jCIDk9yYMf94'{8 2ڂ,V1 \M%H 4!1\+!^BނS ,`{"~>Jɹ6ĸAhg9!gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵V H!v% .әF~HjdP'(>nb?Z]M{/axo'c? e_~M;% qҐVW[^0VK\wf浾oDr"}53 ޫ4`挬8I nm;d5Ȧu6w%m.xf× rTc*rs:*uAB1)ԣ"NXX/ 7uDz)P:j<{֥{ LGۧeV:z >lw5啾5X h/4?ϑضf(.䠐>f+}VJÓ My5P6r# NSsڒeJn'mo*J=چ3EY(:HFN0 Pb2%@(s2v̶!W?h?Te +#Y\Ž9$ pBfP :T0g".i>Ŧ3?BUwy]b!VZv9k93F|:T0gYy܌tj`;号uhF ٍ|4485yh op5@Gtb|_ Ū0KaCFCo (Q75{o|uEL%\^>37O^Jèf!\2 ҥ')`T8N:Пzlم}H죅WV*Wnut^H /A* 13^ּLt#YR%omr>aJvJvoȠ @v|L| Ѐ;[K\\ik͗hU+Bgj9.y i\F^24d8Ϻy-|;~7/ _2r%oSkʟL3T1.cTko[&J[qkX<鏺|n5ݰݱB {]pM¢jx4C&gRrˢ+Z1gPj~OZ/Rvź-o h1v5sO&ޓiφb& 볨Z-;~;5c:jΐF%ړۭ>GR]熂- !*b̓8 3+8O6z+xT(r)~:cӉ4O7DDw?Wj_{X %pHLl|@"bڐa!Ci.㉥Wʚ+M(>dj-YȘ`x:be lfs5~Er1T=B/WTiן,qhg)fv-#Qzzlfjէ^'KlO[kk(V SiG(#oW1O2`6SޞL{_pHPpE gPcpE+#] "i,cbˏK*m'E z՜m?SɎ8 LEݒZ2bc,g"1.Mք˺~FjhU]f#c@i*!Sr=:x?ce2[!k hl,=AZ<_Ӻ0X|vMz X*r5SgЊD`N<سvMҩVr+.dCyro2KG-46NSق/%2JqaUC0@hSNX*7C"ĵXq*Kt_`0d_HdhHB ` Z]Gui2ޜ|;i1Peըh ~#%*kɑ#ou/џ7Y=I]2!xuKIi-`f70n͸x;{)g]Sj{ W-91J7"=ձ3Qx^3kF[Fкi0c}ռ׹\ _ݴGc(˸ ,?G/6/muSN1]it pZbN~Lb.qtʀY7_5cQ_zD3X\zkG bde`琋%0KN%ጫSdZ{PIY>5eӎXo;e9kRzYb `j%c3k:rݟi[h qKpt ײ#E 6L^}*ci֭yO6"h5u2Y0- WRaN2\uư|Ȗ,$_?bi]H+'j` 1%xTV+-k FZ5xW>.6j A &P2LXvRD}ϴ(B;RTcy㊏\T托 MT) RՅ?l6$J^ƛ3+@ɥZ9K[TXTBeO0XW)l@<5{|;+~VdB!]1$)?7k-T< Ɂ>̡C` >UX^J~hXe>Fwe&o!;|Α_hU2v{ßsT/ &ȶT7j W˪(̢fp'人]IxPy.v "mVϪRRp.V_3Eg}7~^S8mUW;4[lQ`5oK=|UOIwzM;*xn-P͊%C{l=PJlZTڢ;iV 1ڄ|) v SVFhnu=,tDTkLS׽8EG)hC Tw"ǪڒP%Pb/wӼQK7~hA x+i!mU䊣yM+0ZnA?cuIg?tm扐W)1" D6|$ɂyiXޠ!G_8iF>%v2ӌ2q?]>|ݻmo*28{lM9֙ж*GqʖXu#!spC$лפ5~1} #BY^˫t$3K.9B. mwٗ=ށ1[@7\O{A u^T+"_f?Au^QJK9XcZKe7mMb[rΔEN[C~Rooka=>7]&ZEE@l W&qm\GIv ,yXWS9R(3_l4fG{E:wfTTXmixYջ?~]J8M‹ C+lք9+~S'd,~-ng7HNriHpI0_cIK `s.BH#*dye2Ú+~ j;-m *u:A&A3:_%tdo|ϻK?f ԋY9hAs> H%%Vy0k̪Uߡ)~$^pfͦ?2"eW̓!8H4gir*yPѴv@7n>3U¼M)CY,u-{ԕ|\ ZWx;zz~&OV9m#BU==7}1?>46yl)z"7NAޯ&ǎ"/pEǞfG/O;Mj`fс_(aSo5Uŗ1"+Ε#+b=l(wQh J[םo]k'ID _x; aD7dq{M#6+ f3:t"ĊUqBUYꊯsBEYpʩ}UvF4!Q 3hQZаm>oYkgτiz`e"[ Zv Mvq@3BxKځ\c8!O 5u؀|p5X?JdѠT3 ']B!kBRwoZi[CQ˽1UҽY:baܮêI ײI Yku*Ie?amGnM-R # s aPuBW1/Ŷ6ujj,=r>3*'Ph[|Xq轪);T9aSh;u-)25N&Dm3΁IPgP w·흻VTM麬z.Cgr҅y݀]hVW*hL2 FQ{X4 s.zA}@ |6EsY~{g(ۛW+Y<̉s8]>JMפiidC3Nf:]ʸs54*MTۣC}N^ 6Iy9#))UbXlsdbflwsž1+2P\pR-Wre1mT_0\]yd- j9(yrNDRF}>xpD 1((I.JB+@L)V=}ߵN^7\q: z4/3h)"[,%R9)ۧx,9UQsӎz߄s,4 Hܛ\\ V OdꣵޛSHGMgfO ^zj uU 1 IԁdA~8h8zP#s1f"TvEѓs.qf6z E?E}XZ͡i.fJ']XAZ]( @uZ(z q3E|D-Rn6c2 (x=a(ss (dBvZs7TLRVVW}2}u ˌ\=H#GxO?t5u6~0u 7ѩ p1=pAf:)Eg(s(#|8γ>#л5y_Xъw!1iJBw5(b,Cw!0B;a±`WȏNΫL%_M%4F;Ӣv\,:cJݢBj^P{6U7r᳆-+Mt!NQ0B4(ߤ=>qewxuS1pS؎]222ѾB6^VWw;fK_nEV9?E-VpK^ R @urY"Z~})W5d:6c_R "Z6=MmAV+ѳM/;!L㴁߇r"Y:{V-X9{ucIfTlؙBΞGvԛ ANM"9!]HOSGvOD7]kn+0C"9y cnU %I =5!XCYXjޡGQ:Ozh1YXX7ToFYEuf`$ةGp;.^] *KHӮ*>zz`[舣]e>spXaRC9!B)bU9+)C1'?6Q$̛-'ܵVA#iG IXL9ZFUЄ/P^ԫXBD s Q<ڐ#eXQ d:-7Γ^kFjhɠt6$٨絶F~d(yŹhqQ7XIZ gxټu1V_DC 3jk5%.`ZKj:ݩ#tǹ>qJk2ubZ{B!t!Q&H̐j]"0$~s2) Z% ~\SCECTY F a݀iK6b+zfHxƥeeZ6]^[q/⢧[̸*ڶxF߁%ר,!1!0+9{"[ےrJ9Kh#6Uj8]&Rw^Z% vHMz:'߀~"Δ2hC]{ߕ1lJRc8R{K1QA ^n]bz1Ϡ w8Ċj.oJmU޸-|tȖ82>UCĻ4!>$K tg3n3 HԯW;KD}P, xwǭc\Y'~Om~2S՞˥_+.bs@yeN_=7,iیL& ڏEH_3S/ )4D%rT*v Hi:/WCc)\a1oK9@|>b9HD9Lџ*dgKZS4w^Y\a3@p>H Ŝ9rX:r^i˟pvoQ݌eۜ {FOEoCӞm)TIJy|O#)?sH`a?fr&|0*1a#:z;7,Y E^wpHMX׀uMWy%e8ۃݠeҹGյp)I(>2KW(ߑiH6=lpM,(Sgҋ4[/uTe ;W9_BHM})Gl]df [?zUU.Ir",;kՁQKL ^&'T1ZRX#!FE/<9lb-)2aH"&]WD7~HπA}(=?nau ]}V! EԮßrIl;'fU"p+N6];/ZϷ'/o>#T\"`ϵeCt(-3,rF>31nl_B"SSavLih =Zu솵){л^̙JF!V*(ɡW{j&'?MWM*LlgIYDQݎ1 BѲ < &Y&p-d41LO>Yܻl:Gk{Nbf1M(9p"Z ]OkgوA 6{졙[+m5ч \XdYeo18j:}Xq8@9/A_! mvjfֿyceےTW2zP &"}<êp4dE:[5V8-*ݱ1%܅?׶N gX2@&iD1E` ۸`<0{f;y>0~1pA؁QmSmNz%6ِ̟[T>CIiC6TÄxȂ]70=%r9#K'^C^}&Z:ڛX 2>HZ8ytHT~Ro"Y@4qfL??"I%;k`)ǝvdGxJ5yۜw@s )JFxa,Vk@ #eJ-KS !7!֦` ]/ahfh-A4^>p4MnѧZv{w  NhԌAV=Vb^tR9VQL l R7bAWttEGS5qGbNܶ89#h fIyc>8#E`GQ`Z;%M%I{JE1_th,bk :BZZ.}z Ggtɘ D ǚWe5xڝMg)ʁ=oѾF"kփ}`y vZ]b{ :;e^6Czi 1y=߽5/L1U\A( kJeD6v'$wf E(1%cW,H`Obl4ϝZ3fX~~M{-f@؞3 lo˖w%Njah; >gL6ydq# YfyӁC7& ~AHٸp3B>5r0uk2G}`,їA2wZ0.˺bI碎^[vkРY2 \ڨ;%58NhvOH"qdgQΩ+07Y+> "F6k lyu c, >IEdQo?gkd,@G}"8\-sFsfrX6;w|Y)In;<3|lgV!|ĶvkjeTJ1/ܿ ܴk@F~a0vealG a{L+ǏQ!׵U1oU_iw2 |"[;w*ѭ+ T|-6]|GqFag`JaDp뇭C;Md *S >.b_=_j]\82Zx#-sKt g:ØJ3L^<4Gŗ$dCVFO,`ullɺ[_AȞ х˕X1$s) jˆUڡQ}jN{4 3ۤ[[BV 0t̔I$tBxL|0j_R1J4E Y$NMɫs xk-Fc}Ed H!}QV| Lp/F4^(;&z?hl[a+2GGZ!Ks3` ꍆDWR1pl͞ρZ-QoԜtY wϔ搧+vZ O~w~X250HfS, ֘h'@%I {AVOA% 5-JeFKW!|Wk[=XczUkgE®XAh(ABɃǿW!|.$C Ob3͑yJp?,sj^7TdW֯R\"E-֨cj嫂rQcȕ-Ւ)qs,ʭ:AsVmL1QiJ,IqCcJuKn.D,y⵰49a$ PiFG]Z;L[fis#W uH&DMO< j>m}7I8wAYWPinPq !ϯ@dW&Jnɳ)|-N QBdk. 5+Y3 !sk!K}> >Df;sn*wdc9V3C= tvV]K q!'Z"s!IZ$W?ߊ[ f9MU,2l Nju f`"ՐzG҃{BAi=sJ$ͬB3གྷ\(O@ǻ󠠒'c.cSd?i`u~U;V8׫Z{&>2eΗnW"(w{m2 vzc 6[hßi10+x@_LVI\ker @[unT;Q} a oؔapĴ~ިrݛbAZP= lz GªK?#ϕiucYs&@ 1"[9&i)g1IhjZY~i=ؖcmx%VS#\){^\S?gL ھeܥz6oŋC;DUo7j]06FIj N%| ^@BHZQ@K { +#Nc%] :ߣ:L8r֓l^G_7SF~CO2g!_а>9R+"T$~<wAd1 AZeOZs|JuM#G])hvL*%%wB]_0C-Ox1Ul<Pi҅ۆyZ]-_16g)1~iW۵;`1~oni:BF0F ,_3s2LYveKy$8 x[E=US"Fn?WOvip}b{2S{pdGX1z,Xj۬D|^duK̥SԆ+7\tgM^=;qvb'\kZj:g@L FzV>̯>v }EmmI[b.e2Б =?Aokܲ$vHg1 -_`}?L A?d.t/%Ux 9kQ÷1hL{ >CX w mcxnf*NF}Dz &CAU7l,da2Q(Z|WhM<3ȦjO*vfaOЫ韪Q}Pw;vxDvSҔGL^h8K$1jO a]gYBg&#%:t{L++"@ 'yeB,4`L>Vӄv.hfb7_2lfh7.uGY Bf5lӮN[sJyFJ*11h@d݅12&u& 無 δ'Oa徘ڂ Kp'P".rO^MOa{ \D}Vrfk=?-ͻf4o!TbNbx;qۤ3ͽȜ, _KP:& ci,D@Mw%IY R+| F} ;gfo޵:oែ;Ykv66SWzy%Ӿa76!PI4/ N6([Ĉ7sq=S?_K"S FݹCܨ&({Ru L489lo> )uaA#*^fXir·mQ6URQza}7v?fjFz"Jϲx0-; һ 17 n1FMr~ \mKeB _Hd (N)Yr[Ν?WKѠeRgߚ1)˻Tr_6fqjWUl1^ȳLf~xDwyERVU?-A&}}Ø_G {vKO2j]K}$R^/vz0mJ`^=gpLLQzJѽ3 qDk|",+A߸$nF̣WqxM#l-bXIyĔgM`|5^!9hYX$IVqi- P&oW>^uLr'A^M{(g'ű @˿`A6skڶx5t%`<0ߧI&'`ܒ<+5 U1ؘ$Ғ6sc JjV(,/:$Nӵcw2H$dɚowˈ-,_{æxÈ;.s5']';|#+PoRmptY!Wi\Z;&Xee#4+xmfm'g0dX˶G*mʨ:7ApKń+ZRX/tgV8GaIv: ?2#.ߍCXw(oYkm\iEzkSߠ{fb'#_.4P<<Ԋzڇl^s> ]01v-Hy7Nn^"P&kXTn|Vp40}O'PN##uyM~D+W\}⭤?322o" qB^FGeo`Q2&&%m/:9bRwJYtZlS4QGt1,LIXȌ2+e3){yV`!E ^~d$:>MW4v.@/KBk:VU>ݽqSD,փBNgRX ~cs  sJwlՖ/hٹ|nz?TVw𧄮U@oS >G-?P[ֈC4Cﰰ6] !G37A5ݥv/"Eyn~DОӨ!Jb'T p=hU'`)^nuC;u jFXᠴt =| |]^M8K j­8a=|~QA/5AU]pY8;qf[tm:i3M#P]kuj'{ZU3I>rV׿J4 퀤܌ȫFYFSsDQ6 P&kd2V` ] s%f %3(z \JFܧ_.ucW, '´^Ԑ$L6CR[jYB=XoƓ.q+PHG@SYy\ ~QnuTZu1T!<'|bdqfћ'6cRbwvj YƶNU^Z:Qyڨ zq3(LYwn:A7Sw]9ng⪇{ #ըK&߿Ndobi/YcR#E;**ը; Ɵo"ڔ(vՒ-pB9y7.2IV9c{[چH@5օ^(G#PDCI[#*Zcd*CMHXln5U7T&o+(8E=ԏ2J_Q?}L(؀IAHK6O8-RLP'RAA MI; =9^3esYt>Anb+7 襫Em!^ kCׯH7nQz#Be n%lL^ ݪCWtV! S3#Jz]rdL^>}ar#FbJ/󱢒ԔA'^3Ք`f3s2scVmuaQ m|\;5(^: v<Ÿa9um܎1`<nDa6uQү>`Q֠d$ l(%tl1?lӾ|mRIT<-`%g W1A_ѼF/2-]E /V

wrYySDzU]TUR9xV~Dv xTzo`2aKu,J}~eAn_Sx3fNPKMQ̐eQU-jk0N=LϞ5#8-_/< < `\&W~ 9exo-=>޼[Ҡ;,ިEI4`"Sh%(\ .9|nZDAns!&h2*H>1a/Vi] Rē'_wBG{tڂ4xU@萶&JǓo1!I|#w[g~ud3l?`5lgslr #+uX#0_.N@HL׽A3l8܃Ndf1VN31wu$XL>Q;Gh+è J0dSi{̀>o0ic]=>Qy qS&[kR>pA}%ۿ'➚5|F#7'nq 삇 gjW6.2MC &3iK1]}cB@#~)'4Z3MkYFo9b_7f/Wea!Q/|WI4 _oVȷ˞QQX﹚I/]8IZfZI8-wLԉH剈[,a gEs:4'`.4 ^ǽ?|F|X H+ fB:[ݱt$6<֩/CX5451)9|%x oHEg-3-vr3 t/@%=J' ?;5QpՎmUހG'tМrYOew̥]7EȤe^CJm0-ΎB 7vG|mXϖ v8B)3QCL&–u㽠XoETRAvX]eb%!#Rcq򎛽(^[?}(:RQuG&&+{un}J`}(XLJt# `zqc)X7IvyQn"f:\imP4eJޔ,1 @Z)~9mue|Ԕ: ≪<R6pP?FRå)*5 r 8 %x{@Td q }`In%.ܐ/3wGЌ)T+L;%<$.V`3&#l56[i%-ZK91U9..>x'}H(!p.[3l~C{81:SN5a景oq9AߏP8s ԥ+)RKo;LJ3lᛯ[v^=gr<0(f޸HF jjȸ1h'|2?fZ/2;kv$fd<) `2pcnKAPQSF`TM3+wHl)/ItZk`)}lp^;S&"Ho7*Ӗ%!e`"5~Zz %xw!!Jn'cθ](N ~9^zW]Br*.n p9x,Mf0 t N!]*dέ`(6:?zYzCxC$$X+=5dڍ ~7,&' :ϐEno/97#9x`fLq69~i-OQ o=1+\ 0y{+'exɐ_v(9FW1OxjRСpкaU3>8BeDa͂La0 Pr-iB@vE]7o#sϊ HKAn:6xR}5\irؠ{8i߃M؍#| RH [wn_6t9R= + =A+.4K'/{5u0ڳx1>’y؉[$=  SeI-lp{ѓtX<o}ʢ&vvZYay$*MwOSБklovϰFzlt@qlۓ!j˕#x{Y;LcC6_o=b)f2RbVgP8yQD*`Ds磈"$TWѧ04(@oɝVu t]{;tjxZbdpR#Up;6n7xe 0g! [esy!)ܯ@_p=VW xxo(1[tA}Pk. -7erб\,0Ѡ!k- &5W.ttViq[@8AK'/󼊮1ntx/\7&okh|3 F+/!Rɭ\+Cz3iSOfEN"&;Rh su6Y.st&ܤ۱JaZcDJQIHK JJD3˞ F':ġKÝI(5z4YׯOaœ<4:Ȼ"G6]6u,*v-%eֱ4 M&ԋ܏)TL=$ZC̟s~ :ThPXOu8&_x.rr" F <\@S elum9xMLxQ AEPccu( yo^2 2$d;x׬&jĹOkrJI) $[n̦z;+˦~Wx>Z~6'QV@NIܗ*5A|Woalqp6@Vz&dY33@1 Yɐ~!~ .bك}D[&;#.*e:tVfPQ nb)麟^;ɹVx[* ļE =\I;*3@*GU) | G%䆨;O%b[ܻr9>o+ڈv$]g _ej1OGKFybvY<-gi桻P[K)"@lt#7G\cgRn b[dR>`&[DH#Hk'zs:ϊbW c2hD̽y%.wY#DVo]])qdUp[R8֍pNmJhu MHDiSo"oS QWsto{DB?A"BniA7k.)g~$ҳK24G3@%p 'NSǺ, &>z7QŜdNԢ,̔ Vڿy7%XEQ\;=:x!0OWED-?l> |yT]P/*~H<4*IcrptEIUA@`lks'$F (}{Q6cy/\볲2T~rrb _}`k[ Xg҉5ſjF)\ ZMw"럌%a9JI#qTPUnM}Pɋ%A6Yr ߽׃6yW- |$6Wإ+["l(Ԃ&M$:_IWXR (#Uʒ;֗ftKҡE+>\䲝(8n$f͠PMc變Dl3GEvLWLd))rxMijRK0QYfu @ 3c:PJdVdxxm'Il<߼&-uC$Nw ;je΀woXKK8C}kژ֝wX]1E4Y 1ڲ t$xÔzqݹĀ 4]^nF*P!t)tQ\.x,MmOT2O1i"`cƞ r %a3q(b70ߤ"%(Pi{a$Uc.ު e !@ ܷ8m7@gj5$?I-7u]?̮"6FQY>=@"x0wP) (6>C:Li4GT$mi1}MO{! a D;|W#ӀXX9CBnimO.?;Npuk mF{wxOF> pTdZ4٬ݏ$F䎱>j\u^7&G#f= n-baL> '\NL|S:'r&y 䢑 =ɖ0QQ== `#]ϓ; p#n%+a%1thZ.Ru-ƅM C4L@Y+"~I @3z>h2sHBWWC$1%t`/}L< eNaOxE93TqC$SJ=X^[q V"Ot+٣M͆OMdj]0.bn!bn{o\uqUXywZb }g4" ʅJ`ZwbMk`^c8A0zTLo,jbl%vŮon10mywأi$5(Bk*5NRw<)aMAeS* ^cY?.i?gTSMC@ٯ.=y[(l s§ƴs,~ܰK]".'{] /6UǵdU&/ 'dK[M4&??J,큛l2IX=<@1GDBӂLh'Mȉ"fwghC '$g3QΉ e3ge'F!uj6xYǜ~qmyr_8EB`/O'Բh} 8w 8_1wiц {B@#ɾgQow\#sV):2e4OR[z354]l-@تmZu\s9g'6h.o]Xzبv4rhBWfobx `Ķ`5f1)~g5՟ŕ=򫢞.1N{8-0(`3 ;˴9;Ú.U^7޽Tm/rV(.4>x'F?\_tr{D  w zy_1:0,BJvCͩmgaBx>H, NB#rTJ}z]N<hg # *=2Z?J)/S43nF]0*@)xMZa:xr}OZ:Lv*HGyiAN>Hbb_{1>+g@aqY'e;yXh]t@'ztRfpwOJQ~#Csh0}u{v/~- sD^08"byM' ӯ'gjC?- ϭgưЅ'B e^ }d0~ѫȢV-d$a 3NdSODQttZBzfHmc_ߑƪOy֖`in9,G)lZQmpL~8hi{HÂSmΘi$ ,C}IeNs.vzlvE#ZOcGNh* Fdoix_乑'[3>-ԼQhv@xÂL,:2M(^'v5]ɏv^+;.kB:=[)No,w ܂C|:DK4KA\#T\gՃrhߝpӵ9a >q`[ZLj9+1'[Qsf@} &FO1hNH4Y$sg32WO*(Q_^SW,Y⋅$o)RY%H)gqF|WCV5]BȆAUY|gvrU~ro-Jx>1'[Ev>ro}"AzG GЦrt_{zF!^C4QhQgM7N(HmIb$/q !3>qRc1 Fy{du!\*1+ule^˼͘C AE=fo2Ðd9fqmc#$8Y9Zb|_+ JLyTS[p㎫ aiO:{9薚rYל6k FOntpROV[9c#d6(mV PŠe`PT>*!N``v~a8;p*4΋E+xr"C Q jѣg75U& Zyx+{$$1{d48~ m^Q'' #Y8 ZWDXػ!^Te#&ߦhIu0*lHS8g>d8mOG#NꅋF _f]p l:h^%"}r_,ea`5zWۍ"k~)W3ca PlɆ >4YB!c2XDZ*&H-rQT( Zg׺rDiB1x}Tޥ:˙%G ,l6=) WPMG`/y;t`*gy[Jqvv[1 hh *#]*8ZJGJIHv=Av+Z#% H lk{Yƃ:e&i7AB="]뵺RM8V xZv;B6zvV1Aa ]o":wS!/A׻g* jTCوw'Ҽ&ScuH '}< &ϋh_>IpȷonSM]BڈyjZhiM#2YQL&yBϱyY*TŻ[(3|(g/5 #hʮA1RV9F$JkK| 7o3huz\ːi|N11&w#.'r.62 0T/~Rv8Kx*Ir`I"wUZ섬:Ҳ - 9:x߇]TIqBv/w~%yvWũ"ﶁQ1~"XW~[X6Cݑ0)%Var@,J `ωڕ5Sf3GvﭰkeprL6Ay3nnm}"Im(Fl—A FR`6ODhӧ%Qj21T\~<8g.nM< YC_*-ɒp(1mT@)ϺOdJO/u%¸_U2D7dYaŊG5_[/5&N{}͒J7HIT8r+>diY O퇀 A#|z.a%i6OXY]/)*πY \`q0r co0o^$kXDcІCB\5ߛ4+)GSq ͷ3DžZ[x$7(芚3B&ejT> HGl 4٬@qTLY=jZkL2Mkh[*ravFZݬ+NRng늛71, 3] >*ߞzϜМJ)!uҲx܋_ an#/"RT]T|yg{F ڍu2r*M6٦ٸiU6x0A|CeܕX#V`N-,ݩXpj S+DHO&$$yMgsk" /!un!y,xr&y7i0 H T,K Jzzd `xld׵˖OXeGH1v!S_ J3$ڡ!+ p#dzL@g3#V*ĥT^'|~ZS;#2ᒌ8D%l T|ʢhK~S2TcViF^cBn`o(ӑ_T{9I݋gYZ27321ea5ca998c1689c67fec96875a5b602eff85325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f5698f06ee63f166721e9944bedbfd33d1399bab47f1