Quelle  sanity4095.tst   Sprache: unbekannt

gap> START_TEST("sanity4095.tst");

#
# Disable warnings which depend on Conway Polynomial databases 
#
gap> iW := InfoLevel(InfoWarning);;
gap> SetInfoLevel(InfoWarning,0);

#
# Define a function to check the primitive groups of degree n
#
gap> ReadPackage("primgrp", "tst/testutils.g");
true
gap> checkdegree(2);
gap> checkdegree(3);
gap> checkdegree(4);
gap> checkdegree(5);
gap> checkdegree(6);
gap> checkdegree(7);
gap> checkdegree(8);
gap> checkdegree(9);
gap> checkdegree(10);
gap> checkdegree(11);
gap> checkdegree(12);
gap> checkdegree(13);
gap> checkdegree(14);
gap> checkdegree(15);
gap> checkdegree(16);
gap> checkdegree(17);
gap> checkdegree(18);
gap> checkdegree(19);
gap> checkdegree(20);
gap> checkdegree(21);
gap> checkdegree(22);
gap> checkdegree(23);
gap> checkdegree(24);
gap> checkdegree(25);
gap> checkdegree(26);
gap> checkdegree(27);
gap> checkdegree(28);
gap> checkdegree(29);
gap> checkdegree(30);
gap> checkdegree(31);
gap> checkdegree(32);
gap> checkdegree(33);
gap> checkdegree(34);
gap> checkdegree(35);
gap> checkdegree(36);
gap> checkdegree(37);
gap> checkdegree(38);
gap> checkdegree(39);
gap> checkdegree(40);
gap> checkdegree(41);
gap> checkdegree(42);
gap> checkdegree(43);
gap> checkdegree(44);
gap> checkdegree(45);
gap> checkdegree(46);
gap> checkdegree(47);
gap> checkdegree(48);
gap> checkdegree(49);
gap> checkdegree(50);
gap> checkdegree(51);
gap> checkdegree(52);
gap> checkdegree(53);
gap> checkdegree(54);
gap> checkdegree(55);
gap> checkdegree(56);
gap> checkdegree(57);
gap> checkdegree(58);
gap> checkdegree(59);
gap> checkdegree(60);
gap> checkdegree(61);
gap> checkdegree(62);
gap> checkdegree(63);
gap> checkdegree(64);
gap> checkdegree(65);
gap> checkdegree(66);
gap> checkdegree(67);
gap> checkdegree(68);
gap> checkdegree(69);
gap> checkdegree(70);
gap> checkdegree(71);
gap> checkdegree(72);
gap> checkdegree(73);
gap> checkdegree(74);
gap> checkdegree(75);
gap> checkdegree(76);
gap> checkdegree(77);
gap> checkdegree(78);
gap> checkdegree(79);
gap> checkdegree(80);
gap> checkdegree(81);
gap> checkdegree(82);
gap> checkdegree(83);
gap> checkdegree(84);
gap> checkdegree(85);
gap> checkdegree(86);
gap> checkdegree(87);
gap> checkdegree(88);
gap> checkdegree(89);
gap> checkdegree(90);
gap> checkdegree(91);
gap> checkdegree(92);
gap> checkdegree(93);
gap> checkdegree(94);
gap> checkdegree(95);
gap> checkdegree(96);
gap> checkdegree(97);
gap> checkdegree(98);
gap> checkdegree(99);
gap> checkdegree(100);
gap> checkdegree(101);
gap> checkdegree(102);
gap> checkdegree(103);
gap> checkdegree(104);
gap> checkdegree(105);
gap> checkdegree(106);
gap> checkdegree(107);
gap> checkdegree(108);
gap> checkdegree(109);
gap> checkdegree(110);
gap> checkdegree(111);
gap> checkdegree(112);
gap> checkdegree(113);
gap> checkdegree(114);
gap> checkdegree(115);
gap> checkdegree(116);
gap> checkdegree(117);
gap> checkdegree(118);
gap> checkdegree(119);
gap> checkdegree(120);
gap> checkdegree(121);
gap> checkdegree(122);
gap> checkdegree(123);
gap> checkdegree(124);
gap> checkdegree(125);
gap> checkdegree(126);
gap> checkdegree(127);
gap> checkdegree(128);
gap> checkdegree(129);
gap> checkdegree(130);
gap> checkdegree(131);
gap> checkdegree(132);
gap> checkdegree(133);
gap> checkdegree(134);
gap> checkdegree(135);
gap> checkdegree(136);
gap> checkdegree(137);
gap> checkdegree(138);
gap> checkdegree(139);
gap> checkdegree(140);
gap> checkdegree(141);
gap> checkdegree(142);
gap> checkdegree(143);
gap> checkdegree(144);
gap> checkdegree(145);
gap> checkdegree(146);
gap> checkdegree(147);
gap> checkdegree(148);
gap> checkdegree(149);
gap> checkdegree(150);
gap> checkdegree(151);
gap> checkdegree(152);
gap> checkdegree(153);
gap> checkdegree(154);
gap> checkdegree(155);
gap> checkdegree(156);
gap> checkdegree(157);
gap> checkdegree(158);
gap> checkdegree(159);
gap> checkdegree(160);
gap> checkdegree(161);
gap> checkdegree(162);
gap> checkdegree(163);
gap> checkdegree(164);
gap> checkdegree(165);
gap> checkdegree(166);
gap> checkdegree(167);
gap> checkdegree(168);
gap> checkdegree(169);
gap> checkdegree(170);
gap> checkdegree(171);
gap> checkdegree(172);
gap> checkdegree(173);
gap> checkdegree(174);
gap> checkdegree(175);
gap> checkdegree(176);
gap> checkdegree(177);
gap> checkdegree(178);
gap> checkdegree(179);
gap> checkdegree(180);
gap> checkdegree(181);
gap> checkdegree(182);
gap> checkdegree(183);
gap> checkdegree(184);
gap> checkdegree(185);
gap> checkdegree(186);
gap> checkdegree(187);
gap> checkdegree(188);
gap> checkdegree(189);
gap> checkdegree(190);
gap> checkdegree(191);
gap> checkdegree(192);
gap> checkdegree(193);
gap> checkdegree(194);
gap> checkdegree(195);
gap> checkdegree(196);
gap> checkdegree(197);
gap> checkdegree(198);
gap> checkdegree(199);
gap> checkdegree(200);
gap> checkdegree(201);
gap> checkdegree(202);
gap> checkdegree(203);
gap> checkdegree(204);
gap> checkdegree(205);
gap> checkdegree(206);
gap> checkdegree(207);
gap> checkdegree(208);
gap> checkdegree(209);
gap> checkdegree(210);
gap> checkdegree(211);
gap> checkdegree(212);
gap> checkdegree(213);
gap> checkdegree(214);
gap> checkdegree(215);
gap> checkdegree(216);
gap> checkdegree(217);
gap> checkdegree(218);
gap> checkdegree(219);
gap> checkdegree(220);
gap> checkdegree(221);
gap> checkdegree(222);
gap> checkdegree(223);
gap> checkdegree(224);
gap> checkdegree(225);
gap> checkdegree(226);
gap> checkdegree(227);
gap> checkdegree(228);
gap> checkdegree(229);
gap> checkdegree(230);
gap> checkdegree(231);
gap> checkdegree(232);
gap> checkdegree(233);
gap> checkdegree(234);
gap> checkdegree(235);
gap> checkdegree(236);
gap> checkdegree(237);
gap> checkdegree(238);
gap> checkdegree(239);
gap> checkdegree(240);
gap> checkdegree(241);
gap> checkdegree(242);
gap> checkdegree(243);
gap> checkdegree(244);
gap> checkdegree(245);
gap> checkdegree(246);
gap> checkdegree(247);
gap> checkdegree(248);
gap> checkdegree(249);
gap> checkdegree(250);
gap> checkdegree(251);
gap> checkdegree(252);
gap> checkdegree(253);
gap> checkdegree(254);
gap> checkdegree(255);
gap> checkdegree(256);
gap> checkdegree(257);
gap> checkdegree(258);
gap> checkdegree(259);
gap> checkdegree(260);
gap> checkdegree(261);
gap> checkdegree(262);
gap> checkdegree(263);
gap> checkdegree(264);
gap> checkdegree(265);
gap> checkdegree(266);
gap> checkdegree(267);
gap> checkdegree(268);
gap> checkdegree(269);
gap> checkdegree(270);
gap> checkdegree(271);
gap> checkdegree(272);
gap> checkdegree(273);
gap> checkdegree(274);
gap> checkdegree(275);
gap> checkdegree(276);
gap> checkdegree(277);
gap> checkdegree(278);
gap> checkdegree(279);
gap> checkdegree(280);
gap> checkdegree(281);
gap> checkdegree(282);
gap> checkdegree(283);
gap> checkdegree(284);
gap> checkdegree(285);
gap> checkdegree(286);
gap> checkdegree(287);
gap> checkdegree(288);
gap> checkdegree(289);
gap> checkdegree(290);
gap> checkdegree(291);
gap> checkdegree(292);
gap> checkdegree(293);
gap> checkdegree(294);
gap> checkdegree(295);
gap> checkdegree(296);
gap> checkdegree(297);
gap> checkdegree(298);
gap> checkdegree(299);
gap> checkdegree(300);
gap> checkdegree(301);
gap> checkdegree(302);
gap> checkdegree(303);
gap> checkdegree(304);
gap> checkdegree(305);
gap> checkdegree(306);
gap> checkdegree(307);
gap> checkdegree(308);
gap> checkdegree(309);
gap> checkdegree(310);
gap> checkdegree(311);
gap> checkdegree(312);
gap> checkdegree(313);
gap> checkdegree(314);
gap> checkdegree(315);
gap> checkdegree(316);
gap> checkdegree(317);
gap> checkdegree(318);
gap> checkdegree(319);
gap> checkdegree(320);
gap> checkdegree(321);
gap> checkdegree(322);
gap> checkdegree(323);
gap> checkdegree(324);
gap> checkdegree(325);
gap> checkdegree(326);
gap> checkdegree(327);
gap> checkdegree(328);
gap> checkdegree(329);
gap> checkdegree(330);
gap> checkdegree(331);
gap> checkdegree(332);
gap> checkdegree(333);
gap> checkdegree(334);
gap> checkdegree(335);
gap> checkdegree(336);
gap> checkdegree(337);
gap> checkdegree(338);
gap> checkdegree(339);
gap> checkdegree(340);
gap> checkdegree(341);
gap> checkdegree(342);
gap> checkdegree(343);
gap> checkdegree(344);
gap> checkdegree(345);
gap> checkdegree(346);
gap> checkdegree(347);
gap> checkdegree(348);
gap> checkdegree(349);
gap> checkdegree(350);
gap> checkdegree(351);
gap> checkdegree(352);
gap> checkdegree(353);
gap> checkdegree(354);
gap> checkdegree(355);
gap> checkdegree(356);
gap> checkdegree(357);
gap> checkdegree(358);
gap> checkdegree(359);
gap> checkdegree(360);
gap> checkdegree(361);
gap> checkdegree(362);
gap> checkdegree(363);
gap> checkdegree(364);
gap> checkdegree(365);
gap> checkdegree(366);
gap> checkdegree(367);
gap> checkdegree(368);
gap> checkdegree(369);
gap> checkdegree(370);
gap> checkdegree(371);
gap> checkdegree(372);
gap> checkdegree(373);
gap> checkdegree(374);
gap> checkdegree(375);
gap> checkdegree(376);
gap> checkdegree(377);
gap> checkdegree(378);
gap> checkdegree(379);
gap> checkdegree(380);
gap> checkdegree(381);
gap> checkdegree(382);
gap> checkdegree(383);
gap> checkdegree(384);
gap> checkdegree(385);
gap> checkdegree(386);
gap> checkdegree(387);
gap> checkdegree(388);
gap> checkdegree(389);
gap> checkdegree(390);
gap> checkdegree(391);
gap> checkdegree(392);
gap> checkdegree(393);
gap> checkdegree(394);
gap> checkdegree(395);
gap> checkdegree(396);
gap> checkdegree(397);
gap> checkdegree(398);
gap> checkdegree(399);
gap> checkdegree(400);
gap> checkdegree(401);
gap> checkdegree(402);
gap> checkdegree(403);
gap> checkdegree(404);
gap> checkdegree(405);
gap> checkdegree(406);
gap> checkdegree(407);
gap> checkdegree(408);
gap> checkdegree(409);
gap> checkdegree(410);
gap> checkdegree(411);
gap> checkdegree(412);
gap> checkdegree(413);
gap> checkdegree(414);
gap> checkdegree(415);
gap> checkdegree(416);
gap> checkdegree(417);
gap> checkdegree(418);
gap> checkdegree(419);
gap> checkdegree(420);
gap> checkdegree(421);
gap> checkdegree(422);
gap> checkdegree(423);
gap> checkdegree(424);
gap> checkdegree(425);
gap> checkdegree(426);
gap> checkdegree(427);
gap> checkdegree(428);
gap> checkdegree(429);
gap> checkdegree(430);
gap> checkdegree(431);
gap> checkdegree(432);
gap> checkdegree(433);
gap> checkdegree(434);
gap> checkdegree(435);
gap> checkdegree(436);
gap> checkdegree(437);
gap> checkdegree(438);
gap> checkdegree(439);
gap> checkdegree(440);
gap> checkdegree(441);
gap> checkdegree(442);
gap> checkdegree(443);
gap> checkdegree(444);
gap> checkdegree(445);
gap> checkdegree(446);
gap> checkdegree(447);
gap> checkdegree(448);
gap> checkdegree(449);
gap> checkdegree(450);
gap> checkdegree(451);
gap> checkdegree(452);
gap> checkdegree(453);
gap> checkdegree(454);
gap> checkdegree(455);
gap> checkdegree(456);
gap> checkdegree(457);
gap> checkdegree(458);
gap> checkdegree(459);
gap> checkdegree(460);
gap> checkdegree(461);
gap> checkdegree(462);
gap> checkdegree(463);
gap> checkdegree(464);
gap> checkdegree(465);
gap> checkdegree(466);
gap> checkdegree(467);
gap> checkdegree(468);
gap> checkdegree(469);
gap> checkdegree(470);
gap> checkdegree(471);
gap> checkdegree(472);
gap> checkdegree(473);
gap> checkdegree(474);
gap> checkdegree(475);
gap> checkdegree(476);
gap> checkdegree(477);
gap> checkdegree(478);
gap> checkdegree(479);
gap> checkdegree(480);
gap> checkdegree(481);
gap> checkdegree(482);
gap> checkdegree(483);
gap> checkdegree(484);
gap> checkdegree(485);
gap> checkdegree(486);
gap> checkdegree(487);
gap> checkdegree(488);
gap> checkdegree(489);
gap> checkdegree(490);
gap> checkdegree(491);
gap> checkdegree(492);
gap> checkdegree(493);
gap> checkdegree(494);
gap> checkdegree(495);
gap> checkdegree(496);
gap> checkdegree(497);
gap> checkdegree(498);
gap> checkdegree(499);
gap> checkdegree(500);
gap> checkdegree(501);
gap> checkdegree(502);
gap> checkdegree(503);
gap> checkdegree(504);
gap> checkdegree(505);
gap> checkdegree(506);
gap> checkdegree(507);
gap> checkdegree(508);
gap> checkdegree(509);
gap> checkdegree(510);
gap> checkdegree(511);
gap> checkdegree(512);
gap> checkdegree(513);
gap> checkdegree(514);
gap> checkdegree(515);
gap> checkdegree(516);
gap> checkdegree(517);
gap> checkdegree(518);
gap> checkdegree(519);
gap> checkdegree(520);
gap> checkdegree(521);
gap> checkdegree(522);
gap> checkdegree(523);
gap> checkdegree(524);
gap> checkdegree(525);
gap> checkdegree(526);
gap> checkdegree(527);
gap> checkdegree(528);
gap> checkdegree(529);
gap> checkdegree(530);
gap> checkdegree(531);
gap> checkdegree(532);
gap> checkdegree(533);
gap> checkdegree(534);
gap> checkdegree(535);
gap> checkdegree(536);
gap> checkdegree(537);
gap> checkdegree(538);
gap> checkdegree(539);
gap> checkdegree(540);
gap> checkdegree(541);
gap> checkdegree(542);
gap> checkdegree(543);
gap> checkdegree(544);
gap> checkdegree(545);
gap> checkdegree(546);
gap> checkdegree(547);
gap> checkdegree(548);
gap> checkdegree(549);
gap> checkdegree(550);
gap> checkdegree(551);
gap> checkdegree(552);
gap> checkdegree(553);
gap> checkdegree(554);
gap> checkdegree(555);
gap> checkdegree(556);
gap> checkdegree(557);
gap> checkdegree(558);
gap> checkdegree(559);
gap> checkdegree(560);
gap> checkdegree(561);
gap> checkdegree(562);
gap> checkdegree(563);
gap> checkdegree(564);
gap> checkdegree(565);
gap> checkdegree(566);
gap> checkdegree(567);
gap> checkdegree(568);
gap> checkdegree(569);
gap> checkdegree(570);
gap> checkdegree(571);
gap> checkdegree(572);
gap> checkdegree(573);
gap> checkdegree(574);
gap> checkdegree(575);
gap> checkdegree(576);
gap> checkdegree(577);
gap> checkdegree(578);
gap> checkdegree(579);
gap> checkdegree(580);
gap> checkdegree(581);
gap> checkdegree(582);
gap> checkdegree(583);
gap> checkdegree(584);
gap> checkdegree(585);
gap> checkdegree(586);
gap> checkdegree(587);
gap> checkdegree(588);
gap> checkdegree(589);
gap> checkdegree(590);
gap> checkdegree(591);
gap> checkdegree(592);
gap> checkdegree(593);
gap> checkdegree(594);
gap> checkdegree(595);
gap> checkdegree(596);
gap> checkdegree(597);
gap> checkdegree(598);
gap> checkdegree(599);
gap> checkdegree(600);
gap> checkdegree(601);
gap> checkdegree(602);
gap> checkdegree(603);
gap> checkdegree(604);
gap> checkdegree(605);
gap> checkdegree(606);
gap> checkdegree(607);
gap> checkdegree(608);
gap> checkdegree(609);
gap> checkdegree(610);
gap> checkdegree(611);
gap> checkdegree(612);
gap> checkdegree(613);
gap> checkdegree(614);
gap> checkdegree(615);
gap> checkdegree(616);
gap> checkdegree(617);
gap> checkdegree(618);
gap> checkdegree(619);
gap> checkdegree(620);
gap> checkdegree(621);
gap> checkdegree(622);
gap> checkdegree(623);
gap> checkdegree(624);
gap> checkdegree(625);
gap> checkdegree(626);
gap> checkdegree(627);
gap> checkdegree(628);
gap> checkdegree(629);
gap> checkdegree(630);
gap> checkdegree(631);
gap> checkdegree(632);
gap> checkdegree(633);
gap> checkdegree(634);
gap> checkdegree(635);
gap> checkdegree(636);
gap> checkdegree(637);
gap> checkdegree(638);
gap> checkdegree(639);
gap> checkdegree(640);
gap> checkdegree(641);
gap> checkdegree(642);
gap> checkdegree(643);
gap> checkdegree(644);
gap> checkdegree(645);
gap> checkdegree(646);
gap> checkdegree(647);
gap> checkdegree(648);
gap> checkdegree(649);
gap> checkdegree(650);
gap> checkdegree(651);
gap> checkdegree(652);
gap> checkdegree(653);
gap> checkdegree(654);
gap> checkdegree(655);
gap> checkdegree(656);
gap> checkdegree(657);
gap> checkdegree(658);
gap> checkdegree(659);
gap> checkdegree(660);
gap> checkdegree(661);
gap> checkdegree(662);
gap> checkdegree(663);
gap> checkdegree(664);
gap> checkdegree(665);
gap> checkdegree(666);
gap> checkdegree(667);
gap> checkdegree(668);
gap> checkdegree(669);
gap> checkdegree(670);
gap> checkdegree(671);
gap> checkdegree(672);
gap> checkdegree(673);
gap> checkdegree(674);
gap> checkdegree(675);
gap> checkdegree(676);
gap> checkdegree(677);
gap> checkdegree(678);
gap> checkdegree(679);
gap> checkdegree(680);
gap> checkdegree(681);
gap> checkdegree(682);
gap> checkdegree(683);
gap> checkdegree(684);
gap> checkdegree(685);
gap> checkdegree(686);
gap> checkdegree(687);
gap> checkdegree(688);
gap> checkdegree(689);
gap> checkdegree(690);
gap> checkdegree(691);
gap> checkdegree(692);
gap> checkdegree(693);
gap> checkdegree(694);
gap> checkdegree(695);
gap> checkdegree(696);
gap> checkdegree(697);
gap> checkdegree(698);
gap> checkdegree(699);
gap> checkdegree(700);
gap> checkdegree(701);
gap> checkdegree(702);
gap> checkdegree(703);
gap> checkdegree(704);
gap> checkdegree(705);
gap> checkdegree(706);
gap> checkdegree(707);
gap> checkdegree(708);
gap> checkdegree(709);
gap> checkdegree(710);
gap> checkdegree(711);
gap> checkdegree(712);
gap> checkdegree(713);
gap> checkdegree(714);
gap> checkdegree(715);
gap> checkdegree(716);
gap> checkdegree(717);
gap> checkdegree(718);
gap> checkdegree(719);
gap> checkdegree(720);
gap> checkdegree(721);
gap> checkdegree(722);
gap> checkdegree(723);
gap> checkdegree(724);
gap> checkdegree(725);
gap> checkdegree(726);
gap> checkdegree(727);
gap> checkdegree(728);
gap> checkdegree(729);
gap> checkdegree(730);
gap> checkdegree(731);
gap> checkdegree(732);
gap> checkdegree(733);
gap> checkdegree(734);
gap> checkdegree(735);
gap> checkdegree(736);
gap> checkdegree(737);
gap> checkdegree(738);
gap> checkdegree(739);
gap> checkdegree(740);
gap> checkdegree(741);
gap> checkdegree(742);
gap> checkdegree(743);
gap> checkdegree(744);
gap> checkdegree(745);
gap> checkdegree(746);
gap> checkdegree(747);
gap> checkdegree(748);
gap> checkdegree(749);
gap> checkdegree(750);
gap> checkdegree(751);
gap> checkdegree(752);
gap> checkdegree(753);
gap> checkdegree(754);
gap> checkdegree(755);
gap> checkdegree(756);
gap> checkdegree(757);
gap> checkdegree(758);
gap> checkdegree(759);
gap> checkdegree(760);
gap> checkdegree(761);
gap> checkdegree(762);
gap> checkdegree(763);
gap> checkdegree(764);
gap> checkdegree(765);
gap> checkdegree(766);
gap> checkdegree(767);
gap> checkdegree(768);
gap> checkdegree(769);
gap> checkdegree(770);
gap> checkdegree(771);
gap> checkdegree(772);
gap> checkdegree(773);
gap> checkdegree(774);
gap> checkdegree(775);
gap> checkdegree(776);
gap> checkdegree(777);
gap> checkdegree(778);
gap> checkdegree(779);
gap> checkdegree(780);
gap> checkdegree(781);
gap> checkdegree(782);
gap> checkdegree(783);
gap> checkdegree(784);
gap> checkdegree(785);
gap> checkdegree(786);
gap> checkdegree(787);
gap> checkdegree(788);
gap> checkdegree(789);
gap> checkdegree(790);
gap> checkdegree(791);
gap> checkdegree(792);
gap> checkdegree(793);
gap> checkdegree(794);
gap> checkdegree(795);
gap> checkdegree(796);
gap> checkdegree(797);
gap> checkdegree(798);
gap> checkdegree(799);
gap> checkdegree(800);
gap> checkdegree(801);
gap> checkdegree(802);
gap> checkdegree(803);
gap> checkdegree(804);
gap> checkdegree(805);
gap> checkdegree(806);
gap> checkdegree(807);
gap> checkdegree(808);
gap> checkdegree(809);
gap> checkdegree(810);
gap> checkdegree(811);
gap> checkdegree(812);
gap> checkdegree(813);
gap> checkdegree(814);
gap> checkdegree(815);
gap> checkdegree(816);
gap> checkdegree(817);
gap> checkdegree(818);
gap> checkdegree(819);
gap> checkdegree(820);
gap> checkdegree(821);
gap> checkdegree(822);
gap> checkdegree(823);
gap> checkdegree(824);
gap> checkdegree(825);
gap> checkdegree(826);
gap> checkdegree(827);
gap> checkdegree(828);
gap> checkdegree(829);
gap> checkdegree(830);
gap> checkdegree(831);
gap> checkdegree(832);
gap> checkdegree(833);
gap> checkdegree(834);
gap> checkdegree(835);
gap> checkdegree(836);
gap> checkdegree(837);
gap> checkdegree(838);
gap> checkdegree(839);
gap> checkdegree(840);
gap> checkdegree(841);
gap> checkdegree(842);
gap> checkdegree(843);
gap> checkdegree(844);
gap> checkdegree(845);
gap> checkdegree(846);
gap> checkdegree(847);
gap> checkdegree(848);
gap> checkdegree(849);
gap> checkdegree(850);
gap> checkdegree(851);
gap> checkdegree(852);
gap> checkdegree(853);
gap> checkdegree(854);
gap> checkdegree(855);
gap> checkdegree(856);
gap> checkdegree(857);
gap> checkdegree(858);
gap> checkdegree(859);
gap> checkdegree(860);
gap> checkdegree(861);
gap> checkdegree(862);
gap> checkdegree(863);
gap> checkdegree(864);
gap> checkdegree(865);
gap> checkdegree(866);
gap> checkdegree(867);
gap> checkdegree(868);
gap> checkdegree(869);
gap> checkdegree(870);
gap> checkdegree(871);
gap> checkdegree(872);
gap> checkdegree(873);
gap> checkdegree(874);
gap> checkdegree(875);
gap> checkdegree(876);
gap> checkdegree(877);
gap> checkdegree(878);
gap> checkdegree(879);
gap> checkdegree(880);
gap> checkdegree(881);
gap> checkdegree(882);
gap> checkdegree(883);
gap> checkdegree(884);
gap> checkdegree(885);
gap> checkdegree(886);
gap> checkdegree(887);
gap> checkdegree(888);
gap> checkdegree(889);
gap> checkdegree(890);
gap> checkdegree(891);
gap> checkdegree(892);
gap> checkdegree(893);
gap> checkdegree(894);
gap> checkdegree(895);
gap> checkdegree(896);
gap> checkdegree(897);
gap> checkdegree(898);
gap> checkdegree(899);
gap> checkdegree(900);
gap> checkdegree(901);
gap> checkdegree(902);
gap> checkdegree(903);
gap> checkdegree(904);
gap> checkdegree(905);
gap> checkdegree(906);
gap> checkdegree(907);
gap> checkdegree(908);
gap> checkdegree(909);
gap> checkdegree(910);
gap> checkdegree(911);
gap> checkdegree(912);
gap> checkdegree(913);
gap> checkdegree(914);
gap> checkdegree(915);
gap> checkdegree(916);
gap> checkdegree(917);
gap> checkdegree(918);
gap> checkdegree(919);
gap> checkdegree(920);
gap> checkdegree(921);
gap> checkdegree(922);
gap> checkdegree(923);
gap> checkdegree(924);
gap> checkdegree(925);
gap> checkdegree(926);
gap> checkdegree(927);
gap> checkdegree(928);
gap> checkdegree(929);
gap> checkdegree(930);
gap> checkdegree(931);
gap> checkdegree(932);
gap> checkdegree(933);
gap> checkdegree(934);
gap> checkdegree(935);
gap> checkdegree(936);
gap> checkdegree(937);
gap> checkdegree(938);
gap> checkdegree(939);
gap> checkdegree(940);
gap> checkdegree(941);
gap> checkdegree(942);
gap> checkdegree(943);
gap> checkdegree(944);
gap> checkdegree(945);
gap> checkdegree(946);
gap> checkdegree(947);
gap> checkdegree(948);
gap> checkdegree(949);
gap> checkdegree(950);
gap> checkdegree(951);
gap> checkdegree(952);
gap> checkdegree(953);
gap> checkdegree(954);
gap> checkdegree(955);
gap> checkdegree(956);
gap> checkdegree(957);
gap> checkdegree(958);
gap> checkdegree(959);
gap> checkdegree(960);
gap> checkdegree(961);
gap> checkdegree(962);
gap> checkdegree(963);
gap> checkdegree(964);
gap> checkdegree(965);
gap> checkdegree(966);
gap> checkdegree(967);
gap> checkdegree(968);
gap> checkdegree(969);
gap> checkdegree(970);
gap> checkdegree(971);
gap> checkdegree(972);
gap> checkdegree(973);
gap> checkdegree(974);
gap> checkdegree(975);
gap> checkdegree(976);
gap> checkdegree(977);
gap> checkdegree(978);
gap> checkdegree(979);
gap> checkdegree(980);
gap> checkdegree(981);
gap> checkdegree(982);
gap> checkdegree(983);
gap> checkdegree(984);
gap> checkdegree(985);
gap> checkdegree(986);
gap> checkdegree(987);
gap> checkdegree(988);
gap> checkdegree(989);
gap> checkdegree(990);
gap> checkdegree(991);
gap> checkdegree(992);
gap> checkdegree(993);
gap> checkdegree(994);
gap> checkdegree(995);
gap> checkdegree(996);
gap> checkdegree(997);
gap> checkdegree(998);
gap> checkdegree(999);
gap> checkdegree(999);
gap> checkdegree(1000);
gap> checkdegree(1001);
gap> checkdegree(1002);
gap> checkdegree(1003);
gap> checkdegree(1004);
gap> checkdegree(1005);
gap> checkdegree(1006);
gap> checkdegree(1007);
gap> checkdegree(1008);
gap> checkdegree(1009);
gap> checkdegree(1010);
gap> checkdegree(1011);
gap> checkdegree(1012);
gap> checkdegree(1013);
gap> checkdegree(1014);
gap> checkdegree(1015);
gap> checkdegree(1016);
gap> checkdegree(1017);
gap> checkdegree(1018);
gap> checkdegree(1019);
gap> checkdegree(1020);
gap> checkdegree(1021);
gap> checkdegree(1022);
gap> checkdegree(1023);
gap> checkdegree(1024);
gap> checkdegree(1025);
gap> checkdegree(1026);
gap> checkdegree(1027);
gap> checkdegree(1028);
gap> checkdegree(1029);
gap> checkdegree(1030);
gap> checkdegree(1031);
gap> checkdegree(1032);
gap> checkdegree(1033);
gap> checkdegree(1034);
gap> checkdegree(1035);
gap> checkdegree(1036);
gap> checkdegree(1037);
gap> checkdegree(1038);
gap> checkdegree(1039);
gap> checkdegree(1040);
gap> checkdegree(1041);
gap> checkdegree(1042);
gap> checkdegree(1043);
gap> checkdegree(1044);
gap> checkdegree(1045);
gap> checkdegree(1046);
gap> checkdegree(1047);
gap> checkdegree(1048);
gap> checkdegree(1049);
gap> checkdegree(1050);
gap> checkdegree(1051);
gap> checkdegree(1052);
gap> checkdegree(1053);
gap> checkdegree(1054);
gap> checkdegree(1055);
gap> checkdegree(1056);
gap> checkdegree(1057);
gap> checkdegree(1058);
gap> checkdegree(1059);
gap> checkdegree(1060);
gap> checkdegree(1061);
gap> checkdegree(1062);
gap> checkdegree(1063);
gap> checkdegree(1064);
gap> checkdegree(1065);
gap> checkdegree(1066);
gap> checkdegree(1067);
gap> checkdegree(1068);
gap> checkdegree(1069);
gap> checkdegree(1070);
gap> checkdegree(1071);
gap> checkdegree(1072);
gap> checkdegree(1073);
gap> checkdegree(1074);
gap> checkdegree(1075);
gap> checkdegree(1076);
gap> checkdegree(1077);
gap> checkdegree(1078);
gap> checkdegree(1079);
gap> checkdegree(1080);
gap> checkdegree(1081);
gap> checkdegree(1082);
gap> checkdegree(1083);
gap> checkdegree(1084);
gap> checkdegree(1085);
gap> checkdegree(1086);
gap> checkdegree(1087);
gap> checkdegree(1088);
gap> checkdegree(1089);
gap> checkdegree(1090);
gap> checkdegree(1091);
gap> checkdegree(1092);
gap> checkdegree(1093);
gap> checkdegree(1094);
gap> checkdegree(1095);
gap> checkdegree(1096);
gap> checkdegree(1097);
gap> checkdegree(1098);
gap> checkdegree(1099);
gap> checkdegree(1100);
gap> checkdegree(1101);
gap> checkdegree(1102);
gap> checkdegree(1103);
gap> checkdegree(1104);
gap> checkdegree(1105);
gap> checkdegree(1106);
gap> checkdegree(1107);
gap> checkdegree(1108);
gap> checkdegree(1109);
gap> checkdegree(1110);
gap> checkdegree(1111);
gap> checkdegree(1112);
gap> checkdegree(1113);
gap> checkdegree(1114);
gap> checkdegree(1115);
gap> checkdegree(1116);
gap> checkdegree(1117);
gap> checkdegree(1118);
gap> checkdegree(1119);
gap> checkdegree(1120);
gap> checkdegree(1121);
gap> checkdegree(1122);
gap> checkdegree(1123);
gap> checkdegree(1124);
gap> checkdegree(1125);
gap> checkdegree(1126);
gap> checkdegree(1127);
gap> checkdegree(1128);
gap> checkdegree(1129);
gap> checkdegree(1130);
gap> checkdegree(1131);
gap> checkdegree(1132);
gap> checkdegree(1133);
gap> checkdegree(1134);
gap> checkdegree(1135);
gap> checkdegree(1136);
gap> checkdegree(1137);
gap> checkdegree(1138);
gap> checkdegree(1139);
gap> checkdegree(1140);
gap> checkdegree(1141);
gap> checkdegree(1142);
gap> checkdegree(1143);
gap> checkdegree(1144);
gap> checkdegree(1145);
gap> checkdegree(1146);
gap> checkdegree(1147);
gap> checkdegree(1148);
gap> checkdegree(1149);
gap> checkdegree(1150);
gap> checkdegree(1151);
gap> checkdegree(1152);
gap> checkdegree(1153);
gap> checkdegree(1154);
gap> checkdegree(1155);
gap> checkdegree(1156);
gap> checkdegree(1157);
gap> checkdegree(1158);
gap> checkdegree(1159);
gap> checkdegree(1160);
gap> checkdegree(1161);
gap> checkdegree(1162);
gap> checkdegree(1163);
gap> checkdegree(1164);
gap> checkdegree(1165);
gap> checkdegree(1166);
gap> checkdegree(1167);
gap> checkdegree(1168);
gap> checkdegree(1169);
gap> checkdegree(1170);
gap> checkdegree(1171);
gap> checkdegree(1172);
gap> checkdegree(1173);
gap> checkdegree(1174);
gap> checkdegree(1175);
gap> checkdegree(1176);
gap> checkdegree(1177);
gap> checkdegree(1178);
gap> checkdegree(1179);
gap> checkdegree(1180);
gap> checkdegree(1181);
gap> checkdegree(1182);
gap> checkdegree(1183);
gap> checkdegree(1184);
gap> checkdegree(1185);
gap> checkdegree(1186);
gap> checkdegree(1187);
gap> checkdegree(1188);
gap> checkdegree(1189);
gap> checkdegree(1190);
gap> checkdegree(1191);
gap> checkdegree(1192);
gap> checkdegree(1193);
gap> checkdegree(1194);
gap> checkdegree(1195);
gap> checkdegree(1196);
gap> checkdegree(1197);
gap> checkdegree(1198);
gap> checkdegree(1199);
gap> checkdegree(1200);
gap> checkdegree(1201);
gap> checkdegree(1202);
gap> checkdegree(1203);
gap> checkdegree(1204);
gap> checkdegree(1205);
gap> checkdegree(1206);
gap> checkdegree(1207);
gap> checkdegree(1208);
gap> checkdegree(1209);
gap> checkdegree(1210);
gap> checkdegree(1211);
gap> checkdegree(1212);
gap> checkdegree(1213);
gap> checkdegree(1214);
gap> checkdegree(1215);
gap> checkdegree(1216);
gap> checkdegree(1217);
gap> checkdegree(1218);
gap> checkdegree(1219);
gap> checkdegree(1220);
gap> checkdegree(1221);
gap> checkdegree(1222);
gap> checkdegree(1223);
gap> checkdegree(1224);
gap> checkdegree(1225);
gap> checkdegree(1226);
gap> checkdegree(1227);
gap> checkdegree(1228);
gap> checkdegree(1229);
gap> checkdegree(1230);
gap> checkdegree(1231);
gap> checkdegree(1232);
gap> checkdegree(1233);
gap> checkdegree(1234);
gap> checkdegree(1235);
gap> checkdegree(1236);
gap> checkdegree(1237);
gap> checkdegree(1238);
gap> checkdegree(1239);
gap> checkdegree(1240);
gap> checkdegree(1241);
gap> checkdegree(1242);
gap> checkdegree(1243);
gap> checkdegree(1244);
gap> checkdegree(1245);
gap> checkdegree(1246);
gap> checkdegree(1247);
gap> checkdegree(1248);
gap> checkdegree(1249);
gap> checkdegree(1250);
gap> checkdegree(1251);
gap> checkdegree(1252);
gap> checkdegree(1253);
gap> checkdegree(1254);
gap> checkdegree(1255);
gap> checkdegree(1256);
gap> checkdegree(1257);
gap> checkdegree(1258);
gap> checkdegree(1259);
gap> checkdegree(1260);
gap> checkdegree(1261);
gap> checkdegree(1262);
gap> checkdegree(1263);
gap> checkdegree(1264);
gap> checkdegree(1265);
gap> checkdegree(1266);
gap> checkdegree(1267);
gap> checkdegree(1268);
gap> checkdegree(1269);
gap> checkdegree(1270);
gap> checkdegree(1271);
gap> checkdegree(1272);
gap> checkdegree(1273);
gap> checkdegree(1274);
gap> checkdegree(1275);
gap> checkdegree(1276);
gap> checkdegree(1277);
gap> checkdegree(1278);
gap> checkdegree(1279);
gap> checkdegree(1280);
gap> checkdegree(1281);
gap> checkdegree(1282);
gap> checkdegree(1283);
gap> checkdegree(1284);
gap> checkdegree(1285);
gap> checkdegree(1286);
gap> checkdegree(1287);
gap> checkdegree(1288);
gap> checkdegree(1289);
gap> checkdegree(1290);
gap> checkdegree(1291);
gap> checkdegree(1292);
gap> checkdegree(1293);
gap> checkdegree(1294);
gap> checkdegree(1295);
gap> checkdegree(1296);
gap> checkdegree(1297);
gap> checkdegree(1298);
gap> checkdegree(1299);
gap> checkdegree(1300);
gap> checkdegree(1301);
gap> checkdegree(1302);
gap> checkdegree(1303);
gap> checkdegree(1304);
gap> checkdegree(1305);
gap> checkdegree(1306);
gap> checkdegree(1307);
gap> checkdegree(1308);
gap> checkdegree(1309);
gap> checkdegree(1310);
gap> checkdegree(1311);
gap> checkdegree(1312);
gap> checkdegree(1313);
gap> checkdegree(1314);
gap> checkdegree(1315);
gap> checkdegree(1316);
gap> checkdegree(1317);
gap> checkdegree(1318);
gap> checkdegree(1319);
gap> checkdegree(1320);
gap> checkdegree(1321);
gap> checkdegree(1322);
gap> checkdegree(1323);
gap> checkdegree(1324);
gap> checkdegree(1325);
gap> checkdegree(1326);
gap> checkdegree(1327);
gap> checkdegree(1328);
gap> checkdegree(1329);
gap> checkdegree(1330);
gap> checkdegree(1331);
gap> checkdegree(1332);
gap> checkdegree(1333);
gap> checkdegree(1334);
gap> checkdegree(1335);
gap> checkdegree(1336);
gap> checkdegree(1337);
gap> checkdegree(1338);
gap> checkdegree(1339);
gap> checkdegree(1340);
gap> checkdegree(1341);
gap> checkdegree(1342);
gap> checkdegree(1343);
gap> checkdegree(1344);
gap> checkdegree(1345);
gap> checkdegree(1346);
gap> checkdegree(1347);
gap> checkdegree(1348);
gap> checkdegree(1349);
gap> checkdegree(1350);
gap> checkdegree(1351);
gap> checkdegree(1352);
gap> checkdegree(1353);
gap> checkdegree(1354);
gap> checkdegree(1355);
gap> checkdegree(1356);
gap> checkdegree(1357);
gap> checkdegree(1358);
gap> checkdegree(1359);
gap> checkdegree(1360);
gap> checkdegree(1361);
gap> checkdegree(1362);
gap> checkdegree(1363);
gap> checkdegree(1364);
gap> checkdegree(1365);
gap> checkdegree(1366);
gap> checkdegree(1367);
gap> checkdegree(1368);
gap> checkdegree(1369);
gap> checkdegree(1370);
gap> checkdegree(1371);
gap> checkdegree(1372);
gap> checkdegree(1373);
gap> checkdegree(1374);
gap> checkdegree(1375);
gap> checkdegree(1376);
gap> checkdegree(1377);
gap> checkdegree(1378);
gap> checkdegree(1379);
gap> checkdegree(1380);
gap> checkdegree(1381);
gap> checkdegree(1382);
gap> checkdegree(1383);
gap> checkdegree(1384);
gap> checkdegree(1385);
gap> checkdegree(1386);
gap> checkdegree(1387);
gap> checkdegree(1388);
gap> checkdegree(1389);
gap> checkdegree(1390);
gap> checkdegree(1391);
gap> checkdegree(1392);
gap> checkdegree(1393);
gap> checkdegree(1394);
gap> checkdegree(1395);
gap> checkdegree(1396);
gap> checkdegree(1397);
gap> checkdegree(1398);
gap> checkdegree(1399);
gap> checkdegree(1400);
gap> checkdegree(1401);
gap> checkdegree(1402);
gap> checkdegree(1403);
gap> checkdegree(1404);
gap> checkdegree(1405);
gap> checkdegree(1406);
gap> checkdegree(1407);
gap> checkdegree(1408);
gap> checkdegree(1409);
gap> checkdegree(1410);
gap> checkdegree(1411);
gap> checkdegree(1412);
gap> checkdegree(1413);
gap> checkdegree(1414);
gap> checkdegree(1415);
gap> checkdegree(1416);
gap> checkdegree(1417);
gap> checkdegree(1418);
gap> checkdegree(1419);
gap> checkdegree(1420);
gap> checkdegree(1421);
gap> checkdegree(1422);
gap> checkdegree(1423);
gap> checkdegree(1424);
gap> checkdegree(1425);
gap> checkdegree(1426);
gap> checkdegree(1427);
gap> checkdegree(1428);
gap> checkdegree(1429);
gap> checkdegree(1430);
gap> checkdegree(1431);
gap> checkdegree(1432);
gap> checkdegree(1433);
gap> checkdegree(1434);
gap> checkdegree(1435);
gap> checkdegree(1436);
gap> checkdegree(1437);
gap> checkdegree(1438);
gap> checkdegree(1439);
gap> checkdegree(1440);
gap> checkdegree(1441);
gap> checkdegree(1442);
gap> checkdegree(1443);
gap> checkdegree(1444);
gap> checkdegree(1445);
gap> checkdegree(1446);
gap> checkdegree(1447);
gap> checkdegree(1448);
gap> checkdegree(1449);
gap> checkdegree(1450);
gap> checkdegree(1451);
gap> checkdegree(1452);
gap> checkdegree(1453);
gap> checkdegree(1454);
gap> checkdegree(1455);
gap> checkdegree(1456);
gap> checkdegree(1457);
gap> checkdegree(1458);
gap> checkdegree(1459);
gap> checkdegree(1460);
gap> checkdegree(1461);
gap> checkdegree(1462);
gap> checkdegree(1463);
gap> checkdegree(1464);
gap> checkdegree(1465);
gap> checkdegree(1466);
gap> checkdegree(1467);
gap> checkdegree(1468);
gap> checkdegree(1469);
gap> checkdegree(1470);
gap> checkdegree(1471);
gap> checkdegree(1472);
gap> checkdegree(1473);
gap> checkdegree(1474);
gap> checkdegree(1475);
gap> checkdegree(1476);
gap> checkdegree(1477);
gap> checkdegree(1478);
gap> checkdegree(1479);
gap> checkdegree(1480);
gap> checkdegree(1481);
gap> checkdegree(1482);
gap> checkdegree(1483);
gap> checkdegree(1484);
gap> checkdegree(1485);
gap> checkdegree(1486);
gap> checkdegree(1487);
gap> checkdegree(1488);
gap> checkdegree(1489);
gap> checkdegree(1490);
gap> checkdegree(1491);
gap> checkdegree(1492);
gap> checkdegree(1493);
gap> checkdegree(1494);
gap> checkdegree(1495);
gap> checkdegree(1496);
gap> checkdegree(1497);
gap> checkdegree(1498);
gap> checkdegree(1499);
gap> checkdegree(1500);
gap> checkdegree(1501);
gap> checkdegree(1502);
gap> checkdegree(1503);
gap> checkdegree(1504);
gap> checkdegree(1505);
gap> checkdegree(1506);
gap> checkdegree(1507);
gap> checkdegree(1508);
gap> checkdegree(1509);
gap> checkdegree(1510);
gap> checkdegree(1511);
gap> checkdegree(1512);
gap> checkdegree(1513);
gap> checkdegree(1514);
gap> checkdegree(1515);
gap> checkdegree(1516);
gap> checkdegree(1517);
gap> checkdegree(1518);
gap> checkdegree(1519);
gap> checkdegree(1520);
gap> checkdegree(1521);
gap> checkdegree(1522);
gap> checkdegree(1523);
gap> checkdegree(1524);
gap> checkdegree(1525);
gap> checkdegree(1526);
gap> checkdegree(1527);
gap> checkdegree(1528);
gap> checkdegree(1529);
gap> checkdegree(1530);
gap> checkdegree(1531);
gap> checkdegree(1532);
gap> checkdegree(1533);
gap> checkdegree(1534);
gap> checkdegree(1535);
gap> checkdegree(1536);
gap> checkdegree(1537);
gap> checkdegree(1538);
gap> checkdegree(1539);
gap> checkdegree(1540);
gap> checkdegree(1541);
gap> checkdegree(1542);
gap> checkdegree(1543);
gap> checkdegree(1544);
gap> checkdegree(1545);
gap> checkdegree(1546);
gap> checkdegree(1547);
gap> checkdegree(1548);
gap> checkdegree(1549);
gap> checkdegree(1550);
gap> checkdegree(1551);
gap> checkdegree(1552);
gap> checkdegree(1553);
gap> checkdegree(1554);
gap> checkdegree(1555);
gap> checkdegree(1556);
gap> checkdegree(1557);
gap> checkdegree(1558);
gap> checkdegree(1559);
gap> checkdegree(1560);
gap> checkdegree(1561);
gap> checkdegree(1562);
gap> checkdegree(1563);
gap> checkdegree(1564);
gap> checkdegree(1565);
gap> checkdegree(1566);
gap> checkdegree(1567);
gap> checkdegree(1568);
gap> checkdegree(1569);
gap> checkdegree(1570);
gap> checkdegree(1571);
gap> checkdegree(1572);
gap> checkdegree(1573);
gap> checkdegree(1574);
gap> checkdegree(1575);
gap> checkdegree(1576);
gap> checkdegree(1577);
gap> checkdegree(1578);
gap> checkdegree(1579);
gap> checkdegree(1580);
gap> checkdegree(1581);
gap> checkdegree(1582);
gap> checkdegree(1583);
gap> checkdegree(1584);
gap> checkdegree(1585);
gap> checkdegree(1586);
gap> checkdegree(1587);
gap> checkdegree(1588);
gap> checkdegree(1589);
gap> checkdegree(1590);
gap> checkdegree(1591);
gap> checkdegree(1592);
gap> checkdegree(1593);
gap> checkdegree(1594);
gap> checkdegree(1595);
gap> checkdegree(1596);
gap> checkdegree(1597);
gap> checkdegree(1598);
gap> checkdegree(1599);
gap> checkdegree(1600);
gap> checkdegree(1601);
gap> checkdegree(1602);
gap> checkdegree(1603);
gap> checkdegree(1604);
gap> checkdegree(1605);
gap> checkdegree(1606);
gap> checkdegree(1607);
gap> checkdegree(1608);
gap> checkdegree(1609);
gap> checkdegree(1610);
gap> checkdegree(1611);
gap> checkdegree(1612);
gap> checkdegree(1613);
gap> checkdegree(1614);
gap> checkdegree(1615);
gap> checkdegree(1616);
gap> checkdegree(1617);
gap> checkdegree(1618);
gap> checkdegree(1619);
gap> checkdegree(1620);
gap> checkdegree(1621);
gap> checkdegree(1622);
gap> checkdegree(1623);
gap> checkdegree(1624);
gap> checkdegree(1625);
gap> checkdegree(1626);
gap> checkdegree(1627);
gap> checkdegree(1628);
gap> checkdegree(1629);
gap> checkdegree(1630);
gap> checkdegree(1631);
gap> checkdegree(1632);
gap> checkdegree(1633);
gap> checkdegree(1634);
gap> checkdegree(1635);
gap> checkdegree(1636);
gap> checkdegree(1637);
gap> checkdegree(1638);
gap> checkdegree(1639);
gap> checkdegree(1640);
gap> checkdegree(1641);
gap> checkdegree(1642);
gap> checkdegree(1643);
gap> checkdegree(1644);
gap> checkdegree(1645);
gap> checkdegree(1646);
gap> checkdegree(1647);
gap> checkdegree(1648);
gap> checkdegree(1649);
gap> checkdegree(1650);
gap> checkdegree(1651);
gap> checkdegree(1652);
gap> checkdegree(1653);
gap> checkdegree(1654);
gap> checkdegree(1655);
gap> checkdegree(1656);
gap> checkdegree(1657);
gap> checkdegree(1658);
gap> checkdegree(1659);
gap> checkdegree(1660);
gap> checkdegree(1661);
gap> checkdegree(1662);
gap> checkdegree(1663);
gap> checkdegree(1664);
gap> checkdegree(1665);
gap> checkdegree(1666);
gap> checkdegree(1667);
gap> checkdegree(1668);
gap> checkdegree(1669);
gap> checkdegree(1670);
gap> checkdegree(1671);
gap> checkdegree(1672);
gap> checkdegree(1673);
gap> checkdegree(1674);
gap> checkdegree(1675);
gap> checkdegree(1676);
gap> checkdegree(1677);
gap> checkdegree(1678);
gap> checkdegree(1679);
gap> checkdegree(1680);
gap> checkdegree(1681);
gap> checkdegree(1682);
gap> checkdegree(1683);
gap> checkdegree(1684);
gap> checkdegree(1685);
gap> checkdegree(1686);
gap> checkdegree(1687);
gap> checkdegree(1688);
gap> checkdegree(1689);
gap> checkdegree(1690);
gap> checkdegree(1691);
gap> checkdegree(1692);
gap> checkdegree(1693);
gap> checkdegree(1694);
gap> checkdegree(1695);
gap> checkdegree(1696);
gap> checkdegree(1697);
gap> checkdegree(1698);
gap> checkdegree(1699);
gap> checkdegree(1700);
gap> checkdegree(1701);
gap> checkdegree(1702);
gap> checkdegree(1703);
gap> checkdegree(1704);
gap> checkdegree(1705);
gap> checkdegree(1706);
gap> checkdegree(1707);
gap> checkdegree(1708);
gap> checkdegree(1709);
gap> checkdegree(1710);
gap> checkdegree(1711);
gap> checkdegree(1712);
gap> checkdegree(1713);
gap> checkdegree(1714);
gap> checkdegree(1715);
gap> checkdegree(1716);
gap> checkdegree(1717);
gap> checkdegree(1718);
gap> checkdegree(1719);
gap> checkdegree(1720);
gap> checkdegree(1721);
gap> checkdegree(1722);
gap> checkdegree(1723);
gap> checkdegree(1724);
gap> checkdegree(1725);
gap> checkdegree(1726);
gap> checkdegree(1727);
gap> checkdegree(1728);
gap> checkdegree(1729);
gap> checkdegree(1730);
gap> checkdegree(1731);
gap> checkdegree(1732);
gap> checkdegree(1733);
gap> checkdegree(1734);
gap> checkdegree(1735);
gap> checkdegree(1736);
gap> checkdegree(1737);
gap> checkdegree(1738);
gap> checkdegree(1739);
gap> checkdegree(1740);
gap> checkdegree(1741);
gap> checkdegree(1742);
gap> checkdegree(1743);
gap> checkdegree(1744);
gap> checkdegree(1745);
gap> checkdegree(1746);
gap> checkdegree(1747);
gap> checkdegree(1748);
gap> checkdegree(1749);
gap> checkdegree(1750);
gap> checkdegree(1751);
gap> checkdegree(1752);
gap> checkdegree(1753);
gap> checkdegree(1754);
gap> checkdegree(1755);
gap> checkdegree(1756);
gap> checkdegree(1757);
gap> checkdegree(1758);
gap> checkdegree(1759);
gap> checkdegree(1760);
gap> checkdegree(1761);
gap> checkdegree(1762);
gap> checkdegree(1763);
gap> checkdegree(1764);
gap> checkdegree(1765);
gap> checkdegree(1766);
gap> checkdegree(1767);
gap> checkdegree(1768);
gap> checkdegree(1769);
gap> checkdegree(1770);
gap> checkdegree(1771);
gap> checkdegree(1772);
gap> checkdegree(1773);
gap> checkdegree(1774);
gap> checkdegree(1775);
gap> checkdegree(1776);
gap> checkdegree(1777);
gap> checkdegree(1778);
gap> checkdegree(1779);
gap> checkdegree(1780);
gap> checkdegree(1781);
gap> checkdegree(1782);
gap> checkdegree(1783);
gap> checkdegree(1784);
gap> checkdegree(1785);
gap> checkdegree(1786);
gap> checkdegree(1787);
gap> checkdegree(1788);
gap> checkdegree(1789);
gap> checkdegree(1790);
gap> checkdegree(1791);
gap> checkdegree(1792);
gap> checkdegree(1793);
gap> checkdegree(1794);
gap> checkdegree(1795);
gap> checkdegree(1796);
gap> checkdegree(1797);
gap> checkdegree(1798);
gap> checkdegree(1799);
gap> checkdegree(1800);
gap> checkdegree(1801);
gap> checkdegree(1802);
gap> checkdegree(1803);
gap> checkdegree(1804);
gap> checkdegree(1805);
gap> checkdegree(1806);
gap> checkdegree(1807);
gap> checkdegree(1808);
gap> checkdegree(1809);
gap> checkdegree(1810);
gap> checkdegree(1811);
gap> checkdegree(1812);
gap> checkdegree(1813);
gap> checkdegree(1814);
gap> checkdegree(1815);
gap> checkdegree(1816);
gap> checkdegree(1817);
gap> checkdegree(1818);
gap> checkdegree(1819);
gap> checkdegree(1820);
gap> checkdegree(1821);
gap> checkdegree(1822);
gap> checkdegree(1823);
gap> checkdegree(1824);
gap> checkdegree(1825);
gap> checkdegree(1826);
gap> checkdegree(1827);
gap> checkdegree(1828);
gap> checkdegree(1829);
gap> checkdegree(1830);
gap> checkdegree(1831);
gap> checkdegree(1832);
gap> checkdegree(1833);
gap> checkdegree(1834);
gap> checkdegree(1835);
gap> checkdegree(1836);
gap> checkdegree(1837);
gap> checkdegree(1838);
gap> checkdegree(1839);
gap> checkdegree(1840);
gap> checkdegree(1841);
gap> checkdegree(1842);
gap> checkdegree(1843);
gap> checkdegree(1844);
gap> checkdegree(1845);
gap> checkdegree(1846);
gap> checkdegree(1847);
gap> checkdegree(1848);
gap> checkdegree(1849);
gap> checkdegree(1850);
gap> checkdegree(1851);
gap> checkdegree(1852);
gap> checkdegree(1853);
gap> checkdegree(1854);
gap> checkdegree(1855);
gap> checkdegree(1856);
gap> checkdegree(1857);
gap> checkdegree(1858);
gap> checkdegree(1859);
gap> checkdegree(1860);
gap> checkdegree(1861);
gap> checkdegree(1862);
gap> checkdegree(1863);
gap> checkdegree(1864);
gap> checkdegree(1865);
gap> checkdegree(1866);
gap> checkdegree(1867);
gap> checkdegree(1868);
gap> checkdegree(1869);
gap> checkdegree(1870);
gap> checkdegree(1871);
gap> checkdegree(1872);
gap> checkdegree(1873);
gap> checkdegree(1874);
gap> checkdegree(1875);
gap> checkdegree(1876);
gap> checkdegree(1877);
gap> checkdegree(1878);
gap> checkdegree(1879);
gap> checkdegree(1880);
gap> checkdegree(1881);
gap> checkdegree(1882);
gap> checkdegree(1883);
gap> checkdegree(1884);
gap> checkdegree(1885);
gap> checkdegree(1886);
gap> checkdegree(1887);
gap> checkdegree(1888);
gap> checkdegree(1889);
gap> checkdegree(1890);
gap> checkdegree(1891);
gap> checkdegree(1892);
gap> checkdegree(1893);
gap> checkdegree(1894);
gap> checkdegree(1895);
gap> checkdegree(1896);
gap> checkdegree(1897);
gap> checkdegree(1898);
gap> checkdegree(1899);
gap> checkdegree(1900);
gap> checkdegree(1901);
gap> checkdegree(1902);
gap> checkdegree(1903);
gap> checkdegree(1904);
gap> checkdegree(1905);
gap> checkdegree(1906);
gap> checkdegree(1907);
gap> checkdegree(1908);
gap> checkdegree(1909);
gap> checkdegree(1910);
gap> checkdegree(1911);
gap> checkdegree(1912);
gap> checkdegree(1913);
gap> checkdegree(1914);
gap> checkdegree(1915);
gap> checkdegree(1916);
gap> checkdegree(1917);
gap> checkdegree(1918);
gap> checkdegree(1919);
gap> checkdegree(1920);
gap> checkdegree(1921);
gap> checkdegree(1922);
gap> checkdegree(1923);
gap> checkdegree(1924);
gap> checkdegree(1925);
gap> checkdegree(1926);
gap> checkdegree(1927);
gap> checkdegree(1928);
gap> checkdegree(1929);
gap> checkdegree(1930);
gap> checkdegree(1931);
gap> checkdegree(1932);
gap> checkdegree(1933);
gap> checkdegree(1934);
gap> checkdegree(1935);
gap> checkdegree(1936);
gap> checkdegree(1937);
gap> checkdegree(1938);
gap> checkdegree(1939);
gap> checkdegree(1940);
gap> checkdegree(1941);
gap> checkdegree(1942);
gap> checkdegree(1943);
gap> checkdegree(1944);
gap> checkdegree(1945);
gap> checkdegree(1946);
gap> checkdegree(1947);
gap> checkdegree(1948);
gap> checkdegree(1949);
gap> checkdegree(1950);
gap> checkdegree(1951);
gap> checkdegree(1952);
gap> checkdegree(1953);
gap> checkdegree(1954);
gap> checkdegree(1955);
gap> checkdegree(1956);
gap> checkdegree(1957);
gap> checkdegree(1958);
gap> checkdegree(1959);
gap> checkdegree(1960);
gap> checkdegree(1961);
gap> checkdegree(1962);
gap> checkdegree(1963);
gap> checkdegree(1964);
gap> checkdegree(1965);
gap> checkdegree(1966);
gap> checkdegree(1967);
gap> checkdegree(1968);
gap> checkdegree(1969);
gap> checkdegree(1970);
gap> checkdegree(1971);
gap> checkdegree(1972);
gap> checkdegree(1973);
gap> checkdegree(1974);
gap> checkdegree(1975);
gap> checkdegree(1976);
gap> checkdegree(1977);
gap> checkdegree(1978);
gap> checkdegree(1979);
gap> checkdegree(1980);
gap> checkdegree(1981);
gap> checkdegree(1982);
gap> checkdegree(1983);
gap> checkdegree(1984);
gap> checkdegree(1985);
gap> checkdegree(1986);
gap> checkdegree(1987);
gap> checkdegree(1988);
gap> checkdegree(1989);
gap> checkdegree(1990);
gap> checkdegree(1991);
gap> checkdegree(1992);
gap> checkdegree(1993);
gap> checkdegree(1994);
gap> checkdegree(1995);
gap> checkdegree(1996);
gap> checkdegree(1997);
gap> checkdegree(1998);
gap> checkdegree(1999);
gap> checkdegree(2000);
gap> checkdegree(2001);
gap> checkdegree(2002);
gap> checkdegree(2003);
gap> checkdegree(2004);
gap> checkdegree(2005);
gap> checkdegree(2006);
gap> checkdegree(2007);
gap> checkdegree(2008);
gap> checkdegree(2009);
gap> checkdegree(2010);
gap> checkdegree(2011);
gap> checkdegree(2012);
gap> checkdegree(2013);
gap> checkdegree(2014);
gap> checkdegree(2015);
gap> checkdegree(2016);
gap> checkdegree(2017);
gap> checkdegree(2018);
gap> checkdegree(2019);
gap> checkdegree(2020);
gap> checkdegree(2021);
gap> checkdegree(2022);
gap> checkdegree(2023);
gap> checkdegree(2024);
gap> checkdegree(2025);
gap> checkdegree(2026);
gap> checkdegree(2027);
gap> checkdegree(2028);
gap> checkdegree(2029);
gap> checkdegree(2030);
gap> checkdegree(2031);
gap> checkdegree(2032);
gap> checkdegree(2033);
gap> checkdegree(2034);
gap> checkdegree(2035);
gap> checkdegree(2036);
gap> checkdegree(2037);
gap> checkdegree(2038);
gap> checkdegree(2039);
gap> checkdegree(2040);
gap> checkdegree(2041);
gap> checkdegree(2042);
gap> checkdegree(2043);
gap> checkdegree(2044);
gap> checkdegree(2045);
gap> checkdegree(2046);
gap> checkdegree(2047);
gap> checkdegree(2048);
gap> checkdegree(2049);
gap> checkdegree(2050);
gap> checkdegree(2051);
gap> checkdegree(2052);
gap> checkdegree(2053);
gap> checkdegree(2054);
gap> checkdegree(2055);
gap> checkdegree(2056);
gap> checkdegree(2057);
gap> checkdegree(2058);
gap> checkdegree(2059);
gap> checkdegree(2060);
gap> checkdegree(2061);
gap> checkdegree(2062);
gap> checkdegree(2063);
gap> checkdegree(2064);
gap> checkdegree(2065);
gap> checkdegree(2066);
gap> checkdegree(2067);
gap> checkdegree(2068);
gap> checkdegree(2069);
gap> checkdegree(2070);
gap> checkdegree(2071);
gap> checkdegree(2072);
gap> checkdegree(2073);
gap> checkdegree(2074);
gap> checkdegree(2075);
gap> checkdegree(2076);
gap> checkdegree(2077);
gap> checkdegree(2078);
gap> checkdegree(2079);
gap> checkdegree(2080);
gap> checkdegree(2081);
gap> checkdegree(2082);
gap> checkdegree(2083);
gap> checkdegree(2084);
gap> checkdegree(2085);
gap> checkdegree(2086);
gap> checkdegree(2087);
gap> checkdegree(2088);
gap> checkdegree(2089);
gap> checkdegree(2090);
gap> checkdegree(2091);
gap> checkdegree(2092);
gap> checkdegree(2093);
gap> checkdegree(2094);
gap> checkdegree(2095);
gap> checkdegree(2096);
gap> checkdegree(2097);
gap> checkdegree(2098);
gap> checkdegree(2099);
gap> checkdegree(2100);
gap> checkdegree(2101);
gap> checkdegree(2102);
gap> checkdegree(2103);
gap> checkdegree(2104);
gap> checkdegree(2105);
gap> checkdegree(2106);
gap> checkdegree(2107);
gap> checkdegree(2108);
gap> checkdegree(2109);
gap> checkdegree(2110);
gap> checkdegree(2111);
gap> checkdegree(2112);
gap> checkdegree(2113);
gap> checkdegree(2114);
gap> checkdegree(2115);
gap> checkdegree(2116);
gap> checkdegree(2117);
gap> checkdegree(2118);
gap> checkdegree(2119);
gap> checkdegree(2120);
gap> checkdegree(2121);
gap> checkdegree(2122);
gap> checkdegree(2123);
gap> checkdegree(2124);
gap> checkdegree(2125);
gap> checkdegree(2126);
gap> checkdegree(2127);
gap> checkdegree(2128);
gap> checkdegree(2129);
gap> checkdegree(2130);
gap> checkdegree(2131);
gap> checkdegree(2132);
gap> checkdegree(2133);
gap> checkdegree(2134);
gap> checkdegree(2135);
gap> checkdegree(2136);
gap> checkdegree(2137);
gap> checkdegree(2138);
gap> checkdegree(2139);
gap> checkdegree(2140);
gap> checkdegree(2141);
gap> checkdegree(2142);
gap> checkdegree(2143);
gap> checkdegree(2144);
gap> checkdegree(2145);
gap> checkdegree(2146);
gap> checkdegree(2147);
gap> checkdegree(2148);
gap> checkdegree(2149);
gap> checkdegree(2150);
gap> checkdegree(2151);
gap> checkdegree(2152);
gap> checkdegree(2153);
gap> checkdegree(2154);
gap> checkdegree(2155);
gap> checkdegree(2156);
gap> checkdegree(2157);
gap> checkdegree(2158);
gap> checkdegree(2159);
gap> checkdegree(2160);
gap> checkdegree(2161);
gap> checkdegree(2162);
gap> checkdegree(2163);
gap> checkdegree(2164);
gap> checkdegree(2165);
gap> checkdegree(2166);
gap> checkdegree(2167);
gap> checkdegree(2168);
gap> checkdegree(2169);
gap> checkdegree(2170);
gap> checkdegree(2171);
gap> checkdegree(2172);
gap> checkdegree(2173);
gap> checkdegree(2174);
gap> checkdegree(2175);
gap> checkdegree(2176);
gap> checkdegree(2177);
gap> checkdegree(2178);
gap> checkdegree(2179);
gap> checkdegree(2180);
gap> checkdegree(2181);
gap> checkdegree(2182);
gap> checkdegree(2183);
gap> checkdegree(2184);
gap> checkdegree(2185);
gap> checkdegree(2186);
gap> checkdegree(2187);
gap> checkdegree(2188);
gap> checkdegree(2189);
gap> checkdegree(2190);
gap> checkdegree(2191);
gap> checkdegree(2192);
gap> checkdegree(2193);
gap> checkdegree(2194);
gap> checkdegree(2195);
gap> checkdegree(2196);
gap> checkdegree(2197);
gap> checkdegree(2198);
gap> checkdegree(2199);
gap> checkdegree(2200);
gap> checkdegree(2201);
gap> checkdegree(2202);
gap> checkdegree(2203);
gap> checkdegree(2204);
gap> checkdegree(2205);
gap> checkdegree(2206);
gap> checkdegree(2207);
gap> checkdegree(2208);
gap> checkdegree(2209);
gap> checkdegree(2210);
gap> checkdegree(2211);
gap> checkdegree(2212);
gap> checkdegree(2213);
gap> checkdegree(2214);
gap> checkdegree(2215);
gap> checkdegree(2216);
gap> checkdegree(2217);
gap> checkdegree(2218);
gap> checkdegree(2219);
gap> checkdegree(2220);
gap> checkdegree(2221);
gap> checkdegree(2222);
gap> checkdegree(2223);
gap> checkdegree(2224);
gap> checkdegree(2225);
gap> checkdegree(2226);
gap> checkdegree(2227);
gap> checkdegree(2228);
gap> checkdegree(2229);
gap> checkdegree(2230);
gap> checkdegree(2231);
gap> checkdegree(2232);
gap> checkdegree(2233);
gap> checkdegree(2234);
gap> checkdegree(2235);
gap> checkdegree(2236);
gap> checkdegree(2237);
gap> checkdegree(2238);
gap> checkdegree(2239);
gap> checkdegree(2240);
gap> checkdegree(2241);
gap> checkdegree(2242);
gap> checkdegree(2243);
gap> checkdegree(2244);
gap> checkdegree(2245);
gap> checkdegree(2246);
gap> checkdegree(2247);
gap> checkdegree(2248);
gap> checkdegree(2249);
gap> checkdegree(2250);
gap> checkdegree(2251);
gap> checkdegree(2252);
gap> checkdegree(2253);
gap> checkdegree(2254);
gap> checkdegree(2255);
gap> checkdegree(2256);
gap> checkdegree(2257);
gap> checkdegree(2258);
gap> checkdegree(2259);
gap> checkdegree(2260);
gap> checkdegree(2261);
gap> checkdegree(2262);
gap> checkdegree(2263);
gap> checkdegree(2264);
gap> checkdegree(2265);
gap> checkdegree(2266);
gap> checkdegree(2267);
gap> checkdegree(2268);
gap> checkdegree(2269);
gap> checkdegree(2270);
gap> checkdegree(2271);
gap> checkdegree(2272);
gap> checkdegree(2273);
gap> checkdegree(2274);
gap> checkdegree(2275);
gap> checkdegree(2276);
gap> checkdegree(2277);
gap> checkdegree(2278);
gap> checkdegree(2279);
gap> checkdegree(2280);
gap> checkdegree(2281);
gap> checkdegree(2282);
gap> checkdegree(2283);
gap> checkdegree(2284);
gap> checkdegree(2285);
gap> checkdegree(2286);
gap> checkdegree(2287);
gap> checkdegree(2288);
gap> checkdegree(2289);
gap> checkdegree(2290);
gap> checkdegree(2291);
gap> checkdegree(2292);
gap> checkdegree(2293);
gap> checkdegree(2294);
gap> checkdegree(2295);
gap> checkdegree(2296);
gap> checkdegree(2297);
gap> checkdegree(2298);
gap> checkdegree(2299);
gap> checkdegree(2300);
gap> checkdegree(2301);
gap> checkdegree(2302);
gap> checkdegree(2303);
gap> checkdegree(2304);
gap> checkdegree(2305);
gap> checkdegree(2306);
gap> checkdegree(2307);
gap> checkdegree(2308);
gap> checkdegree(2309);
gap> checkdegree(2310);
gap> checkdegree(2311);
gap> checkdegree(2312);
gap> checkdegree(2313);
gap> checkdegree(2314);
gap> checkdegree(2315);
gap> checkdegree(2316);
gap> checkdegree(2317);
gap> checkdegree(2318);
gap> checkdegree(2319);
gap> checkdegree(2320);
gap> checkdegree(2321);
gap> checkdegree(2322);
gap> checkdegree(2323);
gap> checkdegree(2324);
gap> checkdegree(2325);
gap> checkdegree(2326);
gap> checkdegree(2327);
gap> checkdegree(2328);
gap> checkdegree(2329);
gap> checkdegree(2330);
gap> checkdegree(2331);
gap> checkdegree(2332);
gap> checkdegree(2333);
gap> checkdegree(2334);
gap> checkdegree(2335);
gap> checkdegree(2336);
gap> checkdegree(2337);
gap> checkdegree(2338);
gap> checkdegree(2339);
gap> checkdegree(2340);
gap> checkdegree(2341);
gap> checkdegree(2342);
gap> checkdegree(2343);
gap> checkdegree(2344);
gap> checkdegree(2345);
gap> checkdegree(2346);
gap> checkdegree(2347);
gap> checkdegree(2348);
gap> checkdegree(2349);
gap> checkdegree(2350);
gap> checkdegree(2351);
gap> checkdegree(2352);
gap> checkdegree(2353);
gap> checkdegree(2354);
gap> checkdegree(2355);
gap> checkdegree(2356);
gap> checkdegree(2357);
gap> checkdegree(2358);
gap> checkdegree(2359);
gap> checkdegree(2360);
gap> checkdegree(2361);
gap> checkdegree(2362);
gap> checkdegree(2363);
gap> checkdegree(2364);
gap> checkdegree(2365);
gap> checkdegree(2366);
gap> checkdegree(2367);
gap> checkdegree(2368);
gap> checkdegree(2369);
gap> checkdegree(2370);
gap> checkdegree(2371);
gap> checkdegree(2372);
gap> checkdegree(2373);
gap> checkdegree(2374);
gap> checkdegree(2375);
gap> checkdegree(2376);
gap> checkdegree(2377);
gap> checkdegree(2378);
gap> checkdegree(2379);
gap> checkdegree(2380);
gap> checkdegree(2381);
gap> checkdegree(2382);
gap> checkdegree(2383);
gap> checkdegree(2384);
gap> checkdegree(2385);
gap> checkdegree(2386);
gap> checkdegree(2387);
gap> checkdegree(2388);
gap> checkdegree(2389);
gap> checkdegree(2390);
gap> checkdegree(2391);
gap> checkdegree(2392);
gap> checkdegree(2393);
gap> checkdegree(2394);
gap> checkdegree(2395);
gap> checkdegree(2396);
gap> checkdegree(2397);
gap> checkdegree(2398);
gap> checkdegree(2399);
gap> checkdegree(2400);
gap> checkdegree(2401);
gap> checkdegree(2402);
gap> checkdegree(2403);
gap> checkdegree(2404);
gap> checkdegree(2405);
gap> checkdegree(2406);
gap> checkdegree(2407);
gap> checkdegree(2408);
gap> checkdegree(2409);
gap> checkdegree(2410);
gap> checkdegree(2411);
gap> checkdegree(2412);
gap> checkdegree(2413);
gap> checkdegree(2414);
gap> checkdegree(2415);
gap> checkdegree(2416);
gap> checkdegree(2417);
gap> checkdegree(2418);
gap> checkdegree(2419);
gap> checkdegree(2420);
gap> checkdegree(2421);
gap> checkdegree(2422);
gap> checkdegree(2423);
gap> checkdegree(2424);
gap> checkdegree(2425);
gap> checkdegree(2426);
gap> checkdegree(2427);
gap> checkdegree(2428);
gap> checkdegree(2429);
gap> checkdegree(2430);
gap> checkdegree(2431);
gap> checkdegree(2432);
gap> checkdegree(2433);
gap> checkdegree(2434);
gap> checkdegree(2435);
gap> checkdegree(2436);
gap> checkdegree(2437);
gap> checkdegree(2438);
gap> checkdegree(2439);
gap> checkdegree(2440);
gap> checkdegree(2441);
gap> checkdegree(2442);
gap> checkdegree(2443);
gap> checkdegree(2444);
gap> checkdegree(2445);
gap> checkdegree(2446);
gap> checkdegree(2447);
gap> checkdegree(2448);
gap> checkdegree(2449);
gap> checkdegree(2450);
gap> checkdegree(2451);
gap> checkdegree(2452);
gap> checkdegree(2453);
gap> checkdegree(2454);
gap> checkdegree(2455);
gap> checkdegree(2456);
gap> checkdegree(2457);
gap> checkdegree(2458);
gap> checkdegree(2459);
gap> checkdegree(2460);
gap> checkdegree(2461);
gap> checkdegree(2462);
gap> checkdegree(2463);
gap> checkdegree(2464);
gap> checkdegree(2465);
gap> checkdegree(2466);
gap> checkdegree(2467);
gap> checkdegree(2468);
gap> checkdegree(2469);
gap> checkdegree(2470);
gap> checkdegree(2471);
gap> checkdegree(2472);
gap> checkdegree(2473);
gap> checkdegree(2474);
gap> checkdegree(2475);
gap> checkdegree(2476);
gap> checkdegree(2477);
gap> checkdegree(2478);
gap> checkdegree(2479);
gap> checkdegree(2480);
gap> checkdegree(2481);
gap> checkdegree(2482);
gap> checkdegree(2483);
gap> checkdegree(2484);
gap> checkdegree(2485);
gap> checkdegree(2486);
gap> checkdegree(2487);
gap> checkdegree(2488);
gap> checkdegree(2489);
gap> checkdegree(2490);
gap> checkdegree(2491);
gap> checkdegree(2492);
gap> checkdegree(2493);
gap> checkdegree(2494);
gap> checkdegree(2495);
gap> checkdegree(2496);
gap> checkdegree(2497);
gap> checkdegree(2498);
gap> checkdegree(2499);
gap> checkdegree(2500);
gap> checkdegree(2501);
gap> checkdegree(2502);
gap> checkdegree(2503);
gap> checkdegree(2504);
gap> checkdegree(2505);
gap> checkdegree(2506);
gap> checkdegree(2507);
gap> checkdegree(2508);
gap> checkdegree(2509);
gap> checkdegree(2510);
gap> checkdegree(2511);
gap> checkdegree(2512);
gap> checkdegree(2513);
gap> checkdegree(2514);
gap> checkdegree(2515);
gap> checkdegree(2516);
gap> checkdegree(2517);
gap> checkdegree(2518);
gap> checkdegree(2519);
gap> checkdegree(2520);
gap> checkdegree(2521);
gap> checkdegree(2522);
gap> checkdegree(2523);
gap> checkdegree(2524);
gap> checkdegree(2525);
gap> checkdegree(2526);
gap> checkdegree(2527);
gap> checkdegree(2528);
gap> checkdegree(2529);
gap> checkdegree(2530);
gap> checkdegree(2531);
gap> checkdegree(2532);
gap> checkdegree(2533);
gap> checkdegree(2534);
gap> checkdegree(2535);
gap> checkdegree(2536);
gap> checkdegree(2537);
gap> checkdegree(2538);
gap> checkdegree(2539);
gap> checkdegree(2540);
gap> checkdegree(2541);
gap> checkdegree(2542);
gap> checkdegree(2543);
gap> checkdegree(2544);
gap> checkdegree(2545);
gap> checkdegree(2546);
gap> checkdegree(2547);
gap> checkdegree(2548);
gap> checkdegree(2549);
gap> checkdegree(2550);
gap> checkdegree(2551);
gap> checkdegree(2552);
gap> checkdegree(2553);
gap> checkdegree(2554);
gap> checkdegree(2555);
gap> checkdegree(2556);
gap> checkdegree(2557);
gap> checkdegree(2558);
gap> checkdegree(2559);
gap> checkdegree(2560);
gap> checkdegree(2561);
gap> checkdegree(2562);
gap> checkdegree(2563);
gap> checkdegree(2564);
gap> checkdegree(2565);
gap> checkdegree(2566);
gap> checkdegree(2567);
gap> checkdegree(2568);
gap> checkdegree(2569);
gap> checkdegree(2570);
gap> checkdegree(2571);
gap> checkdegree(2572);
gap> checkdegree(2573);
gap> checkdegree(2574);
gap> checkdegree(2575);
gap> checkdegree(2576);
gap> checkdegree(2577);
gap> checkdegree(2578);
gap> checkdegree(2579);
gap> checkdegree(2580);
gap> checkdegree(2581);
gap> checkdegree(2582);
gap> checkdegree(2583);
gap> checkdegree(2584);
gap> checkdegree(2585);
gap> checkdegree(2586);
gap> checkdegree(2587);
gap> checkdegree(2588);
gap> checkdegree(2589);
gap> checkdegree(2590);
gap> checkdegree(2591);
gap> checkdegree(2592);
gap> checkdegree(2593);
gap> checkdegree(2594);
gap> checkdegree(2595);
gap> checkdegree(2596);
gap> checkdegree(2597);
gap> checkdegree(2598);
gap> checkdegree(2599);
gap> checkdegree(2600);
gap> checkdegree(2601);
gap> checkdegree(2602);
gap> checkdegree(2603);
gap> checkdegree(2604);
gap> checkdegree(2605);
gap> checkdegree(2606);
gap> checkdegree(2607);
gap> checkdegree(2608);
gap> checkdegree(2609);
gap> checkdegree(2610);
gap> checkdegree(2611);
gap> checkdegree(2612);
gap> checkdegree(2613);
gap> checkdegree(2614);
gap> checkdegree(2615);
gap> checkdegree(2616);
gap> checkdegree(2617);
gap> checkdegree(2618);
gap> checkdegree(2619);
gap> checkdegree(2620);
gap> checkdegree(2621);
gap> checkdegree(2622);
gap> checkdegree(2623);
gap> checkdegree(2624);
gap> checkdegree(2625);
gap> checkdegree(2626);
gap> checkdegree(2627);
gap> checkdegree(2628);
gap> checkdegree(2629);
gap> checkdegree(2630);
gap> checkdegree(2631);
gap> checkdegree(2632);
gap> checkdegree(2633);
gap> checkdegree(2634);
gap> checkdegree(2635);
gap> checkdegree(2636);
gap> checkdegree(2637);
gap> checkdegree(2638);
gap> checkdegree(2639);
gap> checkdegree(2640);
gap> checkdegree(2641);
gap> checkdegree(2642);
gap> checkdegree(2643);
gap> checkdegree(2644);
gap> checkdegree(2645);
gap> checkdegree(2646);
gap> checkdegree(2647);
gap> checkdegree(2648);
gap> checkdegree(2649);
gap> checkdegree(2650);
gap> checkdegree(2651);
gap> checkdegree(2652);
gap> checkdegree(2653);
gap> checkdegree(2654);
gap> checkdegree(2655);
gap> checkdegree(2656);
gap> checkdegree(2657);
gap> checkdegree(2658);
gap> checkdegree(2659);
gap> checkdegree(2660);
gap> checkdegree(2661);
gap> checkdegree(2662);
gap> checkdegree(2663);
gap> checkdegree(2664);
gap> checkdegree(2665);
gap> checkdegree(2666);
gap> checkdegree(2667);
gap> checkdegree(2668);
gap> checkdegree(2669);
gap> checkdegree(2670);
gap> checkdegree(2671);
gap> checkdegree(2672);
gap> checkdegree(2673);
gap> checkdegree(2674);
gap> checkdegree(2675);
gap> checkdegree(2676);
gap> checkdegree(2677);
gap> checkdegree(2678);
gap> checkdegree(2679);
gap> checkdegree(2680);
gap> checkdegree(2681);
gap> checkdegree(2682);
gap> checkdegree(2683);
gap> checkdegree(2684);
gap> checkdegree(2685);
gap> checkdegree(2686);
gap> checkdegree(2687);
gap> checkdegree(2688);
gap> checkdegree(2689);
gap> checkdegree(2690);
gap> checkdegree(2691);
gap> checkdegree(2692);
gap> checkdegree(2693);
gap> checkdegree(2694);
gap> checkdegree(2695);
gap> checkdegree(2696);
gap> checkdegree(2697);
gap> checkdegree(2698);
gap> checkdegree(2699);
gap> checkdegree(2700);
gap> checkdegree(2701);
gap> checkdegree(2702);
gap> checkdegree(2703);
gap> checkdegree(2704);
gap> checkdegree(2705);
gap> checkdegree(2706);
gap> checkdegree(2707);
gap> checkdegree(2708);
gap> checkdegree(2709);
gap> checkdegree(2710);
gap> checkdegree(2711);
gap> checkdegree(2712);
gap> checkdegree(2713);
gap> checkdegree(2714);
gap> checkdegree(2715);
gap> checkdegree(2716);
gap> checkdegree(2717);
gap> checkdegree(2718);
gap> checkdegree(2719);
gap> checkdegree(2720);
gap> checkdegree(2721);
gap> checkdegree(2722);
gap> checkdegree(2723);
gap> checkdegree(2724);
gap> checkdegree(2725);
gap> checkdegree(2726);
gap> checkdegree(2727);
gap> checkdegree(2728);
gap> checkdegree(2729);
gap> checkdegree(2730);
gap> checkdegree(2731);
gap> checkdegree(2732);
gap> checkdegree(2733);
gap> checkdegree(2734);
gap> checkdegree(2735);
gap> checkdegree(2736);
gap> checkdegree(2737);
gap> checkdegree(2738);
gap> checkdegree(2739);
gap> checkdegree(2740);
gap> checkdegree(2741);
gap> checkdegree(2742);
gap> checkdegree(2743);
gap> checkdegree(2744);
gap> checkdegree(2745);
gap> checkdegree(2746);
gap> checkdegree(2747);
gap> checkdegree(2748);
gap> checkdegree(2749);
gap> checkdegree(2750);
gap> checkdegree(2751);
gap> checkdegree(2752);
gap> checkdegree(2753);
gap> checkdegree(2754);
gap> checkdegree(2755);
gap> checkdegree(2756);
gap> checkdegree(2757);
gap> checkdegree(2758);
gap> checkdegree(2759);
gap> checkdegree(2760);
gap> checkdegree(2761);
gap> checkdegree(2762);
gap> checkdegree(2763);
gap> checkdegree(2764);
--> --------------------

--> maximum size reached

--> --------------------