|X|=2: 5 bijective solutions in 5 isomorphism classes (enumeration 0.0s)
|X|=2: involutive classes 3; failing classes 0; involutive failing: []
   non-involutive classes passing the test: 2 [2, 3]; left non-deg among them: [2, 3]
|X|=3: 73 bijective solutions in 29 isomorphism classes (enumeration 1.4s)
|X|=3: involutive classes 8; failing classes 13; involutive failing: []
   first Euler term -3 t^4: 3 classes [23, 24, 27]; dim B_n: [(1, 3, 7, 16, 33, 64, 113)]; dim A_n: [(1, 3, 2, 1, 1, 1, 1)]; quandles: []; racks: [23]; left non-deg: [23, 24, 27]; right non-deg: [23, 24, 27]
   first Euler term -1 t^4: 4 classes [4, 8, 11, 17]; dim B_n: [(1, 3, 4, 4, 3, 1, 0)]; dim A_n: [(1, 3, 5, 7, 9, 11, 13)]; quandles: [8]; racks: [8]; left non-deg: [4, 8, 11, 17]; right non-deg: [4, 8, 11, 17]
   first Euler term -1 t^6: 6 classes [12, 14, 21, 22, 25, 26]; dim B_n: [(1, 3, 4, 3, 1, 0, 0)]; dim A_n: [(1, 3, 5, 6, 6, 6, 6)]; quandles: [14]; racks: [14]; left non-deg: [12, 14, 21, 22, 25, 26]; right non-deg: [12, 14, 21, 22, 25, 26]
   non-involutive classes passing the test: 8 [5, 6, 9, 10, 15, 16, 18, 19]; left non-deg among them: [5, 6, 9, 10, 15, 16, 18, 19]
   special solutions (class, first Euler term, dim B_n): {'rack Z/3': (23, (4, -3), [1, 3, 7, 16, 33, 64, 113]), 'R_3': (14, (6, -1), [1, 3, 4, 3, 1, 0, 0]), 'quandle: 0 acts by (1 2), 1,2 trivially': (8, (4, -1), [1, 3, 4, 4, 3, 1, 0])}
time 38.9s
