SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ..G!t4 d ]/ NormByEval:threads=4elapsed=38.221cpu=79.588gc=1.7687zXZִF! 0]ŗXiɟH)0!h_AdR3Ĺz3= \|a͚Ő3!lk%&+({E%f(9Ÿ~*@ O5p ճ[m-sӖ*5;ʥfLb,d`*l?fJܩb_Pc#Pt[drd+Xԯ Ot[ wEÂi bJ?Gɗj[Bn]9֜Ԁ]5>.hWj"Ϙj*4'zin[\6)я\4O7-GGK*C]d礋6%LBRkA؁?$!ڱwggutG͹FY$ܛ\3j-z92>8D9tP=&<W̙ٝӥr$ 2_zjg?&{8D\tDC"H |+ZKjSf{b\'8}Aḧ)(qE) RFǔ S1_ s,L;! ix \9&ʷҬ\R#]P]2Z:f9Va(Ťz;y0$Q0%Z=ȵ<>;e> ,B˚]Q&40[?w3+3, eLJaX^_[F]WUG~`Oaw (ƶt ҁu3x1kG"y"WZh#WPJӗd)>ǖ*ڔwOmf~Ʌ? _$[ˑl^spU7V!H"4u} WeAnz W](Q1u\$ e1pMԮ!1k$T!=qL͇3u-V>m"tmsI74Y$f )4;:ӗs~"Lo6nxtodOW<çv+I)H\7@~tܔY+߉j' 0Zp>\SyvgKdXd`d-V/\v6_Kͥ_)v)Mb{\gDz7i+ _D\FMA!㻤a|)]c` b }`~W S#2Y:ƽcQt2&LK7A8} D wR%8 QEmfG+)_ìNM!Eo_̓  ! NormByEval kkm !)% NormByEvalNormByEval.NBEdocument.tex7zXZִF! Y]A-MՋhvG"uIBm5Ģj]柛:r:!p||- M~sӗ-TUM0#-\s ܺjSGKz'v#"lc>=5 fg+hO@Ǖ(^88XiP qV@^|,LJZ»nk.Ċ{Q\cwn/rBQgA'@N4Q oы4s 5+lQ1y<1"C7/EPӊ tRVaVF,t|cZ.7{wO^<GQG?7ȵhqV~h%Ve5 ( my+"T-yI\ D B Z;,>j8辒Jɺ泒[S??HIE!J.\FɭD+肟b҄lG v8 E&n3 .4;@:ķNV)=hsfo_{H&[` c(.]G'Qfrm -E:Df6lDŬz+jW ¢Os|Y|sA,D'#ϻ+ޅx](&}u99`s*wzgZ<xwb`;[M8,ۭ@+TO56+.?266;oI]͚apn+-BTEDkbS__Uhy`V^g$fuBޮjNMXi ύ[";dYn z<(n}kTXAbH@zb^z孴17YZot%P`)\@/7aT*]=V5œ> (qL a8/f)bq+خYjqʅ.fֱE'EoAil ؚu;H=.qd^@)|nJ5UO3WeӽP qoz݀Cf rI"XAcnlBTD2Nl*g$\X2#[gQk&+S(6vejcvD.`8<1}=WcG~85 a ֦ /~#UZ]NLKv}e%MȈ =ky_Ӊ og|G^u;6@cqJF ,bXmr, 6UzpI2B+k XD;\' :2+CYK3#~Tý$ߜxh{?!F~3qWE^":uiyneHO "4o*B?7XF`ǺvN2>e>/A~i2Xǔy B2ojhb:˝` L#"}['|D{4 /x՗ * T|P~|yȒN{d>Xj\sܙҏH03~7˱ α"wCsQKJ+@äS-a0pAʜ5̯JU5Y, ,y $% l!abL 9Dң$)kEĎkl5TxZF3OK1(@lZ\;;`9o :;zjz2an²c_> a7~)p(IN@oŜN/x"?y aO3s1rAL>*y"W4mWdZ&S#<"nSZ:lfU< xP "'X<r޻ O͂ \Ky܋4O9EuWNgd(H>2}Rj٧\1]2 M0WZUFjk ormeo:N)fRɣK #njٞ:+b,4giEis2 /~/Bc3g6>+A6w8ӬDzSgߡ w:htI?i`-(ߴplYJ"FXZ+IPiR1ej-uGlӱ>|5g&H7MJ^/aV&@'[M2RTJb~Ҡ.F;sӖ 6A ]wSGFNB/j:i1~ʻ_WNInO%8,e_AyLd{ &Sci!}j!DቶIe-PM#=$>Fx@j,m)f_^o"x7$]w+O~>.ᝈ)pC;* (M\ԅ@7Hk;.YGpq#eOfOa(vcUv*_@5  DJs"V|]&@EH Y&+8.UMp=as&|hxWv0o>FoWA$@oBAL D_T|X$7(CrV%: 4}S ~YeCti8q˶C5*+4ߡC32 oLPh5JB Dl*֠윮N(=$*SQ +WZ1hg&?9'z-{ (.ogϽ\:j>^].kuRBw8ɖ1 26y} -9=fϻKRe ة(M'a3-P h%eZ0Ll#b.CIO5{m8zݲ)SȻfZkj{7f_EhF Ropr.aXM<} `d"\_uzBDlk-Sͷ{jt#O %D[p+ T'uF2J$HH6"?|5̟'ďvQb'75y)!<2d!'b3Ȁ|N,d?LB$Ca < w0E0}ٲFhzOyYoA;ږqmPg1}YWag*C5hL@2Ӌώp׆r:n czly@$꯮ѿZCOhm lCl ־)a$Q-3dayI>1K-4Xe3 S|-%hFg-r ['?ha L`HBj¨ Fɗ,}@ _0Wi, !:W,.̃hr cAU[-s3駙'?r6Wd-6"^#ʎخĂL9+  }36*ZDB[V~NnsKf9K8"y脖0 cf?='|bl=TϴO~c`ZD'P6Q].u)9謔@|`0r-(HgU4 ,z8 H^a#3XbE>9$#HGxk> #ԛɆx#Q1Iw7Ο;pep -׋SIc$ZZ5&\ G$LwTC'i^.hw2McPH$KXN堛fu"3|(13g@j2K;TFە[]vGE}/E lc v`]@ql.8%|9LRG߁'pZZ=&E~3'hL0T/1I{;&e`CzRE_5!. /2mTK o4c9zNtaFjbqvnCk-L(Yx0,O]d?F(5cķ>ZeMn?4U{"_ 3rGXw*bAGe :NLZ]Vii1.H9Q9 7oВtũ!=l8Q#gc"9*UXC<2iM[ϩZ4C8QسG3r)Ebs V,CdGj]1C;f38o; U+N gĈAu+m^rrNrc>؛?Th囍㽒~;b'?}$KЏ|I8.u$-}aj?ofv~!,?*IOT.E /y$0R?pk9ViiZZ+T"">*s{Yj`,y+78xPdYH> .VKvbҲoh tHoPa?7]X gǕ-1Y 7%>$V= ]*p4VvT8b?YfD͚يa^[s002^:G/F6 SEy 1![ը+Č %iu"<f={6KFڞW)eƄw`'/:rp^Z,g y5gA4KF6+cP-aA,zK_Y[ R&T9~G& ;bzTOo{au|{ydB)@Gv|8dv&LjϔY< XᲮVŵE}ZV F&mYmB w _o&V$΢Fӵڄ #1rXbSz*11Lda?uVl~#_D@w?6 0\1g%crNz S}XET;kC >[L$5~2I_"qTwO_@ FWBf2I*q[XcjۘP G3#8̉tz)MOHNVSd9mv)fZ4$5~&ÂHc`p8qۺuWG2|Tu78r21j E #~rkF<=l6(|_mjr`06ᕞj(ul|&;#ohQŶL3. Ka8g EN~{LyL#}j-Z]ڐ6>%3/9w֔` ti|nhrԁH#hd{KP Xmjj'=_Lߕȧы')z[Vs(A8AP.fE30pCGUkblt7.o%#92 63yKD1ЅCdlxf`kL'qYq{"O3&nm/Ջ7{r2d9\`K)_#d ~0zpx3$s0S`%4Ojc -\Jc SĂ0 =AG&KWԷ *g!VƎ/e+%ufkE}E4MԞAxx2<+*<"u[)9 -vs[wD; w;N?A'iE$m3#P9+YK fʋuG͞-Pz(/$%'ZXrzͨghۺ-=ƞO%KCg*W?%'ʑL1~֥~jJ nCHݞGf^Mx0+3kHmՃ"3}^ Z $ bWv2n/[92bKBȐ骼9h4?//AMpo'=тH"ŋ @%H5!PO](35-T7qwO;NcU]b{_y Yeꕍ&*6(v8hʌvś|K/j%L!-L1رTRO<@QAJ|O_9sSU爕%P'~?N*íjR mMwPIBnFa4JMIfUǬj h(A /JH,[|HLe8oR72#rn[S_FnuTjP7pQKFezb0JM7:pӭ}4 Λz ؼ)~Lww-{WQ0LWKU(\K:\I^ <L- MPFm1bjBԁ 'F VT U4?bX s\TVw#Z~n>$\M5oMt7KҴg65MD9_G`f y#LRl][}'ZOa}zjQ-p)wB ZcK-&*}z@A͙Fן4skHUX'WВU>=m:CꞭ 9Λϕa1s[Jn-V^FbZ[],_ɨ;g2PxؚU:Zsӛ! 9g= g&)r&=~-R^nwx! +*pL)_!D5Aq'k(/dua p~Gpf9 V~1,J]/LD1c !웼>rWǰ85Qȴ^=Ţ4 ,^^bf]%#W?}rV2\ 4CC8yg Sv| /WL_QIxSj+=TE^Lƞh$ԁe__Q޼]|Z7)O~v_p| y>̢tH8K2ܒa=YuE&f4mh=v+6c>\"㐃Jq^?/qw\uT1&mL7FM+ p4lXHi4UN؀:$cu|~0P菬. "QˊEahOVP*3`d}>߱&/6D,dliNŊkϹJh4bçV$Fv;2NH+Dž%p 3Zk (-Utb'|uA(,ۈf!C(^=]P)Y'BKy/YbA tʧD}h=]8G|i#=1Țfƿ5r8Ty 7 E}:f*>f+k8ADV~t8?¥DL,f=kK& ^o#.o"JTvi9w*0(O}1.wrhPuܔ0LZ+if?rCL[eBuژw#:2&DjSWd9'heܴ1;?\,/)`)s$yM>9Qb[c{&wqA2">pTϚoV=~coJJS1pmWG. wQas+:l<1NJ. V'j}q lR0G Dg7^oǩgZy}KNn7!|ɷ_/1=A[F8X3P1,W璚*:۞rf ^>"l5{Cvm4}|`(:Gz>z1w6[OBR'%n#DrӖr@@p"ZjT˛ [ͪV9sѧ>y"/SzHh XFY9-+`uϔ%:p27GH3bSv$xs/f2L N(ҴEFKѓdԘK EԵ=?LH+*F[K[v. f y(02O! >τ96jXuf Qch\.ے&i:|+=$ 6;T/,_Wg)z5GGN+܈"}*CuS0K,QE=L[~QNVߙm!g&to_hNCsOt*mkm|_bʻb U%>:'C([ [R\t/p*@Hje5 AGlےrE,Lo ~4Us †rDT ێġX)I͕(f!%KUƾkCi$vxޢ%AlKZ^O#ide-+҈ڟwP"y`zl +*I+p%q>Z"ζjIԜ͘P (1*K8xDLBehx$JΊ([)#;,z 5sW݃ sA{ u_,d#l_]: !3y ė r9hcd % |=oOLcQw{ʌrMړ-ś|hVdsP aĊ 㕔5]n =*I+ #f)MJbTcdO. )m"n7c.<(_xð͖L޽n4XOT.vMf!T^]}< F;f 8TS5B 1?'$fu1,F"@\צ4˅3g/2TP2QXTZqϡ"A]|^r,^8ͷLs]4au}]=)`r9{-NmYP~Zmn@{``0b\}kD{yNX&3R8*`5F kkI_O5YGW2P O\'5yD*ę$4Ĝ* jb5C3Dy%{w>DKv@$S> c #gu bő[jJ `}A%:MCY\s*2UC_Li\pɚ{tW"X\W7k7Q ɝL? ׂ{W #܉ӱҥBa2r#A"0b9 e3HaJ_;_2uSYw ccZCTa of=?s4{ ^wtM+s hZaJ{C hxNI' 9dq͓KHK,0D:km }a|n%1RIڏ Is%6rqFulURd^68 -0 [ԭwN x3m/x'0;,v=uA"U{͊H r-!$<Ό Һה] K4*=m 1N.<Mvh֦gH.Uя4 ?A, huVo*8lKn*@o!D3,_Is\u{F 3nLm~4v|W:%UAIٱ/W uX%MmF1hpڀ(K1ܷV2X"/N\M0gdU;[k*Χ __҉HBfiuWb#$&Ǐ\#)_f/TD QcyclFE ~1啻}=ה8ෛ5 ٖ @=zЪ ¹?]rz܄%ptW^DT<%ؾ++$Q 0*Yn@\M)#J s%%Ufe$ T@-[ JZq(#1|ƀ Gˁ0P[? !~; ǗA O S=~{]zEbEB信?Ru!#xCϑW9\]G`1MӷEMTiQ:opbq2XFB~ZxL#})$C9eGFQ~}c+;TMS{v߂ :MJmE ٯV#PcsA.*?mf)]f]V͓VPeDE ;_Et6gM}^] Q\'7Rk)n/}"'AKfN{%O6!/+SXP."Z7;d2zr3hʝ聻*'4i%{uT QҞWyzJahX"?<yvǾ#mdSWZsdXʼ[oOV\r{i4d| /*x"}%검"EO[z)rU mS9;3O0|FZl8wIѤ0u%RFx3>lIUx)lDHG6]j} k˶hԥw +8LáJKmSKW!BhIdONɾTk\\bwa޵iU {EK9ЊyUkhlfNΌ(5)eEh()=ii~ ̓ )kx3Yxoۖ{kLuXX+.f̑,Z^^~s7:=J,22G"TՖ[A>j~49eM]s"\yg=V"'Iq~0{!Ikv`ND\3 `_.Dyke_gۃ@-A)\Q5 ixjnЃαb|{Owd?QZpܥIs$b<~Fb=ϛO.-'ճώ KKu>K]Hv]ʺ#Wu8*'P& eO)J} qm oAa1vIb}e\tYV|!=ؐ9wynkr_F4s" $c9za\(ھ:ɊWJr#ʘC.3# 6?>,.*CCXU'rs݌r*"}w/[XPD8|g !lkEcyeI[EX$Q1t[щoIYp0^@R3nJP,1c_xJ xg,6Ie= Afy.~V16q^Y;d%8/3 WaG Z',.@:ǑϖF4y)nۀ M&Z`Jk⼎G 3Mr˜_֩7=Ўۥ|9GUOUh#lX7LN=Ԉ̯4bUbR DU?WG_53lArqp97HOf,k g5 dۭ~,6ڒU;Z7 $#Lrk/VF,5+S؁ 1 <[?w%L/5&25=klWbQ~6\ϱ"OiJ7ncZ|cAP蹒ÊnU2Kط)G#@\A5/[ſ[En`u"%gp~(LT0Lv?@%Ek8#S"27[WVMJ]0?gDhT/4l[3gNgj(]s])C09 n-Ϗ -ND&lf=jR]]1u:ĠϸЕk1p։۟D;D5>({%l<j@G~hP ) $C|F >z*)ss:ߊ*-G =pZd}e*k`3,mb(o< F(>R"#pF2H􋄯l!t~Фy-2 Fӛ: -| 6ܽtOq O%{*01 wEb!3s[WY1xf0 tJ "z@ͧ0)|ltdJ$8A>?f]T0p@kٻf*Q/c;ȸ[sP-_'AM?|>==TTL:Ʉ3}^In{)9]^&Ot$9x`PxʝD<"Ne9d9 v.,(h!ڨg2a<<.{ʵ7{B<^z2!_{S۸瑦?jC£hL_N\\7A8@͎g]!$IP hb4؇/[6&@gB{5u)1IF֊-T`&{ye =#) O3V5+VijI#4Cb@mҕZMPQ0;³~B)l] v1g4jURj2eI dE Y6w 5 $ :4dҮI۩4&q&y. MyB&¹ efқ; I=tPvs>-Yo$9Z X&j\JAE)?s­}&EbHU^cH_MP[^Ovn` 7\Up t.w3J];xk=qqcmO45+Qnٻbj>+1ή‰U->狓@U;rX(u30SVE&̥8I2n`~U̡%nX, M9OPp:~}તlg|;8??zWܘߥ)˞D[.!N` N"2u~?FY a cS5 v+ݿȹ:=nҐ)_o!&Z<]Hq!tiF })W=Ut)hI17T@ B[ x>r?BJffς2 W١2#hcÎك5`̍WhqHtaWvڣVޓnZ*O*0\h@ia9IY;)2r8!f0.FNW"E$փCiE +=?_w| oO|:PW$Fn,qgϥ^.oO,GOŇ%Ag&;l+פR MW9f 6N-~#B~1~} lS[9Quym|= >(pNSs-. Vr4qHB0'N:q" _&7Q> AkdYumo\jS}vN˲c&Bا塙\bq{.iG_u n{p*TJef1N-VL[xiLH倳xcoMi 2vn}_F^F? =}C,#* Eݱ>Os钋IރDO[I yDc][|~ǜ?7P}8ŽV:+0FuiDL&g萂8 PYz:BM.P"jm+ZxYg/ʳj`:ձ <6c_>Ev;Ҵ0e$f]vlƳ0ΊO` u9x\"?zS(mtwo<+|h6^7ETzIO*>-X;1W?؞~"7 $a z~,%ˢc+GEa3 M94喱s*uHpJPvQ09{\W0jfi@\ouG&gTiAU|S9#&8r{0TYlʜoj-Fo<} dKw{} AM_kaT{6H*A{.}3o蚹=іJIp WK2m4Km!Ia +"ƞ m/۴~1Da9&xpa"nP\h3z4_Rv g;RP.%qE"a 1*ʾ7W DͅDŽ}aA%>/ OL`If-M)0Ub7w+ Fs$kt8V"}x>ҝ;EnKL*O]G-%i1)S2ϏqMV?4f5)HU9{P p$}r2i N?$j\JwBY"W*2gjEҪОJh)%5nY)MҶ/͵cJh`sw l!s'm؋a)؀Zgk/8V<|a'yE8t' zq0X _)9}$vWsY2nZMXC&f#)Bv-Lm&r;Ŷ>Xiw#eE' *R&#~#l {o pkg_ںFjA$:%C{:eʋh%Ѱߑs "qD`.y<^k}sj҉69f'K|&]C\֘fITExۨJA(W`CАl@p6qAG¸/瑣̿;p <۝-=FFBԎi^L7۶j o 6aZ;4~ʶ(8ń5SIAfvHoO頻2!%|aWXs%T)l9tps.cA%},"XT&܏Tp+z^c^yLJEzq=aL/[Be(f4XDPA-b\ЮVtB-© E{nW.y-KSE}6$ Jvf ̍ro,V()hjP,1Bi @hڮNWlEV-y#Z_y~L6@@\rž :<&v" nfc.إ4Y(kw{Tfo׾C[=U8i#gU@4q4lSo02!:2؀š)P|Mhi!6;l)# lMDgҴ7(2, >0|allwVӻ.^Ox LOdFMta@^9cU^b8[͕->T9X~/Ph5[<00 G3!GSi7V. NzE~^[H 3-ZE?//Y_ԎԐ.Vnc)NVa w°S:9vEGmChH4`f&>"MkCm=Dr+p(Ɔ` ^Sytb~,թB)Ћ;P>&|{ Y}Ø4Ef6ӅbnqaW7b EF7?t'$b0ur ;{ZOE wHT 5NOY"`L 6Ǜs[PQ^^MPQLg3 [Y/Xkog>'i5`s 2Xi6ȋw0NRB^|$/1R >>Yȅ'Is-7%]mvb&*$03 d"}3ڴG>)=2U%p0>߶̥;۩Ob&5T'HTxZ e%uEEˑJkvn LC ndt3cngb;7pkq;‘Zīvy" UYʗeh6rF/cňh6X0 Bt# 1x@2`SWV;ʴ~e$vgFV \MHLxp`3Ԧr U\з;Y#z!X渙HEC.6 #/luH=<[Kkd$ib C(}ňu g 媆5Cަ{ 5*,WLbvن$!c÷W%Ǫ172aN/}OSNЈ|V]0 Nh h)a2^$Y)ɻ M#Mĺ g*u|Ŝ=.1n>&i:⅖3o"aFBIHnӲUOZjaøX?OS4 }n Eh1)gE)I?Oa6{J"U\ T,Į9B -h/"[}Мnp0\F:y [usBɚe *%J%jaBsZ^ تJl찬ms, hbPɳ6֟Tv24}&W:IFlHCu.Xttcπ.6:`-]8|_ӶW@)f!PL{6o:,I <>p!bY"cz^"6:uiGz>gR-|g% SzWCCeIX D7h> n1pnbQsCQtӕ|gkk&"`[RNJGtӹmvsE0u<:{+9F^4fn:3.V|i0dJ}I5TwPQbq+!J/\'yY{̧-:| |~W4xhH~j@n\W1 S2'MR >*x-؆`rNW/[+)+u7b6V|0P;P:1[wm}w!;̩ eОIZվZ\ϗ1B7l!udѻ .1SgPEvqW.vq&i5AHq,69P w+yCIw%6Hl8vBgT]nm̡y ؐ->y'ISRNzVrNZ|]bDnQ>(kl\O|Q6 '_5t>(z`Xy耆n{/)P-9k;]eY(ǜ&>l-_Dj6`VtL䂹 Cy+~Dh3V矣ysžɘ]s3#+ʌd۩Gjm@ &ٙ1$iFL%0n5@Z6",qG;ydvd_CoAe6zbT5 SX!'Xݤ0a2rbujnWQۧU~c3hfddlm<$#{h]v,9艴jLqzDB)d j]WPl %ZԂȖmޔ$٤1R5Cb.L T(qh*?;&D'bd!ݳگ:,_k"y568mxwՕG bY!AҙqB-Rݦn=7̽[IVqhV#<{R}@ 3m 3FT$lTTL8mȭ=ζ$k ZJƖ**-IҼm>~86)w#fD/g:ܕ#ܷE3,RA>ܓ ZaLF%n $A:Z r3 YJӓ iyab)Bozc !$Hz@O-|=e=7, 2)4! q GsUMʏ:Bt_[ˌɆug"8U^b֜`ד|qW .!юRm g0ҽDּJܳEnR ": [pU 27!#B3B0H~B"6 ^mB ܷNİIs .`ݐ`/wt_Hi~&87ko"usFAJNO09!o31zG3o]zο7vy.T %Hӝ.­ij_gb7{jh񵺅G㌹)`eP<$4b*I!}yW[S eg&ƒ CӚYs;\|U1ȦF>3M߃CyٖۜjfØY۸47p18'fC뷦6~_$~w)y@%9d\13|Q9 ,$;-zه5EKTJk?3>˓%q;i2W=M<>Xa3!Ăaee1uSCڌp_,``*N<8(21g6vSe,IatPzXG;NVkI wu&E|4I>{M2V'>h]&UWô+W8+ǥW5tVaE‘|X'H91G\BD6-SdFdh&">VtZl`)A_ ;Up;m/<^XjZm ˚}W.ϖM|drY[pe)q=z6 -.qPJs9=TF_c_M9hi)kC#{x:- I;裿a釥r)g"jsOF{aY_kտT ;ͲB[? NN \B}餮 <5V:.23`6 5VWLϼ xHF&Qz0U!'J/o۾8ɰLڷ[܊-H׹}'I;'XiˌcJ}~†KcU.ƌ1}X/FZmllRq- V>z@4@^VtJ7o>QL͛"lpEn~'m;ͣτ¦4c.79۟=+4}2js[SOvg/-S^4COۡʏpvVC?nChR=cE闖GTReBuBHL~_o٦>_PM{qV7 vsХ) ; |z][\㨼crz.K5.6Agbnp@i y ߐwʄv" `DMifW$3~r>?k招ɠ5(l~Yb>G*b1Q8JKfC_qYCYTd [ȰmÊfxC97#[k?^ ׯ6xXK9˯z:?xW";dRzk΄窻yJ3zw*NReV\>[#L4E%=>,tˁqO3p?Eʃt[f%2p!w3]@q3Nh"yjf 7j& egOWӬ߾t?"mFex6an yOMmt&.| U;77egK=wSM_߬ FdV]4fAQ X|{HH;=>1jY0&t^ы&O ; HL֙-v8\1yfA[CI6:i;c)>2-+;D^/bsqT9RXUyQ_ha92OCgɪARdvP&#(hJ݉g짊eb;ǝNdK%-"xZT&?Փ銭xcjO(s={e+MJm+ `Ug+V}n&.XvR̢~NX ܅7d6H|jjh~=Z7Ē[!#wLC{/[ʣ +]R.Rӎ"펪Dz Vw/,A21& &RF]Y?{:a6Uk~5BLqpCy425'>+UڍCa3Ap_ޯ~d[\`FQNX:oFF+-/ %M}>j߾JsӱӶQWGζ٭"='~<%[ܗr*pk6^ik $ B\l ^ѴN2^xv!S%HTј+9 sZ#ĥYs$˴JaBHl0hm1UuRǃ="OMߑ41|?ێ6צ/1WUC8dZFHd.0p a]n(_1!ҡԴE '97w XpW21/gI51l.oA:@@ZDY8u{zgiFr&֨{fLST]6f~`C-˃Xnc:D3|`^B]c<)lkM]NƢ@bjLS ۏf-bzOzZn~sw[>&TO Z; OpCq@kr*tA记KokX k^vԉ| [NsFϊ&@EB/4 HO.r=̹+pj@EǸ47`[CrT]`p5`:q2.CU=ޓў!Ȯ^X,9`FL)V|6EUYˈBSQ]7=&%_L'M{dYʂBrABưf$ƞ\ 6KH>U;乍UQp * 4o*'x+u# s"00Ĕv;ţJ "fOD^R  3 @ 5PG)dAmߓ?{vXJ%%rE>!hDV1v4%-񕭃MbW2 \-ar6H%3g_q_;*+) $ =$ @YX.a()i,ne;ˢŶIs4I{~yÂz;:ۼ]X^̟}b@Rkn]ZmH)ꯛmSZY,w>6L}ر ^r ,vZ@чEݘ GNaye\=:i60Wf ~451Θ"u%GSsSmSԫre׼>f?40>r\@%R1TtKUMޅxXD;x1{.m(4RJԲsmD^[&-Wv -F*kr8+M!ԩSDܽ鲸nA*NZj&7-sDL6\4YۛP/x!r=y= )R`?SբG,IK0@z#P>қ;/EF(Q%,{vUK`SgQ7ۓa`/*wM*=]F- eɛnh"-d>x5I,} 䄿O(ڦJtN% zEB cǽ-= Ԉ5~dOWD§,`+ PV>aP HF]_٣KX kT;#]H4ƊB'JlfX*r.13fsz>mk/kr@65#$PO—WcƀŞ"(p9颷~oqb|Lq6(!ӕϷ|\@C R2f=,3)!@V- %{Il -~zWYJChq @L&ܴ l c!EбgYZBycܿ::Ux/D}%l ۑ^r+;[3WI8H s^ x19AGD􇾿;e |:F\09(.,Bgwշd*cfIvFEnL\^@1HިP4kU-S Mcd:B̆!JYm~ՠ|-T=TRk7̦{z"xD9TǫۧcxJ?(\FBWٕ^Y=R8)P|%J,K.z.p?"_֓N 5:jOF|J7MR  劧&`(uEnZx5 iNq&BEi.*UVM~JVNaTəCt~2/KYtFVl 'r`5犅*G_&u/m.Ea~\%y01xu?Nœkyu}ɴKs4~ɸEgњ$tSjy1.ψ M Q|haޱ6+iG9(r!85U(#S/ڬqL5>{Z.[Q6r9)wة )#Q^ml0Ma&z8qO+sS!_!Q\ֺH2o'g̼򄄝 k.uW\<@[$qss*I f} #q#:IY< u2\n~KuqF+NR?Iʩ!Т(#=e["E}.CPP}.e^e9_ %HhT]_N-L,1#(wڤ<_K0Y;J?W[ua,م:Vg7ZG3d|Jaң,=NcWVkGtH,[>'R=LrgJ G-&hud3x2={%wF޿r=LUsL5Ze Yvy/7n ;;pm[P(A{$Is ߇QگvYRlق4%iY]LBy >3vVf]I ~4+ش͍i[[ɚ< _*-DK)A! Y9;p&>{YwybeP^ 0$Mrs۸ ;JZ3oe 9'XA39ayHtZZe{+'ޣyt0cV׬?"6=gD|BK^=8$l9'cf P[Yl߄^FV&WvqD3IE~z\y?CПqo4z ǴR. 9~=G crte՚'tA c!Q'/b8(;~7 eO:89rߺṬ6)U)zڦ 5' IC5=ﶤ"C_,*ޠ/ Yv f:sRQd2*ɴ2\gbD|y\ {!dPjQK0, f~cjO] =l]nl1oaPx+RL1ˑD?>!~n#@Ϝ&ˆI#t@m%r,eҀjk]Ë$9f}3l"o3~KԊ0@韴D76==H:6։8U' n<痏vtBNbﳻ7: EYJ6T-F4=+`ڦ.ϑHQ?`O(S%9FF{I!# ?&RiWz6H`NN^E'l*0'{ؗ^.TL,8A<x=9W<|@<R&"fyYH9,Ц'R h#u$W|gMolWXjerO_'rǑWj=౪} Z;(PS!\Qc-`Mw@JUA Q 8N|%-'љT1E qIw-XR|-ul"c T+J;ЊX>ɾz ?SMa^]TlxrzЏ+֮idvYrzaM7$Bw",|8 8*{ŝ4aSd@3˶Oo?@ xtY9_[q.)r̝zYfo5q@L9 ܀slqZdw#S 5+Rk r L-Ϫyf) UN_T SW)T:9;a:ǩaٸsn|(ڮ ,y)FwQꏱPc9)*D.y9L[;z[X7hM#rdp& 'J%CQ*h[hKۻYm O/'FN["C"SdH!M4Ȝ/}- 0ѕ0?dof T38=mAoTm J0c@O0.\/cgPǚ !IVeh}h/'g[Ɛf`Ciw4!v $@D nvx6bNE13 F-Wױn%L+ 5V*9d9XIqzqO|xֆ;$Ei 8'R 0w1y@궕+pi,-vk̏oґ+[ъHt@;;H޽ިt^~u SۦF@lk.aGRh@= ^̓m/[EOgYfZ !UJ07(xkW&he9{l;@*{@o!,GY{v3hwrsm3AęTr%T5d͹dïrr|wda63xԘ6EEmUHOrq;%y1ÓP*:,TԸ_ g['$fF)ʞNHN>:v :XmSZ9}mb@* ;g&S"*,gYZd5ccec7f54f4b2ea6dfd44c351160063851d4455c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a