CREATE TABLE repair_assignment (technician_id DECIMAL, repair_id DECIMAL, machine_id DECIMAL)
CREATE TABLE machine (machine_id DECIMAL, making_year DECIMAL, class TEXT, team TEXT, machine_series TEXT, value_points DECIMAL, quality_rank DECIMAL)
CREATE TABLE technician (technician_id DECIMAL, name TEXT, team TEXT, starting_year DECIMAL, age DECIMAL)
CREATE TABLE repair (repair_id DECIMAL, name TEXT, launch_date TEXT, notes TEXT)

List the names of technicians who have not been assigned to repair machines.
SELECT name FROM technician WHERE NOT technician_id IN (SELECT technician_id FROM repair_assignment)
SELECT "name" FROM "technician" WHERE NOT "technician_id" IN (SELECT "technician_id" FROM "repair_assignment")