for PETSC v3.19.2

C codes (Chapters 1--12) were tested with PETSc v3.19.2 (commit b2e859853a8).

Python codes (Chapters 13--14) were tested with Firedrake (commit b195b5c9).

Gmsh version 4.9.3 (and 4.9.0)

Test machine: lemur Ubuntu 22.04.2 LTS