{
  "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": 500,
      "context_words": 0,
      "previous_units": 10,
      "canonicalize": false,
      "minhash_permutations": 16,
      "canonicalization_max_tokens": 4096,
      "parse_retries": 0
    },
    "knowledge_units": [
      {
        "chunk_index": 0,
        "context_summary": "The text defines p-adic valuations and metrics, highlighting Legendre's formula for factorials and its application to Kummer's identity for binomial coefficients. It establishes the p-adic metric on rational numbers and defines the field of p-adic numbers and the ring of p-adic integers as the completion of the rationals.",
        "entities": [
          {
            "name": "p-adic valuation",
            "entity_id": "p_adic_valuation",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "The unique non-negative integer n such that m = a * p^n where a is not divisible by p",
              "notation": "ν_p(m)",
              "interpretation": "The highest power of prime p that divides integer m"
            },
            "relationships": [
              {
                "predicate": "extended_to",
                "target": "rational numbers",
                "attributes": {
                  "definition": "ν_p(a/b) = ν_p(a) - ν_p(b)"
                },
                "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)",
              "attributed_to": "Legendre"
            },
            "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)",
              "context": "Explicit identity for 2-adic valuation of binomial coefficients"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "Legendre's formula",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "p-adic metric",
            "entity_id": "p_adic_metric",
            "entity_type": "measurement",
            "aliases": [],
            "attributes": {
              "definition": "|r|_p := p^(-ν_p(r)) for r in Q",
              "property": "Satisfies the ultrametric inequality"
            },
            "relationships": [
              {
                "predicate": "defines_completion_of",
                "target": "field of p-adic numbers",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "field of p-adic numbers",
            "entity_id": "field_of_p_adic_numbers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "Q_p",
              "definition": "The completion of Q under the p-adic metric"
            },
            "relationships": [
              {
                "predicate": "contains",
                "target": "ring of p-adic integers",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ring of p-adic integers",
            "entity_id": "ring_of_p_adic_integers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "notation": "Z_p",
              "definition": "{x in Q_p : |x|_p <= 1}",
              "role": "Analogous to Z inside Q"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 0,
          "start_word": 0,
          "end_word": 463,
          "word_count": 463,
          "sha256": "c35c92e822cd250557259c581851ba10ffdafb280f6d76455dc8c45b987b38e6",
          "sentence_minhash": [
            84989070151237717,
            232593725413697090,
            132898077708225042,
            139222975235943620,
            148925132169520149,
            191301892190423406,
            278146122074282937,
            34584616103928807,
            168666786016392573,
            462224056308245964,
            78280491562202942,
            171596837418463449,
            12488864069851856,
            58558631451210278,
            303264414993015767,
            658790404649858
          ]
        },
        "extraction_warnings": []
      },
      {
        "chunk_index": 1,
        "context_summary": "The text defines the sequence b_{l,m} arising from a definite integral and relates its 2-adic valuation to the coefficients A_{l,m}. It refers to the results of H. Cohen on the 2-adic valuations of partial sums of poly-logarithmic series. The paper introduces the Stirling numbers of the second kind and presents a main conjecture regarding their 2-adic valuation.",
        "entities": [
          {
            "name": "b_{l,m}",
            "entity_id": "b_l_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "m \\sum_{k=l}^{2m-2k} \\binom{m-k}{m+k} \\binom{k}{l} 2^k",
              "domain": "m \\in \\mathbb{N}, 0 \\le l \\le m",
              "origin": "evaluation of definite integral N_{0,4}(a; m)",
              "model_entity_type": "sequence"
            },
            "relationships": [
              {
                "predicate": "appears_in",
                "target": "definite integral N_{0,4}(a; m)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "definite integral N_{0,4}(a; m)",
            "entity_id": "definite_integral_n_0_4_a_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "\\int_0^\\infty \\frac{dx}{(x^4 + 2ax^2 + 1)^{m+1}}",
              "model_entity_type": "mathematical_expression"
            },
            "relationships": []
          },
          {
            "name": "A_{l,m}",
            "entity_id": "a_l_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "\\frac{l!}{m!} 2^{m-l} b_{l,m}",
              "alternative_form": "\\alpha_l(m) \\prod_{k=1}^m (4k-1) - \\beta_l(m) \\prod_{k=1}^m (4k+1)",
              "model_entity_type": "coefficient"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "b_{l,m}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "involves_polynomial",
                "target": "\\alpha_l",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "involves_polynomial",
                "target": "\\beta_l",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "\\alpha_l",
            "entity_id": "alpha_l",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "coefficients": "integer",
              "degree": "l",
              "model_entity_type": "polynomial"
            },
            "relationships": []
          },
          {
            "name": "\\beta_l",
            "entity_id": "beta_l",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "coefficients": "integer",
              "degree": "l - 1",
              "model_entity_type": "polynomial"
            },
            "relationships": []
          },
          {
            "name": "J. Little",
            "entity_id": "j_little",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "established",
                "target": "Corollary 1.3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Corollary 1.3",
            "entity_id": "corollary_1_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "\\nu_2(A_{l,m}) = 3l - s_2(m+l) + s_2(m-l)",
              "status": "As stated in [4], and confirmed by J. Little in [10] ",
              "model_entity_type": "mathematical_result"
            },
            "relationships": [
              {
                "predicate": "describes_valuation_of",
                "target": "A_{l,m}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "H. Cohen",
            "entity_id": "h_cohen",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "proved_results_on",
                "target": "partial sums of polylogarithmic series",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "polylogarithmic series Li_k(x)",
            "entity_id": "polylogarithmic_series_li_k_x",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "\\sum_{j=1}^\\infty \\frac{x^j}{j^k}",
              "model_entity_type": "mathematical_series"
            },
            "relationships": []
          },
          {
            "name": "L_k(n)",
            "entity_id": "l_k_n",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "\\sum_{j=1}^n \\frac{2^j}{j^k}",
              "model_entity_type": "mathematical_function"
            },
            "relationships": [
              {
                "predicate": "is_partial_sum_of",
                "target": "polylogarithmic series Li_k(x)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-adic valuation of L_1(2^m)",
            "entity_id": "2_adic_valuation_of_l_1_2_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "\\nu_2(L_1(2^m)) = 2^m + 2m - 4",
              "condition": "m \\ge 4",
              "model_entity_type": "mathematical_property"
            },
            "relationships": [
              {
                "predicate": "proved_by",
                "target": "H. Cohen",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "2-adic valuation of L_2(2^m)",
            "entity_id": "2_adic_valuation_of_l_2_2_m",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "\\nu_2(L_2(2^m)) = 2^m + m - 1",
              "condition": "m \\ge 4",
              "model_entity_type": "mathematical_property"
            },
            "relationships": [
              {
                "predicate": "proved_by",
                "target": "H. Cohen",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(n, k)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "number of ways to partition a set of n elements into exactly k nonempty subsets",
              "domain": "n \\in \\mathbb{N}, 0 \\le k \\le n",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "analyzed_in",
                "target": "current paper",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Main conjecture",
            "entity_id": "main_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuation of Stirling numbers of the second kind S(n, k)",
              "method": "algorithm leading to description of \\nu_2(S(n, k))",
              "established_case": "k = 5",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "concerns",
                "target": "Stirling numbers of the second kind S(n, k)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{2^m i + j : i \\in \\mathbb{N} \\text{ such that } 2^m i + j \\ge k}",
              "model_entity_type": "set"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 1,
          "start_word": 463,
          "end_word": 950,
          "word_count": 487,
          "sha256": "b044b78580005b2faa3551cfb25dbb62894399910f46864a90d4b6808bcbfc1d",
          "sentence_minhash": [
            167200217492106239,
            1306423125707224,
            151260943597763167,
            53442166147602330,
            148925132169520149,
            139865850146007968,
            149017575652778032,
            141533163731829282,
            21579496338166870,
            76931577636070685,
            78280491562202942,
            565084831203707131,
            51125582506972287,
            58558631451210278,
            303264414993015767,
            200787641028370587
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'sequence' for 'b_{l,m}'",
          "normalized unsupported entity type 'mathematical_expression' for 'definite integral N_{0,4}(a; m)'",
          "normalized unsupported entity type 'coefficient' for 'A_{l,m}'",
          "normalized unsupported entity type 'polynomial' for '\\\\alpha_l'",
          "normalized unsupported entity type 'polynomial' for '\\\\beta_l'",
          "normalized unsupported entity type 'mathematical_result' for 'Corollary 1.3'",
          "normalized unsupported entity type 'mathematical_series' for 'polylogarithmic series Li_k(x)'",
          "normalized unsupported entity type 'mathematical_function' for 'L_k(n)'",
          "normalized unsupported entity type 'mathematical_property' for '2-adic valuation of L_1(2^m)'",
          "normalized unsupported entity type 'mathematical_property' for '2-adic valuation of L_2(2^m)'",
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, k)'",
          "normalized unsupported entity type 'mathematical_conjecture' for 'Main conjecture'",
          "normalized unsupported entity type 'set' for 'C_{m,j}'"
        ]
      },
      {
        "chunk_index": 2,
        "context_summary": "The text defines the 2-adic valuation of Stirling number classes and introduces the concept of m-levels as a partition of integers. It presents a main conjecture regarding the structure of these levels, specifically identifying the first level with constant classes and the stable number of classes at higher levels. An example is provided for Stirling numbers of the second kind with k=11.",
        "entities": [
          {
            "name": "C_{m,j}",
            "entity_id": "c_m_j",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "Set of integers of the form 2^m * i + j for i >= 0",
              "partition_property": "Forms a partition of {n in N : n >= k} into classes modulo 2^m"
            },
            "relationships": [
              {
                "predicate": "has_valuation_set",
                "target": "nu_2(C_{m,j})",
                "attributes": {
                  "definition": "{nu_2(S(2^m * i + j, k)) : i in N and 2^m * i + j >= k}"
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "constant class",
            "entity_id": "constant_class",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "A class C_{m,j} where nu_2(C_{m,j}) consists of a single value"
            },
            "relationships": [
              {
                "predicate": "has_constant_value",
                "target": "constant of the class",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{2,1}",
            "entity_id": "c_2_1",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "membership": "Class in the 2-level for k=5",
              "status": "constant"
            },
            "relationships": [
              {
                "predicate": "has_constant_valuation",
                "target": "0",
                "attributes": {
                  "source": "Corollary 3.2"
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{2,2}",
            "entity_id": "c_2_2",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "membership": "Class in the 2-level for k=5",
              "status": "constant"
            },
            "relationships": [
              {
                "predicate": "has_constant_valuation",
                "target": "0",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "m-level",
            "entity_id": "m_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "Inductively defined set of classes",
              "base_case": "1-level consists of C_{1,0} (even integers >= k) and C_{1,1} (odd integers >= k)"
            },
            "relationships": [
              {
                "predicate": "splitting_rule",
                "target": "Each class C_{m-1,ij} splits into C_{m,ij} and C_{m,ij + 2^{m-1}}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Conjecture 1.5",
            "entity_id": "conjecture_1_5",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuation of Stirling numbers of the second kind S(n, k)",
              "parameter_definition": "m_0 is defined by 2^{m_0 - 1} < k <= 2^{m_0}"
            },
            "relationships": [
              {
                "predicate": "predicts_first_constant_level",
                "target": "m_0 - 1",
                "attributes": {
                  "detail": "Each class belongs to the j-level for 1 <= j <= m_0 - 2. "
                },
                "target_id": null
              },
              {
                "predicate": "predicts_stable_class_count",
                "target": "2^{m_0 - 2}",
                "attributes": {
                  "condition": "For any m >= 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": "concept",
            "aliases": [],
            "attributes": {
              "k_value": 11,
              "m_0_value": 4
            },
            "relationships": [
              {
                "predicate": "conjecture_prediction",
                "target": "3-level is first with constant classes; each subsequent level has exactly four classes",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 2,
          "start_word": 950,
          "end_word": 1433,
          "word_count": 483,
          "sha256": "5c34c5f8eeb9668334091afa9e3626c620a7bed48e80e97edfd7e2a7fa4e1a92",
          "sentence_minhash": [
            315931021563575867,
            1306423125707224,
            23103724853578534,
            141557533923110381,
            146627570953161212,
            428209587723997907,
            627545230825494436,
            152326886699586849,
            228439795799410229,
            76931577636070685,
            78280491562202942,
            139309872259060027,
            164575269931903557,
            906306679132868,
            303264414993015767,
            69242845566341429
          ]
        },
        "extraction_warnings": []
      },
      {
        "chunk_index": 3,
        "context_summary": "The text details the 2-adic valuation of Stirling numbers of the second kind, noting that the four classes at the 2-level have non-constant valuations. It presents explicit formulas, generating functions, and recurrences for these numbers, along with specific valuation results for powers of two and nearby integers. The section concludes by providing elementary formulas and valuation properties for Stirling numbers with small k values (1 to 4).",
        "entities": [
          {
            "name": "2-level",
            "entity_id": "2_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "composition": "Classes C_{2,0}, C_{2,1}, C_{2,2}, C_{2,3}",
              "property": "non-constant 2-adic valuation"
            },
            "relationships": []
          },
          {
            "name": "3-level",
            "entity_id": "3_level",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "valuation_C_3_3": "0",
              "valuation_C_3_5": "0",
              "valuation_C_3_4": "1",
              "valuation_C_3_6": "1"
            },
            "relationships": []
          },
          {
            "name": "Stirling numbers of the second kind S(n, k)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "explicit_formula": "1/k! * sum_{i=0}^{k-1} (-1)^i * binom(k, i) * (k-i)^n",
              "generating_function": "x^n / ((1-x)(1-2x)...(1-kx)) for n>=1",
              "recurrence": "S(n, k) = S(n-1, k-1) + k*S(n-1, k)",
              "model_entity_type": "mathematical_object"
            },
            "relationships": [
              {
                "predicate": "expansion_identity",
                "target": "x^n = sum_{k=0}^n S(n, k)(x-k+1)^k",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel's conjecture",
            "entity_id": "lengyel_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "status": "proved by De Wannemacker",
              "model_entity_type": "mathematical_claim"
            },
            "relationships": [
              {
                "predicate": "states",
                "target": "nu_2(S(2^n, k)) = s_2(k) - 1",
                "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": "function"
            },
            "relationships": []
          },
          {
            "name": "De Wannemacker's inequality",
            "entity_id": "de_wannemacker_s_inequality",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "nu_2(S(n, k)) >= s_2(k) - s_2(n)",
              "domain": "0 <= k <= n",
              "model_entity_type": "mathematical_result"
            },
            "relationships": []
          },
          {
            "name": "S(n, 1)",
            "entity_id": "s_n_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "value": "1 for all n in N",
              "model_entity_type": "mathematical_object"
            },
            "relationships": []
          },
          {
            "name": "S(n, 3)",
            "entity_id": "s_n_3",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "1/2 * (3^(n-1) - 2^n + 1)",
              "valuation_rule": "0 if n is odd, 1 if n is even",
              "model_entity_type": "mathematical_object"
            },
            "relationships": []
          }
        ],
        "source": {
          "chunk_index": 3,
          "start_word": 1433,
          "end_word": 1927,
          "word_count": 494,
          "sha256": "417ed48daae628ad76041e514fe3b418ff8253a109f600db6b6d8df52732fdfa",
          "sentence_minhash": [
            400955583959429622,
            232593725413697090,
            132898077708225042,
            524444266118806316,
            158278186834940345,
            428209587723997907,
            149017575652778032,
            113181735942458166,
            266927695903760850,
            92715222163426349,
            78280491562202942,
            216759334017540668,
            154708990195788138,
            58558631451210278,
            139254418913316130,
            37319280976767778
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_object' for 'Stirling numbers of the second kind S(n, k)'",
          "normalized unsupported entity type 'mathematical_claim' for \"Lengyel's conjecture\"",
          "normalized unsupported entity type 'function' for 's_2(k)'",
          "normalized unsupported entity type 'mathematical_result' for \"De Wannemacker's inequality\"",
          "normalized unsupported entity type 'mathematical_object' for 'S(n, 1)'",
          "normalized unsupported entity type 'mathematical_object' for 'S(n, 3)'"
        ]
      },
      {
        "chunk_index": 4,
        "context_summary": "The text derives the 2-adic valuation of Stirling numbers of the second kind for k=3 and k=4 using recurrence relations and the ultrametric inequality. It establishes that the valuation for S(n, 3) is 0 for odd n and 1 for even n, while for S(n, 4) it is 1 for odd n and 0 for even n.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(n, 3)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_n_3",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "explicit_formula": "2^(n-1) - sum_{k=1}^{n-2} 3^k (2^(n-k) - 1)",
              "valuation_odd_n": "0",
              "valuation_even_n": "1"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "recurrence (1.29)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "second_proof_uses",
                "target": "ultrametric inequality",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "ultrametric inequality",
            "entity_id": "ultrametric_inequality",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "formula": "ν_2(x_1 + x_2) ≥ Min {ν_2(x_1), ν_2(x_2)}",
              "strictness_condition": "strict unless ν_2(x_1) = ν_2(x_2)"
            },
            "relationships": [
              {
                "predicate": "equivalent_to",
                "target": "equation (1.6)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "powers of 3 modulo 8",
            "entity_id": "powers_of_3_modulo_8",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "congruence": "3^(m+1) ≡ 2 + (-1)^(m+1) mod 8",
              "basis": "3^(2k) ≡ 1 mod 8"
            },
            "relationships": [
              {
                "predicate": "leads_to_valuation",
                "target": "ν_2(3^(m+1))",
                "attributes": {
                  "value_odd_m": "2",
                  "value_even_m": "1"
                },
                "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_odd_n": "1",
              "valuation_even_n": "0"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "equation (1.27)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "uses_recurrence",
                "target": "S(n, 4) = S(n -1, 3) + 4S(n -1, 4)",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 4,
          "start_word": 1927,
          "end_word": 2426,
          "word_count": 499,
          "sha256": "cd4964de3a924617672e36503a9171a4eb8cd5057189c7efde75779b299dafbf",
          "sentence_minhash": [
            400955583959429622,
            232593725413697090,
            132898077708225042,
            524444266118806316,
            148925132169520149,
            428209587723997907,
            149017575652778032,
            113181735942458166,
            266927695903760850,
            92715222163426349,
            78280491562202942,
            221655330234976794,
            164575269931903557,
            161945415629665627,
            303264414993015767,
            112183611702210919
          ]
        },
        "extraction_warnings": []
      },
      {
        "chunk_index": 5,
        "context_summary": "The text derives the 2-adic valuation for Stirling numbers of the second kind with k=4 and introduces the analysis for k=5. It defines the m-level structure for k=5, identifying constant classes at the 2-level and reducing the valuation problem to specific congruence classes modulo 4. A proposition is provided proving that the valuation is 1 for indices that are multiples of 8.",
        "entities": [
          {
            "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": {
              "valuation_rule": "nu_2(S(n, 4)) = 1 for odd n"
            },
            "relationships": [
              {
                "predicate": "derived_from",
                "target": "recurrence relation (2.16)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "depends_on",
                "target": "nu_2(S(n-1, 3)) = 1",
                "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)"
            },
            "relationships": [
              {
                "predicate": "analyzed_via",
                "target": "m-levels",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "satisfies_proposition",
                "target": "Proposition 3.5",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "m-levels for S(n, 5)",
            "entity_id": "m_levels_for_s_n_5",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "1_level_classes": "{C_{1,0}, C_{1,1}}",
              "2_level_classes": "{C_{2,0}, C_{2,3}}",
              "constant_classes_at_2_level": "{C_{2,1}, C_{2,2}}"
            },
            "relationships": [
              {
                "predicate": "confirms",
                "target": "main conjecture",
                "attributes": {
                  "m_0": 3,
                  "first_constant_level": 2
                },
                "target_id": null
              }
            ]
          },
          {
            "name": "Corollary 3.2",
            "entity_id": "corollary_3_2",
            "entity_type": "method",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "reduces_analysis_to",
                "target": "indices n ≡ 0 or 3 mod 4",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "exceptional index",
            "entity_id": "exceptional_index",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "definition": "index i where q_{4i} = q_{4i+3}"
            },
            "relationships": [
              {
                "predicate": "first_instance",
                "target": "i = 7",
                "attributes": {
                  "q_28": 6,
                  "q_31": 7
                },
                "target_id": null
              },
              {
                "predicate": "sequence",
                "target": "{7, 39, 71, 103, ...}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Proposition 3.5",
            "entity_id": "proposition_3_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "nu_2(S(8i, 5)) = 1 for all i >= 1",
              "model_entity_type": "finding"
            },
            "relationships": [
              {
                "predicate": "proven_by",
                "target": "modular arithmetic analysis of identity (3.14)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "modular arithmetic analysis of identity (3.14)",
            "entity_id": "modular_arithmetic_analysis_of_identity_3_14",
            "entity_type": "method",
            "aliases": [],
            "attributes": {
              "modulus": 32,
              "congruences_used": [
                "5^8 ≡ 1",
                "5^7 ≡ 13",
                "3^8i ≡ 1"
              ]
            },
            "relationships": [
              {
                "predicate": "derives",
                "target": "5^(8i-1) ≡ 13",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 5,
          "start_word": 2426,
          "end_word": 2922,
          "word_count": 496,
          "sha256": "0d62496118b4199595c37b0589956a6aef4a10dcfa50579d8d304cf08c0685ad",
          "sentence_minhash": [
            21703368277289870,
            18551641988871988,
            69729176314767099,
            208823991573236229,
            177359358208975170,
            428209587723997907,
            84576184460003765,
            63183425104977485,
            113198931733945138,
            76931577636070685,
            78280491562202942,
            290193957775112232,
            12488864069851856,
            906306679132868,
            303264414993015767,
            117472307714712089
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'finding' for 'Proposition 3.5'"
        ]
      },
      {
        "chunk_index": 6,
        "context_summary": "The text derives 2-adic valuation properties for the second-order Stirling numbers for k=5, in particular for indices that are congruent to 4, 3, and 7 modulo 8. It identifies the 3-stage classes for k=5 and describes the process of dividing them into 4-stage classes. The section concludes by introducing Stirling-like numbers defined by Lundell and a conjecture by Clarke relating their valuations to standard Stirling numbers.",
        "entities": [
          {
            "name": "Stirling numbers of the second kind S(8i, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_8i_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "index_form": "8i",
              "k_value": 5,
              "model_entity_type": "mathematical_expression"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation",
                "target": "1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(8i + 4, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_8i_4_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "index_form": "8i + 4",
              "k_value": 5,
              "model_entity_type": "mathematical_expression"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation_at_least",
                "target": "2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Proposition 3.6",
            "entity_id": "proposition_3_6",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "subject": "Second-order Stirling numbers S(8i + 4, 5) ",
              "model_entity_type": "mathematical_statement"
            },
            "relationships": [
              {
                "predicate": "states_valuation_bound",
                "target": "nu_2(S(8i + 4, 5)) >= 2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lengyel's result",
            "entity_id": "lengyel_s_result",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "formula": "nu_2(k!S(n, k)) = k - 1",
              "conditions": "n = a * 2^q, a odd, q >= k - 2",
              "model_entity_type": "mathematical_theorem"
            },
            "relationships": [
              {
                "predicate": "implies_valuation_for_k_5",
                "target": "nu_2(S(n, 5)) = 1 for n = a * 2^q with q >= 3",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(8i + 3, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_8i_3_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "index_form": "8i + 3",
              "k_value": 5,
              "model_entity_type": "mathematical_expression"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation",
                "target": "1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers of the second kind S(8i + 7, 5)",
            "entity_id": "stirling_numbers_of_the_second_kind_s_8i_7_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "index_form": "8i + 7",
              "k_value": 5,
              "model_entity_type": "mathematical_expression"
            },
            "relationships": [
              {
                "predicate": "has_2_adic_valuation_at_least",
                "target": "2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "3-level for k=5",
            "entity_id": "3_level_for_k_5",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "classes": [
                "C_{3,4}",
                "C_{3,7}"
              ],
              "model_entity_type": "mathematical_structure"
            },
            "relationships": [
              {
                "predicate": "illustrates",
                "target": "main conjecture",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "C_{3,4}",
            "entity_id": "c_3_4",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "level": 3,
              "index_congruence": "4 mod 8",
              "model_entity_type": "mathematical_class"
            },
            "relationships": [
              {
                "predicate": "splits_into",
                "target": "C_{4,4}",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "splits_into",
                "target": "C_{4,12}",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Lundell's Stirling-like numbers T_p(n, k)",
            "entity_id": "lundell_s_stirling_like_numbers_t_p_n_k",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "Sum from j=0 to k of (-1)^(k-j) * binomial(k, j) * j^n, omitting j if divisible by p",
              "model_entity_type": "mathematical_sequence"
            },
            "relationships": [
              {
                "predicate": "studied_by",
                "target": "Lundell",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke's conjecture",
            "entity_id": "clarke_s_conjecture",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "statement": "nu_p(k! S(n, k)) = nu_p(T_p(n, k))",
              "model_entity_type": "mathematical_conjecture"
            },
            "relationships": [
              {
                "predicate": "proposed_by",
                "target": "Clarke",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 6,
          "start_word": 2922,
          "end_word": 3404,
          "word_count": 482,
          "sha256": "682ff048a0604fbdfc038ce8a750d422cb2b72cde6e31f8dc32eecbbac7d0572",
          "sentence_minhash": [
            21703368277289870,
            1306423125707224,
            229329608839330056,
            53442166147602330,
            148925132169520149,
            62667647458868521,
            84576184460003765,
            96292850158067112,
            250103587932991025,
            92715222163426349,
            78280491562202942,
            171596837418463449,
            12488864069851856,
            161945415629665627,
            194885768149381016,
            117472307714712089
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i, 5)'",
          "normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 4, 5)'",
          "normalized unsupported entity type 'mathematical_statement' for 'Proposition 3.6'",
          "normalized unsupported entity type 'mathematical_theorem' for \"Lengyel's result\"",
          "normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 3, 5)'",
          "normalized unsupported entity type 'mathematical_expression' for 'Stirling numbers of the second kind S(8i + 7, 5)'",
          "normalized unsupported entity type 'mathematical_structure' for '3-level for k=5'",
          "normalized unsupported entity type 'mathematical_class' for 'C_{3,4}'",
          "normalized unsupported entity type 'mathematical_sequence' for \"Lundell's Stirling-like numbers T_p(n, k)\"",
          "normalized unsupported entity type 'mathematical_conjecture' for \"Clarke's conjecture\""
        ]
      },
      {
        "chunk_index": 7,
        "context_summary": "The text presents a theorem expressing the 2-adic valuation of Stirling numbers of the second kind for k=5 in terms of 2-adic zeros of a specific function, contingent on a prior conjecture. It notes that similar expressions exist for k=6 and k=7. The section outlines the proof strategy for the main conjecture at k=5 and introduces empirical approximations and graphical observations regarding the valuation behavior.",
        "entities": [
          {
            "name": "Theorem 3.8",
            "entity_id": "theorem_3_8",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuation of S(n, 5)",
              "condition": "Conjecture (3.28) holds",
              "model_entity_type": "theorem"
            },
            "relationships": [
              {
                "predicate": "defines_valuation_for_even_n_as",
                "target": "-1 + v_2(n - u_0)",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "defines_valuation_for_odd_n_as",
                "target": "-1 + v_2(n - u_1)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_{0,5}(x)",
            "entity_id": "f_0_5_x",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "5 + 10 * 3^x + 5^x",
              "domain": "ring of 2-adic integers Z_2",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "has_zero",
                "target": "u_0",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "has_zero",
                "target": "u_1",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_0",
            "entity_id": "u_0",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "property": "unique zero of f_{0,5}(x) in 2Z_2"
            },
            "relationships": [
              {
                "predicate": "belongs_to",
                "target": "2Z_2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "u_1",
            "entity_id": "u_1",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "property": "other zero of f_{0,5}(x)"
            },
            "relationships": [
              {
                "predicate": "belongs_to",
                "target": "1 + 2Z_2",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Clarke",
            "entity_id": "clarke",
            "entity_type": "person",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "obtained_expressions_for",
                "target": "v_2(S(n, 6)) and v_2(S(n, 7))",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_{0,6}(x)",
            "entity_id": "f_0_6_x",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "-6 - 20 * 3^x - 6 * 5^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "used_for_valuation_of",
                "target": "S(n, 6)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "f_{0,7}(x)",
            "entity_id": "f_0_7_x",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "expression": "7 + 35 * 3^x + 21 * 5^x + 7^x",
              "model_entity_type": "function"
            },
            "relationships": [
              {
                "predicate": "used_for_valuation_of",
                "target": "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": {
              "parameter_m_0": 3,
              "first_constant_level": 2,
              "model_entity_type": "conjecture"
            },
            "relationships": [
              {
                "predicate": "is_proven_in_section_4",
                "target": "true",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "I_1",
            "entity_id": "i_1",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "definition": "{x_1(m) : m >= 0}",
              "exception_property": "v_2(S(m, 5)) != v_2(f_1(m)) for m in I_1",
              "model_entity_type": "set"
            },
            "relationships": [
              {
                "predicate": "odd_elements_pattern",
                "target": "every third element is odd",
                "attributes": {},
                "target_id": null
              },
              {
                "predicate": "even_indices_progression",
                "target": "256m + 156",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Graph of v_2(S(n, 126))",
            "entity_id": "graph_of_v_2_s_n_126",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "model_entity_type": "data_visualization"
            },
            "relationships": [
              {
                "predicate": "shows_basic_function",
                "target": "v_2(n)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Graphs of v_2(S(n, 195)) and v_2(S(n, 260))",
            "entity_id": "graphs_of_v_2_s_n_195_and_v_2_s_n_260",
            "entity_type": "other",
            "aliases": [],
            "attributes": {
              "model_entity_type": "data_visualization"
            },
            "relationships": [
              {
                "predicate": "display_oscillation_between",
                "target": "two consecutive values",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 7,
          "start_word": 3404,
          "end_word": 3892,
          "word_count": 488,
          "sha256": "93b667b2027ce5554816d7d790bacf0e0d0983c24f82f71efcc86bc129e5c8ec",
          "sentence_minhash": [
            315931021563575867,
            1306423125707224,
            365220491043541866,
            141557533923110381,
            148925132169520149,
            62667647458868521,
            12025634198112669,
            152326886699586849,
            121868570449012213,
            92715222163426349,
            78280491562202942,
            139309872259060027,
            8649321992247620,
            58558631451210278,
            213007863687822379,
            69242845566341429
          ]
        },
        "extraction_warnings": [
          "normalized unsupported entity type 'theorem' for 'Theorem 3.8'",
          "normalized unsupported entity type 'function' for 'f_{0,5}(x)'",
          "normalized unsupported entity type 'function' for 'f_{0,6}(x)'",
          "normalized unsupported entity type 'function' for 'f_{0,7}(x)'",
          "normalized unsupported entity type 'conjecture' for 'Main conjecture for k=5'",
          "normalized unsupported entity type 'set' for 'I_1'",
          "normalized unsupported entity type 'data_visualization' for 'Graph of v_2(S(n, 126))'",
          "normalized unsupported entity type 'data_visualization' for 'Graphs of v_2(S(n, 195)) and v_2(S(n, 260))'"
        ]
      },
      {
        "chunk_index": 8,
        "context_summary": "The authors acknowledge a lack of explanation for certain observed features. They present a conjecture regarding the 2-adic valuation of Stirling numbers of the second kind, which has been proven for the case where k equals 5.",
        "entities": [
          {
            "name": "conjecture on 2-adic valuation of Stirling numbers",
            "entity_id": "conjecture_on_2_adic_valuation_of_stirling_numbers",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {
              "subject": "2-adic valuation of Stirling numbers S(n, k)",
              "status": "established for k = 5"
            },
            "relationships": [
              {
                "predicate": "describes",
                "target": "2-adic valuation of Stirling numbers S(n, k)",
                "attributes": {},
                "target_id": null
              }
            ]
          },
          {
            "name": "Stirling numbers S(n, k)",
            "entity_id": "stirling_numbers_s_n_k",
            "entity_type": "concept",
            "aliases": [],
            "attributes": {},
            "relationships": [
              {
                "predicate": "subject_of_conjecture",
                "target": "conjecture on 2-adic valuation of Stirling numbers",
                "attributes": {},
                "target_id": null
              }
            ]
          }
        ],
        "source": {
          "chunk_index": 8,
          "start_word": 3892,
          "end_word": 3926,
          "word_count": 34,
          "sha256": "9c6c78245db4d0d49749fb99cdf7e47d348e153cc310dbd361faac5c22f62e8c",
          "sentence_minhash": [
            1186993754061830951,
            252963467709525922,
            427846247254264662,
            839972970238381384,
            248181445042138913,
            428209587723997907,
            510041251351664276,
            432606846409385059,
            671633213597356161,
            2401279320804024734,
            78280491562202942,
            1060340779092222405,
            66824309535235066,
            909713818676360156,
            1844043544238636957,
            296703126451676242
          ]
        },
        "extraction_warnings": []
      }
    ],
    "canonical_entities": []
  },
  "chunks_expected": 9,
  "chunks_generated": 9,
  "failed_chunks": [],
  "repair": {
    "accepted_windows": 6,
    "rolled_back": false,
    "original_context_sha256": "a96ae336fdb29ce62168f9b719b77edec1f128a8f71e04dc05805dca8afdfff9",
    "final_context_sha256": "b1f79bf294612a6712ea2b7cb734e9684dc982bfa43379f2972bbdbed561fdcd",
    "critical_values": {
      "passed": true,
      "checks": {
        "numbers": true,
        "quantities": true,
        "formulas": true,
        "mathematical_variables": true,
        "operators": true
      },
      "before": {
        "numbers": [
          "1",
          "2",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "0",
          "0",
          "4",
          "0",
          "4",
          "0",
          "4",
          "4",
          "2",
          "1",
          "1",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.3",
          "1.3",
          "4",
          "1E+1",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "2",
          "2",
          "1",
          "4",
          "0",
          "2",
          "5",
          "2",
          "2",
          "2",
          "11",
          "2",
          "0",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "5",
          "0",
          "3.2",
          "2",
          "2",
          "2",
          "5",
          "0",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2",
          "1",
          "1.5",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "1",
          "11",
          "11",
          "4",
          "3",
          "2",
          "2",
          "1",
          "4",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "2",
          "3",
          "0",
          "0",
          "1",
          "1",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "2",
          "1",
          "0",
          "1",
          "1",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "0",
          "1",
          "2",
          "3",
          "4",
          "3",
          "0",
          "1",
          "4",
          "1",
          "0",
          "3",
          "2",
          "1",
          "1",
          "2",
          "3",
          "2",
          "1",
          "0",
          "1",
          "1.29",
          "1.6",
          "3",
          "8",
          "3",
          "1",
          "2",
          "-1",
          "1",
          "8",
          "3",
          "1",
          "8",
          "3",
          "1",
          "2",
          "1",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "1",
          "0",
          "1.27",
          "4",
          "-1",
          "3",
          "-1",
          "4",
          "2",
          "4",
          "5",
          "5",
          "2",
          "4",
          "1",
          "8",
          "4",
          "4",
          "1",
          "2.16",
          "1",
          "3",
          "1",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3.5",
          "5",
          "1",
          "0",
          "1",
          "1",
          "2",
          "0",
          "2",
          "3",
          "2",
          "1",
          "2",
          "2",
          "3",
          "2",
          "3.2",
          "0",
          "3",
          "4",
          "3",
          "7",
          "6",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "3.14",
          "3.14",
          "32",
          "5",
          "8",
          "1",
          "5",
          "7",
          "13",
          "3",
          "1",
          "5",
          "1",
          "13",
          "2",
          "5",
          "4",
          "3",
          "7",
          "8",
          "3",
          "5",
          "4",
          "5",
          "5",
          "1",
          "4",
          "5",
          "4",
          "5",
          "2",
          "3.6",
          "4",
          "5",
          "4",
          "5",
          "2",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "3",
          "5",
          "3",
          "5",
          "1",
          "7",
          "5",
          "7",
          "5",
          "2",
          "3",
          "5",
          "3",
          "4",
          "3",
          "7",
          "3",
          "4",
          "3",
          "4",
          "8",
          "4",
          "4",
          "4",
          "12",
          "0",
          "-1",
          "2",
          "5",
          "2",
          "6",
          "7",
          "5",
          "3.8",
          "2",
          "5",
          "3.28",
          "-1",
          "-1",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "2",
          "0",
          "5",
          "0",
          "5",
          "1",
          "6",
          "7",
          "0",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "0",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "5",
          "3",
          "2",
          "0",
          "5",
          "256",
          "156",
          "126",
          "195",
          "2.6E+2",
          "2",
          "5",
          "2",
          "2",
          "5",
          "2",
          "2"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+v_2",
          "-1+v_2",
          "-6-2E+1*3^x-6*5^x",
          "0≤k",
          "1-x",
          "1/2",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "1≤j",
          "21",
          "2^j",
          "2^k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "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-1",
          "2^m_0-2",
          "2^n",
          "2^n1",
          "3^k",
          "3^n-3*2",
          "4^n2*3^n-2",
          "51E+1*3^x5^x",
          "5^7",
          "5^8",
          "735*3^x21*5^x7^x",
          "S(2^m*i+j,k)",
          "S(2^n,k)",
          "S(8i,5)",
          "S(8i,5)",
          "S(8i3,5)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(8i7,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,11)",
          "S(n,126)",
          "S(n,195)",
          "S(n,2.6E+2)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,6)",
          "S(n,6)",
          "S(n,7)",
          "S(n,7)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n-1,3)",
          "S(n-1,3)",
          "S(n-1,k)",
          "S(n-1,k-1)",
          "a*2^q",
          "a*2^q",
          "a*p^n",
          "a/b",
          "i+j",
          "i+j",
          "i=0",
          "i=7",
          "i≥0",
          "i≥1",
          "j=0",
          "j=1",
          "j=1",
          "j^k",
          "j^k",
          "j^n",
          "j≥k",
          "k*S",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k=0",
          "k=1",
          "k=1",
          "k=1",
          "k=11",
          "k=3",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=6",
          "k=7",
          "k=l",
          "l-1",
          "m(4k-1)",
          "m(4k1)",
          "m+k",
          "m+l",
          "m-1",
          "m-4",
          "m-k",
          "m-k",
          "m-l",
          "m-s_p",
          "m1",
          "m1",
          "m1",
          "m1",
          "m1",
          "m156",
          "m=a",
          "m_0-1",
          "m_0-2",
          "m≥0",
          "m≥m_0",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n-k",
          "n-u_0",
          "n-u_1",
          "n1",
          "n1",
          "n=a",
          "n=a",
          "n=s",
          "n≥1",
          "n≥k",
          "p-1",
          "p≤1",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s≥k",
          "s≥k",
          "x-k1",
          "x^4",
          "x^j",
          "x^n",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "I_1",
          "L_1",
          "L_1",
          "L_2",
          "L_2",
          "L_k",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_visualization",
          "a_visualization",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_case",
          "d_elements_pattern",
          "d_expressions_for",
          "d_for_valuation_of",
          "d_for_valuation_of",
          "d_from",
          "d_from",
          "d_from",
          "d_from",
          "d_from",
          "d_in",
          "d_proof_uses",
          "d_results_on",
          "d_to",
          "d_to",
          "d_via",
          "e_case",
          "e_even_m",
          "e_form",
          "e_odd_m",
          "e_prediction",
          "f_1",
          "g_function",
          "g_rule",
          "i_k",
          "i_k",
          "k_value",
          "k_value",
          "k_value",
          "k_value",
          "k_value",
          "l_claim",
          "l_class",
          "l_classes",
          "l_classes",
          "l_conjecture",
          "l_conjecture",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_function",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_property",
          "l_property",
          "l_result",
          "l_result",
          "l_sequence",
          "l_series",
          "l_statement",
          "l_structure",
          "l_theorem",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_value",
          "n_C_3_3",
          "n_C_3_4",
          "n_C_3_5",
          "n_C_3_6",
          "n_by",
          "n_even_n",
          "n_even_n",
          "n_identity",
          "n_indices_progression",
          "n_odd_n",
          "n_odd_n",
          "n_property",
          "n_property",
          "n_rule",
          "n_rule",
          "q_28",
          "q_31",
          "q_4i",
          "q_4i",
          "r_definition",
          "r_m_0",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2_adic_valuation",
          "s_2_adic_valuation",
          "s_2_adic_valuation_at_least",
          "s_2_adic_valuation_at_least",
          "s_analysis_to",
          "s_basic_function",
          "s_completion_of",
          "s_condition",
          "s_constant_valuation",
          "s_constant_valuation",
          "s_constant_value",
          "s_first_constant_level",
          "s_in",
          "s_into",
          "s_into",
          "s_on",
          "s_p",
          "s_partial_sum_of",
          "s_polynomial",
          "s_polynomial",
          "s_proof_for",
          "s_proposition",
          "s_proven_in_section_4",
          "s_recurrence",
          "s_stable_class_count",
          "s_to",
          "s_to",
          "s_to_valuation",
          "s_used",
          "s_valuation_bound",
          "s_valuation_for_even_n_as",
          "s_valuation_for_k_5",
          "s_valuation_for_odd_n_as",
          "s_valuation_of",
          "s_valuation_set",
          "s_zero",
          "s_zero",
          "t_0",
          "t_classes_at_2_level",
          "t_constant_level",
          "t_constant_level",
          "t_formula",
          "t_formula",
          "t_formula",
          "t_formula",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_instance",
          "t_of_conjecture",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_to",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_p",
          "u_p",
          "v_2",
          "v_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",
          "x_congruence",
          "x_form",
          "x_form",
          "x_form",
          "x_form",
          "y_oscillation_between",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "operators": [
          "=",
          "=",
          "=",
          "=",
          "=",
          "<=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          ">=",
          ">=",
          "=",
          "=",
          ">=",
          ">=",
          "<",
          "<=",
          "<=",
          "<=",
          ">=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "<=",
          "<=",
          "=",
          "=",
          "=",
          "≥",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          ">=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          "=",
          ">=",
          "!=",
          "="
        ]
      },
      "after": {
        "numbers": [
          "1",
          "2",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "0",
          "0",
          "4",
          "0",
          "4",
          "0",
          "4",
          "4",
          "2",
          "1",
          "1",
          "2",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1.3",
          "1.3",
          "4",
          "1E+1",
          "1",
          "1",
          "2",
          "2",
          "2",
          "2",
          "2",
          "2",
          "4",
          "4",
          "2",
          "2",
          "2",
          "2",
          "1",
          "4",
          "0",
          "2",
          "5",
          "2",
          "2",
          "2",
          "11",
          "2",
          "0",
          "2",
          "2",
          "2",
          "2",
          "1",
          "2",
          "5",
          "0",
          "3.2",
          "2",
          "2",
          "2",
          "5",
          "0",
          "1",
          "1",
          "0",
          "1",
          "1",
          "1",
          "2",
          "1",
          "1.5",
          "2",
          "2",
          "1",
          "2",
          "1",
          "1",
          "2",
          "2",
          "2",
          "1",
          "11",
          "11",
          "4",
          "3",
          "2",
          "2",
          "1",
          "4",
          "2",
          "2",
          "0",
          "2",
          "1",
          "2",
          "2",
          "2",
          "3",
          "2",
          "3",
          "0",
          "0",
          "1",
          "1",
          "1",
          "0",
          "1",
          "-1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "0",
          "1",
          "2",
          "1",
          "0",
          "1",
          "1",
          "3",
          "1",
          "2",
          "3",
          "1",
          "2",
          "1",
          "0",
          "1",
          "2",
          "3",
          "4",
          "3",
          "0",
          "1",
          "4",
          "1",
          "0",
          "3",
          "2",
          "1",
          "1",
          "2",
          "3",
          "2",
          "1",
          "0",
          "1",
          "1.29",
          "1.6",
          "3",
          "8",
          "3",
          "1",
          "2",
          "-1",
          "1",
          "8",
          "3",
          "1",
          "8",
          "3",
          "1",
          "2",
          "1",
          "4",
          "1",
          "6",
          "4",
          "1",
          "3",
          "3",
          "2",
          "1",
          "1",
          "1",
          "0",
          "1.27",
          "4",
          "-1",
          "3",
          "-1",
          "4",
          "2",
          "4",
          "5",
          "5",
          "2",
          "4",
          "1",
          "8",
          "4",
          "4",
          "1",
          "2.16",
          "1",
          "3",
          "1",
          "5",
          "1",
          "24",
          "5",
          "1",
          "4",
          "2",
          "3",
          "2",
          "1",
          "1",
          "3.5",
          "5",
          "1",
          "0",
          "1",
          "1",
          "2",
          "0",
          "2",
          "3",
          "2",
          "1",
          "2",
          "2",
          "3",
          "2",
          "3.2",
          "0",
          "3",
          "4",
          "3",
          "7",
          "6",
          "7",
          "7",
          "39",
          "71",
          "103",
          "3.5",
          "5",
          "1",
          "1",
          "3.14",
          "3.14",
          "32",
          "5",
          "8",
          "1",
          "5",
          "7",
          "13",
          "3",
          "1",
          "5",
          "1",
          "13",
          "2",
          "5",
          "4",
          "3",
          "7",
          "8",
          "3",
          "5",
          "4",
          "5",
          "5",
          "1",
          "4",
          "5",
          "4",
          "5",
          "2",
          "3.6",
          "4",
          "5",
          "4",
          "5",
          "2",
          "1",
          "2",
          "2",
          "5",
          "1",
          "2",
          "3",
          "3",
          "5",
          "3",
          "5",
          "1",
          "7",
          "5",
          "7",
          "5",
          "2",
          "3",
          "5",
          "3",
          "4",
          "3",
          "7",
          "3",
          "4",
          "3",
          "4",
          "8",
          "4",
          "4",
          "4",
          "12",
          "0",
          "-1",
          "2",
          "5",
          "2",
          "6",
          "7",
          "5",
          "3.8",
          "2",
          "5",
          "3.28",
          "-1",
          "-1",
          "0",
          "5",
          "5",
          "1E+1",
          "3",
          "5",
          "2",
          "0",
          "5",
          "0",
          "5",
          "1",
          "6",
          "7",
          "0",
          "6",
          "-6",
          "2E+1",
          "3",
          "6",
          "5",
          "6",
          "0",
          "7",
          "7",
          "35",
          "3",
          "21",
          "5",
          "7",
          "7",
          "5",
          "3",
          "2",
          "0",
          "5",
          "256",
          "156",
          "126",
          "195",
          "2.6E+2",
          "2",
          "5",
          "2",
          "2",
          "5",
          "2",
          "2"
        ],
        "quantities": [
          [
            "2",
            "m"
          ],
          [
            "2",
            "m"
          ],
          [
            "256",
            "m"
          ]
        ],
        "formulas": [
          "-1+v_2",
          "-1+v_2",
          "-6-2E+1*3^x-6*5^x",
          "0≤k",
          "1-x",
          "1/2",
          "1/24",
          "1/6",
          "1/k",
          "1<k",
          "1≤j",
          "21",
          "2^j",
          "2^k",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m",
          "2^m*i+j",
          "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-1",
          "2^m_0-2",
          "2^n",
          "2^n1",
          "3^k",
          "3^n-3*2",
          "4^n2*3^n-2",
          "51E+1*3^x5^x",
          "5^7",
          "5^8",
          "735*3^x21*5^x7^x",
          "S(2^m*i+j,k)",
          "S(2^n,k)",
          "S(8i,5)",
          "S(8i,5)",
          "S(8i3,5)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(8i4,5)",
          "S(8i7,5)",
          "S(m,5)",
          "S(n,1)",
          "S(n,11)",
          "S(n,126)",
          "S(n,195)",
          "S(n,2.6E+2)",
          "S(n,3)",
          "S(n,3)",
          "S(n,3)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,4)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,5)",
          "S(n,6)",
          "S(n,6)",
          "S(n,7)",
          "S(n,7)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n,k)",
          "S(n-1,3)",
          "S(n-1,3)",
          "S(n-1,k)",
          "S(n-1,k-1)",
          "a*2^q",
          "a*2^q",
          "a*p^n",
          "a/b",
          "i+j",
          "i+j",
          "i=0",
          "i=7",
          "i≥0",
          "i≥1",
          "j=0",
          "j=1",
          "j=1",
          "j^k",
          "j^k",
          "j^n",
          "j≥k",
          "k*S",
          "k-1",
          "k-1",
          "k-1",
          "k-2",
          "k-i",
          "k-j",
          "k=0",
          "k=1",
          "k=1",
          "k=1",
          "k=11",
          "k=3",
          "k=4",
          "k=4",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=5",
          "k=6",
          "k=7",
          "k=l",
          "l-1",
          "m(4k-1)",
          "m(4k1)",
          "m+k",
          "m+l",
          "m-1",
          "m-4",
          "m-k",
          "m-k",
          "m-l",
          "m-s_p",
          "m1",
          "m1",
          "m1",
          "m1",
          "m1",
          "m156",
          "m=a",
          "m_0-1",
          "m_0-2",
          "m≥0",
          "m≥m_0",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-1",
          "n-2",
          "n-k",
          "n-u_0",
          "n-u_1",
          "n1",
          "n1",
          "n=a",
          "n=a",
          "n=s",
          "n≥1",
          "n≥k",
          "p-1",
          "p≤1",
          "q_4i3",
          "q_4i=q_4i",
          "q≥3",
          "q≥k",
          "s≥k",
          "s≥k",
          "x-k1",
          "x^4",
          "x^j",
          "x^n",
          "x^n",
          "x_1+x_2"
        ],
        "mathematical_variables": [
          "I_1",
          "I_1",
          "L_1",
          "L_1",
          "L_2",
          "L_2",
          "L_k",
          "Q_p",
          "Q_p",
          "T_p",
          "T_p",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_2",
          "Z_p",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_l",
          "a_visualization",
          "a_visualization",
          "d_by",
          "d_by",
          "d_by",
          "d_by",
          "d_case",
          "d_elements_pattern",
          "d_expressions_for",
          "d_for_valuation_of",
          "d_for_valuation_of",
          "d_from",
          "d_from",
          "d_from",
          "d_from",
          "d_from",
          "d_in",
          "d_proof_uses",
          "d_results_on",
          "d_to",
          "d_to",
          "d_via",
          "e_case",
          "e_even_m",
          "e_form",
          "e_odd_m",
          "e_prediction",
          "f_1",
          "g_function",
          "g_rule",
          "i_k",
          "i_k",
          "k_value",
          "k_value",
          "k_value",
          "k_value",
          "k_value",
          "l_claim",
          "l_class",
          "l_classes",
          "l_classes",
          "l_conjecture",
          "l_conjecture",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_entity_type",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_expression",
          "l_function",
          "l_object",
          "l_object",
          "l_object",
          "l_object",
          "l_property",
          "l_property",
          "l_result",
          "l_result",
          "l_sequence",
          "l_series",
          "l_statement",
          "l_structure",
          "l_theorem",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0",
          "m_0_value",
          "n_C_3_3",
          "n_C_3_4",
          "n_C_3_5",
          "n_C_3_6",
          "n_by",
          "n_even_n",
          "n_even_n",
          "n_identity",
          "n_indices_progression",
          "n_odd_n",
          "n_odd_n",
          "n_property",
          "n_property",
          "n_rule",
          "n_rule",
          "q_28",
          "q_31",
          "q_4i",
          "q_4i",
          "r_definition",
          "r_m_0",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2",
          "s_2_adic_valuation",
          "s_2_adic_valuation",
          "s_2_adic_valuation_at_least",
          "s_2_adic_valuation_at_least",
          "s_analysis_to",
          "s_basic_function",
          "s_completion_of",
          "s_condition",
          "s_constant_valuation",
          "s_constant_valuation",
          "s_constant_value",
          "s_first_constant_level",
          "s_in",
          "s_into",
          "s_into",
          "s_on",
          "s_p",
          "s_partial_sum_of",
          "s_polynomial",
          "s_polynomial",
          "s_proof_for",
          "s_proposition",
          "s_proven_in_section_4",
          "s_recurrence",
          "s_stable_class_count",
          "s_to",
          "s_to",
          "s_to_valuation",
          "s_used",
          "s_valuation_bound",
          "s_valuation_for_even_n_as",
          "s_valuation_for_k_5",
          "s_valuation_for_odd_n_as",
          "s_valuation_of",
          "s_valuation_set",
          "s_zero",
          "s_zero",
          "t_0",
          "t_classes_at_2_level",
          "t_constant_level",
          "t_constant_level",
          "t_formula",
          "t_formula",
          "t_formula",
          "t_formula",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_id",
          "t_instance",
          "t_of_conjecture",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_summary",
          "t_to",
          "u_0",
          "u_0",
          "u_0",
          "u_1",
          "u_1",
          "u_1",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_2",
          "u_p",
          "u_p",
          "v_2",
          "v_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",
          "x_congruence",
          "x_form",
          "x_form",
          "x_form",
          "x_form",
          "y_oscillation_between",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν",
          "ν"
        ],
        "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_ku500_bt",
  "source_metadata": {
    "title": "THE 2-ADIC VALUATION OF STIRLING NUMBERS",
    "authors": [
      "Tewodros Amdeberhan",
      "Dante V Manna",
      "Victor H Moll"
    ],
    "doi": "10.1080/10586458.2008.10129026",
    "year": "",
    "openalex_id": "https://openalex.org/W2044773284",
    "origin": "Existing disjoint 20-paper benchmark cohort",
    "metadata_added_for_attribution_only": true,
    "metadata_not_used_to_change_QA_context": true
  }
}