One computer mainly looks at varieties and orders, and the other computer looks for K-line diagrams of related varieties.

It's not necessary now. It's a little cold. In fact, this thing still depends on itself. We usually have a computer here.