તેમાં નાયબ મામલતદારોના પગાર અને અન્ય વધારાના ખર્ચનો સમાવેશ થતો હોવાનું સૂત્રોએ જણાવ્યું હતું.