schema=OK
theta_minus=INACTIVE_CERTIFIED
theta_zero=BOUNDARY_ZERO_SYMBOLIC
theta_plus=ACTIVE_FIRST_SPLINE_PIECE_CERTIFIED
theta_plus_mu=[20667266378061720950952615494859070501888435450109653061/200000000000000000000000000000000000000000000000000000000000,51668165945154302377381538737147676254721088625274132653/500000000000000000000000000000000000000000000000000000000000]
theta_plus_prime3_entry=[-6877169835940751114505051623117768403888110038623339190491/10000000000000000000000000000000000000000000000000000000000000000000000000000000000000,-859646229492593889313131452889721050486013754827917398753/1250000000000000000000000000000000000000000000000000000000000000000000000000000000000]
regularity=C6_NOT_C7
RH_CLAIM=False
