λ → | (19,9,4,2,1) | (18,9,4,2,1) | (19,8,4,2,1) | (18,8,4,2,1) | (17,8,4,2,1) | (16,8,4,2,1) | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
y ↓ | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) | CAKλy# | time (s) |
(20,10,5,3,2) | ∅ | 0 | ∅ | ζ | ∅ | κ | ∅ | ζ,κ | ∅ | ζ,κ | ∅ | ζ,κ |
(20,10,6,3,2) | 62 | 0 | 62 | ζ | 62 | κ | 62 | ζ,κ | 62 | ζ,κ | 62 | ζ,κ |
(20,11,6,3,2) | 62 | 0 | 62 | ζ | 62 | 0 | 62 | ζ | 62 | ζ | 62 | ζ |
(20,10,6,4,2) | 62 | 0 | 62 | ζ | 62 | κ | 62 | ζ,κ | 62 | ζ,κ | 62 | ζ,κ |
(20,11,6,4,2) | 670 | 0 | 670 | ζ | 6234 | 0 | 6234 | ζ | 6234 | ζ | 6234 | ζ |
(20,11,7,4,2) | 6102 | 0 | 6102 | ζ | 6366 | 0 | 6366 | ζ | 6366 | ζ | 6366 | ζ |
(20,10,6,4,3) | 62 | 0 | 62 | ζ | 62 | κ | 62 | ζ,κ | 62 | ζ,κ | 62 | ζ,κ |
(20,11,6,4,3) | 679 | 0 | 679 | ζ | 6337 | 1 | 6337 | ζ | 6337 | ζ | 6337 | ζ |
(20,11,7,4,3) | 6159 | 0 | 6159 | ζ | 6935 | 1 | 6935 | ζ | 6935 | ζ | 6935 | ζ |
(20,11,7,5,3) | 6167 | 0 | 6167 | ζ | 61015 | 1 | 61015 | ζ | 61015 | ζ | 61015 | ζ |
(20,11,7,5,4) | 6167 | 0 | 6167 | ζ | 61019 | 0 | 61019 | ζ | 61019 | ζ | 61019 | ζ |
(21,11,6,3,2) | 62 | ψ | 62 | 0 | 62 | ψ | 62 | 1 | 62 | ζ | 62 | ζ |
(21,12,6,3,2) | 62 | ψ,ω | 62 | 0 | 62 | ψ | 64 | 0 | 64 | ζ | 64 | ζ |
(21,11,6,4,2) | 670 | ψ | 684 | 0 | 6234 | ψ | 6673 | 0 | 6673 | ζ | 6673 | ζ |
(21,12,6,4,2) | 670 | ψ,ω | 687 | 0 | 6288 | ψ | 6918 | 1 | 6918 | ζ | 6918 | ζ |
(21,11,7,4,2) | 6102 | ψ | 6126 | 0 | 6366 | ψ | 61217 | 1 | 61217 | ζ | 61217 | ζ |
(21,12,7,4,2) | 6102 | ψ,ω | 6140 | 0 | 6502 | ψ | 63258 | 2 | 63258 | ζ | 63258 | ζ |
(21,12,8,4,2) | 6102 | ψ,ω | 6140 | 0 | 6506 | ψ | 63342 | 2 | 63342 | ζ | 63342 | ζ |
(21,11,6,4,3) | 679 | ψ | 694 | 0 | 6337 | ψ | 6915 | 1 | 6915 | ζ | 6915 | ζ |
(21,12,6,4,3) | 679 | ψ,ω | 697 | 0 | 6417 | ψ | 61210 | 1 | 61210 | ζ | 61210 | ζ |
(21,11,7,4,3) | 6159 | ψ | 6196 | 0 | 6935 | ψ | 63167 | 3 | 63167 | ζ | 63167 | ζ |
(21,12,7,4,3) | 6159 | ψ,ω | 6212 | 0 | 61723 | ψ | 614601 | 14 | 614601 | ζ | 614601 | ζ |
(21,12,8,4,3) | 6159 | ψ,ω | 6212 | 0 | 61765 | ψ | 615047 | 13 | 615047 | ζ | 615047 | ζ |
(21,11,7,5,3) | 6167 | ψ | 6204 | 0 | 61015 | ψ | 63385 | 2 | 63385 | ζ | 63385 | ζ |
(21,12,7,5,3) | 6167 | ψ,ω | 6220 | 0 | 62237 | ψ | 621723 | 15 | 621723 | ζ | 621723 | ζ |
(21,12,8,5,3) | 6167 | ψ,ω | 6220 | 0 | 62407 | ψ | 625369 | 21 | 625369 | ζ | 625369 | ζ |
(21,12,8,6,3) | 6167 | ψ,ω | 6220 | 0 | 62419 | ψ | 625479 | 13 | 625479 | ζ | 625479 | ζ |
(21,11,7,5,4) | 6167 | ψ | 6204 | 0 | 61019 | ψ | 63391 | 2 | 63391 | ζ | 63391 | ζ |
(21,12,7,5,4) | 6167 | ψ,ω | 6220 | 0 | 62323 | ψ | 622519 | 16 | 622519 | ζ | 622519 | ζ |
(21,12,8,5,4) | 6167 | ψ,ω | 6220 | 1 | 62567 | ψ | 627529 | 22 | 627529 | ζ | 627529 | ζ |
(21,12,8,6,4) | 6167 | ψ,ω | 6220 | 0 | 62607 | ψ | 628057 | 15 | 628057 | ζ | 628057 | ζ |
(21,12,8,6,5) | 6167 | ψ,ω | 6220 | 0 | 62615 | ψ | 628117 | 14 | 628117 | ζ | 628117 | ζ |
(20,12,6,3,2) | 62 | ω | 62 | ζ,ω | 62 | 0 | 62 | ζ | 62 | ζ | 62 | ζ |
(20,12,6,4,2) | 670 | ω | 670 | ζ,ω | 6288 | 0 | 6288 | ζ | 6288 | ζ | 6288 | ζ |
(20,12,7,4,2) | 6102 | ω | 6102 | ζ,ω | 6502 | 1 | 6502 | ζ | 6502 | ζ | 6502 | ζ |
(20,12,8,4,2) | 6102 | ω | 6102 | ζ,ω | 6506 | 0 | 6506 | ζ | 6506 | ζ | 6506 | ζ |
(20,12,6,4,3) | 679 | ω | 679 | ζ,ω | 6417 | 0 | 6417 | ζ | 6417 | ζ | 6417 | ζ |
(20,12,7,4,3) | 6159 | ω | 6159 | ζ,ω | 61723 | 2 | 61723 | ζ | 61723 | ζ | 61723 | ζ |
(20,12,8,4,3) | 6159 | ω | 6159 | ζ,ω | 61765 | 1 | 61765 | ζ | 61765 | ζ | 61765 | ζ |
(20,12,7,5,3) | 6167 | ω | 6167 | ζ,ω | 62237 | 1 | 62237 | ζ | 62237 | ζ | 62237 | ζ |
(20,12,8,5,3) | 6167 | ω | 6167 | ζ,ω | 62407 | 2 | 62407 | ζ | 62407 | ζ | 62407 | ζ |
(20,12,8,6,3) | 6167 | ω | 6167 | ζ,ω | 62419 | 2 | 62419 | ζ | 62419 | ζ | 62419 | ζ |
(20,12,7,5,4) | 6167 | ω | 6167 | ζ,ω | 62323 | 2 | 62323 | ζ | 62323 | ζ | 62323 | ζ |
(20,12,8,5,4) | 6167 | ω | 6167 | ζ,ω | 62567 | 2 | 62567 | ζ | 62567 | ζ | 62567 | ζ |
(20,12,8,6,4) | 6167 | ω | 6167 | ζ,ω | 62607 | 2 | 62607 | ζ | 62607 | ζ | 62607 | ζ |
(20,12,8,6,5) | 6167 | ω | 6167 | ζ,ω | 62615 | 1 | 62615 | ζ | 62615 | ζ | 62615 | ζ |
(21,13,7,4,2) | 6102 | ψ,ω | 6140 | ω | 6502 | ψ,ω | 63328 | 2 | 63328 | ζ | 63328 | ζ |
(21,13,8,4,2) | 6102 | ψ,ω | 6140 | ω | 6506 | ψ,ω | 63456 | 2 | 63456 | ζ | 63456 | ζ |
(21,13,7,4,3) | 6159 | ψ,ω | 6212 | ω | 61723 | ψ,ω | 615251 | 13 | 615251 | ζ | 615251 | ζ |
(21,13,8,4,3) | 6159 | ψ,ω | 6212 | ω | 61765 | ψ,ω | 615961 | 12 | 615961 | ζ | 615961 | ζ |
(21,13,7,5,3) | 6167 | ψ,ω | 6220 | ω | 62237 | ψ,ω | 623241 | 14 | 623241 | ζ | 623241 | ζ |
(21,13,8,5,3) | 6167 | ψ,ω | 6220 | ω | 62407 | ψ,ω | 629727 | 26 | 629727 | ζ | 629727 | ζ |
(21,13,9,5,3) | 6167 | ψ,ω | 6220 | ω | 62407 | ψ,ω | 629875 | 24 | 629875 | ζ | 629875 | ζ |
(21,13,8,6,3) | 6167 | ψ,ω | 6220 | ω | 62419 | ψ,ω | 630027 | 19 | 630027 | ζ | 630027 | ζ |
(21,13,9,6,3) | 6167 | ψ,ω | 6220 | ω | 62419 | ψ,ω | 630243 | 14 | 630243 | ζ | 630243 | ζ |
(21,13,7,5,4) | 6167 | ψ,ω | 6220 | ω | 62323 | ψ,ω | 624153 | 14 | 624153 | ζ | 624153 | ζ |
(21,13,8,5,4) | 6167 | ψ,ω | 6220 | ω | 62567 | ψ,ω | 633027 | 30 | 633027 | ζ | 633027 | ζ |
(21,13,9,5,4) | 6167 | ψ,ω | 6220 | ω | 62567 | ψ,ω | 633297 | 26 | 633297 | ζ | 633297 | ζ |
(21,13,8,6,4) | 6167 | ψ,ω | 6220 | ω | 62607 | ψ,ω | 634391 | 20 | 634391 | ζ | 634391 | ζ |
(21,13,9,6,4) | 6167 | ψ,ω | 6220 | ω | 62607 | ψ,ω | 635041 | 25 | 635041 | ζ | 635041 | ζ |
(21,13,9,7,4) | 6167 | ψ,ω | 6220 | ω | 62607 | ψ,ω | 635083 | 14 | 635083 | ζ | 635083 | ζ |
(21,13,8,6,5) | 6167 | ψ,ω | 6220 | ω | 62615 | ψ,ω | 634549 | 22 | 634549 | ζ | 634549 | ζ |
(21,13,9,6,5) | 6167 | ψ,ω | 6220 | ω | 62615 | ψ,ω | 635287 | 26 | 635287 | ζ | 635287 | ζ |
(21,13,9,7,5) | 6167 | ψ,ω | 6220 | ω | 62615 | ψ,ω | 635373 | 16 | 635373 | ζ | 635373 | ζ |
(21,13,9,7,6) | 6167 | ψ,ω | 6220 | ω | 62615 | ψ,ω | 635385 | 16 | 635385 | ζ | 635385 | ζ |
(22,11,6,3,2) | 62 | ψ | 62 | ψ | 62 | ψ | 62 | ψ | 62 | 0 | 62 | ζ |
(22,12,6,3,2) | 62 | ψ,ω | 62 | ψ | 62 | ψ | 64 | ψ | 64 | 0 | 64 | ζ |
(22,11,6,4,2) | 670 | ψ | 684 | ψ | 6234 | ψ | 6673 | ψ | 6689 | 1 | 6689 | ζ |
(22,12,6,4,2) | 670 | ψ,ω | 687 | ψ | 6288 | ψ | 6918 | ψ | 6983 | 1 | 6983 | ζ |
(22,11,7,4,2) | 6102 | ψ | 6126 | ψ | 6366 | ψ | 61217 | ψ | 61243 | 0 | 61243 | ζ |
(22,12,7,4,2) | 6102 | ψ,ω | 6140 | ψ | 6502 | ψ | 63258 | ψ | 64018 | 4 | 64018 | ζ |
(22,13,7,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6502 | ψ,ω | 63328 | ψ | 64255 | 3 | 64255 | ζ |
(22,14,7,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6502 | ψ,ω | 63328 | ψ,ω | 64261 | 4 | 64261 | ζ |
(22,12,8,4,2) | 6102 | ψ,ω | 6140 | ψ | 6506 | ψ | 63342 | ψ | 64142 | 2 | 64142 | ζ |
(22,13,8,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6506 | ψ,ω | 63456 | ψ | 64549 | 3 | 64549 | ζ |
(22,14,8,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6506 | ψ,ω | 63456 | ψ,ω | 64567 | 2 | 64567 | ζ |
(22,11,6,4,3) | 679 | ψ | 694 | ψ | 6337 | ψ | 6915 | ψ | 6940 | 0 | 6940 | ζ |
(22,12,6,4,3) | 679 | ψ,ω | 697 | ψ | 6417 | ψ | 61210 | ψ | 61287 | 2 | 61287 | ζ |
(22,11,7,4,3) | 6159 | ψ | 6196 | ψ | 6935 | ψ | 63167 | ψ | 63250 | 2 | 63250 | ζ |
(22,12,7,4,3) | 6159 | ψ,ω | 6212 | ψ | 61723 | ψ | 614601 | ψ | 619240 | 15 | 619240 | ζ |
(22,13,7,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61723 | ψ,ω | 615251 | ψ | 621390 | 20 | 621390 | ζ |
(22,14,7,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61723 | ψ,ω | 615251 | ψ,ω | 621418 | 18 | 621418 | ζ |
(22,12,8,4,3) | 6159 | ψ,ω | 6212 | ψ | 61765 | ψ | 615047 | ψ | 619964 | 15 | 619964 | ζ |
(22,13,8,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61765 | ψ,ω | 615961 | ψ | 623075 | 19 | 623075 | ζ |
(22,14,8,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61765 | ψ,ω | 615961 | ψ,ω | 623167 | 17 | 623167 | ζ |
(22,11,7,5,3) | 6167 | ψ | 6204 | ψ | 61015 | ψ | 63385 | ψ | 63472 | 2 | 63472 | ζ |
(22,12,7,5,3) | 6167 | ψ,ω | 6220 | ψ | 62237 | ψ | 621723 | ψ | 629824 | 20 | 629824 | ζ |
(22,13,7,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62237 | ψ,ω | 623241 | ψ | 634732 | 24 | 634732 | ζ |
(22,14,7,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62237 | ψ,ω | 623241 | ψ,ω | 634798 | 22 | 634798 | ζ |
(22,12,8,5,3) | 6167 | ψ,ω | 6220 | ψ | 62407 | ψ | 625369 | ψ | 636114 | 30 | 636114 | ζ |
(22,13,8,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629727 | ψ | 653344 | 49 | 653344 | ζ |
(22,14,8,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629727 | ψ,ω | 654338 | 48 | 654338 | ζ |
(22,13,9,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ | 653880 | 42 | 653880 | ζ |
(22,14,9,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655314 | 49 | 655314 | ζ |
(22,14,10,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655326 | 41 | 655326 | ζ |
(22,12,8,6,3) | 6167 | ψ,ω | 6220 | ψ | 62419 | ψ | 625479 | ψ | 636300 | 19 | 636300 | ζ |
(22,13,8,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630027 | ψ | 654196 | 36 | 654196 | ζ |
(22,14,8,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630027 | ψ,ω | 655310 | 31 | 655310 | ζ |
(22,13,9,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ | 655084 | 27 | 655084 | ζ |
(22,14,9,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656878 | 33 | 656878 | ζ |
(22,14,10,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656920 | 27 | 656920 | ζ |
(22,11,7,5,4) | 6167 | ψ | 6204 | ψ | 61019 | ψ | 63391 | ψ | 63478 | 2 | 63478 | ζ |
(22,12,7,5,4) | 6167 | ψ,ω | 6220 | ψ | 62323 | ψ | 622519 | ψ | 630964 | 21 | 630964 | ζ |
(22,13,7,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62323 | ψ,ω | 624153 | ψ | 636178 | 24 | 636178 | ζ |
(22,14,7,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62323 | ψ,ω | 624153 | ψ,ω | 636250 | 23 | 636250 | ζ |
(22,12,8,5,4) | 6167 | ψ,ω | 6220 | ψ | 62567 | ψ | 627529 | ψ | 639542 | 30 | 639542 | ζ |
(22,13,8,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633027 | ψ | 661403 | 53 | 661403 | ζ |
(22,14,8,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633027 | ψ,ω | 662771 | 55 | 662771 | ζ |
(22,13,9,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ | 662367 | 45 | 662367 | ζ |
(22,14,9,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664475 | 52 | 664475 | ζ |
(22,14,10,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664497 | 48 | 664497 | ζ |
(22,12,8,6,4) | 6167 | ψ,ω | 6220 | ψ | 62607 | ψ | 628057 | ψ | 640446 | 20 | 640446 | ζ |
(22,13,8,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 634391 | ψ | 665845 | 44 | 665845 | ζ |
(22,14,8,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 634391 | ψ,ω | 667659 | 41 | 667659 | ζ |
(22,13,9,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ | 668959 | 47 | 668959 | ζ |
(22,14,9,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673075 | 65 | 673075 | ζ |
(22,14,10,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673279 | 49 | 673279 | ζ |
(22,13,9,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ | 669103 | 32 | 669103 | ζ |
(22,14,9,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673381 | 43 | 673381 | ζ |
(22,14,10,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673693 | 56 | 673693 | ζ |
(22,14,10,8,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673701 | 33 | 673701 | ζ |
(22,12,8,6,5) | 6167 | ψ,ω | 6220 | ψ | 62615 | ψ | 628117 | ψ | 640546 | 19 | 640546 | ζ |
(22,13,8,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 634549 | ψ | 666299 | 43 | 666299 | ζ |
(22,14,8,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 634549 | ψ,ω | 668161 | 33 | 668161 | ζ |
(22,13,9,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ | 669903 | 52 | 669903 | ζ |
(22,14,9,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674393 | 62 | 674393 | ζ |
(22,14,10,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674647 | 54 | 674647 | ζ |
(22,13,9,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ | 670281 | 34 | 670281 | ζ |
(22,14,9,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675209 | 43 | 675209 | ζ |
(22,14,10,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675739 | 48 | 675739 | ζ |
(22,14,10,8,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675777 | 33 | 675777 | ζ |
(22,13,9,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ | 670327 | 34 | 670327 | ζ |
(22,14,9,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675305 | 45 | 675305 | ζ |
(22,14,10,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675891 | 57 | 675891 | ζ |
(22,14,10,8,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675965 | 33 | 675965 | ζ |
(22,14,10,8,7) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | 33 | 675977 | ζ |
(23,12,6,3,2) | 62 | ψ,ω | 62 | ψ | 62 | ψ | 64 | ψ | 64 | ψ | 64 | 0 |
(23,12,6,4,2) | 670 | ψ,ω | 687 | ψ | 6288 | ψ | 6918 | ψ | 6983 | ψ | 6985 | 1 |
(23,12,7,4,2) | 6102 | ψ,ω | 6140 | ψ | 6502 | ψ | 63258 | ψ | 64018 | ψ | 64044 | 3 |
(23,13,7,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6502 | ψ,ω | 63328 | ψ | 64255 | ψ | 64309 | 4 |
(23,14,7,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6502 | ψ,ω | 63328 | ψ,ω | 64261 | ψ | 64319 | 4 |
(23,12,8,4,2) | 6102 | ψ,ω | 6140 | ψ | 6506 | ψ | 63342 | ψ | 64142 | ψ | 64172 | 2 |
(23,13,8,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6506 | ψ,ω | 63456 | ψ | 64549 | ψ | 64627 | 3 |
(23,14,8,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6506 | ψ,ω | 63456 | ψ,ω | 64567 | ψ | 64657 | 3 |
(23,15,8,4,2) | 6102 | ψ,ω | 6140 | ψ,ω | 6506 | ψ,ω | 63456 | ψ,ω | 64567 | ψ,ω | 64659 | 3 |
(23,12,6,4,3) | 679 | ψ,ω | 697 | ψ | 6417 | ψ | 61210 | ψ | 61287 | ψ | 61289 | 1 |
(23,12,7,4,3) | 6159 | ψ,ω | 6212 | ψ | 61723 | ψ | 614601 | ψ | 619240 | ψ | 619384 | 19 |
(23,13,7,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61723 | ψ,ω | 615251 | ψ | 621390 | ψ | 621796 | 20 |
(23,14,7,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61723 | ψ,ω | 615251 | ψ,ω | 621418 | ψ | 621846 | 19 |
(23,12,8,4,3) | 6159 | ψ,ω | 6212 | ψ | 61765 | ψ | 615047 | ψ | 619964 | ψ | 620138 | 16 |
(23,13,8,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61765 | ψ,ω | 615961 | ψ | 623075 | ψ | 623643 | 19 |
(23,14,8,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61765 | ψ,ω | 615961 | ψ,ω | 623167 | ψ | 623809 | 19 |
(23,15,8,4,3) | 6159 | ψ,ω | 6212 | ψ,ω | 61765 | ψ,ω | 615961 | ψ,ω | 623167 | ψ,ω | 623813 | 18 |
(23,12,7,5,3) | 6167 | ψ,ω | 6220 | ψ | 62237 | ψ | 621723 | ψ | 629824 | ψ | 630084 | 19 |
(23,13,7,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62237 | ψ,ω | 623241 | ψ | 634732 | ψ | 635544 | 23 |
(23,14,7,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62237 | ψ,ω | 623241 | ψ,ω | 634798 | ψ | 635650 | 21 |
(23,12,8,5,3) | 6167 | ψ,ω | 6220 | ψ | 62407 | ψ | 625369 | ψ | 636114 | ψ | 636534 | 28 |
(23,13,8,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629727 | ψ | 653344 | ψ | 656082 | 49 |
(23,14,8,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629727 | ψ,ω | 654338 | ψ | 658022 | 53 |
(23,15,8,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629727 | ψ,ω | 654338 | ψ,ω | 658076 | 50 |
(23,13,9,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ | 653880 | ψ | 656762 | 46 |
(23,14,9,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655314 | ψ | 659490 | 54 |
(23,15,9,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655314 | ψ,ω | 659626 | 50 |
(23,14,10,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655326 | ψ | 659514 | 43 |
(23,15,10,5,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62407 | ψ,ω | 629875 | ψ,ω | 655326 | ψ,ω | 659660 | 45 |
(23,12,8,6,3) | 6167 | ψ,ω | 6220 | ψ | 62419 | ψ | 625479 | ψ | 636300 | ψ | 636732 | 17 |
(23,13,8,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630027 | ψ | 654196 | ψ | 657044 | 38 |
(23,14,8,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630027 | ψ,ω | 655310 | ψ | 659178 | 40 |
(23,15,8,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630027 | ψ,ω | 655310 | ψ,ω | 659244 | 36 |
(23,13,9,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ | 655084 | ψ | 658148 | 29 |
(23,14,9,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656878 | ψ | 661514 | 41 |
(23,15,9,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656878 | ψ,ω | 661710 | 37 |
(23,14,10,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656920 | ψ | 661598 | 31 |
(23,15,10,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656920 | ψ,ω | 661830 | 37 |
(23,15,11,6,3) | 6167 | ψ,ω | 6220 | ψ,ω | 62419 | ψ,ω | 630243 | ψ,ω | 656920 | ψ,ω | 661834 | 28 |
(23,12,7,5,4) | 6167 | ψ,ω | 6220 | ψ | 62323 | ψ | 622519 | ψ | 630964 | ψ | 631238 | 21 |
(23,13,7,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62323 | ψ,ω | 624153 | ψ | 636178 | ψ | 637022 | 26 |
(23,14,7,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62323 | ψ,ω | 624153 | ψ,ω | 636250 | ψ | 637136 | 22 |
(23,12,8,5,4) | 6167 | ψ,ω | 6220 | ψ | 62567 | ψ | 627529 | ψ | 639542 | ψ | 640038 | 30 |
(23,13,8,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633027 | ψ | 661403 | ψ | 664821 | 58 |
(23,14,8,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633027 | ψ,ω | 662771 | ψ | 667479 | 61 |
(23,15,8,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633027 | ψ,ω | 662771 | ψ,ω | 667555 | 59 |
(23,13,9,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ | 662367 | ψ | 666033 | 50 |
(23,14,9,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664475 | ψ | 669991 | 61 |
(23,15,9,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664475 | ψ,ω | 670189 | 60 |
(23,14,10,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664497 | ψ | 670033 | 53 |
(23,15,10,5,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62567 | ψ,ω | 633297 | ψ,ω | 664497 | ψ,ω | 670245 | 54 |
(23,12,8,6,4) | 6167 | ψ,ω | 6220 | ψ | 62607 | ψ | 628057 | ψ | 640446 | ψ | 640982 | 20 |
(23,13,8,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 634391 | ψ | 665845 | ψ | 669785 | 46 |
(23,14,8,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 634391 | ψ,ω | 667659 | ψ | 673255 | 48 |
(23,15,8,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 634391 | ψ,ω | 667659 | ψ,ω | 673371 | 45 |
(23,13,9,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ | 668959 | ψ | 673539 | 55 |
(23,14,9,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673075 | ψ | 681191 | 76 |
(23,15,9,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673075 | ψ,ω | 681725 | 72 |
(23,14,10,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673279 | ψ | 681599 | 62 |
(23,15,10,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673279 | ψ,ω | 682329 | 67 |
(23,15,11,6,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635041 | ψ,ω | 673279 | ψ,ω | 682349 | 52 |
(23,13,9,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ | 669103 | ψ | 673725 | 34 |
(23,14,9,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673381 | ψ | 681641 | 50 |
(23,15,9,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673381 | ψ,ω | 682217 | 46 |
(23,14,10,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673693 | ψ | 682265 | 57 |
(23,15,10,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673693 | ψ,ω | 683127 | 71 |
(23,15,11,7,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673693 | ψ,ω | 683175 | 57 |
(23,14,10,8,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673701 | ψ | 682281 | 38 |
(23,15,10,8,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673701 | ψ,ω | 683151 | 47 |
(23,15,11,8,4) | 6167 | ψ,ω | 6220 | ψ,ω | 62607 | ψ,ω | 635083 | ψ,ω | 673701 | ψ,ω | 683205 | 35 |
(23,12,8,6,5) | 6167 | ψ,ω | 6220 | ψ | 62615 | ψ | 628117 | ψ | 640546 | ψ | 641090 | 20 |
(23,13,8,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 634549 | ψ | 666299 | ψ | 670299 | 46 |
(23,14,8,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 634549 | ψ,ω | 668161 | ψ | 673857 | 49 |
(23,15,8,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 634549 | ψ,ω | 668161 | ψ,ω | 673981 | 46 |
(23,13,9,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ | 669903 | ψ | 674623 | 59 |
(23,14,9,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674393 | ψ | 682925 | 70 |
(23,15,9,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674393 | ψ,ω | 683519 | 68 |
(23,14,10,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674647 | ψ | 683431 | 66 |
(23,15,10,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674647 | ψ,ω | 684261 | 70 |
(23,15,11,6,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635287 | ψ,ω | 674647 | ψ,ω | 684289 | 59 |
(23,13,9,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ | 670281 | ψ | 675087 | 34 |
(23,14,9,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675209 | ψ | 684117 | 45 |
(23,15,9,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675209 | ψ,ω | 684797 | 47 |
(23,14,10,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675739 | ψ | 685177 | 66 |
(23,15,10,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675739 | ψ,ω | 686331 | 69 |
(23,15,11,7,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675739 | ψ,ω | 686427 | 60 |
(23,14,10,8,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675777 | ψ | 685253 | 41 |
(23,15,10,8,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675777 | ψ,ω | 686445 | 51 |
(23,15,11,8,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675777 | ψ,ω | 686577 | 60 |
(23,15,11,9,5) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635373 | ψ,ω | 675777 | ψ,ω | 686585 | 34 |
(23,13,9,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ | 670327 | ψ | 675145 | 36 |
(23,14,9,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675305 | ψ | 684259 | 42 |
(23,15,9,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675305 | ψ,ω | 684951 | 50 |
(23,14,10,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675891 | ψ | 685425 | 62 |
(23,15,10,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675891 | ψ,ω | 686625 | 65 |
(23,15,11,7,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675891 | ψ,ω | 686733 | 60 |
(23,14,10,8,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675965 | ψ | 685573 | 29 |
(23,15,10,8,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675965 | ψ,ω | 686847 | 52 |
(23,15,11,8,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675965 | ψ,ω | 687023 | 51 |
(23,15,11,9,6) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675965 | ψ,ω | 687043 | 37 |
(23,14,10,8,7) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | ψ | 685597 | 41 |
(23,15,10,8,7) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | ψ,ω | 686883 | 47 |
(23,15,11,8,7) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | ψ,ω | 687071 | 66 |
(23,15,11,9,7) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | ψ,ω | 687103 | 37 |
(23,15,11,9,8) | 6167 | ψ,ω | 6220 | ψ,ω | 62615 | ψ,ω | 635385 | ψ,ω | 675977 | ψ,ω | 687111 | 36 |