0.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).
1.0 finalKappa(a) :- bond(d39_20, d39_23, 5219), c_10(d39_20), h_3(d39_23), b1(5219), bond(d39_23, d39_20, 5219), bond(d39_14, d39_11, 5220), h_3(d39_14), c_22(d39_11), b1(5220), bond(d39_11, d39_14, 5220), bond(d39_11, d39_10, 5221), c_22(d39_10), b7(5221), bond(d39_10, d39_11, 5221), bond(d39_5, d39_8, 5222), c_22(d39_5), h_3(d39_8), b1(5222), bond(d39_8, d39_5, 5222), bond(d39_1, d39_6, 5223), c_22(d39_1), c_22(d39_6), b7(5223), bond(d39_6, d39_1, 5223), bond(d39_2, d39_16, 5224), c_22(d39_2), n_38(d39_16), b1(5224), bond(d39_16, d39_2, 5224), bond(d39_20, d39_19, 5225), o_50(d39_19), b1(5225), bond(d39_19, d39_20, 5225), bond(d39_21, d39_20, 5226), h_3(d39_21), b1(5226), bond(d39_20, d39_21, 5226), bond(d39_13, d39_10, 5227), h_3(d39_13), b1(5227), bond(d39_10, d39_13, 5227), bond(d39_4, d39_5, 5228), c_27(d39_4), b7(5228), bond(d39_5, d39_4, 5228), bond(d39_7, d39_1, 5229), h_3(d39_7), b1(5229), bond(d39_1, d39_7, 5229), bond(d39_3, d39_2, 5230), c_27(d39_3), b7(5230), bond(d39_2, d39_3, 5230), bond(d39_17, d39_16, 5231), o_40(d39_17), b2(5231), bond(d39_16, d39_17, 5231), bond(d39_6, d39_5, 5232), b7(5232), bond(d39_5, d39_6, 5232), bond(d39_1, d39_2, 5233), b7(5233), bond(d39_2, d39_1, 5233), bond(d39_18, d39_16, 5234), o_40(d39_18), b2(5234), bond(d39_16, d39_18, 5234), bond(d39_15, d39_12, 5235), h_3(d39_15), c_22(d39_12), b1(5235), bond(d39_12, d39_15, 5235), bond(d39_22, d39_20, 5236), h_3(d39_22), b1(5236), bond(d39_20, d39_22, 5236), bond(d39_12, d39_4, 5237), b7(5237), bond(d39_4, d39_12, 5237), bond(d39_6, d39_19, 5238), b1(5238), bond(d39_19, d39_6, 5238), bond(d39_12, d39_11, 5239), b7(5239), bond(d39_11, d39_12, 5239), bond(d39_3, d39_9, 5240), n_35(d39_9), b7(5240), bond(d39_9, d39_3, 5240), bond(d39_4, d39_3, 5241), b7(5241), bond(d39_3, d39_4, 5241), bond(d39_9, d39_10, 5242), b7(5242), bond(d39_10, d39_9, 5242).
