I hope this is a good definition of phat

7 10

23 40

42 45

33 43

41 11

31 44

21 10

87 44

9 1

17 10

53 48

143 41

13 10

15 40

16 40

8 20