[2] Formal ready

102 112

243 110

65 111

80 113

67 109

133 111

64 110

233 111

100 114

66 111

117 111

59 109

61 115

113 113

160 111

70 111