stations = [
    "Abha",
    "Abidjan",
    "Abéché",
    "Accra",
    "Addis Ababa",
    "Adelaide",
    "Aden",
    "Ahvaz",
    "Albuquerque",
    "Alexandra",
    "Alexandria",
    "Algiers",
    "Alice Springs",
    "Almaty",
    "Amsterdam",
    "Anadyr",
    "Anchorage",
    "Andorra la Vella",
    "Ankara",
    "Antananarivo",
    "Antsiranana",
    "Arkhangelsk",
    "Ashgabat",
    "Asmara",
    "Assab",
    "Astana",
    "Athens",
    "Atlanta",
    "Auckland",
    "Austin",
    "Baghdad",
    "Baguio",
    "Baku",
    "Baltimore",
    "Bamako",
    "Bangkok",
    "Bangui",
    "Banjul",
    "Barcelona",
    "Bata",
    "Batumi",
    "Beijing",
    "Beirut",
    "Belgrade",
    "Belize City",
    "Benghazi",
    "Bergen",
    "Berlin",
    "Bilbao",
    "Birao",
    "Bishkek",
    "Bissau",
    "Blantyre",
    "Bloemfontein",
    "Boise",
    "Bordeaux",
    "Bosaso",
    "Boston",
    "Bouaké",
    "Bratislava",
    "Brazzaville",
    "Bridgetown",
    "Brisbane",
    "Brussels",
    "Bucharest",
    "Budapest",
    "Bujumbura",
    "Bulawayo",
    "Burnie",
    "Busan",
    "Cabo San Lucas",
    "Cairns",
    "Cairo",
    "Calgary",
    "Canberra",
    "Cape Town",
    "Changsha",
    "Charlotte",
    "Chiang Mai",
    "Chicago",
    "Chihuahua",
    "Chișinău",
    "Chittagong",
    "Chongqing",
    "Christchurch",
    "City of San Marino",
    "Colombo",
    "Columbus",
    "Conakry",
    "Copenhagen",
    "Cotonou",
    "Cracow",
    "Da Lat",
    "Da Nang",
    "Dakar",
    "Dallas",
    "Damascus",
    "Dampier",
    "Dar es Salaam",
    "Darwin",
    "Denpasar",
    "Denver",
    "Detroit",
    "Dhaka",
    "Dikson",
    "Dili",
    "Djibouti",
    "Dodoma",
    "Dolisie",
    "Douala",
    "Dubai",
    "Dublin",
    "Dunedin",
    "Durban",
    "Dushanbe",
    "Edinburgh",
    "Edmonton",
    "El Paso",
    "Entebbe",
    "Erbil",
    "Erzurum",
    "Fairbanks",
    "Fianarantsoa",
    "Flores,  Petén",
    "Frankfurt",
    "Fresno",
    "Fukuoka",
    "Gabès",
    "Gaborone",
    "Gagnoa",
    "Gangtok",
    "Garissa",
    "Garoua",
    "George Town",
    "Ghanzi",
    "Gjoa Haven",
    "Guadalajara",
    "Guangzhou",
    "Guatemala City",
    "Halifax",
    "Hamburg",
    "Hamilton",
    "Hanga Roa",
    "Hanoi",
    "Harare",
    "Harbin",
    "Hargeisa",
    "Hat Yai",
    "Havana",
    "Helsinki",
    "Heraklion",
    "Hiroshima",
    "Ho Chi Minh City",
    "Hobart",
    "Hong Kong",
    "Honiara",
    "Honolulu",
    "Houston",
    "Ifrane",
    "Indianapolis",
    "Iqaluit",
    "Irkutsk",
    "Istanbul",
    "İzmir",
    "Jacksonville",
    "Jakarta",
    "Jayapura",
    "Jerusalem",
    "Johannesburg",
    "Jos",
    "Juba",
    "Kabul",
    "Kampala",
    "Kandi",
    "Kankan",
    "Kano",
    "Kansas City",
    "Karachi",
    "Karonga",
    "Kathmandu",
    "Khartoum",
    "Kingston",
    "Kinshasa",
    "Kolkata",
    "Kuala Lumpur",
    "Kumasi",
    "Kunming",
    "Kuopio",
    "Kuwait City",
    "Kyiv",
    "Kyoto",
    "La Ceiba",
    "La Paz",
    "Lagos",
    "Lahore",
    "Lake Havasu City",
    "Lake Tekapo",
    "Las Palmas de Gran Canaria",
    "Las Vegas",
    "Launceston",
    "Lhasa",
    "Libreville",
    "Lisbon",
    "Livingstone",
    "Ljubljana",
    "Lodwar",
    "Lomé",
    "London",
    "Los Angeles",
    "Louisville",
    "Luanda",
    "Lubumbashi",
    "Lusaka",
    "Luxembourg City",
    "Lviv",
    "Lyon",
    "Madrid",
    "Mahajanga",
    "Makassar",
    "Makurdi",
    "Malabo",
    "Malé",
    "Managua",
    "Manama",
    "Mandalay",
    "Mango",
    "Manila",
    "Maputo",
    "Marrakesh",
    "Marseille",
    "Maun",
    "Medan",
    "Mek'ele",
    "Melbourne",
    "Memphis",
    "Mexicali",
    "Mexico City",
    "Miami",
    "Milan",
    "Milwaukee",
    "Minneapolis",
    "Minsk",
    "Mogadishu",
    "Mombasa",
    "Monaco",
    "Moncton",
    "Monterrey",
    "Montreal",
    "Moscow",
    "Mumbai",
    "Murmansk",
    "Muscat",
    "Mzuzu",
    "N'Djamena",
    "Naha",
    "Nairobi",
    "Nakhon Ratchasima",
    "Napier",
    "Napoli",
    "Nashville",
    "Nassau",
    "Ndola",
    "New Delhi",
    "New Orleans",
    "New York City",
    "Ngaoundéré",
    "Niamey",
    "Nicosia",
    "Niigata",
    "Nouadhibou",
    "Nouakchott",
    "Novosibirsk",
    "Nuuk",
    "Odesa",
    "Odienné",
    "Oklahoma City",
    "Omaha",
    "Oranjestad",
    "Oslo",
    "Ottawa",
    "Ouagadougou",
    "Ouahigouya",
    "Ouarzazate",
    "Oulu",
    "Palembang",
    "Palermo",
    "Palm Springs",
    "Palmerston North",
    "Panama City",
    "Parakou",
    "Paris",
    "Perth",
    "Petropavlovsk-Kamchatsky",
    "Philadelphia",
    "Phnom Penh",
    "Phoenix",
    "Pittsburgh",
    "Podgorica",
    "Pointe-Noire",
    "Pontianak",
    "Port Moresby",
    "Port Sudan",
    "Port Vila",
    "Port-Gentil",
    "Portland {OR}",
    "Porto",
    "Prague",
    "Praia",
    "Pretoria",
    "Pyongyang",
    "Rabat",
    "Rangpur",
    "Reggane",
    "Reykjavík",
    "Riga",
    "Riyadh",
    "Rome",
    "Roseau",
    "Rostov-on-Don",
    "Sacramento",
    "Saint Petersburg",
    "Saint-Pierre",
    "Salt Lake City",
    "San Antonio",
    "San Diego",
    "San Francisco",
    "San Jose",
    "San José",
    "San Juan",
    "San Salvador",
    "Sana'a",
    "Santo Domingo",
    "Sapporo",
    "Sarajevo",
    "Saskatoon",
    "Seattle",
    "Ségou",
    "Seoul",
    "Seville",
    "Shanghai",
    "Singapore",
    "Skopje",
    "Sochi",
    "Sofia",
    "Sokoto",
    "Split",
    "St. John's",
    "St. Louis",
    "Stockholm",
    "Surabaya",
    "Suva",
    "Suwałki",
    "Sydney",
    "Tabora",
    "Tabriz",
    "Taipei",
    "Tallinn",
    "Tamale",
    "Tamanrasset",
    "Tampa",
    "Tashkent",
    "Tauranga",
    "Tbilisi",
    "Tegucigalpa",
    "Tehran",
    "Tel Aviv",
    "Thessaloniki",
    "Thiès",
    "Tijuana",
    "Timbuktu",
    "Tirana",
    "Toamasina",
    "Tokyo",
    "Toliara",
    "Toluca",
    "Toronto",
    "Tripoli",
    "Tromsø",
    "Tucson",
    "Tunis",
    "Ulaanbaatar",
    "Upington",
    "Ürümqi",
    "Vaduz",
    "Valencia",
    "Valletta",
    "Vancouver",
    "Veracruz",
    "Vienna",
    "Vientiane",
    "Villahermosa",
    "Vilnius",
    "Virginia Beach",
    "Vladivostok",
    "Warsaw",
    "Washington, D.C.",
    "Wau",
    "Wellington",
    "Whitehorse",
    "Wichita",
    "Willemstad",
    "Winnipeg",
    "Wrocław",
    "Xi'an",
    "Yakutsk",
    "Yangon",
    "Yaoundé",
    "Yellowknife",
    "Yerevan",
    "Yinchuan",
    "Zagreb",
    "Zanzibar City",
    "Zürich",
]

s = set()
d = {}
size = 16
shift = 2
for st in stations:
    e = st.encode()
    h = 0x5555
    for b in e:
        rol = (h<<shift & (2**size-1) | h>>(size-shift)) & 0xffff
        h = rol ^ b
    d[st] = h
    s.add(h)

for k,v in sorted(d.items()):
    print(f'{k:30} : 0x{v:04x}')
print()
print('Total station names:      ', len(stations))
print('Total unique hashes count:', len(s))


'''
Abha                           : 0x42f4
Abidjan                        : 0xba1a
Abéché                         : 0x8da5
Accra                          : 0x0b0c
Addis Ababa                    : 0xfed5
Adelaide                       : 0xb267
Aden                           : 0x42af
Ahvaz                          : 0x08cb
Albuquerque                    : 0xabad
Alexandra                      : 0x9861
Alexandria                     : 0x61c7
Algiers                        : 0x8ffb
Alice Springs                  : 0x976f
Almaty                         : 0x21ad
Amsterdam                      : 0x8b20
Anadyr                         : 0x20c2
Anchorage                      : 0x3161
Andorra la Vella               : 0xc80a
Ankara                         : 0x222d
Antananarivo                   : 0x10ff
Antsiranana                    : 0xb5db
Arkhangelsk                    : 0x81dc
Ashgabat                       : 0xfdd3
Asmara                         : 0x3ead
Assab                          : 0x0e43
Astana                         : 0x389d
Athens                         : 0x38cf
Atlanta                        : 0xe641
Auckland                       : 0xbe8f
Austin                         : 0x3e1e
Baghdad                        : 0x8bf0
Baguio                         : 0x230f
Baku                           : 0x421c
Baltimore                      : 0x7015
Bamako                         : 0x20c7
Bangkok                        : 0x81f7
Bangui                         : 0x2019
Banjul                         : 0x20cc
Barcelona                      : 0xc020
Bata                           : 0x4274
Batumi                         : 0x27d9
Beijing                        : 0x959f
Beirut                         : 0x2494
Belgrade                       : 0x4927
Belize City                    : 0x1368
Benghazi                       : 0x47d3
Bergen                         : 0x235e
Berlin                         : 0x23de
Bilbao                         : 0x289f
Birao                          : 0x0bde
Bishkek                        : 0xbf1f
Bissau                         : 0x2e55
Blantyre                       : 0xe47f
Bloemfontein                   : 0xaa4a
Boise                          : 0x0bac
Bordeaux                       : 0x97be
Bosaso                         : 0x2927
Boston                         : 0x2806
Bouaké                         : 0xa105
Bratislava                     : 0x9f98
Brazzaville                    : 0x9f91
Bridgetown                     : 0xb770
Brisbane                       : 0x3d0e
Brussels                       : 0x4910
Bucharest                      : 0xff65
Budapest                       : 0x6fab
Bujumbura                      : 0x1274
Bulawayo                       : 0x4e18
Burnie                         : 0x33f5
Busan                          : 0x0ccf
Cabo San Lucas                 : 0x506e
Cairns                         : 0x24ff
Cairo                          : 0x0922
Calgary                        : 0x9331
Canberra                       : 0x408b
Cape Town                      : 0xb34a
Changsha                       : 0xe073
Charlotte                      : 0xfc3e
Chiang Mai                     : 0xd611
Chicago                        : 0xb373
Chihuahua                      : 0x0f7e
Chittagong                     : 0xfbc2
Chișinău                       : 0x8c9c
Chongqing                      : 0x6104
Christchurch                   : 0x3d2a
City of San Marino             : 0xff58
Colombo                        : 0xa9a7
Columbus                       : 0xbc85
Conakry                        : 0xa811
Copenhagen                     : 0xcbe7
Cotonou                        : 0xb1b9
Cracow                         : 0x34ef
Da Lat                         : 0x2964
Da Nang                        : 0xa51f
Dakar                          : 0x0e53
Dallas                         : 0x3863
Damascus                       : 0x8b14
Dampier                        : 0xe726
Dar es Salaam                  : 0xff36
Darwin                         : 0x3e6e
Denpasar                       : 0xd3c5
Denver                         : 0x3d52
Detroit                        : 0xeef0
Dhaka                          : 0x0c88
Dikson                         : 0x3076
Dili                           : 0x431c
Djibouti                       : 0x2e6a
Dodoma                         : 0x3471
Dolisie                        : 0xd9e1
Douala                         : 0x30d5
Dubai                          : 0x0bd8
Dublin                         : 0x2fde
Dunedin                        : 0xb19a
Durban                         : 0x2b1e
Dushanbe                       : 0xbe0f
Edinburgh                      : 0x049a
Edmonton                       : 0x9351
El Paso                        : 0x86e3
Entebbe                        : 0xd7dd
Erbil                          : 0x0b3d
Erzurum                        : 0xac89
Fairbanks                      : 0x3073
Fianarantsoa                   : 0xd25c
Flores,  Petén                 : 0xc791
Frankfurt                      : 0x0964
Fresno                         : 0x20f3
Fukuoka                        : 0x902d
Gaborone                       : 0x79ee
Gabès                          : 0x3e37
Gagnoa                         : 0x36a9
Gangtok                        : 0xd007
Garissa                        : 0xcf8d
Garoua                         : 0x3391
George Town                    : 0x0687
Ghanzi                         : 0x3e75
Gjoa Haven                     : 0x52e4
Guadalajara                    : 0x8cb7
Guangzhou                      : 0xc3c1
Guatemala City                 : 0x114b
Halifax                        : 0x208c
Hamburg                        : 0x222f
Hamilton                       : 0x85d2
Hanga Roa                      : 0x04ff
Hanoi                          : 0x0220
Harare                         : 0x0f69
Harbin                         : 0x0f3e
Hargeisa                       : 0xf43d
Hat Yai                        : 0x292d
Havana                         : 0x0e1d
Helsinki                       : 0xdb25
Heraklion                      : 0xc640
Hiroshima                      : 0xe744
Ho Chi Minh City               : 0x4df8
Hobart                         : 0x0578
Hong Kong                      : 0xdcee
Honiara                        : 0x1aa9
Honolulu                       : 0x6fd5
Houston                        : 0x0602
Ifrane                         : 0x0c19
Indianapolis                   : 0x08c4
Iqaluit                        : 0x7dd0
Irkutsk                        : 0x7df7
Istanbul                       : 0x8859
Jacksonville                   : 0xa36c
Jakarta                        : 0x0481
Jayapura                       : 0x5ab9
Jerusalem                      : 0x8d79
Johannesburg                   : 0xd987
Jos                            : 0x503a
Juba                           : 0x416c
Kabul                          : 0x018d
Kampala                        : 0x1791
Kandi                          : 0x010c
Kankan                         : 0x048e
Kano                           : 0x4052
Kansas City                    : 0x7bed
Karachi                        : 0x0ce9
Karonga                        : 0x0f8d
Kathmandu                      : 0x8745
Khartoum                       : 0xf909
Kingston                       : 0xc012
Kinshasa                       : 0xd3fd
Kolkata                        : 0x2831
Kuala Lumpur                   : 0x59d0
Kumasi                         : 0x10a1
Kunming                        : 0x435f
Kuopio                         : 0x115f
Kuwait City                    : 0x67a0
Kyiv                           : 0x41d7
Kyoto                          : 0x075a
La Ceiba                       : 0x9879
La Paz                         : 0x08aa
Lagos                          : 0x06aa
Lahore                         : 0x1909
Lake Havasu City               : 0x12d4
Lake Tekapo                    : 0x381f
Las Palmas de Gran Canaria     : 0x8e91
Las Vegas                      : 0xedc1
Launceston                     : 0x074c
Lhasa                          : 0x04e8
Libreville                     : 0x0b47
Lisbon                         : 0x1766
Livingstone                    : 0x0577
Ljubljana                      : 0x7c4c
Lodwar                         : 0x15d2
Lomé                           : 0x07e0
London                         : 0x1646
Los Angeles                    : 0x8130
Louisville                     : 0x2345
Luanda                         : 0x0f05
Lubumbashi                     : 0x4cb7
Lusaka                         : 0x0b49
Luxembourg City                : 0xecc5
Lviv                           : 0x40e7
Lyon                           : 0x4017
Madrid                         : 0x1fb4
Mahajanga                      : 0x645a
Makassar                       : 0xd247
Makurdi                        : 0x71c9
Malabo                         : 0x1ca3
Malé                           : 0x0570
Managua                        : 0x70d5
Manama                         : 0x1c11
Mandalay                       : 0xc63c
Mango                          : 0x0706
Manila                         : 0x1c95
Maputo                         : 0x1abb
Marrakesh                      : 0x8132
Marseille                      : 0x8153
Maun                           : 0x41bf
Medan                          : 0x06bf
Mek'ele                        : 0x7415
Melbourne                      : 0x29bb
Memphis                        : 0x6707
Mexicali                       : 0xd348
Mexico City                    : 0xab8d
Miami                          : 0x05d8
Milan                          : 0x053f
Milwaukee                      : 0x7204
Minneapolis                    : 0x6884
Minsk                          : 0x0552
Mogadishu                      : 0x19a1
Mombasa                        : 0x4b6d
Monaco                         : 0x1227
Moncton                        : 0x4902
Monterrey                      : 0xda49
Montreal                       : 0x3279
Moscow                         : 0x156f
Mumbai                         : 0x08d9
Murmansk                       : 0xff47
Muscat                         : 0x0f54
Mzuzu                          : 0x0018
N'Djamena                      : 0x00de
Naha                           : 0x4104
Nairobi                        : 0x43c1
Nakhon Ratchasima              : 0x9832
Napier                         : 0x1722
Napoli                         : 0x177d
Nashville                      : 0xee50
Nassau                         : 0x1655
Ndola                          : 0x0574
New Delhi                      : 0xbf4c
New Orleans                    : 0x1ac0
New York City                  : 0x7e58
Ngaoundéré                     : 0x9c91
Niamey                         : 0x1b29
Nicosia                        : 0x6f65
Niigata                        : 0x6631
Nouadhibou                     : 0xe1b1
Nouakchott                     : 0xd64c
Novosibirsk                    : 0x7aa5
Nuuk                           : 0x403a
Odesa                          : 0x04a8
Odienné                        : 0x0a84
Oklahoma City                  : 0xa45c
Omaha                          : 0x06c4
Oranjestad                     : 0x2364
Oslo                           : 0x407a
Ottawa                         : 0x07f9
Ouagadougou                    : 0x65f7
Ouahigouya                     : 0x4a16
Ouarzazate                     : 0xa427
Oulu                           : 0x4000
Palembang                      : 0x3355
Palermo                        : 0xa2ea
Palm Springs                   : 0xd9db
Palmerston North               : 0x74db
Panama City                    : 0x7259
Parakou                        : 0xbc68
Paris                          : 0x1be2
Perth                          : 0x1a8d
Petropavlovsk-Kamchatsky       : 0x52cc
Philadelphia                   : 0xa547
Phnom Penh                     : 0xa3e1
Phoenix                        : 0x842d
Pittsburgh                     : 0xa1f3
Podgorica                      : 0x3de4
Pointe-Noire                   : 0xf089
Pontianak                      : 0xd356
Port Moresby                   : 0x4795
Port Sudan                     : 0x5d8b
Port Vila                      : 0x57d9
Port-Gentil                    : 0xe58d
Portland {OR}                  : 0x1313
Porto                          : 0x180a
Prague                         : 0x78d5
Praia                          : 0x1e00
Pretoria                       : 0x8862
Pyongyang                      : 0x2393
Rabat                          : 0x18c5
Rangpur                        : 0x8037
Reggane                        : 0x985c
Reykjavík                      : 0x7e0e
Riga                           : 0x46b8
Riyadh                         : 0x6dfc
Rome                           : 0x46f4
Roseau                         : 0x6935
Rostov-on-Don                  : 0x96d6
Sacramento                     : 0x4379
Saint Petersburg               : 0xa406
Saint-Pierre                   : 0xa09c
Salt Lake City                 : 0x373e
San Antonio                    : 0x9169
San Diego                      : 0x2cfb
San Francisco                  : 0x4fbb
San Jose                       : 0x089f
San José                       : 0x204d
San Juan                       : 0x097c
San Salvador                   : 0x4fc0
Sana'a                         : 0x6539
Santo Domingo                  : 0x9514
Sapporo                        : 0x8a06
Sarajevo                       : 0x3121
Saskatoon                      : 0xf23a
Seattle                        : 0x8bc4
Seoul                          : 0x185d
Seville                        : 0x9a04
Shanghai                       : 0xe1eb
Singapore                      : 0x1346
Skopje                         : 0x6f59
Sochi                          : 0x1a6c
Sofia                          : 0x1a30
Sokoto                         : 0x6bdb
Split                          : 0x1d45
St. John's                     : 0x8f6a
St. Louis                      : 0x645e
Stockholm                      : 0x5f31
Surabaya                       : 0x7352
Suva                           : 0x477c
Suwałki                        : 0x40e2
Sydney                         : 0x7e59
Ségou                          : 0xf7ad
Tabora                         : 0x7b8d
Tabriz                         : 0x7a2a
Taipei                         : 0x78e9
Tallinn                        : 0xe117
Tamale                         : 0x78d1
Tamanrasset                    : 0x42f3
Tampa                          : 0x1e64
Tashkent                       : 0xfc1b
Tauranga                       : 0xfc1a
Tbilisi                        : 0xe864
Tegucigalpa                    : 0xfddd
Tehran                         : 0x7c9e
Tel Aviv                       : 0x83b5
Thessaloniki                   : 0x54fc
Thiès                          : 0x79f7
Tijuana                        : 0xc1d8
Timbuktu                       : 0x0912
Tirana                         : 0x771d
Toamasina                      : 0x4b94
Tokyo                          : 0x1dae
Toliara                        : 0xd8a8
Toluca                         : 0x77e9
Toronto                        : 0xc7ce
Tripoli                        : 0xaf78
Tromsø                         : 0xad95
Tucson                         : 0x6e76
Tunis                          : 0x1b22
Ulaanbaatar                    : 0x063d
Upington                       : 0xc014
Vaduz                          : 0x1cfb
Valencia                       : 0x0c32
Valletta                       : 0x06f6
Vancouver                      : 0x0dda
Veracruz                       : 0x3209
Vienna                         : 0x7a2d
Vientiane                      : 0x9493
Villahermosa                   : 0x7d9b
Vilnius                        : 0xe1e6
Virginia Beach                 : 0xf3c6
Vladivostok                    : 0x6cad
Warsaw                         : 0x7217
Washington, D.C.               : 0x9ed0
Wau                            : 0x51d4
Wellington                     : 0x4122
Whitehorse                     : 0xb534
Wichita                        : 0xff70
Willemstad                     : 0x771c
Winnipeg                       : 0xcff4
Wrocław                        : 0x52d5
Xi'an                          : 0x148f
Yakutsk                        : 0x31f6
Yangon                         : 0x4c76
Yaoundé                        : 0xd221
Yellowknife                    : 0x0acc
Yerevan                        : 0x3c9b
Yinchuan                       : 0x42fe
Zagreb                         : 0x4342
Zanzibar City                  : 0x7f92
Zürich                         : 0x5ea7
Ürümqi                         : 0x7610
İzmir                          : 0xecd0

Total station names:       413
Total unique hashes count: 413
'''