-9479595domain: ZAppears in sequencesOutput of Knuth's "man or boy" test for varying k.at n=25A132343