ampl:
ampl:
ampl: model a8.txt;
card(Codes) = 168

card(Codes2) = 4032

card(Codes3) = 16128

card(Codes4) = 6720

card(Codes5) = 4032

card(Codes6) = 1344

card(Codes7) = 192

card(Codes8) = 0

n = 11

set  S[n,2] := x;

set  S[n,1] := y;

set  S[n,0] := z;

n = 12

set  S[n,2] := x;

set  S[n,1] := y;

set  S[n,0] := x z;

n = 13

set  S[n,2] := x;

set  S[n,1] := y;

set  S[n,0] := y z;

n = 14

set  S[n,2] := x;

set  S[n,1] := y;

set  S[n,0] := x y z;

n = 18

set  S[n,2] := x;

set  S[n,1] := x y;

set  S[n,0] := z;

n = 19

set  S[n,2] := x;

set  S[n,1] := x y;

set  S[n,0] := x z;

n = 20

set  S[n,2] := x;

set  S[n,1] := x y;

set  S[n,0] := y z;

n = 21

set  S[n,2] := x;

set  S[n,1] := x y;

set  S[n,0] := x y z;

n = 27

set  S[n,2] := x;

set  S[n,1] := z;

set  S[n,0] := y z;

n = 28

set  S[n,2] := x;

set  S[n,1] := z;

set  S[n,0] := x y z;

n = 34

set  S[n,2] := x;

set  S[n,1] := x z;

set  S[n,0] := y z;

n = 35

set  S[n,2] := x;

set  S[n,1] := x z;

set  S[n,0] := x y z;

n = 67

set  S[n,2] := y;

set  S[n,1] := x y;

set  S[n,0] := z;

n = 68

set  S[n,2] := y;

set  S[n,1] := x y;

set  S[n,0] := x z;

n = 69

set  S[n,2] := y;

set  S[n,1] := x y;

set  S[n,0] := y z;

n = 70

set  S[n,2] := y;

set  S[n,1] := x y;

set  S[n,0] := x y z;

n = 75

set  S[n,2] := y;

set  S[n,1] := z;

set  S[n,0] := x z;

n = 77

set  S[n,2] := y;

set  S[n,1] := z;

set  S[n,0] := x y z;

n = 83

set  S[n,2] := y;

set  S[n,1] := x z;

set  S[n,0] := y z;

n = 91

set  S[n,2] := y;

set  S[n,1] := y z;

set  S[n,0] := x y z;

n = 124

set  S[n,2] := x y;

set  S[n,1] := z;

set  S[n,0] := x z;

n = 125

set  S[n,2] := x y;

set  S[n,1] := z;

set  S[n,0] := y z;

n = 133

set  S[n,2] := x y;

set  S[n,1] := x z;

set  S[n,0] := x y z;

n = 140

set  S[n,2] := x y;

set  S[n,1] := y z;

set  S[n,0] := x y z;

n = 181

set  S[n,2] := z;

set  S[n,1] := x z;

set  S[n,0] := y z;

n = 182

set  S[n,2] := z;

set  S[n,1] := x z;

set  S[n,0] := x y z;

n = 189

set  S[n,2] := z;

set  S[n,1] := y z;

set  S[n,0] := x y z;

n = 238

set  S[n,2] := x z;

set  S[n,1] := y z;

set  S[n,0] := x y z;

set Codes7 :=
(11,73,140,167,198,292,323)   (30,53,125,157,239,266,334)
(11,75,134,182,241,247,314)   (30,56,124,185,211,291,307)
(11,78,145,153,212,273,332)   (30,68,140,155,241,249,321)
(11,83,142,189,220,260,299)   (30,69,137,190,206,273,299)
(11,85,124,150,217,289,328)   (30,75,105,167,235,290,302)
(11,89,120,177,244,266,297)   (30,77,103,195,207,260,332)
(11,94,133,163,202,267,334)   (30,95,111,166,238,267,297)
(11,97,128,185,224,250,309)   (30,97,109,187,217,248,316)
(12,71,137,163,203,290,328)   (31,54,125,189,214,289,302)
(12,77,135,178,244,249,309)   (31,55,124,161,242,260,331)
(12,80,146,149,217,267,333)   (31,67,140,194,209,267,296)
(12,81,141,185,223,266,296)   (31,70,137,159,244,247,316)
(12,87,125,154,212,291,323)   (31,75,104,191,204,266,333)
(12,91,121,181,241,260,298)   (31,77,102,163,232,292,307)
(12,92,130,167,199,273,331)   (31,95,112,183,212,250,321)
(12,95,127,189,219,248,314)   (31,97,110,162,233,273,298)
(13,71,140,177,242,248,313)   (34,53,121,183,217,292,304)
(13,77,134,166,199,289,326)   (34,56,120,159,241,261,333)
(13,80,145,183,224,261,298)   (34,67,135,161,239,248,320)
(13,81,142,154,211,269,334)   (34,70,134,191,207,271,297)
(13,87,124,182,239,263,296)   (34,71,105,194,206,263,331)
(13,91,120,149,214,292,325)   (34,73,103,162,238,289,305)
(13,92,133,187,220,249,310)   (34,92,112,163,235,269,299)
(13,95,128,162,203,271,332)   (34,94,110,189,211,249,317)
(14,73,137,181,239,250,310)   (35,54,121,155,244,263,332)
(14,75,135,162,202,291,325)   (35,55,120,187,212,290,305)
(14,78,146,187,219,263,297)   (35,68,135,195,204,269,298)
(14,83,141,150,214,271,331)   (35,69,134,157,242,250,317)
(14,85,125,178,242,261,299)   (35,71,104,166,233,291,304)
(14,89,121,153,211,290,326)   (35,73,102,190,209,261,334)
(14,94,130,183,223,247,313)   (35,92,111,185,214,247,320)
(14,97,127,166,198,269,333)   (35,94,109,167,232,271,296)
(18,71,145,178,238,247,307)   (37,53,146,159,224,260,325)
(18,75,141,149,209,280,332)   (37,56,145,181,214,267,304)
(18,80,140,191,223,253,299)   (37,68,133,153,242,255,316)
(18,83,135,157,203,292,316)   (37,69,130,194,203,269,302)
(18,87,133,195,219,250,302)   (37,75,112,190,199,263,328)
(18,89,127,154,206,289,321)   (37,77,110,150,239,277,314)
(18,92,124,181,233,259,297)   (37,95,104,178,211,259,320)
(18,97,121,161,199,274,334)   (37,97,102,155,220,280,313)
(19,73,146,182,233,249,302)   (38,54,146,177,211,273,305)
(19,77,142,153,206,274,333)   (38,55,145,155,219,266,326)
(19,78,137,195,220,259,296)   (38,67,133,190,198,271,307)
(19,81,134,161,198,290,321)   (38,70,130,149,239,257,321)
(19,85,130,191,224,248,307)   (38,75,111,154,242,275,309)
(19,91,128,150,209,291,316)   (38,77,109,194,202,261,323)
(19,94,125,177,238,253,298)   (38,95,105,159,223,274,310)
(19,95,120,157,202,280,331)   (38,97,103,182,214,253,317)
(20,73,145,154,204,277,331)   (39,54,141,161,220,261,328)
(20,77,141,177,235,250,304)   (39,55,142,178,217,271,302)
(20,78,140,159,199,291,317)   (39,68,127,191,202,273,304)
(20,81,135,190,224,257,297)   (39,69,128,154,241,253,320)
(20,85,133,149,207,290,320)   (39,71,110,195,198,266,325)
(20,91,127,194,220,247,305)   (39,73,112,149,244,274,313)
(20,94,124,155,203,275,333)   (39,92,103,157,224,275,314)
(20,95,121,182,232,255,299)   (39,94,105,181,212,257,316)
(21,71,146,150,207,275,334)   (40,53,141,182,212,269,307)
(21,75,142,181,232,248,305)   (40,56,142,157,223,263,323)
(21,80,137,155,202,289,320)   (40,67,127,150,244,259,317)
(21,83,134,194,219,255,298)   (40,70,128,195,199,267,305)
(21,87,130,153,204,292,317)   (40,71,109,153,241,280,310)
(21,89,128,190,223,249,304)   (40,73,111,191,203,260,326)
(21,92,125,159,198,277,332)   (40,92,102,177,217,255,321)
(21,97,120,178,235,257,296)   (40,94,104,161,219,277,309)
(23,54,133,183,206,291,314)   (44,54,140,181,207,269,309)
(23,55,130,162,241,259,334)   (44,55,137,166,224,255,323)
(23,67,146,185,204,280,299)   (44,67,125,187,203,274,304)
(23,70,145,157,232,249,328)   (44,70,124,153,235,253,325)
(23,81,104,194,217,253,332)   (44,81,111,150,232,273,313)
(23,83,102,159,238,290,309)   (44,83,109,183,199,266,320)
(23,89,112,195,214,248,323)   (44,89,105,162,220,277,307)
(23,91,110,167,242,274,297)   (44,91,103,178,204,263,321)
(24,53,133,166,244,253,331)   (45,53,140,162,219,257,328)
(24,56,130,187,209,289,309)   (45,56,137,177,204,271,314)
(24,68,146,161,235,247,323)   (45,68,125,149,232,259,326)
(24,69,145,189,207,274,296)   (45,69,124,183,198,280,305)
(24,81,105,155,233,292,314)   (45,81,112,187,202,260,317)
(24,83,103,190,212,259,333)   (45,83,110,154,235,267,310)
(24,89,111,163,239,280,298)   (45,89,104,182,207,261,316)
(24,91,109,191,211,250,328)   (45,91,102,166,223,275,302)
(27,53,128,189,204,290,313)   (46,54,134,163,223,259,325)
(27,56,127,163,242,257,332)   (46,55,135,182,206,267,313)
(27,67,142,155,238,250,325)   (46,68,120,189,199,275,307)
(27,70,141,187,206,275,298)   (46,69,121,150,238,257,323)
(27,78,105,191,214,255,334)   (46,78,110,185,203,261,321)
(27,80,103,161,232,291,310)   (46,80,112,153,233,271,309)
(27,85,112,166,241,277,296)   (46,85,103,167,219,280,304)
(27,87,110,190,217,247,326)   (46,87,105,177,209,260,320)
(28,54,128,167,239,255,333)   (47,53,134,178,209,273,310)
(28,55,127,185,207,292,310)   (47,56,135,167,220,253,326)
(28,68,142,183,209,277,297)   (47,67,120,154,233,255,328)
(28,69,141,159,233,248,326)   (47,70,121,185,202,277,302)
(28,78,104,157,235,289,313)   (47,78,109,149,238,269,314)
(28,80,102,195,211,257,331)   (47,80,111,189,198,263,316)
(28,85,111,194,212,249,325)   (47,85,102,181,206,266,317)
(28,87,109,162,244,275,299)   (47,87,104,163,224,274,305);

ampl:
ampl:
ampl: