734.0 ¬d 484.0 173.0 ⊡ 412.0 151.0 ⊡ 135.0 560.0 ¬d¬e 456.0 20.0 ¬f 241.0 659.0 ¬d¬e 251.0 114.0 ⊡ 36.0 750.0 ⊡ 777.0 f 17.0 ⊡ 145.0 26.0 ⊡ 327.0 128.0 ⊡ 775.0 452.0 ¬d 369.0 31.0 ⊡ 778.0 e 584.0 ¬d 277.0 193.0 ⊡ 30.0 539.0 ¬d 282.0 783.0 ⊡ 521.0 392.0 ⊡ 623.0 368.0 ⊡ 439.0 552.0 d 581.0 47.0 ¬f 104.0 773.0 ⊡ 783.0 577.0 ¬de 234.0 21.0 ⊡ 724.0 150.0 ⊡ 339.0 470.0 d 507.0 663.0 d 580.0 778.0 ⊡ 735.0 27.0 ⊡ 69.0 266.0 ⊡ 757.0 d 545.0 ⊡ 389.0 781.0 ⊡ 638.0 728.0 ⊡ 658.0 505.0 ¬de 220.0 568.0 ⊡ 686.0 416.0 ¬de 214.0 28.0 ⊡ 20.0 663.0 ¬d¬e 334.0 661.0 ¬d 381.0 178.0 ¬f 179.0 30.0 f 200.0 61.0 ⊡ 640.0 193.0 ⊡ 545.0 requirement {(-1, ¬de) } requirement {(-1, ¬d¬e) } requirement {(5, ¬d¬e) } requirement {(100, ¬d¬e) } requirement {(5, ¬de) } contingent {(4E, -25, ⊡) } {(-3, ⊡) } requirement {(0, ¬f) } requirement {(100, f) } requirement {(-1, ¬de) } requirement {(0, ¬d¬e) } requirement {(5, ¬de) } requirement {(100, ¬d) } requirement {(0, ¬de) } requirement {(-1, ¬d) } requirement {(-14, ⊡) } requirement {(100, ⊡) } requirement {(0, ¬d¬e) } requirement {(-1, ¬d¬e) } requirement {(-1, ¬f) } requirement {(-1, ¬d¬e) } requirement {(-91, ⊡) } requirement {(43, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, f) } requirement {(-20, ¬de¬f) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(0, ¬d¬e) } requirement {(100, ⊡) } requirement {(5, ¬f) } requirement {(0, d) } requirement {(0, ¬de) } requirement {(0, ¬f) } contingent {(7E, -24, ⊡) } {(-4, ⊡) } requirement {(-1, ¬f) } requirement {(0, ¬d) } requirement {(-1, ¬d¬e) } requirement {(100, ⊡) } requirement {(5, d) } contingent {(16E, 7, ¬de) } {(41, ¬de) } requirement {(5, ¬d) } requirement {(100, ⊡) } requirement {(0, d) } requirement {(-1, ⊡) } requirement {(10, ¬d) } requirement {(5, ¬d¬e) } contingent {(17E, 5, ¬d¬e) } {(39, ¬d¬e) } requirement {(5, f) } requirement {(345, ¬d¬e) } requirement {(-1, ⊡) } requirement {(5, ⊡) } requirement {(99, ¬de¬f) } requirement {(0, ¬d) } contingent {(3E, -25, ⊡) } {(-3, ⊡) } requirement {(100, ¬de) } contingent {(13E, 4, d) } {(46, d) } requirement {(10, ⊡) } requirement {(-1, d) } requirement {(-1, ¬de) } contingent {(5E, -16, ⊡) } {(-2, ⊡) } contingent {(5E, 3, ⊡) } {(28, ⊡) } requirement {(100, d) } contingent {(6E, 9, ⊡) } {(46, ⊡) } requirement {(100, ⊡) } requirement {(-1, ⊡) } requirement {(100, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ¬d) } contingent {(2E, 8, ⊡) } {(48, ⊡) } requirement {(5, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ¬f) } requirement {(5, ¬f) } requirement {(-1, ¬f) } contingent {(2E, -27, ⊡) } {(-6, ⊡) } requirement {(0, ¬d) } requirement {(100, ¬de) } requirement {(100, ¬f) } contingent {(7E, 5, ⊡) } {(43, ⊡) } contingent {(3E, 4, ⊡) } {(45, ⊡) } requirement {(-1, ⊡) } requirement {(933, ⊡) } requirement {(-39, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-1, ¬d) } requirement {(-1, d) } requirement {(-1, ¬d) } requirement {(-1, ⊡) } requirement {(0, ¬de) } requirement {(-1, ¬d) } requirement {(-1, ⊡) } requirement {(-1, ⊡) } requirement {(-147, ¬d¬e) } contingent {(13E, -26, d) } {(-3, d) } requirement {(100, ¬d¬e) } contingent {(10E, -26, ¬f) } {(-11, ¬f) } requirement {(-1, ⊡) } requirement {(0, ¬de) } requirement {(10, ⊡) } requirement {(5, f) } requirement {(-1, d) } contingent {(10E, 14, ¬f) } {(46, ¬f) } requirement {(0, ¬d¬e) } requirement {(0, ¬de) } contingent {(16E, -23, ¬de) } {(-5, ¬de) } requirement {(5, d) } requirement {(100, ⊡) } requirement {(100, d) } requirement {(-1, d) } requirement {(-1, ¬d) } requirement {(5, ¬d) } requirement {(100, ¬f) } requirement {(-1, f) } requirement {(5, ¬d) } requirement {(-1, f) } requirement {(112, ⊡) } requirement {(100, ⊡) } contingent {(4E, 4, ⊡) } {(45, ⊡) } requirement {(-1, ¬de) } requirement {(0, ¬d) } requirement {(10, ⊡) } requirement {(0, ¬d¬e) } requirement {(100, ⊡) } requirement {(10, ⊡) } contingent {(6E, -26, ⊡) } {(-7, ⊡) } contingent {(17E, -22, ¬d¬e) } {(-4, ¬d¬e) } requirement {(100, ⊡) } requirement {(100, ⊡) }