30111110domain: NAppears in sequencesRoots of reversible pandigital square numbers.at n=13A359347Irregular triangle read by rows: row n lists the lines of the shortest proof for the MIU formal system string (theorem) given by A369173(n+1).at n=30A369586