New Syracuse step-11 certificate classes, chunk 1
DefinitionsyracuseSevenMod32New26Step11Chunk01Classes2-adiccertificate-setcollatznumber-theorysyracuse
Chunk 1 of 1 of the newly certifiable residue classes modulo with accelerated Syracuse descent time and total stripped exponent . This chunk contains 194 exact residue representatives and is kept moderate in size for reusable Lean compilation.
Definition code
import Mathlib.Data.Finset.Insert
set_option maxRecDepth 200000
def syracuseSevenMod32New26Step11Chunk01Classes : Finset ℕ := {
27463, 62695, 430919, 1019623, 1387847, 1423079, 1742055, 1756071, 1791303, 2110279, 2220519,
2588743, 3041447, 3102439, 3224423, 3470663, 3740391, 4108615, 4476839, 4880295, 4903783,
5100775, 5468999, 5579239, 5823207, 5947463, 6191431, 6339175, 6461159, 6559655, 6829383,
8262503, 9059943, 9622887, 9697895, 9918375, 10420327, 10617319, 10983271, 10985543, 11119271,
11302247, 12418663, 12479655, 12662631, 13141095, 13521063, 13779047, 14477991, 14660967,
14735975, 15200423, 15838375, 16021351, 16499815, 17456743, 17860199, 18559143, 18817127,
19220583, 19516071, 19539559, 20055527, 20423751, 20876455, 20899943, 21537895, 22776295,
22898279, 23144519, 23414247, 23620711, 23782471, 24099175, 24258663, 24699623, 25067847,
25140583, 25459559, 26135015, 26378983, 26500967, 26503239, 26747207, 26819943, 27457895,
28452327, 28818279, 28820551, 28954279, 29737703, 30105927, 30178663, 31173095, 31541319,
31576551, 31675047, 31944775, 32312999, 32495975, 33035431, 33255911, 33624135, 33856359,
35033767, 35756199, 35939175, 36394151, 36614631, 36982855, 37351079, 37815527, 38183751,
39114919, 39175911, 39544135, 40071847, 40217319, 40475303, 40585543, 41174247, 41432231,
41542471, 41835687, 41896679, 42154663, 42264903, 42497127, 42534631, 42633127, 42902855,
43515047, 43698023, 44152999, 44176487, 44654951, 45255399, 45513383, 45623623, 45991847,
46212327, 46235815, 46580551, 46873767, 47375719, 47535207, 47572711, 47940935, 48013671,
50734439, 51029927, 53051751, 53455207, 54815591, 55134567, 55613031, 55650535, 55772519,
56018759, 56494951, 56973415, 57855335, 58014823, 58371303, 58493287, 58739527, 58971751,
59009255, 59377479, 59694183, 59731687, 59853671, 60099911, 60332135, 60468135, 61730023,
62098247, 62452455, 62820679, 63052903, 63090407, 63188903, 63458631, 63826855, 64009831,
64047335, 64415559, 65112231, 65370215, 65811175, 66179399, 66547623, 66768103, 66791591
}Source
Exact refinement of the seven-mod-32 Syracuse residual tree at modulus 2^26, using Terras uniformity.