[6] Formal

70 109

87 109

126 115

86 112

75 109

154 109

72 113

242 110

700 111

67 113

129 111

82 108

74 109

78 109

89 111

80 111