>>215
総当りでのコーディング

pm=RcppAlgos::permuteGeneral(6)
gr=as.matrix(expand.grid(1:720,1:720,1:720))
f=\(x){
pts=order(pm[x[1],])*order(pm[x[2],])*order(pm[x[3],])
c(12 %in% pts,min(pts)==12)
}
re=apply(gr,1,f)
sum(re[2,])/sum(re[1,])