Copyright | (C) 2014 Mihaly Barasz |
---|---|
License | Apache-2.0, see LICENSE |
Maintainer | Mihaly Barasz <klao@nilcons.com> |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
- toTZName :: TZLabel -> ByteString
- fromTZName :: ByteString -> Maybe TZLabel
- tzNameLabelMap :: Map ByteString TZLabel
- tzByLabel :: TZLabel -> TZ
- tzByName :: ByteString -> Maybe TZ
- data TZLabel :: *
- = 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__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__Fort_Nelson
- | 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__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__Barnaul
- | 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__Tomsk
- | 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__Astrakhan
- | 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__Kirov
- | 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__Ulyanovsk
- | 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
Documentation
toTZName :: TZLabel -> ByteString
Convert a TZLabel
to the usual name of the location.
> toTZName Europe__Paris "Europe/Paris"
fromTZName :: ByteString -> Maybe TZLabel
tzByLabel :: TZLabel -> TZ Source
Lookup a TZ
by its label.
utcToNewYork :: UTCTime -> LocalTime utcToNewYork = utcToLocalTimeTZ $ tzByLabel America__New_York
tzByName :: ByteString -> Maybe TZ Source
data TZLabel :: *
Enumeration of time zone locations.
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) (C1 C1_377TZLabel U1))) ((:+:) (C1 C1_378TZLabel U1) ((:+:) (C1 C1_379TZLabel U1) (C1 C1_380TZLabel U1)))))))))) |