Formális módszerekkel

• illesztések: variánsokat kerülendő, leghosszabb ütemkezdet szekvenciák