SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  }7<\ yw]Refine_Imperative_HOL:threads=2elapsed=300.683cpu=508.428gc=19.916factor=1.697zXZִF! Z]ŗXf1-/6vRZ[gYou1-qF N w8D #@\pĕ-E9q|Dne"{fP[1ױ['μf5g -ݗՒM@ Q공0e=mkЀ"SiY1Da)gh!au*z"AѰٔ(gJ=*Vuu1|`|: :?p1s'ŨUS&z3tH_[蘱dtp֊ D_7Ό:L=F"HDgC$s<2-h(蘾VxBU TF ,'}菌'NT5ިB0ǚY=艥:}`$.jWM ح}wEvDu"X4'm<ď R D+ wf<T:dbD:˼N2"S_H }M4:PQt:ə@5`DM3?O!ngP6"SZ tn:[(^b>| vJ晊0|SEjkkœ#0u 8x VxAU^A7% @9!u£/!\ q]mCd<$?S'^UITSӒK efٮtHĐ ħ~S)zP_0Io!1tcyiU0(}ʡfR7#l?GPblnu3;QqvH n,)ouTV2:;hLvy-VF`͗[J 03~>qCEX☼qs4y2.N(Β 20#`H>cQ;*yѪڵ_ma/Úǎ0)I@?2` )1ϗQ1!&hÑ纂R1FRL.DQJ@m]ǯw8P0Rkn&S$ 8~!O wbķQN \+He64EFpuGBm5o`]C)OħGbNh(h>?I.ïg&R^!X,ơ\UZ x Rbcv'wFe.KVTH" 6|ܾ*"ʢDdCOOL]<3Dq%4'6Q%Q>$ +{/-~j~-:pb% -0M5ڨ"I?oVqb>&? D *nj|Z]k<C)6G {kP hWCU|Xjܩd\`as Iq"9LQd1i dq1f Jϲ|9LC**/BgY,2S,@cqwy)tlMy n4c);iұ#ۦX2k  % 4IGżrDߕ j\E IYB+yVQyȎQj=7΀`L(.d$r1_+%`:bS+0)ufErXׇ;NRzOVȑD`CIxlV#7#1 *]g\u宿贊: ρs) t]ޠ7%ݘzJtRJ!0HA^[a3_) _Mڨ(u|5V=.Y8 :rs;~%|Yi]oO~%Pr1 /4iVu 8^Giu1sqo3 fS[590*Mq4Rڗ +ջ Jqx9R"PJ}@ ÏJ =u$e_yH,b0d]<ӅhU4! ɱv$~QC64ZŹ2HۉämT[5He.8 %pjkdZm.kBi1TWoGgۏ:wOKl眘_m9Z A\/K.P w Рu3}I{:n֤S`SwvcR_;5ժN?iQD.I#;]vc\Gl6b=*)m@w|;8ws%|@. )+#~v7&"./lۧ}) ☽O|_~y (L {WL"(V8u玹/kds8b]şWyE$OZ 6$}ʻ/yAiƜIkՎAΫ= $1VWul&hh8u/T{KǗP 8nlߍ%"Zf gT[vo~4E7vʷ2d+q3Z'_="$o;;9kX^jQrOJ̸qQS?qmqK<;0o(Y?5* M5U>C+W=z믥]tPS :qW9j63*;]qYīW}"X]b9$3kUXFB bs$g}sAE:R]{u>OD~:W!L;}ha9asAkq>܀W} _=Mf]Uz·nh5Ÿ il @tN x!iؘ$sķ!zp Ԉ`dNbm)# 7 l%Ǫ[I*;^T3pr]lo c/.jt|x*[\5{](64N;ԱaJC*wѦv$L9UCl g 9(ǭŒi[IOci~XJ\ $Bz\~q=m[oh `[w܆,zB2J/ `n"ے<,;n(N7\(>#F6xCK-JL e(ZJEx.!ƹQYq3[]8\XE=偫ܛ/Y.ۿ#R3bKI,otrs J22߬#̴?WsnvAT$ _,\JLYrqicA/|;|,VbAmnw6Byt墔Act5tkxwK +S#*.`)3tpFnrFlVY!rV;xQ3|#w\i4$A5297)S"e`nWduu?7 [<96k"ZBpUke:r\BDS˯+"dx4n> ȰO`MYY1G$d![4u[IYv PyKD26 kX,jwM<_(pRq1bjfC>F-Glh"Pt& y}ou<$ܝeUXd(m<}iο4;ԫݺ`|Ù\g4[a VNw쥬 Odۄ[|@輽 ALE oN!c 1)F8,)'_ČbyָL+E xFYVjsu!, ix(Y䬎iUM84qSĊk\]8wGgO܏xТ6q%zA%}hR1WĿTCJʹpw6Gl Sh0 op@9qVakѺƦO )kkb+8 7&F٥w2B' OWLIZ0}o \Ć 5ɡ{ a3v[cclKe NDO~v+*^Wof_?UpmID؄whED(Sg}) Oe&r [TlK`U"&=0hrYgZug@UcV.t\jAācFޢ)˄#=>5`g@LgYus=b6G; yʌ;с<4N0_m" ̮>dZ:iDɓ7w͘ݼpEQFOֳ\?&o5f לWeȫ4oM!KN؈MLjJOi]z7tM*|T/Okk.Sy`QG;fD ,WB<{}e@{8T!'0ubttvl ~Ӱ8SS"'9H#Q"N/@^Z;d*p2|2^34B,諐5Z Z )kD GYW$VxpR)mBo(,RN 瞞 sm9pW]h*qM{Z\+7]L2^X5sc0AsvXeAn- ysȱF0ڲ Ɗ}Zn\0hg^8u\8]=}bd.p{Tዏ?7 nSدZu -rW}Hۂ} DI ktJ{zR'F5nρovۂće{y ?dLp! ~yti۱hGcifP*Xщu8RZ% ;.Z!BBc#lN.+b=az'Q݋fuB{eꉰiwDžރpk~s<˴ٔ$c6ӻj=R^#uWzAd΃7\yaG6Tm~.V2;54f9oeiL"\ls/&9dNHc?ZK -ZE 9e Т!Ir.3K$R1(!F뮃͆eywxl;UK;͇P_N JXtT#[-mY<}֖cPg1 hYVZs1:Ig9Gp~]Yd2S>+1Ƶ{sاD@ɱ Ԥ0xUTrk0F Of>?ߌ>M1sDfK1=U!5pf0qYeC* =Oܪ-< {Ǧ 8R,Y; |9?9sTO~3 l;T' +.Rek`99c &s*&bă8n:e9nIMQ}/n p4VU|NP$g*ڊ zN2.&i=XF[koO. 0S[f$BC[=yv z`qH]M>dP6CC[ER;3c5W>xY:mi ( KT+v_qrT* C=,x/G_,[aYjUDzdF@_آe^n@TiZ wڅg /WAIzM)WvA,}6QGS3Wq?bE7$z1aH,7Ş82m3w &IfHR(`n[̷51pfX$)%5n BɖxyF<5mp٪N*iFQ 5<d~F8i]M/.g/3ٷkF2HUۻrKϸh&WF ǧ? Zz#bc#wqcή9ٍx J'*V^bP)AuIbqjm[-k3smqN= <$r1iwSKjvOl 2)6 7&ȧy$K5Y,GR֘M5p|*m' ^.Bf%d/{565E9b1:\ 4rY7l~4/l1}7gG1aN~6(C|]k6YV1TOS{&E;^.2<smw,*cǃHc2?#<VWJ:[s7+pU>}I5)IܓmumP|n^G| JDlޗFL4YW+8$ Fmmf@@6ӸJ>'CҵUFυO7 R"k;!drf=Y1}Mc̳#Q*|`l/ɪK^C'+wAԿ:bu2uEL*E}tֻd" L[CG0F{ֶ(]y}U }x. a莲!I~2_߱ekK6Wמu,k+j>!.p[i dي"x:dll%+)xw  TE%bO?;C'f,V` L1%)A"Qiz-UeTt\l Rn^*H/-RgJtH[Da~ (d+FqTYjRSb1eL`h1;H6"OC,p=*6yHWra,ӣ+BN_l !Se72M[5=n6;zs\!_"drPE; }%L)%dބ=IƂ QR*f3Ýv4R*eOF 57 A'UhkߘTIlWW."f>Ϣsl i#g<d)90H5+Ow=?1M8  Q+$3:'C، 4>CtMzƭz@A$b8V0R!jw&U2.JuPߕrGIcf%Q2: kLa?^dB։D?` b$s:IzhHBb{29q_ qFW-tPI61|P77*u#h-f;vPp  &[`؁TX:?pÛ%TCrk<<>겤᪍_>Qܸ׫aohOs\gH?Ӥhrxp3.*rN QnHJ>"ijl8Q IL󪆲}`x;˕ÑHw2>$1iSγgA“j6p > ii d;\b#SqFUwuԉm&@~s*$09NB]%[,v@N皫ADn7ơiz'|$5-cv6XhdP}=pB\Og/&6n[IV)OWf:\.~JN, A/(܅ xMX<#a4\ ^rbBX.=Ʒ^=K)ї(TP ?[[>{(Of?:ʹ/Y0oܠˇ([}ɿD!"9.&dSAyL}\<˾y.1H\Yۜ!O,( 4? wڒ cpڼ6_^fmi 8~m',K Na4X +f*A}~L'VBumu9C6pK-{,z*P'~z `#ifw.Ӣ3qej(GZ&ea;%9JEFq`b:(W>IW'5'm> o/c$n$#{IzDiB#Q։ȣDԮ䌑!jrwIW ?☞neNs8 [[rGCCh.M~jI(O|Dn,BǛÑiC32d l &K yԯomd&^2G9F4GʶM,>RǐQ{/6ל0ΉuVZD,j14{p:lNAUTz7Z[JseW)Ø vN!n\1&f} 4:i'K[Kxi *T2LֲJ_65>DLf|:N}%~GEVԁ}=˘$Cn NCJ=@ӄOOF1/ݵ&Ax&NvtXoL6`t-hAqaN%.8,58alU1E 3!>Vlv2O5%s|,tr$C\鏄zﺷz\\CW6ц_d#=d:0nŁD-.NK bcH@Cu>&T%'g΍e~?9Z1\)-!AfK׾Hӊ8'VD$H_kϯ*f$.f (x*2j-t|Nf|i`1ve2\U*VGA (`5_dZpeGL3ʠ|ݓa 0U.I26B4f[R$T<p_eM <@^| :R9]Bf҂ _f.?8/ =;w XD˕KWAAjK04!`w Cd6t} xzbo9RE:#upu eqD-} QMJ\z/Oo){npԃ(%5cKl/2ER=CʌI1w hr[<ٺ>WWŲ_TteAOaq}x@)vX]~B^tl,EtV-'[]]-#pf<E Ge]Ei&`{apʨ壘z&ٺdxLIX{% d >z-1 ]b(X@]\_Du?Bh8%F-j{mi1dJ4/->ƕdyƵ4[/k>}Dhddι֩uH >#y`7'KgQFXK8* ,U s~af4P>og*? .d;N)V0F:W_X~),X'0ŒV1edd!uzݙ(:jC Fp3'~6l`qL0HsqͲuҕ6~MdoN% _\H 2i]3ЌiK {pG3bN،Ed&+ 4OܲrSa=o/Eb/00g2g|Vn0&Q_ihp#z6) fM$Bk=AuN(ځTq|H XOWYA`7_htE̚k-Ը^~0[sSPubl< bOX+֯Z(|SHZGXy1*ح=|wvl=(QiXBvqkL0-_ĸi兯&N2:xN*̤ύ +&,ޓzSQYqD܍㸺V(,\ |TVSY c 'mde7t`Pƽ6{lmjF2<=!씄'̈́psv$4tf)n0E5SjH~QSYsh,Nn0KkwR(Icܷ^h4ИGDE&%?oWk{ᒄ2{Ѐ0"3Nv}y80T:ƫ˨oPMz89J. zzfCM$3Ϧv@$۞mق%9> r.|pG<cG=ev*'ɠ%4Qs:_$<پbĸ"aFE18ΰx\)#鳆-=^*e)ɿ.(U}ι}){=@:/ ;> nj'(!-.8 {ېԕPL^q[*!bnwZYd̚)^ Cp!`0 onRw %G_-xXy*&};phqEEuf*E\tҬx&í'a$&Hpc`#ͤSkjܾ!ѳ,ʹF{Vȴ=h93OK|%{ch'- D&I㢎,Lrhȣը|7@s(ɢ!>-gj*̺"h]ΓA^Fۆ>d*ogytUNYu~jBE]>@NSL0@휒Hog@dHX&V_qgv3|\_KРܩi[3BeY&r٤rtm_0n6! гgKIO)fC9΅z{,P_o@ wP⯽5l@2<ǑRnEnLx 0|_XVt%MLv#2 c.2"JS#hYdY%"n=i~ollfUʱϪW@"ufZ$pt eFW0cf6@C%KWtz tx@ɼIjan[o-z뺕rxʺ:2V-դ#R56b_|PT#Ͷ3lP5,> -L;ps< D &61wX)UrƦ+#DÖEKE"~RQ(22v%D]<^P^=ΙAe[c%i'2tO$ _[O})k۟+7Ы;;Ńh8lit J`=S,nSU50c:YS 䫤{OkP< HRf+OD@f7t~nXiy]`w$YJyq1[\/J]q_G8 >oǂZ*)} nkf|Mh)"bz=A39[nSӅ|#yŏTh xfZy@5pf }X#ï{FqJ5Z&Wg[7 vo#|1y UgT lNyA@M`Ϸw_'<j +jhjqe:N*#M?EVD9: T{E=P2;l_߄aIhB&qIbch ᱕,fаo$:@|Ԝ4 };/3@|#[_|T<2 c!+!*[6k=ؼZ Q8^1/ؔT"MB>T"ĄA}Y[${kktUO4Br5tָ^A'Ag2Lh$Yo&c[2E"!a8L-dkZb;l򱒞XH/F/K:cnARw*ʦ/Xx!=!\dwKĆy<7'3&I mI4Ww7WBg} 3v.[RRS1N+z1xt@4ĖL_Q;&z|²F!p{xۈN'-4PeQ(NrTl1K]j-Ғ9zVAe";8hv_2k0ŊgJK\g4J%5!!b|E|ۗ]|b.EoO0,$WTwdQEe͋H>̆ٿa!x>x'`f|D KG$oe:bU ĠăKBȳ\q=@Ï9\F*؟_%I}БǼ\W"q#0ִ1YisN\5zQŢo+K[U=3Nz (0QQZVNG.2=8OLi.B8`'2/ AA].vGJFX"2/kmCPNNfybu7G:~{L'?* vy "V!aȲ3Ѷ2t:p$IJjOXT(mubQ)# }.>95FN7uB.GRqgј 2~snV͖U9 | \|`2stSc5ny2ub XiDBЦ[ +_C bkCsx&?ڿrxUMV9h=)dSgW'K^JmwܫT">OځZF ڈPư:[O(m(^q K+gA:4]ɡHu#1 ]Q(t}ABVsw(<rӕ{0-l8QNe gDX쎩7J @&Zz|1Uf)Z!3]IXT^4ym ]$)i| diTlw/p4vF̄꬜۲o $xn1WbJ ^wy?kVc[5)LSq R?m(XOؘV+U#>;V}ϖyݵAAXe3As晘|[LK%20k:lef 0=`}nݳ̇H%8>@! p';1A3Ptu:53r"ݪtH@t܊E$zL4X~d$v]xW=`dL191QR1Jjf%Ⱦ^ulIrdӆ_ജg CJj'ǘw4FV]~ؒ~*XEۥسЊ)B>rNKUL`[Օ "̗zqzBHZ<`$79IZ0㛠K IzՍ it*x+ToJС7}sv[a4#7A @WXtRsF[e8aVnځ=kF4$J j8k # 5z=qv;γkW`GВc)\A"'v[yC])>{:RX$TG]aF9Bչ^G}o ;wqyJވF=ýVEs)`2md I%Rao\f:*i wV rMXʹY~Vj.y0erX"Ul]"_ӽr$ipyS+ٻPA o`iz_5&͛ܔl<|rt qI.EARIՔ,h=S3sciCug;Zyes4)hPR[INf3Ⳏ◘hg{f[.M&<"Qțv I߃$J󞩗D'@od*W<[uh|w f?/tM&0xԖZ?BBko~Ne0o+V)ϤҞ5tE.+Uca֒U\F<[v 5o*}ݒw9"GR{4lNm`Dkk`ɇg? y [^w#5p z I:EjCQSuQDZ.y]{WũN>cu7^^)1#ͯ Q?v>7dOrs^ >qBjgq۝㿙*H b 5>;׍Vu|Qt=k/?ern`=^W+`}2x?p9&qaK6M+Pv/T]iˏ/W9m+82i0 hudȢr+$k ̪#k+l,M,J Y/Ls 9Z%p%|ECm{ymwEcBBpPͩS+%z$#]mKxQ ^waQ(ۉ*p9%']3&X* z?姀K ؙ̪E,3ŀV.vy2?P{YpSϭ=͛&Șf IЧ% D/z˥cV o^ S]޶W0Р;,oʟXjF âF5e(yg(*g#8YC,:Cv:K ⛏ьt#g|d9"E}ᡆe2i I j y.6Ϡ|{$xYKz?d>jlF˲_-CG& a\BK(X=W?+v>Eb>|Sa m mպwC6ZX# ͥ7A AKLk>!ĕtl}e;@K^d$I.gYZ7zXZִF! t7]ŗXi%sBkyD maj]q]E1+'5˞*IY~({Ǧ=-*iU˦$"~}17+׌qY|MY0 Ff1U]ʤfg Mj[ۏ$suoZ~0JsF= ɳ~+zjs8%J!sȡd,nM ]ԃY!ͷ4olNQE4w潘c#>1 ʦsS[;oFMV:;; `ym.<}]Yq3Wk$,)d~֧UT߅}A})Ic@] M_ʹ2TէpXC:I&xix䱋\WgCL83Bkӛ2j7@R@'/ڰo^qIKw7D9/}Uj mWY$PX+b#Mk_Fn.obĢBnv),3jKۙ0l ;AeMJbHWDT?>2iYa -{ޙ8[yg Z1RKܹҿuSţFgUyԾY4ip²7/# Mgx/B 9iA'F҃KS6-~rX+|:W:xӌe29*<Π`=Ɛ <v"1cuudcsB M~(.+65L1b?̋fY7~っj^݊m4 ݭEDVMNoHl*0<P! Fvg9BF!N̺:$ 8jN:W<2U-u#JeaV*pBm1E0]S1IPɆ{uCK w/_b(#m=LvePnf^_؍Yo >>['ikӴ>Ҁ@ I-JGFjUYq3D Ք HI43R˒Zn9 XY\VT$'>;⮿juhהoY(D@33e~lS7g i ~<244*7HEGt$#N6,[?AO$ z>b.; [?COQ?U+^ :|EZ!bL":|$kV S _L]Ϯ+_*:B/,OS\?;QN{o~u,+5`í8i 7t[uS=,qr߂ o.Uq9IĪh;BޭtS=yxˤ u rz=>weSw̸`d~WAܻPR2.|B-P!?!>m_ӂYzt!;H4vU5 #a:ۈaXrHGdВv/#l`56eIohj0H Co\Raؚ?[Y]t,I31Gk''GmN~:?  p;H:dzH pJ\Q?mDS1WVFcc`.骶B> -T}Z@);vڧuOngylteLDYA~|#8h _K'Њ08UZwf,485>s_;qZbZA3㝢s85ݚ툹@UΫ0509MHÛˇm!(2~þ$j]9*!Woť4!soexC6]˫,3d?$ŕn -.3xƒTGQ(rKI3 𡔗C&׭LvggJi4#Iv$#Z F pKA";9` ЗڌWJ^AwNl _2\i<~F,4):w-N\wlo3M*LI նvke/:K %7zԓ=_jtBw ⟑&q}YNlvƒy?{p6q^LY~@3ԹhFMuɖp=Q_vfzO )`mȘ6pf~t} >E[ / ~Vr5B(J`fWrDr?=Z-~W0|?/%:[ёYo=D/5}|u]!'~d; )['NfCg?<2%൵|)R"im4(9B";A_з9U"Yh~<ꦀZ+NPD:/NdJ|*qE."Ln">O>hǵ13#bV=?(%j J`'ɮp=T#+]bMuTGT(k;W/ƌq􊃖%t ORP>oS&d~݃lj^|`3%N]=LPr_$7z ˁp9V)޴D}E\Z>mE|ʎھU\? r=0`?̘#[udQu=d:{Hs9ħRp@ވ[/K\e2;s>3P؃B1òAȯFW/sePM!,1h6KkɂIQn&r>T{! Cnq¢O;c 8Aݏ"HT)& ]D0L"߫}ٲ@8m5\폴jY0"#dHRd^q AIut>p3q:3sr6Tii,L?bC|U1-1:s{%| ?}>>J2ԥ8~ h=XL0}ttf%0 Biw&{ I+袼Vay @\*UzYX$]~J!H]y2 %86-N/6mRL"bF< 'THENJvѯzq鄚! Pn䯓jz{-g/]ҟX!jZ`|pMQc'~0he5/13Х@Ydt=2EKUV~h`FqkK~>k+V= EӜ%*!K=v>w1MI1 Nn*rqm Vq dxzFF&A ݁w֔Rr5#Bh)uYB8xԿ*U6"g*Ryc6(VN~`D>7tX^ά evar.$e O/H/%V껦Aghݦk"%I57U16-Ů~ߏv=faD!!*6G>eZ,o1e 0/Q3ܓ^$5%իʸ:y+)S%2PPOduAP#?uJX&mC]}]E$h&7 }5-l ɠ0cƷpn[JM`NGNr"~X: aF۽7VBUnG~P7t(6?Z !q$"t9yj\'vzWM8}V*f%.ӭ l&Ї1uDE kP4"9ZﰇUL[?+FӠĹ>a3[D[UR VfCQcgW1;ugIAC)V} ғՋ#/rVd8o. PV}(1Af w//n,yH1m2+QYROXƭ3XLa(,hjSZm 2{kɌ˞ZNuH~k(3h;3o#皖z2+2>N*/C `!P b|r&J<}A[G/Ig36yXJ')'[ђv+Tf=dzN2(n cD4Cuq ߩ˱駑}{n:@ʛFWʽ/:~X:YZ'pt%[0~QE.I!nt"LWm@a*Êzc4e­t> l]Aj\0qݓw2lI_Ec2q(j8*9(oE҅=C 8q7l[2Gh}RLY<)0J؁"{rd/tJb$3Op{ܱ 16Q94KȅojIj ;a%1q[K5}opͯeu36a?43}{Y|ec nsJpXVԛtwʹqhmfY___Kإ sgly(qp]_1ًN,2[lZ }a|@߭Ť 4  }qȳ2a^&-sӊRpսp׊H,UO f2WzMǽo0Bj=ktx?F2$9/w`c+vaYhe aS|* p:EgaUj::~.Qd$k|U|]mcҏ jKk* QT;. YO!f ?l#^#`JQ^3ix޲owy36g\uo&-pY2KtLډOh>h:Z䗹B<]LtWܩv;4s Y[ΨdX,jm#CW䙲]9o$w8a? +~Vh! "7S"?xBs3# g(g_I^4PqݹK! $<'&qgE֑1/z>f CK V"XHܟ/ňrpޔ''bU7|0| U2}Bq)_O,PGpZ̒Sq3*t5K{5e%>YQhKBBcF.X0e0g.W5ylY`r^K\GqcAl704 \AIbP,_#i\fE5.x{nSߺKnHSMO&qoD&o|C^p-?φ`У;]vVMAMѶ_J*ŸJ#*͈!ش nWpRRw  7Gt c4SDEvPS0K)G)a'k*v҅/$+roqZ4-7XD "-_&<<X_wHƲ.G )c4D]k.oApI%dv^B8MuA-/Q }"Al3-9֞肛#B9OxU}엣#X/)P5DS[16N7wn_ZtI>08nr0_u2=XxGAOF9I2FF$ "Gu{kc0|iT1*}>+F0Wz^%#~9nqWS jF(NO'_~L ?7< 1^)h%(i.[CS@ clS-XHTd dy0qLdr!֗XRZ浂Bt/,,`ٓe^D7389[s޺gUp#d"#U#F8c87'=1j4dIdTR 6[KqV 697ehVm[fη$8D6VW'>`n5'6yO>=ۡ7P HaO`XY\_~ DZ/ġnN 5Xtw,,r5.L%@.U0xF$Aw;“@k? }EZi5 ucwVGN5 5`~cfr9Uh_Y[E2 Way{!!#B<5a*K:ξN/*;fa-x9Q;dJTB' Om@'"l`Dw;aR-QܤNn,EH s]Y?l,!.I痟o.T#)-$4' fua:%! ̜wKPq2a\FC5C$O :gc ɐt"s~F::oϫ3vڸ?C4t@kp/y٩K@TwuyfΕ0A?j $KA3@/^X 1Q̶(%GZ~a@)Ѝބ6{FhJ -a|y  8$Wz"7]GqsKd#79cשּׁOܝu鵄c\5c|j/n} tM8!HNIG`Y;i&]=(JynJ~@c{Wˢ s,@Fp@lXQHy+@Qj:[ ׌25DCWE8xm8vJgMrDoWlTPwvGkU#> ߑ:`I8\%L)**.cǥ˷cAa <`%L@DՂͲ|މVTȂq61*0ϔr];nЋᇼ&J͘3@anRiu&4YJH$lJ[fTf v-rW: 5:.0rX}>fQ!t+Cߪrҫg . hQںxSDgvj06H'/ޥ:46J:1ĎtCQtJHζ #v:2j.PaVNᩨ,ZUjǬGbn "=޹Uk\p#wL '3&%W8VFO+OJNĉRxnazu 3@Z;ىR*c :"XRT(7fFn ߁̹֍Sb:EжA-Q6g* h@. avn1b/ g@ BeL!Ce֚lQ9 %iKiAE:jy?)+ͲB) #t{q#qpU h)^IKM`r$~_f@O-v*|Y]fiK0ath ” Q=Y*yhi4 fX΃D'!Q$$ne,4E9>,L,  C}/CN#8HFԚ( J}+qmSÝ$Mdi|EBSyy_Yc |6 ,'T؆,*s-vi7EXlיJ釆b",*l|)pYx@$%YT>?zƋGҭ.AlWN\,?Յl>WG"}O$T&8(PSW(ܑ񚩔SRA* lr2iּ:e;,1\#MT{k&Jg-lB͜ PܛXW[LA6#5W_=|iC_a6↫U$0r0.QY;ϟ (ό@ˆٽ"Uћ)t݈] -n<l(9 IђqU x=0d)qnÁPs2{%;Rè7VrVnݱ|{,u hȝ#YU-'+WBtv5xLL.S3Զ5(dy_7ɼqF x$dM,HuM;ҟy}sJ'6c-ׁseZ@xtz7J#zY}Οm=N3Ȋ x6`IcnXZ!h(diM"WSa>)FɐԮu`hFId]gR!OP?B9N4?~sq,ڀ?/HNB&!/ 7~UоC]8m`7"!m{M2T! *Rt~[e!Og!ʔ{'B &{&} }EAj֌v-7A>@&Z8 ;8Oy/s_B׊ f^?U6v|3N.>I;2p$TDMYD< Y]wcٚK}޻[ȝ#,"\\+ջZ|e Q7ʾ8Kyҕ=%pۯ9496o8H˲z~ djO1}I6f+a;Dh\]}T2ISO#;ط` ܖEJ~l0[ cVs4Lx"b o` f;:'6,K> /dֺzg=}mB]dɯ'iT3j7X ׫A@7D\T]uIb~)QJ {Au :cpTAɆYAakbBDGWøI4[8E !g܀+^z佤{ nBUa6?A &23eΚ8e8,g + pL  )O^y0:NyHU, MJ[J ~0IY btĬ/k~/YzU]{nxJXb/0 Ug7O҅^o(- &MV_9 _F|k??ò39lO@v͢jmc3В'6@YK*%3GKY] ()W+Sǚ&pDh/ҏG>l?π>>̊\}Ĩ<2'~45%N37,|7Ԃܓ rV]Cs2Mjl!>w2M4a` 8n'nu!>Y@'ِ*F *Ea)"\ `'יvl^HˋbEt訅zi;R˟ #R }>PZϐc._O? 3)E12T^T*A5 9xʤiUo}#֐h9/^H8&[p/8av9)s1xy I@ybm0{=02B`OxU g(񗭁S1Ka."FoqbO3s@lTe?=t[>r,ʵ1U[%|E^Xi^^^}l9]cu+#xp \Xm -R\mAd?jEe_)+o`? Pf,Otzg(6K&3Eof^1? {Du;Z|D'lq$M-ـYKea|Sv ,XpKx/guX5~@ ]zq!C52\.)_(Ndp fœk{!(5jNዙc3(ΰhFph;CoCDA(#uLe`^ǰ@LyYQ:vf~RP"dD5aˉ˶Kb++/y5@M'~lcR, S( q0>2ˮm^ #"'J=2 yooEWgYZ007e25c13a5f01ba39cfb418e6b0012e371a730a 024706a71555fa9fb5a39bb22e93a953eb5035eb 029561494e8396f00fa014b9f3ed7f0938786af6 0edafbafd7b9181f4751c74b64d1b3df1f07e71e 109e970b9da72388fd0e180ca24747819838297b 13eb7427fc3a2049d97f3e6394cae1233e5ff7b1 194ba2387f5467fbbcedfb7a29a6b2730b4836d8 1ac61e206231511d2078b73713ca387efb2a6c1e 1b09e946e17ad80928eb170ef071333aa0fe843e 1c94f320ef5c8da5a367c8e50b5eac6cae0cbebf 21d34584523da3e0cf79191f3d96d64ece5ac31f 226dd8fab725a29f838333925644eef07fbe6e08 2324c5c2cb25c8ea4db4c740222c5d5ce989bfd4 27c89c34b0afa2760a6ce6d1207cba4c8717f51a 2c84154247571ee3ef47275852cb10c68388ec97 2d9098a8bfe2ad7200e2b58c5e22375bc8ffcc3d 2deb08f056e6f9f40a36118e71ed0de36336290a 30a42207396cb36ea641cb923f1b6b0784292264 31ae918b944cd966566fa6f3bf05ad3c42aea53a 31bf0d2af57f222f2b0c68cf902dfa69a555f6ed 34145a98cac84f3818385e1f8e188542b3dfcc97 342ea467094ded17ec190edc442dce66939c206f 3a6e54d3e77a926c60906c7592a770e05a0e4538 3aa5d3de44e9c801630993588f3813d2dab94e1e 3c39daad37d04810d9cd16a3f2c5339118d0d3b4 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3d683a6ad47f71396847d283c40f64ab7ec12381 3f191c7ee2e376a50078b5509772599e430acb46 3f3c11d01ce3bd1bb21f6e9137249729b17a5aee 41ee4e9f25e1262b927f1b4efb289242d6b79f83 43796130d8cd0cd161f8de09e77f6585ba9991ac 45c89bf9e3ddd60d47d257ef84d5917f20f57ab8 49330212d6000523eedfabfda4dda0fcce94652b 4a79f3f494925e05d136b731bfc5ea10b7cd5fd6 4c8eb93d53a0528012ed9c943d5bcd50cf45da01 52b27c729c2f674d826e08574075d7ad5155a5f7 567ac09e582dde2a8746f0bc1cbef34c4334af19 5bd34386eb2f7ea3fcc6befe117c6bff3eae948e 5cde8a61adaff2cef75574ab3e31b4e583bbd197 5d0130ba138a3a96253643375edc397d7ae19051 67eeb6d127f3851bd89f6fde3a0d2f1ed7f054f3 691f5feb8bd8809caeb2fc1dff0d83bec6be2e06 69e6bb350616db4606dc03b11a0cec905e08ecd6 6e1a34516eff152f895f6e8ab66c70401f8b979f 7432d19a57086969ee9fd1beaf5c6a3675ea5f47 74be79d40e8d02ebee50915b3ad1a60fc26d433c 78cdd7fcf2e3043ade96a88a258f97356c828a7b 7952a528f79844a225ac24cc8024aaa843831ff4 7c6f2adfadc2c929bf4de7b995d68627f1b79c08 7c8d4c24b8246d708d8f415bb53cc4f1d24acf37 7ce9d7c0eb08e82448438d093c4431b972d0b15a 7f38340f217c798b901fd47a834ab1e652ada9d6 804ce524f0a18f27101e8860fbaa1f746957740f 804d47b82275aaa55327cd382082596a959e736d 8927e725bc15892f4b8a9e116fd175bfed37f036 89359d81bda75bfcc81efd6794e876fa773c56d7 902280d9d6f711e37319424e139be785cbdef5b0 9085939da869b5eeebd9f4c0c8998acbd66d7bbc 955cfad40026a8aa09db64af568c770a446dec93 98ab16a64099314b60ec27b228bb7b1fa833f7fa 99593a587df753a2c1f1ce1025862ce68e0f42ca 9b81a3de17babf97bbeb151419352fdf6cc0465b a15b8ea18f0555392c465dd15fe9626b23d92007 a453f28c4230eaf633e507df3dde57c94254ef10 a5d4e16522a6ae1affacb76907cf439ac344b0da ab10a7c66620fa0613d71a1d0b53ccd5c3dd76b4 ad0366ab2d7b118cb1348702c2b8808f3f001b2a af1dd4ddde08a3f8dbf4ff29eb9cff3ca56da81f b15bbbfca6a9ad1ee5b9127dddbe421c3e55cbd0 b1e4bf1d91cf6139238da42cbd57f7c6ae828b67 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b406dd4d5ea022f6003252a41a0c0d5bc1a473a7 b519820af4a81ae9b0043eaed32df5213882edff b738bc2e69461876eacd6ed14a2442ba43e139da b82105b69285b55fedc5a0c564bf4dd28a59664e baf4cda10eb48c36ad9644ffe500b3154263a379 c615f7fbf6cc188e318b9bdd2eca85783293b57a cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d3825ead27cff25f47b32dfaeca2e70b79b9971d d5255706b4b34f339af4a0c1e987c70078cc3046 d9b931e4316c9d84b0972e8ae0d09543c763535d db58efe7b3fb65f737b08287e8629eafbc8e95d5 dd45eb7b96fe6bc84794be200a0a590e919538c9 e484526b6ace92c89f3d604e8cd879085c1d0f0a e507e6c8812247acfd8b2d808a519faba377b9a0 ed7887a8b582757b25aaa953fa0ecedfec68e5cf eed9576649a02392213eeda4d73c6ed7e6fc1fe3 f1245548e3b8b742cfa859a3f6c8460711a7db43 f4ecd18a16d8008cd09e391e057ba990ab97e102 f61a368d419fa0c1b5f5e198f586775ffb1e074b f62ce3c9c09400161f2c9665c0100dda3765473a f7134e525678f489e17f744dfb1eedbe48a463c4 f9cc16420ffaadecddbf751caae2513bdfd018e1 fa2b346c0c657106df1d7b85f0110a748f993951 fd2b02dded527fdedfb330e24b0df02361aff2bb9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 1cddd12c4120c2310ea3898d8a358d72c9b751ff d897491c3fc457ae4d3d53294109222f3c8eee76 9f99ccadfdf7f2164f003807f47ce8523843d3b4 aaf2c61b2a9a5c355769090fa02d8b62178ab011698677bc4b26325bec04285edc1cc75dbffeea35