TetraChroma Lab

Module 2

Reducible Configurations

A gallery of reducible configurations in the spirit of Robertson, Sanders, Seymour, and Thomas (1996). Each configuration carries a Strict Verification Label (SVL) of the form [Provenance]-[Category]-[SubID]-[State].

Showing 64 of 64. The architecture supports the full RSST 633 set and the 1,482 Appel–Haken set; bundled adjacency for the gallery is a stand-in.

edge 0–1edge 0–5edge 0–7edge 1–2edge 1–7edge 2–3edge 2–6edge 3–4edge 3–6edge 4–5edge 4–6edge 5–6edge 5–7edge 6–7vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 5 · uncoloredvertex 7 · deg 4 · uncolored
RSST-R-0001-COQ-2005
ring=6v=8 e=14

discharging rule R1

edge 0–1edge 0–6edge 0–7edge 0–9edge 1–2edge 1–7edge 1–10edge 2–3edge 2–8edge 2–10edge 2–11edge 3–4edge 3–8edge 3–10edge 3–11edge 4–5edge 4–8edge 4–10edge 4–11edge 5–6edge 5–8edge 5–11edge 6–7edge 6–9edge 7–8edge 7–9edge 7–10edge 8–11vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 6 · uncoloredvertex 8 · deg 6 · uncoloredvertex 9 · deg 3 · uncoloredvertex 10 · deg 5 · uncoloredvertex 11 · deg 5 · uncolored
RSST-R-0002-COQ-2005
ring=7v=12 e=28

discharging rule R2

edge 0–1edge 0–7edge 1–2edge 2–3edge 3–4edge 3–10edge 4–5edge 4–8edge 4–10edge 5–6edge 5–8edge 6–7edge 6–8edge 6–9edge 7–8edge 7–9edge 8–9edge 9–10vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 5 · uncoloredvertex 9 · deg 4 · uncoloredvertex 10 · deg 3 · uncolored
RSST-R-0003-COQ-2005
ring=8v=11 e=18

discharging rule R3

edge 0–1edge 0–8edge 0–11edge 1–2edge 1–9edge 1–11edge 2–3edge 2–9edge 2–10edge 2–12edge 2–13edge 3–4edge 3–9edge 3–10edge 3–12edge 3–13edge 4–5edge 4–12edge 5–6edge 6–7edge 7–8edge 7–14edge 8–11edge 8–14edge 9–10edge 9–13edge 10–11edge 10–12edge 10–14vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 6 · uncolored · ringvertex 3 · deg 6 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 5 · uncoloredvertex 10 · deg 6 · uncoloredvertex 11 · deg 4 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 3 · uncoloredvertex 14 · deg 3 · uncolored
RSST-R-0004-LEAN-VERIFIED
ring=9v=15 e=29

discharging rule R4a

edge 0–1edge 0–9edge 0–13edge 1–2edge 1–13edge 2–3edge 3–4edge 3–12edge 4–5edge 4–12edge 5–6edge 5–12edge 6–7edge 7–8edge 7–10edge 7–11edge 8–9edge 8–10edge 8–11edge 8–13edge 9–11edge 9–13edge 10–11edge 11–12edge 11–13vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 5 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 3 · uncoloredvertex 11 · deg 6 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 5 · uncolored
RSST-R-0005-COMP-1976
ring=10v=14 e=25

discharging rule R4b

edge 0–1edge 0–10edge 1–2edge 2–3edge 2–12edge 3–4edge 3–12edge 4–5edge 4–11edge 4–12edge 5–6edge 5–11edge 5–12edge 6–7edge 6–11edge 7–8edge 7–11edge 8–9edge 9–10edge 11–12vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 5 · uncoloredvertex 12 · deg 5 · uncolored
RSST-R-0006-COQ-2005
ring=11v=13 e=20

discharging rule R5

edge 0–1edge 0–11edge 0–12edge 0–15edge 1–2edge 1–12edge 1–15edge 2–3edge 3–4edge 3–14edge 4–5edge 4–14edge 5–6edge 5–14edge 6–7edge 6–16edge 7–8edge 7–16edge 8–9edge 8–13edge 8–16edge 9–10edge 9–13edge 10–11edge 11–12edge 11–15edge 12–13edge 12–14edge 14–15edge 15–16vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 4 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 3 · uncoloredvertex 14 · deg 5 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 4 · uncolored
RSST-R-0007-COQ-2005
ring=12v=17 e=30

discharging rule R6

edge 0–1edge 0–12edge 1–2edge 2–3edge 2–14edge 3–4edge 3–14edge 4–5edge 4–14edge 5–6edge 6–7edge 7–8edge 7–13edge 8–9edge 8–13edge 9–10edge 9–15edge 10–11edge 10–15edge 11–12edge 11–15edge 12–15edge 13–14edge 13–15vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 3 · uncolored · ringvertex 13 · deg 4 · uncoloredvertex 14 · deg 4 · uncoloredvertex 15 · deg 5 · uncolored
RSST-R-0008-COQ-2005
ring=13v=16 e=24

discharging rule R7

edge 0–1edge 0–13edge 1–2edge 1–17edge 2–3edge 2–14edge 2–16edge 2–17edge 2–19edge 3–4edge 3–14edge 3–16edge 3–19edge 4–5edge 4–14edge 4–16edge 4–19edge 5–6edge 5–14edge 5–16edge 5–18edge 5–19edge 6–7edge 6–18edge 7–8edge 8–9edge 9–10edge 9–15edge 10–11edge 10–15edge 11–12edge 11–15edge 12–13edge 12–15edge 14–15edge 14–16edge 15–18edge 16–17edge 17–19vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 6 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 6 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 3 · uncolored · ringvertex 13 · deg 2 · uncolored · ringvertex 14 · deg 6 · uncoloredvertex 15 · deg 6 · uncoloredvertex 16 · deg 6 · uncoloredvertex 17 · deg 4 · uncoloredvertex 18 · deg 3 · uncoloredvertex 19 · deg 5 · uncolored
RSST-R-0009-LEAN-VERIFIED
ring=14v=20 e=39

discharging rule R1

edge 0–1edge 0–5edge 0–6edge 0–7edge 0–8edge 0–9edge 1–2edge 1–7edge 2–3edge 3–4edge 3–8edge 4–5edge 4–6edge 4–8edge 4–9edge 5–6edge 5–8edge 5–9edge 6–7edge 6–8edge 6–9vertex 0 · deg 6 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 6 · uncoloredvertex 7 · deg 3 · uncoloredvertex 8 · deg 5 · uncoloredvertex 9 · deg 4 · uncolored
RSST-R-0010-COMP-1976
ring=6v=10 e=21

discharging rule R2

edge 0–1edge 0–6edge 1–2edge 2–3edge 2–7edge 3–4edge 3–7edge 4–5edge 4–8edge 5–6edge 5–8edge 6–8edge 7–8vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncoloredvertex 8 · deg 4 · uncolored
RSST-R-0011-COQ-2005
ring=7v=9 e=13

discharging rule R3

edge 0–1edge 0–7edge 0–8edge 0–9edge 1–2edge 1–8edge 1–9edge 2–3edge 2–8edge 2–9edge 3–4edge 4–5edge 4–10edge 5–6edge 5–10edge 5–12edge 6–7edge 6–11edge 6–12edge 7–8edge 7–11edge 7–12edge 8–9edge 8–11edge 8–12edge 9–10vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 5 · uncolored · ringvertex 8 · deg 7 · uncoloredvertex 9 · deg 5 · uncoloredvertex 10 · deg 3 · uncoloredvertex 11 · deg 3 · uncoloredvertex 12 · deg 4 · uncolored
RSST-R-0012-COQ-2005
ring=8v=13 e=26

discharging rule R4a

edge 0–1edge 0–8edge 0–11edge 1–2edge 1–11edge 2–3edge 3–4edge 4–5edge 4–10edge 5–6edge 5–9edge 5–10edge 6–7edge 6–9edge 6–10edge 7–8edge 7–10edge 9–10edge 10–11vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 3 · uncoloredvertex 10 · deg 6 · uncoloredvertex 11 · deg 3 · uncolored
RSST-R-0013-COQ-2005
ring=9v=12 e=19

discharging rule R4b

edge 0–1edge 0–9edge 0–11edge 0–13edge 1–2edge 1–11edge 1–13edge 2–3edge 2–10edge 2–13edge 3–4edge 3–10edge 4–5edge 4–10edge 4–12edge 4–15edge 5–6edge 5–10edge 5–12edge 5–15edge 6–7edge 6–14edge 6–15edge 7–8edge 7–14edge 8–9edge 9–13edge 10–11edge 10–12edge 10–15edge 11–13edge 13–14vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 7 · uncoloredvertex 11 · deg 4 · uncoloredvertex 12 · deg 3 · uncoloredvertex 13 · deg 6 · uncoloredvertex 14 · deg 3 · uncoloredvertex 15 · deg 4 · uncolored
RSST-R-0014-LEAN-VERIFIED
ring=10v=16 e=32

discharging rule R5

edge 0–1edge 0–10edge 0–13edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 5–12edge 5–14edge 6–7edge 6–12edge 6–14edge 7–8edge 7–12edge 8–9edge 8–11edge 9–10edge 9–11edge 10–11edge 10–13edge 11–12edge 11–13edge 12–14vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 4 · uncolored · ringvertex 11 · deg 5 · uncoloredvertex 12 · deg 5 · uncoloredvertex 13 · deg 3 · uncoloredvertex 14 · deg 3 · uncolored
RSST-R-0015-COMP-1976
ring=11v=15 e=24

discharging rule R6

edge 0–1edge 0–11edge 0–13edge 1–2edge 1–13edge 2–3edge 2–13edge 3–4edge 4–5edge 4–12edge 5–6edge 5–12edge 6–7edge 7–8edge 8–9edge 9–10edge 10–11edge 11–13edge 12–13vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 3 · uncoloredvertex 13 · deg 5 · uncolored
RSST-R-0016-COQ-2005
ring=12v=14 e=19

discharging rule R7

edge 0–1edge 0–12edge 0–13edge 0–15edge 0–17edge 1–2edge 1–13edge 1–17edge 2–3edge 2–13edge 3–4edge 3–13edge 4–5edge 5–6edge 5–14edge 6–7edge 6–14edge 7–8edge 7–16edge 8–9edge 8–16edge 9–10edge 9–16edge 10–11edge 10–16edge 11–12edge 11–15edge 12–15edge 12–17edge 13–14edge 13–15edge 14–17edge 15–16vertex 0 · deg 5 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 4 · uncolored · ringvertex 13 · deg 6 · uncoloredvertex 14 · deg 4 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 5 · uncoloredvertex 17 · deg 4 · uncolored
RSST-R-0017-COQ-2005
ring=13v=18 e=33

discharging rule R1

edge 0–1edge 0–13edge 0–15edge 1–2edge 2–3edge 3–4edge 4–5edge 4–16edge 5–6edge 5–16edge 6–7edge 6–16edge 7–8edge 8–9edge 8–14edge 9–10edge 9–14edge 10–11edge 10–14edge 11–12edge 12–13edge 12–15edge 13–15edge 14–15edge 15–16vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 2 · uncolored · ringvertex 12 · deg 3 · uncolored · ringvertex 13 · deg 3 · uncolored · ringvertex 14 · deg 4 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 4 · uncolored
RSST-R-0018-COQ-2005
ring=14v=17 e=25

discharging rule R2

edge 0–1edge 0–5edge 0–8edge 0–9edge 0–11edge 1–2edge 1–6edge 2–3edge 2–6edge 2–7edge 3–4edge 3–7edge 4–5edge 4–7edge 4–8edge 4–9edge 4–10edge 4–11edge 5–7edge 5–8edge 5–9edge 5–10edge 5–11edge 6–7edge 6–10edge 7–8edge 8–9edge 8–11vertex 0 · deg 5 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 7 · uncolored · ringvertex 5 · deg 7 · uncolored · ringvertex 6 · deg 4 · uncoloredvertex 7 · deg 6 · uncoloredvertex 8 · deg 6 · uncoloredvertex 9 · deg 4 · uncoloredvertex 10 · deg 3 · uncoloredvertex 11 · deg 4 · uncolored
RSST-R-0019-LEAN-VERIFIED
ring=6v=12 e=28

discharging rule R3

edge 0–1edge 0–6edge 0–7edge 0–8edge 1–2edge 1–7edge 1–8edge 1–9edge 1–10edge 2–3edge 2–9edge 2–10edge 3–4edge 3–9edge 3–10edge 4–5edge 4–10edge 5–6edge 5–7edge 5–8edge 6–7edge 6–8edge 7–8edge 7–10edge 8–9vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 6 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 6 · uncoloredvertex 8 · deg 6 · uncoloredvertex 9 · deg 4 · uncoloredvertex 10 · deg 5 · uncolored
RSST-R-0020-COMP-1976
ring=7v=11 e=25

discharging rule R4a

edge 0–1edge 0–7edge 1–2edge 2–3edge 2–9edge 3–4edge 3–8edge 3–9edge 4–5edge 4–8edge 5–6edge 5–8edge 6–7edge 8–9vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 4 · uncoloredvertex 9 · deg 3 · uncolored
RSST-R-0021-COQ-2005
ring=8v=10 e=14

discharging rule R4b

edge 0–1edge 0–8edge 0–9edge 0–10edge 1–2edge 1–9edge 1–11edge 1–13edge 2–3edge 2–11edge 2–13edge 3–4edge 3–11edge 3–12edge 3–13edge 4–5edge 4–11edge 4–12edge 5–6edge 5–12edge 6–7edge 7–8edge 7–10edge 8–10edge 9–10edge 9–11edge 9–12edge 11–13vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 5 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 5 · uncoloredvertex 10 · deg 4 · uncoloredvertex 11 · deg 6 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 4 · uncolored
RSST-R-0022-COQ-2005
ring=9v=14 e=28

discharging rule R5

edge 0–1edge 0–9edge 1–2edge 2–3edge 2–11edge 3–4edge 3–11edge 4–5edge 4–11edge 5–6edge 5–11edge 6–7edge 6–10edge 6–12edge 7–8edge 7–10edge 7–12edge 8–9edge 8–10edge 8–12edge 9–10edge 9–12edge 10–11edge 10–12vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 6 · uncoloredvertex 11 · deg 5 · uncoloredvertex 12 · deg 5 · uncolored
RSST-R-0023-COQ-2005
ring=10v=13 e=24

discharging rule R6

edge 0–1edge 0–10edge 0–13edge 0–15edge 1–2edge 1–13edge 1–16edge 2–3edge 2–11edge 2–13edge 2–16edge 3–4edge 3–11edge 3–13edge 4–5edge 5–6edge 5–14edge 6–7edge 6–14edge 7–8edge 8–9edge 8–12edge 9–10edge 9–12edge 10–15edge 11–12edge 11–13edge 12–14edge 12–15edge 15–16vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 4 · uncoloredvertex 12 · deg 5 · uncoloredvertex 13 · deg 5 · uncoloredvertex 14 · deg 3 · uncoloredvertex 15 · deg 4 · uncoloredvertex 16 · deg 3 · uncolored
RSST-R-0024-LEAN-VERIFIED
ring=11v=17 e=30

discharging rule R7

edge 0–1edge 0–11edge 0–12edge 0–15edge 1–2edge 1–12edge 1–15edge 2–3edge 2–13edge 2–15edge 3–4edge 3–13edge 4–5edge 4–13edge 5–6edge 6–7edge 6–14edge 7–8edge 7–14edge 8–9edge 8–14edge 9–10edge 9–14edge 10–11edge 10–12edge 11–12edge 12–13edge 13–14edge 13–15vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 6 · uncoloredvertex 14 · deg 5 · uncoloredvertex 15 · deg 4 · uncolored
RSST-R-0025-COMP-1976
ring=12v=16 e=29

discharging rule R1

edge 0–1edge 0–12edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 5–13edge 6–7edge 6–13edge 7–8edge 7–13edge 8–9edge 8–14edge 9–10edge 9–14edge 10–11edge 10–14edge 11–12edge 11–14edge 13–14vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 2 · uncolored · ringvertex 13 · deg 4 · uncoloredvertex 14 · deg 5 · uncolored
RSST-R-0026-COQ-2005
ring=13v=15 e=21

discharging rule R2

edge 0–1edge 0–13edge 0–14edge 1–2edge 1–14edge 2–3edge 2–15edge 2–17edge 3–4edge 3–15edge 3–17edge 4–5edge 4–15edge 4–18edge 5–6edge 5–15edge 5–18edge 6–7edge 6–16edge 6–18edge 7–8edge 7–16edge 8–9edge 9–10edge 10–11edge 11–12edge 12–13edge 14–15edge 15–16edge 16–17edge 17–18vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 2 · uncolored · ringvertex 12 · deg 2 · uncolored · ringvertex 13 · deg 2 · uncolored · ringvertex 14 · deg 3 · uncoloredvertex 15 · deg 6 · uncoloredvertex 16 · deg 4 · uncoloredvertex 17 · deg 4 · uncoloredvertex 18 · deg 4 · uncolored
RSST-R-0027-COQ-2005
ring=14v=19 e=31

discharging rule R3

edge 0–1edge 0–5edge 0–6edge 0–8edge 1–2edge 2–3edge 3–4edge 3–6edge 3–7edge 4–5edge 4–6edge 4–7edge 5–6edge 5–8edge 6–7edge 7–8vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 5 · uncoloredvertex 7 · deg 4 · uncoloredvertex 8 · deg 3 · uncolored
RSST-R-0028-COQ-2005
ring=6v=9 e=16

discharging rule R4a

edge 0–1edge 0–6edge 0–8edge 1–2edge 1–7edge 1–8edge 1–11edge 2–3edge 2–7edge 2–8edge 2–9edge 2–10edge 2–11edge 3–4edge 3–7edge 3–9edge 3–10edge 3–11edge 3–12edge 4–5edge 4–10edge 4–11edge 4–12edge 5–6edge 5–10edge 5–12edge 6–12edge 7–8edge 7–9edge 8–12edge 9–10edge 9–11vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 5 · uncolored · ringvertex 2 · deg 7 · uncolored · ringvertex 3 · deg 7 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 5 · uncoloredvertex 8 · deg 5 · uncoloredvertex 9 · deg 5 · uncoloredvertex 10 · deg 5 · uncoloredvertex 11 · deg 5 · uncoloredvertex 12 · deg 5 · uncolored
RSST-R-0029-LEAN-VERIFIED
ring=7v=13 e=32

discharging rule R4b

edge 0–1edge 0–7edge 0–8edge 0–10edge 1–2edge 2–3edge 3–4edge 4–5edge 4–9edge 5–6edge 5–9edge 6–7edge 6–9edge 6–10edge 6–11edge 7–8edge 7–9edge 7–10edge 7–11edge 8–9edge 8–10edge 8–11vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 5 · uncolored · ringvertex 7 · deg 6 · uncolored · ringvertex 8 · deg 5 · uncoloredvertex 9 · deg 5 · uncoloredvertex 10 · deg 4 · uncoloredvertex 11 · deg 3 · uncolored
RSST-R-0030-COMP-1976
ring=8v=12 e=22

discharging rule R5

edge 0–1edge 0–8edge 0–10edge 1–2edge 1–10edge 2–3edge 3–4edge 4–5edge 4–9edge 5–6edge 5–9edge 6–7edge 6–9edge 7–8edge 7–9edge 9–10vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 5 · uncoloredvertex 10 · deg 3 · uncolored
RSST-R-0031-COQ-2005
ring=9v=11 e=16

discharging rule R6

edge 0–1edge 0–9edge 0–10edge 0–13edge 1–2edge 1–10edge 1–13edge 2–3edge 2–10edge 2–13edge 3–4edge 4–5edge 5–6edge 5–11edge 5–14edge 6–7edge 6–11edge 6–14edge 7–8edge 7–11edge 7–12edge 8–9edge 8–12edge 9–12edge 9–13edge 10–11edge 10–13edge 10–14edge 11–12vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 6 · uncoloredvertex 11 · deg 5 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 5 · uncoloredvertex 14 · deg 3 · uncolored
RSST-R-0032-COQ-2005
ring=10v=15 e=29

discharging rule R7

edge 0–1edge 0–10edge 0–12edge 1–2edge 1–12edge 2–3edge 2–12edge 2–13edge 3–4edge 3–13edge 4–5edge 4–13edge 5–6edge 6–7edge 7–8edge 7–11edge 8–9edge 8–11edge 9–10edge 10–12edge 11–12edge 12–13vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncoloredvertex 12 · deg 6 · uncoloredvertex 13 · deg 4 · uncolored
RSST-R-0033-COQ-2005
ring=11v=14 e=22

discharging rule R1

edge 0–1edge 0–11edge 1–2edge 1–15edge 2–3edge 2–15edge 3–4edge 3–12edge 3–15edge 4–5edge 4–12edge 4–16edge 5–6edge 5–12edge 5–13edge 5–16edge 6–7edge 6–12edge 6–13edge 6–16edge 7–8edge 7–14edge 7–16edge 8–9edge 8–14edge 9–10edge 9–14edge 9–17edge 10–11edge 10–17edge 11–17edge 12–13edge 13–14edge 13–15edge 15–16edge 16–17vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 5 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 5 · uncoloredvertex 14 · deg 4 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 6 · uncoloredvertex 17 · deg 4 · uncolored
RSST-R-0034-LEAN-VERIFIED
ring=12v=18 e=36

discharging rule R2

edge 0–1edge 0–12edge 1–2edge 1–15edge 2–3edge 2–15edge 3–4edge 3–15edge 4–5edge 4–15edge 5–6edge 6–7edge 7–8edge 8–9edge 8–16edge 9–10edge 9–16edge 10–11edge 10–16edge 11–12edge 11–13edge 11–14edge 11–16edge 12–13edge 12–14edge 13–14edge 14–15edge 14–16vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 5 · uncolored · ringvertex 12 · deg 4 · uncolored · ringvertex 13 · deg 3 · uncoloredvertex 14 · deg 5 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 5 · uncolored
RSST-R-0035-COMP-1976
ring=13v=17 e=28

discharging rule R3

edge 0–1edge 0–13edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 5–15edge 6–7edge 6–15edge 7–8edge 7–14edge 7–15edge 8–9edge 8–14edge 9–10edge 9–14edge 10–11edge 10–14edge 11–12edge 12–13edge 14–15vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 2 · uncolored · ringvertex 12 · deg 2 · uncolored · ringvertex 13 · deg 2 · uncolored · ringvertex 14 · deg 5 · uncoloredvertex 15 · deg 4 · uncolored
RSST-R-0036-COQ-2005
ring=14v=16 e=22

discharging rule R4a

edge 0–1edge 0–5edge 0–6edge 0–7edge 0–8edge 0–9edge 1–2edge 1–6edge 1–7edge 1–8edge 2–3edge 2–6edge 2–7edge 2–8edge 3–4edge 3–8edge 4–5edge 4–9edge 4–10edge 5–7edge 5–9edge 5–10edge 6–7edge 6–8edge 7–10edge 8–9vertex 0 · deg 6 · uncolored · ringvertex 1 · deg 5 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 5 · uncoloredvertex 7 · deg 6 · uncoloredvertex 8 · deg 6 · uncoloredvertex 9 · deg 4 · uncoloredvertex 10 · deg 3 · uncolored
RSST-R-0037-COQ-2005
ring=6v=11 e=26

discharging rule R4b

edge 0–1edge 0–6edge 1–2edge 2–3edge 2–8edge 3–4edge 3–8edge 3–9edge 4–5edge 4–7edge 4–9edge 5–6edge 5–7edge 5–9edge 6–9edge 7–8edge 7–9vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 4 · uncoloredvertex 8 · deg 3 · uncoloredvertex 9 · deg 5 · uncolored
RSST-R-0038-COQ-2005
ring=7v=10 e=17

discharging rule R5

edge 0–1edge 0–7edge 0–9edge 0–10edge 0–11edge 1–2edge 1–13edge 2–3edge 2–8edge 2–13edge 3–4edge 3–8edge 3–13edge 4–5edge 4–8edge 4–12edge 5–6edge 5–8edge 5–12edge 6–7edge 6–9edge 6–12edge 7–9edge 7–10edge 7–11edge 7–12edge 8–9edge 8–12edge 9–10edge 9–13edge 10–11vertex 0 · deg 5 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 6 · uncolored · ringvertex 8 · deg 6 · uncoloredvertex 9 · deg 6 · uncoloredvertex 10 · deg 4 · uncoloredvertex 11 · deg 3 · uncoloredvertex 12 · deg 5 · uncoloredvertex 13 · deg 4 · uncolored
RSST-R-0039-LEAN-VERIFIED
ring=8v=14 e=31

discharging rule R6

edge 0–1edge 0–8edge 0–9edge 1–2edge 1–9edge 2–3edge 2–10edge 3–4edge 3–10edge 3–11edge 4–5edge 4–10edge 4–11edge 4–12edge 5–6edge 5–10edge 5–12edge 6–7edge 6–12edge 7–8edge 8–9edge 9–10edge 9–12edge 10–11vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 5 · uncoloredvertex 10 · deg 6 · uncoloredvertex 11 · deg 3 · uncoloredvertex 12 · deg 4 · uncolored
RSST-R-0040-COMP-1976
ring=9v=13 e=24

discharging rule R7

edge 0–1edge 0–9edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 5–10edge 6–7edge 6–10edge 7–8edge 7–11edge 8–9edge 8–11edge 10–11vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 3 · uncoloredvertex 11 · deg 3 · uncolored
RSST-R-0041-COQ-2005
ring=10v=12 e=15

discharging rule R1

edge 0–1edge 0–10edge 1–2edge 1–11edge 2–3edge 2–11edge 2–12edge 3–4edge 3–11edge 3–12edge 3–13edge 4–5edge 4–11edge 4–13edge 5–6edge 6–7edge 6–14edge 7–8edge 7–14edge 8–9edge 9–10edge 9–15edge 10–15edge 11–12edge 11–14edge 12–13edge 13–15vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 6 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 4 · uncoloredvertex 14 · deg 3 · uncoloredvertex 15 · deg 3 · uncolored
RSST-R-0042-COQ-2005
ring=11v=16 e=27

discharging rule R2

edge 0–1edge 0–11edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 6–7edge 7–8edge 8–9edge 8–12edge 8–13edge 9–10edge 9–12edge 9–13edge 9–14edge 10–11edge 10–12edge 10–13edge 10–14edge 11–14edge 12–13edge 12–14vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 5 · uncolored · ringvertex 10 · deg 5 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 4 · uncoloredvertex 14 · deg 4 · uncolored
RSST-R-0043-COQ-2005
ring=12v=15 e=23

discharging rule R3

edge 0–1edge 0–12edge 1–2edge 2–3edge 2–14edge 3–4edge 3–14edge 3–15edge 4–5edge 4–13edge 4–14edge 4–15edge 5–6edge 5–13edge 5–14edge 5–15edge 6–7edge 6–18edge 7–8edge 7–18edge 8–9edge 9–10edge 9–16edge 9–17edge 10–11edge 10–16edge 10–17edge 11–12edge 11–16edge 11–17edge 12–16edge 12–17edge 13–14edge 13–15edge 14–16edge 14–17edge 16–18vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 4 · uncolored · ringvertex 11 · deg 4 · uncolored · ringvertex 12 · deg 4 · uncolored · ringvertex 13 · deg 4 · uncoloredvertex 14 · deg 7 · uncoloredvertex 15 · deg 4 · uncoloredvertex 16 · deg 6 · uncoloredvertex 17 · deg 5 · uncoloredvertex 18 · deg 3 · uncolored
RSST-R-0044-LEAN-VERIFIED
ring=13v=19 e=37

discharging rule R4a

edge 0–1edge 0–13edge 0–14edge 1–2edge 1–14edge 2–3edge 2–14edge 3–4edge 3–17edge 4–5edge 4–17edge 5–6edge 6–7edge 7–8edge 8–9edge 8–15edge 9–10edge 9–15edge 9–16edge 10–11edge 10–16edge 11–12edge 11–16edge 12–13edge 13–14edge 14–15edge 14–16edge 15–17vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 2 · uncolored · ringvertex 13 · deg 3 · uncolored · ringvertex 14 · deg 6 · uncoloredvertex 15 · deg 4 · uncoloredvertex 16 · deg 4 · uncoloredvertex 17 · deg 3 · uncolored
RSST-R-0045-COMP-1976
ring=14v=18 e=28

discharging rule R4b

edge 0–1edge 0–5edge 0–7edge 1–2edge 1–7edge 2–3edge 2–7edge 3–4edge 3–6edge 4–5edge 4–6edge 6–7vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncoloredvertex 7 · deg 4 · uncolored
RSST-R-0046-COQ-2005
ring=6v=8 e=12

discharging rule R5

edge 0–1edge 0–6edge 0–8edge 0–11edge 1–2edge 1–7edge 1–11edge 2–3edge 2–7edge 2–10edge 3–4edge 3–7edge 3–10edge 4–5edge 4–7edge 4–8edge 4–9edge 4–10edge 5–6edge 5–8edge 5–9edge 5–10edge 6–8edge 6–9edge 7–8edge 7–11edge 8–9edge 9–10vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 6 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 6 · uncoloredvertex 8 · deg 6 · uncoloredvertex 9 · deg 5 · uncoloredvertex 10 · deg 5 · uncoloredvertex 11 · deg 3 · uncolored
RSST-R-0047-COQ-2005
ring=7v=12 e=28

discharging rule R6

edge 0–1edge 0–7edge 0–8edge 0–9edge 0–10edge 1–2edge 1–9edge 1–10edge 2–3edge 2–10edge 3–4edge 3–10edge 4–5edge 5–6edge 6–7edge 6–8edge 7–8edge 8–9edge 9–10vertex 0 · deg 5 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 4 · uncoloredvertex 9 · deg 4 · uncoloredvertex 10 · deg 5 · uncolored
RSST-R-0048-COQ-2005
ring=8v=11 e=19

discharging rule R7

edge 0–1edge 0–8edge 0–13edge 0–14edge 1–2edge 1–13edge 1–14edge 2–3edge 2–13edge 3–4edge 3–9edge 4–5edge 4–9edge 4–10edge 4–11edge 4–12edge 5–6edge 5–10edge 5–11edge 5–12edge 6–7edge 6–10edge 6–11edge 6–12edge 7–8edge 7–11edge 7–14edge 8–13edge 8–14edge 9–10edge 9–12edge 9–14edge 10–11edge 11–13vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 6 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 5 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 5 · uncoloredvertex 10 · deg 5 · uncoloredvertex 11 · deg 6 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 5 · uncoloredvertex 14 · deg 5 · uncolored
RSST-R-0049-LEAN-VERIFIED
ring=9v=15 e=34

discharging rule R1

edge 0–1edge 0–9edge 0–10edge 0–11edge 0–12edge 0–13edge 1–2edge 1–10edge 1–11edge 1–12edge 1–13edge 2–3edge 2–10edge 2–12edge 2–13edge 3–4edge 3–12edge 3–13edge 4–5edge 5–6edge 6–7edge 7–8edge 8–9edge 9–10edge 9–11edge 10–11edge 10–12edge 10–13vertex 0 · deg 6 · uncolored · ringvertex 1 · deg 6 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 7 · uncoloredvertex 11 · deg 4 · uncoloredvertex 12 · deg 5 · uncoloredvertex 13 · deg 5 · uncolored
RSST-R-0050-COMP-1976
ring=10v=14 e=28

discharging rule R2

edge 0–1edge 0–10edge 1–2edge 2–3edge 3–4edge 4–5edge 5–6edge 5–12edge 6–7edge 6–11edge 6–12edge 7–8edge 7–11edge 7–12edge 8–9edge 8–11edge 8–12edge 9–10edge 11–12vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 4 · uncolored · ringvertex 8 · deg 4 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 4 · uncoloredvertex 12 · deg 5 · uncolored
RSST-R-0051-COQ-2005
ring=11v=13 e=19

discharging rule R3

edge 0–1edge 0–11edge 0–13edge 0–14edge 1–2edge 2–3edge 2–12edge 2–15edge 3–4edge 3–12edge 3–15edge 3–16edge 4–5edge 4–15edge 4–16edge 5–6edge 6–7edge 7–8edge 8–9edge 9–10edge 10–11edge 11–13edge 11–14edge 12–13edge 12–14edge 12–15edge 13–16vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 4 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 4 · uncoloredvertex 14 · deg 3 · uncoloredvertex 15 · deg 4 · uncoloredvertex 16 · deg 3 · uncolored
RSST-R-0052-COQ-2005
ring=12v=17 e=27

discharging rule R4a

edge 0–1edge 0–12edge 0–13edge 1–2edge 2–3edge 3–4edge 4–5edge 4–15edge 5–6edge 5–14edge 5–15edge 6–7edge 6–14edge 7–8edge 7–14edge 8–9edge 9–10edge 10–11edge 10–13edge 11–12edge 11–13edge 12–13edge 13–14edge 13–15vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 3 · uncolored · ringvertex 13 · deg 6 · uncoloredvertex 14 · deg 4 · uncoloredvertex 15 · deg 3 · uncolored
RSST-R-0053-COQ-2005
ring=13v=16 e=24

discharging rule R4b

edge 0–1edge 0–13edge 0–15edge 1–2edge 1–15edge 1–18edge 2–3edge 2–18edge 2–19edge 3–4edge 3–18edge 3–19edge 4–5edge 4–17edge 4–19edge 5–6edge 5–14edge 5–17edge 6–7edge 6–14edge 7–8edge 7–14edge 8–9edge 9–10edge 10–11edge 11–12edge 11–16edge 12–13edge 12–15edge 12–16edge 13–15edge 14–15edge 15–16edge 15–17edge 16–19edge 17–18vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 4 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 4 · uncolored · ringvertex 13 · deg 3 · uncolored · ringvertex 14 · deg 4 · uncoloredvertex 15 · deg 7 · uncoloredvertex 16 · deg 4 · uncoloredvertex 17 · deg 4 · uncoloredvertex 18 · deg 4 · uncoloredvertex 19 · deg 4 · uncolored
RSST-R-0054-LEAN-VERIFIED
ring=14v=20 e=36

discharging rule R5

edge 0–1edge 0–5edge 0–6edge 0–9edge 1–2edge 1–8edge 1–9edge 2–3edge 2–7edge 2–8edge 3–4edge 3–7edge 4–5edge 5–6edge 5–9edge 6–7edge 7–8edge 7–9vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 3 · uncoloredvertex 7 · deg 5 · uncoloredvertex 8 · deg 3 · uncoloredvertex 9 · deg 4 · uncolored
RSST-R-0055-COMP-1976
ring=6v=10 e=18

discharging rule R6

edge 0–1edge 0–6edge 0–8edge 1–2edge 2–3edge 3–4edge 4–5edge 4–7edge 5–6edge 5–7edge 5–8edge 6–7edge 6–8edge 7–8vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 4 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 4 · uncoloredvertex 8 · deg 4 · uncolored
RSST-R-0056-COQ-2005
ring=7v=9 e=14

discharging rule R7

edge 0–1edge 0–7edge 0–11edge 1–2edge 1–8edge 1–10edge 2–3edge 2–8edge 2–9edge 2–10edge 3–4edge 3–9edge 3–10edge 3–12edge 4–5edge 4–9edge 4–12edge 5–6edge 5–12edge 6–7edge 6–12edge 7–11edge 8–9edge 9–10edge 10–11edge 10–12vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 5 · uncolored · ringvertex 4 · deg 4 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncoloredvertex 9 · deg 5 · uncoloredvertex 10 · deg 6 · uncoloredvertex 11 · deg 3 · uncoloredvertex 12 · deg 5 · uncolored
RSST-R-0057-COQ-2005
ring=8v=13 e=26

discharging rule R1

edge 0–1edge 0–8edge 0–9edge 0–10edge 1–2edge 1–9edge 2–3edge 3–4edge 4–5edge 5–6edge 6–7edge 6–10edge 6–11edge 7–8edge 7–9edge 7–10edge 7–11edge 8–9edge 8–10edge 8–11edge 9–10edge 9–11vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 5 · uncolored · ringvertex 8 · deg 5 · uncolored · ringvertex 9 · deg 6 · uncoloredvertex 10 · deg 5 · uncoloredvertex 11 · deg 4 · uncolored
RSST-R-0058-COQ-2005
ring=9v=12 e=22

discharging rule R2

edge 0–1edge 0–9edge 0–13edge 1–2edge 1–12edge 1–13edge 2–3edge 2–11edge 2–12edge 2–13edge 3–4edge 3–11edge 3–12edge 3–13edge 3–14edge 4–5edge 4–10edge 4–14edge 4–15edge 5–6edge 5–10edge 5–14edge 5–15edge 6–7edge 6–10edge 6–15edge 7–8edge 8–9edge 10–11edge 10–12edge 10–13edge 10–15edge 11–14vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 5 · uncolored · ringvertex 3 · deg 6 · uncolored · ringvertex 4 · deg 5 · uncolored · ringvertex 5 · deg 5 · uncolored · ringvertex 6 · deg 4 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 7 · uncoloredvertex 11 · deg 4 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 5 · uncoloredvertex 14 · deg 4 · uncoloredvertex 15 · deg 4 · uncolored
RSST-R-0059-LEAN-VERIFIED
ring=10v=16 e=33

discharging rule R3

edge 0–1edge 0–10edge 0–11edge 1–2edge 1–11edge 2–3edge 3–4edge 4–5edge 5–6edge 6–7edge 6–13edge 7–8edge 7–12edge 7–13edge 7–14edge 8–9edge 8–12edge 8–13edge 8–14edge 9–10edge 9–12edge 9–14edge 10–14edge 11–12edge 11–13edge 11–14vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 3 · uncolored · ringvertex 2 · deg 2 · uncolored · ringvertex 3 · deg 2 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 5 · uncolored · ringvertex 8 · deg 5 · uncolored · ringvertex 9 · deg 4 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 5 · uncoloredvertex 12 · deg 4 · uncoloredvertex 13 · deg 4 · uncoloredvertex 14 · deg 5 · uncolored
RSST-R-0060-COMP-1976
ring=11v=15 e=26

discharging rule R4a

edge 0–1edge 0–11edge 1–2edge 2–3edge 2–13edge 3–4edge 3–13edge 4–5edge 4–13edge 5–6edge 5–13edge 6–7edge 7–8edge 7–12edge 8–9edge 8–12edge 9–10edge 9–12edge 10–11edge 10–12edge 12–13vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 3 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 3 · uncolored · ringvertex 9 · deg 3 · uncolored · ringvertex 10 · deg 3 · uncolored · ringvertex 11 · deg 2 · uncolored · ringvertex 12 · deg 5 · uncoloredvertex 13 · deg 5 · uncolored
RSST-R-0061-COQ-2005
ring=12v=14 e=21

discharging rule R4b

edge 0–1edge 0–12edge 1–2edge 2–3edge 2–13edge 3–4edge 3–13edge 4–5edge 4–13edge 5–6edge 6–7edge 6–15edge 7–8edge 7–15edge 8–9edge 8–14edge 8–15edge 8–17edge 9–10edge 9–14edge 9–15edge 9–16edge 9–17edge 10–11edge 10–16edge 10–17edge 11–12edge 11–16edge 11–17edge 13–14edge 14–15edge 14–16edge 16–17vertex 0 · deg 2 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 3 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 3 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 3 · uncolored · ringvertex 7 · deg 3 · uncolored · ringvertex 8 · deg 5 · uncolored · ringvertex 9 · deg 6 · uncolored · ringvertex 10 · deg 4 · uncolored · ringvertex 11 · deg 4 · uncolored · ringvertex 12 · deg 2 · uncolored · ringvertex 13 · deg 4 · uncoloredvertex 14 · deg 5 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 5 · uncoloredvertex 17 · deg 5 · uncolored
RSST-R-0062-COQ-2005
ring=13v=18 e=33

discharging rule R5

edge 0–1edge 0–13edge 0–16edge 1–2edge 1–15edge 1–16edge 2–3edge 2–15edge 2–16edge 3–4edge 3–15edge 4–5edge 5–6edge 6–7edge 7–8edge 8–9edge 9–10edge 10–11edge 11–12edge 11–14edge 12–13edge 12–14edge 13–16edge 14–15edge 15–16vertex 0 · deg 3 · uncolored · ringvertex 1 · deg 4 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 3 · uncolored · ringvertex 4 · deg 2 · uncolored · ringvertex 5 · deg 2 · uncolored · ringvertex 6 · deg 2 · uncolored · ringvertex 7 · deg 2 · uncolored · ringvertex 8 · deg 2 · uncolored · ringvertex 9 · deg 2 · uncolored · ringvertex 10 · deg 2 · uncolored · ringvertex 11 · deg 3 · uncolored · ringvertex 12 · deg 3 · uncolored · ringvertex 13 · deg 3 · uncolored · ringvertex 14 · deg 3 · uncoloredvertex 15 · deg 5 · uncoloredvertex 16 · deg 5 · uncolored
RSST-R-0063-COQ-2005
ring=14v=17 e=25

discharging rule R6

edge 0–1edge 0–5edge 0–7edge 0–9edge 1–2edge 2–3edge 2–6edge 2–8edge 3–4edge 3–6edge 3–7edge 3–8edge 3–10edge 4–5edge 4–6edge 4–7edge 4–8edge 4–10edge 4–11edge 5–6edge 5–7edge 5–8edge 5–9edge 5–10edge 5–11edge 6–7edge 7–8edge 7–9edge 8–10edge 8–11vertex 0 · deg 4 · uncolored · ringvertex 1 · deg 2 · uncolored · ringvertex 2 · deg 4 · uncolored · ringvertex 3 · deg 6 · uncolored · ringvertex 4 · deg 7 · uncolored · ringvertex 5 · deg 8 · uncolored · ringvertex 6 · deg 5 · uncoloredvertex 7 · deg 7 · uncoloredvertex 8 · deg 7 · uncoloredvertex 9 · deg 3 · uncoloredvertex 10 · deg 4 · uncoloredvertex 11 · deg 3 · uncolored
RSST-R-0064-LEAN-VERIFIED
ring=6v=12 e=30

discharging rule R7