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 (?ttl ] Program-Conflict-Analysis:threads=4elapsed=19.737cpu=70.704gc=3.6367zXZִF! 뢟C]ŗXiɟH)0%ooYCJBh󡳔AV# lJ£&M19gH=N2ϭFC+d> z Y!hy{t/-6j0TnC 5HjDj0]ZUNSE s@&m!TZY]!E6u).3`F E#\qE'פWB^&r7] A]GPiWDq7*-8.P͏~T {!\rY4_eEURDHg| HJi;#!s͏E:,{GYWʷ1o x{|P!]aQ1Jj4Pl s-zRbM4Uui\: ?ڄ#G-e*KC8{4v1H/Y۱`C 3~'WQRcqUGAR`KWV#w}nJ7ke {l5h{t7{^71A;5dH-0)oo9^ ;GJ tJIP)Y2N2) tcXv).k.Lj]'}t?bel* 5>ZG'ZoVjp??KK:T6T^0LV/[*~BW}qzt3ˮsu3'h8:m@b'M11$}AgtGLt"+{m<.d0K~|q 7\e3ڌ2ȞSG^ۏ#ks"F."X0ɻy%}s=8W$VH8̟@ ,:ᾱ!Z){l"^~nW7&ܲE(]ˁDP@1)??!jRo9Pc)qj˷9h [(q*1O)mWXԓVw%aKXEE7ֻ^_ĕtK!Z\7!I/ P|@Nż=()JΛl6 f9nN($bȺv u @/7f;sr8,cӎ\}+bkP+f?ྍSrOMh]>.e Z?T%6\g;H0|ƔdTuwBDd%,]$DWGH4SaSΆk _Nj.v7Z/d3 ;--OF+5Tz"ɲn<9JΪO]ve^tܻc9="ʤݪ/DTaBjUb_PgKJ\ D# QW l0fN+s1l20j~ïBZm>WL[t&&W1gf &]\"LW]R;X4'&9^dS5`imܖ]@ELI@1;-t1`"<ងv{k,!kf0 x7?r3gӌxjecrAF,/7Ϙ"ח{d)~g߰T\PS0DVWg%`0B0+=mLkQ0ծTx,{J=f²Q$S3AaYܳ๕z(!\g9U!$E('vܙ.1"u[ Q}㤵v@| *\a8w$ˏh$. yK e>jhѦHyrawӲtӉU{~8I/2ZC}yho(:i޺؆GᎽeayr+]5~Ɔ?g#eҪ|ǂ\g?)xQk~|;sbMڶJWΙ"ChLGisklTzTTYʄ !_:t0Fnke/Ay)-:F*M`4 hf[Bû#_ PD…ь8],Vq=yg9œ {\CG<sH+vTkpY_uJuܪ$-i4SAi#]6)76ɠSӟ2HZ^ז%\VpW@ Q Jj1K[h9m.Di@ s.(0Ϭ>[TH vU֕fRPoq@aNqQ`ȴ{ԈzO9ÚCemB6AQEvTO# /@Nris(]x{F-1H+ˎ2CW*e92Ǐ9~pʼn`Ј>ru^lo{I;.h(͏Rm0ĝd*w>B)h/`ݐ uC[u<3 ZOƣLM'3dzˤn 8ЪrP;p4VzaTALE?>+hU͘BJp!Ul.n#bFj[\nGg!h4zBs0Ё.P$"^n$0Wږ{ܨO-$(mGaydtBϙȅx4|w+$X//]M6khc0S9B CX^CyK,И򅂋; 8!kPWW$d0?pp^GEfL4|5uL T0ak0s+c%c)/v}]oѓR>/eIYj+R?XɌzATDXg̫,E8 ˓zٙ|[ti8J5%1aI+yqL-nf0@AEllfoז,ͧjB3>"OnYN3G o2bA+N0jXU1a!TO.2#UEj>_v1<_&^M}Aro‘= =oCyCئ!Jlx.H|jb):bkmd{_5MO!7>IOGŊH9z;VјU1*sMׅ!ǵLqvmt3̅% $5<3EMW6lm\Vw%/cv90HVzI;xQ!O#Ѐδ]RΧ((zI@=t={Κ"8&3!I]472䌅$M~D3nrڙmX̘z/ҿΔǃw{'ڵmq}dmb3삍~ 6Ndlu |ϣt1 e~03[M\ȻNJT~,Rrhv2]RTѡ1"jOC'#70bnxakw+ԜP A4$)Bvh #2 8cpQXRKӣ󪸠N"g,1:5G3֐uQ6HK<(?a"+Ѵںg}3(ӎrdӊlUW; vu/W;,ڒ#7_j/US7P$hx%+;_E\WZh;%OxZȑ4_.@3 Y]}-L8 )Uϋ 賻!q[(=v~4S",}Zћ%6ZLON'fr 擌jثti@6z >%}،#_ڊ+ܫpWGW`A@8'lb]'܂p;jYL~Tza%AJ|x3"'& 9 0D~_Pgb`G'^#h+4N./r˪ӦsrՔ͕bRj^A^⼊u(Ai Ҋ$TE#>laqe3?(fK HSKa=w^eQ;ڤ/qD%2Sy"O|};O(D [̡|Y$QU_Ǎb`9- (\2 $6XM! FseH荵c ~׹"YوS/:;`' ߙqGGk_"a> w'(zCl{%*it&ä)1\N5u ~i0oÛ٣vdN,rz{n>\{DDX!*]#aC!RS\2l5HW׍g55 FA/7JAw1Ndc(\S L~ў =(öάG]&`ߓs wAUȁ5qe랇R7JjF0g+M O,I7nՄ E|$8cdִިj(t0pͱҮ fzv(ŕe ̏cFB-pRڒe5rRq1;mbV>~_TT?Ⱦd+0FK8l,Jכ߭, ܥɤCzwC6JV.oe9J$s=1Jo"s0(/nx:/O{2 #us:`V4>/=O(+bOb[?ȁYM|ȕ½+y7a& I Q,:߭BttY9t'Icrn$˖?g~K_| Ă}`t{-ܧcTnx`:_#^ҋ'0Yc.Ҩ5zmeYǬBy7d%+F[kfEfԐ|\i>:c)4E5#Nsѡ$[9V8 E/J/oCʄBONQf~9}Q{J<dUZG U*[z=჏"\ÿhHIH?^9C2s#鮦7|$t%"KuQrQZ g4y2QS%ŽP, :ɔE~kxdyKiˤVC[n>Yz/GvkEYc3_:ӬNDbGNŮ"HFGdq%7)w[ȑ MJ# =]'S\cPFv IUr l1wv⦮ǩ1iށl7&0 _ꗩ7GT)ܰ#_zFܐ`^'4KXfxd.__dB)H "0jn @8C7ImJJR'sM5n5ہdBЩoW7 Aih\R=i﷉R( 8t\:dz4|cN89XC{"3JB?kbQbVoX,SUg4N,qZXfKSͦ_v1z{ ?%ڴƜInqC$Q>= XL`Fd)5 H0Kn q|@N_H(뤔jOA^k;OD!:M9wg7z֪4|^hqz :1bTـb1o["wZ5:>)m Au\Dȸ7'G(|0֚1)\=Qq Y+ [z9.Ǒyaot1]J4x:{0kf2i\'rqK@WuK72}QP'L@q.p~I #9RdU^ŹAPSms$]D]BnA3;Da+΃OrJ(nG`,vbAss9o$umwg.ȍgg D/"vUmҶ?v\ lbfc-Lgꊅ _kd˚f涅-Uh$¹r$JFYߎ2DͬDz/=Q2ʰ%pM *~4C~K_/T~͈L_6o/X{{YDm;pvr v2A;|u ۛawV>us{a,b#}tL1kӰ5&*Jl1M-Wvz$Ȉu\͞ Ǣ4Uthu" Ha|eu׼>}=ڇu}e3o_l;wGf[ܷ԰cw2%݋wfpv)9Q)3+Fˍֆ+m*3G<6N: ac'g{ W B7_O[iUpG˶I!@<xm""tRsMCBUhVMSb>=q$]̮q+9yߑ}܇ lw%FD[On8~WmohR]0چk"5 +L _ɱ֋ ,M=r3̑} 2{sꂱf,pS~\(jW?6r' 0<5^}?zm1 d57_<9;$n*.;c"P >\|pcqnǍXQɅZw9X:·%j(W5/%DƊ6p ?^ PB!1H,mU r.f0+%4DD1nB9oF24 ѩXm;klf2<-9Fݒ]^ {$AT@3}ƪYǞVɼ;]]]$FUDNE59D+'rO;Qrz.P>]/6}mspLKg>Gu4fkN-x  o4o)"*D>?YͤxM.54 |C;e`]~ NexHwJCyqF@BauU\}d[UW2y_ncASv~x:r_%MЈ0$.dn)"$ Bs3uT;?FC]hUj'aFf1mfOJzQ}Kdk+R (iX|āOVJ/H}58y.ta(/=jڤA/`yü9Lj;ɡ(Y E߳gjކ` k[Y6bȼiNWM]s ujY_ @57:JQ7q;g AJƾea.)&~@kKRoRWcAp"ymKl2`)&jߨe]o++vhqŁj2 DnȝTJ;W6"LGU<,NLZMby{gpRIJjJ9O;3K,7ox?RˑrK7ڷGS}°La} RKGjb:uYJ@$C ²AMw:NtXzaP>c#k%) Efbw,ڽHy0 I]]H';9BEyD%s? 7B帣\ث3wҟND!1Aw:LT%{DPظX8[d?1ۑf`fC''a*(J1]ؼqlB-L$Ϣ4ê腧q )USJk`<ǻ=&) 05TKʯX&CX8|F z ?j OOhF:ӧ=7PfuLi3^P6̉RY{[sXTR (#?5m8.}st($*^O #OL!T;͔0lxE2bT!]m Җ]x8u؃@i90@{ AW}y}Jĩχ;aa>5|Pm|R/$'hY1>8w'zloD@"finCW?3afH߆V]93# V?s<>.Vs۲4Y. fc 6urxM4 [Em6g[ClŃq`dZdpk_ZW6 &܌p#lhs[*AV)aEaWo()T}ߜ!OmLN1u^>50qfdX9Xff=9ᢼCKts} r}{j|9_xzrS׌'P( {[)bm(~9e\Gnfaˤβ<6_5>{^I ~ѩ^j*[k-MGϫ\َC|ygY: JXNDL 򻻖nmީAZS`TJޔy,wA%,`FxcJ&f3Jvk qhAzQ7gȁ1֤ 68ֈк#qFrmk4씧߲ޙ,frJ8mH|lwBxy!@9[WhҳQ>:7[2M"h0·5wP]LxĕGzZU[•CGl%)IsμU%X(x}hT"emr1fT-}U-䑍*E[o-}`Du_ھ\M?Hwם48u6- %=b?i` !/_l}~k aDD,BC莔 -R+ֳ؍9Tyh%{B/Y__Bt[yWUE tbco#?+a~hE#GWwogT[Zd`.VPaXC甐ؕY)m/`*2ɬp1b5_l.>,zԧ1ULѡf@H ?F:CSxX DDAQ 2^ SbmI¿t{үڄ_S M?s,w!|h$;>QtgUyHLo.﨧i!eaex2+,r8ӫ_*&$5z#AOb#h%?"p,Nѯ{y}ݲza9L*52{g{"Xf!R(3K$9wx/NB_ZC>~+۶p|h9ˑIOMk6+Y p)tID9IZYXi"d.BxRd\e\mrjҴyNXD<A$lK,z2a'83h#YW.#𱃎 Ab;CfQcN:4yNI@$QPHY-)X6 wS}Fr @Q$ޑ7‡+i‡'V4Uk:cP+Ȫ>JuGag+: xG u:go 3?/<_b Cʠ U9+7 2Xݤj%lObKOM"ޞIy24#_z|6zX6@QɆ9qNd[= FeZ pW},ع%'l]zuud."q];zÎ95A%e?I2B /qd{Ǒx)knG\FK?u\&͟fdlɦ!%@>wYWH,p6d%bDrCbIDX蚴b۪ͽJ|訕;Jv j+|f0,>^+8“PM+L6IXmSؙ9xѦv1-ohw㦁ꣾѹH^"tVx iO p>z {l> ڿQYd 6D?6ӵP+M&Y4}Cp-ZY9t, ?:pn-3>I;\ cnIaAȹ'E~g^VjţNA{Mp8KR͑j}D~Yrݰ5@C.FH7| 0r! F<9*?~XΧM7AHk:X~ (7fmeϒIgrXN==mr *Dq~)kc4EХ5 k&D: \ 6<w Z8y@!দc96[ȑ'UlDލ4(1=|%l-Ot\7j3BkZCߝWƹ [/`;P, $jTb3= BSH *t@ dÿg,A.o_skQL&:%krgZ# V̆f"P$4% <3gb#hy-ӸIrҳP#8mlmGs@ex~~{j+wIwa5ϦM]faB[։J[H8GuX8ga=8 A%|f%QYb`<\T rX &+o7FUT@Kaǿy~EnU0 ,Dke\Qz`e.2>N2P|[~Ҧít'Jx>#S#xHs/']&=,.V#Xnb)Y杫L-..LȢ{j`<-5SMOBYIJi52L4yW-š;H&<]ؤ˝ד0G"Ly^A1%_{䔍q*ǫ+ǹ;7Vܫ9+X9;C' @@7瘅kR:NO'k4B$+Z|uC"b4ԅoU>D\?d kЬjr(!C \ODOHyw8Yudz^$\)Y>ncSZ\Y`N 1UޜUCZk \y -|}>/dS(5 ?o@Je5G,J-DwW\rVXL6=_,CKC:f;\n#/lĦlRge"O: QU 7 lG}n$}vLݺV[Td=*jW}Z,N R&~2=C NZJR]#/逾V}hwiާƃ~~{/ h?gsoo 'Uh'h9n-,u,rl-pmg_$d'|AWQ&z!C_,~Dʝ8P-dlV=jZ/]ҡ|Cw\r/A}z##2dS!X3)EMpRz:bi넃w } B#j^JG.@i|DR/D/- $^ 35dY(87+425#gV@U LkL..sҙC;Y9zҕUw j##B*F'Է"j7+!X`Cjal\lؒq22-L)LHh[l0sX'{hŘTX7nsan-ʘh#ħitF .(ZKkN@[Z4Haȗ {MD[@+ xA>_K&'d?u+W+R24fja fHdR;fR%^޺SWg1XC;~R$q+N)9ظ! T[^ƱEkf/';XN©q t a}: jg}R_afy'ɔ D5ؐyL!4`j:y*OC t ^pgsD ihgc p5+^ڮ0{nĂf(4isD d]΀EI}iBEUݍyY 0qL sg`0%JAˠ[uaL#O!C3JUt~A7h *ZPӻr$ glp~2!bVoY08rd_UkzadyƐ5-mz2 -wˢUd0栗χoodZ~ 'Zs\_Cf,[E5rrܢTai]3=Άjp1D|'n092yAe:CtlJN,]*<[Iuڟ #{hK0y1ݟC RQ)y]-a&mS%< ~:0P H-aҜ7yTZWmϑ/8C[4UPZ["Qx $5ktΌGa^.J :<%vW_3Ûl)'D=?{~:@kHCa ba0%9D< ˧nP!GsEggTRPyAOH׼G'~EE)y}`m)aPjsZG*?M A(OE{/S<^3mݼ.,7棭rb?ŠhK||\> u^݃t}z[Ͼs{oKj-GtP 뾽Q " VYS\| FqhlGt~ EKxZi[>mLj44X#=6CN ȁPֆѺ8yC̿-b WA]}ȡNJy.%r5|݈D|'[MR*s4lM2{+;XYpYr~ $œ) ޷Pnұ+DԷ!i7\bz9aJC::opG\Q .  %-+-Tg5ڀ"{tбȎ89{q (w-(Z?27(ff ->w~V^H TK7:EwֱZ{Uޝ@J'`ڷ9dܲ .nA Ҿ~`4h"} l>C~1꼃m$_KvtH=8zE=F\\xF3 p[sۡCq]ՅkX cf`~ 4[)4iG;jvV !  v~J YsG^0CeoR&>}$02)[.4?(\A) i{* f֭b YPA4cQbC2IE6 ?t ^ub= _l/)^K6vc2}.TJllqS#VZ<~hcs_+O0F<"s~u̓Ȧ\3gwcoz菢x ue6.8O3؈Dg[EV'處AJB8e2h:3q8ziv?>UMc?wݝx}p7|{/4dԗXehSWH[01'T2R"]'ALEr=68Ҙ4^HOA'.W !zͺ˸%JH$}ҭr@}S9̲*ϥ[Ac9m)rJ^knu*((oH50udwf/q1O dGҴ>^^)jGas9廗[ !_N7f[ PL{iev$RmiЍ|9H׊cv#`l7bg<"x A!W})%jl[7ɽ[jGٞ_6Ũw L,K!ʡxp\붖P\"lŖ,1CĶ(~B(Š@! 3L[f?s}Zdo%H{Yt_f y-aq*f۴?qxa|@pٌpI^ȟYX^MKVfZZsayM"cɚr]hx9˄W+-ScIƗ%$hg:KBj+1KR mpUTON&X)C|Kzʾиif+nkŢ<|6lf[~i`E, lF;VƴA&hT )ffMO*;4тup5:'0WF:U^twc]>XC"YH5'Ph}G:Ed>\?CRYHl N<e^1Dp\됺PzDO:"6(A)9u74kMũU gU!~T0>K,(&Ì>qR+c)4.xhuh Uѩt2tʔ.shI3$kLDl`ݏ. ON+L^hϠ:3k?OsFQk՘X d((@E7Mc̎Tut;Yk,αe5„3Hlpf3珞µ\;`†8w9p%ecX 1#2 {y_XezvHu+\``(71Ev.gz?f\b rȯH"FnF}๻qh5b'3=qN8`ր,~.7W bBuOdaTi3:O6Ԍ3@ᇴG,`_2]&bGE2 FROoH<7[i.ҐG`n+7:&%%:$air~Rv8=~0_Ieq/k9T.DpW0E06eszP~YY%y T1No$2R%O|f [XHQ~[KeڢW2T.=2IT YXk^X/99@.b7:;i3ܸT^:MN$.q3H| b7 Vîš#qr1^1xp͕S (A3fl17όBό/FZzIs-Yxqv EN[2Ũ@MD+<>>kZ:[EsƉ<'_PI@P7 _!ۧYb)%AƮSϭKٗ& GjשaN2B_KZpӮ.}py|j.fH\[$̈nڮMoC?) X %Kڣ"HoJ9@Di~J gǶ S, [y/fn*K B#QmOd.an N4%4B~qO7s&ڐgfZ]7EV,1~nwEnίf93Tā3ÛZ `'JNPTcbAF ,7oR]! 8),\?xfI8^''9Ih>8TTzA=ct~g]LŮ&`(N,\wnJ;F0b "召zl4XuϞ`eV! OOL>u %9=yReskk)YW/]ydXX=mf@$@$vk;ɹ} ``s6i$BSs>~Yu}֠TA'ž?} 7_XP^Kp]NgEp^--p+P-\=kq[qdl 7([O rƻ𕍱<\Xlf,M2'.aN+kyj \թ8:`EVaid7Ga]Jm^J i,[MÒHF*q0_9e |:i7߂yRp:3¸ Z[Xljy򮝎z|@YEWHu3(O"V|a`8YʾcY9?6 5{:N ADzZNLZ$/:y eZ@6 GT|wZ*_F2--C d>T7DK0sj}PWbe}>_"WsM V^ 0\iCQ~ ܹC5kjlj;G)(}RF>rpM(tڲ&Ps1ٷw?IifVCdoT3?ElEmVŴfסj 5cA2I2(=i<Sx_wpsTy=&yj/GMGHW.%iMg@;Rntdγ>MW|v95%si"*_6@ ;"5ci4q[,^ji-=ƦfxmF ڂBbZrJg~.sm{x Co :SK~.6W(DU(Ƚy>|5SZM>3}#CZ ^[E&D&xWȯ`)Cjz˃bAIJ:m7Đ٪x%5 @ғ&_qHzTq9#MQeNWn@sQG7P:zoB)э4H+Aϙ,Eqp[,xg|z__'鸒-s4(u->S.$ F肬cC޶omTRItOjH'A_Bxt\>^6 5s_Z{}HI$nv6BqmjD-gὈyU{fܖ#>eY\ndN !j6]"b"UF @Fnk uXx:’6_HڻUT0n ~Cf%Z U6y4"DnЍ)<b+jɡ=&CL+{{_S'dqٜ'=`Ds^$2ɾiI ȤCAʤ7O /` ݫ*i"讝44tz|fN|_tᓱK{5FMl@fBA 2G,L*l +ϙ5>eoޑ̺$дiEr>B@4@=߹Q2h_T )T¥LntCkZ~?0N[Ǒd[~92FY# q#D7[[`' ;btWehWPHJP݋~ǻPA:\$0p@~wyW*=TI- _qE̯@hrE/vVb>o/o)ƠrӉuZ?Lg|pG~[XP@0OTPn H6y%ցyfg6&;$"xU >p џ{)bu,u3eޙ9u .-2$wBY f5oj=OD63j.|H7Gs{$enNLƟ c$=zF)R^I\,xIi^Ҹ(nX ɍ_:f/lPd8GFZ<0`>U_Sbq|Lcv<)m`gN~{6MUD, 9{aY`^-@f.R$5c;i]o-1`zm)|:![0 &9tn|yG øj9!`e7)`~Y}2Rrax f? qY_$cfqΊ:{N8^LLsQP!G V/\ыH 㛸 es6}toOiWgVN#aόt1ՀQ\9~Pw~c`S%+SB!9z{0a~ ̈́TU >g{s G@h_'dpWZWzq+bH:Q"^JT#k>y'?sXtf$ww|ch֎H=H>d< }o%&w6X ,i6_QF #UX#? ~:0N0pMĹ!!oӚ:0BARo.=|!M2emŹ:g Ё 722pa1.R_sU}FnLH17tX;aXy e7 9؏gp86:w&HSj[ѾBlAa@L;NZ#y𖺓In7v_5NوAC]dÞ~Q8nLK"k2ӵLS}\|_rVe%& ?E$WYL+cOxODd HтLw'M">Zga5)|yL>e1oym%dbކ$.=hک0EO&Lrpҫ||nZkϰF6zߝ+ |ǥB^.x3 n ;37TfϚ"b#-vHŨz-syr@G3@vLۯ׎S\>)*8- gKIjZAHkraMod -p;HsZ=YhQF?}UmnyR#i`@(?<_ Uk|iysE߫q 18O`i͏"Hc aK+y'9LDB)X@"*j(殆 um5YkGN8IK-8DB 9x 3b(?38S*nA|ɒFii6. H`3~\' 52շ &ujsqGrg@wA0l,/T,Cz<8 !Ɉ"Ns/hـ3{zH:,bNϺч9O,nx-^E-$d,cYxe`tH.QP,/P1(j䅈U`;&+=f2ѣw&ff +Lp^XQʽl%`Oet녙3 75_e-fu[qK ڧl <ib5@J\B6fϟQG^dGv4JY6kF\v>e^e]r< RDf=r.+OXˮՇdtblȳ;qBI+"brw|-ehO4 ZN]G^ hߠ{[8FÞvזX"vi{Q%c{,NfxEWGTBG^U['t=kohBڑ@6c]?|-VSXJCo*FdLbqF߾W3 O#\02;T `|O0z>;ϒKn0]H2uܝej=awlÖX<[I[*ŝ҉Rwhl Qy㭉> _ZtȰ6f[=  oa a%2ak1@A*n~j'&; Y KdAߕ]= p9Wzd#E\ǷYm~ۿӨtia+HDB 9H߳f d?ͩ-m揲>G҂] !.Εq=OPu]wA-gbW$E EQ.]2ީw]ctzg̥?!3y9q¶$7 >ZS-$v$-#Èj TkILk2Mr։%97Oҍ%x qT(-KpR$Z$C,8R2oU4mY|GƾzgX|tzXQBЋ>FaS(;yME۲Mu*M1<'=N/E+n< ᩅ,?ʂ7@ 4i[ A Q&ܡ@ӯ,*̴nXX7>KnpWFFOZY uۏ}|oQРSP۟87m1e*AjE": ͵2߀S!0I` .kM"^o¤jh aW{x'NlbuIoY@VF>ݩ^l,`T_"U|FjzzKDUβ<^s~2\NyZ|NbHQ=ߎd!b!){WZw \|@)Sdfj_^tz\憋H:aމVѯoo%;$՟۵wϹȭ eirᓷ`[<"!Gc@?7lFk@6/XûOj b:ײRCƃJc {ExvDX4ʖ-0>IoPBŞixVD mgcKQ i橧{ |<@ϗ M?ePvΣ54ߘf;PC~2MՃ~x2ƜO,יu. W\-3f׼L*)*;X4H|,9МۯU"qwo{`K(4]eö(o \qj 1Aglhl./ bC dNwZ!!/.hH&gԆ%\@7_⧮5:7_ $;:kXNO3]fr;em4Cy[j}JL7:p|u5qТ8HN:WB}-W\p^>Ȃz)TZ"ٽ)pf@Β#G% ȱ/ډ[mImCx#䆊4V@2r x!=!d9h׸ s":*ɛ>$.IQd5"fR97<3%e D4H%b n|}V$OKF!xMvN˭1C)v?A:;O!\|fTw§PДؼ%795]n{3] f": [>tbKOэeU mJ* q-x~O\;ߜkgb)Ya!<-X%9mJp p `_"7[`&͡] $fҹ0 ?wr@/Zqz ۸1L2G:z% b[f@{SNP- 0@L'ѿDߛ6#0Ity/pYT߀ o&唶Dr WQ&l{]n^D.wgTɇ - J+qZvS=En(Ձ/k)@w@:SVɇ[A^#mk3Z&"brvOs4?MMcd;&K3y%Ë"ݢ k&79]9=fq3 BTz P-n{tp`Zk1D{g3oZ+{i"zccKom^% Dg?Єr[\+kg@BX ]l]!K/ecǝHV,W +[kq Xy7@:};h&] *;ಕ^? И!nS 5Nqy -``= &Hu ?+fP5 \NH $"x #٪yxtSgQ,!4;DC(.9 /-hq |Mg⥜}Kq@l=Zl<6b9No;yi(N;PQT9#@~aܯ2ƲPz_yh#@\;: 7>PV(Y)U Uyo~=n6e!l6yiZ·t Va+BlȈ]{ _4#HlEX#vA^$;{ęwhn5팮 z2)v. 0`NIUv~ٙ8rGFpB `N*Jz 2Q$I9*T.^Ob=#?ŵ v)H{0e%I9ع֜z𠦉d3AFcSAMZ1FSR8\uT8<@ZW5Sd]%ɹ|ά'QOUnRۉv-,:˚*eXWe؃/z c"LQjZ2=׻ˣ*iNJ&;_=8mل%VXFU!A'ʻ;iDY3|]ѣ]X-=os3ﱖlF2D * 2Nzw խ2*dJPpOtay}TA2.E|*P&u|Qʦi]=ap,z$Ud2/) ηnL轐ertfZ$Crg'8)ܷ2a*ijkmo^b 6R!~EfNq?^ qN:#UJ}C/v)ˢٮE:Zhhа'o`,lզHG?o\BW;ؗ2,(tw,bJн yX Y̎&8aЏ_ y+Ţ]Ob2|/7St % _>\N5إ@=sg%&Z@Tb֫JߒA41*~{ }S l/sZf3}mbn`cd{າnGd8G=4鍅h |ԛP: VQ(qe)1FYkߥ'V zn8j :Mr8c%]Oq|kl:`. 7a۶,+C$_QAa,DBR0[;!_՜ h]@|!_p5Z#3RHr6z'p#j;Nh׶xX٥>lD<=<R`oHx=~wJՈWFHj'"4\MZ !<'. 9{+'',`#>ˮh[=W?su%t|g2q`YiL! C{?&)M%]#{?nKLiR:B uZIQd/׈#~c7X-jLYz5%#nOE~xx7.LY\yͣ!3%>5 &Dq 1n ~-n^[57`Rػ>r DP&LP}ܞֆڑ3R$Lz:72v),V.[{QaNe/2gy(FWjc5minmK#6LhvrN8@ˮ kO}?,NN GìQFxWD(%X"M.C6 TPTu| vv \%Y[؍>ZB]VMs8f6LR.xjRx`kpY yޑ\Te_/Sev8 cP;I7h6~"R#X?g~c->@&*>qSz6j,9dcuJ7>)]۾T&߭>pJ9n{`+3Z-c[FE|ӻG2'c㪛#DCa ټ"G$ݼmMPJOkap0" qF_iqgdXi`P΀+Yc+WU2eo)i7gYa˔ynr ]#Jfo*,O|=WYA!Yp@cGݸ&NmH`r"y,:w2/ہiX"3F.O(FAv]*oNk5l@r=?vǾ˞s/>Zɉ G7}.Xm;od`f ljh8OiKI =dpJͣ/1|Rg ͡Vy C&}]%-ƣ`O|ӌmN-- T#0QbVݑ\*/+[X壘Y {UO]W=79ɿ+*`ONqH*|r>od>w^@hȲP2X_2$)GP x)I=AffdԫzLӦ>^2I*l?wԠm}w]io_w6cb^z-|=ߴWD;^!Ҧї[A#F}emIUGo w l2_ʕnѤI Uhh\VW.d߹4tD12P SЅ6SV2=(ZKEn/7/*?Q '\v WTvЁ`b,M*\ WcK>Fs7:税= X{{Q0#P&IM-F'=WE>#;d=@s:ӄ!/+ay'.Ҹx3kg8ܽ){Z8܀%A#4`bӦ & *@Z*̉m!mh`U;WYF!_1#|GZ%O*D>( [aмg1_ɑ)H'7ݣ;L쀳ݎՀsNywj 891c> : {ʄy睸Nвnma 5% WmV\ ;mJ ?RH{xhŘ~ZM1 \r9ADkзQ/?F(Fsnh"VUg٦X9EO-D fMvaCnoX7\atis9rEhem^ywItuJt:;aͤ\`8T IvC=&;K}^yѦ09aSoѦ<|;'oβǜVkeɑGx /n:h3!bLiq{uBÁΣ%m{m$;bU =} K#Z]+kzKטZ7"łx(ƨ2EA6+X򆂅IP.(,Ң7g4 tW(BJϡBvSn ^k]?cDAUǛٻ -pL+ # y\X2T13xLB"gj e!N?Ƌk+&j4{~!3Y׃;#5!5pS}?o=%VM[8!mm#ӤچSڍ?™L@75zr>N tY#y>,L $ Y/¸dƋnO0Ig*Z˱{w6^jV%KFrYuxV_}RcqԚ/MθS>;f&XsaD¸U̹K=V_c彔 !l5eoxm5Ol@ZEzj%qYKs#71]'1* DESGȼw#Z;-;|ǾVs͇<*]YCgU 8 i `X|aAиA[e-ooouGwĜۦ $?gsb\ΠɁQb:Zh鱶 _7W]V%ڦHbt*k* c•DʹX5{u1o1Iz/kc(59$`*|3]'?}J<362\F7\ebm.c94+=X? fא.)7%{Bܓ['O%YP >x2Y8VM"U4%vJ[Dɣ6B9p{LQ%~["Nj=An\^>Φ(Ql^ oaSt-Gp6(o]gXT*6%S3`~VO-_sN̾KJv2ʖrj_}4-Eh Luy[:AuTHɤ9,E&׊5e1ʸv*v'<)Qbk)^⩽Aa TЦs̥}7@ON@8. !tMCHΝPm( :28ϰ7;q{~ubp8qZ |-GkSxO8ٌ!f&}2-\ .c٫& ~]sfON#YG09b'Hv O!0+&5lUA.x e5#6[ M{v \fӍv`,lSsjP %Ŭ>Q9Cv['ݙ,fi|;bqAٜ? Ro'9"\ܡ&uUH&d60H߻~k}&*3_z3(oѤ동Gb)3lv)GRF~~p{ʁuA^ kԥF FJvTu8FZGԊ8# %{mf|M6*\V -]T# 0zϖZfpW;(.0|i ɈG%~ѳR&|}aUsL*?U8.ȳ 4pY캽RC$1p ϗ-'FB=}q#6:d5Rh #,T; $RkE[23ϓPW|OI6v$;?#r9@ePïkd3pYwы֭v}|S8k~ K' aGbR/5!欛xʭ5AUI3Rۅb3MR<<`um|jbP%% oÎkbK5 lUOlAV-%n@xQ|нDznn1FȌXguH!q%&`k$r:9Yٹʏ2/Qy> a&`.Qm7hKyeO3jvn M7? $pa I)PTa~;U"k/$Q/QfQV_\+!ZM{Tĸ\ <[yb8}m8* ы.dxmF2NRA\ JO[$s ߍ̆'¯WH5)dA˨ƪŽ(`Q81HP[|\ :e*J_`F$ "1~km־(gsy Bs 9tDlYt$yT^*k4&֋-{ ~;O)h$yNO\yq&v!ék&m@9_شxK.IUˋmM̊K2Vilbg|g"D\|Τym,~S{ĢEz߼c0oF;m7`! .%\9SUD9C卖9JB,nC++ו+WR Q:(ذlFĻІ6clǟxSDҷjV8]׭#渺a@ZP8Q23DqXe' (C-ZC{oe YA$ VסV9-J/BE]􉷪AP*&JOi@]gJy4hcu2^O:;{y0rޘw.Ft%|e?RV+\wȻ_} oB=t*Fm|ڐ| ITL&^"v!ՂtTا D )jA=x{&0 Έ͙"b5xw`.O\]`ab4 A۳Nz>xrDi+9 YNKz`c5VuCx(@%0ej5-_`ǝxvVRЮ +{'-Ѽmud=2 ԝ2ZtF95\砭IuyC݉>iA5` l_Q$hAD!^ c'Pʇ*X.Ilϛ1NHUx=vԡ/%"5nRADV Qt<$} iz8NVPƖW˥o}CXG^Yd:4p$|+`H۳VCkGa}_XbwbNzC|^QW_DW#Hix4$3}¾gb̾PS;߶61ȅq >u@=q1!;z{ƙ+W$M"4+"r`-I[!5X]bn|TKN,.{OЭ@uVcNljO2wxױ3yPbNv$lQrtIׁC4zϢy~jt괫oZpPCfَVcp&!PGĕnئ/㟼?q2$ނ\؉G[lWx!.ILK|tΠmD{H(х z>Ŀwy]WX&dnɉZa֔qv88 I"".ꑏjk+k{-.vGup\D4&MPۀ .RSDi1"l#h(6<%UPt쳊B0ŁF\3;B=4:p& tf:4̆?a;_>,JX]x^{Qktl=3M<GP )J>U$Ւaq,JR[op 6R3py(>t&Y ,4%N."3՚#iamzxc/ ]vi ,0%m!AiPZJW:i2h? +wzQc.g$k/Mb+^oSGG*~` ا'Xp2Br$$^ T;s28B<(R=vVء[z }^s%Lϓ@/D^8v!VnGgUuKJ]`̎:\'H_yThS[pe0EG!NK %7V<- W~0"(Fo}˧B+fYJ3S;X7X#")q]/qP`/)x.+&yY'HIu+Uoc9~bSGuԱuC AmÆ,DL`WH?"CQjbI8+n3hE( VòZ%qnX]E*p_.!+LW94a b3LԮ\YX( )jQ#&spBOB7*qĿ.V]\'s {{M6}NS;@A4T/Loݵh\l 08V4}jԍE؝iej֠Ųa:ğ3O> 0$d(t=01XmIZL55yd<(>ƺx'?Kql0|5HgW/A?ݱqBq1CzuT5{Ԙz4oBm2I|["ӞQϑ+v+J-y> 7j{JX}înR=4fҾ; AedϺUfO _Ajuɋ^>ʆ. ;ǖy埑 }kZ 3 `j9YGw*1B%nh ȹp"|IM $'o` :v#zk_ I;+}x?쏘 w8'ɬn.؃)$$E /a@\4"s挋 }$]!pgQ< vQs/\u rj8WOFE2<`P*GDӊ:Z XVk٩*лΪ<і>lK# |]Ӥw;Ktm c<02+8ȿ١s^ ʛR n'Gз~!3h*Wn*/Yn Wcz`snU@rgJMܾQd9%OMbF 0 ıwYq  A)E4:5GC:ĵ Hlrz1G!/D.v ?V!j (v*^y,[_>R#l1 4͆ψh5f=|cgZ"{X/`9 jiUESv}zYWHRMhRuF +xdF!2"z?Z cjGR4od8T*:f^ݦNCG"X-3~ʌ^rJ C0q!x[kdev.D(V8=ƶ{Y3 Z,m$HޞrmF֊*ϔR<() I+83؎%J-ƫX$Vt.8z4?QgҠ{(Q\L.͔an'>:-:g9p" >ۑCs^~õ0tiŜx :<<4L tc ƏcZ-vbߦ4B_[n ܱ{+\dYHa#;&odc n*jbn~ bGkusWie8}L^a`0@<s Gv)It VkW UXߍ\ ]OB6K") >zDb)ٿ.`[1_8F'[ 3I6w4ejVtjf|9̤FztaLD9 :ث`Eݻ  +r#c'=]#VH&F WZ҂wpj c>t!{څ To!d~ZCǹlmx q"ݨH&NiRKuq\Xх.vpwG$4e]dw`'asc;]CW͉:aL>?s?vsIW*` F1NL N8^`ZTAf\ZozSMpK]~Z~lzOQ-En̗iPgѭlkmJ5O!E-'RqT%dvHų5-K^%N{Lr KtLƫ+hھ$%ڑ&,Kp #2aMխ @czў h8KIBFܝB:itSw~NP-f9N]VDt ~)"7");tUmᅸذ'RKNu7dv`0X?oO"_EM.%#?3 9qף `0V}7{y#ڏ֮e-JK& $2siGj҉݆7lIkĿ(`'X.vm;2V+c'Yn==ro$+-A+DHs $D0&Ufu| d>gjTdXb(=C2.>+I53wP}dKMrtsyp`CLuU9A]Eu{iWuG,*, ml\o XˠI Ms#Zг^;+`ٚv`֧[?7(7xl^ԕsa+ 99۶,1-c PmsbAZܫL ["OTC_NN` 6{vރ5y.Yo;n/4t;Pk̅ЏaS4P'ƝtS=uYкu#J:Gs'-p ېj{=n`T9E _́y s.ޔFKbu3r b[ϼC|f}<9i?Y^pCLGg 2`A; 1ۜtQ+1nx,zո{+/>MPu MaIK9\?Lc+`v:H,oNΌĭv  @u]DmGr9fLD fw8Ziw`i:!xi&7^K F,#T֦YyP=Xr6_;ُQW<mSYdjGE0hΤ<|2]"+n b0m;zH@Thsĕ~MGڱe'td?ip<T:&.f[U:hca6@6\U*Se #3уX"{!(lޘa2)#~S88XHM||}&08QᏦ B.O+ |lu{ *iy8w@م&C:LO$[F}]lFS#_?U L1  ۼ3_­_`]825i`Si1Þcߥ 빃h-R=× < 8kte{EbX:v2g<9]Yݞ"=z|%M_s=ew]H. 9L ܃P -C;3:ڨZ\.Aiwԇ1MR1e1[~/U=jp)Rg:No= y,c$F<,(INL*7<\݀cH@Em.MTK=aAMG)4fK!7J\3.ȗk@zv+X+ֈhNè$kPh8G噉3wDqZG)q¯I>,F!4<}pkJ\O{l՟` sN"U7gdϬ_l4:c8 CE֭`KTK4Lr&Z:Иgtr]aBUA 6 yX]z*1,K"!7 iK ׆8 7]dD|)_k +8I =?~t >HN0,wڳ4]9-ۥΤL`5+ena, aN`*HLSe=KƩ?Ɉ7x*+{  ۔.,Y=ϫ;[j-T##&gg7Mh` hZ|d0`u]hniGwNV4h"k`>kCt82+cq2|f,G]$D{6'*@%xCzDH&w:6K- ؚS&ZNUlGiշB~ 9ɭI,Fȁ9Mv(r; Ry3Hr@: IgEA{G>*eJ-v^?ME \M6F6qM= w޶Coܿw*-HRq<>B]D!VubK /W)\ <ӖO5f#Rαk2A ~3'dfJڝ+[[q]ϿmN E'\>K%H0vy+-I Wy[4wYD)cMcʒv3tQͽء8kZ1 Mcy>,,њ/reXeI''5>j)o5CK"JQ3y(7j~t=5"H9̲n{#3KNQGÙնr흝30P}h+ @$~0GUG} ;^{ fh'y f^ cd2w>2c]NZ u%G&^޿d,%wXn wu*6Jb[֒O+3]*a(hLMOt"XUi0xP~K&&mJqWYE|P-anh#j Ō(䟰1@Bڀ1~ߋQ,tkAӾ,wY*~K{RTH+;Kjxdu'n /*Y@+WIe%2W@ЊE0'h1U#vttIg@V #w f>oR*mߖ.t߱gYZ7zXZִF! 1]ŗXiɟ˕A;[] VmTi{RM9%K;pe:}Y)>%bhJcm:8zn#=PjKi܊rcX:_7׳\YJNaMVZY"[#РZyi'˻VvpԎvfsrd-Ҥ`u˘Ӟ fMZ=HzqӪ!Yպ(S'-&O.~}XQ7y/%^N^T.t9oWCVogYZ7zXZִF! u/]ŗXi%L&ʷRa-.|!xgHs^dzzٌUb ?+m4kIv\A,iHCV \*GR:v٢@Nbi繧N`uH1tU3p|GW~w pԷ$N + 1 MZ^OcMga]~,*Cx~V{U3cPĵ/72>鿉OXh>F"sЊ9wƜ3~۽=Uq=̦(JipoX͔qNlVA dz{3iuvJrֺ{[SIPi = 'Z3pP^5yDqr9/o p'"j CxVb%&,/{Oߓqx#Iwt #w!9xcur* ȉBc/aCriE>[ߏ\)֝-$uzJӷ`|lvLL7h=2Vt~ؐ7/'MUwBd#NuԹ Q'R|(\vܹШ^1lahپBymeo`qC?DBLؤ8O\Ͷ_Ci"}-ej@oG whcvW t[;;،P- q'g)vZw#[quz]E|ɢu )S&8!MR)]2"yFЁj}Բ j_Qb!sL|T ]'}iEr\-^WE{lniVj&2beΉmĚ%@ C>@la2>e}K!K*ʦm8sxDZ&3ץF1kZDxgr IZ:ˡT2rK[5"42sLloΛhZf'tO7w i/XCT uAwz A8]9Ex?(6%#2C/ШtQlZ ja<̓*">L#{ (,TyV˩E#\@ i6y_Ҹ9 '/?@~iK,`5AGC#b;^C!*0*%(3){ m¨ހLޯB꼜8詪Lϝ{%N- S,TWGe7-o洝3F:8dаdAFN07pn}n6bc&R+ ]!\ϜõgX*`s=[̓"ES`wC: *%hZb5$] Ó:`GeG*dwC8pa*VX4 /Yx XjEWe0Pm!]1ϣZ{L`ߐjM]y| Flֹ)bXIe[ )ܤ<m׵둍@صB`N<ʦ;.YL [JSykgvC3M}H~$Y%hYL:9[8+I9aQ ۱ş̺BPhA'_n2:XRNi!]htfH5L[6Qb@چj KR28ƜBO0epO )&ƕކQ }#-/GG W;R_YW3F KY'PN44kB(ow-r÷vD1Bq)OB gYZcc51baa305da8f5a6b3d4d446a7d4c19dedaf96a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f