Problem Statement
Each process, as it ran, frequently checked what time it was and stored that time. The sequence of times that each process observed is given to us. We want to find out how often the context was switched from one of our processes to another. Because it is possible that a process was allowed to execute very briefly and then the cpu was switched to a different process before the first process checked and stored the time, the best we can hope for is to find the minimum possible number of switches that is consistent with the recorded times.
The biggest complication is that times on a computer are discrete. If the time that was recorded was 3, that means that the actual time was sometime between the third and fourth clock tick. Multiple processes could record the same time, and one process could record the same time multiple times.
Create a class Switching that contains a method minSwitch that is given
Definition
- Class:
- Switching
- Method:
- minSwitch
- Parameters:
- String[]
- Returns:
- int
- Method signature:
- int minSwitch(String[] ticks)
- (be sure your method is public)
Constraints
- ticks will contain between 2 and 50 elements inclusive.
- Each element of ticks will contain between 1 and 50 characters, inclusive.
- Each element of ticks will consist of integer values separated by single spaces.
- No element of ticks will have leading or trailing spaces.
- Each value of each element ticks will be between 1 and 20000 inclusive.
- The values within each element of ticks will be in non-decreasing order.
- The values within each element of ticks will have no leading zeroes.
Examples
{"3 5 7 7 8","4 6 7 7 12"}
Returns: 5
The only possible order in which these 2 processes (A and B) could have run with only 5 context switches is: A during 3, B during 4, A during 5, B during 6 and 7, A during (a later part of)7 and 8, B during 12. (We can't tell which one was running during 9,10, and 11 but the last switch could have occurred anywhere from late in 8 to early in 12.)
{"3 3 3 3 3","3 3 3 3 3"}
Returns: 1
They could have switched back and forth during 3, but it is possible that one of them ran completely first during 3, and then the other ran entirely during a later part of 3.
{"3 3 3 4 4 7 8 8 9","3 5 6 7 7 8 10","3 4 4 5 8 9 10"}
Returns: 10
Here is one possible order: B3, C3, A3-4, C4-5, B5-7, A7-8, B8, C8, A9, C9-10, B10. Note that there are 11 separate runs, so 10 switches.
{"3 5","3 5","3"}
Returns: 3
{"2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2","2"}
Returns: 49
{"3 12","3 8 12"}
Returns: 2
{"9","1","9","6","1 5"}
Returns: 4
{"36","2 5 7 9 12 13 15 18 21 22 24 26 28 31 33 35 36", "2 22","35","35","35"}
Returns: 8
{"1 4 6 8 18","1 4 6","1 4 16 18"}
Returns: 7
{"1 4 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 8 18","1 4 6","1 4 4 4 4 16 18"}
Returns: 7
{"1 3 4 6 17","1 3 4 6 7","1 3 14 17","1 3 4 14 17"}
Returns: 13
{"1 2 5 37","2 5 27 28 30 31 33 36 37","2 5 8 9 17 19 22 28 30", "5 17 19 25 28 31 37","5","5","5","5","5","5","5","5","5","5","5", "5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5", "5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5","5", "5","5"}
Returns: 62
{"1 4 5 6 9 11 14 15 18 21 22 25 26 29 30 33","14 15 18 27", "1 4 6 9 11 14 15 21 22 25 26 27 29","4 6 11 15 21 25 26 27 29 30 33", "33","1"}
Returns: 29
{"3 6 11 12 13 16 19 21 22 26 27 28 29 30", "3 6 8 12 13 16 19 21 22 23 27 28 29 30", "3 6 8 11 12 14 16 21 22 23 27 28 29 30", "3 6 8 11 13 14 19 21 22 26 27 28 29 30"}
Returns: 40
{"2 7 9 13 18","4 8 12 15"}
Returns: 8
{"1 7 10 13 15","4 7 10 14","1 7 14 15","1 7 10 13 14 15", "4 7 13 14 15","1 7 10","4 7 13 14 15","1 7 10 13 14 15","1 7 13", "1 4 7 13 14 15"}
Returns: 40
{"2 2 3 4 6 6 8 9","1 2 4 6 7 9 9 10","1 1 3 5 6 7 7 8 8","1 1 3 4 5 7 8 10 11","3 5 5 6 8 8 8 8","2 2 3 4 5 6 8","2 3 4 5 6 7 9 10 11","2 2 2 4 6 8 10 10 10 10","3 5 7 7 7 9","1 1 1 3 3 5 7 8 10","3 5 5 7 8 10 10 12 12 14 15","3 5 5 7 8 8 10","1 2 2 3 3 4 4 4","2 4 5 7 7 7 8 10","3 4 5 7 7 7 7","3 3 3 5 6 7 7 7 8 9","1 2 3 4 4 6 7 9 9","1 3 5 7 9 10","3 4 4 5 5 7 9","1 2 4 6 7 9","2 3 4 4 5 7 8 9","1 1 2 4 4 5 7 7 9 10","2 4 5 7 8 9 11 11","3 3 4 5 5 5 6","3 4 5 7 7 9 9 10","3 4 6 7 8 10 10","2 4 6 6 7 7 8","1 2 4 4 4 6 8 9 10 12","1 1 1 3 5 5 5 6","2 2 3 5 6 6 6 7 8 9 9","2 2 2 2 4 4 4 6 8 10","1 3 5 5 7","3 5 5 7 9","2 3 4 6 6 8","3 3 5 7 7 9 10 11 11 13","2 4 6 8 10 12 13","1 1 1 1 3 5 5 6"}
Returns: 202
{"1 2 4 6 6 8 10 11 12 13 14","2 3 3 5 6 6 7 8","2 4 4 6 6 7","1 3 4 5 7 7 8 9","3 4 5 5 7","2 4 4 4 6 7 8 8","1 2 4 5 5 6 6 6 8 10 11 12","2 2 2 3 5 7 8 9 10","1 2 4 5 7 9 9 11 13 13 15 17","1 3 4 4 5 6 7 9 9 11","3 3 4 5 6 7 9 9 9 10","3 5 7 9 9 9 11 12 13 13","1 3 5 7 7","3 5 7 8 9 9 9","2 3 4 4 6 7","2 3 3 4 6 6 7 8","3 5 6 8 8 9","3 3 5 6 7 7 8 8 9 9","2 3 3 4 6 7 9 9 11 12","1 3 3 4 5 7 9","1 3 4 6 7 8 9 9 11","2 3 3 5 6 6","3 4 6 7 9 10 10 10 11 12 13","1 1 3 4 5","3 4 5 7 9 10 11 12 12 14 14 16","3 5 7 7 7 8 9 10 12 13"}
Returns: 158
{"3 3 3 4 4 6","1 3 4 6 6 8 9 10 11","3 5 5 7 7 7 7 9 11","1 2 3 5 7","3 3 5 6 6 6","3 3 5 6 6 7 8 9 10 11 11","2 3 3 3 4 4 6 8","1 3 3 4 4 5","2 4 5 5 5 5 6 8 9","3 4 5 7 8 8 9 10","1 1 3 4 5 7 8 10 12","3 5 6 7 8 10 11 13 15 17 19 20 20 20","2 4 6 7 7 9","2 2 2 4 6 7 7 8 10 12","3 5 5 7 8 9 11 11 12 13 13 15","2 4 4 6 7 8 8 10 12","2 4 5 7 7 9 11 11 11","1 1 3 3 3 3","1 1 1 2 4 6 8 9 10 10 11 11 11 12 14","3 3 4 5 6 7 9 9 11","1 1 3 5 7 7 8 8","2 3 3 5 5 6","1 2 3 4 6 6 8 8","2 2 4 5 6 6 6 6 7 8 8 8 9","1 1 1 1 1 1 2 4 4 6","1 3 4 5 5 5 5 6 8 10","3 5 6 6 7 7","2 2 2 4 4 5 7 8 10 12 12","1 2 2 2 4 4 5 5 5","3 4 6 7 7 9 10 11 11","1 3 4 4 6 8 10 12 13 15 17","1 2 2 4 4 6 6 6 6 6 6 6 8","3 3 5 5 5 7 9 11 12 14 16 17","3 3 5 7 8 10","2 3 3 4 4 5 7 7","1 3 5 7 9","2 4 4 6 8 8","1 1 2 4 6 7 8"}
Returns: 215
{"2 4 5 5 7 9","2 2 4 4 5","2 2 4 5 6 7","1 1 3 3 5 5 7","3 5 6 8 8 8 8 9 10 10 10 10 12 12","1 3 5 6 6 6 7 9 10","2 2 2 2 2 2 2 4","1 2 3 5 7","1 1 1 3 4 6 6","1 1 2 3 5 6 7","2 4 6 8 8 9 9 10 10","2 3 3 3 3 3 5 6 7 8","3 4 5 6 6 6","1 3 4 6 8 10 10 12 12","2 3 5 5 6 8 8 9 11","3 4 4 6 8 8 10 12","2 3 5 7 7 8 10 10 11","1 1 1 3 5 7 8 10 11 13","3 4 5 6 8 10","2 3 3 5 6 7 7 9 11 11","1 3 5 6 8 10","1 2 2 4 6 7 8 9 9","3 4 4 6 6 7 7 8 8 8 8 8"}
Returns: 119
{"3 4 4 6 8 10 11 12","2 3 4 4 6 7 7 9 11 11","3 4 4 5 5","1 3 3 4 5 5 6 8 10","2 2 3 5 7 9 11","3 3 3 4 4 6 7 7 8 10","2 4 6 7 8 8 8 10 10","1 1 2 3 4","3 4 5 5 7 9 11 12","1 3 3 4 4 4","1 2 3 4 6 6 7 9 11 13 13","1 2 2 4 6 8 9 10","1 2 4 4 5 7 9 10","3 3 5 6 8 10","2 4 5 6 6 6 7 8 9","2 4 5 5 7 7 7","2 3 4 6 7 7 7 7","2 4 6 6 6 6 6 6 6 7","3 4 6 8 10","3 3 4 4 4 5 5 7","1 2 4 6 7 9 11 11","2 3 3 3 3"}
Returns: 110
{"3 3 5 6 8","1 1 1 2 2 3 5 5 5 6","1 1 2 3 3 5 6 7 9","3 5 6 8 8 10 10 11","1 2 4 5 5 5 6 7 9","1 3 3 4 4 5 6 8 10 11 12 14","1 2 4 6 7 8 10 10 10 11","1 1 3 5 6 8 8","3 3 5 6 7 7 8 9","1 1 3 3 5 5 5 5 6 6","3 5 6 6 8 10","1 3 4 6 6 8 9 11 12","2 3 4 5 6 6 8 9","1 2 3 5 6 8 10","3 3 4 5 5 6 6 6 7 8","3 3 3 5 5 5 6 8","2 4 5 7 7 8 8 10","3 5 6 7 9 10 12 12 13","2 2 3 3 5 7 8 10 10 11","3 4 5 5 7 7","2 4 5 7 7 9 11 11 13 15","1 3 5 6 7 7 9","3 3 5 6 6 7 9 9","3 5 7 7 9 9","1 3 3 4 6 8","3 3 3 5 5 6 7 7 7 8","3 3 4 6 8 9 11 12 14","2 2 2 4 5 7 8 9","2 2 3 3 4 6 8 9 9","3 5 6 6 6 7 8 9 10","3 4 4 4 6 6","1 2 3 3 4 5 7 9 9 10 12 12","3 3 4 4 5 5","2 3 3 4 4 5 7 7 7 7 8 9 10","2 3 4 6 6 6 8 8 9 9 11","3 3 5 7 8 9 9 11 11 13 15","3 4 4 5 5 7 8 8"}
Returns: 214
{"3 3 5 7 8 10 12","2 3 5 5 7 7","3 4 6 7 9 9","2 4 6 8 9 11 12 12 12 13","3 5 6 8 8 10 12 13","2 4 4 5 7","3 3 4 4 5 6 7 9","1 2 3 3 5 5 7","2 2 2 4 4 4 5 7 7 9","2 2 3 4 4 6 8 9 11 11 11","2 4 5 7 8 8 9 11 13 13 15","1 2 3 3 5 6 8 8 9 10","1 2 3 4 6 6 7","3 4 4 4 5 6 7 9 9 11 11 12","1 1 1 1 2 3 3 3 5 6 8 10","3 4 4 6 7 8 10 12","2 4 6 6 7 7 8 9 9 10 10","3 3 3 3 3 4 4 6 8 10 10","2 4 6 8 9 10 10 11 13 14","2 2 4 4 4 5 7 8","3 5 6 8 8 10 10 12 12","2 4 5 5 7 9 9 10","1 3 5 5 6 7 7","2 2 2 4 6 6 8 10","3 5 5 6 8 8 10 12 13 13 15 15"}
Returns: 144
{"2 4 4 5 6 7 7 9 9 9 10 11","3 5 6 6 7 7 7 7 8 8","2 4 5 6 8 9","3 5 6 8 8 10 11","3 3 4 5 7 7","1 1 1 2 3","1 2 2 2 2 3 5 6","1 3 3 4 6 7 7 8","3 3 5 5 6 6 6 6 6","2 2 4 6 8 9 9 10 12","3 5 7 7 8 10 12","1 1 3 5 6 8 10 12 12","3 3 4 5 5 7 8 8 9 10","3 5 6 8 8 9 9","2 3 3 4 4 5 7 8","2 2 2 2 3 4 6 6 7 9","1 1 2 4 6 6 8 10 10 11","2 4 4 4 6 7 9 10","1 3 5 7 8 8 9","2 4 6 8 8 10","1 2 2 4 4 4 4 6","3 4 4 5 5 5 7 7 9","1 3 5 7 7 8 10 12","1 1 2 4 6 6 7 7 8","1 2 2 4 4 6 7 9","1 2 3 4 6 7 8 9","1 1 2 4 5 6 7 9","2 3 4 4 4 4 4 5 5 7 7","2 4 6 6 8","3 4 6 6 8 8 9","3 3 3 5 6 7"}
Returns: 164
{"3 4 6 7 7 8 8","3 3 4 4 5 6 6 8 8","2 2 2 2 3 5 7","3 4 5 5 5 7","3 4 6 7 8 8 8 10 12 13","1 2 2 2 4 4 5 5 6","2 3 3 4 5 7 8 8 8 10","1 1 1 2 2 3 3 5 7 7 7 9","1 1 3 5 7 9 10","2 3 5 7 9 10 11 11","1 3 3 4 4 4 6 7 8 10","1 1 2 2 4 4","3 5 5 5 6","1 1 1 1 3 5 7 8 9 10 12","3 3 4 6 6 6 8 10 11 12","1 3 3 3 5 7 7 8 9 11 13","1 3 4 6 6 6 7 7 7 8 10 10 12 14","1 3 4 6 7 9 10 12 12","3 5 6 8 10 12 13 15 17 19 19 19","2 2 2 4 4 5 6","2 4 6 8 10 12","2 3 5 5 7 7 9 10 10 12 13 13","2 3 4 6 8 10 10 12 13 14 16","1 3 4 5 7","2 3 4 5 5","1 2 2 3 4 4 4","2 2 2 4 5 6 6","2 3 3 3 4 6 6 8","2 2 2 3 5 7 9 9","2 2 2 2 3","3 5 5 5 7 7 7 8 9 10","3 3 4 5 7 8 8","2 4 6 8 8 10","2 2 3 3 4 4 5","3 4 6 8 8 9 11 12 13 14 14 14 14 16"}
Returns: 192
{"2 4 5 6 6 7 7 7 7","1 3 3 3 5 7 7 8","3 3 4 5 7 7 9 9","1 3 3 3 4 5 6","3 3 3 4 6 6 7 8 10 10 11 13 14","3 3 5 7 8 8 8 9","1 1 2 2 2 2 4 5","3 5 7 8 8 8 10 11 11 11 13","1 2 4 4 6 8 8 8 9","3 4 6 6 8 10 11","1 2 4 5 7 9","2 3 5 5 5 6 8 10 11 11 12","1 2 4 5 6 8 10 12 14","1 3 5 7 9","3 4 4 4 5 5 7 9 9 11","2 3 3 3 3","3 5 6 7 9 10 10 10 12 12","3 5 6 7 7","1 3 4 5 5 6","3 5 6 7 8 8 9 11 11","3 4 5 5 6 6 6 6","3 4 6 7 8 9 9 9","2 3 4 5 5 6 6 8 8 9","3 5 7 7 9 10 12 13 14 16 16 18","3 3 5 5 6 6 8 9","2 4 6 6 8 9 9 11 11 11 11","2 2 4 5 6 6 6","1 2 3 3 5 7 8","3 3 3 5 6 6","1 2 2 4 4 6 7 8 8","1 3 3 5 7 7","2 2 2 4 4 5 5 6","2 4 5 7 8 8 10","2 4 4 6 7 8 10 11 11 12 13","2 3 4 6 7 8","2 4 4 6 8","2 3 5 7 8 9 11 11 11 13","1 3 3 5 5 7","2 3 4 4 5 5 6 8 9 9 10 11","3 4 5 5 6 6 6 6","2 3 5 5 7 8 10 10 11"}
Returns: 222
{"2 2 3 5 6 7","2 4 5 7 8 8 8 8 9 11 13","3 4 5 7 9 11 12 14 15 15 16","2 2 3 5 7 9 10 10 12 12 13 14","1 2 3 5 6 6 6 6 6 6"}
Returns: 23
{"3 4 6 8 8 9 9 11","2 4 5 7 7 9 9 11 13 15","3 5 7 7 7 8 10","3 3 3 4 4 4 5 7 8 10","2 3 5 6 8 9 11 11","2 2 3 3 3 5 6 6 8","1 3 5 6 8 9","2 3 4 5 5 6 6 8","1 2 3 5 7 9 11 13 14 16","1 1 3 3 5 7 9 9","1 1 2 4 4 5 6 7 9 11 12","3 5 5 7 9 10 10 11 12 12 14 14","3 4 6 7 8 10 10 11","1 3 4 4 5 7 8 8 10 10 10","1 3 3 3 3 4 4 5 6 7 9","2 3 5 7 8 9 10","1 2 2 2 3 4","2 3 3 4 5","1 2 2 3 5 7 7","3 3 5 6 6 8 8 8 9 11","1 1 2 3 5 7","2 4 4 4 6 8","1 1 1 3 5 6 8 9 10","1 2 2 2 4 6 7 7","3 4 6 8 10","2 3 4 6 7 8 9 10","1 2 2 4 6 7","2 3 4 5 5 5","2 2 4 5 6 8 9","3 4 6 7 9 10 12 13 15 15 16","1 3 5 6 8 9 10 10","3 5 5 6 6 6 7 9","1 2 4 5 5 6 8 10 12 12 13 13 13","3 5 7 9 9","2 2 4 5 6 8 8 10 10 10","2 4 4 6 6 6 6 8 9","3 3 4 4 5 6 8 8 8","2 2 2 3 4 5 7 7 7","3 4 5 7 7 8 10 10","1 2 2 4 6 8 10 12 14","3 5 7 8 9 10 11 11","1 2 3 4 5 6 6","2 4 4 6 7 7","1 3 5 5 7 7 7 8 9 9 11 12","2 2 3 4 4 4 5 7 7","3 5 5 5 6 6 8","1 1 3 3 3 5 5 5 7 8 8 8","3 4 6 6 6 7 9 11","2 3 3 5 7 8 10 12 13"}
Returns: 285
{"3 3 4 5 7 9 11 13 15 17","2 4 4 5 7 9 10 11 11 11 12 12 13","2 4 6 7 8 8 8 8 9 9","1 3 5 6 8 9 10","2 3 5 5 7","2 4 5 6 8 10 11 12 13","3 3 3 3 3 4 5","3 3 5 6 7 7 8 10 11","2 3 4 5 6 6 8 9 11 12","2 2 3 3 4 6 7 9","3 3 3 3 5 7 7 8 10 12","2 3 3 5 5 7","3 3 5 7 8 10 11 13 13 15 17 19 20","3 4 6 6 6","1 3 5 7 9 10 10","1 2 2 4 5 7 8 10 10 10 12 12","3 5 6 6 8","1 1 1 2 2 3 3","3 3 4 4 5 7 8 9 10 12 13","1 2 3 4 5 7 9 9 11","3 5 5 6 7 7 8 10 11"}
Returns: 121
{"3 3 3 5 5 7 8 10","3 5 7 8 8 8 8 9 9","3 5 5 6 6 7 8","2 3 4 6 7 8 10 11 13 13","1 3 3 4 6 8 10 11","3 5 5 6 7 8","3 4 5 6 6 6 6","2 4 5 5 6 7 8 8 10 11 12","3 3 5 7 7 8","1 2 3 4 6","3 5 6 7 7 8 10 11","2 2 4 4 6 8 8 9 9 9","3 5 5 5 5 7 7 7","2 2 4 6 6","1 2 3 5 7 8 10 12","3 3 3 3 3 4 6 8","2 4 4 4 5 7 8 9 9 10 10 12","1 3 5 5 6 8 10 11 12 12","2 3 5 5 7 7","1 3 5 6 7 9 10","1 2 2 3 5 5 6 8 9","1 2 2 2 4 4 5 6","3 4 5 7 9 11 13","3 5 6 6 7 9 11","2 4 5 7 7 7 7 8 10","2 3 4 4 4 4 5 5 6","2 2 2 2 3 4","3 5 5 5 7 9 10 11 11 13 15 17","1 2 4 4 4 6 6 7 8 8"}
Returns: 155
{"2 4 6 6 8 9 11 12","1 3 3 4 6 6 7 7 7 9"}
Returns: 7
{"1 1 1 1 1 3 3","3 5 7 7 9 9 11","2 4 5 7 7 8 9","2 4 6 7 7 9 11 12","1 2 4 5 7 9 10 10 11"}
Returns: 19
{"2 2 4 5 6 7","2 3 4 4 4 6","3 3 4 6 8","2 3 5 6 7 9 11","2 3 5 6 6 8 9 10","3 3 3 4 5 5 6 6","1 3 4 6 7 7 7 9","1 3 5 5 6 6 7 7 7 9 10","2 3 3 5 5 5 6 6","3 4 4 5 7 9 10 11 11 12","1 1 3 3 5 6 7 9","3 3 3 4 5 6 7 7 7","1 1 3 5 5 7","3 5 7 9 10 11","1 3 5 6 8 9 10","1 1 3 4 4 5","3 5 7 7 7 7 8 9 9 11 11 13","2 3 5 5 7 9 9 9","1 1 3 5 6 7 7 7 8 10 10","2 2 4 4 4 6 7","3 3 4 4 4 5 6","1 2 4 6 8 9 11 13 14 14 15 17 19 20","1 1 1 2 2 4 4 5","3 5 6 6 6 8 10 11","2 4 6 7 7 9 9","3 3 4 6 6 8 8","3 4 5 5 7","3 3 5 7 9 10 11 11 13 14","3 4 4 6 6 6 8 8 8","3 4 4 6 8 8","3 3 5 7 7 7 9 10","3 5 6 6 6 8","2 4 6 6 7 9 9 9 10","1 3 5 7 9 9","1 1 2 3 3 4 4 4 6 6 8","3 5 5 7 8 8 9 9 11 11 12","1 1 3 4 6 6 7","1 1 3 5 7 9 11 13 14 16","2 4 6 6 8 8 8 10","3 4 6 6 7 7 7 8 9","1 1 2 4 5 5 7","1 3 3 5 7 9 9 11 12 14","1 2 4 5 6 6 7 8 8 10","3 4 4 6 6 6 6","2 4 4 6 6 7 9 10 11 11 11","2 4 4 4 4 6 7 7","2 4 5 6 7 7 8 10 11","1 1 2 4 6 7 9 10 10 12 13 15 15"}
Returns: 261
{"2 2 4 6 7 8 8","3 3 5 5 7 8 8 9 9 11 12","2 2 3 5 5 5 7 8 10","2 2 4 5 6 8 9 10","3 5 5 6 7 8 10 10 10 10 11","2 3 4 4 6 6 8 9 10 10 12","3 5 6 8 8 9 9 9","3 4 5 5 6 7","1 3 3 5 7 8 8 9 10","2 3 3 3 3 4 6","3 3 4 6 7 7 8 10 10 11 12","1 2 3 4 6 8 8","1 1 3 4 4 6 8","3 3 3 5 7 7 7","3 5 6 7 9 10 10 12 12","2 4 5 6 8 8 10","3 5 5 7 9 11 11 12 14 15 17","3 3 5 6 7 7 9 9 11 13 14","2 2 4 5 5 5 5","2 3 4 5 5 7 8 9 10 12 13","1 3 5 7 9 11 12","2 3 5 6 7 8","3 4 6 8 10 10 11 13","1 3 3 4 6 8 8 10 10 11","3 3 3 4 6 8 10 10 10","2 2 2 4 5 6 8","3 4 6 8 8 9 11 11 12","3 3 4 4 4","3 5 5 5 7 7 8","1 3 4 4 5 7 7 7 8","1 3 5 5 6 8","1 3 3 3 4 4 6","3 5 7 8 10 10 12","1 2 4 6 6","3 4 4 5 7 8 9 9 10 10 12 14"}
Returns: 194
{"3 5 7 7 7 8 10 12","1 2 2 3 3 4 6 6","2 2 3 4 5 6","3 5 7 9 9 11 12 14 14 16","3 3 4 4 5 7","3 5 6 8 8 10 11 11","3 5 7 8 9 9 11","1 2 4 4 4 4 4 5 7"}
Returns: 34
{"2 2 4 4 5 6 6 7 7 9","3 5 5 7 9 11 11 12 12","3 3 3 3 4 6 7 7 9","2 3 5 6 8 9 9 11 11 11 12","3 3 5 7 7 9 10 12","3 3 5 5 5 7 9 11 13 13 14 15","2 4 5 5 5 7 8 9 11 13 15","1 3 4 4 5 7 8 9 9 10 11 13","3 4 5 5 7 9","2 3 5 5 6 8 8 8","3 4 4 5 6 8 8 9 10 10","3 3 4 6 8 10 11","2 3 3 5 5 6 7 7 7 9","2 3 3 4 4 6 7 8","2 2 2 4 4 4","3 4 4 4 6 8 9 9 11 11","1 2 4 4 6","2 4 5 7 9 9 9 9","3 4 6 8 10 11 13","3 3 3 5 7 7 7 9 9 11 13","3 4 4 6 6 7 9 11 12","1 1 1 2 4 5 6 8 8 10 12","3 4 6 8 8 10 10 10 12","1 2 4 6 8 8","1 2 4 6 8 10 12 14 16","1 1 1 3 4","1 2 4 4 6 7 9 10 11","3 5 5 5 5 6 7 7 8","1 1 1 2 3 5 6 6"}
Returns: 166
{"3 5 5 6 8 9","3 5 7 8 10 11 12 13","1 2 2 3 3 3 4 5","3 4 4 5 6 6","2 3 5 5 6 7 8 9 11 12 12","1 3 5 6 7 8","1 2 3 5 6 8","3 4 4 4 5 5 5 5 6 6","2 2 4 6 8 8 9 11 13 14 14 15 15 16","3 4 4 5 5 6 7 9","1 1 2 3 5 6 6","1 2 4 4 5 7 8 10","2 2 4 6 8 10 10 12 12 12 14","1 2 3 5 5 5 6","1 3 5 6 6 6 7 8 8 9","2 2 3 4 6 7 8 10 12 12","2 4 6 7 7 8 8 9 11","1 2 4 6 8 10","2 3 5 7 9 11 12","3 4 5 6 6 8 8 8 8 8","1 1 2 2 2 4 5 5 6","2 4 6 6 8 10 10 11 12","2 4 6 6 6 8 9 11","3 5 7 8 9 11","1 1 3 3 5 5 6 7","2 2 4 5 5 6","1 3 4 5 5","3 4 5 6 6 8 10 11","1 2 4 6 6 7","2 2 2 2 2 3 4 6","1 2 2 4 6 7 7 9 9 10 10","2 2 4 6 7","3 5 5 6 7 7 7 7 9 11","1 3 3 3 5 5 7 7"}
Returns: 186
{"3 4 6 7 8 10 12","3 5 7 7 8 8 8 9 10 12 14","3 4 4 5 5 6 7 7 7 9 10 10","3 4 5 6 7 8 10","3 4 5 5 7","2 2 4 4 6 7 7 7 8","2 4 6 8 9 10 12","3 5 5 6 6 6 8","2 3 4 6 6 8 9","3 3 3 3 4","1 3 5 6 6","3 4 6 7 9 10 11 11 11 12 14 14 16 18","2 3 4 4 5 5 6 6 8","2 4 5 6 7 9 11","2 3 3 5 5 5 6 7 7","3 5 5 5 7 7 7 8","1 1 2 4 4 6 6 7 7 7 8 10 10 10","1 2 4 5 7 8 8 8 9 9","2 3 3 4 4 4 4 4","2 4 6 7 9 11 13 13","1 3 5 7 7 7 8 9 9 10 12","2 3 5 6 6 7 7","3 5 6 6 7 7 8 10","2 3 5 5 5 7","2 2 2 3 5 6 8 10","1 1 2 4 6 8 10","1 1 1 3 4 5 7 8 8 10 12","2 3 3 3 5 5","2 2 3 3 5","1 3 4 5 7 7 9 11 12 14 16 18 18","3 4 4 5 6 7 9 10","2 4 5 6 8 8 9 10","3 5 5 6 8 8 10","3 3 5 7 8 8 10 12","2 4 5 6 7 7 9 10 11 13 15 15 16 16","3 4 6 8 9 9 9 11 11","3 3 4 4 6 7 8","1 1 2 4 5 7 8 9","1 1 1 3 4 4 4 5 5","1 2 2 2 4 4 4 4","2 4 5 6 6","1 3 3 4 5 7 9 9 9 10","1 2 2 2 3 4 4 5 5","2 4 5 5 5 5 5 5 5","2 4 6 6 6 8 9 11 12 12 14 16 16","3 5 5 7 8 10 10 12 13","2 3 3 3 3 4 6 7 8"}
Returns: 265
{"3 4 4 4 5 6","1 3 4 4 4 4","2 3 4 4 6","3 3 4 4 4 6 6 8","2 2 4 6 7","3 3 3 5 7 9 9 11","2 2 3 3 3 4 5","1 1 2 3 3"}
Returns: 23
{"2 2 2 3 4 5 7 8","2 2 3 3 4 5"}
Returns: 4
{"1 1 3 5 6 8 9","3 4 6 8 9 9 9 9 10 12 12","2 4 5 6 6 7 9 11 13","3 5 5 5 5 5 5 7","1 3 4 4 4 4","1 1 3 5 7 9 11","2 2 2 3 3 5 5 6 8","3 3 3 3 5 6 8","2 4 6 7 8 10 12 13 13 13","3 3 5 7 9 11 13","3 5 5 5 7 8 10 12 12","1 1 2 3 3 3 3 3 5","2 4 5 7 8 10 12 12","1 2 3 3 4","2 3 4 5 5 5","1 3 5 5 5 5 5 6","3 3 4 4 4 6","2 2 4 5 5 7 9 11","2 2 2 4 6 8","2 2 2 3 3 5 5 5 6","1 3 4 4 5 5","1 2 3 4 5 7 8 9 11 11 13 13 14 16","1 3 3 5 7 9 11 11 13 15 15","1 1 1 2 2 4 6 6 8","3 3 5 6 6 6 8 8 9","2 3 4 4 6 7 8 10 12 14","1 3 4 5 7 9 9 11 13","2 2 4 6 7 9 10 10 10","1 3 5 5 6 7 8","1 3 5 6 6 7 9 11","2 4 5 6 7 8 9 9 10 10","2 2 4 5 7 7 9 9 10 12 14","2 4 5 5 7 7 9 10 11","3 3 3 4 4 6 7 7 8 10","1 3 5 6 6 6 8 8 8 9 10 10 11 12","1 3 4 6 8 9 11 11 11","1 2 2 4 6 8 9","3 3 4 6 7","1 3 4 6 7 8","1 1 3 3 5 6 7 7","2 3 5 5 5 6 8 10","1 3 3 5 7 9","3 4 5 6 6 8","1 1 1 3 4 6 6 8 8 9 9","2 3 3 4 4 5 5 5"}
Returns: 250
{"2 4 5 6 8 8 10","2 2 4 6 6 7 8 9 10 10","3 3 4 4 6 6 7 8 10 10 12","3 4 5 5 7 9 9 9 10","2 4 6 7 7 9 11 13","3 3 3 4 5 7 9 10 10","1 3 5 6 8 9","2 2 2 2 4 4 6 7 9 11 12","2 4 4 5 7 7","2 3 4 4 4 4 4","1 2 2 4 6 7","2 2 4 5 5 5 5 6 7 8","1 2 4 5 5 5 7 7 7 9 10 11","3 4 5 6 8 8 8 9 11 12","3 3 5 6 6 6 6","3 3 5 6 6 6 8 10 10 10 10","3 3 4 5 6 7 7","2 2 2 4 6 7 7 8 8 8","2 4 4 4 5 6 6 6","3 3 3 5 6 6 7 7 9","2 3 4 6 8 10 11","1 2 2 4 5 6","2 2 3 4 4","1 3 4 4 6 8 10 10 12 14 15","3 4 5 6 6 8 8 8 10","2 3 5 6 8 10 11 13"}
Returns: 138
{"3 4 4 5 5 5 6 6","1 2 2 2 2 4 4 5","1 1 3 3 4 6 7 8 8","2 3 5 7 7 9 9 9","2 2 3 5 5","3 4 4 5 6 7 9","1 3 5 6 6 6 8 9 10","3 3 4 5 5 6 6 6 7 7 7","1 3 4 5 6 7 7 9 10 10","3 3 4 6 7","1 3 3 3 5 7 8 8 9","3 5 5 7 7 8","3 5 5 7 7 9 11 11 12 13 13","3 4 5 6 8 9 9 10 11","3 5 6 6 7 9 10 12 13 13","3 5 6 8 8 8 9 10","1 3 5 6 6 7","3 4 6 6 6","1 3 3 3 5 5 5 5 6 8","2 3 3 3 5 6 8","2 2 4 6 8 9 9 10 10 12 14 14 14","1 2 3 3 5 7 8","3 4 4 4 4","1 3 5 6 6 7 8","3 3 3 3 5 6 8 9","3 5 5 6 7 9 10 10 12 13","2 2 3 5 6 6 7","1 2 2 3 5 6 7 7 9 10","2 2 3 3 3 5","2 4 5 5 7 9 11 11 13 13 14"}
Returns: 154
{"1 3 3 5 6 6 8","1 3 4 5 7 9 11 13 15","3 5 7 9 10 12 13 14 16"}
Returns: 16
{"1 3 4 6 6 6 7 8 8","1 1 2 2 4 4 6 6 7 9 9","3 4 4 6 7 8 10 11","2 4 5 5 6 6 6 7 7 8","2 3 5 6 7 9 11 12 13 15 15","1 2 2 3 5 6 6 8","3 4 5 5 6 7","2 3 3 3 5 6 7 7 8","2 3 4 6 7 7 7","1 3 5 7 7 7 9 11 12","2 4 5 5 5","2 4 5 7 7","1 1 3 3 5 7 7 8 8 9 10","3 4 5 7 9 11 13 14 16","3 3 3 4 5 6 7 8 8 9 11 13","1 2 2 4 5 7 9 9","1 1 1 1 3 4 6","2 4 6 6 6 6 6 8","2 4 5 6 7 9 10","3 5 5 5 7 8 9 11 13","2 4 4 5 5 5 7 8","3 5 6 6 7 9","1 1 3 4 5 5 5","1 3 5 5 6 7 7 8","2 4 5 7 9 10 12","1 2 2 3 5 5 5 5 6","3 3 3 4 4 6 8 9 11","3 3 3 3 3 5 5 6 7 7","1 1 1 2 4 6 7 7 8 10 10","3 5 5 7 7 7 9 11 11 11 13 13","2 2 4 6 7 7 9","2 2 3 5 7 7 7","1 3 5 6 8","3 5 6 8 9 9 9","2 2 2 3 4 5 5","3 5 7 8 8 9 9 10 10 10","3 3 3 3 3 3 5 6"}
Returns: 197
{"1 1 1 1 3 5 7 7 7","2 3 4 5 5 5 7","2 3 3 4 5 6 8 10 12 12 12","2 4 5 7 8 9","1 1 1 3 3 4 5 5 6 6 8 8","3 4 6 7 8 9 11 12","2 3 5 6 7 8","3 4 5 7 7 9 11 11","3 4 6 6 7","1 1 2 3 5 7 7 8","3 5 6 8 8 10 11 13","3 3 5 7 8 10 10 12 14","2 3 5 5 5 7 7 7 7 9 10","1 1 1 1 1 1 1 1 3 3 4 5","2 2 4 6 7 9 9","1 2 2 3 3 4 6","3 3 4 5 6 8","3 3 4 4 5 7 9 11","3 4 5 7 7 8 9 9 9 9","1 1 3 4 4 4 4 5","1 2 3 5 7 9 9 10","2 2 4 4 5 6","2 2 3 3 5 6 8 9","1 2 2 2 2 4 4 6 7","3 3 5 7 7 7 7 7","3 4 6 7 7","2 4 5 6 8 8 8 8 8","2 3 5 7 7 7 8 10 12 14 16 18 20","3 5 6 8 8 10 12","2 3 5 5 7 7 8 10 12","3 4 6 7 9 11","1 2 4 5 7 9","2 3 5 7 9 10 12 14 16","3 3 4 5 5 5 6 7 7","3 4 6 8 10 10 11 11 13 13 13 13 14 14","1 3 3 4 4 5","1 2 3 3 4 4 5 7 8 8","3 4 6 7 9 11 12","3 3 4 4 4 6","3 3 3 3 3 4 4 6 8","1 1 3 4 5 6 7 8 10 12"}
Returns: 224
{"2 3 3 5 6 7 7","2 4 6 6 6 6 8 8","3 4 6 8 9 10 11","3 5 5 5 6 7","3 3 5 6 7 8 10","2 2 2 3 4 6 6 6 8","1 1 3 4 5 6 8","1 1 1 2 3 5 5","3 5 7 8 10 10 10 12","3 3 4 4 6 7 9","3 3 5 5 5 6 7","1 3 4 6 6 6 6 6 6 7 7 7","2 4 6 6 8 9 10 11","3 3 4 5 5","1 3 5 7 8 8 10 10","3 4 6 6 8 8 10 10","1 3 5 5 5","1 3 3 4 5 7 9","3 5 6 8 10 10 11 12 12 13 13 13","2 4 4 5 6 6 6 6 7 7 7 8 10 11 12","3 5 7 8 10 10 11 13 14 16","3 5 5 6 8","2 3 5 7 8","2 3 3 3 3 4 6","1 2 3 5 6 6 8","2 2 4 5 7 9 9","2 4 6 7 8 8 10 11 11 12","1 3 5 7 8","1 3 5 6 7 8 8 10 11 12 13 15","1 3 3 4 4 5 5 6 8 10 10","2 2 3 5 5 7 8 9","3 5 7 8 10 10","1 2 3 3 4 6 7 9 9 11 11 12 14","3 5 6 6 8 10 10","3 4 6 8 9 10 11 11 11 12","2 2 3 3 4 6 8","3 3 3 5 7","2 2 2 2 3 3 4 6","2 3 5 7 9 11 13","3 3 4 4 4 5 7 7 7","3 5 5 6 7 9 10 11","1 3 4 4 5"}
Returns: 226
{"2 3 4 5 6 7 7 8","2 3 4 6 8 9 10 12"}
Returns: 6
{"3 3 3 3 4 6 7","2 4 5 5 7 7 7 9 10","1 2 2 2 4 4 5","1 2 2 3 3 3 4 6 6 8","3 3 5 6 7 8","1 2 4 5 6","2 3 3 5 5 5 6","1 2 3 5 5 7","2 2 3 4 4 6 6 7 8 8 8 10","1 3 3 5 6 7 8","3 3 5 5 5 5","3 5 6 8 8 10 12","2 3 3 3 5 6 7 8","1 2 4 4 4 5 5 7 9","2 4 6 7 7 8","1 2 3 5 7 9 10 11 11","1 3 4 6 7 8 10 11","3 4 5 6 6 8 10 12 14 14 14 15 17","3 3 4 6 8 10 11 13","3 4 5 6 8 10","3 5 5 7 9 11 12 12 14 14","1 2 4 6 8","2 4 6 7 9 10 12 12 14 14","3 4 4 4 4 4 4 6 8 10","3 4 6 7 8 10 12","2 2 4 6 8 10 11 11","3 4 5 7 7 9 10 10 10 10 11","1 3 5 5 7 7 8 10 10 10","1 1 3 3 4 5","1 2 4 4 5 5 5"}
Returns: 162
{"2 4 5 5 6 6","2 3 5 7 9 11 13","1 1 2 4 6 7 9","1 3 3 3 4 6 7 9 10","1 1 3 5 6 6 7 7 8","3 3 5 5 7 9 11 13"}
Returns: 26
{"2 4 5 5 6 7 7","3 5 6 8 9 11 11","1 3 4 4 4 6 6 7","2 2 4 5 6 7 9","2 3 3 3 4 4 6 7","3 3 3 4 6 7","2 3 4 5 5 6 6 8 9 10 11","3 4 4 6 8 8 8"}
Returns: 35
{"3 4 4 5 6 6 8 9","2 3 3 4 5 6 6","3 5 5 5 7 9 9 10 12 12","3 3 3 3 5 6 7 9 10 11","2 4 6 6 8 9","3 4 4 5 5 7 7 8 8","1 2 2 4 5 7 8 9 10 11 13 13","1 1 3 5 5 6 8 8","2 2 3 5 5 6 6 6 6 6","3 3 3 5 5 6","2 3 3 3 3 4 5 6","3 5 6 8 8 9 11 12","1 3 5 5 5 7","1 3 4 4 6 8 9 9","2 3 3 4 6 8 10 10 11 13 13","2 3 5 7 8 9 10 12","3 5 7 8 8 10 11 11 12","2 2 3 5 5 7","1 2 2 4 4 5 6 6 7 7 9","2 4 6 8 10 10 11 11 12 12 12 12 12","3 3 3 3 4 6 8","1 2 3 4 5 6 7 7 7 8 8","3 5 7 7 9 11","1 2 4 6 6 6 6 6","1 3 5 7 7 9 11","1 2 4 4 6 6 7 7 9 10 10","1 2 3 3 3 4 6 6","2 3 3 3 5","3 4 4 6 7 8","2 2 4 4 6 6","1 3 4 6 8 8 8 9 11 13","3 3 4 5 5 7"}
Returns: 169
{"3 3 3 4 4 5 6 7","3 3 4 4 4 6 7 8 8","2 3 5 5 7 9 11 13 14","3 5 5 5 7 9 10 11 12","3 3 4 5 7 9 10 12 14 15","3 4 6 6 6","2 4 6 8 8 9 9 11 13","3 3 3 4 4 4 6 6 7","3 4 4 6 7 8 8 10 11 12 12 13 13 15","3 5 6 6 6 6 6 6 8 8 9 9 11","1 1 1 1 2 4 5","1 3 3 3 5 5 6 7 9 9"}
Returns: 59
{"1 1 3 4 4 6","3 3 5 5 6 6 8","2 3 5 5 5 6 6 6 8 10 12 13","2 4 6 6 7 7 9 11","3 5 5 5 5 5 5 7","2 2 3 5 7 9 11","3 5 6 6 8 10 10 11 13 15 17 17","1 2 3 3 4 4 5 5 6 6 8 9","1 2 4 5 7 8 9","3 5 5 6 8 9 9 9 11 12 14","3 3 4 5 5 7 9","1 1 2 4 5 5","2 3 4 4 5 7 8 10 12","1 3 3 4 5 7 8 10 11","1 3 3 4 6 6 8 8","1 3 5 5 5 5 5","1 1 1 2 2 3 5 6 6 8","3 4 6 8 8 9 10 12 13","2 2 4 6 7 9 11 11 13","3 3 5 7 7 7 8 8 10 11","1 2 2 2 4 6 6","1 3 5 6 7 8 9 10 10","1 3 3 3 4 6 6 8 9 10 10","2 3 3 4 6 7 9 10 11 13 14","3 3 4 6 7 7 7","2 2 2 3 3 3 3 4 4","1 1 3 4 4 6 6 8 10 11","1 3 3 3 3 4 5 6 6 7","2 2 3 5 6 7","3 3 3 4 6 6 6 8 9 11","2 4 6 6 7 7 9 11 13 14 14","1 3 5 5 5 5"}
Returns: 179
{"2 3 5 7 8","1 2 2 2 4 6 8 8","2 3 5 6 6 6 8 8","3 5 7 9 11 13 15 17 19 19","1 3 5 5 6 6 8 10","1 1 1 2 2 4 6","3 4 4 4 6 8 8 10 12 13","1 2 2 3 4 6 7 8","1 1 1 1 1","3 3 4 5 5 6 7 7 8 10","3 3 3 5 7 7","1 3 3 4 5 5 5 5 7 8","2 2 3 3 3 3 5 6 7 7 8 8 10","2 3 4 4 6 6 8 10"}
Returns: 66
{"1 3 3 3 5 5 6 6 7 7 7","3 5 7 7 9 11 11 12","3 3 4 5 7 9 10 10 11 12 13","2 4 4 5 5 5 6 7","2 3 5 6 7 8 8","2 2 4 4 4 4 5 6","1 1 3 3 5 5 5 7","3 3 3 4 6 7 7","3 5 5 6 7 8 10 11 12 13 14","2 3 4 5 5 6 7 8 8 8 9 11","2 2 2 4 6 8 8 8 10 12 13 14 14","2 3 4 6 8 10 11 13 15 15","3 4 4 6 7 7 8 9 10","2 4 6 6 8 8 8 9 11","2 3 3 3 5 6 8 8 8 8 10 12","1 3 5 5 5 7 8 10","1 3 3 4 5 6 6 6 6 7","2 4 5 5 6 6 8","3 3 3 3 3 4 4","3 5 6 6 7","2 2 4 4 6 6 8 8 8","3 5 5 7 9 10 11","3 3 4 4 4 4 4 6","2 3 3 5 5 7 8 10","1 3 3 5 7","2 3 5 6 7 9 11","3 5 6 8 10 10 12","3 3 4 5 7","2 2 2 3 5 7","2 2 2 4 5 5 7 9","1 1 3 5 5 6 8 10 11"}
Returns: 165
{"2 2 2 2 3 3","2 4 5 6 7 9 9 9 10 11 11 13","1 2 2 2 3 5 6 8 9","2 2 4 4 5 6 7 8 8","2 3 3 5 6 8 9 9 11 12 14","3 5 7 7 9 11","2 2 3 3 4 4 5","2 4 6 7 7 9 9","3 5 5 5 5 5 7","3 3 3 3 3 3 3","1 3 3 3 3 3 3","3 5 6 7 9 9 9 9","1 3 5 7 7 9","1 3 4 4 4 6","1 1 2 3 4 6","3 3 3 4 4 6 8 9","1 3 4 5 5","3 4 5 5 5 5 7 9","3 5 5 6 6 6 7 7 8","3 3 4 4 4 5 5 5 7","2 4 4 6 8 8","1 1 2 4 5 6 6 6 8 10","1 1 1 1 2 3 4","3 3 5 6 6 8 9 9 10 12 13","3 3 4 6 8 8 10 12 13 15 16 16 17","1 1 2 2 4 6 8 9 11 13 13 13","1 1 1 3 5 7 9 10 11 11 12","1 1 1 3 4 6 6 8","3 5 6 7 7 9 10","3 5 6 6 8 9","2 4 4 5 6 8 9 9","1 3 3 3 4","2 2 2 3 5 6 6 8 9","1 1 3 3 4 6 6 6","1 2 4 6 7 8 9 10 10","3 3 5 6 8 8 9 10","1 1 2 4 5 6","3 4 5 5 7 8 10 10 10","2 3 4 5 7 9 11 13","2 4 4 4 6 6 8 9 10 10","2 3 3 4 6 7 7 9 9 11 11","3 3 3 3 3 3 4 4 5 6"}
Returns: 214
{"1 3 4 5 6 6","1 2 4 4 6 7 9 11 11","3 3 3 5 6 6 6 6","3 3 4 6 7 9 9 10 11 13","1 3 4 5 6 7 8 10 12 12 13 14","3 5 5 7 9 9 9 10 11 12","1 1 3 4 4 4 5 6","1 2 3 3 5 6 6 7 9 10","1 3 4 5 5 5 6 6 7 8 9 11","3 4 4 5 7 8 8 9","1 1 2 3 4 5 7 7 9 9","3 4 5 5 6 6 8 8","2 4 5 6 8 9 9 11 13 14","1 3 5 7 9 10 10 12 14","3 5 6 6 8","2 4 6 7 8 8 9 11 12 13 13 15","3 4 6 7 8 9 10 11","2 2 2 3 5 6 6 8 10 11 11","3 4 5 5 5 5 7 9 10 10","2 2 3 3 3 3 4","3 3 3 5 5 6 8 9","1 1 3 3 4 5 7 8 8","3 5 5 6 7 9 9","3 3 3 3 5 5 6 6 8","2 4 5 6 8 9 11 12 14 14 15 17 19","3 3 3 5 5 7 9 9 10 11","1 3 5 6 8 10 11 12 12 14 14","1 3 4 4 6 8 9 10","1 1 1 1 1","1 3 5 7 8 8 8 9 10 10","1 3 4 4 6 7 7 8","1 1 1 1 2 4 4 5","3 4 4 5 7 7 9","1 2 4 4 5 7 8 10 11 13","3 5 7 8 8 9 11 12 14 14 15 16 17","2 3 4 5 6 7","2 3 4 5 6","1 3 3 4 4 5 7","3 4 5 6 7 8 10 12 13 14 16 18 19","1 3 4 5 6 7 8 10","1 1 2 3 5","3 4 5 6 7 8 10 10 11 12","1 2 2 3 5 5 5 6 7 7 7 7","2 3 3 4 5 6 6","3 3 3 3 3","2 3 4 6 8 10 11 12 12","3 4 4 4 5","1 3 3 4 5 6 6 6 8 8 9 11","2 2 4 4 5 5 6"}
Returns: 301
{"2 3 4 4 5 6 7 9","2 2 4 6 6 6 6","2 3 5 5 5 5 5 7 7","1 1 3 4 4 4 5 6 8 9","2 4 5 7 7 9","3 3 5 5 5 5 5 7","1 3 4 6 8 9 11 12","1 2 3 4 6 8 9 9 9","1 2 3 3 3 4 5 7 7 7 7 9","3 5 6 6 8 9 10 11","1 1 2 2 3 3 5","3 3 4 5 6 8 9 9 10","1 2 2 4 4 5 6 8","2 4 6 6 8 8 10 11 13 15 17 17","3 3 4 5 6 6","2 3 4 4 4 4 5 5","1 2 3 4 5 7 8 10 11","2 2 2 4 5 5 6","3 5 7 9 10 11 12","3 4 5 5 6","1 1 2 4 6 7 7 8","1 3 5 6 6 7 9","2 2 4 4 5 7 8 8","3 4 4 4 5 5 7 9 10 11","3 3 3 4 5 7 7 8 8 9 11","1 3 3 4 5 6 7 7 9","3 4 6 7 8 10 12 12 13 13","1 2 4 6 7 7 8 8 9 9","2 3 4 5 6 6 7 9","3 5 5 6 8 10 10 10","2 3 3 4 4 5 7","1 2 3 5 5 5 7","1 3 3 4 6 6 6","3 3 5 7 8","1 3 3 4 5","2 4 4 4 5 5 5 7 9 9 11 11","2 3 5 5 7 8","3 4 5 7 8","2 2 4 5 6 6 7 9 10 10","1 3 5 5 7 7 9 9","3 5 7 8 10 10","1 1 3 4 5 7 9 11","2 2 4 4 5 6","3 4 4 4 5 5","2 3 5 5 5 6 6 6","1 3 3 4 5","1 2 4 4 5 7 7","2 4 4 5 6 6 7 9 9","1 1 2 4 6 8 10"}
Returns: 260
{"1 2 4 5 6","3 4 4 4 6 8 9 10","2 3 5 6 6 7 9 9","2 3 4 5 6 7 7","1 3 4 4 5 6 6 6","2 3 4 6 8 8","1 2 3 4 5 5 5 6 6","2 3 5 5 6 8 9 11","2 4 6 8 8 8 9","1 3 3 3 3 5 6 8 9","1 2 4 4 6 6 6 7 8 8 9 9 9 9","1 1 3 4 6 6 6 6 8 8 10 10 11","2 2 4 5 6 8 10 11 11 13 13 13","3 4 6 6 6 7 7","3 3 3 3 4 4 5 6 7","1 1 3 3 5 5 6 8 10","2 4 4 5 5 6 7 8","1 1 3 3 4 5 7 9 9 11","1 2 4 4 6 7","2 2 3 4 4 6 7 9 9 9","1 2 2 4 6 7 7 9","2 4 4 6 8 10 12 14","3 5 5 6 6","2 2 2 4 4 6 8","1 1 1 2 4 4 4","1 1 2 3 3 5 5 6 7 7 7 8","1 1 3 4 5 5 6 7 9 9 10 11","2 3 3 4 4 6 6 7 7","1 1 3 4 6 6 8 9 9 11 11 12","2 3 4 6 6 7 7 8 10","1 2 4 6 8 9 11 13 14 15","3 4 4 5 7 9","2 4 6 7 8 10","1 1 2 3 5 6 6 8","2 4 4 4 6 7 7","1 1 3 4 4 5 5 6 7 7 8 9","1 2 4 5 5 5","1 3 5 5 7 7 8 8","1 1 2 3 4 6 8 9 9 10 12","3 4 4 5 5 7 7","1 1 1 3 4 5 7 8 10 12 13 15","1 1 1 2 2 4 5 5","1 3 4 6 6 7 9 10 10","1 2 3 5 7 7 9 10 10 10 12","1 2 2 2 2 3 4","3 5 7 9 10 10 12 12"}
Returns: 263
{"1 2 3 3 5 6 7 9 11 13","1 1 2 4 4 6 7","3 3 5 7 8 8 8 9","1 1 2 3 4 5 5","3 3 3 5 6 7 7","1 3 4 5 6 8 10 11 11 11 12 13 14","1 3 5 6 6 6 7 7 7 7 8 9","3 3 5 6 6 7 7 9 9 10","2 4 6 8 10 11 13 13 13","2 2 2 4 4 4 6 6 7 8","2 3 4 6 6 6 6 7 8","3 5 5 7 8 10 10","3 3 4 4 4 6 8 8 9 11","2 2 2 3 3 5 7 7 7 7","1 1 2 3 4 6 6 6 8","1 2 2 4 4","3 5 5 6 6 7","3 3 5 7 8 8","2 4 5 7 8 9","2 3 5 7 8 9 10 10 11 11 13","1 2 3 5 5 6 7 8 9 10","1 3 4 4 4 5 6 8 9","2 2 2 4 4 6 6","1 1 1 1 2","3 3 4 4 5 7","1 2 4 4 6","1 1 1 1 3 5 5 7 8 8 9","1 3 5 5 6 6 8","1 2 4 4 4 4 6","1 3 4 4 4 5"}
Returns: 152
{"2 4 5 6 6 7","2 4 6 8 8 8 9 11 11 12","1 2 4 4 5 6","1 2 2 3 4 4 6","2 4 4 4 5 6 7 8","3 3 4 5 5 6 6 8 8","2 2 2 3 3 3 4","3 3 3 5 5 7 8 9 11 11","1 1 2 3 3 3 5 6 8 9 11 13","3 5 6 8 9 10 12","1 1 2 2 4 5 5 5","1 2 2 3 4 6 8 10 11","2 3 4 6 6 6 8 9 11","3 5 6 6 7 8 9 9 9 9 10 10","1 2 2 4 4 6 7 9 10 12 14","1 1 2 3 4 5 5 5 6","2 2 3 4 6 8 10 12","3 3 4 6 7 8 10 10 11 13 13","3 5 7 9 11 11","3 3 3 5 5 7 8 10 12 12 14 14 14","2 3 4 4 5 5 7 7 9 10 12","2 4 4 6 7 9 10 12","1 3 5 5 5 5 5 7","3 4 5 5 5 7 9 9 10","1 3 5 5 6","1 3 3 3 3 3 3 3 4 5","1 2 3 3 3 3 4 6 7","3 5 7 9 9 11 12","2 2 2 2 2 2 3 5 6","2 4 5 6 8 10 10 12 12","3 3 5 7 9","2 4 6 7 8 9 9 11 13 14","3 4 4 4 5 7 9 9 10 10 11","2 2 3 5 7 9 11 12 14 15","1 1 1 1 3 3","1 1 1 2 4 6 7 8","3 4 4 4 6 7 7 9 11 13 13 13","2 4 6 6 8 9 10","3 4 4 6 6 6 8","1 2 4 6 8 10 11 12 12 14","3 5 6 7 7 7 9 9 11","2 3 4 5 5 7 9 10","3 3 3 4 4 4 6 7","3 3 5 7 7"}
Returns: 251
{"3 5 5 6 6 8 10","2 3 3 3 3 4 4 5 6 6","3 4 6 7 9 9 11","3 4 6 7 8 10","2 4 6 7 7 7 9","3 3 3 4 6 6 8 10 10 10 12","2 4 4 5 6 6 6 8","3 3 5 6 7","1 1 3 3 4 5 7","1 1 2 2 3 4","3 5 5 7 9 9 11 13 14 14 16","3 4 6 7 9 11 13 13 15 17 18 18","2 4 5 5 7 9 10 11 13 14","2 3 3 3 3 5 7 7 9 10 11","1 1 1 2 2 4 6 7 7","3 5 6 8 9 11","2 3 4 6 7 8 8 8","1 2 2 3 4 4 6 7","2 4 4 5 7 8","2 2 3 3 5 5","3 5 5 6 6 7 7","2 4 4 5 5 6 6","3 5 5 6 6 7","1 3 4 4 5 7 9","2 3 3 4 5 6 7 9 9 9","2 4 4 5 7 8 10","3 3 3 3 5 5 7 8 10 11 11","2 4 6 8 8 10 10 12 14 16 18","2 2 2 2 2 3 3 3 5","3 3 5 5 6","1 3 4 5 6 7 8 10 11 13","2 2 4 5 7","2 4 5 7 9","1 1 1 1 2 2 4 5 6 6 7","2 2 4 6 6 7 9 10 10 12","3 5 5 5 6 7 9","3 3 5 7 7 9 9 11","1 1 1 1 2 3 3","2 2 4 4 5 6 6 7 7 9","1 1 2 4 4 4 4 4 6","1 1 1 2 2 4 5 7 8","3 4 5 5 7 8 8 10","3 5 5 6 8 10 10","2 2 3 3 4 4 4","2 4 4 4 4 5 5 7","1 3 3 4 6 7 7 7 8 9","2 2 3 5 5 6 8 9 10","2 3 5 6 8 10 11","3 3 5 6 7 7 8","3 4 4 5 6 8 10 12 13 13 14 14"}
Returns: 268
{"3 5 7 8 9 11 12 14","2 3 5 7 8 8 9 9"}
Returns: 5
{"3 4 5 6 8 10 12 12","1 1 2 4 4 4 6 8","1 3 4 6 8 8 10 11","3 4 6 8 10","2 3 4 6 8 10","2 2 2 3 3 4 4","2 2 4 4 6 7 8 8 9","2 3 5 6 6 6","2 4 6 6 6 7 9 10 10 10 12","2 3 3 5 7 7 7 8 8 10","1 2 2 4 4 5 7 8","3 4 4 6 7 8 10 12","1 2 3 5 6 8 8 8 8 9","2 3 3 4 5 7 9 10 12","2 4 6 7 8 8 10 12 14 14 16","2 4 5 6 6 7","2 2 2 3 4","1 2 4 5 7 8 8 8 9","3 3 3 4 5 6 7 8","1 2 2 2 4 6 7 9 11","3 5 7 9 11 11 12 13 14 14","3 5 7 8 8 10 12 14 14 16 16","1 2 4 5 7","3 3 5 5 6 6","1 2 2 4 6 7 9 10 11 13","2 3 5 6 8 8 8","2 3 4 5 5 5 5 6 8 8 8 8","2 2 4 4 5 7 8 10 10 10","1 3 4 4 5 7 8 10 12 13","3 5 6 7 9 9 9 9 10","2 3 3 5 6 8 9 10","1 3 5 5 5 5 5 6 7","2 4 4 4 5 6 7 7 9 10","3 5 7 8 8 10 11 12 13","1 3 4 4 6 7 9 10 10","2 2 2 4 4 4","3 4 6 6 7 9 9 11 12 13 13","3 5 5 7 8 8 9 9 11"}
Returns: 221
{"1 1 2 4 6 8","1 3 5 5 6 7 9 10 12 12","2 4 6 8 9 11 11 11 12 13","3 4 5 7 7 9","3 5 7 9 9 9 10 12 12","3 3 5 6 8 8 9","1 1 1 2 4 4 4 6","3 4 4 4 4 4 6 8 8 8","2 2 3 4 4 6 8 9 9 10 10","2 4 5 7 7 9 10 10 12 12","3 4 6 7 7 8 9 9 10","2 2 2 4 4 6 6 7","2 2 3 3 4 4","3 3 4 4 6 6 8 8 9","2 3 5 6 6 8 8 10","1 2 2 4 5 6 8 8 8","2 3 3 4 5 6 7 9 11 13 15 15","3 3 3 4 6 7","1 2 2 4 6 8 9 9","1 3 5 5 6 7 7","1 1 1 3 5 6 7 8 9","1 3 3 5 6 6 7 8 8","3 5 6 7 8 9 11 12 13","1 3 5 6 7 7 9 11 11"}
Returns: 131