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 D)$T ]S]Incompleteness:threads=4elapsed=673.079cpu=1556.140gc=15.684factor=2.317zXZִF! "]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0a:hu/XeYec-,Y%(v2=5j1ム:^%Qp'\b}h)$;9/vXK c7zij1׶Kl`$uDAU_[lD"DS`E ?"OjG՗:'%3x+ːC{tvS" Tyk E38#u%]O eH p׆w s)A 2I8 t: {Ǫ6'dep>^Pٯ0 Q`{TBwהh6O4ᡃkbd".-BlYS).>Zmi !PA 1OW60\k x($Rya;~4ojKI{݌c7amt奔?PlKx9w쑈0--pҬCm@yyֿ0:'R<T wǸŋ!j|1ۇQ}|cRy2yO3K1,,u4=1TMTdČ|brD#=7%fzGVR'hW XbAgȥDCD HСP2F?}1eJM"709ubKb!Gp%7d{/WH]gZѫ/2ں1?H:7ѻ];{ڻC"Y=Rx4%)>qYG3+&zRI2,~, >\r<>pѠՑ'XAt=Pi`Nb Y98=7~ l!{jMSZQ̩\^ x%¶)-Dp"-@G=`rv)8UP_$}Uo/$gدз> ҇tfӥ|gBވy#AcE GIν5ka1/q A -Oɺsbςal?p{E>+rUv+yxP$uL0PLcm c/!(јsVo؋['[G.Br{<0ۮHuX& !bLi0w'IkYt޼lnd{|,odq`Z1|r4J K^{1B?u:8aVԲ@bLrDbTF7n ٛlxs鬦4Rv-\Ss^gP|"ǒXCH:u?ƑغBz]KC»"c+o;F3Eh(|vgdF`Ԁ,YB瓡⯙N4eNl3G ) Incompleteness  8%M <+i(l"= ]2fV,*$=aP㑙imol/Z|H[»Ƶ{jrJL!<.G:b>+F>3&.:݂a`m10]1Rgz7'n:>I.M%r|x;4eq2Ui=i4C^IRf ފX[GzFԮ޲8}_ (&K)Uhjn摊FO70&=m>N.ٯuN׮+1nb+æ]MP. Rf gcLS)BA@-k'.Hr9 ]S ͩ$~i{4:=KGVMPYҒi1(gC b>=0l\J'Wt?S7_<1ܞ^ (KK HCJ/hai@;:^c ͘ /Q)CYc/3ѓ>%PbVGŽ#*Y,d5 "1T`z:&" gTF"{bPή*^i_8hL4j>.[k =L{* a <?è*rFJ[ 6%WvF'l;\MC7%BwY_1~K")$ XفEeZmDRNBpCP֪3:K;bzWqVU.Zg囹cWW G]; J%4;{ַo/Ӣ׾ľ0sup|aR"YMm8綐dߠcĩ`}J*~x]O Z$^EFd+L>F[SQ-{T+BKm$ކSݖ Cfq!G)T}il-WQpayZj0Z=O ,W85ڑ'|i9|3 *(^)\Q:Î5* q\SVEyr;6qX} f1/6|goy~W΋+ZF8O F!hs=G5@Wlh_ ]F[ Ҝ.BGLmC<ɴr;B auv $ШӸSuN>qvd% w[@Zmw xos iƏ:lY>|LpЀ'rk XXʯ: uR?i6߿+\G ZiL&t25n,?OYVLv 9tV! YwǠ(uU|_/GPf=r%OTH!OB3\dۀAsyu:Mu}?q{wAZ>ǔ Z: @TnȨ'IjTv簉!K[dm T\׷OEsV@Iu̻ݬԹlIIK'ȩ0dҳEQ;z]VL_ }(RY0-b eP*kl4ԣ.1J sӒjC;t9dERMIwGfMJLwdAjT tC)0nT],Yo5 }6imM]LW%eMzrj}Uԑ/&NxȐܯՑ%LBFBy{u~=Y]"D(-LՖ‛ZP짢L.-!aG1nEtsZi A1TTe ;c=o6ft]ḛr/Ϧ^hm /gFvOpWG188^ $l!{=&@e ?W썢u[*V7:(:?%"]l졥[ Us psq,2;g/Yd y9tD%jW3x\ W^kl7v95zlI g ka Vzr&P ~rQUSXE x8Rp ;A,4dzI+ gWT4S m >TL‹Z[_م"xP;!MV}'%%ZBPTɫܐXoF w\EtB+_8-{Y =esf|dI&` b,)- zRwF4srùq|B*Aݮ|M)_^<[liBq?!k-*|$#Oڭge5`kLUz˽Zdo]/gM[2ZX8[66BUQe-%rIƼ3@*1RlIkYxdJ))¢mִc6lE:rs[0iu!/)v =K9pH`/Քi$ 3&q\k)VB!jbp.otSͦܨrϾY(ezG~hCKs[3 {roudqg2_1+|.v%et3p6֔OȨNۆjC$uGlz&@jW#SL$YpUA=.{A&dp~m]¸2Bxg2,+\ ůԿ~$7#  u!O s#F$6vZRHGp~7 ǹ6O Ac/7j.$([&4CENq㧢(Y<|^LёDSclZ_XFTZ z<~z+uzPΏ`el:tJ,f|E6U?#+ŘR(˗=D/w@mِ:ɨ=q|Wu fQQc6CS{oYB1o6`nOehy>[LkH"M]1~rn $6 {FϷyHk QRj]5p X32}dA9 y6іQ}z]14[4^a}8o?* U+t5N\+ ߩhwXS/"څ0gQpydk._~:696/=5,#֖o/q'(Ưܫ6u#7j!|7#3Lw*׷@+].Be,ڴ[Amr1 IHjN 73'/$LE} ˢY|M+r5Pg@8fJJjX|ɓH{4^$Q\oϸ9iC0y|*Fo˖P0̌r,ڝ0.fCy/je$LgQ! Kp*,j/lXMkXӇDȞB'sG/|}IAāӀIqb+41XL%FlQ&6/fB$RoU?c$=OXlk,em)_s+L Fi~.&}p+K0w/DOn6Wd~WO??0Γ"[\>~ȵ2TEMƜ<[*&cax61!l[{y*>5w~we(¾A Hjmdk 3/Բ43VH'5Ux:c:ЦRkJKRit Tx6`s^-$%~t$JDEgYZ7zXZִF!  y]ŗXiɟ頏ā˙مPn /C$:\}5I@H*Lq |AΙzmώ0CO*R(B-YǛkeSű|''o/h}x]3n8S9+OiW-Qu7 ^ζ@EaT(x:"y&6MW Y(\4VM~$[={ 'KV^c ql(2z-EXKH@J9:YkkH{톒\pC@ky?}s{JJ0XF u)<(%]R<@B-o5wtht=JKY8wTvAT gYZ7zXZִF! ]ŗXi%GkʤyRȏ;kxeXV]I ALd MLFI0Z& y]Eq&c"v0* ncs;@^4A%w+B5މO$Hr:istZ )Pxu#^{-ǝJ(؏#%kivYg˸rˑtz 46\妛DbnE 15]:/CtwT=(]%pݕ㰟ELn4 H֎ 55Q ^f9_Z"ɹ%þov?c.o:ZvX. P[{taLAKﰯ1hOܽR\v@k',5O"f liLQO.ng]h!Yb@DY1>T-'P~SW!hG ,k<:mhY'Ūk:{y3H6砲;^hNث7鎸׾Q wKrd=]7 Gܨr=wCGx>lõZ}pS<5e:F=:q\;v!ˇ--l$|෰ AK|4W.\vdseL],ejR) o62K^VqÄ~dD4*(LG K4U*cM qk7"o|W{P)f,?|!t7ۄEB$.O gpUy㍝o&Q'ZNčvϸx=/D-C]e>!jď_|MΨ1#mS^McuvSfpKwQ)h5͠|e y.4d@!' "$ o`B'F_X eM )lpn2~^ 0Q` cr%Y칰#([*3 OeN AվʩazZOtΕBk y$ >^zbs_xi.֗"n~;"1-=䟂3F |-V8f/820y[ |EiqvdmC~&9F_HBYMoK Ƒ0hQ+4 ._?jz/Hn/U4*; Z ,mR6,P[6vˮW r*uHnvM2L lyޯT&K?3lOMsӬHsY/ת$ʗT;F>ͲJH `v̝V[QeQ0mFd$3iJ9X W.= 斄Ɔ{yDl\7pP ^䗪 Y$fK$A,**yo7fTڇ,6U\+];S:gx8?Yw.K_Q!]=>3,Ee櫓P|ip\p!띢]b2kI.ߩ#GY!Tl6.yMgB] ;+x*\)>C2Ƙ S(-_DƇѫ> a:zbn6P`,N  _dbpG8Mg fl JdA('&UO JKg \m=ީ*1x0)`Ƞ4e!0ةAu"Dۉ Cȑ zI(x*Latɾ??PaɁw'諺rkZ=:2\L) &EĢ%xy!$/C1˛ψk D@ u7@~K@AkРon# ~X0|3=O]QF_!/bvM&\ >dL'<.mt9DOK|Yzjzt0l Dh1Pf)8?c ETdi:Z9ߨSwuIQZ]k`hpFtwt2EKbc.O4/M5\#ׇ̺{$ֳ ,/ |dOR4 Y!=cTxiKҹƗɛQs\EB h睆3gF֎X%j ;bĦëoԹS s)3/_2([xmtCsy5CQ|Uڝ)M[5%5 (kKg{|?p!EN.K];Q4r{F]䷼Ɂ+;vo♑3jh8nap es *~f܁&Sj$vU,]m) j9H0  ܻNuOPЄO5aIɺ1Aݤ[}Α%Hbakod*tx̴&>C,`WYga˘QɴRvV*`@u3dϿ:" *&ӽAͶadAj>MZh[6-,0ڃ &JSP+]{m /"~Lwg uJzq',qNC-u`[5XБ5Fڪt%]ʓ {jx1N:Z׬Wq;<4j}tt WO>\J8Tǃob~1sSG* a1N?>X1y>FvhIcrsq@t k4F"uљSa#ա>N4Q2W)#ʶ?XF$P_:iid1Y꿆(*Ms lf,+%CZs*ߎQ:2{;,7Z3O%]0 dv硇eyˢD5곀{V>< [hH2u/-E k%qԲj_CC]_yG}kDEІqCxFFj͛$YB=vKE^*a!eѷʶNmύ:zHe0[\2b¾kJz@N<ʵN7$[]"iw Faj;=q'1$$S/8vM<#ZyiDn89A=Ŕ.8T#8iݬ='}ilTO_X|0ݳ}^ć5o5޾V\ҵliZ^oIvʼ K$ĝŠkf_m$$a)4B4GC5xnx/>LW,*ꁁ](w\1iiʦ^xvBXkfG+_6hK"`£:YѵPeh:rX]9*^[OwkexS fxigM|ei)&a IOvB%KZ` U`Q|avx{'Lh,d^ӛ$Zq |{TS}O.Ykdּ+^yi | B C#~wCqNxN.I\&:7uI<_=ըS)^/ԤGp?4tmA H1S:^fr ,LnPb-Xl<:\kD_^z^e$̊u>tcxL'ՙU! YQ*0瘳imYJG!+qTw20ҀȐeV7G]\"mӳZ2; hCN .yv/Nrc` ~c"EP0E!^G\Ҝu~3 ޏ&5rgikۦq;GQ+kkrcی8t["[B}ߣT]w!3M"r !LήSrٯTt.,P?O HFa0yw9俯9v6JtX:6&笮C ?Y6Uce2k7vגl[LO-G ײ0薀*oa4[0/AZ'!؀gB쐆%"VpΡ[johc퇻@>]ÅH-9뻮8,|xr<*4;#tā÷GGx1'Id{K&TepMw~/eKĖ|/+na7\&c4nu`bfuA4~RN"WE6ģ=riUq6 LDz+VLjtvK10׾Qi x6qy9!+1@HS_sGVv])EfA3D~? UV&\ڞ`NOb}o<`CO[ :M((= "6^`1e)HiT=v]-eNOmI{i"gvVgߚ.NY4f 9Bq:_hCL`s̃?o|̭{z~žJNAPQ-'%ZKGYcmR54,mV>4秱szJ`?}BKVwoD_+AZ&%[F?8C1HV&|n_uOO _ VbAB:@#0UJy"Mj) J4ֹTR?.p2P_>J.n 9 Ki+?dـ!"AKޚ%ul?{LjP ypfy$DwAl N&l܍\(:)Pi>mRK| S!HN=.| v"˜֫iJ"}L|v`-"#^<5TN]8xώ-aZ0/auJZF x O-1S+5ĞmʐVݯ -aR.itiBtH =At*8d_c'ou!hrfBafbsͤWG,@Km B4k<-dsҡ bV=-m#_2*ݣЬcG33nj}&W€ze\xfv!4dbd}sa*YBu#B""9L-6޽/>-nVMJEZ ^՗^Bm_Lԑ1p' HmiIv vH'-\c҈ÊtWig&m8Wco &"O>-Cj3#JT߷_)B%+=rqd7 t?/Wqy8qSԜMe2:}'C{O=ȩ'Σ[ͿG{_̳وGr=(5[4YD u6ʃԹK"Ac[ ÃTh˳U':J8)OYwKK7,3~g4li|lXօx]~VwpjJ?AKbݹɰ7yOQQ5o=C튛*B i=/Y]57w0Kq*bX>ÑZ5эz7{0t5Mtk)A?@//=^2ɪO F$D=)늦ݛb4QO7]kpYPGp7ުNnpZ%G;T!'^Y/'[J{*тVwy[VWL-1Sr%TY)IgEJ)dY؝ 6YPGy܎<8ng\i1!YceC$C%aNߝetwχ{TJ-E 景Vy-hy \O,$x6-{x&͐7/;yGY@"?ՊK.TnCbDk,Nj@!ٯ}=MENUsSchOmZĪ}UGץD eAC:6Ln*&e20 qHVh3z6}+i=$ծ~jz)'22:w.;и2N9)w]MUna58$zk^٬#7 }~zRd#9IÅХθf@$TOY@iզ3#ТVOu/$5!!OF|ymGe T*ꔶ_I`[VY[Gg<*@NaEa >_ ۪+0xM˛+X_ .voh.R]{sb= 6 u0#W?Fz0w[ ԸqEH'k֑yN @bڬB^s|e+5 (Mp"~Bm9FzU1mXf_u? 66Tgj-{ҍk11 6ي%uoLEg}!ۙ2Vɢ?^\KG88_Ԑe:Խ1.PGB)n,|M=Jc_B3`ӢwjKa^αzɞ3މٱce$wr:醃RA@/%6 o0![0o .?M N #9(,6:Ї+7m42&!Űs}T)cLVt^3@&Ca/o=t !MktPaѠM}|N}0م) ]i!:. 716 { Jāe_tˍ) F-6ЈـTJx܇yFȈO)d qDߦTܨX?ґ\F0U*{:*zvƿ uRot|U!9tbΰQ(7T`M^ad8h2[W (ߍi_bWK#.`~ s+8:Lv-Ϗj^M_}<&cXG ;Xf%qgD`aOƜpGxT܊s' j.xX njwV4l6՗Ii` 44sGzZ~b$HدF(.4ǵ! !R+O8ѧI2t~fOnPn'v.#Bh/Q! u`肢s"'c7iZf@<04?<}r3gݱaM=rso /]$SܩoUs >CA0g'ǯܽ;CuKdVeXmtŜZt˭b]Y >Vzvuu71aVDcVhso Tц- ߽rz!lJy"|;]aAhnuܻ;S|Ƭ^cyI#R82u9$ {}j-"ĉ{`6M"!`I/ Aw^ygޝp,` S\X4 `jc8JRȸC"#P>h$B&qT"R;v撡Mܠ}#@6'UIVn%w+jHvZ{!$QҸNZ]4 w\;C '0NQfӽp!`2:5tb UW vYQ$h3,l@.nLЄNϘ U@cxbi&zl#ŘCݹVq)8~oI]Ly\ȒD8q>#c)`({Iܫc)~@٣zlMcrcH$cj 9F6hvZi9,Z P(x Wn<-tZbP4} Bt#!aœ%0SbxoJx#I.%7|:;P+m @[T;30V5#'U8|~N&#,b;<4Bq^ϔK^7Z̽Yq*~fC1m5 <{.۲k.qqT k,/QTfpYKA+_2hh7~Hu:~>Xuvq3V8 1[kA-@u Gѝ\|99}[r@WH<"q6Fw YNBбzf$(f ]>+EADbdKf@zTռdycJ[0!xXLaҙ:h@U8a8ɨpO l]*Pay bcGcVx՝:y7 '*W0An^sM_>x @H f&bUh|Onq L0yиc7O6Y_b : z.';Ѷ5w\O 6G-]g@%\V-XN-*Z> ?+1*Aqxג?cK'-)8PSAj;!xt$d]^*ȑ 7ʮ&PCs)T]U&)ygz.N 53,3BaLx$o!vPW!vI9X#3AزkHYqOҗ"n4ѫ& <6 ~0G.,EJdLq^_$XGk1m%#%(7#8RE#ڙ,#WB>}cn`dκiƾ']`Pz`IpRrdK(-SpYl9{j:K_1Cӛv\ dG H]8t~1eϧ1m!ON,uvF:Z >^{Fh 9~O> 2iW:8E\|]6`*VPE+XIFl6r~8$a_KR 'G}yKYc%ؓJ?K&?EV4V 0Rf+1i9oegٯ x0:ϒ=3/9sv,~i.HM$֡"J,胊:j6*ripA<5b}kqA𲑻4=/U,[a8;OULqKo렭zy*sj%l*$_AZylad0 b50"YffL4hƆ5&B)] i084ʢMndȤ1R(oUӠ AMŽ;`XNI 0M>Gry !ƲZ"_x۸kn*z 줶<4_VL"JF,hrK|!v<;6^e3b]Mz[ѷXeIE!lD,\>p A}SQ)꠵}[M'(B5Fؕ?Ҽѣ)G,r54!BLĺ TнS,rI$`^M85m61(Fe2Ȩ"D4cjmDcYu|׫]~RV"VP瞋8n5+NEL~6))p6jg&Lt>z_)ςw&~P^Jn9$ER*6G,*?v@-TJ|;!(ъ@a_Vu :pcCFsOzݷzr=+$&ہƋa:bH;U ~[]frpoJg$둘+K-KԽ:lGNV&Ӂ>B6cv_P8*x]\R"7fvz%4C\0 |W҉ $wDb v^ޒ{HnJmk}lHWaB,^x¨"B((geSC)FSD1 2L7-I ^Z;&y"ZL2)GMV Ut/X#oW7\ )5|Օ} \yfwNo0?e|ޚ g i-0i \a{(R4eJNݸED2}Nߤ^=aqIUEHB?N0?̩%w|Rd?sǩ[ybpQJAz X?ŞYژI*AEffٟ8ugUE ښO|"`Pr8Š,#J۪QM@8HAd"m`ȡMݷE͗ëQe{~`iqRԠ.wQ&@g H XTq+HOʠC1VpIreA Oa>ag]$MS+@@ u  K%8|+r pn\lxM8怲LLZUݸk{}nP+Hqtew%it-\" ү1F PjDZdF ~{xXkȪ–e}OS=82ϗ9͊TImiӓИ^W#0f`;W}Hg cp^hJ+9900J`|ZVpǃOzޞ[.RŞ 1w4ZI3$5«^pbG\ޛ~y;}u[nR]e pyclvÈ:fa/ֈ~L~psʊ't}E6Z "đWXhP')^WʺMٽ7:vO6HAx*0Z'}ڍ ]h[/ G? q,vv"s,( GKٜIkc\j`/{Y.6Ժ9a͂[ىhchD x)\ wBn΅PDUL`@=tCWOv/AUP[FSj5"U] qst·gC8ͪ{y-`^հHp&khʺu\$guRt]g_Q?t%fH &g&,pw|bf $C2K;_Imh}̙B!)>5e D$|\{>2] Hܾ'( TKvw{FYw* n#37Dq5zD͙~7t/Xժq:= 5 +]pv"9w`&> JS`(fXDSwr0,((X7H<ڮC*AǴfR.nΚxܜUBɻ`|aWU$/HqQD߭ǝKؐ\vvAx ;.?(jC[z);N9rD`f*ۦF7]QX |-UDrd* !q[!PԺj#kwwy s_ʘ:\BJ@,|Otl/7uvf>8cd@K``%˰\hv#_ ]3:RS,#`*.do+sB ,$qˀKw*vFvq}s}nLsR<>sqvX}Ϊm+&nfn[y#>QA5{dP^ܒo?1F .D2D0amq惪_u/&&?#ssVG'NYCX\!iҩ:Rl\'5zmɹ-4}Z)v,A6G Lj"$ۨg0ʢթulINo7S [9%hl5n +Dx0|B;+5хA]l>}/X+@Hx_f lbŰ$VKGlxM;GvS}PLꂽoLo{ Oj?"}nTtȊy?Ho -}0?:o?e+t.DXY2ɇ { k{XW=xujy?ad_lnӒhuzM:03I Ņ{_=Uu~&Wtq=ܳmaTs ms^Cէ{'Is$ѻS,G;iP|E}m^BaFʝvzjXj7Pb% jONK Fƪc  W4$iu.,XtcA7g٭i$XRN iJra |jC-a%PGcx\"w{ (8it^C!.HP+<ʼ~+Jr^)@J2QHƨAM&>_̠%0<'0\{T"j0hp"4/WFov:=Q˙ K/z6HR%F.RD/2c"nuYUڥ6~A6!::1/ Avw,. :DeGO,W5Ds!2d`6ۋDcAIV{h*[܈a ɒ|̠f޽}hXBi*zxĶ;j+°ߎR7|>cO-Ql5$T,ж3SR~ܵ0b[RRRE=B=2`3lAP](]1g Zr>1e,NdIüeKO|<PԆt,F#[%=pm h;;y. M]4]tqX'w!Xo wnb(l 5|0y =tYޗα^.LP|!լ( X@Yy釫RO8һ L^uް#*;&UX̚`T4cTg9*\w50f^k[ É `{Kex5]eZ9ąM7Hq5 \l4mZ/S[?PP2#}fKFiK1yphuE 1'ޱO ] ud:W{CЗ޶خp`Ez@FR^c=,,C{~EOמ> 4x(m xS(]TgƧ%:\I< k F9Wn17g|'w<1`3=Ht+Z F G4pgM$&WOϫ}Nv6z%fspC;FLhg%^ 2Mt:_k"z@XL {56&V8?':L RءgHI%3&%cmz/8m~7@o윤;C G=Jvv>31,T*o7MMZM ;}ܘ~hţ ~Uȥ-ೖIDǵĎ3Oh e$?micşr*m j{rs<8<u֊iGǰmjR/=@qvVi||+&(Sr46{- zTB ڹ u8w^]֏aHN~>:fT~ڟyy,X)̋NٜEnS 3j/!x.8F7o+OG y|6;Nx(Xi؂FF®*Ulfd3I Pݞ)W.&+6rabp snImrRqhՆnmW/tN. ÝcӼ0UcR_ "QkO^Dh^OE Vz(lW"< ?qjUXIaa OO'GU=#/͙H"S dVC8G6wgS2´~ZtО%kI~S7@[)pT*6EigTTj{_hXO!i?&A%4L_Ҍ#5}V֢Aúr?ep.mչiAd|jyGd = T5!{qILj(<{sDI3jUӒ"ґ"gBkh dD烥P S!JiP aHiG#NԛM6PL*~_6Jdi.}*LYyz+Y.U ycr\; ƣ] xq]bsAׅ;!?ӓ,A!M[:=j{2VrI㗄>uFY8^>{\q }6l&tY.'[h(gϊ_!({sFaBJr9r^cz9R'+4C{Чv2:TǮb|H$nSC.j:c<6vAԡn]dDq8߀"g$!}k;s8v)_q2}FZmA)2/|N4XPk|5j/r(ZD{l^Fe]+dZ?V4Ӥ?#Y* hVŕZ!ԶI-Ӵ\%`,uVu)YQ-V+R|Iq4yr_P$։Y֕ _=M5zw2-" P` V u:LFo% 5%`ihd)/&u'l ~a;GgEx  9SAfN (€á#= ^TL瓴b]oP O]e`E+AqCQ?IC ࿋7z4*(buaen2WCW) zpjG,^S|$ -VKbڐ"\@`'XŞ'F9p[‡h`#F-CP@5 -8'c|,ېחE.#>2S$%uK _&7C9 uҟvLRס!AY3$܌GypEşG{zr#yi1&zW.ZP.eea$em1zY 7A\yA,s, sfwϹrS`)Ŏ h]xL׮,jj8s Ic,fB啈ojQ2QH"+ʸ8[mȧ8:۫ Pe-d8Nn60qb}]Qr渉><3)6,@JYUrq&%7炌Cӆ%|[Jva=/]T oD,vUOlh7;5Hhړ2*S=rf}E3к';o ?>h%!K0r>Q ,uI(̲@v]jSP,琪ݪ08?"p9wA-g GuZzBp?X68.t*S(iÛQl["wP}7 mRaK[uV"i9G`A!>?2;9f9:kTL0+]^DOM4әd'l+OUlږK@2-r$c ߈S ź ]Rf%Úч MTo*:O S󐑨)H3; }K``jo#C.?2?tT[b $nJƁ\b)˩>6i߂ocH:K$o\J~ZX:fQ^܄|lf 52CNĸD4iIѓS~0 w&~~I6);#!+X^Mj` b5A01n,G'IyϽ3%cŃ}Jsɵ9^"Dk:i 'C!T͝(? |c|dPhÛ5*Ti t`Mp5#-29q(ICQ@qL  '7Whq85Gqvn~(Gּdс'iNE=g A>ɫ sv|n$F\"@W}XW@^Y"$^zdg,3*QL/X v8vJGK( bvQ4Q_[Dmj%.-oJh|0Yn@.L;=YRJg@^0^+(0ŕ/xyGqjl^י*%,a^l3{Dp:rO>Vmy|֝.ӏP3睘Oʊ*yW7lj VofnvYшZ8U֑$X,dG kN2] #SMbcm%E4]w,.λϵ~/C>R5CE3-zsx9q[|ڇ1}Hu32JlnqeGPQbCk)#Tb[V%% {+}fN?/$9`av oaE~c0~1 TJp1Pq;, L䋒(Ӈ`X6 EJ}SvBrj^!6[ʤf6Y\`y juK5mD !K:p?HWFdžEk.0 !B;ː͡b]a+#+en_zr}P 6rq]C!F>9' ȄK-&z;9tDcZ~.@Uy6@$. co2‰_]p|(+VQތB/Xp'iUzs/ouYI Qɠf\VI P}c.]>1{5ه8xIX~&⨿+o?<8RQRC6b޼k.Yă`$ y:&%_4r$~ Zef$9ZLg(J` .62mǝ河5YHQ {S>ah}ΜpI:Cj#מX: ^"5^r<(P܏H%RЙc+ˁjwӌ_!&XUtЈ)ew}p}V6gCL\q->yIŘ}r9R ܃vvLM }6s+% ֧"=*42GsJ*'925݃grm0lZEF0A01bW.zVdU y&+k}Exj q['|qK+[ N|i 8gOI#~h՛f]kWmOЗ M ʙP{_okw~gN?oX镥nFZfhZvs^pvuAU&S[ {:}q0՗(,6HXw981 ^,A?IԖڿhe'dgGܥ M笪>У[1ˏ%?4ڤX-|/Ӭ;M|XbIA 2O6AQa\"Gr|Vr }nW>߽HҪk_4yэ2|}O\QSl'Pws #ɥ\J浾0`m#^ w[NgLoCpTqP.X_%*!C}1}:~1S=PD6pmBDjN3%Ul^L%*c>Ȑ&lt@tYR#B@o WO]7Z4݅`4 qr^RV FZ"oG{]o!̿jSC LkC}`4H$Bn)\Ȟ{u؀u2%j|$=WŜn;&QPw${%_;#܌}lKEyV '$1fYYFh2K|ǿU&us;xO@m8 B5qv̑(:A6p 9^X,Ɖ,6d=U\;>aT-cN"!f4-fliqu/XVR cΕ5.FO:,=*RYM^;VMIjM!b,Z7GNwv  ٢sr@_Rtz^62!3"Al !eښ>6$T $\UO隿ќyw4 J1,E$էDxD|{*hPFZXegmUf E13瀉t iiOf)$fn#7Hk}YɁ^eW[uaHl\X޵OFIu44^QpkEScMmJb;)+ڶzjJeg[P ЈoL6oRB1ldw ^7;Eט-c&)ןiu|ޛ ^5ji\ kQeeeZ.ҵ?MJ(j?Lj2hmMwWW 8]Q/mvGDgͻݜs7:U(4mS 0RzKmu O>3崴FppjU$YдN܍@J a p ƀ>e~ hہ`hBܺXv*$P6!Cl5v.Web5P 1aZqIֶQ!ZHS4ԺVYI! _DyYᧃar`_*(q:qSes2MFHޫMdcJIM+z1k6)~g.5Ȅ8H:wn0H?#ggUzC7rӱ~#NNI4oY=T֒;Y8G'Rybvÿ7%>?,0&JQ <<4`fY $j;΀MMJ)F5n-in})>0UݯjOBwRɩM_SSQÚc.ȘƋ^8E- j8C&JxiW?cytgfDbw!ul$FOguqR_EE"x1ceһC<pm% GVI; /"'8dSpq*׷t>qw YD:!J-0( ~trR9֗͵~bY߮C]h&$ y f!Z{ͷ4[McS.kjlnlyZFmSHh!6{c1@Nؾ#L]F(U"c K^Ê0>Ki &{\k'UVȯD1c6mSZCQLLi4} 7e(i%&|n5Cׄs3y mzeQWSqP~gD}2gʉ3qQfalioc)ZBYsuB/*~EOw0>ġ X.7gU*Tz ".?TpPFrIVICgG,aG<BI4 j"0rY2P ¬`f sr߀WUUN"|v༏'s)BO9Mh:9>ދl=5A%ĔyoĕPbH-B^6I'`D;#䟠 ,Mn}v+BoapDEwXg-x=2bsbCϟXV4A"@Z;?0-\#RӮ( Y Y&mM[R^4XЖaI ygS:"qݢDG$4rD&QniFx*,' Ϯ ֙ (QۗB {@peY6xe50h# F)Q|_WO' K <: F fKnC udM$6d׊̴Fso)7kkRǪt %ULzҋ)Lq~܋O.pB0%&upZԛ(t(+ixܿkV áWF%ku@Ahd -G#T4hƑ6CN9lեi5 Ot_8DC}C)35ּꆭqtP^~M sGF;Hx^)x=enTaS+K>7XprmU)FNxFQ\Uz, 8qW6_mfZ:}zXyLPTTjvqޟ!D*[F"|Lq%\Q5陔Un :U@-+? ?y2V+wԪ Zʉa6]qxX/XԫT˽@Uքe#9qslu\R>ZA\IIAQC:6jUrTOvfvbalzYLI(qX *m$D F' .Ot֧g+gF/շgZL,4^!oI =ki ^bC+mS._X$ {n?2nU]\3o!qɈlzJKK8,BӁXgaԥz4;X!:痎]P(f}36VUVbFDFVoU ].~Vzc^؆dxKpk/Ǣ{3%L([]鎖R9 ńCpzCE%7U!%*7p]#YTXr6B5|E}At vAƽ}t?_ʴK8IlT%d ӧ$yS#t ZyOkb(0,˥4i<^/MW~<՚g.XY+"[,"}:0&Ц"dm=ã * rpn?(i η+=$wp+dF=O` (!:e#U1|ǐO_IQfHZoL5ҟȲE?dχq@ z軡NvyuF#2co:ftdC"^m"δEmA8nf4нDiFWdU onT rwmm05e,2n=zQAtg!+oo x{7&jYĕu'}"mD jsrPwsJ?*Ftoc {ӽ2m漚̕ާfϔvCcN3R˅n! \%=)6/,>D D@j'{ coX+cK5 k.1kh2bSw䰃5n3Z?HVQm+Szs^bI=$ȺӘQI4wJ  $XJtNJu¤`Md3ߕCSxEK% Lvjp>RF~9.׺E4{O0`yrl{m̩?wM]Y47,ċ5;1aǟIM\Nkӝtp橕2jo7꿮 _s:l_{ˊ^jh" D@BED,Zbݚ7{v>QǴNJ8}sM:xc  HԙkC{<U<6 ދu`; b@i Pvjr'ss,++T#xd)BZ,H &Oގ6ݨ 4Sٮj,;4hIZ\mF8q)Jъ>se=]^ mGcR䩅!IsW%`Jfҩfۺި?!/1kߗ.aI=@uV/ίG ze=:K3-b$5yЏabd>A~%(C`*۴,ar6Ru[$l&^k$jZIj"諂8㵐VmkcW5tqJ湼/-^_l I&0%9Tu^ۺƸ.s!Α/$j)} z,z>caF˽X!}m[;IA14Z;@ihrh>Zbʑ,U)fR_%KOq'%n;vDA(6̾qnbˤ݉>N߭.g|9̛y/~3o_xg !UA!wiųVJW`mEF "`KNnSTC[dطL'ߐs_0+Ziutjcrӏ%O^S([d$-l ZŨ{Ts)RnB,8=}a*wuԙTVXRBKZay3­j +) = V,0\eޣ~Wtz??`Wv\[}yg[c,[*`Q}4#hkÃ)(6BOrڢiĻW=,(mzڎK »x,G#y81Z OmLe ut/!i/,1Z_>o@O&DWl(*ތ:ji4"'5H‘Co@v{IWˎW[fm4#i}g\J67L@WWC!ֹ?DL>"ѽWptBw$ScX!Ymo8, rWψEu7bC4- (wWVG +(p #q޻aL~ϺΥ ŰfӸ(FTH0{뮚ײ v\YZ RsOsoC Hwr2d9X#ԍ!%qQV`r(wK+H[ŒSQ$r.*/,>L?-)Q>En:HƉpݞZ X֫-wE}9<1 v_eRaEK?@߫ԋi^ %s寧RcBw, ~N] EW6. +ǵŘxbY_.'͋DRګPuoJփY>j2x1jW-!9à|,z='ՂψRxu"֯ VAb#X7A.ɑɩ>_Ho/E+/jz !Y#[OO_KA> dj8:!2q1愕{+*3^NU$S)f,`ۣ*:a][[@/se 'jsp1WXXi6GYtk{5 .Ov&Ÿn3 ^B:#Qlb]h@Lf55qr;ꆳ吏4=9'́Ax,I}AUn ܌ +u/LG2[qVSc_WYy={g%' ~!G!n+C>݌ҐVg4 ծj-=V3bg+܌2#T /pdW^asGp\r30+B;Q7LhVuӫ3*Q'<-{|ܢxƒ##p 2:g roiq|g=CQ0l [1{}'AGRC2g"PHA=$JY}ia0AMUC_Ʋ[&Y_~^Ծe3R:A-oba>΅GϨ|M|  ur(t }=8}3Att*<i0xRo7g] %IA8(~^t"ʨET F% + OW.\:hH  o%32F.%_8%2lB>@.3}y\40|8|n4, ~[v\/KN8VĮLVN {!YmߘYK99-C#_c7f<%q \Ibҵ8|{DۑpOJJs` zr8sGvۂ%+$[vcᏛ,S]a1åA.4+oܐаܿ ; Msy99sw-h@ Vyd j[?B]%p tS\@]j0$0+ѳW4Z;kmU KNxbH鎩N?U&\ ̒Z3Wr Z|^T1Y{SV ۜ^}}#m[Cc~n]sL2N\~ ޸ϧ&ں^uxn>s{ԑL>A=u, xK$eD~:zRrOTN/Cg%]}/>\i}(h='bD=V130}vUlIχxy+x͟f_rW g黯'?Cl}*OSP~}u'<$fŌU0t` ߂;Qo f%uo٣q9kn iaKyHƸ#\%Q.A w:'-/UOaOɨ$'CQ!ۗ1);4FvNgJh \ H n3}휡 ґ|:A9 # ~7|w]F(=S:y1o`+L,L8đ' &(ȇRp@޷2 Vf9l7!j2Xr8JFP ~GBE\3mp iz@Lw &GzhAWE- H8,~JRɖ^h\kۼaEZyU^#I$]?WYF[ WVǃ4g\l[KYA'͖O|Y|AM#ڠ=t]Qc hE''^He4sHw N-qնқ8+{^'= $vJG78ӬXͫ HOE~Az' O}(')b0vUbiq"οm)ȸ*$#gH.DmՋ>r kl$b4x:pߤ|7Ok(ЏY@_F`|!/e`ARYmhθP g;{:=it(r=:%7em dTGKGk1EFz鿮#a؇ت9a?v)PI8,R]-}8=6pi\?0W=CfbۜF1ORWDbVG(rkgpP`MUm̓R~f*B+zO<ٻ,ڿݯ&;;Xݶoև- w\]4 /!^ DVR wa r8txiJr5m)RKG&GUEпܠiAaW54xyAa43~}>vFZL:<{O zGE?Cq~Fbb;/T 곯ְAb3sxնѢr(TVS Z|e/S9 uWţ̿9_Ҫcp #X|B?|A8w,1mun8@q b}\/> ah _IK07e/8kO? P;j:=L*!Y=ڀ*8oXMh֖ueyoK '݈A=T>Fs!{g/?5X}hU+1C4Lʜ"J;jp6^́e_#:Pk2~GŅ؊@vܞB-M dE`|1(Y8ZB|*9;)cs[ IlR#Ȍ`ɟ#&Qv+ޞ{@jw*d6ffDAF 9zBno'+T#uz{p[pp-4Ef ` Y2HV{ihugD@u a\bXFʽoF ԨMUH52Qpx8,6p MpF펹ҳbǺz B|K {UH|4a/sr}DVJԡ6J""ЏeDV?2WwDf9ǡg. ?%8b9+@Hf\zp™`X]"@x>KW^X*XXB㺻Zu}Q֦i131CQ,it|I}eB.;| F4ZUSz(ZWh Bc]iŅCbG1~#(`$khv^0\@3Yq[v>#ڽvcjl{ Pkfԅe,0KYO4霗to$QjfYo(9Ț] ^c_̆f?m?"8O:I~XԘwoц,XˠМ_L6IϥvƆGE|)Ted<=)3wuO~@:tCPfKУq֫MLIt}]͡kmH_B̞BgjhnXCV7E3ܝtbEJxQXZ)pY])GZAFfWL u#(vK"N[c t[aΪЩߛ4 "Sԥsz'w w.4FGr&Rq\ |ē"# <<蓀O{bwOLL9S5 ϥB5MK>O/WhIȰ nKl<*r=qIJ6M\7z=oUxp,;"mCxPks?C'uAcAy5qdcs]LH'-z[@z%} $0}hQQey76GfKU)3c2Z#:WsDž+p=[ vJoYzjj:Z܎p%NF􌦉#hPJ $\k!'_OIv^igqa ·q3耛?)_i{t^E" ٿfs_?0Lyw.ɀ(NOp9n1u WZvQaW2TWe쫾YTE2{YDT5P%OQp~)\HK,P>veq9]Tdj&<6U'Ƴzln۸=y=9vC_¬vfϷ)2b݁ɖNo"IJ*;AJ*^ )v~:ѧqlrj6Tk~L/~%r(0yarn1}c$r-ƒU:sW9gGZ%uQ"*E*6Xj˶2V0%kH1f(?I>B M#JF tHZ/M'؅+(x)+cz7>TBDm6 UqQH2% $в!X6:? _ϫ'):\5yk~.q^w 9##xWb~4se$޻GlPr;O((ytN&_HzgHtV 3%m'Gų"Vɹf?ޛҨajJ#L Zgm*Lٙ {q%/^a<X%nuv F )U<72S( `X5rpc'BVcަѐ,ޢ ov?1uk%X D#,^Rcτ/#<' - =$