Source code for DAIMA budget verification