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

	input.onButtonPressed(Button.A, function () {
	angle = 110
	// quick label
	basic.showString("L")
	pins.servoWritePin(AnalogPin.P0, angle)
	basic.pause(200)
	})
	input.onButtonPressed(Button.B, function () {
	angle = 0
	basic.showString("R")

	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)