minX00min0Y0minsUsVsminUVdiffW0Wdiff0PPdiffsX1sY1diffX1Y1gcdsU10sU1gcd0sV1sV1gcdsW1sP1gcddiffW1P1sminW1P1collapsenil0collapseconsF2Y2F2collapseY2build0nilbuildsU2cons%Xnatgcd%XU2buildU2XnatYnatUnatVnatWnatPnatX1natY1natU1natV1natW1natP1natF2natnatY2listU2nat0natbuildnatlistcollapselistnatconsnatnatlistlistdiffnatnatnatgcdnatnatnatminnatnatnatnillistsnatnatFULLbenchmarks/mine/collapse.afsm