Ticket75

data a :- b

f