LabeledIntGraph Name Proposition Observed. Format: [a-z] The x coordinate for the visualitation. A positive value. 0 Label. Format: [¬[a-z]|[a-z]]+|⊡ The y coordinate for the visualitation. A positive value. 0 Type: Possible values: normal|contingent|constraint. normal Lower-Case Labeled Values. Format: {[[\('integer', 'node name (no case modification)', 'label'\) ]+}|{} Upper-Case Labeled Values. Format: {[[\('integer', 'node name (no case modification)', 'label'\) ]+}|{} Labeled Values. Format: {[[\('integer', 'label'\) ]+}|{} 4Alt.cstnu2Final.cstn b 451.0 ⊡ 686.0 a 357.0 ⊡ 5.0 309.0 b 767.0 173.0 b 855.0 d 319.0 b 767.0 506.0 ¬a 208.0 e 622.0 ¬b 751.0 g 627.0 ¬a 85.0 80.0 ⊡ 31.0 f 196.0 a 126.0 289.0 a 221.0 73.0 ⊡ 987.0 401.0 ⊡ 300.0 186.0 a 126.0 241.0 ⊡ 437.0 612.0 ¬b 751.0 406.0 ⊡ 1012.0 564.0 ⊡ 571.0 242.0 ⊡ 323.0 621.0 ¬b 925.0 c 251.0 ⊡ 437.0 617.0 ¬a 85.0 401.0 ⊡ 472.0 derived {(19, ¬ab) (22, ¬acg) (20, ab) (21, acf) (23, ¬b) (22, b) } derived {(13, ⊡) (12, ¬a) (11, ¬ag) (10, af) } derived {(23, ¬ab) (24, ab) (26, b) } derived {(28, ¬a¬bcg) (27, a¬bcf) (29, ¬b) } derived {(4, a) } derived {(5, ¬a) } derived {(19, ⊡) (18, ¬a) (13, ¬ac) (12, ¬acg) (11, acf) (14, c) } derived {(20, ¬ab) (21, ab) (23, b) } derived {(28, ¬ab) (23, ¬abd) (29, ab) (24, abd) (31, b) (26, bd) } derived {(23, ¬a¬bcg) (22, a¬bcf) (24, ¬b) } derived {(28, ¬a¬bceg) (27, a¬bcef) (31, ¬b) (29, ¬be) } derived {(32, ⊡) (29, ¬a¬bceg) (29, ¬ab) (24, ¬abd) (28, a¬bcef) (30, ab) (25, abd) (30, ¬be) (27, bd) } derived {(8, a) (4, af) } derived {(7, ¬a) (5, ¬ag) } derived {(9, ⊡) (8, ¬a) (6, ¬ag) (5, af) } derived {(10, ⊡) (9, ¬a) (8, ¬ag) (7, af) } derived {(11, ⊡) (10, ¬a) (9, ¬ag) (8, af) } derived {(18, ⊡) (17, ¬a) (12, ¬ac) (11, ¬acg) (10, acf) (13, c) } derived {(33, ⊡) (31, ¬a¬bceg) (31, ¬ab) (26, ¬abd) (30, a¬bcef) (32, ab) (27, abd) (32, ¬be) (29, bd) } derived {(-14, ¬a) (-17, ¬a¬c) (-19, ¬a¬c¬g) (-20, a) } derived {(-15, ¬a) (-18, ¬a¬c) (-20, ¬a¬c¬g) (-21, a) } derived {(-2, ⊡) (-3, ¬ag) (-7, a) (-10, af) (-7, ¬c) } derived {(4, b) } derived {(6, ¬b) } derived {(-16, a) } derived {(-9, ¬a) (-12, ¬a¬c) (-14, ¬a¬c¬g) } derived {(14, ¬ab) (11, ¬ab¬c) (9, ¬ab¬c¬g) (9, ab) (17, b) (4, bd) } derived {(17, ¬a¬b) (14, ¬a¬b¬c) (12, ¬a¬b¬c¬g) (11, a¬b) (26, ¬b) (23, ¬b¬c) (6, ¬be) } derived {(18, ¬a) (15, ¬ab) (12, ¬ab¬c) (10, ¬ab¬c¬g) (15, ¬a¬c) (13, ¬a¬c¬g) (12, a) (10, ab) (7, ¬be) (5, bd) } derived {(-18, a) } derived {(-12, a) (-16, af) } derived {(-13, ¬a) (-16, ¬a¬c) (-18, ¬a¬c¬g) } derived {(-7, ¬a) (-12, ¬a¬c) (-9, ¬ag) } derived {(-6, ⊡) (-8, ¬ag) (-11, a) (-15, af) (-11, ¬c) } derived {(-5, ⊡) (-6, ¬ag) (-10, a) (-13, af) (-10, ¬c) } derived {(-4, ⊡) (-5, ¬ag) (-9, a) (-12, af) (-9, ¬c) } derived {(-2, ⊡) (-3, ¬acg) (-7, ac) (-10, acf) } derived {(19, ¬a) (17, ¬ab) (14, ¬ab¬c) (12, ¬ab¬c¬g) (16, ¬a¬c) (14, ¬a¬c¬g) (13, a) (12, ab) (9, ¬be) (7, bd) } derived {(24, ¬b) (23, b) } derived {(16, ⊡) (15, ¬ag) (13, af) } derived {(27, b) } derived {(30, ¬b) } derived {(7, a) } derived {(9, ¬a) } derived {(22, ⊡) (16, ¬acg) (14, acf) (17, c) } derived {(24, b) } derived {(32, b) (27, bd) } derived {(25, ¬b) } derived {(32, ¬b) (30, ¬be) } derived {(33, ⊡) (31, ¬be) (28, bd) } derived {(5, a) } derived {(11, a) (7, af) } derived {(5, ¬a) } derived {(11, ¬a) (9, ¬ag) } derived {(12, ⊡) (10, ¬ag) (8, af) } derived {(13, ⊡) (12, ¬ag) (10, af) } derived {(14, ⊡) (13, ¬ag) (11, af) } derived {(21, ⊡) (15, ¬acg) (13, acf) (16, c) } internal {(-2, ⊡) } internal {(7, ¬a) (5, ¬a¬g) (9, a) (5, a¬f) (0, c) } derived {(-10, ¬a) (-12, ¬a¬g) (-9, a) (-13, a¬f) } derived {(13, ¬a¬b) (11, ¬a¬b¬g) (9, ¬ab) (7, ¬ab¬g) (14, a¬b) (10, a¬b¬f) (11, ab) (7, ab¬f) (12, a¬f) (11, c) } derived {(-11, ¬a) (-13, ¬a¬g) (-10, a) (-14, a¬f) } derived {(13, ¬ab) (11, ¬ab¬g) (15, ab) (11, ab¬f) (16, b) (15, bc) } derived {(19, ¬a¬b) (17, ¬a¬b¬g) (20, a¬b) (16, a¬b¬f) (28, ¬b) (17, ¬bc) } derived {(-5, a) (-9, a¬f) } derived {(-5, ¬a) (-7, ¬a¬g) } derived {(8, ¬a) (6, ¬a¬g) (10, a) (6, a¬f) (1, c) } derived {(10, ¬ab) (8, ¬ab¬g) (12, ab) (8, ab¬f) (13, b) (12, bc) } derived {(18, ¬ab) (13, ¬abd) (11, ¬abd¬g) (16, ¬ab¬g) (20, ab) (15, abd) (11, abd¬f) (16, ab¬f) (29, b) (28, bc) (15, bcd) (16, bd) } derived {(14, ¬a¬b) (12, ¬a¬b¬g) (15, a¬b) (11, a¬b¬f) (23, ¬b) (12, ¬bc) } derived {(21, ¬a¬b) (19, ¬a¬be) (17, ¬a¬be¬g) (19, ¬a¬b¬g) (22, a¬b) (20, a¬be) (16, a¬be¬f) (18, a¬b¬f) (30, ¬b) (17, ¬bce) (28, ¬be) } derived {(22, ¬a) (20, ¬a¬be) (18, ¬a¬be¬g) (19, ¬ab) (14, ¬abd) (12, ¬abd¬g) (17, ¬ab¬g) (20, ¬a¬g) (23, a) (21, a¬be) (17, a¬be¬f) (21, ab) (16, abd) (12, abd¬f) (17, ab¬f) (19, a¬f) (18, ¬bce) (16, bcd) (17, bd) } derived {(-7, a) (-11, a¬f) } derived {(-5, a) } derived {(-9, ¬a) (-11, ¬a¬g) } derived {(-5, ¬a) } derived {(-4, ⊡) } derived {(-3, ⊡) } derived {(23, ¬a) (22, ¬a¬be) (20, ¬a¬be¬g) (21, ¬ab) (16, ¬abd) (14, ¬abd¬g) (19, ¬ab¬g) (21, ¬a¬g) (24, a) (23, a¬be) (19, a¬be¬f) (23, ab) (18, abd) (14, abd¬f) (19, ab¬f) (20, a¬f) (20, ¬bce) (18, bcd) (19, bd) } internal {(-3, b) } internal {(10, ¬ab) (7, ¬ab¬c) (5, ¬ab¬c¬g) (5, ab) (13, b) (0, bd) } derived {(-18, ¬ab) (-21, ¬ab¬c) (-23, ¬ab¬c¬g) (-24, ab) (-14, b) } derived {(-4, b) } derived {(-22, ¬ab¬c) (-24, ¬ab¬c¬g) (-25, ab) (-19, b) } derived {(-7, ¬abg) (-11, ab) (-14, abf) (-6, b) (-11, b¬c) } derived {(-20, ab) } derived {(-13, ¬ab) (-16, ¬ab¬c) (-18, ¬ab¬c¬g) } derived {(-6, ¬abcg) (-10, abc) (-13, abcf) (-5, b) } derived {(11, ¬ab) (8, ¬ab¬c) (6, ¬ab¬c¬g) (6, ab) (14, b) (1, bd) } derived {(-22, ab) } derived {(-16, ab) (-20, abf) } derived {(-17, ¬ab) (-20, ¬ab¬c) (-22, ¬ab¬c¬g) } derived {(-11, ¬ab) (-16, ¬ab¬c) (-13, ¬abg) } derived {(-12, ¬abg) (-15, ab) (-19, abf) (-10, b) (-15, b¬c) } derived {(-10, ¬abg) (-14, ab) (-17, abf) (-9, b) (-14, b¬c) } derived {(-9, ¬abg) (-13, ab) (-16, abf) (-8, b) (-13, b¬c) } derived {(-7, ¬abcg) (-11, abc) (-14, abcf) (-6, b) } derived {(13, ¬ab) (10, ¬ab¬c) (8, ¬ab¬c¬g) (8, ab) (15, b) (3, bd) } normal {(-1, ⊡) } normal {(2, a) } normal {(-1, a) } normal {(1, ¬a) } normal {(-1, ¬a) } normal {(2, ⊡) (1, ¬a¬g) (1, a¬f) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-1, ⊡) } normal {(1, ⊡) } normal {(-2, a) } normal {(-1, ⊡) } normal {(-1, ⊡) (-2, ¬acg) (-6, ac) (-9, acf) } normal {(1, b) } normal {(-1, b) } normal {(1, ¬b) } normal {(-1, ¬b) } normal {(1, b) } normal {(-1, b) } normal {(1, ¬b) } normal {(-1, ¬b) } normal {(2, ⊡) } normal {(-1, ⊡) } constraint {(27, ab) (22, abd) } constraint {(-22, ab) (-27, ab¬d) } constraint {(34, ⊡) (33, ¬be) (30, bd) } constraint {(-21, ¬a) (-23, ¬a¬b) (-26, ¬a¬b¬c) (-28, ¬a¬b¬c¬e) (-30, ¬a¬b¬c¬e¬g) (-28, ¬a¬b¬c¬g) (-25, ¬a¬b¬e) (-29, ¬ab¬c¬d) (-31, ¬ab¬c¬d¬g) (-24, ¬a¬c) (-26, ¬a¬c¬g) (-27, a) (-29, a¬b) (-31, a¬b¬e) (-32, ab¬d) (-26, b¬d) } constraint {(-17, ¬ab) (-20, ¬ab¬c) (-25, ¬ab¬c¬d) (-27, ¬ab¬c¬d¬g) (-22, ¬ab¬c¬g) (-22, ¬ab¬d) } constraint {(27, ¬ab) (22, ¬abd) } normal {(10, ⊡) (7, ¬a¬b¬c) (5, ¬a¬b¬c¬g) (8, ¬ab) (3, ¬ab¬c) (1, ¬ab¬c¬g) (6, ¬ab¬g) (9, ¬a¬c¬g) (8, a¬b¬c) (4, a¬b¬c¬f) (9, a¬b¬f) (5, ab¬c) (1, ab¬c¬f) (6, ab¬f) (6, a¬c¬f) (6, b¬c) } normal {(4, ¬a) (3, a) } normal {(1, ¬a) } normal {(-1, ¬a) } normal {(1, a) } internal {(-5, ¬b) } internal {(11, ¬a¬b) (8, ¬a¬b¬c) (6, ¬a¬b¬c¬g) (5, a¬b) (20, ¬b) (17, ¬b¬c) (0, ¬be) } derived {(-20, ¬a¬b) (-23, ¬a¬b¬c) (-25, ¬a¬b¬c¬g) (-26, a¬b) (-7, ¬b) (-10, ¬b¬c) } derived {(-6, ¬b) } derived {(-21, ¬a¬b) (-24, ¬a¬b¬c) (-26, ¬a¬b¬c¬g) (-27, a¬b) (-12, ¬b) (-15, ¬b¬c) } derived {(-9, ¬a¬bg) (-13, a¬b) (-16, a¬bf) (-8, ¬b) (-13, ¬b¬c) } derived {(-22, a¬b) } derived {(-15, ¬a¬b) (-18, ¬a¬b¬c) (-20, ¬a¬b¬c¬g) } derived {(-8, ¬a¬bcg) (-12, a¬bc) (-15, a¬bcf) (-7, ¬b) } derived {(12, ¬a¬b) (9, ¬a¬b¬c) (7, ¬a¬b¬c¬g) (6, a¬b) (21, ¬b) (18, ¬b¬c) (1, ¬be) } derived {(-24, a¬b) } derived {(-18, a¬b) (-22, a¬bf) } derived {(-19, ¬a¬b) (-22, ¬a¬b¬c) (-24, ¬a¬b¬c¬g) } derived {(-13, ¬a¬b) (-18, ¬a¬b¬c) (-15, ¬a¬bg) } derived {(-14, ¬a¬bg) (-17, a¬b) (-21, a¬bf) (-12, ¬b) (-17, ¬b¬c) } derived {(-12, ¬a¬bg) (-16, a¬b) (-19, a¬bf) (-11, ¬b) (-16, ¬b¬c) } derived {(-11, ¬a¬bg) (-15, a¬b) (-18, a¬bf) (-10, ¬b) (-15, ¬b¬c) } derived {(-9, ¬a¬bcg) (-13, a¬bc) (-16, a¬bcf) (-8, ¬b) } derived {(13, ¬a¬b) (10, ¬a¬b¬c) (8, ¬a¬b¬c¬g) (7, a¬b) (22, ¬b) (19, ¬b¬c) (3, ¬be) } internal {(-2, a) } internal {(4, a) (0, af) } derived {(-4, a) } derived {(21, a) (19, a¬b) (16, ab) (20, ac) (17, acf) } derived {(-5, a) } derived {(9, a) (6, af) } derived {(20, ab) } derived {(25, a¬b) (23, a¬bcf) } derived {(15, a) (10, ac) (7, acf) } derived {(17, ab) } derived {(25, ab) (20, abd) } derived {(20, a¬b) (18, a¬bcf) } derived {(27, a¬b) (23, a¬bcef) (25, a¬be) } derived {(28, a) (24, a¬bcef) (26, a¬be) (26, ab) (21, abd) } derived {(5, a) (1, af) } derived {(6, a) (3, af) } derived {(7, a) (4, af) } derived {(14, a) (9, ac) (6, acf) } derived {(29, a) (26, a¬bcef) (28, a¬be) (28, ab) (23, abd) } internal {(-4, ¬a) } internal {(2, ¬a) (0, ¬ag) } derived {(-5, ¬a) } derived {(22, ¬a) (18, ¬a¬b) (14, ¬ab) (18, ¬ac) (17, ¬acg) } derived {(-6, ¬a) } derived {(7, ¬a) (6, ¬ag) } derived {(18, ¬ab) } derived {(24, ¬a¬b) (23, ¬a¬bcg) } derived {(13, ¬a) (8, ¬ac) (7, ¬acg) } derived {(15, ¬ab) } derived {(23, ¬ab) (18, ¬abd) } derived {(19, ¬a¬b) (18, ¬a¬bcg) } derived {(26, ¬a¬b) (23, ¬a¬bceg) (24, ¬a¬be) } derived {(27, ¬a) (24, ¬a¬bceg) (25, ¬a¬be) (24, ¬ab) (19, ¬abd) } derived {(3, ¬a) (1, ¬ag) } derived {(4, ¬a) (3, ¬ag) } derived {(5, ¬a) (4, ¬ag) } derived {(12, ¬a) (7, ¬ac) (6, ¬acg) } derived {(28, ¬a) (26, ¬a¬bceg) (27, ¬a¬be) (26, ¬ab) (21, ¬abd) } derived {(-11, ¬a) (-16, ¬a¬c) (-18, ¬a¬c¬g) (-13, ¬a¬g) (-10, a) (-15, a¬c) (-19, a¬c¬f) (-14, a¬f) } derived {(-12, ¬a) (-17, ¬a¬c) (-19, ¬a¬c¬g) (-14, ¬a¬g) (-11, a) (-16, a¬c) (-20, a¬c¬f) (-15, a¬f) } derived {(-1, ⊡) (-6, ¬c) } derived {(12, ¬ab) (7, ¬ab¬c) (5, ¬ab¬c¬g) (10, ¬ab¬g) (9, ab¬c) (5, ab¬c¬f) (10, ab¬f) (14, b) (10, b¬c) } derived {(13, ¬a¬b¬c) (11, ¬a¬b¬c¬g) (14, a¬b¬c) (10, a¬b¬c¬f) (15, a¬b¬f) (16, ¬b) } derived {(-6, a) (-11, a¬c) (-15, a¬c¬f) (-10, a¬f) } derived {(-6, ¬a) (-11, ¬a¬c) (-13, ¬a¬c¬g) (-8, ¬a¬g) } derived {(9, ¬ab) (4, ¬ab¬c) (2, ¬ab¬c¬g) (7, ¬ab¬g) (6, ab¬c) (2, ab¬c¬f) (7, ab¬f) (11, b) (7, b¬c) } derived {(17, ¬ab) (12, ¬ab¬c) (7, ¬ab¬cd) (5, ¬ab¬cd¬g) (10, ¬ab¬c¬g) (12, ¬abd) (10, ¬abd¬g) (15, ¬ab¬g) (19, ab) (14, ab¬c) (9, ab¬cd) (5, ab¬cd¬f) (10, ab¬c¬f) (10, abd¬f) (15, ab¬f) (27, b) (23, b¬c) (10, b¬cd) (14, bd) } derived {(8, ¬a¬b¬c) (6, ¬a¬b¬c¬g) (9, a¬b¬c) (5, a¬b¬c¬f) (10, a¬b¬f) (11, ¬b) } derived {(20, ¬a¬b) (15, ¬a¬b¬c) (13, ¬a¬b¬ce) (11, ¬a¬b¬ce¬g) (13, ¬a¬b¬c¬g) (18, ¬a¬b¬g) (21, a¬b) (16, a¬b¬c) (14, a¬b¬ce) (10, a¬b¬ce¬f) (12, a¬b¬c¬f) (15, a¬be¬f) (17, a¬b¬f) (29, ¬b) (24, ¬b¬c) (16, ¬be) } derived {(21, ¬a) (14, ¬a¬b¬ce) (12, ¬a¬b¬ce¬g) (18, ¬ab) (13, ¬ab¬c) (8, ¬ab¬cd) (6, ¬ab¬cd¬g) (11, ¬ab¬c¬g) (13, ¬abd) (11, ¬abd¬g) (16, ¬ab¬g) (16, ¬a¬c) (14, ¬a¬c¬g) (19, ¬a¬g) (22, a) (15, a¬b¬ce) (11, a¬b¬ce¬f) (16, a¬be¬f) (20, ab) (15, ab¬c) (10, ab¬cd) (6, ab¬cd¬f) (11, ab¬c¬f) (11, abd¬f) (16, ab¬f) (17, a¬c) (13, a¬c¬f) (18, a¬f) (17, ¬be) (11, b¬cd) (15, bd) } derived {(-8, a) (-13, a¬c) (-17, a¬c¬f) (-12, a¬f) } derived {(-6, a) (-11, a¬c) } derived {(-10, ¬a) (-15, ¬a¬c) (-17, ¬a¬c¬g) (-12, ¬a¬g) } derived {(-6, ¬a) (-11, ¬a¬c) } derived {(-5, ⊡) (-10, ¬c) } derived {(-4, ⊡) (-9, ¬c) } derived {(-3, ⊡) (-8, ¬c) } derived {(22, ¬a) (16, ¬a¬b¬ce) (14, ¬a¬b¬ce¬g) (20, ¬ab) (15, ¬ab¬c) (10, ¬ab¬cd) (8, ¬ab¬cd¬g) (13, ¬ab¬c¬g) (15, ¬abd) (13, ¬abd¬g) (18, ¬ab¬g) (17, ¬a¬c) (15, ¬a¬c¬g) (20, ¬a¬g) (23, a) (17, a¬b¬ce) (13, a¬b¬ce¬f) (18, a¬be¬f) (22, ab) (17, ab¬c) (12, ab¬cd) (8, ab¬cd¬f) (13, ab¬c¬f) (13, abd¬f) (18, ab¬f) (18, a¬c) (14, a¬c¬f) (19, a¬f) (19, ¬be) (13, b¬cd) (17, bd) } internal {(3, b) } derived {(-15, ¬ab) (-18, ¬ab¬c) (-20, ¬ab¬c¬g) (-21, ab) (-11, b) } derived {(-19, ¬ab¬c) (-21, ¬ab¬c¬g) (-22, ab) (-16, b) } derived {(-4, ¬abg) (-8, ab) (-11, abf) (-3, b) (-8, b¬c) } derived {(-17, ab) } derived {(-10, ¬ab) (-13, ¬ab¬c) (-15, ¬ab¬c¬g) } derived {(-3, ¬abcg) (-7, abc) (-10, abcf) (-2, b) } derived {(13, ¬ab) (10, ¬ab¬c) (8, ¬ab¬c¬g) (8, ab) (16, b) (3, bd) } derived {(14, ¬ab) (11, ¬ab¬c) (9, ¬ab¬c¬g) (9, ab) (17, b) (4, bd) } derived {(-19, ab) } derived {(-13, ab) (-17, abf) } derived {(-14, ¬ab) (-17, ¬ab¬c) (-19, ¬ab¬c¬g) } derived {(-8, ¬ab) (-13, ¬ab¬c) (-10, ¬abg) } derived {(-9, ¬abg) (-12, ab) (-16, abf) (-7, b) (-12, b¬c) } derived {(-7, ¬abg) (-11, ab) (-14, abf) (-6, b) (-11, b¬c) } derived {(-6, ¬abg) (-10, ab) (-13, abf) (-5, b) (-10, b¬c) } derived {(-4, ¬abcg) (-8, abc) (-11, abcf) (-3, b) } derived {(16, ¬ab) (13, ¬ab¬c) (11, ¬ab¬c¬g) (11, ab) (18, b) (6, bd) } internal {(0, b) (-5, b¬d) } derived {(-18, ¬ab) (-21, ¬ab¬c) (-26, ¬ab¬c¬d) (-28, ¬ab¬c¬d¬g) (-23, ¬ab¬c¬g) (-23, ¬ab¬d) (-24, ab) (-29, ab¬d) (-14, b) (-19, b¬d) } derived {(-4, b) (-9, b¬d) } derived {(-22, ¬ab¬c) (-27, ¬ab¬c¬d) (-29, ¬ab¬c¬d¬g) (-24, ¬ab¬c¬g) (-25, ab) (-30, ab¬d) (-19, b) (-24, b¬d) } derived {(-12, ¬ab¬dg) (-7, ¬abg) (-11, ab) (-16, ab¬d) (-19, ab¬df) (-14, abf) (-6, b) (-11, b¬c) (-16, b¬c¬d) (-11, b¬d) } derived {(-20, ab) (-25, ab¬d) } derived {(-13, ¬ab) (-16, ¬ab¬c) (-21, ¬ab¬c¬d) (-23, ¬ab¬c¬d¬g) (-18, ¬ab¬c¬g) (-18, ¬ab¬d) } derived {(-11, ¬abc¬dg) (-6, ¬abcg) (-10, abc) (-15, abc¬d) (-18, abc¬df) (-13, abcf) (-5, b) (-10, b¬d) } derived {(-3, b) (-8, b¬d) } derived {(-16, ab) (-21, ab¬d) (-25, ab¬df) (-20, abf) } derived {(-11, ¬ab) (-16, ¬ab¬c) (-21, ¬ab¬c¬d) (-16, ¬ab¬d) (-18, ¬ab¬dg) (-13, ¬abg) } derived {(-17, ¬ab¬dg) (-12, ¬abg) (-15, ab) (-20, ab¬d) (-24, ab¬df) (-19, abf) (-10, b) (-15, b¬c) (-20, b¬c¬d) (-15, b¬d) } derived {(-15, ¬ab¬dg) (-10, ¬abg) (-14, ab) (-19, ab¬d) (-22, ab¬df) (-17, abf) (-9, b) (-14, b¬c) (-19, b¬c¬d) (-14, b¬d) } derived {(-14, ¬ab¬dg) (-9, ¬abg) (-13, ab) (-18, ab¬d) (-21, ab¬df) (-16, abf) (-8, b) (-13, b¬c) (-18, b¬c¬d) (-13, b¬d) } derived {(-12, ¬abc¬dg) (-7, ¬abcg) (-11, abc) (-16, abc¬d) (-19, abc¬df) (-14, abcf) (-6, b) (-11, b¬d) } derived {(3, b) } internal {(5, ¬b) } derived {(-15, ¬a¬b) (-18, ¬a¬b¬c) (-20, ¬a¬b¬c¬g) (-21, a¬b) (-2, ¬b) (-5, ¬b¬c) } derived {(-16, ¬a¬b) (-19, ¬a¬b¬c) (-21, ¬a¬b¬c¬g) (-22, a¬b) (-7, ¬b) (-10, ¬b¬c) } derived {(-4, ¬a¬bg) (-8, a¬b) (-11, a¬bf) (-3, ¬b) (-8, ¬b¬c) } derived {(-17, a¬b) } derived {(-10, ¬a¬b) (-13, ¬a¬b¬c) (-15, ¬a¬b¬c¬g) } derived {(-3, ¬a¬bcg) (-7, a¬bc) (-10, a¬bcf) (-2, ¬b) } derived {(16, ¬a¬b) (13, ¬a¬b¬c) (11, ¬a¬b¬c¬g) (10, a¬b) (25, ¬b) (22, ¬b¬c) (5, ¬be) } derived {(17, ¬a¬b) (14, ¬a¬b¬c) (12, ¬a¬b¬c¬g) (11, a¬b) (26, ¬b) (23, ¬b¬c) (6, ¬be) } derived {(-19, a¬b) } derived {(-13, a¬b) (-17, a¬bf) } derived {(-14, ¬a¬b) (-17, ¬a¬b¬c) (-19, ¬a¬b¬c¬g) } derived {(-8, ¬a¬b) (-13, ¬a¬b¬c) (-10, ¬a¬bg) } derived {(-9, ¬a¬bg) (-12, a¬b) (-16, a¬bf) (-7, ¬b) (-12, ¬b¬c) } derived {(-7, ¬a¬bg) (-11, a¬b) (-14, a¬bf) (-6, ¬b) (-11, ¬b¬c) } derived {(-6, ¬a¬bg) (-10, a¬b) (-13, a¬bf) (-5, ¬b) (-10, ¬b¬c) } derived {(-4, ¬a¬bcg) (-8, a¬bc) (-11, a¬bcf) (-3, ¬b) } derived {(18, ¬a¬b) (15, ¬a¬b¬c) (13, ¬a¬b¬c¬g) (12, a¬b) (27, ¬b) (24, ¬b¬c) (8, ¬be) } internal {(0, ¬b) (-2, ¬b¬e) } derived {(-20, ¬a¬b) (-23, ¬a¬b¬c) (-25, ¬a¬b¬c¬e) (-27, ¬a¬b¬c¬e¬g) (-25, ¬a¬b¬c¬g) (-22, ¬a¬b¬e) (-26, a¬b) (-28, a¬b¬e) (-7, ¬b) (-10, ¬b¬c) (-12, ¬b¬c¬e) (-9, ¬b¬e) } derived {(-6, ¬b) (-8, ¬b¬e) } derived {(-21, ¬a¬b) (-24, ¬a¬b¬c) (-26, ¬a¬b¬c¬e) (-28, ¬a¬b¬c¬e¬g) (-26, ¬a¬b¬c¬g) (-23, ¬a¬b¬e) (-27, a¬b) (-29, a¬b¬e) (-12, ¬b) (-15, ¬b¬c) (-17, ¬b¬c¬e) (-14, ¬b¬e) } derived {(-11, ¬a¬b¬eg) (-9, ¬a¬bg) (-13, a¬b) (-15, a¬b¬e) (-18, a¬b¬ef) (-16, a¬bf) (-8, ¬b) (-13, ¬b¬c) (-15, ¬b¬c¬e) (-10, ¬b¬e) } derived {(-22, a¬b) (-24, a¬b¬e) } derived {(-15, ¬a¬b) (-18, ¬a¬b¬c) (-20, ¬a¬b¬c¬e) (-22, ¬a¬b¬c¬e¬g) (-20, ¬a¬b¬c¬g) (-17, ¬a¬b¬e) } derived {(-10, ¬a¬bc¬eg) (-8, ¬a¬bcg) (-12, a¬bc) (-14, a¬bc¬e) (-17, a¬bc¬ef) (-15, a¬bcf) (-7, ¬b) (-9, ¬b¬e) } derived {(-5, ¬b) (-7, ¬b¬e) } derived {(-24, a¬b) (-26, a¬b¬e) } derived {(-18, a¬b) (-20, a¬b¬e) (-24, a¬b¬ef) (-22, a¬bf) } derived {(-19, ¬a¬b) (-22, ¬a¬b¬c) (-24, ¬a¬b¬c¬e) (-26, ¬a¬b¬c¬e¬g) (-24, ¬a¬b¬c¬g) (-21, ¬a¬b¬e) } derived {(-13, ¬a¬b) (-18, ¬a¬b¬c) (-20, ¬a¬b¬c¬e) (-15, ¬a¬b¬e) (-17, ¬a¬b¬eg) (-15, ¬a¬bg) } derived {(-16, ¬a¬b¬eg) (-14, ¬a¬bg) (-17, a¬b) (-19, a¬b¬e) (-23, a¬b¬ef) (-21, a¬bf) (-12, ¬b) (-17, ¬b¬c) (-19, ¬b¬c¬e) (-14, ¬b¬e) } derived {(-14, ¬a¬b¬eg) (-12, ¬a¬bg) (-16, a¬b) (-18, a¬b¬e) (-21, a¬b¬ef) (-19, a¬bf) (-11, ¬b) (-16, ¬b¬c) (-18, ¬b¬c¬e) (-13, ¬b¬e) } derived {(-13, ¬a¬b¬eg) (-11, ¬a¬bg) (-15, a¬b) (-17, a¬b¬e) (-20, a¬b¬ef) (-18, a¬bf) (-10, ¬b) (-15, ¬b¬c) (-17, ¬b¬c¬e) (-12, ¬b¬e) } derived {(-11, ¬a¬bc¬eg) (-9, ¬a¬bcg) (-13, a¬bc) (-15, a¬bc¬e) (-18, a¬bc¬ef) (-16, a¬bcf) (-8, ¬b) (-10, ¬b¬e) } derived {(3, ¬b) } derived {(-19, ¬a) (-21, ¬a¬b) (-24, ¬a¬b¬c) (-26, ¬a¬b¬c¬e) (-28, ¬a¬b¬c¬e¬g) (-26, ¬a¬b¬c¬g) (-23, ¬a¬b¬e) (-22, ¬ab¬c) (-27, ¬ab¬c¬d) (-29, ¬ab¬c¬d¬g) (-24, ¬ab¬c¬g) (-24, ¬ab¬d) (-21, ¬a¬c) (-23, ¬a¬c¬g) (-25, a) (-27, a¬b) (-29, a¬b¬e) (-30, ab¬d) (-20, b¬d) } derived {(-7, ¬b) (-9, ¬b¬e) (-5, b) (-10, b¬d) } derived {(-20, ¬a) (-22, ¬a¬b) (-25, ¬a¬b¬c) (-27, ¬a¬b¬c¬e) (-29, ¬a¬b¬c¬e¬g) (-27, ¬a¬b¬c¬g) (-24, ¬a¬b¬e) (-23, ¬ab¬c) (-28, ¬ab¬c¬d) (-30, ¬ab¬c¬d¬g) (-25, ¬ab¬c¬g) (-22, ¬a¬c) (-24, ¬a¬c¬g) (-26, a) (-28, a¬b) (-30, a¬b¬e) (-31, ab¬d) (-25, b¬d) } derived {(-12, ¬a¬b¬eg) (-10, ¬a¬bg) (-13, ¬ab¬dg) (-8, ¬ag) (-12, a) (-14, a¬b) (-16, a¬b¬e) (-19, a¬b¬ef) (-17, a¬bf) (-17, ab¬d) (-20, ab¬df) (-15, af) (-9, ¬b) (-14, ¬b¬c) (-16, ¬b¬c¬e) (-11, ¬b¬e) (-7, b) (-12, b¬c) (-17, b¬c¬d) (-12, b¬d) (-11, ¬c) } derived {(-1, b) (-6, b¬d) } derived {(-1, ¬b) (-3, ¬b¬e) } derived {(-21, a) (-23, a¬b) (-25, a¬b¬e) (-26, ab¬d) } derived {(-14, ¬a) (-16, ¬a¬b) (-19, ¬a¬b¬c) (-21, ¬a¬b¬c¬e) (-23, ¬a¬b¬c¬e¬g) (-21, ¬a¬b¬c¬g) (-18, ¬a¬b¬e) (-17, ¬ab¬c) (-22, ¬ab¬c¬d) (-24, ¬ab¬c¬d¬g) (-19, ¬ab¬c¬g) (-19, ¬ab¬d) (-16, ¬a¬c) (-18, ¬a¬c¬g) } derived {(-11, ¬a¬bc¬eg) (-9, ¬a¬bcg) (-12, ¬abc¬dg) (-7, ¬acg) (-13, a¬bc) (-15, a¬bc¬e) (-18, a¬bc¬ef) (-16, a¬bcf) (-16, abc¬d) (-19, abc¬df) (-11, ac) (-14, acf) (-8, ¬b) (-10, ¬b¬e) (-6, b) (-11, b¬d) } derived {(-4, b) (-9, b¬d) } derived {(-6, ¬b) (-8, ¬b¬e) } derived {(-23, a) (-25, a¬b) (-27, a¬b¬e) (-28, ab¬d) } derived {(-17, a) (-19, a¬b) (-21, a¬b¬e) (-25, a¬b¬ef) (-23, a¬bf) (-22, ab¬d) (-26, ab¬df) (-21, af) } derived {(-18, ¬a) (-20, ¬a¬b) (-23, ¬a¬b¬c) (-25, ¬a¬b¬c¬e) (-27, ¬a¬b¬c¬e¬g) (-25, ¬a¬b¬c¬g) (-22, ¬a¬b¬e) (-21, ¬ab¬c) (-26, ¬ab¬c¬d) (-28, ¬ab¬c¬d¬g) (-23, ¬ab¬c¬g) (-23, ¬ab¬d) (-20, ¬a¬c) (-22, ¬a¬c¬g) } derived {(-12, ¬a) (-14, ¬a¬b) (-19, ¬a¬b¬c) (-21, ¬a¬b¬c¬e) (-16, ¬a¬b¬e) (-18, ¬a¬b¬eg) (-16, ¬a¬bg) (-17, ¬ab¬c) (-22, ¬ab¬c¬d) (-17, ¬ab¬d) (-19, ¬ab¬dg) (-16, ¬a¬c) (-14, ¬ag) } derived {(-17, ¬a¬b¬eg) (-15, ¬a¬bg) (-18, ¬ab¬dg) (-13, ¬ag) (-16, a) (-18, a¬b) (-20, a¬b¬e) (-24, a¬b¬ef) (-22, a¬bf) (-21, ab¬d) (-25, ab¬df) (-20, af) (-13, ¬b) (-18, ¬b¬c) (-20, ¬b¬c¬e) (-15, ¬b¬e) (-11, b) (-16, b¬c) (-21, b¬c¬d) (-16, b¬d) (-15, ¬c) } derived {(-15, ¬a¬b¬eg) (-13, ¬a¬bg) (-16, ¬ab¬dg) (-11, ¬ag) (-15, a) (-17, a¬b) (-19, a¬b¬e) (-22, a¬b¬ef) (-20, a¬bf) (-20, ab¬d) (-23, ab¬df) (-18, af) (-12, ¬b) (-17, ¬b¬c) (-19, ¬b¬c¬e) (-14, ¬b¬e) (-10, b) (-15, b¬c) (-20, b¬c¬d) (-15, b¬d) (-14, ¬c) } derived {(-14, ¬a¬b¬eg) (-12, ¬a¬bg) (-15, ¬ab¬dg) (-10, ¬ag) (-14, a) (-16, a¬b) (-18, a¬b¬e) (-21, a¬b¬ef) (-19, a¬bf) (-19, ab¬d) (-22, ab¬df) (-17, af) (-11, ¬b) (-16, ¬b¬c) (-18, ¬b¬c¬e) (-13, ¬b¬e) (-9, b) (-14, b¬c) (-19, b¬c¬d) (-14, b¬d) (-13, ¬c) } derived {(-12, ¬a¬bc¬eg) (-10, ¬a¬bcg) (-13, ¬abc¬dg) (-8, ¬acg) (-14, a¬bc) (-16, a¬bc¬e) (-19, a¬bc¬ef) (-17, a¬bcf) (-17, abc¬d) (-20, abc¬df) (-12, ac) (-15, acf) (-9, ¬b) (-11, ¬b¬e) (-7, b) (-12, b¬d) } internal {(2, a) } derived {(23, a) (21, a¬b) (18, ab) (22, ac) (19, acf) } derived {(-3, a) } derived {(11, a) (8, af) } derived {(22, ab) } derived {(27, a¬b) (25, a¬bcf) } derived {(17, a) (12, ac) (9, acf) } derived {(19, ab) } derived {(22, a¬b) (20, a¬bcf) } derived {(29, a¬b) (25, a¬bcef) (27, a¬be) } derived {(30, a) (26, a¬bcef) (28, a¬be) (28, ab) (23, abd) } derived {(6, a) (2, af) } derived {(7, a) (3, af) } derived {(8, a) (5, af) } derived {(9, a) (6, af) } derived {(16, a) (11, ac) (8, acf) } derived {(31, a) (28, a¬bcef) (30, a¬be) (30, ab) (25, abd) } internal {(0, a) (-4, a¬f) } derived {(-4, a) (-8, a¬f) } derived {(21, a) (19, a¬b) (15, a¬b¬f) (16, ab) (12, ab¬f) (17, ac) (16, ac¬f) (17, a¬f) } derived {(-5, a) (-9, a¬f) } derived {(6, a) (5, a¬f) } derived {(20, ab) (16, ab¬f) } derived {(25, a¬b) (23, a¬bc) (21, a¬b¬f) } derived {(15, a) (7, ac) (6, ac¬f) (11, a¬f) } derived {(17, ab) (13, ab¬f) } derived {(25, ab) (20, abd) (16, abd¬f) (21, ab¬f) } derived {(20, a¬b) (18, a¬bc) (16, a¬b¬f) } derived {(27, a¬b) (23, a¬bce) (25, a¬be) (21, a¬be¬f) (23, a¬b¬f) } derived {(28, a) (24, a¬bce) (26, a¬be) (22, a¬be¬f) (26, ab) (21, abd) (17, abd¬f) (22, ab¬f) (24, a¬f) } derived {(-2, a) (-6, a¬f) } derived {(3, a) (2, a¬f) } derived {(4, a) (3, a¬f) } derived {(14, a) (6, ac) (5, ac¬f) (10, a¬f) } derived {(29, a) (26, a¬bce) (28, a¬be) (24, a¬be¬f) (28, ab) (23, abd) (19, abd¬f) (24, ab¬f) (25, a¬f) } internal {(4, ¬a) } derived {(26, ¬a) (22, ¬a¬b) (18, ¬ab) (22, ¬ac) (21, ¬acg) } derived {(-2, ¬a) } derived {(11, ¬a) (10, ¬ag) } derived {(22, ¬ab) } derived {(28, ¬a¬b) (27, ¬a¬bcg) } derived {(17, ¬a) (12, ¬ac) (11, ¬acg) } derived {(19, ¬ab) } derived {(23, ¬a¬b) (22, ¬a¬bcg) } derived {(30, ¬a¬b) (27, ¬a¬bceg) (28, ¬a¬be) } derived {(31, ¬a) (28, ¬a¬bceg) (29, ¬a¬be) (28, ¬ab) (23, ¬abd) } derived {(6, ¬a) (4, ¬ag) } derived {(7, ¬a) (5, ¬ag) } derived {(8, ¬a) (7, ¬ag) } derived {(9, ¬a) (8, ¬ag) } derived {(16, ¬a) (11, ¬ac) (10, ¬acg) } derived {(32, ¬a) (30, ¬a¬bceg) (31, ¬a¬be) (30, ¬ab) (25, ¬abd) } internal {(0, ¬a) (-2, ¬a¬g) } derived {(-5, ¬a) (-7, ¬a¬g) } derived {(22, ¬a) (18, ¬a¬b) (16, ¬a¬b¬g) (14, ¬ab) (12, ¬ab¬g) (17, ¬ac) (16, ¬ac¬g) (20, ¬a¬g) } derived {(-6, ¬a) (-8, ¬a¬g) } derived {(6, ¬a) (5, ¬a¬g) } derived {(18, ¬ab) (16, ¬ab¬g) } derived {(24, ¬a¬b) (23, ¬a¬bc) (22, ¬a¬b¬g) } derived {(13, ¬a) (7, ¬ac) (6, ¬ac¬g) (11, ¬a¬g) } derived {(15, ¬ab) (13, ¬ab¬g) } derived {(23, ¬ab) (18, ¬abd) (16, ¬abd¬g) (21, ¬ab¬g) } derived {(19, ¬a¬b) (18, ¬a¬bc) (17, ¬a¬b¬g) } derived {(26, ¬a¬b) (23, ¬a¬bce) (24, ¬a¬be) (22, ¬a¬be¬g) (24, ¬a¬b¬g) } derived {(27, ¬a) (24, ¬a¬bce) (25, ¬a¬be) (23, ¬a¬be¬g) (24, ¬ab) (19, ¬abd) (17, ¬abd¬g) (22, ¬ab¬g) (25, ¬a¬g) } derived {(-4, ¬a) (-6, ¬a¬g) } derived {(3, ¬a) (2, ¬a¬g) } derived {(4, ¬a) (3, ¬a¬g) } derived {(12, ¬a) (6, ¬ac) (5, ¬ac¬g) (10, ¬a¬g) } derived {(28, ¬a) (26, ¬a¬bce) (27, ¬a¬be) (25, ¬a¬be¬g) (26, ¬ab) (21, ¬abd) (19, ¬abd¬g) (24, ¬ab¬g) (26, ¬a¬g) } derived {(-6, ¬a) (-8, ¬a¬g) (-5, a) (-9, a¬f) } derived {(17, ¬a¬b) (15, ¬a¬b¬g) (13, ¬ab) (11, ¬ab¬g) (15, ¬ac¬g) (18, a¬b) (14, a¬b¬f) (15, ab) (11, ab¬f) (15, ac¬f) (16, a¬f) (16, c) } derived {(-7, ¬a) (-9, ¬a¬g) (-6, a) (-10, a¬f) } derived {(5, ⊡) (4, ¬a¬g) (4, a¬f) } derived {(17, ¬ab) (15, ¬ab¬g) (19, ab) (15, ab¬f) (21, b) (20, bc) } derived {(23, ¬a¬b) (21, ¬a¬b¬g) (24, a¬b) (20, a¬b¬f) (33, ¬b) (22, ¬bc) } derived {(-1, a) (-5, a¬f) } derived {(-1, ¬a) (-3, ¬a¬g) } derived {(12, ¬a) (5, ¬ac¬g) (10, ¬a¬g) (14, a) (5, ac¬f) (10, a¬f) (6, c) } derived {(14, ¬ab) (12, ¬ab¬g) (16, ab) (12, ab¬f) (18, b) (17, bc) } derived {(22, ¬ab) (17, ¬abd) (15, ¬abd¬g) (20, ¬ab¬g) (24, ab) (19, abd) (15, abd¬f) (20, ab¬f) (34, b) (33, bc) (20, bcd) (21, bd) } derived {(18, ¬a¬b) (16, ¬a¬b¬g) (19, a¬b) (15, a¬b¬f) (28, ¬b) (17, ¬bc) } derived {(25, ¬a¬b) (23, ¬a¬be) (21, ¬a¬be¬g) (23, ¬a¬b¬g) (26, a¬b) (24, a¬be) (20, a¬be¬f) (22, a¬b¬f) (35, ¬b) (22, ¬bce) (33, ¬be) } derived {(26, ¬a) (24, ¬a¬be) (22, ¬a¬be¬g) (23, ¬ab) (18, ¬abd) (16, ¬abd¬g) (21, ¬ab¬g) (24, ¬a¬g) (27, a) (25, a¬be) (21, a¬be¬f) (25, ab) (20, abd) (16, abd¬f) (21, ab¬f) (23, a¬f) (23, ¬bce) (21, bcd) (22, bd) } derived {(-3, a) (-7, a¬f) } derived {(-5, ¬a) (-7, ¬a¬g) } derived {(3, ⊡) (2, ¬a¬g) (2, a¬f) } derived {(11, ¬a) (4, ¬ac¬g) (9, ¬a¬g) (13, a) (4, ac¬f) (9, a¬f) (5, c) } derived {(27, ¬a) (26, ¬a¬be) (24, ¬a¬be¬g) (25, ¬ab) (20, ¬abd) (18, ¬abd¬g) (23, ¬ab¬g) (25, ¬a¬g) (28, a) (27, a¬be) (23, a¬be¬f) (27, ab) (22, abd) (18, abd¬f) (23, ab¬f) (24, a¬f) (25, ¬bce) (23, bcd) (24, bd) } derived {(-7, ¬a) (-9, ¬a¬g) (-6, a) (-10, a¬f) } derived {(16, ¬a¬b) (14, ¬a¬b¬g) (12, ¬ab) (10, ¬ab¬g) (17, a¬b) (13, a¬b¬f) (14, ab) (10, ab¬f) (15, a¬f) (14, c) } derived {(-8, ¬a) (-10, ¬a¬g) (-7, a) (-11, a¬f) } derived {(3, ⊡) } derived {(16, ¬ab) (14, ¬ab¬g) (18, ab) (14, ab¬f) (19, b) (18, bc) } derived {(22, ¬a¬b) (20, ¬a¬b¬g) (23, a¬b) (19, a¬b¬f) (31, ¬b) (20, ¬bc) } derived {(-2, a) (-6, a¬f) } derived {(-2, ¬a) (-4, ¬a¬g) } derived {(11, ¬a) (9, ¬a¬g) (13, a) (9, a¬f) (4, c) } derived {(13, ¬ab) (11, ¬ab¬g) (15, ab) (11, ab¬f) (16, b) (15, bc) } derived {(21, ¬ab) (16, ¬abd) (14, ¬abd¬g) (19, ¬ab¬g) (23, ab) (18, abd) (14, abd¬f) (19, ab¬f) (32, b) (31, bc) (18, bcd) (19, bd) } derived {(17, ¬a¬b) (15, ¬a¬b¬g) (18, a¬b) (14, a¬b¬f) (26, ¬b) (15, ¬bc) } derived {(24, ¬a¬b) (22, ¬a¬be) (20, ¬a¬be¬g) (22, ¬a¬b¬g) (25, a¬b) (23, a¬be) (19, a¬be¬f) (21, a¬b¬f) (33, ¬b) (20, ¬bce) (31, ¬be) } derived {(25, ¬a) (23, ¬a¬be) (21, ¬a¬be¬g) (22, ¬ab) (17, ¬abd) (15, ¬abd¬g) (20, ¬ab¬g) (23, ¬a¬g) (26, a) (24, a¬be) (20, a¬be¬f) (24, ab) (19, abd) (15, abd¬f) (20, ab¬f) (22, a¬f) (21, ¬bce) (19, bcd) (20, bd) } derived {(-4, a) (-8, a¬f) } derived {(-2, a) } derived {(-6, ¬a) (-8, ¬a¬g) } derived {(-2, ¬a) } derived {(10, ¬a) (8, ¬a¬g) (12, a) (8, a¬f) (3, c) } derived {(26, ¬a) (25, ¬a¬be) (23, ¬a¬be¬g) (24, ¬ab) (19, ¬abd) (17, ¬abd¬g) (22, ¬ab¬g) (24, ¬a¬g) (27, a) (26, a¬be) (22, a¬be¬f) (26, ab) (21, abd) (17, abd¬f) (22, ab¬f) (23, a¬f) (23, ¬bce) (21, bcd) (22, bd) } internal {(2, ⊡) } derived {(-8, ¬a) (-10, ¬a¬g) (-7, a) (-11, a¬f) } derived {(15, ¬a¬b) (13, ¬a¬b¬g) (11, ¬ab) (9, ¬ab¬g) (16, a¬b) (12, a¬b¬f) (13, ab) (9, ab¬f) (14, a¬f) (13, c) } derived {(-9, ¬a) (-11, ¬a¬g) (-8, a) (-12, a¬f) } derived {(15, ¬ab) (13, ¬ab¬g) (17, ab) (13, ab¬f) (18, b) (17, bc) } derived {(21, ¬a¬b) (19, ¬a¬b¬g) (22, a¬b) (18, a¬b¬f) (30, ¬b) (19, ¬bc) } derived {(-3, a) (-7, a¬f) } derived {(-3, ¬a) (-5, ¬a¬g) } derived {(10, ¬a) (8, ¬a¬g) (12, a) (8, a¬f) (3, c) } derived {(12, ¬ab) (10, ¬ab¬g) (14, ab) (10, ab¬f) (15, b) (14, bc) } derived {(20, ¬ab) (15, ¬abd) (13, ¬abd¬g) (18, ¬ab¬g) (22, ab) (17, abd) (13, abd¬f) (18, ab¬f) (31, b) (30, bc) (17, bcd) (18, bd) } derived {(16, ¬a¬b) (14, ¬a¬b¬g) (17, a¬b) (13, a¬b¬f) (25, ¬b) (14, ¬bc) } derived {(23, ¬a¬b) (21, ¬a¬be) (19, ¬a¬be¬g) (21, ¬a¬b¬g) (24, a¬b) (22, a¬be) (18, a¬be¬f) (20, a¬b¬f) (32, ¬b) (19, ¬bce) (30, ¬be) } derived {(24, ¬a) (22, ¬a¬be) (20, ¬a¬be¬g) (21, ¬ab) (16, ¬abd) (14, ¬abd¬g) (19, ¬ab¬g) (22, ¬a¬g) (25, a) (23, a¬be) (19, a¬be¬f) (23, ab) (18, abd) (14, abd¬f) (19, ab¬f) (21, a¬f) (20, ¬bce) (18, bcd) (19, bd) } derived {(-5, a) (-9, a¬f) } derived {(-3, a) } derived {(-7, ¬a) (-9, ¬a¬g) } derived {(-3, ¬a) } derived {(-2, ⊡) } derived {(9, ¬a) (7, ¬a¬g) (11, a) (7, a¬f) (2, c) } derived {(25, ¬a) (24, ¬a¬be) (22, ¬a¬be¬g) (23, ¬ab) (18, ¬abd) (16, ¬abd¬g) (21, ¬ab¬g) (23, ¬a¬g) (26, a) (25, a¬be) (21, a¬be¬f) (25, ab) (20, abd) (16, abd¬f) (21, ab¬f) (22, a¬f) (22, ¬bce) (20, bcd) (21, bd) } internal {(0, ⊡) (-5, ¬c) } derived {(-10, ¬a) (-15, ¬a¬c) (-17, ¬a¬c¬g) (-12, ¬a¬g) (-9, a) (-14, a¬c) (-18, a¬c¬f) (-13, a¬f) } derived {(11, ⊡) (8, ¬a¬b¬c) (6, ¬a¬b¬c¬g) (9, ¬ab) (4, ¬ab¬c) (2, ¬ab¬c¬g) (7, ¬ab¬g) (10, ¬a¬c¬g) (9, a¬b¬c) (5, a¬b¬c¬f) (10, a¬b¬f) (6, ab¬c) (2, ab¬c¬f) (7, ab¬f) (7, a¬c¬f) (7, b¬c) } derived {(-11, ¬a) (-16, ¬a¬c) (-18, ¬a¬c¬g) (-13, ¬a¬g) (-10, a) (-15, a¬c) (-19, a¬c¬f) (-14, a¬f) } derived {(13, ¬ab) (8, ¬ab¬c) (6, ¬ab¬c¬g) (11, ¬ab¬g) (10, ab¬c) (6, ab¬c¬f) (11, ab¬f) (15, b) (11, b¬c) } derived {(14, ¬a¬b¬c) (12, ¬a¬b¬c¬g) (15, a¬b¬c) (11, a¬b¬c¬f) (16, a¬b¬f) (17, ¬b) } derived {(-5, a) (-10, a¬c) (-14, a¬c¬f) (-9, a¬f) } derived {(-5, ¬a) (-10, ¬a¬c) (-12, ¬a¬c¬g) (-7, ¬a¬g) } derived {(10, ¬ab) (5, ¬ab¬c) (3, ¬ab¬c¬g) (8, ¬ab¬g) (7, ab¬c) (3, ab¬c¬f) (8, ab¬f) (12, b) (8, b¬c) } derived {(18, ¬ab) (13, ¬ab¬c) (8, ¬ab¬cd) (6, ¬ab¬cd¬g) (11, ¬ab¬c¬g) (13, ¬abd) (11, ¬abd¬g) (16, ¬ab¬g) (20, ab) (15, ab¬c) (10, ab¬cd) (6, ab¬cd¬f) (11, ab¬c¬f) (11, abd¬f) (16, ab¬f) (28, b) (24, b¬c) (11, b¬cd) (15, bd) } derived {(9, ¬a¬b¬c) (7, ¬a¬b¬c¬g) (10, a¬b¬c) (6, a¬b¬c¬f) (11, a¬b¬f) (12, ¬b) } derived {(21, ¬a¬b) (16, ¬a¬b¬c) (14, ¬a¬b¬ce) (12, ¬a¬b¬ce¬g) (14, ¬a¬b¬c¬g) (19, ¬a¬b¬g) (22, a¬b) (17, a¬b¬c) (15, a¬b¬ce) (11, a¬b¬ce¬f) (13, a¬b¬c¬f) (16, a¬be¬f) (18, a¬b¬f) (30, ¬b) (25, ¬b¬c) (17, ¬be) } derived {(22, ¬a) (15, ¬a¬b¬ce) (13, ¬a¬b¬ce¬g) (19, ¬ab) (14, ¬ab¬c) (9, ¬ab¬cd) (7, ¬ab¬cd¬g) (12, ¬ab¬c¬g) (14, ¬abd) (12, ¬abd¬g) (17, ¬ab¬g) (17, ¬a¬c) (15, ¬a¬c¬g) (20, ¬a¬g) (23, a) (16, a¬b¬ce) (12, a¬b¬ce¬f) (17, a¬be¬f) (21, ab) (16, ab¬c) (11, ab¬cd) (7, ab¬cd¬f) (12, ab¬c¬f) (12, abd¬f) (17, ab¬f) (18, a¬c) (14, a¬c¬f) (19, a¬f) (18, ¬be) (12, b¬cd) (16, bd) } derived {(-7, a) (-12, a¬c) (-16, a¬c¬f) (-11, a¬f) } derived {(-5, a) (-10, a¬c) } derived {(-9, ¬a) (-14, ¬a¬c) (-16, ¬a¬c¬g) (-11, ¬a¬g) } derived {(-5, ¬a) (-10, ¬a¬c) } derived {(-4, ⊡) (-9, ¬c) } derived {(-3, ⊡) (-8, ¬c) } derived {(-2, ⊡) (-7, ¬c) } derived {(23, ¬a) (17, ¬a¬b¬ce) (15, ¬a¬b¬ce¬g) (21, ¬ab) (16, ¬ab¬c) (11, ¬ab¬cd) (9, ¬ab¬cd¬g) (14, ¬ab¬c¬g) (16, ¬abd) (14, ¬abd¬g) (19, ¬ab¬g) (18, ¬a¬c) (16, ¬a¬c¬g) (21, ¬a¬g) (24, a) (18, a¬b¬ce) (14, a¬b¬ce¬f) (19, a¬be¬f) (23, ab) (18, ab¬c) (13, ab¬cd) (9, ab¬cd¬f) (14, ab¬c¬f) (14, abd¬f) (19, ab¬f) (19, a¬c) (15, a¬c¬f) (20, a¬f) (20, ¬be) (14, b¬cd) (18, bd) } derived {(-20, ¬a) (-22, ¬a¬b) (-25, ¬a¬b¬c) (-27, ¬a¬b¬c¬e) (-29, ¬a¬b¬c¬e¬g) (-27, ¬a¬b¬c¬g) (-24, ¬a¬b¬e) (-28, ¬ab¬c¬d) (-30, ¬ab¬c¬d¬g) (-25, ¬ab¬d) (-23, ¬a¬c) (-25, ¬a¬c¬g) (-26, a) (-28, a¬b) (-30, a¬b¬e) (-31, ab¬d) (-21, b¬d) } derived {(-6, ⊡) (-8, ¬b) (-10, ¬b¬e) (-11, b¬d) } derived {(-8, ⊡) (-13, ¬a¬b¬eg) (-11, ¬a¬bg) (-14, ¬ab¬dg) (-9, ¬ag) (-13, a) (-15, a¬b) (-17, a¬b¬e) (-20, a¬b¬ef) (-18, a¬bf) (-18, ab¬d) (-21, ab¬df) (-16, af) (-10, ¬b) (-15, ¬b¬c) (-17, ¬b¬c¬e) (-12, ¬b¬e) (-18, b¬c¬d) (-13, b¬d) (-13, ¬c) } derived {(-2, b) (-7, b¬d) } derived {(-2, ¬b) (-4, ¬b¬e) } derived {(-22, a) (-24, a¬b) (-26, a¬b¬e) (-27, ab¬d) } derived {(-15, ¬a) (-17, ¬a¬b) (-20, ¬a¬b¬c) (-22, ¬a¬b¬c¬e) (-24, ¬a¬b¬c¬e¬g) (-22, ¬a¬b¬c¬g) (-19, ¬a¬b¬e) (-23, ¬ab¬c¬d) (-25, ¬ab¬c¬d¬g) (-20, ¬ab¬d) (-18, ¬a¬c) (-20, ¬a¬c¬g) } derived {(-7, ⊡) (-12, ¬a¬bc¬eg) (-10, ¬a¬bcg) (-13, ¬abc¬dg) (-8, ¬acg) (-14, a¬bc) (-16, a¬bc¬e) (-19, a¬bc¬ef) (-17, a¬bcf) (-17, abc¬d) (-20, abc¬df) (-12, ac) (-15, acf) (-9, ¬b) (-11, ¬b¬e) (-12, b¬d) } derived {(-5, b) (-10, b¬d) } derived {(-2, b) } derived {(-7, ¬b) (-9, ¬b¬e) } derived {(-2, ¬b) } derived {(-24, a) (-26, a¬b) (-28, a¬b¬e) (-29, ab¬d) } derived {(-18, a) (-20, a¬b) (-22, a¬b¬e) (-26, a¬b¬ef) (-24, a¬bf) (-23, ab¬d) (-27, ab¬df) (-22, af) } derived {(-19, ¬a) (-21, ¬a¬b) (-24, ¬a¬b¬c) (-26, ¬a¬b¬c¬e) (-28, ¬a¬b¬c¬e¬g) (-26, ¬a¬b¬c¬g) (-23, ¬a¬b¬e) (-27, ¬ab¬c¬d) (-29, ¬ab¬c¬d¬g) (-24, ¬ab¬d) (-22, ¬a¬c) (-24, ¬a¬c¬g) } derived {(-13, ¬a) (-15, ¬a¬b) (-20, ¬a¬b¬c) (-22, ¬a¬b¬c¬e) (-17, ¬a¬b¬e) (-19, ¬a¬b¬eg) (-17, ¬a¬bg) (-23, ¬ab¬c¬d) (-18, ¬ab¬d) (-20, ¬ab¬dg) (-18, ¬a¬c) (-15, ¬ag) } derived {(-12, ⊡) (-18, ¬a¬b¬eg) (-16, ¬a¬bg) (-19, ¬ab¬dg) (-14, ¬ag) (-17, a) (-19, a¬b) (-21, a¬b¬e) (-25, a¬b¬ef) (-23, a¬bf) (-22, ab¬d) (-26, ab¬df) (-21, af) (-14, ¬b) (-19, ¬b¬c) (-21, ¬b¬c¬e) (-16, ¬b¬e) (-22, b¬c¬d) (-17, b¬d) (-17, ¬c) } derived {(-11, ⊡) (-16, ¬a¬b¬eg) (-14, ¬a¬bg) (-17, ¬ab¬dg) (-12, ¬ag) (-16, a) (-18, a¬b) (-20, a¬b¬e) (-23, a¬b¬ef) (-21, a¬bf) (-21, ab¬d) (-24, ab¬df) (-19, af) (-13, ¬b) (-18, ¬b¬c) (-20, ¬b¬c¬e) (-15, ¬b¬e) (-21, b¬c¬d) (-16, b¬d) (-16, ¬c) } derived {(-10, ⊡) (-15, ¬a¬b¬eg) (-13, ¬a¬bg) (-16, ¬ab¬dg) (-11, ¬ag) (-15, a) (-17, a¬b) (-19, a¬b¬e) (-22, a¬b¬ef) (-20, a¬bf) (-20, ab¬d) (-23, ab¬df) (-18, af) (-12, ¬b) (-17, ¬b¬c) (-19, ¬b¬c¬e) (-14, ¬b¬e) (-20, b¬c¬d) (-15, b¬d) (-15, ¬c) } derived {(-8, ⊡) (-13, ¬a¬bc¬eg) (-11, ¬a¬bcg) (-14, ¬abc¬dg) (-9, ¬acg) (-15, a¬bc) (-17, a¬bc¬e) (-20, a¬bc¬ef) (-18, a¬bcf) (-18, abc¬d) (-21, abc¬df) (-13, ac) (-16, acf) (-10, ¬b) (-12, ¬b¬e) (-13, b¬d) }