pub const NAMES: &[&str] = &[
"Ada Lovelace",
"Alan Turing",
"Grace Hopper",
"John von Neumann",
"Dennis Ritchie",
"Ken Thompson",
"Linus Torvalds",
"Tim Berners-Lee",
"Vint Cerf",
"Donald Knuth",
"Margaret Hamilton",
"Edsger Dijkstra",
"Claude Shannon",
"John McCarthy",
"Marvin Minsky",
"Barbara Liskov",
"Tony Hoare",
"Edgar Codd",
"Jim Gray",
"Joan Feigenbaum",
"Shafi Goldwasser",
"Silvio Micali",
"Leslie Lamport",
"Butler Lampson",
"Doug Cutting",
"Jeff Dean",
"Andrew Ng",
"Geoffrey Hinton",
"Yann LeCun",
"Yoshua Bengio",
"Alan Kay",
"Adele Goldberg",
"Niklaus Wirth",
"Seymour Papert",
"Radia Perlman",
"Ron Rivest",
"Adi Shamir",
"Juris Hartmanis",
"Richard Hamming",
"John B. Goodenough",
"James Wilson",
"John Smith",
"Robert Brown",
"Michael Davis",
"William Taylor",
"David Anderson",
"Richard Thomas",
"Thomas Jackson",
"Joseph Williams",
"Charles Harris",
"George Martin",
"Edward Thompson",
"Henry Garcia",
"Oliver Martinez",
"Harry Robinson",
"Jack Clark",
"Jacob Rodriguez",
"Ethan Lewis",
"Alexander Lee",
"Daniel Walker",
"Matthew Hall",
"Andrew Allen",
"Ryan Young",
"Nicholas King",
"Samuel Wright",
"Benjamin Scott",
"Joshua Green",
"Luke Baker",
"Adam Adams",
"Nathan Nelson",
"Brandon Hill",
"Tyler Campbell",
"Justin Mitchell",
"Kevin Roberts",
"Brian Carter",
"Mark Phillips",
"Steven Evans",
"Paul Edwards",
"Jason Collins",
"Jeffrey Stewart",
"Eric Morris",
"Timothy Rogers",
"Stephen Reed",
"Patrick Cook",
"Sean Morgan",
"Connor Bell",
"Liam Murphy",
"Declan Kelly",
"Finn O'Brien",
"Cormac Murphy",
"Hans Mueller",
"Klaus Weber",
"Stefan Schmidt",
"Wolfgang Fischer",
"Fritz Hoffmann",
"Ulrich Schulz",
"Bernhard Becker",
"Heinrich Hartmann",
"Albrecht Koch",
"Wilhelm Richter",
"Ludwig Klein",
"Marcus Wolf",
"Julian Schroeder",
"Florian Becker",
"Sebastian Hartmann",
"Christian Wagner",
"Philip Becker",
"Dominic Frank",
"Matthias Schwarz",
"Pierre Martin",
"Jean Bernard",
"Claude Dubois",
"François Petit",
"André Moreau",
"Marie Laurent",
"Anne Girard",
"Sophie Laurent",
"Claire Dubois",
"Jeanne Martin",
"Michel Bernard",
"Louis Blanc",
"Philippe Martin",
"Antoine Rousseau",
"Laurent Blanc",
"Luc Meyer",
"Giovanni Rossi",
"Paolo Ferrari",
"Luigi Esposito",
"Antonio Russo",
"Matteo Romano",
"Marco Bianchi",
"Fabrizio Ricci",
"Stefano Colombo",
"Carlos Garcia",
"Alejandro Martinez",
"Miguel Rodriguez",
"José Fernández",
"Francisco Gómez",
"Sergio López",
"Eduardo González",
"Fernando Díaz",
"Ricardo Pérez",
"Luis Sánchez",
"Diego Ramírez",
"Pablo Torres",
"Ivan Petrov",
"Alexei Smirnov",
"Dmitri Ivanov",
"Mikhail Kozlov",
"Nikolai Pavlov",
"Vladimir Fedorov",
"Sergei Sergeyev",
"Andrei Volkov",
"Pavel Alexeev",
"Petr Maximov",
"Yuri Nazarov",
"Sasha Kirillov",
"Miroslav Horák",
"Ladislav Čermák",
"Stanislav Procházka",
"Wojciech Nowak",
"Tomasz Wojciechowski",
"Krzysztof Adamczyk",
"Piotr Maj",
"Jan Kowalski",
"Maciej Jabłoński",
"Jakub Witkowski",
"Wei Chen",
"Lin Wang",
"Chen Zhang",
"Wang Liu",
"Liu Yang",
"Zhang Huang",
"Yang Zhao",
"Huang Wu",
"Zhou Sun",
"Wu Ma",
"Sun Hu",
"Ma Guo",
"Hu He",
"He Gao",
"Gao Luo",
"Luo Cheng",
"Cheng Xu",
"Xu Zheng",
"Zheng Liang",
"Liang Shi",
"Shi Deng",
"Deng Feng",
"Raj Patel",
"Amit Sharma",
"Vikram Singh",
"Sanjay Kumar",
"Rajesh Gupta",
"Anil Verma",
"Deepak Reddy",
"Rahul Mehra",
"Saurabh Joshi",
"Arun Mishra",
"Priya Desai",
"Anita Chauhan",
"Meera Iyer",
"Kavita Rao",
"Sunita Kapur",
"David Cohen",
"Michael Levine",
"Daniel Schwartz",
"Aaron Katz",
"Ethan Friedman",
"Benjamin Stern",
"Jacob Levy",
"Ahmed Hassan",
"Muhammad Ali",
"Omar Malik",
"Hassan Aziz",
"Ali Khan",
"Karim Hussein",
"Tariq Ramadan",
"Rashid Mahmoud",
"Samir Khalil",
"Kamal Rashid",
"Nasir Mahmoud",
"Farid Nasser",
];