1.0 finalKappa(a) :- bond(d59_23, d59_5, 0), h_3(d59_23), c_22(d59_5), b1(0), bond(d59_5, d59_23, 0), bond(d59_20, d59_19, 1), c_21(d59_20), c_21(d59_19), b7(1), bond(d59_19, d59_20, 1), bond(d59_10, d59_3, 2), c_27(d59_10), c_27(d59_3), b7(2), bond(d59_3, d59_10, 2), bond(d59_14, d59_10, 3), c_25(d59_14), b7(3), bond(d59_10, d59_14, 3), bond(d59_4, d59_3, 4), c_22(d59_4), b7(4), bond(d59_3, d59_4, 4), bond(d59_10, d59_9, 5), c_27(d59_9), b7(5), bond(d59_9, d59_10, 5), bond(d59_15, d59_28, 6), c_22(d59_15), h_3(d59_28), b1(6), bond(d59_28, d59_15, 6), bond(d59_12, d59_13, 7), c_27(d59_12), c_27(d59_13), b7(7), bond(d59_13, d59_12, 7), bond(d59_8, d59_9, 8), c_22(d59_8), b7(8), bond(d59_9, d59_8, 8), bond(d59_7, d59_25, 9), c_22(d59_7), h_3(d59_25), b1(9), bond(d59_25, d59_7, 9), bond(d59_30, d59_17, 10), h_3(d59_30), c_22(d59_17), b1(10), bond(d59_17, d59_30, 10), bond(d59_15, d59_12, 11), b7(11), bond(d59_12, d59_15, 11), bond(d59_2, d59_1, 12), c_27(d59_2), c_22(d59_1), b7(12), bond(d59_1, d59_2, 12), bond(d59_17, d59_16, 13), c_22(d59_16), b7(13), bond(d59_16, d59_17, 13), bond(d59_31, d59_19, 14), h_3(d59_31), b1(14), bond(d59_19, d59_31, 14), bond(d59_9, d59_11, 15), c_22(d59_11), b7(15), bond(d59_11, d59_9, 15), bond(d59_3, d59_2, 16), b7(16), bond(d59_2, d59_3, 16), bond(d59_27, d59_11, 17), h_3(d59_27), b1(17), bond(d59_11, d59_27, 17), bond(d59_22, d59_4, 18), h_3(d59_22), b1(18), bond(d59_4, d59_22, 18), bond(d59_7, d59_8, 19), b7(19), bond(d59_8, d59_7, 19), bond(d59_24, d59_6, 20), h_3(d59_24), c_22(d59_6), b1(20), bond(d59_6, d59_24, 20), bond(d59_15, d59_16, 21), b7(21), bond(d59_16, d59_15, 21), bond(d59_7, d59_2, 22), b7(22), bond(d59_2, d59_7, 22), bond(d59_18, d59_20, 23), c_26(d59_18), b7(23), bond(d59_20, d59_18, 23), bond(d59_18, d59_17, 24), b7(24), bond(d59_17, d59_18, 24), bond(d59_18, d59_13, 25), b7(25), bond(d59_13, d59_18, 25), bond(d59_32, d59_33, 26), n_38(d59_32), o_40(d59_33), b2(26), bond(d59_33, d59_32, 26), bond(d59_5, d59_6, 27), b7(27), bond(d59_6, d59_5, 27), bond(d59_6, d59_1, 28), b7(28), bond(d59_1, d59_6, 28), bond(d59_19, d59_14, 29), b7(29), bond(d59_14, d59_19, 29), bond(d59_29, d59_16, 30), h_3(d59_29), b1(30), bond(d59_16, d59_29, 30), bond(d59_11, d59_12, 31), b7(31), bond(d59_12, d59_11, 31), bond(d59_14, d59_13, 32), b7(32), bond(d59_13, d59_14, 32), bond(d59_26, d59_8, 33), h_3(d59_26), b1(33), bond(d59_8, d59_26, 33), bond(d59_32, d59_34, 34), o_40(d59_34), b2(34), bond(d59_34, d59_32, 34), bond(d59_32, d59_20, 35), b1(35), bond(d59_20, d59_32, 35), bond(d59_1, d59_21, 36), h_3(d59_21), b1(36), bond(d59_21, d59_1, 36), bond(d59_5, d59_4, 37), b7(37), bond(d59_4, d59_5, 37).
0.0 finalKappa(a) :- bond(d148_18, d148_11, 38), h_3(d148_18), c_21(d148_11), b1(38), bond(d148_11, d148_18, 38), bond(d148_12, d148_10, 39), c_21(d148_12), c_26(d148_10), b7(39), bond(d148_10, d148_12, 39), bond(d148_21, d148_20, 40), o_40(d148_21), n_38(d148_20), b2(40), bond(d148_20, d148_21, 40), bond(d148_8, d148_7, 41), c_22(d148_8), c_22(d148_7), b7(41), bond(d148_7, d148_8, 41), bond(d148_20, d148_9, 42), c_22(d148_9), b1(42), bond(d148_9, d148_20, 42), bond(d148_1, d148_13, 43), c_22(d148_1), h_3(d148_13), b1(43), bond(d148_13, d148_1, 43), bond(d148_4, d148_5, 44), c_27(d148_4), c_26(d148_5), b7(44), bond(d148_5, d148_4, 44), bond(d148_11, d148_12, 45), b7(45), bond(d148_12, d148_11, 45), bond(d148_6, d148_5, 46), c_22(d148_6), b7(46), bond(d148_5, d148_6, 46), bond(d148_7, d148_3, 47), c_27(d148_3), b7(47), bond(d148_3, d148_7, 47), bond(d148_2, d148_14, 48), c_22(d148_2), h_3(d148_14), b1(48), bond(d148_14, d148_2, 48), bond(d148_22, d148_20, 49), o_40(d148_22), b2(49), bond(d148_20, d148_22, 49), bond(d148_1, d148_6, 50), b7(50), bond(d148_6, d148_1, 50), bond(d148_19, d148_12, 51), h_3(d148_19), b1(51), bond(d148_12, d148_19, 51), bond(d148_9, d148_8, 52), b7(52), bond(d148_8, d148_9, 52), bond(d148_4, d148_10, 53), b7(53), bond(d148_10, d148_4, 53), bond(d148_11, d148_5, 54), b7(54), bond(d148_5, d148_11, 54), bond(d148_9, d148_10, 55), b7(55), bond(d148_10, d148_9, 55), bond(d148_16, d148_7, 56), h_3(d148_16), b1(56), bond(d148_7, d148_16, 56), bond(d148_15, d148_6, 57), h_3(d148_15), b1(57), bond(d148_6, d148_15, 57), bond(d148_2, d148_1, 58), b7(58), bond(d148_1, d148_2, 58), bond(d148_3, d148_2, 59), b7(59), bond(d148_2, d148_3, 59), bond(d148_17, d148_8, 60), h_3(d148_17), b1(60), bond(d148_8, d148_17, 60), bond(d148_3, d148_4, 61), b7(61), bond(d148_4, d148_3, 61).
