Since this got buried with veri(f)ication before

44 43

17 10

14 10

29 40

12 10

15 40

19 40

27 42

8 20

23 10

26 10

34 41

12 10

8 11

78 45

48 43