20:- use_module(library(slipcover)). 21
22:- if(current_predicate(use_rendering/1)). 23:- use_rendering(c3). 24:- use_rendering(lpad). 25:- endif. 26
27:-sc. 28
29:- set_sc(verbosity,1). 30:- set_sc(depth_bound,false). 31:- set_sc(neg_ex,given). 32
33bg([]).
34
35fold(train,L):-
36 findall(A,(between(1,1000,V),atom_concat(train,V,A)),L).
37
38fold(test,L):-
39 findall(V,between(1,10000,V),L).
40
41output(bought/1).
42
43output(shops/1).
44
45
46in([
47(shops(john) : 0.2),
48(shops(mary) : 0.9),
49(bought(spaghetti ) : 0.5; bought(steak) : 0.5 :- shops(john)),
50(bought(spaghetti ) : 0.3; bought(fish) : 0.7:- shops(mary))]).
51
52neg(shops(A,john)):-
53 \+ shops(A,john).
54
55neg(shops(A,mary)):-
56 \+ shops(A,mary).
57
58neg(bought(A,spaghetti)):-
59 \+ shops(A,spaghetti).
60
61neg(bought(A,fish)):-
62 \+ shops(A,fish).
63
64neg(bought(A,steak)):-
65 \+ shops(A,steak).
66
67
68
69
70begin(model(train1)).
71bought(fish).
72shops(mary).
73end(model(train1)).
74
75begin(model(train2)).
76bought(spaghetti).
77shops(mary).
78end(model(train2)).
79
80begin(model(train3)).
81bought(fish).
82shops(mary).
83end(model(train3)).
84
85begin(model(train4)).
86bought(fish).
87shops(mary).
88end(model(train4)).
89
90begin(model(train5)).
91bought(fish).
92shops(mary).
93end(model(train5)).
94
95begin(model(train6)).
96bought(fish).
97shops(mary).
98end(model(train6)).
99
100begin(model(train7)).
101bought(fish).
102shops(mary).
103end(model(train7)).
104
105begin(model(train8)).
106bought(fish).
107shops(mary).
108end(model(train8)).
109
110begin(model(train9)).
111bought(fish).
112bought(steak).
113shops(mary).
114shops(john).
115end(model(train9)).
116
117begin(model(train10)).
118bought(fish).
119shops(mary).
120end(model(train10)).
121
122begin(model(train11)).
123bought(fish).
124shops(mary).
125end(model(train11)).
126
127begin(model(train12)).
128bought(fish).
129shops(mary).
130end(model(train12)).
131
132begin(model(train13)).
133bought(spaghetti).
134shops(mary).
135end(model(train13)).
136
137begin(model(train14)).
138bought(fish).
139shops(mary).
140end(model(train14)).
141
142begin(model(train15)).
143bought(spaghetti).
144shops(john).
145end(model(train15)).
146
147begin(model(train16)).
148end(model(train16)).
149
150begin(model(train17)).
151bought(fish).
152shops(mary).
153end(model(train17)).
154
155begin(model(train18)).
156bought(fish).
157bought(spaghetti).
158shops(mary).
159shops(john).
160end(model(train18)).
161
162begin(model(train19)).
163bought(spaghetti).
164shops(mary).
165end(model(train19)).
166
167begin(model(train20)).
168bought(fish).
169bought(steak).
170shops(mary).
171shops(john).
172end(model(train20)).
173
174begin(model(train21)).
175bought(fish).
176shops(mary).
177end(model(train21)).
178
179begin(model(train22)).
180bought(fish).
181shops(mary).
182end(model(train22)).
183
184begin(model(train23)).
185bought(fish).
186shops(mary).
187end(model(train23)).
188
189begin(model(train24)).
190bought(fish).
191shops(mary).
192end(model(train24)).
193
194begin(model(train25)).
195bought(fish).
196shops(mary).
197end(model(train25)).
198
199begin(model(train26)).
200end(model(train26)).
201
202begin(model(train27)).
203bought(fish).
204shops(mary).
205end(model(train27)).
206
207begin(model(train28)).
208bought(fish).
209shops(mary).
210end(model(train28)).
211
212begin(model(train29)).
213bought(spaghetti).
214shops(mary).
215end(model(train29)).
216
217begin(model(train30)).
218bought(fish).
219shops(mary).
220end(model(train30)).
221
222begin(model(train31)).
223bought(fish).
224shops(mary).
225end(model(train31)).
226
227begin(model(train32)).
228bought(fish).
229shops(mary).
230end(model(train32)).
231
232begin(model(train33)).
233bought(fish).
234shops(mary).
235end(model(train33)).
236
237begin(model(train34)).
238bought(spaghetti).
239shops(mary).
240end(model(train34)).
241
242begin(model(train35)).
243bought(fish).
244bought(spaghetti).
245shops(mary).
246shops(john).
247end(model(train35)).
248
249begin(model(train36)).
250bought(spaghetti).
251shops(mary).
252end(model(train36)).
253
254begin(model(train37)).
255bought(fish).
256shops(mary).
257end(model(train37)).
258
259begin(model(train38)).
260bought(spaghetti).
261shops(mary).
262end(model(train38)).
263
264begin(model(train39)).
265bought(fish).
266shops(mary).
267end(model(train39)).
268
269begin(model(train40)).
270bought(fish).
271shops(mary).
272end(model(train40)).
273
274begin(model(train41)).
275bought(spaghetti).
276shops(mary).
277end(model(train41)).
278
279begin(model(train42)).
280bought(spaghetti).
281shops(mary).
282end(model(train42)).
283
284begin(model(train43)).
285bought(spaghetti).
286shops(mary).
287end(model(train43)).
288
289begin(model(train44)).
290bought(spaghetti).
291shops(john).
292end(model(train44)).
293
294begin(model(train45)).
295bought(fish).
296shops(mary).
297end(model(train45)).
298
299begin(model(train46)).
300end(model(train46)).
301
302begin(model(train47)).
303bought(fish).
304shops(mary).
305end(model(train47)).
306
307begin(model(train48)).
308bought(fish).
309shops(mary).
310end(model(train48)).
311
312begin(model(train49)).
313bought(fish).
314shops(mary).
315end(model(train49)).
316
317begin(model(train50)).
318bought(fish).
319bought(spaghetti).
320shops(mary).
321shops(john).
322end(model(train50)).
323
324begin(model(train51)).
325bought(fish).
326bought(spaghetti).
327shops(mary).
328shops(john).
329end(model(train51)).
330
331begin(model(train52)).
332bought(fish).
333shops(mary).
334end(model(train52)).
335
336begin(model(train53)).
337bought(fish).
338shops(mary).
339end(model(train53)).
340
341begin(model(train54)).
342bought(fish).
343shops(mary).
344end(model(train54)).
345
346begin(model(train55)).
347bought(fish).
348bought(steak).
349shops(mary).
350shops(john).
351end(model(train55)).
352
353begin(model(train56)).
354bought(fish).
355shops(mary).
356end(model(train56)).
357
358begin(model(train57)).
359bought(fish).
360shops(mary).
361end(model(train57)).
362
363begin(model(train58)).
364bought(spaghetti).
365shops(mary).
366end(model(train58)).
367
368begin(model(train59)).
369bought(fish).
370bought(steak).
371shops(mary).
372shops(john).
373end(model(train59)).
374
375begin(model(train60)).
376bought(spaghetti).
377shops(mary).
378end(model(train60)).
379
380begin(model(train61)).
381bought(spaghetti).
382shops(mary).
383end(model(train61)).
384
385begin(model(train62)).
386bought(spaghetti).
387shops(mary).
388end(model(train62)).
389
390begin(model(train63)).
391bought(fish).
392shops(mary).
393end(model(train63)).
394
395begin(model(train64)).
396bought(spaghetti).
397shops(mary).
398end(model(train64)).
399
400begin(model(train65)).
401bought(fish).
402shops(mary).
403end(model(train65)).
404
405begin(model(train66)).
406bought(fish).
407shops(mary).
408end(model(train66)).
409
410begin(model(train67)).
411bought(fish).
412shops(mary).
413end(model(train67)).
414
415begin(model(train68)).
416bought(spaghetti).
417shops(mary).
418end(model(train68)).
419
420begin(model(train69)).
421bought(fish).
422shops(mary).
423end(model(train69)).
424
425begin(model(train70)).
426bought(fish).
427shops(mary).
428end(model(train70)).
429
430begin(model(train71)).
431bought(fish).
432shops(mary).
433end(model(train71)).
434
435begin(model(train72)).
436bought(fish).
437shops(mary).
438end(model(train72)).
439
440begin(model(train73)).
441bought(fish).
442shops(mary).
443end(model(train73)).
444
445begin(model(train74)).
446bought(fish).
447shops(mary).
448end(model(train74)).
449
450begin(model(train75)).
451bought(fish).
452bought(spaghetti).
453shops(mary).
454shops(john).
455end(model(train75)).
456
457begin(model(train76)).
458bought(steak).
459shops(john).
460end(model(train76)).
461
462begin(model(train77)).
463bought(fish).
464shops(mary).
465end(model(train77)).
466
467begin(model(train78)).
468bought(spaghetti).
469shops(mary).
470end(model(train78)).
471
472begin(model(train79)).
473bought(steak).
474shops(john).
475end(model(train79)).
476
477begin(model(train80)).
478bought(fish).
479shops(mary).
480end(model(train80)).
481
482begin(model(train81)).
483bought(spaghetti).
484shops(mary).
485end(model(train81)).
486
487begin(model(train82)).
488bought(fish).
489shops(mary).
490end(model(train82)).
491
492begin(model(train83)).
493bought(spaghetti).
494shops(mary).
495end(model(train83)).
496
497begin(model(train84)).
498bought(fish).
499shops(mary).
500end(model(train84)).
501
502begin(model(train85)).
503bought(fish).
504shops(mary).
505end(model(train85)).
506
507begin(model(train86)).
508bought(fish).
509shops(mary).
510end(model(train86)).
511
512begin(model(train87)).
513bought(spaghetti).
514shops(mary).
515end(model(train87)).
516
517begin(model(train88)).
518bought(spaghetti).
519shops(john).
520end(model(train88)).
521
522begin(model(train89)).
523bought(spaghetti).
524shops(mary).
525end(model(train89)).
526
527begin(model(train90)).
528bought(fish).
529shops(mary).
530end(model(train90)).
531
532begin(model(train91)).
533bought(spaghetti).
534shops(mary).
535end(model(train91)).
536
537begin(model(train92)).
538bought(fish).
539shops(mary).
540end(model(train92)).
541
542begin(model(train93)).
543bought(spaghetti).
544bought(steak).
545shops(mary).
546shops(john).
547end(model(train93)).
548
549begin(model(train94)).
550bought(spaghetti).
551shops(mary).
552end(model(train94)).
553
554begin(model(train95)).
555bought(fish).
556bought(spaghetti).
557shops(mary).
558shops(john).
559end(model(train95)).
560
561begin(model(train96)).
562bought(fish).
563shops(mary).
564end(model(train96)).
565
566begin(model(train97)).
567bought(fish).
568shops(mary).
569end(model(train97)).
570
571begin(model(train98)).
572bought(spaghetti).
573bought(steak).
574shops(mary).
575shops(john).
576end(model(train98)).
577
578begin(model(train99)).
579bought(spaghetti).
580shops(mary).
581end(model(train99)).
582
583begin(model(train100)).
584bought(spaghetti).
585shops(mary).
586end(model(train100)).
587
588begin(model(train101)).
589bought(fish).
590shops(mary).
591end(model(train101)).
592
593begin(model(train102)).
594bought(fish).
595shops(mary).
596end(model(train102)).
597
598begin(model(train103)).
599bought(fish).
600shops(mary).
601end(model(train103)).
602
603begin(model(train104)).
604bought(fish).
605shops(mary).
606end(model(train104)).
607
608begin(model(train105)).
609end(model(train105)).
610
611begin(model(train106)).
612bought(fish).
613shops(mary).
614end(model(train106)).
615
616begin(model(train107)).
617bought(spaghetti).
618shops(mary).
619end(model(train107)).
620
621begin(model(train108)).
622bought(fish).
623shops(mary).
624end(model(train108)).
625
626begin(model(train109)).
627bought(fish).
628shops(mary).
629end(model(train109)).
630
631begin(model(train110)).
632bought(fish).
633shops(mary).
634end(model(train110)).
635
636begin(model(train111)).
637bought(fish).
638shops(mary).
639end(model(train111)).
640
641begin(model(train112)).
642bought(spaghetti).
643bought(steak).
644shops(mary).
645shops(john).
646end(model(train112)).
647
648begin(model(train113)).
649bought(fish).
650bought(spaghetti).
651shops(mary).
652shops(john).
653end(model(train113)).
654
655begin(model(train114)).
656bought(fish).
657shops(mary).
658end(model(train114)).
659
660begin(model(train115)).
661bought(spaghetti).
662shops(mary).
663end(model(train115)).
664
665begin(model(train116)).
666bought(fish).
667shops(mary).
668end(model(train116)).
669
670begin(model(train117)).
671bought(spaghetti).
672shops(mary).
673end(model(train117)).
674
675begin(model(train118)).
676bought(fish).
677shops(mary).
678end(model(train118)).
679
680begin(model(train119)).
681bought(fish).
682bought(spaghetti).
683shops(mary).
684shops(john).
685end(model(train119)).
686
687begin(model(train120)).
688bought(spaghetti).
689bought(steak).
690shops(mary).
691shops(john).
692end(model(train120)).
693
694begin(model(train121)).
695bought(spaghetti).
696bought(steak).
697shops(mary).
698shops(john).
699end(model(train121)).
700
701begin(model(train122)).
702bought(fish).
703shops(mary).
704end(model(train122)).
705
706begin(model(train123)).
707end(model(train123)).
708
709begin(model(train124)).
710bought(fish).
711shops(mary).
712end(model(train124)).
713
714begin(model(train125)).
715bought(fish).
716shops(mary).
717end(model(train125)).
718
719begin(model(train126)).
720bought(spaghetti).
721shops(mary).
722end(model(train126)).
723
724begin(model(train127)).
725bought(fish).
726shops(mary).
727end(model(train127)).
728
729begin(model(train128)).
730bought(fish).
731shops(mary).
732end(model(train128)).
733
734begin(model(train129)).
735bought(fish).
736shops(mary).
737end(model(train129)).
738
739begin(model(train130)).
740bought(fish).
741shops(mary).
742end(model(train130)).
743
744begin(model(train131)).
745bought(fish).
746shops(mary).
747end(model(train131)).
748
749begin(model(train132)).
750bought(fish).
751shops(mary).
752end(model(train132)).
753
754begin(model(train133)).
755bought(fish).
756shops(mary).
757end(model(train133)).
758
759begin(model(train134)).
760bought(fish).
761bought(spaghetti).
762shops(mary).
763shops(john).
764end(model(train134)).
765
766begin(model(train135)).
767bought(fish).
768shops(mary).
769end(model(train135)).
770
771begin(model(train136)).
772bought(fish).
773shops(mary).
774end(model(train136)).
775
776begin(model(train137)).
777bought(fish).
778shops(mary).
779end(model(train137)).
780
781begin(model(train138)).
782bought(fish).
783shops(mary).
784end(model(train138)).
785
786begin(model(train139)).
787bought(fish).
788shops(mary).
789end(model(train139)).
790
791begin(model(train140)).
792bought(fish).
793shops(mary).
794end(model(train140)).
795
796begin(model(train141)).
797end(model(train141)).
798
799begin(model(train142)).
800bought(spaghetti).
801shops(mary).
802end(model(train142)).
803
804begin(model(train143)).
805bought(spaghetti).
806shops(mary).
807end(model(train143)).
808
809begin(model(train144)).
810bought(fish).
811bought(steak).
812shops(mary).
813shops(john).
814end(model(train144)).
815
816begin(model(train145)).
817bought(spaghetti).
818shops(mary).
819end(model(train145)).
820
821begin(model(train146)).
822end(model(train146)).
823
824begin(model(train147)).
825bought(spaghetti).
826shops(mary).
827end(model(train147)).
828
829begin(model(train148)).
830bought(fish).
831shops(mary).
832end(model(train148)).
833
834begin(model(train149)).
835bought(fish).
836bought(steak).
837shops(mary).
838shops(john).
839end(model(train149)).
840
841begin(model(train150)).
842end(model(train150)).
843
844begin(model(train151)).
845bought(steak).
846shops(john).
847end(model(train151)).
848
849begin(model(train152)).
850bought(spaghetti).
851shops(mary).
852end(model(train152)).
853
854begin(model(train153)).
855bought(fish).
856shops(mary).
857end(model(train153)).
858
859begin(model(train154)).
860bought(fish).
861shops(mary).
862end(model(train154)).
863
864begin(model(train155)).
865bought(fish).
866shops(mary).
867end(model(train155)).
868
869begin(model(train156)).
870bought(fish).
871shops(mary).
872end(model(train156)).
873
874begin(model(train157)).
875bought(fish).
876bought(spaghetti).
877shops(mary).
878shops(john).
879end(model(train157)).
880
881begin(model(train158)).
882bought(spaghetti).
883shops(mary).
884end(model(train158)).
885
886begin(model(train159)).
887bought(fish).
888shops(mary).
889end(model(train159)).
890
891begin(model(train160)).
892bought(spaghetti).
893shops(mary).
894end(model(train160)).
895
896begin(model(train161)).
897bought(fish).
898shops(mary).
899end(model(train161)).
900
901begin(model(train162)).
902bought(fish).
903shops(mary).
904end(model(train162)).
905
906begin(model(train163)).
907bought(fish).
908bought(steak).
909shops(mary).
910shops(john).
911end(model(train163)).
912
913begin(model(train164)).
914bought(fish).
915shops(mary).
916end(model(train164)).
917
918begin(model(train165)).
919bought(spaghetti).
920shops(mary).
921end(model(train165)).
922
923begin(model(train166)).
924bought(spaghetti).
925shops(mary).
926end(model(train166)).
927
928begin(model(train167)).
929bought(fish).
930shops(mary).
931end(model(train167)).
932
933begin(model(train168)).
934bought(fish).
935bought(spaghetti).
936shops(mary).
937shops(john).
938end(model(train168)).
939
940begin(model(train169)).
941bought(fish).
942shops(mary).
943end(model(train169)).
944
945begin(model(train170)).
946bought(spaghetti).
947shops(mary).
948end(model(train170)).
949
950begin(model(train171)).
951bought(spaghetti).
952shops(mary).
953end(model(train171)).
954
955begin(model(train172)).
956bought(fish).
957shops(mary).
958end(model(train172)).
959
960begin(model(train173)).
961bought(fish).
962shops(mary).
963end(model(train173)).
964
965begin(model(train174)).
966bought(fish).
967shops(mary).
968end(model(train174)).
969
970begin(model(train175)).
971bought(fish).
972shops(mary).
973end(model(train175)).
974
975begin(model(train176)).
976bought(fish).
977bought(spaghetti).
978shops(mary).
979shops(john).
980end(model(train176)).
981
982begin(model(train177)).
983bought(fish).
984shops(mary).
985end(model(train177)).
986
987begin(model(train178)).
988bought(spaghetti).
989shops(mary).
990end(model(train178)).
991
992begin(model(train179)).
993bought(fish).
994shops(mary).
995end(model(train179)).
996
997begin(model(train180)).
998bought(fish).
999shops(mary).
1000end(model(train180)).
1001
1002begin(model(train181)).
1003bought(fish).
1004shops(mary).
1005end(model(train181)).
1006
1007begin(model(train182)).
1008bought(fish).
1009shops(mary).
1010end(model(train182)).
1011
1012begin(model(train183)).
1013bought(fish).
1014shops(mary).
1015end(model(train183)).
1016
1017begin(model(train184)).
1018bought(spaghetti).
1019shops(mary).
1020end(model(train184)).
1021
1022begin(model(train185)).
1023bought(fish).
1024shops(mary).
1025end(model(train185)).
1026
1027begin(model(train186)).
1028bought(spaghetti).
1029shops(mary).
1030end(model(train186)).
1031
1032begin(model(train187)).
1033bought(fish).
1034shops(mary).
1035end(model(train187)).
1036
1037begin(model(train188)).
1038bought(spaghetti).
1039shops(mary).
1040end(model(train188)).
1041
1042begin(model(train189)).
1043bought(spaghetti).
1044shops(mary).
1045end(model(train189)).
1046
1047begin(model(train190)).
1048bought(spaghetti).
1049shops(mary).
1050end(model(train190)).
1051
1052begin(model(train191)).
1053end(model(train191)).
1054
1055begin(model(train192)).
1056bought(spaghetti).
1057shops(mary).
1058end(model(train192)).
1059
1060begin(model(train193)).
1061bought(fish).
1062shops(mary).
1063end(model(train193)).
1064
1065begin(model(train194)).
1066bought(fish).
1067shops(mary).
1068end(model(train194)).
1069
1070begin(model(train195)).
1071bought(fish).
1072shops(mary).
1073end(model(train195)).
1074
1075begin(model(train196)).
1076bought(fish).
1077shops(mary).
1078end(model(train196)).
1079
1080begin(model(train197)).
1081bought(fish).
1082shops(mary).
1083end(model(train197)).
1084
1085begin(model(train198)).
1086bought(fish).
1087shops(mary).
1088end(model(train198)).
1089
1090begin(model(train199)).
1091bought(fish).
1092shops(mary).
1093end(model(train199)).
1094
1095begin(model(train200)).
1096bought(fish).
1097bought(spaghetti).
1098shops(mary).
1099shops(john).
1100end(model(train200)).
1101
1102begin(model(train201)).
1103bought(fish).
1104shops(mary).
1105end(model(train201)).
1106
1107begin(model(train202)).
1108bought(fish).
1109shops(mary).
1110end(model(train202)).
1111
1112begin(model(train203)).
1113bought(fish).
1114shops(mary).
1115end(model(train203)).
1116
1117begin(model(train204)).
1118bought(fish).
1119shops(mary).
1120end(model(train204)).
1121
1122begin(model(train205)).
1123bought(fish).
1124shops(mary).
1125end(model(train205)).
1126
1127begin(model(train206)).
1128bought(fish).
1129shops(mary).
1130end(model(train206)).
1131
1132begin(model(train207)).
1133bought(spaghetti).
1134shops(mary).
1135end(model(train207)).
1136
1137begin(model(train208)).
1138bought(fish).
1139shops(mary).
1140end(model(train208)).
1141
1142begin(model(train209)).
1143end(model(train209)).
1144
1145begin(model(train210)).
1146bought(fish).
1147shops(mary).
1148end(model(train210)).
1149
1150begin(model(train211)).
1151bought(fish).
1152shops(mary).
1153end(model(train211)).
1154
1155begin(model(train212)).
1156bought(spaghetti).
1157shops(mary).
1158end(model(train212)).
1159
1160begin(model(train213)).
1161bought(spaghetti).
1162shops(mary).
1163end(model(train213)).
1164
1165begin(model(train214)).
1166bought(fish).
1167shops(mary).
1168end(model(train214)).
1169
1170begin(model(train215)).
1171bought(fish).
1172shops(mary).
1173end(model(train215)).
1174
1175begin(model(train216)).
1176bought(fish).
1177shops(mary).
1178end(model(train216)).
1179
1180begin(model(train217)).
1181bought(fish).
1182shops(mary).
1183end(model(train217)).
1184
1185begin(model(train218)).
1186bought(spaghetti).
1187shops(mary).
1188end(model(train218)).
1189
1190begin(model(train219)).
1191bought(spaghetti).
1192shops(mary).
1193end(model(train219)).
1194
1195begin(model(train220)).
1196bought(fish).
1197shops(mary).
1198end(model(train220)).
1199
1200begin(model(train221)).
1201bought(fish).
1202shops(mary).
1203end(model(train221)).
1204
1205begin(model(train222)).
1206bought(spaghetti).
1207shops(mary).
1208end(model(train222)).
1209
1210begin(model(train223)).
1211bought(fish).
1212shops(mary).
1213end(model(train223)).
1214
1215begin(model(train224)).
1216end(model(train224)).
1217
1218begin(model(train225)).
1219end(model(train225)).
1220
1221begin(model(train226)).
1222bought(fish).
1223shops(mary).
1224end(model(train226)).
1225
1226begin(model(train227)).
1227bought(fish).
1228shops(mary).
1229end(model(train227)).
1230
1231begin(model(train228)).
1232bought(fish).
1233shops(mary).
1234end(model(train228)).
1235
1236begin(model(train229)).
1237bought(fish).
1238shops(mary).
1239end(model(train229)).
1240
1241begin(model(train230)).
1242bought(spaghetti).
1243shops(mary).
1244end(model(train230)).
1245
1246begin(model(train231)).
1247bought(spaghetti).
1248shops(mary).
1249end(model(train231)).
1250
1251begin(model(train232)).
1252bought(fish).
1253shops(mary).
1254end(model(train232)).
1255
1256begin(model(train233)).
1257bought(fish).
1258bought(steak).
1259shops(mary).
1260shops(john).
1261end(model(train233)).
1262
1263begin(model(train234)).
1264bought(spaghetti).
1265shops(mary).
1266end(model(train234)).
1267
1268begin(model(train235)).
1269bought(fish).
1270shops(mary).
1271end(model(train235)).
1272
1273begin(model(train236)).
1274bought(fish).
1275shops(mary).
1276end(model(train236)).
1277
1278begin(model(train237)).
1279bought(fish).
1280shops(mary).
1281end(model(train237)).
1282
1283begin(model(train238)).
1284bought(fish).
1285shops(mary).
1286end(model(train238)).
1287
1288begin(model(train239)).
1289bought(fish).
1290shops(mary).
1291end(model(train239)).
1292
1293begin(model(train240)).
1294bought(fish).
1295bought(spaghetti).
1296shops(mary).
1297shops(john).
1298end(model(train240)).
1299
1300begin(model(train241)).
1301bought(fish).
1302shops(mary).
1303end(model(train241)).
1304
1305begin(model(train242)).
1306bought(spaghetti).
1307shops(mary).
1308end(model(train242)).
1309
1310begin(model(train243)).
1311bought(fish).
1312shops(mary).
1313end(model(train243)).
1314
1315begin(model(train244)).
1316bought(spaghetti).
1317shops(mary).
1318end(model(train244)).
1319
1320begin(model(train245)).
1321bought(fish).
1322shops(mary).
1323end(model(train245)).
1324
1325begin(model(train246)).
1326bought(fish).
1327shops(mary).
1328end(model(train246)).
1329
1330begin(model(train247)).
1331bought(fish).
1332shops(mary).
1333end(model(train247)).
1334
1335begin(model(train248)).
1336bought(spaghetti).
1337shops(mary).
1338end(model(train248)).
1339
1340begin(model(train249)).
1341bought(fish).
1342shops(mary).
1343end(model(train249)).
1344
1345begin(model(train250)).
1346bought(spaghetti).
1347shops(mary).
1348end(model(train250)).
1349
1350begin(model(train251)).
1351bought(spaghetti).
1352shops(mary).
1353end(model(train251)).
1354
1355begin(model(train252)).
1356bought(fish).
1357bought(spaghetti).
1358shops(mary).
1359shops(john).
1360end(model(train252)).
1361
1362begin(model(train253)).
1363bought(fish).
1364shops(mary).
1365end(model(train253)).
1366
1367begin(model(train254)).
1368bought(fish).
1369shops(mary).
1370end(model(train254)).
1371
1372begin(model(train255)).
1373bought(fish).
1374shops(mary).
1375end(model(train255)).
1376
1377begin(model(train256)).
1378bought(fish).
1379shops(mary).
1380end(model(train256)).
1381
1382begin(model(train257)).
1383bought(fish).
1384bought(steak).
1385shops(mary).
1386shops(john).
1387end(model(train257)).
1388
1389begin(model(train258)).
1390bought(fish).
1391bought(steak).
1392shops(mary).
1393shops(john).
1394end(model(train258)).
1395
1396begin(model(train259)).
1397bought(spaghetti).
1398shops(mary).
1399end(model(train259)).
1400
1401begin(model(train260)).
1402bought(fish).
1403shops(mary).
1404end(model(train260)).
1405
1406begin(model(train261)).
1407bought(fish).
1408shops(mary).
1409end(model(train261)).
1410
1411begin(model(train262)).
1412bought(fish).
1413shops(mary).
1414end(model(train262)).
1415
1416begin(model(train263)).
1417bought(fish).
1418bought(steak).
1419shops(mary).
1420shops(john).
1421end(model(train263)).
1422
1423begin(model(train264)).
1424end(model(train264)).
1425
1426begin(model(train265)).
1427end(model(train265)).
1428
1429begin(model(train266)).
1430bought(spaghetti).
1431shops(mary).
1432end(model(train266)).
1433
1434begin(model(train267)).
1435bought(fish).
1436shops(mary).
1437end(model(train267)).
1438
1439begin(model(train268)).
1440bought(fish).
1441shops(mary).
1442end(model(train268)).
1443
1444begin(model(train269)).
1445bought(fish).
1446shops(mary).
1447end(model(train269)).
1448
1449begin(model(train270)).
1450bought(spaghetti).
1451shops(mary).
1452end(model(train270)).
1453
1454begin(model(train271)).
1455bought(fish).
1456shops(mary).
1457end(model(train271)).
1458
1459begin(model(train272)).
1460bought(fish).
1461shops(mary).
1462end(model(train272)).
1463
1464begin(model(train273)).
1465bought(fish).
1466shops(mary).
1467end(model(train273)).
1468
1469begin(model(train274)).
1470bought(fish).
1471shops(mary).
1472end(model(train274)).
1473
1474begin(model(train275)).
1475bought(fish).
1476shops(mary).
1477end(model(train275)).
1478
1479begin(model(train276)).
1480bought(steak).
1481shops(john).
1482end(model(train276)).
1483
1484begin(model(train277)).
1485bought(spaghetti).
1486shops(mary).
1487end(model(train277)).
1488
1489begin(model(train278)).
1490bought(fish).
1491shops(mary).
1492end(model(train278)).
1493
1494begin(model(train279)).
1495bought(fish).
1496shops(mary).
1497end(model(train279)).
1498
1499begin(model(train280)).
1500bought(fish).
1501bought(spaghetti).
1502shops(mary).
1503shops(john).
1504end(model(train280)).
1505
1506begin(model(train281)).
1507bought(fish).
1508shops(mary).
1509end(model(train281)).
1510
1511begin(model(train282)).
1512bought(fish).
1513bought(spaghetti).
1514shops(mary).
1515shops(john).
1516end(model(train282)).
1517
1518begin(model(train283)).
1519bought(spaghetti).
1520shops(mary).
1521end(model(train283)).
1522
1523begin(model(train284)).
1524bought(fish).
1525bought(spaghetti).
1526shops(mary).
1527shops(john).
1528end(model(train284)).
1529
1530begin(model(train285)).
1531bought(fish).
1532shops(mary).
1533end(model(train285)).
1534
1535begin(model(train286)).
1536bought(fish).
1537shops(mary).
1538end(model(train286)).
1539
1540begin(model(train287)).
1541bought(fish).
1542shops(mary).
1543end(model(train287)).
1544
1545begin(model(train288)).
1546bought(fish).
1547shops(mary).
1548end(model(train288)).
1549
1550begin(model(train289)).
1551bought(fish).
1552shops(mary).
1553end(model(train289)).
1554
1555begin(model(train290)).
1556bought(fish).
1557shops(mary).
1558end(model(train290)).
1559
1560begin(model(train291)).
1561end(model(train291)).
1562
1563begin(model(train292)).
1564bought(fish).
1565shops(mary).
1566end(model(train292)).
1567
1568begin(model(train293)).
1569bought(fish).
1570shops(mary).
1571end(model(train293)).
1572
1573begin(model(train294)).
1574bought(steak).
1575shops(john).
1576end(model(train294)).
1577
1578begin(model(train295)).
1579bought(fish).
1580shops(mary).
1581end(model(train295)).
1582
1583begin(model(train296)).
1584bought(spaghetti).
1585shops(mary).
1586end(model(train296)).
1587
1588begin(model(train297)).
1589bought(fish).
1590shops(mary).
1591end(model(train297)).
1592
1593begin(model(train298)).
1594bought(spaghetti).
1595shops(mary).
1596end(model(train298)).
1597
1598begin(model(train299)).
1599bought(fish).
1600bought(steak).
1601shops(mary).
1602shops(john).
1603end(model(train299)).
1604
1605begin(model(train300)).
1606bought(fish).
1607shops(mary).
1608end(model(train300)).
1609
1610begin(model(train301)).
1611bought(fish).
1612shops(mary).
1613end(model(train301)).
1614
1615begin(model(train302)).
1616bought(fish).
1617shops(mary).
1618end(model(train302)).
1619
1620begin(model(train303)).
1621bought(fish).
1622bought(steak).
1623shops(mary).
1624shops(john).
1625end(model(train303)).
1626
1627begin(model(train304)).
1628bought(fish).
1629shops(mary).
1630end(model(train304)).
1631
1632begin(model(train305)).
1633bought(fish).
1634shops(mary).
1635end(model(train305)).
1636
1637begin(model(train306)).
1638bought(fish).
1639shops(mary).
1640end(model(train306)).
1641
1642begin(model(train307)).
1643bought(fish).
1644shops(mary).
1645end(model(train307)).
1646
1647begin(model(train308)).
1648bought(fish).
1649shops(mary).
1650end(model(train308)).
1651
1652begin(model(train309)).
1653bought(fish).
1654shops(mary).
1655end(model(train309)).
1656
1657begin(model(train310)).
1658bought(fish).
1659shops(mary).
1660end(model(train310)).
1661
1662begin(model(train311)).
1663bought(spaghetti).
1664shops(mary).
1665end(model(train311)).
1666
1667begin(model(train312)).
1668bought(fish).
1669bought(spaghetti).
1670shops(mary).
1671shops(john).
1672end(model(train312)).
1673
1674begin(model(train313)).
1675bought(fish).
1676bought(steak).
1677shops(mary).
1678shops(john).
1679end(model(train313)).
1680
1681begin(model(train314)).
1682bought(spaghetti).
1683shops(john).
1684end(model(train314)).
1685
1686begin(model(train315)).
1687bought(fish).
1688shops(mary).
1689end(model(train315)).
1690
1691begin(model(train316)).
1692bought(fish).
1693shops(mary).
1694end(model(train316)).
1695
1696begin(model(train317)).
1697bought(spaghetti).
1698shops(mary).
1699end(model(train317)).
1700
1701begin(model(train318)).
1702bought(spaghetti).
1703shops(mary).
1704end(model(train318)).
1705
1706begin(model(train319)).
1707bought(spaghetti).
1708shops(mary).
1709end(model(train319)).
1710
1711begin(model(train320)).
1712bought(fish).
1713shops(mary).
1714end(model(train320)).
1715
1716begin(model(train321)).
1717bought(fish).
1718shops(mary).
1719end(model(train321)).
1720
1721begin(model(train322)).
1722bought(fish).
1723shops(mary).
1724end(model(train322)).
1725
1726begin(model(train323)).
1727bought(fish).
1728shops(mary).
1729end(model(train323)).
1730
1731begin(model(train324)).
1732bought(fish).
1733shops(mary).
1734end(model(train324)).
1735
1736begin(model(train325)).
1737bought(fish).
1738shops(mary).
1739end(model(train325)).
1740
1741begin(model(train326)).
1742bought(fish).
1743bought(steak).
1744shops(mary).
1745shops(john).
1746end(model(train326)).
1747
1748begin(model(train327)).
1749bought(fish).
1750shops(mary).
1751end(model(train327)).
1752
1753begin(model(train328)).
1754bought(spaghetti).
1755shops(mary).
1756end(model(train328)).
1757
1758begin(model(train329)).
1759bought(fish).
1760shops(mary).
1761end(model(train329)).
1762
1763begin(model(train330)).
1764bought(fish).
1765bought(spaghetti).
1766shops(mary).
1767shops(john).
1768end(model(train330)).
1769
1770begin(model(train331)).
1771bought(spaghetti).
1772shops(mary).
1773end(model(train331)).
1774
1775begin(model(train332)).
1776bought(fish).
1777shops(mary).
1778end(model(train332)).
1779
1780begin(model(train333)).
1781bought(spaghetti).
1782shops(mary).
1783end(model(train333)).
1784
1785begin(model(train334)).
1786bought(spaghetti).
1787shops(mary).
1788end(model(train334)).
1789
1790begin(model(train335)).
1791bought(fish).
1792shops(mary).
1793end(model(train335)).
1794
1795begin(model(train336)).
1796bought(spaghetti).
1797shops(mary).
1798end(model(train336)).
1799
1800begin(model(train337)).
1801bought(fish).
1802shops(mary).
1803end(model(train337)).
1804
1805begin(model(train338)).
1806bought(fish).
1807shops(mary).
1808end(model(train338)).
1809
1810begin(model(train339)).
1811bought(spaghetti).
1812shops(mary).
1813end(model(train339)).
1814
1815begin(model(train340)).
1816bought(fish).
1817shops(mary).
1818end(model(train340)).
1819
1820begin(model(train341)).
1821bought(fish).
1822shops(mary).
1823end(model(train341)).
1824
1825begin(model(train342)).
1826bought(fish).
1827shops(mary).
1828end(model(train342)).
1829
1830begin(model(train343)).
1831bought(fish).
1832shops(mary).
1833end(model(train343)).
1834
1835begin(model(train344)).
1836bought(fish).
1837shops(mary).
1838end(model(train344)).
1839
1840begin(model(train345)).
1841bought(fish).
1842shops(mary).
1843end(model(train345)).
1844
1845begin(model(train346)).
1846bought(fish).
1847shops(mary).
1848end(model(train346)).
1849
1850begin(model(train347)).
1851bought(fish).
1852bought(spaghetti).
1853shops(mary).
1854shops(john).
1855end(model(train347)).
1856
1857begin(model(train348)).
1858bought(fish).
1859shops(mary).
1860end(model(train348)).
1861
1862begin(model(train349)).
1863bought(fish).
1864shops(mary).
1865end(model(train349)).
1866
1867begin(model(train350)).
1868bought(fish).
1869shops(mary).
1870end(model(train350)).
1871
1872begin(model(train351)).
1873bought(spaghetti).
1874shops(mary).
1875end(model(train351)).
1876
1877begin(model(train352)).
1878bought(fish).
1879shops(mary).
1880end(model(train352)).
1881
1882begin(model(train353)).
1883bought(fish).
1884shops(mary).
1885end(model(train353)).
1886
1887begin(model(train354)).
1888bought(fish).
1889shops(mary).
1890end(model(train354)).
1891
1892begin(model(train355)).
1893bought(fish).
1894bought(steak).
1895shops(mary).
1896shops(john).
1897end(model(train355)).
1898
1899begin(model(train356)).
1900bought(fish).
1901shops(mary).
1902end(model(train356)).
1903
1904begin(model(train357)).
1905bought(fish).
1906bought(steak).
1907shops(mary).
1908shops(john).
1909end(model(train357)).
1910
1911begin(model(train358)).
1912bought(fish).
1913shops(mary).
1914end(model(train358)).
1915
1916begin(model(train359)).
1917bought(fish).
1918shops(mary).
1919end(model(train359)).
1920
1921begin(model(train360)).
1922bought(spaghetti).
1923bought(steak).
1924shops(mary).
1925shops(john).
1926end(model(train360)).
1927
1928begin(model(train361)).
1929bought(spaghetti).
1930shops(mary).
1931end(model(train361)).
1932
1933begin(model(train362)).
1934bought(spaghetti).
1935shops(mary).
1936end(model(train362)).
1937
1938begin(model(train363)).
1939bought(fish).
1940shops(mary).
1941end(model(train363)).
1942
1943begin(model(train364)).
1944bought(spaghetti).
1945shops(mary).
1946end(model(train364)).
1947
1948begin(model(train365)).
1949bought(fish).
1950shops(mary).
1951end(model(train365)).
1952
1953begin(model(train366)).
1954bought(fish).
1955shops(mary).
1956end(model(train366)).
1957
1958begin(model(train367)).
1959bought(fish).
1960shops(mary).
1961end(model(train367)).
1962
1963begin(model(train368)).
1964bought(fish).
1965shops(mary).
1966end(model(train368)).
1967
1968begin(model(train369)).
1969end(model(train369)).
1970
1971begin(model(train370)).
1972bought(fish).
1973shops(mary).
1974end(model(train370)).
1975
1976begin(model(train371)).
1977bought(fish).
1978bought(spaghetti).
1979shops(mary).
1980shops(john).
1981end(model(train371)).
1982
1983begin(model(train372)).
1984bought(fish).
1985shops(mary).
1986end(model(train372)).
1987
1988begin(model(train373)).
1989bought(fish).
1990bought(spaghetti).
1991shops(mary).
1992shops(john).
1993end(model(train373)).
1994
1995begin(model(train374)).
1996bought(fish).
1997bought(spaghetti).
1998shops(mary).
1999shops(john).
2000end(model(train374)).
2001
2002begin(model(train375)).
2003bought(fish).
2004shops(mary).
2005end(model(train375)).
2006
2007begin(model(train376)).
2008bought(fish).
2009shops(mary).
2010end(model(train376)).
2011
2012begin(model(train377)).
2013bought(fish).
2014shops(mary).
2015end(model(train377)).
2016
2017begin(model(train378)).
2018bought(fish).
2019shops(mary).
2020end(model(train378)).
2021
2022begin(model(train379)).
2023bought(fish).
2024bought(spaghetti).
2025shops(mary).
2026shops(john).
2027end(model(train379)).
2028
2029begin(model(train380)).
2030bought(spaghetti).
2031shops(mary).
2032end(model(train380)).
2033
2034begin(model(train381)).
2035bought(fish).
2036shops(mary).
2037end(model(train381)).
2038
2039begin(model(train382)).
2040bought(fish).
2041shops(mary).
2042end(model(train382)).
2043
2044begin(model(train383)).
2045bought(fish).
2046shops(mary).
2047end(model(train383)).
2048
2049begin(model(train384)).
2050bought(fish).
2051shops(mary).
2052end(model(train384)).
2053
2054begin(model(train385)).
2055bought(fish).
2056shops(mary).
2057end(model(train385)).
2058
2059begin(model(train386)).
2060bought(fish).
2061shops(mary).
2062end(model(train386)).
2063
2064begin(model(train387)).
2065bought(spaghetti).
2066shops(john).
2067end(model(train387)).
2068
2069begin(model(train388)).
2070bought(fish).
2071shops(mary).
2072end(model(train388)).
2073
2074begin(model(train389)).
2075bought(fish).
2076shops(mary).
2077end(model(train389)).
2078
2079begin(model(train390)).
2080bought(fish).
2081shops(mary).
2082end(model(train390)).
2083
2084begin(model(train391)).
2085bought(spaghetti).
2086shops(mary).
2087end(model(train391)).
2088
2089begin(model(train392)).
2090bought(spaghetti).
2091shops(john).
2092end(model(train392)).
2093
2094begin(model(train393)).
2095bought(fish).
2096shops(mary).
2097end(model(train393)).
2098
2099begin(model(train394)).
2100bought(fish).
2101shops(mary).
2102end(model(train394)).
2103
2104begin(model(train395)).
2105bought(spaghetti).
2106shops(mary).
2107end(model(train395)).
2108
2109begin(model(train396)).
2110bought(fish).
2111shops(mary).
2112end(model(train396)).
2113
2114begin(model(train397)).
2115bought(fish).
2116shops(mary).
2117end(model(train397)).
2118
2119begin(model(train398)).
2120bought(fish).
2121shops(mary).
2122end(model(train398)).
2123
2124begin(model(train399)).
2125bought(spaghetti).
2126shops(mary).
2127end(model(train399)).
2128
2129begin(model(train400)).
2130bought(fish).
2131shops(mary).
2132end(model(train400)).
2133
2134begin(model(train401)).
2135bought(fish).
2136shops(mary).
2137end(model(train401)).
2138
2139begin(model(train402)).
2140bought(spaghetti).
2141shops(mary).
2142end(model(train402)).
2143
2144begin(model(train403)).
2145bought(fish).
2146shops(mary).
2147end(model(train403)).
2148
2149begin(model(train404)).
2150bought(fish).
2151shops(mary).
2152end(model(train404)).
2153
2154begin(model(train405)).
2155bought(spaghetti).
2156shops(mary).
2157end(model(train405)).
2158
2159begin(model(train406)).
2160bought(fish).
2161shops(mary).
2162end(model(train406)).
2163
2164begin(model(train407)).
2165bought(fish).
2166shops(mary).
2167end(model(train407)).
2168
2169begin(model(train408)).
2170bought(fish).
2171shops(mary).
2172end(model(train408)).
2173
2174begin(model(train409)).
2175bought(steak).
2176shops(john).
2177end(model(train409)).
2178
2179begin(model(train410)).
2180bought(fish).
2181shops(mary).
2182end(model(train410)).
2183
2184begin(model(train411)).
2185bought(fish).
2186shops(mary).
2187end(model(train411)).
2188
2189begin(model(train412)).
2190bought(fish).
2191shops(mary).
2192end(model(train412)).
2193
2194begin(model(train413)).
2195bought(fish).
2196shops(mary).
2197end(model(train413)).
2198
2199begin(model(train414)).
2200bought(fish).
2201shops(mary).
2202end(model(train414)).
2203
2204begin(model(train415)).
2205bought(fish).
2206shops(mary).
2207end(model(train415)).
2208
2209begin(model(train416)).
2210end(model(train416)).
2211
2212begin(model(train417)).
2213bought(spaghetti).
2214shops(mary).
2215end(model(train417)).
2216
2217begin(model(train418)).
2218bought(spaghetti).
2219bought(steak).
2220shops(mary).
2221shops(john).
2222end(model(train418)).
2223
2224begin(model(train419)).
2225bought(spaghetti).
2226shops(mary).
2227end(model(train419)).
2228
2229begin(model(train420)).
2230bought(spaghetti).
2231shops(mary).
2232end(model(train420)).
2233
2234begin(model(train421)).
2235bought(fish).
2236shops(mary).
2237end(model(train421)).
2238
2239begin(model(train422)).
2240bought(spaghetti).
2241shops(mary).
2242end(model(train422)).
2243
2244begin(model(train423)).
2245bought(fish).
2246shops(mary).
2247end(model(train423)).
2248
2249begin(model(train424)).
2250bought(fish).
2251shops(mary).
2252end(model(train424)).
2253
2254begin(model(train425)).
2255bought(fish).
2256shops(mary).
2257end(model(train425)).
2258
2259begin(model(train426)).
2260bought(spaghetti).
2261bought(steak).
2262shops(mary).
2263shops(john).
2264end(model(train426)).
2265
2266begin(model(train427)).
2267bought(spaghetti).
2268shops(mary).
2269end(model(train427)).
2270
2271begin(model(train428)).
2272bought(fish).
2273shops(mary).
2274end(model(train428)).
2275
2276begin(model(train429)).
2277bought(fish).
2278bought(steak).
2279shops(mary).
2280shops(john).
2281end(model(train429)).
2282
2283begin(model(train430)).
2284bought(spaghetti).
2285shops(mary).
2286end(model(train430)).
2287
2288begin(model(train431)).
2289bought(fish).
2290shops(mary).
2291end(model(train431)).
2292
2293begin(model(train432)).
2294bought(fish).
2295shops(mary).
2296end(model(train432)).
2297
2298begin(model(train433)).
2299bought(fish).
2300shops(mary).
2301end(model(train433)).
2302
2303begin(model(train434)).
2304bought(fish).
2305shops(mary).
2306end(model(train434)).
2307
2308begin(model(train435)).
2309bought(fish).
2310shops(mary).
2311end(model(train435)).
2312
2313begin(model(train436)).
2314bought(fish).
2315shops(mary).
2316end(model(train436)).
2317
2318begin(model(train437)).
2319bought(fish).
2320shops(mary).
2321end(model(train437)).
2322
2323begin(model(train438)).
2324bought(fish).
2325shops(mary).
2326end(model(train438)).
2327
2328begin(model(train439)).
2329bought(fish).
2330shops(mary).
2331end(model(train439)).
2332
2333begin(model(train440)).
2334bought(spaghetti).
2335shops(mary).
2336end(model(train440)).
2337
2338begin(model(train441)).
2339bought(fish).
2340bought(steak).
2341shops(mary).
2342shops(john).
2343end(model(train441)).
2344
2345begin(model(train442)).
2346bought(fish).
2347shops(mary).
2348end(model(train442)).
2349
2350begin(model(train443)).
2351bought(spaghetti).
2352shops(mary).
2353end(model(train443)).
2354
2355begin(model(train444)).
2356bought(fish).
2357shops(mary).
2358end(model(train444)).
2359
2360begin(model(train445)).
2361bought(fish).
2362shops(mary).
2363end(model(train445)).
2364
2365begin(model(train446)).
2366bought(spaghetti).
2367shops(mary).
2368end(model(train446)).
2369
2370begin(model(train447)).
2371bought(fish).
2372shops(mary).
2373end(model(train447)).
2374
2375begin(model(train448)).
2376bought(fish).
2377shops(mary).
2378end(model(train448)).
2379
2380begin(model(train449)).
2381bought(fish).
2382shops(mary).
2383end(model(train449)).
2384
2385begin(model(train450)).
2386bought(fish).
2387shops(mary).
2388end(model(train450)).
2389
2390begin(model(train451)).
2391bought(fish).
2392shops(mary).
2393end(model(train451)).
2394
2395begin(model(train452)).
2396bought(spaghetti).
2397shops(mary).
2398end(model(train452)).
2399
2400begin(model(train453)).
2401bought(fish).
2402shops(mary).
2403end(model(train453)).
2404
2405begin(model(train454)).
2406bought(fish).
2407shops(mary).
2408end(model(train454)).
2409
2410begin(model(train455)).
2411bought(fish).
2412bought(steak).
2413shops(mary).
2414shops(john).
2415end(model(train455)).
2416
2417begin(model(train456)).
2418bought(spaghetti).
2419shops(mary).
2420end(model(train456)).
2421
2422begin(model(train457)).
2423bought(fish).
2424bought(steak).
2425shops(mary).
2426shops(john).
2427end(model(train457)).
2428
2429begin(model(train458)).
2430bought(fish).
2431shops(mary).
2432end(model(train458)).
2433
2434begin(model(train459)).
2435bought(fish).
2436shops(mary).
2437end(model(train459)).
2438
2439begin(model(train460)).
2440bought(spaghetti).
2441bought(steak).
2442shops(mary).
2443shops(john).
2444end(model(train460)).
2445
2446begin(model(train461)).
2447bought(spaghetti).
2448shops(mary).
2449end(model(train461)).
2450
2451begin(model(train462)).
2452bought(fish).
2453shops(mary).
2454end(model(train462)).
2455
2456begin(model(train463)).
2457bought(spaghetti).
2458bought(steak).
2459shops(mary).
2460shops(john).
2461end(model(train463)).
2462
2463begin(model(train464)).
2464bought(spaghetti).
2465shops(mary).
2466end(model(train464)).
2467
2468begin(model(train465)).
2469bought(fish).
2470shops(mary).
2471end(model(train465)).
2472
2473begin(model(train466)).
2474bought(fish).
2475shops(mary).
2476end(model(train466)).
2477
2478begin(model(train467)).
2479bought(fish).
2480shops(mary).
2481end(model(train467)).
2482
2483begin(model(train468)).
2484bought(steak).
2485shops(john).
2486end(model(train468)).
2487
2488begin(model(train469)).
2489bought(steak).
2490shops(john).
2491end(model(train469)).
2492
2493begin(model(train470)).
2494bought(fish).
2495shops(mary).
2496end(model(train470)).
2497
2498begin(model(train471)).
2499bought(fish).
2500shops(mary).
2501end(model(train471)).
2502
2503begin(model(train472)).
2504bought(fish).
2505shops(mary).
2506end(model(train472)).
2507
2508begin(model(train473)).
2509bought(fish).
2510shops(mary).
2511end(model(train473)).
2512
2513begin(model(train474)).
2514bought(spaghetti).
2515shops(mary).
2516end(model(train474)).
2517
2518begin(model(train475)).
2519bought(fish).
2520bought(steak).
2521shops(mary).
2522shops(john).
2523end(model(train475)).
2524
2525begin(model(train476)).
2526bought(fish).
2527bought(steak).
2528shops(mary).
2529shops(john).
2530end(model(train476)).
2531
2532begin(model(train477)).
2533bought(fish).
2534bought(steak).
2535shops(mary).
2536shops(john).
2537end(model(train477)).
2538
2539begin(model(train478)).
2540bought(fish).
2541bought(spaghetti).
2542shops(mary).
2543shops(john).
2544end(model(train478)).
2545
2546begin(model(train479)).
2547bought(spaghetti).
2548shops(mary).
2549end(model(train479)).
2550
2551begin(model(train480)).
2552bought(fish).
2553shops(mary).
2554end(model(train480)).
2555
2556begin(model(train481)).
2557bought(fish).
2558shops(mary).
2559end(model(train481)).
2560
2561begin(model(train482)).
2562bought(fish).
2563shops(mary).
2564end(model(train482)).
2565
2566begin(model(train483)).
2567bought(fish).
2568shops(mary).
2569end(model(train483)).
2570
2571begin(model(train484)).
2572bought(fish).
2573shops(mary).
2574end(model(train484)).
2575
2576begin(model(train485)).
2577bought(spaghetti).
2578shops(mary).
2579end(model(train485)).
2580
2581begin(model(train486)).
2582bought(spaghetti).
2583shops(mary).
2584end(model(train486)).
2585
2586begin(model(train487)).
2587bought(spaghetti).
2588bought(steak).
2589shops(mary).
2590shops(john).
2591end(model(train487)).
2592
2593begin(model(train488)).
2594bought(fish).
2595bought(spaghetti).
2596shops(mary).
2597shops(john).
2598end(model(train488)).
2599
2600begin(model(train489)).
2601bought(fish).
2602bought(steak).
2603shops(mary).
2604shops(john).
2605end(model(train489)).
2606
2607begin(model(train490)).
2608bought(fish).
2609shops(mary).
2610end(model(train490)).
2611
2612begin(model(train491)).
2613bought(spaghetti).
2614shops(mary).
2615end(model(train491)).
2616
2617begin(model(train492)).
2618bought(fish).
2619bought(steak).
2620shops(mary).
2621shops(john).
2622end(model(train492)).
2623
2624begin(model(train493)).
2625bought(fish).
2626shops(mary).
2627end(model(train493)).
2628
2629begin(model(train494)).
2630bought(spaghetti).
2631bought(steak).
2632shops(mary).
2633shops(john).
2634end(model(train494)).
2635
2636begin(model(train495)).
2637bought(spaghetti).
2638shops(mary).
2639end(model(train495)).
2640
2641begin(model(train496)).
2642bought(spaghetti).
2643shops(mary).
2644end(model(train496)).
2645
2646begin(model(train497)).
2647bought(fish).
2648bought(steak).
2649shops(mary).
2650shops(john).
2651end(model(train497)).
2652
2653begin(model(train498)).
2654bought(fish).
2655shops(mary).
2656end(model(train498)).
2657
2658begin(model(train499)).
2659bought(fish).
2660shops(mary).
2661end(model(train499)).
2662
2663begin(model(train500)).
2664bought(fish).
2665shops(mary).
2666end(model(train500)).
2667
2668begin(model(train501)).
2669bought(spaghetti).
2670shops(mary).
2671end(model(train501)).
2672
2673begin(model(train502)).
2674bought(fish).
2675shops(mary).
2676end(model(train502)).
2677
2678begin(model(train503)).
2679bought(spaghetti).
2680bought(steak).
2681shops(mary).
2682shops(john).
2683end(model(train503)).
2684
2685begin(model(train504)).
2686bought(fish).
2687shops(mary).
2688end(model(train504)).
2689
2690begin(model(train505)).
2691bought(spaghetti).
2692shops(mary).
2693end(model(train505)).
2694
2695begin(model(train506)).
2696bought(fish).
2697shops(mary).
2698end(model(train506)).
2699
2700begin(model(train507)).
2701bought(fish).
2702shops(mary).
2703end(model(train507)).
2704
2705begin(model(train508)).
2706bought(spaghetti).
2707shops(mary).
2708end(model(train508)).
2709
2710begin(model(train509)).
2711bought(fish).
2712shops(mary).
2713end(model(train509)).
2714
2715begin(model(train510)).
2716bought(fish).
2717shops(mary).
2718end(model(train510)).
2719
2720begin(model(train511)).
2721bought(spaghetti).
2722shops(mary).
2723end(model(train511)).
2724
2725begin(model(train512)).
2726bought(fish).
2727shops(mary).
2728end(model(train512)).
2729
2730begin(model(train513)).
2731bought(fish).
2732shops(mary).
2733end(model(train513)).
2734
2735begin(model(train514)).
2736bought(fish).
2737shops(mary).
2738end(model(train514)).
2739
2740begin(model(train515)).
2741bought(spaghetti).
2742shops(mary).
2743end(model(train515)).
2744
2745begin(model(train516)).
2746bought(spaghetti).
2747shops(john).
2748end(model(train516)).
2749
2750begin(model(train517)).
2751bought(fish).
2752bought(steak).
2753shops(mary).
2754shops(john).
2755end(model(train517)).
2756
2757begin(model(train518)).
2758bought(fish).
2759bought(steak).
2760shops(mary).
2761shops(john).
2762end(model(train518)).
2763
2764begin(model(train519)).
2765bought(fish).
2766shops(mary).
2767end(model(train519)).
2768
2769begin(model(train520)).
2770bought(fish).
2771shops(mary).
2772end(model(train520)).
2773
2774begin(model(train521)).
2775bought(fish).
2776shops(mary).
2777end(model(train521)).
2778
2779begin(model(train522)).
2780bought(fish).
2781shops(mary).
2782end(model(train522)).
2783
2784begin(model(train523)).
2785bought(fish).
2786shops(mary).
2787end(model(train523)).
2788
2789begin(model(train524)).
2790bought(fish).
2791bought(spaghetti).
2792shops(mary).
2793shops(john).
2794end(model(train524)).
2795
2796begin(model(train525)).
2797bought(spaghetti).
2798shops(mary).
2799end(model(train525)).
2800
2801begin(model(train526)).
2802bought(fish).
2803shops(mary).
2804end(model(train526)).
2805
2806begin(model(train527)).
2807bought(fish).
2808shops(mary).
2809end(model(train527)).
2810
2811begin(model(train528)).
2812bought(fish).
2813bought(spaghetti).
2814shops(mary).
2815shops(john).
2816end(model(train528)).
2817
2818begin(model(train529)).
2819bought(spaghetti).
2820shops(mary).
2821end(model(train529)).
2822
2823begin(model(train530)).
2824bought(spaghetti).
2825shops(mary).
2826end(model(train530)).
2827
2828begin(model(train531)).
2829bought(fish).
2830shops(mary).
2831end(model(train531)).
2832
2833begin(model(train532)).
2834bought(fish).
2835bought(steak).
2836shops(mary).
2837shops(john).
2838end(model(train532)).
2839
2840begin(model(train533)).
2841end(model(train533)).
2842
2843begin(model(train534)).
2844bought(fish).
2845shops(mary).
2846end(model(train534)).
2847
2848begin(model(train535)).
2849bought(spaghetti).
2850shops(mary).
2851end(model(train535)).
2852
2853begin(model(train536)).
2854bought(spaghetti).
2855shops(mary).
2856end(model(train536)).
2857
2858begin(model(train537)).
2859bought(fish).
2860shops(mary).
2861end(model(train537)).
2862
2863begin(model(train538)).
2864bought(fish).
2865shops(mary).
2866end(model(train538)).
2867
2868begin(model(train539)).
2869bought(fish).
2870shops(mary).
2871end(model(train539)).
2872
2873begin(model(train540)).
2874bought(fish).
2875shops(mary).
2876end(model(train540)).
2877
2878begin(model(train541)).
2879bought(fish).
2880bought(spaghetti).
2881shops(mary).
2882shops(john).
2883end(model(train541)).
2884
2885begin(model(train542)).
2886bought(fish).
2887shops(mary).
2888end(model(train542)).
2889
2890begin(model(train543)).
2891bought(fish).
2892bought(steak).
2893shops(mary).
2894shops(john).
2895end(model(train543)).
2896
2897begin(model(train544)).
2898bought(spaghetti).
2899shops(mary).
2900end(model(train544)).
2901
2902begin(model(train545)).
2903bought(fish).
2904shops(mary).
2905end(model(train545)).
2906
2907begin(model(train546)).
2908bought(spaghetti).
2909bought(steak).
2910shops(mary).
2911shops(john).
2912end(model(train546)).
2913
2914begin(model(train547)).
2915bought(fish).
2916shops(mary).
2917end(model(train547)).
2918
2919begin(model(train548)).
2920bought(spaghetti).
2921shops(mary).
2922end(model(train548)).
2923
2924begin(model(train549)).
2925bought(fish).
2926shops(mary).
2927end(model(train549)).
2928
2929begin(model(train550)).
2930bought(fish).
2931shops(mary).
2932end(model(train550)).
2933
2934begin(model(train551)).
2935bought(fish).
2936shops(mary).
2937end(model(train551)).
2938
2939begin(model(train552)).
2940bought(spaghetti).
2941shops(mary).
2942end(model(train552)).
2943
2944begin(model(train553)).
2945bought(spaghetti).
2946shops(mary).
2947end(model(train553)).
2948
2949begin(model(train554)).
2950bought(fish).
2951shops(mary).
2952end(model(train554)).
2953
2954begin(model(train555)).
2955bought(fish).
2956shops(mary).
2957end(model(train555)).
2958
2959begin(model(train556)).
2960bought(fish).
2961bought(steak).
2962shops(mary).
2963shops(john).
2964end(model(train556)).
2965
2966begin(model(train557)).
2967bought(spaghetti).
2968bought(steak).
2969shops(mary).
2970shops(john).
2971end(model(train557)).
2972
2973begin(model(train558)).
2974bought(fish).
2975shops(mary).
2976end(model(train558)).
2977
2978begin(model(train559)).
2979bought(spaghetti).
2980shops(mary).
2981end(model(train559)).
2982
2983begin(model(train560)).
2984bought(fish).
2985bought(steak).
2986shops(mary).
2987shops(john).
2988end(model(train560)).
2989
2990begin(model(train561)).
2991bought(fish).
2992bought(steak).
2993shops(mary).
2994shops(john).
2995end(model(train561)).
2996
2997begin(model(train562)).
2998bought(spaghetti).
2999shops(mary).
3000end(model(train562)).
3001
3002begin(model(train563)).
3003bought(spaghetti).
3004shops(mary).
3005end(model(train563)).
3006
3007begin(model(train564)).
3008bought(fish).
3009bought(steak).
3010shops(mary).
3011shops(john).
3012end(model(train564)).
3013
3014begin(model(train565)).
3015bought(fish).
3016shops(mary).
3017end(model(train565)).
3018
3019begin(model(train566)).
3020bought(spaghetti).
3021shops(mary).
3022end(model(train566)).
3023
3024begin(model(train567)).
3025bought(spaghetti).
3026shops(mary).
3027end(model(train567)).
3028
3029begin(model(train568)).
3030bought(fish).
3031bought(spaghetti).
3032shops(mary).
3033shops(john).
3034end(model(train568)).
3035
3036begin(model(train569)).
3037bought(fish).
3038shops(mary).
3039end(model(train569)).
3040
3041begin(model(train570)).
3042bought(fish).
3043shops(mary).
3044end(model(train570)).
3045
3046begin(model(train571)).
3047bought(fish).
3048shops(mary).
3049end(model(train571)).
3050
3051begin(model(train572)).
3052bought(fish).
3053shops(mary).
3054end(model(train572)).
3055
3056begin(model(train573)).
3057bought(fish).
3058shops(mary).
3059end(model(train573)).
3060
3061begin(model(train574)).
3062bought(fish).
3063shops(mary).
3064end(model(train574)).
3065
3066begin(model(train575)).
3067bought(fish).
3068bought(spaghetti).
3069shops(mary).
3070shops(john).
3071end(model(train575)).
3072
3073begin(model(train576)).
3074bought(fish).
3075shops(mary).
3076end(model(train576)).
3077
3078begin(model(train577)).
3079bought(fish).
3080bought(steak).
3081shops(mary).
3082shops(john).
3083end(model(train577)).
3084
3085begin(model(train578)).
3086bought(fish).
3087shops(mary).
3088end(model(train578)).
3089
3090begin(model(train579)).
3091bought(spaghetti).
3092shops(mary).
3093end(model(train579)).
3094
3095begin(model(train580)).
3096bought(fish).
3097shops(mary).
3098end(model(train580)).
3099
3100begin(model(train581)).
3101bought(fish).
3102bought(steak).
3103shops(mary).
3104shops(john).
3105end(model(train581)).
3106
3107begin(model(train582)).
3108bought(spaghetti).
3109shops(mary).
3110end(model(train582)).
3111
3112begin(model(train583)).
3113bought(fish).
3114shops(mary).
3115end(model(train583)).
3116
3117begin(model(train584)).
3118bought(fish).
3119shops(mary).
3120end(model(train584)).
3121
3122begin(model(train585)).
3123bought(fish).
3124shops(mary).
3125end(model(train585)).
3126
3127begin(model(train586)).
3128bought(fish).
3129bought(steak).
3130shops(mary).
3131shops(john).
3132end(model(train586)).
3133
3134begin(model(train587)).
3135bought(fish).
3136shops(mary).
3137end(model(train587)).
3138
3139begin(model(train588)).
3140bought(fish).
3141shops(mary).
3142end(model(train588)).
3143
3144begin(model(train589)).
3145bought(spaghetti).
3146bought(steak).
3147shops(mary).
3148shops(john).
3149end(model(train589)).
3150
3151begin(model(train590)).
3152bought(fish).
3153shops(mary).
3154end(model(train590)).
3155
3156begin(model(train591)).
3157bought(fish).
3158shops(mary).
3159end(model(train591)).
3160
3161begin(model(train592)).
3162bought(spaghetti).
3163shops(mary).
3164end(model(train592)).
3165
3166begin(model(train593)).
3167bought(spaghetti).
3168shops(mary).
3169end(model(train593)).
3170
3171begin(model(train594)).
3172bought(spaghetti).
3173bought(steak).
3174shops(mary).
3175shops(john).
3176end(model(train594)).
3177
3178begin(model(train595)).
3179bought(fish).
3180shops(mary).
3181end(model(train595)).
3182
3183begin(model(train596)).
3184bought(spaghetti).
3185shops(mary).
3186end(model(train596)).
3187
3188begin(model(train597)).
3189bought(spaghetti).
3190shops(mary).
3191end(model(train597)).
3192
3193begin(model(train598)).
3194end(model(train598)).
3195
3196begin(model(train599)).
3197bought(fish).
3198shops(mary).
3199end(model(train599)).
3200
3201begin(model(train600)).
3202bought(fish).
3203shops(mary).
3204end(model(train600)).
3205
3206begin(model(train601)).
3207bought(spaghetti).
3208shops(mary).
3209end(model(train601)).
3210
3211begin(model(train602)).
3212bought(fish).
3213shops(mary).
3214end(model(train602)).
3215
3216begin(model(train603)).
3217bought(fish).
3218shops(mary).
3219end(model(train603)).
3220
3221begin(model(train604)).
3222bought(fish).
3223shops(mary).
3224end(model(train604)).
3225
3226begin(model(train605)).
3227bought(fish).
3228shops(mary).
3229end(model(train605)).
3230
3231begin(model(train606)).
3232end(model(train606)).
3233
3234begin(model(train607)).
3235bought(spaghetti).
3236shops(mary).
3237end(model(train607)).
3238
3239begin(model(train608)).
3240bought(spaghetti).
3241shops(mary).
3242end(model(train608)).
3243
3244begin(model(train609)).
3245bought(fish).
3246shops(mary).
3247end(model(train609)).
3248
3249begin(model(train610)).
3250bought(spaghetti).
3251shops(john).
3252end(model(train610)).
3253
3254begin(model(train611)).
3255bought(fish).
3256bought(spaghetti).
3257shops(mary).
3258shops(john).
3259end(model(train611)).
3260
3261begin(model(train612)).
3262bought(spaghetti).
3263shops(mary).
3264end(model(train612)).
3265
3266begin(model(train613)).
3267bought(spaghetti).
3268bought(steak).
3269shops(mary).
3270shops(john).
3271end(model(train613)).
3272
3273begin(model(train614)).
3274bought(fish).
3275shops(mary).
3276end(model(train614)).
3277
3278begin(model(train615)).
3279bought(fish).
3280shops(mary).
3281end(model(train615)).
3282
3283begin(model(train616)).
3284bought(fish).
3285shops(mary).
3286end(model(train616)).
3287
3288begin(model(train617)).
3289bought(spaghetti).
3290shops(mary).
3291end(model(train617)).
3292
3293begin(model(train618)).
3294bought(spaghetti).
3295bought(steak).
3296shops(mary).
3297shops(john).
3298end(model(train618)).
3299
3300begin(model(train619)).
3301end(model(train619)).
3302
3303begin(model(train620)).
3304bought(spaghetti).
3305bought(steak).
3306shops(mary).
3307shops(john).
3308end(model(train620)).
3309
3310begin(model(train621)).
3311bought(fish).
3312shops(mary).
3313end(model(train621)).
3314
3315begin(model(train622)).
3316bought(fish).
3317bought(spaghetti).
3318shops(mary).
3319shops(john).
3320end(model(train622)).
3321
3322begin(model(train623)).
3323bought(spaghetti).
3324shops(mary).
3325end(model(train623)).
3326
3327begin(model(train624)).
3328bought(fish).
3329shops(mary).
3330end(model(train624)).
3331
3332begin(model(train625)).
3333bought(steak).
3334shops(john).
3335end(model(train625)).
3336
3337begin(model(train626)).
3338bought(fish).
3339shops(mary).
3340end(model(train626)).
3341
3342begin(model(train627)).
3343bought(fish).
3344shops(mary).
3345end(model(train627)).
3346
3347begin(model(train628)).
3348bought(fish).
3349bought(steak).
3350shops(mary).
3351shops(john).
3352end(model(train628)).
3353
3354begin(model(train629)).
3355bought(fish).
3356bought(steak).
3357shops(mary).
3358shops(john).
3359end(model(train629)).
3360
3361begin(model(train630)).
3362bought(spaghetti).
3363shops(mary).
3364end(model(train630)).
3365
3366begin(model(train631)).
3367bought(fish).
3368bought(spaghetti).
3369shops(mary).
3370shops(john).
3371end(model(train631)).
3372
3373begin(model(train632)).
3374bought(spaghetti).
3375shops(mary).
3376end(model(train632)).
3377
3378begin(model(train633)).
3379bought(spaghetti).
3380shops(mary).
3381end(model(train633)).
3382
3383begin(model(train634)).
3384bought(fish).
3385shops(mary).
3386end(model(train634)).
3387
3388begin(model(train635)).
3389bought(fish).
3390shops(mary).
3391end(model(train635)).
3392
3393begin(model(train636)).
3394end(model(train636)).
3395
3396begin(model(train637)).
3397bought(fish).
3398shops(mary).
3399end(model(train637)).
3400
3401begin(model(train638)).
3402bought(fish).
3403shops(mary).
3404end(model(train638)).
3405
3406begin(model(train639)).
3407bought(spaghetti).
3408shops(mary).
3409end(model(train639)).
3410
3411begin(model(train640)).
3412end(model(train640)).
3413
3414begin(model(train641)).
3415bought(fish).
3416shops(mary).
3417end(model(train641)).
3418
3419begin(model(train642)).
3420bought(fish).
3421shops(mary).
3422end(model(train642)).
3423
3424begin(model(train643)).
3425bought(fish).
3426shops(mary).
3427end(model(train643)).
3428
3429begin(model(train644)).
3430bought(spaghetti).
3431shops(mary).
3432end(model(train644)).
3433
3434begin(model(train645)).
3435bought(spaghetti).
3436shops(mary).
3437end(model(train645)).
3438
3439begin(model(train646)).
3440bought(spaghetti).
3441shops(mary).
3442end(model(train646)).
3443
3444begin(model(train647)).
3445bought(fish).
3446shops(mary).
3447end(model(train647)).
3448
3449begin(model(train648)).
3450bought(fish).
3451shops(mary).
3452end(model(train648)).
3453
3454begin(model(train649)).
3455bought(fish).
3456shops(mary).
3457end(model(train649)).
3458
3459begin(model(train650)).
3460bought(fish).
3461shops(mary).
3462end(model(train650)).
3463
3464begin(model(train651)).
3465bought(fish).
3466shops(mary).
3467end(model(train651)).
3468
3469begin(model(train652)).
3470bought(fish).
3471shops(mary).
3472end(model(train652)).
3473
3474begin(model(train653)).
3475bought(fish).
3476shops(mary).
3477end(model(train653)).
3478
3479begin(model(train654)).
3480bought(fish).
3481shops(mary).
3482end(model(train654)).
3483
3484begin(model(train655)).
3485bought(spaghetti).
3486shops(john).
3487end(model(train655)).
3488
3489begin(model(train656)).
3490bought(fish).
3491bought(steak).
3492shops(mary).
3493shops(john).
3494end(model(train656)).
3495
3496begin(model(train657)).
3497bought(fish).
3498shops(mary).
3499end(model(train657)).
3500
3501begin(model(train658)).
3502bought(fish).
3503shops(mary).
3504end(model(train658)).
3505
3506begin(model(train659)).
3507bought(spaghetti).
3508shops(mary).
3509end(model(train659)).
3510
3511begin(model(train660)).
3512bought(fish).
3513bought(spaghetti).
3514shops(mary).
3515shops(john).
3516end(model(train660)).
3517
3518begin(model(train661)).
3519bought(fish).
3520shops(mary).
3521end(model(train661)).
3522
3523begin(model(train662)).
3524bought(fish).
3525shops(mary).
3526end(model(train662)).
3527
3528begin(model(train663)).
3529bought(spaghetti).
3530shops(mary).
3531end(model(train663)).
3532
3533begin(model(train664)).
3534bought(fish).
3535bought(spaghetti).
3536shops(mary).
3537shops(john).
3538end(model(train664)).
3539
3540begin(model(train665)).
3541bought(fish).
3542shops(mary).
3543end(model(train665)).
3544
3545begin(model(train666)).
3546bought(spaghetti).
3547shops(mary).
3548end(model(train666)).
3549
3550begin(model(train667)).
3551bought(spaghetti).
3552shops(mary).
3553end(model(train667)).
3554
3555begin(model(train668)).
3556bought(fish).
3557shops(mary).
3558end(model(train668)).
3559
3560begin(model(train669)).
3561bought(spaghetti).
3562shops(mary).
3563end(model(train669)).
3564
3565begin(model(train670)).
3566bought(fish).
3567shops(mary).
3568end(model(train670)).
3569
3570begin(model(train671)).
3571bought(fish).
3572shops(mary).
3573end(model(train671)).
3574
3575begin(model(train672)).
3576bought(fish).
3577shops(mary).
3578end(model(train672)).
3579
3580begin(model(train673)).
3581bought(fish).
3582shops(mary).
3583end(model(train673)).
3584
3585begin(model(train674)).
3586bought(fish).
3587shops(mary).
3588end(model(train674)).
3589
3590begin(model(train675)).
3591bought(spaghetti).
3592shops(mary).
3593end(model(train675)).
3594
3595begin(model(train676)).
3596bought(spaghetti).
3597bought(steak).
3598shops(mary).
3599shops(john).
3600end(model(train676)).
3601
3602begin(model(train677)).
3603bought(spaghetti).
3604shops(mary).
3605end(model(train677)).
3606
3607begin(model(train678)).
3608bought(fish).
3609shops(mary).
3610end(model(train678)).
3611
3612begin(model(train679)).
3613bought(fish).
3614shops(mary).
3615end(model(train679)).
3616
3617begin(model(train680)).
3618bought(spaghetti).
3619shops(mary).
3620end(model(train680)).
3621
3622begin(model(train681)).
3623bought(fish).
3624shops(mary).
3625end(model(train681)).
3626
3627begin(model(train682)).
3628bought(fish).
3629shops(mary).
3630end(model(train682)).
3631
3632begin(model(train683)).
3633bought(fish).
3634shops(mary).
3635end(model(train683)).
3636
3637begin(model(train684)).
3638bought(fish).
3639shops(mary).
3640end(model(train684)).
3641
3642begin(model(train685)).
3643bought(fish).
3644bought(spaghetti).
3645shops(mary).
3646shops(john).
3647end(model(train685)).
3648
3649begin(model(train686)).
3650bought(fish).
3651bought(steak).
3652shops(mary).
3653shops(john).
3654end(model(train686)).
3655
3656begin(model(train687)).
3657bought(fish).
3658shops(mary).
3659end(model(train687)).
3660
3661begin(model(train688)).
3662bought(fish).
3663shops(mary).
3664end(model(train688)).
3665
3666begin(model(train689)).
3667bought(fish).
3668shops(mary).
3669end(model(train689)).
3670
3671begin(model(train690)).
3672bought(fish).
3673bought(spaghetti).
3674shops(mary).
3675shops(john).
3676end(model(train690)).
3677
3678begin(model(train691)).
3679bought(fish).
3680shops(mary).
3681end(model(train691)).
3682
3683begin(model(train692)).
3684bought(fish).
3685shops(mary).
3686end(model(train692)).
3687
3688begin(model(train693)).
3689bought(spaghetti).
3690shops(mary).
3691end(model(train693)).
3692
3693begin(model(train694)).
3694bought(spaghetti).
3695shops(mary).
3696end(model(train694)).
3697
3698begin(model(train695)).
3699bought(fish).
3700bought(steak).
3701shops(mary).
3702shops(john).
3703end(model(train695)).
3704
3705begin(model(train696)).
3706bought(fish).
3707shops(mary).
3708end(model(train696)).
3709
3710begin(model(train697)).
3711bought(spaghetti).
3712shops(mary).
3713end(model(train697)).
3714
3715begin(model(train698)).
3716bought(fish).
3717bought(steak).
3718shops(mary).
3719shops(john).
3720end(model(train698)).
3721
3722begin(model(train699)).
3723bought(fish).
3724bought(spaghetti).
3725shops(mary).
3726shops(john).
3727end(model(train699)).
3728
3729begin(model(train700)).
3730bought(fish).
3731shops(mary).
3732end(model(train700)).
3733
3734begin(model(train701)).
3735bought(fish).
3736shops(mary).
3737end(model(train701)).
3738
3739begin(model(train702)).
3740bought(fish).
3741shops(mary).
3742end(model(train702)).
3743
3744begin(model(train703)).
3745bought(fish).
3746bought(spaghetti).
3747shops(mary).
3748shops(john).
3749end(model(train703)).
3750
3751begin(model(train704)).
3752bought(fish).
3753shops(mary).
3754end(model(train704)).
3755
3756begin(model(train705)).
3757bought(spaghetti).
3758shops(mary).
3759end(model(train705)).
3760
3761begin(model(train706)).
3762bought(spaghetti).
3763shops(mary).
3764end(model(train706)).
3765
3766begin(model(train707)).
3767bought(fish).
3768shops(mary).
3769end(model(train707)).
3770
3771begin(model(train708)).
3772bought(spaghetti).
3773shops(mary).
3774end(model(train708)).
3775
3776begin(model(train709)).
3777bought(fish).
3778shops(mary).
3779end(model(train709)).
3780
3781begin(model(train710)).
3782bought(fish).
3783shops(mary).
3784end(model(train710)).
3785
3786begin(model(train711)).
3787end(model(train711)).
3788
3789begin(model(train712)).
3790bought(fish).
3791shops(mary).
3792end(model(train712)).
3793
3794begin(model(train713)).
3795bought(fish).
3796bought(spaghetti).
3797shops(mary).
3798shops(john).
3799end(model(train713)).
3800
3801begin(model(train714)).
3802bought(fish).
3803shops(mary).
3804end(model(train714)).
3805
3806begin(model(train715)).
3807bought(spaghetti).
3808shops(mary).
3809end(model(train715)).
3810
3811begin(model(train716)).
3812bought(fish).
3813shops(mary).
3814end(model(train716)).
3815
3816begin(model(train717)).
3817bought(spaghetti).
3818shops(john).
3819end(model(train717)).
3820
3821begin(model(train718)).
3822bought(fish).
3823shops(mary).
3824end(model(train718)).
3825
3826begin(model(train719)).
3827bought(fish).
3828shops(mary).
3829end(model(train719)).
3830
3831begin(model(train720)).
3832bought(fish).
3833shops(mary).
3834end(model(train720)).
3835
3836begin(model(train721)).
3837bought(fish).
3838shops(mary).
3839end(model(train721)).
3840
3841begin(model(train722)).
3842bought(spaghetti).
3843shops(mary).
3844end(model(train722)).
3845
3846begin(model(train723)).
3847bought(fish).
3848shops(mary).
3849end(model(train723)).
3850
3851begin(model(train724)).
3852bought(spaghetti).
3853shops(mary).
3854end(model(train724)).
3855
3856begin(model(train725)).
3857bought(fish).
3858shops(mary).
3859end(model(train725)).
3860
3861begin(model(train726)).
3862bought(fish).
3863shops(mary).
3864end(model(train726)).
3865
3866begin(model(train727)).
3867bought(spaghetti).
3868shops(mary).
3869end(model(train727)).
3870
3871begin(model(train728)).
3872bought(fish).
3873shops(mary).
3874end(model(train728)).
3875
3876begin(model(train729)).
3877bought(fish).
3878bought(steak).
3879shops(mary).
3880shops(john).
3881end(model(train729)).
3882
3883begin(model(train730)).
3884bought(spaghetti).
3885shops(mary).
3886end(model(train730)).
3887
3888begin(model(train731)).
3889bought(spaghetti).
3890shops(mary).
3891end(model(train731)).
3892
3893begin(model(train732)).
3894bought(fish).
3895shops(mary).
3896end(model(train732)).
3897
3898begin(model(train733)).
3899bought(fish).
3900shops(mary).
3901end(model(train733)).
3902
3903begin(model(train734)).
3904bought(fish).
3905shops(mary).
3906end(model(train734)).
3907
3908begin(model(train735)).
3909bought(spaghetti).
3910shops(mary).
3911end(model(train735)).
3912
3913begin(model(train736)).
3914bought(fish).
3915shops(mary).
3916end(model(train736)).
3917
3918begin(model(train737)).
3919bought(fish).
3920shops(mary).
3921end(model(train737)).
3922
3923begin(model(train738)).
3924bought(spaghetti).
3925shops(mary).
3926end(model(train738)).
3927
3928begin(model(train739)).
3929bought(spaghetti).
3930shops(mary).
3931end(model(train739)).
3932
3933begin(model(train740)).
3934bought(fish).
3935shops(mary).
3936end(model(train740)).
3937
3938begin(model(train741)).
3939bought(fish).
3940bought(spaghetti).
3941shops(mary).
3942shops(john).
3943end(model(train741)).
3944
3945begin(model(train742)).
3946bought(fish).
3947shops(mary).
3948end(model(train742)).
3949
3950begin(model(train743)).
3951bought(fish).
3952bought(steak).
3953shops(mary).
3954shops(john).
3955end(model(train743)).
3956
3957begin(model(train744)).
3958bought(fish).
3959bought(spaghetti).
3960shops(mary).
3961shops(john).
3962end(model(train744)).
3963
3964begin(model(train745)).
3965bought(spaghetti).
3966shops(mary).
3967end(model(train745)).
3968
3969begin(model(train746)).
3970bought(spaghetti).
3971shops(mary).
3972end(model(train746)).
3973
3974begin(model(train747)).
3975bought(fish).
3976shops(mary).
3977end(model(train747)).
3978
3979begin(model(train748)).
3980bought(spaghetti).
3981shops(mary).
3982end(model(train748)).
3983
3984begin(model(train749)).
3985bought(fish).
3986shops(mary).
3987end(model(train749)).
3988
3989begin(model(train750)).
3990bought(fish).
3991bought(spaghetti).
3992shops(mary).
3993shops(john).
3994end(model(train750)).
3995
3996begin(model(train751)).
3997bought(spaghetti).
3998shops(mary).
3999end(model(train751)).
4000
4001begin(model(train752)).
4002bought(spaghetti).
4003shops(mary).
4004end(model(train752)).
4005
4006begin(model(train753)).
4007bought(fish).
4008shops(mary).
4009end(model(train753)).
4010
4011begin(model(train754)).
4012bought(fish).
4013shops(mary).
4014end(model(train754)).
4015
4016begin(model(train755)).
4017bought(fish).
4018shops(mary).
4019end(model(train755)).
4020
4021begin(model(train756)).
4022bought(fish).
4023shops(mary).
4024end(model(train756)).
4025
4026begin(model(train757)).
4027bought(fish).
4028bought(spaghetti).
4029shops(mary).
4030shops(john).
4031end(model(train757)).
4032
4033begin(model(train758)).
4034bought(fish).
4035shops(mary).
4036end(model(train758)).
4037
4038begin(model(train759)).
4039bought(fish).
4040shops(mary).
4041end(model(train759)).
4042
4043begin(model(train760)).
4044bought(fish).
4045shops(mary).
4046end(model(train760)).
4047
4048begin(model(train761)).
4049bought(fish).
4050bought(steak).
4051shops(mary).
4052shops(john).
4053end(model(train761)).
4054
4055begin(model(train762)).
4056bought(spaghetti).
4057shops(mary).
4058end(model(train762)).
4059
4060begin(model(train763)).
4061bought(fish).
4062shops(mary).
4063end(model(train763)).
4064
4065begin(model(train764)).
4066bought(fish).
4067shops(mary).
4068end(model(train764)).
4069
4070begin(model(train765)).
4071bought(fish).
4072shops(mary).
4073end(model(train765)).
4074
4075begin(model(train766)).
4076bought(fish).
4077shops(mary).
4078end(model(train766)).
4079
4080begin(model(train767)).
4081bought(fish).
4082shops(mary).
4083end(model(train767)).
4084
4085begin(model(train768)).
4086bought(spaghetti).
4087shops(mary).
4088end(model(train768)).
4089
4090begin(model(train769)).
4091bought(fish).
4092shops(mary).
4093end(model(train769)).
4094
4095begin(model(train770)).
4096bought(spaghetti).
4097shops(mary).
4098end(model(train770)).
4099
4100begin(model(train771)).
4101bought(fish).
4102shops(mary).
4103end(model(train771)).
4104
4105begin(model(train772)).
4106bought(fish).
4107shops(mary).
4108end(model(train772)).
4109
4110begin(model(train773)).
4111bought(spaghetti).
4112shops(mary).
4113end(model(train773)).
4114
4115begin(model(train774)).
4116bought(fish).
4117shops(mary).
4118end(model(train774)).
4119
4120begin(model(train775)).
4121bought(fish).
4122shops(mary).
4123end(model(train775)).
4124
4125begin(model(train776)).
4126bought(spaghetti).
4127shops(mary).
4128end(model(train776)).
4129
4130begin(model(train777)).
4131bought(spaghetti).
4132shops(mary).
4133end(model(train777)).
4134
4135begin(model(train778)).
4136bought(fish).
4137bought(steak).
4138shops(mary).
4139shops(john).
4140end(model(train778)).
4141
4142begin(model(train779)).
4143bought(spaghetti).
4144shops(john).
4145end(model(train779)).
4146
4147begin(model(train780)).
4148bought(fish).
4149shops(mary).
4150end(model(train780)).
4151
4152begin(model(train781)).
4153bought(spaghetti).
4154shops(mary).
4155end(model(train781)).
4156
4157begin(model(train782)).
4158bought(fish).
4159shops(mary).
4160end(model(train782)).
4161
4162begin(model(train783)).
4163bought(fish).
4164shops(mary).
4165end(model(train783)).
4166
4167begin(model(train784)).
4168bought(fish).
4169shops(mary).
4170end(model(train784)).
4171
4172begin(model(train785)).
4173bought(spaghetti).
4174shops(mary).
4175end(model(train785)).
4176
4177begin(model(train786)).
4178bought(spaghetti).
4179bought(steak).
4180shops(mary).
4181shops(john).
4182end(model(train786)).
4183
4184begin(model(train787)).
4185bought(fish).
4186shops(mary).
4187end(model(train787)).
4188
4189begin(model(train788)).
4190bought(spaghetti).
4191shops(mary).
4192end(model(train788)).
4193
4194begin(model(train789)).
4195end(model(train789)).
4196
4197begin(model(train790)).
4198bought(fish).
4199shops(mary).
4200end(model(train790)).
4201
4202begin(model(train791)).
4203bought(fish).
4204shops(mary).
4205end(model(train791)).
4206
4207begin(model(train792)).
4208bought(fish).
4209shops(mary).
4210end(model(train792)).
4211
4212begin(model(train793)).
4213bought(fish).
4214bought(spaghetti).
4215shops(mary).
4216shops(john).
4217end(model(train793)).
4218
4219begin(model(train794)).
4220bought(spaghetti).
4221shops(mary).
4222end(model(train794)).
4223
4224begin(model(train795)).
4225bought(fish).
4226shops(mary).
4227end(model(train795)).
4228
4229begin(model(train796)).
4230bought(fish).
4231shops(mary).
4232end(model(train796)).
4233
4234begin(model(train797)).
4235bought(fish).
4236shops(mary).
4237end(model(train797)).
4238
4239begin(model(train798)).
4240bought(spaghetti).
4241shops(mary).
4242end(model(train798)).
4243
4244begin(model(train799)).
4245bought(fish).
4246shops(mary).
4247end(model(train799)).
4248
4249begin(model(train800)).
4250bought(fish).
4251shops(mary).
4252end(model(train800)).
4253
4254begin(model(train801)).
4255bought(fish).
4256bought(steak).
4257shops(mary).
4258shops(john).
4259end(model(train801)).
4260
4261begin(model(train802)).
4262bought(spaghetti).
4263shops(mary).
4264end(model(train802)).
4265
4266begin(model(train803)).
4267bought(fish).
4268shops(mary).
4269end(model(train803)).
4270
4271begin(model(train804)).
4272bought(spaghetti).
4273shops(mary).
4274end(model(train804)).
4275
4276begin(model(train805)).
4277bought(spaghetti).
4278shops(mary).
4279end(model(train805)).
4280
4281begin(model(train806)).
4282bought(fish).
4283bought(spaghetti).
4284shops(mary).
4285shops(john).
4286end(model(train806)).
4287
4288begin(model(train807)).
4289bought(fish).
4290bought(spaghetti).
4291shops(mary).
4292shops(john).
4293end(model(train807)).
4294
4295begin(model(train808)).
4296bought(fish).
4297shops(mary).
4298end(model(train808)).
4299
4300begin(model(train809)).
4301bought(fish).
4302shops(mary).
4303end(model(train809)).
4304
4305begin(model(train810)).
4306bought(fish).
4307shops(mary).
4308end(model(train810)).
4309
4310begin(model(train811)).
4311bought(fish).
4312shops(mary).
4313end(model(train811)).
4314
4315begin(model(train812)).
4316bought(fish).
4317shops(mary).
4318end(model(train812)).
4319
4320begin(model(train813)).
4321bought(fish).
4322bought(steak).
4323shops(mary).
4324shops(john).
4325end(model(train813)).
4326
4327begin(model(train814)).
4328bought(fish).
4329shops(mary).
4330end(model(train814)).
4331
4332begin(model(train815)).
4333bought(fish).
4334bought(spaghetti).
4335shops(mary).
4336shops(john).
4337end(model(train815)).
4338
4339begin(model(train816)).
4340bought(fish).
4341bought(steak).
4342shops(mary).
4343shops(john).
4344end(model(train816)).
4345
4346begin(model(train817)).
4347bought(fish).
4348shops(mary).
4349end(model(train817)).
4350
4351begin(model(train818)).
4352bought(spaghetti).
4353shops(mary).
4354end(model(train818)).
4355
4356begin(model(train819)).
4357bought(spaghetti).
4358shops(mary).
4359end(model(train819)).
4360
4361begin(model(train820)).
4362bought(fish).
4363shops(mary).
4364end(model(train820)).
4365
4366begin(model(train821)).
4367bought(spaghetti).
4368shops(john).
4369end(model(train821)).
4370
4371begin(model(train822)).
4372bought(fish).
4373shops(mary).
4374end(model(train822)).
4375
4376begin(model(train823)).
4377bought(fish).
4378shops(mary).
4379end(model(train823)).
4380
4381begin(model(train824)).
4382bought(fish).
4383shops(mary).
4384end(model(train824)).
4385
4386begin(model(train825)).
4387bought(fish).
4388shops(mary).
4389end(model(train825)).
4390
4391begin(model(train826)).
4392bought(fish).
4393shops(mary).
4394end(model(train826)).
4395
4396begin(model(train827)).
4397bought(fish).
4398shops(mary).
4399end(model(train827)).
4400
4401begin(model(train828)).
4402bought(fish).
4403bought(steak).
4404shops(mary).
4405shops(john).
4406end(model(train828)).
4407
4408begin(model(train829)).
4409bought(fish).
4410shops(mary).
4411end(model(train829)).
4412
4413begin(model(train830)).
4414bought(fish).
4415shops(mary).
4416end(model(train830)).
4417
4418begin(model(train831)).
4419bought(spaghetti).
4420bought(steak).
4421shops(mary).
4422shops(john).
4423end(model(train831)).
4424
4425begin(model(train832)).
4426bought(spaghetti).
4427shops(mary).
4428end(model(train832)).
4429
4430begin(model(train833)).
4431bought(fish).
4432shops(mary).
4433end(model(train833)).
4434
4435begin(model(train834)).
4436bought(fish).
4437bought(steak).
4438shops(mary).
4439shops(john).
4440end(model(train834)).
4441
4442begin(model(train835)).
4443bought(fish).
4444shops(mary).
4445end(model(train835)).
4446
4447begin(model(train836)).
4448bought(fish).
4449shops(mary).
4450end(model(train836)).
4451
4452begin(model(train837)).
4453bought(spaghetti).
4454shops(mary).
4455end(model(train837)).
4456
4457begin(model(train838)).
4458bought(fish).
4459shops(mary).
4460end(model(train838)).
4461
4462begin(model(train839)).
4463bought(fish).
4464shops(mary).
4465end(model(train839)).
4466
4467begin(model(train840)).
4468bought(fish).
4469shops(mary).
4470end(model(train840)).
4471
4472begin(model(train841)).
4473bought(fish).
4474shops(mary).
4475end(model(train841)).
4476
4477begin(model(train842)).
4478bought(fish).
4479shops(mary).
4480end(model(train842)).
4481
4482begin(model(train843)).
4483bought(fish).
4484shops(mary).
4485end(model(train843)).
4486
4487begin(model(train844)).
4488bought(fish).
4489shops(mary).
4490end(model(train844)).
4491
4492begin(model(train845)).
4493bought(fish).
4494shops(mary).
4495end(model(train845)).
4496
4497begin(model(train846)).
4498bought(fish).
4499shops(mary).
4500end(model(train846)).
4501
4502begin(model(train847)).
4503bought(spaghetti).
4504shops(mary).
4505end(model(train847)).
4506
4507begin(model(train848)).
4508bought(spaghetti).
4509shops(mary).
4510end(model(train848)).
4511
4512begin(model(train849)).
4513bought(fish).
4514shops(mary).
4515end(model(train849)).
4516
4517begin(model(train850)).
4518bought(spaghetti).
4519shops(mary).
4520end(model(train850)).
4521
4522begin(model(train851)).
4523bought(fish).
4524shops(mary).
4525end(model(train851)).
4526
4527begin(model(train852)).
4528bought(spaghetti).
4529bought(steak).
4530shops(mary).
4531shops(john).
4532end(model(train852)).
4533
4534begin(model(train853)).
4535bought(fish).
4536shops(mary).
4537end(model(train853)).
4538
4539begin(model(train854)).
4540bought(spaghetti).
4541shops(mary).
4542end(model(train854)).
4543
4544begin(model(train855)).
4545bought(fish).
4546shops(mary).
4547end(model(train855)).
4548
4549begin(model(train856)).
4550bought(fish).
4551shops(mary).
4552end(model(train856)).
4553
4554begin(model(train857)).
4555bought(fish).
4556bought(steak).
4557shops(mary).
4558shops(john).
4559end(model(train857)).
4560
4561begin(model(train858)).
4562bought(fish).
4563shops(mary).
4564end(model(train858)).
4565
4566begin(model(train859)).
4567bought(spaghetti).
4568shops(mary).
4569end(model(train859)).
4570
4571begin(model(train860)).
4572bought(spaghetti).
4573shops(mary).
4574end(model(train860)).
4575
4576begin(model(train861)).
4577bought(fish).
4578shops(mary).
4579end(model(train861)).
4580
4581begin(model(train862)).
4582bought(fish).
4583bought(spaghetti).
4584shops(mary).
4585shops(john).
4586end(model(train862)).
4587
4588begin(model(train863)).
4589bought(fish).
4590shops(mary).
4591end(model(train863)).
4592
4593begin(model(train864)).
4594bought(fish).
4595bought(spaghetti).
4596shops(mary).
4597shops(john).
4598end(model(train864)).
4599
4600begin(model(train865)).
4601bought(fish).
4602bought(steak).
4603shops(mary).
4604shops(john).
4605end(model(train865)).
4606
4607begin(model(train866)).
4608bought(spaghetti).
4609shops(mary).
4610end(model(train866)).
4611
4612begin(model(train867)).
4613bought(fish).
4614shops(mary).
4615end(model(train867)).
4616
4617begin(model(train868)).
4618bought(fish).
4619shops(mary).
4620end(model(train868)).
4621
4622begin(model(train869)).
4623bought(fish).
4624bought(spaghetti).
4625shops(mary).
4626shops(john).
4627end(model(train869)).
4628
4629begin(model(train870)).
4630bought(fish).
4631shops(mary).
4632end(model(train870)).
4633
4634begin(model(train871)).
4635bought(spaghetti).
4636shops(mary).
4637end(model(train871)).
4638
4639begin(model(train872)).
4640bought(fish).
4641shops(mary).
4642end(model(train872)).
4643
4644begin(model(train873)).
4645bought(spaghetti).
4646shops(mary).
4647end(model(train873)).
4648
4649begin(model(train874)).
4650bought(spaghetti).
4651shops(mary).
4652end(model(train874)).
4653
4654begin(model(train875)).
4655bought(spaghetti).
4656shops(mary).
4657end(model(train875)).
4658
4659begin(model(train876)).
4660bought(fish).
4661shops(mary).
4662end(model(train876)).
4663
4664begin(model(train877)).
4665bought(steak).
4666shops(john).
4667end(model(train877)).
4668
4669begin(model(train878)).
4670bought(steak).
4671shops(john).
4672end(model(train878)).
4673
4674begin(model(train879)).
4675bought(fish).
4676shops(mary).
4677end(model(train879)).
4678
4679begin(model(train880)).
4680bought(spaghetti).
4681shops(mary).
4682end(model(train880)).
4683
4684begin(model(train881)).
4685bought(spaghetti).
4686shops(john).
4687end(model(train881)).
4688
4689begin(model(train882)).
4690bought(fish).
4691shops(mary).
4692end(model(train882)).
4693
4694begin(model(train883)).
4695bought(spaghetti).
4696bought(steak).
4697shops(mary).
4698shops(john).
4699end(model(train883)).
4700
4701begin(model(train884)).
4702bought(fish).
4703shops(mary).
4704end(model(train884)).
4705
4706begin(model(train885)).
4707bought(fish).
4708shops(mary).
4709end(model(train885)).
4710
4711begin(model(train886)).
4712bought(fish).
4713shops(mary).
4714end(model(train886)).
4715
4716begin(model(train887)).
4717bought(fish).
4718shops(mary).
4719end(model(train887)).
4720
4721begin(model(train888)).
4722bought(spaghetti).
4723shops(mary).
4724end(model(train888)).
4725
4726begin(model(train889)).
4727bought(fish).
4728shops(mary).
4729end(model(train889)).
4730
4731begin(model(train890)).
4732bought(fish).
4733shops(mary).
4734end(model(train890)).
4735
4736begin(model(train891)).
4737bought(fish).
4738bought(steak).
4739shops(mary).
4740shops(john).
4741end(model(train891)).
4742
4743begin(model(train892)).
4744bought(spaghetti).
4745shops(mary).
4746end(model(train892)).
4747
4748begin(model(train893)).
4749bought(fish).
4750shops(mary).
4751end(model(train893)).
4752
4753begin(model(train894)).
4754bought(fish).
4755shops(mary).
4756end(model(train894)).
4757
4758begin(model(train895)).
4759bought(fish).
4760bought(spaghetti).
4761shops(mary).
4762shops(john).
4763end(model(train895)).
4764
4765begin(model(train896)).
4766bought(spaghetti).
4767shops(mary).
4768end(model(train896)).
4769
4770begin(model(train897)).
4771bought(fish).
4772bought(spaghetti).
4773shops(mary).
4774shops(john).
4775end(model(train897)).
4776
4777begin(model(train898)).
4778bought(fish).
4779shops(mary).
4780end(model(train898)).
4781
4782begin(model(train899)).
4783bought(fish).
4784shops(mary).
4785end(model(train899)).
4786
4787begin(model(train900)).
4788bought(fish).
4789shops(mary).
4790end(model(train900)).
4791
4792begin(model(train901)).
4793bought(fish).
4794shops(mary).
4795end(model(train901)).
4796
4797begin(model(train902)).
4798bought(fish).
4799bought(spaghetti).
4800shops(mary).
4801shops(john).
4802end(model(train902)).
4803
4804begin(model(train903)).
4805bought(steak).
4806shops(john).
4807end(model(train903)).
4808
4809begin(model(train904)).
4810bought(fish).
4811shops(mary).
4812end(model(train904)).
4813
4814begin(model(train905)).
4815bought(fish).
4816bought(steak).
4817shops(mary).
4818shops(john).
4819end(model(train905)).
4820
4821begin(model(train906)).
4822bought(spaghetti).
4823shops(mary).
4824end(model(train906)).
4825
4826begin(model(train907)).
4827bought(fish).
4828bought(spaghetti).
4829shops(mary).
4830shops(john).
4831end(model(train907)).
4832
4833begin(model(train908)).
4834bought(fish).
4835shops(mary).
4836end(model(train908)).
4837
4838begin(model(train909)).
4839bought(fish).
4840shops(mary).
4841end(model(train909)).
4842
4843begin(model(train910)).
4844bought(fish).
4845bought(spaghetti).
4846shops(mary).
4847shops(john).
4848end(model(train910)).
4849
4850begin(model(train911)).
4851bought(fish).
4852shops(mary).
4853end(model(train911)).
4854
4855begin(model(train912)).
4856bought(fish).
4857shops(mary).
4858end(model(train912)).
4859
4860begin(model(train913)).
4861bought(fish).
4862shops(mary).
4863end(model(train913)).
4864
4865begin(model(train914)).
4866bought(fish).
4867shops(mary).
4868end(model(train914)).
4869
4870begin(model(train915)).
4871bought(fish).
4872shops(mary).
4873end(model(train915)).
4874
4875begin(model(train916)).
4876bought(fish).
4877shops(mary).
4878end(model(train916)).
4879
4880begin(model(train917)).
4881bought(spaghetti).
4882shops(mary).
4883end(model(train917)).
4884
4885begin(model(train918)).
4886end(model(train918)).
4887
4888begin(model(train919)).
4889bought(fish).
4890shops(mary).
4891end(model(train919)).
4892
4893begin(model(train920)).
4894bought(fish).
4895shops(mary).
4896end(model(train920)).
4897
4898begin(model(train921)).
4899bought(fish).
4900shops(mary).
4901end(model(train921)).
4902
4903begin(model(train922)).
4904bought(fish).
4905shops(mary).
4906end(model(train922)).
4907
4908begin(model(train923)).
4909bought(steak).
4910shops(john).
4911end(model(train923)).
4912
4913begin(model(train924)).
4914bought(fish).
4915shops(mary).
4916end(model(train924)).
4917
4918begin(model(train925)).
4919bought(spaghetti).
4920shops(mary).
4921end(model(train925)).
4922
4923begin(model(train926)).
4924bought(fish).
4925shops(mary).
4926end(model(train926)).
4927
4928begin(model(train927)).
4929bought(fish).
4930shops(mary).
4931end(model(train927)).
4932
4933begin(model(train928)).
4934bought(spaghetti).
4935shops(mary).
4936end(model(train928)).
4937
4938begin(model(train929)).
4939bought(fish).
4940shops(mary).
4941end(model(train929)).
4942
4943begin(model(train930)).
4944end(model(train930)).
4945
4946begin(model(train931)).
4947bought(fish).
4948bought(spaghetti).
4949shops(mary).
4950shops(john).
4951end(model(train931)).
4952
4953begin(model(train932)).
4954bought(fish).
4955shops(mary).
4956end(model(train932)).
4957
4958begin(model(train933)).
4959bought(fish).
4960bought(steak).
4961shops(mary).
4962shops(john).
4963end(model(train933)).
4964
4965begin(model(train934)).
4966bought(fish).
4967shops(mary).
4968end(model(train934)).
4969
4970begin(model(train935)).
4971bought(fish).
4972shops(mary).
4973end(model(train935)).
4974
4975begin(model(train936)).
4976bought(fish).
4977shops(mary).
4978end(model(train936)).
4979
4980begin(model(train937)).
4981bought(fish).
4982bought(spaghetti).
4983shops(mary).
4984shops(john).
4985end(model(train937)).
4986
4987begin(model(train938)).
4988end(model(train938)).
4989
4990begin(model(train939)).
4991bought(spaghetti).
4992shops(mary).
4993end(model(train939)).
4994
4995begin(model(train940)).
4996bought(fish).
4997bought(steak).
4998shops(mary).
4999shops(john).
5000end(model(train940)).
5001
5002begin(model(train941)).
5003bought(fish).
5004shops(mary).
5005end(model(train941)).
5006
5007begin(model(train942)).
5008bought(fish).
5009shops(mary).
5010end(model(train942)).
5011
5012begin(model(train943)).
5013bought(spaghetti).
5014shops(mary).
5015end(model(train943)).
5016
5017begin(model(train944)).
5018bought(spaghetti).
5019shops(mary).
5020end(model(train944)).
5021
5022begin(model(train945)).
5023bought(spaghetti).
5024shops(mary).
5025end(model(train945)).
5026
5027begin(model(train946)).
5028bought(spaghetti).
5029shops(mary).
5030end(model(train946)).
5031
5032begin(model(train947)).
5033bought(fish).
5034shops(mary).
5035end(model(train947)).
5036
5037begin(model(train948)).
5038bought(spaghetti).
5039shops(mary).
5040end(model(train948)).
5041
5042begin(model(train949)).
5043bought(fish).
5044shops(mary).
5045end(model(train949)).
5046
5047begin(model(train950)).
5048bought(spaghetti).
5049shops(mary).
5050end(model(train950)).
5051
5052begin(model(train951)).
5053bought(spaghetti).
5054shops(mary).
5055end(model(train951)).
5056
5057begin(model(train952)).
5058bought(fish).
5059shops(mary).
5060end(model(train952)).
5061
5062begin(model(train953)).
5063bought(fish).
5064shops(mary).
5065end(model(train953)).
5066
5067begin(model(train954)).
5068bought(fish).
5069shops(mary).
5070end(model(train954)).
5071
5072begin(model(train955)).
5073bought(fish).
5074bought(spaghetti).
5075shops(mary).
5076shops(john).
5077end(model(train955)).
5078
5079begin(model(train956)).
5080bought(fish).
5081shops(mary).
5082end(model(train956)).
5083
5084begin(model(train957)).
5085bought(fish).
5086shops(mary).
5087end(model(train957)).
5088
5089begin(model(train958)).
5090bought(fish).
5091bought(spaghetti).
5092shops(mary).
5093shops(john).
5094end(model(train958)).
5095
5096begin(model(train959)).
5097bought(fish).
5098shops(mary).
5099end(model(train959)).
5100
5101begin(model(train960)).
5102bought(fish).
5103shops(mary).
5104end(model(train960)).
5105
5106begin(model(train961)).
5107bought(fish).
5108shops(mary).
5109end(model(train961)).
5110
5111begin(model(train962)).
5112bought(fish).
5113bought(steak).
5114shops(mary).
5115shops(john).
5116end(model(train962)).
5117
5118begin(model(train963)).
5119bought(fish).
5120shops(mary).
5121end(model(train963)).
5122
5123begin(model(train964)).
5124bought(fish).
5125shops(mary).
5126end(model(train964)).
5127
5128begin(model(train965)).
5129bought(fish).
5130shops(mary).
5131end(model(train965)).
5132
5133begin(model(train966)).
5134bought(fish).
5135shops(mary).
5136end(model(train966)).
5137
5138begin(model(train967)).
5139bought(spaghetti).
5140shops(mary).
5141end(model(train967)).
5142
5143begin(model(train968)).
5144bought(fish).
5145shops(mary).
5146end(model(train968)).
5147
5148begin(model(train969)).
5149bought(fish).
5150shops(mary).
5151end(model(train969)).
5152
5153begin(model(train970)).
5154bought(spaghetti).
5155shops(mary).
5156end(model(train970)).
5157
5158begin(model(train971)).
5159bought(spaghetti).
5160shops(mary).
5161end(model(train971)).
5162
5163begin(model(train972)).
5164bought(spaghetti).
5165shops(mary).
5166end(model(train972)).
5167
5168begin(model(train973)).
5169bought(spaghetti).
5170shops(mary).
5171end(model(train973)).
5172
5173begin(model(train974)).
5174bought(fish).
5175bought(steak).
5176shops(mary).
5177shops(john).
5178end(model(train974)).
5179
5180begin(model(train975)).
5181bought(fish).
5182shops(mary).
5183end(model(train975)).
5184
5185begin(model(train976)).
5186bought(fish).
5187shops(mary).
5188end(model(train976)).
5189
5190begin(model(train977)).
5191bought(fish).
5192shops(mary).
5193end(model(train977)).
5194
5195begin(model(train978)).
5196end(model(train978)).
5197
5198begin(model(train979)).
5199bought(fish).
5200shops(mary).
5201end(model(train979)).
5202
5203begin(model(train980)).
5204bought(fish).
5205shops(mary).
5206end(model(train980)).
5207
5208begin(model(train981)).
5209bought(spaghetti).
5210shops(mary).
5211end(model(train981)).
5212
5213begin(model(train982)).
5214bought(fish).
5215shops(mary).
5216end(model(train982)).
5217
5218begin(model(train983)).
5219bought(spaghetti).
5220bought(steak).
5221shops(mary).
5222shops(john).
5223end(model(train983)).
5224
5225begin(model(train984)).
5226bought(fish).
5227bought(steak).
5228shops(mary).
5229shops(john).
5230end(model(train984)).
5231
5232begin(model(train985)).
5233bought(spaghetti).
5234shops(mary).
5235end(model(train985)).
5236
5237begin(model(train986)).
5238bought(fish).
5239shops(mary).
5240end(model(train986)).
5241
5242begin(model(train987)).
5243bought(fish).
5244shops(mary).
5245end(model(train987)).
5246
5247begin(model(train988)).
5248bought(fish).
5249bought(spaghetti).
5250shops(mary).
5251shops(john).
5252end(model(train988)).
5253
5254begin(model(train989)).
5255bought(spaghetti).
5256shops(john).
5257end(model(train989)).
5258
5259begin(model(train990)).
5260bought(fish).
5261shops(mary).
5262end(model(train990)).
5263
5264begin(model(train991)).
5265bought(fish).
5266shops(mary).
5267end(model(train991)).
5268
5269begin(model(train992)).
5270bought(spaghetti).
5271shops(mary).
5272end(model(train992)).
5273
5274begin(model(train993)).
5275bought(fish).
5276shops(mary).
5277end(model(train993)).
5278
5279begin(model(train994)).
5280bought(spaghetti).
5281shops(mary).
5282end(model(train994)).
5283
5284begin(model(train995)).
5285bought(fish).
5286shops(mary).
5287end(model(train995)).
5288
5289begin(model(train996)).
5290bought(fish).
5291shops(mary).
5292end(model(train996)).
5293
5294begin(model(train997)).
5295bought(fish).
5296shops(mary).
5297end(model(train997)).
5298
5299begin(model(train998)).
5300bought(fish).
5301shops(mary).
5302end(model(train998)).
5303
5304begin(model(train999)).
5305bought(fish).
5306shops(mary).
5307end(model(train999)).
5308
5309begin(model(train1000)).
5310bought(fish).
5311bought(steak).
5312shops(mary).
5313shops(john).
5314end(model(train1000)).
5315
5317begin(model(1)).
5318bought(fish).
5319shops(mary).
5320end(model(1)).
5321
5322begin(model(2)).
5323bought(fish).
5324shops(mary).
5325end(model(2)).
5326
5327begin(model(3)).
5328bought(fish).
5329bought(steak).
5330shops(mary).
5331shops(john).
5332end(model(3)).
5333
5334begin(model(4)).
5335bought(fish).
5336shops(mary).
5337end(model(4)).
5338
5339begin(model(5)).
5340bought(spaghetti).
5341shops(mary).
5342end(model(5)).
5343
5344begin(model(6)).
5345bought(fish).
5346bought(spaghetti).
5347shops(mary).
5348shops(john).
5349end(model(6)).
5350
5351begin(model(7)).
5352bought(fish).
5353shops(mary).
5354end(model(7)).
5355
5356begin(model(8)).
5357bought(fish).
5358shops(mary).
5359end(model(8)).
5360
5361begin(model(9)).
5362end(model(9)).
5363
5364begin(model(10)).
5365bought(fish).
5366bought(steak).
5367shops(mary).
5368shops(john).
5369end(model(10)).
5370
5371begin(model(11)).
5372bought(fish).
5373shops(mary).
5374end(model(11)).
5375
5376begin(model(12)).
5377bought(spaghetti).
5378shops(mary).
5379end(model(12)).
5380
5381begin(model(13)).
5382bought(fish).
5383shops(mary).
5384end(model(13)).
5385
5386begin(model(14)).
5387bought(fish).
5388shops(mary).
5389end(model(14)).
5390
5391begin(model(15)).
5392bought(fish).
5393shops(mary).
5394end(model(15)).
5395
5396begin(model(16)).
5397bought(fish).
5398bought(spaghetti).
5399shops(mary).
5400shops(john).
5401end(model(16)).
5402
5403begin(model(17)).
5404bought(fish).
5405shops(mary).
5406end(model(17)).
5407
5408begin(model(18)).
5409bought(fish).
5410shops(mary).
5411end(model(18)).
5412
5413begin(model(19)).
5414bought(fish).
5415shops(mary).
5416end(model(19)).
5417
5418begin(model(20)).
5419end(model(20)).
5420
5421begin(model(21)).
5422bought(spaghetti).
5423shops(mary).
5424end(model(21)).
5425
5426begin(model(22)).
5427bought(fish).
5428shops(mary).
5429end(model(22)).
5430
5431begin(model(23)).
5432bought(fish).
5433shops(mary).
5434end(model(23)).
5435
5436begin(model(24)).
5437bought(spaghetti).
5438shops(mary).
5439end(model(24)).
5440
5441begin(model(25)).
5442bought(fish).
5443shops(mary).
5444end(model(25)).
5445
5446begin(model(26)).
5447bought(fish).
5448bought(spaghetti).
5449shops(mary).
5450shops(john).
5451end(model(26)).
5452
5453begin(model(27)).
5454bought(spaghetti).
5455shops(mary).
5456end(model(27)).
5457
5458begin(model(28)).
5459bought(spaghetti).
5460shops(mary).
5461end(model(28)).
5462
5463begin(model(29)).
5464bought(fish).
5465bought(spaghetti).
5466shops(mary).
5467shops(john).
5468end(model(29)).
5469
5470begin(model(30)).
5471bought(fish).
5472shops(mary).
5473end(model(30)).
5474
5475begin(model(31)).
5476bought(spaghetti).
5477shops(john).
5478end(model(31)).
5479
5480begin(model(32)).
5481bought(fish).
5482shops(mary).
5483end(model(32)).
5484
5485begin(model(33)).
5486bought(spaghetti).
5487shops(mary).
5488end(model(33)).
5489
5490begin(model(34)).
5491bought(spaghetti).
5492shops(mary).
5493end(model(34)).
5494
5495begin(model(35)).
5496bought(fish).
5497shops(mary).
5498end(model(35)).
5499
5500begin(model(36)).
5501bought(fish).
5502shops(mary).
5503end(model(36)).
5504
5505begin(model(37)).
5506bought(spaghetti).
5507shops(mary).
5508end(model(37)).
5509
5510begin(model(38)).
5511bought(fish).
5512shops(mary).
5513end(model(38)).
5514
5515begin(model(39)).
5516bought(fish).
5517shops(mary).
5518end(model(39)).
5519
5520begin(model(40)).
5521bought(fish).
5522shops(mary).
5523end(model(40)).
5524
5525begin(model(41)).
5526bought(spaghetti).
5527shops(john).
5528end(model(41)).
5529
5530begin(model(42)).
5531bought(spaghetti).
5532shops(mary).
5533end(model(42)).
5534
5535begin(model(43)).
5536bought(spaghetti).
5537shops(mary).
5538end(model(43)).
5539
5540begin(model(44)).
5541bought(fish).
5542bought(steak).
5543shops(mary).
5544shops(john).
5545end(model(44)).
5546
5547begin(model(45)).
5548bought(fish).
5549shops(mary).
5550end(model(45)).
5551
5552begin(model(46)).
5553bought(fish).
5554shops(mary).
5555end(model(46)).
5556
5557begin(model(47)).
5558bought(spaghetti).
5559shops(mary).
5560end(model(47)).
5561
5562begin(model(48)).
5563bought(fish).
5564shops(mary).
5565end(model(48)).
5566
5567begin(model(49)).
5568bought(fish).
5569shops(mary).
5570end(model(49)).
5571
5572begin(model(50)).
5573bought(fish).
5574shops(mary).
5575end(model(50)).
5576
5577begin(model(51)).
5578bought(fish).
5579bought(spaghetti).
5580shops(mary).
5581shops(john).
5582end(model(51)).
5583
5584begin(model(52)).
5585end(model(52)).
5586
5587begin(model(53)).
5588bought(spaghetti).
5589shops(mary).
5590end(model(53)).
5591
5592begin(model(54)).
5593bought(fish).
5594shops(mary).
5595end(model(54)).
5596
5597begin(model(55)).
5598bought(fish).
5599bought(spaghetti).
5600shops(mary).
5601shops(john).
5602end(model(55)).
5603
5604begin(model(56)).
5605bought(spaghetti).
5606shops(mary).
5607end(model(56)).
5608
5609begin(model(57)).
5610bought(fish).
5611bought(steak).
5612shops(mary).
5613shops(john).
5614end(model(57)).
5615
5616begin(model(58)).
5617bought(fish).
5618shops(mary).
5619end(model(58)).
5620
5621begin(model(59)).
5622bought(spaghetti).
5623shops(mary).
5624end(model(59)).
5625
5626begin(model(60)).
5627bought(fish).
5628shops(mary).
5629end(model(60)).
5630
5631begin(model(61)).
5632bought(fish).
5633shops(mary).
5634end(model(61)).
5635
5636begin(model(62)).
5637bought(fish).
5638bought(spaghetti).
5639shops(mary).
5640shops(john).
5641end(model(62)).
5642
5643begin(model(63)).
5644bought(fish).
5645shops(mary).
5646end(model(63)).
5647
5648begin(model(64)).
5649bought(fish).
5650shops(mary).
5651end(model(64)).
5652
5653begin(model(65)).
5654bought(spaghetti).
5655shops(mary).
5656end(model(65)).
5657
5658begin(model(66)).
5659bought(spaghetti).
5660shops(mary).
5661end(model(66)).
5662
5663begin(model(67)).
5664bought(fish).
5665shops(mary).
5666end(model(67)).
5667
5668begin(model(68)).
5669bought(fish).
5670shops(mary).
5671end(model(68)).
5672
5673begin(model(69)).
5674bought(fish).
5675bought(spaghetti).
5676shops(mary).
5677shops(john).
5678end(model(69)).
5679
5680begin(model(70)).
5681bought(spaghetti).
5682shops(mary).
5683end(model(70)).
5684
5685begin(model(71)).
5686bought(fish).
5687shops(mary).
5688end(model(71)).
5689
5690begin(model(72)).
5691bought(fish).
5692bought(spaghetti).
5693shops(mary).
5694shops(john).
5695end(model(72)).
5696
5697begin(model(73)).
5698bought(fish).
5699shops(mary).
5700end(model(73)).
5701
5702begin(model(74)).
5703bought(spaghetti).
5704shops(mary).
5705end(model(74)).
5706
5707begin(model(75)).
5708bought(spaghetti).
5709bought(steak).
5710shops(mary).
5711shops(john).
5712end(model(75)).
5713
5714begin(model(76)).
5715bought(spaghetti).
5716shops(mary).
5717shops(john).
5718end(model(76)).
5719
5720begin(model(77)).
5721bought(fish).
5722bought(steak).
5723shops(mary).
5724shops(john).
5725end(model(77)).
5726
5727begin(model(78)).
5728bought(spaghetti).
5729shops(mary).
5730shops(john).
5731end(model(78)).
5732
5733begin(model(79)).
5734bought(spaghetti).
5735shops(mary).
5736end(model(79)).
5737
5738begin(model(80)).
5739bought(fish).
5740shops(mary).
5741end(model(80)).
5742
5743begin(model(81)).
5744bought(spaghetti).
5745shops(mary).
5746end(model(81)).
5747
5748begin(model(82)).
5749bought(fish).
5750shops(mary).
5751end(model(82)).
5752
5753begin(model(83)).
5754bought(fish).
5755shops(mary).
5756end(model(83)).
5757
5758begin(model(84)).
5759bought(fish).
5760shops(mary).
5761end(model(84)).
5762
5763begin(model(85)).
5764bought(fish).
5765bought(spaghetti).
5766shops(mary).
5767shops(john).
5768end(model(85)).
5769
5770begin(model(86)).
5771bought(fish).
5772shops(mary).
5773end(model(86)).
5774
5775begin(model(87)).
5776bought(spaghetti).
5777shops(mary).
5778end(model(87)).
5779
5780begin(model(88)).
5781bought(fish).
5782shops(mary).
5783end(model(88)).
5784
5785begin(model(89)).
5786bought(spaghetti).
5787shops(mary).
5788end(model(89)).
5789
5790begin(model(90)).
5791end(model(90)).
5792
5793begin(model(91)).
5794bought(fish).
5795bought(steak).
5796shops(mary).
5797shops(john).
5798end(model(91)).
5799
5800begin(model(92)).
5801bought(spaghetti).
5802shops(mary).
5803end(model(92)).
5804
5805begin(model(93)).
5806bought(fish).
5807shops(mary).
5808end(model(93)).
5809
5810begin(model(94)).
5811bought(fish).
5812bought(steak).
5813shops(mary).
5814shops(john).
5815end(model(94)).
5816
5817begin(model(95)).
5818bought(fish).
5819shops(mary).
5820end(model(95)).
5821
5822begin(model(96)).
5823end(model(96)).
5824
5825begin(model(97)).
5826bought(fish).
5827shops(mary).
5828end(model(97)).
5829
5830begin(model(98)).
5831bought(fish).
5832shops(mary).
5833end(model(98)).
5834
5835begin(model(99)).
5836bought(fish).
5837shops(mary).
5838end(model(99)).
5839
5840begin(model(100)).
5841bought(fish).
5842shops(mary).
5843end(model(100)).
5844
5845begin(model(101)).
5846bought(fish).
5847shops(mary).
5848end(model(101)).
5849
5850begin(model(102)).
5851bought(fish).
5852shops(mary).
5853end(model(102)).
5854
5855begin(model(103)).
5856bought(fish).
5857shops(mary).
5858end(model(103)).
5859
5860begin(model(104)).
5861bought(spaghetti).
5862shops(mary).
5863end(model(104)).
5864
5865begin(model(105)).
5866bought(fish).
5867shops(mary).
5868end(model(105)).
5869
5870begin(model(106)).
5871bought(spaghetti).
5872shops(mary).
5873end(model(106)).
5874
5875begin(model(107)).
5876end(model(107)).
5877
5878begin(model(108)).
5879bought(fish).
5880shops(mary).
5881end(model(108)).
5882
5883begin(model(109)).
5884bought(spaghetti).
5885shops(mary).
5886end(model(109)).
5887
5888begin(model(110)).
5889bought(spaghetti).
5890shops(mary).
5891end(model(110)).
5892
5893begin(model(111)).
5894bought(fish).
5895shops(mary).
5896end(model(111)).
5897
5898begin(model(112)).
5899bought(fish).
5900shops(mary).
5901end(model(112)).
5902
5903begin(model(113)).
5904bought(fish).
5905shops(mary).
5906end(model(113)).
5907
5908begin(model(114)).
5909bought(fish).
5910shops(mary).
5911end(model(114)).
5912
5913begin(model(115)).
5914end(model(115)).
5915
5916begin(model(116)).
5917bought(fish).
5918shops(mary).
5919end(model(116)).
5920
5921begin(model(117)).
5922bought(fish).
5923shops(mary).
5924end(model(117)).
5925
5926begin(model(118)).
5927bought(fish).
5928bought(spaghetti).
5929shops(mary).
5930shops(john).
5931end(model(118)).
5932
5933begin(model(119)).
5934bought(spaghetti).
5935bought(steak).
5936shops(mary).
5937shops(john).
5938end(model(119)).
5939
5940begin(model(120)).
5941bought(fish).
5942shops(mary).
5943end(model(120)).
5944
5945begin(model(121)).
5946bought(fish).
5947bought(spaghetti).
5948shops(mary).
5949shops(john).
5950end(model(121)).
5951
5952begin(model(122)).
5953end(model(122)).
5954
5955begin(model(123)).
5956bought(fish).
5957shops(mary).
5958end(model(123)).
5959
5960begin(model(124)).
5961bought(fish).
5962shops(mary).
5963end(model(124)).
5964
5965begin(model(125)).
5966bought(spaghetti).
5967shops(mary).
5968end(model(125)).
5969
5970begin(model(126)).
5971bought(fish).
5972shops(mary).
5973end(model(126)).
5974
5975begin(model(127)).
5976bought(fish).
5977shops(mary).
5978end(model(127)).
5979
5980begin(model(128)).
5981bought(fish).
5982shops(mary).
5983end(model(128)).
5984
5985begin(model(129)).
5986bought(spaghetti).
5987shops(mary).
5988end(model(129)).
5989
5990begin(model(130)).
5991bought(fish).
5992shops(mary).
5993end(model(130)).
5994
5995begin(model(131)).
5996end(model(131)).
5997
5998begin(model(132)).
5999bought(spaghetti).
6000shops(mary).
6001end(model(132)).
6002
6003begin(model(133)).
6004bought(fish).
6005shops(mary).
6006end(model(133)).
6007
6008begin(model(134)).
6009bought(fish).
6010bought(spaghetti).
6011shops(mary).
6012shops(john).
6013end(model(134)).
6014
6015begin(model(135)).
6016bought(fish).
6017shops(mary).
6018end(model(135)).
6019
6020begin(model(136)).
6021bought(fish).
6022shops(mary).
6023end(model(136)).
6024
6025begin(model(137)).
6026bought(fish).
6027shops(mary).
6028end(model(137)).
6029
6030begin(model(138)).
6031bought(fish).
6032bought(spaghetti).
6033shops(mary).
6034shops(john).
6035end(model(138)).
6036
6037begin(model(139)).
6038end(model(139)).
6039
6040begin(model(140)).
6041bought(fish).
6042shops(mary).
6043end(model(140)).
6044
6045begin(model(141)).
6046bought(spaghetti).
6047shops(mary).
6048end(model(141)).
6049
6050begin(model(142)).
6051bought(fish).
6052shops(mary).
6053end(model(142)).
6054
6055begin(model(143)).
6056end(model(143)).
6057
6058begin(model(144)).
6059bought(fish).
6060shops(mary).
6061end(model(144)).
6062
6063begin(model(145)).
6064bought(fish).
6065shops(mary).
6066end(model(145)).
6067
6068begin(model(146)).
6069bought(spaghetti).
6070shops(mary).
6071end(model(146)).
6072
6073begin(model(147)).
6074bought(fish).
6075shops(mary).
6076end(model(147)).
6077
6078begin(model(148)).
6079bought(spaghetti).
6080shops(mary).
6081end(model(148)).
6082
6083begin(model(149)).
6084bought(fish).
6085shops(mary).
6086end(model(149)).
6087
6088begin(model(150)).
6089bought(spaghetti).
6090shops(mary).
6091end(model(150)).
6092
6093begin(model(151)).
6094bought(spaghetti).
6095shops(mary).
6096end(model(151)).
6097
6098begin(model(152)).
6099bought(spaghetti).
6100shops(mary).
6101end(model(152)).
6102
6103begin(model(153)).
6104bought(fish).
6105bought(steak).
6106shops(mary).
6107shops(john).
6108end(model(153)).
6109
6110begin(model(154)).
6111bought(fish).
6112shops(mary).
6113end(model(154)).
6114
6115begin(model(155)).
6116bought(fish).
6117shops(mary).
6118end(model(155)).
6119
6120begin(model(156)).
6121bought(fish).
6122shops(mary).
6123end(model(156)).
6124
6125begin(model(157)).
6126bought(spaghetti).
6127shops(mary).
6128end(model(157)).
6129
6130begin(model(158)).
6131bought(fish).
6132bought(spaghetti).
6133shops(mary).
6134shops(john).
6135end(model(158)).
6136
6137begin(model(159)).
6138bought(fish).
6139shops(mary).
6140end(model(159)).
6141
6142begin(model(160)).
6143bought(steak).
6144shops(john).
6145end(model(160)).
6146
6147begin(model(161)).
6148end(model(161)).
6149
6150begin(model(162)).
6151bought(fish).
6152shops(mary).
6153end(model(162)).
6154
6155begin(model(163)).
6156bought(fish).
6157shops(mary).
6158end(model(163)).
6159
6160begin(model(164)).
6161bought(spaghetti).
6162shops(mary).
6163end(model(164)).
6164
6165begin(model(165)).
6166bought(spaghetti).
6167shops(mary).
6168shops(john).
6169end(model(165)).
6170
6171begin(model(166)).
6172bought(fish).
6173shops(mary).
6174end(model(166)).
6175
6176begin(model(167)).
6177bought(spaghetti).
6178shops(mary).
6179end(model(167)).
6180
6181begin(model(168)).
6182bought(fish).
6183shops(mary).
6184end(model(168)).
6185
6186begin(model(169)).
6187bought(spaghetti).
6188shops(mary).
6189end(model(169)).
6190
6191begin(model(170)).
6192bought(spaghetti).
6193shops(mary).
6194end(model(170)).
6195
6196begin(model(171)).
6197bought(fish).
6198shops(mary).
6199end(model(171)).
6200
6201begin(model(172)).
6202bought(spaghetti).
6203shops(mary).
6204shops(john).
6205end(model(172)).
6206
6207begin(model(173)).
6208bought(fish).
6209bought(steak).
6210shops(mary).
6211shops(john).
6212end(model(173)).
6213
6214begin(model(174)).
6215bought(spaghetti).
6216shops(mary).
6217end(model(174)).
6218
6219begin(model(175)).
6220bought(fish).
6221shops(mary).
6222end(model(175)).
6223
6224begin(model(176)).
6225bought(fish).
6226shops(mary).
6227end(model(176)).
6228
6229begin(model(177)).
6230bought(fish).
6231shops(mary).
6232end(model(177)).
6233
6234begin(model(178)).
6235end(model(178)).
6236
6237begin(model(179)).
6238bought(spaghetti).
6239shops(mary).
6240end(model(179)).
6241
6242begin(model(180)).
6243bought(spaghetti).
6244shops(mary).
6245end(model(180)).
6246
6247begin(model(181)).
6248bought(fish).
6249shops(mary).
6250end(model(181)).
6251
6252begin(model(182)).
6253end(model(182)).
6254
6255begin(model(183)).
6256bought(spaghetti).
6257shops(mary).
6258end(model(183)).
6259
6260begin(model(184)).
6261end(model(184)).
6262
6263begin(model(185)).
6264bought(spaghetti).
6265shops(mary).
6266shops(john).
6267end(model(185)).
6268
6269begin(model(186)).
6270bought(spaghetti).
6271shops(mary).
6272end(model(186)).
6273
6274begin(model(187)).
6275bought(spaghetti).
6276shops(john).
6277end(model(187)).
6278
6279begin(model(188)).
6280bought(fish).
6281shops(mary).
6282end(model(188)).
6283
6284begin(model(189)).
6285bought(fish).
6286bought(spaghetti).
6287shops(mary).
6288shops(john).
6289end(model(189)).
6290
6291begin(model(190)).
6292bought(spaghetti).
6293shops(mary).
6294end(model(190)).
6295
6296begin(model(191)).
6297bought(spaghetti).
6298bought(steak).
6299shops(mary).
6300shops(john).
6301end(model(191)).
6302
6303begin(model(192)).
6304bought(spaghetti).
6305shops(mary).
6306end(model(192)).
6307
6308begin(model(193)).
6309bought(fish).
6310shops(mary).
6311end(model(193)).
6312
6313begin(model(194)).
6314bought(fish).
6315shops(mary).
6316end(model(194)).
6317
6318begin(model(195)).
6319bought(fish).
6320shops(mary).
6321end(model(195)).
6322
6323begin(model(196)).
6324bought(spaghetti).
6325bought(steak).
6326shops(mary).
6327shops(john).
6328end(model(196)).
6329
6330begin(model(197)).
6331bought(spaghetti).
6332shops(john).
6333end(model(197)).
6334
6335begin(model(198)).
6336end(model(198)).
6337
6338begin(model(199)).
6339bought(fish).
6340bought(steak).
6341shops(mary).
6342shops(john).
6343end(model(199)).
6344
6345begin(model(200)).
6346bought(spaghetti).
6347shops(mary).
6348end(model(200)).
6349
6350begin(model(201)).
6351bought(spaghetti).
6352shops(mary).
6353end(model(201)).
6354
6355begin(model(202)).
6356bought(spaghetti).
6357shops(mary).
6358shops(john).
6359end(model(202)).
6360
6361begin(model(203)).
6362bought(spaghetti).
6363shops(mary).
6364end(model(
?-
induce_par([train],P). ?-induce_par([train],[test],P,LL,AUCROC,ROC,AUCPR,PR). */