gap> START_TEST("sanity999.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");
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> SetInfoLevel(InfoWarning,iW);
gap> STOP_TEST( "sanity999.tst", 1);
