SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 l 4D ] Datatypes:threads=2elapsed=40.396cpu=58.876gc=4.436factor=1.467zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$b $A$bT/Q@ɓJՁlG SBypRq͂"E0֕F/vdZjM! zAcۧ8Ꙅ jZ_A.eXbk_`)| S/Cc8hpתت3@(TD"Bz]"x)]'l'~$Pߒ [.*2v0'ILw aIZ9 F!tw]KRXhcpAs8zX">œ4n="&脄cOJw^WL[5PēC"5O3iI4ib(<r e3H&$ۺ vPA R2 r/pNk-g#+= Bgq$r'UDG蝑)gF֔%1 Yfdɍ2Ztn*T z:bڰ߯Ǣ!Bx7Y eQSޒڌPl\>?C!ռ:|)E.-?Qe 痘h>xSE Gho]JCn YC+&!Y45Sv,;g(}@wME@9TjB/C{ZƩ~dJdy8L'ZB aY=rwW{5$ ڢ-@Rr&Mg71ºZwcRH?A?Owe3MdUm|WlRNMRL!r&>MYOLT-YR=EO ĘǤaymQ~x>m_lF]1icKl2/06Ԕӥ Y&0!5Y]*V/(`#@NOd;S,ӏlzG(RjQ!@,ǀۈə.g Y~Nib*bjr ΜʝAf9Ml`0d=3i$u?.(8 *A@ ߱[ڧAoJM;ͭ>Rj_1թNz%Ryrx zu2/)AsnnȄɇ,t_"m'9X̘1!хeEg.RGğw+Klrd==_VQ3.5SqOqbZ8s䓯i.CbnL*3}DCX*.-X˷Ր~I 􏒣Z?K;ǿxN݋'T8O]efҝ<f>Pq!*WA`9*fҴCc'"j , wVY6mAϙ *[l_JF#,j_T/jm[NBBPë/%Y'$l7<.'P\st~4 gəO|үu~mZA/GˏmX! MF5sDc|7?:N?2i>#>zc|B6GQ2 * $4>SٯL"gXF r9Y82*UF f]MʞscFD8\ӯp'*;T rZu Q$c@C%76i@I9ҁ䙒ɐ/ q` Y:Hf]h@tn{>ZjsVv QaPcn05uӆu$cN.pb8 upn*pmv9k BIʕ/4U9adcMGMgYZ4d9e9dc1981f460dba8fd09e9f6479098f4616ce04546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69 fd74a6dee3e5c7237bf3cd94c82b97c12c86e062   Datatypes \\x3% DatatypesDatatypes.Datatypesdocument.tex7zXZִF! ]A-MՋhvG"uIBm5dΏ[og,Q<#Wv[h'9A$OP@T`H)i:'q>59Y۩+e=0@chjJAd*!-jf[k_HHtI=zHljD[(x66Ypkˠ{[ :';k1+ks?a &Z#ivjGZ^'PKi|g%:2o$vôQ̐q3{> \cupy3 KK|`mpczG]?eÿNO b!L NPryȕ@yN}Qe1&yD&ˈWdo u󉏈Z}jk#v@o.8KwfLBwHdAg*wr58ɾWJ{^rea !a4ڜD6i2ܹT0,|L7b0h"8^1G@P\OǺeD6 EtRO/ȉ@ho;qIJȲ8$ |(5}EF|G]CU6Ow*7|Q8g)QtcK ǸWP"ſ$M#!콌N!EmPR|2?|#wy ʚ` Ki-z ձDv)%G/ZJ+li7бX?1?Fz]&G%BP;A-oaTņ w[WV%ME0Yze;+n׎tcr]B}N(8~+k=v.x+;h:XW0'5rJKVFHsLߜxLiғ]#iV92KY&̣ mL\Ͼc_66KA_Leq O! Z݉\q|ਚ $>ەHo. k'i"Tϒס 2SREخ(foj]u %Mw_j^ċ u|*Cܽ⸘i\C{ ] F3 U؞ј \B쮶872J(wӣe-5j"j.K9}+OӎK6)$!@oh.n-v0 ˰|P%ss_!Ynhΰ3@Um^d(cZs1h ET6U! ]ف~=sL( C'JM<1g/Ӫ5_ &a7>r*dTs"ۇ|8oTcE.H,b/r*IrFIа+g#ؕ3}4`}u@v2Jy!v~HFae*V{{I0!sE[yfM0.e֧޾©l%PZⶪYI06緣D~OsĐQHsМ*EgY.hX42"򸮕Sd;67Q9a0l&;| ء&ך08րC(p/pBvV:Nf/ b0lUf/6tq-v'NպQ*}@1Ik>8Wp#1`ӓKA*Oz.G+y5҅s_yOf?W E.{ Md:dLߘB- ZԐ?<F c]G!xcl[.z6fnXP` 1x0SFu -NSh|/d*tjC@%s%O,ܩ뙻H 'H;_ 2 (m2mk3#Ipx<:DL%#l@#* &wOu1#>S@d[ܐ`}m u:oNѹ ]7^%f(taXЎߓ $,qCX2>זO/ƈ>sZgu6z@tF&3:p)Ww˖BE_ ix˶`T`Q2lVMBFM1mB ǤM`ULݲL5  1DA3:R&W`Z C0ѧ*It_z*E?$l{"BfVfuHKongP&P YqY(DN!%:e>,fHtOcТʡB| E|DbhH O.. T̠<G5XL9[\flzW\{N-7-]gT)+B {ҏߖo=Z)t'}X:#-%._s*jg)$ۗu4cj#E ω!f}K3y=wY'lF#XQcOtDAL 1Q! v/q(qS(NҲ<jq-m~32a,$SG}ÄE/$^w;*뗍2t35^ڕ =v,׫޻6y9~7Ft,#R2O jaS0I-ɊG֗z/@(崨Fk84*ph%A  isw+]a?M-|dvŶ{6.N$ԫ;0Ti8AL(gA tpbCEodB!̶8JF\.Zcq՝quХ5.\k/-Pݧv?.T(ic_́Uu8a N,KV3ov >ꖩߛ۲*boв9UWX֧HCR[ }^šưTR0?j2,#*` t$*S2 ;N t"q:6%%HْIn⧝h v}i\ALbw}Q:CLcڧ~M}ee#'0cEe&o<~ ׃AMq-0~Xb;RB&m(. P׃-ZUn֓HSB"dٲ5ۢO2I`btЧ&G[cj2ꏥt|`xn} TLAEV4U1S=ɍ:E4H Sڹ d\8)~ aZ>;̮F,/TP ![:[Ͳ4djњ],R!I{e^13xa$YIY:v-Á8IADFSe($E2ߔ[,U(P c ` YR펏-8Ʋycx ӻ^x "j4+ŀ39 rn@iYr;?s]uf.Qu1؎&92p1|ʜIK͎&9AaOPˢ+/"m;489x槙o7^ %+-Me.,8麬u0f>J-e۾D)>+tkgM= '{B\::۩F>iم;;T$ʐZqUMB$ɢ3RT90È ]?5U* ^2GD^̖3:39#{#WZyKs aŧ0#a)jGViJeFLn%P½+vh۩seov7d"` <_#sn7߈! ^YZ]uiKzg - 4hy?jhaU:ҕv5mtj[Pi8/.2,.!^O0{DQ<ѳ j! )Q MG}ze<c\5nV5LR3.yj} FJR2_)=7!EqGUO6\tql8u3|Lb^Ƹr ́4\ 4aһֈyCB4ΊZ-9i.s;l M"/llM<5Cao#eM\\ùĒRUݥܤLJ W񏪴0"^xVmsm불[CVgWU3D>E-' jPPAAW31ibɲDԊ8 +,QjPYnH'z Q,ѲgM&O;e^VH[C?(ZE3 fK2>慗n#~XOK~yؾ|C/g|[HT0Q@: { #M>;SnD㫨줿&)ﺍ^#|WHd5q" ;Mv+i> XJW.ϧ!'¡#e㘒";L;k1qKl9|*Í#~漻$FlDLC-!./TnVP^^ٺ$'S0_aB/FȜ9m!QLq&~YfSFmhJsPW4x[:7Ǻ <:Ш FLzĎ /V2:fKS8 }{Zdσ'+ބ\ n c_4LXfe)G>Tta@ʁ 7#HPjVlioU F҆5wCYS^!&JJQis|v8[@:~Pr[|5:ܿ)%:}Y(v@ mRO[C { BQM=cF@6kl 2k:sUNnY`+N'3MoWV/(ϽYkd"72E$-vBi]sf޾EE@6yd}$ +bg^7@HjσX,q1M71G2+gXF3Hr--$)DY|*(Or\C>f  f͢3`Sw=kZk R ZT\~O C&&w.pVXș#|@&{.N3}!1mJF[77*_MY􎫠Si$Tnra:b~# sRX_>2[ ?{Y|c[*oQvI땾3Ix6RQh l+A)b3]?^Y4Us@O&Kn=3:ZCQhG1) 'vjY~Y1?İfF|fRۯOy욜|2Ӑb +aָ.~A&F.[8aq{.՛o@x ,M?lz u*}n%6֫}3j̍˕ {C޴^& eEɭScKגVMvԛ;ZfV,c]5AErr,#_:D80Q׳Sylg |?\Ymhƴ5 F`\2ʴNZ\Di#Ug9W} &8gc9 >JlLs*WdY֍-B eyîEh^ȡC8H†+£7NP c|tQD8y;56[ߙ!BtĻBz4:"\k,oaLBR2 !N8zƵuf+zkk΍d*=&aS+AR!0k+hF~Y ULHAM"z;4z|ᗹ&ٻW"Fa317SS?f,]L֔uZvnhK-e ˆuAYι_^rUg^>2hoY"Ѻұ/"C}(>pMTwKTӂc* ݦJy2[L\|B:[W$j.cP[%SZ~"Fka7gwY pE:.ҏĿT/C#SO) xp) qlR'Bٛmf`\"xU'@D=̣Ӽ GS_+0gM'*Y\/n1IV,0-j9s^q[^B Vp@ǰ{B 6/v^sZ8ݣyb= u)_kZE؈5yo`^a)xOk*7~'w(^?ːe\MR0Ձ'ebfɱU& ^XE/&C ~V qu׽ S JǁWh uhoc\0˙)TW59ܮ:IM\:6 -% p-8ۜ4<*g>ί]̣H{C]#NXCDy_Us"Ctc& ׎.!E>BESı2̖xBr[ {%I"4y2Mfmoϧ&,T0^R-'@J9zI7}XAH*Zoq׫ ?tĻ"YѽtB UmkQy=ԛO:?sGkO#ɩ\@)SM 1iև<>(p4tB>.|~V0PL|J! ;a bJ*GqdefrmEn2ƀLU_8< [+= Ϡ+TTk~=t7m0*7pU-چ}$hg4eHެk)QIXbt@͐9F:VF mtGjaJMq3prEթn<*>?lY_C7aڋ~vZzY`7zh;=k=o5C֓s]8;'qC?ЖwA{]aIt3D ! ĸHi84)EÃ}-b 8,k^)=4AIY5qG#u{)i~_Ǹ#[+/K!♥0uھZ>wuBR^qJS)hynَ&Oǧ+%`Xv?]^5[:0B4~Emʕψ**&!I#کE "b|_(ԑ{MEb9\F:2AQCL|a8&VoP2v-'| ~ HL;rV'&kB;}KbStOvoh7f֑B);^MgC_^s4`] "aq Q >D+*՛t|+V秾 !^ؒr܄F7.0ɮxX[#072K\uEG(}ltQR9$#:BkRtP Da#?tNIU`J < #p ^ E17/БvԲ?][dYhg(܎fMA˲Ac訖X 0`qAYy{~ByK$v{y74duM |i!Rd P0!uzI+٦bfvv+ެ c#+NamNjѷ:.y L2 ^s,$^E~Ŝ~W@: oͿ\H%M/z뇇+T50{̋b2-F6Ceqk]P>.1 R]eۺs4ovJb^64yw(d!dZpL#<.1.z"@Vؾ#2WIUjZmw%n8AJ:bYXE-r+w4Q1<+}XF$}Β67/kPoZIs%֔*/ LdwIG%$0r\Rp92]k?X#!Y4Ë r @`oѨ ?ʓ]e@8鳒*ӳR(\{ Iez/3i?44Nf׍]zf}Waük9qh"22E uɶGƌQ23 `Ty㧙ܗ!9$*a(^8*mS~{o5qf<[3d AMSO*`Cl{:XSnѮutvֲG"s[C3>C(OKVćO2ŜuHGTUjʩseY/ 2aGy=u%&:V2 Bͩ6~֡ X17sϥOLPZ~}JT][B2]Z20o:c>B߆Eq/2?1LD6 Uiǹ9BU^5]j J$ P*G@飉Kܺ "(D\ɧWy$+ 8 PU\vw$"3~>#AT;HI!idzmIxApھB-;5K#c꠪{xw%KZwhB[ ܠPxwWRiT|BH}V9])〳PfvJ )ʵ4*4xst[Cth JH}?ېLEݤdXJ#?#lHKК|bE%ɝnDk[:9E=Wx]6@/T!E"̇0c:SY#ݺ9bbO켏ZNxp4aŃ" J~F5~㮽x[cZnU&B(jY񋲑hK0|*c=3tcqT%2{eqn=Lh?kn o_x\ǫV|!-|dC`$.>5-gN s9$-W9ɼFˁPbH35VoR~g# mU ot"DZ 'qjU\^\N%}LXÇ+(AlN#U7; vf)M4P(zwQ}cMT&0xE' 0G5+r3ޝb!gpÃT cu> d_Dڳ;0ܫ_,.|Qb66 ;8oX}#m!4U~S~G&xN뮜^`k55"2 E~uqGS.iHULFXM |_VO&|W?d500X1s1ʪh\[[QTv1 qZ-2˲yK*v FTA]@tb]عQK/T8Qϑo/B]4n:Żа Ց*'`xkZ?lQ1O~h>Ȃ;Ad~:Y>_SM7CWZwsZx[Ji] b29p/%[ݪ(v9.@aQfzLй'ETq#Mڮʣ:8CuBC:FvsK>T0a/|_ ݸ;9Ҳ]g%;<" v'DHa3 1~%5 &\` e4\EhPBۏɣtnӔcd&*DIҥ^-˼>*bS?~M=*Yր0 JWL(vĞfGXNTc-'Bxt޷. a`ij+~`?eylHWNRy `VsH Saiĺq Kcj2'3ybxZrm{]'8)3 M2ñd ͻH'ssxA{6YTI ĉ-&MtCQ7&^`!9ѻ X5[1hU&х`Yg%v'l&aunYb2n%=雌ԾddCfoMVz\\x& Kohˍ1A;)̖s#oՅKt~W%;{KnCcc>dЉ1aLhC-EI^VjI )W:؇GNZBR_\rqI݇ߌ4~c`a)ZVGWԻxO;<0t3AȚJn4g/8tEk&͵"Rv| <"XBrԋ9/aeyse96Ju컱Z:r{τnxc>[X"C[҉W#~џ{کp "B{ VOD<=_F õ8Td?q" wLh0&5 Eu/}}̅ǂV>DVNukut.s.N dB!VH8:Joi.ٿur'U0} 4dDd}Zs@4nRw,ݹ?׃YeaH?jO&FgĦz8._2.#.k=ir5‹ #Èބ.?mC24fHbq+dJbPaW.vLb3qvnjNV_nT닞봑Vk8I+#PDJxQ|SxJ/[_NHMքk?H@+۠ٵc>^O 4 4@9^jB^ x29f#%*񓒧01ֳ4 ^)V^Od _o3wl:ofpX;Eq1F,+:^[WrTx_Y?vt7y*/A :vi|0$cD zJG=bӼk)߮j˹h9z67MƉg)`:*WÃv ?ggHotrgrhbgj` c0qnV+_BՓe[2frz7-߄Q^ 3sTZXejdHwd17\oFs &?9 <&.stG*Fmv@1y*oojpy7 .յlȳp{ tU S.8a6}OE01\sdIe+$eLˬ/淈 J:ַʈpWXʳϴ 5Bg8̅gWV<''0·{/0,S@S9 %*M&K6#] ~J) %oCd4m?4J0 qq ,}[VRYN~eWN9GC+Lx`b)n=!P]FegiWX٬潻$bll7!;w½Ic% )kPt i,QG~,B1V]'6+݅_WW:6h#QJp(G)v?m}K reR\ ?SK%K+rQ2BߞdvT| Nj| z1j8#vꬠNOqy'1;ujtPv Gxhh&(|XV rIG !2ӚOa 6 q[h-[h!]-:+, (qR`l`?#^YIҮ<ئ[ _iΓ|qʆ w?er;ugЈ/VH[V֍-3Rh!E#ʫF3ͲjxseW 4xrg2/1wBugG} 5]-sBj;9:#!Z8\lVwph gߞ% b[oXs u,RAt eEcUhE[旣|\í:@iLJВ[+~ɰž%صouDhe-9k}]uΗJ.y{Egj~9;xv\ġ<[fz!Ox{H=*4ma&?%(H,UdLayѹ*)[âA{֡|ѪLSZ\ IJ~Lj\8x%q9z1>Lu\08}*Bs8;n{bM*&*TG&&oKR~ j2Fu ڿ+c5w6,Xi^tB P"i=" 2 U ˪Q3ݽuÆFj ww]i"]L8eR97CT\e'7ժAtFg2wWp~qtPUw#.D'&gflBp:`gv'C=q4q?Z]f_V RHfTDgXgvNQa$Yrl"uq\a[. 􊣬:a "—["L-7$ݭXx3v,*'4vw[zr nMţ+=1}{1vnEթ} fyNT8Ώ0\8pY쫎[PW!0$}ːiI5\4A$6´ѕ1G]h0Zx,C5*ko "JC!ix-Wlj̹݌h^1^ZC:udPXO $d^8 2H|C 'g3׌5v'*"YI_s gk/ S'ߚtC-Go*Xyc-HxyR՝sw mFV;rXwgܣd>&t"PXWZ쇋7=v`LR4+kV1]q!7IiSV}; o^nA ^:٭S*8AGu$+e r:dG)IrWtd f <ǹG< %;@R+O kq@D:Px[ 4D3e`r^ϳ@It@=~1yҧxkզܜ^lPNwr5W5."ANn"%j6螁k{-~o5k'0>.n'3.8W᭛8{k4W:Ȱjz)j6Ҡ(L=[d?œT=c9X륔jH+U\m9jT'$T9ptC,e^Y*%{ :X#/V)𵽬d$ݖ{>sQn 5T!1n#2"JOLۨt5*}Ps%^֙BxGDĈ/2([UZ& P^UQ27˖L!64aoax4zfU߀l6sVXeCCHt(azӳLn;+#P>Z `7.i"W尭|Ǘ)}uH؜v1Ƞzc (78;}qї:C)iPw":˟ F?'(*N{ \e#Wjf_yhnO6k2q0'Vm#I }bFK􁩏Z\2ZtcWrgA}(4ѦX7&c .~bYxٻ"3O[5xzH2@p"ȟ~?`r'eBQT\;ҿ,gryQ9 zuk!2bc1inI{6oD(T WJ.uh |szأ{a9ûN|H_XDt^$1̌Ao<\7i!/nQ_Epƙ;Qiv>|DvC$eXE*+p@GԒ/&Pב{8dʅmƪyvkYމWP\2+EdvK᪣-;]KZ2Rxt{^GՎ|\TEc4[h9#\ a2=Ɣu^28 =D=Q1K/jtf<ڪKQb:̢XS@;Jhlk6EE=l}6y`):MB+ZO}F50Yw7Ώ YB#u}ySv] i皤7` T86mHޅ)JZjVvubj3]sjEM2ܙrY{2CBj:W;3CQ&r?yQ72+J;[PvcfrG :2>6ezePw RWxRSp "ocMMY~f=Kf@}}} B4\Y;|$^Z +kw!Ws@@x|U)>lIz‚muT4%#e[!"RA?A :lX["z_cE&p`FW*IZδC@ g[T srMi(Yi*bǗ)P1lk}뫰y>RT>K 02Ia]Vte] \W#Xi%@ck+YE"0`c<"^l-ݸwrMs*jL9+[/_uJh z#*TJ=9VAٛ2aw 5߶PH _'ׯ5!*PfD^_!bB.DmVZJ.͌A4 7s-t1`-)1M|t/+.Hv0rz;|{iG%Ts"OU1d ~w<ݙ mVĚE̋F _uI$H`o;9Y. 0tƽH(Ɔ6Yb0xh~2n=_` =qK<k=~Y UwSr1Iy,1oV -%zVI&XtBudegZA!KW5yY}ERKXi05"u8]AI`v-/,bY(A#SwKesy)N(@Ppl@?q|*=`KEBώ jRa?ZK9߾լP _\D7XkAx\ ;]+nމ~Ǥvi}?8\/␤@cx+0QlkhgzRt |\! bLD ߎ1Z!, c8r}h.!ꁱ"C˜ݨY]i$])&ed# "?lp༥o3:·u.ΛCu! %T~cJ$GVye<8zgl#">SHy:셶?=Zg#NT@˕tN<\QjBz7f?z4@N!eLpG ShF/MC襂~yb:vӍIԗRiI-,G=Ăp9C^܋FJ@@twIO4$OЩh=ѭĶJboN s[#MHdskg}ޣdy8왩G „sT x$*1LF:M0/B{ D<, #q" jUewPf&Jni+PIU(p9~hcQM[,_ަ MOŒ)q"c.+bev§S(ج23؝b<VWGO37|}v QݥH|]lk4UӺhXw`$i<6r'k6%w=ɯDW|/65moYO8}NO,y~Knuc+<9H]ù`KzAlVmSI˚-s÷iī UW3i8:>Fz{3ۮupN2 Gre>.N#Dzm:j-VuDžMU%}DC70ӁEOR}.+ 2 &!٤ES-w2(GCs%ޢnCI͗,PL-)2ʫմѓ,OvًJcg nv;_ VKMy6sڜ*iō*G)9 K2HE2? 03 wNh$#ʹ3jQESgA7,ipy6S\݂ 6+'WvbjF ; G4+*S»[W5i~' Sŕ[]t~SӤ.쏡ݵ,F`oY/8̆]g7~mH ##'fJ%ռ{sW+X$P"TO$co kpir#S40-w^h!'A Ikefޚ$B(!TdbEp{^:J;ls^Y.i^yޕd*%坠~o < ?G9Oȕ W{=,rkX٦ }@hgpDܙ@  >XEpoA fz!ƕ6W!r~|K/ܷ+@k =!"<; L8!RG{cئ'^Q *Pn*YWUFzVjxi)ΦcenDٹb5Y#`Z\,Jrܺ@$(⌖sk mH9EÖUb'QAyoNOi<)]7?i Z%:' n#Qpf \pg2rSwU4 1fhBH8"%{)a"ic]H-X&;#T*v|NDD_z?JoR70[Sy'O(6? d\,0G%*7ڟóP< эx吗r^d{f;> Jޙ C7YxIݯ)Z\3ݛVbYzQ9aقj=$[cvXGe9}9=}Uu<%gFx `\\@ۣڅOkp}ejv/hxn*Tt|y صzfA|'aX"NKi9 p=:>i(2I5,p84ٺeenWT\[u'؜8ᄑ)GdE3SzH`0FLL0fW4u8 K/tC fgIihg!hw .ԡ",0{iXfiY eSbЇ{Va?WǗ> <8"ERr0o4/P/$UQص(8D>#4D]D4VB/%mqYskN$ocnaO2z;[OFT7R˪|#:Zw(wbY}q ( z>/)]=nn IMó ˀXۆ֐K.3wʔP-F*_(퀀E>yV !P@wB?K?+=mW)*4\`n :bdD++o8'6SL;)[#6\xW QJ!/ %$BBaS}~;Ht:|_ |d X(S"Y[=v4%A䲋q>, C `rcA#Tg>fB$ e3Z?u|nIj&>Eb\.i=yM ^+\ɛ?V6]y0֬+'ݭ;F4do.A;8zn<" jzSar iZ\̇aG \*ژTU>@kyt=|u=Γɕ2{L􌿫dWsv)^* w#&[:P$3@L[OdRMWdeڧsUi `zLYD18S\ŐV5C}S7.ŜUd\eTmG\h?o{@D-g C)'S W[dQh`z''4x$sd$V?(1u) Ό{1@J238#X?h3i9) u-6S=Jtlfװ=A #.'Օo>qkq(ܗH,`wK-0kF;8HIF9O=W-fLZCes'jAa^{ Ĕzi, 6@i6|sdc8?%6z+51Z:DC)>`!+"0ufԄ[)dFGD{7)%\@,L-j ^ĞbI Y*AX 7go]3:;ܛaV]c>4֚H%RGT26Vє' N`^qEg//u dtq@meP[uq:(Ļ~|~YmiPY[x˩p'"Iv4,Oܴʟ9VjmިFw^}R6տj>AQbLvEGxXj fh uß(R. "555CNȳmS2b@/cB]o^>49W)n%М1{϶[PT@%LoUV]JT"Q W?ֶꈋ qG-n0vsJFAu$5I SRUB0qdĊs!u1 bӮaC6bdtV T$`YkEM5Ĵu VXW6%k[Il`AAw`rNvJZF8CW,* E>Hk,[ĒDJV1m{ k- zT%5ً fБUq+FC\ zsbL f'"K7IT[SmAF ɿf UV/֘5hfK+qF]zݻ!/ݺh{/lo?ˏ2LM~ăt"d *^fYݼ;8])0?aIIʾr tdٝrI3hZKm44OmTaVŨp%FyA?h럾-psE0k{Sy_>lx e 1> z0ҸX؂Q!Rw'Tk~AԔL^>I%}6r}g*ڶ$J`@[U ܇iۑhUQNSJ1'Q+ /@Qwi,7* .Q`ca҆QY:z[ >OCo6P<'zZ8jwGQljvVopu쫚1p,qRsdrd5$#E<) N#vA{usW0g A ,nє#6"[{3|}&v9 45Q{pIƽ!f& ֎P VճG}\sGO\L^Z\IָP HB!SJE U 72`k5mjtqO7\f'AGYہW7\1\fGDYB3jp IEQ8)=dPE{(M]Y}Pju^I+c!@jߐcq;$ѯo$PʀlMT$ZH3Es(V|ˈZXЗ%NxHē)YwscN~&D{v±ȽK%Uu&;'9΀UyC(z(Dεl]Xah!2#3v˩d]\D0ZJc.}ڦgעR璙/gwj>ld]5U@ NP*6*c!D=H{'EVXMP=yHU4(R&V*l/^T}isnbI>'K LF;^%6OSsC|PiovHDـ#*7~,VsݚoUdͧ}a-߈`DKP|C•}p{HzigapMowtF{kP0bfONK9_bs~5 R,ULAa璻ϒ=*Xᣈ_V ߽byKuw!qSw5n$SBJu{V_(nbj?0bg>XC 1J&IG@p$o3'R3Zjm Sh&:}9zAyMt4f|\3;9]`2^on4D&&Wj,>hwPna2<5 =?]n aٻodOS.#:W?El]mNy ןW3 %ۨCS sֿ @6e[8?0%WSp"}xoۮ#5,C F;_Q9$p("D\el V g$ ;ULowIPhdM({l!t!gQiq`Omq]})UYԚ;4nI'&U4vµ4sDP)iܳîJB+K89Nz7eA$/'аn S*Rl]~Sުaո"Hk4u9ĄDٜSDƆ,'UKNAA?F»OD=[ǒZ| JW=4Lص\ ޕNc[QlY iզ!a iLY#5sv~:|v eAx7:iLD_E&V乵LD7qu!TuJn;ȈŕJAut F2WajR\y ,"ßwg(%ʓVe*^KewЗy\Y!8wBQ=ʹd˾אC:6C?9*#jb4 $.PbDcm79n4jEyE6"1dsc,1v$J[ X$XBݵYoz!.XhMÕ1 =|Ĵ|v]P\,[XkfCLMN:>lπqav{N )گs"&*V#ĵo ;9h#,z͚OC`Z%r'JO$,`SCJdv S:ke $=vYqN '89)L3M,9vp;%B;|'X۵"5 DkcBpYF<.D Ev8/ ˤ$IZAhs(D`lY%U|@ rഉ6g{I.|eЩ`ꩄ& osRKE S5KF]~@ 6A%r% Sψ"UްHFw5㗐^mt{XGe U)'"U{Dp.=['ãGk}ɥ\K3ܢ{ȢͧûHWuٛU]TQsWl^={/ R8Aքl yZ?t"lA߾;`!lbIHKAXMW_I)X7wU(Վc`N &L[fi߁Vl?foDKp/uxNnO`"!lJ!Ϝ+]U{3cBaXێT7NrMwrQp?=8"v)^掍wE$v'G@HAǽX _5gW@ZHdZaUc$峡5>dTKhf)`৊,hWBۦ.Z}=8)3i­;U[3y d,ZǵE$J+ i)KybqX}$p|u;S#H]X.Kأn>Ώ*O8{6y_ PЇPC³Lr+&'e\wz(Oz ]f't ZHbUvxr%ݸC o?8ꋊ)ʡѦH8Z?&"? 8U^|fؕpHw*Ԩw492BJ# H+< DD/{w3%=ڿVkޝV ȑҾe?XLΎ\d, tW1,f&Wb㾅ck?HtMS}^ާy)R7q <Ou`8%.wR, BoD3'ؖ2-}H&t36m Y '3lrg/e;HjwT ,wO6dxkɒbȤNΏyƱD.*`}"@se!~l_2#!X\zbx](.@J ˾Qt#u am/!0)?_rdwǴ7!QmՌݮchlp܄#/Qdc8ȓ2bIY5ζJMjp \IqǣkINR%&TY a GdWSCMY!ldH̵d< }BkBNc٢Qf>=Vet4JxB{{ڈ%V.Dx ta(S>3$$tEoP &P(^[,Q9pg|xyo,. O攵;7,\1VOI;7R).&vY;7he7Hl`.γ'&>Y4ܾ~ `,dq&;&Юu$hZg۹_:4. d-)>ǮvJ8?t &ݦytvwhҪHtn2K vHDPTE8l='pvkt+V:qQ9w == 4? * RV LܙY*1d\)$TO 6mQ3K/}>y~\Rrxu-(..tO̞քMjdF`u۟/7*ڇb\ʽVcaF\UǙTTA۞2 Fꀃ1*G@aMh&S/-n/U*=oGCZ&n2YE8ԝc6a ҉0=0,\t?UhKɖ!h)D=vŔ2sy bQY1c{ܥ;/"ıWx1O@oA&:F,natѳhPԘ:0vB9t 区]pfc<3QκCtl0L8Yz+%PU } oL.SEЏ.Q\mg (XNAe"kvA$I239$4t)}B +?9WnF\%GpKcnVJBrZ (Ua`x3C]UaפT߼CG~KCIern rY2B~<ĺ%iaRpۙ&6۵v,3}CX5ے疥ⶰ+H F_xdRg⃢֚b>G,*EEEWVO ^!ҨkyyH'@`<Bg@^@ UBfSɒWR2HwcOי1SJl?lҞ('!&P'$BQ5(ɇ%I=Pf^-o{q/ ؠOv' E>9"k,tv+i~K84}U{lV!f91=p j qG˜< .[>"If󤝒BF## ͲSڧ}ք+x2d'-=}nq!ݙnAsŖ>AeU@V%-y> fjG.!褦-c 뚶NI9pu)4K^EDHU ̫lq"wc)ewT3鉉4=%x$Gr)*=֮MLS232dny3fؾ?1.W?j3YgdicTTcb+'S1xpa${I$(ylD[12_1`DdL̟蒜|'uL(m̔?Xt[5FBQ:gT1S;r 6~F1q/ nw[ن4H.rqOk,&c>lNZMClUFFCe_͜K)=7@h2ZC޵]Zws<3wk誣u ߰F*ՉJlYh;P'ӜgAc(hzHؽOjS㱟i,9v7؊瀓_"0}VNNxռQƃU9DRkeal 2Q!4L%v޲n! ӗWڪ8x:_e1 絈9pgYZ