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)
CREATE TABLE machine (machine_id DECIMAL, making_year DECIMAL, class TEXT, team TEXT, machine_series TEXT, value_points DECIMAL, quality_rank DECIMAL)
CREATE TABLE repair_assignment (technician_id DECIMAL, repair_id DECIMAL, machine_id DECIMAL)

What are the names of the technicians and how many machines are they assigned to repair?
SELECT T2.name, COUNT(*) FROM repair_assignment AS T1 JOIN technician AS T2 ON T1.technician_id = T2.technician_id GROUP BY T2.name
SELECT "T2"."name", COUNT(*) FROM "repair_assignment" AS "T1" JOIN "technician" AS "T2" ON "T1"."technician_id" = "T2"."technician_id" GROUP BY "T2"."name"