• No results found

Labeled unwindings for the safety of array-based systems

3.2 Unwindings for the safety of array-based transition systems

3.2.1 Labeled unwindings for the safety of array-based systems

Actividades y cursos del Polideportivo Santanape (octubre 2013-junio 2014)

Gimnasia de mantenimiento

Días: Lunes, miércoles y viernes Horas: 10:00 h.

Cuota:

— Abonados: 28,40 euros/mes. — No abonados: 45,45 euros/mes. Días: Martes y jueves

Horas: 19:30 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Zumba

Días: Martes y jueves Horas: 20:30 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Dantza txikitxu (nacidos en los años 07, 08 y 09)

Días: Lunes y miércoles Horas: 17:00 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Bailes de Salón Días: Viernes Horas: 19:00 h. Cuota: — Abonados: 16,75 euros/mes. — No abonados: 28,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Gimnasia Rítmica

Entre 5-8 años (nacidos en los años 05, 06, 07 y 08) Días: Martes y jueves

Horas: 17:10 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Más de 8 años (nacidos a partir del 05) Días: Martes, jueves y viernes

Horas: Martes y jueves 18:10 h. y viernes 17:10 h. Cuota:

— Abonados: 28,40 euros/mes. — No abonados: 45,45 euros/mes. Organizador: Xixili Gimnasia Elkartea

Biking

Egunak: Astelehena, asteazkena eta ostirala Orduak: 15:10ean.

Kuota:

— Abonatuak: 28,40 euro/hilean. — Ez Abonatuak: 45,45 euro/hilean. Egunak: Astelehena eta asteazkena Orduak: 19:20ean eta 20:30ean. Kuota:

— Abonatuak: 19,25 euro/hilean. — Ez abonatuak: 36,70 euro/hilean. Egunak: Asteartea eta osteguna

Orduak: 9:10ean, 19:30ean eta 20:30ean. Kuota:

— Abonatuak: 19,25 euro/hilean. — Ez Abonatuak: 36,70 euro/hilean. Antolatzailea: Xixili Gimnasia Elkartea

Kardiobox

Egunak: Astelehena eta asteazkena Orduak: 20:30ean.

Kuota:

— Abonatuak: 19,25 euro/hilean. — Ez Abonatuak: 36,70 euro/hilean. Antolatzailea: Xixili Gimnasia Elkartea

Judo

5 -6 urte bitartekoak (07 eta 08an jaioak) Egunak: Asteartea eta osteguna

Orduak: 17:00etan. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean. 6 - 7 urte bitartekoak (06 eta 07an jaioak) Egunak: Asteartea eta osteguna

Orduak: 17:45ean. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean. 8 - 9 urte bitartekoak (04 eta 05ean jaioak) Egunak: Astelehena eta asteazkena

Orduak: 17:00etan. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean. 10 - 11 urte bitartekoak (02 eta 03an jaioak) Egunak: Astelehena eta asteazkena

Orduak: astelehena 18:00etan eta asteazkena 17:00etan. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean.

12 - 14 urte bitartekoak (99an, 00n eta 01ean jaioak) Egunak: Asteazkena eta ostirala

Orduak: 18:00etan. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean.

Biking

Días: Lunes, miércoles y viernes Horas: 15:10 h.

Cuota:

— Abonados: 28,40 euros/mes. — No abonados: 45,45 euros/mes. Días: Lunes y miércoles

Horas: 19:20 h. y 20:30 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Días: Martes y jueves

Horas: 9:10 h., 19:30 h. y 20:30 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Kardiobox

Días: Lunes y miércoles Horas: 20:30 h. Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Judo

Entre 5 -6 años (nacidos en los años 07 y 08) Días: Martes y jueves

Horas: 17:00 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

Entre 6 - 7 años (nacidos en los años 06 y 07) Días: Martes y jueves

Horas: 17:45 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

Entre 8 - 9 años (nacidos en los años 04 y 05) Días: Lunes y miércoles

Horas: 17:00 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

Entre 10 - 11 años (nacidos en los años 02 y 03) Días: Lunes y miércoles

Horas: Lunes 18:00 h. y miércoles 17:00 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

Entre 12 - 14 años (nacidos en los años 99, 00 y 01) Días: Miércoles y viernes

Horas: 18:00 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

14 urtetik gorakoak

Egunak: Astelehena eta asteazkena Orduak: 19:00etan.

Kuota:

— Abonatuak: 29,20 euro/hilean. — Ez Abonatuak: 41,10 euro/hilean. Antolatzailea: Urdaibai Judo-Karate Elkartea

Karate

6 - 10 urte bitartekoak (03, 04, 05, 06 eta 07an jaioak) Egunak: Asteartea eta osteguna

Orduak: 18:30ean. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean.

11 eta 14 urte bitartekoak (99, 00, 01 eta 02an jaioak) Egunak: Asteartea eta osteguna

Orduak: 19:25ean. Kuota:

— Abonatuak: 19,50 euro/hilean. — Ez Abonatuak: 31,35 euro/hilean. 14 urtetik gorakoak

Egunak: Astelehena eta asteazkena Orduak: 20:30ean.

Kuota:

— Abonatuak: 29,20 euro/hilean. — Ez Abonatuak: 41,10 euro/hilean. Antolatzailea: Urdaibai Judo-Karate Elkartea

Pilates

Egunak: Asteartea eta osteguna

Orduak: 9:30ean, 10:30ean, 11:30ean, 15:00etan, 17:30ean (hastapena) eta 20:30ean.

Kuota:

— Abonatuak: 30,25 euro/hilean. — Ez Abonatuak: 56,15 euro/hilean. Egunak: Astelehena eta asteazkena Orduak: 10:00etan eta 19:30ean. Kuota:

— Abonatuak: 30,25 euro/hilean. — Ez Abonatuak: 56,15 euro/hilean. Antolatzailea: Xixili Gimnasia Elkartea

Tai Txi

Egunak: Asteartea eta osteguna Orduak: 16:00etan. Kuota:

— Abonatuak: 28,40 euro/hilean. — Ez Abonatuak: 45,45 euro/hilean. Antolatzailea: Xixili Gimnasia Elkartea

Aquagym

Egunak: Astelehena, asteazkena eta ostirala Orduak: 8:15ean.

Kuota:

— Abonatuak: 28,40 euro/hilean. — Ez Abonatuak: 45,45 euro/hilean.

Más de 14 años Días: Lunes y miércoles

Horas: 19:00 h. Cuota:

— Abonados: 29,20 euros/mes. — No abonados: 41,10 euros/mes.

Organizador: Urdaibai Judo-Karate Elkartea

Karate

Entre 6 - 10 años (nacidos en los años 03, 04, 05, 06 y 07) Días: Martes y jueves

Horas: 18:30 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes.

Entre 11 y 14 años (nacidos en los años 99, 00, 01 y 02) Días: Martes y jueves

Horas: 19:25 h. Cuota:

— Abonados: 19,50 euros/mes. — No abonados: 31,35 euros/mes. Más de 14 años

Días: Lunes y miércoles Horas: 20:30 h. Cuota:

— Abonados: 29,20 euros/mes. — No abonados: 41,10 euros/mes.

Organizador: Urdaibai Judo-Karate Elkartea

Pilates

Días: Martes y jueves

Horas: 9:30 h., 10:30 h., 11:30 h., 15:00 h., 17:30 h. (inicia- ción) y 20:30 h.

Cuota:

— Abonados: 30,25 euros/mes. — No abonados: 56,15 euros/mes. Días: Lunes y miércoles

Horas: 10:00 h. y 19:30 h. Cuota:

— Abonados: 30,25 euros/mes. — No abonados: 56,15 euros/mes. Organizador: Xixili Gimnasia Elkartea

Tai Txi

Días: Martes y jueves Horas: 16:00 h. Cuota:

— Abonados: 28,40 euros/mes. — No abonados: 45,45 euros/mes. Organizador: Xixili Gimnasia Elkartea

Aquagym

Días: Lunes, miércoles y viernes Horas: 8:15 h.

Cuota:

— Abonados: 28,40 euros/mes. — No abonados: 45,45 euros/mes.

Egunak: Astelehena eta asteazkena/asteartea eta osteguna Orduak: 20:30ean.

Kuota:

— Abonatuak: 19,25 euro/hilean. — Ez Abonatuak: 36,70 euro/hilean.

Egunak: Astelehena eta asteazkena/asteartea eta osteguna Orduak: 15:00etan.

Kuota:

— Abonatuak: 19,25 euro/hilean. — Ez Abonatuak: 36,70 euro/hilean. Antolatzailea: Xixili Gimnasia Elkartea

Igeriketa

Dortokak (08-09 urteetan jaioak) (urritik ekainera)

Egunak: Astelehena, asteartea, asteazkena edo osteguna (astean egun bat)

Orduak: 17:00etatik 17:35era.

Egunak: Larunbata edo igandea (egun bat) Orduak: 10:00etatik 10:35era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa.

Pinguinoak (07-08 urteetan jaioak) (Urritik ekainera)

Egunak: Astelehena, asteartea, asteazkena edo osteguna (astean egun bat)

Orduak: 17:35etik 18:10era.

Egunak: Larunbata edo igandea (egun bat) Orduak: 10:35etik 11:10era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa. Baleak (06-07 urteetan jaioak) (urritik ekainera)

Egunak: Astelehena, asteartea, asteazkena edo osteguna (astean egun bat)

Orduak: 18:10etik 18:45era.

Egunak: Larunbata edo igandea (egun bat) Orduak: 11:10etik 11:45era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa.

Izurdeak (02-05 urteetan jaioak) (urritik ekainera)

Egunak: Astelehena, asteartea, asteazkena edo osteguna (astean egun bat)

Orduak: 18:45etik 19:30era.

Egunak: Larunbata edo igandea (egun bat) Orduak: 11:45etik 12:20era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa.

Marrazoak (02 urtearen aurretik jaioak) (urritik ekainera) Egunak: Ostirala

Orduak: 17:00etatik 17:35era (marrazokumeak), 17:35etik 18:10era (marrazokumeak), 18:10etik 18:55era (marrazoak) eta 18:55etik 19:40era (marrazoak).

Días: Lunes y miércoles/Martes y jueves Horas: 20:30 h.

Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Días: Lunes y miércoles/Martes y jueves Horas: 15:00 h.

Cuota:

— Abonados: 19,25 euros/mes. — No abonados: 36,70 euros/mes. Organizador: Xixili Gimnasia Elkartea

Natación

Tortugas (nacidos en los años 08-09) (de octubre a junio) Días: Lunes, Martes, miércoles o jueves (un día a la semana)

Horas: De 17:00 h. a 17:35 h. Días: Sábado o domingo (un día) Horas: De 10:00 h. a 10:35 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo.

Pingüinos (nacidos en los años 07-08) (de octubre a junio) Días: Lunes, Martes, miércoles o jueves (un día a la semana)

Horas: De 17:35 h. a 18:10 h. Días: Sábado o domingo (un día) Horas: De 10:35 h. a 11:10 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo.

Ballenas (nacidos en los años 06-07) (de octubre a junio) Días: Lunes, Martes, miércoles o jueves (un día a la semana)

Horas: De 18:10 h. a 18:45 h. Días: Sábado o domingo (un día) Horas: De 11:10 h. a 11:45 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo.

Delfines (nacidos en los años 02-05) (de octubre a junio) Días: Lunes, Martes, miércoles o jueves (un día a la semana)

Horas: De 18:45 h. a 19:30 h. Días: Sábado o domingo (un día) Horas: De 11:45 h. a 12:20 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo.

Tiburones (nacidos antes del 02) (de octubre a junio) Días: Viernes

Horas: 17:00 h. a 17:35 h. (crías de tiburón), 17:35 h. a 18:10 h. (crías de tiburón), 18:10 h. a 18:55 h. (tiburones) y 18:55 h. a 19:40 h. (tiburones).

Egunak: Larunbata edo igandea (egun bat)

Orduak: 12:20etik 12:55era (marrazokumeak) eta 12:55etik 13:30era (marrazoak).

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa. Helduak Hastapena (urritik ekainera)

Egunak: Astelehena edo asteazkena (astean egun bat) Orduak: 19:45etik 20:30era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa. Helduak Hobekuntza (urritik ekainera)

Egunak: Asteartea edo osteguna (astean egun bat) Orduak: 19:45etik 20:30era.

Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa. Helduak Mantenimendua (Urritik ekainera) Egunak: Ostirala

Orduak: 19:45etik 20:30era. Hileak: Urritik ekainera. Kuota:

— Abonatuak: 50,00 euro. ikastaroa. — Ez Abonatuak: 93,30 euro. ikastaroa. Antolatzailea: Udalaren Kirol Patronatoa

Eskalada

Helduak (gutxienezko adina 1999 urtean jaioak) Hastapena Egunak: Ostirala

Orduak: 19:30etan.

Hileak: urriaren 11tik abenduaren 20ra edo urtarrilaren 17tik martxoaren 21era.

Kuota:

— Abonatuak: 45,25 euro. — Ez Abonatuak: 62,40 euro.

Umeak (2000-2005 bitartean jaioak, urte hauek barne) Hastapena Egunak: Ostirala

Orduak: 18:00etan.

Hileak: urriaren 11tik abenduaren 20ra edo urtarrilaren 17tik martxoaren 21era.

Kuota:

— Abonatuak: 45,25 euro. — Ez Abonatuak: 62,40 euro. Egunak: Igandea

Orduak: 10:00etan edo 11:30etan.

Hileak: urriaren 13tik abenduaren 15era edo urtarrilaren 19tik martxoaren 23ra.

Kuota:

— Abonatuak: 45,25 euro. — Ez Abonatuak: 62,40 euro.

Antolatzailea: Xixili Gimnasia Elkartea 65 urtetik gorakoentzat %50eko deskontua.

Igeriketa ikastaroan inskribatzeko, aurretik igerilekuan proba bat egin beharko dute interesdunek, eta inskripzioa egin ahal izateko, proba egin ondoren monitoreak emango dien fitxa aurkeztu beharko dute.

(II-6298)

Días: Sábado o domingo (un día)

Horas: De 12:20 h. a 12:55 h. (crías de tiburón) y de 12:55 h. a 13:30 h (tiburones).

Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo. Adultos Iniciación (De octubre a junio) Días: Lunes o miércoles (un día a la semana)

Horas: De 19:45 h. a 20:30 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros/cursillo. — No abonados: 93,30 euros/cursillo.

Adultos Perfeccionamiento (De octubre a junio) Días: Martes o jueves (un día a la semana)

Horas: De 19:45 h. a 20:30 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo. Adultos Mantenimiento (De octubre a junio) Días: Viernes

Horas: De 19:45 h. a 20:30 h. Meses: De octubre a junio. Cuota:

— Abonados: 50,00 euros. cursillo. — No abonados: 93,30 euros. cursillo. Organizador: Udalaren Kirol Patronatoa

Escalada

Adultos (edad mínima nacidos el año 1999) Iniciación Días: Viernes

Horas: 19:30 h.

Meses: del 11 de octubre al 20 de diciembre o del 17 de enero al 21 de marzo.

Cuota:

— Abonados: 45,25 euros. — No abonados: 62,40 euros.

Niños (nacidos del 2000 al 2005 ambos años inclusive) Iniciación Días: Viernes

Horas: 18:00 h.

Meses: del 11 de octubre al 20 de diciembre o del 17 de enero al 21 de marzo. Cuota: — Abonados: 45,25 euros. — No abonados: 62,40 euros. Días: Domingo Horas: 10:00 h. o 11:30 h.

Meses: del 13 de octubre al 15 de diciembre o del 19 de enero al 23 de marzo.

Cuota:

— Abonados: 45,25 euros. — No abonados: 62,40 euros. Organizador: Xixili Gimnasia Elkartea

Descuento del 50% para los mayores de 65 años.

Para inscribirse en el cursillo de natación, los interesados debe- rán realizar anteriormente una prueba en la piscina, y, para poder realizar la inscripción, deberán presentar la ficha que les de el monitor.

(II-6298)

Ur Agentzia

Ur-aprobetxamendurako eskubidea amaitzea

Orok jakin dezan, jakitera ematen da Uraren Euskal Agentziaren Zuzendaria Nagusiaren ebazpenaren bitartez, eta horretarako hasi- tako expedientearen ondorio gisa, ondoren zehaztuko diren ezau- garriak dituen ur-aprobetxamendua amaitutzat jo dela. Hona hemen ezaugarriak:

— Espte. zk.: EX-B-2013-0001 Titularra: Antonio Ibarlucea Oregi Ibaia/Erreka: Iturburua

Lekua: Sakona lursaila

Udalerria (LH): Markina-Xemein (Bizkaia) Erabilera: Etxeko erabilerarako eta aziendarako. Urteko gehienezko bolumena: 525 m3

Ebazpenaren eguna: 1993/11/24 Erregistro zk: 15461/C

— Espte. zk.: EX-B-2013-0002 Titularra: Antonio Ibarlucea Oregi Ibaia/Erreka: Iturburua

Udalerria (LH): Etxebarria (Bizkaia)

Erabilera: Etxeko erabilerako eta abeltzaintzarako Urteko gehienezko bolumena: 757 m3

Ebazpenaren eguna: 1993/11/17 Erregistro zk: 14934/C

Amaitzeko arrazoia: Titularrak uko egiteagatik Amaitzeko ebazpenaren eguna: 2013/08/20.

Bilbon, 2013ko irailaren 9an.—Mendebaldeko Kantauriar Arroen Bulegoaren Burua, María Esther Solabarrieta Aznar

(III-506)