Two columns were added to the end of minLex416, the subgroup count and index.
The representation presented is human readable as the priority, while easily crunched by code.
These represent something constant in Sudoku.
Hidden Text: Show
- Code: Select all
//
// subgroups.h
// minLexGrid
//
// Created by Wade Whitaker on 5/22/24.
//
#ifndef subgroups_h
#define subgroups_h
//typealias ReorderInputData = (row:Int,col:Int,rel:Int)
typedef struct {
int row;
int col;
int rel;
} Reorder;
//int *a = (int[]){3,4,5,6,7,8,0,1,2}; // compound literal
//int *b = (int[]){{1,2,3},{4,5,6}};
Reorder * subGroups[84] = {
(Reorder[]) { // 0
{ 123456789, 123456789, 123456789 }
},
(Reorder[]) { // 1
{ 123456789, 123456789, 123456789 },
{ 132456789, 123897645, 123897645 }
},
(Reorder[]) { // 2
{ 123456789, 123456789, 123456789 },
{ 132456789, 132897645, 132897645 }
},
(Reorder[]) { // 3
{ 123456789, 123456789, 123456789 },
{ 132456789, 132987654, 132987654 }
},
(Reorder[]) { // 4
{ 123456789, 123456789, 123456789 },
{ 132456789, 321897645, 321897645 }
},
(Reorder[]) { // 5
{ 123456789, 123456789, 123456789 },
{ 132456789, 321987654, 321987654 }
},
(Reorder[]) { // 6
{ 123456789, 123456789, 123456789 },
{ 132456789, 564312789, 564312789 }
},
(Reorder[]) { // 7
{ 123456789, 123456789, 123456789 },
{ 132456789, 645231798, 645231798 }
},
(Reorder[]) { // 8
{ 123456789, 123456789, 123456789 },
{ 132456789, 654321798, 654321798 }
},
(Reorder[]) { // 9
{ 123456789, 123456789, 123456789 },
{ 132456789, 654321987, 654321987 }
},
(Reorder[]) { // 10
{ 123456789, 123456789, 123456789 },
{ 132456789, 789546123, 789546123 }
},
(Reorder[]) { // 11
{ 123456789, 123456789, 123456789 },
{ 132456789, 798456132, 798456132 }
},
(Reorder[]) { // 12
{ 123456789, 123456789, 123456789 },
{ 132456789, 798546132, 798546132 }
},
(Reorder[]) { // 13
{ 123456789, 123456789, 123456789 },
{ 132456789, 897546312, 897546312 }
},
(Reorder[]) { // 14
{ 123456789, 123456789, 123456789 },
{ 132456789, 987456321, 987456321 }
},
(Reorder[]) { // 15
{ 123456789, 123456789, 123456789 },
{ 213456789, 123789456, 456123789 }
},
(Reorder[]) { // 16
{ 123456789, 123456789, 123456789 },
{ 213456789, 132798465, 465132798 }
},
(Reorder[]) { // 17
{ 123456789, 123456789, 123456789 },
{ 213456789, 132798465, 475136298 }
},
(Reorder[]) { // 18
{ 123456789, 123456789, 123456789 },
{ 213456789, 321987654, 654321987 }
},
(Reorder[]) { // 19
{ 123456789, 123456789, 123456789 },
{ 213456789, 456123789, 189457623 }
},
(Reorder[]) { // 20
{ 123456789, 123456789, 123456789 },
{ 213456789, 456123789, 789456123 }
},
(Reorder[]) { // 21
{ 123456789, 123456789, 123456789 },
{ 213456789, 456123789, 893457612 }
},
(Reorder[]) { // 22
{ 123456789, 123456789, 123456789 },
{ 213456789, 546213798, 829547613 }
},
(Reorder[]) { // 23
{ 123456789, 123456789, 123456789 },
{ 213456789, 987654321, 216983754 }
},
(Reorder[]) { // 24
{ 123456789, 123456789, 123456789 },
{ 213456789, 987654321, 632981754 }
},
(Reorder[]) { // 25
{ 123456789, 123456789, 123456789 },
{ 321456789, 123879546, 689451723 }
},
(Reorder[]) { // 26
{ 123456789, 123456789, 123456789 },
{ 321456789, 123897645, 698451732 }
},
(Reorder[]) { // 27
{ 123456789, 123456789, 123456789 },
{ 321456789, 123978564, 689451723 }
},
(Reorder[]) { // 28
{ 123456789, 123456789, 123456789 },
{ 321456789, 123978564, 698451732 }
},
(Reorder[]) { // 29
{ 123456789, 123456789, 123456789 },
{ 321456789, 123987654, 698451732 }
},
(Reorder[]) { // 30
{ 123456789, 123456789, 123456789 },
{ 321456789, 213879546, 689541723 }
},
(Reorder[]) { // 31
{ 123456789, 123456789, 123456789 },
{ 321456789, 213897645, 698541732 }
},
(Reorder[]) { // 32
{ 123456789, 123456789, 123456789 },
{ 321456789, 213897645, 968542731 }
},
(Reorder[]) { // 33
{ 123456789, 123456789, 123456789 },
{ 321456789, 456123879, 132789456 }
},
(Reorder[]) { // 34
{ 123456789, 123456789, 123456789 },
{ 321456789, 456123987, 213789456 }
},
(Reorder[]) { // 35
{ 123456789, 123456789, 123456789 },
{ 321456789, 465132987, 213798465 }
},
(Reorder[]) { // 36
{ 123456789, 123456789, 123456789 },
{ 321456789, 564312789, 723896145 }
},
(Reorder[]) { // 37
{ 123456789, 123456789, 123456789 },
{ 321456789, 564312798, 371896245 }
},
(Reorder[]) { // 38
{ 123456789, 123456789, 123456789 },
{ 321456789, 654321789, 723986154 }
},
(Reorder[]) { // 39
{ 123456789, 123456789, 123456789 },
{ 321456789, 654321798, 371986254 }
},
(Reorder[]) { // 40
{ 123456789, 123456789, 123456789 },
{ 321456789, 654321798, 732986154 }
},
(Reorder[]) { // 41
{ 123456789, 123456789, 123456789 },
{ 321456789, 654321879, 732986154 }
},
(Reorder[]) { // 42
{ 123456789, 123456789, 123456789 },
{ 321456789, 654321987, 732986154 }
},
(Reorder[]) { // 43
{ 123456789, 123456789, 123456789 },
{ 321456789, 789456123, 145237689 }
},
(Reorder[]) { // 44
{ 123456789, 123456789, 123456789 },
{ 321456789, 789465123, 145237698 }
},
(Reorder[]) { // 45
{ 123456789, 123456789, 123456789 },
{ 321456789, 798456132, 145237689 }
},
(Reorder[]) { // 46
{ 123456789, 123456789, 123456789 },
{ 321456789, 798465132, 145237698 }
},
(Reorder[]) { // 47
{ 123456789, 123456789, 123456789 },
{ 321456789, 879456213, 154327689 }
},
(Reorder[]) { // 48
{ 123456789, 123456789, 123456789 },
{ 321456789, 897456312, 453127689 }
},
(Reorder[]) { // 49
{ 123456789, 123456789, 123456789 },
{ 321456789, 897456312, 543217689 }
},
(Reorder[]) { // 50
{ 123456789, 123456789, 123456789 },
{ 321456789, 978456231, 154327689 }
},
(Reorder[]) { // 51
{ 123456789, 123456789, 123456789 },
{ 321456789, 987456321, 453127689 }
},
(Reorder[]) { // 52
{ 123456789, 123456789, 123456789 },
{ 321456789, 987465321, 154327698 }
},
(Reorder[]) { // 53
{ 123456789, 123456789, 123456789 },
{ 321456789, 987654321, 645231987 }
},
(Reorder[]) { // 54
{ 123456789, 123456789, 123456789 },
{ 123456789, 789321654, 654987123 },
{ 123456789, 654987123, 789321654 }
},
(Reorder[]) { // 55
{ 123456789, 123456789, 123456789 },
{ 312456789, 987213645, 829316754 },
{ 231456789, 546897321, 524986713 }
},
(Reorder[]) { // 56
{ 123456789, 123456789, 123456789 },
{ 123456789, 132465798, 132465798 },
{ 213456789, 456123789, 789456123 },
{ 213456789, 465132798, 798465132 }
},
(Reorder[]) { // 57
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 213456789, 456123789, 789456123 },
{ 213456789, 645312978, 897564231 },
{ 213456789, 564231897, 978645312 }
},
(Reorder[]) { // 58
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 213456789, 123789456, 456123789 },
{ 213456789, 312978645, 564231897 },
{ 213456789, 231897564, 645312978 }
},
(Reorder[]) { // 59
{ 123456789, 123456789, 123456789 },
{ 132456789, 123897645, 123897645 },
{ 123456789, 978312645, 564897231 },
{ 132456789, 978456231, 978456231 },
{ 123456789, 564897231, 978312645 },
{ 132456789, 564312789, 564312789 }
},
(Reorder[]) { // 60
{ 123456789, 123456789, 123456789 },
{ 132456789, 123897645, 123897645 },
{ 312456789, 897123645, 189236745 },
{ 321456789, 897456312, 145237689 },
{ 231456789, 456897312, 145896723 },
{ 213456789, 456123789, 189457623 }
},
(Reorder[]) { // 61
{ 123456789, 123456789, 123456789 },
{ 132456789, 123987654, 123987654 },
{ 312456789, 987123654, 189326754 },
{ 321456789, 987456321, 154327689 },
{ 231456789, 456987321, 154986723 },
{ 213456789, 456123789, 189457623 }
},
(Reorder[]) { // 62
{ 123456789, 123456789, 123456789 },
{ 132456789, 132897645, 132897645 },
{ 123456789, 789321654, 654987123 },
{ 132456789, 798546132, 798546132 },
{ 123456789, 654987123, 789321654 },
{ 132456789, 645231798, 645231798 }
},
(Reorder[]) { // 63
{ 123456789, 123456789, 123456789 },
{ 132456789, 213978564, 213978564 },
{ 312456789, 879312654, 897132546 },
{ 321456789, 789465123, 645231798 },
{ 231456789, 564987213, 465879312 },
{ 213456789, 654321879, 987654321 }
},
(Reorder[]) { // 64
{ 123456789, 123456789, 123456789 },
{ 213456789, 123897645, 457126389 },
{ 312456789, 897123654, 893216745 },
{ 132456789, 897546312, 897546312 },
{ 231456789, 456987312, 543896712 },
{ 321456789, 456123798, 217896345 }
},
(Reorder[]) { // 65
{ 123456789, 123456789, 123456789 },
{ 213456789, 123897645, 457126389 },
{ 123456789, 897123645, 456897312 },
{ 213456789, 897456312, 126893745 },
{ 123456789, 456897312, 897123645 },
{ 213456789, 456123789, 893457612 }
},
(Reorder[]) { // 66
{ 123456789, 123456789, 123456789 },
{ 213456789, 132798465, 465132798 },
{ 123456789, 897231564, 645978312 },
{ 213456789, 879546213, 213879546 },
{ 123456789, 645978312, 897231564 },
{ 213456789, 654321987, 987654321 }
},
(Reorder[]) { // 67
{ 123456789, 123456789, 123456789 },
{ 231456789, 123564789, 896127345 },
{ 312456789, 123645789, 457893612 },
{ 132456789, 987546321, 987546321 },
{ 321456789, 987465321, 543217698 },
{ 213456789, 987654321, 216983754 }
},
(Reorder[]) { // 68
{ 123456789, 123456789, 123456789 },
{ 231456789, 231564789, 968317245 },
{ 312456789, 312645789, 574892631 },
{ 132456789, 465132798, 465132798 },
{ 321456789, 654321798, 371986254 },
{ 213456789, 546213798, 829547613 }
},
(Reorder[]) { // 69
{ 123456789, 123456789, 123456789 },
{ 231456789, 312564789, 689237145 },
{ 312456789, 231645789, 745891623 },
{ 132456789, 645231789, 645231789 },
{ 321456789, 564312789, 723896145 },
{ 213456789, 456123789, 189457623 }
},
(Reorder[]) { // 70
{ 123456789, 123456789, 123456789 },
{ 231456789, 312564978, 689237145 },
{ 312456789, 231645897, 745891623 },
{ 132456789, 798546132, 798546132 },
{ 321456789, 879465213, 154327698 },
{ 213456789, 987654321, 632981754 }
},
(Reorder[]) { // 71
{ 123456789, 123456789, 123456789 },
{ 321456789, 123789456, 689451723 },
{ 231456789, 789123456, 723451689 },
{ 132456789, 789456123, 789456123 },
{ 312456789, 456789123, 623457189 },
{ 213456789, 456123789, 189457623 }
},
(Reorder[]) { // 72
{ 123456789, 123456789, 123456789 },
{ 321456789, 123987654, 689451723 },
{ 123456789, 789321654, 654987123 },
{ 321456789, 789456123, 154327689 },
{ 123456789, 654987123, 789321654 },
{ 321456789, 654321789, 723986154 }
},
(Reorder[]) { // 73
{ 123456789, 123456789, 123456789 },
{ 321456789, 213978564, 689541723 },
{ 312456789, 897132546, 198326745 },
{ 213456789, 987654321, 632981754 },
{ 231456789, 465879312, 154896732 },
{ 132456789, 645231798, 645231798 }
},
(Reorder[]) { // 74
{ 123456789, 123456789, 123456789 },
{ 123456789, 132465798, 132465798 },
{ 213456789, 123789456, 456123789 },
{ 213456789, 132798465, 465132798 },
{ 312456789, 789123465, 789132456 },
{ 312456789, 798132456, 798123465 },
{ 132456789, 789465123, 789465123 },
{ 132456789, 798456132, 798456132 },
{ 231456789, 456798123, 465789123 },
{ 231456789, 465789132, 456798132 },
{ 321456789, 456123798, 132789456 },
{ 321456789, 465132789, 123798465 }
},
(Reorder[]) { // 75
{ 123456789, 123456789, 123456789 },
{ 123456789, 132465798, 132465798 },
{ 213456789, 123789456, 456123789 },
{ 213456789, 132798465, 465132798 },
{ 123456789, 789123456, 456789123 },
{ 123456789, 798132465, 465798132 },
{ 213456789, 789456123, 123789456 },
{ 213456789, 798465132, 132798465 },
{ 123456789, 456789123, 789123456 },
{ 123456789, 465798132, 798132465 },
{ 213456789, 456123789, 789456123 },
{ 213456789, 465132798, 798465132 }
},
(Reorder[]) { // 76
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 213456789, 132798465, 465132798 },
{ 213456789, 321987654, 654321987 },
{ 213456789, 213879546, 546213879 },
{ 312456789, 789123645, 789231456 },
{ 312456789, 978312564, 897312564 },
{ 312456789, 897231456, 978123645 },
{ 132456789, 798654132, 798654132 },
{ 132456789, 987546321, 987546321 },
{ 132456789, 879465213, 879465213 },
{ 231456789, 456897123, 645789123 },
{ 231456789, 645789312, 456897231 },
{ 231456789, 564978231, 564978312 },
{ 321456789, 465132879, 213798465 },
{ 321456789, 654321798, 132987654 },
{ 321456789, 546213987, 321879546 }
},
(Reorder[]) { // 77
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 132456789, 132798465, 132798465 },
{ 132456789, 321987654, 321987654 },
{ 132456789, 213879546, 213879546 },
{ 231456789, 978312645, 123564897 },
{ 231456789, 897231564, 231645978 },
{ 231456789, 789123456, 312456789 },
{ 213456789, 987654321, 132987654 },
{ 213456789, 879546213, 321879546 },
{ 213456789, 798465132, 213798465 },
{ 312456789, 645978312, 312564897 },
{ 312456789, 564897231, 123645978 },
{ 312456789, 456789123, 231456789 },
{ 321456789, 654321987, 213987654 },
{ 321456789, 546213879, 132879546 },
{ 321456789, 465132798, 321798465 }
},
(Reorder[]) { // 78
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 321456789, 132987654, 798465132 },
{ 321456789, 321879546, 987654321 },
{ 321456789, 213798465, 879546213 },
{ 123456789, 978123456, 456789231 },
{ 123456789, 897312645, 564897312 },
{ 123456789, 789231564, 645978123 },
{ 321456789, 987654321, 465132987 },
{ 321456789, 879546213, 654321879 },
{ 321456789, 798465132, 546213798 },
{ 123456789, 645978123, 789231564 },
{ 123456789, 564897312, 897312645 },
{ 123456789, 456789231, 978123456 },
{ 321456789, 654321879, 132987654 },
{ 321456789, 546213798, 321879546 },
{ 321456789, 465132987, 213798465 }
},
(Reorder[]) { // 79
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 231456789, 123456978, 789123456 },
{ 231456789, 312645897, 897231564 },
{ 231456789, 231564789, 978312645 },
{ 312456789, 123456897, 456789123 },
{ 312456789, 312645789, 564897231 },
{ 312456789, 231564978, 645978312 },
{ 132456789, 654321987, 654321987 },
{ 132456789, 546213879, 546213879 },
{ 132456789, 465132798, 465132798 },
{ 321456789, 654321798, 321987654 },
{ 321456789, 546213987, 213879546 },
{ 321456789, 465132879, 132798465 },
{ 213456789, 654321879, 987654321 },
{ 213456789, 546213798, 879546213 },
{ 213456789, 465132987, 798465132 }
},
(Reorder[]) { // 80
{ 123456789, 123456789, 123456789 },
{ 231456789, 123456789, 896127345 },
{ 312456789, 123456789, 457893612 },
{ 132456789, 123897645, 123897645 },
{ 321456789, 123897645, 896453712 },
{ 213456789, 123897645, 457126389 },
{ 123456789, 897123645, 456897312 },
{ 231456789, 897123645, 127453689 },
{ 312456789, 897123645, 893126745 },
{ 132456789, 897456312, 897456312 },
{ 321456789, 897456312, 453127689 },
{ 213456789, 897456312, 126893745 },
{ 123456789, 456897312, 897123645 },
{ 231456789, 456897312, 453896712 },
{ 312456789, 456897312, 126457389 },
{ 132456789, 456123789, 456123789 },
{ 321456789, 456123789, 127896345 },
{ 213456789, 456123789, 893457612 }
},
(Reorder[]) { // 81
{ 123456789, 123456789, 123456789 },
{ 231456789, 231564897, 968317245 },
{ 312456789, 312645978, 574892631 },
{ 132456789, 321987654, 321987654 },
{ 321456789, 213879546, 869542713 },
{ 213456789, 132798465, 475136298 },
{ 123456789, 978312645, 564897231 },
{ 231456789, 789123456, 173452689 },
{ 312456789, 897231564, 928316745 },
{ 132456789, 879546213, 879546213 },
{ 321456789, 798465132, 425137698 },
{ 213456789, 987654321, 361982754 },
{ 123456789, 564897231, 978312645 },
{ 231456789, 645978312, 524896731 },
{ 312456789, 456789123, 163457289 },
{ 132456789, 465132798, 465132798 },
{ 321456789, 654321987, 371986254 },
{ 213456789, 546213879, 829547613 }
},
(Reorder[]) { // 82
{ 123456789, 123456789, 123456789 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 231564897, 312645978 },
{ 231456789, 123564978, 897123645 },
{ 231456789, 312456897, 978231456 },
{ 231456789, 231645789, 789312564 },
{ 312456789, 123645897, 456897312 },
{ 312456789, 312564789, 564978123 },
{ 312456789, 231456978, 645789231 },
{ 132456789, 123897645, 123897645 },
{ 132456789, 312789564, 231978456 },
{ 132456789, 231978456, 312789564 },
{ 321456789, 123978564, 897456312 },
{ 321456789, 312897456, 978564123 },
{ 321456789, 231789645, 789645231 },
{ 213456789, 123789456, 456123789 },
{ 213456789, 312978645, 564231897 },
{ 213456789, 231897564, 645312978 },
{ 123456789, 789123456, 456789123 },
{ 123456789, 978312645, 564897231 },
{ 123456789, 897231564, 645978312 },
{ 231456789, 789231645, 123645897 },
{ 231456789, 978123564, 231456978 },
{ 231456789, 897312456, 312564789 },
{ 312456789, 789312564, 897312456 },
{ 312456789, 978231456, 978123564 },
{ 312456789, 897123645, 789231645 },
{ 132456789, 789564312, 897645123 },
{ 132456789, 978456231, 978456231 },
{ 132456789, 897645123, 789564312 },
{ 321456789, 789645231, 456312897 },
{ 321456789, 978564123, 564123978 },
{ 321456789, 897456312, 645231789 },
{ 213456789, 789456123, 123789456 },
{ 213456789, 978645312, 231897564 },
{ 213456789, 897564231, 312978645 },
{ 123456789, 456789123, 789123456 },
{ 123456789, 645978312, 897231564 },
{ 123456789, 564897231, 978312645 },
{ 231456789, 456897312, 645897123 },
{ 231456789, 645789231, 456978231 },
{ 231456789, 564978123, 564789312 },
{ 312456789, 456978231, 312456897 },
{ 312456789, 645897123, 123564978 },
{ 312456789, 564789312, 231645789 },
{ 132456789, 456231978, 645123897 },
{ 132456789, 645123897, 456231978 },
{ 132456789, 564312789, 564312789 },
{ 321456789, 456312897, 312897456 },
{ 321456789, 645231789, 123978564 },
{ 321456789, 564123978, 231789645 },
{ 213456789, 456123789, 789456123 },
{ 213456789, 645312978, 897564231 },
{ 213456789, 564231897, 978645312 }
},
(Reorder[]) { // 83
{ 123456789, 123456789, 123456789 },
{ 123456789, 132465798, 132465798 },
{ 123456789, 312645978, 231564897 },
{ 123456789, 321654987, 321654987 },
{ 123456789, 231564897, 312645978 },
{ 123456789, 213546879, 213546879 },
{ 231456789, 123456789, 789123456 },
{ 231456789, 132465798, 798132465 },
{ 231456789, 312645978, 897231564 },
{ 231456789, 321654987, 987321654 },
{ 231456789, 231564897, 978312645 },
{ 231456789, 213546879, 879213546 },
{ 312456789, 123456789, 456789123 },
{ 312456789, 132465798, 465798132 },
{ 312456789, 312645978, 564897231 },
{ 312456789, 321654987, 654987321 },
{ 312456789, 231564897, 645978312 },
{ 312456789, 213546879, 546879213 },
{ 132456789, 123789456, 123789456 },
{ 132456789, 132798465, 132798465 },
{ 132456789, 312978645, 231897564 },
{ 132456789, 321987654, 321987654 },
{ 132456789, 231897564, 312978645 },
{ 132456789, 213879546, 213879546 },
{ 321456789, 123789456, 789456123 },
{ 321456789, 132798465, 798465132 },
{ 321456789, 312978645, 897564231 },
{ 321456789, 321987654, 987654321 },
{ 321456789, 231897564, 978645312 },
{ 321456789, 213879546, 879546213 },
{ 213456789, 123789456, 456123789 },
{ 213456789, 132798465, 465132798 },
{ 213456789, 312978645, 564231897 },
{ 213456789, 321987654, 654321987 },
{ 213456789, 231897564, 645312978 },
{ 213456789, 213879546, 546213879 },
{ 123456789, 789123456, 456789123 },
{ 123456789, 798132465, 465798132 },
{ 123456789, 978312645, 564897231 },
{ 123456789, 987321654, 654987321 },
{ 123456789, 897231564, 645978312 },
{ 123456789, 879213546, 546879213 },
{ 231456789, 789123456, 123456789 },
{ 231456789, 798132465, 132465798 },
{ 231456789, 978312645, 231564897 },
{ 231456789, 987321654, 321654987 },
{ 231456789, 897231564, 312645978 },
{ 231456789, 879213546, 213546879 },
{ 312456789, 789123456, 789123456 },
{ 312456789, 798132465, 798132465 },
{ 312456789, 978312645, 897231564 },
{ 312456789, 987321654, 987321654 },
{ 312456789, 897231564, 978312645 },
{ 312456789, 879213546, 879213546 },
{ 132456789, 789456123, 789456123 },
{ 132456789, 798465132, 798465132 },
{ 132456789, 978645312, 897564231 },
{ 132456789, 987654321, 987654321 },
{ 132456789, 897564231, 978645312 },
{ 132456789, 879546213, 879546213 },
{ 321456789, 789456123, 456123789 },
{ 321456789, 798465132, 465132798 },
{ 321456789, 978645312, 564231897 },
{ 321456789, 987654321, 654321987 },
{ 321456789, 897564231, 645312978 },
{ 321456789, 879546213, 546213879 },
{ 213456789, 789456123, 123789456 },
{ 213456789, 798465132, 132798465 },
{ 213456789, 978645312, 231897564 },
{ 213456789, 987654321, 321987654 },
{ 213456789, 897564231, 312978645 },
{ 213456789, 879546213, 213879546 },
{ 123456789, 456789123, 789123456 },
{ 123456789, 465798132, 798132465 },
{ 123456789, 645978312, 897231564 },
{ 123456789, 654987321, 987321654 },
{ 123456789, 564897231, 978312645 },
{ 123456789, 546879213, 879213546 },
{ 231456789, 456789123, 456789123 },
{ 231456789, 465798132, 465798132 },
{ 231456789, 645978312, 564897231 },
{ 231456789, 654987321, 654987321 },
{ 231456789, 564897231, 645978312 },
{ 231456789, 546879213, 546879213 },
{ 312456789, 456789123, 123456789 },
{ 312456789, 465798132, 132465798 },
{ 312456789, 645978312, 231564897 },
{ 312456789, 654987321, 321654987 },
{ 312456789, 564897231, 312645978 },
{ 312456789, 546879213, 213546879 },
{ 132456789, 456123789, 456123789 },
{ 132456789, 465132798, 465132798 },
{ 132456789, 645312978, 564231897 },
{ 132456789, 654321987, 654321987 },
{ 132456789, 564231897, 645312978 },
{ 132456789, 546213879, 546213879 },
{ 321456789, 456123789, 123789456 },
{ 321456789, 465132798, 132798465 },
{ 321456789, 645312978, 231897564 },
{ 321456789, 654321987, 321987654 },
{ 321456789, 564231897, 312978645 },
{ 321456789, 546213879, 213879546 },
{ 213456789, 456123789, 789456123 },
{ 213456789, 465132798, 798465132 },
{ 213456789, 645312978, 897564231 },
{ 213456789, 654321987, 987654321 },
{ 213456789, 564231897, 978645312 },
{ 213456789, 546213879, 879546213 }
}
};
typedef struct {
int number;
int row1;
int row2;
int row3;
int count;
int subgroup;
} minLex416Data;
minLex416Data minLex416[416] = {
{ 1, 123456789, 456789123, 789123456, 108, 83 },
{ 2, 123456789, 456789123, 789123465, 4, 56 },
{ 3, 123456789, 456789123, 789123564, 6, 57 },
{ 4, 123456789, 456789123, 789132465, 12, 74 },
{ 5, 123456789, 456789123, 789132546, 2, 18 },
{ 6, 123456789, 456789123, 789132564, 1, 0 },
{ 7, 123456789, 456789123, 789231564, 6, 58 },
{ 8, 123456789, 456789123, 789231645, 18, 76 },
{ 9, 123456789, 456789123, 798132465, 12, 75 },
{ 10, 123456789, 456789123, 798132546, 2, 20 },
{ 11, 123456789, 456789123, 798132564, 2, 20 },
{ 12, 123456789, 456789123, 798213564, 2, 4 },
{ 13, 123456789, 456789123, 798213654, 6, 66 },
{ 14, 123456789, 456789123, 798231564, 2, 15 },
{ 15, 123456789, 456789123, 798231645, 2, 16 },
{ 16, 123456789, 456789123, 897231564, 54, 82 },
{ 17, 123456789, 456789123, 897231645, 6, 57 },
{ 18, 123456789, 456789132, 789123546, 2, 9 },
{ 19, 123456789, 456789132, 789132546, 2, 53 },
{ 20, 123456789, 456789132, 789132564, 1, 0 },
{ 21, 123456789, 456789132, 789213456, 2, 5 },
{ 22, 123456789, 456789132, 789213645, 1, 0 },
{ 23, 123456789, 456789132, 789213654, 2, 34 },
{ 24, 123456789, 456789132, 789231546, 1, 0 },
{ 25, 123456789, 456789132, 789231564, 2, 35 },
{ 26, 123456789, 456789132, 879231564, 2, 2 },
{ 27, 123456789, 456789231, 789123645, 18, 79 },
{ 28, 123456789, 456789231, 789132546, 2, 33 },
{ 29, 123456789, 456789231, 789231564, 18, 78 },
{ 30, 123456789, 456789231, 789312456, 18, 77 },
{ 31, 123456789, 456789231, 798213645, 6, 63 },
{ 32, 123456789, 457189236, 689237145, 2, 43 },
{ 33, 123456789, 457189236, 689237154, 1, 0 },
{ 34, 123456789, 457189236, 689237415, 1, 0 },
{ 35, 123456789, 457189236, 689237451, 1, 0 },
{ 36, 123456789, 457189236, 689237514, 2, 41 },
{ 37, 123456789, 457189236, 689237541, 1, 0 },
{ 38, 123456789, 457189236, 689273145, 1, 0 },
{ 39, 123456789, 457189236, 689273154, 1, 0 },
{ 40, 123456789, 457189236, 689273415, 1, 0 },
{ 41, 123456789, 457189236, 689273451, 2, 24 },
{ 42, 123456789, 457189236, 689273514, 1, 0 },
{ 43, 123456789, 457189236, 689273541, 1, 0 },
{ 44, 123456789, 457189236, 689327145, 1, 0 },
{ 45, 123456789, 457189236, 689327154, 2, 38 },
{ 46, 123456789, 457189236, 689327415, 1, 0 },
{ 47, 123456789, 457189236, 689327451, 1, 0 },
{ 48, 123456789, 457189236, 689327514, 1, 0 },
{ 49, 123456789, 457189236, 689327541, 1, 0 },
{ 50, 123456789, 457189236, 689372145, 1, 0 },
{ 51, 123456789, 457189236, 689372154, 1, 0 },
{ 52, 123456789, 457189236, 689372415, 1, 0 },
{ 53, 123456789, 457189236, 689372451, 2, 24 },
{ 54, 123456789, 457189236, 689372514, 2, 27 },
{ 55, 123456789, 457189236, 689372541, 1, 0 },
{ 56, 123456789, 457189236, 689723145, 1, 0 },
{ 57, 123456789, 457189236, 689723154, 1, 0 },
{ 58, 123456789, 457189236, 689723415, 1, 0 },
{ 59, 123456789, 457189236, 689723514, 1, 0 },
{ 60, 123456789, 457189236, 689723541, 1, 0 },
{ 61, 123456789, 457189236, 689732145, 1, 0 },
{ 62, 123456789, 457189236, 689732154, 1, 0 },
{ 63, 123456789, 457189236, 689732415, 1, 0 },
{ 64, 123456789, 457189236, 689732514, 1, 0 },
{ 65, 123456789, 457189236, 689732541, 1, 0 },
{ 66, 123456789, 457189236, 698237145, 1, 0 },
{ 67, 123456789, 457189236, 698237154, 2, 29 },
{ 68, 123456789, 457189236, 698237415, 1, 0 },
{ 69, 123456789, 457189236, 698237514, 1, 0 },
{ 70, 123456789, 457189236, 698237541, 1, 0 },
{ 71, 123456789, 457189236, 698273145, 2, 44 },
{ 72, 123456789, 457189236, 698273154, 1, 0 },
{ 73, 123456789, 457189236, 698273415, 1, 0 },
{ 74, 123456789, 457189236, 698273514, 1, 0 },
{ 75, 123456789, 457189236, 698273541, 2, 24 },
{ 76, 123456789, 457189236, 698327145, 1, 0 },
{ 77, 123456789, 457189236, 698327154, 1, 0 },
{ 78, 123456789, 457189236, 698327415, 1, 0 },
{ 79, 123456789, 457189236, 698327541, 1, 0 },
{ 80, 123456789, 457189236, 698372145, 1, 0 },
{ 81, 123456789, 457189236, 698372154, 1, 0 },
{ 82, 123456789, 457189236, 698372415, 1, 0 },
{ 83, 123456789, 457189236, 698372514, 1, 0 },
{ 84, 123456789, 457189236, 698372541, 2, 24 },
{ 85, 123456789, 457189236, 698723145, 1, 0 },
{ 86, 123456789, 457189236, 698723154, 1, 0 },
{ 87, 123456789, 457189236, 698723415, 1, 0 },
{ 88, 123456789, 457189236, 698723514, 1, 0 },
{ 89, 123456789, 457189236, 698732145, 1, 0 },
{ 90, 123456789, 457189236, 698732154, 1, 0 },
{ 91, 123456789, 457189236, 698732415, 1, 0 },
{ 92, 123456789, 457189236, 698732514, 1, 0 },
{ 93, 123456789, 457189236, 869237145, 1, 0 },
{ 94, 123456789, 457189236, 869237514, 1, 0 },
{ 95, 123456789, 457189236, 869273145, 1, 0 },
{ 96, 123456789, 457189236, 869273154, 1, 0 },
{ 97, 123456789, 457189236, 869273415, 2, 24 },
{ 98, 123456789, 457189236, 869273514, 2, 2 },
{ 99, 123456789, 457189236, 869327154, 1, 0 },
{100, 123456789, 457189236, 869327415, 1, 0 },
{101, 123456789, 457189236, 869327514, 2, 47 },
{102, 123456789, 457189236, 869372145, 1, 0 },
{103, 123456789, 457189236, 869372154, 1, 0 },
{104, 123456789, 457189236, 869372415, 6, 73 },
{105, 123456789, 457189236, 869372514, 1, 0 },
{106, 123456789, 457189236, 869723145, 1, 0 },
{107, 123456789, 457189236, 869723154, 1, 0 },
{108, 123456789, 457189236, 869723514, 1, 0 },
{109, 123456789, 457189236, 869732145, 1, 0 },
{110, 123456789, 457189236, 869732154, 1, 0 },
{111, 123456789, 457189236, 896237145, 1, 0 },
{112, 123456789, 457189236, 896237154, 1, 0 },
{113, 123456789, 457189236, 896237514, 1, 0 },
{114, 123456789, 457189236, 896273145, 2, 24 },
{115, 123456789, 457189236, 896273154, 1, 0 },
{116, 123456789, 457189236, 896273514, 1, 0 },
{117, 123456789, 457189236, 896327145, 1, 0 },
{118, 123456789, 457189236, 896327154, 1, 0 },
{119, 123456789, 457189236, 896327514, 1, 0 },
{120, 123456789, 457189236, 896372145, 2, 24 },
{121, 123456789, 457189236, 896372154, 1, 0 },
{122, 123456789, 457189236, 896372514, 2, 1 },
{123, 123456789, 457189236, 896723154, 1, 0 },
{124, 123456789, 457189236, 896723514, 2, 8 },
{125, 123456789, 457189236, 896732154, 1, 0 },
{126, 123456789, 457189236, 896732514, 1, 0 },
{127, 123456789, 457189236, 968237154, 1, 0 },
{128, 123456789, 457189236, 968237514, 1, 0 },
{129, 123456789, 457189236, 968273514, 2, 24 },
{130, 123456789, 457189236, 968327154, 1, 0 },
{131, 123456789, 457189236, 968327514, 1, 0 },
{132, 123456789, 457189236, 968372154, 1, 0 },
{133, 123456789, 457189236, 968372514, 6, 70 },
{134, 123456789, 457189236, 968723154, 1, 0 },
{135, 123456789, 457189236, 968732154, 1, 0 },
{136, 123456789, 457189236, 986237154, 1, 0 },
{137, 123456789, 457189236, 986273154, 2, 24 },
{138, 123456789, 457189236, 986327154, 1, 0 },
{139, 123456789, 457189236, 986372154, 2, 24 },
{140, 123456789, 457189263, 689237145, 1, 0 },
{141, 123456789, 457189263, 689237415, 1, 0 },
{142, 123456789, 457189263, 689237451, 2, 42 },
{143, 123456789, 457189263, 689237514, 1, 0 },
{144, 123456789, 457189263, 689273154, 2, 46 },
{145, 123456789, 457189263, 689273415, 1, 0 },
{146, 123456789, 457189263, 689273451, 1, 0 },
{147, 123456789, 457189263, 689273514, 1, 0 },
{148, 123456789, 457189263, 689273541, 2, 25 },
{149, 123456789, 457189263, 689327154, 2, 38 },
{150, 123456789, 457189263, 689327415, 1, 0 },
{151, 123456789, 457189263, 689327514, 1, 0 },
{152, 123456789, 457189263, 689327541, 1, 0 },
{153, 123456789, 457189263, 689372145, 1, 0 },
{154, 123456789, 457189263, 689372154, 1, 0 },
{155, 123456789, 457189263, 689372415, 1, 0 },
{156, 123456789, 457189263, 689372451, 1, 0 },
{157, 123456789, 457189263, 689372514, 1, 0 },
{158, 123456789, 457189263, 689723145, 1, 0 },
{159, 123456789, 457189263, 689723154, 1, 0 },
{160, 123456789, 457189263, 689723451, 1, 0 },
{161, 123456789, 457189263, 689732145, 1, 0 },
{162, 123456789, 457189263, 689732154, 1, 0 },
{163, 123456789, 457189263, 689732415, 1, 0 },
{164, 123456789, 457189263, 689732451, 1, 0 },
{165, 123456789, 457189263, 689732514, 1, 0 },
{166, 123456789, 457189263, 689732541, 1, 0 },
{167, 123456789, 457189263, 698237154, 2, 45 },
{168, 123456789, 457189263, 698237415, 1, 0 },
{169, 123456789, 457189263, 698237451, 1, 0 },
{170, 123456789, 457189263, 698237514, 1, 0 },
{171, 123456789, 457189263, 698273145, 1, 0 },
{172, 123456789, 457189263, 698273415, 1, 0 },
{173, 123456789, 457189263, 698273451, 1, 0 },
{174, 123456789, 457189263, 698273514, 1, 0 },
{175, 123456789, 457189263, 698327145, 2, 26 },
{176, 123456789, 457189263, 698327154, 1, 0 },
{177, 123456789, 457189263, 698327415, 1, 0 },
{178, 123456789, 457189263, 698327451, 1, 0 },
{179, 123456789, 457189263, 698327514, 1, 0 },
{180, 123456789, 457189263, 698372154, 1, 0 },
{181, 123456789, 457189263, 698372415, 1, 0 },
{182, 123456789, 457189263, 698372514, 1, 0 },
{183, 123456789, 457189263, 698372541, 1, 0 },
{184, 123456789, 457189263, 698732145, 1, 0 },
{185, 123456789, 457189263, 698732154, 1, 0 },
{186, 123456789, 457189263, 698732451, 1, 0 },
{187, 123456789, 457189263, 869237154, 1, 0 },
{188, 123456789, 457189263, 869237415, 1, 0 },
{189, 123456789, 457189263, 869237514, 1, 0 },
{190, 123456789, 457189263, 869273451, 2, 30 },
{191, 123456789, 457189263, 869327415, 1, 0 },
{192, 123456789, 457189263, 869327451, 1, 0 },
{193, 123456789, 457189263, 869327514, 1, 0 },
{194, 123456789, 457189263, 869372145, 1, 0 },
{195, 123456789, 457189263, 869372154, 1, 0 },
{196, 123456789, 457189263, 869372514, 1, 0 },
{197, 123456789, 457189263, 896237145, 1, 0 },
{198, 123456789, 457189263, 896237154, 1, 0 },
{199, 123456789, 457189263, 896237451, 1, 0 },
{200, 123456789, 457189263, 896327145, 1, 0 },
{201, 123456789, 457189263, 896327154, 1, 0 },
{202, 123456789, 457189263, 896327415, 1, 0 },
{203, 123456789, 457189263, 896327451, 1, 0 },
{204, 123456789, 457189263, 896327514, 1, 0 },
{205, 123456789, 457189263, 896327541, 1, 0 },
{206, 123456789, 457189263, 896372145, 1, 0 },
{207, 123456789, 457189263, 896372154, 1, 0 },
{208, 123456789, 457189263, 896372451, 1, 0 },
{209, 123456789, 457189263, 968327145, 1, 0 },
{210, 123456789, 457189263, 968327154, 2, 31 },
{211, 123456789, 457189263, 968327415, 1, 0 },
{212, 123456789, 457189263, 968327514, 1, 0 },
{213, 123456789, 457189263, 968327541, 2, 50 },
{214, 123456789, 457189263, 968372145, 2, 36 },
{215, 123456789, 457189263, 986327145, 1, 0 },
{216, 123456789, 457189263, 986327154, 1, 0 },
{217, 123456789, 457189263, 986327451, 1, 0 },
{218, 123456789, 457189326, 689237451, 1, 0 },
{219, 123456789, 457189326, 689237514, 2, 41 },
{220, 123456789, 457189326, 689237541, 1, 0 },
{221, 123456789, 457189326, 689273145, 1, 0 },
{222, 123456789, 457189326, 689273451, 1, 0 },
{223, 123456789, 457189326, 689273541, 1, 0 },
{224, 123456789, 457189326, 689327154, 6, 72 },
{225, 123456789, 457189326, 689327451, 1, 0 },
{226, 123456789, 457189326, 689327541, 1, 0 },
{227, 123456789, 457189326, 689372415, 1, 0 },
{228, 123456789, 457189326, 689372541, 1, 0 },
{229, 123456789, 457189326, 689723145, 1, 0 },
{230, 123456789, 457189326, 689723415, 1, 0 },
{231, 123456789, 457189326, 689732145, 1, 0 },
{232, 123456789, 457189326, 689732415, 1, 0 },
{233, 123456789, 457189326, 689732514, 1, 0 },
{234, 123456789, 457189326, 689732541, 1, 0 },
{235, 123456789, 457189326, 698237145, 3, 54 },
{236, 123456789, 457189326, 698237541, 1, 0 },
{237, 123456789, 457189326, 698273514, 2, 28 },
{238, 123456789, 457189326, 698273541, 1, 0 },
{239, 123456789, 457189326, 698732415, 1, 0 },
{240, 123456789, 457189326, 869372514, 6, 62 },
{241, 123456789, 457189623, 689237145, 2, 40 },
{242, 123456789, 457189623, 689237154, 1, 0 },
{243, 123456789, 457189623, 689273145, 1, 0 },
{244, 123456789, 457189623, 689273154, 1, 0 },
{245, 123456789, 457189623, 689273541, 2, 10 },
{246, 123456789, 457189623, 689327145, 1, 0 },
{247, 123456789, 457189623, 689327154, 2, 38 },
{248, 123456789, 457189623, 689372145, 1, 0 },
{249, 123456789, 457189623, 689372154, 1, 0 },
{250, 123456789, 457189623, 689372514, 2, 12 },
{251, 123456789, 457189623, 689723145, 2, 19 },
{252, 123456789, 457189623, 689723154, 2, 19 },
{253, 123456789, 457189623, 689723415, 2, 19 },
{254, 123456789, 457189623, 689723451, 6, 71 },
{255, 123456789, 457189623, 689723514, 2, 19 },
{256, 123456789, 457189623, 689723541, 2, 19 },
{257, 123456789, 457189623, 689732145, 1, 0 },
{258, 123456789, 457189623, 689732154, 1, 0 },
{259, 123456789, 457189623, 689732415, 2, 11 },
{260, 123456789, 457189623, 689732451, 1, 0 },
{261, 123456789, 457189623, 689732514, 1, 0 },
{262, 123456789, 457189623, 689732541, 1, 0 },
{263, 123456789, 457189623, 698237145, 1, 0 },
{264, 123456789, 457189623, 698237154, 1, 0 },
{265, 123456789, 457189623, 698237541, 1, 0 },
{266, 123456789, 457189623, 698273145, 1, 0 },
{267, 123456789, 457189623, 698273154, 1, 0 },
{268, 123456789, 457189623, 698327145, 1, 0 },
{269, 123456789, 457189623, 698327154, 1, 0 },
{270, 123456789, 457189623, 698327514, 1, 0 },
{271, 123456789, 457189623, 698372145, 1, 0 },
{272, 123456789, 457189623, 698372154, 1, 0 },
{273, 123456789, 457189623, 698732145, 2, 19 },
{274, 123456789, 457189623, 698732154, 2, 19 },
{275, 123456789, 457189623, 698732415, 2, 19 },
{276, 123456789, 457189623, 698732514, 2, 19 },
{277, 123456789, 457189623, 698732541, 2, 19 },
{278, 123456789, 457189623, 869237145, 1, 0 },
{279, 123456789, 457189623, 869273145, 2, 19 },
{280, 123456789, 457189623, 869273154, 2, 19 },
{281, 123456789, 457189623, 869273451, 2, 19 },
{282, 123456789, 457189623, 869327154, 1, 0 },
{283, 123456789, 457189623, 869372145, 1, 0 },
{284, 123456789, 457189623, 869372154, 2, 7 },
{285, 123456789, 457189623, 896237145, 2, 19 },
{286, 123456789, 457189623, 896237154, 2, 19 },
{287, 123456789, 457189623, 896237415, 2, 19 },
{288, 123456789, 457189623, 896237451, 2, 19 },
{289, 123456789, 457189623, 896237514, 6, 60 },
{290, 123456789, 457189623, 896237541, 2, 19 },
{291, 123456789, 457189623, 896327145, 1, 0 },
{292, 123456789, 457189623, 896327154, 1, 0 },
{293, 123456789, 457189623, 896327415, 1, 0 },
{294, 123456789, 457189623, 896327451, 1, 0 },
{295, 123456789, 457189623, 896327514, 1, 0 },
{296, 123456789, 457189623, 896372145, 1, 0 },
{297, 123456789, 457189623, 896372154, 1, 0 },
{298, 123456789, 457189623, 896372451, 2, 52 },
{299, 123456789, 457189623, 968327145, 1, 0 },
{300, 123456789, 457189623, 968327154, 1, 0 },
{301, 123456789, 457189623, 968327415, 1, 0 },
{302, 123456789, 457189623, 968372145, 6, 69 },
{303, 123456789, 457189623, 968372154, 2, 19 },
{304, 123456789, 457189623, 986327145, 2, 19 },
{305, 123456789, 457189623, 986327154, 2, 19 },
{306, 123456789, 457189623, 986327415, 2, 19 },
{307, 123456789, 457189623, 986327451, 6, 61 },
{308, 123456789, 457189623, 986327514, 2, 19 },
{309, 123456789, 457189623, 986327541, 2, 19 },
{310, 123456789, 457189632, 689237145, 2, 40 },
{311, 123456789, 457189632, 689273145, 1, 0 },
{312, 123456789, 457189632, 689273154, 1, 0 },
{313, 123456789, 457189632, 689273514, 1, 0 },
{314, 123456789, 457189632, 689327154, 2, 38 },
{315, 123456789, 457189632, 689372145, 1, 0 },
{316, 123456789, 457189632, 689372154, 1, 0 },
{317, 123456789, 457189632, 689723145, 1, 0 },
{318, 123456789, 457189632, 689723514, 1, 0 },
{319, 123456789, 457189632, 689732145, 1, 0 },
{320, 123456789, 457189632, 689732154, 1, 0 },
{321, 123456789, 457189632, 689732514, 1, 0 },
{322, 123456789, 457189632, 689732541, 1, 0 },
{323, 123456789, 457189632, 698237145, 1, 0 },
{324, 123456789, 457189632, 698237154, 1, 0 },
{325, 123456789, 457189632, 698237514, 1, 0 },
{326, 123456789, 457189632, 698273145, 1, 0 },
{327, 123456789, 457189632, 698327145, 1, 0 },
{328, 123456789, 457189632, 698327154, 1, 0 },
{329, 123456789, 457189632, 698327541, 1, 0 },
{330, 123456789, 457189632, 698372154, 1, 0 },
{331, 123456789, 457189632, 698732145, 1, 0 },
{332, 123456789, 457189632, 698732514, 1, 0 },
{333, 123456789, 457189632, 869273145, 1, 0 },
{334, 123456789, 457189632, 869372145, 2, 7 },
{335, 123456789, 457189632, 896237145, 1, 0 },
{336, 123456789, 457189632, 896237415, 1, 0 },
{337, 123456789, 457189632, 896327145, 1, 0 },
{338, 123456789, 457189632, 896327154, 1, 0 },
{339, 123456789, 457189632, 896327451, 1, 0 },
{340, 123456789, 457189632, 896327541, 1, 0 },
{341, 123456789, 457189632, 896372145, 1, 0 },
{342, 123456789, 457189632, 896372154, 1, 0 },
{343, 123456789, 457189632, 896372451, 1, 0 },
{344, 123456789, 457189632, 968327145, 1, 0 },
{345, 123456789, 457189632, 968327154, 1, 0 },
{346, 123456789, 457189632, 968327451, 2, 3 },
{347, 123456789, 457189632, 986327145, 1, 0 },
{348, 123456789, 457289163, 689173452, 18, 81 },
{349, 123456789, 457289163, 689713254, 2, 17 },
{350, 123456789, 457289163, 698137425, 2, 17 },
{351, 123456789, 457289163, 698137524, 1, 0 },
{352, 123456789, 457289163, 698317254, 2, 32 },
{353, 123456789, 457289163, 698317524, 2, 17 },
{354, 123456789, 457289163, 698713254, 2, 17 },
{355, 123456789, 457289163, 869713245, 1, 0 },
{356, 123456789, 457289163, 869731245, 1, 0 },
{357, 123456789, 457289163, 869731524, 1, 0 },
{358, 123456789, 457289163, 896317245, 1, 0 },
{359, 123456789, 457289163, 896731524, 6, 59 },
{360, 123456789, 457289613, 689173245, 2, 39 },
{361, 123456789, 457289613, 689713245, 1, 0 },
{362, 123456789, 457289613, 689713254, 1, 0 },
{363, 123456789, 457289613, 698137254, 1, 0 },
{364, 123456789, 457289613, 698317245, 1, 0 },
{365, 123456789, 457289613, 698317254, 1, 0 },
{366, 123456789, 457289613, 698713245, 1, 0 },
{367, 123456789, 457289613, 869713245, 1, 0 },
{368, 123456789, 457289613, 869731245, 1, 0 },
{369, 123456789, 457289613, 869731254, 1, 0 },
{370, 123456789, 457289613, 896137245, 1, 0 },
{371, 123456789, 457289613, 896137254, 1, 0 },
{372, 123456789, 457289613, 896317245, 1, 0 },
{373, 123456789, 457289613, 896317425, 1, 0 },
{374, 123456789, 457289613, 896731245, 1, 0 },
{375, 123456789, 457289613, 896731254, 2, 6 },
{376, 123456789, 457289613, 968137245, 1, 0 },
{377, 123456789, 457289613, 968137254, 2, 37 },
{378, 123456789, 457289613, 968731245, 1, 0 },
{379, 123456789, 457289613, 986137245, 1, 0 },
{380, 123456789, 457289631, 689173245, 6, 68 },
{381, 123456789, 457289631, 689713254, 1, 0 },
{382, 123456789, 457289631, 698317254, 1, 0 },
{383, 123456789, 457289631, 869713245, 2, 22 },
{384, 123456789, 457289631, 869713254, 2, 22 },
{385, 123456789, 457289631, 869731245, 1, 0 },
{386, 123456789, 457289631, 869731254, 1, 0 },
{387, 123456789, 457289631, 896137245, 1, 0 },
{388, 123456789, 457289631, 896137254, 1, 0 },
{389, 123456789, 457289631, 896137425, 3, 55 },
{390, 123456789, 457289631, 896317245, 2, 22 },
{391, 123456789, 457289631, 896317254, 2, 22 },
{392, 123456789, 457289631, 896731245, 2, 6 },
{393, 123456789, 457289631, 968137254, 2, 37 },
{394, 123456789, 457289631, 968731245, 2, 22 },
{395, 123456789, 457289631, 968731254, 2, 22 },
{396, 123456789, 457289631, 986137245, 2, 22 },
{397, 123456789, 457289631, 986137254, 2, 22 },
{398, 123456789, 457389612, 896127345, 2, 48 },
{399, 123456789, 457389612, 896127354, 1, 0 },
{400, 123456789, 457389612, 896172345, 2, 23 },
{401, 123456789, 457389612, 896172354, 2, 13 },
{402, 123456789, 457389612, 896217345, 1, 0 },
{403, 123456789, 457389612, 896217354, 1, 0 },
{404, 123456789, 457389612, 896271345, 6, 67 },
{405, 123456789, 457389612, 896271354, 1, 0 },
{406, 123456789, 457389612, 896712354, 1, 0 },
{407, 123456789, 457389612, 896721354, 2, 14 },
{408, 123456789, 457389612, 986172354, 2, 23 },
{409, 123456789, 457389612, 986217354, 1, 0 },
{410, 123456789, 457389621, 896127345, 1, 0 },
{411, 123456789, 457389621, 896217354, 2, 49 },
{412, 123456789, 457389621, 986127354, 2, 51 },
{413, 123456789, 457893612, 896127345, 36, 80 },
{414, 123456789, 457893612, 896127354, 4, 21 },
{415, 123456789, 457893612, 896217354, 12, 64 },
{416, 123456789, 457893612, 986217354, 12, 65 }
};
#endif /* subgroups_h */
