10:-use_module(library(liftcover)).
11
12
13:-lift.
14
15:- set_lift(neg_ex,given).
16:- set_lift(megaex_bottom,4).
17:- set_lift(max_iter,20).
18:- set_lift(max_var,100).
19:- set_lift(maxdepth_var,20).
20:- set_lift(verbosity,3).
21
22fold(f1,[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69]).
23fold(f2,[70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138]).
24fold(f3,[139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207]).
25fold(f4,[208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276]).
26fold(f5,[277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345]).
27
28
29output(bupa/2).
30input(alkphos/2).
34input(drinks/2).
35input(gammagt/2).
36input(mcv/2).
38input(sgot/2).
39input(sgpt/2).
40%input(target_aux/5).
41
42modeh(1,bupa(+arg1,-#arg2)).
43
44modeb(1,alkphos(+arg1,-a2)).
47modeb(1,drinks(+arg1,-a3)).
48modeb(1,gammagt(+arg1,-a4)).
49modeb(1,mcv(+arg1,-a5)).
50modeb(1,sgot(+arg1,-a6)).
51modeb(1,sgpt(+arg1,-a7)).
52
53determination(bupa/2,alkphos/2).
56determination(bupa/2,drinks/2).
57determination(bupa/2,gammagt/2).
58determination(bupa/2,mcv/2).
59determination(bupa/2,sgot/2).
60determination(bupa/2,sgpt/2).
61
66
67alkphos(1,t1,92).
68alkphos(2,t2,64).
69alkphos(3,t3,54).
70alkphos(4,t4,78).
71alkphos(5,t5,70).
72alkphos(6,t6,55).
73alkphos(7,t7,62).
74alkphos(8,t8,67).
75alkphos(9,t9,54).
76alkphos(10,t10,60).
77alkphos(11,t11,52).
78alkphos(12,t12,62).
79alkphos(13,t13,64).
80alkphos(14,t14,77).
81alkphos(15,t15,67).
82alkphos(16,t16,78).
83alkphos(17,t17,67).
84alkphos(18,t18,79).
85alkphos(19,t19,107).
86alkphos(20,t20,116).
87alkphos(21,t21,59).
88alkphos(22,t22,23).
89alkphos(23,t23,60).
90alkphos(24,t24,68).
91alkphos(25,t25,80).
92alkphos(26,t26,70).
93alkphos(27,t27,47).
94alkphos(28,t28,66).
95alkphos(29,t29,102).
96alkphos(30,t30,41).
97alkphos(31,t31,79).
98alkphos(32,t32,57).
99alkphos(33,t33,77).
100alkphos(34,t34,96).
101alkphos(35,t35,65).
102alkphos(36,t36,72).
103alkphos(37,t37,54).
104alkphos(38,t38,39).
105alkphos(39,t39,85).
106alkphos(40,t40,63).
107alkphos(41,t41,92).
108alkphos(42,t42,68).
109alkphos(43,t43,101).
110alkphos(44,t44,84).
111alkphos(45,t45,65).
112alkphos(46,t46,61).
113alkphos(47,t47,56).
114alkphos(48,t48,50).
115alkphos(49,t49,75).
116alkphos(50,t50,40).
117alkphos(51,t51,74).
118alkphos(52,t52,64).
119alkphos(53,t53,57).
120alkphos(54,t54,48).
121alkphos(55,t55,52).
122alkphos(56,t56,65).
123alkphos(57,t57,82).
124alkphos(58,t58,49).
125alkphos(59,t59,67).
126alkphos(60,t60,63).
127alkphos(61,t61,45).
128alkphos(62,t62,72).
129alkphos(63,t63,55).
130alkphos(64,t64,52).
131alkphos(65,t65,71).
132alkphos(66,t66,77).
133alkphos(67,t67,67).
134alkphos(68,t68,51).
135alkphos(69,t69,75).
136alkphos(70,t70,63).
137alkphos(71,t71,63).
138alkphos(72,t72,67).
139alkphos(73,t73,66).
140alkphos(74,t74,73).
141alkphos(75,t75,54).
142alkphos(76,t76,80).
143alkphos(77,t77,90).
144alkphos(78,t78,72).
145alkphos(79,t79,55).
146alkphos(80,t80,78).
147alkphos(81,t81,10).
148alkphos(82,t82,51).
149alkphos(83,t83,99).
150alkphos(84,t84,58).
151alkphos(85,t85,60).
152alkphos(86,t86,58).
153alkphos(87,t87,47).
154alkphos(88,t88,65).
155alkphos(89,t89,79).
156alkphos(90,t90,83).
157alkphos(91,t91,68).
158alkphos(92,t92,48).
159alkphos(93,t93,69).
160alkphos(94,t94,66).
161alkphos(95,t95,62).
162alkphos(96,t96,51).
163alkphos(97,t97,61).
164alkphos(98,t98,89).
165alkphos(99,t99,65).
166alkphos(100,t100,5).
167alkphos(101,t101,9).
168alkphos(102,t102,1).
169alkphos(103,t103,3).
170alkphos(104,t104,4).
171alkphos(105,t105,5).
172alkphos(106,t106,5).
173alkphos(107,t107,0).
174alkphos(108,t108,09).
175alkphos(109,t109,5).
176alkphos(110,t110,07).
177alkphos(111,t111,76).
178alkphos(112,t112,86).
179alkphos(113,t113,42).
180alkphos(114,t114,80).
181alkphos(115,t115,96).
182alkphos(116,t116,67).
183alkphos(117,t117,40).
184alkphos(118,t118,60).
185alkphos(119,t119,90).
186alkphos(120,t120,57).
187alkphos(121,t121,55).
188alkphos(122,t122,101).
189alkphos(123,t123,134).
190alkphos(124,t124,76).
191alkphos(125,t125,93).
192alkphos(126,t126,67).
193alkphos(127,t127,73).
194alkphos(128,t128,55).
195alkphos(129,t129,45).
196alkphos(130,t130,74).
197alkphos(131,t131,66).
198alkphos(132,t132,63).
199alkphos(133,t133,78).
200alkphos(134,t134,44).
201alkphos(135,t135,59).
202alkphos(136,t136,44).
203alkphos(137,t137,64).
204alkphos(138,t138,57).
205alkphos(139,t139,70).
206alkphos(140,t140,59).
207alkphos(141,t141,80).
208alkphos(142,t142,60).
209alkphos(143,t143,63).
210alkphos(144,t144,62).
211alkphos(145,t145,50).
212alkphos(146,t146,76).
213alkphos(147,t147,70).
214alkphos(148,t148,62).
215alkphos(149,t149,62).
216alkphos(150,t150,63).
217alkphos(151,t151,56).
218alkphos(152,t152,82).
219alkphos(153,t153,63).
220alkphos(154,t154,37).
221alkphos(155,t155,60).
222alkphos(156,t156,43).
223alkphos(157,t157,74).
224alkphos(158,t158,87).
225alkphos(159,t159,99).
226alkphos(160,t160,72).
227alkphos(161,t161,93).
228alkphos(162,t162,50).
229alkphos(163,t163,57).
230alkphos(164,t164,76).
231alkphos(165,t165,55).
232alkphos(166,t166,63).
233alkphos(167,t167,79).
234alkphos(168,t168,93).
235alkphos(169,t169,84).
236alkphos(170,t170,71).
237alkphos(171,t171,99).
238alkphos(172,t172,44).
239alkphos(173,t173,62).
240alkphos(174,t174,94).
241alkphos(175,t175,67).
242alkphos(176,t176,71).
243alkphos(177,t177,69).
244alkphos(178,t178,59).
245alkphos(179,t179,95).
246alkphos(180,t180,50).
247alkphos(181,t181,62).
248alkphos(182,t182,93).
249alkphos(183,t183,77).
250alkphos(184,t184,66).
251alkphos(185,t185,57).
252alkphos(186,t186,80).
253alkphos(187,t187,108).
254alkphos(188,t188,92).
255alkphos(189,t189,77).
256alkphos(190,t190,83).
257alkphos(191,t191,75).
258alkphos(192,t192,56).
259alkphos(193,t193,97).
260alkphos(194,t194,91).
261alkphos(195,t195,62).
262alkphos(196,t196,85).
263alkphos(197,t197,48).
264alkphos(198,t198,74).
265alkphos(199,t199,77).
266alkphos(200,t200,94).
267alkphos(201,t201,70).
268alkphos(202,t202,54).
269alkphos(203,t203,105).
270alkphos(204,t204,79).
271alkphos(205,t205,96).
272alkphos(206,t206,82).
273alkphos(207,t207,73).
274alkphos(208,t208,87).
275alkphos(209,t209,82).
276alkphos(210,t210,79).
277alkphos(211,t211,119).
278alkphos(212,t212,69).
279alkphos(213,t213,107).
280alkphos(214,t214,115).
281alkphos(215,t215,67).
282alkphos(216,t216,101).
283alkphos(217,t217,84).
284alkphos(218,t218,101).
285alkphos(219,t219,46).
286alkphos(220,t220,122).
287alkphos(221,t221,88).
288alkphos(222,t222,79).
289alkphos(223,t223,69).
290alkphos(224,t224,63).
291alkphos(225,t225,64).
292alkphos(226,t226,58).
293alkphos(227,t227,81).
294alkphos(228,t228,78).
295alkphos(229,t229,74).
296alkphos(230,t230,58).
297alkphos(231,t231,56).
298alkphos(232,t232,57).
299alkphos(233,t233,74).
300alkphos(234,t234,75).
301alkphos(235,t235,68).
302alkphos(236,t236,56).
303alkphos(237,t237,65).
304alkphos(238,t238,65).
305alkphos(239,t239,58).
306alkphos(240,t240,58).
307alkphos(241,t241,62).
308alkphos(242,t242,57).
309alkphos(243,t243,54).
310alkphos(244,t244,41).
311alkphos(245,t245,67).
312alkphos(246,t246,80).
313alkphos(247,t247,60).
314alkphos(248,t248,60).
315alkphos(249,t249,65).
316alkphos(250,t250,63).
317alkphos(251,t251,92).
318alkphos(252,t252,78).
319alkphos(253,t253,62).
320alkphos(254,t254,59).
321alkphos(255,t255,82).
322alkphos(256,t256,71).
323alkphos(257,t257,44).
324alkphos(258,t258,66).
325alkphos(259,t259,58).
326alkphos(260,t260,61).
327alkphos(261,t261,69).
328alkphos(262,t262,87).
329alkphos(263,t263,58).
330alkphos(264,t264,44).
331alkphos(265,t265,75).
332alkphos(266,t266,91).
333alkphos(267,t267,85).
334alkphos(268,t268,109).
335alkphos(269,t269,59).
336alkphos(270,t270,58).
337alkphos(271,t271,57).
338alkphos(272,t272,65).
339alkphos(273,t273,71).
340alkphos(274,t274,55).
341alkphos(275,t275,64).
342alkphos(276,t276,47).
343alkphos(277,t277,72).
344alkphos(278,t278,58).
345alkphos(279,t279,54).
346alkphos(280,t280,50).
347alkphos(281,t281,62).
348alkphos(282,t282,48).
349alkphos(283,t283,68).
350alkphos(284,t284,70).
351alkphos(285,t285,70).
352alkphos(286,t286,117).
353alkphos(287,t287,45).
354alkphos(288,t288,49).
355alkphos(289,t289,73).
356alkphos(290,t290,63).
357alkphos(291,t291,57).
358alkphos(292,t292,45).
359alkphos(293,t293,68).
360alkphos(294,t294,55).
361alkphos(295,t295,86).
362alkphos(296,t296,46).
363alkphos(297,t297,52).
364alkphos(298,t298,72).
365alkphos(299,t299,59).
366alkphos(300,t300,43).
367alkphos(301,t301,56).
368alkphos(302,t302,52).
369alkphos(303,t303,45).
370alkphos(304,t304,42).
371alkphos(305,t305,102).
372alkphos(306,t306,71).
373alkphos(307,t307,73).
374alkphos(308,t308,54).
375alkphos(309,t309,67).
376alkphos(310,t310,101).
377alkphos(311,t311,53).
378alkphos(312,t312,94).
379alkphos(313,t313,43).
380alkphos(314,t314,68).
381alkphos(315,t315,36).
382alkphos(316,t316,86).
383alkphos(317,t317,66).
384alkphos(318,t318,80).
385alkphos(319,t319,74).
386alkphos(320,t320,93).
387alkphos(321,t321,109).
388alkphos(322,t322,46).
389alkphos(323,t323,82).
390alkphos(324,t324,50).
391alkphos(325,t325,57).
392alkphos(326,t326,52).
393alkphos(327,t327,70).
394alkphos(328,t328,55).
395alkphos(329,t329,123).
396alkphos(330,t330,55).
397alkphos(331,t331,73).
398alkphos(332,t332,80).
399alkphos(333,t333,83).
400alkphos(334,t334,91).
401alkphos(335,t335,138).
402alkphos(336,t336,41).
403alkphos(337,t337,123).
404alkphos(338,t338,93).
405alkphos(339,t339,87).
406alkphos(340,t340,56).
407alkphos(341,t341,75).
408alkphos(342,t342,69).
409alkphos(343,t343,77).
410alkphos(344,t344,68).
411alkphos(345,t345,99).
413
418
419bupa_name(1,t1).
420bupa_name(10,t10).
421bupa_name(100,t100).
422bupa_name(101,t101).
423bupa_name(102,t102).
424bupa_name(103,t103).
425bupa_name(104,t104).
426bupa_name(105,t105).
427bupa_name(106,t106).
428bupa_name(107,t107).
429bupa_name(108,t108).
430bupa_name(109,t109).
431bupa_name(11,t11).
432bupa_name(110,t110).
433bupa_name(111,t111).
434bupa_name(112,t112).
435bupa_name(113,t113).
436bupa_name(114,t114).
437bupa_name(115,t115).
438bupa_name(116,t116).
439bupa_name(117,t117).
440bupa_name(118,t118).
441bupa_name(119,t119).
442bupa_name(12,t12).
443bupa_name(120,t120).
444bupa_name(121,t121).
445bupa_name(122,t122).
446bupa_name(123,t123).
447bupa_name(124,t124).
448bupa_name(125,t125).
449bupa_name(126,t126).
450bupa_name(127,t127).
451bupa_name(128,t128).
452bupa_name(129,t129).
453bupa_name(13,t13).
454bupa_name(130,t130).
455bupa_name(131,t131).
456bupa_name(132,t132).
457bupa_name(133,t133).
458bupa_name(134,t134).
459bupa_name(135,t135).
460bupa_name(136,t136).
461bupa_name(137,t137).
462bupa_name(138,t138).
463bupa_name(139,t139).
464bupa_name(14,t14).
465bupa_name(140,t140).
466bupa_name(141,t141).
467bupa_name(142,t142).
468bupa_name(143,t143).
469bupa_name(144,t144).
470bupa_name(145,t145).
471bupa_name(146,t146).
472bupa_name(147,t147).
473bupa_name(148,t148).
474bupa_name(149,t149).
475bupa_name(15,t15).
476bupa_name(150,t150).
477bupa_name(151,t151).
478bupa_name(152,t152).
479bupa_name(153,t153).
480bupa_name(154,t154).
481bupa_name(155,t155).
482bupa_name(156,t156).
483bupa_name(157,t157).
484bupa_name(158,t158).
485bupa_name(159,t159).
486bupa_name(16,t16).
487bupa_name(160,t160).
488bupa_name(161,t161).
489bupa_name(162,t162).
490bupa_name(163,t163).
491bupa_name(164,t164).
492bupa_name(165,t165).
493bupa_name(166,t166).
494bupa_name(167,t167).
495bupa_name(168,t168).
496bupa_name(169,t169).
497bupa_name(17,t17).
498bupa_name(170,t170).
499bupa_name(171,t171).
500bupa_name(172,t172).
501bupa_name(173,t173).
502bupa_name(174,t174).
503bupa_name(175,t175).
504bupa_name(176,t176).
505bupa_name(177,t177).
506bupa_name(178,t178).
507bupa_name(179,t179).
508bupa_name(18,t18).
509bupa_name(180,t180).
510bupa_name(181,t181).
511bupa_name(182,t182).
512bupa_name(183,t183).
513bupa_name(184,t184).
514bupa_name(185,t185).
515bupa_name(186,t186).
516bupa_name(187,t187).
517bupa_name(188,t188).
518bupa_name(189,t189).
519bupa_name(19,t19).
520bupa_name(190,t190).
521bupa_name(191,t191).
522bupa_name(192,t192).
523bupa_name(193,t193).
524bupa_name(194,t194).
525bupa_name(195,t195).
526bupa_name(196,t196).
527bupa_name(197,t197).
528bupa_name(198,t198).
529bupa_name(199,t199).
530bupa_name(2,t2).
531bupa_name(20,t20).
532bupa_name(200,t200).
533bupa_name(201,t201).
534bupa_name(202,t202).
535bupa_name(203,t203).
536bupa_name(204,t204).
537bupa_name(205,t205).
538bupa_name(206,t206).
539bupa_name(207,t207).
540bupa_name(208,t208).
541bupa_name(209,t209).
542bupa_name(21,t21).
543bupa_name(210,t210).
544bupa_name(211,t211).
545bupa_name(212,t212).
546bupa_name(213,t213).
547bupa_name(214,t214).
548bupa_name(215,t215).
549bupa_name(216,t216).
550bupa_name(217,t217).
551bupa_name(218,t218).
552bupa_name(219,t219).
553bupa_name(22,t22).
554bupa_name(220,t220).
555bupa_name(221,t221).
556bupa_name(222,t222).
557bupa_name(223,t223).
558bupa_name(224,t224).
559bupa_name(225,t225).
560bupa_name(226,t226).
561bupa_name(227,t227).
562bupa_name(228,t228).
563bupa_name(229,t229).
564bupa_name(23,t23).
565bupa_name(230,t230).
566bupa_name(231,t231).
567bupa_name(232,t232).
568bupa_name(233,t233).
569bupa_name(234,t234).
570bupa_name(235,t235).
571bupa_name(236,t236).
572bupa_name(237,t237).
573bupa_name(238,t238).
574bupa_name(239,t239).
575bupa_name(24,t24).
576bupa_name(240,t240).
577bupa_name(241,t241).
578bupa_name(242,t242).
579bupa_name(243,t243).
580bupa_name(244,t244).
581bupa_name(245,t245).
582bupa_name(246,t246).
583bupa_name(247,t247).
584bupa_name(248,t248).
585bupa_name(249,t249).
586bupa_name(25,t25).
587bupa_name(250,t250).
588bupa_name(251,t251).
589bupa_name(252,t252).
590bupa_name(253,t253).
591bupa_name(254,t254).
592bupa_name(255,t255).
593bupa_name(256,t256).
594bupa_name(257,t257).
595bupa_name(258,t258).
596bupa_name(259,t259).
597bupa_name(26,t26).
598bupa_name(260,t260).
599bupa_name(261,t261).
600bupa_name(262,t262).
601bupa_name(263,t263).
602bupa_name(264,t264).
603bupa_name(265,t265).
604bupa_name(266,t266).
605bupa_name(267,t267).
606bupa_name(268,t268).
607bupa_name(269,t269).
608bupa_name(27,t27).
609bupa_name(270,t270).
610bupa_name(271,t271).
611bupa_name(272,t272).
612bupa_name(273,t273).
613bupa_name(274,t274).
614bupa_name(275,t275).
615bupa_name(276,t276).
616bupa_name(277,t277).
617bupa_name(278,t278).
618bupa_name(279,t279).
619bupa_name(28,t28).
620bupa_name(280,t280).
621bupa_name(281,t281).
622bupa_name(282,t282).
623bupa_name(283,t283).
624bupa_name(284,t284).
625bupa_name(285,t285).
626bupa_name(286,t286).
627bupa_name(287,t287).
628bupa_name(288,t288).
629bupa_name(289,t289).
630bupa_name(29,t29).
631bupa_name(290,t290).
632bupa_name(291,t291).
633bupa_name(292,t292).
634bupa_name(293,t293).
635bupa_name(294,t294).
636bupa_name(295,t295).
637bupa_name(296,t296).
638bupa_name(297,t297).
639bupa_name(298,t298).
640bupa_name(299,t299).
641bupa_name(3,t3).
642bupa_name(30,t30).
643bupa_name(300,t300).
644bupa_name(301,t301).
645bupa_name(302,t302).
646bupa_name(303,t303).
647bupa_name(304,t304).
648bupa_name(305,t305).
649bupa_name(306,t306).
650bupa_name(307,t307).
651bupa_name(308,t308).
652bupa_name(309,t309).
653bupa_name(31,t31).
654bupa_name(310,t310).
655bupa_name(311,t311).
656bupa_name(312,t312).
657bupa_name(313,t313).
658bupa_name(314,t314).
659bupa_name(315,t315).
660bupa_name(316,t316).
661bupa_name(317,t317).
662bupa_name(318,t318).
663bupa_name(319,t319).
664bupa_name(32,t32).
665bupa_name(320,t320).
666bupa_name(321,t321).
667bupa_name(322,t322).
668bupa_name(323,t323).
669bupa_name(324,t324).
670bupa_name(325,t325).
671bupa_name(326,t326).
672bupa_name(327,t327).
673bupa_name(328,t328).
674bupa_name(329,t329).
675bupa_name(33,t33).
676bupa_name(330,t330).
677bupa_name(331,t331).
678bupa_name(332,t332).
679bupa_name(333,t333).
680bupa_name(334,t334).
681bupa_name(335,t335).
682bupa_name(336,t336).
683bupa_name(337,t337).
684bupa_name(338,t338).
685bupa_name(339,t339).
686bupa_name(34,t34).
687bupa_name(340,t340).
688bupa_name(341,t341).
689bupa_name(342,t342).
690bupa_name(343,t343).
691bupa_name(344,t344).
692bupa_name(345,t345).
693bupa_name(35,t35).
694bupa_name(36,t36).
695bupa_name(37,t37).
696bupa_name(38,t38).
697bupa_name(39,t39).
698bupa_name(4,t4).
699bupa_name(40,t40).
700bupa_name(41,t41).
701bupa_name(42,t42).
702bupa_name(43,t43).
703bupa_name(44,t44).
704bupa_name(45,t45).
705bupa_name(46,t46).
706bupa_name(47,t47).
707bupa_name(48,t48).
708bupa_name(49,t49).
709bupa_name(5,t5).
710bupa_name(50,t50).
711bupa_name(51,t51).
712bupa_name(52,t52).
713bupa_name(53,t53).
714bupa_name(54,t54).
715bupa_name(55,t55).
716bupa_name(56,t56).
717bupa_name(57,t57).
718bupa_name(58,t58).
719bupa_name(59,t59).
720bupa_name(6,t6).
721bupa_name(60,t60).
722bupa_name(61,t61).
723bupa_name(62,t62).
724bupa_name(63,t63).
725bupa_name(64,t64).
726bupa_name(65,t65).
727bupa_name(66,t66).
728bupa_name(67,t67).
729bupa_name(68,t68).
730bupa_name(69,t69).
731bupa_name(7,t7).
732bupa_name(70,t70).
733bupa_name(71,t71).
734bupa_name(72,t72).
735bupa_name(73,t73).
736bupa_name(74,t74).
737bupa_name(75,t75).
738bupa_name(76,t76).
739bupa_name(77,t77).
740bupa_name(78,t78).
741bupa_name(79,t79).
742bupa_name(8,t8).
743bupa_name(80,t80).
744bupa_name(81,t81).
745bupa_name(82,t82).
746bupa_name(83,t83).
747bupa_name(84,t84).
748bupa_name(85,t85).
749bupa_name(86,t86).
750bupa_name(87,t87).
751bupa_name(88,t88).
752bupa_name(89,t89).
753bupa_name(9,t9).
754bupa_name(90,t90).
755bupa_name(91,t91).
756bupa_name(92,t92).
757bupa_name(93,t93).
758bupa_name(94,t94).
759bupa_name(95,t95).
760bupa_name(96,t96).
761bupa_name(97,t97).
762bupa_name(98,t98).
763bupa_name(99,t99).
765
770
771bupa_type(2,f).
772bupa_type(1,t).
774
779
780bupa(1,t1,t).
781neg(bupa(2,t2,f)).
782neg(bupa(3,t3,f)).
783neg(bupa(4,t4,f)).
784neg(bupa(5,t5,f)).
785neg(bupa(6,t6,f)).
786bupa(7,t7,t).
787bupa(8,t8,t).
788bupa(9,t9,t).
789bupa(10,t10,t).
790bupa(11,t11,t).
791bupa(12,t12,t).
792bupa(13,t13,t).
793bupa(14,t14,t).
794bupa(15,t15,t).
795bupa(16,t16,t).
796bupa(17,t17,t).
797bupa(18,t18,t).
798bupa(19,t19,t).
799bupa(20,t20,t).
800bupa(21,t21,t).
801bupa(22,t22,t).
802bupa(23,t23,t).
803bupa(24,t24,t).
804bupa(25,t25,t).
805bupa(26,t26,t).
806bupa(27,t27,t).
807bupa(28,t28,t).
808bupa(29,t29,t).
809bupa(30,t30,t).
810bupa(31,t31,t).
811bupa(32,t32,t).
812bupa(33,t33,t).
813bupa(34,t34,t).
814bupa(35,t35,t).
815neg(bupa(36,t36,f)).
816neg(bupa(37,t37,f)).
817neg(bupa(38,t38,f)).
818neg(bupa(39,t39,f)).
819neg(bupa(40,t40,f)).
820neg(bupa(41,t41,f)).
821neg(bupa(42,t42,f)).
822neg(bupa(43,t43,f)).
823neg(bupa(44,t44,f)).
824neg(bupa(45,t45,f)).
825neg(bupa(46,t46,f)).
826neg(bupa(47,t47,f)).
827neg(bupa(48,t48,f)).
828neg(bupa(49,t49,f)).
829neg(bupa(50,t50,f)).
830neg(bupa(51,t51,f)).
831neg(bupa(52,t52,f)).
832neg(bupa(53,t53,f)).
833neg(bupa(54,t54,f)).
834neg(bupa(55,t55,f)).
835neg(bupa(56,t56,f)).
836neg(bupa(57,t57,f)).
837neg(bupa(58,t58,f)).
838neg(bupa(59,t59,f)).
839neg(bupa(60,t60,f)).
840neg(bupa(61,t61,f)).
841neg(bupa(62,t62,f)).
842neg(bupa(63,t63,f)).
843neg(bupa(64,t64,f)).
844bupa(65,t65,t).
845bupa(66,t66,t).
846neg(bupa(67,t67,f)).
847neg(bupa(68,t68,f)).
848neg(bupa(69,t69,f)).
849neg(bupa(70,t70,f)).
850bupa(71,t71,t).
851bupa(72,t72,t).
852bupa(73,t73,t).
853bupa(74,t74,t).
854bupa(75,t75,t).
855bupa(76,t76,t).
856neg(bupa(77,t77,f)).
857neg(bupa(78,t78,f)).
858neg(bupa(79,t79,f)).
859neg(bupa(80,t80,f)).
860neg(bupa(81,t81,f)).
861neg(bupa(82,t82,f)).
862neg(bupa(83,t83,f)).
863neg(bupa(84,t84,f)).
864neg(bupa(85,t85,f)).
865neg(bupa(86,t86,f)).
866neg(bupa(87,t87,f)).
867neg(bupa(88,t88,f)).
868bupa(89,t89,t).
869bupa(90,t90,t).
870bupa(91,t91,t).
871bupa(92,t92,t).
872bupa(93,t93,t).
873bupa(94,t94,t).
874bupa(95,t95,t).
875bupa(96,t96,t).
876neg(bupa(97,t97,f)).
877neg(bupa(98,t98,f)).
878neg(bupa(99,t99,f)).
879neg(bupa(100,t100,f)).
880neg(bupa(101,t101,f)).
881neg(bupa(102,t102,f)).
882bupa(103,t103,t).
883bupa(104,t104,t).
884bupa(105,t105,t).
885bupa(106,t106,t).
886bupa(107,t107,t).
887bupa(108,t108,t).
888bupa(109,t109,t).
889neg(bupa(110,t110,f)).
890neg(bupa(111,t111,f)).
891neg(bupa(112,t112,f)).
892neg(bupa(113,t113,f)).
893neg(bupa(114,t114,f)).
894neg(bupa(115,t115,f)).
895neg(bupa(116,t116,f)).
896neg(bupa(117,t117,f)).
897neg(bupa(118,t118,f)).
898neg(bupa(119,t119,f)).
899neg(bupa(120,t120,f)).
900neg(bupa(121,t121,f)).
901neg(bupa(122,t122,f)).
902neg(bupa(123,t123,f)).
903neg(bupa(124,t124,f)).
904neg(bupa(125,t125,f)).
905neg(bupa(126,t126,f)).
906neg(bupa(127,t127,f)).
907neg(bupa(128,t128,f)).
908neg(bupa(129,t129,f)).
909neg(bupa(130,t130,f)).
910bupa(131,t131,t).
911bupa(132,t132,t).
912neg(bupa(133,t133,f)).
913neg(bupa(134,t134,f)).
914neg(bupa(135,t135,f)).
915neg(bupa(136,t136,f)).
916neg(bupa(137,t137,f)).
917neg(bupa(138,t138,f)).
918neg(bupa(139,t139,f)).
919neg(bupa(140,t140,f)).
920bupa(141,t141,t).
921bupa(142,t142,t).
922bupa(143,t143,t).
923bupa(144,t144,t).
924bupa(145,t145,t).
925bupa(146,t146,t).
926bupa(147,t147,t).
927bupa(148,t148,t).
928bupa(149,t149,t).
929bupa(150,t150,t).
930neg(bupa(151,t151,f)).
931neg(bupa(152,t152,f)).
932neg(bupa(153,t153,f)).
933neg(bupa(154,t154,f)).
934neg(bupa(155,t155,f)).
935neg(bupa(156,t156,f)).
936neg(bupa(157,t157,f)).
937neg(bupa(158,t158,f)).
938neg(bupa(159,t159,f)).
939neg(bupa(160,t160,f)).
940neg(bupa(161,t161,f)).
941neg(bupa(162,t162,f)).
942neg(bupa(163,t163,f)).
943neg(bupa(164,t164,f)).
944neg(bupa(165,t165,f)).
945neg(bupa(166,t166,f)).
946bupa(167,t167,t).
947bupa(168,t168,t).
948neg(bupa(169,t169,f)).
949bupa(170,t170,t).
950bupa(171,t171,t).
951bupa(172,t172,t).
952bupa(173,t173,t).
953bupa(174,t174,t).
954bupa(175,t175,t).
955bupa(176,t176,t).
956neg(bupa(177,t177,f)).
957neg(bupa(178,t178,f)).
958neg(bupa(179,t179,f)).
959neg(bupa(180,t180,f)).
960neg(bupa(181,t181,f)).
961bupa(182,t182,t).
962bupa(183,t183,t).
963neg(bupa(184,t184,f)).
964neg(bupa(185,t185,f)).
965neg(bupa(186,t186,f)).
966neg(bupa(187,t187,f)).
967neg(bupa(188,t188,f)).
968bupa(189,t189,t).
969bupa(190,t190,t).
970bupa(191,t191,t).
971bupa(192,t192,t).
972neg(bupa(193,t193,f)).
973bupa(194,t194,t).
974bupa(195,t195,t).
975bupa(196,t196,t).
976bupa(197,t197,t).
977bupa(198,t198,t).
978bupa(199,t199,t).
979bupa(200,t200,t).
980bupa(201,t201,t).
981bupa(202,t202,t).
982bupa(203,t203,t).
983bupa(204,t204,t).
984bupa(205,t205,t).
985bupa(206,t206,t).
986bupa(207,t207,t).
987bupa(208,t208,t).
988bupa(209,t209,t).
989bupa(210,t210,t).
990bupa(211,t211,t).
991bupa(212,t212,t).
992bupa(213,t213,t).
993bupa(214,t214,t).
994bupa(215,t215,t).
995bupa(216,t216,t).
996bupa(217,t217,t).
997neg(bupa(218,t218,f)).
998neg(bupa(219,t219,f)).
999neg(bupa(220,t220,f)).
1000neg(bupa(221,t221,f)).
1001neg(bupa(222,t222,f)).
1002neg(bupa(223,t223,f)).
1003neg(bupa(224,t224,f)).
1004neg(bupa(225,t225,f)).
1005neg(bupa(226,t226,f)).
1006neg(bupa(227,t227,f)).
1007neg(bupa(228,t228,f)).
1008neg(bupa(229,t229,f)).
1009neg(bupa(230,t230,f)).
1010neg(bupa(231,t231,f)).
1011neg(bupa(232,t232,f)).
1012neg(bupa(233,t233,f)).
1013neg(bupa(234,t234,f)).
1014neg(bupa(235,t235,f)).
1015neg(bupa(236,t236,f)).
1016neg(bupa(237,t237,f)).
1017neg(bupa(238,t238,f)).
1018neg(bupa(239,t239,f)).
1019neg(bupa(240,t240,f)).
1020neg(bupa(241,t241,f)).
1021neg(bupa(242,t242,f)).
1022neg(bupa(243,t243,f)).
1023bupa(244,t244,t).
1024bupa(245,t245,t).
1025bupa(246,t246,t).
1026bupa(247,t247,t).
1027bupa(248,t248,t).
1028bupa(249,t249,t).
1029neg(bupa(250,t250,f)).
1030neg(bupa(251,t251,f)).
1031neg(bupa(252,t252,f)).
1032neg(bupa(253,t253,f)).
1033neg(bupa(254,t254,f)).
1034bupa(255,t255,t).
1035bupa(256,t256,t).
1036bupa(257,t257,t).
1037bupa(258,t258,t).
1038bupa(259,t259,t).
1039bupa(260,t260,t).
1040bupa(261,t261,t).
1041bupa(262,t262,t).
1042bupa(263,t263,t).
1043neg(bupa(264,t264,f)).
1044neg(bupa(265,t265,f)).
1045neg(bupa(266,t266,f)).
1046neg(bupa(267,t267,f)).
1047neg(bupa(268,t268,f)).
1048neg(bupa(269,t269,f)).
1049neg(bupa(270,t270,f)).
1050neg(bupa(271,t271,f)).
1051bupa(272,t272,t).
1052bupa(273,t273,t).
1053bupa(274,t274,t).
1054neg(bupa(275,t275,f)).
1055neg(bupa(276,t276,f)).
1056neg(bupa(277,t277,f)).
1057neg(bupa(278,t278,f)).
1058bupa(279,t279,t).
1059neg(bupa(280,t280,f)).
1060neg(bupa(281,t281,f)).
1061neg(bupa(282,t282,f)).
1062neg(bupa(283,t283,f)).
1063neg(bupa(284,t284,f)).
1064neg(bupa(285,t285,f)).
1065neg(bupa(286,t286,f)).
1066neg(bupa(287,t287,f)).
1067neg(bupa(288,t288,f)).
1068neg(bupa(289,t289,f)).
1069neg(bupa(290,t290,f)).
1070neg(bupa(291,t291,f)).
1071neg(bupa(292,t292,f)).
1072neg(bupa(293,t293,f)).
1073neg(bupa(294,t294,f)).
1074neg(bupa(295,t295,f)).
1075neg(bupa(296,t296,f)).
1076neg(bupa(297,t297,f)).
1077neg(bupa(298,t298,f)).
1078neg(bupa(299,t299,f)).
1079neg(bupa(300,t300,f)).
1080neg(bupa(301,t301,f)).
1081neg(bupa(302,t302,f)).
1082neg(bupa(303,t303,f)).
1083neg(bupa(304,t304,f)).
1084neg(bupa(305,t305,f)).
1085neg(bupa(306,t306,f)).
1086neg(bupa(307,t307,f)).
1087bupa(308,t308,t).
1088bupa(309,t309,t).
1089bupa(310,t310,t).
1090bupa(311,t311,t).
1091bupa(312,t312,t).
1092bupa(313,t313,t).
1093bupa(314,t314,t).
1094bupa(315,t315,t).
1095bupa(316,t316,t).
1096bupa(317,t317,t).
1097bupa(318,t318,t).
1098neg(bupa(319,t319,f)).
1099neg(bupa(320,t320,f)).
1100neg(bupa(321,t321,f)).
1101neg(bupa(322,t322,f)).
1102neg(bupa(323,t323,f)).
1103neg(bupa(324,t324,f)).
1104bupa(325,t325,t).
1105bupa(326,t326,t).
1106bupa(327,t327,t).
1107bupa(328,t328,t).
1108bupa(329,t329,t).
1109neg(bupa(330,t330,f)).
1110neg(bupa(331,t331,f)).
1111neg(bupa(332,t332,f)).
1112neg(bupa(333,t333,f)).
1113neg(bupa(334,t334,f)).
1114bupa(335,t335,t).
1115bupa(336,t336,t).
1116neg(bupa(337,t337,f)).
1117neg(bupa(338,t338,f)).
1118neg(bupa(339,t339,f)).
1119neg(bupa(340,t340,f)).
1120bupa(341,t341,t).
1121neg(bupa(342,t342,f)).
1122bupa(343,t343,t).
1123bupa(344,t344,t).
1124bupa(345,t345,t).
1126
1131
1132dependencies_aux(1,alkphos,arg1,bupa_name,arg1,fin).
1133dependencies_aux(2,alkphos,arg2,xxx,arg2,inf).
1134dependencies_aux(3,drinks,arg1,bupa_name,arg1,fin).
1135dependencies_aux(4,drinks,arg2,xxx,arg2,inf).
1136dependencies_aux(5,gammagt,arg1,bupa_name,arg1,fin).
1137dependencies_aux(6,gammagt,arg2,xxx,arg2,inf).
1138dependencies_aux(7,mcv,arg1,bupa_name,arg1,fin).
1139dependencies_aux(8,mcv,arg2,xxx,arg2,inf).
1140dependencies_aux(9,sgot,arg1,bupa_name,arg1,fin).
1141dependencies_aux(10,sgot,arg2,xxx,arg2,inf).
1142dependencies_aux(11,sgpt,arg1,bupa_name,arg1,fin).
1143dependencies_aux(12,sgpt,arg2,xxx,arg2,inf).
1145
1150
1151drinks(1,t1,0.000).
1152drinks(2,t2,0.000).
1153drinks(3,t3,0.000).
1154drinks(4,t4,0.000).
1155drinks(5,t5,0.000).
1156drinks(6,t6,0.000).
1157drinks(7,t7,0.500).
1158drinks(8,t8,0.500).
1159drinks(9,t9,0.500).
1160drinks(10,t10,0.500).
1161drinks(11,t11,0.500).
1162drinks(12,t12,0.500).
1163drinks(13,t13,0.500).
1164drinks(14,t14,0.500).
1165drinks(15,t15,0.500).
1166drinks(16,t16,0.500).
1167drinks(17,t17,0.500).
1168drinks(18,t18,0.500).
1169drinks(19,t19,0.500).
1170drinks(20,t20,0.500).
1171drinks(21,t21,0.500).
1172drinks(22,t22,0.500).
1173drinks(23,t23,0.500).
1174drinks(24,t24,0.500).
1175drinks(25,t25,0.500).
1176drinks(26,t26,0.500).
1177drinks(27,t27,0.500).
1178drinks(28,t28,0.500).
1179drinks(29,t29,0.500).
1180drinks(30,t30,0.500).
1181drinks(31,t31,0.500).
1182drinks(32,t32,0.500).
1183drinks(33,t33,0.500).
1184drinks(34,t34,0.500).
1185drinks(35,t35,0.500).
1186drinks(36,t36,0.500).
1187drinks(37,t37,0.500).
1188drinks(38,t38,0.500).
1189drinks(39,t39,0.500).
1190drinks(40,t40,0.500).
1191drinks(41,t41,0.500).
1192drinks(42,t42,0.500).
1193drinks(43,t43,0.500).
1194drinks(44,t44,0.500).
1195drinks(45,t45,0.500).
1196drinks(46,t46,0.500).
1197drinks(47,t47,0.500).
1198drinks(48,t48,0.500).
1199drinks(49,t49,0.500).
1200drinks(50,t50,0.500).
1201drinks(51,t51,0.500).
1202drinks(52,t52,0.500).
1203drinks(53,t53,0.500).
1204drinks(54,t54,0.500).
1205drinks(55,t55,0.500).
1206drinks(56,t56,0.500).
1207drinks(57,t57,0.500).
1208drinks(58,t58,0.500).
1209drinks(59,t59,0.500).
1210drinks(60,t60,0.500).
1211drinks(61,t61,0.500).
1212drinks(62,t62,0.500).
1213drinks(63,t63,0.500).
1214drinks(64,t64,0.500).
1215drinks(65,t65,1.000).
1216drinks(66,t66,1.000).
1217drinks(67,t67,1.000).
1218drinks(68,t68,1.000).
1219drinks(69,t69,1.000).
1220drinks(70,t70,1.000).
1221drinks(71,t71,2.000).
1222drinks(72,t72,2.000).
1223drinks(73,t73,2.000).
1224drinks(74,t74,2.000).
1225drinks(75,t75,2.000).
1226drinks(76,t76,2.000).
1227drinks(77,t77,2.000).
1228drinks(78,t78,2.000).
1229drinks(79,t79,2.000).
1230drinks(80,t80,2.000).
1231drinks(81,t81,2.000).
1232drinks(82,t82,2.000).
1233drinks(83,t83,2.000).
1234drinks(84,t84,2.000).
1235drinks(85,t85,2.000).
1236drinks(86,t86,2.000).
1237drinks(87,t87,2.000).
1238drinks(88,t88,2.000).
1239drinks(89,t89,3.000).
1240drinks(90,t90,3.000).
1241drinks(91,t91,3.000).
1242drinks(92,t92,3.000).
1243drinks(93,t93,3.000).
1244drinks(94,t94,3.000).
1245drinks(95,t95,3.000).
1246drinks(96,t96,3.000).
1247drinks(97,t97,3.000).
1248drinks(98,t98,3.000).
1249drinks(99,t99,3.000).
1250drinks(100,t100,3.000).
1251drinks(101,t101,3.000).
1252drinks(102,t102,3.000).
1253drinks(103,t103,4.000).
1254drinks(104,t104,4.000).
1255drinks(105,t105,4.000).
1256drinks(106,t106,4.000).
1257drinks(107,t107,4.000).
1258drinks(108,t108,4.000).
1259drinks(109,t109,4.000).
1260drinks(110,t110,4.000).
1261drinks(111,t111,4.000).
1262drinks(112,t112,4.000).
1263drinks(113,t113,4.000).
1264drinks(114,t114,4.000).
1265drinks(115,t115,4.000).
1266drinks(116,t116,4.000).
1267drinks(117,t117,4.000).
1268drinks(118,t118,4.000).
1269drinks(119,t119,4.000).
1270drinks(120,t120,4.000).
1271drinks(121,t121,4.000).
1272drinks(122,t122,4.000).
1273drinks(123,t123,4.000).
1274drinks(124,t124,4.000).
1275drinks(125,t125,4.000).
1276drinks(126,t126,4.000).
1277drinks(127,t127,4.000).
1278drinks(128,t128,4.000).
1279drinks(129,t129,4.000).
1280drinks(130,t130,4.000).
1281drinks(131,t131,5.000).
1282drinks(132,t132,5.000).
1283drinks(133,t133,5.000).
1284drinks(134,t134,5.000).
1285drinks(135,t135,5.000).
1286drinks(136,t136,5.000).
1287drinks(137,t137,5.000).
1288drinks(138,t138,5.000).
1289drinks(139,t139,5.000).
1290drinks(140,t140,5.000).
1291drinks(141,t141,6.000).
1292drinks(142,t142,6.000).
1293drinks(143,t143,6.000).
1294drinks(144,t144,6.000).
1295drinks(145,t145,6.000).
1296drinks(146,t146,6.000).
1297drinks(147,t147,6.000).
1298drinks(148,t148,6.000).
1299drinks(149,t149,6.000).
1300drinks(150,t150,6.000).
1301drinks(151,t151,6.000).
1302drinks(152,t152,6.000).
1303drinks(153,t153,6.000).
1304drinks(154,t154,6.000).
1305drinks(155,t155,6.000).
1306drinks(156,t156,6.000).
1307drinks(157,t157,6.000).
1308drinks(158,t158,6.000).
1309drinks(159,t159,6.000).
1310drinks(160,t160,6.000).
1311drinks(161,t161,6.000).
1312drinks(162,t162,6.000).
1313drinks(163,t163,6.000).
1314drinks(164,t164,6.000).
1315drinks(165,t165,6.000).
1316drinks(166,t166,6.000).
1317drinks(167,t167,7.000).
1318drinks(168,t168,7.000).
1319drinks(169,t169,7.000).
1320drinks(170,t170,8.000).
1321drinks(171,t171,8.000).
1322drinks(172,t172,8.000).
1323drinks(173,t173,8.000).
1324drinks(174,t174,8.000).
1325drinks(175,t175,8.000).
1326drinks(176,t176,8.000).
1327drinks(177,t177,8.000).
1328drinks(178,t178,8.000).
1329drinks(179,t179,8.000).
1330drinks(180,t180,8.000).
1331drinks(181,t181,8.000).
1332drinks(182,t182,9.000).
1333drinks(183,t183,10.000).
1334drinks(184,t184,10.000).
1335drinks(185,t185,10.000).
1336drinks(186,t186,10.000).
1337drinks(187,t187,12.000).
1338drinks(188,t188,12.000).
1339drinks(189,t189,16.000).
1340drinks(190,t190,20.000).
1341drinks(191,t191,0.000).
1342drinks(192,t192,0.000).
1343drinks(193,t193,0.000).
1344drinks(194,t194,0.500).
1345drinks(195,t195,0.500).
1346drinks(196,t196,0.500).
1347drinks(197,t197,0.500).
1348drinks(198,t198,0.500).
1349drinks(199,t199,0.500).
1350drinks(200,t200,0.500).
1351drinks(201,t201,0.500).
1352drinks(202,t202,0.500).
1353drinks(203,t203,0.500).
1354drinks(204,t204,0.500).
1355drinks(205,t205,0.500).
1356drinks(206,t206,0.500).
1357drinks(207,t207,0.500).
1358drinks(208,t208,0.500).
1359drinks(209,t209,0.500).
1360drinks(210,t210,0.500).
1361drinks(211,t211,0.500).
1362drinks(212,t212,0.500).
1363drinks(213,t213,0.500).
1364drinks(214,t214,0.500).
1365drinks(215,t215,0.500).
1366drinks(216,t216,0.500).
1367drinks(217,t217,0.500).
1368drinks(218,t218,0.500).
1369drinks(219,t219,0.500).
1370drinks(220,t220,0.500).
1371drinks(221,t221,0.500).
1372drinks(222,t222,0.500).
1373drinks(223,t223,0.500).
1374drinks(224,t224,0.500).
1375drinks(225,t225,0.500).
1376drinks(226,t226,0.500).
1377drinks(227,t227,0.500).
1378drinks(228,t228,0.500).
1379drinks(229,t229,0.500).
1380drinks(230,t230,0.500).
1381drinks(231,t231,0.500).
1382drinks(232,t232,0.500).
1383drinks(233,t233,0.500).
1384drinks(234,t234,0.500).
1385drinks(235,t235,0.500).
1386drinks(236,t236,0.500).
1387drinks(237,t237,0.500).
1388drinks(238,t238,0.500).
1389drinks(239,t239,0.500).
1390drinks(240,t240,0.500).
1391drinks(241,t241,0.500).
1392drinks(242,t242,0.500).
1393drinks(243,t243,0.500).
1394drinks(244,t244,1.000).
1395drinks(245,t245,1.000).
1396drinks(246,t246,1.000).
1397drinks(247,t247,1.000).
1398drinks(248,t248,1.000).
1399drinks(249,t249,1.000).
1400drinks(250,t250,1.000).
1401drinks(251,t251,1.000).
1402drinks(252,t252,1.000).
1403drinks(253,t253,1.000).
1404drinks(254,t254,1.000).
1405drinks(255,t255,2.000).
1406drinks(256,t256,2.000).
1407drinks(257,t257,2.000).
1408drinks(258,t258,2.000).
1409drinks(259,t259,2.000).
1410drinks(260,t260,2.000).
1411drinks(261,t261,2.000).
1412drinks(262,t262,2.000).
1413drinks(263,t263,2.000).
1414drinks(264,t264,2.000).
1415drinks(265,t265,2.000).
1416drinks(266,t266,2.000).
1417drinks(267,t267,2.000).
1418drinks(268,t268,2.000).
1419drinks(269,t269,2.000).
1420drinks(270,t270,2.000).
1421drinks(271,t271,2.000).
1422drinks(272,t272,3.000).
1423drinks(273,t273,3.000).
1424drinks(274,t274,3.000).
1425drinks(275,t275,3.000).
1426drinks(276,t276,3.000).
1427drinks(277,t277,3.000).
1428drinks(278,t278,3.000).
1429drinks(279,t279,4.000).
1430drinks(280,t280,4.000).
1431drinks(281,t281,4.000).
1432drinks(282,t282,4.000).
1433drinks(283,t283,4.000).
1434drinks(284,t284,4.000).
1435drinks(285,t285,4.000).
1436drinks(286,t286,4.000).
1437drinks(287,t287,4.000).
1438drinks(288,t288,4.000).
1439drinks(289,t289,4.000).
1440drinks(290,t290,4.000).
1441drinks(291,t291,4.000).
1442drinks(292,t292,4.000).
1443drinks(293,t293,4.000).
1444drinks(294,t294,4.000).
1445drinks(295,t295,4.000).
1446drinks(296,t296,4.000).
1447drinks(297,t297,4.000).
1448drinks(298,t298,4.000).
1449drinks(299,t299,4.000).
1450drinks(300,t300,4.000).
1451drinks(301,t301,5.000).
1452drinks(302,t302,5.000).
1453drinks(303,t303,5.000).
1454drinks(304,t304,5.000).
1455drinks(305,t305,5.000).
1456drinks(306,t306,5.000).
1457drinks(307,t307,5.000).
1458drinks(308,t308,6.000).
1459drinks(309,t309,6.000).
1460drinks(310,t310,6.000).
1461drinks(311,t311,6.000).
1462drinks(312,t312,6.000).
1463drinks(313,t313,6.000).
1464drinks(314,t314,6.000).
1465drinks(315,t315,6.000).
1466drinks(316,t316,6.000).
1467drinks(317,t317,6.000).
1468drinks(318,t318,6.000).
1469drinks(319,t319,6.000).
1470drinks(320,t320,6.000).
1471drinks(321,t321,6.000).
1472drinks(322,t322,7.000).
1473drinks(323,t323,7.000).
1474drinks(324,t324,7.000).
1475drinks(325,t325,8.000).
1476drinks(326,t326,8.000).
1477drinks(327,t327,8.000).
1478drinks(328,t328,8.000).
1479drinks(329,t329,8.000).
1480drinks(330,t330,8.000).
1481drinks(331,t331,8.000).
1482drinks(332,t332,8.000).
1483drinks(333,t333,8.000).
1484drinks(334,t334,9.000).
1485drinks(335,t335,10.000).
1486drinks(336,t336,10.000).
1487drinks(337,t337,10.000).
1488drinks(338,t338,10.000).
1489drinks(339,t339,10.000).
1490drinks(340,t340,10.000).
1491drinks(341,t341,12.000).
1492drinks(342,t342,12.000).
1493drinks(343,t343,15.000).
1494drinks(344,t344,16.000).
1495drinks(345,t345,20.000).
1497
1502
1503gammagt(1,t1,31).
1504gammagt(2,t2,23).
1505gammagt(3,t3,54).
1506gammagt(4,t4,36).
1507gammagt(5,t5,10).
1508gammagt(6,t6,17).
1509gammagt(7,t7,9).
1510gammagt(8,t8,11).
1511gammagt(9,t9,7).
1512gammagt(10,t10,5).
1513gammagt(11,t11,15).
1514gammagt(12,t12,15).
1515gammagt(13,t13,13).
1516gammagt(14,t14,18).
1517gammagt(15,t15,11).
1518gammagt(16,t16,18).
1519gammagt(17,t17,10).
1520gammagt(18,t18,16).
1521gammagt(19,t19,56).
1522gammagt(20,t20,11).
1523gammagt(21,t21,19).
1524gammagt(22,t22,20).
1525gammagt(23,t23,5).
1526gammagt(24,t24,19).
1527gammagt(25,t25,97).
1528gammagt(26,t26,26).
1529gammagt(27,t27,18).
1530gammagt(28,t28,10).
1531gammagt(29,t29,19).
1532gammagt(30,t30,16).
1533gammagt(31,t31,17).
1534gammagt(32,t32,42).
1535gammagt(33,t33,29).
1536gammagt(34,t34,40).
1537gammagt(35,t35,11).
1538gammagt(36,t36,82).
1539gammagt(37,t37,22).
1540gammagt(38,t38,9).
1541gammagt(39,t39,30).
1542gammagt(40,t40,38).
1543gammagt(41,t41,44).
1544gammagt(42,t42,42).
1545gammagt(43,t43,13).
1546gammagt(44,t44,16).
1547gammagt(45,t45,18).
1548gammagt(46,t46,13).
1549gammagt(47,t47,10).
1550gammagt(48,t48,50).
1551gammagt(49,t49,11).
1552gammagt(50,t50,38).
1553gammagt(51,t51,16).
1554gammagt(52,t52,11).
1555gammagt(53,t53,90).
1556gammagt(54,t54,43).
1557gammagt(55,t55,30).
1558gammagt(56,t56,15).
1559gammagt(57,t57,19).
1560gammagt(58,t58,19).
1561gammagt(59,t59,36).
1562gammagt(60,t60,24).
1563gammagt(61,t61,27).
1564gammagt(62,t62,18).
1565gammagt(63,t63,13).
1566gammagt(64,t64,11).
1567gammagt(65,t65,27).
1568gammagt(66,t66,19).
1569gammagt(67,t67,14).
1570gammagt(68,t68,23).
1571gammagt(69,t69,13).
1572gammagt(70,t70,14).
1573gammagt(71,t71,57).
1574gammagt(72,t72,35).
1575gammagt(73,t73,9).
1576gammagt(74,t74,22).
1577gammagt(75,t75,16).
1578gammagt(76,t76,42).
1579gammagt(77,t77,156).
1580gammagt(78,t78,30).
1581gammagt(79,t79,16).
1582gammagt(80,t80,30).
1583gammagt(81,t81,64).
1584gammagt(82,t82,48).
1585gammagt(83,t83,16).
1586gammagt(84,t84,26).
1587gammagt(85,t85,297).
1588gammagt(86,t86,26).
1589gammagt(87,t87,29).
1590gammagt(88,t88,9).
1591gammagt(89,t89,11).
1592gammagt(90,t90,7).
1593gammagt(91,t91,26).
1594gammagt(92,t92,6).
1595gammagt(93,t93,30).
1596gammagt(94,t94,15).
1597gammagt(95,t95,20).
1598gammagt(96,t96,27).
1599gammagt(97,t97,53).
1600gammagt(98,t98,104).
1601gammagt(99,t99,36).
1602gammagt(100,t100,24).
1603gammagt(101,t101,25).
1604gammagt(102,t102,81).
1605gammagt(103,t103,10).
1606gammagt(104,t104,13).
1607gammagt(105,t105,14).
1608gammagt(106,t106,17).
1609gammagt(107,t107,27).
1610gammagt(108,t108,18).
1611gammagt(109,t109,7).
1612gammagt(110,t110,50).
1613gammagt(111,t111,9).
1614gammagt(112,t112,21).
1615gammagt(113,t113,17).
1616gammagt(114,t114,17).
1617gammagt(115,t115,169).
1618gammagt(116,t116,8).
1619gammagt(117,t117,21).
1620gammagt(118,t118,14).
1621gammagt(119,t119,25).
1622gammagt(120,t120,16).
1623gammagt(121,t121,42).
1624gammagt(122,t122,23).
1625gammagt(123,t123,14).
1626gammagt(124,t124,24).
1627gammagt(125,t125,31).
1628gammagt(126,t126,16).
1629gammagt(127,t127,48).
1630gammagt(128,t128,82).
1631gammagt(129,t129,13).
1632gammagt(130,t130,22).
1633gammagt(131,t131,33).
1634gammagt(132,t132,18).
1635gammagt(133,t133,107).
1636gammagt(134,t134,150).
1637gammagt(135,t135,12).
1638gammagt(136,t136,15).
1639gammagt(137,t137,24).
1640gammagt(138,t138,22).
1641gammagt(139,t139,112).
1642gammagt(140,t140,11).
1643gammagt(141,t141,20).
1644gammagt(142,t142,28).
1645gammagt(143,t143,15).
1646gammagt(144,t144,36).
1647gammagt(145,t145,15).
1648gammagt(146,t146,50).
1649gammagt(147,t147,36).
1650gammagt(148,t148,76).
1651gammagt(149,t149,20).
1652gammagt(150,t150,15).
1653gammagt(151,t151,92).
1654gammagt(152,t152,37).
1655gammagt(153,t153,21).
1656gammagt(154,t154,16).
1657gammagt(155,t155,76).
1658gammagt(156,t156,69).
1659gammagt(157,t157,67).
1660gammagt(158,t158,44).
1661gammagt(159,t159,48).
1662gammagt(160,t160,19).
1663gammagt(161,t161,68).
1664gammagt(162,t162,17).
1665gammagt(163,t163,33).
1666gammagt(164,t164,41).
1667gammagt(165,t165,14).
1668gammagt(166,t166,29).
1669gammagt(167,t167,84).
1670gammagt(168,t168,120).
1671gammagt(169,t169,62).
1672gammagt(170,t170,52).
1673gammagt(171,t171,26).
1674gammagt(172,t172,73).
1675gammagt(173,t173,21).
1676gammagt(174,t174,6).
1677gammagt(175,t175,114).
1678gammagt(176,t176,52).
1679gammagt(177,t177,66).
1680gammagt(178,t178,14).
1681gammagt(179,t179,200).
1682gammagt(180,t180,53).
1683gammagt(181,t181,60).
1684gammagt(182,t182,123).
1685gammagt(183,t183,31).
1686gammagt(184,t184,26).
1687gammagt(185,t185,73).
1688gammagt(186,t186,55).
1689gammagt(187,t187,94).
1690gammagt(188,t188,49).
1691gammagt(189,t189,108).
1692gammagt(190,t190,201).
1693gammagt(191,t191,14).
1694gammagt(192,t192,12).
1695gammagt(193,t193,32).
1696gammagt(194,t194,15).
1697gammagt(195,t195,5).
1698gammagt(196,t196,12).
1699gammagt(197,t197,12).
1700gammagt(198,t198,15).
1701gammagt(199,t199,21).
1702gammagt(200,t200,8).
1703gammagt(201,t201,22).
1704gammagt(202,t202,12).
1705gammagt(203,t203,56).
1706gammagt(204,t204,14).
1707gammagt(205,t205,135).
1708gammagt(206,t206,35).
1709gammagt(207,t207,11).
1710gammagt(208,t208,19).
1711gammagt(209,t209,18).
1712gammagt(210,t210,9).
1713gammagt(211,t211,17).
1714gammagt(212,t212,31).
1715gammagt(213,t213,27).
1716gammagt(214,t214,7).
1717gammagt(215,t215,12).
1718gammagt(216,t216,14).
1719gammagt(217,t217,10).
1720gammagt(218,t218,53).
1721gammagt(219,t219,18).
1722gammagt(220,t220,42).
1723gammagt(221,t221,35).
1724gammagt(222,t222,24).
1725gammagt(223,t223,11).
1726gammagt(224,t224,14).
1727gammagt(225,t225,14).
1728gammagt(226,t226,16).
1729gammagt(227,t227,36).
1730gammagt(228,t228,62).
1731gammagt(229,t229,48).
1732gammagt(230,t230,59).
1733gammagt(231,t231,27).
1734gammagt(232,t232,22).
1735gammagt(233,t233,159).
1736gammagt(234,t234,38).
1737gammagt(235,t235,71).
1738gammagt(236,t236,33).
1739gammagt(237,t237,22).
1740gammagt(238,t238,31).
1741gammagt(239,t239,13).
1742gammagt(240,t240,23).
1743gammagt(241,t241,22).
1744gammagt(242,t242,13).
1745gammagt(243,t243,13).
1746gammagt(244,t244,34).
1747gammagt(245,t245,13).
1748gammagt(246,t246,14).
1749gammagt(247,t247,19).
1750gammagt(248,t248,8).
1751gammagt(249,t249,10).
1752gammagt(250,t250,85).
1753gammagt(251,t251,37).
1754gammagt(252,t252,115).
1755gammagt(253,t253,14).
1756gammagt(254,t254,48).
1757gammagt(255,t255,38).
1758gammagt(256,t256,22).
1759gammagt(257,t257,18).
1760gammagt(258,t258,21).
1761gammagt(259,t259,17).
1762gammagt(260,t260,31).
1763gammagt(261,t261,64).
1764gammagt(262,t262,26).
1765gammagt(263,t263,28).
1766gammagt(264,t264,23).
1767gammagt(265,t265,70).
1768gammagt(266,t266,25).
1769gammagt(267,t267,10).
1770gammagt(268,t268,27).
1771gammagt(269,t269,34).
1772gammagt(270,t270,18).
1773gammagt(271,t271,16).
1774gammagt(272,t272,17).
1775gammagt(273,t273,11).
1776gammagt(274,t274,16).
1777gammagt(275,t275,26).
1778gammagt(276,t276,33).
1779gammagt(277,t277,84).
1780gammagt(278,t278,51).
1781gammagt(279,t279,35).
1782gammagt(280,t280,53).
1783gammagt(281,t281,26).
1784gammagt(282,t282,14).
1785gammagt(283,t283,9).
1786gammagt(284,t284,23).
1787gammagt(285,t285,21).
1788gammagt(286,t286,52).
1789gammagt(287,t287,21).
1790gammagt(288,t288,29).
1791gammagt(289,t289,39).
1792gammagt(290,t290,46).
1793gammagt(291,t291,37).
1794gammagt(292,t292,16).
1795gammagt(293,t293,19).
1796gammagt(294,t294,108).
1797gammagt(295,t295,52).
1798gammagt(296,t296,55).
1799gammagt(297,t297,34).
1800gammagt(298,t298,55).
1801gammagt(299,t299,19).
1802gammagt(300,t300,121).
1803gammagt(301,t301,23).
1804gammagt(302,t302,12).
1805gammagt(303,t303,12).
1806gammagt(304,t304,49).
1807gammagt(305,t305,37).
1808gammagt(306,t306,31).
1809gammagt(307,t307,115).
1810gammagt(308,t308,23).
1811gammagt(309,t309,14).
1812gammagt(310,t310,32).
1813gammagt(311,t311,92).
1814gammagt(312,t312,82).
1815gammagt(313,t313,54).
1816gammagt(314,t314,19).
1817gammagt(315,t315,15).
1818gammagt(316,t316,203).
1819gammagt(317,t317,114).
1820gammagt(318,t318,20).
1821gammagt(319,t319,43).
1822gammagt(320,t320,47).
1823gammagt(321,t321,28).
1824gammagt(322,t322,39).
1825gammagt(323,t323,203).
1826gammagt(324,t324,14).
1827gammagt(325,t325,12).
1828gammagt(326,t326,24).
1829gammagt(327,t327,33).
1830gammagt(328,t328,25).
1831gammagt(329,t329,31).
1832gammagt(330,t330,44).
1833gammagt(331,t331,225).
1834gammagt(332,t332,53).
1835gammagt(333,t333,28).
1836gammagt(334,t334,126).
1837gammagt(335,t335,48).
1838gammagt(336,t336,37).
1839gammagt(337,t337,23).
1840gammagt(338,t338,37).
1841gammagt(339,t339,11).
1842gammagt(340,t340,55).
1843gammagt(341,t341,41).
1844gammagt(342,t342,203).
1845gammagt(343,t343,89).
1846gammagt(344,t344,14).
1847gammagt(345,t345,65).
1849
1854
1855mcv(1,t1,85).
1856mcv(2,t2,85).
1857mcv(3,t3,86).
1858mcv(4,t4,91).
1859mcv(5,t5,87).
1860mcv(6,t6,98).
1861mcv(7,t7,88).
1862mcv(8,t8,88).
1863mcv(9,t9,92).
1864mcv(10,t10,90).
1865mcv(11,t11,89).
1866mcv(12,t12,82).
1867mcv(13,t13,90).
1868mcv(14,t14,86).
1869mcv(15,t15,96).
1870mcv(16,t16,91).
1871mcv(17,t17,89).
1872mcv(18,t18,89).
1873mcv(19,t19,91).
1874mcv(20,t20,94).
1875mcv(21,t21,92).
1876mcv(22,t22,93).
1877mcv(23,t23,90).
1878mcv(24,t24,96).
1879mcv(25,t25,84).
1880mcv(26,t26,92).
1881mcv(27,t27,90).
1882mcv(28,t28,88).
1883mcv(29,t29,91).
1884mcv(30,t30,87).
1885mcv(31,t31,86).
1886mcv(32,t32,91).
1887mcv(33,t33,93).
1888mcv(34,t34,88).
1889mcv(35,t35,94).
1890mcv(36,t36,91).
1891mcv(37,t37,85).
1892mcv(38,t38,79).
1893mcv(39,t39,85).
1894mcv(40,t40,89).
1895mcv(41,t41,84).
1896mcv(42,t42,89).
1897mcv(43,t43,89).
1898mcv(44,t44,86).
1899mcv(45,t45,85).
1900mcv(46,t46,88).
1901mcv(47,t47,92).
1902mcv(48,t48,95).
1903mcv(49,t49,91).
1904mcv(50,t50,83).
1905mcv(51,t51,89).
1906mcv(52,t52,85).
1907mcv(53,t53,92).
1908mcv(54,t54,94).
1909mcv(55,t55,87).
1910mcv(56,t56,85).
1911mcv(57,t57,84).
1912mcv(58,t58,88).
1913mcv(59,t59,96).
1914mcv(60,t60,90).
1915mcv(61,t61,90).
1916mcv(62,t62,90).
1917mcv(63,t63,91).
1918mcv(64,t64,91).
1919mcv(65,t65,87).
1920mcv(66,t66,89).
1921mcv(67,t67,89).
1922mcv(68,t68,85).
1923mcv(69,t69,103).
1924mcv(70,t70,90).
1925mcv(71,t71,90).
1926mcv(72,t72,90).
1927mcv(73,t73,87).
1928mcv(74,t74,90).
1929mcv(75,t75,86).
1930mcv(76,t76,90).
1931mcv(77,t77,87).
1932mcv(78,t78,96).
1933mcv(79,t79,91).
1934mcv(80,t80,95).
1935mcv(81,t81,92).
1936mcv(82,t82,89).
1937mcv(83,t83,91).
1938mcv(84,t84,94).
1939mcv(85,t85,92).
1940mcv(86,t86,94).
1941mcv(87,t87,88).
1942mcv(88,t88,92).
1943mcv(89,t89,92).
1944mcv(90,t90,84).
1945mcv(91,t91,88).
1946mcv(92,t92,86).
1947mcv(93,t93,99).
1948mcv(94,t94,88).
1949mcv(95,t95,89).
1950mcv(96,t96,90).
1951mcv(97,t97,81).
1952mcv(98,t98,89).
1953mcv(99,t99,89).
1954mcv(100,t100,92).
1955mcv(101,t101,85).
1956mcv(102,t102,92).
1957mcv(103,t103,89).
1958mcv(104,t104,90).
1959mcv(105,t105,88).
1960mcv(106,t106,89).
1961mcv(107,t107,91).
1962mcv(108,t108,91).
1963mcv(109,t109,91).
1964mcv(110,t110,88).
1965mcv(111,t111,87).
1966mcv(112,t112,87).
1967mcv(113,t113,87).
1968mcv(114,t114,88).
1969mcv(115,t115,90).
1970mcv(116,t116,86).
1971mcv(117,t117,92).
1972mcv(118,t118,85).
1973mcv(119,t119,89).
1974mcv(120,t120,91).
1975mcv(121,t121,96).
1976mcv(122,t122,79).
1977mcv(123,t123,90).
1978mcv(124,t124,89).
1979mcv(125,t125,88).
1980mcv(126,t126,90).
1981mcv(127,t127,92).
1982mcv(128,t128,91).
1983mcv(129,t129,83).
1984mcv(130,t130,90).
1985mcv(131,t131,92).
1986mcv(132,t132,93).
1987mcv(133,t133,86).
1988mcv(134,t134,97).
1989mcv(135,t135,87).
1990mcv(136,t136,86).
1991mcv(137,t137,87).
1992mcv(138,t138,92).
1993mcv(139,t139,90).
1994mcv(140,t140,99).
1995mcv(141,t141,92).
1996mcv(142,t142,95).
1997mcv(143,t143,91).
1998mcv(144,t144,92).
1999mcv(145,t145,95).
2000mcv(146,t146,90).
2001mcv(147,t147,96).
2002mcv(148,t148,95).
2003mcv(149,t149,92).
2004mcv(150,t150,91).
2005mcv(151,t151,82).
2006mcv(152,t152,92).
2007mcv(153,t153,90).
2008mcv(154,t154,88).
2009mcv(155,t155,100).
2010mcv(156,t156,98).
2011mcv(157,t157,91).
2012mcv(158,t158,92).
2013mcv(159,t159,93).
2014mcv(160,t160,90).
2015mcv(161,t161,97).
2016mcv(162,t162,93).
2017mcv(163,t163,90).
2018mcv(164,t164,92).
2019mcv(165,t165,88).
2020mcv(166,t166,89).
2021mcv(167,t167,92).
2022mcv(168,t168,92).
2023mcv(169,t169,93).
2024mcv(170,t170,97).
2025mcv(171,t171,84).
2026mcv(172,t172,96).
2027mcv(173,t173,90).
2028mcv(174,t174,92).
2029mcv(175,t175,90).
2030mcv(176,t176,97).
2031mcv(177,t177,91).
2032mcv(178,t178,93).
2033mcv(179,t179,92).
2034mcv(180,t180,90).
2035mcv(181,t181,91).
2036mcv(182,t182,92).
2037mcv(183,t183,92).
2038mcv(184,t184,86).
2039mcv(185,t185,98).
2040mcv(186,t186,95).
2041mcv(187,t187,92).
2042mcv(188,t188,97).
2043mcv(189,t189,93).
2044mcv(190,t190,94).
2045mcv(191,t191,87).
2046mcv(192,t192,88).
2047mcv(193,t193,84).
2048mcv(194,t194,94).
2049mcv(195,t195,97).
2050mcv(196,t196,92).
2051mcv(197,t197,82).
2052mcv(198,t198,88).
2053mcv(199,t199,95).
2054mcv(200,t200,88).
2055mcv(201,t201,91).
2056mcv(202,t202,83).
2057mcv(203,t203,91).
2058mcv(204,t204,86).
2059mcv(205,t205,91).
2060mcv(206,t206,89).
2061mcv(207,t207,90).
2062mcv(208,t208,90).
2063mcv(209,t209,89).
2064mcv(210,t210,85).
2065mcv(211,t211,85).
2066mcv(212,t212,78).
2067mcv(213,t213,88).
2068mcv(214,t214,89).
2069mcv(215,t215,92).
2070mcv(216,t216,89).
2071mcv(217,t217,91).
2072mcv(218,t218,94).
2073mcv(219,t219,88).
2074mcv(220,t220,88).
2075mcv(221,t221,84).
2076mcv(222,t222,90).
2077mcv(223,t223,87).
2078mcv(224,t224,65).
2079mcv(225,t225,90).
2080mcv(226,t226,85).
2081mcv(227,t227,88).
2082mcv(228,t228,86).
2083mcv(229,t229,82).
2084mcv(230,t230,86).
2085mcv(231,t231,94).
2086mcv(232,t232,87).
2087mcv(233,t233,98).
2088mcv(234,t234,94).
2089mcv(235,t235,83).
2090mcv(236,t236,93).
2091mcv(237,t237,101).
2092mcv(238,t238,92).
2093mcv(239,t239,92).
2094mcv(240,t240,86).
2095mcv(241,t241,85).
2096mcv(242,t242,86).
2097mcv(243,t243,86).
2098mcv(244,t244,81).
2099mcv(245,t245,91).
2100mcv(246,t246,91).
2101mcv(247,t247,92).
2102mcv(248,t248,91).
2103mcv(249,t249,93).
2104mcv(250,t250,90).
2105mcv(251,t251,87).
2106mcv(252,t252,83).
2107mcv(253,t253,95).
2108mcv(254,t254,93).
2109mcv(255,t255,84).
2110mcv(256,t256,87).
2111mcv(257,t257,86).
2112mcv(258,t258,86).
2113mcv(259,t259,88).
2114mcv(260,t260,90).
2115mcv(261,t261,88).
2116mcv(262,t262,93).
2117mcv(263,t263,98).
2118mcv(264,t264,91).
2119mcv(265,t265,87).
2120mcv(266,t266,94).
2121mcv(267,t267,88).
2122mcv(268,t268,89).
2123mcv(269,t269,87).
2124mcv(270,t270,93).
2125mcv(271,t271,88).
2126mcv(272,t272,94).
2127mcv(273,t273,91).
2128mcv(274,t274,90).
2129mcv(275,t275,91).
2130mcv(276,t276,88).
2131mcv(277,t277,82).
2132mcv(278,t278,85).
2133mcv(279,t279,91).
2134mcv(280,t280,98).
2135mcv(281,t281,86).
2136mcv(282,t282,89).
2137mcv(283,t283,82).
2138mcv(284,t284,83).
2139mcv(285,t285,96).
2140mcv(286,t286,94).
2141mcv(287,t287,93).
2142mcv(288,t288,93).
2143mcv(289,t289,84).
2144mcv(290,t290,91).
2145mcv(291,t291,90).
2146mcv(292,t292,87).
2147mcv(293,t293,91).
2148mcv(294,t294,86).
2149mcv(295,t295,91).
2150mcv(296,t296,88).
2151mcv(297,t297,85).
2152mcv(298,t298,89).
2153mcv(299,t299,95).
2154mcv(300,t300,94).
2155mcv(301,t301,96).
2156mcv(302,t302,90).
2157mcv(303,t303,94).
2158mcv(304,t304,99).
2159mcv(305,t305,93).
2160mcv(306,t306,94).
2161mcv(307,t307,92).
2162mcv(308,t308,87).
2163mcv(309,t309,92).
2164mcv(310,t310,98).
2165mcv(311,t311,92).
2166mcv(312,t312,97).
2167mcv(313,t313,93).
2168mcv(314,t314,93).
2169mcv(315,t315,95).
2170mcv(316,t316,99).
2171mcv(317,t317,98).
2172mcv(318,t318,92).
2173mcv(319,t319,96).
2174mcv(320,t320,95).
2175mcv(321,t321,86).
2176mcv(322,t322,91).
2177mcv(323,t323,102).
2178mcv(324,t324,85).
2179mcv(325,t325,91).
2180mcv(326,t326,91).
2181mcv(327,t327,93).
2182mcv(328,t328,87).
2183mcv(329,t329,98).
2184mcv(330,t330,82).
2185mcv(331,t331,95).
2186mcv(332,t332,97).
2187mcv(333,t333,100).
2188mcv(334,t334,88).
2189mcv(335,t335,91).
2190mcv(336,t336,92).
2191mcv(337,t337,86).
2192mcv(338,t338,91).
2193mcv(339,t339,87).
2194mcv(340,t340,87).
2195mcv(341,t341,99).
2196mcv(342,t342,96).
2197mcv(343,t343,98).
2198mcv(344,t344,91).
2199mcv(345,t345,98).
2201
2206
2207primForeCons_aux(1,bupa,bupa_name,alkphos,bupa_name).
2208primForeCons_aux(2,bupa,bupa_name,drinks,bupa_name).
2209primForeCons_aux(3,bupa,bupa_name,gammagt,bupa_name).
2210primForeCons_aux(4,bupa,bupa_name,mcv,bupa_name).
2211primForeCons_aux(5,bupa,bupa_name,sgot,bupa_name).
2212primForeCons_aux(6,bupa,bupa_name,sgpt,bupa_name).
2214
2219
2220sgot(1,t1,27).
2221sgot(2,t2,32).
2222sgot(3,t3,16).
2223sgot(4,t4,24).
2224sgot(5,t5,28).
2225sgot(6,t6,17).
2226sgot(7,t7,17).
2227sgot(8,t8,11).
2228sgot(9,t9,20).
2229sgot(10,t10,19).
2230sgot(11,t11,24).
2231sgot(12,t12,17).
2232sgot(13,t13,32).
2233sgot(14,t14,19).
2234sgot(15,t15,20).
2235sgot(16,t16,31).
2236sgot(17,t17,16).
2237sgot(18,t18,17).
2238sgot(19,t19,20).
2239sgot(20,t20,33).
2240sgot(21,t21,13).
2241sgot(22,t22,20).
2242sgot(23,t23,27).
2243sgot(24,t24,19).
2244sgot(25,t25,33).
2245sgot(26,t26,13).
2246sgot(27,t27,15).
2247sgot(28,t28,21).
2248sgot(29,t29,13).
2249sgot(30,t30,19).
2250sgot(31,t31,16).
2251sgot(32,t32,23).
2252sgot(33,t33,18).
2253sgot(34,t34,21).
2254sgot(35,t35,18).
2255sgot(36,t36,68).
2256sgot(37,t37,33).
2257sgot(38,t38,19).
2258sgot(39,t39,26).
2259sgot(40,t40,20).
2260sgot(41,t41,37).
2261sgot(42,t42,39).
2262sgot(43,t43,25).
2263sgot(44,t44,14).
2264sgot(45,t45,14).
2265sgot(46,t46,21).
2266sgot(47,t47,16).
2267sgot(48,t48,25).
2268sgot(49,t49,22).
2269sgot(50,t50,25).
2270sgot(51,t51,23).
2271sgot(52,t52,22).
2272sgot(53,t53,36).
2273sgot(54,t54,23).
2274sgot(55,t55,19).
2275sgot(56,t56,29).
2276sgot(57,t57,21).
2277sgot(58,t58,22).
2278sgot(59,t59,26).
2279sgot(60,t60,24).
2280sgot(61,t61,34).
2281sgot(62,t62,15).
2282sgot(63,t63,8).
2283sgot(64,t64,22).
2284sgot(65,t65,19).
2285sgot(66,t66,20).
2286sgot(67,t67,17).
2287sgot(68,t68,24).
2288sgot(69,t69,30).
2289sgot(70,t70,21).
2290sgot(71,t71,23).
2291sgot(72,t72,19).
2292sgot(73,t73,22).
2293sgot(74,t74,21).
2294sgot(75,t75,21).
2295sgot(76,t76,14).
2296sgot(77,t77,28).
2297sgot(78,t78,19).
2298sgot(79,t79,25).
2299sgot(80,t80,25).
2300sgot(81,t81,30).
2301sgot(82,t82,22).
2302sgot(83,t83,33).
2303sgot(84,t84,18).
2304sgot(85,t85,27).
2305sgot(86,t86,18).
2306sgot(87,t87,26).
2307sgot(88,t88,25).
2308sgot(89,t89,20).
2309sgot(90,t90,25).
2310sgot(91,t91,21).
2311sgot(92,t92,20).
2312sgot(93,t93,32).
2313sgot(94,t94,12).
2314sgot(95,t95,30).
2315sgot(96,t96,17).
2316sgot(97,t97,37).
2317sgot(98,t98,18).
2318sgot(99,t99,18).
2319sgot(100,t100,26).
2320sgot(101,t101,20).
2321sgot(102,t102,13).
2322sgot(103,t103,27).
2323sgot(104,t104,23).
2324sgot(105,t105,19).
2325sgot(106,t106,29).
2326sgot(107,t107,23).
2327sgot(108,t108,15).
2328sgot(109,t109,5).
2329sgot(110,t110,20).
2330sgot(111,t111,55).
2331sgot(112,t112,23).
2332sgot(113,t113,23).
2333sgot(114,t114,25).
2334sgot(115,t115,49).
2335sgot(116,t116,15).
2336sgot(117,t117,20).
2337sgot(118,t118,21).
2338sgot(119,t119,17).
2339sgot(120,t120,16).
2340sgot(121,t121,39).
2341sgot(122,t122,27).
2342sgot(123,t123,20).
2343sgot(124,t124,21).
2344sgot(125,t125,27).
2345sgot(126,t126,16).
2346sgot(127,t127,21).
2347sgot(128,t128,28).
2348sgot(129,t129,21).
2349sgot(130,t130,14).
2350sgot(131,t131,16).
2351sgot(132,t132,18).
2352sgot(133,t133,39).
2353sgot(134,t134,45).
2354sgot(135,t135,19).
2355sgot(136,t136,11).
2356sgot(137,t137,20).
2357sgot(138,t138,23).
2358sgot(139,t139,23).
2359sgot(140,t140,19).
2360sgot(141,t141,26).
2361sgot(142,t142,22).
2362sgot(143,t143,26).
2363sgot(144,t144,21).
2364sgot(145,t145,14).
2365sgot(146,t146,19).
2366sgot(147,t147,26).
2367sgot(148,t148,42).
2368sgot(149,t149,23).
2369sgot(150,t150,26).
2370sgot(151,t151,38).
2371sgot(152,t152,24).
2372sgot(153,t153,26).
2373sgot(154,t154,15).
2374sgot(155,t155,23).
2375sgot(156,t156,23).
2376sgot(157,t157,50).
2377sgot(158,t158,25).
2378sgot(159,t159,34).
2379sgot(160,t160,19).
2380sgot(161,t161,20).
2381sgot(162,t162,25).
2382sgot(163,t163,26).
2383sgot(164,t164,28).
2384sgot(165,t165,17).
2385sgot(166,t166,29).
2386sgot(167,t167,32).
2387sgot(168,t168,35).
2388sgot(169,t169,47).
2389sgot(170,t170,22).
2390sgot(171,t171,19).
2391sgot(172,t172,23).
2392sgot(173,t173,21).
2393sgot(174,t174,17).
2394sgot(175,t175,39).
2395sgot(176,t176,22).
2396sgot(177,t177,25).
2397sgot(178,t178,20).
2398sgot(179,t179,48).
2399sgot(180,t180,22).
2400sgot(181,t181,47).
2401sgot(182,t182,28).
2402sgot(183,t183,41).
2403sgot(184,t184,24).
2404sgot(185,t185,34).
2405sgot(186,t186,64).
2406sgot(187,t187,33).
2407sgot(188,t188,28).
2408sgot(189,t189,37).
2409sgot(190,t190,34).
2410sgot(191,t191,21).
2411sgot(192,t192,18).
2412sgot(193,t193,20).
2413sgot(194,t194,20).
2414sgot(195,t195,13).
2415sgot(196,t196,20).
2416sgot(197,t197,15).
2417sgot(198,t198,25).
2418sgot(199,t199,14).
2419sgot(200,t200,18).
2420sgot(201,t201,19).
2421sgot(202,t202,15).
2422sgot(203,t203,26).
2423sgot(204,t204,28).
2424sgot(205,t205,22).
2425sgot(206,t206,14).
2426sgot(207,t207,23).
2427sgot(208,t208,25).
2428sgot(209,t209,32).
2429sgot(210,t210,8).
2430sgot(211,t211,26).
2431sgot(212,t212,18).
2432sgot(213,t213,21).
2433sgot(214,t214,27).
2434sgot(215,t215,15).
2435sgot(216,t216,34).
2436sgot(217,t217,12).
2437sgot(218,t218,20).
2438sgot(219,t219,22).
2439sgot(220,t220,29).
2440sgot(221,t221,25).
2441sgot(222,t222,15).
2442sgot(223,t223,26).
2443sgot(224,t224,20).
2444sgot(225,t225,17).
2445sgot(226,t226,24).
2446sgot(227,t227,27).
2447sgot(228,t228,29).
2448sgot(229,t229,28).
2449sgot(230,t230,27).
2450sgot(231,t231,18).
2451sgot(232,t232,30).
2452sgot(233,t233,75).
2453sgot(234,t234,25).
2454sgot(235,t235,20).
2455sgot(236,t236,21).
2456sgot(237,t237,21).
2457sgot(238,t238,20).
2458sgot(239,t239,16).
2459sgot(240,t240,23).
2460sgot(241,t241,13).
2461sgot(242,t242,20).
2462sgot(243,t243,30).
2463sgot(244,t244,27).
2464sgot(245,t245,26).
2465sgot(246,t246,19).
2466sgot(247,t247,15).
2467sgot(248,t248,14).
2468sgot(249,t249,22).
2469sgot(250,t250,24).
2470sgot(251,t251,22).
2471sgot(252,t252,19).
2472sgot(253,t253,23).
2473sgot(254,t254,30).
2474sgot(255,t255,32).
2475sgot(256,t256,20).
2476sgot(257,t257,15).
2477sgot(258,t258,24).
2478sgot(259,t259,17).
2479sgot(260,t260,29).
2480sgot(261,t261,24).
2481sgot(262,t262,17).
2482sgot(263,t263,21).
2483sgot(264,t264,18).
2484sgot(265,t265,19).
2485sgot(266,t266,26).
2486sgot(267,t267,15).
2487sgot(268,t268,25).
2488sgot(269,t269,27).
2489sgot(270,t270,23).
2490sgot(271,t271,15).
2491sgot(272,t272,27).
2492sgot(273,t273,22).
2493sgot(274,t274,20).
2494sgot(275,t275,17).
2495sgot(276,t276,26).
2496sgot(277,t277,20).
2497sgot(278,t278,49).
2498sgot(279,t279,22).
2499sgot(280,t280,25).
2500sgot(281,t281,21).
2501sgot(282,t282,22).
2502sgot(283,t283,22).
2503sgot(284,t284,19).
2504sgot(285,t285,26).
2505sgot(286,t286,56).
2506sgot(287,t287,14).
2507sgot(288,t288,21).
2508sgot(289,t289,32).
2509sgot(290,t290,17).
2510sgot(291,t291,18).
2511sgot(292,t292,13).
2512sgot(293,t293,20).
2513sgot(294,t294,35).
2514sgot(295,t295,47).
2515sgot(296,t296,33).
2516sgot(297,t297,23).
2517sgot(298,t298,27).
2518sgot(299,t299,18).
2519sgot(300,t300,82).
2520sgot(301,t301,26).
2521sgot(302,t302,17).
2522sgot(303,t303,16).
2523sgot(304,t304,21).
2524sgot(305,t305,23).
2525sgot(306,t306,26).
2526sgot(307,t307,34).
2527sgot(308,t308,29).
2528sgot(309,t309,14).
2529sgot(310,t310,26).
2530sgot(311,t311,33).
2531sgot(312,t312,43).
2532sgot(313,t313,16).
2533sgot(314,t314,18).
2534sgot(315,t315,19).
2535sgot(316,t316,42).
2536sgot(317,t317,57).
2537sgot(318,t318,26).
2538sgot(319,t319,25).
2539sgot(320,t320,27).
2540sgot(321,t321,22).
2541sgot(322,t322,24).
2542sgot(323,t323,78).
2543sgot(324,t324,18).
2544sgot(325,t325,23).
2545sgot(326,t326,32).
2546sgot(327,t327,30).
2547sgot(328,t328,19).
2548sgot(329,t329,24).
2549sgot(330,t330,23).
2550sgot(331,t331,25).
2551sgot(332,t332,20).
2552sgot(333,t333,24).
2553sgot(334,t334,35).
2554sgot(335,t335,21).
2555sgot(336,t336,22).
2556sgot(337,t337,25).
2557sgot(338,t338,34).
2558sgot(339,t339,23).
2559sgot(340,t340,43).
2560sgot(341,t341,24).
2561sgot(342,t342,43).
2562sgot(343,t343,35).
2563sgot(344,t344,26).
2564sgot(345,t345,45).
2566
2571
2572sgpt(1,t1,45).
2573sgpt(2,t2,59).
2574sgpt(3,t3,33).
2575sgpt(4,t4,34).
2576sgpt(5,t5,12).
2577sgpt(6,t6,13).
2578sgpt(7,t7,20).
2579sgpt(8,t8,21).
2580sgpt(9,t9,22).
2581sgpt(10,t10,25).
2582sgpt(11,t11,13).
2583sgpt(12,t12,17).
2584sgpt(13,t13,61).
2585sgpt(14,t14,25).
2586sgpt(15,t15,29).
2587sgpt(16,t16,20).
2588sgpt(17,t17,23).
2589sgpt(18,t18,17).
2590sgpt(19,t19,20).
2591sgpt(20,t20,11).
2592sgpt(21,t21,35).
2593sgpt(22,t22,35).
2594sgpt(23,t23,23).
2595sgpt(24,t24,18).
2596sgpt(25,t25,47).
2597sgpt(26,t26,24).
2598sgpt(27,t27,28).
2599sgpt(28,t28,20).
2600sgpt(29,t29,17).
2601sgpt(30,t30,31).
2602sgpt(31,t31,28).
2603sgpt(32,t32,31).
2604sgpt(33,t33,32).
2605sgpt(34,t34,28).
2606sgpt(35,t35,22).
2607sgpt(36,t36,155).
2608sgpt(37,t37,47).
2609sgpt(38,t38,14).
2610sgpt(39,t39,25).
2611sgpt(40,t40,24).
2612sgpt(41,t41,68).
2613sgpt(42,t42,26).
2614sgpt(43,t43,18).
2615sgpt(44,t44,18).
2616sgpt(45,t45,25).
2617sgpt(46,t46,19).
2618sgpt(47,t47,14).
2619sgpt(48,t48,29).
2620sgpt(49,t49,24).
2621sgpt(50,t50,29).
2622sgpt(51,t51,19).
2623sgpt(52,t52,24).
2624sgpt(53,t53,64).
2625sgpt(54,t54,11).
2626sgpt(55,t55,21).
2627sgpt(56,t56,23).
2628sgpt(57,t57,21).
2629sgpt(58,t58,20).
2630sgpt(59,t59,26).
2631sgpt(60,t60,24).
2632sgpt(61,t61,33).
2633sgpt(62,t62,14).
2634sgpt(63,t63,4).
2635sgpt(64,t64,15).
2636sgpt(65,t65,32).
2637sgpt(66,t66,26).
2638sgpt(67,t67,5).
2639sgpt(68,t68,26).
2640sgpt(69,t69,19).
2641sgpt(70,t70,16).
2642sgpt(71,t71,29).
2643sgpt(72,t72,35).
2644sgpt(73,t73,27).
2645sgpt(74,t74,34).
2646sgpt(75,t75,20).
2647sgpt(76,t76,19).
2648sgpt(77,t77,43).
2649sgpt(78,t78,28).
2650sgpt(79,t79,9).
2651sgpt(80,t80,27).
2652sgpt(81,t81,34).
2653sgpt(82,t82,41).
2654sgpt(83,t83,42).
2655sgpt(84,t84,21).
2656sgpt(85,t85,30).
2657sgpt(86,t86,21).
2658sgpt(87,t87,33).
2659sgpt(88,t88,17).
2660sgpt(89,t89,22).
2661sgpt(90,t90,20).
2662sgpt(91,t91,27).
2663sgpt(92,t92,20).
2664sgpt(93,t93,45).
2665sgpt(94,t94,23).
2666sgpt(95,t95,42).
2667sgpt(96,t96,23).
2668sgpt(97,t97,32).
2669sgpt(98,t98,23).
2670sgpt(99,t99,26).
2671sgpt(100,t100,26).
2672sgpt(101,t101,25).
2673sgpt(102,t102,18).
2674sgpt(103,t103,22).
2675sgpt(104,t104,18).
2676sgpt(105,t105,25).
2677sgpt(106,t106,27).
2678sgpt(107,t107,37).
2679sgpt(108,t108,33).
2680sgpt(109,t109,17).
2681sgpt(110,t110,29).
2682sgpt(111,t111,22).
2683sgpt(112,t112,28).
2684sgpt(113,t113,26).
2685sgpt(114,t114,24).
2686sgpt(115,t115,34).
2687sgpt(116,t116,11).
2688sgpt(117,t117,19).
2689sgpt(118,t118,17).
2690sgpt(119,t119,15).
2691sgpt(120,t120,15).
2692sgpt(121,t121,48).
2693sgpt(122,t122,17).
2694sgpt(123,t123,14).
2695sgpt(124,t124,14).
2696sgpt(125,t125,29).
2697sgpt(126,t126,10).
2698sgpt(127,t127,24).
2699sgpt(128,t128,28).
2700sgpt(129,t129,19).
2701sgpt(130,t130,19).
2702sgpt(131,t131,21).
2703sgpt(132,t132,26).
2704sgpt(133,t133,47).
2705sgpt(134,t134,113).
2706sgpt(135,t135,15).
2707sgpt(136,t136,21).
2708sgpt(137,t137,16).
2709sgpt(138,t138,21).
2710sgpt(139,t139,25).
2711sgpt(140,t140,17).
2712sgpt(141,t141,10).
2713sgpt(142,t142,26).
2714sgpt(143,t143,25).
2715sgpt(144,t144,37).
2716sgpt(145,t145,13).
2717sgpt(146,t146,37).
2718sgpt(147,t147,70).
2719sgpt(148,t148,64).
2720sgpt(149,t149,20).
2721sgpt(150,t150,25).
2722sgpt(151,t151,67).
2723sgpt(152,t152,27).
2724sgpt(153,t153,12).
2725sgpt(154,t154,9).
2726sgpt(155,t155,29).
2727sgpt(156,t156,35).
2728sgpt(157,t157,87).
2729sgpt(158,t158,57).
2730sgpt(159,t159,36).
2731sgpt(160,t160,17).
2732sgpt(161,t161,21).
2733sgpt(162,t162,18).
2734sgpt(163,t163,20).
2735sgpt(164,t164,31).
2736sgpt(165,t165,19).
2737sgpt(166,t166,24).
2738sgpt(167,t167,70).
2739sgpt(168,t168,58).
2740sgpt(169,t169,58).
2741sgpt(170,t170,29).
2742sgpt(171,t171,33).
2743sgpt(172,t172,42).
2744sgpt(173,t173,22).
2745sgpt(174,t174,18).
2746sgpt(175,t175,77).
2747sgpt(176,t176,29).
2748sgpt(177,t177,25).
2749sgpt(178,t178,17).
2750sgpt(179,t179,85).
2751sgpt(180,t180,26).
2752sgpt(181,t181,59).
2753sgpt(182,t182,22).
2754sgpt(183,t183,86).
2755sgpt(184,t184,22).
2756sgpt(185,t185,31).
2757sgpt(186,t186,50).
2758sgpt(187,t187,53).
2759sgpt(188,t188,22).
2760sgpt(189,t189,39).
2761sgpt(190,t190,81).
2762sgpt(191,t191,25).
2763sgpt(192,t192,23).
2764sgpt(193,t193,41).
2765sgpt(194,t194,27).
2766sgpt(195,t195,17).
2767sgpt(196,t196,25).
2768sgpt(197,t197,27).
2769sgpt(198,t198,31).
2770sgpt(199,t199,30).
2771sgpt(200,t200,26).
2772sgpt(201,t201,19).
2773sgpt(202,t202,27).
2774sgpt(203,t203,40).
2775sgpt(204,t204,37).
2776sgpt(205,t205,35).
2777sgpt(206,t206,23).
2778sgpt(207,t207,24).
2779sgpt(208,t208,19).
2780sgpt(209,t209,33).
2781sgpt(210,t210,17).
2782sgpt(211,t211,30).
2783sgpt(212,t212,24).
2784sgpt(213,t213,34).
2785sgpt(214,t214,17).
2786sgpt(215,t215,23).
2787sgpt(216,t216,27).
2788sgpt(217,t217,11).
2789sgpt(218,t218,41).
2790sgpt(219,t219,29).
2791sgpt(220,t220,35).
2792sgpt(221,t221,28).
2793sgpt(222,t222,18).
2794sgpt(223,t223,22).
2795sgpt(224,t224,19).
2796sgpt(225,t225,12).
2797sgpt(226,t226,18).
2798sgpt(227,t227,41).
2799sgpt(228,t228,52).
2800sgpt(229,t229,38).
2801sgpt(230,t230,36).
2802sgpt(231,t231,30).
2803sgpt(232,t232,30).
2804sgpt(233,t233,148).
2805sgpt(234,t234,20).
2806sgpt(235,t235,17).
2807sgpt(236,t236,25).
2808sgpt(237,t237,18).
2809sgpt(238,t238,25).
2810sgpt(239,t239,14).
2811sgpt(240,t240,16).
2812sgpt(241,t241,15).
2813sgpt(242,t242,13).
2814sgpt(243,t243,26).
2815sgpt(244,t244,33).
2816sgpt(245,t245,32).
2817sgpt(246,t246,21).
2818sgpt(247,t247,23).
2819sgpt(248,t248,32).
2820sgpt(249,t249,28).
2821sgpt(250,t250,45).
2822sgpt(251,t251,21).
2823sgpt(252,t252,31).
2824sgpt(253,t253,24).
2825sgpt(254,t254,41).
2826sgpt(255,t255,43).
2827sgpt(256,t256,33).
2828sgpt(257,t257,24).
2829sgpt(258,t258,28).
2830sgpt(259,t259,31).
2831sgpt(260,t260,28).
2832sgpt(261,t261,70).
2833sgpt(262,t262,18).
2834sgpt(263,t263,33).
2835sgpt(264,t264,18).
2836sgpt(265,t265,37).
2837sgpt(266,t266,30).
2838sgpt(267,t267,14).
2839sgpt(268,t268,26).
2840sgpt(269,t269,37).
2841sgpt(270,t270,20).
2842sgpt(271,t271,9).
2843sgpt(272,t272,38).
2844sgpt(273,t273,12).
2845sgpt(274,t274,20).
2846sgpt(275,t275,21).
2847sgpt(276,t276,35).
2848sgpt(277,t277,31).
2849sgpt(278,t278,83).
2850sgpt(279,t279,25).
2851sgpt(280,t280,27).
2852sgpt(281,t281,29).
2853sgpt(282,t282,32).
2854sgpt(283,t283,20).
2855sgpt(284,t284,17).
2856sgpt(285,t285,21).
2857sgpt(286,t286,77).
2858sgpt(287,t287,11).
2859sgpt(288,t288,27).
2860sgpt(289,t289,46).
2861sgpt(290,t290,17).
2862sgpt(291,t291,31).
2863sgpt(292,t292,19).
2864sgpt(293,t293,14).
2865sgpt(294,t294,29).
2866sgpt(295,t295,52).
2867sgpt(296,t296,15).
2868sgpt(297,t297,22).
2869sgpt(298,t298,33).
2870sgpt(299,t299,23).
2871sgpt(300,t300,154).
2872sgpt(301,t301,38).
2873sgpt(302,t302,10).
2874sgpt(303,t303,20).
2875sgpt(304,t304,14).
2876sgpt(305,t305,47).
2877sgpt(306,t306,25).
2878sgpt(307,t307,33).
2879sgpt(308,t308,41).
2880sgpt(309,t309,15).
2881sgpt(310,t310,31).
2882sgpt(311,t311,51).
2883sgpt(312,t312,43).
2884sgpt(313,t313,11).
2885sgpt(314,t314,24).
2886sgpt(315,t315,38).
2887sgpt(316,t316,58).
2888sgpt(317,t317,103).
2889sgpt(318,t318,10).
2890sgpt(319,t319,27).
2891sgpt(320,t320,21).
2892sgpt(321,t321,16).
2893sgpt(322,t322,30).
2894sgpt(323,t323,34).
2895sgpt(324,t324,12).
2896sgpt(325,t325,33).
2897sgpt(326,t326,76).
2898sgpt(327,t327,46).
2899sgpt(328,t328,36).
2900sgpt(329,t329,28).
2901sgpt(330,t330,18).
2902sgpt(331,t331,20).
2903sgpt(332,t332,17).
2904sgpt(333,t333,25).
2905sgpt(334,t334,56).
2906sgpt(335,t335,45).
2907sgpt(336,t336,37).
2908sgpt(337,t337,20).
2909sgpt(338,t338,35).
2910sgpt(339,t339,15).
2911sgpt(340,t340,52).
2912sgpt(341,t341,26).
2913sgpt(342,t342,53).
2914sgpt(343,t343,55).
2915sgpt(344,t344,27).
2916sgpt(345,t345,57).
2918
2923
2924target_aux(1,bupa,arg1,bupa_name,arg1,fin).
2925target_aux(2,bupa,arg2,bupa_type,arg1,fin).
?-
induce_lift([f1,f2,f3,f4],P),test_lift(P,[f5],LL,AUCROC,ROC,AUCPR,PR). % learn the structure and the parameters and test the result ?-induce_lift([f1,f2,f3,f4,f5],P).