Copyright	(C) 2014 Mihaly Barasz
License	Apache-2.0, see LICENSE
Maintainer	Mihaly Barasz <klao@nilcons.com>
Stability	experimental
Safe Haskell	None
Language	Haskell2010

Data.Time.Zones.All

Description

Synopsis

Documentation

toTZName :: TZLabel -> ByteString

Convert a TZLabel to the usual name of the location.

> toTZName Europe__Paris
"Europe/Paris"

fromTZName :: ByteString -> Maybe TZLabel

Lookup the TZLabel by the name of the location.

Returns Nothing if the location is unknown.

> :set -XOverloadedStrings
> fromTZName "Europe/Paris"
Just Europe__Paris
> fromTZName "Foo/Bar"
Nothing

tzNameLabelMap :: Map ByteString TZLabel

Map mapping know time zone locations to their canonical TZLabels.

tzByLabel :: TZLabel -> TZ Source

Lookup a TZ by its label.

utcToNewYork :: UTCTime -> LocalTime
utcToNewYork = utcToLocalTimeTZ $ tzByLabel America__New_York

tzByName :: ByteString -> Maybe TZ Source

Lookup a TZ by the name of it's location.

Returns Nothing if the location is unknown.

data TZLabel :: *

Enumeration of time zone locations.

Constructors

Africa__Abidjan
Africa__Accra
Africa__Algiers
Africa__Bissau
Africa__Cairo
Africa__Casablanca
Africa__Ceuta
Africa__El_Aaiun
Africa__Johannesburg
Africa__Khartoum
Africa__Lagos
Africa__Maputo
Africa__Monrovia
Africa__Nairobi
Africa__Ndjamena
Africa__Tripoli
Africa__Tunis
Africa__Windhoek
America__Adak
America__Anchorage
America__Araguaina
America__Argentina__Buenos_Aires
America__Argentina__Catamarca
America__Argentina__Cordoba
America__Argentina__Jujuy
America__Argentina__La_Rioja
America__Argentina__Mendoza
America__Argentina__Rio_Gallegos
America__Argentina__Salta
America__Argentina__San_Juan
America__Argentina__San_Luis
America__Argentina__Tucuman
America__Argentina__Ushuaia
America__Asuncion
America__Atikokan
America__Bahia
America__Bahia_Banderas
America__Barbados
America__Belem
America__Belize
America__Blanc_Sablon
America__Boa_Vista
America__Bogota
America__Boise
America__Cambridge_Bay
America__Campo_Grande
America__Cancun
America__Caracas
America__Cayenne
America__Cayman
America__Chicago
America__Chihuahua
America__Costa_Rica
America__Creston
America__Cuiaba
America__Curacao
America__Danmarkshavn
America__Dawson
America__Dawson_Creek
America__Denver
America__Detroit
America__Edmonton
America__Eirunepe
America__El_Salvador
America__Fortaleza
America__Glace_Bay
America__Godthab
America__Goose_Bay
America__Grand_Turk
America__Guatemala
America__Guayaquil
America__Guyana
America__Halifax
America__Havana
America__Hermosillo
America__Indiana__Indianapolis
America__Indiana__Knox
America__Indiana__Marengo
America__Indiana__Petersburg
America__Indiana__Tell_City
America__Indiana__Vevay
America__Indiana__Vincennes
America__Indiana__Winamac
America__Inuvik
America__Iqaluit
America__Jamaica
America__Juneau
America__Kentucky__Louisville
America__Kentucky__Monticello
America__La_Paz
America__Lima
America__Los_Angeles
America__Maceio
America__Managua
America__Manaus
America__Martinique
America__Matamoros
America__Mazatlan
America__Menominee
America__Merida
America__Metlakatla
America__Mexico_City
America__Miquelon
America__Moncton
America__Monterrey
America__Montevideo
America__Nassau
America__New_York
America__Nipigon
America__Nome
America__Noronha
America__North_Dakota__Beulah
America__North_Dakota__Center
America__North_Dakota__New_Salem
America__Ojinaga
America__Panama
America__Pangnirtung
America__Paramaribo
America__Phoenix
America__Port_au_Prince
America__Port_of_Spain
America__Porto_Velho
America__Puerto_Rico
America__Rainy_River
America__Rankin_Inlet
America__Recife
America__Regina
America__Resolute
America__Rio_Branco
America__Santa_Isabel
America__Santarem
America__Santiago
America__Santo_Domingo
America__Sao_Paulo
America__Scoresbysund
America__Sitka
America__St_Johns
America__Swift_Current
America__Tegucigalpa
America__Thule
America__Thunder_Bay
America__Tijuana
America__Toronto
America__Vancouver
America__Whitehorse
America__Winnipeg
America__Yakutat
America__Yellowknife
Antarctica__Casey
Antarctica__Davis
Antarctica__DumontDUrville
Antarctica__Macquarie
Antarctica__Mawson
Antarctica__Palmer
Antarctica__Rothera
Antarctica__Syowa
Antarctica__Troll
Antarctica__Vostok
Asia__Almaty
Asia__Amman
Asia__Anadyr
Asia__Aqtau
Asia__Aqtobe
Asia__Ashgabat
Asia__Baghdad
Asia__Baku
Asia__Bangkok
Asia__Beirut
Asia__Bishkek
Asia__Brunei
Asia__Chita
Asia__Choibalsan
Asia__Colombo
Asia__Damascus
Asia__Dhaka
Asia__Dili
Asia__Dubai
Asia__Dushanbe
Asia__Gaza
Asia__Hebron
Asia__Ho_Chi_Minh
Asia__Hong_Kong
Asia__Hovd
Asia__Irkutsk
Asia__Jakarta
Asia__Jayapura
Asia__Jerusalem
Asia__Kabul
Asia__Kamchatka
Asia__Karachi
Asia__Kathmandu
Asia__Khandyga
Asia__Kolkata
Asia__Krasnoyarsk
Asia__Kuala_Lumpur
Asia__Kuching
Asia__Macau
Asia__Magadan
Asia__Makassar
Asia__Manila
Asia__Nicosia
Asia__Novokuznetsk
Asia__Novosibirsk
Asia__Omsk
Asia__Oral
Asia__Pontianak
Asia__Pyongyang
Asia__Qatar
Asia__Qyzylorda
Asia__Rangoon
Asia__Riyadh
Asia__Sakhalin
Asia__Samarkand
Asia__Seoul
Asia__Shanghai
Asia__Singapore
Asia__Srednekolymsk
Asia__Taipei
Asia__Tashkent
Asia__Tbilisi
Asia__Tehran
Asia__Thimphu
Asia__Tokyo
Asia__Ulaanbaatar
Asia__Urumqi
Asia__Ust_Nera
Asia__Vladivostok
Asia__Yakutsk
Asia__Yekaterinburg
Asia__Yerevan
Atlantic__Azores
Atlantic__Bermuda
Atlantic__Canary
Atlantic__Cape_Verde
Atlantic__Faroe
Atlantic__Madeira
Atlantic__Reykjavik
Atlantic__South_Georgia
Atlantic__Stanley
Australia__Adelaide
Australia__Brisbane
Australia__Broken_Hill
Australia__Currie
Australia__Darwin
Australia__Eucla
Australia__Hobart
Australia__Lindeman
Australia__Lord_Howe
Australia__Melbourne
Australia__Perth
Australia__Sydney
Etc__GMT
Etc__GMT1
Etc__GMT10
Etc__GMT11
Etc__GMT12
Etc__GMT2
Etc__GMT3
Etc__GMT4
Etc__GMT5
Etc__GMT6
Etc__GMT7
Etc__GMT8
Etc__GMT9
Etc__GMT_1
Etc__GMT_10
Etc__GMT_11
Etc__GMT_12
Etc__GMT_13
Etc__GMT_14
Etc__GMT_2
Etc__GMT_3
Etc__GMT_4
Etc__GMT_5
Etc__GMT_6
Etc__GMT_7
Etc__GMT_8
Etc__GMT_9
Etc__UCT
Etc__UTC
Europe__Amsterdam
Europe__Andorra
Europe__Athens
Europe__Belgrade
Europe__Berlin
Europe__Brussels
Europe__Bucharest
Europe__Budapest
Europe__Chisinau
Europe__Copenhagen
Europe__Dublin
Europe__Gibraltar
Europe__Helsinki
Europe__Istanbul
Europe__Kaliningrad
Europe__Kiev
Europe__Lisbon
Europe__London
Europe__Luxembourg
Europe__Madrid
Europe__Malta
Europe__Minsk
Europe__Monaco
Europe__Moscow
Europe__Oslo
Europe__Paris
Europe__Prague
Europe__Riga
Europe__Rome
Europe__Samara
Europe__Simferopol
Europe__Sofia
Europe__Stockholm
Europe__Tallinn
Europe__Tirane
Europe__Uzhgorod
Europe__Vienna
Europe__Vilnius
Europe__Volgograd
Europe__Warsaw
Europe__Zaporozhye
Europe__Zurich
Indian__Chagos
Indian__Christmas
Indian__Cocos
Indian__Kerguelen
Indian__Mahe
Indian__Maldives
Indian__Mauritius
Indian__Reunion
Pacific__Apia
Pacific__Auckland
Pacific__Bougainville
Pacific__Chatham
Pacific__Chuuk
Pacific__Easter
Pacific__Efate
Pacific__Enderbury
Pacific__Fakaofo
Pacific__Fiji
Pacific__Funafuti
Pacific__Galapagos
Pacific__Gambier
Pacific__Guadalcanal
Pacific__Guam
Pacific__Honolulu
Pacific__Kiritimati
Pacific__Kosrae
Pacific__Kwajalein
Pacific__Majuro
Pacific__Marquesas
Pacific__Nauru
Pacific__Niue
Pacific__Norfolk
Pacific__Noumea
Pacific__Pago_Pago
Pacific__Palau
Pacific__Pitcairn
Pacific__Pohnpei
Pacific__Port_Moresby
Pacific__Rarotonga
Pacific__Tahiti
Pacific__Tarawa
Pacific__Tongatapu
Pacific__Wake
Pacific__Wallis
Root__CET
Root__CST6CDT
Root__EET
Root__EST
Root__EST5EDT
Root__HST
Root__MET
Root__MST
Root__MST7MDT
Root__PST8PDT
Root__WET

Instances

Bounded TZLabel
Enum TZLabel
Eq TZLabel
Data TZLabel
Ord TZLabel
Read TZLabel
Show TZLabel
Generic TZLabel
NFData TZLabel
type Rep TZLabel = D1 D1TZLabel ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_0TZLabel U1) (C1 C1_1TZLabel U1)) ((:+:) (C1 C1_2TZLabel U1) ((:+:) (C1 C1_3TZLabel U1) (C1 C1_4TZLabel U1)))) ((:+:) ((:+:) (C1 C1_5TZLabel U1) ((:+:) (C1 C1_6TZLabel U1) (C1 C1_7TZLabel U1))) ((:+:) (C1 C1_8TZLabel U1) ((:+:) (C1 C1_9TZLabel U1) (C1 C1_10TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_11TZLabel U1) ((:+:) (C1 C1_12TZLabel U1) (C1 C1_13TZLabel U1))) ((:+:) (C1 C1_14TZLabel U1) ((:+:) (C1 C1_15TZLabel U1) (C1 C1_16TZLabel U1)))) ((:+:) ((:+:) (C1 C1_17TZLabel U1) ((:+:) (C1 C1_18TZLabel U1) (C1 C1_19TZLabel U1))) ((:+:) (C1 C1_20TZLabel U1) ((:+:) (C1 C1_21TZLabel U1) (C1 C1_22TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_23TZLabel U1) ((:+:) (C1 C1_24TZLabel U1) (C1 C1_25TZLabel U1))) ((:+:) (C1 C1_26TZLabel U1) ((:+:) (C1 C1_27TZLabel U1) (C1 C1_28TZLabel U1)))) ((:+:) ((:+:) (C1 C1_29TZLabel U1) ((:+:) (C1 C1_30TZLabel U1) (C1 C1_31TZLabel U1))) ((:+:) (C1 C1_32TZLabel U1) ((:+:) (C1 C1_33TZLabel U1) (C1 C1_34TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_35TZLabel U1) ((:+:) (C1 C1_36TZLabel U1) (C1 C1_37TZLabel U1))) ((:+:) (C1 C1_38TZLabel U1) ((:+:) (C1 C1_39TZLabel U1) (C1 C1_40TZLabel U1)))) ((:+:) ((:+:) (C1 C1_41TZLabel U1) ((:+:) (C1 C1_42TZLabel U1) (C1 C1_43TZLabel U1))) ((:+:) (C1 C1_44TZLabel U1) ((:+:) (C1 C1_45TZLabel U1) (C1 C1_46TZLabel U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_47TZLabel U1) (C1 C1_48TZLabel U1)) ((:+:) (C1 C1_49TZLabel U1) ((:+:) (C1 C1_50TZLabel U1) (C1 C1_51TZLabel U1)))) ((:+:) ((:+:) (C1 C1_52TZLabel U1) ((:+:) (C1 C1_53TZLabel U1) (C1 C1_54TZLabel U1))) ((:+:) (C1 C1_55TZLabel U1) ((:+:) (C1 C1_56TZLabel U1) (C1 C1_57TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_58TZLabel U1) ((:+:) (C1 C1_59TZLabel U1) (C1 C1_60TZLabel U1))) ((:+:) (C1 C1_61TZLabel U1) ((:+:) (C1 C1_62TZLabel U1) (C1 C1_63TZLabel U1)))) ((:+:) ((:+:) (C1 C1_64TZLabel U1) ((:+:) (C1 C1_65TZLabel U1) (C1 C1_66TZLabel U1))) ((:+:) (C1 C1_67TZLabel U1) ((:+:) (C1 C1_68TZLabel U1) (C1 C1_69TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_70TZLabel U1) ((:+:) (C1 C1_71TZLabel U1) (C1 C1_72TZLabel U1))) ((:+:) (C1 C1_73TZLabel U1) ((:+:) (C1 C1_74TZLabel U1) (C1 C1_75TZLabel U1)))) ((:+:) ((:+:) (C1 C1_76TZLabel U1) ((:+:) (C1 C1_77TZLabel U1) (C1 C1_78TZLabel U1))) ((:+:) (C1 C1_79TZLabel U1) ((:+:) (C1 C1_80TZLabel U1) (C1 C1_81TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_82TZLabel U1) ((:+:) (C1 C1_83TZLabel U1) (C1 C1_84TZLabel U1))) ((:+:) (C1 C1_85TZLabel U1) ((:+:) (C1 C1_86TZLabel U1) (C1 C1_87TZLabel U1)))) ((:+:) ((:+:) (C1 C1_88TZLabel U1) ((:+:) (C1 C1_89TZLabel U1) (C1 C1_90TZLabel U1))) ((:+:) (C1 C1_91TZLabel U1) ((:+:) (C1 C1_92TZLabel U1) (C1 C1_93TZLabel U1)))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_94TZLabel U1) (C1 C1_95TZLabel U1)) ((:+:) (C1 C1_96TZLabel U1) ((:+:) (C1 C1_97TZLabel U1) (C1 C1_98TZLabel U1)))) ((:+:) ((:+:) (C1 C1_99TZLabel U1) ((:+:) (C1 C1_100TZLabel U1) (C1 C1_101TZLabel U1))) ((:+:) (C1 C1_102TZLabel U1) ((:+:) (C1 C1_103TZLabel U1) (C1 C1_104TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_105TZLabel U1) ((:+:) (C1 C1_106TZLabel U1) (C1 C1_107TZLabel U1))) ((:+:) (C1 C1_108TZLabel U1) ((:+:) (C1 C1_109TZLabel U1) (C1 C1_110TZLabel U1)))) ((:+:) ((:+:) (C1 C1_111TZLabel U1) ((:+:) (C1 C1_112TZLabel U1) (C1 C1_113TZLabel U1))) ((:+:) (C1 C1_114TZLabel U1) ((:+:) (C1 C1_115TZLabel U1) (C1 C1_116TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_117TZLabel U1) ((:+:) (C1 C1_118TZLabel U1) (C1 C1_119TZLabel U1))) ((:+:) (C1 C1_120TZLabel U1) ((:+:) (C1 C1_121TZLabel U1) (C1 C1_122TZLabel U1)))) ((:+:) ((:+:) (C1 C1_123TZLabel U1) ((:+:) (C1 C1_124TZLabel U1) (C1 C1_125TZLabel U1))) ((:+:) (C1 C1_126TZLabel U1) ((:+:) (C1 C1_127TZLabel U1) (C1 C1_128TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_129TZLabel U1) ((:+:) (C1 C1_130TZLabel U1) (C1 C1_131TZLabel U1))) ((:+:) (C1 C1_132TZLabel U1) ((:+:) (C1 C1_133TZLabel U1) (C1 C1_134TZLabel U1)))) ((:+:) ((:+:) (C1 C1_135TZLabel U1) ((:+:) (C1 C1_136TZLabel U1) (C1 C1_137TZLabel U1))) ((:+:) (C1 C1_138TZLabel U1) ((:+:) (C1 C1_139TZLabel U1) (C1 C1_140TZLabel U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_141TZLabel U1) (C1 C1_142TZLabel U1)) ((:+:) (C1 C1_143TZLabel U1) ((:+:) (C1 C1_144TZLabel U1) (C1 C1_145TZLabel U1)))) ((:+:) ((:+:) (C1 C1_146TZLabel U1) ((:+:) (C1 C1_147TZLabel U1) (C1 C1_148TZLabel U1))) ((:+:) (C1 C1_149TZLabel U1) ((:+:) (C1 C1_150TZLabel U1) (C1 C1_151TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_152TZLabel U1) ((:+:) (C1 C1_153TZLabel U1) (C1 C1_154TZLabel U1))) ((:+:) (C1 C1_155TZLabel U1) ((:+:) (C1 C1_156TZLabel U1) (C1 C1_157TZLabel U1)))) ((:+:) ((:+:) (C1 C1_158TZLabel U1) ((:+:) (C1 C1_159TZLabel U1) (C1 C1_160TZLabel U1))) ((:+:) (C1 C1_161TZLabel U1) ((:+:) (C1 C1_162TZLabel U1) (C1 C1_163TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_164TZLabel U1) ((:+:) (C1 C1_165TZLabel U1) (C1 C1_166TZLabel U1))) ((:+:) (C1 C1_167TZLabel U1) ((:+:) (C1 C1_168TZLabel U1) (C1 C1_169TZLabel U1)))) ((:+:) ((:+:) (C1 C1_170TZLabel U1) ((:+:) (C1 C1_171TZLabel U1) (C1 C1_172TZLabel U1))) ((:+:) (C1 C1_173TZLabel U1) ((:+:) (C1 C1_174TZLabel U1) (C1 C1_175TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_176TZLabel U1) ((:+:) (C1 C1_177TZLabel U1) (C1 C1_178TZLabel U1))) ((:+:) (C1 C1_179TZLabel U1) ((:+:) (C1 C1_180TZLabel U1) (C1 C1_181TZLabel U1)))) ((:+:) ((:+:) (C1 C1_182TZLabel U1) ((:+:) (C1 C1_183TZLabel U1) (C1 C1_184TZLabel U1))) ((:+:) (C1 C1_185TZLabel U1) ((:+:) (C1 C1_186TZLabel U1) (C1 C1_187TZLabel U1))))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_188TZLabel U1) (C1 C1_189TZLabel U1)) ((:+:) (C1 C1_190TZLabel U1) ((:+:) (C1 C1_191TZLabel U1) (C1 C1_192TZLabel U1)))) ((:+:) ((:+:) (C1 C1_193TZLabel U1) ((:+:) (C1 C1_194TZLabel U1) (C1 C1_195TZLabel U1))) ((:+:) (C1 C1_196TZLabel U1) ((:+:) (C1 C1_197TZLabel U1) (C1 C1_198TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_199TZLabel U1) ((:+:) (C1 C1_200TZLabel U1) (C1 C1_201TZLabel U1))) ((:+:) (C1 C1_202TZLabel U1) ((:+:) (C1 C1_203TZLabel U1) (C1 C1_204TZLabel U1)))) ((:+:) ((:+:) (C1 C1_205TZLabel U1) ((:+:) (C1 C1_206TZLabel U1) (C1 C1_207TZLabel U1))) ((:+:) (C1 C1_208TZLabel U1) ((:+:) (C1 C1_209TZLabel U1) (C1 C1_210TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_211TZLabel U1) ((:+:) (C1 C1_212TZLabel U1) (C1 C1_213TZLabel U1))) ((:+:) (C1 C1_214TZLabel U1) ((:+:) (C1 C1_215TZLabel U1) (C1 C1_216TZLabel U1)))) ((:+:) ((:+:) (C1 C1_217TZLabel U1) ((:+:) (C1 C1_218TZLabel U1) (C1 C1_219TZLabel U1))) ((:+:) (C1 C1_220TZLabel U1) ((:+:) (C1 C1_221TZLabel U1) (C1 C1_222TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_223TZLabel U1) ((:+:) (C1 C1_224TZLabel U1) (C1 C1_225TZLabel U1))) ((:+:) (C1 C1_226TZLabel U1) ((:+:) (C1 C1_227TZLabel U1) (C1 C1_228TZLabel U1)))) ((:+:) ((:+:) (C1 C1_229TZLabel U1) ((:+:) (C1 C1_230TZLabel U1) (C1 C1_231TZLabel U1))) ((:+:) (C1 C1_232TZLabel U1) ((:+:) (C1 C1_233TZLabel U1) (C1 C1_234TZLabel U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_235TZLabel U1) (C1 C1_236TZLabel U1)) ((:+:) (C1 C1_237TZLabel U1) ((:+:) (C1 C1_238TZLabel U1) (C1 C1_239TZLabel U1)))) ((:+:) ((:+:) (C1 C1_240TZLabel U1) ((:+:) (C1 C1_241TZLabel U1) (C1 C1_242TZLabel U1))) ((:+:) (C1 C1_243TZLabel U1) ((:+:) (C1 C1_244TZLabel U1) (C1 C1_245TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_246TZLabel U1) ((:+:) (C1 C1_247TZLabel U1) (C1 C1_248TZLabel U1))) ((:+:) (C1 C1_249TZLabel U1) ((:+:) (C1 C1_250TZLabel U1) (C1 C1_251TZLabel U1)))) ((:+:) ((:+:) (C1 C1_252TZLabel U1) ((:+:) (C1 C1_253TZLabel U1) (C1 C1_254TZLabel U1))) ((:+:) (C1 C1_255TZLabel U1) ((:+:) (C1 C1_256TZLabel U1) (C1 C1_257TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_258TZLabel U1) ((:+:) (C1 C1_259TZLabel U1) (C1 C1_260TZLabel U1))) ((:+:) (C1 C1_261TZLabel U1) ((:+:) (C1 C1_262TZLabel U1) (C1 C1_263TZLabel U1)))) ((:+:) ((:+:) (C1 C1_264TZLabel U1) ((:+:) (C1 C1_265TZLabel U1) (C1 C1_266TZLabel U1))) ((:+:) (C1 C1_267TZLabel U1) ((:+:) (C1 C1_268TZLabel U1) (C1 C1_269TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_270TZLabel U1) ((:+:) (C1 C1_271TZLabel U1) (C1 C1_272TZLabel U1))) ((:+:) (C1 C1_273TZLabel U1) ((:+:) (C1 C1_274TZLabel U1) (C1 C1_275TZLabel U1)))) ((:+:) ((:+:) (C1 C1_276TZLabel U1) ((:+:) (C1 C1_277TZLabel U1) (C1 C1_278TZLabel U1))) ((:+:) (C1 C1_279TZLabel U1) ((:+:) (C1 C1_280TZLabel U1) (C1 C1_281TZLabel U1)))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_282TZLabel U1) (C1 C1_283TZLabel U1)) ((:+:) (C1 C1_284TZLabel U1) ((:+:) (C1 C1_285TZLabel U1) (C1 C1_286TZLabel U1)))) ((:+:) ((:+:) (C1 C1_287TZLabel U1) ((:+:) (C1 C1_288TZLabel U1) (C1 C1_289TZLabel U1))) ((:+:) (C1 C1_290TZLabel U1) ((:+:) (C1 C1_291TZLabel U1) (C1 C1_292TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_293TZLabel U1) ((:+:) (C1 C1_294TZLabel U1) (C1 C1_295TZLabel U1))) ((:+:) (C1 C1_296TZLabel U1) ((:+:) (C1 C1_297TZLabel U1) (C1 C1_298TZLabel U1)))) ((:+:) ((:+:) (C1 C1_299TZLabel U1) ((:+:) (C1 C1_300TZLabel U1) (C1 C1_301TZLabel U1))) ((:+:) (C1 C1_302TZLabel U1) ((:+:) (C1 C1_303TZLabel U1) (C1 C1_304TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_305TZLabel U1) ((:+:) (C1 C1_306TZLabel U1) (C1 C1_307TZLabel U1))) ((:+:) (C1 C1_308TZLabel U1) ((:+:) (C1 C1_309TZLabel U1) (C1 C1_310TZLabel U1)))) ((:+:) ((:+:) (C1 C1_311TZLabel U1) ((:+:) (C1 C1_312TZLabel U1) (C1 C1_313TZLabel U1))) ((:+:) (C1 C1_314TZLabel U1) ((:+:) (C1 C1_315TZLabel U1) (C1 C1_316TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_317TZLabel U1) ((:+:) (C1 C1_318TZLabel U1) (C1 C1_319TZLabel U1))) ((:+:) (C1 C1_320TZLabel U1) ((:+:) (C1 C1_321TZLabel U1) (C1 C1_322TZLabel U1)))) ((:+:) ((:+:) (C1 C1_323TZLabel U1) ((:+:) (C1 C1_324TZLabel U1) (C1 C1_325TZLabel U1))) ((:+:) (C1 C1_326TZLabel U1) ((:+:) (C1 C1_327TZLabel U1) (C1 C1_328TZLabel U1))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_329TZLabel U1) ((:+:) (C1 C1_330TZLabel U1) (C1 C1_331TZLabel U1))) ((:+:) (C1 C1_332TZLabel U1) ((:+:) (C1 C1_333TZLabel U1) (C1 C1_334TZLabel U1)))) ((:+:) ((:+:) (C1 C1_335TZLabel U1) ((:+:) (C1 C1_336TZLabel U1) (C1 C1_337TZLabel U1))) ((:+:) (C1 C1_338TZLabel U1) ((:+:) (C1 C1_339TZLabel U1) (C1 C1_340TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_341TZLabel U1) ((:+:) (C1 C1_342TZLabel U1) (C1 C1_343TZLabel U1))) ((:+:) (C1 C1_344TZLabel U1) ((:+:) (C1 C1_345TZLabel U1) (C1 C1_346TZLabel U1)))) ((:+:) ((:+:) (C1 C1_347TZLabel U1) ((:+:) (C1 C1_348TZLabel U1) (C1 C1_349TZLabel U1))) ((:+:) (C1 C1_350TZLabel U1) ((:+:) (C1 C1_351TZLabel U1) (C1 C1_352TZLabel U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 C1_353TZLabel U1) ((:+:) (C1 C1_354TZLabel U1) (C1 C1_355TZLabel U1))) ((:+:) (C1 C1_356TZLabel U1) ((:+:) (C1 C1_357TZLabel U1) (C1 C1_358TZLabel U1)))) ((:+:) ((:+:) (C1 C1_359TZLabel U1) ((:+:) (C1 C1_360TZLabel U1) (C1 C1_361TZLabel U1))) ((:+:) (C1 C1_362TZLabel U1) ((:+:) (C1 C1_363TZLabel U1) (C1 C1_364TZLabel U1))))) ((:+:) ((:+:) ((:+:) (C1 C1_365TZLabel U1) ((:+:) (C1 C1_366TZLabel U1) (C1 C1_367TZLabel U1))) ((:+:) (C1 C1_368TZLabel U1) ((:+:) (C1 C1_369TZLabel U1) (C1 C1_370TZLabel U1)))) ((:+:) ((:+:) (C1 C1_371TZLabel U1) ((:+:) (C1 C1_372TZLabel U1) (C1 C1_373TZLabel U1))) ((:+:) (C1 C1_374TZLabel U1) ((:+:) (C1 C1_375TZLabel U1) (C1 C1_376TZLabel U1))))))))))