Данные

• comparison.csv — по $n$: $E_2$, хищное правило («low»/«high»), Тода 2003, Тода 1962, семейство, лекция.
• e2_coloured.csv — $E^2$ по $(n,s,\text{цвет})$, $n\le150$ (цвет $=Q$-вес).
• sseq_qweight_S3_p3.csv — нестабильный Ext для $S^3$ при $p=3$ по $(n,s,e)$, как его печатает qgrade_dims; строки n,s,e,dim, $n=t-s$.
• e2_metalib.csv — прямой перебор метабиблиотеки по блокам $(n,s,\text{цвет})$: число слов, ранг дифференциала, размерность $E^2$, $n\le64$.
• sseq_S3_p3.csv — тот же Ext из sseq/ext без веса: строки n,s,dim, $n\le150$.
• differentials.json — дифференциалы хищного правила (оба заполнения и вариант с $d_5$).
• toda2003_S3.csv — наше прочтение столбца $S^3$ таблицы Тоды 2003 года.