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 @%D< ]/]HOL-Analysis:threads=6elapsed=266.924cpu=1199.032gc=77.996factor=4.497zXZִF! Μ<\]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGڿvQы!&5+` 8pu'6]{1V#s6 &ϫĒ.#AL.,uEc.ٓAwUMX~|c/t3X~.ʱҷ"r𷰶'n|1:T! MD%qzq΃*Z-ֶ1Tڰ4zeϟ A%b6yOpFY|%**.ͥY2xʅг^3v#t6mhכ,jjgbb"Ϣ?L6]5 +j{Zatq~IL }nIsOtw7,swkUa u dn΃ avOʃ}xi6H[[.QIv؄ր!yHP#Eykhi|pw4@fxCFr X}d*σ7lH!;VvذВ3G_ eI]gZfN7G !-u^aʵFlI}JR1AGym&/GifQVCV: :J?Aw hnb5jلh^΍:n`]5K\56j0!Xv"QhG'C Ѕ0^PM*Y]-D:lGU;~ozH"ls7M7_G:@DO):Msݝ}ki2m+X;޹cT^qykk8bv͜ Š`U1:{4R*8Ź(ydgoxgk}\N`yV}}QhmO;A]:qɧ"k>Iw6myl"YCq.g'Q Mt $[S瀠]2mZf^09!qhʵrcoT`;!&4n<ܰu'?rsr=9(2S#ϥi2WVc.c|eQ~Pl| d/9۸-ȿfS>KCjŤ2E9ݟ;)L{RG J87W.֦ 8ϥ"BqӠ/flxD8#1lERk S)#lAݬ hi|2&|x_Zϵ(/BY; % HOL-Analysisg&x0*wLb;ZCeifPFzWyA(јb'<G͂ߝ=)Y{FM]\G,y䤨#!PP؟%qDÑ$7)\eAQ,oGe9:+z}Z1wɫYGC[kqCJ?_ϴ!^҄آx7-POm+ NZg19W'z7c](҂#ЏF{I T{Sv3i %s{>͚Z܆~sk +tN=KAßN5g%Ɩs2T 8igpb>lf7o@e3(zϗ.CQKn?>+q *`9w^(9ɰ-(2 rkSH&5 |l֪rv`HUovꁢ._W _C+&[c:?k džBRYJV^SK> g-h=8"Iہ R[#jd jʥC\G$~RNJF[T_=Q\Vz1s{M9z%8TE7VOdi3*7̼*i]S3!i|缸8>\ ),%))Dzx۵CiP]}pCMsRA([E`oP79trMf5p;n6kzrC٪׊~b mPϺmH$`(pMGl#JKōdޥ R%\\DN/M "K,( =,ѻ$OoA;2 Y!5I1.~mPn; '&&XkqnxL:p J -2m1S+2Diwm&Adfp},,炸p^Ir5kS6x""6v2C^8bC:^|a?djI,lg-5a[0}jA3Z.E(E~WB*hl5Ɵ?~phJ'SMLo%h|<Yq{@2CKo;ʰS>W U7L0{Xg)s,on8O̼a3?-X@wi(uN L=EJZQ&.11E~K o YCExC2-q#mfV MҰe \W@`M2u~ELsc| Lـ.f$g.}_pD$AwTgxURwzEQEɸiҁi}92j4DM~MHb{v-0/5 [k'ޣHӋu!_MQxSŲcQLO @U9r.rIQ,4"vu{N f4!)*c&7+A8;-P,ʸfr)T[wV]u 喳!iEMk+3- 䒱J#,Գ'y),Y{X(*cS gfaB*XrToqT ]S<^] ȼ-mZq`JazM_mY=4߈}'?V~š{3c$U?WAt?)SLT4suYΙa/f鱱ގutyC)*#~6ǰ$ŋDz?׾Z{oUONk*@n;Ҩd`j#GZ*^X3ƩcJ\:i*zۨ ; y~aq- \[;Kb K6Zbgӏ 4oF2l72}+ Œ CF Xgstw:[e"TQG4+ !Jk?Ex"~0qRC#͓iBϯ[)w}.-g/vMkٳڎͣ*_(3A { 3Q^wH|V=6'aJlBlqG$"߷=KdVm R2ԘƐ^[ht|4"m=hA Ug5q:L;QI[RZ?w._2.6;J ːmPτ(| $ >L4_]HB\7u~u!G2g vJVhu/* )(AkK) H!EuXu(_K#IXxd@!%({T7. m,xR~VVX+NDrn: Qɵ'ЋfCYSOm8tf՞2+C2&RSӄS7O]UP^&6Y%lan6,eByӦKGViL A3hajW>V'o<#Xg{Pӟ*f *f\|hBPB*_ZtFj *j/]3e}Rӭ>͋e3?P }Pl SovIQԌ$Y3w.Kd–JǍS%i? ْ7o?d1 wIyWȿRZ\*Qo9/pXNb'Hl vh;*S!6htӂ_w}㱥_LY%KBsiq,6Tpd0blg.,+c&u| ԍ +OYk w:H[Ưhߨs?|Љv׉bev6F$(HXCO't9m/0۱IFh&lTXi )'OҜTg ?DmF? wt\[u,JIw eiOC5S[l0m7A *oFG%},SKi,DUQ4͉vrO#I"h"`ؑu5z""/n3+̑xMD&rs#0 Aw %2Z(` '+kpՉJQsSn}G~-TjW]ڱh3W#al0"DBsנ!jJ g]D ͮ3B^U~4A{0c=]韘p>zJ 0~T6E@slݻ MTAU#++jlhBG<'6XCqFLnxv ;4#vWJ/|\@8@Խk8j |]bt\\sXofKY)U.w~uف7@A]i~ Ü  "8׸%F0-sl6δjcY+?Oz*1^p\gRW %dzW~kCL$;ڦ˕-m@'ROZyha>Wl^ ZP WD?p`372?,#B[3^ƃ37ls)YKC݂bG$4xh3ewJZ }Cŝ?[o,H>NkGϚxƉZ(ˀen&rkC)aScpry}y`d(4vjeMD x85IF2bb扼rJ}f϶]/39[# ˸n|m<̥A-̑gK)4w*#>0lueGfOU֫Me9k=y6G@,cO_wl8}(i4* yY[k$I7r#xp2~r!$Ș8J`ѓ6:tU :W)̘~MST`0K*<'.I\v/47z+TJ;12>^P@a'\qz>VJkN6aHUj3C#أ9yr|]᷀W3xZŠb:cLq('o(Cjʭ`H^}WdvH`1{.viZ5 \<~/T];A1leΪ)z[vņuRt*p[eA$؈cO[-64i3}YIڎUgq|LF$Uصf4`PK\.])P+|wt6aЕ̰D6҃"՜Z u/~xMg˜m!Kk<5r<i)zHG9辶[/6&Uʂif$Yl'Kkz-Ӓ C,uك,nȯV=, u~ jN1! <.]lHZ'휿Gqџ0YgXq]mPe8]f4eho):dD K -ٵIIEUT;Vfd!!;p }o#]!'QDٽrՒ&R 34 1B,]…ؿaAt؂41eQ .pn@\;spG8%ocKKfH'R/mɞ=(Rgwy `:Cs]ރRX['$o,IUAb K>̳y8U`6h*iҙz. vuq8M ܂wN1>DG*[ #2F nJ*S}2xZ" 6TÖ;rF%NvQ-+) xƔ{1/fo9b5| R%=:GP ٸXp)GWIH"S hn?.u6B,WMؗMY Z>1BZtKU^DEM삺lIL%Hfݫ z͓댶Ns[/Ok?|;W|_U?͆^jPGB x8o8kbm[njژtu'x5Ek޿L1,b\f13a+JWnG[xOTFCy%mk-jzYHPŐ@$;Ac;:Jt?1#"Y"0ƂOoIrcuFa];Cl)c߄IDzYèUYWD M 4s2ʬE"yƲ'g?"=Y6iԤ 'h'Gai׆ͱe* iBQJz9_/`*Z(|kj~}/ 0͚=\"ZU/=i_R}^ CY7XYUegGvz2΂W Hq"w9=~DOw.*qzt1v_Rբ5a3ˤ7ޗ]OCwEAj・L3vc./i@^4*5_i/{=7}tEQ-4}nc[lv|̮ q\B7Цb?wg)t5YoN2Wl3oKZ~0 l(5HG@JKWt+jſ~ WQ%T..a>|)A }x4{vB[sR.`:lG9kr{DIG6CU9'^ִNS;Fۂ8jG&EwFOp+!UH~Jo=&,Ѻ3kbԂWj@q?Bȁ|[1f6hoL.h#v5wgg!;1C~E2TzCmzU a>Nv+8WXҹ#+Iן GJ E +;k__X>D)y DǦ-OÖF:^ [4ӑw\eH,`|/U aY\k u`7HLI(}VX@1{-(U{2 kjO(>-+-s&sN⭚ɽ8vǼ] 878QťzŒe|Wm]fhz&͏\נ7:r.Ҿcm5 =  M -T/cyF-!SR-T[g+|#;WeGWh|]ػéU?fSڲ6H`p^UyǝN>W?b~ij-UcSYש.qN^L:-Z\`>#H8=ߵhaZH(+?xYٔލ⡛y,̩حSEj0!&$+H ; SIFTBϫM mFa*H_pBl.]gTf;O̍[-xLD>}H=&TJtGbyߍjGcS{ ^VX<@T {{q1Ύ[ hđi2ga5giS0'j[B`:ȟ:#;,57K2Ҳ2F3CgشщG'U>32tln@ )>,s?|o|^"0:xlܟQ΀-P?_!~e/^>b>VZ#ng 2ɣeV HUt0Q{J<fmHHF=Ɍ3pnN]Ē=8A 3] WBF/mec EղS-u\2W}F:ÔSvbS'D\::oTqgpz"`$ӷp'ք!"Gm5:KOpl'7cwX&F3ow ` :#.qgב8޲mug%?=(8VHr5αgiF^f@t>%7DV)B&@e q( a.h3+#%QE0ׄ"ZfITqg,2< :?ݛ&vSi5$0GK.uU邮2LK\`+Xff\p*9ǁɉihE3 F>{?q!_ Bͺ=|>L8}n( MZHEghF qodnub$?UdwOƂ}VQR?jX\'\>aḽ)BQL@R~ܡsIa:R0+u;rr^%y~OQOM70=o`!@>Kھvn9~۩?PtL#lE$?ƎI"^_;? ˳~Ghb="9E)ɍE(ۚȼNgH AȨ̔^M@h3)KG'<Ԕ`` 'jס6T*U/]&EC1l_}DH萹%ZOa=+rCQydHdMȥixɝًY@prR_h(E,@YbdѳS )m5e&:`P*+B?EfuUNݘfz{Yd0_;`bZ>_I uG?`d][8т1B* 0R%2 $}xH@ӟ!r[EE=]†Hޱ$ҶhD4HtڨjF0$ѥ~yUяohd,kx$K'K.~(+6`,ʨ{<ܳݜITߪ9v vGs$yrBzҴэF?P(YcC>l݃C1_ؙbKpSD>A'MA*uٌZ[3!AC%_NMlƄdЎVӸ^17Xx 5r9e4m:]H&DW$\R^?VS l(jW`#0i"q5jPF v9}w^̗jI 6sVdTo۷7l#nv?pT8**QdQeZKQ1Ԉ(R&t] j% D:3 /LO "I̸.?P"ziD7-hܧ7OxjhJ/xye+Go^Vov/kPIÑ!jASνW.pPXd>+ _n|MZF*ZjL@xj*P-蘇G imdoY陀I#;t%Xj7 `R K*8\_W䅅H!~ǁwkyVV%-m$]!fr"g@ ={$FɈyqeuO2SЖqI`皭A9u<\թ( '>H^c@~do7BE俸Vxhu(<]C%sUIԼݿ E&'!6+Kpg4j w/^"?u}ĜkzhQq𷭉#e`7[' KᶧIrup|ߧ#zS_ J %Y4gGRc VPYIŰ=r5Y =˦9Kg Tă,%gn<uhzIQ̴$E/W} Ai/^3sq?\Nes*4 ˾kYɄy0~Ż vs4}nK|Bbl.@gYZ7zXZִF! QX]ŗXi%9%u%W`Ȱ^%@b4_Hx^DLq P|]~ (EbCV^zy=7v \0 eߣ%տ"•1^7/UDGM3V 682yiH=_V-? zUo_5jaosv7Z7 !Ł*0r8OȔA@J*B O殆E 6˫-]Z5A>|zm[c5_*^ x]doTj0Ղq7 C͎1ռ~:իNRxû}XlR)IlL8oܭf W7Vx2/ 5fW?YmFuIQ<=SƤܝ4-h1KW/'k }su ÞЃFƊM@(C6d-uܯK d28J~RH]G93^\%8 5yTdOIE41dj> |Jb2N[R]rC MW1sT;Ǟi|;GGvwVz#Df-&DNMbD m ;S) ZYI"Jc,B=*{q`s<7>;U{gGʯXp؊(DR.{%žRS}hQҎ'Wxhlm6t@e0h|&M81s&&)RFt] 6IM9fEcg+m,R!uA~ }`xAQf0|z" }F_;ѥ>P4{V/9*KzI!VB]Uf`?/c$k`$ 4`>5F3?o)b",d8}$],1{VQ*wҴɽBuf:c}2-2f]э=V ؇V,`j{0&ȯh 3ύ%n:.HɨΨhvR%MQz0nβ 34$S;Dz[/-A.4w !txR! =kK5],@\~1K:Ifc;p*&`•ݬH1:1PṾ2jT3&<4QoE.EDELR :n1/KuZxB !ߍ\j E.S'r&#S dm&}>]fB!f~qb% 9ݤH IfN#YuIv% C~ĕx {s5iS'^PLD> E4NMjPIWپyqtcQR4IT就ps= f,L@`Z!Kد-F,E.5ߥ ì):k;[3Zd{5;50I:> Dᡜ"cF@uYJu%BtBTeߝ;YazzZr+S+(i-HrH47D6W"N캋h W%?rWۣ]rb'+N;, uZ_5$Ԁ@-!d+*SWMR³j+)@Rϯ Qlo2Y}.|伍7RtMˌOK ;)Ǐñ#cw|_=8SCywKG+ [E{3'%$H6G]yߔG73\ S܇v ^kF#x13]Qo4'JUځi?Jh&:{]v^S9suL m4Tw.3js lceY0WtJUD5,)PS`P*.|rIt+Q(}/[f 82'jQ$5~ݺ`l`B1ws\5Y"fZ 4VoK݊i) nXyDπYvރ_scoT| $ص5=kpިnZBRsZF%F@d8?ɗ@"uqA3' o7@;|>Y ݺ`I!8$jE >8zTpB*-\B;4lk\K:"$'+n;h]8ܑ!ɒdPDCk݁x-HΜh?#$yS#=@er~nIe<`_aQZ|AΪL$qD`2fעtyLϽm?|?kM2.}ϐ ޵BQXC,h?AibOXť/]A<]yLh˨࠾D, +MOԥ1}*_H;/l/&hFe+[ډ;3+_x υ]UqO<Yz!&9 mLK5P6cFor&Wo]&)Z8AoX~ ل5gtV %l~j_eOB)cQ3@WNSijpakw:_UKIڨ.eN:@XFvªJw󱼪+Bk;. E{G3(DWaklAfl<\#S^:" X}E@DϋutT5`X ~ ~vmkbLGhؘtޅb_Kx.61yT1Od-j GgMa9h<{ԑk( UQ<4D^P1zYV&,ZP:މM1ZI[W LiZ(3+w&Bx嵞^tu{؈]4Lpќƽ~K:. Ti֥#c;]]# ]M儰O ?1Ɣ\, IkQ3zNnpf$MeƪH9*~an҃RZK4A8[2W a@u#qVlj =\op{2/ouv"zhIfЅiBց !vFʨ"NeD]>*yaROON];eboZ?I~v+8Pij'}D`(Zj'ҩdX"X&oGi-ˠ6pS0hۭSʑ;d܍5="_z[)%I ›Qƌˆ1Tnyg=mep+ުzizd˞:L@m~6ߚύF]ks,A3zl *$)̎0} )]fVM(5a!n= ~x!+hAY'ߞC^|/s%Ѕ)e[dYGr\PxG/5kFUBmJXIlīdlMdV9#fI:X/9l+P& j-$>@ǷR.\J.r뻻?F;/GZ֗@=87O|wDYY3"˨-?\TQJH5\kCH@I=M|af Gk,J!PҬGj[C7[h!Sj"(el4O/p~}$>ʇOi*6?UwT?O:Ff<{ЯpnY!$w3ƴ+4i193/p_|lzqn[3iߏ]*l[\*U&JUz͹ Nj#ms!Wk}$vۙ7Wԇ w 2Z^\e+aͻZ5ԯ"yL^|B闸v–89  8T K~:  Ř0PE kDWkmEJ9k+8P}×g@  2A7j:P Hx3J6p otLLJ)PNj/ˑ}GEb?QvvӀQM3ӷ26e.um5w|c5o:4_^7/6e߶ 09Т[]'7G /E#v5@ Z}i_ iPi6=]#5ew!ry政:,_*/G%fT\?ew'[8Xy)cˁAw`D¯qȫ#*Zgb.=+Rkl1AA&ע 2H4A. js:V%hJɃLS??\'k4{jp?DH7rˉrk{v]>1Gc}?#k&mb|DO  $;tb(+)l0|d{߀#.%4`5y-hڇ-~C}&z,l&.rVAoB?فY<5 gW:O^ QœOÍ,Ǻ&.҂T1O[*s!=}ka{1Ѿi]"^ظE6}}y UCh q/ ,JqS):ogbݜŁ\_D.w01ZD<e$MA˓||rnخhh_.'C'ЀἎeX; M;ˤs@ӫxO%q6YD/d.?!|(/N08ʏGSH&̏J_RPf4_t sKR]l o B 'j:)>tyUFfAɞ4kU\x }вUw4eTIg xt4QzBb$a, K)([p摑ff KR!2>>~ 8kz'DI9}_omIXG]0([ +ga4'b#s-h+i:m^I ye| 6A>BVEm~ڃ1\yUBB`T1n4o+OJPg#yXInYX 'C:6az؄,;)tѹov4Pxx]1=z|L?f@B)90CWŸ7C1שicIDvF\P֫;V^ёeݚ+]CWdX[q~̊ GUKv#H0R@WmtLG#2Jঔ9.+3tn⻶>FeP΂r60a1+!_ykb#~Og+Ya6Y(ԗ"j.rZt+Ns/E-Ixpi0xB~ݨ? &}ёlbyNV6h^#ͣDBk4AS5)[PNZ^,ZQƝn(h|U}SG/yZpEt3TQo\6ƾ7\ʰ4?85~,I"g.kX-Ղ]MgZ .67hԡ c8\}Һ T ?Hx5,$s0wΣ&^Tl K. űOaYNdC]W~TWЅX,LKKcG%jr;}gœ Nh-koC5tNjaiBXS rl/‰S1ewsyGKJ08y|Sf}/Q'GYu PNS6+]]C;=FL Pga6EWH痰+ 7ѿ~tK[Qt)AB={ڲG3O/KyPZ?.ͺ|>ݍri(9cL'DhXy$x,Β(dlpDsbG= }-!|A"PtoR<\?X>`W8f*ܻ# ^Q._N]$D*$ Qn&9B%&Ng$+a}NN3@~^Vd:d;Ø܍Ay$_6=0Z W{+,#ԁ')Yo*w@;3{U\XK #LQ~xhҶ27 ت*Ȗқk0 I,;0SÑanm ${\iW_n98b>^3ӀW'F;uxn@%G_qV/hu{>s<Ƞs b~Lvg% Ԡ X{_q'yus` Jd=jc 3,UzcW}q7<qRMժ˕j>DS#u\GɨEq Vw\쮅t=IHUub* 0MSsGȡ7W+ZjK?r4c:u~C[F"36Ƞifmha͟e`=9O=!.W_ɖUFj\8oThjNq7eZgmѢ?~0\v:4%== i'FۤBM?8H=Wӝ(6 QqopZ:Fe". 6OXYl&$ su֗gEg3@<̄Q6p6 P#C]~?0b[A:[rk., \"i-p$Tɠo/5n.rlw`t΂aՆ&#AcPBGcCOOQOqmJA$aIxą{J+hɀHNt//0ډ6S%Weq\k>t罏(c GqɼS5;3>v ї5C"B|4Re; eoeX[\zKoZ@>`r*+з϶?gmɅ;eB/m#K9 f6$~* :g"asԅiw_,Iae7T/bfIЄ/Oбߴ_MA7UOt)QKĶ}9K(mQ/dBI뇶bn!Ӊ M=C_헽?QU h`mkR}^Ǘqw:,%Yd4Ͱ fn\w&ϜNŪ 41k$/+^h3*)cO"k ѣdDv6AYף2 +Kq(ѕBt(Tn4SXvFRh+vlQ쮒6k7n$d'9s(eخ*/B@",L5-ؐd잾9t&c̈.Q;DvCi=V~P8pwĺ|D#:fn3A\BiMpQHu¦pN{|8^%SlA2x;}78b_9:#ok.Eơ$(|}ܷt?aK+){< M z%ڠMH7ˏZ'N~g)ܧqKL-8_YkzF{\z~N6*JUO> ژ#bүEmJ󔅫D0OiFPD̆T[W~L6,,iⶵ#ov}V'2-^e+GZZ#U 2qQf^zJH8k2=J pN(Y̨.  Ҽƅ%Wۈ;@UZԦA-Dg Ag3)#12Ƈ>ќUWtxw͓RTYMfd7\{).]yvkc8euN՛䒪n5 MF}Z LTDzUIóH J"[oơ@k4l /),5B!84O KvZI9._Ia#ZWF'lT/[#)L]OC^]{t3!HzlfO!r(+R~%V2D޲In"?Ng;w#q~Ӵ~A_7OBe[^$폞V';zXJg`3!߹Am].~ߵu{qE̺Y Cץꘐ,\/F0ͱ=Gؿ=v!m(:jE$#8+FcȣnXv;hRB,j٢1 4%^`xBNIdP;Ϳ{8UϪ#&DYq Tੜ5V>OZTWm#H.!ʏ+U|Sڐ ʩ&,k]Y2ʢwX[hCX8:>,aQfڡS`p>tf&qfUvkS5 >y&[YrH2}HyiH'4n7ݤO^u*иMR,HNByGڋ=6`(K Zf7냴>AoYїȑg{jd[Sۜ!gNCT()SlQ55שG%-,5f;}CI#%+GA <rO玹gn݅ŕJFNnm2E ޴mqͪ.gG%-6&+}h[aJծ#QT:w"vӽ]_V#5S59{Zqi-W[Yزц2ZHHzf:<1vL^FX/H) IGӢ v)QM"QHJ.9֫^ yf|4v}nH~dkn˔-ءIv/&r/T.޺" N?@r9}u4oT#s''Seb1UrdQzZUgPM;) #pԦeTI[~`rZ!+ .P>99 Kߢ;1;#O& %47L};Wl;A̚&7`6(c6h˥mc/HR藖 lz2ОYlaG{q n_Qz ~&}Rro9 žoF*4&: S% Zb˘ma[VY0ʕw^QWR}%Ss,gtz4t,FԽ1*}Ϩ y = vai9"Wi H!F®-$A MGHba$EFvEk _nH  +ԵҞD2QVJKp&[m̅:c`gNmlȦ2~[OG:YNv/Xr/e0 y o/IfPr"}mF t8_TZBhRsTjˣUCj\`XDtc; \bMXT±\Fh]G l=*kPy*sFYLCKy_&¶;ym7S^ckmui#Oo:jyoZC+˷"=~I\ ƦAaf;[@gN1Za۵֍_7MOD2d1H$ݯy}zBon^ #p1N l~O6.qqK4tvA=t7G:oBJpmT#ʪN6fSdvzM(~/FB9.tvk'@Rk֗_( %0D&] EKvABn lz∨D'N#T 7छ\cHYCT&Дɪ0A(bbE,ytMI/l/qcHlM+4icfW>`ly1G>x± YD,KXԪ7xGd!)We_j?6d w̫۷!GHLҁs *G tȀLiW$2ǿ#RF﮲\%QCBm\A$KcSiSȨhWv+ sG[G[ ,|4g}ݪ8Z YxDB  I"Jc*uB @:o%%5ңPavҊ}'RlqLAj F'&TD'0Rt6% tεV9iy k)>M)/]6ͤLG=ZxK.bg|wbѐɯJh‚5iJ&"+Y9,Vi>ﳀ.8@c4 |wIkmI2:H$EݸN{&4%enDØ(^Tי T5T4kJSRgF +K" a# ƞk~492 9D# 6kA!5q;m|!!N[ {+{02~i78|sy,RMˇd?{+Q?jsyRc0L>x+r7PC}ԒǡGӯ1 ̺{ |hP6VǠ%͋lwv({*qϖntARI- n>. r(moT6DٚɳU*eUf*GzkvYT]pwUT!zZZM[S2HasSh/6owl@ɝƎc2vY+ >}"[ iZ"iĤg\a1G t^9Nݮ$!jǯ\);TPSI g0]GdUWMDC; 0qWJI_63v4rr1h`烍1jƛ Z42!ճE3ݗ]PLl'‹rJn= bCEzʺͨ'ы_YыnN14z%;Ia[0J@VՖaeG`&|P"VqŌx8 =,(d'K@2};G_t/tNc1 h C(p36UW]g3ֳz:z/yCVO%MsWP;?KAlj;T}m+)z5nI_#"E(8!}SA{r⭵2A$>OdNղ$Wu4p}s1MfNƈ^qLĐ1\-5$$?1+­7[.u2 NV 9 7!rwaVdBt90Aa.eGǦZXmANgKqW]1S!~49HX 48Ș d ?2:%fSJ<>9L/Kdv' 5%Z;)+͓s|;.?_umgWʹoMHi w'%*ͪsbٌ։l 0v,k`hGNlږ#!)Q;j7ƃm:9=dP2=]#jq#s )]e.!Grob<} 8D2s³2pCFQZkrMo l/:j4Rx[S_L #&$PE'0 b1ݦ ZPPzU_~Ю՚m?m%tҴʎF{(gIX?(T&3ô!ziP,ou 119Qtk[6J'f }S~SҀGdulBeCNY1#l#c$Pn);I#GDрT) $x.o7;oL!>z!.M;,?ⴛ *="n%n'%r̰\"urLt[A{#z&᭰ܬk<#0$XV?@aowBУj[`@r%J*̀P4>!ByN6H3Oi_r2mXMIV(:s9.+:%&Cu(P\e`Bedq伹2ɇ:FC}+cRz?-[}+ P_UƦ"yDxѺ/?[h`<ZJqRnG\r 򙽱o8Ecd?a*9 JF>ۢW=Cc4+]8OHv|eMh5#u x%:,b:4]@ȭZԪ3%_?YpF↞O`d6jB/}L0]{VGb$O*5 fPX=7'k (oj?4=7D?/v1"y5zxK= 7LTa=ȜTغSEGBd4lQr/(C[o-O9' rn<W͒jK<} f1x/J@Mԓ@;کCʵa <曛26UU{v@PRd7fHPװ}(Ep˱FT t"{qoҵx73Gd%(Q>̀= TZ3=;J7e'{L> Q\oImh%]pB"Rނ$dٚY2w0 ԋK G^ [82<)dZΌw0Ȣ)#CLQxs/d"Y^Wk{] ىԔFIYir0L~ZGWp쩾9e,'b%ݢjsHoJBL)8]nBĸPhJA}$Z J t1|ܦb5 |9_jN^)2Om<`G!:ʇ-I_cz_U|3#ͧD{UCb.0Ҍ9"u`:TՠNW;u`P6hht\#eԱVII.lrs+ʭ26lZl_xb%GqfUc twH"D+]fбMCORK#eA"njcaUj,w>% Z)Ά, 60e~I78 MSKp(F5u1UHhަ@%9aN* w& :F l&d{?_p $oMþs98" <*A$|0[|PD\=@-)ǰ4j᎕WlR(RQ,)UdQ,Kr~dG@m6zOq/dcn-x_o #SbGU šp(/AYEe1'Xx*\`FVF 9uI`yzy%c~n$8,+_qVfr) aPFjU+!uɟ붋gɜ!騥=6"z0ɡKpj { On0EṟH9"yg)0( }Ny!ۙ@JFVҔh6A|_$1BXp񣎩:K-3}I<6$BC{!!qyMA*#S?&h vt3^;Uס&f[plpD1$QuƷ3q:nm SphNju[[ ,Up}YJwM6qʦ? }:e{v^mjHuP(M<X?ALnkZUAS46a($iED1oW Ny n_;*̑4%)]ɛTEb|+Ddbz+mjfBjLϤƨd9<32Vgc&LjcJ ͥʠ/ηw}dQ YZL=J$rG6f,cՊ]3I17xp~-Ƀs^jm8[>sgˊ+6$$s0yHh]oj#;멧yN fJ1Njjr!WӨOYc*L9lgzoRDoI/r A~$^w;)# <ُ6PK1t7Qh2jg哳GIlc?6څ{On5.RYC_qOj25N: T@ x~R6͵<Ńz vp?yٰΧ~Uۥfphaedk#z)AJ9_(aQ(rO>7АEP&; =:;w[(ёI;aot#F{G40o{:m1e$JL&c5DqL-!H?6+8:cmn_3%Uvƒo9 e/?&V[/)dcDaW#H^(nĭ@g@`B"DC6ԟOJf'Iڿ3Tس:F9yuB+ܙ($[Xk55h+4ěF Zeڗw0:uC:rw0uNjP:]Ql03*?0,U5i~?#]j~kjkXHnt9kԺu#e (p~d{͹pg@(^-[A|D^A]⾮წ5[/>Tx2_OY]fBG<~+d OžۮK}o].lLqsSϙFITvKѣm3kmtY^㓇myw}3;(N&{M~ )[/ãT~FTN4?VZ3I1BJ;:I]U xL[ C~w*Ȏct&5;r>@2~|i(JDeL [mFЩw=2D~v}.ig*=>xFtݳPɯ4k6Z~L`3򙐉܂q =B1je| $JH;!٢_ZxC aDtah=^ 2zh3wL|v<$Y.hEf X[@jΌ/̑Mwr~"-B޻ư!`ʢ[MB.T/)z>2¥n ,&#+xC KlJ %p+WkĕhYKb瑾JӴ'-[Phr#~`!7 jr?݌PU5R>J=B)8u5@!UQX)#=2L}qiIz?si&P17)'}+MOrt@ mPdVj'N($i 2A%ӟML_EnjrpؗI=FsDScoFe^I10tKѳ_8f-zX:- $Bb_3->94aaI jwekPe0& A~P Zf#0}_rh+9pz ĵK 0H#K80i?̥wY|;JS'gEֵVf;zWJ)f*g:4u4O$^4&I^pXG,,21 ^ulg&%b sXovpwfPnE/d߂/^(6;q4s&ٯn}zD x;=ņU;w E)E_Ier=;8m0v+E};0@$j1&Qb3Ij+z_'5ۅc)TQ8WY#8㮮sBW~ ki2JNԞ^!ohb覇ܯd:u^mm1奟^KeD 0=&YmL~>GX[ɲz!ؼdl 2ͿgC L[PЋ}6 Ek(ʜu1^&UuF"8>QĚE _,rMBE!i3J꟞OAf`jâ5\NH@5z+S'޹$QڴY鱸WliE[S⋎lNFS(ڙ[ b70*J{68$͝hXG yҿvXp̀, i15WU£cQr+,t!ߐ k۟q۶TK,xjQz85 \Gau~ζlҔA^u d2FChnJ9t7(|C .=ȸWhⱎ9O#˟t#6<4((TśGx'?z;2ڞ/2X%iY;Ä@KB-n; c$mUC(jP9= h?ֱX-,aj:(Ĭ-n}[ r( ?*AA+d gYZ190de864496caab34987dc43694b44f6466d97f80e3f5d7770b79d46052d8a53d0fb4bd743cd8681 265218b52b747aa88e85337254de8e8db5ae0fcce0788c6777da5098bb33de101f91422c4836a03e