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  ` `l%T  ]/]HOL-Analysis:threads=6elapsed=313.803cpu=1537.120gc=60.416factor=4.907zXZִF! rL#]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1r ‘_5ma#|IBʚ|'f54B<(zC&0Si1ɱhȫ.$$2SS/Ol cz;0A0`y c0ޣ3_fn$z_o6,g7AODrEIUC$ZBVc4);[)nätҏEr#Kqm=amv@r>vp$ҳrO_.nc<;wm?"9{hg;'A7I3 mK;nVkGmIjh~] 0;~aM;u:ӼțKBv ڮ}?ѱ}Z h'Dǯ8$"O9hy($oʴaOz65h9:Q]9YOdء;~Sn6z5bBوz|qlgtsXPrpK qfQ+*beU(p`4L1*څBbst:K`L6xЯ9T=$J շʳ0`Fa& p}Yxt;CBӝ36%2(aHuV毭 on‡< c/ E ?{$Z? 3 $zB0K9Cy- QZ E3ˏIJ֑LἛQcݗː C7Ig hlQ'[3~Xnz40A9Ƥ4Cі%휊 r7z5_pf@Q>2n6 92"TPUCՙ#8{7R|x،3E񋦴]򒗘lϵ_ysЮYTsTpt摱<0c:!MҮ?"%올+4WXbyT> % HOL-Analysis  ,0.7߿gA~Q}ĤMS>KaA$53ߌ{Q |fsG KzB30v hw!9~y揋z]l L,ﻮ\Abb]}9ubZaPl_Ԇ5E*i7"^nmH\2|}]P*Zr r7= C/uOBs6jf-E>r6R Arb{Yj|@׍m'\a%_NGY򰄀h%gi@\r 躦[hh{`ռڲc&ڠ&sSj,ݫv_=lPˋR⓺e4{? u%l{Bֶ#5su`ݯ`2PDvD#`*bEZɮ¤*XA7%|dl?d.^qwoW^N#rw]x)3PEic_+\Fj9a`d3{0lּ9,q/–">ݳLkCkjHWzK&7)T,2s)i5v' :J<´5c^d*k vF:p߄6L? $ۈH$i _A2j Ș'ڎQ 8\>GU3O< sm_{">[A>,}ɺ/D%0lOKCK,mCJ (h#j$$#nĪ,,9=)<`Ki5T˵\{F^Go v>՚-qqE 'i @Hhju'ӓ?WMhr2=I) $ sqjh~8(AgI k*qq41aڅ;20O F'^l9krF. ( 쬲Cl0>ޫ 3\nMB_@$ H\:Yp[ACOnhw.\&M xPG#XxZ?g6RkԂ\o=tţY5)D SfsM2X]":3o["?kgOv/Ȅfy6[\[3TQ^Z%+M[96ĨTtANi候|Z)C(cҪx bT7rrRin4SI֩c^A DH'<5Lk6EY1[K4svm,87pM E~Tq_t4,qSh':_D#2|[\,"FCq̈oqq.&pJs0*MB`m`oCVѹ++LEnlAӔneRC೪d<7Ozg& u/[VW )`|I${m"ӗɰ5Y|sә|uIPxu*RŐڵ|rxj 1жHS#[mV鶚O7L`\ѡv $^5M$h݌\#a+J 2Vxpd1_66Aݫl,Qׂ`)>u&dtꗢPP]U`N H6'vaى"<'Ǟz@j jҫg+2n]".ntKiz"H/<նƅZ zW!&Pױ>hm1Brc |Gh3UX~GnF:u\RY$Ӻ>nOTÎg|I@5xn*6="} P:4jd0jŻA~k|DhK{=Ԟ3,y)ZV.Teu5BfѻĨL.0oRЪ*: a_,TF&v2q,!bV* =i\TxǞYB#J^Ӈ2BJ {hժK> t[C:E6>ES&<˽[-:k.q&SnҒj#kC2}RQK3))O&;M+^wXj(RqsZN>]NJTQ* ǰO$點^0!{R `/AG1WNSSRF  *9 YՍL*{a/d\+H䯺A.!lY,\z[ate=-yY @B}%SDoL|k1 ]DR$ S68ޒ!R2ӽp0;(x#2GC!%G]O1y!FFVǛ(?=}N&@W\az n}* lQ.{/wtE&D(Y矕a} \X.sj9@$i8Nf,Q5װk[y U- '9u4('IA7γ'|z4>_zkS+,SU0V$I_z(}^ tSWleyi?:6&Mi? !ٮzUra?eyu ӲQb>< K\#/)AE:+" ,Va=i7.R`m.81|V;`Z[g3@H,y컎tHO֬$;GKQ1[ @EawK*>]@$24-X`FhN= \K>oŨq S(l i)-,u#׈VPb98D&-I|I|YJ-m$ 4{=&ՒfX4n-N(ndGx>G]?C5&[K,~kI/~@h%41x>-w`.M]Q]"@#KZ+aB%kv/qX;Sᣔ-O]fA꒹kUqϊ(:oʹ߬k9M5aEƧ`spRNl/C" d-c<=]j\%w'3c[G2:w3/ʻȊނv? lTG}21E@Q1WtWFovv)&/4¼j 4 4m^^1wael2KfW }Ap8~~q#"PƥU.F0,LA~ DAR.g ԛ0m9d# VaU EҶIlo TVgo(q#0)l':qq; :"HE׋}`O3!#=`Y`<ڿ.CrHTC62Bй6'NA.C-%^4 Ը&qyvh7ya5 $GzOhOz"R|/1+YҬݯq>F"s, %c6 UYKe ZtIC6#knhN9[ϓn^he;&+'|{:aPYSΝ;"WC8.nL+Mȁ*IyLv#vO؊|^sH3r/Ë505ZHgqx{"5.'\҂ԝ9ɍCe*fe]g+$%{ 5Bz}Pk7b ^(g^vܙqu!YƧv{${=r a!忠8*z/Xrc2en\3.2j  :5K KavxK(ퟤxt,%I6<}ωi&9HHh˒Hr&y*<9"jdbZO"vl)/4i pR-CEa |'2ݿb6N B˚ }elu@2U@*ub}ߞ9 \=ȴW PbdOrɩQ[{hie9`kSO`CĪ.F0kȻJwy2^v+Ѐ\"+?WR{xAUs?B VUku)؊e|`-% tJx #݇*?yZ ѴûªH@@ ";Ǜ 8Ф/J P7'<=ФmF.=Lb\;UV?%6^X~7uBVD&6#kX eBoٳUzҨ_HUk9c7$,0遬aarsd'y /Fwd hڀQx}@̸wW|d:B2vSNv7+?lP蒈i4 ku` 0GzuCʃ hx.GV!τ|M/ 2S1LD%YkLٰyt 'ꚨξ= BV2U=fz!/ @ZJJUϢfA8иضW ¡ (s5${yct& Tb,r"`j0REp JBA}hOR~ؖI\3P՝%-*7G (_siwiMcm96u\?]E yN.rJ[{M #7"OS;-Բi(ƹ{?Ģ1'૆odž؈ OkN$rb 1YBrd_s;oLC\I ܸhLBNnкE'+NDSdܫX."oƪ":͢+j.T+]w?^1zXMtiL6d Oút6ƫC-V|RS*W By˺-f/ $G/rP]r_.郕J7}صeZh`CTj-_Eņ]_WBeu>Ӄgo0x>-ڮRHT*άg}9X~^J#b` ͉_:qj{[Mh/ V DXZzFUN5^x8]U~oO55wL.")彦~)Q@0f 8\qr{afIWW!@ cU@SADY݁2ɗl|6՘5ZRK 6&PN8|8c0C!&fqߞG8GB*Nދs,hraƓs0HؓPF=ז@FCL`D=̺-,93I__lvK(SؑW8,*Jx-7/F\|qRdJhfkW ӳq2b˺KOE'PǴ 3|.weڢ'>'h5r.7|1R8/kVF7ݦjnq'Jo ?3V F;Av] .oUjAx| zh#kf!#GYgM|GP'g4=R%WKu'Cma`{jg ֫F-XcARťNH3,_S -V)H3d*bNqE`Kf̨|VRaJ]V B|4aL$Lͦ[^s55 M&lDq}b]a?nuoe[J옚ϑώqe|?̬Z|) $y[;?gG0?j0lSRۊu Mɻ -B|яʫUGup%̻;Ty%7+bq?kpF6zs ջCjl^ 'b"kY+rCI ցcy<z6C?`;XU,ƛx(Y{$fgm!_nWYmAV%QB l;u!6!8Mf=lfq'vlx3p[@#IzfzΛn2L;! N w6܏g)@KfW޲vӮ3Cp͌+;,J㒶2'(].5~PqxfZ"EL.![:8ˆfPHZf̑aM%#iN'O>wU)7ن,pྲ`[g dD7c&n6E Gx~)B;$m5TJ6,~]g /{);lɎ6P4+&]F'T<%GZol'nw26t@'hMqmGw j |Y@N؆ {Eq3n+G^;%C٥H<>ٝ\ŖaE\o`Mj$o5fRj gvfRX RZ"W6ǘ譓~٭+ "53oO"m4>J4pŠZ!"yk%`HF%a͍8=K ][x1,jAMe+ bʰH?m{xEda4- S,HߵzIiӦ=NQ)^ngE W$*ep-8ߖІ6bY6:Hp 8*Cm+-Sv y Ut3O>GY VLX}ՆQ ]>?6IL\C[}`"ۦ[1 Kc%uGbX3Ngt|oculS<&}<4_Y4}&lg6ׁwFKae0t%6E0FgV#8PMG!U)zK*,h6w^ *ѳL?i}w'+ZC3B)Pt8 q8"kiijA|S=O7,VAzS/Z^e_jˣY9kł Q~? D*Z.ai(Xd_a q"SA)"MU e {n @\a`鸃 ȣv'8D~38,]\8tGTQFFnPJ5>ZeSZ,tzU7Mk<; 45&p>fƕ̔I8d)&c3a~bi EXE2jqJ}V;p ,'ptI4<,rmhJSwqb%+ !NœMsXwpk8vU;'л4Id?y9뼖~9H'¸w5Ҏt('b[U:;H隓Szנ$? וdM;MS"aI>)'6w۩^ja\Lt^wUJIA~ Heȕ,6V|KUt9L:!Y%N|o7R`DX'aQP^ݳb7*aG1RUi3 AQTy# >MWBtL0;Ua-K虽?tm!r6˵*sς-.#C$VrОk3Q㢠/,n'G3v rnȖEE1Zt_bNiMH\xѳ&R=w&X>=Q51ᆭ gIq7u4{lO:qEc hXh^r8fٍ~Nj Z5%&!z()>ﰀmH~%^[U[y)C (:' T%5sD1,k/ *T_^BRޑ$y{IWp֫N68&muOMk㝐Eswg)+IWi \G n$6tOaп(sU([c#?_d\@W_-kTQ`ゆo{GSD"ߟ=E+M*/ *qiv0? &NwYZ?bԁ `cqW܂%ɁÁ!˜D^0i>?=*Dv /Sw=O q7t̚dWPHFmxTHPצ֥yd4ٵ~"=KRri( @_N>X0y rYnrZ`@M3.xW)֠t3ѣj0ϝs 6b6t3 D @`Dyy"TsͶYW"??/3%@-Xtl9ۻs|9DĜwz|L!ߐp>:C BC 0f .%- Hz(D3K2@sڏ'%^M ҇Uh 91{_PdumU/﵀4Psybo +#.w<BH0 zfN|["?;sDz R\d aHwn^鶺ѓ⟰lg7m]TjBȲf+*^f-g<ș`ꪫ*Q<)1-%q 'PD[!w!Ǘx5 B9_<ؘ#0|ROeH?ۆh ]Wm| ˽p7%1hɏb/CF⠿υ7B i!8mt9DdΨNRiiא),In% 9iT9:-5ޗ6X(jOҋ]"lMiB 9hȺ[y밧1QWjFbE`fHݻA4 @B̛{1f>ay@\=(,3`](^zZOZ(ge:V@"+LZe1Nya3Zm+ ,bk- ݫ$+CWCڂҧ]i#'P Rq |}H|GFZoϺm֊iitw3w)e+hnǑc<"`U6y*,$ 痉jHCn.e,8Fby wΖ=l: <9͙ <N\%hy"^baw dLߤ3[gn06uzfhy"0RBit6‡ DӔUl*FN$l "YDӝGkslmV^O"DZ+E[SbN`NK{w v\R K V; Aqk4&s9bn rmɃzqUPHa"6po>cփI9vND4D~{?@7:bcPB#XVOMu 7E:YpKDFdql;UL`K`T}1lf#C=ո}c.g>auNqî[RmX$[ꝏ;ʹ$tW1 ^åI_mjCIWTCwQںP 7.Q䑚^˻3!n>[J, \^">e*ol59)K]1+\x <{@1jF:X g"RbZt `WDo1PӵDw6&, ̂ Lx# ~׺1xk M~@kTDކUψ*W}bg ڼ1y2!KXC_ KRkhFEqPx̷-.1 "mԾQxaLl}f$I \ˮن`;7᳿#P8K2U@S,,۔'7D=Ӳ/Eqy LE8OF(T pW5lM@S֥&{*?0`h7apag鲳m7e޴jP2 3w݅cU[v-1ޖwQCQ6(0eMryC}nڂ)ի3<8H+߳lH@`=ol207V7+J#OS@M'>, ۋn"0 >V;1MTVYa|B-<\Ai2HiuAD3?l]cw ~ETa'o;$*3laI<-jzYd50$_H}ց5b$" UW+XX ސQtl}1Jh\{T<:NXR E vT v+q,bR\Cd/^=e< ;R k)b:Eڔv:;sp6ZrQݞLl 61{^9V n+fR0^8Ol3Bge!0^;ൄEtWYmmD[ǯvrR'[=)^eW|xxBmg] qCQ<ܽ:ڊ;3hmn,t>M-.f#z/gӒ <郓n C W}Y,V7̴i-IW[gKh\;̔"Sө+p[JM+B㈈ nXz7^xlĺ>ҙZXy p! CjClՙUE߃ᙤ!'+/l פVﻧ2QY!C=p)B[ G%z`$~S%[nQ pEᶦ 5 &]@2g6[ y+YtTC+4HBd. Yl?AH+(_j0j e" 3nLARB9&!0OȘIay:[-7(лٸܦ3Vqab^vh+0ћ}xAWǵ[ ]VfZc yk]M?<"?4Lnޟ$k܀HZǾJ|6Mm/:r'2,>ݛ"2MGD֏=b?V(zId?rOv_RJEPBq.o ADD#=l{ e\6D|׼,p"ŤAH//Xo` ړ@">;gv\@؅a6 ӧ(vKTe~uCE+Q편3bor h7yp+ǩ>n)/%_\z|,eH׮[iHH}LɌ75֫Ԉ ~?ОAoT(EMqHtkKwnD|n%&Pu2@ Z~x?Z9t/)}9[aH 5C8\FcSf2k,m'וlEnL7,}9<\F{,lZ37S]nA[#`X`BV#ϰg ;SFNrUV lpT&%dP.sVF61L,lkv]!ZDV'Nߚ6 B@~='DhU;o=2}!ZPrǷ" Il?hɚ!N;ׯ^èE+P?ܠfd~Gp6Q`1xWNתgOh':HnTr/nWHQ%Bp1yDrtWʎpq~:yR8koR2CoZ-{C1Qc׷U -f>)yX@K!rv XDaUgYZ7zXZִF! %;]ŗXiɟ1˦r!cHkMeBd4 C厕?)}1vAZgq@/eBNq}I%Hc-~XV) oߓq*|=DTZ 1XxȔ$Ӹ  W!>QU6o$P7_ƵWr6|tBк۱R4F}]ym Ws0BV00aX>lrdH +Ms}x Yiq*~c8Ԯ;[34?єCPMe38krl$OOWVnl fsg lEu*B4X- w =}} 8L7?\+P^dB 2i[}2)5yӆ0 y(]$4ٸFI :뙛M9 #pd铪,ߖ'҃jgqSw= 11hsCQ>ʨиGve.sͱ͋сsb60vA׬I3DUNi)$ neD IRA$u[DkM7 }TgIgtEmdžBo窦W|&_^(fL܏3 ^& Wi(UcY߅x$@=~]σ+tX64B <#+ g<ذjSP;۾G /} vx~AM4>x,{g<9R9bi\;?җ$F'겄;}<.SUH;qemv*Ƃ+lUjyhF)C\Z㤩OHg?1(>}Tb 6mdO8-ˤ!TBT0NPaZa=hǣق* kg#XeL]^ >DޡW8^=M Du9\L/Sr]lS1:KGK#k0)N/LC+ AQ"ءAΒAW剳&JcOݰxr3UQ]Ʉ.ͭ ?L&<':Eԛ‰7-Ib{H~[ n&1kll+{}8Waس''L^?!~cQ͒ib磙e, Q(0oo3(M!0MYJ,z,w4byx^EjQ&C۫z8ZW) 髣"tVTroC̤;qI{ӹ\/3̜@$Ye6KE6DqmR{ >dHDK )N9hQi"g({y8 =74uPCzzCXNdtQ1hpVܐXc6Pkh_O풽Rf}p`.R HVed((i|J z Ʀ]!b奿e u-˃m7[T-/ }}`eS2ǽV[2enM6}٦J?4+OT4qUrd~yRvD$ڼ<=@4zЖz9|TA ʃsǣQk#AKhoH@\ńJgYZ7zXZִF! \]]ŗXi%@hi#]Fx *HŒ/03Qr%V}$dyNP,u^g"a] Ѣ0۵_J}b>+M: 3`OwWxk&~$J3s04w ;qӁlѕTWl{W0rY2W& =Jc^/,7?lx/'Wp~什[c{ 02-YpnD]-IIAV70{(Z bC|GPjk+뀿0-+d#v'SuCo8IaR}Z=jT71HS`}΋+y(/p_C;/Z潧s;C/"ωCm &E uD(!Ztm[k :3bP"r.]6!YNj{w&_0V<)IZq-.Ն])Nµ]0Ο|Sz>ǐphȺm9Xc:b, !"E/t8Ph\ʣ7]ue􍛕`UɂbWĀGP%79 sMR/k'B?<4 ] '|SxîޓѢxü:`16t}JdX!E;tbr u1D{M{zG{A./Am>i4J-e`C~Χtu$Jz7F1۽ 4؎:'oѐsJ0蓘$sq#AX쀉o-_oL4 .rQ-KsrE"IvsA ݾAZS*2{҉V3; ~S# X4 ,≮؅d \6]f7 kKs_2&AKQe;2vCqPR٤c|ۖE-i27Xif#lB(K=@WeHy_$9XWNP}1c Vp,4M[};J=b,߷`ȟtC q^?dtŻCm\P,T-qQZG-u{ PyܥԚ(D̏5"yVgXpJ$:}}Sϓup+9KLѥ<\,ίz,vQCݕc(Ac]l^I'rVU`RE7$(9m ZLz[<'E^q>Lp88spg.i<<ٸ4a{6 /{fLڙ+ZzHKj_9<˭dka&11jtv@'9 ҥ+gV/N 6NOJgls7dAhgR7#Cl(;'lS4_ᬻWE% *SUpԴ0v&=~>]kJ{'sXߚҒ^(& 3fW*ֱ̛aQVbiHWy+h%Zz K%Iepq*WwUF"$:2gL{4BEɃ]=#x5Wc2U/*ڐkr 1tJ<ЀC1KYiA9N+ˆ-)왤P(R.3u0]3Knj&yޱ*Oj:h?A8*݋,\De6\'Z bQӤcg[0B_Rkn.Nu k&F@M2G!_n0#:GC㝝1|}hI3MJ'9f$z?';<|;ևN7*B5tmWVwE,Mǩe|;můY#XC@qNх$kx"T>?U7tOuJ w[=m:03 !;N2ӪqFH0/LļG~HـOk(F!}XcX֟?/3х!DNkNV3%72Z!N%}yP?e+Hg2.#ނJA C{s&,]9߫ui2)}*\©WɥO|Fv'?Sâ*~0O*DZwciauJ7JCh$eGԘKGQ2]Y( %v_ UFe{Z(csTlk-{֤xR6k1'CݩU|iLj}!jw\޽$"f^j5Jݼ2]=kt~ؠSG=89k1DI^͠nȽ-$vdqhO*eJqf ,nu4q+F6@uj_rBQ _Gy1zA|-sΦAx\#s3+e.8Z0w,CpOj=)Audέ"  ^dLMmN`h˒tP/g?RنC**N7#ٿ&7u <ˇ.Le Jʫ$9ֶg:o{|w ^q̫d_$b ](YgɊ_YdY6ɉ՗V9$!s?a cg9]bI"f WܣGXNLhHY_x glQ-IjJ4zvEȜUܚ~h[IQL̪N?ѳ}lv`.'}W/}]q]Ms [?\E܁t}+m:C< B cN_? *P[3w2fD}=ji<51rSZxČei0`F9pAjrYv5<=5oͶWԐ\ [0]t4سC+ I0gHr؞WՏ>9pD9Z +:;GԱM!hEqm+k⢝*{(AQ?E6{s{~p|zKYf7hD91 cԈ1e Vr (I]}F .ؼ0 ?{j*?TEw>Eh/ȅKT߱0ҩx6>{.yU%P|ܺg5%蔧WV^-S|8&yKNX݈^Z$.;6T*|d"sG^b/ssl5vv47тґO:e坑J|YSdrw4pIvT&^R&#| $DO? Kw,Pz6nIY/0M..PeQ W6&gHDa:g pb ]p]/JQ]ƥB @8Ȕ`1YXU.[FJeu`&8ydDndW8#?-ܢ_'؀K ,Q.qx#2*X7V\ bQLAaDxvz5|d4Y K0VR|ү`^ϒxY9F>+.eu4/=72S胥w?~iQ-QDmr3@)mSK3C*wGK=F+)SW;?%Cޓ32ߙZQ֗4-8oA+ȍͨU1 ?{o•C-awBFW'͉A5o"JE*G#7ɮfhxk *?f~-Vȯ c@e*%'1+gf4Ӑ2Wʈ&u0xZ|.@.J/dV}XlQJy~'~vlU P o_lWl&{ט`PBDф;@$,A!S mF;$ȂfRot5y3]+l8l,9{p6AL@_)]v#sl,R!1l,~3{~RI6.~' |z#uxg)~/K/ L1"o /É2"bÇ넛"30|?ᤸ\%O3Dv8%W2Qe?,!VM;gbHPÖbȋkSZm8üu(T'3J71PziSw4\LڲE#DSA]C"l$ |FR( ͐c"`U m句~l2՘s q}B.W6Bw@-[KXc-Cp?.Ըgځ&H۳8my7ŚbEd1zs?[V6ύafIc2mKU67ugBL'#E#bV@K(>ވ%KvvTu#2*vYHx)h+2ǘqiQ݋bC[cܵfo?w'.Mq!5CT >rO㉘DN`E.w0U!#=Xs$;+a+n-URcΒgy}ʴg\5ŃBV7+eFKPg7Do\G|P ~ki`V;MK0t XV<+-;HuWG̒9̺[$m8&uzr&A:L  qAwCB~@uW0Sw 9֙gNgN04Jl"<+mz"&mfd*z|8aG0\_RȝSzE Ў\{wܒ&D6asoDЋ/4W©>f:;v!P*D7rA}A '4J ^IMP JpGb)/"NQKQYCC8.г# h(9I޷VAAъJo{K@M{Aϋa1Z"&A[<8&1AO ӥ}5PޛJ]ri)@T])i= %u6{T_3ċޢ*z.tfYAbwo)q=@W/KYF)y(]i2{yqА.0{(ԁ}x7V "V]z(>5$bX M>:& ,0N?5 Dܹvl@G&([TRD#ٰ+g۾5\Sm*Aj)ɍ4Kh`QÕ;^K#p+ ^vM 9G2ϪFl"w8z J}<2=a]L2&?aQAw^>@K kSYG>$aKX|rM3~ƭʖkR%QJR|V*5I7>g`RN4{u5gj~GWNABV,w޵lTR$iLzϷ|p6d7rVn>KHCjJ,X{ cM6X>0-Eӎ4\FAͲ`U2-//~-u3` ymJÆ?nMHԻ./d:M4܉M4K#]c`țSWΊ˴_( ;k` tx0b'C:ľKFpިGvd=f-DG_h4MYH0ì%>I euJ_ሽRO!zMVLt!'aRN *&CE˫􈩍t7+o46O ) GE( #(leDݒV>K69x54̖nvZ0Dh9U\L Z.ew-=N/=^z_`T no1?K((BQ[_1Y,ȕiw}m_ݫQJK9ȼzȑUB9ׯ)Ӕr&:QL­7UYBVvlZߛuBA Q]cX1n*b|8BӎRLA6NkV]{ oXy>Dw qT@'Nn~y8T&6zʀFfL/`}2hKtntKT$ }4Plі09'cT#gN)nK yAڣVDTOdjoKYeaiqr^Pj\*(څWT !=N !b. LP<8-cL' Tf~XTʥW`V'?LF@ƻ?!P_V`WT?Ix}k5b>v.xj {#5XW%daoY)Q֭%ؒIJcnɈM$'(T㟵FGB ((qx`^9V-tY5JTϗNyrɣ W5jﶩdAmE~OPú7qcRe Ss16,Eeם悋ݼ=VoTtZ Wc"{t-FH| WWDqI*H>žW Z)l̐y7wZz2^Bpq>7*ab p0}F^G7hEwzaq<9эdunv1Uk:\X4=ĮP$3#mVLIojNaC 9ݎnr1g=B` :V e>>(֘447ze\ƛs4;*}tʳtj sEd\ol`|*&F13pQ/ۼcfwѸU[F)&EG{Vv:V6׌MVÑ]P*w z9f\3'Q&ϩ8[UBq,掠yGnUFkWL,Ȉ!79 xf}Z-ɸC{r{Hک`~_{aB}dX6Mv_xx93ٺ󆪏Ix,PǬkdžmoew|ދpoV^V;d2^DYAfT·XsV(BoUّy 1[hT]o&(,R+,G|̝CD4ڂ-7wdxc^ܿh. ~roƺ.ގ,ocT/>cO(|ܭEL]6٫ ϺeI}GˑC.ob!I5mYgQ%E1Uz;y3ˤRٰ!!Q%qŒ_eč: k,I*kB)b˙ĕbqAdUqqܞ:C^Z^)tV͎L]ٿ9 A=>!QW0 _]#5/&Wiӯ"b:]Ր/CCSB9ٱt @+}/ *T=Ra̫zG_{}Yw>^v$K7PmJܕ$Ժ40c~Yr"Eـep,譚 : ^5WFa[s%ߥUG.kS#M+ m*,9Wyog.dcr*U8bdXv7fa mQeR \ɗľ̑#)xa֫wԑpM'HwPd2̮jυh30.Y]]Xw^&t֍!ع>7g^ p(ӫ_(׳;LX]8mz@kVhyg82Zt|Pj3ռW\:}]fֶ}Mgǔ#d*1/j]ŏs`S-r֡ GjJkf JtŠ!zcQ![lHG  î 4tћk2W$|î]A9]77 C ܃Ц+`^{#UƜkqokg,5QuvVS~V @0Y!3ɲ>>]mtl֋VqfyuҕX}{ EȺ)]ż:Q:fp[$cu&`;,Q5y[Y+ŤR2n~4p|ķCQEۡD ZZJKT +Q|ԕ+գBV:NFSͽenZ.=UPJm` XTd3!EՒg-f ؠASjޙ+m$YPYχ>Xޜu\&v/Ȓ%p{ @p: PóljgK²gslw}ؐ'6ynr- ۴#0㧛))Mt,Wсlx]xn3*fcXj+y-Q3) 5<1&:&=*{SW1$^;5XR2BnSMpU_aCHYlVäNg^a\+\H\MDlwwi(9G =O1 vL1R~hm|n`%=+[vټ'hR8g9oKtF V(yzոVl\'oCT1g{E{hRj96% s{-I{'' @>1Enb?>*A5"ÎqZ[?z2$3lҬ }uLD1⻋G@`pCƏ%-CxS}o_4[z_wyCZ PD\;_/͠|LG-)ݘq #9gp[V@WpCl9Κ9"/8;HxK48P1IM14+%bB;*T AQ*'Dfk_;FpeUrTӨeh!-6qPmWJT]L-R"V+pt ]â4TWL&1)݋w 'E$O&-).mE`#$m#F Sڸ`H5@H2|q(Sqcac ]z鮊3*,v[("#'`et,{Q0RÁCwl!lDJaJ8#N,x8+^# xsJRHʮ6ױ>N|^-<"SNd0},D֊K)PŲ_LhV4BϹ[|ȌW ̑3ϡ1rVm&(1@*éx(uSex È!Ūc1g9w5_tOAɵb\9{Էp$@_lLx+Iȡ'__(x >d9@ 'qb>| CUAx)wHp&jw؆Ӊk3=q\n׈?! j+QXz2O4Jc5S ~X mQaeDCwd؎2!_ȴBW/ÐW7&ax[Igeӯ'iMy;ICm||QdZHiWBŞ2Ik5ǡ\[[`yV32+ۣ>=m^EF%^ԙ'?Rە>aZʿ"/վ\|dgi>=+Ϋ1ADxzo bb+IITd%pRôK] ?YpqB7BmVC Op"~j0ګ vMAN ? o;Zm{!VuC@NPgOU i~ *`8ևEoj !5ݳ5pJU 17X]h + cW@uVlqߋH c>C)ݙ6lFT5\@*{}AZ_,l|2 âЊ،ueRj<$X,b;(V?y>p%F k(F$u DpN)Bo]n[rx EK)cMO~n}zkRJڔkX1_NҧWcpq"LcvV(U%86Yy#Uun0_M0f.7/l܂ %uE%a E;t~v <|\=OKY+!c(H,뀬vkRMA a Ց8!lph7Qy ^ ۓjs3v̳!VMC휀R{gљ_'@q\Cm:CQp*pˤ(m=*tl욄gM]I^X[FٌփF ˉI-yv+YEw;fףwP?%oS7Zk­.V1˗b"7v!y e>Z@k)Jvf Ց]S}W/&2!G-^yx䴛H;[Tdҧ xmqƦJ0^ZA*]dW>KʓuN9Q?ei<~/=%%jA2|(l]ڏyaa G&]@90T; q7N7;tQyU63fF&ׅ #Lr0qΏipiG8NM nO9:#@| -7n&V\jn]S]HԐ v=c y/=FFT[mГK?+/0uO RnGm`hdĊ\K~V&N9Q%XfvP ?iJ!0*&"I "$*]69;0?Z^n5yt {h/f^n9-ҳzj@\$ &:6"+\a(n8-X[(V?Y!g b͓%}E OUQ 7XTJEhFg߂Y#sZGgpX.)-!0ۨДS(N?6v3SW"N\=!sx1Z&S1qۓK55l(gdxM.}t练 ;~ uH<]/ m~ )8[4t%(ȝ+W?deTBa4_A8l1gv<8oExO|X$cjw.H@N*H gE "$ ?g6tb sP,$bAT^nbSZs$H \O耑 5&GG=G"G2, ;W kWCM\,L?!t^~=V4},KR+0^y`fo2M=r^>v}H*bFޕ[Or^G)z\1 "-aFeu.6s/۞*GRXغщ,؏:˴%~pEԭ^VCS1fl/n }nSgZbmĶe!ȩu"꟫V]ׅ̇*3an( F[2 "R }.vµdpfAF(* \q2Ε4zWdH6#ɛ{ oR(dh㖔_W#=G1k%1 &LXeU{ͧ c=5$J\͏y~ӎxO*'6"ۥx.%k&S0Pj2g(㙜;ULmo~Q'O5(yJqi1^F5c/˵X.K8Vf=؈0:fgdZAݵ6DO5 w6 㣌K!.힧ĭlkf gw:6$RJa H޴9kN_!A͎m9ȡToTI\ӕm#q1}D|8+&7Ulu*5fڞ5 eqKJ=//`Mg:8i9)uFC.|}Iyq~T.=̶.ݍXWA ^NmHX0 yک$t?8y #N[n'ͦS$.wIKWOCjU;]ڱ+/#\.˼8z0w ʏeAH#$7hGd/ziE:!'i, ZrWg *i}i)-7mȅX7aoٙ0І鹊T^pPD'S(k(gzbTr3EJbئL E.P~DcH-6v_XWZE EsYo{m]ziZo`T 3iek6T"J\S#'AY>܅ΰYt׼9NsI?ִ=lЍv¬S3 G+.,dg[ } D|.^RF1FGwPA|j 쯝T"[0@`|8nPJ+,$eECEخؑ)[Sh,`擋ȯ*R{S%`fsS[~ NHuG,;YÊ[~-xHNg7X8l[7Wbl)Xw-͢ yacCjDz8Gcp5< C\êT*J>ˍЈ$D'뙗c<6!_Ťڊ,"9^ɩh"X)+eV&UDG:A>gX.mh*'&Է_;_ki!T& k};80'n[߈W@ޖ hfY`q9TGQ`#CwKWxa?0K7Ir5M5 dk(y˿(4_ƐHR'_ۙ6DvQh~1hnGHOX&_#N,Y v-FA~aգ1C,xKl@V}kaդ lJ~"Faƹs |-?Ql-^p^J60G$6D)%2ͩWUN1t}#6T3bcQcIt*cpd&j>3^g505htQ+_gkG< -qfo'K~#3@_Ѳ@ I20ːw|= _}BeY>?L UM4`>s9ئ(,8^N~lQvFhS^p8DޒEԟj\puP ^t,W u47uCg l٭yl?:v /*M\~#_(gjg1 p"|!B&')~,T+fί_)}163J2!AiB,=Tt)EyMj1Wtf')G4:L20tzKB.3Kw)Z-q mZPB{+I c2<:XDe>wi4Ǖe&j>ύ _#S?!%|{^09ڜCUHZ՛}җWT>ƹߏBBjAcot8C8Иp[`TXi9&<"}/A]КZhM]|p r5Ր1 ._ޕZXbF>*q1׏ !5=d[zTH5N#'tߪ-0iJTx MPag c;`et]E}`~YdQdgoy v|أS \rcdAb#<vlU (\Bӆ4CJ/@W]u]%QaØ Pxދ&i}׬i4`ncCd L'е2UE=R}~hUxdS}޷V=A&%ncɼhOma!!O*. nC*{' 0i'xZ,  L#@q}7L-P|55 a ₎aƙ-LeR , `eL>m*#@@&<*"mFf^ UG $jΥQRFDPNrNΒ]VF Šb* +DG^>NW:T}41uhʾߟVm/XOshMbu'/,-;#nx?OpXcǦwwCKd6n4L5Bm^tMᲞs8=(u)rD)N j]rp'қoz9_JwE*UyhLaX7n6 g<[;3 \M6yQ̆߁xـ0C^ˣ%DmTp=SW][gBTdr|>D3^vQUWY >[p UR˸=}(zgV H[ٟXAWMT\򢳙BTTxt`LV_iǿ́dJ˯ Cڟ7J_$ʶ5`o<|4FbY0;2-pc0#{WJ'Dk6ST_WҀ@5 !2$ &sЭ*a/3cWԮWCc {Iw'&M[_%~Ŧl]%nW]^[ .vePةEn)ڭPR q[IbS LiroXq@)ޜB3,XBۙI/:QPGGɊ E>2.e6ռ7HmRD |/sf(zD,zدcH„xf]`5oҢs;乹@"3ms´gS.Y(# ^Mp8!y#؛ZUɓ#5az_xQ/|W<3lD,] C.KJH]_s#&;)E/JB9qDXoπ}O%oLиSyqyd}cG=}5>Zn?vgeϼ lp.n/5&$ΦisQ70n5@nԄW䕾6u 8|'`U{B>u~(u9BG}W+ .; H$U>)H&a$۴[ޗ\n0hXw!Eee+F  cUs9WuW .-;1+Lz  U`M)LqUeJ;NˮUTƺ^ e] GQ'fڎ(^M!Q?So[UG ,@A!^ݘ,$xCkC A F ;Mt77-^aTzrK KYw%ݻ>ӱgYZ554b53e8a7ce54e7c1c0294f409fa98a9d907e2bd9b2e0d22de49dc8d1d07bea7961be77a8e56816 d3a3b5f07b3b30e7761815c70e8ff3a238d6dc0e71668b8621d65f7a3f9b4eec21bd45315c1aa141