I took the index from the words, transformed the range to binary, included 3 zeros, calculated the sha256 digest, took the main Portion of the hexadecimal to transform it to binary, added 3 zeros to the 8 digits on the binary and got 00000010011 which interprets to 19 in decimal. https://bookmarkmiracle.com/story20697539/how-much-you-need-to-expect-you-ll-pay-for-a-good-bip39-definition