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 ++-1< ]% HOL-Decision_Procs:threads=2elapsed=575.846cpu=1024.552gc=100.752factor=1.787zXZִF! <]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օozK N8%Ӟ-=_4Q <$РrWm*<ٴ3$& #F<$;C+>WMt8h̦ZRT $~7sΉE9Gd`r#,>5K+u2X%pqQmʢ߳.AT8Ԕo,EyRXD_.s̀rkbR=taQڴM3`|9/սBF4;E𛳕^RoQ_'CM`bxjzr10wtoy[%WO޺K;UBK@b(Iwe dgaq|^IΝI[3=H^)8NfL 窸`v`cpnWTZQL#|+ ŝ^vXq45jc/=kgeF'A8Ęg!+ jcd}m wTl{ikY9A6&`yU`_"&@9^s~<$ Zp҅!|T )x / ǦK}?r:ACW .ُP7FxIH*ٽ K4N jЃmf`={QXvd=PΝF^򴓈B3bz^\1s%j;=&7̓WIBodJ5` Ծwc2/.=] Qr`7a^cdӫ,9a|%LHk_)@k<Om&wwuu9Uu?VO0̂0,LoVrnAz7VOϺPfVhi~v\6)7_k鷔|[c[$]P@!WUϰb&hCA̓]$M,q >p~Ay(|dv#+$h O,}2O'ʶgc*#0g1tOCUFI0ݪ Tzv{4`Vݲ?4CFW'RM< 7' 94™瞮!mvF{+BY$BYž7V=H9y=a6ϜuÂmp1clGut&\tn/$GjA@O—4LgQ\tO]Oq}?Zo}r!XXᷜ='_x KN5Q]ebD~PD %eCٛE \q*b?ks|O8Dym7zҧqLƄJͭM(x>qHKI5=*jҺ ΰ~JUV; ][s!Ũmdۃ :v ;iLnf&kd'Ia&v *TՀ9NQF6޺QG{PsxxjqS~&r5D\"ee*a8cek?S}_5된,Ζi YqGd^ʶݺ4 IN>> 1@Z%x\z 1 HOL-Decision_Procsj@-ʊk/z3i|_:td3Â? QuP]ܚx#=mK#:C[džRpohvwA1}f6l=*8b 5b/7wtⳉxXnuw??7'c4?Vi/ T IBon{@1V"9f2JWȫ3T)Xղ-  ^y*&ћ0sn+)#S]ׁrw1; eqM+خ( ~⊗q^&kއ( ̃=2fQ<;M69QplzLPGZxv=it5gӟ!%' 4yCQKęԊ *zRxi 4ģ=vY;S9y0&i$/P.˲8VvޔKx{䏤\p;w9P1V&@{i; 2@M(/q4*_8D\ո66~?C^@3 v3b{t49/7Ӓ;lB3Ap,N_c`Ьg=[t_ 0$h$ RBΒ. ogU6ob$4 :& 0/&ɛϲ lR#ep'!*+]>_8nUnE#'Pj^A,P:9 #(i'py2P:)Z}mze@pbF}!z2 6b͡O 9_Lv(ES˨j?T (1^6cퟺLPkzJoOUǿ9/V7F]Ҍ~b{%[^"zN|a3RfKq;פSX_8|Kf#/?&9,CIWz#6 W|,ek&Gn1HŐ43pvfn׫Ex$`2|YˮX0"oC#4Q;X7^@)Į D 07ksoJXRwr΂Y/ZIHK0Y9:9Tl u_s\DE&l !uFUeYu]K} zKݒǷkdw F64-S}D΀<مl]d=0bT^Y:nK^xnd*voCjuʗMd"igUcZGvR) 1ihOBhg4 rF^%f `b^@,h ك*^-BMxXΔ]orf0-^ga.fٺde&w|.:@CJ%! (.8a-<3F9V ۚ[!0Td} \(g<'H2LEe `.tҚڍ2Ot%LAQ˒aQMjAFgݛf&diI{}Wl )l Y3G<f (Of%DJ0mܕSʤ (ۑσhJaxeJ] *2WrUjEBגb0;O\{߸ìl-|١9gKp< Ӳ9MOIgu2ja]¤zgYZ7zXZִF! p:]ŗXi%;NBEٹE\r\{Y؜ H ء Մ*D$lFldvYя?cf#^%=t5BCC Y!5]x3`jqs⅌?ZQ ;*;ARbx MŔ\V] 9L#ϣ^D] &@whr _'s j ӵ[!U$/"*Ǔ L(<?H! lY_)3GU{?a[R3ޢ5pWZ}2wɞd''gtR m:J~ɲP>}qgZaVd %nl>UI<%תW`3)'9;}(ZHHɛDvg*"8b: E$5椚_wsXЪ~ Dd }QPEϛ"qũ[ @.e]LEV+dcΕKHe{E55L $==e{6" _םrzφ}r(o+k]w²ѓ\E(O{oQ*K/Ӆmr5˩lPi GvA2k)q?_B>y[.2]^šћa,6ěMX+YQ@7KɋQݽYrwQ 3] 9Dm07<Ēd[s{ź ^CM.&*JB>cFi;tUH2e[pA 25r@G$ƑP6@_E@cI`JˋT XS+qu<d&v/hvwGY/%mZ/"$7RRnf,N7Y`LBW^7mAW-܄#IڙsrHmϒvQ$pL|~\tYA'ltZY_m4W='0A_K &ESSܛiNB0r.OUW2-'"aŘ@ЂkEPIkuh>=2`&K.VƂfԠIe461I.=`iaN'{&8,I<>_ɛᣍͶJP<T =5UGϕxY IAڼkRtĜ\:Ƞܧw5kLvtr2$@m*oߞb[GYY`J SMl }Tb+A_R]2^mP\Fp7%x 蠛dBZAtȆA5QCNGΊ\){}?<8 N8Z2X8 SY*.%G򌖹NڵRYq>vh 9,w} ̍;+bqF8:|6(̢']uW+?O+GSmjA\*(e^#|V"1~qM)GAq wKHqf{CkJ'"= r+Xr8,9ڔ&rqo\r[F1 ,9 "Hi[9Vj3 %hbw_0)7?+[6،ѰCTHSsw֔0=l)-w>vԲxtVam0 p6CZ4 ?Kmzh^1-J>ۍ\P[\2u}Y39x D{4/^$ nd ZE#G/>ӣ|C /@Iӯ|x (A@fU|'>')5~GH;JTBUҠ,+Z|!pM?)0o-&ȹ-p kۖscTBsQWuIn;M=-~\1o\bV)8>ͷŒVX!"KOP\xG~kd%i IFZ& &m&O>K" )j?*=B'&z 2KŚdcO8tLy'LKhIc(F͢Rm}]'Eh'[ t[+gNǼA=A 3xcTM"qЯ,}KxM:8Vs zʛa* *1kኞyp?ASѕYÊɰ:MNNR&B|Yjb$',]3ݘwR [M4dKe~/vlv9{U*5J:ls\\Yx?:= >t@.,S-Ⲭ(8Qt@%2/ 6j_SW Z_%$,צHLdvGt^UښU?!ӂau; ^r쾑&H&KkUn5RlSI# ZUsRV+KG8*5ޅFm-e^ ì"[X7"/3v޴n-{+"%17GkG-q,p]Ʉ|4BB30)R}1W|XLH`^xl帚/AŸ!"a.t2 X"z^48 }#yn/Dp>h3tTZ}eIEPP)w !|⃖M2g~mETbro?0D_QF|a^YKa!WFL@+ٞP#&dK"q?v&R!lF>chV?Z?AGĐ Pq;}BhM"?E~*aNJb%L!F܉WAen={>fٴoQ#rkuB8;GTh?_!|:E?&*\*FF~^5U:/dTgnuCFPH/ydЄ^d;Ĉ4 Pl緱|b ).n-y]<`!| U~&+58%ss~]{3+vi9y"CE\@s=EN5fX7qJgĆJ2.4e۾4tMcs$,#:$_vSch#23(lM+ΌG%܄d aPIou ߶OȯcoaVᝳ:?Af8N mWYwX+\\uIo~ 0:8EE3ifÿz/0.ti5n"{=y :5 rS+4*S:j"1HщbU/k NReт ϰmTCB-;~InZ_2B=Y ~ŽH> h+&n~_0Zy}yu@ Cw߀.{r)57%!,>u؝-.d?9=myRɊ6QQ0q,_ =Kxǭ6Ng }jp,l:*J+BrĂe &*6-k mP.(@k8a NiU*qAJuP!c%u qs>?d`=zdɛ(:! +gq4\5<lZrO l*w˾D,1#O>ǜ~X񁖓 x_&vk*?WGA?2Sk+UOtV7sRk֠f |btl}Bcgo!tRy{'Mۇ|j#+"@~]Yź˖^ѶZ!7Zc9'qA0PvLX@צ=D,E)5JK:FQl+pox Ðx 5'tfPreiӖk ;IWk5f/=UUwq6bgV> Lp*fͱLtE]v]Rv݉fY4{LgV͸@[-u#e4^=j"@ӊJSIֹ+[cîMex֬{^fbUy-+3S1pV@l>TsuPe4vl^2&!r||05 `YBV,qGy87[h 'fQ[ 1AVMY̗&Ɯ̳^Xg9@=eib_qZR *:(lKa[}if76) n8;7KiC KE׷4)v@\IýO0gEQ@ʽ"> X,DnC{Ґc~ov 7 + !76'B|"Wlv LాsɸҔ 5k$Wg-;^J1ʳ/}[Di>*{U5^ýF6 ym|&1=sA3x]s zsVEnlVǶmw5HQeyGd_CtMn ˋ"xTnzsd4mCCQ*>L}B ' [Թ.?ѺP)NƁWV%?a2t[b2Öo4&CdcZx"`pyeHcϯ;b0+bGauwf(xї?.hAMǘ_˓,ޟD$M&M,+SHix&:c[ rW䅮ۉo@S١=Y_dj6A 6S_6!}A; yxIhM`Ҫ2*rk@)ITZOC <\)2e\}\B UgPVegF%RA@s^y}&;3+]A-v1Fp1Ay$X~8YeԿi uѧt[ƹyE\s%$X-pK}}g ^bY-ST[V:y |~]m8AwZBʄ/\Om:PK-,%2*F fW'5<'?bYd'f>R34g:OWG Y  X@8dp!mh+/0;)sp3}z9!B6lno^w4}L=$׈]\ z=+4.&Ne=2T=yW=Iip:YX _4xJ|\;h 9$TwOön9ѥ'5h:Џk*VכyS/4lYӉ PM!>w1 Ay3X|(+(תhX#d:f>QT#ʿ)(?wN6nB] lx%tIDP$fisT5UM,pvC<*1+%Hln}a lN;eςp[QLDΉx%#FXo:LPLg1N=;.c@<ize}?9A^Z7Z##߹ 59V+ZC+^F)k5T'ue^l'*n1Om'2(:n3"^;»-#2#5/U .lMi`{FR84Ի%KfNHi؄m"|9*idkya1ٰG'bDRDNWE%5hzp@2¸DzN^%vFCW=coKnSL(pbNmA~-qZ\YlvWB:Oe>܉Ҵ͞j*qH_ahPcs-i8Tr"iZ镒mWOL E gيv'BQP=~Q~D$x(;;)P~sy 6› -l U^UE؃tBHB=grlIsvC7[?|_ d *>^I0bG4q#1MR]a`hۂqvb୐Hh{!B6L`~pSa"r5ִ6٠Bz%,/UZmꮡ?xKBKNfK> pfko(4 FgUi"ƍ/ "z"bh&YJi *ВK'$U>{ktL;K:i|q$5UmGqV*FU>MYƵ^aV>Z4y+'(2;ɫY$2 3[z^mγ5l{gdEDU o?] XC\Uw/tf,lČ:,wz/ɷAOk3ZY7c87J&I]>cr֣Yg[il_N@ABAb<=paIM!L^I8, _kBvF_9v^gFd.WBKÅ=0)M0pk19j?}j%-3D E, Kr==2pw:VQVKF֏QŹ'=\wwPaJQ)*E٬8?8$,^ۮr<;_X[BFw!I` ;ꔣ&v,s΋gJԅo$~_ mo]Ouw.S}ONoN|͎PCT A gpL{sS J&84u "ӤC݅ HUvh5Emuo -uI*,BRi/N-h Jm.4oVG3ς=v*"˯CIX[ؖ3ׁD,‰?4q}6l/Pݚ]_7-P}< x+ i ?ƗDgAHXo6GmOU1FJv1L__x*ui/[V8zKv8C5DD*,"k܂!1z֞(+gx'JёfײߜTh䀰i Y|`\96 XlO2ʮ`ц ڪw.xQ !g`ǫBZf8ňbb(矀u֦M!}x?R8|ҌXuwLj,dFSL"؊x~ɟ[>(( FxIcq ɻi,Gpi;G _y$r J:X"i}һ/eA0,K:Z-&NemDZ''nSu*b+nn$Q FTCU7荘Gˆx">ŝHsO>%~2TO,;W0g^UpސcD5:~#Nkˆo{a?.Wf+|@>),"͔Jo5A햁4ağOO#\&XΚwUt3(24t&]! ة) 2&WW 9  ZJ@|[* Ni Ɛ.p4ZfH^q4!LhV0wBPg _q:Qfn SqRڸВ/8dѓP Q*P5} :EDIEեSYO&|d3:dGZHw/w\?2>2׮]%y ҴW rG$A &5||cr0 zwѤmca/.te<>5W,[I詔sdC׆/)R*erJdM1Rˇ>X`Gb{L5<`S{ ]H!`a Q]Hb~/w)% B^w "S}ڹi5|ɥSSQhQ$j8V}ٕ3)S2}%4lܧ|,7=y ea)O|rȔ9}Tim"m@%vֳ&Cݏ;З_ &2BO#+?hBP2MU$oy# t39m>)ȫoݧwqI椂J:%G{6EmPu3~/ijܔݤȀ"%ѰNJNok[ƢPfh4^EBr0?:*bC ݮA jfYlU2RÜ%&7_e ~7m,HGC[eU 61 3@nI=\j4"r]3}m*e?!)eb? u}7.;WFBdUd7ML- 5GaPag@n_t$RQҘ]ɫSxkc &Ksmo^s/L}a9 IeImny1ƪE`խub-jہTrv*u߀gD\Zm_p)MT9 M;mqa9uu$hId5%KdzPcMp9tYVĚFz<@`U{Zr"Evʶ MK@UҞم wfrk#5U\Ew@Xxg .5R 1m-vY-䧯h64Gg3Un{i寥8׎&aC\&d VhY[g</!]`P((ZC@ ۝<7ixUS:Q * 2F=].7{շJA^a@9<$NV-!SԇI'&k7sg5 1I蝭{PeݝxE*q%]&s P_3SUe0)z!d<7!'0C1;H1-Z0]=-\jT]o(JsZm~U/K|0(MşeN8VrhOF(J{5X Bp8,oB)Š Ub WLFKQӵ=)g.)+JT8ːj C0~{ZcIڨPHvnd/(Vo4 Ui`?̗ML2?*aC/x5$ i/ >z ջ4Nu2?[ `9$@8n]K5yؤIq]OFHZ%}wcEPңe3+ Apq/8`DEGKq*%>!{ VږRANW &H49bSؠj="<t2w.3N]u)dַh]*&R~Q"Tja1RʈdvҰڥ@kRLԜE_>}3}}oj[jc @'^ `E6w!Q33qE( W-7ϣS ̵3I/i acCKFD=R) pP&v'0YwKDBGSSOR,f'ǚj %uvO=` {:`{|ş i+\jFH1ͯ7?OǩK$'#dIIU ld Eh{J׃yѣdJ%x79_ O'>P NxJ{;!x5*@0v. c'x:fёQP.BE0Vd0ug-V㠈~rK:XefC""# m=iVփa<du^+4}_kͥ!aLb(q]}&|IW67 "q^TY_Kś6kn{\s5ByP.& uDOME?A<|y^6<jEh]]D]NR,KYJڟBw?(h6SaC`B$<@@G/O;*(a3}( @eEG+enCb\Teѻz!7;_,#Z(1ϝYq څFDrKT_Rp *NsJFq+Xط尦Ĕ{Rfeƥk-?EBKU hS>A;LD lD<40$z- [le;aZ%%յY),q!3ùo>u"^_0ubȧ`x,ֻǪ?ОkGSVsք?מ"=mA=^ &p:Jh?% $ s$8wA߂Rٱ^ڀDYxT[`}BnPHJ.u A6%aC~XD6͘0GC0`VI"1j}Y0KryriG˗(*@&E_ 6|S}T*b$jN-IouLrJ$0Q:8R#ܥǭrпQ¨C;dVM6.~m Z6; *0!6{D,8x_J ʺ%Fe#*4}(6JK#pk/z+qh>y: rF U@C { 52 X2Fz&nskp)#cqWMqh: bΈtzVd#QA96Gl+*փAkLpp'pӣ*QBTWS[3lA6=7zy6hNO'wGZlGX`+H'r(%ZrRqG'eO <+7kn`xb48 _"C"R-ɉ/ tKmɽmںqVY6m;( ,q]GKyFw'5 WК0(MxvXxQc13@sYALr;і)XW˖Y%jj%Z3ѐNq{ˌ ~';QijkuW|M12+4e;IӵrvrcAyqsǞpCds(a2EK8ٽ0Z!*^$kւQ&7aU6&EvX}8N.'8Vp!1QL/Ls${E!9Jx?z\^җ@<E96dgPK.->  Uh?[x꧙l+c{1no%Y8 [ 6V%dx811XbRhN*&6KX ic.NU W}(EV-7W7JsYM1tY++gԏG=+'>l/(/&8b6(vqn8@DV~~+1w fƬ;d!hD1{=)'̟TA}ͿXYJо-sE:DTr./K3Ee<S ?"b$-1SK"Vusp& Oyh0>-[RӐ&iW7,iGcv, E;<]a/к~b-5l7-K֋4FPT2y?iP!FrkwhS^6M 7]wsM }fml_̱]FB)G\w+THA$hDHJ;O/[}tV¦nw)l?[ jWh>7.wS L?ܡqu,@' 2~ZO um=>S=ZL‚#oQCceG- Vt)rp/E% | \,9 M"j1wxY;Qڀb,iVi ;%I}[ %ϰzĐo&/tF 4p(z7F_ϑ2lw+!9'N_ @e+oRLao|9/"`bG$O4ȧT "E|+Fs:Xlp|W˕A4pj Rz =ocXI[FL4S #+Zim %:F_19#^XA"Ĥ E* ZĤ2 Y')QY5BZcU& 3zgɀwVco5Ì;1"0ĔʂU- ֘ p^X h(ҡkIJ꠴[IMuٵkvUC [ -vP C6V7.l,Rږ/O_% ʔM?Egg&/zyr1t##᫬S43cAIUmk GIpA9f5-hyip r\J}P5*3k֕tCORs+*}y>ER0bn{tώ8K͚Ftl謹VVP:( I=ŏΝ(ǯ@ndUf̃U>qN Ԅ~|{uY׮Up΄`%BsOx^{<..zsZ'ݶ2 GŢ9gozL߻mcZ`{ʮjt[x2PN(?54iqOgR pcD謚ⱥ:Y Kkj / P v)݀ykIHa>BVY1O//6BigHs%׹?}i=؂Ny֋6Y u)9)@^ F*<.e6a +M Recr1g_Dm1| 8[L]a6J٠-Tkk|1 R$aA?+OIZ,M)^|k$* NYv^=5kӞ2 G%{C𵹂YZVM;c>tb)9 =  } g g,LU+|NzՌ5vLw${M-myyu`?9{E~twK10fC)t*Éփ sӕ}tq(a" 9Yu Gb*DNp 2yqq$ dvmf˗,v>xu'G w#qQv  <5e|y[51- #WqE, *ݑozmfu ײFX|8:DqgUڪ:;j<Pͨ_CWBlW@hS3P }oaY~#.G.Gx\oCL0xZYAt{BDh~'B~G}?U@rGgl n^ ĈP՚=X!:--Y;ű5};\bKPDf虼sW9⺬߻Tˢܔ59NF n]gdئ%J4bY=6NIgc8mV{Un{Ѫ7UN6$gQ>н骊W=VW d4ܧ}Jy;0g* B =YRx o+x=@t#4Df|zj{U$I(N,8:oE"vP/\q߆5uIɛm/:czmYWFUIoB Ai7$,ss{yONZ׆Քs 90}%CXói{%>QWCLA>H^D @v~"`'v~*[Oa65#P``{D4OѼAKbRs'/XɩIZrdȽOv`XCЋMwj_rj "nW_J,TJؽ!|@AW2!KuL~R0-ӭ)V:נ5?>?EHȰ"=t]lA/1*Q<7%*e3~U;z͚A|c3Kl_mj@S&MTJOGz#7;xS:vV9OGSc4B WN tR< )O==J;B \o\b"- Ź:{%w: i:!@U 8,& 5>P̙f ~R1oz1#qI28Mdt8 "&3`[M)d7OU!2]"hH8--=\*-AmjS){0pv3ݏ,X>hቄۯKld:KM34JQUL ޗO65y-j,<"Baa/ ~k䎧bnJGIM vWbTbS-g=4*o=1sBoPCsEzQuqC N,'јX(鱫)346?9b-R0:IEҶ$SngיZeK{i^4o!:vC 5&0A~ont=0I8w36&ϗwt.g^Y2r7 DTN..q]ԔqTJQFG@E$eQ9'98pOƽ+1T4l@ERXF"Vgf9 Y}\9јi+Bqq"BO}2e43)֌<طjpgr+Xx T'>tGċ2g‡Hsw<1gϘ#6s%~Kd To1{ڒC5^àB ̄h.,8sssSI6ѦKn! .ў:Z %V_T;~ ?DYIrSօV&@bK,L:BM9n0vgDK/MOÜܟIUd`}r7I<nmL}AN9|+ܣQ-zFhR}J9C-BV)]p!#` g/xNN͔ Д%g¼% {:}-*xa :(>4e bgH$EdTjxh& )ǤX @{IKI "u zjyBL24ɍ1t,e Eaɨό Gm4+Nṉ~z!JRYQG"iƸZM |wUqk?>ʤ3-y!ƗH8O}jgVdqP|Yx*E>,"CqWGWe/Qx|MƲuIJtGPHl6RP@ zR:fY RU5*VRȔ*CkwKU*ߙL4S=5.^d+Otv:pN\L8cݬ]ǐm[C!m҂%9aAObu&\Kb0p@I(3jѦUwIrsᆖoK>'4I(Tϝ![XNeQi0d`|SDB! L,E tĊ%Իa@N Y""1lle^o1 wiV^{%aN3t,,@A\(juD1VByy} &2SkE ߡJO"{>Qiv˄!JU%dS2ggyQ.W:'X5FPD8NA Yd~'u\Lhv޵RjiR>?=[;ldS0jALp&^ 5P~:rV :*Bk T~;Vc-&>UsEC$ҶdX.Hݏ11$ف؅}`}V !5pBVD(*Ʌȍ&ɹ=jy<A9>_ lb~q۳t1q*$N] uJ-?+l8v .f  .4|EF+w.](#XwtRۗC!9gt! 32~ou9?SaU*gaQ'7>hvA/1U*7S1H*g I޹= P[$/1nj5 ,1ra&a$޺wRmW{bk-vZmupvHw}>`O,$ ~omd?-QfB2Nen)?!JNk"3n={We0LD^+tZ"aխ2Ϡf0TMYW4ͼVRg1AE !\-6*W +oԂz;Gl9oeǮgL}o-r`ЕxW̾hHb5* ;x ^#hq/ IC`!ˮiY;Ġfӻ%>6鎵K&au.h Pw<&~ڤp~`GWt7h*]l͝ e{|*#J=~H<T`9V0Y8z\?|TqK(}J+(=2hAu|rpx?aâTԮLȋث2PBKeU%Si uѼCH>jK i-yn$:H滖gtb6W <2:NR&Z6{ƠR-EFic.~y(Nuߠ󯲝Xj=vz>ܿeub)k໛ok ߸LjB8-b'ؐZu*BXnEᬲ,'c*bByovQDG÷9IR9GV:@4;!"թ_d9]>M݄WxjyOͭ;ovh F%EWZS Q]rA I:@QGd^05bͲ<2n׍Upz :c(/HB[F&y92~GC=&z1l AZm$`i1`}e>$ KjѮG_>?W ԏ[Nルh ݖVȫ T(R Qa+=]꾽I%?[UU "Ean+-->1;{=!0ƩQwdȕ۱ɔ\i[Q,׆LI#liξ4S܍(( JR=):Mp<`t^e@xhSpD|zYaGas3e״1zD o[N?,-:o: Nj)kՇd^r,x9Ngnm<<¹7&@%awi^\-yՕZim]C)CԜ#!9mpHG'>pُ7T"*ċGZ Q 4S7߮Tyoƛ.6 te{0 0v.1wAΰaNgAyvh=N5@ڦ>DQp\ 쌷gGfۃzU*aIx)ǚe04Q7I6e0=A%ۍԟXhuqoA%Eɠvd ◇#ã&uFs_hYois:M al˧u[wQҮM'Up#҅;'ԟ)C#\fx}C`"%GԻ!,AYމY0%m,V8Jp˔~N9Dmx nτ 2q{$nݖdÉݪXs߯K8rnfYuOTj6g5:@у D -㬋EzPyj )#-`X DoS^vP]$~c{a.٢8*LMI{ƴ'5O/>fa2l^BxW'45(#ՄږxN`-ͶX@ )Hr$A}s}4 %p> YeZ G8]bct=\@*lA{dtQ)SܽNsV4%,%mu(Z(3~s buġ!C\xPj ҹ֎>r}~屏PG! d[;2 EOO *dF7:ʿ}v'p@6@ֈFm΄AjfVNe00ӠR|,7 zsjK>LNUƇAp-P-qR߁ %tA̳ލww936B-bQ]1֠Zi|1{Zƈ, Tyf\E5u+ƈx5;)OAR%͆]{.Xہ8 8D~E :gj(¸y!A<<ϳBҿ7G#׽/nt\,:qҰwh{Lm;@1(PKG:vdw%7ޔ"/?Ĉf8MAu/o%fz*2b˛!&LK҅]-'=D@IT^0#Ш ?_4IJ"6W X]X [ X`  mڋ_*+0L1sLX Xc@Iv5_&.pC*t&dr3{'+s)4;Nвr:}~q jf'Qw$p4+JSnè1Υ\ΕT̜ ٔk 8Gj w!SD*0,)jB6EbȊѮ r:%W ˌT<Ձf~0V[j}$X0-7 ^@@2V0sg{rZ!ã~N1̗'M唱gYZ6b000062264d95bb72f923947767354bdb1bcde6b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e b61885b9b1bbe6f9d8552fd0b69074af3e041450 c95a08ad12f19724bcff5d415b5c9dd7e7ba3c5b a286b5d13933d364c6405ca02cefff377c37f252