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   0%|D< ]/]HOL-Analysis:threads=6elapsed=317.158cpu=1565.208gc=61.004factor=4.947zXZִF! BN]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\ZK[(~S[!):?d;uMgvdl@r)H1ōy+z,;0AՉoDC#&½glrbCdP$.ꙛ#G. R/ܪ(i7#0?11?B21)u)q0O9.kM[jB Ղ>_ -p,އYuH(rmY7fKl%wlIDc35!'H-COߵ\ly ;q_X@tO'P\.6jKFx}lFXseā*"'e,&VI44 9)H|En/sGJ'W|od( e` 7yHN Te BB[AOi3bFdkUd;0Q0!O:SS3C|]z$D2Jv.e7[M9sZGZUER`/,ܦc-0Anm7m/# `Yޮ6r d}iwOH邲2rӡ( `־*uHb'DwWYaeY j 6bn?VUY%SblgwS^Kqle6C";'#A~Іqm‰UxZe$I멳ִP(GlN< "n;i[gkhLfAa(¿SԹp0Q*$ > A wPxP/jA"SȠcR@J!W:SMW#j+ćVb41nUk#8;VpAE.h0 *ZHO"z,Xzo'n\(kYؑnn9:\(y % HOL-Analysis  M=+ݖ$vXM Ҥ4 (Ķv@s*Ȍ4_ibBI9c:aTZ p/mxs64 gsnY1>+$ iX-?|5ε bW~w|S哓ZAlqq>r`.u&kcw~4UܩbR>8\s%W`_ ~=. H.ȁ'*R4 =Ӳkuvd1'wrm/_n?eOCuR=0`/|/c.+/H_Yw)Ԋ4(EPO/mឆ52adzu&g%G&gwB@{Xh/ | V$h" p<scE5)7%Ӓ XStzf<6v41h'='`[Ko-K瑯S}߇V\[j'O1y%O7dld/h>iL^Gĉ.>+gx*IpO"`eEL|BtX++-t &q.[,Ӂ :_E,sx0мh%WpQYXYfNJ,=tV1Msi5ϻjo8X=ceS&p& 5]f4Xˍq<ˉԸ|KsF}.ͬU5ٵ~Õ D{4?1j[rCҭwɐ 9x#6>2̢ PL4[Ýkro"؉C+z$QOeA7Z0!m?*Qc1N+wiԢ>Kkq0R/=N89}틄k8(rV/[4ĥ5?xsﴔ_BO+W3M4qgF3;qG"ye,#ąݓHΙ_)XKAz ;jf`/}Ĵ %d[FNo ]_E%uǁaiTstLrea SYj<|)q@Q@^ǬKkS^gPW}FCV谢5qB`TR} 7(2QS.n{%%'@Zl S%9:φ?wuQ5\"70 ;q'EHtttlO zB^M}:=r<;aU]^ +q}N޿2DβiWS2e&L2*%ƒ,'AfG<9$i\*OU.j6La\Kmh6DjXkPHGoe x20KN&7Px'jm)mYċ5RăOD4T :f6NzmE_T%^%\Jc%|l =&Cdf+ԻU,jZ͔ ղ~ Xc|P)He3QN'λ+g@kV QF(ys2WDыKb)JxQG4Tjvg 혽蒁JFreh2xɫ6_1QҘ,Qn!'()9zpa]o[^r|f4B3^_>Mڂ޹eT93MC>wj9۫'`B"3a1)nҤ^{dJJxI诪0mK&HDă6Aa}5 (ynPH)Ef(0aڂppk<(4SUGsgx$}Qjat9h/eT2 iI66R(@HкB,oUYhz g}2xLSFTcDf`9-5t"AVIC&>m,P(^+XD }}_%~d/s2frzjْ^/]&۶M {Y:K>}oM7y_B/vE>ȢW,o~a2H{u:Cu~ p~~XRd2(8` E·FaVM5Jh(ˀǜyB!±4FNƂf\+b]uv!U~{^~:P1~*[}h9*03K"\`"piVpixjH=/y"'aȍ1\kD^5hW.֝AFz4*^ةwFKZ/q*N2mpC-s)X9|(;Ej[kf흑Uc-Vh$cO30p+ )ZV%@u>!Yjk'*%`gKEV3h|U46dlCD aV 9׌A7`EsEs2ĒЌ{,%ywp\°kJ/xg2I~"flߓ :YXj|iWDԐ%C 4%bÌt*lA|*h^x vܑ9 XfҖݻ|"6XW)AcײWM_tt{^+ydABTWz?#Njs0H0dvb2]UC*N{< #A X{[%s(T~uM<̌wDn-5Y)ZpG?Ő4VWa}&O:mZ:uºeuMv?cpS=Z߯t9q/BUEE%sl.>wH~%JT{h;Eo[ڒT,)(^5郀l4{X qDx7zR;/L=zYSc=[' Pбբ B*0(pי(r񢱹zIyqIz*{u+RrKBiŎyb=T_jH4gP̃)9W8M&u ܮ$G!+}IsDEWl<3ֱVaU.S BGhXh pv,;NVN1hqf&H{w| {aE v~sRO%hZ%SN0i6`\^/mG[Uuތ^$I% ̋ѻi,zwACh{z+TR Zunk % 6 DEyv4z̀$$ꠉht6PF0z=BV Y:YIIX4C؅Kq4nDHWB,1O-@?DL}G}E'j [g2v9i*\_`;;pqzsz›B=3 vöK-]+"6^"aD?fё%]!}5@'(]nE,D|%k-N>9a[鮷O܍?gۏ|@>2̡Qjy>{NIL65&  ?t՘| /壳39&ܜہAsaw88x&mإPgRĥRM̡#]|D2ηNb;BqYnDZcsTT!|X 6u !Q*z'gyM@`.Q..f 0IGC#mY:H^pOl5L㱛fD|cQ/;F*[-rKf_sYܩ _hva.v]?Y*+]̶!]j|b:o]z6LF`6cP#FǮhfT;63L]%x;N (r4V¼mܐj&^OE[vS g^WH`Q͕Ǥ}hD^P?:M`1gECoL.1Fi`Uh((k.U1VW90Iĥwyϵx,}%Qb}ՂMLIkB~=[׷HyWKղpԔaWG>' #j{vjş1a xW1b~yC()ˮ2'+/P8o!S;V22_Kk=.ӿn_C_19oefXqk?0h3莻Wѱ! 06Ú=D)U`*Sȼ ۧ:@{ /?LQoNZB&K]Q-ES$kш՛NZc/ [&^wbϥ7{sd mKK+CzfM[U\EkWG9k^P]F;tܰ["7[_ !|*{YB:!BObk6& !v*ؕ1c|ܳV_?dbm 4x7K . !ow닩Ԏ믮:O(T^d=Y"~svzS E`"Wj6&:΃\ZL~\㤁 ϧˀ 9!3 |2|n7|HN~BD\`d3c0S6IYu0@W$˜Gy=i 8[;໧t` Zu11>#'w5T ;bshf!INk+pku'?8- nS2LL62omhV/>]"GW`qY08 ]M_:cC1{W$n˒GhU5Z賲,oJ0eI;}b6mK:ԩ]ڛNK']Ȕ.c#.*({ K)0߽XOss Nhw]˕'G%Ch YU @8o#\b5:`)="EHd۵5׏$1ϟ#R; m%${޲"&mǵo\JRInnBϐk%`37n^#E勇ӈ&e͓?6ZTQ1|m`TXkoY!0̈́G!+n9x w 6<m}QУCDOccUѐw4jD-ŭLa7Ι90vv?3}6̓.BLNSj%6ƝNE %Ս`j֐Q)2`\m.:lXV}Mw 5C ÌFaWt-ء+p4OfV+FKcE19'KK/o0^'\~G3bbJj(kfyVLCPY!q/ $_)&tTO|KՉV[boj w{,+U؉v"zQb`H`H[96;"S2my.pZ,$h<^4ľ5e`Rpdc`5 '(3=2}NWr/Mx;N Xz \ J'E?Sxk=sC& R"=Ai$ţ??U_LCe>sVWbɕ[:1YD>9D[2ճ{혷,|*Sn; ci?4ʡR=-X]ًZ&MLdj\t(?Գzf]ś҅c\f2hkI|~Roۆ'}LW0W2?s3_ D\1lT0ņEw+xPIoeW?4, FzȋQ2zxۑavdF'zyRXp)P  Ĝljv\L)ihqChfUw?2D0loOB"h Ya5ؼ+tlT6l2A8rn (u0M\#Xr`KJZxRV*B@l prWZ Cgzv-0+!+úΖ`]9HnImֱ>ڸpV@F|ga DP9'\qя2HCŻ$:,`gPb@g2a2/6>YC朗HthI>>_S Duxۊ\AX=4CeB *9Z{saUVvWa<©F>:ĉ'BXsb?u}e|ᭅ5L`ɾ٧vߚ* kop16hhq<y#˨`*-D–D(r!Zί85LX@A迵k1p8#X:oGPC곁f_Gs?b ouDp>njƧc Gd,yx(ۖZ?Y03v}WT]N+tKʞY LNw k/GioX\Y)[ƬG|'p\~\ZI YQw=V y xqi} ש _!?s *eO# }B*qzJ\2$ѰyE83X_shb:W2h4t@I i%~dәSyE˄-]-|$ s2tyDL^!U//.Y$hB Ut2E (İ Jd䶏y8O"3|Dpݻ]&IP9wY].r8B?i *=퉵Ȯ+f~)Yb@cCF2@Ǡځ&SLң@ɉÒٞt? p}QɊk@%Oh;~bSb28%m}8K4聣`뛋虺?ZǓ OCFM$~T4nI]N1tbQlylJv$=G,q)" Qw?:(֜6vCUISSК{Zf)b=~hQۼq}OYc@V;uȷi閤s2QYGQrKTt@O6 mj y 9?@)` b8[J3eKl+$E_uxSAүC. 46=3׹_{Œn묍s @ӶČ:75iۿi n5P''}’(',A$Ð̃7(&()Lar@zCx\ep6D$a[{w"fWzF /tV½LM 6$5 ff_wS{(kʣ &~%o(aK%t40\O]dпhj?nsDIH ig?tԴۂ`>H݃Ϙ ]ǨWهrخ2yPw21{9YJu}7QB3uҳ5%B}ѱKn7"k4=ӗKrT DDŽG2*B XبvP>S<ϵBxd){0G5VtljcTLD|Gvc HOMKrvj?ϰ6\jm:`? pCkleMaHDjE==ġh˸ݻ"|5wojK I ƠW w ym?S倨Mw+ c?U ˤ AcUd.m#!p.}-CxfdD1&%v૘ 4 jV_}\6DVvۄhM-;1=\ o*9xoF3R_;E{mVJ{7~i4k`#f RPKuc6btk\h[5Yx , d)׮ _ ue*Fv(cAhi )?+sa:=>0A'li,`Fj>zmh]V3xRK7?@"cԲ% Xg(ջ,?C첺c!zb+ù K}71" 5ryRH]gotV>)AMb2  hM5lNMcYc.`:|%Xxf# d/,䅼{cǙB󴺡MXqu-U#mFM,wR@f]1l e?k_^Qͱ$ &&駩iԦKho܋&z ׵Q+ LJ97EB&GUG\9e$E[./,*: xT$8dbA;}|q]x/y蛁/ҵ`*e"C?Rg݁ײS:6okiO4gE  SAks0T"V袃ɏ3_υFVg2wq;S0uP@FX# }NV<^l \knCV3.kLi}Zq+*etV4D$-]~YVsWH-}|ݏ#E%0w06dN6~(V=c3)$(BWi^OR Yof:m>ԻgͼIEDf\k1*Sk b٪TKm*&k,mLLg(i]GGdT,d)u0BHs[d]G}XEF}0/ 3 }Tw,a[ɒ}ihNzk=k>L~e\ M-n-)>9(;YXԼp `I]|3׺vPYm -zϺZEFmfooi_dwd~޸h4iH; 4΀/Ox [&2@[&ckʣ3w{/-eж4v1ڥ/Wx᭍%yUFf w>*U@˒ȟL,ʶm$O FjFpfo"O z=̞e<}Щ@7LHŚܰnrHX7q]Hgt5/pz}r*әYpnl*fg6j 8VkPY?oSE G1FSV0 S嵎wf KP)=n}alH+7ǖ%4`Jm椓tU8KMf,K=cI6([cVi>b  ̌ a)= H5^ k'3L<{1oy>j*A53SɚsVxT'K#)(c7U1*Lxi)Vfqf<`Bq*`j¢> S}BSx,"k75 xm"%&VvA7 @+[]F'˄AlXV zGVzDLo[_ Ko2r+:<@[谘(P{&ć 'CɀӧFc'ELLŰ.~/[<0L [7] aEf ճ8Zt%&(ݶ[N{d;LEց:_:&CKEWNTvһʣVAMM*/` |\TLRʼ`iJWb"]8Q.g0VvhΛ(%Rg v@(vƠ){5} jVvE땹G?JGjav! >u'i1ZPSgnЙ0yҚ1Ѹ-&5 @o %U-UD5gW^X<{YvuYgd17Ʋ쌺B +SHp0Qz\VB;IG3~(WnW[ `Z7|@3>wZbi(Πpm%11K~U ]ik7j@ˆ6n0ɰػ-.#C9JYZh8o{3E_P=ڿ0v^rzDtϲ0nvb7G69kG)^VSR'r'3akuNDw2cxy@Ұ8'R*} ˒-ӹv aeXlEqXi]+B *t9|XeGHI)liKf% 3DN-w> ~FǶΒ x1 PQH0 *-;c.3-$`>ۄ"N*y4 *Stl"t" Rkm)`Ϛ4[ +KicNШRKLg}Ȝ#n#~x]_TC[A^>pcJKVżN}Br:sBT ˊ Z<+V2_<*)E((Oж~:}r#"aBel{d"EL[%JS0g [|[o[37Cx6 ܓԛ;hGt~9!~o[xZAKl*)ǒ*I~(Ə'py筥7ET3rTO4D;!sbWg>7T/PVi2HG(ЍI;g1Zޙ4hc֩q 2|?Ԏ@6^ӉZ!u;MsM2S{\ t}mF-x ^UTG=QA4avED(t{a`Z7y!Gd RHX)P9#0h<wiɻ)t!u}0G- x lo0\j+rt㬡Z%:"GN {e_2 4ԯ8{D\#׼ɕ@VRFo ,ܪGAse?MIHe`qV,\Y`hϛɨL *GW:t"IE%h_J>"R&_{!]{Tut;2MQcd9a(Oom'&2D= /RdNo9@ iQSNlsC$)\P0۹ ӲO1]G_0o},V,9ؠ~zZ2qU'x-E IQ Jdt`}C2Ue)~-l)LJqゔP|q7o ,8̍ =&J͎wD1\wUj! |) j9xkL9)>)CIB2b Y,6_Sw?煠{.qZ7xA?tw4-濕;ܩ*4 z7{ޠ@x^.zةc-U/ :]1$/@j^> 5qE_?́ZaS@a.XYy5ThLSׇw[d Fqywla.'zn%r B U25CL(%Vk7ŦLȨFṳau4Qo~z4T~nq/ߤ\c<,@ThN|SW+Z3%aī -5 {y|@lI+BzADŽ+R_IF#NH95Ks StοNGݘ?6gc'٬-~eAEd\tILb*|W7<. 3dmմy}ozs 0p pGcL WN6{0"C9 iVCVmNY[A%#{ZM\Ҙ_EC$ ˜)/.&Ʀw/ջS߻-ye=T~14XJ JǨLL1G|Ⱦ̯:mjυ@Xra*Eٿ$2&Ə zk"/dZ]a$ )-prL^ qLrj,y' 6<8~sN'@@ M}G! tN3Z9?."Z+ZcO0% ƫ]J"ӕ엎 ~^0 `z vkaEPys ,wU"D7c_:L{ZMK=Nqo36?XK=P|֎G[u0+Qu ܼW,ˋn*+M7'ϩ1'UK| 2C>[zGiqBؓ=/ !`)t_8tp5`ݝRu3Vo"SdQJ P+J4eZ݃^3a5jCE#ɐ{3ƆV?J6D'X#R`:6/Q}v?m66XֻznxҸMM=ҩ'4!5.G5"(f˴eGyS=J &`o ` An*Q1ܩIF2[hWίnZ<!h:_ nk;~7Y />!5ՊW!]wboKIIF>a:ƍ?KQZ,y!H6}GSyu\*Aj O;gZG,jߏ+bLꈚ_?xgMznh)xwHc\ݯKr w- 1-N:;Dj3L gOP!T@ p:iSLuU# 9a"}/#i3[|XZR}[$)$iDhI;s:4G(_ånvDޚӑzBl`y/A']}%%wRfE8(lg!$.t$yQvmW k:H }O滬ߜ}hAN/Y,B6F)bN}i`;k ^H*V/`[|^E-&koeIՠOulZGZ%yA b@UC .;KT7!y?:JX7y,VHT'!l~+I@Z&0sBDJW"|jdf4`aNpQ M0V*1lqJP'V\[3kF+ӨiLX[|34;!2Y.G#'v*Uހ\ly;czcn;HAhL"۶nD h&!m.IznJHF*`O)5 Tž˜dGX;?QhO-&ځۡ: O S`L 'lIz26c>&xFFifҹEj88` tEƏ8($TK;g4r9F< XfMs׫ngLsjg\'lX3VWC'}9ˢbsׇQO)$*`ruF4WU. s|1,Pa9i@MP'Ct gnM ^ꋟmJ eptop #RF]dC&4q`ܗ@G^zdpH4 CՙJgn F|q[cHD)ߴKƥLKQ4}LT;TiZ?J9+N?xauUxC#JȄ2A*΄9:)h/Q".^0FlvxKly$;0RER+E$69kb𗁚-piѰ]7WR(ZQJ_þd}tQwmV3&A0E%L^%5BĸS-cm'0=7)e[zR=,iNU7,hkZIɷ##fU+-hwi *caLkvgP}:\`3r[sXο1< y+%Py`>|y~Z]}t{[)[`+3C08q7Sb3mxPO(3*;X8`MB`sVZ^uއ7V?>%G»fͮk#Z2 u>ʹ{Q\s <qxÖ1jw>~w܈ç.rW؊i>~7G}o8|LSd4eiEˑكzh7m%zn+`XO!A)|cmh?#4Abw,[Ȗt7 Ruܴtz2SGh"`'*I+lc 'WԢ{P T\><X՝G%Tcb@(LZR–rq{CѦN*Z~Cyiu@$LU^g`^Y2&j0 ۥ83B .-8SDeuΉ157>l8 &KU"rص!7>%Eҡ:ӿ41+)Fd74{;NC5CV4PUCZU!'*]JKV-P@as2l໊.Z>oT{\z@?u ̯֜;W Z^ktvj6atg3kQP SܡiC߹,޻{SlEzf/ GنdNH녲zOCDg=|%Nrm| ,ܑD@?,ĕ}+tc{ߕ3 )O=)_UjNw7"/uۖ6«~t3M9/1S^y,b{^Š !1Y Jf71L2lʵ&}w_GŎurźq3_ք_ƗNlŚ4Fm]{2džqe_t" m>-D~vdW$d7fa!2 ;氇-.f2h>̀y ^$uȄyj\0WWd,l&ۨI4eu)h! Hu۪4&tHw?ghOEBR0j+KA`d2[q?\꜈,dF>J a P ! 9p'pӿS"C/|KJՀU"j"GhNLay6{JP`甕\Z1|s8} iE[fC>U._K6Xcc~qFmMVVa/ ZN(xEj'H=hAI M 过5H`'D#3kV~ɊDH7y8v,QI18b-Xd=uf e")|r"|b m" A/8E^.RCxH84P]Ӟo\=0~ odE-s"w_{w5,3 =retd٨_*ZuSqv=0Ff{siDAg!ӞLv+Sr}(:;'|*klPs !&m 7QN*@O=Ug@gU ~d@#$$T5*n@|N'U/ƙL\d|g]nRj7սa@I1ML;ԢȬyȳҹ9cX 5ۧ9Ӟ]e@-yJr,FSW\X=M<47˿3$tTIdd;d' |VB$i0@`=7 6k;R /*,|$5r0osu@)qM}RX"ߞu-Z%j(n( Z}Md]/|ӷm nҩQ]:R*]Be ,F  ^)Db!`w vhv8'*zᶒFȭ0=7b}rYc /!/r 8**,?%D04ŷ.zꅢp*B8B=IOc/P=})uDS,IGtJ#t]b&}XaKWWlNϝMjTim#?YnIʟu! PQO< i*}ҧ#<3an|apְ#dll7!cWݸ6D!X,gT:ƶȕ*PAR~!PfY*B Ћ0E {|A9~Jh3JV#XhRG q|}‹6HHa3jeb=šTu?XLbԁBg?7R'E~0pKIG$sH M,1y!8.6)Q5RX_iH&l0RqgLnƜ:f튋qo-XGt eZ9zcFoPKP{Z\VC,df ,[rG/{ g6,JBFqroJJ'c]]T4t\29%p5;T1`_$ոuhLûݙ:y7U]503תlY[{b5,.ǸC P}N (xܐtͩ[D'i*}hH]p3,r Ic4gRC[૬C}5!R<Ĝ?>3Qh ȜejS$MMFqrqx*JL"[ɦמs<,)X/Bri6"֋,iWڸdKXX?ٖ䰀9e!=$*FvՠX!s> GH$i@E>9h,KQ|f֚MmjEu'a;t #tȒ%!+ٿiv醷,j3pv=%jCUqRp"#ũؿ^Otwn PJ'TI0aN fZmt7fK*k|EF1L} D[8BMSYP"՚SUK

ILƊ}L1ޜbi/Cr@3 zMiBix`qw=r㐷BWD E@c`i(Km T5";st¸ܠ XVSqZ3= m߿xw}C̈ބ5/H 4&.> 2s&","?{9]Ez8fD7[CHkeU5u{3IVQG}JF7.Tv-;+Å cQ\`D[> [SC4"uӚt]F;QeT(i!밉=& :#FZ8YUc'?>Ћ9. "jP5%尿p_ލKbZZ;cYeG!^/_瑌)#=2ij9I@#~z+xǜf7Ec@&dEZĀUK{l '?>(R ln>ZhAOуF?3Xk0wIܛ8Tw֝2aiTYz=Ie,k `J ):B:ؤO~%^c@[6zh2X{<|e^O|Q5 hF\혫Tew$V7!.uת(MSVP.% P 2hC_an-g!')aMy)@}Ers[ j8CbVUt j:k;ц?/h-3UHHNTFݹPLt<—䪀DҊ6[g۫H%~b.JFY_S*0BC-A 4U9lRQQC"m|p螝.2! JP1o.td֙g{[tY}.& 9o6Y8hhDeфio̤or=3؞̤#I+Ԗ۷R=$atNh^SVأ;@z)K4Z儢E ibGN ||#?ҽro'Fv~C3Yxo*k۔D=^e\FBtR[P}ND%PH0cV [>+ ]に!(H)wۿ4xts픚*avEy5;y67|q)h9#K{-[byY.ZɆL pMd]ɂdO\#'kp^z%Xp[n-*"i}U20"у#*i \@~^a;G݇'OJZ6=)ޢz}fr6D0vI(irc%^`qi`5\"C?ZƗ]`̽fr 8t᎟Rea*劙6^ \֌n9HSlM$B_ɌNAg2; F ht$g &k>,"q31& M}h[d%ueԵ q߱e} ZTvɕ\V%#\-?7g^p8>;Rd:.l'a1|Dh#ʂAaoP(}zj^\u"#JR;RU#AQ5V>u8G0jp9uXzë6oYh /,Of=㯏15}b$}"[*D8cz@f1dM&E.$cKa\34?AZ (:z'Ja` MV8 } n 6SWaN;rhrl[X&קJ>ZS)t*=FK譋̻65[j ME8rN彯Cim$uDzp@PKn4z7Q4MEbXz5ϖ8bA3eƥ8pO~'S{w[&J04*2LEA$ww,Ψɻy,،k^gfг{< I︭]WNJ-I-Wfŧb(BLj|̤vG\=NO6'n@]qSZ6֑뽐q%_xza;)zJ?A^vAKՐc!_ MjmBFSɢԧ( cH3=-jK^wCFi?PPpW{)4  D5\٦-x(^ Q 챒bT>'Z+69?|DF-mVPq{6?+0nP b"Yxr}'4AqKhݷ^Xild#^#(dqGWBNv=8n RN8͂lZH{mS/C f!AH.z~.YdY!p6O =+Y sVd'RU3 GFI5^7FJ#*x*(G::GWu[73;Z^MO̿\YDܞfur=: ,ЉI:K1ѷ9ƄwjR9pq)"Xkh$QeRO^lХO)e~OpO oYcrWdhk~KhdG"ȯ5u@|ofюd8*cuZK1 Rp]S&6.NRspN>>r֌Nչ/%̼_o*T4 #QyꙐ$C/HB5TQзnle4RWНaϽ覍8lˡ7{|ǿvɌt 2BF5aB_2 6*OAUB'KHQEV܁ap:dֿ ;ˏGv#D)=։Tg@ Hr84 a{Y5CJuDP[(bDz:T1XF4#̐X&kZ؇О EzDjlkpEQLڋt&E#wᅖQmm`VߐiWK6[Ň9t(C9 a=䱛3n NKoEq233 jN|GE/fl{f#9 4_¸DnkITYeV`Rh$h [MZQZ}[H sTxMm/ lN_s(5d ]Y 0< 0jʪϛr\Pg l9YPMy%fڶ]m (Q 9U Vee Sl tReBs'C| z5zY" pF\=Wm7w^},O q) pԐwVNasV)J8C},g~j*ی6DB Y4$Q71@ A|JUqK8 `AmfJklmp]Ņk5кt{׿ xZ(ϋJ=R2mUW&K"‘emV2!jct!Y${d/ SBbvkR4x)ҵiհ.Wcf%1N6FINU}QChpܭ67d>\ 6Uݦch.`L 0?K*mWŖ/&4 1YTl:^Nj/D4֡hMp.&a}w%ßϑRO߀wCKaSΚ a='cM=h;o[H}ro/0-Ų7Ycfawu䕰N&n/$~d86akQӓ (j4B!m%^u@$,,wf!cA0:@kJmCT|gg}%ڙ1> ݿuhO" DuQk*[ɶ!spXfnukҲYM)xGNc-;r'FibS{e{#+>oJ;<7]A(M&@ e_&RZ_b<[3|sg)G]O2hj[($ōK㞑-goY$VC#ifSTy/V dFj RC=_nQ6-e=N1+@M XbO`73B*4sb/77r/X2DLXl> *YM6u} m+ \I_l4mPtϯ8Zxm! znzXlMum:Z/&d8Qâ%[zWGaנv,+ PV}IB10"y$/ad%ze=*dfO'߰22az~jk~JppY}8/$5BҥlfSC|\!ڤ99S.aN j:xa:ś*lΧuE!P &uwGuʌ޵TR5=F8woᖺZwMո1#Of,L)` k @G2UU ӣv)| pG@@ϫ,@A:nwEN Y|~# D0yR+gN^[B+BkDP'ŌyݴJzSǫ`zvBkg|WVC;P:eZ0h΀ڍ51yX|LpW,q£.@h ILV(iK ~i|˪؎+ɿyi#_Q4 EtHbDO*Ӕ7lR^HHOnE`޼K{C(i;/~vI@mv!2'~k /w)c 0rSHɵƅ !B msGO^H qhQqt'̓^düYuXMx|=.D^Dߖ;7^-pUߓ0,>kߒϚTAS4w+)rXZ.!ZKxί{֘9War=h^,L.'E]Y?H6sRoIBE-|[d6 BIJfgM&]W rO |Uu2cȁ kҙ9Do(%*J|nݝ <';l u7?ߊᢷ{{g|uwa0mnXJ --y6.iB[,:gqUl>I$&et 8Q4.-_&ο/35_Yv*0Oq[xTH!H'FDgHD}^PaP' د<1ZBIM\h{a%F9S cz?Vve C96"q$arq['$BXrh754K +Z{UsX\ŝWBRl}q\}H4%ZA[_, /o34P_NRE`HQ7 Q!Kݫ^7$}.JP7NЯX_+P /qqYS dg,7(gT#y f&@R9Mótrؐ!\UZʣ&76R0 ![U6 a|̒=^ԅhmkW㧴YŁ(2hd3s&$HKQߋ m;߾炣i7?i4c UtL)aji1YǢG3%!Ϊ[+1LÊ,؁9+6j /f2Rĵ.#Wjc+O#ʩO_'WV8=: ngu QۆpHrYo "GD% bAط]KUYJKte Siǭ $~ڎ( +i(IbrŴBpRO1{jx}҈Vd+"k%q2mgX[s/8%> ?\Z :8 _hrlTR%~k *LaƳ~ H1Ukb?G(h1v@NIAt+L7Oo; ,X<ɱ5|l-AbB!s51>sBT5aV9JW"`x?n^eWSOVsef8'VPlvĻx4% WشB%rP(^JrM#c+5PʦNwQH/Ɂ,^$CŮi q$I6>մ=${ewl"9|cbbMi9N-Ե{&%|Kr y hsOt҂7ʾA:cq ;UČD{A^m-R5SUE3r\;gJoZ #j8gLfxXܺ1C>zbS7 e+U-n1gNL΂}4Rfijk;uDfj8%r^p +f26:S:ʱBAO =\$twخtĘn38ip'G01%(hvQgpj#v CHYr'4,5cܕD4ecpN'TU|qUE_h^{]R gv0^=_!0cBΕaLl`U^+ovdao*O8\\0â%0,a?yZA칸N2~;t~VKgzB>ELN.JL!OIb7\ު47.SWB[ qFmٽ47*oӔk)ʝ7)\--Nd]Ƣam5T $,oM$It84$(uGg֮cQAد5OպEiw #N cpS@Y?{*S͙,[r=cgT53u`I Ŝ)@x%ujEczeVm R0iR%5Md]&Y+1a#=YB&?2  l;Fn r>C- K _F hc/hKN "XOXߚ4Ym>jfPJ*r ?T[]N<Dҥوjsgҧ|U~_EԮC R= C bO0dO"i>stQe]H֐g˔_ձ)_剎̪|>НjX$ Wr6}u >|[̏#rլz-N2a 5z0RwE!5Bm %b7y1 IDgO/u'1ۀ oA CW^?_BL|(4.&Q>T݁2't&s&,"SVϷZthحOG>*_VJR_Ɇ$sH*]ޕc஋`: iJ~|y2l* ,_Lp֬ Z|K@~A]usQ@-8\|7TW$嵍6 B99A9} ϖنu~G-(l*iA-Ԧ!h٫dQuݯju.Нb^)/˜͹8XK x_M{m8z'TEփ.Cefqso/" ۿapְ ą[eoW-),-ZPTQ( Պ}64AP#`vPm/}-k}Y0MԶaI`YSW _0+3YAb1IOMva_u3b*FïY9gvw I%B $j51V]E΀ {u)ɌViVM}шOQznz0͂&)8W#Mk72ܨ7PTySXB@UU/B R)`n8clWBY/vKUƆ?%8@K8zZOԫؖP]0&|qB}Sp>_'+ B4z_ǭվ=ScĴ4ǑBFɆ ث8ײO;eaL['P=vLq;bC35]K)wpC W.4TiI*to_{ m;mjNgfIJtV6F^ƙ٥$޼h'I$Z(aѼ: O ONExrH712m{+U]ފbžMME^P[/͚ǣU *LlF4h&`&:v&]qYzg@mo,b'Z@:^|wtzse ˳ٔwmO#aMb{du;1Ss+&ѳ7D $b9e!s Z&zgd/nDB;͇-SF,NJ>Jd'F ש;30+0hmާ tq@ 67C -OH&xŋ4qڂ!V\q( XOLuqe3ƘvO}IwKEVO'6#`z2\:+oP0a5o~8Ci!E꛽S>RAp.TN)lL{?pA\M7'@c_v.lX 7ZHXl5:P89f%&˓a w> 3\"#-@%φE'nNC?+7kLw6-n-y#aCc,"$V[a~Y Hyu&zC`4M$S BVsJ<7>BjpaҼQlt~_s!ndUKUc-/LntmT b=U pI&{IhWi͝m Eb=P=$kʏlH -5PPO&帇۩LFXuw*2:JBΧ]k Z9qݪAխ1j"`FZ)O=BJiVwfdErgR1>a"SꞯVY$e G*X⁼W]pmzzy{"jUǑxœE0q1_N :Tא=k 󕀨"c_fUw;IuuBdAҀ RH*`Ӵ#N*-Z\&; j|'6bVqOUx KoR% y^!op`@a-#TI&5Pp~o,iH%|@_\%['O`/= IIkz&|#9~/L3Ϋ۶~Q>sx3A-Q~jW20Oe6 ZcVSwC#uwP.~CZ1GJW&w2iӝB ڏ8R&LĎZ }t VA&aUω$O1) -RR {@~M=`Y: "Muut !5u&_Ūm {B2ӯf(gA]gEO79G\`yHDe/>=ષGPЇ^,Z %#q?VYS8^=.*A37pZ<|WW9*~<-x]uԛKk?sCƶƊc5N0g@Ne!QFy/ݵ)>n5VܭoqdmN#WޖJ;8@)_ ҚíѰwZu' sJz\\ZfHבd>dm9` 8rsIwacp=EqLqk1T&1NNl,|s a'f9@B[#:c΅wK1ldHř%%w2~1_eNhkCIg$ _/Y4㲹#l &ő4_ ᡌTX[궜g4HB̍:q?V߭, joXcc}-y% 'oJ-m̆V Eԭ|?5z$XVI jbYn! v6u pECQ&BYuR>Q?|Fb!,>*1]g7Rx'p^>!MJxggW\ⶔH., $*I*>O8cFק&=m#a\nJ` EOat3 mf`NVRGyxzﹸyackID_ʾ܍~G>Tv߱u~6:Nq@P$ݭ[>gs{= @fׄB Ώ#Xܝ@h66 ZzTa jT-@u[HtW|̏3.6M?KR@YђSmn*T_? 1Q .=훟jJjf`@+Jz'74l.%QQ <(48~hdcsT& { w-#OIH z]ky_Z lf|LU޷"R/rMVc'+5I (  ؾtաQ`CODXP+eo ;]90/xrH1owˍDܴ0KM?WJӲeIГssIO|m ㌸"/{70U+H# 6llUR#V7oOkyD܍_;J@d.C7Y]7]:D{ jY k$hz12]̼sA[PVDY0wutAĿzr"ٸ[$qvp力uf yZe,92:?Uˁ]^y{H#6әYTZg|>?s}cf8Ed $y- FwLU/c:5X?+ dhFxDvdOUme}I͔7?fJ>?xuKiDB5zx)_x#{DjalA!|GB蓿"uT{Z,G̅;V.HEHԈ_xhqf)؃$eAmujgoڳ_&3IgQ{(7~}å/ F_K f >S1iIֶ b߶69ˈ=>Q8؝5xPmb)]:5rbaM>#ÐGig)Y~}\eKeQ`_M;1܏Sw6abr[@#״U9=}dqPcl S c#U`F"|QKw 476=o6|⍓ 2uM9NlTWO,9nZ?>Y o!徯Hah T }07T cw9ur[lWZ01 wa7Z2L;Xѣ Zp\e6}/?ZY fّ(_$:Ʌ*b{lGߴUB_]83士z5𲴾I"#=>ltu"RMR{G+xG.oKʉn1ņg6ѡC^((TH8mIsżmZm/^`7G(I %4.rQ]5Vxuڭ{>t#tzvfa]=)p-\5iv$*B34Q #0qQ =DSN䜗z*[C}<mA-z Ze.$RAy$>x3ʷtkieVuO#ىC$[ag'g^N` 1' Y ,>N[7-QbV Bp" 1Jc3>S THݻ!x WFLgE7DΞW=Y*g(mg~QK.WMH0Bkc2 8^dx 1H{+;˳&\$r=KmյVgzV,GӁє7Ʈl_t^g42z}J|3U]Z[JiO`=6f S{YȺrx &WF͖s`oqބy%WuD_ccJ0y>g- 3߃Z|ܵp 7 5|i͗]IJ)Z` YxcϸHf Gպ+N&ljmXd\߾Îhl~) ! ⍍t8|bx}ܷp =={AΚ]mmbCudh'jFUAVh9*0As~nuw!+&53DeE4C7^6Zw"*IDMNoDnw3dRSyf8g/\?CGJP&psx6M)qejZxD} d>+o~ EvM|x8ld4dc%?;6],Vo`0WlD01lĴѾ\R왩KFܣe^3`k8:m xTbd+ j;U9"3"ȍs4qUKT6Y Xb CBs"֥*Xu*%F(=d&tJ7>ݻ_{+.P;<8"NDba#@6n~?`#ۓxj%~8YRS0M3$!y6*WHh6'j kQ!RDx_#=!;Y_]X=FB'/hs8 R,4v*h^ᯌɕ*Bի&DuEC$%А<N9Ƚėf=[`O vv!\,?{3(Alؤo[e[,>p"k1{*r:XM|ωMZMʳ ӷNXCTs/Y$qhf$*lDW iInay_b[ `Ro=dr׍ĵBh F.b0NFu7C2IMQݲ/uj)SHܵ_?@-+LkqDß}oiԖAiyrz8CzX=WJ⤯f#WiZ/o"CkrNgGtHu0xڟ,жƕxgYUJrA߻aQڙ$HTLSyT&F}8I3zR 'H{}c=g5Z!."1Qm\Ww )Ӿxd '(+;@"X3䭟T'%cB"/*jX _r 8}L¹t֕Zw龶2aӹ&`0s؇76Ҁ nhSWT!LfjĩLLݐZ?'ӭ =R) &Uj ,ץZ 8&I|Wp]Iypajg׊hjm I[`%Cs׀dtlӋ131-!Z+{ q DTN U+ۘWQG1_4i|86%p7;:P-l*Zd^t#3sJ1 ge-(NٷQf2c @-%&t?bbNw#?= $Yg_B݉H"}LD)|+uI[[&mOxMk( ㆒щMh/@Y*I4caIJ0k+n'eZ1/N L&YHu6Ͱ?M=*E{܀pS{90q1'ͨc "nӾw]d,A4yֆ(;V)XɵU ߻HϣPAPS_D \lyMb!04iMçE]LmC`YIZ :k(겳:/)6"WMcMR&!φC_s3Ց8߹h:.ȶ80K <:[}xP۔g9Nn^&Ӆ[6پot}§;|!) W3ZW= xʻexo7&LOLQzs mP%ЄslQ Ъ9S,,~,#+( qNr[j]fDU܌`y癬UNzơ\!1&<留w{EY%S^/bOxVq\v-QRבYpjIm[T{0e6,UE 'HM$ MU<^vY>c)9sRbǞE[J~d,i5[:y=ŃƎ4<{\f?PR_&Ǖ=\3L;oAgؽ]%=9D/JK @UB}[5) \R "^NoufԎ˵Im )exq: RQBqo6+H.F5{$PX&N8=i!#a<:,@1;0)"2Z0#(z,O$aֵEOzo\DݸNRLr~1ܱZ`jel^_E_2?$s5Ӕx%=m#>Gh1D Ee8~Y4BeXΦX~!]_eefvG;-"!0p=T, {UmŎ]Zi [- {!E3R!wA ExP\z| ɕL5ACP!+WW @U6ue4Bܙ*RzLPirc\35Ѝ^y0[@IFUirF+hk+|f^mw|F'NUEEq& @tAshڧXMR@h<3$˯6턩AS·g&"[  XϽ;glD*E4Uռy*v|>;4Hƀ- zx46dWwyVb юIu/2f_S!mu#?Q}GH}xb@]mB/0r_˯ۚS0<4#*q~GƬ8}R:\"<.|#hk6,+3=GڍD&E%J ck[ #b0J\vZlʚpUw&u8g jf`#oQx/R“H}%P18DXȆg4_y+d$d͗=wAGՀ{E>#TFg8rhЕN.wRRϣSxӰ]M3c7,&EL"SZ'8R"Lt)rj43013F mG0xR&s  aU*W% wgV+ x;t_i=-.\*~^VdBS8ϖr\u2beez?qP:M$!>((5b50ERH¬Fu蜆@2{X \&թ6PZ Z\?x;~7>dAR(.NK0G\ 1/.s=6<*봺#qhuo,]}5#E347C|CٙNBH>;DlE85t_4 $19yTXRK )ŻIWQ\DV(G*8ݶ*L+Nr UexdUT}ES,9({b9`ZC"B;%K.+{ԷPf-8F |T$Shh wFģ 2aMBW& ` @ _eMݢ*o;°=|TNjWctjvlf1pa2W9t+MH5qiX\$BF$Qyw?mb>f 72msO?@XuTXkoCl8:?qE-/_߂=# GKmSm68p|FY6yk Cej3.A#0o@.d;@Cز#ȹg֧ǔ)>Q'Ӊ(}[6S8{ DDGFgYZc368efb3f868e9d7596ba043c07d426d4a7e0c1fbd696809c70613acb70cb901c2e1e6285632648f 609f44c41d03923b1784e4fe74802b6652832cec03239c181960787489b5e00a3b4452a25c1db34e