ordine(1,10).
ordine(2,15).
ordine(3,12).
ordine(4,8).
ordine(5,13).
ordine(6,5).
ordine(7,10).
ordine(8,3).
ordine(9,6).
ordine(10,4).
ordine(11,7).
ordine(12,14).
ordine(13,8).
ordine(14,15).

precedenza(1,5).
precedenza(5,3).
precedenza(7,4).
precedenza(5,10).
precedenza(13,14).

endtime(20).

