Decimation is what happened to Roman regiments which chose the wrong side and were defeated in Rome’s endless internal struggles. Every tenth man would be executed as punishment.
No of vertices is proportional to the inverse square of the decimation no? 0.5 gives 4x. So does 2 give 1/4x, 3 gives 1/9x ?