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 ~~^3~4| ]/ HOL-Data_Structures:threads=6elapsed=233.415cpu=1334.488gc=106.8447zXZִF! ]ŗXiɟW;g``ϐ0_U$B11̤@$0ېArn"|9 K}3$ 0ˡ2}I@HWG?p1NNp^d@l~G># Q(T; 5˫`mX 4# h@/!RlDS>JtQXmg0F lޏ﹡풛ևލ_:Lm[2?%nOͿ/: ⬔pfB6nVS)zEPk9CzWyꯂ s^+sww͸FAe^-Lq ׏/?S }V gk|i/GmYg$,7r5K{Gbbr6@q>x%DrFopjU:Ǎ8w&qawxpu+J_k?DA@UT}47Rh.w/0֓Oes Kz Ui0> a]'&ZԈ<P!v'o'~*ϸ)@U7 ryř=t :A%mh 0vQŒb^ml?V0., L *V+;ߘyHH6I^L~j"NsO5vYpRn in2Q ƃ gL}D MK07ӫTH+{-GG(;u'4F=?A:937yeC@A9?wM4<31 L%5긵 u~%ʢ)L\<m#sjIV4&#fa ilJ<⤤)Tw+o$ Uxl$Uh0S'o&cU/6JQTXɣI fvڨY=iB7IxT\+3[iќq[DK/ ދ;{bM)1p&B^V :"! %Oel#-zhD|!V}uW܆@ 0J[2k8B*[@5sΨtiQ=}M,/ő@ 1IWs{ ;>Tj,~C^s}':y[ƞķ U:V,ʸ໬]y45emI;H!/tqc:"WY/OhWڞs9|ިءmo_f= mZs|%R&1}< ^#uGYIQ0{=qۼ<+Q*^X1pQpNYvrRQd]n &/JVX}Mv:sG\ 3 HOL-Data_Structures  |(s<{B}Rnr>6P K1xx?i\pξ.Gc=e  ',9 Di )qi@/͎Jly~/R(' u =; iP oi~!0H֨W՟'Qw4 ;%v%0MqyA$Zm{>- rўgLԟVcA[/+ޗ?^2}; tM3p;YQךXD lH̍tUkq3V1YAӺktoOqe Wu)7J"Ci–YmJU#K@^R<::Aa`qG,HI c:쒞yÅ<;{OLEӂݭzvOe73 76DV[={* ; U VAOuk=3N[j}o_B}eqyҘVV[[:ӓޘ[- iɘDAuy{IĔIp7NW7;[cfr^9r-wJ3f|≇fL]hA5>&xnݩ|@=$2?fQXsosDž C[!g:Zq O⑕Ɣ-mhQ@g9jJH-;Vؼ9l@!`(IħR;a s¦nbpp9E;),9Ɂ φ ![҇l D, \hlCtkz..W`E^ fmÿVV@)%|@=-cu7uaYQcl joMIJ&^ ×ƻΚO`G\FP%X@EƇd8ӕe`јmyU/!wzELW?Nf2˕se7nC7L 5|R> EEH?a1Hz%0i>V4= 1Klpr:/|jSFhFa; :;'E$B7!wi$|D57 fݍq*M ?MZ]%ƨ*Ά:nuU.M,sD_Er)U?.#sV};0 9St y1qa$^Y>A1[/Ϟ5 W(׫}m+^$u mg0wW>C3:XkH*PHg:y!+e>CINh{:;M2(;%N]2+;/ZV'pD9#juJ(,/qL tFS['M6ȋ"t'Bm+?u;!u^p7 QPckhzjʳ" p"U'H5ܪ7 c3"|, P4e &᯿0Ĺۦ0.@s2u\]_V;tQOZ>)< On Q_,SoYA|hTZ/ݬgbMXAz([>ijpe#_\]O{o2J坫d@pd ^6̫K F]ʀ|C[ݢ)*_C*A*gZ9+E{Ywp+RR@bqEAޗx6NteE.z2T Eӟy k6 4j#: î~s* rCY܄mb qoB;AR]""N۫eUk22:!ЭtYoyb[W$4L8,!2xRN~P/RS˲Wž|8u D>d=v-59έt+oKb:AArv):EzhJQGUD9 9.r[QBIp32}BYs+wL u9 qx'i \*SD29r$"gYZ7zXZִF! Fb]ŗXi%L*n#]yn@Ҕ]:@Iiۿ) y 8;<9Bb6 O[Zy&c+Vz~NCi]2iǨ>@j޼p;Ylͭ5~M8)W@_ wSp,Jf,s}W ffaڔ*]z W;d`IgMH_/IM(kV׃xFr?ݰ`e>QKXY>_V&Vep1˫䷸`J&*Iۊq),ԠY `#5Θ w{nBמta?{0OQǠY49*b^aZ+cd2E!K=B \C9ۻ+ րn0IR8ЭUɨ+#"T=ip;&l@(@yB)~H4|9ěT\=+k5[}4Mp2&ZxN?Ҥ䎵$r~fI mGYH5RӦ.Es:BP/3jB½:~t.4'5؟%.zq.wx%PQ4XuCҶG'O@iy)` =$w?"X$KA]=lb0+ v4c|xEn~ST*4bGDقy 㵎}(煾k)DK~ S*kT׻+z(0u$/iTC'0:]bM '|6m-ܼ<\A۾NuIoFm- Ƈ'C5iA*mV`gNY @)$\ƓQ[9玱_ =d BT6g\-Vk^Izxv,eVA\0>7+3,d.ǢGB]}2*:3s5P-֩ޠ>p!D1z~JpSn$nPE.[:A̋(s) Gbw5HdnЏGU?ަFBؾWxp.N58KUCnPH?^Cs2XP(ؔGO̩Ŏ*F*d㺛)qX hFbxmeG,T|OdӢ 1HK$A؂(E$&Z6ZP67ڞ=W2UТu* o"SUztʊ]G [,]tU,GFz M^~0cΌeup`bOEͰFՀL# 6է7M8$z^03C l߁٨9a#|kAq(aomL4[VLD{h~v1vg;xa):c+BUL/*ܛGG+ 'g$_6K.ja:-K]Eel\W[S`Bj#"a$ն}>mV{C>+NߠfLkaWY9 9 Y>߱ BѤ?5#]`bYVEuO ep.%Y!E NB N0`uW~r쇎KT31$q/w6~`@=~6zj^֣'Mi[Q~Awcʪ+wK"@1E+USJi,P@q1Xo!5hĸ 99xq7 s2ooBV U"b7+:$¡1w`!s4m 1ymKR#UB _{S(@@~a:oTs,!1OWn(2+G!k2Tu9Hͷ,ϝ3/xo @Pi4IŨ!A0T:w HT2C/;9˂vyc! )I[ Cy*MNvryE{ĂLZ^?ޱ󺋸9Fan)t;DW `sz lٞx DW*ᡙ<0zS gWWV,F;ZCEB#VEqo"(705"B܉lXPPH5CgxosT%}(+}$xdw0)p?İ7+=Qj4oraoq iX{YG'@KN50PCE'm*c| 3i!I^6*-@y0oy^P /-9f0Tl!2oW(=* 4 , %::f.\Iг_2-u0U(h},+:";wRASYy7.rXq SL};j]`Fan)O9״y7Ѫ!9\.W`""Dwiu "Z )> ~\^WYBbX;D-~=iVTjݎL7*֣ӹc;}ZhN)c$Z[J p{xTA"@I|N-HQ6E>Zr('/rBڏf;T]#nY<<7?Z3 81fT%vg=-y9NR_\(ePkw*`5`"}W\_v~|h|Ot&L`ߔDaAO TJn[L ~dZ'9QiA4?_d`@fL T$#clM AB.&1Jo7mBtAO-#ςF/s]ef"Q1g2$yTʡJJR& 0s`x@pSlsg1t nfNPٗ_=8*$Zt$6 ?|J T:G߱\S$bzf T0y yH9 90uAÀ,- "7:W8EϘMA> KXӬ65=Yl2W;znMFWsXĪ65!jqr$W/l^c;" *0?ɧkRհ;kƳg7~hC[}-|p!WK8clD_P@wBN\gӃæ7HMem3&!-'_jᆭ 'c{/HLتT/N˽}w1|j-iwXjQ1<X˕D9Pez$O@KpR3ف@UnںqnX{xGZPsu^%$9!~ .`to'fW֋] < Äַ3TDE24EMN vNDynPVכ,eu+d`-$Ӭ9uB˝!^z}ڮXyCï3[oZ ',&BP(J rk5oCs#[P>6aī-@'-WU;YDq!˜Oo]cu~o5yg{3bQMw}=HQt,QHv3k=ƙBQUVQN ͽCjrd$͢vBO:_ o*džKR}kTlB MۦɉMykS3i%d̢꺏O!]]πBuScPCDMZՏ{McpT0=$_~ n5x#mBX+rQbX^仗Z;&SOve^G|g=S6%3ha@/lyk,7!TOPTw`F8[,ȇP/j V p`RNg c}]jMB]ͽʊ$>'V.k=yڷќcqY$'i>ӗ>_1,SW.=(}_&}d*:%O;u\2MVQ Ty뼅NTD(©*VIA{_d *+? vy|cl!?8:W]o\OmF6pj*͸أ?e>=Gk v,,KbW2'C?6VjgT]g'Ӈej`Wàw9s i6CfcmL>O˸9/ ,8M"q4QӜ;,Qzzث ]6F^ ”Sp]}룋7{9ngFOA$C"3Ru6mouW/9.y K8g}.(ͭ uG:׭Y[Z(p[Ĺ|hoMP\Ǵ3nE1iTˊ%(*7*F`sV˞f]x*?zξ},"2 H3o@k>;?k B2kH}wB9ZxV ^#U[۰]sMr-(5N0voud^jC>|C?'WȲDWH:X 2)Q: ;Ta &d@vD UcMz' ^vw2sp`;Ƒ.̲~Ts *(%$'nzBdR#ENh,XM |BCFixK) 흳%LШo:`%=&2A͐xV/dou謄r%O-껒x Nf .X)_\LUO&nƩ T6Ʊ=)4*҂zaY*Z^?k5 S4=ϤQja/Ҵcҗ[6I RU.ԟDhXr>a-w~> uP+ѽ V%| }j xU"=}z= }0;ߺf_57#$B6HOT (Wd(ՠr#"tԿQ9=J]qC+gtE8?Ɣ՗%dlǹzVbDPLxG|7P*43:Jr e3;DݶO^O=EFe.!k [͂50n u[*UeZ|v1+C:}+ԡX޾uK`*$5&` G`7ME^˂ 'GKd)t[t'~*$EbzDCpᏥR18v[>jO^,c~devs.Ọ(_p@n uw j0\`pZoIxh)>u#[ L~Lw [<8&hPjr79)cL-6㞴 =yHVˀiv5 $Dc <&oYtq y1+L"tnTCgB-Dh[i8ՌD%c؁/ĊX !KRVDy(: /}EǗtgvv4J77Gyse Ҥiz݋|xBHJJޣtHN_nͱ'!n$yv̂0ucƮC=&_[" N="_.dzHk(<) s~ЅD_:5z;5(k]QjŜ%_ !;1ZnPa=ȳg #!饂lbukŐi^pMni%:QGy0T7y#LGےU%Q#]]7u)~[ iR8d=/ʏK?j- 7\+S"Wpih<;y)R%q"ۜ)7zdΒMv0;SApSnjEAye֬gz\*j~m58^/wLω.?1;aKﺖ! >3@ *ύϺD ]D%gY6sG*[C4{pH  Ьv*`LsSwkļ0FezWB)>M&B_+B4Wzp *l,֛ykVUگ@j&}a9Cd*r|xylU[qv$zڱC!=J>ƃ \ 3[j+5A32.~F\M !cz[9ӊoHOa3*t?M V@ҟF 4M_=c2=&0)eKɿ1 S8h2lG6ǣL*mCwr*ʻt@(M:H*,,"r+Ɇwa锷$GT/f mC^> KQ0,m -!#|2XxX"ǻ '@*չ, l *A[7(=hDeNT.ɢ&WLm{u(F6 踖9?wJ`k1͎+*=&_;ʊ*{e 26хvD߮$][I8kկ6-?0t@0:>bdj"m|lFL]Y܃syKF3gP?7m6C9=Tջ]S:ŝԾ܉szh:Cu]8"-M0#)b+͞jsO7W%ru .G\n].r w/m͜q 5MoSB$'^&uؐ#D)"n6/FGKi4K.y|_=Pm쏸w䷳`ҭI9%2b*i1=zf* T7RY>(' (jT3̕<ꢕwCR(J d}S)O `Y}0KB晌Vy߇C? pF/B-+{ h=Ѷ -m RLךx%l:HAO&.S4Z3jOhIoTH2,qT!0}K96jͮF3Z<ԥ P";Ƈ^=P0V!Lo-< :F@z/E"j .*߮aIJ l 99}a/{ƣÿFq0GI$caj= j9g0k(}uCJᬓ}鑱K^1A!Ol58doKOR󭀵24k {S}}u) p(p*Vcm|⤍5hHGFE2)GqkC0.wCՒ†g^nO6/پ#1y&S)@"'Oc-Qȥ C.AIBpyKCJyu6c7_1H"5ވW :~L'o1Rz@Nsu ~=ž}~TԖJ!^1\Dsc/8{#^/mC`#zfM̡ :ŀb >ӣ톭~iͷkLhire_J χ$u vװ:~q=@P^M \R˓~ !4&2S2,ۘt N}kP9n(2r[IHĜr2.|>6yIE4Nj 1/Em[6\rKc:$,&4A1NyL;k8IcH,WZ]R"}L5#33nЪoZw&r1ur\Fǥ<z ]oKщm4nP,%!L $–=Be>Iɱ=V~;0~7mȑAij)?nZ/?a3x}էbf(DY,;Kk"=K*lh"ygf_ DZ>vbf0DZ-fȢrΘjpE8ɟ8MIM/ȘQH9x2 ==rL~ǹZ漰%Rvi<&z%)mt4 u=X+ArZ&is:-~yH쬞򅈨[}a l] TunT[(>3VBmxDA [r4p;;⥥Cُsh]WV bAѲJrwH0Ŝ !yn?\I^(Ϊ)š9?Ɯ9̭f{)a8ed'2M沿K+_+ML2q-h 8L⨬@ad]Q Y\Q t#9 R2W~?~:22JZH"2$io.UhАc_[w'-LD(9ʲ@,n TkRktdT0WGǠ=JAF[h̿ b\ȏ= hVwa_Su4g^&~EI k7 i^lok bQs&9 w9B経jڳCIzAfG^E!78cU;104X#>:bx, hǑ파d'3U_E'^^Gi|T,+3ByNØ[/"K|%i*`y[ ko74&´q]cGQ9 3d:&i6[ (65fU~:`C(10Dϯ 8^7 1;ZG; ҇%e5~g88g4_f7z5'Oϳ˷-Dm'~ݡv2j-p=}v="8uMڼ#L8E؏P9tLIj&Քϐ.ޓ"dOYib9;# O;y!&oE Ujߚp"cna2DCk;*{TEqs.-y |^RU\~!^ۉƠjS,ɻrSihfEce(u-nf6MȮ #C_qVc(ꉶa ITaQxvuoX7 T!m_<^逯AgofK\`gN,u+~`~<mG } |5ULܱwXSiXX٧P*f{Be+ͤkGE']Vv=ZT]4&n8oyQ{&EcJQ"(OM+V _䔴 a#b@oU:lp?èX(epA B,bP 2Nfvp,+'ჷI'~?&t]ɸ$;5|Xnnv)sUv?QfA,5 -/z'I(CPu@8Q gǩ0M~)+UXS<4}+]ErM?Kj䈝d_1&ocd'`"l&\9ƪmk*Pb%38xݏO[zLVS9U*hvjSs&ѪBQ/E3jFtM7zVƹ 1*8_B~y즃LJhx;(`AfɢJ0OXWߜ{fLj#:>gHWm!wB'󀐮YEE %v\7`NrA/Vpaˈ\.A"q`[Woi6-CJ&M\oLѴg-< я.zWؐ#ʰ=,w*U3x4h|Rl"j#sKk|i58ZB h3WIܔN7![47mOOjXGb,ߍw-C`σ^g' -m7BcGN[FZEY`?ضnƏno4N1&_6szm6PE}[*7+wXA7p"ZVLcSaFT2ktbVߍH;(6@50ؿx.A H#ҮJBA Ew&PM8'JmuP[Z>%B@4@^GZ^X<X?-t.ZdYgϓMFj8{qh^YՅ)V!~@5*@ uj PߘfNhPOn@P$|9ܬގ؁mOJ=BqC:)ST#4iC ZF*)WgN7_+/rHxc5jJ429TsPڗCf>t C9LfQ(/62i.~h1]}5. Vh۟-iw]A "M9:DXz5#oA]{IW! B[xx(L5g[S0gt3oUv EJ*m|W?ֹxœ\Zt$q,EpҜEQ+5gc3b2c%0 ([Ы8ŕTy??N(X=<SJ `z4uH,;?ԏM~vg ΀CPxic>X޹']E;R>}2oq$f_ |a'&|dЁR gl3ƝW^wxS9@zC &/IiU9؀2YEKt9*9jq~8ATjY9t2’ l2Hn$4@݈$=TvKY* ea̕Y~4_01;wC#|MLR9YN%ofټ=g;b90Mnl\9 LEs,kf 9e҅(+k$zMj3_n5z!}o'DX9vMȇp E_xbu>NP"a?@Ef[خ,%{ 5M62cd l\Z.l:j H":}e`"d`dߎfVXܰfN6vN3T, >$y yJxN|(ݜ@X1X>~| 5 6p!0q藯;WlsEh#/DCJg REdEl~ A.hPַlB4@LJ=Ys' e+Fqܬ >do.X>&D3UVC ~X}m Hَ~=ؒLdL}t7FǯZt7gWѼY xeBe `8ڭxuhlbU{^yFqQ!n&t[dHYqOFĊR=ʊF'[cuRznu|M_n'D%{3'E_=_ss $ۏ>qO{]=PI&3Ig{r)` )z EWkj"W[A:'1U&`O_Rg3 T-7 zK7o~[_*hK&!׶p%| '2ӓSɇ"?8p ӿjAf3CGmcSWh<๷OIU"Ke57g1(w'u22+J[@!88 i b ;v XiYTpn4qZ`0@ DZ{YEGR:>Kx)whb:8&e?Ѕ\ytK3vQtrP3_fÞݏwP<;+P\?7w ύeGɴ ,ut>.DRC35`T?Z=1+:|X ~[Hgs2O)?t l{SX n]ŕxMk4܄97.*̶c&s]GoB@vd֐\&f[ie/{D&::INp4zvb~ߏpW[j.M.lhaT_a /6P3|-TzDu~Ӣ`^:w, {5X+~Ɋ&sޚPe逡,tf]FF@8BwY-<3g̞k/ sj?7~@yW㇅FrL #l3pxa8qNZ@XZsքC<1ǦwT14W7]D]SC*\!R@WꝤwU %Xe #ySݵrGe(0?D'a]ǽg(h3zC&Lfk{~5xxr9^)r_ 9 i#Y:o\ŖxZ\3<}0|=awl:^7szrD»_F2<8'iVk 8_E`9?q^ va'CrNMzh؎*%m!4%2KYFL7Ԡ˹m>s8JȤ@ A&;KL~(Z; Hxs%{0<̐.:4ՁbYݕy.N6@C%(2Ƌ5~]kU@-r˂j;FثȺ;)?zt9ٺk%^*'_{_ 6|("k;O)l_8q;c7RA8|'(^do/<L n lnCS̐O]r7|gKО:Zc iq=H1h@1Tw'E%qV11[Pb\N liJG()P})ayzepGf=0S>OmmL%"7I a2b^jY,At?4M k-X҆!^}:j W3`Oq:ߧM%EâH}ڂfM4-<#(hs,/+_7zuvurvNmqb%BrN yиLy f.ƈd5=o*jy*bMyϞ/5IYW"Ml V]y|ﳸg>g`ŴX\ČB\& sFӮU-:p.EZW$&C+F^Mf}S#Z0"H~nV1 .64M|i'ٳ ?4Xս[}d?׏-(7l-5'gTq"J/Q 2e [ijłʒ̭Od'&# >)a Pg7s(V&AER7,U4׊V _Qf*gwnTjC/-%lwDV݈ WZd} cwwqugzckfREܜ& Igr~]h.&fK72k6xc˗_ tsC 7e.yq!*K] 7;Yg3`:ê#ս$<|5f݄ENƖ=H`HV|q$l☬H9`C)7i5ZOJ$ܷ@o֩:/%8ET CaҔ,YSAmO#%@iΈًTam'~HQvv-(RaJŁ&˩EYxYܺjPW %`j'le܄7ϿspշKzyLOJq5w|sz۸fF\ppvv[QGԄ//oXjyQ ]yvyxCgܺTgDI#|u /uġBg L,H7dmrE4'"D>:I29.̍o!Asi Yw} M.\ViadObtƔKzq|dǂ ˦@휇c12c1Vc&:nr'\)¯s+\ݾt(??>S4uݛz7 Z^wnPe*ÅSy˝6qw-Q@kUNQ+sLV18i~UOYZ! Yዀ1dXtdjs2(w~Źd.d{pM:P}&'/`| :mԚKD-J= $×ѓ)Ȥ@OfĜ F'u=6W~4$YLuTQn6d<AX*4ҸCيu]EEpD qϕL9lly<տPOlTؐ24*"m_a.Ġ/̻0)s5 *{3G=ի6UË!ZdYH0.}^g+7,`D@:*h7aJ&?2;Jz~5ьD[RMTWG uڐ 󜳖4Weқ6&E;Hڢr]j)ݡg,5t+2=x6$Yzk‰D_6*Z*7'Gy܆BrVN~SR+Ԍc*z++u% V6 j19odžavo~)"Rw.ᵟ3j%c?UAu^te` @ K7pL{ZBdz]y;bwJdv㕖oĔV ~ۺ,ZsAu§xմfRl]r'ؐa2!im\mW0p䣯lK3fk.]&Wk:6N2($_̐)F zxl,]$8Te:׷tv5Ka_e{p&Ӈ9SxWNz)Kzսvuؤ1A֏zyBjJ/5rb/* ;srTE}%\Jt DSgtzpSY%k1oIK*D`Q~A gQ'u ɖ>{&Ў1r]XJ'!oD!wӑ{TL ($'C"hR1ơ8#%X/'XAqT{&NK=bnoa`fZ9/$HsBpL_H(rlc7im]-9%n4n\^鈂|$}Hߩe[a0F~,C,z (Bb)3e 2gz='&Yȉ:d"]Dpo-a2D 1RŻm[ibxb5ZRðGONVOv":W~-s5d:[/vSIѕ-&WayN_ߓ$ugD [ݸeAA )M\FRb֐귵lKyv}<|Sĵ>gqx\{lGT=R{!%$ɩI$*qMD6]loc.A1#W<8t_F\Ä F7+fb 8-'Mr%6Dtڔ!͖E[K,8]8zzj 3_Ls${x^l+6*|tXّ *q2FY} Ƌ)tn .1ujnJqQSg&YL2gnRl}3Ol? ^ ^e&Ct-H\L}s.K[U07gwnH>/"ɨ&V `%?5"k(%~u!9غ!>Bd7Oٞuix^*dt'HRmM'N5ur)|!aaW H ᳖: d!YiåI[X%0}h瀊Z=-Şr}tNP(D, 9{k+&s/=N$(R- S fۏ@s[IIk(B+DjIٺuϺnSoY^- +yDTpɘkF/@Ǎ ; Ox"Ky+L%Mfgo'/ HxյƶRt1w(dQ<1:<JR*.TX8 >{DmF)evH V4>)IBZI;^K 1BؔkmX)cƮݘ+&rWu.O8|^('G!W{˶J*(6?J13%k-TESʗ3w::H; ?^ݔ@VM痒혏2PQ4 tʿ1e$ic HN16b'5c2o n;&\̷Sݢ"MM#۶]QQ|!^̀ ' W[kDTͦhgrS` uf#ܓ[]鯈 ĎDqˇ& 2CM3fF؎tGovۺe& M%AkHQPZqN)f@Ux%$hCZ`DXZ'YPAM-V/  Np 0߇IǸti `FNKM*S>$\)+Ў7"7p0H{[:|+ ky#,\5 ʨ_gyXIBF8bTDXbeKcSXsX {c8 1 3474uc^C-M$'qwFG(u6!"$p;fM'`më_M+Ot†7w%E~#W .[`ߎ"r|XSc|),2,F{woZKtxAMFes68& ă"-GپJ$|2tEnvM$|}/Q)`Ɗ>N+B |9p̀8= mTc )| G߻ M:IJnϺ Ln~o*}zvқ̘nNtlChG`+^&8{ρ תW%u tlL Jgn)6x[n,TY? sԢ$NÐ+ѐS;W\ʟqxC2Ӷ}V`gუTƟ-B"X%NkEMyT]]"rM1BNٜ@c&ܪ6(pd}9ڏNl=y~aeEMnyuA޿FՅ ۊ }PxefoէOG ͼ%>&)pbJldiEoɾjer((EK^M-czB5]JDB(Lɉ)oNjt.CX uvZiQMWF0`xKٝӖ"sgܖnXxudMepoHl :F3EӞczgHW?D'$U gYZe054180b394fdd8b54bc1651549a4f2975b3f1112378b0ecfe5f199d8fe42ea5ccea70a2a20923a3 229a1d829501cf0a740156509d19e43499ab4bef