1
8646071025430235692572306890072717030146724518193248646261116875039232350406
4122598473575016156709489555875867462346177817327218448788050480708550298957
4471483457937988438791783450144642834886864800778387328738323763398284354678
2467335026575150468969
1315427338504929671669092893786176891908548434593143202526362264344662102688
7135460507830403502328150530572701695452361942348769947362008712123081217734
3187588697310977671154801113558915889945842493651964099879750098080254447377
4788789260448084624118833910204856780861639068659823549617824714773817253043
9615105518523078574457183315543226124650052897717744601504125318067437912564
426796827005538082281337283642237399241533
  ***   at top-level: numbpart(10^15+2)
  ***                 ^-----------------
  *** numbpart: overflow in numbpart [n < 10^15].
[Vecsmall([])]
[Vecsmall([1])]
[Vecsmall([9]), Vecsmall([1, 8]), Vecsmall([2, 7]), Vecsmall([3, 6]), Vecsma
ll([4, 5]), Vecsmall([1, 1, 7]), Vecsmall([1, 2, 6]), Vecsmall([1, 3, 5]), V
ecsmall([1, 4, 4]), Vecsmall([2, 2, 5]), Vecsmall([2, 3, 4]), Vecsmall([3, 3
, 3]), Vecsmall([1, 1, 1, 6]), Vecsmall([1, 1, 2, 5]), Vecsmall([1, 1, 3, 4]
), Vecsmall([1, 2, 2, 4]), Vecsmall([1, 2, 3, 3]), Vecsmall([2, 2, 2, 3]), V
ecsmall([1, 1, 1, 1, 5]), Vecsmall([1, 1, 1, 2, 4]), Vecsmall([1, 1, 1, 3, 3
]), Vecsmall([1, 1, 2, 2, 3]), Vecsmall([1, 2, 2, 2, 2]), Vecsmall([1, 1, 1,
 1, 1, 4]), Vecsmall([1, 1, 1, 1, 2, 3]), Vecsmall([1, 1, 1, 2, 2, 2]), Vecs
mall([1, 1, 1, 1, 1, 1, 3]), Vecsmall([1, 1, 1, 1, 1, 2, 2]), Vecsmall([1, 1
, 1, 1, 1, 1, 1, 2]), Vecsmall([1, 1, 1, 1, 1, 1, 1, 1, 1])]
[Vecsmall([3, 3, 3]), Vecsmall([1, 2, 3, 3]), Vecsmall([2, 2, 2, 3]), Vecsma
ll([1, 1, 1, 3, 3]), Vecsmall([1, 1, 2, 2, 3]), Vecsmall([1, 2, 2, 2, 2]), V
ecsmall([1, 1, 1, 1, 2, 3]), Vecsmall([1, 1, 1, 2, 2, 2]), Vecsmall([1, 1, 1
, 1, 1, 1, 3]), Vecsmall([1, 1, 1, 1, 1, 2, 2]), Vecsmall([1, 1, 1, 1, 1, 1,
 1, 2]), Vecsmall([1, 1, 1, 1, 1, 1, 1, 1, 1])]
[]
[]
[]
[]
[Vecsmall([0, 1, 1, 1])]
[Vecsmall([0, 1, 1, 2]), Vecsmall([1, 1, 1, 1])]
[Vecsmall([0, 1, 1, 3]), Vecsmall([0, 1, 2, 2]), Vecsmall([1, 1, 1, 2])]
[1, 4]
[2, 3]
[1, 1, 3]
[1, 2, 2]
[0, 0, 1, 4]
[0, 0, 2, 3]
[0, 1, 1, 3]
[0, 1, 2, 2]
[1, 1, 1, 2]
451276
[9]
[1, 8]
[2, 7]
[3, 6]
[4, 5]
[1, 1, 7]
[1, 2, 6]
[1, 3, 5]
[1, 4, 4]
[2, 2, 5]
[2, 3, 4]
[3, 3, 3]
[1, 1, 1, 6]
[1, 1, 2, 5]
[1, 1, 3, 4]
[1, 2, 2, 4]
[1, 2, 3, 3]
[2, 2, 2, 3]
[1, 1, 1, 1, 5]
[1, 1, 1, 2, 4]
[1, 1, 1, 3, 3]
[1, 1, 2, 2, 3]
[1, 2, 2, 2, 2]
[1, 1, 1, 1, 1, 4]
[1, 1, 1, 1, 2, 3]
[1, 1, 1, 2, 2, 2]
[1, 1, 1, 1, 1, 1, 3]
[1, 1, 1, 1, 1, 2, 2]
[1, 1, 1, 1, 1, 1, 1, 2]
[1, 1, 1, 1, 1, 1, 1, 1, 1]
[11]
[1, 10]
[2, 9]
[3, 8]
[4, 7]
[5, 6]
[1, 1, 9]
[1, 2, 8]
[1, 3, 7]
[1, 4, 6]
[1, 5, 5]
[2, 2, 7]
[2, 3, 6]
[2, 4, 5]
[3, 3, 5]
[3, 4, 4]
[1, 1, 1, 8]
[1, 1, 2, 7]
[1, 1, 3, 6]
[1, 1, 4, 5]
[1, 2, 2, 6]
[1, 2, 3, 5]
[1, 2, 4, 4]
[1, 3, 3, 4]
[2, 2, 2, 5]
[2, 2, 3, 4]
[2, 3, 3, 3]
[1, 1, 1, 1, 7]
[1, 1, 1, 2, 6]
[1, 1, 1, 3, 5]
[1, 1, 1, 4, 4]
[1, 1, 2, 2, 5]
[1, 1, 2, 3, 4]
[1, 1, 3, 3, 3]
[1, 2, 2, 2, 4]
[1, 2, 2, 3, 3]
[2, 2, 2, 2, 3]
[1, 11]
[2, 10]
[3, 9]
[4, 8]
[5, 7]
[6, 6]
[1, 1, 10]
[1, 2, 9]
[1, 3, 8]
[1, 4, 7]
[1, 5, 6]
[2, 2, 8]
[2, 3, 7]
[2, 4, 6]
[2, 5, 5]
[3, 3, 6]
[3, 4, 5]
[4, 4, 4]
[1, 1, 1, 9]
[1, 1, 2, 8]
[1, 1, 3, 7]
[1, 1, 4, 6]
[1, 1, 5, 5]
[1, 2, 2, 7]
[1, 2, 3, 6]
[1, 2, 4, 5]
[1, 3, 3, 5]
[1, 3, 4, 4]
[2, 2, 2, 6]
[2, 2, 3, 5]
[2, 2, 4, 4]
[2, 3, 3, 4]
[3, 3, 3, 3]
[1, 1, 1, 1, 8]
[1, 1, 1, 2, 7]
[1, 1, 1, 3, 6]
[1, 1, 1, 4, 5]
[1, 1, 2, 2, 6]
[1, 1, 2, 3, 5]
[1, 1, 2, 4, 4]
[1, 1, 3, 3, 4]
[1, 2, 2, 2, 5]
[1, 2, 2, 3, 4]
[1, 2, 3, 3, 3]
[2, 2, 2, 2, 4]
[2, 2, 2, 3, 3]
[1, 1, 1, 1, 1, 7]
[1, 1, 1, 1, 2, 6]
[1, 1, 1, 1, 3, 5]
[1, 1, 1, 1, 4, 4]
[1, 1, 1, 2, 2, 5]
[1, 1, 1, 2, 3, 4]
[1, 1, 1, 3, 3, 3]
[1, 1, 2, 2, 2, 4]
[1, 1, 2, 2, 3, 3]
[1, 2, 2, 2, 2, 3]
[2, 2, 2, 2, 2, 2]
[5, 6, 6, 6]
[3, 3, 5, 6, 6]
[3, 4, 4, 6, 6]
[3, 4, 5, 5, 6]
[3, 5, 5, 5, 5]
[4, 4, 4, 5, 6]
[4, 4, 5, 5, 5]
[3, 3, 3, 3, 5, 6]
[3, 3, 3, 4, 4, 6]
[3, 3, 3, 4, 5, 5]
[3, 3, 4, 4, 4, 5]
[3, 4, 4, 4, 4, 4]
[3, 3, 3, 3, 3, 3, 5]
[3, 3, 3, 3, 3, 4, 4]
[0, 0, 0, 2, 3]
[0, 0, 1, 1, 3]
[0, 0, 1, 2, 2]
[0, 1, 1, 1, 2]
[1, 1, 1, 1, 1]
[0, 0, 3, 3, 3, 3, 3]
[0, 1, 2, 3, 3, 3, 3]
[0, 2, 2, 2, 3, 3, 3]
[1, 1, 1, 3, 3, 3, 3]
[1, 1, 2, 2, 3, 3, 3]
[1, 2, 2, 2, 2, 3, 3]
[2, 2, 2, 2, 2, 2, 3]
Total time spent: 2560
