2<sup>12</sup> <    1ABCH    < 2<sup>13</sup>
1   < 1ABCH / 2<sup>12</sup> < 2