SQLite format 3@  . BBh77otableisabelle_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!|< ]]]HOL-Proofs:threads=6elapsed=603.460cpu=1439.364gc=214.240factor=2.397zXZִF! P]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcz@ݣAPpHs%`4]u~λdH L%%bIHVphH`als,˥3ѹ7<kpjǗh1Qn EL9Iz0Le9:oGG60d+]R,Wq-ٖHcYV2&D-`'OxuSU/epIĐ2"s}b.#uҳ0YUp.NKiJrsBjL_;elZ` GѶjm @(D  ! HOL-Proofs!RY MHi;ߏ(s}>`rlkt1^[)wI riEBAL-4)!Z]# 7w,: ,: o,].ӊ\r֊sC,b+t8EaYkxX.8߂%?8ѿM5sAd3WJ AM֛46݅'TF h^S FqDr[ڬZ(5alP:k'pe,.?YOq?_M8?o>}+4ȡXDo!*ظD҆# \(7Pt;*X g5.- rNGRx!׏iu+9<[(ɆqLqdSU> M.᲏<5(zG1u`$1JupUsxbNr9K~[IPY-ᐤL BJF1{+*L\4T,{g 1kP$oA9wJw"0KG2>7nAhl_>pe:lg3;Sp3,@oe T \ d!g ͮU p&jQ p;YGw:H$u7P jb zWF: خUQqR,QɌ<}j^_'%!+p{7i|(;OX2cCFw ˤ, SlH//r2хc4_%0н50۪A.j8O9U5P^Dţ# IoIwGFBcI?YsR!h4g>Ƌdbݍǹ oO._2$v#A+cq둂kE 4H(B(QQ+4GG*qW}XZ^y?>jl+L:v`w (n3oJ{ S< #( h-F S%s>UotM Odt{}{~,ùӖNwputOYK1z%. XH5OrS.)Ic6S|@ܧi6BCu7=(X3yq9Ԧض@ ã,U{v8KO#Qz: 'ОZ&6\Vm .#ޮ FD=zMU yd88c(V8 s`(|m+)FWIqjKO÷w-eQ%EU=4f@XpnR&4m0ǁVK=!OzI8gsakW{bPj)5@ب\YKpSr5yԇ f.7,:Yԯ5ʤ<+M`s[vg֔Z"6bSq.Yfg9`"#:PnY=j̹_mA34FƩNpۢH uu-Cµ=OTSrđi-'FaVJpկ5:äN^i hΟ|4A:Ojfϯf:f4/U2I5'/^7wc_%|r)}>+I.Y '5v.ZQ2z+2d$3)6lʸ!7qMM5[!'7hp D WQ>blJf颋{%o?cy^U3r2k UJgR\kKI03&ZYTV`/[f<ӪՃՇM=! z7,@(LA}ɳ= E 3 /c}sL^ȸ2wxIO^tdIcʳy8m? pMr1~T$δ' dgoy ր jiICSͽE7 "4ӷ/!q-'PI7rMWxs#6ɓk g"ѥ}5Jvh^< '鏎D.H&^7n}R[9 y7P[_/W&歜x TW-PMg ؟g, ?sٳAyZ1 BOADUA w8NY;VSo2GN-e(*>**I[^GVFYS~ D,͢R]5vg߮z5ۦkΦ;=yE64M%n:N',oxxK% )ҳ2je{^|hPZ/>ؑ˷`Vi+U|Իg-~#ҿK7:W .ewWzzAcpMFx8 :XXe]^! W-R^xǠZ]+iz4CXNA]ȣԐ[+AcU`;eَ0fI-9 y{i{Y#e(|xJuVU8ɍ::)CȱՍ+;:+01=rtVkM@r s}E\ R~J =iIFl92dޏ硨TF`c5ӑXfab'N]W $ 0-bGMt$l.grڛE1]x[=Ac3XF+#Xar g<.µ-K*o`ӳnI@s$XdWt{}`gtH L2$8fNrs熿qL-0޻,W#&DRI: ד<|{Bf60ly಑l~S j,{!MşK|r~T ipیk( C$Uu -zry>ٌт&É_cv:O_oNm@/^a&kAhug'dx$reS.]A@ujore.6Rc"AFM&.Ќs?r#` z MM!R" *gOW'+D[KMn;Ǖ#'VWQ g whF!s4Jub:=*:;olj)§ ʱh &d5\Ǎ 8?~smFvmjK~x{DHXz{-ٟJIdb5&h}hgU0(A,g:vg,"}ulERܥh^F&懧KG^,Fv|]^>YcGQ[w7G.Ek?LU$0-5zHF{%qMk[F>nk8D݌P/Ւ375ZI(`}ӆMZ]J_NHWF ֩:]5[**&T :?OZz28,$pB% {C1Y6nZy<إlǒNY`eR1gYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B/&~)ÿ FX ѹ MQC%OL7Ff&[6fs} F9G>|r5Gq̳ޟFqn Urx "բEZ<erZB?Cʶ]d~|6!JoXR,ӼNNܯFAcڀ+NŗzW%5Ċgu"ƬЯsM5ZqV >ui^$^dF-o˞iԒ͎h\tlc&bXF3T삘A |>kime779 :̄p+lcьcXweos okE螎*iU%9N?*1B3RQDW\‘7g[ 8h/pbOX/*lҹiʛ݅92 >^9򻪴LQc ޕExO/跻LaJÑQ Ŷ=A;GhbgCHl/O'𹭉bdH cOxP;(Y8}Ϻg5MΓ߽6嵋 )Qo$(mJdXouRFͺ w" aXW@PHTTsf6!8F,SܖlJD~ᑄ)SS!',UWb 90F*C.oU)n))<D’i;- vn\g2Ȩ0C&opN4~ 19:)szA+|6(4|mmA&(WLj;=\c3>\0͊^:c'c| kh5pib1#,@B:BJ9ߚ\8DN(ǏwFm`5lqe5ׯKzF rL1!т!Rx۷Q#L"tU'hv17J(8=NHj 0f~MAiu f94j}Mg*AaÆ8>A]`Tj"-8}foljʞc!th޷XPzAقEPO`׉NAx+_F]F״%2J 2=w׆ u5&f~=ɳҁa|ߣfoA|/O8:$f<4YM8z7sO}$5UZn u(^X.O`҂|@TR7gAx.NmI6;9:2ZR|q]܌qҠ\Tr(0lR…" og:rPjgRm&~;5ӕ iVn>FY扈!&~{(ŏ,KiA0cycDzՊ)nhV P92e|`)gϪ|qņ?L!8gp\T* E"a ͥ&^G3 \)gyP+V#D4L lч7`V}&nQRAXWᬞDLgٗ($ E;=uϯLgu!4}W;l4>&Sɏ)esMOHy͉ Kϖ &UnZIƟkT 5bփNk!dD M͌8 ڙeV8}Ӡ`C}J=PYپC}4cuU(PQb4T C p" afp"mPQynT8q$ E"@ ݢ!T`L{QhiZ3#kށ+g_ eQ}Rpcҏ(*=?Z1ZS5R:t ovN{6ADdiGB]HݬOI ?{5Ark' ُ"(B[O1YmFeCFb~c4m|6`i##zn'N&Izqa:+ Vu'-Y#?vrG+3 .z˼Nr|@s/ŔcBj,$37=`Sޝ+;u /!nWz:f慆=+E-SxAb DƘ#7 d}ƒyqjrwNUڴ_Jk@vF$95: ecGemӢ$ M|je\J{o$^RI`KoCc:=̛KY-5wgAqS)` &$ёEWrmkKΉw6csz|Ŗ: $K^, jΉZ*EehtCYb/=7nJلHȱ"O٥4Ycv[G8#7\y3")/XtiJX?ٹL4 6itʈW>b|v}ĩM~#aG9kNM@*Y}7(l9ےnKM'12OUf wڮ1wuhÕS1"oX4&X=p kԕjeN b JDurVK X.cVj+cs_UwrkFËqE3gi#72N6SvqWPS՗<_Jr+37%:_n+&*)ڪ!N!<b2y;w!,cIH uY >o]bZ0}ا4+[{ݗ7\l *C"4-ٿI w|4 &]T? 1 ŽS2MV S[CC$凸z٢,$2Qv̋fL[bu-C Z;{љ ]Uu)ȺQdeg=A{DGlR>daN | 8F]A%C gfPW`#"9jx׋f<] T@܇~oKOՌ=ڂ}Wꀪ 磬buAhgy?,\XY .=祝66ZjR~Ëi!= -μdy_Hr[W]v{ `_ūAI0L.c y nR.Zj 48p A%ҽBU>₸ 2>џVѵ|o} t:qOcL iӸL/oR\*K1LnbJ;ѐn+=5Hqq`kosRus /J9V 7uo^$ PAsuuaٝp$nq'ڜѲ?oKdTϨ\`pr/жTA,*QZ&^s)wDU;SMI Mߛ]nf(n  Leg"plY^ʿ$P+2ۑqt`Y 㔉aɿKtI!n|9!Ud0rxP~,s |VOAv?gɛAx`ىwwD-Iu&>+QfB,rxCXHcG0n=}ҖΫHjhO [tj!2/}#yX>ٷwADNꛭ=P@(o,^[/}(x_&@ELGoѣ4\*v[.h4Y (60X/;*g~yySZ_=|xg67Uz׺ k͞gA9/cgo=FnFmel2WD; v_7N$ ![KV炑43 *^c_Pi|bdwh{q)HqDaFz9B8ESst@mgiL_.?&:h8G֬E͡eb JE쑲]M@ [cEp-OI_{}tr)gqԘo*DvNbZGȆS01zmr #~!|~6Z-0_75d(-C⣾rܼQ9Q7} ;a,;Fj(wnDŽv;oFևfndNgQBj}Zʱp UƷFneee^08 Prm/:+3I[.oΐ|-7U(;6EZC<%^HiZ--IUr]L[ld^q6)L؉f۱ly2`46I#.8OH4Z[ 䆢Y,$;~i\}E;(Zbp_B8cTg=g񗮎% |l<)Ӏ)AYIHX%ѡXQO] Y ̓kat#K PHHcn ' &X[}|Z̧܏P(%62 ~]$뗦ϰsxW Y쟅v[^v!w~،S-W}!|3Z1uC2_:knxw жs{_vGd}n?:8__J}ȥ9,=FXE]Ex m59RdECpk^_6s &K #rY !M?k3MMt{yK魮nHKK'H"W2\ǾY|g%!Zc)۽(w5LiEJЂk7+H=j \Zc՗P؍EMU /0zu㡖؁_L 6 S:fA =@k2h!%? 1~+ ~y' ykbh+Ѯ9(wm-5dL`pXb0dB0|Hѻ|H= ` ͑+cٚM$p)LC)nAŵM%Rpݘ`t(M{ 7cN5&T^O#xemGIֲVlTŎ RHg%CrH5ZoMpM~01>h(] 1 <ƻ*pws_^XU^k(i}fV6pVb\I) q opx,=i?iMZo+=&4CkzWӣ?rw5f ͭ E4;]ޣ+d (="?9-mh߭Xn e"  `Dhosx,dG`1NrYN  D\iRv琭i A3L{fڌ7;tَj `. v yS 3Bke?1AQX}_D0wXω+¡Ί׏lz!3*Pg6&|@/Me= ]z)9 d?7Aw>$S it?&ɔa(lȆ)~>E[} 4Sse0uw'g1 Zѹbß&@~Z)JQ, `vS%p 8c *qX)>)6Ug(k 3lʽ\t|zL[ٔN?E|TLA9lj x>T\G-#,_OكO[؊8 JsRO.\xmbWjx҈}O4zBK-ٮk[=dC&gOFh"n(H Ξ=+=HQ3-QS`;e+'GV,+6Ic@du-P9Aۈ-b%]gaDd 'g{EqeETqBޟc.b ngcʇR Diw!Nlսs'4k9yW9K|m־Ky O`ݛ| 1-sXh<m:jnvV1?@bx-רӑʏc+vmL,Bݰ~HU[9c`rh ZYR+-O =DiD9b8U@}!t9+-NHq>.+]WY hA2kۚLfP6i7)C(w3$Z^CV 1Y_`HDu_izBV u.M3oEOUk:A =!])d@ٛ}" I3ILGm~܊I󸯭kn,d ~e}CE nR4Ώ;IWNբ<LZNveܴʛ[ ]q^@$R+.=J;TEm9!ʛY.~OkL#f̧Kq3}Գ¸%y5!$o'+VNAupdCs~*8Uvy G0| Y]_g̝]ԴJYg@Z#.rCXjOf0g#ZEv-K)#UpfF.-`|N%f vU`# L}fy+wPw#~}29Vs4X#:µ/tn`hpհCM0ާ+jˋO$EVt D?<6B_,/-n15IU9]f̴žZl/. Ob$:1L{ӘB+$\|"Q$Q%jԨ7]#Do\Ӕȯd0eQCKALqR3 |-|w9Dچhln[: J#J-qx~~N('Ʈu`68wqsy(0q(_ȣ;4G8@zX.#\h7M+ܟ:\PG^GU(_5*}e))Ck|̕sk4Oto.90[2"u1h3 07=~yZsPH^_`Moʘ+ /K0 ?{ոb9vNr`?>BKC8p{b䨴4g$>T:&yGotuxy$hj=)5 k2Z\Wne벵jrjlV.Z"eIesSAXCm=R-w5SoAb3[dn{%R19a;aaaS9 MȪ]vm 0XrH46ZM.c7t_b rV Y;TDTQoUőR4hCgIV!!dxo_ԯŴSN ۉ闾r04?ϧ~¹=0blgxbk{+@-,@-ibZ$ˌzTף`1x*qyrL,Gx5]@ݛ&ˆ$WD2[W28ڏʼnh}uqrok6쓲&Ԥq?T0YU(+I6 @`>Ł򤍀h=/ 8KzrTmς+'\*Zb< AeoB&DH'#Sele$=A+s7R\@c<8ַD 3*>jJ~ĭNp-;{x"S/{nj՗`/TG l\"хyt0= 3O@o6`rmә2 @Dy|Xi4˱ۏW#]0X(ݡ:Zt_Z!׃$:-Kɍ /eSxҍ,g4߶vm ,bEf6zOL*`;@~X+L cT"u;[yl 4[% ̀AӴj^;2w(]c9-#;Et8@"=~5t-Pg? ءt?AF^LAc)V ҹF@׭$GjYvʌSc#R=ΰB^]b/۳s*[@F x"sOpȤS #c6d,`͞NC~T]8jKb0B#J(FI EuvlK B0ZI''`rZȌcd7jWdAp\|!}e'MQFoWr5W²jy|>Kʧ^+/=mR8A~2ywwx_qUOgmORwVe$r s LR'Ggǽ@}βG{@'5o@X7\Wyشu'WtKPe|=Vle]^aBN]ؓ͡5*a/~ OKŵ=> |m*0AoG=`SO$YlP㲍Fۋ{h!et߽lY3lt PjrU9y } ~?HSk ÷+.>WllR;dzN vJ pZLCr=MGdvV~1?'pzp'O19UXC]Lz(ox|"u.!ǝVOT+CDf21 cm5I^_2jJHFX[ HօgM>] , 'D֝,)0V-֘@;d̏&=| O  Z: <.[=3:>J[_g*X kc8QZMp;lӷ32ջ7@"=&M.uQۑsSwT:Wu\^HM#Z-?GZ]'ӡ.eʧU4a&t~W+IspPԙgxvߊ0;m^ʼnz>`$F+m<2Hj P6D?m7N>bb[x{5ӯ{-צ^_?h G@]96vbҾޘqЁpkkL< Ep48WqKVYl[_`5_OLہB7Nj,a$Ų:l Esrfб ԀZ)e>\ :d3r^a'y̌7v1ES楆 k/ݜm:lÀEG,dpuYmwj|g &V ׇF/Ŧ r߶럭3i3QKx]Gi0lz_#G,>C5w $.>#T :26L=wP:q0H:aK! &tC1 ZaWr?s;0_Ak"=Vcl%|j(' Y"H(4NVP!ie#gAhjp>d?:4t)Lka(faU2MVI4r(YQB8 pԙ@=wCȠOXQ7ʌ>D#DCcZ)@`K`jǶm[}%B1`6A)Mс b4DfBaܔ8v )28<2[+Qɳ (,p킸0# +lM# QCqK!n(ͅ $ f 5fHOn_i26kEϞW8=spn@ jO8/}TO7ZrώIj@ަTQEC jPfspp%j52+>u1+ U M_]wh "F1O@iU K~EAm Ƥ~H"138^f@rNi(Vn'Dh9,XCጛ Ϟ/_2XEywpa-GbpR2 *I)tEZ6*zVy"\NS]~tJ] Ŵ* o֢%c wgt}^&Н -I0?vF2ꨟn e\ JhcY5Y2|o mpA;3G>8l&BRL2g)#1L2"9VKiZs߱Tۥ{3 T_mj8Q{"eǽIl(Laҡ6qYԞ! 2: !q%=n,A78S0\wD z\`K&&[vjCs3y&GƥfQ4. SssLH3[>LQ.5{>pmthayxjsE"N B$"Vr'>Jg'zH,Ȭ`JL8D@Oc^*@oǧ=}v͌f#aN\ޘ#d9ϥ}73cQ)e|U >ڸ$?FԋܐzgOδg:fޢI"bD[Ueg? e% < f$/X%`Vu̷ D-յFHБꄍeՐ24at :Kf}9;TPmQJRtڃ"$ִy| iRKoӉ9pXP\ܸOÓRr6u%x,SPUR"^"y'bcȔ =vA˱E;-J8/} &{Ci v`(tK0GkhAևhQǦeP& ]dk}U@D = 7BH%!wyǍk.6,ܥ,MN`~GF$/avTUJڈ)/{Ҡp8h$ҽى O.EyT{;h $*Op#2cP|Է}ݸ] _\y>9#l2K9f6XX::m$8Q4 #耒Pq p1x5PY)bϗt|+5O(9ps_dҞe)T'_8'^R5.%dQV@T٬'{ENcI6ͬ:+-Ra!wL7IBTgnʔ[;A v<3 p]\Հ_5\F4yp ` :0_ْ\5 M%pE~MYp3 5TH *ݒT*[1V'g\qs(20_7\KӸlFeik}W {[3¬30 n )Oaյ%l`IAM^);$(1Q:%9 A0ԁAg z7'Zʓg9ΜOioYqlITf=0C EG8:PNFkWyTP>( q n݂eZ}ξ(&Բ:_H߯|x I+jV X#PLZ9fG_C%hō̕NI3H#9O[sX|$ez:,ĶmsoKΰ9v2N>Hh͵EോJ3E0kr&x cEv!_|e by aTmЅѢ{z +c*KLAeXez/!}yP5F^JJC5l䭭*2FX+jVbXh{_7*?2cH:dMߥ |H27tm,o=)`(v NV鬥Ę'T5 j{z3v=ifwQwDF$ Ϸ^p v%}eEx-[k HN9pE]+q8:J7ऒ2̽>BD9 ZڹR{mgsh LT:EvE~[$s% |GsQ_T?;r '(4=| H|>Amy_|!駂/S=+q)\om7Kg>$>X>L**+6GmL'X_/=.9:ŧݐb:2eNk@H/fx% ߃}Y)z JxWn,II;CD؎: #F~h[=A`*YJvm24S0 NHgNdx~ OJCΚb zv t.15pd .t(6Q Ĉk]j_et2^WWr[GNkn|񈿊lXpLo؞Ϳ 1@OkO演[Qa: ;5*!ؒ~|J +?Wwr:nxlD `!tZsbȪJMݬ~s%MВŀ!h4. /^Pf AٌiSeR楋pUp^j25 iDל8&38f8څ0Wşk i0G9E OՖ4۫zBVNS 4d3~~ έ벧.`êxOSK611038zFAtU6ru j*2+gfdIp\Sgެ(ݚb% kJ\$gbM[Kf|0 xBP=0BN\4Lz~8V8$QɔŅ"ȋ"85kysNFYgq`F?HwqݐDE y-&p`9c-࠷?+@Q<+0-y,#O8=}EN&pꕲ ayފԁ^ ~/u\!RP/u? J8ZNT\k|ޣ39ϵh=Xە!.ihחyT<!0K؇J) O4 `VP: }mi^AU |koUH M,0|Te) Ľj7k۠zuFC0x@畲 -LGGIޮDmI\hߴM:]X wfŷ8Q'xn{_./ k@xBS'^E]vq+YȊ>#k,a% ZD/ƍ~{rQ9ȇe>5J/ɓ2l<+"0PVR7q$ v [YθC1R<I9[4jBtc4++C€OF My/?[uՠ"y}Z\4)^"pԧ{Y0>swa>Eί)YCq]Z:ثtƩ@կ:x]}/ pR͆3Wp)a(\LJiN4s=1-@Z9zϴB.%{wDUጄU1b@B?/<v `xa!nm ڣhRj4ގ' uܴu[L+}:d> =Lmv>m!g҃DN#uܨ+@J ZIo@SVJ1[2$}.7)q,̷:z 1V;G7᫿w\x'N"}XГ YX6DTU8L 'f (3lhSRZ/ 1wj!˽'`\l&<PB(uչ:H]ޠ2ej+DuArBN.${$'S0Na2'uR)ܭDyޟӹ1dWPX#7gsu"JhEkI5 ׻:6LT ;-0Vf1Rl؇5EvGCLj1}'60CDne.~EZr(!A~(`_)P]D 4>4Qc\!?L沰blBL>ޔ>Սr٭B4I{nj 0kW$pr/Ahr olcTi)Zt\m!pK@ bXzHf V}RPcTcL0lI[i,'4 JaM(ώ\DT< PJG@:s7>Պ`GT,ۈD-jV;cr0 O6hnvfHrM^@r37wߤj+T1Kޤ_R /#ӿKyD'Ա,x:e]]CKݜ 88wLxChS/)v]cBbp!'GyҀ 1C+;#6)T~7mTۭ@TcWԥ' =8'FQ4be 5x3n?Z!_m+} #%,\*f~-ҔLK>J.vg LA17#7mjC]BR|¯R/HbTQfX9.CfHa T\;BX 'iN]2w]jGg\+Lc6*:ү;"zv֋^aE 6Eaa;?2{?WzP0#c0Qs GUpgc9% [l'U29[Ӭ >XqA'(-8V`nDZڜԿIWges-/O5f1q&Tl8c2Q{h+Q\9K Q'v1ܵ_DNT,KzYpqW'5MJr)Ng#$fgtG' LPPnx\o$x'UIz{1)IR0u4ٻ<U5$ԪrbڒrѓR-QmM4vX\.d͜3X;|ܲNMyo(lNTMvG"єҘe{.m-@KP eˍi#x+uMˊ(&I ?KQiuI% Se%;uAzҧմ,n䗅\~//)3孃Tǡ1(U鶍}C5}-/wΧ{aXuP=wOyZf7]ـVr ;+*/o7cUUOE_bԑVfO=ZpBhfx|Yb~rY3KRS\ ooKH63+0_^oO| @z[ZQI1{| ep81m]ԽxBSvs9@ W$afY5~scXZe;x9Z# 29l@9.@]6ؕ^EYuV8#o-9ufX*RMI͍:j;X.)l%*c/}7+Pix._D >;Sև18ۜphOyDY2];ѕsb|e+(BR1c:(:Dd~oX꠷>Ei;YaʾTqvޠ"y؍X*v,Z>H\MzqhG8z%$q; ,${Ν,H=ݧAs(thLnٶ{ t*6 %?'RUpOj2|Xá=TWS:$E[0sљG[L6O,:"Q"&Հ"(x#[H L,5?M2r9 $ )Abs; jśz}y_RwOԑ)ؙhtvoYGV4hjTtqcyЩpl qδBmFL%BCf0ʢԤ0$4HOL06.fO[)q] ~:]{K2W;$s9]az&k͢!밧hc*)B.6+&1kL\,߽cr}!$Ӟ*kiElD7nG>'G 5 8@*+ƣǻϜZ)|.zInnNl[CS{ؑ VC+^g>pO,MCmJcWaMѶyx< [RVFTAO+ 'ČT!jTFC,ԊY`#m A|Lȱ^ g{X:_eZְ_]$hs# @# PXݙ{XaΔmK/q(?lJX.Hh[33* FŠ_L[ c}T=I.YkفclFFwSz2^b 2G8{UVZsd: 80A#Iq '=7#q/]uռpf.Ŝ#nz |#ƹjUw=D!15BQxird*^t5q|[]m{`J/mfWNLy3PDQP쌡sLjsk0M"{*W78m_VXng_XgNq HK8 {;]KHG?J[4^;>Uz#9 0&qtV($~7ˍB(E!M58C5 iB.$Oװp >qLp҃[#d#tg,%TD0 b.e Geqɂ k#a!Φ\!}!%4nD^OIoC'a]!B'~wosD %>Nma#6st#+鶞X! 38gT}kSTF TMzv .7B[ue\qU#‰u٣Z|0?0~~4\1Hmhsv9~7>BB? >,==HBz!Gܼ'.RȴJ4m#8CWx ..Q)F:D >%و'#UX_tQZGO^*ke>0q>ΩE޷y@)#i EQxs!}'i& cOu1H ک,c\x. | =<Ɍpdʃ`1!k!O64?{IG 5^`kL qЖ؆yhXLJjV9nYL] ^H\ґlZ 1!X9@~y:O {0;ũP{8ꘄ&Q@=eXWj 3zp2#`_UFGQ~eEV%:6jF@'< KO:}k!u8l-b}M R'`\u꙽U>pYMd@WkVě/м2g<&>tׄjxb:k RuSjvoO@03 >k_b4I jBeCQ7HiZ&q~;g<B eC Q˦SV|bHuu 9;`7f0⫯9{0WP;8-CqPdҡsnC.(s m:0h)iR+ A `|x1O8W2fRܡV ,VnP;6E7}Au}b8O_Q:#Ƶ<;J5VGkmñǰ* '-w7@FQӓss?&I5h?˕+UzR!/DWX.sRB^Rשś*qP3tʊȗ}i:z][B`AcD |;u`'Ԯ{UJVNE%qbqίg޴v[V&-[~d"\s[ہ~+c`捞]o߻՚(sd➇MK >5 rIqٜ=nZ#<̦TUSMg83\BވZ@!3,$6Н~42z A]0^ T915Ƀ@aktD:- o2\yi,@Y6wsM|8W `Z= mXO!QP\#\)sj\mrKl? O> dR'])ĸc? ݃#e9 jVȸ;3FjnB-;A":H沙~W֯q|ؾvO'uNja DR/`D!:Wdd274,H[7y4'`dG@π&a67< @e t3B m :,N5Ǣtbh x;C~Ҩșp 6vDdg@b/R'俱XP@lnf _#K"8L H'SX݂V41zÚ2nERkLёkr" Ue`HFv!!$T,*`CǦG5w"q4͸E *>{+=Q9OGuaB&E‰"".ëN" 0iܡR *C!C%w9WPmn8ThT"PNe}3Լ}Ub5xPIptdUW99dե dgg1uo UxX?B`J1K zPIvì7D=l}Gp8ҒIROUZ:x#V{ `F#Z(` ,SHXWdp޲>e+q&V{PxRJ8Esּq]=ёXgM ٻ"[A4ʷʂ+ x9Q0;X'4z<9"(2V0/v_Xs&eV&DbJ&ܙ -аרd9c}A8 ,,:uOˢ i|a3/gR_d\&6TҲso44Xa=!om r3Aբt!Y57+$q)o>m,%h0Q޾qO%ݍoB>UvoN "\p%&xl2""!iy.^Í3p_QYV'2u=u[`DwMömJɃP1Jv_Sos-ҟ^0k'*4ڄm.L)r2Toexam-TV^d/3]I9w)C5zTDԇːP"wᾋ_ s˕D0F)d;ܪiC{^*,`lhË41z/k mHSv5'}w:-*)}o0>/УRF4,TZ4}ҁ_#eDPza GS5 WsTbq5| 1ѷڽğX 7) NLt/h?p"AN/7=ze#!4ge鋟wF~}-yH?9u+(HuPed ЭfI;`F88INPtsw4P̹- 'V=GF9M8/Jkɏmh/]SaJ #,]x}bnq ?9+JP0}гz6;8bf0"GL`U<.WL:rJҧ Sq>rk94#={)|[d@eojVY5 l$ Ssy $sL$}*-=ڝAtN sh ֎/',HhoRsHc/`Ea:z'U*.l^zKȐ[>VNga ԹʇRB'n|7"fSNnY=kѼހW}*ZL Mb#xVBJG"{aXmFd|| k