We saw that Blueprogram{#12} is the function 2N; therefore, Bluediag[12] must
have the value 1+2*12, or 25.  Likewise, Bluediag[5000] would have the value
125,000,000,001, since that is 1 more than the cube of 5000.  Similarly, you
can find Bluediag of any particular argument you wish.