michael@0: Probable primes (sorted by number of significant bits)
michael@0: 
michael@0:  128: 81386202757205669562183851789305348631
michael@0: 
michael@0:  128: 180241813863264101444573802809858694397
michael@0: 
michael@0:  128: 245274683055224433281596312431122059021
michael@0: 
michael@0:  128: 187522309397665259809392608791686659539
michael@0: 
michael@0:  256: 83252422946206411852330647237287722547866360773229941071371588246436\
michael@0:       513990159
michael@0: 
michael@0:  256: 79132571131322331023736933767063051273085304521895229780914612117520\
michael@0:       058517909
michael@0: 
michael@0:  256: 72081815425552909748220041100909735706208853818662000557743644603407\
michael@0:       965465527
michael@0: 
michael@0:  256: 87504602391905701494845474079163412737334477797316409702279059573654\
michael@0:       274811271
michael@0: 
michael@0:  512: 12233064210800062190450937494718705259777386009095453001870729392786\
michael@0:       63450255179083524798507997690270500580265258111668148238355016411719\
michael@0:       9168737693316468563
michael@0: 
michael@0:  512: 12003639081420725322369909586347545220275253633035565716386136197501\
michael@0:       88208318984400479275215620499883521216480724155582768193682335576385\
michael@0:       2069481074929084063
michael@0: 
michael@0: 1024: 16467877625718912296741904171202513097057724053648819680815842057593\
michael@0:       20371835940722471475475803725455063836431454757000451907612224427007\
michael@0:       63984592414360595161051906727075047683803534852982766542661204179549\
michael@0:       77327573530800542562611753617736693359790119074768292178493884576587\
michael@0:       0230450429880021317876149636714743053
michael@0: 
michael@0: 1024: 16602953991090311275234291158294516471009930684624948451178742895360\
michael@0:       86073703307475884280944414508444679430090561246728195735962931545473\
michael@0:       40743240318558456247740186704660778277799687988031119436541068736925\
michael@0:       20563780233711166724859277827382391527748470939542560819625727876091\
michael@0:       5372193745283891895989104479029844957