single_rules.txt

matmul(matmul(input_1,input_4),input_5)==matmul(input_1,matmul(input_4,input_5))matmul(matmul(input_1,input_4),matmul(input_5,input_6))==matmul(matmul(input_1,matmul(input_4,input_5)),input_6)matmul(concat(0,input_4,matmul(input_1,input_4)),input_5)==concat(0,matmul(input_4,input_5),matmul(input_1,matmul(input_4,input_5)))matmul(matmul(matmul(input_1,input_4),input_5),input_5)==matmul(input_1,matmul(matmul(input_4,input_5),input_5))matmul(matmul(input_1,input_4),matmul(input_5,input_6))==matmul(input_1,matmul(matmul(input_4,input_5),input_6))ewadd(matmul(input_1,input_4),matmul(matmul(input_1,input_4),input_5))==matmul(input_1,ewadd(input_4,matmul(input_4,input_5)))matmul(ewadd(input_1,matmul(input_1,input_4)),input_5)==matmul(input_1,ewadd(input_5,matmul(input_4,input_5)))smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(smul(input_1,input_20),matmul(input_4,input_5))smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(input_1,smul(matmul(input_4,input_5),input_20))concat(1,matmul(input_1,input_4),matmul(matmul(input_1,input_4),input_5))==matmul(input_1,concat(1,input_4,matmul(input_4,input_5)))matmul(matmul(input_6,matmul(input_4,input_5)),input_4)==matmul(input_6,matmul(input_4,matmul(input_5,input_4)))matmul(matmul(input_4,input_5),matmul(matmul(input_4,input_5),input_4))==matmul(matmul(input_4,matmul(input_5,input_4)),matmul(input_5,input_4))matmul(matmul(input_6,matmul(input_4,input_5)),input_4)==matmul(matmul(input_6,input_4),matmul(input_5,input_4))matmul(matmul(input_4,matmul(input_4,input_5)),input_6)==matmul(input_4,matmul(input_4,matmul(input_5,input_6)))matmul(matmul(input_5,matmul(input_4,input_5)),input_6)==matmul(input_5,matmul(input_4,matmul(input_5,input_6)))matmul(matmul(input_6,matmul(input_4,input_5)),input_6)==matmul(input_6,matmul(input_4,matmul(input_5,input_6)))matmul(ewadd(input_5,matmul(input_4,input_5)),input_6)==ewadd(matmul(input_5,input_6),matmul(input_4,matmul(input_5,input_6)))matmul(matmul(input_5,matmul(input_4,input_5)),input_6)==matmul(matmul(input_5,input_4),matmul(input_5,input_6))matmul(matmul(input_6,matmul(input_4,input_5)),input_6)==matmul(matmul(input_6,input_4),matmul(input_5,input_6))matmul(input_6,matmul(input_4,matmul(input_4,input_5)))==matmul(matmul(matmul(input_6,input_4),input_4),input_5)matmul(matmul(input_4,input_6),matmul(input_4,input_5))==matmul(input_4,matmul(matmul(input_6,input_4),input_5))matmul(matmul(input_5,input_6),matmul(input_4,input_5))==matmul(input_5,matmul(matmul(input_6,input_4),input_5))smul(matmul(input_6,matmul(input_4,input_5)),input_20)==matmul(matmul(input_6,input_4),smul(input_5,input_20))smul(matmul(input_6,matmul(input_4,input_5)),input_20)==matmul(smul(matmul(input_6,input_4),input_20),input_5)matmul(input_6,matmul(input_5,matmul(input_4,input_5)))==matmul(matmul(matmul(input_6,input_5),input_4),input_5)ewadd(matmul(input_1,input_4),matmul(input_2,input_4))==matmul(ewadd(input_1,input_2),input_4)ewadd(input_3,ewadd(input_3,ewadd(input_1,input_2)))==ewadd(ewadd(input_1,input_3),ewadd(input_2,input_3))ewadd(input_3,ewadd(input_1,input_2))==ewadd(input_2,ewadd(input_1,input_3))ewadd(ewadd(input_1,input_2),ewadd(input_2,input_3))==ewadd(input_2,ewadd(input_2,ewadd(input_1,input_3)))ewadd(input_3,ewadd(input_3,ewadd(input_1,input_2)))==ewadd(input_2,ewadd(input_3,ewadd(input_1,input_3)))ewadd(input_3,ewadd(input_3,ewadd(input_1,input_2)))==ewadd(ewadd(input_2,input_3),ewadd(input_1,input_3))ewadd(input_3,ewadd(input_1,input_2))==ewadd(input_1,ewadd(input_2,input_3))ewadd(ewadd(input_1,input_2),ewadd(input_1,input_3))==ewadd(input_1,ewadd(input_1,ewadd(input_2,input_3)))ewadd(input_3,ewadd(input_3,ewadd(input_1,input_2)))==ewadd(input_1,ewadd(input_3,ewadd(input_2,input_3)))ewadd(matmul(input_1,input_4),matmul(input_1,input_5))==matmul(input_1,ewadd(input_4,input_5))conv2d(1,1,0,0,ewadd(input_12,ewadd(input_10,input_11)),ewadd(input_12,ewadd(input_10,input_11)))==conv2d(1,1,0,0,ewadd(input_11,ewadd(input_10,input_12)),ewadd(input_11,ewadd(input_10,input_12)))conv2d(1,1,0,2,ewadd(input_12,ewadd(input_10,input_11)),ewadd(input_12,ewadd(input_10,input_11)))==conv2d(1,1,0,2,ewadd(input_11,ewadd(input_10,input_12)),ewadd(input_11,ewadd(input_10,input_12)))conv2d(1,1,0,0,ewadd(input_12,ewadd(input_10,input_11)),ewadd(input_12,ewadd(input_10,input_11)))==conv2d(1,1,0,0,ewadd(input_10,ewadd(input_11,input_12)),ewadd(input_10,ewadd(input_11,input_12)))conv2d(1,1,0,2,ewadd(input_12,ewadd(input_10,input_11)),ewadd(input_12,ewadd(input_10,input_11)))==conv2d(1,1,0,2,ewadd(input_10,ewadd(input_11,input_12)),ewadd(input_10,ewadd(input_11,input_12)))conv2d(1,1,0,0,ewadd(input_15,ewadd(input_13,input_14)),ewadd(input_15,ewadd(input_13,input_14)))==conv2d(1,1,0,0,ewadd(input_14,ewadd(input_13,input_15)),ewadd(input_14,ewadd(input_13,input_15)))conv2d(1,1,0,2,ewadd(input_15,ewadd(input_13,input_14)),ewadd(input_15,ewadd(input_13,input_14)))==conv2d(1,1,0,2,ewadd(input_14,ewadd(input_13,input_15)),ewadd(input_14,ewadd(input_13,input_15)))conv2d(1,1,0,0,ewadd(input_15,ewadd(input_13,input_14)),ewadd(input_15,ewadd(input_13,input_14)))==conv2d(1,1,0,0,ewadd(input_13,ewadd(input_14,input_15)),ewadd(input_13,ewadd(input_14,input_15)))conv2d(1,1,0,2,ewadd(input_15,ewadd(input_13,input_14)),ewadd(input_15,ewadd(input_13,input_14)))==conv2d(1,1,0,2,ewadd(input_13,ewadd(input_14,input_15)),ewadd(input_13,ewadd(input_14,input_15)))conv2d(1,1,0,0,ewadd(input_18,ewadd(input_16,input_17)),ewadd(input_18,ewadd(input_16,input_17)))==conv2d(1,1,0,0,ewadd(input_17,ewadd(input_16,input_18)),ewadd(input_17,ewadd(input_16,input_18)))conv2d(1,1,0,2,ewadd(input_18,ewadd(input_16,input_17)),ewadd(input_18,ewadd(input_16,input_17)))==conv2d(1,1,0,2,ewadd(input_17,ewadd(input_16,input_18)),ewadd(input_17,ewadd(input_16,input_18)))conv2d(1,1,0,0,ewadd(input_18,ewadd(input_16,input_17)),ewadd(input_18,ewadd(input_16,input_17)))==conv2d(1,1,0,0,ewadd(input_16,ewadd(input_17,input_18)),ewadd(input_16,ewadd(input_17,input_18)))conv2d(1,1,0,2,ewadd(input_18,ewadd(input_16,input_17)),ewadd(input_18,ewadd(input_16,input_17)))==conv2d(1,1,0,2,ewadd(input_16,ewadd(input_17,input_18)),ewadd(input_16,ewadd(input_17,input_18)))ewmul(input_1,ewadd(input_2,input_3))==ewadd(ewmul(input_1,input_2),ewmul(input_1,input_3))ewmul(input_2,ewadd(input_1,input_3))==ewadd(ewmul(input_1,input_2),ewmul(input_2,input_3))ewadd(ewmul(input_1,input_2),ewmul(input_3,ewmul(input_1,input_2)))==ewmul(input_2,ewadd(input_1,ewmul(input_1,input_3)))ewmul(input_3,ewadd(input_2,ewmul(input_1,input_2)))==ewmul(input_2,ewadd(input_3,ewmul(input_1,input_3)))ewmul(input_3,ewadd(input_1,input_2))==ewadd(ewmul(input_1,input_3),ewmul(input_2,input_3))ewmul(input_3,ewmul(input_3,ewmul(input_1,input_2)))==ewmul(ewmul(input_1,input_3),ewmul(input_2,input_3))ewmul(input_3,ewmul(input_1,input_2))==ewmul(input_2,ewmul(input_1,input_3))ewmul(ewmul(input_1,input_2),ewmul(input_2,input_3))==ewmul(input_2,ewmul(input_2,ewmul(input_1,input_3)))ewmul(input_3,ewmul(input_3,ewmul(input_1,input_2)))==ewmul(input_2,ewmul(input_3,ewmul(input_1,input_3)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(ewmul(input_1,input_3),smul(input_2,input_20))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_2,smul(ewmul(input_1,input_3),input_20))ewadd(ewmul(input_1,input_2),ewmul(input_3,ewmul(input_1,input_2)))==ewmul(input_1,ewadd(input_2,ewmul(input_2,input_3)))ewmul(input_3,ewadd(input_1,ewmul(input_1,input_2)))==ewmul(input_1,ewadd(input_3,ewmul(input_2,input_3)))ewmul(input_3,ewadd(input_1,input_2))==ewadd(ewmul(input_2,input_3),ewmul(input_1,input_3))ewmul(input_3,ewmul(input_3,ewmul(input_1,input_2)))==ewmul(ewmul(input_2,input_3),ewmul(input_1,input_3))ewmul(input_3,ewmul(input_1,input_2))==ewmul(input_1,ewmul(input_2,input_3))ewmul(input_3,ewadd(input_2,ewmul(input_1,input_2)))==ewadd(ewmul(input_2,input_3),ewmul(input_1,ewmul(input_2,input_3)))ewmul(ewmul(input_1,input_2),ewmul(input_1,input_3))==ewmul(input_1,ewmul(input_1,ewmul(input_2,input_3)))ewmul(input_3,ewmul(input_3,ewmul(input_1,input_2)))==ewmul(input_1,ewmul(input_3,ewmul(input_2,input_3)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(ewmul(input_2,input_3),smul(input_1,input_20))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_1,smul(ewmul(input_2,input_3),input_20))conv2d(1,1,0,0,ewmul(input_12,ewmul(input_10,input_11)),ewmul(input_12,ewmul(input_10,input_11)))==conv2d(1,1,0,0,ewmul(input_11,ewmul(input_10,input_12)),ewmul(input_11,ewmul(input_10,input_12)))conv2d(1,1,0,2,ewmul(input_12,ewmul(input_10,input_11)),ewmul(input_12,ewmul(input_10,input_11)))==conv2d(1,1,0,2,ewmul(input_11,ewmul(input_10,input_12)),ewmul(input_11,ewmul(input_10,input_12)))conv2d(1,1,0,0,ewmul(input_12,ewmul(input_10,input_11)),ewmul(input_12,ewmul(input_10,input_11)))==conv2d(1,1,0,0,ewmul(input_10,ewmul(input_11,input_12)),ewmul(input_10,ewmul(input_11,input_12)))conv2d(1,1,0,2,ewmul(input_12,ewmul(input_10,input_11)),ewmul(input_12,ewmul(input_10,input_11)))==conv2d(1,1,0,2,ewmul(input_10,ewmul(input_11,input_12)),ewmul(input_10,ewmul(input_11,input_12)))ewmul(input_13,ewadd(input_14,input_15))==ewadd(ewmul(input_13,input_15),ewmul(input_13,input_14))conv2d(1,1,0,0,ewmul(input_15,ewmul(input_13,input_14)),ewmul(input_15,ewmul(input_13,input_14)))==conv2d(1,1,0,0,ewmul(input_14,ewmul(input_13,input_15)),ewmul(input_14,ewmul(input_13,input_15)))conv2d(1,1,0,2,ewmul(input_15,ewmul(input_13,input_14)),ewmul(input_15,ewmul(input_13,input_14)))==conv2d(1,1,0,2,ewmul(input_14,ewmul(input_13,input_15)),ewmul(input_14,ewmul(input_13,input_15)))ewmul(input_14,ewadd(input_13,input_15))==ewadd(ewmul(input_14,input_15),ewmul(input_13,input_14))conv2d(1,1,0,0,ewmul(input_15,ewmul(input_13,input_14)),ewmul(input_15,ewmul(input_13,input_14)))==conv2d(1,1,0,0,ewmul(input_13,ewmul(input_14,input_15)),ewmul(input_13,ewmul(input_14,input_15)))conv2d(1,1,0,2,ewmul(input_15,ewmul(input_13,input_14)),ewmul(input_15,ewmul(input_13,input_14)))==conv2d(1,1,0,2,ewmul(input_13,ewmul(input_14,input_15)),ewmul(input_13,ewmul(input_14,input_15)))conv2d(1,1,0,0,ewmul(input_18,ewmul(input_16,input_17)),ewmul(input_18,ewmul(input_16,input_17)))==conv2d(1,1,0,0,ewmul(input_17,ewmul(input_16,input_18)),ewmul(input_17,ewmul(input_16,input_18)))conv2d(1,1,0,2,ewmul(input_18,ewmul(input_16,input_17)),ewmul(input_18,ewmul(input_16,input_17)))==conv2d(1,1,0,2,ewmul(input_17,ewmul(input_16,input_18)),ewmul(input_17,ewmul(input_16,input_18)))conv2d(1,1,0,0,ewmul(input_18,ewmul(input_16,input_17)),ewmul(input_18,ewmul(input_16,input_17)))==conv2d(1,1,0,0,ewmul(input_16,ewmul(input_17,input_18)),ewmul(input_16,ewmul(input_17,input_18)))conv2d(1,1,0,2,ewmul(input_18,ewmul(input_16,input_17)),ewmul(input_18,ewmul(input_16,input_17)))==conv2d(1,1,0,2,ewmul(input_16,ewmul(input_17,input_18)),ewmul(input_16,ewmul(input_17,input_18)))conv2d(1,1,0,0,input_7,ewadd(input_10,input_11))==ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_11))conv2d(1,1,0,0,ewadd(input_7,input_8),input_10)==ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_8,input_10))conv2d(1,1,0,0,input_7,ewadd(input_10,input_11))==ewadd(conv2d(1,1,0,0,input_7,input_11),conv2d(1,1,0,0,input_7,input_10))conv2d(1,1,0,0,ewadd(input_7,input_8),input_10)==ewadd(conv2d(1,1,0,0,input_8,input_10),conv2d(1,1,0,0,input_7,input_10))conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),Iconv(3,3))==conv2d(1,1,0,2,input_7,input_10)conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_11)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),input_11))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_13)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_16)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),input_16))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_10)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),Cpool(3,3))relu(relu(conv2d(1,1,0,0,input_7,input_10)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),Iconv(3,3))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_10)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_13))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_10)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_16))conv2d(1,1,0,0,input_7,ewadd(input_13,input_14))==ewadd(conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_7,input_14))conv2d(1,1,0,0,ewadd(input_7,input_8),input_13)==ewadd(conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_13))conv2d(1,1,0,0,input_7,ewadd(input_13,input_14))==ewadd(conv2d(1,1,0,0,input_7,input_14),conv2d(1,1,0,0,input_7,input_13))conv2d(1,1,0,0,ewadd(input_7,input_8),input_13)==ewadd(conv2d(1,1,0,0,input_8,input_13),conv2d(1,1,0,0,input_7,input_13))conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),Iconv(3,3))==conv2d(1,1,0,2,input_7,input_13)conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_10)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),input_10))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_14)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),input_14))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_16)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),input_16))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_13)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),Cpool(3,3))relu(relu(conv2d(1,1,0,0,input_7,input_13)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_13),Iconv(3,3))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_13)),input_14)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_14))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_14)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_14))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_13)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_16))conv2d(1,1,0,0,input_7,ewadd(input_16,input_17))==ewadd(conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_7,input_17))conv2d(1,1,0,0,ewadd(input_7,input_8),input_16)==ewadd(conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_16))conv2d(1,1,0,0,input_7,ewadd(input_16,input_17))==ewadd(conv2d(1,1,0,0,input_7,input_17),conv2d(1,1,0,0,input_7,input_16))conv2d(1,1,0,0,ewadd(input_7,input_8),input_16)==ewadd(conv2d(1,1,0,0,input_8,input_16),conv2d(1,1,0,0,input_7,input_16))conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),Iconv(3,3))==conv2d(1,1,0,2,input_7,input_16)conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_10)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),input_10))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_13)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_17)==relu(conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),input_17))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_16)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),Cpool(3,3))relu(relu(conv2d(1,1,0,0,input_7,input_16)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_16),Iconv(3,3))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_16)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_13))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_16)),input_17)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_17))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_17)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_17))poolavg(3,3,1,1,0,ewadd(input_7,input_8))==ewadd(poolavg(3,3,1,1,0,input_7),poolavg(3,3,1,1,0,input_8))poolavg(3,3,1,1,0,ewadd(input_7,input_8))==ewadd(poolavg(3,3,1,1,0,input_8),poolavg(3,3,1,1,0,input_7))ewadd(conv2d(1,1,0,0,input_7,input_19),poolavg(3,3,1,1,0,input_7))==conv2d(1,1,0,0,input_7,ewadd(input_19,Cpool(3,3)))poolavg(3,3,1,1,0,input_7)==conv2d(1,1,0,0,input_7,Cpool(3,3))poolavg(3,3,1,1,0,poolavg(3,3,1,1,0,input_7))==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,Cpool(3,3)),Cpool(3,3))relu(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_10))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,Cpool(3,3)),input_10)relu(poolavg(3,3,1,1,0,poolavg(3,3,1,1,0,input_7)))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,Cpool(3,3)),Cpool(3,3))relu(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_13))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,Cpool(3,3)),input_13)relu(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_16))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,Cpool(3,3)),input_16)conv2d(1,1,0,2,poolavg(3,3,1,1,0,input_7),Iconv(3,3))==relu(conv2d(1,1,0,0,input_7,Cpool(3,3)))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_10)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),Cpool(3,3))conv2d(1,1,0,2,poolavg(3,3,1,1,0,input_7),Iconv(3,3))==conv2d(1,1,0,2,input_7,Cpool(3,3))poolavg(3,3,1,1,0,relu(poolavg(3,3,1,1,0,input_7)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,Cpool(3,3)),Cpool(3,3))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_13)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),Cpool(3,3))poolavg(3,3,1,1,0,relu(conv2d(1,1,0,0,input_7,input_16)))==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),Cpool(3,3))smul(poolavg(3,3,1,1,0,input_7),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),Cpool(3,3))relu(smul(poolavg(3,3,1,1,0,input_7),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),Cpool(3,3))smul(poolavg(3,3,1,1,0,input_7),input_20)==conv2d(1,1,0,0,input_7,smul(Cpool(3,3),input_20))relu(smul(poolavg(3,3,1,1,0,input_7),input_20))==conv2d(1,1,0,2,input_7,smul(Cpool(3,3),input_20))concat(0,poolavg(3,3,1,1,0,input_7),poolavg(3,3,1,1,0,input_8))==conv2d(1,1,0,0,concat(0,input_7,input_8),Cpool(3,3))ewadd(input_7,conv2d(1,1,0,0,input_7,input_10))==conv2d(1,1,0,0,input_7,ewadd(input_10,Iconv(3,3)))relu(ewadd(input_7,conv2d(1,1,0,0,input_7,input_10)))==conv2d(1,1,0,2,input_7,ewadd(input_10,Iconv(3,3)))relu(relu(conv2d(1,1,0,0,input_7,input_10)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),Iconv(3,3))conv2d(1,1,0,0,relu(input_7),Cpool(3,3))==poolavg(3,3,1,1,0,conv2d(1,1,0,2,input_7,Iconv(3,3)))relu(relu(conv2d(1,1,0,0,input_7,input_13)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_13),Iconv(3,3))relu(relu(conv2d(1,1,0,0,input_7,input_16)))==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_16),Iconv(3,3))poolavg(3,3,1,1,0,input_7)==conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,Iconv(3,3)))concat(1,conv2d(1,1,0,2,input_7,input_10),relu(input_7))==conv2d(1,1,0,2,input_7,concat(0,input_10,Iconv(3,3)))ewadd(input_1,matmul(input_1,input_4))==matmul(input_1,ewadd(input_4,Imatmul))ewadd(input_5,matmul(input_4,input_5))==matmul(ewadd(input_4,Imatmul),input_5)ewadd(input_8,ewmul(input_7,input_8))==ewmul(input_8,ewadd(input_7,Iewmul))ewadd(input_7,ewmul(input_7,input_8))==ewmul(input_7,ewadd(input_8,Iewmul))conv2d(1,1,0,0,input_7,smul(Iconv(3,3),input_20))==ewmul(input_7,smul(Iewmul,input_20))ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_13))==conv2d(1,1,0,0,input_7,ewadd(input_10,enlarge(3,3,input_13)))conv2d(1,1,0,0,input_7,input_13)==conv2d(1,1,0,0,input_7,enlarge(3,3,input_13))conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)),enlarge(3,3,input_13))relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_10))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)),input_10)relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_13))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)),enlarge(3,3,input_13))relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_14))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)),input_14)relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_16))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)),input_16)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),Iconv(3,3))==relu(conv2d(1,1,0,0,input_7,enlarge(3,3,input_13)))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_10)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_13))conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),Iconv(3,3))==conv2d(1,1,0,2,input_7,enlarge(3,3,input_13))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_13)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,enlarge(3,3,input_13)),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,enlarge(3,3,input_13)),enlarge(3,3,input_13))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_14)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_14),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_14)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_14),enlarge(3,3,input_13))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_16)),input_13)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_13))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_13)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_16),enlarge(3,3,input_13))smul(conv2d(1,1,0,0,input_7,input_13),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),enlarge(3,3,input_13))relu(smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),enlarge(3,3,input_13))smul(conv2d(1,1,0,0,input_7,input_13),input_20)==conv2d(1,1,0,0,input_7,smul(enlarge(3,3,input_13),input_20))relu(smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,2,input_7,smul(enlarge(3,3,input_13),input_20))conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_13)==conv2d(1,1,0,0,relu(input_7),enlarge(3,3,input_13))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_13)==conv2d(1,1,0,2,relu(input_7),enlarge(3,3,input_13))concat(0,conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_13))==conv2d(1,1,0,0,concat(0,input_7,input_8),enlarge(3,3,input_13))concat(0,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_8,input_13))==conv2d(1,1,0,2,concat(0,input_7,input_8),enlarge(3,3,input_13))concat(1,conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_13))==conv2d(1,1,0,0,input_7,concat(0,input_10,enlarge(3,3,input_13)))concat(1,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_7,input_13))==conv2d(1,1,0,2,input_7,concat(0,input_10,enlarge(3,3,input_13)))ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_16))==conv2d(1,1,0,0,input_7,ewadd(input_10,enlarge(3,3,input_16)))conv2d(1,1,0,0,input_7,input_16)==conv2d(1,1,0,0,input_7,enlarge(3,3,input_16))conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)),enlarge(3,3,input_16))relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_10))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)),input_10)relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_16))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)),enlarge(3,3,input_16))relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_13))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)),input_13)relu(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_17))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)),input_17)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),Iconv(3,3))==relu(conv2d(1,1,0,0,input_7,enlarge(3,3,input_16)))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_10)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_10)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_10),enlarge(3,3,input_16))conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),Iconv(3,3))==conv2d(1,1,0,2,input_7,enlarge(3,3,input_16))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_16)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,enlarge(3,3,input_16)),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_16)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,enlarge(3,3,input_16)),enlarge(3,3,input_16))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_13)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_13)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_13),enlarge(3,3,input_16))conv2d(1,1,0,0,relu(conv2d(1,1,0,0,input_7,input_17)),input_16)==conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,input_17),enlarge(3,3,input_16))conv2d(1,1,0,2,relu(conv2d(1,1,0,0,input_7,input_17)),input_16)==conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,input_17),enlarge(3,3,input_16))smul(conv2d(1,1,0,0,input_7,input_16),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),enlarge(3,3,input_16))relu(smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),enlarge(3,3,input_16))smul(conv2d(1,1,0,0,input_7,input_16),input_20)==conv2d(1,1,0,0,input_7,smul(enlarge(3,3,input_16),input_20))relu(smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,2,input_7,smul(enlarge(3,3,input_16),input_20))conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_16)==conv2d(1,1,0,0,relu(input_7),enlarge(3,3,input_16))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_16)==conv2d(1,1,0,2,relu(input_7),enlarge(3,3,input_16))concat(0,conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_16))==conv2d(1,1,0,0,concat(0,input_7,input_8),enlarge(3,3,input_16))concat(0,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_8,input_16))==conv2d(1,1,0,2,concat(0,input_7,input_8),enlarge(3,3,input_16))concat(1,conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_16))==conv2d(1,1,0,0,input_7,concat(0,input_10,enlarge(3,3,input_16)))concat(1,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_7,input_16))==conv2d(1,1,0,2,input_7,concat(0,input_10,enlarge(3,3,input_16)))matmul(input_1,smul(Imatmul,input_20))==smul(input_1,input_20)smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(smul(input_1,input_20),matmul(input_4,input_5))smul(matmul(input_1,input_4),input_20)==matmul(smul(input_1,input_20),input_4)smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(matmul(smul(input_1,input_20),input_4),input_5)smul(ewadd(input_1,matmul(input_1,input_4)),input_20)==ewadd(smul(input_1,input_20),matmul(smul(input_1,input_20),input_4))smul(ewmul(input_2,matmul(input_1,input_4)),input_20)==ewmul(input_2,matmul(smul(input_1,input_20),input_4))smul(concat(1,input_1,matmul(input_1,input_4)),input_20)==concat(1,smul(input_1,input_20),matmul(smul(input_1,input_20),input_4))smul(concat(0,input_1,matmul(input_1,input_4)),input_20)==concat(0,smul(input_1,input_20),matmul(smul(input_1,input_20),input_4))ewadd(matmul(input_1,input_4),smul(matmul(input_1,input_4),input_20))==matmul(ewadd(input_1,smul(input_1,input_20)),input_4)ewadd(ewmul(input_1,input_2),smul(ewmul(input_1,input_2),input_20))==ewmul(input_2,ewadd(input_1,smul(input_1,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(smul(input_1,input_20),ewmul(input_2,input_3))smul(ewmul(input_1,input_2),input_20)==ewmul(input_2,smul(input_1,input_20))smul(matmul(ewmul(input_1,input_2),input_4),input_20)==matmul(ewmul(input_2,smul(input_1,input_20)),input_4)smul(ewadd(input_1,ewmul(input_1,input_2)),input_20)==ewadd(smul(input_1,input_20),ewmul(input_2,smul(input_1,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_3,ewmul(input_2,smul(input_1,input_20)))smul(concat(1,input_1,ewmul(input_1,input_2)),input_20)==concat(1,smul(input_1,input_20),ewmul(input_2,smul(input_1,input_20)))smul(concat(0,input_1,ewmul(input_1,input_2)),input_20)==concat(0,smul(input_1,input_20),ewmul(input_2,smul(input_1,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_2,ewmul(input_3,smul(input_1,input_20)))smul(ewadd(input_1,input_2),input_20)==ewadd(smul(input_1,input_20),smul(input_2,input_20))smul(smul(ewmul(input_1,input_2),input_20),input_20)==ewmul(smul(input_1,input_20),smul(input_2,input_20))smul(smul(matmul(input_1,input_4),input_20),input_20)==matmul(smul(input_1,input_20),smul(input_4,input_20))smul(smul(matmul(input_1,input_4),input_20),input_20)==matmul(smul(smul(input_1,input_20),input_20),input_4)smul(smul(ewmul(input_1,input_2),input_20),input_20)==ewmul(input_2,smul(smul(input_1,input_20),input_20))concat(0,matmul(input_1,input_4),smul(matmul(input_1,input_4),input_20))==matmul(concat(0,input_1,smul(input_1,input_20)),input_4)ewadd(ewmul(input_1,input_2),smul(ewmul(input_1,input_2),input_20))==ewmul(input_1,ewadd(input_2,smul(input_2,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(smul(input_2,input_20),ewmul(input_1,input_3))smul(ewmul(input_1,input_2),input_20)==ewmul(input_1,smul(input_2,input_20))smul(matmul(ewmul(input_1,input_2),input_4),input_20)==matmul(ewmul(input_1,smul(input_2,input_20)),input_4)smul(ewadd(input_2,ewmul(input_1,input_2)),input_20)==ewadd(smul(input_2,input_20),ewmul(input_1,smul(input_2,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_3,ewmul(input_1,smul(input_2,input_20)))smul(concat(1,input_2,ewmul(input_1,input_2)),input_20)==concat(1,smul(input_2,input_20),ewmul(input_1,smul(input_2,input_20)))smul(concat(0,input_2,ewmul(input_1,input_2)),input_20)==concat(0,smul(input_2,input_20),ewmul(input_1,smul(input_2,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_1,ewmul(input_3,smul(input_2,input_20)))smul(ewadd(input_1,input_2),input_20)==ewadd(smul(input_2,input_20),smul(input_1,input_20))smul(smul(ewmul(input_1,input_2),input_20),input_20)==ewmul(smul(input_2,input_20),smul(input_1,input_20))smul(smul(ewmul(input_1,input_2),input_20),input_20)==ewmul(input_1,smul(smul(input_2,input_20),input_20))matmul(input_2,transpose(smul(input_1,input_20)))==matmul(smul(input_2,input_20),transpose(input_1))matmul(input_2,transpose(smul(input_1,input_20)))==matmul(smul(input_2,input_20),transpose(input_1))matmul(smul(input_1,input_20),transpose(input_2))==matmul(input_1,transpose(smul(input_2,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_2,ewmul(input_1,smul(input_3,input_20)))smul(ewmul(input_3,ewmul(input_1,input_2)),input_20)==ewmul(input_1,ewmul(input_2,smul(input_3,input_20)))smul(matmul(input_1,input_4),input_20)==matmul(input_1,smul(input_4,input_20))smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(matmul(input_1,smul(input_4,input_20)),input_5)smul(ewmul(input_2,matmul(input_1,input_4)),input_20)==ewmul(input_2,matmul(input_1,smul(input_4,input_20)))smul(concat(0,input_4,matmul(input_1,input_4)),input_20)==concat(0,smul(input_4,input_20),matmul(input_1,smul(input_4,input_20)))smul(matmul(matmul(input_1,input_5),input_4),input_20)==matmul(input_1,matmul(input_5,smul(input_4,input_20)))smul(matmul(input_6,matmul(input_5,input_4)),input_20)==matmul(input_6,matmul(input_5,smul(input_4,input_20)))smul(matmul(input_5,matmul(input_4,input_6)),input_20)==matmul(matmul(input_5,smul(input_4,input_20)),input_6)smul(ewadd(input_4,matmul(input_5,input_4)),input_20)==ewadd(smul(input_4,input_20),matmul(input_5,smul(input_4,input_20)))smul(concat(1,input_4,matmul(input_5,input_4)),input_20)==concat(1,smul(input_4,input_20),matmul(input_5,smul(input_4,input_20)))smul(matmul(matmul(input_1,input_4),input_5),input_20)==matmul(input_1,matmul(smul(input_4,input_20),input_5))smul(matmul(input_6,matmul(input_4,input_5)),input_20)==matmul(input_6,matmul(smul(input_4,input_20),input_5))ewadd(matmul(input_1,input_4),smul(matmul(input_1,input_4),input_20))==matmul(input_1,ewadd(input_4,smul(input_4,input_20)))smul(matmul(input_1,ewmul(input_4,input_5)),input_20)==matmul(input_1,ewmul(input_5,smul(input_4,input_20)))smul(smul(matmul(input_1,input_4),input_20),input_20)==matmul(smul(input_1,input_20),smul(input_4,input_20))smul(smul(matmul(input_1,input_4),input_20),input_20)==matmul(input_1,smul(smul(input_4,input_20),input_20))concat(1,matmul(input_1,input_4),smul(matmul(input_1,input_4),input_20))==matmul(input_1,concat(1,input_4,smul(input_4,input_20)))smul(matmul(input_6,matmul(input_4,input_5)),input_20)==matmul(matmul(input_6,input_4),smul(input_5,input_20))smul(matmul(input_1,ewmul(input_4,input_5)),input_20)==matmul(input_1,ewmul(input_4,smul(input_5,input_20)))matmul(transpose(smul(input_4,input_20)),input_5)==matmul(transpose(input_4),smul(input_5,input_20))matmul(transpose(smul(input_4,input_20)),input_5)==matmul(transpose(input_4),smul(input_5,input_20))ewmul(input_5,transpose(smul(input_4,input_20)))==ewmul(smul(input_5,input_20),transpose(input_4))matmul(transpose(input_5),smul(input_4,input_20))==matmul(transpose(smul(input_5,input_20)),input_4)smul(matmul(input_6,matmul(input_4,input_5)),input_20)==matmul(matmul(smul(input_6,input_20),input_4),input_5)conv2d(1,1,0,0,input_7,smul(Iconv(3,3),input_20))==smul(input_7,input_20)ewadd(conv2d(1,1,0,0,input_7,input_10),smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,0,ewadd(input_7,smul(input_7,input_20)),input_10)ewadd(conv2d(1,1,0,0,input_7,input_13),smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,0,ewadd(input_7,smul(input_7,input_20)),input_13)ewadd(conv2d(1,1,0,0,input_7,input_16),smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,0,ewadd(input_7,smul(input_7,input_20)),input_16)ewadd(poolavg(3,3,1,1,0,input_7),smul(poolavg(3,3,1,1,0,input_7),input_20))==poolavg(3,3,1,1,0,ewadd(input_7,smul(input_7,input_20)))smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_10),input_20)==conv2d(1,1,0,0,ewmul(input_8,smul(input_7,input_20)),input_10)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_10,input_20))==conv2d(1,1,0,2,ewmul(input_8,smul(input_7,input_20)),input_10)smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_13),input_20)==conv2d(1,1,0,0,ewmul(input_8,smul(input_7,input_20)),input_13)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_13,input_20))==conv2d(1,1,0,2,ewmul(input_8,smul(input_7,input_20)),input_13)smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_16),input_20)==conv2d(1,1,0,0,ewmul(input_8,smul(input_7,input_20)),input_16)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_16,input_20))==conv2d(1,1,0,2,ewmul(input_8,smul(input_7,input_20)),input_16)smul(poolavg(3,3,1,1,0,ewmul(input_7,input_8)),input_20)==poolavg(3,3,1,1,0,ewmul(input_8,smul(input_7,input_20)))smul(concat(1,input_7,ewmul(input_7,input_8)),input_20)==concat(1,smul(input_7,input_20),ewmul(input_8,smul(input_7,input_20)))smul(concat(0,input_7,ewmul(input_7,input_8)),input_20)==concat(0,smul(input_7,input_20),ewmul(input_8,smul(input_7,input_20)))smul(conv2d(1,1,0,0,input_7,input_10),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),input_10)smul(ewadd(input_7,conv2d(1,1,0,0,input_7,input_10)),input_20)==ewadd(smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_10))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_10)),input_20)==ewmul(input_8,conv2d(1,1,0,0,smul(input_7,input_20),input_10))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_11),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_11)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_11,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_11)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_13),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_13)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_13,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_13)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_16),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_16)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_16,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_10),input_16)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_10)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,smul(input_7,input_20),input_10))smul(concat(1,input_7,conv2d(1,1,0,0,input_7,input_10)),input_20)==concat(1,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_10))smul(concat(0,input_7,conv2d(1,1,0,0,input_7,input_10)),input_20)==concat(0,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_10))relu(smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),input_10)smul(conv2d(1,1,0,0,input_7,input_13),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),input_13)smul(ewadd(input_7,conv2d(1,1,0,0,input_7,input_13)),input_20)==ewadd(smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_13))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_13)),input_20)==ewmul(input_8,conv2d(1,1,0,0,smul(input_7,input_20),input_13))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_10),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_10)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_10,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_10)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_14),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_14)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_14,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_14)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_16),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_16)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_16,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_13),input_16)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_13)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,smul(input_7,input_20),input_13))smul(concat(1,input_7,conv2d(1,1,0,0,input_7,input_13)),input_20)==concat(1,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_13))smul(concat(0,input_7,conv2d(1,1,0,0,input_7,input_13)),input_20)==concat(0,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_13))relu(smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),input_13)smul(conv2d(1,1,0,0,input_7,input_16),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),input_16)smul(ewadd(input_7,conv2d(1,1,0,0,input_7,input_16)),input_20)==ewadd(smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_16))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_16)),input_20)==ewmul(input_8,conv2d(1,1,0,0,smul(input_7,input_20),input_16))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_10),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_10)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_10,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_10)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_13),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_13)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_13,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_13)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_17),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_17)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_17,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,smul(input_7,input_20),input_16),input_17)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_16)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,smul(input_7,input_20),input_16))smul(concat(1,input_7,conv2d(1,1,0,0,input_7,input_16)),input_20)==concat(1,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_16))smul(concat(0,input_7,conv2d(1,1,0,0,input_7,input_16)),input_20)==concat(0,smul(input_7,input_20),conv2d(1,1,0,0,smul(input_7,input_20),input_16))relu(smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),input_16)smul(poolavg(3,3,1,1,0,input_7),input_20)==poolavg(3,3,1,1,0,smul(input_7,input_20))smul(ewadd(input_7,poolavg(3,3,1,1,0,input_7)),input_20)==ewadd(smul(input_7,input_20),poolavg(3,3,1,1,0,smul(input_7,input_20)))smul(ewmul(input_8,poolavg(3,3,1,1,0,input_7)),input_20)==ewmul(input_8,poolavg(3,3,1,1,0,smul(input_7,input_20)))smul(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_10),input_20)==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_10)conv2d(1,1,0,2,poolavg(3,3,1,1,0,input_7),smul(input_10,input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_10)smul(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_13),input_20)==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_13)conv2d(1,1,0,2,poolavg(3,3,1,1,0,input_7),smul(input_13,input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_13)smul(conv2d(1,1,0,0,poolavg(3,3,1,1,0,input_7),input_16),input_20)==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_16)conv2d(1,1,0,2,poolavg(3,3,1,1,0,input_7),smul(input_16,input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_7,input_20)),input_16)smul(poolavg(3,3,1,1,0,poolavg(3,3,1,1,0,input_7)),input_20)==poolavg(3,3,1,1,0,poolavg(3,3,1,1,0,smul(input_7,input_20)))smul(concat(1,input_7,poolavg(3,3,1,1,0,input_7)),input_20)==concat(1,smul(input_7,input_20),poolavg(3,3,1,1,0,smul(input_7,input_20)))smul(concat(0,input_7,poolavg(3,3,1,1,0,input_7)),input_20)==concat(0,smul(input_7,input_20),poolavg(3,3,1,1,0,smul(input_7,input_20)))smul(poolavg(3,3,1,1,0,input_7),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),Cpool(3,3))relu(smul(poolavg(3,3,1,1,0,input_7),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),Cpool(3,3))smul(conv2d(1,1,0,0,input_7,input_13),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),enlarge(3,3,input_13))relu(smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),enlarge(3,3,input_13))smul(conv2d(1,1,0,0,input_7,input_16),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),enlarge(3,3,input_16))relu(smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,2,smul(input_7,input_20),enlarge(3,3,input_16))smul(smul(conv2d(1,1,0,0,input_7,input_10),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_10,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_13),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_13,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_16),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_16,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_10),input_20),input_20)==conv2d(1,1,0,0,smul(smul(input_7,input_20),input_20),input_10)smul(smul(conv2d(1,1,0,0,input_7,input_13),input_20),input_20)==conv2d(1,1,0,0,smul(smul(input_7,input_20),input_20),input_13)smul(smul(conv2d(1,1,0,0,input_7,input_16),input_20),input_20)==conv2d(1,1,0,0,smul(smul(input_7,input_20),input_20),input_16)smul(smul(poolavg(3,3,1,1,0,input_7),input_20),input_20)==poolavg(3,3,1,1,0,smul(smul(input_7,input_20),input_20))concat(0,conv2d(1,1,0,0,input_7,input_10),smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,0,concat(0,input_7,smul(input_7,input_20)),input_10)concat(0,conv2d(1,1,0,0,input_7,input_13),smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,0,concat(0,input_7,smul(input_7,input_20)),input_13)concat(0,conv2d(1,1,0,0,input_7,input_16),smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,0,concat(0,input_7,smul(input_7,input_20)),input_16)concat(0,poolavg(3,3,1,1,0,input_7),smul(poolavg(3,3,1,1,0,input_7),input_20))==poolavg(3,3,1,1,0,concat(0,input_7,smul(input_7,input_20)))smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_10),input_20)==conv2d(1,1,0,0,ewmul(input_7,smul(input_8,input_20)),input_10)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_10,input_20))==conv2d(1,1,0,2,ewmul(input_7,smul(input_8,input_20)),input_10)smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_13),input_20)==conv2d(1,1,0,0,ewmul(input_7,smul(input_8,input_20)),input_13)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_13,input_20))==conv2d(1,1,0,2,ewmul(input_7,smul(input_8,input_20)),input_13)smul(conv2d(1,1,0,0,ewmul(input_7,input_8),input_16),input_20)==conv2d(1,1,0,0,ewmul(input_7,smul(input_8,input_20)),input_16)conv2d(1,1,0,2,ewmul(input_7,input_8),smul(input_16,input_20))==conv2d(1,1,0,2,ewmul(input_7,smul(input_8,input_20)),input_16)smul(poolavg(3,3,1,1,0,ewmul(input_7,input_8)),input_20)==poolavg(3,3,1,1,0,ewmul(input_7,smul(input_8,input_20)))smul(concat(1,input_8,ewmul(input_7,input_8)),input_20)==concat(1,smul(input_8,input_20),ewmul(input_7,smul(input_8,input_20)))smul(concat(0,input_8,ewmul(input_7,input_8)),input_20)==concat(0,smul(input_8,input_20),ewmul(input_7,smul(input_8,input_20)))ewadd(conv2d(1,1,0,0,input_7,input_10),smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,0,input_7,ewadd(input_10,smul(input_10,input_20)))conv2d(1,1,0,2,ewadd(input_7,smul(input_7,input_20)),input_10)==conv2d(1,1,0,2,input_7,ewadd(input_10,smul(input_10,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_10,input_11)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_11,smul(input_10,input_20)))conv2d(1,1,0,0,smul(ewmul(input_10,input_11),input_20),smul(ewmul(input_10,input_11),input_20))==conv2d(1,1,0,0,ewmul(input_11,smul(input_10,input_20)),ewmul(input_11,smul(input_10,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_10,input_11))==conv2d(1,1,0,2,input_7,ewmul(input_11,smul(input_10,input_20)))conv2d(1,1,0,2,smul(ewmul(input_10,input_11),input_20),smul(ewmul(input_10,input_11),input_20))==conv2d(1,1,0,2,ewmul(input_11,smul(input_10,input_20)),ewmul(input_11,smul(input_10,input_20)))smul(conv2d(1,1,0,0,input_7,input_10),input_20)==conv2d(1,1,0,0,input_7,smul(input_10,input_20))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_10)),input_20)==ewmul(input_8,conv2d(1,1,0,0,input_7,smul(input_10,input_20)))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_11),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_11)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_11,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_11)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_13),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_13)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_13,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_13)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_10),input_16),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_16)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_10),smul(input_16,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_10,input_20)),input_16)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_10)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,smul(input_10,input_20)))relu(smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,2,input_7,smul(input_10,input_20))smul(conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,input_10)),input_20)==conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,smul(input_10,input_20)))conv2d(1,1,0,0,smul(poolavg(3,3,1,1,0,input_10),input_20),smul(poolavg(3,3,1,1,0,input_10),input_20))==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_10,input_20)),poolavg(3,3,1,1,0,smul(input_10,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),poolavg(3,3,1,1,0,input_10))==conv2d(1,1,0,2,input_7,poolavg(3,3,1,1,0,smul(input_10,input_20)))conv2d(1,1,0,2,smul(poolavg(3,3,1,1,0,input_10),input_20),smul(poolavg(3,3,1,1,0,input_10),input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_10,input_20)),poolavg(3,3,1,1,0,smul(input_10,input_20)))smul(smul(conv2d(1,1,0,0,input_7,input_10),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_10,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_10),input_20),input_20)==conv2d(1,1,0,0,input_7,smul(smul(input_10,input_20),input_20))concat(1,conv2d(1,1,0,0,input_7,input_10),smul(conv2d(1,1,0,0,input_7,input_10),input_20))==conv2d(1,1,0,0,input_7,concat(0,input_10,smul(input_10,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_10,input_11)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_10,smul(input_11,input_20)))conv2d(1,1,0,0,smul(ewmul(input_10,input_11),input_20),smul(ewmul(input_10,input_11),input_20))==conv2d(1,1,0,0,ewmul(input_10,smul(input_11,input_20)),ewmul(input_10,smul(input_11,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_10,input_11))==conv2d(1,1,0,2,input_7,ewmul(input_10,smul(input_11,input_20)))conv2d(1,1,0,2,smul(ewmul(input_10,input_11),input_20),smul(ewmul(input_10,input_11),input_20))==conv2d(1,1,0,2,ewmul(input_10,smul(input_11,input_20)),ewmul(input_10,smul(input_11,input_20)))ewadd(conv2d(1,1,0,0,input_7,input_13),smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,0,input_7,ewadd(input_13,smul(input_13,input_20)))conv2d(1,1,0,2,ewadd(input_7,smul(input_7,input_20)),input_13)==conv2d(1,1,0,2,input_7,ewadd(input_13,smul(input_13,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_13,input_14)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_14,smul(input_13,input_20)))conv2d(1,1,0,0,smul(ewmul(input_13,input_14),input_20),smul(ewmul(input_13,input_14),input_20))==conv2d(1,1,0,0,ewmul(input_14,smul(input_13,input_20)),ewmul(input_14,smul(input_13,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_13,input_14))==conv2d(1,1,0,2,input_7,ewmul(input_14,smul(input_13,input_20)))conv2d(1,1,0,2,smul(ewmul(input_13,input_14),input_20),smul(ewmul(input_13,input_14),input_20))==conv2d(1,1,0,2,ewmul(input_14,smul(input_13,input_20)),ewmul(input_14,smul(input_13,input_20)))smul(conv2d(1,1,0,0,input_7,input_13),input_20)==conv2d(1,1,0,0,input_7,smul(input_13,input_20))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_13)),input_20)==ewmul(input_8,conv2d(1,1,0,0,input_7,smul(input_13,input_20)))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_10),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_10)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_10,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_10)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_14),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_14)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_14,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_14)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_13),input_16),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_16)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_13),smul(input_16,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_13,input_20)),input_16)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_13)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,smul(input_13,input_20)))relu(smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,2,input_7,smul(input_13,input_20))smul(conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,input_13)),input_20)==conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,smul(input_13,input_20)))conv2d(1,1,0,0,smul(poolavg(3,3,1,1,0,input_13),input_20),smul(poolavg(3,3,1,1,0,input_13),input_20))==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_13,input_20)),poolavg(3,3,1,1,0,smul(input_13,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),poolavg(3,3,1,1,0,input_13))==conv2d(1,1,0,2,input_7,poolavg(3,3,1,1,0,smul(input_13,input_20)))conv2d(1,1,0,2,smul(poolavg(3,3,1,1,0,input_13),input_20),smul(poolavg(3,3,1,1,0,input_13),input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_13,input_20)),poolavg(3,3,1,1,0,smul(input_13,input_20)))smul(smul(conv2d(1,1,0,0,input_7,input_13),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_13,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_13),input_20),input_20)==conv2d(1,1,0,0,input_7,smul(smul(input_13,input_20),input_20))concat(1,conv2d(1,1,0,0,input_7,input_13),smul(conv2d(1,1,0,0,input_7,input_13),input_20))==conv2d(1,1,0,0,input_7,concat(0,input_13,smul(input_13,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_13,input_14)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_13,smul(input_14,input_20)))conv2d(1,1,0,0,smul(ewmul(input_13,input_14),input_20),smul(ewmul(input_13,input_14),input_20))==conv2d(1,1,0,0,ewmul(input_13,smul(input_14,input_20)),ewmul(input_13,smul(input_14,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_13,input_14))==conv2d(1,1,0,2,input_7,ewmul(input_13,smul(input_14,input_20)))conv2d(1,1,0,2,smul(ewmul(input_13,input_14),input_20),smul(ewmul(input_13,input_14),input_20))==conv2d(1,1,0,2,ewmul(input_13,smul(input_14,input_20)),ewmul(input_13,smul(input_14,input_20)))ewadd(conv2d(1,1,0,0,input_7,input_16),smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,0,input_7,ewadd(input_16,smul(input_16,input_20)))conv2d(1,1,0,2,ewadd(input_7,smul(input_7,input_20)),input_16)==conv2d(1,1,0,2,input_7,ewadd(input_16,smul(input_16,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_16,input_17)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_17,smul(input_16,input_20)))conv2d(1,1,0,0,smul(ewmul(input_16,input_17),input_20),smul(ewmul(input_16,input_17),input_20))==conv2d(1,1,0,0,ewmul(input_17,smul(input_16,input_20)),ewmul(input_17,smul(input_16,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_16,input_17))==conv2d(1,1,0,2,input_7,ewmul(input_17,smul(input_16,input_20)))conv2d(1,1,0,2,smul(ewmul(input_16,input_17),input_20),smul(ewmul(input_16,input_17),input_20))==conv2d(1,1,0,2,ewmul(input_17,smul(input_16,input_20)),ewmul(input_17,smul(input_16,input_20)))smul(conv2d(1,1,0,0,input_7,input_16),input_20)==conv2d(1,1,0,0,input_7,smul(input_16,input_20))smul(ewmul(input_8,conv2d(1,1,0,0,input_7,input_16)),input_20)==ewmul(input_8,conv2d(1,1,0,0,input_7,smul(input_16,input_20)))smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_10),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_10)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_10,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_10)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_13),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_13)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_13,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_13)smul(conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,input_16),input_17),input_20)==conv2d(1,1,0,0,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_17)conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,input_16),smul(input_17,input_20))==conv2d(1,1,0,2,conv2d(1,1,0,0,input_7,smul(input_16,input_20)),input_17)smul(poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,input_16)),input_20)==poolavg(3,3,1,1,0,conv2d(1,1,0,0,input_7,smul(input_16,input_20)))relu(smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,2,input_7,smul(input_16,input_20))smul(conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,input_16)),input_20)==conv2d(1,1,0,0,input_7,poolavg(3,3,1,1,0,smul(input_16,input_20)))conv2d(1,1,0,0,smul(poolavg(3,3,1,1,0,input_16),input_20),smul(poolavg(3,3,1,1,0,input_16),input_20))==conv2d(1,1,0,0,poolavg(3,3,1,1,0,smul(input_16,input_20)),poolavg(3,3,1,1,0,smul(input_16,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),poolavg(3,3,1,1,0,input_16))==conv2d(1,1,0,2,input_7,poolavg(3,3,1,1,0,smul(input_16,input_20)))conv2d(1,1,0,2,smul(poolavg(3,3,1,1,0,input_16),input_20),smul(poolavg(3,3,1,1,0,input_16),input_20))==conv2d(1,1,0,2,poolavg(3,3,1,1,0,smul(input_16,input_20)),poolavg(3,3,1,1,0,smul(input_16,input_20)))smul(smul(conv2d(1,1,0,0,input_7,input_16),input_20),input_20)==conv2d(1,1,0,0,smul(input_7,input_20),smul(input_16,input_20))smul(smul(conv2d(1,1,0,0,input_7,input_16),input_20),input_20)==conv2d(1,1,0,0,input_7,smul(smul(input_16,input_20),input_20))concat(1,conv2d(1,1,0,0,input_7,input_16),smul(conv2d(1,1,0,0,input_7,input_16),input_20))==conv2d(1,1,0,0,input_7,concat(0,input_16,smul(input_16,input_20)))smul(conv2d(1,1,0,0,input_7,ewmul(input_16,input_17)),input_20)==conv2d(1,1,0,0,input_7,ewmul(input_16,smul(input_17,input_20)))conv2d(1,1,0,0,smul(ewmul(input_16,input_17),input_20),smul(ewmul(input_16,input_17),input_20))==conv2d(1,1,0,0,ewmul(input_16,smul(input_17,input_20)),ewmul(input_16,smul(input_17,input_20)))conv2d(1,1,0,2,smul(input_7,input_20),ewmul(input_16,input_17))==conv2d(1,1,0,2,input_7,ewmul(input_16,smul(input_17,input_20)))conv2d(1,1,0,2,smul(ewmul(input_16,input_17),input_20),smul(ewmul(input_16,input_17),input_20))==conv2d(1,1,0,2,ewmul(input_16,smul(input_17,input_20)),ewmul(input_16,smul(input_17,input_20)))conv2d(1,1,0,2,input_7,Iconv(3,3))==relu(input_7)conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_10)==relu(conv2d(1,1,0,0,relu(input_7),input_10))relu(concat(1,input_7,conv2d(1,1,0,0,input_8,input_10)))==concat(1,relu(input_7),conv2d(1,1,0,2,input_8,input_10))relu(concat(0,input_7,conv2d(1,1,0,0,input_8,input_10)))==concat(0,relu(input_7),conv2d(1,1,0,2,input_8,input_10))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_13)==relu(conv2d(1,1,0,0,relu(input_7),input_13))relu(concat(1,input_7,conv2d(1,1,0,0,input_8,input_13)))==concat(1,relu(input_7),conv2d(1,1,0,2,input_8,input_13))relu(concat(0,input_7,conv2d(1,1,0,0,input_8,input_13)))==concat(0,relu(input_7),conv2d(1,1,0,2,input_8,input_13))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_16)==relu(conv2d(1,1,0,0,relu(input_7),input_16))relu(concat(1,input_7,conv2d(1,1,0,0,input_8,input_16)))==concat(1,relu(input_7),conv2d(1,1,0,2,input_8,input_16))relu(concat(0,input_7,conv2d(1,1,0,0,input_8,input_16)))==concat(0,relu(input_7),conv2d(1,1,0,2,input_8,input_16))conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_13)==conv2d(1,1,0,0,relu(input_7),enlarge(3,3,input_13))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_13)==conv2d(1,1,0,2,relu(input_7),enlarge(3,3,input_13))conv2d(1,1,0,0,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_16)==conv2d(1,1,0,0,relu(input_7),enlarge(3,3,input_16))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),input_16)==conv2d(1,1,0,2,relu(input_7),enlarge(3,3,input_16))conv2d(1,1,0,2,concat(0,input_7,input_8),Iconv(3,3))==concat(0,relu(input_7),relu(input_8))conv2d(1,1,0,2,conv2d(1,1,0,2,input_7,Iconv(3,3)),Iconv(3,3))==relu(relu(input_7))concat(1,smul(input_1,input_20),smul(input_2,input_20))==smul(concat(1,input_1,input_2),input_20)concat(1,relu(input_1),relu(input_2))==relu(concat(1,input_1,input_2))concat(1,ewadd(input_1,input_2),ewadd(input_2,input_3))==ewadd(concat(1,input_1,input_2),concat(1,input_2,input_3))concat(1,ewmul(input_1,input_2),ewmul(input_2,input_3))==ewmul(concat(1,input_1,input_2),concat(1,input_2,input_3))ewadd(matmul(input_1,input_4),matmul(input_2,input_5))==matmul(concat(1,input_1,input_2),concat(0,input_4,input_5))concat(1,ewadd(input_1,input_2),ewadd(input_2,input_3))==ewadd(concat(1,input_2,input_3),concat(1,input_1,input_2))concat(1,ewmul(input_1,input_2),ewmul(input_2,input_3))==ewmul(concat(1,input_2,input_3),concat(1,input_1,input_2))concat(1,matmul(input_1,input_4),matmul(input_1,input_5))==matmul(input_1,concat(1,input_4,input_5))concat(0,matmul(input_1,input_4),matmul(input_2,input_4))==matmul(concat(0,input_1,input_2),input_4)concat(0,smul(input_1,input_20),smul(input_2,input_20))==smul(concat(0,input_1,input_2),input_20)concat(0,relu(input_1),relu(input_2))==relu(concat(0,input_1,input_2))concat(0,ewadd(input_1,input_2),ewadd(input_4,input_5))==ewadd(concat(0,input_1,input_4),concat(0,input_2,input_5))concat(0,ewmul(input_1,input_2),ewmul(input_4,input_5))==ewmul(concat(0,input_1,input_4),concat(0,input_2,input_5))concat(0,concat(1,input_1,input_2),concat(1,input_4,input_5))==concat(1,concat(0,input_1,input_4),concat(0,input_2,input_5))concat(0,ewadd(input_1,input_2),ewadd(input_4,input_5))==ewadd(concat(0,input_1,input_5),concat(0,input_2,input_4))concat(0,ewmul(input_1,input_2),ewmul(input_4,input_5))==ewmul(concat(0,input_1,input_5),concat(0,input_2,input_4))concat(0,ewadd(input_1,input_2),ewadd(input_4,input_5))==ewadd(concat(0,input_2,input_4),concat(0,input_1,input_5))concat(0,ewmul(input_1,input_2),ewmul(input_4,input_5))==ewmul(concat(0,input_2,input_4),concat(0,input_1,input_5))concat(0,ewadd(input_1,input_2),ewadd(input_4,input_5))==ewadd(concat(0,input_2,input_5),concat(0,input_1,input_4))concat(0,ewmul(input_1,input_2),ewmul(input_4,input_5))==ewmul(concat(0,input_2,input_5),concat(0,input_1,input_4))ewadd(matmul(input_1,input_4),matmul(input_2,input_5))==matmul(concat(1,input_1,input_2),concat(0,input_4,input_5))concat(1,smul(input_7,input_20),smul(input_8,input_20))==smul(concat(1,input_7,input_8),input_20)concat(1,relu(input_7),relu(input_8))==relu(concat(1,input_7,input_8))concat(1,ewadd(input_7,input_8),ewadd(input_8,input_9))==ewadd(concat(1,input_7,input_8),concat(1,input_8,input_9))concat(1,ewmul(input_7,input_8),ewmul(input_8,input_9))==ewmul(concat(1,input_7,input_8),concat(1,input_8,input_9))ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_8,input_11))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_10,input_11))ewadd(conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_14))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_13,input_14))ewadd(conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_17))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_16,input_17))concat(1,ewadd(input_7,input_8),ewadd(input_8,input_9))==ewadd(concat(1,input_8,input_9),concat(1,input_7,input_8))concat(1,ewmul(input_7,input_8),ewmul(input_8,input_9))==ewmul(concat(1,input_8,input_9),concat(1,input_7,input_8))ewadd(conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_8,input_11))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_10,input_11))conv2d(1,1,0,0,concat(1,input_12,concat(1,input_10,input_11)),concat(1,input_12,concat(1,input_10,input_11)))==conv2d(1,1,0,0,concat(1,input_11,concat(1,input_10,input_12)),concat(1,input_11,concat(1,input_10,input_12)))conv2d(1,1,0,2,concat(1,input_12,concat(1,input_10,input_11)),concat(1,input_12,concat(1,input_10,input_11)))==conv2d(1,1,0,2,concat(1,input_11,concat(1,input_10,input_12)),concat(1,input_11,concat(1,input_10,input_12)))conv2d(1,1,0,0,concat(1,input_12,concat(1,input_10,input_11)),concat(1,input_12,concat(1,input_10,input_11)))==conv2d(1,1,0,0,concat(1,input_10,concat(1,input_11,input_12)),concat(1,input_10,concat(1,input_11,input_12)))conv2d(1,1,0,2,concat(1,input_12,concat(1,input_10,input_11)),concat(1,input_12,concat(1,input_10,input_11)))==conv2d(1,1,0,2,concat(1,input_10,concat(1,input_11,input_12)),concat(1,input_10,concat(1,input_11,input_12)))ewadd(conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_14))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_13,input_14))conv2d(1,1,0,0,concat(1,input_15,concat(1,input_13,input_14)),concat(1,input_15,concat(1,input_13,input_14)))==conv2d(1,1,0,0,concat(1,input_14,concat(1,input_13,input_15)),concat(1,input_14,concat(1,input_13,input_15)))conv2d(1,1,0,2,concat(1,input_15,concat(1,input_13,input_14)),concat(1,input_15,concat(1,input_13,input_14)))==conv2d(1,1,0,2,concat(1,input_14,concat(1,input_13,input_15)),concat(1,input_14,concat(1,input_13,input_15)))conv2d(1,1,0,0,concat(1,input_15,concat(1,input_13,input_14)),concat(1,input_15,concat(1,input_13,input_14)))==conv2d(1,1,0,0,concat(1,input_13,concat(1,input_14,input_15)),concat(1,input_13,concat(1,input_14,input_15)))conv2d(1,1,0,2,concat(1,input_15,concat(1,input_13,input_14)),concat(1,input_15,concat(1,input_13,input_14)))==conv2d(1,1,0,2,concat(1,input_13,concat(1,input_14,input_15)),concat(1,input_13,concat(1,input_14,input_15)))ewadd(conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_17))==conv2d(1,1,0,0,concat(1,input_7,input_8),concat(1,input_16,input_17))conv2d(1,1,0,0,concat(1,input_18,concat(1,input_16,input_17)),concat(1,input_18,concat(1,input_16,input_17)))==conv2d(1,1,0,0,concat(1,input_17,concat(1,input_16,input_18)),concat(1,input_17,concat(1,input_16,input_18)))conv2d(1,1,0,2,concat(1,input_18,concat(1,input_16,input_17)),concat(1,input_18,concat(1,input_16,input_17)))==conv2d(1,1,0,2,concat(1,input_17,concat(1,input_16,input_18)),concat(1,input_17,concat(1,input_16,input_18)))conv2d(1,1,0,0,concat(1,input_18,concat(1,input_16,input_17)),concat(1,input_18,concat(1,input_16,input_17)))==conv2d(1,1,0,0,concat(1,input_16,concat(1,input_17,input_18)),concat(1,input_16,concat(1,input_17,input_18)))conv2d(1,1,0,2,concat(1,input_18,concat(1,input_16,input_17)),concat(1,input_18,concat(1,input_16,input_17)))==conv2d(1,1,0,2,concat(1,input_16,concat(1,input_17,input_18)),concat(1,input_16,concat(1,input_17,input_18)))concat(0,conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_8,input_10))==conv2d(1,1,0,0,concat(0,input_7,input_8),input_10)concat(0,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_8,input_10))==relu(conv2d(1,1,0,0,concat(0,input_7,input_8),input_10))concat(0,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_8,input_10))==conv2d(1,1,0,2,concat(0,input_7,input_8),input_10)concat(0,conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_13))==conv2d(1,1,0,0,concat(0,input_7,input_8),input_13)concat(0,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_8,input_13))==relu(conv2d(1,1,0,0,concat(0,input_7,input_8),input_13))concat(0,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_8,input_13))==conv2d(1,1,0,2,concat(0,input_7,input_8),input_13)concat(0,conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_16))==conv2d(1,1,0,0,concat(0,input_7,input_8),input_16)concat(0,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_8,input_16))==relu(conv2d(1,1,0,0,concat(0,input_7,input_8),input_16))concat(0,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_8,input_16))==conv2d(1,1,0,2,concat(0,input_7,input_8),input_16)concat(0,poolavg(3,3,1,1,0,input_7),poolavg(3,3,1,1,0,input_8))==poolavg(3,3,1,1,0,concat(0,input_7,input_8))concat(0,poolmax(3,3,1,1,0,input_7),poolmax(3,3,1,1,0,input_8))==poolmax(3,3,1,1,0,concat(0,input_7,input_8))concat(0,poolavg(3,3,1,1,0,input_7),poolavg(3,3,1,1,0,input_8))==conv2d(1,1,0,0,concat(0,input_7,input_8),Cpool(3,3))concat(0,conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_8,input_13))==conv2d(1,1,0,0,concat(0,input_7,input_8),enlarge(3,3,input_13))concat(0,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_8,input_13))==conv2d(1,1,0,2,concat(0,input_7,input_8),enlarge(3,3,input_13))concat(0,conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_8,input_16))==conv2d(1,1,0,0,concat(0,input_7,input_8),enlarge(3,3,input_16))concat(0,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_8,input_16))==conv2d(1,1,0,2,concat(0,input_7,input_8),enlarge(3,3,input_16))concat(0,smul(input_7,input_20),smul(input_8,input_20))==smul(concat(0,input_7,input_8),input_20)concat(0,ewadd(input_7,input_8),ewadd(input_8,input_9))==ewadd(concat(0,input_7,input_8),concat(0,input_8,input_9))concat(0,ewmul(input_7,input_8),ewmul(input_8,input_9))==ewmul(concat(0,input_7,input_8),concat(0,input_8,input_9))concat(0,ewadd(input_7,input_8),ewadd(input_8,input_9))==ewadd(concat(0,input_8,input_9),concat(0,input_7,input_8))concat(0,ewmul(input_7,input_8),ewmul(input_8,input_9))==ewmul(concat(0,input_8,input_9),concat(0,input_7,input_8))concat(1,conv2d(1,1,0,0,input_7,input_10),conv2d(1,1,0,0,input_7,input_11))==conv2d(1,1,0,0,input_7,concat(0,input_10,input_11))concat(1,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_7,input_11))==relu(conv2d(1,1,0,0,input_7,concat(0,input_10,input_11)))concat(1,conv2d(1,1,0,2,input_7,input_10),conv2d(1,1,0,2,input_7,input_11))==conv2d(1,1,0,2,input_7,concat(0,input_10,input_11))concat(1,conv2d(1,1,0,0,input_7,input_13),conv2d(1,1,0,0,input_7,input_14))==conv2d(1,1,0,0,input_7,concat(0,input_13,input_14))concat(1,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_7,input_14))==relu(conv2d(1,1,0,0,input_7,concat(0,input_13,input_14)))concat(1,conv2d(1,1,0,2,input_7,input_13),conv2d(1,1,0,2,input_7,input_14))==conv2d(1,1,0,2,input_7,concat(0,input_13,input_14))concat(0,concat(1,input_13,input_14),concat(1,input_14,input_15))==concat(1,concat(0,input_13,input_14),concat(0,input_14,input_15))concat(1,conv2d(1,1,0,0,input_7,input_16),conv2d(1,1,0,0,input_7,input_17))==conv2d(1,1,0,0,input_7,concat(0,input_16,input_17))concat(1,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_7,input_17))==relu(conv2d(1,1,0,0,input_7,concat(0,input_16,input_17)))concat(1,conv2d(1,1,0,2,input_7,input_16),conv2d(1,1,0,2,input_7,input_17))==conv2d(1,1,0,2,input_7,concat(0,input_16,input_17))matmul(input_2,transpose(smul(input_1,input_20)))==smul(matmul(input_2,transpose(input_1)),input_20)matmul(input_2,transpose(smul(input_1,input_20)))==matmul(smul(input_2,input_20),transpose(input_1))transpose(smul(input_1,input_20))==smul(transpose(input_1),input_20)transpose(ewadd(input_1,smul(input_1,input_20)))==ewadd(transpose(input_1),smul(transpose(input_1),input_20))transpose(ewmul(input_1,smul(input_1,input_20)))==ewmul(transpose(input_1),smul(transpose(input_1),input_20))transpose(smul(smul(input_1,input_20),input_20))==smul(smul(transpose(input_1),input_20),input_20)transpose(relu(smul(input_1,input_20)))==relu(smul(transpose(input_1),input_20))transpose(concat(0,input_1,smul(input_1,input_20)))==concat(1,transpose(input_1),smul(transpose(input_1),input_20))transpose(concat(1,input_1,smul(input_1,input_20)))==concat(0,transpose(input_1),smul(transpose(input_1),input_20))matmul(input_1,smul(Imatmul,input_20))==transpose(smul(transpose(input_1),input_20))matmul(input_1,smul(Imatmul,input_20))==transpose(smul(transpose(input_1),input_20))transpose(relu(input_1))==relu(transpose(input_1))transpose(ewadd(input_1,relu(input_1)))==ewadd(transpose(input_1),relu(transpose(input_1)))transpose(ewmul(input_1,relu(input_1)))==ewmul(transpose(input_1),relu(transpose(input_1)))transpose(smul(relu(input_1),input_20))==smul(relu(transpose(input_1)),input_20)transpose(relu(relu(input_1)))==relu(relu(transpose(input_1)))transpose(concat(0,input_1,relu(input_1)))==concat(1,transpose(input_1),relu(transpose(input_1)))transpose(concat(1,input_1,relu(input_1)))==concat(0,transpose(input_1),relu(transpose(input_1)))relu(input_1)==transpose(relu(transpose(input_1)))relu(input_1)==transpose(relu(transpose(input_1)))transpose(ewadd(input_1,input_2))==ewadd(transpose(input_1),transpose(input_2))transpose(ewmul(input_1,input_2))==ewmul(transpose(input_1),transpose(input_2))transpose(concat(0,input_1,input_2))==concat(1,transpose(input_1),transpose(input_2))transpose(concat(1,input_1,input_2))==concat(0,transpose(input_1),transpose(input_2))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))transpose(concat(0,input_1,input_2))==concat(1,transpose(input_1),transpose(input_2))transpose(concat(1,input_1,input_2))==concat(0,transpose(input_1),transpose(input_2))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))transpose(matmul(input_2,transpose(input_1)))==matmul(input_1,transpose(input_2))transpose(ewadd(input_1,input_2))==ewadd(transpose(input_2),transpose(input_1))transpose(ewmul(input_1,input_2))==ewmul(transpose(input_2),transpose(input_1))matmul(transpose(smul(input_4,input_20)),input_5)==smul(matmul(transpose(input_4),input_5),input_20)matmul(transpose(smul(input_4,input_20)),input_5)==matmul(transpose(input_4),smul(input_5,input_20))transpose(matmul(input_4,smul(input_4,input_20)))==matmul(transpose(input_4),smul(transpose(input_4),input_20))transpose(matmul(input_4,smul(input_4,input_20)))==matmul(smul(transpose(input_4),input_20),transpose(input_4))transpose(matmul(relu(input_4),input_4))==matmul(transpose(input_4),relu(transpose(input_4)))transpose(matmul(input_4,relu(input_4)))==matmul(relu(transpose(input_4)),transpose(input_4))concat(1,smul(input_4,input_20),transpose(smul(input_4,input_20)))==smul(concat(1,input_4,transpose(input_4)),input_20)concat(1,relu(input_4),transpose(relu(input_4)))==relu(concat(1,input_4,transpose(input_4)))concat(0,smul(input_4,input_20),transpose(smul(input_4,input_20)))==smul(concat(0,input_4,transpose(input_4)),input_20)concat(0,relu(input_4),transpose(relu(input_4)))==relu(concat(0,input_4,transpose(input_4)))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))transpose(matmul(transpose(input_4),input_5))==matmul(transpose(input_5),input_4)matmul(Imatmul,transpose(input_1))==transpose(input_1)matmul(input_2,transpose(smul(input_1,input_20)))==smul(matmul(input_2,transpose(input_1)),input_20)concat(0,transpose(input_1),matmul(input_2,transpose(input_1)))==concat(0,transpose(input_1),matmul(input_2,transpose(input_1)))matmul(matmul(input_2,input_4),transpose(input_1))==matmul(input_2,matmul(input_4,transpose(input_1)))concat(1,transpose(input_1),matmul(input_4,transpose(input_1)))==concat(1,transpose(input_1),matmul(input_4,transpose(input_1)))matmul(input_2,transpose(smul(input_1,input_20)))==matmul(smul(input_2,input_20),transpose(input_1))transpose(smul(input_1,input_20))==smul(transpose(input_1),input_20)transpose(ewadd(input_1,smul(input_1,input_20)))==ewadd(transpose(input_1),smul(transpose(input_1),input_20))transpose(ewmul(input_1,smul(input_1,input_20)))==ewmul(transpose(input_1),smul(transpose(input_1),input_20))transpose(smul(smul(input_1,input_20),input_20))==smul(smul(transpose(input_1),input_20),input_20)transpose(relu(smul(input_1,input_20)))==relu(smul(transpose(input_1),input_20))transpose(concat(0,input_1,smul(input_1,input_20)))==concat(1,transpose(input_1),smul(transpose(input_1),input_20))transpose(concat(1,input_1,smul(input_1,input_20)))==concat(0,transpose(input_1),smul(transpose(input_1),input_20))matmul(input_1,smul(Imatmul,input_20))==transpose(smul(transpose(input_1),input_20))transpose(relu(input_1))==relu(transpose(input_1))transpose(ewadd(input_1,relu(input_1)))==ewadd(transpose(input_1),relu(transpose(input_1)))transpose(ewmul(input_1,relu(input_1)))==ewmul(transpose(input_1),relu(transpose(input_1)))transpose(smul(relu(input_1),input_20))==smul(relu(transpose(input_1)),input_20)transpose(relu(relu(input_1)))==relu(relu(transpose(input_1)))transpose(concat(0,input_1,relu(input_1)))==concat(1,transpose(input_1),relu(transpose(input_1)))transpose(concat(1,input_1,relu(input_1)))==concat(0,transpose(input_1),relu(transpose(input_1)))relu(input_1)==transpose(relu(transpose(input_1)))concat(1,transpose(input_1),concat(1,input_4,transpose(input_1)))==concat(1,transpose(input_1),concat(1,input_4,transpose(input_1)))transpose(concat(0,input_1,input_2))==concat(1,transpose(input_1),transpose(input_2))transpose(concat(1,input_1,input_2))==concat(0,transpose(input_1),transpose(input_2))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))matmul(input_1,transpose(input_1))==matmul(transpose(transpose(input_1)),transpose(input_1))transpose(transpose(smul(input_1,input_20)))==smul(transpose(transpose(input_1)),input_20)transpose(transpose(relu(input_1)))==relu(transpose(transpose(input_1)))transpose(ewadd(input_1,input_2))==ewadd(transpose(input_1),transpose(input_2))transpose(ewmul(input_1,input_2))==ewmul(transpose(input_1),transpose(input_2))transpose(concat(0,input_1,input_2))==concat(1,transpose(input_1),transpose(input_2))transpose(concat(1,input_1,input_2))==concat(0,transpose(input_1),transpose(input_2))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))transpose(matmul(input_2,transpose(input_1)))==matmul(input_1,transpose(input_2))matmul(smul(input_1,input_20),transpose(input_2))==smul(matmul(input_1,transpose(input_2)),input_20)matmul(input_2,transpose(input_1))==transpose(matmul(input_1,transpose(input_2)))matmul(smul(input_1,input_20),transpose(input_2))==matmul(input_1,smul(transpose(input_2),input_20))transpose(ewadd(input_1,input_2))==ewadd(transpose(input_2),transpose(input_1))transpose(ewmul(input_1,input_2))==ewmul(transpose(input_2),transpose(input_1))matmul(matmul(input_1,transpose(input_4)),transpose(input_4))==matmul(matmul(input_1,transpose(input_4)),transpose(input_4))matmul(transpose(input_4),matmul(input_5,transpose(input_4)))==matmul(transpose(input_4),matmul(input_5,transpose(input_4)))matmul(matmul(input_1,transpose(input_4)),input_5)==matmul(input_1,matmul(transpose(input_4),input_5))matmul(transpose(input_4),matmul(transpose(input_4),input_5))==matmul(transpose(input_4),matmul(transpose(input_4),input_5))matmul(transpose(input_4),matmul(input_5,input_6))==matmul(matmul(transpose(input_4),input_5),input_6)matmul(transpose(input_4),matmul(input_5,transpose(input_4)))==matmul(matmul(transpose(input_4),input_5),transpose(input_4))matmul(transpose(smul(input_4,input_20)),input_5)==smul(matmul(transpose(input_4),input_5),input_20)concat(1,transpose(input_4),matmul(transpose(input_4),input_5))==concat(1,transpose(input_4),matmul(transpose(input_4),input_5))concat(0,transpose(input_4),matmul(transpose(input_4),input_5))==concat(0,transpose(input_4),matmul(transpose(input_4),input_5))ewadd(smul(input_4,input_20),transpose(smul(input_4,input_20)))==smul(ewadd(input_4,transpose(input_4)),input_20)ewmul(input_5,transpose(smul(input_4,input_20)))==smul(ewmul(input_5,transpose(input_4)),input_20)matmul(transpose(smul(input_4,input_20)),input_5)==matmul(transpose(input_4),smul(input_5,input_20))ewmul(input_5,transpose(smul(input_4,input_20)))==ewmul(transpose(input_4),smul(input_5,input_20))transpose(matmul(input_4,smul(input_4,input_20)))==matmul(transpose(input_4),smul(transpose(input_4),input_20))transpose(matmul(input_4,smul(input_4,input_20)))==matmul(smul(transpose(input_4),input_20),transpose(input_4))transpose(matmul(relu(input_4),input_4))==matmul(transpose(input_4),relu(transpose(input_4)))transpose(matmul(input_4,relu(input_4)))==matmul(relu(transpose(input_4)),transpose(input_4))concat(1,smul(input_4,input_20),transpose(smul(input_4,input_20)))==smul(concat(1,input_4,transpose(input_4)),input_20)concat(1,relu(input_4),transpose(relu(input_4)))==relu(concat(1,input_4,transpose(input_4)))matmul(transpose(input_4),concat(1,input_5,transpose(input_4)))==matmul(transpose(input_4),concat(1,input_5,transpose(input_4)))matmul(concat(0,input_1,transpose(input_4)),transpose(input_4))==matmul(concat(0,input_1,transpose(input_4)),transpose(input_4))concat(0,transpose(input_4),concat(0,input_1,transpose(input_4)))==concat(0,transpose(input_4),concat(0,input_1,transpose(input_4)))concat(0,smul(input_4,input_20),transpose(smul(input_4,input_20)))==smul(concat(0,input_4,transpose(input_4)),input_20)concat(0,relu(input_4),transpose(relu(input_4)))==relu(concat(0,input_4,transpose(input_4)))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))matmul(transpose(input_4),input_4)==matmul(transpose(input_4),transpose(transpose(input_4)))transpose(concat(0,input_4,transpose(input_4)))==concat(1,transpose(input_4),transpose(transpose(input_4)))transpose(concat(1,input_4,transpose(input_4)))==concat(0,transpose(input_4),transpose(transpose(input_4)))transpose(matmul(input_1,input_4))==matmul(transpose(input_4),transpose(input_1))concat(1,transpose(input_4),transpose(input_1))==concat(1,transpose(input_4),transpose(input_1))transpose(matmul(transpose(input_4),input_5))==matmul(transpose(input_5),input_4)matmul(transpose(input_5),smul(input_4,input_20))==smul(matmul(transpose(input_5),input_4),input_20)matmul(transpose(input_4),input_5)==transpose(matmul(transpose(input_5),input_4))transpose(ewadd(input_5,transpose(input_4)))==ewadd(input_4,transpose(input_5))transpose(ewmul(input_5,transpose(input_4)))==ewmul(input_4,transpose(input_5))matmul(transpose(input_5),smul(input_4,input_20))==matmul(smul(transpose(input_5),input_20),input_4)