A367541 - cp's OEIS frontend

A367541 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the identity principle, i.e., I(x,x)=n for all x in L_n.

n	a(n)
1	1
2	9
3	246
4	21307
5	5967884
6	5464753020
7	16464650143150
8	163867734760669875
9	5401439489386802569500
10	590665306641885854720733600
11	214530897918187139967720562273920
12	258998339526821950480574606267461843536
13	1039917052871541256867935621512668719049634384
14	13891789744852831118958512413787919060197070057215380

[1, 9, 246, 21307, 5967884, 5464753020, 16464650143150, 163867734760669875, 5401439489386802569500, 590665306641885854720733600, 214530897918187139967720562273920, 258998339526821950480574606267461843536, 1039917052871541256867935621512668719049634384, 13891789744852831118958512413787919060197070057215380]

cp's OEIS Frontend

A367541 Number of discrete implications I:L_n^2-> L_n defined on the finite chain L_n={0,1,...n}, which satisfy the identity principle, i.e., I(x,x)=n for all x in L_n.

Table of values

List of values