[("GEQ", [((2),0), ((2),1), ((-1),5), ((-2),6), ((-2),7), ((2),8), ((-1),9), ((-2),11), ((-2),12), ((-2),13), ((-2),14), ((2),17), ((2),18), ((1),21), ((1),23), ((-1),24), ((2),25), ((1),26), ((2),27), ((2),28), ((1),31), ((2),33), ((-2),34), ((1),36), ((-1),39), ((1),41), ((-1),42), ((2),43), ((-2),44), ((-2),45), ((2),46), ((2),47), ((2),48)], (25)), ("GEQ", [((2),3), ((-2),5), ((-2),6), ((2),7), ((2),10), ((-2),11), ((-2),13), ((-1),14), ((-1),15), ((1),18), ((2),20), ((1),21), ((1),22), ((1),23), ((-2),24), ((2),25), ((-1),26), ((2),28), ((-1),29), ((-2),31), ((-1),33), ((-1),34), ((1),35), ((-1),36), ((2),37), ((-1),38), ((-1),39), ((-2),41), ((2),43), ((-2),44), ((-1),48), ((2),49)], (-4)), ("GEQ", [((1),1), ((-1),2), ((-1),3), ((1),5), ((-1),8), ((1),11), ((2),12), ((1),13), ((-1),16), ((2),18), ((2),20), ((1),32), ((-1),33), ((2),34), ((-2),36), ((2),37), ((-1),38), ((2),39), ((-2),40), ((-1),42), ((2),43), ((2),45), ((-2),47), ((-1),48), ((1),49)], (-5)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((1),4), ((1),7), ((-2),10), ((2),11), ((1),12), ((-1),14), ((-2),21), ((1),22), ((-1),24), ((-2),25), ((1),28), ((1),30), ((-1),31), ((-2),32), ((-1),34), ((2),37), ((1),40), ((-1),42), ((-1),44), ((-2),45), ((-1),46), ((-2),47), ((1),48), ((1),49)], (-5)), ("GEQ", [((-1),7), ((-1),8), ((1),9), ((2),11), ((-2),12), ((1),13), ((-1),18), ((1),19), ((2),20), ((-1),21), ((2),22), ((1),23), ((-1),25), ((-1),26), ((1),27), ((1),28), ((-2),30), ((2),31), ((-1),33), ((-1),34), ((-1),35), ((2),36), ((2),37), ((2),39), ((-1),43), ((2),44)], (-11)), ("GEQ", [((1),0), ((-2),3), ((2),4), ((-2),5), ((-2),6), ((-2),7), ((-2),8), ((-1),9), ((1),10), ((2),11), ((-2),12), ((-1),13), ((-1),14), ((1),15), ((-2),17), ((2),19), ((2),22), ((1),23), ((-1),25), ((1),28), ((1),29), ((2),30), ((-2),33), ((-1),34), ((-2),35), ((-1),37), ((-1),40), ((1),43), ((1),44), ((-2),46), ((2),47), ((-1),48), ((2),49)], (-43)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-2),3), ((2),5), ((1),7), ((2),8), ((1),9), ((1),10), ((2),11), ((2),14), ((2),15), ((1),17), ((2),18), ((-1),20), ((-1),25), ((-1),26), ((-2),28), ((-2),29), ((-1),30), ((-1),31), ((-2),33), ((-2),34), ((-2),35), ((2),40), ((1),42), ((1),43), ((-2),44), ((2),45), ((-2),47), ((1),48), ((-2),49)], (0)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((-1),4), ((1),5), ((-2),6), ((1),9), ((-1),10), ((1),11), ((2),13), ((1),15), ((2),17), ((2),20), ((-1),21), ((-2),22), ((-2),23), ((-1),24), ((-1),26), ((1),27), ((2),28), ((2),29), ((-2),33), ((2),34), ((2),35), ((2),38), ((-1),39), ((-2),40), ((1),48), ((-2),49)], (-5)), ("GEQ", [((-1),1), ((-1),5), ((-2),6), ((-1),7), ((-1),8), ((-1),13), ((-2),15), ((2),18), ((-1),19), ((-1),20), ((-2),21), ((1),22), ((-1),23), ((-1),24), ((1),25), ((2),26), ((-2),27), ((1),29), ((-1),32), ((2),33), ((-2),34), ((-2),35), ((-2),38), ((-1),39), ((2),40), ((-2),41), ((-2),42), ((1),43), ((-1),45), ((-1),46), ((1),49)], (29)), ("GEQ", [((-2),0), ((-1),2), ((-2),3), ((-2),4), ((-2),5), ((-2),6), ((1),7), ((2),8), ((-2),9), ((1),13), ((-2),14), ((-1),15), ((1),18), ((1),20), ((-1),21), ((-2),23), ((-2),24), ((-2),25), ((-1),29), ((2),30), ((-1),31), ((1),32), ((-1),34), ((2),35), ((2),39), ((1),40), ((2),41), ((-2),42), ((-1),45), ((1),47)], (20)), ("GEQ", [((1),0), ((1),1), ((-1),6), ((2),8), ((-1),10), ((-1),11), ((-2),12), ((1),13), ((-2),14), ((2),17), ((-2),18), ((-2),19), ((-2),22), ((-2),23), ((1),24), ((2),25), ((-1),27), ((2),29), ((2),31), ((1),32), ((1),35), ((-1),36), ((1),37), ((-2),39), ((-1),40), ((1),41), ((1),43), ((2),46), ((1),47)], (39)), ("GEQ", [((-2),1), ((1),2), ((1),4), ((1),6), ((2),7), ((1),8), ((2),9), ((2),10), ((1),13), ((-1),14), ((-1),15), ((1),16), ((-1),19), ((-2),20), ((2),21), ((-2),24), ((1),25), ((-2),26), ((-1),27), ((2),31), ((-2),34), ((1),36), ((1),38), ((2),39), ((1),40), ((1),41), ((-2),42), ((-1),43), ((-2),44), ((1),46)], (20)), ("GEQ", [((1),0), ((-1),4), ((2),5), ((2),8), ((1),9), ((1),10), ((2),11), ((1),12), ((2),13), ((1),16), ((2),17), ((2),18), ((2),22), ((-2),24), ((2),27), ((2),28), ((2),30), ((-1),31), ((-2),35), ((1),36), ((1),39), ((1),41), ((1),42), ((2),43), ((1),44), ((-2),47)], (-29)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((1),3), ((-1),4), ((2),7), ((2),8), ((-1),14), ((1),16), ((1),17), ((-1),18), ((-2),19), ((-1),20), ((-2),21), ((-1),22), ((1),23), ((-1),25), ((2),26), ((-1),28), ((2),31), ((-1),32), ((-2),35), ((2),37), ((2),38), ((-2),40), ((-2),41), ((1),42), ((-1),44), ((2),47), ((2),48), ((2),49)], (32)), ("GEQ", [((-2),0), ((2),3), ((-1),5), ((2),7), ((1),9), ((-1),10), ((-2),12), ((-1),17), ((2),19), ((2),20), ((1),21), ((-2),23), ((1),25), ((-1),27), ((-2),28), ((1),29), ((-1),30), ((2),31), ((2),32), ((-2),34), ((1),35), ((-2),36), ((-1),40), ((2),41), ((-2),42), ((-2),43), ((2),44), ((2),45), ((-2),46), ((2),47), ((1),49)], (0)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-1),3), ((-1),6), ((2),8), ((1),10), ((1),11), ((1),12), ((-2),14), ((-1),15), ((-2),16), ((2),19), ((1),20), ((1),21), ((1),23), ((-1),24), ((2),25), ((1),28), ((1),30), ((-2),31), ((2),32), ((1),33), ((-1),35), ((2),36), ((2),40), ((1),42), ((2),43), ((2),47), ((-1),48), ((1),49)], (0)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((2),5), ((-2),7), ((-2),9), ((2),11), ((-1),12), ((-1),13), ((-2),17), ((-1),18), ((1),19), ((-1),21), ((-2),22), ((-2),23), ((-2),25), ((-2),26), ((2),30), ((-1),31), ((1),32), ((1),33), ((-1),36), ((-2),37), ((2),39), ((2),40), ((1),42), ((2),43), ((-1),44), ((2),46), ((1),47), ((-1),49)], (11)), ("GEQ", [((1),1), ((-2),2), ((-2),3), ((-2),4), ((-2),5), ((-1),7), ((2),9), ((-1),11), ((2),12), ((2),16), ((-1),17), ((1),18), ((2),19), ((1),21), ((-1),23), ((-1),24), ((2),26), ((-2),28), ((-1),29), ((2),30), ((-2),31), ((2),33), ((2),34), ((2),37), ((2),38), ((-2),39), ((-2),41), ((1),46), ((-2),49)], (-33)), ("GEQ", [((-2),0), ((-2),1), ((-1),4), ((1),5), ((-2),6), ((2),8), ((-1),13), ((-1),15), ((2),16), ((1),17), ((-2),18), ((1),20), ((-1),21), ((2),22), ((1),23), ((2),24), ((2),29), ((-1),30), ((2),32), ((2),33), ((1),36), ((-1),37), ((-2),38), ((-1),40), ((1),44), ((2),46), ((2),47), ((-2),49)], (37)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-2),3), ((2),4), ((2),5), ((-1),7), ((-2),12), ((2),13), ((-1),14), ((-1),16), ((2),17), ((1),19), ((2),20), ((-2),21), ((-2),24), ((1),26), ((1),29), ((-2),31), ((-1),32), ((-2),33), ((-2),34), ((-1),36), ((2),39), ((2),40), ((1),41), ((1),45), ((-2),49)], (-30)), ("GEQ", [((-1),0), ((2),4), ((1),5), ((-1),6), ((1),7), ((-1),8), ((1),9), ((1),11), ((-1),15), ((-2),16), ((-2),17), ((-1),18), ((-1),19), ((-2),20), ((-2),21), ((2),22), ((-1),24), ((1),25), ((1),26), ((-2),27), ((-2),28), ((-2),30), ((2),32), ((-2),34), ((2),35), ((1),36), ((-1),37), ((-2),39), ((-2),45), ((-1),46), ((-2),47), ((2),48), ((1),49)], (31)), ("GEQ", [((-1),2), ((1),4), ((-2),5), ((-1),7), ((1),8), ((1),9), ((1),11), ((2),12), ((-1),13), ((-2),18), ((-1),19), ((-1),21), ((-1),23), ((2),24), ((-2),25), ((-2),27), ((2),28), ((2),31), ((-1),32), ((-1),36), ((1),37), ((1),38), ((-2),39), ((-1),41), ((1),42), ((-1),44), ((-2),45), ((-1),46), ((1),47)], (0)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-1),3), ((-2),5), ((1),10), ((-2),11), ((-1),14), ((-1),17), ((-1),18), ((2),19), ((1),20), ((-2),22), ((2),24), ((1),26), ((-1),27), ((1),29), ((2),31), ((-1),32), ((-1),33), ((-2),34), ((-1),35), ((2),36), ((2),37), ((-2),38), ((-2),39), ((-1),40), ((2),41), ((-1),42), ((-1),43), ((-1),44), ((-2),45), ((-1),47), ((2),48), ((1),49)], (1)), ("GEQ", [((2),1), ((1),2), ((2),3), ((2),4), ((-2),5), ((2),8), ((1),10), ((-1),12), ((-1),13), ((1),14), ((1),15), ((-2),16), ((-1),19), ((-2),20), ((1),21), ((1),22), ((1),24), ((1),28), ((-2),29), ((-1),30), ((1),31), ((1),32), ((-1),34), ((-1),37), ((-1),39), ((-2),41), ((1),42), ((1),43), ((-2),44), ((1),45), ((1),46), ((-1),48), ((-1),49)], (7)), ("GEQ", [((2),0), ((1),1), ((2),4), ((-1),5), ((-2),7), ((2),8), ((-2),11), ((1),12), ((-2),14), ((-2),16), ((2),17), ((-1),18), ((-2),19), ((1),21), ((-2),22), ((2),25), ((2),26), ((1),27), ((-1),29), ((1),30), ((1),32), ((-1),33), ((-1),36), ((1),39), ((-1),41), ((1),42), ((-2),43), ((2),45), ((2),46), ((-2),48)], (-35)), ("GEQ", [((-1),0), ((-2),1), ((2),2), ((2),3), ((2),5), ((1),6), ((2),10), ((-1),11), ((-2),12), ((1),16), ((-2),18), ((1),19), ((1),20), ((-1),22), ((-1),23), ((-2),25), ((-2),26), ((-1),27), ((-1),29), ((-1),30), ((1),31), ((1),32), ((-1),33), ((2),37), ((1),38), ((1),39), ((-1),40), ((-2),41), ((1),42), ((-2),43), ((1),44), ((2),45), ((-1),46), ((1),47), ((-1),49)], (-9)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((1),4), ((1),10), ((-2),12), ((-2),13), ((-2),14), ((1),15), ((-2),17), ((2),18), ((-1),21), ((1),22), ((-1),23), ((-1),24), ((2),26), ((2),27), ((-2),28), ((2),31), ((1),33), ((-2),35), ((-2),37), ((-2),38), ((-1),39), ((1),40), ((2),44), ((2),45), ((2),46), ((2),47)], (13)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),4), ((1),5), ((-2),7), ((1),8), ((-1),12), ((1),13), ((1),14), ((1),15), ((2),16), ((-1),17), ((1),20), ((-1),21), ((1),22), ((-2),24), ((-1),26), ((1),27), ((-2),29), ((1),31), ((-1),32), ((2),33), ((-1),35), ((2),36), ((-2),37), ((-2),38), ((-2),39), ((-1),40), ((-2),43), ((-1),48)], (-30)), ("GEQ", [((1),4), ((-2),6), ((-1),7), ((-2),9), ((1),10), ((1),11), ((-2),12), ((2),15), ((1),16), ((-2),17), ((-2),18), ((-1),19), ((1),21), ((-1),23), ((2),24), ((-1),25), ((1),27), ((-1),28), ((2),29), ((-1),32), ((1),34), ((1),35), ((-2),37), ((2),38), ((-2),39), ((-1),40), ((2),41), ((1),42), ((1),44), ((1),46), ((1),49)], (-8)), ("GEQ", [((-2),3), ((-1),4), ((-1),6), ((-1),7), ((-2),8), ((-1),9), ((-2),10), ((2),12), ((1),13), ((-1),14), ((1),16), ((1),17), ((1),19), ((-2),25), ((-2),28), ((1),30), ((-1),35), ((-2),36), ((2),37), ((1),39), ((2),40), ((-1),41), ((-2),42), ((2),43), ((-2),46), ((2),47)], (-6)), ("GEQ", [((-2),0), ((-2),1), ((-1),3), ((-1),4), ((1),5), ((-1),6), ((2),8), ((-1),9), ((-1),10), ((2),12), ((-2),15), ((1),16), ((-2),19), ((-2),24), ((-2),30), ((1),31), ((-2),32), ((2),35), ((1),36), ((1),37), ((2),38), ((1),39), ((1),42), ((-1),43), ((-2),45), ((1),49)], (21)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((1),4), ((-1),5), ((1),6), ((1),7), ((2),8), ((2),9), ((1),12), ((-1),17), ((-1),19), ((2),20), ((-1),22), ((1),23), ((1),24), ((-1),26), ((-1),27), ((1),32), ((2),34), ((1),36), ((2),37), ((1),38), ((2),39), ((1),40), ((-2),43), ((-1),46), ((-1),48)], (2)), ("GEQ", [((2),0), ((1),1), ((-2),3), ((-2),5), ((1),6), ((2),9), ((-2),10), ((-1),12), ((1),16), ((2),18), ((1),24), ((-2),25), ((-1),26), ((1),28), ((-2),29), ((-1),30), ((1),31), ((1),34), ((2),35), ((-1),36), ((-2),37), ((1),38), ((-2),39), ((-1),40), ((-2),44), ((1),46), ((-2),47), ((2),48), ((-1),49)], (6)), ("GEQ", [((1),1), ((-1),3), ((-2),4), ((-2),5), ((-2),6), ((-1),9), ((-1),10), ((-1),12), ((2),13), ((-2),14), ((2),15), ((-1),17), ((-1),18), ((-1),19), ((2),22), ((1),24), ((-1),25), ((-1),27), ((-2),30), ((-1),32), ((1),33), ((-2),34), ((1),40), ((-1),41), ((-1),42), ((-2),44), ((2),46), ((1),48), ((2),49)], (39)), ("GEQ", [((2),0), ((-1),2), ((-2),5), ((2),6), ((1),9), ((1),10), ((2),12), ((1),14), ((2),15), ((-1),16), ((1),17), ((2),18), ((-2),19), ((1),22), ((-1),23), ((-1),25), ((2),27), ((2),28), ((-1),29), ((-2),31), ((-1),32), ((1),33), ((-2),34), ((2),35), ((-2),37), ((2),41), ((-1),42), ((1),44), ((-1),45), ((-1),48), ((1),49)], (-20)), ("GEQ", [((-2),1), ((-2),3), ((-1),4), ((2),6), ((1),7), ((-1),8), ((-2),9), ((2),11), ((-1),12), ((2),13), ((-1),14), ((2),16), ((-2),20), ((2),22), ((2),25), ((2),26), ((2),28), ((1),29), ((-1),30), ((-2),31), ((-2),32), ((1),33), ((-1),34), ((2),35), ((-1),36), ((2),37), ((2),38), ((1),39), ((-1),41), ((1),42), ((-1),44), ((2),45)], (5)), ("GEQ", [((-2),4), ((-1),5), ((-1),6), ((-2),7), ((-2),8), ((-2),11), ((1),14), ((-2),16), ((2),18), ((-1),19), ((-2),21), ((1),22), ((1),23), ((2),24), ((2),27), ((1),28), ((2),29), ((2),36), ((-1),39), ((1),40), ((2),41), ((1),42), ((-2),43), ((-1),45), ((1),47), ((1),48), ((1),49)], (9)), ("GEQ", [((-2),1), ((2),5), ((2),7), ((2),11), ((1),12), ((-2),13), ((1),15), ((-2),16), ((-2),19), ((-2),20), ((-1),21), ((-2),22), ((1),23), ((-1),25), ((-1),26), ((1),27), ((-1),28), ((1),29), ((-2),32), ((-2),37), ((2),40), ((1),42), ((-1),43), ((-2),45), ((1),47), ((2),49)], (28)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((-1),4), ((-1),5), ((-2),6), ((2),8), ((2),9), ((-1),10), ((-2),11), ((2),12), ((-2),13), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((-2),19), ((-2),20), ((1),22), ((-2),23), ((1),25), ((2),26), ((-1),28), ((1),30), ((2),33), ((2),35), ((-2),36), ((2),38), ((-2),39), ((2),40), ((1),41), ((2),42), ((1),47), ((2),49)], (5)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((2),3), ((1),4), ((1),7), ((1),8), ((-1),9), ((2),11), ((2),13), ((1),15), ((2),16), ((2),18), ((1),19), ((2),20), ((-1),23), ((2),24), ((-2),25), ((-1),28), ((-1),29), ((2),30), ((-1),31), ((2),32), ((2),33), ((-1),36), ((2),39), ((-2),41), ((-2),44), ((1),45), ((-1),48), ((-1),49)], (-7)), ("GEQ", [((1),0), ((2),1), ((1),3), ((-2),5), ((-2),7), ((-1),8), ((2),9), ((-2),10), ((2),11), ((1),13), ((-2),14), ((-1),15), ((-2),16), ((-1),17), ((2),21), ((2),23), ((-2),24), ((1),25), ((2),29), ((1),30), ((2),34), ((2),35), ((1),36), ((1),37), ((-2),38), ((1),41), ((2),42), ((2),45), ((-2),46), ((2),47), ((-2),48), ((1),49)], (-18)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((-1),5), ((1),6), ((-1),7), ((1),8), ((-1),9), ((2),11), ((-2),13), ((-1),14), ((1),16), ((-1),17), ((2),18), ((1),19), ((2),21), ((-1),26), ((-1),27), ((1),30), ((2),32), ((1),33), ((1),34), ((-1),35), ((1),37), ((-1),38), ((-1),43), ((-1),45), ((-1),46), ((1),47), ((2),49)], (17)), ("GEQ", [((1),1), ((1),3), ((2),4), ((-2),5), ((-2),6), ((-1),7), ((-2),9), ((2),13), ((2),14), ((-2),15), ((-1),16), ((2),18), ((2),22), ((-2),23), ((2),25), ((1),27), ((-1),28), ((1),29), ((-2),30), ((-1),31), ((-1),32), ((1),33), ((-1),34), ((2),35), ((-1),37), ((1),38), ((-2),39), ((1),41), ((1),43), ((1),44), ((-1),45), ((-1),46), ((2),48), ((1),49)], (-7)), ("GEQ", [((2),0), ((2),2), ((1),3), ((1),5), ((2),9), ((1),11), ((-2),12), ((-2),13), ((2),14), ((-2),15), ((1),17), ((-1),19), ((1),20), ((1),22), ((2),23), ((-1),27), ((1),28), ((-2),29), ((-2),30), ((1),32), ((1),33), ((2),34), ((2),36), ((2),39), ((-1),41), ((-2),42), ((-1),43), ((-2),45), ((-1),46), ((-2),47), ((-2),48)], (16)), ("GEQ", [((1),1), ((-1),3), ((1),5), ((-1),7), ((-1),8), ((-1),9), ((-1),10), ((2),12), ((1),13), ((-1),14), ((-1),15), ((-2),17), ((-2),18), ((-1),19), ((2),21), ((-2),22), ((1),24), ((-1),25), ((-1),26), ((-1),27), ((-2),28), ((1),29), ((1),30), ((-1),31), ((-2),32), ((2),34), ((-1),41), ((1),42), ((-1),44), ((-2),48)], (-8)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((2),4), ((2),8), ((-1),10), ((-1),11), ((2),12), ((-2),14), ((1),15), ((-2),17), ((-2),18), ((2),19), ((-2),20), ((1),24), ((2),25), ((2),26), ((-2),30), ((1),31), ((2),32), ((2),36), ((2),37), ((-2),38), ((-2),39), ((2),40), ((2),41), ((2),42), ((2),43), ((-1),44), ((2),45), ((1),46), ((-2),48)], (8)), ("GEQ", [((-2),3), ((-2),6), ((-2),9), ((1),10), ((-2),11), ((2),14), ((2),15), ((1),16), ((1),21), ((-1),25), ((1),26), ((2),27), ((-2),29), ((1),32), ((2),35), ((2),37), ((-1),38), ((-2),40), ((-2),41), ((1),42), ((2),43), ((-2),44), ((1),46), ((-1),47), ((2),48)], (2)), ("GEQ", [((-1),0), ((-1),2), ((-1),3), ((-2),4), ((2),7), ((-2),9), ((2),10), ((2),12), ((2),13), ((2),15), ((2),16), ((1),19), ((-1),20), ((1),21), ((-1),24), ((-1),26), ((1),27), ((-2),28), ((-2),30), ((-2),31), ((-2),33), ((-2),34), ((-1),35), ((2),37), ((-2),39), ((1),43), ((-1),45), ((1),47), ((2),48), ((2),49)], (1)), ("GEQ", [((1),2), ((2),3), ((2),4), ((-1),7), ((2),8), ((2),13), ((-1),14), ((1),15), ((-2),16), ((1),19), ((1),24), ((-2),27), ((2),29), ((-2),30), ((1),33), ((1),34), ((2),35), ((-2),39), ((2),40), ((1),41), ((1),43), ((1),45), ((-1),46), ((-2),47), ((-1),48), ((-2),49)], (4)), ("GEQ", [((-1),0), ((25),1), ((25),2), ((-6),3), ((-24),4), ((33),5), ((39),6), ((19),7), ((-54),8), ((1),9), ((-6),10), ((-31),11), ((3),12), ((23),13), ((46),14), ((-23),15), ((20),16), ((29),17), ((-11),18), ((13),19), ((-6),20), ((12),21), ((-18),22), ((13),23), ((12),24), ((2),25), ((-10),26), ((-25),27), ((-11),28), ((-18),29), ((-3),30), ((-1),31), ((-6),32), ((-17),33), ((16),34), ((-14),35), ((-16),36), ((-8),37), ((-13),38), ((14),39), ((-45),40), ((-27),41), ((-30),42), ((-1),43), ((5),44), ((4),45), ((-3),46), ((-57),47), ((19),48), ((-44),49)], (-167)), ("GEQ", [((26),0), ((-16),1), ((-18),2), ((14),3), ((35),4), ((-1),5), ((25),6), ((-20),7), ((6),8), ((9),9), ((-1),10), ((17),11), ((8),12), ((-42),13), ((6),14), ((9),15), ((-18),16), ((-31),17), ((1),18), ((13),19), ((-13),20), ((-5),21), ((5),22), ((8),23), ((-5),24), ((12),25), ((6),26), ((28),27), ((1),28), ((-2),29), ((6),30), ((-2),31), ((-7),32), ((1),33), ((17),34), ((-18),35), ((11),36), ((-23),37), ((3),38), ((-4),39), ((35),40), ((32),41), ((26),42), ((-11),43), ((25),44), ((5),45), ((-5),46), ((30),47), ((-26),48)], (-502)), ("GEQ", [((-48),0), ((10),1), ((27),2), ((-8),3), ((-49),4), ((-1),5), ((-28),6), ((39),7), ((8),8), ((-12),9), ((11),10), ((-36),11), ((-48),12), ((47),13), ((-33),14), ((-13),15), ((33),16), ((65),17), ((-22),18), ((-22),19), ((37),20), ((14),21), ((-28),22), ((-6),23), ((20),24), ((-3),25), ((-5),26), ((-47),27), ((27),28), ((16),29), ((-16),30), ((22),31), ((26),32), ((-13),33), ((-27),34), ((34),35), ((-12),36), ((51),37), ((23),38), ((24),39), ((-59),40), ((-36),41), ((-38),42), ((-13),43), ((-26),44), ((-15),45), ((7),46), ((-27),47), ((40),48), ((12),49)], (912)), ("GEQ", [((-83),0), ((56),1), ((68),2), ((-40),3), ((-131),4), ((44),5), ((-35),6), ((83),7), ((-74),8), ((-34),9), ((-7),10), ((-62),11), ((5),12), ((115),13), ((23),14), ((-40),15), ((51),16), ((96),17), ((-8),18), ((-9),19), ((22),20), ((23),21), ((-40),22), ((-2),23), ((16),24), ((-43),25), ((-42),26), ((-92),27), ((1),28), ((-18),29), ((2),30), ((-36),31), ((21),32), ((-27),33), ((-9),34), ((36),35), ((-48),36), ((55),37), ((-9),38), ((28),39), ((-105),40), ((-126),41), ((-73),42), ((55),43), ((-74),44), ((-23),45), ((5),46), ((-132),47), ((77),48), ((-28),49)], (1177)), ("GEQ", [((7),0), ((-32),1), ((-28),2), ((-11),3), ((19),4), ((5),5), ((-18),6), ((-21),7), ((-4),8), ((-16),9), ((-14),10), ((38),11), ((55),12), ((-29),13), ((6),14), ((20),15), ((-29),16), ((-61),17), ((-4),18), ((-6),19), ((-37),20), ((-31),21), ((19),22), ((-12),23), ((-25),24), ((-22),25), ((-3),26), ((41),27), ((-24),28), ((7),29), ((21),30), ((-14),31), ((-18),32), ((2),33), ((11),34), ((-16),35), ((2),36), ((-53),37), ((-24),38), ((-11),39), ((58),40), ((31),41), ((30),42), ((25),43), ((18),44), ((7),45), ((12),46), ((44),47), ((-32),48), ((8),49)], (-221)), ("GEQ", [((109),0), ((-7),1), ((-37),2), ((52),3), ((119),4), ((-62),5), ((88),6), ((-58),7), ((29),8), ((48),9), ((2),10), ((16),11), ((-16),12), ((-102),13), ((51),14), ((31),15), ((-26),16), ((-56),17), ((36),18), ((22),19), ((-6),20), ((13),21), ((51),22), ((19),23), ((12),24), ((63),25), ((36),26), ((82),27), ((21),28), ((-37),29), ((-13),30), ((19),31), ((-49),32), ((36),33), ((10),34), ((-27),35), ((23),36), ((-61),37), ((21),38), ((-28),39), ((43),40), ((92),41), ((39),42), ((-74),43), ((67),44), ((17),45), ((-25),46), ((54),47), ((-53),48), ((-1),49)], (-1885))]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49]
[0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49]