kolmogorov-complexity public under quantity 102 List Picture As a command %3 n0 kolmogorov-complexity n1 quantity n1->n0