active1(Mol,Class) :- molecule(Mol), active(Mol,Class). 1 :: active(A,alkylating) :- hacc(A,B), halogen(A,C), dist(A,B,C,3.73538,1.0), hdonor(A,D), dist(A,B,D,2.40292,1.0), dist(A,C,D,4.75507,1.0). 1 :: active(A,alkylating) :- hacc(A,B), hacc(A,C), dist(A,B,C,1.42968,1.0), hacc(A,D), dist(A,B,D,2.32867,1.0), dist(A,C,D,1.42895,1.0), hacc(A,E), dist(A,B,E,2.48839,1.0), dist(A,C,E,1.60904,1.0), dist(A,D,E,2.48013,1.0). 1 :: active(A,alkylating) :- hacc(A,B), halogen(A,C), dist(A,B,C,4.03333,1.0), hydrophobic(A,D), dist(A,B,D,2.75962,1.0), dist(A,C,D,6.18889,1.0). 1 :: active(A,alkylating) :- halogen(A,B), halogen(A,C), dist(A,B,C,6.0486,1.0). 1 :: active(A,alkylating) :- hacc(A,B), hacc(A,C), dist(A,B,C,5.99991,1.0), hdonor(A,D), dist(A,B,D,6.65379,1.0), dist(A,C,D,5.72211,1.0), hdonor(A,E), dist(A,B,E,5.57302,1.0), dist(A,C,E,7.58155,1.0), dist(A,D,E,7.19882,1.0). 1 :: active(A,alkylating) :- hacc(A,B), hacc(A,C), dist(A,B,C,2.1848,1.0), halogen(A,D), dist(A,B,D,4.46379,1.0), dist(A,C,D,4.03512,1.0), hdonor(A,E), dist(A,B,E,4.61323,1.0), dist(A,C,E,2.43612,1.0), dist(A,D,E,5.05673,1.0). 1 :: active(A,alkylating) :- halogen(A,B), halogen(A,C), dist(A,B,C,2.96987,1.0), hdonor(A,D), dist(A,B,D,4.19997,1.0), dist(A,C,D,2.96987,1.0). 1 :: active(A,nonalkylating) :- hacc(A,B), hydrophobic(A,C), dist(A,B,C,7.94656,1.0). 1 :: active(A,nonalkylating) :- hdonor(A,B), hdonor(A,C), dist(A,B,C,4.38993,1.0). 1 :: active(A,nonalkylating) :- hacc(A,B), halogen(A,C), dist(A,B,C,2.64923,1.0), hydrophobic(A,D), dist(A,B,D,2.57005,1.0), dist(A,C,D,2.61382,1.0). 1 :: active(A,nonalkylating). 1 :: active(A,alkylating). id(hacc(_,X,Y,Z)):- number(X), number(Y), number(Z). id(hdonor(_,X,Y,Z)):- number(X), number(Y), number(Z). id(hyphob(_,X,Y,Z)):- number(X), number(Y), number(Z). id(halogen(_,X,Y,Z)):- number(X), number(Y), number(Z). dist(X):- number(X). error(1.0). p(X,Y,Z):-number(X),number(Y),number(Z). coord(Mol,hacc(A,X,Y,Z),X,Y,Z):-hacc(Mol,hacc(A,X,Y,Z)). coord(Mol,hdonor(A,X,Y,Z),X,Y,Z):-hdonor(Mol,hdonor(A,X,Y,Z)). coord(Mol,hyphob(A,X,Y,Z),X,Y,Z):-hydrophobic(Mol,hyphob(A,X,Y,Z)). coord(Mol,halogen(A,X,Y,Z),X,Y,Z):-halogen(Mol,halogen(A,X,Y,Z)). dist(Mol,Atom1,Atom2,Dist,Error):- var(Dist), Atom1 @< Atom2, coord(Mol,Atom1,X1,Y1,Z1), coord(Mol,Atom2,X2,Y2,Z2), euc_dist(p(X1,Y1,Z1),p(X2,Y2,Z2),Dist), error(Error). dist(Mol,Atom1,Atom2,Dist,Error):- number(Dist), coord(Mol,Atom1,X1,Y1,Z1), coord(Mol,Atom2,X2,Y2,Z2), euc_dist(p(X1,Y1,Z1),p(X2,Y2,Z2),Dist1), Diff is Dist1 - Dist, absolute_value(Diff,E1), E1 =< Error. absolute_value(X,X):- X >= 0. absolute_value(X,Y):- X < 0, Y is -X. % sicstus uses ** where yap has ^ % %euc_dist(p(X1,Y1,Z1),p(X2,Y2,Z2),D):- % Dsq is ((X1 - X2)*(X1 - X2)) + ((Y1 - Y2)*(Y1 - Y2)) + ((Z1 - Z2)*(Z1 - %Z2)), % D is Dsq^0.5. euc_dist(p(X1,Y1,Z1),p(X2,Y2,Z2),D):- Dsq is ((X1 - X2)*(X1 - X2)) + ((Y1 - Y2)*(Y1 - Y2)) + ((Z1 - Z2)*(Z1 -Z2)), D is Dsq ** (0.5). 1 :: molecule(m740). 1 :: molecule(m750). 1 :: molecule(m752). 1 :: molecule(m755). 1 :: molecule(m757). 1 :: molecule(m762). 1 :: molecule(m1895). 1 :: molecule(m3088). 1 :: molecule(m6396). 1 :: molecule(m8806). 1 :: molecule(m9706). 1 :: molecule(m19893). 1 :: molecule(m25154). 1 :: molecule(m26980). 1 :: molecule(m27640). 1 :: molecule(m32065). 1 :: molecule(m33410). 1 :: molecule(m34462). 1 :: molecule(m49842). 1 :: molecule(m51143). 1 :: molecule(m56410). 1 :: molecule(m63878). 1 :: molecule(m67574). 1 :: molecule(m71261). 1 :: molecule(m71851). 1 :: molecule(m73754). 1 :: molecule(m79037). 1 :: molecule(m82151). 1 :: molecule(m83265). 1 :: molecule(m94600). 1 :: molecule(m95382). 1 :: molecule(m95441). 1 :: molecule(m95466). 1 :: molecule(m95678). 1 :: molecule(m100880). 1 :: molecule(m102627). 1 :: molecule(m102816). 1 :: molecule(m107124). 1 :: molecule(m107392). 1 :: molecule(m118994). 1 :: molecule(m119875). 1 :: molecule(m122819). 1 :: molecule(m123127). 1 :: molecule(m125973). 1 :: molecule(m126771). 1 :: molecule(m127716). 1 :: molecule(m132313). 1 :: molecule(m132483). 1 :: molecule(m134033). 1 :: molecule(m135758). 1 :: molecule(m139105). 1 :: molecule(m141540). 1 :: molecule(m142982). 1 :: molecule(m143095). 1 :: molecule(m145668). 1 :: molecule(m148958). 1 :: molecule(m153353). 1 :: molecule(m153858). 1 :: molecule(m163501). 1 :: molecule(m164011). 1 :: molecule(m167780). 1 :: molecule(m172112). 1 :: molecule(m174121). 1 :: molecule(m176323). 1 :: molecule(m178248). 1 :: molecule(m182986). 1 :: molecule(m184692). 1 :: molecule(m224131). 1 :: molecule(m241240). 1 :: molecule(m249910). 1 :: molecule(m249992). 1 :: molecule(m256927). 1 :: molecule(m264880). 1 :: molecule(m267469). 1 :: molecule(m268242). 1 :: molecule(m269148). 1 :: molecule(m271674). 1 :: molecule(m295500). 1 :: molecule(m295501). 1 :: molecule(m296934). 1 :: molecule(m301739). 1 :: molecule(m303812). 1 :: molecule(m308847). 1 :: molecule(m329680). 1 :: molecule(m330500). 1 :: molecule(m332598). 1 :: molecule(m337766). 1 :: molecule(m338947). 1 :: molecule(m344007). 1 :: molecule(m348948). 1 :: molecule(m349174). 1 :: molecule(m352122). 1 :: molecule(m353451). 1 :: molecule(m354646). 1 :: molecule(m355644). 1 :: molecule(m357704). 1 :: molecule(m361792). 1 :: molecule(m363812). 1 :: molecule(m364830). 1 :: molecule(m366140). 1 :: molecule(m368390). 1 :: molecule(m374028). 1 :: molecule(m376128). 1 :: molecule(m406042). 1 :: molecule(m409962). 1 :: molecule(m603071). 1 :: molecule(m999991). 1 :: molecule(m999992). 1 :: molecule(m999993). 1 :: molecule(m999994). 1 :: molecule(m606172). 1 :: molecule(m606173). 1 :: molecule(m606497). 1 :: molecule(m606499). 1 :: molecule(m606985). 1 :: molecule(m608832). 1 :: molecule(m609395). 1 :: molecule(m610456). 1 :: molecule(m610457). 1 :: molecule(m610458). 1 :: molecule(m610459). 1 :: molecule(m999995). 1 :: molecule(m616348). 1 :: molecule(m618939). 1 :: molecule(m999996). 1 :: molecule(m999997). 1 :: molecule(m999998). 1 :: molecule(m623017). 1 :: molecule(m629971). 1 :: molecule(m633713). 1 :: molecule(m643833). hydrophobic(m740, hyphob([a2, a4, a7, a9, a5, a3, a2], 2.67287, 0.323033, 12.2394)). hydrophobic(m740, hyphob([a10, a12, a8, a5, a3, a6, a10], 3.34968, 2.52067, 11.7358)). hydrophobic(m740, hyphob([a16, a18, a20, a21, a19, a17, a16], 4.89708, 2.99757, 7.80405)). hydrophobic(m752, hyphob([a2, a3, a5, a8, a7, a4, a2], 2.16452, -0.833917, 3.6379)). hydrophobic(m755, hyphob([a2, a3, a5, a8, a7, a4, a2], 1.77122, -0.749483, 3.80457)). hydrophobic(m757, hyphob([a12, a7, a4, a3, a5, a9, a12], 5.34625, -0.728167, 4.1651)). hydrophobic(m3088, hyphob([a11, a13, a12, a8, a4, a7, a11], -6.84767, 3.71122, 0.0741333)). hydrophobic(m8806, hyphob([a11, a13, a12, a8, a4, a7, a11], 3.4077, 10.3513, 1.59435)). hydrophobic(m19893, hyphob([a2, a3, a6, a8, a7, a4, a2], 1.88645, -1.14743, 3.53765)). hydrophobic(m25154, hyphob([a10, a11, a9, a6, a4, a7, a10], 4.27375, 0.677933, 7.84977)). hydrophobic(m26980, hyphob([a12, a15, a20, a17, a13, a7, a12], -3.6843, 0.55215, -0.742967)). hydrophobic(m26980, hyphob([a10, a5, a3, a4, a8, a9, a10], -0.900883, -2.36773, -1.35133)). hydrophobic(m26980, hyphob([a6, a11, a12, a3], -1.1833, -0.4941, 0.468)). hydrophobic(m27640, hyphob([a10, a6, a3, a2, a4, a7, a10], 2.58472, -0.794883, 3.90383)). hydrophobic(m33410, hyphob([a28, a30, a32, a34, a33, a31, a28], 1.42335, 0.4497, 10.5899)). hydrophobic(m33410, hyphob([a12, a7, a4, a3, a5, a9, a12], 3.36187, -1.29713, 2.2879)). hydrophobic(m34462, hyphob([a12, a14, a13, a8, a4, a7, a12], 1.75627, -0.174217, 3.758)). hydrophobic(m49842, hyphob([a10, a12, a7, a4, a3, a5, a10], -2.78205, 8.14407, 8.11288)). hydrophobic(m49842, hyphob([a11, a16, a8, a4, a3, a6, a11], -1.62138, 7.09635, 6.4907)). hydrophobic(m49842, hyphob([a13, a21, a28, a31, a29, a22, a13], -5.6866, 10.1677, 6.91168)). hydrophobic(m49842, hyphob([a42, a47, a52, a56, a53, a48, a42], -10.5638, 9.46523, 5.8016)). hydrophobic(m49842, hyphob([a44, a46, a51, a55, a54, a49, a44], -8.44558, 14.9081, 3.36113)). hydrophobic(m49842, hyphob([a3, a1, a5, a6], -2.5202, 6.7161, 7.5953)). hydrophobic(m49842, hyphob([a3, a1, a4, a5], -2.5202, 6.7161, 7.5953)). hydrophobic(m49842, hyphob([a3, a1, a4, a6], -2.5202, 6.7161, 7.5953)). hydrophobic(m49842, hyphob([a32, a29, a34, a35], -7.0644, 10.4053, 4.3627)). hydrophobic(m49842, hyphob([a32, a29, a34, a36], -7.0644, 10.4053, 4.3627)). hydrophobic(m49842, hyphob([a32, a29, a35, a36], -7.0644, 10.4053, 4.3627)). hydrophobic(m49842, hyphob([a42, a36, a47, a48], -9.3917, 9.3096, 4.9857)). hydrophobic(m49842, hyphob([a53, a48, a56, a57], -11.7934, 8.7231, 5.5049)). hydrophobic(m49842, hyphob([a3, a4, a5, a6], -2.5202, 6.7161, 7.5953)). hydrophobic(m49842, hyphob([a7, a12, a13, a14], -2.9641, 9.2993, 7.1852)). hydrophobic(m49842, hyphob([a7, a12, a13, a4], -2.9641, 9.2993, 7.1852)). hydrophobic(m49842, hyphob([a7, a12, a14, a4], -2.9641, 9.2993, 7.1852)). hydrophobic(m49842, hyphob([a7, a13, a14, a4], -2.9641, 9.2993, 7.1852)). hydrophobic(m49842, hyphob([a10, a12, a18, a5], -2.4541, 8.3512, 9.5535)). hydrophobic(m49842, hyphob([a32, a34, a35, a36], -7.0644, 10.4053, 4.3627)). hydrophobic(m56410, hyphob([a12, a15, a20, a17, a13, a7, a12], -2.73472, 1.76787, 3.8111)). hydrophobic(m56410, hyphob([a10, a5, a3, a4, a8, a9, a10], -3.15498, -0.769417, 0.653467)). hydrophobic(m56410, hyphob([a6, a11, a12, a3], -1.0549, 0.1236, 1.9985)). hydrophobic(m63878, hyphob([a10, a14, a16, a13, a9, a6, a10], 2.61603, -0.9886, 2.23782)). hydrophobic(m67574, hyphob([a10, a12, a7, a4, a3, a5, a10], -19.6915, 16.1698, 1.9597)). hydrophobic(m67574, hyphob([a11, a16, a8, a4, a3, a6, a11], -21.2041, 17.7773, 1.48577)). hydrophobic(m67574, hyphob([a13, a21, a28, a31, a29, a22, a13], -16.1335, 17.1203, 1.31905)). hydrophobic(m67574, hyphob([a42, a47, a52, a56, a53, a48, a42], -13.0862, 17.9908, -2.40082)). hydrophobic(m67574, hyphob([a44, a46, a51, a55, a54, a49, a44], -17.3615, 22.6436, -2.04463)). hydrophobic(m67574, hyphob([a3, a1, a5, a6], -20.667, 17.1215, 2.6909)). hydrophobic(m67574, hyphob([a3, a1, a4, a5], -20.667, 17.1215, 2.6909)). hydrophobic(m67574, hyphob([a3, a1, a4, a6], -20.667, 17.1215, 2.6909)). hydrophobic(m67574, hyphob([a32, a29, a34, a35], -14.7988, 19.6271, 0.6965)). hydrophobic(m67574, hyphob([a32, a29, a34, a36], -14.7988, 19.6271, 0.6965)). hydrophobic(m67574, hyphob([a32, a29, a35, a36], -14.7988, 19.6271, 0.6965)). hydrophobic(m67574, hyphob([a42, a36, a47, a48], -13.1478, 18.6151, -1.1083)). hydrophobic(m67574, hyphob([a53, a48, a56, a57], -11.8277, 17.9332, -3.1517)). hydrophobic(m67574, hyphob([a3, a4, a5, a6], -20.667, 17.1215, 2.6909)). hydrophobic(m67574, hyphob([a7, a12, a13, a14], -18.9049, 16.6043, 0.7692)). hydrophobic(m67574, hyphob([a7, a12, a13, a4], -18.9049, 16.6043, 0.7692)). hydrophobic(m67574, hyphob([a7, a12, a14, a4], -18.9049, 16.6043, 0.7692)). hydrophobic(m67574, hyphob([a7, a13, a14, a4], -18.9049, 16.6043, 0.7692)). hydrophobic(m67574, hyphob([a10, a12, a18, a5], -19.884, 14.7264, 2.2686)). hydrophobic(m67574, hyphob([a32, a34, a35, a36], -14.7988, 19.6271, 0.6965)). hydrophobic(m71261, hyphob([a2, a4, a7, a9, a5, a3, a2], 3.82232, -4.40488, 3.51453)). hydrophobic(m71851, hyphob([a2, a4, a7, a9, a5, a3, a2], 3.0577, -8.11483, 6.64207)). hydrophobic(m73754, hyphob([a12, a15, a14, a8, a4, a7, a12], 5.45032, -2.59612, 6.33103)). hydrophobic(m79037, hyphob([a10, a14, a11, a7, a3, a6, a10], 2.25092, -0.993783, 7.35948)). hydrophobic(m82151, hyphob([a11, a16, a9, a5, a3, a6, a11], 8.83328, -2.11378, -1.1989)). hydrophobic(m82151, hyphob([a12, a21, a14, a8, a4, a7, a12], 13.3868, -1.35157, 0.654617)). hydrophobic(m82151, hyphob([a14, a21, a26, a31, a27, a22, a14], 15.6549, -0.934433, 1.63368)). hydrophobic(m82151, hyphob([a23, a29, a33, a36, a32, a28, a23], 6.71507, -5.67418, 1.5963)). hydrophobic(m82151, hyphob([a10, a5, a3, a2, a4, a7, a10], 11.0976, -1.75518, -0.301567)). hydrophobic(m82151, hyphob([a11, a16, a18, a6], 7.5499, -1.5416, -1.6393)). hydrophobic(m83265, hyphob([a10, a17, a23, a16, a9, a4, a10], 6.19182, -2.1422, 3.37773)). hydrophobic(m83265, hyphob([a11, a18, a24, a19, a12, a5, a11], 6.47185, 1.46648, 0.0920167)). hydrophobic(m83265, hyphob([a14, a22, a15, a8, a3, a7, a14], 2.21588, 0.230833, 2.05837)). hydrophobic(m83265, hyphob([a1, a3, a4, a5], 5.1084, 0.4283, 2.4741)). hydrophobic(m94600, hyphob([a10, a12, a7, a5, a3, a6, a10], 5.13067, 2.22505, 1.93147)). hydrophobic(m94600, hyphob([a11, a15, a13, a8, a5, a7, a11], 2.93628, 2.96422, 1.02792)). hydrophobic(m94600, hyphob([a16, a19, a21, a22, a20, a18, a16], -0.80405, 2.91353, -0.712667)). hydrophobic(m94600, hyphob([a21, a22, a24, a26, a25, a23, a21], -2.9181, 2.12945, -1.48718)). hydrophobic(m94600, hyphob([a3, a1, a5, a6], 4.6223, 0.8478, 2.1774)). hydrophobic(m95382, hyphob([a10, a15, a13, a8, a3, a7, a10], 5.70548, 0.5571, 4.45953)). hydrophobic(m95382, hyphob([a10, a14, a18, a16, a11, a7, a10], 7.64083, 1.56705, 3.29288)). hydrophobic(m95382, hyphob([a19, a22, a24, a25, a23, a21, a19], 10.2573, 2.69763, 0.3187)). hydrophobic(m95382, hyphob([a24, a25, a27, a29, a28, a26, a24], 11.1298, 3.16402, -1.84932)). hydrophobic(m95382, hyphob([a3, a6, a7, a8], 4.8338, 0.6507, 3.2565)). hydrophobic(m95441, hyphob([a10, a14, a11, a7, a3, a6, a10], 0.783717, 2.80622, 2.68172)). hydrophobic(m95441, hyphob([a14, a10, a11, a16], -0.5091, 2.4881, 2.0352)). hydrophobic(m95466, hyphob([a11, a15, a12, a7, a3, a6, a11], 2.17427, 6.35537, 5.68988)). hydrophobic(m95678, hyphob([a10, a13, a9, a5, a3, a6, a10], 1.80332, 0.666417, 9.09475)). hydrophobic(m100880, hyphob([a1, a6, a5, a4, a3, a2, a1], -1.01912, 7.16165, 2.86315)). hydrophobic(m100880, hyphob([a11, a12, a17, a16, a15, a14, a11], 5.10087, 5.51372, 1.84442)). hydrophobic(m100880, hyphob([a10, a8, a7, a6, a5, a9, a10], 1.24507, 6.9395, 2.15537)). hydrophobic(m100880, hyphob([a19, a15, a21, a22], 6.4888, 3.2656, 3.1854)). hydrophobic(m107124, hyphob([a11, a15, a20, a19, a14, a9, a11], 8.12632, -2.12672, 6.85942)). hydrophobic(m107124, hyphob([a12, a18, a13, a8, a4, a7, a12], 5.30423, 2.77988, 3.6011)). hydrophobic(m107124, hyphob([a19, a20, a24, a26, a25, a23, a19], 9.46262, -4.09203, 7.05368)). hydrophobic(m107124, hyphob([a10, a5, a3, a2, a4, a7, a10], 6.28077, 1.18785, 5.24043)). hydrophobic(m107124, hyphob([a12, a16, a18, a7], 6.1693, 2.2645, 2.5048)). hydrophobic(m107392, hyphob([a12, a8, a5, a3, a6, a9, a12], 2.04807, 0.403133, 9.07208)). hydrophobic(m118994, hyphob([a11, a16, a19, a17, a12, a7, a11], 1.3624, 4.24412, 3.89758)). hydrophobic(m122819, hyphob([a10, a11, a8, a5, a3, a6, a10], 16.2907, -5.25137, 7.87785)). hydrophobic(m122819, hyphob([a11, a16, a21, a17, a12, a8, a11], 16.8165, -3.63017, 9.61418)). hydrophobic(m122819, hyphob([a13, a18, a24, a19, a14, a9, a13], 18.5914, -4.15265, 5.09258)). hydrophobic(m122819, hyphob([a20, a26, a33, a36, a35, a27, a20], 15.7111, -9.08925, 11.1418)). hydrophobic(m122819, hyphob([a33, a36, a39, a41, a40, a37, a33], 16.8952, -11.1536, 11.4385)). hydrophobic(m122819, hyphob([a3, a2, a5, a6], 15.4262, -5.4926, 6.8344)). hydrophobic(m122819, hyphob([a5, a3, a8, a9], 16.2032, -4.1699, 6.8047)). hydrophobic(m122819, hyphob([a6, a10, a3, a7], 16.3568, -6.5781, 7.3216)). hydrophobic(m123127, hyphob([a11, a16, a9, a5, a3, a6, a11], 3.83792, 4.17115, 8.58395)). hydrophobic(m123127, hyphob([a12, a21, a14, a8, a4, a7, a12], 1.73495, 6.86562, 12.2046)). hydrophobic(m123127, hyphob([a14, a21, a26, a32, a27, a22, a14], 0.67215, 8.23783, 14.0133)). hydrophobic(m123127, hyphob([a23, a29, a34, a37, a33, a28, a23], 1.77462, 5.56923, 4.85405)). hydrophobic(m123127, hyphob([a10, a5, a3, a2, a4, a7, a10], 2.8048, 5.50725, 10.3779)). hydrophobic(m123127, hyphob([a11, a16, a18, a6], 5.0339, 3.8072, 7.8209)). hydrophobic(m125973, hyphob([a10, a17, a12, a7, a3, a6, a10], 3.83513, 10.354, 11.6964)). hydrophobic(m125973, hyphob([a14, a20, a29, a34, a30, a21, a14], 4.21612, 13.3168, 15.4322)). hydrophobic(m125973, hyphob([a26, a32, a37, a43, a38, a33, a26], 9.18405, 9.96385, 16.2765)). hydrophobic(m125973, hyphob([a49, a51, a55, a59, a56, a52, a49], 8.5938, 18.8118, 16.376)). hydrophobic(m125973, hyphob([a54, a57, a60, a62, a61, a58, a54], 5.87517, 23.444, 18.8093)). hydrophobic(m125973, hyphob([a20, a14, a27, a29], 3.8753, 12.0008, 15.8977)). hydrophobic(m125973, hyphob([a20, a14, a27, a28], 3.8753, 12.0008, 15.8977)). hydrophobic(m125973, hyphob([a20, a14, a28, a29], 3.8753, 12.0008, 15.8977)). hydrophobic(m125973, hyphob([a3, a6, a7, a8], 5.3497, 10.5703, 11.6682)). hydrophobic(m125973, hyphob([a6, a10, a3, a9], 4.479, 10.7128, 12.9397)). hydrophobic(m125973, hyphob([a10, a16, a17, a6], 2.9753, 11.2582, 12.6326)). hydrophobic(m125973, hyphob([a10, a15, a16, a17], 2.9753, 11.2582, 12.6326)). hydrophobic(m125973, hyphob([a10, a15, a16, a6], 2.9753, 11.2582, 12.6326)). hydrophobic(m125973, hyphob([a10, a15, a17, a6], 2.9753, 11.2582, 12.6326)). hydrophobic(m125973, hyphob([a14, a20, a21, a9], 4.9666, 12.39, 14.8527)). hydrophobic(m125973, hyphob([a20, a27, a28, a29], 3.8753, 12.0008, 15.8977)). hydrophobic(m126771, hyphob([a2, a4, a8, a9, a5, a3, a2], 3.35455, 2.45558, 6.22092)). hydrophobic(m126771, hyphob([a10, a15, a11, a6, a3, a5, a10], 2.01825, 4.5598, 6.48378)). hydrophobic(m132483, hyphob([a2, a3, a5, a9, a8, a4, a2], 0.0112, 2.74565, -0.169583)). hydrophobic(m132483, hyphob([a10, a14, a12, a6, a3, a5, a10], -2.09172, 3.64248, -0.8605)). hydrophobic(m132483, hyphob([a15, a17, a19, a22, a20, a18, a15], 1.8559, 0.961283, 4.4631)). hydrophobic(m134033, hyphob([a2, a4, a7, a9, a5, a3, a2], 4.93315, 2.9931, 2.04015)). hydrophobic(m134033, hyphob([a10, a12, a8, a5, a3, a6, a10], 5.60165, 1.16962, 0.6499)). hydrophobic(m134033, hyphob([a15, a16, a18, a21, a19, a17, a15], 8.8776, -2.42942, 2.0557)). hydrophobic(m135758, hyphob([a2, a4, a7, a8, a5, a3, a2], 3.97998, -6.70118, -6.60825)). hydrophobic(m135758, hyphob([a10, a14, a17, a13, a9, a6, a10], 5.854, -3.9807, -8.28225)). hydrophobic(m135758, hyphob([a11, a16, a19, a21, a18, a15, a11], 6.85193, -9.50498, -7.28458)). hydrophobic(m139105, hyphob([a11, a14, a17, a15, a12, a7, a11], -1.33653, -1.65813, 5.71583)). hydrophobic(m139105, hyphob([a20, a21, a23, a26, a24, a22, a20], -4.36968, 0.148017, 0.444367)). hydrophobic(m141540, hyphob([a10, a11, a8, a5, a3, a6, a10], 0.122467, 0.547833, 0.978167)). hydrophobic(m141540, hyphob([a11, a16, a21, a17, a12, a8, a11], -1.74687, 2.05002, 0.52855)). hydrophobic(m141540, hyphob([a13, a18, a24, a19, a14, a9, a13], 2.78038, 3.16842, 1.63532)). hydrophobic(m141540, hyphob([a20, a26, a33, a36, a35, a27, a20], -3.12523, -2.80702, 1.95505)). hydrophobic(m141540, hyphob([a33, a36, a39, a41, a40, a37, a33], -3.94255, -4.29932, 3.56483)). hydrophobic(m141540, hyphob([a3, a2, a5, a6], 1.2052, -0.1192, 0.4147)). hydrophobic(m141540, hyphob([a5, a3, a8, a9], 1.0496, 1.3728, 0.0982)). hydrophobic(m141540, hyphob([a6, a10, a3, a7], 0.8178, -0.3584, 1.8509)). hydrophobic(m142982, hyphob([a3, a4, a6, a9, a8, a5, a3], 2.36192, 3.84673, 3.10047)). hydrophobic(m142982, hyphob([a10, a14, a11, a7, a4, a6, a10], -0.20465, 4.0201, 3.32907)). hydrophobic(m142982, hyphob([a11, a14, a17, a20, a18, a15, a11], -2.75653, 3.92507, 2.98453)). hydrophobic(m145668, hyphob([a10, a13, a15, a14, a12, a9, a10], -0.269433, 4.5337, 1.53227)). hydrophobic(m148958, hyphob([a2, a3, a5, a8, a7, a4, a2], 2.7835, -1.59293, 4.96795)). hydrophobic(m153858, hyphob([a10, a14, a20, a27, a19, a13, a10], -4.0428, 6.30517, 11.4136)). hydrophobic(m153858, hyphob([a24, a32, a39, a42, a37, a31, a24], 3.64605, 5.11495, 6.77632)). hydrophobic(m153858, hyphob([a2, a1, a3, a4], -1.9303, 2.2476, 9.8499)). hydrophobic(m153858, hyphob([a6, a10, a3, a9], -3.44, 3.5483, 11.7786)). hydrophobic(m164011, hyphob([a11, a16, a9, a5, a3, a6, a11], 10.5959, -10.9177, 4.72085)). hydrophobic(m164011, hyphob([a12, a21, a14, a8, a4, a7, a12], 9.69462, -9.73137, -0.0296667)). hydrophobic(m164011, hyphob([a14, a21, a26, a32, a27, a22, a14], 9.27577, -9.15892, -2.43308)). hydrophobic(m164011, hyphob([a23, a29, a34, a38, a33, a28, a23], 9.82312, -15.3605, 3.91407)). hydrophobic(m164011, hyphob([a41, a43, a45, a47, a46, a44, a41], 12.6658, -6.56495, 11.6758)). hydrophobic(m164011, hyphob([a10, a5, a3, a2, a4, a7, a10], 10.131, -10.3154, 2.3774)). hydrophobic(m164011, hyphob([a11, a16, a18, a6], 11.5167, -10.9354, 5.8628)). hydrophobic(m167780, hyphob([a11, a13, a12, a8, a4, a7, a11], 11.7889, -2.14402, 9.84593)). hydrophobic(m167780, hyphob([a28, a25, a30, a31], 11.1849, 2.1663, 4.669)). hydrophobic(m172112, hyphob([a10, a14, a11, a7, a3, a6, a10], 3.75385, 4.20085, 2.23962)). hydrophobic(m172112, hyphob([a3, a2, a6, a7], 4.2638, 2.9057, 2.6961)). hydrophobic(m174121, hyphob([a10, a16, a12, a7, a4, a6, a10], 0.566067, 1.18608, 0.631467)). hydrophobic(m174121, hyphob([a10, a17, a21, a18, a11, a6, a10], 1.19235, -0.775983, 1.89717)). hydrophobic(m174121, hyphob([a26, a27, a29, a31, a30, a28, a26], 1.29595, -1.37097, -2.29622)). hydrophobic(m174121, hyphob([a29, a31, a33, a36, a35, a32, a29], 0.50845, -3.58638, -2.18655)). hydrophobic(m176323, hyphob([a10, a12, a7, a5, a3, a6, a10], 5.7998, -1.42142, -0.995133)). hydrophobic(m176323, hyphob([a11, a15, a13, a8, a5, a7, a11], 3.86638, 0.0737, -1.45712)). hydrophobic(m176323, hyphob([a16, a19, a21, a22, a20, a18, a16], 0.0177833, 1.52895, -1.62995)). hydrophobic(m176323, hyphob([a21, a22, a24, a27, a25, a23, a21], -2.31933, 1.74373, -1.21695)). hydrophobic(m176323, hyphob([a3, a1, a5, a6], 5.0429, -2.1376, 0.0768)). hydrophobic(m182986, hyphob([a12, a15, a9, a6, a3, a7, a12], -9.31882, 3.07992, -2.57167)). hydrophobic(m184692, hyphob([a11, a15, a13, a7, a4, a6, a11], -3.44957, 0.614217, 7.70618)). hydrophobic(m184692, hyphob([a16, a19, a21, a22, a20, a18, a16], -0.0254333, 6.46002, 7.59162)). hydrophobic(m184692, hyphob([a10, a6, a4, a3, a5, a9, a10], -1.35183, 1.73087, 8.00918)). hydrophobic(m241240, hyphob([a3, a2, a5, a6], 2.0226, 0.612, 3.6925)). hydrophobic(m241240, hyphob([a3, a2, a5, a7], 2.0226, 0.612, 3.6925)). hydrophobic(m241240, hyphob([a3, a2, a6, a7], 2.0226, 0.612, 3.6925)). hydrophobic(m241240, hyphob([a3, a5, a6, a7], 2.0226, 0.612, 3.6925)). hydrophobic(m249910, hyphob([a11, a15, a21, a19, a14, a9, a11], 3.92365, 6.21037, 12.7822)). hydrophobic(m249910, hyphob([a12, a18, a13, a8, a4, a7, a12], 2.9447, 6.57173, 6.33212)). hydrophobic(m249910, hyphob([a19, a21, a25, a27, a26, a24, a19], 5.04657, 5.45715, 14.7481)). hydrophobic(m249910, hyphob([a10, a5, a3, a2, a4, a7, a10], 3.0351, 6.84005, 8.80173)). hydrophobic(m249910, hyphob([a12, a16, a18, a7], 4.2243, 5.8123, 6.3178)). hydrophobic(m249992, hyphob([a10, a15, a8, a4, a2, a5, a10], 4.26545, 0.890083, 2.26782)). hydrophobic(m249992, hyphob([a10, a18, a23, a19, a11, a5, a10], 3.6036, -0.504217, 4.09743)). hydrophobic(m249992, hyphob([a13, a21, a14, a7, a3, a6, a13], 3.50965, 4.80823, 5.04913)). hydrophobic(m249992, hyphob([a16, a22, a17, a9, a4, a8, a16], 4.97292, 2.23708, 0.418933)). hydrophobic(m267469, hyphob([a11, a16, a9, a5, a3, a6, a11], 8.33092, 4.85267, 1.53332)). hydrophobic(m267469, hyphob([a12, a21, a14, a8, a4, a7, a12], 6.07638, 4.89507, 5.96063)). hydrophobic(m267469, hyphob([a14, a21, a26, a32, a27, a22, a14], 4.81552, 4.68553, 8.11828)). hydrophobic(m267469, hyphob([a23, a29, a34, a37, a33, a28, a23], 10.121, 0.7851, 1.70658)). hydrophobic(m267469, hyphob([a10, a5, a3, a2, a4, a7, a10], 7.25088, 4.93773, 3.74007)). hydrophobic(m267469, hyphob([a11, a16, a18, a6], 8.1508, 4.8235, 0.0971)). hydrophobic(m268242, hyphob([a11, a16, a9, a5, a3, a6, a11], 11.1723, -5.88885, 2.07745)). hydrophobic(m268242, hyphob([a12, a21, a14, a8, a4, a7, a12], 12.3867, -9.06023, -1.5346)). hydrophobic(m268242, hyphob([a14, a21, a26, a31, a27, a22, a14], 12.8263, -10.6556, -3.42138)). hydrophobic(m268242, hyphob([a23, a29, a33, a36, a32, a28, a23], 12.1922, -5.14415, 5.5722)). hydrophobic(m268242, hyphob([a41, a43, a47, a51, a48, a44, a41], 6.0353, -4.14483, 6.06378)). hydrophobic(m268242, hyphob([a42, a45, a49, a52, a50, a46, a42], 7.6511, -6.27303, 9.69185)). hydrophobic(m268242, hyphob([a10, a5, a3, a2, a4, a7, a10], 11.8811, -7.45032, 0.33125)). hydrophobic(m268242, hyphob([a11, a16, a18, a6], 10.8425, -4.5084, 2.573)). hydrophobic(m269148, hyphob([a10, a17, a24, a15, a9, a5, a10], -0.0490167, 3.50538, 0.74615)). hydrophobic(m269148, hyphob([a12, a16, a9, a5, a3, a6, a12], 0.998383, 1.35987, 0.644083)). hydrophobic(m269148, hyphob([a13, a21, a14, a8, a4, a7, a13], 5.99217, 1.00642, 0.933817)). hydrophobic(m269148, hyphob([a14, a22, a28, a33, a27, a21, a14], 8.44925, 0.8467, 1.05802)). hydrophobic(m269148, hyphob([a15, a24, a17, a26, a30, a25, a15], -1.02943, 4.03612, -0.1808)). hydrophobic(m269148, hyphob([a11, a6, a3, a2, a4, a7, a11], 3.49342, 1.18328, 0.77875)). hydrophobic(m269148, hyphob([a28, a22, a33, a34], 9.7461, 1.4361, 0.7125)). hydrophobic(m269148, hyphob([a15, a23, a25, a9], -1.4024, 2.9855, 0.6663)). hydrophobic(m271674, hyphob([a12, a17, a13, a7, a4, a6, a12], 3.87397, 5.65103, 0.338167)). hydrophobic(m271674, hyphob([a14, a15, a20, a24, a23, a19, a14], 1.85363, -2.20265, 3.71317)). hydrophobic(m295500, hyphob([a11, a15, a21, a19, a14, a9, a11], 0.0960833, -0.878133, 11.5515)). hydrophobic(m295500, hyphob([a12, a18, a13, a8, a4, a7, a12], 5.19188, 3.02787, 10.4724)). hydrophobic(m295500, hyphob([a19, a21, a26, a30, a29, a24, a19], -2.22693, -1.405, 11.5121)). hydrophobic(m295500, hyphob([a10, a5, a3, a2, a4, a7, a10], 3.60705, 1.18587, 10.9796)). hydrophobic(m295500, hyphob([a12, a16, a18, a7], 4.18, 3.7326, 9.631)). hydrophobic(m295501, hyphob([a11, a15, a21, a19, a14, a9, a11], 0.543267, 5.31103, 0.906783)). hydrophobic(m295501, hyphob([a12, a18, a13, a8, a4, a7, a12], 1.58323, 0.955333, 5.64285)). hydrophobic(m295501, hyphob([a19, a21, a26, a28, a27, a24, a19], 0.42285, 7.51803, 0.0159)). hydrophobic(m295501, hyphob([a10, a5, a3, a2, a4, a7, a10], 1.18958, 2.21, 3.54055)). hydrophobic(m295501, hyphob([a12, a16, a18, a7], 2.2756, 2.1183, 6.2695)). hydrophobic(m301739, hyphob([a10, a12, a8, a5, a3, a6, a10], -0.395167, -4.23992, 1.04205)). hydrophobic(m301739, hyphob([a13, a19, a15, a9, a5, a8, a13], 0.846, -6.38898, 0.674133)). hydrophobic(m301739, hyphob([a15, a20, a25, a28, a23, a19, a15], 2.08557, -8.53532, 0.306733)). hydrophobic(m303812, hyphob([a10, a13, a6, a3, a2, a4, a10], -7.05138, -5.92258, 5.81487)). hydrophobic(m303812, hyphob([a11, a18, a9, a4, a2, a5, a11], -7.34667, -7.69558, 7.63468)). hydrophobic(m303812, hyphob([a14, a19, a15, a8, a3, a7, a14], -5.93602, -7.1262, 3.61465)). hydrophobic(m303812, hyphob([a2, a1, a3, a4], -7.5375, -7.3198, 6.1621)). hydrophobic(m303812, hyphob([a2, a1, a3, a5], -7.5375, -7.3198, 6.1621)). hydrophobic(m303812, hyphob([a2, a1, a4, a5], -7.5375, -7.3198, 6.1621)). hydrophobic(m303812, hyphob([a3, a2, a6, a7], -6.8089, -6.9757, 4.8113)). hydrophobic(m303812, hyphob([a3, a2, a6, a8], -6.8089, -6.9757, 4.8113)). hydrophobic(m303812, hyphob([a3, a2, a7, a8], -6.8089, -6.9757, 4.8113)). hydrophobic(m303812, hyphob([a14, a12, a19, a7], -6.6392, -6.8313, 2.4471)). hydrophobic(m303812, hyphob([a19, a14, a15, a22], -5.1548, -7.2261, 2.3581)). hydrophobic(m303812, hyphob([a2, a3, a4, a5], -7.5375, -7.3198, 6.1621)). hydrophobic(m303812, hyphob([a3, a6, a7, a8], -6.8089, -6.9757, 4.8113)). hydrophobic(m303812, hyphob([a4, a10, a2, a9], -7.0024, -6.3198, 7.2411)). hydrophobic(m303812, hyphob([a6, a12, a13, a3], -7.1737, -5.5343, 4.4282)). hydrophobic(m303812, hyphob([a9, a16, a18, a4], -7.441, -6.6082, 8.708)). hydrophobic(m303812, hyphob([a9, a16, a17, a18], -7.441, -6.6082, 8.708)). hydrophobic(m303812, hyphob([a9, a16, a17, a4], -7.441, -6.6082, 8.708)). hydrophobic(m303812, hyphob([a9, a17, a18, a4], -7.441, -6.6082, 8.708)). hydrophobic(m308847, hyphob([a2, a4, a8, a9, a5, a3, a2], 0.67685, 0.26905, -0.358717)). hydrophobic(m308847, hyphob([a10, a15, a11, a6, a3, a5, a10], 2.45248, 1.9573, -0.495583)). hydrophobic(m308847, hyphob([a10, a16, a19, a14, a9, a5, a10], 3.0288, -0.3262, 0.00798333)). hydrophobic(m330500, hyphob([a1, a2, a3, a4, a5, a6, a1], 6.72775, 7.26958, -0.98755)). hydrophobic(m330500, hyphob([a12, a11, a13, a27], 6.7033, 2.8663, 4.3536)). hydrophobic(m330500, hyphob([a16, a15, a17, a33], 4.763, 1.0394, 0.0952)). hydrophobic(m330500, hyphob([a20, a19, a21, a38], 5.4076, 4.0802, -2.6061)). hydrophobic(m332598, hyphob([a32, a34, a35, a37, a38, a33, a32], 6.6875, 1.14873, 1.06762)). hydrophobic(m332598, hyphob([a18, a15, a19, a20], 2.6794, -3.9219, -0.6274)). hydrophobic(m332598, hyphob([a24, a22, a25, a27], 3.0329, 0.9336, -1.9684)). hydrophobic(m332598, hyphob([a38, a33, a37, a39], 6.8835, 0.2244, 2.2418)). hydrophobic(m337766, hyphob([a10, a14, a8, a5, a3, a6, a10], 3.46747, -8.79083, 4.44847)). hydrophobic(m337766, hyphob([a10, a17, a23, a18, a11, a6, a10], 4.98572, -10.5507, 5.11462)). hydrophobic(m337766, hyphob([a15, a22, a16, a9, a5, a8, a15], 2.00867, -7.02115, 3.68283)). hydrophobic(m344007, hyphob([a10, a8, a5, a3, a6, a9, a10], 6.3811, 1.03572, 12.921)). hydrophobic(m349174, hyphob([a10, a13, a8, a5, a3, a6, a10], 16.6394, 0.880317, 19.396)). hydrophobic(m349174, hyphob([a12, a16, a15, a9, a5, a8, a12], 17.0291, 2.92893, 18.0807)). hydrophobic(m349174, hyphob([a15, a19, a23, a25, a20, a16, a15], 17.547, 5.05337, 16.8802)). hydrophobic(m352122, hyphob([a2, a3, a5, a9, a8, a4, a2], 3.40285, 2.32145, 3.21113)). hydrophobic(m352122, hyphob([a10, a14, a12, a6, a3, a5, a10], 5.166, 2.12847, 1.61197)). hydrophobic(m352122, hyphob([a15, a17, a19, a22, a20, a18, a15], 2.04108, 6.21135, 4.16418)). hydrophobic(m354646, hyphob([a10, a14, a8, a4, a2, a5, a10], 1.86525, 12.2625, 9.21382)). hydrophobic(m354646, hyphob([a11, a19, a12, a7, a3, a6, a11], 2.27362, 8.38462, 11.05)). hydrophobic(m354646, hyphob([a13, a23, a16, a9, a4, a8, a13], -0.56355, 12.4687, 9.25963)). hydrophobic(m354646, hyphob([a16, a24, a32, a37, a30, a23, a16], -3.02863, 12.9399, 9.39072)). hydrophobic(m354646, hyphob([a20, a28, a34, a39, a35, a29, a20], 4.12232, 4.96915, 9.4635)). hydrophobic(m354646, hyphob([a32, a38, a42, a43, a40, a37, a32], -5.47673, 13.467, 9.5221)). hydrophobic(m354646, hyphob([a10, a14, a17, a5], 3.1978, 12.5644, 8.5788)). hydrophobic(m355644, hyphob([a10, a13, a8, a5, a3, a6, a10], -5.19662, 13.3884, 24.1585)). hydrophobic(m355644, hyphob([a12, a16, a15, a9, a5, a8, a12], -6.4961, 12.4029, 26.0025)). hydrophobic(m355644, hyphob([a15, a19, a23, a25, a20, a16, a15], -7.90273, 11.4998, 27.8495)). hydrophobic(m357704, hyphob([a10, a14, a8, a4, a2, a5, a10], 0.237233, 2.65888, 0.250017)). hydrophobic(m357704, hyphob([a11, a19, a12, a7, a3, a6, a11], -1.11932, 2.39975, -3.97887)). hydrophobic(m357704, hyphob([a13, a23, a16, a9, a4, a8, a13], 0.445567, 5.03608, 0.87885)). hydrophobic(m357704, hyphob([a16, a24, a32, a38, a30, a23, a16], 0.687383, 7.47958, 1.4438)). hydrophobic(m357704, hyphob([a20, a28, a35, a41, a36, a29, a20], 0.147317, 4.85547, -7.3033)). hydrophobic(m357704, hyphob([a32, a39, a44, a45, a42, a38, a32], 0.942283, 9.91678, 1.9826)). hydrophobic(m357704, hyphob([a10, a14, a17, a5], 0.8942, 1.3779, -0.017)). hydrophobic(m361792, hyphob([a13, a7, a4, a3, a5, a9, a13], 4.58723, -1.73052, 3.54113)). hydrophobic(m363812, hyphob([a10, a12, a13, a11, a9, a8, a10], -1.06855, -1.3593, 1.85248)). hydrophobic(m364830, hyphob([a11, a18, a14, a8, a3, a7, a11], 3.5772, 5.30222, 4.54587)). hydrophobic(m364830, hyphob([a11, a17, a23, a19, a12, a7, a11], 5.63245, 4.8422, 3.23498)). hydrophobic(m364830, hyphob([a24, a27, a29, a30, a28, a26, a24], 8.49745, 2.86552, 1.02455)). hydrophobic(m364830, hyphob([a29, a30, a32, a34, a33, a31, a29], 9.56535, 1.19585, -0.2997)). hydrophobic(m364830, hyphob([a3, a6, a7, a8], 2.811, 4.2396, 3.8183)). hydrophobic(m366140, hyphob([a10, a13, a12, a8, a5, a7, a10], 0.975883, -1.24295, 4.09472)). hydrophobic(m366140, hyphob([a12, a13, a17, a20, a19, a16, a12], 3.40892, -1.35985, 4.14903)). hydrophobic(m366140, hyphob([a11, a7, a5, a4, a6, a9, a11], -1.43138, -1.1214, 4.08725)). hydrophobic(m368390, hyphob([a2, a3, a5, a9, a8, a4, a2], 3.51835, -6.26212, 10.0469)). hydrophobic(m368390, hyphob([a10, a16, a20, a17, a11, a6, a10], 6.59505, -8.8887, 8.66308)). hydrophobic(m368390, hyphob([a14, a18, a19, a15, a9, a8, a14], 2.84238, -3.99385, 10.4311)). hydrophobic(m368390, hyphob([a22, a23, a26, a28, a27, a24, a22], 9.7079, -11.6625, 7.31357)). hydrophobic(m374028, hyphob([a11, a18, a14, a8, a3, a7, a11], 6.87433, -0.396417, 3.29475)). hydrophobic(m374028, hyphob([a11, a17, a23, a19, a12, a7, a11], 9.12213, -0.659883, 2.27783)). hydrophobic(m374028, hyphob([a15, a20, a25, a21, a16, a9, a15], 5.72222, 5.7462, 4.93225)). hydrophobic(m374028, hyphob([a24, a28, a31, a33, a30, a27, a24], 12.1249, -0.9196, -0.538333)). hydrophobic(m374028, hyphob([a31, a33, a36, a38, a37, a34, a31], 13.2874, -0.7114, -2.61003)). hydrophobic(m374028, hyphob([a3, a6, a7, a8], 6.4076, 0.491, 2.1926)). hydrophobic(m376128, hyphob([a24, a25, a26, a27, a28, a29, a24], -13.0236, -24.43, 62.8545)). hydrophobic(m376128, hyphob([a34, a33, a35, a37], -19.5729, -30.2739, 52.3686)). hydrophobic(m376128, hyphob([a43, a42, a44, a45], -21.1303, -32.8086, 57.2325)). hydrophobic(m376128, hyphob([a53, a49, a54, a55], -22.794, -36.8724, 55.6238)). hydrophobic(m376128, hyphob([a12, a13, a14, a9], -16.0244, -28.9283, 59.1767)). hydrophobic(m406042, hyphob([a10, a17, a22, a18, a11, a6, a10], 0.1257, -7.1267, 8.02597)). hydrophobic(m406042, hyphob([a12, a7, a4, a3, a5, a9, a12], 3.09692, -5.03838, 10.4314)). hydrophobic(m603071, hyphob([a1, a6, a5, a4, a3, a2, a1], 11.3304, 0.67825, 9.40142)). hydrophobic(m603071, hyphob([a1, a6, a10, a9, a8, a7, a1], 9.80855, 1.04362, 7.5981)). hydrophobic(m603071, hyphob([a12, a14, a15, a16, a17, a13, a12], 6.28432, 1.6268, 5.52253)). hydrophobic(m603071, hyphob([a15, a18, a19, a20, a21, a16, a15], 3.93467, 2.18767, 4.95035)). hydrophobic(m603071, hyphob([a21, a16, a20, a25], 3.4906, 2.0231, 6.3589)). hydrophobic(m606172, hyphob([a1, a6, a5, a4, a3, a2, a1], 8.33495, -1.19477, 11.9321)). hydrophobic(m606172, hyphob([a12, a14, a15, a16, a17, a13, a12], 5.28065, 1.08027, 6.7498)). hydrophobic(m606172, hyphob([a15, a18, a19, a20, a21, a16, a15], 3.33278, 1.82128, 5.39895)). hydrophobic(m606172, hyphob([a10, a5, a6, a7, a8, a9, a10], 7.65932, -0.220167, 9.86372)). hydrophobic(m606172, hyphob([a21, a16, a20, a23], 2.3666, 1.2431, 6.3688)). hydrophobic(m606173, hyphob([a1, a6, a5, a4, a3, a2, a1], 8.38673, -1.25273, 11.8335)). hydrophobic(m606173, hyphob([a12, a14, a15, a16, a17, a13, a12], 5.2986, 1.1043, 6.72008)). hydrophobic(m606173, hyphob([a15, a18, a19, a20, a21, a16, a15], 3.3363, 1.83227, 5.38342)). hydrophobic(m606173, hyphob([a10, a5, a6, a7, a8, a9, a10], 7.70018, -0.234617, 9.79273)). hydrophobic(m606173, hyphob([a21, a16, a20, a23], 2.3816, 1.2373, 6.3555)). hydrophobic(m606497, hyphob([a1, a6, a5, a4, a3, a2, a1], 4.72658, 7.13133, 7.08815)). hydrophobic(m606497, hyphob([a12, a14, a15, a16, a17, a13, a12], 6.15157, 3.8491, 1.73257)). hydrophobic(m606497, hyphob([a15, a18, a19, a20, a21, a16, a15], 7.15847, 1.99642, 0.41215)). hydrophobic(m606497, hyphob([a10, a5, a6, a7, a8, a9, a10], 4.91488, 6.20793, 4.89618)). hydrophobic(m606497, hyphob([a21, a16, a20, a24], 8.0592, 1.608, 1.5555)). hydrophobic(m606499, hyphob([a1, a6, a5, a4, a3, a2, a1], 13.4659, 10.5052, 7.63967)). hydrophobic(m606499, hyphob([a12, a14, a15, a16, a17, a13, a12], 7.67883, 8.24585, 6.02282)). hydrophobic(m606499, hyphob([a15, a18, a19, a20, a21, a16, a15], 6.0171, 7.24437, 4.47785)). hydrophobic(m606499, hyphob([a10, a5, a6, a7, a8, a9, a10], 11.2371, 9.66703, 7.54092)). hydrophobic(m606499, hyphob([a21, a16, a20, a24], 6.793, 7.681, 3.2743)). hydrophobic(m606985, hyphob([a1, a6, a5, a4, a3, a2, a1], 8.75783, 6.4783, -2.75735)). hydrophobic(m606985, hyphob([a10, a11, a12, a13, a9, a8, a10], 5.25477, 6.01647, -0.630883)). hydrophobic(m606985, hyphob([a11, a14, a15, a16, a17, a12, a11], 3.58878, 6.01295, 1.21798)). hydrophobic(m606985, hyphob([a18, a19, a20, a21, a3, a2, a18], 11.0624, 6.82947, -3.25413)). hydrophobic(m606985, hyphob([a17, a12, a16, a24], 4.6712, 6.1448, 2.2469)). hydrophobic(m608832, hyphob([a10, a17, a12, a7, a3, a6, a10], -40.5685, -22.6284, -10.7606)). hydrophobic(m608832, hyphob([a14, a20, a29, a34, a30, a21, a14], -36.0665, -23.8702, -9.46233)). hydrophobic(m608832, hyphob([a26, a32, a37, a43, a38, a33, a26], -39.9821, -22.3935, -4.67003)). hydrophobic(m608832, hyphob([a49, a51, a55, a59, a56, a52, a49], -33.3197, -30.043, -6.03992)). hydrophobic(m608832, hyphob([a54, a57, a60, a62, a61, a58, a54], -28.8621, -27.061, -7.90938)). hydrophobic(m608832, hyphob([a20, a14, a27, a29], -36.2225, -22.4416, -9.5517)). hydrophobic(m608832, hyphob([a20, a14, a27, a28], -36.2225, -22.4416, -9.5517)). hydrophobic(m608832, hyphob([a20, a14, a28, a29], -36.2225, -22.4416, -9.5517)). hydrophobic(m608832, hyphob([a3, a6, a7, a8], -40.86, -23.2093, -9.3753)). hydrophobic(m608832, hyphob([a6, a10, a3, a9], -39.4915, -22.6239, -9.7972)). hydrophobic(m608832, hyphob([a10, a16, a17, a6], -39.1521, -22.8479, -11.3638)). hydrophobic(m608832, hyphob([a10, a15, a16, a17], -39.1521, -22.8479, -11.3638)). hydrophobic(m608832, hyphob([a10, a15, a16, a6], -39.1521, -22.8479, -11.3638)). hydrophobic(m608832, hyphob([a10, a15, a17, a6], -39.1521, -22.8479, -11.3638)). hydrophobic(m608832, hyphob([a14, a20, a21, a9], -37.2028, -23.472, -8.9045)). hydrophobic(m608832, hyphob([a20, a27, a28, a29], -36.2225, -22.4416, -9.5517)). hydrophobic(m609395, hyphob([a1, a5, a4, a3, a21, a2, a1], -13.047, 6.76825, 9.17827)). hydrophobic(m609395, hyphob([a10, a11, a13, a14, a15, a16, a10], -8.09045, 3.67467, 11.4679)). hydrophobic(m609395, hyphob([a14, a15, a20, a19, a18, a17, a14], -6.24143, 2.71905, 12.5661)). hydrophobic(m609395, hyphob([a21, a22, a23, a24, a25, a26, a21], -14.6907, 8.78897, 10.4124)). hydrophobic(m609395, hyphob([a40, a41, a42, a43, a44, a45, a40], 0.990433, 4.11847, 11.7357)). hydrophobic(m609395, hyphob([a42, a46, a47, a48, a49, a43, a42], 2.84553, 2.93327, 10.8657)). hydrophobic(m609395, hyphob([a53, a58, a57, a56, a55, a54, a53], -3.73443, 0.181733, 15.6127)). hydrophobic(m609395, hyphob([a17, a14, a18, a71], -5.7339, 2.0172, 11.3284)). hydrophobic(m609395, hyphob([a25, a24, a26, a73], -15.1612, 8.735, 11.749)). hydrophobic(m609395, hyphob([a55, a54, a56, a60], -2.7828, 0.8761, 16.475)). hydrophobic(m609395, hyphob([a1, a2, a5, a72], -13.3021, 5.2756, 9.295)). hydrophobic(m610456, hyphob([a1, a6, a10, a9, a8, a7, a1], 9.11688, -1.4279, 5.04958)). hydrophobic(m610456, hyphob([a1, a6, a5, a4, a3, a2, a1], 10.1702, -0.995583, 7.14188)). hydrophobic(m610456, hyphob([a12, a17, a16, a15, a14, a13, a12], 8.70458, -2.31035, 1.05803)). hydrophobic(m610456, hyphob([a15, a21, a20, a19, a18, a16, a15], 9.28257, -3.0083, -1.26045)). hydrophobic(m610456, hyphob([a21, a15, a20, a28], 10.7467, -2.8375, -0.9805)). hydrophobic(m610457, hyphob([a1, a6, a10, a9, a8, a7, a1], 7.13933, -6.54438, -8.62123)). hydrophobic(m610457, hyphob([a1, a6, a5, a4, a3, a2, a1], 9.04223, -5.46473, -9.56437)). hydrophobic(m610457, hyphob([a12, a17, a16, a15, a14, a13, a12], 3.50423, -7.03793, -6.75862)). hydrophobic(m610457, hyphob([a15, a21, a20, a19, a18, a16, a15], 1.28362, -6.5278, -5.75238)). hydrophobic(m610457, hyphob([a21, a15, a20, a28], 1.5916, -5.0594, -5.7417)). hydrophobic(m610458, hyphob([a1, a6, a10, a9, a8, a7, a1], 0.89325, 0.670233, -1.04452)). hydrophobic(m610458, hyphob([a1, a6, a5, a4, a3, a2, a1], -1.3547, -0.118667, -0.997917)). hydrophobic(m610458, hyphob([a12, a17, a16, a15, a14, a13, a12], 4.93075, 1.02275, -0.298133)). hydrophobic(m610458, hyphob([a15, a21, a20, a19, a18, a16, a15], 7.10118, 0.893017, 0.7952)). hydrophobic(m610458, hyphob([a21, a15, a20, a28], 6.8488, -0.5174, 1.2962)). hydrophobic(m610459, hyphob([a1, a6, a10, a9, a8, a7, a1], 6.9361, 1.07292, 8.23438)). hydrophobic(m610459, hyphob([a1, a6, a5, a4, a3, a2, a1], 8.59413, 1.63032, 9.85195)). hydrophobic(m610459, hyphob([a12, a17, a16, a15, a14, a13, a12], 5.19472, 0.247167, 4.60135)). hydrophobic(m610459, hyphob([a15, a21, a20, a19, a18, a16, a15], 4.94812, -0.366233, 2.21198)). hydrophobic(m610459, hyphob([a21, a15, a20, a30], 6.3174, 0.1174, 1.8975)). hydrophobic(m616348, hyphob([a1, a2, a3, a4, a5, a6, a1], 20.2046, -14.8592, 5.0175)). hydrophobic(m616348, hyphob([a10, a11, a12, a7, a8, a9, a10], 16.4686, -14.3595, 4.21447)). hydrophobic(m616348, hyphob([a16, a17, a18, a19, a20, a21, a16], 11.4708, -13.1346, 3.10753)). hydrophobic(m616348, hyphob([a18, a19, a27, a26, a25, a22, a18], 11.2039, -10.7871, 2.76993)). hydrophobic(m616348, hyphob([a28, a29, a31, a33, a34, a35, a28], 9.46508, -7.18095, 1.78073)). hydrophobic(m616348, hyphob([a33, a43, a42, a38, a36, a34, a33], 7.74572, -5.50195, 1.19928)). hydrophobic(m616348, hyphob([a36, a34, a38, a40], 7.0228, -6.4408, 0.3178)). hydrophobic(m618939, hyphob([a1, a6, a5, a4, a3, a2, a1], 2.84355, 10.8798, -0.777667)). hydrophobic(m618939, hyphob([a12, a14, a15, a16, a17, a13, a12], 4.39378, 5.5857, 2.4455)). hydrophobic(m618939, hyphob([a15, a18, a19, a20, a21, a16, a15], 5.23503, 4.34197, 4.42627)). hydrophobic(m618939, hyphob([a10, a5, a6, a7, a8, a9, a10], 3.2534, 8.66113, -0.0212667)). hydrophobic(m618939, hyphob([a21, a16, a20, a23], 5.2842, 5.6081, 5.2426)). hydrophobic(m623017, hyphob([a2, a3, a4, a6, a7, a8, a2], 5.26063, 7.41968, 5.47245)). hydrophobic(m623017, hyphob([a10, a11, a12, a7, a8, a9, a10], 7.36135, 7.54032, 4.42625)). hydrophobic(m623017, hyphob([a15, a16, a17, a18, a19, a20, a15], 12.4471, 7.04343, 4.45163)). hydrophobic(m623017, hyphob([a31, a38, a39, a37, a36, a35, a31], 9.82905, -0.2815, 1.22598)). hydrophobic(m629971, hyphob([a1, a6, a5, a4, a3, a2, a1], 11.9177, -0.4439, 7.15107)). hydrophobic(m629971, hyphob([a10, a11, a5, a4, a8, a9, a10], 10.2418, 0.419167, 5.68487)). hydrophobic(m629971, hyphob([a13, a15, a17, a18, a19, a14, a13], 6.53982, 1.44643, 4.16212)). hydrophobic(m629971, hyphob([a17, a20, a21, a22, a23, a18, a17], 4.1289, 2.00727, 3.96605)). hydrophobic(m629971, hyphob([a23, a18, a22, a25], 3.8084, 1.3348, 5.252)). hydrophobic(m633713, hyphob([a2, a7, a6, a5, a4, a3, a2], 4.66543, 9.14567, 5.09668)). hydrophobic(m633713, hyphob([a10, a11, a12, a6, a5, a9, a10], 6.9486, 8.66962, 5.39733)). hydrophobic(m633713, hyphob([a15, a16, a17, a18, a19, a20, a15], 11.9636, 8.18503, 8.05622)). hydrophobic(m633713, hyphob([a29, a30, a31, a32, a33, a34, a29], 12.6369, 1.96485, 4.62595)). hydrophobic(m643833, hyphob([a1, a6, a5, a4, a3, a2, a1], 6.21803, -6.82033, 6.90825)). hydrophobic(m643833, hyphob([a11, a12, a18, a17, a16, a14, a11], 4.22732, -1.3881, 4.09285)). hydrophobic(m643833, hyphob([a16, a20, a21, a23, a24, a17, a16], 4.0814, 0.3216, 2.28243)). hydrophobic(m643833, hyphob([a10, a5, a4, a7, a8, a9, a10], 5.1258, -4.81585, 6.2189)). hydrophobic(m643833, hyphob([a20, a16, a21, a25], 5.2238, -0.2877, 1.5507)). hacc(m740, hacc(a24, 6.6072, 0.6198, 5.6357)). hacc(m740, hacc(a29, 8.8396, 1.8255, 4.4582)). hacc(m740, hacc(a30, 10.7412, 2.3577, 5.4488)). hacc(m740, hacc(a32, 9.9584, -2.7939, 3.5985)). hacc(m740, hacc(a33, 10.1046, -3.8476, 5.5395)). hacc(m740, hacc(a1, 0.5919, 0.4615, 10.4842)). hacc(m740, hacc(a4, 1.8353, -0.721, 12.0623)). hacc(m740, hacc(a6, 2.3208, 2.6454, 10.8475)). hacc(m740, hacc(a8, 4.3783, 2.3952, 12.6218)). hacc(m740, hacc(a9, 3.6978, 0.2164, 13.1192)). hacc(m740, hacc(a11, 3.0369, -1.9567, 13.6337)). hacc(m740, hacc(a14, 3.0014, 4.699, 8.8659)). hacc(m740, hacc(a23, 8.0923, 1.0005, 7.2351)). hacc(m750, hacc(a1, -0.2993, -1.0876, -0.4478)). hacc(m750, hacc(a5, -1.3856, 0.6982, 0.8775)). hacc(m750, hacc(a6, -1.7368, -1.5194, 1.5201)). hacc(m750, hacc(a10, 5.6836, -1.7757, 0.4477)). hacc(m750, hacc(a13, 7.1244, -1.3444, -1.5193)). hacc(m750, hacc(a14, 6.7733, -3.5614, -0.8769)). hacc(m750, hacc(a2, -1.5772, -0.6376, 0.4064)). hacc(m750, hacc(a11, 6.9635, -2.2256, -0.4053)). hacc(m752, hacc(a1, 5.2269, -0.4425, 4.3422)). hacc(m752, hacc(a4, 2.714, 0.393, 3.6752)). hacc(m752, hacc(a6, 3.4617, -3.1421, 4.1214)). hacc(m752, hacc(a8, 0.827, -0.9891, 3.3323)). hacc(m752, hacc(a9, 1.311, -3.3477, 3.6282)). hacc(m752, hacc(a11, 0.6588, 1.337, 3.0986)). hacc(m755, hacc(a1, 4.0066, 0.3497, 5.7611)). hacc(m755, hacc(a4, 1.9603, 0.5739, 3.9593)). hacc(m755, hacc(a6, 3.1709, -2.6881, 5.0444)). hacc(m755, hacc(a8, 0.7936, -1.2184, 2.9528)). hacc(m755, hacc(a9, 1.5865, -3.3928, 3.6655)). hacc(m757, hacc(a1, 5.9067, -1.1773, 6.8178)). hacc(m757, hacc(a8, 7.0539, -2.7764, 4.9357)). hacc(m757, hacc(a15, 6.378, -2.3744, 2.1801)). hacc(m757, hacc(a25, 4.0664, 3.4627, 9.709)). hacc(m757, hacc(a26, 2.4238, 1.3259, 10.594)). hacc(m757, hacc(a28, 5.6662, 6.2321, 5.6788)). hacc(m757, hacc(a21, 4.2108, 4.6286, 5.3003)). hacc(m762, hacc(a1, 0.3099, 0.1777, -0.173)). hacc(m1895, hacc(a1, 4.115, 1.4057, 2.8143)). hacc(m1895, hacc(a3, 1.9284, 0.7128, 3.465)). hacc(m1895, hacc(a4, 2.2418, 2.863, 3.0726)). hacc(m1895, hacc(a6, 0.9654, 2.6641, 3.4255)). hacc(m1895, hacc(a7, -0.3884, 0.7987, 4.0294)). hacc(m3088, hacc(a18, -10.7103, 7.4526, -0.5204)). hacc(m3088, hacc(a19, -12.564, 6.288, -0.8462)). hacc(m3088, hacc(a1, -4.214, 4.0621, -0.7875)). hacc(m6396, hacc(a2, -0.2545, 0.6726, 0.6575)). hacc(m6396, hacc(a3, -1.4659, -0.5436, -1.2496)). hacc(m6396, hacc(a4, 1.1772, -0.6941, -0.9288)). hacc(m6396, hacc(a5, 0.0484, 1.6184, -1.6455)). hacc(m8806, hacc(a18, 2.2396, 9.4274, 5.8786)). hacc(m8806, hacc(a19, 1.4265, 11.1089, 4.6946)). hacc(m8806, hacc(a1, 2.1974, 10.476, -0.9115)). hacc(m8806, hacc(a17, 4.5013, 10.9102, 6.5382)). hacc(m9706, hacc(a2, -7.4258, -3.4081, -0.6358)). hacc(m9706, hacc(a3, -6.3252, -5.3978, -0.1275)). hacc(m9706, hacc(a4, -8.5593, -5.4444, -0.8111)). hacc(m9706, hacc(a9, -5.1941, -3.3669, 0.0424)). hacc(m9706, hacc(a10, -6.2969, -1.3684, -0.4631)). hacc(m9706, hacc(a11, -4.089, -5.3623, 0.5462)). hacc(m19893, hacc(a1, 1.7055, -3.6369, 4.15)). hacc(m19893, hacc(a9, 4.1719, 0.001, 3.7343)). hacc(m19893, hacc(a4, 2.9684, -1.8481, 3.9639)). hacc(m19893, hacc(a8, 2.0195, 0.1694, 3.2231)). hacc(m25154, hacc(a3, 3.7563, 2.0808, 4.6568)). hacc(m25154, hacc(a14, 4.0028, -2.0658, 9.8425)). hacc(m25154, hacc(a4, 4.3651, 1.3553, 6.6667)). hacc(m25154, hacc(a11, 4.1666, -0.0031, 9.0338)). hacc(m26980, hacc(a1, -2.0971, -2.6529, 0.8996)). hacc(m26980, hacc(a14, 0.4302, 1.3418, 0.4754)). hacc(m26980, hacc(a16, -4.5433, -0.9063, -2.7811)). hacc(m26980, hacc(a19, -2.8103, 1.9613, 1.32)). hacc(m26980, hacc(a23, 2.5102, 1.4198, -0.3473)). hacc(m26980, hacc(a4, -2.0983, -1.6589, -1.2548)). hacc(m26980, hacc(a10, 0.6144, -2.2782, -1.751)). hacc(m26980, hacc(a22, 1.1908, 3.1069, -0.8591)). hacc(m26980, hacc(a24, -5.169, 2.8191, 0.0636)). hacc(m27640, hacc(a1, 0.1569, -0.0636, 4.3168)). hacc(m27640, hacc(a8, -0.32, -2.1603, 2.4375)). hacc(m27640, hacc(a11, 4.4529, 0.9499, 4.3516)). hacc(m27640, hacc(a16, -1.3585, -4.8399, 3.825)). hacc(m27640, hacc(a17, -3.9415, -2.2529, 2.6624)). hacc(m27640, hacc(a3, 1.5781, -1.6782, 3.6946)). hacc(m27640, hacc(a4, 2.2884, 0.4875, 4.3494)). hacc(m32065, hacc(a4, -1.8829, -0.8413, -0.7974)). hacc(m32065, hacc(a5, 1.4205, 0.3067, -1.0921)). hacc(m32065, hacc(a2, -0.0011, 0.2934, -1.0887)). hacc(m32065, hacc(a3, -0.0043, -1.9732, -0.5068)). hacc(m33410, hacc(a1, 1.0996, -0.108, 1.2634)). hacc(m33410, hacc(a8, 2.106, -2.3717, 0.0575)). hacc(m33410, hacc(a15, 4.3412, -3.6837, 1.2403)). hacc(m33410, hacc(a25, -0.687, 3.7503, 5.0875)). hacc(m33410, hacc(a26, -0.2046, 5.0664, 2.6013)). hacc(m33410, hacc(a27, 1.0021, 0.1223, 6.9676)). hacc(m33410, hacc(a21, 2.7596, 1.466, 7.194)). hacc(m34462, hacc(a11, 0.113, -0.2553, 5.7192)). hacc(m34462, hacc(a15, 1.2331, 1.4231, 1.8309)). hacc(m34462, hacc(a1, 2.3431, -1.9179, 5.8527)). hacc(m34462, hacc(a12, 0.6552, 0.6001, 3.7883)). hacc(m34462, hacc(a13, 2.5776, -0.0938, 2.695)). hacc(m49842, hacc(a9, -2.6622, 5.9975, 9.8869)). hacc(m49842, hacc(a19, -1.0372, 8.2619, 9.5356)). hacc(m49842, hacc(a24, -4.4976, 5.7429, 11.157)). hacc(m49842, hacc(a25, -4.1804, 8.0832, 11.3288)). hacc(m49842, hacc(a26, -2.2142, 9.0294, 11.7995)). hacc(m49842, hacc(a33, -8.3894, 10.7031, 6.8811)). hacc(m49842, hacc(a38, -5.2074, 9.065, 3.3887)). hacc(m49842, hacc(a39, -5.8196, 10.9879, 2.4486)). hacc(m49842, hacc(a58, -13.0581, 8.7992, 4.8796)). hacc(m49842, hacc(a8, -2.0421, 7.9634, 5.4153)). hacc(m49842, hacc(a20, -4.0584, 10.2826, 9.0668)). hacc(m49842, hacc(a41, -7.2759, 12.5164, 2.9788)). hacc(m49842, hacc(a52, -10.4026, 10.427, 6.8202)). hacc(m51143, hacc(a2, 1.406, 0.8502, 4.2641)). hacc(m51143, hacc(a4, 2.7642, 2.5324, 4.0412)). hacc(m51143, hacc(a6, 0.0498, 0.4646, 4.49)). hacc(m56410, hacc(a1, -2.0461, -1.96, 2.6074)). hacc(m56410, hacc(a14, 0.4707, 1.7476, 1.0566)). hacc(m56410, hacc(a16, -5.3274, 1.314, 3.525)). hacc(m56410, hacc(a19, -0.1357, 2.2059, 4.0517)). hacc(m56410, hacc(a23, 1.8272, 1.5874, -0.7193)). hacc(m56410, hacc(a4, -3.3221, -0.1146, 1.8708)). hacc(m56410, hacc(a10, -2.7868, -0.5844, -0.8638)). hacc(m56410, hacc(a22, 0.6787, 3.4574, -0.5256)). hacc(m56410, hacc(a24, -1.8674, 3.7071, 5.6776)). hacc(m63878, hacc(a1, 2.9361, -3.0692, -0.6283)). hacc(m63878, hacc(a5, 1.1732, -4.1884, 1.6622)). hacc(m63878, hacc(a7, -0.2883, -4.6272, -0.9662)). hacc(m63878, hacc(a12, 0.5435, -0.3079, 0.9013)). hacc(m63878, hacc(a15, 3.0135, -6.7468, -0.1515)). hacc(m63878, hacc(a6, 1.8658, -1.9456, 1.6326)). hacc(m63878, hacc(a13, 2.2695, 0.3108, 2.1168)). hacc(m63878, hacc(a17, 4.1053, 0.9763, 3.3857)). hacc(m67574, hacc(a9, -20.973, 15.3598, 4.2988)). hacc(m67574, hacc(a19, -21.1274, 14.4658, 1.6364)). hacc(m67574, hacc(a24, -19.6556, 15.8289, 6.0553)). hacc(m67574, hacc(a25, -20.0886, 12.3139, 2.8351)). hacc(m67574, hacc(a26, -18.4414, 13.54, 3.7071)). hacc(m67574, hacc(a33, -13.5607, 17.5413, 2.2111)). hacc(m67574, hacc(a38, -15.6484, 20.349, 2.9222)). hacc(m67574, hacc(a39, -13.6972, 21.1067, 2.1629)). hacc(m67574, hacc(a58, -11.0719, 18.5496, -4.174)). hacc(m67574, hacc(a81, -16.0751, 13.2979, 2.2805)). hacc(m67574, hacc(a8, -20.366, 18.5067, 0.5659)). hacc(m67574, hacc(a20, -17.484, 14.7767, 1.3751)). hacc(m67574, hacc(a41, -15.8178, 21.8407, 0.0064)). hacc(m67574, hacc(a52, -14.3416, 17.5349, -2.8529)). hacc(m71261, hacc(a13, -0.7548, -5.3319, 3.4805)). hacc(m71261, hacc(a18, -1.5217, -8.2047, 4.1781)). hacc(m71261, hacc(a19, -3.5061, -5.1449, 5.8347)). hacc(m71261, hacc(a1, 5.0806, -1.9737, 4.6057)). hacc(m71261, hacc(a4, 5.0672, -4.0514, 3.1471)). hacc(m71261, hacc(a6, 2.2646, -3.0693, 5.2552)). hacc(m71261, hacc(a8, 1.3476, -4.8894, 4.3668)). hacc(m71261, hacc(a9, 3.2449, -5.5371, 2.9956)). hacc(m71261, hacc(a11, 5.1988, -5.9409, 1.7799)). hacc(m71851, hacc(a13, -1.268, -6.2625, 4.9398)). hacc(m71851, hacc(a18, -1.7296, -8.0942, 7.3973)). hacc(m71851, hacc(a19, -4.4883, -5.5337, 6.4636)). hacc(m71851, hacc(a1, 4.1288, -10.4815, 5.2598)). hacc(m71851, hacc(a4, 4.2247, -8.6725, 7.0302)). hacc(m71851, hacc(a6, 1.5281, -9.005, 4.6235)). hacc(m71851, hacc(a8, 0.7418, -7.1828, 5.6303)). hacc(m71851, hacc(a9, 2.5705, -7.0173, 7.2971)). hacc(m71851, hacc(a11, 4.4137, -7.0891, 8.7295)). hacc(m73754, hacc(a13, 5.1015, -3.0265, 3.8288)). hacc(m73754, hacc(a16, 7.7482, -3.0734, 7.3377)). hacc(m73754, hacc(a1, 2.9751, -2.1137, 5.2103)). hacc(m73754, hacc(a12, 5.6754, -2.3848, 7.6415)). hacc(m73754, hacc(a14, 6.4551, -3.0605, 5.5569)). hacc(m79037, hacc(a5, -1.4758, 1.2623, 8.3085)). hacc(m79037, hacc(a13, -4.6457, -0.43, 7.242)). hacc(m79037, hacc(a1, -0.2345, -0.5192, 8.5893)). hacc(m79037, hacc(a4, -2.5596, -0.6047, 7.8673)). hacc(m79037, hacc(a9, -3.5618, 0.0949, 7.5789)). hacc(m82151, hacc(a1, 11.1248, 0.667, -1.6023)). hacc(m82151, hacc(a13, 13.5563, 0.9674, -0.616)). hacc(m82151, hacc(a15, 8.0065, -3.4354, 0.6177)). hacc(m82151, hacc(a17, 11.0538, -4.2592, 0.8158)). hacc(m82151, hacc(a19, 6.9017, -1.2715, -0.4097)). hacc(m82151, hacc(a20, 13.2519, -3.6734, 1.9274)). hacc(m82151, hacc(a25, 5.9328, -0.1005, -2.5772)). hacc(m82151, hacc(a29, 6.7466, -5.3396, 0.2351)). hacc(m82151, hacc(a30, 15.5328, -3.4296, 2.8231)). hacc(m82151, hacc(a38, 5.5956, -8.0626, 2.4401)). hacc(m82151, hacc(a35, 7.9048, -6.7336, 3.3306)). hacc(m83265, hacc(a25, 5.4407, 6.2325, 2.6652)). hacc(m83265, hacc(a26, 3.3574, 6.1074, 3.3911)). hacc(m83265, hacc(a2, 5.4346, 1.6535, 3.7994)). hacc(m83265, hacc(a21, 6.3072, 4.5744, 4.776)). hacc(m94600, hacc(a4, 4.0297, 0.4881, 3.4123)). hacc(m94600, hacc(a9, 6.8307, 0.6205, 2.9819)). hacc(m94600, hacc(a10, 6.4991, 2.4789, 1.8134)). hacc(m94600, hacc(a14, 3.7332, 5.4514, 0.9629)). hacc(m94600, hacc(a15, 2.1629, 3.9547, 0.4471)). hacc(m94600, hacc(a19, -0.5057, 1.6375, -0.2594)). hacc(m95382, hacc(a1, 3.9754, 1.7936, 3.279)). hacc(m95382, hacc(a5, 4.7212, 3.313, 4.7466)). hacc(m95382, hacc(a12, 3.4261, -0.6233, 4.6615)). hacc(m95382, hacc(a13, 5.4546, -0.333, 5.4996)). hacc(m95382, hacc(a17, 8.9179, 1.871, 5.5529)). hacc(m95382, hacc(a18, 8.9495, 2.0232, 3.3285)). hacc(m95382, hacc(a22, 9.0468, 2.3428, -0.256)). hacc(m95441, hacc(a5, 3.4248, 4.1398, 5.7709)). hacc(m95441, hacc(a13, 6.3973, 5.834, 3.8074)). hacc(m95441, hacc(a1, 3.2401, 2.7658, 4.0523)). hacc(m95441, hacc(a4, 5.1786, 4.135, 4.4285)). hacc(m95441, hacc(a9, 5.3115, 5.3653, 4.2149)). hacc(m95466, hacc(a5, 4.7791, 3.0859, 4.2989)). hacc(m95466, hacc(a10, 4.7213, 5.8185, 5.4729)). hacc(m95466, hacc(a14, 1.2591, 3.9674, 1.9032)). hacc(m95466, hacc(a17, 1.5075, 8.85, 5.3519)). hacc(m95466, hacc(a1, 2.9886, 3.6758, 5.478)). hacc(m95466, hacc(a4, 3.0666, 3.9017, 3.1295)). hacc(m95466, hacc(a9, 1.8268, 3.7442, 2.9943)). hacc(m95466, hacc(a11, 3.1254, 7.3431, 5.3976)). hacc(m95678, hacc(a8, 1.6575, -1.8524, 8.001)). hacc(m95678, hacc(a12, 8.0932, 0.8383, 5.9669)). hacc(m95678, hacc(a2, 4.7809, 0.3609, 6.9683)). hacc(m95678, hacc(a4, 5.7616, -0.0761, 6.3023)). hacc(m95678, hacc(a6, 2.9341, 1.4013, 8.9229)). hacc(m95678, hacc(a11, 6.0682, 1.572, 4.6472)). hacc(m100880, hacc(a20, 6.2834, 6.9985, 0.0518)). hacc(m100880, hacc(a23, 7.7384, 3.7538, 3.6446)). hacc(m100880, hacc(a25, 8.7049, 5.7216, 2.177)). hacc(m100880, hacc(a26, 7.6871, 1.4791, 2.2049)). hacc(m100880, hacc(a27, 5.7269, 1.8336, 1.2554)). hacc(m100880, hacc(a7, 1.3995, 5.8616, 3.014)). hacc(m100880, hacc(a12, 4.4353, 6.5529, 1.2069)). hacc(m102627, hacc(a1, 0.6294, -4.026, -2.5084)). hacc(m102627, hacc(a5, -0.1926, -5.516, -0.7096)). hacc(m102627, hacc(a6, 1.625, -6.2325, -1.9872)). hacc(m102627, hacc(a13, 8.1895, -5.7363, -2.3135)). hacc(m102627, hacc(a16, 10.0473, -6.2037, -0.7441)). hacc(m102627, hacc(a17, 10.2236, -4.3355, -2.1323)). hacc(m102627, hacc(a2, 0.3797, -5.5315, -2.0194)). hacc(m102627, hacc(a14, 9.7695, -5.6882, -2.0481)). hacc(m102627, hacc(a9, 5.2756, -2.6324, -2.2811)). hacc(m102816, hacc(a1, 0.2568, 1.3398, 4.2875)). hacc(m102816, hacc(a5, 1.4489, 0.6359, 7.5568)). hacc(m102816, hacc(a7, -0.3412, -0.9067, 5.6588)). hacc(m102816, hacc(a12, 0.7715, 4.2764, 5.9446)). hacc(m102816, hacc(a15, 3.4471, -2.0433, 6.1546)). hacc(m102816, hacc(a6, 2.1397, 2.6294, 6.5574)). hacc(m102816, hacc(a13, 2.9066, 4.8399, 6.3212)). hacc(m102816, hacc(a14, 4.4852, 3.2258, 7.0185)). hacc(m102816, hacc(a17, 5.1291, 5.4567, 6.7663)). hacc(m107124, hacc(a1, 5.0443, 2.3687, 7.2163)). hacc(m107124, hacc(a13, 4.1197, 3.4636, 3.3244)). hacc(m107124, hacc(a17, 7.4406, 2.8291, 2.2372)). hacc(m107124, hacc(a22, 4.9928, 3.9497, 1.3414)). hacc(m107124, hacc(a27, 10.4576, -6.1416, 8.5965)). hacc(m107124, hacc(a3, 6.2991, 0.6621, 6.5211)). hacc(m107124, hacc(a14, 8.463, -2.0398, 5.5173)). hacc(m107392, hacc(a13, -0.0304, 1.3238, 10.6166)). hacc(m107392, hacc(a11, 8.3444, 0.7456, 5.9695)). hacc(m107392, hacc(a2, 5.0181, 0.2493, 6.9128)). hacc(m107392, hacc(a4, 5.9859, -0.1324, 6.1957)). hacc(m107392, hacc(a6, 3.2066, 1.1084, 8.9814)). hacc(m107392, hacc(a10, 6.3455, 1.6976, 4.7543)). hacc(m118994, hacc(a2, 4.2609, 1.5588, 3.2094)). hacc(m118994, hacc(a6, 4.9414, 2.9548, 5.5276)). hacc(m118994, hacc(a14, 5.5231, -1.5747, 1.8254)). hacc(m118994, hacc(a15, 6.9593, 0.5245, 4.477)). hacc(m118994, hacc(a18, 0.0491, 6.2347, 2.862)). hacc(m118994, hacc(a4, 3.8049, 3.8189, 2.8962)). hacc(m118994, hacc(a12, 2.078, 3.1509, 4.4769)). hacc(m118994, hacc(a13, 2.7107, 5.5282, 1.9932)). hacc(m118994, hacc(a19, 0.0523, 4.5646, 4.3432)). hacc(m119875, hacc(a4, 0.3799, -1.2552, -2.0434)). hacc(m119875, hacc(a5, -2.5283, -1.6485, -2.4994)). hacc(m122819, hacc(a1, 14.3295, -5.5377, 4.741)). hacc(m122819, hacc(a4, 15.1159, -7.4914, 5.5484)). hacc(m122819, hacc(a15, 15.4229, -6.9407, 9.5026)). hacc(m122819, hacc(a22, 17.1568, -1.1317, 10.6143)). hacc(m122819, hacc(a23, 20.9926, -3.328, 6.1381)). hacc(m122819, hacc(a25, 18.3787, -4.9549, 2.4625)). hacc(m122819, hacc(a26, 16.4314, -8.9011, 9.9661)). hacc(m122819, hacc(a28, 17.3449, -2.8988, 12.1734)). hacc(m122819, hacc(a31, 20.8484, -4.1689, 3.4946)). hacc(m122819, hacc(a34, 14.0193, -7.1257, 12.0749)). hacc(m122819, hacc(a38, 13.7307, -9.8738, 12.9224)). hacc(m122819, hacc(a39, 16.1652, -11.4145, 12.5674)). hacc(m122819, hacc(a40, 18.0395, -11.8882, 11.2855)). hacc(m122819, hacc(a44, 16.5646, -15.0229, 13.0018)). hacc(m123127, hacc(a1, 5.2228, 5.5468, 11.6829)). hacc(m123127, hacc(a13, 4.0356, 6.964, 13.5163)). hacc(m123127, hacc(a15, 2.5405, 5.1888, 6.8382)). hacc(m123127, hacc(a17, 0.4293, 5.4193, 8.9994)). hacc(m123127, hacc(a19, 5.2342, 4.9668, 7.0349)). hacc(m123127, hacc(a20, -0.5856, 6.7564, 10.9303)). hacc(m123127, hacc(a25, 6.4546, 1.9894, 8.288)). hacc(m123127, hacc(a29, 1.2834, 4.2819, 5.1292)). hacc(m123127, hacc(a30, 5.6402, 2.9822, 5.1184)). hacc(m123127, hacc(a31, -1.7385, 8.0473, 12.6693)). hacc(m123127, hacc(a39, 1.0484, 5.9317, 2.7683)). hacc(m123127, hacc(a36, 2.1642, 8.2414, 3.9792)). hacc(m125973, hacc(a1, 6.6505, 10.0512, 11.9078)). hacc(m125973, hacc(a5, 8.4011, 10.6601, 13.1602)). hacc(m125973, hacc(a11, 4.5715, 11.2447, 9.8688)). hacc(m125973, hacc(a13, 5.672, 10.1241, 14.9982)). hacc(m125973, hacc(a19, 4.5193, 13.0853, 13.7056)). hacc(m125973, hacc(a22, 1.5797, 10.0966, 14.1332)). hacc(m125973, hacc(a24, 1.6241, 10.9952, 10.5806)). hacc(m125973, hacc(a25, 6.7733, 8.4904, 13.9585)). hacc(m125973, hacc(a31, 0.804, 13.3037, 14.079)). hacc(m125973, hacc(a35, 4.8569, 15.1473, 17.0199)). hacc(m125973, hacc(a42, -1.1916, 12.8612, 14.9523)). hacc(m125973, hacc(a45, 6.945, 15.9353, 16.8447)). hacc(m125973, hacc(a47, 3.9843, 17.4426, 18.0904)). hacc(m125973, hacc(a53, 5.5026, 21.1574, 15.9764)). hacc(m125973, hacc(a48, 5.4143, 19.835, 17.7471)). hacc(m126771, hacc(a1, 5.535, 3.7235, 7.0029)). hacc(m126771, hacc(a13, 3.5842, -0.2907, 5.5996)). hacc(m126771, hacc(a14, 1.1915, 1.1707, 5.411)). hacc(m127716, hacc(a1, 0.8643, 4.4369, 8.0704)). hacc(m127716, hacc(a8, 0.3754, 2.3124, 6.3509)). hacc(m127716, hacc(a15, 0.7999, -0.5437, 7.613)). hacc(m127716, hacc(a16, -2.5195, 1.3055, 8.2973)). hacc(m127716, hacc(a3, 2.3908, 3.3764, 6.8583)). hacc(m127716, hacc(a4, 2.5983, 5.6306, 7.4288)). hacc(m127716, hacc(a10, 4.2429, 4.6004, 6.1511)). hacc(m127716, hacc(a11, 4.4558, 6.8456, 6.7208)). hacc(m132313, hacc(a3, -4.4074, 1.3926, -3.536)). hacc(m132313, hacc(a5, -6.0849, 2.8548, -1.7171)). hacc(m132313, hacc(a8, -6.3554, -1.1754, -2.7783)). hacc(m132313, hacc(a10, -8.6747, 2.6095, -4.1008)). hacc(m132483, hacc(a24, 3.3192, 4.038, 5.7328)). hacc(m132483, hacc(a30, 6.013, 4.1559, 6.5201)). hacc(m132483, hacc(a31, 6.6962, 6.1358, 5.8127)). hacc(m132483, hacc(a32, 6.0798, 6.8435, 2.2964)). hacc(m132483, hacc(a33, 5.4606, 8.0773, 4.028)). hacc(m132483, hacc(a10, -1.5413, 4.8733, -0.8811)). hacc(m132483, hacc(a11, -3.4394, 1.3063, -0.5547)). hacc(m132483, hacc(a12, -3.3794, 3.4996, -1.2102)). hacc(m132483, hacc(a13, 1.1703, 0.0985, 1.9195)). hacc(m132483, hacc(a16, -3.5024, 5.757, -1.7697)). hacc(m132483, hacc(a23, 4.8022, 3.3549, 4.2389)). hacc(m134033, hacc(a24, 12.5298, -2.3966, 2.0189)). hacc(m134033, hacc(a29, 14.4967, -0.4877, 4.2036)). hacc(m134033, hacc(a30, 15.2387, -2.2013, 3.0168)). hacc(m134033, hacc(a31, 15.1641, -4.2555, 6.2118)). hacc(m134033, hacc(a32, 16.0049, -4.8078, 4.2404)). hacc(m134033, hacc(a1, 3.7482, 1.3619, 3.8782)). hacc(m134033, hacc(a4, 4.3418, 3.4743, 3.1503)). hacc(m134033, hacc(a9, 5.4897, 3.8545, 1.1572)). hacc(m134033, hacc(a11, 4.8818, 5.6491, 2.5165)). hacc(m134033, hacc(a14, 6.2142, -2.3644, 1.3173)). hacc(m134033, hacc(a23, 12.0187, -2.2463, 4.1707)). hacc(m135758, hacc(a1, 4.2941, -5.3135, -4.428)). hacc(m135758, hacc(a12, 3.2149, -8.182, -8.616)). hacc(m135758, hacc(a4, 4.5618, -7.2526, -5.4378)). hacc(m135758, hacc(a5, 3.321, -6.1632, -7.7427)). hacc(m135758, hacc(a10, 4.4967, -3.6285, -8.4208)). hacc(m135758, hacc(a16, 5.6823, -9.6212, -8.071)). hacc(m139105, hacc(a18, -2.8334, -0.3977, 3.7465)). hacc(m139105, hacc(a28, -7.8013, 1.0592, -0.3529)). hacc(m139105, hacc(a4, 0.2319, -3.0371, 7.5574)). hacc(m139105, hacc(a5, 2.6011, -4.1614, 8.0941)). hacc(m139105, hacc(a9, -1.0766, -2.5548, 9.4963)). hacc(m139105, hacc(a10, 0.8431, -3.8058, 9.6663)). hacc(m139105, hacc(a13, 2.8508, -4.7346, 10.323)). hacc(m139105, hacc(a27, -7.6423, 1.5411, 1.8005)). hacc(m141540, hacc(a1, 3.3787, -0.553, -0.4133)). hacc(m141540, hacc(a4, 2.7309, -1.6524, 1.4454)). hacc(m141540, hacc(a15, -1.2892, -1.4103, 1.3734)). hacc(m141540, hacc(a22, -2.9571, 4.1436, -0.7016)). hacc(m141540, hacc(a23, 4.233, 5.0972, 0.3209)). hacc(m141540, hacc(a25, 2.8959, 2.9175, 4.3773)). hacc(m141540, hacc(a26, -2.8763, -1.8427, 2.9749)). hacc(m141540, hacc(a28, -4.3147, 2.8907, 0.7744)). hacc(m141540, hacc(a31, 4.4332, 4.8447, 3.082)). hacc(m141540, hacc(a34, -4.6793, -2.3863, 0.5233)). hacc(m141540, hacc(a38, -1.4835, -4.0956, 0.8499)). hacc(m141540, hacc(a39, -4.2988, -5.149, 2.5308)). hacc(m141540, hacc(a40, -3.7886, -4.71, 4.7953)). hacc(m142982, hacc(a2, 2.1539, 7.3047, 2.0727)). hacc(m142982, hacc(a13, -0.2887, 1.4082, 3.7155)). hacc(m142982, hacc(a7, -0.1879, 5.6831, 3.5676)). hacc(m142982, hacc(a12, 2.1418, 1.0982, 2.9902)). hacc(m142982, hacc(a21, 4.7976, -1.3989, 3.8043)). hacc(m143095, hacc(a1, -1.5554, 1.6637, 6.6566)). hacc(m143095, hacc(a5, -1.3329, 5.2436, 6.6998)). hacc(m143095, hacc(a7, -3.7225, 3.3201, 6.8046)). hacc(m143095, hacc(a12, 1.0747, 6.1928, 5.3535)). hacc(m143095, hacc(a15, -2.5625, 5.139, 10.1067)). hacc(m143095, hacc(a18, 3.8663, 6.2897, 4.9038)). hacc(m143095, hacc(a10, 1.2722, 2.7695, 6.3076)). hacc(m143095, hacc(a14, 2.6384, 3.1179, 6.0467)). hacc(m143095, hacc(a17, 5.1765, 4.5852, 5.3856)). hacc(m145668, hacc(a1, -1.8939, -0.3577, -0.3239)). hacc(m145668, hacc(a6, -0.2706, 1.8938, 1.943)). hacc(m145668, hacc(a8, -2.3039, 2.6614, -0.5553)). hacc(m145668, hacc(a11, -4.0473, 1.4871, 2.4172)). hacc(m145668, hacc(a9, -0.5874, 3.6825, 0.5975)). hacc(m145668, hacc(a13, 0.0595, 4.0172, 2.7593)). hacc(m145668, hacc(a16, 0.3362, 6.134, 3.5053)). hacc(m148958, hacc(a1, 3.3187, -3.1212, 2.976)). hacc(m148958, hacc(a10, 0.1645, -1.2649, 2.599)). hacc(m148958, hacc(a11, 4.7343, -0.9402, 6.5488)). hacc(m148958, hacc(a3, 1.7956, -1.9698, 4.1255)). hacc(m148958, hacc(a4, 4.0787, -2.0505, 4.7502)). hacc(m153353, hacc(a7, -0.4445, 1.8705, 2.7149)). hacc(m153353, hacc(a8, 1.4471, 3.5495, -1.4286)). hacc(m153353, hacc(a9, -0.7062, 3.8342, -1.8448)). hacc(m153353, hacc(a10, 1.8646, 0.6753, 4.1675)). hacc(m153353, hacc(a3, 0.8028, 1.4368, 2.0873)). hacc(m153353, hacc(a5, 0.0164, 0.8827, -0.6317)). hacc(m153353, hacc(a6, 1.976, 1.399, 3.1549)). hacc(m153858, hacc(a5, -2.1279, 3.6301, 9.7832)). hacc(m153858, hacc(a7, -0.1642, 0.5571, 9.8777)). hacc(m153858, hacc(a14, -4.893, 5.4333, 12.1116)). hacc(m153858, hacc(a16, -1.1173, 0.3467, 11.883)). hacc(m153858, hacc(a17, 1.935, 2.7808, 8.8308)). hacc(m153858, hacc(a25, -3.015, 7.1459, 9.3775)). hacc(m153858, hacc(a28, -6.3745, 7.0798, 12.1016)). hacc(m153858, hacc(a33, -2.5006, 9.6067, 10.6553)). hacc(m153858, hacc(a36, -0.0644, 1.6678, 14.0323)). hacc(m153858, hacc(a44, 6.0682, 4.5375, 5.608)). hacc(m153858, hacc(a18, 1.57, 3.3146, 6.7127)). hacc(m153858, hacc(a21, 1.535, 1.6667, 12.4637)). hacc(m153858, hacc(a27, -4.4645, 7.5655, 11.1099)). hacc(m163501, hacc(a5, 7.7376, 1.04, 9.0922)). hacc(m163501, hacc(a6, 6.4987, 1.914, 10.7057)). hacc(m163501, hacc(a7, 4.9048, -0.1989, 8.4632)). hacc(m163501, hacc(a3, 6.3135, 3.069, 7.4757)). hacc(m163501, hacc(a9, 3.501, -0.2877, 8.3075)). hacc(m164011, hacc(a1, 12.0164, -8.3253, 2.5579)). hacc(m164011, hacc(a13, 11.589, -7.8798, 0.058)). hacc(m164011, hacc(a15, 10.2987, -13.3668, 4.534)). hacc(m164011, hacc(a17, 8.1581, -12.2306, 2.352)). hacc(m164011, hacc(a19, 12.3986, -11.964, 5.4581)). hacc(m164011, hacc(a20, 7.8065, -11.5856, -0.1597)). hacc(m164011, hacc(a29, 8.7576, -14.6366, 3.3667)). hacc(m164011, hacc(a31, 7.2188, -11.0095, -2.4284)). hacc(m164011, hacc(a40, 10.2728, -7.8062, 9.2216)). hacc(m164011, hacc(a42, 9.2848, -17.4795, 3.4123)). hacc(m164011, hacc(a24, 11.6869, -9.2974, 7.6095)). hacc(m164011, hacc(a30, 12.1642, -8.8261, 8.6765)). hacc(m164011, hacc(a37, 11.8886, -17.2414, 4.4236)). hacc(m167780, hacc(a19, 9.7128, 1.7631, 8.6031)). hacc(m167780, hacc(a23, 6.7559, 0.5953, 7.4652)). hacc(m167780, hacc(a26, 12.2464, 2.262, 8.6632)). hacc(m167780, hacc(a27, 13.757, 1.2305, 7.3728)). hacc(m167780, hacc(a1, 14.1802, -3.3824, 9.2041)). hacc(m167780, hacc(a17, 7.4643, 0.4395, 9.5391)). hacc(m167780, hacc(a18, 10.643, 0.0094, 7.6456)). hacc(m172112, hacc(a1, 3.2141, 1.2455, 4.0902)). hacc(m172112, hacc(a13, 7.3116, 1.2711, 2.3393)). hacc(m172112, hacc(a4, 5.3408, 0.9341, 3.3972)). hacc(m172112, hacc(a5, 5.6013, 2.7476, 2.1742)). hacc(m172112, hacc(a15, 5.5062, -2.7516, 3.6543)). hacc(m174121, hacc(a3, -3.04, 1.4572, 0.963)). hacc(m174121, hacc(a14, -4.9653, -0.3198, 1.6025)). hacc(m174121, hacc(a15, -3.6969, -1.8152, 2.6202)). hacc(m174121, hacc(a22, -7.7166, 2.706, 3.0673)). hacc(m174121, hacc(a23, -7.0675, 3.2944, 5.1002)). hacc(m174121, hacc(a2, -2.4325, 1.0251, 3.0308)). hacc(m174121, hacc(a20, 3.0872, 1.2573, -0.4685)). hacc(m174121, hacc(a27, 2.3942, -1.712, -1.5602)). hacc(m174121, hacc(a30, 0.1883, -1.0249, -3.0116)). hacc(m174121, hacc(a33, -0.5776, -3.2279, -2.9126)). hacc(m174121, hacc(a34, 2.655, -4.3794, -0.7046)). hacc(m174121, hacc(a35, 0.6471, -4.8674, -1.7846)). hacc(m174121, hacc(a37, -1.3534, -5.4224, -2.8501)). hacc(m176323, hacc(a4, 4.2534, -3.2959, -0.1355)). hacc(m176323, hacc(a9, 7.2035, -3.0596, 0.3489)). hacc(m176323, hacc(a10, 6.9019, -2.0273, -1.5942)). hacc(m176323, hacc(a14, 5.3036, 1.5603, -3.0569)). hacc(m176323, hacc(a26, -2.4458, 3.8857, -2.9467)). hacc(m176323, hacc(a15, 3.305, 1.1281, -2.1615)). hacc(m176323, hacc(a19, 0.0601, 0.452, -0.7584)). hacc(m178248, hacc(a6, -12.7884, 9.6648, -1.2742)). hacc(m178248, hacc(a8, -13.4478, 5.4585, -2.7497)). hacc(m178248, hacc(a10, -12.0804, 8.5397, 0.7774)). hacc(m178248, hacc(a12, -13.746, 6.9735, -5.2564)). hacc(m178248, hacc(a14, -9.7418, 7.4213, -0.8349)). hacc(m178248, hacc(a17, -10.7864, 5.4684, -2.2079)). hacc(m178248, hacc(a19, -11.5711, 7.4117, -8.389)). hacc(m178248, hacc(a3, -12.1601, 7.4456, -3.8191)). hacc(m178248, hacc(a11, -11.8367, 7.5182, -6.2233)). hacc(m178248, hacc(a16, -12.3033, 7.3728, -7.3766)). hacc(m182986, hacc(a4, -5.8759, 2.5407, -1.5535)). hacc(m182986, hacc(a5, -5.3225, 4.0478, -0.0039)). hacc(m182986, hacc(a11, -8.813, 1.9175, -0.2705)). hacc(m182986, hacc(a14, -9.7714, 4.2059, -4.9061)). hacc(m182986, hacc(a23, -11.9941, 0.9865, -6.2559)). hacc(m182986, hacc(a24, -9.8374, 1.251, -5.6969)). hacc(m182986, hacc(a1, -7.3564, 4.2022, -0.8639)). hacc(m182986, hacc(a10, -7.8219, 5.3887, -3.265)). hacc(m182986, hacc(a18, -10.8236, 0.7907, -1.8548)). hacc(m182986, hacc(a19, -11.3269, 1.9449, -4.23)). hacc(m184692, hacc(a25, -0.591, 9.5378, 5.698)). hacc(m184692, hacc(a30, 2.1612, 9.9314, 3.5312)). hacc(m184692, hacc(a31, 0.5114, 11.389, 3.7405)). hacc(m184692, hacc(a32, -0.8431, 10.1031, 0.485)). hacc(m184692, hacc(a33, -1.6409, 11.8111, 1.6455)). hacc(m184692, hacc(a11, -3.0739, 0.3036, 6.4502)). hacc(m184692, hacc(a12, -4.4707, 1.183, 10.1569)). hacc(m184692, hacc(a13, -4.6288, 0.1692, 8.1477)). hacc(m184692, hacc(a14, 0.2088, 4.6463, 9.6787)). hacc(m184692, hacc(a17, -5.1036, -0.7698, 6.0706)). hacc(m184692, hacc(a24, -0.0965, 8.0478, 4.1337)). hacc(m224131, hacc(a7, -8.2881, 0.781, -0.9852)). hacc(m224131, hacc(a8, -8.4548, 0.5863, -3.1362)). hacc(m224131, hacc(a10, -3.8362, 0.944, -0.8859)). hacc(m224131, hacc(a11, -3.814, 2.7643, -3.4924)). hacc(m224131, hacc(a12, -4.8072, 3.8961, -1.903)). hacc(m224131, hacc(a14, -2.7175, 0.0066, -4.6878)). hacc(m224131, hacc(a15, -0.9889, -0.8829, -3.5815)). hacc(m224131, hacc(a16, -0.9312, 0.8957, -3.2171)). hacc(m224131, hacc(a2, -5.2267, 0.3719, -2.4783)). hacc(m241240, hacc(a1, 1.0562, 0.9066, 5.8333)). hacc(m241240, hacc(a4, 1.7066, 2.9633, 4.8556)). hacc(m241240, hacc(a9, 4.2423, -0.0738, 3.3015)). hacc(m241240, hacc(a10, 4.0343, 2.2781, 3.1429)). hacc(m241240, hacc(a12, 2.9086, 5.725, 5.257)). hacc(m241240, hacc(a13, 5.1796, 5.0459, 3.7235)). hacc(m249910, hacc(a1, 0.9934, 8.4706, 8.7601)). hacc(m249910, hacc(a13, 2.0329, 6.4654, 5.2801)). hacc(m249910, hacc(a17, 5.4813, 6.4481, 6.1675)). hacc(m249910, hacc(a23, 3.7498, 5.8626, 4.0056)). hacc(m249910, hacc(a3, 2.4436, 7.2848, 9.9719)). hacc(m249910, hacc(a14, 4.8639, 5.5529, 12.0051)). hacc(m249992, hacc(a12, 1.9246, 5.4518, 2.8749)). hacc(m249992, hacc(a27, 4.2089, 5.2346, 8.8222)). hacc(m249992, hacc(a28, 6.1625, 6.4669, 8.5164)). hacc(m249992, hacc(a25, 4.7381, 6.4906, 8.3894)). hacc(m249992, hacc(a1, 2.6608, 2.9177, 3.2172)). hacc(m249992, hacc(a15, 5.0478, -0.1224, 1.8036)). hacc(m249992, hacc(a24, 4.3437, 6.7704, 6.8136)). hacc(m256927, hacc(a7, 3.9435, 2.84, 4.0038)). hacc(m256927, hacc(a8, 4.1522, -1.0731, 4.8065)). hacc(m256927, hacc(a1, 6.0431, 1.0038, 4.4734)). hacc(m256927, hacc(a4, 4.1388, 0.4866, 2.447)). hacc(m264880, hacc(a1, 5.9457, -1.3592, 0.1093)). hacc(m264880, hacc(a5, 6.069, -0.6832, 3.6006)). hacc(m264880, hacc(a7, 6.4516, -3.2288, 2.0079)). hacc(m264880, hacc(a12, 3.7017, 1.0267, 0.9173)). hacc(m264880, hacc(a15, 9.6379, -1.3123, 3.44)). hacc(m264880, hacc(a6, 5.5882, 1.0826, 2.1207)). hacc(m264880, hacc(a13, 4.4296, 3.016, 1.4982)). hacc(m264880, hacc(a14, 6.2966, 3.2714, 2.7643)). hacc(m264880, hacc(a17, 5.0575, 5.0935, 2.334)). hacc(m267469, hacc(a1, 5.2786, 6.517, 2.6554)). hacc(m267469, hacc(a13, 4.1063, 6.3718, 4.9849)). hacc(m267469, hacc(a15, 9.1052, 2.6278, 1.8363)). hacc(m267469, hacc(a17, 9.3484, 3.4798, 4.7624)). hacc(m267469, hacc(a19, 7.5129, 3.5624, 0.054)). hacc(m267469, hacc(a20, 8.1651, 3.6966, 7.0579)). hacc(m267469, hacc(a25, 8.7338, 6.4885, -1.4671)). hacc(m267469, hacc(a29, 11.1097, 1.6063, 2.224)). hacc(m267469, hacc(a30, 8.5765, 3.3882, -2.5811)). hacc(m267469, hacc(a31, 6.8778, 3.2423, 9.2228)). hacc(m267469, hacc(a36, 8.5666, -1.497, 1.1414)). hacc(m268242, hacc(a1, 12.5518, -5.3113, -1.2587)). hacc(m268242, hacc(a13, 13.1721, -7.0591, -3.0837)). hacc(m268242, hacc(a15, 12.1914, -6.6233, 3.9236)). hacc(m268242, hacc(a17, 11.1362, -9.5236, 1.9719)). hacc(m268242, hacc(a19, 11.6806, -3.9874, 3.5889)). hacc(m268242, hacc(a20, 11.751, -11.0966, 0.0378)). hacc(m268242, hacc(a25, 8.6247, -3.8122, 2.1914)). hacc(m268242, hacc(a29, 13.4629, -4.9749, 4.9693)). hacc(m268242, hacc(a30, 11.9717, -12.7601, -1.8739)). hacc(m268242, hacc(a40, 12.1854, -3.6171, 7.1905)). hacc(m268242, hacc(a35, 9.5809, -4.8991, 6.8005)). hacc(m269148, hacc(a1, 3.6941, 3.8224, 0.9613)). hacc(m269148, hacc(a10, 1.2027, 4.1024, 0.8691)). hacc(m269148, hacc(a18, 3.3028, -1.4507, 0.5527)). hacc(m269148, hacc(a19, 0.8408, -1.379, 0.4216)). hacc(m269148, hacc(a20, 5.8638, -1.7384, 0.8339)). hacc(m269148, hacc(a24, -1.0729, 4.283, 1.1186)). hacc(m269148, hacc(a29, -1.602, 1.985, -1.5357)). hacc(m269148, hacc(a31, 0.6429, 3.5876, -1.6262)). hacc(m269148, hacc(a32, 8.5921, -1.1984, -0.2474)). hacc(m269148, hacc(a35, 10.9482, 2.0456, 1.1294)). hacc(m269148, hacc(a36, -2.4848, 5.5404, -1.0225)). hacc(m271674, hacc(a1, 0.6806, 3.911, 0.8674)). hacc(m271674, hacc(a3, 2.2364, 2.2646, 0.011)). hacc(m271674, hacc(a10, 4.4477, 2.067, 1.3423)). hacc(m271674, hacc(a16, 4.6253, 3.559, 3.2415)). hacc(m271674, hacc(a21, 2.3942, 8.0167, -1.989)). hacc(m271674, hacc(a22, 4.3702, 8.8905, -1.4754)). hacc(m271674, hacc(a8, 1.51, -0.2874, 1.4634)). hacc(m271674, hacc(a9, 3.965, -0.313, 2.8462)). hacc(m295500, hacc(a1, 5.5034, -0.2445, 12.0718)). hacc(m295500, hacc(a13, 6.2737, 3.715, 11.0142)). hacc(m295500, hacc(a17, 3.2322, 4.6959, 10.0631)). hacc(m295500, hacc(a20, 0.665, -3.2262, 12.9011)). hacc(m295500, hacc(a23, 6.0412, 5.1566, 9.3427)). hacc(m295500, hacc(a27, 2.5454, 5.1843, 7.0302)). hacc(m295500, hacc(a28, 4.745, 5.5729, 7.1505)). hacc(m295500, hacc(a3, 3.3354, -0.0288, 11.5904)). hacc(m295500, hacc(a14, -0.1719, 0.2974, 10.8673)). hacc(m295501, hacc(a1, 0.4638, 0.0296, 2.2961)). hacc(m295501, hacc(a13, 1.026, -0.0582, 6.417)). hacc(m295501, hacc(a17, 1.7175, 3.1901, 7.0103)). hacc(m295501, hacc(a20, -0.4605, 4.2523, -1.4436)). hacc(m295501, hacc(a23, 2.4373, 0.5393, 8.0209)). hacc(m295501, hacc(a3, 0.7116, 2.2449, 2.2425)). hacc(m295501, hacc(a14, 1.0516, 5.8258, 2.0895)). hacc(m296934, hacc(a7, 9.9715, 9.9599, -5.8664)). hacc(m296934, hacc(a8, 7.4469, 10.8886, -2.5675)). hacc(m296934, hacc(a10, 10.6805, 7.8985, -2.0847)). hacc(m296934, hacc(a16, 7.0049, 7.5947, 0.3652)). hacc(m296934, hacc(a19, 4.9822, 11.3868, 0.9153)). hacc(m296934, hacc(a21, 8.9313, 4.8576, -2.1643)). hacc(m296934, hacc(a2, 9.1017, 9.424, -2.3909)). hacc(m296934, hacc(a9, 7.1428, 9.2627, -1.0912)). hacc(m296934, hacc(a11, 8.8407, 7.6453, -0.8715)). hacc(m301739, hacc(a14, -0.5158, -7.5186, 2.6511)). hacc(m301739, hacc(a18, 2.2119, -5.2663, -1.3039)). hacc(m301739, hacc(a21, -6.0995, -5.8767, 7.1914)). hacc(m301739, hacc(a24, 0.6481, -9.697, 2.3456)). hacc(m301739, hacc(a27, 3.5081, -7.348, -1.7277)). hacc(m301739, hacc(a32, -0.4406, -4.7716, -6.2374)). hacc(m301739, hacc(a1, -1.839, -5.4108, 3.065)). hacc(m301739, hacc(a7, -4.9403, -5.4646, 4.5789)). hacc(m301739, hacc(a17, 1.0407, -3.0553, -0.9786)). hacc(m301739, hacc(a29, 0.4679, -2.6895, -4.617)). hacc(m303812, hacc(a20, -6.6553, -6.2019, 10.9901)). hacc(m303812, hacc(a21, -5.7917, -8.3362, 9.2514)). hacc(m303812, hacc(a23, -5.0419, -8.6321, 2.2616)). hacc(m303812, hacc(a24, -5.3788, -6.5397, 0.0338)). hacc(m303812, hacc(a27, -4.3209, -5.3029, -1.4964)). hacc(m303812, hacc(a28, -4.1729, -8.778, -1.1726)). hacc(m308847, hacc(a1, -1.1735, 2.0275, -0.9072)). hacc(m308847, hacc(a13, -0.1091, -2.1914, 0.0238)). hacc(m308847, hacc(a4, -0.7064, -0.0956, -0.4304)). hacc(m308847, hacc(a17, 3.2015, 4.5683, -0.9201)). hacc(m308847, hacc(a18, -4.1301, -0.6515, 0.8878)). hacc(m329680, hacc(a1, 4.9615, -2.771, 6.1314)). hacc(m329680, hacc(a5, 4.5099, -0.6563, 4.9175)). hacc(m329680, hacc(a6, 6.7163, -1.135, 5.5185)). hacc(m329680, hacc(a13, 11.8614, -3.8384, 3.5097)). hacc(m329680, hacc(a16, 12.8029, -3.5512, 1.2332)). hacc(m329680, hacc(a17, 10.9926, -5.0023, 1.5037)). hacc(m329680, hacc(a2, 5.3486, -1.2329, 5.9204)). hacc(m329680, hacc(a14, 12.1966, -4.5137, 2.098)). hacc(m329680, hacc(a4, 5.1443, -0.4287, 7.3284)). hacc(m329680, hacc(a15, 13.2261, -5.7621, 2.3285)). hacc(m330500, hacc(a22, 5.2129, 5.4313, 0.3667)). hacc(m330500, hacc(a23, 8.2978, 9.1056, -2.2963)). hacc(m330500, hacc(a25, 8.1776, 8.6323, 2.3939)). hacc(m330500, hacc(a28, 4.4757, 3.2414, 3.5579)). hacc(m330500, hacc(a30, 4.7911, 4.5989, 5.3165)). hacc(m330500, hacc(a34, 3.3644, 0.5423, -1.795)). hacc(m330500, hacc(a36, 2.2264, 3.3697, -1.2815)). hacc(m330500, hacc(a39, 3.6517, 5.5412, -1.7897)). hacc(m330500, hacc(a24, 6.787, 6.9992, 1.7514)). hacc(m330500, hacc(a31, 3.6927, 2.7276, 5.6946)). hacc(m332598, hacc(a5, -7.5199, -8.7224, 3.4086)). hacc(m332598, hacc(a16, 0.6116, -3.1652, -1.7564)). hacc(m332598, hacc(a23, 1.3623, -0.329, -0.6987)). hacc(m332598, hacc(a26, 2.1338, 1.9025, -2.4506)). hacc(m332598, hacc(a34, 6.6588, 2.0289, -0.0796)). hacc(m332598, hacc(a36, 7.3941, 0.2947, -1.2371)). hacc(m332598, hacc(a42, 5.2457, -2.9943, 3.4489)). hacc(m332598, hacc(a44, 6.127, -4.0645, 0.8812)). hacc(m332598, hacc(a45, 4.8271, -2.7482, -0.3335)). hacc(m332598, hacc(a2, -5.8713, -7.8492, 4.7393)). hacc(m337766, hacc(a2, 0.8057, -11.0261, 3.1663)). hacc(m337766, hacc(a4, 0.2141, -10.5234, 4.1613)). hacc(m337766, hacc(a12, 0.5075, -9.8514, 6.3397)). hacc(m337766, hacc(a13, 1.4915, -11.6784, 5.8181)). hacc(m337766, hacc(a24, 4.8873, -7.1786, 7.4577)). hacc(m337766, hacc(a25, 5.4043, -6.3756, 8.2817)). hacc(m337766, hacc(a27, 5.3352, -4.3085, 9.2809)). hacc(m337766, hacc(a28, 3.5457, -4.8851, 8.2577)). hacc(m338947, hacc(a4, 2.9499, 3.577, 1.9956)). hacc(m338947, hacc(a5, 2.0284, 1.3794, 1.3451)). hacc(m338947, hacc(a6, 1.8301, 2.0247, 3.5834)). hacc(m338947, hacc(a8, 0.6317, 5.242, 3.5299)). hacc(m338947, hacc(a9, -1.0351, 5.5785, 1.9246)). hacc(m338947, hacc(a2, 1.8008, 2.4793, 2.2282)). hacc(m338947, hacc(a3, 0.2496, 5.0046, 2.1735)). hacc(m344007, hacc(a3, 6.3189, 2.3987, 13.3489)). hacc(m344007, hacc(a10, 6.4466, -0.3245, 12.4884)). hacc(m348948, hacc(a1, 0.8475, 0.1398, 6.1723)). hacc(m348948, hacc(a3, -0.1618, 0.2376, 4.076)). hacc(m348948, hacc(a5, 2.0542, -0.8638, 4.2413)). hacc(m348948, hacc(a8, 3.7414, 1.457, 6.2761)). hacc(m348948, hacc(a9, 4.2026, 3.0862, 4.6685)). hacc(m348948, hacc(a10, 4.2743, 0.7177, 3.9546)). hacc(m348948, hacc(a2, 1.0843, 0.3052, 4.7721)). hacc(m348948, hacc(a6, 3.5883, 1.8171, 4.9009)). hacc(m349174, hacc(a14, 16.213, 1.8046, 15.8158)). hacc(m349174, hacc(a22, 16.8037, 3.8773, 14.5032)). hacc(m349174, hacc(a24, 18.2863, 6.2062, 19.2719)). hacc(m349174, hacc(a30, 14.4383, 4.1039, 26.0553)). hacc(m349174, hacc(a1, 15.9881, -0.591, 17.1408)). hacc(m349174, hacc(a11, 14.8405, -3.192, 13.8917)). hacc(m349174, hacc(a17, 17.6464, 3.8784, 20.583)). hacc(m349174, hacc(a18, 17.3616, 2.521, 21.4189)). hacc(m349174, hacc(a27, 16.2198, 2.213, 24.9242)). hacc(m352122, hacc(a21, 3.1258, 7.7613, 6.1743)). hacc(m352122, hacc(a23, 2.1383, 6.9093, 1.4916)). hacc(m352122, hacc(a25, 3.4673, 8.4887, 3.4583)). hacc(m352122, hacc(a31, 0.3688, -7.3177, 5.5717)). hacc(m352122, hacc(a33, -2.2615, -7.8448, 5.8536)). hacc(m352122, hacc(a35, 0.7814, -7.5397, 2.6829)). hacc(m352122, hacc(a37, -0.6978, -9.1114, 7.8176)). hacc(m352122, hacc(a38, -1.0694, -5.6411, 3.6342)). hacc(m352122, hacc(a39, -2.7057, -6.9669, 2.9478)). hacc(m352122, hacc(a40, -2.4835, -11.7061, 6.3609)). hacc(m352122, hacc(a10, 6.0437, 1.9765, 2.6249)). hacc(m352122, hacc(a11, 3.6024, 2.7234, -0.5258)). hacc(m352122, hacc(a12, 5.6151, 2.0777, 0.3487)). hacc(m352122, hacc(a13, 0.7084, 3.8792, 4.8385)). hacc(m352122, hacc(a16, 7.7633, 1.5945, 1.1046)). hacc(m353451, hacc(a3, -1.4808, -1.1842, 5.3061)). hacc(m353451, hacc(a12, 3.5141, 3.0061, 4.0461)). hacc(m353451, hacc(a2, -0.5039, -2.131, 3.5757)). hacc(m353451, hacc(a6, -0.3269, 1.4323, 4.228)). hacc(m353451, hacc(a7, 1.8556, 1.5201, 4.1648)). hacc(m353451, hacc(a8, 2.5055, -0.7006, 4.2786)). hacc(m353451, hacc(a11, 3.5952, -0.406, 4.1578)). hacc(m353451, hacc(a13, 4.0303, 0.8088, 4.1428)). hacc(m354646, hacc(a1, 2.2385, 10.276, 9.9655)). hacc(m354646, hacc(a7, 1.4225, 9.1822, 11.8282)). hacc(m354646, hacc(a15, -0.495, 11.7399, 11.9122)). hacc(m354646, hacc(a18, 4.0731, 11.5044, 8.2376)). hacc(m354646, hacc(a22, -0.5099, 13.2269, 6.6167)). hacc(m354646, hacc(a26, 4.2355, 14.61, 9.1179)). hacc(m354646, hacc(a27, 2.2608, 6.4958, 12.1916)). hacc(m354646, hacc(a31, -3.0826, 12.0813, 11.8986)). hacc(m354646, hacc(a33, 4.3389, 13.0494, 6.0386)). hacc(m354646, hacc(a36, -3.0387, 13.6957, 6.8514)). hacc(m354646, hacc(a39, 4.5093, 3.6309, 9.3483)). hacc(m354646, hacc(a41, -5.5301, 12.6858, 12.1554)). hacc(m354646, hacc(a20, 3.7139, 6.3331, 9.628)). hacc(m355644, hacc(a14, -4.5888, 10.6244, 26.5284)). hacc(m355644, hacc(a22, -5.9373, 9.6566, 28.4226)). hacc(m355644, hacc(a24, -9.8542, 13.3533, 27.2547)). hacc(m355644, hacc(a30, -7.3654, 16.084, 18.3336)). hacc(m355644, hacc(a1, -3.126, 11.64, 24.5985)). hacc(m355644, hacc(a7, -4.3554, 9.167, 23.5328)). hacc(m355644, hacc(a17, -8.2782, 14.341, 25.2048)). hacc(m355644, hacc(a18, -7.3818, 14.9675, 23.9608)). hacc(m355644, hacc(a27, -8.61, 16.5508, 20.8459)). hacc(m357704, hacc(a1, -0.6166, 3.1461, -1.9638)). hacc(m357704, hacc(a7, -1.8343, 1.5515, -3.1028)). hacc(m357704, hacc(a15, -1.7591, 5.5699, -0.671)). hacc(m357704, hacc(a18, 1.5387, 1.6437, -1.2502)). hacc(m357704, hacc(a22, 2.5525, 4.3682, 2.5131)). hacc(m357704, hacc(a26, 0.7568, -0.4742, 1.431)). hacc(m357704, hacc(a27, -1.6549, 1.5561, -5.9768)). hacc(m357704, hacc(a31, -1.3785, 8.0495, -0.1134)). hacc(m357704, hacc(a33, 1.3215, -0.818, -1.907)). hacc(m357704, hacc(a37, 2.7523, 6.9513, 3.0174)). hacc(m357704, hacc(a41, 0.6725, 5.6565, -8.328)). hacc(m357704, hacc(a43, -1.3055, 10.4429, 0.4576)). hacc(m357704, hacc(a20, -0.3404, 4.0354, -6.2162)). hacc(m357704, hacc(a40, 2.0846, 6.1168, -4.8745)). hacc(m361792, hacc(a1, 3.9184, 0.1135, 1.6168)). hacc(m361792, hacc(a8, 4.0897, -2.5151, 0.9233)). hacc(m361792, hacc(a15, 4.6784, -4.4369, 2.9729)). hacc(m361792, hacc(a24, 2.5381, 4.9452, 4.3448)). hacc(m361792, hacc(a27, 1.0086, 2.0656, 8.4876)). hacc(m361792, hacc(a25, 4.5858, 5.8569, 2.2994)). hacc(m361792, hacc(a20, 3.0247, 1.7643, 7.6648)). hacc(m363812, hacc(a6, 1.4503, -1.4418, 3.4327)). hacc(m363812, hacc(a7, 1.0485, 0.7267, 1.7275)). hacc(m364830, hacc(a1, 2.1939, 4.5184, 2.5635)). hacc(m364830, hacc(a5, 0.0818, 4.0061, 3.0929)). hacc(m364830, hacc(a13, 1.1228, 5.1496, 5.2286)). hacc(m364830, hacc(a14, 3.1754, 5.7437, 5.7982)). hacc(m364830, hacc(a22, 6.8057, 6.9643, 4.2091)). hacc(m364830, hacc(a9, 0.8882, 6.3898, 0.7507)). hacc(m364830, hacc(a23, 6.9532, 5.1358, 2.943)). hacc(m364830, hacc(a27, 7.3146, 2.1437, 0.9676)). hacc(m366140, hacc(a2, -0.6092, -1.697, 0.6239)). hacc(m366140, hacc(a3, -2.7377, -1.5383, 0.8468)). hacc(m366140, hacc(a22, 5.7586, -1.2584, 5.614)). hacc(m366140, hacc(a1, -1.5983, -1.5253, 1.3642)). hacc(m366140, hacc(a8, 1.005, -1.4463, 2.7389)). hacc(m366140, hacc(a14, 0.5942, -0.8213, 6.7825)). hacc(m366140, hacc(a15, -1.047, -0.7536, 6.7386)). hacc(m366140, hacc(a25, -3.6913, 2.5561, 9.1492)). hacc(m368390, hacc(a12, 0.2517, -7.9561, 10.0812)). hacc(m368390, hacc(a13, 0.392, -6.9681, 12.0412)). hacc(m368390, hacc(a5, 4.7625, -5.8088, 9.749)). hacc(m374028, hacc(a1, 6.5524, 1.8905, 2.4623)). hacc(m374028, hacc(a5, 4.5036, 2.6665, 2.0957)). hacc(m374028, hacc(a13, 4.4128, 0.3267, 3.4403)). hacc(m374028, hacc(a14, 5.9811, -1.0956, 4.1022)). hacc(m374028, hacc(a22, 10.0168, -1.858, 4.4224)). hacc(m374028, hacc(a35, 7.8179, 10.2157, 6.1797)). hacc(m374028, hacc(a9, 5.2554, 4.4848, 4.4046)). hacc(m374028, hacc(a23, 10.3962, -1.2086, 2.3214)). hacc(m374028, hacc(a25, 6.2171, 6.9638, 5.4873)). hacc(m374028, hacc(a28, 11.0582, -0.2195, -1.0785)). hacc(m376128, hacc(a3, -17.084, -31.4698, 57.0486)). hacc(m376128, hacc(a10, -15.4165, -27.8225, 57.1518)). hacc(m376128, hacc(a15, -13.7822, -29.2633, 59.5205)). hacc(m376128, hacc(a31, -16.5204, -30.3721, 53.2022)). hacc(m376128, hacc(a41, -19.8399, -30.9755, 55.4521)). hacc(m376128, hacc(a48, -23.8144, -33.452, 54.8233)). hacc(m376128, hacc(a21, -17.7115, -28.4152, 62.6819)). hacc(m376128, hacc(a5, -15.2677, -30.7878, 56.065)). hacc(m376128, hacc(a16, -14.5315, -27.7846, 60.9472)). hacc(m376128, hacc(a22, -17.8127, -26.7036, 60.7869)). hacc(m376128, hacc(a38, -19.6553, -32.3724, 53.7729)). hacc(m376128, hacc(a46, -21.7515, -34.0248, 55.3124)). hacc(m376128, hacc(a50, -23.6701, -36.166, 53.3699)). hacc(m406042, hacc(a1, 0.99, -3.8504, 9.1236)). hacc(m406042, hacc(a8, 3.1536, -2.317, 10.007)). hacc(m406042, hacc(a15, 5.091, -3.4699, 11.555)). hacc(m406042, hacc(a26, 2.8499, -8.6784, 7.8174)). hacc(m406042, hacc(a27, -2.7536, -9.2154, 6.8405)). hacc(m406042, hacc(a28, -2.6592, -7.316, 5.66)). hacc(m406042, hacc(a21, 1.9208, -9.9432, 9.4059)). hacc(m409962, hacc(a6, 3.8771, 0.4815, 3.5239)). hacc(m409962, hacc(a8, 1.5967, -1.0215, 0.6994)). hacc(m409962, hacc(a1, 1.9688, 0.2613, 2.4243)). hacc(m409962, hacc(a4, 2.3697, -0.3158, 1.3837)). hacc(m409962, hacc(a5, 2.6709, 2.3268, 3.3992)). hacc(m603071, hacc(a19, 3.2009, 2.9426, 4.029)). hacc(m603071, hacc(a22, 6.9511, 1.6833, 2.9964)). hacc(m603071, hacc(a23, 1.4572, 2.7208, 5.3812)). hacc(m603071, hacc(a24, 2.9926, 0.7742, 6.8027)). hacc(m603071, hacc(a10, 8.7556, 1.0146, 8.4968)). hacc(m603071, hacc(a12, 7.6024, 1.5154, 5.1208)). hacc(m603071, hacc(a27, 13.5201, 0.827, 7.7238)). hacc(m606172, hacc(a19, 2.9614, 2.8282, 4.5019)). hacc(m606172, hacc(a22, 1.8881, -0.0778, 6.193)). hacc(m606172, hacc(a25, 0.8565, 2.2121, 4.8331)). hacc(m606172, hacc(a27, 6.4887, -2.7142, 14.6856)). hacc(m606172, hacc(a28, 6.9265, 1.9083, 4.8966)). hacc(m606172, hacc(a10, 6.3333, -0.4567, 10.1925)). hacc(m606172, hacc(a12, 6.6501, 1.0708, 6.9427)). hacc(m606173, hacc(a19, 2.9463, 2.8363, 4.4895)). hacc(m606173, hacc(a22, 1.9146, -0.087, 6.1757)). hacc(m606173, hacc(a25, 0.8514, 2.1942, 4.8339)). hacc(m606173, hacc(a27, 8.0033, -3.945, 14.1749)). hacc(m606173, hacc(a28, 6.9263, 2.0076, 4.8859)). hacc(m606173, hacc(a10, 6.3751, -0.466, 10.1315)). hacc(m606173, hacc(a12, 6.6693, 1.1064, 6.9064)). hacc(m606497, hacc(a19, 6.871, 1.0737, -0.5862)). hacc(m606497, hacc(a22, 4.8572, 4.7249, -0.3592)). hacc(m606497, hacc(a23, 8.9112, 0.2894, -0.2375)). hacc(m606497, hacc(a25, 9.312, 2.2444, 1.8067)). hacc(m606497, hacc(a27, 10.0187, 2.9609, -0.1939)). hacc(m606497, hacc(a10, 5.8874, 5.3317, 5.3539)). hacc(m606497, hacc(a12, 5.2332, 4.88, 1.832)). hacc(m606497, hacc(a29, 8.6867, 5.4209, 0.3832)). hacc(m606499, hacc(a19, 5.1086, 6.1962, 4.4079)). hacc(m606499, hacc(a22, 6.1133, 7.8456, 8.076)). hacc(m606499, hacc(a23, 4.9267, 6.625, 2.2462)). hacc(m606499, hacc(a25, 6.6107, 8.9941, 2.7426)). hacc(m606499, hacc(a27, 5.884, 8.4804, 0.6865)). hacc(m606499, hacc(a10, 11.3178, 9.6413, 6.1569)). hacc(m606499, hacc(a12, 8.1093, 8.4872, 7.3168)). hacc(m606499, hacc(a29, 3.8002, 9.7275, 3.0943)). hacc(m606985, hacc(a15, 2.2851, 6.3679, 1.5521)). hacc(m606985, hacc(a22, 3.3921, 5.5281, -2.3959)). hacc(m606985, hacc(a23, 2.7714, 5.5896, 3.5697)). hacc(m606985, hacc(a26, 5.4633, 5.0794, 2.7653)). hacc(m606985, hacc(a28, 4.3154, 3.5231, 3.9049)). hacc(m606985, hacc(a4, 9.0366, 6.6109, -1.4053)). hacc(m606985, hacc(a8, 5.537, 5.9738, -1.9852)). hacc(m606985, hacc(a30, 3.41, 2.5725, 1.3668)). hacc(m608832, hacc(a1, -41.2234, -22.9494, -8.0264)). hacc(m608832, hacc(a5, -43.3687, -23.4316, -7.6056)). hacc(m608832, hacc(a11, -41.9285, -24.3794, -10.7166)). hacc(m608832, hacc(a13, -38.3698, -21.5929, -7.932)). hacc(m608832, hacc(a19, -37.7453, -24.4382, -9.7934)). hacc(m608832, hacc(a22, -37.8966, -21.0278, -12.2128)). hacc(m608832, hacc(a24, -40.4026, -22.6065, -13.4455)). hacc(m608832, hacc(a25, -40.188, -20.3225, -7.6841)). hacc(m608832, hacc(a31, -36.5295, -23.9437, -13.0126)). hacc(m608832, hacc(a35, -33.9904, -24.6298, -8.439)). hacc(m608832, hacc(a42, -37.0284, -25.3606, -11.3854)). hacc(m608832, hacc(a45, -32.6563, -25.008, -6.6803)). hacc(m608832, hacc(a47, -34.2092, -26.9879, -5.5953)). hacc(m608832, hacc(a53, -31.6213, -29.3275, -8.6876)). hacc(m608832, hacc(a115, -35.93, -26.6795, -4.2033)). hacc(m608832, hacc(a125, -33.7406, -22.1428, -3.7882)). hacc(m608832, hacc(a48, -32.6209, -27.3612, -8.4788)). hacc(m608832, hacc(a126, -35.3278, -20.6492, -3.3547)). hacc(m608832, hacc(a137, -36.7061, -18.2005, -5.9974)). hacc(m609395, hacc(a3, -12.7906, 8.2022, 9.2178)). hacc(m609395, hacc(a6, -10.9093, 5.0654, 9.0396)). hacc(m609395, hacc(a9, -10.438, 5.0662, 11.2737)). hacc(m609395, hacc(a13, -7.1499, 3.878, 10.5244)). hacc(m609395, hacc(a20, -6.601, 3.5798, 13.5957)). hacc(m609395, hacc(a22, -15.0292, 8.5404, 9.1736)). hacc(m609395, hacc(a29, -16.1991, 10.8616, 11.2643)). hacc(m609395, hacc(a33, -21.0578, 10.5118, 9.7072)). hacc(m609395, hacc(a35, -22.2243, 10.361, 7.1029)). hacc(m609395, hacc(a36, -3.9755, 3.3858, 12.2111)). hacc(m609395, hacc(a38, -2.3051, 1.9444, 11.8675)). hacc(m609395, hacc(a41, 0.2789, 2.8949, 11.8002)). hacc(m609395, hacc(a49, 3.8088, 3.9783, 11.2701)). hacc(m609395, hacc(a50, 2.426, 0.6391, 11.365)). hacc(m609395, hacc(a58, -4.1952, -0.0049, 14.3658)). hacc(m609395, hacc(a64, 0.4141, -1.8721, 14.0558)). hacc(m609395, hacc(a77, 4.0571, 1.5718, 8.8492)). hacc(m609395, hacc(a78, 4.791, 0.6307, 11.9017)). hacc(m609395, hacc(a79, -18.9249, 11.122, 11.0881)). hacc(m610456, hacc(a19, 8.8881, -3.8026, -2.3322)). hacc(m610456, hacc(a23, 10.5115, -0.2455, -2.4774)). hacc(m610456, hacc(a27, 11.1571, 2.7734, 1.3134)). hacc(m610456, hacc(a30, 10.7095, -3.0334, -3.3469)). hacc(m610456, hacc(a31, 6.1416, -2.4067, 0.5476)). hacc(m610456, hacc(a32, 11.4712, -1.6081, -0.9781)). hacc(m610456, hacc(a33, 13.1819, 2.0766, 0.7507)). hacc(m610456, hacc(a10, 10.3665, -1.5175, 4.4594)). hacc(m610456, hacc(a12, 7.7603, -2.0775, 2.0515)). hacc(m610457, hacc(a19, -0.0464, -6.9357, -5.6601)). hacc(m610457, hacc(a23, 0.8184, -2.8306, -4.3386)). hacc(m610457, hacc(a25, -0.2913, -5.2011, -4.2951)). hacc(m610457, hacc(a26, 3.0739, -9.6114, -6.6071)). hacc(m610457, hacc(a27, 2.3985, -4.3394, -4.8135)). hacc(m610457, hacc(a10, 6.6265, -5.3049, -8.2748)). hacc(m610457, hacc(a12, 4.4166, -7.9539, -7.2641)). hacc(m610457, hacc(a30, 3.4276, -1.5879, -5.8678)). hacc(m610457, hacc(a35, 5.6567, -1.242, -0.6444)). hacc(m610458, hacc(a19, 8.3692, 1.5076, 1.1778)). hacc(m610458, hacc(a23, 8.0144, -1.3168, 4.08)). hacc(m610458, hacc(a24, 7.3599, -2.9211, 2.9308)). hacc(m610458, hacc(a25, 7.3734, 0.9902, 3.092)). hacc(m610458, hacc(a26, 5.6746, 3.2371, -1.4573)). hacc(m610458, hacc(a27, 6.0816, -1.442, 2.1067)). hacc(m610458, hacc(a30, 5.9956, -2.8988, 4.0138)). hacc(m610458, hacc(a10, 1.3093, -0.489, -0.4034)). hacc(m610458, hacc(a12, 4.0448, 1.7785, -1.0239)). hacc(m610459, hacc(a19, 4.2961, -1.2807, 1.3904)). hacc(m610459, hacc(a23, 7.3463, 1.2787, -0.4606)). hacc(m610459, hacc(a27, 5.6764, -0.6538, -0.2333)). hacc(m610459, hacc(a28, 2.6556, -0.1948, 5.0595)). hacc(m610459, hacc(a29, 6.3976, 1.4996, 1.5554)). hacc(m610459, hacc(a34, 7.1092, 7.0033, -0.1876)). hacc(m610459, hacc(a35, 8.9694, 5.8794, -0.6733)). hacc(m610459, hacc(a10, 7.8952, 1.1586, 7.2385)). hacc(m610459, hacc(a12, 4.6759, 0.2976, 5.8862)). hacc(m610459, hacc(a32, 4.8695, 2.1467, -1.503)). hacc(m616348, hacc(a14, 12.8494, -15.2493, 4.1982)). hacc(m616348, hacc(a15, 14.1744, -16.1267, 2.6434)). hacc(m616348, hacc(a32, 11.0077, -5.3349, 2.8034)). hacc(m616348, hacc(a37, 7.404, -6.2977, -1.0385)). hacc(m616348, hacc(a39, 5.3904, -4.7424, 0.4571)). hacc(m616348, hacc(a42, 7.1475, -4.3674, 1.7574)). hacc(m616348, hacc(a5, 19.3066, -14.001, 4.3059)). hacc(m616348, hacc(a10, 15.1324, -14.6845, 4.0432)). hacc(m616348, hacc(a27, 10.0321, -11.0344, 2.0696)). hacc(m616348, hacc(a29, 10.6373, -7.5029, 2.4385)). hacc(m618939, hacc(a19, 5.3465, 3.1396, 5.1494)). hacc(m618939, hacc(a22, 4.146, 3.3762, 1.071)). hacc(m618939, hacc(a24, 7.0715, 4.2268, 6.026)). hacc(m618939, hacc(a26, 6.0185, 6.8257, 5.3765)). hacc(m618939, hacc(a29, 7.0148, 7.8554, 3.7067)). hacc(m618939, hacc(a10, 3.6715, 9.1721, 1.1967)). hacc(m618939, hacc(a12, 3.9217, 5.5947, 1.1399)). hacc(m618939, hacc(a30, 9.5759, 6.942, 4.0636)). hacc(m623017, hacc(a22, 14.8813, 4.6136, 5.6844)). hacc(m623017, hacc(a26, 15.8614, 2.8946, 1.0927)). hacc(m623017, hacc(a27, 17.7553, 2.7017, 2.2109)). hacc(m623017, hacc(a34, 11.8004, 0.6746, 4.1494)). hacc(m623017, hacc(a41, 11.2856, 2.8175, 2.5472)). hacc(m623017, hacc(a42, 9.1237, 3.2071, 2.5117)). hacc(m623017, hacc(a1, 5.2191, 10.1096, 5.9236)). hacc(m623017, hacc(a3, 4.207, 8.0143, 6.0714)). hacc(m623017, hacc(a5, 3.1357, 5.9485, 6.2345)). hacc(m623017, hacc(a6, 5.2581, 6.0763, 5.2916)). hacc(m623017, hacc(a9, 7.3861, 8.8946, 4.6091)). hacc(m623017, hacc(a12, 7.3553, 6.1841, 4.2773)). hacc(m623017, hacc(a14, 10.5381, 9.0282, 4.3736)). hacc(m623017, hacc(a23, 15.0344, 4.4663, 3.4698)). hacc(m623017, hacc(a32, 13.2066, -0.5454, 2.9519)). hacc(m629971, hacc(a16, 7.0002, 2.4238, 1.7826)). hacc(m629971, hacc(a21, 3.2903, 2.9816, 3.4148)). hacc(m629971, hacc(a24, 1.6728, 2.1818, 4.7041)). hacc(m629971, hacc(a26, 3.4077, -0.0235, 5.2583)). hacc(m629971, hacc(a7, 13.9586, 0.4297, 5.5073)). hacc(m629971, hacc(a11, 9.2664, 0.0087, 6.5778)). hacc(m629971, hacc(a13, 7.8252, 1.5706, 3.6681)). hacc(m633713, hacc(a22, 14.2189, 6.5585, 10.4179)). hacc(m633713, hacc(a26, 17.2051, 5.1193, 6.7147)). hacc(m633713, hacc(a27, 18.5516, 5.2996, 8.454)). hacc(m633713, hacc(a39, 12.703, 2.1143, 8.2721)). hacc(m633713, hacc(a41, 11.2286, -0.0042, 7.3934)). hacc(m633713, hacc(a42, 9.513, 1.0614, 6.512)). hacc(m633713, hacc(a1, 2.1203, 8.2822, 4.9005)). hacc(m633713, hacc(a3, 3.6639, 10.0315, 4.8958)). hacc(m633713, hacc(a7, 4.3851, 7.8219, 5.184)). hacc(m633713, hacc(a8, 5.1643, 11.8205, 4.8968)). hacc(m633713, hacc(a9, 7.2349, 9.9995, 5.3428)). hacc(m633713, hacc(a12, 6.6584, 7.3396, 5.4777)). hacc(m633713, hacc(a14, 9.8953, 9.6255, 6.977)). hacc(m633713, hacc(a23, 15.249, 6.4587, 8.4497)). hacc(m633713, hacc(a35, 14.6919, 1.3084, 7.7288)). hacc(m643833, hacc(a19, 2.2789, -0.2322, 5.3952)). hacc(m643833, hacc(a22, 4.8389, 1.6359, 0.2271)). hacc(m643833, hacc(a23, 3.1719, 1.1504, 1.6107)). hacc(m643833, hacc(a27, 6.5877, 0.0487, 1.7263)). hacc(m643833, hacc(a7, 6.03, -4.6907, 5.177)). hacc(m643833, hacc(a12, 3.6742, -1.9612, 5.2254)). halogen(m762, halogen(a7, -3.6772, -0.1503, 0.3912)). halogen(m762, halogen(a8, 3.0658, 1.7656, -2.6646)). halogen(m3088, halogen(a9, -2.6074, 0.5077, -1.7351)). halogen(m3088, halogen(a10, -4.1701, 6.379, -2.8364)). halogen(m8806, halogen(a9, 4.822, 11.5683, -3.7433)). halogen(m8806, halogen(a10, 1.6364, 8.5757, -3.5201)). halogen(m19893, halogen(a5, -0.4383, -2.3218, 3.3175)). halogen(m25154, halogen(a8, 2.7406, 5.938, 7.5895)). halogen(m25154, halogen(a16, 8.1701, -0.4177, 11.9333)). halogen(m27640, halogen(a14, 5.0512, -1.5999, 3.4483)). halogen(m34462, halogen(a9, 4.899, -4.9276, 5.9903)). halogen(m34462, halogen(a10, 3.0716, 0.1322, 9.2234)). halogen(m73754, halogen(a9, -0.7247, -2.9031, 6.6089)). halogen(m73754, halogen(a10, 3.1711, 1.1624, 3.6092)). halogen(m79037, halogen(a15, -3.4362, -4.4264, 8.8204)). halogen(m95441, halogen(a15, 7.3184, 1.6624, 6.2342)). halogen(m95466, halogen(a16, 6.2588, 5.2615, 1.11)). halogen(m119875, halogen(a2, -2.7149, 1.0784, -3.6609)). halogen(m119875, halogen(a3, 0.1933, 1.4717, -3.205)). halogen(m126771, halogen(a17, 8.1688, -0.9557, 5.6146)). halogen(m126771, halogen(a18, 8.4086, 0.7106, 3.1283)). halogen(m132483, halogen(a25, 2.5402, 1.8621, 7.3852)). halogen(m134033, halogen(a20, 9.8234, -4.3294, 4.3586)). halogen(m135758, halogen(a20, 8.0611, -2.3981, -9.8368)). halogen(m135758, halogen(a22, 9.5304, -10.8023, -8.2497)). halogen(m139105, halogen(a16, 0.0137, 0.4228, 3.8148)). halogen(m148958, halogen(a12, 2.1618, -0.0069, 6.9777)). halogen(m153858, halogen(a38, 4.0616, 2.3679, 5.3179)). halogen(m163501, halogen(a11, 1.3989, 0.456, 6.8934)). halogen(m167780, halogen(a9, 15.4792, -5.8905, 10.6827)). halogen(m167780, halogen(a10, 14.4732, -1.7789, 7.0928)). halogen(m172112, halogen(a20, 6.5167, -3.2723, 6.5105)). halogen(m172112, halogen(a21, 7.3026, -4.9103, 0.7412)). halogen(m178248, halogen(a20, -10.1454, 5.3419, -5.2985)). halogen(m249910, halogen(a20, 1.7297, 7.6762, 14.4978)). halogen(m256927, halogen(a5, 2.0527, 0.763, 4.3369)). halogen(m256927, halogen(a6, 3.957, 1.2802, 6.3633)). halogen(m338947, halogen(a12, 4.4894, 5.6347, 1.6119)). halogen(m344007, halogen(a7, 5.4249, 2.3758, 16.3274)). halogen(m344007, halogen(a13, 5.7241, -2.534, 14.8998)). halogen(m353451, halogen(a16, 7.6909, 1.6408, 2.761)). halogen(m363812, halogen(a1, 4.2279, -0.5677, 4.1559)). halogen(m363812, halogen(a3, 3.8927, 1.6941, 2.2604)). halogen(m363812, halogen(a4, 1.8879, 1.2477, 4.5165)). halogen(m363812, halogen(a5, 3.4539, -1.0052, 1.3364)). halogen(m368390, halogen(a21, 1.0166, -2.2339, 11.0588)). halogen(m368390, halogen(a25, 10.5077, -9.4901, 8.5038)). halogen(m409962, halogen(a10, 2.0657, -1.2722, 4.6551)). halogen(m409962, halogen(a12, 4.9694, 5.4744, 4.2891)). halogen(m643833, halogen(a15, 6.7311, -2.8362, 2.84)). hdonor(m740, hdonor(a1, 0.5919, 0.4615, 10.4842)). hdonor(m740, hdonor(a1, 0.5919, 0.4615, 10.4842)). hdonor(m740, hdonor(a11, 3.0369, -1.9567, 13.6337)). hdonor(m740, hdonor(a11, 3.0369, -1.9567, 13.6337)). hdonor(m740, hdonor(a23, 8.0923, 1.0005, 7.2351)). hdonor(m740, hdonor(a30, 10.7412, 2.3577, 5.4488)). hdonor(m740, hdonor(a33, 10.1046, -3.8476, 5.5395)). hdonor(m752, hdonor(a1, 5.2269, -0.4425, 4.3422)). hdonor(m752, hdonor(a9, 1.311, -3.3477, 3.6282)). hdonor(m752, hdonor(a11, 0.6588, 1.337, 3.0986)). hdonor(m752, hdonor(a11, 0.6588, 1.337, 3.0986)). hdonor(m755, hdonor(a1, 4.0066, 0.3497, 5.7611)). hdonor(m755, hdonor(a9, 1.5865, -3.3928, 3.6655)). hdonor(m757, hdonor(a21, 4.2108, 4.6286, 5.3003)). hdonor(m1895, hdonor(a1, 4.115, 1.4057, 2.8143)). hdonor(m1895, hdonor(a6, 0.9654, 2.6641, 3.4255)). hdonor(m1895, hdonor(a7, -0.3884, 0.7987, 4.0294)). hdonor(m1895, hdonor(a7, -0.3884, 0.7987, 4.0294)). hdonor(m1895, hdonor(a1, 4.115, 1.4057, 2.8143)). hdonor(m3088, hdonor(a19, -12.564, 6.288, -0.8462)). hdonor(m8806, hdonor(a17, 4.5013, 10.9102, 6.5382)). hdonor(m8806, hdonor(a17, 4.5013, 10.9102, 6.5382)). hdonor(m8806, hdonor(a19, 1.4265, 11.1089, 4.6946)). hdonor(m19893, hdonor(a4, 2.9684, -1.8481, 3.9639)). hdonor(m19893, hdonor(a8, 2.0195, 0.1694, 3.2231)). hdonor(m26980, hdonor(a10, 0.6144, -2.2782, -1.751)). hdonor(m26980, hdonor(a22, 1.1908, 3.1069, -0.8591)). hdonor(m26980, hdonor(a22, 1.1908, 3.1069, -0.8591)). hdonor(m26980, hdonor(a24, -5.169, 2.8191, 0.0636)). hdonor(m26980, hdonor(a24, -5.169, 2.8191, 0.0636)). hdonor(m27640, hdonor(a4, 2.2884, 0.4875, 4.3494)). hdonor(m27640, hdonor(a16, -1.3585, -4.8399, 3.825)). hdonor(m27640, hdonor(a17, -3.9415, -2.2529, 2.6624)). hdonor(m32065, hdonor(a2, -0.0011, 0.2934, -1.0887)). hdonor(m32065, hdonor(a3, -0.0043, -1.9732, -0.5068)). hdonor(m32065, hdonor(a3, -0.0043, -1.9732, -0.5068)). hdonor(m32065, hdonor(a5, 1.4205, 0.3067, -1.0921)). hdonor(m33410, hdonor(a21, 2.7596, 1.466, 7.194)). hdonor(m34462, hdonor(a12, 0.6552, 0.6001, 3.7883)). hdonor(m34462, hdonor(a13, 2.5776, -0.0938, 2.695)). hdonor(m49842, hdonor(a19, -1.0372, 8.2619, 9.5356)). hdonor(m49842, hdonor(a41, -7.2759, 12.5164, 2.9788)). hdonor(m49842, hdonor(a58, -13.0581, 8.7992, 4.8796)). hdonor(m51143, hdonor(a4, 2.7642, 2.5324, 4.0412)). hdonor(m56410, hdonor(a22, 0.6787, 3.4574, -0.5256)). hdonor(m56410, hdonor(a22, 0.6787, 3.4574, -0.5256)). hdonor(m56410, hdonor(a24, -1.8674, 3.7071, 5.6776)). hdonor(m56410, hdonor(a24, -1.8674, 3.7071, 5.6776)). hdonor(m63878, hdonor(a1, 2.9361, -3.0692, -0.6283)). hdonor(m63878, hdonor(a7, -0.2883, -4.6272, -0.9662)). hdonor(m63878, hdonor(a15, 3.0135, -6.7468, -0.1515)). hdonor(m63878, hdonor(a17, 4.1053, 0.9763, 3.3857)). hdonor(m63878, hdonor(a17, 4.1053, 0.9763, 3.3857)). hdonor(m67574, hdonor(a19, -21.1274, 14.4658, 1.6364)). hdonor(m67574, hdonor(a41, -15.8178, 21.8407, 0.0064)). hdonor(m67574, hdonor(a58, -11.0719, 18.5496, -4.174)). hdonor(m71261, hdonor(a11, 5.1988, -5.9409, 1.7799)). hdonor(m71261, hdonor(a11, 5.1988, -5.9409, 1.7799)). hdonor(m71261, hdonor(a18, -1.5217, -8.2047, 4.1781)). hdonor(m71261, hdonor(a19, -3.5061, -5.1449, 5.8347)). hdonor(m71261, hdonor(a9, 3.2449, -5.5371, 2.9956)). hdonor(m71851, hdonor(a11, 4.4137, -7.0891, 8.7295)). hdonor(m71851, hdonor(a11, 4.4137, -7.0891, 8.7295)). hdonor(m71851, hdonor(a18, -1.7296, -8.0942, 7.3973)). hdonor(m71851, hdonor(a19, -4.4883, -5.5337, 6.4636)). hdonor(m71851, hdonor(a9, 2.5705, -7.0173, 7.2971)). hdonor(m73754, hdonor(a12, 5.6754, -2.3848, 7.6415)). hdonor(m73754, hdonor(a14, 6.4551, -3.0605, 5.5569)). hdonor(m79037, hdonor(a1, -0.2345, -0.5192, 8.5893)). hdonor(m82151, hdonor(a1, 11.1248, 0.667, -1.6023)). hdonor(m82151, hdonor(a17, 11.0538, -4.2592, 0.8158)). hdonor(m82151, hdonor(a19, 6.9017, -1.2715, -0.4097)). hdonor(m82151, hdonor(a35, 7.9048, -6.7336, 3.3306)). hdonor(m82151, hdonor(a35, 7.9048, -6.7336, 3.3306)). hdonor(m82151, hdonor(a38, 5.5956, -8.0626, 2.4401)). hdonor(m83265, hdonor(a21, 6.3072, 4.5744, 4.776)). hdonor(m83265, hdonor(a21, 6.3072, 4.5744, 4.776)). hdonor(m83265, hdonor(a26, 3.3574, 6.1074, 3.3911)). hdonor(m94600, hdonor(a4, 4.0297, 0.4881, 3.4123)). hdonor(m95441, hdonor(a1, 3.2401, 2.7658, 4.0523)). hdonor(m95466, hdonor(a1, 2.9886, 3.6758, 5.478)). hdonor(m95466, hdonor(a11, 3.1254, 7.3431, 5.3976)). hdonor(m95678, hdonor(a4, 5.7616, -0.0761, 6.3023)). hdonor(m95678, hdonor(a8, 1.6575, -1.8524, 8.001)). hdonor(m95678, hdonor(a11, 6.0682, 1.572, 4.6472)). hdonor(m95678, hdonor(a11, 6.0682, 1.572, 4.6472)). hdonor(m100880, hdonor(a23, 7.7384, 3.7538, 3.6446)). hdonor(m100880, hdonor(a25, 8.7049, 5.7216, 2.177)). hdonor(m100880, hdonor(a27, 5.7269, 1.8336, 1.2554)). hdonor(m102627, hdonor(a9, 5.2756, -2.6324, -2.2811)). hdonor(m102816, hdonor(a1, 0.2568, 1.3398, 4.2875)). hdonor(m102816, hdonor(a7, -0.3412, -0.9067, 5.6588)). hdonor(m102816, hdonor(a15, 3.4471, -2.0433, 6.1546)). hdonor(m102816, hdonor(a17, 5.1291, 5.4567, 6.7663)). hdonor(m102816, hdonor(a17, 5.1291, 5.4567, 6.7663)). hdonor(m107124, hdonor(a17, 7.4406, 2.8291, 2.2372)). hdonor(m107124, hdonor(a27, 10.4576, -6.1416, 8.5965)). hdonor(m107392, hdonor(a4, 5.9859, -0.1324, 6.1957)). hdonor(m107392, hdonor(a10, 6.3455, 1.6976, 4.7543)). hdonor(m107392, hdonor(a10, 6.3455, 1.6976, 4.7543)). hdonor(m107392, hdonor(a13, -0.0304, 1.3238, 10.6166)). hdonor(m118994, hdonor(a14, 5.5231, -1.5747, 1.8254)). hdonor(m118994, hdonor(a12, 2.078, 3.1509, 4.4769)). hdonor(m119875, hdonor(a4, 0.3799, -1.2552, -2.0434)). hdonor(m119875, hdonor(a4, 0.3799, -1.2552, -2.0434)). hdonor(m119875, hdonor(a5, -2.5283, -1.6485, -2.4994)). hdonor(m119875, hdonor(a5, -2.5283, -1.6485, -2.4994)). hdonor(m122819, hdonor(a31, 20.8484, -4.1689, 3.4946)). hdonor(m122819, hdonor(a34, 14.0193, -7.1257, 12.0749)). hdonor(m122819, hdonor(a38, 13.7307, -9.8738, 12.9224)). hdonor(m123127, hdonor(a1, 5.2228, 5.5468, 11.6829)). hdonor(m123127, hdonor(a17, 0.4293, 5.4193, 8.9994)). hdonor(m123127, hdonor(a19, 5.2342, 4.9668, 7.0349)). hdonor(m123127, hdonor(a30, 5.6402, 2.9822, 5.1184)). hdonor(m123127, hdonor(a36, 2.1642, 8.2414, 3.9792)). hdonor(m123127, hdonor(a36, 2.1642, 8.2414, 3.9792)). hdonor(m123127, hdonor(a39, 1.0484, 5.9317, 2.7683)). hdonor(m125973, hdonor(a19, 4.5193, 13.0853, 13.7056)). hdonor(m125973, hdonor(a24, 1.6241, 10.9952, 10.5806)). hdonor(m125973, hdonor(a47, 3.9843, 17.4426, 18.0904)). hdonor(m125973, hdonor(a48, 5.4143, 19.835, 17.7471)). hdonor(m126771, hdonor(a13, 3.5842, -0.2907, 5.5996)). hdonor(m127716, hdonor(a15, 0.7999, -0.5437, 7.613)). hdonor(m127716, hdonor(a16, -2.5195, 1.3055, 8.2973)). hdonor(m127716, hdonor(a11, 4.4558, 6.8456, 6.7208)). hdonor(m127716, hdonor(a11, 4.4558, 6.8456, 6.7208)). hdonor(m132313, hdonor(a3, -4.4074, 1.3926, -3.536)). hdonor(m132313, hdonor(a5, -6.0849, 2.8548, -1.7171)). hdonor(m132483, hdonor(a11, -3.4394, 1.3063, -0.5547)). hdonor(m132483, hdonor(a11, -3.4394, 1.3063, -0.5547)). hdonor(m132483, hdonor(a13, 1.1703, 0.0985, 1.9195)). hdonor(m132483, hdonor(a16, -3.5024, 5.757, -1.7697)). hdonor(m132483, hdonor(a16, -3.5024, 5.757, -1.7697)). hdonor(m132483, hdonor(a23, 4.8022, 3.3549, 4.2389)). hdonor(m132483, hdonor(a31, 6.6962, 6.1358, 5.8127)). hdonor(m132483, hdonor(a33, 5.4606, 8.0773, 4.028)). hdonor(m134033, hdonor(a1, 3.7482, 1.3619, 3.8782)). hdonor(m134033, hdonor(a1, 3.7482, 1.3619, 3.8782)). hdonor(m134033, hdonor(a11, 4.8818, 5.6491, 2.5165)). hdonor(m134033, hdonor(a11, 4.8818, 5.6491, 2.5165)). hdonor(m134033, hdonor(a14, 6.2142, -2.3644, 1.3173)). hdonor(m134033, hdonor(a23, 12.0187, -2.2463, 4.1707)). hdonor(m134033, hdonor(a30, 15.2387, -2.2013, 3.0168)). hdonor(m134033, hdonor(a32, 16.0049, -4.8078, 4.2404)). hdonor(m135758, hdonor(a4, 4.5618, -7.2526, -5.4378)). hdonor(m135758, hdonor(a5, 3.321, -6.1632, -7.7427)). hdonor(m135758, hdonor(a10, 4.4967, -3.6285, -8.4208)). hdonor(m135758, hdonor(a16, 5.6823, -9.6212, -8.071)). hdonor(m139105, hdonor(a9, -1.0766, -2.5548, 9.4963)). hdonor(m139105, hdonor(a9, -1.0766, -2.5548, 9.4963)). hdonor(m139105, hdonor(a13, 2.8508, -4.7346, 10.323)). hdonor(m139105, hdonor(a13, 2.8508, -4.7346, 10.323)). hdonor(m141540, hdonor(a31, 4.4332, 4.8447, 3.082)). hdonor(m141540, hdonor(a34, -4.6793, -2.3863, 0.5233)). hdonor(m141540, hdonor(a38, -1.4835, -4.0956, 0.8499)). hdonor(m142982, hdonor(a2, 2.1539, 7.3047, 2.0727)). hdonor(m142982, hdonor(a12, 2.1418, 1.0982, 2.9902)). hdonor(m143095, hdonor(a1, -1.5554, 1.6637, 6.6566)). hdonor(m143095, hdonor(a7, -3.7225, 3.3201, 6.8046)). hdonor(m143095, hdonor(a12, 1.0747, 6.1928, 5.3535)). hdonor(m143095, hdonor(a14, 2.6384, 3.1179, 6.0467)). hdonor(m143095, hdonor(a15, -2.5625, 5.139, 10.1067)). hdonor(m143095, hdonor(a17, 5.1765, 4.5852, 5.3856)). hdonor(m143095, hdonor(a17, 5.1765, 4.5852, 5.3856)). hdonor(m145668, hdonor(a1, -1.8939, -0.3577, -0.3239)). hdonor(m145668, hdonor(a11, -4.0473, 1.4871, 2.4172)). hdonor(m145668, hdonor(a16, 0.3362, 6.134, 3.5053)). hdonor(m148958, hdonor(a4, 4.0787, -2.0505, 4.7502)). hdonor(m153353, hdonor(a5, 0.0164, 0.8827, -0.6317)). hdonor(m153353, hdonor(a5, 0.0164, 0.8827, -0.6317)). hdonor(m153353, hdonor(a7, -0.4445, 1.8705, 2.7149)). hdonor(m153353, hdonor(a9, -0.7062, 3.8342, -1.8448)). hdonor(m153858, hdonor(a25, -3.015, 7.1459, 9.3775)). hdonor(m153858, hdonor(a27, -4.4645, 7.5655, 11.1099)). hdonor(m163501, hdonor(a3, 6.3135, 3.069, 7.4757)). hdonor(m163501, hdonor(a3, 6.3135, 3.069, 7.4757)). hdonor(m163501, hdonor(a6, 6.4987, 1.914, 10.7057)). hdonor(m164011, hdonor(a1, 12.0164, -8.3253, 2.5579)). hdonor(m164011, hdonor(a17, 8.1581, -12.2306, 2.352)). hdonor(m164011, hdonor(a19, 12.3986, -11.964, 5.4581)). hdonor(m164011, hdonor(a30, 12.1642, -8.8261, 8.6765)). hdonor(m164011, hdonor(a37, 11.8886, -17.2414, 4.4236)). hdonor(m164011, hdonor(a37, 11.8886, -17.2414, 4.4236)). hdonor(m164011, hdonor(a42, 9.2848, -17.4795, 3.4123)). hdonor(m167780, hdonor(a17, 7.4643, 0.4395, 9.5391)). hdonor(m167780, hdonor(a18, 10.643, 0.0094, 7.6456)). hdonor(m172112, hdonor(a5, 5.6013, 2.7476, 2.1742)). hdonor(m174121, hdonor(a2, -2.4325, 1.0251, 3.0308)). hdonor(m174121, hdonor(a15, -3.6969, -1.8152, 2.6202)). hdonor(m174121, hdonor(a23, -7.0675, 3.2944, 5.1002)). hdonor(m174121, hdonor(a34, 2.655, -4.3794, -0.7046)). hdonor(m174121, hdonor(a34, 2.655, -4.3794, -0.7046)). hdonor(m174121, hdonor(a37, -1.3534, -5.4224, -2.8501)). hdonor(m174121, hdonor(a37, -1.3534, -5.4224, -2.8501)). hdonor(m176323, hdonor(a4, 4.2534, -3.2959, -0.1355)). hdonor(m178248, hdonor(a3, -12.1601, 7.4456, -3.8191)). hdonor(m178248, hdonor(a6, -12.7884, 9.6648, -1.2742)). hdonor(m178248, hdonor(a10, -12.0804, 8.5397, 0.7774)). hdonor(m178248, hdonor(a14, -9.7418, 7.4213, -0.8349)). hdonor(m178248, hdonor(a17, -10.7864, 5.4684, -2.2079)). hdonor(m182986, hdonor(a1, -7.3564, 4.2022, -0.8639)). hdonor(m182986, hdonor(a19, -11.3269, 1.9449, -4.23)). hdonor(m184692, hdonor(a12, -4.4707, 1.183, 10.1569)). hdonor(m184692, hdonor(a12, -4.4707, 1.183, 10.1569)). hdonor(m184692, hdonor(a14, 0.2088, 4.6463, 9.6787)). hdonor(m184692, hdonor(a17, -5.1036, -0.7698, 6.0706)). hdonor(m184692, hdonor(a17, -5.1036, -0.7698, 6.0706)). hdonor(m184692, hdonor(a24, -0.0965, 8.0478, 4.1337)). hdonor(m184692, hdonor(a31, 0.5114, 11.389, 3.7405)). hdonor(m184692, hdonor(a33, -1.6409, 11.8111, 1.6455)). hdonor(m224131, hdonor(a2, -5.2267, 0.3719, -2.4783)). hdonor(m224131, hdonor(a8, -8.4548, 0.5863, -3.1362)). hdonor(m224131, hdonor(a12, -4.8072, 3.8961, -1.903)). hdonor(m224131, hdonor(a15, -0.9889, -0.8829, -3.5815)). hdonor(m224131, hdonor(a16, -0.9312, 0.8957, -3.2171)). hdonor(m241240, hdonor(a12, 2.9086, 5.725, 5.257)). hdonor(m241240, hdonor(a12, 2.9086, 5.725, 5.257)). hdonor(m241240, hdonor(a13, 5.1796, 5.0459, 3.7235)). hdonor(m241240, hdonor(a13, 5.1796, 5.0459, 3.7235)). hdonor(m249910, hdonor(a17, 5.4813, 6.4481, 6.1675)). hdonor(m249992, hdonor(a1, 2.6608, 2.9177, 3.2172)). hdonor(m249992, hdonor(a24, 4.3437, 6.7704, 6.8136)). hdonor(m256927, hdonor(a1, 6.0431, 1.0038, 4.4734)). hdonor(m256927, hdonor(a4, 4.1388, 0.4866, 2.447)). hdonor(m256927, hdonor(a7, 3.9435, 2.84, 4.0038)). hdonor(m256927, hdonor(a8, 4.1522, -1.0731, 4.8065)). hdonor(m264880, hdonor(a1, 5.9457, -1.3592, 0.1093)). hdonor(m264880, hdonor(a7, 6.4516, -3.2288, 2.0079)). hdonor(m264880, hdonor(a13, 4.4296, 3.016, 1.4982)). hdonor(m264880, hdonor(a15, 9.6379, -1.3123, 3.44)). hdonor(m264880, hdonor(a17, 5.0575, 5.0935, 2.334)). hdonor(m264880, hdonor(a17, 5.0575, 5.0935, 2.334)). hdonor(m267469, hdonor(a1, 5.2786, 6.517, 2.6554)). hdonor(m267469, hdonor(a17, 9.3484, 3.4798, 4.7624)). hdonor(m267469, hdonor(a19, 7.5129, 3.5624, 0.054)). hdonor(m267469, hdonor(a30, 8.5765, 3.3882, -2.5811)). hdonor(m267469, hdonor(a36, 8.5666, -1.497, 1.1414)). hdonor(m267469, hdonor(a36, 8.5666, -1.497, 1.1414)). hdonor(m268242, hdonor(a1, 12.5518, -5.3113, -1.2587)). hdonor(m268242, hdonor(a17, 11.1362, -9.5236, 1.9719)). hdonor(m268242, hdonor(a19, 11.6806, -3.9874, 3.5889)). hdonor(m268242, hdonor(a40, 12.1854, -3.6171, 7.1905)). hdonor(m269148, hdonor(a19, 0.8408, -1.379, 0.4216)). hdonor(m269148, hdonor(a20, 5.8638, -1.7384, 0.8339)). hdonor(m269148, hdonor(a29, -1.602, 1.985, -1.5357)). hdonor(m269148, hdonor(a31, 0.6429, 3.5876, -1.6262)). hdonor(m269148, hdonor(a35, 10.9482, 2.0456, 1.1294)). hdonor(m271674, hdonor(a8, 1.51, -0.2874, 1.4634)). hdonor(m271674, hdonor(a9, 3.965, -0.313, 2.8462)). hdonor(m271674, hdonor(a22, 4.3702, 8.8905, -1.4754)). hdonor(m295500, hdonor(a17, 3.2322, 4.6959, 10.0631)). hdonor(m295501, hdonor(a17, 1.7175, 3.1901, 7.0103)). hdonor(m301739, hdonor(a1, -1.839, -5.4108, 3.065)). hdonor(m301739, hdonor(a7, -4.9403, -5.4646, 4.5789)). hdonor(m301739, hdonor(a17, 1.0407, -3.0553, -0.9786)). hdonor(m301739, hdonor(a21, -6.0995, -5.8767, 7.1914)). hdonor(m301739, hdonor(a24, 0.6481, -9.697, 2.3456)). hdonor(m301739, hdonor(a27, 3.5081, -7.348, -1.7277)). hdonor(m301739, hdonor(a29, 0.4679, -2.6895, -4.617)). hdonor(m301739, hdonor(a32, -0.4406, -4.7716, -6.2374)). hdonor(m303812, hdonor(a20, -6.6553, -6.2019, 10.9901)). hdonor(m303812, hdonor(a21, -5.7917, -8.3362, 9.2514)). hdonor(m303812, hdonor(a23, -5.0419, -8.6321, 2.2616)). hdonor(m303812, hdonor(a28, -4.1729, -8.778, -1.1726)). hdonor(m303812, hdonor(a28, -4.1729, -8.778, -1.1726)). hdonor(m308847, hdonor(a17, 3.2015, 4.5683, -0.9201)). hdonor(m308847, hdonor(a17, 3.2015, 4.5683, -0.9201)). hdonor(m329680, hdonor(a4, 5.1443, -0.4287, 7.3284)). hdonor(m329680, hdonor(a4, 5.1443, -0.4287, 7.3284)). hdonor(m329680, hdonor(a15, 13.2261, -5.7621, 2.3285)). hdonor(m329680, hdonor(a15, 13.2261, -5.7621, 2.3285)). hdonor(m330500, hdonor(a23, 8.2978, 9.1056, -2.2963)). hdonor(m330500, hdonor(a22, 5.2129, 5.4313, 0.3667)). hdonor(m330500, hdonor(a31, 3.6927, 2.7276, 5.6946)). hdonor(m330500, hdonor(a24, 6.787, 6.9992, 1.7514)). hdonor(m330500, hdonor(a31, 3.6927, 2.7276, 5.6946)). hdonor(m332598, hdonor(a23, 1.3623, -0.329, -0.6987)). hdonor(m337766, hdonor(a4, 0.2141, -10.5234, 4.1613)). hdonor(m337766, hdonor(a13, 1.4915, -11.6784, 5.8181)). hdonor(m337766, hdonor(a25, 5.4043, -6.3756, 8.2817)). hdonor(m337766, hdonor(a28, 3.5457, -4.8851, 8.2577)). hdonor(m349174, hdonor(a1, 15.9881, -0.591, 17.1408)). hdonor(m349174, hdonor(a11, 14.8405, -3.192, 13.8917)). hdonor(m349174, hdonor(a11, 14.8405, -3.192, 13.8917)). hdonor(m349174, hdonor(a22, 16.8037, 3.8773, 14.5032)). hdonor(m349174, hdonor(a24, 18.2863, 6.2062, 19.2719)). hdonor(m349174, hdonor(a27, 16.2198, 2.213, 24.9242)). hdonor(m349174, hdonor(a30, 14.4383, 4.1039, 26.0553)). hdonor(m352122, hdonor(a11, 3.6024, 2.7234, -0.5258)). hdonor(m352122, hdonor(a11, 3.6024, 2.7234, -0.5258)). hdonor(m352122, hdonor(a13, 0.7084, 3.8792, 4.8385)). hdonor(m352122, hdonor(a16, 7.7633, 1.5945, 1.1046)). hdonor(m352122, hdonor(a16, 7.7633, 1.5945, 1.1046)). hdonor(m352122, hdonor(a31, 0.3688, -7.3177, 5.5717)). hdonor(m352122, hdonor(a33, -2.2615, -7.8448, 5.8536)). hdonor(m352122, hdonor(a35, 0.7814, -7.5397, 2.6829)). hdonor(m352122, hdonor(a37, -0.6978, -9.1114, 7.8176)). hdonor(m352122, hdonor(a39, -2.7057, -6.9669, 2.9478)). hdonor(m353451, hdonor(a2, -0.5039, -2.131, 3.5757)). hdonor(m353451, hdonor(a2, -0.5039, -2.131, 3.5757)). hdonor(m354646, hdonor(a15, -0.495, 11.7399, 11.9122)). hdonor(m354646, hdonor(a18, 4.0731, 11.5044, 8.2376)). hdonor(m354646, hdonor(a22, -0.5099, 13.2269, 6.6167)). hdonor(m354646, hdonor(a27, 2.2608, 6.4958, 12.1916)). hdonor(m354646, hdonor(a33, 4.3389, 13.0494, 6.0386)). hdonor(m355644, hdonor(a1, -3.126, 11.64, 24.5985)). hdonor(m355644, hdonor(a7, -4.3554, 9.167, 23.5328)). hdonor(m355644, hdonor(a22, -5.9373, 9.6566, 28.4226)). hdonor(m355644, hdonor(a24, -9.8542, 13.3533, 27.2547)). hdonor(m355644, hdonor(a27, -8.61, 16.5508, 20.8459)). hdonor(m355644, hdonor(a30, -7.3654, 16.084, 18.3336)). hdonor(m357704, hdonor(a15, -1.7591, 5.5699, -0.671)). hdonor(m357704, hdonor(a18, 1.5387, 1.6437, -1.2502)). hdonor(m357704, hdonor(a22, 2.5525, 4.3682, 2.5131)). hdonor(m357704, hdonor(a27, -1.6549, 1.5561, -5.9768)). hdonor(m357704, hdonor(a33, 1.3215, -0.818, -1.907)). hdonor(m361792, hdonor(a15, 4.6784, -4.4369, 2.9729)). hdonor(m361792, hdonor(a20, 3.0247, 1.7643, 7.6648)). hdonor(m363812, hdonor(a6, 1.4503, -1.4418, 3.4327)). hdonor(m363812, hdonor(a7, 1.0485, 0.7267, 1.7275)). hdonor(m366140, hdonor(a8, 1.005, -1.4463, 2.7389)). hdonor(m368390, hdonor(a13, 0.392, -6.9681, 12.0412)). hdonor(m374028, hdonor(a35, 7.8179, 10.2157, 6.1797)). hdonor(m376128, hdonor(a16, -14.5315, -27.7846, 60.9472)). hdonor(m376128, hdonor(a46, -21.7515, -34.0248, 55.3124)). hdonor(m406042, hdonor(a21, 1.9208, -9.9432, 9.4059)). hdonor(m409962, hdonor(a5, 2.6709, 2.3268, 3.3992)). hdonor(m603071, hdonor(a24, 2.9926, 0.7742, 6.8027)). hdonor(m603071, hdonor(a27, 13.5201, 0.827, 7.7238)). hdonor(m603071, hdonor(a27, 13.5201, 0.827, 7.7238)). hdonor(m606172, hdonor(a22, 1.8881, -0.0778, 6.193)). hdonor(m606173, hdonor(a22, 1.9146, -0.087, 6.1757)). hdonor(m606173, hdonor(a27, 8.0033, -3.945, 14.1749)). hdonor(m606497, hdonor(a29, 8.6867, 5.4209, 0.3832)). hdonor(m606499, hdonor(a29, 3.8002, 9.7275, 3.0943)). hdonor(m606985, hdonor(a30, 3.41, 2.5725, 1.3668)). hdonor(m606985, hdonor(a30, 3.41, 2.5725, 1.3668)). hdonor(m608832, hdonor(a19, -37.7453, -24.4382, -9.7934)). hdonor(m608832, hdonor(a24, -40.4026, -22.6065, -13.4455)). hdonor(m608832, hdonor(a48, -32.6209, -27.3612, -8.4788)). hdonor(m608832, hdonor(a126, -35.3278, -20.6492, -3.3547)). hdonor(m609395, hdonor(a33, -21.0578, 10.5118, 9.7072)). hdonor(m609395, hdonor(a35, -22.2243, 10.361, 7.1029)). hdonor(m609395, hdonor(a79, -18.9249, 11.122, 11.0881)). hdonor(m610456, hdonor(a33, 13.1819, 2.0766, 0.7507)). hdonor(m610457, hdonor(a30, 3.4276, -1.5879, -5.8678)). hdonor(m610457, hdonor(a30, 3.4276, -1.5879, -5.8678)). hdonor(m610457, hdonor(a35, 5.6567, -1.242, -0.6444)). hdonor(m610457, hdonor(a35, 5.6567, -1.242, -0.6444)). hdonor(m610458, hdonor(a24, 7.3599, -2.9211, 2.9308)). hdonor(m610458, hdonor(a30, 5.9956, -2.8988, 4.0138)). hdonor(m610459, hdonor(a32, 4.8695, 2.1467, -1.503)). hdonor(m610459, hdonor(a32, 4.8695, 2.1467, -1.503)). hdonor(m610459, hdonor(a35, 8.9694, 5.8794, -0.6733)). hdonor(m616348, hdonor(a37, 7.404, -6.2977, -1.0385)). hdonor(m623017, hdonor(a1, 5.2191, 10.1096, 5.9236)). hdonor(m623017, hdonor(a1, 5.2191, 10.1096, 5.9236)). hdonor(m623017, hdonor(a5, 3.1357, 5.9485, 6.2345)). hdonor(m623017, hdonor(a5, 3.1357, 5.9485, 6.2345)). hdonor(m623017, hdonor(a14, 10.5381, 9.0282, 4.3736)). hdonor(m623017, hdonor(a23, 15.0344, 4.4663, 3.4698)). hdonor(m623017, hdonor(a27, 17.7553, 2.7017, 2.2109)). hdonor(m623017, hdonor(a32, 13.2066, -0.5454, 2.9519)). hdonor(m623017, hdonor(a42, 9.1237, 3.2071, 2.5117)). hdonor(m629971, hdonor(a7, 13.9586, 0.4297, 5.5073)). hdonor(m629971, hdonor(a7, 13.9586, 0.4297, 5.5073)). hdonor(m629971, hdonor(a26, 3.4077, -0.0235, 5.2583)). hdonor(m633713, hdonor(a1, 2.1203, 8.2822, 4.9005)). hdonor(m633713, hdonor(a1, 2.1203, 8.2822, 4.9005)). hdonor(m633713, hdonor(a8, 5.1643, 11.8205, 4.8968)). hdonor(m633713, hdonor(a8, 5.1643, 11.8205, 4.8968)). hdonor(m633713, hdonor(a14, 9.8953, 9.6255, 6.977)). hdonor(m633713, hdonor(a23, 15.249, 6.4587, 8.4497)). hdonor(m633713, hdonor(a27, 18.5516, 5.2996, 8.454)). hdonor(m633713, hdonor(a35, 14.6919, 1.3084, 7.7288)). hdonor(m633713, hdonor(a42, 9.513, 1.0614, 6.512)). hdonor(m643833, hdonor(a27, 6.5877, 0.0487, 1.7263)).