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).
 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).
 0.0 finalKappa(a) :- bond(d149_23, d149_25, 62), n_38(d149_23), o_40(d149_25), b2(62), bond(d149_25, d149_23, 62), bond(d149_17, d149_16, 63), c_22(d149_17), c_22(d149_16), b7(63), bond(d149_16, d149_17, 63), bond(d149_15, d149_14, 64), c_22(d149_15), c_22(d149_14), b7(64), bond(d149_14, d149_15, 64), bond(d149_4, d149_5, 65), c_22(d149_4), c_22(d149_5), b7(65), bond(d149_5, d149_4, 65), bond(d149_12, d149_13, 66), c_22(d149_12), n_32(d149_13), b1(66), bond(d149_13, d149_12, 66), bond(d149_11, d149_10, 67), c_22(d149_11), n_32(d149_10), b1(67), bond(d149_10, d149_11, 67), bond(d149_23, d149_16, 68), b1(68), bond(d149_16, d149_23, 68), bond(d149_14, d149_18, 69), h_3(d149_18), b1(69), bond(d149_18, d149_14, 69), bond(d149_23, d149_26, 70), o_40(d149_26), b2(70), bond(d149_26, d149_23, 70), bond(d149_5, d149_8, 71), h_3(d149_8), b1(71), bond(d149_8, d149_5, 71), bond(d149_3, d149_2, 72), c_22(d149_3), c_22(d149_2), b7(72), bond(d149_2, d149_3, 72), bond(d149_5, d149_6, 73), c_22(d149_6), b7(73), bond(d149_6, d149_5, 73), bond(d149_4, d149_13, 74), b1(74), bond(d149_13, d149_4, 74), bond(d149_17, d149_20, 75), h_3(d149_20), b1(75), bond(d149_20, d149_17, 75), bond(d149_19, d149_15, 76), h_3(d149_19), b1(76), bond(d149_15, d149_19, 76), bond(d149_27, d149_24, 77), o_40(d149_27), n_38(d149_24), b2(77), bond(d149_24, d149_27, 77), bond(d149_1, d149_24, 78), c_22(d149_1), b1(78), bond(d149_24, d149_1, 78), bond(d149_22, d149_10, 79), h_1(d149_22), b1(79), bond(d149_10, d149_22, 79), bond(d149_21, d149_13, 80), h_1(d149_21), b1(80), bond(d149_13, d149_21, 80), bond(d149_24, d149_28, 81), o_40(d149_28), b2(81), bond(d149_28, d149_24, 81), bond(d149_2, d149_7, 82), h_3(d149_7), b1(82), bond(d149_7, d149_2, 82), bond(d149_2, d149_1, 83), b7(83), bond(d149_1, d149_2, 83), bond(d149_3, d149_10, 84), b1(84), bond(d149_10, d149_3, 84), bond(d149_3, d149_4, 85), b7(85), bond(d149_4, d149_3, 85), bond(d149_9, d149_6, 86), h_3(d149_9), b1(86), bond(d149_6, d149_9, 86), bond(d149_1, d149_6, 87), b7(87), bond(d149_6, d149_1, 87), bond(d149_11, d149_12, 88), b7(88), bond(d149_12, d149_11, 88), bond(d149_15, d149_16, 89), b7(89), bond(d149_16, d149_15, 89), bond(d149_12, d149_17, 90), b7(90), bond(d149_17, d149_12, 90), bond(d149_11, d149_14, 91), b7(91), bond(d149_14, d149_11, 91).
 1.0 finalKappa(a) :- bond(d133_9, d133_3, 5168), o_50(d133_9), c_22(d133_3), b1(5168), bond(d133_3, d133_9, 5168), bond(d133_13, d133_17, 5169), c_22(d133_13), h_3(d133_17), b1(5169), bond(d133_17, d133_13, 5169), bond(d133_4, d133_12, 5170), c_22(d133_4), o_50(d133_12), b1(5170), bond(d133_12, d133_4, 5170), bond(d133_14, d133_13, 5171), c_22(d133_14), b7(5171), bond(d133_13, d133_14, 5171), bond(d133_4, d133_3, 5172), b7(5172), bond(d133_3, d133_4, 5172), bond(d133_11, d133_16, 5173), c_22(d133_11), c_22(d133_16), b7(5173), bond(d133_16, d133_11, 5173), bond(d133_5, d133_8, 5174), c_22(d133_5), h_3(d133_8), b1(5174), bond(d133_8, d133_5, 5174), bond(d133_21, d133_1, 5175), cl_93(d133_21), c_22(d133_1), b1(5175), bond(d133_1, d133_21, 5175), bond(d133_6, d133_22, 5176), c_22(d133_6), cl_93(d133_22), b1(5176), bond(d133_22, d133_6, 5176), bond(d133_10, d133_11, 5177), c_22(d133_10), b7(5177), bond(d133_11, d133_10, 5177), bond(d133_18, d133_15, 5178), n_38(d133_18), c_22(d133_15), b1(5178), bond(d133_15, d133_18, 5178), bond(d133_14, d133_15, 5179), b7(5179), bond(d133_15, d133_14, 5179), bond(d133_7, d133_2, 5180), h_3(d133_7), c_22(d133_2), b1(5180), bond(d133_2, d133_7, 5180), bond(d133_6, d133_5, 5181), b7(5181), bond(d133_5, d133_6, 5181), bond(d133_1, d133_2, 5182), b7(5182), bond(d133_2, d133_1, 5182), bond(d133_16, d133_15, 5183), b7(5183), bond(d133_15, d133_16, 5183), bond(d133_13, d133_10, 5184), b7(5184), bond(d133_10, d133_13, 5184), bond(d133_5, d133_4, 5185), b7(5185), bond(d133_4, d133_5, 5185), bond(d133_3, d133_2, 5186), b7(5186), bond(d133_2, d133_3, 5186), bond(d133_24, d133_18, 5187), o_40(d133_24), b2(5187), bond(d133_18, d133_24, 5187), bond(d133_20, d133_14, 5188), cl_93(d133_20), b1(5188), bond(d133_14, d133_20, 5188), bond(d133_9, d133_10, 5189), b1(5189), bond(d133_10, d133_9, 5189), bond(d133_23, d133_18, 5190), o_40(d133_23), b2(5190), bond(d133_18, d133_23, 5190), bond(d133_6, d133_1, 5191), b7(5191), bond(d133_1, d133_6, 5191), bond(d133_12, d133_11, 5192), b1(5192), bond(d133_11, d133_12, 5192), bond(d133_19, d133_16, 5193), cl_93(d133_19), b1(5193), bond(d133_16, d133_19, 5193).
 1.0 finalKappa(a) :- bond(d38_18, d38_13, 5194), h_3(d38_18), c_22(d38_13), b1(5194), bond(d38_13, d38_18, 5194), bond(d38_14, d38_15, 5195), c_22(d38_14), c_22(d38_15), b7(5195), bond(d38_15, d38_14, 5195), bond(d38_12, d38_4, 5196), c_29(d38_12), c_29(d38_4), b1(5196), bond(d38_4, d38_12, 5196), bond(d38_14, d38_13, 5197), b7(5197), bond(d38_13, d38_14, 5197), bond(d38_13, d38_12, 5198), b7(5198), bond(d38_12, d38_13, 5198), bond(d38_6, d38_11, 5199), c_22(d38_6), h_3(d38_11), b1(5199), bond(d38_11, d38_6, 5199), bond(d38_17, d38_21, 5200), c_22(d38_17), h_3(d38_21), b1(5200), bond(d38_21, d38_17, 5200), bond(d38_2, d38_1, 5201), c_22(d38_2), c_22(d38_1), b7(5201), bond(d38_1, d38_2, 5201), bond(d38_9, d38_3, 5202), h_3(d38_9), c_22(d38_3), b1(5202), bond(d38_3, d38_9, 5202), bond(d38_10, d38_5, 5203), h_3(d38_10), c_22(d38_5), b1(5203), bond(d38_5, d38_10, 5203), bond(d38_24, d38_22, 5204), o_40(d38_24), n_38(d38_22), b2(5204), bond(d38_22, d38_24, 5204), bond(d38_23, d38_22, 5205), o_40(d38_23), b2(5205), bond(d38_22, d38_23, 5205), bond(d38_6, d38_5, 5206), b7(5206), bond(d38_5, d38_6, 5206), bond(d38_3, d38_2, 5207), b7(5207), bond(d38_2, d38_3, 5207), bond(d38_2, d38_8, 5208), h_3(d38_8), b1(5208), bond(d38_8, d38_2, 5208), bond(d38_16, d38_15, 5209), c_22(d38_16), b7(5209), bond(d38_15, d38_16, 5209), bond(d38_7, d38_1, 5210), h_3(d38_7), b1(5210), bond(d38_1, d38_7, 5210), bond(d38_5, d38_4, 5211), b7(5211), bond(d38_4, d38_5, 5211), bond(d38_17, d38_16, 5212), b7(5212), bond(d38_16, d38_17, 5212), bond(d38_12, d38_17, 5213), b7(5213), bond(d38_17, d38_12, 5213), bond(d38_4, d38_3, 5214), b7(5214), bond(d38_3, d38_4, 5214), bond(d38_6, d38_1, 5215), b7(5215), bond(d38_1, d38_6, 5215), bond(d38_15, d38_22, 5216), b1(5216), bond(d38_22, d38_15, 5216), bond(d38_14, d38_19, 5217), h_3(d38_19), b1(5217), bond(d38_19, d38_14, 5217), bond(d38_20, d38_16, 5218), h_3(d38_20), b1(5218), bond(d38_16, d38_20, 5218).
 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).
