Also also agree, and using reweighted range voting gives the same answer.
(3-way tie for first seat among 1, 2, and 3 with two approvals vs. 4's
one; break tie by lots, the two who don't win are reweighted to have
one vote, the same as 4; break tie by lots; if 4 wins, final seat
decided by lot between remaining two candidates; if a candidate other
than 4 wins, final candidate out of 1,2,3 is reweighted to 2/3rds of a
vote, and 4 wins the final seat. Final result, no matter how the lots
are drawn: 4 and two candidates out of 1,2,3 are seated.)
Also: ugh, let's use letters instead of numbers for candidates; that
was confusing to type, reading it can't be better!