Судя по всему, arg2 "циклически вращается": на каждом вызове уменьшается на 2 в диапазоне [1..12]. Когда он проходит полный цикл, arg3 уменьшается.

Сделано так хитро, наверное, потому что сначала arg2 переводится из "базы 1" в "базу 0" и _увеличивается_, потом это увеличение берется по модулю, а потом значение возвращается в "базу 1". А величение по сути оказывается уменьшением потому что оно по размеру больше половины модуля.

А вот что они потом с ним делают - непонятно. Что-нибудь типа генерации псевдослучайных чисел в диапазое [0..6]?