allowed_mod24_rows=6
negative= 5 positive= 1 K_parity=1 g_parity=1
negative= 5 positive=11 K_parity=0 g_parity=0
negative= 7 positive= 1 K_parity=0 g_parity=0
negative= 7 positive=17 K_parity=1 g_parity=0
negative=13 positive= 1 K_parity=0 g_parity=1
negative=13 positive=19 K_parity=0 g_parity=0
f1_surviving_rows=3
f2_double_even_rows=0
bounded_equations_checked=140724
bounded_solutions=76 minimum_excess=4

Independent C++ reconstruction:
5 1 1 1
5 11 0 0
7 1 0 0
7 17 1 0
13 1 0 1
13 19 0 0
quadratic_gate=verified
f2_double_even=empty
