this might not be the right forum but i had a question about the calculation below:

a(n) is the smallest number such that twice the number of divisors of (a(n)-n)/3 gives the n-th term in the first differences of the sequence produced by the Flavius-Josephus sieve

a(8)=200 because the 8th term in A056526 is 14. Half of that is 7. The smallest number with seven divisors is 64 and 64*3 + 8 = 200.

does the formula in bold have anything to do with the one in italics? i can work the formula in italics and get the proper answer but i don't understand how it relates to the formula given in bold and i don't understand where it states to find the smallest number with x divisors and then multiply by 3 and add a.

i can provide more information if the above is not enough. i'm just trying to understand why this works - i know it works but i don't know why.