this is repository for VeriPrinter project