已知项已通过穷举搜索找到，然后使用<a，b，…>+-等断言证明不是素数（n）-光滑数的差a（n）！==<c、 d，…>（模m）表示由a、b、……生成的Z/m子群中没有元素，。。。加到a（n）上的是同余模m与<c，d，…>生成的子群元素。例如：<2>+-41！==<3> （mod 91）和41+1不是3-光滑的事实足以证明41不是3-光滑数的差<2> + 281 !== <3,5>（13981年款），<2>-281！==<3,5>（76627型）和<3>+-281！==<2,5>以及281+1不是5-光滑的事实足以表明281不是5-光滑数的差异。随着n的增加，证明变得更加困难。例如，<2，11>+9007！==<3、5、7>（型号308859288230831）或<2,5,7>+35803！==<3,11,13>（修改日期：2219897250633559197203）。
接下来的几个项被推测为15885768117925165091077212351292187186323681；如果不是，他们将提供质量大于2的ABC-三联体的例子。
