runtime: Julia 1.11.6 official Linux x86_64 binary runtime_archive_sha256: e99e52e2029d845097c68f2372d836186f0eb3fb897a9dde0bdf9ee9250d03d5 command: julia --startup-file=no OmegaNaughtClassIF22ExactVerifier.jl cwd: package root source_bytes: 16723 source_sha256: 5c45650b3baec9889204ac423f8ec62c9cc0782a03e5c30a8467b9cb01a1efea exit: 0 wall_seconds_observed: 120.22 stdout_sha256: a9257a896f27c6c202719e587fffbe88371f23b96808bdeb96a4be130455984f stderr_sha256: e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855 --- stdout --- OMEGA NAUGHT - EXACT JULIA CLASS-I f=22 CERTIFICATE Arithmetic: Q(sqrt(5)); equality/sign checks: exact nodes=4842 H3_orbits=52 degree_69_conditions=49 rank=49 affine_dimension=3 free_orbits=[(9, 7, 6), (8, 8, 6), (8, 7, 7)] free_masses=K5[K5(11607197//394254842, 0//1), K5(2312954//161188803, 0//1), K5(7156114//472522843, 0//1)] degree_69: EXACT and STRICTLY POSITIVE; minimum_orbit_mass=0.003874805888537519 at (11, 11, 0) degree_69_solution_sha256=0865572f76c7b8c9816ce937a79361c8926abe785ac3f41b06e4f289665bf340 new_degree_70_invariants=[(10, 1), (5, 4), (0, 7)] degree_70/71: UNIQUE exact solution; negative_orbit_mass=-0.006609660200017031 at (21, 1, 0) degree_71_solution_sha256=c1e620fc9cf6d99623423cf82450540a5991679e8ded6632bd959914068949f2 Farkas/cardinal dual: EXACT PASS; mean equals negative forced mass THEOREM: maximum nonnegative degree on fixed X_22 is 69 CERTIFICATE PASS (109.35 seconds) --- stderr ---