Function logos_outer_program 

pub fn logos_outer_program(rows: usize, cols: usize) -> String

A canonical LOGOS outer product c[i·cols + j] = a[i]·b[j] (rows × cols) as the nest the tensor recognizer reads; it shows Σ (t + 1)·c[t], a checksum a transposed store does not reproduce.