q(L) :- % Graph N=563, SOURCE=[ 1,1,1,1,1,1,2,3,4,4,4,5,6,7,8,9,9,10,11,12,12,13,13,13,13,13,13,13,14,15,15,16,17,18,18,18,18,18,19,20,20,21,21,21,22,23,23,23,23,24,25,26,27,28,28,29,29,30,30,30,30,31,31,32,32,32,33,33,33,34,35,36,36,36,36,37,38,39,40,40,40,41,41,42,42,42,42,42,42,42,43,43,43,43,43,43,44,45,46,47,47,48,49,50,51,51,51,51,52,53,54,55,56,57,57,57,57,58,59,60,60,61,61,62,62,62,62,62,62,62,62,62,62,62,62,62,62,62,62,62,62,63,64,64,64,65,66,67,67,67,67,67,68,69,70,71,71,71,71,71,71,71,71,71,71,72,73,73,73,74,74,74,75,76,76,76,76,77,78,78,78,79,80,80,80,80,80,80,80,80,80,80,80,80,80,80,81,82,82,82,82,82,82,83,84,85,86,86,87,88,88,88,89,89,89,90,91,91,91,91,91,91,91,91,91,91,92,93,94,94,95,95,95,95,96,96,96,96,96,96,96,96,97,98,99,99,99,100,100,101,102,102,102,102,102,102,102,102,102,102,102,102,102,102,102,102,102,103,104,105,105,105,106,107,107,107,107,107,108,108,109,109,109,109,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,110,111,111,112,112,112,113,113,113,113,113,114,115,115,115,115,115,116,116,116,116,116,117,118,119,119,119,119,119,120,120,120,120,120,120,120,120,120,120,120,120,120,120,120,121,121,121,121,121,121,121,122,123,123,123,124,125,126,126,127,127,127,128,129,129,129,129,129,129,130,130,131,131,131,131,131,132,132,133,134,135,135,135,136,137,138,138,139,140,140,141,141,141,141,141,142,142,142,143,143,143,143,143,144,145,146,146,146,146,146,146,146,147,148,148,148,148,149,150,151,152,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,153,154,155,155,155,155,156,156,156,156,156,157,158,158,158,158,158,158,158,158,158,159,159,160,160,160,161,162,162,162,162,162,163,163,164,164,164,165,166,167,167,167,168,168,169,169,169,169,169,170,171,171,171,171,171,171,171,171,171,172,172,172,173,174,175,176,177,177,178,178,179,179,180,180,180,181,182,182,183,183,184,185,185,186,186,186,186,187,187,188,188,188,188,189,190,191,191,191,191,191,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,192,193,194,195,196,197,198,199,200,201,202,202,203,204,204,204,205,205,205,205,205,205,206,206,206,207,208,208,208,208,208,209,210,210,211,212,213,214,215,216,216,216,216,216,217,217,217,217,217,217,217,217,217,217,217,217,217,217,217,217,217,218,219,219,219,220,221,222,222,222,222,222,222,222,222,222,222,222,222,223,224,225,225,225,226,227,227,227,228,229,230,230,230,230,230,230,231,232,233,234,234,235,236,237,238,239,239,239,239,239,239,239,240,240,241,242,243,244,244,244,245,246,247,248,248,248,248,249,249,250,250,251,251,252,253,253,254,255,256,256,257,257,257,257,257,257,257,257,257,258,258,259,259,259,260,261,262,262,262,262,263,263,264,265,266,267,268,268,268,268,268,268,268,268,268,268,268,269,269,270,271,271,271,272,272,273,274,275,276,276,276,276,277,277,277,277,277,278,278,278,278,278,278,278,278,278,278,278,278,279,280,281,281,281,281,282,282,283,284,285,285,285,286,286,286,287,287,287,287,287,287,287,287,287,287,287,287,287,287,287,287,287,288,289,289,289,289,289,289,289,289,289,290,291,291,291,291,291,291,291,291,292,292,292,292,292,293,293,293,293,293,294,295,295,296,296,296,296,296,296,296,297,297,297,297,297,297,298,299,300,301,301,301,301,301,301,301,301,301,301,301,301,302,302,302,303,304,304,305,305,306,307,308,309,309,309,309,309,309,309,309,309,310,310,311,312,313,314,314,314,314,314,314,314,314,314,314,315,316,317,317,317,318,319,320,321,322,323,323,323,323,323,323,323,323,323,323,323,323,323,324,325,325,325,325,325,325,325,325,325,325,325,325,325,325,325,325,325,325,325,326,326,326,327,327,327,327,327,327,328,328,329,330,330,330,330,330,331,332,332,332,333,334,334,335,335,335,335,335,335,335,336,336,337,337,338,338,338,338,339,339,339,339,340,341,342,342,342,343,343,343,344,344,344,345,345,346,346,346,346,347,348,348,348,349,350,350,350,350,350,350,350,350,351,351,351,352,352,353,353,354,355,356,356,356,356,356,356,356,356,356,357,358,358,359,359,359,359,359,359,359,359,359,359,359,360,360,361,362,362,363,363,363,364,365,365,366,367,367,368,368,368,369,369,369,369,369,369,370,371,371,371,372,372,372,372,372,372,372,372,372,373,373,373,373,373,373,374,374,374,374,374,374,374,375,376,376,376,376,376,376,377,378,378,379,379,380,380,380,381,381,381,382,383,384,385,385,386,386,386,387,388,388,389,390,390,390,390,390,391,391,391,392,393,393,393,393,393,394,395,396,397,397,397,397,397,397,398,399,399,399,399,399,399,399,399,399,399,399,399,399,399,399,399,399,400,400,401,402,403,404,404,404,404,404,404,404,405,405,405,405,405,405,405,405,405,405,405,406,406,407,408,408,408,408,408,408,408,409,410,410,410,410,410,410,410,410,410,410,410,410,411,412,413,413,413,414,414,415,416,417,417,418,418,418,418,418,418,418,418,419,420,420,420,420,420,421,421,421,421,421,422,422,422,422,423,423,424,425,426,427,427,428,428,429,430,431,432,432,432,432,432,433,434,434,434,434,435,436,436,437,438,438,438,438,438,439,439,439,439,439,439,439,439,440,441,441,441,441,441,441,441,441,441,441,441,441,441,441,441,441,441,442,443,443,443,443,443,443,444,444,444,444,444,444,445,445,446,446,447,447,448,448,449,449,449,449,449,449,449,450,450,450,451,451,451,451,452,453,454,454,455,455,455,456,456,456,457,457,457,457,457,457,457,458,458,458,458,458,458,459,459,459,459,459,459,459,459,459,459,459,459,459,460,461,461,461,461,461,462,462,463,463,463,463,463,464,465,465,466,467,467,467,468,468,468,468,468,468,469,470,470,471,472,472,473,473,473,473,473,473,473,473,473,473,473,473,473,473,473,474,474,474,475,475,475,475,475,475,476,476,476,477,477,477,477,477,478,478,478,479,479,480,480,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,481,482,483,483,484,484,484,484,484,485,485,485,486,486,486,486,487,487,487,487,488,489,490,490,491,491,492,493,493,494,495,495,496,497,497,498,499,499,499,499,500,501,501,501,501,501,501,501,501,502,502,502,502,502,502,502,503,503,503,503,503,503,503,503,503,503,504,505,505,505,506,507,507,507,507,508,509,509,509,509,509,509,510,511,511,512,513,514,515,516,517,518,518,518,518,519,520,520,520,520,521,521,521,521,521,522,522,522,522,522,522,522,522,522,522,522,522,522,522,522,523,523,523,524,524,525,525,526,527,527,527,528,528,528,528,528,528,528,528,528,528,528,529,529,530,531,531,531,531,531,531,532,532,533,533,533,533,533,533,533,533,534,534,534,534,535,535,536,536,537,538,539,540,541,542,542,542,542,542,542,542,542,543,543,543,543,543,543,543,543,543,543,543,543,543,544,544,545,546,547,547,548,549,550,550,550,550,550,550,551,552,552,552,552,553,554,555,555,556,556,556,556,557,558,558,558,559,559,560,560,560,560,561,562,562,562,562,563,563 ], TARGET=[ 389,162,360,456,210,314,71,143,404,562,222,287,481,481,18,486,552,110,62,550,399,35,135,105,330,191,140,296,102,281,153,418,468,113,405,369,8,484,325,560,559,146,110,372,217,42,520,80,292,481,473,410,477,459,148,153,483,235,223,257,423,390,129,251,493,117,116,430,376,399,13,545,277,73,446,478,550,441,511,503,528,533,473,284,234,112,23,356,259,171,82,555,297,475,459,186,481,67,327,105,292,293,192,457,350,100,406,253,153,205,110,497,309,309,358,185,330,480,95,373,457,327,289,441,102,278,112,80,217,374,304,481,531,152,522,259,120,11,287,397,345,148,121,444,502,96,287,489,45,289,548,212,336,192,153,128,391,171,504,356,275,2,516,422,361,521,110,107,36,444,121,502,388,541,291,381,151,121,314,411,476,484,356,481,543,323,120,441,439,62,522,217,171,301,23,102,325,43,475,239,332,297,186,408,188,188,399,550,153,371,325,479,156,307,432,346,338,110,243,113,529,153,99,281,208,192,405,472,197,249,348,149,59,247,530,111,165,427,487,431,65,245,130,314,153,529,91,51,350,451,62,287,543,217,481,278,522,301,120,396,377,531,14,441,397,374,80,481,110,47,292,13,268,204,298,73,473,285,368,215,344,222,385,192,518,464,551,250,91,213,277,73,104,252,257,146,557,131,184,21,293,54,533,168,180,524,372,122,125,393,408,10,487,96,62,42,323,222,91,305,153,18,501,325,448,271,410,505,391,422,399,33,449,32,559,178,549,191,216,309,441,80,531,255,102,481,397,365,301,217,62,543,374,287,278,64,523,77,477,74,244,363,110,222,192,331,323,110,335,160,459,164,219,71,263,418,31,405,153,414,97,325,277,372,146,110,339,187,405,399,441,13,368,296,543,287,359,547,335,471,13,327,291,432,373,314,404,562,222,188,3,192,347,435,314,338,180,21,131,110,393,339,257,481,473,28,63,257,95,359,76,62,348,428,196,168,414,308,563,354,338,52,87,281,15,214,503,181,113,99,195,158,340,190,70,208,350,359,129,91,29,326,467,265,473,192,239,350,503,563,561,89,480,432,334,542,463,399,454,491,153,326,302,367,460,222,473,359,126,268,188,1,227,501,169,262,515,192,359,459,127,96,268,562,222,404,153,110,451,282,476,303,162,461,520,71,292,439,80,296,42,323,522,326,467,399,410,327,481,399,358,269,119,216,503,420,146,110,372,153,473,374,192,424,110,57,499,297,43,475,82,405,132,84,85,143,161,542,153,216,13,470,119,507,465,183,230,375,482,367,410,154,513,318,434,143,505,123,109,163,49,473,200,228,443,69,274,540,500,91,429,217,473,153,153,94,550,481,192,542,518,341,380,107,473,285,53,384,543,421,441,481,369,533,413,399,281,417,257,153,91,325,336,1,353,67,110,153,108,191,119,260,178,309,294,287,397,441,102,439,22,278,522,301,62,80,323,481,120,193,543,386,459,359,127,309,542,113,455,230,4,167,109,450,123,142,159,458,385,30,481,346,501,327,520,314,262,162,192,287,192,544,222,404,344,468,410,533,345,42,323,30,542,314,522,503,155,350,475,528,420,82,359,376,461,463,91,121,444,502,96,296,95,353,474,412,547,269,94,110,393,32,456,110,350,51,410,120,521,268,325,277,110,208,30,372,473,146,148,457,373,323,62,42,216,481,451,227,476,162,129,405,337,153,335,287,443,335,166,106,438,494,288,509,256,459,160,249,177,350,115,410,413,459,447,518,192,71,503,528,413,437,131,257,110,36,339,556,62,301,498,102,217,397,441,531,120,543,481,421,293,15,208,153,91,169,337,335,42,204,107,473,400,407,352,217,102,267,386,137,401,229,423,5,66,488,62,403,301,120,425,416,268,485,61,521,493,322,517,67,468,313,474,141,451,388,394,76,560,381,351,105,171,356,47,23,392,110,48,325,280,217,528,459,356,246,409,522,135,171,13,475,43,186,332,379,82,107,542,481,441,531,278,217,102,481,543,312,120,80,287,522,463,158,343,169,62,323,369,113,368,89,153,56,507,470,57,330,220,119,216,499,342,317,477,301,289,362,237,320,78,227,141,144,1,98,501,399,543,325,405,310,192,328,314,543,289,80,259,439,522,333,124,217,112,356,234,324,304,171,323,115,257,405,342,486,390,317,552,408,81,19,88,130,410,209,418,371,395,293,158,172,153,61,141,225,351,46,174,319,465,372,13,309,507,57,499,123,475,297,82,323,156,432,359,268,443,283,139,126,266,68,210,264,282,91,153,417,145,131,277,372,146,153,202,325,405,310,454,495,302,109,542,230,233,62,225,456,433,90,143,497,153,95,522,51,253,155,239,406,100,153,270,373,327,291,473,286,248,211,153,457,80,296,522,71,323,439,42,292,520,432,57,177,164,335,138,240,160,219,443,490,153,150,509,1,449,71,314,546,502,444,121,410,481,120,457,192,158,108,135,306,206,305,484,18,370,408,369,88,390,325,131,339,524,21,257,329,110,180,393,457,60,141,351,436,258,503,420,62,182,120,102,528,192,422,399,449,391,240,33,102,521,438,297,555,449,506,203,291,478,76,522,458,205,109,222,481,287,218,501,75,291,1,31,479,325,371,418,116,71,376,293,250,146,445,110,372,291,325,102,217,278,531,120,62,102,474,176,158,376,560,116,86,207,502,536,449,525,12,422,34,172,315,133,286,533,287,542,287,4,142,458,167,230,450,455,263,325,484,187,342,129,434,18,317,132,92,350,51,286,533,418,325,553,83,369,110,296,26,231,512,364,192,473,254,271,173,115,325,462,78,248,206,276,271,153,129,481,287,208,338,16,129,408,390,434,537,492,325,434,374,503,239,528,179,441,543,205,279,481,376,116,399,71,287,30,183,287,552,487,96,153,483,192,33,96,141,156,357,89,334,346,192,405,418,419,143,373,457,276,521,509,268,378,518,522,217,323,80,441,171,356,481,481,62,301,556,217,421,120,527,80,522,278,439,205,481,39,102,510,134,528,268,335,359,534,485,192,74,64,363,244,477,523,556,393,461,36,459,272,115,505,376,462,550,380,399,360,116,562,222,404,262,169,291,101,533,543,343,158,468,222,404,251,1,346,373,258,436,60,355,50,366,486,404,383,468,222,552,164,28,219,272,127,447,509,534,43,558,526,268,295,158,170,538,554,446,241,449,410,158,302,242,495,491,110,192,328,528,468,172,153,455,467,17,458,289,230,528,309,191,140,93,478,204,25,148,182,107,410,496,352,41,194,192,159,257,285,153,290,248,398,297,239,332,82,43,186,78,169,262,27,121,311,444,502,37,381,472,390,88,156,58,386,80,7,224,102,6,522,440,261,24,120,301,441,62,217,175,365,205,147,439,415,421,199,103,300,527,278,44,192,428,29,79,405,533,369,18,289,509,443,458,9,325,539,111,427,96,501,287,67,534,359,158,463,418,289,32,268,343,463,473,348,55,278,507,309,330,185,192,544,387,114,225,162,487,514,314,363,399,64,244,523,74,477,239,276,40,374,153,155,420,179,508,528,71,448,192,115,380,499,309,330,191,503,438,534,459,268,485,359,441,40,528,410,192,501,163,71,289,110,202,273,438,556,171,226,23,356,438,378,72,289,256,439,481,323,349,102,217,356,441,80,296,382,62,238,171,301,121,444,502,372,110,399,550,459,441,543,481,469,295,40,239,276,466,420,442,503,511,374,91,99,96,301,120,278,397,62,102,558,535,408,400,484,206,41,110,232,452,490,509,459,443,558,532,399,560,418,461,486,192,76,402,189,299,221,157,236,344,201,80,102,421,205,301,453,120,321,527,278,136,217,316,501,230,36,362,138,248,67,119,38,198,449,86,12,525,110,426,325,9,458,408,461,43,379,441,278,445,519,110,532,535,459,118,20,399,20,291,536,156,450,4,167,142,153,155 ], EDGES=[SOURCE,TARGET], % L=[A,B,C,D], fd_domain(A, 0, N), fd_domain(B, 0, N), fd_domain(C, 0, N), fd_domain(D, 0, N), fd_all_different(L), % fd_relationc(EDGES, [A,B]), fd_relationc(EDGES, [B,A]), fd_relationc(EDGES, [A,C]), fd_relationc(EDGES, [C,A]), fd_relationc(EDGES, [A,D]), fd_relationc(EDGES, [D,A]), % fd_labeling(L). doit :- % Fails fd_set_vector_max(564), % Works % fd_set_vector_max(5640), findall(L,q(L),Z), write(Z), nl, length(Z,N), write(N), nl, halt. :- initialization(doit).