Title: Formal Algorithm for Routing Traces on a Printed Circuit Board