the new canonical allocates

[kalmarek]

before #31:

┌ Info: allocated
│   k1 = 8408168
│   k2 = 983136
└   k2 / k1 = 0.11692630309004293

after #31:

┌ Info: allocated
│   k1 = 26030705
│   k2 = 18786592
└   k2 / k1 = 0.7217089202924009

CC: @blegat