SQLite format 3@ .;  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  P P5tD\< ]S Saturation_Framework:threads=4elapsed=18.617cpu=58.952gc=1.9047zXZִF! ]ŗXiɟH!n?珫mKuyMNyϕ\Cx[dHRhv0s=]zذʘ y(3VHR :9,+C uDXOHP}Sj#djړ+FF f^mCʹo,oǔ)rG S;U9.SE`0a:Ҥ?< hkD䁑k!m%g0fBC+PΗ8[6 'v˵LTb'mgg@ߒ7[x݇};䬜Uf"pmXz+eXd?\ap~> +V rSDzחTQvGb/5 G%iKixUq 5 Saturation_Framework  {ܺ Kjh6?*[lc*E:LЎSVZ7e8@}yĽ@CJxGnCQB^e$o jN:UT9Y:Fae%;oQ<`f{ؖc X=u5y. Xay -[J!sqctTWb.b ?=Ұdm͇v!j^L8_ӬF]!d )mOca:*ʄRLS]3P,^ť;2}EPeFU?4.RJ0Tw ^բdJ8IpoX֐-\ы=)Tȓ߹yz ;v+X`\gD=jU/"T%"=mXf 𶍘w*WU7XwIJ%qd bm9=_sm)s2XB=? (ĩ쐳d `T1OBa` zk*Fn0N h=f^-;Kʖ( oٻSZ7xLq0=?iP%Sܸ_%A)*;=ڡǙpB| D1"ljtflC{9i%y:X#mѥ+?46@_4K,lO++ RRrkr~ujWj۩ܗx60y[4{ܝ O8K9jr)d6}ЀnU# v)@ăDlr2TTmdGzD8U1#$ aG1c,"OW7 ֆ9HoHNV}oPGhcvmٚn\mG[?֊t;K8 !`vݓ+uUP,?gWadx)ԂAS}Xݱ3[ҕHp*P)׬qvޫ 3VH0h=W{rKQZN4-"fLױpD7&f_1]Kߟ}v H1wry( x;bDXCNK3m%%J攧i;G3S32E/)Cc2zQ@_ ˦\I@kW{: }U$֘(*[x3ل"baKP3,]ڎ29O I^a {ZM)*Bߐ; ~!Y['; XaW4㲓u/WSJ+lԂn_H w%d2 U2 KdҐN)vrL k] V"|čVv{(^Xu[TbZ24>Q"MTf` 4dէ23D'pGSDyDIghBαΟa,T8`5\6v';C uLٻ`h˞;O_iI4A:󅫋~KjNFX NB_1߀.Q`$>5n=-@]3%:eOvnVef,=Qj!1`Q|}aI5;(Ѝ3>(Fɭ_j'K!Wר;*!ZA䌷,fN8[ȑm+sɟdBpan_6!'q?)t)w4i7}=3F®ElʋHt Ia%9QeyrEW=>SqбS_w`(ܚ2A#yCCf}72!ɻ?b+H8RƳeXHP_Y9z_SƆ7tw wT:[Yo z5lPP(_F,½1SRR l攳^[΢ oQd j=YY?cͥle"q66Jf-y_5˥`ɕ"bNG~RxÃ7$*i>oO?n^}XР5utX5LIWvdݮR4FH4뤱;>!}4ӦGψX@n엇-#Y&".q9N!J$)p5 NoOJ(2~ڰ%e?V;L*N6;+Ԍb2GkKaz.W&]=3 0DzD k୽M$ٷvՅPMz0./%-||\:;J7"kaNL| IB~ŨEY-H)7s._Qy|8 &0T׫"L9)npEa5GD?Nݺ]nRYs/³9f3oN)q$}V H:5ؙ9C0s?Ӈ|מ(R[{  3ጅ;Pv>Nk]TK %y1Sܓ~q{o谇ĿWm| >O"#W5,2rYnkl\O<¹f Ԕ)sğ_IJ Ab-^'%ׁpmcJZ?lCv1~.6/  a< :G<҅zkU4*,d{-eIGnA`mԆ t̀+-:ꉷJPDMO %% s-Q#!5[aL*vm.{6 HV H4G! M]"=amCEFk[@/N𱂓=EyU&~SAxY 7!7&.y,öqv]H2u68E5 (r\CM$N!  D6PfU`}rTq1;)n], LԖ̃SQnUq$k=Mjm\3"Y z8P@dHF_ P_OAw4~9pջARzt2;x!^L^yJ x@aٌ 3p~Yʆf x>_mx?R # !ս,SZ4V@Rˍx x+ %V/^ qp𢠵S.d)^֘+@>,id ׌5O%|KfPMLr,sK TmT\ 24V1y,uNr5Rc 8$& ʶ3IFe< aqp'OV2T!Cj3+)X=8Lći6Rqi.rɽcmM">QL^l7"z ImE5JqTCab.)6矰|ۏ?^ʤg*\eNv#Yf,xKڊjj^6s f*1s\<eWG#PSJFqVK'My;O5mXj*yyj;!&Iuf~-:䦯lA[cvm~ UgRd s4j7/#d\Ki.%X| A5FS Gf*/N^:I= =N'e$w2mlbU;|"oSU=~-JkwzZR$ &.eC]U@j#1 \er7q/ʆ|Sb;# [V'U]zXye5r?:h#c )͑_Umm}7⻭ؤnc(~ʧ7TO$$@6O=x<2t2u[c@!m|E^nuwu+ο(ڿlPoNj́@EˤxbSSyomٍE1 3 ;޳[䊦HEIu,Zu|&Ȩ'Ϙ"-XLQ"zo^./ѹJq_56^1R,sxSE?;GNtRsR[JIKM!zm2d;׈)+C}Aj ogcoC>y z6YJ0Bo729nɒ ǜD XʂG8u^DY}2p1Sg`OQt"2E"E̖mj}h .am/EBMZ[z0_D+D1i\[.%dM?}S3մ,ftQ6?*WUjweJ䪕ZXhE.M#1eؤ4t?ܦ&]y]x,M@WȾT{ `~}R$uAӤM{+dBٕȏKeZ0i ;= M'ҩmE,I(Nz.0A6z 6C %bܓ8mր.XqgMce"zmG0e4Z_swsX=7Rʻrҩ8FEdz@F`H&3DLAʗ##kw<1&2 WWb% m@$; pٍ YG@sΗFz-Kilhn!*Y(!sS Jw/%3hDSJ}D{|6o;^<A;"yݔXw/ /2s MEיr]Gi g_]xc2gb$MqI6ls'J2IPiNy | 8 ^LiȎ"d,.p/# x2 @ ˚ ٭N3Q2/|P$cSOn! (\(# $7`<K}Bק=6^ւgdf 4 jSQ<<0b&Q.Viu>Gs0X]0HEsQ8Aq=C3 _ݨ@,at[Ԍb4Eф&E$<eſI0ss J;*mXliqGf98a3,*k}" CK=!Dh1M ~hۭn+ߛ5T`XRW"r.?45K3b?R _/1X0jIêPslhxGT̐ovRQ)7M ^J*k] (axpQmt^ J{GƧ>`Gګf7 ez'\42~tpe.>)g*G`c7nk&%i0;rx,c~OGo%0P^>$c,2 e<;gNHC8&cf-63QStU9I鮡L1u(Xg6 .$Œߜa$nJ~q:9*=NqFmň]$9C&X&~1ptz[s|pT'oq%ra=tзG[G_/c_R]#ɻ gIPa /u3,hrw̳qHXEJ%$v(v[]T13'8r$?9 KT~= xrm`-rSP@޿AMN Ӂ_nc  T&ͭ56f穝tM^@[4g 9cu-Qrn* {AH7PHZ*!+_AYg0)J@}j_>Up@S*T(З(% h5h@9,r,H餥JS縹1Rr ~G{HJ+"h\\]s'D;&QsPZ1 ,M^ݴsYc|}.>*wftbo5ĦkN7^Elʝyȱ@v5,@\SŶ6BӧǶNEB8=p6o2-Lxr|:_*p :E] ߉n t6M5:l䀖j뀫!̒ CKJ'YKa9p 7Bj5cnƢx~#c"=V̸ؚ8aWd(}Ӻ'$3=#0Xؗ-sc95}ɸK8ћOI!}n nܞV̵FrBMH5#kM} .v":9a\ 9"\?u'F62x˼w0m{8`D96 Z>r:H*: i小P-H\@qeށU4 W 1w¨Tդ;çc̲T^3al3b׫OTJKt൛xxl6{B07&v>5NFb%`4˗.cF=_j6-( TV CLi)*뿝,g|``x쀀/ap([3sݧbs6dMwܜVN`DETdjѱ]57{#->%nuJ`K%}l, ѐC2YKS}ښKَn|MTy==*?QXM֌elU߃~g$3#Wc+O(gb0 (UgsC7DQ~^3+wDt fZ7~w*@N஼}>2ZmjNVxf0];7eU )MxR0XU|Mtk|q=98Zs@u E׎~]]LtYnO\cUWP uJiNi*aǍIcLrC-dž;BՐM!u="6v)3lJ}kL"1(ϧ᎛KjD>ﴵ'u2*o'Զ'%/V&QjqM?U;]СBV"|$(zr>j# u|~,4W \4K "{/3 uHaa3=Yawkq8v.`) L;#$N_wo(K҆Sq5w#-8sp ?%Bh,lc(kUl"#FH"n7vj/['?.G7)'Zq^!WHm@$B4:~CA5 só)1蘩nϛ?y2@kg6_01?| xOJ|OطexYuW1MXs Z9KkVxA 4#hVD#$ OL+c;N[7M~ѺvIQf,0^Fgϳz+7P\Aݕd77J9}1|چUr>׎rU}tQM[}"xti)y`{ʚQeԫՁPm.nxY.w*;s}QXsă~ q C6`vf.|&R>G@ƨ +>}3դsB&|. .g3>LoŨlI3Ps1*,$;sv+9y2(n=ɪµ{]~QoV@q)G imW7uh{k=Z6.b']TN < CM_uЈ}Ã$Sk=~4w~ϕ*%]"Cl͋""lJUa/XIz"jn ibs5)+j{#DOA6$~L[HؖfaWt[ {C90~i,Xv 9b+Bw/ _@S /7BVwjҩRh1Clx)Sw__EBcdHJ“rM-~+R n5wT:Ym@RTґsW^-WÕ<q!er%b||{kRnjM E>zkAQ׆|>~vô5iS4r[ˁ(|uO[e-"Vw[͕n31\B z6B u`oK_ߖ[Gq7 :q$d@CHԡ3.x7 "{T b;"䡻4!Bp;Ox7$ՠN+)1(ÎLSOY稊̛9> :~W599pS6oF!<|mjxRf3,vKo!7HfR%eFCBp_09>s5n^1FLpmR뎂2~orCi~okLD *7_]ՈM"R!EoTzJuc7ψIfA*S)$}]txUV~V Ua,=Ҋ֧ ,,7#$'8#{X9AfڂiENm{nd1$ObFmg Чլc("OȀ']ť#VD;L ePub}[`&%l.jYd Cgf"o)HW:YjW)#kدMqODt 4.dl(ǖ:'O8ۘ)x"Tm.cd;5} C9BfMq^/q_mmRO>]xjwj#t8J]éC鿣P\ϭӾM;w @;( ,4Lʇx dƹ|Q*!D' p~q.ah.9*&BO^pu415ߢ #^ E`O 4YL7>e+5T 7? 0 Fi;u%kl;NvBW g7w7 NB]Sܴr>mgrof}7 `b]c4pg^u_+o}/">^NL4::'ڢPK@Ŭu`:|2 iȓ^ pR!2IlM3)qƹx!K|oq bw[cwKgk-OOL 2n >A9.0x3^8 ʤr˩)}PC<;M=LA@&LLA[Sj@O$29 $q6v/A^9ݙuxb؞Zw! .#i_-<vdS杫+m64V ppwW|H[ il8f1v{ED`]pZ^,EFB$=Wvi~W^Dhypb푫[x3hE ԥ{-DZ5NNB{ [JA[HNaaTUL< 'roBMo+t ?J>2avk~qMЄ QvKh|s&o`xM\#Rl#*axk'>QTH$ep`18^|ֈ+iW%vǹ_HIJ>! \;v{@N!\?g0ݮv-A$"4q7E:[g(w83 (vq (?XgEBi.iV/ͳ3`m\o|zYZxFĐ~6);![ky(Zo4S {)"2 3wV]JMŒf|Z,۪@ߦ9ȴ){"v4qިrbJ۷K곐|LCvVr| G6܄u;njD2 6Gen[pN e\3ezKwλgT7#A|šWF:# = q1o@1cTz<~@ߤ_Oޤ`izJ yG|Yܢgڱ[1H&&Dte<7781_M\A_|y`oJ!ʑGnj*:)>-N|}m[]Is̆ JBٵY-~/QX{\FzydL4NvNB/$S3ur 'p]R(x-,w n*rOFp(MW r 0Xxf^!1GFK^]*Ke|ΏenYvR(iZ㏈rH & saO(6ٙ' oK\^fE\k7pVc[NU(F'"bo8 * S$V\a|V(d>UqqS9.꠱^{ ׷u)NH?uH3JKduc谻8/e)Gct^pN%O×ul)ʗvJj2 -L\T P&G>Bw?H3>X76v>=MYpO=Q #B^rq=IػqI^޿dFu*Y[?8y HY%Xnn"XګYO3!{a{ ﶎ c;@WGIF8~(/Exn/rF7{"@ӣK!d1 <`'\֬lk uJSR`g 5W-k>5oo9叙/G3W!EBڟ$|iXx"!NSG94%ϼ_pYrSd,ɡ|+ \_g6BwRc א*mNe 6I/E|5 -VߕC.{oF1ǝ[cƩ>$amR;wƴkߓ(aIUDĠB4])*})E)Βj+s֕ mZGlh5tLB͉A 3Moo^?Xo@[xS`N v#`4&ċn **BJc)ZܛP9*"jV>GxH&$_d[$Gu/ 퇷Ctc.ĎF+t֕>>@r9I,?0iQz*j~hzJu(4/>ಯi)~cC0:ۚ|RPjF6`JB'0zu?)BkarY[]WzPU=q a6B$Tf#ш{~9 XR~hOmM9V 1򓥼54/IM,>η*za-u&A)ULB>µbh$kj-6K$ڌNJ7J#x 錰W +!d;jH}㏒zNVmsAqUFEf hKZoz?3}w7hY Gk} oFt5j 6G?`VR$)Ye,<Q=Z9'60h9\Y'vVRDET~FmG 60{b5 3S٦wJj~z#j Г<ŝkRM(V1}a:WMݘ|DH|84ƨ*ѶRɩ:A/AaTQZֺ}ّ͉۫jN#vԱx7++dg#A#\\=rHmIR(3U'TPdOjd횀#fN D_*8-o4BhgSBu]KUZ 1i%tUT:Sٶq61gY ۺా؊H ۋ!Y~um:ڈshN@kDn6k hzV}nեou67LmT aj\>0Ŕyˡfp~C_\,LBv ZgliKل #1C[ ^T;UX}b7((k}HN?RlMQ,"?T,t+[#^O{yセX;T@ Ytv=EnE#i!^bɼ)Y.(srLcGSj?l?hz% bN׀HX>}8 H^B&H5,oP)뾲m)`/&9#؃PQG}/C%{b&DÅ໘ºu|N$vdnjVDQAnړעzĹ@;c~O'\%6Tff9+K6<< {7^>9 Ӹs-LY:ˈtbtrs*0͛ZQK(;:s{PkN't] cOp `A|HaR @bzVվ$KXw  \{- X3׋Gk/zk-y&!Z~u,PB:h7`6IdT|*x E.t fj+xF40 t˿X챌:{8Gh+B'=n+*KM\55Sc$B:. hq1Uv(7)ЅO[ cpK͖3?L$+x mؚRCm;"_y`v>0]hCgS۶mNZsKc(o//$pY$D̳`H щNBVOABȘ - kjw*mϧ[T߃jO98'`DP}R4c-,*9F/yjQ\e[}w!y5stc D8M 0u()1\N!ŴY( Z@gf@(/uHku {ub~f$o:Ъ.IzdHBE|e.Yx1ViV4&o4,.^]Wjk1D=ԆȒ~uo!D3WV 'QoUPJ_5'aJ%MCS aY qi90އynH=9dRb ,]R@~z4[֢]xz9(h+| K^ 1H[ ͽ} vj9w,c9ޡ%R$SgÂCYqцeOQOKƸ7n%n9W97/; ŝkدI*ZLIr<}#k3=7ݹ07L|Z0 ZMe`Ʉ)lQo$?Ԥ'!TX]h8Q6 !G Ŕ{gǶOH›iaѭ4i;`bb%e"IJdsTclސN6JH,1sVD1IϛYvZ)!GE*PL]kjxkYQL "AK_M *d)ֵD%V\LERWt,4σ2}тQD [b"U_<Χ,,h<#` $7 ORڸ}<QHlk9*c !G]lZUoNcU-B!H+Z$ 1Fέ%VԿ⯦!S!HFwykW*>I#F;ݐיUӸkYi+!Um9ȄO(c6?fgk|MτPbYj /&Ǯ(ӫ]ff5GENI 5o.v6 C"Ϟ|Giow XyTm#I:|@a'W!]xSAhwTn[Xet+X_Yv7{nme7/ 狒6ạz;h Zޥ@WgEU?߸}ɇq%t#?b6 X* '7)𧪊ŝdG?(h@#*ɷYŔWgv #[\9"q"+/ 5l'!T#a 0y!&B>2?FQxIɂA-@dt ]=E+75`cT=8 2tSJjJB_ł ̠wt˙  kL{>otR[ᮮp8,,,]q񞚥.f@ ul{VvA34JR|0&$ڌYAaP8-n-(7"QO RAP_47(hn"@dک@W(N[Z4?JthECo+\lOBGҮOG@1Џtxx)Z~鈱fdoU dҏb6sїM8J`.rQ _mQx-,%X nk!Pi-1;>9x2@=DJSUQO}b0$O|Ίʽ7. |axܾi[mUU7F-4DovlVv`bz<)e L{(q|  _ B\U1΀rG 5Ԝ'~!3?@=_гr^MbAZpsݸ2^J1/ x ǖ eR"u`lR16 opH`䠵6FɩC``WZ+/*A}|'iU/>t؄e#1,S@ tIwpKH\Ǣ? 8 #B)ڂ *ܮ|c>jS%t8Cl:6Bު;hnl]'_fk~ˆaA)Pn AkrEiqfGpEQv:F% WeHSH@>)ŭLśh=$&_u&-[x*+#;TOa\tiZCcF:&f2vDC.gC],3ݶ-bZ=r؅8zWd#Fvo&KC9L%nVr'UVړl#tL 1 is:,* KF),[:L~x? M%F/<{R>@}a!A- s;fA=j!Pn++o8rɂ, 7P(z=X,,z$GKt>iIyh32Ē}׍Uə 0^>-L6$ ˥^pR c I)[g?^4NAJ d0\U7lQZ3@d\1>Eb8LX nƽđOԿ^tUJ3N KtR byJ!L/?%z; tK@f+G|ሮA@ 3t Z>'6|8C_aДWI71uFǬ `57:.,W[w"2ؾ27Z}lp kQ&gaen[K1Lig~}xX&!Θd}j$j7~ Ϥ^>#R)9ɞ9W[%|c!d"9;;[շ dcF>,O*x T'߅.$17:fܟ|[a嘆и<ҩ9LX6N|9%c&w)|O yجgȪ.-NO1'!]]fAb5}4gQ ˅':6SI_&2Ւ7i4vs NVW74G`V;"AWgɯ\Br%[ʱY?Pʸ vZp!ۮ7f+5CǠsU)d Kʍ-5~qh=krIX]a/1SODM_W:;R;lefu?ԳQ\L ǶuS5[ ꏳg WH6kHWS fnJ@`r5WB'?*cXfHĘY \PwN UʘTR4DǐJOK۠~ԉѼl^j9&yPuSpsWl;dVn13s>3hMj@*7"V}İQnfq爗jo1+~@.JK:/I(sduÞirH_*YG%ڭ_ΊCiYf)^]ËY3NT%zghRVES@_.a2󾧎Um6tP>2rTt$!+03B7P/awTߪAZk$WDe6(MeI,Ew)a0:J{ [RDo~, ô4.r}L-a-Is36B1Eܑ;(ԝR1dpBݟ3r$SܮiR2-]j䣡1\ .,5{汁'yBAsPҬJCM8`kg,eŸ+`z~B61ʖ41!9[]׺gprp +9<}Q)C%DRTb2فG:Iy9F^6`T蟝pjq+Y +԰_,")Tڙ5Z|%SXwqa"H7f͗NR\N.Ԝ*Hpo״Q8nSU@4`A-@5K~.=ω@l~=+xZ&q] $+BX7?TqX<.8pv6R'm 1ȃBWΛ0DZ(UY2^ Q+#jm0&h=T?l\ugbD lqdfV o o0UR.@DlF5>َ",=ZFq5qШmT[Yab WpnI뮎yUz؊o}qk 6l8'^ E[}73Rz .r*I> 7Ay#m6+@ΰ#'脂PMXg'ǷNڋ `y:D).FccvkcWfۨoIcC .kYll爕 |)?I]w%ʚ=^ˈ>c tGZeS"ɻ<<ݔkDLܮ"}Y%N`rWOtub._#4ϐKGL}G02 wE+0x\Hm4}2'Y' bܖ%U%s#(!}{R\NQ0446c#Ů=Ɔ-%b)0甗,:CJ7)k. IL Ǜ\kAQBRSkJW#[R5R^Gca5L ޓ ,d),U6OIej5b}d?S'|6բ,<-) 9x-3xy^aۥa,] TU? Y-E]${r9qp 򞝛^cBk)Emu'A([H\u^ RlɄcH/\hNzk~ÕyLNT2C%|}4ghA .MUlWy[u10Vvc;jlEۏ37y&2^q*G M>=2Z|ϴ՝p%x?2<94K2/f|o/݉ wq2Lz+!]zDHq,Y'xdd"ڧd7my!-k4s.W )ޕҧԧS9~tKj׏3)ן&B7Ctf%Dkˌ8uϏ@gFYt>ki1ֵ8mfRJ.EA뚳x~z,FzԶO{S+SZ2+ZEٓSQG%`{s'W7%(/"Іw77Â|ѻtTdW^Oiy;=k:GKyn7nr]kɎ)-J%K^(W iĞRao @YrE~IY);>)I/e*QKrNRAxלjbGz}`BwJI&nq&'n)"ċ l(!7|XZ:93Vk1n{ zں>P#1) ̵b`ҝY:lk"~~2\IDh~& ̓ 5he+9Z3P+`A/M'}}~<:aB;~JrXI,J',d‚뻩+IwԵDowFA6s {|XbBT%qrr~_8ܜw6,XD++j(V1X`*`sZi7sɣ,iI1Cu4b&H>ے0I8 RȥB".B$CW@ 7V NO-[fB|I7e&7&ڪ%s"k3I mC+|-j[(2S)[=h@ tWR5T9vB]tlVm+KR}? 5JB@CMI @$".4&v~5* WD;74R3#w"t: oϙ;ujMJ1}6 ba%c = ~+5ꫛ+-[ax)m2SX1AoUMuJaP˜XOy_FM>*7v]fO_`8?bb^7bB __Lj󢤕{[?"ThNє;5V#1@yMS7rymtr>8,-Vo`\BPPe϶(!J{D+;ѡI9܀`WiXH^#&uؙ@AOPx- _MLc] #iuܓlC8 bUY R8!Rd<|uRj 9mz=k+ vkw t "(lNvR۫;/b5k%J}7CkSB2v3{_PGH H%;h+QٔɈ9_nŰ`0t\qRS c<{d(0/l'^TRa?D{}v[YHʪ$Xp,"/e 4U:424LfpZZ&{عz =IzAuOZYukpl-JBm: [h'ѡa-Zy4bE. tOHKJY5Kۑ0W>[F2ǖo*d[[\M5B#n/[yh.T7X ƍpiYG@֤;w1| ۹qul*Stoi^k7b|I ])uٴUB4+q/=<>v>xJm+}-#Oꆒʂ4Oo^s!6#1IZ79͹4+lw+ M=fF2= M΁@٢j}Mo‘-@[IJJ!Y֎Y'H4Y]\RMpP)Ɲzݦ&iaʳ2Q+v|\gQJRaegdaE?ZiBZcS[bfmd0fѼ8/2l^rjT޹]_am-Bᡂ9JoA V7yZI&݉TIj =]cT.U|qZqQ)R@2MDW7:|O2Qy׶z`A G?>m %\`2Hq'ݺ<[]:'gר^ $-!75 sTxλq{\KYbA~Na"L%zMRPU5WE]|HnjvFկ.bu)y}M&1~§8|7ŨW#I8 Zv8>A־A.4T}CX|:[]NNfZ?N(-AgVh8K:e=)"ml?UDdk, V_6zggm}@CZ̘y{40EdGes=+Ɨ^* t2WKk6ۙn5:_ >Wf;A?tE+2#*K)F#c 5җkp@I* x )*wZKB[sE?u[ w"h.Ltj馃A/+œbA|^2R}gOs⍨^xe.,l K*R)B7L4j~[ĹYLI*] 10͕3Vx$[ص?J8Rc[%v:^䈡dfJNd+<3>Z>F/谳~{LOW =لk'`vL?كGL2YsOxM;ZwLWM XpB|7_%yp)=vڲ(r?{gW5jl^iD>#/?QA!q3W ލf[Oer8!?qjz yK#nTôҍ$V aYtgjoc  "A/6}ku#4ebؙh,Z lC9iMGQ䝓&\;V 5nIcWί!.ʑ/CDv דJwԏGd-P1h rJim<(@Gg 4^?֍Ri? y c[Cȉ1+)A[5R]k)IO6bi/Q Ke^'svOꏏ<4Q.AUl1-us*Ri ~uOs̽fq޳(*.JۢqVZL{ƪ#KJZ"ZU@x>&nbayai[[7{HK{W M9%2oƨbti,Wj3g)RsfÁ/o@dX?PO0=Coca+6V\CͽiۈXv*T^Ԣ"Tqj&!^!zV~+?}f=T7i >D+D9'ؒ qzB'vtНtrenL ~Eh(bMI)6,sin@v :%X6isPHh%6ʯ=xOً:?([co(m7[7ы9>τuk 7(#h%xƽ4` :ȽX[D:E9V&c7xJoXoG%s-9,ջ kPܹ6OW'09/(fmĀ1xS yW\w֧kD AkgBf`&-iتw8'A$BO~Ƨm1dOCTS.T6@C%1 媀-8ɡ$U;Y _SGuwBT3B˪^4}1s2ņL}_mFYg9$*.:qf[:YR s;v,::1Q8(7hc4seJ_ 3٬fߨFK #$F`CvdF|@FDäȼnT¨{-~a4 :2 +Glv9ˋڳLxݠ쩯h*O#6$mowwDWb$P5Kvw>MlX1OzA]+`R][oz xKĹ⒙u]qzzTutB{H%|Ps "rcZ-UBSxT?>k:~5aFmKp6A E\oV]6e6SvޛSP+q>V=|(͌CaFAI<[$ՠ7B  xәx:{]-29fA d Ǝp:_p8XZa*fÛ:Jlut\$+z 2<7M$ {"HP ! 8xTfM#y90 Z[ŰP=VVmmC]X8 D鯮~~5lD1-g}B q"\ W\>\80q+ɺQ]z`[i @+Vc12?Ў@p8[sjm+ӑAg{{m.͈ORfeuI,ɺPcĿ)lIvoW_i#F+ݨwݢwAvL U?cuD_9r,wQJ#_>J:FMn^p7vNFH^=axb6!OUj6'~4%R`/M LC17 >3fŦ?ESP%9.zخBK'U&vd rGxJagxJ/ ˥1ظ%vsg^:  Bk"1'!Pz1FT**Ot rvKaP'cL{1brƹ\`əR5'98}ܻ_6Zu5~4'1ͯ` 3[h 0ab@\U/¹#1rg0:v) @1UMc~vi(za<3DyR*8ӹL_A* : Tũtz_oh˩4!)P?'ĆNNZ"d"8͋¹Ztz<, Cώ0yB*9aKGү@9 K2؎s=28Ⴙ?2<MG]ZXeyԆ`)ZWTKQ5F{^'ϿO 4(*-ƕcS vhDfr[H 9 [hť om:,U ;}g7ݯQ5fs{% .AH[󔏕w c\C 3!ÈXᗿ~pԀR:7išuܙyk")Y `JL' :> #HJ9&ƴT໊#>)v5ɢD@!<s/9Gֻ'&hiwV-yմaNqTH*=F*#~}k0&E2[XZL_+bjva!j0yC#6fRª$$ ㉵?*mP+ ;򟮿TjCV}5)E"pLrfsgH1]g}%?iܟװvq~,Os &9by/w,x3^UP"x^Ora#;5Kk7&J?չ5L0L=ҝa"@8nx0X -`LefZnȍN=g|[5[@de"OUZfC3y9ns~rHo>w]yXŁ;Ct CxLv+ίZjw"'3%ZVxhYcaT}-cKƽzy7T|o?͚R$Kxg|3\[zY!34!AX"*{B *qgO7Ќuq쬀 P8h.'xC|>y!W0idѷ!⧐T}} Q_Z>IתXn73Jp >`iS+Џ1BШ릎4ء_AxqKa@V!l-bYQ â8؛磡8`8Tަڜi=&DˤF!H u~>ԢxwKڊJZ#cDBULq̑T]&1B\;!MZ*36o_wr* ;ޢqF02pR'4%}"X[eω;le OSuPGWar@4MO"zOi5D߭!Ր:;5Ң"Q<־[b EXf<@bA %!=c84 [b@׼5cr>u%d" PL=K6#r5zWDcigw'=`Xh兹qIX-ۭ5ѣA.[/ˡwUP}WD""/+3}.Ggqi$P":*p\|~ع' и%>Z[?XE`i+ ':G0:B'rѦzGѯlÕɷocLL͒/l1zyF?(em~:t"nyZ_KP(ae5*!"BڎgoCx"ՠ"țWLOױ?Zݍ{zizj-vß) cᢦ+ q?ۗ ¨GE") {hkB?N߆=Nj56ˋ_L` Ne :5"gYZ7zXZִF! e]ŗXiɟ㶵fL4i=J|92ms;ә_t6KNMnK2uO8gcBo=}5 [p0v9pYF T=/;k&h5~ORUW-I1uAcsoOc*82$%X޼06kuKu(ZZ -j/%!7f(ؖӁ~6OM;ib F ZQ d o[Y A#&↿yDk9Q*;ŧxM zޛ;4Y^= xͯO/V \i,Ӳ@2NܱgYZ7zXZִF! s"]ŗXi%L&$J+n)an: (:3Y009Ġ4mkgn7@ud*C끓$&;sf K Dޑ>ї 6ѮX$Io3GsŬ"hڳ'ḽtzG,_nxپpQ3V~.eh7g H"[V:_h!>^̸5o}PD]u=OdpRPvI<ƹAmR lx-7)D4QGbծP.TFŒOf$BiWjlGՠ ĄphwR=Z1!Zh/ YP4!9bo+(h~MtSMP̲m1=ȏ"]`N4SL[̔ok@/&yx=`7-H0>ČWƶ&w Z|cSzQPB4 Ӷ`\1[noNbj n^\O㬤>{7GWfE>4B3?0P$Fp4c躓6IAgYtQ矪`ϟ~Y} J>+6l"Zoa2,#._X2A fvv+Q7.}| h3=,r ֜-BTtn(@E-jC Q(˟ByE_.M5/ĩ=ꄧ:0K㚅 xq[? D) ,chZ=^pݛf_LmEI¢IIT8։A#֎\ұi^ 0ֽNzEzͿwB~ M.Ns BД11 PoUO69_g$rW81[T\aLDxllKz&rĉFHGl%%Z5aqZ!2:)WݼNןnؙUʓ.*hw]Dkݡa:LPhYo ALj d)B0tIm2`Ǽ6m`lg8{n*mCTo,8c.iMΘϖ!1~M6sWЎAF_!`>5HTY|Lz!`y§_,1M2m8~*m~fx=!o[{qd&zd؎(M#HMRK*i%v3_O9fl2={7j2REʙb9˵ͧ-VmAwQNmdl[!9o K5: h%Q"i~E:TKǁ AR2E#ޜ$̩wc/꤮x[/}b\g :##uʋCMK*1e?3q\tͷ#e+nYzs8qi)NPʳj-*5OݳpUɗ)@(FZR(/ h ̖IΓODZLVBsVفvHM~hu޸y6JZڐMa0lE]nCȊb#3S~MQ a/k^& A{Wb [?Tcm4 p?fMh^Ů>;n=p +'-3 JR SUR4{>%t$nmΊ