Grammar

This grammar is LALR(1)

Number of Rules 81

Number of Terminals 73

Number of Lr0 States16

Number of La States0

BNF

Accept ::= rfc1123

rfc1123 ::= EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' z

2: EEE ::= 'Sat|Satu|Satur|Saturd|Saturda|Saturday'

3: EEE ::= 'Wed|Wedn|Wedne|Wednes|Wednesd|Wednesda|Wednesday'

4: EEE ::= 'Fri|Frid|Frida|Friday'

5: EEE ::= 'Thu|Thur|Thurs|Thursd|Thursda|Thursday'

6: EEE ::= 'Sun|Sund|Sunda|Sunday'

7: EEE ::= 'Mon|Mond|Monda|Monday'

8: EEE ::= 'Tue|Tues|Tuesd|Tuesda|Tuesday'

dd ::= dayInMonth

10: MMM ::= 'Apr|Apri|April'

11: MMM ::= 'Aug|Augu|Augus|August'

12: MMM ::= 'Dec|Dece|Decem|Decemb|Decembe|December'

13: MMM ::= 'Sep|Sept|Septe|Septem|Septemb|Septembe|September'

14: MMM ::= 'Feb|Febr|Febru|Februa|Februar|February'

15: MMM ::= 'Mar|Marc|March'

16: MMM ::= 'Jun|June'

17: MMM ::= 'May'

18: MMM ::= 'Jul|July'

19: MMM ::= 'Jan|Janu|Janua|Januar|January'

20: MMM ::= 'Nov|Nove|Novem|Novemb|Novembe|November'

21: MMM ::= 'Oct|Octo|Octob|Octobe|October'

yyyy ::= year4

HH ::= hour23

mm ::= minute

ss ::= second

z ::= generalTZ

27: dayInMonth ::= digit12

28: hour23 ::= digit12

29: minute ::= digit12

30: second ::= digit12

31: generalTZ ::= tzName

32: tzName ::= 'PDT|Pacific Daylight Time|MeDT|Metlakatla Daylight Time|Pitcairn Daylight Time|America/Boise|MST|Mountain Standard Time|America/Cambridge_Bay|America/Chihuahua|America/Creston|America/Dawson_Creek|America/Denver|America/Edmonton|America/Hermosillo|America/Inuvik|America/Mazatlan|America/Ojinaga|America/Phoenix|America/Shiprock|America/Yellowknife|Canada/Mountain|Etc/GMT+7|MST7MDT|Mexico/BajaSur|Navajo|PNT|SystemV/MST7|SystemV/MST7MDT|US/Arizona|US/Mountain|T'

33: tzName ::= 'MDT|Mountain Daylight Time|America/Bahia_Banderas|CST|Central Standard Time|America/Belize|America/Cancun|America/Chicago|America/Costa_Rica|America/El_Salvador|America/Guatemala|America/Indiana/Knox|America/Indiana/Tell_City|America/Knox_IN|America/Managua|America/Matamoros|America/Menominee|America/Merida|America/Mexico_City|America/Monterrey|America/North_Dakota/Beulah|America/North_Dakota/Center|America/North_Dakota/New_Salem|America/Rainy_River|America/Rankin_Inlet|America/Regina|America/Resolute|America/Swift_Current|America/Tegucigalpa|America/Winnipeg|CST6CDT|Canada/Central|Canada/East-Saskatchewan|Canada/Saskatchewan|Chile/EasterIsland|EAST|Easter Is. Time|Etc/GMT+6|Mexico/General|Pacific/Easter|Pacific/Galapagos|GALT|Galapagos Time|SystemV/CST6|SystemV/CST6CDT|US/Central|US/Indiana-Starke|S'

34: tzName ::= 'IRDT|Iran Daylight Time|Asia/Kabul|AFT|Afghanistan Time'

35: tzName ::= 'Central Western Summer Time (Australia)'

36: tzName ::= 'Etc/GMT+11|Pacific/Midway|SST|Samoa Standard Time|Pacific/Niue|NUT|Niue Time|Pacific/Pago_Pago|Pacific/Samoa|US/Samoa|X'

37: tzName ::= 'MMST|Myanmar Summer Time|CCST|Cocos Islands Summer Time'

38: tzName ::= 'AKDT|Alaska Daylight Time|GAMST|Gambier Summer Time|America/Dawson|PST|Pacific Standard Time|America/Ensenada|America/Los_Angeles|America/Metlakatla|MeST|Metlakatla Standard Time|America/Santa_Isabel|America/Tijuana|America/Vancouver|America/Whitehorse|Canada/Pacific|Canada/Yukon|Etc/GMT+8|Mexico/BajaNorte|PST8PDT|Pacific/Pitcairn|Pitcairn Standard Time|SystemV/PST8|SystemV/PST8PDT|US/Pacific|US/Pacific-New|U'

39: tzName ::= 'EGST|Eastern Greenland Summer Time|AZOST|Azores Summer Time|CVST|Cape Verde Summer Time|Africa/Abidjan|GMT|Greenwich Mean Time|Africa/Accra|Ghana Mean Time|Africa/Bamako|Africa/Banjul|Africa/Bissau|Africa/Casablanca|WET|Western European Time|Africa/Conakry|Africa/Dakar|Africa/El_Aaiun|Africa/Freetown|Africa/Lome|Africa/Monrovia|Africa/Nouakchott|Africa/Ouagadougou|Africa/Sao_Tome|Africa/Timbuktu|America/Danmarkshavn|Atlantic/Canary|Atlantic/Faeroe|Atlantic/Faroe|Atlantic/Madeira|Atlantic/Reykjavik|Atlantic/St_Helena|Eire|Etc/GMT|Etc/GMT+0|Etc/GMT-0|Etc/GMT0|Etc/Greenwich|Etc/UCT|UTC|Coordinated Universal Time|Etc/UTC|Etc/Universal|Etc/Zulu|Europe/Belfast|Europe/Dublin|Europe/Guernsey|Europe/Isle_of_Man|Europe/Jersey|Europe/Lisbon|Europe/London|GB|GB-Eire|GMT0|Greenwich|Iceland|Portugal|UCT|Universal|Zulu|Z'

40: tzName ::= 'Australia/Eucla|CWST|Central Western Standard Time (Australia)'

41: tzName ::= 'Etc/GMT+12|Y'

42: tzName ::= 'ACT|Central Standard Time (Northern Territory)|Australia/Adelaide|Central Standard Time (South Australia)|Australia/Broken_Hill|Central Standard Time (South Australia/New South Wales)|Australia/Darwin|Australia/North|Australia/South|Australia/Yancowinna'

43: tzName ::= 'NFST|Norfolk Summer Time'

44: tzName ::= 'EEST|Eastern European Summer Time|CAST|Central African Summer Time|South Africa Summer Time|IDT|Israel Daylight Time|Africa/Addis_Ababa|EAT|Eastern African Time|Africa/Asmara|Africa/Asmera|Africa/Dar_es_Salaam|Africa/Djibouti|Africa/Juba|Africa/Kampala|Africa/Khartoum|Africa/Mogadishu|Africa/Nairobi|Antarctica/Syowa|SYOT|Syowa Time|Asia/Aden|Arabia Standard Time|Asia/Baghdad|Asia/Bahrain|Asia/Kuwait|Asia/Qatar|Asia/Riyadh|Etc/GMT-3|Europe/Kaliningrad|FET|Further-eastern European Time|Europe/Minsk|Indian/Antananarivo|Indian/Comoro|Indian/Mayotte|C'

45: tzName ::= 'NPST|Nepal Summer Time'

46: tzName ::= 'MAWST|Mawson Summer Time|AQTST|Aqtau Summer Time|Aqtobe Summer Time|TMST|Turkmenistan Summer Time|TJST|Tajikistan Summer Time|PKST|Pakistan Summer Time|ORAST|Oral Summer Time|UZST|Uzbekistan Summer Time|TFST|French Southern & Antarctic Lands Summer Time|MVST|Maldives Summer Time|Antarctica/Vostok|VOST|Vostok Time|Asia/Almaty|ALMT|Alma-Ata Time|Asia/Bishkek|KGT|Kirgizstan Time|Asia/Dacca|BDT|Bangladesh Time|Asia/Dhaka|Asia/Qyzylorda|QYZT|Qyzylorda Time|Asia/Thimbu|BTT|Bhutan Time|Asia/Thimphu|Asia/Yekaterinburg|YEKT|Yekaterinburg Time|Etc/GMT-6|Indian/Chagos|IOT|Indian Ocean Territory Time|F'

47: tzName ::= 'India Daylight Time|Asia/Rangoon|MMT|Myanmar Time|Indian/Cocos|CCT|Cocos Islands Time'

48: tzName ::= 'CHADT|Chatham Daylight Time'

49: tzName ::= 'CDT|Central Daylight Time|EASST|Easter Is. Summer Time|GALST|Galapagos Summer Time|America/Atikokan|EST|Eastern Standard Time|America/Bogota|COT|Colombia Time|America/Cayman|America/Coral_Harbour|America/Detroit|America/Fort_Wayne|America/Grand_Turk|America/Guayaquil|ECT|Ecuador Time|America/Havana|Cuba Standard Time|America/Indiana/Indianapolis|America/Indiana/Marengo|America/Indiana/Petersburg|America/Indiana/Vevay|America/Indiana/Vincennes|America/Indiana/Winamac|America/Indianapolis|America/Iqaluit|America/Jamaica|America/Kentucky/Louisville|America/Kentucky/Monticello|America/Lima|PET|Peru Time|America/Louisville|America/Montreal|America/Nassau|America/New_York|America/Nipigon|America/Panama|America/Pangnirtung|America/Port-au-Prince|America/Thunder_Bay|America/Toronto|Canada/Eastern|Cuba|EST5EDT|Etc/GMT+5|IET|Jamaica|SystemV/EST5|SystemV/EST5EDT|US/East-Indiana|US/Eastern|US/Michigan|R'

50: tzName ::= 'NZ-CHAT|CHAST|Chatham Standard Time|Pacific/Chatham'

51: tzName ::= 'Western Summer Time (Australia)|BNST|Brunei Summer Time|CHOST|Choibalsan Summer Time|China Daylight Time|HKST|Hong Kong Summer Time|KRAST|Krasnoyarsk Summer Time|MYST|Malaysia Summer Time|CIST|Central Indonesia Summer Time|PHST|Philippines Summer Time|SGST|Singapore Summer Time|ULAST|Ulaanbaatar Summer Time|Asia/Dili|TLT|Timor-Leste Time|Asia/Irkutsk|IRKT|Irkutsk Time|Asia/Jayapura|EIT|East Indonesia Time|Asia/Pyongyang|KST|Korea Standard Time|Asia/Seoul|Asia/Tokyo|JST|Japan Standard Time|Etc/GMT-9|Japan|Pacific/Palau|PWT|Palau Time|ROK|I'

52: tzName ::= 'HADT|Hawaii-Aleutian Daylight Time|HDT|Hawaii Daylight Time|CKHST|Cook Is. Summer Time|TAHST|Tahiti Summer Time|AST|AKST|Alaska Standard Time|America/Anchorage|America/Juneau|America/Nome|America/Sitka|America/Yakutat|Etc/GMT+9|Pacific/Gambier|GAMT|Gambier Time|SystemV/YST9|SystemV/YST9YDT|US/Alaska|V'

53: tzName ::= 'NZDT|New Zealand Daylight Time|ANAST|Anadyr Summer Time|PETST|Petropavlovsk-Kamchatski Summer Time|MAGST|Magadan Summer Time|MHST|Marshall Islands Summer Time|FJST|Fiji Summer Time|TVST|Tuvalu Summer Time|NRST|Nauru Summer Time|GILST|Gilbert Is. Summer Time|WAKST|Wake Summer Time|WFST|Wallis & Futuna Summer Time|Etc/GMT-13|MIT|West Samoa Time|Pacific/Apia|Pacific/Enderbury|PHOT|Phoenix Is. Time|Pacific/Tongatapu|TOT|Tonga Time|M'

54: tzName ::= 'MARST|Marquesas Summer Time'

55: tzName ::= 'Eastern Summer Time (New South Wales)|DDUST|Dumont-dx27Urville Summer Time|YAKST|Yakutsk Summer Time|Eastern Summer Time (Queensland)|Eastern Summer Time (Tasmania)|Eastern Summer Time (Victoria)|CHUST|Chuuk Summer Time|ChDT|Chamorro Daylight Time|PGST|Papua New Guinea Summer Time|Lord Howe Summer Time|Antarctica/Macquarie|MIST|Macquarie Island Time|Asia/Sakhalin|SAKT|Sakhalin Time|Asia/Vladivostok|VLAT|Vladivostok Time|Etc/GMT-11|Pacific/Efate|VUT|Vanuatu Time|Pacific/Guadalcanal|SBT|Solomon Is. Time|Pacific/Kosrae|KOST|Kosrae Time|Pacific/Noumea|NCT|New Caledonia Time|Pacific/Pohnpei|PONT|Pohnpei Time|Pacific/Ponape|K'

56: tzName ::= 'Eastern African Summer Time|SYOST|Syowa Summer Time|Arabia Daylight Time|FEST|Further-eastern European Summer Time|Asia/Baku|AZT|Azerbaijan Time|Asia/Dubai|Gulf Standard Time|Asia/Muscat|Asia/Tbilisi|GET|Georgia Time|Asia/Yerevan|Armenia Time|Etc/GMT-4|Europe/Moscow|MSK|Moscow Standard Time|Europe/Samara|SAMT|Samara Time|Europe/Volgograd|VOLT|Volgograd Time|Indian/Mahe|SCT|Seychelles Time|Indian/Mauritius|MUT|Mauritius Time|Indian/Reunion|RET|Reunion Time|NET|W-SU|D'

57: tzName ::= 'VEST|Venezuela Summer Time|America/St_Johns|NST|Newfoundland Standard Time|CNT|Canada/Newfoundland'

58: tzName ::= 'GHST|Ghana Summer Time|WEST|Western European Summer Time|SLST|Sierra Leone Summer Time|IST|Irish Summer Time|BST|British Summer Time|Africa/Algiers|CET|Central European Time|Africa/Bangui|WAT|Western African Time|Africa/Brazzaville|Africa/Ceuta|Africa/Douala|Africa/Kinshasa|Africa/Lagos|Africa/Libreville|Africa/Luanda|Africa/Malabo|Africa/Ndjamena|Africa/Niamey|Africa/Porto-Novo|Africa/Tunis|Africa/Windhoek|Arctic/Longyearbyen|Atlantic/Jan_Mayen|Etc/GMT-1|Europe/Amsterdam|Europe/Andorra|Europe/Belgrade|Europe/Berlin|Europe/Bratislava|Europe/Brussels|Europe/Budapest|Europe/Copenhagen|Europe/Gibraltar|Europe/Ljubljana|Europe/Luxembourg|Europe/Madrid|Europe/Malta|Europe/Monaco|Europe/Oslo|Europe/Paris|Europe/Podgorica|Europe/Prague|Europe/Rome|Europe/San_Marino|Europe/Sarajevo|Europe/Skopje|Europe/Stockholm|Europe/Tirane|Europe/Vaduz|Europe/Vatican|Europe/Vienna|Europe/Warsaw|Europe/Zagreb|Europe/Zurich|MET|Middle Europe Time|Poland|A'

59: tzName ::= 'Pacific/Norfolk|NFT|Norfolk Time'

60: tzName ::= 'DAVST|Davis Summer Time|ICST|Indochina Summer Time|HOVST|Hovd Summer Time|WIST|West Indonesia Summer Time|NOVST|Novosibirsk Summer Time|OMSST|Omsk Summer Time|CXST|Christmas Island Summer Time|Antarctica/Casey|WST|Western Standard Time (Australia)|Asia/Brunei|BNT|Brunei Time|Asia/Choibalsan|CHOT|Choibalsan Time|Asia/Chongqing|China Standard Time|Asia/Chungking|Asia/Harbin|Asia/Hong_Kong|HKT|Hong Kong Time|Asia/Kashgar|Asia/Krasnoyarsk|KRAT|Krasnoyarsk Time|Asia/Kuala_Lumpur|MYT|Malaysia Time|Asia/Kuching|Asia/Macao|Asia/Macau|Asia/Makassar|CIT|Central Indonesia Time|Asia/Manila|PHT|Philippines Time|Asia/Shanghai|Asia/Singapore|SGT|Singapore Time|Asia/Taipei|Asia/Ujung_Pandang|Asia/Ulaanbaatar|ULAT|Ulaanbaatar Time|Asia/Ulan_Bator|Asia/Urumqi|Australia/Perth|Australia/West|CTT|Etc/GMT-8|Hongkong|PRC|Singapore|H'

61: tzName ::= 'ADT|Atlantic Daylight Time|WARST|Western Argentine Summer Time|PYST|Paraguay Summer Time|AMST|Amazon Summer Time|GYST|Guyana Summer Time|BOST|Bolivia Summer Time|CLST|Chile Summer Time|AGT|ART|Argentine Time|America/Araguaina|BRT|Brasilia Time|America/Argentina/Buenos_Aires|America/Argentina/Catamarca|America/Argentina/ComodRivadavia|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/Tucuman|America/Argentina/Ushuaia|America/Bahia|America/Belem|America/Buenos_Aires|America/Catamarca|America/Cayenne|GFT|French Guiana Time|America/Cordoba|America/Fortaleza|America/Godthab|WGT|Western Greenland Time|America/Jujuy|America/Maceio|America/Mendoza|America/Miquelon|PMST|Pierre & Miquelon Standard Time|America/Montevideo|UYT|Uruguay Time|America/Paramaribo|SRT|Suriname Time|America/Recife|America/Rosario|America/Santarem|America/Sao_Paulo|Antarctica/Rothera|ROTT|Rothera Time|Atlantic/Stanley|FKT|Falkland Is. Time|BET|Brazil/East|Etc/GMT+3|P'

62: tzName ::= 'NDT|Newfoundland Daylight Time'

63: tzName ::= 'WSDT|West Samoa Daylight Time|PHOST|Phoenix Is. Summer Time|TOST|Tonga Summer Time|Etc/GMT-14|Pacific/Fakaofo|TKT|Tokelau Time|Pacific/Kiritimati|LINT|Line Is. Time'

64: tzName ::= 'VOSST|Vostok Summer Time|ALMST|Alma-Ata Summer Time|KGST|Kirgizstan Summer Time|BDST|Bangladesh Summer Time|QYZST|Qyzylorda Summer Time|BTST|Bhutan Summer Time|YEKST|Yekaterinburg Summer Time|IOST|Indian Ocean Territory Summer Time|Antarctica/Davis|DAVT|Davis Time|Asia/Bangkok|ICT|Indochina Time|Asia/Ho_Chi_Minh|Asia/Hovd|HOVT|Hovd Time|Asia/Jakarta|WIT|West Indonesia Time|Asia/Novokuznetsk|NOVT|Novosibirsk Time|Asia/Novosibirsk|Asia/Omsk|OMST|Omsk Time|Asia/Phnom_Penh|Asia/Pontianak|Asia/Saigon|Asia/Vientiane|Etc/GMT-7|Indian/Christmas|CXT|Christmas Island Time|VST|G'

65: tzName ::= 'CEST|Central European Summer Time|WAST|Western African Summer Time|MEST|Middle Europe Summer Time|EET|Eastern European Time|Africa/Blantyre|CAT|Central African Time|Africa/Bujumbura|Africa/Cairo|Africa/Gaborone|Africa/Harare|Africa/Johannesburg|SAST|South Africa Standard Time|Africa/Kigali|Africa/Lubumbashi|Africa/Lusaka|Africa/Maputo|Africa/Maseru|Africa/Mbabane|Africa/Tripoli|Asia/Amman|Asia/Beirut|Asia/Damascus|Asia/Gaza|Asia/Hebron|Asia/Istanbul|Asia/Jerusalem|Israel Standard Time|Asia/Nicosia|Asia/Tel_Aviv|Egypt|Etc/GMT-2|Europe/Athens|Europe/Bucharest|Europe/Chisinau|Europe/Helsinki|Europe/Istanbul|Europe/Kiev|Europe/Mariehamn|Europe/Nicosia|Europe/Riga|Europe/Simferopol|Europe/Sofia|Europe/Tallinn|Europe/Tiraspol|Europe/Uzhgorod|Europe/Vilnius|Europe/Zaporozhye|Israel|Libya|Turkey|B'

66: tzName ::= 'Asia/Kathmandu|NPT|Nepal Time|Asia/Katmandu'

67: tzName ::= 'America/Caracas|VET|Venezuela Time'

68: tzName ::= 'TKST|Tokelau Summer Time|LINST|Line Is. Summer Time'

69: tzName ::= 'Asia/Tehran|IRST|Iran Standard Time|Iran'

70: tzName ::= 'ARST|Argentine Summer Time|BRST|Brasilia Summer Time|GFST|French Guiana Summer Time|WGST|Western Greenland Summer Time|PMDT|Pierre & Miquelon Daylight Time|UYST|Uruguay Summer Time|SRST|Suriname Summer Time|ROTST|Rothera Summer Time|FKST|Falkland Is. Summer Time|America/Noronha|FNT|Fernando de Noronha Time|Atlantic/South_Georgia|GST|South Georgia Standard Time|Brazil/DeNoronha|Etc/GMT+2|O'

71: tzName ::= 'TLST|Timor-Leste Summer Time|IRKST|Irkutsk Summer Time|EIST|East Indonesia Summer Time|KDT|Korea Daylight Time|JDT|Japan Daylight Time|PWST|Palau Summer Time|AET|Eastern Standard Time (New South Wales)|Antarctica/DumontDUrville|DDUT|Dumont-dx27Urville Time|Asia/Yakutsk|YAKT|Yakutsk Time|Australia/ACT|Australia/Brisbane|Eastern Standard Time (Queensland)|Australia/Canberra|Australia/Currie|Australia/Hobart|Eastern Standard Time (Tasmania)|Australia/Lindeman|Australia/Melbourne|Eastern Standard Time (Victoria)|Australia/NSW|Australia/Queensland|Australia/Sydney|Australia/Tasmania|Australia/Victoria|Etc/GMT-10|Pacific/Chuuk|CHUT|Chuuk Time|Pacific/Guam|ChST|Chamorro Standard Time|Pacific/Port_Moresby|PGT|Papua New Guinea Time|Pacific/Saipan|Pacific/Truk|Pacific/Yap|J'

72: tzName ::= 'FNST|Fernando de Noronha Summer Time|GDT|South Georgia Daylight Time|America/Scoresbysund|EGT|Eastern Greenland Time|Atlantic/Azores|AZOT|Azores Time|Atlantic/Cape_Verde|CVT|Cape Verde Time|Etc/GMT+1|N'

73: tzName ::= 'AZST|Azerbaijan Summer Time|Gulf Daylight Time|GEST|Georgia Summer Time|Armenia Summer Time|MSD|Moscow Daylight Time|SAMST|Samara Summer Time|VOLST|Volgograd Summer Time|SCST|Seychelles Summer Time|MUST|Mauritius Summer Time|REST|Reunion Summer Time|Antarctica/Mawson|MAWT|Mawson Time|Asia/Aqtau|AQTT|Aqtau Time|Asia/Aqtobe|Aqtobe Time|Asia/Ashgabat|TMT|Turkmenistan Time|Asia/Ashkhabad|Asia/Dushanbe|TJT|Tajikistan Time|Asia/Karachi|PKT|Pakistan Time|Asia/Oral|ORAT|Oral Time|Asia/Samarkand|UZT|Uzbekistan Time|Asia/Tashkent|Etc/GMT-5|Indian/Kerguelen|TFT|French Southern & Antarctic Lands Time|Indian/Maldives|MVT|Maldives Time|PLT|E'

74: tzName ::= 'Central Summer Time (Northern Territory)|Central Summer Time (South Australia)|Central Summer Time (South Australia/New South Wales)|Australia/LHI|LHST|Lord Howe Standard Time|Australia/Lord_Howe'

75: tzName ::= 'EDT|Eastern Daylight Time|COST|Colombia Summer Time|ECST|Ecuador Summer Time|Cuba Daylight Time|PEST|Peru Summer Time|America/Anguilla|Atlantic Standard Time|America/Antigua|America/Argentina/San_Luis|WART|Western Argentine Time|America/Aruba|America/Asuncion|PYT|Paraguay Time|America/Barbados|America/Blanc-Sablon|America/Boa_Vista|AMT|Amazon Time|America/Campo_Grande|America/Cuiaba|America/Curacao|America/Dominica|America/Eirunepe|America/Glace_Bay|America/Goose_Bay|America/Grenada|America/Guadeloupe|America/Guyana|GYT|Guyana Time|America/Halifax|America/Kralendijk|America/La_Paz|BOT|Bolivia Time|America/Lower_Princes|America/Manaus|America/Marigot|America/Martinique|America/Moncton|America/Montserrat|America/Port_of_Spain|America/Porto_Acre|America/Porto_Velho|America/Puerto_Rico|America/Rio_Branco|America/Santiago|CLT|Chile Time|America/Santo_Domingo|America/St_Barthelemy|America/St_Kitts|America/St_Lucia|America/St_Thomas|America/St_Vincent|America/Thule|America/Tortola|America/Virgin|Antarctica/Palmer|Atlantic/Bermuda|Brazil/Acre|Brazil/West|Canada/Atlantic|Chile/Continental|Etc/GMT+4|PRT|SystemV/AST4|SystemV/AST4ADT|Q'

76: tzName ::= 'SDT|Samoa Daylight Time|NUST|Niue Summer Time|America/Adak|HAST|Hawaii-Aleutian Standard Time|America/Atka|Etc/GMT+10|HST|Hawaii Standard Time|Pacific/Honolulu|Pacific/Johnston|Pacific/Rarotonga|CKT|Cook Is. Time|Pacific/Tahiti|TAHT|Tahiti Time|SystemV/HST10|US/Aleutian|US/Hawaii|W'

77: tzName ::= 'Pacific/Marquesas|MART|Marquesas Time'

78: tzName ::= 'Macquarie Island Summer Time|SAKST|Sakhalin Summer Time|VLAST|Vladivostok Summer Time|VUST|Vanuatu Summer Time|SBST|Solomon Is. Summer Time|KOSST|Kosrae Summer Time|NCST|New Caledonia Summer Time|PONST|Pohnpei Summer Time|Antarctica/McMurdo|NZST|New Zealand Standard Time|Antarctica/South_Pole|Asia/Anadyr|ANAT|Anadyr Time|Asia/Kamchatka|PETT|Petropavlovsk-Kamchatski Time|Asia/Magadan|MAGT|Magadan Time|Etc/GMT-12|Kwajalein|MHT|Marshall Islands Time|NZ|Pacific/Auckland|Pacific/Fiji|FJT|Fiji Time|Pacific/Funafuti|TVT|Tuvalu Time|Pacific/Kwajalein|Pacific/Majuro|Pacific/Nauru|NRT|Nauru Time|Pacific/Tarawa|GILT|Gilbert Is. Time|Pacific/Wake|WAKT|Wake Time|Pacific/Wallis|WFT|Wallis & Futuna Time|L'

79: tzName ::= 'AFST|Afghanistan Summer Time|Asia/Calcutta|India Standard Time|Asia/Colombo|Asia/Kolkata'

80: tzName ::= 'Asia/Riyadh87|Asia/Riyadh88|Asia/Riyadh89|Mideast/Riyadh87|Mideast/Riyadh88|Mideast/Riyadh89'

Terminals

digit12 = '[0-9]{1,2}'

year4 = '[0-9]{4}'

States

State 1

( )

Accept->.rfc1123

'Tue|Tues|Tuesd|Tuesda|Tuesday' Sh/Rd 8

'Mon|Mond|Monda|Monday' Sh/Rd 7

'Sun|Sund|Sunda|Sunday' Sh/Rd 6

'Thu|Thur|Thurs|Thursd|Thursda|Thursday' Sh/Rd 5

'Fri|Frid|Frida|Friday' Sh/Rd 4

'Wed|Wedn|Wedne|Wednes|Wednesd|Wednesda|Wednesday' Sh/Rd 3

'Sat|Satu|Satur|Saturd|Saturda|Saturday' Sh/Rd 2

rfc1123 Goto 2

EEE Goto 3

State 2

( 1 )

Accept->rfc1123 . (0)

Accept->rfc1123 . (0)

Eof Reduce 0

State 3

( 1 )

rfc1123->EEE .', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' z

', ' Shift 4

State 4

( 3 )

rfc1123->EEE ', ' .dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' z

digit12 Sh/Rd 27

dd Goto 5

dayInMonth Gt/Rd 9

State 5

( 4 )

rfc1123->EEE ', ' dd .' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' z

' ' Shift 6

State 6

( 5 )

rfc1123->EEE ', ' dd ' ' .MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' z

'Oct|Octo|Octob|Octobe|October' Sh/Rd 21

'Nov|Nove|Novem|Novemb|Novembe|November' Sh/Rd 20

'Jan|Janu|Janua|Januar|January' Sh/Rd 19

'Jul|July' Sh/Rd 18

'May' Sh/Rd 17

'Jun|June' Sh/Rd 16

'Mar|Marc|March' Sh/Rd 15

'Feb|Febr|Febru|Februa|Februar|February' Sh/Rd 14

'Sep|Sept|Septe|Septem|Septemb|Septembe|September' Sh/Rd 13

'Dec|Dece|Decem|Decemb|Decembe|December' Sh/Rd 12

'Aug|Augu|Augus|August' Sh/Rd 11

'Apr|Apri|April' Sh/Rd 10

MMM Goto 7

State 7

( 6 )

rfc1123->EEE ', ' dd ' ' MMM .' ' yyyy ' ' HH ':' mm ':' ss ' ' z

' ' Shift 8

State 8

( 7 )

rfc1123->EEE ', ' dd ' ' MMM ' ' .yyyy ' ' HH ':' mm ':' ss ' ' z

year4 Sh/Rd 22

yyyy Goto 9

State 9

( 8 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy .' ' HH ':' mm ':' ss ' ' z

' ' Shift 10

State 10

( 9 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' .HH ':' mm ':' ss ' ' z

digit12 Sh/Rd 28

HH Goto 11

hour23 Gt/Rd 23

State 11

( 10 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH .':' mm ':' ss ' ' z

':' Shift 12

State 12

( 11 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' .mm ':' ss ' ' z

digit12 Sh/Rd 29

mm Goto 13

minute Gt/Rd 24

State 13

( 12 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm .':' ss ' ' z

':' Shift 14

State 14

( 13 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' .ss ' ' z

digit12 Sh/Rd 30

ss Goto 15

second Gt/Rd 25

State 15

( 14 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss .' ' z

' ' Shift 16

State 16

( 15 )

rfc1123->EEE ', ' dd ' ' MMM ' ' yyyy ' ' HH ':' mm ':' ss ' ' .z

'Asia/Riyadh87|Asia/Riyadh88|Asia/Riyadh89|Mideast/Riyadh87|Mideast/Riyadh88|Mideast/Riyadh89' Sh/Rd 80

'AFST|Afghanistan Summer Time|Asia/Calcutta|India Standard Time|Asia/Colombo|Asia/Kolkata' Sh/Rd 79

'Macquarie Island Summer Time|SAKST|Sakhalin Summer Time|VLAST|Vladivostok Summer Time|VUST|Vanuatu Summer Time|SBST|Solomon Is. Summer Time|KOSST|Kosrae Summer Time|NCST|New Caledonia Summer Time|PONST|Pohnpei Summer Time|Antarctica/McMurdo|NZST|New Zealand Standard Time|Antarctica/South_Pole|Asia/Anadyr|ANAT|Anadyr Time|Asia/Kamchatka|PETT|Petropavlovsk-Kamchatski Time|Asia/Magadan|MAGT|Magadan Time|Etc/GMT-12|Kwajalein|MHT|Marshall Islands Time|NZ|Pacific/Auckland|Pacific/Fiji|FJT|Fiji Time|Pacific/Funafuti|TVT|Tuvalu Time|Pacific/Kwajalein|Pacific/Majuro|Pacific/Nauru|NRT|Nauru Time|Pacific/Tarawa|GILT|Gilbert Is. Time|Pacific/Wake|WAKT|Wake Time|Pacific/Wallis|WFT|Wallis & Futuna Time|L' Sh/Rd 78

'Pacific/Marquesas|MART|Marquesas Time' Sh/Rd 77

'SDT|Samoa Daylight Time|NUST|Niue Summer Time|America/Adak|HAST|Hawaii-Aleutian Standard Time|America/Atka|Etc/GMT+10|HST|Hawaii Standard Time|Pacific/Honolulu|Pacific/Johnston|Pacific/Rarotonga|CKT|Cook Is. Time|Pacific/Tahiti|TAHT|Tahiti Time|SystemV/HST10|US/Aleutian|US/Hawaii|W' Sh/Rd 76

'EDT|Eastern Daylight Time|COST|Colombia Summer Time|ECST|Ecuador Summer Time|Cuba Daylight Time|PEST|Peru Summer Time|America/Anguilla|Atlantic Standard Time|America/Antigua|America/Argentina/San_Luis|WART|Western Argentine Time|America/Aruba|America/Asuncion|PYT|Paraguay Time|America/Barbados|America/Blanc-Sablon|America/Boa_Vista|AMT|Amazon Time|America/Campo_Grande|America/Cuiaba|America/Curacao|America/Dominica|America/Eirunepe|America/Glace_Bay|America/Goose_Bay|America/Grenada|America/Guadeloupe|America/Guyana|GYT|Guyana Time|America/Halifax|America/Kralendijk|America/La_Paz|BOT|Bolivia Time|America/Lower_Princes|America/Manaus|America/Marigot|America/Martinique|America/Moncton|America/Montserrat|America/Port_of_Spain|America/Porto_Acre|America/Porto_Velho|America/Puerto_Rico|America/Rio_Branco|America/Santiago|CLT|Chile Time|America/Santo_Domingo|America/St_Barthelemy|America/St_Kitts|America/St_Lucia|America/St_Thomas|America/St_Vincent|America/Thule|America/Tortola|America/Virgin|Antarctica/Palmer|Atlantic/Bermuda|Brazil/Acre|Brazil/West|Canada/Atlantic|Chile/Continental|Etc/GMT+4|PRT|SystemV/AST4|SystemV/AST4ADT|Q' Sh/Rd 75

'Central Summer Time (Northern Territory)|Central Summer Time (South Australia)|Central Summer Time (South Australia/New South Wales)|Australia/LHI|LHST|Lord Howe Standard Time|Australia/Lord_Howe' Sh/Rd 74

'AZST|Azerbaijan Summer Time|Gulf Daylight Time|GEST|Georgia Summer Time|Armenia Summer Time|MSD|Moscow Daylight Time|SAMST|Samara Summer Time|VOLST|Volgograd Summer Time|SCST|Seychelles Summer Time|MUST|Mauritius Summer Time|REST|Reunion Summer Time|Antarctica/Mawson|MAWT|Mawson Time|Asia/Aqtau|AQTT|Aqtau Time|Asia/Aqtobe|Aqtobe Time|Asia/Ashgabat|TMT|Turkmenistan Time|Asia/Ashkhabad|Asia/Dushanbe|TJT|Tajikistan Time|Asia/Karachi|PKT|Pakistan Time|Asia/Oral|ORAT|Oral Time|Asia/Samarkand|UZT|Uzbekistan Time|Asia/Tashkent|Etc/GMT-5|Indian/Kerguelen|TFT|French Southern & Antarctic Lands Time|Indian/Maldives|MVT|Maldives Time|PLT|E' Sh/Rd 73

'FNST|Fernando de Noronha Summer Time|GDT|South Georgia Daylight Time|America/Scoresbysund|EGT|Eastern Greenland Time|Atlantic/Azores|AZOT|Azores Time|Atlantic/Cape_Verde|CVT|Cape Verde Time|Etc/GMT+1|N' Sh/Rd 72

'TLST|Timor-Leste Summer Time|IRKST|Irkutsk Summer Time|EIST|East Indonesia Summer Time|KDT|Korea Daylight Time|JDT|Japan Daylight Time|PWST|Palau Summer Time|AET|Eastern Standard Time (New South Wales)|Antarctica/DumontDUrville|DDUT|Dumont-dx27Urville Time|Asia/Yakutsk|YAKT|Yakutsk Time|Australia/ACT|Australia/Brisbane|Eastern Standard Time (Queensland)|Australia/Canberra|Australia/Currie|Australia/Hobart|Eastern Standard Time (Tasmania)|Australia/Lindeman|Australia/Melbourne|Eastern Standard Time (Victoria)|Australia/NSW|Australia/Queensland|Australia/Sydney|Australia/Tasmania|Australia/Victoria|Etc/GMT-10|Pacific/Chuuk|CHUT|Chuuk Time|Pacific/Guam|ChST|Chamorro Standard Time|Pacific/Port_Moresby|PGT|Papua New Guinea Time|Pacific/Saipan|Pacific/Truk|Pacific/Yap|J' Sh/Rd 71

'ARST|Argentine Summer Time|BRST|Brasilia Summer Time|GFST|French Guiana Summer Time|WGST|Western Greenland Summer Time|PMDT|Pierre & Miquelon Daylight Time|UYST|Uruguay Summer Time|SRST|Suriname Summer Time|ROTST|Rothera Summer Time|FKST|Falkland Is. Summer Time|America/Noronha|FNT|Fernando de Noronha Time|Atlantic/South_Georgia|GST|South Georgia Standard Time|Brazil/DeNoronha|Etc/GMT+2|O' Sh/Rd 70

'Asia/Tehran|IRST|Iran Standard Time|Iran' Sh/Rd 69

'TKST|Tokelau Summer Time|LINST|Line Is. Summer Time' Sh/Rd 68

'America/Caracas|VET|Venezuela Time' Sh/Rd 67

'Asia/Kathmandu|NPT|Nepal Time|Asia/Katmandu' Sh/Rd 66

'CEST|Central European Summer Time|WAST|Western African Summer Time|MEST|Middle Europe Summer Time|EET|Eastern European Time|Africa/Blantyre|CAT|Central African Time|Africa/Bujumbura|Africa/Cairo|Africa/Gaborone|Africa/Harare|Africa/Johannesburg|SAST|South Africa Standard Time|Africa/Kigali|Africa/Lubumbashi|Africa/Lusaka|Africa/Maputo|Africa/Maseru|Africa/Mbabane|Africa/Tripoli|Asia/Amman|Asia/Beirut|Asia/Damascus|Asia/Gaza|Asia/Hebron|Asia/Istanbul|Asia/Jerusalem|Israel Standard Time|Asia/Nicosia|Asia/Tel_Aviv|Egypt|Etc/GMT-2|Europe/Athens|Europe/Bucharest|Europe/Chisinau|Europe/Helsinki|Europe/Istanbul|Europe/Kiev|Europe/Mariehamn|Europe/Nicosia|Europe/Riga|Europe/Simferopol|Europe/Sofia|Europe/Tallinn|Europe/Tiraspol|Europe/Uzhgorod|Europe/Vilnius|Europe/Zaporozhye|Israel|Libya|Turkey|B' Sh/Rd 65

'VOSST|Vostok Summer Time|ALMST|Alma-Ata Summer Time|KGST|Kirgizstan Summer Time|BDST|Bangladesh Summer Time|QYZST|Qyzylorda Summer Time|BTST|Bhutan Summer Time|YEKST|Yekaterinburg Summer Time|IOST|Indian Ocean Territory Summer Time|Antarctica/Davis|DAVT|Davis Time|Asia/Bangkok|ICT|Indochina Time|Asia/Ho_Chi_Minh|Asia/Hovd|HOVT|Hovd Time|Asia/Jakarta|WIT|West Indonesia Time|Asia/Novokuznetsk|NOVT|Novosibirsk Time|Asia/Novosibirsk|Asia/Omsk|OMST|Omsk Time|Asia/Phnom_Penh|Asia/Pontianak|Asia/Saigon|Asia/Vientiane|Etc/GMT-7|Indian/Christmas|CXT|Christmas Island Time|VST|G' Sh/Rd 64

'WSDT|West Samoa Daylight Time|PHOST|Phoenix Is. Summer Time|TOST|Tonga Summer Time|Etc/GMT-14|Pacific/Fakaofo|TKT|Tokelau Time|Pacific/Kiritimati|LINT|Line Is. Time' Sh/Rd 63

'NDT|Newfoundland Daylight Time' Sh/Rd 62

'ADT|Atlantic Daylight Time|WARST|Western Argentine Summer Time|PYST|Paraguay Summer Time|AMST|Amazon Summer Time|GYST|Guyana Summer Time|BOST|Bolivia Summer Time|CLST|Chile Summer Time|AGT|ART|Argentine Time|America/Araguaina|BRT|Brasilia Time|America/Argentina/Buenos_Aires|America/Argentina/Catamarca|America/Argentina/ComodRivadavia|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/Tucuman|America/Argentina/Ushuaia|America/Bahia|America/Belem|America/Buenos_Aires|America/Catamarca|America/Cayenne|GFT|French Guiana Time|America/Cordoba|America/Fortaleza|America/Godthab|WGT|Western Greenland Time|America/Jujuy|America/Maceio|America/Mendoza|America/Miquelon|PMST|Pierre & Miquelon Standard Time|America/Montevideo|UYT|Uruguay Time|America/Paramaribo|SRT|Suriname Time|America/Recife|America/Rosario|America/Santarem|America/Sao_Paulo|Antarctica/Rothera|ROTT|Rothera Time|Atlantic/Stanley|FKT|Falkland Is. Time|BET|Brazil/East|Etc/GMT+3|P' Sh/Rd 61

'DAVST|Davis Summer Time|ICST|Indochina Summer Time|HOVST|Hovd Summer Time|WIST|West Indonesia Summer Time|NOVST|Novosibirsk Summer Time|OMSST|Omsk Summer Time|CXST|Christmas Island Summer Time|Antarctica/Casey|WST|Western Standard Time (Australia)|Asia/Brunei|BNT|Brunei Time|Asia/Choibalsan|CHOT|Choibalsan Time|Asia/Chongqing|China Standard Time|Asia/Chungking|Asia/Harbin|Asia/Hong_Kong|HKT|Hong Kong Time|Asia/Kashgar|Asia/Krasnoyarsk|KRAT|Krasnoyarsk Time|Asia/Kuala_Lumpur|MYT|Malaysia Time|Asia/Kuching|Asia/Macao|Asia/Macau|Asia/Makassar|CIT|Central Indonesia Time|Asia/Manila|PHT|Philippines Time|Asia/Shanghai|Asia/Singapore|SGT|Singapore Time|Asia/Taipei|Asia/Ujung_Pandang|Asia/Ulaanbaatar|ULAT|Ulaanbaatar Time|Asia/Ulan_Bator|Asia/Urumqi|Australia/Perth|Australia/West|CTT|Etc/GMT-8|Hongkong|PRC|Singapore|H' Sh/Rd 60

'Pacific/Norfolk|NFT|Norfolk Time' Sh/Rd 59

'GHST|Ghana Summer Time|WEST|Western European Summer Time|SLST|Sierra Leone Summer Time|IST|Irish Summer Time|BST|British Summer Time|Africa/Algiers|CET|Central European Time|Africa/Bangui|WAT|Western African Time|Africa/Brazzaville|Africa/Ceuta|Africa/Douala|Africa/Kinshasa|Africa/Lagos|Africa/Libreville|Africa/Luanda|Africa/Malabo|Africa/Ndjamena|Africa/Niamey|Africa/Porto-Novo|Africa/Tunis|Africa/Windhoek|Arctic/Longyearbyen|Atlantic/Jan_Mayen|Etc/GMT-1|Europe/Amsterdam|Europe/Andorra|Europe/Belgrade|Europe/Berlin|Europe/Bratislava|Europe/Brussels|Europe/Budapest|Europe/Copenhagen|Europe/Gibraltar|Europe/Ljubljana|Europe/Luxembourg|Europe/Madrid|Europe/Malta|Europe/Monaco|Europe/Oslo|Europe/Paris|Europe/Podgorica|Europe/Prague|Europe/Rome|Europe/San_Marino|Europe/Sarajevo|Europe/Skopje|Europe/Stockholm|Europe/Tirane|Europe/Vaduz|Europe/Vatican|Europe/Vienna|Europe/Warsaw|Europe/Zagreb|Europe/Zurich|MET|Middle Europe Time|Poland|A' Sh/Rd 58

'VEST|Venezuela Summer Time|America/St_Johns|NST|Newfoundland Standard Time|CNT|Canada/Newfoundland' Sh/Rd 57

'Eastern African Summer Time|SYOST|Syowa Summer Time|Arabia Daylight Time|FEST|Further-eastern European Summer Time|Asia/Baku|AZT|Azerbaijan Time|Asia/Dubai|Gulf Standard Time|Asia/Muscat|Asia/Tbilisi|GET|Georgia Time|Asia/Yerevan|Armenia Time|Etc/GMT-4|Europe/Moscow|MSK|Moscow Standard Time|Europe/Samara|SAMT|Samara Time|Europe/Volgograd|VOLT|Volgograd Time|Indian/Mahe|SCT|Seychelles Time|Indian/Mauritius|MUT|Mauritius Time|Indian/Reunion|RET|Reunion Time|NET|W-SU|D' Sh/Rd 56

'Eastern Summer Time (New South Wales)|DDUST|Dumont-dx27Urville Summer Time|YAKST|Yakutsk Summer Time|Eastern Summer Time (Queensland)|Eastern Summer Time (Tasmania)|Eastern Summer Time (Victoria)|CHUST|Chuuk Summer Time|ChDT|Chamorro Daylight Time|PGST|Papua New Guinea Summer Time|Lord Howe Summer Time|Antarctica/Macquarie|MIST|Macquarie Island Time|Asia/Sakhalin|SAKT|Sakhalin Time|Asia/Vladivostok|VLAT|Vladivostok Time|Etc/GMT-11|Pacific/Efate|VUT|Vanuatu Time|Pacific/Guadalcanal|SBT|Solomon Is. Time|Pacific/Kosrae|KOST|Kosrae Time|Pacific/Noumea|NCT|New Caledonia Time|Pacific/Pohnpei|PONT|Pohnpei Time|Pacific/Ponape|K' Sh/Rd 55

'MARST|Marquesas Summer Time' Sh/Rd 54

'NZDT|New Zealand Daylight Time|ANAST|Anadyr Summer Time|PETST|Petropavlovsk-Kamchatski Summer Time|MAGST|Magadan Summer Time|MHST|Marshall Islands Summer Time|FJST|Fiji Summer Time|TVST|Tuvalu Summer Time|NRST|Nauru Summer Time|GILST|Gilbert Is. Summer Time|WAKST|Wake Summer Time|WFST|Wallis & Futuna Summer Time|Etc/GMT-13|MIT|West Samoa Time|Pacific/Apia|Pacific/Enderbury|PHOT|Phoenix Is. Time|Pacific/Tongatapu|TOT|Tonga Time|M' Sh/Rd 53

'HADT|Hawaii-Aleutian Daylight Time|HDT|Hawaii Daylight Time|CKHST|Cook Is. Summer Time|TAHST|Tahiti Summer Time|AST|AKST|Alaska Standard Time|America/Anchorage|America/Juneau|America/Nome|America/Sitka|America/Yakutat|Etc/GMT+9|Pacific/Gambier|GAMT|Gambier Time|SystemV/YST9|SystemV/YST9YDT|US/Alaska|V' Sh/Rd 52

'Western Summer Time (Australia)|BNST|Brunei Summer Time|CHOST|Choibalsan Summer Time|China Daylight Time|HKST|Hong Kong Summer Time|KRAST|Krasnoyarsk Summer Time|MYST|Malaysia Summer Time|CIST|Central Indonesia Summer Time|PHST|Philippines Summer Time|SGST|Singapore Summer Time|ULAST|Ulaanbaatar Summer Time|Asia/Dili|TLT|Timor-Leste Time|Asia/Irkutsk|IRKT|Irkutsk Time|Asia/Jayapura|EIT|East Indonesia Time|Asia/Pyongyang|KST|Korea Standard Time|Asia/Seoul|Asia/Tokyo|JST|Japan Standard Time|Etc/GMT-9|Japan|Pacific/Palau|PWT|Palau Time|ROK|I' Sh/Rd 51

'NZ-CHAT|CHAST|Chatham Standard Time|Pacific/Chatham' Sh/Rd 50

'CDT|Central Daylight Time|EASST|Easter Is. Summer Time|GALST|Galapagos Summer Time|America/Atikokan|EST|Eastern Standard Time|America/Bogota|COT|Colombia Time|America/Cayman|America/Coral_Harbour|America/Detroit|America/Fort_Wayne|America/Grand_Turk|America/Guayaquil|ECT|Ecuador Time|America/Havana|Cuba Standard Time|America/Indiana/Indianapolis|America/Indiana/Marengo|America/Indiana/Petersburg|America/Indiana/Vevay|America/Indiana/Vincennes|America/Indiana/Winamac|America/Indianapolis|America/Iqaluit|America/Jamaica|America/Kentucky/Louisville|America/Kentucky/Monticello|America/Lima|PET|Peru Time|America/Louisville|America/Montreal|America/Nassau|America/New_York|America/Nipigon|America/Panama|America/Pangnirtung|America/Port-au-Prince|America/Thunder_Bay|America/Toronto|Canada/Eastern|Cuba|EST5EDT|Etc/GMT+5|IET|Jamaica|SystemV/EST5|SystemV/EST5EDT|US/East-Indiana|US/Eastern|US/Michigan|R' Sh/Rd 49

'CHADT|Chatham Daylight Time' Sh/Rd 48

'India Daylight Time|Asia/Rangoon|MMT|Myanmar Time|Indian/Cocos|CCT|Cocos Islands Time' Sh/Rd 47

'MAWST|Mawson Summer Time|AQTST|Aqtau Summer Time|Aqtobe Summer Time|TMST|Turkmenistan Summer Time|TJST|Tajikistan Summer Time|PKST|Pakistan Summer Time|ORAST|Oral Summer Time|UZST|Uzbekistan Summer Time|TFST|French Southern & Antarctic Lands Summer Time|MVST|Maldives Summer Time|Antarctica/Vostok|VOST|Vostok Time|Asia/Almaty|ALMT|Alma-Ata Time|Asia/Bishkek|KGT|Kirgizstan Time|Asia/Dacca|BDT|Bangladesh Time|Asia/Dhaka|Asia/Qyzylorda|QYZT|Qyzylorda Time|Asia/Thimbu|BTT|Bhutan Time|Asia/Thimphu|Asia/Yekaterinburg|YEKT|Yekaterinburg Time|Etc/GMT-6|Indian/Chagos|IOT|Indian Ocean Territory Time|F' Sh/Rd 46

'NPST|Nepal Summer Time' Sh/Rd 45

'EEST|Eastern European Summer Time|CAST|Central African Summer Time|South Africa Summer Time|IDT|Israel Daylight Time|Africa/Addis_Ababa|EAT|Eastern African Time|Africa/Asmara|Africa/Asmera|Africa/Dar_es_Salaam|Africa/Djibouti|Africa/Juba|Africa/Kampala|Africa/Khartoum|Africa/Mogadishu|Africa/Nairobi|Antarctica/Syowa|SYOT|Syowa Time|Asia/Aden|Arabia Standard Time|Asia/Baghdad|Asia/Bahrain|Asia/Kuwait|Asia/Qatar|Asia/Riyadh|Etc/GMT-3|Europe/Kaliningrad|FET|Further-eastern European Time|Europe/Minsk|Indian/Antananarivo|Indian/Comoro|Indian/Mayotte|C' Sh/Rd 44

'NFST|Norfolk Summer Time' Sh/Rd 43

'ACT|Central Standard Time (Northern Territory)|Australia/Adelaide|Central Standard Time (South Australia)|Australia/Broken_Hill|Central Standard Time (South Australia/New South Wales)|Australia/Darwin|Australia/North|Australia/South|Australia/Yancowinna' Sh/Rd 42

'Etc/GMT+12|Y' Sh/Rd 41

'Australia/Eucla|CWST|Central Western Standard Time (Australia)' Sh/Rd 40

'EGST|Eastern Greenland Summer Time|AZOST|Azores Summer Time|CVST|Cape Verde Summer Time|Africa/Abidjan|GMT|Greenwich Mean Time|Africa/Accra|Ghana Mean Time|Africa/Bamako|Africa/Banjul|Africa/Bissau|Africa/Casablanca|WET|Western European Time|Africa/Conakry|Africa/Dakar|Africa/El_Aaiun|Africa/Freetown|Africa/Lome|Africa/Monrovia|Africa/Nouakchott|Africa/Ouagadougou|Africa/Sao_Tome|Africa/Timbuktu|America/Danmarkshavn|Atlantic/Canary|Atlantic/Faeroe|Atlantic/Faroe|Atlantic/Madeira|Atlantic/Reykjavik|Atlantic/St_Helena|Eire|Etc/GMT|Etc/GMT+0|Etc/GMT-0|Etc/GMT0|Etc/Greenwich|Etc/UCT|UTC|Coordinated Universal Time|Etc/UTC|Etc/Universal|Etc/Zulu|Europe/Belfast|Europe/Dublin|Europe/Guernsey|Europe/Isle_of_Man|Europe/Jersey|Europe/Lisbon|Europe/London|GB|GB-Eire|GMT0|Greenwich|Iceland|Portugal|UCT|Universal|Zulu|Z' Sh/Rd 39

'AKDT|Alaska Daylight Time|GAMST|Gambier Summer Time|America/Dawson|PST|Pacific Standard Time|America/Ensenada|America/Los_Angeles|America/Metlakatla|MeST|Metlakatla Standard Time|America/Santa_Isabel|America/Tijuana|America/Vancouver|America/Whitehorse|Canada/Pacific|Canada/Yukon|Etc/GMT+8|Mexico/BajaNorte|PST8PDT|Pacific/Pitcairn|Pitcairn Standard Time|SystemV/PST8|SystemV/PST8PDT|US/Pacific|US/Pacific-New|U' Sh/Rd 38

'MMST|Myanmar Summer Time|CCST|Cocos Islands Summer Time' Sh/Rd 37

'Etc/GMT+11|Pacific/Midway|SST|Samoa Standard Time|Pacific/Niue|NUT|Niue Time|Pacific/Pago_Pago|Pacific/Samoa|US/Samoa|X' Sh/Rd 36

'Central Western Summer Time (Australia)' Sh/Rd 35

'IRDT|Iran Daylight Time|Asia/Kabul|AFT|Afghanistan Time' Sh/Rd 34

'MDT|Mountain Daylight Time|America/Bahia_Banderas|CST|Central Standard Time|America/Belize|America/Cancun|America/Chicago|America/Costa_Rica|America/El_Salvador|America/Guatemala|America/Indiana/Knox|America/Indiana/Tell_City|America/Knox_IN|America/Managua|America/Matamoros|America/Menominee|America/Merida|America/Mexico_City|America/Monterrey|America/North_Dakota/Beulah|America/North_Dakota/Center|America/North_Dakota/New_Salem|America/Rainy_River|America/Rankin_Inlet|America/Regina|America/Resolute|America/Swift_Current|America/Tegucigalpa|America/Winnipeg|CST6CDT|Canada/Central|Canada/East-Saskatchewan|Canada/Saskatchewan|Chile/EasterIsland|EAST|Easter Is. Time|Etc/GMT+6|Mexico/General|Pacific/Easter|Pacific/Galapagos|GALT|Galapagos Time|SystemV/CST6|SystemV/CST6CDT|US/Central|US/Indiana-Starke|S' Sh/Rd 33

'PDT|Pacific Daylight Time|MeDT|Metlakatla Daylight Time|Pitcairn Daylight Time|America/Boise|MST|Mountain Standard Time|America/Cambridge_Bay|America/Chihuahua|America/Creston|America/Dawson_Creek|America/Denver|America/Edmonton|America/Hermosillo|America/Inuvik|America/Mazatlan|America/Ojinaga|America/Phoenix|America/Shiprock|America/Yellowknife|Canada/Mountain|Etc/GMT+7|MST7MDT|Mexico/BajaSur|Navajo|PNT|SystemV/MST7|SystemV/MST7MDT|US/Arizona|US/Mountain|T' Sh/Rd 32

z Gt/Rd 1

generalTZ Gt/Rd 26

tzName Gt/Rd 31

First Map for Nonterminals

mm ==>> { digit12}

MMM ==>> { 'Apr|Apri|April' 'Aug|Augu|Augus|August' 'Dec|Dece|Decem|Decemb|Decembe|December' 'Sep|Sept|Septe|Septem|Septemb|Septembe|September' 'Feb|Febr|Febru|Februa|Februar|February' 'Mar|Marc|March' 'Jun|June' 'May' 'Jul|July' 'Jan|Janu|Janua|Januar|January' 'Nov|Nove|Novem|Novemb|Novembe|November' 'Oct|Octo|Octob|Octobe|October'}

HH ==>> { digit12}

second ==>> { digit12}

rfc1123 ==>> { 'Sat|Satu|Satur|Saturd|Saturda|Saturday' 'Wed|Wedn|Wedne|Wednes|Wednesd|Wednesda|Wednesday' 'Fri|Frid|Frida|Friday' 'Thu|Thur|Thurs|Thursd|Thursda|Thursday' 'Sun|Sund|Sunda|Sunday' 'Mon|Mond|Monda|Monday' 'Tue|Tues|Tuesd|Tuesda|Tuesday'}

tzName ==>> { 'PDT|Pacific Daylight Time|MeDT|Metlakatla Daylight Time|Pitcairn Daylight Time|America/Boise|MST|Mountain Standard Time|America/Cambridge_Bay|America/Chihuahua|America/Creston|America/Dawson_Creek|America/Denver|America/Edmonton|America/Hermosillo|America/Inuvik|America/Mazatlan|America/Ojinaga|America/Phoenix|America/Shiprock|America/Yellowknife|Canada/Mountain|Etc/GMT\+7|MST7MDT|Mexico/BajaSur|Navajo|PNT|SystemV/MST7|SystemV/MST7MDT|US/Arizona|US/Mountain|T' 'MDT|Mountain Daylight Time|America/Bahia_Banderas|CST|Central Standard Time|America/Belize|America/Cancun|America/Chicago|America/Costa_Rica|America/El_Salvador|America/Guatemala|America/Indiana/Knox|America/Indiana/Tell_City|America/Knox_IN|America/Managua|America/Matamoros|America/Menominee|America/Merida|America/Mexico_City|America/Monterrey|America/North_Dakota/Beulah|America/North_Dakota/Center|America/North_Dakota/New_Salem|America/Rainy_River|America/Rankin_Inlet|America/Regina|America/Resolute|America/Swift_Current|America/Tegucigalpa|America/Winnipeg|CST6CDT|Canada/Central|Canada/East\-Saskatchewan|Canada/Saskatchewan|Chile/EasterIsland|EAST|Easter Is\. Time|Etc/GMT\+6|Mexico/General|Pacific/Easter|Pacific/Galapagos|GALT|Galapagos Time|SystemV/CST6|SystemV/CST6CDT|US/Central|US/Indiana\-Starke|S' 'IRDT|Iran Daylight Time|Asia/Kabul|AFT|Afghanistan Time' 'Central Western Summer Time \(Australia\)' 'Etc/GMT\+11|Pacific/Midway|SST|Samoa Standard Time|Pacific/Niue|NUT|Niue Time|Pacific/Pago_Pago|Pacific/Samoa|US/Samoa|X' 'MMST|Myanmar Summer Time|CCST|Cocos Islands Summer Time' 'AKDT|Alaska Daylight Time|GAMST|Gambier Summer Time|America/Dawson|PST|Pacific Standard Time|America/Ensenada|America/Los_Angeles|America/Metlakatla|MeST|Metlakatla Standard Time|America/Santa_Isabel|America/Tijuana|America/Vancouver|America/Whitehorse|Canada/Pacific|Canada/Yukon|Etc/GMT\+8|Mexico/BajaNorte|PST8PDT|Pacific/Pitcairn|Pitcairn Standard Time|SystemV/PST8|SystemV/PST8PDT|US/Pacific|US/Pacific\-New|U' 'EGST|Eastern Greenland Summer Time|AZOST|Azores Summer Time|CVST|Cape Verde Summer Time|Africa/Abidjan|GMT|Greenwich Mean Time|Africa/Accra|Ghana Mean Time|Africa/Bamako|Africa/Banjul|Africa/Bissau|Africa/Casablanca|WET|Western European Time|Africa/Conakry|Africa/Dakar|Africa/El_Aaiun|Africa/Freetown|Africa/Lome|Africa/Monrovia|Africa/Nouakchott|Africa/Ouagadougou|Africa/Sao_Tome|Africa/Timbuktu|America/Danmarkshavn|Atlantic/Canary|Atlantic/Faeroe|Atlantic/Faroe|Atlantic/Madeira|Atlantic/Reykjavik|Atlantic/St_Helena|Eire|Etc/GMT|Etc/GMT\+0|Etc/GMT\-0|Etc/GMT0|Etc/Greenwich|Etc/UCT|UTC|Coordinated Universal Time|Etc/UTC|Etc/Universal|Etc/Zulu|Europe/Belfast|Europe/Dublin|Europe/Guernsey|Europe/Isle_of_Man|Europe/Jersey|Europe/Lisbon|Europe/London|GB|GB\-Eire|GMT0|Greenwich|Iceland|Portugal|UCT|Universal|Zulu|Z' 'Australia/Eucla|CWST|Central Western Standard Time \(Australia\)' 'Etc/GMT\+12|Y' 'ACT|Central Standard Time \(Northern Territory\)|Australia/Adelaide|Central Standard Time \(South Australia\)|Australia/Broken_Hill|Central Standard Time \(South Australia/New South Wales\)|Australia/Darwin|Australia/North|Australia/South|Australia/Yancowinna' 'NFST|Norfolk Summer Time' 'EEST|Eastern European Summer Time|CAST|Central African Summer Time|South Africa Summer Time|IDT|Israel Daylight Time|Africa/Addis_Ababa|EAT|Eastern African Time|Africa/Asmara|Africa/Asmera|Africa/Dar_es_Salaam|Africa/Djibouti|Africa/Juba|Africa/Kampala|Africa/Khartoum|Africa/Mogadishu|Africa/Nairobi|Antarctica/Syowa|SYOT|Syowa Time|Asia/Aden|Arabia Standard Time|Asia/Baghdad|Asia/Bahrain|Asia/Kuwait|Asia/Qatar|Asia/Riyadh|Etc/GMT\-3|Europe/Kaliningrad|FET|Further\-eastern European Time|Europe/Minsk|Indian/Antananarivo|Indian/Comoro|Indian/Mayotte|C' 'NPST|Nepal Summer Time' 'MAWST|Mawson Summer Time|AQTST|Aqtau Summer Time|Aqtobe Summer Time|TMST|Turkmenistan Summer Time|TJST|Tajikistan Summer Time|PKST|Pakistan Summer Time|ORAST|Oral Summer Time|UZST|Uzbekistan Summer Time|TFST|French Southern \& Antarctic Lands Summer Time|MVST|Maldives Summer Time|Antarctica/Vostok|VOST|Vostok Time|Asia/Almaty|ALMT|Alma\-Ata Time|Asia/Bishkek|KGT|Kirgizstan Time|Asia/Dacca|BDT|Bangladesh Time|Asia/Dhaka|Asia/Qyzylorda|QYZT|Qyzylorda Time|Asia/Thimbu|BTT|Bhutan Time|Asia/Thimphu|Asia/Yekaterinburg|YEKT|Yekaterinburg Time|Etc/GMT\-6|Indian/Chagos|IOT|Indian Ocean Territory Time|F' 'India Daylight Time|Asia/Rangoon|MMT|Myanmar Time|Indian/Cocos|CCT|Cocos Islands Time' 'CHADT|Chatham Daylight Time' 'CDT|Central Daylight Time|EASST|Easter Is\. Summer Time|GALST|Galapagos Summer Time|America/Atikokan|EST|Eastern Standard Time|America/Bogota|COT|Colombia Time|America/Cayman|America/Coral_Harbour|America/Detroit|America/Fort_Wayne|America/Grand_Turk|America/Guayaquil|ECT|Ecuador Time|America/Havana|Cuba Standard Time|America/Indiana/Indianapolis|America/Indiana/Marengo|America/Indiana/Petersburg|America/Indiana/Vevay|America/Indiana/Vincennes|America/Indiana/Winamac|America/Indianapolis|America/Iqaluit|America/Jamaica|America/Kentucky/Louisville|America/Kentucky/Monticello|America/Lima|PET|Peru Time|America/Louisville|America/Montreal|America/Nassau|America/New_York|America/Nipigon|America/Panama|America/Pangnirtung|America/Port\-au\-Prince|America/Thunder_Bay|America/Toronto|Canada/Eastern|Cuba|EST5EDT|Etc/GMT\+5|IET|Jamaica|SystemV/EST5|SystemV/EST5EDT|US/East\-Indiana|US/Eastern|US/Michigan|R' 'NZ\-CHAT|CHAST|Chatham Standard Time|Pacific/Chatham' 'Western Summer Time \(Australia\)|BNST|Brunei Summer Time|CHOST|Choibalsan Summer Time|China Daylight Time|HKST|Hong Kong Summer Time|KRAST|Krasnoyarsk Summer Time|MYST|Malaysia Summer Time|CIST|Central Indonesia Summer Time|PHST|Philippines Summer Time|SGST|Singapore Summer Time|ULAST|Ulaanbaatar Summer Time|Asia/Dili|TLT|Timor\-Leste Time|Asia/Irkutsk|IRKT|Irkutsk Time|Asia/Jayapura|EIT|East Indonesia Time|Asia/Pyongyang|KST|Korea Standard Time|Asia/Seoul|Asia/Tokyo|JST|Japan Standard Time|Etc/GMT\-9|Japan|Pacific/Palau|PWT|Palau Time|ROK|I' 'HADT|Hawaii\-Aleutian Daylight Time|HDT|Hawaii Daylight Time|CKHST|Cook Is\. Summer Time|TAHST|Tahiti Summer Time|AST|AKST|Alaska Standard Time|America/Anchorage|America/Juneau|America/Nome|America/Sitka|America/Yakutat|Etc/GMT\+9|Pacific/Gambier|GAMT|Gambier Time|SystemV/YST9|SystemV/YST9YDT|US/Alaska|V' 'NZDT|New Zealand Daylight Time|ANAST|Anadyr Summer Time|PETST|Petropavlovsk\-Kamchatski Summer Time|MAGST|Magadan Summer Time|MHST|Marshall Islands Summer Time|FJST|Fiji Summer Time|TVST|Tuvalu Summer Time|NRST|Nauru Summer Time|GILST|Gilbert Is\. Summer Time|WAKST|Wake Summer Time|WFST|Wallis \& Futuna Summer Time|Etc/GMT\-13|MIT|West Samoa Time|Pacific/Apia|Pacific/Enderbury|PHOT|Phoenix Is\. Time|Pacific/Tongatapu|TOT|Tonga Time|M' 'MARST|Marquesas Summer Time' 'Eastern Summer Time \(New South Wales\)|DDUST|Dumont\-d\x27Urville Summer Time|YAKST|Yakutsk Summer Time|Eastern Summer Time \(Queensland\)|Eastern Summer Time \(Tasmania\)|Eastern Summer Time \(Victoria\)|CHUST|Chuuk Summer Time|ChDT|Chamorro Daylight Time|PGST|Papua New Guinea Summer Time|Lord Howe Summer Time|Antarctica/Macquarie|MIST|Macquarie Island Time|Asia/Sakhalin|SAKT|Sakhalin Time|Asia/Vladivostok|VLAT|Vladivostok Time|Etc/GMT\-11|Pacific/Efate|VUT|Vanuatu Time|Pacific/Guadalcanal|SBT|Solomon Is\. Time|Pacific/Kosrae|KOST|Kosrae Time|Pacific/Noumea|NCT|New Caledonia Time|Pacific/Pohnpei|PONT|Pohnpei Time|Pacific/Ponape|K' 'Eastern African Summer Time|SYOST|Syowa Summer Time|Arabia Daylight Time|FEST|Further\-eastern European Summer Time|Asia/Baku|AZT|Azerbaijan Time|Asia/Dubai|Gulf Standard Time|Asia/Muscat|Asia/Tbilisi|GET|Georgia Time|Asia/Yerevan|Armenia Time|Etc/GMT\-4|Europe/Moscow|MSK|Moscow Standard Time|Europe/Samara|SAMT|Samara Time|Europe/Volgograd|VOLT|Volgograd Time|Indian/Mahe|SCT|Seychelles Time|Indian/Mauritius|MUT|Mauritius Time|Indian/Reunion|RET|Reunion Time|NET|W\-SU|D' 'VEST|Venezuela Summer Time|America/St_Johns|NST|Newfoundland Standard Time|CNT|Canada/Newfoundland' 'GHST|Ghana Summer Time|WEST|Western European Summer Time|SLST|Sierra Leone Summer Time|IST|Irish Summer Time|BST|British Summer Time|Africa/Algiers|CET|Central European Time|Africa/Bangui|WAT|Western African Time|Africa/Brazzaville|Africa/Ceuta|Africa/Douala|Africa/Kinshasa|Africa/Lagos|Africa/Libreville|Africa/Luanda|Africa/Malabo|Africa/Ndjamena|Africa/Niamey|Africa/Porto\-Novo|Africa/Tunis|Africa/Windhoek|Arctic/Longyearbyen|Atlantic/Jan_Mayen|Etc/GMT\-1|Europe/Amsterdam|Europe/Andorra|Europe/Belgrade|Europe/Berlin|Europe/Bratislava|Europe/Brussels|Europe/Budapest|Europe/Copenhagen|Europe/Gibraltar|Europe/Ljubljana|Europe/Luxembourg|Europe/Madrid|Europe/Malta|Europe/Monaco|Europe/Oslo|Europe/Paris|Europe/Podgorica|Europe/Prague|Europe/Rome|Europe/San_Marino|Europe/Sarajevo|Europe/Skopje|Europe/Stockholm|Europe/Tirane|Europe/Vaduz|Europe/Vatican|Europe/Vienna|Europe/Warsaw|Europe/Zagreb|Europe/Zurich|MET|Middle Europe Time|Poland|A' 'Pacific/Norfolk|NFT|Norfolk Time' 'DAVST|Davis Summer Time|ICST|Indochina Summer Time|HOVST|Hovd Summer Time|WIST|West Indonesia Summer Time|NOVST|Novosibirsk Summer Time|OMSST|Omsk Summer Time|CXST|Christmas Island Summer Time|Antarctica/Casey|WST|Western Standard Time \(Australia\)|Asia/Brunei|BNT|Brunei Time|Asia/Choibalsan|CHOT|Choibalsan Time|Asia/Chongqing|China Standard Time|Asia/Chungking|Asia/Harbin|Asia/Hong_Kong|HKT|Hong Kong Time|Asia/Kashgar|Asia/Krasnoyarsk|KRAT|Krasnoyarsk Time|Asia/Kuala_Lumpur|MYT|Malaysia Time|Asia/Kuching|Asia/Macao|Asia/Macau|Asia/Makassar|CIT|Central Indonesia Time|Asia/Manila|PHT|Philippines Time|Asia/Shanghai|Asia/Singapore|SGT|Singapore Time|Asia/Taipei|Asia/Ujung_Pandang|Asia/Ulaanbaatar|ULAT|Ulaanbaatar Time|Asia/Ulan_Bator|Asia/Urumqi|Australia/Perth|Australia/West|CTT|Etc/GMT\-8|Hongkong|PRC|Singapore|H' 'ADT|Atlantic Daylight Time|WARST|Western Argentine Summer Time|PYST|Paraguay Summer Time|AMST|Amazon Summer Time|GYST|Guyana Summer Time|BOST|Bolivia Summer Time|CLST|Chile Summer Time|AGT|ART|Argentine Time|America/Araguaina|BRT|Brasilia Time|America/Argentina/Buenos_Aires|America/Argentina/Catamarca|America/Argentina/ComodRivadavia|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/Tucuman|America/Argentina/Ushuaia|America/Bahia|America/Belem|America/Buenos_Aires|America/Catamarca|America/Cayenne|GFT|French Guiana Time|America/Cordoba|America/Fortaleza|America/Godthab|WGT|Western Greenland Time|America/Jujuy|America/Maceio|America/Mendoza|America/Miquelon|PMST|Pierre \& Miquelon Standard Time|America/Montevideo|UYT|Uruguay Time|America/Paramaribo|SRT|Suriname Time|America/Recife|America/Rosario|America/Santarem|America/Sao_Paulo|Antarctica/Rothera|ROTT|Rothera Time|Atlantic/Stanley|FKT|Falkland Is\. Time|BET|Brazil/East|Etc/GMT\+3|P' 'NDT|Newfoundland Daylight Time' 'WSDT|West Samoa Daylight Time|PHOST|Phoenix Is\. Summer Time|TOST|Tonga Summer Time|Etc/GMT\-14|Pacific/Fakaofo|TKT|Tokelau Time|Pacific/Kiritimati|LINT|Line Is\. Time' 'VOSST|Vostok Summer Time|ALMST|Alma\-Ata Summer Time|KGST|Kirgizstan Summer Time|BDST|Bangladesh Summer Time|QYZST|Qyzylorda Summer Time|BTST|Bhutan Summer Time|YEKST|Yekaterinburg Summer Time|IOST|Indian Ocean Territory Summer Time|Antarctica/Davis|DAVT|Davis Time|Asia/Bangkok|ICT|Indochina Time|Asia/Ho_Chi_Minh|Asia/Hovd|HOVT|Hovd Time|Asia/Jakarta|WIT|West Indonesia Time|Asia/Novokuznetsk|NOVT|Novosibirsk Time|Asia/Novosibirsk|Asia/Omsk|OMST|Omsk Time|Asia/Phnom_Penh|Asia/Pontianak|Asia/Saigon|Asia/Vientiane|Etc/GMT\-7|Indian/Christmas|CXT|Christmas Island Time|VST|G' 'CEST|Central European Summer Time|WAST|Western African Summer Time|MEST|Middle Europe Summer Time|EET|Eastern European Time|Africa/Blantyre|CAT|Central African Time|Africa/Bujumbura|Africa/Cairo|Africa/Gaborone|Africa/Harare|Africa/Johannesburg|SAST|South Africa Standard Time|Africa/Kigali|Africa/Lubumbashi|Africa/Lusaka|Africa/Maputo|Africa/Maseru|Africa/Mbabane|Africa/Tripoli|Asia/Amman|Asia/Beirut|Asia/Damascus|Asia/Gaza|Asia/Hebron|Asia/Istanbul|Asia/Jerusalem|Israel Standard Time|Asia/Nicosia|Asia/Tel_Aviv|Egypt|Etc/GMT\-2|Europe/Athens|Europe/Bucharest|Europe/Chisinau|Europe/Helsinki|Europe/Istanbul|Europe/Kiev|Europe/Mariehamn|Europe/Nicosia|Europe/Riga|Europe/Simferopol|Europe/Sofia|Europe/Tallinn|Europe/Tiraspol|Europe/Uzhgorod|Europe/Vilnius|Europe/Zaporozhye|Israel|Libya|Turkey|B' 'Asia/Kathmandu|NPT|Nepal Time|Asia/Katmandu' 'America/Caracas|VET|Venezuela Time' 'TKST|Tokelau Summer Time|LINST|Line Is\. Summer Time' 'Asia/Tehran|IRST|Iran Standard Time|Iran' 'ARST|Argentine Summer Time|BRST|Brasilia Summer Time|GFST|French Guiana Summer Time|WGST|Western Greenland Summer Time|PMDT|Pierre \& Miquelon Daylight Time|UYST|Uruguay Summer Time|SRST|Suriname Summer Time|ROTST|Rothera Summer Time|FKST|Falkland Is\. Summer Time|America/Noronha|FNT|Fernando de Noronha Time|Atlantic/South_Georgia|GST|South Georgia Standard Time|Brazil/DeNoronha|Etc/GMT\+2|O' 'TLST|Timor\-Leste Summer Time|IRKST|Irkutsk Summer Time|EIST|East Indonesia Summer Time|KDT|Korea Daylight Time|JDT|Japan Daylight Time|PWST|Palau Summer Time|AET|Eastern Standard Time \(New South Wales\)|Antarctica/DumontDUrville|DDUT|Dumont\-d\x27Urville Time|Asia/Yakutsk|YAKT|Yakutsk Time|Australia/ACT|Australia/Brisbane|Eastern Standard Time \(Queensland\)|Australia/Canberra|Australia/Currie|Australia/Hobart|Eastern Standard Time \(Tasmania\)|Australia/Lindeman|Australia/Melbourne|Eastern Standard Time \(Victoria\)|Australia/NSW|Australia/Queensland|Australia/Sydney|Australia/Tasmania|Australia/Victoria|Etc/GMT\-10|Pacific/Chuuk|CHUT|Chuuk Time|Pacific/Guam|ChST|Chamorro Standard Time|Pacific/Port_Moresby|PGT|Papua New Guinea Time|Pacific/Saipan|Pacific/Truk|Pacific/Yap|J' 'FNST|Fernando de Noronha Summer Time|GDT|South Georgia Daylight Time|America/Scoresbysund|EGT|Eastern Greenland Time|Atlantic/Azores|AZOT|Azores Time|Atlantic/Cape_Verde|CVT|Cape Verde Time|Etc/GMT\+1|N' 'AZST|Azerbaijan Summer Time|Gulf Daylight Time|GEST|Georgia Summer Time|Armenia Summer Time|MSD|Moscow Daylight Time|SAMST|Samara Summer Time|VOLST|Volgograd Summer Time|SCST|Seychelles Summer Time|MUST|Mauritius Summer Time|REST|Reunion Summer Time|Antarctica/Mawson|MAWT|Mawson Time|Asia/Aqtau|AQTT|Aqtau Time|Asia/Aqtobe|Aqtobe Time|Asia/Ashgabat|TMT|Turkmenistan Time|Asia/Ashkhabad|Asia/Dushanbe|TJT|Tajikistan Time|Asia/Karachi|PKT|Pakistan Time|Asia/Oral|ORAT|Oral Time|Asia/Samarkand|UZT|Uzbekistan Time|Asia/Tashkent|Etc/GMT\-5|Indian/Kerguelen|TFT|French Southern \& Antarctic Lands Time|Indian/Maldives|MVT|Maldives Time|PLT|E' 'Central Summer Time \(Northern Territory\)|Central Summer Time \(South Australia\)|Central Summer Time \(South Australia/New South Wales\)|Australia/LHI|LHST|Lord Howe Standard Time|Australia/Lord_Howe' 'EDT|Eastern Daylight Time|COST|Colombia Summer Time|ECST|Ecuador Summer Time|Cuba Daylight Time|PEST|Peru Summer Time|America/Anguilla|Atlantic Standard Time|America/Antigua|America/Argentina/San_Luis|WART|Western Argentine Time|America/Aruba|America/Asuncion|PYT|Paraguay Time|America/Barbados|America/Blanc\-Sablon|America/Boa_Vista|AMT|Amazon Time|America/Campo_Grande|America/Cuiaba|America/Curacao|America/Dominica|America/Eirunepe|America/Glace_Bay|America/Goose_Bay|America/Grenada|America/Guadeloupe|America/Guyana|GYT|Guyana Time|America/Halifax|America/Kralendijk|America/La_Paz|BOT|Bolivia Time|America/Lower_Princes|America/Manaus|America/Marigot|America/Martinique|America/Moncton|America/Montserrat|America/Port_of_Spain|America/Porto_Acre|America/Porto_Velho|America/Puerto_Rico|America/Rio_Branco|America/Santiago|CLT|Chile Time|America/Santo_Domingo|America/St_Barthelemy|America/St_Kitts|America/St_Lucia|America/St_Thomas|America/St_Vincent|America/Thule|America/Tortola|America/Virgin|Antarctica/Palmer|Atlantic/Bermuda|Brazil/Acre|Brazil/West|Canada/Atlantic|Chile/Continental|Etc/GMT\+4|PRT|SystemV/AST4|SystemV/AST4ADT|Q' 'SDT|Samoa Daylight Time|NUST|Niue Summer Time|America/Adak|HAST|Hawaii\-Aleutian Standard Time|America/Atka|Etc/GMT\+10|HST|Hawaii Standard Time|Pacific/Honolulu|Pacific/Johnston|Pacific/Rarotonga|CKT|Cook Is\. Time|Pacific/Tahiti|TAHT|Tahiti Time|SystemV/HST10|US/Aleutian|US/Hawaii|W' 'Pacific/Marquesas|MART|Marquesas Time' 'Macquarie Island Summer Time|SAKST|Sakhalin Summer Time|VLAST|Vladivostok Summer Time|VUST|Vanuatu Summer Time|SBST|Solomon Is\. Summer Time|KOSST|Kosrae Summer Time|NCST|New Caledonia Summer Time|PONST|Pohnpei Summer Time|Antarctica/McMurdo|NZST|New Zealand Standard Time|Antarctica/South_Pole|Asia/Anadyr|ANAT|Anadyr Time|Asia/Kamchatka|PETT|Petropavlovsk\-Kamchatski Time|Asia/Magadan|MAGT|Magadan Time|Etc/GMT\-12|Kwajalein|MHT|Marshall Islands Time|NZ|Pacific/Auckland|Pacific/Fiji|FJT|Fiji Time|Pacific/Funafuti|TVT|Tuvalu Time|Pacific/Kwajalein|Pacific/Majuro|Pacific/Nauru|NRT|Nauru Time|Pacific/Tarawa|GILT|Gilbert Is\. Time|Pacific/Wake|WAKT|Wake Time|Pacific/Wallis|WFT|Wallis \& Futuna Time|L' 'AFST|Afghanistan Summer Time|Asia/Calcutta|India Standard Time|Asia/Colombo|Asia/Kolkata' 'Asia/Riyadh87|Asia/Riyadh88|Asia/Riyadh89|Mideast/Riyadh87|Mideast/Riyadh88|Mideast/Riyadh89'}

hour23 ==>> { digit12}

minute ==>> { digit12}

dayInMonth ==>> { digit12}

dd ==>> { digit12}

generalTZ ==>> { 'PDT|Pacific Daylight Time|MeDT|Metlakatla Daylight Time|Pitcairn Daylight Time|America/Boise|MST|Mountain Standard Time|America/Cambridge_Bay|America/Chihuahua|America/Creston|America/Dawson_Creek|America/Denver|America/Edmonton|America/Hermosillo|America/Inuvik|America/Mazatlan|America/Ojinaga|America/Phoenix|America/Shiprock|America/Yellowknife|Canada/Mountain|Etc/GMT\+7|MST7MDT|Mexico/BajaSur|Navajo|PNT|SystemV/MST7|SystemV/MST7MDT|US/Arizona|US/Mountain|T' 'MDT|Mountain Daylight Time|America/Bahia_Banderas|CST|Central Standard Time|America/Belize|America/Cancun|America/Chicago|America/Costa_Rica|America/El_Salvador|America/Guatemala|America/Indiana/Knox|America/Indiana/Tell_City|America/Knox_IN|America/Managua|America/Matamoros|America/Menominee|America/Merida|America/Mexico_City|America/Monterrey|America/North_Dakota/Beulah|America/North_Dakota/Center|America/North_Dakota/New_Salem|America/Rainy_River|America/Rankin_Inlet|America/Regina|America/Resolute|America/Swift_Current|America/Tegucigalpa|America/Winnipeg|CST6CDT|Canada/Central|Canada/East\-Saskatchewan|Canada/Saskatchewan|Chile/EasterIsland|EAST|Easter Is\. Time|Etc/GMT\+6|Mexico/General|Pacific/Easter|Pacific/Galapagos|GALT|Galapagos Time|SystemV/CST6|SystemV/CST6CDT|US/Central|US/Indiana\-Starke|S' 'IRDT|Iran Daylight Time|Asia/Kabul|AFT|Afghanistan Time' 'Central Western Summer Time \(Australia\)' 'Etc/GMT\+11|Pacific/Midway|SST|Samoa Standard Time|Pacific/Niue|NUT|Niue Time|Pacific/Pago_Pago|Pacific/Samoa|US/Samoa|X' 'MMST|Myanmar Summer Time|CCST|Cocos Islands Summer Time' 'AKDT|Alaska Daylight Time|GAMST|Gambier Summer Time|America/Dawson|PST|Pacific Standard Time|America/Ensenada|America/Los_Angeles|America/Metlakatla|MeST|Metlakatla Standard Time|America/Santa_Isabel|America/Tijuana|America/Vancouver|America/Whitehorse|Canada/Pacific|Canada/Yukon|Etc/GMT\+8|Mexico/BajaNorte|PST8PDT|Pacific/Pitcairn|Pitcairn Standard Time|SystemV/PST8|SystemV/PST8PDT|US/Pacific|US/Pacific\-New|U' 'EGST|Eastern Greenland Summer Time|AZOST|Azores Summer Time|CVST|Cape Verde Summer Time|Africa/Abidjan|GMT|Greenwich Mean Time|Africa/Accra|Ghana Mean Time|Africa/Bamako|Africa/Banjul|Africa/Bissau|Africa/Casablanca|WET|Western European Time|Africa/Conakry|Africa/Dakar|Africa/El_Aaiun|Africa/Freetown|Africa/Lome|Africa/Monrovia|Africa/Nouakchott|Africa/Ouagadougou|Africa/Sao_Tome|Africa/Timbuktu|America/Danmarkshavn|Atlantic/Canary|Atlantic/Faeroe|Atlantic/Faroe|Atlantic/Madeira|Atlantic/Reykjavik|Atlantic/St_Helena|Eire|Etc/GMT|Etc/GMT\+0|Etc/GMT\-0|Etc/GMT0|Etc/Greenwich|Etc/UCT|UTC|Coordinated Universal Time|Etc/UTC|Etc/Universal|Etc/Zulu|Europe/Belfast|Europe/Dublin|Europe/Guernsey|Europe/Isle_of_Man|Europe/Jersey|Europe/Lisbon|Europe/London|GB|GB\-Eire|GMT0|Greenwich|Iceland|Portugal|UCT|Universal|Zulu|Z' 'Australia/Eucla|CWST|Central Western Standard Time \(Australia\)' 'Etc/GMT\+12|Y' 'ACT|Central Standard Time \(Northern Territory\)|Australia/Adelaide|Central Standard Time \(South Australia\)|Australia/Broken_Hill|Central Standard Time \(South Australia/New South Wales\)|Australia/Darwin|Australia/North|Australia/South|Australia/Yancowinna' 'NFST|Norfolk Summer Time' 'EEST|Eastern European Summer Time|CAST|Central African Summer Time|South Africa Summer Time|IDT|Israel Daylight Time|Africa/Addis_Ababa|EAT|Eastern African Time|Africa/Asmara|Africa/Asmera|Africa/Dar_es_Salaam|Africa/Djibouti|Africa/Juba|Africa/Kampala|Africa/Khartoum|Africa/Mogadishu|Africa/Nairobi|Antarctica/Syowa|SYOT|Syowa Time|Asia/Aden|Arabia Standard Time|Asia/Baghdad|Asia/Bahrain|Asia/Kuwait|Asia/Qatar|Asia/Riyadh|Etc/GMT\-3|Europe/Kaliningrad|FET|Further\-eastern European Time|Europe/Minsk|Indian/Antananarivo|Indian/Comoro|Indian/Mayotte|C' 'NPST|Nepal Summer Time' 'MAWST|Mawson Summer Time|AQTST|Aqtau Summer Time|Aqtobe Summer Time|TMST|Turkmenistan Summer Time|TJST|Tajikistan Summer Time|PKST|Pakistan Summer Time|ORAST|Oral Summer Time|UZST|Uzbekistan Summer Time|TFST|French Southern \& Antarctic Lands Summer Time|MVST|Maldives Summer Time|Antarctica/Vostok|VOST|Vostok Time|Asia/Almaty|ALMT|Alma\-Ata Time|Asia/Bishkek|KGT|Kirgizstan Time|Asia/Dacca|BDT|Bangladesh Time|Asia/Dhaka|Asia/Qyzylorda|QYZT|Qyzylorda Time|Asia/Thimbu|BTT|Bhutan Time|Asia/Thimphu|Asia/Yekaterinburg|YEKT|Yekaterinburg Time|Etc/GMT\-6|Indian/Chagos|IOT|Indian Ocean Territory Time|F' 'India Daylight Time|Asia/Rangoon|MMT|Myanmar Time|Indian/Cocos|CCT|Cocos Islands Time' 'CHADT|Chatham Daylight Time' 'CDT|Central Daylight Time|EASST|Easter Is\. Summer Time|GALST|Galapagos Summer Time|America/Atikokan|EST|Eastern Standard Time|America/Bogota|COT|Colombia Time|America/Cayman|America/Coral_Harbour|America/Detroit|America/Fort_Wayne|America/Grand_Turk|America/Guayaquil|ECT|Ecuador Time|America/Havana|Cuba Standard Time|America/Indiana/Indianapolis|America/Indiana/Marengo|America/Indiana/Petersburg|America/Indiana/Vevay|America/Indiana/Vincennes|America/Indiana/Winamac|America/Indianapolis|America/Iqaluit|America/Jamaica|America/Kentucky/Louisville|America/Kentucky/Monticello|America/Lima|PET|Peru Time|America/Louisville|America/Montreal|America/Nassau|America/New_York|America/Nipigon|America/Panama|America/Pangnirtung|America/Port\-au\-Prince|America/Thunder_Bay|America/Toronto|Canada/Eastern|Cuba|EST5EDT|Etc/GMT\+5|IET|Jamaica|SystemV/EST5|SystemV/EST5EDT|US/East\-Indiana|US/Eastern|US/Michigan|R' 'NZ\-CHAT|CHAST|Chatham Standard Time|Pacific/Chatham' 'Western Summer Time \(Australia\)|BNST|Brunei Summer Time|CHOST|Choibalsan Summer Time|China Daylight Time|HKST|Hong Kong Summer Time|KRAST|Krasnoyarsk Summer Time|MYST|Malaysia Summer Time|CIST|Central Indonesia Summer Time|PHST|Philippines Summer Time|SGST|Singapore Summer Time|ULAST|Ulaanbaatar Summer Time|Asia/Dili|TLT|Timor\-Leste Time|Asia/Irkutsk|IRKT|Irkutsk Time|Asia/Jayapura|EIT|East Indonesia Time|Asia/Pyongyang|KST|Korea Standard Time|Asia/Seoul|Asia/Tokyo|JST|Japan Standard Time|Etc/GMT\-9|Japan|Pacific/Palau|PWT|Palau Time|ROK|I' 'HADT|Hawaii\-Aleutian Daylight Time|HDT|Hawaii Daylight Time|CKHST|Cook Is\. Summer Time|TAHST|Tahiti Summer Time|AST|AKST|Alaska Standard Time|America/Anchorage|America/Juneau|America/Nome|America/Sitka|America/Yakutat|Etc/GMT\+9|Pacific/Gambier|GAMT|Gambier Time|SystemV/YST9|SystemV/YST9YDT|US/Alaska|V' 'NZDT|New Zealand Daylight Time|ANAST|Anadyr Summer Time|PETST|Petropavlovsk\-Kamchatski Summer Time|MAGST|Magadan Summer Time|MHST|Marshall Islands Summer Time|FJST|Fiji Summer Time|TVST|Tuvalu Summer Time|NRST|Nauru Summer Time|GILST|Gilbert Is\. Summer Time|WAKST|Wake Summer Time|WFST|Wallis \& Futuna Summer Time|Etc/GMT\-13|MIT|West Samoa Time|Pacific/Apia|Pacific/Enderbury|PHOT|Phoenix Is\. Time|Pacific/Tongatapu|TOT|Tonga Time|M' 'MARST|Marquesas Summer Time' 'Eastern Summer Time \(New South Wales\)|DDUST|Dumont\-d\x27Urville Summer Time|YAKST|Yakutsk Summer Time|Eastern Summer Time \(Queensland\)|Eastern Summer Time \(Tasmania\)|Eastern Summer Time \(Victoria\)|CHUST|Chuuk Summer Time|ChDT|Chamorro Daylight Time|PGST|Papua New Guinea Summer Time|Lord Howe Summer Time|Antarctica/Macquarie|MIST|Macquarie Island Time|Asia/Sakhalin|SAKT|Sakhalin Time|Asia/Vladivostok|VLAT|Vladivostok Time|Etc/GMT\-11|Pacific/Efate|VUT|Vanuatu Time|Pacific/Guadalcanal|SBT|Solomon Is\. Time|Pacific/Kosrae|KOST|Kosrae Time|Pacific/Noumea|NCT|New Caledonia Time|Pacific/Pohnpei|PONT|Pohnpei Time|Pacific/Ponape|K' 'Eastern African Summer Time|SYOST|Syowa Summer Time|Arabia Daylight Time|FEST|Further\-eastern European Summer Time|Asia/Baku|AZT|Azerbaijan Time|Asia/Dubai|Gulf Standard Time|Asia/Muscat|Asia/Tbilisi|GET|Georgia Time|Asia/Yerevan|Armenia Time|Etc/GMT\-4|Europe/Moscow|MSK|Moscow Standard Time|Europe/Samara|SAMT|Samara Time|Europe/Volgograd|VOLT|Volgograd Time|Indian/Mahe|SCT|Seychelles Time|Indian/Mauritius|MUT|Mauritius Time|Indian/Reunion|RET|Reunion Time|NET|W\-SU|D' 'VEST|Venezuela Summer Time|America/St_Johns|NST|Newfoundland Standard Time|CNT|Canada/Newfoundland' 'GHST|Ghana Summer Time|WEST|Western European Summer Time|SLST|Sierra Leone Summer Time|IST|Irish Summer Time|BST|British Summer Time|Africa/Algiers|CET|Central European Time|Africa/Bangui|WAT|Western African Time|Africa/Brazzaville|Africa/Ceuta|Africa/Douala|Africa/Kinshasa|Africa/Lagos|Africa/Libreville|Africa/Luanda|Africa/Malabo|Africa/Ndjamena|Africa/Niamey|Africa/Porto\-Novo|Africa/Tunis|Africa/Windhoek|Arctic/Longyearbyen|Atlantic/Jan_Mayen|Etc/GMT\-1|Europe/Amsterdam|Europe/Andorra|Europe/Belgrade|Europe/Berlin|Europe/Bratislava|Europe/Brussels|Europe/Budapest|Europe/Copenhagen|Europe/Gibraltar|Europe/Ljubljana|Europe/Luxembourg|Europe/Madrid|Europe/Malta|Europe/Monaco|Europe/Oslo|Europe/Paris|Europe/Podgorica|Europe/Prague|Europe/Rome|Europe/San_Marino|Europe/Sarajevo|Europe/Skopje|Europe/Stockholm|Europe/Tirane|Europe/Vaduz|Europe/Vatican|Europe/Vienna|Europe/Warsaw|Europe/Zagreb|Europe/Zurich|MET|Middle Europe Time|Poland|A' 'Pacific/Norfolk|NFT|Norfolk Time' 'DAVST|Davis Summer Time|ICST|Indochina Summer Time|HOVST|Hovd Summer Time|WIST|West Indonesia Summer Time|NOVST|Novosibirsk Summer Time|OMSST|Omsk Summer Time|CXST|Christmas Island Summer Time|Antarctica/Casey|WST|Western Standard Time \(Australia\)|Asia/Brunei|BNT|Brunei Time|Asia/Choibalsan|CHOT|Choibalsan Time|Asia/Chongqing|China Standard Time|Asia/Chungking|Asia/Harbin|Asia/Hong_Kong|HKT|Hong Kong Time|Asia/Kashgar|Asia/Krasnoyarsk|KRAT|Krasnoyarsk Time|Asia/Kuala_Lumpur|MYT|Malaysia Time|Asia/Kuching|Asia/Macao|Asia/Macau|Asia/Makassar|CIT|Central Indonesia Time|Asia/Manila|PHT|Philippines Time|Asia/Shanghai|Asia/Singapore|SGT|Singapore Time|Asia/Taipei|Asia/Ujung_Pandang|Asia/Ulaanbaatar|ULAT|Ulaanbaatar Time|Asia/Ulan_Bator|Asia/Urumqi|Australia/Perth|Australia/West|CTT|Etc/GMT\-8|Hongkong|PRC|Singapore|H' 'ADT|Atlantic Daylight Time|WARST|Western Argentine Summer Time|PYST|Paraguay Summer Time|AMST|Amazon Summer Time|GYST|Guyana Summer Time|BOST|Bolivia Summer Time|CLST|Chile Summer Time|AGT|ART|Argentine Time|America/Araguaina|BRT|Brasilia Time|America/Argentina/Buenos_Aires|America/Argentina/Catamarca|America/Argentina/ComodRivadavia|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/Tucuman|America/Argentina/Ushuaia|America/Bahia|America/Belem|America/Buenos_Aires|America/Catamarca|America/Cayenne|GFT|French Guiana Time|America/Cordoba|America/Fortaleza|America/Godthab|WGT|Western Greenland Time|America/Jujuy|America/Maceio|America/Mendoza|America/Miquelon|PMST|Pierre \& Miquelon Standard Time|America/Montevideo|UYT|Uruguay Time|America/Paramaribo|SRT|Suriname Time|America/Recife|America/Rosario|America/Santarem|America/Sao_Paulo|Antarctica/Rothera|ROTT|Rothera Time|Atlantic/Stanley|FKT|Falkland Is\. Time|BET|Brazil/East|Etc/GMT\+3|P' 'NDT|Newfoundland Daylight Time' 'WSDT|West Samoa Daylight Time|PHOST|Phoenix Is\. Summer Time|TOST|Tonga Summer Time|Etc/GMT\-14|Pacific/Fakaofo|TKT|Tokelau Time|Pacific/Kiritimati|LINT|Line Is\. Time' 'VOSST|Vostok Summer Time|ALMST|Alma\-Ata Summer Time|KGST|Kirgizstan Summer Time|BDST|Bangladesh Summer Time|QYZST|Qyzylorda Summer Time|BTST|Bhutan Summer Time|YEKST|Yekaterinburg Summer Time|IOST|Indian Ocean Territory Summer Time|Antarctica/Davis|DAVT|Davis Time|Asia/Bangkok|ICT|Indochina Time|Asia/Ho_Chi_Minh|Asia/Hovd|HOVT|Hovd Time|Asia/Jakarta|WIT|West Indonesia Time|Asia/Novokuznetsk|NOVT|Novosibirsk Time|Asia/Novosibirsk|Asia/Omsk|OMST|Omsk Time|Asia/Phnom_Penh|Asia/Pontianak|Asia/Saigon|Asia/Vientiane|Etc/GMT\-7|Indian/Christmas|CXT|Christmas Island Time|VST|G' 'CEST|Central European Summer Time|WAST|Western African Summer Time|MEST|Middle Europe Summer Time|EET|Eastern European Time|Africa/Blantyre|CAT|Central African Time|Africa/Bujumbura|Africa/Cairo|Africa/Gaborone|Africa/Harare|Africa/Johannesburg|SAST|South Africa Standard Time|Africa/Kigali|Africa/Lubumbashi|Africa/Lusaka|Africa/Maputo|Africa/Maseru|Africa/Mbabane|Africa/Tripoli|Asia/Amman|Asia/Beirut|Asia/Damascus|Asia/Gaza|Asia/Hebron|Asia/Istanbul|Asia/Jerusalem|Israel Standard Time|Asia/Nicosia|Asia/Tel_Aviv|Egypt|Etc/GMT\-2|Europe/Athens|Europe/Bucharest|Europe/Chisinau|Europe/Helsinki|Europe/Istanbul|Europe/Kiev|Europe/Mariehamn|Europe/Nicosia|Europe/Riga|Europe/Simferopol|Europe/Sofia|Europe/Tallinn|Europe/Tiraspol|Europe/Uzhgorod|Europe/Vilnius|Europe/Zaporozhye|Israel|Libya|Turkey|B' 'Asia/Kathmandu|NPT|Nepal Time|Asia/Katmandu' 'America/Caracas|VET|Venezuela Time' 'TKST|Tokelau Summer Time|LINST|Line Is\. Summer Time' 'Asia/Tehran|IRST|Iran Standard Time|Iran' 'ARST|Argentine Summer Time|BRST|Brasilia Summer Time|GFST|French Guiana Summer Time|WGST|Western Greenland Summer Time|PMDT|Pierre \& Miquelon Daylight Time|UYST|Uruguay Summer Time|SRST|Suriname Summer Time|ROTST|Rothera Summer Time|FKST|Falkland Is\. Summer Time|America/Noronha|FNT|Fernando de Noronha Time|Atlantic/South_Georgia|GST|South Georgia Standard Time|Brazil/DeNoronha|Etc/GMT\+2|O' 'TLST|Timor\-Leste Summer Time|IRKST|Irkutsk Summer Time|EIST|East Indonesia Summer Time|KDT|Korea Daylight Time|JDT|Japan Daylight Time|PWST|Palau Summer Time|AET|Eastern Standard Time \(New South Wales\)|Antarctica/DumontDUrville|DDUT|Dumont\-d\x27Urville Time|Asia/Yakutsk|YAKT|Yakutsk Time|Australia/ACT|Australia/Brisbane|Eastern Standard Time \(Queensland\)|Australia/Canberra|Australia/Currie|Australia/Hobart|Eastern Standard Time \(Tasmania\)|Australia/Lindeman|Australia/Melbourne|Eastern Standard Time \(Victoria\)|Australia/NSW|Australia/Queensland|Australia/Sydney|Australia/Tasmania|Australia/Victoria|Etc/GMT\-10|Pacific/Chuuk|CHUT|Chuuk Time|Pacific/Guam|ChST|Chamorro Standard Time|Pacific/Port_Moresby|PGT|Papua New Guinea Time|Pacific/Saipan|Pacific/Truk|Pacific/Yap|J' 'FNST|Fernando de Noronha Summer Time|GDT|South Georgia Daylight Time|America/Scoresbysund|EGT|Eastern Greenland Time|Atlantic/Azores|AZOT|Azores Time|Atlantic/Cape_Verde|CVT|Cape Verde Time|Etc/GMT\+1|N' 'AZST|Azerbaijan Summer Time|Gulf Daylight Time|GEST|Georgia Summer Time|Armenia Summer Time|MSD|Moscow Daylight Time|SAMST|Samara Summer Time|VOLST|Volgograd Summer Time|SCST|Seychelles Summer Time|MUST|Mauritius Summer Time|REST|Reunion Summer Time|Antarctica/Mawson|MAWT|Mawson Time|Asia/Aqtau|AQTT|Aqtau Time|Asia/Aqtobe|Aqtobe Time|Asia/Ashgabat|TMT|Turkmenistan Time|Asia/Ashkhabad|Asia/Dushanbe|TJT|Tajikistan Time|Asia/Karachi|PKT|Pakistan Time|Asia/Oral|ORAT|Oral Time|Asia/Samarkand|UZT|Uzbekistan Time|Asia/Tashkent|Etc/GMT\-5|Indian/Kerguelen|TFT|French Southern \& Antarctic Lands Time|Indian/Maldives|MVT|Maldives Time|PLT|E' 'Central Summer Time \(Northern Territory\)|Central Summer Time \(South Australia\)|Central Summer Time \(South Australia/New South Wales\)|Australia/LHI|LHST|Lord Howe Standard Time|Australia/Lord_Howe' 'EDT|Eastern Daylight Time|COST|Colombia Summer Time|ECST|Ecuador Summer Time|Cuba Daylight Time|PEST|Peru Summer Time|America/Anguilla|Atlantic Standard Time|America/Antigua|America/Argentina/San_Luis|WART|Western Argentine Time|America/Aruba|America/Asuncion|PYT|Paraguay Time|America/Barbados|America/Blanc\-Sablon|America/Boa_Vista|AMT|Amazon Time|America/Campo_Grande|America/Cuiaba|America/Curacao|America/Dominica|America/Eirunepe|America/Glace_Bay|America/Goose_Bay|America/Grenada|America/Guadeloupe|America/Guyana|GYT|Guyana Time|America/Halifax|America/Kralendijk|America/La_Paz|BOT|Bolivia Time|America/Lower_Princes|America/Manaus|America/Marigot|America/Martinique|America/Moncton|America/Montserrat|America/Port_of_Spain|America/Porto_Acre|America/Porto_Velho|America/Puerto_Rico|America/Rio_Branco|America/Santiago|CLT|Chile Time|America/Santo_Domingo|America/St_Barthelemy|America/St_Kitts|America/St_Lucia|America/St_Thomas|America/St_Vincent|America/Thule|America/Tortola|America/Virgin|Antarctica/Palmer|Atlantic/Bermuda|Brazil/Acre|Brazil/West|Canada/Atlantic|Chile/Continental|Etc/GMT\+4|PRT|SystemV/AST4|SystemV/AST4ADT|Q' 'SDT|Samoa Daylight Time|NUST|Niue Summer Time|America/Adak|HAST|Hawaii\-Aleutian Standard Time|America/Atka|Etc/GMT\+10|HST|Hawaii Standard Time|Pacific/Honolulu|Pacific/Johnston|Pacific/Rarotonga|CKT|Cook Is\. Time|Pacific/Tahiti|TAHT|Tahiti Time|SystemV/HST10|US/Aleutian|US/Hawaii|W' 'Pacific/Marquesas|MART|Marquesas Time' 'Macquarie Island Summer Time|SAKST|Sakhalin Summer Time|VLAST|Vladivostok Summer Time|VUST|Vanuatu Summer Time|SBST|Solomon Is\. Summer Time|KOSST|Kosrae Summer Time|NCST|New Caledonia Summer Time|PONST|Pohnpei Summer Time|Antarctica/McMurdo|NZST|New Zealand Standard Time|Antarctica/South_Pole|Asia/Anadyr|ANAT|Anadyr Time|Asia/Kamchatka|PETT|Petropavlovsk\-Kamchatski Time|Asia/Magadan|MAGT|Magadan Time|Etc/GMT\-12|Kwajalein|MHT|Marshall Islands Time|NZ|Pacific/Auckland|Pacific/Fiji|FJT|Fiji Time|Pacific/Funafuti|TVT|Tuvalu Time|Pacific/Kwajalein|Pacific/Majuro|Pacific/Nauru|NRT|Nauru Time|Pacific/Tarawa|GILT|Gilbert Is\. Time|Pacific/Wake|WAKT|Wake Time|Pacific/Wallis|WFT|Wallis \& Futuna Time|L' 'AFST|Afghanistan Summer Time|Asia/Calcutta|India Standard Time|Asia/Colombo|Asia/Kolkata' 'Asia/Riyadh87|Asia/Riyadh88|Asia/Riyadh89|Mideast/Riyadh87|Mideast/Riyadh88|Mideast/Riyadh89'}

EEE ==>> { 'Sat|Satu|Satur|Saturd|Saturda|Saturday' 'Wed|Wedn|Wedne|Wednes|Wednesd|Wednesda|Wednesday' 'Fri|Frid|Frida|Friday' 'Thu|Thur|Thurs|Thursd|Thursda|Thursday' 'Sun|Sund|Sunda|Sunday' 'Mon|Mond|Monda|Monday' 'Tue|Tues|Tuesd|Tuesda|Tuesday'}

yyyy ==>> { year4}

ss ==>> { digit12}

z ==>> { 'PDT|Pacific Daylight Time|MeDT|Metlakatla Daylight Time|Pitcairn Daylight Time|America/Boise|MST|Mountain Standard Time|America/Cambridge_Bay|America/Chihuahua|America/Creston|America/Dawson_Creek|America/Denver|America/Edmonton|America/Hermosillo|America/Inuvik|America/Mazatlan|America/Ojinaga|America/Phoenix|America/Shiprock|America/Yellowknife|Canada/Mountain|Etc/GMT\+7|MST7MDT|Mexico/BajaSur|Navajo|PNT|SystemV/MST7|SystemV/MST7MDT|US/Arizona|US/Mountain|T' 'MDT|Mountain Daylight Time|America/Bahia_Banderas|CST|Central Standard Time|America/Belize|America/Cancun|America/Chicago|America/Costa_Rica|America/El_Salvador|America/Guatemala|America/Indiana/Knox|America/Indiana/Tell_City|America/Knox_IN|America/Managua|America/Matamoros|America/Menominee|America/Merida|America/Mexico_City|America/Monterrey|America/North_Dakota/Beulah|America/North_Dakota/Center|America/North_Dakota/New_Salem|America/Rainy_River|America/Rankin_Inlet|America/Regina|America/Resolute|America/Swift_Current|America/Tegucigalpa|America/Winnipeg|CST6CDT|Canada/Central|Canada/East\-Saskatchewan|Canada/Saskatchewan|Chile/EasterIsland|EAST|Easter Is\. Time|Etc/GMT\+6|Mexico/General|Pacific/Easter|Pacific/Galapagos|GALT|Galapagos Time|SystemV/CST6|SystemV/CST6CDT|US/Central|US/Indiana\-Starke|S' 'IRDT|Iran Daylight Time|Asia/Kabul|AFT|Afghanistan Time' 'Central Western Summer Time \(Australia\)' 'Etc/GMT\+11|Pacific/Midway|SST|Samoa Standard Time|Pacific/Niue|NUT|Niue Time|Pacific/Pago_Pago|Pacific/Samoa|US/Samoa|X' 'MMST|Myanmar Summer Time|CCST|Cocos Islands Summer Time' 'AKDT|Alaska Daylight Time|GAMST|Gambier Summer Time|America/Dawson|PST|Pacific Standard Time|America/Ensenada|America/Los_Angeles|America/Metlakatla|MeST|Metlakatla Standard Time|America/Santa_Isabel|America/Tijuana|America/Vancouver|America/Whitehorse|Canada/Pacific|Canada/Yukon|Etc/GMT\+8|Mexico/BajaNorte|PST8PDT|Pacific/Pitcairn|Pitcairn Standard Time|SystemV/PST8|SystemV/PST8PDT|US/Pacific|US/Pacific\-New|U' 'EGST|Eastern Greenland Summer Time|AZOST|Azores Summer Time|CVST|Cape Verde Summer Time|Africa/Abidjan|GMT|Greenwich Mean Time|Africa/Accra|Ghana Mean Time|Africa/Bamako|Africa/Banjul|Africa/Bissau|Africa/Casablanca|WET|Western European Time|Africa/Conakry|Africa/Dakar|Africa/El_Aaiun|Africa/Freetown|Africa/Lome|Africa/Monrovia|Africa/Nouakchott|Africa/Ouagadougou|Africa/Sao_Tome|Africa/Timbuktu|America/Danmarkshavn|Atlantic/Canary|Atlantic/Faeroe|Atlantic/Faroe|Atlantic/Madeira|Atlantic/Reykjavik|Atlantic/St_Helena|Eire|Etc/GMT|Etc/GMT\+0|Etc/GMT\-0|Etc/GMT0|Etc/Greenwich|Etc/UCT|UTC|Coordinated Universal Time|Etc/UTC|Etc/Universal|Etc/Zulu|Europe/Belfast|Europe/Dublin|Europe/Guernsey|Europe/Isle_of_Man|Europe/Jersey|Europe/Lisbon|Europe/London|GB|GB\-Eire|GMT0|Greenwich|Iceland|Portugal|UCT|Universal|Zulu|Z' 'Australia/Eucla|CWST|Central Western Standard Time \(Australia\)' 'Etc/GMT\+12|Y' 'ACT|Central Standard Time \(Northern Territory\)|Australia/Adelaide|Central Standard Time \(South Australia\)|Australia/Broken_Hill|Central Standard Time \(South Australia/New South Wales\)|Australia/Darwin|Australia/North|Australia/South|Australia/Yancowinna' 'NFST|Norfolk Summer Time' 'EEST|Eastern European Summer Time|CAST|Central African Summer Time|South Africa Summer Time|IDT|Israel Daylight Time|Africa/Addis_Ababa|EAT|Eastern African Time|Africa/Asmara|Africa/Asmera|Africa/Dar_es_Salaam|Africa/Djibouti|Africa/Juba|Africa/Kampala|Africa/Khartoum|Africa/Mogadishu|Africa/Nairobi|Antarctica/Syowa|SYOT|Syowa Time|Asia/Aden|Arabia Standard Time|Asia/Baghdad|Asia/Bahrain|Asia/Kuwait|Asia/Qatar|Asia/Riyadh|Etc/GMT\-3|Europe/Kaliningrad|FET|Further\-eastern European Time|Europe/Minsk|Indian/Antananarivo|Indian/Comoro|Indian/Mayotte|C' 'NPST|Nepal Summer Time' 'MAWST|Mawson Summer Time|AQTST|Aqtau Summer Time|Aqtobe Summer Time|TMST|Turkmenistan Summer Time|TJST|Tajikistan Summer Time|PKST|Pakistan Summer Time|ORAST|Oral Summer Time|UZST|Uzbekistan Summer Time|TFST|French Southern \& Antarctic Lands Summer Time|MVST|Maldives Summer Time|Antarctica/Vostok|VOST|Vostok Time|Asia/Almaty|ALMT|Alma\-Ata Time|Asia/Bishkek|KGT|Kirgizstan Time|Asia/Dacca|BDT|Bangladesh Time|Asia/Dhaka|Asia/Qyzylorda|QYZT|Qyzylorda Time|Asia/Thimbu|BTT|Bhutan Time|Asia/Thimphu|Asia/Yekaterinburg|YEKT|Yekaterinburg Time|Etc/GMT\-6|Indian/Chagos|IOT|Indian Ocean Territory Time|F' 'India Daylight Time|Asia/Rangoon|MMT|Myanmar Time|Indian/Cocos|CCT|Cocos Islands Time' 'CHADT|Chatham Daylight Time' 'CDT|Central Daylight Time|EASST|Easter Is\. Summer Time|GALST|Galapagos Summer Time|America/Atikokan|EST|Eastern Standard Time|America/Bogota|COT|Colombia Time|America/Cayman|America/Coral_Harbour|America/Detroit|America/Fort_Wayne|America/Grand_Turk|America/Guayaquil|ECT|Ecuador Time|America/Havana|Cuba Standard Time|America/Indiana/Indianapolis|America/Indiana/Marengo|America/Indiana/Petersburg|America/Indiana/Vevay|America/Indiana/Vincennes|America/Indiana/Winamac|America/Indianapolis|America/Iqaluit|America/Jamaica|America/Kentucky/Louisville|America/Kentucky/Monticello|America/Lima|PET|Peru Time|America/Louisville|America/Montreal|America/Nassau|America/New_York|America/Nipigon|America/Panama|America/Pangnirtung|America/Port\-au\-Prince|America/Thunder_Bay|America/Toronto|Canada/Eastern|Cuba|EST5EDT|Etc/GMT\+5|IET|Jamaica|SystemV/EST5|SystemV/EST5EDT|US/East\-Indiana|US/Eastern|US/Michigan|R' 'NZ\-CHAT|CHAST|Chatham Standard Time|Pacific/Chatham' 'Western Summer Time \(Australia\)|BNST|Brunei Summer Time|CHOST|Choibalsan Summer Time|China Daylight Time|HKST|Hong Kong Summer Time|KRAST|Krasnoyarsk Summer Time|MYST|Malaysia Summer Time|CIST|Central Indonesia Summer Time|PHST|Philippines Summer Time|SGST|Singapore Summer Time|ULAST|Ulaanbaatar Summer Time|Asia/Dili|TLT|Timor\-Leste Time|Asia/Irkutsk|IRKT|Irkutsk Time|Asia/Jayapura|EIT|East Indonesia Time|Asia/Pyongyang|KST|Korea Standard Time|Asia/Seoul|Asia/Tokyo|JST|Japan Standard Time|Etc/GMT\-9|Japan|Pacific/Palau|PWT|Palau Time|ROK|I' 'HADT|Hawaii\-Aleutian Daylight Time|HDT|Hawaii Daylight Time|CKHST|Cook Is\. Summer Time|TAHST|Tahiti Summer Time|AST|AKST|Alaska Standard Time|America/Anchorage|America/Juneau|America/Nome|America/Sitka|America/Yakutat|Etc/GMT\+9|Pacific/Gambier|GAMT|Gambier Time|SystemV/YST9|SystemV/YST9YDT|US/Alaska|V' 'NZDT|New Zealand Daylight Time|ANAST|Anadyr Summer Time|PETST|Petropavlovsk\-Kamchatski Summer Time|MAGST|Magadan Summer Time|MHST|Marshall Islands Summer Time|FJST|Fiji Summer Time|TVST|Tuvalu Summer Time|NRST|Nauru Summer Time|GILST|Gilbert Is\. Summer Time|WAKST|Wake Summer Time|WFST|Wallis \& Futuna Summer Time|Etc/GMT\-13|MIT|West Samoa Time|Pacific/Apia|Pacific/Enderbury|PHOT|Phoenix Is\. Time|Pacific/Tongatapu|TOT|Tonga Time|M' 'MARST|Marquesas Summer Time' 'Eastern Summer Time \(New South Wales\)|DDUST|Dumont\-d\x27Urville Summer Time|YAKST|Yakutsk Summer Time|Eastern Summer Time \(Queensland\)|Eastern Summer Time \(Tasmania\)|Eastern Summer Time \(Victoria\)|CHUST|Chuuk Summer Time|ChDT|Chamorro Daylight Time|PGST|Papua New Guinea Summer Time|Lord Howe Summer Time|Antarctica/Macquarie|MIST|Macquarie Island Time|Asia/Sakhalin|SAKT|Sakhalin Time|Asia/Vladivostok|VLAT|Vladivostok Time|Etc/GMT\-11|Pacific/Efate|VUT|Vanuatu Time|Pacific/Guadalcanal|SBT|Solomon Is\. Time|Pacific/Kosrae|KOST|Kosrae Time|Pacific/Noumea|NCT|New Caledonia Time|Pacific/Pohnpei|PONT|Pohnpei Time|Pacific/Ponape|K' 'Eastern African Summer Time|SYOST|Syowa Summer Time|Arabia Daylight Time|FEST|Further\-eastern European Summer Time|Asia/Baku|AZT|Azerbaijan Time|Asia/Dubai|Gulf Standard Time|Asia/Muscat|Asia/Tbilisi|GET|Georgia Time|Asia/Yerevan|Armenia Time|Etc/GMT\-4|Europe/Moscow|MSK|Moscow Standard Time|Europe/Samara|SAMT|Samara Time|Europe/Volgograd|VOLT|Volgograd Time|Indian/Mahe|SCT|Seychelles Time|Indian/Mauritius|MUT|Mauritius Time|Indian/Reunion|RET|Reunion Time|NET|W\-SU|D' 'VEST|Venezuela Summer Time|America/St_Johns|NST|Newfoundland Standard Time|CNT|Canada/Newfoundland' 'GHST|Ghana Summer Time|WEST|Western European Summer Time|SLST|Sierra Leone Summer Time|IST|Irish Summer Time|BST|British Summer Time|Africa/Algiers|CET|Central European Time|Africa/Bangui|WAT|Western African Time|Africa/Brazzaville|Africa/Ceuta|Africa/Douala|Africa/Kinshasa|Africa/Lagos|Africa/Libreville|Africa/Luanda|Africa/Malabo|Africa/Ndjamena|Africa/Niamey|Africa/Porto\-Novo|Africa/Tunis|Africa/Windhoek|Arctic/Longyearbyen|Atlantic/Jan_Mayen|Etc/GMT\-1|Europe/Amsterdam|Europe/Andorra|Europe/Belgrade|Europe/Berlin|Europe/Bratislava|Europe/Brussels|Europe/Budapest|Europe/Copenhagen|Europe/Gibraltar|Europe/Ljubljana|Europe/Luxembourg|Europe/Madrid|Europe/Malta|Europe/Monaco|Europe/Oslo|Europe/Paris|Europe/Podgorica|Europe/Prague|Europe/Rome|Europe/San_Marino|Europe/Sarajevo|Europe/Skopje|Europe/Stockholm|Europe/Tirane|Europe/Vaduz|Europe/Vatican|Europe/Vienna|Europe/Warsaw|Europe/Zagreb|Europe/Zurich|MET|Middle Europe Time|Poland|A' 'Pacific/Norfolk|NFT|Norfolk Time' 'DAVST|Davis Summer Time|ICST|Indochina Summer Time|HOVST|Hovd Summer Time|WIST|West Indonesia Summer Time|NOVST|Novosibirsk Summer Time|OMSST|Omsk Summer Time|CXST|Christmas Island Summer Time|Antarctica/Casey|WST|Western Standard Time \(Australia\)|Asia/Brunei|BNT|Brunei Time|Asia/Choibalsan|CHOT|Choibalsan Time|Asia/Chongqing|China Standard Time|Asia/Chungking|Asia/Harbin|Asia/Hong_Kong|HKT|Hong Kong Time|Asia/Kashgar|Asia/Krasnoyarsk|KRAT|Krasnoyarsk Time|Asia/Kuala_Lumpur|MYT|Malaysia Time|Asia/Kuching|Asia/Macao|Asia/Macau|Asia/Makassar|CIT|Central Indonesia Time|Asia/Manila|PHT|Philippines Time|Asia/Shanghai|Asia/Singapore|SGT|Singapore Time|Asia/Taipei|Asia/Ujung_Pandang|Asia/Ulaanbaatar|ULAT|Ulaanbaatar Time|Asia/Ulan_Bator|Asia/Urumqi|Australia/Perth|Australia/West|CTT|Etc/GMT\-8|Hongkong|PRC|Singapore|H' 'ADT|Atlantic Daylight Time|WARST|Western Argentine Summer Time|PYST|Paraguay Summer Time|AMST|Amazon Summer Time|GYST|Guyana Summer Time|BOST|Bolivia Summer Time|CLST|Chile Summer Time|AGT|ART|Argentine Time|America/Araguaina|BRT|Brasilia Time|America/Argentina/Buenos_Aires|America/Argentina/Catamarca|America/Argentina/ComodRivadavia|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/Tucuman|America/Argentina/Ushuaia|America/Bahia|America/Belem|America/Buenos_Aires|America/Catamarca|America/Cayenne|GFT|French Guiana Time|America/Cordoba|America/Fortaleza|America/Godthab|WGT|Western Greenland Time|America/Jujuy|America/Maceio|America/Mendoza|America/Miquelon|PMST|Pierre \& Miquelon Standard Time|America/Montevideo|UYT|Uruguay Time|America/Paramaribo|SRT|Suriname Time|America/Recife|America/Rosario|America/Santarem|America/Sao_Paulo|Antarctica/Rothera|ROTT|Rothera Time|Atlantic/Stanley|FKT|Falkland Is\. Time|BET|Brazil/East|Etc/GMT\+3|P' 'NDT|Newfoundland Daylight Time' 'WSDT|West Samoa Daylight Time|PHOST|Phoenix Is\. Summer Time|TOST|Tonga Summer Time|Etc/GMT\-14|Pacific/Fakaofo|TKT|Tokelau Time|Pacific/Kiritimati|LINT|Line Is\. Time' 'VOSST|Vostok Summer Time|ALMST|Alma\-Ata Summer Time|KGST|Kirgizstan Summer Time|BDST|Bangladesh Summer Time|QYZST|Qyzylorda Summer Time|BTST|Bhutan Summer Time|YEKST|Yekaterinburg Summer Time|IOST|Indian Ocean Territory Summer Time|Antarctica/Davis|DAVT|Davis Time|Asia/Bangkok|ICT|Indochina Time|Asia/Ho_Chi_Minh|Asia/Hovd|HOVT|Hovd Time|Asia/Jakarta|WIT|West Indonesia Time|Asia/Novokuznetsk|NOVT|Novosibirsk Time|Asia/Novosibirsk|Asia/Omsk|OMST|Omsk Time|Asia/Phnom_Penh|Asia/Pontianak|Asia/Saigon|Asia/Vientiane|Etc/GMT\-7|Indian/Christmas|CXT|Christmas Island Time|VST|G' 'CEST|Central European Summer Time|WAST|Western African Summer Time|MEST|Middle Europe Summer Time|EET|Eastern European Time|Africa/Blantyre|CAT|Central African Time|Africa/Bujumbura|Africa/Cairo|Africa/Gaborone|Africa/Harare|Africa/Johannesburg|SAST|South Africa Standard Time|Africa/Kigali|Africa/Lubumbashi|Africa/Lusaka|Africa/Maputo|Africa/Maseru|Africa/Mbabane|Africa/Tripoli|Asia/Amman|Asia/Beirut|Asia/Damascus|Asia/Gaza|Asia/Hebron|Asia/Istanbul|Asia/Jerusalem|Israel Standard Time|Asia/Nicosia|Asia/Tel_Aviv|Egypt|Etc/GMT\-2|Europe/Athens|Europe/Bucharest|Europe/Chisinau|Europe/Helsinki|Europe/Istanbul|Europe/Kiev|Europe/Mariehamn|Europe/Nicosia|Europe/Riga|Europe/Simferopol|Europe/Sofia|Europe/Tallinn|Europe/Tiraspol|Europe/Uzhgorod|Europe/Vilnius|Europe/Zaporozhye|Israel|Libya|Turkey|B' 'Asia/Kathmandu|NPT|Nepal Time|Asia/Katmandu' 'America/Caracas|VET|Venezuela Time' 'TKST|Tokelau Summer Time|LINST|Line Is\. Summer Time' 'Asia/Tehran|IRST|Iran Standard Time|Iran' 'ARST|Argentine Summer Time|BRST|Brasilia Summer Time|GFST|French Guiana Summer Time|WGST|Western Greenland Summer Time|PMDT|Pierre \& Miquelon Daylight Time|UYST|Uruguay Summer Time|SRST|Suriname Summer Time|ROTST|Rothera Summer Time|FKST|Falkland Is\. Summer Time|America/Noronha|FNT|Fernando de Noronha Time|Atlantic/South_Georgia|GST|South Georgia Standard Time|Brazil/DeNoronha|Etc/GMT\+2|O' 'TLST|Timor\-Leste Summer Time|IRKST|Irkutsk Summer Time|EIST|East Indonesia Summer Time|KDT|Korea Daylight Time|JDT|Japan Daylight Time|PWST|Palau Summer Time|AET|Eastern Standard Time \(New South Wales\)|Antarctica/DumontDUrville|DDUT|Dumont\-d\x27Urville Time|Asia/Yakutsk|YAKT|Yakutsk Time|Australia/ACT|Australia/Brisbane|Eastern Standard Time \(Queensland\)|Australia/Canberra|Australia/Currie|Australia/Hobart|Eastern Standard Time \(Tasmania\)|Australia/Lindeman|Australia/Melbourne|Eastern Standard Time \(Victoria\)|Australia/NSW|Australia/Queensland|Australia/Sydney|Australia/Tasmania|Australia/Victoria|Etc/GMT\-10|Pacific/Chuuk|CHUT|Chuuk Time|Pacific/Guam|ChST|Chamorro Standard Time|Pacific/Port_Moresby|PGT|Papua New Guinea Time|Pacific/Saipan|Pacific/Truk|Pacific/Yap|J' 'FNST|Fernando de Noronha Summer Time|GDT|South Georgia Daylight Time|America/Scoresbysund|EGT|Eastern Greenland Time|Atlantic/Azores|AZOT|Azores Time|Atlantic/Cape_Verde|CVT|Cape Verde Time|Etc/GMT\+1|N' 'AZST|Azerbaijan Summer Time|Gulf Daylight Time|GEST|Georgia Summer Time|Armenia Summer Time|MSD|Moscow Daylight Time|SAMST|Samara Summer Time|VOLST|Volgograd Summer Time|SCST|Seychelles Summer Time|MUST|Mauritius Summer Time|REST|Reunion Summer Time|Antarctica/Mawson|MAWT|Mawson Time|Asia/Aqtau|AQTT|Aqtau Time|Asia/Aqtobe|Aqtobe Time|Asia/Ashgabat|TMT|Turkmenistan Time|Asia/Ashkhabad|Asia/Dushanbe|TJT|Tajikistan Time|Asia/Karachi|PKT|Pakistan Time|Asia/Oral|ORAT|Oral Time|Asia/Samarkand|UZT|Uzbekistan Time|Asia/Tashkent|Etc/GMT\-5|Indian/Kerguelen|TFT|French Southern \& Antarctic Lands Time|Indian/Maldives|MVT|Maldives Time|PLT|E' 'Central Summer Time \(Northern Territory\)|Central Summer Time \(South Australia\)|Central Summer Time \(South Australia/New South Wales\)|Australia/LHI|LHST|Lord Howe Standard Time|Australia/Lord_Howe' 'EDT|Eastern Daylight Time|COST|Colombia Summer Time|ECST|Ecuador Summer Time|Cuba Daylight Time|PEST|Peru Summer Time|America/Anguilla|Atlantic Standard Time|America/Antigua|America/Argentina/San_Luis|WART|Western Argentine Time|America/Aruba|America/Asuncion|PYT|Paraguay Time|America/Barbados|America/Blanc\-Sablon|America/Boa_Vista|AMT|Amazon Time|America/Campo_Grande|America/Cuiaba|America/Curacao|America/Dominica|America/Eirunepe|America/Glace_Bay|America/Goose_Bay|America/Grenada|America/Guadeloupe|America/Guyana|GYT|Guyana Time|America/Halifax|America/Kralendijk|America/La_Paz|BOT|Bolivia Time|America/Lower_Princes|America/Manaus|America/Marigot|America/Martinique|America/Moncton|America/Montserrat|America/Port_of_Spain|America/Porto_Acre|America/Porto_Velho|America/Puerto_Rico|America/Rio_Branco|America/Santiago|CLT|Chile Time|America/Santo_Domingo|America/St_Barthelemy|America/St_Kitts|America/St_Lucia|America/St_Thomas|America/St_Vincent|America/Thule|America/Tortola|America/Virgin|Antarctica/Palmer|Atlantic/Bermuda|Brazil/Acre|Brazil/West|Canada/Atlantic|Chile/Continental|Etc/GMT\+4|PRT|SystemV/AST4|SystemV/AST4ADT|Q' 'SDT|Samoa Daylight Time|NUST|Niue Summer Time|America/Adak|HAST|Hawaii\-Aleutian Standard Time|America/Atka|Etc/GMT\+10|HST|Hawaii Standard Time|Pacific/Honolulu|Pacific/Johnston|Pacific/Rarotonga|CKT|Cook Is\. Time|Pacific/Tahiti|TAHT|Tahiti Time|SystemV/HST10|US/Aleutian|US/Hawaii|W' 'Pacific/Marquesas|MART|Marquesas Time' 'Macquarie Island Summer Time|SAKST|Sakhalin Summer Time|VLAST|Vladivostok Summer Time|VUST|Vanuatu Summer Time|SBST|Solomon Is\. Summer Time|KOSST|Kosrae Summer Time|NCST|New Caledonia Summer Time|PONST|Pohnpei Summer Time|Antarctica/McMurdo|NZST|New Zealand Standard Time|Antarctica/South_Pole|Asia/Anadyr|ANAT|Anadyr Time|Asia/Kamchatka|PETT|Petropavlovsk\-Kamchatski Time|Asia/Magadan|MAGT|Magadan Time|Etc/GMT\-12|Kwajalein|MHT|Marshall Islands Time|NZ|Pacific/Auckland|Pacific/Fiji|FJT|Fiji Time|Pacific/Funafuti|TVT|Tuvalu Time|Pacific/Kwajalein|Pacific/Majuro|Pacific/Nauru|NRT|Nauru Time|Pacific/Tarawa|GILT|Gilbert Is\. Time|Pacific/Wake|WAKT|Wake Time|Pacific/Wallis|WFT|Wallis \& Futuna Time|L' 'AFST|Afghanistan Summer Time|Asia/Calcutta|India Standard Time|Asia/Colombo|Asia/Kolkata' 'Asia/Riyadh87|Asia/Riyadh88|Asia/Riyadh89|Mideast/Riyadh87|Mideast/Riyadh88|Mideast/Riyadh89'}

Accept ==>> { 'Sat|Satu|Satur|Saturd|Saturda|Saturday' 'Wed|Wedn|Wedne|Wednes|Wednesd|Wednesda|Wednesday' 'Fri|Frid|Frida|Friday' 'Thu|Thur|Thurs|Thursd|Thursda|Thursday' 'Sun|Sund|Sunda|Sunday' 'Mon|Mond|Monda|Monday' 'Tue|Tues|Tuesd|Tuesda|Tuesday'}

Closure for Nonterminals

mm ==>> { minute}

MMM ==>> {}

HH ==>> { hour23}

second ==>> {}

rfc1123 ==>> { EEE}

tzName ==>> {}

hour23 ==>> {}

minute ==>> {}

dayInMonth ==>> {}

dd ==>> { dayInMonth}

generalTZ ==>> { tzName}

EEE ==>> {}

yyyy ==>> {}

ss ==>> { second}

z ==>> { tzName generalTZ}

Accept ==>> { EEE rfc1123}

Nullable Nonterminals

mm ==>> false

MMM ==>> false

HH ==>> false

second ==>> false

rfc1123 ==>> false

tzName ==>> false

hour23 ==>> false

minute ==>> false

dayInMonth ==>> false

dd ==>> false

generalTZ ==>> false

EEE ==>> false

yyyy ==>> false

ss ==>> false

z ==>> false

Accept ==>> false