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  6 6)L|l ]S]Incompleteness:threads=2elapsed=624.510cpu=987.972gc=17.356factor=1.587zXZִF! x`]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_RA10(=B(*ċxW6~/MUp~[03X~Bhl9PGA| ]&p5pOXf^kZp}=vN"I1+枳.I E$bԝ?r-;J )t0S`(jPŹJT߮ ##AWmV9*4 fPHzhpiB!;nWZ@ W_h(pzH_;6Pe[@G˰)o HH,P|K3IdB 1O:Dt1VTlJ$9{D"|;D0u9ɝ撪0LkXzCT P)m*åf kVDBA(Rwq)ջdZ*̹{eid-Hq_$.+.ocb޼KHf5-+Q2fzcWq5} }VEOjC_-,~"rTB[cs}iVj @AlŠIK:{Mx.}C;(/iALsmRfϣ;::4BPoByfJNW9-@[}t yT2$/\+@av8v^+b+/LbmL pf8|a[9 ڿ ) Incompleteness&Mˬ&*"*&;uaa[Mh=u@3R_< խΏ |`(^3CyYtJi1Q |ĄEBnKt^eF%<.^w}`גo :A8{\l۵QډdY V먶]h+ta}Xӕ c/˷"!(er|v^]MVTw3 ]ap&X뿉Ӣ ^x(!9Gf1Ng"j5uxhGs\ωQ!BZ !g1W5m7?{/{v Dm␲D(^% 0WzUćm8AǕpou:\PTl,/G+/#K9$tr(AU~׬׵k݌k{?u 9%ftE-F1iIeB?-+^(#^|9AZ|,c#cb^o7^QYXj=IҊفXŸ#WI=2i)[6cd!#Z;`yKH3Τ+dQvYZI{:G%_^sK@R %bkTssdnc_8  FjS»8p5~1|d`so.mP!"[MYo=&9֝Mƙ[KSЅ=h##fL[OuWO tY鐌dĔhc GBə:d8Z\`{T.v*8/lޕC>fpuv(o5mbSV;RF%V7}[BGQ.NJ"^S2At6;KY[)gN 9#.U=f ȓtDnwqºMS)u)\!J SQ|Odճm4w:ѱ.x%ַݬԤ EWhHʙ4":8yi⑁H0kGȉwmqʦk-]&^6A?z+qIUb :jKW`*r-   i7 *!ṭd{X{h2DooSnzwW btv]2t.Rea'Fo M_rjHU-otGXz"זm;_hrٌܰ XDkg8a P[-~: ܇EPn(1M 7zTcT":`m!h3b=8<%&i+‚f'Tx(ö\9| Oʮof# 5EoTvx s77؂Δ%+bq05HD4s.)fu])6ſ9\;g}> Wk'SHgcUñFX _TË#3w"Kha]# pG6ZPԖeK RDsf.t1!*vVq<7Oo%475`KONv(X7Wj/T5x&[:"֕]Ok.:qR8 ^IH7q`v*5w=/!,vkɇ~<}=!V"Y%įfÉ3ڥq 2—ڄNv#ږ>qY!quz2rT_'$->:dif]1*o ۘ[g}" ]٩# #,}ʲ\ߑ72է+ً-4*M;H7zyjĤ\>ȠgN@lu.3U,%lgmܶb7+Ol߃s}oLOz76ZTwy`9 ]i$%nMH9i[/(Ofd?k5/U{m5] ɋyR;L▗ON:G;NB$\ ›9Ri JWt[2iJ[KMLb do:˜ITtuƛWC;#/ *pAKYK.ѧŌ3Hl9T PnۿU< cN5 ^Q\zYoTim@},%9LR`w,+ZoP0%vIW~5&49^5n 3H+zmCRφEYֶ18 VFƛ2FB D$>,h|X6t&N^w/_,? OeJP';Mu<SDA+=Ǎ(ݮħ}-a ϛ%IzܰeJ%dgrZSkQƑl {A#.K,\k)9X>v*}A/~ˉo7Rɉ_8!)rh_ ~qwWΌ:KJ柴tԩEc5:. /qzpL}G?}g{3!*Kig)hQ7|~[)z`4dvt(5@2sw]矛/TeS_8S*2њ%=߿0~$YrQ ]]h:kO;=`(X'9T9ԱZG`TG4CNu3?ڹIK1ITo pH3cYGQ[HOcuiL^JZ ߶i!Ao)a I坲QfC[ͿLXڐhi>Sus%4+4GCktV :'x7v|IU7{x/n.cM\|PdArcE d ]z凤}弙cB Le2B]HpC~|n/I;]0I4eINyYbyl/9J/~,3 ft=N .Q5[xn=?E('&LE,apU$EKM|m r("d?%[K[&?&w6$+ޢ^iq+:I#o,v} U|3%GX:o$ Aq'K*;P0ҿ/T9+}Px"&d"YH!yZrѯ%]u7+K!E{7`wQ͒Y03/,?Y:1?_ 3:N0UgI Mwh? h脁UN4EU/+ڑU%w3]SA>pcdB/nw fKͣ`P}D+2wx6f՟|vX Վg}7T^64~M| B$QM& 5"6ޒWs:,No^땔#B?Qzg˿ q\{+:lGѭak59IG:n׳;cEBuwXk[Aq[s 2 ˳p)А|ҥdTNAޓC$-88gYZ7zXZִF!  x]ŗXiɟ頏ā˙مPn /C$ZN^3Kwɰy4 eͣsw2dw :J5(pb9L_<xoq`78 Kލip۱$I,Ɋg)D^0,Zxû 2!13e^zUs`]VcoٱFBC;ʤ%6~)fSEDZ6֔+40І*?2B/\NUr6VFNm6ݣPQAվGfe2눛n+EQE/tX).)h:J;hw(b{ g3}8񳖒ՄO;G'FP2ž=|!Jo B#iG`Rv[tRns=?5cm7_dؒ{4Q!zW_-f>Fm|c\D?Ւ5d鈜Z0^+҉`Һ׃(400Y%fXǍP Q*I~:*iӍz[0mKH&.qmFNShCqg1"_l\y: P4Zdtc5iVgN0Ya;g %q-)%;!Ki\9r֨pTAo>}< ,pQ ܡ)Tb/AG rk*g'? CV)q!R`pтCIS^)`ΓbL|迻Y3$9ZXE$gp̒o [XD'cvAq{ ώ%SbOO,=b[q|3KoJWk(rK׺+e2J0cXL\P럋EWR>d&J!w_7͛Ä1w̤k ;EKNg|%FESlwo4nkڕWkJ'PW&_r* MB&obBwFH(e#bhETY\2rIG*10 %? ~T6/QbV=) 22L@tV+3Drn愩"YOYp1+y6m kihNo=[öٟ&}{e0(3E,Z-vS{0886O7),9pڒMC\9q7=':87k[1F +fuxFk{W@RgBC~bAn |Q$;L|)HiPp1w>kﺆ6=T3-OAI)L:XںF1#@V򢗼ClJlisOHSgx;~*8U`=h֜s4"sWėe(<` (1Sb]yD[y"mb;Q'Ylf5gie0?/6~ +]i3;_]צ]R=@Bv|FW_']wɫ0X[Cq|:%<<+K_I~b&M J㼗$\5~t, _JXb2E<͍8Jǵ\cXiambk=-[jGz{s lu(YYeH!ڎ^ D۞ _radpЧzӡݨn|F4q@)Ӡ[cn. xxmXecܪrnQV':{=NMI5/*_V "2i>^˴3"wUQ!8DyTA\G_A&o~ KBR&rͨ,bbE.&EH!r೙#$3?a$-ۋӮ_@Z(?{:=kc>-bMa`?B}m:3=Cos*=΢Sm4`(fPM1M%@G'3 %XqJY?.≟"6k%vS&ꚆYY nzl!&%Wce)/; j^R#(' 4;J;C2 1Fg4Cֱ3-@@$I ʄ̙zOBqGÀ::S;?+T@3j֖t/zX>%~Q?c_tNBΘ&D\T_stn~ύxxQPӯZ*70#[L@2XQ«D]P/M睲D|7\︇ӶqffYVQ=Y";*od8OuwINȲ1YUJJ1V–VXMDZ'wRs ;!T\-*[].%=HV=VoPᲇy$M 8[ňJ4/h>CG.bVX[f%;ovDW#Ayhr;uW뼓 2Z> ⚜hx3="@SS=gQt:,^CE`v<]Y2~P@m^Y?bGHTLDOǂ6*p IKa/ eѓ sO0N>Vg^/i,aNw[SA]CJ&NG:.E!Tvx8 \$b1A„ BHiraU6Qȏ יXvo}G J/r,\!f2N5sQƗP ;ȬOBzqP.eqGj_&T*öW}'euyEy\_z@)Dcn8m$G/)Ir b4 }!fE4mHףּ>nߡ4,ZjFkK̘S[ eDK-=jOYb5l^2$[cGV% 2Eʆq_`K2 JXJɾu' L\$T߅ͺ(Om*rRԦ&Ch_V?R 8 3BXR0s$#~"KMQe[le”,=s& *Z]f< s|6dS<;ԑf2!dxYվRʢT=1_fԽj/M3P*]@+B)y#\uR F{ T=9lD["#vS?"j=>oP&[w>ŵt \G<=W\bk3~Rhxjw)ڎ,=AeDg=s'O2bʊ_ X4:kV7ׂO@}&iNR`q3w"E Jlz zPP{"ؿ p`!ϡ'|cDqGϰFv  ɬ~SjUQՆsݪ8脹ɍ^^Fy~a2 ;-[D)=K-\!?LRכ"B +~=,NI-^]>)߻ﴭ0@bbbN(dd5wT=VC8 F\ a¯UsEZWO27D1ܬIMOOhc4s>a*@NM" ɬNC}IyrS'U)[3ǟzE]f 997CDjsv~jjYA.06pqX/$AHQI /A d[kɹ%oO< w!SO $b&$')b{q `Q\[;_ZAˑ~u# HD[g-V8&ߕ0[u$Իe#$z;2!#0&~ݳ:SDI .ʅAEa;/v{7V9"El|%Y0I|8?L4l*&֍Ck+L<@nJ5J:F#)*- R>vuЙ8te\Yits)1k )vt! mOԟK4<  Cx%@32/m1V>8m)# ńJggfz^3d{=,Ñp:ZӮhKBA8%O \9/mc?3x^ ;rtcRriVz6lJ2x ,ObsU~raẎh5]~@/)X""jaP&y|m@VE}5>4oZI]}DϚQq)S:ܪՠ.CD'f%3NH cuaurD[}ߛ#MpEN:b,64C尯M膔*93-s3ڕ]>zSĭ`=yHמ(YAC יP×?Ϳn-"z,7CX/ %6{qCIyEu", x8cK޴RC%(̌+0>ܝZQ2)hgR J߶_ , i1#-Nxȁ;Q1uFȧ8&69]˦Q_=s)S+{" 7bmJv",ʓ)<.pP͆svyOl~S }qV{ALq˥|!%!hqo"T97X6̻H_>I+fĕ:LB9JrƳME= `3|y!xϲҦsnYo迩髋4ؖĬ VtCW1a>تg+>6*KkBܟ 򌝠E<\SU_&zo[(ru ]lC-TĀ@hQsZ=~=e9.c>m箐dTw;"ڊS.u$S~˓8Ė#@hwM/O+g^͎iY}z4֪-uKq`뱱_SHYY0)FuNV0j:0ID62;&=r&)3L}:o9qj=䞡ecN\H 9?hn` %C"lřJYzy߯n>дF4V^%?ךB1<]Ϸ)$qTh>$E/4Yr W[RuY:mhfP{vL>7#zZugi">EC/b[?RleEcY9̊D*Bf ^=[6u.zaP.jD1WWkЦq60`JTDSl{y7JxfxՐj5%J}K$^5R\\KF9~/&e]- gl] $_>IfIđ6sK+m5'HGOB%:JsOn;",+ Vq^$qw]ȭFZMC/_~lmpm9,8t!bf@un6]6560=khvH~vq3aTQPk:4tm FA[?02N9emQ拘kEFPkz,ʞk=2:Dt%R$u3atX$Vs a,qn`CzLzb2Q~RNB4[k6%։F1[{L_nn;]|l ,b* (!1ٰmdѯ&鋌_.`pC{ {[u=\x/MB`0!)F>U3.['P|6u4]懍ZUØXo)w7VkG$(ZM{#½41Y/Y̘4) o.re͎M .3n0>_@_4h܊D/p`lD#<dnw M̫с N~ #I^N~$jid* Ѡ[zh "C(N]3X$ƹ?caMTOOr!=w/4:HGd,yP XcNcDC*|3 &"@8>q:\#sO;.IjO{t&eD;R &7 ! dn ن"Q]|icW *6`v;-4lѳT!H=ި1۠U`;vc>MT$WP'4Lӣ,wE}ʦpG .ӫ :!Z;B˧nR-#ַ5YCelY+0k`.y}칸r$fٝLݛ!6c= b5mՅs-6ӁBؐ,tiD&S >F=E GC.frN-Z_e$)y-bZKyKIj8_rRx%Ơ'`m9~Hrvr`o@wZd!_]r{.,A&?o6L}#wkeyCCm`-m%}tGnv^ {~lfN$8_w #9ҋDd<=L# {e1:^ !O'bGK0)KyaGWsC:."./qm[RS,މѧqگlrrocO.L_A{iV!uv7߅As}Wp+e*tC ]N5s~T$5H 4PSB*8Dhrzŧ] '6IәXOi W(gqV p|6`4!> (ywomi[ewkha;g4fFviCݹ)?sPV&X$Lٿ}hK&Y Q9TVd}].JNld!mn2fW?aE]@ޠɟQEsߚ=t%KD0\CA۔3)0b΋5NAS&%3\Og)Ȅxglyn-oed}71*,;,7c0k徯qlG5%6<ቹOd5r.ld%l41 (C<Q']3O."//`p1YBIf>9m+inbpQ)PIzM|n IIpG"CqC?ʱ8y^*WzCBmMW5Uʺ{])@m&j6yȲfmYcA&o ~xVR.Raro#3E3μ=:N>G.D*=&#vҌr4=f`dco~&Z Q>/';zjx_8oRf> (伭݋U9]w,>FNOd,#& vsDģT8h\9 [u#câ:yLd1F#DItְ GUGRPjH@DVX^jP;|}2:' ~ Ǩ { I_u@i<),Id+:Ze -bFN~ΤI\dB"ڍ:=Sd‹:hc47#^k%.#lBbi-Izf +\Mvo]e&;VFz  bvŀ0x#z?Q`-;̇d$.pJ) u$\N9Kt7b6±}εNy7 ?m3"K D)C#꒽w)zM>.ȀZ}|"9Il j&x@-P2RbpXc / ف `rM"c[:M)e;Lx.8a,C?e|F$_yK=$J۔JoO~50!Lq, ҏX8G@^$:\Mfk8ojMzeHŭ [>F=O[~7-aZ9F8cH/4 LjUřjϴs#Hwhx4ßWʼnY!])b[/~D(ЯM_MnUf|3 3{QbQzfKTk&}%`3L?yWBj;/egcI[&fU Z,>/gf`TaB[-ZK)B{/斡O͠:>=(SXt~RM` u RF_#Y5c7ˏ'E362D grzipZw&VpZ;t2^bN}>ƈ\.Mc;G}檓4W}m *jHGa΍T:>̀ϡJ[K|mf̙/1y ~ܢM\\!.+chR1t)BcC HFCIԳAMxǻӮeӢ x:h^ҩC8j[R yEgT0;F6/3iSѻ:jQ1QͰ[`(c737VorHm8e%x?̬ M\*7݁R>vFzդEܬ0ď=Qi19PP3feYN77DZ0aaR&K|!'2ѦQXWǡ']G/Q̆N8}?f̓zY ǎe7s(XA|ӋqCoO0xkM^[ff-5ce-`r.N1?D zb<c2-<4F Y|; dUU3(-dvv V[sq/H^9%d4 >#fe7Ğj9 _70N Aܲsdegs>˙^eIH>f6_$&Q({LPin-b0rNͳn.׈f;>2jB,?23|Q|Bgɲ{oҎ3 FK#iThW l8&T &<'k^6&Y!lM[0DP Ry]Yѱ_qDu DtSݑAcRpZζ?]tV[sOgz1*6xlEGn?5Q ~ݎ# C0h^6 тbJ;r=).׎~ [5~hEtyFUZ*cUi.Y6s='F1J##  k7Pu+MW+WADnuW  ҺG J|u>[s'>L) z))t6I_ַ эqX۵y"3#+`\MM*,iv/՞ ",/+d&=M^0VB#m /va ʃ _A'hogⅻD%n6?n Oz)"sjO.yKFoCV%l$Fl ^>2p[VzmӅN&L*Yf{!u?&2AQ{H<}x &)!`c!']O{ J*%R2d΋i"3'fvn'PbFR=3-7Ys 41Ѧr7LE Pӽ0uZ@U|m| T'hW솫 ^+|G)BLYb*uyqrwŘIUkeRbjAU 6Ϣn(aC"S'&b%OT+5 [U A7h>\\odmЍ 9=APѠ.9=͞1F^ZN)( mJH(2:a,C$Ԯ 9_F[i f>֞ c A" WlK^hSt bt?y:Ō|2ƻ3F} ]j)2 Mh8Kd!KI'?J@Uf#r~ٚye9u.(e~:?k亼q(l[t!-O7){r\7aA?3]E k;'Aeimr0~_ -jFLFz^+S`u &Z5uAv¼&XKLOp qw< vRQnF"f*XM$꺧#)(K)羬SO=,~c+Ǡh h<:n FΔ0ĕd\oE""~)Bü8托~IUǶO+(7d7mV4wg$`zJ4(Kwc.EHW kWk[cpN 3Ў ǥkkIZF3Gt. e!]' I r,7e=L0tyB\.() $ (?|]$"s)x$W`1ܸ@If*mh\0#\`ju_yDp"4`0Y$_+kzeW >Դgք219SJ`ܮːၿejwEhD@͈ no&Fs<ɒ(xJgeG~O!1O&&u`@:ykH/\t_ǃzB7Cj%p{Wwe l>o\Bw C$_wk&ƽc#QbHdxŇ k CUOO޼0;~;"=5>k_szzIJ奈R iPce-jF` _syt";w"Yט(b#l9|tOvYQw[9#?b;!?4dD ` F:)jR[%0$3_G/(6zRrI[h_Ry&/Q$(DBS=y Bmm݋$w#DP{e]?yw3fdN7m^DJNSSs 7E;QagP2u(VْȷLiiomn3(bIS-6 0 :AT͚'ύ|vzu'P~=45>+5m J6`Ơkݸ^Js.im IETBL=D>!+{s)lAPaQ|"$ \ (o0((MɩZDrb\%w|MucteG4x/:2t9"i*Oȏbδ[.Y-ZR 理$|{0PІ8[~]'U.&aY]y,}0v $|`#}ƒ|o'S&ek} lD~7kuPٿ|_lR4+K茶V?nu!H{7{Y+}m2N.xB[>x( #VJT`{*k]ݐUn܎pL<Њ UgD.;M$NIo?F_`brUJcJԌhb> 8:4XA! 8A UZ4œ Cp/"棕C$S)0X?3í߂7U^Vʪ u+5:W2e|Ժ!"rb5=efra rW7,n+Ͻkk#whzZvsp2~~\uabjDun^Eڊ]\׉Fqt/c쐀lYjx{+TEnq1as4 u9XF !zNW:Y >>Ft Μ;CK)ܛHGcHr=+!A~ʩsZ4P}'D % Kvw.cᦌwcŸrMz D~J)<%B@ϒpBDYx?߲{_#Vqi!ciJ STU$8j'%hfafTA%XQˑ⮎^$`y Ro+/Us H` ӧ1ƃyS?p$;YkDG +N90[gw.*²8EY zmTTْo,t_;z4s \>ݷ_C窍}"'~,X/e4 QZA~4ĨS&j ~Ucw,:?K'M"GhDӘsҮ/g lTQlx>g6.Hri9LmQ7Xm-4Rv"Zv-%/EEY{FEG)jS?pŶB$g[Z%7 V8H.,n%ȆN+ݍIE3c eٍC97(LV .`> lAt Gdd7,bgQr0[8lWJT\/-{7>UKee% xQ?(1p('!.#sn(_7- t^:$FM Zt `5=2m͇0:`vC(d땮= @晎ĔvzQ$vob`@h:~R:ފ|Heּ4^t2¡%LUZ"Rdthb)+6v JI؊F ,>)Sm)ܕL+ΛMy4ԟ2jfIO[aY3_ZbLz.cpCs.ugȻ-`_w4l-Vݕ1Taǝz4K*zDN5ϟ뢠k,[žf*z[ѦꚳDc@ҩIٞy-.PZ*`)[= 3h\f#qoo<^= 2DL ?sP_j_P46jSSO W+l!UX|%sS[@9r@ۄ/2$fz)#;UtѰ[@o1NjT&_%`,4 gQFJ1L"2om,H06LJ h^\q˾Ec`̺-n^?2hOd|+W"RZg3nr$e_qP7 wvJh^ #ihq,C),:~:HںjYSOШxV#D ԊMHI9QVSdGb>625)JOy^v:(۰Xj(גÒG"QUpKK`XHKW$U0>5ҽ"TG7w7TuK:@rum: [.eB 8\XL\sLE=ڂ^j1PFFMfVTQZSar% ̂4(1hhQ=-%&b ʒ9VG"J.&K;'"@jDq`lzqBi۷EۻOXUby<򴿄%0ic;8Co52-gѰN fZ9c:29Lۥ.K|jW4>&~vn++IqO`ކxHmÁU}g3*9u.,sȶoVEYu!!uuFb$b8[z|CuJp^q/io2mckhv+ALp~6D] (@V@F:3MO*Żv5:vo62}ͪY;2cq g/PD7|#P a!fet#IdVywM8Bl&ĈYѧݡk ?\P;>7f4" #apv[J雔"z^y-FlbCo(|D>.C"c&g CÇ5GL}E{j$mK4⁋;;^ Ɋi֝>~ bUe)&xe6Q' yf-G* 'ip8YAݮG혃V{=C;+aՆk(4 ΑUr11ݚcP/-`&"Źjc}4T@:£' WO 8,^/c0\qdƣDhu?=TdNz~hD5q0fX %`<>1,= z]sRT\ub9y/gḀ; 3ljdFjKF (tlyỹ]O぀;v"z(v <.^3\X?tAS )Vj:Xl~[NE7~]@|x-NG|nu墔_`m\8&0pi(Tm 33dGxSKnIc+ AoM[@}鼯| ,J6dr p rRhWǭ$Ko}I/70͙o\aF3b`]_XiMhi],зe8  EԐ"CiBg,EPRZZՓԩNk6ڞ%~Ҡ]OUePQub[RKoX!lIbT.j <6WzPYjZQϊW,bEldh cHƼ%)U}vNB. jM!Cf_X_[>cdp"F̈oFAT0b ==钊Szy@r"-vO<['0%~I"2P mRB(i=e3 TsFԿl})藞f-4 3"~- 3OO_t5>G|H Ƿ(aJ=ٶ5r,F}ze/ly+F>G4x-ʣ3LK" snVذ8?9RJwo -1]6Pxʂ ]x$xA7;\۱*^*iӗ]S {z1]فkEtJ .\J}P6cPuǥuCjg] V$: vR]K(D2QɿY. |]rC)E2:*\u/fOM<#˃XYydPbj^Os_a-[C-{v93H/|Uy2w$c'G6*jBa{ܵ*;#6[wmE8M)RF_O옹kv *!_z9Jepq VX {ΈA6>`Pw J NnxߛxDbh2umhHP#~B8*^ZC%@gS&Jrs]ϝ:'Ie4֝Luvc3chc@cKӰDqTyi*/?D[ (x5 4Wrtcr,t(HN|^)xH c˞0CQ/lniXIȇ@0(In çEeiQC/rBr&Ë2+o*c*zh7}bjVUv!b<щ3x?}DbbhZ3j"G'b]=_N Ԋ6T?-⣯K ( H6nw.)Ttlr)-BkV`ao nxhf, >rOUL,O܋!fyp:0|[5h 7#ĸ@,33lڅt̊'\0ؗZP82VE l2kh?҂, R͌EcGrsSVPڼg;t!, ^vwٔ#%@C~ YM3K#,~-_C_ 6tIH{Z& |{Z{. Cr5 I1~Wh.蚱2BriĉCD$8PlV,X@ QT*ysފ=V?84.Թ{$x&@*oRVa$tȸKRё)l{{Bev܈7')S4skmj,hoF0HœWV]L-YtF1Z2$x(8<,>I[Udw0p :#st4|W` Ʃ+GTt8[%˺˳w_KPK %16v\hc^q痑{a EL+49(/_2b(3 %(bF^²O,,&2ԟ Y'uZPe@hBZ[9ȭ){\:A=j)G?܉e;\E%N9F@"zwӬdPA݊ppV 5qv_갭NNL.C#B )祈˖K@WfPQn#CKnCGS"uoi̒?&暹 ma_@YžFRH&~ j7&>=[Ku7 :Y̦X$x xJM!5Q) O- 1Z^-CFxUB^23>n?)%/[ohA'z%Y{߹`Rw5z9+C;$Zu8ENY)[KD9T"Se9ۗ*r@w~aҜn25 o+n 2H5^tW?:% A4  &2ԝ_Lc$bN55.pmRIvW/[nq v3᳃0ćQIBluޠiJ G}(_$0oFVDu!Ǣ+Z5ss0#Ń#Jj@O@Bπ$gb6 {inzBl#1ȗÁ/3]V3{Jtl.6N._H7EdHm.PP<H P2 ,Ld r 2_iАB;zg=$YԍVJ- Z I_MBw_2T$v26+7@ *\!y+ Xl,ouKb`%b} '[i#ϒ-'߁ O шK  !IqĚSV #)TOd-Y;L;$NL}}C=)KbG΄E= 2Ħ#-~UŌ3G:;. 9P!J`rũU,n&""GŎmGJlUT6r`wlϜ7v Cn| 0jq"1kf .Autd[;<Ǎ:-s.s,[!!u5yGT[k֮;} >O*mavj2qL$SDh@1;5& N=Gp!B1i@ rspb^dB t7aUDHuk$F7xNx&pJX^/eg +$b|͖mztzd^kp q2-b/t+(H˝ u6_q!ݦsQkmEaV`x פ.HRsrPNWz *:jV^I1$i^w-]6!9#j룓D%Qn/q%4sR`MKIy[< NRh_@y;10!S*jk-&mwhT\,ق$q:ϛ a%oKyg{@fRmWQC6SیPאcPuz}HX9cR3a+Mʼru0tO_[OŁRcT/ y40$֙߇Nq4*;Cyъ&ZYMXs}Y‚P ݭW#A`aÒγjQkCGqc.]vKC9i {:"KC?2pUPPAS،j@*!dj+> *|+ ^[:=Pvr)vtndڽ/ߨB >W~s; ]PXzjK !훇ڥd{̑`C6FCdAN% 1VDCS3e@k &Hw꠩)7x# 6@Z-T>8^w'NnL\O+z]ϤT/%|.&d>Zv]&TR}cH_h$ж1WT +mz3ɛC;\ytgSn.t\mZ.Ŧȟ4yGn"]jdT o>C)Nl},pNWW*E yTqP rP%n iQ%ƛ*v_UÓ2YeGVf{=ч`H11I2w>PDtDON.[DZrcr،i/?&N!= ,|P-ZyY.<>BaNفf"FY0aXʺc KԖ`5οMAjBe'q:*5I;n#DŽjZZdpe )g, ࢥ2p=^&=nK5#pf=2n\ QCXƋ=CTr[SKЇw/j?#X/ , ]'(nȠ.0_wgYZ30711b4a9ac8ecd8f43acc14b3b72dbc4ae45f7c2722ec1bc2993f9863f5084b9ee07bd97dd3d36c 3f001195d7415da4b8cf06d884af4e156b801fea 767fc67378b31eb70f2963c7c52b27cb412fc8af bf6c0f097a934fcaea1130e1599cccdf6936a59b819ca87a754a7d9c7aa3c43543fa2980e29f482b