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 5\D$ ]S HOL-Nominal-Examples:threads=4elapsed=375.364cpu=1356.680gc=100.248factor=3.617zXZִF! ڮ"h]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aϋe @iӖ-F$SNa-ʞOKr>v"_Ip<2YV^z$jenNcƑPI9ܯƝt1y@BUd7yZ !-1:tcp*ʽ]!BâTuw٣H7ZWhP=|>n}h[$osPCcީ>%aEO =I[Q.0&:nNY8!m1B,n}cR\Yc07Nj.  5 HOL-Nominal-Examples  fjȰ\CAMrtY:ljuLH l)٩d;VFD@GS%7$oQJлV"Gؖv̍jTvc6,[tޒ#f ޙ~5"X0yF7,t{]-,jH ;>8`GĎU"EKAG:"12ڥ3i@1UbW^@~=eQ, w"?$5{jW9l!?R,gyT+X#]fa_,dʞZ-MW}Rbqan@-b,3RRr,䍩ȶqDO%c t0dn1F:~>ST^hg=l"_d-.{a3n}ԜzCSp:,w5>Tۊ<H@ٽ7 w1ui%b; [Q|9.{Sbծ9$'6:d w[o>b,=UVh 'nTećE)ѝ%g(Iׂaw 1%J/(=N2_W+kӏ>ۘx H=S>bm%t;mfsFL*)$#3,ˡ{h)I{:G]ypYA [9I%y~'-(s ]xx xjLDXJ ֫:30KԈTnMz|C "Yat+F$'4 ~0}qGebP"}ŶLg $(}}=ݫN(O|{ȧ}_R9)V+3ĥ-]ЂfCi\N77y*Ќz`DC,l зhZF|Ne\ KUŗAMh#>@&`dBIq z95lc$H({̒A$LtxBa1,~oaq) EVdR{}ͺre9k26c_oGR$'<+5T xk^ۃ7=X;A)s w5$c%Ov:ׂ.)RsMB)MX+oeHB2nsm:N9OW4>rh«4b+Dw/+WÇ·-J/g0} oeWeÕ>j;,W\恥Yz,&BF >գc]QbV=26 s+TDڍBƌg{jBw (#E>QTAïxVg'RKʾ7V>NbicW[íIܖ5 jZ KsQ=l^e? ѭ'k_I(G卨cKfq5ܓǝG=ԅ{CQj.QFJ1'q.԰ETYk&aO#Z};$2! Hx(fb2z}וm=J5χ b?r-[ǁ{:yW(A#|==GXLw Ű^1p Jn*E Z6A@MΣ2?W42DT{eW$ox5~l5o=Qg^1}_LoFX_]Ū2V8 @t?T,rr퇄+f).r{F)1 TD'm&jUs㖿@_FJ ]ԣYV5{ȚӍy!<(m &JշiMAk dc= G#3Vˍk5j* F쬒1<E.]~9|Nqd4Tkn,ԶWjmnsuP+by@TUT +ac͸5{I C'|*.qɛY:]DDB` 8 X֤gy?͞Z(,H 6Uq g+#<Â3NpV$wP$څ 93' e$L``~]M4p8ݧi?XA.VuF8VHlwPN1(U/(Ckrg<Fbd8djaC@r~[/i#D+(u 7"%TpR,@\3j%^:n]%c+RJ K΄@kC=G#%'Fw#vvÿ}/ؖ5Ƌ%9F% C+ }HH$>4Cnz;9Sgjqץ; KD ZʁU,7iD>uizHkߑoudfb&fTAN*uú/}ExɾgiAlBmVdw/L%-(kiZId]y)=E}IV.ӥ8 Șdlq A> vW0`f3= o4/gyw/ 3@IY:F/Ǜ/*×lr]UbۡI@TǀcLt(hte{"W0HLř*/}11$KnCJN{Pcʾ-7u޸Es~Gs>E]ci,3tMo"b#=aʋU/:#k~ɺCb͂xudۭzk GFfmo%]u^wQͨ(~cu'/mKFU( ߦqn\MDKg %U;mU^=__fl eG:><9dލ}v%0Tc{,o[{o\H#g^lPSD.X\L76 oója~g.);at_=d<crNi!MGf0t:ܧ|9>j%J X(G@FHeEC0^Y[S+(p/]|Ugy }ohvtF!=~#嗪 {0;zHBgzxPfOݨ?'X;FpK3]O̓tqiw$8cq3kgܪ'퍫ÇX p7R<\ ͘[GWyMd@{ RP@-s3‡ElVC,S9 )`h2ɗdp %mdK˅8MRЕWʺ xG`(NK.6ŴE@' o^Xg*lQgQ4O*\ɡr@`3pS7% Wx86sk~mf㊪r%Xlnx,Ewzm8Qt<`|P飅>97 &%n˷)hKd|@&@|=Ȫ4TPҙ Px&J"ш^tq=,iVe !#RM/qꁣMOdn,VkUwu#ЋYN&8~kœv C-mhRA=9øDw{V2l~<{0)R6ص/U\t0` ql쯺vyUS| B.CP,/g(|͹)Ъt=m?s:ߓeEkpLh28!$a@>GX[N[0׃cZH>s(]ag;*>o/l66 .e͛\'HyiC}xzoWɓ˟b5L_)G)#tC= ֿbQ\'B5vEٰ0zc]YOD=rK[m?W L/Rك[.pB!`B7#_>:sVl},)>4BR"(f{u9NA!ƻ U]jͤZB$ػ {'3:r7jޗqO޷9MxeBݧOC QaV7i@m ڄ"mpC<%@a@IFƽúNlĐSGtl^ޒՑ3rѹj\\M_rAscMy`X|G ];e8*ƈҫ|V g o0'_1.~/Vd[N8iiqrh zKo؇N?9+Vqt.=t+G1VXW"_![k*WG,AWt&-I&k,)Э^g4CYg"~Rm1+ۨ*TSXc?%amOi+P-%E}E$IfEh50hg8ʦƐ僮Gj2kZcq`axemy^sغ܂8n7@ǭY@E)5ibDLl?d%kKNL4 f`.Ԕ1AE)5.+ƚ^G78 $glCt7:xπgZdN=!$aɂo{+EȨT< 0:0K2;_KEC0J"fdW@PēڡZ}X,X*ti,TDT]t <* ܧdžJhc;9ҡ]_坦FIB EvDRЮ\"l̨J6zʩPybz]$Sd +&A&35pJI3Vs{-;v.±צOf$:R@Y'D-󍋜ѪլRbKt-lO37 %ty1J/ #|O%u_퉇:Ӟn&D9nπ21vЍx_6x:MWO/~(]AEqEqx=>^!w.(tV_<&f,銩Ft/{dʓ#Zl*LW}a1kt)fc<{6^U-ןiըͬٙZl\Y4S^[}38J%sEC; YמN[F~ÑLX}mwjDK,yP=>vavp^cbrX̎q4, EF]f7=f;f=Y7$83U/DzvҊl~Bq$1 L#@#lEIe ֳtH Vc;Ζ[X?wTX&x{BM-e\t'wp3[_ׁ9V(0`O}=`N} 4(0"'\~șJgCf0a[Dk[Yť(sEc|5uktܕXP  ?Ld{ -~_>G:J}¸=LގZ4=h=%IDf1WY癈}60ms`gFOtjwRO:P!cKW nxm\M. 'wdDy/jʴWLE}+?` ok'Q:ⷛ-Y h񟊣!< $Y^a߄(A U,/ZIJ^YSI*K_Jk1ኑyh$1eKvVQepe 6zC=40R,f3֛8*UۂTӼ8T:湈ӻ,ꠇ l0R¹uTPh=ƃx ʵ^L1Hk+#M#H"Zf,DVdpR*nʘ9y:b<ۅ<וBԭ$)/|qcuQ薌EEOgYZ7zXZִF! v]ŗXiɟ1ʹ l93攀Lx3 as,ib4 Ɗz 0oͨH/Q˚Fp;".(Xx^b=fNIdPVH  <tny=&ad*Yswr[f^HWs2ߨ:ZHLR27x8ʸM} UluEi-~3_d|j]M5zSy]HH|]$ExDg~8\nP˳Zz1eq iNw]j#ʐ,l bջf _H.N <>_lhSiK'd\"\@ Bo1.]X*%O¤dn~~M;V>צ:L@Ev|m jRc"D g0gM 'XŨ'<RV2EtWۀx4Cv7?9VIg{+@H_lumFVGqSMciK q*`)fÔm$!o}>`rOo"Սp#y!439n[<a }޽tR`x @|Ѵ%Ȁi^>[x2B $UbpXN?顓Ad$ƒIog+X%c*lbj/6ϧIO;Ć L_9*;, .j2o08 vjQx</}|JUEg; oW&#kp7Xa;/1}ݯsYߙh .hMݽ&\$?q`Vzqb-?T}Y w5#189Gl9on.AGu؎tnLĶAzOբ>ԴrI%>G+$ İ2ylw$ph0|bgBZNN uSC] bdԍ,-a-ǎ 1BtύnD]0-ib^LK`џnh7Mpk-*6ׯ: RC}d1/.O??U~֟~Ԕu #aPC\nv? :M\& g; Ԁ\?VxpZl&>a^2knZUyfdk UnrF& qp`1Z 0{HBӯ'>{5O З׋ư^jgnp $kyXpbKHxX!(NP"1d7܁zh S|ese/B^J4ݨi^VcqR'F/zfuFgTiYŁ8ljkE} eO873WaH+DW({uM޿WYdD.>_(@7kyu&0;5(~4ܗMye}7n$ - \7 @Rix(/D\0314IUxS"mh$[Ļa4023FR0Vj7=N p2V6 ?P`Idp=4[y2۷ X{Y`-v,38|%tf gU\,q|̜3LؔR#(~EMz U/d#@񱵲&7:v"c ";5QX4u~HBt;BlyU !d,~<\TZɢD^Nv:R9L/!=}5. t/-ZE0=QnP~OLGo-o4ˁl$Yhй` 0ZrM_%;e~VOFe/5Ԝ k&: 񗏐5/KA60.GңtzN3Litϕ2gâfI6Ρ.9,߀;=t ^`ꩦD#4(F.o n-cpbNy9]:a_ѝ7(8y,6 JW/˻bKGV-x <3ZsiޫmA %Ӧ}։-D"8i8rQ߱xjs)wK`)/p1uaȽ^AuY X]f_XO'L|e= NJ3f w|n?nIw{mԱBŒ!ggXbHHC=*' ELWY.tA)a;)nXaHS KUjߤ"#5> UziZՄ+SWy߶fL ̑>c_Xu+\VRw\yIeTrU&Fֲz W2 Yl;<UBò<06dcQvA;y#*onlC릓 cg>!廷R!$Z/@c(MCovFSocִ$ʌKOY"?˞wZN?lB>)gqN~hX%EWK0O0;t2[*m6EF6 -WG:Ia7Ť nX'~Pbcy$ bɔH=V]] ߎ>_)=?iyCֈ} :Eu(" Y;@[ϻ>SЄh\;m [y( xmS%B'#w|gVZ _'v `#MXOEK: `{-hgS韊Q, \m~/<^Bsz퉶[,8om bρ,k#i^ b TQ=<}EUq'U҈[;)'ъNY9"gGо@-C[n<^ֽaebn4;W{wtDųP {:>( xI7  L]6˘#S9$vb[ Ʈ)oo*XCυ.RLlWM\;5Jjog"KĕhȠpM*Pox)t\ Zg.f3 >*ZlO=/B'` C,+ĒD]х|wo@UHz6%yhJT4x A 24 lq#rk/Tǵ=(헓&'4) \kȘϬҸG(kFĩ2QڸeauEF Tn{5$#䕄j,7J!fr5MSF&h~8;crg\ C@M~J%%dDmۡ{ŅGҁ=IјyOvl/N}6 6ެG+ FSJJez|{Ų+A]AQh*o%_no]Lz9ӄU +E9g+~y_5Qڴ5\JgFuRDD7JEDW!G$KLM5ZI;{).ao," ]Pm-PHDBV<0o` f?),ZY!{m4Rl8CDs#FbCaرF6@nc+5oSmqt׭`,yioFayV6$`C(p(9ԥ@,C^ TG,&0W,-\*;P\Uq*Pz%lz%gcvuuKe@jmY'~Xa4{ Y~A#ހ0f: \\fwun$nJB(p%Q!>Y1L@.;0 yŷT6r?h4-HP;]lV]r άYFVFT'֧,/k>b,Ϥ{@zew計1Ǔߡ&%q\z;.i蜕N4z*`v4]>l:z| (E\3Bd&±V:YFSw b?9B(Fu<9eVA0zP!"[Too<`_!$+]/A4q<ȺFRvB̶RmOA8?ڸ2G>Qo.գ: ?1FC5 |DH"pd嫛߷ Y*qk+K.]"- .gjYuOr2@p"'gyuR}FcgO?.AVe¤`X⣠0]W[3h 82^TCN#Zobr7{w_CZcYBܲƳR&K09KOVQJg@hm\̝ntSW5eQl @Tq|Z_fB]BFy,\2^Lp$Unz ɹݣ yl QWWTi]#  <*p 6]^v{7+ m?wnlMNg_:MN0~(I0Hd e-qF+xb\qSfN+u5yG 3T/?XnRjF֊dwcߛ^S)rְĈb#W~J )ZF#8/"*K-*}4{F$A15xȫب:n<.IUt%s& e{_͏TbpڂLDњ4{8I #(imVΘS|3 jEe_Pn2VpF-tHnXqiv^ѨKb6qamx<')(Pu~y"k$`i- 0[sqf>wH>f}\+gBS7W{_(Ҙ`!V]c,92qF&8kPsbX5ƥ9E [Cl٧>726^ _P>Np-id0^M_M'?+^g ;B(֔C܃믈* >b$N 1˱Y_ⵌd2eӯ̫F'myDZ,KMas\wjs~BLE/U(BnԢ)*ZBMTbPyWX0b#`<0/ m|n۪~[ Ozh3ǵɥ`hJ틀O@>(wi)ʔ\! ujKu^8$oEȞR /õz) 3qq6>5}6n\cYZY9>}6M N|~V(yd{f>t:P>[:kB>9w^.(F%[d=[0ِi[B)Uf2YpOًMA=`z$\@BlŒ_n\N:&kTus&ΎS4Qp~Plw;{)%IǾ2,C]W)$冿rY)/_BHOt*yk[D*N0QAkwa`H;ɍ*,Fv:g[rXʹ2Ve6G輌ak r前;@wBh!B9rPWJ耷5Q nX&~JG65Lq6wxKfG{T> ,b#O Jr P5Vpa@eWEmZ=x)2G` Xᦊ$ ^j$Pdn&N`s:cU \AGgfpogrm m90vC05w#\$RFPqt$D]x9hd qUW>+GUΰlUFkP$$/6vk.W%!L!S%] :KC#h:n^amRC;b:XwD$pYI+j.[`tcnj^RUȳb~A8Qة ĺf3PZ(6;%&dBnOf,ˇh Fqzu~6c=?6sV,[j踆̙ްEpVf:ߖȮ?>H_#`,h*mbzr/e!0y}?ej Z ;DWq ֆNrbCU~dGJBZa@@RU)QiS"Și?GM>FLDoK0ocTz@ Z\1W S9\咢ҖwURn2RxQmغdUpϚ@ᅄ.9 !uOCp;m}_pO`d˻4-wmi&?] .`%<$%08 MUU. Vy,_%fr,,OTnX'@F-j- E]S{ЌtkfFya{{gDA3Rb1s6%i}~cZއwţ4/R6f` D=IM'R03ape?/"EtdHy҂` f `-*W%-%3) $JOyF}*e*TlUrWK8`!2Jw4 U1UT.Wm3ctˎI"m/'Qp ^tPU3{[s]߿04I9+jxѕʂ!dUk7(YK^G7ћ>H_,͓UB{\E V= $p>r4yԋ3<#ύ("xJriRL'y9\P&mV z+rS3rteem])LĕX4rTx$QRJE62M.QFavo0t*:$PL;qZܔGdF-^@+X%v{YBhc*8(?'#O shE T 2e)%=V~AY9ӿW+vPD=&cy!OtK-n, tZvƠ$_RWAO$0L^<2k.֛?ZE`=&(Z0g9٬ItbYuoό78D+% *te$&2)PE (!mhVd~"{J.srhUjIPA"=)R߰Kې:hW$»HQv%/;:y@sn ER:Jq'ݥ+Ft2/ơ MoנD=xgt/0SS%|_C)oikkU\16rHҁÏ)y]ψ݉ 7ٳ20HS~hoSiSUH61%Dcgg,BrWSogs3[Q'& ![v=8kHzu ZWiIz^g1xqL2Ie w M7K|/Q۶tal@yL z>+4\Z/7byR@1M!GƘFF'Dv8ЎXL}s֊\<.xA,.f6P;  Fyt`Y^Dq=Hc٠>(FPz3]!z?aW4R TM [e0”Y9j*Vw!Vs}L.Q)uW7$ޯm՞-k_t Q>3sbstP4pёTY_RCh;TtWk`^[Xykg2B`d[/XT@95PN޽AwkB<Ј: gQMH5=+Kke{T.MfTjm G+ Cy4n}P8 ]0w?,"HNSe&ӥV]tvs1seSIa]_ gi֬_ܢ\6PDHS{aPGNC<-Dp[amٔȽh]D- x0ee@~`?(`g"zX! #?e[]L5ƌ@R7F~3ykd׍T~sFZ~u @vy7( [G)Hۘ=l#IY*8\/81jcQrD\%6v;w ͤG`< 7>^FJB0J& ƛ?Ɲ/ҫ#{ܯɀAӍ FK2g> a.cR+>Z4%|vWw[Qոb%Jyћځ 8}ʪqMC#<婲)nD|Kڕ0U^Yvu8Ch|"E 2fDŘ' n +xjm/f{S:EҳϦFvvaWRǜ%M&*PHb"d5:U)u_5,ɴ$7@Jk՗$fL,2Va#2_~R,-udf*pa)( Z>֬U }v-lW(rd,OkH֢.8bDܚޑ uO4hljE1-WU`Ov6v4)dG\ t4jvjXmn|u/;ZӱT51054*AH>'蠋7o2a=곡W ?S vI,4+%/wЁS .3HJguOtF_(-L LA`A!? Z6BFКjN my@P?]2@C[l6Qv?! v(C_W n#fF+3b:1Oo6Ǝ}u^YKy2\ē;N&s m"ph;g!"@0s Dj0ng`&(wӘv2Ѯl X NXӾnB⠎T˽L}eH{OjtM36_Wj M0VMٸ.t >w.b|k,9!~AGq^ yE+VW1 3'@ xhLI48N/♒M)fC `6ZM! B 7y>x+\ #xe!-DP&R{yj `x|cӄ ooN{~1 ߼_$fzC`u"??]hʁ_5 &*raj:*Aht u 4֪C2 3W6lhYYjӾM!} w,|jG@CCL}}Eci(`aiyv V\콰oPR{5ĻdgngFulɓ7=b p.fGJ+>2e,]mwkϻB,EbydϬpnazz_r ݃swGnjmٺ{ i5ud&'+] "0X.| .hٚl O !O7wc m ݵ4S5pҬD!"\"C-K iqx Z{*4m@T>}@{d!F}zpߐQU-fi[ÂF͘UVa!տ'S\/*iI.5xq}hd?vo^ ,owwVoq Y}Lw1PGw9uq[-?e8_{i~{kV# *[(pr 9d ˑA$Ȋ=@Wŧ>=8)-߿0X!6FF*%%=wa*>8R`甂!/.RNKO"ܵߞ+Vz y_Z5=) zDlzaBu\" ))>D3J> -[a3nu{s7.,:X}UuU]=2v ‘":uOWߐ=2t%E6o/696g/m50,As.-aGk!'hf4_^SM4ZZ e=N9%/IsёCuĜ|yV@54*QuUGۇ7w,)"RJ7%MRO»ߤZԔžUo߅C0pǧ!;R'B4AuJ`W 3X}*go;hQ^Dnj/$vKM0j]R d6 ѫjA1b+_<^r"\M8Ϲ$@?xjx07˂j~wk7.YWU&*x`Nn\JX7CHc=NcXm̬<*Ff S/si dbku}+P ـRC4%θ_}lQץOb`mԦR+ l )\vmAoet rb'`%K5rt00hT9|n$譹m;ܭ]垁"HSu[ ֘x4e3}`.)c^H֞E6A1H1&әn&7Mʸ1~Oa,і͸IAWLG(/ᵆjvb.fBHe5edJ5!%Ukx辧߃KF/{B~e8jt ,nH;&SP/t*9SPvbr?%|lY[eWf{K&}YDA 5F)Bͅi?xpTdHŎS$_[6CmuV8:QrQ:l 4]^0_nBJ`3%45O1o×nUo´lbQFK?K'W8d{50))m\a؛Je\d~GY{jM5A Դ|,g>;RUO=dhlVY}*&"bV-xOl6R@L&0k}4tn zbQV=T;f/QOʗdModK!Z57xiϧͬ̓O8v8x{,5en.m^m5Sf'Fyil(B7ՌBzyo{Lq]GٸV' z_Q5[IY}yb?rD L-nuS¤/j 8;;|/a')-yrf8_:¢2iUR_EhoOm5וTiGc(NϴD&mUoFC[n@Dϳh' *_WkQ%X bJ%| ~u \Oٯl斲UR8Ψ.xU2ǎERjuHaG q։5*nvV}>{Ơ$X}T!p+D{lg!`d߃G?IԂCXNUid^Pbx3^{V`IF75=is!7X@?0{AR.~C̳vW5r>պN !鐗cd{`a+Jt܍ xW.ix9Ÿm?Tyxh ڣAKl)$'8<[(Wtӷ6vV^>)|"ʡ*۹Enւ$; T".;Hdnx{> 15f&;DEN~(IY}Hx$v@g ]Q5@_( x8&#R@rltĽo7BD݀yjt;Gwߊldt@E^⼍{ߨ:.ȰG ƆB-^F蕡q0ɎtgM0i԰j*15ze%Cgp^2%D"4D|]WAr39K+Wvm{>'o5xpZ+&w #c2aQcR%qdL*֠& bQ MZJ918TI*g2;Q]E|{ucCh!/5;V>}§cM*t,*8W8.u0(5eGQ%q-`擵GWDd(ŒP7Ln!N.-Krb|qhL]z^`Ls7lD]&e9d0g,ds|@[FެJ3ώn8p#ͨ^u𡶒qO!;CW)[gO)j AWD9|'NB<{0i/heV4=t\%?z'ӻ, 4jUH M p<`ƽgf]7۷ݥ`93;Y5\k^;/ul[RwfA)j+$ dkuF-DAG7L36S1=`6հ-gBN.Dr/BIuA3pȃrJ>IڗePH;hdkloƉ}8OJdn2-(o֏Tad(pKW (m8ɪY4L7 o@#k &3:Pۡ?fd=5b dLyc`WBD|p1i xZ3Ry e$ +WwhaGڍו̛K$a*}v)ΣWZT +͡k5I :fCK75ԑ9-3X̒` KfWX~EA Pj@0n&[C a gU"H5%MdQߧ>q*@1["ۃi-n\ +~d舰5!% 2nYBBUu0G ƪ bբq݀pb|)۠g6dq߁sfc` (O .K@jwllAgKU\^!RdfB)KᕩdkKo*V{Tz@8[8kZOTYPF/;=~B[V`ì%>Ko*#&YVqG"3=,s-: IVwkN/vk;hHA |EZ>zq98W7E5Q{ m1( M&ՔU8WW\1E! #]Ң~l黽2d|#gr?Tڤ l^F7hW 5: b? y]rx!CU'.B{5'-L in>Pe-$om @$m_lZՙ9W#Ohzm(?,+Z2 bs(DZ JEѦϽ`%6]2X3V jHRbse!ytity&XSrOHרpQe9="Ύ>,T :@\£ͅwK!CDʰyrj|Y]E(sȹ]g"NӎQFYTz/^FF2~D &ԓu$Y?Z8e'y;t۸\?Ā)fTBȜ(Jm @lomW⼶".)| 4d}zj\)nvT8&qAۢDg:x'Ylrc\͉G`GG?c!U\A {r.?lh8Ei }Y-j >irءMrs~"_5&{9M@\qTqe{އV֭V0YCS~8jМy%݈"'D\OupBBWy7(bӔ-\8l[~绷{t3U=CJ= U.ula=ר|iI^x+bIt'P~Ec hKk&VƔd5*U)Y!y@OuV?18|[zXtA" ,bh61ߢ[-@mo@i9_p_yESupt {PEoV>`u"8q :sMf-綢ⓤ3i@{vk rکM% 410z[ ]2u0n`E=saCLV)h˺xcH6R0NnW/I*&P$DF]X:1ŹKU/!p$Ywxݡdإ]@)) tuBÉ1|ƿS .-E kb).W4浆,EHXI:[XRڀc߀;ϸ)esr`O⬟qOL27o U·86헦]G''O))Т B6`gL! ,& _k ,`,4Yy-(Xۆ]( ޣן8pSĊ#9r dIU%6Nrs#Y:2!W/qKzu]¸RT8Jr)nZ *e-~X'ou",\(1W>`|&o_'!p8 `K=F(ŏؘ #,A)m[v޽ OYP"ŚmW8Wz/i])?6>:#se_㛸1|;bM!;\1CS;1**alV.D1%,q<{ Z kZALﴌgBqT;2-U^xRgཪ_Nw,=^h;GmoӋ7sLKO01c{X%3Yhi)f3yaK7 oP0WyI ud sJ $^KJw֯ ~wɸ=Q\0S;AS]qu7HSEy5[\dvt` :JG/:\ ~EXg;LtF8C5gq8>!s?Fv `#s#Nej2 2T轏R%(Au?SZV><4JQ=J=tPDoܹ}h]W~&;Zwl԰sPSkL`<֣*~[N- v5K"`zlqL~rؽ,b}t[!ėfbͣaLzCe::zZ`(0\'"AFQ`v K̺)rD!r͜6. ޝox vZŕhh)sgC2` ޞ:wi u_!X]k| M{PI oB++OmlDaJĭqGC;RІy.7PY Q*@9У쩗 'RqcI8R;՟@)"d0B@%)N)UQ̏5La&Y[_ٗl>#S"㼒@FpA#[a=9f5SY1>t}a"[ߓy^C ݠ* vZfJsFI]pUa-0ZDOc6jBi3,Fz&{)[h{AgmI:su8YH-P-# I_ħ ] 4#h <0pp?h8K 4A2% b^.O[5vBG=rGÈ0CmST?lO-ԝ/%égôy"E6JO:+8. 7e pS6|$̎CsM&ہ={rSF1ҙJ%y1+v^_%F)k0reS.,ĝyA yud N"InSf ^jU]e@5]gD#FqB7vVu \&Xan8+J-2I=!]ieTW"l'XnӾC?MÓ75}_ES Cg, к~#$$ F\eR ˈBQΟ~O[|NT2D0@PP#<f4JYb@\񃙓IM!y1mJ*opjHԡ>W/aL*! Ox OL9I=Vޔp}{!*ͲMc5{<BL>PaqYŨmP|AWצ0|Zk7㽸XwF~;ErñCSZ9>zY Ijg4g_]Pd~uaf&ruCbkzB\dgcL&rnI ܭ${әOmqL;YEpI", +Su.W)kC  ą$㗑 %Z&Yݿ}dUE*݄-~7QX$Ota9A%LܧI vwv+e]ukS?nJe!=  0Э 8V.@XQwiC(V"7-/io[B`1_n/T[$X%txFHXDIhLbBb'Ǻ\T`ۢHj3ظNe'|ħJSgFj_NeB4Yq3/F`u?k.]n׻hyuFNwl(Y <_M!/?0sJt'*`!!0**"4U[A/+ 9-DՉ{{Σf~]D N]h}pPN [7,b1ŅB"3KŧFJ=N5j@@u~HO&_}D(!XHGP7 hE7j^Qvo[+TwzݿOa?a׾`|~sQ :>GR ^]#Ï؋$ *GO6?p=^x}S[!tKxPRĦŬ&(7,AhQǘt1!$݀c^O#c!$TʲvK+;y:ղy< [a`JnG_2#T(q* _] 6&q@0dhރKznϐ 5GfRi:WCMlF6+"*L:M€"]W-! HR>FmgFLY>=MQ&m/BxDzca.}_C_Z0Vt>uvԬT(.bwyauStnbE%쒖w5%@>au}1~_6FqqY=]ћӉ쿲/F@ lIgzo >ȡ/적(. "5}KJp~MυEdYPᖴ?/. "R/4N)NUd}Y(C?W[$c OqK7j9iE?(: p1 T n*Rws|]r+h/>KvzğT)CP緎e5@"ޥ c|Jx)l7*_>~R+/9^\Jb^4u ,W~^P [Ӥ6#AGx9`){04,c7\?oo?>v+Yo Є'I)dAeJ,̩DwZ.@'@/9}LڦƧ|1XOn* ~Ċ膢xu6;n ǛxY kXqPF4"T&7q%/k"NB+gܞN"3+napN9)/ s}YU}%8YÒh8krgh{L.<}r,汼y%(ýFxp)2[j,c+ZCu'ٷ b:Q2{E-ʜŶW[a:ϡ_ϵm!1g"(6WϊP824r5h$d7 Czc5`I_iQ*k`k6*jv@U(O-t vXվb./8M¿):g%Y$蠃tuHK%Cx54`##|vJ _Nߟ!6^˄j+cLT"1x{?a#41m1 i'w7J,v8_E.A2n$i$[PZ͵c!(Ҭ/ڄ4'FMiN"ꌠ/鹶=#WJiC)A&lm%rDY!x' ) }sF2׶?/<,39JpIQ7IZ"r`["Cx ~pwJzᐚ6QBQʒې*2OE vT+4=}q5Cfj!$` Sok_}v'fchv9.Fѽgot9& ֧Ʃ=V?P:-Hyͅ]:Rzs \E;`O!C0. UR #ni]P(ؑrtG-r=Al8~rebVEi6gAo ܊ $r0[dFϴuO^+F 5ϧz\kfB3Bt_wjV :Dmbe:Nq/u Tetoutv_)R~4ᩋ9XN:l- An:r<\lF*J1D$q(^XfT&ooI{IuTS-x -BC+hlg$7HLQ -҇dđĘ>|bNk;UwGԼ-چ5Kat{V&QkZQ m)EB4zԈ,kWN cw3~8S~\YSρ<_.6^=5GQ  ~?Iӄ c~m턦#$ٟu+*w`-hȓG^b^$tM9 r}SS=@ (kXR|aS!0gƘHG*`G^"BFUo<CfJgYk6sl)\MjCH;E j)|am\*}NF>pWWRޓMDuTi᧧\o*4Ǵ5r[88b:E9YtzWny^ů^BARmW?J.T&_f.B =&pF[gN,,{ʱuu+,Խ15]H[F`[t² 4ܡ_a}7l{zd^ ;.$DZanγY ,E%"YʑnzJQWC̗"x2d3a'J/_L3ʬ "jU3Mb^^?Ew>n3/>׊ * kSpO%&QX?M"EKrވ(w/ hU+[ }zdD=nvk_ͮßL&fܿK?ُ25Y Z |q GEqHGrߛ5]%HK×A֒=f,9ZFBtDk7Ou{UϑeJ:u~]zi\ʳvYrb ,ܩc @emb%0-|Tl FN$ T"'Hu$~A' ; օ ݏ ~xL-5hjhXI@9" SIB{_ؿOd^b?8ZϨ'PL M} `VK&ڒ T,pH|Mn ;)O]r AMjYk8^?z,}v2m*@PzŗCfᮈ3W䶰tƙqzh_ɹIr' ͼ~GcEݒ~‡6GAHXSU<7j eQMFٲ|ݨVx"qq'1Q$4nGN64\Gvi5]AKccz%"Z M%?7z8胶 M`Pizhd3ZU/`}#&w}Oõ,UomV>B i.\S]s[M1=R(uO 2Ћa:YRA0>2'Lmr"< &'kORT?fR*MnSk#mhX&6,Qs%{{(5ynniwAF~AL31m<-;\~r&F/G38.Fvxp*2=<65xX ,\VoUCn@X5rd+SG\dE~Gts  1˳V+^_)FWmB;÷*߃0jK.`O iTO @a[2ޯ].=ֿPV,n ?BMYE>@!avO=}yԽG+;nvNy폶]j4y*,ִ̫jpjm3ij^Z%؈9V{7r"%3AofEےޙӃڂ(4Cvt,\iNFBW1[+"{Qsq/ N<%wJfk2C!uEzS>B-|:(