The one thing to point out is that the comment that describes how to compute Z3 is wrong. The input there should be A2, not Z2. This has already been reported and fixed, but the new version is not deployed yet.
1 Like