(*1, 3)
€ 15(*1,4, 10)
€ 15(*1, 3, 7)
€ 14(*1, 7)
€ 15(*1, 7)
€ 14(*1, 3, 4, 7, 8, 9, 10, 11)
€ 15(*1, 3, 7)
€ 15(*1, 3)
€ 18(*1, 3)
€ 10(*1, 7)
€ 15(*1, 3, 7)
€ 15(*1, 9)
€ 10(*4)
€ 18(*10)
€ 20(*3)
€ 15(*7)
€ 15(*1, 7)
€ 6(*1, 3, 7)
€ 6(*1, 3, 7, 8)
€ 6(*3, 7)
€ 6(*7)
€ 6(*1, 3, 7, 8)
€ 6