{
 "title": "4pi^3 + pi^2 + pi",
 "author": "Leon Fernando Vlegels",
 "license": "text: CC BY 4.0; code: MIT",
 "support": "https://ko-fi.com/lfvlegels",
 "volume_plaintext": "files/volume.txt",
 "verifier_archive": "files/verifiers_all.zip",
 "registry": "files/verify/tbs_registry.json",
 "registry_counts": {
  "confirmed-load-bearing": 23,
  "refuted": 7,
  "retired": 15,
  "scope": 21,
  "unreviewed-or-open": 5,
  "superseded": 1,
  "verifier-documented": 326
 },
 "key_claims": [
  {
   "claim": "alpha^-1 = Omega*sqrt(1-kappa^2*(1-pi/Omega))",
   "value": 137.035999236,
   "codata22": 137.035999177,
   "verifiers": [
    "verify_P291.py",
    "verify_P288.py"
   ]
  },
  {
   "claim": "m_mu/m_e and m_tau/m_e from the lepton law",
   "accuracy": "1e-4",
   "verifiers": [
    "verify_P287.py"
   ]
  },
  {
   "claim": "a0 = alpha^3 c^2/(pi^2 L_h), BTFR derived",
   "accuracy": "2.4% vs Milgrom",
   "verifiers": [
    "verify_paper_sparc.py",
    "verify_P264.py"
   ]
  },
  {
   "claim": "Lambda_0 = 1 - pi^2/32",
   "value": 0.69155,
   "verifiers": [
    "verify_P272.py"
   ]
  }
 ],
 "papers": [
  {
   "id": "i_Paper_I",
   "title": "I \u00b7 Cover Paper",
   "tex": "files/tex/i_Paper_I.tex",
   "pdf": "files/pdf/i_Paper_I.pdf",
   "html": "papers/i_Paper_I.html"
  },
  {
   "id": "r_Paper_Reader",
   "title": "The Reader's Companion \u00b7 One number, and what it cost to take it seriously",
   "tex": "files/tex/r_Paper_Reader.tex",
   "pdf": "files/pdf/r_Paper_Reader.pdf",
   "html": "papers/r_Paper_Reader.html"
  },
  {
   "id": "00_Paper_MonadRosettaMap",
   "title": "Rosetta Map of the Monad Identity and the Geometric Theory of Everything \u00b7 A Cross-Reference Index: From \u2205 \u2261* 0 \u2261* 1 \u2261* \u221e Through the Core Constructions",
   "tex": "files/tex/00_Paper_MonadRosettaMap.tex",
   "pdf": "files/pdf/00_Paper_MonadRosettaMap.pdf",
   "html": "papers/00_Paper_MonadRosettaMap.html"
  },
  {
   "id": "01_Paper_PerfectStableSphere",
   "title": "The Perfect Stable Sphere: A Geometric Foundation for Fundamental Physics",
   "tex": "files/tex/01_Paper_PerfectStableSphere.tex",
   "pdf": "files/pdf/01_Paper_PerfectStableSphere.pdf",
   "html": "papers/01_Paper_PerfectStableSphere.html"
  },
  {
   "id": "02_Paper_GeometricSpectralTheory",
   "title": "Geometric Spectral Theory of the Fine-Structure Constant: Mathematical Foundations and Physical Implications",
   "tex": "files/tex/02_Paper_GeometricSpectralTheory.tex",
   "pdf": null,
   "html": "papers/02_Paper_GeometricSpectralTheory.html"
  },
  {
   "id": "03_Paper_MathematicalFoundations",
   "title": "Mathematical Foundations of Geometric Fundamental Physics: Proofs and Numerical Verification",
   "tex": "files/tex/03_Paper_MathematicalFoundations.tex",
   "pdf": "files/pdf/03_Paper_MathematicalFoundations.pdf",
   "html": "papers/03_Paper_MathematicalFoundations.html"
  },
  {
   "id": "04_Paper_ThreeLayerOntology",
   "title": "The Three-Layer Ontology of Physical Reality: Mathematical Proofs of Quantum, Classical, and Monadic Stratification",
   "tex": "files/tex/04_Paper_ThreeLayerOntology.tex",
   "pdf": "files/pdf/04_Paper_ThreeLayerOntology.pdf",
   "html": "papers/04_Paper_ThreeLayerOntology.html"
  },
  {
   "id": "05_Paper_GeometryOfReality",
   "title": "The Geometry of Reality: A Narrative Introduction to the Three-Layer Universe",
   "tex": "files/tex/05_Paper_GeometryOfReality.tex",
   "pdf": "files/pdf/05_Paper_GeometryOfReality.pdf",
   "html": "papers/05_Paper_GeometryOfReality.html"
  },
  {
   "id": "06_Paper_FermionSector",
   "title": "The Standard Model Fermion Sector from Self-Referential Observation: Fractal Standing Waves and Z_3 Symmetry",
   "tex": "files/tex/06_Paper_FermionSector.tex",
   "pdf": "files/pdf/06_Paper_FermionSector.pdf",
   "html": "papers/06_Paper_FermionSector.html"
  },
  {
   "id": "07_Paper_SelfReferentialObservation",
   "title": "The Self-Referential Observation Framework: Particle Masses as Geometric Eigenvalues",
   "tex": "files/tex/07_Paper_SelfReferentialObservation.tex",
   "pdf": "files/pdf/07_Paper_SelfReferentialObservation.pdf",
   "html": "papers/07_Paper_SelfReferentialObservation.html"
  },
  {
   "id": "08_Paper_TimeObservationBootstrap",
   "title": "Time, Observation, and Self-Referential Geometry: The Bootstrap Structure of Physical Reality",
   "tex": "files/tex/08_Paper_TimeObservationBootstrap.tex",
   "pdf": "files/pdf/08_Paper_TimeObservationBootstrap.pdf",
   "html": "papers/08_Paper_TimeObservationBootstrap.html"
  },
  {
   "id": "09_Paper_WaterGeometricThermometer",
   "title": "Water as Geometric Thermometer: The Triple Point and Critical Droplet Radius from (B^4, S^3) Framework",
   "tex": "files/tex/09_Paper_WaterGeometricThermometer.tex",
   "pdf": "files/pdf/09_Paper_WaterGeometricThermometer.pdf",
   "html": "papers/09_Paper_WaterGeometricThermometer.html"
  },
  {
   "id": "10_Paper_ThreeFourthsCorrection",
   "title": "The Three-Fourths Boundary Correction: Deriving the Fine-Structure Constant from Simplex-Sphere-Hypercube Equilibrium",
   "tex": "files/tex/10_Paper_ThreeFourthsCorrection.tex",
   "pdf": "files/pdf/10_Paper_ThreeFourthsCorrection.pdf",
   "html": "papers/10_Paper_ThreeFourthsCorrection.html"
  },
  {
   "id": "11_Paper_GeometricFirstPrinciples",
   "title": "Geometric First Principles: A Unified Framework for Fundamental Constants",
   "tex": "files/tex/11_Paper_GeometricFirstPrinciples.tex",
   "pdf": "files/pdf/11_Paper_GeometricFirstPrinciples.pdf",
   "html": "papers/11_Paper_GeometricFirstPrinciples.html"
  },
  {
   "id": "12_Paper_FiveFoldConvergence",
   "title": "Five-Fold Convergence of a Geometric Coefficient: Independent Derivations of 3/4 from Dimensional Constraints",
   "tex": "files/tex/12_Paper_FiveFoldConvergence.tex",
   "pdf": "files/pdf/12_Paper_FiveFoldConvergence.pdf",
   "html": "papers/12_Paper_FiveFoldConvergence.html"
  },
  {
   "id": "13_Paper_QuinticStructure",
   "title": "Self-Referential Boundary Inversion and the Quintic Structure of the Fine-Structure Constant",
   "tex": "files/tex/13_Paper_QuinticStructure.tex",
   "pdf": "files/pdf/13_Paper_QuinticStructure.pdf",
   "html": "papers/13_Paper_QuinticStructure.html"
  },
  {
   "id": "14_Paper_CosmicBreathing",
   "title": "The Cosmic Breathing Cycle: \u03c0 \u00d7 \u03b1^-1 and the Geometric Origin of 432",
   "tex": "files/tex/14_Paper_CosmicBreathing.tex",
   "pdf": "files/pdf/14_Paper_CosmicBreathing.pdf",
   "html": "papers/14_Paper_CosmicBreathing.html"
  },
  {
   "id": "15_Paper_ShadowUniverse",
   "title": "The Shadow Universe: Deriving the Fine Structure Constant from Geometric Projection",
   "tex": "files/tex/15_Paper_ShadowUniverse.tex",
   "pdf": "files/pdf/15_Paper_ShadowUniverse.pdf",
   "html": "papers/15_Paper_ShadowUniverse.html"
  },
  {
   "id": "16_Paper_ShellCompletion",
   "title": "Shell Completion Constraints on Mersenne Prime Distribution: An A Priori Prediction for the 54th Mersenne Prime",
   "tex": "files/tex/16_Paper_ShellCompletion.tex",
   "pdf": "files/pdf/16_Paper_ShellCompletion.pdf",
   "html": "papers/16_Paper_ShellCompletion.html"
  },
  {
   "id": "17_Paper_GravityDroplet",
   "title": "Gravity as Bulk Propagation: Deriving G from the Dirac Operator on (B^4, S^3)",
   "tex": "files/tex/17_Paper_GravityDroplet.tex",
   "pdf": null,
   "html": "papers/17_Paper_GravityDroplet.html"
  },
  {
   "id": "18_Paper_MasterOperator",
   "title": "The Master Operator: Assembly of the Unified Field Operator for (B^4, S^3) Geometry",
   "tex": "files/tex/18_Paper_MasterOperator.tex",
   "pdf": "files/pdf/18_Paper_MasterOperator.pdf",
   "html": "papers/18_Paper_MasterOperator.html"
  },
  {
   "id": "19_Paper_UnifiedFieldEquation",
   "title": "The Unified Field Equation: Deriving Schr\"odinger, Dirac, Yang-Mills, and Einstein from the Master Operator",
   "tex": "files/tex/19_Paper_UnifiedFieldEquation.tex",
   "pdf": "files/pdf/19_Paper_UnifiedFieldEquation.pdf",
   "html": "papers/19_Paper_UnifiedFieldEquation.html"
  },
  {
   "id": "20_Paper_StandardPhysicsEmbedding",
   "title": "Standard Physics Embedding: A Complete Dictionary from Geometric TOE to Particle Physics",
   "tex": "files/tex/20_Paper_StandardPhysicsEmbedding.tex",
   "pdf": "files/pdf/20_Paper_StandardPhysicsEmbedding.pdf",
   "html": "papers/20_Paper_StandardPhysicsEmbedding.html"
  },
  {
   "id": "21_Paper_PequalsNP",
   "title": "Observer Structure and Computational Complexity \u00b7 A Geometric Framework from Multi-Observer Coherence",
   "tex": "files/tex/21_Paper_PequalsNP.tex",
   "pdf": "files/pdf/21_Paper_PequalsNP.pdf",
   "html": "papers/21_Paper_PequalsNP.html"
  },
  {
   "id": "22_Paper_XavierStokes",
   "title": "Xavier-Stokes: A Geometric Framework for Strain-Regulated Fluid Dynamics \u00b7 Strain-Rate Coupling and Edge-Layer Regulation from Boundary-Layer Geometry (v5)",
   "tex": "files/tex/22_Paper_XavierStokes.tex",
   "pdf": "files/pdf/22_Paper_XavierStokes.pdf",
   "html": "papers/22_Paper_XavierStokes.html"
  },
  {
   "id": "23_Paper_YangMillsMassGap",
   "title": "Yang-Mills Mass Gap from Boundary-Layer Geometry \u00b7 Spectral-Geometric Derivation of Minimum Misalignment",
   "tex": "files/tex/23_Paper_YangMillsMassGap.tex",
   "pdf": "files/pdf/23_Paper_YangMillsMassGap.pdf",
   "html": "papers/23_Paper_YangMillsMassGap.html"
  },
  {
   "id": "24_Paper_RiemannHypothesis",
   "title": "Toward the Riemann Hypothesis \u00b7 A Hilbert-P'olya Construction and Spectral Gap Analysis",
   "tex": "files/tex/24_Paper_RiemannHypothesis.tex",
   "pdf": "files/pdf/24_Paper_RiemannHypothesis.pdf",
   "html": "papers/24_Paper_RiemannHypothesis.html"
  },
  {
   "id": "25_Paper_HodgeConjecture",
   "title": "The Hodge Conjecture \u00b7 Structure, Reductions, and the Geometric Support Principle",
   "tex": "files/tex/25_Paper_HodgeConjecture.tex",
   "pdf": null,
   "html": "papers/25_Paper_HodgeConjecture.html"
  },
  {
   "id": "26_Paper_BSD",
   "title": "A Geometric Approach to the Birch and Swinnerton-Dyer Conjecture \u00b7 Rank Correspondence from Three-Layer Local-Global Consistency",
   "tex": "files/tex/26_Paper_BSD.tex",
   "pdf": "files/pdf/26_Paper_BSD.pdf",
   "html": "papers/26_Paper_BSD.html"
  },
  {
   "id": "27_Paper_SecondObserver",
   "title": "The Second Observer \u00b7 Why Existence Requires Witness, Why Witness Requires Two, and How Intersubjectivity Generates Geometry",
   "tex": "files/tex/27_Paper_SecondObserver.tex",
   "pdf": "files/pdf/27_Paper_SecondObserver.pdf",
   "html": "papers/27_Paper_SecondObserver.html"
  },
  {
   "id": "28_Paper_UniversalWaveGeometry",
   "title": "Universal Wave Geometry \u00b7 Emergent Lorentz Structure from Dual-Observer Phase Dynamics on S^3",
   "tex": "files/tex/28_Paper_UniversalWaveGeometry.tex",
   "pdf": "files/pdf/28_Paper_UniversalWaveGeometry.pdf",
   "html": "papers/28_Paper_UniversalWaveGeometry.html"
  },
  {
   "id": "29_Paper_TrainingExposure",
   "title": "Geometric Exactness and the Training-Exposure Distinction \u00b7 Why Architectures Encoding Proven Identities Are Degraded by Gradient Descent",
   "tex": "files/tex/29_Paper_TrainingExposure.tex",
   "pdf": "files/pdf/29_Paper_TrainingExposure.pdf",
   "html": "papers/29_Paper_TrainingExposure.html"
  },
  {
   "id": "30_Paper_GeometricObserverNetwork",
   "title": "The Geometric Observer Network \u00b7 A Zero-Parameter Architecture for Relativistic Phase Dynamics from S^3 Geometry",
   "tex": "files/tex/30_Paper_GeometricObserverNetwork.tex",
   "pdf": "files/pdf/30_Paper_GeometricObserverNetwork.pdf",
   "html": "papers/30_Paper_GeometricObserverNetwork.html"
  },
  {
   "id": "31_Paper_NicomachusMonad",
   "title": "Nicomachus Weights and Monad Closure \u00b7 Self-Intersection Counting Bridges the Cubic Sequence to \u03b1^-1",
   "tex": "files/tex/31_Paper_NicomachusMonad.tex",
   "pdf": "files/pdf/31_Paper_NicomachusMonad.pdf",
   "html": "papers/31_Paper_NicomachusMonad.html"
  },
  {
   "id": "32_Addendum_CantorBridge",
   "title": "Addendum to Paper 32: The Cantor Bridge: R^4 as the Pre-Geometric Hypercube",
   "tex": "files/tex/32_Addendum_CantorBridge.tex",
   "pdf": null,
   "html": "papers/32_Addendum_CantorBridge.html"
  },
  {
   "id": "32_Addendum_DynamicLambda",
   "title": "Addendum to Paper 32: Fold-Progress Dark Energy: \u039b(k) = \u039b_0 \u00b7 4/C(k)",
   "tex": "files/tex/32_Addendum_DynamicLambda.tex",
   "pdf": null,
   "html": "papers/32_Addendum_DynamicLambda.html"
  },
  {
   "id": "32_Paper_DarkEnergyCornerResidual",
   "title": "Dark Energy as Geometric Residual \u00b7 \u039b_0 = 1 - \u03c0^2/32 from the B^4 Corner Structure",
   "tex": "files/tex/32_Paper_DarkEnergyCornerResidual.tex",
   "pdf": null,
   "html": "papers/32_Paper_DarkEnergyCornerResidual.html"
  },
  {
   "id": "33_Paper_SelfIntersectionMonad",
   "title": "Self-Intersection Weights and Monad Closure \u00b7 A Derivation of \u03b1^-1 via the Nicomachus Structure",
   "tex": "files/tex/33_Paper_SelfIntersectionMonad.tex",
   "pdf": "files/pdf/33_Paper_SelfIntersectionMonad.pdf",
   "html": "papers/33_Paper_SelfIntersectionMonad.html"
  },
  {
   "id": "34_Paper_KleisliMonadS3",
   "title": "The Kleisli Monad over S^3 \u00b7 Monad Laws, Kleisli Category, and Geometric Termination in LumenOS Attention",
   "tex": "files/tex/34_Paper_KleisliMonadS3.tex",
   "pdf": "files/pdf/34_Paper_KleisliMonadS3.pdf",
   "html": "papers/34_Paper_KleisliMonadS3.html"
  },
  {
   "id": "35_Paper_UnitSystem",
   "title": "Paper 35: The Unit System \u00b7 The P03 \u2194 P14 bridge, the cancellation theorem, and the chart-natural constants",
   "tex": "files/tex/35_Paper_UnitSystem.tex",
   "pdf": "files/pdf/35_Paper_UnitSystem.pdf",
   "html": "papers/35_Paper_UnitSystem.html"
  },
  {
   "id": "36_Paper_FineStructureConstant",
   "title": "Paper 36: The Fine-Structure Constant \u00b7 The \u03b1-comma, the ergodic dressing, and the half-ppb confrontation",
   "tex": "files/tex/36_Paper_FineStructureConstant.tex",
   "pdf": "files/pdf/36_Paper_FineStructureConstant.pdf",
   "html": "papers/36_Paper_FineStructureConstant.html"
  },
  {
   "id": "37_Paper_BreathDynamicalSystem",
   "title": "Paper 37: The Breath as Dynamical System \u00b7 Detuning, the derivation of 432, unique ergodicity, the two response channels, and the necessity of music",
   "tex": "files/tex/37_Paper_BreathDynamicalSystem.tex",
   "pdf": "files/pdf/37_Paper_BreathDynamicalSystem.pdf",
   "html": "papers/37_Paper_BreathDynamicalSystem.html"
  },
  {
   "id": "38_Paper_DarkAsKernel",
   "title": "Paper 38: Dark as Kernel \u00b7 The closure-map family, superselection, and the two exactness defects of one geometry",
   "tex": "files/tex/38_Paper_DarkAsKernel.tex",
   "pdf": "files/pdf/38_Paper_DarkAsKernel.pdf",
   "html": "papers/38_Paper_DarkAsKernel.html"
  },
  {
   "id": "39_Paper_HiddenBranch",
   "title": "Paper 39: The Hidden Branch \u00b7 The kernel made visible: the amplitude law, the kiloparsec, and the SPARC confrontation",
   "tex": "files/tex/39_Paper_HiddenBranch.tex",
   "pdf": "files/pdf/39_Paper_HiddenBranch.pdf",
   "html": "papers/39_Paper_HiddenBranch.html"
  },
  {
   "id": "40_Paper_RepairsRetractions",
   "title": "Paper 40: Repairs and Retractions \u00b7 The gap registry, the corrections, the refutations, and the discipline that produced them",
   "tex": "files/tex/40_Paper_RepairsRetractions.tex",
   "pdf": "files/pdf/40_Paper_RepairsRetractions.pdf",
   "html": "papers/40_Paper_RepairsRetractions.html"
  },
  {
   "id": "41_Paper_ObserverOriginOfSubstrate",
   "title": "Paper 41: The Observer Origin of the Substrate \u00b7 From coherent distinction to the (B^4,S^3)/octonion geometry and electromagnetism",
   "tex": "files/tex/41_Paper_ObserverOriginOfSubstrate.tex",
   "pdf": "files/pdf/41_Paper_ObserverOriginOfSubstrate.pdf",
   "html": "papers/41_Paper_ObserverOriginOfSubstrate.html"
  },
  {
   "id": "42_Paper_AntiSolipsism",
   "title": "The Geometry of Other Minds: An Anti-Solipsism Theorem \u00b7 Shared reality, private experience, and synchronicity on the Hopf bundle",
   "tex": "files/tex/42_Paper_AntiSolipsism.tex",
   "pdf": "files/pdf/42_Paper_AntiSolipsism.pdf",
   "html": "papers/42_Paper_AntiSolipsism.html"
  },
  {
   "id": "43_Paper_Time",
   "title": "The Geometry of Time \u00b7 Three registers, one residual: time as the witness-relative reading of a timeless substrate",
   "tex": "files/tex/43_Paper_Time.tex",
   "pdf": "files/pdf/43_Paper_Time.pdf",
   "html": "papers/43_Paper_Time.html"
  },
  {
   "id": "external_sparc",
   "title": "A Single Kiloparsec Length in Galaxy Rotation Curves \u00b7 SPARC evidence for a one-scale halo with a derived acceleration scale",
   "tex": "files/tex/sparc_one_scale_halo.tex",
   "pdf": "files/pdf/sparc_one_scale_halo.pdf",
   "html": "papers/external_sparc.html"
  }
 ],
 "verifiers": [
  "verify_P000.py",
  "verify_P001.py",
  "verify_P002.py",
  "verify_P003.py",
  "verify_P004.py",
  "verify_P005.py",
  "verify_P006.py",
  "verify_P007.py",
  "verify_P008.py",
  "verify_P009.py",
  "verify_P010.py",
  "verify_P011.py",
  "verify_P012.py",
  "verify_P013.py",
  "verify_P014.py",
  "verify_P015.py",
  "verify_P016.py",
  "verify_P017.py",
  "verify_P018.py",
  "verify_P019.py",
  "verify_P020.py",
  "verify_P021.py",
  "verify_P022.py",
  "verify_P023.py",
  "verify_P024.py",
  "verify_P025.py",
  "verify_P026.py",
  "verify_P027.py",
  "verify_P028.py",
  "verify_P029.py",
  "verify_P030.py",
  "verify_P031.py",
  "verify_P032.py",
  "verify_P033.py",
  "verify_P034.py",
  "verify_P035.py",
  "verify_P036.py",
  "verify_P037.py",
  "verify_P038.py",
  "verify_P039.py",
  "verify_P040.py",
  "verify_P041.py",
  "verify_P042.py",
  "verify_P043.py",
  "verify_P044.py",
  "verify_P045.py",
  "verify_P046.py",
  "verify_P047.py",
  "verify_P048.py",
  "verify_P049.py",
  "verify_P050.py",
  "verify_P051.py",
  "verify_P052.py",
  "verify_P053.py",
  "verify_P054.py",
  "verify_P055.py",
  "verify_P056.py",
  "verify_P057.py",
  "verify_P058.py",
  "verify_P059.py",
  "verify_P060.py",
  "verify_P061.py",
  "verify_P062.py",
  "verify_P063.py",
  "verify_P064.py",
  "verify_P065.py",
  "verify_P066.py",
  "verify_P067.py",
  "verify_P068.py",
  "verify_P069.py",
  "verify_P070.py",
  "verify_P071.py",
  "verify_P072.py",
  "verify_P073.py",
  "verify_P074.py",
  "verify_P075.py",
  "verify_P076.py",
  "verify_P077.py",
  "verify_P078.py",
  "verify_P079.py",
  "verify_P080.py",
  "verify_P081.py",
  "verify_P082.py",
  "verify_P083.py",
  "verify_P084.py",
  "verify_P085.py",
  "verify_P086.py",
  "verify_P087.py",
  "verify_P088.py",
  "verify_P089.py",
  "verify_P090.py",
  "verify_P091.py",
  "verify_P092.py",
  "verify_P093.py",
  "verify_P094.py",
  "verify_P095.py",
  "verify_P096.py",
  "verify_P097.py",
  "verify_P098.py",
  "verify_P099.py",
  "verify_P100.py",
  "verify_P101.py",
  "verify_P102.py",
  "verify_P103.py",
  "verify_P104.py",
  "verify_P105.py",
  "verify_P106.py",
  "verify_P107.py",
  "verify_P108.py",
  "verify_P109.py",
  "verify_P110.py",
  "verify_P111.py",
  "verify_P112.py",
  "verify_P113.py",
  "verify_P114.py",
  "verify_P115.py",
  "verify_P116.py",
  "verify_P117.py",
  "verify_P118.py",
  "verify_P119.py",
  "verify_P120.py",
  "verify_P121.py",
  "verify_P122.py",
  "verify_P123.py",
  "verify_P124.py",
  "verify_P125.py",
  "verify_P126.py",
  "verify_P127.py",
  "verify_P128.py",
  "verify_P129.py",
  "verify_P130.py",
  "verify_P131.py",
  "verify_P132.py",
  "verify_P133.py",
  "verify_P134.py",
  "verify_P135.py",
  "verify_P136.py",
  "verify_P137.py",
  "verify_P138.py",
  "verify_P139.py",
  "verify_P140.py",
  "verify_P141.py",
  "verify_P142.py",
  "verify_P143.py",
  "verify_P144.py",
  "verify_P145.py",
  "verify_P146.py",
  "verify_P147.py",
  "verify_P148.py",
  "verify_P149.py",
  "verify_P150.py",
  "verify_P151.py",
  "verify_P152.py",
  "verify_P153.py",
  "verify_P154.py",
  "verify_P155.py",
  "verify_P156.py",
  "verify_P157.py",
  "verify_P158.py",
  "verify_P159.py",
  "verify_P160.py",
  "verify_P161.py",
  "verify_P162.py",
  "verify_P163.py",
  "verify_P164.py",
  "verify_P165.py",
  "verify_P166.py",
  "verify_P167.py",
  "verify_P168.py",
  "verify_P169.py",
  "verify_P170.py",
  "verify_P171.py",
  "verify_P172.py",
  "verify_P173.py",
  "verify_P174.py",
  "verify_P174_U3G2_branching.py",
  "verify_P175.py",
  "verify_P175_deltaQLC.py",
  "verify_P176.py",
  "verify_P177.py",
  "verify_P178.py",
  "verify_P179.py",
  "verify_P180.py",
  "verify_P181.py",
  "verify_P182.py",
  "verify_P183.py",
  "verify_P184.py",
  "verify_P185.py",
  "verify_P186.py",
  "verify_P187.py",
  "verify_P188.py",
  "verify_P189.py",
  "verify_P190.py",
  "verify_P191.py",
  "verify_P192.py",
  "verify_P193.py",
  "verify_P194.py",
  "verify_P195.py",
  "verify_P196.py",
  "verify_P197.py",
  "verify_P198.py",
  "verify_P199.py",
  "verify_P200.py",
  "verify_P201.py",
  "verify_P202.py",
  "verify_P203.py",
  "verify_P204.py",
  "verify_P205.py",
  "verify_P206.py",
  "verify_P207.py",
  "verify_P208.py",
  "verify_P209.py",
  "verify_P210.py",
  "verify_P211.py",
  "verify_P212.py",
  "verify_P213.py",
  "verify_P214.py",
  "verify_P215.py",
  "verify_P216.py",
  "verify_P217.py",
  "verify_P218.py",
  "verify_P218b.py",
  "verify_P219.py",
  "verify_P220.py",
  "verify_P221.py",
  "verify_P222.py",
  "verify_P223.py",
  "verify_P224.py",
  "verify_P225.py",
  "verify_P226.py",
  "verify_P227.py",
  "verify_P228.py",
  "verify_P229.py",
  "verify_P230.py",
  "verify_P231.py",
  "verify_P232.py",
  "verify_P233.py",
  "verify_P234.py",
  "verify_P235.py",
  "verify_P236.py",
  "verify_P237.py",
  "verify_P238.py",
  "verify_P239.py",
  "verify_P240.py",
  "verify_P241.py",
  "verify_P242.py",
  "verify_P243.py",
  "verify_P244.py",
  "verify_P245.py",
  "verify_P246.py",
  "verify_P247.py",
  "verify_P248.py",
  "verify_P249.py",
  "verify_P250.py",
  "verify_P251.py",
  "verify_P252.py",
  "verify_P256.py",
  "verify_P257.py",
  "verify_P259.py",
  "verify_P260.py",
  "verify_P261.py",
  "verify_P262.py",
  "verify_P263.py",
  "verify_P264.py",
  "verify_P265.py",
  "verify_P266.py",
  "verify_P267.py",
  "verify_P268.py",
  "verify_P269.py",
  "verify_P270.py",
  "verify_P271.py",
  "verify_P272.py",
  "verify_P273.py",
  "verify_P274.py",
  "verify_P275.py",
  "verify_P276.py",
  "verify_P277.py",
  "verify_P278.py",
  "verify_P279.py",
  "verify_P280.py",
  "verify_P281.py",
  "verify_P282.py",
  "verify_P283.py",
  "verify_P284.py",
  "verify_P285.py",
  "verify_P286.py",
  "verify_P287.py",
  "verify_P288.py",
  "verify_P289.py",
  "verify_P290.py",
  "verify_P291.py",
  "verify_P292.py",
  "verify_P293.py",
  "verify_P294.py",
  "verify_P295.py",
  "verify_P296.py",
  "verify_P297.py",
  "verify_P298.py",
  "verify_P299.py",
  "verify_P300.py",
  "verify_P301.py",
  "verify_P302.py",
  "verify_P303.py",
  "verify_P304.py",
  "verify_P305.py",
  "verify_P306.py",
  "verify_P307.py",
  "verify_P308.py",
  "verify_P309.py",
  "verify_P310.py",
  "verify_P311.py",
  "verify_P312.py",
  "verify_P313.py",
  "verify_P314.py",
  "verify_P315.py",
  "verify_P316.py",
  "verify_P317.py",
  "verify_P318.py",
  "verify_P319.py",
  "verify_P320.py",
  "verify_P321.py",
  "verify_P322.py",
  "verify_P323.py",
  "verify_P324.py",
  "verify_P325.py",
  "verify_P326.py",
  "verify_P327.py",
  "verify_P328.py",
  "verify_P329.py",
  "verify_P330.py",
  "verify_P331.py",
  "verify_P332.py",
  "verify_P333.py",
  "verify_P334.py",
  "verify_P335.py",
  "verify_P336.py",
  "verify_P337.py",
  "verify_P338.py",
  "verify_P339.py",
  "verify_P340.py",
  "verify_P341.py",
  "verify_P342.py",
  "verify_P343.py",
  "verify_P344.py",
  "verify_P345.py",
  "verify_P345a.py",
  "verify_P345b.py",
  "verify_P346.py",
  "verify_P346a.py",
  "verify_P346b.py",
  "verify_P347.py",
  "verify_P347a.py",
  "verify_P347b.py",
  "verify_P348.py",
  "verify_P348a.py",
  "verify_P348b.py",
  "verify_P349a.py",
  "verify_P349b.py",
  "verify_P350a.py",
  "verify_P350b.py",
  "verify_P351a.py",
  "verify_P352a.py",
  "verify_P353a.py",
  "verify_P354a.py",
  "verify_P355a.py",
  "verify_P356a.py",
  "verify_P357a.py",
  "verify_P358a.py",
  "verify_P359a.py",
  "verify_P360.py",
  "verify_P361.py",
  "verify_P362.py",
  "verify_P363.py",
  "verify_P364.py",
  "verify_P365.py",
  "verify_P366.py",
  "verify_P367.py",
  "verify_P368.py",
  "verify_P369.py",
  "verify_P370.py",
  "verify_P371.py",
  "verify_P372.py",
  "verify_P373.py",
  "verify_P374.py",
  "verify_P375.py",
  "verify_P376.py",
  "verify_P377.py",
  "verify_P378.py",
  "verify_P379.py",
  "verify_P380.py",
  "verify_P381.py",
  "verify_P382.py",
  "verify_P383.py",
  "verify_P384.py",
  "verify_P385.py",
  "verify_P386.py",
  "verify_P387.py",
  "verify_P388.py",
  "verify_P389.py",
  "verify_P390.py",
  "verify_P391.py",
  "verify_P392.py",
  "verify_P393.py",
  "verify_P394.py",
  "verify_P395.py",
  "verify_P396.py",
  "verify_P397.py",
  "verify_P398.py",
  "verify_P399.py",
  "verify_P400.py",
  "verify_Paper41.py",
  "verify_paper_sparc.py"
 ]
}