Fermat.html Mathematician annotations

Annotation Diff - comparing Mathematician annotations

	Document	Annotation Set
Key	Fermat-key	null
Response	Fermat.html	null

Recall: 0.9474
Precision: 1
F-measure: 0.973

Correct matches: 144
Partially Correct matches: 0
Missing: 8
False positives: 0

Start	End	Key	Features		Start	End	Response	Features
9127	9133	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	9127	9133	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5835	5841	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	5835	5841	Pascal	{rule=mathematicianRule}
7261	7270	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	7261	7270	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
8890	8895	Wiles	{rule=mathematicianRule, matches=[6266, 6267]}	=	8890	8895	Wiles	{rule=mathematicianRule, matches=[21476, 21475]}
4997	5003	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	4997	5003	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12251	12257	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12251	12257	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12660	12666	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12660	12666	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
0	6	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	0	6	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2813	2820	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	2813	2820	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
12835	12842	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	12835	12842	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
1267	1283	Pierre de Fermat	{rule=mathematicianRule, matches=[6172, 6180]}	=	1267	1283	Pierre de Fermat	{rule=mathematicianRule, matches=[21389, 21381]}
11873	11882	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	11873	11882	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
7114	7120	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7114	7120	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
10840	10849	Brouncker	{rule=mathematicianRule}	=	10840	10849	Brouncker	{rule=mathematicianRule, matches=[21493, 21494]}
1487	1493	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	1487	1493	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
3193	3201	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	3193	3201	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
11908	11914	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11908	11914	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
10829	10835	Wallis	{rule=mathematicianRule}	=	10829	10835	Wallis	{rule=mathematicianRule}
7169	7175	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7169	7175	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2626	2633	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	2626	2633	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
10513	10519	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	10513	10519	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12823	12830	Huygens	{rule=mathematicianRule, matches=[6302, 6305, 6303, 6307]}	=	12823	12830	Huygens	{rule=mathematicianRule, matches=[21516, 21512, 21514, 21511]}
12581	12588	Huygens	{rule=mathematicianRule, matches=[6302, 6305, 6303, 6307]}	=	12581	12588	Huygens	{rule=mathematicianRule, matches=[21516, 21512, 21514, 21511]}
6641	6650	Desargues	{rule=mathematicianRule}	=	6641	6650	Desargues	{rule=mathematicianRule}
5913	5921	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	5913	5921	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
6385	6394	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6385	6394	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
11609	11615	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11609	11615	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8045	8051	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8045	8051	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2760	2767	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	2760	2767	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
8795	8800	Wiles	{rule=mathematicianRule, matches=[6266, 6267]}	=	8795	8800	Wiles	{rule=mathematicianRule, matches=[21476, 21475]}
9827	9834	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	9827	9834	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
11752	11761	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	11752	11761	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
6278	6284	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	6278	6284	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9906	9912	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	9906	9912	Pascal	{rule=mathematicianRule}
11839	11845	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11839	11845	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6655	6664	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6655	6664	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
8304	8314	Diophantus	{rule=mathematicianRule, matches=[6262, 6259]}	=	8304	8314	Diophantus	{rule=mathematicianRule, matches=[21468, 21471]}
2044	2050	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2044	2050	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
1113	1119	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	1113	1119	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6492	6501	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6492	6501	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
8462	8468	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8462	8468	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
10187	10193	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	10187	10193	Pascal	{rule=mathematicianRule}
13463	13469	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	13463	13469	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9790	9796	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	9790	9796	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8530	8540	Diophantus	{rule=mathematicianRule, matches=[6262, 6259]}	=	8530	8540	Diophantus	{rule=mathematicianRule, matches=[21468, 21471]}
2615	2621	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2615	2621	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
11181	11187	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11181	11187	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8249	8255	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8249	8255	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
11281	11287	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11281	11287	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5564	5570	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5564	5570	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2748	2754	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2748	2754	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8012	8018	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8012	8018	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8613	8619	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8613	8619	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6162	6171	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6162	6171	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
10908	10917	Brouncker	{rule=mathematicianRule}	=	10908	10917	Brouncker	{rule=mathematicianRule, matches=[21493, 21494]}
6511	6517	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	6511	6517	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
1898	1904	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	1898	1904	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9589	9595	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	9589	9595	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
7959	7965	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7959	7965	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
13348	13354	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	13348	13354	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2606	2613	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	2606	2613	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
12384	12390	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12384	12390	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8705	8711	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8705	8711	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9760	9766	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	9760	9766	Pascal	{rule=mathematicianRule}
13598	13603	Euler	{rule=mathematicianRule}	=	13598	13603	Euler	{rule=mathematicianRule}
2271	2277	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2271	2277	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5730	5736	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5730	5736	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2438	2444	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2438	2444	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
10226	10232	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	10226	10232	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12219	12228	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	12219	12228	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
5814	5822	Roberval	{rule=mathematicianRule, matches=[6237, 6210, 6226]}	=	5814	5822	Roberval	{rule=mathematicianRule, matches=[21446, 21419, 21435]}
8280	8286	Bachet	{rule=mathematicianRule, matches=[6261, 6258]}	=	8280	8286	Bachet	{rule=mathematicianRule, matches=[21467, 21470]}
12209	12214	Snell	{rule=mathematicianRule}	=	12209	12214	Snell	{rule=mathematicianRule}
908	914	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	908	914	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
7392	7401	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	7392	7401	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
6210	6219	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6210	6219	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
2935	2942	Carcavi	{rule=mathematicianRule, matches=[6195, 6187, 6277, 6191, 6189, 6308, 6192]}	=	2935	2942	Carcavi	{rule=mathematicianRule, matches=[21404, 21401, 21396, 21486, 21517, 21398, 21400]}
2520	2529	Beaugrand	{rule=mathematicianRule, matches=[6224, 6175, 6186]}	=	2520	2529	Beaugrand	{rule=mathematicianRule, matches=[21433, 21395, 21384]}
14034	14040	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	14034	14040	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5974	5980	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5974	5980	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2961	2967	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	2961	2967	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5691	5700	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	5691	5700	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
4449	4455	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	4449	4455	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9227	9233	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	9227	9233	Pascal	{rule=mathematicianRule}
11340	11346	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11340	11346	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
3951	3957	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	3951	3957	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6050	6059	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6050	6059	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
7531	7537	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7531	7537	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9414	9420	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	9414	9420	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12913	12919	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12913	12919	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
4324	4330	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	4324	4330	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
14585	14591	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	14585	14591	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
931	937	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	931	937	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5437	5443	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5437	5443	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
4236	4244	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	4236	4244	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
9332	9338	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	9332	9338	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5524	5530	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5524	5530	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
4416	4424	Roberval	{rule=mathematicianRule, matches=[6237, 6210, 6226]}	=	4416	4424	Roberval	{rule=mathematicianRule, matches=[21446, 21419, 21435]}
11864	11870	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	11864	11870	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
746	755	Beaugrand	{rule=mathematicianRule, matches=[6224, 6175, 6186]}	=	746	755	Beaugrand	{rule=mathematicianRule, matches=[21433, 21395, 21384]}
9310	9323	Blaise Pascal	{rule=mathematicianRule, matches=[6269, 6271]}	=	9310	9323	Blaise Pascal	{rule=mathematicianRule, matches=[21478, 21480]}
5719	5728	Beaugrand	{rule=mathematicianRule, matches=[6224, 6175, 6186]}	=	5719	5728	Beaugrand	{rule=mathematicianRule, matches=[21433, 21395, 21384]}
4223	4229	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	4223	4229	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
7052	7058	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7052	7058	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8506	8512	Bachet	{rule=mathematicianRule, matches=[6261, 6258]}	=	8506	8512	Bachet	{rule=mathematicianRule, matches=[21467, 21470]}
7336	7342	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7336	7342	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12725	12732	Huygens	{rule=mathematicianRule, matches=[6302, 6305, 6303, 6307]}	=	12725	12732	Huygens	{rule=mathematicianRule, matches=[21516, 21512, 21514, 21511]}
3873	3879	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	3873	3879	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2900	2908	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	2900	2908	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
4728	4738	Apollonius	{rule=mathematicianRule, matches=[6202, 6174, 6214]}	=	4728	4738	Apollonius	{rule=mathematicianRule, matches=[21383, 21423, 21411]}
12737	12743	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12737	12743	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6729	6738	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	6729	6738	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
3480	3486	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	3480	3486	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12073	12082	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	12073	12082	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
8121	8127	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	8121	8127	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
3404	3414	Archimedes	{rule=mathematicianRule}	=	3404	3414	Archimedes	{rule=mathematicianRule}
10298	10304	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	10298	10304	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
12555	12562	Huygens	{rule=mathematicianRule, matches=[6302, 6305, 6303, 6307]}	=	12555	12562	Huygens	{rule=mathematicianRule, matches=[21516, 21512, 21514, 21511]}
5270	5276	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5270	5276	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6580	6586	Pascal	{rule=mathematicianRule, matches=[6238, 6270, 6275, 6279, 6278, 6227]}	=	6580	6586	Pascal	{rule=mathematicianRule}
7088	7097	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	7088	7097	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
641	651	Apollonius	{rule=mathematicianRule, matches=[6202, 6174, 6214]}	=	641	651	Apollonius	{rule=mathematicianRule, matches=[21383, 21423, 21411]}
5457	5463	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5457	5463	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
2876	2884	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	2876	2884	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
12514	12520	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	12514	12520	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
3025	3031	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	3025	3031	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
6559	6567	Roberval	{rule=mathematicianRule, matches=[6237, 6210, 6226]}	=	6559	6567	Roberval	{rule=mathematicianRule, matches=[21446, 21419, 21435]}
14302	14308	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	14302	14308	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
8	24	Pierre de Fermat	{rule=mathematicianRule, matches=[6172, 6180]}	=	8	24	Pierre de Fermat	{rule=mathematicianRule, matches=[21389, 21381]}
3085	3093	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	3085	3093	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
12015	12024	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	12015	12024	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
6692	6698	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	6692	6698	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
7467	7473	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	7467	7473	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
14178	14187	Descartes	{rule=mathematicianRule, matches=[6315, 6295, 6244, 6296, 6242, 6230, 6223, 6232, 6250, 6298, 6231, 6235, 6240, 6290, 6234, 6293, 6247]}	=	14178	14187	Descartes	{rule=mathematicianRule, matches=[21451, 21505, 21504, 21502, 21439, 21441, 21459, 21449, 21524, 21456, 21453, 21432, 21443, 21507, 21499, 21440, 21444]}
3130	3137	Galileo	{rule=mathematicianRule}	=	3130	3137	Galileo	{rule=mathematicianRule}
5369	5375	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5369	5375	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
4429	4437	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	4429	4437	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
7280	7288	Mersenne	{rule=mathematicianRule, matches=[6248, 6211, 6199, 6193, 6194, 6208, 6228, 6201]}	=	7280	7288	Mersenne	{rule=mathematicianRule, matches=[21403, 21408, 21457, 21420, 21437, 21410, 21402, 21417]}
3017	3023	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	3017	3023	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
5157	5163	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	5157	5163	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
3251	3261	Apollonius	{rule=mathematicianRule, matches=[6202, 6174, 6214]}	=	3251	3261	Apollonius	{rule=mathematicianRule, matches=[21383, 21423, 21411]}
13667	13673	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	13667	13673	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
4623	4629	Fermat	{rule=mathematicianRule, matches=[6213, 6313, 6216, 6197, 6218, 6251, 6241, 6316, 6198, 6301, 6220, 6217, 6281, 6256, 6204, 6306, 6205, 6249, 6243, 6207, 6292, 6221, 6272, 6219, 6177, 6317, 6209, 6309, 6273, 6252, 6206, 6288, 6212, 6196, 6229, 6314, 6176, 6280, 6185, 6225, 6184, 6264, 6300, 6310, 6253, 6274, 6182, 6236, 6263, 6254, 6190, 6222, 6287, 6257, 6286, 6188, 6276, 6311, 6260, 6178, 6183, 6291, 6233, 6255, 6289, 6282, 6246, 6294, 6181, 6245, 6171, 6304, 6299, 6215, 6268]}	=	4623	4629	Fermat	{rule=mathematicianRule, matches=[21426, 21458, 21481, 21397, 21425, 21515, 21469, 21460, 21428, 21406, 21525, 21427, 21491, 21482, 21483, 21452, 21393, 21523, 21380, 21463, 21438, 21407, 21500, 21490, 21489, 21485, 21522, 21390, 21418, 21455, 21496, 21526, 21445, 21450, 21509, 21387, 21414, 21392, 21424, 21497, 21519, 21498, 21421, 21510, 21462, 21454, 21391, 21429, 21464, 21442, 21413, 21495, 21477, 21416, 21520, 21394, 21422, 21415, 21461, 21518, 21405, 21508, 21473, 21434, 21385, 21472, 21501, 21513, 21465, 21431, 21399, 21466, 21430, 21503, 21386]}
9204	9217	Blaise Pascal	{rule=mathematicianRule, matches=[6269, 6271]}	=	9204	9217	Blaise Pascal	{rule=mathematicianRule, matches=[21478, 21480]}
5333	5350	Frenicle de Bessy	{}	!=
212	218	Pierre	{}	!=
5645	5662	Frenicle de Bessy	{}	!=
5496	5513	Frenicle de Bessy	{}	!=
1250	1263	Pierre Fermat	{}	!=
8777	8789	Andrew Wiles	{}	!=
113	126	Pierre Fermat	{}	!=
3619	3626	Vi?te's	{}	!=