2,3,8,22より、
(e,x,x,x,a)
(d,x,c,x,x)
(b,x,x,a,x)
(c,b,x,e,x)
(a,a,d,x,x)
7より、
(x,x,e,b,x)
(x,x,e,b,x)≠(d,x,c,x,x),(b,x,x,a,x),(c,b,x,e,x),(a,a,d,x,x)なので、
(e,x,e,b,a)-23
3,8,22,23より、
(e,x,e,b,a)
(d,x,c,x,x)
(b,x,x,a,x)
(c,b,x,e,x)
(a,a,d,x,x)
4より、
(x,c,a,x,x)
(x,c,a,x,x)≠(e,x,e,b,a),(d,x,c,x,x),(c,b,x,e,x),(a,a,d,x,x)なので、
(b,c,a,a,x)-24
3,8,22,23,24より、
(e,x,e,b,a)
(d,x,c,x,x)
(b,c,a,a,x)
(c,b,x,e,x)
(a,a,d,x,x)
22より、
(x,e,x,x,c)
(x,e,x,x,c)≠(e,x,e,b,a),(b,c,a,a,x),(c,b,x,e,x),(a,a,d,x,x)なので、
(d,e,c,x,c)-25