
(u'100a', u'a1', 100, u'10', u'10')
(u'100a', u'a2', 100, u'10', u'10')
(u'100a', u'a3', 100, u'10', u'10')
(u'100a', u'a4', 100, u'10', u'10')
(u'100a', u'b1', 100, u'10', u'10')
(u'100a', u'b2', 100, u'10', u'10')
(u'100a', u'b3', 100, u'10', u'10')
(u'100a', u'b4', 100, u'10', u'10')
(u'116a', u'a1', 116, u'2*a+10', u'-2*a+12')
(u'116a', u'a2', 116, u'2*a+10', u'-2*a+12')
(u'116a', u'b1', 116, u'2*a+10', u'-2*a+12')
(u'116a', u'b2', 116, u'2*a+10', u'-2*a+12')
(u'121a', u'a1', 121, u'11', u'11')
(u'121a', u'a2', 121, u'11', u'11')
(u'121a', u'a3', 121, u'11', u'11')
(u'124a', u'a1', 124, u'10*a-4', u'-10*a+6')
(u'124a', u'a2', 124, u'10*a-4', u'-10*a+6')
(u'124a', u'a3', 124, u'10*a-4', u'-10*a+6')
(u'124a', u'a4', 124, u'10*a-4', u'-10*a+6')
(u'124a', u'a5', 124, u'10*a-4', u'-10*a+6')
(u'124a', u'a6', 124, u'10*a-4', u'-10*a+6')
(u'144a', u'a1', 144, u'12', u'12')
(u'144a', u'a2', 144, u'12', u'12')
(u'144a', u'a3', 144, u'12', u'12')
(u'144a', u'a4', 144, u'12', u'12')
(u'145a', u'a1', 145, u'11*a-8', u'-11*a+3')
(u'145a', u'a2', 145, u'11*a-8', u'-11*a+3')
(u'145a', u'b1', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b2', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b3', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b4', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b5', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b6', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b7', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'b8', 145, u'-11*a+8', u'11*a-3')
(u'145a', u'c1', 145, u'11*a-8', u'-11*a+3')
(u'145a', u'c2', 145, u'11*a-8', u'-11*a+3')
(u'155a', u'a1', 155, u'-a-12', u'a-13')
(u'155a', u'a2', 155, u'-a-12', u'a-13')
(u'155a', u'a3', 155, u'-a-12', u'a-13')
(u'155a', u'a4', 155, u'-a-12', u'a-13')
(u'164a', u'a1', 164, u'-2*a-12', u'2*a-14')
(u'164a', u'a2', 164, u'-2*a-12', u'2*a-14')
(u'171a', u'a1', 171, u'12*a-9', u'-12*a+3')
(u'171a', u'a2', 171, u'12*a-9', u'-12*a+3')
(u'171a', u'a3', 171, u'12*a-9', u'-12*a+3')
(u'171a', u'a4', 171, u'12*a-9', u'-12*a+3')
(u'176a', u'a1', 176, u'-12*a+8', u'12*a-4')
(u'176a', u'a2', 176, u'-12*a+8', u'12*a-4')
(u'176a', u'a3', 176, u'-12*a+8', u'12*a-4')
(u'176a', u'a4', 176, u'-12*a+8', u'12*a-4')
(u'179a', u'a1', 179, u'12*a-7', u'-12*a+5')
(u'179a', u'a2', 179, u'12*a-7', u'-12*a+5')
(u'180a', u'a1', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a2', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a3', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a4', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a5', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a6', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a7', 180, u'12*a-6', u'-12*a+6')
(u'180a', u'a8', 180, u'12*a-6', u'-12*a+6')
(u'191a', u'a1', 191, u'-2*a+15', u'2*a+13')
(u'191a', u'a2', 191, u'-2*a+15', u'2*a+13')
(u'191a', u'a3', 191, u'-2*a+15', u'2*a+13')
(u'191a', u'a4', 191, u'-2*a+15', u'2*a+13')
(u'196a', u'a1', 196, u'14', u'14')
(u'196a', u'a2', 196, u'14', u'14')
(u'196a', u'a3', 196, u'14', u'14')
(u'196a', u'a4', 196, u'14', u'14')
(u'196a', u'a5', 196, u'14', u'14')
(u'196a', u'a6', 196, u'14', u'14')
(u'199a', u'a1', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'a2', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'a3', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'b1', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'b2', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'c1', 199, u'-3*a+16', u'3*a+13')
(u'199a', u'c2', 199, u'-3*a+16', u'3*a+13')
(u'205a', u'a1', 205, u'-13*a+4', u'13*a-9')
(u'205a', u'a2', 205, u'-13*a+4', u'13*a-9')
(u'205a', u'a3', 205, u'-13*a+4', u'13*a-9')
(u'205a', u'a4', 205, u'-13*a+4', u'13*a-9')
(u'205a', u'b1', 205, u'13*a-4', u'-13*a+9')
(u'205a', u'b2', 205, u'13*a-4', u'-13*a+9')
(u'205a', u'b3', 205, u'13*a-4', u'-13*a+9')
(u'205a', u'b4', 205, u'13*a-4', u'-13*a+9')
(u'205a', u'b5', 205, u'13*a-4', u'-13*a+9')
(u'205a', u'b6', 205, u'13*a-4', u'-13*a+9')
(u'209a', u'a1', 209, u'-a-14', u'a-15')
(u'209a', u'a2', 209, u'-a-14', u'a-15')
(u'209a', u'a3', 209, u'-a-14', u'a-15')
(u'209a', u'a4', 209, u'-a-14', u'a-15')
(u'209a', u'a5', 209, u'-a-14', u'a-15')
(u'209a', u'a6', 209, u'-a-14', u'a-15')
(u'209a', u'b1', 209, u'-a-14', u'a-15')
(u'209a', u'b2', 209, u'-a-14', u'a-15')
(u'209b', u'a1', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'a2', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'b1', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'b2', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'b3', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'b4', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'c1', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'c2', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'c3', 209, u'-13*a+5', u'13*a-8')
(u'209b', u'c4', 209, u'-13*a+5', u'13*a-8')
(u'220a', u'a1', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a2', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a3', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a4', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a5', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a6', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a7', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'a8', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'b1', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'b2', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'b3', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'b4', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'c1', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'c2', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'c3', 220, u'2*a+14', u'-2*a+16')
(u'220a', u'c4', 220, u'2*a+14', u'-2*a+16')
(u'225a', u'a1', 225, u'15', u'15')
(u'225a', u'a2', 225, u'15', u'15')
(u'225a', u'b1', 225, u'15', u'15')
(u'225a', u'b2', 225, u'15', u'15')
(u'225a', u'c1', 225, u'15', u'15')
(u'225a', u'c10', 225, u'15', u'15')
(u'225a', u'c2', 225, u'15', u'15')
(u'225a', u'c3', 225, u'15', u'15')
(u'225a', u'c4', 225, u'15', u'15')
(u'225a', u'c5', 225, u'15', u'15')
(u'225a', u'c6', 225, u'15', u'15')
(u'225a', u'c7', 225, u'15', u'15')
(u'225a', u'c8', 225, u'15', u'15')
(u'225a', u'c9', 225, u'15', u'15')
(u'229a', u'a1', 229, u'-3*a-14', u'3*a-17')
(u'239a', u'a1', 239, u'a+15', u'-a+16')
(u'239a', u'b1', 239, u'-a-15', u'a-16')
(u'239a', u'b2', 239, u'-a-15', u'a-16')
(u'239a', u'b3', 239, u'-a-15', u'a-16')
(u'239a', u'b4', 239, u'-a-15', u'a-16')
(u'244a', u'a1', 244, u'14*a-6', u'-14*a+8')
(u'244a', u'a2', 244, u'14*a-6', u'-14*a+8')
(u'244a', u'a3', 244, u'14*a-6', u'-14*a+8')
(u'245a', u'a1', 245, u'14*a-7', u'-14*a+7')
(u'245a', u'a2', 245, u'14*a-7', u'-14*a+7')
(u'245a', u'a3', 245, u'14*a-7', u'-14*a+7')
(u'251a', u'a1', 251, u'-2*a+17', u'2*a+15')
(u'256a', u'a1', 256, u'16', u'16')
(u'256a', u'a2', 256, u'16', u'16')
(u'256a', u'a3', 256, u'16', u'16')
(u'256a', u'a4', 256, u'16', u'16')
(u'256a', u'a5', 256, u'16', u'16')
(u'256a', u'a6', 256, u'16', u'16')
(u'256a', u'b1', 256, u'16', u'16')
(u'256a', u'b2', 256, u'16', u'16')
(u'256a', u'b3', 256, u'16', u'16')
(u'256a', u'b4', 256, u'16', u'16')
(u'256a', u'b5', 256, u'16', u'16')
(u'256a', u'b6', 256, u'16', u'16')
(u'256a', u'c1', 256, u'16', u'16')
(u'256a', u'c2', 256, u'16', u'16')
(u'256a', u'c3', 256, u'16', u'16')
(u'256a', u'c4', 256, u'16', u'16')
(u'256a', u'c5', 256, u'16', u'16')
(u'256a', u'c6', 256, u'16', u'16')
(u'269a', u'a1', 269, u'-15*a+11', u'15*a-4')
(u'269a', u'b1', 269, u'-15*a+11', u'15*a-4')
(u'269a', u'b2', 269, u'-15*a+11', u'15*a-4')
(u'271a', u'a1', 271, u'a+16', u'-a+17')
(u'271a', u'a2', 271, u'a+16', u'-a+17')
(u'271a', u'a3', 271, u'a+16', u'-a+17')
(u'271a', u'a4', 271, u'a+16', u'-a+17')
(u'275a', u'a1', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a2', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a3', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a4', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a5', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a6', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a7', 275, u'15*a-10', u'-15*a+5')
(u'275a', u'a8', 275, u'15*a-10', u'-15*a+5')
(u'279a', u'a1', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'a2', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'b1', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'b2', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'b3', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'b4', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'c1', 279, u'15*a-6', u'-15*a+9')
(u'279a', u'c2', 279, u'15*a-6', u'-15*a+9')
(u'289a', u'a1', 289, u'17', u'17')
(u'289a', u'a2', 289, u'17', u'17')
(u'289a', u'a3', 289, u'17', u'17')
(u'289a', u'a4', 289, u'17', u'17')
(u'304a', u'a1', 304, u'-16*a+12', u'16*a-4')
(u'304a', u'a2', 304, u'-16*a+12', u'16*a-4')
(u'305a', u'a1', 305, u'a+17', u'-a+18')
(u'305a', u'a2', 305, u'a+17', u'-a+18')
(u'305a', u'a3', 305, u'a+17', u'-a+18')
(u'305a', u'a4', 305, u'a+17', u'-a+18')
(u'311a', u'a1', 311, u'-16*a+5', u'16*a-11')
(u'316a', u'a1', 316, u'-16*a+10', u'16*a-6')
(u'316a', u'a2', 316, u'-16*a+10', u'16*a-6')
(u'316a', u'a3', 316, u'-16*a+10', u'16*a-6')
(u'319a', u'a1', 319, u'-16*a+9', u'16*a-7')
(u'319a', u'a2', 319, u'-16*a+9', u'16*a-7')
(u'319b', u'a1', 319, u'-2*a+19', u'2*a+17')
(u'319b', u'a2', 319, u'-2*a+19', u'2*a+17')
(u'319b', u'a3', 319, u'-2*a+19', u'2*a+17')
(u'319b', u'a4', 319, u'-2*a+19', u'2*a+17')
(u'31a', u'a1', 31, u'5*a-2', u'-5*a+3')
(u'31a', u'a2', 31, u'5*a-2', u'-5*a+3')
(u'31a', u'a3', 31, u'5*a-2', u'-5*a+3')
(u'31a', u'a4', 31, u'5*a-2', u'-5*a+3')
(u'31a', u'a5', 31, u'5*a-2', u'-5*a+3')
(u'31a', u'a6', 31, u'5*a-2', u'-5*a+3')
(u'320a', u'a1', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a2', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a3', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a4', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a5', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a6', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a7', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'a8', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b1', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b2', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b3', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b4', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b5', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'b6', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c1', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c2', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c3', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c4', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c5', 320, u'16*a-8', u'-16*a+8')
(u'320a', u'c6', 320, u'16*a-8', u'-16*a+8')
(u'324a', u'a1', 324, u'18', u'18')
(u'324a', u'a2', 324, u'18', u'18')
(u'324a', u'a3', 324, u'18', u'18')
(u'324a', u'a4', 324, u'18', u'18')
(u'341a', u'a1', 341, u'-4*a+21', u'4*a+17')
(u'341a', u'a2', 341, u'-4*a+21', u'4*a+17')
(u'356a', u'a1', 356, u'2*a+18', u'-2*a+20')
(u'356a', u'a2', 356, u'2*a+18', u'-2*a+20')
(u'359a', u'a1', 359, u'17*a-10', u'-17*a+7')
(u'359a', u'b1', 359, u'17*a-10', u'-17*a+7')
(u'359a', u'b2', 359, u'17*a-10', u'-17*a+7')
(u'361a', u'a1', 361, u'19', u'19')
(u'361a', u'a2', 361, u'19', u'19')
(u'361a', u'a3', 361, u'19', u'19')
(u'361a', u'b1', 361, u'19', u'19')
(u'361a', u'b2', 361, u'19', u'19')
(u'361a', u'b3', 361, u'19', u'19')
(u'361a', u'b4', 361, u'19', u'19')
(u'361b', u'a1', 361, u'17*a-8', u'-17*a+9')
(u'361b', u'a2', 361, u'17*a-8', u'-17*a+9')
(u'361b', u'b1', 361, u'17*a-8', u'-17*a+9')
(u'361b', u'b2', 361, u'17*a-8', u'-17*a+9')
(u'369a', u'a1', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'b1', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'b2', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'b3', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'b4', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'c1', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'c2', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'c3', 369, u'3*a+18', u'-3*a+21')
(u'369a', u'c4', 369, u'3*a+18', u'-3*a+21')
(u'36a', u'a1', 36, u'6', u'6')
(u'36a', u'a2', 36, u'6', u'6')
(u'36a', u'a3', 36, u'6', u'6')
(u'36a', u'a4', 36, u'6', u'6')
(u'380a', u'a1', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'a2', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'a3', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'a4', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'a5', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'a6', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'b1', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'b2', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'b3', 380, u'4*a-22', u'-4*a-18')
(u'380a', u'b4', 380, u'4*a-22', u'-4*a-18')
(u'395a', u'a1', 395, u'-2*a+21', u'2*a+19')
(u'395a', u'a2', 395, u'-2*a+21', u'2*a+19')
(u'396a', u'a1', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'a2', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'a3', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'a4', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'a5', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'a6', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'b1', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'b2', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'c1', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'c2', 396, u'18*a-12', u'-18*a+6')
(u'396a', u'd1', 396, u'-18*a+12', u'18*a-6')
(u'396a', u'd2', 396, u'-18*a+12', u'18*a-6')
(u'400a', u'a1', 400, u'20', u'20')
(u'400a', u'a2', 400, u'20', u'20')
(u'400a', u'a3', 400, u'20', u'20')
(u'400a', u'a4', 400, u'20', u'20')
(u'400a', u'a5', 400, u'20', u'20')
(u'400a', u'a6', 400, u'20', u'20')
(u'400a', u'a7', 400, u'20', u'20')
(u'400a', u'a8', 400, u'20', u'20')
(u'401a', u'a1', 401, u'18*a-7', u'-18*a+11')
(u'404a', u'a1', 404, u'18*a-8', u'-18*a+10')
(u'404a', u'b1', 404, u'18*a-8', u'-18*a+10')
(u'404a', u'b2', 404, u'18*a-8', u'-18*a+10')
(u'405a', u'a1', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a10', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a2', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a3', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a4', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a5', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a6', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a7', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a8', 405, u'18*a-9', u'-18*a+9')
(u'405a', u'a9', 405, u'18*a-9', u'-18*a+9')
(u'409a', u'a1', 409, u'-3*a+22', u'3*a+19')
(u'419a', u'a1', 419, u'a+20', u'-a+21')
(u'419a', u'b1', 419, u'-a-20', u'a-21')
(u'41a', u'a1', 41, u'a+6', u'-a+7')
(u'41a', u'a2', 41, u'a+6', u'-a+7')
(u'431a', u'a1', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'b1', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'b2', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'c1', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'c2', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'c3', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'c4', 431, u'-19*a+14', u'19*a-5')
(u'431a', u'd1', 431, u'19*a-14', u'-19*a+5')
(u'431a', u'd2', 431, u'19*a-14', u'-19*a+5')
(u'441a', u'a1', 441, u'21', u'21')
(u'441a', u'a2', 441, u'21', u'21')
(u'441a', u'a3', 441, u'21', u'21')
(u'441a', u'a4', 441, u'21', u'21')
(u'441a', u'a5', 441, u'21', u'21')
(u'441a', u'a6', 441, u'21', u'21')
(u'441a', u'b1', 441, u'21', u'21')
(u'441a', u'b2', 441, u'21', u'21')
(u'441a', u'b3', 441, u'21', u'21')
(u'441a', u'b4', 441, u'21', u'21')
(u'441a', u'c1', 441, u'21', u'21')
(u'441a', u'c2', 441, u'21', u'21')
(u'445a', u'a1', 445, u'-19*a+7', u'19*a-12')
(u'445a', u'a2', 445, u'-19*a+7', u'19*a-12')
(u'445a', u'a3', 445, u'-19*a+7', u'19*a-12')
(u'445a', u'a4', 445, u'-19*a+7', u'19*a-12')
(u'449a', u'a1', 449, u'19*a-8', u'-19*a+11')
(u'449a', u'b1', 449, u'19*a-8', u'-19*a+11')
(u'449a', u'b2', 449, u'19*a-8', u'-19*a+11')
(u'451a', u'a1', 451, u'-19*a+9', u'19*a-10')
(u'451a', u'b1', 451, u'-19*a+9', u'19*a-10')
(u'451a', u'b2', 451, u'-19*a+9', u'19*a-10')
(u'451b', u'a1', 451, u'-3*a-20', u'3*a-23')
(u'451b', u'a2', 451, u'-3*a-20', u'3*a-23')
(u'45a', u'a1', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a10', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a2', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a3', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a4', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a5', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a6', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a7', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a8', 45, u'6*a-3', u'-6*a+3')
(u'45a', u'a9', 45, u'6*a-3', u'-6*a+3')
(u'464a', u'a1', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'a2', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'b1', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'b2', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'b3', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'b4', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'c1', 464, u'4*a+20', u'-4*a+24')
(u'464a', u'c2', 464, u'4*a+20', u'-4*a+24')
(u'475a', u'a1', 475, u'-20*a+15', u'20*a-5')
(u'475a', u'a2', 475, u'-20*a+15', u'20*a-5')
(u'475a', u'b1', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b2', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b3', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b4', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b5', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b6', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b7', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'b8', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'c1', 475, u'20*a-15', u'-20*a+5')
(u'475a', u'c2', 475, u'20*a-15', u'-20*a+5')
(u'479a', u'a1', 479, u'-2*a+23', u'2*a+21')
(u'479a', u'a2', 479, u'-2*a+23', u'2*a+21')
(u'484a', u'a1', 484, u'22', u'22')
(u'484a', u'a2', 484, u'22', u'22')
(u'484a', u'a3', 484, u'22', u'22')
(u'484a', u'b1', 484, u'22', u'22')
(u'484a', u'b2', 484, u'22', u'22')
(u'484a', u'c1', 484, u'22', u'22')
(u'484a', u'c2', 484, u'22', u'22')
(u'484a', u'c3', 484, u'22', u'22')
(u'484a', u'c4', 484, u'22', u'22')
(u'484b', u'a1', 484, u'-20*a+6', u'20*a-14')
(u'484b', u'a2', 484, u'-20*a+6', u'20*a-14')
(u'484b', u'b1', 484, u'20*a-6', u'-20*a+14')
(u'484b', u'b2', 484, u'20*a-6', u'-20*a+14')
(u'495a', u'a1', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'a2', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'a3', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'a4', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b1', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b2', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b3', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b4', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b5', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b6', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b7', 495, u'3*a+21', u'-3*a+24')
(u'495a', u'b8', 495, u'3*a+21', u'-3*a+24')
(u'49a', u'a1', 49, u'7', u'7')
(u'49a', u'a2', 49, u'7', u'7')
(u'505a', u'a1', 505, u'-a-22', u'a-23')
(u'505a', u'a2', 505, u'-a-22', u'a-23')
(u'505a', u'b1', 505, u'a+22', u'-a+23')
(u'505a', u'b2', 505, u'a+22', u'-a+23')
(u'505a', u'b3', 505, u'a+22', u'-a+23')
(u'505a', u'b4', 505, u'a+22', u'-a+23')
(u'509a', u'a1', 509, u'-4*a+25', u'4*a+21')
(u'509a', u'b1', 509, u'-4*a+25', u'4*a+21')
(u'521a', u'a1', 521, u'-5*a+26', u'5*a+21')
(u'521a', u'a2', 521, u'-5*a+26', u'5*a+21')
(u'524a', u'a1', 524, u'2*a+22', u'-2*a+24')
(u'529a', u'a1', 529, u'23', u'23')
(u'531a', u'a1', 531, u'-21*a+6', u'21*a-15')
(u'531a', u'b1', 531, u'-21*a+6', u'21*a-15')
(u'539a', u'a1', 539, u'21*a-14', u'-21*a+7')
(u'539a', u'a2', 539, u'21*a-14', u'-21*a+7')
(u'539a', u'b1', 539, u'-21*a+14', u'21*a-7')
(u'539a', u'b2', 539, u'-21*a+14', u'21*a-7')
(u'541a', u'a1', 541, u'-3*a+25', u'3*a+22')
(u'541a', u'a2', 541, u'-3*a+25', u'3*a+22')
(u'545a', u'a1', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'a2', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'a3', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'a4', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'b1', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'b2', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'b3', 545, u'-21*a+13', u'21*a-8')
(u'545a', u'b4', 545, u'-21*a+13', u'21*a-8')
(u'549a', u'a1', 549, u'-21*a+9', u'21*a-12')
(u'549a', u'b1', 549, u'-21*a+9', u'21*a-12')
(u'549a', u'c1', 549, u'-21*a+9', u'21*a-12')
(u'549a', u'c2', 549, u'-21*a+9', u'21*a-12')
(u'549a', u'd1', 549, u'21*a-9', u'-21*a+12')
(u'549a', u'd2', 549, u'21*a-9', u'-21*a+12')
(u'551a', u'a1', 551, u'-21*a+10', u'21*a-11')
(u'551a', u'a2', 551, u'-21*a+10', u'21*a-11')
(u'551a', u'a3', 551, u'-21*a+10', u'21*a-11')
(u'551a', u'a4', 551, u'-21*a+10', u'21*a-11')
(u'551b', u'a1', 551, u'-a-23', u'a-24')
(u'551b', u'a2', 551, u'-a-23', u'a-24')
(u'556a', u'a1', 556, u'-4*a+26', u'4*a+22')
(u'55a', u'a1', 55, u'a+7', u'-a+8')
(u'55a', u'a2', 55, u'a+7', u'-a+8')
(u'55a', u'a3', 55, u'a+7', u'-a+8')
(u'55a', u'a4', 55, u'a+7', u'-a+8')
(u'55a', u'a5', 55, u'a+7', u'-a+8')
(u'55a', u'a6', 55, u'a+7', u'-a+8')
(u'55a', u'a7', 55, u'a+7', u'-a+8')
(u'55a', u'a8', 55, u'a+7', u'-a+8')
(u'571a', u'a1', 571, u'-2*a+25', u'2*a+23')
(u'576a', u'a1', 576, u'24', u'24')
(u'576a', u'a2', 576, u'24', u'24')
(u'576a', u'a3', 576, u'24', u'24')
(u'576a', u'a4', 576, u'24', u'24')
(u'576a', u'a5', 576, u'24', u'24')
(u'576a', u'a6', 576, u'24', u'24')
(u'576a', u'b1', 576, u'24', u'24')
(u'576a', u'b2', 576, u'24', u'24')
(u'576a', u'c1', 576, u'24', u'24')
(u'576a', u'c2', 576, u'24', u'24')
(u'576a', u'c3', 576, u'24', u'24')
(u'576a', u'c4', 576, u'24', u'24')
(u'576a', u'd1', 576, u'24', u'24')
(u'576a', u'd2', 576, u'24', u'24')
(u'580a', u'a1', 580, u'22*a-16', u'-22*a+6')
(u'580a', u'a2', 580, u'22*a-16', u'-22*a+6')
(u'580a', u'b1', 580, u'22*a-16', u'-22*a+6')
(u'580a', u'b2', 580, u'22*a-16', u'-22*a+6')
(u'589a', u'a1', 589, u'-3*a-23', u'3*a-26')
(u'589a', u'b1', 589, u'-3*a-23', u'3*a-26')
(u'589a', u'c1', 589, u'-3*a-23', u'3*a-26')
(u'589a', u'c2', 589, u'-3*a-23', u'3*a-26')
(u'589b', u'a1', 589, u'22*a-7', u'-22*a+15')
(u'596a', u'a1', 596, u'-22*a+14', u'22*a-8')
(u'596a', u'a2', 596, u'-22*a+14', u'22*a-8')
(u'596a', u'b1', 596, u'-22*a+14', u'22*a-8')
(u'601a', u'a1', 601, u'22*a-13', u'-22*a+9')
(u'604a', u'a1', 604, u'22*a-10', u'-22*a+12')
(u'604a', u'a2', 604, u'22*a-10', u'-22*a+12')
(u'604a', u'b1', 604, u'22*a-10', u'-22*a+12')
(u'604a', u'b2', 604, u'22*a-10', u'-22*a+12')
(u'604a', u'b3', 604, u'22*a-10', u'-22*a+12')
(u'605a', u'a1', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'a2', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'a3', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'a4', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'a5', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'a6', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b1', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b2', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b3', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b4', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b5', 605, u'22*a-11', u'-22*a+11')
(u'605a', u'b6', 605, u'22*a-11', u'-22*a+11')
(u'605b', u'a1', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'a2', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b1', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b2', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b3', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b4', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b5', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b6', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b7', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'b8', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'c1', 605, u'4*a+23', u'-4*a+27')
(u'605b', u'c2', 605, u'4*a+23', u'-4*a+27')
(u'620a', u'a1', 620, u'2*a+24', u'-2*a+26')
(u'620a', u'a2', 620, u'2*a+24', u'-2*a+26')
(u'620a', u'b1', 620, u'2*a+24', u'-2*a+26')
(u'620a', u'b2', 620, u'2*a+24', u'-2*a+26')
(u'620a', u'b3', 620, u'2*a+24', u'-2*a+26')
(u'639a', u'a1', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'b1', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'b2', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'c1', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'c2', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'c3', 639, u'-3*a-24', u'3*a-27')
(u'639a', u'c4', 639, u'-3*a-24', u'3*a-27')
(u'641a', u'a1', 641, u'23*a-16', u'-23*a+7')
(u'641a', u'b1', 641, u'23*a-16', u'-23*a+7')
(u'649a', u'a1', 649, u'a+25', u'-a+26')
(u'649a', u'a2', 649, u'a+25', u'-a+26')
(u'649a', u'a3', 649, u'a+25', u'-a+26')
(u'649a', u'a4', 649, u'a+25', u'-a+26')
(u'649a', u'b1', 649, u'-a-25', u'a-26')
(u'649a', u'b2', 649, u'-a-25', u'a-26')
(u'649a', u'c1', 649, u'a+25', u'-a+26')
(u'649b', u'a1', 649, u'-23*a+15', u'23*a-8')
(u'649b', u'b1', 649, u'-23*a+15', u'23*a-8')
(u'649b', u'b2', 649, u'-23*a+15', u'23*a-8')
(u'649b', u'b3', 649, u'-23*a+15', u'23*a-8')
(u'649b', u'b4', 649, u'-23*a+15', u'23*a-8')
(u'64a', u'a1', 64, u'8', u'8')
(u'64a', u'a2', 64, u'8', u'8')
(u'64a', u'a3', 64, u'8', u'8')
(u'64a', u'a4', 64, u'8', u'8')
(u'64a', u'a5', 64, u'8', u'8')
(u'64a', u'a6', 64, u'8', u'8')
(u'655a', u'a1', 655, u'23*a-9', u'-23*a+14')
(u'655a', u'b1', 655, u'23*a-9', u'-23*a+14')
(u'655a', u'c1', 655, u'23*a-9', u'-23*a+14')
(u'655a', u'c2', 655, u'23*a-9', u'-23*a+14')
(u'655a', u'c3', 655, u'23*a-9', u'-23*a+14')
(u'655a', u'c4', 655, u'23*a-9', u'-23*a+14')
(u'656a', u'a1', 656, u'4*a+24', u'-4*a+28')
(u'656a', u'a2', 656, u'4*a+24', u'-4*a+28')
(u'671a', u'a1', 671, u'-2*a+27', u'2*a+25')
(u'671a', u'b1', 671, u'-2*a+27', u'2*a+25')
(u'676a', u'a1', 676, u'26', u'26')
(u'676a', u'a2', 676, u'26', u'26')
(u'676a', u'a3', 676, u'26', u'26')
(u'676a', u'b1', 676, u'26', u'26')
(u'676a', u'b2', 676, u'26', u'26')
(u'676a', u'c1', 676, u'26', u'26')
(u'676a', u'c2', 676, u'26', u'26')
(u'684a', u'a1', 684, u'-24*a+18', u'24*a-6')
(u'684a', u'a2', 684, u'-24*a+18', u'24*a-6')
(u'684a', u'b1', 684, u'-24*a+18', u'24*a-6')
(u'684a', u'b2', 684, u'-24*a+18', u'24*a-6')
(u'684a', u'b3', 684, u'-24*a+18', u'24*a-6')
(u'684a', u'b4', 684, u'-24*a+18', u'24*a-6')
(u'695a', u'a1', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'b1', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'b2', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'c1', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'c2', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'c3', 695, u'24*a-17', u'-24*a+7')
(u'695a', u'c4', 695, u'24*a-17', u'-24*a+7')
(u'701a', u'a1', 701, u'a+26', u'-a+27')
(u'701a', u'a2', 701, u'a+26', u'-a+27')
(u'704a', u'a1', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'a2', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'b1', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'b2', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'b3', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'b4', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'b5', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'b6', 704, u'24*a-16', u'-24*a+8')
(u'704a', u'c1', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'c2', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'd1', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'd2', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'd3', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'd4', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'e1', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'e2', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'e3', 704, u'-24*a+16', u'24*a-8')
(u'704a', u'e4', 704, u'-24*a+16', u'24*a-8')
(u'711a', u'a1', 711, u'-24*a+15', u'24*a-9')
(u'711a', u'b1', 711, u'-24*a+15', u'24*a-9')
(u'716a', u'a1', 716, u'24*a-14', u'-24*a+10')
(u'719a', u'a1', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'b1', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'c1', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'd1', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'd2', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'd3', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'd4', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'e1', 719, u'24*a-13', u'-24*a+11')
(u'719a', u'e2', 719, u'24*a-13', u'-24*a+11')
(u'71a', u'a1', 71, u'a+8', u'-a+9')
(u'71a', u'a2', 71, u'a+8', u'-a+9')
(u'71a', u'a3', 71, u'a+8', u'-a+9')
(u'71a', u'a4', 71, u'a+8', u'-a+9')
(u'725a', u'a1', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'b1', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'b2', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c1', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c2', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c3', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c4', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c5', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c6', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c7', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'c8', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'd1', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'd2', 725, u'5*a+25', u'-5*a+30')
(u'725a', u'e1', 725, u'5*a+25', u'-5*a+30')
(u'729a', u'a1', 729, u'27', u'27')
(u'729a', u'a2', 729, u'27', u'27')
(u'729a', u'a3', 729, u'27', u'27')
(u'729a', u'a4', 729, u'27', u'27')
(u'729a', u'b1', 729, u'27', u'27')
(u'729a', u'b2', 729, u'27', u'27')
(u'729a', u'c1', 729, u'27', u'27')
(u'729a', u'c2', 729, u'27', u'27')
(u'729a', u'd1', 729, u'27', u'27')
(u'729a', u'd2', 729, u'27', u'27')
(u'739a', u'a1', 739, u'-6*a+31', u'6*a+25')
(u'751a', u'a1', 751, u'25*a-7', u'-25*a+18')
(u'751a', u'a2', 751, u'25*a-7', u'-25*a+18')
(u'755a', u'a1', 755, u'-a-27', u'a-28')
(u'755a', u'b1', 755, u'-a-27', u'a-28')
(u'755a', u'b2', 755, u'-a-27', u'a-28')
(u'755a', u'c1', 755, u'a+27', u'-a+28')
(u'755a', u'c2', 755, u'a+27', u'-a+28')
(u'755a', u'c3', 755, u'a+27', u'-a+28')
(u'755a', u'c4', 755, u'a+27', u'-a+28')
(u'764a', u'a1', 764, u'-4*a+30', u'4*a+26')
(u'764a', u'a2', 764, u'-4*a+30', u'4*a+26')
(u'769a', u'a1', 769, u'-25*a+9', u'25*a-16')
(u'769a', u'a2', 769, u'-25*a+9', u'25*a-16')
(u'769a', u'b1', 769, u'-25*a+9', u'25*a-16')
(u'76a', u'a1', 76, u'8*a-6', u'-8*a+2')
(u'76a', u'a2', 76, u'8*a-6', u'-8*a+2')
(u'76a', u'a3', 76, u'8*a-6', u'-8*a+2')
(u'76a', u'a4', 76, u'8*a-6', u'-8*a+2')
(u'76a', u'b1', 76, u'8*a-6', u'-8*a+2')
(u'76a', u'b2', 76, u'8*a-6', u'-8*a+2')
(u'775a', u'a1', 775, u'-25*a+10', u'25*a-15')
(u'775a', u'a2', 775, u'-25*a+10', u'25*a-15')
(u'775a', u'b1', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'c1', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'c2', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'c3', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'c4', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'd1', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'e1', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'e2', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f1', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f2', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f3', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f4', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f5', 775, u'25*a-10', u'-25*a+15')
(u'775a', u'f6', 775, u'25*a-10', u'-25*a+15')
(u'779a', u'a1', 779, u'25*a-11', u'-25*a+14')
(u'779a', u'a2', 779, u'25*a-11', u'-25*a+14')
(u'779b', u'a1', 779, u'-2*a+29', u'2*a+27')
(u'779b', u'b1', 779, u'-2*a+29', u'2*a+27')
(u'779b', u'b2', 779, u'-2*a+29', u'2*a+27')
(u'781a', u'a1', 781, u'-5*a+31', u'5*a+26')
(u'781a', u'a2', 781, u'-5*a+31', u'5*a+26')
(u'781a', u'a3', 781, u'-5*a+31', u'5*a+26')
(u'781a', u'a4', 781, u'-5*a+31', u'5*a+26')
(u'781a', u'b1', 781, u'-5*a+31', u'5*a+26')
(u'781a', u'b2', 781, u'-5*a+31', u'5*a+26')
(u'784a', u'a1', 784, u'28', u'28')
(u'784a', u'a2', 784, u'28', u'28')
(u'784a', u'a3', 784, u'28', u'28')
(u'784a', u'a4', 784, u'28', u'28')
(u'79a', u'a1', 79, u'8*a-5', u'-8*a+3')
(u'79a', u'a2', 79, u'8*a-5', u'-8*a+3')
(u'79a', u'a3', 79, u'8*a-5', u'-8*a+3')
(u'79a', u'a4', 79, u'8*a-5', u'-8*a+3')
(u'801a', u'a1', 801, u'3*a+27', u'-3*a+30')
(u'801a', u'a2', 801, u'3*a+27', u'-3*a+30')
(u'809a', u'a1', 809, u'-26*a+7', u'26*a-19')
(u'809a', u'a2', 809, u'-26*a+7', u'26*a-19')
(u'80a', u'a1', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a2', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a3', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a4', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a5', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a6', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a7', 80, u'8*a-4', u'-8*a+4')
(u'80a', u'a8', 80, u'8*a-4', u'-8*a+4')
(u'811a', u'a1', 811, u'a+28', u'-a+29')
(u'811a', u'a2', 811, u'a+28', u'-a+29')
(u'81a', u'a1', 81, u'9', u'9')
(u'81a', u'a2', 81, u'9', u'9')
(u'81a', u'a3', 81, u'9', u'9')
(u'81a', u'a4', 81, u'9', u'9')
(u'81a', u'a5', 81, u'9', u'9')
(u'81a', u'a6', 81, u'9', u'9')
(u'81a', u'a7', 81, u'9', u'9')
(u'81a', u'a8', 81, u'9', u'9')
(u'820a', u'a1', 820, u'26*a-8', u'-26*a+18')
(u'820a', u'a2', 820, u'26*a-8', u'-26*a+18')
(u'829a', u'a1', 829, u'-26*a+17', u'26*a-9')
(u'829a', u'b1', 829, u'-26*a+17', u'26*a-9')
(u'829a', u'b2', 829, u'-26*a+17', u'26*a-9')
(u'829a', u'c1', 829, u'26*a-17', u'-26*a+9')
(u'829a', u'c2', 829, u'26*a-17', u'-26*a+9')
(u'836a', u'a1', 836, u'-2*a-28', u'2*a-30')
(u'836a', u'b1', 836, u'-2*a-28', u'2*a-30')
(u'836a', u'b2', 836, u'-2*a-28', u'2*a-30')
(u'836a', u'c1', 836, u'-2*a-28', u'2*a-30')
(u'836a', u'c2', 836, u'-2*a-28', u'2*a-30')
(u'836a', u'c3', 836, u'-2*a-28', u'2*a-30')
(u'836b', u'a1', 836, u'26*a-10', u'-26*a+16')
(u'836b', u'a2', 836, u'26*a-10', u'-26*a+16')
(u'836b', u'a3', 836, u'26*a-10', u'-26*a+16')
(u'836b', u'a4', 836, u'26*a-10', u'-26*a+16')
(u'836b', u'b1', 836, u'-26*a+10', u'26*a-16')
(u'836b', u'b2', 836, u'-26*a+10', u'26*a-16')
(u'836b', u'b3', 836, u'-26*a+10', u'26*a-16')
(u'836b', u'b4', 836, u'-26*a+10', u'26*a-16')
(u'836b', u'b5', 836, u'-26*a+10', u'26*a-16')
(u'836b', u'b6', 836, u'-26*a+10', u'26*a-16')
(u'841a', u'a1', 841, u'29', u'29')
(u'841a', u'a2', 841, u'29', u'29')
(u'845a', u'a1', 845, u'26*a-13', u'-26*a+13')
(u'845a', u'a2', 845, u'26*a-13', u'-26*a+13')
(u'855a', u'a1', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'a2', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'a3', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'a4', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'b1', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'b2', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c1', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c2', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c3', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c4', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c5', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'c6', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'd1', 855, u'6*a-33', u'-6*a-27')
(u'855a', u'd2', 855, u'6*a-33', u'-6*a-27')
(u'869a', u'a1', 869, u'a+29', u'-a+30')
(u'869a', u'a2', 869, u'a+29', u'-a+30')
(u'880a', u'a1', 880, u'4*a+28', u'-4*a+32')
(u'880a', u'a2', 880, u'4*a+28', u'-4*a+32')
(u'880a', u'b1', 880, u'4*a+28', u'-4*a+32')
(u'880a', u'b2', 880, u'4*a+28', u'-4*a+32')
(u'880a', u'b3', 880, u'4*a+28', u'-4*a+32')
(u'880a', u'b4', 880, u'4*a+28', u'-4*a+32')
(u'881a', u'a1', 881, u'27*a-8', u'-27*a+19')
(u'881a', u'a2', 881, u'27*a-8', u'-27*a+19')
(u'891a', u'a1', 891, u'27*a-18', u'-27*a+9')
(u'891a', u'a2', 891, u'27*a-18', u'-27*a+9')
(u'891a', u'a3', 891, u'27*a-18', u'-27*a+9')
(u'891a', u'a4', 891, u'27*a-18', u'-27*a+9')
(u'891a', u'a5', 891, u'27*a-18', u'-27*a+9')
(u'891a', u'a6', 891, u'27*a-18', u'-27*a+9')
(u'895a', u'a1', 895, u'-2*a+31', u'2*a+29')
(u'895a', u'b1', 895, u'-2*a+31', u'2*a+29')
(u'895a', u'c1', 895, u'-2*a+31', u'2*a+29')
(u'895a', u'c2', 895, u'-2*a+31', u'2*a+29')
(u'899a', u'a1', 899, u'-27*a+10', u'27*a-17')
(u'899a', u'a2', 899, u'-27*a+10', u'27*a-17')
(u'899a', u'b1', 899, u'-27*a+10', u'27*a-17')
(u'899a', u'b2', 899, u'-27*a+10', u'27*a-17')
(u'899b', u'a1', 899, u'5*a-33', u'-5*a-28')
(u'899b', u'a2', 899, u'5*a-33', u'-5*a-28')
(u'89a', u'a1', 89, u'-a-9', u'a-10')
(u'89a', u'a2', 89, u'-a-9', u'a-10')
(u'89a', u'a3', 89, u'-a-9', u'a-10')
(u'89a', u'a4', 89, u'-a-9', u'a-10')
(u'900a', u'a1', 900, u'30', u'30')
(u'900a', u'a2', 900, u'30', u'30')
(u'900a', u'a3', 900, u'30', u'30')
(u'900a', u'a4', 900, u'30', u'30')
(u'900a', u'a5', 900, u'30', u'30')
(u'900a', u'a6', 900, u'30', u'30')
(u'900a', u'a7', 900, u'30', u'30')
(u'900a', u'a8', 900, u'30', u'30')
(u'900a', u'b1', 900, u'30', u'30')
(u'900a', u'b2', 900, u'30', u'30')
(u'900a', u'b3', 900, u'30', u'30')
(u'900a', u'b4', 900, u'30', u'30')
(u'905a', u'a1', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'a2', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'b1', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'c1', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'c2', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'c3', 905, u'27*a-16', u'-27*a+11')
(u'905a', u'c4', 905, u'27*a-16', u'-27*a+11')
(u'909a', u'a1', 909, u'27*a-12', u'-27*a+15')
(u'916a', u'a1', 916, u'-6*a-28', u'6*a-34')
(u'919a', u'a1', 919, u'-3*a-29', u'3*a-32')
(u'919a', u'a2', 919, u'-3*a-29', u'3*a-32')
(u'919a', u'b1', 919, u'-3*a-29', u'3*a-32')
(u'919a', u'b2', 919, u'-3*a-29', u'3*a-32')
(u'931a', u'a1', 931, u'-28*a+21', u'28*a-7')
(u'944a', u'a1', 944, u'-28*a+8', u'28*a-20')
(u'944a', u'a2', 944, u'-28*a+8', u'28*a-20')
(u'956a', u'a1', 956, u'2*a+30', u'-2*a+32')
(u'956a', u'b1', 956, u'-2*a-30', u'2*a-32')
(u'956a', u'c1', 956, u'2*a+30', u'-2*a+32')
(u'956a', u'c2', 956, u'2*a+30', u'-2*a+32')
(u'95a', u'a1', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a2', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a3', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a4', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a5', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a6', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a7', 95, u'2*a-11', u'-2*a-9')
(u'95a', u'a8', 95, u'2*a-11', u'-2*a-9')
(u'961a', u'a1', 961, u'31', u'31')
(u'961b', u'a1', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'a2', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'a3', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'a4', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'a5', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'a6', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'b1', 961, u'-5*a-29', u'5*a-34')
(u'961b', u'c1', 961, u'-5*a-29', u'5*a-34')
(u'964a', u'a1', 964, u'28*a-18', u'-28*a+10')
(u'964a', u'b1', 964, u'28*a-18', u'-28*a+10')
(u'964a', u'b2', 964, u'28*a-18', u'-28*a+10')
(u'964a', u'b3', 964, u'28*a-18', u'-28*a+10')
(u'964a', u'c1', 964, u'28*a-18', u'-28*a+10')
(u'971a', u'a1', 971, u'28*a-11', u'-28*a+17')
(u'971a', u'a2', 971, u'28*a-11', u'-28*a+17')
(u'979a', u'a1', 979, u'-6*a-29', u'6*a-35')
(u'979a', u'a2', 979, u'-6*a-29', u'6*a-35')
(u'980a', u'a1', 980, u'28*a-14', u'-28*a+14')
(u'980a', u'a2', 980, u'28*a-14', u'-28*a+14')
(u'980a', u'a3', 980, u'28*a-14', u'-28*a+14')
(u'980a', u'a4', 980, u'28*a-14', u'-28*a+14')
(u'991a', u'a1', 991, u'a+31', u'-a+32')
(u'991a', u'b1', 991, u'a+31', u'-a+32')
(u'991a', u'b2', 991, u'a+31', u'-a+32')
(u'995a', u'a1', 995, u'-29*a+7', u'29*a-22')
(u'995a', u'a2', 995, u'-29*a+7', u'29*a-22')
(u'99a', u'a1', 99, u'-9*a+6', u'9*a-3')
(u'99a', u'a2', 99, u'-9*a+6', u'9*a-3')
(u'99a', u'a3', 99, u'-9*a+6', u'9*a-3')
(u'99a', u'a4', 99, u'-9*a+6', u'9*a-3')
(u'99a', u'a5', 99, u'-9*a+6', u'9*a-3')
(u'99a', u'a6', 99, u'-9*a+6', u'9*a-3')
