21:- use_module(library(slipcover)). 22:- use_module(library(lists)). 23
24:- if(current_predicate(use_rendering/1)). 25:- use_rendering(c3). 26:- use_rendering(lpad). 27:- endif. 28
29
30:-sc. 31
32
33:-set_sc(beamsize,15). 34:-set_sc(single_var,false). 35:-set_sc(neg_ex,cw). 36:-set_sc(depth_bound,false). 37:-set_sc(verbosity,1). 38
39
40bg([]).
41
42
43
44output(success/1).
45
46input(hmmf/3).
47input(tr/2).
48
49modeh(*,success(out_sq)).
50
51in([
52(success(L) :- hmmf(L,[r0],3)),
53
54(hmmf([p|L],S,N):0.1 ; hmmf([s|L],S,N):0.9 :- N>0,
55 S=[r0|_],
56 tr(S,R2),
57 N2 is N-1,
58 hmmf(L,[R2|S],N2)),
59
60(hmmf([s|L],S,N):0.1 ; hmmf([h|L],S,N):0.9 :- N>0,
61 S=[r1|_],
62 tr(S,R2),
63 N2 is N-1,
64 hmmf(L,[R2|S],N2)),
65
66(hmmf([],S,0)),
67
68(tr([r0|T],r0): 0.1 ; tr([r0|T],r1) : 0.9),
69(tr([r1|T],r0): 0.1 ; tr([r1|T],r1) : 0.9)
70]).
71
72
73fold(train,L):-
74 findall(V,between(1,500,V),L).
75
76
77begin(model(1)).
78success([s,h,h]).
79end(model(1)).
80begin(model(2)).
81success([s,p,p]).
82end(model(2)).
83begin(model(3)).
84success([s,s,s]).
85end(model(3)).
86begin(model(4)).
87success([s,s,s]).
88end(model(4)).
89begin(model(5)).
90success([s,s,h]).
91end(model(5)).
92begin(model(6)).
93success([p,p,s]).
94end(model(6)).
95begin(model(7)).
96success([p,p,s]).
97end(model(7)).
98begin(model(8)).
99success([s,s,p]).
100end(model(8)).
101begin(model(9)).
102success([s,p,p]).
103end(model(9)).
104begin(model(10)).
105success([p,p,h]).
106end(model(10)).
107begin(model(11)).
108success([s,h,h]).
109end(model(11)).
110begin(model(12)).
111success([p,p,s]).
112end(model(12)).
113begin(model(13)).
114success([s,s,s]).
115end(model(13)).
116begin(model(14)).
117success([s,s,p]).
118end(model(14)).
119begin(model(15)).
120success([s,s,s]).
121end(model(15)).
122begin(model(16)).
123success([p,s,s]).
124end(model(16)).
125begin(model(17)).
126success([p,p,h]).
127end(model(17)).
128begin(model(18)).
129success([p,p,s]).
130end(model(18)).
131begin(model(19)).
132success([s,p,h]).
133end(model(19)).
134begin(model(20)).
135success([p,s,s]).
136end(model(20)).
137begin(model(21)).
138success([s,h,h]).
139end(model(21)).
140begin(model(22)).
141success([p,s,s]).
142end(model(22)).
143begin(model(23)).
144success([p,s,p]).
145end(model(23)).
146begin(model(24)).
147success([p,s,s]).
148end(model(24)).
149begin(model(25)).
150success([s,p,p]).
151end(model(25)).
152begin(model(26)).
153success([s,s,s]).
154end(model(26)).
155begin(model(27)).
156success([s,s,p]).
157end(model(27)).
158begin(model(28)).
159success([p,s,p]).
160end(model(28)).
161begin(model(29)).
162success([s,p,s]).
163end(model(29)).
164begin(model(30)).
165success([s,h,s]).
166end(model(30)).
167begin(model(31)).
168success([s,h,h]).
169end(model(31)).
170begin(model(32)).
171success([s,p,s]).
172end(model(32)).
173begin(model(33)).
174success([s,h,h]).
175end(model(33)).
176begin(model(34)).
177success([s,p,s]).
178end(model(34)).
179begin(model(35)).
180success([p,s,s]).
181end(model(35)).
182begin(model(36)).
183success([p,s,p]).
184end(model(36)).
185begin(model(37)).
186success([s,p,p]).
187end(model(37)).
188begin(model(38)).
189success([s,h,s]).
190end(model(38)).
191begin(model(39)).
192success([s,p,p]).
193end(model(39)).
194begin(model(40)).
195success([s,s,h]).
196end(model(40)).
197begin(model(41)).
198success([p,p,p]).
199end(model(41)).
200begin(model(42)).
201success([s,s,p]).
202end(model(42)).
203begin(model(43)).
204success([s,s,s]).
205end(model(43)).
206begin(model(44)).
207success([p,p,s]).
208end(model(44)).
209begin(model(45)).
210success([s,s,h]).
211end(model(45)).
212begin(model(46)).
213success([s,s,s]).
214end(model(46)).
215begin(model(47)).
216success([s,p,s]).
217end(model(47)).
218begin(model(48)).
219success([s,s,h]).
220end(model(48)).
221begin(model(49)).
222success([s,p,s]).
223end(model(49)).
224begin(model(50)).
225success([p,s,p]).
226end(model(50)).
227begin(model(51)).
228success([s,s,s]).
229end(model(51)).
230begin(model(52)).
231success([s,s,s]).
232end(model(52)).
233begin(model(53)).
234success([p,s,s]).
235end(model(53)).
236begin(model(54)).
237success([s,h,s]).
238end(model(54)).
239begin(model(55)).
240success([s,s,s]).
241end(model(55)).
242begin(model(56)).
243success([s,s,s]).
244end(model(56)).
245begin(model(57)).
246success([p,h,h]).
247end(model(57)).
248begin(model(58)).
249success([s,s,s]).
250end(model(58)).
251begin(model(59)).
252success([s,s,s]).
253end(model(59)).
254begin(model(60)).
255success([s,p,s]).
256end(model(60)).
257begin(model(61)).
258success([s,p,s]).
259end(model(61)).
260begin(model(62)).
261success([p,s,s]).
262end(model(62)).
263begin(model(63)).
264success([p,s,s]).
265end(model(63)).
266begin(model(64)).
267success([p,s,p]).
268end(model(64)).
269begin(model(65)).
270success([s,s,s]).
271end(model(65)).
272begin(model(66)).
273success([s,s,h]).
274end(model(66)).
275begin(model(67)).
276success([p,s,p]).
277end(model(67)).
278begin(model(68)).
279success([p,h,p]).
280end(model(68)).
281begin(model(69)).
282success([p,p,s]).
283end(model(69)).
284begin(model(70)).
285success([s,s,h]).
286end(model(70)).
287begin(model(71)).
288success([s,s,h]).
289end(model(71)).
290begin(model(72)).
291success([p,s,p]).
292end(model(72)).
293begin(model(73)).
294success([p,p,s]).
295end(model(73)).
296begin(model(74)).
297success([s,p,s]).
298end(model(74)).
299begin(model(75)).
300success([p,s,h]).
301end(model(75)).
302begin(model(76)).
303success([s,s,s]).
304end(model(76)).
305begin(model(77)).
306success([p,p,s]).
307end(model(77)).
308begin(model(78)).
309success([s,h,h]).
310end(model(78)).
311begin(model(79)).
312success([p,s,h]).
313end(model(79)).
314begin(model(80)).
315success([p,s,s]).
316end(model(80)).
317begin(model(81)).
318success([p,p,p]).
319end(model(81)).
320begin(model(82)).
321success([s,s,s]).
322end(model(82)).
323begin(model(83)).
324success([s,s,s]).
325end(model(83)).
326begin(model(84)).
327success([p,p,s]).
328end(model(84)).
329begin(model(85)).
330success([s,h,s]).
331end(model(85)).
332begin(model(86)).
333success([p,s,p]).
334end(model(86)).
335begin(model(87)).
336success([p,p,s]).
337end(model(87)).
338begin(model(88)).
339success([p,s,s]).
340end(model(88)).
341begin(model(89)).
342success([p,s,h]).
343end(model(89)).
344begin(model(90)).
345success([s,s,s]).
346end(model(90)).
347begin(model(91)).
348success([p,s,s]).
349end(model(91)).
350begin(model(92)).
351success([s,s,s]).
352end(model(92)).
353begin(model(93)).
354success([s,s,p]).
355end(model(93)).
356begin(model(94)).
357success([s,s,p]).
358end(model(94)).
359begin(model(95)).
360success([p,h,s]).
361end(model(95)).
362begin(model(96)).
363success([p,s,s]).
364end(model(96)).
365begin(model(97)).
366success([s,s,s]).
367end(model(97)).
368begin(model(98)).
369success([s,s,s]).
370end(model(98)).
371begin(model(99)).
372success([p,s,s]).
373end(model(99)).
374begin(model(100)).
375success([p,s,h]).
376end(model(100)).
377begin(model(101)).
378success([s,s,s]).
379end(model(101)).
380begin(model(102)).
381success([s,s,s]).
382end(model(102)).
383begin(model(103)).
384success([p,s,s]).
385end(model(103)).
386begin(model(104)).
387success([p,s,s]).
388end(model(104)).
389begin(model(105)).
390success([p,p,p]).
391end(model(105)).
392begin(model(106)).
393success([p,s,h]).
394end(model(106)).
395begin(model(107)).
396success([p,s,p]).
397end(model(107)).
398begin(model(108)).
399success([s,p,s]).
400end(model(108)).
401begin(model(109)).
402success([p,s,h]).
403end(model(109)).
404begin(model(110)).
405success([s,h,s]).
406end(model(110)).
407begin(model(111)).
408success([p,p,p]).
409end(model(111)).
410begin(model(112)).
411success([s,s,h]).
412end(model(112)).
413begin(model(113)).
414success([s,p,p]).
415end(model(113)).
416begin(model(114)).
417success([s,s,p]).
418end(model(114)).
419begin(model(115)).
420success([s,h,h]).
421end(model(115)).
422begin(model(116)).
423success([p,s,h]).
424end(model(116)).
425begin(model(117)).
426success([s,s,h]).
427end(model(117)).
428begin(model(118)).
429success([p,s,s]).
430end(model(118)).
431begin(model(119)).
432success([s,h,h]).
433end(model(119)).
434begin(model(120)).
435success([p,s,s]).
436end(model(120)).
437begin(model(121)).
438success([s,s,s]).
439end(model(121)).
440begin(model(122)).
441success([s,s,p]).
442end(model(122)).
443begin(model(123)).
444success([p,s,s]).
445end(model(123)).
446begin(model(124)).
447success([p,s,p]).
448end(model(124)).
449begin(model(125)).
450success([s,s,p]).
451end(model(125)).
452begin(model(126)).
453success([p,s,h]).
454end(model(126)).
455begin(model(127)).
456success([s,s,s]).
457end(model(127)).
458begin(model(128)).
459success([p,s,s]).
460end(model(128)).
461begin(model(129)).
462success([p,h,h]).
463end(model(129)).
464begin(model(130)).
465success([p,s,p]).
466end(model(130)).
467begin(model(131)).
468success([p,s,s]).
469end(model(131)).
470begin(model(132)).
471success([p,s,s]).
472end(model(132)).
473begin(model(133)).
474success([s,s,p]).
475end(model(133)).
476begin(model(134)).
477success([p,s,h]).
478end(model(134)).
479begin(model(135)).
480success([p,s,p]).
481end(model(135)).
482begin(model(136)).
483success([s,s,s]).
484end(model(136)).
485begin(model(137)).
486success([p,h,h]).
487end(model(137)).
488begin(model(138)).
489success([s,s,h]).
490end(model(138)).
491begin(model(139)).
492success([s,s,s]).
493end(model(139)).
494begin(model(140)).
495success([p,s,h]).
496end(model(140)).
497begin(model(141)).
498success([p,s,s]).
499end(model(141)).
500begin(model(142)).
501success([s,s,p]).
502end(model(142)).
503begin(model(143)).
504success([p,p,s]).
505end(model(143)).
506begin(model(144)).
507success([p,s,s]).
508end(model(144)).
509begin(model(145)).
510success([s,s,s]).
511end(model(145)).
512begin(model(146)).
513success([s,s,p]).
514end(model(146)).
515begin(model(147)).
516success([s,s,s]).
517end(model(147)).
518begin(model(148)).
519success([s,p,p]).
520end(model(148)).
521begin(model(149)).
522success([p,s,p]).
523end(model(149)).
524begin(model(150)).
525success([s,h,h]).
526end(model(150)).
527begin(model(151)).
528success([s,s,s]).
529end(model(151)).
530begin(model(152)).
531success([p,s,s]).
532end(model(152)).
533begin(model(153)).
534success([s,h,h]).
535end(model(153)).
536begin(model(154)).
537success([s,s,s]).
538end(model(154)).
539begin(model(155)).
540success([s,p,s]).
541end(model(155)).
542begin(model(156)).
543success([s,h,h]).
544end(model(156)).
545begin(model(157)).
546success([p,h,p]).
547end(model(157)).
548begin(model(158)).
549success([p,p,s]).
550end(model(158)).
551begin(model(159)).
552success([p,p,s]).
553end(model(159)).
554begin(model(160)).
555success([s,p,s]).
556end(model(160)).
557begin(model(161)).
558success([s,p,s]).
559end(model(161)).
560begin(model(162)).
561success([s,s,s]).
562end(model(162)).
563begin(model(163)).
564success([s,s,p]).
565end(model(163)).
566begin(model(164)).
567success([p,h,h]).
568end(model(164)).
569begin(model(165)).
570success([s,p,s]).
571end(model(165)).
572begin(model(166)).
573success([s,s,s]).
574end(model(166)).
575begin(model(167)).
576success([s,s,s]).
577end(model(167)).
578begin(model(168)).
579success([s,s,s]).
580end(model(168)).
581begin(model(169)).
582success([s,s,s]).
583end(model(169)).
584begin(model(170)).
585success([s,h,s]).
586end(model(170)).
587begin(model(171)).
588success([s,s,s]).
589end(model(171)).
590begin(model(172)).
591success([s,s,p]).
592end(model(172)).
593begin(model(173)).
594success([p,p,s]).
595end(model(173)).
596begin(model(174)).
597success([s,s,s]).
598end(model(174)).
599begin(model(175)).
600success([s,s,s]).
601end(model(175)).
602begin(model(176)).
603success([s,p,s]).
604end(model(176)).
605begin(model(177)).
606success([s,p,s]).
607end(model(177)).
608begin(model(178)).
609success([s,p,s]).
610end(model(178)).
611begin(model(179)).
612success([s,s,h]).
613end(model(179)).
614begin(model(180)).
615success([p,p,s]).
616end(model(180)).
617begin(model(181)).
618success([p,s,s]).
619end(model(181)).
620begin(model(182)).
621success([p,p,s]).
622end(model(182)).
623begin(model(183)).
624success([p,s,s]).
625end(model(183)).
626begin(model(184)).
627success([s,p,h]).
628end(model(184)).
629begin(model(185)).
630success([s,s,p]).
631end(model(185)).
632begin(model(186)).
633success([s,s,h]).
634end(model(186)).
635begin(model(187)).
636success([p,p,s]).
637end(model(187)).
638begin(model(188)).
639success([s,p,s]).
640end(model(188)).
641begin(model(189)).
642success([s,s,s]).
643end(model(189)).
644begin(model(190)).
645success([s,p,s]).
646end(model(190)).
647begin(model(191)).
648success([s,s,s]).
649end(model(191)).
650begin(model(192)).
651success([p,s,s]).
652end(model(192)).
653begin(model(193)).
654success([s,s,p]).
655end(model(193)).
656begin(model(194)).
657success([p,p,h]).
658end(model(194)).
659begin(model(195)).
660success([p,s,s]).
661end(model(195)).
662begin(model(196)).
663success([p,p,p]).
664end(model(196)).
665begin(model(197)).
666success([p,s,s]).
667end(model(197)).
668begin(model(198)).
669success([s,p,s]).
670end(model(198)).
671begin(model(199)).
672success([p,s,s]).
673end(model(199)).
674begin(model(200)).
675success([p,h,s]).
676end(model(200)).
677begin(model(201)).
678success([p,p,p]).
679end(model(201)).
680begin(model(202)).
681success([s,h,s]).
682end(model(202)).
683begin(model(203)).
684success([s,s,h]).
685end(model(203)).
686begin(model(204)).
687success([s,s,s]).
688end(model(204)).
689begin(model(205)).
690success([s,h,h]).
691end(model(205)).
692begin(model(206)).
693success([s,p,p]).
694end(model(206)).
695begin(model(207)).
696success([s,s,s]).
697end(model(207)).
698begin(model(208)).
699success([s,s,s]).
700end(model(208)).
701begin(model(209)).
702success([s,s,h]).
703end(model(209)).
704begin(model(210)).
705success([s,s,p]).
706end(model(210)).
707begin(model(211)).
708success([p,s,s]).
709end(model(211)).
710begin(model(212)).
711success([p,h,s]).
712end(model(212)).
713begin(model(213)).
714success([s,s,s]).
715end(model(213)).
716begin(model(214)).
717success([s,h,s]).
718end(model(214)).
719begin(model(215)).
720success([s,h,h]).
721end(model(215)).
722begin(model(216)).
723success([s,p,p]).
724end(model(216)).
725begin(model(217)).
726success([s,h,s]).
727end(model(217)).
728begin(model(218)).
729success([s,s,s]).
730end(model(218)).
731begin(model(219)).
732success([s,p,p]).
733end(model(219)).
734begin(model(220)).
735success([s,s,s]).
736end(model(220)).
737begin(model(221)).
738success([p,s,s]).
739end(model(221)).
740begin(model(222)).
741success([p,s,s]).
742end(model(222)).
743begin(model(223)).
744success([s,s,h]).
745end(model(223)).
746begin(model(224)).
747success([s,s,s]).
748end(model(224)).
749begin(model(225)).
750success([s,s,p]).
751end(model(225)).
752begin(model(226)).
753success([s,h,p]).
754end(model(226)).
755begin(model(227)).
756success([p,p,s]).
757end(model(227)).
758begin(model(228)).
759success([s,s,h]).
760end(model(228)).
761begin(model(229)).
762success([s,s,s]).
763end(model(229)).
764begin(model(230)).
765success([s,s,s]).
766end(model(230)).
767begin(model(231)).
768success([s,s,s]).
769end(model(231)).
770begin(model(232)).
771success([s,s,s]).
772end(model(232)).
773begin(model(233)).
774success([s,h,h]).
775end(model(233)).
776begin(model(234)).
777success([p,s,h]).
778end(model(234)).
779begin(model(235)).
780success([s,s,p]).
781end(model(235)).
782begin(model(236)).
783success([s,s,s]).
784end(model(236)).
785begin(model(237)).
786success([s,p,h]).
787end(model(237)).
788begin(model(238)).
789success([p,p,h]).
790end(model(238)).
791begin(model(239)).
792success([s,s,s]).
793end(model(239)).
794begin(model(240)).
795success([p,h,s]).
796end(model(240)).
797begin(model(241)).
798success([p,s,s]).
799end(model(241)).
800begin(model(242)).
801success([s,p,s]).
802end(model(242)).
803begin(model(243)).
804success([p,p,p]).
805end(model(243)).
806begin(model(244)).
807success([s,p,h]).
808end(model(244)).
809begin(model(245)).
810success([s,s,s]).
811end(model(245)).
812begin(model(246)).
813success([p,s,s]).
814end(model(246)).
815begin(model(247)).
816success([s,s,p]).
817end(model(247)).
818begin(model(248)).
819success([p,p,s]).
820end(model(248)).
821begin(model(249)).
822success([s,s,h]).
823end(model(249)).
824begin(model(250)).
825success([s,p,s]).
826end(model(250)).
827begin(model(251)).
828success([s,s,h]).
829end(model(251)).
830begin(model(252)).
831success([p,h,s]).
832end(model(252)).
833begin(model(253)).
834success([s,s,p]).
835end(model(253)).
836begin(model(254)).
837success([s,s,h]).
838end(model(254)).
839begin(model(255)).
840success([s,s,s]).
841end(model(255)).
842begin(model(256)).
843success([s,s,s]).
844end(model(256)).
845begin(model(257)).
846success([s,p,h]).
847end(model(257)).
848begin(model(258)).
849success([s,s,s]).
850end(model(258)).
851begin(model(259)).
852success([s,s,s]).
853end(model(259)).
854begin(model(260)).
855success([p,h,p]).
856end(model(260)).
857begin(model(261)).
858success([p,s,s]).
859end(model(261)).
860begin(model(262)).
861success([s,s,s]).
862end(model(262)).
863begin(model(263)).
864success([s,p,s]).
865end(model(263)).
866begin(model(264)).
867success([p,p,s]).
868end(model(264)).
869begin(model(265)).
870success([p,h,s]).
871end(model(265)).
872begin(model(266)).
873success([p,p,s]).
874end(model(266)).
875begin(model(267)).
876success([p,s,s]).
877end(model(267)).
878begin(model(268)).
879success([p,s,p]).
880end(model(268)).
881begin(model(269)).
882success([s,s,s]).
883end(model(269)).
884begin(model(270)).
885success([p,s,p]).
886end(model(270)).
887begin(model(271)).
888success([p,s,s]).
889end(model(271)).
890begin(model(272)).
891success([s,s,s]).
892end(model(272)).
893begin(model(273)).
894success([s,s,s]).
895end(model(273)).
896begin(model(274)).
897success([p,p,s]).
898end(model(274)).
899begin(model(275)).
900success([s,s,s]).
901end(model(275)).
902begin(model(276)).
903success([s,p,s]).
904end(model(276)).
905begin(model(277)).
906success([p,s,h]).
907end(model(277)).
908begin(model(278)).
909success([s,s,p]).
910end(model(278)).
911begin(model(279)).
912success([s,p,p]).
913end(model(279)).
914begin(model(280)).
915success([s,s,s]).
916end(model(280)).
917begin(model(281)).
918success([s,s,s]).
919end(model(281)).
920begin(model(282)).
921success([p,s,h]).
922end(model(282)).
923begin(model(283)).
924success([s,s,h]).
925end(model(283)).
926begin(model(284)).
927success([s,s,s]).
928end(model(284)).
929begin(model(285)).
930success([p,p,h]).
931end(model(285)).
932begin(model(286)).
933success([s,s,s]).
934end(model(286)).
935begin(model(287)).
936success([s,h,h]).
937end(model(287)).
938begin(model(288)).
939success([s,s,h]).
940end(model(288)).
941begin(model(289)).
942success([s,h,h]).
943end(model(289)).
944begin(model(290)).
945success([s,s,s]).
946end(model(290)).
947begin(model(291)).
948success([s,p,h]).
949end(model(291)).
950begin(model(292)).
951success([p,p,p]).
952end(model(292)).
953begin(model(293)).
954success([s,s,p]).
955end(model(293)).
956begin(model(294)).
957success([s,p,s]).
958end(model(294)).
959begin(model(295)).
960success([p,p,h]).
961end(model(295)).
962begin(model(296)).
963success([s,s,h]).
964end(model(296)).
965begin(model(297)).
966success([s,p,p]).
967end(model(297)).
968begin(model(298)).
969success([p,s,h]).
970end(model(298)).
971begin(model(299)).
972success([p,s,s]).
973end(model(299)).
974begin(model(300)).
975success([p,s,s]).
976end(model(300)).
977begin(model(301)).
978success([p,p,s]).
979end(model(301)).
980begin(model(302)).
981success([p,p,s]).
982end(model(302)).
983begin(model(303)).
984success([s,s,s]).
985end(model(303)).
986begin(model(304)).
987success([s,s,s]).
988end(model(304)).
989begin(model(305)).
990success([s,p,s]).
991end(model(305)).
992begin(model(306)).
993success([p,s,h]).
994end(model(306)).
995begin(model(307)).
996success([s,h,s]).
997end(model(307)).
998begin(model(308)).
999success([p,p,p]).
1000end(model(308)).
1001begin(model(309)).
1002success([s,p,s]).
1003end(model(309)).
1004begin(model(310)).
1005success([s,s,h]).
1006end(model(310)).
1007begin(model(311)).
1008success([p,h,p]).
1009end(model(311)).
1010begin(model(312)).
1011success([s,p,s]).
1012end(model(312)).
1013begin(model(313)).
1014success([p,p,p]).
1015end(model(313)).
1016begin(model(314)).
1017success([p,s,p]).
1018end(model(314)).
1019begin(model(315)).
1020success([s,p,s]).
1021end(model(315)).
1022begin(model(316)).
1023success([p,h,s]).
1024end(model(316)).
1025begin(model(317)).
1026success([s,s,s]).
1027end(model(317)).
1028begin(model(318)).
1029success([p,p,h]).
1030end(model(318)).
1031begin(model(319)).
1032success([s,p,s]).
1033end(model(319)).
1034begin(model(320)).
1035success([s,s,s]).
1036end(model(320)).
1037begin(model(321)).
1038success([s,p,h]).
1039end(model(321)).
1040begin(model(322)).
1041success([s,h,h]).
1042end(model(322)).
1043begin(model(323)).
1044success([p,p,h]).
1045end(model(323)).
1046begin(model(324)).
1047success([s,p,p]).
1048end(model(324)).
1049begin(model(325)).
1050success([s,p,p]).
1051end(model(325)).
1052begin(model(326)).
1053success([s,s,h]).
1054end(model(326)).
1055begin(model(327)).
1056success([s,s,p]).
1057end(model(327)).
1058begin(model(328)).
1059success([s,s,s]).
1060end(model(328)).
1061begin(model(329)).
1062success([s,s,s]).
1063end(model(329)).
1064begin(model(330)).
1065success([s,p,h]).
1066end(model(330)).
1067begin(model(331)).
1068success([s,h,s]).
1069end(model(331)).
1070begin(model(332)).
1071success([s,s,h]).
1072end(model(332)).
1073begin(model(333)).
1074success([p,h,h]).
1075end(model(333)).
1076begin(model(334)).
1077success([p,p,p]).
1078end(model(334)).
1079begin(model(335)).
1080success([p,s,h]).
1081end(model(335)).
1082begin(model(336)).
1083success([s,s,h]).
1084end(model(336)).
1085begin(model(337)).
1086success([s,p,s]).
1087end(model(337)).
1088begin(model(338)).
1089success([p,p,p]).
1090end(model(338)).
1091begin(model(339)).
1092success([p,s,h]).
1093end(model(339)).
1094begin(model(340)).
1095success([p,p,s]).
1096end(model(340)).
1097begin(model(341)).
1098success([p,p,p]).
1099end(model(341)).
1100begin(model(342)).
1101success([p,p,s]).
1102end(model(342)).
1103begin(model(343)).
1104success([p,s,p]).
1105end(model(343)).
1106begin(model(344)).
1107success([s,s,s]).
1108end(model(344)).
1109begin(model(345)).
1110success([p,h,p]).
1111end(model(345)).
1112begin(model(346)).
1113success([p,s,p]).
1114end(model(346)).
1115begin(model(347)).
1116success([s,h,s]).
1117end(model(347)).
1118begin(model(348)).
1119success([s,p,s]).
1120end(model(348)).
1121begin(model(349)).
1122success([p,s,h]).
1123end(model(349)).
1124begin(model(350)).
1125success([s,s,s]).
1126end(model(350)).
1127begin(model(351)).
1128success([s,s,p]).
1129end(model(351)).
1130begin(model(352)).
1131success([s,s,p]).
1132end(model(352)).
1133begin(model(353)).
1134success([s,s,h]).
1135end(model(353)).
1136begin(model(354)).
1137success([s,s,s]).
1138end(model(354)).
1139begin(model(355)).
1140success([s,s,h]).
1141end(model(355)).
1142begin(model(356)).
1143success([s,s,h]).
1144end(model(356)).
1145begin(model(357)).
1146success([p,p,s]).
1147end(model(357)).
1148begin(model(358)).
1149success([p,h,s]).
1150end(model(358)).
1151begin(model(359)).
1152success([p,s,s]).
1153end(model(359)).
1154begin(model(360)).
1155success([s,p,p]).
1156end(model(360)).
1157begin(model(361)).
1158success([p,p,p]).
1159end(model(361)).
1160begin(model(362)).
1161success([p,h,p]).
1162end(model(362)).
1163begin(model(363)).
1164success([p,s,s]).
1165end(model(363)).
1166begin(model(364)).
1167success([p,s,s]).
1168end(model(364)).
1169begin(model(365)).
1170success([s,s,s]).
1171end(model(365)).
1172begin(model(366)).
1173success([s,p,h]).
1174end(model(366)).
1175begin(model(367)).
1176success([s,h,p]).
1177end(model(367)).
1178begin(model(368)).
1179success([s,s,h]).
1180end(model(368)).
1181begin(model(369)).
1182success([s,h,h]).
1183end(model(369)).
1184begin(model(370)).
1185success([s,p,s]).
1186end(model(370)).
1187begin(model(371)).
1188success([s,p,s]).
1189end(model(371)).
1190begin(model(372)).
1191success([s,s,h]).
1192end(model(372)).
1193begin(model(373)).
1194success([p,h,s]).
1195end(model(373)).
1196begin(model(374)).
1197success([s,p,p]).
1198end(model(374)).
1199begin(model(375)).
1200success([s,h,s]).
1201end(model(375)).
1202begin(model(376)).
1203success([p,s,s]).
1204end(model(376)).
1205begin(model(377)).
1206success([s,s,s]).
1207end(model(377)).
1208begin(model(378)).
1209success([s,s,h]).
1210end(model(378)).
1211begin(model(379)).
1212success([s,s,p]).
1213end(model(379)).
1214begin(model(380)).
1215success([s,p,p]).
1216end(model(380)).
1217begin(model(381)).
1218success([p,p,s]).
1219end(model(381)).
1220begin(model(382)).
1221success([s,s,s]).
1222end(model(382)).
1223begin(model(383)).
1224success([s,s,s]).
1225end(model(383)).
1226begin(model(384)).
1227success([s,p,s]).
1228end(model(384)).
1229begin(model(385)).
1230success([s,s,s]).
1231end(model(385)).
1232begin(model(386)).
1233success([s,s,s]).
1234end(model(386)).
1235begin(model(387)).
1236success([p,s,s]).
1237end(model(387)).
1238begin(model(388)).
1239success([s,s,s]).
1240end(model(388)).
1241begin(model(389)).
1242success([s,h,s]).
1243end(model(389)).
1244begin(model(390)).
1245success([p,h,h]).
1246end(model(390)).
1247begin(model(391)).
1248success([p,s,s]).
1249end(model(391)).
1250begin(model(392)).
1251success([p,s,s]).
1252end(model(392)).
1253begin(model(393)).
1254success([p,s,p]).
1255end(model(393)).
1256begin(model(394)).
1257success([s,h,s]).
1258end(model(394)).
1259begin(model(395)).
1260success([p,h,s]).
1261end(model(395)).
1262begin(model(396)).
1263success([p,s,p]).
1264end(model(396)).
1265begin(model(397)).
1266success([p,p,s]).
1267end(model(397)).
1268begin(model(398)).
1269success([p,h,s]).
1270end(model(398)).
1271begin(model(399)).
1272success([p,h,p]).
1273end(model(399)).
1274begin(model(400)).
1275success([p,p,h]).
1276end(model(400)).
1277begin(model(401)).
1278success([s,s,p]).
1279end(model(401)).
1280begin(model(402)).
1281success([s,s,h]).
1282end(model(402)).
1283begin(model(403)).
1284success([s,s,p]).
1285end(model(403)).
1286begin(model(404)).
1287success([s,p,s]).
1288end(model(404)).
1289begin(model(405)).
1290success([p,s,s]).
1291end(model(405)).
1292begin(model(406)).
1293success([s,s,s]).
1294end(model(406)).
1295begin(model(407)).
1296success([s,s,s]).
1297end(model(407)).
1298begin(model(408)).
1299success([s,s,s]).
1300end(model(408)).
1301begin(model(409)).
1302success([p,s,p]).
1303end(model(409)).
1304begin(model(410)).
1305success([p,h,s]).
1306end(model(410)).
1307begin(model(411)).
1308success([s,s,s]).
1309end(model(411)).
1310begin(model(412)).
1311success([s,s,s]).
1312end(model(412)).
1313begin(model(413)).
1314success([s,s,s]).
1315end(model(413)).
1316begin(model(414)).
1317success([s,p,h]).
1318end(model(414)).
1319begin(model(415)).
1320success([s,s,s]).
1321end(model(415)).
1322begin(model(416)).
1323success([s,s,p]).
1324end(model(416)).
1325begin(model(417)).
1326success([s,p,h]).
1327end(model(417)).
1328begin(model(418)).
1329success([s,h,h]).
1330end(model(418)).
1331begin(model(419)).
1332success([s,s,h]).
1333end(model(419)).
1334begin(model(420)).
1335success([s,s,p]).
1336end(model(420)).
1337begin(model(421)).
1338success([s,p,p]).
1339end(model(421)).
1340begin(model(422)).
1341success([p,p,s]).
1342end(model(422)).
1343begin(model(423)).
1344success([s,h,h]).
1345end(model(423)).
1346begin(model(424)).
1347success([s,s,s]).
1348end(model(424)).
1349begin(model(425)).
1350success([s,s,h]).
1351end(model(425)).
1352begin(model(426)).
1353success([s,h,s]).
1354end(model(426)).
1355begin(model(427)).
1356success([p,p,s]).
1357end(model(427)).
1358begin(model(428)).
1359success([s,s,s]).
1360end(model(428)).
1361begin(model(429)).
1362success([p,s,s]).
1363end(model(429)).
1364begin(model(430)).
1365success([s,s,p]).
1366end(model(430)).
1367begin(model(431)).
1368success([s,p,s]).
1369end(model(431)).
1370begin(model(432)).
1371success([s,s,s]).
1372end(model(432)).
1373begin(model(433)).
1374success([s,s,s]).
1375end(model(433)).
1376begin(model(434)).
1377success([p,p,p]).
1378end(model(434)).
1379begin(model(435)).
1380success([s,s,s]).
1381end(model(435)).
1382begin(model(436)).
1383success([s,s,s]).
1384end(model(436)).
1385begin(model(437)).
1386success([p,s,s]).
1387end(model(437)).
1388begin(model(438)).
1389success([p,s,s]).
1390end(model(438)).
1391begin(model(439)).
1392success([s,h,s]).
1393end(model(439)).
1394begin(model(440)).
1395success([p,h,h]).
1396end(model(440)).
1397begin(model(441)).
1398success([p,p,s]).
1399end(model(441)).
1400begin(model(442)).
1401success([s,s,s]).
1402end(model(442)).
1403begin(model(443)).
1404success([p,p,p]).
1405end(model(443)).
1406begin(model(444)).
1407success([s,p,s]).
1408end(model(444)).
1409begin(model(445)).
1410success([s,s,s]).
1411end(model(445)).
1412begin(model(446)).
1413success([s,s,s]).
1414end(model(446)).
1415begin(model(447)).
1416success([s,s,p]).
1417end(model(447)).
1418begin(model(448)).
1419success([s,p,s]).
1420end(model(448)).
1421begin(model(449)).
1422success([s,s,s]).
1423end(model(449)).
1424begin(model(450)).
1425success([s,s,h]).
1426end(model(450)).
1427begin(model(451)).
1428success([p,s,s]).
1429end(model(451)).
1430begin(model(452)).
1431success([p,h,s]).
1432end(model(452)).
1433begin(model(453)).
1434success([p,p,h]).
1435end(model(453)).
1436begin(model(454)).
1437success([s,s,p]).
1438end(model(454)).
1439begin(model(455)).
1440success([p,s,s]).
1441end(model(455)).
1442begin(model(456)).
1443success([s,p,h]).
1444end(model(456)).
1445begin(model(457)).
1446success([p,s,p]).
1447end(model(457)).
1448begin(model(458)).
1449success([p,s,p]).
1450end(model(458)).
1451begin(model(459)).
1452success([p,s,h]).
1453end(model(459)).
1454begin(model(460)).
1455success([s,s,s]).
1456end(model(460)).
1457begin(model(461)).
1458success([s,p,s]).
1459end(model(461)).
1460begin(model(462)).
1461success([s,s,p]).
1462end(model(462)).
1463begin(model(463)).
1464success([s,h,h]).
1465end(model(463)).
1466begin(model(464)).
1467success([p,h,p]).
1468end(model(464)).
1469begin(model(465)).
1470success([p,s,s]).
1471end(model(465)).
1472begin(model(466)).
1473success([p,s,p]).
1474end(model(466)).
1475begin(model(467)).
1476success([p,p,s]).
1477end(model(467)).
1478begin(model(468)).
1479success([p,s,s]).
1480end(model(468)).
1481begin(model(469)).
1482success([s,s,s]).
1483end(model(469)).
1484begin(model(470)).
1485success([p,s,s]).
1486end(model(470)).
1487begin(model(471)).
1488success([s,s,s]).
1489end(model(471)).
1490begin(model(472)).
1491success([p,s,s]).
1492end(model(472)).
1493begin(model(473)).
1494success([p,s,p]).
1495end(model(473)).
1496begin(model(474)).
1497success([s,s,s]).
1498end(model(474)).
1499begin(model(475)).
1500success([p,s,s]).
1501end(model(475)).
1502begin(model(476)).
1503success([p,p,s]).
1504end(model(476)).
1505begin(model(477)).
1506success([p,h,s]).
1507end(model(477)).
1508begin(model(478)).
1509success([p,s,h]).
1510end(model(478)).
1511begin(model(479)).
1512success([s,p,s]).
1513end(model(479)).
1514begin(model(480)).
1515success([p,s,s]).
1516end(model(480)).
1517begin(model(481)).
1518success([s,p,h]).
1519end(model(481)).
1520begin(model(482)).
1521success([s,p,s]).
1522end(model(482)).
1523begin(model(483)).
1524success([p,s,h]).
1525end(model(483)).
1526begin(model(484)).
1527success([s,s,p]).
1528end(model(484)).
1529begin(model(485)).
1530success([s,h,s]).
1531end(model(485)).
1532begin(model(486)).
1533success([s,s,p]).
1534end(model(486)).
1535begin(model(487)).
1536success([s,p,p]).
1537end(model(487)).
1538begin(model(488)).
1539success([s,s,s]).
1540end(model(488)).
1541begin(model(489)).
1542success([s,s,s]).
1543end(model(489)).
1544begin(model(490)).
1545success([s,s,p]).
1546end(model(490)).
1547begin(model(491)).
1548success([p,p,s]).
1549end(model(491)).
1550begin(model(492)).
1551success([p,h,h]).
1552end(model(492)).
1553begin(model(493)).
1554success([p,s,h]).
1555end(model(493)).
1556begin(model(494)).
1557success([p,h,s]).
1558end(model(494)).
1559begin(model(495)).
1560success([s,p,s]).
1561end(model(495)).
1562begin(model(496)).
1563success([s,s,s]).
1564end(model(496)).
1565begin(model(497)).
1566success([s,p,s]).
1567end(model(497)).
1568begin(model(498)).
1569success([p,s,p]).
1570end(model(498)).
1571begin(model(499)).
1572success([s,p,p]).
1573end(model(499)).
1574begin(model(500)).
1575success([s,s,s]).
1576end(model(500))
?-
induce_par([train],P). % learn the parameteters */