m=5

num=  1 fct=
size=       1 fix=319979520 

num=  2 fct=12
size=     155 fix=2064384 

num=  3 fct=123
size=    1240 fix=258048 

num=  4 fct=23+14
size=     868 fix=368640 

num=  5 fct=123+14
size=   26040 fix=12288 

num=  6 fct=1234
size=     496 fix=645120 

num=  7 fct=12+1234
size=   17360 fix=18432 

num=  8 fct=23+14+1234
size=   13888 fix=23040 

num=  9 fct=123+24+15
size=   52080 fix=6144 

num= 10 fct=234+15
size=   79360 fix=4032 

num= 11 fct=1234+15
size=   59520 fix=5376 

num= 12 fct=23+1234+15
size=  416640 fix=768 

num= 13 fct=134+125
size=   27776 fix=11520 

num= 14 fct=23+134+125
size=  416640 fix=768 

num= 15 fct=34+134+125
size=  277760 fix=1152 

num= 16 fct=1234+125
size=   34720 fix=9216 

num= 17 fct=13+1234+125
size=  312480 fix=1024 

num= 18 fct=23+14+1234+125
size=  208320 fix=1536 

num= 19 fct=34+1234+125
size=  555520 fix=576 

num= 20 fct=134+1234+125
size=  416640 fix=768 

num= 21 fct=23+134+1234+125
size= 1249920 fix=256 

num= 22 fct=34+134+1234+125
size= 1666560 fix=192 

num= 23 fct=24+124+134+125+35
size=  166656 fix=1920 

num= 24 fct=1234+125+35
size= 3333120 fix=96 

num= 25 fct=14+1234+125+35
size= 9999360 fix=32 

num= 26 fct=1234+235+145
size= 4444160 fix=72 

num= 27 fct=23+1234+235+145
size=  444416 fix=720 

num= 28 fct=12+23+1234+235+145
size= 6666240 fix=48 

num= 29 fct=13+24+1234+235+145
size= 2666496 fix=120 

num= 30 fct=12345
size=      32 fix=9999360 

num= 31 fct=12+12345
size=    4960 fix=64512 

num= 32 fct=123+12345
size=    4960 fix=64512 

num= 33 fct=12+123+12345
size=   34720 fix=9216 

num= 34 fct=23+14+12345
size=   27776 fix=11520 

num= 35 fct=123+14+12345
size=  416640 fix=768 

num= 36 fct=23+123+14+12345
size=  416640 fix=768 

num= 37 fct=123+24+15+12345
size= 1666560 fix=192 

num= 38 fct=234+15+12345
size=  317440 fix=1008 

num= 39 fct=23+234+15+12345
size= 2222080 fix=144 

num= 40 fct=134+125+12345
size=  277760 fix=1152 

num= 41 fct=12+134+125+12345
size=  166656 fix=1920 

num= 42 fct=23+134+125+12345
size= 4999680 fix=64 

num= 43 fct=34+134+125+12345
size= 2222080 fix=144 

num= 44 fct=12+34+134+125+12345
size= 6666240 fix=48 

num= 45 fct=23+14+134+15+125+12345
size= 1666560 fix=192 

num= 46 fct=34+234+15+125+12345
size=  444416 fix=720 

num= 47 fct=13+34+234+15+125+12345
size= 6666240 fix=48 

num= 48 fct=24+124+134+125+35+12345
size= 5332992 fix=60