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 {)$ < ]S]Incompleteness:threads=2elapsed=677.795cpu=1085.784gc=18.400factor=1.607zXZִF! I]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_RAZJXZ pݚ?{ixib!"ͬ^Ÿy\{@5AL&PO\M+ R*~$7BPG8h iӊc`0T4Fͤq /UC5Qq_htq"ES{˽)zr o,tɗRc>d|L7&̧x<15 ;0L3eR_<*Pl>l1]CxֈhN혂l5IQ~E=4+Hc܍"zK2rff:7 Mqۿ':7Qe!Q*|'$G%n( I+NsY@^g/y8;X7iaaPZii=~F# AJm3[l_ +H[j򴮘ӼdW,i?- -őo&WK_hGlne|\09K=KZ4 i28;H%6Txv{$t辠uA{=uR ?*VWɟ .ׁN7 e9(ŅxO*haj`:ȉΕ*?8h%I^GLC57(co--Zn~q}Ċ=]% Pc%rTd0p?gwd@bSq؝5Bd =AB^-CiFH6 ='Q?צ"UUi'xV?Hh$vOzxZ m|>4e,jSpn7/Kp7VCJ=V/mbOzDG.\(`vBF@8 L'9~{Bf eKne+*X+,_5l'nPNsE  "c0:ݞv\xFCo&sElBޠ%>8ĊN$ȱMu 1Zw^{J),v%+$_5np⍉gdr"ȓO դRD6XM@i7 2`*ݷI6­OE~Vy-Hs~ D_B2w\C3Í >ҫ+D-S  (?sl㿳oGPLƪv~CMev3!:@4 NJl=~ ih,Ύ׸8ݟ  ) Incompleteness/q(NkA9T9uGUc2BSE/R\ ko_Gi3~eb>Jr| s{xfˍmp1r}4 /+էDłNnSe'A)kk 0 i/jtn`I>\_ >EnM҄eiEDO߽#JF@ao_u6~>µPz(ڴ^2%~^Bjea/$Tb_! ~ y? Uu15H؉ӹgI':t3` M3wy^ 6S%>q,ObX U; I+4m XpP'67w8t 6\V>-:Dd 9&TӠ6J!B1cj2 }3]M}`$gd3\&;߹$-gA+M5Nt@;vbG,nT̨ UUC/ x)okZ7F[qpw!;߫B ʃkKTAyKmZ`h*o HLd˳֔a`)sFB=@7p`b)IT;pJ1Jokmpz dfc' ̟c%)jߡT#kVW*}=J"zbfz꠼t~]+YAR͔W^+iO}8,R..jK6#m4;w@y Rґ@(e, y1rdۺg^(@n5m0l۔Ce;kIIWLNrO3Q>հ`t;+.~qPi15lX9|xgd a.138"֕A%,1i%&p|{aylD*VuHgEh;.pklX9wpg*u~BW#E)ZJGYh^uQTDz1z̴p\H;2#;p#2P"tҵFeq3Y5U`g @Dav9\LzH LFpa՜8cv:[j@"{ ,x"t qc`tNI:t.aBcWp;b'R*k1\-xt1nu}Cb6,r˅A: o\BwtHdkw.hBEbX!{vL7&c ǻwQ=(K p#γ+V2e @>r&}ĜH|t5'*m`|ўpVq`G lslF)~MDngaSaOg/bna46!a|Gka:k"04 ?- CQTQI*u Vnn?%b! "mGZJBc%%nWPU/DQ˦-6y ﯞng@k[}T;6fLClhp`чgy\[\|_pqaRΝg5)hu[˺ݧhCøf:f%fez;6cY1Iҏ>w[ P{40m*Xq(g]sLMK#=< 1@R/תCe {/W=NWW8ƀQ$V[8Gdn MR)$i>Xh\3 <#&eT.o8<005ǐz,va+[F*m.)&=2LcBWߊ.cNJ~YdLoG,|wTdegBt {b}a/ ga@KZ̉xX75]"0%ANR I hi<&$u߱|8w̋p&+O܊e4T̵?ZtXw:;<~sqπra]VKPkO69ɼ4Ұi]d.\c&GX^3ŌD aéN0dO1ovVHIA50S##HV$DLsoU˕ZM{!äyWp^`\FڒW/MyMyIrjn<VvFE0?+d R+u5j^8S1LB[FIܭ?d#%r9=dC.5(-{ΆhK|Ə.W6A?c#*գ6Qo(1lF{'{"hTc.h #H-* ~eB6g ^n|^|TۅeW]6ѝS)E  ){"Vȧ i3pREH&xa@"m쵭Dq$+% ~#%rJO`' D93ZPSq {zIE;ovm(NqJj!z0!ǃA!ؗ߅@OԽ~p .=swܨVP%&̅$^y1mABG߈(i>1Էl!P < ;`Ǹ:?RgYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$ZN^}RQ>[BIR3>Nѽs۔E ,!Jpdݜ>Nߙn.^ԍiH6NxS ^m(l,VJA_KE#w5XfH)eà/ d]&Xr(hy 0vV^ʹYZiQMTFdF]2m?IN>Lشx8[++;)QKuM?M7q1jevmc6>F5tmSVcC5],!$J[HӃ} "agYZ7zXZִF! {]ŗXi%ή*ঈǫ.pss8ë;ē7˽SYnnC'6Ի!MW&s*(?b *N^VLkl:) +b^2'c̋yJ-Q8!%9Eh~dq\D֗Mp)=N#w2\>+q6tvw ]Vb; A"򛏛{(ZYKV '+[.dY5S:i9y}hfsaƤrQDACQ!75mZ.~"DyШ|bͭ vth iDRxC s3Ae:ʸףtb➗<&ްq*_\Lt3x&C':*d1tXާZe6Ke'EqA)3f]SQ"PYswawe͒{:ԤQ%[ 7gBF/B[fs,&L +eQUysIZ[U\o.!UO-jz2 \ R{<7W<-st.y>Q[ єp[?,g~\HORbwbc䎞tibXPf@\B =\3sѢ|wAڐ'2#~aaPn1 6|M9^"KA2@g]q"5dBpĬ Z+8F/X@h7W}VęTm\zS=}=)mi ׹ڔ}4AFH&-̭EC4ْ/rЌ'[m? _ E^)daW ֳI6QȒ?i^N{PJC3w5S"*xz^VSrvBnv棕/]SPU?by-4S<іgʭ.9Ydq!"|%A;lU^|`J=Š7%[)viז%`Ӏ$JWиo#z]*Aq(-B x E6RXXnçJ83q>:8K"u}<(sXx B9I^Z1'%SV9d0w=#s0FIWX ~C*}|_9mfd76 uN+a ߼) #,Vv\̇u4GZ-0Dn,4etY}*Seu&v-H$ǐj]ML *ap_ o$l{"G8x5N!<=E\ippLCq@]]Miŗ#?-,+܍^- Fbwڤ "XIWDO#}eB0ۡn[GlW$xVJ3T>X~Ky !pjvxG֙&w'c1%4!s堷 iƄmUMTZ%d悁<0mYP>Mп*F{tCԫ }ŰbPl`B6eyL_([$hܠh켴*32*U]\|' )C#d?1RAVp-z[J:T?|^ .=^))ǫp'$މRd)pPcҁ 7&Ai^t RgTecQ1ad 0kqf)@?.=|816T JTAH$3|Zyz \ " ]cZNrhqIi&w`x"9+f|m꘽ 1 ^,a?PX)ѓ 4HNjZ<65T -HGGF2Vd;)/Ew~سyNɧ4F6=V G{Y1VS* MWUU*՘0E> 4,K<}۬r;BvWkZqU,Q9ԒβpВ*=˂I@ւ \y`;NZ{~˛W{&f=duW?#7L'k\8+>T]#lޤZ"9+Om"3B{S3 t? n~ e 51C|7ubrQJe12er8_kUkCPAcJ_ URHaUʐ `Ә622hB\64kL@EA ዹ۩ę]E¶<oJ}#UU 7aYqo)b]# Oq/bެb\3)`ZMwQ"6¦O aR$/psb+bظꁮ!~nglf;Ti90{/cZoοUM8R +5=Ω`߱A`#me'ev.-jҼffe{Hk[U PoRdj g&^̂Tέ kw.ߜj%Vtx3Vï+ܭ!$앜bLr1?dok䯼r%@RMD%- :OIa!Y G"f<]w2ï|L 竲m6:Kٺzt0aJthVۋmrNhx4M_|jv}S }\=sF\hoE]74wTݾ h¼vi*gq/dz+k&j9 F9&fu ҕl@{7ZIOԒĄchԎ!Z-}Ӡ#m5ϫ罡͈4ORmP?8 fDy7uv 6e@nVy|3b{]$@\vh[=ok(,IY*Ejクs^:aAZT.,D2jZam+JÇWkwIHWSO3{#K@P>Υ-5?`봿B/\7J>P&z'#0~HXE)Or [{L6lgi4<RU2m86W3}Htǽ/+zs66 qv<<٧W/2,Zd6ѶL$Ԃ3=tBbICqMC?rա]7`kNC#[N>;‚He[߆h"prkK#*>*dm+]3֭ !ڿ R pfCa=xִjOĮ9{l[QnR*#zP& qĵ 쟚Z%3\R>=bxܡ~8Y-ԩW+AA ==[ئ"dK[;D.M'rG|_i(޻׀t0xi݄=AX1 M9 DA 4J@$b^coo؎b` p'=K?3Iߤ>uF&ʾ1mSc^?_h~HYO+'2Q5ծz+_=T6 6s XSĵPDJxٳ `;$I%? 8}~*_oQ V"tlɽp 9yx:an0E]$ϲ'$o,jː@RU `ͫ,ZDL4t wR3W;T]TMAd;uZYƵ["A8 [cX=&dd -UKmALafBnLTv#OWV.f<f+ /bcs% bgܒ߮+4 /tcF)q K㺂uJc /Nv +O+~#HfKe|qY^im8ҒOq"NP xN>#=ӷ?tȎj.`q Gx}?M;z|u)W'T|8cSxSoul W$[(_Ȝ>c,bU7J۾<-^FRj(~n bݴRٛmb]CW9!/l'G xLޫ#bkQ#ɒa5()P|nRB6I`~a#^}jPq*\ȣ|e].aTȸՑdO^y#Wĝ(ctmjvRJkY!3IdU::bD&a!Կ`\'^|S-Km6OK ͢ ]OYT.#\ Ҧc.Kz, i`=``DC©k}ƚHHN+L.SJǶ?4r[шO5Mӱv;$5L7uJpʁn&T\Xy߷ ZQ:Q!%|yDZJkgZ%~B"CŐƚ4~7K1pgׂg7uğvɆAxvXWH6-l(:t'VZwjbTiHr NɅd1Kw <*e?H$:UȄkO^ޡq%Nn!3 ئ~m>7QѮ1HQF[Cx-3gRB&}jI̞ 3{k9+$mv0|"tI', S;}n: Vk4Z]Q}Oݛsγ5(NjVx9'1p0ȁHFUJf_b%7~RbtnkԿvčF೮f^!Npi,SFFUǩGL*DKw[JQk iQ{ Ew_/!YvCYm͟dp>$mD2 ' K+ 7#?n(#:V}KRa\ (}vN'M[11'o]Q#aKYD2NGѼ|G߮%Y`} eF Yl(ӗP oY2ogb)ۻ4٭72 }WA#BX">ZJ;bzd.#Wy$+<Յd3Є67Ww^WV\ȟ} Qj+:A[w!|ʝQu[Ӊͥ2߱'|DDXa-$kO_#}vXHX~,Iu]1Fm?-giq^'ݒ+cWj 4iR̻Z-r 8Ե(2,C4nZCF[v AY!95֜O7SeЏjXgEG ]Ǻ+[|$FtoAD J Bs @`v"'f\s8Yע9S_|][SH;UD,7wF'QJt+kbyfq'Q_a(  M} ]q)ޤ~lVofk*%z?2en/*3&z`Bvt]redlAhŋz}nAO;7 #+iY&e2^\ހQkAɸsɊCE*lo8nĊNRCj_i"Bd>Te<[UN(Q;Έ0Jv”Mge:ټ=O/l]Vfљ -HR\#\rP)}2YUݡT!6d~U>w =QVP1T:J+lƀNݯ 0Sp@=]BB4F=uU~ML+ǠZyϜq@- jg2[vlNx1ZzxF->_Vui崏QYꃫL Hr<]kcv41 G˥]u/IP|jBC,Ea[^4wۤArL+)YdK> oo>!:( +? !cֹˠeT sq@wi ة{,#qvj].˯fLoA'}@Rp8zX(rgybBTY4p2mРa@EZK7Qƅ ۙ>\tp0]zXr^qyql"WL35Bɰ骉wcDB0t8+0|I!_Xe2ƞq<ԀK:fTgploP(v2&tR3J}O͆~wMf>,nӣe @k_d>I`\AT!f(<>٭37nh0$7߄xlM3ࢗ\Xt 0trZ<)3WF6̺{٦rW}[򁙱ނ% \k"\_>FgNN|RwV:'3_tǫ05U%fXf1%A=邜}P c=yG~SvP_/LaƆgiu47:P#v$s"aнSd󀈛Q6BKjT7Q1GaPk!5ZiVP Q(x蔛"C>cL5dt1lA!} /J_8](!:Cf &igzlPX4<.2hf"U~+gQAICB]2XO!W,B}(Ⱥ9J,Ya,m~ȷo9ΖO ^5-ZsaKYZLMD> +x c :ZN3!^%Ay_>VnT-vwVH4UE }*򎒾++]&"6ZpSx|ď x*[Z -L Qk}GH$. LY7­£a%XՔ ,䢬 f׭"s L?I75/W((ej(4G>. Զ2c*5BT'l@=TcVdWeZw4xmOA[ӣ;emұ!1R*iT *3(Px5} HQ@!w4mV՗&/٦3Rv>'*gM!?/`rT|@>2]gWttцeH֛/MMG}IB-ڏpyY8v4tP";k;'l5) ƌ'wu$>H$D6f?Q=X& WGhg-%H;QsE}&T˽'9G?d9YD \QyTpu"TC H9iGXKNT띳r O9]zkҘ.e0QI|@=%|u"[Ez($Ƈ?U+C18[Ny󽳚0M 3e-VЙW9)׬lXկpΛ%P= A# @d*V&' i@l`ɑo[wlV$.^hVYp3ojU!SI8o2&{<"wg8oAw -lb:j/EI&"ߡ>])+:_jipWfzfc7 JwI),Wң=IrΆ3(˞jgLua6&6l+?? gR. a jǺoE3hjț-RM޲4;nSbevݮ!BJ  ;zɗ~^/tk0[y+ T1I#w +bPm hvi ;i]3Ђe"&|5ϩG|_SKeivK=!9`'YX G^è ΥJIzww wbز:[ V NFOgvc=2Sf|~!uOXvfT/'ܧpC{}^-yQ5] cYu۔E`i6ݪ'0hacxFj5TDcO˜;b=j4?!@ w.|.{gӆI(inrF@Ay@ɥUbӁBzeeF{7ioEOK=+"v?<䆲k`@2 $+E`W2*% {gq4#; e\<UhG*&ѲO[~Z$l T%Ҵ(;@.130PG] ]}*އ1ybDklr!Xna<#Ĵ|ga\-hJCڪp0w R˜6.#$"v5ZI&):MS0(j#x8kKӸN>╳ A%ZA9NFqj>ƾ=gop "׉G1U\5.ZuQTrhN1bQ N)!~ 2km}ˡm¿:B?pG<ޜ?Ϸ bqPl:a-R2e|C+Cy&ڦ<#<GYU 峉Z87_2}q}* FBڛrC*x8XP ($.5KbJMu6>7V!éYz ?—-8ǚ\!2ns !z:Nq AA1nĢVB~s֯oi}C|iz_R -wZu^aLjKګ|:xzK64Su͝ C? g+!p8J8jh_CKZ=}`1TPF"QZ`;JSPɘ`*!b5.ޗ$6X˃6%7'ݻ KXorl[ Z$?d5kMh?C; BO*)",2I1{ɭA_j5%FJMp!&tȍ:e.C+1@KY׋+UN0׹O6r]}90֛!,#!b=ߩ թ 2SvϞ+/'s)Q:_qg:^k=:PŒ!=nF]q@߹fz򲧂qM~rrEV]%bfkpwLf].ޟO|gMӠAsVg1ESm/H HF/ᕙw􍯂 JK\3zu0,s4p vugv .0J>̹۾Dƥ¨RjO)4}skW^y 7VǸ4:QƀX(aG 1 uӁ)t8nW/F@@Z.wrJ<|טܜ)vA.`̘A"Ux'6ҝ})N!)쓁RfyUbΩ'N<FR1WZfSʙ_;v8%8h(K)Vvjyv[zw5<PӖP|գ;d3!Ne"cEwj1sE_7v \l@+VCqz/-"E-[bqC([ v@ClޙUG@_WT$u%t lPznS+J9HKEsm*G00=būe0kAȎd\Hܽ3tkY*]9̎cϬbnchCKqѡ>P28Ɇ! @9򋖌#&17s>cgzd6\ VY tXڹwAjQ*/]U17JhICfͲ0!+أt HŰ u%W`4b 3ﺬWl FW@QwfkOgttoH(wխ-9c"V=R/AA)l3V2|Z 09K$_)^-r}mS8ow>c͊פÊшfm]׶Џo@!kLNczlI+J" ыcvŋNjj'՜azu_P`^>!ʃYh5ca2T_tvkWpNf-2^ VwԌK-"mY}16&C J7 ̺&;?wޙإe'>=r[xݠ*A<K F Kνn:&蜲M]:{%gPG/rň,[CU5ͺNL1(NKjj& nJ'W<:ExX51x<}:kٴ26"֎MѼ65}1»;i7sesw~Oײ^#0^lsJM/AEZAڴj<nɽ~$R,'pV+j`&BlE4:F$u i.q:=A&}2+V!LL|nJx=㠇4T;` "R7~'?ւ(oJ@e'mp0g?*.,^sKެg}jwdn$ta1UO|3$X2*1\ @O%,1dɿݠJo#xcEwby+sRϨv ^vb >)!%mκպNQVD}4߂,z]?WETi^a`B bQ"Ț1zQyiE 6q@Cvv ONDk Y>\#s/ cfhZ(p1^&s :DX* a['axuT2遖/rɵ`ߞ.ǙgM1|$z5C"=}Ey~h2,vzg}q@U0L3ᖙ\C{ܝ#pGJQY?Q~u`hsL7Vz8y o$mubkTL743>E xg_bTVmP=e`1Հv~MѢ%b-4)6_8aao VKGg;,b 2A[ʺ1²:N V"2fBsl: OJ35Y:SM8WEWBU&#-r|$˷'+Rn]^+*yߐykUzq&cWhVঐuLO{`RQ~ZUSuXWp´_[38@y`[udZևoy(<ґ+%.ί ?ID2N dQXqlS.UcM*: ;;C}E.ȵh |gh!7e`ӽ k%iVɍed2Z񼉽 \P )Irl6QA[pWihlx*\qn7?jXn( AƦJiҟ\5Vx&BG JTəxC3у&髩Wy=#Zz\%~~}xb$/0{r ?>du)v͒r`TkJ*%R)%ҽGPIj=F{CW* q֤)l(EA\(!gE m\]Ol;l5hwhG'o,}/I[2SFQ5wټsƢaVK'듲 >-ks2#*8=5G0&Yсd_h?JcW^"~nt]Ԏ@gG%ToiL^xgFZ0#`ڏV)zQU)c'^id*zJl w9#-"JW0"Kҋe5ڪnEr 5wNĺKa5eD2<\)@^(l$7&ٕC=4~ (k\jAGDSV6[Pa5[71G{q똴-b.pUL:ӻ*~jS2M=,LV{Ase%TKVu֥#t"<"ەTO0;K. OcWł:y;>So[su;Yƛx*l{_>8 !8 Bb;EK3f`![2h.b~J<_pkS`oΩln U x~q9C1h{\u*YW/Du:\d?BLxruTonՆ:#\;y;OuMɄSFm[3TX^PZ5fGHS9rt UES2Ϛ{-:{ZK` ͝!ũ} pJv TLUvkrBWGn-rtܻRN˿vt[5Qh@-Ū5ГZ&\Gg2?dʇ4 CnrI*`#s(hHKJ>Р 6Gi@%B_0SE@ib›ÖLk$[E(fTݮeǦ˗d V .$.p"1UU,~W9 z3LSP~|Ӣ,RȚ%7^ w!;-]^`PjJ/bo+@Ldz^zw2-d+!MۊS.83SE'T`P al*A o|Ӆfivٕ3ǐGGC\C!q5d 3rlXLږŮ& B45Kq8QFWhgi ,]WBvE\TuKz&<:(K^U&QU'!gЏ 08i):3hqh5UNT>f<¢M#gVϢe $FBBpي.` _?i<|TG}Ӣfqe?UGXeP$H]R^|cWQa[ۋ \Ɍⶲv9#$~^Lb3>[w~- Nx^{6{{5F88PMGWeNӽK$Ob7%{zM&``s$Ũ$]&R_ U;>Ֆ)i߃\@ER)hSC||8ٛ'}wi?]IÒEHHRqI2KGE<3xp_ Re5sąF,S덦ExYV!\$QaQ}wf[%90OltkEr9 TZՍ@?-i2S.#sYL0\Ȃې48fuiRC'R)͠{s>ED~g(y7"{S䮅5t:'?X"Ȑ֧{]qZaöueo|vTC ݭ vf nȵz \/֍?W?Q٘ {rޘ2[ެy#55-z!BYr^,<ĸCAxl žrp Y,]z^\ņǁLziGvԟu~]{:g&P];h=lns$@gf-x!+S!y.; mGSf\斐 tr/7[MU::z c`ƆNQ͏XKΣ}w(qAQm8gfIUz[7Ŋ;CiQnԋ o pObi~>{[$:A(.<PAⰂ8[P03 ]ĺ4Qw9)�}lу,gc{Aɫz*~1 #81!H)^8cpE5,H3MǷF |>A69T98q?&79e1nY}E% ŀ.YxI 19"tms2wנ~r %|ЄBeug8& H Z8ԙv1.3r[{\OV'$29yl!7~48ieges4K9az;0P"=8  P[S˙Ь굫rqj3_Y 2}HI,q#Kj.5N(' %bڴQt]zD]a\O_ fjL ] r4ծ4̊e'\&åcσNGiF(^ AMUeª[K\ R}F(:9襚rfԻY: Εh]qz:L^KB/AOȾ#r3Gdw*-ظfGoO>lƉUD;Di\}{< p?l,5JKrjHVA;h1VöMr<Ԥڢ*: {HGGC+K]t*62[|ei$^T ׼,d˿k0E~=20,#7aBXeZf/$A!Yd%;!/a1LֺMhD)\M fg|k\kaA!M`hZSڧeEf/Ŀc~ %LkXd9{UiڇlŰ>m$-YEa >{&Y4t+`(ܘv~:] ǕzP:3.XPؒϵb)ĘmA p r'T-ڈO+ŞdOZ5W9%&caY-( b/iAL!\L ,xI=;M\EqGdՁbO%k7 ƙ]ŷQ4M9#lIQᅘR&XYw?;FHGó!gPXGKX>?_i$C o 6hPact* ;,م+*P`1&)1CŧupvH~RAhUfwZ yv4ͩ}i]ݕJD-5Ep>:Qy\DUBO=!8>5iN=]dѾ|nҒy |qr vϓO WKkewOn'9 qXxOHn3yy_', 4ybcޱ.&bu@ fRǟ)Cw \@ȖSl8 7_X4Ęg|y9!c~1cVh,8Nwr檏L5MwŅ@u,>Ow?\Wt7\ ~ YWQ4(~MNCRvma] @)|Vq}NbD[sՕ/x' F|*1k4R,&g=ĠOޔ?=#|-]2"H&!#af62xBHǹ?y4m2.^)NƟ`…{1 $`7 C[KQ~F]@ ;onxe m;xzl:|~*lw APhVk*/GAsbT$'24d'lE@$ܜ{@A DWob|FLP}a"n8?N!7[Sb|` nuE\1 (΁};y1*'4^+g)4T L9Iya~&cD}=8W2kSZɈPZE;rt7 / Ӫnj[V =|gdRq`GLcܻG?UGb{LƳ Y/YR}wW'_L/PΫN1l:)mw+bN0!\X r/66D`8K!6J70ϊWnuI(j]3؅'ٓ>GuV~./2FnmT~ul͋[ZU+YkDہ,(:x\/Lhq&y@7[kSQn/-LX$$Mm& H =Gv(25mx%D$ #-dٻ5/< vVeMZ ;umÊmA`_+nEG(M2y`)JƚT=$sӬɡXmƶmQ,g%b9Ic2z<;W#dRpI{@c6lu+!tW_zg֙W. ?N5޺8sB[ztr8]7:dLsO4Ε -3 zאN>~N3„:x)v7Tdc3-xx;^Qt׼LdC$DoQLhy,ݮ@G1Ljq7&GZW1NT R3H !\M)?ێN'WJö2?,MR }Q31PgݽXQ&-?F۩s6x;wLD$-* E߿8릫;ƘЄ¹iQ~ufjsyX,z|.މ\?F՝X*]̇D"Ugs`Y,{O䡨nibK`}Kdr l>Ե$x M$i붚ew$T.PJ_ʋ3z< }&vw6PvOZ%B#C"PDBfݫBQK@3b"49Ɫ#KZWO2> +Џd+Nylcqy @*9 i5O'a@XIӌ@$8DQA^5SKl 7u'L]l9[ 3YKD+A[*'S1Jq}}:`eOcVW*&-ܣ^0fZR,8͚Ȱm_-`~>aڀ͐z K!Vz.٥$C 0w{Zэ9&%Er%I-Y\h nHJʀ "\IRCy)*Jt'w:l?vo7Ef겒fՂXEx@頻NcjrYD3ygbFA!+Õnr!a$%9-9q-}nbYY>p0@wΐ1 msn|[ᶕQ ȏ +DǑ~X1d>XQXJ '|/Ӌ5筞hc]/thsϼz`s~4LjbJ}-29A>PӞPx{L%JY,v'\85=ֆ'xNUn";0k7TtZfnyQ,mVZUOak F̰ <ԠyER.I$mĭiQ#7Θ|kϣfcũF+F|9WBhs~HfV'A6=N{nrI[C!({f527@}~ʵ>/e\k1s + G>}yNiT6F/YƋLFgIg|;GCűn1U|M4!,n~&E?\ꝯ,t_5,&r x Ju zFzIJ'Ў!_xBa<ci&B/#RZ@kޑl|aN^6+ےY5ZDOF0ڀ5d޴X>.&/1kJGV,tJE( O!sE;}i]V>lr1wѓhKDcK:9ӈUӀj$41!LJl Rcïz8eKSi`oB8G{J0s)p?F*cSvwBR_a?ЬNOXΟ?S ~D-#H8+3XpޜhEP%N5 &"ާdP@a_/L"7S_;:Ìs9K@~z+Yõtb@1}zx05mθL(RL~ۊmn#t9 |ZI}G^c= |TuREbL|A-U5"79w5F.gS+;.I^K]lj׼q[, Ӫ-MY#O?_4cdz?"bHwu#,ʳ2Umн>,sNOSUP :QfjLѮ)<0m$6W>>&"/AR@aX@ Gs,5U/.5o]|!Rb^,нQ6ăSgs:IϘ!{cT@@vLkT+ @7nk(ʠk ;n|sۡ0wypm3]]O349Jzռy˨3!%b pcW-j1OIU;$[ƋmyA֑#SV yYPg,\Ϻm4Me69e@6 1IRSy)s."&0a`q%P:dWCp~ϐa0.x0ɭG>n&6_^̎ 'L\ {GOE>ޭQ~p;lՠ%Kyfʞ7UL" SB#orcc+CO K!$0@jMҲyAA+"rr&:S]8Ո̇BiȭW<]H%RejA}4o &FP$Ep1 KgNds<yl0$Œ%0fz SNS:1Q 3Yg,tot5ll'}^ =PwmOVNU誱*`ژNZpƲ"x.=GUq1/Ɵy1y}%ڕJGߎ' 4aw?ö;r~}Zn?`Iٙ-e#wZƚ:#)Eҙ~5iz95M5Г|s>Æ,+Yg6xTr\)J-Cȧe&#$!*0xD (W@cM'9Ӄڞ h7x>SɁ$ >?u|0{BաH,%wfuZY.uDwr]x_[@sPGw\ 7Y$Dr*l 0J9Z'>AݡT%/du tYz᩸Pt- 0?9K 9*NkIYb+l_ O J~鮗`Ln~m+T LEqsMCKb᏾R ?r>a ؼ@*A R(m*Kr)d+ -q2@<JӸ0" n ܨG‡ ذ7tY4¾jw Z])|L \,uOC;a*OM6YbFAmtna)E b&O|! UWU7"xdz qA _ 㜈Uw_+_p|d*?7F/ЦZbx9ɘ2չH8.)|TDmNު2ӌ?Ol޺ _pB_R '57^V۶qWc7m}nS#;+qA݋1]-qO fJ6J,!ǡAI&_+-5 }1O>-p+ |+cΐB"P n.?SY8tBةo)$g5{ D {c8Ko, ?}9cHwҺ{jap/ H4s:#IH1KX٥0̟<-٠2*>7wBvOZb9#$}.$>/zatТ_=Jw@ 66~n:I nn֘!6{hppы§[OgMfNR9|K+`3",Zjqe5oe,`Zbe bpjd Xk7=6zu\\wDN0q=ȱPG_Njp#{Q"IVg/]U'!-P=i/nYW_3Ez)`gC>pK/NQQ, fD 6XS)]6uYyݡ!(S0lmWMl]ղ6 e7l?h21!yڸԅԗЦf~ؿoEyŖ յ5VCyI~XUf9+a@5g4ί(d) h3ms%X#Gal_I|NRA}p[޹(:^1iLPB+*6M, 0kR US f EH9b5Ahw9/~GVԆ_h6"n SWM50qң~#֜S2_i]JhI;= al7XUIxQ qdN7@2JJJM~VK5Yq>XvB!H檡& &\kM lԋfNQL k?hڽǯho(C[u4n`f|iqf_dءrh1K!KՏrs?9\ΛgSmU;иv;*#<ތ-,ma>L/, 6Y)~:I(%Z .]ΰ(woғ{:jˮ*#ǑejTVD*ӥ^1ϕ5{/525\bҠ0$̺6aQ!aO8 cY[V=%7``_88ށHv# hƘ,39|"Z},8|~{@ӏzrqGURJc&a?5a<ҪPvNE afnz qã225gYZ8200b75898ff8cfd24a349038219247f0f37f83d00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 12a9a67ee2c410be2d5909e6d6f9746603149d4678e96684e536940c3d109412db677ef1b33d2dd6