SMT reconstruction failures

[Lawrence Paulson]

This also wasted my time. Seeing the failure, I tried to run the session locally and nothing happened. Like Jasmin I am not sure why a timeout is there.

> On 15 Jul 2025, at 16:36, Fabian Huch <huch at in.tum.de> wrote:
> 
> >isabelle build -A: Modular_arithmetic_LLL_and_HNF_algorithms
> Running Modular_arithmetic_LLL_and_HNF_algorithms ...
> Modular_arithmetic_LLL_and_HNF_algorithms FAILED (see also "isabelle build_log -H Error Modular_arithmetic_LLL_and_HNF_algorithms")
> *** Failed to apply initial proof method (line 6705 of "$AFP/Modular_arithmetic_LLL_and_HNF_algorithms/HNF_Mod_Det_Soundness.thy"):
> *** goal (1 subgoal):
> ***  1. A $$ (0, 0) =
> ***     A'' $$
> ***     (0, 0)
> *** At command "by" (line 6705 of "