% References cited in https://agora.t9k.dev/t/120/polynomial-time-scheduling-on-three-identical-machines