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 %t 4< ]w]Sepref_Basic:threads=4elapsed=24.669cpu=54.968gc=2.0767zXZִF! }]ŗXiɟH)0%oo\*mH thji+bӃzfVlUK;1'g[>=ːϿs erp"|ETce} l6t-[0xb>- % Sepref_Basic  Lw߿Ux\'n\yZX !{GY"k -~<D}1k_`\ЫSp#6 _)|̞YdqDUEh%>'$ D@  |ByBJ ީ**|d]5hnYR{=*?.(FP`V%2 paw@L+5> "f:q6dKbe{RTPJ%UKf,,^/0of/# r>W V#'(1)yV.0C-TPaj-~%;@#(Y6M{j9f {S[!&Rn@+Y5yM)lR>[Jt,ԙpV:/ʞ\֊B֊ C-cl@a AGpi\-}[S:/ylLZo)b)+/'uK!G4 ޡ#>`OTFM3okk)M 2FdPüx?lt(78%wNQ$ū`ɨ0FsLFD%*i7 >tP)u.V'2`.򿹆_2 Q4p ^˺* M|L=A*}GtuhJ_v0CLn+Y2V8Pk3> V䓍yvsO5q1+ƥ;r@SKT%N r)"[[tafwPȧZALۥp^U[7Bx/%M<ʘ1`IK JhǬ`rn8O.R S,-q0u1u.{^Re6Xq}z1ewH] G?*JTeB' \D`li7kXUf%BQa†gSv|a2ŷ* ,2UmO^I2xء3j9ŋ$\8LPBz52?kZDD Xzo- wM;=Q3Ix-ov = 'm^Ÿtf>0+5bZG'Ceԡ)ݫsWmE(ɗƝg~YѩP qnejoy|>P%d!;`6BgO=܈q]apxvdEk:[ 6;RJ8v:I -H?G(U+^8*F1vG]" 3гgdS뻽z7ƾǏܷWVgEB%GGl.h*N{v OÛ0JhÒ#bk} GYf"'L4Ej+,7]G`wzx#KHOߊKMWV4"dd&f Mx hҡd0=ԛ7ЎR+% W.b>!YaO-&/AvߤҕЊd]Eɴ bBƸ##鿯TR΋Ԣ⿥6Fq"t#;R/'/I)U).~VDm&we`ܓw8PyD v*(3 I:hax ++@Q+m$M\9mh71^};TxZQbqo]BqKfDcf!2y8W_ )΋)p62ǹ՝Cv4z~>ޙ,Eghb4T۱] h]r;GLIqƏ Te Rl9%Xq8i/6kBZdL1N&.cV X^W<0RLYB"l[YMR'0{ k{Zl R4Tbf>b2 :w8ql[Ӝ1yT!@KZpD9-jpbvwੌ^ADžCf1`Xr̫(hWaœfvZ>XHi!kuye-6[Cmdh}GX< S*]j½^<, d3.LSO>a$lul.v[]z)>@ OdV["FSFqف*CL-?}"ZJ\!LےIa׾봓2lHW Pe4 <8LإV\!t[ *%ss} *~+%Ww6]?y3ICrJhrI}!"&'bz 8enϴӗp'$7R6uDJb.H&A;'ev#b4:,Go"ęcJ@ƷEz!9! 8&:Cڪp{h0lYӁUP;ty.x`R2NFg< nՕ|%YeM|k>;L芡y|4W.b⣆`П8|4h4^ᤗ^=kwD6FDe G~ WgY[,, Hݪr!(%bv S\hWkx7T"^/˞Ycvsۨ@ ch|]K <'U =rF ZI3ɬ(ݿ4I.&Ee} !d;5Ļ%ޢƢVt8`GM?j k0ȳx57+?1M*g"͌7~t[%jZ/;: Ι1xpk2%OZYX%:U+a|HMvdYfg/ Kx*ls=.w)<#n9]%mpiX:`*wgo|w6z%0O rOBCP[nS xQW3O+&ĵK@2H)Wi78?XØzmeñ VA1ERB!{ y,m%amd>I 5~CڰcxazJDRPX3"6lo.>ML(~#ɷh`8 ML]jpF?=XjZZ!r&u󌏫ոlƂhQy(OihGaثY?uAk4F|}0X^:YB^buOq2Eȁu4B|xM1$ai2oV< 3IÔa^q͛6K6h;+f#b|pQ۟8lBH./(@I0拆F h#a7@vKuTbe|ʼR»vɣ,EG4ڶ IKU=/ii4y6mvS,c ݗ8 "@߿8^K#uq OE#sgEu]t;]0Hy@E,o!XkN(_`PWf}'Q.}72_JtrD6ӟK{m= na4kE? S0ןd;[T.tʾ 2L[Π9ڏ L\^T=O{,-SKJy|20"zjpa-{/'6-'A`3u3|'I4EwFЇi[SMhb m?S9@$:22BpܜVq$pM<5(-.KhWNm?D\uM ̾8+S/,y+}W.wjqՏ$uL cb dq$7vD}Gؚ؀1zne"lz]`R/0ΒNm:_<#jwz9l(.+svK9?^\bƔYl \"u  5sЀ_3 _S=K1ZHHH,CP] 5ɓV&d zL]&iʃxqHـ06GK,NJ(S1h7Nhc% o_l9<Y Lm/Ғ =.D[k@6K |R%!k 8B-W{Y-.F)HhGTFp{_{/.RR|8{j\ PXԴR}O-r=2(l]=4.n\NFQoe%McG;Cu@1q'lP"Ppk(/ZjBL-b^*0FXp[='[[s7:'?SuK4+hdq?& ωS͜p3]{\~sp.k8ԲR{Z[f _|ϝ._ࣗ(DOӥ9~_>ZHH)[O)HFpw*ӏm2E6 ܋OP#dY7@]X͜ʯiTZk~gdyȬۨ^,uXBK[ ][N4,3.jX8cNpӏÔ7v1 ТcßR;d4C/GxemP (>"qD7 ([-M3C FR&.RSzM|Iy:uLxGcWk6MF ~2Ou~<8]_@|J.fOSI #ճ*#φamqmD*('D Rt[%4d!$Q \M蚤Q$#Ux%OCereS/j&a+cI1dAIp&85箟@T-&]Gkft“Sw4 c׾x'8};' %g;5t<}n體ҠwDd.Mmq% -ڪY ˙1os[W dh4T8wmRm c2$b}iX5 !$zDͅ$4ʙ)$! 71vLDznɏlX 1?wym̠g< کЪ͎6= 0컅 +Ե#yl<K uI]։& ~K nꩿ^xRrPn{'õ%r |.*J`2vƎYϠ>(=ZwgK{VzI?[КJc%=YsLe`I`H9,9_֩f+{ 0 -PKohh5ߤ׼Dvд!ëmpKA<71T{JB.z{)b6d1 )f 6"K/pʭGأʢO $9Mw{i6zz Jm:ARw<PbAl5̋V5R"RJݎ8yjل F, p7 v1e+zAJNW^7\21c\_]+CE5lMGwQE ϚCuE:#gJm =_Mcs6R|흚Tؠp=J nDd)-T^cilx)"2 ${=p6ITuvYhMQh"O3>P. υCǕ C O7/ q#6lEf޳j%Vb j`'t51ڧȏr^0vO''|8 L?Jv;?r$&7{y@m`tRYF4rT[ZJH}z98yl+kiW6ʯm+$Կ(Ieryp,L 9* =O;xO( i,) MIH3VV;"FmcoXX.=L']^C/=YUn.BŬ <@_Cm碌*T9*Dട6&6C7Y?)Z{Xv#Gʚ˟zjqzkBEJjVڑa9{mv?ę?櫱x#Ypzۑ^˶z%B]tRkz^(EX-@B캻RIr !۹\W%{m# m@RILxT_kyf5>E㯥KMO]@QH̰drƘ]r^ðab&dT#J}nBL~ G\Ҕ야 G<>9K ;<9 =*_'%|,U>Ȱ۞*ӥxtq `0ttʍNڶ1`ʔ-RzrM;䡎z7{? %?Eѓ^M2no%7Z\6.z L宯IT^N<$zO =D94ӛ%ʵ{fakZ7z^9r¿W 筞GlbϨgs5\ +&<8z$WãsYk$2oZrGJm6Y@=7d֘3ǖyH[K/IB[4 (.ŰU,3ɑB+7Ki]>r:D@"-L-@{jz~PוD&,G & z2D& WH[F! Oq B Jf-'VM;LZ 8ɠcrm/pgYٙ&zA2KtzG8\;*ބ?iM N9}򑒐- &f'd3F "n7>v4-PD7$UqHYn_̑yEb5YO cl iMiB? {2L}:fޔfBSB M˳EU:ϐ|EŪVfq,~omZh'.C]ż.B(&0/?baV89"Iظ ˆ`4`# >ڳ/&ʉaWhӧ䉘OdӴ3]o <[f\Ρpp~[?UT/mI|wyɲZ)5`(x%z#iX8杻98Jzo&Pi ;Ln3̡4j4j;#Z=@9i?/Q*+f'&^NݞA$?eI²o!~K%:j# T"gzFނs֬ KNX\)TDBsoFUyDp_CbPjQR$}2s94Eb dB+)I7l (C&Ryar)$VňlObq帖PD;0x H>\L /h02┮B:CJp9*0"ܡ;u XŇW*t@5)FջlݨsR=#lr|H߂Q gP# JOy8d5YHj1EgkC7ʓپ GYFR׫!P‹m[@dq]z WSs;]n֥exE`6|0_ t(2rFI6ӦX\ֻdfͬ{͓Ke瞩}FEG+  `Z){$#,I/Σpq F1Yhy8ʙ0Ag1ZhDNl1l\<5[=sixL vc^G@G?xtG?qZ ^X{b< |_9)MhB.bEn=oE\\*kkU0U=:AҝY8ku![[107V8 {u_mY'Nsi:$ФxV(͛"M+!N8 P]ٶi%6Z}7~Y !uS`$ {#mG"ljnʦԳ:HPYKȮu4%& 0huy9Gq73378-3o` ̓+4;6qCwuQ.rYlPhTl~􂄾I@fm̌x/?hDXnnD;q\%¦'r] ks2mv?#OYuY7Eͽ1RQkAfA?TYi7]o@hB_Lۇ3 #.430^z>ha3Ck kE+E4cSIb$E)Ldmoͤ(ic0(gz7ۧoqƅ=KLI5"n`b`,i[Y'*E㇖G]127O]6PMB%o3Z nߠkk/\ryk#cҶv`V%K8~ Q)C8Q}j*\8y a\d""+;U~u^JDU' du*Р5>!)zV+4;V6k_޿3 ⿧ϐ3TJ8]Lc8YKS8%=kq{9U+'Nw[q#$[y]ӵ\ݳH&%_((y~[ <毇pb ~QuK[w.cZ@Dqj2:1cL+ȏfO4JH)3@n Ffqg! ;:fTtNc@ʬ&<L+:>.bôx~Kt x>ېIa*\, &ˆ[ZNryI^M~3wCnF8Ώu}@ڢ^)DFnj[lr@@7կ=rG'(V@ =@ wZw;'QtM-Y T$$?ᧉ>t+N,Է{ YH>( sp~s >)@`ͤnh<\ůWfY3ۓNc,f)`'5X0f{DO۸GOxMC~=zp R6>|[-R|q͍Zo]9} 9)*n=tb!,HUӧVE" mi1 t?uZA7bA4|r*n|xmqHg)$7T0Ib,r61 pw삻YYVr]PQ%D&uC:3? שXfLѡ孧10W=|RMz]w5qM9A3 Ƌ)G{FF}dӋ_S#_5(хmU"#}>WϞ#'l~bWzDŽ3~wa*QH2ǯycmk19ijl?܆ok'e7x=шYNqv8h.yv8ڛ`%!k! z;"Bq>=wv^"0|(3)͕~[U x-7Pz*ymCLiV˻*{'^>a|(jG b8Ec2}d꩔9 2ЃƷ,VHd ph):,M_RlKd2,;ER-Qo`=UAUXfkGp"# ܫT_hMs X4M*~²z/%CkBY[^XB4!xmژsy{d.p=|6 2Q몠|3CQiq7dq AHNLr_d{(d)eakRqXc̙tu:*luHX7߫`uf w ZҨ=<'j̗SZfA?5#*"+fNN ꤡu@yգD.dLYOx1V=)MG-[NzACþ|F7X|NhEl2V3'G;i!/^X'qi3u:ŠC+>#l@'vF ̠!;s-ZrR Y%vIJ+Lm)A0!/I aϔbVX9躷l 9wVGTզDhnOfc7+۩þ|4&4꽋x/Tq l+? I"]]rk=?]9L7q']G^ۢA9.m膀,TQU&O•#"f3HB] bcՐgl zAO3ǃJ7sJUAxS;'C7q wnBq-UeXy}u/M&|OMm:^t~&ѷQ3ƄbUo6 \v$pBbӝDkkRzfhnS0p&BHpx;`3 ;蕽hrqlKnd:։?6cs1X8HBBѐov l aY0@W<pQr!XwV;%_Ȱs'm&IT*>AWt T/0c nނT ƱXӦѧˌM,%Jo.KR/Ж{W0JGicKw|ZdfxS4)&'UL-hE흩ʘp{e ceJڜKp@*~4k y4őJϯ,z\7mU@-`/*V9mÓt*,sjpZf.Ź)Q2KM*<,>B'T5RRcos׿iРi 旼/R0 mx'S[X~fŴS~)_Rf3EZeĢw.y=95Z!M(/yH; ZF1IY׋c nFȪ EZdo+p=X{ݧA], d3 q3"Ijt#ȏ0{(X$@:gA(0{(c]qbI9EVU%wPh:"@/d<#Uǯ;.קx' $Rs1|+rf|'Gɹ5om+>`A֪ Idgꖹ S/IJT]cp)Tdl b9crͦoTU_fR:9$IugeD 5 P`K5qW_[ZrJr4;:noIdzT*oTcTU飲]&1lߜqgT `#zM=+"Wғ6>BV/K /휈i j]ٴ" Z\R]L*+?nc^v$fZmpڥ RY̓O@:w9# 5#kE1{ծ8k:,|D+R>DКav]yV-!9̋ 1t|ËvO(`ˠ<3+ 42ZV΀H" vͶhŴ ;]v[ѮF9N rF]62 q(͔\1 _phpCGds/ ɿ1'c*ND`1=v'W<'QlkpA~ɡ8h'?3Du^c4+s3U_R~Ċ$R)+M]U=^FffѠ_.#9x_l)g9뮄G;ے[;D3i l.-to;HF:_IE`e:ûCɩ™% P$s P+y+T`y Y\ο\*K52N@9{!COfT?nRj-7 _[IK h )c;7jBOjC5WO\AmXF3S,h y&PFds#=-CA= }~S⚨[] ..x@ES~t0oV$a6|bI梠; 5vYMo /K*z~B0tA5/'"gGE}W1- H}E}yHvWgF7^k94Sxw⇩)Q k)O+7VPuoFuփVR8*6/vPSXfдZx}N4`y:wbpnk,v; ^Tpz˿9 Oа}7SruZ}!OYH2 _ԓE5XzBy 5t[j.Pf,ԑM? r j-Zf[%w9}G7<H<[ߟ>]xUu?qD'hBuS6%XZKrݯP -2@= {҇uMs"6DF-m543ɧv]tx%mF,ۿ A&OB Ǿ%}:W^-CnzEJuS`zG~9w: .|F86Gh*`ʹcā޳ּ2[y}s[ho3&m2>PAu0:@qAր?}Kw~f[U1Dw62T=AD3hО{6f(^ˤXیEd0W}YOվťAp=^ʿ-͐@|q{w/pxy=*T, *h/fYdQ[z״O@%K.u*.2y.cpғO VMfe5s9Pz eVJPk>9Q;$ r.hD@E- ;y@u 3jmh*jZSp*;\NpyҊ\LYqOI *!~PG4r[iK8p"aQ \Ysiϲncr;%j&8={ FYdGSZxs8 C$7/MX4s! "ĵȣ$͉ƓO5@ui;u7:~:q} VIn"pBqiI`|]*w(G$w BZT 3NerWVc]y`7|i-K5Cb(ml#3"䡥`&|N:C| ł.2 ^z׍Lje^U㈳0\跦UqckmyCoNt2+' uv7OJ2nZ'!϶t(b+(@;w%cfSX5Vo Jm66ͶMZ_.S~KfJU{B*G(EQ%Q<3BB=zu"(ζg1$..#'qDya2߶a +N1@NLCXC6?p>7,QؾV8N;l<#~˷:Ģ,4-m8t6u[yG!,-ų"NY -64JȘ#GW7[[[8XhJq7.P'%WPŸv UKjI9ȆsXߋs] 8QSبO剈'HWhEBTLMG/Lc-$Jp2ZJQ2NUܯ!vAqʃ'S5od DU1Y\HNtVlGM~p? q.ixWMmlͷ- [{9Ow^:Êb˱+K_K`|{Y_hq}>S6<WST/dfDe-  [)kPo9o*~|7SDo0T_Jۊ IXvMlr 8|4 b;7@21+\ޟJZHj/):yER8bVxJN]VRkU[׬]I b7n3+u n'{#w!gDnkH- h]nRx!gkʑ恹Sӆ]}8,]IGܥ*&LX]r^=?EVL VbRCtX #^6,ߺeXЮJȩq(*J3 bxVs\@2@Y^wbjwl3##](%2(+!e /%o)ii T>smlb=Wl%]r2?XVv}r vPlhI~6a @}FDJ#l '(tp?ic?BM6ϳ>@oQ!Y I)€[Ey6L-3Oah0pq*YXlrH%&Od|a@b X'o"?U>?ŸHFEx4tFv;?EU!n%Ն/::~!pU3 ,?L>PYF=Rc;ecg-2J[d$ )BoQc@ҩW@~ S16-QQCku잻f-\uH. NN{,~(S7R4Px%$dAnU}sd<{96|!-@eg{aj6L.hɜdWB5ŗR vSXW8hD\#Ә9{a߀;x_)Ϥu@m`bd7{%姮ҁԳXFNll&.t$N5U}n;8Vǀsb6HjB=)Hϸ, @n7~N$n4Ruޏ:p{$,m9&rUeAc3#x-ml@ sgmڋe@?ٻfpMynwL4vv357tF#HyimirL2ǀ"-bd.q|F/\z]%ۻ>E f$lꕳw=[q&_Ae@MY\3]~ّ-K,?-Hh- 2cZnq.3_H䓬) Zq<*!0v;7Jı~iatP0IſӸΞ*Qy] +]cI\Al1-qԵP1f F89 \3B(^^cAΖ4tA^fn2nkRVFTmrEѕ,}KH_t8\92wr0 +Kp@WTDͲt)2P˛spRK>')+Z1wtϮ,rwSNGz_Uӏ˾M,,4Wq\\60:A *N{SоN?<)!!n/Nݧ{ 6J5B2/Qy~S:<$&0^u?v?GC { -T?D$Kyp H򓅬& [~䞔L"3 p^uY07‚rJ't@y^WX}Mׁud!I5]MOwbZUrъ1)C Oa7i 5k76@gS9@!V3q>-8xL6{XҨIi'>"]Z%4n_Giw3XT]iAJ_0J;1Zp32l_-}(xb^c20G8~"X!n)7T*0YΙmpX=Ou%97'i:-iY:iȺYcJ0"(,g lm4'RU/io>,.‹yuiT]q}IafA苧A/Y;c] KwB<4U3 *6%UGq/T / y{Q~SꡳX#?,xxK FTK?Qn>B,!_[u\C"iWZHIzH6sx.07hS~{x+wipQn[ј,k[ǭ>J%jP}F}&6yVw_p h<)vm8L]*ԨeT|/e+0NrUKEP,K,Xu>!ta:btjJVEQHɈR-l{m>2sQy²QxM9ɐsoڗd7p4b-$vVOs< sJ &Ke.cZF^$ ?rkLZLsMHqcȶnWh|v s`5Vd# J`㘥'd~`<|A:^P듃RӨlB͛zwxvD`F%$)pFX`e6ƻDHvq-bJɞnc'v,.g&!;V/ >atB!%k}'v⒬.kaG~OVyL;sPJA(n:# ~>*[+usD24X= ]nHjWĝajUѬRԞ^z.d D[Tt/o϶luwؑ=ʣ3KR#?S!s`Rrۗz5 4A o[VȖ[Zzy#elƯ[:_>;aB NBNDW\ UCa=dwcE}1ڻL!VQ2#JQra2(5Rw1Fn͝zs&ՁEC_ r񬈓yT'ݙ*䫮$Ydu۫#1#*qbt˲ٛM-L SFRm"+XӎvlTt!'mѳ |a[$dd-E)()%~@WkG遶#Z ~ĩ.6N,g؛:$_գlO:7%6}Wel'P8{?9ޱ+ún*WшWPcj.{Ŵ?\'p*DŽ“D _7`M/|4hx\/l*rSsOV{mg٤ֹKoR m3BS.h |_b3M W*.ea5ڠE,>)Q@s9&*Թ_0sTN?- GGZ;S)sE"G'3OniЈ5뻧I5%Gp7 P#M"a,%vc) &~t6"VJ36U ծunĮFȕ)4a'P S-HV?%}aY&2Aܕk;`Q54]!jaJUf9s/L8 e-hNh¹0Z|Z3ٺ9fu9X4/W%pc9aUgjZA3u?`s_Qd'xwQLbu0 ;PLrL:7>2D1j{фBgtƣD҄gnljەmkli jv `ē U3#Za2Gΰ {Jn4%4U`M2PD-'dߔ0Ȅ )c+GX!cȅ=twN#¬ݓ zQ~Iv+fe 8K)0!RbKaKvfNeãIULTrwE=_+1/x C2ingBDq6/]rz׼!pPqk s)}(֟Z hV:->Vrl̆溝q f{ $T|QZPllB-`3l[W7O/o8@Q[.hCnDJ.|]>odBYxT>[|"zܛFO".Gǻ*htE!ƯwM70_ f\i^מI̡4ybSk!/UK[q?D+{@]7\2<\jw`%–NVC?nT0]¡= =vđRAԣ#XﭟgM(`mPZi8QxVz%)=$<!&~9wo\js 7iJ"*i8Y7?ev ViG|1aQ.H06qWbLku\5Yq2 5Q/Fl>n2/5ykBR0:Y,yWHoWg:Cӱsɜ@9x蜃QoQ/G"}/r@b@'V]jvUAl' [-b4ϚڑS+b͂}KÕX蟆 Y0~ 8}Iҳ O1m^?at FʲkXLْ{u B9%&r:eдAp&n\A-/؈t=/@;9@h[F 턼3m =JM*BW%n_k pUT-{{ZiǼV+YSifT”aD:EN)HN{Oa!? AF,%|=G3^^ӠƯoY7yQ&b+ZU^֗A05 <{O _Br\S> X#\=kQ$"}AN/e扒kCUT#"u@ָaٺG L .s@+#~/@])0`P# џڅJzm.dn}O ] /;'h"0jƽ]౻İ*/xȜ*q.^Za {HWOϿevD Udt3LzT^"}H{#{n~]˫v&#O6B)[ұ# EyύLjP(JeNJI'ή&`<З;70-FW2,A>tȰ~bL5 OZ Dt8v8D__se+M{ϸT܌m~{Fv?]6~lЙ{R>kmK4J,=&Z,yd+ar4Yn5<~Q8[4v!ZV'[nTG2'_eR_X6%~KEӘˏ7lQ;UgjƖ9wVH{|LV ,e{6* :~\EX(W5΂m'R 4%Gsu mF4蒘"Ϛ<1w[L ےn-ޓEhVv?ֆ>Y1"o2$d('C1}ԉOJ\fMzfcVס[1c&n]W>Bs'VB,@*./5V 1k2CE)K{y2~ݬN|OPz~|+9( #ޣ) b}ז{P*EzTd?,MOGntkWڏl!J+kSYD&nKD݌.#?wgF<:eKr?ïtsJ+?0{M/GЙVۀ9o"1r|Ҋ<͹sN33 ֫5^[U؄u$5LFϮ#gje*/t+'ܧ󴌽'5_`ߒdU8k:[vj Y@[~𝤿cG'!0 \L8˷/}8E"]ia%QX(¿>Pwqͷ#m[" +]B$h`_T[yDMǀ >"Ay N62[r:,4䔈w :šRy2`]!᧓ f5%\ҁiKޞiu֑RZ8:TB^j R6;c@ 7m GJhY;OqSyVmrϽӑ"rnn)49;tUeYo/# Q4VK*koVѸ=JuF2LRվnd>ޑ|dF'L%. !k^]ӑ, ٵt9 Iifx/RvWU'cKCY2gn/jQ%+LF #(Ǵd], -q9cF}|]3b^>v 5 Teۀc1ݒ_9gӄ`1mPwoLw gyu3 A*KLE']c4,T V#W'&<$Y6wwezk?WvES)xai~ͯ։4?]lDx)!?ˎe M*4А8,;U;HV6+l~>m?̠Z9V;P(M˒].7D: ̮xPqdaTu& *yM-˩EH{ݳj+ٸ=HC,~EoBO]{ F S֔cnc|aL課B}k3; B꘤Y#pzH=Kj=;)X);gZΜC bА51h5y6dȘWJ_jL܎-&*ɉng j"w%}%sWg x;Dj , R^L1艉ݜ9] 9h'4/)τf9 //xkԩhBb:֋n'7huhZ&;'k"cDw#_ UCÌ`Qj;QoOJ)f%? P1s\Q·*8C bZW@Zx=)`9)\dy\a5|6C#`KۥMХ2晚?D)m#-yuoG:'e ab]@057i 06cSM\#͔"ᦍVϗd")ڳi2T-߃(Xo{g4 Cig~wz. E6XbncH(}=Og;p8tlH2:gˊ=z # Ff?T~D һ6#{Y_s/+}oa\ 9&mϩ~:NݴϻiDe"Ä(խÔ+w!L3 $Wv6R7sS kSZV{.2`4/ ,YHVUU\&TS, z7f$bFU^N2 XZ4n.hQH]PU)bdlp3Țy4YVN ?ߘ sesf.*.a{=._+O TS:V֖N@}rCjMBRQ_+acɅĺp 8_$QdMZU"pQJ0?b)nBXW 鰃Nym04]0 I[;W6ص㯨y$*P&|`\4 r-@IrQL2mA~ق7A}HÍ;/j$"'r%Mzz@uy8K. ^zZBF@tPq !kCWԡ.yg`$B=~F* nكk}`SЦyIR}♊5_(Qs9GmHf2pT*84^=++]Vy~as#Bl!&)΋}dy?t}b%9B)w]fdRp>SI'?gsc,~w1:fŪLTf3A)ddzU*ͬ^ FD'zQU:8? q`սP",D8XXxv0%K -ueXx[o }Xi4g>7 |=񰟢sۛЇgtvXh$ʢ`$# ]ӕkч2xfbp"B=)^x*v?#cz-󀟟mY[ߍ54RnUcőІrj۠sZ)ErD>ήx?͠ebui)eO{CϬK_a\Abw}J D)Qf&fT7j9<\XK-'!,\EP$#gs+NxoP14KJT>;T[v-v"?{{kR>/^kUr9U&p*ڨN\/Ѥ< l 768HG,AhoeDB?ȇ¯klknZ+JPC7mpFwW MW)SI>쁟 ]MXa5EƖ4 Ay%'xo"@E*׻D2\l!FܺgUs^~Jc3L%@ߪFJk&.*|Dv& ;ò2 DQ](1(d(@+Uh!E,.\mcWggqYrj xhHK$8.JK7Ql+ )0^"3P5\N|@F:GJQ{SM+ *~M'tQz~K0uQs1NV5D6(DEe+ G@QeW[{+gut6N &2 g֣SPj`Q}grŠ*ע 31M,U Íw[ H񄐷m)F}kb s/>owd|VZ`YeJJeBpl=c{sK`"*^3}b(NdwЊ =ܙofЈBXd&rFQIre]h }Sl6>ؙ~ll${No|{u"P;#&Ob0UXLzWҫo~(|6ɵiO =*CTAϓ0:.w Af9|:eJnGEM N iyeZwB:'Gn~3-nh+Hr˲\.\^i uģᐁ.Mܙ?S+uy*P!l!*o.A2겫g -"*д~xF ɱE ileo1b=MV0eoc99iP/zM`Grb#4&+bC7IefN^@-%)5Lutm3 |TÉ xÏQh8:jEjYs hjS>6p~63zql*QDф0W@PPYBűNLʷ&9EN,{c,ͳ0]э;fPi8b2nse`qQMe.IwKxyHt7jʕt[ჾ`X|@g^׊a^2ӕgYZ7zXZִF! r]ŗXi%L&!Ij2]`v.+sLD/S>^[ՒY5}xN|A[iz .e\;2o)h$}5g}MB-) YRWuʝ|-–8]ɤEv/E'N&-oTuxfZ| onZ.{w_Hhm9Ƅ|w8چo𤖈 ~$nߚt~Eؐ;iBn{@]4ʳȉ萶$'`aH//u?n$Ǝϭd_ʙD$IxUNw==aB:~BAJ (RfrT\h7V9*{ۓn9!P=YWX+_jc@{JR'k[zH*B3fcyZ|/ ӵ/k+Y-EU+ 9ơv? k:Mb߼tEmiWiUZ GAhn8_=pqٝ fnѐ Z4 (6Dx)-G`Y +P2@<:->""WfA.}JmEŻo+n10 SEGE|SEz 77'57 1źr>36qC{ڎU5;dWaS'%ʼnL= bcEDD~/mgzIEf$Bk ͈Fa^YEabP!\ "YV/u8dHjNO,]}_zmbgشiC)Vaэ$eHET(=J oA1cgYZ30aef8490ce89ce7a0b23cf1f90572782df70a4d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 1461e0be47c4cfcb35fb5733b9584b2691e8a2e5 0255e5ff4a9e715b0a239eb8e2ba5af49f6487c8 c42e5912e54df5f1e3135efad7c196503bbc9800943097a18b468692dbfe271ccd217118d8c54632