(* First row of U part *)
DEF U1k AS 1;

