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
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
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
3656normal(1584).
3657normal(1588).
3658normal(1592).
3659normal(1596).
3660normal(1600).
3661:-end_in_neg.
?- rdhyp,sphyp,
show(gcws)
,addgcws. % input % |:normal(A)
. */