{
  "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": 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 text introduces the 2-adic valuation of Stirling numbers of the second kind and reviews related results in p-adic analysis. It defines the p-adic valuation, the p-adic metric, and the ring of p-adic integers. The authors present a conjecture regarding the 2-adic valuation of Stirling numbers based on an algorithm involving specific sets of integers.",
        "entities": [
          {
            "name": "Tewodros Amdeberhan",
            "entity_id": "tewodros_amdeberhan",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "co_authored",
                "target": "Dante V Manna",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "co_authored",
                "target": "Victor H Moll",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Dante V Manna",
            "entity_id": "dante_v_manna",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "co_authored",
                "target": "Tewodros Amdeberhan",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "co_authored",
                "target": "Victor H Moll",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Victor H Moll",
            "entity_id": "victor_h_moll",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "author"
            },
            "relationships": [
              {
                "predicate": "co_authored",
                "target": "Tewodros Amdeberhan",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "co_authored",
                "target": "Dante V Manna",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "p-adic valuation",
            "entity_id": "p_adic_valuation",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "ν_p(m)",
              "definition": "highest power of p that divides m"
            },
            "relationships": [
              {
                "predicate": "applied_to",
                "target": "Stirling numbers of the second kind",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "extended_to",
                "target": "Rational numbers (Q)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "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"
            },
            "relationships": [
              {
                "predicate": "subject_of_analysis",
                "target": "2-adic valuation",
                "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": "provides_proof_for",
                "target": "Kummer's identity",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Kummer's identity",
            "entity_id": "kummer_s_identity",
            "entity_type": "method",
            "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": "measurement",
            "aliases": [],
            "attributes": {
              "formula": "|r|_p = p^(-ν_p(r))",
              "property": "satisfies ultrametric inequality"
            },
            "relationships": [
              {
                "predicate": "defines",
                "target": "p-adic numbers (Q_p)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ring of p-adic integers",
            "entity_id": "ring_of_p_adic_integers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "Z_p",
              "definition": "set of x in Q_p such that |x|_p <= 1"
            },
            "relationships": [
              {
                "predicate": "analogous_to",
                "target": "integers (Z) inside rational numbers (Q)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "J. Little",
            "entity_id": "j_little",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "role": "researcher"
            },
            "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": "finding"
            },
            "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": {
              "role": "researcher"
            },
            "relationships": [
              {
                "predicate": "proved_results_on",
                "target": "partial sums of polylogarithmic series",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "polylogarithmic series",
            "entity_id": "polylogarithmic_series",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "Li_k(x)",
              "formula": "sum_{j=1}^infinity x^j / j^k"
            },
            "relationships": [
              {
                "predicate": "partial_sum_valuation_studied_by",
                "target": "H. Cohen",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "description": "description of the function ν_2(S(n, k)) based on an algorithm"
            },
            "relationships": [
              {
                "predicate": "special_case_established_for",
                "target": "k = 5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "set of integers {2^m * i + j : i in N such that 2^m * i + j >= k}"
            },
            "relationships": [
              {
                "predicate": "used_in",
                "target": "Main conjecture",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "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": [
          "normalized unsupported entity type 'finding' for 'Corollary 1.3'"
        ]
      },
      {
        "chunk_index": 1,
        "context_summary": "The text defines the 2-adic valuation of Stirling numbers of the second kind using classes modulo $2^m$ and introduces the concept of $m$-levels. It presents a main conjecture regarding the first level with constant classes and the subsequent behavior of class splitting. The passage also reviews specific formulas, recurrences, and known results for small $k$ and special cases of $n$.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind",
            "entity_id": "stirling_numbers_of_the_second_kind",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "notation": "S(n, k)",
              "recurrence": "S(n, k) = S(n-1, k-1) + kS(n-1, k)",
              "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/(1-x)(1-2x)...(1-kx))",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "has_valuation",
                "target": "2-adic valuation",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-adic valuation",
            "entity_id": "2_adic_valuation",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "notation": "nu_2",
              "domain": "Stirling numbers of the second kind",
              "model_entity_type": "mathematical_function"
            },
            "relationships": [
              {
                "predicate": "defined_on",
                "target": "classes C_{m,j}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "classes C_{m,j}",
            "entity_id": "classes_c_m_j",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "partition of {n in N : n >= k} into classes modulo 2^m",
              "constant_condition": "nu_2(C_{m,j}) consists of a single value",
              "model_entity_type": "mathematical_set"
            },
            "relationships": [
              {
                "predicate": "splits_into",
                "target": "C_{m,ij} and C_{m,ij+2^{m-1}}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "m-level",
            "entity_id": "m_level",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "inductive concept where 1-level consists of even and odd integers >= k",
              "splitting_rule": "each class in (m-1)-level splits into two classes modulo 2^m",
              "model_entity_type": "mathematical_concept"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "classes C_{m,j}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main Conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "m0_definition": "m0 is the smallest integer such that 2^{m0-1} < k <= 2^{m0}",
              "first_constant_level": "m0-1",
              "subsequent_level_size": "2^{m0-2} classes for m >= m0",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "predicts",
                "target": "2-adic valuation of Stirling numbers of the second kind",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "De Wannemacker's result",
            "entity_id": "de_wannemacker_s_result",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "inequality": "nu_2(S(n, k)) >= s_2(k) - s_2(n)",
              "special_case": "nu_2(S(2^n, k)) = s_2(k) - 1",
              "model_entity_type": "mathematical_theorem"
            },
            "relationships": [
              {
                "predicate": "proved_by",
                "target": "De Wannemacker",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Legendre's identity",
            "entity_id": "legendre_s_identity",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "nu_2(S(2^n, k)) = nu_2((2^k-1)/k!)",
              "model_entity_type": "mathematical_identity"
            },
            "relationships": [
              {
                "predicate": "relates_to",
                "target": "2-adic valuation of Stirling numbers of the second kind",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "s_2(k)",
            "entity_id": "s_2_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "sum of the binary digits of k",
              "model_entity_type": "mathematical_function"
            },
            "relationships": [
              {
                "predicate": "used_in",
                "target": "De Wannemacker's result",
                "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": "used_in",
                "target": "Lemma 2.1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lemma 2.1",
            "entity_id": "lemma_2_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "content": "nu_2(S(n, 3)) = 0 if n is odd, 1 if n is even",
              "model_entity_type": "mathematical_lemma"
            },
            "relationships": [
              {
                "predicate": "applies_to",
                "target": "Stirling numbers of the second kind",
                "attributes": {},
                "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 'mathematical_object' for 'Stirling numbers of the second kind'",
          "normalized unsupported entity type 'mathematical_function' for '2-adic valuation'",
          "normalized unsupported entity type 'mathematical_set' for 'classes C_{m,j}'",
          "normalized unsupported entity type 'mathematical_concept' for 'm-level'",
          "normalized unsupported entity type 'mathematical_conjecture' for 'Main Conjecture'",
          "normalized unsupported entity type 'mathematical_theorem' for \"De Wannemacker's result\"",
          "normalized unsupported entity type 'mathematical_identity' for \"Legendre's identity\"",
          "normalized unsupported entity type 'mathematical_function' for 's_2(k)'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of order 1'",
          "normalized unsupported entity type 'mathematical_lemma' for 'Lemma 2.1'"
        ]
      },
      {
        "chunk_index": 2,
        "context_summary": "The text provides proofs for the 2-adic valuation of Stirling numbers of the second kind for orders 3, 4, and 5. It establishes specific formulas and inductive steps to determine these valuations based on the parity of n. For order 5, it introduces the concept of exceptional indices and proves a specific valuation for multiples of 8.",
        "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)"
            },
            "relationships": [
              {
                "predicate": "has_valuation_for_order_3",
                "target": "S(n, 3)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_valuation_for_order_4",
                "target": "S(n, 4)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_valuation_for_order_5",
                "target": "S(n, 5)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "S(n, 3)",
            "entity_id": "s_n_3",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "valuation_if_n_odd": "0",
              "valuation_if_n_even": "1"
            },
            "relationships": [
              {
                "predicate": "defined_by_recurrence",
                "target": "S(n, 3) = 2^{n-1} + 3 * 2^{n-2} - 4 + 3/2 * S(n-2, 3)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_derived_from",
                "target": "ultrametric inequality",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "S(n, 4)",
            "entity_id": "s_n_4",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "valuation_if_n_odd": "1",
              "valuation_if_n_even": "0"
            },
            "relationships": [
              {
                "predicate": "defined_by_formula",
                "target": "S(n, 4) = 1/6 * (4^n - 3^n - 3 * 2^{n+1} - 1)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "defined_by_recurrence",
                "target": "S(n, 4) = S(n-1, 3) + 4 * S(n-1, 4)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "S(n, 5)",
            "entity_id": "s_n_5",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "valuation_for_8i": "1"
            },
            "relationships": [
              {
                "predicate": "defined_by_formula",
                "target": "S(n, 5) = 1/24 * (5^n - 4^n + 2 * 3^n - 2^{n+1} + 1)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_determined_by",
                "target": "m-levels",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ultrametric inequality",
            "entity_id": "ultrametric_inequality",
            "entity_type": "method",
            "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)"
            },
            "relationships": [
              {
                "predicate": "used_to_prove",
                "target": "v_2(S(n, 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}",
              "first_index": "7",
              "sequence": "{7, 39, 71, 103, ...}"
            },
            "relationships": [
              {
                "predicate": "related_to",
                "target": "v_2(S(n, 5))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "m-levels",
            "entity_id": "m_levels",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "1-level_classes": "{C_{1,0}, C_{1,1}}",
              "2-level_classes": "{C_{2,0}, C_{2,3}}",
              "m_0": "3"
            },
            "relationships": [
              {
                "predicate": "used_to_analyze",
                "target": "v_2(S(n, 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": []
      },
      {
        "chunk_index": 3,
        "context_summary": "The text proves that the 2-adic valuation of Stirling numbers of order 5 for specific indices is at least 2, using modular arithmetic and identities. It discusses the splitting of classes in the 2-adic valuation and introduces a conjecture by Clarke relating these valuations to the zeros of specific functions in the ring of 2-adic integers. The section concludes with empirical estimates and visual data that illustrate the behavior of these assessments for larger orders. ",
        "entities": [
          {
            "name": "Proposition 3.6",
            "entity_id": "proposition_3_6",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "The Stirling numbers of order 5 satisfy ν_2(S(8i + 4, 5)) ≥ 2 for all i ≥ 1.",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "proves",
                "target": "ν_2(S(8i + 4, 5)) ≥ 2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of order 5",
            "entity_id": "stirling_numbers_of_order_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "notation": "S(n, 5)",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "satisfies",
                "target": "Proposition 3.6",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "valuation_at_8i+4_is_at_least",
                "target": "2",
                "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 = a^2 q, a odd, q ≥ k - 2",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "implies_for_k_5",
                "target": "ν_2(S(n, 5)) = 1 for n = a^2 q and q ≥ 3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main Conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "description": "Each class of the 2-level produces a constant class and a second one in the 3-level.",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "illustrated_by",
                "target": "3-level: {C_{3,4}, C_{3,7}}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "verified_for",
                "target": "k = 5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke's Conjecture",
            "entity_id": "clarke_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "ν_p(k!S(n, k)) = ν_p(T(n, k))",
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "derives",
                "target": "Theorem 3.8",
                "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": "ν_2(S(n, 5)) = -1 + ν_2(n - u_0) if n is even",
              "formula_odd": "ν_2(S(n, 5)) = -1 + ν_2(n - u_1) if n is odd",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "defines_zeros",
                "target": "u_0, u_1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_0",
            "entity_id": "u_0",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "Unique zero of f_{0,5} satisfying u_0 ∈ 2Z_2",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "used_in",
                "target": "Theorem 3.8",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_1",
            "entity_id": "u_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "Other zero of f_{0,5} satisfying u_1 ∈ 1 + 2Z_2",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "used_in",
                "target": "Theorem 3.8",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_{0,5}",
            "entity_id": "f_0_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "5 + 10 * 3^x + 5 * 5^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "has_zeros",
                "target": "u_0, u_1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lundell",
            "entity_id": "lundell",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "reference": "[11]"
            },
            "relationships": [
              {
                "predicate": "studied",
                "target": "Stirling-like numbers T_p(n, k)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke",
            "entity_id": "clarke",
            "entity_type": "person",
            "aliases": [],
            "attributes": {
              "reference": "[5]"
            },
            "relationships": [
              {
                "predicate": "conjectured",
                "target": "Clarke's Conjecture",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "obtained_expressions_for",
                "target": "ν_2(S(n, 6)) and ν_2(S(n, 7))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "I_1",
            "entity_id": "i_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{x_1(m) : m ≥ 0}",
              "model_entity_type": "set"
            },
            "relationships": [
              {
                "predicate": "contains_exceptions_for",
                "target": "ν_2(S(m, 5)) = ν_2(f_1(m))",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "even_indices_on_progression",
                "target": "256m + 156",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling-like numbers",
            "entity_id": "stirling_like_numbers",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "notation": "T_p(n, k)",
              "definition": "k * sum_{j=0}^k (-1)^{k-j} (k choose j) j^n, where j is omitted if divisible by p",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "studied_by",
                "target": "Lundell",
                "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 'mathematical_object' for 'Stirling numbers of order 5'",
          "normalized unsupported entity type 'theorem' for \"Lengyel's result\"",
          "normalized unsupported entity type 'conjecture' for 'Main Conjecture'",
          "normalized unsupported entity type 'conjecture' for \"Clarke's Conjecture\"",
          "normalized unsupported entity type 'theorem' for 'Theorem 3.8'",
          "normalized unsupported entity type 'mathematical_object' for 'u_0'",
          "normalized unsupported entity type 'mathematical_object' for 'u_1'",
          "normalized unsupported entity type 'function' for 'f_{0,5}'",
          "normalized unsupported entity type 'set' for 'I_1'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling-like numbers'"
        ]
      }
    ],
    "canonical_entities": []
  },
  "chunks_expected": 4,
  "chunks_generated": 4,
  "failed_chunks": [],
  "repair": {
    "accepted_windows": 1,
    "rolled_back": false,
    "original_context_sha256": "af11caa169cfe32b36f2907c232f551fe080870211e2dac24e287cf6ea5de39e",
    "final_context_sha256": "9c3df3269bdbdd9e4d92cda6271cdc4f893b086c9e2a166aa832a3d7b3212aa4",
    "critical_values": {
      "passed": true,
      "checks": {
        "numbers": true,
        "quantities": true,
        "formulas": true,
        "mathematical_variables": true,
        "operators": true
      },
      "before": {
        "numbers": [
          "2",
          "2",
          "2",
          "1",
          "1",
          "1.3",
          "1.3",
          "1",
          "5",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "1",
          "2.1",
          "2.1",
          "3",
          "0",
          "1",
          "2",
          "3",
          "4",
          "5",
          "5",
          "8",
          "3",
          "4",
          "5",
          "3",
          "0",
          "1",
          "3",
          "2",
          "1",
          "3",
          "2",
          "2",
          "4",
          "3",
          "2",
          "2",
          "3",
          "4",
          "1",
          "0",
          "4",
          "1",
          "6",
          "4",
          "3",
          "3",
          "2",
          "1",
          "1",
          "4",
          "1",
          "3",
          "4",
          "1",
          "4",
          "5",
          "1",
          "5",
          "1",
          "24",
          "5",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3",
          "3",
          "7",
          "7",
          "39",
          "71",
          "103",
          "5",
          "1",
          "1",
          "0",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "3",
          "3",
          "5",
          "2",
          "5",
          "2",
          "2",
          "2",
          "3.6",
          "5",
          "4",
          "5",
          "2",
          "1",
          "4",
          "5",
          "2",
          "5",
          "5",
          "3.6",
          "2",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "2",
          "3",
          "3",
          "3",
          "4",
          "3",
          "7",
          "5",
          "3.8",
          "3.8",
          "5",
          "-1",
          "5",
          "-1",
          "0",
          "5",
          "3.8",
          "0",
          "5",
          "1",
          "3.8",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "5",
          "11",
          "5",
          "6",
          "7",
          "0",
          "5",
          "256",
          "156",
          "0",
          "-1"
        ],
        "quantities": [
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+ν_2",
          "-1+ν_2",
          "1-x",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "2^k-1",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "2^m*i+j",
          "2^m-1",
          "2^n",
          "2^n",
          "2^n-13*2^n-2-43/2*S",
          "4*S",
          "4^n-3^n-3*2^n1-1",
          "51E+1*3^x5*5^x",
          "5^n-4^n2*3^n-2^n11",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(m,5)",
          "S(n,1)",
          "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,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,k)",
          "S(n-1,3)",
          "S(n-1,4)",
          "S(n-1,k-1)",
          "S(n-2,3)",
          "T(n,k)",
          "a^2",
          "a^2",
          "i=0",
          "i≥1",
          "j(kchoosej)",
          "j=0",
          "j=1",
          "j^n",
          "j≥k",
          "k",
          "k(-1)",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k=5",
          "k=5",
          "m",
          "m+l",
          "m-1",
          "m-k",
          "m-l",
          "m-s_p",
          "m156",
          "m≥0",
          "m≥m",
          "n",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n-u_0",
          "n-u_1",
          "n=1",
          "n=a^2",
          "n=a^2",
          "n≥k",
          "p-1",
          "p=p",
          "p≤1",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s≥k",
          "x^j/j^k",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_even",
          "a_odd",
          "d_by",
          "d_by",
          "d_by",
          "d_by_formula",
          "d_by_formula",
          "d_by_recurrence",
          "d_by_recurrence",
          "d_expressions_for",
          "d_for",
          "d_in",
          "d_in",
          "d_in",
          "d_in",
          "d_in",
          "d_on",
          "d_results_on",
          "d_to",
          "d_to",
          "d_to",
          "d_to_analyze",
          "d_to_prove",
          "f_1",
          "g_function",
          "g_rule",
          "i_k",
          "l_case",
          "l_case_established_for",
          "l_classes",
          "l_classes",
          "l_concept",
          "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_function",
          "l_function",
          "l_identity",
          "l_lemma",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_set",
          "l_sum_valuation_studied_by",
          "l_theorem",
          "m_0",
          "n_at_8i",
          "n_by",
          "n_derived_from",
          "n_determined_by",
          "n_for_8i",
          "n_if_n_even",
          "n_if_n_even",
          "n_if_n_odd",
          "n_if_n_odd",
          "n_indices_on_progression",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "q_4i",
          "q_4i",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_at_least",
          "s_condition",
          "s_exceptions_for",
          "s_for_k_5",
          "s_into",
          "s_p",
          "s_p",
          "s_proof_for",
          "s_to",
          "s_to",
          "s_to",
          "s_valuation",
          "s_valuation_for_order_3",
          "s_valuation_for_order_4",
          "s_valuation_for_order_5",
          "s_valuation_of",
          "s_zeros",
          "s_zeros",
          "t_condition",
          "t_constant_level",
          "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_index",
          "t_level_size",
          "t_of_analysis",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "u_0",
          "u_0",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "u_1",
          "u_1",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "x_1",
          "x_1",
          "x_1",
          "x_1",
          "x_2",
          "x_2",
          "x_2",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "operators": [
          "=",
          "=",
          "=",
          "<=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          ">=",
          "<",
          "<=",
          ">=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "≥",
          "≥",
          "≥",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "∈",
          "∈",
          "≥",
          "=",
          "="
        ]
      },
      "after": {
        "numbers": [
          "2",
          "2",
          "2",
          "1",
          "1",
          "1.3",
          "1.3",
          "1",
          "5",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "1",
          "1",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "1",
          "2.1",
          "2.1",
          "3",
          "0",
          "1",
          "2",
          "3",
          "4",
          "5",
          "5",
          "8",
          "3",
          "4",
          "5",
          "3",
          "0",
          "1",
          "3",
          "2",
          "1",
          "3",
          "2",
          "2",
          "4",
          "3",
          "2",
          "2",
          "3",
          "4",
          "1",
          "0",
          "4",
          "1",
          "6",
          "4",
          "3",
          "3",
          "2",
          "1",
          "1",
          "4",
          "1",
          "3",
          "4",
          "1",
          "4",
          "5",
          "1",
          "5",
          "1",
          "24",
          "5",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3",
          "3",
          "7",
          "7",
          "39",
          "71",
          "103",
          "5",
          "1",
          "1",
          "0",
          "1",
          "1",
          "2",
          "2",
          "0",
          "2",
          "3",
          "3",
          "5",
          "2",
          "5",
          "2",
          "2",
          "2",
          "3.6",
          "5",
          "4",
          "5",
          "2",
          "1",
          "4",
          "5",
          "2",
          "5",
          "5",
          "3.6",
          "2",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "2",
          "3",
          "3",
          "3",
          "4",
          "3",
          "7",
          "5",
          "3.8",
          "3.8",
          "5",
          "-1",
          "5",
          "-1",
          "0",
          "5",
          "3.8",
          "0",
          "5",
          "1",
          "3.8",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "5",
          "11",
          "5",
          "6",
          "7",
          "0",
          "5",
          "256",
          "156",
          "0",
          "-1"
        ],
        "quantities": [
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+ν_2",
          "-1+ν_2",
          "1-x",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "2^k-1",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "2^m*i+j",
          "2^m-1",
          "2^n",
          "2^n",
          "2^n-13*2^n-2-43/2*S",
          "4*S",
          "4^n-3^n-3*2^n1-1",
          "51E+1*3^x5*5^x",
          "5^n-4^n2*3^n-2^n11",
          "S(2^n,k)",
          "S(2^n,k)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(m,5)",
          "S(n,1)",
          "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,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,k)",
          "S(n-1,3)",
          "S(n-1,4)",
          "S(n-1,k-1)",
          "S(n-2,3)",
          "T(n,k)",
          "a^2",
          "a^2",
          "i=0",
          "i≥1",
          "j(kchoosej)",
          "j=0",
          "j=1",
          "j^n",
          "j≥k",
          "k",
          "k(-1)",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k=5",
          "k=5",
          "m",
          "m+l",
          "m-1",
          "m-k",
          "m-l",
          "m-s_p",
          "m156",
          "m≥0",
          "m≥m",
          "n",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n-u_0",
          "n-u_1",
          "n=1",
          "n=a^2",
          "n=a^2",
          "n≥k",
          "p-1",
          "p=p",
          "p≤1",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s≥k",
          "x^j/j^k",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_even",
          "a_odd",
          "d_by",
          "d_by",
          "d_by",
          "d_by_formula",
          "d_by_formula",
          "d_by_recurrence",
          "d_by_recurrence",
          "d_expressions_for",
          "d_for",
          "d_in",
          "d_in",
          "d_in",
          "d_in",
          "d_in",
          "d_on",
          "d_results_on",
          "d_to",
          "d_to",
          "d_to",
          "d_to_analyze",
          "d_to_prove",
          "f_1",
          "g_function",
          "g_rule",
          "i_k",
          "l_case",
          "l_case_established_for",
          "l_classes",
          "l_classes",
          "l_concept",
          "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_function",
          "l_function",
          "l_identity",
          "l_lemma",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_set",
          "l_sum_valuation_studied_by",
          "l_theorem",
          "m_0",
          "n_at_8i",
          "n_by",
          "n_derived_from",
          "n_determined_by",
          "n_for_8i",
          "n_if_n_even",
          "n_if_n_even",
          "n_if_n_odd",
          "n_if_n_odd",
          "n_indices_on_progression",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "o_authored",
          "q_4i",
          "q_4i",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_at_least",
          "s_condition",
          "s_exceptions_for",
          "s_for_k_5",
          "s_into",
          "s_p",
          "s_p",
          "s_proof_for",
          "s_to",
          "s_to",
          "s_to",
          "s_valuation",
          "s_valuation_for_order_3",
          "s_valuation_for_order_4",
          "s_valuation_for_order_5",
          "s_valuation_of",
          "s_zeros",
          "s_zeros",
          "t_condition",
          "t_constant_level",
          "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_index",
          "t_level_size",
          "t_of_analysis",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "u_0",
          "u_0",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "u_1",
          "u_1",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "v_2",
          "x_1",
          "x_1",
          "x_1",
          "x_1",
          "x_2",
          "x_2",
          "x_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": "gemma12_r128_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
  }
}