3031323334353637383940
} private static Terms union(Terms t1, Terms t2) { Terms terms = new Terms(); terms.addAll(t1); terms.addAll(t2); return terms; } }
31323334353637383940