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 llX#||D ]I]Sepref_IICF:threads=4elapsed=63.286cpu=188.240gc=4.328factor=2.977zXZִF! tw]ŗXiɟH)0%o+jnЅ=+ڦn$!L̢sr^vw ^1U Hh|vr5gY|{a' =X7#MKdcI36,ڕ_$}=bDH)PVڲK+> /[< O;uQ90'9vs$p7؃@7,BPnߖHۀ$BGbNPL ۞l}܎2IX;{9ewKmAXolYS0&ܝ yG8ȘK;$Gdo{c33WQ(1R)Oo}Zԭ@҃D1QqƇ<hFn=.Bnз<}d%2.$]Rn6ĸ'Ʊ>goNfO19K\̦CY } JTZŚ 0&{~]gȺ1Z-iTkEBmAҎ@VkʣF>ľ4[3BꜦIΡr5OrS< yNxu"Z k z"Bm!)BՅx]e_@j8NO| MFݧ=!ϖ$cTẬ~ }yNP{pC':;Ǔ~.ReG`ǫMx!܁t7QnNax9f DgV3oY~Ku,CO?Q.Md-IG@@:&a4 9j0y-Mm>'SM?# ΣP*BioZ&-e:ZA"( LNE^xpИA~VR{&lڪ^XbMO^;T=WQ{6FY`So)b5p*s=[d)QG^)ԚZ2EVdWU (0G;*^1^P/N0IF-C=I'nK* ͑1MR؁;&,2p!M0ov47ϓzE"ʒᖈ Fј <BL!W)ƀwMC.`^@762:ByЌ=Ħ;w)YQULl|c@})lh'R5}5Y]QLyYo!BQdJy]2u1}r͗=P K,$T *C..UZobYMi#C|+l !nWd k q}J6~q2*([Gv*M?O2b H0VpJ2]ȹW] <v40(EO^N|C4Bn[gdVY+eKLud23Xad2{V*%FL.]Yׇ͐'nBh̙:eXnh2dߌ 2Z/{1b:]~o^K-ϋ荣Lm\U>hֶz6\XJ8k;Ck)Gt8f&Xj8난]#g$D@ml|zZo{K>5o8楸j@.)C>YC1#7䚑V;;Z/lb%M:'qs2ĞA<ݧ xQ8 tR%ץ< iJQQ/ܔd͸-7bÇB9g}pee*9^2B@J!d'5E]aW |$f8~ 5vL@#t&@ۼ1Br34KYp7u>G`/0%I(@mM30hZLjTTA[pu$δ g,kKV,r`7,DrQiw_'ZE k f>p>,"M/iK_n$ 5?)kʹK^!_<lfV"q{0 (É|),HFR|#}ELAYl`AWFh^w}3dkt9tiV?<(80# m5Ui}C96z88:M=_=26VUf*AvUkL˲s)ڏ-*6׈/iԊ۟|6P$'baߥ *V{GgYZ#[+ Sepref_IICFRefine_Imperative_HOL.IICF_Array_Matrixcode/export1.ML7zXZִF! 8] 9 Fz8 8BV/_o8D gg8y sG%SFJz2xyQ>K* ͑1MR؁;&,2p!M0ov47ϓzE"ʒᖈ Fј <BL!W)ƀwMC.`^@762:ByЌ=Ħ;w)YQULl|c@})lh'R5}5Y]QLyYo!BQdJy[y {M9N7?źS%OA.3@ aon|b;/ ʢ26Sy~`t?U" ͱPI ew5>S׊؝ۣ1k|q:;|X\.m![AiGrm],2O ~TZkO7Zp K^2OHc 6yÍE\ᱎm>Eד?$ 79?qBav9.F֡,xwFIJCn~#I_7x]s8;/zQDK$"e1}}Ҿ|vmN<RlY.[BrӲ1^u3?{}gS.|iKŋYm :daNE!rذ9/[1DRzAtHk-0Hj=,+0Kʇ#BزZƗgH,Xmn}ekOjSNv[[l(Q}M+̽>V[i5Ccﮩ6 E> IsI7h鏎 FSELq#-w蔨ԁɚ?rHÊt՜s"0Ͻ͜ɀΤ{zWP"Gj3$O5 k_ ?K;NR\ ڬkhevv2}g1 f\m7O:A.1apP%)P?5/4qLC)~[, "}( R9L=<aKS[_v# IF8 {x\ UUmPY6,P<sn Pb4䕍m&Bo/aOW:D6_xx5_FFD$Y\PP?TN\Bn[ ܵNv]M ۈΪ:2sWC6r G< ׺z i;gYZ qqG#[+Sepref_IICFRefine_Imperative_HOL.IICF_Impl_Heapmapcode/export1.MLF#[+ Sepref_IICFRefine_Imperative_HOL.IICF_Array_Matrixcode/export1.ML1۞Ӓu@p5[ U-{*Z׿ҿBV)CŅXՀ֕òg{YC"A\N}^L='`,|‚/z Y5,l*MKF V-%" M/O ];)ODzyU_ō(~B +cBN`& xi3 E,Dd*0`,&pmѪU'ds;b(b#wmдDyтP&oJD7?Sb7^>13UfW+h=aW/l`jKL4O'N*Rz):Ox^A9!pZ&mb;b/fжGȵFDM nC 45g%EeuKKC.F'WZ-#C}^, 2&#TUcFG5QpYExpjwˋ%|DnTRgx?EsK78TW6dF"ܠgK@THI1_A5`Eh%gJɘ@|<0OUh2|o݂6pa;dpx.ٌ`G-NAT!%e.Z!Wk*Wx3b;w8;b!mH#ڛ2RLY?p/ߥh̴|fuZ_S򐶿z}h6.vP@;:48}2֩<^J5n7d7F!5t4;T?x!떘f{6)hDb/n4&pIAR1S"V*ueʥa7*d0JrpzP jҢvDwIrt7KPb$GP m3"d)x]^"w{& JE'Y#_,!K6>Ilt85YkԱ1L7QV>z;A+st]Vro5K!̵i.IR!"B)`OƵ _ E5`q|oOfhpFȼƠlE +`9~*L%в]`-] pFc].>Me'gTԽԹNR7Ewv(P"UjLIPLOn& lrL[H_q9}.d$mN_NM#uV*BwS$I$+~l@pyq:ōD6l2麳{0+ 8,TrM(aGmЉ MQAڄftoFFJni6^-nI\..﹗qݘr3mJ> 1n$, ^\2vquGjl!R!kl)4t{x⣭1V_䐕 ͘)"Ja:Gv{qZ9"$i*Gun\4"Xaj% zNԽ՞ bMzv{޾58Ons^ zy -=(FqCMD K~Qoyh Rc,C7_ee*p[h2h ")jMv'IW|bcF==ЗlASl(@6.!DʾWD[.4uRPMjy "J#}q2G.cY>/Ӫg{A𐹛4J:aMV^fa-m1avFy z6>֝=Cx&5|5Gt%\nxO?X@sJ酯>;wZϢj7IԂa xࡑ1? ¹1fAM&i¢!i])Z~2jpmГ&)\>#ӆ#{0ʯ֟Sv0)ք͆;z$vRMfhG7h^?͔ngj:7U~pʨ]Qh&`9:~僲8\E 0q&.,jdխ)$f~ hb*F`~~OBfձHSƒb0,?. fN}v%poC<zG\Y+͢[_Iκ$,|ϱZ!oƉYa=Ku1Lh5t./Z.Brʨ:<<ՑߥQ$d.mG*3.^){"bњ+ H );8ZVna$&orb)C.5#:+CiYo)@xND5`:gPhzil^5Lib[<#]TH(dMHI&S5?Lg⢬!݋^%WP:7p9TLS2D%qxTXiz 10OfWMI'2>_̕%*eM^>RT}£9u0/>wyx\.VO0\RMhk8oF 7WI|$?Xfnn"!?fql.vWg$XԴPX>UlA߂_D7OK|DL|C-B|qut!dotވܛE5%OD ʊ[ISn nYXHC8awWUyft?FUd cj J]- *UYm71 CxYb%e{x;ERC`V|u@`ʶ/]h1 O%&Rm5!}?cg\\` 41S(pgB/~mm)Mek^5@So5lzZ6^IbcPը~[jm<<ۖ)ɥz@J56D%#dx\g='wEK|<ه' 7wW%{!.rQɨhľy >-*`(5M(IM҅H\e0*@w RU %(?tl*4obdTU^'vkg9~Iu`ԨSĿAߜڇJO (Be 2<uK xZ^'&]UߢqHp:I+be *p3D%˻ّp6K@&W]RVOՙ" `xS*Ok}wzVCO+E1*ؤp!ߤ}ckȲb"0}Vx> _VseW,U$meLB{xF}޷8tfPJ?ت^oVUU̽:}!xr&xKon a\2bbu6l(%%6PJtm(c9 $"5/jD|ݰ|*Fo,QH. d`w;g d&"[FZOcEVT=100Dcu :E%N] K 9Gic4cb-'pJ Ƣظ2o(]׽iu Q?p:Y{]枨NhEKfJpFG<+3=QlgϨğ"!AdçEz@r7y!Ҁ b90#KEJRR0~.v MbRNi^2r_u|bZfO͝~VrB~u_l Q]YdԱ2e!.τMtL# ˬ_Q|{*7ۙbkM5Uc!'+8q xQ'0L1!}(; Tbd>T,nާmm@ii! L䍄fɃufg-|C!]HSB\tbpaƗ맚3r'] {Τ+4݉i%$ IF`α-(T}TL)t"*8˜|e yӽ%eԪ>R3a >;9Qrk)t9US:7j_eY\Z)8mci`CN9 qQP4ds#މTN_C})ALRVjY(oP*⺞|HDB,xsTzޮ7WVԟfU}LL&N|IGgʷ9vA[7߸ c۫-(7nAï{zAQrMUUsMJ(u(QTd0Yzh6VߕSB&͊O 3A,fcζWC}< 1rp:X WI;IM}8JDBå[D6,@ݗ~ثg,ܸ~k2]k ekDYV<`#ghD;@DFW3n,^i ~\0k2m?^:;gi3ZTU ="mbkKU5#ZP-glɟt3 *![H 'x|H 3*n$:xGpi`y"Bu؊$|Ǜj!LB_tR*Z3#\EEx]ͫ <0;?j&H+t:X:kb6נ~t E\hW\gad)<ܶT vn="(? I/q:))]ValO[%^0{ר?Kw"3Q~gXh:vU.(IEC2$<-¬{3v`ïPW( 1o:l(#;WǑZnUg:8^?V<ںV 5e,.G,rDC ]tmZdp~vv#M4#'Q_\ʄdkQLEu1l4wP~; 6wOJHzß9ŨlC-+`m1D^ si9j8ʉKacvH02?G1bxqP̨*\@IQ>yH0I1q'o!϶TUBE"b ne4dd@oL` @-y П}R͋UJɯ1h_8_{T -+İjg ,-K|Am>f_-(JG8@[\i#wmtڲ#bNr- U2f%SX`ZD]4ÝvCuؐ>t&o ⶸ .r@u-Tv# I: 62}VΖ` .8a<\v5Da%&-4O2wG#N̈G&כ Z4Z][piiEd1kT$%Ê8෇I8`L\7<ȳ'ԉ{M]a SM(K16x9x\S2fd7AHP% W|=e? \aU\wJ9Wh+wHӛ%K2[ t@e,_zj%WUʴLS䗑}۽k&>-fl1xO N>N Oʽ 7y@"q C!fbQRŜ.hnj]V:몯(6GӲ)B{%ՍJ#MٟfmF S7{=*1=s]B}Dnmx ^u4$ԓ80-Rv@l V]IkGXW, ]Y*gݠy.za1 u@/B'8/(quQ 8Xlk< n zJGs` lr82,DYl\/ndbW>Oe*??guP*]Eעt|KRDOUf<ĵՙgls\XmvJ Mp=󝧟Ef@m>oqKH@@{5q1V3&<[z(fmM75 OVD u^di!`#48Vpn&dMfB\IuOGŢ"y&W +۬Ǖjs\%Y"CT:Pz I 0v%wd`؅f%F6,A$+Q I={Մ*/xZ 9#jr{C86 \?$l2w܍pvO*)b)<HLa(d=AAxH Yn c QUz/([5F,ϐ&xq'iZB|\M2Jc+]C>V[6dnq%zWa'RRexbqQp(@4ĺoNP!eaZ6Kj 9djS#8'w<+^Sne7zcX';e5Sl3!TYZ歧8yQ0YTזq!"H NSBP5 DgDd{?  >b?PD!xWDd?=:MckoʃuijLrM+9SB/Ⴠ_$8 cABϲ㼁0D+.u`D3Ƌ5à;hv +mbDd{.8 Z?I M='{oΪ+8.hYĚW |b]zىӸ^An흳LAxLSKR2 y KDezS;%t5φޔ+H5GrACՌRq6u-or,5f/Q05kO3^>GLJ8bXmo `+.E^%I!{ƦfI1J.P5s)_mq%ۻҥ:#I_=IF"7ovR;0yvwCDk-L&3 K K]!ր)4N2uppLqNADdrh / FO8&Iߞ//˝f;p", rEKgzB^fZ91Ѭt6Ɉٌ г<~̍萨.yy3x9r-rQI%iF47Kρ,gC$nS^ANVX.5-vx09ϗL ,vQ aKO4kl)C ӫ]YP|8eQ|R[llbN")@!E g$#x9,FkjHtv.$V>?n TԪľ,w #-`:TO}gP &i!9|ޖgH1 ?fH$ph~Rxᴿ]gFYHt Ω"3䅒uQEH@ P;y!ӂR=4odظص˨57unbG/óڣ%'OQp~EF̏թ5n3ЛQaʯsh9@qj{+N7|B₠u3_gU~N]zS$NrJAlkkJն:Wc.ȉ"g!ۖ^#Z&Qz:dT& Q=֙r4=XWKRj62'4B›D:`ݷ|ɲj躲 Z!׍`>%}=0t:A[H.}ȼU` *Jx1(1׽ 4K 2["՟Hj1I~aTx\R}3*XKtR ILYM7xڭ!` LŒ4f׳Pa-:-m[gbGY b8cYix)EfƳ-_Ry>YH6F4e8"cr/?*n [ ?5UU`q.33So߉'DcM`H~4ֶ$,p \ ˊC^m.DS%\EL|uOy T~,cLf& =b1VI1-C[QH;gg)@cQ >ѭׇ1N>i'L;64}$I, )!^iϾ 1pq)𰂜p\ʈ,t_uKi/}^+[5*`{A䚷wս36oyI?=Y鲳\g9Xt|3! Ot3uP$ˈaIqibS|d+S~wC]ې=&,}A骅rPb2rsfr&8SY{TS5 6_L & e91mL{&]#9Ibġp_b#UȑOҏ=3s&hђ:48A:zkҀ~KZqOc1i]0 PYVj0C)N&!~:2E o- <drh >^shNj$㭈޼NK?n2c4.q5lJ"D{ʗF Кn;F+8o ͇~0h͍k4JZъ[j˃1ʏn((ggk9]xd9!"Y_ IFXT~L#B)Awǘ%c9ӉB>_*,m V$+_7qok*di|~ v/J kSYA>uMi!ҼƲ0' mWFqɔV\Sqt6<3죏v{!QFqe&k^q 7[ ρ.1Bҏ8YZE- RgM:1)<)[Z^p҂Pa| (滼z3}_ _sicgRXQ(W$b ZAB>=I4Ҁf'L4⒣T֖,WEVIYlȓ 䍖kl\ z~arQ"߬InIߛ,2`["vS=(*C$$#aRKi% :g2hZZ JHdJ"ݞOϋޙKV'i@B_W],MGS Zj®X09u?Vi$Y :!ϰ}wMнY!izF~'+j2KlljZόO,a_x:n>\ōE_|ZmπB|Y\jXmsC&OIBorЬ&-b8G0$t֓'f3 M-ʁ5׺a ?sOG-#{1>@Z"nKwlƈGZ*nWdeMɑH:A,P\D!} N ֥/UQHWWw<\UPti& i"d"/vX3?n$5|3OOUA Ē>@@vU0si O-' Yau4RaBrd` N"$fʜI5uu̷ z U ! 5FlVax7KwH{$| Ԣ)1Ew"v\)v/|9:٠pE8r>ʧQ.F`t#7vUmF_% 9ʋ. &}5JrtdV" ,^jh,󾡓7&4wC5Mѧ,Jid;1pFn%=8hAѦug{_NWw~b}tW^Ĝ|D>J1gIiEڞPjF#M㺈a:! qRq|^aӐ\KjV)BqtTzn O!ɻ(5d#n(>, _pTD:j6SaV$ -~J! eӈWJUvű39M[X֦ƺ4Jd(g_l|NF# r dP #ۜB_ݍW)rYvWhS6ώwHG{um9T_{ņi6Uf%wBXiW a)q ֱ$y x<{̻ c?j qSA>5waB>jBXٝl עҀJ@sY-"t̋^8 ٯE vmn7 o4u:%RÇUH| "'g}:;WI-()2U.S /+ȰS<|P3A {Ձh:\ͩfw`{p Q92{S\0:h˘՟#`%ĝVuDj' [fU#/| ̶B^}ZG}Җع_ɴVҠaې}HYmp4C^$yiI!7uV{ XD/q=BṖjZ7KJ SgHyC[7xÓBwI:b;D43!T R(݇j5 jJR8JvM\ald$\4(\)f?*ҖQ,Ʒ!f|}QkG'| (r>[jtKݻ*w z~!ϖ6AvǞ<崟8rQ'l zn j 9!=+6:8&Hm>8`b?Q@~ H!/Ng- $<[èbWzJ+wB9m&Wm֌:wzˠ8lByG- !_|}lk88?cS6b/ &i`SBvs+6h,2ڣZGodѝDhtHxaC)^0—o2HWShφ|N[hxiAh؎ڦ?RG&ܝs}ψ涏 w.Y8"~uӝlc( ,B6%wu7$j٢n[ƖCoeɆj jC(L Rrădxu}Z^D4~dϢ}cz8 +wuJz&;"3DC`V8I?x g p*OJ73G]֪8V_Ƒ$gyTP^EDR fs䇌sahguVwB_g?[ mVʸ;>_^]GN_? oxxG~2wqB4˔ZG'̄/Q̴ۄ{zWǓ}(K3-iڎy wTk8-Vی,#5_S3)aTy\aA>oAݹo[Αꈊw8TǴQl:%"Kd UUt//5]d c{37TR 4Yf= d~.L$LJ!v@i+YPPs)ADpd"fE%b)E|VG0rHnx~<-\Lz|fk:n,X PH {vDQugd^3oܳ:t*.qb.P$"?K.\OaISuR޹hl_NvQ$i9F}Ķʍsz N_6۹TT/KMi'3i4 LpX'ލJ!7/M#( VJ.-uA$,.8̅DxFSmzi{|ijf7v)YgoPo*`I@7Zj\_݃{f4:lq[Y/ɓvXXE٬u_U'F[>@D0ck/Jp<[֧}]FE4̄uvOӱt') |Qzbgρ:-ߖ)U"Qll55ŵh5 G]d$Ю%\ҳ`o8K`=I׋a+FLPKdȿGZ4] g.atnLe#RN0;~7-ɖZxgWhI`[TVKdS\xv89u|*9vK!Ի!.e6V kf&T0v~i0KuQOXgϣ7n>" N,bk#W,.I@FB3G̴&ЖnK3SB.,tBVAQ^*F1TvQ>Ĕ\W'ikDUSG|U!wiV6([x;J+5ص-h: QZO<=fp+Qkf*8y耦( :U7<7ܼG_bX4HrH湊]Vö$1")2-ks>޺1 9(N:Y A#(i#@nln;"Z/-Fs߄)x!DKУ=$p{TILU=28D*flSݧ/P5*2jvg": >pb,Bf@|/һҺ2O&[9ό|`yԏh$'URՇŶB6@A`@pj4x`2ΎAD`Slq@5g&TlD )V"FEO)6j93 ltdJb-dr(GX,HiQۙs0 şG-n70]~tt~zvE@0#at iͷ=0rg/+E`RP('o;O $w ES_mz"bzg"-`},TwTex0-,&}.dl<6I9 VaJ{gCw9𕩐 ,ks7b?_te͚v3 Z(ԺzSƋ(FSqv:&7ʽNAy(^H\(ÎAiP:-t3h*yq5Aq_hfYx!cXu Hc-\+71Vkb \\U#IX/f=1׻|a^-2=~I|s6ք#:b%14_R/UE=_2Ha妛|qS^쌗R!2 q>hF]o״sbLxMUen}I. 8snkGTS{Z[uE*Wvf̯ 铱g_juQ#Ti)NƵ'+Y`ܣvlvݽST$"DrAidq_6#!" .V߮vfnzL=Jt=C3=k\ї픖QG~;);J3o1Qd'SS&ߢO ?48^7*`"<*75~VR\<|x\ xA\qA>/0R7^y6ŷ,>L @4U4G'z3WdznkItՀ9uGWoleA5 @)'@C51vqwVgBBuQy&٥E8 x˨j)<ɍx2例.xUiy](ZxCsпGpip=KFeÀf wU@ߥOS4 :ܱ>~Mkg@^.wy=OGψB(6^pVM\1dE&!>%xՐK2# NVDV xeb ЏA]}I!j'+O$ m)Q[>|mP[moa3?LO?1?5 0_ė2{~L%g6Dva(#vnYIMzek;;VNq:H26k`XEu+f;Df2{W䇥QkWݖn-~n2m +Un@gWDIߊDZп<[Mᜯ'(3׏r͸9z!6JG#b":|`N ݨ3MfH܅FI_dyz*v=٤o?a^Yd<2ECHĪR\w b XM &ItjdECc'l@q [ fV}ٮQP?`;_Uct;4 :}Ifwou%mι=%TDέh+YP%DHƹV[3#߻mR?{eTj$=c~-=2{p2[KCGY'tu|3ZإwOi2[Eg;lG6>{h% y !x+CxiV]^ ] ,kkVƒIϠiw>.x9J z{a3}5/࣬eH\H](nu 8Lr ?YRyy{F]򡾆nF1hjuCD-){;A5SSG^= Yl.T:" &B\ixSR\%*dr=m&o~F^MWCykbo $ / p #/%QJg CSg,,}/}dyy'ƒf~rut$~V\JяOB2/$qs7mtOp5edFM2LMʐM+Bi-u3- P,9L7Ln UO=qB euԨ:ޣ#<3o2H^&/zLkk<g&}P!gUo5*|~8DFHQe/:_ {КτjIZj]bj] ̬ћuEܸI|IDէtb*̷#Kz\cCM,`A\,msh ܵo%ױ6=>֯El#Q Cd3.xb[E#Λ3mNlJMz25q4Cڤe 7ȉpRHDW+~c)?>'DcWE3<3Oa)A$-)NtߚZܷםm[+$BHb ~ Je&3PIrMU1;3ޜx?O^jC~ͷ.M wPK22)|¢(^n'e' uBDPm zy=h7Π Ju_L6=ElԶ9E 8~]Rt7gV)֡s>u-ɔ{!nv[6}  Б62\Ʀ K`"Mg#]WB)ܔs3kk kh6:00}0)0b+ѧa' EK#q0L؝` SUZ8>e0Z݋>Έ!4 Cu1atT3ΥGx3-E_._O=^}`! xC|C,PEx d~d:xSp&(ORC:R6>5  t\hQ! ăb! 1"_o-PW+Kyԙ(i 'E[,0,iHq!F.1mkMOPW\f܇$vD<_(xk'6 p])Cu7|*u])s|R]:(Kk:£E@R55|]@+7WVIEBѢ/dԈy&4C%W*YTr+RUy\L,]KPxFs^8TBV0!jɩD[ӿ{n`&oز\c"Ta`eHtm %ɲO1Q=Ɏ@jTDNnb~V:c0[+yJ`Y9O;m'?-@ CBLLw+Mng:v ^rgghTRd֒{ SVy >S!IHڎ`TuOtswG!$f!K,k!ԅ1x3Tȧ'RS@-Cd3qM0Oʶ1zw!H'71&+(M&C1% (*<'Q9ܧcbE>\r^2s QCPNr[N[QŭNJ9L莔T{ 2V\V̚K84t.pʝ$Aї/p%Ϫqs$4=<Y^ א @'XA.’d>RIw/L;/t;l h8Cͨcg#v1o(!H`d'QDآ"l@q]9O%9HSh⵺MtgoP:i]RM ǭSCUK3ʥy :{RlwEp PDB`|IN!)xyVa.|Lӣ Ѿ+c*1;>Y1Eѱ1T^N릙ߴe!/Hu7k6KKeoJq-Qc]JfEEPD3([%I=cҗnlLv( vķzaI~Q(S<+Y„0;3{GaMu:ֲ.B04֢dM(w/V Iv(9g6PM+Ƌ,]R2yNpe5GM \y(Do,r-Q"$yixסzn} 1/ 牑Wf6 bK€~W.4kWS77 0}iϻQM8p9Ǖ4\/)[O%Nή\-`|w=q_bI`}*jc@%},E?iRNTgg%'&i0iUSm:4VzR~Do85x-|CA C?h_C_hl2vfKkF7DK?Mmb!zt*2CmUȴՈsTiʏRp9un|'t>g<`^;˶/9H4(L"=8]ArI3*pdGtdM8dFEr,}dxb|&"2!9 ̶Z=t+MZ@a)uj:9rTAQBRVaIM 3KJ%Gm+2?΄ >v94E[C=} [Sx79ë#.ԺE)z麽1!(ǿ<>1UTvU:98$k`*KLQ%;I{%=~i[#m_/xjd6vݳZ *Ǹ:6?YTkӄR_ j}{MnN_\s0D3YӳRB켜Yኟ7 NdSPMP]oVoA<\H'gGaipY=~'Ѹ]ػ0`OMf;l2z7[wA*~`t(w{&]E}aՏ/)=۲'XB00qejTp,Hjj4UnBJdYN7 󯇓==68X6h~G“}황 []D`cL(]Oez\(f)`3uυ*u+Ӷq!בҨWn\ČW`Α8'cOusݓMPeo%="V#TO*uI ,"ؒ%ocQK))WLY*ݶ֓ޕL<=tX4D\5_DoA3Ր[Xx[8J(K%TW%"aqUX8e~ƶS1YuI<#=ڒb}ϴE|އڏpK<|0N*٪]r$W[EA*TY92#]i[EN ->cԍ\--:v>u~fԥݥ>aD "l#_Hfs[~E7wk)Is4QAA #r6XcH\҃yLBITYxX_Z1,:~+BOj85lI2 ϻԥX96(xjXiasy̟- ӏn^"w˶c,HD/"L„5!ׄ% 9&?|MdbD.%`amm}HF4GmFyZ$hT_әv7Id2j/βioE}MP8!_e]fE>k',$v{WiR lt0A8N1P?o}^lnCOG(P駵vh2{hKjɟn!4=jx1[z u tU=.$oa /Y7~YO_EwY_c_j*y:c̉DzHv#ԈҰZذ}SCo4nA:$δ5c<`hŞX^487yum6yEr&%_~_F\rK>ɦu.t'Z}VV$,D.>5h%mǎ=l]!N|r߯ +x3z:@W:s9}'q)''aGD#kvk^kIhiyCPϮӖ6۹¥}3 ;Lb]NoM~`}| 'v8:^QO =h|x<: 02WA?,Ƒt*%T$ 5]𓊛TzhݎsOzO#%7vmq$ǗY_YK,YE4PI!M@GԠ7=> EmvmA.isISW9 Fވ5SB2f?E̻M[Z$QϡUl\)XNݪ:\ٌ̆Wow;_{1mˎX;gR|p¸C,`+O2_ERz͓fɸi1qlF"F ~2E @\%eC%7]>д=};Iu8[=D:Y\^ P?Jkl+DRKt?.+j Cpq>;|CEk.^-i >#5l` ױ{N=Nb,Ds[?Ӽm HPFUA{j ]H7;yS7p@ lԐIq(0ʢ*+WU + u؄yDDbQ(|L-%`st*NRlxֱVrqm=y.75HccQn/rE+mEƳrԂ(Pe2+l\^>1P:OlbJ'MMeZ*6pO"ՙޱH_J@`fH|7"bOݏ.]ѹc!Is݊ 9 客1@NS953*vY: RF:9bEk˱1"I|v70jϺ~A۠{-N;-(I`K8dDAhi7j{ p4FK(.Z=bgti wGomdIJ\U5#xփ: c+nD߀9hɋ5ғjQ_o׋-I5Hˉȉ1UiHmǩ!ǐlv^KV$p|cWfknST22\iA,*f# [)) UHfw 4yTl26dC<|26a#7Ο{Y[VjL;]T lCX#0'Ul >t*Io {Y&6OIP0 d%A:蘗kB"t #24]oRgIPQMlye]nѭJ<;ˍՂKTcnPC!rYʹTWvKCg)~-$mj<ֈOc2m+b4דDUo S }ۻ qZ;+Z+MmhĶ4(s4T2U}ڭ~C4OwcgMȤjd\Q*΃"QthJQVCӽ?|ahԠ^\a?wg p[m y܊ǍEjTP KQUW_3J[˷ %|ҩ=a8$O ǰP;YѸڞތ-wxl͹z? N\DhvܦPwTKѾ# F@7K$"J4s#$ᑦ=%'wh-d<):-bgwJ}/O,ۧu7Zږ 6!3pA[=^VK-8sQ(Dn]珛W&YTnQzZUBvASm^R_i3_<KQ 707 SH+ET'iG`^JxR`fp^Shq֋ܧ;tBk?"sTJsLxypE%[Rզ6zvKBs=Lt}u 980FeLڋJW;[4[x`!v0:[/;gƾ ~򆑡?pOQ;|?@Ŀsyߡ'&"o&u<>?3dQX=(8 PSU/(#kk?sFw\07U4Qsدk*=dkUX:Ŵb^]2.3r~X:;Ob׿1I)3~kN}BX qNR__2dVaВQa(\u .}X| vEZz ć"\(rZ.U紲x^gk= O,xiw$z[Ӑ&.;l4iPIG`@=4)3ll4{YA.Cלx OZ^CoN\I -ɜ^U+7IA_.*m-ys ^:4k,n H )̟uƇphWes\RT\K/Dqج~~^ NKRmCKWv?Ta[WN?T*՝[Vz V-TKq 6ܩN lǁxyEee7r54 $RR8Q>h49L?e2CC\=OQU I N[&E|}pΡP0z-73hFw2$8E ~_ ̸~ $M%v?o;,calsk/qCam&M_'7-=ƹ1)Rt0cݳB ;# ض2f#fAfHQCE Tdjl0lLX@Y5xFrJH֏;ԩ=J+RneBh.4K|$\d+92KKNxKZ`'H{57UN/| 55\=ιV4-[8Jz~ ^A#@J~,c齕{|~v&[3GS1H^ҕ-dq irN+v: –?1~Rx Cchѽw$RX[ym.O!yME`KqM|lnS S9>u u`{J6 `\(}AC ~Ea!9Az1,k_̟xdC_=q?0ꍤ5~H i6{-?:)2]GxutӮҪ!@>dhރK0a+K  sWʊGedbYeqCAؙ6@&Vs6{!J~Dִj}͑^ `.BrF!$2>o} &{ٰeIn> ]qBt GKboxr/`G!he#9-:G:fp0|X H݆'㒩K+ c*k~ )݇Qܒꭱic=|*Ykm^[SXJmi;2wluuݹ'F} zwB+ºe234cpݚsr@QQ:UePZ]O9AŖ✖s1[L\cс ȁuodx?딣' pft朄MFs&cDŽ0SfhQٙ#_wdhW<XD=6OW2,Rc(2חZmu7u/ ]+nƷܸ[f25*u=3МohmC'pZx(_TgmsXi`uP q;K:gA<A/.1*xcr)+R;8a:|tF8pZ3DdBx80~ڝ' '[Fx,0*%g^.60`P_"T[S h7ZMC`0Ɨz˽-PF(v/maŬ@zǡs~b.̊I#U-B~3^v>ޛu$4jY]<{@}RRF܊OhqEPby3a7\2uÓtB`*"DFWV?D85k+/cPTӥfՕ/,z8v^Pid 8tz0sdB䧱1 tl"xo;Al EpSo#5bXaߗ]+Պ'nC xuA®H:)J^% ݘ-OY^ ~(@L*Te2gƨɌf+l1|[bb+Ef=p۰SҖ:k `$z(85#`Ѣ+_aGQ>g7>L:c:*f ۊH.lrhf[ȋGo& z^67PŲFTy GV Ϊ 8BڸIܿĒdWAe_S듟x〛{ XyXl1: `[XsM[YiE ,t.܏KV0ap@W|E;odS$[%J-x&&do['+z!W54]Bk;,σ=1s9J|=-ɬr8(C}ktQɘpUeX`Uv޷dkij Q{yy' ѹў^.HB}/~? <PS Zls{5^՜\C3#W{Ou+DE&4Bv`EUa7/erg ,ʗcѧ&uCWzDWvG;R%N!Zt~N + R6&wpZZ7R >iK/JQ5);0w6._m")x}=OSST%yy\uuye.P-zqbON!ݛ3kxpvĄx6%%4plxG%SwjnBq T涭 /[wH S?*ʊ,ωOX(i?Zȼ䕋sBX|{SC3$wݣAO~^HypFbU~4v~C! EH5'{eUA-6 e9WcУ%*`%e4މf!iHlK5kR*ۏOd1Blo9L ?aLz+ Dֈ-m01rlLEpUbP yԸ[ C<ͽRQí88*n53 jݲM\ȥx`V)ౣΜ|A" 0HQ;Y%$@G^[`Z9Y?z@s6Wg;]a>\= 'BV(b6)C{6"T!pB@N\"gCp>荓u}0 lq+nT$k)5 Y>Kd\9un;f;ELme[MmIKa9偭cZ=0O2à@T,cZ8x Y:^]!J:#!5ǧ :_۶q͒h_xt1^m} ;$7d2G,Bled6tGWL3♶Aa*W(܏"tg*G^UD!&djntV+aPA2oz2{ $;dy❳7Z>^~xfpuh۝0ͺD\?f]W T47."Ę62#& 8@C&QBsƏׁ擾h{T*FXaޛlQUy'8df ◃8&;lQo.IXDohfDqKCrѴγnۋa4{CcI4N .boD >&[ w'y71H1sc"@Ƈqd|,\龷{FƁ-e\M*D;0hc?GS,8'0a-KKGFhsSȤ31k\Ƹ(߿]hE Hs'(oyځ:;qkHuh]˿ڨ9XLjmכtf%#PHM-7>5~dAFӢ b4lȾzljr"x$u@VF(Yzy5+A˕){U_4UE $l>8~9!V YF!U/}Jooh &~X1gkABB!t%xVΗ_=7OG\1v ;r"(|с;1^Hd r(!7X9 Qc]ˌn> dss_H7 zoyгXG6MRR?ӕ @ѐ멭p tvNz}gendR`q*`&:Yzqus}7)qt[њƸ؋{3:Pl9Qf+ǔ\ɫzLf؀ntubA5-Ђ B_";[ z(ТsN"z%|5Aj e/~'7'L7L~Ike}xًv 5"0@Շ$8%5NMNE#q3\_0<%l 1va)(ؒʣH$n. e+颱%< Xhf_b)2똖YNh,h{Z__H&Z~Έޠ8z!S;i7<`%*2nmK0 F㭁|qY4RCP0)73Ø|@6!(|%ٗ-O7QPZb9/9ҷi q< KҬ{չi>ӼWt<[(Ztw` '#3!Pl#kB -$v6xK 1[Je\N(d03kbH8qkIZΫƊ+;^޽ԣ6=4A^h%sMEy ̒*Uٙ"$2ł+o@kmWCgXMV@TY# Z3'MpDix;`RFBŰts(0,W臑 ƭ=֎)k,yƬ];S`>"=n#@CɬNjKI?2υ'9G;8Ycc:vHDh obvijipn OCVo,ĪjhP{Σn8yزZH9f-I3YH [a 3y )R_ 1x G}9;:YL  #Ngg5}o?"KfR-;WqTB/$09mwכ] k\ȖU L5.eyi>"AĬ.+Hp nkH>;][_' ξt8>΀oZ(,G]XW$ F g!rs[ˋ-![Xiћ~F.89s6J#(Z1[04gNTЂ`5_b . erg%J2l$Es sVAHGs897`2ø68]bCKm{+='ɬg_ xw;7J|t=t |\໶C/ ?h}`W62 ⥍iU( ܝ6B.BGoѱ8.l>w?+\S&Ǭ\[N~{frɴ'Q9tQUmnJZ>xK/|[2(zႽHTCnq<fJ}gzEt4Lp F55@}2TQ Gq=ϟU+ɀ Yivۊҿ)d=JXW({d8}v%qZ7exKP_$bĜx#d0d\/pi@U[Vp)}ѡiKrh" YRuͦ2B湪"'IC'Ǜ=J}AI?*_%)ɉfJ.'9$$?ͼBDg7j (i/03:2l|RKxA9I@gaicj~忌/]^ߦHvrc]'jzS99 ( p!'C9eF1mM0 x9M(XK>g;f it@Lzk7+&gf{ƦOa jB\}@6)<҄-!IxFV^ GǦ|j q9=q޹y֚4anJ%Ҍ'6?k뱹 yaYow!'vx*sgQ/c᳟f#2j̒Q-v> l+0uOlUme7G;o0q1 bt+^qJ{|v~9>x2L84ɦa86ZIet X s՝/t&uMlSTjSu0\AmʺRٚ'.dMj*,Z41$ٗ!2OߴcJZ}`+@gat8vtzfPt N:|w .CX"~b@_ 2 Ϩ)n>FNJn~ӿY.o Z;m7G=yɘJhO@3sQwݪ G $[t\;W9P*umZ>3y㥘pϑ]oZ4`=lW&*uĸl|{2-_Yb9LSr";1E,׀e3^;Dn-ζˁfnqBZWIW,:PZ;0*O/?LYgd`( EXU&60 x8{rE}{&aRtCBR ,KI+Pf5?l˰ aGݠJn$\ ׈\@!kً<~YN,HlǷ j.uUڋ&wq6K_ȳX/BxTm:z/~F/:IK};} r8hc/绳*_94q(6O6x3N A:m7mU*K|=eJl$ek5os(*웂5drm.k\=pq-R_EvDcopظ~$CpVnxjx~k.倉܃(K\J#sM  [g[</pY+ţ( {LY 7[7?3ݤz(S?,SW$lyBwDJ^4Ud&b̏ʹ}hcUL;QR cPuim^ύ᫻ojm0U=PfAG*lY(珌i\w,&w!7D??ڇ]_˚{?n>D:Bꎄ=Wi(K"F^}P:ْT&xSx!$m!zcPseO 4řaS&/9S>dq]"|vW]iʲ}l'f PUBxb -K5ԢW7z B Y(s\u@J1 ~H7U|I/? aOݛb_oɛ 73%w$Mg(K#nCzЌ+ǒ~ J˥LQt@}oPtYz)"bQ$D?\ K|>7a-D:Ͼs=.-qh +34Ɔ?2x8:*I1H'"S0PJk?ޟB:8pj){Ŭ8vQg(fBHK6';}~#s@y}PX%i,;epП'Z\q׏)"A.q,8nk/wձT1y#P]`Ǽ@3giH}GuE#a&!R)6#$DU?o{j \iC1s{dh%:X p"AHwL0!۪\$/3~B-rMV،aS"Ce׳p Ls!g3R ͈7X7T m륨-a%:nJqKH⹵rD aT^T"|]sjR ,ܝxܮJJ{!G=(3-8AD(h4lB"hBR \]w4K^esk5)u(I6Ǿ@(DWKoPٽGWF鋼05*3yiHΎra =O}s= ls9yi% ]"{+$ 49Z78}T@+ĭH8?X ⇠x6^` фA&kb݃"% Ydy{K(n{>O  iЪ7܅'زyq>S7|"m`UhGOt@3lړwsZ? _D]ZҽpN-Vݸw+12LxƋE\!ׅ3~pL,'Vxte)9ҍvr Zo r\L\4ɬ#Syl۞IN.?X++t%fq6 #$HрM_[U =IoWO1'Z`<@M ey(=- S;DAz<ʂ?{)<ԂpLK=lF3#Ju%oU7Ap aw$W6ay\Mm]yLM|t1}#Nrݦm蒈ʇ0AKm+Wk0] NO.?ZNDk=}pQC7O w1+b(!WKwn~%hK\2VdxU${Gc}zY϶# uյx,}oߺ4V*UDH)Z=g^g$%< T r7;KF,uav3wzo:=@2foնxNнJx&gu!5C;_;PݺO 3E ?:݆`&G\YIUX;KBSҀ@w~mJ;mm"t!Npjsi!bl6jcz+&ʢi?7MV7Lw(r~'i~5tG9boC(׭~[!;X2R7#_h GM8V㫇5%_2l?ch[+{4^~ vbS܉Vq?= _WC& Bw2nӺƍkⳬs*ەj7jh8p(ۥ6GUx'ZCk8K3%1|q?u}M=C̟_0)NT]+ohն8= -I3T\IbՕ$磝 3HpvE/=Pe ɦ/^tB0>EY2$fSkz~"+Yi4w}xY2wC.2"J%1T():hª4wH}.=+/MؔG4~0' o(]ٝph4lz,AgJ3sxqA'Ḳ:C?lGGAܑa` v|Whgcd~1wAWЗ'rnуHlrj4"JYO1;7Ȥϳ]XRJDxuλP$f;‘\q`Q%pOk)yT򒂌u35I]A^ߔ|n)3ɳgYZ7zXZִF! ]ŗXiɟi%3( d+%jh r1 ymLG"M$!?$S욇ța#MkU/ Ra@5lV3uKm.BȖY'TZW(˾)T{^⣊4Y&umD6KG;P =`K~VV(r|,X +}m>4S rgH b]@]%~lފ_x-d0I,>` 7Rrd!,Mu5%,yzҮr Y\`TU(<}05.Q4idt,w7$3OHb*Bf’Đ 9\󍘚iDc XnS/?bj;4k2~GQlzt+l|g]mZ1DgYZ7zXZִF! ]]ŗXi%L >%R1йXġVJF<%%i̐ %jU]Te<Ƙ^K23KH!ūOkV ZQ;^P#Xe' tI[0fyĚ:F9>󦩦ʨVLW,'b<3+^vmV/x\ n:1y'*ꌘ yw_' I@8!C:mwݘvnUM`^  -j`e8_cB pp5q8ںeLt?.#Qq3vp5DJf4/Biyiטk"bv_@+ycaA'_CUu&s..uz9vHJ{Y *lp]B%{2> 7㕍+q3|i!)y1C\(3'}MseN}oJ!]c|e(,,J7KU X02&-9z8#66atb\ aWkTFquawl1q-D\ڞ̊h?TBРnC_5¢etRe3\ A3~Y aV1WkGDEG/ֹ@0͆SVQY' F.Gŀ-җ;m. ?w/ʖk~L0VWO r}&ճ{_}(Y'Tld3/;Q̃ՠ2'rMYC讞}i~s9OX.H$S=!q(eOWSϢ,dĢjܥ# gY]+_OY3ɋFE}Um.3 @1G<~'78Pټ Yr`Ah2+8Y1' 0‰SB2 1A1kj`;$,=Wa!k 6iG+,'!&>C(FU2bvҮ@D:m:9S Zhϡ2u_\2>'c@P+pvɃn eM1jE_.@(d:ϣaZG{kԑjkQ$>4׷dn!hEudgg.{Y=uzC]ydR>˯Ghly}o u֍w~Yd[(paX/hd$%*X9 S Zpc047= /6.gf}5a/(YT? 25nyEE>z6&~ʹ?ck)|EA&o#lzs HRTv2 < ʂp<5K=Xօ|3`˜]F$%Nr)~vsNȁBlyTq&cƒzjvMKY٤MuZs#^Hrntu޳\qY@^ FsmJuCrfjʹě4ș'ѐ- 5ZP-dLd Ho~b5D)/C<,?飻ecCyF3>$1{Q4"3ϔLFǓ߾%uc93Qub|Ñ¢ns:{zR.wg@N4 1S^Kj@C}Pj+klo݉ $͌0ttqV[)FǨ 'W)`Bp"<"}"^&%a(-Yi)j`Uޯ.Cfb=< y`wZ҃_u_̗/\nTW"!v44FQbٞ^>2;g5 ߨar.5D-?7 Mݷtlͣ|"o5hQ\heoEj@[`ͫLj')y^@Oq-A6LL.,ʃɷ`I/o?ApZ_^4l,zef<%5 t 2>8mT3xɱMyCj1!Ff[Aͅ0ƲEKdB?bTynsOB,_aFl!`\D:e6q?lQ^A>nw[vZEm ,칐Keڪp8,1fjCҦQ˴b?H#_C[={/@g&p| k'j@uۆ6L#*x 9k"RZkq]N=RǪf]Mќ*"|JJniA}~@fW>3:/a}V|\٤>La-wlH;J9 Y*[`Glx(-\|{IT)"aM=eSU['-dvBmnnI=N !^sV,&ZD#)dLCͷ Ԝ P{D&mDGRPi2QwK^I31*Z%[e]t9#[eW4XԈ 5׬jD:  LźVu@WY @]m%lܱgYZdf6a4834064490f5beb2a6e71508afce5d2b0a04d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 fb4c1b74dc44b9e4d916ace39fecdb0c2c700d86 a171866b33c87f94f7491799b6c4202df0eace96 e6e6935a3ccbe690696c707ded9891e094917f7d 3cc77935ad2a92c3cae3cccbd1fabb0f84bbdd1b a2b140f8cede50dc90864e169fb8998d5b8fc89b5f84be8184a0db34da128fcc5cc21321c3cb1e2d