SQLite format 3@ .  YYQ77Atableisabelle_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, "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# | oS]HRB-Slicing:threads=2elapsed=491.559cpu=932.784gc=31.756factor=1.907zXZִF! m~]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƶp;'OEӯK YqY2!+=ҫYJI̓^OB=ys͹Vne0fMT r8aR0&Z#q PާbK?13) >e IC6YMl@B.c8.(Rkb/#lՕt;uqD*tͦSRk\D"yk#{_K@7ܹns!/2wbc7)5mz6do.p=!6b{ 1>qmn FBUeǯ][QsQ۵TXv&EesYY|HSs2N` 8yOKEd>jg4&#rOMxe*Gy9IK3Z9nצ0 tF]~f@#GJ-"ݡ ۰$T]xlBFJq>2\n1o[w9AVQU3σ%@5H(hvL}܀,8ZBau& ^{ ՑpYN.F$r)o@ heX0xxk! X ɠDbV! {#?ӵqqQ|Ru75_=*%V ZApvW6k|ͪ]-R炪.2b͑ч «W'X!'ihk)l (vXt*#tԹ&tÕTk"'j/قv%-Jg gB[@C^9  YnE~?q(yx$DͮM=ґmQh!.cl@SנTu#!Bc9K!n^_Ax8ltj,#PGl,o]5XGphB4ZT\xE>R!*staњyh8lSn!衊wXX'q 3>܇ 81vOI0=ߥ79^ra+q[:޻;/Jz[o@z* 4c-ToH|q$gV:]wn/-iQBt#ފK_~Z0 y"Ǐ?8qv b2:IwЁUSTy2%YoQ. TԭPIJ`i9m2kDJK8L*qGZxǹ_Sԥ;jSV/o'}- _a(M _Xݛ %crc 粰lDeZ.$"IٗOzKK\] H?SX#d<ӁcT F6`'B)5Qٸucu?b}u`s=^(Ԫ}V'}iAŸƑ.3<%PeeQJT,aB4o0cC7KpSyg˳hb/ZZtu}N 4D,].=sBHRPT$9/v_vAͫC\rjѬmQ1dp+_(ۘvN|rlEib7I0@<Yւ9q_`i^DiEA,\1x[Oy}d>b'XCCiF#kIͲe[VK(KJ :͕<@%5c!,'?Pz1.!(Ϊ8,ٺQq$-G4HTzv/FVk̻j%$ QR}5n/^ڡ+NOx)EA98OH6 qoYVmt7ڝRhS!f LB>'ebiIf=B]c4Je5H7!ϋj+%X oLǃgxRgaRD=!LD"RD:k!07@mB6vsY$s}cc #%ڤ^Dm`?^kE q"d/'sf+;A i 2Nqä F ;.֌н"~o؆$s [^Jb=65~nbF(zIU+(Ǫ8OwǷBva6 ^%jΡu'igJ]$(Ό3_KbqC0Ӛn:_K+ۗɠTNU6!/T#$Dt7B NbO~xbm.mD:D-GCk$b]MH<q~~_Z7Z.gƆ أH/3!Gvd%K"`% xjR0L詜aG&`#rx Oj1gx73ghʹ ṣ';\Qʲ>oe6 ̣_ ?zUgQ${!R̈?am ޅaZ^\pVkZJ $e!aa6\1&YT\!E乂X1k|V1!0ɩN}*[}B)uەpلOrY+.3% MHFh4*^9aT=XV#t1AB,1}u! (v-ip)4{oDSmI&wB{z 1joxTpJ"RtkWdd!Ţ[SxNA ٦UlP*1o>Q.kR"gN͗BދgN߱O_ÒVjk<`b tNj>W`k@~ 1S}2iPkcyiKٺ#϶7遏=*q#{X|i1|+ZãwjWÉy ;% `Ygv~5Xq> "jm}bhz? jw*CQY!O ,a)~GxXa4DO%.h_;js,D[q2wzpI|\}Rrk 㰘4YT+j`1XϊM>hAx/ ![z9f4NN0ְbAAK71MfQL= \!s7zKYdCg!BaM1AٴoW Ao7HCdC 4h9+o-#%z k_ɇ2"khTL&z wo,[? /ѣ â'3TUTE;C^;KA錭&P#Pʁt5t؀O+ax`r*xIoM\y %6ƌ. Q^P%BdW=;5'q.2/eWaT2 ;N8 &k2$kkHO樢g"ʎ7mЈE6T)H_MSBVU!akm l5f'Oqx$Etìe @ئ}5F/xؒ`{HCG2ƶ8ᱻnq 邾5M t WDH ~޷G 9vWDZ6XAx?CHF1 Ck9q*Nxbm[txjS܄_'v%O+EpM =uR{R3ʉ/CMiQ'dK)]{LtRHJC]1]Vp.!&8e0J29+zBe@-1EJ#l屵MA*oxшf} MU*.~1c͓V35ɻιjҊ{&=ꊣ r<6wڒPrzX,up}tM#Ss=7:e鉥+(gM [RopnO@3){6iy2+[ _2䫃 4]7uk7 7utGnMWz2bVP_@l5SU,`Aso {VsHH%ybR ^QP!0R 2}5;INZr\sv;Kԣir?yGYz{ a$zjw'--?D`lҭA̮}욀PB,c,)Y*nOn=u]h*arpMODl{SQqдu/zk8u0|2PЌG{/R>h_ 00]j( PkteoH+倰1ֹS/!Zz+ %dž!xzBdLTn$;g0zJ[ ކݘ[Ҙf>G]?O"e\<x#t!]k!RK{(7m/eC!`NJɌyl!?G&.^wGq}8ئ!A}{KWM=Y=!$ߥ_9OCiq|wQ?̢2vr/ygpm4wG-/`9|NkcUv k[M٩| \h|$6ܕãZscAA坫*6z? ]Ǩ,LVWQJԝK8 $nu/g.eIFX=v'Ol%e$_ġ#S`@e[[7c%F 1 ֱ$0&}T'5/='8 :zp;qx c*K|_7K캊q}YcYx@'wP-CTn!CyƏcAb@ڇW͸?i:M 8qƟBy:CEX$,|ot݉j{Vp. {YAޖ_HKK!N4+ŝ-c-5q% { y\FxZcc1Ge| 1Xw|XSX]4\l6)IFTqdQ;Ou8Dv&Yщ%W(Od96"'mQ/{]^U]&7ʣH |em0$-a>E8 )=ҕAuـQ m/w Go!H-1rP_5tBlX>IB tpr ZpqIp u Ņ~zՒzƩ1.c1D?%Qk0ՖUlcrˠmBF`4)G仢Mr`ϖhrNbך6}p>pQEYI2;R Gj8c5`n!eȍC, wL\\,/J>P~[F3L=__~4kM] Ҟ0X&Y}tC,.j =%܇a@8Ö;7:|@(J P>81~lE©j(bD@"57Po:LYOAҮ=@5Z_Fk9@$:X P}eO*3{**dKbh&x ,h.)б2X\z lh5aXrR' [`Pe?U-Xf|?2!tbgIğKOL>`4t&%:^,d :OG0YIM{?Sk'&56(^{.a xSSGSc_ -r?*ɊK v Xia8&0޵JE9ЕN'IgַƒU%[߼ 9< F7Q6ywA%CYm#oIv%z6|o Mg7=Sl֦#;'nL3~% d{-J4xCW%Ⱦ̔OnO-iKwfy5ǯ `9ӉT,g-u< ̍=:$,O911~ im:D'R;7>h#{g)R}ϒƺn6H>=/o߀u\hDKH Al.]\‹eH߫we0<Ss,hs7W%d5$"Na5Jy@4,>פëE7^(}șLm]@M7nh9N1!kb u 475%5{) imxv  G\V *i:{r=U T )JNڔ3_"=qH5FFQ$4l'{]Y,FvХ~ZTgIFք$ 1jǼDQ[K%p( " Z(XF}R=E<)j5qx0[?a]М;c:zK4.)[E GB̃4!J荟 GO.OϾ'8:/ti#m1D^R~RrF$R~M:m9/6VsVYb=ێU8"odvPznIB]?\;XauҲQP ;x&nphG ps|l-"عD1zXh9ΨyZ"tQ0&gQd ZO j/a7'nJ-H~MjcyNcY+sɵlii rI&€D{y^'?>1J2faHh~hs@JW&mSjdqL l-iVBe=P-HiKVGh] ]Wwd8qqQlWء'@sSYK/\_0i\ڗ@AxtLl"2M qOe"hS QB9ǹm˿54> U񚖵pwCAZ(%QWXTvDi$0b2D:`A*t5VZSe3Ĉ;m7 %t& i+>0U4=QCx^='m .;[ȕܦueFvR#w?[ֲ3'mX'uV<{^HO]^C4R~ r3~mA$63G,\`:F,d}p Ic3``160nz+y9o@ךּuCgvBU8J٦p颓H1%r]lASBS¡7E]%{M7ȧGUӘzw؜XޛT玎Nvz7/R9f] aJt"K~DZ~j\I2vQsiF1J8G=u#W~<d߮b]eՆe {bP3S{:s(ժrF=Ws!mKdbf*+ڞP~\(N:T*̕b4Y)U%^CKԨ `74^&3e$v>^<5yf͎SԥmI[3, 0 Ϛ ^A;OpOiOZ'/'eF^&$XW;gwvUq P'w9?xm+'T?:q=j[M 8qV/➊!Ve9y̵SQnEGq}P"}*Y1CNV NU$Dn~Y\fav %X8FdqsL d;S;n& ;"b7:x;ŽIG-չNXӭar(s$' VP;,7A$ra.^M%4g#59kS>roa ӑu]:=DDSDVey&8UIVlOxt9|¤hyeq/B ;]UR qCLv]o>K)7q{Ӂ׳YgӶD*/rbAGЎ zEw'nfޯKjG @w{C\C0j`LFq4bwIL~<p۳]ޢU'V.TV dey!w< 1Rx{";1j&D-ԓHNMf9P bKfb~u aXh0ѧjr"iI/5w9)$- 5\8bJ[,q +\Z1eYjC. 6E,&׋8f8\;Nm)q@.";1C"J:|$gԽ3տr%K`Xp@ကf=2Y[pP юB3.Kn~ޱ ? .W,u]@SsXg΃70h_M[f P(yV9oR}<qNԜ.4A`mmЌ)o"y"mY}2ESŢ֓ vu@NHb]<#6ϭuH06)aƳw^\M w:B$oQeyE FA[J#3Ů N %ZtQ=LE C/&/՝_Hw5d:a=: eP%(VI2KS ȭg;;?SuϜ)VLud,kV.U2pU) $s8xvpRZ~i>7Pwd?"?*å56~`dPFzUaXVoi7>Dy7 Y5Y|㺦Yr,/["t/XQjL&.(Lh੟C_6Q/ЯWγ(u,-m⨴U w֖0-:oU8FmV:RG,3E㭑Zpt5><2ϧ8t35<^0s_ 9C_z%@ =!2;\A cr q>!B&1h/YYr@cj喫%ئį4J2 r1R>|f;0͍t B'^bU'ɤIGclc/W".M8}0ӓyB3- ^;^9cN)t> a9̫-9dRj'F}[}m{N*>߾)Vl^^`ogx>P+jnL}e 68Kr D4mLLq٩n!,#3=OƸزi~}0< pk‘Ȱr8LW RrqCG"7v7ă!=oհYLKC-**)ڏQ4m%>yz'K2 ·QzKI/뻤BΉj< qN)4$ݫ<%ֈrQiqz.V'.6O`w!vUڑm7<- Yi-+~*4J.#_kFM{S,tAT_Gg{Y&|1*J;e5 m sB(nք+'Q~o\Lx_$Th&Ui8֏Yi| ¶e6k?f+GDS-' xK/X[d55]v'"\̚ZZ+h{ﳔ0O[g{ 1{q& }H>bQ O[Cj򤱵:Fr1N େ[0nX1qpITqsgGL+ $-)m{Ȥ\ R4 Z!/@x#qX[2 &n皢 v. XTlȬ1XaW{ӂk 7ܰh@Bn+szhQqZϕ?7"^0O/+L~{P xP{%(&!K4P }2;5{=%K^^zPW90k]f6QR.Zxw-Oja-݉ ~W+͋JKe;*ye+E۱TUm; 1BLlH#$zƧ&̙0𰴫TƇ|{wH?>9|}-&PR\񱳤h_Ϳy|Piyrݫ/EV?-fF_%*ynK_k٤9 ڙUEءUӨ‘}eS|tCc..6YV&w@V){6IE|sրQBD7 HQFq9 t4HS1\m^0B,)HNqUM5`M geLsr컀ODEOSOfzֹA #w}#ݫ?O?+W8cܓU~Ii2;! fk8Ji>2MtN#&/i ~0zNժK*Mgh#S,ɾn*/KJ "0m@֖VD ɝ%$ [*rcPqmMUt 'V97"_f1aWf:JFBH׎J.9.JtHFFz_Js&vodԛ/L L]ēh"+L! % ΁4 K?}Z|{ؗZA<C;tM :"/5,o\HiKqĩ[y|0`x=x8~΍Brϓzv(`:z:x\+i3JؤGV7DָIvs(MWqRyPc p s;tZ jP禯ɯ6J1i6Vv=: { x=K@?^7^//)WBOZB+ɌO@Zt+f'nan7L=˨"c lr0I!!Ӄm8[% lqϩn7Q IvA^74 4MFxk4K(T ܍N`Q &/6sMҚAz$d7C u@y̆\kKwkJ8 K/c$L\:^Rv;gpm|e1MWZW~銗Gɢ{ &LQY=)_DKİMt2:Uުs,:֫S5UI]G>,/M4k,!E#cf۟TN_c 3.m[ghDy^'44a<@YCo|Wh܀x”T:tFkt$LV TJO@&Kٌ4E=Yvd8}StNLT2SMBctLM%.TFr |0Q"`* FK}9Isƃo|dj]nTnA X?]&ڤPfQi WT u$*?6z&3mQkϖX4 y98\#O й,DQ%A+Դ/^HZ)vi L*+"+>ޚRYxSS)&VQ 1!Ch\XuW E/ w5G)-z ўI?Z5!p֣]]Z"O'u_6%M˛4^L)>EEFx:9zul2+ j -55w֚ +r~\w ji/w) w6q]<{;6V ?w,ў$Y۹<)[wx>e9nXv _#$c'Hui8T LJZ^N"w߿몟nhH11C^nRl*pnDEQN~˱*2= wIo#~l;d}-˺gKY;Z?,&u} cP[g?h޴]z|:e Lfw&-/RϰJ rD 1Wpngz@kG_S|EA;_~S@Oy1#!R6;H3!~]1CH_Cdw:SG= uyI`&˽Juy2%p‰'@6%fq CYL<'|/2H.O3H 56ZGϼ![!9XO,suLy0ZGo:ˡ@ońw4LU\3]EI c)ίb6ۓv K:BEa+t89!ΠrGm"97 {ksX AnӾ۸\ǧ.?2J" T]f@ŗ)[\2+/(Xmԁh* :Inbl۶3vm3qDuW=FPGN1Pgm1ňqUzYx)'@ZﴀM l\![,T8)c[7wOGBې> gX=}Rm  Jߊ{(Mz"WcJHT+5[p ⑜Z,h}K ;~\Yڕ W}3dVuM^,=T)h!zS @pkPD[+5xwBv4? kss`y9kְzּ^SMtiLJи4^\bUԅpuw^x|@@FӧF'4xȗ@uj!phҙ͹@J7v!3(zViAV?H@/$fKLJ:D85ĿM W  ҙ)}ⒺC(g! 6ҙ*`@(A+ޡzq\YѨ߯"~Gܔ?MXuH7+ueѺܸQ`P,+10Ůc|j 9?jv,*xdub-blGB$MzXpj.'Plf%YhC=hG`g/ {JR:8j G$MS瀂h_HWzc{qɫ<uIh @VYÀpoc4TY#yk]|vlels71=\d7 $}J|Mv!MuHʪуh:WJ+(bu%t[*(G0eS:AoLPRfP+xivWYڜj9Q7i4K\#η$(tJ0L0-V4\Ф7I{:%{A;tkV|t'կ<`:1Q NU_ɜ }Kdk.m_Mii}D!s\+Jw:'} e'C2j(0AB3.pq~} R2X{]Σ֧liK ntJ n/ uGDx{IOnJa%ky#6vPIǥct!?NB8y l>/IEraҲfi>s* U=-I 6T l῵2Rv`BR<ZLw>斻xX2<=j'??R9:ɡH?}&X>cOMS k/%J+\v|֑NZFqupibKLDUƊAK2C]ЪNa4h'*"&>sKNE10:ۼ?HR4nY__^F5l1Z7 UfVO֌^Y&!w^`SaB{E о󌂝NրWS'F /"7ۀ|}67VQ?ISbHz,a^CDj ` 0m j %mnPSF s̮C%{2GY߽L7v[Wk_NF~9 (~A);Ӝ9@ ?xL G„ٶ_WEAXR7QUIչ<$8ɽv!U/Z?dɗ-9#"|"-㈡3_؅<dYUE`@7{HY@ K`7*UC+(CVeB |`oɯdzGVzIԫ+!wN]JܼY/|` v ?6*nI"ܐưB=u,"\p~uחN cm`*c[{\W*g!XIsXrN?v #nQm5۵ZUaS !s {gLn-/դ`R*wkKya_k. a;VIv::2ƒ=7·r [\Y'8UJjev4m}/([8W:.q{FB$|IW-D >;{dHs]k`VxE2ݳ|i/څJ?1> f=f~}_arO≝5f^W PAYiSI)FqB㏺axL;X |s@Rtb^ȫa>aD1(WnvŜ(_'/4>0R]F5k'R#GmDyEg)AVSm<Jb^j%ǐfa׮LPMT#ܫb+Ӌ}+̦||*|s}z1~2)h?UtL `,[sܩ^'Ě1ANurNUT-?N4 77WD{a&6ьjpJϯik%UA-5{(lxEB|iZ`߯J ^Tik_Ɋp0M#Ęy)Eiߝ<4>@ /FHX~jUݧ=F5I@cׁъH>R @#{;sC@n1' `N?.Yu)ߒ鉮t6#YQA<#26c꫺ğpqpi$IU-B]A{ȞN' 5ӎIzw d|?Qʨh7@K,F%-M` k?Ag1vxQYY웳?Od^^< Gm)e+]:G)mL/܌'*h/ߤ)S4EC"h6*8ēM<ΜLAjtyaF'ٲRr#V!:.1DKYgT -emּF1 n N&Eio~Ͳ1&Y !WSGuFdtM5R5g\pU׽pf {x뺂dw!YҎmA Hw. t{ ٯS.2<.M* d ʣYJ9 qh%f8e-xޠnF2NDfm??D|/s9cl[~d =6'w9K7*YPƈ؝mUSM1ME*7*y27> ML>P/a[ހӈ+HP1r {]#1.^MK @fPYuѲR!ʽM4Ix9 RIc'ݘI^y=bikdWSvKZRbz29cq;DD҉11ٮ¥ʷp|C(phĉf{S.܏_xziiWE)pxH8dH-,tWKd}ؒ<˫8Z4:Sr^_ε$$6xXY؃WMlV{xA"C)zİѽ֭G [+t~Uo4llvGS*|02u 9.ȇ’HWp"+3FBdQ(.t06iIYz2iiӓxEzl$ 3&7&@d*, g}9jTiZ4"׻g/ ˍz^%QJ ?w{B+6a'w&SQFW 94BD߲,g[C<񚑍܌ 4{qXX9zab CZ=_T5y"Ǝ8oC8,D*R8{ Hce7ִX9d->prXke ݀^%fV_}bDR-J%@#2wBvh9$E_A3CyBx OE"9F$g5X =]nUgAծ:\x0K1 ZqO3Jh`#s OxҲ03LDBKp:PcsFVd)df۶%5#xY&|؊!$b"M9Z!!h!狖P<,و= [56+}cu XTo H7c>e dxh*bak|GDyCZ,r]DOš:[gYZ7zXZִF! 0UZ7]ŗXi% ŭWh)\wɊV7 49(: Oo=BSR~NvN&T!XZK{C u߁Kt%c `ZD܌끘O1R\ٵXwr hKBlcf7ۧ."$@;%W~ IJ1i *00ъڇ^@tDL3ŒOm/ӌIvz!r;&_OW̌* :|lƃ]bwy[e|/4tM60< {ʓe4r~uC #iVkPutϺ9IKϜY $zi}Q|_c5q ȵBIFn>f.OޮIY@)kG;a AOx9,OONZi V3J%XA$mA̡ 8ut~sy%0j+gF9>9);7q}CE-/AWu5@F|pk=*8Ī VEW萻{ה-_p_v7 )R{f] ]9=݈>ՁZ`[s;nZcPٹ| L{Ҫx*!U 5j͙lxqV;DWҝ%.z[-m2kCZU1{ػӎKG}yj-[! |z_-* ^[ =1s.l7 ur4My/ PCb:& ieNUX&2Bm %d}0HFxaK(yRJ͖F/.(1:Avv//b\5nFчm (U[ Y| {'ojr2蝪وٕ-ay(f6pݔ@΄ОQdXNk]3zR<7CE@% wm@"R51qO.4<~j|9P+O%.N2d=*ƄU|B=Й` eY=]e`GDc f?ٔGM>v̓ä~cwRzP㓨vTB% [[80<4Tm S s{o=:պ*ekڴCGzdX6S ֓Q !\dFDgУ<,$~6_숣eShsg{$Cd5 I``)@mJvJqYSz!ϱivW2~ jV/Is׀y_:s'w3%HЃʕ Kh r{duiӳZ['x~rw79Q#O\xVAD:܇{[q $Q:x'e=RPNeBn_@.ulX񎺉nhX\?6L{0 l ?9{CKvd5f+G.~4"8Ӏb2s?o?t8tz 8bxpm 4GG-q ց߷խÅ8M6z$ؠXp(ra\e6mxJ7rͭ?g%游9H%H/&c!1|ܥ`*gg { \k<^=Xע`QjvF!rJ#$HCPWo_`hT(~UY{7Ҏd6}ھ E0L1 Oyz Dgzrxf)RIa,ٕԞYm5qƺR9挑0Vl=w_[xLv0GUu5M D[$wkm~~2Kx}"a2ߒ2c|]4mKA!ETՒ@W}WȿG団(:I9W{Ԓ. `8'ebz+PLB41I[ HEM;ܤ'q=tEuļoh%N5G2G8)OsZ:_6L&{/qϡ.W9OG]|.:nlEd# NA*`8#nPpzC{ 3!ս2^/߻ueOT:a]E,َǭ)"P,IO~H+'k:Y'3n,3f9{t"tFK8/tUp~Vh&BJ@Q1CG?Z7>EZ|KX#rR-cz d2YjލNbHقJ?I"睎V?"ݓЈ D?B!fVL[Ś /Bx?@ގOG\\\ϒM:mHN!aړ`]'ZlG_[Մ\rzQ8~IDB=3iL@)rǂJ |`zDgѼ_r٠zV+7l/5ꦍqo8lϓ2ZoFV|*}.Cb"CوDA*Pdő=R^%r~ oyn'u"k/GRHYѩ2,("Sm87ŬyZ ؞Q|tpHx7\rD`_N'y㘥'{Ic7 9F ;(uZd9.LRKkB#Gh%I9\'aUڀ:F,<,i]$B}kfp^̌vis T ;=qrF<ꥁTI`5»Yd3$j/ңPO\L0 v4&s)8ʂ}䋏 u7em-=<[+J-x;Vu{c7Bں1ZQ v͹trs]SI2 &F҉y C( f\n k+^|Q |VqY q=>s90x^ LgGd҆"q?$+Id`4e#  H&>`xՃ\5 E'M U4;2j>sSo/$Pk>Ԙh9CRe=&4W|ۨ^@XLZce:J䚖]994\/uJ+xh{8>jD: `ɧmNCGԉ9/QGROlTF1K|7!` ߍ覇 pn82HQ"4 , v1KNP%CqFqFH?W7N>HFleZXvЅ2x\̊S1CY_WOju۾:lR%vc%)n,5=tXt&yO_ *baW\>vv 8^ c(B>E슟~H/Zrd?XalEti61=Y427>+nz;NN|iHV/sTa^]  #^$UߪRYe*}dp$K*v)%p?m\jSm ɒ# )NKa*J&:6 RSr[w|ߍ"Jggd4u},k3zB74A1I+h\!Xyנeie{"`*p#)h3#H9*qEd3ӫT42 (>|vbS *d:0sLf) Y߲7 6T܊9 JƠYو tSn1ѪIM:X1=q]o`³~n'|E{bFs*}3cI<[+)2Ev^Ź /W)|\wV(6w2dN&x/lhkin5 ѱ/Y:D뫄|EwrO:mT%LR?q"4͜#aQ;q"6 `Aۓp~'xvvaQ B5tF/?(|h$Ywp yX+р9m c̳O-78z)U3'+/ X,Y.,SruTa2Ѽڅzfg +`}'N:j2IY݆28YkbTP;IR.ʖBƑY֕o22՜'9th}h⾮oIBmn |,#˭爖Os-=9$UD@䁁\͢K\mZF5iKDe1ɣ zDu\ypZ1R~be0t . ueX}R~A- WYI;!ҭ82H7SE*nam N = \S֚M9\yq*&G7 \~xZG- 7}Y{2UfoMnH}Iͬǂ@H`/<p.9X+C^}>B̹(lNl{&ɸr@ W< j-^Ze6sqk6]ii-*p, <+[Lr0őnb?iAj|N ak|F{cA (#@6f_7SA Mb&,Yd؝$0Bc vL/D_`d^4wM*@Uj% z&SAB~ 0Do &g@D(GqBYYեVdO~J  AoSxƻ;P<.ZzF <\Aۄvb< La+tеǁ{:vw!c)MwNʡ#~JIa9b w#$+/f\stB:fӢs"Hb+ˑ/!GeJl2a}sfN~Հ RtV~]Ǣ`Py~,o}pep`,Wq'suO d4y:y׆ (W ݈BAC5oT@KAU*!Ć%WxRSfMoJ ktb⛬ 1{^ޘ. `U;mdx7t>Vf8}Kh 3 qA@ =1?qJNTV MP..rW((2m ~(h_vU ֦wTc&#(LGG%}KwrNqSLe"׭۔AVfDd읣6.9>/]#hD5|.r )}tҥ_G sM0Id`CrR$4p*#|6 MCpd٭N 2.IAD*ڬ x[?ԒfG̜,T+ 5BfSy^ᤚJbԏD  ]̄SChP)Y_gDj‡I^rۻK(+s$Sx$I{Ӂb*`c*ϩRXڀae:_p$N'^i"Ĩ*?3Q%Eb@ !,͝N 1-gS(z_H tCD˞@4g;{'~aK: H<#wnt jh٣cfCu#r3xTi2n6$4ɥY^Bgʑ!z @ ΍ӯvר~2h7~%3Kk$h;huj71?zȔ3tvPJ%&XR.D@ZwTx|4)t6sB)tpCB7w/RVjƺ)ق-: )i= s|;VZX~ɝ{}ϵ^o],Pz?U"5ijl0B{DpaAU"Þ{p.O{^c^ŷ$PMMR2~ҚEq#;o 2\ZSF&k9oU{Py:J?S߹}Mbjrs\p9+%,yy|c֡8ܵaVkQ P1WUBMnS<`;eZ0m@|Qh>-wWB] {e0Qjh, ~['cj`a -aD4en/7[ÁE@m,EC81>5L+ ArO}2$¦/t9-:y'IGsHqnDR=&lS&H9]Z%pO?i'9vpfxu^NW,3Ѝ.%r StFm*׾7mѻ[`]bsl1*&؋4rW4 *u⻘*OԚ+0ǣϤd92~7Vf? *I W݁FPM 8ٛuAZd2J8 y-UT,WDݤF4'5=Ҩ i&᪛(ێ6 :GΕ`%I\e4-2,@`tb» ,`cų7W{({o|!F '.3&B[KFbuۛ7(ՑذzjsqT/|W>d HV -1~Mks3nqڠ4~mT6DSHz\b5PT\`.]HvY0,h7o%@};6w|^ 'Sm̦ Mv͸") oIOX$>R\e=e<0S4إ&E?աa=A/^ FYFghM,mOѐz7zbt,l1,Cꔊfu͐;K_Pb'GPcU}3C-2k\K?ݚj^Uh,8?\Ca%=^|O'dW,FȷqN9FF2**T2yFrZcAv[+6D[)83{pY%zG},W:l(B?gV 2|J:gٶj ٱ~g*;(: (O\ B&)ri&$' G KdZ1}_1cco ֆ1['A[dz EWCy_?@AUΨB4?&Xډ?0D J,Ywln~jqP^@#ي]Z_'xtz3孬 ]֩q0jx;iVG5qb}t~O2w& SYƢaA%s<;.Vvy.qʩt\[ȁO9\E9PÉ:X<'>z(:_;@ dfx90xm!3W˸ jJr%)4DHGH3RSn潮F[ _𽩶lٵYә&m~hqVGdžeHRI8Ʈ8P[8GH E53PN K;F)]w#Wt`_An3RKZ3o& F׌K ~x•1@jUKs)^qY5F@Aϓ~GA}tƲtYe&ׂuFC\\N+'4PCIfmFźg*>Bçυ.pE wrx(ݵ8qpDSl\ŭdBWC;s+T7g/[Roì *4qĬ]6r⃂(qㆰLe߼uʴwJ+GU&RcQ[nlj`Bb.]Ǚ >x0/$UT_XPWM-bjSD~iÿ+N2C oTjŊ$ \)-jk8a^9K۟VF?4l GBp_Ưδ{H_#2ȸu;K45 ~^:5,\醵+ͅvbEfe /Wзn$Bl}:֢^Zg@wn` nx]ә*w~&I5 Ǒ:/h&\jGR,*jZW@FE`^*VQ I8z/X;)-1lf鰆1ǩPji&Q%vyY`Ao Zְmۺ5bVShjPo=d:R^1ʻvjzˮXYQeVSۣn+ 1;h $Sܼ!cf B\ƻSFg~oY]Vڈ4fM8*7QԻK+Nrҡg+N~Ĕ-u &CE_<~<8Tt"%FrY"ykiS3}J6#4exFrk+s"ə50C.LqxD~!]/0„EBͽI) ] < Hܞ|197T.0xЗ*#0~01A rn; Y4mk&'/y~)C g}] h XTa ,ED <9Z0rmyξ{`ǣ16T@~H?#]Mhc G@ܤ,-SuTl?!E i>lh~j+{[iDtenp[bg'zVĺQb;:%pGlM(`ѥ׮so g YyASaJ7]"*>} q'7Nz'}u6~+WY_٧~"1kϴ@hO]Sy<219=IGZR>Y{]+k~5; amHaNTlhx:Ϡu)ՠ-D (HRB|#xd /u",-n/m͘IUI$JdD$9ΐ7z,N39|̰{-- G9?Of"W '}pxe:N@Vr4Ŋz%Fl$floL^7H#X{w3ҏ']U 8.ZÀ{%_ od2r$L2n^]bSj@>su wV.@-o#H:g$ `;,9&r eZ[v@lM[SnXwO B/i"F!,xHn=!3U8thЁ~vgU_U9Xb}lpmɥu94H/ӵ&Xy^ˣvؕd@$1J\gӶ`h0 ^*s֎6$F/vv 㺏пr ?D9x^qح+̤O}WJ@,:)FmzH7h7̈(tB(1Yd ,0!͌,#WΤ$AL,|^n% +T*ls!^™X?^ Gt2 ՜gHE c] ڻ#"zX;yZh*0G1B@u$1(c~ʳ^@fȃclsetoI1&H,sVS{e,{S@x2=Z#M ߰1l).V]-=@E[ϑXzlC8ōW#w+KC㖣cw:q~?!wmݍ1es# Տ%X=[H50;;La@ǀ [UV8jF|JjxAA%:%󼐁*4D EjeUb<0tBj$f;dj7QBrr0f߭=@\@GQV-n ,::(9LYm]tWgaY1b+6`7 *i$$t⎥!7AlR2!Ps`ǶmR{C"̈́lH|NÒ>]Fcq}S['9i4$H,e8毟`FU3wf_V`"̛ Cg);g1ERHT/_FBto:ޡA$؇ aH&[Pwb( ,xQz,y-~f%E*TCcPj3,*8|vwl'u3=7=dz 8 :S4'"@J.ޭh In0;"˫8dLB+ؖ)^#=O{j;Bu{URY~;' MMu<rqp}--up*\l$bys(FLBT|X K[NBC'T 9gYDgJ#UB$I,JC1HASC= âuɨ@Xf2Y*E0Q У₺X oMapw<˔s)3F‰& A .*T42 Hua »J(&m*7;qo2v`C6˕^h>ۑ}9g!tǷou7N5W+" mT}e۰gFBs@E_\s"JQFkdY7BO5+-.Ir8vnH]T`ùD4*3ֵŀD؟UI[9srk3 U;,{*H&`sNk9Oq8I /U%R7]jZO0+|xAHtDQFNf+)X@ h~PZKrqq֢H@Nly|B=Gh4;XH w*$Td/m Q*Oۋ1q}+-js_XoD9\R$"*l\Ĕi Dh?kpM݌,!Qh3yTI[Mk`XAg"Mlo2۬00%\7e]uVO J`Jغ,X)Z*%ڪ3|FZUb/r%۔]v"& :-ꩤ4l;3mD֮a%׮ ȕNS5/]R"ޥ5Jnb8F9U\95;تݚY%̀vAڧUg녪VeS ;L4OW?11I-xPG9((+k7naw@|T/cryٴ#d/9i^dZILQ"MwW,g{5w{tŅ q̳VtE36t;PX>,KI09j$н73(^eSDJD?4 U7ܷVAMsǾpQ%&D{gQAz$}9@P<_$SL`6&(${՗ 4aDӚ/T+[՞- Zq唒q4N%)GyG˭gÛh1u@&YNe4J6ڣ$釉?y{S fb㵡-Z L,ss7Hys->[6i~"Yn}嗰fMD#1V#Uj\/}m.sd8wMm1vRŞyCoc2T,e8 7O|o Kڧ=/eX~!,fcܸHlu$>c#]6#W`c} ~yC),BdYbQ>"˧Ci<4^RdOIgYfX{L+ZY{S*R m,mK;S7jB;ivZ}KTgМzr1'.PUs'd0Un1ǹh3"lB-⼐3+Cځzl `e4xGh oȈX4%."׆2WlVd_H;2¿5NymQ3Mz'd]GX*F!O Wj阁| " v,Yc@~Ik;Q}sV'SF1EJ7癃 YBF9 (7zΎ i([Ъυrl U\PGRƥ۱xՒD'L:0*bՑeWfQ~leb%@$YB`yQ劧.㤙cߥp'@7eyR@1tiCIRoxKf>Ek>Lk`m_%!g ѽ_p1ٚ0sH0)0zr*{IT 4bzf@,usjUE|FZЂ˻j؈k 9CO7U`Ĵ$'ѩbv5bW9&75A'W[KkOPw"-N~ #ŎR9=Y=ymK3lir*( ;75"4h( @qZ.rqꣲE{=` k)[Ӑa >*H4 ĐelyȯcGQ t='G݂ɦBź+c.W E} .i$l(.зG.JǶ|P!k04=ꆏ))p%ȴ8 u>y%f?`!ۥuIKnĀ!AtW"fZ'gh ԄdukߒMz V*u*:hhW 9"3m~"8sr'zaK@;=S~:_AW%RzԜRoI5&O Gb~ )]u[zBzW0Cɸkx~aC0^`ь +Dꮧ8·H/iE&-`b{+@ 6pJE,c\`?;\G5 m[̮;FaL6SB6穓cu_:ECH/s#i#*y?5YE \3Y c~s"_Cte@՚V&mlS(5O/l:pU44Uv{c"槏.ˡ 6fgM_.=-V-ϯw?Y3H"RP4ⱚViRzɑr&|j[ pvx {L#nI WP'pK8L5<ZhwZ'P#w}KٔUD96+;(J׋a|L]ȝ|*'R+N !;r>ʪ޿тoZg=l[`60'G^Վ!KO DqKmjJ]ü v2K/E?K()O DbOM\ 2ei "H;xa5yܳa]]Ô,FJMH ,_Wh53~pp9Q¨]^.F)vetdSdzFB D5t`l#ܓRdF@0cݤV{ 얋BP,f~rKP{8qސHd-:..E2ʳ. O+6`m8'/ 6|!hdHcmdoR>cФ`K (c\A_;b0$N*Ԧ 2|CJżvżTkiᎻ 6VV2!a2l'E0< GQnz.C]p/mTIa(Ҕ$ʐL l[-a`J {DJ0O֗#fp>돵jv3[`#)_ A(#΍CV)J%" P0"U;ļKF5<]\BjwQz SU54A~얨2U PZB0:F",ܥ#m1 zX,Jj;\A耦YULDS|&/Ե8! d'՛J7%ڬR:dT @!@|,E iGC{v r-aB80clvЍ߾pHZg$g42ZO^CX Uyh-5PA^c7\ B2 ^pAeCӿ-dU I~mԳI^QmEqA.Y!KzDž!z剥Fʃ MLw}w'KRb68q)3*/`~·>1)3 l] q(ҴHL]j Ohl\i"T(eQI7ڦKP_md?51-x3膣ٰnfYkX_mYݳEA[Oϟ@+_s0צa+f!ѪW*Q.jM:HdO\qFJ뜭Źe ;'VU.|sZhPWb3ϧ =xfa,M.GPQğ_2>Q ;HHgcJH˃UaY[q!%[G~|`hH1kyt}C謘"pg]А|$S`rIcяSZ?̶ t`"A%vD):%&wrCMz,tJ4MJ_.; P!b򁮒9tL$Nf֟/QA {E|r;*'j~^Mk̚(VbUkFq5gjƾ?I-ؤmu^e"+j3,9voHi,`Y:?6j qqr*dqP^W:,M9* #\oV))D5'o/y3?  Nfy2c{.vE<*#ʹY]a*Sl* /$?%t!pTq]&JrR:zٱD#5muF: v.u0U?G^Ww}vA'`lhU$0A 3a!B72Z;RW/}tӫ @Ad$׀~ \@˰ DǯE IR i_rZbB ʿXe*"QS_ْADgpyAIi!zT, Mbmqo0꘶g)ŧhr%&{q:d:r,33cWSr+^rl'o/WAL"vʲ̙]+^tK}hcFM$̇j9}zx)# *iq`fhuLF֋khv0+s=\u|wnt(b[fbȬgRaUUcjz_`%ݺľK"/C0^®F]ut(/B)=o9?1 L `@EV a`lfr.+8>*)Go_o!\_' z3l>FlG5V5r TJ烂SaeM}- ĝ)I࡟5Z0h|uhD#l1*_`iafәN ,?0JuT.=#"D/\aB{ ϰQ}yv: !?:5/C!eߣ'%KfTDt)W.!Q{"-\LuyDP/9Pp{hXBu\bF=_]ǃ,p tFw)!RѨu\J3'OJ]ۤ8V=xGjLgmq^/ցZkЯQɃ<`%0_eZ#2Œ]ꢡ͊vsX{Pb .:뚞;"GJʛO? WH[ R(%-KrZe޴>cX)J[*urxrtxŞQg8xɓW}="<*Fp<oZO.i k#lB%@1DX4QȋvT3? j{뎑;Jj+5}N_|lϿcN{agRHR@Wn+5Ba w%ƙ/%}54i80)Sa#ٵBu%rs񑍲"H /c ҨPi.T7y!&oDdF'G!ZJ2b%NG\\'I=_yKNe@rs $( 2E2Y][h_C9&%cS0H >1 Z{:c:i9'aX2rRj<A9%igᕚeX>9i/ #nڬC uAix )rLƘ>(y5_rCr2#4jYq*D5c٤Ғ{pi/{&θ~:[[~QcE E7]| LKAӅh[]XBng&Ĉd&ݺݯVӖ@z_t Hߵd'n O-ܑXh^G!QĴ`* CQ<׎KdS_IRcS:Ű%8U/&"/DwX OI[Iԃ_w՘ardzPP/1 v[)t ;tY-}ȳ׻mA{za@"-؎OU2z#]Fg*5 LimP9 |t8ܴن3t֓K]Hr N[UB6b