Tunnistada põhiseaduse vastaseks ja kehtetuks kohtute seaduse § 132.7 lõige 2 ja Eesti keskmise palgaga seotud ametipalkade maksmise ajutise korralduse seaduse, kõrgemate riigiteenijate ametipalkade seaduse ja kohtute seaduse muutmise seaduse § 3 punkti 2 alusel kohtute seaduse § 82 kehtetuks tunnistamine osas, milles need ei võimalda alates 1. juulist 2013 ümber arvutada seniseid kohtunike vanaduspensione lähtuvalt 1. juulil 2013 jõustunud Riigikohtu liikme, ringkonnakohtu kohtuniku ning maa- ja halduskohtuniku ametipalgast