David Curran cavedave

lyric	subject	date	subject2	birth_year	death_year	category
"Harry Truman"	Harry S. Truman	November 2, 1948	Harry S. Truman	1884.0	1972.0	Politics
"Doris Day"	Doris Day	June 25, 1948	Doris Day	1922.0	2019.0	Entertainment
"Red China"	Proclamation of the People's Republic of China	October 1, 1949
"Johnnie Ray"	Johnnie Ray	1949	Johnnie Ray	1927.0	1990.0	Entertainment
"South Pacific"	South Pacific (musical)	April 7, 1949
"Walter Winchell"	Walter Winchell	1950	Walter Winchell	1897.0	1972.0	Other
"Joe DiMaggio"	Joe DiMaggio	February 7, 1949	Joe DiMaggio	1914.0	1999.0	Sports
"Joe McCarthy"	Joseph McCarthy	February 9, 1950	Joe McCarthy	1908.0	1957.0	Politics
"Richard Nixon"	Richard Nixon	November 7, 1950	Richard Nixon	1913.0	1994.0	Politics

Start year	End year	Number of days of Pontificate (max)	English name	Place of birth	Age at start of papacy	Age at end of papacy	Country	Country_clean
2025			Leo XIV	Chicago	69		Chicago	USA
2013	2025.0	4422	Francis I	Buenos Aires	76	88	Buenos Aires	Argentina
2005	2013.0	2870	Benedict XVI	Marktl am Inn, Bavaria, Germany	78	85	Germany	Germany
1978	2005.0	9658	John Paul II	Wadowice, Poland	58	84	Poland	Poland
1978	1978.0	33	John Paul I	Forno di Canale, Veneto, Italy	65	65	Italy	Italy
1963	1978.0	5521	Paul VI	Concesio, Brescia, Italy	65	80	Italy	Italy
1958	1963.0	1678	John XXIII	Sotto il Monte, Bergamo, Italy	76	81	Italy	Italy
1939	1958.0	7156	Pius XII	Rome, Italy	63	82	Italy	Italy
1922	1939.0	6209	Pius XI	Desio, Lombardy-Venetia, Austrian Empire	64	81	Austrian Empire	Italy

lang	iso	word	translation	meaning_group	color	source
Spanish	spa	murciélago	little blind mouse	blind_mouse	lightblue	https://en.wiktionary.org/wiki/murciélago
Portuguese	por	morcego	little blind mouse	blind_mouse	lightblue	https://en.wiktionary.org/wiki/morcego
Catalan	cat	ratpenat	winged rat	winged_rat	yellow	https://en.wiktionary.org/wiki/ratpenat
Galician	glg	morcego	little blind mouse	blind_mouse	lightblue	https://en.wiktionary.org/wiki/morcego#Galician
Basque	eus	saguzar	old mouse	old_mouse	skyblue	https://en.wiktionary.org/wiki/saguzar
French	fra	chauve-souris	bald mouse	bald_mouse	skyblue	https://en.wiktionary.org/wiki/chauve-souris
Italian	ita	pipistrello	evening creature	evening_creature	orange	https://en.wiktionary.org/wiki/pipistrello
Romansh	roh	utschè mezmiur		unknown	grey	https://en.wiktionary.org/wiki/utschè_mezmiur
German	deu	Fledermaus	flutter mouse	flutter_mouse	lemonchiffon	https://en.wiktionary.org/wiki/Fledermaus

	from z3 import *
	from itertools import combinations

	# === Parameters ===
	N = 4 # Board size
	solver = Solver()

	# === Helper functions ===
	def z3_abs(x):
	return If(x >= 0, x, -x)

	#
	# Python script to create USA flag using turtle.
	# Author - https://www.pythoncircle.com
	# Original Author - https://www.codesters.com/preview/6fe8df0ccc45b1460ab24e5553497c5684987fb5/

	import turtle
	import time
	from PIL import Image
	import math


	import requests
	import pandas as pd

	def download_data(url, filename):
	"""Downloads data from a given URL and saves it as a CSV file.

	Args:
	url: The URL of the data to download.
	filename: The name of the CSV file to save the data to.