[("GEQ", [((-2),1), ((-2),2), ((-2),3), ((-2),6), ((-2),7), ((-2),9), ((1),10), ((2),11), ((-1),13), ((2),14), ((2),15), ((-2),20), ((-2),22), ((2),26), ((1),27), ((-1),28), ((2),30), ((-1),31), ((-2),32), ((-1),36), ((2),38), ((1),39), ((1),44), ((1),45), ((-2),48)], (-5)), ("GEQ", [((-2),0), ((-2),4), ((-2),5), ((-2),7), ((-1),12), ((-1),13), ((-2),16), ((1),18), ((2),20), ((-1),22), ((2),23), ((1),24), ((2),26), ((-2),27), ((2),29), ((-1),33), ((-1),34), ((-1),36), ((-2),39), ((2),40), ((2),43), ((1),44), ((-2),46), ((-1),48), ((-1),49)], (21)), ("GEQ", [((2),0), ((1),2), ((2),3), ((-2),4), ((-2),6), ((-2),7), ((-1),8), ((-2),13), ((-1),14), ((-1),16), ((-1),18), ((1),19), ((-1),22), ((-2),23), ((1),24), ((2),27), ((-2),28), ((-2),29), ((-2),30), ((-2),31), ((1),32), ((-1),33), ((-1),34), ((-2),38), ((1),40), ((1),41), ((-1),42), ((-1),44), ((-2),47), ((-1),49)], (51)), ("GEQ", [((-2),0), ((2),1), ((-2),5), ((2),6), ((1),7), ((-2),8), ((2),9), ((-2),10), ((-1),12), ((1),14), ((-1),15), ((-2),16), ((2),21), ((-1),22), ((-2),25), ((-1),28), ((-1),31), ((-1),32), ((-1),33), ((2),34), ((-2),35), ((1),37), ((-1),39), ((-1),40), ((2),41), ((1),42), ((2),43), ((-1),44), ((2),45), ((-1),46), ((-1),48)], (-35)), ("GEQ", [((2),0), ((-1),3), ((2),5), ((-2),8), ((-1),10), ((-2),13), ((-1),15), ((-2),20), ((2),22), ((-2),23), ((1),24), ((-1),25), ((1),26), ((-1),29), ((2),30), ((1),31), ((2),32), ((-2),36), ((2),37), ((2),38), ((-1),39), ((-2),40), ((-1),41), ((1),43), ((-2),47)], (23)), ("GEQ", [((-2),2), ((-1),4), ((-2),5), ((-1),7), ((1),8), ((-2),9), ((2),10), ((-1),12), ((1),13), ((1),17), ((2),18), ((-1),20), ((2),21), ((-2),24), ((-1),25), ((-2),26), ((-1),27), ((1),28), ((1),32), ((1),33), ((-1),34), ((-1),35), ((-2),37), ((1),40), ((2),42), ((-1),43), ((2),44), ((-1),45), ((-2),46), ((1),48), ((1),49)], (0)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((1),5), ((1),7), ((1),8), ((1),11), ((1),15), ((2),16), ((-1),17), ((-1),18), ((1),19), ((1),20), ((-2),21), ((-2),23), ((-2),25), ((1),26), ((1),27), ((-2),29), ((1),33), ((-1),35), ((-2),39), ((-1),40), ((2),42), ((-1),43), ((-1),44), ((2),45), ((-1),48)], (6)), ("GEQ", [((1),0), ((2),1), ((2),2), ((1),3), ((-1),8), ((-2),11), ((1),12), ((2),13), ((-1),15), ((-2),17), ((1),18), ((-1),20), ((-2),21), ((-2),22), ((1),23), ((-1),27), ((2),28), ((-1),29), ((2),30), ((2),31), ((2),34), ((1),36), ((-2),39), ((-1),40), ((1),42), ((1),43), ((-1),44), ((2),46), ((-2),47), ((-1),49)], (-5)), ("GEQ", [((-2),0), ((-2),3), ((1),4), ((1),5), ((1),7), ((2),9), ((-2),10), ((-1),12), ((2),13), ((2),14), ((1),16), ((2),17), ((-2),20), ((2),21), ((1),22), ((2),23), ((-1),24), ((-2),28), ((1),32), ((2),34), ((1),39), ((2),41), ((2),42), ((-2),45), ((1),46), ((1),48), ((-1),49)], (-38)), ("GEQ", [((1),3), ((1),6), ((1),7), ((1),8), ((2),9), ((-2),11), ((1),16), ((-2),18), ((-2),19), ((2),22), ((2),23), ((-2),24), ((2),25), ((1),27), ((-2),28), ((1),34), ((-1),35), ((-2),36), ((2),39), ((-1),40), ((1),43), ((-2),49)], (-9)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((2),3), ((1),4), ((-1),5), ((1),7), ((-2),9), ((2),10), ((-1),12), ((1),16), ((-2),17), ((-1),22), ((-1),24), ((-2),26), ((-1),28), ((-2),29), ((-1),30), ((-2),31), ((1),32), ((1),33), ((1),34), ((1),36), ((1),37), ((-1),40), ((1),41), ((2),43), ((2),44), ((1),45), ((-1),46), ((-1),47), ((1),48), ((-2),49)], (21)), ("GEQ", [((-1),0), ((2),4), ((1),6), ((-2),7), ((-2),8), ((-1),10), ((-2),12), ((1),14), ((-2),17), ((-1),18), ((-2),19), ((2),20), ((-1),21), ((1),23), ((-2),25), ((-1),26), ((-1),30), ((-1),31), ((-2),32), ((1),33), ((1),35), ((-1),36), ((-1),40), ((-1),41), ((-2),45), ((1),47), ((-1),48), ((2),49)], (-40)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((-2),4), ((-1),6), ((2),7), ((2),9), ((-1),11), ((2),13), ((-1),14), ((-2),15), ((1),19), ((1),21), ((1),23), ((2),24), ((-2),25), ((2),26), ((2),27), ((2),30), ((2),31), ((2),32), ((1),34), ((1),35), ((2),37), ((-1),39), ((1),40), ((2),41), ((1),42), ((-2),44), ((-1),48), ((-2),49)], (16)), ("GEQ", [((-1),1), ((-2),5), ((2),6), ((1),7), ((-2),8), ((2),12), ((1),13), ((-2),14), ((-1),15), ((-1),17), ((-1),18), ((1),20), ((2),22), ((-2),23), ((1),27), ((1),28), ((1),29), ((-2),31), ((1),33), ((-2),34), ((1),35), ((1),36), ((-2),38), ((-2),40), ((-2),41), ((-2),42), ((-2),45), ((1),47), ((2),49)], (-6)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((1),4), ((-2),5), ((2),6), ((1),8), ((2),11), ((-1),12), ((-2),13), ((-1),14), ((2),16), ((2),19), ((1),20), ((-1),21), ((-1),22), ((-2),25), ((-2),26), ((1),27), ((-1),28), ((-2),29), ((2),31), ((-1),32), ((1),33), ((2),35), ((1),37), ((-2),41), ((2),43), ((1),44), ((-2),46)], (13)), ("GEQ", [((1),2), ((-2),3), ((-1),5), ((-1),6), ((1),10), ((1),12), ((1),13), ((2),15), ((1),18), ((2),19), ((-1),20), ((1),22), ((1),23), ((-2),28), ((-1),29), ((2),30), ((-2),31), ((2),33), ((2),34), ((2),35), ((-2),37), ((-1),38), ((1),40), ((2),41), ((1),43), ((-1),44), ((-1),45), ((1),46), ((2),47)], (-6)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((2),3), ((2),7), ((-2),9), ((1),11), ((-2),12), ((-2),13), ((-1),14), ((1),15), ((2),17), ((-1),19), ((2),20), ((2),22), ((2),24), ((2),25), ((1),27), ((2),29), ((1),30), ((-2),31), ((2),37), ((-2),39), ((2),41), ((2),45), ((2),48), ((-2),49)], (2)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((1),6), ((-2),7), ((-1),9), ((1),12), ((2),13), ((-1),14), ((2),15), ((-2),16), ((-1),17), ((-2),19), ((2),22), ((-1),23), ((-2),25), ((1),26), ((-2),29), ((2),30), ((-1),33), ((-2),34), ((2),35), ((2),38), ((1),41), ((-1),43), ((-2),46), ((2),47), ((-1),49)], (4)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-1),4), ((-2),6), ((1),7), ((-1),8), ((1),9), ((-2),10), ((1),11), ((-2),12), ((1),13), ((-1),15), ((-2),16), ((-2),17), ((1),19), ((-2),20), ((1),21), ((2),22), ((-2),23), ((2),24), ((2),25), ((-2),27), ((-1),28), ((-1),29), ((1),32), ((1),33), ((-2),35), ((1),37), ((2),38), ((-2),39), ((2),43), ((-1),44), ((1),45), ((-2),46), ((2),47), ((-1),49)], (-8)), ("GEQ", [((2),0), ((2),4), ((-2),6), ((-2),7), ((-1),8), ((-2),9), ((2),11), ((-2),12), ((-2),13), ((1),14), ((2),16), ((-2),18), ((-1),19), ((-1),20), ((-1),25), ((1),26), ((1),27), ((1),28), ((-2),29), ((2),34), ((-2),35), ((1),36), ((2),37), ((1),38), ((-2),39), ((-1),42), ((-1),43), ((-2),44), ((-2),46), ((-2),47), ((-2),48)], (1)), ("GEQ", [((-1),1), ((1),2), ((-1),3), ((2),4), ((1),5), ((-1),8), ((2),9), ((-1),10), ((-1),11), ((2),14), ((-2),15), ((1),16), ((-2),18), ((-2),20), ((-1),21), ((-2),22), ((2),23), ((-1),25), ((2),26), ((2),27), ((-1),28), ((-2),29), ((-2),30), ((1),33), ((1),35), ((2),39), ((1),40), ((1),43), ((2),45), ((2),48)], (7)), ("GEQ", [((-1),0), ((-1),4), ((2),5), ((2),6), ((-1),7), ((-1),9), ((1),10), ((-2),12), ((-2),14), ((-2),18), ((-1),21), ((-2),22), ((1),24), ((2),27), ((1),29), ((1),30), ((1),31), ((-2),32), ((-1),33), ((-2),37), ((-2),42), ((-2),45), ((1),46), ((2),47), ((-1),49)], (-3)), ("GEQ", [((-1),2), ((-2),5), ((1),6), ((2),7), ((1),8), ((2),9), ((1),10), ((1),11), ((-2),13), ((-2),15), ((-1),16), ((-1),18), ((-1),19), ((2),20), ((1),21), ((1),22), ((2),26), ((-1),27), ((-1),29), ((-2),30), ((1),31), ((-1),36), ((-1),37), ((-1),38), ((-1),39), ((-1),40), ((-1),42), ((2),43), ((-2),44), ((-2),45), ((-2),46), ((-2),47), ((-2),49)], (22)), ("GEQ", [((1),1), ((2),2), ((1),3), ((2),4), ((2),5), ((2),6), ((-1),8), ((1),11), ((2),12), ((-1),16), ((-2),17), ((-1),18), ((1),19), ((-1),20), ((2),22), ((-1),23), ((2),25), ((1),27), ((-1),28), ((-1),29), ((-1),32), ((-2),34), ((2),37), ((2),38), ((1),40), ((1),41), ((2),42), ((1),44), ((-2),45), ((1),46), ((-1),47)], (-8)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((-1),4), ((1),8), ((-1),12), ((-2),13), ((-2),16), ((1),17), ((-2),19), ((2),21), ((2),22), ((1),25), ((2),26), ((-1),27), ((-2),28), ((-1),29), ((-2),31), ((-1),32), ((2),33), ((-1),34), ((2),35), ((-2),37), ((2),38), ((-1),39), ((2),40), ((1),43), ((-2),44), ((2),45), ((2),46), ((1),47), ((-2),48), ((2),49)], (-2)), ("GEQ", [((1),3), ((-1),4), ((-2),5), ((-2),6), ((1),8), ((-2),9), ((-1),11), ((-1),12), ((-2),13), ((-2),14), ((-2),15), ((2),16), ((1),17), ((-1),19), ((-2),23), ((2),24), ((-2),26), ((1),28), ((-2),30), ((-2),31), ((2),33), ((1),37), ((2),39), ((-2),40), ((2),44), ((2),45), ((1),46), ((2),49)], (7)), ("GEQ", [((-2),1), ((1),2), ((1),3), ((-1),4), ((1),6), ((2),10), ((2),11), ((-2),12), ((-2),14), ((1),15), ((-2),17), ((-2),18), ((1),20), ((1),21), ((-2),22), ((2),23), ((2),24), ((-1),26), ((1),27), ((-1),28), ((1),29), ((2),30), ((2),32), ((-1),33), ((1),34), ((-1),36), ((2),38), ((-2),41), ((1),42), ((-1),44), ((-2),48), ((2),49)], (-25)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-2),5), ((2),6), ((2),7), ((-2),8), ((-1),11), ((-1),13), ((-1),16), ((2),17), ((-1),19), ((2),20), ((2),21), ((-1),22), ((-2),23), ((2),27), ((-2),31), ((-1),33), ((2),34), ((-1),35), ((-1),36), ((2),37), ((-2),38), ((-1),39), ((-2),40), ((1),42), ((2),43), ((-2),48)], (-21)), ("GEQ", [((1),4), ((2),5), ((-2),6), ((1),7), ((-1),8), ((-2),10), ((2),11), ((-2),14), ((-1),18), ((-1),21), ((-1),23), ((-1),25), ((1),26), ((-2),30), ((2),32), ((2),33), ((-2),34), ((-1),35), ((2),36), ((-1),38), ((-1),39), ((-2),40), ((1),41), ((-2),42), ((-2),43), ((-2),46), ((1),47)], (18)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((1),5), ((-1),8), ((-2),14), ((2),15), ((1),16), ((-1),17), ((1),18), ((-2),20), ((1),21), ((1),23), ((1),24), ((1),26), ((2),28), ((2),29), ((-2),31), ((-1),32), ((1),34), ((-2),35), ((1),36), ((-2),37), ((-2),38), ((2),39), ((2),41), ((-2),42), ((2),43), ((2),46), ((-1),49)], (-5)), ("GEQ", [((2),0), ((2),1), ((-2),4), ((-1),5), ((2),6), ((-2),7), ((-2),9), ((-1),10), ((-1),11), ((-2),12), ((2),13), ((1),14), ((-1),15), ((2),21), ((-2),23), ((-1),25), ((1),26), ((2),27), ((1),28), ((2),30), ((-2),31), ((2),32), ((-2),34), ((-2),35), ((2),36), ((1),38), ((-1),41), ((-1),42), ((1),43), ((2),44), ((1),45), ((-2),47), ((-2),48)], (24)), ("GEQ", [((-2),8), ((1),9), ((1),11), ((1),12), ((-1),13), ((-1),14), ((2),15), ((1),16), ((2),18), ((-2),19), ((-1),20), ((-2),21), ((-2),25), ((-2),26), ((-1),28), ((-1),29), ((-2),31), ((-2),34), ((1),35), ((2),37), ((-2),38), ((1),39), ((-1),42), ((1),43), ((-1),44), ((1),46), ((-1),47), ((2),48)], (26)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((-1),4), ((-2),6), ((1),9), ((-1),10), ((-2),11), ((2),12), ((-1),13), ((-1),15), ((-1),16), ((1),17), ((2),19), ((1),20), ((1),22), ((2),23), ((-1),24), ((2),25), ((1),28), ((-1),30), ((-2),31), ((-1),33), ((2),35), ((2),36), ((1),37), ((-1),39), ((2),41), ((-1),43), ((2),48)], (12)), ("GEQ", [((1),0), ((2),1), ((1),4), ((-2),6), ((-1),9), ((1),10), ((-1),11), ((-2),12), ((2),13), ((2),14), ((-2),15), ((2),16), ((-1),17), ((-1),18), ((1),19), ((2),21), ((-1),23), ((-2),25), ((-2),26), ((2),28), ((-1),30), ((-1),33), ((2),35), ((2),38), ((-1),39), ((2),40), ((2),41), ((1),44), ((-2),45), ((-1),46), ((-1),47), ((2),49)], (2)), ("GEQ", [((-1),0), ((2),1), ((-2),4), ((1),5), ((-2),7), ((2),10), ((-1),11), ((-2),12), ((-2),18), ((2),19), ((-2),21), ((1),22), ((-1),23), ((1),24), ((-2),25), ((-2),26), ((-2),27), ((-1),28), ((-1),32), ((-2),33), ((-2),34), ((-2),35), ((1),37), ((-2),38), ((1),40), ((-1),41), ((2),43), ((2),44), ((1),46), ((2),47), ((-1),48), ((-1),49)], (37)), ("GEQ", [((-1),2), ((-1),3), ((-2),4), ((-1),5), ((-2),13), ((-2),15), ((-2),17), ((1),19), ((-1),20), ((-1),21), ((1),22), ((-1),24), ((1),26), ((-2),27), ((-1),28), ((-1),32), ((2),35), ((-1),36), ((-1),37), ((2),39), ((2),42), ((-2),43), ((-2),45), ((1),46), ((2),47)], (-3)), ("GEQ", [((-1),0), ((2),3), ((2),4), ((-1),5), ((1),6), ((2),9), ((-1),12), ((1),14), ((-1),15), ((1),16), ((1),17), ((-1),18), ((2),19), ((1),20), ((-2),23), ((-1),24), ((2),25), ((2),26), ((-2),29), ((-1),31), ((1),35), ((1),36), ((-1),37), ((-2),39), ((1),41), ((1),42), ((1),43), ((-1),46)], (-12)), ("GEQ", [((1),2), ((1),5), ((2),6), ((1),7), ((-2),9), ((1),10), ((2),11), ((-1),12), ((-2),13), ((1),14), ((-2),16), ((2),17), ((-2),19), ((2),21), ((-1),22), ((2),23), ((-2),24), ((-2),28), ((2),29), ((2),31), ((1),32), ((-1),35), ((-2),37), ((2),40), ((2),41), ((-1),42), ((1),45), ((1),46), ((-2),47)], (7)), ("GEQ", [((2),0), ((-1),2), ((1),4), ((-1),5), ((1),6), ((1),7), ((-2),9), ((-1),10), ((1),11), ((-2),13), ((-2),15), ((-2),16), ((-2),17), ((2),18), ((2),19), ((1),22), ((-2),23), ((2),24), ((1),25), ((-1),28), ((2),29), ((1),30), ((-1),33), ((-2),34), ((-1),35), ((-2),36), ((2),37), ((-1),38), ((-2),39), ((1),40), ((-2),41), ((-2),42), ((-2),47), ((-2),48), ((-2),49)], (46)), ("GEQ", [((2),2), ((-1),3), ((-2),6), ((1),7), ((2),9), ((-2),10), ((2),11), ((2),12), ((-1),13), ((1),17), ((1),19), ((1),24), ((1),26), ((2),27), ((2),29), ((-1),30), ((-1),31), ((1),33), ((2),37), ((-1),38), ((-2),40), ((-2),42), ((-2),45), ((-1),47)], (-3)), ("GEQ", [((1),0), ((1),2), ((2),3), ((-2),4), ((1),5), ((-2),9), ((-2),10), ((-2),13), ((1),14), ((-2),15), ((2),17), ((-1),18), ((-1),19), ((-1),20), ((-1),23), ((-2),24), ((-2),26), ((-1),27), ((1),28), ((-1),31), ((1),32), ((-1),33), ((2),36), ((-2),37), ((2),38), ((-1),39), ((2),42), ((-1),45), ((1),46), ((2),48), ((-1),49)], (1)), ("GEQ", [((-1),1), ((2),2), ((1),4), ((1),5), ((1),6), ((1),8), ((-1),12), ((2),13), ((-1),14), ((-1),16), ((-1),17), ((1),20), ((2),25), ((-2),27), ((-1),30), ((-1),33), ((1),34), ((-2),36), ((1),37), ((-1),41), ((2),42), ((-1),46), ((2),49)], (-33)), ("GEQ", [((-2),2), ((-2),3), ((2),4), ((-1),5), ((-2),6), ((-2),7), ((-2),9), ((1),10), ((-1),11), ((-1),12), ((2),13), ((2),14), ((-1),15), ((-2),16), ((-1),18), ((2),20), ((-2),21), ((-2),22), ((-2),23), ((1),25), ((-2),26), ((2),28), ((-1),29), ((2),30), ((2),31), ((1),32), ((2),34), ((1),38), ((-2),39), ((-1),40), ((1),41), ((2),43), ((2),45), ((-2),46), ((-1),48), ((-2),49)], (-16)), ("GEQ", [((1),3), ((2),6), ((-2),7), ((2),10), ((1),11), ((-2),14), ((2),15), ((1),16), ((2),19), ((-2),20), ((-1),21), ((2),24), ((1),27), ((1),28), ((-2),29), ((1),30), ((2),31), ((-1),32), ((-1),33), ((1),36), ((1),38), ((1),39), ((1),41), ((2),42), ((1),44), ((-2),45), ((-2),46)], (-4)), ("GEQ", [((-1),1), ((-1),2), ((-1),3), ((-1),4), ((2),6), ((-2),8), ((-2),9), ((-1),10), ((-1),11), ((1),13), ((2),14), ((2),15), ((-2),16), ((-2),17), ((1),18), ((1),19), ((1),23), ((-2),24), ((-1),25), ((2),26), ((1),28), ((-2),31), ((1),34), ((2),35), ((-2),37), ((1),39), ((1),41), ((-2),42), ((-2),44), ((1),45), ((2),49)], (-9)), ("GEQ", [((-2),1), ((-1),3), ((1),4), ((-2),5), ((1),6), ((2),7), ((-1),8), ((-1),10), ((-1),12), ((2),14), ((-1),16), ((-2),19), ((-2),21), ((2),23), ((-1),25), ((1),30), ((-1),32), ((-2),33), ((-2),35), ((-1),36), ((1),38), ((2),41), ((2),42), ((-1),43), ((2),44), ((1),45), ((-1),48)], (-18)), ("GEQ", [((-1),1), ((2),3), ((2),4), ((1),6), ((2),8), ((-1),10), ((1),15), ((2),16), ((-2),17), ((1),18), ((-2),19), ((1),20), ((-1),21), ((-1),24), ((-2),25), ((1),26), ((-1),29), ((2),31), ((-1),33), ((-2),34), ((1),36), ((2),44), ((2),46), ((-1),47), ((-1),48), ((2),49)], (24)), ("GEQ", [((1),0), ((1),2), ((-2),3), ((-1),5), ((1),9), ((-1),14), ((-2),15), ((2),17), ((-2),19), ((-2),20), ((-2),24), ((1),25), ((-2),28), ((-2),30), ((-1),31), ((-1),32), ((2),36), ((-2),37), ((-1),38), ((1),39), ((-1),40), ((-1),41), ((1),42), ((-2),43), ((2),45), ((1),46), ((1),47), ((2),48)], (-12)), ("GEQ", [((1),0), ((-2),1), ((2),4), ((2),6), ((2),7), ((-2),8), ((1),9), ((2),10), ((2),11), ((1),13), ((1),19), ((-2),21), ((2),22), ((-1),23), ((-1),25), ((-1),27), ((-2),29), ((1),30), ((2),32), ((1),34), ((-2),35), ((-2),36), ((2),39), ((-1),42), ((2),43), ((-2),44), ((1),45), ((-2),46), ((-1),47), ((2),48), ((2),49)], (1)), ("GEQ", [((-18),0), ((43),1), ((-16),2), ((3),3), ((2),4), ((23),5), ((1),6), ((-16),7), ((28),8), ((21),9), ((8),10), ((-19),11), ((55),12), ((27),13), ((-12),14), ((25),15), ((-10),16), ((-19),17), ((14),18), ((-15),19), ((32),20), ((-32),21), ((-7),22), ((18),23), ((5),24), ((7),25), ((2),26), ((-18),27), ((20),28), ((32),29), ((7),30), ((59),31), ((-18),32), ((-13),33), ((-31),34), ((-11),35), ((-6),36), ((8),37), ((-20),38), ((7),39), ((9),40), ((-41),41), ((-21),42), ((-39),43), ((-4),44), ((-15),45), ((17),46), ((11),47), ((-22),48), ((-7),49)], (66)), ("GEQ", [((48),0), ((-116),1), ((28),2), ((7),3), ((18),4), ((-35),5), ((-12),6), ((30),7), ((-55),8), ((-67),9), ((-28),10), ((38),11), ((-150),12), ((-47),13), ((50),14), ((-63),15), ((53),16), ((56),17), ((-27),18), ((44),19), ((-95),20), ((76),21), ((-1),22), ((-34),23), ((-19),24), ((11),25), ((-14),26), ((33),27), ((-22),28), ((-65),29), ((-22),30), ((-130),31), ((58),32), ((34),33), ((97),34), ((14),35), ((22),36), ((-37),37), ((72),38), ((7),39), ((-21),40), ((80),41), ((62),42), ((78),43), ((28),44), ((52),45), ((-37),46), ((-34),47), ((70),48), ((36),49)], (-577)), ("GEQ", [((-28),0), ((43),1), ((-18),2), ((-23),3), ((-9),4), ((3),5), ((-13),6), ((-1),7), ((30),8), ((46),9), ((31),10), ((-33),11), ((80),12), ((58),13), ((-15),14), ((32),15), ((-26),16), ((-18),17), ((19),18), ((3),19), ((34),20), ((-12),21), ((-12),22), ((22),23), ((3),24), ((12),25), ((-1),26), ((-12),27), ((-1),28), ((14),29), ((12),30), ((47),31), ((-27),32), ((5),33), ((-8),34), ((20),35), ((-10),36), ((-2),37), ((-35),38), ((-1),39), ((16),40), ((-23),41), ((2),42), ((-45),43), ((-28),44), ((-16),45), ((23),46), ((38),47), ((-25),48), ((1),49)], (-307)), ("GEQ", [((25),0), ((-18),1), ((24),2), ((4),3), ((5),4), ((-4),6), ((4),7), ((-4),8), ((-39),9), ((3),10), ((8),11), ((-19),12), ((-20),13), ((20),14), ((-11),15), ((5),16), ((48),17), ((6),18), ((-10),19), ((-11),20), ((26),21), ((-9),22), ((-8),23), ((-19),24), ((28),25), ((-18),26), ((6),27), ((6),28), ((3),29), ((-2),30), ((-20),31), ((32),32), ((8),33), ((31),34), ((1),35), ((-12),36), ((-6),37), ((23),38), ((3),39), ((1),40), ((-10),41), ((15),42), ((-2),43), ((27),45), ((-22),46), ((-24),47), ((39),48), ((5),49)], (-215)), ("GEQ", [((-55),0), ((88),1), ((-74),2), ((-13),3), ((-34),4), ((25),5), ((-7),6), ((1),7), ((44),8), ((120),9), ((10),10), ((-30),11), ((113),12), ((61),13), ((-72),14), ((55),15), ((-13),16), ((-126),17), ((26),18), ((11),19), ((28),20), ((-63),21), ((38),22), ((33),23), ((41),24), ((-50),25), ((51),26), ((-46),27), ((-5),28), ((26),29), ((106),31), ((-83),32), ((-20),33), ((-94),34), ((-10),35), ((7),36), ((34),37), ((-87),38), ((4),39), ((2),40), ((-13),41), ((-61),42), ((-39),43), ((-19),44), ((-99),45), ((63),46), ((53),47), ((-92),48), ((-32),49)], (815)), ("GEQ", [((-33),0), ((147),1), ((46),2), ((51),3), ((18),4), ((83),5), ((54),6), ((-64),7), ((46),8), ((-15),9), ((2),10), ((2),11), ((155),12), ((-51),13), ((-46),14), ((71),15), ((-56),16), ((20),17), ((18),18), ((-137),19), ((157),20), ((-119),21), ((-1),22), ((-10),23), ((5),24), ((-1),25), ((-37),26), ((-35),27), ((66),28), ((106),29), ((23),30), ((152),31), ((-36),32), ((-61),33), ((-142),34), ((-74),35), ((-51),36), ((89),37), ((-42),38), ((-26),39), ((4),40), ((-184),41), ((-102),42), ((-86),43), ((-10),44), ((-16),45), ((1),46), ((-21),47), ((-40),48), ((-48),49)], (1002))]
[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]