1% Simple illustration of the technique of generalised
    2%       closed-world specialisation within Aleph

?- rdhyp,sphyp,show(gcws),addgcws. % input % |: normal(A). */

    9:-use_module(library(aleph)).   10:- if(current_predicate(use_rendering/1)).   11:- use_rendering(prolog).   12:- endif.   13:-aleph.   14
   15:- mode(*,normal(+year)).   16:- mode(*,div4(+year)).   17:- mode(*,div100(+year)).   18:- mode(*,div400(+year)).   19
   20:- determination(normal/1,div4/1).   21:- determination(normal/1,div100/1).   22:- determination(normal/1,div400/1).   23:- determination(normal/1,year/1).   24
   25:- begin_bg.   26div4(4).
   27div4(8).
   28div4(12).
   29div4(16).
   30div4(20).
   31div4(24).
   32div4(28).
   33div4(32).
   34div4(36).
   35div4(40).
   36div4(44).
   37div4(48).
   38div4(52).
   39div4(56).
   40div4(60).
   41div4(64).
   42div4(68).
   43div4(72).
   44div4(76).
   45div4(80).
   46div4(84).
   47div4(88).
   48div4(92).
   49div4(96).
   50div4(100).
   51div4(104).
   52div4(108).
   53div4(112).
   54div4(116).
   55div4(120).
   56div4(124).
   57div4(128).
   58div4(132).
   59div4(136).
   60div4(140).
   61div4(144).
   62div4(148).
   63div4(152).
   64div4(156).
   65div4(160).
   66div4(164).
   67div4(168).
   68div4(172).
   69div4(176).
   70div4(180).
   71div4(184).
   72div4(188).
   73div4(192).
   74div4(196).
   75div4(200).
   76div4(204).
   77div4(208).
   78div4(212).
   79div4(216).
   80div4(220).
   81div4(224).
   82div4(228).
   83div4(232).
   84div4(236).
   85div4(240).
   86div4(244).
   87div4(248).
   88div4(252).
   89div4(256).
   90div4(260).
   91div4(264).
   92div4(268).
   93div4(272).
   94div4(276).
   95div4(280).
   96div4(284).
   97div4(288).
   98div4(292).
   99div4(296).
  100div4(300).
  101div4(304).
  102div4(308).
  103div4(312).
  104div4(316).
  105div4(320).
  106div4(324).
  107div4(328).
  108div4(332).
  109div4(336).
  110div4(340).
  111div4(344).
  112div4(348).
  113div4(352).
  114div4(356).
  115div4(360).
  116div4(364).
  117div4(368).
  118div4(372).
  119div4(376).
  120div4(380).
  121div4(384).
  122div4(388).
  123div4(392).
  124div4(396).
  125div4(400).
  126div4(404).
  127div4(408).
  128div4(412).
  129div4(416).
  130div4(420).
  131div4(424).
  132div4(428).
  133div4(432).
  134div4(436).
  135div4(440).
  136div4(444).
  137div4(448).
  138div4(452).
  139div4(456).
  140div4(460).
  141div4(464).
  142div4(468).
  143div4(472).
  144div4(476).
  145div4(480).
  146div4(484).
  147div4(488).
  148div4(492).
  149div4(496).
  150div4(500).
  151div4(504).
  152div4(508).
  153div4(512).
  154div4(516).
  155div4(520).
  156div4(524).
  157div4(528).
  158div4(532).
  159div4(536).
  160div4(540).
  161div4(544).
  162div4(548).
  163div4(552).
  164div4(556).
  165div4(560).
  166div4(564).
  167div4(568).
  168div4(572).
  169div4(576).
  170div4(580).
  171div4(584).
  172div4(588).
  173div4(592).
  174div4(596).
  175div4(600).
  176div4(604).
  177div4(608).
  178div4(612).
  179div4(616).
  180div4(620).
  181div4(624).
  182div4(628).
  183div4(632).
  184div4(636).
  185div4(640).
  186div4(644).
  187div4(648).
  188div4(652).
  189div4(656).
  190div4(660).
  191div4(664).
  192div4(668).
  193div4(672).
  194div4(676).
  195div4(680).
  196div4(684).
  197div4(688).
  198div4(692).
  199div4(696).
  200div4(700).
  201div4(704).
  202div4(708).
  203div4(712).
  204div4(716).
  205div4(720).
  206div4(724).
  207div4(728).
  208div4(732).
  209div4(736).
  210div4(740).
  211div4(744).
  212div4(748).
  213div4(752).
  214div4(756).
  215div4(760).
  216div4(764).
  217div4(768).
  218div4(772).
  219div4(776).
  220div4(780).
  221div4(784).
  222div4(788).
  223div4(792).
  224div4(796).
  225div4(800).
  226div4(804).
  227div4(808).
  228div4(812).
  229div4(816).
  230div4(820).
  231div4(824).
  232div4(828).
  233div4(832).
  234div4(836).
  235div4(840).
  236div4(844).
  237div4(848).
  238div4(852).
  239div4(856).
  240div4(860).
  241div4(864).
  242div4(868).
  243div4(872).
  244div4(876).
  245div4(880).
  246div4(884).
  247div4(888).
  248div4(892).
  249div4(896).
  250div4(900).
  251div4(904).
  252div4(908).
  253div4(912).
  254div4(916).
  255div4(920).
  256div4(924).
  257div4(928).
  258div4(932).
  259div4(936).
  260div4(940).
  261div4(944).
  262div4(948).
  263div4(952).
  264div4(956).
  265div4(960).
  266div4(964).
  267div4(968).
  268div4(972).
  269div4(976).
  270div4(980).
  271div4(984).
  272div4(988).
  273div4(992).
  274div4(996).
  275div4(1000).
  276div4(1004).
  277div4(1008).
  278div4(1012).
  279div4(1016).
  280div4(1020).
  281div4(1024).
  282div4(1028).
  283div4(1032).
  284div4(1036).
  285div4(1040).
  286div4(1044).
  287div4(1048).
  288div4(1052).
  289div4(1056).
  290div4(1060).
  291div4(1064).
  292div4(1068).
  293div4(1072).
  294div4(1076).
  295div4(1080).
  296div4(1084).
  297div4(1088).
  298div4(1092).
  299div4(1096).
  300div4(1100).
  301div4(1104).
  302div4(1108).
  303div4(1112).
  304div4(1116).
  305div4(1120).
  306div4(1124).
  307div4(1128).
  308div4(1132).
  309div4(1136).
  310div4(1140).
  311div4(1144).
  312div4(1148).
  313div4(1152).
  314div4(1156).
  315div4(1160).
  316div4(1164).
  317div4(1168).
  318div4(1172).
  319div4(1176).
  320div4(1180).
  321div4(1184).
  322div4(1188).
  323div4(1192).
  324div4(1196).
  325div4(1200).
  326div4(1204).
  327div4(1208).
  328div4(1212).
  329div4(1216).
  330div4(1220).
  331div4(1224).
  332div4(1228).
  333div4(1232).
  334div4(1236).
  335div4(1240).
  336div4(1244).
  337div4(1248).
  338div4(1252).
  339div4(1256).
  340div4(1260).
  341div4(1264).
  342div4(1268).
  343div4(1272).
  344div4(1276).
  345div4(1280).
  346div4(1284).
  347div4(1288).
  348div4(1292).
  349div4(1296).
  350div4(1300).
  351div4(1304).
  352div4(1308).
  353div4(1312).
  354div4(1316).
  355div4(1320).
  356div4(1324).
  357div4(1328).
  358div4(1332).
  359div4(1336).
  360div4(1340).
  361div4(1344).
  362div4(1348).
  363div4(1352).
  364div4(1356).
  365div4(1360).
  366div4(1364).
  367div4(1368).
  368div4(1372).
  369div4(1376).
  370div4(1380).
  371div4(1384).
  372div4(1388).
  373div4(1392).
  374div4(1396).
  375div4(1400).
  376div4(1404).
  377div4(1408).
  378div4(1412).
  379div4(1416).
  380div4(1420).
  381div4(1424).
  382div4(1428).
  383div4(1432).
  384div4(1436).
  385div4(1440).
  386div4(1444).
  387div4(1448).
  388div4(1452).
  389div4(1456).
  390div4(1460).
  391div4(1464).
  392div4(1468).
  393div4(1472).
  394div4(1476).
  395div4(1480).
  396div4(1484).
  397div4(1488).
  398div4(1492).
  399div4(1496).
  400div4(1500).
  401div4(1504).
  402div4(1508).
  403div4(1512).
  404div4(1516).
  405div4(1520).
  406div4(1524).
  407div4(1528).
  408div4(1532).
  409div4(1536).
  410div4(1540).
  411div4(1544).
  412div4(1548).
  413div4(1552).
  414div4(1556).
  415div4(1560).
  416div4(1564).
  417div4(1568).
  418div4(1572).
  419div4(1576).
  420div4(1580).
  421div4(1584).
  422div4(1588).
  423div4(1592).
  424div4(1596).
  425div4(1600).
  426
  427div100(100).
  428div100(200).
  429div100(300).
  430div100(400).
  431div100(500).
  432div100(600).
  433div100(700).
  434div100(800).
  435div100(900).
  436div100(1000).
  437div100(1100).
  438div100(1200).
  439div100(1300).
  440div100(1400).
  441div100(1500).
  442div100(1600).
  443
  444div400(400).
  445div400(800).
  446div400(1200).
  447div400(1600).
  448
  449year(1).
  450year(2).
  451year(3).
  452year(4).
  453year(5).
  454year(6).
  455year(7).
  456year(8).
  457year(9).
  458year(10).
  459year(11).
  460year(12).
  461year(13).
  462year(14).
  463year(15).
  464year(16).
  465year(17).
  466year(18).
  467year(19).
  468year(20).
  469year(21).
  470year(22).
  471year(23).
  472year(24).
  473year(25).
  474year(26).
  475year(27).
  476year(28).
  477year(29).
  478year(30).
  479year(31).
  480year(32).
  481year(33).
  482year(34).
  483year(35).
  484year(36).
  485year(37).
  486year(38).
  487year(39).
  488year(40).
  489year(41).
  490year(42).
  491year(43).
  492year(44).
  493year(45).
  494year(46).
  495year(47).
  496year(48).
  497year(49).
  498year(50).
  499year(51).
  500year(52).
  501year(53).
  502year(54).
  503year(55).
  504year(56).
  505year(57).
  506year(58).
  507year(59).
  508year(60).
  509year(61).
  510year(62).
  511year(63).
  512year(64).
  513year(65).
  514year(66).
  515year(67).
  516year(68).
  517year(69).
  518year(70).
  519year(71).
  520year(72).
  521year(73).
  522year(74).
  523year(75).
  524year(76).
  525year(77).
  526year(78).
  527year(79).
  528year(80).
  529year(81).
  530year(82).
  531year(83).
  532year(84).
  533year(85).
  534year(86).
  535year(87).
  536year(88).
  537year(89).
  538year(90).
  539year(91).
  540year(92).
  541year(93).
  542year(94).
  543year(95).
  544year(96).
  545year(97).
  546year(98).
  547year(99).
  548year(100).
  549year(101).
  550year(102).
  551year(103).
  552year(104).
  553year(105).
  554year(106).
  555year(107).
  556year(108).
  557year(109).
  558year(110).
  559year(111).
  560year(112).
  561year(113).
  562year(114).
  563year(115).
  564year(116).
  565year(117).
  566year(118).
  567year(119).
  568year(120).
  569year(121).
  570year(122).
  571year(123).
  572year(124).
  573year(125).
  574year(126).
  575year(127).
  576year(128).
  577year(129).
  578year(130).
  579year(131).
  580year(132).
  581year(133).
  582year(134).
  583year(135).
  584year(136).
  585year(137).
  586year(138).
  587year(139).
  588year(140).
  589year(141).
  590year(142).
  591year(143).
  592year(144).
  593year(145).
  594year(146).
  595year(147).
  596year(148).
  597year(149).
  598year(150).
  599year(151).
  600year(152).
  601year(153).
  602year(154).
  603year(155).
  604year(156).
  605year(157).
  606year(158).
  607year(159).
  608year(160).
  609year(161).
  610year(162).
  611year(163).
  612year(164).
  613year(165).
  614year(166).
  615year(167).
  616year(168).
  617year(169).
  618year(170).
  619year(171).
  620year(172).
  621year(173).
  622year(174).
  623year(175).
  624year(176).
  625year(177).
  626year(178).
  627year(179).
  628year(180).
  629year(181).
  630year(182).
  631year(183).
  632year(184).
  633year(185).
  634year(186).
  635year(187).
  636year(188).
  637year(189).
  638year(190).
  639year(191).
  640year(192).
  641year(193).
  642year(194).
  643year(195).
  644year(196).
  645year(197).
  646year(198).
  647year(199).
  648year(200).
  649year(201).
  650year(202).
  651year(203).
  652year(204).
  653year(205).
  654year(206).
  655year(207).
  656year(208).
  657year(209).
  658year(210).
  659year(211).
  660year(212).
  661year(213).
  662year(214).
  663year(215).
  664year(216).
  665year(217).
  666year(218).
  667year(219).
  668year(220).
  669year(221).
  670year(222).
  671year(223).
  672year(224).
  673year(225).
  674year(226).
  675year(227).
  676year(228).
  677year(229).
  678year(230).
  679year(231).
  680year(232).
  681year(233).
  682year(234).
  683year(235).
  684year(236).
  685year(237).
  686year(238).
  687year(239).
  688year(240).
  689year(241).
  690year(242).
  691year(243).
  692year(244).
  693year(245).
  694year(246).
  695year(247).
  696year(248).
  697year(249).
  698year(250).
  699year(251).
  700year(252).
  701year(253).
  702year(254).
  703year(255).
  704year(256).
  705year(257).
  706year(258).
  707year(259).
  708year(260).
  709year(261).
  710year(262).
  711year(263).
  712year(264).
  713year(265).
  714year(266).
  715year(267).
  716year(268).
  717year(269).
  718year(270).
  719year(271).
  720year(272).
  721year(273).
  722year(274).
  723year(275).
  724year(276).
  725year(277).
  726year(278).
  727year(279).
  728year(280).
  729year(281).
  730year(282).
  731year(283).
  732year(284).
  733year(285).
  734year(286).
  735year(287).
  736year(288).
  737year(289).
  738year(290).
  739year(291).
  740year(292).
  741year(293).
  742year(294).
  743year(295).
  744year(296).
  745year(297).
  746year(298).
  747year(299).
  748year(300).
  749year(301).
  750year(302).
  751year(303).
  752year(304).
  753year(305).
  754year(306).
  755year(307).
  756year(308).
  757year(309).
  758year(310).
  759year(311).
  760year(312).
  761year(313).
  762year(314).
  763year(315).
  764year(316).
  765year(317).
  766year(318).
  767year(319).
  768year(320).
  769year(321).
  770year(322).
  771year(323).
  772year(324).
  773year(325).
  774year(326).
  775year(327).
  776year(328).
  777year(329).
  778year(330).
  779year(331).
  780year(332).
  781year(333).
  782year(334).
  783year(335).
  784year(336).
  785year(337).
  786year(338).
  787year(339).
  788year(340).
  789year(341).
  790year(342).
  791year(343).
  792year(344).
  793year(345).
  794year(346).
  795year(347).
  796year(348).
  797year(349).
  798year(350).
  799year(351).
  800year(352).
  801year(353).
  802year(354).
  803year(355).
  804year(356).
  805year(357).
  806year(358).
  807year(359).
  808year(360).
  809year(361).
  810year(362).
  811year(363).
  812year(364).
  813year(365).
  814year(366).
  815year(367).
  816year(368).
  817year(369).
  818year(370).
  819year(371).
  820year(372).
  821year(373).
  822year(374).
  823year(375).
  824year(376).
  825year(377).
  826year(378).
  827year(379).
  828year(380).
  829year(381).
  830year(382).
  831year(383).
  832year(384).
  833year(385).
  834year(386).
  835year(387).
  836year(388).
  837year(389).
  838year(390).
  839year(391).
  840year(392).
  841year(393).
  842year(394).
  843year(395).
  844year(396).
  845year(397).
  846year(398).
  847year(399).
  848year(400).
  849year(401).
  850year(402).
  851year(403).
  852year(404).
  853year(405).
  854year(406).
  855year(407).
  856year(408).
  857year(409).
  858year(410).
  859year(411).
  860year(412).
  861year(413).
  862year(414).
  863year(415).
  864year(416).
  865year(417).
  866year(418).
  867year(419).
  868year(420).
  869year(421).
  870year(422).
  871year(423).
  872year(424).
  873year(425).
  874year(426).
  875year(427).
  876year(428).
  877year(429).
  878year(430).
  879year(431).
  880year(432).
  881year(433).
  882year(434).
  883year(435).
  884year(436).
  885year(437).
  886year(438).
  887year(439).
  888year(440).
  889year(441).
  890year(442).
  891year(443).
  892year(444).
  893year(445).
  894year(446).
  895year(447).
  896year(448).
  897year(449).
  898year(450).
  899year(451).
  900year(452).
  901year(453).
  902year(454).
  903year(455).
  904year(456).
  905year(457).
  906year(458).
  907year(459).
  908year(460).
  909year(461).
  910year(462).
  911year(463).
  912year(464).
  913year(465).
  914year(466).
  915year(467).
  916year(468).
  917year(469).
  918year(470).
  919year(471).
  920year(472).
  921year(473).
  922year(474).
  923year(475).
  924year(476).
  925year(477).
  926year(478).
  927year(479).
  928year(480).
  929year(481).
  930year(482).
  931year(483).
  932year(484).
  933year(485).
  934year(486).
  935year(487).
  936year(488).
  937year(489).
  938year(490).
  939year(491).
  940year(492).
  941year(493).
  942year(494).
  943year(495).
  944year(496).
  945year(497).
  946year(498).
  947year(499).
  948year(500).
  949year(501).
  950year(502).
  951year(503).
  952year(504).
  953year(505).
  954year(506).
  955year(507).
  956year(508).
  957year(509).
  958year(510).
  959year(511).
  960year(512).
  961year(513).
  962year(514).
  963year(515).
  964year(516).
  965year(517).
  966year(518).
  967year(519).
  968year(520).
  969year(521).
  970year(522).
  971year(523).
  972year(524).
  973year(525).
  974year(526).
  975year(527).
  976year(528).
  977year(529).
  978year(530).
  979year(531).
  980year(532).
  981year(533).
  982year(534).
  983year(535).
  984year(536).
  985year(537).
  986year(538).
  987year(539).
  988year(540).
  989year(541).
  990year(542).
  991year(543).
  992year(544).
  993year(545).
  994year(546).
  995year(547).
  996year(548).
  997year(549).
  998year(550).
  999year(551).
 1000year(552).
 1001year(553).
 1002year(554).
 1003year(555).
 1004year(556).
 1005year(557).
 1006year(558).
 1007year(559).
 1008year(560).
 1009year(561).
 1010year(562).
 1011year(563).
 1012year(564).
 1013year(565).
 1014year(566).
 1015year(567).
 1016year(568).
 1017year(569).
 1018year(570).
 1019year(571).
 1020year(572).
 1021year(573).
 1022year(574).
 1023year(575).
 1024year(576).
 1025year(577).
 1026year(578).
 1027year(579).
 1028year(580).
 1029year(581).
 1030year(582).
 1031year(583).
 1032year(584).
 1033year(585).
 1034year(586).
 1035year(587).
 1036year(588).
 1037year(589).
 1038year(590).
 1039year(591).
 1040year(592).
 1041year(593).
 1042year(594).
 1043year(595).
 1044year(596).
 1045year(597).
 1046year(598).
 1047year(599).
 1048year(600).
 1049year(601).
 1050year(602).
 1051year(603).
 1052year(604).
 1053year(605).
 1054year(606).
 1055year(607).
 1056year(608).
 1057year(609).
 1058year(610).
 1059year(611).
 1060year(612).
 1061year(613).
 1062year(614).
 1063year(615).
 1064year(616).
 1065year(617).
 1066year(618).
 1067year(619).
 1068year(620).
 1069year(621).
 1070year(622).
 1071year(623).
 1072year(624).
 1073year(625).
 1074year(626).
 1075year(627).
 1076year(628).
 1077year(629).
 1078year(630).
 1079year(631).
 1080year(632).
 1081year(633).
 1082year(634).
 1083year(635).
 1084year(636).
 1085year(637).
 1086year(638).
 1087year(639).
 1088year(640).
 1089year(641).
 1090year(642).
 1091year(643).
 1092year(644).
 1093year(645).
 1094year(646).
 1095year(647).
 1096year(648).
 1097year(649).
 1098year(650).
 1099year(651).
 1100year(652).
 1101year(653).
 1102year(654).
 1103year(655).
 1104year(656).
 1105year(657).
 1106year(658).
 1107year(659).
 1108year(660).
 1109year(661).
 1110year(662).
 1111year(663).
 1112year(664).
 1113year(665).
 1114year(666).
 1115year(667).
 1116year(668).
 1117year(669).
 1118year(670).
 1119year(671).
 1120year(672).
 1121year(673).
 1122year(674).
 1123year(675).
 1124year(676).
 1125year(677).
 1126year(678).
 1127year(679).
 1128year(680).
 1129year(681).
 1130year(682).
 1131year(683).
 1132year(684).
 1133year(685).
 1134year(686).
 1135year(687).
 1136year(688).
 1137year(689).
 1138year(690).
 1139year(691).
 1140year(692).
 1141year(693).
 1142year(694).
 1143year(695).
 1144year(696).
 1145year(697).
 1146year(698).
 1147year(699).
 1148year(700).
 1149year(701).
 1150year(702).
 1151year(703).
 1152year(704).
 1153year(705).
 1154year(706).
 1155year(707).
 1156year(708).
 1157year(709).
 1158year(710).
 1159year(711).
 1160year(712).
 1161year(713).
 1162year(714).
 1163year(715).
 1164year(716).
 1165year(717).
 1166year(718).
 1167year(719).
 1168year(720).
 1169year(721).
 1170year(722).
 1171year(723).
 1172year(724).
 1173year(725).
 1174year(726).
 1175year(727).
 1176year(728).
 1177year(729).
 1178year(730).
 1179year(731).
 1180year(732).
 1181year(733).
 1182year(734).
 1183year(735).
 1184year(736).
 1185year(737).
 1186year(738).
 1187year(739).
 1188year(740).
 1189year(741).
 1190year(742).
 1191year(743).
 1192year(744).
 1193year(745).
 1194year(746).
 1195year(747).
 1196year(748).
 1197year(749).
 1198year(750).
 1199year(751).
 1200year(752).
 1201year(753).
 1202year(754).
 1203year(755).
 1204year(756).
 1205year(757).
 1206year(758).
 1207year(759).
 1208year(760).
 1209year(761).
 1210year(762).
 1211year(763).
 1212year(764).
 1213year(765).
 1214year(766).
 1215year(767).
 1216year(768).
 1217year(769).
 1218year(770).
 1219year(771).
 1220year(772).
 1221year(773).
 1222year(774).
 1223year(775).
 1224year(776).
 1225year(777).
 1226year(778).
 1227year(779).
 1228year(780).
 1229year(781).
 1230year(782).
 1231year(783).
 1232year(784).
 1233year(785).
 1234year(786).
 1235year(787).
 1236year(788).
 1237year(789).
 1238year(790).
 1239year(791).
 1240year(792).
 1241year(793).
 1242year(794).
 1243year(795).
 1244year(796).
 1245year(797).
 1246year(798).
 1247year(799).
 1248year(800).
 1249year(801).
 1250year(802).
 1251year(803).
 1252year(804).
 1253year(805).
 1254year(806).
 1255year(807).
 1256year(808).
 1257year(809).
 1258year(810).
 1259year(811).
 1260year(812).
 1261year(813).
 1262year(814).
 1263year(815).
 1264year(816).
 1265year(817).
 1266year(818).
 1267year(819).
 1268year(820).
 1269year(821).
 1270year(822).
 1271year(823).
 1272year(824).
 1273year(825).
 1274year(826).
 1275year(827).
 1276year(828).
 1277year(829).
 1278year(830).
 1279year(831).
 1280year(832).
 1281year(833).
 1282year(834).
 1283year(835).
 1284year(836).
 1285year(837).
 1286year(838).
 1287year(839).
 1288year(840).
 1289year(841).
 1290year(842).
 1291year(843).
 1292year(844).
 1293year(845).
 1294year(846).
 1295year(847).
 1296year(848).
 1297year(849).
 1298year(850).
 1299year(851).
 1300year(852).
 1301year(853).
 1302year(854).
 1303year(855).
 1304year(856).
 1305year(857).
 1306year(858).
 1307year(859).
 1308year(860).
 1309year(861).
 1310year(862).
 1311year(863).
 1312year(864).
 1313year(865).
 1314year(866).
 1315year(867).
 1316year(868).
 1317year(869).
 1318year(870).
 1319year(871).
 1320year(872).
 1321year(873).
 1322year(874).
 1323year(875).
 1324year(876).
 1325year(877).
 1326year(878).
 1327year(879).
 1328year(880).
 1329year(881).
 1330year(882).
 1331year(883).
 1332year(884).
 1333year(885).
 1334year(886).
 1335year(887).
 1336year(888).
 1337year(889).
 1338year(890).
 1339year(891).
 1340year(892).
 1341year(893).
 1342year(894).
 1343year(895).
 1344year(896).
 1345year(897).
 1346year(898).
 1347year(899).
 1348year(900).
 1349year(901).
 1350year(902).
 1351year(903).
 1352year(904).
 1353year(905).
 1354year(906).
 1355year(907).
 1356year(908).
 1357year(909).
 1358year(910).
 1359year(911).
 1360year(912).
 1361year(913).
 1362year(914).
 1363year(915).
 1364year(916).
 1365year(917).
 1366year(918).
 1367year(919).
 1368year(920).
 1369year(921).
 1370year(922).
 1371year(923).
 1372year(924).
 1373year(925).
 1374year(926).
 1375year(927).
 1376year(928).
 1377year(929).
 1378year(930).
 1379year(931).
 1380year(932).
 1381year(933).
 1382year(934).
 1383year(935).
 1384year(936).
 1385year(937).
 1386year(938).
 1387year(939).
 1388year(940).
 1389year(941).
 1390year(942).
 1391year(943).
 1392year(944).
 1393year(945).
 1394year(946).
 1395year(947).
 1396year(948).
 1397year(949).
 1398year(950).
 1399year(951).
 1400year(952).
 1401year(953).
 1402year(954).
 1403year(955).
 1404year(956).
 1405year(957).
 1406year(958).
 1407year(959).
 1408year(960).
 1409year(961).
 1410year(962).
 1411year(963).
 1412year(964).
 1413year(965).
 1414year(966).
 1415year(967).
 1416year(968).
 1417year(969).
 1418year(970).
 1419year(971).
 1420year(972).
 1421year(973).
 1422year(974).
 1423year(975).
 1424year(976).
 1425year(977).
 1426year(978).
 1427year(979).
 1428year(980).
 1429year(981).
 1430year(982).
 1431year(983).
 1432year(984).
 1433year(985).
 1434year(986).
 1435year(987).
 1436year(988).
 1437year(989).
 1438year(990).
 1439year(991).
 1440year(992).
 1441year(993).
 1442year(994).
 1443year(995).
 1444year(996).
 1445year(997).
 1446year(998).
 1447year(999).
 1448year(1000).
 1449year(1001).
 1450year(1002).
 1451year(1003).
 1452year(1004).
 1453year(1005).
 1454year(1006).
 1455year(1007).
 1456year(1008).
 1457year(1009).
 1458year(1010).
 1459year(1011).
 1460year(1012).
 1461year(1013).
 1462year(1014).
 1463year(1015).
 1464year(1016).
 1465year(1017).
 1466year(1018).
 1467year(1019).
 1468year(1020).
 1469year(1021).
 1470year(1022).
 1471year(1023).
 1472year(1024).
 1473year(1025).
 1474year(1026).
 1475year(1027).
 1476year(1028).
 1477year(1029).
 1478year(1030).
 1479year(1031).
 1480year(1032).
 1481year(1033).
 1482year(1034).
 1483year(1035).
 1484year(1036).
 1485year(1037).
 1486year(1038).
 1487year(1039).
 1488year(1040).
 1489year(1041).
 1490year(1042).
 1491year(1043).
 1492year(1044).
 1493year(1045).
 1494year(1046).
 1495year(1047).
 1496year(1048).
 1497year(1049).
 1498year(1050).
 1499year(1051).
 1500year(1052).
 1501year(1053).
 1502year(1054).
 1503year(1055).
 1504year(1056).
 1505year(1057).
 1506year(1058).
 1507year(1059).
 1508year(1060).
 1509year(1061).
 1510year(1062).
 1511year(1063).
 1512year(1064).
 1513year(1065).
 1514year(1066).
 1515year(1067).
 1516year(1068).
 1517year(1069).
 1518year(1070).
 1519year(1071).
 1520year(1072).
 1521year(1073).
 1522year(1074).
 1523year(1075).
 1524year(1076).
 1525year(1077).
 1526year(1078).
 1527year(1079).
 1528year(1080).
 1529year(1081).
 1530year(1082).
 1531year(1083).
 1532year(1084).
 1533year(1085).
 1534year(1086).
 1535year(1087).
 1536year(1088).
 1537year(1089).
 1538year(1090).
 1539year(1091).
 1540year(1092).
 1541year(1093).
 1542year(1094).
 1543year(1095).
 1544year(1096).
 1545year(1097).
 1546year(1098).
 1547year(1099).
 1548year(1100).
 1549year(1101).
 1550year(1102).
 1551year(1103).
 1552year(1104).
 1553year(1105).
 1554year(1106).
 1555year(1107).
 1556year(1108).
 1557year(1109).
 1558year(1110).
 1559year(1111).
 1560year(1112).
 1561year(1113).
 1562year(1114).
 1563year(1115).
 1564year(1116).
 1565year(1117).
 1566year(1118).
 1567year(1119).
 1568year(1120).
 1569year(1121).
 1570year(1122).
 1571year(1123).
 1572year(1124).
 1573year(1125).
 1574year(1126).
 1575year(1127).
 1576year(1128).
 1577year(1129).
 1578year(1130).
 1579year(1131).
 1580year(1132).
 1581year(1133).
 1582year(1134).
 1583year(1135).
 1584year(1136).
 1585year(1137).
 1586year(1138).
 1587year(1139).
 1588year(1140).
 1589year(1141).
 1590year(1142).
 1591year(1143).
 1592year(1144).
 1593year(1145).
 1594year(1146).
 1595year(1147).
 1596year(1148).
 1597year(1149).
 1598year(1150).
 1599year(1151).
 1600year(1152).
 1601year(1153).
 1602year(1154).
 1603year(1155).
 1604year(1156).
 1605year(1157).
 1606year(1158).
 1607year(1159).
 1608year(1160).
 1609year(1161).
 1610year(1162).
 1611year(1163).
 1612year(1164).
 1613year(1165).
 1614year(1166).
 1615year(1167).
 1616year(1168).
 1617year(1169).
 1618year(1170).
 1619year(1171).
 1620year(1172).
 1621year(1173).
 1622year(1174).
 1623year(1175).
 1624year(1176).
 1625year(1177).
 1626year(1178).
 1627year(1179).
 1628year(1180).
 1629year(1181).
 1630year(1182).
 1631year(1183).
 1632year(1184).
 1633year(1185).
 1634year(1186).
 1635year(1187).
 1636year(1188).
 1637year(1189).
 1638year(1190).
 1639year(1191).
 1640year(1192).
 1641year(1193).
 1642year(1194).
 1643year(1195).
 1644year(1196).
 1645year(1197).
 1646year(1198).
 1647year(1199).
 1648year(1200).
 1649year(1201).
 1650year(1202).
 1651year(1203).
 1652year(1204).
 1653year(1205).
 1654year(1206).
 1655year(1207).
 1656year(1208).
 1657year(1209).
 1658year(1210).
 1659year(1211).
 1660year(1212).
 1661year(1213).
 1662year(1214).
 1663year(1215).
 1664year(1216).
 1665year(1217).
 1666year(1218).
 1667year(1219).
 1668year(1220).
 1669year(1221).
 1670year(1222).
 1671year(1223).
 1672year(1224).
 1673year(1225).
 1674year(1226).
 1675year(1227).
 1676year(1228).
 1677year(1229).
 1678year(1230).
 1679year(1231).
 1680year(1232).
 1681year(1233).
 1682year(1234).
 1683year(1235).
 1684year(1236).
 1685year(1237).
 1686year(1238).
 1687year(1239).
 1688year(1240).
 1689year(1241).
 1690year(1242).
 1691year(1243).
 1692year(1244).
 1693year(1245).
 1694year(1246).
 1695year(1247).
 1696year(1248).
 1697year(1249).
 1698year(1250).
 1699year(1251).
 1700year(1252).
 1701year(1253).
 1702year(1254).
 1703year(1255).
 1704year(1256).
 1705year(1257).
 1706year(1258).
 1707year(1259).
 1708year(1260).
 1709year(1261).
 1710year(1262).
 1711year(1263).
 1712year(1264).
 1713year(1265).
 1714year(1266).
 1715year(1267).
 1716year(1268).
 1717year(1269).
 1718year(1270).
 1719year(1271).
 1720year(1272).
 1721year(1273).
 1722year(1274).
 1723year(1275).
 1724year(1276).
 1725year(1277).
 1726year(1278).
 1727year(1279).
 1728year(1280).
 1729year(1281).
 1730year(1282).
 1731year(1283).
 1732year(1284).
 1733year(1285).
 1734year(1286).
 1735year(1287).
 1736year(1288).
 1737year(1289).
 1738year(1290).
 1739year(1291).
 1740year(1292).
 1741year(1293).
 1742year(1294).
 1743year(1295).
 1744year(1296).
 1745year(1297).
 1746year(1298).
 1747year(1299).
 1748year(1300).
 1749year(1301).
 1750year(1302).
 1751year(1303).
 1752year(1304).
 1753year(1305).
 1754year(1306).
 1755year(1307).
 1756year(1308).
 1757year(1309).
 1758year(1310).
 1759year(1311).
 1760year(1312).
 1761year(1313).
 1762year(1314).
 1763year(1315).
 1764year(1316).
 1765year(1317).
 1766year(1318).
 1767year(1319).
 1768year(1320).
 1769year(1321).
 1770year(1322).
 1771year(1323).
 1772year(1324).
 1773year(1325).
 1774year(1326).
 1775year(1327).
 1776year(1328).
 1777year(1329).
 1778year(1330).
 1779year(1331).
 1780year(1332).
 1781year(1333).
 1782year(1334).
 1783year(1335).
 1784year(1336).
 1785year(1337).
 1786year(1338).
 1787year(1339).
 1788year(1340).
 1789year(1341).
 1790year(1342).
 1791year(1343).
 1792year(1344).
 1793year(1345).
 1794year(1346).
 1795year(1347).
 1796year(1348).
 1797year(1349).
 1798year(1350).
 1799year(1351).
 1800year(1352).
 1801year(1353).
 1802year(1354).
 1803year(1355).
 1804year(1356).
 1805year(1357).
 1806year(1358).
 1807year(1359).
 1808year(1360).
 1809year(1361).
 1810year(1362).
 1811year(1363).
 1812year(1364).
 1813year(1365).
 1814year(1366).
 1815year(1367).
 1816year(1368).
 1817year(1369).
 1818year(1370).
 1819year(1371).
 1820year(1372).
 1821year(1373).
 1822year(1374).
 1823year(1375).
 1824year(1376).
 1825year(1377).
 1826year(1378).
 1827year(1379).
 1828year(1380).
 1829year(1381).
 1830year(1382).
 1831year(1383).
 1832year(1384).
 1833year(1385).
 1834year(1386).
 1835year(1387).
 1836year(1388).
 1837year(1389).
 1838year(1390).
 1839year(1391).
 1840year(1392).
 1841year(1393).
 1842year(1394).
 1843year(1395).
 1844year(1396).
 1845year(1397).
 1846year(1398).
 1847year(1399).
 1848year(1400).
 1849year(1401).
 1850year(1402).
 1851year(1403).
 1852year(1404).
 1853year(1405).
 1854year(1406).
 1855year(1407).
 1856year(1408).
 1857year(1409).
 1858year(1410).
 1859year(1411).
 1860year(1412).
 1861year(1413).
 1862year(1414).
 1863year(1415).
 1864year(1416).
 1865year(1417).
 1866year(1418).
 1867year(1419).
 1868year(1420).
 1869year(1421).
 1870year(1422).
 1871year(1423).
 1872year(1424).
 1873year(1425).
 1874year(1426).
 1875year(1427).
 1876year(1428).
 1877year(1429).
 1878year(1430).
 1879year(1431).
 1880year(1432).
 1881year(1433).
 1882year(1434).
 1883year(1435).
 1884year(1436).
 1885year(1437).
 1886year(1438).
 1887year(1439).
 1888year(1440).
 1889year(1441).
 1890year(1442).
 1891year(1443).
 1892year(1444).
 1893year(1445).
 1894year(1446).
 1895year(1447).
 1896year(1448).
 1897year(1449).
 1898year(1450).
 1899year(1451).
 1900year(1452).
 1901year(1453).
 1902year(1454).
 1903year(1455).
 1904year(1456).
 1905year(1457).
 1906year(1458).
 1907year(1459).
 1908year(1460).
 1909year(1461).
 1910year(1462).
 1911year(1463).
 1912year(1464).
 1913year(1465).
 1914year(1466).
 1915year(1467).
 1916year(1468).
 1917year(1469).
 1918year(1470).
 1919year(1471).
 1920year(1472).
 1921year(1473).
 1922year(1474).
 1923year(1475).
 1924year(1476).
 1925year(1477).
 1926year(1478).
 1927year(1479).
 1928year(1480).
 1929year(1481).
 1930year(1482).
 1931year(1483).
 1932year(1484).
 1933year(1485).
 1934year(1486).
 1935year(1487).
 1936year(1488).
 1937year(1489).
 1938year(1490).
 1939year(1491).
 1940year(1492).
 1941year(1493).
 1942year(1494).
 1943year(1495).
 1944year(1496).
 1945year(1497).
 1946year(1498).
 1947year(1499).
 1948year(1500).
 1949year(1501).
 1950year(1502).
 1951year(1503).
 1952year(1504).
 1953year(1505).
 1954year(1506).
 1955year(1507).
 1956year(1508).
 1957year(1509).
 1958year(1510).
 1959year(1511).
 1960year(1512).
 1961year(1513).
 1962year(1514).
 1963year(1515).
 1964year(1516).
 1965year(1517).
 1966year(1518).
 1967year(1519).
 1968year(1520).
 1969year(1521).
 1970year(1522).
 1971year(1523).
 1972year(1524).
 1973year(1525).
 1974year(1526).
 1975year(1527).
 1976year(1528).
 1977year(1529).
 1978year(1530).
 1979year(1531).
 1980year(1532).
 1981year(1533).
 1982year(1534).
 1983year(1535).
 1984year(1536).
 1985year(1537).
 1986year(1538).
 1987year(1539).
 1988year(1540).
 1989year(1541).
 1990year(1542).
 1991year(1543).
 1992year(1544).
 1993year(1545).
 1994year(1546).
 1995year(1547).
 1996year(1548).
 1997year(1549).
 1998year(1550).
 1999year(1551).
 2000year(1552).
 2001year(1553).
 2002year(1554).
 2003year(1555).
 2004year(1556).
 2005year(1557).
 2006year(1558).
 2007year(1559).
 2008year(1560).
 2009year(1561).
 2010year(1562).
 2011year(1563).
 2012year(1564).
 2013year(1565).
 2014year(1566).
 2015year(1567).
 2016year(1568).
 2017year(1569).
 2018year(1570).
 2019year(1571).
 2020year(1572).
 2021year(1573).
 2022year(1574).
 2023year(1575).
 2024year(1576).
 2025year(1577).
 2026year(1578).
 2027year(1579).
 2028year(1580).
 2029year(1581).
 2030
 2031% more examples
 2032
 2033year(1582).
 2034year(1583).
 2035year(1584).
 2036year(1585).
 2037year(1586).
 2038year(1587).
 2039year(1588).
 2040year(1589).
 2041year(1590).
 2042year(1591).
 2043year(1592).
 2044year(1593).
 2045year(1594).
 2046year(1595).
 2047year(1596).
 2048year(1597).
 2049year(1598).
 2050year(1599).
 2051year(1600).
 2052:-end_bg. 2053:-begin_in_pos. 2054normal(1).
 2055normal(2).
 2056normal(3).
 2057normal(5).
 2058normal(6).
 2059normal(7).
 2060normal(9).
 2061normal(10).
 2062normal(11).
 2063normal(13).
 2064normal(14).
 2065normal(15).
 2066normal(17).
 2067normal(18).
 2068normal(19).
 2069normal(21).
 2070normal(22).
 2071normal(23).
 2072normal(25).
 2073normal(26).
 2074normal(27).
 2075normal(29).
 2076normal(30).
 2077normal(31).
 2078normal(33).
 2079normal(34).
 2080normal(35).
 2081normal(37).
 2082normal(38).
 2083normal(39).
 2084normal(41).
 2085normal(42).
 2086normal(43).
 2087normal(45).
 2088normal(46).
 2089normal(47).
 2090normal(49).
 2091normal(50).
 2092normal(51).
 2093normal(53).
 2094normal(54).
 2095normal(55).
 2096normal(57).
 2097normal(58).
 2098normal(59).
 2099normal(61).
 2100normal(62).
 2101normal(63).
 2102normal(65).
 2103normal(66).
 2104normal(67).
 2105normal(69).
 2106normal(70).
 2107normal(71).
 2108normal(73).
 2109normal(74).
 2110normal(75).
 2111normal(77).
 2112normal(78).
 2113normal(79).
 2114normal(81).
 2115normal(82).
 2116normal(83).
 2117normal(85).
 2118normal(86).
 2119normal(87).
 2120normal(89).
 2121normal(90).
 2122normal(91).
 2123normal(93).
 2124normal(94).
 2125normal(95).
 2126normal(97).
 2127normal(98).
 2128normal(99).
 2129normal(100).
 2130normal(101).
 2131normal(102).
 2132normal(103).
 2133normal(105).
 2134normal(106).
 2135normal(107).
 2136normal(109).
 2137normal(110).
 2138normal(111).
 2139normal(113).
 2140normal(114).
 2141normal(115).
 2142normal(117).
 2143normal(118).
 2144normal(119).
 2145normal(121).
 2146normal(122).
 2147normal(123).
 2148normal(125).
 2149normal(126).
 2150normal(127).
 2151normal(129).
 2152normal(130).
 2153normal(131).
 2154normal(133).
 2155normal(134).
 2156normal(135).
 2157normal(137).
 2158normal(138).
 2159normal(139).
 2160normal(141).
 2161normal(142).
 2162normal(143).
 2163normal(145).
 2164normal(146).
 2165normal(147).
 2166normal(149).
 2167normal(150).
 2168normal(151).
 2169normal(153).
 2170normal(154).
 2171normal(155).
 2172normal(157).
 2173normal(158).
 2174normal(159).
 2175normal(161).
 2176normal(162).
 2177normal(163).
 2178normal(165).
 2179normal(166).
 2180normal(167).
 2181normal(169).
 2182normal(170).
 2183normal(171).
 2184normal(173).
 2185normal(174).
 2186normal(175).
 2187normal(177).
 2188normal(178).
 2189normal(179).
 2190normal(181).
 2191normal(182).
 2192normal(183).
 2193normal(185).
 2194normal(186).
 2195normal(187).
 2196normal(189).
 2197normal(190).
 2198normal(191).
 2199normal(193).
 2200normal(194).
 2201normal(195).
 2202normal(197).
 2203normal(198).
 2204normal(199).
 2205normal(200).
 2206normal(201).
 2207normal(202).
 2208normal(203).
 2209normal(205).
 2210normal(206).
 2211normal(207).
 2212normal(209).
 2213normal(210).
 2214normal(211).
 2215normal(213).
 2216normal(214).
 2217normal(215).
 2218normal(217).
 2219normal(218).
 2220normal(219).
 2221normal(221).
 2222normal(222).
 2223normal(223).
 2224normal(225).
 2225normal(226).
 2226normal(227).
 2227normal(229).
 2228normal(230).
 2229normal(231).
 2230normal(233).
 2231normal(234).
 2232normal(235).
 2233normal(237).
 2234normal(238).
 2235normal(239).
 2236normal(241).
 2237normal(242).
 2238normal(243).
 2239normal(245).
 2240normal(246).
 2241normal(247).
 2242normal(249).
 2243normal(250).
 2244normal(251).
 2245normal(253).
 2246normal(254).
 2247normal(255).
 2248normal(257).
 2249normal(258).
 2250normal(259).
 2251normal(261).
 2252normal(262).
 2253normal(263).
 2254normal(265).
 2255normal(266).
 2256normal(267).
 2257normal(269).
 2258normal(270).
 2259normal(271).
 2260normal(273).
 2261normal(274).
 2262normal(275).
 2263normal(277).
 2264normal(278).
 2265normal(279).
 2266normal(281).
 2267normal(282).
 2268normal(283).
 2269normal(285).
 2270normal(286).
 2271normal(287).
 2272normal(289).
 2273normal(290).
 2274normal(291).
 2275normal(293).
 2276normal(294).
 2277normal(295).
 2278normal(297).
 2279normal(298).
 2280normal(299).
 2281normal(300).
 2282normal(301).
 2283normal(302).
 2284normal(303).
 2285normal(305).
 2286normal(306).
 2287normal(307).
 2288normal(309).
 2289normal(310).
 2290normal(311).
 2291normal(313).
 2292normal(314).
 2293normal(315).
 2294normal(317).
 2295normal(318).
 2296normal(319).
 2297normal(321).
 2298normal(322).
 2299normal(323).
 2300normal(325).
 2301normal(326).
 2302normal(327).
 2303normal(329).
 2304normal(330).
 2305normal(331).
 2306normal(333).
 2307normal(334).
 2308normal(335).
 2309normal(337).
 2310normal(338).
 2311normal(339).
 2312normal(341).
 2313normal(342).
 2314normal(343).
 2315normal(345).
 2316normal(346).
 2317normal(347).
 2318normal(349).
 2319normal(350).
 2320normal(351).
 2321normal(353).
 2322normal(354).
 2323normal(355).
 2324normal(357).
 2325normal(358).
 2326normal(359).
 2327normal(361).
 2328normal(362).
 2329normal(363).
 2330normal(365).
 2331normal(366).
 2332normal(367).
 2333normal(369).
 2334normal(370).
 2335normal(371).
 2336normal(373).
 2337normal(374).
 2338normal(375).
 2339normal(377).
 2340normal(378).
 2341normal(379).
 2342normal(381).
 2343normal(382).
 2344normal(383).
 2345normal(385).
 2346normal(386).
 2347normal(387).
 2348normal(389).
 2349normal(390).
 2350normal(391).
 2351normal(393).
 2352normal(394).
 2353normal(395).
 2354normal(397).
 2355normal(398).
 2356normal(399).
 2357normal(401).
 2358normal(402).
 2359normal(403).
 2360normal(405).
 2361normal(406).
 2362normal(407).
 2363normal(409).
 2364normal(410).
 2365normal(411).
 2366normal(413).
 2367normal(414).
 2368normal(415).
 2369normal(417).
 2370normal(418).
 2371normal(419).
 2372normal(421).
 2373normal(422).
 2374normal(423).
 2375normal(425).
 2376normal(426).
 2377normal(427).
 2378normal(429).
 2379normal(430).
 2380normal(431).
 2381normal(433).
 2382normal(434).
 2383normal(435).
 2384normal(437).
 2385normal(438).
 2386normal(439).
 2387normal(441).
 2388normal(442).
 2389normal(443).
 2390normal(445).
 2391normal(446).
 2392normal(447).
 2393normal(449).
 2394normal(450).
 2395normal(451).
 2396normal(453).
 2397normal(454).
 2398normal(455).
 2399normal(457).
 2400normal(458).
 2401normal(459).
 2402normal(461).
 2403normal(462).
 2404normal(463).
 2405normal(465).
 2406normal(466).
 2407normal(467).
 2408normal(469).
 2409normal(470).
 2410normal(471).
 2411normal(473).
 2412normal(474).
 2413normal(475).
 2414normal(477).
 2415normal(478).
 2416normal(479).
 2417normal(481).
 2418normal(482).
 2419normal(483).
 2420normal(485).
 2421normal(486).
 2422normal(487).
 2423normal(489).
 2424normal(490).
 2425normal(491).
 2426normal(493).
 2427normal(494).
 2428normal(495).
 2429normal(497).
 2430normal(498).
 2431normal(499).
 2432normal(500).
 2433normal(501).
 2434normal(502).
 2435normal(503).
 2436normal(505).
 2437normal(506).
 2438normal(507).
 2439normal(509).
 2440normal(510).
 2441normal(511).
 2442normal(513).
 2443normal(514).
 2444normal(515).
 2445normal(517).
 2446normal(518).
 2447normal(519).
 2448normal(521).
 2449normal(522).
 2450normal(523).
 2451normal(525).
 2452normal(526).
 2453normal(527).
 2454normal(529).
 2455normal(530).
 2456normal(531).
 2457normal(533).
 2458normal(534).
 2459normal(535).
 2460normal(537).
 2461normal(538).
 2462normal(539).
 2463normal(541).
 2464normal(542).
 2465normal(543).
 2466normal(545).
 2467normal(546).
 2468normal(547).
 2469normal(549).
 2470normal(550).
 2471normal(551).
 2472normal(553).
 2473normal(554).
 2474normal(555).
 2475normal(557).
 2476normal(558).
 2477normal(559).
 2478normal(561).
 2479normal(562).
 2480normal(563).
 2481normal(565).
 2482normal(566).
 2483normal(567).
 2484normal(569).
 2485normal(570).
 2486normal(571).
 2487normal(573).
 2488normal(574).
 2489normal(575).
 2490normal(577).
 2491normal(578).
 2492normal(579).
 2493normal(581).
 2494normal(582).
 2495normal(583).
 2496normal(585).
 2497normal(586).
 2498normal(587).
 2499normal(589).
 2500normal(590).
 2501normal(591).
 2502normal(593).
 2503normal(594).
 2504normal(595).
 2505normal(597).
 2506normal(598).
 2507normal(599).
 2508normal(600).
 2509normal(601).
 2510normal(602).
 2511normal(603).
 2512normal(605).
 2513normal(606).
 2514normal(607).
 2515normal(609).
 2516normal(610).
 2517normal(611).
 2518normal(613).
 2519normal(614).
 2520normal(615).
 2521normal(617).
 2522normal(618).
 2523normal(619).
 2524normal(621).
 2525normal(622).
 2526normal(623).
 2527normal(625).
 2528normal(626).
 2529normal(627).
 2530normal(629).
 2531normal(630).
 2532normal(631).
 2533normal(633).
 2534normal(634).
 2535normal(635).
 2536normal(637).
 2537normal(638).
 2538normal(639).
 2539normal(641).
 2540normal(642).
 2541normal(643).
 2542normal(645).
 2543normal(646).
 2544normal(647).
 2545normal(649).
 2546normal(650).
 2547normal(651).
 2548normal(653).
 2549normal(654).
 2550normal(655).
 2551normal(657).
 2552normal(658).
 2553normal(659).
 2554normal(661).
 2555normal(662).
 2556normal(663).
 2557normal(665).
 2558normal(666).
 2559normal(667).
 2560normal(669).
 2561normal(670).
 2562normal(671).
 2563normal(673).
 2564normal(674).
 2565normal(675).
 2566normal(677).
 2567normal(678).
 2568normal(679).
 2569normal(681).
 2570normal(682).
 2571normal(683).
 2572normal(685).
 2573normal(686).
 2574normal(687).
 2575normal(689).
 2576normal(690).
 2577normal(691).
 2578normal(693).
 2579normal(694).
 2580normal(695).
 2581normal(697).
 2582normal(698).
 2583normal(699).
 2584normal(700).
 2585normal(701).
 2586normal(702).
 2587normal(703).
 2588normal(705).
 2589normal(706).
 2590normal(707).
 2591normal(709).
 2592normal(710).
 2593normal(711).
 2594normal(713).
 2595normal(714).
 2596normal(715).
 2597normal(717).
 2598normal(718).
 2599normal(719).
 2600normal(721).
 2601normal(722).
 2602normal(723).
 2603normal(725).
 2604normal(726).
 2605normal(727).
 2606normal(729).
 2607normal(730).
 2608normal(731).
 2609normal(733).
 2610normal(734).
 2611normal(735).
 2612normal(737).
 2613normal(738).
 2614normal(739).
 2615normal(741).
 2616normal(742).
 2617normal(743).
 2618normal(745).
 2619normal(746).
 2620normal(747).
 2621normal(749).
 2622normal(750).
 2623normal(751).
 2624normal(753).
 2625normal(754).
 2626normal(755).
 2627normal(757).
 2628normal(758).
 2629normal(759).
 2630normal(761).
 2631normal(762).
 2632normal(763).
 2633normal(765).
 2634normal(766).
 2635normal(767).
 2636normal(769).
 2637normal(770).
 2638normal(771).
 2639normal(773).
 2640normal(774).
 2641normal(775).
 2642normal(777).
 2643normal(778).
 2644normal(779).
 2645normal(781).
 2646normal(782).
 2647normal(783).
 2648normal(785).
 2649normal(786).
 2650normal(787).
 2651normal(789).
 2652normal(790).
 2653normal(791).
 2654normal(793).
 2655normal(794).
 2656normal(795).
 2657normal(797).
 2658normal(798).
 2659normal(799).
 2660normal(801).
 2661normal(802).
 2662normal(803).
 2663normal(805).
 2664normal(806).
 2665normal(807).
 2666normal(809).
 2667normal(810).
 2668normal(811).
 2669normal(813).
 2670normal(814).
 2671normal(815).
 2672normal(817).
 2673normal(818).
 2674normal(819).
 2675normal(821).
 2676normal(822).
 2677normal(823).
 2678normal(825).
 2679normal(826).
 2680normal(827).
 2681normal(829).
 2682normal(830).
 2683normal(831).
 2684normal(833).
 2685normal(834).
 2686normal(835).
 2687normal(837).
 2688normal(838).
 2689normal(839).
 2690normal(841).
 2691normal(842).
 2692normal(843).
 2693normal(845).
 2694normal(846).
 2695normal(847).
 2696normal(849).
 2697normal(850).
 2698normal(851).
 2699normal(853).
 2700normal(854).
 2701normal(855).
 2702normal(857).
 2703normal(858).
 2704normal(859).
 2705normal(861).
 2706normal(862).
 2707normal(863).
 2708normal(865).
 2709normal(866).
 2710normal(867).
 2711normal(869).
 2712normal(870).
 2713normal(871).
 2714normal(873).
 2715normal(874).
 2716normal(875).
 2717normal(877).
 2718normal(878).
 2719normal(879).
 2720normal(881).
 2721normal(882).
 2722normal(883).
 2723normal(885).
 2724normal(886).
 2725normal(887).
 2726normal(889).
 2727normal(890).
 2728normal(891).
 2729normal(893).
 2730normal(894).
 2731normal(895).
 2732normal(897).
 2733normal(898).
 2734normal(899).
 2735normal(900).
 2736normal(901).
 2737normal(902).
 2738normal(903).
 2739normal(905).
 2740normal(906).
 2741normal(907).
 2742normal(909).
 2743normal(910).
 2744normal(911).
 2745normal(913).
 2746normal(914).
 2747normal(915).
 2748normal(917).
 2749normal(918).
 2750normal(919).
 2751normal(921).
 2752normal(922).
 2753normal(923).
 2754normal(925).
 2755normal(926).
 2756normal(927).
 2757normal(929).
 2758normal(930).
 2759normal(931).
 2760normal(933).
 2761normal(934).
 2762normal(935).
 2763normal(937).
 2764normal(938).
 2765normal(939).
 2766normal(941).
 2767normal(942).
 2768normal(943).
 2769normal(945).
 2770normal(946).
 2771normal(947).
 2772normal(949).
 2773normal(950).
 2774normal(951).
 2775normal(953).
 2776normal(954).
 2777normal(955).
 2778normal(957).
 2779normal(958).
 2780normal(959).
 2781normal(961).
 2782normal(962).
 2783normal(963).
 2784normal(965).
 2785normal(966).
 2786normal(967).
 2787normal(969).
 2788normal(970).
 2789normal(971).
 2790normal(973).
 2791normal(974).
 2792normal(975).
 2793normal(977).
 2794normal(978).
 2795normal(979).
 2796normal(981).
 2797normal(982).
 2798normal(983).
 2799normal(985).
 2800normal(986).
 2801normal(987).
 2802normal(989).
 2803normal(990).
 2804normal(991).
 2805normal(993).
 2806normal(994).
 2807normal(995).
 2808normal(997).
 2809normal(998).
 2810normal(999).
 2811normal(1000).
 2812normal(1001).
 2813normal(1002).
 2814normal(1003).
 2815normal(1005).
 2816normal(1006).
 2817normal(1007).
 2818normal(1009).
 2819normal(1010).
 2820normal(1011).
 2821normal(1013).
 2822normal(1014).
 2823normal(1015).
 2824normal(1017).
 2825normal(1018).
 2826normal(1019).
 2827normal(1021).
 2828normal(1022).
 2829normal(1023).
 2830normal(1025).
 2831normal(1026).
 2832normal(1027).
 2833normal(1029).
 2834normal(1030).
 2835normal(1031).
 2836normal(1033).
 2837normal(1034).
 2838normal(1035).
 2839normal(1037).
 2840normal(1038).
 2841normal(1039).
 2842normal(1041).
 2843normal(1042).
 2844normal(1043).
 2845normal(1045).
 2846normal(1046).
 2847normal(1047).
 2848normal(1049).
 2849normal(1050).
 2850normal(1051).
 2851normal(1053).
 2852normal(1054).
 2853normal(1055).
 2854normal(1057).
 2855normal(1058).
 2856normal(1059).
 2857normal(1061).
 2858normal(1062).
 2859normal(1063).
 2860normal(1065).
 2861normal(1066).
 2862normal(1067).
 2863normal(1069).
 2864normal(1070).
 2865normal(1071).
 2866normal(1073).
 2867normal(1074).
 2868normal(1075).
 2869normal(1077).
 2870normal(1078).
 2871normal(1079).
 2872normal(1081).
 2873normal(1082).
 2874normal(1083).
 2875normal(1085).
 2876normal(1086).
 2877normal(1087).
 2878normal(1089).
 2879normal(1090).
 2880normal(1091).
 2881normal(1093).
 2882normal(1094).
 2883normal(1095).
 2884normal(1097).
 2885normal(1098).
 2886normal(1099).
 2887normal(1100).
 2888normal(1101).
 2889normal(1102).
 2890normal(1103).
 2891normal(1105).
 2892normal(1106).
 2893normal(1107).
 2894normal(1109).
 2895normal(1110).
 2896normal(1111).
 2897normal(1113).
 2898normal(1114).
 2899normal(1115).
 2900normal(1117).
 2901normal(1118).
 2902normal(1119).
 2903normal(1121).
 2904normal(1122).
 2905normal(1123).
 2906normal(1125).
 2907normal(1126).
 2908normal(1127).
 2909normal(1129).
 2910normal(1130).
 2911normal(1131).
 2912normal(1133).
 2913normal(1134).
 2914normal(1135).
 2915normal(1137).
 2916normal(1138).
 2917normal(1139).
 2918normal(1141).
 2919normal(1142).
 2920normal(1143).
 2921normal(1145).
 2922normal(1146).
 2923normal(1147).
 2924normal(1149).
 2925normal(1150).
 2926normal(1151).
 2927normal(1153).
 2928normal(1154).
 2929normal(1155).
 2930normal(1157).
 2931normal(1158).
 2932normal(1159).
 2933normal(1161).
 2934normal(1162).
 2935normal(1163).
 2936normal(1165).
 2937normal(1166).
 2938normal(1167).
 2939normal(1169).
 2940normal(1170).
 2941normal(1171).
 2942normal(1173).
 2943normal(1174).
 2944normal(1175).
 2945normal(1177).
 2946normal(1178).
 2947normal(1179).
 2948normal(1181).
 2949normal(1182).
 2950normal(1183).
 2951normal(1185).
 2952normal(1186).
 2953normal(1187).
 2954normal(1189).
 2955normal(1190).
 2956normal(1191).
 2957normal(1193).
 2958normal(1194).
 2959normal(1195).
 2960normal(1197).
 2961normal(1198).
 2962normal(1199).
 2963normal(1201).
 2964normal(1202).
 2965normal(1203).
 2966normal(1205).
 2967normal(1206).
 2968normal(1207).
 2969normal(1209).
 2970normal(1210).
 2971normal(1211).
 2972normal(1213).
 2973normal(1214).
 2974normal(1215).
 2975normal(1217).
 2976normal(1218).
 2977normal(1219).
 2978normal(1221).
 2979normal(1222).
 2980normal(1223).
 2981normal(1225).
 2982normal(1226).
 2983normal(1227).
 2984normal(1229).
 2985normal(1230).
 2986normal(1231).
 2987normal(1233).
 2988normal(1234).
 2989normal(1235).
 2990normal(1237).
 2991normal(1238).
 2992normal(1239).
 2993normal(1241).
 2994normal(1242).
 2995normal(1243).
 2996normal(1245).
 2997normal(1246).
 2998normal(1247).
 2999normal(1249).
 3000normal(1250).
 3001normal(1251).
 3002normal(1253).
 3003normal(1254).
 3004normal(1255).
 3005normal(1257).
 3006normal(1258).
 3007normal(1259).
 3008normal(1261).
 3009normal(1262).
 3010normal(1263).
 3011normal(1265).
 3012normal(1266).
 3013normal(1267).
 3014normal(1269).
 3015normal(1270).
 3016normal(1271).
 3017normal(1273).
 3018normal(1274).
 3019normal(1275).
 3020normal(1277).
 3021normal(1278).
 3022normal(1279).
 3023normal(1281).
 3024normal(1282).
 3025normal(1283).
 3026normal(1285).
 3027normal(1286).
 3028normal(1287).
 3029normal(1289).
 3030normal(1290).
 3031normal(1291).
 3032normal(1293).
 3033normal(1294).
 3034normal(1295).
 3035normal(1297).
 3036normal(1298).
 3037normal(1299).
 3038normal(1300).
 3039normal(1301).
 3040normal(1302).
 3041normal(1303).
 3042normal(1305).
 3043normal(1306).
 3044normal(1307).
 3045normal(1309).
 3046normal(1310).
 3047normal(1311).
 3048normal(1313).
 3049normal(1314).
 3050normal(1315).
 3051normal(1317).
 3052normal(1318).
 3053normal(1319).
 3054normal(1321).
 3055normal(1322).
 3056normal(1323).
 3057normal(1325).
 3058normal(1326).
 3059normal(1327).
 3060normal(1329).
 3061normal(1330).
 3062normal(1331).
 3063normal(1333).
 3064normal(1334).
 3065normal(1335).
 3066normal(1337).
 3067normal(1338).
 3068normal(1339).
 3069normal(1341).
 3070normal(1342).
 3071normal(1343).
 3072normal(1345).
 3073normal(1346).
 3074normal(1347).
 3075normal(1349).
 3076normal(1350).
 3077normal(1351).
 3078normal(1353).
 3079normal(1354).
 3080normal(1355).
 3081normal(1357).
 3082normal(1358).
 3083normal(1359).
 3084normal(1361).
 3085normal(1362).
 3086normal(1363).
 3087normal(1365).
 3088normal(1366).
 3089normal(1367).
 3090normal(1369).
 3091normal(1370).
 3092normal(1371).
 3093normal(1373).
 3094normal(1374).
 3095normal(1375).
 3096normal(1377).
 3097normal(1378).
 3098normal(1379).
 3099normal(1381).
 3100normal(1382).
 3101normal(1383).
 3102normal(1385).
 3103normal(1386).
 3104normal(1387).
 3105normal(1389).
 3106normal(1390).
 3107normal(1391).
 3108normal(1393).
 3109normal(1394).
 3110normal(1395).
 3111normal(1397).
 3112normal(1398).
 3113normal(1399).
 3114normal(1400).
 3115normal(1401).
 3116normal(1402).
 3117normal(1403).
 3118normal(1405).
 3119normal(1406).
 3120normal(1407).
 3121normal(1409).
 3122normal(1410).
 3123normal(1411).
 3124normal(1413).
 3125normal(1414).
 3126normal(1415).
 3127normal(1417).
 3128normal(1418).
 3129normal(1419).
 3130normal(1421).
 3131normal(1422).
 3132normal(1423).
 3133normal(1425).
 3134normal(1426).
 3135normal(1427).
 3136normal(1429).
 3137normal(1430).
 3138normal(1431).
 3139normal(1433).
 3140normal(1434).
 3141normal(1435).
 3142normal(1437).
 3143normal(1438).
 3144normal(1439).
 3145normal(1441).
 3146normal(1442).
 3147normal(1443).
 3148normal(1445).
 3149normal(1446).
 3150normal(1447).
 3151normal(1449).
 3152normal(1450).
 3153normal(1451).
 3154normal(1453).
 3155normal(1454).
 3156normal(1455).
 3157normal(1457).
 3158normal(1458).
 3159normal(1459).
 3160normal(1461).
 3161normal(1462).
 3162normal(1463).
 3163normal(1465).
 3164normal(1466).
 3165normal(1467).
 3166normal(1469).
 3167normal(1470).
 3168normal(1471).
 3169normal(1473).
 3170normal(1474).
 3171normal(1475).
 3172normal(1477).
 3173normal(1478).
 3174normal(1479).
 3175normal(1481).
 3176normal(1482).
 3177normal(1483).
 3178normal(1485).
 3179normal(1486).
 3180normal(1487).
 3181normal(1489).
 3182normal(1490).
 3183normal(1491).
 3184normal(1493).
 3185normal(1494).
 3186normal(1495).
 3187normal(1497).
 3188normal(1498).
 3189normal(1499).
 3190normal(1500).
 3191normal(1501).
 3192normal(1502).
 3193normal(1503).
 3194normal(1505).
 3195normal(1506).
 3196normal(1507).
 3197normal(1509).
 3198normal(1510).
 3199normal(1511).
 3200normal(1513).
 3201normal(1514).
 3202normal(1515).
 3203normal(1517).
 3204normal(1518).
 3205normal(1519).
 3206normal(1521).
 3207normal(1522).
 3208normal(1523).
 3209normal(1525).
 3210normal(1526).
 3211normal(1527).
 3212normal(1529).
 3213normal(1530).
 3214normal(1531).
 3215normal(1533).
 3216normal(1534).
 3217normal(1535).
 3218normal(1537).
 3219normal(1538).
 3220normal(1539).
 3221normal(1541).
 3222normal(1542).
 3223normal(1543).
 3224normal(1545).
 3225normal(1546).
 3226normal(1547).
 3227normal(1549).
 3228normal(1550).
 3229normal(1551).
 3230normal(1553).
 3231normal(1554).
 3232normal(1555).
 3233normal(1557).
 3234normal(1558).
 3235normal(1559).
 3236normal(1561).
 3237normal(1562).
 3238normal(1563).
 3239normal(1565).
 3240normal(1566).
 3241normal(1567).
 3242normal(1569).
 3243normal(1570).
 3244normal(1571).
 3245normal(1573).
 3246normal(1574).
 3247normal(1575).
 3248normal(1577).
 3249normal(1578).
 3250normal(1579).
 3251normal(1581).
 3252
 3253% more examples
 3254
 3255normal(1582).
 3256normal(1583).
 3257normal(1585).
 3258normal(1586).
 3259normal(1587).
 3260normal(1589).
 3261normal(1590).
 3262normal(1591).
 3263normal(1593).
 3264normal(1594).
 3265normal(1595).
 3266normal(1597).
 3267normal(1598).
 3268normal(1599).
 3269:-end_in_pos. 3270:-begin_in_neg. 3271normal(4).
 3272normal(8).
 3273normal(12).
 3274normal(16).
 3275normal(20).
 3276normal(24).
 3277normal(28).
 3278normal(32).
 3279normal(36).
 3280normal(40).
 3281normal(44).
 3282normal(48).
 3283normal(52).
 3284normal(56).
 3285normal(60).
 3286normal(64).
 3287normal(68).
 3288normal(72).
 3289normal(76).
 3290normal(80).
 3291normal(84).
 3292normal(88).
 3293normal(92).
 3294normal(96).
 3295normal(104).
 3296normal(108).
 3297normal(112).
 3298normal(116).
 3299normal(120).
 3300normal(124).
 3301normal(128).
 3302normal(132).
 3303normal(136).
 3304normal(140).
 3305normal(144).
 3306normal(148).
 3307normal(152).
 3308normal(156).
 3309normal(160).
 3310normal(164).
 3311normal(168).
 3312normal(172).
 3313normal(176).
 3314normal(180).
 3315normal(184).
 3316normal(188).
 3317normal(192).
 3318normal(196).
 3319normal(204).
 3320normal(208).
 3321normal(212).
 3322normal(216).
 3323normal(220).
 3324normal(224).
 3325normal(228).
 3326normal(232).
 3327normal(236).
 3328normal(240).
 3329normal(244).
 3330normal(248).
 3331normal(252).
 3332normal(256).
 3333normal(260).
 3334normal(264).
 3335normal(268).
 3336normal(272).
 3337normal(276).
 3338normal(280).
 3339normal(284).
 3340normal(288).
 3341normal(292).
 3342normal(296).
 3343normal(304).
 3344normal(308).
 3345normal(312).
 3346normal(316).
 3347normal(320).
 3348normal(324).
 3349normal(328).
 3350normal(332).
 3351normal(336).
 3352normal(340).
 3353normal(344).
 3354normal(348).
 3355normal(352).
 3356normal(356).
 3357normal(360).
 3358normal(364).
 3359normal(368).
 3360normal(372).
 3361normal(376).
 3362normal(380).
 3363normal(384).
 3364normal(388).
 3365normal(392).
 3366normal(396).
 3367normal(400).
 3368normal(404).
 3369normal(408).
 3370normal(412).
 3371normal(416).
 3372normal(420).
 3373normal(424).
 3374normal(428).
 3375normal(432).
 3376normal(436).
 3377normal(440).
 3378normal(444).
 3379normal(448).
 3380normal(452).
 3381normal(456).
 3382normal(460).
 3383normal(464).
 3384normal(468).
 3385normal(472).
 3386normal(476).
 3387normal(480).
 3388normal(484).
 3389normal(488).
 3390normal(492).
 3391normal(496).
 3392normal(504).
 3393normal(508).
 3394normal(512).
 3395normal(516).
 3396normal(520).
 3397normal(524).
 3398normal(528).
 3399normal(532).
 3400normal(536).
 3401normal(540).
 3402normal(544).
 3403normal(548).
 3404normal(552).
 3405normal(556).
 3406normal(560).
 3407normal(564).
 3408normal(568).
 3409normal(572).
 3410normal(576).
 3411normal(580).
 3412normal(584).
 3413normal(588).
 3414normal(592).
 3415normal(596).
 3416normal(604).
 3417normal(608).
 3418normal(612).
 3419normal(616).
 3420normal(620).
 3421normal(624).
 3422normal(628).
 3423normal(632).
 3424normal(636).
 3425normal(640).
 3426normal(644).
 3427normal(648).
 3428normal(652).
 3429normal(656).
 3430normal(660).
 3431normal(664).
 3432normal(668).
 3433normal(672).
 3434normal(676).
 3435normal(680).
 3436normal(684).
 3437normal(688).
 3438normal(692).
 3439normal(696).
 3440normal(704).
 3441normal(708).
 3442normal(712).
 3443normal(716).
 3444normal(720).
 3445normal(724).
 3446normal(728).
 3447normal(732).
 3448normal(736).
 3449normal(740).
 3450normal(744).
 3451normal(748).
 3452normal(752).
 3453normal(756).
 3454normal(760).
 3455normal(764).
 3456normal(768).
 3457normal(772).
 3458normal(776).
 3459normal(780).
 3460normal(784).
 3461normal(788).
 3462normal(792).
 3463normal(796).
 3464normal(800).
 3465normal(804).
 3466normal(808).
 3467normal(812).
 3468normal(816).
 3469normal(820).
 3470normal(824).
 3471normal(828).
 3472normal(832).
 3473normal(836).
 3474normal(840).
 3475normal(844).
 3476normal(848).
 3477normal(852).
 3478normal(856).
 3479normal(860).
 3480normal(864).
 3481normal(868).
 3482normal(872).
 3483normal(876).
 3484normal(880).
 3485normal(884).
 3486normal(888).
 3487normal(892).
 3488normal(896).
 3489normal(904).
 3490normal(908).
 3491normal(912).
 3492normal(916).
 3493normal(920).
 3494normal(924).
 3495normal(928).
 3496normal(932).
 3497normal(936).
 3498normal(940).
 3499normal(944).
 3500normal(948).
 3501normal(952).
 3502normal(956).
 3503normal(960).
 3504normal(964).
 3505normal(968).
 3506normal(972).
 3507normal(976).
 3508normal(980).
 3509normal(984).
 3510normal(988).
 3511normal(992).
 3512normal(996).
 3513normal(1004).
 3514normal(1008).
 3515normal(1012).
 3516normal(1016).
 3517normal(1020).
 3518normal(1024).
 3519normal(1028).
 3520normal(1032).
 3521normal(1036).
 3522normal(1040).
 3523normal(1044).
 3524normal(1048).
 3525normal(1052).
 3526normal(1056).
 3527normal(1060).
 3528normal(1064).
 3529normal(1068).
 3530normal(1072).
 3531normal(1076).
 3532normal(1080).
 3533normal(1084).
 3534normal(1088).
 3535normal(1092).
 3536normal(1096).
 3537normal(1104).
 3538normal(1108).
 3539normal(1112).
 3540normal(1116).
 3541normal(1120).
 3542normal(1124).
 3543normal(1128).
 3544normal(1132).
 3545normal(1136).
 3546normal(1140).
 3547normal(1144).
 3548normal(1148).
 3549normal(1152).
 3550normal(1156).
 3551normal(1160).
 3552normal(1164).
 3553normal(1168).
 3554normal(1172).
 3555normal(1176).
 3556normal(1180).
 3557normal(1184).
 3558normal(1188).
 3559normal(1192).
 3560normal(1196).
 3561normal(1200).
 3562normal(1204).
 3563normal(1208).
 3564normal(1212).
 3565normal(1216).
 3566normal(1220).
 3567normal(1224).
 3568normal(1228).
 3569normal(1232).
 3570normal(1236).
 3571normal(1240).
 3572normal(1244).
 3573normal(1248).
 3574normal(1252).
 3575normal(1256).
 3576normal(1260).
 3577normal(1264).
 3578normal(1268).
 3579normal(1272).
 3580normal(1276).
 3581normal(1280).
 3582normal(1284).
 3583normal(1288).
 3584normal(1292).
 3585normal(1296).
 3586normal(1304).
 3587normal(1308).
 3588normal(1312).
 3589normal(1316).
 3590normal(1320).
 3591normal(1324).
 3592normal(1328).
 3593normal(1332).
 3594normal(1336).
 3595normal(1340).
 3596normal(1344).
 3597normal(1348).
 3598normal(1352).
 3599normal(1356).
 3600normal(1360).
 3601normal(1364).
 3602normal(1368).
 3603normal(1372).
 3604normal(1376).
 3605normal(1380).
 3606normal(1384).
 3607normal(1388).
 3608normal(1392).
 3609normal(1396).
 3610normal(1404).
 3611normal(1408).
 3612normal(1412).
 3613normal(1416).
 3614normal(1420).
 3615normal(1424).
 3616normal(1428).
 3617normal(1432).
 3618normal(1436).
 3619normal(1440).
 3620normal(1444).
 3621normal(1448).
 3622normal(1452).
 3623normal(1456).
 3624normal(1460).
 3625normal(1464).
 3626normal(1468).
 3627normal(1472).
 3628normal(1476).
 3629normal(1480).
 3630normal(1484).
 3631normal(1488).
 3632normal(1492).
 3633normal(1496).
 3634normal(1504).
 3635normal(1508).
 3636normal(1512).
 3637normal(1516).
 3638normal(1520).
 3639normal(1524).
 3640normal(1528).
 3641normal(1532).
 3642normal(1536).
 3643normal(1540).
 3644normal(1544).
 3645normal(1548).
 3646normal(1552).
 3647normal(1556).
 3648normal(1560).
 3649normal(1564).
 3650normal(1568).
 3651normal(1572).
 3652normal(1576).
 3653normal(1580).
 3654
 3655% more examples
 3656normal(1584).
 3657normal(1588).
 3658normal(1592).
 3659normal(1596).
 3660normal(1600).
 3661:-end_in_neg.