Какой возможный срок Навальному по делу «Ив Роше»?

Давайте представим себе гипотетическую ситуацию, что закон имеет обратную силу, что суд в начале февраля наплюет на решение суда ЕСПЧ, что адвокаты оппозиционного политика Алексея Навального не смогут предоставить справку об амбулаторном лечении ну и так далее.

Суть дела такова.

30 декабря 2014 года Алексей Навальный был приговорен к 3,5 годам лишения свободы условно, с испытательным сроком в 5 лет.

В последствии испытательный срок был продлен еще на один год

То есть до 30 декабря 2020 года.

Так что в игре эти 3,5 года условно.

Однако, если я не ошибаюсь, время домашнего ареста вычитается из из срока заключения.

Так что если в 2014 году Алексей Навальный находился в период следствия под домашним арестом то, как я понимаю, максимально возможный срок будет не три с половиной года, а намного меньше.

Надеюсь, что те кто лучше понимает в юристпруденции внесут уточнения.