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 !\Dt ]]]HOL-Proofs:threads=6elapsed=583.226cpu=1406.272gc=187.584factor=2.417zXZִF! v&]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXjtۢi%[:sW]ӍC=4GHc`-ױp.JW̬,{çRMr'Bˏ. SIѩvaN2޹rCzx6I"2:2䕙K@xw2jh;Nmv4TBw5AjG u ;a~]',oHwRpr+yZ-%y՗ʺ{gIq֐ N`E'9* ۢPj7]y®b  ! HOL-Proofs .Ke (Y%mͭRLz2AWZJH1b^L$-Σ]>8 ءA|?/Ҏ?Crex>#Dq\ WшR)?ۯyf }Uc¥s Z^~B_+QJSޡJZvk_:!'6 CSQ9Lej%o$6 5f] C{;H`_c,ET]Z;;"އUxKزQ'6p0pIX ycu: ߯ D`ŤnXY0ʚvZ꿱}'oK"wn3ON5*K<)3ZUZLB=ۑTa|х266&r=&tlŗ-Œ- Cw(QJ\%f\C E V$gOw]? IӗT2nPf>18*PMU1h;io5 ;0JP1WĹ޶s&ӫi.jj)cu `H ;1k2u#* h)9J)p]e@ 4̔Ѐw =[kZWayKzԛ3!:A|d ^؝Hh0@HP-g2+-zC'w 6a3CNLMb LTaQ{,+D}oHy_URbLQTJ4JDeWӎ;sq&la+jRh DwU[QPv6ahS)r#oL: ۇۿڋjf[024%Jm" )b4mᬦk?)+d]ܑ֓Mk/>&&@zCavmbB:|ISc6h/i%ۭz9YiY 7\6b:i$a'V9Mo7c{@:IU4 *JL0k&LZPi oRXW 'CBně*;%儐ldDFEE[Id=I~Z&7":Dv;|6YHKcɝ]j+^J|1Xن 7@&kٳ߫yia]LM=[~έ*_aXwa5TN,mJ!2;a??d+'/jM܏U8"Ʈ:,/Jw*1eK ep >Oa\ֈ ӭ4%zreal : nOK==խټSJEf263>kArLIAD-#a-rRЪՙ8 qFNj8BvXV4v8ՂeL'y KC_hWz{q8#g0;]ژ!$W:*d#]w|GtY--Qz&DVO58`XK#Sva*⛐03uX]cDFK|{B!W``+핧\Wo?ܸF%J9~ⅈH<?^M> xr4p"խxLg>MUPx5D Q[/-O0au(.mSySkG֗,jCVOpG>Ke7LBL`ҽ$"Gͽ?wyqZip-Js{S91;)b#1scȵE40~UO˩1L4Fn!Ǒ4s7NfPoX=V qSB3:>tj:9jbU'"ZV'=D7c*C9e,y )#-Hu @(_$$2/o̖hw&%u-gX)#@m:huvXņN{{pZピ 5}P۠ ndC]:6 4N~!D 1`>s4f2Rn}\&Æf PwA4cH/?Own;3-QIg@m8\D팘y/Cĸ eFW\gmA'wcc8FQbE-{ λ]LjCgaO C;%޴~N!{hFOrLk8o<k&nHaBX7q֭Ӥ2ްR!P#evQډ,'~[f2lG$¯m}B'IVG[ .aLL@iì1HÄ:aXgE] T4D X=D6)zkw% WZ}H9#Lwn 24'deYS߁f&!$̥kBn05m=lTM'߃L+XNUFs7Ѿ7IbC[`mvOc6E稉tA%;EThglhmha;ey~え)⍀TL^!/S/F ~ $7j7E?aBG -bo>Us7۸j#yj_Σ9Cey;AvaJT[nhǩ'8\QHߟuË:g}r"G s|ᳩ9 #+8s9~ Rxڮ͗5Fa|uUڻY$}%M =Od\js0z4Zwlp^2߯hwC%u0wHVz᛾JIzhf;/=EğVeH!,]@Br~**8I>uvؠ\d$wo:W79-J. 4jZ j,_s60JY֓iPJFv=ġCK )`$,2/D1(2zL+3ʨYz.٥)㎉F΢6 &W-pB V4L 9`l6BqXיZVh,@FuϳMY}L8 Lv^{f)O|^( j[g?0S e&'.%ՌS9vtZ+ԈHLx.zk)۽!ܘ5ug ?9}-GR.-95L' k=FN~mjj*غa:e~sq/vz_ ]Z0%tUdا +c} Ya=9rԓ6Ρ`Ԉ7 oJ+N^e/jM㬛} ѵ7}-M%D3- h7lc_\#Bt9 [;!+~O?ut SrlkY kqGW]QC _I?x.cgY=0ߵ!4 ȕaF'tS>0HQe6fo ,C8H١t66n}O5T>~TO*:\?GDŚ4"o:x' g$^Hc^G1^ ì?=G Kо#Z(:WQ3GeqʧU.L$@Z_ / ŻY'98z8!wo&RŶaҢ8G垰$C̲략:BQ,8p vPw*:H0/Kn+5TӃ7n^Fqm^8nƶY[H,+VK VSǀm+/ BXlo[y;KjZ/qW#f"CcRgxU*T% Itw35Od{jϰђJSp"' Wc,Lo=as6k 68*}@ d`T G>þm>a cբ` lp*`9o Xg6/BMmNy|J5A&IyV{/qN["9cCF{,d+!.ć4Y:uDEkbt?w6(gLًO*U`EbFwÈ@RE F>J\Ο6e+mM|bq<q{TD$ױctǢIO@. gYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!B#e`w{:{2u!h&Y~TgR*SՆІ6_ 1OCxؙ|Ai蛖ƷPxWf>Qa yK:DW"p/hFO9vI˱Z~r|w6W+Fe*e}y0[Kc>>\cg9D/NŜjv:#s{g^lVl3AzJӚΛ-YTeZIQKl/ dA>!jßLXSn}*Z8%̸{%E7B-wՆB͋/b=}9=+H_rٛ~\PUNoɟ=ϏP0;!|_3vCkY}ɻN״\C>Ӏ۰8C HUL;T'|d8` \A( x"Djbߑ}|m'L䲗CwGx'Oge;':/Ve&#AF_om1ΘbfD)4s'E~ZxͪFUpt{mX9J,a?^3l`,D1L!ra"zB2p9{ 5&8=gcQLq/px&'I"'`Kp{]YГZ] EYMR1ɿyVmA ^.]$ W-rn )%iO5T_GqU /iY}MGʬ2c6V=D[ԮEw^0or?DU2)"7"w5>KpQRk͢ 5DZ pk .K걓Z}#F2V΍~5e]1 N}*cJC*ie$lQg 6,?Ʊ_8*J:qZ~gei ) 2lA!Z gEyo8ȏfDDM_Y}uJc1)ïoLfiJ?'m& ;]LB7\~kI8O̧eQK P}\ahcyNQ/H%9FuWdu}pqӰ0?IflQБˮS.Vi7lHFZzgdG;:%طC#P )@<u@Kykvy @s_p1!%e>;"QOrD(ײ)Z[Q战6uԗ`S=[eUd(9HqTJW/"fOg̻ 7oי.s:ډj,k:ճJJƼv?LL! 1'h5#M-;j޼@7^xYԈ0q[uGZop0xBqhb+FQomH 7 1d)||N<doސTT 9P}FĄ52 %B<%'%نyc+THuk#JtN>8 K.Vz|dIkL۵{TsILVUlgc nw=C KP,uc'G+#hRA6#{ŏXX}J`7hȅOk ;q&X@d }` h+kN> [S:A 'Q ^ux&rſ:f\^ȿYWR9Ft}ZVѻJxMAD"c#SX&Ԯ, rMfJ2#o:!U>/ްB1|0b.aaljOAl$h(B,>w2.O F^]0&?%^m_jբB13Wz.r_AO+ҿ*ILqs>>1ƬHpA&NX]nݤdrO[!ڥ{pݰ w??<0¾kGK{WEV dfIOP&zrK^g;:amI#Op'RL!Iԛ?(V3oYbjڨGazFIDNø>8ȡji{E) `WA!Cō Vr#U*Q A&ۭ}nM<̄ ([䀨qP)ꗧ\fS-xvZ i]Khy8p+؃Ѝ#FGZ>:L?іTpǯ6Wz8\{7#TojfϼԚ_|،3rIJvܩBxōRᇩ Ԇ2y ޡQG1Au $_&Hd Do~2;3. a~=gLa~ģD_9C 被H ;4Uކ ;{ `i!v萼ȋ 29N -89v< X=o$IirNVۡt01N:%{;XATv< \ELCeդhe,WB#0RzݬKo=eao# RVuk̮YW"*J+J* q(H |U7)u/!IVDq:U `-֦ ˱'/qQGgo# N_KL".dPP cf01:N҂a} !Lfr0i!`[giTâ:UpY  TH*9 Ff Σt1jRKp60 N7*GQ%`$dr,3o/F:_ޒ,Pbb֠4PcF8Z]:N Z"9$WZhaap%EwmX.eǜN<3 KirwnFyU|H7I)Td |KGSs,@l?n ?!~BI{F!y= S:9Y5ͥVN*!aT$B/.X$+Cn'z+H1jLP NGIv9lkaBxMR9#FeC%ZGͅVµppkz>X灵O"9eKYpCK@"ɂGv}TaAU2j a?ct@ m5:}S~OihR6PidahOtסu]Z{?? H\TP8ٖ6_ ] +/2"Qy"ؠc>A~>Bׂ Js\OS ܆=K$;،P6$#EAocw)JPRZ54_>QLڞ|sZJ iW_olUU3Y>M||B,sUp_A{>l+ѭA+'O ` [Nf.-/=ٳiq(5 h{YSɳw5Z>#KṂ~r7 F noZw͕.H@餐Ԟfz ̤ۧ٥Tx$~06]^97pםӍ<ś>Mt@C 䵗$:\GOYqAZ/)-}U5+(=;!?!^m$px {A᷊n#=4cĸtCٺM#|%CRjծOӆfwR1rs+s=7*Fժv=ew8/ xywI%;ݹa^?S&u&1y)C7qBTƴhik!χ87 'AZJe@5mj,*O~ xO*:2eĪsYnN㙳n)!ۭ"I<ʭW^}kW+WN)u&vG99yuc*$(uj\=Ynm9՛3GZ#۾Vq=L./n]:$`[踮{:뺹%9NK (E ̼(sJw dr#_٦M栈2Hf-X>&++ [-8LTUBPGt?45w˧[[=dK>.SK7xc= d% ;\l叇c\ٞ` * ЬsRqcIIH=Dp{ηbzD?eh);|Y*#b۬I}#?驸kQߵ31Ycj ?'vҒO+ޖ/C* +.| 7^2w|hu4N5?=na'S5h z .WsT]'0X0-{h$omnmT`|t4?E lu86IƧɬ|l{_uwǩU9VxM?b}c%<-[.<5ywadq ;t݅G6ŭ$ʯr,%2yo$v=4hCK\LzGa I|s:v#&/~%䔯)\ZQ 0 ƣvZ.xhŬgO"+[qtCۛȑ~ppF:.EU;I\U Ӽ;mT\Vr^OHw򗣑W{Zڎ1FЩ3 K3L0^>ʿ1o$ lKP{FQX8x |Iw-H\qyMކɴAn!:~yGDe+Vmzb/U*n)f Q;TC[D~5/b;r_7j9i&z,F`grOTl,BUe4"i*![uße|17V Dn@ve_V2Zp9y˲eauK󁊀hd;p9hg„R= 図qvJi?\_y. GL|֥nZA,k tU"<%c: z:y G`G^|Zu$TИCa|cFłTdVk$T''OXb&c<Ż7~ge VfyxV5:Y д 7BV3ʳ{|uO@hC P,Aqxa ز9=Dj7vjGcͲ:.J[1g;MsɁ6)Pwc,~dg~yըmx{3%$Ș-d_r8:#pʖʓ}S.+\ڟaחx(s uWߓRZ2\cq@Mٴ@y͆8ۡstPiG..D(èlIM&=K}-${@c1CD6- M,eaeX8U|Qh1&{} GYI]P{DٵA4O.rS̈??$|)jf xYpMJuI,p2uG?8:@yvFjf9P[C'cn3b=H!=ҬfOHRN^00D -yY3sT^?m#i12;qknD',`k,Ђ.A ( +&pJ<Z֐젚ͪn=.ׅ΁S(ͦi䣰)U'S8)MF<'Fe4r_7=OU\=)=xpp鷛ьijxOq;nG(9`i*+ i&BI~)c4;l0p*1^j' pBLX8(ƥþ=pjx7![lj)`2A]0SG0yFJt ♓gQOY;]UȮm̊_Y؛3d0@Cݏ'T"*j(u>+SY>?} "R)*a D[T'_[tsSPt*|NX-LXWsLXN鉵}[w$n<2 GF v=oDݤぜ.׳{D!g,,1Mvn &gkVIAdl /O[ bM}D/ȻK{s4\!$i3`*@ۉ&;R8' \{´gd됰%cpI'!e)&8Iy6hLJZ3oaO<Kd,7y Z6^w-h9E-2`:Ёғ"Lö#{meLf7ڻo44Sp#1NXgz$ո|R[r%dH/]r|ԑլ}yr29pzwԶ T+vU66nPdIzVXs pvܺ|^J/\0g¦fUDiL189}{_i>J.08[a_x}d֏"yh0(;D6Ή N@v㷳n"ƋBP ZS)Mx-WwŎ5co5LOTz*z]Yq-̓%txX)qK5& A ۞鿥<зl'~[} g$TVɌLTVmul5U:2-$BP.mnJNB=Ūbh]͂ju2}(Q5 =;?C޽Qm΄+ *M9%x%hyCm<~ۗx qǃZ!X D{ 7(mc*['7ʛ3IpYhI5cӕxTRC8)5^!g \=@\1QPʋ'``zLBTٶ4jTwH(~v=u>ܮzUk1UFO׳zdz=p)''GY_> Nky #ˆ'y08>`M pm;3՚D^n*8Fnų³L/c&|F/ 4=(uupA@$Fv戞ȴu*f3 bV0s "3a'x`OJ ݡtX"Yex &k.gKi]?ފ~5-+tyjmRRĵ3S5:Ƒ:spo-JU-dV`j3u*82oW`h>8p]b0m1p{']xqo}lx9)pM!%dږr(z%|ŗp( ɋΐHݍ Ԣo_hY~(^ FLe=L0U7kHc3%imA3dd&`O!o|QyErm񓨤byy{TqFugc$]4[ 'Ta[UHqF7PHcIپTVHZhr[tބ6/7r^$]peD @ 1 ymӥK t~O ;tk aDw ӊ !#H)eXs0D b˟hЩ\Ur QwM*AnguϦf1Fr`|Ot aOE_eL9@ub}naU-[AbULWȫz-'} PH%z˒'q9;("C=!Ia;^kg9j@P(~)>)S~)>CP1Gq&`cYE,>ž+< @OLm:3&{]:If1Ӽ|ۉnf$w#7Sh&rW{abDǬuuW`TI"ل^!}:z z7|,Ҵ!*ѱ:(M<YgAT_A'4]B:&u3 ]EuCYm&^x}?]F]%T ʶ'.*4D%ItUmNGAt%)/К cཫdUz2{|ix@"oP߼%U8hMsngG+3/QY&nhI# -?%E nemBhk@ߏob9χ\h|ˌ&j` ,5fdS Y{B0{x\xcKI:?(A~;ΪT_ D/*2g5 FkVyWi& qtOJ&uҰ#{{i53,}Wjfy-A0B7*crF }('V"wxz3N[s67u~I"F=،g- w@aKET7 9:!ħC+#ndN}(0ETz "]+.Y;bT 歾ořl6ҷSD".h@BFkQX3^o,8Waoun Ll}AK,i~KnŎ+^ZwwĠBWE-H{7{T6€{趧D޸(rٛM[߃ᖛ&9-Rd\ZuGҷU8닑*V#i]t[v7;4']?t \`U[j-yjz@n^vkV\hPz`c/E]L!Q}D-v$.rҺ=Pޥ2f"'EjvlA]^ Y8tAq z2Ow63L԰FF2bׯ6?(S4KKp$fgGvguQ|CI<B`ìLZeM0 2} K̎㥒)~t?Iћ&*޿Opce@<hFmezQ[AXZƵ퇵g@d9Cf y%;+@!.q7X@ Ɖ}JoE:EetEi]%rųI%ՀnyAQǹeuߧlIdƹe[[ 6h Lz< |QIćTP{^6;u@J trfVJ4`m)sR>kڮN 002!h4?v÷(o$G]v[b{Hx 4pɦYaq&Vl6Nz~Q5cAAH#HfL[Ό<ȱT^cM`!XFߗX(kf >4 T G]j;7˾NTBЛF=*}؂|dߑ)}+qNd%V'g<&Ԋ?6tWP5M4>p )NgwRnQ*V e݋ ᖉ1:) j}HUT.2"#H濲>O,ߙX0e\œbŽ%qY;6s'q[}zjsik@04&u *&#,^Q ùa_MS$_7*ofOjnMW+|6 ޣ3LuYRsǸA-| :/npݱMp`zQEKcPˌu+Px]F[q/ ?8//×}Ѿ,ZیN5= _WYhdhei2Qk4.R2}eEqEƨd,kA|shayx@ G aýa |wCHy< 0Mr,Req$uzNƓ@k7P& /xJAi;&@f?u h'EC# o):yyk$ *rzh3NIaEB9?cK.5=ƩΈ*l:]lCrT;*wsFJ9aHۊ%\'A;vsKl4_D #nfzW3)%(¾u85IJRc1 S0O,j``g26)24,~~*L#&@\T ߯U ΄@c_VkU (e=-F~&;I?ʢ6_8ܵekB嗆|DcM#vAW}$͞NJ$>fe*η,X0mڲ$D|m"8hi>nx*9dik ~A`Ѣ_Ύ ҺY,sz QK(1.p *f,iE8Mi}'jPg~_Fɕ1lϩO7fZsqV2W;iD_A}4Lŕ}_v te36rZEVMjF<(Q9gHrN¾_;]Q(h|A0{J #΄~b죎3Y/|@J }YC7;z CZfxoUSq?Z6Am8+p 5c7]-_A&8{ AqV溞Л| :{Ay"fCEWQ_T-b|mV2pj~HEf5Q9Ӡmb);hpϦ}6,S,A M!9Ĺ]Fj+%0 5Va|G] K YéDܙZD%%i_ .hD_˾ZJbeh-EFۇwՈ0FQ[Sۯ2{~$n^NMy6rN->>}hAkepu%FI=;{3[[EdQ0 ry0 ϭ% biYpJ>GM9)G.X.I<l c?#\؁9\*)ݞ I~on{&iŕ*5TiG܊gص xIo,4<0U ,uS(de!ɣ6 Yͬ/o@\[lV %yp`JHCvkNƿ37SS>Fn UO bnKy*TsK`EGVDk9le G${ +ϸJ-:T͸ 845QWɇW3FÆ2O{3%[pG$x)4]ИgvA k/LL ^V8bU5 *j7C5p)>S; JH^~liOkIcCi=UBx0n|h:_H΄V6 qyƆร18vA!'\^XAn&rK-F`^Pn^ZLGZϾ;Q*֮>,m?p;zASO(,L!C22)IVܫEdKG k_ˁcQm?Cehf.e `vOڬs̳_Ax]CQ1LP1QXX>8ŷ`_9&:|61vi|(j!**tvhE┉ N2 9OaU: hf]pn ga6x<r̀QHLe㳶\ZKjs2dǕ^aMJm:u>le0R9PSɣqMt ?jŅM-6zQ:6im@=|8n(5a;Їq+R/2 Y{OG]\,+xH9<էvC9鳀mA*sH/;L ,N9̮gAQiMzvm&hB-kNJ<>m]c1kU@g?HՇw̺{Jć\b'm4 WnOa:VUccb "tՎ%*09Fp:zqKY}"\/]bN к7 ބ0AG#Y2PwGxrPZOx\=*hQfDYX%^S2ݐt2}-)A%BqD!1CE-- Dc/d80_cu!e,79Bp,~=i:ʹ`3Ö))s2K٬dYg?T*[eZǙ>B[AFMw<`JT}.m΋yi@қ(LN76Q{H+n͜X jK pzEKZ%&@Y9Am =NmWP=uoM)4D1$N e܍@t~**<-IްQ}lE.u9=wI5v1$"~5ߡe4й;_G zUTsͳD-!폪JtTKҐ֔,rG'˓IjUeM?s`0`}|OnxF$?T#$K 剣x Ӈz$bi{v{USdIx@Ք:|y &0|Iz6!ӫ*pR(TQNz%8{D,g\BhA"d h;4苰(0^u&?z F9X|l@mTn]Z F#G1׌FjsRok"yU'ɢX~1ӻDepUo*73I1vp ;!d TVVNz5Fϱ6o4FV$\^Dq8hl$pІ^bR뾲jz9ŢHG1\͐"FBV J {㻯'/L=罶/j; mgRd)=oX!cN {!PDo˹Q+r ͍`;rMg{5o*/'`>bA LQ;^B~%‘^>՚-^y"<q}·_rxX12ٺD3Gw^4oID r'#C1iʾYahmMZĬi_(6 %mT.UA}DCs!Qٞ->αWZKΣX6e|)1kPRFRF7dƖaֱLz`uhܵ.L״1y:TRwleR 6+B(!\)DiG5\h PE:N$.X|Yh#%V]DYQWeB@#"|%4 *X N>"<n;):HNM/=cG׎S\}*Hxrgؘg?N>rMBs2ɹQɳ{*AXyb@6QD:OQvM% ZX%Au-9/fos~|;KW4tn#օO9GqKWbѥC} ^SC4GVsȍ;S(uǃÊiO 1sڿ/_*1v`FmnnĥkM(3(tW y+'7kQtGN&Sp}e'6n+.ֺL\2<K"Nx&K-gЊGB5ď7[ڬ֨uڧ HxB-YfXx Ga1nsQޕvE ZjMe-xp}Ӈ/~*~m55 >uXz#2d$'މd˜Uypal 8XNYƥ|{BSQ%Ï#P!=iʼ <Min-m]`aL89B}yȴR,{K^"=8z7ZھيPEhuy^Zt)^F(71;"It>kFG)5" /[.4o6,m4iSXSkHJC?a !y p;%J4;; WP)΀˸@ӂNuNj(^F84+S(IzҴEɒ~c W+@OfhknvW+Ie6gѿU,jNǰE[;˥"xJ~ii bx1Y O6 @qb5r%>͟-%2oMUVmiGV'?]OȜR B=>jdVtzLM3X!j>KwBu4vj?p;Ƥ=e0K 1n%!;h3PU")d XU{liþaK&(.#TS(ڽtOCϒk[xmx**~,:C;i'b!3ƲZjLgIJCvO죁'531? ﷯( Wb{$X%<5z;QO 36f˨% @Jac97b̫s3Ec8I\39DSz-gJc[&A3%~˧]*9IK@Gg-DP\mf{ Hpu*Ġ{l 1hֆ?vbXkx뷍4ɛ|N)E5b/b{ᬟ'Dݩ..%8gIl_-6f`ފIx/'iPq2;:ia4Faw+K24X%1zzDExh*Waǟl}Me0N,1|ĹZNGh#G[>3X=Q*}!Xt$U+ u[P,<߱٥A =sݛ}/J3}8}O] Jm}ԺkƤЇ"N"/ ˓VA#2ULz[5?877NPaEh:C="2A/:tփ'%zFÏ%HQiɗ~rC-:$5d@A;XM&/حrL }0j/Ezͦo"[,q3#7 $Bqy`d()=:V9~ M80^Q,ug[p'ГLd৥ldq06ʽ!Sߠ\CVZNC:-!1''X-kMzdWlB8z]c"+J[9s1fvbQDUgNn^) iF`vU)@v %8HJ)`L_? l> PݫjIo(ݼXu3:c/A im)sۏͩs:KE=onQE./^s2:RVM:)dW 8r@O;~kra+VF]c@@ѩr Me8/Ö %䪫o+{ŰLmBېPذwc֒e |ƃ4a`_lbX-BMG n;=2zG%?d0Gpyq7*EeJ*U5.8:9 LnsЖG#fTNL9ڰ{h>ڢ, S y0i'޺/~f;]jDvr '.U!\͋j6pz[~9pz یF]x(eR%hJ$$L|@sb&8ǩQuN?Mcao7}Yjx"I` ؍LB r-DתVَ9߯{;rhB3f? wYi~a( W/s͆pfLF?KɜLzv'%DmCBͧxl}kD%Fɴ`04QMtdMrb!/zB$ Zq9MCӏyaqݸ&742P&Djo.|lA}98BI%!6ދ ?l=0+My!+I&F p,ZsɝlW B,& -U;yNYXGb rSHVZYoRl;Ʋ$%@*JZm5#h_^8 Q$CEÀFBŬ@BZK|)Vϰ5pE]h^E~Y- 8h̎$I#źH(ut*Y2iELBR\ƘJ~q.ُ,f:Wȹ $ omE7L΁n$>۱~_iY !G4U$hI,.Nz0?![Reps|" 0ٷNy=l8 vr\y ~̢q#Ǥ:O~rBOԬG|TH+:ӊ^j =AClVVXPVud1 RL8Eprdޭ[861 yC5psnԄҬY\0j!KYAnn5NHfQu1 _UuF fh: r2Dh.ZG&Q*GM/N)3 ݯw98"!~q3sh_-6coQVfh';ZCEC<%'Jtӛ]ӲՑyr= ;v q%{q?`@B%36tIRc=9cNv0K,Jx4Ǡ9X(gr_MT#m ҍZiS9KнO|\AܐjPά"NAD!n;(dLF_p6K{ugqJ)wfj fz;L;@?$dOɕ%_H<4iZ|Oʿce K0~"AIj#BuټV$>l`AĽ&i_nDПEk yrwwyPps$a|#V{Y{Mj kg$ݭ1 aSE Z;J%&?:ikdA0=lA]y<4hP9X ֞,->bЯX&"Ua owk_5-UC:{{5?66!Bnn(K=ݬlIKM2s/HXx 2.Dt^!ϊ&ݎK@'ԜdաGda$X f[>[ȒSjJc+lz{8!o9o@7|2V_.3>_k+Щeֆ*Qovbv^rhG-Y/Q/RFvŸ ԍGP̩"9߶iƼO!H}J5z8`|Rқ=bgeU~ 툞eV>ɄAA߹k}Þ#8>UO9|fX`ڔRtQBQIV]Fiw{ـǪE4x`5B jނc/99b`ڐN@G@J>lJV˦m02 owwk=c,Aňؘa^H.ru$GJy d+;.`S}#fS$mMW`/aŻ )|i@)5 ΅gS Ѓtj\P /VTtJ5uryE2LN*߁ t@kf~h?s}ŶX @(6qNޤx]tA|uI-nJC0h Z))o\ݎt#vz@aHצ1j! 1"ez ovlLO )9l$UaoZp)F'̠Țʓtm_XڑǼͣ+.gx#]Lk@8"jmM$h 2!;amwJVOrdj 6n iJ]`/x7T[dܞJ NLBsu|¬aՔP;y]vE ^ѴYMP;# K?qe?? %U3Hg90‘-DKDX#xs5aΎ!fۊOtF*]}Ȧ:Eh*IOx:ʱYXRhĎr|"$L? ʏ nY@ Oۼ+{U&Kԭo_=bDJ^VV"P2]pc%H.߮+!1yt'x#~֎Cذ~0)0 G C=Q (WIbF_Y_CPAևǕDD۔eVYd-xrA3glo9m]fƪ?u&ۻ?q1K{7F 瞙=Tw"T*k*46\ [b'dH#YFti>;t4v˗ޡ[z'uͼ 6t (|}_ku@Adlk$+{`M`IÆWQV .M$cz &K5|S  0v#w7 .܋ 3'xWI2UZʍ0bT/mn^iE 9͐<ՖwwLtO-9~'n ޶|+=~D,0_9SqH?q+wJ93%~;vS_ǷRaJ'4!yvGvl`SEAR @IƖ~\$?> (.VT5oM ;U&rlBf4b\LlA-&ʷ`Itjݪ;S˞u_!R#S;}Ue?B/d343䑊%[Mըz-оOEu.+(ӋoRRviPjh趈xS ^ϔAq$: ӖC.UkSSas2$V83:Y&jˁ~ j;?H$yF%XponDS7j,,]$U0"^]+kU}^4mhýY瘳ɿG8g *J¶aBd'PAYg>":ԟÚtlAnBccC\R Y%&]n]m w^>RoNV0,EM& 1cRpt1 _bpBO1x%F K }A]&֐#̏ϻ\)!4f=-΅39x$ui^F D0V4ޔJhWzVwc DMln!ӂ0dJ="ɬXIp䆀~eTh;h7+"?^bgH\ؾ& 1Ot|$՛0[ C' *R"t9p*ܰ94Y8%wJ*伻75%DȺ_d򨼙.b? &ҘlrlJhmV& >qrQWzCu muP=jH]K1`&ɳtXiHXu}Yr_K}ZA 7 .(+3V92KU@PKuq7i{A"LYP9ܴcQ#QE@}p-BfG <)=8jSH YA|q痛w&LI T t4:Ybu ^brQO>z=S l%b@BT7r ~i?r-pvh H 쁔)\oICj谂wVvm4k}?ePD(3ӡqɑi܄~QaMÑmPQNAc7:BW, qTkK.Z\gg PӋFb]#?~)%I)_&H(w5X9l)RoF;9ZNPi)7YnQ,lYZz'G=Ib",qqj$t b k'#wpqPHZോZٖ", r:cVFhq{=,HPn3$p~-)A^p~gU: X1S1{Ār5#&g~QNsP"00{X#eri=<*&TallkLl(haj7tqBWW,&-9[{or+3I:[5}{̻W(>[=Xɏ 2-Ο9C{3>sd4ێ (Zg?eR"k0cM%Ȯo?jR03 0[屘y~"'(-vZ~O\0@f~0`7[.(I_)H5))tͦ 5a.+j)N5HNg*=< 0LͰ<3}¦l$ćmѝ*=.-4!.j}`b@GF8$N1jYqGS6C{7ߓ+P9t&!;<R(1N9v"Ϗ6p?AOHնERp9DV ܰ<~~vYV(4 WNlwՔ( a&bJOFK?Cf);p?°SJ,&2 kȨjڽwVd4;䢶B!ۀ# J˽złBKi V}[MuʤW˪yp'̬Rb=\FhY'%x3;[7OWv : N{NjN|K KbU] ;zbtPbP\ŕNs%oIS`J~I|Y<"9U(dO9pLKdaKt"(v6O|t \`qlmZg,4E!IB}KRi'ra Up㨍oD 5}ܜfI;#X['C6+&gYZb41f3204d3ed7131d7502079b147f0b8f7df4570bc0597c9f59ed66554e4cc7d1e17fb50ede497e88d3c7eb9089ee11efe9714fc788cfec157365504