public static void main(String[] args) {
        long startTime = System.currentTimeMillis();
        switch (args[0]) {
            case "1": {
                General.setParser(new LogicParser());
                work = new Checker1();
                break;
            }
            case "2": {
                General.setParser(new LogicParser());
                work = new Deduct2();
                break;
            }
            case "3": {
                General.setParser(new LogicParser());
                work = new Proof3();
                break;
            }
            case "4": {
                General.setParser(new PredicateParser());
                work = new Deduct4();
                break;
            }
            case "5": {
                General.setParser(new ArithmeticParser());
                work = new Checker5();
                break;
            }
            case "6": {
                break;
            }
            default:
                break;
        }
        try {
            in = new BufferedReader(new FileReader(args[1]));
            String[] arr = args[1].split("\\.");
            out = new PrintWriter(new FileWriter(arr[0] + ".out"));
            work.doSomething();
            in.close();

        } catch (FileNotFoundException e) {
            System.out.println("file not found");
            e.printStackTrace();
        } catch (IOException | LexingException | ParsingException | IncorrectProofException | ProofGeneratingException e) {
            e.printStackTrace();
        }
        long endTime = System.currentTimeMillis();
        out.println();
        //  out.println("... Программа завершила свою работу за " + (endTime - startTime) + " мс");
        out.close();
    }