*********
Example 6
*********

------
Input:
------

profile with 8 voters and 4 candidates:
 1 x {a, b},
 1 x {a, b, c},
 1 x {a, b, d},
 2 x {a, c, d},
 1 x {b},
 1 x {c},
 1 x {d}

--------------------
Approval Voting (AV)
--------------------


Scores of candidates:
a: 5
b: 4
c: 4
d: 4

Candidates are contained in winning committees
if their score is >= 5.

The following candidates are contained in
every winning committee:
 a

1 winning committee:
 {a}

------------------------------------------------------------
Reverse Sequential Proportional Approval Voting (revseq-PAV)
------------------------------------------------------------


full committee (4 candidates) has a total score of 71/6

removing candidate number 1: a
 score decreases by 11/6 to a total of 10

removing candidate number 2: d
 score decreases by 5/2 to a total of 15/2

removing candidate number 3: c
 score decreases by 7/2 to a total of 4

1 winning committee:
 {b}

PAV-score of winning committee: 4

