n_names = 11;
n_prefs = 20;
prefs = array2d(1..n_prefs, 0..1,
        [| 0,2 | 0,4 | 0,7 | 1,4 | 1,8 | 2,3 | 2,4 | 3,0 | 3,4 | 3,9 |
           4,5 | 4,0 | 5,0 | 5,8 | 6,2 | 6,7 | 7,8 | 7,6 | 8,9 | 9,10|]);