%------------------------------------------------------------------------------ % File : SOS---2.0 % Problem : NUM375+1.030 : TPTP v8.1.0. Released v3.2.0. % Transfm : none % Format : tptp:raw % Command : sos-script %s % Computer : n023.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 600s % DateTime : Mon Jul 18 14:17:50 EDT 2022 % Result : Unknown 0.13s 0.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : NUM375+1.030 : TPTP v8.1.0. Released v3.2.0. % 0.06/0.12 % Command : sos-script %s % 0.13/0.32 % Computer : n023.cluster.edu % 0.13/0.32 % Model : x86_64 x86_64 % 0.13/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.32 % Memory : 8042.1875MB % 0.13/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.32 % CPULimit : 300 % 0.13/0.32 % WCLimit : 600 % 0.13/0.32 % DateTime : Tue Jul 5 07:03:27 EDT 2022 % 0.13/0.32 % CPUTime : % 0.13/0.35 ----- Otter 3.2, August 2001 ----- % 0.13/0.35 The process was started by sandbox on n023.cluster.edu, % 0.13/0.35 Tue Jul 5 07:03:27 2022 % 0.13/0.35 The command was "./sos". The process ID is 2757. % 0.13/0.35 % 0.13/0.35 set(prolog_style_variables). % 0.13/0.35 set(auto). % 0.13/0.35 dependent: set(auto1). % 0.13/0.35 dependent: set(process_input). % 0.13/0.35 dependent: clear(print_kept). % 0.13/0.35 dependent: clear(print_new_demod). % 0.13/0.35 dependent: clear(print_back_demod). % 0.13/0.35 dependent: clear(print_back_sub). % 0.13/0.35 dependent: set(control_memory). % 0.13/0.35 dependent: assign(max_mem, 12000). % 0.13/0.35 dependent: assign(pick_given_ratio, 4). % 0.13/0.35 dependent: assign(stats_level, 1). % 0.13/0.35 dependent: assign(pick_semantic_ratio, 3). % 0.13/0.35 dependent: assign(sos_limit, 5000). % 0.13/0.35 dependent: assign(max_weight, 60). % 0.13/0.35 clear(print_given). % 0.13/0.35 % 0.13/0.35 formula_list(usable). % 0.13/0.35 % 0.13/0.35 ERROR, term too big: % 0.13/0.35 % 0.13/0.35 % 0.13/0.35 ( exists X Y Z ( % 0.13/0.35 ( =(succ(n0),n1) % 0.13/0.35 & =(succ(n1),n2) % 0.13/0.35 & =(succ(n2),n3) % 0.13/0.35 & =(succ(n3),n4) % 0.13/0.35 & =(succ(n4),n5) % 0.13/0.35 & =(succ(n5),n6) % 0.13/0.35 & =(succ(n6),n7) % 0.13/0.35 & =(succ(n7),n8) % 0.13/0.35 & =(succ(n8),n9) % 0.13/0.35 & =(succ(n9),n10) % 0.13/0.35 & =(succ(n10),n11) % 0.13/0.35 & =(succ(n11),n12) % 0.13/0.35 & =(succ(n12),n13) % 0.13/0.35 & =(succ(n13),n14) % 0.13/0.35 & =(succ(n14),n15) % 0.13/0.35 & =(succ(n15),n16) % 0.13/0.35 & =(succ(n16),n17) % 0.13/0.35 & =(succ(n17),n18) % 0.13/0.35 & =(succ(n18),n19) % 0.13/0.35 & =(succ(n19),n20) % 0.13/0.35 & =(succ(n20),n21) % 0.13/0.35 & =(succ(n21),n22) % 0.13/0.35 & =(succ(n22),n23) % 0.13/0.35 & =(succ(n23),n24) % 0.13/0.35 & =(succ(n24),n25) % 0.13/0.35 & =(succ(n25),n26) % 0.13/0.35 & =(succ(n26),n27) % 0.13/0.35 & =(succ(n27),n28) % 0.13/0.35 & =(succ(n28),n29) % 0.13/0.35 & =(succ(n29),n30) % 0.13/0.35 & =(succ(n30),n0) % 0.13/0.35 & =(pred(n0),n30) % 0.13/0.35 & =(pred(n1),n0) % 0.13/0.35 & =(pred(n2),n1) % 0.13/0.35 & =(pred(n3),n2) % 0.13/0.35 & =(pred(n4),n3) % 0.13/0.35 & =(pred(n5),n4) % 0.13/0.35 & =(pred(n6),n5) % 0.13/0.35 & =(pred(n7),n6) % 0.13/0.35 & =(pred(n8),n7) % 0.13/0.35 & =(pred(n9),n8) % 0.13/0.35 & =(pred(n10),n9) % 0.13/0.35 & =(pred(n11),n10) % 0.13/0.35 & =(pred(n12),n11) % 0.13/0.35 & =(pred(n13),n12) % 0.13/0.35 & =(pred(n14),n13) % 0.13/0.35 & =(pred(n15),n14) % 0.13/0.35 & =(pred(n16),n15) % 0.13/0.35 & =(pred(n17),n16) % 0.13/0.35 & =(pred(n18),n17) % 0.13/0.35 & =(pred(n19),n18) % 0.13/0.35 & =(pred(n20),n19) % 0.13/0.35 & =(pred(n21),n20) % 0.13/0.35 & =(pred(n22),n21) % 0.13/0.35 & =(pred(n23),n22) % 0.13/0.35 & =(pred(n24),n23) % 0.13/0.35 & =(pred(n25),n24) % 0.13/0.35 & =(pred(n26),n25) % 0.13/0.35 & =(pred(n27),n26) % 0.13/0.35 & =(pred(n28),n27) % 0.13/0.35 & =(pred(n29),n28) % 0.13/0.35 & =(pred(n30),n29) % 0.13/0.35 & =(sum(n0,n0),n0) % 0.13/0.35 & =(sum(n0,n1),n1) % 0.13/0.35 & =(sum(n0,n2),n2) % 0.13/0.35 & =(sum(n0,n3),n3) % 0.13/0.35 & =(sum(n0,n4),n4) % 0.13/0.35 & =(sum(n0,n5),n5) % 0.13/0.35 & =(sum(n0,n6),n6) % 0.13/0.35 & =(sum(n0,n7),n7) % 0.13/0.35 & =(sum(n0,n8),n8) % 0.13/0.35 & =(sum(n0,n9),n9) % 0.13/0.35 & =(sum(n0,n10),n10) % 0.13/0.35 & =(sum(n0,n11),n11) % 0.13/0.35 & =(sum(n0,n12),n12) % 0.13/0.35 & =(sum(n0,n13),n13) % 0.13/0.35 & =(sum(n0,n14),n14) % 0.13/0.35 & =(sum(n0,n15),n15) % 0.13/0.35 & =(sum(n0,n16),n16) % 0.13/0.35 & =(sum(n0,n17),n17) % 0.13/0.35 & =(sum(n0,n18),n18) % 0.13/0.35 & =(sum(n0,n19),n19) % 0.13/0.35 & =(sum(n0,n20),n20) % 0.13/0.35 & =(sum(n0,n21),n21) % 0.13/0.35 & =(sum(n0,n22),n22) % 0.13/0.35 & =(sum(n0,n23),n23) % 0.13/0.35 & =(sum(n0,n24),n24) % 0.13/0.35 & =(sum(n0,n25),n25) % 0.13/0.35 & =(sum(n0,n26),n26) % 0.13/0.35 & =(sum(n0,n27),n27) % 0.13/0.35 & =(sum(n0,n28),n28) % 0.13/0.35 & =(sum(n0,n29),n29) % 0.13/0.35 & =(sum(n0,n30),n30) % 0.13/0.35 & =(sum(n1,n0),n1) % 0.13/0.35 & =(sum(n1,n1),n2) % 0.13/0.35 & =(sum(n1,n2),n3) % 0.13/0.35 & =(sum(n1,n3),n4) % 0.13/0.35 & =(sum(n1,n4),n5) % 0.13/0.35 & =(sum(n1,n5),n6) % 0.13/0.35 & =(sum(n1,n6),n7) % 0.13/0.35 & =(sum(n1,n7),n8) % 0.13/0.35 & =(sum(n1,n8),n9) % 0.13/0.35 & =(sum(n1,n9),n10) % 0.13/0.35 & =(sum(n1,n10),n11) % 0.13/0.35 & =(sum(n1,n11),n12) % 0.13/0.35 & =(sum(n1,n12),n13) % 0.13/0.35 & =(sum(n1,n13),n14) % 0.13/0.35 & =(sum(n1,n14),n15) % 0.13/0.35 & =(sum(n1,n15),n16) % 0.13/0.35 & =(sum(n1,n16),n17) % 0.13/0.35 & =(sum(n1,n17),n18) % 0.13/0.35 & =(sum(n1,n18),n19) % 0.13/0.35 & =(sum(n1,n19),n20) % 0.13/0.35 & =(sum(n1,n20),n21) % 0.13/0.35 & =(sum(n1,n21),n22) % 0.13/0.35 & =(sum(n1,n22),n23) % 0.13/0.35 & =(sum(n1,n23),n24) % 0.13/0.35 & =(sum(n1,n24),n25) % 0.13/0.35 & =(sum(n1,n25),n26) % 0.13/0.35 & =(sum(n1,n26),n27) % 0.13/0.35 & =(sum(n1,n27),n28) % 0.13/0.35 & =(sum(n1,n28),n29) % 0.13/0.35 & =(sum(n1,n29),n30) % 0.13/0.35 & =(sum(n1,n30),n0) % 0.13/0.35 & =(sum(n2,n0),n2) % 0.13/0.35 & =(sum(n2,n1),n3) % 0.13/0.35 & =(sum(n2,n2),n4) % 0.13/0.35 & =(sum(n2,n3),n5) % 0.13/0.35 & =(sum(n2,n4),n6) % 0.13/0.35 & =(sum(n2,n5),n7) % 0.13/0.35 & =(sum(n2,n6),n8) % 0.13/0.35 & =(sum(n2,n7),n9) % 0.13/0.35 & =(sum(n2,n8),n10) % 0.13/0.35 & =(sum(n2,n9),n11) % 0.13/0.35 & =(sum(n2,n10),n12) % 0.13/0.35 & =(sum(n2,n11),n13) % 0.13/0.35 & =(sum(n2,n12),n14) % 0.13/0.35 & =(sum(n2,n13),n15) % 0.13/0.35 & =(sum(n2,n14),n16) % 0.13/0.35 & =(sum(n2,n15),n17) % 0.13/0.35 & =(sum(n2,n16),n18) % 0.13/0.35 & =(sum(n2,n17),n19) % 0.13/0.35 & =(sum(n2,n18),n20) % 0.13/0.35 & =(sum(n2,n19),n21) % 0.13/0.35 & =(sum(n2,n20),n22) % 0.13/0.35 & =(sum(n2,n21),n23) % 0.13/0.35 & =(sum(n2,n22),n24) % 0.13/0.35 & =(sum(n2,n23),n25) % 0.13/0.35 & =(sum(n2,n24),n26) % 0.13/0.35 & =(sum(n2,n25),n27) % 0.13/0.35 & =(sum(n2,n26),n28) % 0.13/0.35 & =(sum(n2,n27),n29) % 0.13/0.35 & =(sum(n2,n28),n30) % 0.13/0.35 & =(sum(n2,n29),n0) % 0.13/0.35 & =(sum(n2,n30),n1) % 0.13/0.35 & =(sum(n3,n0),n3) % 0.13/0.35 & =(sum(n3,n1),n4) % 0.13/0.35 & =(sum(n3,n2),n5) % 0.13/0.35 & =(sum(n3,n3),n6) % 0.13/0.35 & =(sum(n3,n4),n7) % 0.13/0.35 & =(sum(n3,n5),n8) % 0.13/0.35 & =(sum(n3,n6),n9) % 0.13/0.35 & =(sum(n3,n7),n10) % 0.13/0.35 & =(sum(n3,n8),n11) % 0.13/0.35 & =(sum(n3,n9),n12) % 0.13/0.35 & =(sum(n3,n10),n13) % 0.13/0.35 & =(sum(n3,n11),n14) % 0.13/0.35 & =(sum(n3,n12),n15) % 0.13/0.35 & =(sum(n3,n13),n16) % 0.13/0.35 & =(sum(n3,n14),n17) % 0.13/0.35 & =(sum(n3,n15),n18) % 0.13/0.35 & =(sum(n3,n16),n19) % 0.13/0.35 & =(sum(n3,n17),n20) % 0.13/0.35 & =(sum(n3,n18),n21) % 0.13/0.35 & =(sum(n3,n19),n22) % 0.13/0.35 & =(sum(n3,n20),n23) % 0.13/0.35 & =(sum(n3,n21),n24) % 0.13/0.35 & =(sum(n3,n22),n25) % 0.13/0.35 & =(sum(n3,n23),n26) % 0.13/0.35 & =(sum(n3,n24),n27) % 0.13/0.35 & =(sum(n3,n25),n28) % 0.13/0.35 & =(sum(n3,n26),n29) % 0.13/0.35 & =(sum(n3,n27),n30) % 0.13/0.35 & =(sum(n3,n28),n0) % 0.13/0.35 & =(sum(n3,n29),n1) % 0.13/0.35 & =(sum(n3,n30),n2) % 0.13/0.35 & =(sum(n4,n0),n4) % 0.13/0.35 & =(sum(n4,n1),n5) % 0.13/0.35 & =(sum(n4,n2),n6) % 0.13/0.35 & =(sum(n4,n3),n7) % 0.13/0.35 & =(sum(n4,n4),n8) % 0.13/0.35 & =(sum(n4,n5),n9) % 0.13/0.35 & =(sum(n4,n6),n10) % 0.13/0.35 & =(sum(n4,n7),n11) % 0.13/0.35 & =(sum(n4,n8),n12) % 0.13/0.35 & =(sum(n4,n9),n13) % 0.13/0.35 & =(sum(n4,n10),n14) % 0.13/0.35 & =(sum(n4,n11),n15) % 0.13/0.35 & =(sum(n4,n12),n16) % 0.13/0.35 & =(sum(n4,n13),n17) % 0.13/0.35 & =(sum(n4,n14),n18) % 0.13/0.35 & =(sum(n4,n15),n19) % 0.13/0.35 & =(sum(n4,n16),n20) % 0.13/0.35 & =(sum(n4,n17),n21) % 0.13/0.35 & =(sum(n4,n18),n22) % 0.13/0.35 & =(sum(n4,n19),n23) % 0.13/0.35 & =(sum(n4,n20),n24) % 0.13/0.35 & =(sum(n4,n21),n25) % 0.13/0.35 & =(sum(n4,n22),n26) % 0.13/0.35 & =(sum(n4,n23),n27) % 0.13/0.35 & =(sum(n4,n24),n28) % 0.13/0.35 & =(sum(n4,n25),n29) % 0.13/0.35 & =(sum(n4,n26),n30) % 0.13/0.35 & =(sum(n4,n27),n0) % 0.13/0.35 & =(sum(n4,n28),n1) % 0.13/0.35 & =(sum(n4,n29),n2) % 0.13/0.35 & =(sum(n4,n30),n3) % 0.13/0.35 & =(sum(n5,n0),n5) % 0.13/0.35 & =(sum(n5,n1),n6) % 0.13/0.35 & =(sum(n5,n2),n7) % 0.13/0.35 & =(sum(n5,n3),n8) % 0.13/0.35 & =(sum(n5,n4),n9) % 0.13/0.35 & =(sum(n5,n5),n10) % 0.13/0.35 & =(sum(n5,n6),n11) % 0.13/0.35 & =(sum(n5,n7),n12) % 0.13/0.35 & =(sum(n5,n8),n13) % 0.13/0.35 & =(sum(n5,n9),n14) % 0.13/0.35 & =(sum(n5,n10),n15) % 0.13/0.35 & =(sum(n5,n11),n16) % 0.13/0.35 & =(sum(n5,n12),n17) % 0.13/0.35 & =(sum(n5,n13),n18) % 0.13/0.35 & =(sum(n5,n14),n19) % 0.13/0.35 & =(sum(n5,n15),n20) % 0.13/0.35 & =(sum(n5,n16),n21) % 0.13/0.35 & =(sum(n5,n17),n22) % 0.13/0.35 & =(sum(n5,n18),n23) % 0.13/0.35 & =(sum(n5,n19),n24) % 0.13/0.35 & =(sum(n5,n20),n25) % 0.13/0.35 & =(sum(n5,n21),n26) % 0.13/0.35 & =(sum(n5,n22),n27) % 0.13/0.35 & =(sum(n5,n23),n28) % 0.13/0.35 & =(sum(n5,n24),n29) % 0.13/0.35 & =(sum(n5,n25),n30) % 0.13/0.35 & =(sum(n5,n26),n0) % 0.13/0.35 & =(sum(n5,n27),n1) % 0.13/0.35 & =(sum(n5,n28),n2) % 0.13/0.35 & =(sum(n5,n29),n3) % 0.13/0.35 & =(sum(n5,n30),n4) % 0.13/0.35 & =(sum(n6,n0),n6) % 0.13/0.35 & =(sum(n6,n1),n7) % 0.13/0.35 & =(sum(n6,n2),n8) % 0.13/0.35 & =(sum(n6,n3),n9) % 0.13/0.35 & =(sum(n6,n4),n10) % 0.13/0.35 & =(sum(n6,n5),n11) % 0.13/0.35 & =(sum(n6,n6),n12) % 0.13/0.35 & =(sum(n6,n7),n13) % 0.13/0.35 & =(sum(n6,n8),n14) % 0.13/0.35 & =(sum(n6,n9),n15) % 0.13/0.35 & =(sum(n6,n10),n16) % 0.13/0.35 & =(sum(n6,n11),n17) % 0.13/0.35 & =(sum(n6,n12),n18) % 0.13/0.35 & =(sum(n6,n13),n19) % 0.13/0.35 & =(sum(n6,n14),n20) % 0.13/0.35 & =(sum(n6,n15),n21) % 0.13/0.35 & =(sum(n6,n16),n22) % 0.13/0.35 & =(sum(n6,n17),n23) % 0.13/0.35 & =(sum(n6,n18),n24) % 0.13/0.35 & =(sum(n6,n19),n25) % 0.13/0.35 & =(sum(n6,n20),n26) % 0.13/0.35 & =(sum(n6,n21),n27) % 0.13/0.35 & =(sum(n6,n22),n28) % 0.13/0.35 & =(sum(n6,n23),n29) % 0.13/0.35 & =(sum(n6,n24),n30) % 0.13/0.35 & =(sum(n6,n25),n0) % 0.13/0.35 & =(sum(n6,n26),n1) % 0.13/0.35 & =(sum(n6,n27),n2) % 0.13/0.35 & =(sum(n6,n28),n3) % 0.13/0.35 & =(sum(n6,n29),n4) % 0.13/0.35 & =(sum(n6,n30),n5) % 0.13/0.35 & =(sum(n7,n0),n7) % 0.13/0.35 & =(sum(n7,n1),n8) % 0.13/0.35 & =(sum(n7,n2),n9) % 0.13/0.35 & =(sum(n7,n3),n10) % 0.13/0.35 & =(sum(n7,n4),n11) % 0.13/0.35 & =(sum(n7,n5),n12) % 0.13/0.35 & =(sum(n7,n6),n13) % 0.13/0.35 & =(sum(n7,n7),n14) % 0.13/0.35 & =(sum(n7,n8),n15) % 0.13/0.35 & =(sum(n7,n9),n16) % 0.13/0.35 & =(sum(n7,n10),n17) % 0.13/0.35 & =(sum(n7,n11),n18) % 0.13/0.35 & =(sum(n7,n12),n19) % 0.13/0.35 & =(sum(n7,n13),n20) % 0.13/0.35 & =(sum(n7,n14),n21) % 0.13/0.35 & =(sum(n7,n15),n22) % 0.13/0.35 & =(sum(n7,n16),n23) % 0.13/0.35 & =(sum(n7,n17),n24) % 0.13/0.35 & =(sum(n7,n18),n25) % 0.13/0.35 & =(sum(n7,n19),n26) % 0.13/0.35 & =(sum(n7,n20),n27) % 0.13/0.35 & =(sum(n7,n21),n28) % 0.13/0.35 & =(sum(n7,n22),n29) % 0.13/0.35 & =(sum(n7,n23),n30) % 0.13/0.35 & =(sum(n7,n24),n0) % 0.13/0.35 & =(sum(n7,n25),n1) % 0.13/0.35 & =(sum(n7,n26),n2) % 0.13/0.35 & =(sum(n7,n27),n3) % 0.13/0.35 & =(sum(n7,n28),n4) % 0.13/0.35 & =(sum(n7,n29),n5) % 0.13/0.35 & =(sum(n7,n30),n6) % 0.13/0.35 & =(sum(n8,n0),n8) % 0.13/0.35 & =(sum(n8,n1),n9) % 0.13/0.35 & =(sum(n8,n2),n10) % 0.13/0.35 & =(sum(n8,n3),n11) % 0.13/0.35 & =(sum(n8,n4),n12) % 0.13/0.35 & =(sum(n8,n5),n13) % 0.13/0.35 & =(sum(n8,n6),n14) % 0.13/0.35 & =(sum(n8,n7),n15) % 0.13/0.35 & =(sum(n8,n8),n16) % 0.13/0.35 & =(sum(n8,n9),n17) % 0.13/0.35 & =(sum(n8,n10),n18) % 0.13/0.35 & =(sum(n8,n11),n19) % 0.13/0.35 & =(sum(n8,n12),n20) % 0.13/0.35 & =(sum(n8,n13),n21) % 0.13/0.35 & =(sum(n8,n14),n22) % 0.13/0.35 & =(sum(n8,n15),n23) % 0.13/0.35 & =(sum(n8,n16),n24) % 0.13/0.35 & =(sum(n8,n17),n25) % 0.13/0.35 & =(sum(n8,n18),n26) % 0.13/0.35 & =(sum(n8,n19),n27) % 0.13/0.35 & =(sum(n8,n20),n28) % 0.13/0.35 & =(sum(n8,n21),n29) % 0.13/0.35 & =(sum(n8,n22),n30) % 0.13/0.35 & =(sum(n8,n23),n0) % 0.13/0.35 & =(sum(n8,n24),n1) % 0.13/0.35 & =(sum(n8,n25),n2) % 0.13/0.35 & =(sum(n8,n26),n3) % 0.13/0.35 & =(sum(n8,n27),n4) % 0.13/0.35 & =(sum(n8,n28),n5) % 0.13/0.35 & =(sum(n8,n29),n6) % 0.13/0.35 & =(sum(n8,n30),n7) % 0.13/0.35 & =(sum(n9,n0),n9) % 0.13/0.35 & =(sum(n9,n1),n10) % 0.13/0.35 & =(sum(n9,n2),n11) % 0.13/0.35 & =(sum(n9,n3),n12) % 0.13/0.35 & =(sum(n9,n4),n13) % 0.13/0.35 & =(sum(n9,n5),n14) % 0.13/0.35 & =(sum(n9,n6),n15) % 0.13/0.35 & =(sum(n9,n7),n16) % 0.13/0.35 & =(sum(n9,n8),n17) % 0.13/0.35 & =(sum(n9,n9),n18) % 0.13/0.35 & =(sum(n9,n10),n19) % 0.13/0.35 & =(sum(n9,n11),n20) % 0.13/0.35 & =(sum(n9,n12),n21) % 0.13/0.35 & =(sum(n9,n13),n22) % 0.13/0.35 & =(sum(n9,n14),n23) % 0.13/0.35 & =(sum(n9,n15),n24) % 0.13/0.35 & =(sum(n9,n16),n25) % 0.13/0.35 & =(sum(n9,n17),n26) % 0.13/0.35 & =(sum(n9,n18),n27) % 0.13/0.35 & =(sum(n9,n19),n28) % 0.13/0.35 & =(sum(n9,n20),n29) % 0.13/0.35 & =(sum(n9,n21),n30) % 0.13/0.35 & =(sum(n9,n22),n0) % 0.13/0.35 & =(sum(n9,n23),n1) % 0.13/0.35 & =(sum(n9,n24),n2) % 0.13/0.35 & =(sum(n9,n25),n3) % 0.13/0.35 & =(sum(n9,n26),n4) % 0.13/0.35 & =(sum(n9,n27),n5) % 0.13/0.35 & =(sum(n9,n28),n6) % 0.13/0.35 & =(sum(n9,n29),n7) % 0.13/0.35 & =(sum(n9,n30),n8) % 0.13/0.35 & =(sum(n10,n0),n10) % 0.13/0.35 & =(sum(n10,n1),n11) % 0.13/0.35 & =(sum(n10,n2),n12) % 0.13/0.35 & =(sum(n10,n3),n13) % 0.13/0.35 & =(sum(n10,n4),n14) % 0.13/0.35 & =(sum(n10,n5),n15) % 0.13/0.35 & =(sum(n10,n6),n16) % 0.13/0.35 & =(sum(n10,n7),n17) % 0.13/0.35 & =(sum(n10,n8),n18) % 0.13/0.35 & =(sum(n10,n9),n19) % 0.13/0.35 & =(sum(n10,n10),n20) % 0.13/0.35 & =(sum(n10,n11),n21) % 0.13/0.35 & =(sum(n10,n12),n22) % 0.13/0.35 & =(sum(n10,n13),n23) % 0.13/0.35 & =(sum(n10,n14),n24) % 0.13/0.35 & =(sum(n10,n15),n25) % 0.13/0.35 & =(sum(n10,n16),n26) % 0.13/0.35 & =(sum(n10,n17),n27) % 0.13/0.35 & =(sum(n10,n18),n28) % 0.13/0.35 & =(sum(n10,n19),n29) % 0.13/0.35 & =(sum(n10,n20),n30) % 0.13/0.35 & =(sum(n10,n21),n0) % 0.13/0.35 & =(sum(n10,n22),n1) % 0.13/0.35 & =(sum(n10,n23),n2) % 0.13/0.35 & =(sum(n10,n24),n3) % 0.13/0.35 & =(sum(n10,n25),n4) % 0.13/0.35 & =(sum(n10,n26),n5) % 0.13/0.35 & =(sum(n10,n27),n6) % 0.13/0.35 & =(sum(n10,n28),n7) % 0.13/0.35 & =(sum(n10,n29),n8) % 0.13/0.35 & =(sum(n10,n30),n9) % 0.13/0.35 & =(sum(n11,n0),n11) % 0.13/0.35 & =(sum(n11,n1),n12) % 0.13/0.35 & =(sum(n11,n2),n13) % 0.13/0.35 & =(sum(n11,n3),n14) % 0.13/0.35 & =(sum(n11,n4),n15) % 0.13/0.35 & =(sum(n11,n5),n16) % 0.13/0.35 & =(sum(n11,n6),n17) % 0.13/0.35 & =(sum(n11,n7),n18) % 0.13/0.35 & =(sum(n11,n8),n19) % 0.13/0.35 & =(sum(n11,n9),n20) % 0.13/0.35 & =(sum(n11,n10),n21) % 0.13/0.35 & =(sum(n11,n11),n22) % 0.13/0.35 & =(sum(n11,n12),n23) % 0.13/0.35 & =(sum(n11,n13),n24) % 0.13/0.35 & =(sum(n11,n14),n25) % 0.13/0.35 & =(sum(n11,n15),n26) % 0.13/0.35 & =(sum(n11,n16),n27) % 0.13/0.35 & =(sum(n11,n17),n28) % 0.13/0.35 & =(sum(n11,n18),n29) % 0.13/0.35 & =(sum(n11,n19),n30) % 0.13/0.35 & =(sum(n11,n20),n0) % 0.13/0.35 & =(sum(n11,n21),n1) % 0.13/0.35 & =(sum(n11,n22),n2) % 0.13/0.35 & =(sum(n11,n23),n3) % 0.13/0.35 & =(sum(n11,n24),n4) % 0.13/0.35 & =(sum(n11,n25),n5) % 0.13/0.35 & =(sum(n11,n26),n6) % 0.13/0.35 & =(sum(n11,n27),n7) % 0.13/0.35 & =(sum(n11,n28),n8) % 0.13/0.35 & =(sum(n11,n29),n9) % 0.13/0.35 & =(sum(n11,n30),n10) % 0.13/0.35 & =(sum(n12,n0),n12) % 0.13/0.35 & =(sum(n12,n1),n13) % 0.13/0.35 & =(sum(n12,n2),n14) % 0.13/0.35 & =(sum(n12,n3),n15) % 0.13/0.35 & =(sum(n12,n4),n16) % 0.13/0.35 & =(sum(n12,n5),n17) % 0.13/0.35 & =(sum(n12,n6),n18) % 0.13/0.35 & =(sum(n12,n7),n19) % 0.13/0.35 & =(sum(n12,n8),n20) % 0.13/0.35 & =(sum(n12,n9),n21) % 0.13/0.35 & =(sum(n12,n10),n22) % 0.13/0.35 & =(sum(n12,n11),n23) % 0.13/0.35 & =(sum(n12,n12),n24) % 0.13/0.35 & =(sum(n12,n13),n25) % 0.13/0.35 & =(sum(n12,n14),n26) % 0.13/0.35 & =(sum(n12,n15),n27) % 0.13/0.35 & =(sum(n12,n16),n28) % 0.13/0.35 & =(sum(n12,n17),n29) % 0.13/0.35 & =(sum(n12,n18),n30) % 0.13/0.35 & =(sum(n12,n19),n0) % 0.13/0.35 & =(sum(n12,n20),n1) % 0.13/0.35 & =(sum(n12,n21),n2) % 0.13/0.35 & =(sum(n12,n22),n3) % 0.13/0.35 & =(sum(n12,n23),n4) % 0.13/0.35 & =(sum(n12,n24),n5) % 0.13/0.35 & =(sum(n12,n25),n6) % 0.13/0.35 & =(sum(n12,n26),n7) % 0.13/0.35 & =(sum(n12,n27),n8) % 0.13/0.35 & =(sum(n12,n28),n9) % 0.13/0.35 & =(sum(n12,n29),n10) % 0.13/0.35 & =(sum(n12,n30),n11) % 0.13/0.35 & =(sum(n13,n0),n13) % 0.13/0.35 & =(sum(n13,n1),n14) % 0.13/0.35 & =(sum(n13,n2),n15) % 0.13/0.35 & =(sum(n13,n3),n16) % 0.13/0.35 & =(sum(n13,n4),n17) % 0.13/0.35 & =(sum(n13,n5),n18) % 0.13/0.35 & =(sum(n13,n6),n19) % 0.13/0.35 & =(sum(n13,n7),n20) % 0.13/0.35 & =(sum(n13,n8),n21) % 0.13/0.35 & =(sum(n13,n9),n22) % 0.13/0.35 & =(sum(n13,n10),n23) % 0.13/0.35 & =(sum(n13,n11),n24) % 0.13/0.35 & =(sum(n13,n12),n25) % 0.13/0.35 & =(sum(n13,n13),n26) % 0.13/0.35 & =(sum(n13,n14),n27) % 0.13/0.35 & =(sum(n13,n15),n28) % 0.13/0.35 & =(sum(n13,n16),n29) % 0.13/0.35 & =(sum(n13,n17),n30) % 0.13/0.35 & =(sum(n13,n18),n0) % 0.13/0.35 & =(sum(n13,n19),n1) % 0.13/0.35 & =(sum(n13,n20),n2) % 0.13/0.35 & =(sum(n13,n21),n3) % 0.13/0.35 & =(sum(n13,n22),n4) % 0.13/0.35 & =(sum(n13,n23),n5) % 0.13/0.35 & =(sum(n13,n24),n6) % 0.13/0.35 & =(sum(n13,n25),n7) % 0.13/0.35 & =(sum(n13,n26),n8) % 0.13/0.35 & =(sum(n13,n27),n9) % 0.13/0.35 & =(sum(n13,n28),n10) % 0.13/0.35 & =(sum(n13,n29),n11) % 0.13/0.35 & =(sum(n13,n30),n12) % 0.13/0.35 & =(sum(n14,n0),n14) % 0.13/0.35 & =(sum(n14,n1),n15) % 0.13/0.35 & =(sum(n14,n2),n16) % 0.13/0.35 & =(sum(n14,n3),n17) % 0.13/0.35 & =(sum(n14,n4),n18) ***HERE*** % 0.13/0.35 & =(sum(n14,n5),n19) % 0.13/0.35 & =(sum(n14,n6),n20) % 0.13/0.35 & =(sum(n14,n7),n21) % 0.13/0.35 & =(sum(n14,n8),n22) % 0.13/0.35 & =(sum(n14,n9),n23) % 0.13/0.35 & =(sum(n14,n10),n24) % 0.13/0.35 & =(sum(n14,n11),n25) % 0.13/0.35 & =(sum(n14,n12),n26) % 0.13/0.35 & =(sum(n14,n13),n27) % 0.13/0.35 & =(sum(n14,n14),n28) % 0.13/0.35 & =(sum(n14,n15),n29) % 0.13/0.35 & =(sum(n14,n16),n30) % 0.13/0.35 & =(sum(n14,n17),n0) % 0.13/0.35 & =(sum(n14,n18),n1) % 0.13/0.35 & =(sum(n14,n19),n2) % 0.13/0.35 & =(sum(n14,n20),n3) % 0.13/0.35 & =(sum(n14,n21),n4) % 0.13/0.35 & =(sum(n14,n22),n5) % 0.13/0.35 & =(sum(n14,n23),n6) % 0.13/0.35 & =(sum(n14,n24),n7) % 0.13/0.35 & =(sum(n14,n25),n8) % 0.13/0.35 & =(sum(n14,n26),n9) % 0.13/0.35 & =(sum(n14,n27),n10) % 0.13/0.35 & =(sum(n14,n28),n11) % 0.13/0.35 & =(sum(n14,n29),n12) % 0.13/0.35 & =(sum(n14,n30),n13) % 0.13/0.35 & =(sum(n15,n0),n15) % 0.13/0.35 & =(sum(n15,n1),n16) % 0.13/0.35 & =(sum(n15,n2),n17) % 0.13/0.35 & =(sum(n15,n3),n18) % 0.13/0.35 & =(sum(n15,n4),n19) % 0.13/0.35 & =(sum(n15,n5),n20) % 0.13/0.35 & =(sum(n15,n6),n21) % 0.13/0.35 & =(sum(n15,n7),n22) % 0.13/0.35 & =(sum(n15,n8),n23) % 0.13/0.35 & =(sum(n15,n9),n24) % 0.13/0.35 & =(sum(n15,n10),n25) % 0.13/0.35 & =(sum(n15,n11),n26) % 0.13/0.35 & =(sum(n15,n12),n27) % 0.13/0.35 & =(sum(n15,n13),n28) % 0.13/0.35 & =(sum(n15,n14),n29) % 0.13/0.35 & =(sum(n15,n15),n30) % 0.13/0.35 & =(sum(n15,n16),n0) % 0.13/0.35 & =(sum(n15,n17),n1) % 0.13/0.35 & =(sum(n15,n18),n2) % 0.13/0.35 & =(sum(n15,n19),n3) % 0.13/0.35 & =(sum(n15,n20),n4) % 0.13/0.35 & =(sum(n15,n21),n5) % 0.13/0.35 & =(sum(n15,n22),n6) % 0.13/0.35 & =(sum(n15,n23),n7) % 0.13/0.35 & =(sum(n15,n24),n8) % 0.13/0.35 & =(sum(n15,n25),n9) % 0.13/0.35 & =(sum(n15,n26),n10) % 0.13/0.35 & =(sum(n15,n27),n11) % 0.13/0.35 & =(sum(n15,n28),n12) % 0.13/0.35 & =(sum(n15,n29),n13) % 0.13/0.35 & =(sum(n15,n30),n14) % 0.13/0.35 & =(sum(n16,n0),n16) % 0.13/0.35 & =(sum(n16,n1),n17) % 0.13/0.35 & =(sum(n16,n2),n18) % 0.13/0.35 & =(sum(n16,n3),n19) % 0.13/0.35 & =(sum(n16,n4),n20) % 0.13/0.35 & =(sum(n16,n5),n21) % 0.13/0.35 & =(sum(n16,n6),n22) % 0.13/0.35 & =(sum(n16,n7),n23) % 0.13/0.35 & =(sum(n16,n8),n24) % 0.13/0.35 & =(sum(n16,n9),n25) % 0.13/0.35 & =(sum(n16,n10),n26) % 0.13/0.35 & =(sum(n16,n11),n27) % 0.13/0.35 & =(sum(n16,n12),n28) % 0.13/0.35 & =(sum(n16,n13),n29) % 0.13/0.35 & =(sum(n16,n14),n30) % 0.13/0.35 & =(sum(n16,n15),n0) % 0.13/0.35 & =(sum(n16,n16),n1) % 0.13/0.35 & =(sum(n16,n17),n2) % 0.13/0.35 & =(sum(n16,n18),n3) % 0.13/0.35 & =(sum(n16,n19),n4) % 0.13/0.35 & =(sum(n16,n20),n5) % 0.13/0.35 & =(sum(n16,n21),n6) % 0.13/0.35 & =(sum(n16,n22),n7) % 0.13/0.35 & =(sum(n16,n23),n8) % 0.13/0.35 & =(sum(n16,n24),n9) % 0.13/0.35 & =(sum(n16,n25),n10) % 0.13/0.35 & =(sum(n16,n26),n11) % 0.13/0.35 & =(sum(n16,n27),n12) % 0.13/0.35 & =(sum(n16,n28),n13) % 0.13/0.35 & =(sum(n16,n29),n14) % 0.13/0.35 & =(sum(n16,n30),n15) % 0.13/0.35 & =(sum(n17,n0),n17) % 0.13/0.35 & =(sum(n17,n1),n18) % 0.13/0.35 & =(sum(n17,n2),n19) % 0.13/0.35 & =(sum(n17,n3),n20) % 0.13/0.35 & =(sum(n17,n4),n21) % 0.13/0.35 & =(sum(n17,n5),n22) % 0.13/0.35 & =(sum(n17,n6),n23) % 0.13/0.35 & =(sum(n17,n7),n24) % 0.13/0.35 & =(sum(n17,n8),n25) % 0.13/0.35 & =(sum(n17,n9),n26) % 0.13/0.35 & =(sum(n17,n10),n27) % 0.13/0.35 & =(sum(n17,n11),n28) % 0.13/0.35 & =(sum(n17,n12),n29) % 0.13/0.35 & =(sum(n17,n13),n30) % 0.13/0.35 & =(sum(n17,n14),n0) % 0.13/0.35 & =(sum(n17,n15),n1) % 0.13/0.35 & =(sum(n17,n16),n2) % 0.13/0.35 & =(sum(n17,n17),n3) % 0.13/0.35 & =(sum(n17,n18),n4) % 0.13/0.35 & =(sum(n17,n19),n5) % 0.13/0.35 & =(sum(n17,n20),n6) % 0.13/0.35 & =(sum(n17,n21),n7) % 0.13/0.35 & =(sum(n17,n22),n8) % 0.13/0.36 & =(sum(n17,n23),n9) % 0.13/0.36 & =(sum(n17,n24),n10) % 0.13/0.36 & =(sum(n17,n25),n11) % 0.13/0.36 & =(sum(n17,n26),n12) % 0.13/0.36 & =(sum(n17,n27),n13) % 0.13/0.36 & =(sum(n17,n28),n14) % 0.13/0.36 & =(sum(n17,n29),n15) % 0.13/0.36 & =(sum(n17,n30),n16) % 0.13/0.36 & =(sum(n18,n0),n18) % 0.13/0.36 & =(sum(n18,n1),n19) % 0.13/0.36 & =(sum(n18,n2),n20) % 0.13/0.36 & =(sum(n18,n3),n21) % 0.13/0.36 & =(sum(n18,n4),n22) % 0.13/0.36 & =(sum(n18,n5),n23) % 0.13/0.36 & =(sum(n18,n6),n24) % 0.13/0.36 & =(sum(n18,n7),n25) % 0.13/0.36 & =(sum(n18,n8),n26) % 0.13/0.36 & =(sum(n18,n9),n27) % 0.13/0.36 & =(sum(n18,n10),n28) % 0.13/0.36 & =(sum(n18,n11),n29) % 0.13/0.36 & =(sum(n18,n12),n30) % 0.13/0.36 & =(sum(n18,n13),n0) % 0.13/0.36 & =(sum(n18,n14),n1) % 0.13/0.36 & =(sum(n18,n15),n2) % 0.13/0.36 & =(sum(n18,n16),n3) % 0.13/0.36 & =(sum(n18,n17),n4) % 0.13/0.36 & =(sum(n18,n18),n5) % 0.13/0.36 & =(sum(n18,n19),n6) % 0.13/0.36 & =(sum(n18,n20),n7) % 0.13/0.36 & =(sum(n18,n21),n8) % 0.13/0.36 & =(sum(n18,n22),n9) % 0.13/0.36 & =(sum(n18,n23),n10) % 0.13/0.36 & =(sum(n18,n24),n11) % 0.13/0.36 & =(sum(n18,n25),n12) % 0.13/0.36 & =(sum(n18,n26),n13) % 0.13/0.36 & =(sum(n18,n27),n14) % 0.13/0.36 & =(sum(n18,n28),n15) % 0.13/0.36 & =(sum(n18,n29),n16) % 0.13/0.36 & =(sum(n18,n30),n17) % 0.13/0.36 & =(sum(n19,n0),n19) % 0.13/0.36 & =(sum(n19,n1),n20) % 0.13/0.36 & =(sum(n19,n2),n21) % 0.13/0.36 & =(sum(n19,n3),n22) % 0.13/0.36 & =(sum(n19,n4),n23) % 0.13/0.36 & =(sum(n19,n5),n24) % 0.13/0.36 & =(sum(n19,n6),n25) % 0.13/0.36 & =(sum(n19,n7),n26) % 0.13/0.36 & =(sum(n19,n8),n27) % 0.13/0.36 & =(sum(n19,n9),n28) % 0.13/0.36 & =(sum(n19,n10),n29) % 0.13/0.36 & =(sum(n19,n11),n30) % 0.13/0.36 & =(sum(n19,n12),n0) % 0.13/0.36 & =(sum(n19,n13),n1) % 0.13/0.36 & =(sum(n19,n14),n2) % 0.13/0.36 & =(sum(n19,n15),n3) % 0.13/0.36 & =(sum(n19,n16),n4) % 0.13/0.36 & =(sum(n19,n17),n5) % 0.13/0.36 & =(sum(n19,n18),n6) % 0.13/0.36 & =(sum(n19,n19),n7) % 0.13/0.36 & =(sum(n19,n20),n8) % 0.13/0.36 & =(sum(n19,n21),n9) % 0.13/0.36 & =(sum(n19,n22),n10) % 0.13/0.36 & =(sum(n19,n23),n11) % 0.13/0.36 & =(sum(n19,n24),n12) % 0.13/0.36 & =(sum(n19,n25),n13) % 0.13/0.36 & =(sum(n19,n26),n14) % 0.13/0.36 & =(sum(n19,n27),n15) % 0.13/0.36 & =(sum(n19,n28),n16) % 0.13/0.36 & =(sum(n19,n29),n17) % 0.13/0.36 & =(sum(n19,n30),n18) % 0.13/0.36 & =(sum(n20,n0),n20) % 0.13/0.36 & =(sum(n20,n1),n21) % 0.13/0.36 & =(sum(n20,n2),n22) % 0.13/0.36 & =(sum(n20,n3),n23) % 0.13/0.36 & =(sum(n20,n4),n24) % 0.13/0.36 & =(sum(n20,n5),n25) % 0.13/0.36 & =(sum(n20,n6),n26) % 0.13/0.36 & =(sum(n20,n7),n27) % 0.13/0.36 & =(sum(n20,n8),n28) % 0.13/0.36 & =(sum(n20,n9),n29) % 0.13/0.36 & =(sum(n20,n10),n30) % 0.13/0.36 & =(sum(n20,n11),n0) % 0.13/0.36 & =(sum(n20,n12),n1) % 0.13/0.36 & =(sum(n20,n13),n2) % 0.13/0.36 & =(sum(n20,n14),n3) % 0.13/0.36 & =(sum(n20,n15),n4) % 0.13/0.36 & =(sum(n20,n16),n5) % 0.13/0.36 & =(sum(n20,n17),n6) % 0.13/0.36 & =(sum(n20,n18),n7) % 0.13/0.36 & =(sum(n20,n19),n8) % 0.13/0.36 & =(sum(n20,n20),n9) % 0.13/0.36 & =(sum(n20,n21),n10) % 0.13/0.36 & =(sum(n20,n22),n11) % 0.13/0.36 & =(sum(n20,n23),n12) % 0.13/0.36 & =(sum(n20,n24),n13) % 0.13/0.36 & =(sum(n20,n25),n14) % 0.13/0.36 & =(sum(n20,n26),n15) % 0.13/0.36 & =(sum(n20,n27),n16) % 0.13/0.36 & =(sum(n20,n28),n17) % 0.13/0.36 & =(sum(n20,n29),n18) % 0.13/0.36 & =(sum(n20,n30),n19) % 0.13/0.36 & =(sum(n21,n0),n21) % 0.13/0.36 & =(sum(n21,n1),n22) % 0.13/0.36 & =(sum(n21,n2),n23) % 0.13/0.36 & =(sum(n21,n3),n24) % 0.13/0.36 & =(sum(n21,n4),n25) % 0.13/0.36 & =(sum(n21,n5),n26) % 0.13/0.36 & =(sum(n21,n6),n27) % 0.13/0.36 & =(sum(n21,n7),n28) % 0.13/0.36 & =(sum(n21,n8),n29) % 0.13/0.36 & =(sum(n21,n9),n30) % 0.13/0.36 & =(sum(n21,n10),n0) % 0.13/0.36 & =(sum(n21,n11),n1) % 0.13/0.36 & =(sum(n21,n12),n2) % 0.13/0.36 & =(sum(n21,n13),n3) % 0.13/0.36 & =(sum(n21,n14),n4) % 0.13/0.36 & =(sum(n21,n15),n5) % 0.13/0.36 & =(sum(n21,n16),n6) % 0.13/0.36 & =(sum(n21,n17),n7) % 0.13/0.36 & =(sum(n21,n18),n8) % 0.13/0.36 & =(sum(n21,n19),n9) % 0.13/0.36 & =(sum(n21,n20),n10) % 0.13/0.36 & =(sum(n21,n21),n11) % 0.13/0.36 & =(sum(n21,n22),n12) % 0.13/0.36 & =(sum(n21,n23),n13) % 0.13/0.36 & =(sum(n21,n24),n14) % 0.13/0.36 & =(sum(n21,n25),n15) % 0.13/0.36 & =(sum(n21,n26),n16) % 0.13/0.36 & =(sum(n21,n27),n17) % 0.13/0.36 & =(sum(n21,n28),n18) % 0.13/0.36 & =(sum(n21,n29),n19) % 0.13/0.36 & =(sum(n21,n30),n20) % 0.13/0.36 & =(sum(n22,n0),n22) % 0.13/0.36 & =(sum(n22,n1),n23) % 0.13/0.36 & =(sum(n22,n2),n24) % 0.13/0.36 & =(sum(n22,n3),n25) % 0.13/0.36 & =(sum(n22,n4),n26) % 0.13/0.36 & =(sum(n22,n5),n27) % 0.13/0.36 & =(sum(n22,n6),n28) % 0.13/0.36 & =(sum(n22,n7),n29) % 0.13/0.36 & =(sum(n22,n8),n30) % 0.13/0.36 & =(sum(n22,n9),n0) % 0.13/0.36 & =(sum(n22,n10),n1) % 0.13/0.36 & =(sum(n22,n11),n2) % 0.13/0.36 & =(sum(n22,n12),n3) % 0.13/0.36 & =(sum(n22,n13),n4) % 0.13/0.36 & =(sum(n22,n14),n5) % 0.13/0.36 & =(sum(n22,n15),n6) % 0.13/0.36 & =(sum(n22,n16),n7) % 0.13/0.36 & =(sum(n22,n17),n8) % 0.13/0.36 & =(sum(n22,n18),n9) % 0.13/0.36 & =(sum(n22,n19),n10) % 0.13/0.36 & =(sum(n22,n20),n11) % 0.13/0.36 & =(sum(n22,n21),n12) % 0.13/0.36 & =(sum(n22,n22),n13) % 0.13/0.36 & =(sum(n22,n23),n14) % 0.13/0.36 & =(sum(n22,n24),n15) % 0.13/0.36 & =(sum(n22,n25),n16) % 0.13/0.36 & =(sum(n22,n26),n17) % 0.13/0.36 & =(sum(n22,n27),n18) % 0.13/0.36 & =(sum(n22,n28),n19) % 0.13/0.36 & =(sum(n22,n29),n20) % 0.13/0.36 & =(sum(n22,n30),n21) % 0.13/0.36 & =(sum(n23,n0),n23) % 0.13/0.36 & =(sum(n23,n1),n24) % 0.13/0.36 & =(sum(n23,n2),n25) % 0.13/0.36 & =(sum(n23,n3),n26) % 0.13/0.36 & =(sum(n23,n4),n27) % 0.13/0.36 & =(sum(n23,n5),n28) % 0.13/0.36 & =(sum(n23,n6),n29) % 0.13/0.36 & =(sum(n23,n7),n30) % 0.13/0.36 & =(sum(n23,n8),n0) % 0.13/0.36 & =(sum(n23,n9),n1) % 0.13/0.36 & =(sum(n23,n10),n2) % 0.13/0.36 & =(sum(n23,n11),n3) % 0.13/0.36 & =(sum(n23,n12),n4) % 0.13/0.36 & =(sum(n23,n13),n5) % 0.13/0.36 & =(sum(n23,n14),n6) % 0.13/0.36 & =(sum(n23,n15),n7) % 0.13/0.36 & =(sum(n23,n16),n8) % 0.13/0.36 & =(sum(n23,n17),n9) % 0.13/0.36 & =(sum(n23,n18),n10) % 0.13/0.36 & =(sum(n23,n19),n11) % 0.13/0.36 & =(sum(n23,n20),n12) % 0.13/0.36 & =(sum(n23,n21),n13) % 0.13/0.36 & =(sum(n23,n22),n14) % 0.13/0.36 & =(sum(n23,n23),n15) % 0.13/0.36 & =(sum(n23,n24),n16) % 0.13/0.36 & =(sum(n23,n25),n17) % 0.13/0.36 & =(sum(n23,n26),n18) % 0.13/0.36 & =(sum(n23,n27),n19) % 0.13/0.36 & =(sum(n23,n28),n20) % 0.13/0.36 & =(sum(n23,n29),n21) % 0.13/0.36 & =(sum(n23,n30),n22) % 0.13/0.36 & =(sum(n24,n0),n24) % 0.13/0.36 & =(sum(n24,n1),n25) % 0.13/0.36 & =(sum(n24,n2),n26) % 0.13/0.36 & =(sum(n24,n3),n27) % 0.13/0.36 & =(sum(n24,n4),n28) % 0.13/0.36 & =(sum(n24,n5),n29) % 0.13/0.36 & =(sum(n24,n6),n30) % 0.13/0.36 & =(sum(n24,n7),n0) % 0.13/0.36 & =(sum(n24,n8),n1) % 0.13/0.36 & =(sum(n24,n9),n2) % 0.13/0.36 & =(sum(n24,n10),n3) % 0.13/0.36 & =(sum(n24,n11),n4) % 0.13/0.36 & =(sum(n24,n12),n5) % 0.13/0.36 & =(sum(n24,n13),n6) % 0.13/0.36 & =(sum(n24,n14),n7) % 0.13/0.36 & =(sum(n24,n15),n8) % 0.13/0.36 & =(sum(n24,n16),n9) % 0.13/0.36 & =(sum(n24,n17),n10) % 0.13/0.36 & =(sum(n24,n18),n11) % 0.13/0.36 & =(sum(n24,n19),n12) % 0.13/0.36 & =(sum(n24,n20),n13) % 0.13/0.36 & =(sum(n24,n21),n14) % 0.13/0.36 & =(sum(n24,n22),n15) % 0.13/0.36 & =(sum(n24,n23),n16) % 0.13/0.36 & =(sum(n24,n24),n17) % 0.13/0.36 & =(sum(n24,n25),n18) % 0.13/0.36 & =(sum(n24,n26),n19) % 0.13/0.36 & =(sum(n24,n27),n20) % 0.13/0.36 & =(sum(n24,n28),n21) % 0.13/0.36 & =(sum(n24,n29),n22) % 0.13/0.36 & =(sum(n24,n30),n23) % 0.13/0.36 & =(sum(n25,n0),n25) % 0.13/0.36 & =(sum(n25,n1),n26) % 0.13/0.36 & =(sum(n25,n2),n27) % 0.13/0.36 & =(sum(n25,n3),n28) % 0.13/0.36 & =(sum(n25,n4),n29) % 0.13/0.36 & =(sum(n25,n5),n30) % 0.13/0.36 & =(sum(n25,n6),n0) % 0.13/0.36 & =(sum(n25,n7),n1) % 0.13/0.36 & =(sum(n25,n8),n2) % 0.13/0.36 & =(sum(n25,n9),n3) % 0.13/0.36 & =(sum(n25,n10),n4) % 0.13/0.36 & =(sum(n25,n11),n5) % 0.13/0.36 & =(sum(n25,n12),n6) % 0.13/0.36 & =(sum(n25,n13),n7) % 0.13/0.36 & =(sum(n25,n14),n8) % 0.13/0.36 & =(sum(n25,n15),n9) % 0.13/0.36 & =(sum(n25,n16),n10) % 0.13/0.36 & =(sum(n25,n17),n11) % 0.13/0.36 & =(sum(n25,n18),n12) % 0.13/0.36 & =(sum(n25,n19),n13) % 0.13/0.36 & =(sum(n25,n20),n14) % 0.13/0.36 & =(sum(n25,n21),n15) % 0.13/0.36 & =(sum(n25,n22),n16) % 0.13/0.36 & =(sum(n25,n23),n17) % 0.13/0.36 & =(sum(n25,n24),n18) % 0.13/0.36 & =(sum(n25,n25),n19) % 0.13/0.36 & =(sum(n25,n26),n20) % 0.13/0.36 & =(sum(n25,n27),n21) % 0.13/0.36 & =(sum(n25,n28),n22) % 0.13/0.36 & =(sum(n25,n29),n23) % 0.13/0.36 & =(sum(n25,n30),n24) % 0.13/0.36 & =(sum(n26,n0),n26) % 0.13/0.36 & =(sum(n26,n1),n27) % 0.13/0.36 & =(sum(n26,n2),n28) % 0.13/0.36 & =(sum(n26,n3),n29) % 0.13/0.36 & =(sum(n26,n4),n30) % 0.13/0.36 & =(sum(n26,n5),n0) % 0.13/0.36 & =(sum(n26,n6),n1) % 0.13/0.36 & =(sum(n26,n7),n2) % 0.13/0.36 & =(sum(n26,n8),n3) % 0.13/0.36 & =(sum(n26,n9),n4) % 0.13/0.36 & =(sum(n26,n10),n5) % 0.13/0.36 & =(sum(n26,n11),n6) % 0.13/0.36 & =(sum(n26,n12),n7) % 0.13/0.36 & =(sum(n26,n13),n8) % 0.13/0.36 & =(sum(n26,n14),n9) % 0.13/0.36 & =(sum(n26,n15),n10) % 0.13/0.36 & =(sum(n26,n16),n11) % 0.13/0.36 & =(sum(n26,n17),n12) % 0.13/0.36 & =(sum(n26,n18),n13) % 0.13/0.36 & =(sum(n26,n19),n14) % 0.13/0.36 & =(sum(n26,n20),n15) % 0.13/0.36 & =(sum(n26,n21),n16) % 0.13/0.36 & =(sum(n26,n22),n17) % 0.13/0.36 & =(sum(n26,n23),n18) % 0.13/0.36 & =(sum(n26,n24),n19) % 0.13/0.36 & =(sum(n26,n25),n20) % 0.13/0.36 & =(sum(n26,n26),n21) % 0.13/0.36 & =(sum(n26,n27),n22) % 0.13/0.36 & =(sum(n26,n28),n23) % 0.13/0.36 & =(sum(n26,n29),n24) % 0.13/0.36 & =(sum(n26,n30),n25) % 0.13/0.36 & =(sum(n27,n0),n27) % 0.13/0.36 & =(sum(n27,n1),n28) % 0.13/0.36 & =(sum(n27,n2),n29) % 0.13/0.36 & =(sum(n27,n3),n30) % 0.13/0.36 & =(sum(n27,n4),n0) % 0.13/0.36 & =(sum(n27,n5),n1) % 0.13/0.36 & =(sum(n27,n6),n2) % 0.13/0.36 & =(sum(n27,n7),n3) % 0.13/0.36 & =(sum(n27,n8),n4) % 0.13/0.36 & =(sum(n27,n9),n5) % 0.13/0.36 & =(sum(n27,n10),n6) % 0.13/0.36 & =(sum(n27,n11),n7) % 0.13/0.36 & =(sum(n27,n12),n8) % 0.13/0.36 & =(sum(n27,n13),n9) % 0.13/0.36 & =(sum(n27,n14),n10) % 0.13/0.36 & =(sum(n27,n15),n11) % 0.13/0.36 & =(sum(n27,n16),n12) % 0.13/0.36 & =(sum(n27,n17),n13) % 0.13/0.36 & =(sum(n27,n18),n14) % 0.13/0.36 & =(sum(n27,n19),n15) % 0.13/0.36 & =(sum(n27,n20),n16) % 0.13/0.36 & =(sum(n27,n21),n17) % 0.13/0.36 & =(sum(n27,n22),n18) % 0.13/0.36 & =(sum(n27,n23),n19) % 0.13/0.36 & =(sum(n27,n24),n20) % 0.13/0.36 & =(sum(n27,n25),n21) % 0.13/0.36 & =(sum(n27,n26),n22) % 0.13/0.36 & =(sum(n27,n27),n23) % 0.13/0.36 & =(sum(n27,n28),n24) % 0.13/0.36 & =(sum(n27,n29),n25) % 0.13/0.36 & =(sum(n27,n30),n26) % 0.13/0.36 & =(sum(n28,n0),n28) % 0.13/0.36 & =(sum(n28,n1),n29) % 0.13/0.36 & =(sum(n28,n2),n30) % 0.13/0.36 & =(sum(n28,n3),n0) % 0.13/0.36 & =(sum(n28,n4),n1) % 0.13/0.36 & =(sum(n28,n5),n2) % 0.13/0.36 & =(sum(n28,n6),n3) % 0.13/0.36 & =(sum(n28,n7),n4) % 0.13/0.36 & =(sum(n28,n8),n5) % 0.13/0.36 & =(sum(n28,n9),n6) % 0.13/0.36 & =(sum(n28,n10),n7) % 0.13/0.36 & =(sum(n28,n11),n8) % 0.13/0.36 & =(sum(n28,n12),n9) % 0.13/0.36 & =(sum(n28,n13),n10) % 0.13/0.36 & =(sum(n28,n14),n11) % 0.13/0.36 & =(sum(n28,n15),n12) % 0.13/0.36 & =(sum(n28,n16),n13) % 0.13/0.36 & =(sum(n28,n17),n14) % 0.13/0.36 & =(sum(n28,n18),n15) % 0.13/0.36 & =(sum(n28,n19),n16) % 0.13/0.36 & =(sum(n28,n20),n17) % 0.13/0.36 & =(sum(n28,n21),n18) % 0.13/0.36 & =(sum(n28,n22),n19) % 0.13/0.36 & =(sum(n28,n23),n20) % 0.13/0.36 & =(sum(n28,n24),n21) % 0.13/0.36 & =(sum(n28,n25),n22) % 0.13/0.36 & =(sum(n28,n26),n23) % 0.13/0.36 & =(sum(n28,n27),n24) % 0.13/0.36 & =(sum(n28,n28),n25) % 0.13/0.36 & =(sum(n28,n29),n26) % 0.13/0.36 & =(sum(n28,n30),n27) % 0.13/0.36 & =(sum(n29,n0),n29) % 0.13/0.36 & =(sum(n29,n1),n30) % 0.13/0.36 & =(sum(n29,n2),n0) % 0.13/0.36 & =(sum(n29,n3),n1) % 0.13/0.36 & =(sum(n29,n4),n2) % 0.13/0.36 & =(sum(n29,n5),n3) % 0.13/0.36 & =(sum(n29,n6),n4) % 0.13/0.36 & =(sum(n29,n7),n5) % 0.13/0.36 & =(sum(n29,n8),n6) % 0.13/0.36 & =(sum(n29,n9),n7) % 0.13/0.36 & =(sum(n29,n10),n8) % 0.13/0.36 & =(sum(n29,n11),n9) % 0.13/0.36 & =(sum(n29,n12),n10) % 0.13/0.36 & =(sum(n29,n13),n11) % 0.13/0.36 & =(sum(n29,n14),n12) % 0.13/0.36 & =(sum(n29,n15),n13) % 0.13/0.36 & =(sum(n29,n16),n14) % 0.13/0.36 & =(sum(n29,n17),n15) % 0.13/0.36 & =(sum(n29,n18),n16) % 0.13/0.36 & =(sum(n29,n19),n17) % 0.13/0.36 & =(sum(n29,n20),n18) % 0.13/0.36 & =(sum(n29,n21),n19) % 0.13/0.36 & =(sum(n29,n22),n20) % 0.13/0.36 & =(sum(n29,n23),n21) % 0.13/0.36 & =(sum(n29,n24),n22) % 0.13/0.36 & =(sum(n29,n25),n23) % 0.13/0.36 & =(sum(n29,n26),n24) % 0.13/0.36 & =(sum(n29,n27),n25) % 0.13/0.36 & =(sum(n29,n28),n26) % 0.13/0.36 & =(sum(n29,n29),n27) % 0.13/0.36 & =(sum(n29,n30),n28) % 0.13/0.36 & =(sum(n30,n0),n30) % 0.13/0.36 & =(sum(n30,n1),n0) % 0.13/0.36 & =(sum(n30,n2),n1) % 0.13/0.36 & =(sum(n30,n3),n2) % 0.13/0.36 & =(sum(n30,n4),n3) % 0.13/0.36 & =(sum(n30,n5),n4) % 0.13/0.36 & =(sum(n30,n6),n5) % 0.13/0.36 & =(sum(n30,n7),n6) % 0.13/0.36 & =(sum(n30,n8),n7) % 0.13/0.36 & =(sum(n30,n9),n8) % 0.13/0.36 & =(sum(n30,n10),n9) % 0.13/0.36 & =(sum(n30,n11),n10) % 0.13/0.36 & =(sum(n30,n12),n11) % 0.13/0.36 & =(sum(n30,n13),n12) % 0.13/0.36 & =(sum(n30,n14),n13) % 0.13/0.36 & =(sum(n30,n15),n14) % 0.13/0.36 & =(sum(n30,n16),n15) % 0.13/0.36 & =(sum(n30,n17),n16) % 0.13/0.36 & =(sum(n30,n18),n17) % 0.13/0.36 & =(sum(n30,n19),n18) % 0.13/0.36 & =(sum(n30,n20),n19) % 0.13/0.36 & =(sum(n30,n21),n20) % 0.13/0.36 & =(sum(n30,n22),n21) % 0.13/0.36 & =(sum(n30,n23),n22) % 0.13/0.36 & =(sum(n30,n24),n23) % 0.13/0.36 & =(sum(n30,n25),n24) % 0.13/0.36 & =(sum(n30,n26),n25) % 0.13/0.36 & =(sum(n30,n27),n26) % 0.13/0.36 & =(sum(n30,n28),n27) % 0.13/0.36 & =(sum(n30,n29),n28) % 0.13/0.36 & =(sum(n30,n30),n29) % 0.13/0.36 & ( =(X,n0) % 0.13/0.36 | =(X,n1) % 0.13/0.36 | =(X,n2) % 0.13/0.36 | =(X,n3) % 0.13/0.36 | =(X,n4) % 0.13/0.36 | =(X,n5) % 0.13/0.36 | =(X,n6) % 0.13/0.36 | =(X,n7) % 0.13/0.36 | =(X,n8) % 0.13/0.36 | =(X,n9) % 0.13/0.36 | =(X,n10) % 0.13/0.36 | =(X,n11) % 0.13/0.36 | =(X,n12) % 0.13/0.36 | =(X,n13) % 0.13/0.36 | =(X,n14) % 0.13/0.36 | =(X,n15) % 0.13/0.36 | =(X,n16) % 0.13/0.36 | =(X,n17) % 0.13/0.36 | =(X,n18) % 0.13/0.36 | =(X,n19) % 0.13/0.36 | =(X,n20) % 0.13/0.36 | =(X,n21) % 0.13/0.36 | =(X,n22) % 0.13/0.36 | =(X,n23) % 0.13/0.36 | =(X,n24) % 0.13/0.36 | =(X,n25) % 0.13/0.36 | =(X,n26) % 0.13/0.36 | =(X,n27) % 0.13/0.36 | =(X,n28) % 0.13/0.36 | =(X,n29) % 0.13/0.36 | =(X,n30) ) % 0.13/0.36 & ( =(Y,n0) % 0.13/0.36 | =(Y,n1) % 0.13/0.36 | =(Y,n2) % 0.13/0.36 | =(Y,n3) % 0.13/0.36 | =(Y,n4) % 0.13/0.36 | =(Y,n5) % 0.13/0.36 | =(Y,n6) % 0.13/0.36 | =(Y,n7) % 0.13/0.36 | =(Y,n8) % 0.13/0.36 | =(Y,n9) % 0.13/0.36 | =(Y,n10) % 0.13/0.36 | =(Y,n11) % 0.13/0.36 | =(Y,n12) % 0.13/0.36 | =(Y,n13) % 0.13/0.36 | =(Y,n14) % 0.13/0.36 | =(Y,n15) % 0.13/0.36 | =(Y,n16) % 0.13/0.36 | =(Y,n17) % 0.13/0.36 | =(Y,n18) % 0.13/0.36 | =(Y,n19) % 0.13/0.36 | =(Y,n20) % 0.13/0.36 | =(Y,n21) % 0.13/0.36 | =(Y,n22) % 0.13/0.36 | =(Y,n23) % 0.13/0.36 | =(Y,n24) % 0.13/0.36 | =(Y,n25) % 0.13/0.36 | =(Y,n26) % 0.13/0.36 | =(Y,n27) % 0.13/0.36 | =(Y,n28) % 0.13/0.36 | =(Y,n29) % 0.13/0.36 | =(Y,n30) ) % 0.13/0.36 & =(Z,sum(pred(sum(X,succ(Y))),sum(Y,pred(sum(X,Y))))) % 0.13/0.36 & - ( =(Z,n0) ) % 0.13/0.36 & - ( =(Z,n1) ) % 0.13/0.36 & - ( =(Z,n2) ) % 0.13/0.36 & - ( =(Z,n3) ) % 0.13/0.36 & - ( =(Z,n4) ) % 0.13/0.36 & - ( =(Z,n5) ) % 0.13/0.36 & - ( =(Z,n6) ) % 0.13/0.36 & - ( =(Z,n7) ) % 0.13/0.36 & - ( =(Z,n8) ) % 0.13/0.36 & - ( =(Z,n9) ) % 0.13/0.36 & - ( =(Z,n10) ) % 0.13/0.36 & - ( =(Z,n11) ) % 0.13/0.36 & - ( =(Z,n12) ) % 0.13/0.36 & - ( =(Z,n13) ) % 0.13/0.36 & - ( =(Z,n14) ) % 0.13/0.36 & - ( =(Z,n15) ) % 0.13/0.36 & - ( =(Z,n16) ) % 0.13/0.36 & - ( =(Z,n17) ) % 0.13/0.36 & - ( =(Z,n18) ) % 0.13/0.36 & - ( =(Z,n19) ) % 0.13/0.36 & - ( =(Z,n20) ) % 0.13/0.36 & - ( =(Z,n21) ) % 0.13/0.36 & - ( =(Z,n22) ) % 0.13/0.36 & - ( =(Z,n23) ) % 0.13/0.36 & - ( =(Z,n24) ) % 0.13/0.36 & - ( =(Z,n25) ) % 0.13/0.36 & - ( =(Z,n26) ) % 0.13/0.36 & - ( =(Z,n27) ) % 0.13/0.36 & - ( =(Z,n28) ) % 0.13/0.36 & - ( =(Z,n29) ) % 0.13/0.36 & - ( =(Z,n30) ) % 0.13/0.36 & - ( =(n0,n1) ) % 0.13/0.36 & - ( =(n0,n2) ) % 0.13/0.36 & - ( =(n0,n3) ) % 0.13/0.36 & - ( =(n0,n4) ) % 0.13/0.36 & - ( =(n0,n5) ) % 0.13/0.36 & - ( =(n0,n6) ) % 0.13/0.36 & - ( =(n0,n7) ) % 0.13/0.36 & - ( =(n0,n8) ) % 0.13/0.36 & - ( =(n0,n9) ) % 0.13/0.36 & - ( =(n0,n10) ) % 0.13/0.36 & - ( =(n0,n11) ) % 0.13/0.36 & - ( =(n0,n12) ) % 0.13/0.36 & - ( =(n0,n13) ) % 0.13/0.36 & - ( =(n0,n14) ) % 0.13/0.36 & - ( =(n0,n15) ) % 0.13/0.36 & - ( =(n0,n16) ) % 0.13/0.36 & - ( =(n0,n17) ) % 0.13/0.36 & - ( =(n0,n18) ) % 0.13/0.36 & - ( =(n0,n19) ) % 0.13/0.36 & - ( =(n0,n20) ) % 0.13/0.36 & - ( =(n0,n21) ) % 0.13/0.36 & - ( =(n0,n22) ) % 0.13/0.36 & - ( =(n0,n23) ) % 0.13/0.36 & - ( =(n0,n24) ) % 0.13/0.36 & - ( =(n0,n25) ) % 0.13/0.36 & - ( =(n0,n26) ) % 0.13/0.36 & - ( =(n0,n27) ) % 0.13/0.36 & - ( =(n0,n28) ) % 0.13/0.36 & - ( =(n0,n29) ) % 0.13/0.36 & - ( =(n0,n30) ) % 0.13/0.36 & - ( =(n1,n2) ) % 0.13/0.36 & - ( =(n1,n3) ) % 0.13/0.36 & - ( =(n1,n4) ) % 0.13/0.36 & - ( =(n1,n5) ) % 0.13/0.36 & - ( =(n1,n6) ) % 0.13/0.36 & - ( =(n1,n7) ) % 0.13/0.36 & - ( =(n1,n8) ) % 0.13/0.36 & - ( =(n1,n9) ) % 0.13/0.36 & - ( =(n1,n10) ) % 0.13/0.36 & - ( =(n1,n11) ) % 0.13/0.36 & - ( =(n1,n12) ) % 0.13/0.36 & - ( =(n1,n13) ) % 0.13/0.36 & - ( =(n1,n14) ) % 0.13/0.36 & - ( =(n1,n15) ) % 0.13/0.36 & - ( =(n1,n16) ) % 0.13/0.36 & - ( =(n1,n17) ) % 0.13/0.36 & - ( =(n1,n18) ) % 0.13/0.36 & - ( =(n1,n19) ) % 0.13/0.36 & - ( =(n1,n20) ) % 0.13/0.36 & - ( =(n1,n21) ) % 0.13/0.36 & - ( =(n1,n22) ) % 0.13/0.36 & - ( =(n1,n23) ) % 0.13/0.36 & - ( =(n1,n24) ) % 0.13/0.36 & - ( =(n1,n25) ) % 0.13/0.36 & - ( =(n1,n26) ) % 0.13/0.36 & - ( =(n1,n27) ) % 0.13/0.36 & - ( =(n1,n28) ) % 0.13/0.36 & - ( =(n1,n29) ) % 0.13/0.36 & - ( =(n1,n30) ) % 0.13/0.36 & - ( =(n2,n3) ) % 0.13/0.36 & - ( =(n2,n4) ) % 0.13/0.36 & - ( =(n2,n5) ) % 0.13/0.36 & - ( =(n2,n6) ) % 0.13/0.36 & - ( =(n2,n7) ) % 0.13/0.36 & - ( =(n2,n8) ) % 0.13/0.36 & - ( =(n2,n9) ) % 0.13/0.36 & - ( =(n2,n10) ) % 0.13/0.36 & - ( =(n2,n11) ) % 0.13/0.36 & - ( =(n2,n12) ) % 0.13/0.36 & - ( =(n2,n13) ) % 0.13/0.36 & - ( =(n2,n14) ) % 0.13/0.36 & - ( =(n2,n15) ) % 0.13/0.36 & - ( =(n2,n16) ) % 0.13/0.36 & - ( =(n2,n17) ) % 0.13/0.36 & - ( =(n2,n18) ) % 0.13/0.36 & - ( =(n2,n19) ) % 0.13/0.36 & - ( =(n2,n20) ) % 0.13/0.36 & - ( =(n2,n21) ) % 0.13/0.36 & - ( =(n2,n22) ) % 0.13/0.36 & - ( =(n2,n23) ) % 0.13/0.36 & - ( =(n2,n24) ) % 0.13/0.36 & - ( =(n2,n25) ) % 0.13/0.36 & - ( =(n2,n26) ) % 0.13/0.36 & - ( =(n2,n27) ) % 0.13/0.36 & - ( =(n2,n28) ) % 0.13/0.36 & - ( =(n2,n29) ) % 0.13/0.36 & - ( =(n2,n30) ) % 0.13/0.36 & - ( =(n3,n4) ) % 0.13/0.36 & - ( =(n3,n5) ) % 0.13/0.36 & - ( =(n3,n6) ) % 0.13/0.36 & - ( =(n3,n7) ) % 0.13/0.36 & - ( =(n3,n8) ) % 0.13/0.36 & - ( =(n3,n9) ) % 0.13/0.36 & - ( =(n3,n10) ) % 0.13/0.36 & - ( =(n3,n11) ) % 0.13/0.36 & - ( =(n3,n12) ) % 0.13/0.36 & - ( =(n3,n13) ) % 0.13/0.36 & - ( =(n3,n14) ) % 0.13/0.36 & - ( =(n3,n15) ) % 0.13/0.36 & - ( =(n3,n16) ) % 0.13/0.36 & - ( =(n3,n17) ) % 0.13/0.36 & - ( =(n3,n18) ) % 0.13/0.36 & - ( =(n3,n19) ) % 0.13/0.36 & - ( =(n3,n20) ) % 0.13/0.36 & - ( =(n3,n21) ) % 0.13/0.36 & - ( =(n3,n22) ) % 0.13/0.36 & - ( =(n3,n23) ) % 0.13/0.36 & - ( =(n3,n24) ) % 0.13/0.36 & - ( =(n3,n25) ) % 0.13/0.36 & - ( =(n3,n26) ) % 0.13/0.36 & - ( =(n3,n27) ) % 0.13/0.36 & - ( =(n3,n28) ) % 0.13/0.36 & - ( =(n3,n29) ) % 0.13/0.36 & - ( =(n3,n30) ) % 0.13/0.36 & - ( =(n4,n5) ) % 0.13/0.36 & - ( =(n4,n6) ) % 0.13/0.36 & - ( =(n4,n7) ) % 0.13/0.36 & - ( =(n4,n8) ) % 0.13/0.36 & - ( =(n4,n9) ) % 0.13/0.36 & - ( =(n4,n10) ) % 0.13/0.36 & - ( =(n4,n11) ) % 0.13/0.36 & - ( =(n4,n12) ) % 0.13/0.36 & - ( =(n4,n13) ) % 0.13/0.36 & - ( =(n4,n14) ) % 0.13/0.36 & - ( =(n4,n15) ) % 0.13/0.36 & - ( =(n4,n16) ) % 0.13/0.36 & - ( =(n4,n17) ) % 0.13/0.36 & - ( =(n4,n18) ) % 0.13/0.36 & - ( =(n4,n19) ) % 0.13/0.36 & - ( =(n4,n20) ) % 0.13/0.36 & - ( =(n4,n21) ) % 0.13/0.36 & - ( =(n4,n22) ) % 0.13/0.36 & - ( =(n4,n23) ) % 0.13/0.36 & - ( =(n4,n24) ) % 0.13/0.36 & - ( =(n4,n25) ) % 0.13/0.36 & - ( =(n4,n26) ) % 0.13/0.36 & - ( =(n4,n27) ) % 0.13/0.36 & - ( =(n4,n28) ) % 0.13/0.36 & - ( =(n4,n29) ) % 0.13/0.36 & - ( =(n4,n30) ) % 0.13/0.36 & - ( =(n5,n6) ) % 0.13/0.36 & - ( =(n5,n7) ) % 0.13/0.36 & - ( =(n5,n8) ) % 0.13/0.36 & - ( =(n5,n9) ) % 0.13/0.36 & - ( =(n5,n10) ) % 0.13/0.36 & - ( =(n5,n11) ) % 0.13/0.36 & - ( =(n5,n12) ) % 0.13/0.36 & - ( =(n5,n13) ) % 0.13/0.36 & - ( =(n5,n14) ) % 0.13/0.36 & - ( =(n5,n15) ) % 0.13/0.36 & - ( =(n5,n16) ) % 0.13/0.36 & - ( =(n5,n17) ) % 0.13/0.36 & - ( =(n5,n18) ) % 0.13/0.36 & - ( =(n5,n19) ) % 0.13/0.36 & - ( =(n5,n20) ) % 0.13/0.36 & - ( =(n5,n21) ) % 0.13/0.36 & - ( =(n5,n22) ) % 0.13/0.36 & - ( =(n5,n23) ) % 0.13/0.36 & - ( =(n5,n24) ) % 0.13/0.36 & - ( =(n5,n25) ) % 0.13/0.36 & - ( =(n5,n26) ) % 0.13/0.36 & - ( =(n5,n27) ) % 0.13/0.36 & - ( =(n5,n28) ) % 0.13/0.36 & - ( =(n5,n29) ) % 0.13/0.36 & - ( =(n5,n30) ) % 0.13/0.36 & - ( =(n6,n7) ) % 0.13/0.36 & - ( =(n6,n8) ) % 0.13/0.36 & - ( =(n6,n9) ) % 0.13/0.36 & - ( =(n6,n10) ) % 0.13/0.36 & - ( =(n6,n11) ) % 0.13/0.36 & - ( =(n6,n12) ) % 0.13/0.36 & - ( =(n6,n13) ) % 0.13/0.36 & - ( =(n6,n14) ) % 0.13/0.36 & - ( =(n6,n15) ) % 0.13/0.36 & - ( =(n6,n16) ) % 0.13/0.36 & - ( =(n6,n17) ) % 0.13/0.36 & - ( =(n6,n18) ) % 0.13/0.36 & - ( =(n6,n19) ) % 0.13/0.36 & - ( =(n6,n20) ) % 0.13/0.36 & - ( =(n6,n21) ) % 0.13/0.36 & - ( =(n6,n22) ) % 0.13/0.36 & - ( =(n6,n23) ) % 0.13/0.36 & - ( =(n6,n24) ) % 0.13/0.36 & - ( =(n6,n25) ) % 0.13/0.36 & - ( =(n6,n26) ) % 0.13/0.36 & - ( =(n6,n27) ) % 0.13/0.36 & - ( =(n6,n28) ) % 0.13/0.36 & - ( =(n6,n29) ) % 0.13/0.36 & - ( =(n6,n30) ) % 0.13/0.36 & - ( =(n7,n8) ) % 0.13/0.36 & - ( =(n7,n9) ) % 0.13/0.36 & - ( =(n7,n10) ) % 0.13/0.36 & - ( =(n7,n11) ) % 0.13/0.36 & - ( =(n7,n12) ) % 0.13/0.36 & - ( =(n7,n13) ) % 0.13/0.36 & - ( =(n7,n14) ) % 0.13/0.36 & - ( =(n7,n15) ) % 0.13/0.36 & - ( =(n7,n16) ) % 0.13/0.36 & - ( =(n7,n17) ) % 0.13/0.36 & - ( =(n7,n18) ) % 0.13/0.36 & - ( =(n7,n19) ) % 0.13/0.36 & - ( =(n7,n20) ) % 0.13/0.36 & - ( =(n7,n21) ) % 0.13/0.36 & - ( =(n7,n22) ) % 0.13/0.36 & - ( =(n7,n23) ) % 0.13/0.36 & - ( =(n7,n24) ) % 0.13/0.36 & - ( =(n7,n25) ) % 0.13/0.36 & - ( =(n7,n26) ) % 0.13/0.36 & - ( =(n7,n27) ) % 0.13/0.36 & - ( =(n7,n28) ) % 0.13/0.36 & - ( =(n7,n29) ) % 0.13/0.36 & - ( =(n7,n30) ) % 0.13/0.36 & - ( =(n8,n9) ) % 0.13/0.36 & - ( =(n8,n10) ) % 0.13/0.36 & - ( =(n8,n11) ) % 0.13/0.36 & - ( =(n8,n12) ) % 0.13/0.36 & - ( =(n8,n13) ) % 0.13/0.36 & - ( =(n8,n14) ) % 0.13/0.36 & - ( =(n8,n15) ) % 0.13/0.36 & - ( =(n8,n16) ) % 0.13/0.36 & - ( =(n8,n17) ) % 0.13/0.36 & - ( =(n8,n18) ) % 0.13/0.36 & - ( =(n8,n19) ) % 0.13/0.36 & - ( =(n8,n20) ) % 0.13/0.36 & - ( =(n8,n21) ) % 0.13/0.36 & - ( =(n8,n22) ) % 0.13/0.36 & - ( =(n8,n23) ) % 0.13/0.36 & - ( =(n8,n24) ) % 0.13/0.36 & - ( =(n8,n25) ) % 0.13/0.36 & - ( =(n8,n26) ) % 0.13/0.36 & - ( =(n8,n27) ) % 0.13/0.36 & - ( =(n8,n28) ) % 0.13/0.36 & - ( =(n8,n29) ) % 0.13/0.36 & - ( =(n8,n30) ) % 0.13/0.36 & - ( =(n9,n10) ) % 0.13/0.36 & - ( =(n9,n11) ) % 0.13/0.36 & - ( =(n9,n12) ) % 0.13/0.36 & - ( =(n9,n13) ) % 0.13/0.36 & - ( =(n9,n14) ) % 0.13/0.36 & - ( =(n9,n15) ) % 0.13/0.36 & - ( =(n9,n16) ) % 0.13/0.36 & - ( =(n9,n17) ) % 0.13/0.36 & - ( =(n9,n18) ) % 0.13/0.36 & - ( =(n9,n19) ) % 0.13/0.36 & - ( =(n9,n20) ) % 0.13/0.36 & - ( =(n9,n21) ) % 0.13/0.36 & - ( =(n9,n22) ) % 0.13/0.36 & - ( =(n9,n23) ) % 0.13/0.36 & - ( =(n9,n24) ) % 0.13/0.36 & - ( =(n9,n25) ) % 0.13/0.36 & - ( =(n9,n26) ) % 0.13/0.36 & - ( =(n9,n27) ) % 0.13/0.36 & - ( =(n9,n28) ) % 0.13/0.36 & - ( =(n9,n29) ) % 0.13/0.36 & - ( =(n9,n30) ) % 0.13/0.36 & - ( =(n10,n11) ) % 0.13/0.36 & - ( =(n10,n12) ) % 0.13/0.36 & - ( =(n10,n13) ) % 0.13/0.36 & - ( =(n10,n14) ) % 0.13/0.36 & - ( =(n10,n15) ) % 0.13/0.36 & - ( =(n10,n16) ) % 0.13/0.36 & - ( =(n10,n17) ) % 0.13/0.36 & - ( =(n10,n18) ) % 0.13/0.36 & - ( =(n10,n19) ) % 0.13/0.36 & - ( =(n10,n20) ) % 0.13/0.36 & - ( =(n10,n21) ) % 0.13/0.36 & - ( =(n10,n22) ) % 0.13/0.36 & - ( =(n10,n23) ) % 0.13/0.36 & - ( =(n10,n24) ) % 0.13/0.36 & - ( =(n10,n25) ) % 0.13/0.36 & - ( =(n10,n26) ) % 0.13/0.36 & - ( =(n10,n27) ) % 0.13/0.36 & - ( =(n10,n28) ) % 0.13/0.36 & - ( =(n10,n29) ) % 0.13/0.36 & - ( =(n10,n30) ) % 0.13/0.36 & - ( =(n11,n12) ) % 0.13/0.36 & - ( =(n11,n13) ) % 0.13/0.36 & - ( =(n11,n14) ) % 0.13/0.36 & - ( =(n11,n15) ) % 0.13/0.36 & - ( =(n11,n16) ) % 0.13/0.36 & - ( =(n11,n17) ) % 0.13/0.36 & - ( =(n11,n18) ) % 0.13/0.36 & - ( =(n11,n19) ) % 0.13/0.36 & - ( =(n11,n20) ) % 0.13/0.36 & - ( =(n11,n21) ) % 0.13/0.36 & - ( =(n11,n22) ) % 0.13/0.36 & - ( =(n11,n23) ) % 0.13/0.36 & - ( =(n11,n24) ) % 0.13/0.36 & - ( =(n11,n25) ) % 0.13/0.36 & - ( =(n11,n26) ) % 0.13/0.36 & - ( =(n11,n27) ) % 0.13/0.36 & - ( =(n11,n28) ) % 0.13/0.36 & - ( =(n11,n29) ) % 0.13/0.36 & - ( =(n11,n30) ) % 0.13/0.36 & - ( =(n12,n13) ) % 0.13/0.36 & - ( =(n12,n14) ) % 0.13/0.36 & - ( =(n12,n15) ) % 0.13/0.36 & - ( =(n12,n16) ) % 0.13/0.36 & - ( =(n12,n17) ) % 0.13/0.36 & - ( =(n12,n18) ) % 0.13/0.36 & - ( =(n12,n19) ) % 0.13/0.36 & - ( =(n12,n20) ) % 0.13/0.36 & - ( =(n12,n21) ) % 0.13/0.36 & - ( =(n12,n22) ) % 0.13/0.36 & - ( =(n12,n23) ) % 0.13/0.36 & - ( =(n12,n24) ) % 0.13/0.36 & - ( =(n12,n25) ) % 0.13/0.36 & - ( =(n12,n26) ) % 0.13/0.36 & - ( =(n12,n27) ) % 0.13/0.36 & - ( =(n12,n28) ) % 0.13/0.36 & - ( =(n12,n29) ) % 0.13/0.36 & - ( =(n12,n30) ) % 0.13/0.36 & - ( =(n13,n14) ) % 0.13/0.36 & - ( =(n13,n15) ) % 0.13/0.36 & - ( =(n13,n16) ) % 0.13/0.36 & - ( =(n13,n17) ) % 0.13/0.36 & - ( =(n13,n18) ) % 0.13/0.36 & - ( =(n13,n19) ) % 0.13/0.36 & - ( =(n13,n20) ) % 0.13/0.36 & - ( =(n13,n21) ) % 0.13/0.36 & - ( =(n13,n22) ) % 0.13/0.36 & - ( =(n13,n23) ) % 0.13/0.36 & - ( =(n13,n24) ) % 0.13/0.36 & - ( =(n13,n25) ) % 0.13/0.36 & - ( =(n13,n26) ) % 0.13/0.36 & - ( =(n13,n27) ) % 0.13/0.36 & - ( =(n13,n28) ) % 0.13/0.36 & - ( =(n13,n29) ) % 0.13/0.36 & - ( =(n13,n30) ) % 0.13/0.36 & - ( =(n14,n15) ) % 0.13/0.36 & - ( =(n14,n16) ) % 0.13/0.36 & - ( =(n14,n17) ) % 0.13/0.36 & - ( =(n14,n18) ) % 0.13/0.36 & - ( =(n14,n19) ) % 0.13/0.36 & - ( =(n14,n20) ) % 0.13/0.36 & - ( =(n14,n21) ) % 0.13/0.36 & - ( =(n14,n22) ) % 0.13/0.36 & - ( =(n14,n23) ) % 0.13/0.36 & - ( =(n14,n24) ) % 0.13/0.36 & - ( =(n14,n25) ) % 0.13/0.36 & - ( =(n14,n26) ) % 0.13/0.36 & - ( =(n14,n27) ) % 0.13/0.36 & - ( =(n14,n28) ) % 0.13/0.36 & - ( =(n14,n29) ) % 0.13/0.36 & - ( =(n14,n30) ) % 0.13/0.36 & - ( =(n15,n16) ) % 0.13/0.36 & - ( =(n15,n17) ) % 0.13/0.36 & - ( =(n15,n18) ) % 0.13/0.36 & - ( =(n15,n19) ) % 0.13/0.36 & - ( =(n15,n20) ) % 0.13/0.36 & - ( =(n15,n21) ) % 0.13/0.36 & - ( =(n15,n22) ) % 0.13/0.36 & - ( =(n15,n23) ) % 0.13/0.36 & - ( =(n15,n24) ) % 0.13/0.36 & - ( =(n15,n25) ) % 0.13/0.36 & - ( =(n15,n26) ) % 0.13/0.36 & - ( =(n15,n27) ) % 0.13/0.36 & - ( =(n15,n28) ) % 0.13/0.36 & - ( =(n15,n29) ) % 0.13/0.36 & - ( =(n15,n30) ) % 0.13/0.36 & - ( =(n16,n17) ) % 0.13/0.36 & - ( =(n16,n18) ) % 0.13/0.36 & - ( =(n16,n19) ) % 0.13/0.36 & - ( =(n16,n20) ) % 0.13/0.36 & - ( =(n16,n21) ) % 0.13/0.36 & - ( =(n16,n22) ) % 0.13/0.36 & - ( =(n16,n23) ) % 0.13/0.36 & - ( =(n16,n24) ) % 0.13/0.36 & - ( =(n16,n25) ) % 0.13/0.36 & - ( =(n16,n26) ) % 0.13/0.36 & - ( =(n16,n27) ) % 0.13/0.36 & - ( =(n16,n28) ) % 0.13/0.36 & - ( =(n16,n29) ) % 0.13/0.36 & - ( =(n16,n30) ) % 0.13/0.36 & - ( =(n17,n18) ) % 0.13/0.36 & - ( =(n17,n19) ) % 0.13/0.36 & - ( =(n17,n20) ) % 0.13/0.36 & - ( =(n17,n21) ) % 0.13/0.36 & - ( =(n17,n22) ) % 0.13/0.36 & - ( =(n17,n23) ) % 0.13/0.36 & - ( =(n17,n24) ) % 0.13/0.36 & - ( =(n17,n25) ) % 0.13/0.36 & - ( =(n17,n26) ) % 0.13/0.36 & - ( =(n17,n27) ) % 0.13/0.36 & - ( =(n17,n28) ) % 0.13/0.36 & - ( =(n17,n29) ) % 0.13/0.36 & - ( =(n17,n30) ) % 0.13/0.36 & - ( =(n18,n19) ) % 0.13/0.36 & - ( =(n18,n20) ) % 0.13/0.36 & - ( =(n18,n21) ) % 0.13/0.36 & - ( =(n18,n22) ) % 0.13/0.36 & - ( =(n18,n23) ) % 0.13/0.36 & - ( =(n18,n24) ) % 0.13/0.36 & - ( =(n18,n25) ) % 0.13/0.36 & - ( =(n18,n26) ) % 0.13/0.36 & - ( =(n18,n27) ) % 0.13/0.36 & - ( =(n18,n28) ) % 0.13/0.36 & - ( =(n18,n29) ) % 0.13/0.36 & - ( =(n18,n30) ) % 0.13/0.36 & - ( =(n19,n20) ) % 0.13/0.36 & - ( =(n19,n21) ) % 0.13/0.36 & - ( =(n19,n22) ) % 0.13/0.36 & - ( =(n19,n23) ) % 0.13/0.36 & - ( =(n19,n24) ) % 0.13/0.36 & - ( =(n19,n25) ) % 0.13/0.36 & - ( =(n19,n26) ) % 0.13/0.36 & - ( =(n19,n27) ) % 0.13/0.36 & - ( =(n19,n28) ) % 0.13/0.36 & - ( =(n19,n29) ) % 0.13/0.36 & - ( =(n19,n30) ) % 0.13/0.36 & - ( =(n20,n21) ) % 0.13/0.36 & - ( =(n20,n22) ) % 0.13/0.36 & - ( =(n20,n23) ) % 0.13/0.36 & - ( =(n20,n24) ) % 0.13/0.36 & - ( =(n20,n25) ) % 0.13/0.36 & - ( =(n20,n26) ) % 0.13/0.36 & - ( =(n20,n27) ) % 0.13/0.36 & - ( =(n20,n28) ) % 0.13/0.36 & - ( =(n20,n29) ) % 0.13/0.36 & - ( =(n20,n30) ) % 0.13/0.36 & - ( =(n21,n22) ) % 0.13/0.36 & - ( =(n21,n23) ) % 0.13/0.36 & - ( =(n21,n24) ) % 0.13/0.36 & - ( =(n21,n25) ) % 0.13/0.36 & - ( =(n21,n26) ) % 0.13/0.36 & - ( =(n21,n27) ) % 0.13/0.36 & - ( =(n21,n28) ) % 0.13/0.36 & - ( =(n21,n29) ) % 0.13/0.36 & - ( =(n21,n30) ) % 0.13/0.36 & - ( =(n22,n23) ) % 0.13/0.36 & - ( =(n22,n24) ) % 0.13/0.36 & - ( =(n22,n25) ) % 0.13/0.36 & - ( =(n22,n26) ) % 0.13/0.36 & - ( =(n22,n27) ) % 0.13/0.36 & - ( =(n22,n28) ) % 0.13/0.36 & - ( =(n22,n29) ) % 0.13/0.36 & - ( =(n22,n30) ) % 0.13/0.36 & - ( =(n23,n24) ) % 0.13/0.36 & - ( =(n23,n25) ) % 0.13/0.36 & - ( =(n23,n26) ) % 0.13/0.36 & - ( =(n23,n27) ) % 0.13/0.36 & - ( =(n23,n28) ) % 0.13/0.36 & - ( =(n23,n29) ) % 0.13/0.36 & - ( =(n23,n30) ) % 0.13/0.36 & - ( =(n24,n25) ) % 0.13/0.36 & - ( =(n24,n26) ) % 0.13/0.36 & - ( =(n24,n27) ) % 0.13/0.36 & - ( =(n24,n28) ) % 0.13/0.36 & - ( =(n24,n29) ) % 0.13/0.36 & - ( =(n24,n30) ) % 0.13/0.36 & - ( =(n25,n26) ) % 0.13/0.36 & - ( =(n25,n27) ) % 0.13/0.36 & - ( =(n25,n28) ) % 0.13/0.36 & - ( =(n25,n29) ) % 0.13/0.36 & - ( =(n25,n30) ) % 0.13/0.36 & - ( =(n26,n27) ) % 0.13/0.36 & - ( =(n26,n28) ) % 0.13/0.36 & - ( =(n26,n29) ) % 0.13/0.36 & - ( =(n26,n30) ) % 0.13/0.36 & - ( =(n27,n28) ) % 0.13/0.36 & - ( =(n27,n29) ) % 0.13/0.36 & - ( =(n27,n30) ) % 0.13/0.36 & - ( =(n28,n29) ) % 0.13/0.36 & - ( =(n28,n30) ) % 0.13/0.36 & - ( =(n29,n30) ) ) ) ). % 0.13/0.36 % 0.13/0.36 ======= end of input processing ======= % 0.13/0.36 % 0.13/0.36 1 input errors were found. % 0.13/0.36 % 0.13/0.36 1 input errors were found. %------------------------------------------------------------------------------