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);
gap> checkdegree(2765);
gap> checkdegree(2766);
gap> checkdegree(2767);
gap> checkdegree(2768);
gap> checkdegree(2769);
gap> checkdegree(2770);
gap> checkdegree(2771);
gap> checkdegree(2772);
gap> checkdegree(2773);
gap> checkdegree(2774);
gap> checkdegree(2775);
gap> checkdegree(2776);
gap> checkdegree(2777);
gap> checkdegree(2778);
gap> checkdegree(2779);
gap> checkdegree(2780);
gap> checkdegree(2781);
gap> checkdegree(2782);
gap> checkdegree(2783);
gap> checkdegree(2784);
gap> checkdegree(2785);
gap> checkdegree(2786);
gap> checkdegree(2787);
gap> checkdegree(2788);
gap> checkdegree(2789);
gap> checkdegree(2790);
gap> checkdegree(2791);
gap> checkdegree(2792);
gap> checkdegree(2793);
gap> checkdegree(2794);
gap> checkdegree(2795);
gap> checkdegree(2796);
gap> checkdegree(2797);
gap> checkdegree(2798);
gap> checkdegree(2799);
gap> checkdegree(2800);
gap> checkdegree(2801);
gap> checkdegree(2802);
gap> checkdegree(2803);
gap> checkdegree(2804);
gap> checkdegree(2805);
gap> checkdegree(2806);
gap> checkdegree(2807);
gap> checkdegree(2808);
gap> checkdegree(2809);
gap> checkdegree(2810);
gap> checkdegree(2811);
gap> checkdegree(2812);
gap> checkdegree(2813);
gap> checkdegree(2814);
gap> checkdegree(2815);
gap> checkdegree(2816);
gap> checkdegree(2817);
gap> checkdegree(2818);
gap> checkdegree(2819);
gap> checkdegree(2820);
gap> checkdegree(2821);
gap> checkdegree(2822);
gap> checkdegree(2823);
gap> checkdegree(2824);
gap> checkdegree(2825);
gap> checkdegree(2826);
gap> checkdegree(2827);
gap> checkdegree(2828);
gap> checkdegree(2829);
gap> checkdegree(2830);
gap> checkdegree(2831);
gap> checkdegree(2832);
gap> checkdegree(2833);
gap> checkdegree(2834);
gap> checkdegree(2835);
gap> checkdegree(2836);
gap> checkdegree(2837);
gap> checkdegree(2838);
gap> checkdegree(2839);
gap> checkdegree(2840);
gap> checkdegree(2841);
gap> checkdegree(2842);
gap> checkdegree(2843);
gap> checkdegree(2844);
gap> checkdegree(2845);
gap> checkdegree(2846);
gap> checkdegree(2847);
gap> checkdegree(2848);
gap> checkdegree(2849);
gap> checkdegree(2850);
gap> checkdegree(2851);
gap> checkdegree(2852);
gap> checkdegree(2853);
gap> checkdegree(2854);
gap> checkdegree(2855);
gap> checkdegree(2856);
gap> checkdegree(2857);
gap> checkdegree(2858);
gap> checkdegree(2859);
gap> checkdegree(2860);
gap> checkdegree(2861);
gap> checkdegree(2862);
gap> checkdegree(2863);
gap> checkdegree(2864);
gap> checkdegree(2865);
gap> checkdegree(2866);
gap> checkdegree(2867);
gap> checkdegree(2868);
gap> checkdegree(2869);
gap> checkdegree(2870);
gap> checkdegree(2871);
gap> checkdegree(2872);
gap> checkdegree(2873);
gap> checkdegree(2874);
gap> checkdegree(2875);
gap> checkdegree(2876);
gap> checkdegree(2877);
gap> checkdegree(2878);
gap> checkdegree(2879);
gap> checkdegree(2880);
gap> checkdegree(2881);
gap> checkdegree(2882);
gap> checkdegree(2883);
gap> checkdegree(2884);
gap> checkdegree(2885);
gap> checkdegree(2886);
gap> checkdegree(2887);
gap> checkdegree(2888);
gap> checkdegree(2889);
gap> checkdegree(2890);
gap> checkdegree(2891);
gap> checkdegree(2892);
gap> checkdegree(2893);
gap> checkdegree(2894);
gap> checkdegree(2895);
gap> checkdegree(2896);
gap> checkdegree(2897);
gap> checkdegree(2898);
gap> checkdegree(2899);
gap> checkdegree(2900);
gap> checkdegree(2901);
gap> checkdegree(2902);
gap> checkdegree(2903);
gap> checkdegree(2904);
gap> checkdegree(2905);
gap> checkdegree(2906);
gap> checkdegree(2907);
gap> checkdegree(2908);
gap> checkdegree(2909);
gap> checkdegree(2910);
gap> checkdegree(2911);
gap> checkdegree(2912);
gap> checkdegree(2913);
gap> checkdegree(2914);
gap> checkdegree(2915);
gap> checkdegree(2916);
gap> checkdegree(2917);
gap> checkdegree(2918);
gap> checkdegree(2919);
gap> checkdegree(2920);
gap> checkdegree(2921);
gap> checkdegree(2922);
gap> checkdegree(2923);
gap> checkdegree(2924);
gap> checkdegree(2925);
gap> checkdegree(2926);
gap> checkdegree(2927);
gap> checkdegree(2928);
gap> checkdegree(2929);
gap> checkdegree(2930);
gap> checkdegree(2931);
gap> checkdegree(2932);
gap> checkdegree(2933);
gap> checkdegree(2934);
gap> checkdegree(2935);
gap> checkdegree(2936);
gap> checkdegree(2937);
gap> checkdegree(2938);
gap> checkdegree(2939);
gap> checkdegree(2940);
gap> checkdegree(2941);
gap> checkdegree(2942);
gap> checkdegree(2943);
gap> checkdegree(2944);
gap> checkdegree(2945);
gap> checkdegree(2946);
gap> checkdegree(2947);
gap> checkdegree(2948);
gap> checkdegree(2949);
gap> checkdegree(2950);
gap> checkdegree(2951);
gap> checkdegree(2952);
gap> checkdegree(2953);
gap> checkdegree(2954);
gap> checkdegree(2955);
gap> checkdegree(2956);
gap> checkdegree(2957);
gap> checkdegree(2958);
gap> checkdegree(2959);
gap> checkdegree(2960);
gap> checkdegree(2961);
gap> checkdegree(2962);
gap> checkdegree(2963);
gap> checkdegree(2964);
gap> checkdegree(2965);
gap> checkdegree(2966);
gap> checkdegree(2967);
gap> checkdegree(2968);
gap> checkdegree(2969);
gap> checkdegree(2970);
gap> checkdegree(2971);
gap> checkdegree(2972);
gap> checkdegree(2973);
gap> checkdegree(2974);
gap> checkdegree(2975);
gap> checkdegree(2976);
gap> checkdegree(2977);
gap> checkdegree(2978);
gap> checkdegree(2979);
gap> checkdegree(2980);
gap> checkdegree(2981);
gap> checkdegree(2982);
gap> checkdegree(2983);
gap> checkdegree(2984);
gap> checkdegree(2985);
gap> checkdegree(2986);
gap> checkdegree(2987);
gap> checkdegree(2988);
gap> checkdegree(2989);
gap> checkdegree(2990);
gap> checkdegree(2991);
gap> checkdegree(2992);
gap> checkdegree(2993);
gap> checkdegree(2994);
gap> checkdegree(2995);
gap> checkdegree(2996);
gap> checkdegree(2997);
gap> checkdegree(2998);
gap> checkdegree(2999);
gap> checkdegree(3000);
gap> checkdegree(3001);
gap> checkdegree(3002);
gap> checkdegree(3003);
gap> checkdegree(3004);
gap> checkdegree(3005);
gap> checkdegree(3006);
gap> checkdegree(3007);
gap> checkdegree(3008);
gap> checkdegree(3009);
gap> checkdegree(3010);
gap> checkdegree(3011);
gap> checkdegree(3012);
gap> checkdegree(3013);
gap> checkdegree(3014);
gap> checkdegree(3015);
gap> checkdegree(3016);
gap> checkdegree(3017);
gap> checkdegree(3018);
gap> checkdegree(3019);
gap> checkdegree(3020);
gap> checkdegree(3021);
gap> checkdegree(3022);
gap> checkdegree(3023);
gap> checkdegree(3024);
gap> checkdegree(3025);
gap> checkdegree(3026);
gap> checkdegree(3027);
gap> checkdegree(3028);
gap> checkdegree(3029);
gap> checkdegree(3030);
gap> checkdegree(3031);
gap> checkdegree(3032);
gap> checkdegree(3033);
gap> checkdegree(3034);
gap> checkdegree(3035);
gap> checkdegree(3036);
gap> checkdegree(3037);
gap> checkdegree(3038);
gap> checkdegree(3039);
gap> checkdegree(3040);
gap> checkdegree(3041);
gap> checkdegree(3042);
gap> checkdegree(3043);
gap> checkdegree(3044);
gap> checkdegree(3045);
gap> checkdegree(3046);
gap> checkdegree(3047);
gap> checkdegree(3048);
gap> checkdegree(3049);
gap> checkdegree(3050);
gap> checkdegree(3051);
gap> checkdegree(3052);
gap> checkdegree(3053);
gap> checkdegree(3054);
gap> checkdegree(3055);
gap> checkdegree(3056);
gap> checkdegree(3057);
gap> checkdegree(3058);
gap> checkdegree(3059);
gap> checkdegree(3060);
gap> checkdegree(3061);
gap> checkdegree(3062);
gap> checkdegree(3063);
gap> checkdegree(3064);
gap> checkdegree(3065);
gap> checkdegree(3066);
gap> checkdegree(3067);
gap> checkdegree(3068);
gap> checkdegree(3069);
gap> checkdegree(3070);
gap> checkdegree(3071);
gap> checkdegree(3072);
gap> checkdegree(3073);
gap> checkdegree(3074);
gap> checkdegree(3075);
gap> checkdegree(3076);
gap> checkdegree(3077);
gap> checkdegree(3078);
gap> checkdegree(3079);
gap> checkdegree(3080);
gap> checkdegree(3081);
gap> checkdegree(3082);
gap> checkdegree(3083);
gap> checkdegree(3084);
gap> checkdegree(3085);
gap> checkdegree(3086);
gap> checkdegree(3087);
gap> checkdegree(3088);
gap> checkdegree(3089);
gap> checkdegree(3090);
gap> checkdegree(3091);
gap> checkdegree(3092);
gap> checkdegree(3093);
gap> checkdegree(3094);
gap> checkdegree(3095);
gap> checkdegree(3096);
gap> checkdegree(3097);
gap> checkdegree(3098);
gap> checkdegree(3099);
gap> checkdegree(3100);
gap> checkdegree(3101);
gap> checkdegree(3102);
gap> checkdegree(3103);
gap> checkdegree(3104);
gap> checkdegree(3105);
gap> checkdegree(3106);
gap> checkdegree(3107);
gap> checkdegree(3108);
gap> checkdegree(3109);
gap> checkdegree(3110);
gap> checkdegree(3111);
gap> checkdegree(3112);
gap> checkdegree(3113);
gap> checkdegree(3114);
gap> checkdegree(3115);
gap> checkdegree(3116);
gap> checkdegree(3117);
gap> checkdegree(3118);
gap> checkdegree(3119);
gap> checkdegree(3120);
gap> checkdegree(3121);
gap> checkdegree(3122);
gap> checkdegree(3123);
gap> checkdegree(3124);
gap> checkdegree(3125);
gap> checkdegree(3126);
gap> checkdegree(3127);
gap> checkdegree(3128);
gap> checkdegree(3129);
gap> checkdegree(3130);
gap> checkdegree(3131);
gap> checkdegree(3132);
gap> checkdegree(3133);
gap> checkdegree(3134);
gap> checkdegree(3135);
gap> checkdegree(3136);
gap> checkdegree(3137);
gap> checkdegree(3138);
gap> checkdegree(3139);
gap> checkdegree(3140);
gap> checkdegree(3141);
gap> checkdegree(3142);
gap> checkdegree(3143);
gap> checkdegree(3144);
gap> checkdegree(3145);
gap> checkdegree(3146);
gap> checkdegree(3147);
gap> checkdegree(3148);
gap> checkdegree(3149);
gap> checkdegree(3150);
gap> checkdegree(3151);
gap> checkdegree(3152);
gap> checkdegree(3153);
gap> checkdegree(3154);
gap> checkdegree(3155);
gap> checkdegree(3156);
gap> checkdegree(3157);
gap> checkdegree(3158);
gap> checkdegree(3159);
gap> checkdegree(3160);
gap> checkdegree(3161);
gap> checkdegree(3162);
gap> checkdegree(3163);
gap> checkdegree(3164);
gap> checkdegree(3165);
gap> checkdegree(3166);
gap> checkdegree(3167);
gap> checkdegree(3168);
gap> checkdegree(3169);
gap> checkdegree(3170);
gap> checkdegree(3171);
gap> checkdegree(3172);
gap> checkdegree(3173);
gap> checkdegree(3174);
gap> checkdegree(3175);
gap> checkdegree(3176);
gap> checkdegree(3177);
gap> checkdegree(3178);
gap> checkdegree(3179);
gap> checkdegree(3180);
gap> checkdegree(3181);
gap> checkdegree(3182);
gap> checkdegree(3183);
gap> checkdegree(3184);
gap> checkdegree(3185);
gap> checkdegree(3186);
gap> checkdegree(3187);
gap> checkdegree(3188);
gap> checkdegree(3189);
gap> checkdegree(3190);
gap> checkdegree(3191);
gap> checkdegree(3192);
gap> checkdegree(3193);
gap> checkdegree(3194);
gap> checkdegree(3195);
gap> checkdegree(3196);
gap> checkdegree(3197);
gap> checkdegree(3198);
gap> checkdegree(3199);
gap> checkdegree(3200);
gap> checkdegree(3201);
gap> checkdegree(3202);
gap> checkdegree(3203);
gap> checkdegree(3204);
gap> checkdegree(3205);
gap> checkdegree(3206);
gap> checkdegree(3207);
gap> checkdegree(3208);
gap> checkdegree(3209);
gap> checkdegree(3210);
gap> checkdegree(3211);
gap> checkdegree(3212);
gap> checkdegree(3213);
gap> checkdegree(3214);
gap> checkdegree(3215);
gap> checkdegree(3216);
gap> checkdegree(3217);
gap> checkdegree(3218);
gap> checkdegree(3219);
gap> checkdegree(3220);
gap> checkdegree(3221);
gap> checkdegree(3222);
gap> checkdegree(3223);
gap> checkdegree(3224);
gap> checkdegree(3225);
gap> checkdegree(3226);
gap> checkdegree(3227);
gap> checkdegree(3228);
gap> checkdegree(3229);
gap> checkdegree(3230);
gap> checkdegree(3231);
gap> checkdegree(3232);
gap> checkdegree(3233);
gap> checkdegree(3234);
gap> checkdegree(3235);
gap> checkdegree(3236);
gap> checkdegree(3237);
gap> checkdegree(3238);
gap> checkdegree(3239);
gap> checkdegree(3240);
gap> checkdegree(3241);
gap> checkdegree(3242);
gap> checkdegree(3243);
gap> checkdegree(3244);
gap> checkdegree(3245);
gap> checkdegree(3246);
gap> checkdegree(3247);
gap> checkdegree(3248);
gap> checkdegree(3249);
gap> checkdegree(3250);
gap> checkdegree(3251);
gap> checkdegree(3252);
gap> checkdegree(3253);
gap> checkdegree(3254);
gap> checkdegree(3255);
gap> checkdegree(3256);
gap> checkdegree(3257);
gap> checkdegree(3258);
gap> checkdegree(3259);
gap> checkdegree(3260);
gap> checkdegree(3261);
gap> checkdegree(3262);
gap> checkdegree(3263);
gap> checkdegree(3264);
gap> checkdegree(3265);
gap> checkdegree(3266);
gap> checkdegree(3267);
gap> checkdegree(3268);
gap> checkdegree(3269);
gap> checkdegree(3270);
gap> checkdegree(3271);
gap> checkdegree(3272);
gap> checkdegree(3273);
gap> checkdegree(3274);
gap> checkdegree(3275);
gap> checkdegree(3276);
gap> checkdegree(3277);
gap> checkdegree(3278);
gap> checkdegree(3279);
gap> checkdegree(3280);
gap> checkdegree(3281);
gap> checkdegree(3282);
gap> checkdegree(3283);
gap> checkdegree(3284);
gap> checkdegree(3285);
gap> checkdegree(3286);
gap> checkdegree(3287);
gap> checkdegree(3288);
gap> checkdegree(3289);
gap> checkdegree(3290);
gap> checkdegree(3291);
gap> checkdegree(3292);
gap> checkdegree(3293);
gap> checkdegree(3294);
gap> checkdegree(3295);
gap> checkdegree(3296);
gap> checkdegree(3297);
gap> checkdegree(3298);
gap> checkdegree(3299);
gap> checkdegree(3300);
gap> checkdegree(3301);
gap> checkdegree(3302);
gap> checkdegree(3303);
gap> checkdegree(3304);
gap> checkdegree(3305);
gap> checkdegree(3306);
gap> checkdegree(3307);
gap> checkdegree(3308);
gap> checkdegree(3309);
gap> checkdegree(3310);
gap> checkdegree(3311);
gap> checkdegree(3312);
gap> checkdegree(3313);
gap> checkdegree(3314);
gap> checkdegree(3315);
gap> checkdegree(3316);
gap> checkdegree(3317);
gap> checkdegree(3318);
gap> checkdegree(3319);
gap> checkdegree(3320);
gap> checkdegree(3321);
gap> checkdegree(3322);
gap> checkdegree(3323);
gap> checkdegree(3324);
gap> checkdegree(3325);
gap> checkdegree(3326);
gap> checkdegree(3327);
gap> checkdegree(3328);
gap> checkdegree(3329);
gap> checkdegree(3330);
gap> checkdegree(3331);
gap> checkdegree(3332);
gap> checkdegree(3333);
gap> checkdegree(3334);
gap> checkdegree(3335);
gap> checkdegree(3336);
gap> checkdegree(3337);
gap> checkdegree(3338);
gap> checkdegree(3339);
gap> checkdegree(3340);
gap> checkdegree(3341);
gap> checkdegree(3342);
gap> checkdegree(3343);
gap> checkdegree(3344);
gap> checkdegree(3345);
gap> checkdegree(3346);
gap> checkdegree(3347);
gap> checkdegree(3348);
gap> checkdegree(3349);
gap> checkdegree(3350);
gap> checkdegree(3351);
gap> checkdegree(3352);
gap> checkdegree(3353);
gap> checkdegree(3354);
gap> checkdegree(3355);
gap> checkdegree(3356);
gap> checkdegree(3357);
gap> checkdegree(3358);
gap> checkdegree(3359);
gap> checkdegree(3360);
gap> checkdegree(3361);
gap> checkdegree(3362);
gap> checkdegree(3363);
gap> checkdegree(3364);
gap> checkdegree(3365);
gap> checkdegree(3366);
gap> checkdegree(3367);
gap> checkdegree(3368);
gap> checkdegree(3369);
gap> checkdegree(3370);
gap> checkdegree(3371);
gap> checkdegree(3372);
gap> checkdegree(3373);
gap> checkdegree(3374);
gap> checkdegree(3375);
gap> checkdegree(3376);
gap> checkdegree(3377);
gap> checkdegree(3378);
gap> checkdegree(3379);
gap> checkdegree(3380);
gap> checkdegree(3381);
gap> checkdegree(3382);
gap> checkdegree(3383);
gap> checkdegree(3384);
gap> checkdegree(3385);
gap> checkdegree(3386);
gap> checkdegree(3387);
gap> checkdegree(3388);
gap> checkdegree(3389);
gap> checkdegree(3390);
gap> checkdegree(3391);
gap> checkdegree(3392);
gap> checkdegree(3393);
gap> checkdegree(3394);
gap> checkdegree(3395);
gap> checkdegree(3396);
gap> checkdegree(3397);
gap> checkdegree(3398);
gap> checkdegree(3399);
gap> checkdegree(3400);
gap> checkdegree(3401);
gap> checkdegree(3402);
gap> checkdegree(3403);
gap> checkdegree(3404);
gap> checkdegree(3405);
gap> checkdegree(3406);
gap> checkdegree(3407);
gap> checkdegree(3408);
gap> checkdegree(3409);
gap> checkdegree(3410);
gap> checkdegree(3411);
gap> checkdegree(3412);
gap> checkdegree(3413);
gap> checkdegree(3414);
gap> checkdegree(3415);
gap> checkdegree(3416);
gap> checkdegree(3417);
gap> checkdegree(3418);
gap> checkdegree(3419);
gap> checkdegree(3420);
gap> checkdegree(3421);
gap> checkdegree(3422);
gap> checkdegree(3423);
gap> checkdegree(3424);
gap> checkdegree(3425);
gap> checkdegree(3426);
gap> checkdegree(3427);
gap> checkdegree(3428);
gap> checkdegree(3429);
gap> checkdegree(3430);
gap> checkdegree(3431);
gap> checkdegree(3432);
gap> checkdegree(3433);
gap> checkdegree(3434);
gap> checkdegree(3435);
gap> checkdegree(3436);
gap> checkdegree(3437);
gap> checkdegree(3438);
gap> checkdegree(3439);
gap> checkdegree(3440);
gap> checkdegree(3441);
gap> checkdegree(3442);
gap> checkdegree(3443);
gap> checkdegree(3444);
gap> checkdegree(3445);
gap> checkdegree(3446);
gap> checkdegree(3447);
gap> checkdegree(3448);
gap> checkdegree(3449);
gap> checkdegree(3450);
gap> checkdegree(3451);
gap> checkdegree(3452);
gap> checkdegree(3453);
gap> checkdegree(3454);
gap> checkdegree(3455);
gap> checkdegree(3456);
gap> checkdegree(3457);
gap> checkdegree(3458);
gap> checkdegree(3459);
gap> checkdegree(3460);
gap> checkdegree(3461);
gap> checkdegree(3462);
gap> checkdegree(3463);
gap> checkdegree(3464);
gap> checkdegree(3465);
gap> checkdegree(3466);
gap> checkdegree(3467);
gap> checkdegree(3468);
gap> checkdegree(3469);
gap> checkdegree(3470);
gap> checkdegree(3471);
gap> checkdegree(3472);
gap> checkdegree(3473);
gap> checkdegree(3474);
gap> checkdegree(3475);
gap> checkdegree(3476);
gap> checkdegree(3477);
gap> checkdegree(3478);
gap> checkdegree(3479);
gap> checkdegree(3480);
gap> checkdegree(3481);
gap> checkdegree(3482);
gap> checkdegree(3483);
gap> checkdegree(3484);
gap> checkdegree(3485);
gap> checkdegree(3486);
gap> checkdegree(3487);
gap> checkdegree(3488);
gap> checkdegree(3489);
gap> checkdegree(3490);
gap> checkdegree(3491);
gap> checkdegree(3492);
gap> checkdegree(3493);
gap> checkdegree(3494);
gap> checkdegree(3495);
gap> checkdegree(3496);
gap> checkdegree(3497);
gap> checkdegree(3498);
gap> checkdegree(3499);
gap> checkdegree(3500);
gap> checkdegree(3501);
gap> checkdegree(3502);
gap> checkdegree(3503);
gap> checkdegree(3504);
gap> checkdegree(3505);
gap> checkdegree(3506);
gap> checkdegree(3507);
gap> checkdegree(3508);
gap> checkdegree(3509);
gap> checkdegree(3510);
gap> checkdegree(3511);
gap> checkdegree(3512);
gap> checkdegree(3513);
gap> checkdegree(3514);
gap> checkdegree(3515);
gap> checkdegree(3516);
gap> checkdegree(3517);
gap> checkdegree(3518);
gap> checkdegree(3519);
gap> checkdegree(3520);
gap> checkdegree(3521);
gap> checkdegree(3522);
gap> checkdegree(3523);
gap> checkdegree(3524);
gap> checkdegree(3525);
gap> checkdegree(3526);
gap> checkdegree(3527);
gap> checkdegree(3528);
gap> checkdegree(3529);
gap> checkdegree(3530);
gap> checkdegree(3531);
gap> checkdegree(3532);
gap> checkdegree(3533);
gap> checkdegree(3534);
gap> checkdegree(3535);
gap> checkdegree(3536);
gap> checkdegree(3537);
gap> checkdegree(3538);
gap> checkdegree(3539);
gap> checkdegree(3540);
gap> checkdegree(3541);
gap> checkdegree(3542);
gap> checkdegree(3543);
gap> checkdegree(3544);
gap> checkdegree(3545);
gap> checkdegree(3546);
gap> checkdegree(3547);
gap> checkdegree(3548);
gap> checkdegree(3549);
gap> checkdegree(3550);
gap> checkdegree(3551);
gap> checkdegree(3552);
gap> checkdegree(3553);
gap> checkdegree(3554);
gap> checkdegree(3555);
gap> checkdegree(3556);
gap> checkdegree(3557);
gap> checkdegree(3558);
gap> checkdegree(3559);
gap> checkdegree(3560);
gap> checkdegree(3561);
gap> checkdegree(3562);
gap> checkdegree(3563);
gap> checkdegree(3564);
gap> checkdegree(3565);
gap> checkdegree(3566);
gap> checkdegree(3567);
gap> checkdegree(3568);
gap> checkdegree(3569);
gap> checkdegree(3570);
gap> checkdegree(3571);
gap> checkdegree(3572);
gap> checkdegree(3573);
gap> checkdegree(3574);
gap> checkdegree(3575);
gap> checkdegree(3576);
gap> checkdegree(3577);
gap> checkdegree(3578);
gap> checkdegree(3579);
gap> checkdegree(3580);
gap> checkdegree(3581);
gap> checkdegree(3582);
gap> checkdegree(3583);
gap> checkdegree(3584);
gap> checkdegree(3585);
gap> checkdegree(3586);
gap> checkdegree(3587);
gap> checkdegree(3588);
gap> checkdegree(3589);
gap> checkdegree(3590);
gap> checkdegree(3591);
gap> checkdegree(3592);
gap> checkdegree(3593);
gap> checkdegree(3594);
gap> checkdegree(3595);
gap> checkdegree(3596);
gap> checkdegree(3597);
gap> checkdegree(3598);
gap> checkdegree(3599);
gap> checkdegree(3600);
gap> checkdegree(3601);
gap> checkdegree(3602);
gap> checkdegree(3603);
gap> checkdegree(3604);
gap> checkdegree(3605);
gap> checkdegree(3606);
gap> checkdegree(3607);
gap> checkdegree(3608);
gap> checkdegree(3609);
gap> checkdegree(3610);
gap> checkdegree(3611);
gap> checkdegree(3612);
gap> checkdegree(3613);
gap> checkdegree(3614);
gap> checkdegree(3615);
gap> checkdegree(3616);
gap> checkdegree(3617);
gap> checkdegree(3618);
gap> checkdegree(3619);
gap> checkdegree(3620);
gap> checkdegree(3621);
gap> checkdegree(3622);
gap> checkdegree(3623);
gap> checkdegree(3624);
gap> checkdegree(3625);
gap> checkdegree(3626);
gap> checkdegree(3627);
gap> checkdegree(3628);
gap> checkdegree(3629);
gap> checkdegree(3630);
gap> checkdegree(3631);
gap> checkdegree(3632);
gap> checkdegree(3633);
gap> checkdegree(3634);
gap> checkdegree(3635);
gap> checkdegree(3636);
gap> checkdegree(3637);
gap> checkdegree(3638);
gap> checkdegree(3639);
gap> checkdegree(3640);
gap> checkdegree(3641);
gap> checkdegree(3642);
gap> checkdegree(3643);
gap> checkdegree(3644);
gap> checkdegree(3645);
gap> checkdegree(3646);
gap> checkdegree(3647);
gap> checkdegree(3648);
gap> checkdegree(3649);
gap> checkdegree(3650);
gap> checkdegree(3651);
gap> checkdegree(3652);
gap> checkdegree(3653);
gap> checkdegree(3654);
gap> checkdegree(3655);
gap> checkdegree(3656);
gap> checkdegree(3657);
gap> checkdegree(3658);
gap> checkdegree(3659);
gap> checkdegree(3660);
gap> checkdegree(3661);
gap> checkdegree(3662);
gap> checkdegree(3663);
gap> checkdegree(3664);
gap> checkdegree(3665);
gap> checkdegree(3666);
gap> checkdegree(3667);
gap> checkdegree(3668);
gap> checkdegree(3669);
gap> checkdegree(3670);
gap> checkdegree(3671);
gap> checkdegree(3672);
gap> checkdegree(3673);
gap> checkdegree(3674);
gap> checkdegree(3675);
gap> checkdegree(3676);
gap> checkdegree(3677);
gap> checkdegree(3678);
gap> checkdegree(3679);
gap> checkdegree(3680);
gap> checkdegree(3681);
gap> checkdegree(3682);
gap> checkdegree(3683);
gap> checkdegree(3684);
gap> checkdegree(3685);
gap> checkdegree(3686);
gap> checkdegree(3687);
gap> checkdegree(3688);
gap> checkdegree(3689);
gap> checkdegree(3690);
gap> checkdegree(3691);
gap> checkdegree(3692);
gap> checkdegree(3693);
gap> checkdegree(3694);
gap> checkdegree(3695);
gap> checkdegree(3696);
gap> checkdegree(3697);
gap> checkdegree(3698);
gap> checkdegree(3699);
gap> checkdegree(3700);
gap> checkdegree(3701);
gap> checkdegree(3702);
gap> checkdegree(3703);
gap> checkdegree(3704);
gap> checkdegree(3705);
gap> checkdegree(3706);
gap> checkdegree(3707);
gap> checkdegree(3708);
gap> checkdegree(3709);
gap> checkdegree(3710);
gap> checkdegree(3711);
gap> checkdegree(3712);
gap> checkdegree(3713);
gap> checkdegree(3714);
gap> checkdegree(3715);
gap> checkdegree(3716);
gap> checkdegree(3717);
gap> checkdegree(3718);
gap> checkdegree(3719);
gap> checkdegree(3720);
gap> checkdegree(3721);
gap> checkdegree(3722);
gap> checkdegree(3723);
gap> checkdegree(3724);
gap> checkdegree(3725);
gap> checkdegree(3726);
gap> checkdegree(3727);
gap> checkdegree(3728);
gap> checkdegree(3729);
gap> checkdegree(3730);
gap> checkdegree(3731);
gap> checkdegree(3732);
gap> checkdegree(3733);
gap> checkdegree(3734);
gap> checkdegree(3735);
gap> checkdegree(3736);
gap> checkdegree(3737);
gap> checkdegree(3738);
gap> checkdegree(3739);
gap> checkdegree(3740);
gap> checkdegree(3741);
gap> checkdegree(3742);
gap> checkdegree(3743);
gap> checkdegree(3744);
gap> checkdegree(3745);
gap> checkdegree(3746);
gap> checkdegree(3747);
gap> checkdegree(3748);
gap> checkdegree(3749);
gap> checkdegree(3750);
gap> checkdegree(3751);
gap> checkdegree(3752);
gap> checkdegree(3753);
gap> checkdegree(3754);
gap> checkdegree(3755);
gap> checkdegree(3756);
gap> checkdegree(3757);
gap> checkdegree(3758);
gap> checkdegree(3759);
gap> checkdegree(3760);
gap> checkdegree(3761);
gap> checkdegree(3762);
gap> checkdegree(3763);
gap> checkdegree(3764);
gap> checkdegree(3765);
gap> checkdegree(3766);
gap> checkdegree(3767);
gap> checkdegree(3768);
gap> checkdegree(3769);
gap> checkdegree(3770);
gap> checkdegree(3771);
gap> checkdegree(3772);
gap> checkdegree(3773);
gap> checkdegree(3774);
gap> checkdegree(3775);
gap> checkdegree(3776);
gap> checkdegree(3777);
gap> checkdegree(3778);
gap> checkdegree(3779);
gap> checkdegree(3780);
gap> checkdegree(3781);
gap> checkdegree(3782);
gap> checkdegree(3783);
gap> checkdegree(3784);
gap> checkdegree(3785);
gap> checkdegree(3786);
gap> checkdegree(3787);
gap> checkdegree(3788);
gap> checkdegree(3789);
gap> checkdegree(3790);
gap> checkdegree(3791);
gap> checkdegree(3792);
gap> checkdegree(3793);
gap> checkdegree(3794);
gap> checkdegree(3795);
gap> checkdegree(3796);
gap> checkdegree(3797);
gap> checkdegree(3798);
gap> checkdegree(3799);
gap> checkdegree(3800);
gap> checkdegree(3801);
gap> checkdegree(3802);
gap> checkdegree(3803);
gap> checkdegree(3804);
gap> checkdegree(3805);
gap> checkdegree(3806);
gap> checkdegree(3807);
gap> checkdegree(3808);
gap> checkdegree(3809);
gap> checkdegree(3810);
gap> checkdegree(3811);
gap> checkdegree(3812);
gap> checkdegree(3813);
gap> checkdegree(3814);
gap> checkdegree(3815);
gap> checkdegree(3816);
gap> checkdegree(3817);
gap> checkdegree(3818);
gap> checkdegree(3819);
gap> checkdegree(3820);
gap> checkdegree(3821);
gap> checkdegree(3822);
gap> checkdegree(3823);
gap> checkdegree(3824);
gap> checkdegree(3825);
gap> checkdegree(3826);
gap> checkdegree(3827);
gap> checkdegree(3828);
gap> checkdegree(3829);
gap> checkdegree(3830);
gap> checkdegree(3831);
gap> checkdegree(3832);
gap> checkdegree(3833);
gap> checkdegree(3834);
gap> checkdegree(3835);
gap> checkdegree(3836);
gap> checkdegree(3837);
gap> checkdegree(3838);
gap> checkdegree(3839);
gap> checkdegree(3840);
gap> checkdegree(3841);
gap> checkdegree(3842);
gap> checkdegree(3843);
gap> checkdegree(3844);
gap> checkdegree(3845);
gap> checkdegree(3846);
gap> checkdegree(3847);
gap> checkdegree(3848);
gap> checkdegree(3849);
gap> checkdegree(3850);
gap> checkdegree(3851);
gap> checkdegree(3852);
gap> checkdegree(3853);
gap> checkdegree(3854);
gap> checkdegree(3855);
gap> checkdegree(3856);
gap> checkdegree(3857);
gap> checkdegree(3858);
gap> checkdegree(3859);
gap> checkdegree(3860);
gap> checkdegree(3861);
gap> checkdegree(3862);
gap> checkdegree(3863);
gap> checkdegree(3864);
gap> checkdegree(3865);
gap> checkdegree(3866);
gap> checkdegree(3867);
gap> checkdegree(3868);
gap> checkdegree(3869);
gap> checkdegree(3870);
gap> checkdegree(3871);
gap> checkdegree(3872);
gap> checkdegree(3873);
gap> checkdegree(3874);
gap> checkdegree(3875);
gap> checkdegree(3876);
gap> checkdegree(3877);
gap> checkdegree(3878);
gap> checkdegree(3879);
gap> checkdegree(3880);
gap> checkdegree(3881);
gap> checkdegree(3882);
gap> checkdegree(3883);
gap> checkdegree(3884);
gap> checkdegree(3885);
gap> checkdegree(3886);
gap> checkdegree(3887);
gap> checkdegree(3888);
gap> checkdegree(3889);
gap> checkdegree(3890);
gap> checkdegree(3891);
gap> checkdegree(3892);
gap> checkdegree(3893);
gap> checkdegree(3894);
gap> checkdegree(3895);
gap> checkdegree(3896);
gap> checkdegree(3897);
gap> checkdegree(3898);
gap> checkdegree(3899);
gap> checkdegree(3900);
gap> checkdegree(3901);
gap> checkdegree(3902);
gap> checkdegree(3903);
gap> checkdegree(3904);
gap> checkdegree(3905);
gap> checkdegree(3906);
gap> checkdegree(3907);
gap> checkdegree(3908);
gap> checkdegree(3909);
gap> checkdegree(3910);
gap> checkdegree(3911);
gap> checkdegree(3912);
gap> checkdegree(3913);
gap> checkdegree(3914);
gap> checkdegree(3915);
gap> checkdegree(3916);
gap> checkdegree(3917);
gap> checkdegree(3918);
gap> checkdegree(3919);
gap> checkdegree(3920);
gap> checkdegree(3921);
gap> checkdegree(3922);
gap> checkdegree(3923);
gap> checkdegree(3924);
gap> checkdegree(3925);
gap> checkdegree(3926);
gap> checkdegree(3927);
gap> checkdegree(3928);
gap> checkdegree(3929);
gap> checkdegree(3930);
gap> checkdegree(3931);
gap> checkdegree(3932);
gap> checkdegree(3933);
gap> checkdegree(3934);
gap> checkdegree(3935);
gap> checkdegree(3936);
gap> checkdegree(3937);
gap> checkdegree(3938);
gap> checkdegree(3939);
gap> checkdegree(3940);
gap> checkdegree(3941);
gap> checkdegree(3942);
gap> checkdegree(3943);
gap> checkdegree(3944);
gap> checkdegree(3945);
gap> checkdegree(3946);
gap> checkdegree(3947);
gap> checkdegree(3948);
gap> checkdegree(3949);
gap> checkdegree(3950);
gap> checkdegree(3951);
gap> checkdegree(3952);
gap> checkdegree(3953);
gap> checkdegree(3954);
gap> checkdegree(3955);
gap> checkdegree(3956);
gap> checkdegree(3957);
gap> checkdegree(3958);
gap> checkdegree(3959);
gap> checkdegree(3960);
gap> checkdegree(3961);
gap> checkdegree(3962);
gap> checkdegree(3963);
gap> checkdegree(3964);
gap> checkdegree(3965);
gap> checkdegree(3966);
gap> checkdegree(3967);
gap> checkdegree(3968);
gap> checkdegree(3969);
gap> checkdegree(3970);
gap> checkdegree(3971);
gap> checkdegree(3972);
gap> checkdegree(3973);
gap> checkdegree(3974);
gap> checkdegree(3975);
gap> checkdegree(3976);
gap> checkdegree(3977);
gap> checkdegree(3978);
gap> checkdegree(3979);
gap> checkdegree(3980);
gap> checkdegree(3981);
gap> checkdegree(3982);
gap> checkdegree(3983);
gap> checkdegree(3984);
gap> checkdegree(3985);
gap> checkdegree(3986);
gap> checkdegree(3987);
gap> checkdegree(3988);
gap> checkdegree(3989);
gap> checkdegree(3990);
gap> checkdegree(3991);
gap> checkdegree(3992);
gap> checkdegree(3993);
gap> checkdegree(3994);
gap> checkdegree(3995);
gap> checkdegree(3996);
gap> checkdegree(3997);
gap> checkdegree(3998);
gap> checkdegree(3999);
gap> checkdegree(4000);
gap> checkdegree(4001);
gap> checkdegree(4002);
gap> checkdegree(4003);
gap> checkdegree(4004);
gap> checkdegree(4005);
gap> checkdegree(4006);
gap> checkdegree(4007);
gap> checkdegree(4008);
gap> checkdegree(4009);
gap> checkdegree(4010);
gap> checkdegree(4011);
gap> checkdegree(4012);
gap> checkdegree(4013);
gap> checkdegree(4014);
gap> checkdegree(4015);
gap> checkdegree(4016);
gap> checkdegree(4017);
gap> checkdegree(4018);
gap> checkdegree(4019);
gap> checkdegree(4020);
gap> checkdegree(4021);
gap> checkdegree(4022);
gap> checkdegree(4023);
gap> checkdegree(4024);
gap> checkdegree(4025);
gap> checkdegree(4026);
gap> checkdegree(4027);
gap> checkdegree(4028);
gap> checkdegree(4029);
gap> checkdegree(4030);
gap> checkdegree(4031);
gap> checkdegree(4032);
gap> checkdegree(4033);
gap> checkdegree(4034);
gap> checkdegree(4035);
gap> checkdegree(4036);
gap> checkdegree(4037);
gap> checkdegree(4038);
gap> checkdegree(4039);
gap> checkdegree(4040);
gap> checkdegree(4041);
gap> checkdegree(4042);
gap> checkdegree(4043);
gap> checkdegree(4044);
gap> checkdegree(4045);
gap> checkdegree(4046);
gap> checkdegree(4047);
gap> checkdegree(4048);
gap> checkdegree(4049);
gap> checkdegree(4050);
gap> checkdegree(4051);
gap> checkdegree(4052);
gap> checkdegree(4053);
gap> checkdegree(4054);
gap> checkdegree(4055);
gap> checkdegree(4056);
gap> checkdegree(4057);
gap> checkdegree(4058);
gap> checkdegree(4059);
gap> checkdegree(4060);
gap> checkdegree(4061);
gap> checkdegree(4062);
gap> checkdegree(4063);
gap> checkdegree(4064);
gap> checkdegree(4065);
gap> checkdegree(4066);
gap> checkdegree(4067);
gap> checkdegree(4068);
gap> checkdegree(4069);
gap> checkdegree(4070);
gap> checkdegree(4071);
gap> checkdegree(4072);
gap> checkdegree(4073);
gap> checkdegree(4074);
gap> checkdegree(4075);
gap> checkdegree(4076);
gap> checkdegree(4077);
gap> checkdegree(4078);
gap> checkdegree(4079);
gap> checkdegree(4080);
gap> checkdegree(4081);
gap> checkdegree(4082);
gap> checkdegree(4083);
gap> checkdegree(4084);
gap> checkdegree(4085);
gap> checkdegree(4086);
gap> checkdegree(4087);
gap> checkdegree(4088);
gap> checkdegree(4089);
gap> checkdegree(4090);
gap> checkdegree(4091);
gap> checkdegree(4092);
gap> checkdegree(4093);
gap> checkdegree(4094);
gap> checkdegree(4095);

#
gap> SetInfoLevel(InfoWarning,iW);
gap> STOP_TEST( "sanity4095.tst", 1);
