TEST DATA FOR `eatpuz'
A Zip file of this data
is available.
Input for test 1
40 6
7 13 17 19 29 31
Output for test 1
39
Input for test 2
60 7
20 45 7 37 37 47 7
Output for test 2
59
Input for test 3
155 9
96 103 121 83 106 62 67 61 148
Output for test 3
150
Input for test 4
777 10
252 167 391 665 172 623 314 453 385 500
Output for test 4
776
Input for test 5
9532 12
8452 2877 8038 2783 1340 4690 1083 4093 5688 1285 2603 7912
Output for test 5
9501
Input for test 6
15333 13
5687 488 8584 8098 3853 5576 5159 10577 14383 1841 4335 1922 12746
Output for test 6
15329
Input for test 7
22000 15
18465 13499 7230 6723 6246 12709 2545 17516 14503 2747 13408 14177 4859 2368 15902
Output for test 7
21977
Input for test 8
35000 16
22735 19451 22232 30650 25588 30174 12497 32745 33255 15998 15352 16679 34730 20137 5376 15007
Output for test 8
34803
Input for test 9
35000 18
20099 26090 5856 28106 16680 20400 25247 27167 30188 17406 29423 10234 26816 22723 29008 16530 19446 29796
Output for test 9
34864
Input for test 10
35000 19
24116 13063 5132 34190 33170 23664 3662 19104 4389 12890 10445 30290 27283 18734 15862 34614 11232 18848 32132
Output for test 10
34966
Input for test 11
35000 20
16720 27233 27830 16924 5058 27556 18018 4677 14288 21044 3914 17294 10010 27812 15271 7309 34601 16373 8277 29701
Output for test 11
34974
Input for test 12
35000 21
19081 2232 9901 11697 6721 19390 16172 22243 17322 18462 10261 14276 29278 25809 9008 10156 9104 12181 31794 15936 19079
Output for test 12
34989