SQLite format 3@ .  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  , ,%LDD ]/]HOL-Analysis:threads=6elapsed=317.631cpu=1556.168gc=61.772factor=4.907zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D.523"1Y ώ 3UB-&(=NŴCJCϩn=gzȎ!ocD \SG˥ۮYY9oq9@0_7$/טz|1KT=u^CGwΕY6r:rƗFNHx9K:oIcMsv^nDQm3Ivb0<8Ij^Y 8gxz24u=Mo g>`:Ee>#Q>Qb(+,>FH33|%I3~w`O=x]Qp|leW۫c4킭CzD%iLo](9GP;ŗyyic-Ij-yR&sNNCxxdzT_SO KQ?b7 O~]ehQ^4eM1l\;5TGͻD3~mX?5J}[ ^rLXX"~o҉ G}8|"j]kP6zuŽi-dc1+E._[N&EysZb5_ ꯮! Ωv=DxͶ)nHeH{ɂݡ}KJBzU7ܕ8>RVa&N٥GsXYHu=Xp3a$? J>ۭj!"z :o2T3PU&o""#@{;[V(zIg:Q 9=҂'C~| S Hmf׫.isV$]zBx?HnJH$^$aUL1B`ᛪ>e"s/E'Xed_ƢԸ)=%-X^*leʚ.&^M 1<O>U$R#5ucFVNyu-4͟60 [(`̷y_M(Bn ҃D*Ν5yFKv3qnsR"HuHM-_| l9w(ᶹ`FO@ ۅ"LX._ L?3 *S(@^v -d8MdL"Ƥگ+ ʾ|)}ӓ\'0',e6=C(̬ nҎjQ;08ќO,b ]v@|VQ<6ln\m5` h+SPXSOe[ͺR]ғחnYpЋѨձ5oVG ]Kn;SZFp|B_Z'\`Ā.Rɻy!0ѽ 0/܆_"}蟊wƥhn1 ]w4A&Vb/_bPkplg&m:1? âv\E~lJpKNT+8'VEժRT4,߼V#'l Zu*?r<T}%j FyPbuP5Q2|h:L}OARmߣ gm;ܴc/0K hN'V*@>seq"ڲ*m!,+b)XgU=ӁF` za h W7 U{;GlB@Z4Ջ%|.B]RU*):\k @2B[i -63#9ӄ>yytx3X(\hp@J*:ej'2 ::TȖx.xN=d$KǎRrDswF6V>P΃vg1x/_;IuhHpTQt6eu 8nxr& `ؼ١?⤺YЯLNWn*8rr:oa^Rze$~xmҸz^ZZm|N谈F5!#gz#GP`l\n[T UՕK){sU­6ke|i,B7:aRn}>ixty: 3GA 0xoz&!Ui, hbR뿯'GOUkRݙi Mx!~@iz]e6:w@P1ʸ1 KY>κ!̲xzZJFhTYSjŢj V9?Nt\Q ˎAN,3W$`fj*qC ~h$Tyܙ$9k?wx}'M=a8qw!%'9O˜P]38>\,YfXy55v_ĸ=/$g3ށ{!#tߙ|?APWaKY닁^g`oܙ8[t|8-/pDKqx Z|xqm=*cr; K+*>MPS)W,Iq(A2ARi;IAd" ȃM:v3k8^4=YMuҝSt}.BF:(P N@Mz3X5sPe/؛o˷퀔6mOD-4TZ5$C]C RʨEx)Qb"y׬s)B+G b2}jV&';O8A.KY=1ݥ,9)9SY:9 JUtnS/OG_#ْU/̓Xi`+=`xpTWO[]ߟ$_>Զ~"Q۬+n|0'c'P̭тh< Zz nSk\ɤYN1d+8SdESSTnΞfL!Khv8eamh%/Ӝ+\:>ޢN/{&)=@avbJ=dO Ԇ;šJJT+*~bǷT?&$:8?wUs8ԪZ״?ӭ7}R7'oX=%뒟ui)J$*$r8٘UmlgY1?lZWɡj՛c{hskNE.wEc}QF{ҸuBkS5';2#Q1cA2:J:%Vnއ{VarF쩎5t NIDزd+p(8 ZKS5Ö-e w8[fP0"m0᪡׋y(rGSv[]1Ԍr=VzwnӦ[͸jpN7y@\-G*^[| x}[T&*h=h ~PD62p@ZA ѫe5$2Su݂_KO z ljT$Ԡ=ڞ;QGP j&;8;b R^\=9u Gh$duEEKÔ w2 )=Eu>Fߦ݈ŝ=Ɋ %f$U?Z̉jw>0WhƏ?CC 뱐uzdu}ꥦ̅ s Oy3[O:x8XVn%y1ݳZ`J|'&lҁsjM"߲2ή/%5]:y*Mar;U^48̚IM`Q|cdNIM[dti:ߛ6~K[;Sua2iܜIG}GN~Eyr{NP[E& 9vxI{=dpAغi9Wʳ4C,ZSyӘDy@xk+N7t˗+~ȣ|!崃DF\8J1ƣة dLHq)\l?l W$<;꣱|6"N^ojhTboHMH`ϛbݳHuy%#jc;XSu%K{3WҶ &ë.#ZͽZ2b=i6*)aMA%|%Ue1jjtWL|(p8\*W 267ٶrQ=sj ^"?%Gfv{*pkDKGI'zup4O9JfkFe&turwT$á*5o\bh/PX"&T|dΔK)N4qɰ*@2]1Mc|{qؠjM!_d~y# aS赇P2?'1GV(hUPIE3&I-HTo>n(lEnœN׳Ⱥ84X5z_a6-lFW]`L sK臊\T|̢ndh9F㰪5սH=pXQ`}̐ߊom3!QtDRoի9/=[J:}`mmβc)&g“O8.#K#.&Fl.[@fv(䉿zXf)nU`1lɝ~458sT\i޹ R&KEд5ʄu[gJ Ȗ!.t]I5$)^i\G_t,"\$U Њc^A9)N'N+MC|DܦF$ ?/8)N1Cyy0DMl4> 3<5 GFZ1sM2caRo$ ~ `}2MCKl"/ j}99%1#҈jF hokUl'f,Bb\ZK>E057}G, Fo99N R }k.apF4(?. \P,'x̴~cD8 FAX3~,CUv10Od,^\NYU]ٔq/ݎ o ^yPYFe++{ӟPb^z I"l|pZRA|[`T~SY>agK2Z$B]6ɰOK^>ޏ FAW k*`}:;DzA:0w;j4os>/S{"zLt-B3pĈ=hz%{ \b$Q3x[Cߜʅ3PI [_oB)1gG 7fPg㴃:KXʞ8/ tPԻF5a6>} -/_>e%\N렰m!a%!چ?kl47(O9R M*ԖGMZ %2oؑR.ޣO睈IW>sEEC4eWjZ~aIx G_tsO?`Bi$Oe=V+I!"AQ9࣑`Q^P/f/lj,e.P T#&vJtq;$Nh:%'Wݥ%~J@iK4&^REsƟHLtJXqd!]KOtlP ŵCѽF20BS60T"ẅ۸l?y&0DZ;*JHe /3L 318+*'Hl}o27/B~f;x w܀XC~Oh\|[+N:.41頒dI\̉ xh.c~)<_GY'1A4 ~8D{6Tfc=YAni7Z^<ցYp>B;+^a77][\Z@[@HQaFYP:%.IT3aX=d1k GT_]`ޣYxGu`*êeJL +n5[83Lfү]hZ"l╱/YIg%IR{sEVRŷ,O_4:\f [р1W -&˙~#4nU'$Q4j!?kSy0ҵt]h(D'q-QXOdPUOWyK.pTNO .v&,{R}*FQ]@f L}Z5uL܌]n<)h%}ԏcP=50Mk! SFlB-@.y qC??bX7uGA|[B/MU*uTkTC^0oS (\Ħemr.sфɒ1DXݝ&t"1_ȿ2#KM@*Ճ`MQ)k| yU 齸3tbiH!ZWPGkZ w8z\f} 0@[:b>uX4u.}i;5bUvsoH&JZ@N܃'T0E: ֤b4-]}v$olD77o2ocMڌ@h.^^ْ&XXt2}"+y=xS@ԁ0 %6AkD2xhkiW%xHYnp֎/!keyY\~xm^](zHe 4MUNGID7cXXgt'/M[.Q~%N&S<ﶹbg؅ }W/yƣ梏<\4!#QL i_*?krFTՀcMf0p(8 jEǀj (}]VNzy2H*]o!?ucju;k)(FE$ _ qgnѱᮕ:l W8Z_U[7~Y#5"^~;wS 1l`-S)pDWSro S蜡 | *Rv88h'ͧsP4x3Ӝ PL~ bn]A}cT&Ԫ7>!܊|3M@2 YU"+r΀֝!pρ*M{1\3@}Dg) 2gL!`ݥOI; h^h4R*R_R~v;Hn ỤGZz=\Ah㒄0]G]hM80r}m%]7{A F 슄A-@Ɍ[ϒ$! ^zZ +wn`LE˟ TB(:9],]t_AJwͪ4kMpWA P qoܣT [$jkt cPї q; gh~P$RY1VwY:֮̾J6uj߳K ="<ʄwkh@,/o, 7=| ֶz7 U]Hbh܈rN~y7jʭDnR¹i'2 Z`'7VH1#D,1AoCNFUR9W'87թ4=fI٥sBʪm$e%ХxS64|๞2X1Kϓ*s#a`d=?*lͲ1 puJK!' fMGv)3E*2Poh?;J ]<: 30+79,v`#%p+*!#g*hԊ?oU4'դ5{gЉ,ݬ.L?-FJR%UsDT%n?tYBjY,1wː"鋎϶Dw`jO I4ː\d52bDcz: o!sC"U6@#|t(~>*FœS}*JAi,VS%-"3!ލ g=+8T[S ٺZZl<`lH)Z^kXX& m!=pWwU<([;(RF!SӞvD[N)Of՗G1RW͞$[˖ MF68eӗ*!5O+֫ۼ.Xj1"j|6+ldmh:㳥yV?u6ғj 2'ɔ;~oOoİ{-MA >=(4Z Ғ}jF?t@J-эb97(f8Y<O9^g4 /F̝zdž\Ќ2'F1$@g4!96Zy(! !B |T`ob2*@S@f-PïPʱeV^2m:\6{NBv֒{3E?@.Đoƣ/l$yŌܸ2gXк/]~OKU,G2KdQ⚉ARAn @ADtЪPw4qް޶'mS8 Zr|<a@'p7M>(zqS+sO]m<)kA,Q[eh.T ~@S #&c3k腃Giojrk: j^:64ꗱlw nNVtǦyc{Tм&ک7Q s_wg͵KT$9ڱR^?Vn|N9Dfy7Zz0ΌX|FOp/,N]++Ee_ʐ9r%+ eGoˁyECg#fd7u;uoWʼ\ ¿K S}+Ljr 4t>\HP?t VF,p*T⦢4t ?@!7zhU?޵;3V/C aH3}ŠooOt_M)F>ָ@f[{-Pw3UX>HFa~ I4ʹKoNҼO'(.cӋ?aoǛ!N`H !T7us?P ? og5h߻ȹV%`k7G+ 8w`7UV'lH<{Η+}]^Z?x-c W\Rͱe٧Yf`zE6^JU}]"-)XN{M)|A^fBo^DWiG& יY"W;S0]^?ռ hAj?׆+0N#]u71%0!v2:Jeir%xڣ(At[hNE a9%ft%Yݶ-5nOG\!}%(Dxpu0Pbo}Oc-=0[dy&WDzT!`{ɗ=Bё2:O(K9?x$u+S) sj:I_y.o`G9,!qrkf7<FL<>S#7R5G̃4kSObt9]o&#;lsp}x\N *a Vq_e'녱A)/ c&!b1^d3M@q7$Ր\ЗXHv_C^GN,~0o<6-`ϓxOyɱSHBk=)4~\g+\xb\7M@o !Gxc Q"U\G8b΃{~|?[cM!*, 0A-)S'H_ ;[jsYXϡ 1$ax!x]ӨwDr7`l~O= JjUi3#N͎0"!{x8kkT- >Ͷ-S=#G&TYdvvGx9[l=M3kxD"QuB8N.7ݦʿ2ͺv2c&ܷpv+?AZ,u UYY*-5t 6UKb NۘW&JQYz_ݗQOJst(4>c4y͓*jLI.2J]q ֦#| Jt5(ńs)jK*bs$ G꾳gD`$-*T: o:Q4UoՍKp>JV2HOJO&_+3\xWRbXC1-rŶF=7^ORkam 5,k/W$UJ_ ؍LG.X01^xkt|y)on,Bd͇(R|0ˈó%-z F_lOas=1J@z/+LRdcc^uXaL)u֯'21P=#%=raaX-k,' -xGYN#:g_;SxXcG(n!ol>LxaQOe #5? QI|Ō,dMMf!ԗ.8!ՠ~t9EsobWKrk p'j5%* }OZ `u~oDa 0c'PxDӹۥf[ BPM_^9_M=8YZPs? \<5Z8Kt$Bʍ2he4fmX*em;V?C70XjaOSe.J8:8yBw `0L7t%[,U ܂; 4  `w.s>Mc?L[+@<0[4(߹7) Ц K6F!&)A4ONxVqU9'SFɺ&b_ܣ*43!JQx6Qz o+rDS:s'k`j(|*=^/Q/1TJӥұ2hJt?>.}qNO}\ҮC}[nkS޾I]4ӏs3]wd'uMRv6X+O@ )F RYbl<"@[_]w)XT'#E>IM C%P+ʵ`>a6_g"ix]u]2h?:]1 ׏[|Pyɭzv% #>Dd75yfJψZdYߘM).E0\Uc3Ysx %2uLaaoqDM~P3fCUBp,ǏVva8,< Uj Z^QRuΫC d0@ͮ'Tm^ZYDV`FJ㓁=IMק;~ 盉% < oUuI> Rz)!vvBFSgXیG*=UY{1{Vd~1f#s(|j\̆=iAY',kO`˜!K@?QfQQ? Ks(=mdVX-|K |v$ѹt/11Y^Ȏ=vCY8RxZaH-XY_YI@󆑘v7NތYe,k;gDx]3Q9)~q6RT)AJp@v }_oϰcvѓˊ90ʓe#GfXZ9wt n"ʃoq  fWeJ>1rWAyF`aќii4|4'*O/5n\5Y1"ibh17KO׫xU2ho*xp"aZlY#* ]|3oSm5޾r_+3;Dfʭ Uq#xX Ğb]'\˴sώhf;QlX7 ۢ z>Sja!7 )H0Pw L\S2QRzqbn:ڰEY^ugjznTjTe&ʓXPd6ذ|S29y'd{=,,leQz='3w"ؙ8<4qu{cX",ehk_;'uXZ{$0E{HJZd.qĥaQ8bN;p[w/ZQ3]!~ oYdY݆9"^QMԠBߎ-fN3 7=&;Fxמo<ް#r:G{qm,ԂT%]9Xȓ z6rk{ jĘrSP*&BB/8 B~fl&.a y%p *d{OχSS\)}_(n+šMdu1]5ٔ2XXĴśt+\mG\LASBGu8!0 KhP~&R2Z;ji[(JKN-wɛs#m> 5si!ZX]ny9tQ''#M;6p>Լ*vmJ:i!P^6.A\I{.$S-٢RX_Π_ J`_2ƻXqX6Gc!fփы z+ XjVS"0m)i`F>.t3=<@[zdywWI \}磊;Z[E=BGuյJ*Pi; 7S Ng7͏1|:><N ŮV۠،Rc-7twrzqNf=Z8;a;oLTIC,E)µy%uǶ s`XG=|C[6g8M|kFnҾ\Т[Zp ve]s\Icm*㹥g@* >ĘaY^^ . gl%rEQ4]!iwḥz8y=SW,嚐GE eP'<>)|ŝ9" NR>G-ֽߓ-RԳu'0y ?i?E ?YZ mN?[e$ʞ , n݀sTc+8^GPݯ9Y3n yE1cIajؠڕrfܽcf.de" }8c'(]E@ڱ,u\,':pVrD߃}J}+[S"(&XC nx:|'8U-1fCz`wIܸ=3} }ԉsdjMs Hb8/;!ɣ? `Nh|!>|c1ܰyʇo;lbG3-Nbx=O@).*V,' /GhcrcS29 =}$ J*Ɔ꿏C4"TG2+Y2Fؼ32{k{ !>Uj d.,e]@O 7it/gW>R[ VLv{Lq |qIJ0BbKحu9oS<NZ9M?RH?[u!`F뵮3ғG-e]$RB)GIXj'VGڅqELgŽ(X# 9@aj3u0͂?وzΝJcMi\3· F4~O>anڣy<[Gvg'QLF]~ +IɴvhGB>x[w 8w /"xE0*SlVu6M2E1܉aa#T(;Wͣ^;<\J Id(,QsdB/'=첪R}:jLYglAkgGwF 4 +~ G^==Y!S8ӝa2Oo J\qFh5%)tz$kvl  z* Rrne&)k=7ё6!7JʻٹJD1q_]'}RٜbT~Ӟ B[> ؑwlԃkdNűUH?mIuYoӽRKɓ*nud#ۮHw'S)#˽ X)E͆ u@l7N.kAEtw X wԂ;HC#Gn47l{} 7TV)MQӮ`{nױ +Ar,M Y ,_it Jg c=;_uMZT9L^3F$OJ'l.35iNҏE2cZ4db-  $ҕpc.ŞIFo_~f^«V.O+x:yy"&O<(}9<٪ܴ>O8'  (x0v;71/exπ>Rn+`K Hu]7g 2[ ~o4E8LKK"ٕ+I"L B <&厏Η)zEoKvs5Qڠ"niaL:~>G M *$'Ko()l1-zW ͤD&l7$9\Ua_D*2fLJFeyYm'UY W@HSzgFd!x;zp8:o i!DLǭmDn/ |mp$g L6F;u:TK]8iXH>un\õ=搽;*3?Nx= Y|R5(3y2|˽~q1&cGSvMlg JŻwt[G rZL H͢+I?E N3}pOpXEd3[7 ǟIz_ jgYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4> 1ƈLZmD+gxl =՞+'f$ZlJUlC':֑^Zև[iϡR K/ Vu2x "f++!(d3^-(')I%}gZ%=q}J-ě;9P14q]a cs5;ᬕs) X ٬ [`(-ʝD G! PE-5xPM1Gvej[E˛rZh%}&:E\9#d{婏S#I" I:]DݝYws @`QJSPZՎor7djTk䫲LR%*BaZnc nSX-QXآ % {s$wn(& i9 0 PNz*Gm)ki\"2Ě -UQbHeʈv3 ̖8-53y܊cN&R'x:"AA]7~%:$gIy)*MރLqwڻn~B3]^ HcH_DS#Tϖdx.# 'ts*[3ɭIdл]uZ..HBX_12˼zC#E@ mJqx5ߎii=g?d )e?X/ߥLhH VO N8&TqC" W D:24ea|7ȑ(\TR @#^èKbif ًCw;nR;KxaoEN*+@6,/9su~$wg.G\ baէQ/)巧])Si2`ꢧ|5J)L(>;fNˣvkFFS4L-9@`j|i~ 1o@)cIRt-В1J@)9_>eO*},IjgtөڤFHCSu97fS#=aF{:s8:C'Y;rtb| t9XؚX;gAC'}~H,TNm-hLF5-f[Cd_@ ZwˤyНŜ[h't=#-|dp: Zmi,B5>HWQN"?-ï Y˷3E:BebRO< ;IgU`AX8cUCX4*{b4@& `TAh`O,v%h/Ȣ j$Z7e)jOFb(趋}1H-e*8'& Taw(c)Frⷦv""Ų\J f8S:oy)CLMk'*,HKwQk%~烚"Q;J`..rVo908Þ\੿<}ƕ$PHx+BMhSgYZ7zXZִF! jZ]ŗXi%B%'Jcss>^uwBث" oJFd+ ̈Dsgu'rktdb>pp(ijEAI lz5x9\"K( DmTQsi %*">tWgޮٱg6*!e{fZF'K>A_%9GXsZ敬O7wMlSǓ3% .4}":rfR@f\\FI]&|@"g|B1%b\*" {`'#t~޹Los+S,?~5*%Pc{_܉CqI2==$`v' ->G+k")K$<2okm|ry$ql7VObw~{SG.0i?C}CJ>7 M_6 LblA4jIML7D@ӌц `ѓl+CvM]_s3;ŞɹMMvޙV1L>X*G<[ɠea~EG{_$kZ6Cṃκw=9s֨8Sy^_>[N;O?|B ۯ"7M\' ]P>s F&􅸺#q)Ros=gX>lwεZA(c,%ȉ. ~R؂i#=olxz?ww7`J=kQ 4/hɑ<8Ԍ/bwK:9̤HSC.w}dQ9m?38!~+xh/_4S)yH;[7 kH( Pi DeM% P _GpĪA;\Mt8QC/LPk%cv\E\^DeRW\|jZ qY1:8YJUݘIIh3SGܯo1(Ÿ%wߖKKTxo9D!gc_ )B\PA`b*4<\F o,n;?k?tGMtw<]p56m@+%Q?F!ՙ`Jnj:TZ$/3bDӢ,atvM\jy[fe;3.,xFsL zbwt;YPm[죋1P)[({ahs>?DL :_gQK2Ur`1[;7,%DŽl+? 7#XVx#pjgibHu'NÏ6,ZbsI^tR#WF"y0q6[k=ug7'H.L R<7Aie\\ovx1]P "UXP#aZIRvWOk4XN:-w'`*svjd73Ƌ hĮ41i_GA;v3ቺa,>ıS 3 ?O%Q^=T:n(|=#* !tz/UG;5ÞiGMt;{N-l~M049̂ Jp_-ǫu͘c z ѫ2{OV1^$1͞D벛QnVͶzsQLbIchroRA܏4->é+V> 扰#"p "'?.G!ksUFjC IX]&ψ0wRhj)KLe8G}DwqvGPU0!jÊfT-YM [v2ASo|m;}.33CUh_;|pێ)ƫ֢z`{&pah# ukT_mYXĘ@92MEbmER&3f({R %`TDH<޽yZnKшpAm$xйR4XT>*dp_j? ?/w)2P뵌2`*DAOcbTg͛vt@c?V \H9/Kߝg Wo) InmLEXRp0l$a˙]~oAhiUVf&Py& LܚI $D2':,~Q_ӦUu2ZԹܓI2=b$kraU(J>OuW>ƶľ S5k(V6*C<2?GLf 4\N- IFڊ= 9cԓ+x@zΦOߖOOR ^t!T.{e\굵^ YkFiLp6] soVVM<OîM&M,jJF2R} Rgb &&ܩx2*8Xb1+5v~" +lX]x+B噄%U$t8醊_vu3^:y] +bB:mPj>7½9=1 :95fdq_s.˩8J^?w,-kt h-pO[A3󶦺gKpAAٔtV75@^>HWrWod25Njۣp˶I AH'+:LWٱ42}X [FH7k c3وOrDà Oѽzwșf Rul+ZWavUU]@,i?ct Bnm%~zL*-$};Ũd4s}LzYX{:k΢pcTZ=Z{p㉡J{FL^㼉ɦ5 Z[+ׁܘNs&w:"ui|M߯L[ '{,A̺O~y)/e,6+C6lA&(yL1Ag⋂lD~jG @6uRz39J@nXѸ4vŽ4D5nEl&Frr$;;^@4"uCU'3aFRXV ;Bz>y 7#`c#b3AJ]Dq[_|T+ aChn6B:B~P=oL8|hYB.DBW1 r7nDXS-߉Y~v[pghڡ.xaẋ{Y|z4w}D_`u\c#B׆76J*nZ辿$gcs\ݒgzXFGK1 .U\bAG3W!*5yn, W}^j*c tUKIK?IFf`/Vf{Uy`F˽8ybfU=Lis vi4n؂'~Nvf?u'6e4?y%#xL<=/&NDkFu`],I+I> 'ʀ=v6׼S1ˑ .>=%rlAʹ͋luFI2i{ M`G O Jȣα3G9FjFEt$ +]azKW}5'Bp}|6fwT:J7snouX`nhpXw8_՟`_&H1ܽ-^h; 'nnӒ4H'X[2zA#Z !f/st06W(9dA9"sw{43efNؼU8DouqtM(6%9ߙc`L9L1'!Qy$n(EmPGh 􍂼k5=҄ЗBO%;xxG%H DʋoT:@.}Vt!+Mb?Sp[6SXA(<8MUwq=Tؘ"Po/9Mɓ[UJf`!E /0 w$l*a4$;Φ`Z=DDul!mB₪ҏZj!9='cˑh Q-?ÿ́S"pRUB$zԏ[,A$*X^R>`bMSby2-AGA#@`8 }-в繘Q՛| ACS&$9y"z&rv A+爯~u,-_/BB,p/6ٺO|DZ DD.؃6HQD{ V靠EttLE Ormc=i$߯ӲQ^c(IF=CBbzn6aw|_>oeuu4gG؄0»(VObؕLߒk@5T6wt|vɣr\PT1ۤJ=N$Ou ۥiޭ^)M,rlw`sx֜g43Vcn- wl+a*MyhaXced_?ǍI̚s`7TI84m<%|Z[˖A<>I5#0pJ3d}q7dj vZ N ^]5Tצ$Z<ۋdt@Ī("ٓ5;L>}߬{227Q-r*QZRrdK(I8ҖO`ИL!zFccwh{+$Hz!M D1qx# oTCv53 T,0|~%d 6VAN{>[vN<̉J gZA3pvv,pJtT0ԛ Q3:Z F{fل{~|=#;F RZUb9e3Nʗ2i}Cp N29'$By힎vW1H%Vܴ+O +Q μ|\9} JU D|O=/3i<c g,OHE)/jsB9 ߌߡ ė 4Pa:q]LѴ |F®WXE\aԙ &{v2ysgG];~M,To%oK~k[7ŮwQ;tVڧ ښ_td ģ\E /4MSy-Qc}g/^3$R+zyl7:DE`S9RI) im Es2$ =_ 2@!d*@U6瑗8nNV@v=+'kK쉻Vb dȈv[T @}3^&f}{"ow6xTgΜJ69ѧBl f ggOw {g-9;^pN uw鯫D |x [ރG-%e^/czʦr~M?vI`ruV6# e.j3f_u~U򘧠-w}Z N#n-kKl`*@"Qw<zs79P|ra>ZX{2#& V=8ļQSڜ*"2Pn)yIƞlbm\Ω0`CJj%ל?Ffvh֫$XvwAy”zlzfB{BN'̧nYl ZDF]Bm[e/b#xpRVt-Wj)ɚZ5@ ,*73S]VdPaJ(iR5j,Ϝ9pM{MxL(ȶ1tA s|޵W.PiQg:ޅt\*TlBmfh/ :+kheC4 7[׹.w-ljn RG*_`_! | 2dAS`LI#UH'u ͭRvMeWT^co)a:1"K\Rf(RfCTd-MP(D#+uX+,8ax/ϓƜlՈw.ټ >1rv=7,UD$w`O#H^]'T7a.1 aKF1jVvdLsV|$YnKcW` W;l)pNZs,oڑV)od_(e:n3B%>A^']-'?Cbq6U9f-;Ǎ 6fÑ;4&rWY^鐓 Lk戗_,۔> &].~g`CR(94pqLTl]C2^rSYGk|#Ya3cd\3&}ZL==>nJ I 7muԈ)jZPjù+Z'NޞjD|7C1xlg063U:xpZ<#K/Xd.O[UYubҾP]v)BVfϩA( ?@OTv:k| "<,4u-@GBY'*"8U^wh8[WyКQ8Ӑ+b $[Egva-P8mPͭOGdHܪ#kCƒCk'G3cWjն2^ldA dᜫ*a$e?4;y8oE˿V_5[ѼқAo|bBYTM`" y1՟Mev)NuѷY [~]Ў ]aALE.9?iWve"FvZxvUQUbvd] g7tY6UW1K#G (fLwEXqghtbzRrgp,>ZdҀΚLAi"¿h"ء*UQRusث8 J^dbY 9ֳ54떲n 0wקDܡYoS"mnb˶UH3R̆ 4gc$Ē@2HkG:? ¹ca p rǢЍbvE#yH̖ۦ@5Q*IT7: 6`H3Hq!@ۚIg); m(knqan^3{;b B\s BaY+I64M@ UֺH@Q_ؙI"pZޚS|I; #~Kv{#MO(ptΎ҂o67(fkk>F+)kN;f#yps=4y= [t 5E!LeKHCN2C^lx#JX9::Pui{f)jiXl[ jx|K-L.6jXrj14A1.gv $L}j|Y>/ǟmWC-z>B{ZȊ >p+# M :}Xf'nAQA*G!(ji "E6UR/mg`xd;EKOоKשV)fU\eo̿ܮ>0rXbb*%*褍밧}yα0yC`oމޡ(o Ym,e*0Lp?Vov \!J2T3'T6_7d7'7>RlzC91K>;OR~u"O pd3<@ݫˈ@hnTEc7/+Z]rWb,$Ӻsb~ r;ikCx6Z=b1Mxigm-|q0q=kb5DΏ!GEI4$ضtx; I!ۗm+2 TR9{÷f+xJ~Sqz5_s ǂV5^ w;P lz1>_U&wiϡtpYG>m}Ŋ\v^ Bܰ-Zp*N\d`T7 ~s Jsqog(XvݦlfxƲ/rܚd*x`qaY%/o :%=%*Wj{(VR(ڈ"-%fkb*a +݁6jw]ևWF+%ޗmB9bҡonT5B4-B e)<_Tr "WȨVlV/W+wP;Z,|cߛ?xE,Яn};`\)Nz=D$=nŴ&,A~ [r''l|?yy=o|_\@o6V:av9/5@[WIZ0͉}NaP Wߘeߏy=#睰]zGvmMYLsg`i{CƗG-״Њ Rd/*J-8A M3,I]!/ȾP=_{ZZ&Bz?(iJ@OE],}Z9)_m6ղj&>!x)mNn=utT5 ƔNqWM9G Roam9B$/ ߴt  mLAf ݿ#%g3H$ _wPXd7jk3ӛlaXjZL8؎ئy@9 V`|EĽA+*]E G0 (f; O|fYX9:@x! QFcd;gi<xVM/EoPCSU\`ߔ,''D?p{>%D\f=ڤE:䡀C<ߐu Gɣn6yL#͡N\9ɇ+x0GEVeթNʴ௭!K9Dlkq0_;}0Ϛ\+@-:cTϮ”/qw-B+ U1kӉbJseXV5 _۠efeU$>bcՙ^mr1y;Z!rY+!ydjf e,S_8ٗA6S?v.M0|e-!k(,h^R8j^Q*Om.ݡ>:`/t6פ\vK:Iʬq˼9MvvMԭnY{3YH A`%dgEqbbY05j; ˶ioԹ3 yNu3kjS LqhgpkBۿpoXj3wLla#4Mx)1yo`|QWvwPryd9!eo ى^L;w DW0hc+M,Oor%%=-8 "ݣ:̠39/:S aA{ӼyyP D<uSSZrOKy=?oR+kγ]T G1;K _7nU-Nz#^(]15ȬqʩE87*'JB `nAvdsx58aRYb]nЭ ꖾy hx6FK enXT̲xz)NΦ5[y:o(@#}NRHgG+ F=hy%*be*x^?ŸՔz3# }Rz]h9vK&y v=Y3k]gZɏDGKwgSZ ¹h ZoՂ=s9$ɸ/mOqI1>cK6!b[ *? MmZ+{_Bs7Rj}^IHomy$'Z줏R}m (?2ppv/ey +@1L7Z'b4EWvbQߤiir1p'!'FL,\>U|9adJ3ձsZ Luɼ}D @?Aw~Q7g˸Zu]bd"\'4GHza3Nb<#=ūz֘9WRwye@_2Wn^Dzs]֟pE7GةsNeÿ2kX.)Nj;d%/h'Tya(E+ٔ^pƧ5I;na 6e3 ԝ]7-}G_1},}n2iuG2QKѨ"NI{b6iŗ;5**;<ؒ3cy@CIcS\7Csf}I'EȞr^EN^*'RjĴڟ"YW=ݛO{̛W[GX|]L;8(/M_H'6.;1u <V Z,eFO:2b&FM@\=3%Ocː&n$"?Z% + V|R{rmBPPH醣tpXC߃`3^IDX9d(4_'Hv,p8LR4;P{~dbiqS+fmR p5]1o@q=ˍXB&މs #(X"g Z0g7FB`yF(msNI&!Xa@ WCoၶ bwu>eٿeP" Ƞ43˗*ki| r-I 'L7A$?rYq4#"3xY*Ӧ ~ A8U"s=b];$ymm N's^vEZMLfL2Z;yEg˨4'~~^A)$7TˁQ?VII9V-/p0~&L[8wBOheH| V+Lea]cX.ޥ l}_6Nh=-BE]z74x%1ޮwQy)cznٻEH>c?,Lgܖ ^dv>M"= p0y0Gf:=gk\ ؎0v#n\O{/ 溭y# }>oyliz]#Z&UL(tGLA~ P-θ]1!k b';5l|4$$t u~t- D}ƟÊ/l`yIfKClss6"[Ϲ&x['n}&AD5{5aǮГI}xbI#sutX}q.#YRZy*OXA6pE H*A"i &dō.5zF䡛4,,/{[@oƔ]bqX%qkO['at{t{4S8 1-Lgin+ф>"-5(%YQ~MΉv]!ӱѨZrk@iFkg0[ke+3)XkJ^ C ڜN7U 693I+5}\8¸3[NJ:V&ʹq@e'vRf2~ <| їQ+W{D7ڶhEQDB+T[@FDz.^*O|BI_x1B˵, .qڞ-䒖r8\^3'B]T@`Ɵ0slU~?j&ΙFOZe :ewZ}+HH= mmtLc$iYI9JDC* \6,zuYDyIakQ͋!RY?9l=2Dqp~7L"x|‡;:CdMS5eD KA_k7Z>8OWkM6,G`PΑ47Fd4Я rR:5Lҽ ĞVD@_k|"CJ+B-u:>/*#ʪ*Gj!Qe͊ m y/ )労C=PX&Js 9&_'DK7'ݱ^f>/gcؘwBMxl-~1N3:4Ԝ衸f[ڝ6)yah")C $ ~SLq;1`Ebl|޳Ԇ䋙J 쩶18/{̺cK?MH_PRneN}.*pz ?>+ #qֆɗMϘՏ@}>(d!EnҦB;'SN`H8/5p  Ԥ*9RtkN}uidb 2qto0?2ODXV )߽ma$8J =tu^tbM>A`GS{6+k3qls 4\GE堙U{ғRI͙` "j_Kic$ tU-c1i\e7+)k&bWy*azNcRXձrOH >JZمU31έɷg/^qV:=9hR,)I1}.ug%ͷK VҚ8 sG3{z8Rިȹcxg)oI: |U?+ܡ4v`z`%·í/ kXYSA=/ 2ņMܱt6kZG9|y,DQm\zx!k~fn-Eg]ZaΓ+%kTDXxq]6'DgQGqҰ]q:xɭKbpf-})!!rcJ ֌ư9BZ>_OrwY;+uq >I!|IUw~-tuüSA%?֓VՊ)P33FD1?Y@:9tFʾO:s: xy3 TAഠ<_71(6}]bf5\eUɪ-9!DA %qukVt%劻t,ClYHY#/-Bd).몺*M Wז؋Q!f؟\KI< QaD*ː$Jchݥ|"~P3ʛ/w1".P B)OxK.UlGR;_XY؊"2^}H^dnd\0ZӪ1b )nV. @RebyN}\2a̢My-M} Ψ_H^"-U.gp x3j&1StR18`.+C'L$L r?RiJ-JAsSk ~D|D#ʮAN*WQkOKodkwL裏ɔL^S"u臑9hp0}KCi@fz:0*`yIYM◊sVw(8~GsOR]nס Mґ'Wǭ-< s1Ĵ#[{FV C*#O[FdH!P\!|7$ mcUѴS@ {>?@jǷj}Dʥ!YB2ºĤb#w7Zl< O,OL:L~قt whc{r#V)\Uո6QoŃ#t!Pqv M&EUU~.ޚ:!T߀ XZoތi> ) KFCC|Xa}!.&&%Cl|xumN+JT-5F ۦSɆMMY8$O1܌JtwJTcUg`UazbR|= B)-³OMk>'f  |ۑ%64%<=0lIz܎4ӈEM9}wf~;Tt)TXENVއ`sBg*'jmVIхr7{:)Hr*CX"J~cC/o;XOqR,8{Hr08 >>'i81p֠A1{\L[%Y[UUziyo%v>J.$l%:w]O{~BU1=jE@\fwXԊȍ旧mFvcuF8?+560umIPo)\ ]kxp̌je E/SJw=Z&JrlIמ 1wޑt&o-n8!RsK w6ߢZW ^{JÃ,?]BU]֪:6I*vNq0N wg V_YY uU1[Dx $PGzp7pA=2rD,}d ws!}0B1/ -_ƒ'zĘG?p/+"|a[:4 r)d 00StDg1m2\Mx Q['G-$'>lѶI51tM&%KpQJh0M[S0pS$?BQS6yz 27yR( &37Cpr?3"PH@q~$9bv߭KzzO@qaߙ,elAMU2vn3NrSNFs>4(UsKʶL̎Iϰ}xF7xղQޓCؓIRNV _zwLqֿgcd2%u02(/;8: U/ɛm"$tiMq;XD K!x[|}Bm;-V>_rA.߷׋>w8FۆyW9O[n{~r(c |Įcm0Ş:XiέcVgp|t~Yȴ׽sndbU*F+E\F\vO{܂qEec@)o-`T*Nߧ'p 'D80"{-s$ڻbn(\_[%!n~O*fhPf*#H%9R@x6ozC:f!fAb~wT֌eXx >IvqJiఠ{>$ SQ5.mȈg JM-m:Ъ/ZЖj¥xwʍ,Ԅu9Uu1]rK뢿~+GQ\e~}1z0"Xq Q0`bcY:) W7P@h_!0[6;н#7fγ\E;-JgYZa8f9940d4d85e31ebb25f6b5b12d4f5129f04f1ad6c847931405fa336fce077665f38125e2e96ac1 91c0565cebcc5e75b6ce0f995c80e54f320cc2218608dfdb93c4f7fb94e1fe51b29a006cc2641296