{
  "document_id": "fresh-arxiv-1599094",
  "source_sha256": "3f0f749365b45fbd1d9c3e2b1403c5416db6eae6d607388eb54cb3e3bf5bb327",
  "kind": "ku",
  "status": "generated",
  "result": {
    "schema_version": "1.0",
    "title": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
    "abstract_sha256": "",
    "mode": "sequential",
    "model": "trained",
    "config": {
      "mode": "sequential",
      "chunk_words": 500,
      "context_words": 0,
      "previous_units": 10,
      "canonicalize": false,
      "minhash_permutations": 16,
      "canonicalization_max_tokens": 4096,
      "parse_retries": 0
    },
    "knowledge_units": [
      {
        "chunk_index": 0,
        "context_summary": "The text defines p-adic valuations and metrics, specifically focusing on the 2-adic valuation of factorials and binomial coefficients. It introduces the field of p-adic numbers and the ring of p-adic integers as completions of the rationals. The authors establish the foundation for analyzing the 2-adic valuation of Stirling numbers of the second kind.",
        "entities": [
          {
            "name": "Tewodros Amdeberhan",
            "entity_id": "tewodros_amdeberhan",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "authored",
                "target": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Dante V Manna",
            "entity_id": "dante_v_manna",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "authored",
                "target": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Victor H Moll",
            "entity_id": "victor_h_moll",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "authored",
                "target": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
            "entity_id": "the_2_adic_valuation_of_stirling_numbers",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuations of Stirling numbers of the second kind"
            },
            "relationships": []
          },
          {
            "name": "p-adic valuation",
            "entity_id": "p_adic_valuation",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "symbol": "ν_p(m)",
              "definition": "highest power of p that divides m"
            },
            "relationships": [
              {
                "predicate": "defined_for",
                "target": "positive integer m",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "requires",
                "target": "prime p",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "extended_to",
                "target": "rational numbers Q",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Legendre's identity",
            "entity_id": "legendre_s_identity",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "formula": "ν_p(m!) = (m - s_p(m)) / (p - 1)",
              "s_p(m)": "sum of base p digits of m"
            },
            "relationships": [
              {
                "predicate": "special_case_for_p_2",
                "target": "ν_2(m!) = m - s_2(m)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "proves",
                "target": "Kummer's identity",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Kummer's identity",
            "entity_id": "kummer_s_identity",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "formula": "ν_2(m choose k) = s_2(k) + s_2(m-k) - s_2(m)"
            },
            "relationships": [
              {
                "predicate": "proven_by",
                "target": "Legendre's identity",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "p-adic metric",
            "entity_id": "p_adic_metric",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "formula": "|r|_p = p^(-ν_p(r))",
              "property": "satisfies ultrametric inequality"
            },
            "relationships": [
              {
                "predicate": "defined_on",
                "target": "rational numbers Q",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "p-adic numbers",
            "entity_id": "p_adic_numbers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "symbol": "Q_p",
              "definition": "completion of Q under p-adic metric"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "ring of p-adic integers",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ring of p-adic integers",
            "entity_id": "ring_of_p_adic_integers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "symbol": "Z_p",
              "definition": "{x ∈ Q_p : |x|_p ≤ 1}"
            },
            "relationships": [
              {
                "predicate": "analogous_to",
                "target": "integers Z inside Q_p",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 0,
          "start_word": 0,
          "end_word": 463,
          "word_count": 463,
          "sha256": "c35c92e822cd250557259c581851ba10ffdafb280f6d76455dc8c45b987b38e6",
          "sentence_minhash": [
            84989070151237717,
            232593725413697090,
            132898077708225042,
            139222975235943620,
            148925132169520149,
            191301892190423406,
            278146122074282937,
            34584616103928807,
            168666786016392573,
            462224056308245964,
            78280491562202942,
            171596837418463449,
            12488864069851856,
            58558631451210278,
            303264414993015767,
            658790404649858
          ]
        },
        "extraction_warnings": []
      },
      {
        "chunk_index": 1,
        "context_summary": "The text introduces the 2-adic valuation of coefficients derived from a specific definite integral and cites results on polylogarithmic series sums. It defines Stirling numbers of the second kind and presents a conjecture regarding their 2-adic valuation. The authors describe an algorithm for determining this valuation and provide visual evidence of its complexity.",
        "entities": [
          {
            "name": "b_{l,m}",
            "entity_id": "b_l_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "m ∑_{k=l}^m 2^k 2^{2m-2k} m^{-k} m^{k-l} m^{k-l}",
              "constraints": "m ∈ N, 0 ≤ l ≤ m",
              "model_entity_type": "sequence"
            },
            "relationships": [
              {
                "predicate": "appears_in",
                "target": "definite integral (1.8)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "related_to",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "definite integral (1.8)",
            "entity_id": "definite_integral_1_8",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "∑_{0,4}(a;m) = ∛_{0}^∞ dx (x^4 + 2ax^2 + 1)^{m+1}",
              "model_entity_type": "mathematical_expression"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "b_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "A_{l,m}",
            "entity_id": "a_l_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "l! m! 2^{m-l} b_{l,m}",
              "decomposition": "A_{l,m} = α_l(m) ∑_{k=1}^m (4k-1) - β_l(m) ∑_{k=1}^m (4k+1)",
              "model_entity_type": "coefficient"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation",
                "target": "3l - s_2(m+l) + s_2(m-l)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "uses_polynomials",
                "target": "alpha_l, beta_l",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "alpha_l, beta_l",
            "entity_id": "alpha_l_beta_l",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "coefficients": "integer",
              "degree_alpha": "l",
              "degree_beta": "l-1",
              "model_entity_type": "polynomial"
            },
            "relationships": [
              {
                "predicate": "defines",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "J. Little",
            "entity_id": "j_little",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "established",
                "target": "Corollary 1.3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Corollary 1.3",
            "entity_id": "corollary_1_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "ν_2(A_{l,m}) = 3l - s_2(m+l) + s_2(m-l)",
              "model_entity_type": "mathematical_result"
            },
            "relationships": [
              {
                "predicate": "describes_valuation_of",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "H. Cohen",
            "entity_id": "h_cohen",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "proved_results_on",
                "target": "partial sums of polylogarithmic series",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "polylogarithmic series (1.16)",
            "entity_id": "polylogarithmic_series_1_16",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "Li_k(x) := ∛_{j=1}^∞ x^j / j^k",
              "model_entity_type": "mathematical_series"
            },
            "relationships": [
              {
                "predicate": "summed_by",
                "target": "L_k(n)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "L_k(n)",
            "entity_id": "l_k_n",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "L_k(n) := ∑_{j=1}^n (2^j / j)^k",
              "model_entity_type": "mathematical_sum"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation_for_L1",
                "target": "2m + 2m - 4",
                "attributes": {
                  "condition": "m ≥ 4, n=2m"
                },
                "target_id": null
              },
              {
                "predicate": "has_2_adic_valuation_for_L2",
                "target": "2m + m - 1",
                "attributes": {
                  "condition": "m ≥ 4, n=2m"
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(n, k)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "number of ways to partition a set of n elements into exactly k nonempty subsets",
              "constraints": "n ∈ N, 0 ≤ k ≤ n",
              "model_entity_type": "mathematical_concept"
            },
            "relationships": [
              {
                "predicate": "analyzed_for",
                "target": "2-adic valuation",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "description": "description of the function ν_2(S(n, k))",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "established_for_case",
                "target": "k = 5",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "visualized_for_cases",
                "target": "k = 75, k = 126",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{2^m i + j : for i ∈ N such that 2^m i + j ≥ k}",
              "model_entity_type": "set"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 1,
          "start_word": 463,
          "end_word": 950,
          "word_count": 487,
          "sha256": "b044b78580005b2faa3551cfb25dbb62894399910f46864a90d4b6808bcbfc1d",
          "sentence_minhash": [
            167200217492106239,
            1306423125707224,
            151260943597763167,
            53442166147602330,
            148925132169520149,
            139865850146007968,
            149017575652778032,
            141533163731829282,
            21579496338166870,
            76931577636070685,
            78280491562202942,
            565084831203707131,
            51125582506972287,
            58558631451210278,
            303264414993015767,
            200787641028370587
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'sequence' for 'b_{l,m}'",
          "normalized unsupported entity type 'mathematical_expression' for 'definite integral (1.8)'",
          "normalized unsupported entity type 'coefficient' for 'A_{l,m}'",
          "normalized unsupported entity type 'polynomial' for 'alpha_l, beta_l'",
          "normalized unsupported entity type 'mathematical_result' for 'Corollary 1.3'",
          "normalized unsupported entity type 'mathematical_series' for 'polylogarithmic series (1.16)'",
          "normalized unsupported entity type 'mathematical_sum' for 'L_k(n)'",
          "normalized unsupported entity type 'mathematical_concept' for 'Stirling numbers of the second kind S(n, k)'",
          "normalized unsupported entity type 'mathematical_conjecture' for 'Main conjecture'",
          "normalized unsupported entity type 'set' for 'C_{m,j}'"
        ]
      },
      {
        "chunk_index": 2,
        "context_summary": "The text defines the classes C_{m,j} as a partition of integers greater than or equal to k into classes modulo 2^m. It introduces the concept of constant classes where the 2-adic valuation of Stirling numbers is invariant, and defines the m-level structure. The main hypothesis states that the initial constant classes appear on the m_0-1 level, and that subsequent levels have a constant number of classes. ",
        "entities": [
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{2^m i + j : i >= 0}",
              "partition_of": "{n in N : n >= k}",
              "modulus": "2^m",
              "model_entity_type": "set"
            },
            "relationships": [
              {
                "predicate": "defines_valuation_sequence",
                "target": "v_2(C_{m,j})",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "v_2(C_{m,j})",
            "entity_id": "v_2_c_m_j",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{v_2(S(2^m i + j, k)) : i in N and 2^m i + j >= k}",
              "model_entity_type": "sequence"
            },
            "relationships": [
              {
                "predicate": "depends_on",
                "target": "Stirling numbers of the second kind S(n, k)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "constant class",
            "entity_id": "constant_class",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "condition": "v_2(C_{m,j}) consists of a single value",
              "constant_value_name": "constant of the class C_{m,j}"
            },
            "relationships": [
              {
                "predicate": "example_of",
                "target": "C_{2,1}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "example_of",
                "target": "C_{2,2}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "m-level",
            "entity_id": "m_level",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "base_case": "1-level consists of C_{1,0} and C_{1,1}",
              "inductive_step": "Each class C_{m-1,j} splits into two classes modulo 2^m",
              "model_entity_type": "structure"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "classes C_{m,j}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Conjecture 1.5",
            "entity_id": "conjecture_1_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "m_0_definition": "2^{m_0-1} < k <= 2^{m_0}",
              "first_constant_level": "m_0-1",
              "classes_per_level_for_m_ge_m_0": "2^{m_0-2}",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "predicts_first_constant_level",
                "target": "m_0-1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "predicts_constant_class_count",
                "target": "2^{m_0-2}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "S(n, 11)",
            "entity_id": "s_n_11",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "k_value": 11,
              "m_0_value": 4,
              "model_entity_type": "Stirling number"
            },
            "relationships": [
              {
                "predicate": "first_constant_level_prediction",
                "target": "3-level",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "classes_per_level_prediction",
                "target": "4",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 2,
          "start_word": 950,
          "end_word": 1433,
          "word_count": 483,
          "sha256": "5c34c5f8eeb9668334091afa9e3626c620a7bed48e80e97edfd7e2a7fa4e1a92",
          "sentence_minhash": [
            315931021563575867,
            1306423125707224,
            23103724853578534,
            141557533923110381,
            146627570953161212,
            428209587723997907,
            627545230825494436,
            152326886699586849,
            228439795799410229,
            76931577636070685,
            78280491562202942,
            139309872259060027,
            164575269931903557,
            906306679132868,
            303264414993015767,
            69242845566341429
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'set' for 'C_{m,j}'",
          "normalized unsupported entity type 'sequence' for 'v_2(C_{m,j})'",
          "normalized unsupported entity type 'structure' for 'm-level'",
          "normalized unsupported entity type 'conjecture' for 'Conjecture 1.5'",
          "normalized unsupported entity type 'Stirling number' for 'S(n, 11)'"
        ]
      },
      {
        "chunk_index": 3,
        "context_summary": "The text identifies the 2-level as the set of classes with non-constant 2-adic valuations and describes the 3-level structure. It presents explicit formulas, generating functions, and recurrences for Stirling numbers of the second kind. This section contains detailed results regarding the 2-adic valuation of $S(2n, k)$ and $S(2n+1, k+1)$, including an inequality with a lower bound and simpler cases for small values of $k$. ",
        "entities": [
          {
            "name": "2-level",
            "entity_id": "2_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "composition": "classes C_{2,0}, C_{2,1}, C_{2,2}, C_{2,3}",
              "property": "non-constant 2-adic valuation"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "C_{2,0}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "contains",
                "target": "C_{2,1}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "contains",
                "target": "C_{2,2}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "contains",
                "target": "C_{2,3}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "3-level",
            "entity_id": "3_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "valuation_C_{3,3}": "0",
              "valuation_C_{3,5}": "0",
              "valuation_C_{3,4}": "1",
              "valuation_C_{3,6}": "1"
            },
            "relationships": [
              {
                "predicate": "illustrated_by",
                "target": "Figure 5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(n, k)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "explicit_formula": "S(n, k) = 1/k! * sum_{i=0}^{k-1} (-1)^i * (k choose i) * (k-i)^n",
              "generating_function": "sum_{n=1}^infinity S(n, k) * x^n = (1 - x)(1 - 2x)...(1 - kx) / (1 - x)",
              "recurrence_relation": "S(n, k) = S(n-1, k-1) + k * S(n-1, k)",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "valuation_for_even_n",
                "target": "v_2(S(2n, k)) = s_2(k) - 1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_for_odd_n_plus_one",
                "target": "v_2(S(2n+1, k+1)) = s_2(k) - 1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "lower_bound",
                "target": "v_2(S(n, k)) >= s_2(k) - s_2(n)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel's conjecture",
            "entity_id": "lengyel_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "status": "proved by De Wannemacker",
              "statement": "v_2(S(2n, k)) = s_2(k) - 1 independently of n",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "proved_by",
                "target": "De Wannemacker",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "De Wannemacker's inequality",
            "entity_id": "de_wannemacker_s_inequality",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "v_2(S(n, k)) >= s_2(k) - s_2(n) for 0 <= k <= n",
              "model_entity_type": "mathematical_theorem"
            },
            "relationships": [
              {
                "predicate": "established_by",
                "target": "De Wannemacker",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of order 1",
            "entity_id": "stirling_numbers_of_order_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "value": "S(n, 1) = 1 for all n in N",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "defined_in",
                "target": "Lemma 2.1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of order 3",
            "entity_id": "stirling_numbers_of_order_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "S(n, 3) = 1/2 * (3^(n-1) - 2^n + 1)",
              "valuation_odd_n": "0",
              "valuation_even_n": "1",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "valuation_determined_by",
                "target": "parity of n",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 3,
          "start_word": 1433,
          "end_word": 1927,
          "word_count": 494,
          "sha256": "417ed48daae628ad76041e514fe3b418ff8253a109f600db6b6d8df52732fdfa",
          "sentence_minhash": [
            400955583959429622,
            232593725413697090,
            132898077708225042,
            524444266118806316,
            158278186834940345,
            428209587723997907,
            149017575652778032,
            113181735942458166,
            266927695903760850,
            92715222163426349,
            78280491562202942,
            216759334017540668,
            154708990195788138,
            58558631451210278,
            139254418913316130,
            37319280976767778
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, k)'",
          "normalized unsupported entity type 'mathematical_conjecture' for \"Lengyel's conjecture\"",
          "normalized unsupported entity type 'mathematical_theorem' for \"De Wannemacker's inequality\"",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 1'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 3'"
        ]
      },
      {
        "chunk_index": 4,
        "context_summary": "The text derives explicit formulas and 2-adic valuations for Stirling numbers of the second kind of order 3 and 4. It uses recurrence relations, induction, and the ultrametric inequality to prove that the valuation of S(n, 3) is 0 for odd n and 1 for even n. It also establishes that S(n, 4) is odd for even n and even for odd n.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(n, 3)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "order": 3,
              "formula_odd_n": "S(n, 3) is odd",
              "formula_even_n": "S(n, 3) = 2^{n-1} + 3 * 2^{n-2} - 4 + 3 * 2^{n-2} * S(n-2, 3) / 2^{n-2}",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "has_valuation_0_if_n_is_odd",
                "target": "v_2(S(n, 3)) = 0",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_valuation_1_if_n_is_even",
                "target": "v_2(S(n, 3)) = 1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "derived_from_recurrence",
                "target": "recurrence (1.29)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(n, 4)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_4",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "order": 4,
              "formula": "S(n, 4) = 1/6 * (4^{n-1} - 3^n - 3 * 2^{n+1} - 1)",
              "parity_even_n": "odd",
              "parity_odd_n": "even",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "has_valuation_0_if_n_is_even",
                "target": "v_2(S(n, 4)) = 0",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_valuation_1_if_n_is_odd",
                "target": "v_2(S(n, 4)) = 1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "derived_from_recurrence",
                "target": "recurrence (1.29) with k=4",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ultrametric inequality",
            "entity_id": "ultrametric_inequality",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "v_2(x_1 + x_2) >= min{v_2(x_1), v_2(x_2)}",
              "strictness_condition": "strict unless v_2(x_1) = v_2(x_2)",
              "model_entity_type": "mathematical_principle"
            },
            "relationships": [
              {
                "predicate": "used_to_prove",
                "target": "v_2(S(n, 3))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lemma 2.3",
            "entity_id": "lemma_2_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "content": "v_2(S(n, 3)) = 0 if n is odd, 1 if n is even",
              "model_entity_type": "mathematical_result"
            },
            "relationships": [
              {
                "predicate": "follows_from",
                "target": "v_2(3^{n-1} + 1)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lemma 2.4",
            "entity_id": "lemma_2_4",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "content": "v_2(S(n, 4)) = 1 if n is odd, 0 if n is even",
              "model_entity_type": "mathematical_result"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "recurrence (1.29) for k=4",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 4,
          "start_word": 1927,
          "end_word": 2426,
          "word_count": 499,
          "sha256": "cd4964de3a924617672e36503a9171a4eb8cd5057189c7efde75779b299dafbf",
          "sentence_minhash": [
            400955583959429622,
            232593725413697090,
            132898077708225042,
            524444266118806316,
            148925132169520149,
            428209587723997907,
            149017575652778032,
            113181735942458166,
            266927695903760850,
            92715222163426349,
            78280491562202942,
            221655330234976794,
            164575269931903557,
            161945415629665627,
            303264414993015767,
            112183611702210919
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 3)'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 4)'",
          "normalized unsupported entity type 'mathematical_principle' for 'ultrametric inequality'",
          "normalized unsupported entity type 'mathematical_result' for 'Lemma 2.3'",
          "normalized unsupported entity type 'mathematical_result' for 'Lemma 2.4'"
        ]
      },
      {
        "chunk_index": 5,
        "context_summary": "The text derives the 2-adic valuation of Stirling numbers of the second kind for order 4 and 5, identifying the 2-level structure and exceptional indices. It establishes that the valuation of S(8i, 5) is 1 for all i ≥ 1 using modular arithmetic. The analysis confirms a portion of the main hypothesis regarding the first level of constant classes. ",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(n, 4)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_4",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "valuation_condition": "v_2(S(n, 4)) = 1 when v_2(S(n-1, 3)) = 1",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "defined_by_recurrence",
                "target": "S(n, 4) = 1/2 S(n-1, 3) + 2 S(n-1, 4)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(n, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "explicit_formula": "S(n, 5) = 1/24 (5^{n-1} - 4^n + 2 * 3^{n-2} - 2^{n+1} + 1)",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "valuation_at_8i",
                "target": "1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-level",
            "entity_id": "2_level",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "composition": "{C_{2,0}, C_{2,3}}",
              "model_entity_type": "mathematical_structure"
            },
            "relationships": [
              {
                "predicate": "contains_non_constant_classes",
                "target": "C_{2,0}, C_{2,3}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "confirms_main_conjecture",
                "target": "m_0 = 3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "exceptional index",
            "entity_id": "exceptional_index",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "index i where q_{4i} = q_{4i+3}"
            },
            "relationships": [
              {
                "predicate": "first_instance",
                "target": "i = 7",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "sequence_of_indices",
                "target": "{7, 39, 71, 103, ...}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Proposition 3.5",
            "entity_id": "proposition_3_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "v_2(S(8i, 5)) = 1 for all i ≥ 1",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "proven_by",
                "target": "modular arithmetic analysis of 24S(8i, 5) modulo 32",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "q_n",
            "entity_id": "q_n",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "v_2(S(n, 5))",
              "model_entity_type": "notation"
            },
            "relationships": [
              {
                "predicate": "observed_pattern",
                "target": "q_{4i} = q_{4i+3} for most indices",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 5,
          "start_word": 2426,
          "end_word": 2922,
          "word_count": 496,
          "sha256": "0d62496118b4199595c37b0589956a6aef4a10dcfa50579d8d304cf08c0685ad",
          "sentence_minhash": [
            21703368277289870,
            18551641988871988,
            69729176314767099,
            208823991573236229,
            177359358208975170,
            428209587723997907,
            84576184460003765,
            63183425104977485,
            113198931733945138,
            76931577636070685,
            78280491562202942,
            290193957775112232,
            12488864069851856,
            906306679132868,
            303264414993015767,
            117472307714712089
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 4)'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 5)'",
          "normalized unsupported entity type 'mathematical_structure' for '2-level'",
          "normalized unsupported entity type 'theorem' for 'Proposition 3.5'",
          "normalized unsupported entity type 'notation' for 'q_n'"
        ]
      },
      {
        "chunk_index": 6,
        "context_summary": "The text establishes that the 2-adic valuation of Stirling numbers of the second kind for order 5 is 1 for indices of the form 8i and 8i+3, and at least 2 for indices of the form 8i+4 and 8i+7. It identifies the 3-level structure as consisting of classes C_{3,4} and C_{3,7}, supporting the main conjecture that 2-level classes split into constant classes. The passage also references Lengyel's result on valuations of Stirling numbers and introduces Stirling-like numbers T_p(n, k) with a related conjecture by Clarke.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(n, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "order": 5,
              "valuation_8i": 1,
              "valuation_8i_plus_3": 1,
              "valuation_8i_plus_4": ">= 2",
              "valuation_8i_plus_7": ">= 2",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "valuation_at_8i_is",
                "target": "1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_at_8i_plus_3_is",
                "target": "1",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_at_8i_plus_4_is_at_least",
                "target": "2",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_at_8i_plus_7_is_at_least",
                "target": "2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "3-level",
            "entity_id": "3_level",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "composition": "C_{3,4}, C_{3,7}",
              "model_entity_type": "mathematical_structure"
            },
            "relationships": [
              {
                "predicate": "illustrates",
                "target": "main conjecture",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "each class of the 2-level produces a constant class and a second one in the 3-level",
              "splitting_property": "The number of elements at the m-level is always constant. ",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "supported_by",
                "target": "3-level structure",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel's result",
            "entity_id": "lengyel_s_result",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "v_2(k! S(n, k)) = k - 1",
              "condition": "n = a^2 q, a odd, q >= k - 2",
              "model_entity_type": "mathematical_theorem"
            },
            "relationships": [
              {
                "predicate": "implies_for_k_5",
                "target": "v_2(S(n, 5)) = 1 for n = a^2 q and q >= 3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling-like numbers T_p(n, k)",
            "entity_id": "stirling_like_numbers_t_p_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "sum over j from 0 to k of (-1)^{k-j} * (k choose j) * j^n",
              "sum_condition": "index j is omitted if divisible by prime p",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "studied_by",
                "target": "Lundell",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke's conjecture",
            "entity_id": "clarke_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "v_p(k! S(n, k)) = v_p(T_p(n, k))",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "relates",
                "target": "Stirling numbers of the second kind",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "relates",
                "target": "Stirling-like numbers T_p(n, k)",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 6,
          "start_word": 2922,
          "end_word": 3404,
          "word_count": 482,
          "sha256": "682ff048a0604fbdfc038ce8a750d422cb2b72cde6e31f8dc32eecbbac7d0572",
          "sentence_minhash": [
            21703368277289870,
            1306423125707224,
            229329608839330056,
            53442166147602330,
            148925132169520149,
            62667647458868521,
            84576184460003765,
            96292850158067112,
            250103587932991025,
            92715222163426349,
            78280491562202942,
            171596837418463449,
            12488864069851856,
            161945415629665627,
            194885768149381016,
            117472307714712089
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, 5)'",
          "normalized unsupported entity type 'mathematical_structure' for '3-level'",
          "normalized unsupported entity type 'mathematical_conjecture' for 'main conjecture'",
          "normalized unsupported entity type 'mathematical_theorem' for \"Lengyel's result\"",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling-like numbers T_p(n, k)'",
          "normalized unsupported entity type 'mathematical_conjecture' for \"Clarke's conjecture\""
        ]
      },
      {
        "chunk_index": 7,
        "context_summary": "The text presents expressions for the 2-adic valuation of Stirling numbers of the second kind for orders 5, 6, and 7 based on zeros of specific functions in the ring of 2-adic integers. It initiates the proof of the main conjecture for k=5, identifying the first level of constant classes and providing empirical approximations for the valuation function. The section also describes visual data that illustrates the complex behavior of these ratings, including areas with no data and fluctuations. ",
        "entities": [
          {
            "name": "Clarke",
            "entity_id": "clarke",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "contribution": "derived expressions for 2-adic valuations of Stirling numbers of order 6 and 7"
            },
            "relationships": [
              {
                "predicate": "derived_expression_for",
                "target": "v_2(S(n, 6))",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "derived_expression_for",
                "target": "v_2(S(n, 7))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "v_2(S(n, 5))",
            "entity_id": "v_2_s_n_5",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "definition": "2-adic valuation of Stirling numbers of the second kind of order 5"
            },
            "relationships": [
              {
                "predicate": "expressed_in_terms_of",
                "target": "zeros of f_0,5(x)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "approximated_by",
                "target": "v_2(f_1(m))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_0,5(x)",
            "entity_id": "f_0_5_x",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "5 + 10 * 3^x + 5 * 5^x",
              "domain": "ring of 2-adic integers Z_2",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "has_zero",
                "target": "u_0",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_zero",
                "target": "u_1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_0",
            "entity_id": "u_0",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "property": "unique zero of f_0,5 satisfying u_0 in 2Z_2"
            },
            "relationships": [
              {
                "predicate": "used_in_formula_for",
                "target": "v_2(S(n, 5))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_1",
            "entity_id": "u_1",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "property": "zero of f_0,5 satisfying u_1 in 1 + 2Z_2"
            },
            "relationships": [
              {
                "predicate": "used_in_formula_for",
                "target": "v_2(S(n, 5))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_0,6",
            "entity_id": "f_0_6",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "-6 - 20 * 3^x - 6 * 5^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "used_to_express",
                "target": "v_2(S(n, 6))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_0,7",
            "entity_id": "f_0_7",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "7 + 35 * 3^x + 21 * 5^x + 7 * 7^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "used_to_express",
                "target": "v_2(S(n, 7))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "main conjecture for k=5",
            "entity_id": "main_conjecture_for_k_5",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "status": "proof initiated in this section",
              "m_0_value": 3
            },
            "relationships": [
              {
                "predicate": "verified_first_level",
                "target": "m_0-1 = 2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "I_1",
            "entity_id": "i_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "set of exceptions for the approximation of v_2(S(m, 5))",
              "model_entity_type": "set"
            },
            "relationships": [
              {
                "predicate": "contains_indices_where",
                "target": "v_2(S(m, 5)) != v_2(f_1(m))",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "even_indices_on_progression",
                "target": "256m + 156",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "v_2(S(n, 126))",
            "entity_id": "v_2_s_n_126",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "visual_feature": "shows basic function v_2(n) in interior"
            },
            "relationships": []
          },
          {
            "name": "v_2(S(n, 195))",
            "entity_id": "v_2_s_n_195",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "visual_feature": "dark objects correspond to oscillation between two consecutive values"
            },
            "relationships": []
          },
          {
            "name": "v_2(S(n, 260))",
            "entity_id": "v_2_s_n_260",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "visual_feature": "dark objects correspond to oscillation between two consecutive values"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 7,
          "start_word": 3404,
          "end_word": 3892,
          "word_count": 488,
          "sha256": "93b667b2027ce5554816d7d790bacf0e0d0983c24f82f71efcc86bc129e5c8ec",
          "sentence_minhash": [
            315931021563575867,
            1306423125707224,
            365220491043541866,
            141557533923110381,
            148925132169520149,
            62667647458868521,
            12025634198112669,
            152326886699586849,
            121868570449012213,
            92715222163426349,
            78280491562202942,
            139309872259060027,
            8649321992247620,
            58558631451210278,
            213007863687822379,
            69242845566341429
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'function' for 'f_0,5(x)'",
          "normalized unsupported entity type 'function' for 'f_0,6'",
          "normalized unsupported entity type 'function' for 'f_0,7'",
          "normalized unsupported entity type 'set' for 'I_1'"
        ]
      },
      {
        "chunk_index": 8,
        "context_summary": "The authors state that an explanation for certain features of the 2-adic valuation of Stirling numbers is currently missing. They conclude by noting that the main conjecture regarding these valuations has been established for the case where k equals 5.",
        "entities": [
          {
            "name": "main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "description": "describes the 2-adic valuation of Stirling numbers S(n, k)",
              "status": "established for k = 5"
            },
            "relationships": [
              {
                "predicate": "describes",
                "target": "2-adic valuation of Stirling numbers S(n, k)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "established_for",
                "target": "k = 5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers S(n, k)",
            "entity_id": "stirling_numbers_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "has_valuation",
                "target": "2-adic valuation",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-adic valuation of Stirling numbers S(n, k)",
            "entity_id": "2_adic_valuation_of_stirling_numbers_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "status": "lacking explanation for certain features",
              "model_entity_type": "mathematical_concept"
            },
            "relationships": [
              {
                "predicate": "described_by",
                "target": "main conjecture",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 8,
          "start_word": 3892,
          "end_word": 3926,
          "word_count": 34,
          "sha256": "9c6c78245db4d0d49749fb99cdf7e47d348e153cc310dbd361faac5c22f62e8c",
          "sentence_minhash": [
            1186993754061830951,
            252963467709525922,
            427846247254264662,
            839972970238381384,
            248181445042138913,
            428209587723997907,
            510041251351664276,
            432606846409385059,
            671633213597356161,
            2401279320804024734,
            78280491562202942,
            1060340779092222405,
            66824309535235066,
            909713818676360156,
            1844043544238636957,
            296703126451676242
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers S(n, k)'",
          "normalized unsupported entity type 'mathematical_concept' for '2-adic valuation of Stirling numbers S(n, k)'"
        ]
      }
    ],
    "canonical_entities": []
  },
  "chunks_expected": 9,
  "chunks_generated": 9,
  "failed_chunks": [],
  "repair": {
    "accepted_windows": 5,
    "rolled_back": false,
    "original_context_sha256": "4e35679199144c85744684238e9b1566a082d16ad9656068b796e83755c35af8",
    "final_context_sha256": "ffa4e109f80abf66295c42458eb18ce4f4c85603a702011760e5f411116ddb96",
    "critical_values": {
      "passed": true,
      "checks": {
        "numbers": true,
        "quantities": true,
        "formulas": true,
        "mathematical_variables": true,
        "operators": true
      },
      "before": {
        "numbers": [
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "0",
          "1.8",
          "1.8",
          "0",
          "4",
          "4",
          "2",
          "1",
          "1",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.3",
          "1.3",
          "1.16",
          "1",
          "1",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "1",
          "4",
          "2",
          "0",
          "2",
          "5",
          "75",
          "126",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "0",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2",
          "1.5",
          "2",
          "1",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "2",
          "11",
          "11",
          "4",
          "3",
          "4",
          "2",
          "2",
          "3",
          "2",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "3",
          "3",
          "3",
          "0",
          "3",
          "5",
          "0",
          "3",
          "4",
          "1",
          "3",
          "6",
          "1",
          "5",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2.1",
          "3",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "0",
          "1",
          "2",
          "3",
          "4",
          "3",
          "0",
          "1",
          "4",
          "3",
          "3",
          "3",
          "3",
          "2",
          "1",
          "3",
          "2",
          "2",
          "4",
          "3",
          "2",
          "2",
          "2",
          "3",
          "2",
          "2",
          "3",
          "0",
          "3",
          "1",
          "1.29",
          "4",
          "4",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "4",
          "0",
          "4",
          "1",
          "1.29",
          "4",
          "3",
          "2.3",
          "3",
          "0",
          "1",
          "3",
          "1",
          "1",
          "2.4",
          "4",
          "1",
          "0",
          "1.29",
          "4",
          "2",
          "4",
          "5",
          "2",
          "5",
          "1",
          "1",
          "4",
          "4",
          "1",
          "1",
          "3",
          "1",
          "4",
          "1",
          "2",
          "1",
          "3",
          "2",
          "1",
          "4",
          "5",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "2",
          "1",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "3",
          "2",
          "0",
          "2",
          "3",
          "3",
          "3",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "5",
          "32",
          "5",
          "3",
          "2",
          "5",
          "1",
          "3",
          "2",
          "4",
          "7",
          "3",
          "3",
          "4",
          "3",
          "7",
          "2",
          "5",
          "5",
          "1",
          "1",
          "2",
          "2",
          "1",
          "1",
          "2",
          "2",
          "3",
          "3",
          "4",
          "3",
          "7",
          "2",
          "3",
          "3",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "0",
          "-1",
          "2",
          "5",
          "6",
          "7",
          "2",
          "5",
          "2",
          "6",
          "7",
          "6",
          "7",
          "5",
          "2",
          "5",
          "5",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "5",
          "2",
          "5",
          "5",
          "5",
          "1",
          "5",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "7",
          "5",
          "3",
          "1",
          "2",
          "5",
          "5",
          "256",
          "156",
          "126",
          "195",
          "2.6E+2",
          "2",
          "5",
          "2",
          "5",
          "2",
          "5",
          "2",
          "2"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-6-2E+1*3^x-6*5^x",
          "0≤k",
          "0≤k",
          "0≤l",
          "1-x",
          "1-x",
          "1/2",
          "1/2",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "1=2",
          "21",
          "2^2",
          "2^j/j",
          "2^k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m-l",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^n-13*2^n-2-43*2^n-2*S",
          "2^n-2",
          "2^n1",
          "3^n-11",
          "4^n-1-3^n-3*2^n1-1",
          "51E+1*3^x5*5^x",
          "5^n-1-4^n2*3^n-2-2^n11",
          "735*3^x21*5^x7*7^x",
          "S(2^mi+j,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n1,k1)",
          "S(2n1,k1)",
          "S(2n1,k1)",
          "S(8i,5)",
          "S(8i,5)",
          "S(m,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,11)",
          "S(n,126)",
          "S(n,195)",
          "S(n,2.6E+2)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,6)",
          "S(n,6)",
          "S(n,7)",
          "S(n,7)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n-1,3)",
          "S(n-1,3)",
          "S(n-1,4)",
          "S(n-1,k)",
          "S(n-1,k-1)",
          "S(n-2,3)",
          "a^2",
          "a^2",
          "i+j",
          "i+j",
          "i+j",
          "i+j",
          "i+j",
          "i=0",
          "i=7",
          "i≥0",
          "i≥1",
          "i≥1",
          "j=1",
          "j=1",
          "j^n",
          "j≥k",
          "j≥k",
          "k",
          "k*S",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k1",
          "k1",
          "k=1",
          "k=1",
          "k=126",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=75",
          "k=l",
          "l-1",
          "m(4k-1)",
          "m(4k1)",
          "m+l",
          "m+l",
          "m+m-1",
          "m-1",
          "m-4",
          "m-k",
          "m-l",
          "m-l",
          "m-s_2",
          "m-s_p",
          "m1",
          "m156",
          "m2",
          "m^k-l",
          "m^k-l",
          "m_0=3",
          "m≥4",
          "m≥4",
          "n(2^j/j)",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n=1",
          "n=2",
          "n=2",
          "n=a^2",
          "n=a^2",
          "n≥k",
          "p-1",
          "p=p",
          "p≤1",
          "q_4i3",
          "q_4i3",
          "q_4i=q_4i",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "x^4",
          "x^j/j^k",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "L_k",
          "L_k",
          "L_k",
          "Q_p",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_even_n",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_odd_n",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by_recurrence",
          "d_expression_for",
          "d_expression_for",
          "d_first_level",
          "d_for",
          "d_for",
          "d_for",
          "d_for_case",
          "d_for_cases",
          "d_from",
          "d_from_recurrence",
          "d_from_recurrence",
          "d_in",
          "d_in_formula_for",
          "d_in_formula_for",
          "d_in_terms_of",
          "d_on",
          "d_pattern",
          "d_results_on",
          "d_to",
          "d_to",
          "d_to_express",
          "d_to_express",
          "d_to_prove",
          "e_alpha",
          "e_beta",
          "e_case",
          "e_of",
          "e_of",
          "e_of_indices",
          "e_relation",
          "e_step",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_1",
          "f_1",
          "g_function",
          "g_property",
          "i_k",
          "k_value",
          "l_case_for_p_2",
          "l_concept",
          "l_concept",
          "l_conjecture",
          "l_conjecture",
          "l_conjecture",
          "l_conjecture",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_expression",
          "l_feature",
          "l_feature",
          "l_feature",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_principle",
          "l_result",
          "l_result",
          "l_result",
          "l_series",
          "l_structure",
          "l_structure",
          "l_sum",
          "l_theorem",
          "l_theorem",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_definition",
          "m_0_value",
          "m_0_value",
          "m_condition",
          "n_8i",
          "n_8i_plus_3",
          "n_8i_plus_4",
          "n_8i_plus_7",
          "n_C_",
          "n_C_",
          "n_C_",
          "n_C_",
          "n_at_8i",
          "n_at_8i_is",
          "n_at_8i_plus_3_is",
          "n_at_8i_plus_4_is_at_least",
          "n_at_8i_plus_7_is_at_least",
          "n_by",
          "n_by",
          "n_condition",
          "n_determined_by",
          "n_even_n",
          "n_for_even_n",
          "n_for_odd_n_plus_one",
          "n_indices_on_progression",
          "n_odd_n",
          "n_of",
          "q_4i",
          "q_4i",
          "q_4i",
          "q_4i",
          "q_n",
          "r_bound",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2_adic_valuation",
          "s_2_adic_valuation_for_L1",
          "s_2_adic_valuation_for_L2",
          "s_condition",
          "s_constant_class_count",
          "s_first_constant_level",
          "s_for_k_5",
          "s_from",
          "s_in",
          "s_indices_where",
          "s_main_conjecture",
          "s_non_constant_classes",
          "s_on",
          "s_p",
          "s_p",
          "s_per_level_for_m_ge_m_0",
          "s_per_level_prediction",
          "s_polynomials",
          "s_to",
          "s_valuation",
          "s_valuation_0_if_n_is_even",
          "s_valuation_0_if_n_is_odd",
          "s_valuation_1_if_n_is_even",
          "s_valuation_1_if_n_is_odd",
          "s_valuation_of",
          "s_valuation_sequence",
          "s_zero",
          "s_zero",
          "t_constant_level",
          "t_constant_level_prediction",
          "t_formula",
          "t_formula",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_instance",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_value_name",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_p",
          "v_p",
          "x_1",
          "x_1",
          "x_1",
          "x_2",
          "x_2",
          "x_2",
          "y_even_n",
          "y_odd_n",
          "α",
          "β",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "operators": [
          "=",
          "=",
          "=",
          "=",
          "∈",
          "≤",
          "∑",
          "=",
          "∈",
          "≤",
          "≤",
          "∑",
          "=",
          "∞",
          "=",
          "∑",
          "=",
          "∑",
          "=",
          "=",
          "=",
          "=",
          "∞",
          "=",
          "∑",
          "=",
          "≥",
          "=",
          "≥",
          "=",
          "∈",
          "≤",
          "≤",
          "=",
          "=",
          "=",
          "∈",
          "≥",
          ">=",
          ">=",
          ">=",
          "<",
          "<=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          ">=",
          "<=",
          "<=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          ">=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "!=",
          "=",
          "="
        ]
      },
      "after": {
        "numbers": [
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "0",
          "1.8",
          "1.8",
          "0",
          "4",
          "4",
          "2",
          "1",
          "1",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.3",
          "1.3",
          "1.16",
          "1",
          "1",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "1",
          "4",
          "2",
          "0",
          "2",
          "5",
          "75",
          "126",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "0",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2",
          "1.5",
          "2",
          "1",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "2",
          "11",
          "11",
          "4",
          "3",
          "4",
          "2",
          "2",
          "3",
          "2",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "3",
          "3",
          "3",
          "0",
          "3",
          "5",
          "0",
          "3",
          "4",
          "1",
          "3",
          "6",
          "1",
          "5",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2.1",
          "3",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "0",
          "1",
          "2",
          "3",
          "4",
          "3",
          "0",
          "1",
          "4",
          "3",
          "3",
          "3",
          "3",
          "2",
          "1",
          "3",
          "2",
          "2",
          "4",
          "3",
          "2",
          "2",
          "2",
          "3",
          "2",
          "2",
          "3",
          "0",
          "3",
          "1",
          "1.29",
          "4",
          "4",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "4",
          "0",
          "4",
          "1",
          "1.29",
          "4",
          "3",
          "2.3",
          "3",
          "0",
          "1",
          "3",
          "1",
          "1",
          "2.4",
          "4",
          "1",
          "0",
          "1.29",
          "4",
          "2",
          "4",
          "5",
          "2",
          "5",
          "1",
          "1",
          "4",
          "4",
          "1",
          "1",
          "3",
          "1",
          "4",
          "1",
          "2",
          "1",
          "3",
          "2",
          "1",
          "4",
          "5",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "2",
          "1",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "3",
          "2",
          "0",
          "2",
          "3",
          "3",
          "3",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "5",
          "32",
          "5",
          "3",
          "2",
          "5",
          "1",
          "3",
          "2",
          "4",
          "7",
          "3",
          "3",
          "4",
          "3",
          "7",
          "2",
          "5",
          "5",
          "1",
          "1",
          "2",
          "2",
          "1",
          "1",
          "2",
          "2",
          "3",
          "3",
          "4",
          "3",
          "7",
          "2",
          "3",
          "3",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "0",
          "-1",
          "2",
          "5",
          "6",
          "7",
          "2",
          "5",
          "2",
          "6",
          "7",
          "6",
          "7",
          "5",
          "2",
          "5",
          "5",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "5",
          "2",
          "5",
          "5",
          "5",
          "1",
          "5",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "7",
          "5",
          "3",
          "1",
          "2",
          "5",
          "5",
          "256",
          "156",
          "126",
          "195",
          "2.6E+2",
          "2",
          "5",
          "2",
          "5",
          "2",
          "5",
          "2",
          "2"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-6-2E+1*3^x-6*5^x",
          "0≤k",
          "0≤k",
          "0≤l",
          "1-x",
          "1-x",
          "1/2",
          "1/2",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "1=2",
          "21",
          "2^2",
          "2^j/j",
          "2^k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m-l",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^n-13*2^n-2-43*2^n-2*S",
          "2^n-2",
          "2^n1",
          "3^n-11",
          "4^n-1-3^n-3*2^n1-1",
          "51E+1*3^x5*5^x",
          "5^n-1-4^n2*3^n-2-2^n11",
          "735*3^x21*5^x7*7^x",
          "S(2^mi+j,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n,k)",
          "S(2n1,k1)",
          "S(2n1,k1)",
          "S(2n1,k1)",
          "S(8i,5)",
          "S(8i,5)",
          "S(m,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,11)",
          "S(n,126)",
          "S(n,195)",
          "S(n,2.6E+2)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,6)",
          "S(n,6)",
          "S(n,7)",
          "S(n,7)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n-1,3)",
          "S(n-1,3)",
          "S(n-1,4)",
          "S(n-1,k)",
          "S(n-1,k-1)",
          "S(n-2,3)",
          "a^2",
          "a^2",
          "i+j",
          "i+j",
          "i+j",
          "i+j",
          "i+j",
          "i=0",
          "i=7",
          "i≥0",
          "i≥1",
          "i≥1",
          "j=1",
          "j=1",
          "j^n",
          "j≥k",
          "j≥k",
          "k",
          "k*S",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k1",
          "k1",
          "k=1",
          "k=1",
          "k=126",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=75",
          "k=l",
          "l-1",
          "m(4k-1)",
          "m(4k1)",
          "m+l",
          "m+l",
          "m+m-1",
          "m-1",
          "m-4",
          "m-k",
          "m-l",
          "m-l",
          "m-s_2",
          "m-s_p",
          "m1",
          "m156",
          "m2",
          "m^k-l",
          "m^k-l",
          "m_0=3",
          "m≥4",
          "m≥4",
          "n(2^j/j)",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n=1",
          "n=2",
          "n=2",
          "n=a^2",
          "n=a^2",
          "n≥k",
          "p-1",
          "p=p",
          "p≤1",
          "q_4i3",
          "q_4i3",
          "q_4i=q_4i",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "x^4",
          "x^j/j^k",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "L_k",
          "L_k",
          "L_k",
          "Q_p",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_even_n",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_odd_n",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_by_recurrence",
          "d_expression_for",
          "d_expression_for",
          "d_first_level",
          "d_for",
          "d_for",
          "d_for",
          "d_for_case",
          "d_for_cases",
          "d_from",
          "d_from_recurrence",
          "d_from_recurrence",
          "d_in",
          "d_in_formula_for",
          "d_in_formula_for",
          "d_in_terms_of",
          "d_on",
          "d_pattern",
          "d_results_on",
          "d_to",
          "d_to",
          "d_to_express",
          "d_to_express",
          "d_to_prove",
          "e_alpha",
          "e_beta",
          "e_case",
          "e_of",
          "e_of",
          "e_of_indices",
          "e_relation",
          "e_step",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_0",
          "f_1",
          "f_1",
          "g_function",
          "g_property",
          "i_k",
          "k_value",
          "l_case_for_p_2",
          "l_concept",
          "l_concept",
          "l_conjecture",
          "l_conjecture",
          "l_conjecture",
          "l_conjecture",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_expression",
          "l_feature",
          "l_feature",
          "l_feature",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_principle",
          "l_result",
          "l_result",
          "l_result",
          "l_series",
          "l_structure",
          "l_structure",
          "l_sum",
          "l_theorem",
          "l_theorem",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_definition",
          "m_0_value",
          "m_0_value",
          "m_condition",
          "n_8i",
          "n_8i_plus_3",
          "n_8i_plus_4",
          "n_8i_plus_7",
          "n_C_",
          "n_C_",
          "n_C_",
          "n_C_",
          "n_at_8i",
          "n_at_8i_is",
          "n_at_8i_plus_3_is",
          "n_at_8i_plus_4_is_at_least",
          "n_at_8i_plus_7_is_at_least",
          "n_by",
          "n_by",
          "n_condition",
          "n_determined_by",
          "n_even_n",
          "n_for_even_n",
          "n_for_odd_n_plus_one",
          "n_indices_on_progression",
          "n_odd_n",
          "n_of",
          "q_4i",
          "q_4i",
          "q_4i",
          "q_4i",
          "q_n",
          "r_bound",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2_adic_valuation",
          "s_2_adic_valuation_for_L1",
          "s_2_adic_valuation_for_L2",
          "s_condition",
          "s_constant_class_count",
          "s_first_constant_level",
          "s_for_k_5",
          "s_from",
          "s_in",
          "s_indices_where",
          "s_main_conjecture",
          "s_non_constant_classes",
          "s_on",
          "s_p",
          "s_p",
          "s_per_level_for_m_ge_m_0",
          "s_per_level_prediction",
          "s_polynomials",
          "s_to",
          "s_valuation",
          "s_valuation_0_if_n_is_even",
          "s_valuation_0_if_n_is_odd",
          "s_valuation_1_if_n_is_even",
          "s_valuation_1_if_n_is_odd",
          "s_valuation_of",
          "s_valuation_sequence",
          "s_zero",
          "s_zero",
          "t_constant_level",
          "t_constant_level_prediction",
          "t_formula",
          "t_formula",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_instance",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_value_name",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_p",
          "v_p",
          "x_1",
          "x_1",
          "x_1",
          "x_2",
          "x_2",
          "x_2",
          "y_even_n",
          "y_odd_n",
          "α",
          "β",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "operators": [
          "=",
          "=",
          "=",
          "=",
          "∈",
          "≤",
          "∑",
          "=",
          "∈",
          "≤",
          "≤",
          "∑",
          "=",
          "∞",
          "=",
          "∑",
          "=",
          "∑",
          "=",
          "=",
          "=",
          "=",
          "∞",
          "=",
          "∑",
          "=",
          "≥",
          "=",
          "≥",
          "=",
          "∈",
          "≤",
          "≤",
          "=",
          "=",
          "=",
          "∈",
          "≥",
          ">=",
          ">=",
          ">=",
          "<",
          "<=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          ">=",
          "<=",
          "<=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          ">=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "!=",
          "=",
          "="
        ]
      },
      "numeric_content_present": true,
      "formula_content_present": true,
      "exact_text_unchanged": false,
      "interpretation": "Conservative preservation filter; changed signatures require review and can include harmless reordering or equivalent unit/algebra conversions"
    }
  },
  "condition": "gemma12_r128_ku500_bt",
  "source_metadata": {
    "title": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
    "authors": [
      "Tewodros Amdeberhan",
      "Dante V Manna",
      "Victor H Moll"
    ],
    "doi": "10.1080/10586458.2008.10129026",
    "year": "",
    "openalex_id": "https://openalex.org/W2044773284",
    "origin": "Existing disjoint 20-paper benchmark cohort",
    "metadata_added_for_attribution_only": true,
    "metadata_not_used_to_change_QA_context": true
  }
}