SQLite format 3@ .0:  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  ( (%tD ]/]HOL-Analysis:threads=6elapsed=453.751cpu=1938.972gc=89.384factor=4.277zXZִF! !W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(m=6WѪ'L0p}pwܬH^&)?=IfG|o|=Go\^p\[xgPpAg] /Z"w.Vfuhsq DꖕN\/㙫#oS62Νv7NݍHٍ_Pgi0SܸؒcVz'++j"/>#`e |dUw ИEY'ͦn-8y U~!`X?yofZue3bZea92S'kN ^8{.TӰ E3 1ɘ̇He?@U KW$1dxA˺VbI(f1زC.هRVg`Q3v=r`r@M^x*w`;Pu:{+ p%t$MMe6!C2>"](#:#"u%ZyaQ[NgF,JBܫ/.`> `%Ʀ҄&i:/lyL1Hth1 ;)sj A'J HFvGn DrK[:Y5 !i-;IfV$WL8@%&Ww- W}C r1Җ'-zX Kؓ29: DXtJ ntH_cHbC!V]giq#͢CzOXOVc[N1gSDmU@ֆ"lgjG!L!aUc92D3]{'U WEEc5YP]8TЊ(lvy VS a?/Q/|ӯ8LB70ׇ>lM Dtox!/]8HAAoZh)\ӿd*Gƈz8!e#اԠ ܎€¾-(E1 E*1 l C "J^X-vW y͛k? J8Q.i8؋7+d$ f{sFh;$_8=} fۖz8?.q%q>n_hVCg'k;yڿ]]F4pR0ޔzp7J KHG8;7ʩɃH* t[d#"% MSxteMMb%cp.2d]DJq&w*d5Uy/=7ObV> ~77\cR;7IbVtwPv|S_ټ[ 뇣shWi_MF-Y_CCnTP lVa8ȑZ}$фRqktkuwH4MSݧ(Tw%w"Smm>o0NaŲM,`<';aٷV`-ovqCY\T³q~qHwcgYN-LJ-Cu\I;cwWhM]pyJx#m'D ,Z`K*jI80Fn.U;xo ի=qh>V[V[}XbW54PRGvGK~v$U tQO$בgm*lRQL/Y$ D(-.E:j$cߤ;˛f 1RφYkA<(u2\lE% z=e߶Pt30M6s#N_o^(XFt+Gqm˜訅W{Z%h›'?.0=7ҢDk:5&AN踻O~ȳX"K7NsF)OhEחj1rÇ3O+~3nw-1 +g Q >vvq >6B(p\@Gy¾HwRf-|4B%( 1δPS8|Gqiƭ6#l.8_8+/1sj|I~Dp<7U@^4[!Uҫ*')b4&YS;JE5>j1e (2˨˲hfR Р~J_vFG,QέU.|~4,r9˄,K*מY5GS#ʄN|ޟ4K;? >מhM\ggCbk[켲FH 4O=-k((UyɊ` XAS4ɘᮇcU a61W"/|Lgn:uЍZ?ZGbn5^#ތ}`' }K  P2\]pYUMZ8VhPui쵆ۑb-b{K\VpXqI+ -s)EyfMvЍ6V/WXbD!(13y/Hkc#\~ rp3Rv<- bhxCٷ) e WoФ6uŴY} MO|{ʴɏ9SLVΧ ҹLL1k4wd9iKݬp :GL,{E3ƙW&?q kDQN\mvy3RJ+[*Fw\ Ḏݳ XL!ˋ`1.$:&`x~,rq4Z\3Y|a>-*uNCAV7x_#ޟ5S֌ 6ۣd kH\}Zn:F&rH]:A* >CYSxS APmg"!e“gA/$fUe)y&ֹaNPj*یʮѣWeX9oͱgA4F_ p8'r^6ґMӑTwiy j!(N1Vqb,$Ԉ[Sd:Chny}IVRa(׹0y8tX0rͫbgwUG&I|='@87mRGD+45h2nbY;q@} |:)>^i"bLHE0ೡ* P )v/8hBhUSrDt3+fי߸r+/I;ˋfܘ*Y:+u=%elrZTR0ZO]v4z+S3;HpiPh/xBH08E* F v@1ۄd{/ċK&-Ns|J8cpᔄ2->=kʥ]gn%tià_]~$VYmMrrjRTZò)54Z샩ClqA,)K *7DnN!rJ>%mWe[J<X5ϋ5 JC $uBd IGlcͶ(U0|5%*Vq|iQ #Soe@m|{bwˎ`tCOt%Sz2Dx/?k|I Eī`܃  [jO$ކ2 $X@Z:!Bc|m3BPbaHGt`-tjѱ;!$ %EZ<ɪU0.C5b)X?vzp`\`k3; ôy{ٮ^>*9^Ǵq >d2I/,&՘w&g1\W=M$@F&We&f#Dnt >!>~}[bqJʥ9O?[ nH =rJC^jupڠSn!Xb؛hVSw-}.:-ia3ZЄ3rȏ7\cԓ-l;-ǣ/OGcva8c4;TOTunp1Tk)CӹWQieˉJOYv0w kW썪w}EAPG4RfQҠe+~M@'daۮnV'Hu'v|qO~m:X%U6;wUE\7 ,% U7 p|e {_YDLiY%~ 着(8`gJt;o5'EJ}l L!+/xŸL`u?x eP;.`YKA~f@G[沀 p{ >7c}ϋ*/(p eA쏭%aug_r@h?l:2  ٟ 9Cx ci:iRҌ!8C|9[zQ^M15w<)`~$,dk#hZ>]]zdժ"9{ͯ}TRyUK*0!"c (I*'Å7)[IWU3$14Ѷ-VFEDDgA 1gAz=;JzS5(g9@=SO_!%QzrTxb"MI_GSBHư@7:\}?ka*Yaҟ_PNS޾ Sr GQNXGlC%[ܑJQxd>1ed^Ö::KecNZ0wLrXFT^_ ȟxWЦRfH4N:@2kʚeڥ2lpf>^}"+Jl=2 XCY3R2"Uz"E.LS,Ig\f ½ :IV z~l`XKpݲ࿾s5k5FS2vo`a#1jZ-Jq vlF֕`Ͽmc?|,KPk-fp`1' 0XAzomވ-(ƑyJz_}W3ЁNf5 ϻ! ɔ@ݳ}I GL|آ5kT%V:8L~DP@ mVN5]8Z@P}4qOYDa( |O{ 0@2wQ@uIKIGɇB1q<{/gSi]a눃 r$7jS0G-F?w#i6x#kò SZ>r\uj{}մtlv;{N 8{ Gf rd# fPpFNu?Ӎ?+_qH39vNaWIOr\+ `Gp #֝{C2nׇO\RFdx0]"\.fvq?U'vy&1=64+y?nOf*7 ;6ǭ sz #zV 2 9w*-2tߨ0Vv6noamR;,؞<*Nvx[ŞH"q1sFΦyt@<YZ(Xd r֏XEJ|̌}0;fC«~@C7IzV1Nyc&T(BCVwSs }NKFGLϳFȲ5d/d 8\9M )vOXI \_/m:bچrJ!Ux$|Ge[ Ro)*0Ki1R歝˿E2R׵e9L>@'&9ZY]lTi[Xth qo yl/ ms9Fѐ07'"j /X!q9,kM|byHy\é+cp ' yLMvǔqfik=E" 4LP~c_|#5t4q6 󏀋"n.1rHAh˒prb ϴB"Wɹ#:tK24g읠MjFB / ӺclI*'B`Uݕi 1{jm} wч'1j2h,"S6bD_ԅ*dfХl|a~4 v$BZB'p%aJ?Xv8PX15 F}?^l,\쒪.ဆ'B!JdԭQsa2M8 -ZP篆%:se̤ٺ&>#)̅ʮۋ}E ⶡD\]'cZb;ſ:42XK8~*'tVT#lgDF@/m/$(^;8> W魨g[jkhş[qTו[y&N*t wRcI/R/Rq.E/"x#iˤYeQ#67Y aO׮ǿ+YC7N4U1~.Y3HD}24Vj-,ofKK-5M&X{W6?͜`mmuիt"P[=dحAr]SKyH ӡR 2PrkKdN$"\hB;p7Չ r,ԚA:):{ WE/&sW;Brxã[6tFL8WKF˞%AYIA?壾z(!Ũ`85tgf.V؝q &G|kɝ =ădu* o*,Saf[PZ#C.ڇYl.k=AR!]>I\|:fIyS;޼DX,t^Zoj)'N Bts\VGǨONN S]}Ƨ*_ OȣߛB%I 6yj;pL2Qto!ſ]uL_M,4-3.١.CLԨJ6=Saި!y`>K8Z%"cuSNnrQp(\knih8D9:tVrW4vY?>09 ukSR^iGalZd͓#*5v,yFz~R9Bw=qU̘=`|JakQږkaeG8yR bF%1xߙv~FcM:p igrQ+#^k-6g&3H\ֳ5pRNVvI pKNYx/7±4K<&РbٷDSWF6fefLLw`戅@/L?;LkWsRy pޕc0 R]P2tciJ:2 <ċ#5t4Xأ4O v -TyʡK<0yRΑL 2(mS&H:55"d<[3`բ^\գysfVdi \ (HPBr_T7|gz=`Z:ó,[w&&jYP cjm^zmp8歚i$F^o?A;~N 7ex{մ̎ ', HnT'paaRj O]cd ~LDtp#2 yH!ql!|d[ w' fQ˅\.h(,Qe-.Rs1kBعq_4uJȧu2_XU|z i/sČs' V +%brbA@)<LL>K>WU2BϺ0QkE@+ER=~;GcQE qG OF>R-6s!D8F-ho(v!bU֖^rAV>0`K,"A~?n`h@MEHX.~jn !H[S `o ;Dxn"^]1=ZdwԝS5! Lw C唄fU6(=V~}OpH_MtԜ=+4D"k2ߨ%~hי2)d &/%HĞMCVT|:z?Cl!<#dQ qhMxʣHuF"v;3xv'P#`t;SMٜWdՀ}8mlG.c3B(yXV9UimMzY~ */ັ*O8t? ^;gs9V[q K FXÅBq.{4h/ <= F3IهFdy&Sed xC!2"M TGL"7Ժvh#r?І&rHD.Aƈ8air恏)j{vg} #% k"z}{U #gXJHIeQ{ 8/S94ٚ{pC-zQ*L| ]7ugӞ3%/9I뢝@=G)P}v+ XŮe*#;:8\<'`^5| ~l)Rѵև֩=ѭBc:'O&#g%^G{+;9ō1Nf?@Ri\ Փl'&<ԶPb `7ǒ76AiXV!oڌjyT`=urU%G+FVD}QyN&7 90U`c*<5a idN C(kekFPK%+)jbޡdP񩭦eQ9;Uv ` tݠsYԷ5ROSuʟj%$"ATg*.XwPf#բ79-㶺QAg|Vn鰧%"6~=y 0kTS|~_Ny[6Ix?_. J ^>@;]^n_e>bi"+@jdT*>d( 8;.]qYhjßaWݍ@M/yծ J y-SG$9`*jbXE˱gy&lUDjM`!$y)_SjN A>f ,Z?@L^y: c*P#WUyHYdu(`pAt(yP?24s4ťh ,R!+WKtpw~"/L*guJh/gٓF%x3O@\UӮuWh/UQxvdMB jFS(b uP~4nyAzaI3%H`j]ޅ?aq|^z-4Ln4d k ?+$qd(/}ZylI,i8wBjLaQj^$jYA_gF?E//HR/}_UXGk^UW]%p@W!H:;Jw{zFM+gee({D?dF <{xnpq\8ݜ#bQZ?ǁOUQ0ARwa~HB2K-Fq`Et, 5)8بça! ~:d5!+v>(1g{i57+pѼ#dPmImRElMg'cnY.̫Rп/$N%-lqF=r[ o{A P+0z75.{ Jaq$)ڧ-52x6`L~{CktA3z@,X= n2&}` thXك=Ծ8w$ҏ%N-/P@g;u9drȢY$kH L[7t*&X CB%3Sт o@#28JUO_Mðێf.| 5LA/nC>h/tOd |PH]rЭV\s䡹݂Xu1n!2m*u`8p& ]7t7$fC/;5XBԇ< 5M/!K\Qtt_) U㬿ST=tN\[S,8,W^3ȱx49YbM 8Emcy^(FxZ5ZM|Fu6} 8pf~7&A,pfԎ0EtDIXYEDmϳǣ\%U)=faJT}2.* TS5\IKzix5/aGcJlC:Ջ W  O&QF : oHp%]g+ݔ,dxZ1+1B %aSP^qH ;:KWp2wnٓ#;' \p )}L(&ƽ-ϛngJG""ʒz_ƛ Ѝ 8`ܶaU~UgK"[4>ܽҙ-1@ΐ\#kG=/I:]9OyL'Q&NY5c ȍR`gPX(}ꏪ֠.^cu(uO,3[Vu@M(Ҿei^N5rt$x7 YYu./2N!p$^ϙTrmHqXO*ŔdA~A9v㭇wðWj~vm@'fɏfP}؆Ngb85>'r[[ R8ލCF]S&IaDF "kڍU~i×^ݔWs/JSr%vC@QP!  ~-upox+-vi ")}l7OK+cR&J2uƏbe޺GR|FWߘf?u;$aTlC08PqEQϤo5_6`Ρl KX$(R| Vx3VXv!n=?nE b__jF%v~%//Sba/@CG=㐉o'b5u57Fva\ 9 w8\zb[:ރ9@31 wr}йyߛ]z,:Ftv+Q˧A5)(ǽ9Ofjymѳjs5dDrpgn3` ErYo C4=f=jbn w]Zm/zVSg%x0u>KUdb)UB4@e6ܕHĔP|~ Z8IWyGWM#BTP]& o ]TjH5[t7ηﺛ!H4p^ }S3YEARwmHE? J UdTKSI%U)}k!9UcjM…Ik>[ASi /CrRo s#>#E)P,g#зƍԳX%ʙ I PSPMʇNfH:oY+0Lf2G>)F{?ʝ PHb戞e6X>í4ôeYއ4ƘBx ڳ $H5n$V)*Ћ(N?wVCg0eT7g)>5lW.[Q]mTKe#U]~u3Id#H ?;jfa|pКF9w6 }ۻĪ ?̱Z*nWGLO48'i}i@|TE`\͜=0[W?H㝭[^ A<Ƭܚ%Q6Xr|rg[hMIm2C :Gqs6Z(V7g? St ̂EAεt'82|$sBgs7Z"yMH)2ݩe䍼@(Aׂe$_T0aHDfYx>̬&4ifAr1GySE(W/\V Rp06Dbnz!c$mLd{_2Z rP> GUjga{J'sqjuW1ci/"^Uj\N8F!Fuw{/sRv5aCk&7d1d4zc !'32ܫ5`搝6Q_ZC} ZRO6.QQtmFg*RsɆM FJ x|ԨC@7m(ͯK`bl 0K:5gKK 4h)ZeXt50T|zș0>;UKNUkpY9cYYb^1[Y,EOkgCCɾE|ZReȂ)Tbf(1!W}w>=``Ͻqyz5 =O ;ⶫ<𫐔6-R|LZ&찮W&9Vu)1"AOI?" .8lCcf¢HOPHJ8DAh\ #p,+Nzm? jK ;\DcZX)|uB4j7t:O>5$կ ;M*},:5ô]J~}k[\lff粦Y<# B~NP͸)ml"U ]=`MW-y UMCMhv$< $bף= Z``Vcz ,蓁N#F(}Gq{ˮ!.|Vhzԕ;j]wVصKPPi.YBi?rBl:M3 u6F5-'sXv2Ɖ n.h'~uAM`YԕL zb}[ !cKQ N-(QגG -͖`Ȝb{ЫS<^Dlú!N,\#|gӾ5 O#2ezNdnC>_;qn|'. 7NF R_nEʌu 2.KԀѤ|EB 򶰩3ʧ5iTH9r_0 VF-1GEYD<$*WX#zkZ C3l=J^J}&g&vcSt&C}Eq09zQ,hOx^=\?Z,QQ<q |!NKOez:A(MCS#ֻ 2á%f̝' ymP1pc<߇eGGW{_yc: n3%q2s2ϲX1J6Oo>$]>.ϓH-⣑.FK64LTGOUB=UMj>d2]?ܐ4oX1E/.cG@ ز(YyP-I5Ih(@ymFsb: .%GxOXnV1F8牀f6#m!E Mnl1m~,o9_̢(:<,#+Nra#7Ioq6`$,RPޑh~ `9.qo ݶ>Lth9~ӥ&baJ4S3D`oMB^m{j̰O3]\~ 5-XfOXĞ<~1! aŮ$]Dp1%cAxJig,|FR#Y(H_faƟu pYP^tD3nZF \=Q\ݵRغAt6Z赨{3^l+a [DO9&4gCcTί#gYZ7zXZִF! (! ]ŗXiɟ1˦r!cHkMeBd4ba'G A:-U ִN0O؈ tfGyH r@cmL0>4c1Dz*P&.0(Px\SA%Qg!5%Q , k6p8ZCe>.$#.mſNT1}7x g(B, V@aouLi/ Nmë *VE-2eaSUwEN6{^1(  jA1M;hJ23^D z^)ަQp,ϘhrG iU)3#δx`|Mjz ~'`X-k4eOO@BL1,ɷvLL5D.GҪStD'Z %jU}vOM/x;=|HdYX4tFa+Dsgj|Koo\Ficȼ)Qn,Ehe~`, (5eaT);Ñ_`].f7A ~WHht"3|0Wnq\-Yi q|C_ڊ ]"_0@?a CӮapy˖vB/!Qڹxf3r[Q_|MAYlEKg[~*Ycl}6{DK)o5?_A#XhHNj p0S:.~4. %47R5/^U陎*ړ^z,;3:x.bfɟ/i7ظ Zlxf(NJiүSI0'jq+;.JonEWxa'a~+O<)*vv4; |T $f '^|Vݽ?$4/ZIhq4Gj^ [Ăt_j ;$=r#ͬ0s5^هeۮ>Y;)vTl W-z^ض_ j*-!/h_`e6em kj~V3~I2 ӕ\& }򍜴նw-M씻>Vm3&CL:[X5w>qYYm12IVv^MxV(;g5|@=Ҭoqvz)~/e/m$ .ER7jQ]gWWyF騿#\I}3GHșB1>Ah,u#%\ j1NA"M# ֮-PdUgYZ7zXZִF! ]ŗXi%EbMQ`zT0znP$a)^<+z!wOG{2g*exqW0s1›( <+9_U&~?@/(^8\bp5d]ew^1_RvHXa,z|Q^S wS'{Č)'i6 $N011R znx+TΉ`wA-HAj4FnZ=#jnW|, \隷x[oAY4UiK': ;] !dR59m05IBW h|b\I \mm9GJ*D5Z+))/ݵk"1 `dm76kKAgzv6`YMnt͚B CF7G)]NO{uhaoX<;sΤ4ĸ9w@Ʌ|:OaqZ MxLp6E@zMEn9jѮټ-:ӝnc/M~-Vut?#fc[nBu ,;3ޒt2476 W~Csx#) YǼoAO#C=&Oތhx 0 ;JWT2ɼ  <0[PX*y_Ş6Q(m;սu {I6:`߮pfݩ!ㆃV0 |ϼACei*%b_t}xg(}Zkw]n^=NCx@TjT:!HҲ~UӓmJdQ ˷ubQ̼>8 4Wŕ]zOu禮 kCPyN夎79;p8uxӆZ1p vomTEB F(c ]D`t}S#84r3>GIW3>y:ӑ@M!"J%l§p`8NqT`PRU-H2°JN^vSlX`j$Pd8agY4l@`fXRtȉMRS [&{B4%Q勑G1ys vs{[e{=o%MPcJ\ ک |Nh;#2P4wi әW? p"FpwFms7ݷp:sV k$u͂KͽON!L*wO`jyc%G\YҔ9bU+i5JPVQ RK  HKGH37;s?uT(pO)yhƌm% D"!x^C~R5 J-r¯) F.F˴;mwH\CK; GlrA9$81zi+(x,Eec c %qX3<ȃmO2NX IᆵcI ez;LĉH1/MN'6dc tZ=^ ~0N1Ux{y`" L7 1'Iy;nqtbͫѣTyyY[y'_n*z}mT(XVNoaĂ`*vjѢad8֑DM !;e2+؉9za,\՜ o0Ma:BXP:Q{QDm~hvdhlw]1=-64m.̇U;tRDnݪ42|:eE⩺XYL5Q``f(L|/:40$\j3:Y AכsjtY#g>W} v>|fí.4p:[`6dVWeX rjD)S;ec-uٝaw$yB6Mc`5)Ju$kZZLlǒ-v4NZV9'AfTU81ݠDRFV^h?ω|W[n_`CY >;"y94&%FTIa}6CF1%{SN9|%N.*8{^R,&❵[=[m`KjM( HHꀕ}ǥwUvi_ecWi u# w WrB$0?:T&Xa}," =^F8L ^r-gc2 N;FH򖕒&{7Kn[BwaZWQ^HyW.鳓߶QnCeb8K= ?%|)/ հpe9fE1x"=]2I:QJ3>}/ Mp;U"t#ެU/C?>%c&F;)CjjPH,O*v,a"R׀rZy2R]͐ȻoTy{[ A8}(r7)LœeXZ63DS6\=*]op'n8׽z!%x$1'a/>=]wCue#n < ]_XӊRvYd#Qm6BWݙ1΃lPȼ+j0g̰) дn̈TcPTؽb*ei'밦6GZ=UQKnզͧFM֑Cԓ}eIM $qEyH$Q Eb2]T .%\ъ!xUdYP',ݿԍyS zƆk͗9KcCmj6>-mۯ2$6?NEd|bƃmꐌWcSTJZ+U Hn0ضM,`I S)EӢ+w 70˭z8h (#-֖" eiefǸ '2%`Eu`Vа 0q]M;5W ^e 92[O,O#"w]Rp1k/PFnSI4jF 'H||iYYǭres^Rpۚ4VYqI y#*0.'}BPVQlqsUfdM m˅i^A1q8,XM jؑ^踙xF(ŝG9I1EκqX<{ [cT7Ƒظt'b= ^@ԧO.P-֍hj*2\K< m$J)x*$WBג6{>3p| }S[% ǚ_&f`h66l*ڨ'?G&2ZHD;}HڍKtU},3tTN\^GD"ce'i M))qvH1_ ܈NO9yOY j]+/s #$CJ?_Q9K_CB\dNvL P(p1 [ Jp}ʜQ!( o{ed-<CnO(_zl4 $Xe*])H zac:=HJXSGzSpjSa`0[6/PTȂxb8F2?d㺄$|Df;j",eܬo;+nX~yXB-8yII*dIFxMᅠZ7 iZ6L[=vѧEՔ%+vnl@Q{-Z»gD՟y)sU,?C`e%xcR1"dyϨe5G,ja=rwaߜϊZ!& vxU̚[0 =%ܴ8k LߦV.W\f8J% CE7Durh8O -yfjH^$ (6($Vs bT#}>(N 2m￑MǷgfif|b3SANaB5;=:nʽ0`J<kd| 9~"o_YFpKy@G^,TS1U$L|TrAsc[{pU:wvVfhֳ}Ȧ>1^~?qy LӋsl? p;G4U@4exwi4f3}M|8.mpg؄tZ%:z u#:7QQv5>? 9v_)Y!,f)Huɝ6Ux RyLS:U/{wP/PLH-%\`^JDf7]12$m 'z,ٛ`V#S3@R;xX)\\6Xv UHn NEO7A e:DL`]U ~.)@XU15Sk] 8-Bnzï~qϤvnpnVuwy9ώq)$%H @x͡N+:BAo[tucl4x9Αb> }9196A}O$׭=\,jM: AÂ@EfV*38$g[}-$`CрM%?4RX7@vJ2:VHH|X<5%î''ןz#%% [zO=/ i !LZܫ٧EqUY_MTKG slԤ׶H&EO7kƧx_j.;8s:"3;vXwꓭc)iNONR?ݽ+J/B##wTpWKq!)$xu{zcg}zEm ˈ\r!rO\]?U<б@}D̅t fa.O9X?F10X2P<:msK,x\g'Jc.p6QF?YV~eʭd2;BFիX>-g9\ĥoW->lZرϫI-BmeF`2s4h߻xY2wHӁt_ Ӻpc8] չ':H;\U4 8xIR.t <ȺoeBoY z&8$$E@olyuoB/Z"\5%y۔7˶9K$+usT7i('<+^TD7tK&Gք83%H&>沴H<!we )[ U_5[2GLF|0c :7&U莲8灣>7lA%<=?H x;%,n# ;JR9b7 N6j昺\C:ʐ7ni.wNd,WPڌIˬ9j! /B{ڨX.~b; /8gQ<փ,Q?MyAo+N9(I\_^%.o!0щcfɭʢ.aKQңU|Gi!7*;iYDFV?&!g+e%I '-،-͞HWY5m?-e[փV9^[ɗOWMHJո6-Y0(I9ic+u C_ׅ~|i mgf$[ Td e$;(DZdBcwh--'h,kWXwI"#]ҵ!x ά xd]OM-^3`t'a;zJif& S`7X U0C#~g? EF?$=:ǚabB7`0`Y>od]ra$I  D^ +gß1ЯT%iz%IDk n4׀+eBC/B c4AaUYOGH9njM}hC1`f +: ^}\dPi`1X,y-k&:.'MɦP;6pl\jHRHgB4t9[ 9<[iQnN%vo v=X~֨BK˚/o[?`"<J^7IZ-B{W/gQ###_G}p-&V2񃛊O0_THT-#eLNSc:'+ɺ9 z^*X4' [d%Xw5-߈"pN#J2nVGbv9#4&4V=hSMB1G)\M@*ߐLVL KcӌE̓U}@4ʽ0u(d(HR>NKVƇHN;M쮛ç`2MRf.5xKf%L)7W2aMs蛮C*_4,&)o,>" V0$ 2l,M%!? V-5D]YW L`ml@)53jPa~^Ee0@րƴE=b@bjEεX9:Oz;A >9)b&fX\R|ž0KSxj%Jt',xVTQ;U:T@9ѸW  Ê;nm.BjV4dT ןҚ?up%n7}̦##PV俟}U^SO>Yt L9- 9u&]Ƴ%3!-(;T[DfbMñau<4TxkriEwmʼ+ӐCB=(-ǙY9Fn_т N!+ ߻"fhĪ"ykNseF. 7`Ԑ֩].{.u7N va6'`(f=j?#'gckX!N M{7M=[F](qfg{P4e̟5?Qft]tH~ki/-9»:5D׭v)0C ^B ¨m<=I'mYCO;;xUH_6"3VhcZ/Ѳ> \YrykwT[*JQcŚ?K@ co.@szقm:Vk̈gTn8 v #/._XۭҚl6- \ojW춉D GIOOTH4sU3^b|#"L\L!'kG<}ez'Ψʋ4qQS]ğw+1 ;Yd>)dMM!UTxuwQ*nTmMT 'z EXk(^r=?I{:ӼGH`d?4Ml'4L~0eP= 8Lļ=լ-XprL uϥ.: ߅zBaTx)L}W\$)pYi} z.6r,(cW5D+L2+ugtF]ĩHGpe%ev!Qt_d@h7bE!:qGoqj0t)GK>*֊jd1uD\OFϢQ|LσDB%쩼sAP$pa3w |DcaxFAkY f~ebg 4rsm-#eLm FD'P9{P(Qۮ.Tᔱ^^ +~Gy]kcwQ;`Z3F APcr $i+Z=i~ ӨTbo\$a UT-ǺD I>혠moe'Y ^&zq=Rrـ$|Z@&]z Ҫ*)d? SV,/PNڐ'p wEUI|O5>Gy*M ;CρcMvڠoGLxm*/QYX8L_D*Uͨ][TN9@DQYo,:}",t*㱂㢛Qq;_&, C'>`u3n l=D6OelG;u3a!+j.MUaab t  3ۯVsZNOu̺P6,.D˟ՂQS>kw68j6zy' ;f.zQuPUFf?fI =jOzWk\H 0 $?kc 1ֳd^xrif vYKQJ* ;O d?.QO³0UhAD4qi#F~{hU%A0 AQ֐ t-\f—~g<\̪­])m3~!v]G)djG&* h6(\tDߡ : }##gZw8;Yٞ3:>!jfEOA{EU&"?f oI-Ag0}~@& b~RX%DIz? Ԉ'i7 ¦sp#R%e#fd--N|e0ts-6ֆ c\ٿ'U0u]peIFxm>u.k,y&P^:¬{^O ;5^4I[m^[eD%և;;8z1`շ#hB:+X'M~jR|K1fd+ϱd6KDxc\]œM\̼a?J'q"lX:vOX)BL1X8R1PZWn $v[nNS ,9H1;o`ʠ{0W c;#d;i]HB#S%(6Wsww|pEnV ۛ\%b3i1M74R!,tS8ˏgb[Ҥ,kc|"rPn["귋RKp3t;cx)t2N9_B[UK<]dY!nrDY [xZUZ6jyL+#SfύYB@j odwyy zi^r;j?o{8xT8ilHИt^S>\7 $wr;B})_[] VƱA2S!*i-K =mr*͵U4Cꨊ;YWEHzsk-~m`bWiStuյڇĶ$iA~YJCn0 4vߞВU5Ӯ1Ӱ9x~K|#AѺ=ҏo vquU3_/{q,ݢU2HhoBEJwxizYJTR {W͵SO o'Q˖S${3NW`x͑cAxlh LPA^IJ=1 нr`FuTHsw:/74Vi r,tSY]Ҙ}.ebioOo('$I~Rtщ g]s1<~C3A:q|A驞tAk=&Q9ӥk\~VmzO8҄#u"'jp5xiykqkm4*# ]&͏_Ƌ ׶QA)~w( Q'D}?,ndvr]~lZN.ӡ|t-^D$DXcV-[Ș&+fWnzv0=W - %7=gqn<ZtHLUQ Ʒ.oRhp˶*b\0tqE*kje\ ;/-%o^9˚ hۈa<-,2 سϨjJ.N\>HLieٽbp\CgJ9޹* Q n[C@Էu c$,HG׽=]QRj\V%9 %0 HzNF8|O΁(1~\?x'8GF$|XM~mp8ioqs 0|2Nv]Aߺ\ wՙ!ay-s>F(],Nq2f[0M}bXF w[(|/z0l?\6r{LTE@bMlE < "dF᭥CD Pf/հ7URIOA|$5co(1 lQ˫Cd <>&q{7E>[50?Ej@kArN#n otFWu46$DQH6d|T-]8 ֛ˈ6ԩk 0|llU'۬t\--0y2).G<"9} o5HX| ymA+}x {> O pۘ%aCd;"Q Q_R~][ !IǘB+^P v hKFąqe).YQDVlg4$ %!@=oi/,̋M7 Fd[lؼ 2#;naי`\viV Zi69lU詌oK)p*<9/߃yAH7V_Q² =Z|rx)=I:*4trLkQo:x0H]=Lv\R_VS:"EL3O!/i[^TAD Y>JUح91z.)2ױmRfۣ\ئ!2c~/^(`j@=~" CGN쒪V$L* ]- %LJ"7פ*7g8+drIݯbe( `*AơYbN=Zd41o oRٍqz4mu .S4ߢ"9_jq2B%͟45&/+Ȧ SeF ̱\L@f $hh`vWtR콦-6prUwQEsS[W^c,ۂe QyU6~P֚>G%BGTOc c!7{+u[q=Gﳷvm? Ҳ7p*.t(O'tGk*1t$>#yL Ĺ0)erIBaa 3O/G.CyX.Tu+$[S%YB*t-PA&u)r9gmiIq‰*gmBw;)b 7$aM dLpOo+ɼ5;..N03S ')lUhD$ǨO$F¸I9uHܒ$ Eݱpl1Ҿ/a"+6zj2 qt>gVI8`v45EN;ISG{ngwp^!k 7d©H1Y3-އ3Ax_9p0 aH '4>^P3:vb鲬cqfi"Z'Ժ?#Y SՀ/2H%p*")P"=Og\*3.^βmpuUaa tgƗNV_8q_B]m_ JFGy_8սY\{ԍ*+fn m.2m7hF;d!}'sT_e [%Q *6i\CxќwbB{'*Mu?e'b@Tq)&*qxIc NsAFN_96w?EOclzkyd7pZZjnH4{y >̽%>XCjլ} .0S$B9ZES{R2|Ayf^hjwz e4wgӹPmD ~}i(^#20Tk2u#$9 n7L'I΢['%@z"x0nVff.̫eE2hO~G=ej9a ּ(pOpU(0@ޗ|rײX_O-cmbb7@^DLYKf5T}O&ZI.xB@^sƗB0kA«X0$JylkPb šN5t~,l80X9z Tq *ˆM;EE!RzsOʠR_1 (s _O 3I' IK3cC=C?Qˇ׬3(#~>U':RӿQ7|3oD=¼4V[-̃93c颯ȈX09r{kB%xEgoMٝbAA;M"hZDM`sPK7GLF5'Izyʜmw ʃف̲3*a;|Yh5>c-9ug7o]=Qzv ^"x7\m,קjr,X!ZZkʻS4i!~Nld’.c1mo"y:r >whr>QklE,> ds O' Jձ4uv!/E~S$PUh궎zM5B;$ Z (}WbWF&suՓn1~FpW݁+T2J"E_9j>pEʚز)dOJ=EUV=bȈA6xBTiq^}5ClFa_L4ӗHބ]xLsiIZm!ZkSnF,r6Ofaad{>s%bq1J9[lLw=xݕX\R,8pMKqi]W/i\);E *6gyR.teN;۹@2k 8Ϸhb2 5@6Ml~7!k$&lXQ_JiB0:e=3(Dr+ED#N7 ^pܼ_y@ ,ZogbkKϤɴᚥǶ~*ԑG&@}/ez9K5D=OE-&׹~jī|ұ͐zE1~/m*4·s, څ ƲpM(ixR/4Icx:UkW8@cII}wӛPx+%%! 8U7Zk[8= %pck& xfه8 K]<0saHަ9=Y5.tASʆib`HoJ{4k ~*vЃvӸ/!i юQ!2_]y9q5c%7pfZbeQ +Jm u^Ehb\1Fr#"P I&+^>6U ٨e! qؿq|Tъ8 O,ہkjMm7X8իc 6H~ ]; M%m!$Zn_䲈1LY"[u]Hry0p_Zdˇw $(ti bep5ryȘxUprȀ_M.X:D߉@U4_ 1_&SFs|F+ӓj؆'k\Fܱfծ`Pogwy/"@ /(݂|Y ƊyGk.Y~)R9Yj1h#J~J#'ueuC /۫KM%{˩@@$8J|`OVRx/\Ё>h_dVuKPS6Ar\9ۂ6{Sho\Z'ԝkU7~cmM$`w&e.¯Ee2H.1o} Fc.R*Dhfu£.6L0T.w`3Y\0BQ0gvkцa«@YLAه?oÞtjE@7S 'NV|W#(وRV5'AvŨP5A}a(+n?Ds͚؉Ld!~u/nE,ida6-9^NVREo\7^Ҳ1a_z}pGElu9: ͮ@վDv68o|1+C [S8\/k잼vV U0 U)T2Ԍh4ν©VW;Rkܼ+nąB3[o*2>ѩ 9,ADgE33#I]1_6n'ZBe86mnBMKnBТ ãTEFc5֟Z D{"|+V(Z(@UB߁VJsv=lh+S.cAm)Od$L#S\Kuk]&$eq-Two4 T/bt{5ՁюQWÃY} ?n;lʣ&D]%ԧ;0蕻R$^Ll/NFγ9M%B݄ Q?=" =ܨ]ùϔ~(WÎyr!!HڜZ mMJ'FtWG IvW_6#BƪWw,5bWWz,Osx%_?;e#;6'fiҰ*1O*)OmZͰu.jd[A/^W TDbӿ~rrǚZ^=r0Q<xbsbB@?x uC *!zd ;~?  mWX:7]avu1^M;aͳ.`n l'k\bW,^M[GMӀq 7a4ro5SE/_o綒a9U]BrOn /'ܥy˟|fԖ9t|֘P"6w #m 'X4`焥1aG$15=7t'zY;P׺Ckek)[b<2=3EuǸߍ/]2󉤱mb::b{VhX8B Ɔx†Yj,qR>u?IzҌATS+eoAT=ڪ:bĜZYxM7.䐔D戼qVVwAF2ĿX7<n>ǖUb]kn $.N 'Yȴs'upPÛhsmb:"c 1 `5~ǶxFdfM}r}p/M Z\= D+ FhK08\wue0fTeo~:}q ?✛W3Y+)֎ϩڷY-#3a/9bϨOXgP!-,bKl{1;֡1,'? I0 ,(#`XnljVt']:zo!DŽic*á4%2n[ >Ȱ.wbZFp8f#MrP{g[8_34W.[ ~IPcڵdGmh!c2s7NᲣ@xD NOa<9إ应D4Cektf =X˟i[6a5p/@,HY*k0U-W.q?sY_/M^L׳\dU_IKIO@i~$;.O*\$7:hV\+l[:Viz ?V[ +FDyD#xm|,}zFmNj퇿@R\B({ a<}:\oӇ' :q,0^h^^v'WꞥrdIFIһ…(JE")c 3즕QP^ٛ#K tY<`tét= N"XԇZy>jUcWɮ4k1}=):p A}}XF IbbΙ5M68llFQ#6aoҙ^œGi> F:0}`aPxo \Y6\+EG&9>%:CKK |FkNa[\Ahڂ$2¹Bs~K3fSMUıR >-9$Dg#+ fWjBQoS`U9/& _1س$Ġ)L8L!R E`H$\*xj*E`)5AqnYp{݃h}$kNVz&l.T:&,N-rbo0ٽ8gcr{ڊ{9`g+ !Y(kv_Z3K /2\7QJ8a҅܂žwx懘`$N,NRΚ)tbt}`='\ܤRq<6H&Ar2ΊQjX LI,/=-dYe znA;q6ΡYp9ͥ6>^\w^s>]1֥Yhx?3+|+3-xv jiRçLa@ֻ_oI$hG0T؈dhei<|N^dCǯыN|^> P=bI7ʧnQV@>rJ8台VLaիZ'#߱9*_t1m:"l.xaJ唁~H\ 8NϹqVwce&f%B!㖵`0iv?Z`JL#wT?aiFB0\$r\%G}Yȫ!~lIfqsA~Hs}|^D>r,Mi\Zd*ւ ҉[HDXkٰT2: JQ aW1Kgr u߅=e9 wvXVLٓCF zlra_e4% 9ُOgbZz[Ȇ H#z1[>{xάk ;vr?PV m}nW0ՑIȮè[B-pCY瀆:܄, l,ŠHd(C]gr-sϭJe)'"BeE&k۸C9Rv=[O}3:"snZgaz929as &yAoi9AО6RV.>CR/N4iB[39J!A18ؔYe"2Ѿ{¡'Ջ<o(kݦջ  7bK36GDjE33(+mAky̶l,>2^&q6^f4x/Msz5/ݎ7t.;-_4; rΓR4p⊦S_YeIb6ơ"8@ 1:@Q"{<|)8ObJlºo(Ehz++Qƣ4`Oa%N,O_jNq9a?lݩѤ*~PҠF)C%* mWPvEǾfzZu?_p5Wuu AaLO+")uxʕxJ=`u ׇp\2S@ZO݁c3Pm] `$2?u?C͕w#hIzjB`}4qXUEC=E-*]3o"Bz5w0!B,N⁗ :ގyZ{eӾJ]JXm߭L*FI9Z)&98B% K2 ftG߫ۦ[򆩴&]Ӕk0ۭK F:&ycVgļ[HIP핻F/[ko$Bs5v֛ȋX Hdf1,Iaqx O9},d0t(5l㪦ŐK\e| V8C ݏ{u8@_?! yutw' ?cb`zrXY=fq>cEXE,5C>c@(_sDn,uL캜#Ijܒ[ɠuu. ީ<*OO`6)6Ky[—,n gsV,@_Mv㻒dgt=pbbBy CSJ/E9Zq+]|0*E^vVe`ٕ4 hLB%;\j`_ -:x&NǴ W$^J{epII1 B4t:\MJwLl tCX9/[ӿ}r(kOlvSCpne%e6כ!mjT6 mU1nmϠDm#'sef-3i̗) RkE1I(O 3K}jJ2H)z|H/߫/0 W21 r 3>s%JB1i“lm"#_E{>7x6)ۚ!Hv e~ZlOOAkJ”32yT,4 o9K.G0`qRUgYH ~o*e%98 T҉w?~R/t y_J=9J)<3za" bm49D)w/'Sf-LD12NNT_!#WNNՂ>XbByŏaӷ:k1slP1U5_m;dw"SqkPY/-)NnY:L;b ޼DqY"󥩳"g1"XDub:r&L7wS-Q» }mF{3@/E:zP+@l ?X|msfXV|1b`gA4y|Tp]o%9J]=g̵n)\Y=bA1AALzk+dOgNԮm q"t˨Ơw[уU{C1Ņ7[RC7aF=G0uh%>`~`75uP//ʸM'[+iiQoH;x̲nAV< R$R3ZTKPTH=۞@n4}"-w(y{](f“#1!=GKH3Q09W<s5Km^0_2h@."*&eI"^"]w ojAl!i6DT KFCi;j ΁LC'tT53v 0 Z]q|s:G+/ !̪.vul vRא64mjTS:xgb8cN7%QbNa!ܨӤD~jzE Q65zFͤyW P blܱe@];;[L\`袖)_lwzi'vk7+]B[nsSTiVQ_spe=)mS*qq є]a?EAEy5-N U=L&U^?F$m‡1]En , >2<@$S2e{!;h>xzxAw •/a?#:lrm3/Y V8W:IMF/9o~I*i S;g\ j(L .򤉪SUnT龣?(a 8 M^EMRrgkݍX}%-YfnMUR6[WцJqkjCx#]\ ~ $N8#4y=/{<+?  7QIq3+b(,H+O0! w|E gVuBx}Z[E4,_iya =-T+E 85 Ն)f7p=;uܯ Єe>!>.@pY6*U?6f@1xNV7N}^2ZMϥCLL$ŠI9Ss1;8>"$SBMWP2B-NUݑEvdHĸ1E׋eCN.;oRÆ:sn\&L;/1t6c^nT~9,-j@p.;Vd +!qB!Ya=ŜњGHR'HgK?z*Fs9^\y5aA,[Vׯ!iv&?u&1G4j7{NST~wt-3↨*9p%l'j'PAWRO a<X &X~ЭJFs-B"(s'7޺-;|z9m5R+mݶ άP7k ( o=dnTX<ìG߯a*6pq-[fL`ZGLOP/nH'('h6]| ZX [#-UVUV{M . fʗBH7n{-5Y8$qeQą[&wkM p礼 op/P}ZRV:d7^(k_3.x^o48.v-..'Asdq?eX=}ѱ{XsZT؎>֖?4%Tu MR>1.n>S8 NȌ  -# PPE=Gxx6e<*$DD#5rmw6*iJp 87k^/p3y^9%5ĒISݟɨRP)#|-' |1 ^n#Jo rl&QFt T'-7ɬO22*}3"aqG^~NOTe+5ZHUe=Cvf=GN1 ,IvVIq题uMb }PBI &rGVHQCjage1fo+OcC|](8uɎi`C-sch๸ !R;0M?wmm)M1>{>z(\LZ3kߠԡev=դ`xɴS4VaCn9}iC(6 472 fG@ yqKZ>W/K鰗 hOn6vSEIݒ)f(̪;Il%glA!Ji?x"3Z œ!džiwO?R^ȢW~awCo7=ڙ*M2Eg$ u\"Bj8+TX_a5_x =&?޲$Fmv}iB +N D`Vsv&4{Tl~r, ">Bh'O nN22(w*`^S% : ַf>b.;:xbx" d *xoM&l]O^Nؠwn풱c&y@L8u/HpČ\>d9BM#dB&:Ĕ}`.WI2)o)WLd`dGLFWǯQu($L8l=p]pw$=Dc*2H4޾O7gzk|hfij;U%Y:[w\T0LjU~# 3 w^i4X$)7H!ki-Qp|@RjxF~ AFC4b˩I#}񊯅N/J4M"SEwR5( y,ں䨢oȝzWݧy^LR v Tp2y`O>pg\|[uM3pC '*S=J:꽦1CdgvIH ea^%P"Mxel E$ܮa)9n ?Sl_'etknק_ 2,HE轢"x4t:0D/?F%@Mv YQd@*S4!m/f0I@28Oy eҲNFZ^C V@ .wnE魫TQ4:)7n"݌ƏUpB:Gۼ{_e/``}ؚ"nc(M7~ZwWRS["yC;]Yi%JGyht'*.Oj3!tz3XAIa3O#9z:BU#2>]Q~M^*."X:4Y4eMnwΥS*Kݺݮ.bz0\lES,Ԏ)dnPST_NK6c Ia<;@{n//'~ 4&lǿn~OzH"Bi%Al?T\Qg>e2)쇰ٚ̌Hij;bb=թ2+ u ]84z;0u\0`6 tI(_|I"i? Nob8VC/eʂWeCzضf?o.wꋺ7:RNBc:c.{V:w+ ;jD VOѕE5sІ?&_},z16e.<7ntSB̎I'6mdb NόG3[ Tڿz S]] U:pi4So~<7ڙ,WIO1f`:LDV5{8b qNuݾ0h>tL-kl"e'lm3i~}kB䝫Y3_NEOBQ)x)wy60BK;) [*ؖl`Vߊ8x1;8睅Oge1rgiv|H%euA0^f67#\;ԕsOvBC9>Q#@}Ξxw\@YrfM]C",8drwZ ĪlJ'=9H(;ztNކxRr]:DUZˣ'9T*N 5}=k9V˗f)[# wՃȜdž?EKw>LGL-N/9WXG"d%Dž 2\I[ ^m;nJ/yP0)&cC&sL0S;*{ziB*1*iL3?]TݗlIyO;"uo0Q+5Z3ƷstG/o7l3Q4 &*'zK _E?Njװ|%f?ZQ͉ȘK[ ~=J#!vHk_Dv jVVy a)f*-bMtdj)h8-B2Mi9p\1+VM*q'jsr\hNeҘHtc>^fmu) &$ g9h :jخ.MdhT$QJk\ `] eٕ*Y0TDq O 7yMB^W