We checked with someone knowledgeable in chemistry. Those are paired electron dots, so you would use 1456. Look at example 4.1.5-2 in the Chemistry Code book. It appears very similar to the example you attached.