> read `c:\\maplev4\\matikka\\format.txt`;
> # read `c:\\matikka\\Nekomorphisms\\test2056.txt`;
> nops(A0072088);

                                 2057

rajoittumat binääripuihin!

> format(A0072088,72088);
%I A072088
%S A072088 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,19,16,17,18,15,20,21,22,23,24,25,26,27,28,33,30,31,32,29,
%T A072088 34,35,36,37,51,38,56,60,42,47,44,45,46,53,48,49,50,39,41,43,54,61,40,57,58,59,52,55,62,63,
%U A072088 64,65,66,67,68,69,70,75,72,73,74,71,76,77,78,79,93,80,98,102,84,89,86,87,88,95,90,91,92,81
%N A072088 Permutation of natural numbers induced by the automorphism gt-bf->df acting on the parenthesizations encoded by A014486.
%R A072088
%O A072088 0,3
%K A072088 nonn,new
%A A072088 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%D A072088
%p A072088

> format(A0072089,72089);
%I A072089
%S A072089 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,19,16,17,18,15,20,21,22,23,24,25,26,27,28,33,30,31,32,29,
%T A072089 34,35,36,37,39,51,56,52,42,53,44,45,46,43,48,49,50,38,60,47,54,61,40,57,58,59,41,55,62,63,
%U A072089 64,65,66,67,68,69,70,75,72,73,74,71,76,77,78,79,81,93,98,94,84,95,86,87,88,85,90,91,92,80
%N A072089 Permutation of natural numbers induced by the automorphism gt-df->bf acting on the parenthesizations encoded by A014486.
%R A072089
%O A072089 0,3
%K A072089 nonn,new
%A A072089 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%D A072089
%p A072089

> format(A0072090,72090);
%I A072090
%S A072090 0,1,3,2,7,8,4,5,6,17,18,20,21,22,10,9,11,12,13,14,15,19,16,45,46,48,49,50,54,55,57,58,59,61,
%T A072090 62,63,64,26,27,23,24,25,29,28,30,31,32,33,34,35,36,38,37,39,40,41,51,52,56,60,42,43,44,47,
%U A072090 53,129,130,132,133,134,138,139,141,142,143,145,146,147,148,157,158,160,161,162,166,167,169
%N A072090 Permutation of natural numbers induced by the automorphism cdr_robr_car! acting on the parenthesizations encoded by A014486.
%R A072090
%O A072090 0,3
%K A072090 nonn,new
%A A072090 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072090 Inverse permutation: A072091, and also its car/cdr-flipped conjugate, i.e. A072090(n) = A057163(A072091(A057163(n))). Cf. also A071655-A071660, A072092-A072095
%D A072090
%o A072090 (Scheme function implementing this automorphism on list-structures:)
%o A072090 (define (cdr_robr_car! s) (cond ((not (pair? s))) ((not (pair? (car s))) (swap! s)) (else (cdr_robr_car! (cdr s)) (robr! s) (cdr_robr_car! (car s)))) s)
%o A072090 (define (robr! s) (let ((ex-cdr (cdr s))) (set-cdr! s (caar s)) (set-car! (car s) ex-cdr) (swap! (car s)) (swap! s) s))
%o A072090 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))



> format(A0072091,72091);
%I A072091
%S A072091 0,1,3,2,6,7,8,4,5,15,14,16,17,18,19,20,22,9,10,21,11,12,13,39,40,41,37,38,43,42,44,45,46,47,
%T A072091 48,49,50,52,51,53,54,55,60,61,62,23,24,63,25,26,27,56,57,64,28,29,58,30,31,32,59,33,34,35,
%U A072091 36,113,112,114,115,116,117,118,120,107,108,119,109,110,111,123,124,125,121,122,127,126,128
%N A072091 Permutation of natural numbers induced by the automorphism car_robl_cdr! acting on the parenthesizations encoded by A014486.
%R A072091
%O A072091 0,3
%K A072091 nonn,new
%A A072091 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072091 Inverse permutation: A072090, and also its car/cdr-flipped conjugate, i.e. A072091(n) = A057163(A072090(A057163(n))). Cf. also A071655-A071660, A072092-A072095
%D A072091
%o A072091 (Scheme function implementing this automorphism on list-structures:)
%o A072091 (define (car_robl_cdr! s) (cond ((not (pair? s))) ((not (pair? (cdr s))) (swap! s)) (else (car_robl_cdr! (car s)) (robl! s) (car_robl_cdr! (cdr s)))) s)
%o A072091 (define (robl! s) (let ((ex-car (car s))) (set-car! s (cddr s)) (set-cdr! (cdr s) ex-car) (swap! (cdr s)) (swap! s) s))
%o A072091 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))

> format(A0072092,72092);
%I A072092
%S A072092 0,1,3,2,7,8,4,6,5,17,18,20,21,22,9,10,14,19,16,11,12,15,13,45,46,48,49,50,54,55,57,58,59,61,
%T A072092 62,63,64,23,24,25,26,27,37,38,51,56,60,42,44,53,47,28,29,30,31,32,39,40,43,52,33,34,35,41,
%U A072092 36,129,130,132,133,134,138,139,141,142,143,145,146,147,148,157,158,160,161,162,166,167,169
%N A072092 Permutation of natural numbers induced by the automorphism car_robr_car! acting on the parenthesizations encoded by A014486.
%R A072092
%O A072092 0,3
%K A072092 nonn,new
%A A072092 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072092 Inverse permutation: A072093. The car/cdr-flipped conjugate of A072095, i.e. A072092(n) = A057163(A072095(A057163(n))). Cf. also A071655-A071660, A072090-A072091
%D A072092
%o A072092 (Scheme function implementing this automorphism on list-structures:)
%o A072092 (define (car_robr_car! s) (cond ((not (pair? s))) ((not (pair? (car s))) (swap! s)) (else (car_robr_car! (car s)) (robr! s) (car_robr_car! (car s)))) s)
%o A072092 (define (robr! s) (let ((ex-cdr (cdr s))) (set-cdr! s (caar s)) (set-car! (car s) ex-cdr) (swap! (car s)) (swap! s) s))
%o A072092 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))



> format(A0072093,72093);
%I A072093
%S A072093 0,1,3,2,6,8,7,4,5,14,15,19,20,22,16,21,18,9,10,17,11,12,13,37,38,39,40,41,51,52,53,54,55,60,
%T A072093 61,62,64,42,43,56,57,63,47,58,48,23,24,50,25,26,27,44,59,49,28,29,45,30,31,32,46,33,34,35,
%U A072093 36,107,108,109,110,111,112,113,114,115,116,117,118,119,120,149,150,151,152,153,154,155,156
%N A072093 Permutation of natural numbers induced by the automorphism car_robl_car! acting on the parenthesizations encoded by A014486.
%R A072093
%O A072093 0,3
%K A072093 nonn,new
%A A072093 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072093 Inverse permutation: A072092. The car/cdr-flipped conjugate of A072094, i.e. A072093(n) = A057163(A072094(A057163(n))). Cf. also A071655-A071660, A072090-A072091
%D A072093
%o A072093 (Scheme function implementing this automorphism on list-structures:)
%o A072093 (define (car_robl_car! s) (cond ((not (pair? s))) ((not (pair? (cdr s))) (swap! s)) (else (car_robl_car! (car s)) (robl! s) (car_robl_car! (car s)))) s)
%o A072093 (define (robl! s) (let ((ex-car (car s))) (set-car! s (cddr s)) (set-cdr! (cdr s) ex-car) (swap! (cdr s)) (swap! s) s))
%o A072093 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))


> format(A0072094,72094);
%I A072094
%S A072094 0,1,3,2,7,8,5,4,6,17,18,20,21,22,13,12,10,9,11,15,14,16,19,45,46,48,49,50,54,55,57,58,59,61,
%T A072094 62,63,64,35,36,32,31,34,26,27,24,23,25,29,28,30,33,41,40,38,37,39,43,42,44,47,52,51,53,56,
%U A072094 60,129,130,132,133,134,138,139,141,142,143,145,146,147,148,157,158,160,161,162,166,167,169
%N A072094 Permutation of natural numbers induced by the automorphism cdr_robr_cdr! acting on the parenthesizations encoded by A014486.
%R A072094
%O A072094 0,3
%K A072094 nonn,new
%A A072094 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072094 Inverse permutation: A072095. The car/cdr-flipped conjugate of A072093, i.e. A072094(n) = A057163(A072093(A057163(n))). Cf. also A071655-A071660, A072090-A072091
%D A072094
%o A072094 (Scheme function implementing this automorphism on list-structures:)
%o A072094 (define (cdr_robr_cdr! s) (cond ((not (pair? s))) ((not (pair? (car s))) (swap! s)) (else (cdr_robr_cdr! (cdr s)) (robr! s) (cdr_robr_cdr! (cdr s)))) s)
%o A072094 (define (robr! s) (let ((ex-cdr (cdr s))) (set-cdr! s (caar s)) (set-car! (car s) ex-cdr) (swap! (car s)) (swap! s) s))
%o A072094 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))



> format(A0072095,72095);
%I A072095
%S A072095 0,1,3,2,7,6,8,4,5,17,16,18,15,14,20,19,21,9,10,22,11,12,13,45,44,46,42,43,48,47,49,40,39,50,
%T A072095 41,37,38,54,53,55,52,51,57,56,58,23,24,59,25,26,27,61,60,62,28,29,63,30,31,32,64,33,34,35,
%U A072095 36,129,128,130,127,126,132,131,133,121,125,134,122,124,123,138,137,139,135,136,141,140,142
%N A072095 Permutation of natural numbers induced by the automorphism cdr_robl_cdr! acting on the parenthesizations encoded by A014486.
%R A072095
%O A072095 0,3
%K A072095 nonn,new
%A A072095 Antti.Karttunen (my_firstname.my_surname@iki.fi) MMM DD 2002
%Y A072095 Inverse permutation: A072094. The car/cdr-flipped conjugate of A072092, i.e. A072095(n) = A057163(A072092(A057163(n))). Cf. also A071655-A071660, A072090-A072091
%D A072095
%o A072095 (Scheme function implementing this automorphism on list-structures:)
%o A072095 (define (cdr_robl_cdr! s) (cond ((not (pair? s))) ((not (pair? (cdr s))) (swap! s)) (else (cdr_robl_cdr! (cdr s)) (robl! s) (cdr_robl_cdr! (cdr s)))) s)
%o A072095 (define (robl! s) (let ((ex-car (car s))) (set-car! s (cddr s)) (set-cdr! (cdr s) ex-car) (swap! (cdr s)) (swap! s) s))
%o A072095 (define (swap! s) (let ((ex-car (car s))) (set-car! s (cdr s)) (set-cdr! s ex-car) s))