{
  "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": "base",
    "config": {
      "mode": "sequential",
      "chunk_words": 1000,
      "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 paper analyzes the 2-adic valuations of Stirling numbers of the second kind, building on prior work regarding the sequence b_{l,m} and polylogarithmic series. It defines the Stirling numbers S(n, k) as the count of partitions of an n-element set into k nonempty subsets. A main conjecture is proposed involving an algorithm to describe the function ν_2(S(n, k)), with the specific case k=5 established in the text.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind",
            "entity_id": "stirling_numbers_of_the_second_kind",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "S(n, k)",
              "definition": "number of ways to partition a set of n elements into exactly k nonempty subsets",
              "domain": "n ∈ N and 0 ≤ k ≤ n"
            },
            "relationships": [
              {
                "predicate": "subject_of_analysis",
                "target": "2-adic valuation",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-adic valuation",
            "entity_id": "2_adic_valuation",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "notation": "ν_2(m)",
              "definition": "highest power of 2 that divides m"
            },
            "relationships": [
              {
                "predicate": "applied_to",
                "target": "Stirling numbers of the second kind",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Tewodros Amdeberhan",
            "entity_id": "tewodros_amdeberhan",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "author_of",
                "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": {},
            "relationships": [
              {
                "predicate": "author_of",
                "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": {},
            "relationships": [
              {
                "predicate": "author_of",
                "target": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Legendre's formula",
            "entity_id": "legendre_s_formula",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "formula": "ν_p(m!) = (m - s_p(m)) / (p - 1)",
              "specific_case_p2": "ν_2(m!) = m - s_2(m)"
            },
            "relationships": [
              {
                "predicate": "provides_proof_for",
                "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": "proved_by",
                "target": "Legendre's formula",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "sequence b_{l,m}",
            "entity_id": "sequence_b_l_m",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "sum from k=l to m of (2^k * binomial(2m-2k, m-k) * binomial(m+k, m) * binomial(k, l))",
              "origin": "evaluation of definite integral N_{0,4}(a; m)"
            },
            "relationships": [
              {
                "predicate": "related_to",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "A_{l,m}",
            "entity_id": "a_l_m",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "(l! / m!) * 2^{m-l} * b_{l,m}",
              "valuation_formula": "ν_2(A_{l,m}) = 3l - s_2(m + l) + s_2(m - l)"
            },
            "relationships": [
              {
                "predicate": "valuation_established_by",
                "target": "J. Little",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "J. Little",
            "entity_id": "j_little",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "established_valuation_for",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "H. Cohen",
            "entity_id": "h_cohen",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "proved_valuation_for",
                "target": "L_1(2^m)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "proved_valuation_for",
                "target": "L_2(2^m)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "L_1(2^m)",
            "entity_id": "l_1_2_m",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "valuation_formula": "ν_2(L_1(2^m)) = 2^m + 2m - 4",
              "condition": "m ≥ 4"
            },
            "relationships": []
          },
          {
            "name": "L_2(2^m)",
            "entity_id": "l_2_2_m",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "valuation_formula": "ν_2(L_2(2^m)) = 2^m + m - 1",
              "condition": "m ≥ 4"
            },
            "relationships": []
          },
          {
            "name": "Main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "description": "algorithm leading to description of ν_2(S(n, k))",
              "established_case": "k = 5"
            },
            "relationships": [
              {
                "predicate": "involves_set",
                "target": "C_{m,j}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "{2^m * i + j : i ∈ N such that 2^m * i + j ≥ k}"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 0,
          "start_word": 0,
          "end_word": 978,
          "word_count": 978,
          "sha256": "6b838938ab71be91ad1bea519883c0a2d6d010303c1059bcbbde3463e8a04736",
          "sentence_minhash": [
            84989070151237717,
            1306423125707224,
            132898077708225042,
            53442166147602330,
            148925132169520149,
            139865850146007968,
            149017575652778032,
            34584616103928807,
            21579496338166870,
            76931577636070685,
            78280491562202942,
            171596837418463449,
            12488864069851856,
            58558631451210278,
            303264414993015767,
            658790404649858
          ]
        },
        "extraction_warnings": []
      },
      {
        "chunk_index": 1,
        "context_summary": "The text defines the partition of integers into classes $C_{m,j}$ based on modulo $2^m$ and introduces the concept of 'm-levels' to analyze the 2-adic valuation of Stirling numbers. It states a main conjecture regarding the stability of class counts and the emergence of constant valuation classes, illustrated with the case $k=11$. Additionally, it reviews known results for specific valuations, including a proven formula for even indices and elementary cases for small $k$.",
        "entities": [
          {
            "name": "class C_{m,j}",
            "entity_id": "class_c_m_j",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "Set of values $\\nu_2(S(2^m i + j, k))$ for $i \\in \\mathbb{N}$ where $2^m i + j \\ge k$",
              "partition_property": "Forms a partition of $\\{n \\in \\mathbb{N} : n \\ge k\\}$ into classes modulo $2^m$"
            },
            "relationships": [
              {
                "predicate": "is_constant_if",
                "target": "valuation consists of a single value",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "splits_into",
                "target": "C_{m,ij} and C_{m,ij+2^{m-1}}",
                "attributes": {
                  "condition": "from (m-1)-level class C_{m-1,ij}"
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "m-level",
            "entity_id": "m_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "Inductively defined set of classes; 1-level consists of even and odd integers $\\ge k$"
            },
            "relationships": [
              {
                "predicate": "defined_by",
                "target": "splitting of (m-1)-level classes",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main Conjecture 1.5",
            "entity_id": "main_conjecture_1_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuation of Stirling numbers of the second kind $S(n, k)$",
              "parameter_definition": "$m_0 = m_0(k)$ defined by $2^{m_0-1} < k \\le 2^{m_0}$",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "predicts_first_constant_level",
                "target": "m_0 - 1",
                "attributes": {
                  "detail": "Each class belongs to the j-level for $1 \\le j \\le m_0 - 2$ "
                },
                "target_id": null
              },
              {
                "predicate": "predicts_class_count",
                "target": "2^{m_0-2}",
                "attributes": {
                  "condition": "for any $m \\ge m_0$",
                  "detail": "Each class generates a unique, non-constant class for the (m+1)-level. "
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "S(n, 11)",
            "entity_id": "s_n_11",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "k_value": 11,
              "m_0_value": 4,
              "m_0_justification": "$2^3 < 11 \\le 2^4$",
              "model_entity_type": "example_case"
            },
            "relationships": [
              {
                "predicate": "predicted_first_constant_level",
                "target": "3-level",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "predicted_classes_per_level",
                "target": "4",
                "attributes": {
                  "condition": "for levels $m \\ge 4$"
                },
                "target_id": null
              },
              {
                "predicate": "2_level_status",
                "target": "non-constant",
                "attributes": {
                  "classes": "C_{2,0}, C_{2,1}, C_{2,2}, C_{2,3}"
                },
                "target_id": null
              },
              {
                "predicate": "3_level_valuations",
                "target": "C_{3,3}, C_{3,5} have valuation {0}; C_{3,4}, C_{3,6} have valuation {1}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel-De Wannemacker result",
            "entity_id": "lengyel_de_wannemacker_result",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "$\\nu_2(S(2^n, k)) = s_2(k) - 1$",
              "condition": "independent of n",
              "definition_s_2": "$s_2(k)$ is the sum of binary digits of k",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "Legendre's result",
                "attributes": {
                  "equivalence": "$\\nu_2(S(2^n, k)) = \\nu_2(2^{k-1}/k!)$"
                },
                "target_id": null
              },
              {
                "predicate": "companion_formula",
                "target": "$\\nu_2(S(2^n + 1, k + 1)) = s_2(k) - 1$",
                "attributes": {
                  "derivation": "Using recurrence $S(2^n + 1, k + 1) = S(2^n, k) + (k + 1)S(2^n, k + 1)$"
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "De Wannemacker inequality",
            "entity_id": "de_wannemacker_inequality",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "$\\nu_2(S(n, k)) \\ge s_2(k) - s_2(n)$",
              "condition": "$0 \\le k \\le n$",
              "model_entity_type": "theorem"
            },
            "relationships": []
          },
          {
            "name": "Stirling numbers of order 1",
            "entity_id": "stirling_numbers_of_order_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "$S(n, 1) = 1$ for all $n \\in \\mathbb{N}$",
              "model_entity_type": "mathematical_object"
            },
            "relationships": []
          },
          {
            "name": "Stirling numbers of order 3",
            "entity_id": "stirling_numbers_of_order_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "$S(n, 3) = \\frac{1}{2}(3^{n-1} - 2^n + 1)$",
              "valuation_rule": "$\\nu_2(S(n, 3)) = 0$ if n is odd, 1 if n is even",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "derived_via",
                "target": "recurrence iteration",
                "attributes": {
                  "intermediate_step": "$2^{n-1} = S(n, 3) - \\sum_{k=1}^{N-1} 3^k(2^{n-k}-1) - 3^N S(n-N, 3)$"
                },
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 1,
          "start_word": 978,
          "end_word": 1977,
          "word_count": 999,
          "sha256": "662c917d0dcd810271149f29681749e3f16fc7e8e9ea6278305ee9fb43f8b06b",
          "sentence_minhash": [
            315931021563575867,
            1306423125707224,
            23103724853578534,
            141557533923110381,
            146627570953161212,
            428209587723997907,
            149017575652778032,
            113181735942458166,
            228439795799410229,
            76931577636070685,
            78280491562202942,
            139309872259060027,
            154708990195788138,
            906306679132868,
            139254418913316130,
            37319280976767778
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'conjecture' for 'Main Conjecture 1.5'",
          "normalized unsupported entity type 'example_case' for 'S(n, 11)'",
          "normalized unsupported entity type 'theorem' for 'Lengyel-De Wannemacker result'",
          "normalized unsupported entity type 'theorem' for 'De Wannemacker 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": 2,
        "context_summary": "The text establishes the 2-adic valuation of Stirling numbers of the second kind for k=3, k=4, and k=5 using recurrence relations and the ultrametric inequality. It defines 'exceptional indices' for k=5 where specific valuation patterns deviate and proves that the valuation is 1 for n divisible by 8.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(n, 3)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_3",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "valuation_rule": "0 if n is odd, 1 if n is even"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "recurrence (1.29)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "proven_via",
                "target": "ultrametric inequality",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ultrametric inequality",
            "entity_id": "ultrametric_inequality",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "formula": "ν_2(x1 + x2) ≥ Min {ν_2(x1), ν_2(x2)}",
              "strictness_condition": "strict unless ν_2(x1) = ν_2(x2)"
            },
            "relationships": [
              {
                "predicate": "equivalent_to",
                "target": "equation (1.6)",
                "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": "concept",
            "aliases": [],
            "attributes": {
              "explicit_formula": "1/6 (4^(n-1) - 3^n - 3*2^(n+1) - 1)",
              "valuation_rule": "1 if n is odd, 0 if n is even"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "equation (1.27)",
                "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": "concept",
            "aliases": [],
            "attributes": {
              "explicit_formula": "1/24 (5^(n-1) - 4^n + 2*3^n - 2^(n+1) + 1)",
              "complexity": "valuation is not easy to compute compared to k=3 and k=4"
            },
            "relationships": [
              {
                "predicate": "analyzed_via",
                "target": "m-levels",
                "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",
              "notation": "q_n := ν_2(S(n, 5))"
            },
            "relationships": [
              {
                "predicate": "first_instance",
                "target": "i = 7",
                "attributes": {
                  "values": "q_28 = 6, q_31 = 7"
                },
                "target_id": null
              },
              {
                "predicate": "sequence_examples",
                "target": "{7, 39, 71, 103, ...}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Proposition 3.5",
            "entity_id": "proposition_3_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "ν_2(S(8i, 5)) = 1 for all i ≥ 1",
              "model_entity_type": "finding"
            },
            "relationships": [
              {
                "predicate": "proven_using",
                "target": "modulo 32 analysis of 24S(8i, 5)",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 2,
          "start_word": 1977,
          "end_word": 2971,
          "word_count": 994,
          "sha256": "a7cfe97cca0170a66906ec3b15975b627583225344bbe3e9c875ea5c29b75502",
          "sentence_minhash": [
            21703368277289870,
            18551641988871988,
            69729176314767099,
            208823991573236229,
            148925132169520149,
            428209587723997907,
            84576184460003765,
            63183425104977485,
            113198931733945138,
            76931577636070685,
            78280491562202942,
            221655330234976794,
            12488864069851856,
            906306679132868,
            303264414993015767,
            112183611702210919
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'finding' for 'Proposition 3.5'"
        ]
      },
      {
        "chunk_index": 3,
        "context_summary": "The text proves that the 2-adic valuation of Stirling numbers S(n, 5) is at least 2 for n of the form 8i+4, and identifies specific congruence classes at the 3-level. It introduces a conjecture by Clarke linking the valuation to the zeros of specific polynomials in the 2-adic integers, providing explicit formulas for k=5, 6, and 7. The main conjecture regarding the stability of class counts is established for the case k=5.",
        "entities": [
          {
            "name": "Proposition 3.6",
            "entity_id": "proposition_3_6",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "ν_2(S(8i + 4, 5)) ≥ 2 for all i ≥ 1",
              "proof_method": "Analysis of identity modulo 32 using congruences for powers of 2, 3, and 5",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "applies_to",
                "target": "Stirling numbers of the second kind S(n, 5)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel's result",
            "entity_id": "lengyel_s_result",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "ν_2(k!S(n, k)) = k - 1",
              "conditions": "n = a2^q, a odd, q ≥ k - 2",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "implies_for_k5",
                "target": "ν_2(S(n, 5)) = 1 for n = a2^q with q ≥ 3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "3-level classes for k=5",
            "entity_id": "3_level_classes_for_k_5",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "composition": "{C_{3,4}, C_{3,7}}"
            },
            "relationships": [
              {
                "predicate": "illustrates",
                "target": "Main Conjecture 1.5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke's conjecture",
            "entity_id": "clarke_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "ν_p(k! S(n, k)) = ν_p(T_p(n, k))",
              "definition_T_p": "T_p(n, k) = sum_{j=0}^k (-1)^{k-j} binom(k, j) j^n, omitting j divisible by p",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "proposed_by",
                "target": "Clarke",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Theorem 3.8",
            "entity_id": "theorem_3_8",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "condition": "Assumes Clarke's conjecture holds",
              "formula_even_n": "ν_2(S(n, 5)) = -1 + ν_2(n - u_0)",
              "formula_odd_n": "ν_2(S(n, 5)) = -1 + ν_2(n - u_1)",
              "u_0_definition": "Unique zero of f_{0,5} in 2Z_2",
              "u_1_definition": "Other zero of f_{0,5} in 1 + 2Z_2",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "depends_on",
                "target": "Clarke's conjecture",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "uses_function",
                "target": "f_{0,5}(x) = 5 + 10*3^x + 5^x",
                "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_for",
                "target": "ν_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^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "used_for",
                "target": "ν_2(S(n, 7))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main Conjecture for k=5",
            "entity_id": "main_conjecture_for_k_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "status": "Proven in Section 4",
              "parameter_m0": "3",
              "first_constant_level": "2",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "established_for",
                "target": "Stirling numbers of the second kind S(n, 5)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Empirical approximations for ν_2(S(n, 5))",
            "entity_id": "empirical_approximations_for_2_s_n_5",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "nature": "Derived empirically",
              "exception_set_I1": "Indices where ν_2(S(m, 5)) ≠ ν_2(f_1(m))",
              "exception_parity": "Every third element in I_1 is odd",
              "even_exception_progression": "256m + 156"
            },
            "relationships": [
              {
                "predicate": "approximates",
                "target": "ν_2(S(n, 5))",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 3,
          "start_word": 2971,
          "end_word": 3926,
          "word_count": 955,
          "sha256": "f93cd1e57deb21c5150220aa5b7975014fa38823c9e286f9d55725340a234e4b",
          "sentence_minhash": [
            21703368277289870,
            1306423125707224,
            229329608839330056,
            53442166147602330,
            148925132169520149,
            62667647458868521,
            12025634198112669,
            96292850158067112,
            121868570449012213,
            92715222163426349,
            78280491562202942,
            139309872259060027,
            8649321992247620,
            58558631451210278,
            194885768149381016,
            69242845566341429
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'theorem' for 'Proposition 3.6'",
          "normalized unsupported entity type 'theorem' for \"Lengyel's result\"",
          "normalized unsupported entity type 'conjecture' for \"Clarke's conjecture\"",
          "normalized unsupported entity type 'theorem' for 'Theorem 3.8'",
          "normalized unsupported entity type 'function' for 'f_{0,6}'",
          "normalized unsupported entity type 'function' for 'f_{0,7}'",
          "normalized unsupported entity type 'conjecture' for 'Main Conjecture for k=5'"
        ]
      }
    ],
    "canonical_entities": []
  },
  "chunks_expected": 4,
  "chunks_generated": 4,
  "failed_chunks": [],
  "repair": {
    "accepted_windows": 2,
    "rolled_back": false,
    "original_context_sha256": "5ba1e67dad841da27040f84f906546ee1f38dfd4803696473cdd0afa1f4e8e0e",
    "final_context_sha256": "25c966a00d708a326942eabd4228272f5197d348f111237af867ea23219231c3",
    "critical_values": {
      "passed": true,
      "checks": {
        "numbers": true,
        "quantities": true,
        "formulas": true,
        "mathematical_variables": true,
        "operators": true
      },
      "before": {
        "numbers": [
          "2",
          "5",
          "0",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "0",
          "4",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "2",
          "1",
          "4",
          "5",
          "2",
          "2",
          "2",
          "2",
          "11",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.5",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "1",
          "11",
          "11",
          "4",
          "2",
          "3",
          "11",
          "2",
          "4",
          "3",
          "4",
          "4",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "3",
          "3",
          "3",
          "5",
          "0",
          "3",
          "4",
          "3",
          "6",
          "1",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "1",
          "2",
          "1",
          "1",
          "2",
          "1",
          "2",
          "1",
          "0",
          "1",
          "1",
          "1",
          "3",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "3",
          "0",
          "1",
          "2",
          "1",
          "3",
          "1",
          "1",
          "3",
          "2",
          "1",
          "3",
          "3",
          "2",
          "3",
          "4",
          "5",
          "5",
          "1",
          "8",
          "3",
          "0",
          "1",
          "1.29",
          "1.6",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "1",
          "0",
          "1.27",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3",
          "4",
          "3",
          "5",
          "7",
          "6",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "32",
          "5",
          "2",
          "5",
          "2",
          "4",
          "3",
          "2",
          "5",
          "6",
          "7",
          "5",
          "3.6",
          "4",
          "5",
          "2",
          "1",
          "32",
          "2",
          "3",
          "5",
          "5",
          "1",
          "2",
          "5",
          "1",
          "3",
          "3",
          "5",
          "3",
          "4",
          "3",
          "7",
          "1.5",
          "0",
          "-1",
          "3.8",
          "5",
          "-1",
          "5",
          "-1",
          "0",
          "5",
          "0",
          "5",
          "1",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "0",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "0",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "5",
          "4",
          "3",
          "2",
          "5",
          "5",
          "5",
          "256",
          "156",
          "5"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+ν_2",
          "-1+ν_2",
          "-1=S",
          "-6-2E+1*3^x-6*5^x",
          "0\\\\lek\\\\len",
          "0≤k",
          "1/24",
          "1/6",
          "1<k",
          "1\\\\lej\\\\lem_0-2",
          "2^3",
          "2^3<11\\\\le2^4",
          "2^4",
          "2^k",
          "2^k-1/k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "2^m*i+j",
          "2^m+m-1",
          "2^m-1",
          "2^m-l",
          "2^m2",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^m_0to1<k\\\\le2^m_0",
          "2^mi+j\\\\gek",
          "2^n",
          "2^n",
          "2^n",
          "2^n",
          "2^n-1",
          "2^n-1=S(n,3)-\\\\sum_{k=1}^N-13^k(2^n-k-1)-3^NS(n-N,3)",
          "2^n-k-1",
          "2^n1",
          "2^n1",
          "3<11",
          "3^N",
          "3^k",
          "3^n-1-2^n1",
          "3^n-3*2",
          "4^n2*3^n-2",
          "51E+1*3^x5^x",
          "735*3^x21*5^x7^x",
          "C_{m,j}",
          "N-1",
          "S(2^mi+j,k)",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(2^n,k1)",
          "S(2^n1,k1)",
          "S(2^n1,k1)",
          "S(2^n1,k1)=S(2^n,k)+(k1)S(2^n,k1)",
          "S(8i,5)",
          "S(8i4,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,1)=1",
          "S(n,11)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)=\\\\frac{1}{2}(3^n-1-2^n1)",
          "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,5)",
          "S(n,5)",
          "S(n,6)",
          "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-N,3)",
          "\\\\gek",
          "\\\\nu_2(S(2^mi+j,k))",
          "\\\\nu_2(S(2^n,k))=\\\\nu_2(2^k-1/k!)",
          "\\\\nu_2(S(2^n,k))=s_2(k)-1",
          "\\\\nu_2(S(2^n1,k1))=s_2(k)-1",
          "\\\\nu_2(S(n,3))=0",
          "\\\\nu_2(S(n,k))\\\\ges_2(k)-s_2(n)",
          "\\\\{n\\\\in\\\\mathbb{N}:n\\\\gek\\\\}",
          "i+j",
          "i+j",
          "i=7",
          "i\\\\in\\\\mathbb{N}",
          "i≥1",
          "i≥1",
          "j=0",
          "j^n",
          "j≥k",
          "k",
          "k(-1)",
          "k(2^n-k-1)",
          "k-1",
          "k-2",
          "k-j",
          "k1",
          "k1",
          "k1",
          "k1",
          "k=1",
          "k=11",
          "k=11",
          "k=3",
          "k=3",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=l",
          "m+k",
          "m+l",
          "m-1",
          "m-1",
          "m-1",
          "m-4",
          "m-k",
          "m-k",
          "m-l",
          "m-s_2",
          "m-s_p",
          "m1",
          "m156",
          "m\\\\ge4",
          "m\\\\gem_0",
          "m_0-1",
          "m_0-2",
          "m_0=m_0",
          "m_0=m_0(k)",
          "m≥4",
          "m≥4",
          "n-1",
          "n-1",
          "n-N",
          "n-u_0",
          "n-u_1",
          "n1",
          "n1",
          "n=a",
          "n=a",
          "n\\\\in\\\\mathbb{N}",
          "p-1",
          "q_28=6",
          "q_31=7",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s_2(k)"
        ],
        "mathematical_variables": [
          "I_1",
          "L_1",
          "L_1",
          "L_1",
          "L_2",
          "L_2",
          "L_2",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "a_even_n",
          "a_odd_n",
          "c_case_p2",
          "d_by",
          "d_by",
          "d_by",
          "d_case",
          "d_classes_per_level",
          "d_first_constant_level",
          "d_for",
          "d_for",
          "d_for",
          "d_from",
          "d_from",
          "d_from",
          "d_to",
          "d_to",
          "d_valuation_for",
          "d_valuation_for",
          "d_valuation_for",
          "d_via",
          "d_via",
          "e_case",
          "e_examples",
          "e_step",
          "f_1",
          "f_method",
          "k_value",
          "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_object",
          "l_object",
          "l_status",
          "l_valuations",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_justification",
          "m_0_value",
          "n_T_p",
          "n_established_by",
          "n_exception_progression",
          "n_formula",
          "n_formula",
          "n_formula",
          "n_formula",
          "n_parity",
          "n_property",
          "n_rule",
          "n_rule",
          "n_rule",
          "n_s_2",
          "n_set_I1",
          "n_using",
          "n_via",
          "q_28",
          "q_31",
          "q_4i",
          "q_4i",
          "q_n",
          "r_definition",
          "r_m0",
          "r_of",
          "r_of",
          "r_of",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_class_count",
          "s_condition",
          "s_constant_if",
          "s_first_constant_level",
          "s_for_k5",
          "s_function",
          "s_into",
          "s_on",
          "s_p",
          "s_proof_for",
          "s_set",
          "s_to",
          "t_constant_level",
          "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_instance",
          "t_of_analysis",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_to",
          "u_0",
          "u_0_definition",
          "u_1",
          "u_1_definition",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "operators": [
          "=",
          "∈",
          "≤",
          "≤",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "≥",
          "=",
          "∈",
          "≥",
          "=",
          "=",
          "<",
          "<",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "≥",
          "≥",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "≠"
        ]
      },
      "after": {
        "numbers": [
          "2",
          "5",
          "0",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "0",
          "4",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "2",
          "1",
          "4",
          "5",
          "2",
          "2",
          "2",
          "2",
          "11",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.5",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "1",
          "11",
          "11",
          "4",
          "2",
          "3",
          "11",
          "2",
          "4",
          "3",
          "4",
          "4",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "3",
          "3",
          "3",
          "5",
          "0",
          "3",
          "4",
          "3",
          "6",
          "1",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "1",
          "2",
          "1",
          "1",
          "2",
          "1",
          "2",
          "1",
          "0",
          "1",
          "1",
          "1",
          "3",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "3",
          "0",
          "1",
          "2",
          "1",
          "3",
          "1",
          "1",
          "3",
          "2",
          "1",
          "3",
          "3",
          "2",
          "3",
          "4",
          "5",
          "5",
          "1",
          "8",
          "3",
          "0",
          "1",
          "1.29",
          "1.6",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "1",
          "0",
          "1.27",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3",
          "4",
          "3",
          "5",
          "7",
          "6",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "32",
          "5",
          "2",
          "5",
          "2",
          "4",
          "3",
          "2",
          "5",
          "6",
          "7",
          "5",
          "3.6",
          "4",
          "5",
          "2",
          "1",
          "32",
          "2",
          "3",
          "5",
          "5",
          "1",
          "2",
          "5",
          "1",
          "3",
          "3",
          "5",
          "3",
          "4",
          "3",
          "7",
          "1.5",
          "0",
          "-1",
          "3.8",
          "5",
          "-1",
          "5",
          "-1",
          "0",
          "5",
          "0",
          "5",
          "1",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "0",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "0",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "5",
          "4",
          "3",
          "2",
          "5",
          "5",
          "5",
          "256",
          "156",
          "5"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+ν_2",
          "-1+ν_2",
          "-1=S",
          "-6-2E+1*3^x-6*5^x",
          "0\\\\lek\\\\len",
          "0≤k",
          "1/24",
          "1/6",
          "1<k",
          "1\\\\lej\\\\lem_0-2",
          "2^3",
          "2^3<11\\\\le2^4",
          "2^4",
          "2^k",
          "2^k-1/k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "2^m*i+j",
          "2^m+m-1",
          "2^m-1",
          "2^m-l",
          "2^m2",
          "2^m_0",
          "2^m_0",
          "2^m_0",
          "2^m_0to1<k\\\\le2^m_0",
          "2^mi+j\\\\gek",
          "2^n",
          "2^n",
          "2^n",
          "2^n",
          "2^n-1",
          "2^n-1=S(n,3)-\\\\sum_{k=1}^N-13^k(2^n-k-1)-3^NS(n-N,3)",
          "2^n-k-1",
          "2^n1",
          "2^n1",
          "3<11",
          "3^N",
          "3^k",
          "3^n-1-2^n1",
          "3^n-3*2",
          "4^n2*3^n-2",
          "51E+1*3^x5^x",
          "735*3^x21*5^x7^x",
          "C_{m,j}",
          "N-1",
          "S(2^mi+j,k)",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(2^n,k1)",
          "S(2^n1,k1)",
          "S(2^n1,k1)",
          "S(2^n1,k1)=S(2^n,k)+(k1)S(2^n,k1)",
          "S(8i,5)",
          "S(8i4,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,1)=1",
          "S(n,11)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)=\\\\frac{1}{2}(3^n-1-2^n1)",
          "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,5)",
          "S(n,5)",
          "S(n,6)",
          "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-N,3)",
          "\\\\gek",
          "\\\\nu_2(S(2^mi+j,k))",
          "\\\\nu_2(S(2^n,k))=\\\\nu_2(2^k-1/k!)",
          "\\\\nu_2(S(2^n,k))=s_2(k)-1",
          "\\\\nu_2(S(2^n1,k1))=s_2(k)-1",
          "\\\\nu_2(S(n,3))=0",
          "\\\\nu_2(S(n,k))\\\\ges_2(k)-s_2(n)",
          "\\\\{n\\\\in\\\\mathbb{N}:n\\\\gek\\\\}",
          "i+j",
          "i+j",
          "i=7",
          "i\\\\in\\\\mathbb{N}",
          "i≥1",
          "i≥1",
          "j=0",
          "j^n",
          "j≥k",
          "k",
          "k(-1)",
          "k(2^n-k-1)",
          "k-1",
          "k-2",
          "k-j",
          "k1",
          "k1",
          "k1",
          "k1",
          "k=1",
          "k=11",
          "k=11",
          "k=3",
          "k=3",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=l",
          "m+k",
          "m+l",
          "m-1",
          "m-1",
          "m-1",
          "m-4",
          "m-k",
          "m-k",
          "m-l",
          "m-s_2",
          "m-s_p",
          "m1",
          "m156",
          "m\\\\ge4",
          "m\\\\gem_0",
          "m_0-1",
          "m_0-2",
          "m_0=m_0",
          "m_0=m_0(k)",
          "m≥4",
          "m≥4",
          "n-1",
          "n-1",
          "n-N",
          "n-u_0",
          "n-u_1",
          "n1",
          "n1",
          "n=a",
          "n=a",
          "n\\\\in\\\\mathbb{N}",
          "p-1",
          "q_28=6",
          "q_31=7",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s_2(k)"
        ],
        "mathematical_variables": [
          "I_1",
          "L_1",
          "L_1",
          "L_1",
          "L_2",
          "L_2",
          "L_2",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "a_even_n",
          "a_odd_n",
          "c_case_p2",
          "d_by",
          "d_by",
          "d_by",
          "d_case",
          "d_classes_per_level",
          "d_first_constant_level",
          "d_for",
          "d_for",
          "d_for",
          "d_from",
          "d_from",
          "d_from",
          "d_to",
          "d_to",
          "d_valuation_for",
          "d_valuation_for",
          "d_valuation_for",
          "d_via",
          "d_via",
          "e_case",
          "e_examples",
          "e_step",
          "f_1",
          "f_method",
          "k_value",
          "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_object",
          "l_object",
          "l_status",
          "l_valuations",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_justification",
          "m_0_value",
          "n_T_p",
          "n_established_by",
          "n_exception_progression",
          "n_formula",
          "n_formula",
          "n_formula",
          "n_formula",
          "n_parity",
          "n_property",
          "n_rule",
          "n_rule",
          "n_rule",
          "n_s_2",
          "n_set_I1",
          "n_using",
          "n_via",
          "q_28",
          "q_31",
          "q_4i",
          "q_4i",
          "q_n",
          "r_definition",
          "r_m0",
          "r_of",
          "r_of",
          "r_of",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_class_count",
          "s_condition",
          "s_constant_if",
          "s_first_constant_level",
          "s_for_k5",
          "s_function",
          "s_into",
          "s_on",
          "s_p",
          "s_proof_for",
          "s_set",
          "s_to",
          "t_constant_level",
          "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_instance",
          "t_of_analysis",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_to",
          "u_0",
          "u_0_definition",
          "u_1",
          "u_1_definition",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "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": "qwen_ku1000_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
  }
}