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 II5L| ; HOL-Nominal-Examples:threads=6elapsed=363.572cpu=1360.148gc=123.088factor=3.747zXZִF! ]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=h[W%n_hŀk [CM[[HV,ᘾH$z9YlPs|? CN0xz߿_M , G@ 7+{nnL0")+ V"S# y? @/y4È^R{gzr-+mJcN dNs܍ '<"Ks2ch@yU\Av׈C~i;(TB58 +NJwjgE-z$H`15>kؖBwvbhrj%"_66\]n%!ch1>+ZG. F!@}RnK[, ҳ=}.pe8S>}ӕۅ5J꺝I ~B&x,O Tp(_ӵsX~#3T,dJ%K[D%x͝:pHig×V<')bH8lv2d$ݿ#jݕ ] ,pr#,7 gaLSP#C˔cLOʢ&w@yC'x|bYMxm:dhB "A[g2Hi).SUd+4--! Ye_x<0=NPʅ?OXJDK]\GGJ=@ktLAP{,њhV t8QQ}9l NdKS?t Jg2w|.^,džkZs j,b)T axj8r&sj$,l| |S'ҝOrT|oN,렕..{S=$wb`KK@t BUu: ؈DՖԾ)]$Hk?PYC Cwa[x37N2p(*NeqW8_ޔ™M?.O *ϔ}PŖqc߶ a{hţc~%}M*` wqQtZm)ev>qe^fp 1.$8cT[U{81149q' rW8ޞō,)]+QFsPfeӦmLK']2'\A">Q gBVn)i EEJc>#Y6hY0@\Z) Ӆgy8`oeTg%)̷(P Eçy9| bU.}P[Cr &1/;]{Bi)ɣS$O]YY5'<a5%5uttFzM$ifD5ՔFeYVdU޾R4A,¦sGFٿvaR:rٴ܅ϥ/{ Le Mc6qm_$ndR?|BK uYMv$ R[*R/8"_' g-r)\sӤ!+Ų>x6.x8%BO !W>+7F0=拷q6 H0eT]MQ q/q'+P6t8~vqKPw@@0d}P|mscA Em8RɄEĺ*Ln*IyOsvW}MHR\/3ZȀ;v= |Yɨ~^ ޓ^JqkxU#Hn)k]Z%B P5RA 5 HOL-Nominal-Exampless4Ǯ UsfvF p*ڋ'PRu+_Wx Z 4j,"#xY #T|HտRA756v2k(o{V//JtC~LٰиB9V\sV0TBZb*y[Պ_ E+Lv>ҦyjE Ĉd8}S@@TxfGS!gi1ym$ ?d*ofk]rn&+eYI"ٯaSp%ׅL G&nad  aW&'?s >x ;:fe9:;U0H>}[ՌeV"ռ`Ž=A緯hZ(8Gfs[K䡷aKqVq d(o)~cc~ʆ+Q=B+X uBMŰZ|a*⇾^kb^go'^dwwUZObĐr.0ۗ ȷ?l Ac1Fna-wyCfZ gƃu@$@z%e2Pgy%!}MG1N(ӊ`e4޳)8σ5G0,K)0RڌDۂ-..ҭF}sv1h= Mɕt_a*}^X Fr] 9^ܗBߴu>`9'&tĪ'nkSz6@Bѐ@3}s&@qc*iy7v]Car&z}fc{z\;^(M%M 7\._y8(˶fg*IK*ln#ER8GpN}c"Ofxy,/t(@p&זȹ}RU 熓Qɽy2)F@4DLx۔Źqk5aݡ.?YZN< ~4K8Ocb>bMqG zZL \W4W[SgpFxߛبReo>;zaDFIt#ncrɽzeXS}\hzm,=27mG SoJa&{`}d(D $\_GA6O ''VRm"qqPSE-`:V|K{`~Mgjި7nv jJ~Yd+OQjnz j Wǔ(^ uŰO aKGs:na__FO~z@w #OYK+2a dʲ^.LpG̹!3F-wj컠fk-fy[ :O4sZDP]N/1@{ބ9W]ޯ9-s <5)x]‡^p/`m~[~9 oa1>E|߾Y{kz\E,؊{*ZT6f:颗~u| !۠y>xm ![I^j;\EYlydE{ݼ/f?TՔ ?HB:'1UZNۯ]w6Pv'ۡl#R]rC > ?2ܬ.@_~Oqb=RߤkԄm=fԾV3EZ턯.*)LDs]sOy=$ ܨyGP}^FwOm`p/N[r9ІV\e.dObQɮENf([N]A|4[t8U1N+Fcr~sN }4|#5Ғ8z~MȩC@8}8d#"Lҳ=3֊ ^#?80߿„t sP- K4 iN樅bK}gb@CaeNS&% Ľ ?mOzasPVM-Ŏ/:* U 3L_o_ўsS8]Dh xv @Dv a%AlM {,h!;8#e`\IFs敥8 Z y f%>/L4;`vZ1(D`Wr7$FWJT\ןgJIR1{Z)S@FPxw_FU#O +R3G;}HG2 j bߊ#&7=ejs<4<P)3w@*I{c险WckLnL2a~wX[agg>8:.$?[$ *Sp{XƟrOxs.a[HkrړD08*o3ϏVQ.fIs[?,bn6)c"k"@$*6ruc;@ 7YT0X)ͪL[a4>dYR V(U Cigy 5޲ 63m%KrY5,ᰲӓm2m3@Eot`PYm9}3WRDNFѼnܠE6Xf]n'$of{!`32Zq],6nL_9BVysz!<|H"6\L ~āD{(0Z7S3g #-m۷h&T)XU9 MgnX'$ίk3rML§Yiu=]q#,,];hhKB' L>B!QA! ,#?2' oFk R=uciYeT'^k3j""Wr ښb@i zھ鿝QFw"Uf&lGHc5U\ժGߝ K~QѭxNw߻'JL1 \ 2v/ \YB֨: ֭âQ򆯥jo!5qRdi5=t%n8wzV׷ɄBs&tSUMT D")oGpl4 z/=Qgh1*wu7M g~8ʦC+RRRC+E@^NZ >i{I?#ц#>wP4wO% {j>-b{ xԚCO㆕<9n,GrY] |qЃ6 ^g$IEdp=/4ǗA>C4gIֱI?MI!<Fޗ<2`1)?\-rv??( _vD#Y0l( b[EcOe,XOƈ/.@#9x&ߑVq_z,΃tWd㋪yfs{GvxAJRˀKs^bˉ1֖% wIV&q#ѻ>@t4*SH `En(7~մ.[[rU=aH 9jו>u+G]LKgE ]L02"Qj·N&q 5eߠΦb+3|@W,MW/LhDt29C"'{%#JS͒rToӎi4j[#<^i'Fǚ|)i#Y/RxZEsH}vQߑuؐ{ 9}n?5#q O4 60{s6\% b8+?= nDeiNYCdA~}0YIKyHJu9+P&Jp>⡹gYZ7zXZִF! vV5]ŗXi%6'$@S!H'H2f%U-V<^?@6CW.aw"5/w{} ^L_[ւ/ _P~_\^`Q$%.meXf/*F!2 TTBooVPJۡJ7zqxܜo-^ dQ3uD;l+gt!X7iMw(PmpW7 #oMyU1zI2fy7=3u chL\ZS?z2.=;UNlSOSTpS-k3\ܫkU6Ewp:@N'2S4bbs?ՙZ/.OҿɌ/T_JLyG`5Zڱn:Y?8~2K%\qK&s|ˮbB,S)8M8mNat9}w!mRd:ʹB'jH|K>RtBRzWܙzK 0y ^TbΒŋ_X?X#5 C3W ,ve{n}ZV*Wb_x,S*\xvŅ z뗷tp+ tbp)ຫa#}y_ :0,ɬѿ-$K$EiJ ӄiwB^io#swfzUtYet!35|x okׂXqZ|^ zhOOO\sDK=n]|`h RJr<<힑.sd.`%^BiOA-XX*oTra84TuهbK)Ϲ#o4 F=mm0 `'w(nߵrmt6ͮ Hl!xOՑ\ nVJ}~, ds#>"M,em3 >4wK*b(l聡wfi~}B>1L}}vR &iȶau;2$ѩxi+4iT@J[`י0~ hiTo| S02Z/ܒ@ï>8}[":T$qi[!+A?pƄ]|6@[3ӅEu.6}0ș7*zBGP9,c̞VB80Il6DD X@oQ?]|=yQK:-Rz=GEq/&: TeȎP㉔3bK8ؙoc?q<)"tPB"7PtCvzDP7|/ 1Z>o>C(y?p<ó8i  i6j}m+14PS5źxLfJB9],ǔAF*$d/`DɼJQ)]ˆv )=蒒vd!,zG޳t:u$D͜Ruֆl 2. dYoRL/S4^ŧ?-)TRs]$t[)sNaQI %gX ޡ;܇:!Sudi;ϿGxuo t[s8=AM0s?mYdz<~Nt28Z@x?!BRV7{Hb(LPG;%HM %eCst-`ȜMt v8ײmX~s KuW^_ڠ`ɽ26/ܒƕHuI=>\8>XF1xQ Iko0 -#K1ҙǘ95Z֡M%zW+HeSDxM5Hvիq-s%STtL/elrw}M:/ϹPH/`3v ˇ^%npߖ6+H`idʕ ˀR/E)&$nS;E\"edyKN_?/FӍ%;XGHAw:Pn<9+{"- -rBL΋sWJ6C{XMpzxfK,mx@&hbXxV6v8n5TD<|P (:Ѣ۠k%%j]te?Vt\t|怰X,j>?Uh3y戻ϘC=T ukzY 0V.Gh]7ZxΌ"#M^`|Og3+Z! Uy܀bw+G)xp#Smcxf-J8@>ϖ\յfRf an[Q ߲DH&\E B4r,P 2F-b?KX?-4z.ѱ9 Z+ 0%=Q N$W / GNLhh ^~ .*a>˦%0Gʂ iNNpdR6M- V8>DrD, Z ?{N݁krLc8VЛ^s3:g̢YcQ ܬI1)3pI_ʚIju2uQ28Eqz G: \bfc`x]V :I0\% 0BB!Žinc=7cQTubI{aäN8:A/'iˀ4PQ}i~ v:pǛx:Z ax! sY`(9tjǼ;祳U| LHzDȧq y.:`4('(Ⓐv* 0`N{뀻j}WyY|Q; u"vV*ʼnY߯fpT. _YeNًMq[aOK SlݣҀm lYfDiyl&1}wuJK6eA+M鶝H`)"; @LFɹ2QzJmH*&"E]{Uoߚ"٘l.6Ȩ zo]m$gsgpģvKZqZr9FA:?g!D>ҟf,sZ+=,aPp-Eı^#͌i? Qe7bM O;遣\4q)`6n}G썁 <-A{2˧&vj̭n kEX9n:8#^!spq;!O$it n'd\ Z$5%.4" }z!ɨ::c—(`Փ7\k$OMX-ǢX|<OS7X:tJhyib=j1y R( ~@NlMz#6aD3HWBz@" %WisxSD.;ر҆ }*CPs~z|-$t0Fm %OA BJjBjʹ>pDWZ6?a5Ҧ6R-nMK b% VG^A lEԭ[\eh<mQ>$Q?$Bh=  [0nS4*#V}&JĽmH^o ]Y}9. Vb,݌EmW1giWqa[:#4\zL#/θߜKK Z?>k@.k\AgE*D z2 ֽR%Mc'KV1I;m1f$rKuF,1ݢLs׭~cLDא<;i[fYYtєᆮP%8@3T1|A%Ml$`(vXȞGJ52}mi{02d;#\^vwtV0g5bhU{ قvEh1~.eʳ.@-5_yy}XVM ӶƇ풓Y.#S1.yZ4J d $o(&Er<H+Ua"I9~tͱ|@"۞FTp" j^ǖ>@Ȯ{TVxrQT!z':T3 CZoD0 Hf"Rk..z Z3\0! &߻CAU* [üCK?Rn\z#v8c{.xRlu4x KF(T6J 'y/υB9OW> ˩5 0rMڋ,~g+LSO.Z.)Q:zbe b@Zf>F`?.0Y*tmtb?{fJ˂/edsG3ctdFxy!zTf;$0ɗ;ݩ2L1tAC\Vld ;'h(8j%^_swtLl+`uq{: .@ 1u ״V @7CΩuv*Bþ+_H 1{T $Xiꢮ& Z Cd0|4#VS>zh8:+O!]p$Ds>ɴ#xxԓ{~P_X81hm %!'A[5ki;_H)uCMAƯmu'veD.y5\.邗?虙3Y6Q=Z,rʼnT&ؔ` B5٨ l9Yap0u2˿ۢCǣCCa{QfdDF[:qtCvLɒW7(S3rzR3vєF^F7~{Gr>G;zI~Ԇp1lne6 [0 Kҁ{-u~mk~٫f"m{PČ6`"Vn=>σp1+Jsvjv{4dw/˘)ϳ<(w{B/wWpã9Eef3=\5GՐ>N'm8X&tRR>p^Z?:' .Qao{X[,JV]SQ[ ŌHeb'#5< So^H;װO _Wޱ9)z Yv% _jUoY%cIPZfvZ!R .'vxh8@t=_B)4N<3_FoNgiȂ9ܢ_3yœқ#\Xx<*Gl?*8'P |ھSSY ?'n2(55׶F)ΞָkB-:Luu6bN?ubYņ6["c {䇜E3-pB.EU#CtXJԠSS}*Ǝ].:aA!n9?wwd?"Z[]L[;R|#}jv{ QY6H:9Uooś \P$yrg|&6r䞱L jǍ:{. Taۍ7QtCNGi{Y ?KOqB o˙5MX&xƐ(Ͽx~> A}a^#DaPY tA`Gnt (^l/4/fĥw&8KH3>nVu$%V~L7Vr'O\挛ax_Jboڈ3rt4aA~Hvq1jS|bKH/G۠dt̷xtE"1~lwI19ψ]f &&AS8Ql]~`ԧҀ>-8=)_gi&nY6"ϖmo"+DWz#|y_C rgs2&gǓD%5E(C)B xU"(^QA=gd bɣƱ<+}T,m^dz$Qc&"\Q;=v&< 5ềM},R$3fLlG4sRN[dd!ѤhELQ6;+Ռgh <ɑlJ-ow;/],@~Dr9>iH$ pIYCē)8VFcn{n-UbC]{&b+?|J{ٜvleUӊxLBCЏ4yR*J.$?ǡqNDPz߉!s3]%LFk2ùXiPw׾/#5(r?vYLZTG9j@ਡH2BVʌRwTXN{ eΌ-xB\.$Wj!jdb崼|UQ:+I=QD]jJpe![R%W CE{ iJ_eJF0-@QW!q<6tx (|ֽLOJeen"0Hk%Z_s%iS#ܷڿށ),(B애GLMXhԒKާN^YUFG/#)dWQрE8Y"@3hE*_:u!A:񯁎2DG}ZG֏zJm콗 >UMRzQ^DvPRGRuBQS"sxd^e6ZojEbưC贽 k+y2[kZ'JVuYL-MmǬtGu]l vء)3oz E-G= ܊9E^fĹ[ވĩI x_;{6u$'Xۙ\`4FF1Eծ L; .tUC7Ȱ\:]\EiRa[ ?[FxҍU[Xj\O JJO{A d7wG@^EY-UH-m *&? #;G\LZ{NTF:iv'B)& m!R`,طX߂N :q 9cxBs5G5Px#$AeJ;`ju+$tqt8fQ!1a c}prӧ3P.f:WY39&+ؾ']8$Ц/_HFƻ&jczp.E.g6UH-5B&ֶOtU96C(Ȯ m6&ȱ{q!Q>fg&/VY!`+*T&4V0LRrBRO%Y; 4# "~آ 6a0Ig1$yñlU$]"sSǓ!X=;'# řMwJ|%YA#H]1ZZ_4(DfbSgE/t TJPSJ›Eܿry) ?ŷ6;h/g=q{mn\̳˱H-s\vqMe̬x[F~,uT+۫G\؜-2JV{&7D X@ʍsd,;ڻQ&?НkFю☵NP"\`GAVf-0f۟-5@TǷw:-$Osm!g,U_g׋QX =ռw؅Z pT /4FBo wtՀ.,tyen@(!cw  !0Ғ56oŭYTi;гaTq+ 9;kyq\_,L+cZ/L獚 ` ; =F=|Ks-,?%FXIxu05)>%7&rXuҶs3W`-l甬슴+^0mHV/({/r/%TZn̋Zq`#B?\΀ $AXٙ{O(V8Դ@L4[` *jM+L[(| eq^~;6׾+ EaJ@6׭H͏,nrTڈ=I>OdMitYPۣxŕ^|AD0c,v2$l Qr6U OzҲѣN']x`*}`W]UzDŽ/BY?ٷl0ʴeILK7Xr1\}FOS.05d$U@SyM$9kxKM`CXI#S^IʱBzՇ>|/!gþFwaf# a7Gq=~zcZՆ'>E>$A ؆Ef?  p1ЫǾ8۪[{0ͼ6 )UbWDYmzbYK{GjֈW>>]֔$N̋"dd(e+Rxf!NI/=G6/=r͊ǡ6.= 1QE7"jxL;xP%2_8ooW [,ΦR5pdylEC~?S ™ieg z?ʉŇu9D0nߵ'dƀKSiqnmqs ]f5i].e8PL`kmxP{. m?+ r="Uw %l%l yDRTPӉЙ: [r;|LA5E e$WB۬KwnA-T+TJ_(V_)Mp+C{0$;GH,97>Ӓ2nrA1Y xa$j*47?,i+x͸E&ڈ w[κT;qU&(,Ļ|7,3wĝ&*D_ݪ@: 2-ybC.vf=iDw}vMAzh;ش\cq cE_{F~ϧQ`s깬ǰZ`OpV[D`Җ/NmA l$, [|{be2{d,Z ۪$ulI}M`eZgi~.Eŗom.Y; FZv'FpQG>A}6ZPڗ袿7=r?~~ ')` `~nh 4x_guOyQLU}k{qL2Cp46%1ն9kCp'nRW{ؔHYrt`(S#UXSK |M7Ȟ:"_]fecų'7;b^ȑg,J9ڈ}rTe?'&9U,w ?[5@q P QT96hڀArH/a 7ݸeّF3L@#ƶA佋j& HU|n>dXhNN)̙qֈ8M?kcKhgx.=jLƎ-^Z#|Ni7o`B-Tߍä{-x=h'+Cm^GZ+ga~L-T;%Cv9mFhΈvW/d~pUhYSd"%ZvpN}q @דFfj Kz[^<,7q`(`SuzNc+yvG+TG0\?{1{&[9jKRyM+kx.=ڳ5X"S7j FMP4@ݼUˆk,(,5bIXRtҊ/I1yzCJڎ"ĵ'l7Zp^ 0 t.%>HSͰ2zRyuݷ~7,$%jkD7\^GS.ӀcmRvX"ز}&zWqC=˨Ԝ6@Cf8u3Œ> kMyĆc7G4ܯ^h_Ξ*ۭ~}dV}_'u_/|sgX m K{`OUX rY9)LmN^?n g-+%uMdM a*W7>-3횖_8)t0.qc1 EI}w5v0\ǕZ96o2BR:JI, mh&/=KAF MF8(eC,@¨m?Hga7hf.,B׍ʥ|^ K\g4^71sGmqu|2OuZ"'/sdFR'̩}vGrxJ5gdEI8}ʵc}ByVG-jȕdI|Qoӫeqsf>™DY lۡHz3Fl>=#|}.r5x/CfS`K|ywPfלHR]c$ p*f% ~TĂ9>Jaf|:VS1n<lo^L^JMQi梀/:R-o$.=yr KP:0' ^l_EOgdV  i'f ] Pe |,{vG)y$؟yC\HdUqzXsy'i_lǭl""~j"xKhg0qJ-vdyCHiL*E~:޼<&Y-إQ-tS(Aÿ&AcNk<:8inR]HO=J ^x߅ l %.oI(<VN)& oHx`5J8P/,,}=ma9EOfR;w2fD;͕?G:McAI-"]T0H-,~?u{8P_;ՏUIT3+oc/K;k(@Y!9ТК6='Gb|CRq^wv҆$vpa!at5rb g Cwh[9|hjMb,|ĸenBwK?cFdz9덁B0#/ %=Ӗ a}bDn P[e:A%ܵ[X 33y4}nX= JCB<{m°З Nzp`qbNgMu%\cb7cZIr}UWo=r;a4`2t ůٵ[i# i Im5UL1:n&D@?GyulHE5XSor6/Z @Z*H Ү"-/Xisp#y';<}xzcM*IhWĽU;zR$~q"hcQHlŲ"ZX+W<HvX$%k[!XG ^sRI 3eY+d ,;|ζEx8` Q$TO(f%Up鉚iOŒ_~āN3 CDH,Λ.) 0eT]Hj5?K `A6Ϥg$$٩1cSy<14nܗ|ѳTw'Q.GrVƀ.h#i+k36zNM$я&R[V2\y}ZLW8nD֗YgKƢHk>VRwfM+kV߭` b%>g`Z@ڊ6ГV:9[U*e,*HXS_QMa%mͮ+2vX7ڞ`[MAY 1bjfv>@/ ܧ΀wኤ eޘZX hUڞ6qZ&vQ{LmI9Ljʠ_a241(R1|㊁.loDLxAC؂-y2?qkQADgv23wQY}j4ø$= KtJ<$ \oi25ma:XՂZpک0bb;]x,{D- qhA{g _֝FjpHKcR.p^; x[m,^Pn˓^Jm=7Wu_B&v0]J>͖Dl8+ƷGGEauH~V+pGp 6F&D*&{9,jr;adSΧ6=A;5?ʊK8YN VN >n, 7QW='Gz&j'2W(BEMR>?:çd E#փ0Le[W\|'g X8+'o)>cٵ损\IPeixokB:?{u!t`KX^n4WfȉagD/ǠpzjM}YrSs!m|Se0ۮ-Jju[>POwOGb[ٗ=,$9SRg.6&,c4hIS;,0-.c_=%?Y7(-㠲T?V\XR7O#T F*BmK6:$5KȓQc٬,Rh)XνΫ-fluwMۖ>Ɣ<]YTkm\厁7iHASKKIFX#zSRYp[[rr[TD[VE3MzUGKɞ!\a;G+AUJ+e^f~vb-*``@ר0dȯ{τ>3hWJ@Dx;Ҁh[AIr  "I y%6赇ĭ )(6Տ1ߛf20ډSko}c>;Vmsd6SWE /qp!QWA:V*5ʡg2B.H;G__Y3$36W2 f6SPMU)nUȗBb={KO:'P5/1鱔U•"CU&@Ut MnF`>Bwn?J3Dp|c 7ܮh-oPBs"c՝t=ŋl)e0#SGIK]udkWXLf9pÊYxHFF7(0CN"sj]۴UG-ɎGURo0FyNMmzoV{&Č:¦K2ۺ$IzgN 4DexHA>/y2c"xw12:7ˆF v5.B@ MJkUTkqQ&þB}9zF2,v9=PX 2>u-v[Cjjy5^'kkJkL..vn t{FB@CcvП"xaŔ,33#` $jjx(#K2X |{һ F^ƋhȚe!>*L jo*.1i-_@MEV0 -_ .z[ [9$P;=ft }:{L10ۜ䱧Mu-ɀ=3 @WrYrR}LwMKޞ2?dC^kU-Ч4mYU 756Z)i5â)QdXqnEqCٙUzE^ B:#\S =.B9XN'$jHuW%3?4`[&] Ħ\niLKK 5GR+Q$ 7%m;TL$94xόLrj6` $J$ aOچ(Ë1lR#m\ :,sI0|(6;5qXE/Cja7>}I=s gU,tclSfB&H;"%|ϥ4l8;R ^a׼q[}] eT*[DA $>q\BV/^(f54=vuf a8Íu[g=f|8ǹ8= }d5pNc{|S1Qٹ_qQ_*J|4LTO}c()EE0ۦ2?!В\ى[ұ #k77/zITyz,_7ҫo:aKg<ň?eot jK ex:~oq`OIBOr엉ds g+߰Y찱-5+ ň6%eJ6O9|E_;+|W/ԥEyW|LWJi0T%5 -e"L\yM76o ]FT2v3b6 w@`Lpe@vcKO=M^hcR=_ n>TC`D%`p9G9Jc-&ƉԠx}YuT d'1{*H3(L *ށI,4oY F_SūLh6F"Aik8ttC*k-vd==lLM5RWU1hI3Ƅ+8!{ 'C0lAiTLv*沁_u;%˖BJ݃H6K9S!;{S[u}l/8h%Gҭ'1DnhTȧ&N 81NGPècSR_:aOM9*N0PcamTi|.׬tG^\VVY -UAg-P~ʜt[+iG( ( [{TMh20'{8UTg%NQjnY76 Q!g7>UE( [r+!8H1=I@G!rfU$YF z{$Oz wwDasn'5N#Qfa`}4 2`T?(.*Qٷ]U4g*eWCȑR iqv9Bigua-?&[Q=@ 5dȜیdh)QD3=X7T'eS~ [\@(QR>X_43o8VP~zHtrM:1S2DѲU=¹*;(0@p::ፐ9<ӣnix]j#vnthti M?q0Ws,___X)oP6V U-MTaaZ|}7] #*dbd Wq¿`A^HҼNAc[Qٙ&3Uw ̈Wʻ1Cc`Xnx7cOړiWM\۶.IGy&oO x5 3 o=ɷ.!`ˊ0[z9rܢnbUw\">t]c1Zk;?4axLM'թO&xObC|!K7JV U|gDT @wra}r Mئ눒@T10.(Xjn ܣwN)TQ  v;L(wKF49ܟ^Jl,k _cD^Wn3Jga-状߭4_y6ql٥t>K%@%G{!E>`.ΟO:UnH/qz%r3(ޝx!xt4j$rU$u F%c^E]̎Ą8P޵TНEO_qgv$PrqYe^pD>l* _%RDhj [<]ү:bǿLEgT;| 8+\hhfl$P9 o4J@L&T{Iҟ+0Z gc;%S]j !LT[>I{TyQ)+|f=\ Y]j Z1+=[G|G?Vuz橙fRԃ~JUN^ (*SHcx'%bq^+'zjC$܌5s㯛mU5}K}=b+QLw .EjH}Fq:f8)+ΓeMؑog~ZmOOW@qVQ?HReZ%UE<`99D=9"<|fUs_\Cj47ClNա@bىD$5s57yْu'TT$ʇBbi&5ݴʨh6: "| 7Pmī^@Y ?.F!eCj\5.D`~⳪gBEw_~}[PHIѬywrgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 08aeea0ff4db10b9a951d8780d9db1322b9d990a 1f7bb09ef2d92ba6da1c839d19d5efcc789023d8 2d8bf6ac0b2d5552615942300b986e0270de9bec 3299a29dc6ba3caf69ead97e33849b8b93c14028 3390c388452f882dc96a09333b87554d8fea947f 38fa4f0473310939bc892686cedf4b60a5843fcc 3a3d8942fd6c1e873cad1278679e13aa83c97c0b 3c8f078b14b4048d7fe22d9523e1adf6efe77287 3e8269f5e652f08999d948319e8474dca720875f 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4b883794e54bf0baeda9be15d4df2b25a973e53d 5acb735d2239bfc1007ee9925728708f38686be8 698f449a94beaf52b78d331a08df4671df3648fd 8c52222686a1f76cb4e111390fec7aa78dc4381a 91402787208454b7eb29a3a1c923e0e72304f616 99b5a2a0acde1da97574e3f05c02520cabe32bb3 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 d467270cddd85ab406140a1856982335108a7d85 d81998b3112ad6c625df77c1bab8ff3d93af27d2 e6fe84e89aca5db054cec01d0e21f68ff47e9a48 efc76678a8167aef32fc85048043e428f9644783 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f726117bb101675dec7c140d8628829d05fa23b251f2e4211bc57b80e918789840d02846789d9fb5 8906aeb92f6d23db93a287449c941fe9b2ea6224 53ada5c2c70a35984bbe5d3a9e5c660f147b2607