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 44$!t4 ]]]HOL-Proofs:threads=6elapsed=548.910cpu=1391.412gc=226.136factor=2.537zXZִF! π1]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXbSY$GS CQ!@\=ogl|!"@|a0'R йʠfr@x(}{8 Qj`_-4'oS; ,Uj6Wxtel#HbSLlvL*&|vKᴊdtk%jB_'WPfs]1=OȞS,l>d4pl<sH'|V5߇6[g.}]OX]mQc_<\Gq|G."e( G! ?KQ "ک dzLևp 7'UwPJG 7bxav&^%,zn\|NZ,viԧ0 TjG]-= l4|)]0cׇG &Er$OS0W-GU[fF떝xk/W+JHVF*=QIWi oT0ﳗiC.b]7'\C\*VE00O=+mc:CQݝLA u-)+9Ӈ[k]&z Kk>9>SȅKHNBݙ rDpHSZYvS2l6e]DSR88c Z,* 77H~mSx[M "VN+ia碻[^rTw)&O6d+bqc$]bjfyk 'gv7GgG#>*y?52 O鶋U%(H@WFC:V[щ|,IAxUYc9!9vp>WM$:ʂBXnsNC&w\96jY3 Q 9 SɵVT-e ܉/OTWLm$; OBxw:tȕ /z2$s酟H|)Pd,+e0=:WJdJ8꠭cD6ޑ;o{G$^Z5L,dfuwEE'ʮ;! c)%kDn\Q')ge%>pc V,DZ{׃ݷTQQ8Zopm~VT}3q :PHsR5z M_tS" rGuΒ~4׉xZR2P'E;B^il7Zthڄ,=q@u4yh]&OI͋vN(D <1+a~Aba-'h!"z!PE'*;bWB*RC?ۻ&2(~l< T10Rvu9F+ )mK`W F)$kƪ8t<*b>05.Ql@%LҽP)A1Xʋ–ʾK=\:mR^OIu,FߥZ27FI[DGi[ޱObay^3A14oYRC?tE.w.HS`y w NL>C!Re4K!Hs'xz-XC2.&RIܣ*JfvC;<}{-[D돯o+v#g[ %$HWr>c j>`_F>*E&e [/?Bpeźjz$ߝn fD6\YdGi$c6EzIfxgڈY&laZpgryqB X+$fŐ*dU_ik12O\6^x;RW095g>A>([` )ü盉s}v4,n6$zzΟ  d(7REȯ!A9.ĝW;yCw;4Cg(G {~05<^qѴup1}]%85Ղ*TLQԛEu4{_` I7P2£&gy/P3$K=\x!q-c(4G#y8Րn{YG?baHSdtް¾,r<[< '.{C6Н`/v 5z88aDĎ;{rbXg5I\)j=8ͅ-u[nڤiY̘L N\D:{l&'4hn8xsr͑n}f.9B2E?#w M^Qn V.-B B38?aJ&0ۢαt Uh~֎P.^.J?5W WvHښ&est85w%G[]$tjmY<,d)Acǫ4-]#!Hj ` ѐ[i;y@pfeF=m;y6@/Dv<8?9A5(ѡ;Qr Uwthm8)BmQfjύ˫#ǀp[Lt_=P"ɽ@xu8x0æu^Č,LUxoYO@&!r7(LLfKAT9omR–HQ6ms _&jz\Ǣ ГpQ'9D6W桴T͌:ځ"`bl~v3Jҏ2e N%s%$hthk`#h5GNš'9VرGY@ažS:GxZ >&2lO蟕hrF[De8Wc5T2toӑjXIʪa}uGjKw wh-UF$lb{nV׮NoHA@P`|5] ai7E%P#!(+/j0hMʡTLeUx$Q.ial)zfWEjIX҉6S1utZ"af[17.hSzˬsTfg198ZGm.6 l롻W=atw"?䜦f^ީuw׾ב\>87{ _!nkav{y?Wv   ! HOL-Proofs  =[[t}*(/nK2],Cfl&ODGĮaJFj' pLWu}eC` )xsB夫s  xBj0{'}^av-ܮ"}hlv t:8f93"(і[I=!+ 4&.?e. sb4V8sQyd*,(>*a \=P+j<r, aT0pp3\0ja]v _D1p{g,Kfw~RE^0zp3n` Ñͯ&c^ 9^,U6íZX}yݶKCba1.Gd3EdMM3%DCʼWniOB|ӯPĜ ҎQ`_<8)Q&@r 2I֕WBw0Ш[u rɡR߶# 眤N"7?x6~=G dC = uYrg1QiXuMޢ1囫|e)l\-pr}xXi 4K8NLc]c,vrf9o8eܹ ` o?z:l2:-K)b=7*GD'L?oB?w$cWK id<N믘~q_!yc]5=hj?kJ5lФH˷"WCb&m,a9}2Q~eU_f/v})̍Kjl~IANȱ`)yJ d8#!b@rHD|*]= LT*rzWATo#ƴ-]xR:q_G41}FȬuJgdIrȀ0o.:A ^O]&t7.5UgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!B/varėiaX4P6Q~sKüL|+BBfm &MdnHXY˝N=ʟ,#1?LF%e@8(39ɥVĒWƶEFf]gMMp3|nSǤQ(JK(Ӳ1P&?0tvmYx5Fs%aC~#D?uNhtvJ:h#ėn=='~l,2N%}Dcȳ$Pl,RR5-XN?!xosisW65<՞ؠ8&_\dg)k؄moBp ALo<솤Z%Z TᏌȍg%%Xqmcp'bj7 &.6ES.2Rmxꂍ*j 6agԘfaYS%#Ur*%e| 饫F:Lkg nr%?jv0aCnL $9 "Q}nn~z )ήv5yfRF+~P,"5 =.x tR&%כD]R I]χG={«uX'}*HG*zߝ@ H]Ԗ"ݪu[7{&D=^r ӏgsM0_޽i(z⶯?3d5~ (?``MM|ݛ.թVp۞vVhdtWj)9E{Qxqڑcʢﭖ5ؕt77a'r ykIg!Ps$LTaif<1tYu"uq$r54vHN;BtdTŧDsFoFbPԢdg0\"u;l:Q䱎LcE:elE.fO jVnrYa{9H^}h*-GYVg B~K9ʰ:{4|,z#3j=AKg/};?i3&ܳݵ \$݂<]%^λ(@]3 ȟ7i|@%\^mjrpV{-Aм5{; όx\ĩ2U.W43]?-?v0WƔV`v xirܬYqabgdW8l y齥A͇ 9|Us>c\e_L$.[ZZfZg=bkX8 g\d002Jpq}"쇅LS>U2)JE*X>Qs>MU^]VB\Pu\p0r9֨ 23رgYZ7zXZִF! _p]ŗXi%>j^Gڥ{hT\az1^k&ӹtA sxiqXvulE_|Oެ(kf jdKTNs\kO$pQnUպ)^nJjţn 8~5K`x=jV So%wnhtE>xCxDW6o|Ҫ4ee# ?#B4%RYf@ڽL_sec{/* %S G'wy&>(wG)u) .T!?g`YzR [cѷ&e((gkDz +"fqvɘҾ& 3,4ZAZa]DNѰcd™Vm%4D-\8e\TХ}s|ȻYRi=RwB022".bѳ!YuHc Y"gG '3fR͡aݘG0{l#n)\B0ᘠ1kx|iV*/_g̓[m|&Ymcڕ"F\GcH^ zbME_sb56dЇU^x)*b:N.˭VtPl։F t(Dh)E?.W;])$ȕ~>ɐư/57,{Ks *cXza|cw<{+wVFE@h(^)urģŪ5t纠]ұ0hΈUCSO-\nWpϦ+]Axu2_qI6NO{tղ)(?Vb=bzt*δ'_ ^"W/qqE㿀S\Hx3?*@cM%AR3ytB$ Z#25Rg+f ݌~7@M7ҿdD9Q,o7AƦp9NՃoH\\Ӆ2fKEs <@(LH+ƃea׋is۷&gGK2x][_ΈuWǂ pA BH%(Rٮj12 ]2hM+hIAI|MK4#R< =%n>Z3_<.-% /|]֬#a'8hm/h{13.\L.TgT;/uZ֕:q7k /yǕeQhϥcvo7/BNJ=b5r{J~ u[\,ɆE˯KЩcӑ94U5eR:s EfZlċuu?`-Tf@.̰m[T4%d3iGܷk=7kn œjlG!J{.,cea\=,sOQMr_U>G !hJʕj0(լ>gOvyU${Dĉ͹֎䫒 nʥ`Ҫ=v64 |!(lK /RsӖ eԩ9Y_ct EHũ*>,j*qCI4]SS8p-^BEk:A-!^]kx4\~V?))ֺLŝ"zԢhk4v 2{3PbUɌztF$'tRM!߼Cպ)7c`\9MF:\Z}۟L1xVUS=?G ׳6Tram،cP|XXXCi.[eLV"ڱ] P[MI碕%`w@,=1z' koI"}~9*V4+8)PkHg)Upڸ:ID>,խ #Hk"bkKY!GxgӸE,ro5EvCָq3%7-eƿ(Ã1ZJ܀gCEֹyS2bt?bZA".jm W'(X?ؘ6>(fT(_%L{"Ӽ#mlHSΙxk7(E L.3܏R@x۲`Nӆx2fؒLT{8ڶ?vZ$|K.K*5#) $RдVC E6ɨ `."ç"iu},Bd!36u 7ɞ6uX/ZFVkR{\ox͏R!B n _h}&;Hߞxv\x\8cۣ{۟> {3;' /6QOg !t2`,w^ٵіi <Ain5}ixD-ܓzh|v" ĬmVR@򧒕$ (J9D{di<# YN5x"#G&+?[0*ESLjLN72j ;pZ(Xɓ9iѳCMr-}D,̓DCCIQmkJٔ]uɋl2_*ww2+6qDsR +g9G[iqg@B˲`EZAt\BC(xYqE_廓 iX@v29BQ:cs=WzpBHDnϬNF+?XEBcPhDm7&\ŝ}{84tν뀚Y*!Cˁj]tMY8DI4=BR1z$LN(32)p-.BPF`coN.^SK z#Il25ȇ:Kpˎ74փ]hY? UQrO\g7rMTª% A .e5*3mn}hD1l>IEh>}V/ލF8^RAcgnxGp̢nXZ3FֿD'kƿy fTe!*ޒ~^l}4f\#L축$u^5aŌn7B͖O&"2bC:~ t6_'BpzOMY{c ,uDc`<$kA䈧:;஀avqMۛcUXf.0 -n@lj~d=`x:I;ȹAh;܈?BPrǎR69ˬ6Tl,7CfbҺGP; isWxJ"E=etM]BCL2ȃ6]Pr|$ތ`ؙ&~e `ZE9!Iu/Vgtxt5MLnvŕ>'Xr启bIwO?f9둃+]w.bXn,gʟ0S:5 еDžsE#exeψG瞐3vrNzC8Lok}vuޏ^Q"5=X'JyJR؈+R,2kU᩽y׬g-$ON} GX@Jj_ 4FI&b[P` On£O(>jn#TT9yf$Z3M,t) BNB&ilj>B;_Q"Wc|fwRo{ &WI=؃MYUBbh j'M)J|t&Á_sfH O  (y/qOe"L]oz2 \Bߟ@!VAy&˥^CǬ ãvpMROPݖvfBA *R s=q483[o9O=CBd= δ&˂3$vFLL1ryM0dyw %PKkdcγ0cDCvzl]ffL/'#""/ YLe  #J܏ߓ5H,BKp_G3'T^OAA˔rdd[>\;ds)+~]21i{p`f`B=.|%eF\sU^$`r>g {w$Tf-5|cD`mA=vZ `^~{2tSp~}caL!Flq3J%qܔ _jZeҠ)m( V~q=͏ږo{(σ[a9BcZ8H*;\j^[1̞VVD5]NM6K̇ &x玣`3;c3: <׸E}rw6Ҙ rD(^\8K/,}9x؇V_#Pskxl`鮘?VSoL&Qjc`jAQ &c弄_ kHuDًVphdD7n6d9fǗjW)18NĎqz8+[Cl% u/oISAàc1EQ~9E( 3 sD<$5Y;<]8N C)sGoI;!/DYt~.NM$D&%H<vv"{)IbE;H;4l}ϲríe:t;SWY_:mb kxTzڊX'P1'Ydj'd$v5帎 fhb*l"TӓI*6Đ48Vzy`jd̚@ Ebsb& ^wZVt"ycP|W+81yw':)Z |zO #+dP@cާ.R>ʭV5 ĉՁDf@ ?\ωI# }GneO"wlf.ӣ-3w;MyNS%kȑ?J-O?ݼx a^ }=3=!{NBqu1Lf ~v?% c[ m 瑮jgBw=ofɄemE=I}=]&Mb q6ޥ9i5~b %Ip0U iqݿ`)/N:U~=}CVl>a-HZx5 8x{ع)*߲j_8CD. Qi{E^~i)$ G;9/#O1?>b @o =yD;*½%Ǣ୻>Ӊ."vgd+R*q~Cx0  fy>:S15BgKX'd x?j>xN p>~e=h`3S]vH>akآ&G]s&|S#d=?sM[?b!ԙ7M)ySl im[ifx ؟hkoOABŒ)+!c4c'Ht8՜չVBTSy|Et#&u*yX;q΄t+dj7f5Pl,-a';qeK`aϨ >@#肠Ȣ>?h1xe#["7wj!M5*BdxY֥ A;y^k nWDM ʜ4\ ⿯iBE:n[-ܗja2}y b3yĸrIr6olmb-n*gPt,PfX>s/6N'[gE$Ht0Vݝ";^:|TFdEB$eq+WIYE/H# Mq)=#2`KhmV3^94eI8Q{WK$*a>53l:} 4fZnuR@ {!^808@6'MZe !;(~;^G԰S/C^?y41 &FyolKPmT:zV'ЋG)WQTk}jU$3QS%Tv.~B,eHZ-Ȼu e&…AA,We(j (5\x`{A*Ӫ^qtQXJZ? CN5ȣn :FAG܍bZIe:L\. ^sI6vE sƊ2f@yg:SP|HaVԅfb;uxd{$hf/ǡnF~BXh2he*eNea6G6o!#[@xxQ AL1; AGK[&SSXjkP%vO! CI4zȖ[l^ d!cXtH o@ip\f`.!+zxyD{Wo' sB&k#n%?O_{Ni&Y^C+'HR2GNSgw*?P)aH}v>ge E #P@eJ ss|nv!1<:G̓DuyF s &*,(~7_yxZmhL9ٽdHDtOd}G6/Q7tEBD;25m sΐ a^wpN h|(bS>a٤S+O]DBtW`Hɷ#$}\_bJ.vy`sDKdM[+rs+K;7uYaC*KBZikI 8Ot{3s%np l(^9&,Eﭿ]i>r>YrFxu"G*CP.z,($4lq3R@ņjW硕 kkJgMJs\$6w01/Ao H. =1TnF| xw';%,"V bXZ@i;#7p76 {SH#X(滵dYf+3\l xe a]A FD^⫣gϤemxA K{l%\=:eEڪI?D5 Ge3bL)$v/./g$àFenŎ_s O<>vwn^2xB/$꣛!O3)hyCFi,!/\̄z,Hm5(b|6aSYk1bQeQҼ՟ߑl^dwW&WU,W`e3/ ԍOB2^F6,k%v(FaSC4Jԥ4)/3eי]@at&\ռBW565]gu7cv9h$JHHC"m~wv'b9yVG5?5]EpMOM,h;3t a_b%)\q1)pզVH4cN~kf4 YeVoʧ]Ŵ0eB_d)q|GkaX-oQ$Pѡψm"Br$Yҷ|OSmyb(T?vx ~ jpQ#Pe#&v$ϫYq5pu*C\]3T|eia_dg` ċtt2O8M8~ڊBuPB톂c2Rueh-j"lmaI&5tJɁ`QBo$H! }"=~(3QW"c,[Ԧf^oD4g+IU0\bHZC&v%f(`V = - T27>eӍΖLI;؛jIC%Eqo,.aƵ ԈL)վ3!Mǰ~ i%ZB~dY̍Xm&/] T-p;+d g=1[J^)@"ǐۛZF|(kj5RS6@G2nxX/rj͢8ͥ\3TY@n19s#A$m^LgfL*>z'} ‘d's蜉`&E-22]^Q( ^ո|3{>m^.E<ܔ(zIad)1z-po?ĞUUM:Mo:Oo?_|?>”ﵕ <-&m@;A+#@ ZV:EZq@gHa`C~zY]9?:m(<` )&ˉm0H)qMtm~DzF0pN-}2*V q"Of|ɛB>܆bNt1Vvwi.V~T /Ƴ#G۫b2**?‹P$GS\"V)BLn?c]̃B;Ї15= fо;dnf$@LS /rȿqȃ͛ nȍh+N/ѡ cJQez#R <>Mz*Vɿc$-ZBe &C s>&jP@k[^ĖTh.J֥o\Utt=S`LhnUX3 lpQiM8w "LM/?ܾJy GBIy:ti/2熋e;Vzi_Y{2QPhJF\|bU#۳vOY|NnWoJr4מhh!8b &4FEP7/F]Y=vc R9L mjEYp.hQ?/Z,V1 ;a\d UDb#O*$nK9 AѢ.6Tk! *;L,lUBMDa#3ԅF3Ht,iUp+kD j8tG5y-Mec0M1O3dr\n_Ac˂B']>-Nҫp"`--q [_Pj]O/^9ВM[Xn#rKS@6mWpaۅ;?%/ Tdk(¥ym5EN7R~%F!|T)>IH hHXMO7PF)"1JPVVwqsiP< jk9W%Do.P k6lѥ>CFKWȀ&J$O$yq@mVHJ XʸI9 d_Weܫ ;Hټqj N&{x] z} Oܦf>:DBG7Q|n27LՇ3"-V4"M? 7S7T %\Rop]1b5괽~lމQv)VV2Lъ1@Trz|M$g`zink0aEQW֯j7]2Kkl&Fbگg]99c$-;X#pTbycQ@.3aẾV%c߼B]9O$}/ґ\nr2< 7ܯW/o%eֲAT5"nPsIgBw}+cLUᡆ1 8_Wq(2H)qܸLE8vr٥~1KufQ]߻oY\ђnxhpK$Rb͉GSؗV3*`[g5#Z nضYVv>"wi8mD"1C[l~CCМi56*-܃mj?xГ9g~} tOXD*+7 N߷>XDywB0,)Gmx.#]dAI/ Yއ;z}kfMmEi46 J/˻n8cP, \6u?`S&sqo)tSKtlboS8M(ޞ]ψ fMI m]ז \GI3#ruֺ?|r"oWzarR{?ʿp`};Bת][ Bss9NY J6ErƯȊXTtjuJJɟRbUb%=R &f0aOuii{x1< b2VCPU!1aCݨ-ZBUA#[}Ν c49|fK#FMѥt疆M|6n*+0 Œ[RXYSw9TP@+MB'Na^imTL@[RYK;Gd.l7_+g+k(VQƹƣ(A$ZW1mL9!fz-YkDь$f^Y O7r%٤u3eq(,nk6EoS;Sgۊ*83b>KcPb_F|'ܧCu0y.1~]6HN†(GeMtz&v 2zByx^ˆٴ$v<8o <5sfVt@ @6a=]9w #|}bx:oj3GW+-B˧f.e/)K;kYu[ g1&Wj-ʯG+!CL!x Pf2f&G(~ r=mժUڻ=*D+5!c$HoInc ^9N! 3O<b;W}#-ok@h"":Kt57V9b0whNhR9-6IG3Z0@]:eHڛR5 #S'oB,2LA-dG\]/$%yѐYqNcwlAiH+l&U 'MGOQvĊamUNY2em15E:4ZI7}~9aDh\ Oylgٳ9 6[ ~dyrqk3^W?^)ٍPu7ފ wT3ՓSb/X&,r$P+_ a %芍 {X\}KM*G uӊsM^~7$kv_ 2dz:[& ~ɏoPa\wxϔ62| ѾuKŅݛg*4þ56fG`ZOv _Z~uyo%BZIbW嶙3ˈ:+#x;@ %nRx'4jΝf>؃h:RJ;]_Sl?ЁwNcLc[ 6˷Lf I,$Ku:IYxۙ{ami"_I©]ν쁥 G\HiQX\:ΓyDt~ 3GW9vəLSR,Owc鳅/~%h߃|itI&,Lyo|7Crl޳WeHȵb%9zj l4#"U@>#8Xcf[zf߃րbVcC8{:Tc@}9IE00- //aKt*Α@-FZ`50?41W$FgE-a+;>̇,py ۠\8L *BY᷇NcnFh>#mtnK %KsGUL>+$QP,PM^ћU=&lf|DiTP j]2sWͤ"Ԁb6+SRK41ęϲKl:w$jڑ9ւRb }"cI_cxfi>׽Aܼܽ*뎎א;!RúCJ:5&Uc_a⛵k^`\I 9EI<~媨E1mޒh =_s1Ȕ/RAYhFpj_<8֮6gf: Hy<*{Kak[v3y+KEe57 ,ϝH ͇1PaۮRb)9Ϊ$ybPO<+@#f_qW!NcdbkVXCb+$LZWb̥`ʪv蘭" xu^/j&]$U )ZQz`q Ht: "8]l9?0?n<6, ,N˒< mGg_!ͦSΊ9(Uvvz  RG ,ng1Bbd̆Y *>őc7bdX9bkI]Kzk | 򓔸#x̵ppR町1? Cw@~k}ZQ]-Dp0Р]G25|'4Cy1} &5|֦ "Ocm O{y@O&GqrMSlI;ȳ;3AChwTc#BV*+bcF ˗s9*XUJckl ~9?S&)-l03E\ZP q5@ॲub.؃ى$c ~z7 tyl\A3XsyjHF:b֞ӳzݾ!m}ʊXsɢt4+f{T|<ӏemgt%Mid:+^XczF߇)#Q)y{-Sx,gn8o'dnZ'\Yv>s|j|0baʠjIQQTY>JAk1l҂x!ڶF(q$sۼ5;i8LBjV6K:Ղ˾{Թc4ms̶ Rǝ5\+WYhaIuUZ yZL3hY6M}Q/txSG ʊԐgx'I_\i/)+@ÁÈߕ^4<> Lb0[W!ŢO.Br< Wa]rK/nՎޜ꽁wGx 87il8i2X ߃81u3yX8+fJm&jk17u89e0nKXL2xjDFqo77dipzכp7euP[`-N:>xPY=3tbVp9Зl G@ElFRuqj+NUW{ Cm#(,-AbvEg u<tn;nWqtս U׃.`%uR;ZRs1|_3l$}rP8:־ ] 2/Ab*X4SnV8Ek%|ZXAzX*3;`I h~дZca7+Y|tkw;ĸpSל r>-?f а»8k$vRk1rȫ},jx` _EwT3&mˠpAx~*[J1qBeV57B^ P'9xwt98Cx T@=‹?T+ۚ3>񪒋0E^zG(@1 Fj`Jq$c k|z6z]?ZtKtrH<9ѥ>Hxǽrq oC(:vm>7IL&D^ hnEQH<$yoHےcsIZP].3d~X\zGp,j@T ng̡,⻑2Q, )]BUR AgI Fʚ8xUjZDn)1QũSVX=?xGkpfk,b PL.ǠP5j/l也G'晷Zf.Ej;ga9*JͿG=ҭa.Ex5ǷRINL).x_N+&L7. 9싧f1עt_^Ul)oU|aRNDen{JkL߲"ۚnd^?Kz?Ǎݑ:ݝHR⊣RQ t}u 30q5gn~-U6^Ѧ<#G,wb~cL1ي$' <+T,Uqd9 cT|^}ƹ zDcoՐ%BJMܝ>l谚&Xҵ HuZnGNeٶ362@ϖ3,|b񐙯EhԺ_W]Y/SW0]2O4 6M*ѐ j`z\+O" iX,$Kff1ױw7esO$UcL7 0/ <p$ JHR?)DE2o!zQ]4TbK3|=h옄u2KU..8DŽP60]>4Ϫ׹O34X5o=t YCb^q9dS]gj;tvjr530-X6AVဥmO[ͤkl#YʊId[rH %[=c;wZxr ix*A[QptnG 31{F.>-B'}yKҪSۂ ZJdWni@Cxztg:^rp}"A%O-5sS`b \KŎV'-Nٕt$"':IƍEAyry{~h㴂Y5؁˼ JZ{ҶSbNHFp49gDw~V !J ׋֘1&(I'5>y$7Zy ,B_GzY:˿jbKf; h =[mKh1U}2k*E.nw! mő2wFݔE/Gk;R3a"",Eje7O[!qi)⋏zIAf($xS7h"oHGQ+ @dYR.hV: ;x-x/iBje!*a~ GsX!Y Yn ad7M۞j_~݃je}@Rg"s\;(")fM $"̄K+P?SUUWUQ̘4FAPK=)aCs־$g%ְ%ۤ:2H{β/z DKjBJss{퀡ZOY,ɋ X!2`كMWjuB|k@_^/hh \2BJ ""`-+$.^Hj:H*`[&cw4M_nZ]\@1j6SP0\iraՓW+m/o e=g-:T} JIi++8XBWP1A$^H*_GņʺX]zePQ>ތ52[U'tɑ|܎fv]mƻ[$ ߚ4v~ъLp=y@qxo e7;.%M|dBݐOW)fZx%zwm^ PeM_7͆K{eo_*!I^wv*Fh77NNEYזT:ֹגA rS6T 0iSWI/܏-#J-QUx=4T)4sw:|.)@Z$6B4eO=*&OM!;[~zbc~Q>6p?j2FRҞaz"V0#$Ot(hy VI`;bo6gfT'H|d8N.ϡ8fpa^j. 6ag6h8V\5 HhKsyr5vUx2+(F[WPP25-}1]CWdas: Nja 9&~ZPU+_>]< *FFB|(#rN"'7<|];E$v^\z߆qPe#&WBiH֛^y6U mBe$Q#p6]ݱX<_+W_j&roR#j4pEK?TT,jG;s~XGŝ@ϭ;#(XD܎˞Cs :ٞ!e0~S[oiQs.}Ńs(-d&4SXu}'oIdl>:]!qB?B` 4J%Ԗ\oDMҞF\?3@/dE־'Z>8v#7#;:T؂t#L`6jV](/AmK)V* O\{PU*,~qtPmrHPS#`Ex cxJue׼SQ9N%[dfΰ]q= un ol lBWbx$&eؑaJpQp1*r>_;=%o4:3tkv3IUbB#vZ=`AZ#W9ᩫjff/ eEĤMG n {M2ZIէPL ŵu4UN4׋ Dhy:fJn^ѢA"QQ9*w/OaS{dW}uE:|gTY#n-ByBp\83c'ܸb ]kB/c9ACjƑXJ-fXZV( ߃D~q9py/jSl p,lm3DzǕG`S{HJi۬ӰRI9ƍ5 bU|SߣR ։ϐ)R}%QM7i\ֿDfuА.C/-6~.f΢'T_Wjx#5gmk8AA!ѮF2LjIF2BV.O [il ]d2Ν]q/#r&4~RzNr@(O|rW s-H|O@IXj3Lp3H֙RJll"] j Cx7>od u"BɎ:$5]ǪHQ{c±nilG=a)"z2>6mB^6ѫp7-Y uΚDY~AjZ])|p넆f Ŋ?r%+7Uwv,%rIވBr/5EnEjWN  cߔUvDwoy".ID׺$Hk)ivyJ+GḇoXV;yOlnh>`H!l1 qK>\ *RܮGvo-j7.t'H@-l'w_ÑS|$C袶nqMW8/@3AP= qG =˩O3, <K& z61$YJot9xd4T\YoQ*4۵h ҆ɐrA1GȻLba?:[W=Ty;g"\1hܒ lXDʾΜ:r/ X'J/bU#`+Ҽ;t3hI$Zz oa+a2ل=Š.|7܁}ɏPO²h4yUKs2B<^YoW~x+#9bAJ9"a3_3f{=#HzO\L|~vPjSpJτ9%pW1#X~ֆA:>$J`ԅ'qaǾZ < Jf] $"H|9*8HE-z+F&\h1ФjF KGCd%M>\𵜥f^Z^1VEtin@SсO=JheN~pyW3e<uY7C?E$V8RJ:llr"DcLjl>FTasWُM=rlis`[߈~uCCSWVO? ΗtsHa&,%ڳ$f׎W e5I p#oYm5:l?ViZXX炵۴A[41,U6]&cAيԢ\r-yx<*\ TMUSWn<~ 3+*5oVn氤6ef0̹?'x}KY4gSqɿvV9ap6u"4VϦ7])j }8+"fp'?0Lsu0Ϧ(G"_=7@8wV&h7^'4R2 4HC x\Znsуjhή4ZY'1T}M1pDg(OdXVXܬȈvεB6#HoJo2:57o= 족-tuPq2Q@6Z]@zh |ѨTMQ#ͽ:[uuu̽"6;;LX7RʽL+8| ̍$Ȧ`g wwp161Kְ?F䁜?KB.P,D0bcFؔu{ugO20Z!i8iD=gITU6B{@UͩuWе K.g~)lNp< %P3ȑE`ݸOd`y z%z ԗ?# qS@'ٲ޳n$fjCV<}\`Q7?}]dA x"2HV"pNܤUFnߟ4B1J sgGf32 4G,+9Pˢ*[s