rack_A: True
quandle_A: True
rack_B: True
quandle_B: True
YBE_r: True
rack_solution_r: True
YBE_s: True
rack_solution_s: True
F_bijective: True
F r F^-1 = s: True
theta_bijective: True
theta r12 = s12 theta: True
theta r23 = s23 theta: True
twelve_line_checks: True
Psi_bijective: True
Phi_bijective: True
(dt1) F12 Psi = F23 Phi: True
(dt2) Psi r12 = r12 Psi: True
(dt3) Phi r23 = r23 Phi: True
number_of_rack_isomorphisms_A_to_B (of 120 bijections): 0
B commutative: True
A commutative: False
A: 0->1, 1->0: (2, 4)
solution_isomorphisms_r_to_s: 0
  S1(1, 0) = 3*(1, 2);  S'1T(1, 0) = (2, 1) = 3^3*T(1, 2): True
  S1(0, 1) = 1*(0, 1);  S'1T(0, 1) = (0, 1) = 1^3*T(0, 1): True
  S1(1, 1) = 3*(1, 4);  S'1T(1, 1) = (2, 3) = 3^3*T(1, 4): True
  S1(1, 2) = 3*(1, 1);  S'1T(1, 2) = (2, 4) = 3^3*T(1, 1): True
  S1(1, 3) = 3*(1, 3);  S'1T(1, 3) = (4, 4) = 3^3*T(1, 3): True
  S1(1, 4) = 3*(1, 0);  S'1T(1, 4) = (2, 0) = 3^3*T(1, 0): True
  S2(1, 0) = 1*(1, 0);  S'2T(1, 0) = (1, 0) = 1^3*T(1, 0): True
  S2(0, 1) = 2*(1, 4);  S'2T(0, 1) = (3, 2) = 2^3*T(1, 4): True
  S2(1, 1) = 3*(1, 1);  S'2T(1, 1) = (2, 4) = 3^3*T(1, 1): True
  S2(1, 2) = 1*(0, 1);  S'2T(1, 2) = (0, 1) = 1^3*T(0, 1): True
  S2(1, 3) = 2*(1, 2);  S'2T(1, 3) = (3, 4) = 2^3*T(1, 2): True
  S2(1, 4) = 4*(1, 3);  S'2T(1, 4) = (3, 3) = 4^3*T(1, 3): True
ALL CHECKS PASS: True
