51: def 1
52: def 2
53: prop 1
54: prop 2
55: prop 3
56: prop 4
57: prop 4
58: prop 5
59: prop 5
60: prop 6
61: prop 7
62: prop 8
63: prop 9
64: prop 10
65: prop 10
66: prop 11
67: prop 12
68: prop 13
69: prop 13
70: prop 14