fof(ax1,conjecture,n1 != n2 & n1 != n3 & n1 != n4 & n1 != n5 & n1 != n6 & n1 != n7 & n1 != n8 & n1 != n9 & n2 != n3 & n2 != n4 & n2 != n5 & n2 != n6 & n2 != n7 & n2 != n8 & n2 != n9 & n3 != n4 & n3 != n5 & n3 != n6 & n3 != n7 & n3 != n8 & n3 != n9 & n4 != n5 & n4 != n6 & n4 != n7 & n4 != n8 & n4 != n9 & n5 != n6 & n5 != n7 & n5 != n8 & n5 != n9 & n6 != n7 & n6 != n8 & n6 != n9 & n7 != n8 & n7 != n9 & n8 != n9 ).
fof(ax2,conjecture,ssA(n1,n1) = n1 | ssA(n1,n2) = n1 | ssA(n1,n3) = n1 | ssA(n1,n4) = n1 | ssA(n1,n5) = n1 | ssA(n1,n6) = n1 | ssA(n1,n7) = n1 | ssA(n1,n8) = n1 | ssA(n1,n9) = n1 ).
fof(ax3,conjecture,ssA(n1,n1) = n2 | ssA(n1,n2) = n2 | ssA(n1,n3) = n2 | ssA(n1,n4) = n2 | ssA(n1,n5) = n2 | ssA(n1,n6) = n2 | ssA(n1,n7) = n2 | ssA(n1,n8) = n2 | ssA(n1,n9) = n2 ).
fof(ax4,conjecture,ssA(n1,n1) = n3 | ssA(n1,n2) = n3 | ssA(n1,n3) = n3 | ssA(n1,n4) = n3 | ssA(n1,n5) = n3 | ssA(n1,n6) = n3 | ssA(n1,n7) = n3 | ssA(n1,n8) = n3 | ssA(n1,n9) = n3 ).
fof(ax5,conjecture,ssA(n1,n1) = n4 | ssA(n1,n2) = n4 | ssA(n1,n3) = n4 | ssA(n1,n4) = n4 | ssA(n1,n5) = n4 | ssA(n1,n6) = n4 | ssA(n1,n7) = n4 | ssA(n1,n8) = n4 | ssA(n1,n9) = n4 ).
fof(ax6,conjecture,ssA(n1,n1) = n5 | ssA(n1,n2) = n5 | ssA(n1,n3) = n5 | ssA(n1,n4) = n5 | ssA(n1,n5) = n5 | ssA(n1,n6) = n5 | ssA(n1,n7) = n5 | ssA(n1,n8) = n5 | ssA(n1,n9) = n5 ).
fof(ax7,conjecture,ssA(n1,n1) = n6 | ssA(n1,n2) = n6 | ssA(n1,n3) = n6 | ssA(n1,n4) = n6 | ssA(n1,n5) = n6 | ssA(n1,n6) = n6 | ssA(n1,n7) = n6 | ssA(n1,n8) = n6 | ssA(n1,n9) = n6 ).
fof(ax8,conjecture,ssA(n1,n1) = n7 | ssA(n1,n2) = n7 | ssA(n1,n3) = n7 | ssA(n1,n4) = n7 | ssA(n1,n5) = n7 | ssA(n1,n6) = n7 | ssA(n1,n7) = n7 | ssA(n1,n8) = n7 | ssA(n1,n9) = n7 ).
fof(ax9,conjecture,ssA(n1,n1) = n8 | ssA(n1,n2) = n8 | ssA(n1,n3) = n8 | ssA(n1,n4) = n8 | ssA(n1,n5) = n8 | ssA(n1,n6) = n8 | ssA(n1,n7) = n8 | ssA(n1,n8) = n8 | ssA(n1,n9) = n8 ).
fof(ax10,conjecture,ssA(n1,n1) = n9 | ssA(n1,n2) = n9 | ssA(n1,n3) = n9 | ssA(n1,n4) = n9 | ssA(n1,n5) = n9 | ssA(n1,n6) = n9 | ssA(n1,n7) = n9 | ssA(n1,n8) = n9 | ssA(n1,n9) = n9 ).
fof(ax11,conjecture,ssA(n1,n1) != ssA(n1,n2) & ssA(n1,n1) != ssA(n1,n3) & ssA(n1,n1) != ssA(n1,n4) & ssA(n1,n1) != ssA(n1,n5) & ssA(n1,n1) != ssA(n1,n6) & ssA(n1,n1) != ssA(n1,n7) & ssA(n1,n1) != ssA(n1,n8) & ssA(n1,n1) != ssA(n1,n9) & ssA(n1,n2) != ssA(n1,n3) & ssA(n1,n2) != ssA(n1,n4) & ssA(n1,n2) != ssA(n1,n5) & ssA(n1,n2) != ssA(n1,n6) & ssA(n1,n2) != ssA(n1,n7) & ssA(n1,n2) != ssA(n1,n8) & ssA(n1,n2) != ssA(n1,n9) & ssA(n1,n3) != ssA(n1,n4) & ssA(n1,n3) != ssA(n1,n5) & ssA(n1,n3) != ssA(n1,n6) & ssA(n1,n3) != ssA(n1,n7) & ssA(n1,n3) != ssA(n1,n8) & ssA(n1,n3) != ssA(n1,n9) & ssA(n1,n4) != ssA(n1,n5) & ssA(n1,n4) != ssA(n1,n6) & ssA(n1,n4) != ssA(n1,n7) & ssA(n1,n4) != ssA(n1,n8) & ssA(n1,n4) != ssA(n1,n9) & ssA(n1,n5) != ssA(n1,n6) & ssA(n1,n5) != ssA(n1,n7) & ssA(n1,n5) != ssA(n1,n8) & ssA(n1,n5) != ssA(n1,n9) & ssA(n1,n6) != ssA(n1,n7) & ssA(n1,n6) != ssA(n1,n8) & ssA(n1,n6) != ssA(n1,n9) & ssA(n1,n7) != ssA(n1,n8) & ssA(n1,n7) != ssA(n1,n9) & ssA(n1,n8) != ssA(n1,n9) ).
fof(ax12,conjecture,ssA(n2,n1) = n1 | ssA(n2,n2) = n1 | ssA(n2,n3) = n1 | ssA(n2,n4) = n1 | ssA(n2,n5) = n1 | ssA(n2,n6) = n1 | ssA(n2,n7) = n1 | ssA(n2,n8) = n1 | ssA(n2,n9) = n1 ).
fof(ax13,conjecture,ssA(n2,n1) = n2 | ssA(n2,n2) = n2 | ssA(n2,n3) = n2 | ssA(n2,n4) = n2 | ssA(n2,n5) = n2 | ssA(n2,n6) = n2 | ssA(n2,n7) = n2 | ssA(n2,n8) = n2 | ssA(n2,n9) = n2 ).
fof(ax14,conjecture,ssA(n2,n1) = n3 | ssA(n2,n2) = n3 | ssA(n2,n3) = n3 | ssA(n2,n4) = n3 | ssA(n2,n5) = n3 | ssA(n2,n6) = n3 | ssA(n2,n7) = n3 | ssA(n2,n8) = n3 | ssA(n2,n9) = n3 ).
fof(ax15,conjecture,ssA(n2,n1) = n4 | ssA(n2,n2) = n4 | ssA(n2,n3) = n4 | ssA(n2,n4) = n4 | ssA(n2,n5) = n4 | ssA(n2,n6) = n4 | ssA(n2,n7) = n4 | ssA(n2,n8) = n4 | ssA(n2,n9) = n4 ).
fof(ax16,conjecture,ssA(n2,n1) = n5 | ssA(n2,n2) = n5 | ssA(n2,n3) = n5 | ssA(n2,n4) = n5 | ssA(n2,n5) = n5 | ssA(n2,n6) = n5 | ssA(n2,n7) = n5 | ssA(n2,n8) = n5 | ssA(n2,n9) = n5 ).
fof(ax17,conjecture,ssA(n2,n1) = n6 | ssA(n2,n2) = n6 | ssA(n2,n3) = n6 | ssA(n2,n4) = n6 | ssA(n2,n5) = n6 | ssA(n2,n6) = n6 | ssA(n2,n7) = n6 | ssA(n2,n8) = n6 | ssA(n2,n9) = n6 ).
fof(ax18,conjecture,ssA(n2,n1) = n7 | ssA(n2,n2) = n7 | ssA(n2,n3) = n7 | ssA(n2,n4) = n7 | ssA(n2,n5) = n7 | ssA(n2,n6) = n7 | ssA(n2,n7) = n7 | ssA(n2,n8) = n7 | ssA(n2,n9) = n7 ).
fof(ax19,conjecture,ssA(n2,n1) = n8 | ssA(n2,n2) = n8 | ssA(n2,n3) = n8 | ssA(n2,n4) = n8 | ssA(n2,n5) = n8 | ssA(n2,n6) = n8 | ssA(n2,n7) = n8 | ssA(n2,n8) = n8 | ssA(n2,n9) = n8 ).
fof(ax20,conjecture,ssA(n2,n1) = n9 | ssA(n2,n2) = n9 | ssA(n2,n3) = n9 | ssA(n2,n4) = n9 | ssA(n2,n5) = n9 | ssA(n2,n6) = n9 | ssA(n2,n7) = n9 | ssA(n2,n8) = n9 | ssA(n2,n9) = n9 ).
fof(ax21,conjecture,ssA(n2,n1) != ssA(n2,n2) & ssA(n2,n1) != ssA(n2,n3) & ssA(n2,n1) != ssA(n2,n4) & ssA(n2,n1) != ssA(n2,n5) & ssA(n2,n1) != ssA(n2,n6) & ssA(n2,n1) != ssA(n2,n7) & ssA(n2,n1) != ssA(n2,n8) & ssA(n2,n1) != ssA(n2,n9) & ssA(n2,n2) != ssA(n2,n3) & ssA(n2,n2) != ssA(n2,n4) & ssA(n2,n2) != ssA(n2,n5) & ssA(n2,n2) != ssA(n2,n6) & ssA(n2,n2) != ssA(n2,n7) & ssA(n2,n2) != ssA(n2,n8) & ssA(n2,n2) != ssA(n2,n9) & ssA(n2,n3) != ssA(n2,n4) & ssA(n2,n3) != ssA(n2,n5) & ssA(n2,n3) != ssA(n2,n6) & ssA(n2,n3) != ssA(n2,n7) & ssA(n2,n3) != ssA(n2,n8) & ssA(n2,n3) != ssA(n2,n9) & ssA(n2,n4) != ssA(n2,n5) & ssA(n2,n4) != ssA(n2,n6) & ssA(n2,n4) != ssA(n2,n7) & ssA(n2,n4) != ssA(n2,n8) & ssA(n2,n4) != ssA(n2,n9) & ssA(n2,n5) != ssA(n2,n6) & ssA(n2,n5) != ssA(n2,n7) & ssA(n2,n5) != ssA(n2,n8) & ssA(n2,n5) != ssA(n2,n9) & ssA(n2,n6) != ssA(n2,n7) & ssA(n2,n6) != ssA(n2,n8) & ssA(n2,n6) != ssA(n2,n9) & ssA(n2,n7) != ssA(n2,n8) & ssA(n2,n7) != ssA(n2,n9) & ssA(n2,n8) != ssA(n2,n9) ).
fof(ax22,conjecture,ssA(n3,n1) = n1 | ssA(n3,n2) = n1 | ssA(n3,n3) = n1 | ssA(n3,n4) = n1 | ssA(n3,n5) = n1 | ssA(n3,n6) = n1 | ssA(n3,n7) = n1 | ssA(n3,n8) = n1 | ssA(n3,n9) = n1 ).
fof(ax23,conjecture,ssA(n3,n1) = n2 | ssA(n3,n2) = n2 | ssA(n3,n3) = n2 | ssA(n3,n4) = n2 | ssA(n3,n5) = n2 | ssA(n3,n6) = n2 | ssA(n3,n7) = n2 | ssA(n3,n8) = n2 | ssA(n3,n9) = n2 ).
fof(ax24,conjecture,ssA(n3,n1) = n3 | ssA(n3,n2) = n3 | ssA(n3,n3) = n3 | ssA(n3,n4) = n3 | ssA(n3,n5) = n3 | ssA(n3,n6) = n3 | ssA(n3,n7) = n3 | ssA(n3,n8) = n3 | ssA(n3,n9) = n3 ).
fof(ax25,conjecture,ssA(n3,n1) = n4 | ssA(n3,n2) = n4 | ssA(n3,n3) = n4 | ssA(n3,n4) = n4 | ssA(n3,n5) = n4 | ssA(n3,n6) = n4 | ssA(n3,n7) = n4 | ssA(n3,n8) = n4 | ssA(n3,n9) = n4 ).
fof(ax26,conjecture,ssA(n3,n1) = n5 | ssA(n3,n2) = n5 | ssA(n3,n3) = n5 | ssA(n3,n4) = n5 | ssA(n3,n5) = n5 | ssA(n3,n6) = n5 | ssA(n3,n7) = n5 | ssA(n3,n8) = n5 | ssA(n3,n9) = n5 ).
fof(ax27,conjecture,ssA(n3,n1) = n6 | ssA(n3,n2) = n6 | ssA(n3,n3) = n6 | ssA(n3,n4) = n6 | ssA(n3,n5) = n6 | ssA(n3,n6) = n6 | ssA(n3,n7) = n6 | ssA(n3,n8) = n6 | ssA(n3,n9) = n6 ).
fof(ax28,conjecture,ssA(n3,n1) = n7 | ssA(n3,n2) = n7 | ssA(n3,n3) = n7 | ssA(n3,n4) = n7 | ssA(n3,n5) = n7 | ssA(n3,n6) = n7 | ssA(n3,n7) = n7 | ssA(n3,n8) = n7 | ssA(n3,n9) = n7 ).
fof(ax29,conjecture,ssA(n3,n1) = n8 | ssA(n3,n2) = n8 | ssA(n3,n3) = n8 | ssA(n3,n4) = n8 | ssA(n3,n5) = n8 | ssA(n3,n6) = n8 | ssA(n3,n7) = n8 | ssA(n3,n8) = n8 | ssA(n3,n9) = n8 ).
fof(ax30,conjecture,ssA(n3,n1) = n9 | ssA(n3,n2) = n9 | ssA(n3,n3) = n9 | ssA(n3,n4) = n9 | ssA(n3,n5) = n9 | ssA(n3,n6) = n9 | ssA(n3,n7) = n9 | ssA(n3,n8) = n9 | ssA(n3,n9) = n9 ).
fof(ax31,conjecture,ssA(n3,n1) != ssA(n3,n2) & ssA(n3,n1) != ssA(n3,n3) & ssA(n3,n1) != ssA(n3,n4) & ssA(n3,n1) != ssA(n3,n5) & ssA(n3,n1) != ssA(n3,n6) & ssA(n3,n1) != ssA(n3,n7) & ssA(n3,n1) != ssA(n3,n8) & ssA(n3,n1) != ssA(n3,n9) & ssA(n3,n2) != ssA(n3,n3) & ssA(n3,n2) != ssA(n3,n4) & ssA(n3,n2) != ssA(n3,n5) & ssA(n3,n2) != ssA(n3,n6) & ssA(n3,n2) != ssA(n3,n7) & ssA(n3,n2) != ssA(n3,n8) & ssA(n3,n2) != ssA(n3,n9) & ssA(n3,n3) != ssA(n3,n4) & ssA(n3,n3) != ssA(n3,n5) & ssA(n3,n3) != ssA(n3,n6) & ssA(n3,n3) != ssA(n3,n7) & ssA(n3,n3) != ssA(n3,n8) & ssA(n3,n3) != ssA(n3,n9) & ssA(n3,n4) != ssA(n3,n5) & ssA(n3,n4) != ssA(n3,n6) & ssA(n3,n4) != ssA(n3,n7) & ssA(n3,n4) != ssA(n3,n8) & ssA(n3,n4) != ssA(n3,n9) & ssA(n3,n5) != ssA(n3,n6) & ssA(n3,n5) != ssA(n3,n7) & ssA(n3,n5) != ssA(n3,n8) & ssA(n3,n5) != ssA(n3,n9) & ssA(n3,n6) != ssA(n3,n7) & ssA(n3,n6) != ssA(n3,n8) & ssA(n3,n6) != ssA(n3,n9) & ssA(n3,n7) != ssA(n3,n8) & ssA(n3,n7) != ssA(n3,n9) & ssA(n3,n8) != ssA(n3,n9) ).
fof(ax32,conjecture,ssA(n4,n1) = n1 | ssA(n4,n2) = n1 | ssA(n4,n3) = n1 | ssA(n4,n4) = n1 | ssA(n4,n5) = n1 | ssA(n4,n6) = n1 | ssA(n4,n7) = n1 | ssA(n4,n8) = n1 | ssA(n4,n9) = n1 ).
fof(ax33,conjecture,ssA(n4,n1) = n2 | ssA(n4,n2) = n2 | ssA(n4,n3) = n2 | ssA(n4,n4) = n2 | ssA(n4,n5) = n2 | ssA(n4,n6) = n2 | ssA(n4,n7) = n2 | ssA(n4,n8) = n2 | ssA(n4,n9) = n2 ).
fof(ax34,conjecture,ssA(n4,n1) = n3 | ssA(n4,n2) = n3 | ssA(n4,n3) = n3 | ssA(n4,n4) = n3 | ssA(n4,n5) = n3 | ssA(n4,n6) = n3 | ssA(n4,n7) = n3 | ssA(n4,n8) = n3 | ssA(n4,n9) = n3 ).
fof(ax35,conjecture,ssA(n4,n1) = n4 | ssA(n4,n2) = n4 | ssA(n4,n3) = n4 | ssA(n4,n4) = n4 | ssA(n4,n5) = n4 | ssA(n4,n6) = n4 | ssA(n4,n7) = n4 | ssA(n4,n8) = n4 | ssA(n4,n9) = n4 ).
fof(ax36,conjecture,ssA(n4,n1) = n5 | ssA(n4,n2) = n5 | ssA(n4,n3) = n5 | ssA(n4,n4) = n5 | ssA(n4,n5) = n5 | ssA(n4,n6) = n5 | ssA(n4,n7) = n5 | ssA(n4,n8) = n5 | ssA(n4,n9) = n5 ).
fof(ax37,conjecture,ssA(n4,n1) = n6 | ssA(n4,n2) = n6 | ssA(n4,n3) = n6 | ssA(n4,n4) = n6 | ssA(n4,n5) = n6 | ssA(n4,n6) = n6 | ssA(n4,n7) = n6 | ssA(n4,n8) = n6 | ssA(n4,n9) = n6 ).
fof(ax38,conjecture,ssA(n4,n1) = n7 | ssA(n4,n2) = n7 | ssA(n4,n3) = n7 | ssA(n4,n4) = n7 | ssA(n4,n5) = n7 | ssA(n4,n6) = n7 | ssA(n4,n7) = n7 | ssA(n4,n8) = n7 | ssA(n4,n9) = n7 ).
fof(ax39,conjecture,ssA(n4,n1) = n8 | ssA(n4,n2) = n8 | ssA(n4,n3) = n8 | ssA(n4,n4) = n8 | ssA(n4,n5) = n8 | ssA(n4,n6) = n8 | ssA(n4,n7) = n8 | ssA(n4,n8) = n8 | ssA(n4,n9) = n8 ).
fof(ax40,conjecture,ssA(n4,n1) = n9 | ssA(n4,n2) = n9 | ssA(n4,n3) = n9 | ssA(n4,n4) = n9 | ssA(n4,n5) = n9 | ssA(n4,n6) = n9 | ssA(n4,n7) = n9 | ssA(n4,n8) = n9 | ssA(n4,n9) = n9 ).
fof(ax41,conjecture,ssA(n4,n1) != ssA(n4,n2) & ssA(n4,n1) != ssA(n4,n3) & ssA(n4,n1) != ssA(n4,n4) & ssA(n4,n1) != ssA(n4,n5) & ssA(n4,n1) != ssA(n4,n6) & ssA(n4,n1) != ssA(n4,n7) & ssA(n4,n1) != ssA(n4,n8) & ssA(n4,n1) != ssA(n4,n9) & ssA(n4,n2) != ssA(n4,n3) & ssA(n4,n2) != ssA(n4,n4) & ssA(n4,n2) != ssA(n4,n5) & ssA(n4,n2) != ssA(n4,n6) & ssA(n4,n2) != ssA(n4,n7) & ssA(n4,n2) != ssA(n4,n8) & ssA(n4,n2) != ssA(n4,n9) & ssA(n4,n3) != ssA(n4,n4) & ssA(n4,n3) != ssA(n4,n5) & ssA(n4,n3) != ssA(n4,n6) & ssA(n4,n3) != ssA(n4,n7) & ssA(n4,n3) != ssA(n4,n8) & ssA(n4,n3) != ssA(n4,n9) & ssA(n4,n4) != ssA(n4,n5) & ssA(n4,n4) != ssA(n4,n6) & ssA(n4,n4) != ssA(n4,n7) & ssA(n4,n4) != ssA(n4,n8) & ssA(n4,n4) != ssA(n4,n9) & ssA(n4,n5) != ssA(n4,n6) & ssA(n4,n5) != ssA(n4,n7) & ssA(n4,n5) != ssA(n4,n8) & ssA(n4,n5) != ssA(n4,n9) & ssA(n4,n6) != ssA(n4,n7) & ssA(n4,n6) != ssA(n4,n8) & ssA(n4,n6) != ssA(n4,n9) & ssA(n4,n7) != ssA(n4,n8) & ssA(n4,n7) != ssA(n4,n9) & ssA(n4,n8) != ssA(n4,n9) ).
fof(ax42,conjecture,ssA(n5,n1) = n1 | ssA(n5,n2) = n1 | ssA(n5,n3) = n1 | ssA(n5,n4) = n1 | ssA(n5,n5) = n1 | ssA(n5,n6) = n1 | ssA(n5,n7) = n1 | ssA(n5,n8) = n1 | ssA(n5,n9) = n1 ).
fof(ax43,conjecture,ssA(n5,n1) = n2 | ssA(n5,n2) = n2 | ssA(n5,n3) = n2 | ssA(n5,n4) = n2 | ssA(n5,n5) = n2 | ssA(n5,n6) = n2 | ssA(n5,n7) = n2 | ssA(n5,n8) = n2 | ssA(n5,n9) = n2 ).
fof(ax44,conjecture,ssA(n5,n1) = n3 | ssA(n5,n2) = n3 | ssA(n5,n3) = n3 | ssA(n5,n4) = n3 | ssA(n5,n5) = n3 | ssA(n5,n6) = n3 | ssA(n5,n7) = n3 | ssA(n5,n8) = n3 | ssA(n5,n9) = n3 ).
fof(ax45,conjecture,ssA(n5,n1) = n4 | ssA(n5,n2) = n4 | ssA(n5,n3) = n4 | ssA(n5,n4) = n4 | ssA(n5,n5) = n4 | ssA(n5,n6) = n4 | ssA(n5,n7) = n4 | ssA(n5,n8) = n4 | ssA(n5,n9) = n4 ).
fof(ax46,conjecture,ssA(n5,n1) = n5 | ssA(n5,n2) = n5 | ssA(n5,n3) = n5 | ssA(n5,n4) = n5 | ssA(n5,n5) = n5 | ssA(n5,n6) = n5 | ssA(n5,n7) = n5 | ssA(n5,n8) = n5 | ssA(n5,n9) = n5 ).
fof(ax47,conjecture,ssA(n5,n1) = n6 | ssA(n5,n2) = n6 | ssA(n5,n3) = n6 | ssA(n5,n4) = n6 | ssA(n5,n5) = n6 | ssA(n5,n6) = n6 | ssA(n5,n7) = n6 | ssA(n5,n8) = n6 | ssA(n5,n9) = n6 ).
fof(ax48,conjecture,ssA(n5,n1) = n7 | ssA(n5,n2) = n7 | ssA(n5,n3) = n7 | ssA(n5,n4) = n7 | ssA(n5,n5) = n7 | ssA(n5,n6) = n7 | ssA(n5,n7) = n7 | ssA(n5,n8) = n7 | ssA(n5,n9) = n7 ).
fof(ax49,conjecture,ssA(n5,n1) = n8 | ssA(n5,n2) = n8 | ssA(n5,n3) = n8 | ssA(n5,n4) = n8 | ssA(n5,n5) = n8 | ssA(n5,n6) = n8 | ssA(n5,n7) = n8 | ssA(n5,n8) = n8 | ssA(n5,n9) = n8 ).
fof(ax50,conjecture,ssA(n5,n1) = n9 | ssA(n5,n2) = n9 | ssA(n5,n3) = n9 | ssA(n5,n4) = n9 | ssA(n5,n5) = n9 | ssA(n5,n6) = n9 | ssA(n5,n7) = n9 | ssA(n5,n8) = n9 | ssA(n5,n9) = n9 ).
fof(ax51,conjecture,ssA(n5,n1) != ssA(n5,n2) & ssA(n5,n1) != ssA(n5,n3) & ssA(n5,n1) != ssA(n5,n4) & ssA(n5,n1) != ssA(n5,n5) & ssA(n5,n1) != ssA(n5,n6) & ssA(n5,n1) != ssA(n5,n7) & ssA(n5,n1) != ssA(n5,n8) & ssA(n5,n1) != ssA(n5,n9) & ssA(n5,n2) != ssA(n5,n3) & ssA(n5,n2) != ssA(n5,n4) & ssA(n5,n2) != ssA(n5,n5) & ssA(n5,n2) != ssA(n5,n6) & ssA(n5,n2) != ssA(n5,n7) & ssA(n5,n2) != ssA(n5,n8) & ssA(n5,n2) != ssA(n5,n9) & ssA(n5,n3) != ssA(n5,n4) & ssA(n5,n3) != ssA(n5,n5) & ssA(n5,n3) != ssA(n5,n6) & ssA(n5,n3) != ssA(n5,n7) & ssA(n5,n3) != ssA(n5,n8) & ssA(n5,n3) != ssA(n5,n9) & ssA(n5,n4) != ssA(n5,n5) & ssA(n5,n4) != ssA(n5,n6) & ssA(n5,n4) != ssA(n5,n7) & ssA(n5,n4) != ssA(n5,n8) & ssA(n5,n4) != ssA(n5,n9) & ssA(n5,n5) != ssA(n5,n6) & ssA(n5,n5) != ssA(n5,n7) & ssA(n5,n5) != ssA(n5,n8) & ssA(n5,n5) != ssA(n5,n9) & ssA(n5,n6) != ssA(n5,n7) & ssA(n5,n6) != ssA(n5,n8) & ssA(n5,n6) != ssA(n5,n9) & ssA(n5,n7) != ssA(n5,n8) & ssA(n5,n7) != ssA(n5,n9) & ssA(n5,n8) != ssA(n5,n9) ).
fof(ax52,conjecture,ssA(n6,n1) = n1 | ssA(n6,n2) = n1 | ssA(n6,n3) = n1 | ssA(n6,n4) = n1 | ssA(n6,n5) = n1 | ssA(n6,n6) = n1 | ssA(n6,n7) = n1 | ssA(n6,n8) = n1 | ssA(n6,n9) = n1 ).
fof(ax53,conjecture,ssA(n6,n1) = n2 | ssA(n6,n2) = n2 | ssA(n6,n3) = n2 | ssA(n6,n4) = n2 | ssA(n6,n5) = n2 | ssA(n6,n6) = n2 | ssA(n6,n7) = n2 | ssA(n6,n8) = n2 | ssA(n6,n9) = n2 ).
fof(ax54,conjecture,ssA(n6,n1) = n3 | ssA(n6,n2) = n3 | ssA(n6,n3) = n3 | ssA(n6,n4) = n3 | ssA(n6,n5) = n3 | ssA(n6,n6) = n3 | ssA(n6,n7) = n3 | ssA(n6,n8) = n3 | ssA(n6,n9) = n3 ).
fof(ax55,conjecture,ssA(n6,n1) = n4 | ssA(n6,n2) = n4 | ssA(n6,n3) = n4 | ssA(n6,n4) = n4 | ssA(n6,n5) = n4 | ssA(n6,n6) = n4 | ssA(n6,n7) = n4 | ssA(n6,n8) = n4 | ssA(n6,n9) = n4 ).
fof(ax56,conjecture,ssA(n6,n1) = n5 | ssA(n6,n2) = n5 | ssA(n6,n3) = n5 | ssA(n6,n4) = n5 | ssA(n6,n5) = n5 | ssA(n6,n6) = n5 | ssA(n6,n7) = n5 | ssA(n6,n8) = n5 | ssA(n6,n9) = n5 ).
fof(ax57,conjecture,ssA(n6,n1) = n6 | ssA(n6,n2) = n6 | ssA(n6,n3) = n6 | ssA(n6,n4) = n6 | ssA(n6,n5) = n6 | ssA(n6,n6) = n6 | ssA(n6,n7) = n6 | ssA(n6,n8) = n6 | ssA(n6,n9) = n6 ).
fof(ax58,conjecture,ssA(n6,n1) = n7 | ssA(n6,n2) = n7 | ssA(n6,n3) = n7 | ssA(n6,n4) = n7 | ssA(n6,n5) = n7 | ssA(n6,n6) = n7 | ssA(n6,n7) = n7 | ssA(n6,n8) = n7 | ssA(n6,n9) = n7 ).
fof(ax59,conjecture,ssA(n6,n1) = n8 | ssA(n6,n2) = n8 | ssA(n6,n3) = n8 | ssA(n6,n4) = n8 | ssA(n6,n5) = n8 | ssA(n6,n6) = n8 | ssA(n6,n7) = n8 | ssA(n6,n8) = n8 | ssA(n6,n9) = n8 ).
fof(ax60,conjecture,ssA(n6,n1) = n9 | ssA(n6,n2) = n9 | ssA(n6,n3) = n9 | ssA(n6,n4) = n9 | ssA(n6,n5) = n9 | ssA(n6,n6) = n9 | ssA(n6,n7) = n9 | ssA(n6,n8) = n9 | ssA(n6,n9) = n9 ).
fof(ax61,conjecture,ssA(n6,n1) != ssA(n6,n2) & ssA(n6,n1) != ssA(n6,n3) & ssA(n6,n1) != ssA(n6,n4) & ssA(n6,n1) != ssA(n6,n5) & ssA(n6,n1) != ssA(n6,n6) & ssA(n6,n1) != ssA(n6,n7) & ssA(n6,n1) != ssA(n6,n8) & ssA(n6,n1) != ssA(n6,n9) & ssA(n6,n2) != ssA(n6,n3) & ssA(n6,n2) != ssA(n6,n4) & ssA(n6,n2) != ssA(n6,n5) & ssA(n6,n2) != ssA(n6,n6) & ssA(n6,n2) != ssA(n6,n7) & ssA(n6,n2) != ssA(n6,n8) & ssA(n6,n2) != ssA(n6,n9) & ssA(n6,n3) != ssA(n6,n4) & ssA(n6,n3) != ssA(n6,n5) & ssA(n6,n3) != ssA(n6,n6) & ssA(n6,n3) != ssA(n6,n7) & ssA(n6,n3) != ssA(n6,n8) & ssA(n6,n3) != ssA(n6,n9) & ssA(n6,n4) != ssA(n6,n5) & ssA(n6,n4) != ssA(n6,n6) & ssA(n6,n4) != ssA(n6,n7) & ssA(n6,n4) != ssA(n6,n8) & ssA(n6,n4) != ssA(n6,n9) & ssA(n6,n5) != ssA(n6,n6) & ssA(n6,n5) != ssA(n6,n7) & ssA(n6,n5) != ssA(n6,n8) & ssA(n6,n5) != ssA(n6,n9) & ssA(n6,n6) != ssA(n6,n7) & ssA(n6,n6) != ssA(n6,n8) & ssA(n6,n6) != ssA(n6,n9) & ssA(n6,n7) != ssA(n6,n8) & ssA(n6,n7) != ssA(n6,n9) & ssA(n6,n8) != ssA(n6,n9) ).
fof(ax62,conjecture,ssA(n7,n1) = n1 | ssA(n7,n2) = n1 | ssA(n7,n3) = n1 | ssA(n7,n4) = n1 | ssA(n7,n5) = n1 | ssA(n7,n6) = n1 | ssA(n7,n7) = n1 | ssA(n7,n8) = n1 | ssA(n7,n9) = n1 ).
fof(ax63,conjecture,ssA(n7,n1) = n2 | ssA(n7,n2) = n2 | ssA(n7,n3) = n2 | ssA(n7,n4) = n2 | ssA(n7,n5) = n2 | ssA(n7,n6) = n2 | ssA(n7,n7) = n2 | ssA(n7,n8) = n2 | ssA(n7,n9) = n2 ).
fof(ax64,conjecture,ssA(n7,n1) = n3 | ssA(n7,n2) = n3 | ssA(n7,n3) = n3 | ssA(n7,n4) = n3 | ssA(n7,n5) = n3 | ssA(n7,n6) = n3 | ssA(n7,n7) = n3 | ssA(n7,n8) = n3 | ssA(n7,n9) = n3 ).
fof(ax65,conjecture,ssA(n7,n1) = n4 | ssA(n7,n2) = n4 | ssA(n7,n3) = n4 | ssA(n7,n4) = n4 | ssA(n7,n5) = n4 | ssA(n7,n6) = n4 | ssA(n7,n7) = n4 | ssA(n7,n8) = n4 | ssA(n7,n9) = n4 ).
fof(ax66,conjecture,ssA(n7,n1) = n5 | ssA(n7,n2) = n5 | ssA(n7,n3) = n5 | ssA(n7,n4) = n5 | ssA(n7,n5) = n5 | ssA(n7,n6) = n5 | ssA(n7,n7) = n5 | ssA(n7,n8) = n5 | ssA(n7,n9) = n5 ).
fof(ax67,conjecture,ssA(n7,n1) = n6 | ssA(n7,n2) = n6 | ssA(n7,n3) = n6 | ssA(n7,n4) = n6 | ssA(n7,n5) = n6 | ssA(n7,n6) = n6 | ssA(n7,n7) = n6 | ssA(n7,n8) = n6 | ssA(n7,n9) = n6 ).
fof(ax68,conjecture,ssA(n7,n1) = n7 | ssA(n7,n2) = n7 | ssA(n7,n3) = n7 | ssA(n7,n4) = n7 | ssA(n7,n5) = n7 | ssA(n7,n6) = n7 | ssA(n7,n7) = n7 | ssA(n7,n8) = n7 | ssA(n7,n9) = n7 ).
fof(ax69,conjecture,ssA(n7,n1) = n8 | ssA(n7,n2) = n8 | ssA(n7,n3) = n8 | ssA(n7,n4) = n8 | ssA(n7,n5) = n8 | ssA(n7,n6) = n8 | ssA(n7,n7) = n8 | ssA(n7,n8) = n8 | ssA(n7,n9) = n8 ).
fof(ax70,conjecture,ssA(n7,n1) = n9 | ssA(n7,n2) = n9 | ssA(n7,n3) = n9 | ssA(n7,n4) = n9 | ssA(n7,n5) = n9 | ssA(n7,n6) = n9 | ssA(n7,n7) = n9 | ssA(n7,n8) = n9 | ssA(n7,n9) = n9 ).
fof(ax71,conjecture,ssA(n7,n1) != ssA(n7,n2) & ssA(n7,n1) != ssA(n7,n3) & ssA(n7,n1) != ssA(n7,n4) & ssA(n7,n1) != ssA(n7,n5) & ssA(n7,n1) != ssA(n7,n6) & ssA(n7,n1) != ssA(n7,n7) & ssA(n7,n1) != ssA(n7,n8) & ssA(n7,n1) != ssA(n7,n9) & ssA(n7,n2) != ssA(n7,n3) & ssA(n7,n2) != ssA(n7,n4) & ssA(n7,n2) != ssA(n7,n5) & ssA(n7,n2) != ssA(n7,n6) & ssA(n7,n2) != ssA(n7,n7) & ssA(n7,n2) != ssA(n7,n8) & ssA(n7,n2) != ssA(n7,n9) & ssA(n7,n3) != ssA(n7,n4) & ssA(n7,n3) != ssA(n7,n5) & ssA(n7,n3) != ssA(n7,n6) & ssA(n7,n3) != ssA(n7,n7) & ssA(n7,n3) != ssA(n7,n8) & ssA(n7,n3) != ssA(n7,n9) & ssA(n7,n4) != ssA(n7,n5) & ssA(n7,n4) != ssA(n7,n6) & ssA(n7,n4) != ssA(n7,n7) & ssA(n7,n4) != ssA(n7,n8) & ssA(n7,n4) != ssA(n7,n9) & ssA(n7,n5) != ssA(n7,n6) & ssA(n7,n5) != ssA(n7,n7) & ssA(n7,n5) != ssA(n7,n8) & ssA(n7,n5) != ssA(n7,n9) & ssA(n7,n6) != ssA(n7,n7) & ssA(n7,n6) != ssA(n7,n8) & ssA(n7,n6) != ssA(n7,n9) & ssA(n7,n7) != ssA(n7,n8) & ssA(n7,n7) != ssA(n7,n9) & ssA(n7,n8) != ssA(n7,n9) ).
fof(ax72,conjecture,ssA(n8,n1) = n1 | ssA(n8,n2) = n1 | ssA(n8,n3) = n1 | ssA(n8,n4) = n1 | ssA(n8,n5) = n1 | ssA(n8,n6) = n1 | ssA(n8,n7) = n1 | ssA(n8,n8) = n1 | ssA(n8,n9) = n1 ).
fof(ax73,conjecture,ssA(n8,n1) = n2 | ssA(n8,n2) = n2 | ssA(n8,n3) = n2 | ssA(n8,n4) = n2 | ssA(n8,n5) = n2 | ssA(n8,n6) = n2 | ssA(n8,n7) = n2 | ssA(n8,n8) = n2 | ssA(n8,n9) = n2 ).
fof(ax74,conjecture,ssA(n8,n1) = n3 | ssA(n8,n2) = n3 | ssA(n8,n3) = n3 | ssA(n8,n4) = n3 | ssA(n8,n5) = n3 | ssA(n8,n6) = n3 | ssA(n8,n7) = n3 | ssA(n8,n8) = n3 | ssA(n8,n9) = n3 ).
fof(ax75,conjecture,ssA(n8,n1) = n4 | ssA(n8,n2) = n4 | ssA(n8,n3) = n4 | ssA(n8,n4) = n4 | ssA(n8,n5) = n4 | ssA(n8,n6) = n4 | ssA(n8,n7) = n4 | ssA(n8,n8) = n4 | ssA(n8,n9) = n4 ).
fof(ax76,conjecture,ssA(n8,n1) = n5 | ssA(n8,n2) = n5 | ssA(n8,n3) = n5 | ssA(n8,n4) = n5 | ssA(n8,n5) = n5 | ssA(n8,n6) = n5 | ssA(n8,n7) = n5 | ssA(n8,n8) = n5 | ssA(n8,n9) = n5 ).
fof(ax77,conjecture,ssA(n8,n1) = n6 | ssA(n8,n2) = n6 | ssA(n8,n3) = n6 | ssA(n8,n4) = n6 | ssA(n8,n5) = n6 | ssA(n8,n6) = n6 | ssA(n8,n7) = n6 | ssA(n8,n8) = n6 | ssA(n8,n9) = n6 ).
fof(ax78,conjecture,ssA(n8,n1) = n7 | ssA(n8,n2) = n7 | ssA(n8,n3) = n7 | ssA(n8,n4) = n7 | ssA(n8,n5) = n7 | ssA(n8,n6) = n7 | ssA(n8,n7) = n7 | ssA(n8,n8) = n7 | ssA(n8,n9) = n7 ).
fof(ax79,conjecture,ssA(n8,n1) = n8 | ssA(n8,n2) = n8 | ssA(n8,n3) = n8 | ssA(n8,n4) = n8 | ssA(n8,n5) = n8 | ssA(n8,n6) = n8 | ssA(n8,n7) = n8 | ssA(n8,n8) = n8 | ssA(n8,n9) = n8 ).
fof(ax80,conjecture,ssA(n8,n1) = n9 | ssA(n8,n2) = n9 | ssA(n8,n3) = n9 | ssA(n8,n4) = n9 | ssA(n8,n5) = n9 | ssA(n8,n6) = n9 | ssA(n8,n7) = n9 | ssA(n8,n8) = n9 | ssA(n8,n9) = n9 ).
fof(ax81,conjecture,ssA(n8,n1) != ssA(n8,n2) & ssA(n8,n1) != ssA(n8,n3) & ssA(n8,n1) != ssA(n8,n4) & ssA(n8,n1) != ssA(n8,n5) & ssA(n8,n1) != ssA(n8,n6) & ssA(n8,n1) != ssA(n8,n7) & ssA(n8,n1) != ssA(n8,n8) & ssA(n8,n1) != ssA(n8,n9) & ssA(n8,n2) != ssA(n8,n3) & ssA(n8,n2) != ssA(n8,n4) & ssA(n8,n2) != ssA(n8,n5) & ssA(n8,n2) != ssA(n8,n6) & ssA(n8,n2) != ssA(n8,n7) & ssA(n8,n2) != ssA(n8,n8) & ssA(n8,n2) != ssA(n8,n9) & ssA(n8,n3) != ssA(n8,n4) & ssA(n8,n3) != ssA(n8,n5) & ssA(n8,n3) != ssA(n8,n6) & ssA(n8,n3) != ssA(n8,n7) & ssA(n8,n3) != ssA(n8,n8) & ssA(n8,n3) != ssA(n8,n9) & ssA(n8,n4) != ssA(n8,n5) & ssA(n8,n4) != ssA(n8,n6) & ssA(n8,n4) != ssA(n8,n7) & ssA(n8,n4) != ssA(n8,n8) & ssA(n8,n4) != ssA(n8,n9) & ssA(n8,n5) != ssA(n8,n6) & ssA(n8,n5) != ssA(n8,n7) & ssA(n8,n5) != ssA(n8,n8) & ssA(n8,n5) != ssA(n8,n9) & ssA(n8,n6) != ssA(n8,n7) & ssA(n8,n6) != ssA(n8,n8) & ssA(n8,n6) != ssA(n8,n9) & ssA(n8,n7) != ssA(n8,n8) & ssA(n8,n7) != ssA(n8,n9) & ssA(n8,n8) != ssA(n8,n9) ).
fof(ax82,conjecture,ssA(n9,n1) = n1 | ssA(n9,n2) = n1 | ssA(n9,n3) = n1 | ssA(n9,n4) = n1 | ssA(n9,n5) = n1 | ssA(n9,n6) = n1 | ssA(n9,n7) = n1 | ssA(n9,n8) = n1 | ssA(n9,n9) = n1 ).
fof(ax83,conjecture,ssA(n9,n1) = n2 | ssA(n9,n2) = n2 | ssA(n9,n3) = n2 | ssA(n9,n4) = n2 | ssA(n9,n5) = n2 | ssA(n9,n6) = n2 | ssA(n9,n7) = n2 | ssA(n9,n8) = n2 | ssA(n9,n9) = n2 ).
fof(ax84,conjecture,ssA(n9,n1) = n3 | ssA(n9,n2) = n3 | ssA(n9,n3) = n3 | ssA(n9,n4) = n3 | ssA(n9,n5) = n3 | ssA(n9,n6) = n3 | ssA(n9,n7) = n3 | ssA(n9,n8) = n3 | ssA(n9,n9) = n3 ).
fof(ax85,conjecture,ssA(n9,n1) = n4 | ssA(n9,n2) = n4 | ssA(n9,n3) = n4 | ssA(n9,n4) = n4 | ssA(n9,n5) = n4 | ssA(n9,n6) = n4 | ssA(n9,n7) = n4 | ssA(n9,n8) = n4 | ssA(n9,n9) = n4 ).
fof(ax86,conjecture,ssA(n9,n1) = n5 | ssA(n9,n2) = n5 | ssA(n9,n3) = n5 | ssA(n9,n4) = n5 | ssA(n9,n5) = n5 | ssA(n9,n6) = n5 | ssA(n9,n7) = n5 | ssA(n9,n8) = n5 | ssA(n9,n9) = n5 ).
fof(ax87,conjecture,ssA(n9,n1) = n6 | ssA(n9,n2) = n6 | ssA(n9,n3) = n6 | ssA(n9,n4) = n6 | ssA(n9,n5) = n6 | ssA(n9,n6) = n6 | ssA(n9,n7) = n6 | ssA(n9,n8) = n6 | ssA(n9,n9) = n6 ).
fof(ax88,conjecture,ssA(n9,n1) = n7 | ssA(n9,n2) = n7 | ssA(n9,n3) = n7 | ssA(n9,n4) = n7 | ssA(n9,n5) = n7 | ssA(n9,n6) = n7 | ssA(n9,n7) = n7 | ssA(n9,n8) = n7 | ssA(n9,n9) = n7 ).
fof(ax89,conjecture,ssA(n9,n1) = n8 | ssA(n9,n2) = n8 | ssA(n9,n3) = n8 | ssA(n9,n4) = n8 | ssA(n9,n5) = n8 | ssA(n9,n6) = n8 | ssA(n9,n7) = n8 | ssA(n9,n8) = n8 | ssA(n9,n9) = n8 ).
fof(ax90,conjecture,ssA(n9,n1) = n9 | ssA(n9,n2) = n9 | ssA(n9,n3) = n9 | ssA(n9,n4) = n9 | ssA(n9,n5) = n9 | ssA(n9,n6) = n9 | ssA(n9,n7) = n9 | ssA(n9,n8) = n9 | ssA(n9,n9) = n9 ).
fof(ax91,conjecture,ssA(n9,n1) != ssA(n9,n2) & ssA(n9,n1) != ssA(n9,n3) & ssA(n9,n1) != ssA(n9,n4) & ssA(n9,n1) != ssA(n9,n5) & ssA(n9,n1) != ssA(n9,n6) & ssA(n9,n1) != ssA(n9,n7) & ssA(n9,n1) != ssA(n9,n8) & ssA(n9,n1) != ssA(n9,n9) & ssA(n9,n2) != ssA(n9,n3) & ssA(n9,n2) != ssA(n9,n4) & ssA(n9,n2) != ssA(n9,n5) & ssA(n9,n2) != ssA(n9,n6) & ssA(n9,n2) != ssA(n9,n7) & ssA(n9,n2) != ssA(n9,n8) & ssA(n9,n2) != ssA(n9,n9) & ssA(n9,n3) != ssA(n9,n4) & ssA(n9,n3) != ssA(n9,n5) & ssA(n9,n3) != ssA(n9,n6) & ssA(n9,n3) != ssA(n9,n7) & ssA(n9,n3) != ssA(n9,n8) & ssA(n9,n3) != ssA(n9,n9) & ssA(n9,n4) != ssA(n9,n5) & ssA(n9,n4) != ssA(n9,n6) & ssA(n9,n4) != ssA(n9,n7) & ssA(n9,n4) != ssA(n9,n8) & ssA(n9,n4) != ssA(n9,n9) & ssA(n9,n5) != ssA(n9,n6) & ssA(n9,n5) != ssA(n9,n7) & ssA(n9,n5) != ssA(n9,n8) & ssA(n9,n5) != ssA(n9,n9) & ssA(n9,n6) != ssA(n9,n7) & ssA(n9,n6) != ssA(n9,n8) & ssA(n9,n6) != ssA(n9,n9) & ssA(n9,n7) != ssA(n9,n8) & ssA(n9,n7) != ssA(n9,n9) & ssA(n9,n8) != ssA(n9,n9) ).
fof(ax92,conjecture,ssA(n1,n1) = n1 | ssA(n2,n1) = n1 | ssA(n3,n1) = n1 | ssA(n4,n1) = n1 | ssA(n5,n1) = n1 | ssA(n6,n1) = n1 | ssA(n7,n1) = n1 | ssA(n8,n1) = n1 | ssA(n9,n1) = n1 ).
fof(ax93,conjecture,ssA(n1,n1) = n2 | ssA(n2,n1) = n2 | ssA(n3,n1) = n2 | ssA(n4,n1) = n2 | ssA(n5,n1) = n2 | ssA(n6,n1) = n2 | ssA(n7,n1) = n2 | ssA(n8,n1) = n2 | ssA(n9,n1) = n2 ).
fof(ax94,conjecture,ssA(n1,n1) = n3 | ssA(n2,n1) = n3 | ssA(n3,n1) = n3 | ssA(n4,n1) = n3 | ssA(n5,n1) = n3 | ssA(n6,n1) = n3 | ssA(n7,n1) = n3 | ssA(n8,n1) = n3 | ssA(n9,n1) = n3 ).
fof(ax95,conjecture,ssA(n1,n1) = n4 | ssA(n2,n1) = n4 | ssA(n3,n1) = n4 | ssA(n4,n1) = n4 | ssA(n5,n1) = n4 | ssA(n6,n1) = n4 | ssA(n7,n1) = n4 | ssA(n8,n1) = n4 | ssA(n9,n1) = n4 ).
fof(ax96,conjecture,ssA(n1,n1) = n5 | ssA(n2,n1) = n5 | ssA(n3,n1) = n5 | ssA(n4,n1) = n5 | ssA(n5,n1) = n5 | ssA(n6,n1) = n5 | ssA(n7,n1) = n5 | ssA(n8,n1) = n5 | ssA(n9,n1) = n5 ).
fof(ax97,conjecture,ssA(n1,n1) = n6 | ssA(n2,n1) = n6 | ssA(n3,n1) = n6 | ssA(n4,n1) = n6 | ssA(n5,n1) = n6 | ssA(n6,n1) = n6 | ssA(n7,n1) = n6 | ssA(n8,n1) = n6 | ssA(n9,n1) = n6 ).
fof(ax98,conjecture,ssA(n1,n1) = n7 | ssA(n2,n1) = n7 | ssA(n3,n1) = n7 | ssA(n4,n1) = n7 | ssA(n5,n1) = n7 | ssA(n6,n1) = n7 | ssA(n7,n1) = n7 | ssA(n8,n1) = n7 | ssA(n9,n1) = n7 ).
fof(ax99,conjecture,ssA(n1,n1) = n8 | ssA(n2,n1) = n8 | ssA(n3,n1) = n8 | ssA(n4,n1) = n8 | ssA(n5,n1) = n8 | ssA(n6,n1) = n8 | ssA(n7,n1) = n8 | ssA(n8,n1) = n8 | ssA(n9,n1) = n8 ).
fof(ax100,conjecture,ssA(n1,n1) = n9 | ssA(n2,n1) = n9 | ssA(n3,n1) = n9 | ssA(n4,n1) = n9 | ssA(n5,n1) = n9 | ssA(n6,n1) = n9 | ssA(n7,n1) = n9 | ssA(n8,n1) = n9 | ssA(n9,n1) = n9 ).
fof(ax101,conjecture,ssA(n1,n1) != ssA(n2,n1) & ssA(n1,n1) != ssA(n3,n1) & ssA(n1,n1) != ssA(n4,n1) & ssA(n1,n1) != ssA(n5,n1) & ssA(n1,n1) != ssA(n6,n1) & ssA(n1,n1) != ssA(n7,n1) & ssA(n1,n1) != ssA(n8,n1) & ssA(n1,n1) != ssA(n9,n1) & ssA(n2,n1) != ssA(n3,n1) & ssA(n2,n1) != ssA(n4,n1) & ssA(n2,n1) != ssA(n5,n1) & ssA(n2,n1) != ssA(n6,n1) & ssA(n2,n1) != ssA(n7,n1) & ssA(n2,n1) != ssA(n8,n1) & ssA(n2,n1) != ssA(n9,n1) & ssA(n3,n1) != ssA(n4,n1) & ssA(n3,n1) != ssA(n5,n1) & ssA(n3,n1) != ssA(n6,n1) & ssA(n3,n1) != ssA(n7,n1) & ssA(n3,n1) != ssA(n8,n1) & ssA(n3,n1) != ssA(n9,n1) & ssA(n4,n1) != ssA(n5,n1) & ssA(n4,n1) != ssA(n6,n1) & ssA(n4,n1) != ssA(n7,n1) & ssA(n4,n1) != ssA(n8,n1) & ssA(n4,n1) != ssA(n9,n1) & ssA(n5,n1) != ssA(n6,n1) & ssA(n5,n1) != ssA(n7,n1) & ssA(n5,n1) != ssA(n8,n1) & ssA(n5,n1) != ssA(n9,n1) & ssA(n6,n1) != ssA(n7,n1) & ssA(n6,n1) != ssA(n8,n1) & ssA(n6,n1) != ssA(n9,n1) & ssA(n7,n1) != ssA(n8,n1) & ssA(n7,n1) != ssA(n9,n1) & ssA(n8,n1) != ssA(n9,n1) ).
fof(ax102,conjecture,ssA(n1,n2) = n1 | ssA(n2,n2) = n1 | ssA(n3,n2) = n1 | ssA(n4,n2) = n1 | ssA(n5,n2) = n1 | ssA(n6,n2) = n1 | ssA(n7,n2) = n1 | ssA(n8,n2) = n1 | ssA(n9,n2) = n1 ).
fof(ax103,conjecture,ssA(n1,n2) = n2 | ssA(n2,n2) = n2 | ssA(n3,n2) = n2 | ssA(n4,n2) = n2 | ssA(n5,n2) = n2 | ssA(n6,n2) = n2 | ssA(n7,n2) = n2 | ssA(n8,n2) = n2 | ssA(n9,n2) = n2 ).
fof(ax104,conjecture,ssA(n1,n2) = n3 | ssA(n2,n2) = n3 | ssA(n3,n2) = n3 | ssA(n4,n2) = n3 | ssA(n5,n2) = n3 | ssA(n6,n2) = n3 | ssA(n7,n2) = n3 | ssA(n8,n2) = n3 | ssA(n9,n2) = n3 ).
fof(ax105,conjecture,ssA(n1,n2) = n4 | ssA(n2,n2) = n4 | ssA(n3,n2) = n4 | ssA(n4,n2) = n4 | ssA(n5,n2) = n4 | ssA(n6,n2) = n4 | ssA(n7,n2) = n4 | ssA(n8,n2) = n4 | ssA(n9,n2) = n4 ).
fof(ax106,conjecture,ssA(n1,n2) = n5 | ssA(n2,n2) = n5 | ssA(n3,n2) = n5 | ssA(n4,n2) = n5 | ssA(n5,n2) = n5 | ssA(n6,n2) = n5 | ssA(n7,n2) = n5 | ssA(n8,n2) = n5 | ssA(n9,n2) = n5 ).
fof(ax107,conjecture,ssA(n1,n2) = n6 | ssA(n2,n2) = n6 | ssA(n3,n2) = n6 | ssA(n4,n2) = n6 | ssA(n5,n2) = n6 | ssA(n6,n2) = n6 | ssA(n7,n2) = n6 | ssA(n8,n2) = n6 | ssA(n9,n2) = n6 ).
fof(ax108,conjecture,ssA(n1,n2) = n7 | ssA(n2,n2) = n7 | ssA(n3,n2) = n7 | ssA(n4,n2) = n7 | ssA(n5,n2) = n7 | ssA(n6,n2) = n7 | ssA(n7,n2) = n7 | ssA(n8,n2) = n7 | ssA(n9,n2) = n7 ).
fof(ax109,conjecture,ssA(n1,n2) = n8 | ssA(n2,n2) = n8 | ssA(n3,n2) = n8 | ssA(n4,n2) = n8 | ssA(n5,n2) = n8 | ssA(n6,n2) = n8 | ssA(n7,n2) = n8 | ssA(n8,n2) = n8 | ssA(n9,n2) = n8 ).
fof(ax110,conjecture,ssA(n1,n2) = n9 | ssA(n2,n2) = n9 | ssA(n3,n2) = n9 | ssA(n4,n2) = n9 | ssA(n5,n2) = n9 | ssA(n6,n2) = n9 | ssA(n7,n2) = n9 | ssA(n8,n2) = n9 | ssA(n9,n2) = n9 ).
fof(ax111,conjecture,ssA(n1,n2) != ssA(n2,n2) & ssA(n1,n2) != ssA(n3,n2) & ssA(n1,n2) != ssA(n4,n2) & ssA(n1,n2) != ssA(n5,n2) & ssA(n1,n2) != ssA(n6,n2) & ssA(n1,n2) != ssA(n7,n2) & ssA(n1,n2) != ssA(n8,n2) & ssA(n1,n2) != ssA(n9,n2) & ssA(n2,n2) != ssA(n3,n2) & ssA(n2,n2) != ssA(n4,n2) & ssA(n2,n2) != ssA(n5,n2) & ssA(n2,n2) != ssA(n6,n2) & ssA(n2,n2) != ssA(n7,n2) & ssA(n2,n2) != ssA(n8,n2) & ssA(n2,n2) != ssA(n9,n2) & ssA(n3,n2) != ssA(n4,n2) & ssA(n3,n2) != ssA(n5,n2) & ssA(n3,n2) != ssA(n6,n2) & ssA(n3,n2) != ssA(n7,n2) & ssA(n3,n2) != ssA(n8,n2) & ssA(n3,n2) != ssA(n9,n2) & ssA(n4,n2) != ssA(n5,n2) & ssA(n4,n2) != ssA(n6,n2) & ssA(n4,n2) != ssA(n7,n2) & ssA(n4,n2) != ssA(n8,n2) & ssA(n4,n2) != ssA(n9,n2) & ssA(n5,n2) != ssA(n6,n2) & ssA(n5,n2) != ssA(n7,n2) & ssA(n5,n2) != ssA(n8,n2) & ssA(n5,n2) != ssA(n9,n2) & ssA(n6,n2) != ssA(n7,n2) & ssA(n6,n2) != ssA(n8,n2) & ssA(n6,n2) != ssA(n9,n2) & ssA(n7,n2) != ssA(n8,n2) & ssA(n7,n2) != ssA(n9,n2) & ssA(n8,n2) != ssA(n9,n2) ).
fof(ax112,conjecture,ssA(n1,n3) = n1 | ssA(n2,n3) = n1 | ssA(n3,n3) = n1 | ssA(n4,n3) = n1 | ssA(n5,n3) = n1 | ssA(n6,n3) = n1 | ssA(n7,n3) = n1 | ssA(n8,n3) = n1 | ssA(n9,n3) = n1 ).
fof(ax113,conjecture,ssA(n1,n3) = n2 | ssA(n2,n3) = n2 | ssA(n3,n3) = n2 | ssA(n4,n3) = n2 | ssA(n5,n3) = n2 | ssA(n6,n3) = n2 | ssA(n7,n3) = n2 | ssA(n8,n3) = n2 | ssA(n9,n3) = n2 ).
fof(ax114,conjecture,ssA(n1,n3) = n3 | ssA(n2,n3) = n3 | ssA(n3,n3) = n3 | ssA(n4,n3) = n3 | ssA(n5,n3) = n3 | ssA(n6,n3) = n3 | ssA(n7,n3) = n3 | ssA(n8,n3) = n3 | ssA(n9,n3) = n3 ).
fof(ax115,conjecture,ssA(n1,n3) = n4 | ssA(n2,n3) = n4 | ssA(n3,n3) = n4 | ssA(n4,n3) = n4 | ssA(n5,n3) = n4 | ssA(n6,n3) = n4 | ssA(n7,n3) = n4 | ssA(n8,n3) = n4 | ssA(n9,n3) = n4 ).
fof(ax116,conjecture,ssA(n1,n3) = n5 | ssA(n2,n3) = n5 | ssA(n3,n3) = n5 | ssA(n4,n3) = n5 | ssA(n5,n3) = n5 | ssA(n6,n3) = n5 | ssA(n7,n3) = n5 | ssA(n8,n3) = n5 | ssA(n9,n3) = n5 ).
fof(ax117,conjecture,ssA(n1,n3) = n6 | ssA(n2,n3) = n6 | ssA(n3,n3) = n6 | ssA(n4,n3) = n6 | ssA(n5,n3) = n6 | ssA(n6,n3) = n6 | ssA(n7,n3) = n6 | ssA(n8,n3) = n6 | ssA(n9,n3) = n6 ).
fof(ax118,conjecture,ssA(n1,n3) = n7 | ssA(n2,n3) = n7 | ssA(n3,n3) = n7 | ssA(n4,n3) = n7 | ssA(n5,n3) = n7 | ssA(n6,n3) = n7 | ssA(n7,n3) = n7 | ssA(n8,n3) = n7 | ssA(n9,n3) = n7 ).
fof(ax119,conjecture,ssA(n1,n3) = n8 | ssA(n2,n3) = n8 | ssA(n3,n3) = n8 | ssA(n4,n3) = n8 | ssA(n5,n3) = n8 | ssA(n6,n3) = n8 | ssA(n7,n3) = n8 | ssA(n8,n3) = n8 | ssA(n9,n3) = n8 ).
fof(ax120,conjecture,ssA(n1,n3) = n9 | ssA(n2,n3) = n9 | ssA(n3,n3) = n9 | ssA(n4,n3) = n9 | ssA(n5,n3) = n9 | ssA(n6,n3) = n9 | ssA(n7,n3) = n9 | ssA(n8,n3) = n9 | ssA(n9,n3) = n9 ).
fof(ax121,conjecture,ssA(n1,n3) != ssA(n2,n3) & ssA(n1,n3) != ssA(n3,n3) & ssA(n1,n3) != ssA(n4,n3) & ssA(n1,n3) != ssA(n5,n3) & ssA(n1,n3) != ssA(n6,n3) & ssA(n1,n3) != ssA(n7,n3) & ssA(n1,n3) != ssA(n8,n3) & ssA(n1,n3) != ssA(n9,n3) & ssA(n2,n3) != ssA(n3,n3) & ssA(n2,n3) != ssA(n4,n3) & ssA(n2,n3) != ssA(n5,n3) & ssA(n2,n3) != ssA(n6,n3) & ssA(n2,n3) != ssA(n7,n3) & ssA(n2,n3) != ssA(n8,n3) & ssA(n2,n3) != ssA(n9,n3) & ssA(n3,n3) != ssA(n4,n3) & ssA(n3,n3) != ssA(n5,n3) & ssA(n3,n3) != ssA(n6,n3) & ssA(n3,n3) != ssA(n7,n3) & ssA(n3,n3) != ssA(n8,n3) & ssA(n3,n3) != ssA(n9,n3) & ssA(n4,n3) != ssA(n5,n3) & ssA(n4,n3) != ssA(n6,n3) & ssA(n4,n3) != ssA(n7,n3) & ssA(n4,n3) != ssA(n8,n3) & ssA(n4,n3) != ssA(n9,n3) & ssA(n5,n3) != ssA(n6,n3) & ssA(n5,n3) != ssA(n7,n3) & ssA(n5,n3) != ssA(n8,n3) & ssA(n5,n3) != ssA(n9,n3) & ssA(n6,n3) != ssA(n7,n3) & ssA(n6,n3) != ssA(n8,n3) & ssA(n6,n3) != ssA(n9,n3) & ssA(n7,n3) != ssA(n8,n3) & ssA(n7,n3) != ssA(n9,n3) & ssA(n8,n3) != ssA(n9,n3) ).
fof(ax122,conjecture,ssA(n1,n4) = n1 | ssA(n2,n4) = n1 | ssA(n3,n4) = n1 | ssA(n4,n4) = n1 | ssA(n5,n4) = n1 | ssA(n6,n4) = n1 | ssA(n7,n4) = n1 | ssA(n8,n4) = n1 | ssA(n9,n4) = n1 ).
fof(ax123,conjecture,ssA(n1,n4) = n2 | ssA(n2,n4) = n2 | ssA(n3,n4) = n2 | ssA(n4,n4) = n2 | ssA(n5,n4) = n2 | ssA(n6,n4) = n2 | ssA(n7,n4) = n2 | ssA(n8,n4) = n2 | ssA(n9,n4) = n2 ).
fof(ax124,conjecture,ssA(n1,n4) = n3 | ssA(n2,n4) = n3 | ssA(n3,n4) = n3 | ssA(n4,n4) = n3 | ssA(n5,n4) = n3 | ssA(n6,n4) = n3 | ssA(n7,n4) = n3 | ssA(n8,n4) = n3 | ssA(n9,n4) = n3 ).
fof(ax125,conjecture,ssA(n1,n4) = n4 | ssA(n2,n4) = n4 | ssA(n3,n4) = n4 | ssA(n4,n4) = n4 | ssA(n5,n4) = n4 | ssA(n6,n4) = n4 | ssA(n7,n4) = n4 | ssA(n8,n4) = n4 | ssA(n9,n4) = n4 ).
fof(ax126,conjecture,ssA(n1,n4) = n5 | ssA(n2,n4) = n5 | ssA(n3,n4) = n5 | ssA(n4,n4) = n5 | ssA(n5,n4) = n5 | ssA(n6,n4) = n5 | ssA(n7,n4) = n5 | ssA(n8,n4) = n5 | ssA(n9,n4) = n5 ).
fof(ax127,conjecture,ssA(n1,n4) = n6 | ssA(n2,n4) = n6 | ssA(n3,n4) = n6 | ssA(n4,n4) = n6 | ssA(n5,n4) = n6 | ssA(n6,n4) = n6 | ssA(n7,n4) = n6 | ssA(n8,n4) = n6 | ssA(n9,n4) = n6 ).
fof(ax128,conjecture,ssA(n1,n4) = n7 | ssA(n2,n4) = n7 | ssA(n3,n4) = n7 | ssA(n4,n4) = n7 | ssA(n5,n4) = n7 | ssA(n6,n4) = n7 | ssA(n7,n4) = n7 | ssA(n8,n4) = n7 | ssA(n9,n4) = n7 ).
fof(ax129,conjecture,ssA(n1,n4) = n8 | ssA(n2,n4) = n8 | ssA(n3,n4) = n8 | ssA(n4,n4) = n8 | ssA(n5,n4) = n8 | ssA(n6,n4) = n8 | ssA(n7,n4) = n8 | ssA(n8,n4) = n8 | ssA(n9,n4) = n8 ).
fof(ax130,conjecture,ssA(n1,n4) = n9 | ssA(n2,n4) = n9 | ssA(n3,n4) = n9 | ssA(n4,n4) = n9 | ssA(n5,n4) = n9 | ssA(n6,n4) = n9 | ssA(n7,n4) = n9 | ssA(n8,n4) = n9 | ssA(n9,n4) = n9 ).
fof(ax131,conjecture,ssA(n1,n4) != ssA(n2,n4) & ssA(n1,n4) != ssA(n3,n4) & ssA(n1,n4) != ssA(n4,n4) & ssA(n1,n4) != ssA(n5,n4) & ssA(n1,n4) != ssA(n6,n4) & ssA(n1,n4) != ssA(n7,n4) & ssA(n1,n4) != ssA(n8,n4) & ssA(n1,n4) != ssA(n9,n4) & ssA(n2,n4) != ssA(n3,n4) & ssA(n2,n4) != ssA(n4,n4) & ssA(n2,n4) != ssA(n5,n4) & ssA(n2,n4) != ssA(n6,n4) & ssA(n2,n4) != ssA(n7,n4) & ssA(n2,n4) != ssA(n8,n4) & ssA(n2,n4) != ssA(n9,n4) & ssA(n3,n4) != ssA(n4,n4) & ssA(n3,n4) != ssA(n5,n4) & ssA(n3,n4) != ssA(n6,n4) & ssA(n3,n4) != ssA(n7,n4) & ssA(n3,n4) != ssA(n8,n4) & ssA(n3,n4) != ssA(n9,n4) & ssA(n4,n4) != ssA(n5,n4) & ssA(n4,n4) != ssA(n6,n4) & ssA(n4,n4) != ssA(n7,n4) & ssA(n4,n4) != ssA(n8,n4) & ssA(n4,n4) != ssA(n9,n4) & ssA(n5,n4) != ssA(n6,n4) & ssA(n5,n4) != ssA(n7,n4) & ssA(n5,n4) != ssA(n8,n4) & ssA(n5,n4) != ssA(n9,n4) & ssA(n6,n4) != ssA(n7,n4) & ssA(n6,n4) != ssA(n8,n4) & ssA(n6,n4) != ssA(n9,n4) & ssA(n7,n4) != ssA(n8,n4) & ssA(n7,n4) != ssA(n9,n4) & ssA(n8,n4) != ssA(n9,n4) ).
fof(ax132,conjecture,ssA(n1,n5) = n1 | ssA(n2,n5) = n1 | ssA(n3,n5) = n1 | ssA(n4,n5) = n1 | ssA(n5,n5) = n1 | ssA(n6,n5) = n1 | ssA(n7,n5) = n1 | ssA(n8,n5) = n1 | ssA(n9,n5) = n1 ).
fof(ax133,conjecture,ssA(n1,n5) = n2 | ssA(n2,n5) = n2 | ssA(n3,n5) = n2 | ssA(n4,n5) = n2 | ssA(n5,n5) = n2 | ssA(n6,n5) = n2 | ssA(n7,n5) = n2 | ssA(n8,n5) = n2 | ssA(n9,n5) = n2 ).
fof(ax134,conjecture,ssA(n1,n5) = n3 | ssA(n2,n5) = n3 | ssA(n3,n5) = n3 | ssA(n4,n5) = n3 | ssA(n5,n5) = n3 | ssA(n6,n5) = n3 | ssA(n7,n5) = n3 | ssA(n8,n5) = n3 | ssA(n9,n5) = n3 ).
fof(ax135,conjecture,ssA(n1,n5) = n4 | ssA(n2,n5) = n4 | ssA(n3,n5) = n4 | ssA(n4,n5) = n4 | ssA(n5,n5) = n4 | ssA(n6,n5) = n4 | ssA(n7,n5) = n4 | ssA(n8,n5) = n4 | ssA(n9,n5) = n4 ).
fof(ax136,conjecture,ssA(n1,n5) = n5 | ssA(n2,n5) = n5 | ssA(n3,n5) = n5 | ssA(n4,n5) = n5 | ssA(n5,n5) = n5 | ssA(n6,n5) = n5 | ssA(n7,n5) = n5 | ssA(n8,n5) = n5 | ssA(n9,n5) = n5 ).
fof(ax137,conjecture,ssA(n1,n5) = n6 | ssA(n2,n5) = n6 | ssA(n3,n5) = n6 | ssA(n4,n5) = n6 | ssA(n5,n5) = n6 | ssA(n6,n5) = n6 | ssA(n7,n5) = n6 | ssA(n8,n5) = n6 | ssA(n9,n5) = n6 ).
fof(ax138,conjecture,ssA(n1,n5) = n7 | ssA(n2,n5) = n7 | ssA(n3,n5) = n7 | ssA(n4,n5) = n7 | ssA(n5,n5) = n7 | ssA(n6,n5) = n7 | ssA(n7,n5) = n7 | ssA(n8,n5) = n7 | ssA(n9,n5) = n7 ).
fof(ax139,conjecture,ssA(n1,n5) = n8 | ssA(n2,n5) = n8 | ssA(n3,n5) = n8 | ssA(n4,n5) = n8 | ssA(n5,n5) = n8 | ssA(n6,n5) = n8 | ssA(n7,n5) = n8 | ssA(n8,n5) = n8 | ssA(n9,n5) = n8 ).
fof(ax140,conjecture,ssA(n1,n5) = n9 | ssA(n2,n5) = n9 | ssA(n3,n5) = n9 | ssA(n4,n5) = n9 | ssA(n5,n5) = n9 | ssA(n6,n5) = n9 | ssA(n7,n5) = n9 | ssA(n8,n5) = n9 | ssA(n9,n5) = n9 ).
fof(ax141,conjecture,ssA(n1,n5) != ssA(n2,n5) & ssA(n1,n5) != ssA(n3,n5) & ssA(n1,n5) != ssA(n4,n5) & ssA(n1,n5) != ssA(n5,n5) & ssA(n1,n5) != ssA(n6,n5) & ssA(n1,n5) != ssA(n7,n5) & ssA(n1,n5) != ssA(n8,n5) & ssA(n1,n5) != ssA(n9,n5) & ssA(n2,n5) != ssA(n3,n5) & ssA(n2,n5) != ssA(n4,n5) & ssA(n2,n5) != ssA(n5,n5) & ssA(n2,n5) != ssA(n6,n5) & ssA(n2,n5) != ssA(n7,n5) & ssA(n2,n5) != ssA(n8,n5) & ssA(n2,n5) != ssA(n9,n5) & ssA(n3,n5) != ssA(n4,n5) & ssA(n3,n5) != ssA(n5,n5) & ssA(n3,n5) != ssA(n6,n5) & ssA(n3,n5) != ssA(n7,n5) & ssA(n3,n5) != ssA(n8,n5) & ssA(n3,n5) != ssA(n9,n5) & ssA(n4,n5) != ssA(n5,n5) & ssA(n4,n5) != ssA(n6,n5) & ssA(n4,n5) != ssA(n7,n5) & ssA(n4,n5) != ssA(n8,n5) & ssA(n4,n5) != ssA(n9,n5) & ssA(n5,n5) != ssA(n6,n5) & ssA(n5,n5) != ssA(n7,n5) & ssA(n5,n5) != ssA(n8,n5) & ssA(n5,n5) != ssA(n9,n5) & ssA(n6,n5) != ssA(n7,n5) & ssA(n6,n5) != ssA(n8,n5) & ssA(n6,n5) != ssA(n9,n5) & ssA(n7,n5) != ssA(n8,n5) & ssA(n7,n5) != ssA(n9,n5) & ssA(n8,n5) != ssA(n9,n5) ).
fof(ax142,conjecture,ssA(n1,n6) = n1 | ssA(n2,n6) = n1 | ssA(n3,n6) = n1 | ssA(n4,n6) = n1 | ssA(n5,n6) = n1 | ssA(n6,n6) = n1 | ssA(n7,n6) = n1 | ssA(n8,n6) = n1 | ssA(n9,n6) = n1 ).
fof(ax143,conjecture,ssA(n1,n6) = n2 | ssA(n2,n6) = n2 | ssA(n3,n6) = n2 | ssA(n4,n6) = n2 | ssA(n5,n6) = n2 | ssA(n6,n6) = n2 | ssA(n7,n6) = n2 | ssA(n8,n6) = n2 | ssA(n9,n6) = n2 ).
fof(ax144,conjecture,ssA(n1,n6) = n3 | ssA(n2,n6) = n3 | ssA(n3,n6) = n3 | ssA(n4,n6) = n3 | ssA(n5,n6) = n3 | ssA(n6,n6) = n3 | ssA(n7,n6) = n3 | ssA(n8,n6) = n3 | ssA(n9,n6) = n3 ).
fof(ax145,conjecture,ssA(n1,n6) = n4 | ssA(n2,n6) = n4 | ssA(n3,n6) = n4 | ssA(n4,n6) = n4 | ssA(n5,n6) = n4 | ssA(n6,n6) = n4 | ssA(n7,n6) = n4 | ssA(n8,n6) = n4 | ssA(n9,n6) = n4 ).
fof(ax146,conjecture,ssA(n1,n6) = n5 | ssA(n2,n6) = n5 | ssA(n3,n6) = n5 | ssA(n4,n6) = n5 | ssA(n5,n6) = n5 | ssA(n6,n6) = n5 | ssA(n7,n6) = n5 | ssA(n8,n6) = n5 | ssA(n9,n6) = n5 ).
fof(ax147,conjecture,ssA(n1,n6) = n6 | ssA(n2,n6) = n6 | ssA(n3,n6) = n6 | ssA(n4,n6) = n6 | ssA(n5,n6) = n6 | ssA(n6,n6) = n6 | ssA(n7,n6) = n6 | ssA(n8,n6) = n6 | ssA(n9,n6) = n6 ).
fof(ax148,conjecture,ssA(n1,n6) = n7 | ssA(n2,n6) = n7 | ssA(n3,n6) = n7 | ssA(n4,n6) = n7 | ssA(n5,n6) = n7 | ssA(n6,n6) = n7 | ssA(n7,n6) = n7 | ssA(n8,n6) = n7 | ssA(n9,n6) = n7 ).
fof(ax149,conjecture,ssA(n1,n6) = n8 | ssA(n2,n6) = n8 | ssA(n3,n6) = n8 | ssA(n4,n6) = n8 | ssA(n5,n6) = n8 | ssA(n6,n6) = n8 | ssA(n7,n6) = n8 | ssA(n8,n6) = n8 | ssA(n9,n6) = n8 ).
fof(ax150,conjecture,ssA(n1,n6) = n9 | ssA(n2,n6) = n9 | ssA(n3,n6) = n9 | ssA(n4,n6) = n9 | ssA(n5,n6) = n9 | ssA(n6,n6) = n9 | ssA(n7,n6) = n9 | ssA(n8,n6) = n9 | ssA(n9,n6) = n9 ).
fof(ax151,conjecture,ssA(n1,n6) != ssA(n2,n6) & ssA(n1,n6) != ssA(n3,n6) & ssA(n1,n6) != ssA(n4,n6) & ssA(n1,n6) != ssA(n5,n6) & ssA(n1,n6) != ssA(n6,n6) & ssA(n1,n6) != ssA(n7,n6) & ssA(n1,n6) != ssA(n8,n6) & ssA(n1,n6) != ssA(n9,n6) & ssA(n2,n6) != ssA(n3,n6) & ssA(n2,n6) != ssA(n4,n6) & ssA(n2,n6) != ssA(n5,n6) & ssA(n2,n6) != ssA(n6,n6) & ssA(n2,n6) != ssA(n7,n6) & ssA(n2,n6) != ssA(n8,n6) & ssA(n2,n6) != ssA(n9,n6) & ssA(n3,n6) != ssA(n4,n6) & ssA(n3,n6) != ssA(n5,n6) & ssA(n3,n6) != ssA(n6,n6) & ssA(n3,n6) != ssA(n7,n6) & ssA(n3,n6) != ssA(n8,n6) & ssA(n3,n6) != ssA(n9,n6) & ssA(n4,n6) != ssA(n5,n6) & ssA(n4,n6) != ssA(n6,n6) & ssA(n4,n6) != ssA(n7,n6) & ssA(n4,n6) != ssA(n8,n6) & ssA(n4,n6) != ssA(n9,n6) & ssA(n5,n6) != ssA(n6,n6) & ssA(n5,n6) != ssA(n7,n6) & ssA(n5,n6) != ssA(n8,n6) & ssA(n5,n6) != ssA(n9,n6) & ssA(n6,n6) != ssA(n7,n6) & ssA(n6,n6) != ssA(n8,n6) & ssA(n6,n6) != ssA(n9,n6) & ssA(n7,n6) != ssA(n8,n6) & ssA(n7,n6) != ssA(n9,n6) & ssA(n8,n6) != ssA(n9,n6) ).
fof(ax152,conjecture,ssA(n1,n7) = n1 | ssA(n2,n7) = n1 | ssA(n3,n7) = n1 | ssA(n4,n7) = n1 | ssA(n5,n7) = n1 | ssA(n6,n7) = n1 | ssA(n7,n7) = n1 | ssA(n8,n7) = n1 | ssA(n9,n7) = n1 ).
fof(ax153,conjecture,ssA(n1,n7) = n2 | ssA(n2,n7) = n2 | ssA(n3,n7) = n2 | ssA(n4,n7) = n2 | ssA(n5,n7) = n2 | ssA(n6,n7) = n2 | ssA(n7,n7) = n2 | ssA(n8,n7) = n2 | ssA(n9,n7) = n2 ).
fof(ax154,conjecture,ssA(n1,n7) = n3 | ssA(n2,n7) = n3 | ssA(n3,n7) = n3 | ssA(n4,n7) = n3 | ssA(n5,n7) = n3 | ssA(n6,n7) = n3 | ssA(n7,n7) = n3 | ssA(n8,n7) = n3 | ssA(n9,n7) = n3 ).
fof(ax155,conjecture,ssA(n1,n7) = n4 | ssA(n2,n7) = n4 | ssA(n3,n7) = n4 | ssA(n4,n7) = n4 | ssA(n5,n7) = n4 | ssA(n6,n7) = n4 | ssA(n7,n7) = n4 | ssA(n8,n7) = n4 | ssA(n9,n7) = n4 ).
fof(ax156,conjecture,ssA(n1,n7) = n5 | ssA(n2,n7) = n5 | ssA(n3,n7) = n5 | ssA(n4,n7) = n5 | ssA(n5,n7) = n5 | ssA(n6,n7) = n5 | ssA(n7,n7) = n5 | ssA(n8,n7) = n5 | ssA(n9,n7) = n5 ).
fof(ax157,conjecture,ssA(n1,n7) = n6 | ssA(n2,n7) = n6 | ssA(n3,n7) = n6 | ssA(n4,n7) = n6 | ssA(n5,n7) = n6 | ssA(n6,n7) = n6 | ssA(n7,n7) = n6 | ssA(n8,n7) = n6 | ssA(n9,n7) = n6 ).
fof(ax158,conjecture,ssA(n1,n7) = n7 | ssA(n2,n7) = n7 | ssA(n3,n7) = n7 | ssA(n4,n7) = n7 | ssA(n5,n7) = n7 | ssA(n6,n7) = n7 | ssA(n7,n7) = n7 | ssA(n8,n7) = n7 | ssA(n9,n7) = n7 ).
fof(ax159,conjecture,ssA(n1,n7) = n8 | ssA(n2,n7) = n8 | ssA(n3,n7) = n8 | ssA(n4,n7) = n8 | ssA(n5,n7) = n8 | ssA(n6,n7) = n8 | ssA(n7,n7) = n8 | ssA(n8,n7) = n8 | ssA(n9,n7) = n8 ).
fof(ax160,conjecture,ssA(n1,n7) = n9 | ssA(n2,n7) = n9 | ssA(n3,n7) = n9 | ssA(n4,n7) = n9 | ssA(n5,n7) = n9 | ssA(n6,n7) = n9 | ssA(n7,n7) = n9 | ssA(n8,n7) = n9 | ssA(n9,n7) = n9 ).
fof(ax161,conjecture,ssA(n1,n7) != ssA(n2,n7) & ssA(n1,n7) != ssA(n3,n7) & ssA(n1,n7) != ssA(n4,n7) & ssA(n1,n7) != ssA(n5,n7) & ssA(n1,n7) != ssA(n6,n7) & ssA(n1,n7) != ssA(n7,n7) & ssA(n1,n7) != ssA(n8,n7) & ssA(n1,n7) != ssA(n9,n7) & ssA(n2,n7) != ssA(n3,n7) & ssA(n2,n7) != ssA(n4,n7) & ssA(n2,n7) != ssA(n5,n7) & ssA(n2,n7) != ssA(n6,n7) & ssA(n2,n7) != ssA(n7,n7) & ssA(n2,n7) != ssA(n8,n7) & ssA(n2,n7) != ssA(n9,n7) & ssA(n3,n7) != ssA(n4,n7) & ssA(n3,n7) != ssA(n5,n7) & ssA(n3,n7) != ssA(n6,n7) & ssA(n3,n7) != ssA(n7,n7) & ssA(n3,n7) != ssA(n8,n7) & ssA(n3,n7) != ssA(n9,n7) & ssA(n4,n7) != ssA(n5,n7) & ssA(n4,n7) != ssA(n6,n7) & ssA(n4,n7) != ssA(n7,n7) & ssA(n4,n7) != ssA(n8,n7) & ssA(n4,n7) != ssA(n9,n7) & ssA(n5,n7) != ssA(n6,n7) & ssA(n5,n7) != ssA(n7,n7) & ssA(n5,n7) != ssA(n8,n7) & ssA(n5,n7) != ssA(n9,n7) & ssA(n6,n7) != ssA(n7,n7) & ssA(n6,n7) != ssA(n8,n7) & ssA(n6,n7) != ssA(n9,n7) & ssA(n7,n7) != ssA(n8,n7) & ssA(n7,n7) != ssA(n9,n7) & ssA(n8,n7) != ssA(n9,n7) ).
fof(ax162,conjecture,ssA(n1,n8) = n1 | ssA(n2,n8) = n1 | ssA(n3,n8) = n1 | ssA(n4,n8) = n1 | ssA(n5,n8) = n1 | ssA(n6,n8) = n1 | ssA(n7,n8) = n1 | ssA(n8,n8) = n1 | ssA(n9,n8) = n1 ).
fof(ax163,conjecture,ssA(n1,n8) = n2 | ssA(n2,n8) = n2 | ssA(n3,n8) = n2 | ssA(n4,n8) = n2 | ssA(n5,n8) = n2 | ssA(n6,n8) = n2 | ssA(n7,n8) = n2 | ssA(n8,n8) = n2 | ssA(n9,n8) = n2 ).
fof(ax164,conjecture,ssA(n1,n8) = n3 | ssA(n2,n8) = n3 | ssA(n3,n8) = n3 | ssA(n4,n8) = n3 | ssA(n5,n8) = n3 | ssA(n6,n8) = n3 | ssA(n7,n8) = n3 | ssA(n8,n8) = n3 | ssA(n9,n8) = n3 ).
fof(ax165,conjecture,ssA(n1,n8) = n4 | ssA(n2,n8) = n4 | ssA(n3,n8) = n4 | ssA(n4,n8) = n4 | ssA(n5,n8) = n4 | ssA(n6,n8) = n4 | ssA(n7,n8) = n4 | ssA(n8,n8) = n4 | ssA(n9,n8) = n4 ).
fof(ax166,conjecture,ssA(n1,n8) = n5 | ssA(n2,n8) = n5 | ssA(n3,n8) = n5 | ssA(n4,n8) = n5 | ssA(n5,n8) = n5 | ssA(n6,n8) = n5 | ssA(n7,n8) = n5 | ssA(n8,n8) = n5 | ssA(n9,n8) = n5 ).
fof(ax167,conjecture,ssA(n1,n8) = n6 | ssA(n2,n8) = n6 | ssA(n3,n8) = n6 | ssA(n4,n8) = n6 | ssA(n5,n8) = n6 | ssA(n6,n8) = n6 | ssA(n7,n8) = n6 | ssA(n8,n8) = n6 | ssA(n9,n8) = n6 ).
fof(ax168,conjecture,ssA(n1,n8) = n7 | ssA(n2,n8) = n7 | ssA(n3,n8) = n7 | ssA(n4,n8) = n7 | ssA(n5,n8) = n7 | ssA(n6,n8) = n7 | ssA(n7,n8) = n7 | ssA(n8,n8) = n7 | ssA(n9,n8) = n7 ).
fof(ax169,conjecture,ssA(n1,n8) = n8 | ssA(n2,n8) = n8 | ssA(n3,n8) = n8 | ssA(n4,n8) = n8 | ssA(n5,n8) = n8 | ssA(n6,n8) = n8 | ssA(n7,n8) = n8 | ssA(n8,n8) = n8 | ssA(n9,n8) = n8 ).
fof(ax170,conjecture,ssA(n1,n8) = n9 | ssA(n2,n8) = n9 | ssA(n3,n8) = n9 | ssA(n4,n8) = n9 | ssA(n5,n8) = n9 | ssA(n6,n8) = n9 | ssA(n7,n8) = n9 | ssA(n8,n8) = n9 | ssA(n9,n8) = n9 ).
fof(ax171,conjecture,ssA(n1,n8) != ssA(n2,n8) & ssA(n1,n8) != ssA(n3,n8) & ssA(n1,n8) != ssA(n4,n8) & ssA(n1,n8) != ssA(n5,n8) & ssA(n1,n8) != ssA(n6,n8) & ssA(n1,n8) != ssA(n7,n8) & ssA(n1,n8) != ssA(n8,n8) & ssA(n1,n8) != ssA(n9,n8) & ssA(n2,n8) != ssA(n3,n8) & ssA(n2,n8) != ssA(n4,n8) & ssA(n2,n8) != ssA(n5,n8) & ssA(n2,n8) != ssA(n6,n8) & ssA(n2,n8) != ssA(n7,n8) & ssA(n2,n8) != ssA(n8,n8) & ssA(n2,n8) != ssA(n9,n8) & ssA(n3,n8) != ssA(n4,n8) & ssA(n3,n8) != ssA(n5,n8) & ssA(n3,n8) != ssA(n6,n8) & ssA(n3,n8) != ssA(n7,n8) & ssA(n3,n8) != ssA(n8,n8) & ssA(n3,n8) != ssA(n9,n8) & ssA(n4,n8) != ssA(n5,n8) & ssA(n4,n8) != ssA(n6,n8) & ssA(n4,n8) != ssA(n7,n8) & ssA(n4,n8) != ssA(n8,n8) & ssA(n4,n8) != ssA(n9,n8) & ssA(n5,n8) != ssA(n6,n8) & ssA(n5,n8) != ssA(n7,n8) & ssA(n5,n8) != ssA(n8,n8) & ssA(n5,n8) != ssA(n9,n8) & ssA(n6,n8) != ssA(n7,n8) & ssA(n6,n8) != ssA(n8,n8) & ssA(n6,n8) != ssA(n9,n8) & ssA(n7,n8) != ssA(n8,n8) & ssA(n7,n8) != ssA(n9,n8) & ssA(n8,n8) != ssA(n9,n8) ).
fof(ax172,conjecture,ssA(n1,n9) = n1 | ssA(n2,n9) = n1 | ssA(n3,n9) = n1 | ssA(n4,n9) = n1 | ssA(n5,n9) = n1 | ssA(n6,n9) = n1 | ssA(n7,n9) = n1 | ssA(n8,n9) = n1 | ssA(n9,n9) = n1 ).
fof(ax173,conjecture,ssA(n1,n9) = n2 | ssA(n2,n9) = n2 | ssA(n3,n9) = n2 | ssA(n4,n9) = n2 | ssA(n5,n9) = n2 | ssA(n6,n9) = n2 | ssA(n7,n9) = n2 | ssA(n8,n9) = n2 | ssA(n9,n9) = n2 ).
fof(ax174,conjecture,ssA(n1,n9) = n3 | ssA(n2,n9) = n3 | ssA(n3,n9) = n3 | ssA(n4,n9) = n3 | ssA(n5,n9) = n3 | ssA(n6,n9) = n3 | ssA(n7,n9) = n3 | ssA(n8,n9) = n3 | ssA(n9,n9) = n3 ).
fof(ax175,conjecture,ssA(n1,n9) = n4 | ssA(n2,n9) = n4 | ssA(n3,n9) = n4 | ssA(n4,n9) = n4 | ssA(n5,n9) = n4 | ssA(n6,n9) = n4 | ssA(n7,n9) = n4 | ssA(n8,n9) = n4 | ssA(n9,n9) = n4 ).
fof(ax176,conjecture,ssA(n1,n9) = n5 | ssA(n2,n9) = n5 | ssA(n3,n9) = n5 | ssA(n4,n9) = n5 | ssA(n5,n9) = n5 | ssA(n6,n9) = n5 | ssA(n7,n9) = n5 | ssA(n8,n9) = n5 | ssA(n9,n9) = n5 ).
fof(ax177,conjecture,ssA(n1,n9) = n6 | ssA(n2,n9) = n6 | ssA(n3,n9) = n6 | ssA(n4,n9) = n6 | ssA(n5,n9) = n6 | ssA(n6,n9) = n6 | ssA(n7,n9) = n6 | ssA(n8,n9) = n6 | ssA(n9,n9) = n6 ).
fof(ax178,conjecture,ssA(n1,n9) = n7 | ssA(n2,n9) = n7 | ssA(n3,n9) = n7 | ssA(n4,n9) = n7 | ssA(n5,n9) = n7 | ssA(n6,n9) = n7 | ssA(n7,n9) = n7 | ssA(n8,n9) = n7 | ssA(n9,n9) = n7 ).
fof(ax179,conjecture,ssA(n1,n9) = n8 | ssA(n2,n9) = n8 | ssA(n3,n9) = n8 | ssA(n4,n9) = n8 | ssA(n5,n9) = n8 | ssA(n6,n9) = n8 | ssA(n7,n9) = n8 | ssA(n8,n9) = n8 | ssA(n9,n9) = n8 ).
fof(ax180,conjecture,ssA(n1,n9) = n9 | ssA(n2,n9) = n9 | ssA(n3,n9) = n9 | ssA(n4,n9) = n9 | ssA(n5,n9) = n9 | ssA(n6,n9) = n9 | ssA(n7,n9) = n9 | ssA(n8,n9) = n9 | ssA(n9,n9) = n9 ).
fof(ax181,conjecture,ssA(n1,n9) != ssA(n2,n9) & ssA(n1,n9) != ssA(n3,n9) & ssA(n1,n9) != ssA(n4,n9) & ssA(n1,n9) != ssA(n5,n9) & ssA(n1,n9) != ssA(n6,n9) & ssA(n1,n9) != ssA(n7,n9) & ssA(n1,n9) != ssA(n8,n9) & ssA(n1,n9) != ssA(n9,n9) & ssA(n2,n9) != ssA(n3,n9) & ssA(n2,n9) != ssA(n4,n9) & ssA(n2,n9) != ssA(n5,n9) & ssA(n2,n9) != ssA(n6,n9) & ssA(n2,n9) != ssA(n7,n9) & ssA(n2,n9) != ssA(n8,n9) & ssA(n2,n9) != ssA(n9,n9) & ssA(n3,n9) != ssA(n4,n9) & ssA(n3,n9) != ssA(n5,n9) & ssA(n3,n9) != ssA(n6,n9) & ssA(n3,n9) != ssA(n7,n9) & ssA(n3,n9) != ssA(n8,n9) & ssA(n3,n9) != ssA(n9,n9) & ssA(n4,n9) != ssA(n5,n9) & ssA(n4,n9) != ssA(n6,n9) & ssA(n4,n9) != ssA(n7,n9) & ssA(n4,n9) != ssA(n8,n9) & ssA(n4,n9) != ssA(n9,n9) & ssA(n5,n9) != ssA(n6,n9) & ssA(n5,n9) != ssA(n7,n9) & ssA(n5,n9) != ssA(n8,n9) & ssA(n5,n9) != ssA(n9,n9) & ssA(n6,n9) != ssA(n7,n9) & ssA(n6,n9) != ssA(n8,n9) & ssA(n6,n9) != ssA(n9,n9) & ssA(n7,n9) != ssA(n8,n9) & ssA(n7,n9) != ssA(n9,n9) & ssA(n8,n9) != ssA(n9,n9) ).
fof(ax182,conjecture,ssA(n1,n1) = n1 | ssA(n1,n2) = n1 | ssA(n1,n3) = n1 | ssA(n2,n1) = n1 | ssA(n2,n2) = n1 | ssA(n2,n3) = n1 | ssA(n3,n1) = n1 | ssA(n3,n2) = n1 | ssA(n3,n3) = n1 ).
fof(ax183,conjecture,ssA(n1,n1) = n2 | ssA(n1,n2) = n2 | ssA(n1,n3) = n2 | ssA(n2,n1) = n2 | ssA(n2,n2) = n2 | ssA(n2,n3) = n2 | ssA(n3,n1) = n2 | ssA(n3,n2) = n2 | ssA(n3,n3) = n2 ).
fof(ax184,conjecture,ssA(n1,n1) = n3 | ssA(n1,n2) = n3 | ssA(n1,n3) = n3 | ssA(n2,n1) = n3 | ssA(n2,n2) = n3 | ssA(n2,n3) = n3 | ssA(n3,n1) = n3 | ssA(n3,n2) = n3 | ssA(n3,n3) = n3 ).
fof(ax185,conjecture,ssA(n1,n1) = n4 | ssA(n1,n2) = n4 | ssA(n1,n3) = n4 | ssA(n2,n1) = n4 | ssA(n2,n2) = n4 | ssA(n2,n3) = n4 | ssA(n3,n1) = n4 | ssA(n3,n2) = n4 | ssA(n3,n3) = n4 ).
fof(ax186,conjecture,ssA(n1,n1) = n5 | ssA(n1,n2) = n5 | ssA(n1,n3) = n5 | ssA(n2,n1) = n5 | ssA(n2,n2) = n5 | ssA(n2,n3) = n5 | ssA(n3,n1) = n5 | ssA(n3,n2) = n5 | ssA(n3,n3) = n5 ).
fof(ax187,conjecture,ssA(n1,n1) = n6 | ssA(n1,n2) = n6 | ssA(n1,n3) = n6 | ssA(n2,n1) = n6 | ssA(n2,n2) = n6 | ssA(n2,n3) = n6 | ssA(n3,n1) = n6 | ssA(n3,n2) = n6 | ssA(n3,n3) = n6 ).
fof(ax188,conjecture,ssA(n1,n1) = n7 | ssA(n1,n2) = n7 | ssA(n1,n3) = n7 | ssA(n2,n1) = n7 | ssA(n2,n2) = n7 | ssA(n2,n3) = n7 | ssA(n3,n1) = n7 | ssA(n3,n2) = n7 | ssA(n3,n3) = n7 ).
fof(ax189,conjecture,ssA(n1,n1) = n8 | ssA(n1,n2) = n8 | ssA(n1,n3) = n8 | ssA(n2,n1) = n8 | ssA(n2,n2) = n8 | ssA(n2,n3) = n8 | ssA(n3,n1) = n8 | ssA(n3,n2) = n8 | ssA(n3,n3) = n8 ).
fof(ax190,conjecture,ssA(n1,n1) = n9 | ssA(n1,n2) = n9 | ssA(n1,n3) = n9 | ssA(n2,n1) = n9 | ssA(n2,n2) = n9 | ssA(n2,n3) = n9 | ssA(n3,n1) = n9 | ssA(n3,n2) = n9 | ssA(n3,n3) = n9 ).
fof(ax191,conjecture,ssA(n1,n1) != ssA(n1,n2) & ssA(n1,n1) != ssA(n1,n3) & ssA(n1,n1) != ssA(n2,n1) & ssA(n1,n1) != ssA(n2,n2) & ssA(n1,n1) != ssA(n2,n3) & ssA(n1,n1) != ssA(n3,n1) & ssA(n1,n1) != ssA(n3,n2) & ssA(n1,n1) != ssA(n3,n3) & ssA(n1,n2) != ssA(n1,n3) & ssA(n1,n2) != ssA(n2,n1) & ssA(n1,n2) != ssA(n2,n2) & ssA(n1,n2) != ssA(n2,n3) & ssA(n1,n2) != ssA(n3,n1) & ssA(n1,n2) != ssA(n3,n2) & ssA(n1,n2) != ssA(n3,n3) & ssA(n1,n3) != ssA(n2,n1) & ssA(n1,n3) != ssA(n2,n2) & ssA(n1,n3) != ssA(n2,n3) & ssA(n1,n3) != ssA(n3,n1) & ssA(n1,n3) != ssA(n3,n2) & ssA(n1,n3) != ssA(n3,n3) & ssA(n2,n1) != ssA(n2,n2) & ssA(n2,n1) != ssA(n2,n3) & ssA(n2,n1) != ssA(n3,n1) & ssA(n2,n1) != ssA(n3,n2) & ssA(n2,n1) != ssA(n3,n3) & ssA(n2,n2) != ssA(n2,n3) & ssA(n2,n2) != ssA(n3,n1) & ssA(n2,n2) != ssA(n3,n2) & ssA(n2,n2) != ssA(n3,n3) & ssA(n2,n3) != ssA(n3,n1) & ssA(n2,n3) != ssA(n3,n2) & ssA(n2,n3) != ssA(n3,n3) & ssA(n3,n1) != ssA(n3,n2) & ssA(n3,n1) != ssA(n3,n3) & ssA(n3,n2) != ssA(n3,n3) ).
fof(ax192,conjecture,ssA(n1,n4) = n1 | ssA(n1,n5) = n1 | ssA(n1,n6) = n1 | ssA(n2,n4) = n1 | ssA(n2,n5) = n1 | ssA(n2,n6) = n1 | ssA(n3,n4) = n1 | ssA(n3,n5) = n1 | ssA(n3,n6) = n1 ).
fof(ax193,conjecture,ssA(n1,n4) = n2 | ssA(n1,n5) = n2 | ssA(n1,n6) = n2 | ssA(n2,n4) = n2 | ssA(n2,n5) = n2 | ssA(n2,n6) = n2 | ssA(n3,n4) = n2 | ssA(n3,n5) = n2 | ssA(n3,n6) = n2 ).
fof(ax194,conjecture,ssA(n1,n4) = n3 | ssA(n1,n5) = n3 | ssA(n1,n6) = n3 | ssA(n2,n4) = n3 | ssA(n2,n5) = n3 | ssA(n2,n6) = n3 | ssA(n3,n4) = n3 | ssA(n3,n5) = n3 | ssA(n3,n6) = n3 ).
fof(ax195,conjecture,ssA(n1,n4) = n4 | ssA(n1,n5) = n4 | ssA(n1,n6) = n4 | ssA(n2,n4) = n4 | ssA(n2,n5) = n4 | ssA(n2,n6) = n4 | ssA(n3,n4) = n4 | ssA(n3,n5) = n4 | ssA(n3,n6) = n4 ).
fof(ax196,conjecture,ssA(n1,n4) = n5 | ssA(n1,n5) = n5 | ssA(n1,n6) = n5 | ssA(n2,n4) = n5 | ssA(n2,n5) = n5 | ssA(n2,n6) = n5 | ssA(n3,n4) = n5 | ssA(n3,n5) = n5 | ssA(n3,n6) = n5 ).
fof(ax197,conjecture,ssA(n1,n4) = n6 | ssA(n1,n5) = n6 | ssA(n1,n6) = n6 | ssA(n2,n4) = n6 | ssA(n2,n5) = n6 | ssA(n2,n6) = n6 | ssA(n3,n4) = n6 | ssA(n3,n5) = n6 | ssA(n3,n6) = n6 ).
fof(ax198,conjecture,ssA(n1,n4) = n7 | ssA(n1,n5) = n7 | ssA(n1,n6) = n7 | ssA(n2,n4) = n7 | ssA(n2,n5) = n7 | ssA(n2,n6) = n7 | ssA(n3,n4) = n7 | ssA(n3,n5) = n7 | ssA(n3,n6) = n7 ).
fof(ax199,conjecture,ssA(n1,n4) = n8 | ssA(n1,n5) = n8 | ssA(n1,n6) = n8 | ssA(n2,n4) = n8 | ssA(n2,n5) = n8 | ssA(n2,n6) = n8 | ssA(n3,n4) = n8 | ssA(n3,n5) = n8 | ssA(n3,n6) = n8 ).
fof(ax200,conjecture,ssA(n1,n4) = n9 | ssA(n1,n5) = n9 | ssA(n1,n6) = n9 | ssA(n2,n4) = n9 | ssA(n2,n5) = n9 | ssA(n2,n6) = n9 | ssA(n3,n4) = n9 | ssA(n3,n5) = n9 | ssA(n3,n6) = n9 ).
fof(ax201,conjecture,ssA(n1,n4) != ssA(n1,n5) & ssA(n1,n4) != ssA(n1,n6) & ssA(n1,n4) != ssA(n2,n4) & ssA(n1,n4) != ssA(n2,n5) & ssA(n1,n4) != ssA(n2,n6) & ssA(n1,n4) != ssA(n3,n4) & ssA(n1,n4) != ssA(n3,n5) & ssA(n1,n4) != ssA(n3,n6) & ssA(n1,n5) != ssA(n1,n6) & ssA(n1,n5) != ssA(n2,n4) & ssA(n1,n5) != ssA(n2,n5) & ssA(n1,n5) != ssA(n2,n6) & ssA(n1,n5) != ssA(n3,n4) & ssA(n1,n5) != ssA(n3,n5) & ssA(n1,n5) != ssA(n3,n6) & ssA(n1,n6) != ssA(n2,n4) & ssA(n1,n6) != ssA(n2,n5) & ssA(n1,n6) != ssA(n2,n6) & ssA(n1,n6) != ssA(n3,n4) & ssA(n1,n6) != ssA(n3,n5) & ssA(n1,n6) != ssA(n3,n6) & ssA(n2,n4) != ssA(n2,n5) & ssA(n2,n4) != ssA(n2,n6) & ssA(n2,n4) != ssA(n3,n4) & ssA(n2,n4) != ssA(n3,n5) & ssA(n2,n4) != ssA(n3,n6) & ssA(n2,n5) != ssA(n2,n6) & ssA(n2,n5) != ssA(n3,n4) & ssA(n2,n5) != ssA(n3,n5) & ssA(n2,n5) != ssA(n3,n6) & ssA(n2,n6) != ssA(n3,n4) & ssA(n2,n6) != ssA(n3,n5) & ssA(n2,n6) != ssA(n3,n6) & ssA(n3,n4) != ssA(n3,n5) & ssA(n3,n4) != ssA(n3,n6) & ssA(n3,n5) != ssA(n3,n6) ).
fof(ax202,conjecture,ssA(n1,n7) = n1 | ssA(n1,n8) = n1 | ssA(n1,n9) = n1 | ssA(n2,n7) = n1 | ssA(n2,n8) = n1 | ssA(n2,n9) = n1 | ssA(n3,n7) = n1 | ssA(n3,n8) = n1 | ssA(n3,n9) = n1 ).
fof(ax203,conjecture,ssA(n1,n7) = n2 | ssA(n1,n8) = n2 | ssA(n1,n9) = n2 | ssA(n2,n7) = n2 | ssA(n2,n8) = n2 | ssA(n2,n9) = n2 | ssA(n3,n7) = n2 | ssA(n3,n8) = n2 | ssA(n3,n9) = n2 ).
fof(ax204,conjecture,ssA(n1,n7) = n3 | ssA(n1,n8) = n3 | ssA(n1,n9) = n3 | ssA(n2,n7) = n3 | ssA(n2,n8) = n3 | ssA(n2,n9) = n3 | ssA(n3,n7) = n3 | ssA(n3,n8) = n3 | ssA(n3,n9) = n3 ).
fof(ax205,conjecture,ssA(n1,n7) = n4 | ssA(n1,n8) = n4 | ssA(n1,n9) = n4 | ssA(n2,n7) = n4 | ssA(n2,n8) = n4 | ssA(n2,n9) = n4 | ssA(n3,n7) = n4 | ssA(n3,n8) = n4 | ssA(n3,n9) = n4 ).
fof(ax206,conjecture,ssA(n1,n7) = n5 | ssA(n1,n8) = n5 | ssA(n1,n9) = n5 | ssA(n2,n7) = n5 | ssA(n2,n8) = n5 | ssA(n2,n9) = n5 | ssA(n3,n7) = n5 | ssA(n3,n8) = n5 | ssA(n3,n9) = n5 ).
fof(ax207,conjecture,ssA(n1,n7) = n6 | ssA(n1,n8) = n6 | ssA(n1,n9) = n6 | ssA(n2,n7) = n6 | ssA(n2,n8) = n6 | ssA(n2,n9) = n6 | ssA(n3,n7) = n6 | ssA(n3,n8) = n6 | ssA(n3,n9) = n6 ).
fof(ax208,conjecture,ssA(n1,n7) = n7 | ssA(n1,n8) = n7 | ssA(n1,n9) = n7 | ssA(n2,n7) = n7 | ssA(n2,n8) = n7 | ssA(n2,n9) = n7 | ssA(n3,n7) = n7 | ssA(n3,n8) = n7 | ssA(n3,n9) = n7 ).
fof(ax209,conjecture,ssA(n1,n7) = n8 | ssA(n1,n8) = n8 | ssA(n1,n9) = n8 | ssA(n2,n7) = n8 | ssA(n2,n8) = n8 | ssA(n2,n9) = n8 | ssA(n3,n7) = n8 | ssA(n3,n8) = n8 | ssA(n3,n9) = n8 ).
fof(ax210,conjecture,ssA(n1,n7) = n9 | ssA(n1,n8) = n9 | ssA(n1,n9) = n9 | ssA(n2,n7) = n9 | ssA(n2,n8) = n9 | ssA(n2,n9) = n9 | ssA(n3,n7) = n9 | ssA(n3,n8) = n9 | ssA(n3,n9) = n9 ).
fof(ax211,conjecture,ssA(n1,n7) != ssA(n1,n8) & ssA(n1,n7) != ssA(n1,n9) & ssA(n1,n7) != ssA(n2,n7) & ssA(n1,n7) != ssA(n2,n8) & ssA(n1,n7) != ssA(n2,n9) & ssA(n1,n7) != ssA(n3,n7) & ssA(n1,n7) != ssA(n3,n8) & ssA(n1,n7) != ssA(n3,n9) & ssA(n1,n8) != ssA(n1,n9) & ssA(n1,n8) != ssA(n2,n7) & ssA(n1,n8) != ssA(n2,n8) & ssA(n1,n8) != ssA(n2,n9) & ssA(n1,n8) != ssA(n3,n7) & ssA(n1,n8) != ssA(n3,n8) & ssA(n1,n8) != ssA(n3,n9) & ssA(n1,n9) != ssA(n2,n7) & ssA(n1,n9) != ssA(n2,n8) & ssA(n1,n9) != ssA(n2,n9) & ssA(n1,n9) != ssA(n3,n7) & ssA(n1,n9) != ssA(n3,n8) & ssA(n1,n9) != ssA(n3,n9) & ssA(n2,n7) != ssA(n2,n8) & ssA(n2,n7) != ssA(n2,n9) & ssA(n2,n7) != ssA(n3,n7) & ssA(n2,n7) != ssA(n3,n8) & ssA(n2,n7) != ssA(n3,n9) & ssA(n2,n8) != ssA(n2,n9) & ssA(n2,n8) != ssA(n3,n7) & ssA(n2,n8) != ssA(n3,n8) & ssA(n2,n8) != ssA(n3,n9) & ssA(n2,n9) != ssA(n3,n7) & ssA(n2,n9) != ssA(n3,n8) & ssA(n2,n9) != ssA(n3,n9) & ssA(n3,n7) != ssA(n3,n8) & ssA(n3,n7) != ssA(n3,n9) & ssA(n3,n8) != ssA(n3,n9) ).
fof(ax212,conjecture,ssA(n4,n1) = n1 | ssA(n4,n2) = n1 | ssA(n4,n3) = n1 | ssA(n5,n1) = n1 | ssA(n5,n2) = n1 | ssA(n5,n3) = n1 | ssA(n6,n1) = n1 | ssA(n6,n2) = n1 | ssA(n6,n3) = n1 ).
fof(ax213,conjecture,ssA(n4,n1) = n2 | ssA(n4,n2) = n2 | ssA(n4,n3) = n2 | ssA(n5,n1) = n2 | ssA(n5,n2) = n2 | ssA(n5,n3) = n2 | ssA(n6,n1) = n2 | ssA(n6,n2) = n2 | ssA(n6,n3) = n2 ).
fof(ax214,conjecture,ssA(n4,n1) = n3 | ssA(n4,n2) = n3 | ssA(n4,n3) = n3 | ssA(n5,n1) = n3 | ssA(n5,n2) = n3 | ssA(n5,n3) = n3 | ssA(n6,n1) = n3 | ssA(n6,n2) = n3 | ssA(n6,n3) = n3 ).
fof(ax215,conjecture,ssA(n4,n1) = n4 | ssA(n4,n2) = n4 | ssA(n4,n3) = n4 | ssA(n5,n1) = n4 | ssA(n5,n2) = n4 | ssA(n5,n3) = n4 | ssA(n6,n1) = n4 | ssA(n6,n2) = n4 | ssA(n6,n3) = n4 ).
fof(ax216,conjecture,ssA(n4,n1) = n5 | ssA(n4,n2) = n5 | ssA(n4,n3) = n5 | ssA(n5,n1) = n5 | ssA(n5,n2) = n5 | ssA(n5,n3) = n5 | ssA(n6,n1) = n5 | ssA(n6,n2) = n5 | ssA(n6,n3) = n5 ).
fof(ax217,conjecture,ssA(n4,n1) = n6 | ssA(n4,n2) = n6 | ssA(n4,n3) = n6 | ssA(n5,n1) = n6 | ssA(n5,n2) = n6 | ssA(n5,n3) = n6 | ssA(n6,n1) = n6 | ssA(n6,n2) = n6 | ssA(n6,n3) = n6 ).
fof(ax218,conjecture,ssA(n4,n1) = n7 | ssA(n4,n2) = n7 | ssA(n4,n3) = n7 | ssA(n5,n1) = n7 | ssA(n5,n2) = n7 | ssA(n5,n3) = n7 | ssA(n6,n1) = n7 | ssA(n6,n2) = n7 | ssA(n6,n3) = n7 ).
fof(ax219,conjecture,ssA(n4,n1) = n8 | ssA(n4,n2) = n8 | ssA(n4,n3) = n8 | ssA(n5,n1) = n8 | ssA(n5,n2) = n8 | ssA(n5,n3) = n8 | ssA(n6,n1) = n8 | ssA(n6,n2) = n8 | ssA(n6,n3) = n8 ).
fof(ax220,conjecture,ssA(n4,n1) = n9 | ssA(n4,n2) = n9 | ssA(n4,n3) = n9 | ssA(n5,n1) = n9 | ssA(n5,n2) = n9 | ssA(n5,n3) = n9 | ssA(n6,n1) = n9 | ssA(n6,n2) = n9 | ssA(n6,n3) = n9 ).
fof(ax221,conjecture,ssA(n4,n1) != ssA(n4,n2) & ssA(n4,n1) != ssA(n4,n3) & ssA(n4,n1) != ssA(n5,n1) & ssA(n4,n1) != ssA(n5,n2) & ssA(n4,n1) != ssA(n5,n3) & ssA(n4,n1) != ssA(n6,n1) & ssA(n4,n1) != ssA(n6,n2) & ssA(n4,n1) != ssA(n6,n3) & ssA(n4,n2) != ssA(n4,n3) & ssA(n4,n2) != ssA(n5,n1) & ssA(n4,n2) != ssA(n5,n2) & ssA(n4,n2) != ssA(n5,n3) & ssA(n4,n2) != ssA(n6,n1) & ssA(n4,n2) != ssA(n6,n2) & ssA(n4,n2) != ssA(n6,n3) & ssA(n4,n3) != ssA(n5,n1) & ssA(n4,n3) != ssA(n5,n2) & ssA(n4,n3) != ssA(n5,n3) & ssA(n4,n3) != ssA(n6,n1) & ssA(n4,n3) != ssA(n6,n2) & ssA(n4,n3) != ssA(n6,n3) & ssA(n5,n1) != ssA(n5,n2) & ssA(n5,n1) != ssA(n5,n3) & ssA(n5,n1) != ssA(n6,n1) & ssA(n5,n1) != ssA(n6,n2) & ssA(n5,n1) != ssA(n6,n3) & ssA(n5,n2) != ssA(n5,n3) & ssA(n5,n2) != ssA(n6,n1) & ssA(n5,n2) != ssA(n6,n2) & ssA(n5,n2) != ssA(n6,n3) & ssA(n5,n3) != ssA(n6,n1) & ssA(n5,n3) != ssA(n6,n2) & ssA(n5,n3) != ssA(n6,n3) & ssA(n6,n1) != ssA(n6,n2) & ssA(n6,n1) != ssA(n6,n3) & ssA(n6,n2) != ssA(n6,n3) ).
fof(ax222,conjecture,ssA(n4,n4) = n1 | ssA(n4,n5) = n1 | ssA(n4,n6) = n1 | ssA(n5,n4) = n1 | ssA(n5,n5) = n1 | ssA(n5,n6) = n1 | ssA(n6,n4) = n1 | ssA(n6,n5) = n1 | ssA(n6,n6) = n1 ).
fof(ax223,conjecture,ssA(n4,n4) = n2 | ssA(n4,n5) = n2 | ssA(n4,n6) = n2 | ssA(n5,n4) = n2 | ssA(n5,n5) = n2 | ssA(n5,n6) = n2 | ssA(n6,n4) = n2 | ssA(n6,n5) = n2 | ssA(n6,n6) = n2 ).
fof(ax224,conjecture,ssA(n4,n4) = n3 | ssA(n4,n5) = n3 | ssA(n4,n6) = n3 | ssA(n5,n4) = n3 | ssA(n5,n5) = n3 | ssA(n5,n6) = n3 | ssA(n6,n4) = n3 | ssA(n6,n5) = n3 | ssA(n6,n6) = n3 ).
fof(ax225,conjecture,ssA(n4,n4) = n4 | ssA(n4,n5) = n4 | ssA(n4,n6) = n4 | ssA(n5,n4) = n4 | ssA(n5,n5) = n4 | ssA(n5,n6) = n4 | ssA(n6,n4) = n4 | ssA(n6,n5) = n4 | ssA(n6,n6) = n4 ).
fof(ax226,conjecture,ssA(n4,n4) = n5 | ssA(n4,n5) = n5 | ssA(n4,n6) = n5 | ssA(n5,n4) = n5 | ssA(n5,n5) = n5 | ssA(n5,n6) = n5 | ssA(n6,n4) = n5 | ssA(n6,n5) = n5 | ssA(n6,n6) = n5 ).
fof(ax227,conjecture,ssA(n4,n4) = n6 | ssA(n4,n5) = n6 | ssA(n4,n6) = n6 | ssA(n5,n4) = n6 | ssA(n5,n5) = n6 | ssA(n5,n6) = n6 | ssA(n6,n4) = n6 | ssA(n6,n5) = n6 | ssA(n6,n6) = n6 ).
fof(ax228,conjecture,ssA(n4,n4) = n7 | ssA(n4,n5) = n7 | ssA(n4,n6) = n7 | ssA(n5,n4) = n7 | ssA(n5,n5) = n7 | ssA(n5,n6) = n7 | ssA(n6,n4) = n7 | ssA(n6,n5) = n7 | ssA(n6,n6) = n7 ).
fof(ax229,conjecture,ssA(n4,n4) = n8 | ssA(n4,n5) = n8 | ssA(n4,n6) = n8 | ssA(n5,n4) = n8 | ssA(n5,n5) = n8 | ssA(n5,n6) = n8 | ssA(n6,n4) = n8 | ssA(n6,n5) = n8 | ssA(n6,n6) = n8 ).
fof(ax230,conjecture,ssA(n4,n4) = n9 | ssA(n4,n5) = n9 | ssA(n4,n6) = n9 | ssA(n5,n4) = n9 | ssA(n5,n5) = n9 | ssA(n5,n6) = n9 | ssA(n6,n4) = n9 | ssA(n6,n5) = n9 | ssA(n6,n6) = n9 ).
fof(ax231,conjecture,ssA(n4,n4) != ssA(n4,n5) & ssA(n4,n4) != ssA(n4,n6) & ssA(n4,n4) != ssA(n5,n4) & ssA(n4,n4) != ssA(n5,n5) & ssA(n4,n4) != ssA(n5,n6) & ssA(n4,n4) != ssA(n6,n4) & ssA(n4,n4) != ssA(n6,n5) & ssA(n4,n4) != ssA(n6,n6) & ssA(n4,n5) != ssA(n4,n6) & ssA(n4,n5) != ssA(n5,n4) & ssA(n4,n5) != ssA(n5,n5) & ssA(n4,n5) != ssA(n5,n6) & ssA(n4,n5) != ssA(n6,n4) & ssA(n4,n5) != ssA(n6,n5) & ssA(n4,n5) != ssA(n6,n6) & ssA(n4,n6) != ssA(n5,n4) & ssA(n4,n6) != ssA(n5,n5) & ssA(n4,n6) != ssA(n5,n6) & ssA(n4,n6) != ssA(n6,n4) & ssA(n4,n6) != ssA(n6,n5) & ssA(n4,n6) != ssA(n6,n6) & ssA(n5,n4) != ssA(n5,n5) & ssA(n5,n4) != ssA(n5,n6) & ssA(n5,n4) != ssA(n6,n4) & ssA(n5,n4) != ssA(n6,n5) & ssA(n5,n4) != ssA(n6,n6) & ssA(n5,n5) != ssA(n5,n6) & ssA(n5,n5) != ssA(n6,n4) & ssA(n5,n5) != ssA(n6,n5) & ssA(n5,n5) != ssA(n6,n6) & ssA(n5,n6) != ssA(n6,n4) & ssA(n5,n6) != ssA(n6,n5) & ssA(n5,n6) != ssA(n6,n6) & ssA(n6,n4) != ssA(n6,n5) & ssA(n6,n4) != ssA(n6,n6) & ssA(n6,n5) != ssA(n6,n6) ).
fof(ax232,conjecture,ssA(n4,n7) = n1 | ssA(n4,n8) = n1 | ssA(n4,n9) = n1 | ssA(n5,n7) = n1 | ssA(n5,n8) = n1 | ssA(n5,n9) = n1 | ssA(n6,n7) = n1 | ssA(n6,n8) = n1 | ssA(n6,n9) = n1 ).
fof(ax233,conjecture,ssA(n4,n7) = n2 | ssA(n4,n8) = n2 | ssA(n4,n9) = n2 | ssA(n5,n7) = n2 | ssA(n5,n8) = n2 | ssA(n5,n9) = n2 | ssA(n6,n7) = n2 | ssA(n6,n8) = n2 | ssA(n6,n9) = n2 ).
fof(ax234,conjecture,ssA(n4,n7) = n3 | ssA(n4,n8) = n3 | ssA(n4,n9) = n3 | ssA(n5,n7) = n3 | ssA(n5,n8) = n3 | ssA(n5,n9) = n3 | ssA(n6,n7) = n3 | ssA(n6,n8) = n3 | ssA(n6,n9) = n3 ).
fof(ax235,conjecture,ssA(n4,n7) = n4 | ssA(n4,n8) = n4 | ssA(n4,n9) = n4 | ssA(n5,n7) = n4 | ssA(n5,n8) = n4 | ssA(n5,n9) = n4 | ssA(n6,n7) = n4 | ssA(n6,n8) = n4 | ssA(n6,n9) = n4 ).
fof(ax236,conjecture,ssA(n4,n7) = n5 | ssA(n4,n8) = n5 | ssA(n4,n9) = n5 | ssA(n5,n7) = n5 | ssA(n5,n8) = n5 | ssA(n5,n9) = n5 | ssA(n6,n7) = n5 | ssA(n6,n8) = n5 | ssA(n6,n9) = n5 ).
fof(ax237,conjecture,ssA(n4,n7) = n6 | ssA(n4,n8) = n6 | ssA(n4,n9) = n6 | ssA(n5,n7) = n6 | ssA(n5,n8) = n6 | ssA(n5,n9) = n6 | ssA(n6,n7) = n6 | ssA(n6,n8) = n6 | ssA(n6,n9) = n6 ).
fof(ax238,conjecture,ssA(n4,n7) = n7 | ssA(n4,n8) = n7 | ssA(n4,n9) = n7 | ssA(n5,n7) = n7 | ssA(n5,n8) = n7 | ssA(n5,n9) = n7 | ssA(n6,n7) = n7 | ssA(n6,n8) = n7 | ssA(n6,n9) = n7 ).
fof(ax239,conjecture,ssA(n4,n7) = n8 | ssA(n4,n8) = n8 | ssA(n4,n9) = n8 | ssA(n5,n7) = n8 | ssA(n5,n8) = n8 | ssA(n5,n9) = n8 | ssA(n6,n7) = n8 | ssA(n6,n8) = n8 | ssA(n6,n9) = n8 ).
fof(ax240,conjecture,ssA(n4,n7) = n9 | ssA(n4,n8) = n9 | ssA(n4,n9) = n9 | ssA(n5,n7) = n9 | ssA(n5,n8) = n9 | ssA(n5,n9) = n9 | ssA(n6,n7) = n9 | ssA(n6,n8) = n9 | ssA(n6,n9) = n9 ).
fof(ax241,conjecture,ssA(n4,n7) != ssA(n4,n8) & ssA(n4,n7) != ssA(n4,n9) & ssA(n4,n7) != ssA(n5,n7) & ssA(n4,n7) != ssA(n5,n8) & ssA(n4,n7) != ssA(n5,n9) & ssA(n4,n7) != ssA(n6,n7) & ssA(n4,n7) != ssA(n6,n8) & ssA(n4,n7) != ssA(n6,n9) & ssA(n4,n8) != ssA(n4,n9) & ssA(n4,n8) != ssA(n5,n7) & ssA(n4,n8) != ssA(n5,n8) & ssA(n4,n8) != ssA(n5,n9) & ssA(n4,n8) != ssA(n6,n7) & ssA(n4,n8) != ssA(n6,n8) & ssA(n4,n8) != ssA(n6,n9) & ssA(n4,n9) != ssA(n5,n7) & ssA(n4,n9) != ssA(n5,n8) & ssA(n4,n9) != ssA(n5,n9) & ssA(n4,n9) != ssA(n6,n7) & ssA(n4,n9) != ssA(n6,n8) & ssA(n4,n9) != ssA(n6,n9) & ssA(n5,n7) != ssA(n5,n8) & ssA(n5,n7) != ssA(n5,n9) & ssA(n5,n7) != ssA(n6,n7) & ssA(n5,n7) != ssA(n6,n8) & ssA(n5,n7) != ssA(n6,n9) & ssA(n5,n8) != ssA(n5,n9) & ssA(n5,n8) != ssA(n6,n7) & ssA(n5,n8) != ssA(n6,n8) & ssA(n5,n8) != ssA(n6,n9) & ssA(n5,n9) != ssA(n6,n7) & ssA(n5,n9) != ssA(n6,n8) & ssA(n5,n9) != ssA(n6,n9) & ssA(n6,n7) != ssA(n6,n8) & ssA(n6,n7) != ssA(n6,n9) & ssA(n6,n8) != ssA(n6,n9) ).
fof(ax242,conjecture,ssA(n7,n1) = n1 | ssA(n7,n2) = n1 | ssA(n7,n3) = n1 | ssA(n8,n1) = n1 | ssA(n8,n2) = n1 | ssA(n8,n3) = n1 | ssA(n9,n1) = n1 | ssA(n9,n2) = n1 | ssA(n9,n3) = n1 ).
fof(ax243,conjecture,ssA(n7,n1) = n2 | ssA(n7,n2) = n2 | ssA(n7,n3) = n2 | ssA(n8,n1) = n2 | ssA(n8,n2) = n2 | ssA(n8,n3) = n2 | ssA(n9,n1) = n2 | ssA(n9,n2) = n2 | ssA(n9,n3) = n2 ).
fof(ax244,conjecture,ssA(n7,n1) = n3 | ssA(n7,n2) = n3 | ssA(n7,n3) = n3 | ssA(n8,n1) = n3 | ssA(n8,n2) = n3 | ssA(n8,n3) = n3 | ssA(n9,n1) = n3 | ssA(n9,n2) = n3 | ssA(n9,n3) = n3 ).
fof(ax245,conjecture,ssA(n7,n1) = n4 | ssA(n7,n2) = n4 | ssA(n7,n3) = n4 | ssA(n8,n1) = n4 | ssA(n8,n2) = n4 | ssA(n8,n3) = n4 | ssA(n9,n1) = n4 | ssA(n9,n2) = n4 | ssA(n9,n3) = n4 ).
fof(ax246,conjecture,ssA(n7,n1) = n5 | ssA(n7,n2) = n5 | ssA(n7,n3) = n5 | ssA(n8,n1) = n5 | ssA(n8,n2) = n5 | ssA(n8,n3) = n5 | ssA(n9,n1) = n5 | ssA(n9,n2) = n5 | ssA(n9,n3) = n5 ).
fof(ax247,conjecture,ssA(n7,n1) = n6 | ssA(n7,n2) = n6 | ssA(n7,n3) = n6 | ssA(n8,n1) = n6 | ssA(n8,n2) = n6 | ssA(n8,n3) = n6 | ssA(n9,n1) = n6 | ssA(n9,n2) = n6 | ssA(n9,n3) = n6 ).
fof(ax248,conjecture,ssA(n7,n1) = n7 | ssA(n7,n2) = n7 | ssA(n7,n3) = n7 | ssA(n8,n1) = n7 | ssA(n8,n2) = n7 | ssA(n8,n3) = n7 | ssA(n9,n1) = n7 | ssA(n9,n2) = n7 | ssA(n9,n3) = n7 ).
fof(ax249,conjecture,ssA(n7,n1) = n8 | ssA(n7,n2) = n8 | ssA(n7,n3) = n8 | ssA(n8,n1) = n8 | ssA(n8,n2) = n8 | ssA(n8,n3) = n8 | ssA(n9,n1) = n8 | ssA(n9,n2) = n8 | ssA(n9,n3) = n8 ).
fof(ax250,conjecture,ssA(n7,n1) = n9 | ssA(n7,n2) = n9 | ssA(n7,n3) = n9 | ssA(n8,n1) = n9 | ssA(n8,n2) = n9 | ssA(n8,n3) = n9 | ssA(n9,n1) = n9 | ssA(n9,n2) = n9 | ssA(n9,n3) = n9 ).
fof(ax251,conjecture,ssA(n7,n1) != ssA(n7,n2) & ssA(n7,n1) != ssA(n7,n3) & ssA(n7,n1) != ssA(n8,n1) & ssA(n7,n1) != ssA(n8,n2) & ssA(n7,n1) != ssA(n8,n3) & ssA(n7,n1) != ssA(n9,n1) & ssA(n7,n1) != ssA(n9,n2) & ssA(n7,n1) != ssA(n9,n3) & ssA(n7,n2) != ssA(n7,n3) & ssA(n7,n2) != ssA(n8,n1) & ssA(n7,n2) != ssA(n8,n2) & ssA(n7,n2) != ssA(n8,n3) & ssA(n7,n2) != ssA(n9,n1) & ssA(n7,n2) != ssA(n9,n2) & ssA(n7,n2) != ssA(n9,n3) & ssA(n7,n3) != ssA(n8,n1) & ssA(n7,n3) != ssA(n8,n2) & ssA(n7,n3) != ssA(n8,n3) & ssA(n7,n3) != ssA(n9,n1) & ssA(n7,n3) != ssA(n9,n2) & ssA(n7,n3) != ssA(n9,n3) & ssA(n8,n1) != ssA(n8,n2) & ssA(n8,n1) != ssA(n8,n3) & ssA(n8,n1) != ssA(n9,n1) & ssA(n8,n1) != ssA(n9,n2) & ssA(n8,n1) != ssA(n9,n3) & ssA(n8,n2) != ssA(n8,n3) & ssA(n8,n2) != ssA(n9,n1) & ssA(n8,n2) != ssA(n9,n2) & ssA(n8,n2) != ssA(n9,n3) & ssA(n8,n3) != ssA(n9,n1) & ssA(n8,n3) != ssA(n9,n2) & ssA(n8,n3) != ssA(n9,n3) & ssA(n9,n1) != ssA(n9,n2) & ssA(n9,n1) != ssA(n9,n3) & ssA(n9,n2) != ssA(n9,n3) ).
fof(ax252,conjecture,ssA(n7,n4) = n1 | ssA(n7,n5) = n1 | ssA(n7,n6) = n1 | ssA(n8,n4) = n1 | ssA(n8,n5) = n1 | ssA(n8,n6) = n1 | ssA(n9,n4) = n1 | ssA(n9,n5) = n1 | ssA(n9,n6) = n1 ).
fof(ax253,conjecture,ssA(n7,n4) = n2 | ssA(n7,n5) = n2 | ssA(n7,n6) = n2 | ssA(n8,n4) = n2 | ssA(n8,n5) = n2 | ssA(n8,n6) = n2 | ssA(n9,n4) = n2 | ssA(n9,n5) = n2 | ssA(n9,n6) = n2 ).
fof(ax254,conjecture,ssA(n7,n4) = n3 | ssA(n7,n5) = n3 | ssA(n7,n6) = n3 | ssA(n8,n4) = n3 | ssA(n8,n5) = n3 | ssA(n8,n6) = n3 | ssA(n9,n4) = n3 | ssA(n9,n5) = n3 | ssA(n9,n6) = n3 ).
fof(ax255,conjecture,ssA(n7,n4) = n4 | ssA(n7,n5) = n4 | ssA(n7,n6) = n4 | ssA(n8,n4) = n4 | ssA(n8,n5) = n4 | ssA(n8,n6) = n4 | ssA(n9,n4) = n4 | ssA(n9,n5) = n4 | ssA(n9,n6) = n4 ).
fof(ax256,conjecture,ssA(n7,n4) = n5 | ssA(n7,n5) = n5 | ssA(n7,n6) = n5 | ssA(n8,n4) = n5 | ssA(n8,n5) = n5 | ssA(n8,n6) = n5 | ssA(n9,n4) = n5 | ssA(n9,n5) = n5 | ssA(n9,n6) = n5 ).
fof(ax257,conjecture,ssA(n7,n4) = n6 | ssA(n7,n5) = n6 | ssA(n7,n6) = n6 | ssA(n8,n4) = n6 | ssA(n8,n5) = n6 | ssA(n8,n6) = n6 | ssA(n9,n4) = n6 | ssA(n9,n5) = n6 | ssA(n9,n6) = n6 ).
fof(ax258,conjecture,ssA(n7,n4) = n7 | ssA(n7,n5) = n7 | ssA(n7,n6) = n7 | ssA(n8,n4) = n7 | ssA(n8,n5) = n7 | ssA(n8,n6) = n7 | ssA(n9,n4) = n7 | ssA(n9,n5) = n7 | ssA(n9,n6) = n7 ).
fof(ax259,conjecture,ssA(n7,n4) = n8 | ssA(n7,n5) = n8 | ssA(n7,n6) = n8 | ssA(n8,n4) = n8 | ssA(n8,n5) = n8 | ssA(n8,n6) = n8 | ssA(n9,n4) = n8 | ssA(n9,n5) = n8 | ssA(n9,n6) = n8 ).
fof(ax260,conjecture,ssA(n7,n4) = n9 | ssA(n7,n5) = n9 | ssA(n7,n6) = n9 | ssA(n8,n4) = n9 | ssA(n8,n5) = n9 | ssA(n8,n6) = n9 | ssA(n9,n4) = n9 | ssA(n9,n5) = n9 | ssA(n9,n6) = n9 ).
fof(ax261,conjecture,ssA(n7,n4) != ssA(n7,n5) & ssA(n7,n4) != ssA(n7,n6) & ssA(n7,n4) != ssA(n8,n4) & ssA(n7,n4) != ssA(n8,n5) & ssA(n7,n4) != ssA(n8,n6) & ssA(n7,n4) != ssA(n9,n4) & ssA(n7,n4) != ssA(n9,n5) & ssA(n7,n4) != ssA(n9,n6) & ssA(n7,n5) != ssA(n7,n6) & ssA(n7,n5) != ssA(n8,n4) & ssA(n7,n5) != ssA(n8,n5) & ssA(n7,n5) != ssA(n8,n6) & ssA(n7,n5) != ssA(n9,n4) & ssA(n7,n5) != ssA(n9,n5) & ssA(n7,n5) != ssA(n9,n6) & ssA(n7,n6) != ssA(n8,n4) & ssA(n7,n6) != ssA(n8,n5) & ssA(n7,n6) != ssA(n8,n6) & ssA(n7,n6) != ssA(n9,n4) & ssA(n7,n6) != ssA(n9,n5) & ssA(n7,n6) != ssA(n9,n6) & ssA(n8,n4) != ssA(n8,n5) & ssA(n8,n4) != ssA(n8,n6) & ssA(n8,n4) != ssA(n9,n4) & ssA(n8,n4) != ssA(n9,n5) & ssA(n8,n4) != ssA(n9,n6) & ssA(n8,n5) != ssA(n8,n6) & ssA(n8,n5) != ssA(n9,n4) & ssA(n8,n5) != ssA(n9,n5) & ssA(n8,n5) != ssA(n9,n6) & ssA(n8,n6) != ssA(n9,n4) & ssA(n8,n6) != ssA(n9,n5) & ssA(n8,n6) != ssA(n9,n6) & ssA(n9,n4) != ssA(n9,n5) & ssA(n9,n4) != ssA(n9,n6) & ssA(n9,n5) != ssA(n9,n6) ).
fof(ax262,conjecture,ssA(n7,n7) = n1 | ssA(n7,n8) = n1 | ssA(n7,n9) = n1 | ssA(n8,n7) = n1 | ssA(n8,n8) = n1 | ssA(n8,n9) = n1 | ssA(n9,n7) = n1 | ssA(n9,n8) = n1 | ssA(n9,n9) = n1 ).
fof(ax263,conjecture,ssA(n7,n7) = n2 | ssA(n7,n8) = n2 | ssA(n7,n9) = n2 | ssA(n8,n7) = n2 | ssA(n8,n8) = n2 | ssA(n8,n9) = n2 | ssA(n9,n7) = n2 | ssA(n9,n8) = n2 | ssA(n9,n9) = n2 ).
fof(ax264,conjecture,ssA(n7,n7) = n3 | ssA(n7,n8) = n3 | ssA(n7,n9) = n3 | ssA(n8,n7) = n3 | ssA(n8,n8) = n3 | ssA(n8,n9) = n3 | ssA(n9,n7) = n3 | ssA(n9,n8) = n3 | ssA(n9,n9) = n3 ).
fof(ax265,conjecture,ssA(n7,n7) = n4 | ssA(n7,n8) = n4 | ssA(n7,n9) = n4 | ssA(n8,n7) = n4 | ssA(n8,n8) = n4 | ssA(n8,n9) = n4 | ssA(n9,n7) = n4 | ssA(n9,n8) = n4 | ssA(n9,n9) = n4 ).
fof(ax266,conjecture,ssA(n7,n7) = n5 | ssA(n7,n8) = n5 | ssA(n7,n9) = n5 | ssA(n8,n7) = n5 | ssA(n8,n8) = n5 | ssA(n8,n9) = n5 | ssA(n9,n7) = n5 | ssA(n9,n8) = n5 | ssA(n9,n9) = n5 ).
fof(ax267,conjecture,ssA(n7,n7) = n6 | ssA(n7,n8) = n6 | ssA(n7,n9) = n6 | ssA(n8,n7) = n6 | ssA(n8,n8) = n6 | ssA(n8,n9) = n6 | ssA(n9,n7) = n6 | ssA(n9,n8) = n6 | ssA(n9,n9) = n6 ).
fof(ax268,conjecture,ssA(n7,n7) = n7 | ssA(n7,n8) = n7 | ssA(n7,n9) = n7 | ssA(n8,n7) = n7 | ssA(n8,n8) = n7 | ssA(n8,n9) = n7 | ssA(n9,n7) = n7 | ssA(n9,n8) = n7 | ssA(n9,n9) = n7 ).
fof(ax269,conjecture,ssA(n7,n7) = n8 | ssA(n7,n8) = n8 | ssA(n7,n9) = n8 | ssA(n8,n7) = n8 | ssA(n8,n8) = n8 | ssA(n8,n9) = n8 | ssA(n9,n7) = n8 | ssA(n9,n8) = n8 | ssA(n9,n9) = n8 ).
fof(ax270,conjecture,ssA(n7,n7) = n9 | ssA(n7,n8) = n9 | ssA(n7,n9) = n9 | ssA(n8,n7) = n9 | ssA(n8,n8) = n9 | ssA(n8,n9) = n9 | ssA(n9,n7) = n9 | ssA(n9,n8) = n9 | ssA(n9,n9) = n9 ).
fof(ax271,conjecture,ssA(n7,n7) != ssA(n7,n8) & ssA(n7,n7) != ssA(n7,n9) & ssA(n7,n7) != ssA(n8,n7) & ssA(n7,n7) != ssA(n8,n8) & ssA(n7,n7) != ssA(n8,n9) & ssA(n7,n7) != ssA(n9,n7) & ssA(n7,n7) != ssA(n9,n8) & ssA(n7,n7) != ssA(n9,n9) & ssA(n7,n8) != ssA(n7,n9) & ssA(n7,n8) != ssA(n8,n7) & ssA(n7,n8) != ssA(n8,n8) & ssA(n7,n8) != ssA(n8,n9) & ssA(n7,n8) != ssA(n9,n7) & ssA(n7,n8) != ssA(n9,n8) & ssA(n7,n8) != ssA(n9,n9) & ssA(n7,n9) != ssA(n8,n7) & ssA(n7,n9) != ssA(n8,n8) & ssA(n7,n9) != ssA(n8,n9) & ssA(n7,n9) != ssA(n9,n7) & ssA(n7,n9) != ssA(n9,n8) & ssA(n7,n9) != ssA(n9,n9) & ssA(n8,n7) != ssA(n8,n8) & ssA(n8,n7) != ssA(n8,n9) & ssA(n8,n7) != ssA(n9,n7) & ssA(n8,n7) != ssA(n9,n8) & ssA(n8,n7) != ssA(n9,n9) & ssA(n8,n8) != ssA(n8,n9) & ssA(n8,n8) != ssA(n9,n7) & ssA(n8,n8) != ssA(n9,n8) & ssA(n8,n8) != ssA(n9,n9) & ssA(n8,n9) != ssA(n9,n7) & ssA(n8,n9) != ssA(n9,n8) & ssA(n8,n9) != ssA(n9,n9) & ssA(n9,n7) != ssA(n9,n8) & ssA(n9,n7) != ssA(n9,n9) & ssA(n9,n8) != ssA(n9,n9) ).
fof(ax272,conjecture,ssA(n1,n1) = n1 | ssA(n1,n1) = n2 | ssA(n1,n1) = n3 | ssA(n1,n1) = n4 | ssA(n1,n1) = n5 | ssA(n1,n1) = n6 | ssA(n1,n1) = n7 | ssA(n1,n1) = n8 | ssA(n1,n1) = n9 ).
fof(ax273,conjecture,ssA(n1,n2) = n1 | ssA(n1,n2) = n2 | ssA(n1,n2) = n3 | ssA(n1,n2) = n4 | ssA(n1,n2) = n5 | ssA(n1,n2) = n6 | ssA(n1,n2) = n7 | ssA(n1,n2) = n8 | ssA(n1,n2) = n9 ).
fof(ax274,conjecture,ssA(n1,n3) = n1 | ssA(n1,n3) = n2 | ssA(n1,n3) = n3 | ssA(n1,n3) = n4 | ssA(n1,n3) = n5 | ssA(n1,n3) = n6 | ssA(n1,n3) = n7 | ssA(n1,n3) = n8 | ssA(n1,n3) = n9 ).
fof(ax275,conjecture,ssA(n1,n4) = n1 | ssA(n1,n4) = n2 | ssA(n1,n4) = n3 | ssA(n1,n4) = n4 | ssA(n1,n4) = n5 | ssA(n1,n4) = n6 | ssA(n1,n4) = n7 | ssA(n1,n4) = n8 | ssA(n1,n4) = n9 ).
fof(ax276,conjecture,ssA(n1,n5) = n1 | ssA(n1,n5) = n2 | ssA(n1,n5) = n3 | ssA(n1,n5) = n4 | ssA(n1,n5) = n5 | ssA(n1,n5) = n6 | ssA(n1,n5) = n7 | ssA(n1,n5) = n8 | ssA(n1,n5) = n9 ).
fof(ax277,conjecture,ssA(n1,n6) = n1 | ssA(n1,n6) = n2 | ssA(n1,n6) = n3 | ssA(n1,n6) = n4 | ssA(n1,n6) = n5 | ssA(n1,n6) = n6 | ssA(n1,n6) = n7 | ssA(n1,n6) = n8 | ssA(n1,n6) = n9 ).
fof(ax278,conjecture,ssA(n1,n7) = n1 | ssA(n1,n7) = n2 | ssA(n1,n7) = n3 | ssA(n1,n7) = n4 | ssA(n1,n7) = n5 | ssA(n1,n7) = n6 | ssA(n1,n7) = n7 | ssA(n1,n7) = n8 | ssA(n1,n7) = n9 ).
fof(ax279,conjecture,ssA(n1,n8) = n1 | ssA(n1,n8) = n2 | ssA(n1,n8) = n3 | ssA(n1,n8) = n4 | ssA(n1,n8) = n5 | ssA(n1,n8) = n6 | ssA(n1,n8) = n7 | ssA(n1,n8) = n8 | ssA(n1,n8) = n9 ).
fof(ax280,conjecture,ssA(n1,n9) = n1 | ssA(n1,n9) = n2 | ssA(n1,n9) = n3 | ssA(n1,n9) = n4 | ssA(n1,n9) = n5 | ssA(n1,n9) = n6 | ssA(n1,n9) = n7 | ssA(n1,n9) = n8 | ssA(n1,n9) = n9 ).
fof(ax281,conjecture,ssA(n2,n1) = n1 | ssA(n2,n1) = n2 | ssA(n2,n1) = n3 | ssA(n2,n1) = n4 | ssA(n2,n1) = n5 | ssA(n2,n1) = n6 | ssA(n2,n1) = n7 | ssA(n2,n1) = n8 | ssA(n2,n1) = n9 ).
fof(ax282,conjecture,ssA(n2,n2) = n1 | ssA(n2,n2) = n2 | ssA(n2,n2) = n3 | ssA(n2,n2) = n4 | ssA(n2,n2) = n5 | ssA(n2,n2) = n6 | ssA(n2,n2) = n7 | ssA(n2,n2) = n8 | ssA(n2,n2) = n9 ).
fof(ax283,conjecture,ssA(n2,n3) = n1 | ssA(n2,n3) = n2 | ssA(n2,n3) = n3 | ssA(n2,n3) = n4 | ssA(n2,n3) = n5 | ssA(n2,n3) = n6 | ssA(n2,n3) = n7 | ssA(n2,n3) = n8 | ssA(n2,n3) = n9 ).
fof(ax284,conjecture,ssA(n2,n4) = n1 | ssA(n2,n4) = n2 | ssA(n2,n4) = n3 | ssA(n2,n4) = n4 | ssA(n2,n4) = n5 | ssA(n2,n4) = n6 | ssA(n2,n4) = n7 | ssA(n2,n4) = n8 | ssA(n2,n4) = n9 ).
fof(ax285,conjecture,ssA(n2,n5) = n1 | ssA(n2,n5) = n2 | ssA(n2,n5) = n3 | ssA(n2,n5) = n4 | ssA(n2,n5) = n5 | ssA(n2,n5) = n6 | ssA(n2,n5) = n7 | ssA(n2,n5) = n8 | ssA(n2,n5) = n9 ).
fof(ax286,conjecture,ssA(n2,n6) = n1 | ssA(n2,n6) = n2 | ssA(n2,n6) = n3 | ssA(n2,n6) = n4 | ssA(n2,n6) = n5 | ssA(n2,n6) = n6 | ssA(n2,n6) = n7 | ssA(n2,n6) = n8 | ssA(n2,n6) = n9 ).
fof(ax287,conjecture,ssA(n2,n7) = n1 | ssA(n2,n7) = n2 | ssA(n2,n7) = n3 | ssA(n2,n7) = n4 | ssA(n2,n7) = n5 | ssA(n2,n7) = n6 | ssA(n2,n7) = n7 | ssA(n2,n7) = n8 | ssA(n2,n7) = n9 ).
fof(ax288,conjecture,ssA(n2,n8) = n1 | ssA(n2,n8) = n2 | ssA(n2,n8) = n3 | ssA(n2,n8) = n4 | ssA(n2,n8) = n5 | ssA(n2,n8) = n6 | ssA(n2,n8) = n7 | ssA(n2,n8) = n8 | ssA(n2,n8) = n9 ).
fof(ax289,conjecture,ssA(n2,n9) = n1 | ssA(n2,n9) = n2 | ssA(n2,n9) = n3 | ssA(n2,n9) = n4 | ssA(n2,n9) = n5 | ssA(n2,n9) = n6 | ssA(n2,n9) = n7 | ssA(n2,n9) = n8 | ssA(n2,n9) = n9 ).
fof(ax290,conjecture,ssA(n3,n1) = n1 | ssA(n3,n1) = n2 | ssA(n3,n1) = n3 | ssA(n3,n1) = n4 | ssA(n3,n1) = n5 | ssA(n3,n1) = n6 | ssA(n3,n1) = n7 | ssA(n3,n1) = n8 | ssA(n3,n1) = n9 ).
fof(ax291,conjecture,ssA(n3,n2) = n1 | ssA(n3,n2) = n2 | ssA(n3,n2) = n3 | ssA(n3,n2) = n4 | ssA(n3,n2) = n5 | ssA(n3,n2) = n6 | ssA(n3,n2) = n7 | ssA(n3,n2) = n8 | ssA(n3,n2) = n9 ).
fof(ax292,conjecture,ssA(n3,n3) = n1 | ssA(n3,n3) = n2 | ssA(n3,n3) = n3 | ssA(n3,n3) = n4 | ssA(n3,n3) = n5 | ssA(n3,n3) = n6 | ssA(n3,n3) = n7 | ssA(n3,n3) = n8 | ssA(n3,n3) = n9 ).
fof(ax293,conjecture,ssA(n3,n4) = n1 | ssA(n3,n4) = n2 | ssA(n3,n4) = n3 | ssA(n3,n4) = n4 | ssA(n3,n4) = n5 | ssA(n3,n4) = n6 | ssA(n3,n4) = n7 | ssA(n3,n4) = n8 | ssA(n3,n4) = n9 ).
fof(ax294,conjecture,ssA(n3,n5) = n1 | ssA(n3,n5) = n2 | ssA(n3,n5) = n3 | ssA(n3,n5) = n4 | ssA(n3,n5) = n5 | ssA(n3,n5) = n6 | ssA(n3,n5) = n7 | ssA(n3,n5) = n8 | ssA(n3,n5) = n9 ).
fof(ax295,conjecture,ssA(n3,n6) = n1 | ssA(n3,n6) = n2 | ssA(n3,n6) = n3 | ssA(n3,n6) = n4 | ssA(n3,n6) = n5 | ssA(n3,n6) = n6 | ssA(n3,n6) = n7 | ssA(n3,n6) = n8 | ssA(n3,n6) = n9 ).
fof(ax296,conjecture,ssA(n3,n7) = n1 | ssA(n3,n7) = n2 | ssA(n3,n7) = n3 | ssA(n3,n7) = n4 | ssA(n3,n7) = n5 | ssA(n3,n7) = n6 | ssA(n3,n7) = n7 | ssA(n3,n7) = n8 | ssA(n3,n7) = n9 ).
fof(ax297,conjecture,ssA(n3,n8) = n1 | ssA(n3,n8) = n2 | ssA(n3,n8) = n3 | ssA(n3,n8) = n4 | ssA(n3,n8) = n5 | ssA(n3,n8) = n6 | ssA(n3,n8) = n7 | ssA(n3,n8) = n8 | ssA(n3,n8) = n9 ).
fof(ax298,conjecture,ssA(n3,n9) = n1 | ssA(n3,n9) = n2 | ssA(n3,n9) = n3 | ssA(n3,n9) = n4 | ssA(n3,n9) = n5 | ssA(n3,n9) = n6 | ssA(n3,n9) = n7 | ssA(n3,n9) = n8 | ssA(n3,n9) = n9 ).
fof(ax299,conjecture,ssA(n4,n1) = n1 | ssA(n4,n1) = n2 | ssA(n4,n1) = n3 | ssA(n4,n1) = n4 | ssA(n4,n1) = n5 | ssA(n4,n1) = n6 | ssA(n4,n1) = n7 | ssA(n4,n1) = n8 | ssA(n4,n1) = n9 ).
fof(ax300,conjecture,ssA(n4,n2) = n1 | ssA(n4,n2) = n2 | ssA(n4,n2) = n3 | ssA(n4,n2) = n4 | ssA(n4,n2) = n5 | ssA(n4,n2) = n6 | ssA(n4,n2) = n7 | ssA(n4,n2) = n8 | ssA(n4,n2) = n9 ).
fof(ax301,conjecture,ssA(n4,n3) = n1 | ssA(n4,n3) = n2 | ssA(n4,n3) = n3 | ssA(n4,n3) = n4 | ssA(n4,n3) = n5 | ssA(n4,n3) = n6 | ssA(n4,n3) = n7 | ssA(n4,n3) = n8 | ssA(n4,n3) = n9 ).
fof(ax302,conjecture,ssA(n4,n4) = n1 | ssA(n4,n4) = n2 | ssA(n4,n4) = n3 | ssA(n4,n4) = n4 | ssA(n4,n4) = n5 | ssA(n4,n4) = n6 | ssA(n4,n4) = n7 | ssA(n4,n4) = n8 | ssA(n4,n4) = n9 ).
fof(ax303,conjecture,ssA(n4,n5) = n1 | ssA(n4,n5) = n2 | ssA(n4,n5) = n3 | ssA(n4,n5) = n4 | ssA(n4,n5) = n5 | ssA(n4,n5) = n6 | ssA(n4,n5) = n7 | ssA(n4,n5) = n8 | ssA(n4,n5) = n9 ).
fof(ax304,conjecture,ssA(n4,n6) = n1 | ssA(n4,n6) = n2 | ssA(n4,n6) = n3 | ssA(n4,n6) = n4 | ssA(n4,n6) = n5 | ssA(n4,n6) = n6 | ssA(n4,n6) = n7 | ssA(n4,n6) = n8 | ssA(n4,n6) = n9 ).
fof(ax305,conjecture,ssA(n4,n7) = n1 | ssA(n4,n7) = n2 | ssA(n4,n7) = n3 | ssA(n4,n7) = n4 | ssA(n4,n7) = n5 | ssA(n4,n7) = n6 | ssA(n4,n7) = n7 | ssA(n4,n7) = n8 | ssA(n4,n7) = n9 ).
fof(ax306,conjecture,ssA(n4,n8) = n1 | ssA(n4,n8) = n2 | ssA(n4,n8) = n3 | ssA(n4,n8) = n4 | ssA(n4,n8) = n5 | ssA(n4,n8) = n6 | ssA(n4,n8) = n7 | ssA(n4,n8) = n8 | ssA(n4,n8) = n9 ).
fof(ax307,conjecture,ssA(n4,n9) = n1 | ssA(n4,n9) = n2 | ssA(n4,n9) = n3 | ssA(n4,n9) = n4 | ssA(n4,n9) = n5 | ssA(n4,n9) = n6 | ssA(n4,n9) = n7 | ssA(n4,n9) = n8 | ssA(n4,n9) = n9 ).
fof(ax308,conjecture,ssA(n5,n1) = n1 | ssA(n5,n1) = n2 | ssA(n5,n1) = n3 | ssA(n5,n1) = n4 | ssA(n5,n1) = n5 | ssA(n5,n1) = n6 | ssA(n5,n1) = n7 | ssA(n5,n1) = n8 | ssA(n5,n1) = n9 ).
fof(ax309,conjecture,ssA(n5,n2) = n1 | ssA(n5,n2) = n2 | ssA(n5,n2) = n3 | ssA(n5,n2) = n4 | ssA(n5,n2) = n5 | ssA(n5,n2) = n6 | ssA(n5,n2) = n7 | ssA(n5,n2) = n8 | ssA(n5,n2) = n9 ).
fof(ax310,conjecture,ssA(n5,n3) = n1 | ssA(n5,n3) = n2 | ssA(n5,n3) = n3 | ssA(n5,n3) = n4 | ssA(n5,n3) = n5 | ssA(n5,n3) = n6 | ssA(n5,n3) = n7 | ssA(n5,n3) = n8 | ssA(n5,n3) = n9 ).
fof(ax311,conjecture,ssA(n5,n4) = n1 | ssA(n5,n4) = n2 | ssA(n5,n4) = n3 | ssA(n5,n4) = n4 | ssA(n5,n4) = n5 | ssA(n5,n4) = n6 | ssA(n5,n4) = n7 | ssA(n5,n4) = n8 | ssA(n5,n4) = n9 ).
fof(ax312,conjecture,ssA(n5,n5) = n1 | ssA(n5,n5) = n2 | ssA(n5,n5) = n3 | ssA(n5,n5) = n4 | ssA(n5,n5) = n5 | ssA(n5,n5) = n6 | ssA(n5,n5) = n7 | ssA(n5,n5) = n8 | ssA(n5,n5) = n9 ).
fof(ax313,conjecture,ssA(n5,n6) = n1 | ssA(n5,n6) = n2 | ssA(n5,n6) = n3 | ssA(n5,n6) = n4 | ssA(n5,n6) = n5 | ssA(n5,n6) = n6 | ssA(n5,n6) = n7 | ssA(n5,n6) = n8 | ssA(n5,n6) = n9 ).
fof(ax314,conjecture,ssA(n5,n7) = n1 | ssA(n5,n7) = n2 | ssA(n5,n7) = n3 | ssA(n5,n7) = n4 | ssA(n5,n7) = n5 | ssA(n5,n7) = n6 | ssA(n5,n7) = n7 | ssA(n5,n7) = n8 | ssA(n5,n7) = n9 ).
fof(ax315,conjecture,ssA(n5,n8) = n1 | ssA(n5,n8) = n2 | ssA(n5,n8) = n3 | ssA(n5,n8) = n4 | ssA(n5,n8) = n5 | ssA(n5,n8) = n6 | ssA(n5,n8) = n7 | ssA(n5,n8) = n8 | ssA(n5,n8) = n9 ).
fof(ax316,conjecture,ssA(n5,n9) = n1 | ssA(n5,n9) = n2 | ssA(n5,n9) = n3 | ssA(n5,n9) = n4 | ssA(n5,n9) = n5 | ssA(n5,n9) = n6 | ssA(n5,n9) = n7 | ssA(n5,n9) = n8 | ssA(n5,n9) = n9 ).
fof(ax317,conjecture,ssA(n6,n1) = n1 | ssA(n6,n1) = n2 | ssA(n6,n1) = n3 | ssA(n6,n1) = n4 | ssA(n6,n1) = n5 | ssA(n6,n1) = n6 | ssA(n6,n1) = n7 | ssA(n6,n1) = n8 | ssA(n6,n1) = n9 ).
fof(ax318,conjecture,ssA(n6,n2) = n1 | ssA(n6,n2) = n2 | ssA(n6,n2) = n3 | ssA(n6,n2) = n4 | ssA(n6,n2) = n5 | ssA(n6,n2) = n6 | ssA(n6,n2) = n7 | ssA(n6,n2) = n8 | ssA(n6,n2) = n9 ).
fof(ax319,conjecture,ssA(n6,n3) = n1 | ssA(n6,n3) = n2 | ssA(n6,n3) = n3 | ssA(n6,n3) = n4 | ssA(n6,n3) = n5 | ssA(n6,n3) = n6 | ssA(n6,n3) = n7 | ssA(n6,n3) = n8 | ssA(n6,n3) = n9 ).
fof(ax320,conjecture,ssA(n6,n4) = n1 | ssA(n6,n4) = n2 | ssA(n6,n4) = n3 | ssA(n6,n4) = n4 | ssA(n6,n4) = n5 | ssA(n6,n4) = n6 | ssA(n6,n4) = n7 | ssA(n6,n4) = n8 | ssA(n6,n4) = n9 ).
fof(ax321,conjecture,ssA(n6,n5) = n1 | ssA(n6,n5) = n2 | ssA(n6,n5) = n3 | ssA(n6,n5) = n4 | ssA(n6,n5) = n5 | ssA(n6,n5) = n6 | ssA(n6,n5) = n7 | ssA(n6,n5) = n8 | ssA(n6,n5) = n9 ).
fof(ax322,conjecture,ssA(n6,n6) = n1 | ssA(n6,n6) = n2 | ssA(n6,n6) = n3 | ssA(n6,n6) = n4 | ssA(n6,n6) = n5 | ssA(n6,n6) = n6 | ssA(n6,n6) = n7 | ssA(n6,n6) = n8 | ssA(n6,n6) = n9 ).
fof(ax323,conjecture,ssA(n6,n7) = n1 | ssA(n6,n7) = n2 | ssA(n6,n7) = n3 | ssA(n6,n7) = n4 | ssA(n6,n7) = n5 | ssA(n6,n7) = n6 | ssA(n6,n7) = n7 | ssA(n6,n7) = n8 | ssA(n6,n7) = n9 ).
fof(ax324,conjecture,ssA(n6,n8) = n1 | ssA(n6,n8) = n2 | ssA(n6,n8) = n3 | ssA(n6,n8) = n4 | ssA(n6,n8) = n5 | ssA(n6,n8) = n6 | ssA(n6,n8) = n7 | ssA(n6,n8) = n8 | ssA(n6,n8) = n9 ).
fof(ax325,conjecture,ssA(n6,n9) = n1 | ssA(n6,n9) = n2 | ssA(n6,n9) = n3 | ssA(n6,n9) = n4 | ssA(n6,n9) = n5 | ssA(n6,n9) = n6 | ssA(n6,n9) = n7 | ssA(n6,n9) = n8 | ssA(n6,n9) = n9 ).
fof(ax326,conjecture,ssA(n7,n1) = n1 | ssA(n7,n1) = n2 | ssA(n7,n1) = n3 | ssA(n7,n1) = n4 | ssA(n7,n1) = n5 | ssA(n7,n1) = n6 | ssA(n7,n1) = n7 | ssA(n7,n1) = n8 | ssA(n7,n1) = n9 ).
fof(ax327,conjecture,ssA(n7,n2) = n1 | ssA(n7,n2) = n2 | ssA(n7,n2) = n3 | ssA(n7,n2) = n4 | ssA(n7,n2) = n5 | ssA(n7,n2) = n6 | ssA(n7,n2) = n7 | ssA(n7,n2) = n8 | ssA(n7,n2) = n9 ).
fof(ax328,conjecture,ssA(n7,n3) = n1 | ssA(n7,n3) = n2 | ssA(n7,n3) = n3 | ssA(n7,n3) = n4 | ssA(n7,n3) = n5 | ssA(n7,n3) = n6 | ssA(n7,n3) = n7 | ssA(n7,n3) = n8 | ssA(n7,n3) = n9 ).
fof(ax329,conjecture,ssA(n7,n4) = n1 | ssA(n7,n4) = n2 | ssA(n7,n4) = n3 | ssA(n7,n4) = n4 | ssA(n7,n4) = n5 | ssA(n7,n4) = n6 | ssA(n7,n4) = n7 | ssA(n7,n4) = n8 | ssA(n7,n4) = n9 ).
fof(ax330,conjecture,ssA(n7,n5) = n1 | ssA(n7,n5) = n2 | ssA(n7,n5) = n3 | ssA(n7,n5) = n4 | ssA(n7,n5) = n5 | ssA(n7,n5) = n6 | ssA(n7,n5) = n7 | ssA(n7,n5) = n8 | ssA(n7,n5) = n9 ).
fof(ax331,conjecture,ssA(n7,n6) = n1 | ssA(n7,n6) = n2 | ssA(n7,n6) = n3 | ssA(n7,n6) = n4 | ssA(n7,n6) = n5 | ssA(n7,n6) = n6 | ssA(n7,n6) = n7 | ssA(n7,n6) = n8 | ssA(n7,n6) = n9 ).
fof(ax332,conjecture,ssA(n7,n7) = n1 | ssA(n7,n7) = n2 | ssA(n7,n7) = n3 | ssA(n7,n7) = n4 | ssA(n7,n7) = n5 | ssA(n7,n7) = n6 | ssA(n7,n7) = n7 | ssA(n7,n7) = n8 | ssA(n7,n7) = n9 ).
fof(ax333,conjecture,ssA(n7,n8) = n1 | ssA(n7,n8) = n2 | ssA(n7,n8) = n3 | ssA(n7,n8) = n4 | ssA(n7,n8) = n5 | ssA(n7,n8) = n6 | ssA(n7,n8) = n7 | ssA(n7,n8) = n8 | ssA(n7,n8) = n9 ).
fof(ax334,conjecture,ssA(n7,n9) = n1 | ssA(n7,n9) = n2 | ssA(n7,n9) = n3 | ssA(n7,n9) = n4 | ssA(n7,n9) = n5 | ssA(n7,n9) = n6 | ssA(n7,n9) = n7 | ssA(n7,n9) = n8 | ssA(n7,n9) = n9 ).
fof(ax335,conjecture,ssA(n8,n1) = n1 | ssA(n8,n1) = n2 | ssA(n8,n1) = n3 | ssA(n8,n1) = n4 | ssA(n8,n1) = n5 | ssA(n8,n1) = n6 | ssA(n8,n1) = n7 | ssA(n8,n1) = n8 | ssA(n8,n1) = n9 ).
fof(ax336,conjecture,ssA(n8,n2) = n1 | ssA(n8,n2) = n2 | ssA(n8,n2) = n3 | ssA(n8,n2) = n4 | ssA(n8,n2) = n5 | ssA(n8,n2) = n6 | ssA(n8,n2) = n7 | ssA(n8,n2) = n8 | ssA(n8,n2) = n9 ).
fof(ax337,conjecture,ssA(n8,n3) = n1 | ssA(n8,n3) = n2 | ssA(n8,n3) = n3 | ssA(n8,n3) = n4 | ssA(n8,n3) = n5 | ssA(n8,n3) = n6 | ssA(n8,n3) = n7 | ssA(n8,n3) = n8 | ssA(n8,n3) = n9 ).
fof(ax338,conjecture,ssA(n8,n4) = n1 | ssA(n8,n4) = n2 | ssA(n8,n4) = n3 | ssA(n8,n4) = n4 | ssA(n8,n4) = n5 | ssA(n8,n4) = n6 | ssA(n8,n4) = n7 | ssA(n8,n4) = n8 | ssA(n8,n4) = n9 ).
fof(ax339,conjecture,ssA(n8,n5) = n1 | ssA(n8,n5) = n2 | ssA(n8,n5) = n3 | ssA(n8,n5) = n4 | ssA(n8,n5) = n5 | ssA(n8,n5) = n6 | ssA(n8,n5) = n7 | ssA(n8,n5) = n8 | ssA(n8,n5) = n9 ).
fof(ax340,conjecture,ssA(n8,n6) = n1 | ssA(n8,n6) = n2 | ssA(n8,n6) = n3 | ssA(n8,n6) = n4 | ssA(n8,n6) = n5 | ssA(n8,n6) = n6 | ssA(n8,n6) = n7 | ssA(n8,n6) = n8 | ssA(n8,n6) = n9 ).
fof(ax341,conjecture,ssA(n8,n7) = n1 | ssA(n8,n7) = n2 | ssA(n8,n7) = n3 | ssA(n8,n7) = n4 | ssA(n8,n7) = n5 | ssA(n8,n7) = n6 | ssA(n8,n7) = n7 | ssA(n8,n7) = n8 | ssA(n8,n7) = n9 ).
fof(ax342,conjecture,ssA(n8,n8) = n1 | ssA(n8,n8) = n2 | ssA(n8,n8) = n3 | ssA(n8,n8) = n4 | ssA(n8,n8) = n5 | ssA(n8,n8) = n6 | ssA(n8,n8) = n7 | ssA(n8,n8) = n8 | ssA(n8,n8) = n9 ).
fof(ax343,conjecture,ssA(n8,n9) = n1 | ssA(n8,n9) = n2 | ssA(n8,n9) = n3 | ssA(n8,n9) = n4 | ssA(n8,n9) = n5 | ssA(n8,n9) = n6 | ssA(n8,n9) = n7 | ssA(n8,n9) = n8 | ssA(n8,n9) = n9 ).
fof(ax344,conjecture,ssA(n9,n1) = n1 | ssA(n9,n1) = n2 | ssA(n9,n1) = n3 | ssA(n9,n1) = n4 | ssA(n9,n1) = n5 | ssA(n9,n1) = n6 | ssA(n9,n1) = n7 | ssA(n9,n1) = n8 | ssA(n9,n1) = n9 ).
fof(ax345,conjecture,ssA(n9,n2) = n1 | ssA(n9,n2) = n2 | ssA(n9,n2) = n3 | ssA(n9,n2) = n4 | ssA(n9,n2) = n5 | ssA(n9,n2) = n6 | ssA(n9,n2) = n7 | ssA(n9,n2) = n8 | ssA(n9,n2) = n9 ).
fof(ax346,conjecture,ssA(n9,n3) = n1 | ssA(n9,n3) = n2 | ssA(n9,n3) = n3 | ssA(n9,n3) = n4 | ssA(n9,n3) = n5 | ssA(n9,n3) = n6 | ssA(n9,n3) = n7 | ssA(n9,n3) = n8 | ssA(n9,n3) = n9 ).
fof(ax347,conjecture,ssA(n9,n4) = n1 | ssA(n9,n4) = n2 | ssA(n9,n4) = n3 | ssA(n9,n4) = n4 | ssA(n9,n4) = n5 | ssA(n9,n4) = n6 | ssA(n9,n4) = n7 | ssA(n9,n4) = n8 | ssA(n9,n4) = n9 ).
fof(ax348,conjecture,ssA(n9,n5) = n1 | ssA(n9,n5) = n2 | ssA(n9,n5) = n3 | ssA(n9,n5) = n4 | ssA(n9,n5) = n5 | ssA(n9,n5) = n6 | ssA(n9,n5) = n7 | ssA(n9,n5) = n8 | ssA(n9,n5) = n9 ).
fof(ax349,conjecture,ssA(n9,n6) = n1 | ssA(n9,n6) = n2 | ssA(n9,n6) = n3 | ssA(n9,n6) = n4 | ssA(n9,n6) = n5 | ssA(n9,n6) = n6 | ssA(n9,n6) = n7 | ssA(n9,n6) = n8 | ssA(n9,n6) = n9 ).
fof(ax350,conjecture,ssA(n9,n7) = n1 | ssA(n9,n7) = n2 | ssA(n9,n7) = n3 | ssA(n9,n7) = n4 | ssA(n9,n7) = n5 | ssA(n9,n7) = n6 | ssA(n9,n7) = n7 | ssA(n9,n7) = n8 | ssA(n9,n7) = n9 ).
fof(ax351,conjecture,ssA(n9,n8) = n1 | ssA(n9,n8) = n2 | ssA(n9,n8) = n3 | ssA(n9,n8) = n4 | ssA(n9,n8) = n5 | ssA(n9,n8) = n6 | ssA(n9,n8) = n7 | ssA(n9,n8) = n8 | ssA(n9,n8) = n9 ).
fof(ax352,conjecture,ssA(n9,n9) = n1 | ssA(n9,n9) = n2 | ssA(n9,n9) = n3 | ssA(n9,n9) = n4 | ssA(n9,n9) = n5 | ssA(n9,n9) = n6 | ssA(n9,n9) = n7 | ssA(n9,n9) = n8 | ssA(n9,n9) = n9 ).
fof(ax370,conjecture,ssP(ssA(n1,n1),ssA(n1,n2),ssA(n1,n3),ssA(n1,n4),ssA(n1,n5),ssA(n1,n6),ssA(n1,n7),ssA(n1,n8),ssA(n1,n9),ssA(n2,n1),ssA(n2,n2),ssA(n2,n3),ssA(n2,n4),ssA(n2,n5),ssA(n2,n6),ssA(n2,n7),ssA(n2,n8),ssA(n2,n9),ssA(n3,n1),ssA(n3,n2),ssA(n3,n3),ssA(n3,n4),ssA(n3,n5),ssA(n3,n6),ssA(n3,n7),ssA(n3,n8),ssA(n3,n9),ssA(n4,n1),ssA(n4,n2),ssA(n4,n3),ssA(n4,n4),ssA(n4,n5),ssA(n4,n6),ssA(n4,n7),ssA(n4,n8),ssA(n4,n9),ssA(n5,n1),ssA(n5,n2),ssA(n5,n3),ssA(n5,n4),ssA(n5,n5),ssA(n5,n6),ssA(n5,n7),ssA(n5,n8),ssA(n5,n9),ssA(n6,n1),ssA(n6,n2),ssA(n6,n3),ssA(n6,n4),ssA(n6,n5),ssA(n6,n6),ssA(n6,n7),ssA(n6,n8),ssA(n6,n9),ssA(n7,n1),ssA(n7,n2),ssA(n7,n3),ssA(n7,n4),ssA(n7,n5),ssA(n7,n6),ssA(n7,n7),ssA(n7,n8),ssA(n7,n9),ssA(n8,n1),ssA(n8,n2),ssA(n8,n3),ssA(n8,n4),ssA(n8,n5),ssA(n8,n6),ssA(n8,n7),ssA(n8,n8),ssA(n8,n9),ssA(n9,n1),ssA(n9,n2),ssA(n9,n3),ssA(n9,n4),ssA(n9,n5),ssA(n9,n6),ssA(n9,n7),ssA(n9,n8),ssA(n9,n9)) ).
fof(ax353,conjecture,ssA(n1,n1) = n4 ).
fof(ax354,conjecture,ssA(n1,n2) = n5 ).
fof(ax355,conjecture,ssA(n1,n5) = n8 ).
fof(ax356,conjecture,ssA(n2,n8) = n7 ).
fof(ax357,conjecture,ssA(n2,n9) = n1 ).
fof(ax358,conjecture,ssA(n3,n2) = n2 ).
fof(ax359,conjecture,ssA(n4,n3) = n1 ).
fof(ax360,conjecture,ssA(n4,n4) = n6 ).
fof(ax361,conjecture,ssA(n4,n8) = n3 ).
fof(ax362,conjecture,ssA(n5,n1) = n5 ).
fof(ax363,conjecture,ssA(n5,n5) = n4 ).
fof(ax364,conjecture,ssA(n5,n7) = n2 ).
fof(ax365,conjecture,ssA(n7,n1) = n2 ).
fof(ax366,conjecture,ssA(n7,n7) = n8 ).
fof(ax367,conjecture,ssA(n8,n4) = n1 ).
fof(ax368,conjecture,ssA(n8,n6) = n3 ).
fof(ax369,conjecture,ssA(n9,n4) = n7 ).
