(define (problem MEXICOCITY)
  (:domain METRO)
  (:objects OBSERVATORIO TACUBAYA JUANACATLAN CHAPULTEPEC SEVILLA INSURGENTES CUAUHTEMOC
	    BALDERAS SALTO_AGUA ISABEL_LA_CATOLICA PINO_SUAREZ MERCED MOCTEZUMA
	    FLORES_MAGON R_RUBIO OCEANIA DEPORTIVO_OCEANIA BOSQUE_ARAGON VILLA_ARAGON
	    NEZAHUALCOYOTL IMPULSORA REMEDIOS MUZQUIZ ECATEPEC OLIMPICA PLAZA_ARAGON
	    CIUDAD_AZTECA TASQUENA GENERAL_ANAYA ERMITA PORTALES NATIVITAS VILLA_CORTES
	    XOLA VIADUCTA CHABACANO SAN_LAZARO BALBUENA PTO_AEREO GOMEZ_FARIAS ZARAGOZA 
	    SAN_ANTONIO_ABAD ZOCALO ALLENDE BELLAS_ARTES HIDALGO REVOLUCION SAN_COSME
	    NORMAL COLEGIO_MILITAR POPOTLA CUITLAHUAC PANTEONES CUATRO_CAMINOS
	    INDIOS_VERDES DEPORTIVO_MARZO POTRERO RAZA TLATELOLCO GUERRERO JUAREZ N_HEROES
	    HOSPITAL CENTRO_MEDICO ETIOPIA EUGENIA DIVISION_NORTE ZAPATA COYOACAN VIVEROS
	    QUEVEDO COPILCO UNIVERSIDAD SANTA_ANITA JAMAICA FRAY_SERVANDO CANDELARIA MORELOS
	    CANAL_NORTE CONSULADO BONDOJITO TALISMAN MARTIN_CARRERA POLITECNICO
	    INST_PETROLERO AUTOBUSES_NORTE MISTERIOS VALLE_GOMEZ EDUARDO_MOLINA
	    ARAGON TERMINAL_AEREA HANGARES ROSARIO TEZOZOMOC AZCAPOTZALCO
	    FERRERIA NORTE_45 VALLEJO LINDAVISTA BASILICA AQUILES_SERDAN CAMARONES
	    SAN_JOAQUIN POLANDO AUDITORIO CONSTITUYENTES SP_LOS_PINOS SAN_ANTONIO MIXCOAC
	    BARRANCA_MUERTO GARIBALDI JUAN_LETRAN DOCTORES OBRERA LA_VIGA COYUYA IZTACALCO
	    APATLACO ACULCO ESCUADRON_201 ATLALILCO IZTAPALAPA ESTRELLA UAM CONSTITUCION
	    PATRIOTISMO CHILPANCINGO LAZARO_CARDENAS MIXIUHCA VELODROMO CIUDAD_DEPORTIVA
	    PUEBLA PANTITLAN - station
	    TREN - train
	    YO - person)
  (:INIT (connected OBSERVATORIO TACUBAYA) (connected TACUBAYA JUANACATLAN)
	 (connected JUANACATLAN CHAPULTEPEC) (connected CHAPULTEPEC SEVILLA)
	 (connected SEVILLA INSURGENTES) (connected INSURGENTES CUAUHTEMOC)
	 (connected CUAUHTEMOC BALDERAS) (connected BALDERAS SALTO_AGUA)
	 (connected SALTO_AGUA ISABEL_LA_CATOLICA)
	 (connected ISABEL_LA_CATOLICA PINO_SUAREZ) (connected PINO_SUAREZ MERCED)
	 (connected MERCED CANDELARIA) (connected CANDELARIA SAN_LAZARO)
	 (connected SAN_LAZARO MOCTEZUMA) (connected MOCTEZUMA BALBUENA)
	 (connected BALBUENA PTO_AEREO) (connected PTO_AEREO GOMEZ_FARIAS)
	 (connected GOMEZ_FARIAS ZARAGOZA) (connected ZARAGOZA PANTITLAN)
	 (connected CUATRO_CAMINOS PANTEONES) (connected PANTEONES CUITLAHUAC)
	 (connected CUITLAHUAC POPOTLA) (connected POPOTLA COLEGIO_MILITAR)
	 (connected COLEGIO_MILITAR NORMAL) (connected NORMAL SAN_COSME)
	 (connected SAN_COSME REVOLUCION) (connected REVOLUCION HIDALGO)
	 (connected HIDALGO BELLAS_ARTES) (connected BELLAS_ARTES ALLENDE)
	 (connected ALLENDE ZOCALO) (connected ZOCALO PINO_SUAREZ)
	 (connected PINO_SUAREZ SAN_ANTONIO_ABAD) (connected SAN_ANTONIO_ABAD CHABACANO)
	 (connected CHABACANO VIADUCTA) (connected VIADUCTA XOLA)
	 (connected XOLA VILLA_CORTES) (connected VILLA_CORTES NATIVITAS)
	 (connected NATIVITAS PORTALES) (connected PORTALES ERMITA)
	 (connected EMITA GENERAL_ANAYA) (connected GENERAL_ANAYA TASQUENA)
	 (connected INDIOS_VERDES DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO POTRERO)
	 (connected POTRERO RAZA) (connected RAZA TLATELOLCO)
	 (connected TLATELOLCO GUERRERO) (connected GUERRERO HIDALGO)
	 (connected HIDALGO JUAREZ) (connected JUAREZ BALDERAS)
	 (connected BALDERAS N_HEROES) (connected N_HEROES HOSPITAL)
	 (connected HOSPITAL CENTRO_MEDICO) (connected CENTRO_MEDICO ETIOPIA)
	 (connected ETIOPIA EUGENIA) (connected EUGENIA DIVISION_NORTE)
	 (connected DIVISION_NORTE ZAPATA) (connected ZAPATA COYOACAN)
	 (connected COYOACAN VIVEROS) (connected VIVEROS QUEVEDO)
	 (connected QUEVEDO COPILCO) (connected COPILCO UNIVERSIDAD)
	 (connected SANTA_ANITA CHABACANO) (connected CHABACANO FRAY_SERVANDO)
	 (connected FRAY_SERVANDO CANDELARIA) (connected CANDELARIA MORELOS)
	 (connected MORELOS CANAL_NORTE) (connected CANAL_NORTE CONSULADO)
	 (connected CONSULADO BONDOJITO) (connected BONDOJITO TALISMAN)
	 (connected TALISMAN MARTIN_CARRERA) (connected POLITECNICO INST_PETROLERO)
	 (connected INST_PETROLERO AUTOBUSES_NORTE) (connected AUTOBUSES_NORTE RAZA)
	 (connected RAZA MISTERIOS) (connnected MISTERIOS VALLE_GOMEZ)
	 (connected VALLE_GOMEZ CONSULADO) (connected CONSULADO EDUARDO_MOLINA)
	 (connected EDUARDO_MOLINA ARAGON) (connected ARAGON OCEANIA)
	 (connected OCEANIA TERMINAL_AEREA) (connected TERMINAL_AEREA HANGARES)
	 (connected HANGARES PANTITLAN) (connected ROSARIO TEZOZOMOC)
	 (connected TEZOZOMOC AZCAPOTZALCO) (connected AZCAPOTZALCO FERRERIA)
	 (connected FERRERIA NORTE_45) (connected NORTE_45 VALLEJO)
	 (connected VALLEJO INST_PETROLERO) (connected INST_PETROLERO LINDAVISTA)
	 (connected LINDAVISTA DEPORTIVO_MARZO) (connected DEPORTIVO_MARZO BASILICA)
	 (connected BASILICA MARTIN_CARRERA) (connected AQUILES_SERDAN CAMARONES)
	 (connected CAMARONES SAN_JOAQUIN) (connected SAN_JOAQUIN POLANCO)
	 (connected POLANCO AUDITORIO) (connected AUDITORIO CONSTITUYENTES)
	 (connected CONSTITUYENTES TACUBAYA) (connected TACUBAYA SP_LOS_PINOS)
	 (connected SP_LOS_PINOS SAN_ANTONIO) (connected SAN_ANTONIO MIXCOAC)
	 (connected MIXCOAC BARRANCA_MUERTO) (connected GUERRERO GARIBALDI)
	 (connected GARIBALDI BELLAS_ARTES) (connected BELLAS_ARTES JUAN_LETRAN)
	 (connected JUAN_LETRAN SALTO_AGUA) (connected SALTO_AGUA DOCTORES)
	 (connected DOCTORES OBRERA) (connected OBRERA CHABACANO)
	 (connected CHABACANO LA_VIGA) (connected LA_VIGA SANTA_ANITA)
	 (connected SANTA_ANITA COYUYA) (connected COYUYA IZTACALCO)
	 (connected IZTACALCO APATLACO) (connected APATLACO ACULCO)
	 (connected ACULCO ESCUADRON_201) (connected ESCUADRON_201 IZTAPALAPA)
	 (connected IZTAPALAPA ESTRELLA) (connected ESTRELLA UAM)
	 (connected UAM CONSTITUCION) (connected TACUBAYA PATRIOTISMO)
	 (connected PATRIOTISMO CHILPANCINGO) (connected CHILPANCINGO CENTRO_MEDICO)
	 (connected CENTRO_MEDICO LAZARO_CARDENAS) (connected LAZARO_CARDENAS CHABACANO)
	 (connected CHABACANO JAMAICA) (connected JAMAICA MIXIUHCA)
	 (connected MIXIUHCA VELODROMO) (connected VELODROMO CIUDAD_DEPORTIVA)
	 (connected CIUDAD_DEPORTIVA PUEBLA) (connected PUEBLA PANTITLAN)
	 (at TREN TACUBAYA) (in YO TREN))
  (:GOAL (on YO GARIBALDI)))