acyl(30,1).
acyl(40,1).
acyl(43,2).
acyl(34,2).
acyl(30,3).
acyl(33,3).
acyl(45,4).
acyl(40,4).
acyl(31,5).
acyl(45,5).
acyl(31,6).
acyl(48,6).
acyl(31,7).
acyl(41,7).
acyl(25,8).
acyl(30,8).
acyl(40,9).
acyl(31,9).
acyl(35,10).
acyl(46,10).
acyl(32,11).
acyl(28,11).
acyl(35,12).
acyl(43,12).
acyl(46,13).
acyl(48,13).
acyl(39,14).
acyl(35,14).
acyl(46,15).
acyl(28,15).
acyl(28,16).
acyl(42,16).
acyl(33,17).
acyl(25,17).
acyl(46,18).
acyl(27,18).
acyl(38,19).
acyl(47,19).
acyl(27,20).
acyl(41,20).
acyl(34,21).
acyl(38,21).
acyl(27,22).
acyl(33,22).
acyl(26,23).
acyl(35,23).
acyl(36,24).
acyl(25,24).
acyl(70,25).
acyl(52,25).
acyl(59,26).
acyl(71,26).
acyl(61,27).
acyl(58,27).
acyl(61,28).
acyl(54,28).
acyl(63,29).
acyl(70,29).
acyl(58,30).
acyl(53,30).
acyl(56,31).
acyl(60,31).
acyl(58,32).
acyl(50,32).
acyl(62,33).
acyl(66,33).
acyl(55,34).
acyl(72,34).
acyl(63,35).
acyl(58,35).
acyl(55,36).
acyl(64,36).
acyl(56,37).
acyl(58,37).
acyl(68,38).
acyl(61,38).
acyl(64,39).
acyl(52,39).
acyl(57,40).
acyl(70,40).
acyl(69,41).
acyl(55,41).
acyl(62,42).
acyl(53,42).
acyl(68,43).
acyl(65,43).
acyl(56,44).
acyl(62,44).
acyl(67,45).
acyl(71,45).
acyl(71,46).
acyl(66,46).
acyl(61,47).
acyl(60,47).
acyl(60,48).
acyl(54,48).
acyl(93,49).
acyl(88,49).
acyl(90,50).
acyl(93,50).
acyl(95,51).
acyl(92,51).
acyl(93,52).
acyl(94,52).
acyl(83,53).
acyl(90,53).
acyl(78,54).
acyl(79,54).
acyl(79,55).
acyl(92,55).
acyl(96,56).
acyl(94,56).
acyl(94,57).
acyl(80,57).
acyl(79,58).
acyl(83,58).
acyl(75,59).
acyl(96,59).
acyl(86,60).
acyl(79,60).
acyl(85,61).
acyl(75,61).
acyl(82,62).
acyl(95,62).
acyl(85,63).
acyl(78,63).
acyl(92,64).
acyl(86,64).
acyl(76,65).
acyl(78,65).
acyl(78,66).
acyl(81,66).
acyl(96,67).
acyl(78,67).
acyl(88,68).
acyl(77,68).
acyl(86,69).
acyl(90,69).
acyl(93,70).
acyl(80,70).
acyl(92,71).
acyl(74,71).
acyl(88,72).
acyl(81,72).
acyl(113,73).
acyl(116,73).
acyl(101,74).
acyl(100,74).
acyl(113,75).
acyl(109,75).
acyl(112,76).
acyl(98,76).
acyl(109,77).
acyl(108,77).
acyl(112,78).
acyl(117,78).
acyl(101,79).
acyl(110,79).
acyl(110,80).
acyl(119,80).
acyl(108,81).
acyl(98,81).
acyl(111,82).
acyl(113,82).
acyl(116,83).
acyl(111,83).
acyl(114,84).
acyl(103,84).
acyl(97,85).
acyl(114,85).
acyl(107,86).
acyl(120,86).
acyl(116,87).
acyl(105,87).
acyl(99,88).
acyl(105,88).
acyl(118,89).
acyl(110,89).
acyl(104,90).
acyl(108,90).
acyl(98,91).
acyl(106,91).
acyl(100,92).
acyl(108,92).
acyl(117,93).
acyl(114,93).
acyl(115,94).
acyl(118,94).
acyl(99,95).
acyl(108,95).
acyl(111,96).
acyl(98,96).
acyl(125,97).
acyl(132,97).
acyl(134,98).
acyl(131,98).
acyl(124,99).
acyl(136,99).
acyl(122,100).
acyl(129,100).
acyl(140,101).
acyl(125,101).
acyl(142,102).
acyl(137,102).
acyl(137,103).
acyl(141,103).
acyl(135,104).
acyl(132,104).
acyl(126,105).
acyl(137,105).
acyl(142,106).
acyl(128,106).
acyl(123,107).
acyl(143,107).
acyl(126,108).
acyl(132,108).
acyl(128,109).
acyl(130,109).
acyl(124,110).
acyl(136,110).
acyl(123,111).
acyl(141,111).
acyl(128,112).
acyl(142,112).
acyl(130,113).
acyl(128,113).
acyl(144,114).
acyl(139,114).
acyl(141,115).
acyl(139,115).
acyl(134,116).
acyl(126,116).
acyl(135,117).
acyl(131,117).
acyl(137,118).
acyl(142,118).
acyl(133,119).
acyl(125,119).
acyl(135,120).
acyl(139,120).
acyl(154,121).
acyl(151,121).
acyl(150,122).
acyl(156,122).
acyl(158,123).
acyl(168,123).
acyl(160,124).
acyl(168,124).
acyl(159,125).
acyl(161,125).
acyl(167,126).
acyl(156,126).
acyl(151,127).
acyl(167,127).
acyl(164,128).
acyl(152,128).
acyl(154,129).
acyl(158,129).
acyl(164,130).
acyl(150,130).
acyl(165,131).
acyl(155,131).
acyl(154,132).
acyl(157,132).
acyl(163,133).
acyl(161,133).
acyl(147,134).
acyl(160,134).
acyl(156,135).
acyl(148,135).
acyl(153,136).
acyl(157,136).
acyl(159,137).
acyl(152,137).
acyl(149,138).
acyl(152,138).
acyl(161,139).
acyl(157,139).
acyl(167,140).
acyl(161,140).
acyl(168,141).
acyl(145,141).
acyl(161,142).
acyl(160,142).
acyl(146,143).
acyl(150,143).
acyl(160,144).
acyl(163,144).
acyl(184,145).
acyl(171,145).
acyl(187,146).
acyl(171,146).
acyl(179,147).
acyl(182,147).
acyl(185,148).
acyl(180,148).
acyl(187,149).
acyl(174,149).
acyl(175,150).
acyl(190,150).
acyl(176,151).
acyl(185,151).
acyl(169,152).
acyl(182,152).
acyl(181,153).
acyl(188,153).
acyl(190,154).
acyl(179,154).
acyl(184,155).
acyl(187,155).
acyl(169,156).
acyl(184,156).
acyl(183,157).
acyl(186,157).
acyl(174,158).
acyl(179,158).
acyl(175,159).
acyl(172,159).
acyl(190,160).
acyl(189,160).
acyl(180,161).
acyl(175,161).
acyl(192,162).
acyl(182,162).
acyl(179,163).
acyl(175,163).
acyl(174,164).
acyl(181,164).
acyl(178,165).
acyl(185,165).
acyl(170,166).
acyl(169,166).
acyl(183,167).
acyl(178,167).
acyl(180,168).
acyl(181,168).
acyl(213,169).
acyl(207,169).
acyl(206,170).
acyl(203,170).
acyl(195,171).
acyl(209,171).
acyl(214,172).
acyl(197,172).
acyl(205,173).
acyl(206,173).
acyl(212,174).
acyl(214,174).
acyl(201,175).
acyl(204,175).
acyl(206,176).
acyl(200,176).
acyl(202,177).
acyl(207,177).
acyl(202,178).
acyl(203,178).
acyl(216,179).
acyl(196,179).
acyl(211,180).
acyl(197,180).
acyl(193,181).
acyl(207,181).
acyl(196,182).
acyl(194,182).
acyl(215,183).
acyl(199,183).
acyl(203,184).
acyl(204,184).
acyl(196,185).
acyl(208,185).
acyl(195,186).
acyl(212,186).
acyl(193,187).
acyl(194,187).
acyl(204,188).
acyl(200,188).
acyl(205,189).
acyl(201,189).
acyl(210,190).
acyl(194,190).
acyl(193,191).
acyl(209,191).
acyl(208,192).
acyl(209,192).
acyl(227,193).
acyl(223,193).
acyl(240,194).
acyl(227,194).
acyl(239,195).
acyl(230,195).
acyl(228,196).
acyl(230,196).
acyl(234,197).
acyl(221,197).
acyl(240,198).
acyl(222,198).
acyl(221,199).
acyl(235,199).
acyl(230,200).
acyl(235,200).
acyl(230,201).
acyl(225,201).
acyl(238,202).
acyl(217,202).
acyl(224,203).
acyl(217,203).
acyl(221,204).
acyl(234,204).
acyl(228,205).
acyl(217,205).
acyl(221,206).
acyl(230,206).
acyl(220,207).
acyl(240,207).
acyl(224,208).
acyl(219,208).
acyl(217,209).
acyl(237,209).
acyl(232,210).
acyl(239,210).
acyl(235,211).
acyl(223,211).
acyl(228,212).
acyl(220,212).
acyl(229,213).
acyl(234,213).
acyl(230,214).
acyl(228,214).
acyl(223,215).
acyl(219,215).
acyl(221,216).
acyl(240,216).
acyl(243,217).
acyl(256,217).
acyl(246,218).
acyl(252,218).
acyl(250,219).
acyl(247,219).
acyl(257,220).
acyl(243,220).
acyl(245,221).
acyl(261,221).
acyl(254,222).
acyl(245,222).
acyl(258,223).
acyl(252,223).
acyl(244,224).
acyl(242,224).
acyl(253,225).
acyl(250,225).
acyl(263,226).
acyl(248,226).
acyl(251,227).
acyl(262,227).
acyl(249,228).
acyl(248,228).
acyl(258,229).
acyl(257,229).
acyl(258,230).
acyl(256,230).
acyl(262,231).
acyl(254,231).
acyl(242,232).
acyl(251,232).
acyl(244,233).
acyl(257,233).
acyl(256,234).
acyl(260,234).
acyl(262,235).
acyl(253,235).
acyl(259,236).
acyl(264,236).
acyl(261,237).
acyl(242,237).
acyl(260,238).
acyl(243,238).
acyl(260,239).
acyl(246,239).
acyl(254,240).
acyl(263,240).
acyl(265,241).
acyl(269,241).
acyl(283,242).
acyl(267,242).
acyl(270,243).
acyl(288,243).
acyl(280,244).
acyl(278,244).
acyl(271,245).
acyl(287,245).
acyl(284,246).
acyl(277,246).
acyl(288,247).
acyl(281,247).
acyl(280,248).
acyl(277,248).
acyl(273,249).
acyl(270,249).
acyl(277,250).
acyl(270,250).
acyl(286,251).
acyl(280,251).
acyl(279,252).
acyl(268,252).
acyl(283,253).
acyl(279,253).
acyl(277,254).
acyl(276,254).
acyl(265,255).
acyl(285,255).
acyl(277,256).
acyl(276,256).
acyl(284,257).
acyl(283,257).
acyl(270,258).
acyl(271,258).
acyl(277,259).
acyl(279,259).
acyl(284,260).
acyl(268,260).
acyl(267,261).
acyl(279,261).
acyl(271,262).
acyl(279,262).
acyl(268,263).
acyl(273,263).
acyl(272,264).
acyl(277,264).
acyl(297,265).
acyl(300,265).
acyl(302,266).
acyl(304,266).
acyl(292,267).
acyl(308,267).
acyl(296,268).
acyl(307,268).
acyl(306,269).
acyl(304,269).
acyl(300,270).
acyl(308,270).
acyl(293,271).
acyl(291,271).
acyl(294,272).
acyl(305,272).
acyl(293,273).
acyl(291,273).
acyl(303,274).
acyl(312,274).
acyl(294,275).
acyl(299,275).
acyl(292,276).
acyl(305,276).
acyl(303,277).
acyl(299,277).
acyl(297,278).
acyl(302,278).
acyl(302,279).
acyl(294,279).
acyl(291,280).
acyl(289,280).
acyl(294,281).
acyl(307,281).
acyl(293,282).
acyl(296,282).
acyl(308,283).
acyl(294,283).
acyl(302,284).
acyl(310,284).
acyl(289,285).
acyl(308,285).
acyl(292,286).
acyl(307,286).
acyl(293,287).
acyl(295,287).
acyl(296,288).
acyl(292,288).
acyl(322,289).
acyl(331,289).
acyl(333,290).
acyl(313,290).
acyl(326,291).
acyl(314,291).
acyl(334,292).
acyl(317,292).
acyl(317,293).
acyl(315,293).
acyl(333,294).
acyl(331,294).
acyl(321,295).
acyl(335,295).
acyl(314,296).
acyl(322,296).
acyl(321,297).
acyl(322,297).
acyl(332,298).
acyl(316,298).
acyl(321,299).
acyl(330,299).
acyl(320,300).
acyl(315,300).
acyl(317,301).
acyl(326,301).
acyl(335,302).
acyl(318,302).
acyl(336,303).
acyl(325,303).
acyl(325,304).
acyl(322,304).
acyl(332,305).
acyl(321,305).
acyl(335,306).
acyl(325,306).
acyl(323,307).
acyl(326,307).
acyl(316,308).
acyl(320,308).
acyl(321,309).
acyl(336,309).
acyl(322,310).
acyl(328,310).
acyl(332,311).
acyl(335,311).
acyl(332,312).
acyl(322,312).
acyl(359,313).
acyl(347,313).
acyl(348,314).
acyl(349,314).
acyl(350,315).
acyl(352,315).
acyl(351,316).
acyl(342,316).
acyl(354,317).
acyl(349,317).
acyl(340,318).
acyl(358,318).
acyl(359,319).
acyl(339,319).
acyl(357,320).
acyl(355,320).
acyl(357,321).
acyl(341,321).
acyl(344,322).
acyl(355,322).
acyl(340,323).
acyl(338,323).
acyl(342,324).
acyl(356,324).
acyl(355,325).
acyl(342,325).
acyl(345,326).
acyl(353,326).
acyl(345,327).
acyl(339,327).
acyl(360,328).
acyl(356,328).
acyl(358,329).
acyl(351,329).
acyl(359,330).
acyl(353,330).
acyl(341,331).
acyl(356,331).
acyl(344,332).
acyl(339,332).
acyl(351,333).
acyl(355,333).
acyl(355,334).
acyl(359,334).
acyl(350,335).
acyl(339,335).
acyl(342,336).
acyl(354,336).
acyl(365,337).
acyl(374,337).
acyl(364,338).
acyl(384,338).
acyl(373,339).
acyl(375,339).
acyl(380,340).
acyl(368,340).
acyl(372,341).
acyl(362,341).
acyl(368,342).
acyl(367,342).
acyl(364,343).
acyl(369,343).
acyl(382,344).
acyl(373,344).
acyl(367,345).
acyl(375,345).
acyl(370,346).
acyl(372,346).
acyl(363,347).
acyl(381,347).
acyl(371,348).
acyl(365,348).
acyl(372,349).
acyl(364,349).
acyl(379,350).
acyl(372,350).
acyl(381,351).
acyl(364,351).
acyl(381,352).
acyl(362,352).
acyl(370,353).
acyl(377,353).
acyl(373,354).
acyl(362,354).
acyl(367,355).
acyl(382,355).
acyl(370,356).
acyl(384,356).
acyl(371,357).
acyl(372,357).
acyl(361,358).
acyl(378,358).
acyl(371,359).
acyl(366,359).
acyl(382,360).
acyl(364,360).
acyl(407,361).
acyl(408,361).
acyl(392,362).
acyl(393,362).
acyl(393,363).
acyl(394,363).
acyl(387,364).
acyl(400,364).
acyl(397,365).
acyl(392,365).
acyl(400,366).
acyl(408,366).
acyl(401,367).
acyl(388,367).
acyl(389,368).
acyl(394,368).
acyl(388,369).
acyl(399,369).
acyl(405,370).
acyl(385,370).
acyl(398,371).
acyl(397,371).
acyl(404,372).
acyl(387,372).
acyl(404,373).
acyl(390,373).
acyl(396,374).
acyl(397,374).
acyl(401,375).
acyl(397,375).
acyl(399,376).
acyl(395,376).
acyl(397,377).
acyl(391,377).
acyl(392,378).
acyl(385,378).
acyl(390,379).
acyl(386,379).
acyl(408,380).
acyl(394,380).
acyl(398,381).
acyl(403,381).
acyl(385,382).
acyl(403,382).
acyl(385,383).
acyl(386,383).
acyl(397,384).
acyl(387,384).
acyl(418,385).
acyl(429,385).
acyl(419,386).
acyl(415,386).
acyl(413,387).
acyl(429,387).
acyl(415,388).
acyl(418,388).
acyl(429,389).
acyl(417,389).
acyl(417,390).
acyl(424,390).
acyl(409,391).
acyl(425,391).
acyl(418,392).
acyl(409,392).
acyl(428,393).
acyl(414,393).
acyl(427,394).
acyl(431,394).
acyl(429,395).
acyl(430,395).
acyl(418,396).
acyl(419,396).
acyl(432,397).
acyl(419,397).
acyl(420,398).
acyl(414,398).
acyl(419,399).
acyl(412,399).
acyl(415,400).
acyl(410,400).
acyl(420,401).
acyl(424,401).
acyl(426,402).
acyl(412,402).
acyl(431,403).
acyl(419,403).
acyl(428,404).
acyl(422,404).
acyl(417,405).
acyl(428,405).
acyl(422,406).
acyl(411,406).
acyl(424,407).
acyl(427,407).
acyl(410,408).
acyl(416,408).
acyl(436,409).
acyl(435,409).
acyl(442,410).
acyl(439,410).
acyl(456,411).
acyl(436,411).
acyl(449,412).
acyl(456,412).
acyl(453,413).
acyl(449,413).
acyl(440,414).
acyl(434,414).
acyl(436,415).
acyl(437,415).
acyl(433,416).
acyl(452,416).
acyl(433,417).
acyl(444,417).
acyl(436,418).
acyl(452,418).
acyl(445,419).
acyl(444,419).
acyl(451,420).
acyl(455,420).
acyl(439,421).
acyl(455,421).
acyl(445,422).
acyl(454,422).
acyl(456,423).
acyl(445,423).
acyl(445,424).
acyl(448,424).
acyl(434,425).
acyl(448,425).
acyl(442,426).
acyl(440,426).
acyl(437,427).
acyl(438,427).
acyl(453,428).
acyl(446,428).
acyl(437,429).
acyl(452,429).
acyl(444,430).
acyl(438,430).
acyl(449,431).
acyl(443,431).
acyl(442,432).
acyl(450,432).
acyl(469,433).
acyl(476,433).
acyl(476,434).
acyl(479,434).
acyl(478,435).
acyl(461,435).
acyl(467,436).
acyl(471,436).
acyl(479,437).
acyl(468,437).
acyl(474,438).
acyl(467,438).
acyl(459,439).
acyl(473,439).
acyl(458,440).
acyl(459,440).
acyl(467,441).
acyl(458,441).
acyl(470,442).
acyl(472,442).
acyl(477,443).
acyl(460,443).
acyl(475,444).
acyl(474,444).
acyl(471,445).
acyl(480,445).
acyl(477,446).
acyl(474,446).
acyl(472,447).
acyl(476,447).
acyl(469,448).
acyl(474,448).
acyl(465,449).
acyl(471,449).
acyl(465,450).
acyl(459,450).
acyl(458,451).
acyl(475,451).
acyl(457,452).
acyl(462,452).
acyl(478,453).
acyl(459,453).
acyl(472,454).
acyl(461,454).
acyl(469,455).
acyl(479,455).
acyl(457,456).
acyl(458,456).
acyl(482,457).
acyl(500,457).
acyl(492,458).
acyl(488,458).
acyl(488,459).
acyl(489,459).
acyl(483,460).
acyl(500,460).
acyl(504,461).
acyl(486,461).
acyl(491,462).
acyl(492,462).
acyl(499,463).
acyl(493,463).
acyl(483,464).
acyl(502,464).
acyl(495,465).
acyl(502,465).
acyl(483,466).
acyl(487,466).
acyl(491,467).
acyl(503,467).
acyl(492,468).
acyl(498,468).
acyl(501,469).
acyl(504,469).
acyl(484,470).
acyl(487,470).
acyl(502,471).
acyl(487,471).
acyl(499,472).
acyl(490,472).
acyl(500,473).
acyl(495,473).
acyl(481,474).
acyl(487,474).
acyl(488,475).
acyl(494,475).
acyl(488,476).
acyl(500,476).
acyl(492,477).
acyl(489,477).
acyl(504,478).
acyl(481,478).
acyl(502,479).
acyl(491,479).
acyl(497,480).
acyl(487,480).
acyl(528,481).
acyl(522,481).
acyl(522,482).
acyl(520,482).
acyl(516,483).
acyl(515,483).
acyl(526,484).
acyl(514,484).
acyl(511,485).
acyl(508,485).
acyl(512,486).
acyl(524,486).
acyl(525,487).
acyl(520,487).
acyl(508,488).
acyl(520,488).
acyl(526,489).
acyl(527,489).
acyl(517,490).
acyl(505,490).
acyl(514,491).
acyl(512,491).
acyl(524,492).
acyl(522,492).
acyl(524,493).
acyl(517,493).
acyl(520,494).
acyl(518,494).
acyl(516,495).
acyl(508,495).
acyl(508,496).
acyl(525,496).
acyl(523,497).
acyl(505,497).
acyl(507,498).
acyl(505,498).
acyl(510,499).
acyl(523,499).
acyl(522,500).
acyl(518,500).
acyl(511,501).
acyl(517,501).
acyl(506,502).
acyl(513,502).
acyl(505,503).
acyl(514,503).
acyl(525,504).
acyl(519,504).
acyl(547,505).
acyl(534,505).
acyl(551,506).
acyl(538,506).
acyl(538,507).
acyl(530,507).
acyl(551,508).
acyl(544,508).
acyl(550,509).
acyl(551,509).
acyl(529,510).
acyl(539,510).
acyl(544,511).
acyl(549,511).
acyl(543,512).
acyl(549,512).
acyl(540,513).
acyl(533,513).
acyl(551,514).
acyl(550,514).
acyl(536,515).
acyl(547,515).
acyl(544,516).
acyl(531,516).
acyl(535,517).
acyl(549,517).
acyl(546,518).
acyl(542,518).
acyl(537,519).
acyl(547,519).
acyl(547,520).
acyl(544,520).
acyl(531,521).
acyl(544,521).
acyl(533,522).
acyl(530,522).
acyl(538,523).
acyl(546,523).
acyl(541,524).
acyl(531,524).
acyl(530,525).
acyl(533,525).
acyl(530,526).
acyl(529,526).
acyl(550,527).
acyl(529,527).
acyl(541,528).
acyl(534,528).
acyl(564,529).
acyl(574,529).
acyl(554,530).
acyl(564,530).
acyl(564,531).
acyl(556,531).
acyl(569,532).
acyl(554,532).
acyl(561,533).
acyl(566,533).
acyl(565,534).
acyl(576,534).
acyl(570,535).
acyl(558,535).
acyl(572,536).
acyl(571,536).
acyl(555,537).
acyl(569,537).
acyl(564,538).
acyl(555,538).
acyl(558,539).
acyl(566,539).
acyl(571,540).
acyl(576,540).
acyl(567,541).
acyl(561,541).
acyl(573,542).
acyl(570,542).
acyl(576,543).
acyl(565,543).
acyl(572,544).
acyl(565,544).
acyl(553,545).
acyl(554,545).
acyl(556,546).
acyl(574,546).
acyl(553,547).
acyl(575,547).
acyl(571,548).
acyl(573,548).
acyl(556,549).
acyl(574,549).
acyl(575,550).
acyl(555,550).
acyl(558,551).
acyl(569,551).
acyl(569,552).
acyl(564,552).
