SQLite format 3@ . BBh77otableisabelle_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-Analysis:threads=6elapsed=332.055cpu=1464.096gc=119.268factor=4.417zXZִF! nH]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVhE|wK]az"kwg0>H|0`) zF3PK[Pո : [&s?,k̪t`QӘ"'[$87P?v<Qv *̮M=f%){|=}dDSs#(}0]Ȳq:=pƍZ a!Rt-R5 1nxW~JYQ}ܓwC Xnf x1@A_[򁧳߈ng| le[OKs?Ԧrz{F06NԌeWߧ)GQ"+_AF. Fq3~=Ou(B-63/y/AފQ#Sv/E;QrrRZ<'~aH-z.&͊v֒KMW*]dψSdo`NJq |OYz3sCw Nba؅-xțN !A ]R:S|,B385b~~%  % HOL-Analysisg">Kky 4w먎B \s!bxCLB*}SpѰ sd=ؙOHb5 I{h p^ c\ӏE}w(H7uQ{!nrdk8`s*9VF5TA2-#1>ǝ۩"Y%կК;]RSAFضRF]r1ruF`'lVYhd ?Iʮc7 Z?; Ԕ,r X9ch.^; t;ze4W YFcYZ\PQ#(yM5W8}pnwE,J &=Ix qS0ZT;1qٞd΍GBO ZHWtܛh /V k{uь =I+3)⎎?2- ]w!t6_} 42[h'<+  t'-pt}%uA5tSR 3A͒?Ӫ[5 ֗Q/Sp+F"Ukڂ& "ʺKozDbD|Nfriy)μ6VP֒9l|FH~:)i ;f4H<| ~ q8Hc6>=PgYFv) kz*K1&O@5o"’Nә;TGWleJXI ,szko(X]zRQ0t~Y՜x2Oe6#DGv!nQ ( 2I0{sEOŲ0P Pevg?- @ JWm O!`zhB_XP uAcǟ"kNxs╬/j|+V!ϕ fb ibE7º_dSirmW|ns 8=X: sG$WXǖx`9cJ3pKejǜNA,ǡ[5Jdže~jk7FH"![`ljZKbk7SmXzii iYӳG׼dc:}<b{5kɒQ¸- h]ͭnS$u쮱(i20ͲcTN 9i7|H }?|ӴM&jO[{w"9CK>9?5+b9\m6"]d"_Ov_(=G@uņ7 '=?Abۜ1uoBL<6TQ\ -rݘIIa4S.L&BѺZ)jP$*kFUZlFiSY?ĽȯNv}Udv㚉y!$.܈Eg `y/^x^? .(<836T!TڦHQumL,ߝ=jը,ngFEzJyb$k-}H!Nh/c4΍ש41NQ뎱 kEJ=iDj [+<},SfZE)4᠒Xpe;ipaA/a*RNh?R~6!-ɛ|3b0&.;ʞxO H1d?XHZ*I_|'<+EXY“[W8Zz:QQsקז$'Ba$4jyxe1tNJp>ޚSF |4d$!I" ?JD-c3vRRɦȠM;T3/\_GUS죱7@N4R<}Wn&>mՏ x\s^ V jVZ-)1O叻g┮="].GK 1EVm1v>&ӊ +@ZXp # tH])MKF w͕P\ULZuiUwRSY57]aX -@=Tȇ:1Wjl'{bUUG3Zx+I5s~C{="̒q`DWWPC ³j*-0(\3cp\!+/#Yoј|gwb Py$bMw܁7c||DD/n*%"'%äB֋材TOx^xD𓰇AF73hƼL|ʍ7Oz/7hj~$@uB_ӫH @ڏu괸,^+25ٳdl(T=Mbi1nRq2xĈpNovi&ÄYaqVCmH7ΨSמ= U5AoCf(()c>o6q/aEۧGU{GS" [ |&٣<<6 ,B̭*NH>q>.ZaP84l`R:LE*q1hI܃mbsO3u` ;HywG,=baԼ g >$mɩɇ[kq_;)Wd09\\jyʑ1id^:2 XUj*jE[nZ=U>{^=Cn{DeP]C*bӮ|Z'J9c/?8)kYc[@O3QIW)&ebC 0HiU% 8 8eTjN)6ۚ*rkt-,7}ԉ+ZbU&LMi{(@;|-%(@uuhLq|v}lŨmšǹߦZ+-EϭmJrqULIscC 8"|z N #v䓎(ݠuNb)XKZw$@4v ;`6+:{4YYgws2jw4JTKS{!+q@iĶ9LQ۱ p ?*gs(?TaOWR@}sn:PhR :@B a?~FU B3_.f^46d6ϑ&&!|v3x  O7nvŗ12jM t< 7:&A`셺_1'JhA ؚ<tF{?#t+{얘mky?"psh=̊v ;eh|<"DǸGS$;]H{1 zFǷ?eh y.HKYŔJ_NQtOnԮuc#)< QDP_<+EN',= Lwf X>cxʳ5WXqJXZ 9׶&kykΊ )ußY.4":}\q\rTbJ*FRWF"֋Ashײ|)PX~x@aM'TZ UJn-g<VvQ09@3B$^i6;>rR$FB2}L^ \sf&u%&0`iŵCD}NV!}/ V̈́s\znO=: cN4 }yma|oH c8|^k=cF!w/ڇy7uM^\ 0&{ 5Ԕ').Gގ!:2?K)T/8۽.;m[#aćlLt.G-V=pRGɳn\hqƠr40wٴqPo;+Sʋ-,lDZ RemW-:]67j̰Х̅x,|F^MrXM`T%/eZ Ŗ_nShY(Q$ I?Րe_T_{%w#gCÃjc<:h\c5Nl)c܉`r,a?۲sʹ nڲYl .  ,*NwX AqӯlÈdDè ¨$9%O3r{☙K܊'wz}Zcʅ34a|.Yfq?#)7N W.#)qޔߋq^wIU g/K֒|pyl޶v!w EѲq)Lbl# ?lҗy8$)/szHi,KZ"xhf $=aG=狦bP/FKJ]S !?<]gd;©G_JRn4Z?öb w5;M˗9́[гW]P{ :?LXT;Fݷ/\ ԥry~ ؙW;d?>#:AuKzvjkPt*TE@{!If |g5_ ˖eAh4fhh]xmɕg {ߖ0 3n@+;h-Loy wip<hg5x2h-'J:p&A&a9٠L$v;f׼Ւ1 \htJ/ýYMlx1`{2xP;|U(8p6EuT|mM Q(>?>&3<08S \eg[N@ $'ym:{@F;MR2#rA<+iI@17 U񵨯D2HWl+"F UoPy m:vUD)z u?oa"dPzIėogF?ʜ:U'DeUQ,D hXvhCs '6-tb񇹌`e'es68N淃;x  w9q5<7oB ') 4n'5{4~V`rP<n=qQe(xmTߍ47VeΝy)M~>GޘF0"19=L`8a< ֊Y1[|&D)Ԡy^sϿ`$y Pb8ވsۚ !j<\ QnT渮Q<˾İഋ3H a&? Ditpc&^96ڨD8+ۙ=<ԇ{IKpnCj t p7vlnS5`H = OC-'*?IlGF욶9=Hol=7XP>=~F؞e`jG> /bmxHJXĽzjHHb cC@:H) R.Hr3Ɔ*>G{W4{)wh9K{Ɖ.ah]obZw6U2_F~޹G`9}2!U2K][>/ʋ02ۀϒ2%X:kMυ_LK >Qf2?TMr1PI`zu0#[ ljaa(5JH\Ĭځ)'aQz |s)Gr=X%T` b ~pB<l+rT(=Xg%rX6%ʳ-ڋs$⣗Td."-gXs6ۻSJP:;S9rBtUFCB,*w[[Y[}KF2\#%>ӪI:晻h;54Jp5bԎ{eP$89N 5rﵷx _CSB;,/PYr]ݑ]ŷo!$b(uS)mw(ZL1JנyG?|US uѣۊc8xm97جPx%5˰+;*ė&*\6ZuXa_*|;Α 9Vkkf0Gj'Z9Bz6eH{?-_gEW s&,:[m/({*}bB( ;5|A4g0*v6u-]\'w)$-p}2 ߸JSyl3}k^ ޴^S8C cal[z.$s'17Ƣsŭb(C2 0e5YF7CɽֺP]8C'U&Bil~9Wz>=ag qe{=^m4ؙ[5Vgdz ]?K1.Zh[wX":HΟgҠv]|x|v+U%w0̰%aQj8qAچcvvOv %{,8x /S|4a 󮱰7}<S,2"qr@y'oBXI+1ĊѠxd[QmK/~X!K耤t\6PI-)Vc\zƄLV7<-&cܽ:HU\2&=;Er=xwѸۆJ51yfx9wpVPQ,jw{쏗||X6\sk@ ^v/M2+Q X )8㘍&ZIE X>;R#a}#T4#=֠N1$YESE6S` ؼ}bʑKk(E~]K\}c et&Z 4,jmV])oKWOATCE#gFETw''48n` (ejttn][$L2vM hN s7ϗl@B^V+nPi)vS2ŃG`ZM1ږp"+$ls (t51 g)p#5x*H:$AU:eXY* .m&bG4RniORҗ*K_l$I+d$nX`=4.k蛢=v¹Ga4,>ND1$_g|+#T 9w>_~$-_GP(gHLP\q0Pk~ tFjF FTKGB8չev\f+N~4LhaKKSOƳkAN|;彧cz':-6cU?G6њYh,y ,Kl 0o>0.6MB哑YG_pKq%*ÇO4iᤶ+_Ax0׵b@^1oOᯢN9jE ?z'Sy%V:} fƶ3֑jT'$fּw.yye\ƌj:Ik#nHr;aN-Mo`>A8[oCBU],& :]9p![Et_"ʮ J,gVBuJF;^ Ȋrxwƺ問}ԻEvr]r!NOr؟!ꫳ쫺u_a /鼵ӧpYQXlj<3:Da&>\8n ?[x&߮\&SF$,oEկ,Ek:ܥS 7MLi.[e A s0_Un9ո{[]l'^Ysi(j80 3E8RG7Iw}+))ŭ2Z-%4){X'|jҮT 9L7qYr6HhEIr`%k..&NhkRҾe|Yஒqx,"Ƀ\(fٳd:d7$g#}6j Y[ShpmXlewGI N'bTW&Yrj!h2>%J̰#xOĴƝ6YQlIW:-9 ~gQ*@B%'u^ RѵN;xf9L:MȠmܭd]2W36R1=+uKD!yOI8 젦/ؙ}!q%NvfdO|_":'ih/#5[ڻq;TȨx4^YP!Oɽp#H{ @ԭkl:?nDU%q{2ZlȘxӂ 9+?>\LtSp]3m5'K ".pXF-R@0HwK6a');)CR.]0]\x%"RS*v^Ƚ%1]VS1Ė .AfV7(,S3K4K)qN)U:B}@,tzn66mfMq/ƽm# A_A2 לВԘQ)/0y&f ^]-b˞!qad%´k^9Jg\rPE-~Ձ1rz9i_s;gjҘqbR*PS8jZ>.wao^?u6yP_6iy3 #DO 5IouAԣ xQ܍9E-dQHJ h7yqu3x~!Vb]9} |wǓY&O#5U5UE5xIR,8%-_IF,[Rp{vp ζn?8'NSlb熇 x-Z )]xnD?XIf>WʾY.R\G8N~2S\0.ɛ$IB1ٻ*2s>6oKS\cpP5@[; UU"H#o]7ZUbJ]`c0kGҟ"17\]P3 5-PghV r5d(q`a;3}w֦WC _0U#Ⱦ Z7dâV9|Y!dh=?Dc P'jtV?۝v`PEĸ/ `L6b*OB4- ߀ٞ\02W?puuKٿLU[: u2մHzrl@uK0mse+!wf/R뎇 H|'G|$9rw'2'QeDŽǃH( a9=ì(2S~>ma{I2?SDIݳ'--U=Q mG& ?H(Qiպ ㏬' g#p `6}z1hr34Ѿ0I9MXH! 8N3$C᥌b / z9YlO6nL#OG$z̯%Y'v^/WB[.Bgc>XFm#s"b O2eaAo#f>y\ O$C-$+Pe_*ϝ-j4}tIx.yI$dZBx$O)轢|Ά%>z@xnH&po!xeKWg (he;) #aLfYs) q /GX:KhڽBM&7Ӏ~ƕD|D SĔavVgx{&|`byϧyL^I% ]8jRi-5"=+&S%` yIVj:ipWTȌ[- p~ߦgIkT/]tۉ  9|ҷY0oܨqMn 7j1NgS ۸BHtc/ru*zW|?R+߹~8nF%_= pA:E!õmfE-0 YX%NƒH30^g>BWTSiRA)2W6Fޓ7/m36 w@w(Pp n= dco}uB'OmO.,qh.F:{/?+`x2KOD/J,Q^/o9G쯝;j94\/]PP7 lz;%gtکh~X7"7xejFtL  \[`Sl07_nnI%&yz7hC2;\ M}z†R}v Bg92kp^ƦP8I=%#WX%L[8䭹 .DWG)…;tk#W;Xh*a㬘@ZųQ/TCi3)>J{#s .ynbW>XA)6Y?-X(KWfʈ/h]h@WćK>'}0 (1vT2J*y `]G+GQ$PjhT!iNycݮy [` 'ua85$[RћaMy Q ɜrDC?ss#Iމ7)LN=h`/FVzۨmÌ{.>[:Z5\`Yhxd!s#VNHPڅ%aϖ?3]%Ǹr$ݒ?/YA ȼ?1Il(wrVv*A,3׹e)2ԇ'S=k)2l_xbaS ~ͻ ¬2_ , *c /.]yD"k›-ˍy i|1>M3>z߆X%Qm쯷yoF5v;D. {S_3q |^;R,Fi9fGw{yAv#)\A$+i('R86- r=š= A4`ݍ,=R(֥yp1PwB(EI3:?6bQM\"m/!Ld`rR:KLr4HUvx{^Jz_Ǎ$פ{0+egmK\gDu49\.M^[Z !Ւ;< WsW)(duWpluC%N(Ifzk_eS-^ A^Jie?Wǃ || L珙@  T +)&RROYt E]4euGusŧA5p  |0 v1H=]CѰaK(*dnkTY=upn]S •2+FwƝUvsZ\78.G?:53ji\ց\CtrfG oe|iJdYeU{Fewǵ 4t9dҺ<8ySix^'C 2ci;?leWqvܸA E *fP]2J 2>g٦9wN(}/# լ2ZK2>L V ^C Lhɫ-zg RE.l?ᥴar_ZC#bE:};gu#+^ {Z2_ٚ(}LA\̛!4݉`@m8'֏H?~!ٮ{SA&8[|9.*yT53( 7pu_:iEhbp$saL9%?)?zk4P?]%˹RIՍ Z5!;s!h$+Z?:$jA]|N4QE &tnT wtL7\= Ȭz{\xXj'≃}۰@}?2."Ohl_P?|3FkmFPJ2%@yYg>s  ߏIyZTJ],xGܘĤl'zſ/Jã뇾\;P,Uv[l|ɡLX,|6Fݑ/gn3!Iy @B?v̥f\İ{ϊS U沀SW҅%0.E^G6y`#pEYJ!6kkfl,{ofVa82MJtm. n` ϝT[پqlwrOIsm&h@D7 ֳf?`x&Hgbk GFycaLADP7i\J q6(6W!/ÕrT94 %M!"\wG!gVvڇ'|ez XLR_ oz j;!ܓa:"xeK'nì޳W|_nޢr$~]LʅVqAR=oeU,qV`o$ rUd?}^8M$4)ټTm^ mÖc\S XU\* U[Qks:ګq}M{zڋ?PU=Z3|Eϋ4rZQ*>--.-N ד䦿V ׺ ` ,D?]f+@Ȳ=s` lN.E-.BP3B~6qO ; h^8,.ɻR# y&6(ېKr4!%ζ{rB,'S[uDKԛ&f@D:Еx K bJmiY9XMDj^j}@,2i![1HGDT{$ w,nߴ*'t% x \o'F;nǐ2 ^ `.t0zubQ?OIF&ÅW^э&925[ l/s_=GڦG{J%}wj; -> F#ω9[$7\K0Ns|Tdѷdm6gi`M"U Dy81N\sTzG GcPni~I2 LzG/&̡>g\8q}Jq1'X%`K0Qr}CNH^ő:njvR}'<$ |Kܧk:*L?F+ogX_9ÖNan2qEDx-|j/þC2jﰇYz\UF F6qr[3&?ؔnLFii2|y{&JҢ{}+ FҴGbZ~=WA+#AEqĭZ&1Yo }D&Yf =a/elu!oݐ}fԉ]"zB|~CLVމWzu\vJ؆0wCR(1> 4U ђj6weEiݓYy'*Q` U1cncV]`n^-UI@ zgYZ7zXZִF! a.]ŗXi%9#s'DW6~Y-~7} [lg5Ƈ/<ƕDDMkOJ?3s*őF 3]>X5/K λz] #`xWqE }!V8Hdt[{FB)E}b"ϒ!G׭*D_Q tz^Z@@oǑ5I;#nn+6rF-;t/97s ؖxiO>cc(o67kTZٓdlU#Bޔ)WU;z&o^_!K)F A^պO(aFY^(Dq٭hdX~ K !&"|M?9BeL>5iWa\4aZY#ԴI _+ .,FѭA@'=vT&` 'aNpqjSh[C-z^{X,<ioM r,l ?Bە[ګ\}նP~{%@9 $"y'10,E[7bf#pk"Q[}.s*OzżQKdA)0:0y0>\2Z=NqA/t(tgk%qN'EgM%P +Q<8I/>A]nn>"E@@fD́L;Q?f÷WpPzrZ-]UnIfwKcQȌ[%/MBױ_=q{ÕoL_v ;ժh 7r-\i;烼4vUu3!'γz18ec(|R[E(jc7YP¢9h>dL8ߡJ #%^glLI cqy SG1,<η¡OhHAq{0m>p3Vi{sn TF5U [ZEȉمꂨq ԪjX=xvHoJ~osMdS8,cKC2> ' \߼ZҼhJ8ELJQPo|:Ǚ k8i4+7v5F"ٙlb?GCKu][OܛNq}e(|1ܑ,E*)5&?)C) V`ۑTV\ߡr_QC ʧ ʞMQ2 OAعUҢZ\=\Ӓ܇Dgx.9m^vKjw=h64#<-pR"Ёjk_d~՜8dcKZcTTLd!”4X`! ; ^[^@/5(͟o HS^Gj~gj]%jAPTyBSd:S]b/#ˇa#׌_[Э}Q uRNrE|*cnnl4ծN !So͡`S)btȩD K'PZyAV|)*0LcKl#gny^5ׁSEi~G#1HO8rg{y]^,BPhi_F8O7Jfu21tk(0m`^Ꮢ{-t{"_` b'ֈc, &0Yڄ(KN+,a!2vKr?}## 5,Yf2F;^p)Z)hPܱDtz)|)ZIZzȱMe)]/6b]G:Ot^{s\!^;9b+U8NEynkDO:]^`zm:ġ K`\ [tcc Ȣ4` n"G/'ț\p2[(rjdZO/˨SbľQ6dJy*ŖB: Αܻc^ddG%Qpx D/GǔU?fl *d}e]nEVU"y lKlM8,݉Zs/Ue=u3c,ծD~eڐr,@e eb'CD}] )VtM>C!AA2E: os2Qvwc'__xuڳ-ۖmp*TRsmf>P-K?H[vAȋqNEɽdzOS^[dT-ya//b"6*[+a pdβJsj]ATbdOG$erT*G͆f 3$%X ت*Fhٖ$O]/ 톱ۚT\ΚKPh P62—vW'{ӡ:v}y`މi/Fܸu11F|{<կ.ZO7>åjHWyHQ)x4_LHM /gAu״rN,1=r)qg+\ Ug]~alǴu9ZQd2;­b2x0 |Nwq@疖n:}>&RK~aJͤF0'ޒM+hGJſ9c%1I4KO^NDpIя*iw ՃO UdByR˷bxwZv5dw{`PRk)fd*3eJ阨FpȜX*7ֽTrI(rbn<7^EwU`]ΛQR.VO@^C_r'&VCn |[c?|A:,ϣhz5dK&&2"Y3~G^h;Ѷȱp1kT Q1(%΀۰u5zSMb "CE>W340yJOÕHADx6 bo@oցV]: sIY޻p!nac 5/|gEqc;P4ÐPtgrkfEJ YR=~rlc[wEZ(((@ywL$ kZ?"VUќ](Pq{Eu5\lˊ1rQ)?n,8ֱ#l3$F͗{ S|g!T_zahnD*dL0.s0-28W^#5:o5'&[W, z".K;+hǶXULH4}>jwcΆG-LIem}lCPф@Dݎpe3ݩLեE>ᝉ9[eSIvH7fGӆ=4GdO~=R|2ӮUa:J LА[OՅ{ߦ,m]%ҥ-΋4/MA0VHj6ƬUw?y˜;qB`:>R8tX??(ٖOi}}'\pԍDKh?pbsH9| }f؋{o( :FZ+rFf (xE4uYK4:l/! :* U=0d%[>(io}x;N6 -iA%KaIҢ ;仛 7/˳&/bB".`ЍKAD\Ɂ\a{(z@'M1> 2ծ 1ah,Rt+qHqsfH*M1ѥ0dFxx wha%}wj/TOUW6l`Q d8,Q#Q,JYU%$}*M%'(', &wP\=Ut/^j2D5{;ϢdO' ڠ{Mp{͵,ze$Z).Fm:Zla!ag(ӏM#gx#ĄHr*W3֒ ;X 5&l8W&EO{+ {$UQs 0G%` GYS8:S'KP#nӃOLj)Cܡ*=G CHMiSCx롷ɥX;ɿK%j6d5yLDpYZ`n_S: .#8U٧,VD0UE bh>VÊɢz^.63 #i?X1J TEN}J(ٺ1ZGuHwRTYcA+ ' dǴ]S3|B3k&RݾE8(涗Bs9iKzbiKYijiХ+6~O$0+fA <HN[z&~[)8ke'iq6.{;WJx8X YE58 Q%$ BO:t6Uؘ0M%c_ihHkU  S:FH]1Vtڲ9p,U)j]j>@^:@@=!R"zBԃ)ڀZp*][ut"oWoZV γ׀% + Y"gkzi6Q]0 `"ב\kl?(!˄6HX׵Vק!.4OCbvܷK/K2V:mRKKc|WiZu1:%B>9fS|aR$L8^*FǪv?csGj\}W:9?IUw@Pm]7v zXl=]A|zm!_s \PavI#c A?S鸠D2H$? \$saL}IThcOxW]Gojū>?ap zj;>|<#χF2#e P2RHXm3kפ( gwH̤=%fX/\ac}P&Zdž29}%LpR@X?3\wDx쮺(9jQ~NY8HCn:ω֬IWяِ.b>w:҅~cylu\>؁#+s5\=MMB D%(rI 攌.u:! D f_{cޭ mS%12M?8~D6՗oѴ q;͵H6l" f7}M ՐLXjGFurcBf3J5E͹?Kc{TP8̜]9,Q%Zb|?h~~m$ }%2x6]LuФ"2Р^G _ ;g/jh}`~,v}Ή$V#P Wp}p$dQJv{BZż2$x?٘B]! jhXZ8]}f΂Dz}n<!WV8K EKaJ|2\7: eߨRn rޔN}t&F")BI LUVZN5ՈXEL؆ x31 ӁNҥy7~K\$lfEۖbBo-OnO۶C]v=j . lL[EM+ţu,=oSPZ < }N鮖x |XFi_LٸΒ\yHhUA=NЛ/uyLł:ViuׁI\8;tA꺀4OԘ9ξy3KƐkI#$:M!ƺòɬ+ JWyUZ\j|[]w0|Ǚ7uso 9pFutH?֩~~4o;#Hr^JƗꥄ`4~)ɇ7qP(}gnLRPl'Fdzg*E'tV&lDŽ$MǗ1*KY "2=^6tzC½.SJ+6F긆tJ֋97҂JS?yD Y"GPxv'C9'_.Kn57QOi7Rvt N%/y'l0d (5:Q/R=$igַy@[1(rn guw|ј) 2,Un֩}JֈӁ˫DZ RcTXέg̕!}nysu:R Ck Gg,W3Vכ߬&e&:w-<ٙ9}1/,M}&]Ο:0Vvkj~$Tw9K>d [bp[eWweEB+@k>i4iП(0uGD.+Y*c4_ oN+7>K)m¨Me8EJE<¬*%}T*;&d5.N>]Sn+hV$ѹb_jD^;f\XC馌U2k"oV*W"FL9։An9+RV5q6V!={HTgTؐu8+ʤR=tz d{:Qɓ:/.:TȻg5FqN Y9TOH"6͖*ޯo)LbLzb]ceўbst0DZU1+/ׄ+pڏ`U%c$Vo gNd= zc|It9TMJhuz/\;0[8/Ҹ\.+/Р?uh?fg^@rR۸HAٱpƌ'Zvq`:9ΞTl wݍelo`V35An>9mVp49cC "%ﯬ4I-5pƤl_R3t {@,ـ,돌(pOiA4ԋesaGʠ T2\ CQ| ,Xc#i'`:.עSRAegiC1g-ͽ^$j;)?fxiqW#8M)oQvO4 j"_Ԃw\Rr"yS eQ%n8@R -b{-jJ0)cnEGd̛0Z<:"ztm!~ԫ(|νs*6F٬Bd_Ɵ^zrP]ܭcv.ܱ< .,y#C.N:Sx`Dׇ6L[MoFEօٌf |؎yA=ԕVu5u:/w5 3^cT>[rD/PnJ-`2td8sI|8< >ސ9OSvq|oJm!4mV^)hYA*Mk*@u>SQRЙX,d$7t<">P7;SL 97wۨH-xB[惩X \~c{ hgKW SƀJԿP:ɗ~?6vn륨{x 4k/\ p8ȑRXek(`ݭ7sdY{K*RRZG=mO]xNj#-eiq!'Idq .V\y3]|h>n `E{W7fdc"'nZLAMY'& F^o=C*1L +Q)׸`LCC%'u d9 S+h 7顮˂'K;rCAR,vsGLT$#juXeQ4Dnh">y;0 iaIvj M]Kq+vuE}^h=7]AϾXH`0*:Q5r3mzǡ.HӬ-FH7lxST$ M.ե)KS'n&-0R' ˨F)r';'&Y"e]UX{ݣb)@YSBFsC?WC*Kzf!\6qa/+hFaU,0ԍhgw9_Z%6i DGBa!ͪ<{{Ls(2MN~֧f&&0CZkMd /~E>#umFp[8Z^{ɱ$`s)OڪLz+;ؾa¸1vO4*oo%÷3+?H WuU(:.33ϮbdEZN>gKrf8h_]6蔹z%,/ '\딲#1"P)"0STT@Lg`weHgKx}|ƨu_FQRp Q?[o蒀 "٣pzhk\0f+_s2S @k ̓P40JBLqDF9dcWri=Fp+]M-lʙorw_#^hz}69/wSADO00c/{$KDc ]U9ަ=^|e<[ȣ6) |["%;i%׵0bvِe{) E-|VP >D$!naב$4]]k$V](Zn-7Kx Hs DHX̞mhHVԫЯ<3:FO*dPvV)b )F] 顚,=f3_dEZ]x+\qFG}MPأu˲2!}qSz,l+ }R::XS{"75BV%QW $wvDje3c՗&oy\v',&:)lgtn{UA/U@(>$.&UŽ`p!ڐL;^*ir1jB$9[]V6/eG;M`,d -: m!3Ja2ZUKi)pb,͘'P0b{$זR⻀yG}-L1:Y' s
|mFnu#g[8"gmak^_~Jĕ/m&i !L->PUF5)Rߚ|a S`s< %]r{>_!/{0'6o.R$/Ӻ'(c84V*K2*iT;ʟQ,&co][Hk'$^PLu"S{02FrO)MOqC2'>ɰ{>|zO?(VA廟7sI5oo-Rؒܓ =WZ\ȝMw|xOYq/4t \W jj@P$0IpB83## Vc,ADM\MoNOvEd(J X]9(9j{ 's7{!Sj[xі'11e;FfEDuP{YnK6y#~ Gz%rk 4-lM+=HDH{=ϖJUW^r<{H3!$[~zMgG #`dvx=ztg~0qQs_-oV|糋4}a 2V9i3 6/d]o_𨩗Y4'C,vc[Bŗ`UK~W6dYrݖ< 6bSYZG"=1ό5Uj{3$SȸŏHoAGʞVIǢLs$8"{F*M r9W5N]`mJ}ٵbݺ.Z~[ 9ZŜq΄z@obomBvɲݜeiPj7T,j+ͮͅG߉Œ9lKq_&Tvĕ=g D&2N(IbN5ag}q6TVhMW$ DX~y*۞pSaݑp@=l֊fTKhkv‘љ ?}MĨ O4ii:LaCxZﺻsHuS=8CX@7aLݍflRdσ=;Ɂ:]8=ꡑ/p]@ڃwK3Y>f,|e=,yc L 0gŀK1ϥVuQ~ ҝcĢ\xzIFV͚p"pL.! 7@I|C~{qD3KusEQ.3>t)#1FW ={9$MۄRǍ3TV :Aos1F sU˚wJjطH,(s׈HK$Q|u vC,託ߌ-st^f9f+C\=+Y lX "Hptc3CfU 6,qs;f/]bmUnƱ&Mwf1^՗4QK2 -YF5ڰ"Ӫ5j2c@+`F}6X5e }HCdQ+&#~mwAΑ# \8!ɟ8ENL>b3uJtÛj3&\:+^* n!XR{n84I,xwi8ٲ65VAO,gVF:(-7k12SptZxM+kg{ #uEK$DZ_D?\튘I귓E^D9Skv|/o *1} 'MPyO$|ݨ"?Idl 97\{@q!V;1fI3eI1c#Gy_w;T!?̂}DSCǹ"لgV z%i(nlT*TEB0ŸRK+"BƵ(%0 &޺@ ֫ke&z7`cGW^)Fʱ8 NY!jDy ̀aW$]e"^}}Sʼu_R|4˥2220\X6u㒦rN\fڗ͘ZԈYdֲ^ m- lw.Ag8t2/0{)Mj0p=rne&7NkS8@8HiA(rNpto\ծ}Jqi0nVMsc7"9p! d0ʳfK)w9Lv`0{Lb0VaP,Txnٰ3'ob.98r܌ R-h>?LI)cD5;jE&߯qI>zǓ'_=gxY78W(6i8LR W/ Oê5(S0ߍØK:Rp 0t^VL_ڧBڎn"U֘OgZ/ɿ.)k!w +:d-U p5\, ;cACl^pgs?ݑi^S |.ҿLa8@PZ*1-WWB<ʥtco8lS `3Ak5sh> 5*xySv 䆚~O[h @_nօ iUG#dzj47>U ޴X?FHcD"B",MvWNt 9F!MIQՏ<bQ3evMG1f4bw&/*]&%bD_7K PH Ǿ&tgJň/@*"$tz}88*ǚ}E*i͜M kLޒXe!p5SOt>'s2%g˖@>Q~d~C`VVBa\2-"gS3o`kS ݷ!ROKDƾ*^(c/D`7A]Kl po!,y[ ޴oG0?la@f3x hFۦm5w1Xnq_*3%PAJpp!㡸N }J.%tGUJ,L(0 J ڰ}xXݛT3AkP_fr;CD0-¯ i7bLTv3cb23%y ܬw?~.96&q2%((ʓzQvQxQLjǁǺ/.8mdpYdkVğ7Vq &&.;배0Q{m̕{c׼(?H6vIw5t罹 T#&_R@uF,A,T&%8Qzf"2$ɏNh~M)f"G R7 JOt aFhrbo"fXE$r pW^rߧ£'^ƥ7PTB}6xyȪqO#lgلK6*K$uvwT}x*;rZ :u`ѼLѮz|:+;eyZv;e) =*kuO KBM8ybKs?3Cp:|.T,/!G@" я Q\`]LVBx?Sd͎| iAWhB|X(jZN]Hsn? :On?]XVcn5Zς9 ":v2o skѪFF(t;,WVQzqU1 Cm+_,nz?O1M^t2:1<> 8G k%XRB5e]aɧ60>GP}jP(&"ե6:wLjTn,H0#N(l Ui'\>NO.!kaXF>żwRS81[w]װVkG0u2/QJ\{ݷj tpЩt%@$l".Aq 34ypFSСz0*zM}~h'G!nOSbq5s!,K[0[5a n }GxWayt2k$V%F/0jqq1fyﯖaヘ@q\܇jhUe \Eb~@DcBk_.K>cscTpLyd=g7rnyOiIit:יh/l ;j6{GM#ye{H"4mb!fӶ]|u0Q뚚<T+ѿp21 +AP/D4|d=ï5 p NWːD&6[ƪt>#2+ݮgPߣ\P諂[Nut}#nFOU!PGCK9L:1FT̕Qw-xca1h𲨒ő~/gB ܧc[̳KS#*Yn 8wcݐ+jXUā-Xw5E{4$۴JF~sw!}69JΆf6D4"Y*CޑD]ۋc Vjh"\m\ݮRұ]J}{5uo4Rc=$?::[ROnHeP#ڽS-^ycral 6BY t5 }FRR&$_^_>"+V,rz@r#/#~:īPiMWOYO\o`u]C:$/w륂yz} wK ~F#;C6% M͐ppx8HۣЌ1KL]f2:{7J|sMh4o_77ʧ> &LK⓳A]Ie gW-7VoQ4Z|]]"֗Hk)HWEd8Ro%SC'h15-B|W' R/]. >1J6hsr商mJkBUˋdz5]=qةl'bL+m vUʇ|1My4|uQϺgrx/yW {4|??: f,qx!DFԑOގ7iG~p6}C [|2"hS8w-Ꙓ/J<o-̉:^W.KG@GS}$RʨY` ,a]fۡ)|I5,y8#pl۽;nGk[wB?P`3:>.UWtQ0>2K8+Ծ"o6]'yhzpЬ?vp=}W_׀wo+e#~R']XRU[tԳ:tgsފȂB(`\/yF%B+`Khyc׏Xγ"xʠn%uZwnЂL>o0#";ڌ~b̚Ov8G qۑ]|^b;ul">|T$TMVFx)ywlYPȮms=;-"TEC'L#r]=_ՕO2[;-evk0F١هt)Ø~b6_$j(ڈ+SB$t r :p hǤN׭^ >}oTVVoGڪxZQU=j>PLFۈЉkQwV(oqh{w_&rLЊ$EΊ1y ZgS['DWU/j@Hpa}zEEm9' ; 4}Νt[H h otTF"LmUp?su#~+I 8*l}Cn2H\;.,I K?X{eXL.(WuyP2k̊[T1 !\s=i_*zs7M5 6<:dې~+̔2:nK3n.k[`旈@ jR pWC`d֐}{b]]w"!˦Oۺ - }'t;n)F ݤ2}Wq/GXM5BAz54ZX"þ = .4">w\='D&VB-!Lwef+קlћ:-.qOd!j31F QW'rfO4Zo8,nyNKm"_EόdJdVq(Pʙ@Wתܷ79O d.Gj4Oߵx1.*5iN# XKc.U8̟v¾.9H.a\)99*3~yn\WjVЄcz\0h d_s8oyiK Eچ @kX%nGheHW[=Wtp;>#(- M]Tʩkm/Y71Z0 ʸU ծ;`#R og!-UUEp' rbկVXz)AG5D$i'\XN [enZapI~rA݉gcs%ɢ*%RclvgNԣPzd֚6&06񉬅gEAa&Ejq"GBc;E&zU\2wO~h #6`Ax F1ᆣSu1W&ړsBZ%ظN2296 ѳ.xO)[lmeQM@>@'t~[-fФ$݊MQ?s(\ Y+>q›bA*dz@s{tW\ ;n'qF5}"ڜ6~63)DЄ\_W6ZA+|ЦE:ҝ{+n{*֩GPnd%_G@ivNԋjiz,x5ڰi1d <Ɇ[-(Gd:S=5>"_ ME~4)>Xug5 .Wbb^.0'İ˅9 b!@Z4rh>zӀo:$KWYޏ[..y܆ `}/!E|#'rF(jD"3*D}ȑtsI(¡#^#uaaFw3,ՅЮ(g g)Zviș< c`H*^~A;RI1Qy763oĀN`L,ݽ )R o"h)3ɍf8f:iKZCi{Óaw$OI=hd"Y}_bvwX}h],ދw&]+:MH iYl{ \C6eϮr4z˃Y ԰r3j"VӉxw!^,sGKhZZ Ҁ/UUh+kEXsc .xТv}<.t}9 [x҄HX'oth> Hh$^wѣ5BIV« 6eTxa9E3{ό]R~9Lg#q\ƣSؽ5~txmfbK[c6ķtN֧tnYf$0amа- ]v-Qˊp5f,`!Eu \?ש!eÕPCDgYZ8d25e3fce563fb3b3251068c41f19cdce28949b58e59201648d7aa8ce728c4e17f1d57ee228b2810 f7012f5768972a97f450bfd6400e324efa13b31163016397db74ee127844634e837a688823ccc7b2