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 {{a#||l ] Native_Word:threads=4elapsed=575.738cpu=584.260gc=5.612factor=1.017zXZִF! E]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-pf97 ϸ_Va&⩐ c,3:A}P(f.86 Q6ZEM;KH| &}Yj0e^9p:$ט|B#>{P\+'| ӯjk(D8a` .߂XNWqWoҳu0+Qb$+RϲBw>YҤVQ]i)]hev̚hП5De1z@ݥt6vHc !^_!XP5)(Ş|iZ<$P x>$G62v^W}ue٫=:-1^pV|{3qj_+;vCuL8DSdH,]I%MD&-CjWDqlxwm%CoC1DP` >5c5o (GW5'!HһsU=^QϨAΊ3r|<Aoׯ9$#B'`5sD8n3aj#gaA Aܬ3e 5ۇM{0k &of/Mj%_z^j60*䳁5_W %dK`ج g36<ʁαDtGuUb̔cpoDŽ~|| |a?WZA~QFf/V;_@o I# &R Vf'RF%"~7SID4P}+mC8BgpԴc;wu~kuaY&З9liҥ-dfZ!"oŊ%TNz;&v,;'PUWEzGO0xKT9=)P-iIަ=f'F|  ̓w'qƎ4tUN`в`d$mWgԋ!ρ&o*Xj*ZM W nGׯ7kҁ&~q > 碇v1h>y4̠9^UZU'fI='Ezk#]Vcd߃YXuJ=БS{Hغg|[)C=V~j/WDS h;1TV]#"|͐v 4j. Ǝ*}|ASsJՁ2Чue8$񬊧KF߭ET?I-"PiZE]j] WWU/8)LɾXn_6sc9lz6w: *ny964|4L#^ɸ|f1KrOKK( l3) =ՙ+6i4m+x&B~R~ù~dN0j#fl[dEbrt%["]wȔՋ9{QJf&38 NQ6+ZN,_mJ#tV"ΝdGJGj|gfSa5 :YI\R7zv?=LP6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QC >:#A+Native_WordNative_Word.Uint_Userguidecode/export1.MLC#S+Native_WordNative_Word.Native_Word_Test_MLton2code/export1.ML<#E+Native_WordNative_Word.Native_Word_Testcode/export1.ML@#O+ Native_WordNative_Word.Code_Target_Word_Basecode/export1.ML ZZ##O+ LNative_WordNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! . ]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-@wAɍE<_u+:7IᯱYVԖnX _'fu5}q3H@a`=[3Ѷ;ZG }U"*Ҫ/z:+>cJ'T~ roʂ#:{pPobBj;!bV:߅#cL9A(hv ݍ]ڂHYfU ^> c:EHa@vFw o3GfI0  cw^K)/z&uF㚆.*0Nz4)u8$F "YU@}M.ڷȢԍ㆗Ib1Q\.h̋RJ0{W +*Ÿ5t]yѺ40!]fl^<6M#x FM%6x،q]jb0Xq˳DAR2 .1Mۂ 17r#|/0jN܄sI5sD*r FFlj/3rb KikWjk:j+c?H"ĔV" hqߔB|UU(D/ئۦ.L w,>uRIVOpȄ g9-\b/Ux˖3HxN,{. [F*Lc*T;?{5T(R&~@l İLU+$hԈr-d)U.vmj /AF`!p֛\]67?˚Q|Iǟy1AXZjK}$Ī:^ʠM#**te9$.gብBa#Q:R7% 3ND|">`6ySO\ԛ73+vJs1]ӗrߕn@;7yFT9$!j&.l ~(&(}Qwӝ3>$0 K Ʌ*_l[׾Ŕw>r YϯJJDphE1"<ܽR}+&v¹rAPČUz?mܰb}3FGK6@Laߡd^PbܓDU {3 #u4d6WI ms+Rs qQFq1KG_sZ(\j]qnMy2d YgYg#zkKlF:n-bt>W[9qHnNU\[P" Iެo&+R M37(TGGwt/q˯%7vd~^cV9-}Fzەs^Ll\59Yi/kWzj[1 wJ|+ub @Cf/A:(xA?n^S7x0"b:?`o8COOإ/~L%U2S҃DwPŸ- ?RF;; I8hCjDA zT"{MtX"4=띌c<<LI!lʯu9VۭZPV K8(u_ziZJ':Daђ4v YjKwqyѷ|0k$z(MM `Ds̾uM`jWM qMo,͏ &f=_~$mBY:}Im#2BSoZ̫<%r-#*׏Pz 6Z 6`uϬ1}%; p?Yp8=*+kBRPuR5ܳE[0*̵O蘰hVcb0cOtkd|T#-q%]7~\+2OSɋRNp!AǧqmS)uMX:Php"1xr~ЎGS0AVix<PE\/]QCgYZ ss #E+ $Native_WordNative_Word.Native_Word_Testcode/export1.ML7zXZִF! {} ]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T4"XEIj ѵu}GJb E$DGb߾XU*;pdFB{7K`'BY8i 9d!O1!*fhCYB|!sG&[a4&< X,Y?t?/rPagV*dI Ck*}yr`4m27ӂDjkb6]TbsZFޜ39pKc Ok-jÈ]쯶r# i Vu}{/ ,g0s2asR66&R_ jPB_Q&je3ʘu+MgVr-OHdfOTLӽ@Hݭh:H0G Cn.: /TXOxU/BCj pCj0!FE:aF!9kG %|W|dPX`fYB!t{o t2_8`c&)V"?Uk148Sϻ\7Nز+T(_;Q~S׍ q`dNoĤ?eƘM:бma=TmDguh UG[xIPLJs&ua)'em(X6Y.ڡJ<8b9^~* ￑.SaIqؠ00~H݈pܸ`g+z0HѶ8܊z Q(C:o!OPVCx|hq mlJmIM"0dLlv[?b.IIʭ!Dek,tԃۉm<]3k %=>J;48k1T%nh~[d8MHS`0Bn `jx6x9mT_;1k ?Nc׽Q%uBU@ *FBv/&! }MDkE"|vP"b}:" %VcUjTspVpl0 ;euTVsv@щHfP:̠ hn4N&CD9yF)_xVJK>V+0WLuxsޥ%+@?NR .җ?GgqJjzt.0++!UySe[P㪼Ç4+! ,_KCal> qN'#7;ZUHZ [gEtYYD2L l/ȖK w4llfhBɈZͲ΄9M!U^z=ԲOR2 $ }4; Y|;)5aKNGd 3UmOwD ulѪUԸ.'4ݩBə5k̢'\-Ƭ>SuONk. HJ}WEYāɟ2<>$ \?U N{@Έmv7%H_PL [ne?uURdkt:4SK.ma %!xSLU0ԵqB)V7ߋcT 6g55&84[歷6<>!?**Zk*!`?ug`Vޅv‚L+QB0'N4t\I"Al/RM@'8t9º͆_/SuЍ! Tv߫Ϊ9F _嬱-Оv]<{GdBFgkF2x0;y mV%lG!q簰AHz1y c2~2"+`eD0.UL >Z6I:>arOh=7~<SW$q* v_xL;QLoC5ڳ^<Ԑ[;FF_} 8B<^(Cˉ8aBZ>j7*t|UwPɊ=9d/ne+>t` ]UrpS%[FEWfE Q;A6vSwSa8qSƳpSv]CJFO/T"@w 1!'gYZƥݼ 9N uT@l@V=ޚ= .Y.׏:TҀȵ~{;!C`@?bz ) 2UM&1CMCewfT7^XG3)ۇ6“hߪ/Ǽ7*BhdfQ$hJ/Yۖ \CqY9P  Ar\9cl9}] ؑ%BO!nlEV/ѝ \' Viô+}q7 sXڑa_c ClY8I"\gE9;QG7(+ʏ{ÏUɤ-"$u]9o8 *H-Z'fPIz( Qi-g69 ?0}d+oD.9G#@-dB"{UX@;RKЌUS_A^+IU3 = "8'>KS~Z"W|({1Rkbq`|թ$:_ȳ\RKEO_hpzOC]kZ 2V`jmw`>up Wb s6{c%]I%!δ󈼡zT<5rHU-k!5YwYhh}i =i-MIH3vy,vz ?l`|in&:0wh-NKsp*MfDtf R1)ƗqAV*֒2@!D!J-5;cKB$"/u)C&B = 9*Ƽ4AUl!4(sM U  'dXէ `~&2kXB/khkю63b!kbT _6]10K0H~͋l+o |+MX`7dy^rsT" D&m[k(G 1: o8:뼙"aF @̘%U_3k[^B#+E<=-Lסu\~[ uyi+ WpfkXS*M؍Nk%`%L V\ Y"/?>U/QX/6Iz%;hI;T;1]wwYl{&j<}eLՐ "y p0t(z'Hmė$q8_Ʋ>S/ Y2VArgz$tx.,h[__pC%WrKCJ$n!(nEl̾s޵G cUܺkuQgEcx [q`V췭UyҔr+jBCzts6 pM!dP;VI~plG:zc)<^ m;*Zyc_5.(ض jbS[2&۫*æsIu/v Ю۵jLeU6WE6+7li/ͽwV`@<,:()U7&>U|9k9@T'~ҷ"Q.>mDչ yo7L̬.h"7:1y+e ,-KVs᢭,2-DgŜ_~~e}.lQ6_#EqB󡲊7!8cj\ %?ɿP`\[e@)'tF´pVlN/C2f DOL]Cw!Z)/sX(<; t}|b<^0~x'sgoDSo9)rJڸUڸɕ[j:>Cث&2RXw:}ȿewRٝv]_0ފR%#c}KKW%>2:eBŞ4M|dkIIB#%Q [F'>wkʀf@L1XA- >\4M y䎸JLL/OOpfQd4lIvF*ک_4'b0 ܥ'z1 g֜L&0|鵫TgIEőWU^J\@Ц  TB,//\m,WMU8Z:R].Bu;t79 22t)S"kvYiG= 7>{:78m@{ȚGp@=ɝǃ~u(MG0zsTA2 ".}]*Ra"@dM՟~|^*@ >H@p[M)dt'@.B+@TҀ"H'0RT-xΗSNSL+p\^}t^*eE0C0EVfo=0:!<”_ԏO?bEd6Vʏmշl9X׊lkQI f2٤~d# h1ڏ̢, lhhN;FU&Nc x|e|Fhz7@^()GǾYP /̄ !='giǒZ9ǽVPF}k>Nm1ˆR0lgpTF\4%W# gYZ  d#A+ \Native_WordNative_Word.Uint_Userguidecode/export1.ML7zXZִF! h] %H  xzQ,O찺& эSezQ?tݷ1v _W9eƪ*풥R\ m l)F\@oKȝaյ}l儼$͑)D 54/G ` RZ;Q1+t~&~R̥㣈%I;!-_롆*Ҩ9xpx_Z4P8 `(p5ot \G!2q]"&7G*;Ap#W"qTl{ؼBH;giXmʛ1 +ɛ[JD[r%$n76ߐ|_\DUbt~aH?cɯɾJ ) T;s%4^CWOlkS'!BƞvUa1 Trb/;>ʮK9_n.kP(B=/>ܲ&%ZծeaAf+^͝fPXꚣkim Bn  ɤg1VjmXSQ.{"ϨEW~w+!,X9^-{dU$ Eӿ3)@UeN`2%ģaXjͷ ;@\I}㪤 "|ZjJG+$]Dz=[(^;?$@d(e 32lKsvAi:/SUʂ̑A\7&u]ߐTGPprysUku|Y')b s/p gYZ!#S+ DNative_WordNative_Word.Native_Word_Test_MLton2code/export1.ML7zXZִF! c]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T4"XEIj ѵu}GJb E$DGb߾XU*;pdFB{7K`'BY8i 9d!ߵ^1e'hX +@tvx73hZE,Gն}WՆq}⨇&vY kJ$tRMhX#>^_( epK_X>gYZ7zXZִF! np]ŗXi%L /I8:Ӱj ~d,4(təߕ o{%Fc@r(m"] ਻JaN Aڇ1A`Ǻd{3  hVTa,G.#7Im'O E /35Ivy\=.lO90jr[15㸨o}fjgnO o#fsu|u{.W\6*%}{P-MFnb#c.>KF$o $}޹1Y>z.0.p;ۏp,K?12HTF'"D+Q%/vn~))9L ;C%:~|w. ?[ Sq.}tg7GUy{G⾼LU`WSvc`:zo\$%Il?M#C=hU.ݕ"-ex* ?qm>`랐PU:LѺ4u2=euBrm3&8G󒀽xum䒬$jy(Uz/o{ ƸM" Y3Jt<bYW4;DO/ef ޚ0¢ȩ";0i ̬tߵ<;ƿL`n#Ts\ N ;3F$m+٢Jг4m `$? ^Di/âd'0R[#eq-F?5X/EWA،N2CjwoS3tdVIVle_ӓ DTXgͩ,l9/G31ZGsus2eI<k5}|d5~vgG>Lʑ_oZpM<ݑb0V%3A`J ̳j4& 0j`DI4nMӣ#&QyjYR;hIXs>@Ӡsow|S=8 GٲdY1%o5ei6A^%)Ee|{k < o!ӣت|e&d|Zf鼯sڳ[i ]X'J"CE)ŏ-rgt1"*> ,Iy Ψ0WζeieeNkܦƀ8m哈䀮',( 쒷m8jSݡ>Oߵ^r끒uln& älYe(YMd(<_WΒz鐊|VGfc= ga}x}E^>lrOMZRh n}?'916-=Ѓ[1SĭB'[c:6Tqr+$6fo'+(FQߣo'"Wܦ)/`4Ɍe6x \^9>I.q?\w*qM 0QmV-i+v'odT2beoTBh^o}GՋ0kCNӑzt R Mp5 iSTbH^5 -v_l2FTvEʣ5[ '?n;Ϙmߥ>5$x 8OΟȔD,bP*L Mdl{{6~CC9FYAX67(Rz(/3"cU7TpK@{FSz?V=|/⿚RAKwџ)Iӫg"BTmLwdL?LSGAW_H^knCw-ZVJ2"+W,9&Lf~st4K4G]/a ?Ֆ,ݰbzl=fj, w=`@6y.0! & 2&+1]MYظ͠aT%Z0#9+DbLwjL-UHV9>v=1.7o9>|h ˆ7ĊE-& ʙy5eΎwp` !Ĕj:y",+C?JxGl?fYW +"*<9o;0)@cw֍Db6~aIGuhd`C)BQbM>D*Zl 3H5Xݰ)ߠUCT AJ3[liL;0-SxBOW ?E΃ʛx};m()fOX:Gbsg؅#Ow_YѼ:N\ fخ]Wĥ ;:u$B= Sȝ9Y-46yw'O҄IdT2V0|8 "S)!EM2R%hڵJQfU=0&gauou ̼RYs1j$C%FSՌCj IhI2(Ż7_5>s"*բ4GsS.n}2˶NP6lKV O~y@o=x;Z_HdmCYDPS^Lu@QDOϹ`2YJ:'ElhaWt]+noEe‘g C-# a(Ct~+`*$Q~ hI奤&ipqs8r(:c+4SQf7rTEB%in8Z~3ʜmj-vi UH[O?:oT܅"](;|maIp)$n|5B' #Ph5-Bj@1a-H۵-^v W0vhr6[[WѪ4l;sM-EI݈+XfsDțY  *#5Vbv-,/ ]ԧ7sD[uYB{&.C׸;WWc/6Y+>D)_0 v%-z2 l;"x(vذ2X22cv|l6xʝ]tY2\iM )T#W"1.QuD%fUzKn5*Ghbt6C[G5R~!1ΙYMG)n)\I#h4wa)q[k?Z0|˕HޒVlm,47}J:r %4tu$8kT@_sȈE;.c^T%Ҹ2ʙ34ݼ,Lڶ^2PO4o@LrPs<0H87ϼ2lwp.Y0C`@֫ ,F_pϿDV@,tޟm5[Uu~c&=ݙ~tnG:&#K%2C&֓٠,XW1;RxLH`x5)Fqy:$$7ȭ7"JEVb3 I\83W.;ۊ iS087*v fDKNJCd")w%G.CE;HREZÿһl/P2}4ypzEw)@Kq/ψX.'t3XE,m|@wy"%[)*]!ItJD omc dt%Áuxv81ô 5ZN}['jm)Z xP6 %u̹ϳrT* sVﻠa*Y2ni?ȐX֏ CpQ%+>.CktLܡ$uA$wz:CJ$@}X (<&ef9}܏QoB\XqmAEx81nh/湆- uv$e.|ڕGwNkC;iD>nI9)9zAGeRQ> ?H p# 443Q5ixCP`:/o[_F۬msO<>܃zi57.YћAѮJA^"vK`,US-ʘX܅TX*Kor3Pe._P3(\w(մ,j2Jۣu=e]o7o,fd{"Y:yLCYv ]kn"ᔝ}$~bqgUEm*A=ݞ:R{11wSYE>=S5q_m އjsѼR-ZmFH J.š/^Ery.>%!= e C0` 7l1.2\ϠnQO?ݪ.QbI*VwTbv2`ķ.s, bkl6qQҟXWNf}vͻsMtrꈺޖB#xƘ3WZb=֚T-@wt m7ZlII[șl0.$ФH-Pwije2]%Q:* kRa%b>~T}A=fUFE)] W#}$\C)Z p?9r8nKHv@Dʼ\?:R:*Ԑ]MS;U>ՍQ :{Iدt>?Fku*l|2#sΑK\d(u Uܮ:/4s7SHf gXE [}S?4%jIJ/@ qI9c67A6 9m9aG??^`t8]O,n<*ʑ"g#-a_C! /+T p~$5Xw#NW[K)+"C^Uɛ-keqFãBw_jmG_ Wd|"NDՆ2z̑/! 9r>(Qp.-.Ұ3sNktmBcgH)y־E$>Z yiSXg#/`=A;lИ3~ǯiM^L[Dߦ@*SJYy'( c Q>-;&3q`!e୙pWj"|a { { q߻zh:X Ui9uoׯ'Z M,A._EBԍ^Wgna/sqWj]pظ^`1)]\!ez P3ޒ'kIm/D"K<ٴ"bnJ&ƿoa%Z=p2$I2?k<1e N!Ns ?ͩ!i*^[%B?guaWe]+Ԕ_^`;2d `;X&9n"=8-Qz"U`G9qn,t%S y&SSt`jS-~=uhc/`Nw8Dau*M7ovPWqG|y9WGi07CZ-Q،5LgLH'nJMܑƭ01J&[X wcV۝C͚E AW7߭WiO0R~diY͓meEҕ$LʊPRi~6#_ A)H,y#K\@ U|cHٰbBT%PfKxPj7=DKLzfh%' pg|_Dо'9:tᘼVedL|#&1X 5aaO-u~7(#cO|ΐ$G$4r?( .NjFGOn-T*Su&3Im#诪lª&k#kvbﮃ_Ո52c} F KGIѪlx>>z$3?>e [=UX_] 0p3|4ޱق~"zfe] _BqM : T"W긎Aj5f9շ}OIE| $Y&x)azgv8Qu瑣>*G;sh5K {ތD,Z7̝{ODZ1ZힴTtBAb񋍜mLn j1'4V`?N0*sqJ46oEraXr? K):bҟ:(u7Sy5wDxp˞YSکU޷T*~M5Δrl2  1‚/K._1f)2Lu$ Bj,L`&IȖǪ5?5nW9`7Q8sy<۲O{|839n .\'R o/HXMp(=SCM6ҿds1J'rR),.C$T3̓*{bpEJkx\#V-RFgqhؑ^+ñ9!91/fxENEƽ0v2<82Mrg]8.sk(6AET>ƍV#hXV!-1<~M8\}׍\`s cSh}{X%RG %!d?O xϡ)Kۅj}mYw&^[a\eh Ұ>-V"?3NA`BILRyvŠ@&C }Qx;Wx)@-, ,kAZUH6ROhz"rLn7.0wf\OZ^.V/~kʩ҇Z7 IPt+?3:  ~`ϛ\bŽ6Nc{9_ۚR2UƦ$ݦڡN;D(cLVD]pYA5-O?w4WW1 >``U}r7qukLHo=!ܜm/ueuX7T"I&|bm}< J-"f܊.BK2&]lHp0 y('1qI lbP)PwAd4O$GF:=N%R5"gc铻=BJ=AkXZL#%}J\ ZL"Jid7.G7Glp$@Cr YI b~!.K99Vp?vn9j!֞*XCC<hdLX&W/ytmHX&SS#WU9p#|Xl6XNڈ{>Ďj$Iy?׭jinF:+i  *5lT{ٶז Oa%׹kv)+I@1BLݿ.15[ɺB(=$*̆- la},Ai 3W F=נiƆbXL+}DM|RowFWs[|hiBa D3qHQOAR"ujqL#rd4b`tpLKjѣp>!L ]@$78qQ71=S>KA"*v{{DIzaP~)v\^ObF*]E~ mwe:EH{{i"HUlOMs[J-Euf좙8c'> ɹJ8+"űd2hC0h/-]jn@C/uD*(S.i%.c9` hq<cJj<>:lB:V(ȏ\;SQ.:+hF}n"k" NUvb5aWWۢ[ AewÓNu. Gw:jR"Kb2^(&C7)=nƒy^d*Ck& ZΉx~ai/{D:#I?ģ7Yhl5w cAHc1QAb'IQDs*@s8=$z8hˈWmh9tvʮH+E6a6ug~?*᝛,q |4 .t;R: 8uE#jT_VM8ryÖҬdJ|/hLϣ.Eb34y Vk],ZQ0Ż\eym\"ۋgkןpquN-z ZH?'jAJzٴl:. rK=T=3GgY|B ê'CsZJԒ>agb3"$ʺr~Qw 0Tg,ɯ "%*ճo(SÂCg-IaJ[BfHG^!3lJArE^nSL IՁlqz!B`91xk-;gZ/9L+ OoAgИ$֝8~$xV-T%Zg؛{v| cڠv\)ϔ 9ƹԯ`m7Xi <EjyZ|s9%iA "k5lOy!3ȎQx&Y*RpDRUyՖe4IŏijZYxȖ3ms5ZN<3/˴5m%Pbx議+"\b`C%t[7s%1q(HͿ5!ia<9[#f?%@sZ(=o\PnzI,'XcƘdm,3͔8V*?5-r S Z i+QG*dupTǷDw|ϨXEэo"(OHP(3CS gd-!U24HmJlHwe42" 5d-7k% n-cOj^ˑӫp3 ~;.L׭U CC][vQōIgbc!E߲Dzy8twwxɌ%̮| EKJkgt:= QEvI@e#6|h$9p~K?kaACG'[ݥ|8_Y{G;ӎl[мV_* d3_Ir<ߕE{CK˽EE;q́lCyRg7=Pmu+;tC^-HꥧSdl8yK#mVĵ@1mOcG&[ӽ78{%P4.W$L\D}m_"=ʌtnqȉN~g藳j 18[OٸAI\Mv*a$3nEvoMЫvxEgSbatܝv5n޷&tu|}ݤWYhB J0#2ʣ_=uOÜ;č6PF(G&*:zm\PnK1TfG5FXg 详YޙAOAIqanx46 -v^GvQai (. ȭDN5y-=_ĭk2:GXA)C#79Eͯ>IՒM6YD&fdn,Gv׹0!֜ ? *)(l!3#y\(2k{^"pc!TpW'0!AFIǗeȮQI%F,kZMŒnJWwk*\]#J4۵S,$JfXZ!1@GhhpvwEQV1pY<*!LlD1AÜS3΃vTQ`\{Wlt .'65U\q_EIZnW9qw>^+lN5YP _ 2~ߡnĨ`I>銒M l1" jdR4'CA-n x' c` ot?ВGa<;m &B˚N9Izw5MU tA7\2σ@? y@`"rb1{&JIM~dZI] ]Ѽ] ̰nźdB?Wqګ3=۽0Q5ͪp kc ⩎uc+!G+|MzҸw^\3^Gd$ n w 03v!.nRD&+q,.ו8 ]^Kiav5azCW#Q4]%$a{ {hw7[fQ /mOzO:Kп:wVꭻm/y(ӟrF$E¸_.½!ǞURIY7gCW؜~n!%>+{Uqmہ&IPfzck8Y}~*GTbޠE̳u|9{,8юoZXB+n8̸U`ݚ`j[cqӷ;0ƆEƨP粺Coٹ?S~ٺʙgB2hh0‰it)LN!k4>W)5'$5CyZٔVn 2_+AWUAܼq=G~(6`:kϩ}cFΝ{{SH1h~zDj10j< $ݎiMkE>iC~\]a¢NIO}OSm]w"I!e'dϐεW X%z{]+}a }{Y OIx,?r;to09üD3mz.í**bF}6$nz7 GѠ"N]e(궈R$BӒ],g=vcRy mffOil5YőQ ӬZS6 -&+_3}E.Uuͭos#qO2Zlbݬm!f0ç7hϺQ^0Q9ChWjrڸ1uƂ|O k7~yqN/qV]^]n^j}> MWD8x K\[ LˀW;Z\sk]oGFqfR>TV.@Jq9 M $.[] VI 1>*=!xjq /uD*W&Aa OV+ީIAmΠ\i*,8P4Qܹ;1AT>v\r@dLkrڎ-*l&30;ه?"8W4ӻqcpQL):5ob&o0`@^ν}t=,~9d&96PUSNtI #%e:u6+z//M )ڪP{M0!>d*f I2qS'gX3̏P+p'M@g1e lE؉簓@Gi h@ry0U? 펟-FG cOuJڶ*fi^KX,~r&T1hꠞoI67 ߦ3a2dC2.yI=/"akT$J=P>+J}Vw9 wpl_;[ߝT>Z/1$%T"·R'^`иwRޢE3|4,=jܾ}gĵj&>cV ֥QٌtZv)Hj 8jaq;Owv 4 =9?3dUoqD6ox0 L@^p5hT"[bx6ˡy)܋,$E`>DDQ n$r wφ YKk,P{5:dܓD uOCvU(P{l,Me^]?Vyi08ܡ6ؓ2IHw{WauQ>Ȣs_ 6`fUm o0A>s䑎Nv5PHgg&C02$ %Lyd5*d*8cbo4JC -ZC4U:ƀˇhmö |èdzRo%_+I~otOxxc] M픋Ə vnT/D*~֠_Qc5AA\c6k?@ p38[ SoGO@TE1Sʘ~8f:l*hcʡh+ J4MIh ~q$kȝDX n^=e1nŕ؍Pl*l-5\TGRYEgDj,t*~)"BIFAPh] S/i{}ZnUpGaf\tlr5%\ %A47i^Y=|_ţȨ#ի,NjÕ0a}H* ~;j6։3܀Y*辻"b2le`BrU諾k~70/v Pɋf oR,Q+È ȵկ؎Z{ا|%Ql@d"VQܮ PmF6X16 n[^6nf~l8D%yrw񆹠{vtw"Y7?d(Y7/~$ y:QWZ9 i )CeR'{"C.OEJ0/f/ۊd^;|{*?:Q#tY0^/ 'J|%aZy_x' " 1r%u.޽//Ł ܽjW!o[ZjB=NiC09|CTFV77]Bx??Y>XA~b[޸>n0d;fp&G.,"̧3S/it:56I_[&uNP7\:ufhsZ5?LY][=ssBxw~>4]cu#5Rδ xt˹Q((ˉM{D⬸(VԮ[5l Rي_B~ P+Pt}Ӗ!C0Oj0?$H1 )>jрVnb7N=S~t~JQ0XXOrU>xj!#s vCAvQg%J"v>@d8m%c tEvPЕjKpT{_-ˣ``l>V\ϲ$ѩ-I4yK⟾Yzu%)T/ vD!_":xvt)HS zl8S:WBi?niq 0ji57"0Au*L<44_1r,W Fzݗ8u\V.J3crmu.#);i9 jVƟ6>wO %R$qz7|{柄TqH E>ź;y)69>nvLWHfc(c=xl}v+L;4d.AVgWZm3`EFIP9י5bf <1;&t2r0PO#~x dWyDfZcǠx4͗Hl5BhTtS>G.~ hmP}}LջM$v7k.1IAN2'J@T4zycVxA:hx=Oxik0CrDwI$sq᛽nu8dIEPE&xoX VVլ0"VvbM6˒& 5ЃS,Jeݧ_d:0(qZ݌穉lSj[@"M^ִǞM=9YE'}0 ~k{vĐl1KqxjnMu24կV@;%^8y,;`Or3s'[][Fm}{B/֤yGzR|wu ls#rt+|.y6# ±=0w8@Օk蠣 fڸVCh>;{:IDScҏTN`U+V`q)V۹TF:cZo-ɠKͺq{5]FrwF4si)D?D~}Ŵ J_z3tf,ӊgb/^[Rw矠Q5]Ɇ>)'o8ص4%>LtOXZ.i 4fJeӇɬԴ֤V5LICSR5OSX) 棌 R^@X,1SC;Qb;&*d/gC 2\r/9j^ *i͗,k}R1+BD yYt'M5WS.l EC$sqτ=yylMPR"-ˑyx=2fؙnvvQ8-碔*UOa;ptGV1\)Fp+ @F~jYk(=428,X7D5UˇnSg;5S`oȚn:fi3nCuՄSNSGhfG&ZPBi?v O7=Y /b [ml!fuqvEy ,ӹec /{pQJ@'mMJ$EEd~?jw1YD?S/^G" / a) &1&+ CQoQ-nݏ" ~d`ߔLcMqIպNTH2u Ǝڥ8 &Lx{<7Λ/Pkkkurf@;4}T0#gHgrmNx8o,G bviNf '{LuEQ_@lKll]?mlbc73ĿUS &(=fj bhdlĖ5i&v}qw=v]2Y{|L_kTXm T&r#9c܃:bmׄGνC=å%6\-s=|GW;QcB  g 7X7G\V Euo-GM؋27*=Re*ī йL?iwm=`%̞S'@1ߧ^N/(=iu"9˫,hBŦ7+>o45]DgF$[ϩ\򩓵Xm+LFK#fS!٣N%fq]fA5PBِ4u@LsXeECXn=EHSDnqne&#mpe_; 9!y?Ë"ɔXN8{F$VFҌ< mckޓ>PbcRӵ}Y骁k'Hsc[-EDJ5PUOdA)fA`zp%jG7CKaaKFUmCUK|JQIkV-7Esǎ7ӬO $=#hφ!=ec1@;xB`UK)Rr 0L„;=:=}r3ĮE?F==kTQ!uz_*YC;zGu}qE{nսpi݅hk]y'9mi\)I ,B=U/o-\%s8.f5P%g9X|33fnkqB~|f7+o 2c1~PU9߉sd}.EsQ2+b0$ e*GC)B+C m =j[H4m/k/g<tpA fzi, ^)b2J@]DeK Yh#x)*)teDϟ37ʖ7>AGoYG ¯9ğ8g8;TƝu7,b__Y@@Bm.G ;ʄ 9ŠIf=ޥNwau UMɏ_u_rl^w*!lj dؒ#a#ZZt麨ѭ?:.Yl ܥ/~t# "LF}>UС A@"yhBpcz +@Q!)8)6]w>ʣYF]P?.PP!Qa( 7WtKbi@ Z9H {PhLj;{2VJRs $7!B>]uFNK){6kk-K֭T(+3\Љ`=WtW?3C?%Y?2S%0_ " J"22"^ظLcFgMoRnbsAŒED%9sFB\ł-w_ V\@٨(=55N޵9j!f-Tnc'iy/3CQJ? L><57[㝤'E|l܈{6`nRXY=R{ 7(* e xP"~-Y6{یGIMФQ#b#]4͏br"UL%Dk J )c)!E(ˉy=8hO*ϜiXrn6i$5Rrn+nT r6[tdifs`N<i˯@M owo$L~摬 \2x5I;! u;3{^]Z^Z޳rbo R2VYf ҌLWeZ=;Rcp9UBԡ8Wv]U #Hj-ӝь2I|SJ^:‚! D"9Ɵ=( 3!f<@gWt}y<ߑrw^?(Kg2$y=̾KrMcBO6u=?+ *..柢֡&k׭9r~P^9f60^ELYF'Mڠ#]bad|5o3di/&?kx%L&Pzyk#N&q4yS :3XXeP@@Ґc97 a6Csȧ0֢0?ԓEqP?y0B b# muu6G׾K2c*;x`I \z/OX=Q3> qh5}}k^'Ѷ-+nF*f#O7eIɪسq GtZ2gBkRףV|Yvbl&!?_Bq+ ޾B0ݩ*WYOt^ }sO-~ު+\ض}hyJ"$\]BXSUarsL[Rm/* Ho+[cmJBW.vb]cthw[CDdg=pGk?W.]n:&eC3~j_8leS JѺY "\$C5gɩkq[~4{S(q6-Zp&H@4$Stm:S! _w=E1nБ?L݈ˀN_9WSna"W3X>gYZf9669fd9fece1a23de773925bff9b268bfe6eba5d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 220bdf17d54f55aa3930e6babf5204226c781772