#
# The notation c124__2_1_1_1__5_12_12_6 on the comment lines
# is based on the clause-representation used in the program
# http://www.research.att.com/~njas/sequences/a089839.c.txt
# which was used to compute this file.
# The binary expansion of integer given after 'c' gives the sizes of the
# clause-trees.
# E.g. the binary expansion of 124 is 1111100, and reading runs of bits from
# right to left, we get 2 and 5, so the first clause consists of
# source and destination trees of two internal nodes, and the second
# (the last non-default clause in this case) of the trees of
# five internal vertices.
# These sizes are also given as the first of four-tuples of integers
# that follow (2_1_1_1) and (5_12_12_6). The second and third integers
# in the tuples (here 1_1 and 12_12 respectively) refer to the local
# ranks of the source and destination trees.
# This can be converted to a global rank by adding A014137(clause_tree_size-1)
# to it. E.g. in the latter tuple the both trees have global rank
# A014137(5-1)+12 = 35.
# (The corresponding binary tree can be seen as the 35th item in the
# illustration http://www.research.att.com/~njas/sequences/a014486.ps.gz )
# The fourth integer refers the rank of permutation (in A060118 ranking
# ordering) used to permute the subtree-point leaves.
#
# A089840[0]: c0
0 0
# A089840[1]: c1__1_0_0_1
1 1
# A089840[3]: c3__2_0_0_2
2 3
# A089840[7]: c3__2_1_1_1
3 7
# A089840[15]: c4__2_0_1_4__1_0_0_1
4 15
# A089840[21]: c4__2_1_0_4__1_0_0_1
5 21
# A089840[27]: c7__3_0_0_6
6 27
# A089840[46]: c7__3_1_1_2
7 46
# A089840[92]: c7__3_3_3_2
8 92
# A089840[114]: c7__3_4_4_1
9 114
# A089840[149]: c8__3_0_3_13__1_0_0_1
10 149
# A089840[169]: c8__3_1_4_10__1_0_0_1
11 169
# A089840[225]: c8__3_3_0_19__1_0_0_1
12 225
# A089840[251]: c8__3_4_1_22__1_0_0_1
13 251
# A089840[299]: c15__4_0_0_24
14 299
# A089840[400]: c15__4_1_1_6
15 400
# A089840[638]: c15__4_3_3_6
16 638
# A089840[753]: c15__4_4_4_2
17 753
# A089840[1233]: c15__4_8_8_6
18 1233
# A089840[1348]: c15__4_9_9_2
19 1348
# A089840[1705]: c15__4_12_12_2
20 1705
# A089840[1823]: c15__4_13_13_1
21 1823
# A089840[1992]: c16__4_0_8_51__1_0_0_1
22 1992
# A089840[2097]: c16__4_1_9_37__1_0_0_1
23 2097
# A089840[2335]: c16__4_3_12_37__1_0_0_1
24 2335
# A089840[2451]: c16__4_4_13_34__1_0_0_1
25 2451
# A089840[2995]: c16__4_8_0_101__1_0_0_1
26 2995
# A089840[3128]: c16__4_9_1_115__1_0_0_1
27 3128
# A089840[3485]: c16__4_12_3_115__1_0_0_1
28 3485
# A089840[3607]: c16__4_13_4_118__1_0_0_1
29 3607
# A089840[3677]: c24__3_0_1_12__2_0_0_2
30 3677
# A089840[3771]: c24__3_1_0_12__2_0_0_2
31 3771
# A089840[4214]: c24__3_3_4_4__2_1_1_1
32 4214
# A089840[4307]: c24__3_4_3_4__2_1_1_1
33 4307
# A089840[4631]: c31__5_0_0_120
34 4631
# A089840[5254]: c31__5_1_1_24
35 5254
# A089840[6692]: c31__5_3_3_24
36 6692
# A089840[7393]: c31__5_4_4_6
37 7393
# A089840[10287]: c31__5_8_8_24
38 10287
# A089840[10988]: c31__5_9_9_6
39 10988
# A089840[13145]: c31__5_12_12_6
40 13145
# A089840[13860]: c31__5_13_13_2
41 13860
# A089840[20353]: c31__5_22_22_24
42 20353
# A089840[21054]: c31__5_23_23_6
43 21054
# A089840[23211]: c31__5_26_26_6
44 23211
# A089840[23926]: c31__5_27_27_2
45 23926
# A089840[29682]: c31__5_35_35_6
46 29682
# A089840[30397]: c31__5_36_36_2
47 30397
# A089840[33273]: c31__5_40_40_2
48 33273
# A089840[33991]: c31__5_41_41_1
49 33991
# A089840[34958]: c32__5_0_22_249__1_0_0_1
50 34958
# A089840[35599]: c32__5_1_23_171__1_0_0_1
51 35599
# A089840[37037]: c32__5_3_26_171__1_0_0_1
52 37037
# A089840[37742]: c32__5_4_27_157__1_0_0_1
53 37742
# A089840[40632]: c32__5_8_35_171__1_0_0_1
54 40632
# A089840[41337]: c32__5_9_36_157__1_0_0_1
55 41337
# A089840[43494]: c32__5_12_40_157__1_0_0_1
56 43494
# A089840[44210]: c32__5_13_41_154__1_0_0_1
57 44210
# A089840[51151]: c32__5_22_0_623__1_0_0_1
58 51151
# A089840[51948]: c32__5_23_1_701__1_0_0_1
59 51948
# A089840[54105]: c32__5_26_3_701__1_0_0_1
60 54105
# A089840[54838]: c32__5_27_4_715__1_0_0_1
61 54838
# A089840[60576]: c32__5_35_8_701__1_0_0_1
62 60576
# A089840[61309]: c32__5_36_9_715__1_0_0_1
63 61309
# A089840[64185]: c32__5_40_12_715__1_0_0_1
64 64185
# A089840[64907]: c32__5_41_13_718__1_0_0_1
65 64907
# A089840[65159]: c39__3_0_4_20__2_0_1_4__1_0_0_1
66 65159
# A089840[65252]: c39__3_1_3_20__2_0_1_4__1_0_0_1
67 65252
# A089840[65620]: c39__3_3_1_20__2_1_0_4__1_0_0_1
68 65620
# A089840[65713]: c39__3_4_0_20__2_1_0_4__1_0_0_1
69 65713
# A089840[66149]: c48__4_0_3_50__2_0_0_2
70 66149
# A089840[66836]: c48__4_1_4_36__2_0_0_2
71 66836
# A089840[68105]: c48__4_3_0_74__2_0_0_2
72 68105
# A089840[68840]: c48__4_4_1_84__2_0_0_2
73 68840
# A089840[73456]: c48__4_8_12_13__2_1_1_1
74 73456
# A089840[74165]: c48__4_9_13_10__2_1_1_1
75 74165
# A089840[76564]: c48__4_12_8_19__2_1_1_1
76 76564
# A089840[77285]: c48__4_13_9_22__2_1_1_1
77 77285
# A089840[84211]: c63__6_0_0_720
78 84211
# A089840[88650]: c63__6_1_1_120
79 88650
# A089840[98728]: c63__6_3_3_120
80 98728
# A089840[103671]: c63__6_4_4_24
81 103671
# A089840[123923]: c63__6_8_8_120
82 123923
# A089840[128866]: c63__6_9_9_24
83 128866
# A089840[143983]: c63__6_12_12_24
84 143983
# A089840[149004]: c63__6_13_13_6
85 149004
# A089840[194469]: c63__6_22_22_120
86 194469
# A089840[199412]: c63__6_23_23_24
87 199412
# A089840[214529]: c63__6_26_26_24
88 214529
# A089840[219550]: c63__6_27_27_6
89 219550
# A089840[259880]: c63__6_35_35_24
90 259880
# A089840[264901]: c63__6_36_36_6
91 264901
# A089840[285057]: c63__6_40_40_6
92 285057
# A089840[290092]: c63__6_41_41_2
93 290092
# A089840[406107]: c63__6_64_64_120
94 406107
# A089840[411050]: c63__6_65_65_24
95 411050
# A089840[426167]: c63__6_68_68_24
96 426167
# A089840[431188]: c63__6_69_69_6
97 431188
# A089840[471518]: c63__6_77_77_24
98 471518
# A089840[476539]: c63__6_78_78_6
99 476539
# A089840[496695]: c63__6_82_82_6
100 496695
# A089840[501730]: c63__6_83_83_2
101 501730
# A089840[612610]: c63__6_105_105_24
102 612610
# A089840[617631]: c63__6_106_106_6
103 617631
# A089840[637787]: c63__6_110_110_6
104 637787
# A089840[642822]: c63__6_111_111_2
105 642822
# A089840[708333]: c63__6_124_124_6
106 708333
# A089840[713368]: c63__6_125_125_2
107 713368
# A089840[738563]: c63__6_130_130_2
108 738563
# A089840[743601]: c63__6_131_131_1
109 743601
# A089840[750112]: c64__6_0_64_1473__1_0_0_1
110 750112
# A089840[754647]: c64__6_1_65_969__1_0_0_1
111 754647
# A089840[764725]: c64__6_3_68_969__1_0_0_1
112 764725
# A089840[769686]: c64__6_4_69_891__1_0_0_1
113 769686
# A089840[789920]: c64__6_8_77_969__1_0_0_1
114 789920
# A089840[794881]: c64__6_9_78_891__1_0_0_1
115 794881
# A089840[809998]: c64__6_12_82_891__1_0_0_1
116 809998
# A089840[815023]: c64__6_13_83_877__1_0_0_1
117 815023
# A089840[860466]: c64__6_22_105_969__1_0_0_1
118 860466
# A089840[865427]: c64__6_23_106_891__1_0_0_1
119 865427
# A089840[880544]: c64__6_26_110_891__1_0_0_1
120 880544
# A089840[885569]: c64__6_27_111_877__1_0_0_1
121 885569
# A089840[925895]: c64__6_35_124_891__1_0_0_1
122 925895
# A089840[930920]: c64__6_36_125_877__1_0_0_1
123 930920
# A089840[951076]: c64__6_40_130_877__1_0_0_1
124 951076
# A089840[956112]: c64__6_41_131_874__1_0_0_1
125 956112
# A089840[1075575]: c64__6_64_0_4439__1_0_0_1
126 1075575
# A089840[1081118]: c64__6_65_1_4943__1_0_0_1
127 1081118
# A089840[1096235]: c64__6_68_3_4943__1_0_0_1
128 1096235
# A089840[1101352]: c64__6_69_4_5021__1_0_0_1
129 1101352
# A089840[1141586]: c64__6_77_8_4943__1_0_0_1
130 1141586
# A089840[1146703]: c64__6_78_9_5021__1_0_0_1
131 1146703
# A089840[1166859]: c64__6_82_12_5021__1_0_0_1
132 1166859
# A089840[1171912]: c64__6_83_13_5035__1_0_0_1
133 1171912
# A089840[1282678]: c64__6_105_22_4943__1_0_0_1
134 1282678
# A089840[1287795]: c64__6_106_23_5021__1_0_0_1
135 1287795
# A089840[1307951]: c64__6_110_26_5021__1_0_0_1
136 1307951
# A089840[1313004]: c64__6_111_27_5035__1_0_0_1
137 1313004
# A089840[1378497]: c64__6_124_35_5021__1_0_0_1
138 1378497
# A089840[1383550]: c64__6_125_36_5035__1_0_0_1
139 1383550
# A089840[1408745]: c64__6_130_40_5035__1_0_0_1
140 1408745
# A089840[1413787]: c64__6_131_41_5038__1_0_0_1
141 1413787
# A089840[1420203]: c79__4_0_12_83__2_0_1_4__1_0_0_1
142 1420203
# A089840[1420890]: c79__4_1_13_69__2_0_1_4__1_0_0_1
143 1420890
# A089840[1422148]: c79__4_3_8_102__2_0_1_4__1_0_0_1
144 1422148
# A089840[1422855]: c79__4_4_9_98__2_0_1_4__1_0_0_1
145 1422855
# A089840[1427146]: c79__4_8_3_102__2_1_0_4__1_0_0_1
146 1427146
# A089840[1427853]: c79__4_9_4_98__2_1_0_4__1_0_0_1
147 1427853
# A089840[1430260]: c79__4_12_0_111__2_1_0_4__1_0_0_1
148 1430260
# A089840[1430978]: c79__4_13_1_113__2_1_0_4__1_0_0_1
149 1430978
# A089840[1433401]: c96__5_0_8_248__2_0_0_2
150 1433401
# A089840[1437560]: c96__5_1_9_170__2_0_0_2
151 1437560
# A089840[1446190]: c96__5_3_12_170__2_0_0_2
152 1446190
# A089840[1450477]: c96__5_4_13_156__2_0_0_2
153 1450477
# A089840[1466976]: c96__5_8_0_494__2_0_0_2
154 1466976
# A089840[1471411]: c96__5_9_1_554__2_0_0_2
155 1471411
# A089840[1484356]: c96__5_12_3_554__2_0_0_2
156 1484356
# A089840[1488691]: c96__5_13_4_564__2_0_0_2
157 1488691
# A089840[1552370]: c96__5_22_35_51__2_1_1_1
158 1552370
# A089840[1556657]: c96__5_23_36_37__2_1_1_1
159 1556657
# A089840[1572476]: c96__5_26_40_37__2_1_1_1
160 1572476
# A089840[1576785]: c96__5_27_41_34__2_1_1_1
161 1576785
# A089840[1621499]: c96__5_35_22_101__2_1_1_1
162 1621499
# A089840[1625842]: c96__5_36_23_115__2_1_1_1
163 1625842
# A089840[1645976]: c96__5_40_26_115__2_1_1_1
164 1645976
# A089840[1650297]: c96__5_41_27_118__2_1_1_1
165 1650297
# A089840[1654694]: c103__3_2_2_7__2_0_0_2__2_1_1_1
166 1654694
# A089840[1654720]: c103__3_2_2_20__2_0_1_4__2_1_0_4
167 1654720
# A089840[1659507]: c112__4_0_1_48__3_0_0_6
168 1659507
# A089840[1661655]: c112__4_1_0_48__3_0_0_6
169 1661655
# A089840[1677307]: c112__4_3_4_12__3_1_1_2
170 1677307
# A089840[1679451]: c112__4_4_3_12__3_1_1_2
171 1679451
# A089840[1708623]: c112__4_8_9_12__3_3_3_2
172 1708623
# A089840[1710767]: c112__4_9_8_12__3_3_3_2
173 1710767
# A089840[1733602]: c112__4_12_13_4__3_4_4_1
174 1733602
# A089840[1735745]: c112__4_13_12_4__3_4_4_1
175 1735745