Assembled coverage-certificate validity facts #

Every local node audit passes for fixed branch (1, 4).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_05 :

branchClaims1Row5.LocallyValid

Every local node audit passes for fixed branch (1, 5).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_06 :

branchClaims1Row6.LocallyValid

Every local node audit passes for fixed branch (1, 6).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_07 :

branchClaims1Row7.LocallyValid

Every local node audit passes for fixed branch (1, 7).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_08 :

branchClaims1Row8.LocallyValid

Every local node audit passes for fixed branch (1, 8).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_09 :

branchClaims1Row9.LocallyValid

Every local node audit passes for fixed branch (1, 9).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_16 :

branchClaims1Row16.LocallyValid

Every local node audit passes for fixed branch (1, 16).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_17 :

branchClaims1Row17.LocallyValid

Every local node audit passes for fixed branch (1, 17).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_18 :

branchClaims1Row18.LocallyValid

Every local node audit passes for fixed branch (1, 18).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_19 :

branchClaims1Row19.LocallyValid

Every local node audit passes for fixed branch (1, 19).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_26 :

branchClaims1Row26.LocallyValid

Every local node audit passes for fixed branch (1, 26).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_27 :

branchClaims1Row27.LocallyValid

Every local node audit passes for fixed branch (1, 27).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_28 :

branchClaims1Row28.LocallyValid

Every local node audit passes for fixed branch (1, 28).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_29 :

branchClaims1Row29.LocallyValid

Every local node audit passes for fixed branch (1, 29).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_30 :

branchClaims1Row30.LocallyValid

Every local node audit passes for fixed branch (1, 30).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_31 :

branchClaims1Row31.LocallyValid

Every local node audit passes for fixed branch (1, 31).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_32 :

branchClaims1Row32.LocallyValid

Every local node audit passes for fixed branch (1, 32).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_33 :

branchClaims1Row33.LocallyValid

Every local node audit passes for fixed branch (1, 33).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_1_34 :

branchClaims1Row34.LocallyValid

Every local node audit passes for fixed branch (1, 34).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_01 :

branchClaims2Row1.LocallyValid

Every local node audit passes for fixed branch (2, 1).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_02 :

branchClaims2Row2.LocallyValid

Every local node audit passes for fixed branch (2, 2).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_03 :

branchClaims2Row3.LocallyValid

Every local node audit passes for fixed branch (2, 3).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_04 :

branchClaims2Row4.LocallyValid

Every local node audit passes for fixed branch (2, 4).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_05 :

branchClaims2Row5.LocallyValid

Every local node audit passes for fixed branch (2, 5).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_06 :

branchClaims2Row6.LocallyValid

Every local node audit passes for fixed branch (2, 6).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_08 :

branchClaims2Row8.LocallyValid

Every local node audit passes for fixed branch (2, 8).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_09 :

branchClaims2Row9.LocallyValid

Every local node audit passes for fixed branch (2, 9).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_10 :

branchClaims2Row10.LocallyValid

Every local node audit passes for fixed branch (2, 10).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_11 :

branchClaims2Row11.LocallyValid

Every local node audit passes for fixed branch (2, 11).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_12 :

branchClaims2Row12.LocallyValid

Every local node audit passes for fixed branch (2, 12).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_14 :

branchClaims2Row14.LocallyValid

Every local node audit passes for fixed branch (2, 14).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_15 :

branchClaims2Row15.LocallyValid

Every local node audit passes for fixed branch (2, 15).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_17 :

branchClaims2Row17.LocallyValid

Every local node audit passes for fixed branch (2, 17).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_18 :

branchClaims2Row18.LocallyValid

Every local node audit passes for fixed branch (2, 18).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_23 :

branchClaims2Row23.LocallyValid

Every local node audit passes for fixed branch (2, 23).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_24 :

branchClaims2Row24.LocallyValid

Every local node audit passes for fixed branch (2, 24).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_25 :

branchClaims2Row25.LocallyValid

Every local node audit passes for fixed branch (2, 25).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_26 :

branchClaims2Row26.LocallyValid

Every local node audit passes for fixed branch (2, 26).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_27 :

branchClaims2Row27.LocallyValid

Every local node audit passes for fixed branch (2, 27).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_28 :

branchClaims2Row28.LocallyValid

Every local node audit passes for fixed branch (2, 28).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_29 :

branchClaims2Row29.LocallyValid

Every local node audit passes for fixed branch (2, 29).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_30 :

branchClaims2Row30.LocallyValid

Every local node audit passes for fixed branch (2, 30).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_31 :

branchClaims2Row31.LocallyValid

Every local node audit passes for fixed branch (2, 31).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_32 :

branchClaims2Row32.LocallyValid

Every local node audit passes for fixed branch (2, 32).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_33 :

branchClaims2Row33.LocallyValid

Every local node audit passes for fixed branch (2, 33).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_2_34 :

branchClaims2Row34.LocallyValid

Every local node audit passes for fixed branch (2, 34).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_01 :

branchClaims3Row1.LocallyValid

Every local node audit passes for fixed branch (3, 1).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_02 :

branchClaims3Row2.LocallyValid

Every local node audit passes for fixed branch (3, 2).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_03 :

branchClaims3Row3.LocallyValid

Every local node audit passes for fixed branch (3, 3).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_04 :

branchClaims3Row4.LocallyValid

Every local node audit passes for fixed branch (3, 4).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_05 :

branchClaims3Row5.LocallyValid

Every local node audit passes for fixed branch (3, 5).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_06 :

branchClaims3Row6.LocallyValid

Every local node audit passes for fixed branch (3, 6).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_10 :

branchClaims3Row10.LocallyValid

Every local node audit passes for fixed branch (3, 10).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_11 :

branchClaims3Row11.LocallyValid

Every local node audit passes for fixed branch (3, 11).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_12 :

branchClaims3Row12.LocallyValid

Every local node audit passes for fixed branch (3, 12).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_23 :

branchClaims3Row23.LocallyValid

Every local node audit passes for fixed branch (3, 23).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_24 :

branchClaims3Row24.LocallyValid

Every local node audit passes for fixed branch (3, 24).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_25 :

branchClaims3Row25.LocallyValid

Every local node audit passes for fixed branch (3, 25).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_26 :

branchClaims3Row26.LocallyValid

Every local node audit passes for fixed branch (3, 26).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_27 :

branchClaims3Row27.LocallyValid

Every local node audit passes for fixed branch (3, 27).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_28 :

branchClaims3Row28.LocallyValid

Every local node audit passes for fixed branch (3, 28).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_30 :

branchClaims3Row30.LocallyValid

Every local node audit passes for fixed branch (3, 30).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_31 :

branchClaims3Row31.LocallyValid

Every local node audit passes for fixed branch (3, 31).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_3_32 :

branchClaims3Row32.LocallyValid

Every local node audit passes for fixed branch (3, 32).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_04 :

branchClaims5Row4.LocallyValid

Every local node audit passes for fixed branch (5, 4).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_05 :

branchClaims5Row5.LocallyValid

Every local node audit passes for fixed branch (5, 5).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_06 :

branchClaims5Row6.LocallyValid

Every local node audit passes for fixed branch (5, 6).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_07 :

branchClaims5Row7.LocallyValid

Every local node audit passes for fixed branch (5, 7).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_08 :

branchClaims5Row8.LocallyValid

Every local node audit passes for fixed branch (5, 8).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_09 :

branchClaims5Row9.LocallyValid

Every local node audit passes for fixed branch (5, 9).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_10 :

branchClaims5Row10.LocallyValid

Every local node audit passes for fixed branch (5, 10).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_11 :

branchClaims5Row11.LocallyValid

Every local node audit passes for fixed branch (5, 11).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_12 :

branchClaims5Row12.LocallyValid

Every local node audit passes for fixed branch (5, 12).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_14 :

branchClaims5Row14.LocallyValid

Every local node audit passes for fixed branch (5, 14).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_15 :

branchClaims5Row15.LocallyValid

Every local node audit passes for fixed branch (5, 15).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_16 :

branchClaims5Row16.LocallyValid

Every local node audit passes for fixed branch (5, 16).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_17 :

branchClaims5Row17.LocallyValid

Every local node audit passes for fixed branch (5, 17).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_18 :

branchClaims5Row18.LocallyValid

Every local node audit passes for fixed branch (5, 18).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_19 :

branchClaims5Row19.LocallyValid

Every local node audit passes for fixed branch (5, 19).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_24 :

branchClaims5Row24.LocallyValid

Every local node audit passes for fixed branch (5, 24).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_25 :

branchClaims5Row25.LocallyValid

Every local node audit passes for fixed branch (5, 25).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_26 :

branchClaims5Row26.LocallyValid

Every local node audit passes for fixed branch (5, 26).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_27 :

branchClaims5Row27.LocallyValid

Every local node audit passes for fixed branch (5, 27).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_28 :

branchClaims5Row28.LocallyValid

Every local node audit passes for fixed branch (5, 28).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_29 :

branchClaims5Row29.LocallyValid

Every local node audit passes for fixed branch (5, 29).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_31 :

branchClaims5Row31.LocallyValid

Every local node audit passes for fixed branch (5, 31).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_32 :

branchClaims5Row32.LocallyValid

Every local node audit passes for fixed branch (5, 32).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_5_34 :

branchClaims5Row34.LocallyValid

Every local node audit passes for fixed branch (5, 34).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_01 :

branchClaims6Row1.LocallyValid

Every local node audit passes for fixed branch (6, 1).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_02 :

branchClaims6Row2.LocallyValid

Every local node audit passes for fixed branch (6, 2).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_03 :

branchClaims6Row3.LocallyValid

Every local node audit passes for fixed branch (6, 3).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_04 :

branchClaims6Row4.LocallyValid

Every local node audit passes for fixed branch (6, 4).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_05 :

branchClaims6Row5.LocallyValid

Every local node audit passes for fixed branch (6, 5).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_06 :

branchClaims6Row6.LocallyValid

Every local node audit passes for fixed branch (6, 6).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_07 :

branchClaims6Row7.LocallyValid

Every local node audit passes for fixed branch (6, 7).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_08 :

branchClaims6Row8.LocallyValid

Every local node audit passes for fixed branch (6, 8).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_09 :

branchClaims6Row9.LocallyValid

Every local node audit passes for fixed branch (6, 9).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_10 :

branchClaims6Row10.LocallyValid

Every local node audit passes for fixed branch (6, 10).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_11 :

branchClaims6Row11.LocallyValid

Every local node audit passes for fixed branch (6, 11).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_12 :

branchClaims6Row12.LocallyValid

Every local node audit passes for fixed branch (6, 12).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_13 :

branchClaims6Row13.LocallyValid

Every local node audit passes for fixed branch (6, 13).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_14 :

branchClaims6Row14.LocallyValid

Every local node audit passes for fixed branch (6, 14).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_15 :

branchClaims6Row15.LocallyValid

Every local node audit passes for fixed branch (6, 15).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_16 :

branchClaims6Row16.LocallyValid

Every local node audit passes for fixed branch (6, 16).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_17 :

branchClaims6Row17.LocallyValid

Every local node audit passes for fixed branch (6, 17).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_18 :

branchClaims6Row18.LocallyValid

Every local node audit passes for fixed branch (6, 18).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_23 :

branchClaims6Row23.LocallyValid

Every local node audit passes for fixed branch (6, 23).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_24 :

branchClaims6Row24.LocallyValid

Every local node audit passes for fixed branch (6, 24).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_25 :

branchClaims6Row25.LocallyValid

Every local node audit passes for fixed branch (6, 25).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_26 :

branchClaims6Row26.LocallyValid

Every local node audit passes for fixed branch (6, 26).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_27 :

branchClaims6Row27.LocallyValid

Every local node audit passes for fixed branch (6, 27).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_28 :

branchClaims6Row28.LocallyValid

Every local node audit passes for fixed branch (6, 28).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_30 :

branchClaims6Row30.LocallyValid

Every local node audit passes for fixed branch (6, 30).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_31 :

branchClaims6Row31.LocallyValid

Every local node audit passes for fixed branch (6, 31).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchLocallyValid_6_32 :

branchClaims6Row32.LocallyValid

Every local node audit passes for fixed branch (6, 32).

source

theorem Erdos97Octagon.RawIncidence.StaticDirectCoverage.coverageBranchClaim_root_valid (orbit : Fin 7) (rowTwo : Fin 35) :

branchClaimRootValidB orbit rowTwo (coverageBranchClaim orbit rowTwo) = true

Every one of the 245 fixed-branch roots passes its fail-closed audit.

Documentation

LeanPool.Erdos97ConvexOctagon.CoverageCertificateValidity

Assembled coverage-certificate validity facts #