Explicit widths — px, %, auto mixed in a 600px table

Expected: column 1 is 100px (orange), column 2 is 25% of 600px = 150px (green), columns 3 and 4 share the rest. Second table: the explicit width sits on a second-row cell (purple, 320px) — it must still win the column width (320px is deliberately not the equal share, so a failure is visible).

100px25%autoauto
xxxx

autoautoauto
320px on row 2xx