text: public static Formula Create(Ptg[] ptgs){if (ptgs == null || ptgs.Length < 1){return EMPTY;}int totalSize = Ptg.GetEncodedSize(ptgs);byte[] encodedData = new byte[totalSize];Ptg.SerializePtgs(ptgs, encodedData, 0);int encodedTokenLen = Ptg.GetEncodedSizeWithoutArrayData(ptgs);return new Formula(encodedData, encodedTokenLen);}