X381¶
MIDPOINT OF X2 AND X4
X381 (MIDPOINT OF X2 AND X4) constructed on acute reference triangle \((a, b, c) = (5, 6, 7)\) with unit baseline AB = \(1\).¶
Constructed Elements
Central Lines: {2, 4} (Euler line)
Related Centers: X2 (CENTROID), X4 (ORTHOCENTER)
Alternate Coordinates7 forms
Trilinears: \(\cos A + 4 \cos B \cos C : :\)
Trilinears: \(3 \cos A - 4 \sin B \sin C : :\)
Trilinears: \((\csc A)(2 \tan A + \tan B + \tan C) + 2 \sec A : :\)
Trilinears: \(3 \cos B \cos C + \sin B \sin C : :\)
Barycentrics: \(a^{4} - 2b^{4} - 2c^{4} + a^{2}b^{2} + a^{2}c^{2} + 4b^{2}c^{2} : :\)
Barycentrics: \(S^{2} + 3 S_{B} S_{C} : :\)
Barycentrics: \(a^{2} S_{A} + 4 S_{B} S_{C} : :\)
Linear Combinations2 combinations
\(X381) =\) X1 - \(4\) X9955, X1 + \(2\) X18480, X1 + \(5\) X18492, \(2\) X1 - \(5\) X18493, \(2\) X1 + X18525, \(4\) X1 - X18526, X1 - \(5\) X30308, \(7\) X1 - \(4\) X32900, X1 - \(3\) X38021, \(5\) X2 - X20, \(5\) X2 - \(4\) X140, \(4\) X2 + X382, X2 + \(4\) X546, \(3\) X2 - \(4\) X547, \(11\) X2 - \(4\) X548, \(7\) X2 - \(2\) X550, \(7\) X2 - \(5\) X631, \(11\) X2 - \(10\) X632, \(4\) X2 - \(5\) X1656, \(8\) X2 - X1657, \(5\) X2 - \(7\) X3090, X2 - \(5\) X3091, \(7\) X2 + X3146, \(13\) X2 - \(5\) X3522, \(11\) X2 - \(7\) X3523, \(5\) X2 - \(3\) X3524, \(13\) X2 - \(11\) X3525, \(8\) X2 - \(7\) X3526, \(17\) X2 - \(7\) X3528, \(11\) X2 - X3529, \(13\) X2 - \(8\) X3530, \(19\) X2 - \(17\) X3533, \(4\) X2 - X3534, \(3\) X2 + X3543, \(7\) X2 - \(17\) X3544, X2 - \(3\) X3545, \(5\) X2 + \(2\) X3627, \(7\) X2 - \(8\) X3628, \(2\) X2 + X3830, X2 + \(7\) X3832, X2 + \(3\) X3839, \(2\) X2 + \(5\) X3843, X2 + \(2\) X3845, X2 - \(8\) X3850, \(2\) X2 - \(7\) X3851, \(7\) X2 + \(4\) X3853, X2 - \(17\) X3854, X2 - \(11\) X3855, X2 + \(16\) X3856, X2 - \(14\) X3857, X2 + \(10\) X3858, X2 - \(20\) X3859, X2 + \(8\) X3860, \(5\) X2 + \(8\) X3861, \(4\) X2 - \(3\) X5054, \(2\) X2 - \(3\) X5055, \(7\) X2 - \(11\) X5056, \(17\) X2 - X5059, X2 - \(4\) X5066, \(11\) X2 - \(13\) X5067, \(5\) X2 - \(13\) X5068, \(10\) X2 - \(11\) X5070, \(3\) X2 - \(5\) X5071, \(4\) X2 - \(11\) X5072, \(10\) X2 + X5073, \(8\) X2 + \(5\) X5076, \(8\) X2 - \(13\) X5079, \(13\) X2 - \(17\) X7486, \(5\) X2 - \(2\) X8703, \(5\) X2 - \(8\) X10109, \(9\) X2 - \(8\) X10124, \(23\) X2 - \(13\) X10299, \(17\) X2 - \(13\) X10303, \(7\) X2 - \(3\) X10304, \(7\) X2 - X11001, \(7\) X2 - \(6\) X11539, \(19\) X2 - \(16\) X11540, \(25\) X2 + X11541, \(3\) X2 - \(8\) X11737, \(11\) X2 - \(8\) X11812, \(7\) X2 - \(4\) X12100, \(5\) X2 + \(4\) X12101, \(11\) X2 + \(8\) X12102, \(17\) X2 - \(4\) X12103, \(23\) X2 - \(16\) X12108, \(5\) X2 - \(16\) X12811, \(13\) X2 - \(20\) X12812, \(12\) X2 - \(5\) X14093, \(2\) X2 + \(3\) X14269, \(19\) X2 - \(14\) X14869, \(31\) X2 - \(24\) X14890, \(15\) X2 - \(8\) X14891, \(5\) X2 - \(12\) X14892, \(3\) X2 + \(4\) X14893, \(11\) X2 - \(19\) X15022, \(11\) X2 + X15640, \(6\) X2 - X15681, \(5\) X2 + X15682, \(9\) X2 - X15683, \(6\) X2 + X15684, \(10\) X2 - X15685, \(9\) X2 - \(2\) X15686, \(3\) X2 + \(2\) X15687, \(8\) X2 - \(3\) X15688, \(10\) X2 - \(3\) X15689, \(13\) X2 - \(4\) X15690, \(15\) X2 - \(4\) X15691, \(9\) X2 - \(5\) X15692, \(8\) X2 - \(5\) X15693, \(6\) X2 - \(5\) X15694, \(14\) X2 - \(5\) X15695, \(16\) X2 - \(5\) X15696, \(17\) X2 - \(5\) X15697, \(13\) X2 - \(7\) X15698, \(5\) X2 - \(6\) X15699, \(12\) X2 - \(7\) X15700, \(10\) X2 - \(7\) X15701, \(9\) X2 - \(7\) X15702, \(6\) X2 - \(7\) X15703, \(13\) X2 - \(2\) X15704, \(17\) X2 - \(9\) X15705, \(16\) X2 - \(9\) X15706, \(14\) X2 - \(9\) X15707, \(13\) X2 - \(9\) X15708, \(11\) X2 - \(9\) X15709, \(19\) X2 - \(9\) X15710, \(19\) X2 - \(10\) X15711, \(17\) X2 - \(10\) X15712, \(13\) X2 - \(10\) X15713, \(21\) X2 - \(10\) X15714, \(21\) X2 - \(11\) X15715, \(20\) X2 - \(11\) X15716, \(19\) X2 - \(11\) X15717, \(18\) X2 - \(11\) X15718, \(17\) X2 - \(11\) X15719, \(16\) X2 - \(11\) X15720, \(15\) X2 - \(11\) X15721, \(26\) X2 - \(17\) X15722, \(12\) X2 - \(11\) X15723, \(17\) X2 - \(8\) X15759, \(17\) X2 - \(16\) X16239, \(11\) X2 - \(6\) X17504, \(19\) X2 - \(5\) X17538, \(11\) X2 + \(5\) X17578, \(14\) X2 - X17800, \(11\) X2 - \(5\) X19708, \(2\) X2 - \(5\) X19709, \(11\) X2 - \(2\) X19710, \(23\) X2 - \(14\) X19711, \(29\) X2 - \(13\) X21734, \(25\) X2 - \(11\) X21735, X2 + \(6\) X23046, \(7\) X2 + \(2\) X33699, \(13\) X2 + X33703, \(19\) X2 - \(8\) X33923, \(9\) X2 - \(4\) X34200, \(11\) X2 - \(16\) X35018, \(64\) X2 - \(55\) X35381, \(36\) X2 - \(65\) X35382, \(64\) X2 + \(5\) X35384, \(18\) X2 + X35400, \(18\) X2 + \(11\) X35401, \(24\) X2 + \(13\) X35402, \(6\) X2 + \(5\) X35403, \(9\) X2 + \(2\) X35404, \(128\) X2 + \(11\) X35405, \(154\) X2 + \(13\) X35406, \(62\) X2 + \(5\) X35407, \(63\) X2 + \(4\) X35408, \(31\) X2 + \(3\) X35409, \(180\) X2 - \(11\) X35410, \(210\) X2 - \(13\) X35411, \(186\) X2 - \(13\) X35412, \(189\) X2 - \(16\) X35413, \(93\) X2 - \(5\) X35414, \(646\) X2 - \(143\) X35415, \(178\) X2 + \(55\) X35416, \(57\) X2 + \(176\) X35417, \(89\) X2 - \(33\) X35418, \(302\) X2 + \(65\) X35419, \(133\) X2 + \(234\) X35420, \(151\) X2 - \(52\) X35421, \(12\) X2 + \(5\) X35434, \(192\) X2 - \(13\) X35435, X2 - \(6\) X38071, \(4\) X2 + \(3\) X38335, X2 + \(5\) X41099, X2 - \(7\) X41106, \(47\) X2 - \(16\) X41981, \(29\) X2 - \(12\) X41982, \(19\) X2 - \(12\) X41983, \(25\) X2 - \(24\) X41984, \(23\) X2 - \(24\) X41985, \(25\) X2 - \(48\) X41986, \(5\) X2 + \(12\) X41987, \(15\) X2 + \(16\) X41988, \(17\) X2 - \(40\) X41989, \(5\) X2 - \(26\) X41990, X2 + \(22\) X41991, \(47\) X2 - \(46\) X41992, \(25\) X2 - \(8\) X44245, \(25\) X2 - \(16\) X44580, \(25\) X2 - \(14\) X44682, \(15\) X2 - \(2\) X44903, \(17\) X2 - \(28\) X44904, \(17\) X2 - \(24\) X45757, \(55\) X2 - \(48\) X45758, \(13\) X2 - \(6\) X45759, \(47\) X2 - \(40\) X45760, \(99\) X2 - \(56\) X45761, \(15\) X2 + \(28\) X45762, \(14\) X2 - \(13\) X46219, \(37\) X2 - \(16\) X46332, \(17\) X2 - \(3\) X46333, \(23\) X2 - \(10\) X46853, \(25\) X2 - \(29\) X46935, \(19\) X2 - \(23\) X46936, X3 + \(2\) X4, X3 - \(4\) X5, \(5\) X3 - \(2\) X20, \(5\) X3 - \(8\) X140, \(3\) X3 - \(2\) X376, \(2\) X3 + X382, X3 + \(8\) X546, \(3\) X3 - \(8\) X547, \(11\) X3 - \(8\) X548, \(3\) X3 - \(4\) X549, \(7\) X3 - \(4\) X550, \(7\) X3 - \(10\) X631, \(11\) X3 - \(20\) X632, \(2\) X3 - \(5\) X1656, \(4\) X3 - X1657, \(5\) X3 - \(14\) X3090, X3 - \(10\) X3091, \(7\) X3 + \(2\) X3146, \(13\) X3 - \(10\) X3522, \(11\) X3 - \(14\) X3523, \(5\) X3 - \(6\) X3524, \(13\) X3 - \(22\) X3525, \(4\) X3 - \(7\) X3526, \(17\) X3 - \(14\) X3528, \(11\) X3 - \(2\) X3529, \(13\) X3 - \(16\) X3530, \(19\) X3 - \(34\) X3533, \(3\) X3 + \(2\) X3543, \(7\) X3 - \(34\) X3544, X3 - \(6\) X3545, \(5\) X3 + \(4\) X3627, \(7\) X3 - \(16\) X3628, X3 + \(14\) X3832, X3 + \(6\) X3839, X3 + \(5\) X3843, X3 + \(4\) X3845, X3 - \(16\) X3850, X3 - \(7\) X3851, \(7\) X3 + \(8\) X3853, X3 - \(34\) X3854, X3 - \(22\) X3855, X3 + \(32\) X3856, X3 - \(28\) X3857, X3 + \(20\) X3858, X3 - \(40\) X3859, X3 + \(16\) X3860, \(5\) X3 + \(16\) X3861, \(2\) X3 - \(3\) X5054, X3 - \(3\) X5055, \(7\) X3 - \(22\) X5056, \(17\) X3 - \(2\) X5059, X3 - \(8\) X5066, \(11\) X3 - \(26\) X5067, \(5\) X3 - \(26\) X5068, \(5\) X3 - \(11\) X5070, \(3\) X3 - \(10\) X5071, \(2\) X3 - \(11\) X5072, \(5\) X3 + X5073, \(4\) X3 + \(5\) X5076, \(4\) X3 - \(13\) X5079, \(13\) X3 - \(34\) X7486, \(5\) X3 - \(4\) X8703, \(5\) X3 - \(16\) X10109, \(9\) X3 - \(16\) X10124, \(23\) X3 - \(26\) X10299, \(17\) X3 - \(26\) X10303, \(7\) X3 - \(6\) X10304, \(7\) X3 - \(2\) X11001, \(7\) X3 - \(12\) X11539, \(19\) X3 - \(32\) X11540, \(25\) X3 + \(2\) X11541, \(3\) X3 - \(16\) X11737, \(11\) X3 - \(16\) X11812, \(7\) X3 - \(8\) X12100, \(5\) X3 + \(8\) X12101, \(11\) X3 + \(16\) X12102, \(17\) X3 - \(8\) X12103, \(23\) X3 - \(32\) X12108, \(5\) X3 - \(32\) X12811, \(13\) X3 - \(40\) X12812, \(6\) X3 - \(5\) X14093, X3 + \(3\) X14269, \(19\) X3 - \(28\) X14869, \(31\) X3 - \(48\) X14890, \(15\) X3 - \(16\) X14891, \(5\) X3 - \(24\) X14892, \(3\) X3 + \(8\) X14893, \(11\) X3 - \(38\) X15022, \(11\) X3 + \(2\) X15640, \(3\) X3 - X15681, \(5\) X3 + \(2\) X15682, \(9\) X3 - \(2\) X15683, \(3\) X3 + X15684, \(5\) X3 - X15685, \(9\) X3 - \(4\) X15686, \(3\) X3 + \(4\) X15687, \(4\) X3 - \(3\) X15688, \(5\) X3 - \(3\) X15689, \(13\) X3 - \(8\) X15690, \(15\) X3 - \(8\) X15691, \(9\) X3 - \(10\) X15692, \(4\) X3 - \(5\) X15693, \(3\) X3 - \(5\) X15694, \(7\) X3 - \(5\) X15695, \(8\) X3 - \(5\) X15696, \(17\) X3 - \(10\) X15697, \(13\) X3 - \(14\) X15698, \(5\) X3 - \(12\) X15699, \(6\) X3 - \(7\) X15700, \(5\) X3 - \(7\) X15701, \(9\) X3 - \(14\) X15702, \(3\) X3 - \(7\) X15703, \(13\) X3 - \(4\) X15704, \(17\) X3 - \(18\) X15705, \(8\) X3 - \(9\) X15706, \(7\) X3 - \(9\) X15707, \(13\) X3 - \(18\) X15708, \(11\) X3 - \(18\) X15709, \(19\) X3 - \(18\) X15710, \(19\) X3 - \(20\) X15711, \(17\) X3 - \(20\) X15712, \(13\) X3 - \(20\) X15713, \(21\) X3 - \(20\) X15714, \(21\) X3 - \(22\) X15715, \(10\) X3 - \(11\) X15716, \(19\) X3 - \(22\) X15717, \(9\) X3 - \(11\) X15718, \(17\) X3 - \(22\) X15719, \(8\) X3 - \(11\) X15720, \(15\) X3 - \(22\) X15721, \(13\) X3 - \(17\) X15722, \(6\) X3 - \(11\) X15723, \(17\) X3 - \(16\) X15759, \(17\) X3 - \(32\) X16239, \(11\) X3 - \(12\) X17504, \(19\) X3 - \(10\) X17538, \(11\) X3 + \(10\) X17578, \(7\) X3 - X17800, \(11\) X3 - \(10\) X19708, X3 - \(5\) X19709, \(11\) X3 - \(4\) X19710, \(23\) X3 - \(28\) X19711, \(29\) X3 - \(26\) X21734, \(25\) X3 - \(22\) X21735, X3 + \(12\) X23046, \(7\) X3 + \(4\) X33699, \(13\) X3 + \(2\) X33703, \(19\) X3 - \(16\) X33923, \(9\) X3 - \(8\) X34200, \(11\) X3 - \(32\) X35018, \(32\) X3 - \(55\) X35381, \(18\) X3 - \(65\) X35382, \(32\) X3 + \(5\) X35384, \(9\) X3 + X35400, \(9\) X3 + \(11\) X35401, \(12\) X3 + \(13\) X35402, \(3\) X3 + \(5\) X35403, \(9\) X3 + \(4\) X35404, \(64\) X3 + \(11\) X35405, \(77\) X3 + \(13\) X35406, \(31\) X3 + \(5\) X35407, \(63\) X3 + \(8\) X35408, \(31\) X3 + \(6\) X35409, \(90\) X3 - \(11\) X35410, \(105\) X3 - \(13\) X35411, \(93\) X3 - \(13\) X35412, \(189\) X3 - \(32\) X35413, \(93\) X3 - \(10\) X35414, \(323\) X3 - \(143\) X35415, \(89\) X3 + \(55\) X35416, \(57\) X3 + \(352\) X35417, \(89\) X3 - \(66\) X35418, \(151\) X3 + \(65\) X35419, \(133\) X3 + \(468\) X35420, \(151\) X3 - \(104\) X35421, \(6\) X3 + \(5\) X35434, \(96\) X3 - \(13\) X35435, X3 - \(12\) X38071, \(2\) X3 + \(3\) X38335, X3 + \(10\) X41099, X3 - \(14\) X41106, \(47\) X3 - \(32\) X41981, \(29\) X3 - \(24\) X41982, \(19\) X3 - \(24\) X41983, \(25\) X3 - \(48\) X41984, \(23\) X3 - \(48\) X41985, \(25\) X3 - \(96\) X41986, \(5\) X3 + \(24\) X41987, \(15\) X3 + \(32\) X41988, \(17\) X3 - \(80\) X41989, \(5\) X3 - \(52\) X41990, X3 + \(44\) X41991, \(47\) X3 - \(92\) X41992, \(25\) X3 - \(16\) X44245, \(25\) X3 - \(32\) X44580, \(25\) X3 - \(28\) X44682, \(15\) X3 - \(4\) X44903, \(17\) X3 - \(56\) X44904, \(17\) X3 - \(48\) X45757, \(55\) X3 - \(96\) X45758, \(13\) X3 - \(12\) X45759, \(47\) X3 - \(80\) X45760, \(99\) X3 - \(112\) X45761, \(15\) X3 + \(56\) X45762, \(7\) X3 - \(13\) X46219, \(37\) X3 - \(32\) X46332, \(17\) X3 - \(6\) X46333, \(23\) X3 - \(20\) X46853, \(25\) X3 - \(58\) X46935, \(19\) X3 - \(46\) X46936, X4 + \(2\) X5, \(5\) X4 + X20, \(5\) X4 + \(4\) X140, \(3\) X4 + X376, \(4\) X4 - X382, X4 - \(4\) X546, \(3\) X4 + \(4\) X547, \(11\) X4 + \(4\) X548, \(3\) X4 + \(2\) X549, \(7\) X4 + \(2\) X550, \(7\) X4 + \(5\) X631, \(11\) X4 + \(10\) X632, \(4\) X4 + \(5\) X1656, \(8\) X4 + X1657, \(5\) X4 + \(7\) X3090, X4 + \(5\) X3091, \(7\) X4 - X3146, \(13\) X4 + \(5\) X3522, \(11\) X4 + \(7\) X3523, \(5\) X4 + \(3\) X3524, \(13\) X4 + \(11\) X3525, \(8\) X4 + \(7\) X3526, \(17\) X4 + \(7\) X3528, \(11\) X4 + X3529, \(13\) X4 + \(8\) X3530, \(19\) X4 + \(17\) X3533, \(4\) X4 + X3534, \(3\) X4 - X3543, \(7\) X4 + \(17\) X3544, X4 + \(3\) X3545, \(5\) X4 - \(2\) X3627, \(7\) X4 + \(8\) X3628, X4 - \(7\) X3832, X4 - \(3\) X3839, \(2\) X4 - \(5\) X3843, X4 + \(8\) X3850, \(2\) X4 + \(7\) X3851, \(7\) X4 - \(4\) X3853, X4 + \(17\) X3854, X4 + \(11\) X3855, X4 - \(16\) X3856, X4 + \(14\) X3857, X4 - \(10\) X3858, X4 + \(20\) X3859, X4 - \(8\) X3860, \(5\) X4 - \(8\) X3861, \(4\) X4 + \(3\) X5054, \(2\) X4 + \(3\) X5055, \(7\) X4 + \(11\) X5056, \(17\) X4 + X5059, X4 + \(4\) X5066, \(11\) X4 + \(13\) X5067, \(5\) X4 + \(13\) X5068, \(10\) X4 + \(11\) X5070, \(3\) X4 + \(5\) X5071, \(4\) X4 + \(11\) X5072, \(10\) X4 - X5073, \(8\) X4 - \(5\) X5076, \(8\) X4 + \(13\) X5079, \(13\) X4 + \(17\) X7486, \(5\) X4 + \(2\) X8703, \(5\) X4 + \(8\) X10109, \(9\) X4 + \(8\) X10124, \(23\) X4 + \(13\) X10299, \(17\) X4 + \(13\) X10303, \(7\) X4 + \(3\) X10304, \(7\) X4 + X11001, \(7\) X4 + \(6\) X11539, \(19\) X4 + \(16\) X11540, \(25\) X4 - X11541, \(3\) X4 + \(8\) X11737, \(11\) X4 + \(8\) X11812, \(7\) X4 + \(4\) X12100, \(5\) X4 - \(4\) X12101, \(11\) X4 - \(8\) X12102, \(17\) X4 + \(4\) X12103, \(23\) X4 + \(16\) X12108, \(5\) X4 + \(16\) X12811, \(13\) X4 + \(20\) X12812, \(12\) X4 + \(5\) X14093, \(2\) X4 - \(3\) X14269, \(19\) X4 + \(14\) X14869, \(31\) X4 + \(24\) X14890, \(15\) X4 + \(8\) X14891, \(5\) X4 + \(12\) X14892, \(3\) X4 - \(4\) X14893, \(11\) X4 + \(19\) X15022, \(11\) X4 - X15640, \(6\) X4 + X15681, \(5\) X4 - X15682, \(9\) X4 + X15683, \(6\) X4 - X15684, \(10\) X4 + X15685, \(9\) X4 + \(2\) X15686, \(3\) X4 - \(2\) X15687, \(8\) X4 + \(3\) X15688, \(10\) X4 + \(3\) X15689, \(13\) X4 + \(4\) X15690, \(15\) X4 + \(4\) X15691, \(9\) X4 + \(5\) X15692, \(8\) X4 + \(5\) X15693, \(6\) X4 + \(5\) X15694, \(14\) X4 + \(5\) X15695, \(16\) X4 + \(5\) X15696, \(17\) X4 + \(5\) X15697, \(13\) X4 + \(7\) X15698, \(5\) X4 + \(6\) X15699, \(12\) X4 + \(7\) X15700, \(10\) X4 + \(7\) X15701, \(9\) X4 + \(7\) X15702, \(6\) X4 + \(7\) X15703, \(13\) X4 + \(2\) X15704, \(17\) X4 + \(9\) X15705, \(16\) X4 + \(9\) X15706, \(14\) X4 + \(9\) X15707, \(13\) X4 + \(9\) X15708, \(11\) X4 + \(9\) X15709, \(19\) X4 + \(9\) X15710, \(19\) X4 + \(10\) X15711, \(17\) X4 + \(10\) X15712, \(13\) X4 + \(10\) X15713, \(21\) X4 + \(10\) X15714, \(21\) X4 + \(11\) X15715, \(20\) X4 + \(11\) X15716, \(19\) X4 + \(11\) X15717, \(18\) X4 + \(11\) X15718, \(17\) X4 + \(11\) X15719, \(16\) X4 + \(11\) X15720, \(15\) X4 + \(11\) X15721, \(26\) X4 + \(17\) X15722, \(12\) X4 + \(11\) X15723, \(17\) X4 + \(8\) X15759, \(17\) X4 + \(16\) X16239, \(11\) X4 + \(6\) X17504, \(19\) X4 + \(5\) X17538, \(11\) X4 - \(5\) X17578, \(14\) X4 + X17800, \(11\) X4 + \(5\) X19708, \(2\) X4 + \(5\) X19709, \(11\) X4 + \(2\) X19710, \(23\) X4 + \(14\) X19711, \(29\) X4 + \(13\) X21734, \(25\) X4 + \(11\) X21735, X4 - \(6\) X23046, \(7\) X4 - \(2\) X33699, \(13\) X4 - X33703, \(19\) X4 + \(8\) X33923, \(9\) X4 + \(4\) X34200, \(11\) X4 + \(16\) X35018, \(64\) X4 + \(55\) X35381, \(36\) X4 + \(65\) X35382, \(64\) X4 - \(5\) X35384, \(18\) X4 - X35400, \(18\) X4 - \(11\) X35401, \(24\) X4 - \(13\) X35402, \(6\) X4 - \(5\) X35403, \(9\) X4 - \(2\) X35404, \(128\) X4 - \(11\) X35405, \(154\) X4 - \(13\) X35406, \(62\) X4 - \(5\) X35407, \(63\) X4 - \(4\) X35408, \(31\) X4 - \(3\) X35409, \(180\) X4 + \(11\) X35410, \(210\) X4 + \(13\) X35411, \(186\) X4 + \(13\) X35412, \(189\) X4 + \(16\) X35413, \(93\) X4 + \(5\) X35414, \(646\) X4 + \(143\) X35415, \(178\) X4 - \(55\) X35416, \(57\) X4 - \(176\) X35417, \(89\) X4 + \(33\) X35418, \(302\) X4 - \(65\) X35419, \(133\) X4 - \(234\) X35420, \(151\) X4 + \(52\) X35421, \(12\) X4 - \(5\) X35434, \(192\) X4 + \(13\) X35435, X4 + \(6\) X38071, \(4\) X4 - \(3\) X38335, X4 - \(5\) X41099, X4 + \(7\) X41106, \(47\) X4 + \(16\) X41981, \(29\) X4 + \(12\) X41982, \(19\) X4 + \(12\) X41983, \(25\) X4 + \(24\) X41984, \(23\) X4 + \(24\) X41985, \(25\) X4 + \(48\) X41986, \(5\) X4 - \(12\) X41987, \(15\) X4 - \(16\) X41988, \(17\) X4 + \(40\) X41989, \(5\) X4 + \(26\) X41990, X4 - \(22\) X41991, \(47\) X4 + \(46\) X41992, \(25\) X4 + \(8\) X44245, \(25\) X4 + \(16\) X44580, \(25\) X4 + \(14\) X44682, \(15\) X4 + \(2\) X44903, \(17\) X4 + \(28\) X44904, \(17\) X4 + \(24\) X45757, \(55\) X4 + \(48\) X45758, \(13\) X4 + \(6\) X45759, \(47\) X4 + \(40\) X45760, \(99\) X4 + \(56\) X45761, \(15\) X4 - \(28\) X45762, \(14\) X4 + \(13\) X46219, \(37\) X4 + \(16\) X46332, \(17\) X4 + \(3\) X46333, \(23\) X4 + \(10\) X46853, \(25\) X4 + \(29\) X46935, \(19\) X4 + \(23\) X46936, \(10\) X5 - X20, \(5\) X5 - \(2\) X140, \(6\) X5 - X376, \(8\) X5 + X382, X5 + \(2\) X546, \(3\) X5 - \(2\) X547, \(11\) X5 - \(2\) X548, \(3\) X5 - X549, \(7\) X5 - X550, \(14\) X5 - \(5\) X631, \(11\) X5 - \(5\) X632, \(8\) X5 - \(5\) X1656, \(16\) X5 - X1657, \(10\) X5 - \(7\) X3090, \(2\) X5 - \(5\) X3091, \(14\) X5 + X3146, \(26\) X5 - \(5\) X3522, \(22\) X5 - \(7\) X3523, \(10\) X5 - \(3\) X3524, \(26\) X5 - \(11\) X3525, \(16\) X5 - \(7\) X3526, \(34\) X5 - \(7\) X3528, \(22\) X5 - X3529, \(13\) X5 - \(4\) X3530, \(38\) X5 - \(17\) X3533, \(8\) X5 - X3534, \(6\) X5 + X3543, \(14\) X5 - \(17\) X3544, \(2\) X5 - \(3\) X3545, \(5\) X5 + X3627, \(7\) X5 - \(4\) X3628, \(4\) X5 + X3830, \(2\) X5 + \(7\) X3832, \(2\) X5 + \(3\) X3839, \(4\) X5 + \(5\) X3843, X5 - \(4\) X3850, \(4\) X5 - \(7\) X3851, \(7\) X5 + \(2\) X3853, \(2\) X5 - \(17\) X3854, \(2\) X5 - \(11\) X3855, X5 + \(8\) X3856, X5 - \(7\) X3857, and thousands more
X381 lies on the McCay circumcircle, the curves K300, K358, K504, K649, K762, K833, K887, K911, Q164.
Incident Central Lines1387 lines
{1, 2463}, {2, 3}, {6, 13}, {7, 38073}, {8, 8148}, {9, 18482}, {10, 2467}, {11, 999}, {12, 1479}, {15, 16644}, {16, 16645}, {17, 12817}, {18, 12816}, {19, 18453}, {32, 13881}, {33, 9642}, {34, 18447}, {35, 12953}, {36, 12943}, {39, 2015}, {40, 7989}, {46, 7082}, {49, 578}, {51, 568}, {52, 5907}, {53, 18437}, {54, 156}, {55, 3583}, {56, 3582}, {57, 18540}, {61, 5339}, {62, 5340}, {64, 3521}, {65, 10826}, {67, 32271}, {68, 3527}, {69, 3531}, {74, 1539}, {76, 7773}, {79, 5221}, {80, 2099}, {83, 7851}, {84, 22792}, {90, 1454}, {98, 598}, {99, 22515}, {100, 22938}, {103, 38768}, {104, 22799}, {109, 38780}, {110, 7699}, {111, 6032}, {112, 19163}, {114, 543}, {116, 10741}, {117, 10747}, {118, 544}, {119, 528}, {120, 15521}, {121, 15522}, {122, 22337}, {123, 33566}, {124, 10740}, {125, 541}, {126, 22338}, {127, 133}, {128, 13512}, {130, 38594}, {131, 5139}, {132, 10749}, {137, 31656}, {141, 31670}, {142, 31672}, {143, 5876}, {145, 37705}, {146, 7693}, {147, 12243}, {148, 7777}, {149, 11698}, {153, 1484}, {154, 18376}, {155, 195}, {157, 11641}, {159, 18382}, {165, 11231}, {182, 2469}, {183, 316}, {184, 567}, {185, 5462}, {187, 37637}, {190, 24827}, {206, 34775}, {210, 517}, {216, 33842}, {220, 24045}, {226, 5722}, {230, 1384}, {233, 36751}, {262, 671}, {264, 339}, {275, 19176}, {298, 622}, {299, 621}, {302, 616}, {303, 617}, {315, 37671}, {325, 11185}, {355, 519}, {371, 8976}, {372, 13847}, {373, 5892}, {385, 34623}, {388, 496}, {389, 12162}, {390, 8164}, {393, 15851}, {394, 1568}, {395, 5318}, {396, 5321}, {397, 40694}, {398, 40693}, {485, 1328}, {486, 1327}, {487, 22809}, {488, 22810}, {493, 18520}, {494, 18522}, {495, 497}, {498, 3614}, {499, 5298}, {511, 599}, {512, 13240}, {513, 39483}, {514, 39489}, {515, 551}, {516, 3828}, {523, 16279}, {524, 1351}, {525, 39491}, {527, 2095}, {529, 3829}, {530, 5478}, {531, 5479}, {532, 5858}, {533, 5859}, {535, 11194}, {536, 20430}, {538, 3095}, {540, 7683}, {545, 24828}, {553, 1210}, {569, 6759}, {574, 7603}, {576, 15069}, {590, 6221}, {591, 6250}, {597, 1503}, {615, 6398}, {620, 38730}, {623, 3643}, {624, 3642}, {625, 3734}, {627, 33608}, {628, 33609}, {629, 33619}, {630, 33618}, {637, 32809}, {638, 32808}, {754, 6249}, {804, 19912}, {900, 39493}, {908, 3419}, {912, 5927}, {916, 31163}, {938, 5714}, {942, 1864}, {944, 5901}, {950, 11374}, {952, 3241}, {956, 5080}, {958, 25639}, {960, 16616}, {962, 5690}, {971, 6173}, {986, 5492}, {997, 5087}, {1001, 3822}, {1007, 6390}, {1056, 5274}, {1058, 5261}, {1060, 9817}, {1062, 9641}, {1073, 37873}, {1078, 11057}, {1092, 37495}, {1093, 14860}, {1112, 7723}, {1116, 32478}, {1125, 3653}, {1131, 6501}, {1132, 6500}, {1147, 11424}, {1151, 10576}, {1152, 10577}, {1154, 3060}, {1157, 16764}, {1159, 12019}, {1160, 7721}, {1161, 7720}, {1173, 45014}, {1181, 19361}, {1199, 43605}, {1209, 12307}, {1216, 37484}, {1217, 36609}, {1263, 16762}, {1285, 37689}, {1296, 38800}, {1297, 19160}, {1319, 23708}, {1329, 9709}, {1350, 14926}, {1353, 5032}, {1376, 3814}, {1385, 5691}, {1387, 3476}, {1388, 37735}, {1470, 13273}, {1480, 33104}, {1483, 10595}, {1490, 37615}, {1495, 14805}, {1498, 15047}, {1499, 8371}, {1506, 5013}, {1511, 10546}, {1514, 3426}, {1531, 3581}, {1533, 35237}, {1537, 19914}, {1565, 17079}, {1587, 6418}, {1588, 6417}, {1614, 13434}, {1698, 3579}, {1714, 9958}, {1737, 1836}, {1750, 18443}, {1770, 24914}, {1837, 12047}, {1843, 18438}, {1853, 5943}, {1870, 37729}, {1898, 13750}, {1974, 19129}, {1975, 7752}, {1986, 22584}, {1991, 6251}, {1992, 3564}, {1993, 15068}, {1994, 15052}, {2039, 38597}, {2040, 38596}, {2051, 9567}, {2080, 3849}, {2094, 5770}, {2096, 13226}, {2098, 37710}, {2393, 23049}, {2452, 9214}, {2453, 5099}, {2482, 15561}, {2548, 5254}, {2549, 3815}, {2550, 3820}, {2551, 31418}, {2646, 37692}, {2770, 32229}, {2771, 5902}, {2775, 14431}, {2777, 10606}, {2779, 15049}, {2780, 9148}, {2781, 16776}, {2794, 5461}, {2796, 24311}, {2797, 45319}, {2799, 44203}, {2800, 38161}, {2808, 10708}, {2818, 10709}, {2829, 23513}, {2883, 12315}, {2886, 9708}, {2888, 12316}, {2900, 5720}, {2917, 32365}, {2929, 22816}, {2930, 32273}, {2931, 19479}, {2935, 32743}, {2971, 23635}, {2979, 13391}, {2999, 18505}, {3023, 10054}, {3027, 10070}, {3052, 17734}, {3053, 7746}, {3054, 15655}, {3055, 43619}, {3057, 10827}, {3065, 16763}, {3068, 6199}, {3069, 6395}, {3085, 5225}, {3086, 5229}, {3087, 38292}, {3098, 3763}, {3106, 31702}, {3107, 31701}, {3120, 7986}, {3167, 5654}, {3258, 14685}, {3259, 38586}, {3297, 35800}, {3298, 35801}, {3303, 4857}, {3304, 5270}, {3309, 31149}, {3314, 43453}, {3316, 43567}, {3317, 43566}, {3336, 7701}, {3357, 5895}, {3358, 15239}, {3359, 11372}, {3361, 31776}, {3366, 42236}, {3367, 42238}, {3373, 12823}, {3388, 12822}, {3391, 42235}, {3392, 42237}, {3398, 7817}, {3411, 42533}, {3412, 42532}, {3413, 41880}, {3414, 41881}, {3424, 18842}, {3434, 17757}, {3436, 24390}, {3448, 11801}, {3459, 22335}, {3483, 16765}, {3485, 37730}, {3486, 37737}, {3487, 12433}, {3488, 5226}, {3567, 6102}, {3576, 7988}, {3586, 5219}, {3587, 7308}, {3589, 12017}, {3592, 8960}, {3616, 34773}, {3617, 38081}, {3618, 38079}, {3624, 13624}, {3632, 11278}, {3634, 31730}, {3652, 16125}, {3667, 39490}, {3695, 42032}, {3746, 9670}, {3767, 5306}, {3785, 32885}, {3793, 37667}, {3796, 44407}, {3824, 41854}, {3825, 25524}, {3847, 10200}, {3917, 10170}, {3925, 34618}, {3927, 6734}, {3928, 5789}, {3929, 5709}, {3933, 32816}, {3934, 7784}, {3944, 37717}, {3972, 10722}, {4252, 45939}, {4292, 37545}, {4293, 10589}, {4294, 10588}, {4297, 19883}, {4299, 5433}, {4301, 4669}, {4302, 5432}, {4370, 29243}, {4388, 5774}, {4413, 35238}, {4421, 11496}, {4428, 10197}, {4549, 32269}, {4664, 29010}, {4677, 7982}, {4745, 11362}, {4994, 19210}, {5012, 14157}, {5023, 7749}, {5031, 35456}, {5044, 37585}, {5045, 5290}, {5048, 37708}, {5085, 10168}, {5086, 5730}, {5090, 34713}, {5092, 7913}, {5095, 32272}, {5102, 5965}, {5103, 35458}, {5122, 31231}, {5123, 35460}, {5134, 42316}, {5158, 18487}, {5167, 18322}, {5203, 40809}, {5204, 10483}, {5206, 44535}, {5210, 6781}, {5215, 32414}, {5237, 42431}, {5238, 42432}, {5251, 31245}, {5252, 30384}, {5289, 11813}, {5292, 13408}, {5305, 43136}, {5325, 5791}, {5334, 11542}, {5335, 11543}, {5343, 42494}, {5344, 42495}, {5349, 42147}, {5350, 42148}, {5351, 42491}, {5352, 42490}, {5365, 42925}, {5366, 42924}, {5412, 18457}, {5413, 18459}, {5418, 6449}, {5420, 6450}, {5422, 11456}, {5437, 7171}, {5439, 13369}, {5440, 30852}, {5443, 34471}, {5446, 5562}, {5449, 12163}, {5459, 41022}, {5460, 41023}, {5463, 36765}, {5485, 14484}, {5510, 10744}, {5523, 45141}, {5533, 12763}, {5544, 11820}, {5563, 9657}, {5597, 18495}, {5598, 18497}, {5609, 11422}, {5627, 14254}, {5640, 5663}, {5642, 14643}, {5644, 5656}, {5646, 33544}, {5650, 36987}, {5651, 13857}, {5657, 9812}, {5687, 11681}, {5694, 37625}, {5704, 34753}, {5705, 31445}, {5706, 37509}, {5707, 36750}, {5715, 5777}, {5725, 24210}, {5726, 31393}, {5731, 28186}, {5732, 38093}, {5752, 15488}, {5762, 5817}, {5787, 6260}, {5794, 21616}, {5816, 17330}, {5840, 6174}, {5841, 31157}, {5842, 38109}, {5843, 38137}, {5844, 31145}, {5860, 6201}, {5861, 6202}, {5864, 21359}, {5865, 21360}, {5878, 5893}, {5881, 10222}, {5884, 31871}, {5885, 15071}, {5887, 7686}, {5898, 18427}, {5913, 21448}, {5944, 26882}, {5972, 12121}, {6002, 45665}, {6036, 14971}, {6090, 40112}, {6101, 11444}, {6108, 22513}, {6109, 22512}, {6114, 6775}, {6115, 6772}, {6145, 32364}, {6146, 19347}, {6152, 22815}, {6153, 43581}, {6200, 8253}, {6235, 6324}, {6241, 11439}, {6244, 7965}, {6245, 6259}, {6246, 6265}, {6253, 26487}, {6256, 16203}, {6278, 22485}, {6281, 22484}, {6291, 22811}, {6337, 32826}, {6361, 9780}, {6391, 45088}, {6396, 8252}, {6406, 22812}, {6407, 9540}, {6408, 13935}, {6409, 42266}, {6410, 42267}, {6425, 35730}, {6426, 35813}, {6445, 9541}, {6446, 32786}, {6447, 31454}, {6448, 42418}, {6451, 32789}, {6452, 32790}, {6455, 42260}, {6456, 42261}, {6459, 8981}, {6460, 13966}, {6472, 43520}, {6473, 43519}, {6480, 42558}, {6481, 42557}, {6484, 42568}, {6485, 42569}, {6519, 9681}, {6522, 41964}, {6526, 13157}, {6666, 38067}, {6667, 38069}, {6668, 38070}, {6683, 7872}, {6688, 14855}, {6689, 32340}, {6696, 20427}, {6697, 34778}, {6699, 13202}, {6702, 12515}, {6704, 8725}, {6712, 38765}, {6713, 38753}, {6716, 23240}, {6718, 38777}, {6721, 9167}, {6722, 38739}, {6723, 16111}, {6748, 15905}, {6750, 36245}, {6770, 20252}, {6771, 22489}, {6773, 20253}, {6774, 22490}, {6776, 13674}, {6782, 41745}, {6783, 41746}, {6785, 6787}, {6788, 18326}, {6792, 18346}, {6795, 38393}, {7160, 22801}, {7578, 18300}, {7585, 23273}, {7586, 23267}, {7592, 32139}, {7607, 45103}, {7608, 17503}, {7618, 9771}, {7620, 9770}, {7622, 32479}, {7666, 45248}, {7678, 42884}, {7691, 13565}, {7710, 46034}, {7735, 18907}, {7736, 15048}, {7738, 31404}, {7750, 32832}, {7751, 7843}, {7754, 7785}, {7756, 15815}, {7761, 15271}, {7763, 32819}, {7764, 22665}, {7767, 32006}, {7772, 39593}, {7774, 22253}, {7790, 11174}, {7793, 19569}, {7798, 32457}, {7804, 7844}, {7806, 9862}, {7808, 7861}, {7810, 8556}, {7812, 14568}, {7814, 32821}, {7815, 7842}, {7816, 7862}, {7821, 17130}, {7823, 32151}, {7827, 39646}, {7828, 9873}, {7840, 32515}, {7845, 17131}, {7868, 7934}, {7879, 7885}, {7881, 7912}, {7883, 33706}, {7900, 17129}, {7914, 35248}, {7935, 31239}, {7941, 20081}, {7956, 34625}, {7967, 10283}, {7999, 10627}, {8068, 8069}, {8070, 8071}, {8074, 18327}, {8182, 15597}, {8192, 34668}, {8193, 34657}, {8196, 8200}, {8203, 8207}, {8212, 8220}, {8213, 8221}, {8254, 12254}, {8288, 45723}, {8541, 18449}, {8547, 20113}, {8567, 25563}, {8573, 9722}, {8584, 11482}, {8585, 39602}, {8589, 44541}, {8680, 25362}, {8704, 13377}, {8717, 22112}, {8722, 15810}, {8757, 23070}, {8760, 45320}, {8780, 23292}, {8859, 10788}, {8860, 38227}, {8939, 18414}, {8943, 18415}, {9115, 23006}, {9117, 23013}, {9143, 25147}, {9144, 11005}, {9172, 14666}, {9175, 14684}, {9178, 18309}, {9306, 13352}, {9308, 17035}, {9543, 10145}, {9578, 9614}, {9579, 37582}, {9580, 31434}, {9598, 31460}, {9607, 31417}, {9613, 24928}, {9624, 15178}, {9664, 31476}, {9665, 16781}, {9680, 10195}, {9690, 43508}, {9691, 43512}, {9698, 22332}, {9707, 12289}, {9717, 34150}, {9729, 10575}, {9732, 45481}, {9733, 45480}, {9734, 14162}, {9746, 28897}, {9752, 23055}, {9753, 22329}, {9755, 11177}, {9764, 9765}, {9767, 9768}, {9775, 42008}, {9777, 11442}, {9778, 28178}, {9816, 15941}, {9820, 12118}, {9822, 37511}, {9826, 12133}, {9830, 12177}, {9833, 14530}, {9856, 37562}, {9863, 34604}, {9895, 15940}, {9919, 44883}, {9937, 22661}, {9970, 32274}, {9973, 43129}, {9979, 44204}, {10002, 36876}, {10003, 42329}, {10031, 19907}, {10032, 19919}, {10039, 12701}, {10086, 12354}, {10089, 18969}, {10104, 12110}, {10106, 11373}, {10112, 40240}, {10117, 19506}, {10152, 38605}, {10164, 10172}, {10165, 10171}, {10187, 42505}, {10188, 42504}, {10194, 43562}, {10199, 12114}, {10217, 36299}, {10218, 36298}, {10249, 36201}, {10263, 11017}, {10265, 16112}, {10266, 22805}, {10269, 41698}, {10272, 12383}, {10274, 40276}, {10278, 16220}, {10282, 17845}, {10302, 14488}, {10306, 10525}, {10311, 10317}, {10418, 14653}, {10446, 17271}, {10526, 22770}, {10531, 10599}, {10532, 10598}, {10572, 11375}, {10574, 12006}, {10596, 32213}, {10597, 32214}, {10601, 11550}, {10625, 11793}, {10641, 18468}, {10642, 18470}, {10645, 42096}, {10646, 42097}, {10712, 28915}, {10717, 33962}, {10718, 20410}, {10721, 12041}, {10723, 11164}, {10724, 33814}, {10725, 38599}, {10726, 38600}, {10727, 31273}, {10728, 31272}, {10729, 38603}, {10730, 38604}, {10731, 38606}, {10732, 38607}, {10734, 14650}, {10735, 38608}, {10746, 25640}, {10752, 13169}, {10753, 11161}, {10886, 37620}, {10897, 35764}, {10898, 35765}, {10984, 37471}, {10985, 18472}, {10990, 20397}, {10991, 20398}, {10992, 20399}, {10993, 20400}, {11002, 13451}, {11004, 18387}, {11011, 37711}, {11160, 34380}, {11167, 14485}, {11170, 43535}, {11171, 37808}, {11173, 15993}, {11182, 21733}, {11187, 44420}, {11188, 14984}, {11202, 39242}, {11245, 45967}, {11257, 11272}, {11271, 11803}, {11376, 45287}, {11381, 27355}, {11396, 34729}, {11402, 12022}, {11425, 13403}, {11426, 12134}, {11432, 12233}, {11433, 18917}, {11438, 26958}, {11440, 43613}, {11441, 12161}, {11449, 43394}, {11451, 11455}, {11457, 12174}, {11477, 15533}, {11480, 16241}, {11481, 16242}, {11487, 11850}, {11488, 42117}, {11489, 42118}, {11557, 21650}, {11561, 12270}, {11562, 41671}, {11572, 13353}, {11576, 12606}, {11669, 33698}, {11671, 14072}, {11693, 38795}, {11694, 34153}, {11695, 46850}, {11699, 12407}, {11704, 11999}, {11723, 12898}, {11750, 13419}, {11805, 33565}, {12112, 15018}, {12115, 30283}, {12154, 41060}, {12155, 41061}, {12160, 41628}, {12236, 12825}, {12242, 15752}, {12261, 12368}, {12278, 15807}, {12279, 15028}, {12281, 38898}, {12284, 13358}, {12292, 14708}, {12301, 20302}, {12302, 33547}, {12313, 45861}, {12314, 45860}, {12322, 32811}, {12323, 32810}, {12350, 13183}, {12351, 13182}, {12370, 14516}, {12412, 40914}, {12513, 24387}, {12528, 24475}, {12599, 12856}, {12600, 12919}, {12619, 34789}, {12672, 25413}, {12680, 13373}, {12688, 34339}, {12737, 16174}, {12818, 43569}, {12819, 43568}, {12820, 42629}, {12821, 42630}, {12897, 35602}, {12900, 16163}, {12978, 22817}, {12979, 22818}, {13051, 22813}, {13052, 22814}, {13055, 22821}, {13056, 22822}, {13151, 25525}, {13335, 36997}, {13339, 43650}, {13349, 36994}, {13350, 36992}, {13432, 15801}, {13445, 43584}, {13464, 37727}, {13465, 16159}, {13468, 44678}, {13482, 34148}, {13557, 21268}, {13558, 22823}, {13561, 26917}, {13599, 39284}, {13623, 14490}, {13638, 13644}, {13687, 13692}, {13748, 45411}, {13749, 45410}, {13758, 13763}, {13807, 13812}, {13875, 22641}, {13876, 22640}, {13886, 23275}, {13893, 31439}, {13915, 19060}, {13925, 42639}, {13928, 22612}, {13929, 22611}, {13939, 23269}, {13979, 19059}, {13993, 42640}, {14059, 33546}, {14094, 15019}, {14103, 22752}, {14163, 14214}, {14164, 14215}, {14249, 14978}, {14260, 36590}, {14385, 45694}, {14389, 26864}, {14457, 38260}, {14483, 19307}, {14494, 41895}, {14528, 17505}, {14583, 14993}, {14635, 32428}, {14647, 38159}, {14663, 42425}, {14677, 40685}, {14686, 38588}, {14693, 26613}, {14712, 17004}, {14731, 18319}, {14833, 21460}, {14861, 22334}, {14866, 31749}, {14907, 37688}, {14929, 15589}, {14961, 33843}, {14980, 46439}, {14981, 38734}, {14989, 38610}, {15017, 22935}, {15025, 20396}, {15027, 16003}, {15032, 34545}, {15039, 30714}, {15054, 20379}, {15055, 34128}, {15063, 36253}, {15066, 37496}, {15107, 33533}, {15111, 16168}, {15252, 34231}, {15310, 31151}, {15311, 23332}, {15317, 22466}, {15356, 18114}, {15392, 38539}, {15436, 22555}, {15475, 18308}, {15535, 15542}, {15536, 15541}, {15538, 15544}, {15539, 15545}, {15548, 15549}, {15551, 15552}, {15740, 45073}, {15806, 43818}, {15811, 37514}, {15817, 15833}, {15873, 41587}, {15922, 34113}, {16001, 35752}, {16002, 36330}, {16010, 20301}, {16118, 26202}, {16188, 38582}, {16200, 34747}, {16202, 18242}, {16228, 44923}, {16229, 44918}, {16230, 44921}, {16231, 44925}, {16264, 17907}, {16318, 41370}, {16336, 35449}, {16337, 19552}, {16466, 21935}, {16509, 23334}, {16534, 23236}, {16772, 42150}, {16773, 42151}, {16835, 43585}, {16960, 44016}, {16961, 44015}, {17078, 17181}, {17254, 29369}, {17310, 29331}, {17313, 24220}, {17500, 43917}, {17502, 28168}, {17508, 29323}, {17647, 25681}, {17810, 21243}, {17811, 37483}, {17813, 23048}, {17814, 36747}, {17821, 34785}, {18201, 31520}, {18230, 38082}, {18279, 32417}, {18310, 44206}, {18321, 31850}, {18395, 37567}, {18402, 38585}, {18432, 34117}, {18442, 46027}, {18462, 19446}, {18463, 19447}, {18549, 22836}, {18576, 18883}, {18809, 38595}, {18911, 32111}, {18912, 32140}, {18945, 31804}, {19132, 34776}, {19177, 19189}, {19357, 21659}, {19722, 31872}, {19765, 37693}, {20192, 44569}, {20401, 33520}, {20415, 41020}, {20416, 41021}, {20546, 35462}, {20576, 36998}, {20582, 29181}, {20584, 21230}, {21151, 38171}, {21153, 38318}, {21154, 38319}, {21356, 40330}, {21635, 33594}, {22235, 33603}, {22237, 33602}, {22240, 33885}, {22246, 37665}, {22247, 38731}, {22550, 44686}, {22573, 22579}, {22574, 22580}, {22691, 22707}, {22692, 22708}, {22712, 31168}, {22808, 22970}, {22833, 22955}, {22846, 36760}, {22847, 22861}, {22848, 22862}, {22891, 36759}, {22892, 22906}, {22893, 22907}, {22971, 37497}, {23017, 25178}, {23018, 25183}, {23019, 25184}, {23020, 25185}, {23021, 25186}, {23022, 25220}, {23023, 25173}, {23024, 25187}, {23025, 25188}, {23026, 25189}, {23027, 25190}, {23028, 25219}, {23071, 34048}, {23294, 43807}, {23302, 42085}, {23303, 42086}, {23878, 33752}, {24042, 34626}, {24441, 29069}, {24466, 38762}, {24931, 46975}, {24953, 35250}, {25175, 25223}, {25180, 25224}, {25406, 38110}, {25423, 44823}, {26098, 37715}, {26326, 26386}, {26327, 26410}, {26328, 26466}, {26329, 26467}, {26363, 35252}, {26364, 35251}, {28212, 38112}, {28228, 38127}, {28234, 34641}, {29317, 31884}, {29365, 44430}, {30143, 33858}, {30209, 31174}, {30212, 45686}, {30258, 39530}, {30311, 45043}, {30484, 32536}, {30522, 35264}, {31274, 38736}, {31383, 37649}, {31399, 43174}, {31423, 31663}, {31428, 31430}, {31441, 31443}, {31466, 31468}, {31472, 31474}, {31484, 31485}, {31488, 31490}, {31492, 31652}, {31655, 38598}, {31657, 36991}, {31748, 46673}, {31793, 31822}, {31803, 31870}, {31824, 32156}, {31827, 34795}, {31841, 38584}, {31860, 32223}, {32152, 34506}, {32196, 32338}, {32267, 41424}, {32369, 32379}, {32445, 41334}, {32533, 43908}, {32599, 37827}, {32612, 37001}, {32613, 36999}, {32822, 32831}, {32823, 32830}, {32825, 32896}, {32869, 37668}, {33106, 37716}, {33416, 42100}, {33417, 42099}, {33531, 34286}, {33540, 33542}, {33586, 37494}, {33592, 37702}, {33596, 34701}, {33604, 43207}, {33605, 43208}, {33606, 42521}, {33607, 42520}, {33884, 44324}, {33971, 37765}, {34126, 38693}, {34127, 34473}, {34169, 45143}, {34170, 41372}, {34175, 36822}, {34360, 35088}, {34573, 43621}, {34699, 37725}, {34719, 37622}, {34754, 43782}, {34755, 43781}, {34799, 45970}, {34836, 41244}, {34842, 38956}, {34845, 43919}, {34897, 40801}, {34945, 39524}, {35194, 37591}, {35514, 38092}, {35698, 35879}, {35699, 35878}, {35719, 42441}, {36441, 36460}, {36442, 36459}, {36451, 36461}, {36523, 38745}, {36742, 45931}, {36755, 40334}, {36756, 40335}, {36764, 36772}, {36836, 42157}, {36843, 42158}, {36971, 41700}, {37487, 44673}, {37512, 44519}, {37529, 42043}, {37699, 42042}, {37726, 38757}, {37809, 44401}, {37810, 38226}, {38025, 43161}, {38094, 43182}, {38104, 46684}, {38609, 44967}, {38611, 44969}, {38612, 44970}, {38613, 44972}, {38614, 44973}, {38615, 44976}, {38616, 44977}, {38617, 44979}, {38618, 44981}, {38619, 44983}, {38620, 44984}, {38621, 44985}, {38622, 44986}, {38623, 44987}, {38624, 44988}, {38625, 44992}, {38723, 38793}, {38727, 38788}, {38737, 38742}, {38797, 40556}, {38947, 45146}, {38952, 45145}, {39201, 39510}, {39529, 39531}, {39532, 44928}, {39533, 44931}, {39534, 44929}, {39535, 44927}, {39536, 44930}, {39561, 45730}, {39818, 39828}, {39847, 39857}, {40286, 45484}, {40287, 45485}, {40671, 41045}, {40672, 41044}, {40879, 46996}, {41095, 41097}, {41096, 41123}, {41116, 41126}, {41311, 46475}, {41714, 44439}, {41953, 43323}, {41954, 43322}, {41961, 41967}, {41962, 41968}, {41971, 42892}, {41972, 42893}, {41973, 42976}, {41974, 42977}, {42087, 42092}, {42088, 42089}, {42090, 42108}, {42091, 42109}, {42112, 42500}, {42113, 42501}, {42119, 42124}, {42120, 42121}, {42122, 42140}, {42123, 42141}, {42144, 42984}, {42145, 42985}, {42175, 42182}, {42176, 42180}, {42177, 42181}, {42178, 42179}, {42435, 43551}, {42436, 43550}, {42496, 42633}, {42497, 42634}, {42506, 42991}, {42507, 42990}, {42512, 42688}, {42513, 42689}, {42518, 42635}, {42519, 42636}, {42566, 43337}, {42567, 43336}, {42570, 43341}, {42571, 43340}, {42572, 43343}, {42573, 43342}, {42588, 43109}, {42589, 43108}, {42610, 43369}, {42611, 43368}, {42612, 42961}, {42613, 42960}, {42627, 43466}, {42628, 43465}, {42645, 42727}, {42646, 42728}, {42682, 43105}, {42683, 43106}, {42692, 42777}, {42693, 42778}, {42694, 42939}, {42695, 42938}, {42725, 46473}, {42726, 46476}, {42775, 42999}, {42776, 42998}, {42791, 42945}, {42792, 42944}, {42795, 42955}, {42796, 42954}, {42799, 43332}, {42800, 43333}, {42888, 43463}, {42889, 43464}, {42904, 43004}, {42905, 43005}, {42908, 42979}, {42909, 42978}, {42922, 42987}, {42923, 42986}, {43006, 43233}, {43007, 43232}, {43010, 43014}, {43011, 43015}, {43012, 43019}, {43013, 43018}, {43195, 43241}, {43196, 43240}, {43197, 43243}, {43198, 43242}, {43203, 43249}, {43204, 43248}, {43205, 43251}, {43206, 43250}, {43278, 43389}, {43292, 43549}, {43293, 43548}, {43364, 43777}, {43365, 43778}, {43415, 43507}, {43467, 43636}, {43468, 43637}, {43469, 43641}, {43470, 43642}, {43471, 43490}, {43472, 43489}, {43473, 43494}, {43474, 43493}, {43479, 43502}, {43480, 43501}, {43511, 43521}, {43515, 43525}, {43516, 43526}, {43536, 43561}, {43575, 45731}, {43592, 44801}, {43699, 44731}, {44202, 44564}, {44469, 45034}, {44666, 45879}, {44667, 45880}, {45811, 45821}, {46633, 46977}, {46634, 46979}, {46980, 46988}, {46982, 46986}
Functional Relations62 relations
X381 = midpoint of Xi and Xj for these {i,j}: {2, 4}, {3, 3830}, {5, 3845}, {13, 41042}, {14, 41043}, {20, 15682}, {51, 15030}, {114, 9880}, {140, 12101}, {147, 12243}, {154, 18405}, {265, 5655}, {355, 3656}, {376, 3543}, {382, 3534}, {428, 34664}, {546, 5066}, {547, 14893}, {549, 15687}, {550, 33699}, {551, 34648}, {568, 18435}, {598, 10033}, {671, 6054}, {1352, 20423}, {1513, 8352}, {1531, 32225}, {1551, 36196}, {1699, 5587}, {1992, 11180}, {3058, 34746}, {3060, 11459}, {3091, 41099}, {3146, 11001}, {3241, 34627}, {3426, 44750}, {3529, 15640}, {3545, 3839}, {3627, 8703}, {3654, 12699}, {3679, 31162}, {3818, 5476}, {3832, 41106}, {3843, 19709}, {3850, 3860}, {3853, 12100}, {3861, 10109}, {4301, 4669}, {4421, 34706}, {4677, 7982}, {5054, 38335}, {5055, 14269}, {5073, 15685}, {5076, 15693}, {5434, 34697}, {5562, 21969}, {5613, 25164}, {5617, 25154}, {5640, 16261}, {5656, 32064}, {5657, 9812}, {5890, 15305}, {5907, 21849}, {5913, 38951}, {5943, 46847}, {6033, 11632}, {6235, 6324}, {6248, 44422}, {6278, 22485}, {6281, 22484}, {6321, 8724}, {6785, 6787}, {7620, 9770}, {7710, 46034}, {7728, 20126}, {7775, 18546}, {7811, 34733}, {8597, 11676}, {9140, 10706}, {9144, 11005}, {9730, 16194}, {9760, 22575}, {9762, 22576}, {9766, 34505}, {9909, 34725}, {10127, 44804}, {10201, 18568}, {10707, 10711}, {10708, 10710}, {10709, 10716}, {10719, 10720}, {10723, 12117}, {10752, 13169}, {10753, 11161}, {11194, 34739}, {11235, 11236}, {11305, 41028}, {11306, 41029}, {11317, 13860}, {11455, 15072}, {11477, 15533}, {11812, 12102}, {12150, 34681}, {12355, 13188}, {14093, 35434}, {14163, 14214}, {14164, 14215}, {14892, 41987}, {15069, 15534}, {15679, 21669}, {15681, 15684}, {15686, 35404}, {15694, 35403}, {15718, 35401}, {16200, 37712}, {17578, 19708}, {18323, 44265}, {18377, 44278}, {18492, 30308}, {18552, 42853}, {18572, 44266}, {22491, 22492}, {23046, 38071}, {25175, 25223}, {25180, 25224}, {31145, 34631}, {31693, 41016}, {31694, 41017}, {31862, 31863}, {34621, 44442}, {36437, 36455}, {36490, 36730}, {36523, 38745}, {36551, 36729}, {36718, 36734}, {36719, 36733}, {36720, 36732}, {36721, 36731}, {36722, 36728}, {36723, 36726}, {36724, 36725}, {36990, 43273}, {38724, 38789}, {38732, 38743}, {41096, 41123}, {44262, 44288}, {44263, 44287}, {46977, 46985}, {46979, 46983}, {46980, 46988}, {46982, 46986}
X381 = reflection of Xi in Xj for these {i,j}: {2, 5}, {3, 2}, {4, 3845}, {5, 5066}, {6, 5476}, {20, 8703}, {21, 44257}, {22, 44262}, {23, 44266}, {24, 44270}, {25, 44275}, {26, 44278}, {52, 21849}, {140, 10109}, {165, 11231}, {186, 44282}, {376, 549}, {378, 44287}, {382, 3830}, {383, 44289}, {399, 5655}, {546, 3860}, {547, 11737}, {548, 11812}, {549, 547}, {550, 12100}, {568, 51}, {599, 11178}, {1113, 13626}, {1114, 13627}, {1116, 39494}, {1351, 20423}, {1482, 3656}, {1656, 19709}, {1657, 3534}, {1853, 23325}, {1995, 39487}, {2979, 15067}, {3095, 44422}, {3146, 33699}, {3167, 5654}, {3522, 15713}, {3524, 15699}, {3529, 19710}, {3534, 3}, {3543, 15687}, {3545, 38071}, {3576, 11230}, {3581, 32225}, {3627, 12101}, {3654, 10}, {3655, 551}, {3656, 946}, {3830, 4}, {3839, 23046}, {3843, 41099}, {3845, 546}, {3851, 41106}, {3860, 3856}, {3917, 10170}, {4930, 34647}, {5050, 14561}, {5054, 5055}, {5055, 3545}, {5066, 3850}, {5068, 41990}, {5073, 15682}, {5077, 37242}, {5085, 38317}, {5093, 14853}, {5094, 39484}, {5476, 19130}, {5587, 38140}, {5603, 38034}, {5655, 113}, {5657, 38042}, {5731, 38028}, {5790, 5587}, {5817, 38139}, {5858, 34508}, {5859, 34509}, {5886, 3817}, {5890, 5946}, {5946, 13364}, {6054, 22566}, {6055, 5461}, {6243, 21969}, {6321, 9880}, {7540, 428}, {7576, 13490}, {7610, 7617}, {7615, 20112}, {7618, 9771}, {7967, 10283}, {8182, 15597}, {8371, 39492}, {8598, 37459}, {8703, 140}, {8724, 114}, {9730, 5943}, {9766, 7775}, {9979, 44204}, {10031, 19907}, {10032, 19919}, {10109, 12811}, {10164, 10172}, {10165, 10171}, {10168, 25565}, {10246, 5886}, {10247, 5603}, {10295, 18579}, {10304, 11539}, {10606, 23329}, {10620, 20126}, {10992, 36521}, {11001, 550}, {11057, 34510}, {11159, 35930}, {11165, 11184}, {11178, 25561}, {11179, 597}, {11184, 8176}, {11362, 4745}, {11459, 15060}, {11632, 115}, {11812, 35018}, {11911, 11897}, {12100, 3628}, {12101, 3861}, {12103, 15759}, {12117, 33813}, {12188, 11632}, {12355, 6321}, {12702, 3654}, {13102, 25164}, {13103, 25154}, {13188, 8724}, {13340, 3917}, {14070, 10201}, {14093, 15694}, {14269, 3839}, {14643, 36518}, {14651, 38229}, {14666, 9172}, {14830, 6055}, {14848, 38072}, {14853, 38136}, {14855, 16836}, {14995, 14356}, {15041, 15061}, {15055, 34128}, {15061, 23515}, {15533, 34507}, {15534, 576}, {15561, 36519}, {15678, 31649}, {15681, 376}, {15682, 3627}, {15683, 15686}, {15684, 3543}, {15685, 20}, {15686, 34200}, {15687, 14893}, {15688, 5054}, {15689, 3524}, {15690, 3530}, {15691, 14891}, {15693, 1656}, {15694, 5071}, {15695, 631}, {15696, 15693}, {15697, 15712}, {15699, 14892}, {15700, 15703}, {15701, 3090}, {15704, 15690}, {15713, 12812}, {15716, 5070}, {15722, 7486}, {15759, 16239}, {15980, 37350}, {16194, 46847}, {16220, 10278}, {16836, 6688}, {17525, 16617}, {17538, 15711}, {17800, 11001}, {17813, 23048}, {18332, 5465}, {18405, 18376}, {18435, 15030}, {18493, 30308}, {18559, 38322}, {18575, 39486}, {19140, 25566}, {19706, 6918}, {19708, 632}, {19709, 3091}, {19710, 548}, {20126, 125}, {20128, 1651}, {20423, 5480}, {21151, 38171}, {21153, 38318}, {21154, 38319}, {21733, 11182}, {21849, 10110}, {21969, 5446}, {23039, 5891}, {25154, 5478}, {25164, 5479}, {25406, 38110}, {26446, 10175}, {27088, 10011}, {28460, 15670}, {30232, 14215}, {30233, 14214}, {31961, 31840}, {32447, 262}, {32519, 32447}, {32609, 14643}, {33699, 3853}, {33923, 11540}, {34153, 11694}, {34200, 10124}, {34473, 34127}, {34505, 18546}, {34682, 12150}, {34698, 5434}, {34707, 4421}, {34718, 3679}, {34726, 9909}, {34734, 7811}, {34740, 11194}, {34745, 3058}, {34748, 3241}, {34810, 14995}, {35434, 35403}, {35489, 16532}, {35752, 16001}, {35932, 44223}, {36330, 16002}, {36448, 42281}, {36466, 42280}, {36490, 36722}, {36521, 20399}, {36718, 36719}, {36720, 36490}, {36721, 36551}, {36723, 36724}, {36726, 36725}, {36729, 36727}, {36730, 36728}, {36731, 36729}, {36732, 36730}, {36734, 36733}, {37348, 3363}, {37477, 13857}, {37922, 37943}, {37956, 46451}, {38107, 38150}, {38224, 23514}, {38335, 14269}, {38693, 34126}, {38723, 38793}, {38724, 14644}, {38731, 38748}, {38732, 14639}, {38742, 38737}, {38754, 21154}, {38788, 38727}, {40280, 373}, {40727, 7615}, {41042, 22796}, {41043, 22797}, {41099, 3858}, {41106, 3857}, {41984, 41986}, {42278, 36466}, {42279, 36448}, {42733, 39491}, {42830, 18552}, {43273, 182}, {44202, 44564}, {44245, 44580}, {44255, 6675}, {44257, 46028}, {44261, 6676}, {44262, 46029}, {44265, 468}, {44266, 44961}, {44268, 16238}, {44270, 44235}, {44273, 6677}, {44275, 46030}, {44278, 13406}, {44280, 44452}, {44282, 46031}, {44284, 8728}, {44287, 39504}, {44750, 4846}, {44903, 15691}, {45700, 3829}, {46633, 46977}, {46634, 46983}
X381 = isogonal conjugate of X3431
X381 = isotomic conjugate of isogonal conjugate of X34417
X381 = complement of X376
X381 = anticomplement of X549
X381 = center of the orthocentroidal circle
X381 = centroid of the Euler triangle
X381 = circumcircle-inverse of X7575
X381 = nine-point-circle-inverse of X11799
X381 = polar-circle-inverse of X10295
X381 = orthoptic-circle-of-Steiner-inellipse-inverse of X7426
X381 = orthoptic-circle-of-Steiner-circumellipse-inverse of X37901
X381 = Stammler-circle-inverse of X37924
X381 = Hutson-Parry-circle-inverse of X9169
X381 = crossdifference of every pair of points on line X526X647
X381 = polar conjugate of the isotomic conjugate of X37638
X381 = polar conjugate of the isogonal conjugate of X5158
X381 = Thomson isogonal conjugate of X7712
X381 = orthic isogonal conjugate of X40909
X381 = psi-transform of X9140
X381 = X14483-anticomplementary conjugate of X8
X381 = Xi-complementary conjugate of Xj for these (i,j): {3426, 10}, {9064, 8062}, {36889, 2887}
X381 = Xi-Ceva conjugate of Xj for these (i,j): {4, 40909}, {1302, 523}, {4993, 5158}, {7578, 6}, {44135, 37638}, {46808, 18487}
X381 = Xi-cross conjugate of Xj for these (i,j): {5158, 37638}, {18487, 46808}
X381 = Xi-isoconjugate of Xj for these (i,j): {1, 3431}, {48, 43530}, {255, 16263}, {2159, 46809}, {6149, 18316}
X381 = crosspoint of Xi and Xj for these (i,j): {2, 36889}, {264, 34289}
X381 = crosssum of Xi and Xj for these (i,j): {6, 26864}, {184, 5063}, {1511, 10564}
X381 = trilinear pole of line {18487, 32225}
X381 = crossdifference of every pair of points on line {526, 647}
X381 = X8-beth conjugate of X3654
X381 = X2-daleth conjugate of X44216
X381 = X1-zayin conjugate of X3431
X381 = pole of the line X2X6 wrt the circle {X2,X13,X14,X111,X476}}
X381 = pole of the Napoleon axis wrt the Lester circle
X381 = center of conic that is the locus of orthopoles of lines passing through X2
X381 = harmonic center of circumcircle and nine-point circle
X381 = centroid of antipedal triangle of X2 wrt medial triangle
X381 = homothetic center of orthic triangle and 2nd isogonal triangle of X4; see X36
X381 = Artzt-to-McCay similarity image of X98
X381 = intersection of Fermat axes of ABC and Artzt triangle
X381 = homothetic center of X5-altimedial and X4-anti-altimedial triangles
X381 = homothetic center of ABC and Ehrmann mid-triangle
X381 = homothetic center of Ehrmann vertex-triangle and tangential triangle
X381 = homothetic center of Ehrmann side-triangle and orthic triangle
X381 = barycentric product Xi*Xj for these {i,j}: {4, 37638}, {5, 4993}, {6, 44135}, {30, 46808}, {76, 34417}, {92, 18477}, {94, 3581}, {264, 5158}, {671, 32225}, {1494, 18487}, {1502, 34416}, {1531, 16080}, {2349, 18486}, {2996, 21970}, {4550, 34289}, {14165, 18478}, {14314, 46456}
X381 = barycentric quotient Xi/Xj for these {i,j}: {4, 43530}, {6, 3431}, {30, 46809}, {393, 16263}, {1531, 11064}, {1989, 18316}, {3581, 323}, {4550, 15066}, {4993, 95}, {5158, 3}, {8749, 22455}, {14314, 8552}, {14533, 46091}, {15362, 44555}, {18477, 63}, {18485, 18487}, {18486, 14206}, {18487, 30}, {21970, 193}, {32225, 524}, {34416, 32}, {34417, 6}, {37638, 69}, {40909, 37645}, {44135, 76}, {46808, 1494}
X381 = {Xi,Xj}-harmonic conjugate of Xk for these (i,j,k): {1, 9955, 18493}, {1, 10895, 9654}, {1, 10896, 9669}, {1, 18480, 18525}, {1, 18492, 18480}, {1, 18525, 18526}, {1, 18527, 18530}, {1, 18529, 18528}, {1, 18542, 18545}, {1, 18544, 18543}, {1, 30308, 38021}, {1, 45630, 18544}, {1, 45631, 18542}, {2, 3, 5054}, {2, 5, 5055}, {2, 20, 3524}, {2, 376, 549}, {2, 382, 15688}, {2, 384, 33220}, {2, 428, 9909}, {2, 452, 17561}, {2, 546, 14269}, {2, 547, 15703}, {2, 549, 15694}, {2, 550, 15707}, {2, 631, 11539}, {2, 858, 32216}, {2, 1003, 11288}, {2, 1370, 43957}, {2, 1513, 40248}, {2, 1657, 15706}, {2, 3090, 15699}, {2, 3091, 3545}, {2, 3146, 10304}, {2, 3522, 15708}, {2, 3523, 15709}, {2, 3524, 140}, {2, 3529, 17504}, {2, 3534, 15693}, {2, 3543, 376}, {2, 3545, 5}, {2, 3627, 15689}, {2, 3830, 3534}, {2, 3832, 3839}, {2, 3839, 4}, {2, 3843, 38335}, {2, 3845, 3830}, {2, 3855, 38071}, {2, 5025, 33219}, {2, 5054, 3526}, {2, 5055, 1656}, {2, 5059, 15705}, {2, 5064, 34609}, {2, 5066, 19709}, {2, 5071, 547}, {2, 6175, 44217}, {2, 6756, 10245}, {2, 7576, 14070}, {2, 7714, 10154}, {2, 7841, 11287}, {2, 8352, 5077}, {2, 8370, 11286}, {2, 8597, 35955}, {2, 8703, 15701}, {2, 10304, 631}, {2, 11001, 12100}, {2, 11112, 16417}, {2, 11113, 16418}, {2, 11114, 16370}, {2, 11286, 33237}, {2, 11299, 11301}, {2, 11300, 11302}, {2, 11303, 11298}, {2, 11304, 11297}, {2, 11317, 11159}, {2, 11318, 33240}, {2, 11361, 1003}, {2, 11539, 46219}, {2, 12101, 15685}, {2, 14002, 37907}, {2, 14033, 8369}, {2, 14035, 33255}, {2, 14036, 8366}, {2, 14039, 8368}, {2, 14041, 7841}, {2, 14063, 33251}, {2, 14068, 33187}, {2, 14269, 382}, {2, 14893, 15684}, {2, 15640, 19708}, {2, 15681, 15700}, {2, 15682, 8703}, {2, 15683, 15692}, {2, 15684, 14093}, {2, 15685, 15716}, {2, 15686, 15718}, {2, 15687, 15681}, {2, 15688, 15720}, {2, 15690, 15722}, {2, 15692, 15702}, {2, 15694, 15723}, {2, 15697, 15719}, {2, 15698, 15713}, {2, 15699, 5070}, {2, 15702, 10124}, {2, 15705, 10303}, {2, 15708, 3525}, {2, 15709, 632}, {2, 15710, 14869}, {2, 16041, 33184}, {2, 16865, 15671}, {2, 17532, 17528}, {2, 17538, 41983}, {2, 17561, 6675}, {2, 17577, 17532}, {2, 17579, 16371}, {2, 17677, 11359}, {2, 18559, 18324}, {2, 18566, 18561}, {2, 18568, 18564}, {2, 19686, 33246}, {2, 19708, 11812}, {2, 23046, 3843}, {2, 24608, 1375}, {2, 26122, 25518}, {2, 26255, 468}, {2, 26786, 27055}, {2, 26833, 26994}, {2, 30775, 5159}, {2, 30922, 46531}, {2, 30976, 37370}, {2, 31048, 857}, {2, 31105, 858}, {2, 31133, 31152}, {2, 31156, 15670}, {2, 31789, 28451}, {2, 32986, 8359}, {2, 32996, 33278}, {2, 33006, 33228}, {2, 33007, 35297}, {2, 33013, 44543}, {2, 33016, 8370}, {2, 33017, 8356}, {2, 33187, 16925}, {2, 33192, 33008}, {2, 33219, 7866}, {2, 33220, 32954}, {2, 33228, 11318}, {2, 33251, 6656}, {2, 33255, 7807}, {2, 33264, 33273}, {2, 33265, 33274}, {2, 33272, 33215}, {2, 33278, 7791}, {2, 33285, 8360}, {2, 33699, 15695}, {2, 33703, 45759}, {2, 34938, 43934}, {2, 35927, 33216}, {2, 36436, 36457}, {2, 36439, 36456}, {2, 36445, 18585}, {2, 36454, 36439}, {2, 36457, 36438}, {2, 36463, 15765}, {2, 37038, 19279}, {2, 37077, 378}, {2, 37150, 19277}, {2, 37170, 37352}, {2, 37171, 37351}, {2, 37375, 17556}, {2, 38071, 3851}, {2, 38320, 3515}, {2, 38322, 37922}, {2, 38335, 1657}, {2, 41099, 3845}, {2, 41106, 5066}, {2, 43957, 16419}, {2, 44442, 10691}, {2, 44462, 46825}, {2, 44466, 46824}, {2, 44579, 11331}, {2, 46333, 15712}, {2, 46451, 7552}, {2, 46856, 36186}, {2, 46857, 36185}, {2, 46868, 44889}, {2, 46869, 44891}, {3, 4, 382}, {3, 5, 1656}, {3, 25, 2070}, {3, 376, 14093}, {3, 382, 1657}, {3, 547, 15723}, {3, 549, 15700}, {3, 1598, 7517}, {3, 1656, 3526}, {3, 1657, 15696}, {3, 2072, 30771}, {3, 3091, 5072}, {3, 3516, 35498}, {3, 3520, 35496}, {3, 3524, 15716}, {3, 3526, 15720}, {3, 3534, 15688}, {3, 3843, 4}, {3, 3845, 38335}, {3, 3851, 5}, {3, 5054, 15693}, {3, 5055, 2}, {3, 5070, 140}, {3, 5072, 5079}, {3, 5073, 20}, {3, 5899, 22}, {3, 6642, 43809}, {3, 6913, 7489}, {3, 6918, 45976}, {3, 7387, 13564}, {3, 7506, 45735}, {3, 7517, 2937}, {3, 7529, 7506}, {3, 7540, 34726}, {3, 7579, 5094}, {3, 13621, 24}, {3, 14269, 3830}, {3, 14893, 35434}, {3, 15681, 376}, {3, 15684, 15681}, {3, 15685, 15689}, {3, 15689, 8703}, {3, 15693, 15706}, {3, 15694, 549}, {3, 15695, 10304}, {3, 15701, 3524}, {3, 15703, 15694}, {3, 15707, 12100}, {3, 15718, 15692}, {3, 16418, 28443}, {3, 17800, 550}, {3, 18378, 26}, {3, 18531, 18536}, {3, 18534, 12083}, {3, 18535, 18534}, {3, 19709, 5055}, {3, 28453, 16370}, {3, 35400, 15686}, {3, 35401, 35400}, {3, 35403, 15684}, {3, 37234, 13743}, {3, 37411, 16117}, {3, 37922, 18324}, {3, 44457, 35243}, {3, 46219, 631}, {4, 5, 3}, {4, 20, 3627}, {4, 24, 12173}, {4, 25, 18494}, {4, 140, 5073}, {4, 186, 35480}, {4, 235, 1598}, {4, 376, 3543}, {4, 378, 44438}, {4, 382, 5076}, {4, 403, 25}, {4, 427, 1597}, {4, 442, 37411}, {4, 546, 3843}, {4, 547, 15681}, {4, 549, 15684}, {4, 631, 3146}, {4, 1346, 1344}, {4, 1347, 1345}, {4, 1532, 19541}, {4, 1594, 1593}, {4, 1596, 18535}, {4, 1656, 1657}, {4, 2043, 18587}, {4, 2044, 18586}, {4, 2476, 6985}, {4, 3088, 13488}, {4, 3089, 6756}, {4, 3090, 20}, {4, 3091, 5}, {4, 3146, 3853}, {4, 3153, 44288}, {4, 3520, 35490}, {4, 3524, 15682}, {4, 3525, 33703}, {4, 3529, 17578}, {4, 3541, 1885}, {4, 3542, 3575}, {4, 3543, 15687}, {4, 3544, 631}, {4, 3545, 2}, {4, 3547, 7553}, {4, 3628, 17800}, {4, 3830, 38335}, {4, 3832, 546}, {4, 3839, 3845}, {4, 3845, 14269}, {4, 3850, 3851}, {4, 3851, 1656}, {4, 3854, 3850}, {4, 3855, 3091}, {4, 5055, 3534}, {4, 5056, 550}, {4, 5066, 5055}, {4, 5067, 3529}, {4, 5068, 140}, {4, 5071, 376}, {4, 5072, 3526}, {4, 5079, 15696}, {4, 5084, 6851}, {4, 5133, 9818}, {4, 5169, 31861}, {4, 5187, 37356}, {4, 6622, 7487}, {4, 6623, 1596}, {4, 6804, 34938}, {4, 6816, 14790}, {4, 6824, 7491}, {4, 6826, 6923}, {4, 6828, 3560}, {4, 6829, 7580}, {4, 6830, 1012}, {4, 6834, 37468}, {4, 6835, 6917}, {4, 6837, 37290}, {4, 6841, 37234}, {4, 6843, 6907}, {4, 6844, 8727}, {4, 6846, 31789}, {4, 6848, 20420}, {4, 6849, 44229}, {4, 6854, 6925}, {4, 6855, 6868}, {4, 6856, 6869}, {4, 6864, 6850}, {4, 6866, 6841}, {4, 6867, 6842}, {4, 6871, 37406}, {4, 6873, 21}, {4, 6874, 411}, {4, 6879, 6938}, {4, 6893, 6928}, {4, 6896, 377}, {4, 6898, 6836}, {4, 6900, 2475}, {4, 6901, 37437}, {4, 6902, 6895}, {4, 6903, 37433}, {4, 6939, 6827}, {4, 6941, 3149}, {4, 6945, 6911}, {4, 6947, 10431}, {4, 6957, 6929}, {4, 6964, 31775}, {4, 6965, 6840}, {4, 6968, 1532}, {4, 6973, 6882}, {4, 6975, 37022}, {4, 6990, 405}, {4, 6997, 18420}, {4, 7384, 36663}, {4, 7385, 36685}, {4, 7394, 11818}, {4, 7399, 39568}, {4, 7404, 12605}, {4, 7486, 15704}, {4, 7505, 6240}, {4, 7547, 7507}, {4, 7577, 378}, {4, 8226, 6913}, {4, 10024, 7517}, {4, 10109, 15689}, {4, 10124, 35400}, {4, 10254, 2070}, {4, 10304, 33699}, {4, 11737, 15694}, {4, 12811, 5070}, {4, 13160, 7387}, {4, 13406, 18378}, {4, 13862, 35930}, {4, 14018, 46467}, {4, 14788, 11414}, {4, 14789, 12082}, {4, 14892, 15701}, {4, 14940, 34797}, {4, 15022, 548}, {4, 15559, 11403}, {4, 15681, 35434}, {4, 15687, 35403}, {4, 15692, 35404}, {4, 15699, 15685}, {4, 15709, 15640}, {4, 15760, 18534}, {4, 16044, 40279}, {4, 16072, 34609}, {4, 16868, 24}, {4, 17578, 12102}, {4, 18404, 31724}, {4, 18531, 31723}, {4, 18537, 18531}, {4, 19709, 5054}, {4, 21451, 45971}, {4, 34007, 44279}, {4, 34664, 34725}, {4, 34939, 37198}, {4, 35404, 35401}, {4, 35487, 3515}, {4, 35488, 37197}, {4, 36436, 36455}, {4, 36454, 36437}, {4, 36473, 6996}, {4, 36526, 36716}, {4, 36651, 13727}, {4, 36653, 36489}, {4, 36655, 36712}, {4, 36656, 36711}, {4, 36659, 36707}, {4, 36660, 36674}, {4, 36662, 36474}, {4, 36665, 21737}, {4, 36666, 36701}, {4, 36667, 36703}, {4, 36677, 6998}, {4, 37119, 18560}, {4, 37347, 12083}, {4, 37353, 7514}, {4, 37372, 7497}, {4, 37943, 18559}, {4, 37988, 32444}, {4, 37990, 35243}, {4, 38071, 19709}, {4, 41099, 3839}, {4, 41106, 3545}, {4, 44229, 37230}, {4, 44235, 13621}, {4, 44440, 44276}, {4, 44958, 10594}, {4, 46029, 5899}, {5, 20, 5070}, {5, 140, 3090}, {5, 235, 10024}, {5, 376, 15703}, {5, 382, 3526}, {5, 403, 10254}, {5, 427, 2072}, {5, 546, 4}, {5, 547, 5071}, {5, 548, 5067}, {5, 549, 547}, {5, 550, 3628}, {5, 632, 35018}, {5, 1532, 6980}, {5, 1594, 10255}, {5, 1595, 11585}, {5, 1596, 15760}, {5, 1597, 30771}, {5, 1656, 5079}, {5, 1885, 6640}, {5, 1907, 37452}, {5, 3091, 3851}, {5, 3146, 46219}, {5, 3530, 7486}, {5, 3543, 15694}, {5, 3545, 19709}, {5, 3575, 6639}, {5, 3627, 140}, {5, 3628, 5056}, {5, 3830, 5054}, {5, 3832, 3843}, {5, 3839, 3830}, {5, 3843, 382}, {5, 3850, 3091}, {5, 3851, 5072}, {5, 3853, 631}, {5, 3856, 3832}, {5, 3857, 3850}, {5, 3858, 546}, {5, 3859, 3855}, {5, 3860, 3839}, {5, 3861, 20}, {5, 5066, 3545}, {5, 5076, 15720}, {5, 5169, 7579}, {5, 6756, 3549}, {5, 6823, 7405}, {5, 6831, 6971}, {5, 6851, 16853}, {5, 6907, 6881}, {5, 6917, 6918}, {5, 6929, 6913}, {5, 7401, 11484}, {5, 7403, 5576}, {5, 7514, 7539}, {5, 7528, 7529}, {5, 7564, 7507}, {5, 8703, 15699}, {5, 8727, 6882}, {5, 11563, 46029}, {5, 11818, 25}, {5, 12101, 3524}, {5, 12102, 3523}, {5, 12362, 14786}, {5, 12811, 5068}, {5, 13163, 21451}, {5, 13488, 3548}, {5, 13490, 10201}, {5, 14269, 3534}, {5, 14893, 376}, {5, 15684, 15723}, {5, 15687, 549}, {5, 15699, 10109}, {5, 15760, 37347}, {5, 15761, 13160}, {5, 15765, 18586}, {5, 16198, 6643}, {5, 18377, 7503}, {5, 18420, 5020}, {5, 18567, 14118}, {5, 18569, 7395}, {5, 18585, 18587}, {5, 20420, 6863}, {5, 23046, 3845}, {5, 23047, 18404}, {5, 31724, 34864}, {5, 31789, 6861}, {5, 31830, 7505}, {5, 31861, 5094}, {5, 33332, 10224}, {5, 33699, 11539}, {5, 33923, 46936}, {5, 34664, 14787}, {5, 35018, 15022}, {5, 35403, 15700}, {5, 35404, 10124}, {5, 35738, 2046}, {5, 35930, 37071}, {5, 36437, 36456}, {5, 36455, 36438}, {5, 36654, 36530}, {5, 36716, 36527}, {5, 37230, 37251}, {5, 37281, 6944}, {5, 37290, 6862}, {5, 37349, 5899}, {5, 37356, 4187}, {5, 37406, 442}, {5, 38071, 5066}, {5, 38335, 15693}, {5, 39504, 7577}, {5, 40250, 13860}, {5, 40277, 11317}, {5, 40279, 7770}, {5, 41099, 14269}, {5, 41987, 15682}, {5, 41991, 3858}, {5, 44235, 16868}, {5, 44245, 46935}, {5, 44263, 6644}, {5, 44279, 17928}, {5, 44288, 7514}, {5, 44804, 44441}, {5, 44920, 18537}, {5, 45971, 14940}, {5, 46028, 6873}, {5, 46030, 403}, {6, 13, 42974}, {6, 14, 42975}, {6, 3818, 18440}, {6, 5475, 15484}, {6, 5476, 14848}, {6, 6564, 13665}, {6, 6565, 13785}, {6, 13665, 18512}, {6, 13785, 18510}, {6, 15928, 34810}, {6, 16808, 42128}, {6, 16809, 42125}, {6, 18440, 39899}, {6, 18445, 15087}, {6, 18451, 18445}, {6, 18509, 26336}, {6, 18511, 26346}, {6, 38072, 5476}, {6, 42125, 42816}, {6, 42128, 42815}, {6, 45438, 45375}, {6, 45439, 45376}, {8, 22791, 8148}, {9, 18482, 31671}, {10, 3654, 38066}, {10, 12699, 12702}, {10, 18483, 12699}, {11, 1478, 999}, {11, 5434, 10072}, {11, 10742, 12773}, {11, 18516, 18519}, {12, 1479, 3295}, {12, 3058, 10056}, {12, 18517, 18518}, {13, 14, 6}, {13, 16809, 14}, {13, 42974, 42815}, {14, 16808, 13}, {14, 42975, 42816}, {15, 36970, 42154}, {15, 37832, 16644}, {15, 42093, 42126}, {15, 42098, 42132}, {15, 42919, 42098}, {16, 36969, 42155}, {16, 37835, 16645}, {16, 42094, 42127}, {16, 42095, 42129}, {16, 42918, 42095}, {17, 16964, 22236}, {17, 41101, 16962}, {18, 16965, 22238}, {18, 41100, 16963}, {20, 140, 3}, {20, 376, 15691}, {20, 3090, 140}, {20, 3091, 5068}, {20, 3524, 8703}, {20, 3545, 10109}, {20, 3627, 5073}, {20, 5068, 3090}, {20, 8703, 15689}, {20, 15689, 3534}, {20, 15699, 15701}, {20, 15716, 15688}, {20, 21735, 44245}, {20, 41099, 41987}, {20, 44903, 15681}, {20, 45762, 35403}, {22, 7514, 3}, {22, 7530, 5899}, {22, 37353, 7539}, {23, 35921, 7502}, {24, 7526, 3}, {24, 13861, 13621}, {24, 18324, 37922}, {25, 9818, 3}, {25, 18386, 4}, {25, 18403, 382}, {25, 37954, 24}, {26, 7503, 3}, {26, 10594, 18378}, {32, 18500, 18503}, {32, 18502, 18501}, {32, 39565, 13881}, {33, 18455, 9642}, {33, 37697, 18455}, {34, 37696, 18447}, {35, 18514, 12953}, {36, 18513, 12943}, {39, 39563, 11648}, {40, 7989, 9956}, {51, 568, 13321}, {52, 5907, 18436}, {54, 156, 9704}, {54, 43865, 43835}, {55, 3583, 9668}, {55, 7951, 31479}, {55, 18407, 18499}, {55, 18491, 18524}, {56, 3585, 9655}, {56, 18761, 26321}, {61, 41121, 16267}, {61, 42156, 42988}, {61, 42814, 5339}, {61, 42972, 41108}, {62, 41122, 16268}, {62, 42153, 42989}, {62, 42813, 5340}, {62, 42973, 41107}, {65, 31937, 40266}, {68, 22660, 12164}, {68, 45089, 37493}, {69, 21850, 44456}, {74, 1539, 38790}, {76, 7773, 7776}, {76, 7809, 7788}, {80, 18393, 2099}, {98, 10796, 11842}, {98, 22505, 38744}, {99, 22515, 38733}, {104, 22799, 38756}, {110, 10113, 12902}, {111, 6032, 9745}, {113, 265, 399}, {113, 7687, 265}, {113, 18390, 18445}, {113, 18474, 18451}, {114, 6321, 13188}, {115, 5475, 6}, {115, 6033, 12188}, {115, 7753, 5309}, {115, 43457, 5475}, {116, 10741, 38574}, {117, 10747, 38579}, {118, 10739, 38572}, {119, 10738, 12331}, {119, 26333, 10679}, {120, 15521, 38589}, {121, 15522, 38590}, {122, 22337, 38591}, {123, 33566, 38592}, {124, 10740, 38573}, {125, 7728, 10620}, {125, 46686, 7728}, {126, 22338, 38593}, {127, 12918, 13115}, {132, 10749, 13310}, {133, 10745, 38577}, {137, 31656, 38587}, {140, 546, 3861}, {140, 549, 15721}, {140, 3090, 5070}, {140, 3524, 15701}, {140, 3627, 20}, {140, 3861, 3627}, {140, 5066, 14892}, {140, 8703, 3524}, {140, 10109, 15699}, {140, 12811, 5}, {140, 14891, 549}, {140, 14892, 10109}, {140, 15682, 15689}, {140, 15689, 15716}, {140, 15691, 14891}, {140, 15699, 2}, {140, 15701, 5054}, {140, 41987, 12101}, {140, 41990, 3545}, {140, 44245, 44682}, {141, 31670, 33878}, {143, 5876, 5889}, {143, 45958, 5876}, {146, 15081, 10264}, {147, 41135, 12243}, {148, 7777, 31859}, {155, 9927, 12429}, {155, 10982, 36749}, {155, 36749, 195}, {184, 13851, 18396}, {184, 46261, 10540}, {185, 5462, 37481}, {186, 7527, 18570}, {186, 13595, 12106}, {186, 18570, 3}, {186, 35480, 37196}, {226, 5722, 15934}, {230, 7737, 1384}, {235, 18404, 7517}, {235, 23047, 4}, {237, 35934, 3}, {262, 6054, 11163}, {265, 18388, 15087}, {355, 946, 1482}, {355, 1482, 12645}, {355, 10893, 11928}, {355, 10894, 11929}, {371, 8976, 13903}, {371, 35787, 23261}, {371, 42265, 8976}, {371, 45543, 45378}, {372, 13951, 13961}, {372, 35786, 23251}, {372, 42262, 13951}, {372, 45542, 45377}, {376, 547, 15694}, {376, 549, 3}, {376, 631, 15715}, {376, 3091, 11737}, {376, 3545, 5071}, {376, 3839, 14893}, {376, 3845, 35403}, {376, 5055, 15723}, {376, 5071, 2}, {376, 7426, 14070}, {376, 10124, 15718}, {376, 11737, 5055}, {376, 14093, 15688}, {376, 14893, 3830}, {376, 15681, 3534}, {376, 15683, 15686}, {376, 15687, 15684}, {376, 15691, 15689}, {376, 15692, 34200}, {376, 15694, 15700}, {376, 15702, 15692}, {376, 15703, 5054}, {376, 15715, 10304}, {376, 15721, 14891}, {376, 15723, 15693}, {376, 31180, 31152}, {376, 35403, 382}, {377, 4187, 16408}, {377, 5187, 4187}, {377, 37356, 3}, {378, 1995, 6644}, {378, 6644, 3}, {378, 7577, 5094}, {379, 30808, 31184}, {379, 31014, 30808}, {382, 1656, 3}, {382, 3526, 15696}, {382, 3851, 5079}, {382, 5054, 3534}, {382, 5055, 15693}, {382, 5072, 1656}, {382, 5079, 15720}, {382, 15700, 15681}, {382, 15723, 376}, {382, 30771, 18859}, {382, 35382, 15702}, {382, 35403, 35402}, {382, 35434, 3543}, {382, 38335, 3830}, {383, 1080, 13860}, {384, 7887, 32954}, {384, 32954, 33242}, {384, 32966, 7887}, {388, 496, 7373}, {388, 10591, 496}, {389, 12162, 34783}, {389, 44870, 12162}, {395, 5318, 10653}, {395, 10653, 11486}, {396, 5321, 10654}, {396, 10654, 11485}, {397, 42163, 40694}, {398, 42166, 40693}, {399, 15038, 15087}, {399, 15087, 18445}, {402, 18507, 18508}, {403, 5133, 5}, {403, 18386, 18494}, {403, 18403, 2070}, {403, 23323, 18403}, {405, 6985, 3}, {411, 16858, 21161}, {427, 5020, 30771}, {427, 6997, 5020}, {427, 10151, 4}, {427, 18420, 3}, {442, 2478, 11108}, {443, 6919, 17527}, {443, 17527, 16863}, {452, 6675, 16866}, {452, 6856, 6675}, {485, 3071, 3311}, {485, 42268, 3071}, {486, 3070, 3312}, {486, 42269, 3070}, {493, 18520, 45381}, {493, 45593, 18521}, {494, 18522, 45382}, {494, 45592, 18523}, {495, 497, 6767}, {497, 10590, 495}, {546, 547, 14893}, {546, 3091, 3}, {546, 3545, 3830}, {546, 3845, 3839}, {546, 3850, 5}, {546, 3851, 382}, {546, 3855, 3851}, {546, 3856, 3858}, {546, 3857, 3091}, {546, 3858, 3832}, {546, 3859, 3850}, {546, 3860, 23046}, {546, 5072, 5076}, {546, 5133, 18403}, {546, 11563, 37349}, {546, 11737, 15687}, {546, 12101, 41987}, {546, 12811, 3627}, {546, 14892, 12101}, {546, 15691, 45762}, {546, 19709, 38335}, {546, 23046, 41099}, {546, 25402, 33332}, {546, 38071, 2}, {546, 41106, 5055}, {546, 41990, 3524}, {546, 46030, 11818}, {547, 549, 2}, {547, 3543, 3}, {547, 3830, 14093}, {547, 3839, 35403}, {547, 3845, 3543}, {547, 5066, 11737}, {547, 5071, 5055}, {547, 11737, 5}, {547, 12101, 15691}, {547, 13490, 7426}, {547, 14093, 3526}, {547, 15681, 5054}, {547, 15684, 15700}, {547, 15686, 15702}, {547, 15687, 376}, {547, 15691, 140}, {547, 15703, 1656}, {547, 15715, 46219}, {547, 33699, 15715}, {547, 34200, 10124}, {547, 35403, 3534}, {547, 35404, 15692}, {547, 41988, 44903}, {547, 44903, 15721}, {548, 632, 3523}, {548, 3523, 3}, {548, 11812, 17504}, {548, 17504, 19708}, {548, 35018, 632}, {549, 550, 15714}, {549, 3543, 15681}, {549, 3627, 44903}, {549, 3845, 15687}, {549, 5071, 15703}, {549, 8703, 14891}, {549, 10124, 15702}, {549, 11737, 5071}, {549, 14269, 35434}, {549, 14891, 3524}, {549, 14893, 3543}, {549, 15681, 14093}, {549, 15684, 3534}, {549, 15686, 34200}, {549, 15692, 15718}, {549, 15694, 5054}, {549, 15700, 15693}, {549, 15703, 15723}, {549, 15714, 12100}, {549, 15721, 15701}, {549, 31181, 31152}, {549, 34200, 15692}, {549, 35404, 15686}, {549, 35434, 1657}, {549, 37901, 34006}, {549, 41988, 15682}, {549, 44211, 44214}, {549, 44212, 44211}, {549, 44903, 8703}, {550, 631, 3}, {550, 3146, 17800}, {550, 3628, 631}, {550, 3853, 3146}, {550, 5056, 46219}, {550, 10304, 15695}, {550, 11539, 12100}, {550, 12100, 10304}, {550, 17578, 35406}, {550, 35408, 15683}, {551, 3655, 10246}, {567, 10540, 184}, {567, 18430, 18396}, {574, 7603, 31489}, {576, 18553, 15069}, {578, 10539, 49}, {590, 6561, 6221}, {590, 42283, 6561}, {597, 11179, 5050}, {599, 10516, 11178}, {615, 6560, 6398}, {615, 42284, 6560}, {620, 39809, 38730}, {625, 3734, 7778}, {631, 3146, 550}, {631, 3544, 5056}, {631, 3628, 46219}, {631, 3853, 17800}, {631, 5056, 3628}, {631, 10304, 12100}, {631, 11001, 10304}, {631, 12100, 15707}, {632, 3529, 3}, {632, 11812, 15709}, {632, 12102, 3529}, {632, 15686, 45761}, {632, 17504, 11812}, {632, 19710, 17504}, {632, 35018, 5067}, {858, 18325, 35001}, {858, 44440, 21312}, {868, 1651, 44216}, {908, 3419, 3940}, {938, 5714, 6147}, {944, 5901, 37624}, {946, 19925, 355}, {958, 25639, 31493}, {962, 5818, 5690}, {999, 18519, 12773}, {1003, 11317, 11361}, {1003, 11361, 11159}, {1007, 32815, 6390}, {1012, 6911, 3}, {1113, 1114, 7575}, {1125, 31673, 18481}, {1147, 11424, 37472}, {1181, 36753, 43845}, {1209, 15800, 12307}, {1216, 45186, 37484}, {1312, 1313, 11799}, {1312, 10297, 10751}, {1312, 10750, 15154}, {1313, 10297, 10750}, {1313, 10751, 15155}, {1344, 1345, 3}, {1346, 1347, 5}, {1346, 2552, 1345}, {1347, 2553, 1344}, {1351, 1352, 11898}, {1352, 5480, 1351}, {1370, 37439, 16419}, {1478, 10072, 5434}, {1478, 18516, 10742}, {1479, 10056, 3058}, {1498, 18381, 34780}, {1506, 5013, 31467}, {1506, 7748, 5013}, {1513, 37242, 3}, {1514, 37648, 4846}, {1531, 34417, 40909}, {1532, 6929, 3}, {1532, 6957, 6913}, {1532, 8226, 5}, {1539, 20304, 74}, {1587, 7584, 6418}, {1587, 42561, 7584}, {1588, 7583, 6417}, {1588, 31412, 7583}, {1593, 6642, 3}, {1593, 38323, 34622}, {1594, 7544, 6642}, {1594, 38323, 18281}, {1595, 7401, 3}, {1595, 44226, 4}, {1596, 10297, 31723}, {1596, 15760, 11799}, {1596, 18531, 18534}, {1596, 18537, 3}, {1596, 37984, 6623}, {1596, 44920, 18531}, {1597, 5020, 3}, {1598, 11479, 3}, {1598, 18404, 382}, {1598, 34664, 34726}, {1598, 34725, 7540}, {1614, 13434, 32046}, {1656, 1657, 15720}, {1656, 3534, 5054}, {1656, 3830, 15688}, {1656, 3843, 5076}, {1656, 5054, 2}, {1656, 5072, 5}, {1656, 5076, 15696}, {1656, 14093, 15694}, {1656, 15700, 15723}, {1656, 35434, 14093}, {1656, 38335, 3534}, {1656, 44438, 35495}, {1657, 3526, 3}, {1657, 5076, 382}, {1657, 5079, 3526}, {1657, 15688, 3534}, {1657, 15693, 15688}, {1657, 21974, 37955}, {1658, 14118, 3}, {1698, 41869, 3579}, {1699, 3679, 31162}, {1699, 38140, 5790}, {1737, 1836, 36279}, {1906, 6816, 39568}, {1995, 5169, 5094}, {1995, 7579, 1656}, {1995, 31861, 3}, {1995, 39484, 5055}, {2015, 2016, 39}, {2041, 2042, 548}, {2041, 14813, 3}, {2042, 14814, 3}, {2043, 2044, 5}, {2043, 15765, 3}, {2043, 18587, 42278}, {2043, 36437, 36457}, {2043, 36455, 36436}, {2044, 18585, 3}, {2044, 18586, 42279}, {2044, 36437, 36454}, {2044, 36455, 36439}, {2070, 7545, 25}, {2072, 5020, 1656}, {2072, 10151, 31726}, {2072, 31726, 18859}, {2454, 2455, 44216}, {2463, 2464, 1}, {2465, 2466, 6}, {2467, 2468, 10}, {2469, 2470, 182}, {2471, 2472, 182}, {2475, 4193, 474}, {2476, 5046, 405}, {2476, 6990, 5}, {2478, 6871, 442}, {2478, 37406, 3}, {2479, 2480, 40885}, {2548, 5254, 9605}, {2548, 7739, 9300}, {2549, 3815, 5024}, {2549, 31415, 3815}, {2551, 31418, 31419}, {2552, 2553, 4}, {2552, 3091, 1347}, {2553, 3091, 1346}, {2570, 2571, 3}, {2883, 14216, 12315}, {2888, 20424, 12316}, {2937, 34864, 3}, {3054, 43618, 15655}, {3058, 10056, 3295}, {3068, 18538, 45384}, {3068, 23259, 42215}, {3068, 42215, 6199}, {3069, 18762, 45385}, {3069, 23249, 42216}, {3069, 42216, 6395}, {3070, 42270, 486}, {3071, 42273, 485}, {3081, 44891, 46869}, {3085, 5225, 15171}, {3086, 5229, 18990}, {3088, 9825, 3}, {3089, 7404, 3549}, {3089, 12605, 9714}, {3090, 3091, 12811}, {3090, 3524, 2}, {3090, 3543, 14891}, {3090, 3627, 3}, {3090, 3839, 12101}, {3090, 3861, 5073}, {3090, 5068, 5}, {3090, 5070, 1656}, {3090, 10109, 5055}, {3090, 12101, 15689}, {3090, 15682, 3524}, {3090, 15685, 5054}, {3090, 15691, 15694}, {3090, 41987, 3830}, {3090, 41988, 15681}, {3091, 3146, 3544}, {3091, 3153, 37353}, {3091, 3545, 5066}, {3091, 3832, 4}, {3091, 3839, 2}, {3091, 3843, 1656}, {3091, 3845, 5055}, {3091, 3854, 3855}, {3091, 3855, 3850}, {3091, 3858, 3843}, {3091, 3860, 14269}, {3091, 5046, 6990}, {3091, 6839, 6945}, {3091, 6844, 6973}, {3091, 6894, 6941}, {3091, 6957, 8226}, {3091, 7394, 403}, {3091, 7566, 7507}, {3091, 10151, 5020}, {3091, 11818, 10254}, {3091, 13729, 6828}, {3091, 15682, 14892}, {3091, 23046, 3830}, {3091, 23047, 11479}, {3091, 41106, 38071}, {3091, 44226, 11484}, {3095, 6248, 13108}, {3095, 13108, 32520}, {3146, 3544, 3628}, {3146, 3628, 3}, {3146, 5056, 631}, {3146, 10304, 11001}, {3146, 11539, 15695}, {3146, 15691, 35411}, {3146, 15707, 3534}, {3146, 15714, 15681}, {3149, 3560, 3}, {3153, 11563, 5899}, {3153, 37349, 4}, {3153, 46029, 3}, {3259, 38954, 38586}, {3303, 9671, 4857}, {3304, 9656, 5270}, {3357, 32767, 40686}, {3363, 37350, 2}, {3488, 5226, 5719}, {3518, 14118, 1658}, {3520, 37814, 3}, {3520, 44802, 37814}, {3521, 18488, 33541}, {3522, 3525, 3530}, {3522, 3530, 3}, {3522, 7486, 3525}, {3522, 15698, 45759}, {3522, 15708, 15698}, {3522, 33703, 15704}, {3523, 3529, 548}, {3523, 5067, 632}, {3523, 15022, 5067}, {3523, 15709, 11812}, {3523, 17578, 3529}, {3523, 19708, 17504}, {3524, 3543, 44903}, {3524, 3627, 15685}, {3524, 3861, 3830}, {3524, 5068, 10109}, {3524, 5073, 3534}, {3524, 8703, 3}, {3524, 10109, 5070}, {3524, 12101, 5073}, {3524, 14892, 5055}, {3524, 15682, 20}, {3524, 15721, 549}, {3525, 15698, 15708}, {3525, 15704, 3}, {3525, 15708, 15713}, {3525, 15722, 5054}, {3525, 33703, 3522}, {3525, 45759, 15722}, {3526, 3534, 15706}, {3526, 5076, 1657}, {3526, 5079, 1656}, {3526, 15688, 15693}, {3526, 15693, 5054}, {3526, 35402, 15681}, {3527, 12164, 37493}, {3528, 5059, 12103}, {3528, 10303, 15712}, {3528, 15705, 15759}, {3528, 15712, 3}, {3528, 15719, 15705}, {3528, 46333, 15697}, {3529, 5067, 3523}, {3529, 15022, 632}, {3529, 15709, 19708}, {3530, 15690, 45759}, {3530, 15704, 3522}, {3530, 15708, 15722}, {3530, 15713, 15708}, {3530, 45759, 15698}, {3533, 15717, 14869}, {3533, 17538, 15717}, {3534, 3545, 5079}, {3534, 5054, 3}, {3534, 5055, 3526}, {3534, 5072, 5055}, {3534, 14093, 376}, {3534, 14269, 5076}, {3534, 14893, 35402}, {3534, 15688, 15696}, {3534, 15700, 14093}, {3534, 15716, 8703}, {3534, 15723, 15700}, {3534, 38335, 382}, {3541, 31833, 3}, {3542, 3575, 3517}, {3543, 3545, 547}, {3543, 3830, 35434}, {3543, 5055, 15700}, {3543, 5071, 549}, {3543, 11737, 15703}, {3543, 14891, 15685}, {3543, 14893, 35403}, {3543, 15684, 382}, {3543, 15686, 35400}, {3543, 15687, 3830}, {3543, 15692, 15683}, {3543, 15694, 3534}, {3543, 15700, 1657}, {3543, 15702, 15686}, {3543, 15703, 14093}, {3543, 15714, 17800}, {3543, 15721, 20}, {3543, 38335, 35402}, {3543, 44903, 5073}, {3544, 3839, 33699}, {3544, 3853, 46219}, {3544, 5056, 5}, {3544, 12100, 5055}, {3544, 17800, 1656}, {3545, 3830, 1656}, {3545, 3832, 3845}, {3545, 3843, 3534}, {3545, 3845, 3}, {3545, 3855, 41106}, {3545, 3860, 3843}, {3545, 3861, 15701}, {3545, 5066, 3851}, {3545, 5169, 39484}, {3545, 7394, 44275}, {3545, 7533, 39487}, {3545, 11001, 5056}, {3545, 11317, 37071}, {3545, 12101, 5070}, {3545, 14269, 5054}, {3545, 14893, 15694}, {3545, 15640, 35018}, {3545, 15682, 3090}, {3545, 15687, 15703}, {3545, 15697, 44904}, {3545, 15718, 35382}, {3545, 19708, 15022}, {3545, 19709, 5072}, {3545, 23046, 14269}, {3545, 37349, 44262}, {3545, 41099, 4}, {3545, 41106, 3091}, {3545, 41987, 15689}, {3545, 44275, 10254}, {3546, 31829, 3}, {3547, 12362, 3}, {3549, 6756, 9714}, {3549, 12605, 3}, {3552, 32967, 33233}, {3552, 33011, 32967}, {3560, 6985, 20846}, {3560, 16370, 28453}, {3567, 12111, 6102}, {3574, 6288, 195}, {3574, 9927, 36749}, {3576, 7988, 11230}, {3581, 15362, 32225}, {3583, 7951, 55}, {3583, 18406, 18407}, {3583, 18491, 18499}, {3585, 7741, 56}, {3586, 5219, 24929}, {3589, 46264, 12017}, {3592, 8960, 31487}, {3614, 6284, 498}, {3627, 3861, 4}, {3627, 5055, 15716}, {3627, 5068, 5070}, {3627, 5073, 382}, {3627, 10109, 3524}, {3627, 12811, 3090}, {3627, 14892, 2}, {3627, 15699, 8703}, {3627, 15715, 35411}, {3627, 15721, 15681}, {3627, 41990, 14892}, {3627, 44245, 11541}, {3628, 3853, 550}, {3628, 11001, 15707}, {3628, 11539, 2}, {3628, 12100, 11539}, {3628, 15695, 5054}, {3628, 15715, 15694}, {3628, 33699, 10304}, {3652, 16125, 16150}, {3655, 5886, 551}, {3679, 31159, 31140}, {3679, 31160, 31141}, {3767, 7745, 30435}, {3817, 34648, 551}, {3818, 5475, 6033}, {3818, 6564, 45376}, {3818, 6565, 45375}, {3818, 13665, 26336}, {3818, 13785, 26346}, {3818, 14356, 15928}, {3818, 18388, 18451}, {3818, 18390, 18474}, {3818, 19130, 6}, {3818, 45438, 18511}, {3818, 45439, 18509}, {3830, 3843, 14269}, {3830, 3851, 5055}, {3830, 5054, 1657}, {3830, 5055, 3}, {3830, 5070, 15689}, {3830, 5071, 15700}, {3830, 5079, 15706}, {3830, 10109, 15716}, {3830, 14269, 4}, {3830, 15681, 15684}, {3830, 15684, 3543}, {3830, 15685, 15682}, {3830, 15689, 5073}, {3830, 15694, 15681}, {3830, 15701, 15685}, {3830, 15703, 376}, {3830, 15707, 17800}, {3830, 19709, 2}, {3830, 32216, 35001}, {3830, 35403, 15687}, {3830, 38071, 5072}, {3830, 38335, 5076}, {3832, 3839, 41099}, {3832, 3850, 3}, {3832, 3854, 3091}, {3832, 3855, 5}, {3832, 3857, 3851}, {3832, 5066, 14269}, {3832, 5133, 18386}, {3832, 6997, 10151}, {3832, 38071, 3830}, {3832, 41099, 23046}, {3839, 3845, 3843}, {3839, 3850, 19709}, {3839, 3851, 3534}, {3839, 3854, 41106}, {3839, 3855, 5066}, {3839, 5055, 38335}, {3839, 5066, 3}, {3839, 5068, 15682}, {3839, 5071, 15687}, {3839, 11303, 41029}, {3839, 11304, 41028}, {3839, 11737, 15684}, {3839, 12811, 15685}, {3839, 13862, 11317}, {3839, 15682, 3861}, {3839, 19709, 382}, {3839, 38071, 5055}, {3839, 41099, 546}, {3839, 41106, 5}, {3839, 41990, 5070}, {3843, 3850, 5072}, {3843, 3851, 3}, {3843, 5020, 31726}, {3843, 5055, 3830}, {3843, 5066, 5054}, {3843, 5071, 35434}, {3843, 5072, 1657}, {3843, 10254, 18494}, {3843, 11479, 31724}, {3843, 11484, 31725}, {3843, 14269, 3845}, {3843, 15684, 14893}, {3843, 15694, 35403}, {3843, 15703, 15687}, {3843, 21308, 44263}, {3843, 22462, 44271}, {3845, 3850, 3545}, {3845, 3851, 5054}, {3845, 3857, 38071}, {3845, 3858, 23046}, {3845, 3860, 41099}, {3845, 5054, 5076}, {3845, 5055, 382}, {3845, 5066, 2}, {3845, 5068, 15689}, {3845, 5071, 15684}, {3845, 5072, 15688}, {3845, 8703, 12101}, {3845, 10109, 15682}, {3845, 11539, 3853}, {3845, 11737, 376}, {3845, 12811, 3524}, {3845, 14892, 20}, {3845, 15687, 14893}, {3845, 15699, 3627}, {3845, 15702, 35401}, {3845, 15703, 35434}, {3845, 15723, 35402}, {3845, 17504, 12102}, {3845, 19709, 3534}, {3845, 23046, 546}, {3845, 38071, 5}, {3845, 39504, 37077}, {3845, 41106, 19709}, {3845, 41986, 11541}, {3845, 41989, 46333}, {3845, 41990, 10109}, {3850, 3856, 546}, {3850, 3857, 3855}, {3850, 3858, 4}, {3850, 3859, 3857}, {3850, 3861, 12811}, {3850, 5066, 38071}, {3850, 14892, 41990}, {3850, 23046, 2}, {3850, 23323, 5133}, {3850, 38071, 41106}, {3850, 41099, 5055}, {3850, 41991, 3832}, {3851, 5055, 19709}, {3851, 14269, 2}, {3851, 15683, 35382}, {3851, 15684, 5071}, {3851, 18535, 37347}, {3851, 19709, 3545}, {3851, 35403, 547}, {3851, 41099, 38335}, {3851, 41987, 15716}, {3853, 5056, 3}, {3853, 11539, 11001}, {3853, 17800, 382}, {3853, 34200, 35408}, {3854, 3855, 3857}, {3854, 3856, 3}, {3854, 3858, 3851}, {3854, 41099, 38071}, {3854, 41991, 3843}, {3855, 3856, 3843}, {3855, 3858, 3}, {3855, 3860, 5055}, {3855, 23046, 19709}, {3855, 41099, 3545}, {3856, 3857, 4}, {3856, 3859, 5}, {3856, 5066, 23046}, {3856, 38071, 41099}, {3857, 3858, 5}, {3857, 3859, 3854}, {3857, 3860, 3545}, {3857, 23046, 5066}, {3857, 41991, 546}, {3858, 3859, 3091}, {3858, 5066, 3839}, {3858, 13487, 7528}, {3858, 23046, 3860}, {3858, 38071, 3845}, {3858, 41106, 14269}, {3858, 41990, 41987}, {3858, 41991, 3856}, {3859, 3860, 38071}, {3859, 23046, 41106}, {3859, 41991, 4}, {3860, 5066, 3845}, {3860, 12811, 41987}, {3860, 23046, 3832}, {3860, 38071, 4}, {3860, 41106, 3830}, {3861, 5066, 15699}, {3861, 5068, 3}, {3861, 5070, 382}, {3861, 11737, 14891}, {3861, 12811, 140}, {3861, 14892, 8703}, {3861, 15685, 38335}, {3861, 15691, 15687}, {3861, 15699, 15682}, {3861, 41987, 3845}, {3861, 41988, 14893}, {3934, 7825, 7784}, {4187, 37447, 37356}, {4190, 6931, 13747}, {4190, 13747, 17573}, {4197, 37162, 16842}, {4197, 37433, 37426}, {4293, 10589, 15325}, {4550, 15362, 44751}, {4550, 34417, 3581}, {4857, 37719, 3303}, {5000, 5001, 5094}, {5004, 5005, 7492}, {5025, 7770, 7866}, {5025, 7866, 33241}, {5025, 11303, 11305}, {5025, 11304, 11306}, {5025, 16044, 7770}, {5025, 40279, 3}, {5054, 14093, 15700}, {5054, 15688, 15706}, {5054, 15693, 15720}, {5054, 15700, 549}, {5054, 15723, 15694}, {5054, 19709, 5079}, {5054, 35434, 15681}, {5055, 5066, 5072}, {5055, 5073, 15701}, {5055, 15681, 15694}, {5055, 15684, 549}, {5055, 15685, 140}, {5055, 15687, 14093}, {5055, 15694, 15703}, {5055, 15695, 46219}, {5055, 15701, 5070}, {5055, 15703, 547}, {5055, 19709, 5}, {5055, 35401, 34200}, {5055, 35403, 376}, {5055, 38335, 15688}, {5056, 10304, 2}, {5056, 11001, 11539}, {5056, 33699, 15707}, {5056, 46219, 1656}, {5059, 10303, 3528}, {5059, 15697, 46333}, {5059, 15705, 15697}, {5059, 16239, 3}, {5064, 31152, 31133}, {5066, 11539, 3544}, {5066, 12101, 10109}, {5066, 14269, 1656}, {5066, 14892, 12811}, {5066, 14893, 547}, {5066, 15687, 5071}, {5066, 15699, 5068}, {5066, 23046, 4}, {5066, 38071, 3091}, {5066, 38335, 5079}, {5066, 40277, 35930}, {5066, 41099, 3830}, {5066, 41987, 140}, {5067, 15022, 35018}, {5067, 15640, 17504}, {5067, 15709, 2}, {5067, 17578, 548}, {5067, 19708, 15709}, {5068, 5073, 1656}, {5068, 8703, 5055}, {5068, 14269, 15716}, {5068, 14892, 19709}, {5068, 15682, 15699}, {5068, 15721, 5071}, {5068, 41987, 15685}, {5070, 5073, 3}, {5070, 8703, 5054}, {5070, 14269, 15682}, {5070, 15685, 3524}, {5070, 15689, 15701}, {5070, 15721, 15723}, {5070, 35403, 44903}, {5071, 14891, 5070}, {5071, 14893, 15681}, {5071, 15681, 15723}, {5071, 15682, 15721}, {5071, 15683, 10124}, {5071, 15684, 5054}, {5071, 15687, 3}, {5071, 15694, 1656}, {5071, 15721, 15699}, {5071, 35402, 15706}, {5071, 35403, 14093}, {5071, 35434, 15693}, {5071, 41988, 15689}, {5071, 45762, 5073}, {5072, 14269, 15693}, {5072, 15700, 5071}, {5072, 35434, 15703}, {5072, 38335, 2}, {5073, 10109, 5054}, {5073, 14269, 12101}, {5073, 15686, 35410}, {5073, 15689, 15685}, {5073, 15699, 15716}, {5073, 15701, 15689}, {5073, 15703, 14891}, {5073, 19709, 15699}, {5076, 5079, 3}, {5077, 40248, 3}, {5079, 15688, 2}, {5080, 11680, 956}, {5084, 5177, 8728}, {5084, 8728, 16853}, {5094, 44438, 378}, {5099, 38953, 38583}, {5133, 7394, 25}, {5133, 11818, 3}, {5133, 44275, 5055}, {5133, 46030, 10254}, {5141, 6873, 5}, {5141, 44257, 5055}, {5142, 7557, 7535}, {5158, 36430, 18487}, {5169, 7533, 1995}, {5169, 7577, 39504}, {5169, 39487, 5055}, {5177, 6851, 37401}, {5187, 6896, 5}, {5198, 7395, 7387}, {5237, 42431, 43193}, {5237, 42489, 43239}, {5238, 42432, 43194}, {5238, 42488, 43238}, {5254, 9300, 7739}, {5270, 37720, 3304}, {5309, 5475, 7753}, {5309, 7753, 6}, {5318, 18581, 11486}, {5318, 42107, 18581}, {5321, 18582, 11485}, {5321, 42110, 18582}, {5334, 42142, 11542}, {5334, 43403, 37640}, {5335, 42139, 11543}, {5335, 43404, 37641}, {5339, 42156, 61}, {5340, 42153, 62}, {5349, 42147, 42160}, {5349, 42598, 42147}, {5350, 42148, 42161}, {5350, 42599, 42148}, {5351, 42937, 42491}, {5352, 42936, 42490}, {5418, 22615, 42258}, {5418, 42258, 6449}, {5420, 22644, 42259}, {5420, 42259, 6450}, {5428, 6876, 3}, {5434, 10072, 999}, {5446, 5562, 6243}, {5448, 9927, 155}, {5461, 6055, 38224}, {5475, 18424, 115}, {5476, 19130, 38072}, {5478, 5617, 13103}, {5479, 5613, 13102}, {5499, 6903, 3}, {5510, 10744, 38576}, {5511, 10743, 38575}, {5512, 10748, 11258}, {5576, 7528, 7506}, {5576, 7529, 1656}, {5587, 31162, 3679}, {5597, 18495, 45379}, {5597, 45355, 18496}, {5598, 18497, 45380}, {5598, 45356, 18498}, {5603, 9779, 38034}, {5603, 34627, 3241}, {5640, 5890, 5946}, {5640, 15305, 5890}, {5690, 40273, 962}, {5691, 8227, 1385}, {5777, 5806, 24474}, {5790, 34718, 3679}, {5805, 37822, 37826}, {5876, 45958, 15058}, {5878, 6247, 13093}, {5881, 11522, 10222}, {5885, 31828, 15071}, {5889, 9781, 143}, {5889, 15058, 5876}, {5890, 16261, 15305}, {5893, 6247, 5878}, {5895, 40686, 3357}, {5899, 37353, 1656}, {5899, 44288, 382}, {5907, 10110, 52}, {5946, 13364, 5640}, {5972, 12121, 15040}, {5972, 12295, 12121}, {6032, 31961, 31840}, {6036, 39838, 38741}, {6054, 14639, 671}, {6054, 22566, 38743}, {6055, 23514, 5461}, {6097, 16451, 3}, {6101, 14128, 11444}, {6102, 10095, 3567}, {6102, 45959, 12111}, {6114, 31709, 6775}, {6115, 31710, 6772}, {6175, 44217, 17528}, {6199, 45384, 3068}, {6201, 6214, 11917}, {6202, 6215, 11916}, {6240, 7505, 3515}, {6240, 35487, 7505}, {6241, 15043, 13630}, {6245, 6259, 12684}, {6246, 6265, 12747}, {6249, 6287, 13111}, {6250, 6289, 12602}, {6251, 6290, 12601}, {6288, 36749, 12429}, {6289, 45440, 45488}, {6290, 45441, 45489}, {6395, 45385, 3069}, {6560, 42274, 615}, {6561, 42277, 590}, {6564, 6565, 6}, {6564, 13785, 18512}, {6564, 18511, 26336}, {6564, 35823, 35822}, {6564, 45438, 18440}, {6565, 13665, 18510}, {6565, 18509, 26346}, {6565, 35822, 35823}, {6565, 45439, 18440}, {6622, 7487, 21841}, {6623, 10297, 18534}, {6623, 18531, 11799}, {6623, 18537, 15760}, {6623, 44920, 3}, {6639, 18563, 3}, {6642, 10255, 1656}, {6643, 6823, 3}, {6644, 31861, 378}, {6644, 39504, 5094}, {6655, 16921, 11285}, {6655, 33024, 16921}, {6658, 7907, 33235}, {6675, 6869, 3}, {6676, 6995, 20850}, {6699, 13202, 20127}, {6721, 38738, 38750}, {6722, 38749, 38739}, {6723, 16111, 38728}, {6756, 7404, 3}, {6756, 44960, 3089}, {6792, 43964, 18346}, {6815, 23335, 3}, {6817, 37355, 16409}, {6824, 6848, 6863}, {6824, 20420, 3}, {6825, 6846, 6861}, {6825, 31789, 3}, {6826, 6844, 6882}, {6826, 6973, 5}, {6826, 8727, 3}, {6827, 6843, 6881}, {6827, 6907, 3}, {6827, 6982, 6907}, {6828, 6894, 3149}, {6828, 6941, 5}, {6829, 6840, 6883}, {6830, 6839, 6911}, {6830, 6945, 5}, {6831, 6835, 6918}, {6831, 6917, 3}, {6833, 6953, 6959}, {6834, 6837, 6862}, {6834, 37290, 3}, {6835, 6870, 6831}, {6836, 6984, 37438}, {6836, 37438, 3}, {6839, 10883, 1012}, {6840, 6932, 7580}, {6841, 37230, 13743}, {6841, 44229, 3}, {6842, 6928, 3}, {6843, 6939, 5}, {6845, 6900, 474}, {6847, 6944, 6958}, {6847, 37281, 3}, {6849, 6866, 5}, {6850, 6922, 3}, {6851, 8728, 3}, {6856, 17561, 2}, {6862, 37468, 3}, {6863, 7491, 3}, {6865, 37424, 3}, {6867, 6893, 5}, {6869, 17561, 44255}, {6872, 6933, 7483}, {6872, 7483, 17571}, {6876, 16865, 5428}, {6882, 6923, 3}, {6883, 7580, 3}, {6891, 31775, 3}, {6894, 13729, 4}, {6896, 37447, 16408}, {6899, 44222, 3}, {6900, 16160, 3}, {6905, 6912, 6914}, {6905, 6914, 3}, {6905, 28461, 17549}, {6906, 6915, 6924}, {6906, 6924, 3}, {6912, 17549, 28461}, {6913, 6980, 1656}, {6913, 19541, 3}, {6913, 37411, 13615}, {6916, 37364, 3}, {6917, 6971, 45976}, {6918, 6971, 1656}, {6920, 21161, 16858}, {6929, 6968, 6980}, {6929, 6980, 7489}, {6932, 6965, 6883}, {6939, 6982, 6881}, {6941, 13729, 3560}, {6943, 37437, 37022}, {6945, 10883, 6830}, {6957, 6968, 5}, {6964, 37434, 6891}, {6996, 36477, 3}, {7173, 7354, 499}, {7377, 36663, 3}, {7378, 7392, 1368}, {7380, 36685, 3}, {7387, 7395, 3}, {7388, 32489, 11313}, {7389, 32488, 11314}, {7391, 37990, 7484}, {7393, 11414, 3}, {7394, 23323, 3843}, {7398, 8889, 6677}, {7399, 14790, 3}, {7403, 7528, 3}, {7422, 36177, 3}, {7422, 46512, 36177}, {7426, 18568, 15684}, {7484, 35243, 3}, {7486, 15708, 2}, {7486, 33703, 3530}, {7486, 35732, 2046}, {7486, 42282, 2045}, {7488, 34484, 37440}, {7489, 28443, 16418}, {7502, 35921, 3}, {7503, 10594, 26}, {7506, 7529, 18369}, {7507, 37197, 4}, {7514, 7530, 22}, {7516, 10323, 3}, {7517, 11479, 34864}, {7517, 31724, 382}, {7525, 37126, 3}, {7526, 13861, 24}, {7527, 12106, 3}, {7527, 13595, 186}, {7533, 39504, 21308}, {7540, 14787, 3}, {7540, 18404, 34725}, {7540, 34725, 382}, {7547, 7566, 7564}, {7547, 35488, 4}, {7550, 37925, 6636}, {7552, 46451, 44278}, {7553, 14786, 3}, {7555, 37947, 37913}, {7564, 35488, 3843}, {7566, 35488, 546}, {7574, 11799, 37924}, {7576, 18568, 3830}, {7577, 37077, 44287}, {7577, 39504, 7579}, {7577, 44263, 3}, {7581, 19116, 6501}, {7582, 19117, 6500}, {7680, 37820, 10679}, {7681, 37821, 10680}, {7682, 37822, 2095}, {7684, 20428, 5611}, {7685, 20429, 5615}, {7687, 18388, 18390}, {7687, 18418, 18451}, {7697, 22682, 22728}, {7735, 18907, 21309}, {7736, 43448, 15048}, {7737, 43620, 230}, {7738, 31404, 31406}, {7739, 9300, 9605}, {7746, 7747, 3053}, {7756, 31455, 15815}, {7770, 33219, 2}, {7773, 7788, 7809}, {7785, 19570, 7837}, {7788, 7809, 7776}, {7791, 32962, 32992}, {7791, 32996, 33229}, {7809, 14492, 14881}, {7812, 14568, 14614}, {7818, 9466, 599}, {7824, 14044, 33019}, {7824, 33019, 33234}, {7837, 19570, 7754}, {7841, 44543, 2}, {7845, 17131, 40341}, {7884, 14458, 14880}, {7885, 31276, 7879}, {7887, 33220, 2}, {7907, 14066, 6658}, {7912, 17128, 7881}, {7951, 18406, 18491}, {7951, 18407, 18524}, {8196, 8200, 11875}, {8203, 8207, 11876}, {8212, 8220, 11949}, {8213, 8221, 11950}, {8252, 42264, 6396}, {8253, 42263, 6200}, {8352, 8356, 33017}, {8356, 33017, 5077}, {8370, 11318, 33237}, {8370, 33006, 11318}, {8370, 33228, 2}, {8597, 33273, 33264}, {8703, 10109, 2}, {8703, 12101, 15682}, {8703, 14892, 3090}, {8703, 15682, 15685}, {8703, 15685, 3534}, {8703, 15691, 376}, {8703, 15699, 140}, {8703, 15701, 15716}, {8703, 38071, 12811}, {8703, 41986, 46935}, {8703, 41987, 4}, {8703, 41988, 3543}, {8703, 44903, 15691}, {8703, 45758, 3523}, {8724, 9880, 12355}, {8757, 41344, 23070}, {9306, 13352, 22115}, {9466, 31173, 7818}, {9541, 32785, 35255}, {9541, 35255, 6445}, {9578, 9614, 9957}, {9581, 9612, 942}, {9598, 31460, 31461}, {9654, 9669, 1}, {9654, 18525, 18545}, {9654, 18544, 18526}, {9664, 31476, 31477}, {9668, 31479, 55}, {9669, 18525, 18543}, {9669, 18542, 18526}, {9681, 41963, 6519}, {9729, 13474, 10575}, {9730, 14845, 5943}, {9760, 9762, 11184}, {9781, 15058, 5889}, {9818, 10254, 1656}, {9818, 11818, 18494}, {9818, 18386, 18403}, {9833, 16252, 14530}, {9840, 19543, 3}, {9840, 19646, 19543}, {9909, 14787, 5054}, {9955, 18480, 1}, {9955, 18492, 18525}, {9955, 45630, 9669}, {9955, 45631, 9654}, {9956, 22793, 40}, {9970, 32274, 32306}, {9993, 9996, 9301}, {10018, 35471, 15750}, {10019, 23047, 235}, {10024, 11479, 1656}, {10024, 18404, 3}, {10024, 23047, 31724}, {10024, 31724, 2937}, {10095, 45959, 6102}, {10109, 12101, 8703}, {10109, 12811, 14892}, {10109, 14892, 5}, {10109, 14893, 44903}, {10109, 15682, 15701}, {10109, 15699, 3090}, {10109, 15721, 15703}, {10109, 41987, 3627}, {10109, 41988, 15691}, {10109, 44245, 41984}, {10124, 14893, 35404}, {10124, 15683, 3}, {10124, 15686, 15692}, {10124, 15687, 15683}, {10124, 15702, 15694}, {10124, 15718, 5054}, {10124, 34200, 549}, {10124, 35400, 14093}, {10124, 35404, 376}, {10124, 45761, 11812}, {10168, 25565, 38317}, {10201, 11818, 13490}, {10201, 13490, 25}, {10224, 34007, 3}, {10224, 44279, 12084}, {10245, 12605, 3534}, {10247, 34748, 3241}, {10254, 11818, 7545}, {10254, 18386, 382}, {10254, 18403, 3}, {10263, 11017, 15056}, {10263, 11591, 11412}, {10282, 34786, 17845}, {10295, 18580, 3}, {10297, 11799, 7574}, {10297, 14120, 36184}, {10297, 15760, 18531}, {10297, 37984, 11799}, {10299, 46853, 3}, {10301, 37454, 7493}, {10303, 12103, 3}, {10303, 15697, 15705}, {10303, 15705, 15719}, {10303, 46333, 15759}, {10304, 11001, 550}, {10304, 11539, 15707}, {10304, 12100, 3}, {10304, 15715, 15714}, {10304, 17800, 3534}, {10304, 33699, 17800}, {10531, 10942, 12000}, {10532, 10943, 12001}, {10574, 12290, 13491}, {10574, 15024, 12006}, {10576, 35821, 1151}, {10577, 35820, 1152}, {10592, 15171, 3085}, {10593, 18990, 3086}, {10645, 42915, 43029}, {10646, 42914, 43028}, {10653, 18581, 395}, {10654, 18582, 396}, {10706, 14644, 9140}, {10721, 15059, 12041}, {10722, 14061, 12042}, {10723, 41134, 12117}, {10727, 31273, 38601}, {10728, 31272, 38602}, {10746, 25640, 38578}, {10750, 10751, 7574}, {10750, 11799, 15155}, {10751, 11799, 15154}, {10893, 10894, 946}, {10895, 10896, 1}, {10895, 11238, 11237}, {10895, 18480, 18542}, {10895, 18544, 18545}, {10895, 45630, 18525}, {10896, 11237, 11238}, {10896, 18480, 18544}, {10896, 18542, 18543}, {10896, 45631, 18525}, {11001, 11539, 3}, {11001, 12100, 15695}, {11001, 15695, 3534}, {11001, 15715, 376}, {11095, 11096, 405}, {11108, 37411, 3}, {11112, 16417, 19706}, {11112, 17533, 2}, {11113, 15670, 31156}, {11113, 17530, 2}, {11159, 11288, 1003}, {11178, 25561, 10516}, {11179, 14561, 597}, {11180, 14853, 1992}, {11237, 11238, 1}, {11250, 22467, 3}, {11284, 32216, 2}, {11286, 11318, 2}, {11286, 33228, 33240}, {11295, 11296, 11159}, {11295, 11301, 11299}, {11296, 11302, 11300}, {11297, 11305, 2}, {11298, 11306, 2}, {11299, 11300, 1003}, {11301, 11302, 11288}, {11303, 11304, 7770}, {11305, 11306, 7866}, {11328, 32444, 3}, {11361, 33246, 19686}, {11412, 15056, 11591}, {11439, 15043, 6241}, {11451, 15045, 13363}, {11451, 15072, 15045}, {11455, 15045, 15072}, {11479, 34725, 34664}, {11480, 19107, 42130}, {11481, 19106, 42131}, {11484, 11585, 1656}, {11485, 18582, 42817}, {11486, 18581, 42818}, {11488, 42133, 42117}, {11489, 42134, 42118}, {11496, 11499, 11849}, {11539, 12100, 631}, {11539, 15707, 5054}, {11539, 15714, 549}, {11539, 33699, 550}, {11540, 33923, 41983}, {11540, 41983, 14869}, {11541, 21735, 20}, {11541, 44580, 15689}, {11541, 46935, 44682}, {11542, 42135, 5334}, {11543, 42138, 5335}, {11563, 44288, 7530}, {11585, 44226, 31725}, {11648, 39563, 44518}, {11737, 14269, 15700}, {11737, 14891, 10109}, {11737, 14893, 549}, {11737, 15684, 1656}, {11737, 15687, 2}, {11737, 15700, 5079}, {11737, 15714, 5056}, {11737, 35403, 15723}, {11737, 41987, 44903}, {11737, 41988, 140}, {11737, 44903, 3090}, {11737, 45762, 8703}, {11793, 13598, 10625}, {11799, 18531, 12083}, {11799, 31723, 18534}, {11799, 37347, 15760}, {11812, 17504, 3523}, {11812, 19710, 19708}, {11812, 45758, 140}, {11818, 23323, 18386}, {11911, 20128, 1651}, {11928, 11929, 1482}, {12006, 13491, 10574}, {12006, 32137, 13491}, {12019, 39542, 18391}, {12041, 15088, 15059}, {12042, 15092, 14061}, {12083, 18534, 37924}, {12084, 17928, 3}, {12088, 37126, 7525}, {12100, 15714, 15715}, {12100, 33699, 11001}, {12100, 46219, 5054}, {12101, 12811, 15699}, {12101, 14892, 140}, {12101, 14893, 41988}, {12101, 15682, 3830}, {12101, 15689, 382}, {12101, 15699, 20}, {12101, 38071, 5068}, {12101, 41986, 44682}, {12101, 41987, 3861}, {12101, 44903, 3543}, {12101, 45762, 14893}, {12102, 15022, 3}, {12102, 17504, 15640}, {12102, 35018, 548}, {12103, 15712, 3528}, {12103, 16239, 15712}, {12103, 44904, 16239}, {12106, 18570, 186}, {12108, 46853, 10299}, {12117, 41134, 33813}, {12134, 12241, 44076}, {12233, 39571, 11432}, {12290, 15024, 10574}, {12571, 19925, 946}, {12599, 12856, 12872}, {12600, 12919, 13126}, {12702, 38066, 3654}, {12811, 15682, 5055}, {12811, 41987, 8703}, {12811, 44580, 41986}, {12811, 44903, 5071}, {12811, 45762, 549}, {12812, 15704, 3525}, {12812, 45759, 2}, {12816, 16963, 16965}, {12817, 16962, 16964}, {12900, 16163, 38794}, {13154, 33524, 3}, {13160, 18569, 3}, {13406, 18377, 26}, {13413, 18570, 31236}, {13413, 46031, 5}, {13473, 44911, 44246}, {13482, 43572, 34148}, {13482, 43598, 43572}, {13491, 32137, 12290}, {13595, 31236, 37453}, {13630, 15026, 15043}, {13630, 18874, 15026}, {13665, 13785, 6}, {13665, 18509, 45376}, {13665, 18511, 18440}, {13665, 45375, 39899}, {13665, 45438, 26346}, {13674, 13794, 6776}, {13681, 13801, 9771}, {13687, 13692, 13713}, {13743, 37251, 3}, {13785, 18509, 18440}, {13785, 18511, 45375}, {13785, 45376, 39899}, {13785, 45439, 26336}, {13807, 13812, 13836}, {13860, 13862, 37071}, {13860, 35930, 3}, {13862, 40250, 3}, {14001, 32972, 8361}, {14033, 32984, 2}, {14035, 32961, 7807}, {14041, 33013, 2}, {14041, 44543, 11287}, {14042, 32967, 3552}, {14042, 33011, 33233}, {14044, 33002, 33234}, {14062, 16921, 6655}, {14062, 33024, 11285}, {14063, 16924, 6656}, {14063, 32995, 16924}, {14064, 32971, 7819}, {14068, 16925, 19687}, {14068, 32963, 16925}, {14069, 33199, 33186}, {14070, 18564, 3534}, {14093, 14269, 35402}, {14093, 15684, 1657}, {14093, 15694, 15693}, {14093, 15700, 3}, {14093, 15723, 549}, {14093, 38335, 15684}, {14120, 36169, 11799}, {14130, 18369, 45735}, {14130, 45735, 3}, {14269, 15681, 15687}, {14269, 15684, 35403}, {14269, 15694, 3543}, {14269, 15695, 3853}, {14269, 15701, 3627}, {14269, 15703, 15684}, {14269, 19709, 3}, {14269, 41106, 5072}, {14269, 46219, 33699}, {14583, 39170, 14993}, {14643, 36518, 15046}, {14666, 38796, 9172}, {14709, 14710, 10226}, {14709, 20479, 3}, {14710, 20478, 3}, {14782, 14783, 3091}, {14784, 14785, 631}, {14787, 18404, 34664}, {14788, 37444, 7393}, {14789, 46450, 7485}, {14813, 14814, 3523}, {14830, 38224, 6055}, {14845, 16194, 9730}, {14865, 22467, 11250}, {14869, 15711, 41983}, {14869, 17538, 3}, {14869, 33923, 15717}, {14890, 15687, 35414}, {14891, 14893, 3627}, {14891, 15682, 15681}, {14891, 15689, 14093}, {14891, 15691, 8703}, {14891, 44903, 376}, {14891, 45762, 15687}, {14892, 14893, 14891}, {14892, 15682, 5070}, {14892, 15685, 1656}, {14892, 15691, 547}, {14892, 41988, 549}, {14892, 45762, 15691}, {14893, 15683, 35401}, {14893, 15684, 38335}, {14893, 15687, 4}, {14893, 15694, 382}, {14893, 19709, 15700}, {14893, 41987, 45762}, {14893, 45762, 3861}, {14940, 34797, 32534}, {15022, 15640, 15709}, {15022, 17578, 3523}, {15038, 15087, 6}, {15046, 32609, 14643}, {15068, 39522, 1993}, {15154, 15155, 37924}, {15335, 20030, 27868}, {15640, 15709, 548}, {15640, 19708, 19710}, {15646, 35473, 3}, {15670, 28460, 28443}, {15670, 31156, 16418}, {15681, 15685, 44903}, {15681, 15687, 382}, {15681, 15694, 3}, {15681, 15700, 15688}, {15681, 15703, 549}, {15681, 19709, 547}, {15681, 35401, 35404}, {15681, 35403, 3543}, {15682, 15699, 3}, {15682, 15701, 3534}, {15682, 15721, 15691}, {15682, 41990, 19709}, {15683, 15686, 15681}, {15683, 15692, 376}, {15683, 15702, 34200}, {15683, 35401, 382}, {15683, 35404, 35400}, {15684, 15687, 35434}, {15684, 15694, 376}, {15684, 15701, 15691}, {15684, 15703, 3}, {15684, 15718, 15686}, {15684, 15723, 15688}, {15684, 19709, 15703}, {15684, 35403, 3830}, {15685, 15689, 20}, {15685, 15701, 8703}, {15685, 15721, 14093}, {15686, 15687, 35404}, {15686, 15702, 3}, {15686, 15718, 14093}, {15686, 34200, 376}, {15687, 15691, 15682}, {15687, 15692, 35400}, {15687, 15699, 15691}, {15687, 15703, 3534}, {15687, 15723, 1657}, {15687, 19709, 15723}, {15687, 35403, 38335}, {15687, 35434, 35402}, {15687, 38071, 11737}, {15688, 15693, 3}, {15689, 15699, 5054}, {15689, 15701, 3}, {15689, 15703, 15721}, {15689, 19709, 3090}, {15689, 41990, 5072}, {15690, 15708, 3}, {15690, 15713, 15698}, {15690, 45759, 3522}, {15691, 15694, 15716}, {15691, 15699, 15721}, {15691, 15721, 3}, {15691, 41987, 41988}, {15691, 41988, 3627}, {15691, 44903, 20}, {15691, 45762, 12101}, {15692, 15702, 549}, {15692, 15718, 15700}, {15692, 34200, 3}, {15692, 35400, 3534}, {15692, 35404, 15681}, {15694, 15703, 2}, {15694, 15723, 3526}, {15694, 19709, 5071}, {15694, 35401, 15683}, {15695, 15707, 3}, {15695, 15714, 14093}, {15695, 46219, 15707}, {15696, 15720, 3}, {15697, 15705, 3528}, {15697, 15719, 15759}, {15697, 46333, 12103}, {15698, 15708, 3530}, {15698, 15713, 15722}, {15698, 45759, 3}, {15699, 15716, 3526}, {15699, 17504, 45758}, {15699, 23046, 41987}, {15699, 41990, 12811}, {15699, 44903, 549}, {15699, 45762, 3543}, {15700, 15703, 3526}, {15700, 15723, 5054}, {15701, 15716, 15693}, {15701, 19709, 10109}, {15701, 44903, 14093}, {15702, 34200, 15718}, {15702, 35408, 15695}, {15703, 15718, 10124}, {15703, 35400, 15692}, {15703, 35402, 15696}, {15703, 35403, 15681}, {15703, 35434, 15688}, {15704, 15713, 45759}, {15704, 45759, 15690}, {15705, 15719, 15712}, {15705, 15759, 3}, {15706, 15720, 15693}, {15707, 15715, 15700}, {15707, 17800, 15695}, {15707, 19709, 5056}, {15708, 33703, 15690}, {15709, 17578, 19710}, {15709, 19708, 3523}, {15709, 19710, 3}, {15710, 15711, 3}, {15710, 15717, 15711}, {15710, 46936, 11540}, {15711, 33923, 15710}, {15711, 41983, 15717}, {15712, 15759, 15705}, {15712, 16239, 10303}, {15712, 45757, 2}, {15713, 45759, 3530}, {15714, 15715, 3}, {15716, 15723, 15721}, {15716, 38335, 5073}, {15717, 17538, 33923}, {15717, 33923, 3}, {15717, 46936, 3533}, {15719, 41989, 5055}, {15719, 46333, 3528}, {15721, 35401, 35410}, {15721, 41987, 35403}, {15721, 41988, 15684}, {15723, 35434, 3534}, {15759, 41989, 45757}, {15759, 45757, 16239}, {15760, 18531, 3}, {15760, 31723, 12083}, {15761, 18569, 7387}, {15765, 18585, 4}, {15765, 36457, 36437}, {15765, 42280, 2043}, {15980, 37348, 3}, {16041, 32983, 2}, {16043, 32982, 8357}, {16044, 32993, 5025}, {16045, 33180, 8364}, {16045, 33292, 33180}, {16179, 16180, 1316}, {16239, 41989, 44904}, {16241, 19107, 36967}, {16241, 36967, 11480}, {16242, 19106, 36968}, {16242, 36968, 11481}, {16252, 41362, 9833}, {16267, 41108, 61}, {16267, 41121, 42156}, {16267, 42814, 41108}, {16268, 41107, 62}, {16268, 41122, 42153}, {16268, 42813, 41107}, {16626, 22832, 16629}, {16627, 22831, 16628}, {16644, 37832, 42132}, {16644, 42093, 42154}, {16644, 42098, 37832}, {16644, 42154, 15}, {16645, 37835, 42129}, {16645, 42094, 42155}, {16645, 42095, 37835}, {16645, 42155, 16}, {16772, 42164, 42150}, {16773, 42165, 42151}, {16808, 16809, 6}, {16808, 42125, 42815}, {16808, 42128, 42962}, {16809, 42125, 42963}, {16809, 42128, 42816}, {16853, 44284, 5054}, {16868, 18559, 37943}, {16868, 18566, 37922}, {16898, 33283, 8363}, {16922, 33256, 33004}, {16923, 19696, 33014}, {16924, 33251, 2}, {16925, 32963, 33249}, {16962, 16964, 41101}, {16962, 41101, 22236}, {16963, 16965, 41100}, {16963, 41100, 22238}, {16966, 19107, 11480}, {16966, 36967, 16241}, {16966, 43227, 19107}, {16967, 19106, 11481}, {16967, 36968, 16242}, {16967, 43226, 19106}, {17504, 19708, 3}, {17504, 19710, 548}, {17504, 35018, 2}, {17504, 45761, 15692}, {17532, 17556, 2}, {17532, 44217, 6175}, {17538, 46936, 14869}, {17549, 28461, 6914}, {17556, 17577, 17528}, {17566, 37256, 19537}, {17567, 37435, 17563}, {17577, 37375, 2}, {17578, 35018, 3}, {17685, 33045, 33036}, {17800, 46219, 3}, {17928, 35502, 12084}, {18281, 23410, 6642}, {18281, 38323, 3}, {18324, 18561, 3534}, {18325, 32216, 3534}, {18350, 37472, 1147}, {18357, 22791, 8}, {18358, 21850, 69}, {18369, 45735, 7506}, {18377, 18378, 382}, {18377, 44958, 18378}, {18388, 18390, 6}, {18388, 18474, 18445}, {18390, 18418, 113}, {18390, 18474, 265}, {18391, 39542, 1159}, {18403, 46030, 7545}, {18424, 43457, 6}, {18439, 37481, 185}, {18440, 45375, 26346}, {18440, 45376, 26336}, {18445, 18451, 399}, {18451, 18474, 18440}, {18480, 18493, 18526}, {18483, 38076, 3654}, {18488, 43817, 20299}, {18493, 18525, 1}, {18504, 43865, 9704}, {18509, 18511, 3818}, {18509, 19130, 18512}, {18510, 18512, 6}, {18510, 26336, 39899}, {18511, 19130, 18510}, {18512, 26346, 39899}, {18527, 18529, 18525}, {18528, 18530, 18526}, {18531, 18535, 382}, {18531, 31723, 7574}, {18534, 18536, 1657}, {18534, 31723, 382}, {18535, 18537, 18536}, {18536, 37347, 3526}, {18538, 23259, 6199}, {18538, 42215, 3068}, {18542, 18544, 18525}, {18543, 18545, 18526}, {18559, 18566, 3830}, {18559, 37943, 24}, {18560, 37119, 3516}, {18565, 37119, 35498}, {18566, 37922, 382}, {18566, 44270, 18559}, {18568, 44275, 7576}, {18572, 44961, 23}, {18581, 42106, 5318}, {18582, 42103, 5321}, {18583, 39884, 6776}, {18584, 31489, 7603}, {18584, 44526, 31489}, {18585, 36439, 36455}, {18585, 42281, 2044}, {18586, 18587, 3}, {18762, 23249, 6395}, {18762, 42216, 3069}, {18907, 43291, 7735}, {19130, 22796, 14}, {19130, 22797, 13}, {19130, 45438, 13785}, {19130, 45439, 13665}, {19546, 37331, 19550}, {19550, 37331, 3}, {19686, 33246, 1003}, {19687, 33249, 16925}, {19697, 33186, 14069}, {19709, 35403, 15694}, {19709, 38335, 3526}, {19710, 35018, 15709}, {20030, 27868, 28237}, {20192, 45303, 44569}, {20299, 22802, 64}, {20423, 22491, 20426}, {20423, 22492, 20425}, {20425, 20426, 1351}, {20957, 25641, 38580}, {21308, 39504, 1656}, {21475, 21476, 11340}, {21735, 41984, 15701}, {21735, 44682, 3}, {21735, 46935, 140}, {21869, 21898, 33062}, {22493, 22494, 15533}, {22495, 22496, 15534}, {22605, 22606, 6290}, {22615, 42582, 6449}, {22634, 22635, 6289}, {22644, 42583, 6450}, {22753, 22758, 22765}, {22796, 22797, 3818}, {22804, 43865, 18379}, {22833, 22955, 22979}, {23046, 41106, 3}, {23046, 41990, 3627}, {23251, 42262, 372}, {23261, 42265, 371}, {23302, 42085, 42116}, {23302, 42101, 42085}, {23302, 42940, 42942}, {23302, 43104, 42911}, {23303, 42086, 42115}, {23303, 42102, 42086}, {23303, 42941, 42943}, {23303, 43101, 42910}, {23323, 46030, 4}, {24828, 24833, 24844}, {26326, 26386, 45369}, {26327, 26410, 45370}, {26328, 26466, 45610}, {26329, 26467, 45609}, {26332, 26470, 10680}, {26333, 37820, 10738}, {26336, 26346, 18440}, {27124, 27177, 2}, {27406, 27536, 33305}, {28033, 28103, 33302}, {28067, 28140, 33306}, {28263, 28382, 859}, {28431, 28721, 441}, {28447, 28448, 37955}, {29413, 29465, 46497}, {29521, 29727, 46575}, {29565, 29780, 46574}, {29998, 30070, 46514}, {30308, 38021, 9955}, {30771, 31726, 1657}, {30775, 40132, 2}, {31133, 31152, 34609}, {31133, 31180, 31181}, {31140, 31141, 3679}, {31159, 31160, 3679}, {31236, 35480, 18570}, {31489, 44526, 574}, {31664, 40894, 3}, {31665, 40895, 3}, {31693, 31694, 2}, {31693, 37351, 37352}, {31693, 37352, 37170}, {31694, 37351, 37171}, {31694, 37352, 37351}, {31723, 37347, 3}, {31824, 32156, 34792}, {31841, 40100, 38584}, {31861, 44263, 44438}, {32006, 32828, 7767}, {32369, 32379, 32402}, {32460, 46859, 2}, {32461, 46858, 2}, {32488, 33269, 7388}, {32489, 33269, 7389}, {32785, 42225, 6445}, {32786, 42226, 6446}, {32789, 42275, 6451}, {32790, 42276, 6452}, {32951, 33198, 33185}, {32961, 33255, 2}, {32962, 32996, 7791}, {32962, 33278, 2}, {32963, 33187, 2}, {32964, 33280, 33250}, {32965, 33279, 19695}, {32966, 33018, 384}, {32968, 32974, 8362}, {32971, 32980, 14064}, {32972, 32979, 14001}, {32974, 32991, 32968}, {32975, 33238, 32990}, {32976, 33239, 32989}, {32981, 32988, 32970}, {32982, 32987, 16043}, {32992, 33229, 7791}, {32994, 33264, 2}, {32997, 33009, 33001}, {32998, 33280, 32964}, {32999, 33279, 32965}, {33002, 33019, 7824}, {33004, 33010, 16922}, {33005, 33017, 2}, {33006, 33016, 2}, {33008, 33192, 8353}, {33016, 33228, 11286}, {33028, 33057, 33034}, {33029, 33056, 33033}, {33030, 33046, 33035}, {33184, 37350, 16041}, {33215, 33272, 8354}, {33216, 35927, 27088}, {33237, 33240, 2}, {33244, 33270, 33000}, {33264, 33273, 35955}, {33332, 44279, 35502}, {33532, 40916, 3}, {33923, 35417, 14893}, {33923, 41983, 15711}, {34200, 35404, 15683}, {34417, 37638, 21970}, {34484, 35500, 7488}, {34551, 34552, 3530}, {34559, 34562, 3850}, {35255, 42225, 9541}, {35382, 35400, 3526}, {35400, 35401, 3543}, {35401, 35404, 35434}, {35403, 35434, 5076}, {35404, 35408, 3146}, {35481, 37118, 11410}, {35481, 44452, 3}, {35493, 37968, 3}, {35500, 37440, 3}, {35732, 42282, 3525}, {35738, 42282, 3}, {35800, 35803, 3297}, {35801, 35802, 3298}, {35822, 35823, 6}, {35948, 35949, 8598}, {36169, 36184, 36193}, {36436, 36439, 36438}, {36436, 36454, 2}, {36436, 36455, 18587}, {36437, 36454, 18586}, {36437, 36457, 3}, {36438, 36456, 2}, {36439, 36455, 3}, {36439, 36457, 2}, {36445, 36463, 3839}, {36445, 41106, 2043}, {36448, 36466, 19709}, {36452, 36470, 16645}, {36453, 36469, 16644}, {36454, 36457, 36456}, {36463, 41106, 2044}, {36490, 36728, 36732}, {36526, 36530, 36527}, {36526, 36654, 3}, {36530, 36716, 3}, {36551, 36727, 36731}, {36557, 36561, 36558}, {36652, 36661, 3}, {36652, 36687, 5}, {36660, 36673, 5}, {36661, 36686, 4}, {36683, 36694, 5}, {36686, 36687, 3}, {36709, 37342, 3}, {36714, 37343, 3}, {36722, 36730, 36720}, {36969, 37835, 16}, {36969, 42155, 42127}, {36969, 42918, 37835}, {36970, 37832, 15}, {36970, 42154, 42126}, {36970, 42919, 37832}, {37077, 44263, 3830}, {37144, 37145, 2049}, {37162, 37433, 6903}, {37170, 37171, 2}, {37172, 37173, 439}, {37196, 37453, 186}, {37230, 37234, 382}, {37332, 37333, 3}, {37340, 37341, 14001}, {37349, 37353, 22}, {37351, 37352, 2}, {37353, 44262, 5055}, {37439, 43957, 2}, {37458, 37942, 6353}, {37460, 38282, 37935}, {37517, 43150, 40341}, {37638, 40909, 3581}, {37640, 42142, 43403}, {37640, 43403, 11542}, {37641, 42139, 43404}, {37641, 43404, 11543}, {37984, 44920, 15760}, {38071, 41099, 3}, {38071, 41991, 3860}, {38072, 41042, 42975}, {38072, 41043, 42974}, {38141, 38142, 38034}, {39504, 44263, 378}, {39530, 44924, 30258}, {39565, 39590, 32}, {40250, 40277, 3845}, {40647, 46849, 11381}, {40693, 42159, 398}, {40693, 42921, 42166}, {40694, 42162, 397}, {40694, 42920, 42163}, {41016, 41017, 4}, {41099, 41106, 2}, {41099, 41990, 15685}, {41107, 42813, 42973}, {41107, 42973, 5340}, {41108, 42814, 42972}, {41108, 42972, 5339}, {41112, 41120, 43229}, {41113, 41119, 43228}, {41121, 42972, 61}, {41122, 42973, 62}, {41748, 41750, 15534}, {41984, 44245, 44580}, {41984, 44580, 140}, {41987, 41990, 3090}, {41989, 44904, 5}, {41990, 44903, 11737}, {41990, 45762, 5071}, {42085, 42114, 23302}, {42086, 42111, 23303}, {42089, 42105, 42088}, {42092, 42104, 42087}, {42093, 42098, 15}, {42093, 42154, 36970}, {42093, 42919, 42132}, {42094, 42095, 16}, {42094, 42155, 36969}, {42094, 42918, 42129}, {42095, 42155, 16645}, {42096, 43029, 10645}, {42097, 43028, 10646}, {42098, 42154, 16644}, {42101, 42114, 42116}, {42101, 42942, 42940}, {42101, 43104, 42942}, {42102, 42111, 42115}, {42102, 42943, 42941}, {42102, 43101, 42943}, {42103, 42110, 11485}, {42106, 42107, 11486}, {42111, 42115, 42951}, {42111, 42910, 43101}, {42114, 42116, 42950}, {42114, 42911, 43104}, {42117, 42146, 11488}, {42118, 42143, 11489}, {42121, 42137, 42120}, {42124, 42136, 42119}, {42125, 42128, 6}, {42125, 42974, 42975}, {42125, 42975, 14}, {42126, 42132, 15}, {42127, 42129, 16}, {42128, 42974, 13}, {42128, 42975, 42974}, {42147, 42598, 42152}, {42148, 42599, 42149}, {42149, 42161, 42148}, {42152, 42160, 42147}, {42159, 42921, 40693}, {42162, 42920, 40694}, {42258, 42582, 5418}, {42259, 42583, 5420}, {42268, 42273, 3311}, {42269, 42270, 3312}, {42274, 42284, 6398}, {42277, 42283, 6221}, {42278, 42279, 1656}, {42280, 42281, 3091}, {42431, 42489, 5237}, {42432, 42488, 5238}, {42474, 42626, 43029}, {42475, 42625, 43028}, {42568, 43339, 6484}, {42569, 43338, 6485}, {42789, 42790, 35473}, {42791, 43107, 42945}, {42792, 43100, 42944}, {42807, 42808, 3850}, {42815, 42816, 6}, {42815, 42962, 42128}, {42815, 42963, 42816}, {42816, 42962, 42815}, {42816, 42963, 42125}, {42830, 42853, 42831}, {42894, 42895, 6}, {42894, 43030, 43031}, {42895, 43031, 43030}, {42910, 42941, 42115}, {42911, 42940, 42116}, {42936, 43632, 5352}, {42937, 43633, 5351}, {42940, 42942, 42085}, {42941, 42943, 42086}, {42942, 43104, 23302}, {42943, 43101, 23303}, {42962, 42963, 6}, {42974, 42975, 6}, {43030, 43031, 6}, {43193, 43239, 5237}, {43194, 43238, 5238}, {43209, 43255, 6456}, {43210, 43254, 6455}, {43211, 43257, 6407}, {43212, 43256, 6408}, {43821, 43831, 43845}, {43893, 46450, 37949}, {43957, 44454, 3534}, {44211, 44218, 549}, {44212, 44218, 44214}, {44236, 44452, 37118}, {44245, 44682, 21735}, {44276, 44440, 18325}, {44288, 46029, 22}, {44441, 44804, 1597}, {44580, 44682, 3524}, {45375, 45376, 18440}, {45438, 45439, 3818}, {45544, 45554, 45578}, {45545, 45555, 45579}, {45630, 45631, 18480}, {45924, 45926, 45923}, {46470, 46471, 378}
Notes¶
As a point on the Euler line, X381 has Shinagawa coefficients \((1,3)\).
Let A' be the reflection of X3 in A, and define B’and C' cyclically. Let A″ be the reflection of X3 in BC, and define B″ and C″ cyclically. The lines A'A″, B'B″, C'C″ concur in X381.
Let Pa be the parabola with focus A and directrix BC. Let La be the polar of X3 wrt Pa. Define Lb and Lc cyclically. Let A' = Lb∩Lc, B' = Lc∩La, C' = La∩Lb. The symmedian point of triangle A'B'C' is X381. Analogously, let La be the trilinear polar of A wrt BCX3, and define Lb and Lc cyclically. Let A'=Lb∩Lc, B'=Lc∩La, C'=La∩Lb. Equivalently, A'B'C' is the cevian triangle of X3 wrt the cevian triangle of X3. Also, let A″ be the reflection of A' in BC, and define B″ and C″ cyclically. The lines AA″, BB″, CC″ concur in X381. Finally, let A' be the orthocenter of BCX6, and define B' and C' cyclically; then X381 is the centroid of A'B'C'. (Randy Hutson, September 5, 2015)
Let Sa be the similitude center of the orthocentroidal triangle and the A-altimedial triangle. Define Sb and Sc cyclically. The lines ASa, BSb, CSc concur in X381. (Randy Hutson, December 10, 2016)
Let A1B1C1 and A2B2C2 be the 1st and 2nd Ehrmann circumscribing triangles. Let A' be the crosspoint of A1 and A2, and define B', C' cyclically. The lines AA', BB', CC' concur in X381. (Randy Hutson, June 27, 2018)