Exact P1 forest N25AChunk03
Abstract
Ordered literal node records 2100 through 2440; no acceptance result.
Definition 1.1 (Ordered literal forest nodes_chunk_2100).
Lean statement: D5/S3/Quantum/Entanglement/AbsolutePPT/P1Data/Nodes/N25AChunk03.nodes_chunk_2100
Formalization. D5/S3/Quantum/Entanglement/AbsolutePPT/P1Data/Nodes/N25AChunk03.nodes_chunk_2100 (✓ std3).
Source. Repository-derived.
Commentary.
The ordered records retain every box endpoint, rule, child index and rational coefficient. These data assert no successful check.