1:-use_module(library(pascal)).
    2:- if(current_predicate(use_rendering/1)).
    3:- use_rendering(c3).
    4:- use_rendering(pic).
    5:- endif.

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