SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 P7l$ ]MSO_Regex_Equivalence:threads=2elapsed=817.567cpu=1057.824gc=42.696factor=1.297zXZִF! ౨ ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo= 1jv?|z&i } v%agPY?ryZ C*+w( t<@z6 лמ;s)n"dU*k/ `KL18@u\+"sχdyB_syB65I7Wya`wX{ %^ ]hPaPL뗲YH]}fxl,e/IV(dyh,r*{bȆbƪOzruȇjSڃ,g-TeŊKU{Fggb攢uq@?{^ NT.(YXg)җ~^J爤 uBؗlUR*ng Lc<$"gVZ$|,MvtvcBb@)) r*eAi!>\2 h_2B|a*@R}x(<(sEg0hqK|%= -aDW1ܔ v0|O6(dhi3s@?HUM2856F%&jXNI)ʅz?1W=S-j+dt:2Vz)ֽzFIP.4] y<:A8a$$dqkt TʩwO`6p^Jr3v0D Z>ִLITJ|]Q"l&)-tPL]*>o_ .9CBgw$<xAujh%^I1qg6Ӣ/;suם' ԫ\1%^]0dn6eX:SvdJ^6 +{jA 8%:X}^ay3)r- yG[G€S d7o'EjNPg\:([8 `4C֤~R}^%"cm R\lFSL\Æ*:Q@ҵګnWq(>͚mG.-ŊC+%9&g aaweZQktЛl7Oݠ 0؂81żv~aV_izy̽} nQ&DjlLv{T QIͰq d"gPDbj鿰p%SzDa<0%SyсP`G,` G6ryUqN*] 7 MSO_Regex_EquivalenceZcGOW{84uMnu2"ą~< ruPTVfF3\&)Ц 3 B"c\e!Gko;dFn f5`QaI $xP׫xo(8'dVBrف#C8:6cQlfQSvMe<˖Xl p@T@/ԴC Kw'`+I`y"<4 Ϋ>%s@#D6xSWM|cPee]I{JfTY;11끢!߁܉ 0^T P0FUqGFbL@rXA&vvMM^9a|gh ,tf!6PLX@XZ>Oa|\aN* H:#m^r@ta'nn oQuMMsǹ&EU'?F\hQXhbdGkCQ<^$o~L] -qH"CۂAtF?)3Fhn y2yE ߒ[%M^%aj.b}w#DK:XJ'ˀ>و_B)V*i 8MtTn"f#W|mtOt=p8ed伦jvxqr>a(UZ;Gސ( 5B~uJ7ilK| LihڵLbpB?}, U(.K3Lϼ`D6/jyH# ^k1 C>v0{7}J6)j/"TS 37gJLBdc4.oZQX,{i{ƨK0P`o dßpgYZ7zXZִF! t ]ŗXi%6uM^QJc\O&m`y:ht-O7}gJ+Ǭn)3C1%ٹ4;;Mu#sKRqu_ Znr9mU4kZB\Ȼ_;$ڝ*Mc>,=́_@< !Y^EqP@\Jr8^}Gesž#}k~ W6lkZH~`/ .r";ytئW+4X}CW˫NesOFʼnm JGwbDq) )BˬEG@F0:Jw;\ r C I/>LAWi#S@H(6oq^֔]'W5eʨ}I*<{x.{MĕDUr[!)mdڟ%O9GYs;*RJyXLI: ?"\H3tD`} )8L'yÙ}*I/( 伡9JB߯_6_bAy45F-?OҌNp6N^ wיi%oG `;9H^|Qb vqNR'IRtaU;?3d lג cKZBMdr)iM58Eu {C}z)6G}t5Gtve;u 6wώ߭xB $[3Ü;n D|7Ṙ矃hPIGB /emH̄Iys2ehXoH,Y%v 81T#[#jRz(7DG3RDĚ#C^xG>Hh(g_% v`wk?%J+Ӎ)+"2Ǧ_,tҫ) yboҘ,ǑÎH/4zVA2hd9}M93 j*Aa(g?J|Ejt=v~ xD0$}ijK'ߕMUf tA,,[^!WMݩZQz<6ro00=V܂Bؽ r0WVl!"O9nש@cMҬ\,mX.Ash-vV}VӼa}e'Bs`ʷUד+"nO^#-žia],6jsw/C QEAuګC~#4?y|9Bȟ'G!ŏZ+skp] -R_#RR0E&`K`Q5:Wކ2aL_9M-`<89~½g="Qd.Uj|x7fj!W$M#Ïf"8R>-LH4p5q79b42*[1YIg_ّc/7iAڀqt_uj-㏀V,[[c_rV$z&V=\q@H7ˬ7)dT(ȧ ;38-VhC'WU ~uBrSɬ "1 0X?]Gv^TaBJѹGYΚdeBkWWoHS-3Vuзǹv._aK$P;EZh-bdl Қ (8 *|ݶm%1fC$ڿ(TNVH9WO|a1 o&ZW,H~Yp w08Q[ge#䉰M?}J1Ո[%Eos9Gc|&[֋m5^ =)}yCJ!c[H, Tmń핯nODmJTr:`ZW9m/P{%1jTg6 '6GNRQ*borSY)`~q Tjj8%=FMyjqX:7ZR<ԇ _Q-%_s`CV[@M[ٳ>FЛ|%f)eEջT:(g`qWwiviX8ŀ]Գ5՗oqGqn`mrُMV>0U]T̉ 'PܞZ}Qŏ'HS4j6ubcKp#" G|q::v KPwF.租w|<hc0# 'n\qS!3)Ḽ;8.`0{Lf()E头Yi|)XdدZ^EiYݢ$ 鐶E  67lҬFSQ|\q`HW"<Ԍjz*T _q Y*dG>8bY"C\0q<ߍ*\*˃XOknZg?T' =,mL OLY L R2&dex GH@D@`4y+9X YAc+&]cNbHVVKO㡹FWb+#IwziP`GyEƭPW!IyFVUyE #6I~WӜ\ z~F!rKNRMmȞh{pY(^ͦtsV:I4E68LщȻ#si%I\>~w󚙀LtSO*Zcj0Wr?B9OE&]ԓk/Js;/QJ.Jd&7H}֚*8dI.-NvVuk׋bXtb±iw 4bwX31)H;zTmpkvLJfm3ҏ*lwkuN< 9UlsR|໕8^%vz~'8oG$ 4 o2r.$̂i7 y̠wy @vQdkYiC҂=~ > Y* ׆1ogS0g򓖅(ɚ+q=ivGSщpdu2G{'ʡ1w cneyd\)u}+޴ϑݓw=(,cBd eSߕA l'd%tM gJ?^\KjI0ɌNy@UQw:DCAMx2MsZj;(a7v <]v:l=oQrV} NGD D%vvJMd M̏8?d]>Zsmׂ9$<堊4Mμ{/嚪KqI I4 VX}E4\ LP2m;my]CqeL{ˀys7|mӷ?U]-ȓ|2\y0+jV A$KOQRZ{ʚ)/9 __7YuX>tbG01b~](X1J~EKbBB!WAwqMUГ 2o;D\Kw'*%Cǟ%B>^oHQz2ގ~8Hab0C> Y<4+;۬wɿHNEc);hw0 VADF`t^^ZdOgG ǨlZʪm1|jEdv T.X;5 "S21Hz'>%ίK nligi_amҩv1PVjpN 6W=_\]"@i౉L<8h8Z~QkŬ[x/lE_ÍxsjDn+5\3`o8X[ #JVW?(.p\cvW8R.+$/Q3:EaUfl`,?g\7ei8OɈF^c!ħE|Hb[/J(8Z~y@D`o K%FC~.++bnGeafUs|y1mT>k:OA3h=P'&O̓=۲"uMͤw(7\jyjٴ.lƧIZa߷Bڰ¤B* .=YR;ՕU}b~h"^5TrRdx%*5bf AW>Mԩag]\oT%[} JVĬC{< _$A`kضvidĵ$0QkTkFofGS_п<;~ :ug6Uq6tJ=P:C]=<83iS{3\_U*?[fb/}~]}3"@xt4q0D6:P3yq!LZI{Aj)$LvBxdjj>2ߣȘ?gh_Jq1Ț|"Kن9I1BGT;?Z}^YǿeV[ϓ*pTxtC8RI bҏ޹#}e;Y N ,1UW2,0?gf^K_xT|կ8E;͉]8 ʧ!F~7E ޏG( l4b f17!m12`h6m tu W yagtk`(ύ||2)%bIu<~1EW}L&;ͶA&f*8ڏgR "y]jeU-qD#)lTAn(\*]'ol:cwb8RUMH=HxKzE_C87 C{}TmaC?O&s㳚†#}{ $,  VSQ_ana܌R?,>[{ S@;)uTWkPNI'Lj`)1?)kGvrE@k[/6e$&z W({)BRQ;ѸvS3G<{}zyGėNX#aH62YNX^I2̶D8M"DԐ*)G6mb^M-EUej0:fL"vtej&r%C>Itv(]=zXm)7=v`%. C+c |e AclrrxWjkCU xN\zI#~2LZe!P:h>{zq}} 9l`)S;8P_eƅN2@똃 |iC s }iC0#8YapsK ml}>6N<6crPo[;rz/cG_DVqV5ʜݢolv++9"3D<;4W`*bww"X_G@pK L-Kq~m0N+O#P;1>vjҲ߬d-Y,/4u8 !p{?( _MOW'R\i+‹j>DFd(V0Wk``ٹ@ds%X<#.GTٺPj! ύfZBJI&Z/gNj!X;.Y4pr 碱 4䶬Z;'}{l^-"tu4sҒ{%|$FYj$7y 28(c̡J/d_Ctu1$̽ݪ=1Iڄ'۶$Yh#AYYyG1\de?la1ӭTAF )BlE5bUfviCELρ䰚r'Ƃpׂwp )(bHǵWuD`KF)Кm. X+`P;߭@מ50ϖGISxWI=͑F8't2F5,{(Tkr(x@#w OeyX,K aL's> *vECQDY/+ ۂ'1 O_=\\yW9 r%j2s6x`hۂd`KRYt߄`n K:g6Ӎ=Nj5M{Ã3q| 꿎)&WO; :%Bxmh?rj )բ.X1}.=\_tO+to -6j$l:`>ignΓ,.4$?HGQp)ELt:6ú5:5]( ~8$5$VgZA﫼_ɊU{q׮ 8gߍ4rxfFDjۻ#"}Y^^d BW9TLdKiZ-jr/LDei=lb 2Q5= 8z30tLw5W/Z}!q{~ӵh&ͰJkӠ*܂,ђ؋cXI$C?A<_:V0%Tq 1fgo;{ˢB %IZL vϚFH5sVxsWWݳ?? L&/e%=_!|֨Kg)P }hi6<6 Z,I/Vqt]vb42-z\œKj%j">ʷ_{4X 9(\yw(pgq爃]|O]^_LwB =F v>a&bd2]iߵ>M aE=z<o)F\Y<+ 1OXbw$H G&J/;D&[zʼn0'}CP}@H>}k0'v5ǘ֛%Fl"}:.GOjo٥u:dR]qAS]G-gHH4tec TlRWhDSad(уeZnHˮ/2MV%GP:4;@iw(䬶iv%;wb-gHT?O3oS9bQձ첫MOةkK)놚[C뗟wl]5evƓN ~7.nNvlhtA'p zG i8MN٬]5 DzCg˴ʎ2W2q!u'Й <Ր:]ˎt^^%R{^3mx/oSҴ!ȘuRvn7_^`\E:#>$~ ?5A Mhh·YuP$hQLv&>cPmTHytY^y.3AY[kQ9Pw}hNj]5Ge&m62$I4çy7?=|6Y'ep .׺뻁qӲZ.3+ 1}2{BwM@l2%x rε?]f+K oKb8S^h$@cZ%x%ǒ᪄i]lGlt!FFjGDM*Gf:E0p%ŞMG[^{>C[;@˽r茯 ($ >l֩7R{#UUv#B>)c6xnr'Lثc/xTVL{|hgh#*kL=] Ce0ʎ7 qVYYW]֊;.''lN6`}z=HAk'Pm67sj0AJEbH|SP6_=cd>>izX5`<8WYny~N2ٹoJGC2e^MKvrG{ԷV+%!=ї@ѹXpZhncWV -z@Swrm&DVF="(VotÒV+zN{%v%bL%L{ed>ښ Zqe>(m;M'22z1%}fR0 Z9uNmfL+ XV["\9wb)紩<<2L4=ڙ{A S]t7\E7jxUM31u%IM3W('BKl: ɬdya !V; (%TX=n1-vAFQ@〩,5eÍ ;#upW8q&\v"=9ufgڸ7=Y} o\X){ 9$~㓏Dcن$:LGrI$2؇.k+nvӨO{⺤ٻ"osf%>~L*h1/EcORgQ(LeNM O~ BP+ #iƍ74n:(.e[݋(:B5Dq@Jn@/=+.3y;ro%p~&vޑ31HLE2awAK'qu :Ad$L{ջTH2ݩ#n,Tfn. ҉2J'rݍ(?ФAO3jtK__Lsϯj+DlسWBt[P|?=HGތ$BHkeC>j<+vv脢Qq:Hn%a-]5i"Z6#"1,a»?AS!eɡ[auwKR+0W'~,&E1Xq9.V1s=-Dova_SB `>WUYo`Z$T8 qω7?)E#`P&.jDNl$ps(,PDα03W-R\'a$gUlbN_Zi"Ug{]Y&dJ]F|`QY^c%l"h魦ڔ ~fZ<N ?4ڒ[Tl6nu2-n8!Q@׉NRcU=U!",H/1F6XY{Km)wrC^,\ݷ3CnJWҝB o࠯W:$ 0wDZDB˜LN1>{9!UXz4i|hL7EUf)ds=4#M9^!<[yUHfd =Ym+)չX3xʤO yzu=XJ̚G?_/ٜ*`Tϑ>􇪒@ĺxP7ozc}>VQnFg:+K-rl}`FΘ+KvQi+|?G &S\:m`NB o Iyp?!_#^+UCo-ofΣ4 _EϺDr]0WnSGg i`HcK=Pu &iַY)#I]+j [)M"UӿZe]%b_cR[IJ=^o c[EOQwQT 9`TnUՁl.HQ&).8~CE"Tlڶ|tb=#)K&^xiɦ)Kl 0OG*`<'W~vKuMooַ"qtLĻm5{wY WuOح/u᤮o& 1k 9n,cWFџni2>WOk;D\QUO>IBh`A6 r%gꊶ?wz[O:8$vl;(x["ӅݤXF(^A6/'.eR["+| i`!&SX WE57O2~2Sb7q6E/V)ﰜ7w&n 7DžP7a3~5؄rG}j֙=%'F{YdͰ5DT4ϳhn tdz{5 _}^8\k I2E{]xHp!׃u*HA~+3[L"E|}bKoE|ZUr.F\0ЬXԑ OxjxJ5<x/Cqp}yKqFdl/'%RBm\LB*;n۱ RFk=m?`D*xޓLr*zsj@\-Ot2hAaX8vМ<,Ģ{~_Bu'|+SjJdXMiasfУ7I6ʨYsF<><W#xx=)S6?dǝ}jEMn\bR|h(jQwɾ-lg^rSɕ+pg,B֊3 ],hIݯܵހiv#щ63,+ x~ MU5YNnovE"zC #avi#2i3?_zb &I>f]hfyCP";IXڏ}U밯˭d3x 2'+BhďH9WzꔕR7}+}ugM].*x'j߰# axF 81^rOHZT= f4X,Q9-(&'aI=ڔZ!*JA |2wñH@~6Ml{cNDBG kk[o%J,HXow[ߦSWezh[VH9 ږ$1BC f)fqJdeOfh[}\jmGqM IfsdU ,hsA_@)րi/S$T_ޙm@<^t4m[gro=6aY3U v __3zA#hK ?-vu66f8x Zg.Pj2 0# e8h$T̔y_>y+}1s:Vbxt3Q_);> EDXɒjoGyvIf[/|ipU@H+*/`B{Y9ȩwd$uvR%0 e;ɢW3x|^u>}=Yi݄͂< G+FVwH,ROtlBVG*^&|`5XӏO w@>tE!,W-Uo~W4$\z.Uam\Wྷ6ULX@ܟ׹+](GOqޓe\Rp躗hx([[P/8h4>sߡe JniN8<Ǿ"8)ǎY mϛ}zWQ YMl">ۭ~Zo:TC"Q9yt9e<%~rVuvXSWJ5"hRUɀ;;snA\$ _$uy: g]32p+j%)4ـ[x$ü,;rY(tBI9F&jBDHr DtMWC :pYq *YR(ymke wPI T آ"Z)/v. h['c[ע,usw\0B)9^ V۬fy]vS$5H3'l  5tޜ7?l38})?dszzmJ+b.SO:ӰjpC}zy;]F2$Һ0t'Z:oŝ7ec,yhB*/ HHyl&΋q"}R X)Y_jkhq1z^)`M_\m'Ocf (ѯE;8)Œan2C1[ > Bi2[YvV sd~B\귏.4+G|+玷ckf<]VWRDac b!!Sp3z+@*:YEL*r%^lpWC;)H @G"E*)?wX`t*F' +#XqF3[fѨ+vwou5挕Hk+ bfAZ,IV6÷S!ӉSspzeƭAFrPM= ~ ?z gKo2YgL$pb">׿}$$kG 8i/XHZS Xf'ڌ2A'-{?/9O6!l^DgsuڒVV*&J=߫PQmӼ?Zw9*;|=쟃UKxB}D6Gp3d%9:` Jp:'8X m-y!<*Dގ`HXm?4.یH^+6]tf[X»]6ڟ)*Pʙ,bIrJSb &R}!_øc+t C 2 ua0+fSnɳt\D]̄0ZJ%^Is#.œXfDw n!(Ж޻r^ԍAЦ6@NI Am!(m[.D[WI0 l!v)Ĭչe3rrQ`A5br<; An1kEm!sȳJՂT~cnQE9Tz"D @yYAE)&LU'pt&'Z),:k*D8 Wa3Gvʨ&W=%)'&@2Y|CMqBL,YeBl_Do{>]*/P lL«㱒<)?yȑ$l!<&(v$گ$*izNm./CpaDZ ZPą܇I=3<ÿdbDI~(߼tK]NHYJDU0HL<2U: ]"ZI4+B 66Yp\tKb;Ty) -p1m`p}8{Jna~f3)rס_x*/n ;kȞ,I{d2a@j 9/7>)R1 /ZB'n9]Y+u͓%#5tDwb_ .ݣ U9zJhўlSUv˺[Yߠ_d]-r9M*ԆI#- ?KvDԣ]2pcwEH8/kkUi2=2Z%JKuiYʖ9ި鼬{v5v2~uMtczi)¿֯* %~Õʱ*e5,ۍ $u\w>-&+[9%wF'7@9ߙybBnPƓ M$v򲩴ܚVy_ZAï:/ơ&G{UM=5K|1C~ɍ皁 @_C W(NPeg)f/r8L 9C驏0xL6_Ț6>ـcZ}VOo)c Ο&9lx rSBIE_n`\lrhQ,xLG_ xFXK$Yn98CWǣ6a4k+EBvd8Yڭ2ڰ \;vrPhP*܋)SM(%?H6ctIA,ucjkm+5)ً&P>QO20̬~~GQ&j*h@|h.~_āy:0]&*&npYZJY%eϾE3p)-yGklFuS:t@eJ 4MAr @)9a2a G7?ԇ1auBs~3r Hg6LiOYȲv&ᙕL7䢲{Lso/C+σ~&Gfʡ7"B[VegfFi#a[N<WRf#1<> iMu^rl/3vq3ʫ@Խ]F*}e,&mxUdu+FeM *>)Vibj{e9Sѡvp$~^¶;ȯcנjE84/>lՉr^l} !xk`.{˺uXX g% YĨ %(Z'R?_"VBR`~Vȋ.ڛXWqlyO/K8Y\rTW$[CRmbcn|btZ^)+W@#* 7K9i?U8/mi(M#,I99 eJwd|zaTI6U5ŌeD͹֪r4gHwMP8ѭu|"LoVbn  KoS<4GbP624fӺ1PcΘo]?fBlN#쁨mv}F6ܟd`5'Tbۋɔ4O;s+r2X='2ʢ4K&r~I5LNAHk#X/tc^-nNIℂ)[ho@LBؒ=i/c ٠( MaӍ9 gtߩGCԞ9 9~Э1[hՁgH%3V" ۽Y6[|M % 6c#}0wxUb6ُ+w+l5~|eD/v&YNGr985w헶hzuQ8*rǢIp;OR>XA:L?I OrKL&uHR4bc@rG˻Ӓ呣 >0op¾4Qz FV;Ht OR)yX0(^}u=?3O@5׏#n ĵL\g={LGXq6O:Ju<&aX9z >HH'$Q.*[  VS*oܤ VuU Y(D ;T |D2ɤ߅L*7փ_5ZoLW U#jj|kR^}uV?O 3f8ALc-C 䘎\F&[I(g1 |s:2sZ 2ܟMsk ժ?k}d5=ZjZr[+Y-'c4ߟc¹>'ήN\xv~~'R uycنH9+[h9=Vvǀ{PJċ{jϮ1n˜mEWT'qNE!}'ګ~OBD{г-"kA^f&e7z5T.z?p( 8KomC#]|DlNtvx9G#įgޯ$]2Ϝ<hkP0+,3sbP#]Q-w M fejMIiIYwhF9cZ%mQ#e*۹*F2&ow6"➃;fQ5wW?hȜf/mR,f_<s6yfe\}sdŠ Ek^Y7D򲜱΀*vh,;}]ՙ@W8UrQi} kNh4m1*NDh-()˙:;֒:{rCHP ,W̾M3O_qR[(Ngt>VKX=|h' :/ΚY0Q~ǣ,Xyv@6&b~Β4 :QM G0=:}@+ Lį9:_tH4Y2#'PdL(sH|?0 $ߍva[tOV4M` ya2># KXh"rRށ2KRI>.NYA>ߺ"v2Xs`lͨ`Knua;aѡ,جfEPz8(d@#ØZPˡO0WV,uxVQ$=A Yt,Ecd@e=-]BF"_ ֦Y/?qA!L]t$ǿ|= 4Ux~TmL mC ckuoJys/&C)Lq(!m25xuś. di}_2]ide*/R<&NeQ_s5DٽW9[mC]YipJFUbaZ 67QSY)I1K8xf4g>!K#ܐ޺(r|EL1$> 1v^0IƝRDhX󯒾gXċ_P(BΥvBIVw1OɜFuIm,56zZ_}[+8Fx\)P\-G4ȑvp siGXDw΅6uM|<;]/VLH B%TG?z<4]>bE2gp)ZT򨖲h5;'R}/#WLOAhh\dQ4HX`* KErKk g= @ B@58D(RIcwzHW\.wz* "B7vzdm,XRX ")m+SHL k:?y[{֖(AISq9ޘ 0/͂C |ۚ4![ ٿzG4ޗJY" SϒWno4o2,d8/ʌh8iɝvq]QRn_ D|amq23FԮiV^R6AJ)c 0?~`vd)k!w\1/ˮ/=žתiBX Jh64" Lqy-f`yہB}zR 7όHf1 M 4wIWӕFg]| ɖumc gt; :@՞Tɪ©|PcN[{sο643q>6^)|5=(2Z/[p\e2;PֺI5 *x-[ 7?>?~a!`nhqH0ﴋ '"WkiZ%Ouj1'y(yw95_'J|9ƲզɋE9$bQF[5VO5?@\ \WJXR<5Kg#Y?De$Lruy#ׅ 9<=}^]0mRZj)l&y-\5yM1&Ɍ*X{+lEOYfQ<`}[#~/h5y68G1ƮZJ?H~Tl>:=s! U.%9Cn\@4ç:^dek(-&B/mV3NI{K;#JhSC"gLL0fq $FR lTN@R-21"q*3]z_RhkD?1LB@nȧ+E Uia6}w%^ӎq./vGPQ52nɼ)Ouj;a]:$CRw9 ܌jEvP?W9NM?XɊmmA8LdB798prYmno/,fPb $u2y+6:򦐭DJW`)`.'U%y g^1\Fama](ȩЇ G4"zhTʧ} r5C0Mv&8@WFJ#ȝ&'c R#gy_I#)W9q˞0`^a೛mlFh (I2\}t+P=!B(jS@4șkcNO,8# QzbA^6kCc[>o,Ųsg x..%xڐOT K" {t`L޿־:O3,/LA2#w2MXTu5f$OD-Y'Rva偸 JV1LGm "$~Yɯ5ˀ=@!|25Nx=`UCw~?tzD4y\ Iݹ`fZQ5S7c4귊QDjyP`l 6aBK|Hmc֖4("cV/-pݰx K'ws=֍53HDPL+oHBLGP`eEϕ {Q}9.O(i&Iζf} emuS>ؒΉ!G{nǒ'4.4&tnG/fXx+ݤ@c"Y]?涺C[:J 䆔?ZLJwLmDbۿYLmR=dʐ:_}SA мJ8큉8/5M>۵BX_?Vz0>]v%X=')&E/60$V/Z*7M& R0(A?c~G!00% 9 _4`湡sֆ:wKIl.M Y[v4߯%iJ Bᩌ'pτ:lXA>G{{ ^W)CwnI-?^*+oɋ}kZ .KqYu>Ng8r70~+w4S#ϳ$O 30eYJWCJ,lvg/$T>8=)|`g8 B2*9-}46b~[H bw&jzwv~@X fv{Ś~G2 yi.,]Mhjz/'T}o#{ )I~My+$ȣŸaØP.'KETX2 $D}eu9)ۛL[ ^7^)N% ?r Zȵى.2i0 iRX$y~߸Ӷ#/dnBt rZHtۈDZpa!) ;w|Q.}?{ @X+Dގuˁx`UZpcbbmR=dye~jeƐƵ VUcUBKi2OW-emz0,7fwĨ3w—NTR·bSr^g#n% IAzƝpIQ *mR^t=񓦃JkKSZF "  c8EDݑNmEMj@GGɮ;̛NO{zEƯ[60|Y"i0h9(:7eB1>D%W} O40`fOEEp#`ugW[}+iJGgbVQ)FKuKȓz~9 w ?'Cgf@>.T0V|0jf?/ LMPl`M"T~k<oCcpp)nCFjχ7MS B 12gQg'"Mhff%^+@ivc SJM>,QG*w©&}„CHGe9ڇO ګ]8O;;~3 VyxLY Bu·eWbZ9Wu)З]2+>}iivL.$v|7}y12 Uyn FkO{RruV (&.sG+@'LEd@s[(FZڰHkd}y\~h;D=LW[td:[,P?5>-;Fm$z.0էgK!c4Vc)eTd- Pm+~^PjBb8!m ]nm·!BV| ]9Az3Tu KKXQmvSV64 ;]c` !,d9 &%^I2!t&@%b+ljlND'Un%!i};WT!*]EV\ښlD̞E7vP ޜ<´sSd!Nh܉y~C`+)):7 Yi{C`[f/s< _Xf 1=0&Uڲ_$'BV;yh+\/W^&WaQ 'o8Y5 ⪷qcofYfʸ'?:t^os~;`O|o"~Kr K7Vv!0y;sZ PJz堉Უꁮ\^^֌@Y)Jފ\_xδkSUᖩܩVj `PGh"vI)RIc1nrQMM&a z'eų7^,q'Efέ4-9 sϻ^.?0/, }~eƠA>Y"v|eNyʗD83itpCG0J/XT)#)#gϸJMI>7w` C$ތ82"S] ]elʴB>ƄZ fX9Yz~N,-wKmF' w)ɝx֏:Ubj$wγ>{g{ƩE繭k wHyH@jbn16R]M0p< dgDq=*V$g]0;;ZYAB}JHACȵcyԵzG8P!$vI2.s͟&h>9@UF;!o2'˱ :51'6vB0Xyϗuz/CچIl*dU$7-0F44GzUq6KVVs^p|tn*jXW쑕os %DZ(};=gAJdݢumriB2n|Q-7GO|g+:.3n8C)Qc"\@iw6Ca^ȑpvY2beqx 9vY\ź9\j4_F|2hQ-Ex&+! %.)} KXܧvY;B0["CcP'G Tc!XOGB1-"m :Ύf-_Ḩ^,=NyeNRs(nm4;SFmVG*ME"|!r!RUE/"Yˢ(1+eώs{?~AMRΨ nV0x:3V+rxRv _xtuhM&۩T omC yжp\46 K@)Y|.~ۺ 4N"" 2 Hyn Qc.6H S+AȦ{}YKj gyn>tr5u\m7+ 2*= œbyM7g:D p{_s*f\ B]|c)øZ3/[e/sK @^\Ûo%mL&39E*eC,fjI/q6};?&6!pJ{ Mcȋul@h{ѓ9^Vcb}}h)a>-sՂ/%M&k /;9QvЪIh RUhMu"Sx IIl^)_nʒM&hXP ^Q@5GhHQGs|,}[Ar`0@`z֩Ԧn_е;31u;u؁cսH&CQj`,XJIƧ7Q-B`\SI9='j e&JJ';giRku Đӷ 9e<^B,A2(kyñƜ_g'qP2 :yI_u2¼[ssR77 2~д] 75%*vx(JR|ky/J:5s,*cC^)דR/Tڥَ NZP:͆_ն1jC-B4pSf+ O؆YZY]&PNH%g&e *[;lZ<#zdcm-ET ۀc6w KO; gC.;+@>%3"]ڭ:CgSPH.=UE\)FP{&TX<}L\8$+>*f12Մ3DwQeƖƗ師Y[4_PBW_~SSP,4sa8R˶{Gga>d: .yh?0W|KPG?IKqo7 $o %_WH.[Vl[IOiorFV7d0<Jy8}XBHщ;]#Dm b65QKiģfd ʩXlQqibfb2yzm)F)[!U~z$/>ww!ëSޡ=-L;D/203xK뻶mmK ?=l@=-e)r+_`zsoH(p=%>ې"kua)1 Q)/N[ؒu]qށtl`۔Jc^Ѣ`rMRK 'h'n{rv`h=rlǴVx '4q{G n00 ʣ0X#WwDmU HUu-9 ,+둃hjkiGN~ #GrEHԣ0B6iz-#v>>P1PTef`җ^1;d7>eOK> ០J_/ʑQp{ƙl12RDR`?X0](k9029S#z zUIVco+ˢLS HBtoCNZ]8"wj0`y_ʥaN%5(f =]la&2P43GP,@鮥s3N(.%CAUI/ag)e+ {[AG5SZ>>#)Wjn1On Eh *rg.ő,=T(>Sdּ8hH%P""|BB|uqY>,n^sGm@MVLdc.:V] w IԮ"G&RBϭ`sjړE;oeyh&yQux[F'*/5JRDhFtl6l{lU_:v;=Thb gn*DZ~`1i?#d+Do}3Q{\{ @@T 7ҵO=m2?uMe\\,qk.y'҂i'r;|DAZ ņwesXZe"aucD۸V}BZ|$!6W{m8Zאᒏ!H%)^6 2L- ͼd=߅n9{F"Abȑd ,BUY_njJ*-_Uh NZ}ǂw|s61xph>[/0;ю<طtwlh?(,VYM_x:R Ђ:wLq]; .#-GxWM>9ŨqGHd~RXntGl(t=s) Iz;qż, O,$OM"{5Qz5<&9L5w^{aѓwg7)H'sR?I'ZQGiZNn&ROǜoEV ,:3+pF+hqJfH ŧ7Pq@ 1C.6ْק8 mM DE9jiھN̢8v,ȋ 3-7*Yv[Ə (WmPG4TxW$V7ϕy.!UdUŸ"ߓyy'|iYncRqL MED.QQjOQVx|TAaJƕGKB#J>dUi?d dT? TKūvI*Yb*PiX72(ǦF -ad:S߼3o_^=Kӵ5}R0N^U+!m(6Mx} X QE~l-`x1aڵn `o>9zKb= :_渌gAPk܇JKf!1E( sQ1F+{|`2orX_S$L)+0dQ~^G%"_З<<@lgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 afee1df8582fcdf78ea8abfb886bea1d98de8d26 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386de4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b721878fba90846fa71ed49844ba049ddd7d82d67