nonpseudo.cir
