fork download
  1. #include <bits/stdc++.h>
  2.  
  3. using namespace std;
  4.  
  5. const double eps = 1e-6;
  6.  
  7. const int K = 10000;
  8.  
  9. const int max_n = 22;
  10.  
  11. int a[42][42];
  12. double b[42][42];
  13.  
  14. map < int, vector <string> > mp;
  15.  
  16. long long calc(int n) {
  17. for (int i = 0; i < n; i++) {
  18. for (int j = 0; j < n; j++) {
  19. b[i][j] = 0;
  20. }
  21. }
  22. for (int i = 0; i < n; i++) {
  23. for (int j = 0; j < i; j++) {
  24. if (a[i][j]) {
  25. b[i][j]--;
  26. b[j][i]--;
  27. b[i][i]++;
  28. b[j][j]++;
  29. }
  30. }
  31. }
  32. n--;
  33. for (int e = 0; e < n; e++) {
  34. assert(fabs(b[e][e]) > eps);
  35. for (int i = e + 1; i < n; i++) {
  36. double coeff = -b[i][e] / b[e][e];
  37. for (int j = e; j < n; j++) {
  38. b[i][j] += coeff * b[e][j];
  39. }
  40. }
  41. }
  42. double ans = 1.0;
  43. for (int i = 0; i < n; i++) {
  44. ans *= b[i][i];
  45. }
  46. long long res = (long long) (ans + 0.5);
  47. assert(fabs(ans - res) < eps);
  48. return res;
  49. }
  50.  
  51. set < pair <int, int> > mpn;
  52.  
  53. void dfs(int v) {
  54. if ((int) mp.size() == K - 1) {
  55. return;
  56. }
  57. if (v == max_n) {
  58. return;
  59. }
  60. for (int t = 1; t < (1 << v); t++) {
  61. if ((int) mp.size() == K - 1) {
  62. return;
  63. }
  64. for (int i = 0; i < v; i++) {
  65. a[v][i] = (t & (1 << (v - i - 1))) ? 1 : 0;
  66. }
  67. long long cnt = calc(v + 1);
  68. if (cnt > K) {
  69. continue;
  70. }
  71. if (mp.find(cnt) == mp.end()) {
  72. vector <string> z(v + 1, string(v + 1, '0'));
  73. for (int i = 0; i < v + 1; i++) {
  74. for (int j = 0; j < v + 1; j++) {
  75. if (a[i][j]) {
  76. z[i][j] = z[j][i] = '1';
  77. }
  78. }
  79. }
  80. mp[cnt] = z;
  81. cerr << "found cnt = " << cnt << " with n = " << v + 1 << "; time = " << clock() << " ms; mp.size() = " << mp.size() << endl;
  82. }
  83. if (mpn.find(make_pair(cnt, v + 1)) == mpn.end()) {
  84. mpn.insert(make_pair(cnt, v + 1));
  85. dfs(v + 1);
  86. }
  87. }
  88. }
  89.  
  90. int main() {
  91. /* int n = 10;
  92.   for (int i = 0; i < n; i++) {
  93.   for (int j = 0; j < i; j++) {
  94.   a[i][j] = 0;
  95.   }
  96.   }
  97.   for (int i = 1; i < n; i++) {
  98.   a[i][i - 1] = 1;
  99.   }
  100.   a[n - 1][0] = 1;
  101.   cerr << "calc = " << calc(n) << endl;*/
  102. dfs(1);
  103. int tt;
  104. scanf("%d", &tt);
  105. for (int qq = 1; qq <= tt; qq++) {
  106. printf("Case #%d: ", qq);
  107. int k;
  108. scanf("%d", &k);
  109. int n = mp[k].size();
  110. printf("%d\n", n);
  111. for (int i = 0; i < n; i++) {
  112. printf("%s\n", mp[k][i].c_str());
  113. }
  114. }
  115. return 0;
  116. }
  117.  
Runtime error #stdin #stdout #stderr 0.02s 17112KB
stdin
Standard input is empty
stdout
Standard output is empty
stderr
found cnt = 1 with n = 2; time = 3109 ms; mp.size() = 1
found cnt = 3 with n = 22; time = 3171 ms; mp.size() = 2
found cnt = 4 with n = 22; time = 3189 ms; mp.size() = 3
found cnt = 8 with n = 22; time = 3205 ms; mp.size() = 4
found cnt = 5 with n = 22; time = 3222 ms; mp.size() = 5
found cnt = 11 with n = 22; time = 3238 ms; mp.size() = 6
found cnt = 21 with n = 22; time = 3260 ms; mp.size() = 7
found cnt = 6 with n = 22; time = 3276 ms; mp.size() = 8
found cnt = 14 with n = 22; time = 3292 ms; mp.size() = 9
found cnt = 15 with n = 22; time = 3307 ms; mp.size() = 10
found cnt = 29 with n = 22; time = 3324 ms; mp.size() = 11
found cnt = 30 with n = 22; time = 3345 ms; mp.size() = 12
found cnt = 55 with n = 22; time = 3367 ms; mp.size() = 13
found cnt = 7 with n = 22; time = 3383 ms; mp.size() = 14
found cnt = 17 with n = 22; time = 3399 ms; mp.size() = 15
found cnt = 19 with n = 22; time = 3415 ms; mp.size() = 16
found cnt = 37 with n = 22; time = 3431 ms; mp.size() = 17
found cnt = 41 with n = 22; time = 3452 ms; mp.size() = 18
found cnt = 40 with n = 22; time = 3469 ms; mp.size() = 19
found cnt = 76 with n = 22; time = 3484 ms; mp.size() = 20
found cnt = 39 with n = 22; time = 3507 ms; mp.size() = 21
found cnt = 79 with n = 22; time = 3528 ms; mp.size() = 22
found cnt = 144 with n = 22; time = 3563 ms; mp.size() = 23
found cnt = 20 with n = 22; time = 3585 ms; mp.size() = 24
found cnt = 23 with n = 22; time = 3601 ms; mp.size() = 25
found cnt = 45 with n = 22; time = 3617 ms; mp.size() = 26
found cnt = 24 with n = 22; time = 3633 ms; mp.size() = 27
found cnt = 52 with n = 22; time = 3649 ms; mp.size() = 28
found cnt = 51 with n = 22; time = 3665 ms; mp.size() = 29
found cnt = 97 with n = 22; time = 3681 ms; mp.size() = 30
found cnt = 53 with n = 22; time = 3702 ms; mp.size() = 31
found cnt = 56 with n = 22; time = 3718 ms; mp.size() = 32
found cnt = 108 with n = 22; time = 3734 ms; mp.size() = 33
found cnt = 109 with n = 22; time = 3756 ms; mp.size() = 34
found cnt = 105 with n = 22; time = 3772 ms; mp.size() = 35
found cnt = 199 with n = 22; time = 3787 ms; mp.size() = 36
found cnt = 48 with n = 22; time = 3810 ms; mp.size() = 37
found cnt = 103 with n = 22; time = 3832 ms; mp.size() = 38
found cnt = 112 with n = 22; time = 3853 ms; mp.size() = 39
found cnt = 207 with n = 22; time = 3876 ms; mp.size() = 40
found cnt = 208 with n = 22; time = 3909 ms; mp.size() = 41
found cnt = 377 with n = 22; time = 3943 ms; mp.size() = 42
found cnt = 9 with n = 22; time = 3959 ms; mp.size() = 43
found cnt = 27 with n = 22; time = 3980 ms; mp.size() = 44
found cnt = 63 with n = 22; time = 4008 ms; mp.size() = 45
found cnt = 62 with n = 22; time = 4024 ms; mp.size() = 46
found cnt = 118 with n = 22; time = 4040 ms; mp.size() = 47
found cnt = 67 with n = 22; time = 4062 ms; mp.size() = 48
found cnt = 71 with n = 22; time = 4078 ms; mp.size() = 49
found cnt = 137 with n = 22; time = 4094 ms; mp.size() = 50
found cnt = 65 with n = 22; time = 4110 ms; mp.size() = 51
found cnt = 139 with n = 22; time = 4126 ms; mp.size() = 52
found cnt = 134 with n = 22; time = 4142 ms; mp.size() = 53
found cnt = 254 with n = 22; time = 4158 ms; mp.size() = 54
found cnt = 72 with n = 22; time = 4187 ms; mp.size() = 55
found cnt = 140 with n = 22; time = 4202 ms; mp.size() = 56
found cnt = 153 with n = 22; time = 4458 ms; mp.size() = 57
found cnt = 149 with n = 22; time = 4477 ms; mp.size() = 58
found cnt = 283 with n = 22; time = 4493 ms; mp.size() = 59
found cnt = 142 with n = 22; time = 4515 ms; mp.size() = 60
found cnt = 287 with n = 22; time = 4537 ms; mp.size() = 61
found cnt = 286 with n = 22; time = 4559 ms; mp.size() = 62
found cnt = 275 with n = 22; time = 4575 ms; mp.size() = 63
found cnt = 521 with n = 22; time = 4591 ms; mp.size() = 64
found cnt = 57 with n = 22; time = 4613 ms; mp.size() = 65
found cnt = 127 with n = 22; time = 4635 ms; mp.size() = 66
found cnt = 145 with n = 22; time = 4657 ms; mp.size() = 67
found cnt = 270 with n = 22; time = 4680 ms; mp.size() = 68
found cnt = 295 with n = 22; time = 4713 ms; mp.size() = 69
found cnt = 297 with n = 22; time = 4735 ms; mp.size() = 70
found cnt = 542 with n = 22; time = 4758 ms; mp.size() = 71
found cnt = 272 with n = 22; time = 4792 ms; mp.size() = 72
found cnt = 545 with n = 22; time = 4825 ms; mp.size() = 73
found cnt = 987 with n = 22; time = 4884 ms; mp.size() = 74
found cnt = 10 with n = 22; time = 4900 ms; mp.size() = 75
found cnt = 26 with n = 22; time = 4916 ms; mp.size() = 76
found cnt = 31 with n = 22; time = 4932 ms; mp.size() = 77
found cnt = 61 with n = 22; time = 4948 ms; mp.size() = 78
found cnt = 34 with n = 22; time = 4964 ms; mp.size() = 79
found cnt = 74 with n = 22; time = 4980 ms; mp.size() = 80
found cnt = 73 with n = 22; time = 4995 ms; mp.size() = 81
found cnt = 35 with n = 22; time = 5018 ms; mp.size() = 82
found cnt = 81 with n = 22; time = 5034 ms; mp.size() = 83
found cnt = 86 with n = 22; time = 5050 ms; mp.size() = 84
found cnt = 166 with n = 22; time = 5066 ms; mp.size() = 85
found cnt = 169 with n = 22; time = 5087 ms; mp.size() = 86
found cnt = 163 with n = 22; time = 5104 ms; mp.size() = 87
found cnt = 309 with n = 22; time = 5120 ms; mp.size() = 88
found cnt = 82 with n = 22; time = 5142 ms; mp.size() = 89
found cnt = 91 with n = 22; time = 5158 ms; mp.size() = 90
found cnt = 177 with n = 22; time = 5174 ms; mp.size() = 91
found cnt = 90 with n = 22; time = 5190 ms; mp.size() = 92
found cnt = 194 with n = 22; time = 5206 ms; mp.size() = 93
found cnt = 189 with n = 22; time = 5222 ms; mp.size() = 94
found cnt = 359 with n = 22; time = 5239 ms; mp.size() = 95
found cnt = 181 with n = 22; time = 5260 ms; mp.size() = 96
found cnt = 190 with n = 22; time = 5277 ms; mp.size() = 97
found cnt = 366 with n = 22; time = 5293 ms; mp.size() = 98
found cnt = 171 with n = 22; time = 5308 ms; mp.size() = 99
found cnt = 365 with n = 22; time = 5325 ms; mp.size() = 100
found cnt = 351 with n = 22; time = 5341 ms; mp.size() = 101
found cnt = 665 with n = 22; time = 5357 ms; mp.size() = 102
found cnt = 77 with n = 22; time = 5379 ms; mp.size() = 103
found cnt = 88 with n = 22; time = 5395 ms; mp.size() = 104
found cnt = 172 with n = 22; time = 5412 ms; mp.size() = 105
found cnt = 197 with n = 22; time = 5435 ms; mp.size() = 106
found cnt = 193 with n = 22; time = 5450 ms; mp.size() = 107
found cnt = 367 with n = 22; time = 5467 ms; mp.size() = 108
found cnt = 198 with n = 22; time = 5489 ms; mp.size() = 109
found cnt = 209 with n = 22; time = 5506 ms; mp.size() = 110
found cnt = 403 with n = 22; time = 5522 ms; mp.size() = 111
found cnt = 406 with n = 22; time = 5543 ms; mp.size() = 112
found cnt = 391 with n = 22; time = 5560 ms; mp.size() = 113
found cnt = 741 with n = 22; time = 5576 ms; mp.size() = 114
found cnt = 175 with n = 22; time = 5599 ms; mp.size() = 115
found cnt = 375 with n = 22; time = 5621 ms; mp.size() = 116
found cnt = 407 with n = 22; time = 5642 ms; mp.size() = 117
found cnt = 396 with n = 22; time = 5659 ms; mp.size() = 118
found cnt = 752 with n = 22; time = 5675 ms; mp.size() = 119
found cnt = 373 with n = 22; time = 5697 ms; mp.size() = 120
found cnt = 753 with n = 22; time = 5720 ms; mp.size() = 121
found cnt = 749 with n = 22; time = 5742 ms; mp.size() = 122
found cnt = 720 with n = 22; time = 5758 ms; mp.size() = 123
found cnt = 1364 with n = 22; time = 5774 ms; mp.size() = 124
found cnt = 66 with n = 22; time = 5796 ms; mp.size() = 125
found cnt = 151 with n = 22; time = 5819 ms; mp.size() = 126
found cnt = 178 with n = 22; time = 5841 ms; mp.size() = 127
found cnt = 333 with n = 22; time = 5863 ms; mp.size() = 128
found cnt = 187 with n = 22; time = 5885 ms; mp.size() = 129
found cnt = 382 with n = 22; time = 5907 ms; mp.size() = 130
found cnt = 387 with n = 22; time = 5930 ms; mp.size() = 131
found cnt = 707 with n = 22; time = 5952 ms; mp.size() = 132
found cnt = 383 with n = 22; time = 5986 ms; mp.size() = 133
found cnt = 418 with n = 22; time = 6009 ms; mp.size() = 134
found cnt = 773 with n = 22; time = 6031 ms; mp.size() = 135
found cnt = 782 with n = 22; time = 6066 ms; mp.size() = 136
found cnt = 779 with n = 22; time = 6088 ms; mp.size() = 137
found cnt = 1419 with n = 22; time = 6110 ms; mp.size() = 138
found cnt = 336 with n = 22; time = 6144 ms; mp.size() = 139
found cnt = 713 with n = 22; time = 6179 ms; mp.size() = 140
found cnt = 777 with n = 22; time = 6213 ms; mp.size() = 141
found cnt = 1427 with n = 22; time = 6248 ms; mp.size() = 142
found cnt = 1428 with n = 22; time = 6305 ms; mp.size() = 143
found cnt = 2584 with n = 22; time = 6363 ms; mp.size() = 144
found cnt = 69 with n = 22; time = 6397 ms; mp.size() = 145
found cnt = 85 with n = 22; time = 6419 ms; mp.size() = 146
found cnt = 84 with n = 22; time = 6435 ms; mp.size() = 147
found cnt = 160 with n = 22; time = 6451 ms; mp.size() = 148
found cnt = 95 with n = 22; time = 6474 ms; mp.size() = 149
found cnt = 101 with n = 22; time = 6490 ms; mp.size() = 150
found cnt = 195 with n = 22; time = 6506 ms; mp.size() = 151
found cnt = 93 with n = 22; time = 6523 ms; mp.size() = 152
found cnt = 192 with n = 22; time = 6545 ms; mp.size() = 153
found cnt = 364 with n = 22; time = 6561 ms; mp.size() = 154
found cnt = 99 with n = 22; time = 6584 ms; mp.size() = 155
found cnt = 110 with n = 22; time = 6600 ms; mp.size() = 156
found cnt = 214 with n = 22; time = 6616 ms; mp.size() = 157
found cnt = 235 with n = 22; time = 6638 ms; mp.size() = 158
found cnt = 229 with n = 22; time = 6654 ms; mp.size() = 159
found cnt = 435 with n = 22; time = 6670 ms; mp.size() = 160
found cnt = 96 with n = 22; time = 6702 ms; mp.size() = 161
found cnt = 220 with n = 22; time = 6747 ms; mp.size() = 162
found cnt = 231 with n = 22; time = 6763 ms; mp.size() = 163
found cnt = 445 with n = 22; time = 6779 ms; mp.size() = 164
found cnt = 444 with n = 22; time = 6802 ms; mp.size() = 165
found cnt = 427 with n = 22; time = 6818 ms; mp.size() = 166
found cnt = 809 with n = 22; time = 6833 ms; mp.size() = 167
found cnt = 111 with n = 22; time = 6862 ms; mp.size() = 168
found cnt = 217 with n = 22; time = 6878 ms; mp.size() = 169
found cnt = 115 with n = 22; time = 6895 ms; mp.size() = 170
found cnt = 249 with n = 22; time = 6911 ms; mp.size() = 171
found cnt = 244 with n = 22; time = 6926 ms; mp.size() = 172
found cnt = 464 with n = 22; time = 6943 ms; mp.size() = 173
found cnt = 251 with n = 22; time = 6965 ms; mp.size() = 174
found cnt = 265 with n = 22; time = 6981 ms; mp.size() = 175
found cnt = 511 with n = 22; time = 6997 ms; mp.size() = 176
found cnt = 241 with n = 22; time = 7013 ms; mp.size() = 177
found cnt = 515 with n = 22; time = 7031 ms; mp.size() = 178
found cnt = 496 with n = 22; time = 7047 ms; mp.size() = 179
found cnt = 940 with n = 22; time = 7062 ms; mp.size() = 180
found cnt = 223 with n = 22; time = 7085 ms; mp.size() = 181
found cnt = 246 with n = 22; time = 7101 ms; mp.size() = 182
found cnt = 478 with n = 22; time = 7118 ms; mp.size() = 183
found cnt = 519 with n = 22; time = 7140 ms; mp.size() = 184
found cnt = 505 with n = 22; time = 7156 ms; mp.size() = 185
found cnt = 959 with n = 22; time = 7172 ms; mp.size() = 186
found cnt = 476 with n = 22; time = 7195 ms; mp.size() = 187
found cnt = 499 with n = 22; time = 7210 ms; mp.size() = 188
found cnt = 961 with n = 22; time = 7227 ms; mp.size() = 189
found cnt = 448 with n = 22; time = 7243 ms; mp.size() = 190
found cnt = 956 with n = 22; time = 7261 ms; mp.size() = 191
found cnt = 919 with n = 22; time = 7277 ms; mp.size() = 192
found cnt = 1741 with n = 22; time = 7292 ms; mp.size() = 193
found cnt = 89 with n = 22; time = 7315 ms; mp.size() = 194
found cnt = 104 with n = 22; time = 7331 ms; mp.size() = 195
found cnt = 204 with n = 22; time = 7348 ms; mp.size() = 196
found cnt = 237 with n = 22; time = 7376 ms; mp.size() = 197
found cnt = 451 with n = 22; time = 7392 ms; mp.size() = 198
found cnt = 269 with n = 22; time = 7420 ms; mp.size() = 199
found cnt = 526 with n = 22; time = 7448 ms; mp.size() = 200
found cnt = 507 with n = 22; time = 7464 ms; mp.size() = 201
found cnt = 243 with n = 22; time = 7493 ms; mp.size() = 202
found cnt = 523 with n = 22; time = 7515 ms; mp.size() = 203
found cnt = 571 with n = 22; time = 7538 ms; mp.size() = 204
found cnt = 556 with n = 22; time = 7554 ms; mp.size() = 205
found cnt = 1056 with n = 22; time = 7569 ms; mp.size() = 206
found cnt = 529 with n = 22; time = 7592 ms; mp.size() = 207
found cnt = 555 with n = 22; time = 7608 ms; mp.size() = 208
found cnt = 1069 with n = 22; time = 7624 ms; mp.size() = 209
found cnt = 1065 with n = 22; time = 7646 ms; mp.size() = 210
found cnt = 1024 with n = 22; time = 7662 ms; mp.size() = 211
found cnt = 1940 with n = 22; time = 7679 ms; mp.size() = 212
found cnt = 463 with n = 22; time = 7713 ms; mp.size() = 213
found cnt = 528 with n = 22; time = 7736 ms; mp.size() = 214
found cnt = 517 with n = 22; time = 7752 ms; mp.size() = 215
found cnt = 983 with n = 22; time = 7768 ms; mp.size() = 216
found cnt = 527 with n = 22; time = 7791 ms; mp.size() = 217
found cnt = 1072 with n = 22; time = 7813 ms; mp.size() = 218
found cnt = 1079 with n = 22; time = 7835 ms; mp.size() = 219
found cnt = 1039 with n = 22; time = 7852 ms; mp.size() = 220
found cnt = 1969 with n = 22; time = 7869 ms; mp.size() = 221
found cnt = 460 with n = 22; time = 7891 ms; mp.size() = 222
found cnt = 985 with n = 22; time = 7913 ms; mp.size() = 223
found cnt = 1068 with n = 22; time = 7935 ms; mp.size() = 224
found cnt = 1973 with n = 22; time = 7958 ms; mp.size() = 225
found cnt = 977 with n = 22; time = 7980 ms; mp.size() = 226
found cnt = 1972 with n = 22; time = 8002 ms; mp.size() = 227
found cnt = 1961 with n = 22; time = 8024 ms; mp.size() = 228
found cnt = 1885 with n = 22; time = 8040 ms; mp.size() = 229
found cnt = 3571 with n = 22; time = 8057 ms; mp.size() = 230
found cnt = 75 with n = 22; time = 8078 ms; mp.size() = 231
found cnt = 211 with n = 22; time = 8112 ms; mp.size() = 232
found cnt = 469 with n = 22; time = 8159 ms; mp.size() = 233
found cnt = 477 with n = 22; time = 8181 ms; mp.size() = 234
found cnt = 872 with n = 22; time = 8203 ms; mp.size() = 235
found cnt = 494 with n = 22; time = 8238 ms; mp.size() = 236
found cnt = 541 with n = 22; time = 8259 ms; mp.size() = 237
found cnt = 1001 with n = 22; time = 8282 ms; mp.size() = 238
found cnt = 504 with n = 22; time = 8304 ms; mp.size() = 239
found cnt = 1019 with n = 22; time = 8326 ms; mp.size() = 240
found cnt = 1016 with n = 22; time = 8350 ms; mp.size() = 241
found cnt = 1851 with n = 22; time = 8372 ms; mp.size() = 242
found cnt = 471 with n = 22; time = 8407 ms; mp.size() = 243
found cnt = 539 with n = 22; time = 8429 ms; mp.size() = 244
found cnt = 1004 with n = 22; time = 8451 ms; mp.size() = 245
found cnt = 1101 with n = 22; time = 8486 ms; mp.size() = 246
found cnt = 1109 with n = 22; time = 8508 ms; mp.size() = 247
found cnt = 2024 with n = 22; time = 8530 ms; mp.size() = 248
found cnt = 1022 with n = 22; time = 8565 ms; mp.size() = 249
found cnt = 2049 with n = 22; time = 8599 ms; mp.size() = 250
found cnt = 2051 with n = 22; time = 8634 ms; mp.size() = 251
found cnt = 2040 with n = 22; time = 8656 ms; mp.size() = 252
found cnt = 3715 with n = 22; time = 8678 ms; mp.size() = 253
found cnt = 400 with n = 22; time = 8712 ms; mp.size() = 254
found cnt = 881 with n = 22; time = 8747 ms; mp.size() = 255
found cnt = 1009 with n = 22; time = 8781 ms; mp.size() = 256
found cnt = 1867 with n = 22; time = 8816 ms; mp.size() = 257
found cnt = 2036 with n = 22; time = 8874 ms; mp.size() = 258
found cnt = 2059 with n = 22; time = 8909 ms; mp.size() = 259
found cnt = 3736 with n = 22; time = 8943 ms; mp.size() = 260
found cnt = 1869 with n = 22; time = 9000 ms; mp.size() = 261
found cnt = 3739 with n = 22; time = 9059 ms; mp.size() = 262
found cnt = 6765 with n = 22; time = 9196 ms; mp.size() = 263
found cnt = 12 with n = 22; time = 9213 ms; mp.size() = 264
found cnt = 32 with n = 22; time = 9229 ms; mp.size() = 265
found cnt = 44 with n = 22; time = 9257 ms; mp.size() = 266
found cnt = 47 with n = 22; time = 9292 ms; mp.size() = 267
found cnt = 116 with n = 22; time = 9314 ms; mp.size() = 268
found cnt = 224 with n = 22; time = 9330 ms; mp.size() = 269
found cnt = 107 with n = 22; time = 9346 ms; mp.size() = 270
found cnt = 221 with n = 22; time = 9369 ms; mp.size() = 271
found cnt = 419 with n = 22; time = 9385 ms; mp.size() = 272
found cnt = 129 with n = 22; time = 9413 ms; mp.size() = 273
found cnt = 128 with n = 22; time = 9435 ms; mp.size() = 274
found cnt = 276 with n = 22; time = 9452 ms; mp.size() = 275
found cnt = 113 with n = 22; time = 9480 ms; mp.size() = 276
found cnt = 259 with n = 22; time = 9497 ms; mp.size() = 277
found cnt = 524 with n = 22; time = 9519 ms; mp.size() = 278
found cnt = 245 with n = 22; time = 9535 ms; mp.size() = 279
found cnt = 503 with n = 22; time = 9557 ms; mp.size() = 280
found cnt = 953 with n = 22; time = 9573 ms; mp.size() = 281
found cnt = 117 with n = 22; time = 9595 ms; mp.size() = 282
found cnt = 262 with n = 22; time = 9618 ms; mp.size() = 283
found cnt = 301 with n = 22; time = 9640 ms; mp.size() = 284
found cnt = 561 with n = 22; time = 9663 ms; mp.size() = 285
found cnt = 132 with n = 22; time = 9678 ms; mp.size() = 286
found cnt = 304 with n = 22; time = 9694 ms; mp.size() = 287
found cnt = 321 with n = 22; time = 9711 ms; mp.size() = 288
found cnt = 619 with n = 22; time = 9727 ms; mp.size() = 289
found cnt = 292 with n = 22; time = 9743 ms; mp.size() = 290
found cnt = 624 with n = 22; time = 9759 ms; mp.size() = 291
found cnt = 601 with n = 22; time = 9775 ms; mp.size() = 292
found cnt = 1139 with n = 22; time = 9792 ms; mp.size() = 293
found cnt = 271 with n = 22; time = 9814 ms; mp.size() = 294
found cnt = 299 with n = 22; time = 9830 ms; mp.size() = 295
found cnt = 581 with n = 22; time = 9846 ms; mp.size() = 296
found cnt = 293 with n = 22; time = 9862 ms; mp.size() = 297
found cnt = 631 with n = 22; time = 9879 ms; mp.size() = 298
found cnt = 614 with n = 22; time = 9895 ms; mp.size() = 299
found cnt = 1166 with n = 22; time = 9911 ms; mp.size() = 300
found cnt = 253 with n = 22; time = 9927 ms; mp.size() = 301
found cnt = 579 with n = 22; time = 9943 ms; mp.size() = 302
found cnt = 607 with n = 22; time = 9959 ms; mp.size() = 303
found cnt = 1169 with n = 22; time = 9976 ms; mp.size() = 304
found cnt = 1163 with n = 22; time = 9998 ms; mp.size() = 305
found cnt = 1118 with n = 22; time = 10014 ms; mp.size() = 306
found cnt = 2118 with n = 22; time = 10030 ms; mp.size() = 307
found cnt = 131 with n = 22; time = 10058 ms; mp.size() = 308
found cnt = 257 with n = 22; time = 10075 ms; mp.size() = 309
found cnt = 569 with n = 22; time = 10109 ms; mp.size() = 310
found cnt = 340 with n = 22; time = 10138 ms; mp.size() = 311
found cnt = 656 with n = 22; time = 10154 ms; mp.size() = 312
found cnt = 311 with n = 22; time = 10170 ms; mp.size() = 313
found cnt = 641 with n = 22; time = 10193 ms; mp.size() = 314
found cnt = 1215 with n = 22; time = 10209 ms; mp.size() = 315
found cnt = 308 with n = 22; time = 10231 ms; mp.size() = 316
found cnt = 341 with n = 22; time = 10248 ms; mp.size() = 317
found cnt = 663 with n = 22; time = 10264 ms; mp.size() = 318
found cnt = 724 with n = 22; time = 10287 ms; mp.size() = 319
found cnt = 705 with n = 22; time = 10303 ms; mp.size() = 320
found cnt = 1339 with n = 22; time = 10319 ms; mp.size() = 321
found cnt = 671 with n = 22; time = 10342 ms; mp.size() = 322
found cnt = 704 with n = 22; time = 10358 ms; mp.size() = 323
found cnt = 1356 with n = 22; time = 10375 ms; mp.size() = 324
found cnt = 633 with n = 22; time = 10391 ms; mp.size() = 325
found cnt = 1351 with n = 22; time = 10407 ms; mp.size() = 326
found cnt = 1299 with n = 22; time = 10423 ms; mp.size() = 327
found cnt = 2461 with n = 22; time = 10439 ms; mp.size() = 328
found cnt = 302 with n = 22; time = 10467 ms; mp.size() = 329
found cnt = 590 with n = 22; time = 10484 ms; mp.size() = 330
found cnt = 673 with n = 22; time = 10506 ms; mp.size() = 331
found cnt = 659 with n = 22; time = 10523 ms; mp.size() = 332
found cnt = 1253 with n = 22; time = 10539 ms; mp.size() = 333
found cnt = 672 with n = 22; time = 10561 ms; mp.size() = 334
found cnt = 709 with n = 22; time = 10578 ms; mp.size() = 335
found cnt = 1367 with n = 22; time = 10593 ms; mp.size() = 336
found cnt = 644 with n = 22; time = 10609 ms; mp.size() = 337
found cnt = 1376 with n = 22; time = 10626 ms; mp.size() = 338
found cnt = 1325 with n = 22; time = 10642 ms; mp.size() = 339
found cnt = 2511 with n = 22; time = 10659 ms; mp.size() = 340
found cnt = 587 with n = 22; time = 10681 ms; mp.size() = 341
found cnt = 647 with n = 22; time = 10697 ms; mp.size() = 342
found cnt = 1257 with n = 22; time = 10714 ms; mp.size() = 343
found cnt = 1363 with n = 22; time = 10736 ms; mp.size() = 344
found cnt = 1326 with n = 22; time = 10753 ms; mp.size() = 345
found cnt = 2518 with n = 22; time = 10769 ms; mp.size() = 346
found cnt = 1247 with n = 22; time = 10791 ms; mp.size() = 347
found cnt = 1307 with n = 22; time = 10808 ms; mp.size() = 348
found cnt = 2517 with n = 22; time = 10824 ms; mp.size() = 349
found cnt = 1173 with n = 22; time = 10840 ms; mp.size() = 350
found cnt = 2503 with n = 22; time = 10856 ms; mp.size() = 351
found cnt = 2406 with n = 22; time = 10872 ms; mp.size() = 352
found cnt = 4558 with n = 22; time = 10889 ms; mp.size() = 353
found cnt = 120 with n = 22; time = 10918 ms; mp.size() = 354
found cnt = 236 with n = 22; time = 10934 ms; mp.size() = 355
found cnt = 285 with n = 22; time = 10957 ms; mp.size() = 356
found cnt = 281 with n = 22; time = 10973 ms; mp.size() = 357
found cnt = 535 with n = 22; time = 10990 ms; mp.size() = 358
found cnt = 310 with n = 22; time = 11013 ms; mp.size() = 359
found cnt = 329 with n = 22; time = 11029 ms; mp.size() = 360
found cnt = 635 with n = 22; time = 11045 ms; mp.size() = 361
found cnt = 646 with n = 22; time = 11067 ms; mp.size() = 362
found cnt = 623 with n = 22; time = 11083 ms; mp.size() = 363
found cnt = 1181 with n = 22; time = 11100 ms; mp.size() = 364
found cnt = 345 with n = 22; time = 11128 ms; mp.size() = 365
found cnt = 735 with n = 22; time = 11157 ms; mp.size() = 366
found cnt = 716 with n = 22; time = 11173 ms; mp.size() = 367
found cnt = 1360 with n = 22; time = 11189 ms; mp.size() = 368
found cnt = 685 with n = 22; time = 11212 ms; mp.size() = 369
found cnt = 719 with n = 22; time = 11228 ms; mp.size() = 370
found cnt = 1385 with n = 22; time = 11245 ms; mp.size() = 371
found cnt = 1381 with n = 22; time = 11267 ms; mp.size() = 372
found cnt = 1328 with n = 22; time = 11283 ms; mp.size() = 373
found cnt = 2516 with n = 22; time = 11300 ms; mp.size() = 374
found cnt = 288 with n = 22; time = 11322 ms; mp.size() = 375
found cnt = 643 with n = 22; time = 11345 ms; mp.size() = 376
found cnt = 736 with n = 22; time = 11369 ms; mp.size() = 377
found cnt = 721 with n = 22; time = 11399 ms; mp.size() = 378
found cnt = 1371 with n = 22; time = 11416 ms; mp.size() = 379
found cnt = 739 with n = 22; time = 11438 ms; mp.size() = 380
found cnt = 780 with n = 22; time = 11454 ms; mp.size() = 381
found cnt = 1504 with n = 22; time = 11471 ms; mp.size() = 382
found cnt = 1515 with n = 22; time = 11493 ms; mp.size() = 383
found cnt = 1459 with n = 22; time = 11509 ms; mp.size() = 384
found cnt = 2765 with n = 22; time = 11526 ms; mp.size() = 385
found cnt = 652 with n = 22; time = 11548 ms; mp.size() = 386
found cnt = 1397 with n = 22; time = 11571 ms; mp.size() = 387
found cnt = 1516 with n = 22; time = 11593 ms; mp.size() = 388
found cnt = 1475 with n = 22; time = 11609 ms; mp.size() = 389
found cnt = 2801 with n = 22; time = 11626 ms; mp.size() = 390
found cnt = 1389 with n = 22; time = 11648 ms; mp.size() = 391
found cnt = 1456 with n = 22; time = 11665 ms; mp.size() = 392
found cnt = 2804 with n = 22; time = 11681 ms; mp.size() = 393
found cnt = 2789 with n = 22; time = 11703 ms; mp.size() = 394
found cnt = 2681 with n = 22; time = 11719 ms; mp.size() = 395
found cnt = 5079 with n = 22; time = 11735 ms; mp.size() = 396
found cnt = 551 with n = 22; time = 11770 ms; mp.size() = 397
found cnt = 649 with n = 22; time = 11793 ms; mp.size() = 398
found cnt = 638 with n = 22; time = 11809 ms; mp.size() = 399
found cnt = 1214 with n = 22; time = 11826 ms; mp.size() = 400
found cnt = 681 with n = 22; time = 11848 ms; mp.size() = 401
found cnt = 1391 with n = 22; time = 11871 ms; mp.size() = 402
found cnt = 1409 with n = 22; time = 11894 ms; mp.size() = 403
found cnt = 1358 with n = 22; time = 11910 ms; mp.size() = 404
found cnt = 2574 with n = 22; time = 11926 ms; mp.size() = 405
found cnt = 1392 with n = 22; time = 11961 ms; mp.size() = 406
found cnt = 1519 with n = 22; time = 11983 ms; mp.size() = 407
found cnt = 1479 with n = 22; time = 12000 ms; mp.size() = 408
found cnt = 2809 with n = 22; time = 12016 ms; mp.size() = 409
found cnt = 1406 with n = 22; time = 12038 ms; mp.size() = 410
found cnt = 2841 with n = 22; time = 12060 ms; mp.size() = 411
found cnt = 2830 with n = 22; time = 12082 ms; mp.size() = 412
found cnt = 2721 with n = 22; time = 12099 ms; mp.size() = 413
found cnt = 5155 with n = 22; time = 12115 ms; mp.size() = 414
found cnt = 547 with n = 22; time = 12137 ms; mp.size() = 415
found cnt = 1217 with n = 22; time = 12160 ms; mp.size() = 416
found cnt = 1387 with n = 22; time = 12182 ms; mp.size() = 417
found cnt = 2582 with n = 22; time = 12205 ms; mp.size() = 418
found cnt = 1383 with n = 22; time = 12227 ms; mp.size() = 419
found cnt = 2813 with n = 22; time = 12250 ms; mp.size() = 420
found cnt = 2831 with n = 22; time = 12272 ms; mp.size() = 421
found cnt = 2726 with n = 22; time = 12288 ms; mp.size() = 422
found cnt = 5166 with n = 22; time = 12304 ms; mp.size() = 423
found cnt = 1205 with n = 22; time = 12327 ms; mp.size() = 424
found cnt = 2580 with n = 22; time = 12350 ms; mp.size() = 425
found cnt = 2797 with n = 22; time = 12372 ms; mp.size() = 426
found cnt = 5167 with n = 22; time = 12394 ms; mp.size() = 427
found cnt = 2558 with n = 22; time = 12416 ms; mp.size() = 428
found cnt = 5163 with n = 22; time = 12439 ms; mp.size() = 429
found cnt = 5134 with n = 22; time = 12461 ms; mp.size() = 430
found cnt = 4935 with n = 22; time = 12477 ms; mp.size() = 431
found cnt = 9349 with n = 22; time = 12494 ms; mp.size() = 432
found cnt = 459 with n = 22; time = 12552 ms; mp.size() = 433
found cnt = 567 with n = 22; time = 12599 ms; mp.size() = 434
found cnt = 1037 with n = 22; time = 12622 ms; mp.size() = 435
found cnt = 280 with n = 22; time = 12644 ms; mp.size() = 436
found cnt = 605 with n = 22; time = 12666 ms; mp.size() = 437
found cnt = 664 with n = 22; time = 12689 ms; mp.size() = 438
found cnt = 1229 with n = 22; time = 12712 ms; mp.size() = 439
found cnt = 621 with n = 22; time = 12734 ms; mp.size() = 440
found cnt = 1256 with n = 22; time = 12756 ms; mp.size() = 441
found cnt = 2283 with n = 22; time = 12792 ms; mp.size() = 442
found cnt = 606 with n = 22; time = 12827 ms; mp.size() = 443
found cnt = 695 with n = 22; time = 12849 ms; mp.size() = 444
found cnt = 1295 with n = 22; time = 12872 ms; mp.size() = 445
found cnt = 700 with n = 22; time = 12895 ms; mp.size() = 446
found cnt = 1425 with n = 22; time = 12917 ms; mp.size() = 447
found cnt = 1436 with n = 22; time = 12940 ms; mp.size() = 448
found cnt = 2621 with n = 22; time = 12962 ms; mp.size() = 449
found cnt = 1331 with n = 22; time = 12997 ms; mp.size() = 450
found cnt = 1445 with n = 22; time = 13019 ms; mp.size() = 451
found cnt = 2670 with n = 22; time = 13042 ms; mp.size() = 452
found cnt = 2675 with n = 22; time = 13076 ms; mp.size() = 453
found cnt = 2661 with n = 22; time = 13098 ms; mp.size() = 454
found cnt = 4846 with n = 22; time = 13121 ms; mp.size() = 455
found cnt = 559 with n = 22; time = 13156 ms; mp.size() = 456
found cnt = 660 with n = 22; time = 13178 ms; mp.size() = 457
found cnt = 1235 with n = 22; time = 13201 ms; mp.size() = 458
found cnt = 1420 with n = 22; time = 13236 ms; mp.size() = 459
found cnt = 1439 with n = 22; time = 13259 ms; mp.size() = 460
found cnt = 2629 with n = 22; time = 13281 ms; mp.size() = 461
found cnt = 1429 with n = 22; time = 13316 ms; mp.size() = 462
found cnt = 1560 with n = 22; time = 13339 ms; mp.size() = 463
found cnt = 2885 with n = 22; time = 13361 ms; mp.size() = 464
found cnt = 2920 with n = 22; time = 13395 ms; mp.size() = 465
found cnt = 2909 with n = 22; time = 13418 ms; mp.size() = 466
found cnt = 5299 with n = 22; time = 13440 ms; mp.size() = 467
found cnt = 1262 with n = 22; time = 13475 ms; mp.size() = 468
found cnt = 2679 with n = 22; time = 13510 ms; mp.size() = 469
found cnt = 2921 with n = 22; time = 13545 ms; mp.size() = 470
found cnt = 2940 with n = 22; time = 13567 ms; mp.size() = 471
found cnt = 5365 with n = 22; time = 13590 ms; mp.size() = 472
found cnt = 2683 with n = 22; time = 13625 ms; mp.size() = 473
found cnt = 5374 with n = 22; time = 13660 ms; mp.size() = 474
found cnt = 5371 with n = 22; time = 13694 ms; mp.size() = 475
found cnt = 5341 with n = 22; time = 13717 ms; mp.size() = 476
found cnt = 9726 with n = 22; time = 13739 ms; mp.size() = 477
found cnt = 1049 with n = 22; time = 13800 ms; mp.size() = 478
found cnt = 1241 with n = 22; time = 13849 ms; mp.size() = 479
found cnt = 2307 with n = 22; time = 13884 ms; mp.size() = 480
found cnt = 1305 with n = 22; time = 13919 ms; mp.size() = 481
found cnt = 2644 with n = 22; time = 13955 ms; mp.size() = 482
found cnt = 2691 with n = 22; time = 13990 ms; mp.size() = 483
found cnt = 4888 with n = 22; time = 14026 ms; mp.size() = 484
found cnt = 2645 with n = 22; time = 14086 ms; mp.size() = 485
found cnt = 2900 with n = 22; time = 14122 ms; mp.size() = 486
found cnt = 5331 with n = 22; time = 14156 ms; mp.size() = 487
found cnt = 5395 with n = 22; time = 14475 ms; mp.size() = 488
found cnt = 5400 with n = 22; time = 14511 ms; mp.size() = 489
found cnt = 9781 with n = 22; time = 14545 ms; mp.size() = 490
found cnt = 2310 with n = 22; time = 14606 ms; mp.size() = 491
found cnt = 4894 with n = 22; time = 14667 ms; mp.size() = 492
found cnt = 5335 with n = 22; time = 14727 ms; mp.size() = 493
found cnt = 9789 with n = 22; time = 14788 ms; mp.size() = 494
found cnt = 9790 with n = 22; time = 14897 ms; mp.size() = 495
found cnt = 13 with n = 22; time = 15012 ms; mp.size() = 496
found cnt = 43 with n = 22; time = 15036 ms; mp.size() = 497
found cnt = 49 with n = 22; time = 15058 ms; mp.size() = 498
found cnt = 106 with n = 22; time = 15081 ms; mp.size() = 499
found cnt = 202 with n = 22; time = 15097 ms; mp.size() = 500
found cnt = 123 with n = 22; time = 15120 ms; mp.size() = 501
found cnt = 121 with n = 22; time = 15149 ms; mp.size() = 502
found cnt = 250 with n = 22; time = 15172 ms; mp.size() = 503
found cnt = 474 with n = 22; time = 15188 ms; mp.size() = 504
found cnt = 133 with n = 22; time = 15211 ms; mp.size() = 505
found cnt = 148 with n = 22; time = 15227 ms; mp.size() = 506
found cnt = 147 with n = 22; time = 15251 ms; mp.size() = 507
found cnt = 317 with n = 22; time = 15267 ms; mp.size() = 508
found cnt = 130 with n = 22; time = 15295 ms; mp.size() = 509
found cnt = 298 with n = 22; time = 15312 ms; mp.size() = 510
found cnt = 313 with n = 22; time = 15328 ms; mp.size() = 511
found cnt = 603 with n = 22; time = 15345 ms; mp.size() = 512
found cnt = 282 with n = 22; time = 15361 ms; mp.size() = 513
found cnt = 602 with n = 22; time = 15378 ms; mp.size() = 514
found cnt = 1097 with n = 22; time = 15401 ms; mp.size() = 515
found cnt = 157 with n = 22; time = 15429 ms; mp.size() = 516
found cnt = 307 with n = 22; time = 15445 ms; mp.size() = 517
found cnt = 353 with n = 22; time = 15468 ms; mp.size() = 518
found cnt = 346 with n = 22; time = 15485 ms; mp.size() = 519
found cnt = 658 with n = 22; time = 15501 ms; mp.size() = 520
found cnt = 155 with n = 22; time = 15517 ms; mp.size() = 521
found cnt = 357 with n = 22; time = 15533 ms; mp.size() = 522
found cnt = 727 with n = 22; time = 15557 ms; mp.size() = 523
found cnt = 343 with n = 22; time = 15573 ms; mp.size() = 524
found cnt = 733 with n = 22; time = 15589 ms; mp.size() = 525
found cnt = 706 with n = 22; time = 15606 ms; mp.size() = 526
found cnt = 1338 with n = 22; time = 15622 ms; mp.size() = 527
found cnt = 319 with n = 22; time = 15645 ms; mp.size() = 528
found cnt = 352 with n = 22; time = 15661 ms; mp.size() = 529
found cnt = 684 with n = 22; time = 15677 ms; mp.size() = 530
found cnt = 743 with n = 22; time = 15701 ms; mp.size() = 531
found cnt = 723 with n = 22; time = 15717 ms; mp.size() = 532
found cnt = 1373 with n = 22; time = 15734 ms; mp.size() = 533
found cnt = 682 with n = 22; time = 15757 ms; mp.size() = 534
found cnt = 715 with n = 22; time = 15773 ms; mp.size() = 535
found cnt = 1377 with n = 22; time = 15790 ms; mp.size() = 536
found cnt = 642 with n = 22; time = 15807 ms; mp.size() = 537
found cnt = 1370 with n = 22; time = 15824 ms; mp.size() = 538
found cnt = 1317 with n = 22; time = 15840 ms; mp.size() = 539
found cnt = 2495 with n = 22; time = 15856 ms; mp.size() = 540
found cnt = 135 with n = 22; time = 15880 ms; mp.size() = 541
found cnt = 158 with n = 22; time = 15896 ms; mp.size() = 542
found cnt = 361 with n = 22; time = 15931 ms; mp.size() = 543
found cnt = 687 with n = 22; time = 15947 ms; mp.size() = 544
found cnt = 168 with n = 22; time = 15963 ms; mp.size() = 545
found cnt = 388 with n = 22; time = 15980 ms; mp.size() = 546
found cnt = 411 with n = 22; time = 15996 ms; mp.size() = 547
found cnt = 793 with n = 22; time = 16012 ms; mp.size() = 548
found cnt = 376 with n = 22; time = 16029 ms; mp.size() = 549
found cnt = 804 with n = 22; time = 16045 ms; mp.size() = 550
found cnt = 775 with n = 22; time = 16061 ms; mp.size() = 551
found cnt = 1469 with n = 22; time = 16079 ms; mp.size() = 552
found cnt = 413 with n = 22; time = 16108 ms; mp.size() = 553
found cnt = 803 with n = 22; time = 16125 ms; mp.size() = 554
found cnt = 877 with n = 22; time = 16147 ms; mp.size() = 555
found cnt = 854 with n = 22; time = 16163 ms; mp.size() = 556
found cnt = 1622 with n = 22; time = 16180 ms; mp.size() = 557
found cnt = 355 with n = 22; time = 16197 ms; mp.size() = 558
found cnt = 813 with n = 22; time = 16213 ms; mp.size() = 559
found cnt = 853 with n = 22; time = 16230 ms; mp.size() = 560
found cnt = 1643 with n = 22; time = 16246 ms; mp.size() = 561
found cnt = 767 with n = 22; time = 16263 ms; mp.size() = 562
found cnt = 1637 with n = 22; time = 16279 ms; mp.size() = 563
found cnt = 1574 with n = 22; time = 16295 ms; mp.size() = 564
found cnt = 2982 with n = 22; time = 16312 ms; mp.size() = 565
found cnt = 322 with n = 22; time = 16335 ms; mp.size() = 566
found cnt = 717 with n = 22; time = 16359 ms; mp.size() = 567
found cnt = 378 with n = 22; time = 16375 ms; mp.size() = 568
found cnt = 818 with n = 22; time = 16401 ms; mp.size() = 569
found cnt = 801 with n = 22; time = 16418 ms; mp.size() = 570
found cnt = 1523 with n = 22; time = 16435 ms; mp.size() = 571
found cnt = 817 with n = 22; time = 16457 ms; mp.size() = 572
found cnt = 862 with n = 22; time = 16474 ms; mp.size() = 573
found cnt = 1662 with n = 22; time = 16491 ms; mp.size() = 574
found cnt = 783 with n = 22; time = 16508 ms; mp.size() = 575
found cnt = 1673 with n = 22; time = 16524 ms; mp.size() = 576
found cnt = 1611 with n = 22; time = 16540 ms; mp.size() = 577
found cnt = 3053 with n = 22; time = 16557 ms; mp.size() = 578
found cnt = 714 with n = 22; time = 16580 ms; mp.size() = 579
found cnt = 787 with n = 22; time = 16597 ms; mp.size() = 580
found cnt = 1529 with n = 22; time = 16613 ms; mp.size() = 581
found cnt = 770 with n = 22; time = 16629 ms; mp.size() = 582
found cnt = 1658 with n = 22; time = 16646 ms; mp.size() = 583
found cnt = 1613 with n = 22; time = 16662 ms; mp.size() = 584
found cnt = 3063 with n = 22; time = 16678 ms; mp.size() = 585
found cnt = 1517 with n = 22; time = 16702 ms; mp.size() = 586
found cnt = 1590 with n = 22; time = 16718 ms; mp.size() = 587
found cnt = 3062 with n = 22; time = 16735 ms; mp.size() = 588
found cnt = 3045 with n = 22; time = 16758 ms; mp.size() = 589
found cnt = 2927 with n = 22; time = 16774 ms; mp.size() = 590
found cnt = 5545 with n = 22; time = 16791 ms; mp.size() = 591
found cnt = 165 with n = 22; time = 16832 ms; mp.size() = 592
found cnt = 354 with n = 22; time = 16854 ms; mp.size() = 593
found cnt = 674 with n = 22; time = 16871 ms; mp.size() = 594
found cnt = 415 with n = 22; time = 16900 ms; mp.size() = 595
found cnt = 381 with n = 22; time = 16923 ms; mp.size() = 596
found cnt = 815 with n = 22; time = 16940 ms; mp.size() = 597
found cnt = 786 with n = 22; time = 16956 ms; mp.size() = 598
found cnt = 1490 with n = 22; time = 16973 ms; mp.size() = 599
found cnt = 393 with n = 22; time = 16996 ms; mp.size() = 600
found cnt = 436 with n = 22; time = 17013 ms; mp.size() = 601
found cnt = 848 with n = 22; time = 17029 ms; mp.size() = 602
found cnt = 431 with n = 22; time = 17045 ms; mp.size() = 603
found cnt = 929 with n = 22; time = 17062 ms; mp.size() = 604
found cnt = 905 with n = 22; time = 17078 ms; mp.size() = 605
found cnt = 1719 with n = 22; time = 17095 ms; mp.size() = 606
found cnt = 866 with n = 22; time = 17118 ms; mp.size() = 607
found cnt = 909 with n = 22; time = 17134 ms; mp.size() = 608
found cnt = 1751 with n = 22; time = 17151 ms; mp.size() = 609
found cnt = 1746 with n = 22; time = 17174 ms; mp.size() = 610
found cnt = 1679 with n = 22; time = 17190 ms; mp.size() = 611
found cnt = 3181 with n = 22; time = 17207 ms; mp.size() = 612
found cnt = 417 with n = 22; time = 17236 ms; mp.size() = 613
found cnt = 933 with n = 22; time = 17266 ms; mp.size() = 614
found cnt = 914 with n = 22; time = 17282 ms; mp.size() = 615
found cnt = 1738 with n = 22; time = 17299 ms; mp.size() = 616
found cnt = 937 with n = 22; time = 17322 ms; mp.size() = 617
found cnt = 989 with n = 22; time = 17338 ms; mp.size() = 618
found cnt = 1907 with n = 22; time = 17354 ms; mp.size() = 619
found cnt = 899 with n = 22; time = 17371 ms; mp.size() = 620
found cnt = 1921 with n = 22; time = 17388 ms; mp.size() = 621
found cnt = 1850 with n = 22; time = 17407 ms; mp.size() = 622
found cnt = 3506 with n = 22; time = 17423 ms; mp.size() = 623
found cnt = 827 with n = 22; time = 17446 ms; mp.size() = 624
found cnt = 912 with n = 22; time = 17463 ms; mp.size() = 625
found cnt = 1772 with n = 22; time = 17479 ms; mp.size() = 626
found cnt = 893 with n = 22; time = 17496 ms; mp.size() = 627
found cnt = 1923 with n = 22; time = 17513 ms; mp.size() = 628
found cnt = 1871 with n = 22; time = 17530 ms; mp.size() = 629
found cnt = 3553 with n = 22; time = 17547 ms; mp.size() = 630
found cnt = 1762 with n = 22; time = 17570 ms; mp.size() = 631
found cnt = 1847 with n = 22; time = 17587 ms; mp.size() = 632
found cnt = 3557 with n = 22; time = 17603 ms; mp.size() = 633
found cnt = 3538 with n = 22; time = 17626 ms; mp.size() = 634
found cnt = 3401 with n = 22; time = 17644 ms; mp.size() = 635
found cnt = 6443 with n = 22; time = 17660 ms; mp.size() = 636
found cnt = 358 with n = 22; time = 17689 ms; mp.size() = 637
found cnt = 702 with n = 22; time = 17706 ms; mp.size() = 638
found cnt = 1547 with n = 22; time = 17741 ms; mp.size() = 639
found cnt = 868 with n = 22; time = 17764 ms; mp.size() = 640
found cnt = 1773 with n = 22; time = 17787 ms; mp.size() = 641
found cnt = 840 with n = 22; time = 17804 ms; mp.size() = 642
found cnt = 1796 with n = 22; time = 17821 ms; mp.size() = 643
found cnt = 1731 with n = 22; time = 17837 ms; mp.size() = 644
found cnt = 3281 with n = 22; time = 17853 ms; mp.size() = 645
found cnt = 825 with n = 22; time = 17877 ms; mp.size() = 646
found cnt = 913 with n = 22; time = 17893 ms; mp.size() = 647
found cnt = 1775 with n = 22; time = 17910 ms; mp.size() = 648
found cnt = 1937 with n = 22; time = 17932 ms; mp.size() = 649
found cnt = 1886 with n = 22; time = 17948 ms; mp.size() = 650
found cnt = 3582 with n = 22; time = 17965 ms; mp.size() = 651
found cnt = 1793 with n = 22; time = 17988 ms; mp.size() = 652
found cnt = 1881 with n = 22; time = 18004 ms; mp.size() = 653
found cnt = 3623 with n = 22; time = 18021 ms; mp.size() = 654
found cnt = 1691 with n = 22; time = 18037 ms; mp.size() = 655
found cnt = 3609 with n = 22; time = 18054 ms; mp.size() = 656
found cnt = 3470 with n = 22; time = 18070 ms; mp.size() = 657
found cnt = 6574 with n = 22; time = 18086 ms; mp.size() = 658
found cnt = 698 with n = 22; time = 18110 ms; mp.size() = 659
found cnt = 795 with n = 22; time = 18127 ms; mp.size() = 660
found cnt = 1553 with n = 22; time = 18144 ms; mp.size() = 661
found cnt = 1770 with n = 22; time = 18166 ms; mp.size() = 662
found cnt = 1733 with n = 22; time = 18183 ms; mp.size() = 663
found cnt = 3295 with n = 22; time = 18199 ms; mp.size() = 664
found cnt = 1765 with n = 22; time = 18222 ms; mp.size() = 665
found cnt = 1862 with n = 22; time = 18238 ms; mp.size() = 666
found cnt = 3590 with n = 22; time = 18255 ms; mp.size() = 667
found cnt = 3613 with n = 22; time = 18278 ms; mp.size() = 668
found cnt = 3479 with n = 22; time = 18295 ms; mp.size() = 669
found cnt = 6593 with n = 22; time = 18312 ms; mp.size() = 670
found cnt = 1538 with n = 22; time = 18335 ms; mp.size() = 671
found cnt = 1695 with n = 22; time = 18351 ms; mp.size() = 672
found cnt = 3293 with n = 22; time = 18368 ms; mp.size() = 673
found cnt = 3570 with n = 22; time = 18391 ms; mp.size() = 674
found cnt = 3473 with n = 22; time = 18407 ms; mp.size() = 675
found cnt = 6595 with n = 22; time = 18423 ms; mp.size() = 676
found cnt = 3265 with n = 22; time = 18447 ms; mp.size() = 677
found cnt = 3422 with n = 22; time = 18463 ms; mp.size() = 678
found cnt = 6590 with n = 22; time = 18479 ms; mp.size() = 679
found cnt = 3071 with n = 22; time = 18496 ms; mp.size() = 680
found cnt = 6553 with n = 22; time = 18512 ms; mp.size() = 681
found cnt = 6299 with n = 22; time = 18529 ms; mp.size() = 682
found cnt = 136 with n = 22; time = 18564 ms; mp.size() = 683
found cnt = 268 with n = 22; time = 18580 ms; mp.size() = 684
found cnt = 325 with n = 22; time = 18639 ms; mp.size() = 685
found cnt = 389 with n = 22; time = 18674 ms; mp.size() = 686
found cnt = 751 with n = 22; time = 18691 ms; mp.size() = 687
found cnt = 766 with n = 22; time = 18715 ms; mp.size() = 688
found cnt = 1401 with n = 22; time = 18738 ms; mp.size() = 689
found cnt = 379 with n = 22; time = 18761 ms; mp.size() = 690
found cnt = 421 with n = 22; time = 18777 ms; mp.size() = 691
found cnt = 819 with n = 22; time = 18793 ms; mp.size() = 692
found cnt = 876 with n = 22; time = 18823 ms; mp.size() = 693
found cnt = 1664 with n = 22; time = 18839 ms; mp.size() = 694
found cnt = 841 with n = 22; time = 18862 ms; mp.size() = 695
found cnt = 883 with n = 22; time = 18879 ms; mp.size() = 696
found cnt = 1701 with n = 22; time = 18895 ms; mp.size() = 697
found cnt = 1697 with n = 22; time = 18919 ms; mp.size() = 698
found cnt = 1632 with n = 22; time = 18935 ms; mp.size() = 699
found cnt = 3092 with n = 22; time = 18951 ms; mp.size() = 700
found cnt = 368 with n = 22; time = 18974 ms; mp.size() = 701
found cnt = 823 with n = 22; time = 18997 ms; mp.size() = 702
found cnt = 944 with n = 22; time = 19020 ms; mp.size() = 703
found cnt = 925 with n = 22; time = 19036 ms; mp.size() = 704
found cnt = 1759 with n = 22; time = 19053 ms; mp.size() = 705
found cnt = 951 with n = 22; time = 19076 ms; mp.size() = 706
found cnt = 1936 with n = 22; time = 19099 ms; mp.size() = 707
found cnt = 1951 with n = 22; time = 19124 ms; mp.size() = 708
found cnt = 1879 with n = 22; time = 19140 ms; mp.size() = 709
found cnt = 3561 with n = 22; time = 19156 ms; mp.size() = 710
found cnt = 844 with n = 22; time = 19179 ms; mp.size() = 711
found cnt = 931 with n = 22; time = 19196 ms; mp.size() = 712
found cnt = 1809 with n = 22; time = 19212 ms; mp.size() = 713
found cnt = 1964 with n = 22; time = 19235 ms; mp.size() = 714
found cnt = 1911 with n = 22; time = 19251 ms; mp.size() = 715
found cnt = 3629 with n = 22; time = 19268 ms; mp.size() = 716
found cnt = 1801 with n = 22; time = 19291 ms; mp.size() = 717
found cnt = 1888 with n = 22; time = 19308 ms; mp.size() = 718
found cnt = 3636 with n = 22; time = 19325 ms; mp.size() = 719
found cnt = 3617 with n = 22; time = 19347 ms; mp.size() = 720
found cnt = 3477 with n = 22; time = 19364 ms; mp.size() = 721
found cnt = 6587 with n = 22; time = 19380 ms; mp.size() = 722
found cnt = 763 with n = 22; time = 19416 ms; mp.size() = 723
found cnt = 901 with n = 22; time = 19439 ms; mp.size() = 724
found cnt = 886 with n = 22; time = 19456 ms; mp.size() = 725
found cnt = 1686 with n = 22; time = 19472 ms; mp.size() = 726
found cnt = 949 with n = 22; time = 19495 ms; mp.size() = 727
found cnt = 1005 with n = 22; time = 19511 ms; mp.size() = 728
found cnt = 1939 with n = 22; time = 19528 ms; mp.size() = 729
found cnt = 1965 with n = 22; time = 19551 ms; mp.size() = 730
found cnt = 1894 with n = 22; time = 19567 ms; mp.size() = 731
found cnt = 907 with n = 22; time = 19597 ms; mp.size() = 732
found cnt = 1952 with n = 22; time = 19620 ms; mp.size() = 733
found cnt = 2131 with n = 22; time = 19642 ms; mp.size() = 734
found cnt = 2075 with n = 22; time = 19659 ms; mp.size() = 735
found cnt = 3941 with n = 22; time = 19676 ms; mp.size() = 736
found cnt = 1974 with n = 22; time = 19699 ms; mp.size() = 737
found cnt = 2071 with n = 22; time = 19715 ms; mp.size() = 738
found cnt = 3989 with n = 22; time = 19731 ms; mp.size() = 739
found cnt = 3974 with n = 22; time = 19755 ms; mp.size() = 740
found cnt = 3821 with n = 22; time = 19771 ms; mp.size() = 741
found cnt = 7239 with n = 22; time = 19788 ms; mp.size() = 742
found cnt = 1725 with n = 22; time = 19823 ms; mp.size() = 743
found cnt = 1967 with n = 22; time = 19846 ms; mp.size() = 744
found cnt = 1926 with n = 22; time = 19863 ms; mp.size() = 745
found cnt = 3662 with n = 22; time = 19879 ms; mp.size() = 746
found cnt = 1963 with n = 22; time = 19903 ms; mp.size() = 747
found cnt = 3993 with n = 22; time = 19926 ms; mp.size() = 748
found cnt = 4019 with n = 22; time = 19949 ms; mp.size() = 749
found cnt = 3870 with n = 22; time = 19966 ms; mp.size() = 750
found cnt = 7334 with n = 22; time = 19982 ms; mp.size() = 751
found cnt = 1713 with n = 22; time = 20004 ms; mp.size() = 752
found cnt = 3668 with n = 22; time = 20028 ms; mp.size() = 753
found cnt = 3977 with n = 22; time = 20051 ms; mp.size() = 754
found cnt = 3869 with n = 22; time = 20067 ms; mp.size() = 755
found cnt = 7347 with n = 22; time = 20083 ms; mp.size() = 756
found cnt = 3638 with n = 22; time = 20106 ms; mp.size() = 757
found cnt = 3813 with n = 22; time = 20123 ms; mp.size() = 758
found cnt = 7343 with n = 22; time = 20139 ms; mp.size() = 759
found cnt = 7302 with n = 22; time = 20162 ms; mp.size() = 760
found cnt = 7019 with n = 22; time = 20179 ms; mp.size() = 761
found cnt = 274 with n = 22; time = 20208 ms; mp.size() = 762
found cnt = 639 with n = 22; time = 20231 ms; mp.size() = 763
found cnt = 759 with n = 22; time = 20260 ms; mp.size() = 764
found cnt = 835 with n = 22; time = 20290 ms; mp.size() = 765
found cnt = 1710 with n = 22; time = 20313 ms; mp.size() = 766
found cnt = 1739 with n = 22; time = 20336 ms; mp.size() = 767
found cnt = 1677 with n = 22; time = 20352 ms; mp.size() = 768
found cnt = 3179 with n = 22; time = 20369 ms; mp.size() = 769
found cnt = 834 with n = 22; time = 20392 ms; mp.size() = 770
found cnt = 1799 with n = 22; time = 20416 ms; mp.size() = 771
found cnt = 1970 with n = 22; time = 20439 ms; mp.size() = 772
found cnt = 1919 with n = 22; time = 20455 ms; mp.size() = 773
found cnt = 3645 with n = 22; time = 20472 ms; mp.size() = 774
found cnt = 1835 with n = 22; time = 20495 ms; mp.size() = 775
found cnt = 3710 with n = 22; time = 20520 ms; mp.size() = 776
found cnt = 3699 with n = 22; time = 20543 ms; mp.size() = 777
found cnt = 6739 with n = 22; time = 20566 ms; mp.size() = 778
found cnt = 1712 with n = 22; time = 20602 ms; mp.size() = 779
found cnt = 1959 with n = 22; time = 20624 ms; mp.size() = 780
found cnt = 3649 with n = 22; time = 20647 ms; mp.size() = 781
found cnt = 1966 with n = 22; time = 20670 ms; mp.size() = 782
found cnt = 4001 with n = 22; time = 20693 ms; mp.size() = 783
found cnt = 4030 with n = 22; time = 20716 ms; mp.size() = 784
found cnt = 3881 with n = 22; time = 20732 ms; mp.size() = 785
found cnt = 7355 with n = 22; time = 20748 ms; mp.size() = 786
found cnt = 3713 with n = 22; time = 20785 ms; mp.size() = 787
found cnt = 4029 with n = 22; time = 20807 ms; mp.size() = 788
found cnt = 3920 with n = 22; time = 20824 ms; mp.size() = 789
found cnt = 7444 with n = 22; time = 20840 ms; mp.size() = 790
found cnt = 3691 with n = 22; time = 20863 ms; mp.size() = 791
found cnt = 7451 with n = 22; time = 20886 ms; mp.size() = 792
found cnt = 7411 with n = 22; time = 20909 ms; mp.size() = 793
found cnt = 7124 with n = 22; time = 20928 ms; mp.size() = 794
found cnt = 634 with n = 22; time = 20972 ms; mp.size() = 795
found cnt = 1449 with n = 22; time = 20995 ms; mp.size() = 796
found cnt = 1706 with n = 22; time = 21018 ms; mp.size() = 797
found cnt = 3191 with n = 22; time = 21041 ms; mp.size() = 798
found cnt = 1789 with n = 22; time = 21064 ms; mp.size() = 799
found cnt = 3654 with n = 22; time = 21087 ms; mp.size() = 800
found cnt = 3701 with n = 22; time = 21110 ms; mp.size() = 801
found cnt = 3567 with n = 22; time = 21127 ms; mp.size() = 802
found cnt = 6761 with n = 22; time = 21144 ms; mp.size() = 803
found cnt = 1698 with n = 22; time = 21167 ms; mp.size() = 804
found cnt = 3653 with n = 22; time = 21190 ms; mp.size() = 805
found cnt = 3986 with n = 22; time = 21213 ms; mp.size() = 806
found cnt = 7371 with n = 22; time = 21235 ms; mp.size() = 807
found cnt = 3689 with n = 22; time = 21259 ms; mp.size() = 808
found cnt = 7454 with n = 22; time = 21281 ms; mp.size() = 809
found cnt = 7425 with n = 22; time = 21305 ms; mp.size() = 810
found cnt = 7139 with n = 22; time = 21321 ms; mp.size() = 811
found cnt = 1433 with n = 22; time = 21350 ms; mp.size() = 812
found cnt = 3188 with n = 22; time = 21373 ms; mp.size() = 813
found cnt = 3633 with n = 22; time = 21396 ms; mp.size() = 814
found cnt = 6763 with n = 22; time = 21418 ms; mp.size() = 815
found cnt = 3622 with n = 22; time = 21442 ms; mp.size() = 816
found cnt = 7367 with n = 22; time = 21464 ms; mp.size() = 817
found cnt = 7414 with n = 22; time = 21487 ms; mp.size() = 818
found cnt = 3155 with n = 22; time = 21522 ms; mp.size() = 819
found cnt = 6755 with n = 22; time = 21544 ms; mp.size() = 820
found cnt = 7323 with n = 22; time = 21568 ms; mp.size() = 821
found cnt = 6697 with n = 22; time = 21602 ms; mp.size() = 822
found cnt = 277 with n = 22; time = 21687 ms; mp.size() = 823
found cnt = 522 with n = 22; time = 21710 ms; mp.size() = 824
found cnt = 657 with n = 22; time = 21757 ms; mp.size() = 825
found cnt = 1202 with n = 22; time = 21781 ms; mp.size() = 826
found cnt = 331 with n = 22; time = 21803 ms; mp.size() = 827
found cnt = 1457 with n = 22; time = 21851 ms; mp.size() = 828
found cnt = 738 with n = 22; time = 21874 ms; mp.size() = 829
found cnt = 1493 with n = 22; time = 21897 ms; mp.size() = 830
found cnt = 2715 with n = 22; time = 21933 ms; mp.size() = 831
found cnt = 851 with n = 22; time = 21980 ms; mp.size() = 832
found cnt = 1586 with n = 22; time = 22003 ms; mp.size() = 833
found cnt = 859 with n = 22; time = 22026 ms; mp.size() = 834
found cnt = 1749 with n = 22; time = 22049 ms; mp.size() = 835
found cnt = 1763 with n = 22; time = 22073 ms; mp.size() = 836
found cnt = 3218 with n = 22; time = 22095 ms; mp.size() = 837
found cnt = 765 with n = 22; time = 22118 ms; mp.size() = 838
found cnt = 1640 with n = 22; time = 22141 ms; mp.size() = 839
found cnt = 1781 with n = 22; time = 22164 ms; mp.size() = 840
found cnt = 3291 with n = 22; time = 22187 ms; mp.size() = 841
found cnt = 1634 with n = 22; time = 22210 ms; mp.size() = 842
found cnt = 3299 with n = 22; time = 22233 ms; mp.size() = 843
found cnt = 3282 with n = 22; time = 22256 ms; mp.size() = 844
found cnt = 5977 with n = 22; time = 22279 ms; mp.size() = 845
found cnt = 718 with n = 22; time = 22314 ms; mp.size() = 846
found cnt = 849 with n = 22; time = 22338 ms; mp.size() = 847
found cnt = 1589 with n = 22; time = 22360 ms; mp.size() = 848
found cnt = 896 with n = 22; time = 22384 ms; mp.size() = 849
found cnt = 1831 with n = 22; time = 22407 ms; mp.size() = 850
found cnt = 1856 with n = 22; time = 22430 ms; mp.size() = 851
found cnt = 3391 with n = 22; time = 22453 ms; mp.size() = 852
found cnt = 1849 with n = 22; time = 22490 ms; mp.size() = 853
found cnt = 2019 with n = 22; time = 22513 ms; mp.size() = 854
found cnt = 3734 with n = 22; time = 22536 ms; mp.size() = 855
found cnt = 3781 with n = 22; time = 22572 ms; mp.size() = 856
found cnt = 3767 with n = 22; time = 22595 ms; mp.size() = 857
found cnt = 6862 with n = 22; time = 22618 ms; mp.size() = 858
found cnt = 1874 with n = 22; time = 22666 ms; mp.size() = 859
found cnt = 3489 with n = 22; time = 22689 ms; mp.size() = 860
found cnt = 3806 with n = 22; time = 22724 ms; mp.size() = 861
found cnt = 3831 with n = 22; time = 22747 ms; mp.size() = 862
found cnt = 6991 with n = 22; time = 22770 ms; mp.size() = 863
found cnt = 3499 with n = 22; time = 22805 ms; mp.size() = 864
found cnt = 3794 with n = 22; time = 22829 ms; mp.size() = 865
found cnt = 7009 with n = 22; time = 22851 ms; mp.size() = 866
found cnt = 3471 with n = 22; time = 22874 ms; mp.size() = 867
found cnt = 7006 with n = 22; time = 22897 ms; mp.size() = 868
found cnt = 6967 with n = 22; time = 22919 ms; mp.size() = 869
found cnt = 781 with n = 22; time = 22979 ms; mp.size() = 870
found cnt = 1466 with n = 22; time = 23001 ms; mp.size() = 871
found cnt = 1769 with n = 22; time = 23048 ms; mp.size() = 872
found cnt = 3234 with n = 22; time = 23071 ms; mp.size() = 873
found cnt = 1836 with n = 22; time = 23106 ms; mp.size() = 874
found cnt = 2011 with n = 22; time = 23129 ms; mp.size() = 875
found cnt = 3721 with n = 22; time = 23152 ms; mp.size() = 876
found cnt = 3789 with n = 22; time = 23187 ms; mp.size() = 877
found cnt = 3778 with n = 22; time = 23210 ms; mp.size() = 878
found cnt = 6883 with n = 22; time = 23232 ms; mp.size() = 879
found cnt = 1757 with n = 22; time = 23267 ms; mp.size() = 880
found cnt = 3746 with n = 22; time = 23303 ms; mp.size() = 881
found cnt = 4109 with n = 22; time = 23337 ms; mp.size() = 882
found cnt = 4139 with n = 22; time = 23360 ms; mp.size() = 883
found cnt = 7554 with n = 22; time = 23383 ms; mp.size() = 884
found cnt = 3816 with n = 22; time = 23417 ms; mp.size() = 885
found cnt = 4141 with n = 22; time = 23440 ms; mp.size() = 886
found cnt = 7651 with n = 22; time = 23464 ms; mp.size() = 887
found cnt = 7659 with n = 22; time = 23513 ms; mp.size() = 888
found cnt = 7618 with n = 22; time = 23536 ms; mp.size() = 889
found cnt = 1502 with n = 22; time = 23583 ms; mp.size() = 890
found cnt = 3309 with n = 22; time = 23619 ms; mp.size() = 891
found cnt = 3791 with n = 22; time = 23654 ms; mp.size() = 892
found cnt = 3840 with n = 22; time = 23676 ms; mp.size() = 893
found cnt = 7015 with n = 22; time = 23699 ms; mp.size() = 894
found cnt = 3793 with n = 22; time = 23734 ms; mp.size() = 895
found cnt = 7654 with n = 22; time = 23768 ms; mp.size() = 896
found cnt = 7741 with n = 22; time = 23803 ms; mp.size() = 897
found cnt = 7711 with n = 22; time = 23825 ms; mp.size() = 898
found cnt = 3315 with n = 22; time = 23874 ms; mp.size() = 899
found cnt = 7033 with n = 22; time = 23909 ms; mp.size() = 900
found cnt = 7662 with n = 22; time = 23944 ms; mp.size() = 901
found cnt = 7027 with n = 22; time = 24003 ms; mp.size() = 902
found cnt = 1473 with n = 22; time = 24159 ms; mp.size() = 903
found cnt = 2747 with n = 22; time = 24194 ms; mp.size() = 904
found cnt = 1601 with n = 22; time = 24229 ms; mp.size() = 905
found cnt = 3252 with n = 22; time = 24264 ms; mp.size() = 906
found cnt = 3323 with n = 22; time = 24299 ms; mp.size() = 907
found cnt = 6040 with n = 22; time = 24334 ms; mp.size() = 908
found cnt = 3421 with n = 22; time = 24627 ms; mp.size() = 909
found cnt = 3764 with n = 22; time = 24676 ms; mp.size() = 910
found cnt = 6923 with n = 22; time = 24711 ms; mp.size() = 911
found cnt = 3515 with n = 22; time = 24748 ms; mp.size() = 912
found cnt = 7051 with n = 22; time = 24783 ms; mp.size() = 913
found cnt = 7064 with n = 22; time = 24817 ms; mp.size() = 914
found cnt = 3254 with n = 22; time = 24902 ms; mp.size() = 915
found cnt = 3741 with n = 22; time = 24937 ms; mp.size() = 916
found cnt = 6926 with n = 22; time = 24973 ms; mp.size() = 917
found cnt = 7599 with n = 22; time = 25032 ms; mp.size() = 918
found cnt = 7691 with n = 22; time = 25066 ms; mp.size() = 919
found cnt = 7054 with n = 22; time = 25150 ms; mp.size() = 920
found cnt = 2751 with n = 22; time = 25353 ms; mp.size() = 921
found cnt = 6049 with n = 22; time = 25412 ms; mp.size() = 922
found cnt = 6931 with n = 22; time = 25473 ms; mp.size() = 923
found cnt = 38 with n = 22; time = 26119 ms; mp.size() = 924
found cnt = 54 with n = 22; time = 26148 ms; mp.size() = 925
found cnt = 59 with n = 22; time = 26182 ms; mp.size() = 926
found cnt = 146 with n = 22; time = 26205 ms; mp.size() = 927
found cnt = 289 with n = 22; time = 26234 ms; mp.size() = 928
found cnt = 279 with n = 22; time = 26250 ms; mp.size() = 929
found cnt = 150 with n = 22; time = 26279 ms; mp.size() = 930
found cnt = 167 with n = 22; time = 26294 ms; mp.size() = 931
found cnt = 349 with n = 22; time = 26329 ms; mp.size() = 932
found cnt = 337 with n = 22; time = 26358 ms; mp.size() = 933
found cnt = 655 with n = 22; time = 26398 ms; mp.size() = 934
found cnt = 180 with n = 22; time = 26433 ms; mp.size() = 935
found cnt = 405 with n = 22; time = 26462 ms; mp.size() = 936
found cnt = 397 with n = 22; time = 26478 ms; mp.size() = 937
found cnt = 755 with n = 22; time = 26495 ms; mp.size() = 938
found cnt = 410 with n = 22; time = 26517 ms; mp.size() = 939
found cnt = 433 with n = 22; time = 26533 ms; mp.size() = 940
found cnt = 394 with n = 22; time = 26558 ms; mp.size() = 941
found cnt = 842 with n = 22; time = 26574 ms; mp.size() = 942
found cnt = 811 with n = 22; time = 26592 ms; mp.size() = 943
found cnt = 1537 with n = 22; time = 26623 ms; mp.size() = 944
found cnt = 855 with n = 22; time = 26670 ms; mp.size() = 945
found cnt = 832 with n = 22; time = 26687 ms; mp.size() = 946
found cnt = 1580 with n = 22; time = 26703 ms; mp.size() = 947
found cnt = 785 with n = 22; time = 26726 ms; mp.size() = 948
found cnt = 1585 with n = 22; time = 26750 ms; mp.size() = 949
found cnt = 1577 with n = 22; time = 26772 ms; mp.size() = 950
found cnt = 2872 with n = 22; time = 26796 ms; mp.size() = 951
found cnt = 185 with n = 22; time = 26825 ms; mp.size() = 952
found cnt = 363 with n = 22; time = 26841 ms; mp.size() = 953
found cnt = 430 with n = 22; time = 26864 ms; mp.size() = 954
found cnt = 423 with n = 22; time = 26880 ms; mp.size() = 955
found cnt = 805 with n = 22; time = 26896 ms; mp.size() = 956
found cnt = 455 with n = 22; time = 26920 ms; mp.size() = 957
found cnt = 482 with n = 22; time = 26936 ms; mp.size() = 958
found cnt = 930 with n = 22; time = 26953 ms; mp.size() = 959
found cnt = 441 with n = 22; time = 26969 ms; mp.size() = 960
found cnt = 943 with n = 22; time = 26985 ms; mp.size() = 961
found cnt = 1723 with n = 22; time = 27009 ms; mp.size() = 962
found cnt = 182 with n = 22; time = 27025 ms; mp.size() = 963
found cnt = 438 with n = 22; time = 27043 ms; mp.size() = 964
found cnt = 485 with n = 22; time = 27059 ms; mp.size() = 965
found cnt = 1030 with n = 22; time = 27088 ms; mp.size() = 966
found cnt = 1003 with n = 22; time = 27105 ms; mp.size() = 967
found cnt = 1905 with n = 22; time = 27121 ms; mp.size() = 968
found cnt = 955 with n = 22; time = 27144 ms; mp.size() = 969
found cnt = 1002 with n = 22; time = 27161 ms; mp.size() = 970
found cnt = 1930 with n = 22; time = 27177 ms; mp.size() = 971
found cnt = 3503 with n = 22; time = 27213 ms; mp.size() = 972
found cnt = 432 with n = 22; time = 27241 ms; mp.size() = 973
found cnt = 963 with n = 22; time = 27270 ms; mp.size() = 974
found cnt = 962 with n = 22; time = 27305 ms; mp.size() = 975
found cnt = 1015 with n = 22; time = 27322 ms; mp.size() = 976
found cnt = 1957 with n = 22; time = 27338 ms; mp.size() = 977
found cnt = 922 with n = 22; time = 27355 ms; mp.size() = 978
found cnt = 1897 with n = 22; time = 27377 ms; mp.size() = 979
found cnt = 3595 with n = 22; time = 27394 ms; mp.size() = 980
found cnt = 927 with n = 22; time = 27423 ms; mp.size() = 981
found cnt = 1953 with n = 22; time = 27452 ms; mp.size() = 982
found cnt = 1900 with n = 22; time = 27469 ms; mp.size() = 983
found cnt = 3608 with n = 22; time = 27485 ms; mp.size() = 984
found cnt = 1787 with n = 22; time = 27509 ms; mp.size() = 985
found cnt = 1873 with n = 22; time = 27525 ms; mp.size() = 986
found cnt = 3607 with n = 22; time = 27541 ms; mp.size() = 987
found cnt = 1681 with n = 22; time = 27558 ms; mp.size() = 988
found cnt = 3587 with n = 22; time = 27574 ms; mp.size() = 989
found cnt = 3448 with n = 22; time = 27590 ms; mp.size() = 990
found cnt = 6532 with n = 22; time = 27607 ms; mp.size() = 991
found cnt = 472 with n = 22; time = 27680 ms; mp.size() = 992
found cnt = 501 with n = 22; time = 27698 ms; mp.size() = 993
found cnt = 967 with n = 22; time = 27714 ms; mp.size() = 994
found cnt = 984 with n = 22; time = 27737 ms; mp.size() = 995
found cnt = 475 with n = 22; time = 27773 ms; mp.size() = 996
found cnt = 1025 with n = 22; time = 27796 ms; mp.size() = 997
found cnt = 1123 with n = 22; time = 27819 ms; mp.size() = 998
found cnt = 1094 with n = 22; time = 27836 ms; mp.size() = 999
found cnt = 2078 with n = 22; time = 27852 ms; mp.size() = 1000
found cnt = 457 with n = 22; time = 27869 ms; mp.size() = 1001
found cnt = 1047 with n = 22; time = 27886 ms; mp.size() = 1002
found cnt = 1099 with n = 22; time = 27902 ms; mp.size() = 1003
found cnt = 2117 with n = 22; time = 27919 ms; mp.size() = 1004
found cnt = 2111 with n = 22; time = 27942 ms; mp.size() = 1005
found cnt = 2030 with n = 22; time = 27959 ms; mp.size() = 1006
found cnt = 3846 with n = 22; time = 27975 ms; mp.size() = 1007
found cnt = 442 with n = 22; time = 27998 ms; mp.size() = 1008
found cnt = 1130 with n = 22; time = 28034 ms; mp.size() = 1009
found cnt = 1107 with n = 22; time = 28051 ms; mp.size() = 1010
found cnt = 2105 with n = 22; time = 28068 ms; mp.size() = 1011
found cnt = 493 with n = 22; time = 28084 ms; mp.size() = 1012
found cnt = 1135 with n = 22; time = 28100 ms; mp.size() = 1013
found cnt = 1198 with n = 22; time = 28118 ms; mp.size() = 1014
found cnt = 1089 with n = 22; time = 28140 ms; mp.size() = 1015
found cnt = 2327 with n = 22; time = 28157 ms; mp.size() = 1016
found cnt = 2241 with n = 22; time = 28173 ms; mp.size() = 1017
found cnt = 4247 with n = 22; time = 28190 ms; mp.size() = 1018
found cnt = 1105 with n = 22; time = 28221 ms; mp.size() = 1019
found cnt = 2147 with n = 22; time = 28238 ms; mp.size() = 1020
found cnt = 1082 with n = 22; time = 28254 ms; mp.size() = 1021
found cnt = 2330 with n = 22; time = 28272 ms; mp.size() = 1022
found cnt = 2267 with n = 22; time = 28289 ms; mp.size() = 1023
found cnt = 4305 with n = 22; time = 28305 ms; mp.size() = 1024
found cnt = 2135 with n = 22; time = 28328 ms; mp.size() = 1025
found cnt = 2238 with n = 22; time = 28345 ms; mp.size() = 1026
found cnt = 4310 with n = 22; time = 28362 ms; mp.size() = 1027
found cnt = 2009 with n = 22; time = 28378 ms; mp.size() = 1028
found cnt = 4287 with n = 22; time = 28395 ms; mp.size() = 1029
found cnt = 4121 with n = 22; time = 28412 ms; mp.size() = 1030
found cnt = 7807 with n = 22; time = 28428 ms; mp.size() = 1031
found cnt = 988 with n = 22; time = 28483 ms; mp.size() = 1032
found cnt = 1880 with n = 22; time = 28500 ms; mp.size() = 1033
found cnt = 1055 with n = 22; time = 28523 ms; mp.size() = 1034
found cnt = 1117 with n = 22; time = 28540 ms; mp.size() = 1035
found cnt = 2155 with n = 22; time = 28556 ms; mp.size() = 1036
found cnt = 1021 with n = 22; time = 28573 ms; mp.size() = 1037
found cnt = 2183 with n = 22; time = 28590 ms; mp.size() = 1038
found cnt = 2104 with n = 22; time = 28606 ms; mp.size() = 1039
found cnt = 3988 with n = 22; time = 28623 ms; mp.size() = 1040
found cnt = 1110 with n = 22; time = 28652 ms; mp.size() = 1041
found cnt = 2158 with n = 22; time = 28669 ms; mp.size() = 1042
found cnt = 1093 with n = 22; time = 28686 ms; mp.size() = 1043
found cnt = 2355 with n = 22; time = 28702 ms; mp.size() = 1044
found cnt = 2293 with n = 22; time = 28719 ms; mp.size() = 1045
found cnt = 4355 with n = 22; time = 28736 ms; mp.size() = 1046
found cnt = 952 with n = 22; time = 28752 ms; mp.size() = 1047
found cnt = 2180 with n = 22; time = 28769 ms; mp.size() = 1048
found cnt = 2287 with n = 22; time = 28786 ms; mp.size() = 1049
found cnt = 4405 with n = 22; time = 28802 ms; mp.size() = 1050
found cnt = 2056 with n = 22; time = 28819 ms; mp.size() = 1051
found cnt = 4388 with n = 22; time = 28835 ms; mp.size() = 1052
found cnt = 4219 with n = 22; time = 28853 ms; mp.size() = 1053
found cnt = 7993 with n = 22; time = 28871 ms; mp.size() = 1054
found cnt = 1889 with n = 22; time = 28935 ms; mp.size() = 1055
found cnt = 995 with n = 22;