***************************************************************************** * www.FindStat.org - The Combinatorial Statistic Finder * * * * Copyright (C) 2019 The FindStatCrew * * * * This information is distributed in the hope that it will be useful, * * but WITHOUT ANY WARRANTY; without even the implied warranty of * * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. * ***************************************************************************** ----------------------------------------------------------------------------- Statistic identifier: St001815 ----------------------------------------------------------------------------- Collection: Posets ----------------------------------------------------------------------------- Description: The number of order preserving surjections from a poset to a total order. ----------------------------------------------------------------------------- References: ----------------------------------------------------------------------------- Code: def statistic(P): p = P.order_polynomial() n = len(P) s = [(-1)^m*sum((-1)^k*binomial(m, k)*p.subs(q=k) for k in range(m+1)) for m in range(n+1)] return sum(s) ----------------------------------------------------------------------------- Statistic values: ([],1) => 1 ([],2) => 3 ([(0,1)],2) => 2 ([],3) => 13 ([(1,2)],3) => 8 ([(0,1),(0,2)],3) => 6 ([(0,2),(2,1)],3) => 4 ([(0,2),(1,2)],3) => 6 ([],4) => 75 ([(2,3)],4) => 44 ([(1,2),(1,3)],4) => 32 ([(0,1),(0,2),(0,3)],4) => 26 ([(0,2),(0,3),(3,1)],4) => 16 ([(0,1),(0,2),(1,3),(2,3)],4) => 12 ([(1,2),(2,3)],4) => 20 ([(0,3),(3,1),(3,2)],4) => 12 ([(1,3),(2,3)],4) => 32 ([(0,3),(1,3),(3,2)],4) => 12 ([(0,3),(1,3),(2,3)],4) => 26 ([(0,3),(1,2)],4) => 26 ([(0,3),(1,2),(1,3)],4) => 22 ([(0,2),(0,3),(1,2),(1,3)],4) => 18 ([(0,3),(2,1),(3,2)],4) => 8 ([(0,3),(1,2),(2,3)],4) => 16 ([],5) => 541 ([(3,4)],5) => 308 ([(2,3),(2,4)],5) => 220 ([(1,2),(1,3),(1,4)],5) => 176 ([(0,1),(0,2),(0,3),(0,4)],5) => 150 ([(0,2),(0,3),(0,4),(4,1)],5) => 88 ([(0,1),(0,2),(0,3),(2,4),(3,4)],5) => 64 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 52 ([(1,3),(1,4),(4,2)],5) => 104 ([(0,3),(0,4),(4,1),(4,2)],5) => 64 ([(1,2),(1,3),(2,4),(3,4)],5) => 76 ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 24 ([(0,3),(0,4),(3,2),(4,1)],5) => 52 ([(0,2),(0,3),(2,4),(3,1),(3,4)],5) => 44 ([(0,1),(0,2),(1,3),(1,4),(2,3),(2,4)],5) => 36 ([(2,3),(3,4)],5) => 132 ([(1,4),(4,2),(4,3)],5) => 76 ([(0,4),(4,1),(4,2),(4,3)],5) => 52 ([(2,4),(3,4)],5) => 220 ([(1,4),(2,4),(4,3)],5) => 76 ([(0,4),(1,4),(4,2),(4,3)],5) => 36 ([(1,4),(2,4),(3,4)],5) => 176 ([(0,4),(1,4),(2,4),(4,3)],5) => 52 ([(0,4),(1,4),(2,4),(3,4)],5) => 150 ([(0,4),(1,4),(2,3)],5) => 126 ([(0,4),(1,3),(2,3),(2,4)],5) => 102 ([(0,4),(1,3),(1,4),(2,3),(2,4)],5) => 90 ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => 78 ([(0,4),(1,4),(2,3),(4,2)],5) => 24 ([(0,4),(1,3),(2,3),(3,4)],5) => 64 ([(0,4),(1,4),(2,3),(2,4)],5) => 114 ([(0,4),(1,4),(2,3),(3,4)],5) => 88 ([(1,4),(2,3)],5) => 176 ([(1,4),(2,3),(2,4)],5) => 148 ([(0,4),(1,2),(1,4),(2,3)],5) => 68 ([(0,3),(1,2),(1,3),(2,4),(3,4)],5) => 44 ([(1,3),(1,4),(2,3),(2,4)],5) => 120 ([(0,3),(0,4),(1,3),(1,4),(4,2)],5) => 48 ([(0,3),(0,4),(1,3),(1,4),(3,2),(4,2)],5) => 36 ([(0,4),(1,2),(1,4),(4,3)],5) => 56 ([(0,4),(1,2),(1,3)],5) => 126 ([(0,4),(1,2),(1,3),(1,4)],5) => 114 ([(0,2),(0,4),(3,1),(4,3)],5) => 40 ([(0,4),(1,2),(1,3),(3,4)],5) => 80 ([(0,2),(0,3),(1,4),(2,4),(3,1)],5) => 32 ([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => 64 ([(0,3),(0,4),(1,2),(1,4)],5) => 102 ([(0,3),(0,4),(1,2),(1,3),(1,4)],5) => 90 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4)],5) => 78 ([(0,3),(0,4),(1,2),(1,3),(2,4)],5) => 60 ([(0,3),(1,2),(1,4),(3,4)],5) => 68 ([(0,3),(0,4),(1,2),(2,3),(2,4)],5) => 48 ([(1,4),(3,2),(4,3)],5) => 48 ([(0,3),(3,4),(4,1),(4,2)],5) => 24 ([(1,4),(2,3),(3,4)],5) => 104 ([(0,4),(1,2),(2,4),(4,3)],5) => 32 ([(0,3),(1,4),(4,2)],5) => 76 ([(0,4),(3,2),(4,1),(4,3)],5) => 32 ([(0,4),(1,2),(2,3),(2,4)],5) => 56 ([(0,4),(2,3),(3,1),(4,2)],5) => 16 ([(0,3),(1,2),(2,4),(3,4)],5) => 52 ([(0,4),(1,2),(2,3),(3,4)],5) => 40 ([(0,3),(1,4),(2,4),(3,1),(3,2)],5) => 24 ([],6) => 4683 ([(4,5)],6) => 2612 ([(3,4),(3,5)],6) => 1844 ([(2,3),(2,4),(2,5)],6) => 1460 ([(1,2),(1,3),(1,4),(1,5)],6) => 1232 ([(0,1),(0,2),(0,3),(0,4),(0,5)],6) => 1082 ([(0,2),(0,3),(0,4),(0,5),(5,1)],6) => 616 ([(0,1),(0,2),(0,3),(0,4),(3,5),(4,5)],6) => 440 ([(0,1),(0,2),(0,3),(0,4),(2,5),(3,5),(4,5)],6) => 352 ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 300 ([(1,3),(1,4),(1,5),(5,2)],6) => 704 ([(0,3),(0,4),(0,5),(5,1),(5,2)],6) => 440 ([(1,2),(1,3),(1,4),(3,5),(4,5)],6) => 504 ([(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 404 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6) => 104 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1)],6) => 252 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5)],6) => 204 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 180 ([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 156 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,5)],6) => 228 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 128 ([(0,2),(0,3),(0,4),(3,5),(4,5),(5,1)],6) => 152 ([(0,3),(0,4),(0,5),(4,2),(5,1)],6) => 352 ([(0,2),(0,3),(0,4),(3,5),(4,1),(4,5)],6) => 296 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5)],6) => 240 ([(2,3),(2,4),(4,5)],6) => 840 ([(1,4),(1,5),(5,2),(5,3)],6) => 504 ([(0,4),(0,5),(5,1),(5,2),(5,3)],6) => 352 ([(2,3),(2,4),(3,5),(4,5)],6) => 604 ([(1,2),(1,3),(2,5),(3,5),(5,4)],6) => 176 ([(0,3),(0,4),(3,5),(4,5),(5,1),(5,2)],6) => 72 ([(1,4),(1,5),(4,3),(5,2)],6) => 404 ([(1,3),(1,4),(3,5),(4,2),(4,5)],6) => 340 ([(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 276 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(5,1)],6) => 96 ([(0,1),(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6) => 72 ([(0,3),(0,4),(3,5),(4,1),(4,5),(5,2)],6) => 112 ([(0,4),(0,5),(4,3),(5,1),(5,2)],6) => 252 ([(0,3),(0,4),(3,5),(4,1),(4,2),(4,5)],6) => 228 ([(0,3),(0,4),(3,2),(3,5),(4,1),(4,5)],6) => 204 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5)],6) => 180 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 156 ([(3,4),(4,5)],6) => 1076 ([(2,3),(3,4),(3,5)],6) => 604 ([(1,5),(5,2),(5,3),(5,4)],6) => 404 ([(0,5),(5,1),(5,2),(5,3),(5,4)],6) => 300 ([(2,3),(3,5),(5,4)],6) => 368 ([(1,4),(4,5),(5,2),(5,3)],6) => 176 ([(0,4),(4,5),(5,1),(5,2),(5,3)],6) => 104 ([(3,5),(4,5)],6) => 1844 ([(2,5),(3,5),(5,4)],6) => 604 ([(1,5),(2,5),(5,3),(5,4)],6) => 276 ([(0,5),(1,5),(5,2),(5,3),(5,4)],6) => 156 ([(2,5),(3,5),(4,5)],6) => 1460 ([(1,5),(2,5),(3,5),(5,4)],6) => 404 ([(0,5),(1,5),(2,5),(5,3),(5,4)],6) => 156 ([(1,5),(2,5),(3,5),(4,5)],6) => 1232 ([(0,5),(1,5),(2,5),(3,5),(5,4)],6) => 300 ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 1082 ([(0,5),(1,5),(2,5),(3,4)],6) => 818 ([(0,5),(1,5),(2,5),(3,4),(5,3)],6) => 104 ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => 352 ([(0,5),(1,5),(2,5),(3,4),(3,5)],6) => 766 ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 616 ([(1,5),(2,5),(3,4)],6) => 1032 ([(1,5),(2,4),(3,4),(3,5)],6) => 832 ([(0,5),(1,4),(2,4),(2,5),(5,3)],6) => 292 ([(0,4),(1,3),(2,3),(2,4),(3,5),(4,5)],6) => 204 ([(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 732 ([(0,5),(1,4),(1,5),(2,4),(2,5),(4,3)],6) => 268 ([(0,5),(1,3),(1,5),(2,3),(2,5),(3,4),(5,4)],6) => 180 ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 632 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6) => 208 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6) => 156 ([(0,5),(1,4),(1,5),(2,4),(2,5),(5,3)],6) => 232 ([(1,5),(2,5),(3,4),(5,3)],6) => 176 ([(1,5),(2,4),(3,4),(4,5)],6) => 504 ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 128 ([(0,5),(1,5),(2,3),(5,4)],6) => 340 ([(0,5),(1,5),(4,2),(5,3),(5,4)],6) => 96 ([(0,5),(1,5),(2,4),(5,3),(5,4)],6) => 216 ([(1,5),(2,5),(3,4),(3,5)],6) => 932 ([(0,5),(1,5),(2,3),(2,5),(5,4)],6) => 280 ([(0,5),(1,5),(2,3),(2,5),(3,4)],6) => 404 ([(0,5),(1,5),(2,3),(2,5),(3,4),(5,4)],6) => 228 ([(0,5),(1,5),(2,3),(2,4)],6) => 730 ([(0,5),(1,5),(4,2),(4,3),(5,4)],6) => 72 ([(0,4),(1,4),(2,3),(2,5),(4,5)],6) => 316 ([(0,3),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 192 ([(0,5),(1,5),(2,3),(2,4),(2,5)],6) => 694 ([(0,5),(1,2),(1,4),(3,5),(4,3)],6) => 248 ([(0,3),(0,4),(1,5),(2,5),(4,1),(4,2)],6) => 152 ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6) => 104 ([(0,5),(1,5),(2,3),(2,4),(4,5)],6) => 528 ([(0,5),(1,3),(1,4),(2,5),(3,5),(4,2)],6) => 208 ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6) => 128 ([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 440 ([(1,5),(2,5),(3,4),(4,5)],6) => 704 ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => 176 ([(0,5),(1,5),(2,3),(3,4)],6) => 428 ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 48 ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 252 ([(0,5),(1,4),(3,5),(4,2),(4,3)],6) => 192 ([(0,4),(2,5),(3,5),(4,1),(4,2),(4,3)],6) => 128 ([(0,5),(1,5),(2,3),(3,4),(3,5)],6) => 352 ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 264 ([(0,5),(1,4),(2,5),(3,5),(4,2),(4,3)],6) => 152 ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6) => 104 ([(0,5),(1,5),(2,4),(3,4)],6) => 730 ([(0,5),(1,5),(2,4),(3,4),(3,5)],6) => 642 ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 590 ([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => 554 ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 502 ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => 450 ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 152 ([(0,4),(1,4),(2,5),(3,5),(4,2),(4,3)],6) => 72 ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 440 ([(2,5),(3,4)],6) => 1460 ([(2,5),(3,4),(3,5)],6) => 1224 ([(1,5),(2,3),(2,5),(3,4)],6) => 540 ([(0,5),(1,4),(1,5),(4,2),(4,3)],6) => 316 ([(0,4),(1,2),(1,4),(2,3),(2,5),(4,5)],6) => 180 ([(0,5),(1,2),(1,5),(2,3),(2,4),(5,3),(5,4)],6) => 132 ([(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 340 ([(0,4),(1,2),(1,4),(2,5),(4,5),(5,3)],6) => 88 ([(0,5),(1,4),(1,5),(4,2),(5,3)],6) => 204 ([(0,4),(1,2),(1,4),(2,5),(4,3),(4,5)],6) => 156 ([(2,4),(2,5),(3,4),(3,5)],6) => 988 ([(1,4),(1,5),(2,4),(2,5),(5,3)],6) => 376 ([(0,4),(0,5),(1,4),(1,5),(5,2),(5,3)],6) => 192 ([(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 276 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2)],6) => 156 ([(0,4),(0,5),(1,4),(1,5),(4,3),(5,2),(5,3)],6) => 132 ([(0,4),(0,5),(1,4),(1,5),(4,2),(4,3),(5,2),(5,3)],6) => 108 ([(0,4),(0,5),(1,4),(1,5),(2,3)],6) => 554 ([(0,4),(0,5),(1,4),(1,5),(2,3),(5,2)],6) => 120 ([(0,4),(0,5),(1,4),(1,5),(3,2),(4,3),(5,3)],6) => 72 ([(0,4),(0,5),(1,4),(1,5),(2,3),(4,2),(5,3)],6) => 96 ([(0,5),(1,3),(1,4),(2,3),(2,4),(4,5)],6) => 304 ([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 240 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5)],6) => 482 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,5),(3,4)],6) => 244 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 446 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6) => 316 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,5)],6) => 340 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6) => 264 ([(1,5),(2,3),(2,5),(5,4)],6) => 440 ([(0,5),(1,2),(1,5),(5,3),(5,4)],6) => 216 ([(1,5),(2,3),(2,4)],6) => 1032 ([(1,5),(2,3),(2,4),(2,5)],6) => 932 ([(0,5),(1,3),(1,4),(1,5),(4,2)],6) => 440 ([(0,4),(1,2),(1,3),(1,4),(3,5),(4,5)],6) => 272 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5)],6) => 316 ([(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 228 ([(0,5),(1,2),(1,3),(1,5),(5,4)],6) => 352 ([(0,5),(1,2),(1,3),(1,4)],6) => 818 ([(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 766 ([(0,2),(0,3),(0,5),(4,1),(5,4)],6) => 264 ([(0,5),(1,2),(1,3),(1,4),(4,5)],6) => 528 ([(0,2),(0,3),(0,4),(1,5),(3,5),(4,1)],6) => 208 ([(0,5),(1,2),(1,3),(1,4),(3,5),(4,5)],6) => 416 ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6) => 176 ([(0,5),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 352 ([(0,4),(1,2),(1,3),(1,5),(4,5)],6) => 404 ([(0,3),(1,2),(1,4),(1,5),(3,4),(3,5)],6) => 268 ([(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 208 ([(1,3),(1,5),(4,2),(5,4)],6) => 304 ([(0,3),(0,4),(4,5),(5,1),(5,2)],6) => 152 ([(0,4),(0,5),(3,2),(4,3),(5,1)],6) => 152 ([(0,2),(0,4),(2,5),(3,1),(4,3),(4,5)],6) => 136 ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 88 ([(0,3),(0,4),(2,5),(3,2),(4,1),(4,5)],6) => 136 ([(0,2),(0,3),(1,4),(2,4),(2,5),(3,1),(3,5)],6) => 120 ([(1,5),(2,3),(2,4),(4,5)],6) => 640 ([(0,5),(1,2),(1,3),(3,5),(5,4)],6) => 192 ([(1,3),(1,4),(2,5),(3,5),(4,2)],6) => 240 ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6) => 64 ([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => 504 ([(0,5),(1,2),(1,3),(2,5),(3,5),(5,4)],6) => 128 ([(0,5),(1,3),(1,4),(3,5),(4,2)],6) => 304 ([(0,4),(1,2),(1,3),(2,5),(3,4),(3,5)],6) => 248 ([(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 216 ([(0,4),(1,2),(1,3),(2,5),(3,4),(4,5)],6) => 160 ([(0,3),(0,4),(2,5),(3,5),(4,1),(4,2)],6) => 160 ([(0,5),(1,3),(1,4),(3,5),(4,2),(4,5)],6) => 272 ([(0,4),(1,3),(1,5),(5,2)],6) => 472 ([(0,3),(0,5),(4,2),(5,1),(5,4)],6) => 208 ([(0,5),(1,3),(1,4),(4,2),(4,5)],6) => 360 ([(0,4),(1,2),(1,3),(3,5),(4,5)],6) => 304 ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6) => 80 ([(0,4),(1,2),(1,3),(2,5),(3,5)],6) => 340 ([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => 252 ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 48 ([(0,4),(1,2),(1,3),(2,5),(3,5),(5,4)],6) => 152 ([(1,4),(1,5),(2,3),(2,5)],6) => 832 ([(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 732 ([(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6) => 296 ([(0,4),(0,5),(1,2),(1,4),(1,5),(4,3),(5,3)],6) => 216 ([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 632 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(5,2)],6) => 264 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(4,2),(5,2)],6) => 192 ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 156 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3)],6) => 340 ([(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(5,3)],6) => 224 ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,5),(3,5),(4,5)],6) => 180 ([(0,4),(0,5),(1,3),(1,5),(5,2)],6) => 328 ([(1,4),(1,5),(2,3),(2,4),(3,5)],6) => 476 ([(0,4),(0,5),(1,2),(1,4),(2,5),(4,3)],6) => 188 ([(0,4),(0,5),(1,2),(1,4),(2,5),(5,3)],6) => 152 ([(0,2),(0,5),(1,4),(1,5),(2,4),(4,3),(5,3)],6) => 120 ([(0,3),(0,5),(1,4),(1,5),(4,2)],6) => 372 ([(0,2),(0,4),(1,3),(1,4),(3,5),(4,5)],6) => 248 ([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5)],6) => 268 ([(0,2),(0,5),(1,4),(1,5),(2,3),(2,4),(5,3)],6) => 164 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5)],6) => 256 ([(0,3),(0,4),(1,2),(1,4),(2,5),(3,5),(4,5)],6) => 204 ([(0,4),(0,5),(1,2),(1,4),(2,3),(3,5)],6) => 176 ([(0,4),(0,5),(1,2),(1,3)],6) => 730 ([(0,4),(0,5),(1,2),(1,3),(1,5)],6) => 642 ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 590 ([(0,4),(0,5),(1,2),(1,3),(1,4),(3,5)],6) => 384 ([(0,4),(0,5),(1,2),(1,3),(1,4),(2,5),(3,5)],6) => 292 ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5)],6) => 554 ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 502 ([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5)],6) => 450 ([(0,2),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3)],6) => 316 ([(0,3),(0,4),(1,2),(1,4),(1,5),(3,5)],6) => 348 ([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4)],6) => 244 ([(0,4),(0,5),(1,2),(1,3),(3,5)],6) => 416 ([(0,4),(0,5),(1,2),(1,3),(3,4),(3,5)],6) => 304 ([(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,1)],6) => 96 ([(0,2),(0,4),(2,5),(3,1),(3,5),(4,3)],6) => 112 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,5)],6) => 316 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => 256 ([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4),(3,5)],6) => 224 ([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => 192 ([(0,3),(0,5),(1,2),(1,4),(2,5),(3,4)],6) => 220 ([(1,4),(2,3),(2,5),(4,5)],6) => 540 ([(0,4),(1,3),(1,5),(4,5),(5,2)],6) => 168 ([(1,4),(1,5),(2,3),(3,4),(3,5)],6) => 376 ([(0,4),(0,5),(1,3),(3,4),(3,5),(5,2)],6) => 128 ([(0,2),(1,4),(1,5),(2,4),(2,5),(4,3),(5,3)],6) => 96 ([(0,3),(1,4),(1,5),(3,5),(4,2)],6) => 236 ([(0,3),(1,2),(1,4),(2,5),(3,4),(4,5)],6) => 136 ([(0,3),(1,2),(1,4),(2,5),(3,4),(3,5)],6) => 188 ([(0,5),(1,3),(1,4),(5,2)],6) => 428 ([(0,2),(0,5),(3,4),(4,1),(5,3)],6) => 96 ([(0,5),(4,2),(4,3),(5,1),(5,4)],6) => 128 ([(0,4),(1,3),(1,5),(4,2),(4,5)],6) => 292 ([(0,4),(0,5),(1,2),(2,3),(2,4),(2,5)],6) => 232 ([(0,4),(0,5),(1,2),(2,3),(2,5),(3,4)],6) => 152 ([(2,5),(3,4),(4,5)],6) => 840 ([(1,5),(2,3),(3,5),(5,4)],6) => 240 ([(0,5),(1,2),(2,5),(5,3),(5,4)],6) => 96 ([(1,3),(2,4),(4,5)],6) => 604 ([(1,5),(4,3),(5,2),(5,4)],6) => 240 ([(1,5),(2,3),(3,4),(3,5)],6) => 440 ([(0,5),(1,4),(4,2),(4,5),(5,3)],6) => 144 ([(0,4),(1,5),(5,2),(5,3)],6) => 340 ([(0,5),(4,3),(5,1),(5,2),(5,4)],6) => 176 ([(0,5),(1,4),(4,2),(4,3),(4,5)],6) => 280 ([(1,5),(3,4),(4,2),(5,3)],6) => 112 ([(0,4),(3,5),(4,3),(5,1),(5,2)],6) => 48 ([(1,4),(2,3),(3,5),(4,5)],6) => 404 ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 104 ([(0,5),(1,4),(4,2),(5,3)],6) => 252 ([(0,5),(3,4),(4,2),(5,1),(5,3)],6) => 80 ([(0,3),(1,4),(3,5),(4,2),(4,5)],6) => 204 ([(0,3),(1,2),(2,4),(2,5),(3,4),(3,5)],6) => 156 ([(1,5),(2,3),(3,4),(4,5)],6) => 304 ([(1,4),(2,5),(3,5),(4,2),(4,3)],6) => 176 ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6) => 48 ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 80 ([(0,5),(1,4),(2,3)],6) => 818 ([(0,5),(1,3),(2,4),(2,5)],6) => 686 ([(0,5),(1,4),(2,3),(2,4),(2,5)],6) => 606 ([(0,5),(1,4),(1,5),(3,2),(4,3)],6) => 192 ([(0,4),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => 136 ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => 416 ([(0,4),(1,2),(1,4),(2,5),(3,5),(4,3)],6) => 112 ([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => 296 ([(0,5),(1,3),(1,5),(4,2),(5,4)],6) => 136 ([(0,5),(1,4),(2,3),(2,4),(4,5)],6) => 360 ([(0,4),(1,4),(1,5),(2,3),(2,5)],6) => 562 ([(0,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 482 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 446 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4)],6) => 446 ([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5)],6) => 410 ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 374 ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 338 ([(0,4),(1,3),(1,5),(2,3),(2,4),(4,5)],6) => 268 ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => 526 ([(0,5),(1,4),(1,5),(2,3),(2,4),(3,5)],6) => 384 ([(0,5),(1,4),(1,5),(2,3),(2,5)],6) => 606 ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => 348 ([(0,4),(1,4),(1,5),(2,3),(3,5)],6) => 372 ([(0,5),(1,4),(1,5),(2,3),(3,4),(3,5)],6) => 296 ([(0,4),(1,3),(1,5),(2,5),(4,2)],6) => 192 ([(0,4),(0,5),(1,2),(2,3),(3,4),(3,5)],6) => 120 ([(0,3),(1,4),(1,5),(2,4),(2,5),(3,1),(3,2)],6) => 72 ([(0,4),(2,5),(3,1),(3,5),(4,2),(4,3)],6) => 88 ([(0,5),(1,4),(2,3),(2,5),(4,5)],6) => 440 ([(0,5),(1,3),(4,2),(5,4)],6) => 208 ([(0,5),(3,2),(4,1),(5,3),(5,4)],6) => 104 ([(0,5),(1,4),(3,2),(4,3),(4,5)],6) => 168 ([(0,5),(1,2),(2,3),(2,5),(3,4),(5,4)],6) => 112 ([(0,4),(3,2),(4,5),(5,1),(5,3)],6) => 64 ([(0,5),(1,3),(3,4),(4,2),(4,5)],6) => 136 ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 32 ([(0,5),(1,3),(2,4),(4,5)],6) => 472 ([(0,5),(1,4),(2,3),(3,4),(3,5)],6) => 328 ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 64 ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 208 ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 96 ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6) => 48 ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 152 ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6) => 64 ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 352 ([],7) => 47293 ([(5,6)],7) => 25988 ([(4,5),(4,6)],7) => 18196 ([(3,4),(3,5),(3,6)],7) => 14300 ([(2,3),(2,4),(2,5),(2,6)],7) => 11980 ([(1,2),(1,3),(1,4),(1,5),(1,6)],7) => 10448 ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6)],7) => 9366 ([(0,2),(0,3),(0,4),(0,5),(0,6),(6,1)],7) => 5224 ([(0,1),(0,2),(0,3),(0,4),(0,5),(4,6),(5,6)],7) => 3688 ([(0,1),(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,6)],7) => 2920 ([(0,1),(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6)],7) => 2464 ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2164 ([(1,3),(1,4),(1,5),(1,6),(6,2)],7) => 5840 ([(0,3),(0,4),(0,5),(0,6),(6,1),(6,2)],7) => 3688 ([(1,2),(1,3),(1,4),(1,5),(4,6),(5,6)],7) => 4128 ([(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7) => 3272 ([(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7) => 2764 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7) => 600 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1)],7) => 1636 ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,6)],7) => 1532 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 704 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1)],7) => 808 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,1)],7) => 2064 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6)],7) => 1664 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1464 ([(0,1),(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1264 ([(0,2),(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6)],7) => 1864 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5)],7) => 1460 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(4,6)],7) => 1284 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1180 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 1108 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1004 ([(0,1),(0,2),(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 900 ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 880 ([(0,1),(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6)],7) => 1008 ([(0,2),(0,3),(0,4),(0,5),(4,6),(5,6),(6,1)],7) => 1208 ([(0,3),(0,4),(0,5),(0,6),(5,2),(6,1)],7) => 2920 ([(0,2),(0,3),(0,4),(0,5),(4,6),(5,1),(5,6)],7) => 2448 ([(0,1),(0,2),(0,3),(0,4),(3,5),(3,6),(4,5),(4,6)],7) => 1976 ([(2,4),(2,5),(2,6),(6,3)],7) => 6720 ([(1,4),(1,5),(1,6),(6,2),(6,3)],7) => 4128 ([(0,4),(0,5),(0,6),(6,1),(6,2),(6,3)],7) => 2920 ([(2,3),(2,4),(2,5),(4,6),(5,6)],7) => 4760 ([(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 3780 ([(1,2),(1,3),(1,4),(2,6),(3,6),(4,6),(6,5)],7) => 912 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,6),(6,1),(6,2)],7) => 312 ([(1,3),(1,4),(1,5),(3,6),(4,6),(5,2)],7) => 2316 ([(1,2),(1,3),(1,4),(2,6),(3,5),(4,5),(4,6)],7) => 1868 ([(1,2),(1,3),(1,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1644 ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 1420 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7) => 416 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 312 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,1)],7) => 536 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 360 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,5),(4,6),(6,1)],7) => 464 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(4,6),(6,1)],7) => 584 ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 408 ([(1,3),(1,4),(1,5),(3,6),(4,6),(5,2),(5,6)],7) => 2092 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,6),(6,2)],7) => 560 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,2)],7) => 1460 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(5,2),(5,6)],7) => 1388 ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,1),(4,6),(5,6)],7) => 632 ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 384 ([(1,2),(1,3),(1,4),(2,6),(3,5),(4,5),(5,6)],7) => 1136 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7) => 256 ([(0,3),(0,4),(0,5),(3,6),(4,6),(5,1),(6,2)],7) => 680 ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,5),(6,1),(6,5)],7) => 432 ([(1,2),(1,3),(1,4),(3,6),(4,6),(6,5)],7) => 1360 ([(0,3),(0,4),(0,5),(4,6),(5,6),(6,1),(6,2)],7) => 552 ([(1,4),(1,5),(1,6),(5,3),(6,2)],7) => 3272 ([(1,3),(1,4),(1,5),(4,6),(5,2),(5,6)],7) => 2744 ([(1,2),(1,3),(1,4),(3,5),(3,6),(4,5),(4,6)],7) => 2216 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1)],7) => 1108 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,6)],7) => 964 ([(0,2),(0,3),(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 488 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 608 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 480 ([(0,2),(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1)],7) => 752 ([(0,1),(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 552 ([(0,3),(0,4),(0,5),(4,6),(5,1),(5,6),(6,2)],7) => 880 ([(0,4),(0,5),(0,6),(5,3),(6,1),(6,2)],7) => 2064 ([(0,3),(0,4),(0,5),(4,6),(5,1),(5,2),(5,6)],7) => 1864 ([(0,3),(0,4),(0,5),(4,2),(4,6),(5,1),(5,6)],7) => 1664 ([(0,2),(0,3),(0,4),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 1464 ([(0,1),(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1264 ([(0,4),(0,5),(0,6),(4,3),(5,2),(6,1)],7) => 1636 ([(0,3),(0,4),(0,5),(3,6),(4,2),(5,1),(5,6)],7) => 1372 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,1),(4,5),(4,6)],7) => 1212 ([(0,2),(0,3),(0,4),(2,5),(3,5),(3,6),(4,1),(4,6)],7) => 1124 ([(0,1),(0,2),(0,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 964 ([(0,1),(0,2),(0,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7) => 892 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7) => 820 ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 748 ([(0,1),(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 676 ([(0,2),(0,3),(0,4),(2,6),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 1052 ([(0,1),(0,2),(0,3),(1,5),(2,4),(2,6),(3,4),(3,5),(5,6)],7) => 536 ([(0,3),(0,4),(0,5),(3,6),(4,2),(4,6),(5,1),(5,6)],7) => 1212 ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,1),(4,5),(5,6)],7) => 720 ([(3,4),(3,5),(5,6)],7) => 8072 ([(2,5),(2,6),(6,3),(6,4)],7) => 4760 ([(1,5),(1,6),(6,2),(6,3),(6,4)],7) => 3272 ([(0,5),(0,6),(6,1),(6,2),(6,3),(6,4)],7) => 2464 ([(3,4),(3,5),(4,6),(5,6)],7) => 5740 ([(2,3),(2,4),(3,6),(4,6),(6,5)],7) => 1584 ([(1,2),(1,3),(2,6),(3,6),(6,4),(6,5)],7) => 624 ([(0,4),(0,5),(4,6),(5,6),(6,1),(6,2),(6,3)],7) => 312 ([(2,5),(2,6),(5,4),(6,3)],7) => 3780 ([(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 3172 ([(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 2564 ([(1,3),(1,4),(3,5),(3,6),(4,5),(4,6),(6,2)],7) => 848 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(6,1),(6,2)],7) => 384 ([(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 624 ([(0,2),(0,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6),(6,1)],7) => 144 ([(0,3),(0,4),(3,5),(3,6),(4,5),(4,6),(5,2),(6,1)],7) => 312 ([(0,2),(0,3),(2,4),(2,6),(3,4),(3,6),(4,5),(6,1),(6,5)],7) => 264 ([(0,1),(0,2),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 216 ([(1,3),(1,5),(3,6),(5,2),(5,6),(6,4)],7) => 992 ([(0,4),(0,5),(4,6),(5,1),(5,6),(6,2),(6,3)],7) => 432 ([(1,5),(1,6),(5,4),(6,2),(6,3)],7) => 2316 ([(1,4),(1,5),(4,6),(5,2),(5,3),(5,6)],7) => 2092 ([(0,4),(0,5),(4,6),(5,1),(5,2),(5,6),(6,3)],7) => 704 ([(0,5),(0,6),(5,4),(6,1),(6,2),(6,3)],7) => 1636 ([(0,4),(0,5),(4,6),(5,1),(5,2),(5,3),(5,6)],7) => 1532 ([(1,4),(1,5),(4,3),(4,6),(5,2),(5,6)],7) => 1868 ([(1,3),(1,4),(3,5),(3,6),(4,2),(4,5),(4,6)],7) => 1644 ([(1,2),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1420 ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(6,1)],7) => 528 ([(0,1),(0,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7) => 384 ([(0,1),(0,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 312 ([(0,3),(0,4),(3,5),(3,6),(4,2),(4,5),(4,6),(6,1)],7) => 592 ([(0,2),(0,3),(2,4),(2,5),(3,1),(3,4),(3,5),(4,6),(5,6)],7) => 432 ([(0,4),(0,5),(4,2),(4,6),(5,1),(5,6),(6,3)],7) => 656 ([(0,5),(0,6),(5,3),(5,4),(6,1),(6,2)],7) => 1460 ([(0,4),(0,5),(4,3),(4,6),(5,1),(5,2),(5,6)],7) => 1284 ([(0,3),(0,4),(3,5),(3,6),(4,1),(4,2),(4,5),(4,6)],7) => 1180 ([(0,3),(0,4),(3,2),(3,5),(3,6),(4,1),(4,5),(4,6)],7) => 1108 ([(0,2),(0,3),(2,4),(2,5),(2,6),(3,1),(3,4),(3,5),(3,6)],7) => 1004 ([(0,1),(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 900 ([(2,3),(2,4),(3,5),(4,6),(5,6)],7) => 2192 ([(1,3),(1,5),(2,6),(3,6),(5,2),(6,4)],7) => 544 ([(0,4),(0,5),(1,6),(4,6),(5,1),(6,2),(6,3)],7) => 192 ([(4,5),(5,6)],7) => 10404 ([(3,4),(4,5),(4,6)],7) => 5740 ([(2,6),(6,3),(6,4),(6,5)],7) => 3780 ([(1,6),(6,2),(6,3),(6,4),(6,5)],7) => 2764 ([(0,6),(6,1),(6,2),(6,3),(6,4),(6,5)],7) => 2164 ([(3,4),(4,6),(6,5)],7) => 3408 ([(2,5),(5,6),(6,3),(6,4)],7) => 1584 ([(1,5),(5,6),(6,2),(6,3),(6,4)],7) => 912 ([(0,5),(5,6),(6,1),(6,2),(6,3),(6,4)],7) => 600 ([(4,6),(5,6)],7) => 18196 ([(3,6),(4,6),(6,5)],7) => 5740 ([(2,6),(3,6),(6,4),(6,5)],7) => 2564 ([(1,6),(2,6),(6,3),(6,4),(6,5)],7) => 1420 ([(0,6),(1,6),(6,2),(6,3),(6,4),(6,5)],7) => 900 ([(3,6),(4,6),(5,6)],7) => 14300 ([(2,6),(3,6),(4,6),(6,5)],7) => 3780 ([(1,6),(2,6),(3,6),(6,4),(6,5)],7) => 1420 ([(0,6),(1,6),(2,6),(6,3),(6,4),(6,5)],7) => 676 ([(2,6),(3,6),(4,6),(5,6)],7) => 11980 ([(1,6),(2,6),(3,6),(4,6),(6,5)],7) => 2764 ([(0,6),(1,6),(2,6),(3,6),(6,4),(6,5)],7) => 900 ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 10448 ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => 2164 ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 9366 ([(0,6),(1,6),(2,6),(3,6),(4,5)],7) => 6606 ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => 600 ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 2464 ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6)],7) => 6306 ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 5224 ([(1,6),(2,6),(3,6),(4,5)],7) => 7880 ([(1,6),(2,6),(3,6),(4,5),(6,4)],7) => 912 ([(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 3272 ([(0,6),(1,6),(2,6),(3,4),(6,5)],7) => 2092 ([(0,6),(1,6),(2,6),(4,5),(6,3),(6,4)],7) => 416 ([(0,6),(1,6),(2,6),(3,5),(6,4),(6,5)],7) => 1160 ([(1,6),(2,6),(3,6),(4,5),(4,6)],7) => 7372 ([(0,6),(1,6),(2,6),(3,4),(3,6),(6,5)],7) => 1832 ([(0,6),(1,6),(2,6),(3,4),(3,6),(4,5)],7) => 3068 ([(0,6),(1,6),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 1532 ([(0,6),(1,6),(2,6),(3,4),(3,5)],7) => 5526 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,3)],7) => 312 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,5)],7) => 1988 ([(0,6),(1,6),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 1056 ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6)],7) => 5370 ([(0,6),(1,6),(2,6),(3,4),(3,5),(5,6)],7) => 4304 ([(0,6),(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 3688 ([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 5840 ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 1232 ([(0,6),(1,6),(2,6),(3,4),(4,5)],7) => 3172 ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => 208 ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => 704 ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => 1636 ([(0,6),(1,6),(2,6),(3,4),(4,5),(4,6)],7) => 2768 ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => 736 ([(0,6),(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7) => 352 ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7) => 208 ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 2152 ([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => 5526 ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => 4758 ([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 4302 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4002 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3846 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3546 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 3246 ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => 808 ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,3),(6,4)],7) => 312 ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => 2920 ([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6)],7) => 5070 ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4770 ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => 1208 ([(0,6),(1,5),(2,5),(3,6),(4,6),(5,3),(5,4)],7) => 552 ([(0,5),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7) => 312 ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3688 ([(2,6),(3,6),(4,5)],7) => 10020 ([(2,6),(3,5),(4,5),(4,6)],7) => 8060 ([(1,6),(2,5),(3,5),(3,6),(6,4)],7) => 2724 ([(0,6),(1,5),(2,5),(2,6),(6,3),(6,4)],7) => 1276 ([(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 1868 ([(0,5),(1,4),(2,4),(2,5),(4,6),(5,6),(6,3)],7) => 408 ([(0,6),(1,5),(2,5),(2,6),(5,3),(6,4)],7) => 964 ([(0,6),(1,4),(2,4),(2,6),(4,5),(6,3),(6,5)],7) => 788 ([(0,6),(1,5),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 612 ([(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 7080 ([(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7) => 2500 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4)],7) => 1204 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,4)],7) => 716 ([(0,6),(1,3),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 540 ([(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 1644 ([(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7) => 820 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7) => 644 ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 6100 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1928 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 832 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 1420 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7) => 676 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3),(6,4)],7) => 572 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 468 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4)],7) => 3366 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7) => 520 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7) => 312 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,4)],7) => 1616 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,4),(6,3)],7) => 416 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1264 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7) => 3054 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(5,4)],7) => 1356 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2898 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2148 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7) => 2252 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 1848 ([(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 2152 ([(0,6),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 904 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4)],7) => 3906 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(5,3)],7) => 736 ([(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3),(6,5)],7) => 360 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3),(6,5)],7) => 536 ([(0,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 2032 ([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,5),(6,3)],7) => 464 ([(0,6),(1,5),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1464 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7) => 568 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(6,5)],7) => 1816 ([(0,5),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7) => 3438 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(6,4)],7) => 1460 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3282 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2480 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7) => 3570 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 1748 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 2324 ([(0,5),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7) => 2428 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 2024 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7) => 2680 ([(0,6),(1,5),(2,5),(2,6),(3,4)],7) => 4446 ([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6)],7) => 3822 ([(0,6),(1,5),(2,5),(2,6),(3,4),(6,3)],7) => 784 ([(0,6),(1,4),(2,5),(3,4),(3,5),(5,6)],7) => 2232 ([(0,5),(1,4),(2,4),(2,5),(3,6),(4,6),(5,3)],7) => 584 ([(0,6),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 1664 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6)],7) => 3954 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7) => 3150 ([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7) => 2862 ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2706 ([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7) => 2994 ([(0,6),(1,5),(1,6),(2,4),(3,4),(3,6),(4,5)],7) => 1852 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3666 ([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2656 ([(0,6),(1,5),(2,5),(2,6),(3,4),(4,6)],7) => 2856 ([(0,6),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 2200 ([(2,6),(3,6),(4,5),(6,4)],7) => 1584 ([(2,6),(3,5),(4,5),(5,6)],7) => 4760 ([(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 1136 ([(0,6),(1,5),(2,5),(5,6),(6,3),(6,4)],7) => 384 ([(1,6),(2,6),(3,4),(6,5)],7) => 3172 ([(1,6),(2,6),(4,5),(6,3),(6,4)],7) => 848 ([(1,6),(2,6),(3,5),(6,4),(6,5)],7) => 1992 ([(0,6),(1,5),(2,5),(5,3),(5,6),(6,4)],7) => 560 ([(0,6),(1,6),(2,3),(6,4),(6,5)],7) => 1420 ([(0,6),(1,6),(5,2),(6,3),(6,4),(6,5)],7) => 528 ([(0,6),(1,6),(2,5),(6,3),(6,4),(6,5)],7) => 1048 ([(2,6),(3,6),(4,5),(4,6)],7) => 9040 ([(1,6),(2,6),(3,4),(3,6),(6,5)],7) => 2600 ([(0,6),(1,6),(2,3),(2,6),(6,4),(6,5)],7) => 1048 ([(1,6),(2,6),(3,4),(3,6),(4,5)],7) => 3804 ([(1,6),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 2092 ([(0,6),(1,6),(2,3),(2,6),(3,5),(6,4)],7) => 1140 ([(0,6),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7) => 788 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5)],7) => 2156 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,5)],7) => 1036 ([(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(6,4),(6,5)],7) => 684 ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4)],7) => 1280 ([(0,6),(1,6),(2,3),(2,6),(3,5),(5,4),(6,5)],7) => 456 ([(0,6),(1,6),(2,3),(2,6),(3,4),(4,5),(6,5)],7) => 808 ([(1,6),(2,6),(3,4),(3,5)],7) => 7024 ([(1,6),(2,6),(3,4),(3,5),(6,3)],7) => 624 ([(1,5),(2,5),(3,4),(3,6),(5,6)],7) => 2948 ([(1,4),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1768 ([(0,5),(0,6),(1,4),(2,4),(4,5),(4,6),(6,3)],7) => 512 ([(0,5),(1,5),(2,4),(2,6),(5,6),(6,3)],7) => 760 ([(0,6),(1,6),(2,3),(2,4),(6,5)],7) => 2228 ([(0,6),(1,6),(5,2),(5,3),(6,4),(6,5)],7) => 384 ([(0,6),(1,6),(2,4),(2,5),(6,3),(6,5)],7) => 1276 ([(0,6),(1,6),(2,4),(2,5),(6,3),(6,4),(6,5)],7) => 904 ([(1,6),(2,6),(3,4),(3,5),(3,6)],7) => 6676 ([(0,6),(1,6),(2,3),(2,4),(2,6),(6,5)],7) => 2000 ([(0,6),(1,6),(2,3),(2,4),(2,6),(4,5)],7) => 3032 ([(0,6),(1,6),(2,3),(2,4),(2,6),(4,5),(6,5)],7) => 1616 ([(0,6),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7) => 2156 ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 1388 ([(0,6),(1,6),(2,3),(2,4),(2,5)],7) => 5526 ([(0,6),(1,6),(5,2),(5,3),(5,4),(6,5)],7) => 312 ([(0,5),(1,5),(2,3),(2,4),(2,6),(5,6)],7) => 2156 ([(0,4),(1,4),(2,3),(2,5),(2,6),(4,5),(4,6)],7) => 1204 ([(0,6),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7) => 832 ([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 5370 ([(0,6),(1,2),(1,3),(1,5),(4,6),(5,4)],7) => 1944 ([(0,3),(0,4),(0,5),(1,6),(2,6),(5,1),(5,2)],7) => 1208 ([(0,3),(0,4),(0,5),(1,6),(2,6),(4,2),(5,1)],7) => 808 ([(0,6),(1,6),(2,3),(2,4),(2,5),(5,6)],7) => 4064 ([(0,6),(1,2),(1,4),(1,5),(3,6),(4,6),(5,3)],7) => 1616 ([(0,3),(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2)],7) => 1008 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1)],7) => 704 ([(0,6),(1,6),(2,3),(2,4),(2,5),(4,6),(5,6)],7) => 3360 ([(0,6),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7) => 1408 ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7) => 880 ([(0,6),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 2920 ([(1,6),(2,6),(3,4),(3,5),(5,6)],7) => 5008 ([(0,6),(1,6),(2,3),(2,4),(4,6),(6,5)],7) => 1232 ([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 4128 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,6),(6,5)],7) => 880 ([(0,6),(1,6),(2,3),(2,4),(4,5)],7) => 3128 ([(0,6),(1,6),(4,3),(5,2),(5,4),(6,5)],7) => 192 ([(0,5),(1,5),(2,3),(2,6),(3,4),(5,6)],7) => 1236 ([(0,4),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => 884 ([(0,4),(1,4),(2,3),(2,5),(3,6),(4,5),(5,6)],7) => 632 ([(0,6),(1,6),(2,4),(2,5),(4,3),(5,3),(6,4),(6,5)],7) => 384 ([(0,5),(1,5),(2,3),(2,4),(4,6),(5,6)],7) => 1712 ([(0,6),(1,3),(1,5),(4,6),(5,2),(5,4)],7) => 1488 ([(0,4),(0,5),(2,6),(3,6),(5,1),(5,2),(5,3)],7) => 1008 ([(0,6),(1,6),(2,3),(2,4),(4,5),(4,6)],7) => 2648 ([(0,6),(1,4),(1,5),(3,6),(4,2),(5,3)],7) => 1096 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(6,5)],7) => 496 ([(0,6),(1,4),(1,5),(3,6),(4,3),(5,2),(5,6)],7) => 1016 ([(0,4),(0,5),(2,6),(3,6),(4,1),(4,6),(5,2),(5,3)],7) => 632 ([(0,3),(0,4),(1,6),(2,6),(3,5),(3,6),(4,1),(4,2),(4,5)],7) => 584 ([(0,6),(1,3),(1,4),(2,6),(3,5),(3,6),(4,2),(4,5)],7) => 888 ([(0,4),(0,5),(2,6),(3,6),(4,3),(5,1),(5,2)],7) => 608 ([(0,3),(0,4),(1,5),(2,5),(3,2),(3,6),(4,1),(4,6)],7) => 512 ([(0,3),(0,4),(1,6),(2,6),(3,2),(3,5),(4,1),(4,5),(5,6)],7) => 408 ([(0,4),(0,5),(2,6),(3,6),(4,1),(5,2),(5,3)],7) => 680 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7) => 304 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(4,6)],7) => 632 ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7) => 456 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(4,5)],7) => 968 ([(0,6),(1,3),(1,4),(2,6),(3,5),(4,2),(4,5),(5,6)],7) => 680 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7) => 224 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,6)],7) => 2296 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,5),(6,5)],7) => 1056 ([(0,6),(1,4),(1,5),(3,6),(4,6),(5,2),(5,3)],7) => 1216 ([(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7) => 832 ([(0,6),(1,6),(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 2120 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => 1680 ([(0,6),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7) => 1008 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7) => 704 ([(0,5),(1,5),(2,3),(2,4),(3,6),(4,6)],7) => 2228 ([(0,6),(1,6),(2,5),(3,5),(4,2),(4,3),(6,4)],7) => 144 ([(0,5),(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => 1460 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(4,6)],7) => 1824 ([(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1648 ([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(6,4)],7) => 352 ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7) => 144 ([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => 1208 ([(0,6),(1,6),(2,3),(2,4),(4,5),(5,6)],7) => 1944 ([(0,6),(1,2),(1,5),(3,6),(4,6),(5,3),(5,4)],7) => 1160 ([(0,4),(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3)],7) => 808 ([(0,6),(1,4),(1,5),(2,6),(3,6),(4,3),(5,2)],7) => 808 ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2)],7) => 504 ([(2,6),(3,6),(4,5),(5,6)],7) => 6720 ([(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 1584 ([(0,6),(1,6),(2,3),(3,6),(6,4),(6,5)],7) => 528 ([(1,6),(2,6),(3,4),(4,5)],7) => 4028 ([(1,6),(2,6),(3,5),(5,4),(6,3)],7) => 400 ([(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 2316 ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 504 ([(0,6),(1,6),(2,3),(3,5),(6,4)],7) => 1284 ([(0,6),(1,6),(4,2),(5,4),(6,3),(6,5)],7) => 240 ([(0,5),(1,5),(2,3),(3,6),(5,4),(5,6)],7) => 932 ([(1,6),(2,6),(3,4),(4,5),(4,6)],7) => 3296 ([(0,6),(1,6),(2,3),(3,5),(3,6),(6,4)],7) => 880 ([(0,3),(1,6),(2,6),(3,5),(3,6),(5,4)],7) => 1176 ([(0,6),(1,6),(2,3),(3,4),(3,6),(4,5),(6,5)],7) => 704 ([(0,3),(1,6),(2,6),(3,4),(3,5)],7) => 2228 ([(0,6),(1,6),(4,5),(5,2),(5,3),(6,4)],7) => 144 ([(0,5),(1,5),(2,3),(3,4),(3,6),(5,6)],7) => 1108 ([(0,4),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6)],7) => 756 ([(0,6),(1,5),(4,6),(5,2),(5,3),(5,4)],7) => 1232 ([(0,5),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 880 ([(0,3),(1,6),(2,6),(3,4),(3,5),(3,6)],7) => 2000 ([(0,3),(1,6),(2,6),(3,4),(3,5),(5,6)],7) => 1472 ([(0,6),(1,5),(3,6),(4,6),(5,2),(5,3),(5,4)],7) => 960 ([(0,5),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 704 ([(0,3),(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => 1208 ([(0,6),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3),(5,4)],7) => 808 ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 600 ([(1,3),(2,6),(3,5),(4,6),(5,4)],7) => 832 ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 192 ([(1,4),(2,6),(3,6),(4,5),(5,2),(5,3)],7) => 400 ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7) => 96 ([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 2416 ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => 528 ([(0,3),(1,6),(2,6),(3,5),(5,4)],7) => 1328 ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 96 ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 856 ([(0,6),(1,4),(3,6),(4,5),(5,2),(5,3)],7) => 448 ([(0,4),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7) => 256 ([(0,3),(1,6),(2,6),(3,5),(5,4),(5,6)],7) => 1000 ([(1,6),(2,6),(3,5),(4,5)],7) => 7024 ([(1,6),(2,6),(3,5),(4,5),(4,6)],7) => 6168 ([(0,6),(1,6),(2,5),(3,5),(3,6),(5,4)],7) => 2052 ([(0,6),(1,6),(2,4),(3,4),(3,6),(4,5),(6,5)],7) => 1284 ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 5660 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7) => 1948 ([(0,6),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(6,5)],7) => 1180 ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1480 ([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => 5312 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1564 ([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 1108 ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4804 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4)],7) => 1460 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 1004 ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1304 ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 4296 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 1200 ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(5,4),(6,4)],7) => 900 ([(0,6),(1,6),(2,5),(3,5),(3,6),(6,4)],7) => 1740 ([(1,6),(2,5),(3,5),(4,6),(5,4)],7) => 1360 ([(1,5),(2,5),(3,6),(4,6),(5,3),(5,4)],7) => 624 ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 304 ([(0,6),(1,6),(2,5),(3,5),(5,4),(6,2),(6,3)],7) => 144 ([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 4128 ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 880 ([(0,6),(1,6),(2,5),(3,5),(6,4)],7) => 2228 ([(0,6),(1,5),(2,5),(4,6),(5,3),(5,4)],7) => 704 ([(0,6),(1,6),(3,5),(4,5),(6,2),(6,3),(6,4)],7) => 384 ([(0,6),(1,6),(2,5),(3,5),(5,4),(5,6)],7) => 1648 ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => 1460 ([(0,6),(1,6),(2,5),(3,4)],7) => 5526 ([(0,6),(1,6),(2,3),(4,5),(6,4)],7) => 880 ([(0,6),(1,6),(4,3),(5,2),(6,4),(6,5)],7) => 312 ([(0,6),(1,6),(2,5),(3,4),(6,3),(6,5)],7) => 632 ([(0,6),(1,5),(2,5),(3,4),(5,6)],7) => 2632 ([(0,4),(1,4),(2,6),(3,5),(4,5),(4,6)],7) => 1576 ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 256 ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 1008 ([(0,6),(1,6),(2,5),(3,4),(3,6)],7) => 4986 ([(0,6),(1,6),(2,3),(2,6),(4,5),(6,4)],7) => 664 ([(0,6),(1,6),(2,5),(3,4),(3,6),(6,5)],7) => 2216 ([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5)],7) => 2928 ([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(6,4)],7) => 560 ([(0,6),(1,5),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1864 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6)],7) => 4602 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => 2596 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5)],7) => 4110 ([(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7) => 1636 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3954 ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 3064 ([(0,6),(1,6),(2,5),(3,4),(3,6),(5,6)],7) => 3536 ([(0,6),(1,6),(2,5),(2,6),(3,4),(4,5)],7) => 2700 ([(0,6),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 2296 ([(0,5),(1,5),(2,6),(3,4),(3,6)],7) => 4626 ([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6)],7) => 3618 ([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3330 ([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3042 ([(0,5),(1,4),(1,5),(2,4),(2,6),(3,6),(5,3)],7) => 736 ([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(5,6)],7) => 2104 ([(0,6),(1,5),(2,5),(3,4),(3,6),(5,3)],7) => 504 ([(0,4),(1,5),(2,5),(3,4),(3,6),(5,6)],7) => 2028 ([(0,6),(1,5),(1,6),(2,4),(3,4),(4,5),(4,6)],7) => 1448 ([(0,5),(1,5),(2,3),(2,6),(4,6),(5,4)],7) => 832 ([(0,6),(1,6),(3,5),(4,2),(4,5),(6,3),(6,4)],7) => 264 ([(0,5),(1,5),(2,4),(2,6),(3,6),(5,3),(5,4)],7) => 584 ([(0,6),(1,5),(2,5),(3,4),(3,6),(5,6)],7) => 2504 ([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6)],7) => 4338 ([(0,6),(1,6),(2,5),(3,4),(3,5),(4,6)],7) => 3240 ([(0,6),(1,5),(2,3),(2,5),(3,6),(4,6),(5,4)],7) => 880 ([(0,5),(1,2),(1,5),(2,6),(3,6),(4,6),(5,3),(5,4)],7) => 432 ([(0,6),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 2448 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6)],7) => 3726 ([(0,5),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6)],7) => 3126 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6)],7) => 2838 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2574 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2418 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(3,5),(4,6)],7) => 1724 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6)],7) => 2790 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 1620 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5)],7) => 2682 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6)],7) => 2526 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2370 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7) => 2418 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2262 ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 2106 ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 1950 ([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => 1904 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(4,3)],7) => 688 ([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,3)],7) => 456 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(6,2),(6,3)],7) => 216 ([(0,5),(1,5),(2,4),(2,6),(3,4),(3,6),(5,6)],7) => 1900 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(4,5),(4,6)],7) => 1320 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7) => 3462 ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 3306 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,6),(5,3)],7) => 904 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(6,2),(6,3)],7) => 456 ([(0,3),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,4)],7) => 552 ([(0,5),(0,6),(1,5),(1,6),(2,4),(3,4),(5,3),(6,2)],7) => 312 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,3),(5,4),(6,2),(6,4)],7) => 264 ([(0,5),(0,6),(1,5),(1,6),(3,2),(4,2),(5,3),(5,4),(6,3),(6,4)],7) => 216 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 2416 ([(0,6),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,3)],7) => 752 ([(0,4),(0,5),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2),(5,3)],7) => 384 ([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 1976 ([(0,6),(1,5),(2,3),(2,5),(4,6),(5,4)],7) => 1032 ([(0,6),(1,2),(1,6),(3,5),(4,5),(6,3),(6,4)],7) => 504 ([(0,6),(1,6),(2,5),(3,4),(3,5),(5,6)],7) => 2888 ([(0,6),(1,6),(2,4),(3,5),(5,6)],7) => 3712 ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => 352 ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 1408 ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 2920 ([(0,6),(1,5),(2,5),(3,4),(4,6)],7) => 3128 ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 352 ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 680 ([(0,6),(1,6),(2,5),(3,5),(4,3),(6,2),(6,4)],7) => 192 ([(0,5),(1,5),(2,4),(3,6),(4,6),(5,3),(5,4)],7) => 432 ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 2064 ([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6)],7) => 2472 ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 480 ([(0,6),(1,2),(2,6),(3,5),(4,5),(6,3),(6,4)],7) => 192 ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 1680 ([(3,6),(4,5)],7) => 14300 ([(3,6),(4,5),(4,6)],7) => 11968 ([(2,6),(3,4),(3,6),(4,5)],7) => 5132 ([(1,6),(2,3),(2,6),(3,4),(3,5)],7) => 2948 ([(0,6),(1,5),(1,6),(5,2),(5,3),(5,4)],7) => 1988 ([(0,6),(1,4),(1,6),(4,2),(4,3),(4,5),(6,5)],7) => 1036 ([(0,6),(1,3),(1,6),(3,2),(3,4),(3,5),(6,4),(6,5)],7) => 716 ([(0,6),(1,2),(1,6),(2,3),(2,4),(2,5),(6,3),(6,4),(6,5)],7) => 572 ([(1,5),(2,3),(2,5),(3,4),(3,6),(5,6)],7) => 1644 ([(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1196 ([(0,5),(1,4),(1,5),(4,3),(4,6),(5,6),(6,2)],7) => 448 ([(0,6),(1,5),(1,6),(5,2),(5,3),(6,4)],7) => 1108 ([(0,6),(1,4),(1,6),(4,3),(4,5),(6,2),(6,5)],7) => 788 ([(0,6),(1,3),(1,6),(3,4),(3,5),(6,2),(6,4),(6,5)],7) => 644 ([(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 3172 ([(1,5),(2,3),(2,5),(3,6),(5,6),(6,4)],7) => 768 ([(0,5),(1,4),(1,5),(4,6),(5,6),(6,2),(6,3)],7) => 264 ([(1,6),(2,3),(2,6),(3,5),(6,4)],7) => 1868 ([(1,5),(2,3),(2,5),(3,6),(5,4),(5,6)],7) => 1420 ([(0,6),(1,5),(1,6),(5,2),(6,3),(6,4)],7) => 932 ([(0,6),(1,4),(1,6),(4,5),(6,2),(6,3),(6,5)],7) => 788 ([(1,6),(2,3),(2,6),(3,5),(5,4)],7) => 1744 ([(1,5),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => 1216 ([(0,5),(1,4),(1,5),(3,6),(4,3),(5,6),(6,2)],7) => 272 ([(0,6),(1,5),(1,6),(4,2),(5,4),(6,3)],7) => 656 ([(0,6),(1,3),(1,6),(3,5),(5,4),(6,2),(6,5)],7) => 400 ([(0,6),(1,4),(1,6),(3,5),(4,3),(6,2),(6,5)],7) => 544 ([(0,6),(1,4),(1,6),(4,5),(5,2),(5,3)],7) => 832 ([(0,6),(1,3),(1,6),(3,4),(4,2),(4,5),(6,5)],7) => 520 ([(0,6),(1,2),(1,6),(2,3),(3,4),(3,5),(6,4),(6,5)],7) => 408 ([(3,5),(3,6),(4,5),(4,6)],7) => 9636 ([(2,5),(2,6),(3,5),(3,6),(6,4)],7) => 3544 ([(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 1768 ([(0,5),(0,6),(1,5),(1,6),(6,2),(6,3),(6,4)],7) => 1056 ([(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 2564 ([(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7) => 624 ([(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7) => 1420 ([(1,4),(1,6),(2,4),(2,6),(4,5),(6,3),(6,5)],7) => 1196 ([(1,5),(1,6),(2,5),(2,6),(5,3),(5,4),(6,3),(6,4)],7) => 972 ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3)],7) => 756 ([(0,5),(0,6),(1,5),(1,6),(5,4),(6,2),(6,3),(6,4)],7) => 684 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,4)],7) => 612 ([(0,5),(0,6),(1,5),(1,6),(5,3),(5,4),(6,2),(6,3),(6,4)],7) => 540 ([(0,5),(0,6),(1,5),(1,6),(5,2),(5,3),(5,4),(6,2),(6,3),(6,4)],7) => 468 ([(1,5),(1,6),(2,5),(2,6),(3,4)],7) => 5312 ([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7) => 4616 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7) => 1768 ([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3),(6,3)],7) => 1276 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(5,3),(6,3)],7) => 1168 ([(0,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 964 ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 4268 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(5,3)],7) => 1672 ([(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7) => 1204 ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 892 ([(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(4,5),(6,5)],7) => 1072 ([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7) => 1408 ([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(6,3)],7) => 1636 ([(1,5),(1,6),(2,5),(2,6),(3,4),(6,3)],7) => 1072 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2)],7) => 456 ([(0,5),(0,6),(1,5),(1,6),(2,3),(5,4),(6,2),(6,4)],7) => 408 ([(0,5),(0,6),(1,5),(1,6),(4,2),(5,3),(5,4),(6,3),(6,4)],7) => 288 ([(0,5),(0,6),(1,5),(1,6),(2,4),(5,2),(5,3),(6,3),(6,4)],7) => 360 ([(0,5),(0,6),(1,5),(1,6),(4,3),(5,4),(6,2),(6,4)],7) => 336 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,3),(6,2),(6,4)],7) => 408 ([(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => 2848 ([(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,3)],7) => 848 ([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => 2216 ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,6),(6,3)],7) => 480 ([(0,5),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3)],7) => 1120 ([(0,6),(1,4),(1,5),(2,4),(2,5),(4,6),(5,3),(5,6)],7) => 992 ([(0,6),(1,4),(1,5),(2,4),(2,5),(5,6),(6,3)],7) => 736 ([(0,4),(1,5),(1,6),(2,5),(2,6),(4,3),(5,4),(6,3)],7) => 608 ([(0,5),(0,6),(1,5),(1,6),(2,4),(6,3)],7) => 1960 ([(0,5),(0,6),(1,5),(1,6),(4,3),(6,2),(6,4)],7) => 624 ([(0,5),(0,6),(1,5),(1,6),(3,4),(5,2),(5,3),(6,4)],7) => 480 ([(0,5),(1,4),(1,6),(2,4),(2,6),(6,3),(6,5)],7) => 1336 ([(0,4),(0,5),(1,4),(1,5),(2,3),(4,6),(5,6)],7) => 1420 ([(0,4),(1,5),(1,6),(2,5),(2,6),(5,3),(6,3),(6,4)],7) => 920 ([(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 792 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6)],7) => 4616 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(6,4)],7) => 1528 ([(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => 2276 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(6,3)],7) => 772 ([(0,5),(0,6),(1,4),(1,6),(2,4),(2,6),(4,5),(5,3)],7) => 616 ([(0,3),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(5,4),(6,4)],7) => 488 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(5,4)],7) => 1660 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(4,5),(6,5)],7) => 1144 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(5,3),(5,4)],7) => 1060 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(6,5)],7) => 668 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => 4268 ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(6,3)],7) => 1432 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(5,4),(6,4)],7) => 1048 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4)],7) => 1876 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(6,4)],7) => 1120 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 892 ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => 2972 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4)],7) => 964 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(5,4),(6,4)],7) => 632 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,6),(6,4)],7) => 808 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4)],7) => 1972 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(6,5)],7) => 1192 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5)],7) => 1216 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,6),(4,6),(5,6)],7) => 964 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6)],7) => 1564 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(5,4)],7) => 860 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(4,6)],7) => 1072 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4)],7) => 3726 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(6,4)],7) => 456 ([(0,5),(0,6),(1,5),(1,6),(4,2),(4,3),(5,4),(6,4)],7) => 216 ([(0,5),(0,6),(1,5),(1,6),(3,2),(3,4),(5,3),(6,4)],7) => 336 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(5,2),(6,3),(6,4)],7) => 288 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,6),(5,6)],7) => 1792 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(6,3),(6,4)],7) => 1168 ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,6),(4,6),(5,6)],7) => 1348 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(5,4),(6,3)],7) => 976 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 848 ([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 720 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6)],7) => 3462 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(4,5)],7) => 1588 ([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5)],7) => 988 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 3306 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(4,6)],7) => 2320 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6)],7) => 1828 ([(0,5),(0,6),(1,2),(1,4),(3,5),(3,6),(4,3)],7) => 904 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(4,1),(4,2)],7) => 552 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,2),(4,1)],7) => 312 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(4,6)],7) => 2416 ([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,6),(4,5)],7) => 1060 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(4,5),(4,6)],7) => 1936 ([(0,5),(0,6),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2)],7) => 624 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2)],7) => 384 ([(0,5),(0,6),(1,2),(1,4),(2,6),(3,5),(3,6),(4,3)],7) => 704 ([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,6),(4,1),(4,2)],7) => 432 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,6)],7) => 1900 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => 1672 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,6),(4,5),(4,6)],7) => 1496 ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => 1320 ([(1,5),(1,6),(2,5),(2,6),(3,4),(4,6)],7) => 3196 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,6),(6,4)],7) => 856 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,6),(5,4)],7) => 1108 ([(0,4),(0,6),(1,4),(1,6),(2,3),(3,6),(4,5),(6,5)],7) => 680 ([(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6)],7) => 2464 ([(0,5),(0,6),(1,5),(1,6),(2,4),(4,5),(4,6),(6,3)],7) => 704 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,5),(3,6),(5,4),(6,4)],7) => 528 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4)],7) => 2140 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(6,3)],7) => 288 ([(0,5),(0,6),(1,5),(1,6),(2,3),(4,2),(5,4),(6,4)],7) => 144 ([(0,5),(0,6),(1,5),(1,6),(3,4),(4,2),(5,3),(6,4)],7) => 192 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(5,2),(6,4)],7) => 240 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,6),(5,6)],7) => 1360 ([(0,4),(0,5),(1,4),(1,5),(2,3),(3,6),(4,6),(5,6)],7) => 1108 ([(0,5),(0,6),(1,4),(3,5),(3,6),(4,2),(4,3)],7) => 736 ([(0,4),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 480 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,6)],7) => 1636 ([(0,4),(0,6),(1,4),(1,6),(2,3),(3,5),(3,6),(4,5)],7) => 932 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,5),(3,6)],7) => 1408 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(3,6),(4,5)],7) => 968 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(4,6)],7) => 1120 ([(0,5),(0,6),(1,4),(2,6),(3,5),(3,6),(4,2),(4,3)],7) => 536 ([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 360 ([(0,5),(0,6),(1,5),(1,6),(2,3),(3,4),(4,5),(4,6)],7) => 792 ([(0,5),(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,2),(4,3)],7) => 456 ([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,1),(4,2),(4,3)],7) => 312 ([(2,6),(3,4),(3,6),(6,5)],7) => 4152 ([(1,6),(2,3),(2,6),(6,4),(6,5)],7) => 1992 ([(0,6),(1,2),(1,6),(6,3),(6,4),(6,5)],7) => 1160 ([(2,6),(3,4),(3,5)],7) => 10020 ([(2,6),(3,4),(3,5),(3,6)],7) => 9040 ([(1,6),(2,3),(2,4),(2,6),(4,5)],7) => 4152 ([(0,6),(1,4),(1,5),(1,6),(5,2),(5,3)],7) => 2504 ([(0,6),(1,3),(1,4),(1,6),(4,2),(4,5),(6,5)],7) => 1376 ([(0,6),(1,2),(1,3),(1,6),(3,4),(3,5),(6,4),(6,5)],7) => 992 ([(1,5),(2,3),(2,4),(2,5),(4,6),(5,6)],7) => 2520 ([(0,5),(1,3),(1,4),(1,5),(4,6),(5,6),(6,2)],7) => 632 ([(0,6),(1,3),(1,5),(1,6),(5,2),(6,4)],7) => 1560 ([(0,6),(1,3),(1,4),(1,6),(4,5),(6,2),(6,5)],7) => 1176 ([(1,5),(2,3),(2,4),(2,5),(3,6),(4,6)],7) => 2948 ([(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 2092 ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,6),(6,4)],7) => 456 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,5),(6,2)],7) => 1108 ([(0,5),(1,2),(1,3),(1,5),(2,6),(3,6),(5,4),(5,6)],7) => 932 ([(0,5),(1,3),(1,4),(1,5),(3,6),(4,6),(6,2)],7) => 832 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(5,4),(6,4)],7) => 632 ([(0,6),(1,4),(1,5),(1,6),(4,3),(5,2)],7) => 1988 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,2),(4,5)],7) => 1668 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,4),(3,5),(6,4)],7) => 948 ([(0,4),(1,2),(1,3),(1,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 772 ([(0,5),(1,3),(1,4),(1,5),(3,6),(4,2),(4,6),(5,6)],7) => 1108 ([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => 1348 ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6)],7) => 860 ([(0,4),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => 684 ([(0,6),(1,3),(1,4),(1,6),(3,5),(4,2),(6,5)],7) => 1196 ([(0,6),(1,2),(1,3),(1,6),(2,5),(3,4),(6,4),(6,5)],7) => 860 ([(1,6),(2,3),(2,4),(2,6),(6,5)],7) => 3296 ([(0,6),(1,2),(1,3),(1,6),(6,4),(6,5)],7) => 1648 ([(1,6),(2,3),(2,4),(2,5)],7) => 7880 ([(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 7372 ([(0,6),(1,3),(1,4),(1,5),(1,6),(5,2)],7) => 3536 ([(0,6),(1,2),(1,3),(1,4),(1,6),(4,5),(6,5)],7) => 2120 ([(0,6),(1,2),(1,3),(1,4),(1,6),(3,5),(4,5)],7) => 2504 ([(0,5),(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7) => 1760 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6)],7) => 1988 ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7) => 1532 ([(0,6),(1,2),(1,3),(1,4),(1,6),(6,5)],7) => 2768 ([(0,6),(1,2),(1,3),(1,4),(1,5)],7) => 6606 ([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6)],7) => 6306 ([(0,2),(0,3),(0,4),(0,6),(5,1),(6,5)],7) => 2152 ([(0,6),(1,2),(1,3),(1,4),(1,5),(5,6)],7) => 4304 ([(0,2),(0,3),(0,4),(0,5),(1,6),(4,6),(5,1)],7) => 1680 ([(0,6),(1,2),(1,3),(1,4),(1,5),(4,6),(5,6)],7) => 3360 ([(0,2),(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1)],7) => 1408 ([(0,6),(1,2),(1,3),(1,4),(1,5),(3,6),(4,6),(5,6)],7) => 2816 ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7) => 1232 ([(0,6),(1,2),(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,6)],7) => 2464 ([(0,5),(1,2),(1,3),(1,4),(1,6),(5,6)],7) => 3068 ([(0,4),(1,2),(1,3),(1,5),(1,6),(4,5),(4,6)],7) => 1948 ([(0,3),(1,2),(1,4),(1,5),(1,6),(3,4),(3,5),(3,6)],7) => 1460 ([(0,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6)],7) => 1200 ([(1,3),(1,4),(1,6),(5,2),(6,5)],7) => 2416 ([(0,3),(0,4),(0,5),(5,6),(6,1),(6,2)],7) => 1208 ([(1,6),(2,3),(2,4),(2,5),(5,6)],7) => 5008 ([(0,6),(1,2),(1,3),(1,4),(4,6),(6,5)],7) => 1472 ([(1,2),(1,4),(1,5),(3,6),(4,6),(5,3)],7) => 1888 ([(0,3),(0,4),(0,5),(1,6),(4,6),(5,1),(6,2)],7) => 480 ([(1,6),(2,3),(2,4),(2,5),(4,6),(5,6)],7) => 3904 ([(0,6),(1,2),(1,3),(1,4),(3,6),(4,6),(6,5)],7) => 960 ([(1,3),(1,4),(1,5),(2,6),(3,6),(4,6),(5,2)],7) => 1584 ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7) => 352 ([(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => 3272 ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,6),(6,5)],7) => 704 ([(0,6),(1,3),(1,4),(1,5),(3,6),(4,6),(5,2)],7) => 1888 ([(0,6),(1,2),(1,3),(1,4),(2,6),(3,6),(4,5),(6,5)],7) => 832 ([(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,1),(5,2)],7) => 1056 ([(0,6),(1,3),(1,4),(1,5),(3,6),(4,6),(5,2),(5,6)],7) => 1760 ([(0,6),(1,3),(1,4),(1,5),(4,6),(5,2)],7) => 2416 ([(0,6),(1,2),(1,3),(1,4),(3,6),(4,5),(6,5)],7) => 1216 ([(0,3),(0,4),(0,5),(2,6),(4,6),(5,1),(5,2)],7) => 1280 ([(0,6),(1,3),(1,4),(1,5),(4,6),(5,2),(5,6)],7) => 2160 ----------------------------------------------------------------------------- Created: Jul 08, 2022 at 20:41 by Martin Rubey ----------------------------------------------------------------------------- Last Updated: Jul 08, 2022 at 20:41 by Martin Rubey