SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ++y5Tl Mw]Pre_Perron_Frobenius:threads=2elapsed=289.348cpu=505.732gc=19.740factor=1.757zXZִF! $]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |Vre`Ph)ڜuՑj:S:þjn'5-)~;4QX$ E;^8^I8JF5}umY<8#7yH:Mom_3TwI!nj=;r=?y76r/GhGjyRnVu%"][ʸLSg0ԏq ɈuVlO+츁z|u%CUPgqN|V" ;m IH؜򹑳C Byϡn*|YXg]2Z z }K3[0NkcN3=ۜzcR9A_2҈ϭ@V^oFQ!i6UYܸ,XңW20qKhȒrB=SP'lZ Q,QޓY-Obf*WlwSdyS[t Y8ړhM&wfhL\ml YCnD\D d Z2ئ{3}s9 n ̨ OHN̑4C,:g]6#5 u*˓dNJct|9ca&²QL`'BEFn4z!=X:n(ev0,01GT}c¯zHDH8NNa/}RԁW %W\H\pq\I1f9M=wR?s7,F݈O5Yr'/)ʳ|K9z2 AIWfH1%3NkkszdRĀ|2nupӞ|><1m͙;H컘4[b7ҞU0*Sծ-w5vkRx'c-( 1!X*to9LXcIIQ+$Xش@8vv0]^bav3Ery7+f>ڼcIv5t);aW̒ŊQpF>$ Ydž6_a0ܦYTK4c١iVv,#_OwmrU֒'JZ M]s֪1\!drT8-S+*n'lek3Ka2?/o%nTcx$7nU 61<# 2M( UEDz):|z䣡c@0TԊ ]$MٷB vz[]`9?9:=r>:ė ̬ hd"PJ jj]Gt?MO4w$2Ht*t @[kzm=WDĈ縈'@w%GO:C;e$Cj"[93i ܎ns){o6BFT ZFxGHIbd4 -7 :d/!3hqV<\t8o{3=/;јy .B tb$NJ@t&i2YjXTsO M]6߅İYr8 5Aiв[i $ [艦d@82u7Fn'&{!̙V>h n'R5{2,7Cy/oXձKq0 cEfI$nq1'q}7tpSڳ_`QiwC8aOuҮ7᤟nhDF~"n1-[ 0li6}_l pD*x q4 BP$7ʦ( f/s lDu{նteGSIدV,+plqaWq$$JrCk'J ,+975Y˗{tH_XBx%1g(V]Jn$=$M+SِN^u0UzK=A'Dhea=Lf: 1?{f;=vŻ}YQ-ʿF0DͿTB -cixH!Y%W8(SN{rua-o@1>Fx0iAr+JP24smW82>kZ Nq1P/bPtd {p݀6(p[v|3BzR>ʋx3血\K9%>" lojwVI "?C揹rHpj_E,tQ=3XFTNj"H";g lYKҶ'8lʼq+C|2I0<-frKx2SoK.F2>eW먳.U>T}ڲ_Av&NLM"5v7 &/?n_D"H}\Jw~-{W<9D o8dh*"1AHj HV,OMޜyş\} Xvąpk,V*Eg].*0R\ -C gEOA4?>Zw[/bT`U%vI>KL"R:;\EuSڞ!XFZjM)#Wwo?3qbMyz3= CN.z~/`AbgSKW@ww\:5'2)Awbpk.n Ӳa| JQBt[]#;_qӅv=2,:5dzσ|#6*?.}F!MFZYit3>|EBOg*y;'`S6ۄ77. JXn 퍪G {F40\L nr][B9ûsJ04ry</B <+mbc|n[{M8py i O "D"`u?HT><7T6 W)8\9upk;&^}:ZCI Zǣ0*B=hģ;*0 Z-!j fںd8,oau UVG?k2ocջAQ2$SN45CI2ƣwC6#N|kC_aB[5aƥ< J+~4M+b-%4t /찻2' CP6@t3˸] 8͊*9%T$-fnsDKq0Dزf,O/35eghI͜_W,Z*CY 5(yqPdTD֒I.:JdVp۟ctOxB؊!S6֦n%,뮍);uC2zP%e*kf{I4v6|o䞿 !ZN )%^zWɁ6-*oϲr<@4]2~`%>hi-mOT47/5vbc`Ji{[`V'H$WjYqUV+pbBvgy܌Է8֘G2ֺOhp˲HeKo4ODUmk.t[WPjrń}%Du:W |"p|$~$~&8٫-hϓggzQ6]osk[-3jN>%ǞS>?:Z) !T)Wȧ5{P-Ȅct :Da#zBPRVty"{k !w WR-@="jvL5 :,XTMsnz(#"7SB>x5߼7|v`;.2pIx[j<_˝WNpɻ;p˩qn๛A{PlJ)4D_^QgrSOܴvҚlt dyP`Ҡ7[q23w/7 xH5sWAϯ[]6Z ǺS_ŅA[Ab=PRǞ|?Ҭ'\,ھPKمɕs)Pa"}gAkI]H~B0N,CF*&bw>XXNȔ#{( 5ى9azջ V(\p`8AEͪ1eW IցMGҵozY 2s))ư)pJ=TnP%v%d*/Kchdukx1@̆cߟuL!Q} Ag=`pН. z!Ɋwti  aPRzIk,/){ZK^ߐ@/c-~@r`-f,/ǻr0m>S-w:Eز8uL= 5Yw͖n)}tg NJQ'%FOg"ƇPbt Q*{ݳk)>OHd(:*g _0Bl{6-AFvo'Ĥ,Fh6C>Ѱ I{Μ>@9_/~PM 7KD^#'1zf# $)tmF5ޭoP)jW gJ%{T8Pe2LUq$8L$^@SL74ak_H0Bȉ90, 97Y(q8yRm1xZ7Ѽm'kﰛӓmɞyf>.#zOP䖙B&\PV/Rm`h/XZa qJ5~-Ue݅T<ɳ=@pƵRcD lav8mھ 2Mғ. Gܠ%POro EϘR:X;mi$KS( >ޠWQ(C[{d$Z2E{0ߢ"v#>[m動/]:/^KlkGvhcKpsPL D v*ڸj W 0f嫶Knngz7iG7s*sJ.rToEģœ(t EA yܣVGQ=!$z{!8w8"}* Aa_j1ﭙtdYWӖı|bMF!]_+CF}j&y, o+l\RH4zJो2'@b ҅΍Vضd9J _$fJ 80{˿| 2rCͺm=\ʋ5MaGFڢc>;dnɭo_Ovi.`3itR.A.%֝L-]d0R<"n 2voF:ue>89q@~8¸ӆu)3d]L$B&3H $%7"x4(}/Oʂ R,9ukMxCLR=qvOp}oYG|$u>*Fo [7i9% E,?R8p+? aђ P[?%A;jw_oEuw\MoYgo%EyKd4!p7n$X.^'#* @ -huF:*:4xJOuϩvQI,uaG{G*!zq5 t3%;KU~Lk63e s`n2BO'm ?q! >Q q+v-^ǨS)_{Mx#z, (gveWkU&8G%zW_. .9b͠Aqz(ʔ2J`rWbg1}ٺ{"wɱU>+&e=G}]cD.4 GVQ  }ڲ="|;!^aJ}(?XAV<[%2GN_ڢ-Y55zun. @\bONU$;Ni('v"EB,IgHYs> ]3=2X{}=f\Wzw{?MIв)͢ PU gx`3fJX)v|.MAopyIч@ଗ-ܰUFXg:W 0 ,5tgh+xjpg_ 5y 짉1y*56 sFEC"G-hGwK0 sx !O &r+Id0)>pw>#hUyj o&V}bCQt9.4:I+"g8-a3Howm&p҈DWqfu%;;v|.jۗ%4h-fqृd9[?ː+'<욡v*9K(Wk(s"!Vbu/gq,-'z ѵՕz<| Ca^i}"n{8AmTNHaQ۠f7BATk ֪Z$$Zs,S<#KA =DD.kT-Z(0;8Kes CXPؐf~fUjFZˍ\IJGN Ɵ%5xŊhFVmݕ2nyWoSvݶ5Vɥz"y5k1wvpyB7~[}5Ua1 U-A|p>HvEy OFM,fذQWi~#PĊֳR2e'Y"|ANXqSe1J9`2ł{ޠbŞjlLYr()BW2!(Uj#S931> LЦ~%N=6E.ٜHc} D-Ŕr22X#O (aÚQRA)i1N8>`1:5  5)E`T&ͼszD%@KtCH~?IWU#".װw}ys*a+#9[7r|7:92SJi uP@fODO*(1)F4ĩ|Geu@)n:v$Db}\&Md46 k:⍠܈rČcMљ*@i +Lil%f\*.ˇ}8ZRo3Tدɛ[Y6$N[J R,a:L [I^IHJAu;F7u5..(v4)[|E:ٳܧrtZZ3:@je:K EޡMgN >MF5%g z>3 Gz1V8ٳ İsR(/o9*B9i>\yGwex'綵\Ti$}d.dAOБ7:fyj@?5 ~(^QVwwL=a !8ъ6x"̥f?\՗3dZ dC@^2<ιtȐ#plU$NhlG4e-OKh> LuF94=;^qK!XeMcZ3aH>nPbSQdUt!Y:?CJ5H02%/\Ⱦ݃ǂlD)ea${Z̳0^ \HDgȻ\fxSmF0yZp$.\.i~hńwn;Ȝ妤$I-wTX,b}7߻<*霙͑h6)$c-vfc6?s,/9Ne֍ϽԘ;|>v=38Y\޶68r(TίK<֌*NIO&ER8I t//):#!*} h@Ϡ_j b>v8&)c"G)/-X:uDEV3ײ*k^,65*#pOD/(wWwkc"yn! %3x;7ZC8۝FqV&YUrNScPH$Ǡɢ*BFZ8ze+AyͳsT%8y7Uwi br9O 錣t.Q,EcU3&E&S+sA ؏$"[da9$TX0gBzt+vk!`g٧'#[Dڷu{" W:3-䳝G@@hBUL7qi4ފ(yق$i:oniGTW|שq&Xe "5TݎI4(+ dO {>o]) cљ 0 9}36gˊUMFU~3$"rvYjļR&.C/!W#Pz43GNcyj~i ({b~pfhz2'pxz+ Hgx&:M&#qQ?V/ܗ'\V> N0oI.4 %?BW>*fR@[a2pyLqF7ijkKNI*U@~w\& }#)=T؉@fp(%/lSHzdb9,S XmxLVհX9ܞPKSV0WYK3ףdix٩xuDe':UXX w,9 AfۛjT4u:,|fgPEИ= }0_ՏyH-ãy8nhyϳ_XL*ԙЋ0fz#/$@4Lb7K@U{X[+B` 4:U4GZn _({Y%8k1! 'ēw3QvAd+)K O55U^dJsPYyq5q|aUة5E~:l,?Ӓ94T$? SEK .츛)ѝP7.Fe+0 1o`iW)ʃ01Yu*>(Q_z5VEOy Z<:45R [`fiKP5JY\^f'= HLT3Ŝx??a?>]4WM,Ycշ0v%SPx7K! dWJD%WO[Ɍ'%r\) ;kL^xj@JG Pw>dV-+Ą s*˲mk}W[v\Np&y%a:k,*RQZ7vMԑTxWY<\5j^w;s\56OO7̢ZJb\e\./ _3s6x6VvX.̘/5R;JMq)_,S;*^rD75n=C.wӑ;v򓧣YK ͊aqaP.dwHDQ!r-̚)E4?jLjݏIS׻gz ym }~,bl^jiqr-+jSr g 9J9DNʟmu@3G?Z(9 D+Tf_༮ZtaSCaECصn,b?>C:khjWB5DwMv2 [{tROtA-6+t]ؕnunC 4hAfdOAVQ^ll-_D&o!'󬫝:nǯJ@8 A$<2`zR*NDc0X8'e# J4{eNW&I܊ iO7r~\݈*\;~pFt{_ ĹFT)Ō؍ Q91q=Hؤ*i79Ŵ;I]%ԪhQ k7N|6-nT"~;߸DͼQy [;R*^o>Sg_b`h>,tt>C59f0$8P^ib,h/-fyIXӦvEsw| :VbGR7oD I9pb!-=a:2m6'k/(Ϋp ;zk,%:/?vlFs^䜮j߇gو|?G_rbrBU|To*tbr+eg@䣤ĭ*!ފL1tB.Ͷ>1,$V_S )?B͆Z[#b06{z aOpBUXeJ"z]ڊR9f%B%pD4ώrbwɡO()H\wVIXuwrJ7/hI ›~ΊRW{Ԟź 3?4{oԖ]A{S$Zl; 3%ʿeA\n#PF,%JhɽhNDXV5~tXGBu)&8FH'KU^EAg5LkdNeM-\ H×NJslz*'K4V?Oܬj=,MfxplЏ?L/Z%ˡ9;eqɘbAGW n"&Ћ_꿔 K5жRoO% %z{n$KpF3*'[DIz~ͯ!q9 sqf<ۣ}6µzU Ls+"l9b@ 'dKbZm]sx7>E 릓+k IO Thuleh#go~RM>zip YO_t}Y vjlZopoR-r2Lڑ횚of23iMsȚ3Fwa`G8 ~@f lYIA^~JR HΎjU\Y:FN6]եgAGʴWQDR+SYfv]7a>(sVEs ep@ .4n:wgW-cA?拼jHI4@<%xdtpd3CoD(7 i|b哨fޙ qNr,.H*SWM_cm֚%GV ͭcIB*~eFOH>LND]Q(dQ]@Y\x}iXY)%ۉN=a_B>Wsħ||*&ϬSM:Nao+06T_3O\b|"aȈ.H~t8CK's30\'4oh o]y ^0E7jKEdrkx.?Wr:8}l(TX.]_Gy>nX^Rp?7>N=2l5y }Qbvb/&N|Ll5fncRE3O)+phM,[:3# n HVyЅʭwxO$F1bIM΁"n!D\?JG24G86 aY.P KJe_TINB̍ql4ftEN an?ի-Td,iwd7"5'\ik+&_@wl,t:&?U_8n4{)JA>Hz-?c9=LYŠU-ǴLMXџey /RuJaɥ!pK\Qz؞FtT#7lseh؇5 N))ܙgT4()d{!AtAVV/pXi=|]Fc̬AaN!ȝ6:ſchבZ$n1qڤJ#Q[,^|ェi4ȉG`9zX3I'8"Lg "[ KqkPv _҆;5@b4se0_oMXZ.%RyXh$ `^u/Qյ}__bfI(P:.%ew* BvBzE]f/Tph4"vfWzSX8Qu:m AG,x`ϵjm_X[.@)'٩pPk1l7JUrv5үRNy$>њu9/rZ ]xI<[KFm{KzsymNtrK?R-r j*srm5lCV(L[=Ww.HnؼKY?""c{M.T ڞMg5~TJ·V^>A>X\|BCl֌F8I-FwUŇ^YqXh|)a"^–uo;G][(Z$ED jEFXqsSߏuHۤ|&0^i~/oKԬ5y^z;y V$:UX]UAM_ȤPqA=\(XAW7&#W L儠 Sw9աJW\ WS!IQO%^Sd=pbPE)cV/-Hƈ D3c)tbb]BVfC*άD(Q.%`<#۠޺(jlqbJ{؀-WDoHqTVdT뜧BM? Wjٽ[UCʞS8H(Dp+ըW\GzXk?`m؀(C'ElNB5y35:S&[plN ~y7(Ά?>U_xl oZE(]O:HL%ϕhtkdʄZŧ':JgafΡa {/-nbV[I!*/Vk63ALiQs{+SnXA/7j}J[(4P)AkV! s]`:Ikބ[_4/K&>@۵L8<-ETt΅ՆE."/9ҿ4+J.]L7߲*xQYag1I;JSȷq8A؃*cҿJD6d1Uvyx9 0EyāCnw{[JMOK! 2[\@((PQ2{*  y҄p|(ɥ84]F(V+@jW@+גbiq_[ohkfh/RY uv{Y\HAb]3́'ӮY5#n;gVODE?Tϡ wsl|%U&$7aU)?^iKw46Z{,Da9,-Eġxjw8%sm+F,{ر(8:ؽ#p[#;SwG($rT;KYdU(zڗXd hav: |%S Ӵk`Rʪ?xZuZ=H\O9Vͤ_89JG=O2bQHl\&fK$^Eӓsfa7Y("1u%dc?rtv i'|Qk)@A;[3eҖ $q9z~~̗}*x ,zjX@WDуBX78"!^V;{|+R1zܾr7I=JHd9B7XG47Ѣ͵&jh@q^= o&2V+(_F$X/|BKpR֌~?wJx{yWtDWfTWlD)81?B5&v 潆,G JeUC[9ӧN ԓC}HTKUZlr\ х8x6|3ʭ P-CZpcpf;ww;-;cN٠P Q9 XT]ԧ1@dobRS/ULDi<~x7fGyR~Am=1XG'xHJ[" S5(XsqA%N48t ">0tҹ)\;FVzn>BwF0ղMy@+j<2 Uѡ4? Udy^N<:/ +>P\PlK 1:4<3-WIHTe0,ziRƌr(OcJ+)p7>~"h פݶ;?ʒ'wyFW? Q"$IW#?p޴>'ƆTy>u1Q-oKOl᩼}ٹٮ_J%]<:iP%v+2›Pd3+Hhb[@w BP]@\˴V?)'!vť4.N2`,cqXAg éCm/ $5̴hAgԛp-xר pJp7ݕSҡ*| V}KPkH d 00vz,1zD'zFq!_g<U;?)1lO>mlF|V.Дo2J[(9#kSnfV`>8Li&݆\Pd*;$?Aٻ̈́ߌ\s]t^JPM_ WmݴIU}*+)Nk~0Y{r>pf"IMhdv[ i'zeĸ-upc39qY(YB*PoZ+z3\fp\.\h4 i:dw\)Ў^+׮ʾ;L*l F4!/Q<2XïafgYX2/QXXCilt2.?Џk@b'^szq%نcuplQry ;&o8˜IoLP9]R&l!8IGcwܘ2eQU2yx#P;'QC044(_n?y2}Yrըcжs!SqcJ1_lP!XB (\v 贾4>\mo7ڈ.eIFg ?e@ $ʪ֧9 oW!rɘ3*[0_PBpsըZ2 rP٢na5UnD_Q?T8\(򈋼L^cU9 w_F+֥uť7G؋2$ YGGRMK4 NCuuŬRۛt26ӍCi) 8aP,VP'MȏJwUj4]ȰS0kx^xg*ȇp LDyZjOҩ? !o/\1qڶ}sԡ`D#į|;MT\bLqNݤjF_K|;n?74&6]F>4Ξ|i5,=_޺Νbms EhƾLcިcEV7 /4+HNq ?b o(n߾(-sg_V0-A=KHG4\v&RU4f.Q,4Ź_\Eگ/&fѪݡbÄ嬆hX')Dk&.E6N] 7 @ݮՌx> fʏuP j0r5уWU}Xx$9֟;`W-Џ1]'9Qf'V6n>V&^K)Ibƿ=tpr|W({o+cnďmQe0s>$GYzzik6>;p,P&p0G9aD4oVq}Y+%lޜm;GOZ\T5gGn&{BT~gEm䍶&A3v!S7_}'c++-<2k2\Gy}w؆dM9Z(T^)-3iyMLMEkoY6}iC-ycIԐ8™GrH8r4*viucZظr;4gX2aUљf1RJ8$tLc*= zU[䍙Y)>YlR@;YC**8& @{VgAϯTGejpHR6?l$/{"QIGtr4XK|()d7g ,Ju\iՃP(Ir?Fn:ґ9rNV%wRqvgwp}& 2`&(k+|1y1d 2a"͗gNPYN&ʒDF^ "Жaϥ _XZͿ K%T)&-9 օ҇O>Ԧr܏ȝ 5Xc/LC39UHq="W֓洂8ÕH Η}ZKezEMͧة\9 ;K{0@ 8\î;RAyioE;[x9kyZ"LK^XUm v؋^ =S X+ mUkz$B901d09Dp6l}9lI G;FpGY4zPhm!KKUk5>a@(V>~CSMWng@g9~699`M>9wGӡ-)=K$hCR.+M'VS"GiA9plh9lU45 e˚"%ϴ٣v2򏉪*Q4ѫ5DBMoU2ҮYBр\X:V,fBHMN@.^FʓBgҨ2+NJWQՊg!g܀ c7XzY?f~/4SYY-Χsi1ĭf`}?āK#"j=@6:>j03{v`\ l;B'@e;EUB)lK|cXa>O^&Z+R,b2W ðn3al67ӿ'M]q`1TxLSM)m\B)D.x̴9;=vR,a(@_޽ 餃d6lC~'(#ҹM"k³;gFovkwde>].rMt 4{SV P/I@c>F3S=KˢqKMՊQg; j$% |y6bղ)Ow,&Fw-R&WM{fM_O>I}t ˎCߎ0UxOo'R$0NN E!ҏ Eo3‰=}g %ZJq1(BEсTTʖ3tlaxl(ŷtuSw_[%s:^"a•&rgG^ m z_Ǔ,OMG/F۰G-k2_/O&º#㩃 %@ug[sVV^:ԛ|JF"[kgQ'zlPu"T.`'3g0S=jMJK_'/aGV79#z20G,!0j}"Ўp%ɩAaį^֒(lp ͏ }H ԋ3Fzipu)oEa5qĬ b<> Z:Xz_' ՇR,)v1whٜ[+p;WiYcwLc^f0( !$8&,*Ng~cHf '_ZKbs_sGDrbBBU6͵[FLPB[ډע]՜[zN,^̟ ZX[BR3W_،S\U.8نx--[Jzz(A[ 3r?kD a⊀š +6zk yA3 N`:EPc|K]kl9ɿ8`X?!G R0)@+E; Nվ[z)dsgvǥC>QݯۥaqZJ+Y)Aą* ߊ`T_"#C 8T+!ʣfD) Y7u]>-:OSR3s/j6tѳJ:Ee~وىWu߫fp³Z}81F2֠Rk:u9Fe`Wƻr Q #&-d0g8mjp3(^eQKU1mPV~KF5$B]T<=؅؊g6TgY+W}v=(O:W˓0 4ʕepׯ{206fW\%5c%hŤ؝@cS AwM]] oKx\@`ӇSXR0`Y}V$q5p^Hš327ÙZt+ fN@Ԃ E'fgfp{v7jFh $+H@3Qi]c 0(3I*7X!RY#`KtH4pRD*OJ76yNj 7Xq;x}}x<1T#!2=wMDmEf"Hen k?VN8mB\ZW/p /*E[Wl]ە TD@5,i4틹V .,zE*3I}@!Az(a|V!)3K^ΧhBlm8뤹M|N޻Π{T@Z#Ԁ5v ]$Œ:9Ic:1PvUbZ*JV|[~A0䖐qݲm|]#]f R5Yka~hmBfl©xO xr E}sY`z0VRc|Oڗ&Ψ*d(_ UsS5n2zIj*p8Fw醏=$B)^:o?*P\>Dþ|rGrNXh!"iPo+rJw3N!~U VoحzF0W(2_9Kx7e ;JNͷzi vNUB(SmtKV0[oRPcU`EFy¢l&mC "D"CO~ \;% ij$>m %w j5ۓS?U{U@pe)]DdGQk0 l yskb[U*->sUa6Gz$1E4( )aG.lP4%U4\ .$3ϡ𥬸qsmd^p/}=t07&agwq}C̳Ȧ67Rc~i?`{륪sXI*wHtk||?Y@x٣ԟ˳VrpkLѬyrRq [\6>2:ߵh̋隰hdZ&Lum^N pK'/p~)Q l%,]x㬓1X)"9 rH"9T(!կWlޫ.Ow)ݠšlEqQB9 (,֏ b&wr8Qk7->CVyČFkjlzoQۏ^Y{YL4&PD^sX96]3ԤV5CmO(v8~T=&fJIBᄒ(cò'gP_!d 9-ȃBM'#,6f>,ry<]4<6Ӥ/$D)P1Jr_͙~iʹП-Kӧd=ॺЛ=psbR;aFvF,q8j &]8Oҕ1@%j#uy ׺p ̔)H=pԇ(FkFcz͖I gp oJ,݄0KMh:\I[6x sG#X|G# ?˭*]<-ȹaЃdn|*}zu^Vxq?N+WԚM7K׻T(a#{ 4һ+ҠujLOת_0 ԃrP'[cȊX-|\a\-Cz+U.E"</ǫG` Էt. XLBCep&sgg6o+HZ?qvT&R߷k kM X$c`&TA"G&\Ҩ1u=io]XRБ{1,iPIo kxK^bp)) Q'"`sQb;MQ#4^\v#q훃 t5*R9](%^'PUl $ŧ1\"`k]"zF#?K%{ь(1>J",yg Қ1d 쓯c[T:u=otX}a< ݰOK/l31Wce;l$atE{BsQNLYX+qS @{N2Mi )}5B93M 'ƿ~>]Vu['V"8]hè$n#>߉MN|W2kT+wYtt vzK1lԝ@ҹjg~%-y\/,7k*4[]Y66`˧h2OD'+͛4TYQ0Bƪ+|d5T4e kljO8j7 :)3:'xRMsV=d:-0rC' V_QZ3ض- 12ΛTmʥCgV _bY"}+̭㩝yLwsƄ(+s*p+,Hk^]'F[MA,6GB˓^eşФ% 3B D,Tb"Cw\r/u"JqH3_Dq$T|R>V񮴝VӸ XUic*NB !gDuX/Qa)R/@']&s=PFPh G:Tfr?aU:K@̵;"weǝm(KLj'lNlQ+rCpf%̘5CY+`ʷol8P7(\g?&Wc,8ۨ%p-?$ 6W?'drѫv ?BŴ"Stҳ4St9sd1!*" .k: :EWLzaX=Q> Z(Izc?6ѳ-hЩ` ~f^.έd$ip/tA*r C+pI&*wao<}GFτL 4JwBa, ЦW@@WDtwf4jw (_nY- (efvǞ}k Q5g*s.{|ދ0@Y,Uz{~Ynװؾ& r*Ҽ&n>kA„5lHgBLOJ2뽵o}\X!UttO}*jٙ] ypa%eoNkvgN2e:]hc^ K Z} yagYZ7zXZִF! 6>]ŗXi%DQ+xp@4QHxE4|9|r˳>('ZuTu"a;@m=[UVD}d ٹևAX+$n`J"秉_wcU8 g\2m#T_ƭpJ4Q$# (k:ӀIL3 e? !~͗j4jn˷k#)uL>nN$~c 1. +=O(9шAhEi 'R#PH4.<؂23U~{a9I 萇"^\(SKg ǩ [/Nt-T+۫B(,mߢ6~QA' kֆ<8 Tƌ"h8o /8=DbwZx^NAJ_ϕ.stL4c ߊ8A ,Aj P\$W=A%6o,714Pw%R%'gUb4NrƄ /)1j-\+>ԙYHb&Md 0pWT}U `8ؠwΘ4+u_#9O4EMF8C$wW}á!&rZK6:Mјt:S}mg`{y+4x2h;j\4VH!H/19ʠFߓ _zZ6Yfvɻc9{Ibh?[;* n6lʵ.FJB"@05l1ECjz%&˃TUX"3Y*7l}m:DӊfSos;3L@XX\qM!c_/rj3,9ޅyCU!_+#t9J?f0P`x036o%q}jSOz@J>`&*dmS'|d5eˆkǣudaJ p}q*OhӽA>cGWHPo~vί"@kcèRx]o8)Und+{i:ug㻥(W+l68(k.@t=bǯwM1M~eܐ Im*)@ Bq^+`oszSpmocx̻W>2$m] յ)܎/ͩ_]g*CfCM=ea1ō<%ttqBBnCbW˛pCIi x%0-En6v}CgWO6Sd-Ȑfrfu``kO&/mdPVMj: ' H0+fZ)Wd+{5u*rK{)ϩ638,z,~#2;k pG:lEVtZgx,>$xh'kƠf"W|_Cۊ,w8bSKX荏ʯP*ʺSʉW[@-4?Ҭ" 1Ȼl( U4[ y() IN)홋x9R*a~9OԹR`:Mя}Lo,X)+$2}c}F"֨46f^sD8P(S5 Szt?譟qze{0LCO‚_ j'S%? $If1}s\ڳi/[!C!BBND4LؕR u3nb>vuX |KD|+.lO]Y~Gdo${i**J 3BD2cf;΍r6|hx<)dkw5ע[N64v=]gIE4F YA{<|P'td%xlj\C9H'٦P:G}4m|n٩]8C I',Tqt8؟Tm%S !> ~\n#fd1DzqH"r ҥ]q?mHtM%(\%NSbCmV4֌.*[0}~+auѐ41nM[Z)c28 un2YtNwٝxQ͒+벩q~YGB|Fj}`gThS!SP;Yi]uӲZF44-z'X 5v nzGX*,{ M}uН`pTMcfG.~s]@ <"9K# ePXEw~,dG HШQrA#K'A0:G@T LD~-dR#d%_; ؟' , @IuLJ.vBZ~+N`Iq(LUqX)v͏%eeLR9L,Y.O{L=qwAĮ%AR(C,yI̽3(&;jKt24-sCUIkuɵ2R0\|E; G 1z!8q`d: {FIf[">j‰uMO)y-3K=tĖ{Q~exԨ!KF\N]0ל/`F%;z`gl?-E`T>6nL0%3:A} қ'uks$DYOk`ŁIg(B-+3g4WZ9vIgJ,V|s>[+M͑IP)OeC`K|f;v_ tnCR13)/T kDWB,t<XIod,μ)$٬TZ` _l`+әѩ+sZU\ f n5w4)HZXy JF@ u"@ }a.CMZ$\VS2ߪɾx5H,,h1\ Џ&v75uͪ]g2k_$VF$XM:_k3J݂NT8/)zU3:M)6%ͰQL?_EY*ԳH!YT# pJUmZ%,e=?o# [*{]G6.l ۸ɪ?68mo|GEXx8 qA:I]& uxc#e2GU"P ʴNkpZ7+)q_=شY [0򪾔'Sڤ}Ȅ*/g=^٠k0K|,TH"CbzguϰoS|2}2jTQ,6:4 K6Jy $Kl& ;)We%OhKɒj1bglvz0yrmZ'nԤUiZ,?N¾X0o;]JWp3`AS (>4  ى"{rPv/uPM;IRt $>*d =w !qTlڑ]ЄeDݩ_9 { `zE> 2/: dIj1be܈8݂B[ΚuǴ2(xte|Tt&]h ytMvuD\*ȍbDcG[]K 2W RȐ.g:h *>q} /+N),g cԆ1Yb=@6ˉ<-9y c^`Yqe_VM-.o.+v~:E{T"B:J,7il=tW{n㙧>(/-X) 0A۹e"B ㈎݀f;mH((r$Bjy*1|`8O̟J'6'&`8tov[dq4xt,SY섩gHG>~貇t=tU%.Q#B\IA}ڲ ZQ!TSleZ| #[HԐ״vp[t6>9L2U,^F(RS`B!htcz^tv)-8Ut&`Ԍ򤢡>+L-t+^i 5/RƜuUeM$)W[;B1ˇU(`9@l\YpB\YxT^IA>cLӬ \Q}ipDPnOZ$Ւ `IBo.3\‘^]o Fi( Kd9zQ@T0[ U:o.0d4EGa %)D,\nyKSWK'#Z-~P;{=.+~C9O[)s<:Ta-9[pT axgOҌkVr5;)mS<@s'4:ǒϟHi \_.9Bu6^oI7GLG/\61 bx ursNfBm:vaS爼T|7'E(÷E |g5j7f.#G:çxG2uDw:Ɨ+#,Lf3Ħr㙛".ԁ.E'i;w4;XP'c'̨G5_h;L{ a9G1X  %K;jgy8]*c5xUwo]$XjjUv"6{a~T=9s}TnBlu<*xw @ Ղ봲KǢvuwfD}1A?K_rOHKwL{+S!)@7G愓$L) ߒ_v.gDL@k9>K;ctVڎQ0|I h)P%3/zkb5ړzxxRmycL0& 7k<#TRLۯX VhRrj`+L_KKXX$s YH(\Q+7y'6Zj)c`'BaƠn3j״+:!5IѮڽX*6t yD-nꖷunisU} WPk5յBM(UA/Z[ n(1&ܞCV{2ISJmD79WNE٤S[lr,XEI3F> AbױXyʓ_}M s$À,,*߮U.-cġ&}u3ҋO,n8l`dMwVkPLf]-T7f-VTpt䬉T{HLj‰`qyk"]oN̥Dhg> àQLY?O-zS~V "Gλ2OLjBn(3<2\N,A#aU@*7Oj*t;0G3"#Qla`iW=$L8ٱe,po2?0gxҝaivBC@rU^X Щ+^~,NOгP?Z6BQ 6FN`^t˲ݖ\7 :IfcE+}j1.|^k'OSs-L(3'ҡ'k.Ly&[JJ`$_tNނ#Z+X׊>G/fdG" 8sA=PH;VmZT}e/njWy@&J\;.b ?z(p?nDVX3Qf" ځ{!tu+*a24ID0)buOrJ8ؑ}̾*کa5"1=5Һ 3}FLIiv.DØ#c'f_%( ^ /BKTD⥫ פEqb|F9HsQzqVbeLSg˧XZֻyv^*$t ݰH$vtY{dA\)MjXx5ŶK)%6HP`8@'-N'Uh'H8&fȖ\Rw/‚07Q=/ُ{}_G^!u.a!d^ yZѮV+5dZҟfÙWl ]_v7A8K"cϥiP@!㲨U絰 J1 RQu:pmor]m[;!X$w4FZz˷S1I'z#̾I=N 2u<w+ѴE^?5Q0En(8S>u~⤘V4 WqMnn\WdI4t ީ8{T8 |g*5#WQ.Źln1Dz0f֟u NrXN|`,Ďle{W?I)Ɇ[:XΪJAg?[C5&N  j7{ (2'\ӲzKŽ@3FI_3$"e-}_gCj-Ye\ rmuD^hqQn΁A7Pi1ll04@ٜř,ؽ6쯙JGٓԾz8 RjB !hقDtTzkKq@C:=h_ثjf.|s x!kߠNjb6V4k!uqǠ5j&:a )Vn|r=G8MljA7{TB2v]jY|k炰<V#xU1Au-<30b&E"e=torvk_?K BoITGT6]FV(-欫llA:%4X=g~PqLE@Z78yL^ x#:fxs{Ug̴lTF#K/i[()p!vx3W1@F]jZ4 N"Z!!((nUT2וV(*R 9G: *:R6sG{$^~c#íxFK_AmQ$I$]T#tE(b,74?V|ZÏ%kɃJܴޖVл^uH8:"ۈ`n2Ut-q0ģgzJK0Ihwg@mY_~hW<)%[5?N;yR ?YV>MɄ͜/쮥yTd66|"z9S{?ئqXNfCGw7T . ߖqURx6}Xm2/ZUm2{ODyRV>\8u,֓䠀 'S`wċ=RI`LL[ _j1e\whu62->fF`hVIԲ! n{t>yö{8QT]-jU#T=C$Dm<*;Y:{s];Cq||a,]B`5`$2 f&v2ͯ 1{1T܆ɿ,b%%7yA^i<C2 ̔LyΛ#¹((,9D%`G&!FH$48:"XءƐ GBݠdV}#-^qF$%u܂;b|+Nf; w5b>*jѷCV2[Jv%Nx B |n]p~<#IY,xr^Gt =M5 / -B!cB`Pwmc92X.&}ۄ޻XGo6An[YLޘdcYPÎh+f 1[j.TF_jms\Y|5aq!"S"|G-F @m M׭0u{S^aM@ћb!pHr:I֠}0A{TF-uXGa3LO%!#~MQ+^V鰚1.dP;x0TskHS/aOӝ|Dhj`_jTޕcfic֛4EGM$1AXReƐs 5 WT%ls_Ň%Sid}L!KnPbۛ{ :{Hx@Hx\iء u3 o;W[_U953@"դ:PZL}" <]:Pb!2=+%OXTF-I^IN:m0EN+$%FR EBl4.<aB{$Ϛ# ]G ܓYLܞ:Q\e[=,c3a_X^]ѽbKZI/(adL7(6Q8[hZ'CHzeV̹@óVV\6x"ʫ9z[@"ZȅKu!Ա@8h[}`J*Rkb`C;Zߠ@$Hҝ DN<dTU!A~-cB~) KY ;tC%}3;_MUf0}{'D4Mvq5CGfs."@4ܥl4sz{M7͗DOpPŌ11U 5RܬGc <ݧ ϱܠk Zj,#- QrGxiR~!K}9/.b!mW3(zD2Չ\FW` -E~H,e"" ɘ&2mczr.Xfjg)̭ +MoɄ0WQ,-zzd>6qoquuqbShe@HxQX9H>;R-rjci c& zV59 q%Q3Rp8^;5ۈe΀PRrmoԤuG0],8e.*ʻ>By,X4Bּ$T bZYVa`sU˜b3_cxd`*V%|_JXӗ V%n2 s`S-6me5ÿx4t@-4IPؘ͵Ij>hfr=VD 8b}ǨK/1sn@Fu1VM|C\DŻcrEKw/^Ub~m'/% ŷe1 {D0u,UT2\&DXd )~|G]8`,*=>CbWcx-?,6Szj e)?[x7u{⍦ӌ'O { n)z@A_;gB13~c5lSK=8hME|CJѽ e UV+"&G#:HPGRmj^7O;E((T0rXKR1+ː.jS<_mYsIfřSbXfmþ޼hftGO;:Kcs6++q7[qt'03.6!-a,-l$՗x\S0h +Z/ H1Lrl W(Ŗ)A| 髛@1ddL_dϓC2pwj} K007M)[Wi"|W|>q <"Q(݀v7⪓8oA99ti'/V|1/y\p87t%n?dTʿ7ps 59BKy%M>͊,)jF:/:B%hyԜdt- t2F  ?3h쁜l6hn[Um_$xVv4 Ul:ђ 1*Vn!|z@WppAx JڿJFn M"F)+ #7afb*]FZsK828;GD-L!IJџNh.Õ'.b%r*Z98tԘCH>$W%cgBqM dL#P*}|iZٺ6ʪn6T%*^qax(}Ō7nD!}7!Z|SZNPԻ}16c b,kxj$(ȭIm3lƮtRm9UzaU&p eU ]Zˏ< dzLj:&=#Ϥ&KP}mҩm <&>YL\\W(kT}e,ANk*bv O]ڟH2?26h#\_""Q= "0DS<ۀtC&޾ǪZ "EIc)o!빭i?t7Fo/3F-bҼV`"-᭒⢮ ̤DM먜rFx"G_t.f|pg h*U Nt~6xs > u'(!f7g nVi>kuާ"Mta:0|d^fe& }&-XYAd[q'ڣAf=+73#j3_W0̜,`UdDĢq𑇹>JQ4^G`Ee4)~W˦ULg~br#ug[gr?mZw;t>XlcWRTe`& 8>31L]t+ nJD.r4KpCtN| >l$3'4obBv(ְyXPBڸFUu\-^: 8 O(IA% 7 O+n{;pq>̪Et(ݛer$I&o+ZLן1}:;"gYZ01477e643bc909f0a0827b4f41bc44ba0fd4920e 0c9469e4651698f44e3e228873be074985fc67b7 0d624df132aa2e54b02fa619fa707a1b424b9830 1283fbc4831aa27e1f0318414a900fd51510243c 18bddd15f739dcd43f146f8607ca548e20ec793d 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 21c2fb773af89aeda79a34d7ea1eefce077a59e0 37cf0b4fcf26d02ac72475674972cb76fed24fa0 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 422fb75946ee2eb3f59178cb1035f2be8816cfa6 4345e5b7c65d63bab8748023faaeabe65a7e98cd 46353738b48d40e2ddffcd791152b01913682dc0b 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 5117119a178eac69d137fb85243808da2d667eaf 523551eab52ac57404c63a072dcf3bfeab9d152f 54bc02edd20109ec5df1f897881ac82269c23e46 5baf249002854ebca32aada93ab62260bcb439e1 60879ee4da2cdbc42a47e3ef64f7df2244c84e64 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 91a709751d422a5c99ff6221e78f6b756ec46575 962e47aa332c8804c7b150e59b0d93cdd566fffe 973d6bd96dc9037f8676681fb869d6ae83013aac 97b0687b0f666b4854bc0c37842673e1222c835e 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f82d4e53459f814981e858cec3d927c6169fcd3 a612d605e4a059d80c4db56e04c3291c02d8f652 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b319d76f815a4ca5362afe46af6873f3072b5661 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b9779460bc65439f31b83010861992dd478d2cb2 c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d c9a7834754ca020e75afb9d98e309c88e75bfb0a cb03b6ef5b1b2eb96a968fe951f9bd45a635fe5c d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 ddeafb789ceecf6113f05c3fd39d4483efff0627 e14af5b9076a9f726d4bab9022de27f313a84125 e16dd81c25115952353dc50e98ef8842c8109688 e72d715aa19f3da35f1fcee345a3f940c102d71f e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f9ad8b0e4dc237bddb1a7187abcb79226fec1f907df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 bcb2c163557370fc3c262b426278daa35f969e98 b22e4c2901a024517ac440e4fa6dd75c666e05a9 d0ac89accd1212404966abd2f815523230df7cd2 26ab2c3c162ae5a7d1c10f5dce0a010d3e4fdcf07411e61cf30cc3bbbb4e89819bc58ef1a236b50f