SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 $!LL$ ]]]HOL-Proofs:threads=6elapsed=659.627cpu=1601.460gc=300.420factor=2.437zXZִF! l]]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\.3ʥxj҄O"ك!֍+LYDZ`ӜYwx-%GȹۀTsT"~j$4 -NpIR* XR8ʟ\UpR?[/v3$iM Ӣ0jW*|ϑ֧  aWw/ywvw]x_䒅U6dNOeǓ0dz9?N#]jGrl4} 0&1CqWL|]:ޡ\a Rv7!i n"=  ! HOL-Proofs  নbgyUw |C݁7p Uv NY$I}{"??) bڪ&"%My`N}HP^O [aOX1.QY`Z!w썬SiMa.8e_Z|c%<1cIs^{ #bFt4 r?ͼ1 "r8ޟ7wԹO 5P4͓򜵳z_Dߞp, 3i(Qx#Y6O0N SNAe^`mvМk s0iD7+;Ϩͽ$^hMTX=( N}+jJ!!֮lJqo~3{I]xZj%Vz˻Z|5bWpjЍxsAp&ӄ5);+j;Gw)݇gbKoE69DGqg4e[\x:=OKAa5:>S6cA:9FxMk$i#ەtͦـM]1c'5ex} 7@ω~볫aX$w=DFpze ýJ *DVqIY 2Yܶ)LJF3 mZB y/I s¨7Q[20.>wwf:m;Aҏm2uUkbT`몴e=A$< W5=kXv)& ocX[,_B*>xjvB6fhvR"\| K&߮+x!e3Bxk@?N/xbhJu6-ƁtJlxz8:ZH]k|XU#`^Xj4 yDB'tBaᇃuur=<m {mƺlA`WOE+o V^@4Ⱦ5Nўu[&/3Yx!rb)}ڌ n- E*.!06`G4Ɣ{>]vq6%{nȁ]j\DigMv-Zҫ8wKNU}F VXL "qG 2t=.5J"^VE#759۽ / $K3IHa$ZO<FdH%S'g]NCE֌}2dl\'僃tm#'HeSnAi">yR1IM#u5' ΫD*?7mq$Mќ?ѢsH0T q"fBeyf g)(Ұ}PvŎqhJ#Akظ5tYr`J1X(^PTB\6 t5BQKe2l^'i+0_u䗅D '8Zi_Gc޸CLm; Chcf$GӲY/.23oS[mQ9:B#Ni|0 DIAi25 HF-.rF',`Mt ''1|lK/QY,Xvy=?*:Ю-d?YѭsI]9K#rCaD9\EMBTgD#/LC sR'aەw`F=mGEuf|JqrmGoFKH3k|ºL u{h=w:)3$IM>FTpW t X4'D "p Ejhh?T|lw kal!,3go,{(1-ҝ_Ѝ1-5 V܏k\Qh𘲥L?'7k`'" p y)7 Gڥ- OB}_ zoCS2 &HjFD,#x}]E7fpv$9%䀄M '(FYd_b8K1>s8M*6vjڞ33o}P^ߐYF?S3x DB~i7(Rj6LmB^ UԔ*x܋UBWD&RB;eU_K VEi i.[J:=J\ hӞTMO^F?*ms*&yoD(jQЩD$ryv IZz<C-6s8H/2YVO׿}ǽ㝩e1S93ǃ13*$4}?5C.pZi53މG [A/Cd a 5u$CtgJ+<Ū籖H9*QWWw.)hB˒n\jLBz8C;CB+>Ā36ܡ:MӵwEBFHgɛ;ْZ tmZ?p:z3O~ڠK\ʂx/,iwƮʑ)ףF!vh&>o]tL>pdb{<'f.]Ieňfn謔aS`(yUԿZDUΐ 8 O'zyXfAU@sG%yTߑc;krLlZq~Lm͔$kH.5Qf@Fm^U(7bG\1dJ{`wvֆ8gDnSIԅ+(X@1wr9ؓeF5äX{MHųI (> GʬI,BenCJVtJ Psj,);uH (hn%Wheh.S8A Eh|- p>n S ҁ {!K$NˁӮ7{~|,{ځbL H!G|]clpws8`eL%ެFdPp%]CJ=l~qPwygb 42TOS=nrFBEJ@rmpyɹ+[U Jهn?&[e9S f#S%o5܊rG?!ȩuF a!\U1vV3a=к(x7&au- Յ!C#nRYWJ eA4'c2$ G&Fp9ErϷJjmG`Θ^o3;b vCo9-q]J:o;? ﵱ#tsn]΁3I,%OҸJ6[bI6ۋ֮Ѐ詶kVeX"c̓d܇ig_[}ndM a\-ˤe;IMܾ C6+'5İKz^^?b PCn.= OSC,-H[e9f$HS3z oջQ5'sn='HmԊH}4q~o]7>ߒd5tȬ@ Fלs1CG+t%5<_3Ei: .oޟ~JlU+)fG`Q.6alOVW:0P5X<?c0B͙kPJ쐱HQ]*s, `"2gYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!BgTt |^O_Z8 uX5Pg]1,-x[Av* CNiQ3{OG~\Jېj۶nẦb_܃R36Be,+/$/Ta U)& ?椒[Η.TjK;UOj[x!0(Q΂\9ۿTY/oXxxa ĨWs\.N'GQLfzC=8%T5Lwџ%& )MeDVZ⼿Zֶ"|~w1 +}gj_-rw>ԐEyQZmt` eIqkCKZ.}hΆJս'/a( '4W/,WvPA&mtbFTU*- ;<+7*4i+gꃸޘr}{S`+\Gr,\t5lcO:@Lw З8X ϱ/~m*jia#CG?IqixW,־ v(} IP[~x&3Nӊo녹9 76pJ[ !á vaM}Jf ct);Ri8O"3Sq b~`a5r*wdA)nV2z!L^4Iz0I!n޿ >Nfc}ަw2eei:LN$Bk} # ?aWoޚw2]1cw&7ΰ=z?( c%I\wxfۍU4^rZ@0ճ^8@/=s]o)eC_"eh®p'< d9R'S]L"͸($͆T@v0Ai|YN,AA"ͣUO~r~ۊGRͣRQ*{`ۈ S톆<́˻'3nCK\&2RWĕ|o8,% V|:3Һvk(x /HH݅A?Mx? 4>wXKOMSSvė>qa} 5q r Q|;u,*ZcQS-мyh@2s(H`eqBEAg(*Lp-Pzs~ZO)$0ց;zFm|Yc|,ʠ̕ - pEAtKĽ;{ nuT:&N˻T B&;K9TUo QtU}+3 (ƍ2t0Js͂ec4xp"7eml{Ɯ%ƽ4x3=^A:Yn 3(huup0'/}- 1zI[Wܟ\%_HF gΎ8D9R縣{mVkc[TF%(+ SśCtRlI24nfPǛIvp[NcHSkګkY D6'=MbaqWȒsuPL5!ux}\nJYS"h$õ>@i'6cJ &LMb+f 0&̯]ġzyJ3mɬH%R5Q @p6l~':YqH%+@fD'ӫ8KB NR}׉|j;{(݈g9~EsYyp:DZN0~HNs&ѣfk?yf70(04888`殒̗kkTq'J$[X}#? & VeWrYU[ߓSmlp(Mr>n[jQ|Z\٤e%%n<34hYi'ʸgNOJœ* VE`OE |Άx{BR%~' ;* VT\L7nҦ=1JKx=$+@ݍ>ް~GV@]ͩb ~]Sq)Z%#+-wT@mqy+7*^Qw= 7_tyI^z@sۨe^HP/:1U|d_M̀-.ud(-l1F/](]gTsQE6]L̎xR!AlQ)8iqfR+Ҏ|3&!E䀰lIR 9ߕ/#h0W0'( CZN{_#.:E]WST*2uǵ1I~>CÄAd^U0|8] \YtH;g>($'PM0z"(:K_4EJk"Z2`?F&9SN3WݶรhØkTcާx sQB"vl!KtI4SZUZC|LZ4 Vf)5r7Uܤ[pس۱S~Aucb=3DJūeї!ǜH'`V?|WsIh3 c%Ś*J7aómDٔʉ"' @@CxEvo 05 &(Ç܇>J78o=rio8h d[k8Hqi*AFu= ]!PR]}F7SEE:m@DmzzI>\VFbZU,t_;uR}H]HLK}+yP_A":n)}'>ȣ6-٢U11V-,+tPbJ^0ADA*˸J:̆uXdJfT)Cm,a_gv+zYIIq:#bn4K'Y|پ/aޮۨm" BӞW\n"dPF<')}RL^41:i uN% oaUt;fc(ajy R☤äN, 6R`&@pJ@Q.K,nj.,nA+gM{8ǪjwdS2za3}8C9=tm?>"GdPm{a 9|1F Mr2/nogc c}W2cȢSݳrSeULe&  UA4L"1/X*1`d9V^,Xq\ g%lYtpPL$/6 #a'D|^匋g NOuAoPHrўx{xUjʎZ6S_vl vAю`*LֵQ&vb˭ sɪ f۾YeΈDo4JԠl WӦ̂默Ƌ*b'?KK)4Z [[PbZ|OKz:UX?}|t$>L <92˕)B\ nL6-C!J `%2^ >Yt xc6"XA uZ2)C ʓG~N=|! xɶ96 ,cƋ%`.l:a3C̹ϴdR3PQ~h@O <X򉉐q>X N$W$\黳 " EbODn9tAwﶶr_!>C&(}owE_P+_̺݃z9l X˳͛~9g޻1C؛7<\kNd79W|L 8g.b2/}-9]Oo lHC|O =z &/4]il?[o8]fCYLoI_T<.C~ G]6N{Uˎ`y`'˾rxbfL#1Ih5{xrҡna)KW>ۚ"œm:ljF9q&㝴8q۬Vz;9=.v]R ,e5h;."d81<&I+|W9:G%\'%4[q$͏:}p1A!U㯕7Lok$=;_B%̾LXZc5χ* K?w=`PB^X L=Ū(սy/C"L-Zdc# s5>FS8ozl.jWXNw 9ͩԟH3 I̮vcC=mju6 /-}~BG5T4iUrr>׸pn<ʫȂ1m_=|,_.i%p_KKͯ1pj}566gx(ZzLSPer(_~Yg',+Ym Ur+fN"O7 %`O;á:.V3޳~:בdWP}' U"ٸWӲL|o#[yKJ1s䅒)x `9?;hr&2VێFK#>KbA_65F6,V_oԓڸJKo{/MXmYnOUvqŗY Oh6P4Pw̖'Y R1iy=yV'^(2WJۖPg"nPjSDfX_ރP)/VV]5(W+WDA )*(DIFLvp| k83WXꀈ '?#xCZdbU &i_e>cJxU_<]NwxHd.JȮqX =q?t59]jj& @&bQ J}dX^CnV/dhuܣ}Ԫ.uˢC^ǵЇwΘ۰E#_ ]13Db23)Q(m^`{j+=RxShz 3U1.t׾ns_I Dβ٧GzI)GX KV04<; vםY:b%_-MJ:%Uz ¢ԇFЭԢDJU(uM҄x]ڲ(?M*%h6垐GkLmV=` }O]wfV`ȗȨ|Ps9A֙81ZCx ?uV78ewM-剬C1WP=*K$5 %.04.^җX|;rŒnq5vsDm_׶ηVP9PRwdM\2(f`Vd&OƁpmPj1Y+@51t$.,s))Wcl"C߮`=i{I3eK9!3lYODٖR=߉Ocbw4aZ0Ƽte]B5d7 8Vj5=ǿB(OU"oҲ N _ ˝˧h K  !jUeMj"ix)=9ָ[ۼI[}e,z ځCo;;݇"uj VJ}>ϥ;b v5(HQʷb!#wd-{kI(gHAZzs\5PguԖZ"% "i34EÈzS .̀Xbew+h W㈤ULB UVU_N*9R z4P J'[݉9K E2K-V2I]G4PJ9.~6NNn]A~+ދ5?lO9Gv&skbZ]a9jih@ 5D,=WcltׅS+Q#,dre hV`t,ic d(8/mȺ!#>9/,OvHݒ4+o8 ԄLBR?g[y.iH xGD17RC($|?!Y$^݊U69tbwYwl~h(yjV]FT Cb%Rc ]PS@hOŮ$ܓˠ1&j1MbM'y'!L~x#")htuPfV:x--L8'E.4Pi1!и8us`'IP0uL\[ڬH9\jJ ^@Si˂+qjx-=VEϨѢV.3~aC)hf5@]/JjADi_,#CUBz;`O˗`p@Nnͻdv ;dɎlS. bijE0HG5۔$0JuQBi`=+]A ӽjT+Do-N?|p_ > ~,ԇ'tm5 0E-Jy;! =$g&o"i$LRxod}BpZp'SE狜/(.cH,/*)Omϐtė07Uչ# =cJOb{N+(MRv]NSmAk8)-ɰP* >Y M*b1喀_ȓ;gd _ʊKz,>kFQ@{L q*/Xқ}!:*}!j#\ I+,"*CwMvѣ`p> 0M R-NKDx7m'H0 hGihJtQFM֗XP FvWeavyݳ(DEqQ4$\ocLr*ra.whi"r$i<(eK pA"e3iBXB'H7&>;9sz7oar}E߰gO2 JȁpXڊ.EN'g+v }Uf-PhV/3cL ϱ~|%Jfhc!؇ H9#ֻF\y5?/֕_@FKPEQ&g M"`49pQ{1]wKT}b8ZuP踿E[vn7ANf[r02fwxPZ4ۣ?0DU!>{EEp0Q&IJאȡ"5G%NR h!  El$M))'۔`t:2¢rdpƦo?S^B+9А~Zݧ 3\Lmԥ_뜁 +>V^JE7JD2{ƸlQ6G !l~üCLYsw(Uyd+Xʗ_FW5  SWYvtc@к tj*qgRO]k(r~*{G R%IJ22vp>@&a^е »GcpNlf:/Zdxp,PF`Kb̂V>jJ(FSFA>z c( Eӣj\zʱ8#2(/p0:E #x2=>S3DωZN#`,!5sg~%Kd*b@ʚT6e?Roq{w->Oe9FV#%IOoX|O7\~H/p}3;v3p\ȗ`%Q:Wyy.SaAT0cy!P{!1SdPܯtNTS>?EDh#]'!HUR1B)c@0? Tͅ-+&/iup'BrIWvQg?jcVq,E Zr.ꔍK_h&;]}:횥W4}wRU 4 x7Ŭۉe?VֵMbH` e9lɗ$"n`ޖOKtr-yɛkݷI #->!5g fn^!MOj#/{ٓ QHy@mmmwWDmM)լ`6SCE1GϒOݗԙP\alH#iPCw2mחZwaUX ~F'HTcn].֨vY#j}4#wS(IMyAJ8x+O[7)V/*.LgEwc8zU O,*ܦ#$sctB/6ods\( IT u@w{VM]Z}twxm W{\7<Pܣ=$rV)ӻ:Ch7y%$[+#А1N0P[&QdP&̋.쫰Qy!a7M٧|rl"LsOo!ei#fW p&'tqed䘒=_޳T 2D'?64tE8\li'?gk|IιRk =FH7_ f3%ʿ(.QOo*:`bڣtZތ x߱E޲ؿx~ރEk0һYGb$,-5!0Ϣ%v.mP[wG[NM^ϳD/ $됵 jny:_[kKΧnh}KRwM6L⎅F0'Z߫2;G8GKm*\|[3R3(71%Gr^=PuTW|OI&@(`*ҬcU2/U76 GPk ڼw>Œ17J(#cǫAcpvd,ۥn cQ2Й3G؞IȝӲBm [eY{h3ʾEfXnWmˬ~kɸԍv<^HO( F!(&y?ȶc8ϥ!y 9~6璍fTEgfm@xL9ф*sn2 nESoY~ZvMr!\6LcwuT@ԟA9=X,W׏ɥY $ݱ+Xyn[^z%>+qᏐX%$]ɵ?} I]hޱʠ?p4òʪջJ P3WW{x‘K) A  NI+kX DF{ CfǩxnD \kp 'eǝHR+R7FKZgxVмi$'OƏź]nWvNc`QkFŴ*8+9pҊ! Bza/R?vViOΓ7`&<1Bv13R* fUTT-~DD.8my7*QFޯÁS= c\m|iۡ> ̴m.#űa>&?C9=5l_ 5qa3́u34vX\O4h qkW (yvp8,XP̤ Ai9!9Ҝl֮m *?4 9Y֐^1U $W'2id䑤nSA}KJ.hjg.iv^R:UQgj;]<_`Cdc*CZPt;yZw DV6PLGUÓ2;=,QѥlY@^22 DJB˕S}7mBS"2 qB4&ڬ?7: Ȧ]֠hNlow5Y+(ށ5:=ŷ6nvC8ė8#)qf벍P_;gia 4Bev<:pA;'Nȟ4|M}x|s3Wt5Y 30cOIYQE#\&C&=2.6B۩dt{'LalDQ}CםrՃt!dDjNn $^%y*7_sky'Eg M@(pu z6o䘢iA+nb"~Hᭌ@r>|R鮽lM3Ьf1dDaќkͦR2RlU0H;_ CN0`OW gYT:JVZ)-BP*6]PyB | !l6m&KA`JnJ6~r% Ұ>!odxz q\_%$<_&GO=uO ,bDTA$ At p ZbAIT$g9dpծ]U,E~Úx2>W`6F]V|,2"234e/Og\#lZ |1{rƀP*D Qg [nك~&*A[;P[Q8+fȬte9~m~lrq-/Kk>ЬImW<`cŘ; {Ҹ/S\\> , w 쵸~߆ej[d3nXysϱB^+7˽ I$B,:-,#̴|  빳G~݇;z(/Sw6 vt+胍|gU.ϝ>7hMݕleJOEbh C<٣$I+q(宐 5QFy_DyXzITy;r lU}upJ}yO"DWQx]m =Vμzyd$POڒ1΀+ 5{ PTS[UG1:;3xPm}\{׸91"YFЇ3ؠHMӜ+Pr <2ڨcV~aa0ް1qH=V #18q=d N:3Jp_y.T4b,)8[܌݊Ph\X{Ɔ"3؜zY3+l=CQdHQFn>p\ʯMF\),.=j-^|3jLDk*Nkr"oŔ3-a$s0U4%_Ru#gWi/}`0!?bOWivL^6'S)<*׷ZΕhEӁ{;*P9 8 aMNS["w?t?\;?fKk5JePQoZ*ۢp 8#5kzkyyӿ`(WO/l6C̦K!Y J8uuDf!Ӌm0˞kh2e) gdSŤ@!Hg;(9!ٙN dO=~C$T٫p1|Ɩk\.[!..>+0^7-xu%7ZC~@#(S?`cI SBPnvh`ɮu )ZX_4{?j>"!1EV[ n_w vA'uN'EIh\`#;+Fk.,pJ4>l 03r,uɩb]$ ;t-]TJ:+帉|_^EM&wI|gѠaSQc {2n+tM֧VXr)--uVy|[^$m4.nxx7sbv9ԇף=`ilJ &\ͪaBƦUi-]J,!Ғ_+pL% umn3d"2a^,/oŜo05:&S9d"GE6Q %h:hV"\d_]}p6.`t6L8-'2^rM j7-L9%@ 9Zb]){'Շ xRy܊{Y`ZeR\4m6z\r{0̫|F4o ,4#ԕtLCi~ ӊ(/>\>nFSEp4ė)(H)g$4JU5}e׀.Y\$1S_&?5sj_7A5)tf;fɸ&-rgUF\51 Io(]հ;g2!$bNzdzg论QY [s[:{Tc&V=DqxYjJu}N+ o=q^ ,v묩E{4 %o(f;Ej9ʁ9&]3bYSh*FiӤkA{NKUQ:|TGziSdyMqV 9a߭"uNv{k,&2&nd1XϤq'j&$ &9R^ԳA,7;kA(}#G`ryQxM{}yPD@gizsuD=gvw'NqT!4^(S4 :yd/:#HY8(%Fjo2Al!+,C)]{)xޛGSm-yu}xۘJ$.-M!x{ K%B1Ȧ&/"[0.R0 "ǡp>M X8%1Z baOSךǰntz#knSjn9W)B$J?p5W@rMN/ Ҥj-XZ n=(ikwn|   BaXb"9;noRwu۞!/ ;lNe;VnhDˡO`gcG 8wNs{5 UwX ZG t} 0 :8\?_v2e@3&/xW]SVd"aeN2 l?<zYKwnIX&\4ym,< isjTG, : w=)e<`B͐='lpkK_h  KE2E թ~g}7p"Y_"T$P pS;6nҿ*10 A zw.7l*u*gqeO1zqO 턅TȢ`D+bD<蚪T0aXkK.9Vf]IG{6:b(@ǤQ׌맲gNnƃtIqs:<+ϒmXxSuoi\gMV3Ѓ t,b BÆYܕC}$Jѻ( ];B)c`١ O-Oz zauZ>g8!ݛxX3 @[] W+0Wf`*V`"rj(w1:fm!sϨӅxzO(9Kw"X򄥎-.&no `Ggì6_ME{<ᥣkv`&{{*?pЅ+ h7!d(il(siY.Xojf?c%ˋ{qҝ2Vx=G)tQX* Y!Jg1,RR`e8Ru*<+hKQ݈Q&ԍ&S9MNw=Dc/Eÿr4g!>aw]=hZ])%u=R8z9 beC.Z> k.lH ~1YmG<-1/$dPoXK ءtibМ!g.7BVzWjM[/fՄp}oSİ-ٟj_skWp=08,]k[ZYNYhӃ:Mm ,+AHlVQFoksRy`b{o0HJA ӒIKD~HbD^1Мݓagù1"`tA$ 9## RBGAeQӰ3&NT59@m{(aI\sX`Cx3Wcbs0x4^@"=MN pSemV3\pSg4QW&j9;ySRR2P@l&-X7{lϾ̺H*-ߎl‚R(9fGο/})t Ngv$.`L6)I) ܙCQqoQ+!bBpcǘ- | zzslZ>3 tdm%t*]{rTu WLۑ)h9$G@l&,|mYξ&hҋ^0cAWT9^ ayWJ-h }wʄ 4ab cAN͋P:ٖj:jطĶq*ql +=䨆F}c҄Vv8psΦeJLFTe âИOZAj\\fT5Q T$k`揚ms->^6v^D44a,+)y3c|2'rIFq+kN"O+ cĈHW,\(~Xj1ЊPܖ/85ФLͯ )aZnG^lNydiʎ>s\AB[Xv`=&}Wt`lVa?< /(ˍ5ǚD -M>TڥJi`w;82mV;6Fs>+ 轻w)cM ?M 4(o>2Nñԛ;ʛ1!F }/!AI}G+Kk3 d*w䜒ɷ8Yœ Z>[#6 u"ֹt%p -PŞI2EHnj&qy(ݚ Ic|BIJmV3҉I⇫F l*3 bqe#4dۮ([*+#y=T`r4e~֓X>RqsNz¼DžiC!&qcgiZ"{\_.M`fw9ȆSnkVb:̈|*p?!ou[m\ 'ļ^z.vcи3?/JtǘVMcbCH dzqإw00aMa9O9o4)u},*6@wo"Zuz0c۝Z:Ƈrçleƙ0>@L&` m e)B-|iJݞDrUy92卆q_RfGaT¸-|ci/xgYb5uAk<_LsɽFpQ#3}#L%M2,ic/HI#jwO  \|iԙ s*dy%1l ]OSD\ҟB0۠voɤz3~AӴgrSwr@0w-_4G@*2KzpcZC<9YBM[mPay+1o&~Ɩlu[N1ً6@N'&!TJrG0T2.*F:Jw̞Lyn%>>h!ʡ2q(Tc/:byDJGI)b9.-Zb)gJr`W|u$ - 4f/gւa" ,cG*D7p\ztM<zu#߂E 40 O}G—ra0i -t-k;1/2vG}vUNs[V,.~z^̡kV:t/4/wEv7Wʍ!OPؠK{O^5ھ(~?׆Rr`z2?] m&¡ ZVlw58H`*,% ýShUS프@aݘ?<1;3*kޱ2T bzW( ; }IuÎkBdy `X1Gޕ817p &zGkw UcбJZޡ0Z?Df]D!A6,b"WTVW^+v uA񏽶>%b;M:DC A5EڤG(y)Ҭ=vb! "jfCwd`/5`D_Źt%w>i@չ^g2.IA{IPM 2'0Jx(t-,H'~|G5H`wh~xA77 w7! o"V%G_U/vS/5QaT SS ĩ>oۥĞJu=Y6w(2 O9*zfyb~ztϬq{83ϝ%W6@HͱA_;s׸#aҀ&Dp怞t7 10G;;j{#hG4޳(*u3 aNnE}V޾h=궶0<^p@`|@UcIRfm K6]\A'loDSQ1)-_mPؑ/ؒud|~~llt$:4Ƅ7C +PxoҊ;v 0 ɨyX( S(91a 9sS כ ӑGb,,~J'q꠹RZm8-ՂAA;b3'TظmPXr C_n"-$JG'|59TPN^V.MiN[y%egSM`4ACbyf>u@oEPK!Bǘd$gw!vi҂M]91lmsͻy5_Zm}؄ƈΪ+-aBddfnoai{7L}͉$XFݳRQְ$o1꒖nCkG2%sJݥ3jџeDP?_ڂ#xh&@Y 6'Gm4ӓ{(#iÐ l#eym`#Ni dIJywsRzp݂q᝽jf?}y2LE2šHl/()RBŗPS ѝDl-~tItĠo@ M/DmYOɋ`*k,Cä}WO8Qv6dV 3vP'Er྾>3AlW͛Gk0×۵2,o^t^gBBiފ^ Zd|㳃f7ΦgGs2ˢƋ x͌ͨوBۧ{nV{G80}<ˡƱ n 3Xؑۨ6“hksi&_}R~Shڪ/"!SҪ|FOxm SA(I?ozGUFUqD"tԔlfA{$m DtܗTEk{ A OV Oںd"ʻ*I@ѵ˰j rVT.LuW[vTB~WWpZqS|hwK8ЗBЦ>[pF hCKU:is>캶wJͻDߖaa9͵'@2}q5;u,^d8tmh^8jy,nU yo`?''𿉂J=b="N 3 ٓK`n_ՔJ hs!,.Cfɧut7ϩ.*HsTI񣃇$Ue`Zjw;mud,:?1U>,UČ|ش*'&~ 72E1ͫLT&(qK:S֗p[vP)ԔvTIp%+Am~N})68{QGzs|@@{OQd ~od3i#ŋe/s% x:!!qmO~rstN@rrNfB-I %L%/J($qbJh ?D(&u8[%%$;BƢXt]EC޲S>rdjÔr{6jul$7j="|.7)UG#T}..P fO /'+vMpR:md j[M8_W)ɾfX7C[m#"K]Ԏ|"86-Բ$m7|es/IƐ6GO4ҶoLj|)CG,XX/ضRF1~B;6<75lV&pRPR[}SOh;>@wTl@Uz,uNm< 'ɅX_Y|İLSNzar3e}Ĺ+XlA7OK1@mlQJEÀM4+겉U;Ì6F0o0S+jKM;CմUhjYS[R k]CiƼՕÙEE7 AEHFzM?_sX2_+Dz¸p*SfCGvJ`lXph3c f C3 W"Kprף_ɴ dcQ[`؏j!L{Gx!Q )Eݓ"5r> c\Y&>!p퐙DwaZP#/GZ*P֦f?_r2=:%KUc<5hԩU#pv|=q[6  Me:ɗr籄tI2&:DH]!Fg$>╿\Z,h0?M05hta^%rů$# 2 ȰF [O3{1 ]`X N08<΀4NpK"am܋ lӼGKO1|&S t|C2*;WbU7 a]'F 4$\(A[@ 3.xKLtR7{ šY/##A+{M;z/.vC0e>ڙ 3&(iλGV;t!*sؘ$Mwhe\*O1;7]jvdF!h,{taKxGlO5fQn4ƙAE/'w]Vޝߠ:}vK,.H!Ϸ<5: e `HH7-4yU͑o4?&oE.,#0'^q5Nidhiʾ_Ѡ8@Y#L&Fc~3zG7E(vx@.b?◛,+TnJ, @GL'"ϏaL l#W_WN!/`J-+.o^198Xil#ة5P`C}Qr.&LšEO];0#i#>h*'8T=^h<8A)Y?kدI( K;,FX$]ip#{z=UO%gQtS,g~S"կk55՘ki 񍈺Fv+*_ZQB\ʉ-w&; wwp_p ^_-Snh&|FDU>ۢcNGV)D=pI;Ï:^#!-|)̋.fCV_"qy0hjO`kG(;Op(&"4>TXHx gORhNI)٘+Hy8ChJB{-F@D^$Nj:٩д#j+=B-Li/+,tIb[$ i?4D<"ܲni4zLѫē:BYRM:kh\&S2Lk\_HwzfMC*(p)NYz4[$bIgATՃƇ" X*=:$_utiė=?wUݎg,Is@o"\io9sFB.'4B)L[ۯ~D=n ?v^xQ ]ԩGz$&Z=_Y4Db=A>b2/tD__~xӢpɜ_ΰ {9s%6M?tRV?e9׎V*5*Aƻ>=lBTۍ.@oxEX1!= <?N/H!huQ1#-MJ' @mq"H맡F\BFLlHfWɱe 3B%Ha91_G?ʀOlgJAπL (&zDxHDOL;th;>ċ/{cr|C XQӕRG H0Y**N52pŦo?ǹƗcz/l9SbcK5h f[X-Bj.Mq_lL6޳A?R8"일Je3eB7($/.-Swg3͠ourC7UADï>RILtާ\cBf6N5N9F7qӥ{hiLPuwizaCxD GV"O컩yD޹*Ҩ3g}og.WX>"a Tta;.x4٨wſ& c+aМESť8XTs~ƈNAI*L݊ӖZ:)ޡ.!2e%#G): x'N~ǠWV] 9l~n:mamVs4ҧZ}Ό+sʽGzrP?go/h-Hi$_ʱ,fд;R)1rBp"~،PO ~ma$ "bBV{XϔeUq!~ ڊuz-R~+cm'RQne-B[ҦQ^ׇ!\@yP##Cb5TlC-R 4t*N]ɯ.`D(ʪUTz6y;7&kkt8ץK*Fl9JU7nQƄWWn )`1 ?=jJCFdl-G+'-Fql:!<?)4 ) 8`,cN6=}}G쏳96+@mLPDhnбk+JLG{5_7j؛s\ճE!d OHIf dVm&φ*:`NjpeƢY9󘓔9|6q$>(ݙ*%%)!-W 7*䄜 X/F_!V8뮹<4jYxGq1]Y_EU2ǎ$jnQpWg9b)ήHj y6 Ce{has7o.#2O=(ި 9W,] Ġ9oH/GNG=-2NݯXťJ**Ru1|zD@N\Ky)=ji:0+lnvaB CX xg. `в5 m?_L^_:-ft ^С JFC^+)L~:+0D72`\Q BUpq&_F@/WEzjfz6=Tޣ^u?[X8Ez]1ѓAD7/w|M ČNZ\֩S>کQ>@xw Բ78&]jvLgxr{f,@OprR?t ^` wKwMu ̪Afø-+#Z۸`s'GXCз0OxH