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