public static BigInteger getPrimeUsedFor8192bigSecretPayload()
    {
        // 2018: It took 6 seconds to check using alpertron.com.ar/ECM.HTM "WebAssembly version".
        //       (comparison: the 4096 prime, below, took 1 second)
        //
        // This number is 2470 digits long
        BigInteger p8192one =
                new BigInteger(
                        "279231522718570477942523966651848412786" +
                        "755625471035569262549193264568660953374" +
                        "539575363644038451708729333066699816198" +
                        "469916126929965359120284410819859854028" +
                        "564200012503601405321884115258380340520" +
                        "882394013079459378373602954907987087391" +
                        "050381798882893060582464649164778803202" +
                        "580377606793174221031756238305523801728" +
                        "417330041767401217359965327363800941065" +
                        "035149118936045803200708786247512086542" +
                        "238084017753586024109523236048614557723" +
                        "115585648257171971411582352854028094056" +
                        "289905359934753668545924906214201949630" +
                        "392942663006227207072738059572864458946" +
                        "995442098987135298017199066044684799206" +
                        "646046852007692829583685501822083927579" +
                        "071735457164040393298305467092078136746" +
                        "232403045411490624416360836139009389471" +
                        "599615055083953010222383976037199530343" +
                        "650749295317216621610856318814974339038" +
                        "401628152419869957586845887861406968283" +
                        "393603484693172919144488209043235143942" +
                        "917711597456617030850345093344845985897" +
                        "228637329601259767634683509551299437410" +
                        "250309746800132742906307824914615196564" +
                        "591280851829591037942122046141801113374" +
                        "061071502459843521616519068508840608866" +
                        "142367016446371333344905644939606218218" +
                        "417724015092650576657942326665080385451" +
                        "599873057465726933634139504551380207635" +
                        "732730508948201719784282311694063519119" +
                        "639243736364276253689069434848647101071" +
                        "362100254351086081223103674307034576258" +
                        "686423188956569254966171125838939239921" +
                        "106224566793694393912187263674266535325" +
                        "772507180754537736572272329042950336363" +
                        "370798851143956021690701705567437971039" +
                        "256378548127430749169994462670402156122" +
                        "918017938186142563187105245902896325033" +
                        "680839207188324653847844773975235005076" +
                        "945808128766572234433268495689937486958" +
                        "100390065467437864644075017104695336221" +
                        "543165982790695835615515631994231511431" +
                        "260924853427059238919995356824115989937" +
                        "622769832207704636596283910866202357492" +
                        "467506454291595823775435851401331614913" +
                        "666393860839942086098314120390709421306" +
                        "518971383380559076685994283375663380057" +
                        "764241494257799693167997775692501598019" +
                        "901080423655494004717753331078458159262" +
                        "055518170817180281440517060614547611105" +
                        "545747781301175793208826135138672277976" +
                        "088445981721562249959417511860209657110" +
                        "039278232822620356487671024234137135540" +
                        "726721167743323091920287701321960015105" +
                        "097732434284751017974443861383170363586" +
                        "137823503261214393288044057973810845631" +
                        "331034904805398832430192982926982354654" +
                        "090524982435531180945318487132920328174" +
                        "085989844087121548092990523399171888560" +
                        "553067218681856208752028326977093161880" +
                        "486624111065893663542842180250983316936" +
                        "056087246483576051350441471279745450361" +
                        "783242982069");

        String bigintcs =
                "bigintcs:010000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "000000-000000-000000-000000-000000-000000-000000-" +
                "0002b5-1E18FD";

        // Compare the values of both strings before returning a value.
        // This guards against accidental changes to the strings
        return checkAndReturn("8192bit prime", p8192one, bigintcs);

    }
public static BigInteger getPrimeUsedFor8192bigSecretPayload ( ) { BigInteger p8192one = new BigInteger ( "279231522718570477942523966651848412786" + "755625471035569262549193264568660953374" + "539575363644038451708729333066699816198" + "469916126929965359120284410819859854028" + "564200012503601405321884115258380340520" + "882394013079459378373602954907987087391" + "050381798882893060582464649164778803202" + "580377606793174221031756238305523801728" + "417330041767401217359965327363800941065" + "035149118936045803200708786247512086542" + "238084017753586024109523236048614557723" + "115585648257171971411582352854028094056" + "289905359934753668545924906214201949630" + "392942663006227207072738059572864458946" + "995442098987135298017199066044684799206" + "646046852007692829583685501822083927579" + "071735457164040393298305467092078136746" + "232403045411490624416360836139009389471" + "599615055083953010222383976037199530343" + "650749295317216621610856318814974339038" + "401628152419869957586845887861406968283" + "393603484693172919144488209043235143942" + "917711597456617030850345093344845985897" + "228637329601259767634683509551299437410" + "250309746800132742906307824914615196564" + "591280851829591037942122046141801113374" + "061071502459843521616519068508840608866" + "142367016446371333344905644939606218218" + "417724015092650576657942326665080385451" + "599873057465726933634139504551380207635" + "732730508948201719784282311694063519119" + "639243736364276253689069434848647101071" + "362100254351086081223103674307034576258" + "686423188956569254966171125838939239921" + "106224566793694393912187263674266535325" + "772507180754537736572272329042950336363" + "370798851143956021690701705567437971039" + "256378548127430749169994462670402156122" + "918017938186142563187105245902896325033" + "680839207188324653847844773975235005076" + "945808128766572234433268495689937486958" + "100390065467437864644075017104695336221" + "543165982790695835615515631994231511431" + "260924853427059238919995356824115989937" + "622769832207704636596283910866202357492" + "467506454291595823775435851401331614913" + "666393860839942086098314120390709421306" + "518971383380559076685994283375663380057" + "764241494257799693167997775692501598019" + "901080423655494004717753331078458159262" + "055518170817180281440517060614547611105" + "545747781301175793208826135138672277976" + "088445981721562249959417511860209657110" + "039278232822620356487671024234137135540" + "726721167743323091920287701321960015105" + "097732434284751017974443861383170363586" + "137823503261214393288044057973810845631" + "331034904805398832430192982926982354654" + "090524982435531180945318487132920328174" + "085989844087121548092990523399171888560" + "553067218681856208752028326977093161880" + "486624111065893663542842180250983316936" + "056087246483576051350441471279745450361" + "783242982069" ) ; String bigintcs = "bigintcs:010000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "000000-000000-000000-000000-000000-000000-000000-" + "0002b5-1E18FD" ; return checkAndReturn ( "8192bit prime" , p8192one , bigintcs ) ; }
All primes were tested with 100,000 iterations of Miller-Rabin