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 v'| l ]I]Subresultants:threads=4elapsed=80.550cpu=193.256gc=5.124factor=2.407zXZִF! Px]ŗXiɟDYK<; FcFE%ߐgRơ!Ag[pT!?+X@5PePTEŠJft)G"ԉQkyED ,,d H9;?9$(6%o@.5dm5["kQt(d:%9!@'G%f;*#tbpKW4| S13p!Ɖێр3]t:PQqNU02ъsxVWVak@, tϿLGR͟wvp!o\K  ' Subresultants   PСZ8Lk?҂Exc񒻙 \:1X`.Jj(.]zxW^AEJÙiz*\7ONnPb^B3KIgPp=dHuEer]Xp|Oј_jfUZ*e8>߈ljpק[~ +vД%f8~D0HvIԭ֣`QTS6x&<1kia&CKX&9E@><ݠmo0ZȠG:S29g]BF,UZ{]gn %ISq5)& 5Gugu#\?[φ5 \g\qch;KD)$B_KzIr,4۰dk9j]#\.,|S^;9Sց5oфs\e0disQ4I 7DQzj6E\G%BE1¹<{)Q_O KN6^G>$rLh~B@Y$Gvښ˸X\ fA][xF|Ge޻y emGʾʥ?>Y 󝧾aMN`ڝ+ߍ3'c#@ͧ̑a׷@Z?x\",5ݥP~\cJ^diٰTZjRԅ^Ltyr '*yPFK4R0䣋 >y(Ehؑw$tz9qv4gX2*+3w W Bxk |.U:-D;Gw)k~ Q uġ2f,q>YEwשK2oXa@YFR#B"6W,Ȕ=ikHNXE ZWgeL9S=~"ox/nT[IQv'V{M}^s|fä҆ ePFl~k/3! ZZ4^Y(S½mUz!wqn=ݤ֒ fMqvK-b?1=`Q` 3.⥗)L+OoJv!̷QW`F+tGz%C檁tFyy ?56u'=#ek V p[v $TAUT1/#ƒU*v6ʷ0FFOwΟ4BR:Cwt`KZ;H9i9>U~ +C~Ng T I/H)v`"3^>ep LU,!iސ\%7$U646I}=EQBv䡞WV$6JJQiܶZ6{[n3qC,#GKX"ߡ=?qd:3l3W/:djt z;%|?/"euJmǰW^zԅ"_٧lAy&USygԤFS7CdPJ%.inF8`f\`LE~v u+P{ %Yh{DwSPԘ5"w@hM+;q8ʹ^Ie~hب=1s~tœˑHk#[ņ P^%Z ߎ~ `1HqݧLiqu2ޜ.0[ OS'Og.$ lRf&7)N%ӅLE&B} bV3rN@Bb_{Qj]9n N:[AU];)"E0=4B&Ы qKT *;ahx>"l@2.<8=>~L5uJ#񄧒H:!GlLɚs?)d]oUb .f2Ŋ +/9FHko5Ь]M:*SI@94 bkjJ9@ 5#dMфsZtFT_Fn! wVz]"*e>oъ@ݸSJ߂R،ΝX~Q[’ڷB ==ZOs[Ž+6y3A-Yr\K>pazLOrZzv>FCzJ!`p$_7gکxcwX#itU z gIqPFho伸O#H$Fa? _ STўzn}ucv8I'MSW"[C[9 JƷ' qL;ưVb\ D/h`I|HvBhU@{z8 w\8RpΆXy(k'I1sūxߋ'Ǿ:T.ȃ߾.oQߑi1y=,pxZO&.glzt,ZVYDS *k)2\2XR2#\ix7z84 AQ{Yy DwgN:Ȓs;oI9׎U{jLcƠ54ΨN4vQvǙt5n@$j~$E[!}Uw{Dɞb⽑eVd% ҁm6C(<ޗ#lԠy[N%(pf0ֺY<76_ONXat4Pz\5Q>]4QYیEÐ4U3.|nջ >8IOC,{F*š՘:S{OkXs/]   D'TkfɾSX3Xd6Eנe^`)d"ZfՐ\X1Ho"qs-dF_Ax ^kEn>OfbCRJE fҠqoiwiBWߕA_;@@]b"3*7+&[4Stl/?/ ǓcN(G:IHd|v[ [!x;D#ަc Q9N5jV c)ΊW߼ݣPw}8RQպSqEq6v#^0Nlu͞TZ*ăw&8ES< mF}C>tp!6R i*c<Τ ~Dž)7 3#*ζb%`˝Tr/7t`f.:)#hT;va9n Pt)OZ;T9C0郂tŞ&7݋!<4x% .dt^i "v%4*ZeQw=_L=\ QϾbMI";NTzPgv.ԶmȱTr5AAU>8x肎jV[\O1㘑1řF׬~; jݑ nP܅3% *DwL:&ӨgqUh7mDu0Duurkΐ&nSN!SH *|7eq/sژ^غ̠O6GR9߁K-N+̂$-n6X"yэ*OZlR'n&4S8_sp'2JG%U_چjS·hx'g5,gF ZRAݱWr^eBm,P<95uxs6Hi)6 6>_z& 5?ƀSJ*ü8R4R+B@/ S- @7֢ z dGֺ+9Ɔ<=Vp0Lg;:HU4'hnk/27Y,gdlt\%8 ؚW1Jjb/Hk}LԄ%kW N#ܓl998}[V :B^JG)B "Zr0$?'*ΐ;!_4ϲjp7@ji'E|^кo`?ݸ`䓉/W0k]RR+(US\~XFTL{d>\@6!]%Q d eۺa3 Ռ@i݊sflvIF 9>u ȁS3ňrQ.~MiJ?:*FST@f--;F:βsc >MVk5;b6w|8)*{YRWp,anRL|znO±}֔%@ }ZlVLp_JER^B/d RcTw'cTVPfX'@H' 0FM"R]\z)t[H%#bi LyOˢ6عNψjcenƧBM$sA|HECd# WRH*ITIߛHLt`IO1ArOf=̎.q| mho\@cm:jus~/Ps̞jx L޻N_V|*rږ'NZ{傇DhwcU gCtw̔]z4;/TB.CiNQS ڀUaH|F7٩YZ8E 2F]hUIOnAh/NJnq qlWUdD*T+  N 8K~RX-<ɫ%C3vvp6}zcOܻHo;PEs:r=N6 x6k}7oH6'!8))[j;FKRiڬf9 lϽ I(Π3)+z=^lxe]3_ ,E3rb.OrY>/v"BRYB  ( Qo#[vwJӾH?}ggJ~j gD 1ѨA,Rނ 1Ό/emCdaou5jqv禢 .;lDow3>P [w=5MX'4[?wS+aoh kPL^ p.!`_dO.y5 t(Mqn>Gބ*k* :@#'ٌԎYmjtnQo(zcv&9 YF5 9I@%H Ox1@)DNo =ag0B8 ҎAٜMTϐ2֢=^Leց97 yqcsW \0*hǾo~_L+ô͝v>k`#Z2 3+b&E iB{RsYYU&ooV2:qi4V~ {8--te:3{wӋ,4Ďd)}|xMl0Y<0LRMfuLL?tf{Cȋ1ЧQG{ǮTs[Kzݺ)i^wrALY6(yxI_/e2+1U6tb7s[)Q8"ď0W1-AQ.Rd:]TYSX({s`Y'^mӇnEyP Y_53yhQ6a\/ >Oe/f$̵*48,m[p"^~,38D,%QUwA숙E<2du2/i.nM5f*zV Fȓ9U % Ox*|mַz`_]EM4K.yw-ʹ`+E*^ 2 {T=j0ap(2~K! C+ұ)>27[h\gہT" &2&>e mHS;́/O >Y3t+%EtËKLvJ.)&6%K% Nss'[ugs{)_{LI 0\#Qjns ?~C'fn!FMivQBv[\oʑg>}l!W rw/}O8G\ F%Cw{PE=hT|GE4f!:Ed :J9Qߐ;3- (&+fݱ*aF獖)OҚi}sn{t&O4\V$ `NTZu:[/wzGw^CA #0>YNqY 6/Ft0Em[^uےFF~TAuYD@JܥK6 НnX I y#(Zf*DS?nKעi 5;zU% ym/i/kK㦯z@? %8E&ԵjA[Qa dE~Zo߼O$(Z9iv&ӷbo[4ލ/_|(rYf41gF3&c@cw}~J!!vV(VtdS\ [FPQ=%3q_'4.;h ʕS!Ys5)wHŸC$h8 ZXYݴ웡3r.lƗhyBHK+Qc-k<A`JZ ^UUb.ZZHu(nb^5mP3@tA\\zv>g}~JCU gJ tUoIm1)m 8Rϥ W6yaRB`,l/J)8M/,FL+~A d[ yJ"xCTsWm%E6$aOAi쩹 4^@5cm-Xs%;HŅg+'#!6'eg#i+*0zRll6Uqxh7k 3^/B#auei&]ԠԲMb)(=pRdBXbKMs..)p?~H Nuw%S3Ecq ֻB#rE)*,D:KhjkǮ#duPA= =W\i_PLSE~yh@OԶLʜ]FxK)ֻkg3TB Z?dES?HIG#:3 r`kUįxoeZj-4mcW>B-{!4H޳-ad* c6"taDD;%oz_sDW(¹# =r%ND${ BT XP:ɒjIX~IwyX6J Fku` Ȃbw Maĕ#gGRukke' V8Em@cI_xtR <i-2E3]B}Tlɒͱ6YcS! &ꦱq[u+]"m_@x/.Ih*4e|e8'7`bUIKCDȟ(c2wO vaӋnR<:%o440%渄v!!$>"ņ/cuVi%kcHGmψn[wf-+uVy!@DBtg y<[1^eg/\J ZhMz`k)K;v6"Gvb cb(SG24e\]~88t,|/`Dg;,Y;و1&u8ƱmQwh2||Zot:%{¨G/Y =ݸ0&tOTRxY1G|?WhMX0R.@E(7V b{fhP]()ΑVjͷ%كQQK/~b:B$Yi}j&W3[xG 12Ks8gUйM]=Y%_ Y% ohN:xUeEY+cԬDO b0 'W3(epSZEPDmswm-ŏ]EGesIނkZbEte2ls:l}VIqo<mtpZwly#C@ZR'f)ftkM U:/ %b4t3R\8.C,F6i?TȮɣ-&X+8~!4DyńˎHAq*sd@ŠdZ?^=fǬ|cŃs aQ!y- 3L}Gߟsl &H+BLI(܁`ƠFMM\_OH٨tOD8cUws[50]W׵9ӏ8\|1]yX7tL.-S2j5Xms~DѤ{0kf2),69 c0ӿ ,d sL;hTVaS,=[,+X/IU54RK;[xUU ڛ?Nu=ȨxV+D-z3Cnj Ȳ~II(p]Cȗ,}s׉Q1&sJ"@ZҘ0ikh>sFVjl6+x)} 2Y3L(]`/_Մy OIⓎskeڒ&f%ՒF@qYuS}.@EN; h05Q2vuMkh0fO+뵻? Aa{pza[^}|p__vorYGqn@)iljQ&gh+ T*aUM?^[#Y}k弼!r,p 6y~qI٭lc19xTW9n*[+M+mIh5ؘ;q)=5J[$pbߠIn|㡉 dWjGD $Ww0+|Noq7 zX 8}Pȿ1m!V3ܯ.cGNjE"GK`ֈ ~"MIgQN ܍ Mƿ_,b̈́;je=7,{Qyv?ӒV\ :3: ?$  ŏ1pLD[ e Kf}eWU?7Q 1.g ͏OX *BE&ad~~踘;LfVb7JZS&&hf@k+d # r~/xΡűGv80-wTw%Y1p &2E(j(LήX4[/ )jlJ]Z'-'x>5b=֒\-_U0h/I*Nj4 UFbrNe!mGPqB,@rjN,K/Ђ-&LuOOdU^nsF1~y8{76TcGP:25L;٤XS>r?2[^>F)*2tO|;" Pt{cDSb3MQƵifvN#\Ļ@+n8Q[@I9yJbi0 BIz-?(bظw3fL&GJF0Pͷc͂ې?ۮt<Ҵ'tա3%/b@F4m+Y뺉w63oc;[-ϲ#2Rʼn'Oif.J OJӶп/&5ݐ7B5U*i̫I ZvAz>4~+Ʀalngw /0YH7# A]\S'PJg{.ل ‹/&@R $62̮n[&H:9xuT\eFŷ~.,SpTdmCsݯ4XQVۉ@LW4QWuIAsX%m,hTMY%ٱ6Avѓ9 [AKfcpjx2֦š+D=\T8"ڟ_]3 gDA]sHQ:&=n o-t [?wnY LKܪxm1@h+},1\pu-mڪ͊$S6Z ']nF;Mf@_$ m6y wUbІ`dQ+h`Izyٖc@KF@q; ך!r uqu\Ie%x,4N`M4u9 3) ,Yr.6Mg4yi6ߋ'H38bvuj&Tノ]I29G\McIr 0Jy/ M:6`+z-N~ &j ҸxE1zYo9QFL)qDbM&t5czvBG_[WZHRƧcxf=U/v8$ӹLl߰(J!BGm~];éM.&916L|r d@kqa_$$T]9ޮMQĦ(rix/SV8gxqQICd)Z^GG/ceqߦ/IC2ۉ,\(Mz0gzdEސ<(4Ͼ%$% &Z9Fh5ͮ䎲)V`lX&LGݮ*795[:SgL$+iUę 8wy[QL9۟Yg^(Ի!0 ~,%Wk7 .*!h߳0.bI8ˏ1maK9i8Ncʗ]!L؛@s)% vPVI@dP9կ+I!4+Di$ [еcusSp%hB f%p籱Jl5Y DaQt I|jp(5Kg[uz*- HGM;Ŕ&>eU1 F9!^&lgCOI;#- =,NvDp myO[F?eޓN@B# K|~Bˡjln^sAr)ҳfK7+@ 䜁a'[*O%'{uaE.OȊjR<Dө6AXm1åzufעqU[ vU \5wt ,Ͻ𽌤5H@  5ax<6 {Xv_Q11 u12A:)/v.2Grj C*⻯^z,[f#F*~ro>$kJsfz`/mTlel\˭h q<:ݠaBn4uLϐ.$@l(W!Ntj_uzq\n؆d4vgV6ZaG~L:bpd/@UOPC#kHK@oVW+j#A!WG /,r>J[ւ}Тƫѿ8w˓`y`$Jd[{$?zq?\D7uЈx``濼e+yӃ1$Sޯ(݀ȍ>w8au= R` p@:%YoVr<jW M D4׊\>$wǕOڶJT]RZ.hLdBy 5嵋3y4uD܀ѤP 8,3T7[zP4>ћTlu%#C>IP̞_ɪhBC5H@u$17? Xq#]>5Xck3[73lЃ#(*\ϟp[=q* f}4U;{>/_B*>O3 z Zj{):P83~g"7-B@$w*E27fZvqng?%d%U!#J~^A=ttYdcyvpV YO[kM*>3mQFߠD/[SZ4,FJEQDrpFƫHS4B˾st 4|jcSnμ?k>M̜'dߝlvV>g_]1cCLX 20h!FWTmWC(C؉E٦( ^Lf<\ɰ&6 !:ڑ(M$%(I(ĕ 5_Kmüv?B'_wb=J '5ع:cak^&uY^{Ty  VVk5xzTL}t^"3A;2#rnIdl`Mp^N~@;5J/jI2B0ĥ^;!AT ).^6|ƪLOUǞz74tMr/.](GdֵX5^ysz0uvALVj3LMdtUi 9{CH3")1uʰK~\ Mk=8(AV}6-mh&B!#@Q9a#6>}^VH/T\klڛb,3V1nM;z1DEy6+n1m`r5F)>8'l/'o c`k9p}j{zI-9SiQy5MU3 ΍Q~D5臽TB.K%/n)Yˢyўgx\s}QeDģYt7śb1tV=e;5BDuMʁ[LNND;"o "̢Y>8gOZE@zT ˼#9'\ʅqx,?fϷ5 @c3]>v2AeS$wQ_KUDp!頭G $4 XV/qrv4dyt a@Xn#pq:sfGmatI?IS*X@2c zl,eBd4l-,E f7+>9#E B%>]pí} nl.Z8>Oas^9&!ڰmd\ 񳕈_X/(/A!+.}s?SҊ ryb}F쓯rh/%-c Na>|x3_܀Z/cUFZuKګ0Q$y #ȏ9bYܔ[iYT05 uB,lw5{==IU)Cⱍ(յ/{4\/R>I볪}O{^W٠*ݼFz @+Sg[" ;ޡr}of; {pn\<+wh1a 32r= VF*Tua_؏(@Va[_|3@σOPJDi6p4Sb'$ J9B!ż啁j.#O.ǟtl|KdvDn]=SO 1ة/nW;!oHuU]K3P+&5~N x0%[AԻhZ9oAj0ݗbcD)FϘW1wk_I}NpPwq-xؠRx,znxZP D”vn7İT4yJ -7Ԇ\cihwsl-ܓzz)#%2bP0*zkKj}J sVkЧjeEJ<.+X9QqNj\:r!q@SX?;YB9hO"Ph(<d۠oͤU9)(7'z9]q[t<2>ymn@Rb!MMUmv/<%^PR9QIoρ)ȏN߮Msm1r g@] S>ljK`-FCxck-LN% XJnHC>Np _;̺y3AuǑJ%mݒ("/c,j+no@8fTɢ6GpݕuOYlE%KMQѷXp"at|EG9wܟ*>]u`n;^?X'a_? }b6)B2{z6D-m#jj󞈧:ߏJך.D.mkdqoHepXLXq$<Ԏ7WAGt22㲰;p;> lb~{#P`vב־O b*l$$-c1#xf mB%qˎ'A~B8_ܞ:ѓ.T)H" wcoL+փcʫGƵ &i(PwGQ~4& _.*uQ "b%xEfv{l0ǎ=7*asɞ$WuF,VS@V%7mY`9T!5G2KЫ`*֝7zsc@>.ڊPƙ ?9vBB:H4U_ק|kUr4U{GY12h#%K|PUx? DF9C ioqLiic[wh:zE A~=qKnx6UrfHjAre?b}nc u< O]F>졪 Ŋ`M=+g`PJE^Yͪr>RN|!3yU@4BԾ5mX+1JI_DX._8 #%o%Ʈ@ 5$Ql0=A&khb<5IIfڼ~C<8 p|C)ҵa%7L6/6!bε`8/5bU6stD7h5幷ƱN_M{8EV+# MO\72+Ҋ1f[ OGB%G?h xamX)ϔ9j9ktu>-^(eT.AW0n^fi0)8#僧 t#foIAm &FtR{FKP īqELT5e{H̻(緱@|5hS<퐄& ./{tR^{M,d3~揱\0y}ħ^ԥ-冝85@Tkv|{5={D(ضgůX6 zp\h5m8rwV&jW1d@;Cwu 7Z]s֭J< |5{6=;qs$%qa;v /lWb̻ I[irUlp>Le9S 9pdK>z $ |^_V/ɾ<D')"0\~جؠp^?)z$I<ύ #>XʵEk Nt%IbS)Y#4To&Bd%3=<uQsk-||&w_ɹElu/WuUDA[j+C 7Dr'lk/5E75q )CkySNVXP܅| S}~suR,4a/O+K$^:.:ՖQctz=JɖU7z Q0po“}$HJk5xh#Lw8nc 8ؖKtWxyRvA7aJZoNz&@I}RI`qGyaF16zIJ 瞽]/27Ҵm'!s+$|+G JaXQ tHߖ37 Ȣ!H&;Ynǯ2 W\5MKvjM?͘ #O Vu)~Sw4RuZǛ#! ]Hu!(3-T!ggb':(4?(M[>C%2umBwXdHNSv_;OT6#֔~r&؎liBîgJ(o92ڷzb4tYk 2#$x7$b&h8௎䴥p1`PAJRǜ)$~{%b3%j\skgVyM?/xsG(MꜼv4ʏь0OMwͯ%TE&>c#dn+ Y•N='b1qa܀CN.dXh[<nfGx"h,jZRqipVddXWO+>%̼DBSwBGϴ6#ֱӻŧ>Yhi%n3tw*d%.4`Xǥn ;90ŒY;3 D!ZS{dvKVЄWݶJZ82Ťv?3X."\"5h7:"ۈ&TR _[ :t$x75Hq, ^k3]Ƽ "W;qnx^@j9R,V(:D&*oPHSeÑT#4FK`Ci,z~n^b1il=m+d:3꾍bh6 HNc-qF SiG WzhH3EFʞe炀r z_)*s{Tr&}'$Eϛk,׳{e[5뇺w+7\!P zA>JQ+ %̕a >_(y~{)BHSC=3̎Vm*8qyX\ T"@[mH( 1˧]Bz%5[O 8j\b} Kx?aYq#6fsk_9 NEj Jf"CyĠli6xF:96j|͸5}*co˄_g/|_'ۓ`Lh1k?W*mx2>-JMI,tXu*2֨1\+5NXր=^ ,C6>!%tё+ܔgB6<%|;Bsy {{lCA#^@EAEkE$Pl_t2 :lXT*CFOX0ڣO|Hː֫!j\5sԁ >u4R tIc=Ycu ucV3zn^؀ pd]Xʮl#UO0z͓urUD:%ĕY\uN"]ϳkQ5EN~&='fEGn(Y7mDOLs2PuЖ~5\^} 8I䈑(ob`sx٥G)HG J&> 𝛓5IR߷D|/xoyrOLð;GBe H7&*>g|9QhJ|U2G[js0NWNYyvpTC6,SHo]'Td#%Bp+Bkc<uF ,%T •)`R=@kw(iUXQ-Fvo~ω%z&*ax4~"%o ADbc2]E\;7 Y\!B9*A䟏yvJAh*qSFkT둼l\Vm7^⸼q RF,+`;.ncu{kX5 _J`PwqM-0?o./ C` "Y߽ݪ$۠ܲ=dA~ghn~:opi onh$:TEU]3&@{s1CTc+b GbB~V\B7ݡ#ZV\;ϓLv0 EzГ@V o\Vvqb9^ϙC6$~ #!m&nPMyy<(Ӏ:gƵzњi˭Lok*/Y#gMAYaEZޘ=yYNNi1 XݬB"`+1b >45keb9]#MvPbՉ|Uk0kQIv#|~ؼw> ȕ`$n6"A\HR9O,l2YMgS&:w !J LyT%1Z|"jU(?:}vɦR+hSMKGzk)EL*"*˞=V .TvչC2"$ر:Wu+qV Ljy09I*T:S$q%9K#+;IJk!D6=;p !ӣwY v}ݞ0 mplh4z.1?#Y;$DWqbs}&Q Ìf{} ¦Vy(Q^x֏cy8"&`[ob4PB ~&;;A:,-<1(+!qlw]6 !t,ƃPy4^!im介K{P$L{,NfA2{p9)u" >a&AM9:>ȢG,s~*@8R!!P9 $uB_O |QUcKuY[7'o;ᤀ\B,1;sk:Vb(* [TL,զy΢/Jj`MOK r͋)Lpd$r=_zĀ Q7 ||.&(4kuC1B¼_'j~ֵ+ϩ>Ӏ:}bsĄH" dEѩ1N^bgk]g'K P{-ݕVfI=0X C+H]/;_i•1cRc.>e@s R22c1a倇FySANFQNQ[Hm}?|7*8bV*.NDyU=8 !6!13S顶xiw=Ϭ"}o.G\*Y'{!m =P'YR{#ߤf1 $Έ}Sh[z߰ GUzX[CBrsYE:o@hT+ iLGGL~z-ۿ$+Ih <]& F+w gtCT`RRXOp`ʍp+PTWgЉsTBTQ0Tv1ъK-]op.٤"ģ="#fj}V|޲0a?tDBfoco"_Qp;-Lފ*~_gsd_%@ 1WXSԃ {w; 2{u\51{Z UpgNXPIP}u}v6%bmum#6U3NKh.n՗A~Cm>|ǝ:&C-p&pDֱiYENc޵p&On8_T~ƥsTZ=as?pNT{[sј- eU$ t(WDy!RDM!0BDuTf|,(ق%U ُb`(M!KIlZh|;zo̒.ԁOಱzp_#¼NOI@9xC;̽czƛCqʊEFW88͆Q'"ef-k?Z_&bcQ SMRvpH9+#˴y\aKH \G#v_;r >-<[6X6 iG -ն%J8_e$1Qj+::cWl.QJWdLd[FHYWVKbmTNUg޲~n⅃6Zp!`ц k"+d-<#xiP{{QވK'?vK'Ĭ B us#,Eƕ9mw`U*N+AYl  &řhs~sbZ2xh? mϦeO<9Б@bhJ?*!T 3L:B#[WPp]Y0-"@>eWCqsX.Ng3\ zU A3@FkmB_yfoJs k\U!e }.N y/'*mqǐrBEF21SL(RHAVܑh0A0m(079@|?G /-mlG@i[:7hR'k=po5 @Gdao`Og$ޝrFc7-zQ @R3Aw5 ãds-QM@1@0=TU񏃉Qƺ^( ng!&;4w]WOpbN֢>W( lF66_ynmTM!rn8!ZjgsVJ/W䝴?-dڦ !Zߍ)Pz-q!۔UIJٝb|ScӝmLY|bO:t;\\8F*VdC|&{ov󱺨JY*[;gvfT&T"RI.+@ ䷑yӸUۓRrfl1/-X#}W#o#\e][WhP]yLB" /S71 !Y7^PkHWZs:I}ᱏTeA!l ^M U?KZׁw9hYo4[NO(*\ /xt<#&vUI֚a ML$G@ @/@ xt۵J[kbYuvҍU 9C TV w}mH1-6Z^"Sf[\ Ed힌4uL)# )Ҝ6/)4#iuyjTɻL1:#P ÓY9oVHQ&KOɑAsNwqV4,maN\p.@9 Gl.%A=*q @ rA]&[dԯ8{v) /VRp-k c%KΕ8l@R3usH))̶i{l["}s )ʛS]qV`y#]_WH]\kOV?}'Zo$P4Q&İ˚_YP6o=yAJ` DFbW_;K%{) R~*ϢY+ K==nv.v!2&x0s*3U'9K|z~0v^Urxqc^tSw.̔z+gxT?խM>>q>)H0{{T; HU&QDVN`/\>r\/+~=Wå^IPM;QT_φnR>6\7 !i{7^OgMfGUNQC&Fd<FMJ$A3 }rqxTs7@i<Dmb0q_!pqVvH VfdiugqT=|NK5Ih$f_U\xIKMޜŏ6g(UIED*p QCKnnJ|^MJW^WIjӆ3/ebfthu@;^Kƽ_w]OU,꺣/?rbeۿS[4w$'7_h:IM'RՑʮKOZyYWvm *HQ>h؈6Nn搉u4Bv`N.nUH'v*ᒥk]djv4-BM^1(ܖ]8=wr=$l?DCh$&96ܨN~ކ8 Rr0rƉΓMylv0}-=z/1Z7 f\xڹ>Z;a|1lg9! 4W#tRËˉ[HNΣO%#@{K ɀP%9)$Z!۷}nсc/`B"*u9-O:L+̼h_3lVf0g5> !Iѝe "ЎuNߞ2ALU ^3ل0ePqۮ.~m}W@iYc<79@+'kEwL+ Eg6"p;糖@"Q 1 =<?|:~{kD@mCxbUbPw]cםz g$ Y10ޮ'v3/k9Y{{C%m{9Ҙ1{7pxƴF?ABWbQblOWr9)tblЀ)\,7}D[ԈaL.=>- %*E ZcN7./e P6WT%PN H\=IyMu}3  r/ԥ55Uxn0" QAG!ʨ5H,Wc'1b`=@wܟA t (c S鬀a@cQ܈L^ŌM>JTg6_@3FYU] 8@[}Co!TK Rvo »b31❆އ &2hCkbՠ7uXlU7Y_֟L>qhN쎶 nOn~փ h%Tފ/I,$E-kzXS}/lPchLnЌpK]O5qM.g]x-"I',b8RвC%uk\#V]5 uaNeYOE\X ?Uڷ$)5|]y*>E~h3]IOPay:gAmg?%+\VMr` NQٱngjSr^ӑ2 fo~Uzva& Ӽ܉Gw"dPدa"K 0-.R혌P0ܠæ| at?u7d5mm<^ fe jaɥZ7Ӗn,ZRlZ됊T瞀SiWNLdpm< nR XvJt>͞yZ9+S@^ct5xgmiKcUT$?ltL|kt)Aͭr?³S<1<9JA:dG3+P05lIWߣ`om6 `ͥ*t^5ͧ>k\roI{{kpzSv-a\e\*#1{<,üC YxZt(BGȃG1Bܘȧ~A~58_g5B&"+nqcϕt51 .k l74-UiĈn?yB'i7"\*"ZT{@&S56-6âpR[31K4RdᤘwKݦ?RiQ~Qܜ+\L(xG ٕzmtOvk¤(5R"~egjj?5{/NracSfkGA&Us@B2au@;Gk6.K|xSp)frL@X /ww'Cd߸t?% uϸIڀIdOI5Ԋt&Օ',GApaknyXaltlCQ(CUyvs38do}9_J9'C )QtGXK%k݅(f-ݶp[?M%u ,77KUm%} fD"j4yZ?NOtyxvx1mƌa2Ft*&r"߽ae2n`1:XT,@Mk1ܬ'C Y)bq!o1]KG|kI[lԲμx#.k}`dhMK־2wt&ζWTlt8tqA^!?19zM,CaL@+ݩ¾e7^Z_xkK/3.qmWJFL 8oƏ}2(0yt]eP u;"&FbC_L*F]za/G"WM'Zul,W_rmUf#zI`j,º1rx+7GTm\ 9!e{{_Y.ssi*բ%Y:]zz 9K4rPr´p&}ubHU2;-J[bhG+Y3m2J;;R-gM"5w5=elӃјE ̔3NxoX#.+`#c'!ջXOOҪ4A>M52 888& O]bzRޓ!=жp4Tz:#TffN?u w< QhKs%U8[CadJt-D𘟊ȯ^VӚ yG(i"a')uUf3QeɉUa@lW{=n 8HEZVnc8+G{}9122/ t>]fM|DZ93Gs ^!~Lbf{͞yl]!k(**u@op"fdp}e'8qiD-v B#ۧ#c6W 8Iٟن_if6ưq+0f@苏ՙm?246!(񉵝O3bEbAeiuk-YQ  2)"]zTpCDU( C'WK>C,`֞eMD%%)f"b,%n:T3lJN+@F/}ÜOEoǦ\]OhHYRn*k^T&uHtȕ ?Z=Tt1JM3 @eӱZS'&MǗFp.67$#We7.F AVҎ Ő EڵeH ~qEEp!% Kޔm`&!P1{{niqտpU~wJ;ªLoL_HF+ONqR/'o.TGk)~#ddZ+V$fn-KUߩ_cB/ ZP v9? # Y]"\LH8+h_fTUA&VJ_x@.g֯R Jrf$qxHIVY:5γ).|[48YE3qH>:.g Kcxy{@ Ea=(~NRꤺcxUfyKEGX![omx%HT%MF'۽OfFgJ]w̕}G z\ \O t?oK'%m,ȀqMZ.D1O8ͯpjqdoKN˸XتQ-UĄlT:lPy?g1D}PXJx!;e/XɠjrY,H|_ְ2(ڔ.Ebf! /\!Dl-q8 %cϜ<&n}]>% '5i=/)SO3}݈lV675~ yO 0Lח(j p&z!hi>fZja*6}S"y;O^ KYc>Yp2|wHd/G>9~))KFNFB:f9KSk z! mN0}b(($W{y }JXsK먂 jN!LZ'Rٴow0/siC[?mY0gվ!h(&,VCg:bpHjłDLdvkÎMf8>]gFDڟO3Bw T/[W 8h嫥tVc^8'H#gx僃~ny"5bQ6~tMqZ WF}YF˖P iU{h*s8@[ZsuEt)n-Pizzd_HVa;A1kOTOB4tńZ_$BIlGJD2([}3W;=t)!?"3F+%J?_ɸ4_V>q S[JX^dO:{ݹGc~p4u}u(Wl0Y\0TL7=YVkEG Q^5[*׺f2r7RDaT,eȞAS*TNfvI #^5TP.Mv0ͫ2x'L jTCþZ_zu /xSW[j;+{D"Z&:!Ƚ;i3Yb2WiK, Ym VNxi`+Ǔmsϔ%z;\nQ~R}}+zaɭ IgDeZ a+X4[rȄYMUL%1w}PlsTj}BqXhf M&|>r>Ex8{4s,P$9x{[zH 7^r'Ҫ""̫jLSC#k(),Yҷc v9͗2^|B/ƶFv5CC7Oq&]L}cO!Xj"nDnlW{ƕ4Ɂu[@<rZ<*w7۫e|* sLi!\ Ll|a4 0n#GPɆK$T~afC9fVQd{ʽ7 rVP @#FSs#YD'whqP1mT;]nT2@"3WpvSYx^BzcrxGzKfk^ d6ä́O9*U/\j:jzVWTiUmⷅa$#݀ |=H4~í.ll<# λ;~)#=*_-;ƘǶ80oxpHe95U*UJ"T"CSG+:;WQ l!JBYz/j 5efp YӇ&3wVc{b+ihe ;EN@gpe)k4$T(H05n|x$B_]L&P@a@:Qv4 Wsn˧]h_!n0{k&Yn/F0hFЫt/ڍ'1%ml~,yz$Ѐ(dcf[1!LbrpfΚ< H>ǎSDã\@,lU6U''uw8w@eS9ߘ4MwBJ-=M-/9chBwP'魞*5fkXW; 7X=+U\SEX]*<9FhJCAnΪ":5k|7峹⤱BUAó7G?uco+')eUs=XcZ ˷_Wh1򯟀fZxf d0>RL(sD( \<{ )פR]P+Qme qGA_;pl,`ͳB9w8LuT|` -F7/LJ˝win'ڒ\Y \zma~& nH 3]euL..a$Xw_sux%Wo)S9,A_ext~\fjD ݠ8w y} *jʆC*|/b$5 @jG9s1$^: YdTV ov۲|_"+ ],IvK̀ƫ\^J2[sv/ w9avxM(~cU7^ƶ@/S&OڇP*hOQh[1u :&[#~QsaK_St;B0B`Wzfj2b?{[˿njnL&WMӯ$>᭝yx0w,_ṲHS( AjNjg_N8xb8e/d!Z#Fsh I*'vQc VoN)D >y~z3x}ȼ>f:Xfx,HcTe{k;Ge{">MXݘe>X0">S9Օ\]~+AAڤ]z; 9>$w-.1F$X ,唳K)l?DQ6.s8 |jgGN` ys@Xq ‰LL9Jk=I 5WJf\YiۀHoMQj"TCYK oDDacz띯*Uuq &;_]~;!*v aqh L)E(_Mv*hߓ0.97{'>B\4Fڬ`s廦>^+&sX0܈??JZ̦"5}҈19pŞyx`> 'XΑeSN^V@a}M1{+X2;%->4+6(d^U{)5j&O)! Vw%}v8h[Ք_aIHp%!&낔[;y\XCh(xY;gٝI6j#㻩k.T8iiT30{U˨y?uI'agYZ7zXZִF! ]ŗXiɟˏ "B"V[9*⍱|N7)[sl$M`(X;j#!@ӈs/ʼ>$A(i{Nx%m:tY,!k_Lȩ6<j> 'Mp #"֩+aԔE.N9wW}u=6gנw33xI=pA")o*' ~[)_v!\o{Lh3Z%'7゚@)D(Iaڔ\N2٭k03 pȀG`e*fKl,u'H˴? GoGLQX{XϯՁQ#nO^BhE[l"ck$EOe[4 JV\̐rm]8e*G!| Sx):> hXϟ_lweWhw6!Qoj!ܑo ?A>'QO|a>XXmT/; MS<]lot ~f53p>Iߟ,%mgt 6PA&'v+F8`,ps8Y>2 Xwk4C`ʁJL˰5Q}m5zu^(Q+s&u : A0SHZ;' l.G= r@Ip}9s]qBԗ GHtU&Lh B*Z'Pz|L4GCeUjAœ*'ɒ[dI$]i.Ua)~054|%CK`7]h=\P`|~:\ChFgI\x-"Xٌ`_p* ,#S !~rMwc#Z@QVDcNjل̤eH &IU3Q7G`8HB@נP0#=ZuJDzG}on6u~}t0dzJI\8HRTH&tF~+mS4EV cF4%7|odf7x ;)џ& ԛ{r7{( j{mZZik(D/Xr0P$2q@R(̀%xׁ=}̇+C̾hXG,Q*&p=q, ۴0a7Ys:>gD"W '|Yro>s^PҢr*8KK*^ C?w5қT_-iAkߋ.^op]ΝyilmpBJSw$Am8[ފo<)Xgm'8O0Fʦ-jVzjBpMޭbU\tbhWN(a5{7KqQŎ!lB:\Pp?A ԗdW^e/\0Wp9 /QgtYL)¹`<UNxɆj[ҦpW΁QL}<]'+~GU‡@(IP)c`)ƅ }vykqç|.rїV~lCɴ6s=Cx.O 1 DGlYb)(R?e|EGvC"qC%Еt>~y!hBn31p:b.<ɇcb4+M={T|I%+_R-ZthLT jKh_Qvoܲh?ݔC&]Sw| Kߋ xIϱ"1_f{;umypZjѤmdc[t3ñ* (=.F?QBiA%վ-:n߁TEjF{و, +ïR 5m::vu>9I>쁞+*B/#xq8}-i@M>eyn w R떾B)t2<$Tcb@`C\? s:u\ m\B4ne~ 3 MZ/+L鸷 :rɀ س]}SEwcn**Ո&+ 8±"j=惰hRrSo&])*C SOgj5`ċY"e%+k'<4S wfHFr[NޤHp9cmjn vXqsXK+'4B8%eN@GjBs"Q 9~9OT zlEh^ѕ\Wg}8X3V1Sad.,@_sAؓ'®p2d=XK/1Ъ2Q9zhL7/]%0}!ŷc׬8MjA-l0,[a eQ8|]@OVTޠ_IJ!@ 3l\qÉ2 `X4kyS =>~&6>/&4ۣկ2GD405t^%5N ռ Mq@q"onKSPUУ{zlo3ЇYf1 ¿-d^K ìAH:ou]![|+9(Β8N\Y'~rfLL{] o$;yd))Ga.H7we-eO:IlO~6|ʘZHu-XJͶ$G5MȪ(W;(4Z0pMDh3ð_a(b1}NkJs9еɌ ]bbZ$U{ ~:L6h,g!6TM<ſ#v\Ny f:Vt,SII&9EU/DlGg*>z{00CeP+u$dTx:R۫R9kA騆~Ek-R|`@dGifQXU<]7dVRxЩŋ ["iFS#u>Mf!=Ο"`͔H~R@'.n]R~ QȖ}7^ݤ<Ӭ{B&k^ď/ 73J |m6oS];) SD3FJff9~![E=m9L uh=6㒚gq OF+E1!su sS!I#mTG ONYBSݶnm trz&Ӥ߰JMf6/.07!A7$P??u:6Yңjb8)pH.V#ȯϋ^e)e1#ԾYiR\ /?ANg 6rdkJ9@%26{s."Wco](9/.VH_0`4 Q=aO ;]_ ୳BkP7:M^} U {gFϋn@&*)d-W]5>CGй놬!U֖HK/CMC) :<6aYzSRB x5zVd;A v~m31"")Tyx. tG }08gYZ0f55385a1a8b39a7fae915e96baeb9b4dccc6a91d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 699bdbf258f0abde11384880867d7af53de69489 ea6b1a6a139480adc08628ab562073139ffa3b41 29c786f87cc7e6ea3db97c772a444d7fade7b6f86bb86277d62976edd0fca7ba26d83d36d8f1b9b0