[("GEQ", [((-1),2), ((1),4), ((1),5), ((2),7), ((-2),10), ((-2),11), ((-1),13), ((-2),14), ((-2),15), ((-2),16), ((1),18), ((1),19), ((2),21), ((-2),23), ((-2),25), ((-1),27), ((-1),31), ((1),34), ((1),35), ((2),41), ((-1),42), ((-1),44), ((-2),45), ((-1),47), ((-2),48)], (53)), ("GEQ", [((2),0), ((-1),2), ((2),3), ((2),5), ((2),7), ((-2),12), ((2),14), ((1),15), ((1),18), ((-2),19), ((-2),21), ((-1),23), ((2),24), ((-1),25), ((2),26), ((2),28), ((-2),29), ((1),33), ((2),36), ((-1),38), ((-1),41), ((1),45), ((1),48)], (-28)), ("GEQ", [((1),0), ((-1),2), ((-1),7), ((1),8), ((1),11), ((1),14), ((1),16), ((1),17), ((2),18), ((-2),19), ((1),23), ((-1),24), ((-1),25), ((2),27), ((-1),28), ((-1),31), ((2),34), ((-2),35), ((-1),36), ((1),38), ((-2),39), ((-1),43), ((2),44), ((2),47), ((2),48)], (-41)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((-1),4), ((1),5), ((2),6), ((-2),8), ((-1),9), ((-2),10), ((1),11), ((2),14), ((1),15), ((-2),20), ((-2),21), ((1),22), ((1),28), ((-2),32), ((-2),33), ((-1),34), ((-2),40), ((-2),41), ((-2),42), ((-2),44), ((1),45), ((-2),46), ((-1),47), ((2),48), ((-2),49)], (12)), ("GEQ", [((2),3), ((1),4), ((2),6), ((1),8), ((2),11), ((1),12), ((1),13), ((-1),14), ((1),16), ((-2),17), ((-2),19), ((2),20), ((-1),21), ((1),24), ((2),26), ((1),28), ((-2),30), ((-2),32), ((1),34), ((1),35), ((-2),36), ((1),38), ((-2),39), ((-2),40), ((-2),41), ((1),42), ((-2),44), ((-2),45), ((2),47), ((-2),48), ((-2),49)], (8)), ("GEQ", [((2),0), ((-1),2), ((-2),7), ((2),9), ((-1),12), ((-2),13), ((2),14), ((-1),15), ((-2),16), ((-2),20), ((1),23), ((1),24), ((2),29), ((-1),30), ((2),31), ((1),32), ((-2),33), ((-2),36), ((-2),37), ((-1),39), ((2),41), ((1),42), ((2),43), ((1),45), ((-1),46), ((1),48)], (27)), ("GEQ", [((-2),1), ((1),3), ((-2),4), ((2),6), ((-2),8), ((-2),9), ((-1),11), ((-1),12), ((2),13), ((1),19), ((-2),20), ((-2),22), ((-1),25), ((2),26), ((1),27), ((-1),28), ((1),29), ((1),33), ((-2),37), ((2),38), ((2),39), ((-2),40), ((-1),42), ((-2),43), ((-2),46), ((1),48), ((2),49)], (12)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((2),4), ((-1),5), ((2),7), ((-2),9), ((2),10), ((2),11), ((1),13), ((2),14), ((-2),15), ((-1),17), ((-1),21), ((2),22), ((2),25), ((-1),26), ((-1),27), ((2),28), ((1),29), ((2),30), ((2),31), ((-2),33), ((-1),34), ((-2),35), ((2),36), ((1),37), ((-1),38), ((-1),44), ((-1),46), ((1),48), ((1),49)], (-45)), ("GEQ", [((1),0), ((2),1), ((1),3), ((-2),11), ((2),14), ((2),15), ((1),16), ((1),17), ((1),18), ((-1),19), ((2),20), ((1),22), ((2),24), ((2),25), ((-1),26), ((-1),27), ((2),28), ((1),32), ((-1),33), ((1),35), ((2),38), ((1),39), ((2),40), ((2),41), ((-1),42), ((1),46), ((1),47), ((1),48)], (-31)), ("GEQ", [((-1),1), ((1),4), ((2),6), ((-1),7), ((1),10), ((2),11), ((-2),12), ((-1),16), ((1),18), ((1),19), ((2),20), ((1),21), ((-1),22), ((-2),23), ((2),24), ((1),25), ((-2),26), ((-1),28), ((2),29), ((-2),30), ((-2),31), ((-1),32), ((1),35), ((-2),38), ((2),39), ((-1),40), ((-2),41), ((-2),42), ((2),47), ((-1),48), ((2),49)], (17)), ("GEQ", [((2),0), ((1),2), ((1),5), ((-1),7), ((1),8), ((-2),9), ((-2),11), ((-1),13), ((-1),14), ((-2),16), ((-1),18), ((2),21), ((-2),25), ((-2),27), ((-2),29), ((-2),30), ((2),32), ((-1),33), ((1),34), ((-1),35), ((1),36), ((2),37), ((-1),38), ((-2),42), ((1),43), ((1),47), ((2),49)], (27)), ("GEQ", [((-2),0), ((2),2), ((-2),3), ((-2),4), ((-2),5), ((2),6), ((-1),7), ((2),9), ((2),10), ((1),17), ((2),18), ((2),20), ((-1),23), ((-2),24), ((2),25), ((-1),26), ((2),28), ((2),29), ((2),30), ((-1),31), ((2),33), ((-2),34), ((-1),37), ((-1),38), ((1),39), ((2),40), ((-1),41), ((1),42), ((1),44)], (-17)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((1),6), ((-1),7), ((2),8), ((1),9), ((1),11), ((-1),12), ((-1),13), ((2),14), ((-1),15), ((2),16), ((-2),17), ((2),20), ((-2),22), ((-1),23), ((1),24), ((-2),27), ((1),29), ((-2),30), ((-2),31), ((-1),32), ((-2),33), ((-1),34), ((-1),37), ((2),38), ((2),39), ((-2),40), ((-2),41), ((-2),44), ((-1),48)], (20)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((2),5), ((-1),6), ((-1),7), ((1),8), ((1),10), ((1),12), ((-2),13), ((-2),14), ((1),17), ((-2),19), ((1),21), ((-1),24), ((-1),27), ((2),29), ((-1),30), ((1),31), ((2),36), ((2),37), ((1),40), ((2),41), ((-2),44), ((-2),45), ((2),47), ((2),49)], (8)), ("GEQ", [((-1),1), ((1),4), ((1),5), ((2),6), ((-1),7), ((2),9), ((-2),10), ((2),11), ((-1),15), ((-1),16), ((2),17), ((1),19), ((-2),22), ((2),23), ((1),24), ((-1),25), ((1),27), ((-2),29), ((2),31), ((-2),34), ((2),35), ((-1),36), ((-2),37), ((2),41), ((1),43), ((1),44), ((-1),45), ((-1),46), ((2),47), ((1),48)], (20)), ("GEQ", [((1),0), ((1),2), ((-2),3), ((-1),4), ((-2),5), ((1),6), ((-2),8), ((-1),9), ((-2),11), ((-1),12), ((-1),13), ((-2),16), ((-1),18), ((2),19), ((2),20), ((2),21), ((-2),22), ((-2),25), ((1),27), ((-2),30), ((-1),31), ((-1),32), ((-2),33), ((1),37), ((2),38), ((2),39), ((1),40), ((-2),42), ((1),43), ((2),44), ((-2),46), ((-1),48), ((-1),49)], (59)), ("GEQ", [((1),0), ((-2),2), ((-2),4), ((1),7), ((-2),8), ((2),13), ((1),14), ((1),15), ((-2),16), ((-2),17), ((1),18), ((1),19), ((1),21), ((1),22), ((1),23), ((-1),25), ((2),26), ((-2),27), ((1),28), ((2),29), ((1),32), ((2),34), ((1),35), ((2),36), ((1),38), ((-2),39), ((-2),40), ((-2),42), ((-1),44), ((-2),45), ((2),46), ((1),47)], (16)), ("GEQ", [((-1),1), ((-1),3), ((-1),5), ((-2),8), ((2),10), ((-2),11), ((-2),12), ((-2),13), ((1),14), ((2),18), ((-1),19), ((1),20), ((-2),29), ((1),31), ((2),32), ((-1),35), ((-1),36), ((2),37), ((-1),38), ((1),42), ((1),44), ((2),45), ((-1),46), ((-2),47), ((-2),49)], (24)), ("GEQ", [((-1),0), ((1),4), ((1),5), ((-1),7), ((1),8), ((-2),9), ((-2),10), ((-1),12), ((2),13), ((1),15), ((1),16), ((1),17), ((2),20), ((-2),25), ((2),26), ((1),30), ((1),32), ((-1),34), ((1),35), ((-1),36), ((1),39), ((1),40), ((-1),41), ((-1),44), ((2),46), ((-1),47), ((2),49)], (2)), ("GEQ", [((-1),2), ((-1),3), ((-1),4), ((2),7), ((1),8), ((-2),11), ((1),12), ((1),13), ((1),14), ((-1),17), ((-2),19), ((2),20), ((-2),21), ((1),22), ((2),23), ((2),24), ((-1),27), ((-1),32), ((-1),34), ((-1),35), ((-1),36), ((2),37), ((2),39), ((-1),40), ((-2),41), ((1),43), ((-1),45), ((1),47), ((-2),48)], (-21)), ("GEQ", [((1),3), ((-1),7), ((1),8), ((-1),9), ((1),10), ((2),13), ((1),15), ((1),17), ((-2),18), ((1),19), ((-2),20), ((1),21), ((2),23), ((2),24), ((2),26), ((-1),27), ((-1),28), ((-1),29), ((-2),34), ((1),35), ((1),37), ((-1),40), ((-1),41), ((-2),42), ((-2),43), ((-1),45), ((-1),46), ((2),48), ((1),49)], (-10)), ("GEQ", [((1),0), ((2),2), ((2),4), ((1),5), ((1),6), ((2),7), ((1),9), ((-2),14), ((-1),15), ((-1),17), ((-2),18), ((1),21), ((1),22), ((2),23), ((1),26), ((-2),27), ((-1),28), ((-1),29), ((2),30), ((1),32), ((2),34), ((2),37), ((-1),39), ((1),40), ((-2),46), ((-2),47), ((2),49)], (-9)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((1),3), ((2),6), ((1),7), ((2),8), ((2),9), ((-2),10), ((2),13), ((-1),14), ((-1),16), ((-1),18), ((2),19), ((-2),20), ((-1),21), ((2),22), ((2),24), ((1),26), ((-2),28), ((-2),31), ((-1),33), ((-2),34), ((2),36), ((2),37), ((-1),38), ((-2),39), ((2),40), ((2),41), ((-2),42), ((1),44), ((1),45), ((1),46), ((2),47), ((-2),48)], (6)), ("GEQ", [((-2),0), ((2),1), ((-2),4), ((-1),5), ((1),7), ((1),10), ((1),12), ((-2),14), ((-1),15), ((-2),16), ((-1),18), ((-2),20), ((1),21), ((1),22), ((1),23), ((2),24), ((2),25), ((-2),28), ((-2),29), ((2),31), ((-2),32), ((-2),33), ((2),34), ((-2),35), ((-1),36), ((-1),37), ((-1),38), ((1),39), ((-2),40), ((-1),41), ((-2),43), ((2),44), ((-1),45), ((-2),46), ((-2),47), ((-2),49)], (18)), ("GEQ", [((2),1), ((2),2), ((-1),3), ((-1),5), ((-2),8), ((2),9), ((-2),10), ((-2),11), ((-1),12), ((1),13), ((2),15), ((1),16), ((-2),18), ((2),19), ((-2),22), ((-2),25), ((-2),30), ((-1),31), ((-1),34), ((2),35), ((-2),39), ((-2),40), ((-2),42), ((1),44), ((-1),45), ((-2),46), ((-1),47), ((2),49)], (34)), ("GEQ", [((1),2), ((1),3), ((1),5), ((-1),8), ((2),11), ((-1),15), ((1),17), ((-1),18), ((1),23), ((2),25), ((-2),26), ((-1),28), ((-1),30), ((-2),31), ((1),33), ((2),35), ((-1),36), ((-1),38), ((-1),40), ((2),41), ((2),42), ((2),43), ((-2),44), ((-2),47), ((2),48), ((-1),49)], (-4)), ("GEQ", [((-1),1), ((1),3), ((1),4), ((1),5), ((2),10), ((-2),11), ((2),14), ((1),15), ((-2),16), ((2),17), ((2),20), ((2),21), ((1),24), ((2),29), ((-2),30), ((1),32), ((-1),35), ((1),36), ((2),37), ((1),40), ((2),43), ((2),44), ((2),47)], (-7)), ("GEQ", [((-2),1), ((1),3), ((-1),6), ((-2),8), ((1),9), ((2),10), ((2),11), ((1),12), ((1),13), ((2),15), ((-2),16), ((-2),17), ((1),19), ((1),20), ((-1),22), ((-2),24), ((-1),25), ((1),26), ((2),27), ((-2),28), ((2),31), ((-1),32), ((-2),35), ((2),37), ((-2),38), ((2),41), ((1),42), ((-1),43), ((-2),45), ((-2),46), ((2),47), ((-1),48)], (9)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((2),3), ((-2),4), ((2),5), ((1),7), ((-1),8), ((1),9), ((-2),11), ((2),13), ((-1),16), ((1),20), ((-1),21), ((1),22), ((-2),24), ((1),25), ((2),26), ((-1),27), ((-2),28), ((1),30), ((-1),33), ((2),34), ((-1),36), ((1),37), ((1),38), ((2),39), ((-1),42), ((2),43), ((1),44), ((-2),45), ((1),46), ((2),47), ((-1),48), ((-1),49)], (-5)), ("GEQ", [((-1),0), ((1),3), ((-2),5), ((2),6), ((-1),7), ((-1),8), ((1),9), ((1),11), ((2),12), ((-1),14), ((2),15), ((2),17), ((-2),20), ((-2),22), ((1),23), ((1),25), ((-1),26), ((-2),27), ((-2),28), ((-1),29), ((-1),30), ((-2),31), ((-1),34), ((1),35), ((2),36), ((-1),41), ((2),43), ((2),44), ((-1),45), ((-2),47), ((-1),48)], (9)), ("GEQ", [((1),1), ((1),2), ((-1),4), ((-1),6), ((1),9), ((2),11), ((-1),12), ((1),13), ((1),15), ((2),18), ((1),19), ((-2),20), ((-2),21), ((1),22), ((2),23), ((1),24), ((1),25), ((1),27), ((1),28), ((-2),30), ((1),31), ((-2),32), ((-2),33), ((-2),34), ((1),35), ((-1),36), ((-1),38), ((2),39), ((2),43), ((-2),45), ((-1),46), ((2),47)], (-38)), ("GEQ", [((-2),2), ((-1),4), ((-2),5), ((2),6), ((2),8), ((2),9), ((1),10), ((-2),12), ((2),13), ((-1),15), ((-1),16), ((2),17), ((1),18), ((-1),19), ((-2),20), ((-2),21), ((-2),22), ((-2),26), ((-1),27), ((2),28), ((2),29), ((2),30), ((1),31), ((1),33), ((-1),35), ((2),37), ((-2),40), ((-2),42), ((1),43), ((-1),44), ((-2),46), ((-2),47)], (5)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((2),5), ((-2),7), ((1),8), ((-2),10), ((-1),12), ((2),14), ((-2),17), ((-1),18), ((-1),19), ((-1),24), ((-1),28), ((-2),29), ((-2),33), ((2),34), ((2),36), ((2),37), ((-1),39), ((1),42), ((1),43), ((2),44), ((2),46)], (7)), ("GEQ", [((-1),1), ((2),2), ((2),4), ((-2),5), ((-2),6), ((-2),8), ((-1),10), ((-1),15), ((-2),16), ((-1),18), ((-2),20), ((2),21), ((-1),22), ((-2),24), ((-1),27), ((2),28), ((1),29), ((1),30), ((-1),31), ((2),32), ((-2),34), ((-1),35), ((-1),36), ((-2),40), ((2),41), ((2),42), ((2),43), ((1),46), ((-1),48)], (21)), ("GEQ", [((-1),1), ((-1),2), ((-1),3), ((-1),4), ((1),5), ((1),6), ((-2),7), ((-1),8), ((2),9), ((1),10), ((1),11), ((-2),12), ((1),13), ((2),16), ((-2),17), ((-1),18), ((-2),21), ((2),22), ((-1),24), ((2),25), ((-1),26), ((-1),28), ((-2),29), ((1),31), ((1),32), ((-2),33), ((1),34), ((-2),35), ((2),37), ((2),38), ((-1),41), ((1),43), ((-1),44), ((2),46), ((2),47), ((-2),49)], (-18)), ("GEQ", [((-1),2), ((-1),3), ((2),4), ((2),5), ((-1),6), ((2),7), ((1),8), ((2),10), ((-2),12), ((1),15), ((-1),17), ((2),21), ((-2),23), ((-1),24), ((2),25), ((2),26), ((-1),27), ((-2),28), ((-2),29), ((1),30), ((-1),31), ((-2),33), ((-2),34), ((2),35), ((2),37), ((-2),41), ((1),44), ((2),45), ((2),48), ((1),49)], (-25)), ("GEQ", [((1),0), ((-2),1), ((-1),4), ((-1),5), ((-1),10), ((-2),14), ((1),15), ((-2),17), ((2),18), ((1),21), ((1),25), ((-2),27), ((-1),28), ((-1),31), ((2),32), ((-2),33), ((2),36), ((-1),37), ((-2),39), ((-1),40), ((-2),41), ((-2),42), ((1),46), ((-2),47), ((1),49)], (31)), ("GEQ", [((-2),1), ((-1),4), ((-2),10), ((-2),12), ((-1),13), ((1),16), ((2),19), ((-2),21), ((1),23), ((2),26), ((-2),28), ((1),29), ((-1),32), ((1),34), ((-2),36), ((1),40), ((-2),42), ((1),44), ((-2),45), ((2),48), ((1),49)], (17)), ("GEQ", [((2),0), ((1),2), ((2),3), ((-2),9), ((-1),10), ((1),12), ((1),14), ((-1),15), ((1),16), ((1),19), ((1),20), ((-1),22), ((1),26), ((1),27), ((1),29), ((-2),30), ((2),31), ((2),32), ((2),35), ((-2),38), ((-1),41), ((-2),43), ((1),45), ((-1),46), ((1),47), ((1),48), ((-2),49)], (16)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((-2),4), ((-1),5), ((2),6), ((2),8), ((-2),9), ((1),10), ((-1),12), ((1),15), ((2),16), ((-1),17), ((1),20), ((-2),21), ((-1),22), ((2),23), ((1),24), ((-1),25), ((1),26), ((-1),27), ((-2),29), ((-1),33), ((2),35), ((-1),36), ((-2),37), ((2),38), ((-1),39), ((2),40), ((2),41), ((-1),43), ((-1),44), ((-1),48)], (19)), ("GEQ", [((2),0), ((2),1), ((1),3), ((2),5), ((-2),6), ((-1),8), ((-2),9), ((1),10), ((-1),11), ((-1),12), ((2),13), ((2),16), ((-2),18), ((1),19), ((2),23), ((-2),26), ((2),27), ((2),29), ((1),30), ((1),33), ((1),34), ((1),36), ((-1),37), ((2),39), ((-2),41), ((1),42), ((2),45), ((2),47)], (-68)), ("GEQ", [((2),0), ((2),1), ((1),4), ((2),8), ((-2),9), ((-2),12), ((1),13), ((2),14), ((-1),15), ((2),16), ((1),17), ((-2),20), ((1),21), ((1),23), ((-2),25), ((2),26), ((1),27), ((-1),28), ((1),29), ((2),30), ((-1),31), ((1),33), ((-2),34), ((-2),35), ((-2),36), ((-1),38), ((-1),39), ((-1),40), ((2),43), ((1),44), ((-2),45), ((-1),46), ((-2),47)], (-25)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),3), ((-1),5), ((1),8), ((1),9), ((1),12), ((1),13), ((1),15), ((-2),16), ((2),17), ((-2),18), ((1),19), ((2),20), ((-2),21), ((-1),23), ((2),25), ((2),28), ((1),30), ((-2),31), ((-1),32), ((1),33), ((2),35), ((1),37), ((-1),38), ((-2),39), ((-2),40), ((-1),41), ((2),42), ((-2),43), ((-2),45), ((-1),46), ((-1),49)], (9)), ("GEQ", [((-1),1), ((1),2), ((2),3), ((-1),5), ((-1),6), ((2),7), ((2),8), ((-2),9), ((2),10), ((-1),11), ((-1),13), ((-1),14), ((1),15), ((-2),17), ((2),18), ((1),19), ((-2),20), ((1),21), ((-2),22), ((-2),23), ((-2),25), ((-1),26), ((1),28), ((-2),29), ((2),30), ((1),31), ((1),33), ((2),34), ((-2),35), ((1),36), ((1),37), ((-2),38), ((1),39), ((1),40), ((2),41), ((-2),42), ((-1),43), ((-2),44), ((1),48)], (-16)), ("GEQ", [((-1),1), ((-2),3), ((2),4), ((-2),5), ((-2),8), ((2),9), ((-2),10), ((2),11), ((-2),12), ((-2),14), ((1),16), ((-1),17), ((-2),18), ((-2),21), ((-2),23), ((-2),24), ((1),25), ((-1),26), ((2),29), ((-2),31), ((-1),32), ((2),33), ((2),34), ((2),38), ((2),39), ((1),42), ((2),45), ((-1),48), ((-1),49)], (-3)), ("GEQ", [((-2),1), ((2),5), ((-1),6), ((-1),7), ((-2),8), ((2),10), ((2),11), ((1),12), ((-1),13), ((2),14), ((1),15), ((-1),17), ((-1),18), ((2),19), ((-1),20), ((-1),21), ((-2),22), ((2),24), ((-2),25), ((-2),27), ((-1),28), ((-1),29), ((-1),30), ((2),31), ((-1),32), ((1),33), ((-1),34), ((-2),38), ((1),39), ((2),40), ((-2),45), ((2),46), ((1),47)], (26)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((-2),4), ((-1),5), ((1),6), ((2),8), ((1),9), ((1),10), ((2),11), ((-1),12), ((-1),13), ((1),14), ((2),15), ((2),17), ((-1),18), ((-2),19), ((-1),22), ((2),23), ((1),24), ((1),25), ((-2),30), ((-1),31), ((-1),32), ((2),35), ((-1),36), ((1),37), ((1),41), ((-1),42), ((-2),43), ((-1),44), ((-2),45), ((-1),46), ((1),47), ((1),48), ((1),49)], (-2)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),4), ((1),5), ((-2),6), ((-1),7), ((1),8), ((-2),9), ((1),10), ((-1),11), ((-2),12), ((-1),14), ((-1),17), ((-1),18), ((-1),19), ((-2),21), ((-2),23), ((-2),24), ((-2),26), ((-2),27), ((-1),28), ((1),30), ((1),33), ((-1),37), ((2),39), ((-1),40), ((2),43), ((1),45), ((-2),48)], (7)), ("GEQ", [((2),2), ((1),3), ((-1),4), ((2),5), ((-1),7), ((2),8), ((2),10), ((1),11), ((-2),14), ((1),17), ((2),18), ((-2),19), ((-2),21), ((-2),22), ((-2),23), ((-1),24), ((-1),25), ((-1),26), ((-1),28), ((-1),29), ((1),30), ((-2),31), ((-2),32), ((2),34), ((-2),35), ((-1),39), ((2),40), ((2),41), ((-2),45)], (-10)), ("GEQ", [((-30),0), ((5),1), ((-11),2), ((-2),3), ((-9),4), ((-5),5), ((-5),6), ((-18),7), ((9),8), ((13),9), ((-9),10), ((5),11), ((40),12), ((-29),13), ((-23),14), ((-19),15), ((5),16), ((24),17), ((17),18), ((-6),19), ((-12),20), ((23),21), ((-5),22), ((-16),23), ((-15),24), ((-8),25), ((-16),26), ((31),27), ((4),28), ((-5),29), ((11),30), ((12),31), ((6),32), ((29),33), ((9),34), ((-5),35), ((2),36), ((-49),37), ((10),38), ((1),39), ((32),40), ((3),41), ((18),42), ((-29),43), ((2),44), ((39),45), ((20),46), ((-17),47), ((10),48), ((6),49)], (-109)), ("GEQ", [((49),0), ((10),1), ((26),2), ((-15),3), ((35),4), ((4),5), ((-18),6), ((30),7), ((-25),8), ((-10),9), ((-13),10), ((-16),11), ((-55),12), ((28),13), ((30),14), ((-2),15), ((11),16), ((-30),17), ((-30),18), ((-3),19), ((29),20), ((-59),21), ((20),22), ((10),23), ((3),24), ((7),25), ((8),26), ((-28),27), ((12),28), ((28),29), ((-24),30), ((-19),31), ((-10),32), ((-22),33), ((-32),34), ((5),35), ((-19),36), ((62),37), ((-13),38), ((-8),39), ((-53),40), ((3),41), ((-1),42), ((73),43), ((-10),44), ((-39),45), ((-28),46), ((17),47), ((-36),48), ((-35),49)], (195)), ("GEQ", [((-75),0), ((-21),1), ((-31),2), ((50),3), ((-57),4), ((7),5), ((34),6), ((-21),7), ((29),8), ((-22),9), ((87),10), ((24),11), ((70),12), ((14),13), ((-18),14), ((65),15), ((-46),16), ((-10),17), ((19),18), ((24),19), ((-28),20), ((123),21), ((-16),22), ((11),23), ((27),24), ((27),25), ((21),26), ((-8),27), ((-46),28), ((-56),29), ((33),30), ((22),31), ((4),32), ((-25),33), ((71),34), ((-3),35), ((67),36), ((-15),37), ((-3),38), ((4),39), ((44),40), ((-24),41), ((-17),42), ((-126),43), ((19),44), ((-3),45), ((38),46), ((5),47), ((56),48), ((62),49)], (-530)), ("GEQ", [((30),0), ((-17),1), ((2),2), ((-19),3), ((3),4), ((-2),5), ((-3),6), ((24),7), ((-9),8), ((-22),9), ((-16),10), ((-17),11), ((-16),12), ((20),13), ((-1),14), ((3),15), ((-11),16), ((-2),17), ((-7),18), ((16),19), ((-4),20), ((-24),21), ((15),22), ((3),23), ((9),24), ((-14),25), ((18),26), ((-19),27), ((-5),28), ((4),29), ((25),30), ((-4),31), ((12),32), ((3),33), ((-4),34), ((-12),35), ((3),36), ((12),37), ((2),38), ((16),39), ((6),40), ((-6),41), ((-32),42), ((-3),43), ((8),44), ((-1),45), ((-9),46), ((-10),47), ((-1),48), ((18),49)], (83)), ("GEQ", [((-174),0), ((40),1), ((-56),2), ((86),3), ((-59),4), ((23),5), ((6),6), ((-108),7), ((52),8), ((47),9), ((72),10), ((56),11), ((169),12), ((-98),13), ((-71),14), ((-6),15), ((8),16), ((27),17), ((53),18), ((-46),19), ((-33),20), ((185),21), ((-44),22), ((-36),23), ((-47),24), ((24),25), ((-57),26), ((125),27), ((-11),28), ((-63),29), ((-22),30), ((77),31), ((-21),32), ((35),33), ((100),34), ((4),35), ((37),36), ((-134),37), ((15),38), ((-28),39), ((63),40), ((-9),41), ((111),42), ((-134),43), ((-14),44), ((88),45), ((77),46), ((7),47), ((50),48), ((-12),49)], (-832)), ("GEQ", [((-28),0), ((66),1), ((-15),2), ((-34),3), ((10),4), ((-29),5), ((-27),6), ((-49),7), ((9),8), ((72),9), ((-125),10), ((-31),11), ((29),12), ((-108),13), ((-26),14), ((-137),15), ((85),16), ((105),17), ((53),18), ((-56),19), ((-8),20), ((-40),21), ((-20),22), ((-43),23), ((-65),24), ((-59),25), ((-70),26), ((121),27), ((91),28), ((35),29), ((1),30), ((34),31), ((39),32), ((118),33), ((-53),34), ((5),35), ((-85),36), ((-175),37), ((56),38), ((5),39), ((49),40), ((47),41), ((83),42), ((43),43), ((-15),44), ((140),45), ((25),46), ((-63),47), ((-20),48), ((-44),49)], (138))]
[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]