1/* Shop dataset from
    2Fabrizio Riguzzi and Nicola Di Mauro. Applying the information bottleneck
    3to statistical relational learning. Machine Learning, 86(1):89-114, 2012.
    4Meert, W., Struyf, J., and Blockeel, H. 2008.
    5Learning ground CP-Logic theories by leveraging Bayesian network learning
    6techniques. Fundamenta Informaticae 89, 131-160
    7
    8The training examples are all possible worlds of the target programi (shop4).
    9The prob fact in each model/interpretation/world indicates its probability
   10(it can be interpreted as frequency in a sampled dataset).
   11The task is to recover
   12the values of the parameters of the input program. When learning, the initial
   13parameters are randomly set. A test set is also provided generated randomly from
   14the target program.
   15
   16*/

   24:- use_module(library(slipcover)).   25
   26:- if(current_predicate(use_rendering/1)).   27:- use_rendering(c3).   28:- use_rendering(lpad).   29:- endif.   30
   31:-sc.   32
   33:- set_sc(verbosity,1).   34:- set_sc(depth_bound,false).   35:- set_sc(neg_ex,given).   36
   37bg([]).
   38
   39fold(train,[train1,train2,train3,train4,train5,train6,train7,train8,train9]).
   40fold(test,L):-
   41  findall(V,between(1,1000,V),L).
   42
   43output(bought/1).
   44
   45output(shops/1).
   46
   47modeh(*,shops(+p)).
   48modeh(*,bought(+f)).
   49
   50in([
   51(shops(john) : 0.2),
   52(shops(mary) : 0.9),
   53(bought(spaghetti ) : 0.5; bought(steak) : 0.5 :- shops(john)),
   54(bought(spaghetti ) : 0.3; bought(fish) : 0.7:-  shops(mary))]).
   55
   56begin(model(train1)).
   57neg(bought(fish)).
   58bought(steak).
   59bought(spaghetti).
   60shops(mary).
   61shops(john).
   62prob(0.027000).
   63end(model(train1)).
   64
   65begin(model(train2)).
   66bought(fish).
   67neg(bought(steak)).
   68bought(spaghetti).
   69shops(mary).
   70shops(john).
   71prob(0.063000).
   72end(model(train2)).
   73
   74begin(model(train3)).
   75neg(bought(fish)).
   76neg(bought(steak)).
   77bought(spaghetti).
   78shops(mary).
   79shops(john).
   80prob(0.027000).
   81end(model(train3)).
   82
   83begin(model(train4)).
   84bought(fish).
   85bought(steak).
   86neg(bought(spaghetti)).
   87shops(mary).
   88shops(john).
   89prob(0.063000).
   90end(model(train4)).
   91
   92begin(model(train5)).
   93neg(bought(fish)).
   94neg(bought(steak)).
   95bought(spaghetti).
   96neg(shops(mary)).
   97shops(john).
   98prob(0.010000).
   99end(model(train5)).
  100
  101begin(model(train6)).
  102neg(bought(fish)).
  103bought(steak).
  104neg(bought(spaghetti)).
  105neg(shops(mary)).
  106shops(john).
  107prob(0.010000).
  108end(model(train6)).
  109
  110begin(model(train7)).
  111neg(bought(fish)).
  112neg(bought(steak)).
  113bought(spaghetti).
  114shops(mary).
  115neg(shops(john)).
  116prob(0.216000).
  117end(model(train7)).
  118
  119begin(model(train8)).
  120bought(fish).
  121neg(bought(steak)).
  122neg(bought(spaghetti)).
  123shops(mary).
  124neg(shops(john)).
  125prob(0.504000).
  126end(model(train8)).
  127
  128begin(model(train9)).
  129neg(bought(fish)).
  130neg(bought(steak)).
  131neg(bought(spaghetti)).
  132neg(shops(mary)).
  133neg(shops(john)).
  134prob(0.080000).
  135end(model(train9)).
  136
  137neg(shops(A,john)):-
  138  number(A),
  139  \+ shops(A,john).
  140
  141neg(shops(A,mary)):-
  142  number(A),
  143  \+ shops(A,mary).
  144
  145neg(bought(A,spaghetti)):-
  146  number(A),
  147  \+ shops(A,spaghetti).
  148
  149neg(bought(A,fish)):-
  150  number(A),
  151  \+ shops(A,fish).
  152
  153neg(bought(A,steak)):-
  154  number(A),
  155  \+ shops(A,steak).
  156
  157begin(model(1)).
  158bought(fish).
  159shops(mary).
  160end(model(1)).
  161
  162begin(model(2)).
  163bought(spaghetti).
  164shops(mary).
  165end(model(2)).
  166
  167begin(model(3)).
  168bought(fish).
  169shops(mary).
  170end(model(3)).
  171
  172begin(model(4)).
  173bought(fish).
  174shops(mary).
  175end(model(4)).
  176
  177begin(model(5)).
  178bought(fish).
  179shops(mary).
  180end(model(5)).
  181
  182begin(model(6)).
  183bought(fish).
  184shops(mary).
  185end(model(6)).
  186
  187begin(model(7)).
  188bought(fish).
  189shops(mary).
  190end(model(7)).
  191
  192begin(model(8)).
  193bought(fish).
  194shops(mary).
  195end(model(8)).
  196
  197begin(model(9)).
  198bought(fish).
  199bought(steak).
  200shops(mary).
  201shops(john).
  202end(model(9)).
  203
  204begin(model(10)).
  205bought(fish).
  206shops(mary).
  207end(model(10)).
  208
  209begin(model(11)).
  210bought(fish).
  211shops(mary).
  212end(model(11)).
  213
  214begin(model(12)).
  215bought(fish).
  216shops(mary).
  217end(model(12)).
  218
  219begin(model(13)).
  220bought(spaghetti).
  221shops(mary).
  222end(model(13)).
  223
  224begin(model(14)).
  225bought(fish).
  226shops(mary).
  227end(model(14)).
  228
  229begin(model(15)).
  230bought(spaghetti).
  231shops(john).
  232end(model(15)).
  233
  234begin(model(16)).
  235end(model(16)).
  236
  237begin(model(17)).
  238bought(fish).
  239shops(mary).
  240end(model(17)).
  241
  242begin(model(18)).
  243bought(fish).
  244bought(spaghetti).
  245shops(mary).
  246shops(john).
  247end(model(18)).
  248
  249begin(model(19)).
  250bought(spaghetti).
  251shops(mary).
  252end(model(19)).
  253
  254begin(model(20)).
  255bought(fish).
  256bought(steak).
  257shops(mary).
  258shops(john).
  259end(model(20)).
  260
  261begin(model(21)).
  262bought(fish).
  263shops(mary).
  264end(model(21)).
  265
  266begin(model(22)).
  267bought(fish).
  268shops(mary).
  269end(model(22)).
  270
  271begin(model(23)).
  272bought(fish).
  273shops(mary).
  274end(model(23)).
  275
  276begin(model(24)).
  277bought(fish).
  278shops(mary).
  279end(model(24)).
  280
  281begin(model(25)).
  282bought(fish).
  283shops(mary).
  284end(model(25)).
  285
  286begin(model(26)).
  287end(model(26)).
  288
  289begin(model(27)).
  290bought(fish).
  291shops(mary).
  292end(model(27)).
  293
  294begin(model(28)).
  295bought(fish).
  296shops(mary).
  297end(model(28)).
  298
  299begin(model(29)).
  300bought(spaghetti).
  301shops(mary).
  302end(model(29)).
  303
  304begin(model(30)).
  305bought(fish).
  306shops(mary).
  307end(model(30)).
  308
  309begin(model(31)).
  310bought(fish).
  311shops(mary).
  312end(model(31)).
  313
  314begin(model(32)).
  315bought(fish).
  316shops(mary).
  317end(model(32)).
  318
  319begin(model(33)).
  320bought(fish).
  321shops(mary).
  322end(model(33)).
  323
  324begin(model(34)).
  325bought(spaghetti).
  326shops(mary).
  327end(model(34)).
  328
  329begin(model(35)).
  330bought(fish).
  331bought(spaghetti).
  332shops(mary).
  333shops(john).
  334end(model(35)).
  335
  336begin(model(36)).
  337bought(spaghetti).
  338shops(mary).
  339end(model(36)).
  340
  341begin(model(37)).
  342bought(fish).
  343shops(mary).
  344end(model(37)).
  345
  346begin(model(38)).
  347bought(spaghetti).
  348shops(mary).
  349end(model(38)).
  350
  351begin(model(39)).
  352bought(fish).
  353shops(mary).
  354end(model(39)).
  355
  356begin(model(40)).
  357bought(fish).
  358shops(mary).
  359end(model(40)).
  360
  361begin(model(41)).
  362bought(spaghetti).
  363shops(mary).
  364end(model(41)).
  365
  366begin(model(42)).
  367bought(spaghetti).
  368shops(mary).
  369end(model(42)).
  370
  371begin(model(43)).
  372bought(spaghetti).
  373shops(mary).
  374end(model(43)).
  375
  376begin(model(44)).
  377bought(spaghetti).
  378shops(john).
  379end(model(44)).
  380
  381begin(model(45)).
  382bought(fish).
  383shops(mary).
  384end(model(45)).
  385
  386begin(model(46)).
  387end(model(46)).
  388
  389begin(model(47)).
  390bought(fish).
  391shops(mary).
  392end(model(47)).
  393
  394begin(model(48)).
  395bought(fish).
  396shops(mary).
  397end(model(48)).
  398
  399begin(model(49)).
  400bought(fish).
  401shops(mary).
  402end(model(49)).
  403
  404begin(model(50)).
  405bought(fish).
  406bought(spaghetti).
  407shops(mary).
  408shops(john).
  409end(model(50)).
  410
  411begin(model(51)).
  412bought(fish).
  413bought(spaghetti).
  414shops(mary).
  415shops(john).
  416end(model(51)).
  417
  418begin(model(52)).
  419bought(fish).
  420shops(mary).
  421end(model(52)).
  422
  423begin(model(53)).
  424bought(fish).
  425shops(mary).
  426end(model(53)).
  427
  428begin(model(54)).
  429bought(fish).
  430shops(mary).
  431end(model(54)).
  432
  433begin(model(55)).
  434bought(fish).
  435bought(steak).
  436shops(mary).
  437shops(john).
  438end(model(55)).
  439
  440begin(model(56)).
  441bought(fish).
  442shops(mary).
  443end(model(56)).
  444
  445begin(model(57)).
  446bought(fish).
  447shops(mary).
  448end(model(57)).
  449
  450begin(model(58)).
  451bought(spaghetti).
  452shops(mary).
  453end(model(58)).
  454
  455begin(model(59)).
  456bought(fish).
  457bought(steak).
  458shops(mary).
  459shops(john).
  460end(model(59)).
  461
  462begin(model(60)).
  463bought(spaghetti).
  464shops(mary).
  465end(model(60)).
  466
  467begin(model(61)).
  468bought(spaghetti).
  469shops(mary).
  470end(model(61)).
  471
  472begin(model(62)).
  473bought(spaghetti).
  474shops(mary).
  475end(model(62)).
  476
  477begin(model(63)).
  478bought(fish).
  479shops(mary).
  480end(model(63)).
  481
  482begin(model(64)).
  483bought(spaghetti).
  484shops(mary).
  485end(model(64)).
  486
  487begin(model(65)).
  488bought(fish).
  489shops(mary).
  490end(model(65)).
  491
  492begin(model(66)).
  493bought(fish).
  494shops(mary).
  495end(model(66)).
  496
  497begin(model(67)).
  498bought(fish).
  499shops(mary).
  500end(model(67)).
  501
  502begin(model(68)).
  503bought(spaghetti).
  504shops(mary).
  505end(model(68)).
  506
  507begin(model(69)).
  508bought(fish).
  509shops(mary).
  510end(model(69)).
  511
  512begin(model(70)).
  513bought(fish).
  514shops(mary).
  515end(model(70)).
  516
  517begin(model(71)).
  518bought(fish).
  519shops(mary).
  520end(model(71)).
  521
  522begin(model(72)).
  523bought(fish).
  524shops(mary).
  525end(model(72)).
  526
  527begin(model(73)).
  528bought(fish).
  529shops(mary).
  530end(model(73)).
  531
  532begin(model(74)).
  533bought(fish).
  534shops(mary).
  535end(model(74)).
  536
  537begin(model(75)).
  538bought(fish).
  539bought(spaghetti).
  540shops(mary).
  541shops(john).
  542end(model(75)).
  543
  544begin(model(76)).
  545bought(steak).
  546shops(john).
  547end(model(76)).
  548
  549begin(model(77)).
  550bought(fish).
  551shops(mary).
  552end(model(77)).
  553
  554begin(model(78)).
  555bought(spaghetti).
  556shops(mary).
  557end(model(78)).
  558
  559begin(model(79)).
  560bought(steak).
  561shops(john).
  562end(model(79)).
  563
  564begin(model(80)).
  565bought(fish).
  566shops(mary).
  567end(model(80)).
  568
  569begin(model(81)).
  570bought(spaghetti).
  571shops(mary).
  572end(model(81)).
  573
  574begin(model(82)).
  575bought(fish).
  576shops(mary).
  577end(model(82)).
  578
  579begin(model(83)).
  580bought(spaghetti).
  581shops(mary).
  582end(model(83)).
  583
  584begin(model(84)).
  585bought(fish).
  586shops(mary).
  587end(model(84)).
  588
  589begin(model(85)).
  590bought(fish).
  591shops(mary).
  592end(model(85)).
  593
  594begin(model(86)).
  595bought(fish).
  596shops(mary).
  597end(model(86)).
  598
  599begin(model(87)).
  600bought(spaghetti).
  601shops(mary).
  602end(model(87)).
  603
  604begin(model(88)).
  605bought(spaghetti).
  606shops(john).
  607end(model(88)).
  608
  609begin(model(89)).
  610bought(spaghetti).
  611shops(mary).
  612end(model(89)).
  613
  614begin(model(90)).
  615bought(fish).
  616shops(mary).
  617end(model(90)).
  618
  619begin(model(91)).
  620bought(spaghetti).
  621shops(mary).
  622end(model(91)).
  623
  624begin(model(92)).
  625bought(fish).
  626shops(mary).
  627end(model(92)).
  628
  629begin(model(93)).
  630bought(spaghetti).
  631bought(steak).
  632shops(mary).
  633shops(john).
  634end(model(93)).
  635
  636begin(model(94)).
  637bought(spaghetti).
  638shops(mary).
  639end(model(94)).
  640
  641begin(model(95)).
  642bought(fish).
  643bought(spaghetti).
  644shops(mary).
  645shops(john).
  646end(model(95)).
  647
  648begin(model(96)).
  649bought(fish).
  650shops(mary).
  651end(model(96)).
  652
  653begin(model(97)).
  654bought(fish).
  655shops(mary).
  656end(model(97)).
  657
  658begin(model(98)).
  659bought(spaghetti).
  660bought(steak).
  661shops(mary).
  662shops(john).
  663end(model(98)).
  664
  665begin(model(99)).
  666bought(spaghetti).
  667shops(mary).
  668end(model(99)).
  669
  670begin(model(100)).
  671bought(spaghetti).
  672shops(mary).
  673end(model(100)).
  674
  675begin(model(101)).
  676bought(fish).
  677shops(mary).
  678end(model(101)).
  679
  680begin(model(102)).
  681bought(fish).
  682shops(mary).
  683end(model(102)).
  684
  685begin(model(103)).
  686bought(fish).
  687shops(mary).
  688end(model(103)).
  689
  690begin(model(104)).
  691bought(fish).
  692shops(mary).
  693end(model(104)).
  694
  695begin(model(105)).
  696end(model(105)).
  697
  698begin(model(106)).
  699bought(fish).
  700shops(mary).
  701end(model(106)).
  702
  703begin(model(107)).
  704bought(spaghetti).
  705shops(mary).
  706end(model(107)).
  707
  708begin(model(108)).
  709bought(fish).
  710shops(mary).
  711end(model(108)).
  712
  713begin(model(109)).
  714bought(fish).
  715shops(mary).
  716end(model(109)).
  717
  718begin(model(110)).
  719bought(fish).
  720shops(mary).
  721end(model(110)).
  722
  723begin(model(111)).
  724bought(fish).
  725shops(mary).
  726end(model(111)).
  727
  728begin(model(112)).
  729bought(spaghetti).
  730bought(steak).
  731shops(mary).
  732shops(john).
  733end(model(112)).
  734
  735begin(model(113)).
  736bought(fish).
  737bought(spaghetti).
  738shops(mary).
  739shops(john).
  740end(model(113)).
  741
  742begin(model(114)).
  743bought(fish).
  744shops(mary).
  745end(model(114)).
  746
  747begin(model(115)).
  748bought(spaghetti).
  749shops(mary).
  750end(model(115)).
  751
  752begin(model(116)).
  753bought(fish).
  754shops(mary).
  755end(model(116)).
  756
  757begin(model(117)).
  758bought(spaghetti).
  759shops(mary).
  760end(model(117)).
  761
  762begin(model(118)).
  763bought(fish).
  764shops(mary).
  765end(model(118)).
  766
  767begin(model(119)).
  768bought(fish).
  769bought(spaghetti).
  770shops(mary).
  771shops(john).
  772end(model(119)).
  773
  774begin(model(120)).
  775bought(spaghetti).
  776bought(steak).
  777shops(mary).
  778shops(john).
  779end(model(120)).
  780
  781begin(model(121)).
  782bought(spaghetti).
  783bought(steak).
  784shops(mary).
  785shops(john).
  786end(model(121)).
  787
  788begin(model(122)).
  789bought(fish).
  790shops(mary).
  791end(model(122)).
  792
  793begin(model(123)).
  794end(model(123)).
  795
  796begin(model(124)).
  797bought(fish).
  798shops(mary).
  799end(model(124)).
  800
  801begin(model(125)).
  802bought(fish).
  803shops(mary).
  804end(model(125)).
  805
  806begin(model(126)).
  807bought(spaghetti).
  808shops(mary).
  809end(model(126)).
  810
  811begin(model(127)).
  812bought(fish).
  813shops(mary).
  814end(model(127)).
  815
  816begin(model(128)).
  817bought(fish).
  818shops(mary).
  819end(model(128)).
  820
  821begin(model(129)).
  822bought(fish).
  823shops(mary).
  824end(model(129)).
  825
  826begin(model(130)).
  827bought(fish).
  828shops(mary).
  829end(model(130)).
  830
  831begin(model(131)).
  832bought(fish).
  833shops(mary).
  834end(model(131)).
  835
  836begin(model(132)).
  837bought(fish).
  838shops(mary).
  839end(model(132)).
  840
  841begin(model(133)).
  842bought(fish).
  843shops(mary).
  844end(model(133)).
  845
  846begin(model(134)).
  847bought(fish).
  848bought(spaghetti).
  849shops(mary).
  850shops(john).
  851end(model(134)).
  852
  853begin(model(135)).
  854bought(fish).
  855shops(mary).
  856end(model(135)).
  857
  858begin(model(136)).
  859bought(fish).
  860shops(mary).
  861end(model(136)).
  862
  863begin(model(137)).
  864bought(fish).
  865shops(mary).
  866end(model(137)).
  867
  868begin(model(138)).
  869bought(fish).
  870shops(mary).
  871end(model(138)).
  872
  873begin(model(139)).
  874bought(fish).
  875shops(mary).
  876end(model(139)).
  877
  878begin(model(140)).
  879bought(fish).
  880shops(mary).
  881end(model(140)).
  882
  883begin(model(141)).
  884end(model(141)).
  885
  886begin(model(142)).
  887bought(spaghetti).
  888shops(mary).
  889end(model(142)).
  890
  891begin(model(143)).
  892bought(spaghetti).
  893shops(mary).
  894end(model(143)).
  895
  896begin(model(144)).
  897bought(fish).
  898bought(steak).
  899shops(mary).
  900shops(john).
  901end(model(144)).
  902
  903begin(model(145)).
  904bought(spaghetti).
  905shops(mary).
  906end(model(145)).
  907
  908begin(model(146)).
  909end(model(146)).
  910
  911begin(model(147)).
  912bought(spaghetti).
  913shops(mary).
  914end(model(147)).
  915
  916begin(model(148)).
  917bought(fish).
  918shops(mary).
  919end(model(148)).
  920
  921begin(model(149)).
  922bought(fish).
  923bought(steak).
  924shops(mary).
  925shops(john).
  926end(model(149)).
  927
  928begin(model(150)).
  929end(model(150)).
  930
  931begin(model(151)).
  932bought(steak).
  933shops(john).
  934end(model(151)).
  935
  936begin(model(152)).
  937bought(spaghetti).
  938shops(mary).
  939end(model(152)).
  940
  941begin(model(153)).
  942bought(fish).
  943shops(mary).
  944end(model(153)).
  945
  946begin(model(154)).
  947bought(fish).
  948shops(mary).
  949end(model(154)).
  950
  951begin(model(155)).
  952bought(fish).
  953shops(mary).
  954end(model(155)).
  955
  956begin(model(156)).
  957bought(fish).
  958shops(mary).
  959end(model(156)).
  960
  961begin(model(157)).
  962bought(fish).
  963bought(spaghetti).
  964shops(mary).
  965shops(john).
  966end(model(157)).
  967
  968begin(model(158)).
  969bought(spaghetti).
  970shops(mary).
  971end(model(158)).
  972
  973begin(model(159)).
  974bought(fish).
  975shops(mary).
  976end(model(159)).
  977
  978begin(model(160)).
  979bought(spaghetti).
  980shops(mary).
  981end(model(160)).
  982
  983begin(model(161)).
  984bought(fish).
  985shops(mary).
  986end(model(161)).
  987
  988begin(model(162)).
  989bought(fish).
  990shops(mary).
  991end(model(162)).
  992
  993begin(model(163)).
  994bought(fish).
  995bought(steak).
  996shops(mary).
  997shops(john).
  998end(model(163)).
  999
 1000begin(model(164)).
 1001bought(fish).
 1002shops(mary).
 1003end(model(164)).
 1004
 1005begin(model(165)).
 1006bought(spaghetti).
 1007shops(mary).
 1008end(model(165)).
 1009
 1010begin(model(166)).
 1011bought(spaghetti).
 1012shops(mary).
 1013end(model(166)).
 1014
 1015begin(model(167)).
 1016bought(fish).
 1017shops(mary).
 1018end(model(167)).
 1019
 1020begin(model(168)).
 1021bought(fish).
 1022bought(spaghetti).
 1023shops(mary).
 1024shops(john).
 1025end(model(168)).
 1026
 1027begin(model(169)).
 1028bought(fish).
 1029shops(mary).
 1030end(model(169)).
 1031
 1032begin(model(170)).
 1033bought(spaghetti).
 1034shops(mary).
 1035end(model(170)).
 1036
 1037begin(model(171)).
 1038bought(spaghetti).
 1039shops(mary).
 1040end(model(171)).
 1041
 1042begin(model(172)).
 1043bought(fish).
 1044shops(mary).
 1045end(model(172)).
 1046
 1047begin(model(173)).
 1048bought(fish).
 1049shops(mary).
 1050end(model(173)).
 1051
 1052begin(model(174)).
 1053bought(fish).
 1054shops(mary).
 1055end(model(174)).
 1056
 1057begin(model(175)).
 1058bought(fish).
 1059shops(mary).
 1060end(model(175)).
 1061
 1062begin(model(176)).
 1063bought(fish).
 1064bought(spaghetti).
 1065shops(mary).
 1066shops(john).
 1067end(model(176)).
 1068
 1069begin(model(177)).
 1070bought(fish).
 1071shops(mary).
 1072end(model(177)).
 1073
 1074begin(model(178)).
 1075bought(spaghetti).
 1076shops(mary).
 1077end(model(178)).
 1078
 1079begin(model(179)).
 1080bought(fish).
 1081shops(mary).
 1082end(model(179)).
 1083
 1084begin(model(180)).
 1085bought(fish).
 1086shops(mary).
 1087end(model(180)).
 1088
 1089begin(model(181)).
 1090bought(fish).
 1091shops(mary).
 1092end(model(181)).
 1093
 1094begin(model(182)).
 1095bought(fish).
 1096shops(mary).
 1097end(model(182)).
 1098
 1099begin(model(183)).
 1100bought(fish).
 1101shops(mary).
 1102end(model(183)).
 1103
 1104begin(model(184)).
 1105bought(spaghetti).
 1106shops(mary).
 1107end(model(184)).
 1108
 1109begin(model(185)).
 1110bought(fish).
 1111shops(mary).
 1112end(model(185)).
 1113
 1114begin(model(186)).
 1115bought(spaghetti).
 1116shops(mary).
 1117end(model(186)).
 1118
 1119begin(model(187)).
 1120bought(fish).
 1121shops(mary).
 1122end(model(187)).
 1123
 1124begin(model(188)).
 1125bought(spaghetti).
 1126shops(mary).
 1127end(model(188)).
 1128
 1129begin(model(189)).
 1130bought(spaghetti).
 1131shops(mary).
 1132end(model(189)).
 1133
 1134begin(model(190)).
 1135bought(spaghetti).
 1136shops(mary).
 1137end(model(190)).
 1138
 1139begin(model(191)).
 1140end(model(191)).
 1141
 1142begin(model(192)).
 1143bought(spaghetti).
 1144shops(mary).
 1145end(model(192)).
 1146
 1147begin(model(193)).
 1148bought(fish).
 1149shops(mary).
 1150end(model(193)).
 1151
 1152begin(model(194)).
 1153bought(fish).
 1154shops(mary).
 1155end(model(194)).
 1156
 1157begin(model(195)).
 1158bought(fish).
 1159shops(mary).
 1160end(model(195)).
 1161
 1162begin(model(196)).
 1163bought(fish).
 1164shops(mary).
 1165end(model(196)).
 1166
 1167begin(model(197)).
 1168bought(fish).
 1169shops(mary).
 1170end(model(197)).
 1171
 1172begin(model(198)).
 1173bought(fish).
 1174shops(mary).
 1175end(model(198)).
 1176
 1177begin(model(199)).
 1178bought(fish).
 1179shops(mary).
 1180end(model(199)).
 1181
 1182begin(model(200)).
 1183bought(fish).
 1184bought(spaghetti).
 1185shops(mary).
 1186shops(john).
 1187end(model(200)).
 1188
 1189begin(model(201)).
 1190bought(fish).
 1191shops(mary).
 1192end(model(201)).
 1193
 1194begin(model(202)).
 1195bought(fish).
 1196shops(mary).
 1197end(model(202)).
 1198
 1199begin(model(203)).
 1200bought(fish).
 1201shops(mary).
 1202end(model(203)).
 1203
 1204begin(model(204)).
 1205bought(fish).
 1206shops(mary).
 1207end(model(204)).
 1208
 1209begin(model(205)).
 1210bought(fish).
 1211shops(mary).
 1212end(model(205)).
 1213
 1214begin(model(206)).
 1215bought(fish).
 1216shops(mary).
 1217end(model(206)).
 1218
 1219begin(model(207)).
 1220bought(spaghetti).
 1221shops(mary).
 1222end(model(207)).
 1223
 1224begin(model(208)).
 1225bought(fish).
 1226shops(mary).
 1227end(model(208)).
 1228
 1229begin(model(209)).
 1230end(model(209)).
 1231
 1232begin(model(210)).
 1233bought(fish).
 1234shops(mary).
 1235end(model(210)).
 1236
 1237begin(model(211)).
 1238bought(fish).
 1239shops(mary).
 1240end(model(211)).
 1241
 1242begin(model(212)).
 1243bought(spaghetti).
 1244shops(mary).
 1245end(model(212)).
 1246
 1247begin(model(213)).
 1248bought(spaghetti).
 1249shops(mary).
 1250end(model(213)).
 1251
 1252begin(model(214)).
 1253bought(fish).
 1254shops(mary).
 1255end(model(214)).
 1256
 1257begin(model(215)).
 1258bought(fish).
 1259shops(mary).
 1260end(model(215)).
 1261
 1262begin(model(216)).
 1263bought(fish).
 1264shops(mary).
 1265end(model(216)).
 1266
 1267begin(model(217)).
 1268bought(fish).
 1269shops(mary).
 1270end(model(217)).
 1271
 1272begin(model(218)).
 1273bought(spaghetti).
 1274shops(mary).
 1275end(model(218)).
 1276
 1277begin(model(219)).
 1278bought(spaghetti).
 1279shops(mary).
 1280end(model(219)).
 1281
 1282begin(model(220)).
 1283bought(fish).
 1284shops(mary).
 1285end(model(220)).
 1286
 1287begin(model(221)).
 1288bought(fish).
 1289shops(mary).
 1290end(model(221)).
 1291
 1292begin(model(222)).
 1293bought(spaghetti).
 1294shops(mary).
 1295end(model(222)).
 1296
 1297begin(model(223)).
 1298bought(fish).
 1299shops(mary).
 1300end(model(223)).
 1301
 1302begin(model(224)).
 1303end(model(224)).
 1304
 1305begin(model(225)).
 1306end(model(225)).
 1307
 1308begin(model(226)).
 1309bought(fish).
 1310shops(mary).
 1311end(model(226)).
 1312
 1313begin(model(227)).
 1314bought(fish).
 1315shops(mary).
 1316end(model(227)).
 1317
 1318begin(model(228)).
 1319bought(fish).
 1320shops(mary).
 1321end(model(228)).
 1322
 1323begin(model(229)).
 1324bought(fish).
 1325shops(mary).
 1326end(model(229)).
 1327
 1328begin(model(230)).
 1329bought(spaghetti).
 1330shops(mary).
 1331end(model(230)).
 1332
 1333begin(model(231)).
 1334bought(spaghetti).
 1335shops(mary).
 1336end(model(231)).
 1337
 1338begin(model(232)).
 1339bought(fish).
 1340shops(mary).
 1341end(model(232)).
 1342
 1343begin(model(233)).
 1344bought(fish).
 1345bought(steak).
 1346shops(mary).
 1347shops(john).
 1348end(model(233)).
 1349
 1350begin(model(234)).
 1351bought(spaghetti).
 1352shops(mary).
 1353end(model(234)).
 1354
 1355begin(model(235)).
 1356bought(fish).
 1357shops(mary).
 1358end(model(235)).
 1359
 1360begin(model(236)).
 1361bought(fish).
 1362shops(mary).
 1363end(model(236)).
 1364
 1365begin(model(237)).
 1366bought(fish).
 1367shops(mary).
 1368end(model(237)).
 1369
 1370begin(model(238)).
 1371bought(fish).
 1372shops(mary).
 1373end(model(238)).
 1374
 1375begin(model(239)).
 1376bought(fish).
 1377shops(mary).
 1378end(model(239)).
 1379
 1380begin(model(240)).
 1381bought(fish).
 1382bought(spaghetti).
 1383shops(mary).
 1384shops(john).
 1385end(model(240)).
 1386
 1387begin(model(241)).
 1388bought(fish).
 1389shops(mary).
 1390end(model(241)).
 1391
 1392begin(model(242)).
 1393bought(spaghetti).
 1394shops(mary).
 1395end(model(242)).
 1396
 1397begin(model(243)).
 1398bought(fish).
 1399shops(mary).
 1400end(model(243)).
 1401
 1402begin(model(244)).
 1403bought(spaghetti).
 1404shops(mary).
 1405end(model(244)).
 1406
 1407begin(model(245)).
 1408bought(fish).
 1409shops(mary).
 1410end(model(245)).
 1411
 1412begin(model(246)).
 1413bought(fish).
 1414shops(mary).
 1415end(model(246)).
 1416
 1417begin(model(247)).
 1418bought(fish).
 1419shops(mary).
 1420end(model(247)).
 1421
 1422begin(model(248)).
 1423bought(spaghetti).
 1424shops(mary).
 1425end(model(248)).
 1426
 1427begin(model(249)).
 1428bought(fish).
 1429shops(mary).
 1430end(model(249)).
 1431
 1432begin(model(250)).
 1433bought(spaghetti).
 1434shops(mary).
 1435end(model(250)).
 1436
 1437begin(model(251)).
 1438bought(spaghetti).
 1439shops(mary).
 1440end(model(251)).
 1441
 1442begin(model(252)).
 1443bought(fish).
 1444bought(spaghetti).
 1445shops(mary).
 1446shops(john).
 1447end(model(252)).
 1448
 1449begin(model(253)).
 1450bought(fish).
 1451shops(mary).
 1452end(model(253)).
 1453
 1454begin(model(254)).
 1455bought(fish).
 1456shops(mary).
 1457end(model(254)).
 1458
 1459begin(model(255)).
 1460bought(fish).
 1461shops(mary).
 1462end(model(255)).
 1463
 1464begin(model(256)).
 1465bought(fish).
 1466shops(mary).
 1467end(model(256)).
 1468
 1469begin(model(257)).
 1470bought(fish).
 1471bought(steak).
 1472shops(mary).
 1473shops(john).
 1474end(model(257)).
 1475
 1476begin(model(258)).
 1477bought(fish).
 1478bought(steak).
 1479shops(mary).
 1480shops(john).
 1481end(model(258)).
 1482
 1483begin(model(259)).
 1484bought(spaghetti).
 1485shops(mary).
 1486end(model(259)).
 1487
 1488begin(model(260)).
 1489bought(fish).
 1490shops(mary).
 1491end(model(260)).
 1492
 1493begin(model(261)).
 1494bought(fish).
 1495shops(mary).
 1496end(model(261)).
 1497
 1498begin(model(262)).
 1499bought(fish).
 1500shops(mary).
 1501end(model(262)).
 1502
 1503begin(model(263)).
 1504bought(fish).
 1505bought(steak).
 1506shops(mary).
 1507shops(john).
 1508end(model(263)).
 1509
 1510begin(model(264)).
 1511end(model(264)).
 1512
 1513begin(model(265)).
 1514end(model(265)).
 1515
 1516begin(model(266)).
 1517bought(spaghetti).
 1518shops(mary).
 1519end(model(266)).
 1520
 1521begin(model(267)).
 1522bought(fish).
 1523shops(mary).
 1524end(model(267)).
 1525
 1526begin(model(268)).
 1527bought(fish).
 1528shops(mary).
 1529end(model(268)).
 1530
 1531begin(model(269)).
 1532bought(fish).
 1533shops(mary).
 1534end(model(269)).
 1535
 1536begin(model(270)).
 1537bought(spaghetti).
 1538shops(mary).
 1539end(model(270)).
 1540
 1541begin(model(271)).
 1542bought(fish).
 1543shops(mary).
 1544end(model(271)).
 1545
 1546begin(model(272)).
 1547bought(fish).
 1548shops(mary).
 1549end(model(272)).
 1550
 1551begin(model(273)).
 1552bought(fish).
 1553shops(mary).
 1554end(model(273)).
 1555
 1556begin(model(274)).
 1557bought(fish).
 1558shops(mary).
 1559end(model(274)).
 1560
 1561begin(model(275)).
 1562bought(fish).
 1563shops(mary).
 1564end(model(275)).
 1565
 1566begin(model(276)).
 1567bought(steak).
 1568shops(john).
 1569end(model(276)).
 1570
 1571begin(model(277)).
 1572bought(spaghetti).
 1573shops(mary).
 1574end(model(277)).
 1575
 1576begin(model(278)).
 1577bought(fish).
 1578shops(mary).
 1579end(model(278)).
 1580
 1581begin(model(279)).
 1582bought(fish).
 1583shops(mary).
 1584end(model(279)).
 1585
 1586begin(model(280)).
 1587bought(fish).
 1588bought(spaghetti).
 1589shops(mary).
 1590shops(john).
 1591end(model(280)).
 1592
 1593begin(model(281)).
 1594bought(fish).
 1595shops(mary).
 1596end(model(281)).
 1597
 1598begin(model(282)).
 1599bought(fish).
 1600bought(spaghetti).
 1601shops(mary).
 1602shops(john).
 1603end(model(282)).
 1604
 1605begin(model(283)).
 1606bought(spaghetti).
 1607shops(mary).
 1608end(model(283)).
 1609
 1610begin(model(284)).
 1611bought(fish).
 1612bought(spaghetti).
 1613shops(mary).
 1614shops(john).
 1615end(model(284)).
 1616
 1617begin(model(285)).
 1618bought(fish).
 1619shops(mary).
 1620end(model(285)).
 1621
 1622begin(model(286)).
 1623bought(fish).
 1624shops(mary).
 1625end(model(286)).
 1626
 1627begin(model(287)).
 1628bought(fish).
 1629shops(mary).
 1630end(model(287)).
 1631
 1632begin(model(288)).
 1633bought(fish).
 1634shops(mary).
 1635end(model(288)).
 1636
 1637begin(model(289)).
 1638bought(fish).
 1639shops(mary).
 1640end(model(289)).
 1641
 1642begin(model(290)).
 1643bought(fish).
 1644shops(mary).
 1645end(model(290)).
 1646
 1647begin(model(291)).
 1648end(model(291)).
 1649
 1650begin(model(292)).
 1651bought(fish).
 1652shops(mary).
 1653end(model(292)).
 1654
 1655begin(model(293)).
 1656bought(fish).
 1657shops(mary).
 1658end(model(293)).
 1659
 1660begin(model(294)).
 1661bought(steak).
 1662shops(john).
 1663end(model(294)).
 1664
 1665begin(model(295)).
 1666bought(fish).
 1667shops(mary).
 1668end(model(295)).
 1669
 1670begin(model(296)).
 1671bought(spaghetti).
 1672shops(mary).
 1673end(model(296)).
 1674
 1675begin(model(297)).
 1676bought(fish).
 1677shops(mary).
 1678end(model(297)).
 1679
 1680begin(model(298)).
 1681bought(spaghetti).
 1682shops(mary).
 1683end(model(298)).
 1684
 1685begin(model(299)).
 1686bought(fish).
 1687bought(steak).
 1688shops(mary).
 1689shops(john).
 1690end(model(299)).
 1691
 1692begin(model(300)).
 1693bought(fish).
 1694shops(mary).
 1695end(model(300)).
 1696
 1697begin(model(301)).
 1698bought(fish).
 1699shops(mary).
 1700end(model(301)).
 1701
 1702begin(model(302)).
 1703bought(fish).
 1704shops(mary).
 1705end(model(302)).
 1706
 1707begin(model(303)).
 1708bought(fish).
 1709bought(steak).
 1710shops(mary).
 1711shops(john).
 1712end(model(303)).
 1713
 1714begin(model(304)).
 1715bought(fish).
 1716shops(mary).
 1717end(model(304)).
 1718
 1719begin(model(305)).
 1720bought(fish).
 1721shops(mary).
 1722end(model(305)).
 1723
 1724begin(model(306)).
 1725bought(fish).
 1726shops(mary).
 1727end(model(306)).
 1728
 1729begin(model(307)).
 1730bought(fish).
 1731shops(mary).
 1732end(model(307)).
 1733
 1734begin(model(308)).
 1735bought(fish).
 1736shops(mary).
 1737end(model(308)).
 1738
 1739begin(model(309)).
 1740bought(fish).
 1741shops(mary).
 1742end(model(309)).
 1743
 1744begin(model(310)).
 1745bought(fish).
 1746shops(mary).
 1747end(model(310)).
 1748
 1749begin(model(311)).
 1750bought(spaghetti).
 1751shops(mary).
 1752end(model(311)).
 1753
 1754begin(model(312)).
 1755bought(fish).
 1756bought(spaghetti).
 1757shops(mary).
 1758shops(john).
 1759end(model(312)).
 1760
 1761begin(model(313)).
 1762bought(fish).
 1763bought(steak).
 1764shops(mary).
 1765shops(john).
 1766end(model(313)).
 1767
 1768begin(model(314)).
 1769bought(spaghetti).
 1770shops(john).
 1771end(model(314)).
 1772
 1773begin(model(315)).
 1774bought(fish).
 1775shops(mary).
 1776end(model(315)).
 1777
 1778begin(model(316)).
 1779bought(fish).
 1780shops(mary).
 1781end(model(316)).
 1782
 1783begin(model(317)).
 1784bought(spaghetti).
 1785shops(mary).
 1786end(model(317)).
 1787
 1788begin(model(318)).
 1789bought(spaghetti).
 1790shops(mary).
 1791end(model(318)).
 1792
 1793begin(model(319)).
 1794bought(spaghetti).
 1795shops(mary).
 1796end(model(319)).
 1797
 1798begin(model(320)).
 1799bought(fish).
 1800shops(mary).
 1801end(model(320)).
 1802
 1803begin(model(321)).
 1804bought(fish).
 1805shops(mary).
 1806end(model(321)).
 1807
 1808begin(model(322)).
 1809bought(fish).
 1810shops(mary).
 1811end(model(322)).
 1812
 1813begin(model(323)).
 1814bought(fish).
 1815shops(mary).
 1816end(model(323)).
 1817
 1818begin(model(324)).
 1819bought(fish).
 1820shops(mary).
 1821end(model(324)).
 1822
 1823begin(model(325)).
 1824bought(fish).
 1825shops(mary).
 1826end(model(325)).
 1827
 1828begin(model(326)).
 1829bought(fish).
 1830bought(steak).
 1831shops(mary).
 1832shops(john).
 1833end(model(326)).
 1834
 1835begin(model(327)).
 1836bought(fish).
 1837shops(mary).
 1838end(model(327)).
 1839
 1840begin(model(328)).
 1841bought(spaghetti).
 1842shops(mary).
 1843end(model(328)).
 1844
 1845begin(model(329)).
 1846bought(fish).
 1847shops(mary).
 1848end(model(329)).
 1849
 1850begin(model(330)).
 1851bought(fish).
 1852bought(spaghetti).
 1853shops(mary).
 1854shops(john).
 1855end(model(330)).
 1856
 1857begin(model(331)).
 1858bought(spaghetti).
 1859shops(mary).
 1860end(model(331)).
 1861
 1862begin(model(332)).
 1863bought(fish).
 1864shops(mary).
 1865end(model(332)).
 1866
 1867begin(model(333)).
 1868bought(spaghetti).
 1869shops(mary).
 1870end(model(333)).
 1871
 1872begin(model(334)).
 1873bought(spaghetti).
 1874shops(mary).
 1875end(model(334)).
 1876
 1877begin(model(335)).
 1878bought(fish).
 1879shops(mary).
 1880end(model(335)).
 1881
 1882begin(model(336)).
 1883bought(spaghetti).
 1884shops(mary).
 1885end(model(336)).
 1886
 1887begin(model(337)).
 1888bought(fish).
 1889shops(mary).
 1890end(model(337)).
 1891
 1892begin(model(338)).
 1893bought(fish).
 1894shops(mary).
 1895end(model(338)).
 1896
 1897begin(model(339)).
 1898bought(spaghetti).
 1899shops(mary).
 1900end(model(339)).
 1901
 1902begin(model(340)).
 1903bought(fish).
 1904shops(mary).
 1905end(model(340)).
 1906
 1907begin(model(341)).
 1908bought(fish).
 1909shops(mary).
 1910end(model(341)).
 1911
 1912begin(model(342)).
 1913bought(fish).
 1914shops(mary).
 1915end(model(342)).
 1916
 1917begin(model(343)).
 1918bought(fish).
 1919shops(mary).
 1920end(model(343)).
 1921
 1922begin(model(344)).
 1923bought(fish).
 1924shops(mary).
 1925end(model(344)).
 1926
 1927begin(model(345)).
 1928bought(fish).
 1929shops(mary).
 1930end(model(345)).
 1931
 1932begin(model(346)).
 1933bought(fish).
 1934shops(mary).
 1935end(model(346)).
 1936
 1937begin(model(347)).
 1938bought(fish).
 1939bought(spaghetti).
 1940shops(mary).
 1941shops(john).
 1942end(model(347)).
 1943
 1944begin(model(348)).
 1945bought(fish).
 1946shops(mary).
 1947end(model(348)).
 1948
 1949begin(model(349)).
 1950bought(fish).
 1951shops(mary).
 1952end(model(349)).
 1953
 1954begin(model(350)).
 1955bought(fish).
 1956shops(mary).
 1957end(model(350)).
 1958
 1959begin(model(351)).
 1960bought(spaghetti).
 1961shops(mary).
 1962end(model(351)).
 1963
 1964begin(model(352)).
 1965bought(fish).
 1966shops(mary).
 1967end(model(352)).
 1968
 1969begin(model(353)).
 1970bought(fish).
 1971shops(mary).
 1972end(model(353)).
 1973
 1974begin(model(354)).
 1975bought(fish).
 1976shops(mary).
 1977end(model(354)).
 1978
 1979begin(model(355)).
 1980bought(fish).
 1981bought(steak).
 1982shops(mary).
 1983shops(john).
 1984end(model(355)).
 1985
 1986begin(model(356)).
 1987bought(fish).
 1988shops(mary).
 1989end(model(356)).
 1990
 1991begin(model(357)).
 1992bought(fish).
 1993bought(steak).
 1994shops(mary).
 1995shops(john).
 1996end(model(357)).
 1997
 1998begin(model(358)).
 1999bought(fish).
 2000shops(mary).
 2001end(model(358)).
 2002
 2003begin(model(359)).
 2004bought(fish).
 2005shops(mary).
 2006end(model(359)).
 2007
 2008begin(model(360)).
 2009bought(spaghetti).
 2010bought(steak).
 2011shops(mary).
 2012shops(john).
 2013end(model(360)).
 2014
 2015begin(model(361)).
 2016bought(spaghetti).
 2017shops(mary).
 2018end(model(361)).
 2019
 2020begin(model(362)).
 2021bought(spaghetti).
 2022shops(mary).
 2023end(model(362)).
 2024
 2025begin(model(363)).
 2026bought(fish).
 2027shops(mary).
 2028end(model(363)).
 2029
 2030begin(model(364)).
 2031bought(spaghetti).
 2032shops(mary).
 2033end(model(364)).
 2034
 2035begin(model(365)).
 2036bought(fish).
 2037shops(mary).
 2038end(model(365)).
 2039
 2040begin(model(366)).
 2041bought(fish).
 2042shops(mary).
 2043end(model(366)).
 2044
 2045begin(model(367)).
 2046bought(fish).
 2047shops(mary).
 2048end(model(367)).
 2049
 2050begin(model(368)).
 2051bought(fish).
 2052shops(mary).
 2053end(model(368)).
 2054
 2055begin(model(369)).
 2056end(model(369)).
 2057
 2058begin(model(370)).
 2059bought(fish).
 2060shops(mary).
 2061end(model(370)).
 2062
 2063begin(model(371)).
 2064bought(fish).
 2065bought(spaghetti).
 2066shops(mary).
 2067shops(john).
 2068end(model(371)).
 2069
 2070begin(model(372)).
 2071bought(fish).
 2072shops(mary).
 2073end(model(372)).
 2074
 2075begin(model(373)).
 2076bought(fish).
 2077bought(spaghetti).
 2078shops(mary).
 2079shops(john).
 2080end(model(373)).
 2081
 2082begin(model(374)).
 2083bought(fish).
 2084bought(spaghetti).
 2085shops(mary).
 2086shops(john).
 2087end(model(374)).
 2088
 2089begin(model(375)).
 2090bought(fish).
 2091shops(mary).
 2092end(model(375)).
 2093
 2094begin(model(376)).
 2095bought(fish).
 2096shops(mary).
 2097end(model(376)).
 2098
 2099begin(model(377)).
 2100bought(fish).
 2101shops(mary).
 2102end(model(377)).
 2103
 2104begin(model(378)).
 2105bought(fish).
 2106shops(mary).
 2107end(model(378)).
 2108
 2109begin(model(379)).
 2110bought(fish).
 2111bought(spaghetti).
 2112shops(mary).
 2113shops(john).
 2114end(model(379)).
 2115
 2116begin(model(380)).
 2117bought(spaghetti).
 2118shops(mary).
 2119end(model(380)).
 2120
 2121begin(model(381)).
 2122bought(fish).
 2123shops(mary).
 2124end(model(381)).
 2125
 2126begin(model(382)).
 2127bought(fish).
 2128shops(mary).
 2129end(model(382)).
 2130
 2131begin(model(383)).
 2132bought(fish).
 2133shops(mary).
 2134end(model(383)).
 2135
 2136begin(model(384)).
 2137bought(fish).
 2138shops(mary).
 2139end(model(384)).
 2140
 2141begin(model(385)).
 2142bought(fish).
 2143shops(mary).
 2144end(model(385)).
 2145
 2146begin(model(386)).
 2147bought(fish).
 2148shops(mary).
 2149end(model(386)).
 2150
 2151begin(model(387)).
 2152bought(spaghetti).
 2153shops(john).
 2154end(model(387)).
 2155
 2156begin(model(388)).
 2157bought(fish).
 2158shops(mary).
 2159end(model(388)).
 2160
 2161begin(model(389)).
 2162bought(fish).
 2163shops(mary).
 2164end(model(389)).
 2165
 2166begin(model(390)).
 2167bought(fish).
 2168shops(mary).
 2169end(model(390)).
 2170
 2171begin(model(391)).
 2172bought(spaghetti).
 2173shops(mary).
 2174end(model(391)).
 2175
 2176begin(model(392)).
 2177bought(spaghetti).
 2178shops(john).
 2179end(model(392)).
 2180
 2181begin(model(393)).
 2182bought(fish).
 2183shops(mary).
 2184end(model(393)).
 2185
 2186begin(model(394)).
 2187bought(fish).
 2188shops(mary).
 2189end(model(394)).
 2190
 2191begin(model(395)).
 2192bought(spaghetti).
 2193shops(mary).
 2194end(model(395)).
 2195
 2196begin(model(396)).
 2197bought(fish).
 2198shops(mary).
 2199end(model(396)).
 2200
 2201begin(model(397)).
 2202bought(fish).
 2203shops(mary).
 2204end(model(397)).
 2205
 2206begin(model(398)).
 2207bought(fish).
 2208shops(mary).
 2209end(model(398)).
 2210
 2211begin(model(399)).
 2212bought(spaghetti).
 2213shops(mary).
 2214end(model(399)).
 2215
 2216begin(model(400)).
 2217bought(fish).
 2218shops(mary).
 2219end(model(400)).
 2220
 2221begin(model(401)).
 2222bought(fish).
 2223shops(mary).
 2224end(model(401)).
 2225
 2226begin(model(402)).
 2227bought(spaghetti).
 2228shops(mary).
 2229end(model(402)).
 2230
 2231begin(model(403)).
 2232bought(fish).
 2233shops(mary).
 2234end(model(403)).
 2235
 2236begin(model(404)).
 2237bought(fish).
 2238shops(mary).
 2239end(model(404)).
 2240
 2241begin(model(405)).
 2242bought(spaghetti).
 2243shops(mary).
 2244end(model(405)).
 2245
 2246begin(model(406)).
 2247bought(fish).
 2248shops(mary).
 2249end(model(406)).
 2250
 2251begin(model(407)).
 2252bought(fish).
 2253shops(mary).
 2254end(model(407)).
 2255
 2256begin(model(408)).
 2257bought(fish).
 2258shops(mary).
 2259end(model(408)).
 2260
 2261begin(model(409)).
 2262bought(steak).
 2263shops(john).
 2264end(model(409)).
 2265
 2266begin(model(410)).
 2267bought(fish).
 2268shops(mary).
 2269end(model(410)).
 2270
 2271begin(model(411)).
 2272bought(fish).
 2273shops(mary).
 2274end(model(411)).
 2275
 2276begin(model(412)).
 2277bought(fish).
 2278shops(mary).
 2279end(model(412)).
 2280
 2281begin(model(413)).
 2282bought(fish).
 2283shops(mary).
 2284end(model(413)).
 2285
 2286begin(model(414)).
 2287bought(fish).
 2288shops(mary).
 2289end(model(414)).
 2290
 2291begin(model(415)).
 2292bought(fish).
 2293shops(mary).
 2294end(model(415)).
 2295
 2296begin(model(416)).
 2297end(model(416)).
 2298
 2299begin(model(417)).
 2300bought(spaghetti).
 2301shops(mary).
 2302end(model(417)).
 2303
 2304begin(model(418)).
 2305bought(spaghetti).
 2306bought(steak).
 2307shops(mary).
 2308shops(john).
 2309end(model(418)).
 2310
 2311begin(model(419)).
 2312bought(spaghetti).
 2313shops(mary).
 2314end(model(419)).
 2315
 2316begin(model(420)).
 2317bought(spaghetti).
 2318shops(mary).
 2319end(model(420)).
 2320
 2321begin(model(421)).
 2322bought(fish).
 2323shops(mary).
 2324end(model(421)).
 2325
 2326begin(model(422)).
 2327bought(spaghetti).
 2328shops(mary).
 2329end(model(422)).
 2330
 2331begin(model(423)).
 2332bought(fish).
 2333shops(mary).
 2334end(model(423)).
 2335
 2336begin(model(424)).
 2337bought(fish).
 2338shops(mary).
 2339end(model(424)).
 2340
 2341begin(model(425)).
 2342bought(fish).
 2343shops(mary).
 2344end(model(425)).
 2345
 2346begin(model(426)).
 2347bought(spaghetti).
 2348bought(steak).
 2349shops(mary).
 2350shops(john).
 2351end(model(426)).
 2352
 2353begin(model(427)).
 2354bought(spaghetti).
 2355shops(mary).
 2356end(model(427)).
 2357
 2358begin(model(428)).
 2359bought(fish).
 2360shops(mary).
 2361end(model(428)).
 2362
 2363begin(model(429)).
 2364bought(fish).
 2365bought(steak).
 2366shops(mary).
 2367shops(john).
 2368end(model(429)).
 2369
 2370begin(model(430)).
 2371bought(spaghetti).
 2372shops(mary).
 2373end(model(430)).
 2374
 2375begin(model(431)).
 2376bought(fish).
 2377shops(mary).
 2378end(model(431)).
 2379
 2380begin(model(432)).
 2381bought(fish).
 2382shops(mary).
 2383end(model(432)).
 2384
 2385begin(model(433)).
 2386bought(fish).
 2387shops(mary).
 2388end(model(433)).
 2389
 2390begin(model(434)).
 2391bought(fish).
 2392shops(mary).
 2393end(model(434)).
 2394
 2395begin(model(435)).
 2396bought(fish).
 2397shops(mary).
 2398end(model(435)).
 2399
 2400begin(model(436)).
 2401bought(fish).
 2402shops(mary).
 2403end(model(436)).
 2404
 2405begin(model(437)).
 2406bought(fish).
 2407shops(mary).
 2408end(model(437)).
 2409
 2410begin(model(438)).
 2411bought(fish).
 2412shops(mary).
 2413end(model(438)).
 2414
 2415begin(model(439)).
 2416bought(fish).
 2417shops(mary).
 2418end(model(439)).
 2419
 2420begin(model(440)).
 2421bought(spaghetti).
 2422shops(mary).
 2423end(model(440)).
 2424
 2425begin(model(441)).
 2426bought(fish).
 2427bought(steak).
 2428shops(mary).
 2429shops(john).
 2430end(model(441)).
 2431
 2432begin(model(442)).
 2433bought(fish).
 2434shops(mary).
 2435end(model(442)).
 2436
 2437begin(model(443)).
 2438bought(spaghetti).
 2439shops(mary).
 2440end(model(443)).
 2441
 2442begin(model(444)).
 2443bought(fish).
 2444shops(mary).
 2445end(model(444)).
 2446
 2447begin(model(445)).
 2448bought(fish).
 2449shops(mary).
 2450end(model(445)).
 2451
 2452begin(model(446)).
 2453bought(spaghetti).
 2454shops(mary).
 2455end(model(446)).
 2456
 2457begin(model(447)).
 2458bought(fish).
 2459shops(mary).
 2460end(model(447)).
 2461
 2462begin(model(448)).
 2463bought(fish).
 2464shops(mary).
 2465end(model(448)).
 2466
 2467begin(model(449)).
 2468bought(fish).
 2469shops(mary).
 2470end(model(449)).
 2471
 2472begin(model(450)).
 2473bought(fish).
 2474shops(mary).
 2475end(model(450)).
 2476
 2477begin(model(451)).
 2478bought(fish).
 2479shops(mary).
 2480end(model(451)).
 2481
 2482begin(model(452)).
 2483bought(spaghetti).
 2484shops(mary).
 2485end(model(452)).
 2486
 2487begin(model(453)).
 2488bought(fish).
 2489shops(mary).
 2490end(model(453)).
 2491
 2492begin(model(454)).
 2493bought(fish).
 2494shops(mary).
 2495end(model(454)).
 2496
 2497begin(model(455)).
 2498bought(fish).
 2499bought(steak).
 2500shops(mary).
 2501shops(john).
 2502end(model(455)).
 2503
 2504begin(model(456)).
 2505bought(spaghetti).
 2506shops(mary).
 2507end(model(456)).
 2508
 2509begin(model(457)).
 2510bought(fish).
 2511bought(steak).
 2512shops(mary).
 2513shops(john).
 2514end(model(457)).
 2515
 2516begin(model(458)).
 2517bought(fish).
 2518shops(mary).
 2519end(model(458)).
 2520
 2521begin(model(459)).
 2522bought(fish).
 2523shops(mary).
 2524end(model(459)).
 2525
 2526begin(model(460)).
 2527bought(spaghetti).
 2528bought(steak).
 2529shops(mary).
 2530shops(john).
 2531end(model(460)).
 2532
 2533begin(model(461)).
 2534bought(spaghetti).
 2535shops(mary).
 2536end(model(461)).
 2537
 2538begin(model(462)).
 2539bought(fish).
 2540shops(mary).
 2541end(model(462)).
 2542
 2543begin(model(463)).
 2544bought(spaghetti).
 2545bought(steak).
 2546shops(mary).
 2547shops(john).
 2548end(model(463)).
 2549
 2550begin(model(464)).
 2551bought(spaghetti).
 2552shops(mary).
 2553end(model(464)).
 2554
 2555begin(model(465)).
 2556bought(fish).
 2557shops(mary).
 2558end(model(465)).
 2559
 2560begin(model(466)).
 2561bought(fish).
 2562shops(mary).
 2563end(model(466)).
 2564
 2565begin(model(467)).
 2566bought(fish).
 2567shops(mary).
 2568end(model(467)).
 2569
 2570begin(model(468)).
 2571bought(steak).
 2572shops(john).
 2573end(model(468)).
 2574
 2575begin(model(469)).
 2576bought(steak).
 2577shops(john).
 2578end(model(469)).
 2579
 2580begin(model(470)).
 2581bought(fish).
 2582shops(mary).
 2583end(model(470)).
 2584
 2585begin(model(471)).
 2586bought(fish).
 2587shops(mary).
 2588end(model(471)).
 2589
 2590begin(model(472)).
 2591bought(fish).
 2592shops(mary).
 2593end(model(472)).
 2594
 2595begin(model(473)).
 2596bought(fish).
 2597shops(mary).
 2598end(model(473)).
 2599
 2600begin(model(474)).
 2601bought(spaghetti).
 2602shops(mary).
 2603end(model(474)).
 2604
 2605begin(model(475)).
 2606bought(fish).
 2607bought(steak).
 2608shops(mary).
 2609shops(john).
 2610end(model(475)).
 2611
 2612begin(model(476)).
 2613bought(fish).
 2614bought(steak).
 2615shops(mary).
 2616shops(john).
 2617end(model(476)).
 2618
 2619begin(model(477)).
 2620bought(fish).
 2621bought(steak).
 2622shops(mary).
 2623shops(john).
 2624end(model(477)).
 2625
 2626begin(model(478)).
 2627bought(fish).
 2628bought(spaghetti).
 2629shops(mary).
 2630shops(john).
 2631end(model(478)).
 2632
 2633begin(model(479)).
 2634bought(spaghetti).
 2635shops(mary).
 2636end(model(479)).
 2637
 2638begin(model(480)).
 2639bought(fish).
 2640shops(mary).
 2641end(model(480)).
 2642
 2643begin(model(481)).
 2644bought(fish).
 2645shops(mary).
 2646end(model(481)).
 2647
 2648begin(model(482)).
 2649bought(fish).
 2650shops(mary).
 2651end(model(482)).
 2652
 2653begin(model(483)).
 2654bought(fish).
 2655shops(mary).
 2656end(model(483)).
 2657
 2658begin(model(484)).
 2659bought(fish).
 2660shops(mary).
 2661end(model(484)).
 2662
 2663begin(model(485)).
 2664bought(spaghetti).
 2665shops(mary).
 2666end(model(485)).
 2667
 2668begin(model(486)).
 2669bought(spaghetti).
 2670shops(mary).
 2671end(model(486)).
 2672
 2673begin(model(487)).
 2674bought(spaghetti).
 2675bought(steak).
 2676shops(mary).
 2677shops(john).
 2678end(model(487)).
 2679
 2680begin(model(488)).
 2681bought(fish).
 2682bought(spaghetti).
 2683shops(mary).
 2684shops(john).
 2685end(model(488)).
 2686
 2687begin(model(489)).
 2688bought(fish).
 2689bought(steak).
 2690shops(mary).
 2691shops(john).
 2692end(model(489)).
 2693
 2694begin(model(490)).
 2695bought(fish).
 2696shops(mary).
 2697end(model(490)).
 2698
 2699begin(model(491)).
 2700bought(spaghetti).
 2701shops(mary).
 2702end(model(491)).
 2703
 2704begin(model(492)).
 2705bought(fish).
 2706bought(steak).
 2707shops(mary).
 2708shops(john).
 2709end(model(492)).
 2710
 2711begin(model(493)).
 2712bought(fish).
 2713shops(mary).
 2714end(model(493)).
 2715
 2716begin(model(494)).
 2717bought(spaghetti).
 2718bought(steak).
 2719shops(mary).
 2720shops(john).
 2721end(model(494)).
 2722
 2723begin(model(495)).
 2724bought(spaghetti).
 2725shops(mary).
 2726end(model(495)).
 2727
 2728begin(model(496)).
 2729bought(spaghetti).
 2730shops(mary).
 2731end(model(496)).
 2732
 2733begin(model(497)).
 2734bought(fish).
 2735bought(steak).
 2736shops(mary).
 2737shops(john).
 2738end(model(497)).
 2739
 2740begin(model(498)).
 2741bought(fish).
 2742shops(mary).
 2743end(model(498)).
 2744
 2745begin(model(499)).
 2746bought(fish).
 2747shops(mary).
 2748end(model(499)).
 2749
 2750begin(model(500)).
 2751bought(fish).
 2752shops(mary).
 2753end(model(500)).
 2754
 2755begin(model(501)).
 2756bought(spaghetti).
 2757shops(mary).
 2758end(model(501)).
 2759
 2760begin(model(502)).
 2761bought(fish).
 2762shops(mary).
 2763end(model(502)).
 2764
 2765begin(model(503)).
 2766bought(spaghetti).
 2767bought(steak).
 2768shops(mary).
 2769shops(john).
 2770end(model(503)).
 2771
 2772begin(model(504)).
 2773bought(fish).
 2774shops(mary).
 2775end(model(504)).
 2776
 2777begin(model(505)).
 2778bought(spaghetti).
 2779shops(mary).
 2780end(model(505)).
 2781
 2782begin(model(506)).
 2783bought(fish).
 2784shops(mary).
 2785end(model(506)).
 2786
 2787begin(model(507)).
 2788bought(fish).
 2789shops(mary).
 2790end(model(507)).
 2791
 2792begin(model(508)).
 2793bought(spaghetti).
 2794shops(mary).
 2795end(model(508)).
 2796
 2797begin(model(509)).
 2798bought(fish).
 2799shops(mary).
 2800end(model(509)).
 2801
 2802begin(model(510)).
 2803bought(fish).
 2804shops(mary).
 2805end(model(510)).
 2806
 2807begin(model(511)).
 2808bought(spaghetti).
 2809shops(mary).
 2810end(model(511)).
 2811
 2812begin(model(512)).
 2813bought(fish).
 2814shops(mary).
 2815end(model(512)).
 2816
 2817begin(model(513)).
 2818bought(fish).
 2819shops(mary).
 2820end(model(513)).
 2821
 2822begin(model(514)).
 2823bought(fish).
 2824shops(mary).
 2825end(model(514)).
 2826
 2827begin(model(515)).
 2828bought(spaghetti).
 2829shops(mary).
 2830end(model(515)).
 2831
 2832begin(model(516)).
 2833bought(spaghetti).
 2834shops(john).
 2835end(model(516)).
 2836
 2837begin(model(517)).
 2838bought(fish).
 2839bought(steak).
 2840shops(mary).
 2841shops(john).
 2842end(model(517)).
 2843
 2844begin(model(518)).
 2845bought(fish).
 2846bought(steak).
 2847shops(mary).
 2848shops(john).
 2849end(model(518)).
 2850
 2851begin(model(519)).
 2852bought(fish).
 2853shops(mary).
 2854end(model(519)).
 2855
 2856begin(model(520)).
 2857bought(fish).
 2858shops(mary).
 2859end(model(520)).
 2860
 2861begin(model(521)).
 2862bought(fish).
 2863shops(mary).
 2864end(model(521)).
 2865
 2866begin(model(522)).
 2867bought(fish).
 2868shops(mary).
 2869end(model(522)).
 2870
 2871begin(model(523)).
 2872bought(fish).
 2873shops(mary).
 2874end(model(523)).
 2875
 2876begin(model(524)).
 2877bought(fish).
 2878bought(spaghetti).
 2879shops(mary).
 2880shops(john).
 2881end(model(524)).
 2882
 2883begin(model(525)).
 2884bought(spaghetti).
 2885shops(mary).
 2886end(model(525)).
 2887
 2888begin(model(526)).
 2889bought(fish).
 2890shops(mary).
 2891end(model(526)).
 2892
 2893begin(model(527)).
 2894bought(fish).
 2895shops(mary).
 2896end(model(527)).
 2897
 2898begin(model(528)).
 2899bought(fish).
 2900bought(spaghetti).
 2901shops(mary).
 2902shops(john).
 2903end(model(528)).
 2904
 2905begin(model(529)).
 2906bought(spaghetti).
 2907shops(mary).
 2908end(model(529)).
 2909
 2910begin(model(530)).
 2911bought(spaghetti).
 2912shops(mary).
 2913end(model(530)).
 2914
 2915begin(model(531)).
 2916bought(fish).
 2917shops(mary).
 2918end(model(531)).
 2919
 2920begin(model(532)).
 2921bought(fish).
 2922bought(steak).
 2923shops(mary).
 2924shops(john).
 2925end(model(532)).
 2926
 2927begin(model(533)).
 2928end(model(533)).
 2929
 2930begin(model(534)).
 2931bought(fish).
 2932shops(mary).
 2933end(model(534)).
 2934
 2935begin(model(535)).
 2936bought(spaghetti).
 2937shops(mary).
 2938end(model(535)).
 2939
 2940begin(model(536)).
 2941bought(spaghetti).
 2942shops(mary).
 2943end(model(536)).
 2944
 2945begin(model(537)).
 2946bought(fish).
 2947shops(mary).
 2948end(model(537)).
 2949
 2950begin(model(538)).
 2951bought(fish).
 2952shops(mary).
 2953end(model(538)).
 2954
 2955begin(model(539)).
 2956bought(fish).
 2957shops(mary).
 2958end(model(539)).
 2959
 2960begin(model(540)).
 2961bought(fish).
 2962shops(mary).
 2963end(model(540)).
 2964
 2965begin(model(541)).
 2966bought(fish).
 2967bought(spaghetti).
 2968shops(mary).
 2969shops(john).
 2970end(model(541)).
 2971
 2972begin(model(542)).
 2973bought(fish).
 2974shops(mary).
 2975end(model(542)).
 2976
 2977begin(model(543)).
 2978bought(fish).
 2979bought(steak).
 2980shops(mary).
 2981shops(john).
 2982end(model(543)).
 2983
 2984begin(model(544)).
 2985bought(spaghetti).
 2986shops(mary).
 2987end(model(544)).
 2988
 2989begin(model(545)).
 2990bought(fish).
 2991shops(mary).
 2992end(model(545)).
 2993
 2994begin(model(546)).
 2995bought(spaghetti).
 2996bought(steak).
 2997shops(mary).
 2998shops(john).
 2999end(model(546)).
 3000
 3001begin(model(547)).
 3002bought(fish).
 3003shops(mary).
 3004end(model(547)).
 3005
 3006begin(model(548)).
 3007bought(spaghetti).
 3008shops(mary).
 3009end(model(548)).
 3010
 3011begin(model(549)).
 3012bought(fish).
 3013shops(mary).
 3014end(model(549)).
 3015
 3016begin(model(550)).
 3017bought(fish).
 3018shops(mary).
 3019end(model(550)).
 3020
 3021begin(model(551)).
 3022bought(fish).
 3023shops(mary).
 3024end(model(551)).
 3025
 3026begin(model(552)).
 3027bought(spaghetti).
 3028shops(mary).
 3029end(model(552)).
 3030
 3031begin(model(553)).
 3032bought(spaghetti).
 3033shops(mary).
 3034end(model(553)).
 3035
 3036begin(model(554)).
 3037bought(fish).
 3038shops(mary).
 3039end(model(554)).
 3040
 3041begin(model(555)).
 3042bought(fish).
 3043shops(mary).
 3044end(model(555)).
 3045
 3046begin(model(556)).
 3047bought(fish).
 3048bought(steak).
 3049shops(mary).
 3050shops(john).
 3051end(model(556)).
 3052
 3053begin(model(557)).
 3054bought(spaghetti).
 3055bought(steak).
 3056shops(mary).
 3057shops(john).
 3058end(model(557)).
 3059
 3060begin(model(558)).
 3061bought(fish).
 3062shops(mary).
 3063end(model(558)).
 3064
 3065begin(model(559)).
 3066bought(spaghetti).
 3067shops(mary).
 3068end(model(559)).
 3069
 3070begin(model(560)).
 3071bought(fish).
 3072bought(steak).
 3073shops(mary).
 3074shops(john).
 3075end(model(560)).
 3076
 3077begin(model(561)).
 3078bought(fish).
 3079bought(steak).
 3080shops(mary).
 3081shops(john).
 3082end(model(561)).
 3083
 3084begin(model(562)).
 3085bought(spaghetti).
 3086shops(mary).
 3087end(model(562)).
 3088
 3089begin(model(563)).
 3090bought(spaghetti).
 3091shops(mary).
 3092end(model(563)).
 3093
 3094begin(model(564)).
 3095bought(fish).
 3096bought(steak).
 3097shops(mary).
 3098shops(john).
 3099end(model(564)).
 3100
 3101begin(model(565)).
 3102bought(fish).
 3103shops(mary).
 3104end(model(565)).
 3105
 3106begin(model(566)).
 3107bought(spaghetti).
 3108shops(mary).
 3109end(model(566)).
 3110
 3111begin(model(567)).
 3112bought(spaghetti).
 3113shops(mary).
 3114end(model(567)).
 3115
 3116begin(model(568)).
 3117bought(fish).
 3118bought(spaghetti).
 3119shops(mary).
 3120shops(john).
 3121end(model(568)).
 3122
 3123begin(model(569)).
 3124bought(fish).
 3125shops(mary).
 3126end(model(569)).
 3127
 3128begin(model(570)).
 3129bought(fish).
 3130shops(mary).
 3131end(model(570)).
 3132
 3133begin(model(571)).
 3134bought(fish).
 3135shops(mary).
 3136end(model(571)).
 3137
 3138begin(model(572)).
 3139bought(fish).
 3140shops(mary).
 3141end(model(572)).
 3142
 3143begin(model(573)).
 3144bought(fish).
 3145shops(mary).
 3146end(model(573)).
 3147
 3148begin(model(574)).
 3149bought(fish).
 3150shops(mary).
 3151end(model(574)).
 3152
 3153begin(model(575)).
 3154bought(fish).
 3155bought(spaghetti).
 3156shops(mary).
 3157shops(john).
 3158end(model(575)).
 3159
 3160begin(model(576)).
 3161bought(fish).
 3162shops(mary).
 3163end(model(576)).
 3164
 3165begin(model(577)).
 3166bought(fish).
 3167bought(steak).
 3168shops(mary).
 3169shops(john).
 3170end(model(577)).
 3171
 3172begin(model(578)).
 3173bought(fish).
 3174shops(mary).
 3175end(model(578)).
 3176
 3177begin(model(579)).
 3178bought(spaghetti).
 3179shops(mary).
 3180end(model(579)).
 3181
 3182begin(model(580)).
 3183bought(fish).
 3184shops(mary).
 3185end(model(580)).
 3186
 3187begin(model(581)).
 3188bought(fish).
 3189bought(steak).
 3190shops(mary).
 3191shops(john).
 3192end(model(581)).
 3193
 3194begin(model(582)).
 3195bought(spaghetti).
 3196shops(mary).
 3197end(model(582)).
 3198
 3199begin(model(583)).
 3200bought(fish).
 3201shops(mary).
 3202end(model(583)).
 3203
 3204begin(model(584)).
 3205bought(fish).
 3206shops(mary).
 3207end(model(584)).
 3208
 3209begin(model(585)).
 3210bought(fish).
 3211shops(mary).
 3212end(model(585)).
 3213
 3214begin(model(586)).
 3215bought(fish).
 3216bought(steak).
 3217shops(mary).
 3218shops(john).
 3219end(model(586)).
 3220
 3221begin(model(587)).
 3222bought(fish).
 3223shops(mary).
 3224end(model(587)).
 3225
 3226begin(model(588)).
 3227bought(fish).
 3228shops(mary).
 3229end(model(588)).
 3230
 3231begin(model(589)).
 3232bought(spaghetti).
 3233bought(steak).
 3234shops(mary).
 3235shops(john).
 3236end(model(589)).
 3237
 3238begin(model(590)).
 3239bought(fish).
 3240shops(mary).
 3241end(model(590)).
 3242
 3243begin(model(591)).
 3244bought(fish).
 3245shops(mary).
 3246end(model(591)).
 3247
 3248begin(model(592)).
 3249bought(spaghetti).
 3250shops(mary).
 3251end(model(592)).
 3252
 3253begin(model(593)).
 3254bought(spaghetti).
 3255shops(mary).
 3256end(model(593)).
 3257
 3258begin(model(594)).
 3259bought(spaghetti).
 3260bought(steak).
 3261shops(mary).
 3262shops(john).
 3263end(model(594)).
 3264
 3265begin(model(595)).
 3266bought(fish).
 3267shops(mary).
 3268end(model(595)).
 3269
 3270begin(model(596)).
 3271bought(spaghetti).
 3272shops(mary).
 3273end(model(596)).
 3274
 3275begin(model(597)).
 3276bought(spaghetti).
 3277shops(mary).
 3278end(model(597)).
 3279
 3280begin(model(598)).
 3281end(model(598)).
 3282
 3283begin(model(599)).
 3284bought(fish).
 3285shops(mary).
 3286end(model(599)).
 3287
 3288begin(model(600)).
 3289bought(fish).
 3290shops(mary).
 3291end(model(600)).
 3292
 3293begin(model(601)).
 3294bought(spaghetti).
 3295shops(mary).
 3296end(model(601)).
 3297
 3298begin(model(602)).
 3299bought(fish).
 3300shops(mary).
 3301end(model(602)).
 3302
 3303begin(model(603)).
 3304bought(fish).
 3305shops(mary).
 3306end(model(603)).
 3307
 3308begin(model(604)).
 3309bought(fish).
 3310shops(mary).
 3311end(model(604)).
 3312
 3313begin(model(605)).
 3314bought(fish).
 3315shops(mary).
 3316end(model(605)).
 3317
 3318begin(model(606)).
 3319end(model(606)).
 3320
 3321begin(model(607)).
 3322bought(spaghetti).
 3323shops(mary).
 3324end(model(607)).
 3325
 3326begin(model(608)).
 3327bought(spaghetti).
 3328shops(mary).
 3329end(model(608)).
 3330
 3331begin(model(609)).
 3332bought(fish).
 3333shops(mary).
 3334end(model(609)).
 3335
 3336begin(model(610)).
 3337bought(spaghetti).
 3338shops(john).
 3339end(model(610)).
 3340
 3341begin(model(611)).
 3342bought(fish).
 3343bought(spaghetti).
 3344shops(mary).
 3345shops(john).
 3346end(model(611)).
 3347
 3348begin(model(612)).
 3349bought(spaghetti).
 3350shops(mary).
 3351end(model(612)).
 3352
 3353begin(model(613)).
 3354bought(spaghetti).
 3355bought(steak).
 3356shops(mary).
 3357shops(john).
 3358end(model(613)).
 3359
 3360begin(model(614)).
 3361bought(fish).
 3362shops(mary).
 3363end(model(614)).
 3364
 3365begin(model(615)).
 3366bought(fish).
 3367shops(mary).
 3368end(model(615)).
 3369
 3370begin(model(616)).
 3371bought(fish).
 3372shops(mary).
 3373end(model(616)).
 3374
 3375begin(model(617)).
 3376bought(spaghetti).
 3377shops(mary).
 3378end(model(617)).
 3379
 3380begin(model(618)).
 3381bought(spaghetti).
 3382bought(steak).
 3383shops(mary).
 3384shops(john).
 3385end(model(618)).
 3386
 3387begin(model(619)).
 3388end(model(619)).
 3389
 3390begin(model(620)).
 3391bought(spaghetti).
 3392bought(steak).
 3393shops(mary).
 3394shops(john).
 3395end(model(620)).
 3396
 3397begin(model(621)).
 3398bought(fish).
 3399shops(mary).
 3400end(model(621)).
 3401
 3402begin(model(622)).
 3403bought(fish).
 3404bought(spaghetti).
 3405shops(mary).
 3406shops(john).
 3407end(model(622)).
 3408
 3409begin(model(623)).
 3410bought(spaghetti).
 3411shops(mary).
 3412end(model(623)).
 3413
 3414begin(model(624)).
 3415bought(fish).
 3416shops(mary).
 3417end(model(624)).
 3418
 3419begin(model(625)).
 3420bought(steak).
 3421shops(john).
 3422end(model(625)).
 3423
 3424begin(model(626)).
 3425bought(fish).
 3426shops(mary).
 3427end(model(626)).
 3428
 3429begin(model(627)).
 3430bought(fish).
 3431shops(mary).
 3432end(model(627)).
 3433
 3434begin(model(628)).
 3435bought(fish).
 3436bought(steak).
 3437shops(mary).
 3438shops(john).
 3439end(model(628)).
 3440
 3441begin(model(629)).
 3442bought(fish).
 3443bought(steak).
 3444shops(mary).
 3445shops(john).
 3446end(model(629)).
 3447
 3448begin(model(630)).
 3449bought(spaghetti).
 3450shops(mary).
 3451end(model(630)).
 3452
 3453begin(model(631)).
 3454bought(fish).
 3455bought(spaghetti).
 3456shops(mary).
 3457shops(john).
 3458end(model(631)).
 3459
 3460begin(model(632)).
 3461bought(spaghetti).
 3462shops(mary).
 3463end(model(632)).
 3464
 3465begin(model(633)).
 3466bought(spaghetti).
 3467shops(mary).
 3468end(model(633)).
 3469
 3470begin(model(634)).
 3471bought(fish).
 3472shops(mary).
 3473end(model(634)).
 3474
 3475begin(model(635)).
 3476bought(fish).
 3477shops(mary).
 3478end(model(635)).
 3479
 3480begin(model(636)).
 3481end(model(636)).
 3482
 3483begin(model(637)).
 3484bought(fish).
 3485shops(mary).
 3486end(model(637)).
 3487
 3488begin(model(638)).
 3489bought(fish).
 3490shops(mary).
 3491end(model(638)).
 3492
 3493begin(model(639)).
 3494bought(spaghetti).
 3495shops(mary).
 3496end(model(639)).
 3497
 3498begin(model(640)).
 3499end(model(640)).
 3500
 3501begin(model(641)).
 3502bought(fish).
 3503shops(mary).
 3504end(model(641)).
 3505
 3506begin(model(642)).
 3507bought(fish).
 3508shops(mary).
 3509end(model(642)).
 3510
 3511begin(model(643)).
 3512bought(fish).
 3513shops(mary).
 3514end(model(643)).
 3515
 3516begin(model(644)).
 3517bought(spaghetti).
 3518shops(mary).
 3519end(model(644)).
 3520
 3521begin(model(645)).
 3522bought(spaghetti).
 3523shops(mary).
 3524end(model(645)).
 3525
 3526begin(model(646)).
 3527bought(spaghetti).
 3528shops(mary).
 3529end(model(646)).
 3530
 3531begin(model(647)).
 3532bought(fish).
 3533shops(mary).
 3534end(model(647)).
 3535
 3536begin(model(648)).
 3537bought(fish).
 3538shops(mary).
 3539end(model(648)).
 3540
 3541begin(model(649)).
 3542bought(fish).
 3543shops(mary).
 3544end(model(649)).
 3545
 3546begin(model(650)).
 3547bought(fish).
 3548shops(mary).
 3549end(model(650)).
 3550
 3551begin(model(651)).
 3552bought(fish).
 3553shops(mary).
 3554end(model(651)).
 3555
 3556begin(model(652)).
 3557bought(fish).
 3558shops(mary).
 3559end(model(652)).
 3560
 3561begin(model(653)).
 3562bought(fish).
 3563shops(mary).
 3564end(model(653)).
 3565
 3566begin(model(654)).
 3567bought(fish).
 3568shops(mary).
 3569end(model(654)).
 3570
 3571begin(model(655)).
 3572bought(spaghetti).
 3573shops(john).
 3574end(model(655)).
 3575
 3576begin(model(656)).
 3577bought(fish).
 3578bought(steak).
 3579shops(mary).
 3580shops(john).
 3581end(model(656)).
 3582
 3583begin(model(657)).
 3584bought(fish).
 3585shops(mary).
 3586end(model(657)).
 3587
 3588begin(model(658)).
 3589bought(fish).
 3590shops(mary).
 3591end(model(658)).
 3592
 3593begin(model(659)).
 3594bought(spaghetti).
 3595shops(mary).
 3596end(model(659)).
 3597
 3598begin(model(660)).
 3599bought(fish).
 3600bought(spaghetti).
 3601shops(mary).
 3602shops(john).
 3603end(model(660)).
 3604
 3605begin(model(661)).
 3606bought(fish).
 3607shops(mary).
 3608end(model(661)).
 3609
 3610begin(model(662)).
 3611bought(fish).
 3612shops(mary).
 3613end(model(662)).
 3614
 3615begin(model(663)).
 3616bought(spaghetti).
 3617shops(mary).
 3618end(model(663)).
 3619
 3620begin(model(664)).
 3621bought(fish).
 3622bought(spaghetti).
 3623shops(mary).
 3624shops(john).
 3625end(model(664)).
 3626
 3627begin(model(665)).
 3628bought(fish).
 3629shops(mary).
 3630end(model(665)).
 3631
 3632begin(model(666)).
 3633bought(spaghetti).
 3634shops(mary).
 3635end(model(666)).
 3636
 3637begin(model(667)).
 3638bought(spaghetti).
 3639shops(mary).
 3640end(model(667)).
 3641
 3642begin(model(668)).
 3643bought(fish).
 3644shops(mary).
 3645end(model(668)).
 3646
 3647begin(model(669)).
 3648bought(spaghetti).
 3649shops(mary).
 3650end(model(669)).
 3651
 3652begin(model(670)).
 3653bought(fish).
 3654shops(mary).
 3655end(model(670)).
 3656
 3657begin(model(671)).
 3658bought(fish).
 3659shops(mary).
 3660end(model(671)).
 3661
 3662begin(model(672)).
 3663bought(fish).
 3664shops(mary).
 3665end(model(672)).
 3666
 3667begin(model(673)).
 3668bought(fish).
 3669shops(mary).
 3670end(model(673)).
 3671
 3672begin(model(674)).
 3673bought(fish).
 3674shops(mary).
 3675end(model(674)).
 3676
 3677begin(model(675)).
 3678bought(spaghetti).
 3679shops(mary).
 3680end(model(675)).
 3681
 3682begin(model(676)).
 3683bought(spaghetti).
 3684bought(steak).
 3685shops(mary).
 3686shops(john).
 3687end(model(676)).
 3688
 3689begin(model(677)).
 3690bought(spaghetti).
 3691shops(mary).
 3692end(model(677)).
 3693
 3694begin(model(678)).
 3695bought(fish).
 3696shops(mary).
 3697end(model(678)).
 3698
 3699begin(model(679)).
 3700bought(fish).
 3701shops(mary).
 3702end(model(679)).
 3703
 3704begin(model(680)).
 3705bought(spaghetti).
 3706shops(mary).
 3707end(model(680)).
 3708
 3709begin(model(681)).
 3710bought(fish).
 3711shops(mary).
 3712end(model(681)).
 3713
 3714begin(model(682)).
 3715bought(fish).
 3716shops(mary).
 3717end(model(682)).
 3718
 3719begin(model(683)).
 3720bought(fish).
 3721shops(mary).
 3722end(model(683)).
 3723
 3724begin(model(684)).
 3725bought(fish).
 3726shops(mary).
 3727end(model(684)).
 3728
 3729begin(model(685)).
 3730bought(fish).
 3731bought(spaghetti).
 3732shops(mary).
 3733shops(john).
 3734end(model(685)).
 3735
 3736begin(model(686)).
 3737bought(fish).
 3738bought(steak).
 3739shops(mary).
 3740shops(john).
 3741end(model(686)).
 3742
 3743begin(model(687)).
 3744bought(fish).
 3745shops(mary).
 3746end(model(687)).
 3747
 3748begin(model(688)).
 3749bought(fish).
 3750shops(mary).
 3751end(model(688)).
 3752
 3753begin(model(689)).
 3754bought(fish).
 3755shops(mary).
 3756end(model(689)).
 3757
 3758begin(model(690)).
 3759bought(fish).
 3760bought(spaghetti).
 3761shops(mary).
 3762shops(john).
 3763end(model(690)).
 3764
 3765begin(model(691)).
 3766bought(fish).
 3767shops(mary).
 3768end(model(691)).
 3769
 3770begin(model(692)).
 3771bought(fish).
 3772shops(mary).
 3773end(model(692)).
 3774
 3775begin(model(693)).
 3776bought(spaghetti).
 3777shops(mary).
 3778end(model(693)).
 3779
 3780begin(model(694)).
 3781bought(spaghetti).
 3782shops(mary).
 3783end(model(694)).
 3784
 3785begin(model(695)).
 3786bought(fish).
 3787bought(steak).
 3788shops(mary).
 3789shops(john).
 3790end(model(695)).
 3791
 3792begin(model(696)).
 3793bought(fish).
 3794shops(mary).
 3795end(model(696)).
 3796
 3797begin(model(697)).
 3798bought(spaghetti).
 3799shops(mary).
 3800end(model(697)).
 3801
 3802begin(model(698)).
 3803bought(fish).
 3804bought(steak).
 3805shops(mary).
 3806shops(john).
 3807end(model(698)).
 3808
 3809begin(model(699)).
 3810bought(fish).
 3811bought(spaghetti).
 3812shops(mary).
 3813shops(john).
 3814end(model(699)).
 3815
 3816begin(model(700)).
 3817bought(fish).
 3818shops(mary).
 3819end(model(700)).
 3820
 3821begin(model(701)).
 3822bought(fish).
 3823shops(mary).
 3824end(model(701)).
 3825
 3826begin(model(702)).
 3827bought(fish).
 3828shops(mary).
 3829end(model(702)).
 3830
 3831begin(model(703)).
 3832bought(fish).
 3833bought(spaghetti).
 3834shops(mary).
 3835shops(john).
 3836end(model(703)).
 3837
 3838begin(model(704)).
 3839bought(fish).
 3840shops(mary).
 3841end(model(704)).
 3842
 3843begin(model(705)).
 3844bought(spaghetti).
 3845shops(mary).
 3846end(model(705)).
 3847
 3848begin(model(706)).
 3849bought(spaghetti).
 3850shops(mary).
 3851end(model(706)).
 3852
 3853begin(model(707)).
 3854bought(fish).
 3855shops(mary).
 3856end(model(707)).
 3857
 3858begin(model(708)).
 3859bought(spaghetti).
 3860shops(mary).
 3861end(model(708)).
 3862
 3863begin(model(709)).
 3864bought(fish).
 3865shops(mary).
 3866end(model(709)).
 3867
 3868begin(model(710)).
 3869bought(fish).
 3870shops(mary).
 3871end(model(710)).
 3872
 3873begin(model(711)).
 3874end(model(711)).
 3875
 3876begin(model(712)).
 3877bought(fish).
 3878shops(mary).
 3879end(model(712)).
 3880
 3881begin(model(713)).
 3882bought(fish).
 3883bought(spaghetti).
 3884shops(mary).
 3885shops(john).
 3886end(model(713)).
 3887
 3888begin(model(714)).
 3889bought(fish).
 3890shops(mary).
 3891end(model(714)).
 3892
 3893begin(model(715)).
 3894bought(spaghetti).
 3895shops(mary).
 3896end(model(715)).
 3897
 3898begin(model(716)).
 3899bought(fish).
 3900shops(mary).
 3901end(model(716)).
 3902
 3903begin(model(717)).
 3904bought(spaghetti).
 3905shops(john).
 3906end(model(717)).
 3907
 3908begin(model(718)).
 3909bought(fish).
 3910shops(mary).
 3911end(model(718)).
 3912
 3913begin(model(719)).
 3914bought(fish).
 3915shops(mary).
 3916end(model(719)).
 3917
 3918begin(model(720)).
 3919bought(fish).
 3920shops(mary).
 3921end(model(720)).
 3922
 3923begin(model(721)).
 3924bought(fish).
 3925shops(mary).
 3926end(model(721)).
 3927
 3928begin(model(722)).
 3929bought(spaghetti).
 3930shops(mary).
 3931end(model(722)).
 3932
 3933begin(model(723)).
 3934bought(fish).
 3935shops(mary).
 3936end(model(723)).
 3937
 3938begin(model(724)).
 3939bought(spaghetti).
 3940shops(mary).
 3941end(model(724)).
 3942
 3943begin(model(725)).
 3944bought(fish).
 3945shops(mary).
 3946end(model(725)).
 3947
 3948begin(model(726)).
 3949bought(fish).
 3950shops(mary).
 3951end(model(726)).
 3952
 3953begin(model(727)).
 3954bought(spaghetti).
 3955shops(mary).
 3956end(model(727)).
 3957
 3958begin(model(728)).
 3959bought(fish).
 3960shops(mary).
 3961end(model(728)).
 3962
 3963begin(model(729)).
 3964bought(fish).
 3965bought(steak).
 3966shops(mary).
 3967shops(john).
 3968end(model(729)).
 3969
 3970begin(model(730)).
 3971bought(spaghetti).
 3972shops(mary).
 3973end(model(730)).
 3974
 3975begin(model(731)).
 3976bought(spaghetti).
 3977shops(mary).
 3978end(model(731)).
 3979
 3980begin(model(732)).
 3981bought(fish).
 3982shops(mary).
 3983end(model(732)).
 3984
 3985begin(model(733)).
 3986bought(fish).
 3987shops(mary).
 3988end(model(733)).
 3989
 3990begin(model(734)).
 3991bought(fish).
 3992shops(mary).
 3993end(model(734)).
 3994
 3995begin(model(735)).
 3996bought(spaghetti).
 3997shops(mary).
 3998end(model(735)).
 3999
 4000begin(model(736)).
 4001bought(fish).
 4002shops(mary).
 4003end(model(736)).
 4004
 4005begin(model(737)).
 4006bought(fish).
 4007shops(mary).
 4008end(model(737)).
 4009
 4010begin(model(738)).
 4011bought(spaghetti).
 4012shops(mary).
 4013end(model(738)).
 4014
 4015begin(model(739)).
 4016bought(spaghetti).
 4017shops(mary).
 4018end(model(739)).
 4019
 4020begin(model(740)).
 4021bought(fish).
 4022shops(mary).
 4023end(model(740)).
 4024
 4025begin(model(741)).
 4026bought(fish).
 4027bought(spaghetti).
 4028shops(mary).
 4029shops(john).
 4030end(model(741)).
 4031
 4032begin(model(742)).
 4033bought(fish).
 4034shops(mary).
 4035end(model(742)).
 4036
 4037begin(model(743)).
 4038bought(fish).
 4039bought(steak).
 4040shops(mary).
 4041shops(john).
 4042end(model(743)).
 4043
 4044begin(model(744)).
 4045bought(fish).
 4046bought(spaghetti).
 4047shops(mary).
 4048shops(john).
 4049end(model(744)).
 4050
 4051begin(model(745)).
 4052bought(spaghetti).
 4053shops(mary).
 4054end(model(745)).
 4055
 4056begin(model(746)).
 4057bought(spaghetti).
 4058shops(mary).
 4059end(model(746)).
 4060
 4061begin(model(747)).
 4062bought(fish).
 4063shops(mary).
 4064end(model(747)).
 4065
 4066begin(model(748)).
 4067bought(spaghetti).
 4068shops(mary).
 4069end(model(748)).
 4070
 4071begin(model(749)).
 4072bought(fish).
 4073shops(mary).
 4074end(model(749)).
 4075
 4076begin(model(750)).
 4077bought(fish).
 4078bought(spaghetti).
 4079shops(mary).
 4080shops(john).
 4081end(model(750)).
 4082
 4083begin(model(751)).
 4084bought(spaghetti).
 4085shops(mary).
 4086end(model(751)).
 4087
 4088begin(model(752)).
 4089bought(spaghetti).
 4090shops(mary).
 4091end(model(752)).
 4092
 4093begin(model(753)).
 4094bought(fish).
 4095shops(mary).
 4096end(model(753)).
 4097
 4098begin(model(754)).
 4099bought(fish).
 4100shops(mary).
 4101end(model(754)).
 4102
 4103begin(model(755)).
 4104bought(fish).
 4105shops(mary).
 4106end(model(755)).
 4107
 4108begin(model(756)).
 4109bought(fish).
 4110shops(mary).
 4111end(model(756)).
 4112
 4113begin(model(757)).
 4114bought(fish).
 4115bought(spaghetti).
 4116shops(mary).
 4117shops(john).
 4118end(model(757)).
 4119
 4120begin(model(758)).
 4121bought(fish).
 4122shops(mary).
 4123end(model(758)).
 4124
 4125begin(model(759)).
 4126bought(fish).
 4127shops(mary).
 4128end(model(759)).
 4129
 4130begin(model(760)).
 4131bought(fish).
 4132shops(mary).
 4133end(model(760)).
 4134
 4135begin(model(761)).
 4136bought(fish).
 4137bought(steak).
 4138shops(mary).
 4139shops(john).
 4140end(model(761)).
 4141
 4142begin(model(762)).
 4143bought(spaghetti).
 4144shops(mary).
 4145end(model(762)).
 4146
 4147begin(model(763)).
 4148bought(fish).
 4149shops(mary).
 4150end(model(763)).
 4151
 4152begin(model(764)).
 4153bought(fish).
 4154shops(mary).
 4155end(model(764)).
 4156
 4157begin(model(765)).
 4158bought(fish).
 4159shops(mary).
 4160end(model(765)).
 4161
 4162begin(model(766)).
 4163bought(fish).
 4164shops(mary).
 4165end(model(766)).
 4166
 4167begin(model(767)).
 4168bought(fish).
 4169shops(mary).
 4170end(model(767)).
 4171
 4172begin(model(768)).
 4173bought(spaghetti).
 4174shops(mary).
 4175end(model(768)).
 4176
 4177begin(model(769)).
 4178bought(fish).
 4179shops(mary).
 4180end(model(769)).
 4181
 4182begin(model(770)).
 4183bought(spaghetti).
 4184shops(mary).
 4185end(model(770)).
 4186
 4187begin(model(771)).
 4188bought(fish).
 4189shops(mary).
 4190end(model(771)).
 4191
 4192begin(model(772)).
 4193bought(fish).
 4194shops(mary).
 4195end(model(772)).
 4196
 4197begin(model(773)).
 4198bought(spaghetti).
 4199shops(mary).
 4200end(model(773)).
 4201
 4202begin(model(774)).
 4203bought(fish).
 4204shops(mary).
 4205end(model(774)).
 4206
 4207begin(model(775)).
 4208bought(fish).
 4209shops(mary).
 4210end(model(775)).
 4211
 4212begin(model(776)).
 4213bought(spaghetti).
 4214shops(mary).
 4215end(model(776)).
 4216
 4217begin(model(777)).
 4218bought(spaghetti).
 4219shops(mary).
 4220end(model(777)).
 4221
 4222begin(model(778)).
 4223bought(fish).
 4224bought(steak).
 4225shops(mary).
 4226shops(john).
 4227end(model(778)).
 4228
 4229begin(model(779)).
 4230bought(spaghetti).
 4231shops(john).
 4232end(model(779)).
 4233
 4234begin(model(780)).
 4235bought(fish).
 4236shops(mary).
 4237end(model(780)).
 4238
 4239begin(model(781)).
 4240bought(spaghetti).
 4241shops(mary).
 4242end(model(781)).
 4243
 4244begin(model(782)).
 4245bought(fish).
 4246shops(mary).
 4247end(model(782)).
 4248
 4249begin(model(783)).
 4250bought(fish).
 4251shops(mary).
 4252end(model(783)).
 4253
 4254begin(model(784)).
 4255bought(fish).
 4256shops(mary).
 4257end(model(784)).
 4258
 4259begin(model(785)).
 4260bought(spaghetti).
 4261shops(mary).
 4262end(model(785)).
 4263
 4264begin(model(786)).
 4265bought(spaghetti).
 4266bought(steak).
 4267shops(mary).
 4268shops(john).
 4269end(model(786)).
 4270
 4271begin(model(787)).
 4272bought(fish).
 4273shops(mary).
 4274end(model(787)).
 4275
 4276begin(model(788)).
 4277bought(spaghetti).
 4278shops(mary).
 4279end(model(788)).
 4280
 4281begin(model(789)).
 4282end(model(789)).
 4283
 4284begin(model(790)).
 4285bought(fish).
 4286shops(mary).
 4287end(model(790)).
 4288
 4289begin(model(791)).
 4290bought(fish).
 4291shops(mary).
 4292end(model(791)).
 4293
 4294begin(model(792)).
 4295bought(fish).
 4296shops(mary).
 4297end(model(792)).
 4298
 4299begin(model(793)).
 4300bought(fish).
 4301bought(spaghetti).
 4302shops(mary).
 4303shops(john).
 4304end(model(793)).
 4305
 4306begin(model(794)).
 4307bought(spaghetti).
 4308shops(mary).
 4309end(model(794)).
 4310
 4311begin(model(795)).
 4312bought(fish).
 4313shops(mary).
 4314end(model(795)).
 4315
 4316begin(model(796)).
 4317bought(fish).
 4318shops(mary).
 4319end(model(796)).
 4320
 4321begin(model(797)).
 4322bought(fish).
 4323shops(mary).
 4324end(model(797)).
 4325
 4326begin(model(798)).
 4327bought(spaghetti).
 4328shops(mary).
 4329end(model(798)).
 4330
 4331begin(model(799)).
 4332bought(fish).
 4333shops(mary).
 4334end(model(799)).
 4335
 4336begin(model(800)).
 4337bought(fish).
 4338shops(mary).
 4339end(model(800)).
 4340
 4341begin(model(801)).
 4342bought(fish).
 4343bought(steak).
 4344shops(mary).
 4345shops(john).
 4346end(model(801)).
 4347
 4348begin(model(802)).
 4349bought(spaghetti).
 4350shops(mary).
 4351end(model(802)).
 4352
 4353begin(model(803)).
 4354bought(fish).
 4355shops(mary).
 4356end(model(803)).
 4357
 4358begin(model(804)).
 4359bought(spaghetti).
 4360shops(mary).
 4361end(model(804)).
 4362
 4363begin(model(805)).
 4364bought(spaghetti).
 4365shops(mary).
 4366end(model(805)).
 4367
 4368begin(model(806)).
 4369bought(fish).
 4370bought(spaghetti).
 4371shops(mary).
 4372shops(john).
 4373end(model(806)).
 4374
 4375begin(model(807)).
 4376bought(fish).
 4377bought(spaghetti).
 4378shops(mary).
 4379shops(john).
 4380end(model(807)).
 4381
 4382begin(model(808)).
 4383bought(fish).
 4384shops(mary).
 4385end(model(808)).
 4386
 4387begin(model(809)).
 4388bought(fish).
 4389shops(mary).
 4390end(model(809)).
 4391
 4392begin(model(810)).
 4393bought(fish).
 4394shops(mary).
 4395end(model(810)).
 4396
 4397begin(model(811)).
 4398bought(fish).
 4399shops(mary).
 4400end(model(811)).
 4401
 4402begin(model(812)).
 4403bought(fish).
 4404shops(mary).
 4405end(model(812)).
 4406
 4407begin(model(813)).
 4408bought(fish).
 4409bought(steak).
 4410shops(mary).
 4411shops(john).
 4412end(model(813)).
 4413
 4414begin(model(814)).
 4415bought(fish).
 4416shops(mary).
 4417end(model(814)).
 4418
 4419begin(model(815)).
 4420bought(fish).
 4421bought(spaghetti).
 4422shops(mary).
 4423shops(john).
 4424end(model(815)).
 4425
 4426begin(model(816)).
 4427bought(fish).
 4428bought(steak).
 4429shops(mary).
 4430shops(john).
 4431end(model(816)).
 4432
 4433begin(model(817)).
 4434bought(fish).
 4435shops(mary).
 4436end(model(817)).
 4437
 4438begin(model(818)).
 4439bought(spaghetti).
 4440shops(mary).
 4441end(model(818)).
 4442
 4443begin(model(819)).
 4444bought(spaghetti).
 4445shops(mary).
 4446end(model(819)).
 4447
 4448begin(model(820)).
 4449bought(fish).
 4450shops(mary).
 4451end(model(820)).
 4452
 4453begin(model(821)).
 4454bought(spaghetti).
 4455shops(john).
 4456end(model(821)).
 4457
 4458begin(model(822)).
 4459bought(fish).
 4460shops(mary).
 4461end(model(822)).
 4462
 4463begin(model(823)).
 4464bought(fish).
 4465shops(mary).
 4466end(model(823)).
 4467
 4468begin(model(824)).
 4469bought(fish).
 4470shops(mary).
 4471end(model(824)).
 4472
 4473begin(model(825)).
 4474bought(fish).
 4475shops(mary).
 4476end(model(825)).
 4477
 4478begin(model(826)).
 4479bought(fish).
 4480shops(mary).
 4481end(model(826)).
 4482
 4483begin(model(827)).
 4484bought(fish).
 4485shops(mary).
 4486end(model(827)).
 4487
 4488begin(model(828)).
 4489bought(fish).
 4490bought(steak).
 4491shops(mary).
 4492shops(john).
 4493end(model(828)).
 4494
 4495begin(model(829)).
 4496bought(fish).
 4497shops(mary).
 4498end(model(829)).
 4499
 4500begin(model(830)).
 4501bought(fish).
 4502shops(mary).
 4503end(model(830)).
 4504
 4505begin(model(831)).
 4506bought(spaghetti).
 4507bought(steak).
 4508shops(mary).
 4509shops(john).
 4510end(model(831)).
 4511
 4512begin(model(832)).
 4513bought(spaghetti).
 4514shops(mary).
 4515end(model(832)).
 4516
 4517begin(model(833)).
 4518bought(fish).
 4519shops(mary).
 4520end(model(833)).
 4521
 4522begin(model(834)).
 4523bought(fish).
 4524bought(steak).
 4525shops(mary).
 4526shops(john).
 4527end(model(834)).
 4528
 4529begin(model(835)).
 4530bought(fish).
 4531shops(mary).
 4532end(model(835)).
 4533
 4534begin(model(836)).
 4535bought(fish).
 4536shops(mary).
 4537end(model(836)).
 4538
 4539begin(model(837)).
 4540bought(spaghetti).
 4541shops(mary).
 4542end(model(837)).
 4543
 4544begin(model(838)).
 4545bought(fish).
 4546shops(mary).
 4547end(model(838)).
 4548
 4549begin(model(839)).
 4550bought(fish).
 4551shops(mary).
 4552end(model(839)).
 4553
 4554begin(model(840)).
 4555bought(fish).
 4556shops(mary).
 4557end(model(840)).
 4558
 4559begin(model(841)).
 4560bought(fish).
 4561shops(mary).
 4562end(model(841)).
 4563
 4564begin(model(842)).
 4565bought(fish).
 4566shops(mary).
 4567end(model(842)).
 4568
 4569begin(model(843)).
 4570bought(fish).
 4571shops(mary).
 4572end(model(843)).
 4573
 4574begin(model(844)).
 4575bought(fish).
 4576shops(mary).
 4577end(model(844)).
 4578
 4579begin(model(845)).
 4580bought(fish).
 4581shops(mary).
 4582end(model(845)).
 4583
 4584begin(model(846)).
 4585bought(fish).
 4586shops(mary).
 4587end(model(846)).
 4588
 4589begin(model(847)).
 4590bought(spaghetti).
 4591shops(mary).
 4592end(model(847)).
 4593
 4594begin(model(848)).
 4595bought(spaghetti).
 4596shops(mary).
 4597end(model(848)).
 4598
 4599begin(model(849)).
 4600bought(fish).
 4601shops(mary).
 4602end(model(849)).
 4603
 4604begin(model(850)).
 4605bought(spaghetti).
 4606shops(mary).
 4607end(model(850)).
 4608
 4609begin(model(851)).
 4610bought(fish).
 4611shops(mary).
 4612end(model(851)).
 4613
 4614begin(model(852)).
 4615bought(spaghetti).
 4616bought(steak).
 4617shops(mary).
 4618shops(john).
 4619end(model(852)).
 4620
 4621begin(model(853)).
 4622bought(fish).
 4623shops(mary).
 4624end(model(853)).
 4625
 4626begin(model(854)).
 4627bought(spaghetti).
 4628shops(mary).
 4629end(model(854)).
 4630
 4631begin(model(855)).
 4632bought(fish).
 4633shops(mary).
 4634end(model(855)).
 4635
 4636begin(model(856)).
 4637bought(fish).
 4638shops(mary).
 4639end(model(856)).
 4640
 4641begin(model(857)).
 4642bought(fish).
 4643bought(steak).
 4644shops(mary).
 4645shops(john).
 4646end(model(857)).
 4647
 4648begin(model(858)).
 4649bought(fish).
 4650shops(mary).
 4651end(model(858)).
 4652
 4653begin(model(859)).
 4654bought(spaghetti).
 4655shops(mary).
 4656end(model(859)).
 4657
 4658begin(model(860)).
 4659bought(spaghetti).
 4660shops(mary).
 4661end(model(860)).
 4662
 4663begin(model(861)).
 4664bought(fish).
 4665shops(mary).
 4666end(model(861)).
 4667
 4668begin(model(862)).
 4669bought(fish).
 4670bought(spaghetti).
 4671shops(mary).
 4672shops(john).
 4673end(model(862)).
 4674
 4675begin(model(863)).
 4676bought(fish).
 4677shops(mary).
 4678end(model(863)).
 4679
 4680begin(model(864)).
 4681bought(fish).
 4682bought(spaghetti).
 4683shops(mary).
 4684shops(john).
 4685end(model(864)).
 4686
 4687begin(model(865)).
 4688bought(fish).
 4689bought(steak).
 4690shops(mary).
 4691shops(john).
 4692end(model(865)).
 4693
 4694begin(model(866)).
 4695bought(spaghetti).
 4696shops(mary).
 4697end(model(866)).
 4698
 4699begin(model(867)).
 4700bought(fish).
 4701shops(mary).
 4702end(model(867)).
 4703
 4704begin(model(868)).
 4705bought(fish).
 4706shops(mary).
 4707end(model(868)).
 4708
 4709begin(model(869)).
 4710bought(fish).
 4711bought(spaghetti).
 4712shops(mary).
 4713shops(john).
 4714end(model(869)).
 4715
 4716begin(model(870)).
 4717bought(fish).
 4718shops(mary).
 4719end(model(870)).
 4720
 4721begin(model(871)).
 4722bought(spaghetti).
 4723shops(mary).
 4724end(model(871)).
 4725
 4726begin(model(872)).
 4727bought(fish).
 4728shops(mary).
 4729end(model(872)).
 4730
 4731begin(model(873)).
 4732bought(spaghetti).
 4733shops(mary).
 4734end(model(873)).
 4735
 4736begin(model(874)).
 4737bought(spaghetti).
 4738shops(mary).
 4739end(model(874)).
 4740
 4741begin(model(875)).
 4742bought(spaghetti).
 4743shops(mary).
 4744end(model(875)).
 4745
 4746begin(model(876)).
 4747bought(fish).
 4748shops(mary).
 4749end(model(876)).
 4750
 4751begin(model(877)).
 4752bought(steak).
 4753shops(john).
 4754end(model(877)).
 4755
 4756begin(model(878)).
 4757bought(steak).
 4758shops(john).
 4759end(model(878)).
 4760
 4761begin(model(879)).
 4762bought(fish).
 4763shops(mary).
 4764end(model(879)).
 4765
 4766begin(model(880)).
 4767bought(spaghetti).
 4768shops(mary).
 4769end(model(880)).
 4770
 4771begin(model(881)).
 4772bought(spaghetti).
 4773shops(john).
 4774end(model(881)).
 4775
 4776begin(model(882)).
 4777bought(fish).
 4778shops(mary).
 4779end(model(882)).
 4780
 4781begin(model(883)).
 4782bought(spaghetti).
 4783bought(steak).
 4784shops(mary).
 4785shops(john).
 4786end(model(883)).
 4787
 4788begin(model(884)).
 4789bought(fish).
 4790shops(mary).
 4791end(model(884)).
 4792
 4793begin(model(885)).
 4794bought(fish).
 4795shops(mary).
 4796end(model(885)).
 4797
 4798begin(model(886)).
 4799bought(fish).
 4800shops(mary).
 4801end(model(886)).
 4802
 4803begin(model(887)).
 4804bought(fish).
 4805shops(mary).
 4806end(model(887)).
 4807
 4808begin(model(888)).
 4809bought(spaghetti).
 4810shops(mary).
 4811end(model(888)).
 4812
 4813begin(model(889)).
 4814bought(fish).
 4815shops(mary).
 4816end(model(889)).
 4817
 4818begin(model(890)).
 4819bought(fish).
 4820shops(mary).
 4821end(model(890)).
 4822
 4823begin(model(891)).
 4824bought(fish).
 4825bought(steak).
 4826shops(mary).
 4827shops(john).
 4828end(model(891)).
 4829
 4830begin(model(892)).
 4831bought(spaghetti).
 4832shops(mary).
 4833end(model(892)).
 4834
 4835begin(model(893)).
 4836bought(fish).
 4837shops(mary).
 4838end(model(893)).
 4839
 4840begin(model(894)).
 4841bought(fish).
 4842shops(mary).
 4843end(model(894)).
 4844
 4845begin(model(895)).
 4846bought(fish).
 4847bought(spaghetti).
 4848shops(mary).
 4849shops(john).
 4850end(model(895)).
 4851
 4852begin(model(896)).
 4853bought(spaghetti).
 4854shops(mary).
 4855end(model(896)).
 4856
 4857begin(model(897)).
 4858bought(fish).
 4859bought(spaghetti).
 4860shops(mary).
 4861shops(john).
 4862end(model(897)).
 4863
 4864begin(model(898)).
 4865bought(fish).
 4866shops(mary).
 4867end(model(898)).
 4868
 4869begin(model(899)).
 4870bought(fish).
 4871shops(mary).
 4872end(model(899)).
 4873
 4874begin(model(900)).
 4875bought(fish).
 4876shops(mary).
 4877end(model(900)).
 4878
 4879begin(model(901)).
 4880bought(fish).
 4881shops(mary).
 4882end(model(901)).
 4883
 4884begin(model(902)).
 4885bought(fish).
 4886bought(spaghetti).
 4887shops(mary).
 4888shops(john).
 4889end(model(902)).
 4890
 4891begin(model(903)).
 4892bought(steak).
 4893shops(john).
 4894end(model(903)).
 4895
 4896begin(model(904)).
 4897bought(fish).
 4898shops(mary).
 4899end(model(904)).
 4900
 4901begin(model(905)).
 4902bought(fish).
 4903bought(steak).
 4904shops(mary).
 4905shops(john).
 4906end(model(905)).
 4907
 4908begin(model(906)).
 4909bought(spaghetti).
 4910shops(mary).
 4911end(model(906)).
 4912
 4913begin(model(907)).
 4914bought(fish).
 4915bought(spaghetti).
 4916shops(mary).
 4917shops(john).
 4918end(model(907)).
 4919
 4920begin(model(908)).
 4921bought(fish).
 4922shops(mary).
 4923end(model(908)).
 4924
 4925begin(model(909)).
 4926bought(fish).
 4927shops(mary).
 4928end(model(909)).
 4929
 4930begin(model(910)).
 4931bought(fish).
 4932bought(spaghetti).
 4933shops(mary).
 4934shops(john).
 4935end(model(910)).
 4936
 4937begin(model(911)).
 4938bought(fish).
 4939shops(mary).
 4940end(model(911)).
 4941
 4942begin(model(912)).
 4943bought(fish).
 4944shops(mary).
 4945end(model(912)).
 4946
 4947begin(model(913)).
 4948bought(fish).
 4949shops(mary).
 4950end(model(913)).
 4951
 4952begin(model(914)).
 4953bought(fish).
 4954shops(mary).
 4955end(model(914)).
 4956
 4957begin(model(915)).
 4958bought(fish).
 4959shops(mary).
 4960end(model(915)).
 4961
 4962begin(model(916)).
 4963bought(fish).
 4964shops(mary).
 4965end(model(916)).
 4966
 4967begin(model(917)).
 4968bought(spaghetti).
 4969shops(mary).
 4970end(model(917)).
 4971
 4972begin(model(918)).
 4973end(model(918)).
 4974
 4975begin(model(919)).
 4976bought(fish).
 4977shops(mary).
 4978end(model(919)).
 4979
 4980begin(model(920)).
 4981bought(fish).
 4982shops(mary).
 4983end(model(920)).
 4984
 4985begin(model(921)).
 4986bought(fish).
 4987shops(mary).
 4988end(model(921)).
 4989
 4990begin(model(922)).
 4991bought(fish).
 4992shops(mary).
 4993end(model(922)).
 4994
 4995begin(model(923)).
 4996bought(steak).
 4997shops(john).
 4998end(model(923)).
 4999
 5000begin(model(924)).
 5001bought(fish).
 5002shops(mary).
 5003end(model(924)).
 5004
 5005begin(model(925)).
 5006bought(spaghetti).
 5007shops(mary).
 5008end(model(925)).
 5009
 5010begin(model(926)).
 5011bought(fish).
 5012shops(mary).
 5013end(model(926)).
 5014
 5015begin(model(927)).
 5016bought(fish).
 5017shops(mary).
 5018end(model(927)).
 5019
 5020begin(model(928)).
 5021bought(spaghetti).
 5022shops(mary).
 5023end(model(928)).
 5024
 5025begin(model(929)).
 5026bought(fish).
 5027shops(mary).
 5028end(model(929)).
 5029
 5030begin(model(930)).
 5031end(model(930)).
 5032
 5033begin(model(931)).
 5034bought(fish).
 5035bought(spaghetti).
 5036shops(mary).
 5037shops(john).
 5038end(model(931)).
 5039
 5040begin(model(932)).
 5041bought(fish).
 5042shops(mary).
 5043end(model(932)).
 5044
 5045begin(model(933)).
 5046bought(fish).
 5047bought(steak).
 5048shops(mary).
 5049shops(john).
 5050end(model(933)).
 5051
 5052begin(model(934)).
 5053bought(fish).
 5054shops(mary).
 5055end(model(934)).
 5056
 5057begin(model(935)).
 5058bought(fish).
 5059shops(mary).
 5060end(model(935)).
 5061
 5062begin(model(936)).
 5063bought(fish).
 5064shops(mary).
 5065end(model(936)).
 5066
 5067begin(model(937)).
 5068bought(fish).
 5069bought(spaghetti).
 5070shops(mary).
 5071shops(john).
 5072end(model(937)).
 5073
 5074begin(model(938)).
 5075end(model(938)).
 5076
 5077begin(model(939)).
 5078bought(spaghetti).
 5079shops(mary).
 5080end(model(939)).
 5081
 5082begin(model(940)).
 5083bought(fish).
 5084bought(steak).
 5085shops(mary).
 5086shops(john).
 5087end(model(940)).
 5088
 5089begin(model(941)).
 5090bought(fish).
 5091shops(mary).
 5092end(model(941)).
 5093
 5094begin(model(942)).
 5095bought(fish).
 5096shops(mary).
 5097end(model(942)).
 5098
 5099begin(model(943)).
 5100bought(spaghetti).
 5101shops(mary).
 5102end(model(943)).
 5103
 5104begin(model(944)).
 5105bought(spaghetti).
 5106shops(mary).
 5107end(model(944)).
 5108
 5109begin(model(945)).
 5110bought(spaghetti).
 5111shops(mary).
 5112end(model(945)).
 5113
 5114begin(model(946)).
 5115bought(spaghetti).
 5116shops(mary).
 5117end(model(946)).
 5118
 5119begin(model(947)).
 5120bought(fish).
 5121shops(mary).
 5122end(model(947)).
 5123
 5124begin(model(948)).
 5125bought(spaghetti).
 5126shops(mary).
 5127end(model(948)).
 5128
 5129begin(model(949)).
 5130bought(fish).
 5131shops(mary).
 5132end(model(949)).
 5133
 5134begin(model(950)).
 5135bought(spaghetti).
 5136shops(mary).
 5137end(model(950)).
 5138
 5139begin(model(951)).
 5140bought(spaghetti).
 5141shops(mary).
 5142end(model(951)).
 5143
 5144begin(model(952)).
 5145bought(fish).
 5146shops(mary).
 5147end(model(952)).
 5148
 5149begin(model(953)).
 5150bought(fish).
 5151shops(mary).
 5152end(model(953)).
 5153
 5154begin(model(954)).
 5155bought(fish).
 5156shops(mary).
 5157end(model(954)).
 5158
 5159begin(model(955)).
 5160bought(fish).
 5161bought(spaghetti).
 5162shops(mary).
 5163shops(john).
 5164end(model(955)).
 5165
 5166begin(model(956)).
 5167bought(fish).
 5168shops(mary).
 5169end(model(956)).
 5170
 5171begin(model(957)).
 5172bought(fish).
 5173shops(mary).
 5174end(model(957)).
 5175
 5176begin(model(958)).
 5177bought(fish).
 5178bought(spaghetti).
 5179shops(mary).
 5180shops(john).
 5181end(model(958)).
 5182
 5183begin(model(959)).
 5184bought(fish).
 5185shops(mary).
 5186end(model(959)).
 5187
 5188begin(model(960)).
 5189bought(fish).
 5190shops(mary).
 5191end(model(960)).
 5192
 5193begin(model(961)).
 5194bought(fish).
 5195shops(mary).
 5196end(model(961)).
 5197
 5198begin(model(962)).
 5199bought(fish).
 5200bought(steak).
 5201shops(mary).
 5202shops(john).
 5203end(model(962)).
 5204
 5205begin(model(963)).
 5206bought(fish).
 5207shops(mary).
 5208end(model(963)).
 5209
 5210begin(model(964)).
 5211bought(fish).
 5212shops(mary).
 5213end(model(964)).
 5214
 5215begin(model(965)).
 5216bought(fish).
 5217shops(mary).
 5218end(model(965)).
 5219
 5220begin(model(966)).
 5221bought(fish).
 5222shops(mary).
 5223end(model(966)).
 5224
 5225begin(model(967)).
 5226bought(spaghetti).
 5227shops(mary).
 5228end(model(967)).
 5229
 5230begin(model(968)).
 5231bought(fish).
 5232shops(mary).
 5233end(model(968)).
 5234
 5235begin(model(969)).
 5236bought(fish).
 5237shops(mary).
 5238end(model(969)).
 5239
 5240begin(model(970)).
 5241bought(spaghetti).
 5242shops(mary).
 5243end(model(970)).
 5244
 5245begin(model(971)).
 5246bought(spaghetti).
 5247shops(mary).
 5248end(model(971)).
 5249
 5250begin(model(972)).
 5251bought(spaghetti).
 5252shops(mary).
 5253end(model(972)).
 5254
 5255begin(model(973)).
 5256bought(spaghetti).
 5257shops(mary).
 5258end(model(973)).
 5259
 5260begin(model(974)).
 5261bought(fish).
 5262bought(steak).
 5263shops(mary).
 5264shops(john).
 5265end(model(974)).
 5266
 5267begin(model(975)).
 5268bought(fish).
 5269shops(mary).
 5270end(model(975)).
 5271
 5272begin(model(976)).
 5273bought(fish).
 5274shops(mary).
 5275end(model(976)).
 5276
 5277begin(model(977)).
 5278bought(fish).
 5279shops(mary).
 5280end(model(977)).
 5281
 5282begin(model(978)).
 5283end(model(978)).
 5284
 5285begin(model(979)).
 5286bought(fish).
 5287shops(mary).
 5288end(model(979)).
 5289
 5290begin(model(980)).
 5291bought(fish).
 5292shops(mary).
 5293end(model(980)).
 5294
 5295begin(model(981)).
 5296bought(spaghetti).
 5297shops(mary).
 5298end(model(981)).
 5299
 5300begin(model(982)).
 5301bought(fish).
 5302shops(mary).
 5303end(model(982)).
 5304
 5305begin(model(983)).
 5306bought(spaghetti).
 5307bought(steak).
 5308shops(mary).
 5309shops(john).
 5310end(model(983)).
 5311
 5312begin(model(984)).
 5313bought(fish).
 5314bought(steak).
 5315shops(mary).
 5316shops(john).
 5317end(model(984)).
 5318
 5319begin(model(985)).
 5320bought(spaghetti).
 5321shops(mary).
 5322end(model(985)).
 5323
 5324begin(model(986)).
 5325bought(fish).
 5326shops(mary).
 5327end(model(986)).
 5328
 5329begin(model(987)).
 5330bought(fish).
 5331shops(mary).
 5332end(model(987)).
 5333
 5334begin(model(988)).
 5335bought(fish).
 5336bought(spaghetti).
 5337shops(mary).
 5338shops(john).
 5339end(model(988)).
 5340
 5341begin(model(989)).
 5342bought(spaghetti).
 5343shops(john).
 5344end(model(989)).
 5345
 5346begin(model(990)).
 5347bought(fish).
 5348shops(mary).
 5349end(model(990)).
 5350
 5351begin(model(991)).
 5352bought(fish).
 5353shops(mary).
 5354end(model(991)).
 5355
 5356begin(model(992)).
 5357bought(spaghetti).
 5358shops(mary).
 5359end(model(992)).
 5360
 5361begin(model(993)).
 5362bought(fish).
 5363shops(mary).
 5364end(model(993)).
 5365
 5366begin(model(994)).
 5367bought(spaghetti).
 5368shops(mary).
 5369end(model(994)).
 5370
 5371begin(model(995)).
 5372bought(fish).
 5373shops(mary).
 5374end(model(995)).
 5375
 5376begin(model(996)).
 5377bought(fish).
 5378shops(mary).
 5379end(model(996)).
 5380
 5381begin(model(997)).
 5382bought(fish).
 5383shops(mary).
 5384end(model(997)).
 5385
 5386begin(model(998)).
 5387bought(fish).
 5388shops(mary).
 5389end(model(998)).
 5390
 5391begin(model(999)).
 5392bought(fish).
 5393shops(mary).
 5394end(model(999)).
 5395
 5396begin(model(1000)).
 5397bought(fish).
 5398bought(steak).
 5399shops(mary).
 5400shops(john).
 5401end(model(1000))