checking uspto50k_val#L2832 (stage1_solved) ...
  ok
checking uspto50k_val#L1977 (stage1_solved) ...
  ok
checking uspto50k_val#L4062 (stage1_solved) ...
  ok
checking uspto50k_val#L298 (stage2_solved) ...
  ok
checking uspto50k_val#L2979 (stage2_solved) ...
  ok
checking uspto50k_val#L1920 (stage2_solved) ...
  ok
checking uspto50k_val#L3439 (stage2_unsolved) ...
  ok
checking uspto50k_val#L4239 (stage2_unsolved) ...
  ok
checking uspto50k_val#L3542 (stage2_unsolved) ...
  ok

PASS: 9/9 targets match the VAL gate's committed rows
