schema=OK
matrix_symmetry=OK
gram_reconstruction=OK
gram_ldlt_pivots_positive=10
prime_power_enumeration=[2, 3, 4]
activation_graph=OK
mixed_ldlt_pivots_positive=10
mixed_lower_bound=lambda_min>1/2000
mixed_upper_witness=lambda_min<1/1000
cross_channel_cancellation=EXACT_SIGN_CERTIFIED
prime_witness_components=OK
m3_isolated_lower_bound=lambda_min>1/250
m1_isolated_lower_bound=lambda_min>1/20
status=EXACT_MIXED_DICTIONARY_CERTIFICATE_OK
RH_CLAIM=False
1x1 lag=0 value=0.2157459274358697918182474 interval_width=1.0169796e-7 active=[]
1x1 lag=1 value=-0.1164944870267780569120737 interval_width=5.0848288e-8 active=[]
1x1 lag=2 value=0.09475219067523375373391188 interval_width=5.0847594e-8 active=[2]
1x1 lag=3 value=-0.1488485430223416445423974 interval_width=5.0847594e-8 active=[2]
1x1 lag=4 value=0.1636375259990040232059864 interval_width=5.0847594e-8 active=[2, 3]
1x3 lag=0 value=0.1185352134311209867540351 interval_width=4.9387682e-10 active=[]
1x3 lag=1 value=-0.08824819512711368389728078 interval_width=2.4685161e-10 active=[]
1x3 lag=2 value=0.07484889291211888499328579 interval_width=2.4624399e-10 active=[2]
1x3 lag=3 value=-0.09572536661979631859609371 interval_width=2.4624399e-10 active=[2, 3]
1x3 lag=4 value=0.1067386970518191521523132 interval_width=2.4624399e-10 active=[2, 3]
3x3 lag=0 value=0.07235971623244718583261703 interval_width=8.467041e-12 active=[]
3x3 lag=1 value=-0.06181804215765087884133965 interval_width=4.1001108e-12 active=[2]
3x3 lag=2 value=0.05542809442554205451996511 interval_width=3.7821485e-12 active=[2]
3x3 lag=3 value=-0.06362492491844684831980858 interval_width=3.7705748e-12 active=[2, 3]
3x3 lag=4 value=0.06899335265108094414363164 interval_width=3.7705748e-12 active=[2, 3, 4]
max_center_error=5.08475932371e-8
status=CROSSCHECK_OK
rigor=HIGH_PRECISION_FLOATING_ONLY
RH_CLAIM=False
