[("GEQ", [((-1),0), ((2),2), ((1),3), ((1),7), ((-2),9), ((1),10), ((1),11), ((-2),14), ((2),15), ((-1),16), ((-2),17), ((-2),18), ((1),19), ((1),20), ((1),24), ((1),26), ((2),27), ((1),28), ((1),29), ((-1),31), ((-2),32), ((2),34), ((-1),35), ((-1),37), ((-1),38), ((1),39), ((-2),40), ((-2),42), ((1),43), ((1),45), ((-2),46), ((2),48), ((1),49), ((-1),50), ((1),53), ((-2),54), ((1),57), ((-1),59), ((1),60), ((2),61), ((-2),62), ((1),63), ((2),64), ((-2),65), ((2),66), ((1),67), ((2),68), ((1),70), ((-2),72), ((2),73), ((-1),74)], (-18)), ("GEQ", [((1),0), ((1),3), ((-1),4), ((-1),7), ((1),8), ((1),10), ((2),11), ((2),12), ((2),13), ((-1),14), ((-1),15), ((1),19), ((1),21), ((1),22), ((-2),23), ((-1),25), ((1),26), ((2),28), ((-2),30), ((2),31), ((-1),32), ((-1),33), ((2),34), ((2),35), ((-1),36), ((-2),37), ((-1),38), ((2),39), ((2),40), ((-2),42), ((-2),45), ((2),46), ((1),48), ((-2),49), ((-2),50), ((1),51), ((-1),52), ((-2),54), ((-1),56), ((1),57), ((-2),59), ((2),60), ((1),62), ((-1),63), ((-2),66), ((2),67), ((-1),68), ((2),69), ((1),70), ((2),71), ((1),72)], (6)), ("GEQ", [((1),0), ((1),2), ((1),3), ((1),5), ((1),10), ((1),12), ((2),14), ((1),16), ((-2),17), ((-2),18), ((1),21), ((2),22), ((2),24), ((-2),25), ((-1),26), ((-2),27), ((-1),29), ((1),31), ((-1),32), ((-1),33), ((-1),35), ((-2),38), ((-2),39), ((-2),41), ((1),43), ((-2),44), ((-2),45), ((-2),49), ((2),50), ((-2),52), ((2),53), ((-1),56), ((-2),60), ((2),63), ((-2),64), ((2),65), ((-1),66), ((-1),67), ((2),68), ((1),69), ((-1),73), ((2),74)], (-39)), ("GEQ", [((2),0), ((2),1), ((1),3), ((-1),5), ((-2),9), ((2),14), ((1),18), ((-1),19), ((-2),20), ((1),22), ((1),23), ((1),24), ((-2),25), ((-1),26), ((-1),27), ((1),28), ((-2),30), ((-2),33), ((2),35), ((2),37), ((-2),38), ((1),40), ((-1),42), ((-2),43), ((2),46), ((1),47), ((1),50), ((-2),51), ((-1),52), ((1),54), ((-1),57), ((1),58), ((2),60), ((-2),61), ((1),62), ((1),63), ((1),64), ((2),66), ((-1),71), ((-2),72), ((-1),73), ((1),74)], (3)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((-1),3), ((1),4), ((-2),5), ((-2),6), ((1),7), ((2),8), ((-2),9), ((-2),11), ((1),12), ((-1),16), ((-1),18), ((-2),20), ((2),22), ((1),25), ((-2),30), ((1),31), ((2),32), ((-2),33), ((-1),34), ((1),37), ((1),42), ((-2),43), ((-1),44), ((2),47), ((1),48), ((1),49), ((-1),50), ((2),52), ((-1),54), ((2),55), ((-2),56), ((-1),57), ((2),60), ((-1),62), ((-1),63), ((-1),64), ((-2),65), ((-1),66), ((-2),67), ((1),69), ((-1),70), ((-2),73), ((-2),74)], (-25)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((-1),4), ((1),5), ((1),6), ((2),9), ((1),10), ((-2),13), ((2),17), ((2),18), ((-2),19), ((2),20), ((1),22), ((2),25), ((1),27), ((2),28), ((1),29), ((-2),30), ((1),32), ((2),34), ((2),35), ((1),36), ((1),40), ((-2),41), ((-2),44), ((-1),45), ((-1),46), ((1),48), ((-2),49), ((-1),51), ((-2),53), ((-1),54), ((-1),57), ((-2),60), ((-2),61), ((-1),62), ((1),63), ((-2),65), ((1),67), ((2),69), ((1),70), ((-2),74)], (-39)), ("GEQ", [((1),3), ((-2),4), ((2),5), ((-2),6), ((-2),7), ((2),8), ((-2),9), ((-2),10), ((1),11), ((1),15), ((-2),16), ((2),20), ((-1),23), ((-1),24), ((2),27), ((2),28), ((-1),30), ((2),31), ((2),32), ((2),35), ((1),36), ((-2),37), ((-2),38), ((2),43), ((2),45), ((-1),48), ((2),51), ((1),52), ((1),54), ((1),56), ((2),59), ((-2),60), ((-1),62), ((2),66), ((2),67), ((-2),69), ((-1),70), ((1),71), ((-1),73), ((-1),74)], (5)), ("GEQ", [((-1),1), ((2),3), ((-1),5), ((2),6), ((-1),7), ((2),9), ((-2),10), ((2),11), ((-1),12), ((-1),13), ((1),14), ((-2),15), ((2),17), ((2),19), ((-2),20), ((-1),21), ((-2),23), ((-2),26), ((2),28), ((-1),30), ((1),31), ((-1),37), ((-2),38), ((2),39), ((1),40), ((1),42), ((-1),43), ((2),45), ((2),46), ((1),48), ((2),51), ((-1),52), ((-2),53), ((-2),54), ((-2),58), ((2),59), ((2),61), ((-2),62), ((1),63), ((-1),64), ((-1),65), ((2),66), ((1),67), ((2),68), ((-1),70), ((2),72), ((-2),73), ((-2),74)], (-20)), ("GEQ", [((2),1), ((2),3), ((1),5), ((2),6), ((2),9), ((-1),10), ((-1),11), ((-1),12), ((2),13), ((-2),14), ((-1),17), ((-1),22), ((2),23), ((-1),24), ((-1),25), ((-2),28), ((2),30), ((-1),31), ((2),32), ((2),34), ((2),36), ((-2),37), ((-2),42), ((-2),46), ((1),47), ((1),48), ((-2),50), ((1),51), ((2),52), ((2),54), ((1),55), ((-2),56), ((-1),58), ((2),61), ((2),63), ((-2),65), ((-1),68), ((-1),70), ((-1),71), ((-2),72), ((1),73), ((1),74)], (4)), ("GEQ", [((1),0), ((2),1), ((1),3), ((2),4), ((1),6), ((1),7), ((-1),9), ((2),10), ((-1),11), ((2),12), ((2),13), ((-1),14), ((1),16), ((-2),17), ((1),20), ((-2),21), ((-1),23), ((2),24), ((1),27), ((-2),29), ((-1),31), ((-1),32), ((-2),34), ((-2),38), ((-2),39), ((1),41), ((-2),45), ((1),46), ((-2),48), ((-1),50), ((2),54), ((1),55), ((-2),56), ((-1),61), ((2),63), ((1),64), ((2),66), ((-2),67), ((-2),69), ((-2),70), ((-2),71), ((-2),73), ((1),74)], (10)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((1),4), ((-2),6), ((1),7), ((-1),9), ((1),11), ((-1),12), ((1),13), ((-1),14), ((1),15), ((-1),18), ((-1),19), ((-2),22), ((2),24), ((1),25), ((1),26), ((1),27), ((-2),28), ((-2),29), ((-2),30), ((-2),31), ((2),33), ((2),35), ((-1),37), ((-1),40), ((-2),44), ((1),45), ((2),46), ((2),47), ((2),48), ((-1),50), ((-1),51), ((-1),52), ((-2),53), ((-2),55), ((1),58), ((-2),59), ((1),60), ((-2),61), ((-1),62), ((-2),65), ((-1),66), ((-2),67), ((1),68), ((-1),72), ((-1),73)], (10)), ("GEQ", [((2),0), ((-2),3), ((2),6), ((-1),8), ((2),9), ((-1),10), ((-2),11), ((2),12), ((-1),14), ((-1),16), ((1),17), ((-1),24), ((2),25), ((-2),26), ((-2),27), ((2),28), ((1),29), ((-2),30), ((2),32), ((1),33), ((-1),35), ((-2),36), ((-1),37), ((-1),38), ((1),39), ((2),40), ((1),41), ((1),42), ((-1),43), ((2),45), ((-2),46), ((2),47), ((-1),48), ((2),50), ((1),54), ((2),56), ((2),57), ((2),59), ((1),60), ((1),61), ((1),63), ((-2),64), ((1),70), ((2),71), ((1),72), ((1),74)], (-31)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((2),3), ((-2),4), ((-2),6), ((1),7), ((1),8), ((2),12), ((1),15), ((-1),16), ((-2),17), ((2),18), ((-1),20), ((-2),22), ((-1),23), ((-1),24), ((2),25), ((-2),26), ((1),27), ((2),28), ((2),34), ((2),38), ((1),41), ((-2),42), ((1),43), ((1),44), ((2),45), ((1),49), ((2),50), ((1),56), ((1),58), ((-1),59), ((-1),60), ((1),61), ((-1),62), ((-2),64), ((-1),65), ((1),67), ((1),68), ((1),70), ((1),71), ((2),73)], (-1)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((2),4), ((-1),6), ((-2),7), ((-2),9), ((2),10), ((-1),11), ((-2),12), ((-2),13), ((2),14), ((-2),16), ((1),17), ((1),18), ((2),19), ((-2),20), ((1),22), ((-2),23), ((-1),26), ((-2),27), ((-2),29), ((2),31), ((2),32), ((2),33), ((2),34), ((1),36), ((-1),40), ((-1),41), ((2),42), ((-1),43), ((-2),44), ((-1),46), ((-2),47), ((1),48), ((2),50), ((2),51), ((1),52), ((-2),53), ((2),54), ((-1),55), ((1),57), ((2),58), ((-2),59), ((-2),60), ((2),61), ((2),62), ((1),63), ((-2),64), ((2),65), ((-2),66), ((2),68), ((-1),69), ((1),71), ((-2),72), ((2),73), ((2),74)], (18)), ("GEQ", [((1),1), ((-1),2), ((-2),3), ((1),5), ((-2),6), ((1),9), ((-1),10), ((2),13), ((1),14), ((-2),16), ((2),17), ((-1),18), ((2),19), ((-2),20), ((2),21), ((-2),23), ((1),25), ((-1),27), ((1),28), ((-1),29), ((-2),30), ((1),31), ((1),33), ((-1),34), ((-1),37), ((2),38), ((-1),39), ((2),40), ((1),41), ((1),42), ((-2),44), ((-2),46), ((-1),47), ((-1),49), ((2),51), ((-2),52), ((2),54), ((-1),57), ((1),59), ((1),62), ((1),64), ((-2),66), ((2),68), ((1),69), ((1),72), ((2),73), ((-1),74)], (16)), ("GEQ", [((1),1), ((-2),4), ((2),6), ((-1),7), ((-1),8), ((2),11), ((-1),12), ((1),13), ((-1),14), ((-2),16), ((-2),17), ((1),18), ((2),19), ((-1),20), ((-1),21), ((-2),22), ((1),25), ((1),29), ((-1),30), ((-1),31), ((-2),32), ((1),33), ((2),34), ((-1),35), ((-2),36), ((1),38), ((2),40), ((1),41), ((-1),42), ((-2),43), ((1),44), ((1),45), ((-1),46), ((1),47), ((1),48), ((1),49), ((2),51), ((1),53), ((-1),54), ((1),56), ((-1),60), ((2),67), ((1),69), ((-1),70), ((1),71), ((1),73), ((-2),74)], (22)), ("GEQ", [((1),1), ((2),3), ((-1),5), ((-2),6), ((-2),7), ((1),9), ((1),11), ((2),13), ((1),14), ((-1),15), ((2),17), ((-1),18), ((-2),20), ((-2),21), ((2),22), ((-1),25), ((-1),26), ((-1),28), ((2),29), ((-1),30), ((-2),31), ((1),32), ((-2),33), ((-2),34), ((-1),35), ((-1),36), ((2),37), ((-2),39), ((-2),40), ((2),41), ((2),44), ((-2),45), ((1),46), ((-2),48), ((1),50), ((1),51), ((1),52), ((1),53), ((-2),55), ((1),56), ((-2),59), ((-2),61), ((1),62), ((1),63), ((-1),64), ((-2),65), ((-1),66), ((-2),67)], (48)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((-2),3), ((-2),4), ((-2),6), ((-2),8), ((2),10), ((1),11), ((1),13), ((-1),16), ((1),23), ((2),24), ((2),26), ((2),27), ((-2),28), ((1),29), ((-2),30), ((1),33), ((-2),34), ((-2),38), ((2),39), ((-2),43), ((-2),44), ((-1),46), ((1),47), ((1),49), ((2),50), ((1),51), ((2),52), ((-1),53), ((-1),55), ((-1),59), ((2),60), ((-2),61), ((1),62), ((2),64), ((-2),66), ((2),67), ((2),69), ((-2),70), ((-1),71), ((-1),73)], (-22)), ("GEQ", [((-1),1), ((1),8), ((2),9), ((1),12), ((-2),13), ((-2),15), ((-2),17), ((2),19), ((-2),20), ((2),21), ((-2),23), ((-2),25), ((-1),26), ((1),29), ((-2),32), ((1),33), ((-1),34), ((-2),36), ((-1),37), ((1),38), ((-2),39), ((-2),41), ((2),43), ((1),45), ((-2),47), ((1),48), ((2),49), ((2),50), ((1),53), ((-1),54), ((-1),56), ((-1),58), ((-2),59), ((2),60), ((2),62), ((2),64), ((1),65), ((2),66), ((-2),68), ((-1),69), ((-1),71), ((-1),73)], (27)), ("GEQ", [((-1),0), ((2),2), ((-2),3), ((-2),4), ((-1),6), ((-1),9), ((-2),10), ((1),12), ((1),13), ((1),14), ((-2),15), ((-2),18), ((2),20), ((1),22), ((1),23), ((-1),24), ((-2),25), ((-2),26), ((-1),27), ((-1),28), ((-2),29), ((-2),30), ((1),34), ((-2),36), ((-2),37), ((2),38), ((1),39), ((1),42), ((2),44), ((-1),47), ((-1),48), ((-1),52), ((1),53), ((-1),54), ((-2),56), ((-1),60), ((-2),63), ((1),64), ((2),65), ((-2),66), ((1),67), ((2),68), ((2),69), ((2),71), ((-1),72)], (-15)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((2),3), ((-1),8), ((1),9), ((-1),10), ((-1),13), ((-1),15), ((-2),16), ((2),18), ((1),19), ((-2),20), ((2),23), ((1),27), ((-1),28), ((2),29), ((-1),30), ((-2),31), ((-2),36), ((-2),37), ((2),38), ((-1),39), ((-1),41), ((-2),42), ((-2),47), ((-2),48), ((2),50), ((1),55), ((-1),56), ((-2),57), ((1),58), ((-2),59), ((1),60), ((-2),62), ((2),63), ((2),64), ((1),65), ((-1),67), ((-1),68), ((1),69), ((-2),71), ((-1),73), ((-2),74)], (8)), ("GEQ", [((-2),3), ((-2),5), ((-2),6), ((1),7), ((1),8), ((-1),12), ((2),14), ((-1),15), ((-2),16), ((1),17), ((-2),18), ((-1),19), ((-1),20), ((2),23), ((2),24), ((-2),25), ((2),26), ((1),30), ((1),31), ((2),32), ((-1),33), ((-2),35), ((-1),36), ((2),39), ((2),40), ((2),41), ((-2),43), ((-2),45), ((-1),46), ((-1),48), ((-2),49), ((-1),51), ((-2),52), ((-2),53), ((1),54), ((-2),55), ((1),56), ((2),57), ((1),58), ((2),60), ((-1),61), ((2),62), ((-2),63), ((1),64), ((1),66), ((-1),68), ((-2),70), ((1),71), ((-2),74)], (-23)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),4), ((-2),5), ((2),6), ((2),7), ((-1),10), ((1),12), ((1),14), ((2),15), ((1),16), ((1),17), ((-2),19), ((-1),21), ((1),22), ((-2),23), ((1),26), ((2),27), ((1),29), ((-1),35), ((1),36), ((2),37), ((-2),38), ((-2),40), ((-2),47), ((2),48), ((2),50), ((2),54), ((1),57), ((2),58), ((2),59), ((-2),61), ((-2),64), ((-2),66), ((-2),67), ((-2),68), ((-2),69), ((-1),71), ((-1),72), ((1),73)], (-15)), ("GEQ", [((1),1), ((1),5), ((1),6), ((-2),8), ((-1),9), ((2),15), ((2),17), ((-2),18), ((1),19), ((2),20), ((-1),21), ((-1),22), ((2),23), ((1),27), ((-2),32), ((-2),34), ((2),35), ((1),36), ((-2),37), ((-1),38), ((-1),42), ((-1),44), ((-1),46), ((-1),47), ((-2),48), ((-1),49), ((1),51), ((-2),52), ((-1),55), ((2),56), ((-2),57), ((-1),58), ((1),62), ((1),63), ((2),64), ((-2),66), ((2),67), ((-2),71), ((2),73)], (12)), ("GEQ", [((2),0), ((-2),4), ((-1),6), ((-1),8), ((-1),9), ((2),14), ((1),18), ((2),19), ((2),20), ((2),22), ((1),23), ((-1),24), ((-1),26), ((2),27), ((2),28), ((-2),30), ((1),31), ((2),32), ((2),33), ((1),34), ((-1),35), ((1),39), ((-1),40), ((-1),41), ((2),43), ((1),46), ((1),47), ((2),51), ((2),52), ((-2),53), ((-2),54), ((2),56), ((-2),58), ((1),59), ((-1),62), ((-2),63), ((1),64), ((2),65), ((2),67), ((-1),68), ((-2),70), ((2),71), ((-2),72), ((1),73), ((-2),74)], (2)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-2),4), ((2),5), ((2),6), ((-2),7), ((2),10), ((1),12), ((1),13), ((-2),14), ((-2),16), ((1),17), ((2),18), ((2),19), ((1),20), ((2),21), ((1),23), ((-1),25), ((2),27), ((-2),29), ((-2),30), ((-2),32), ((-2),34), ((1),35), ((-1),36), ((1),37), ((2),39), ((-2),40), ((2),42), ((-2),43), ((2),46), ((1),47), ((1),48), ((-2),49), ((2),50), ((2),51), ((2),52), ((-2),53), ((1),54), ((2),58), ((2),59), ((1),60), ((2),62), ((2),63), ((2),64), ((-1),65), ((1),66), ((-2),68), ((2),71), ((-1),72), ((2),73), ((-1),74)], (33)), ("GEQ", [((-2),1), ((2),4), ((2),5), ((1),6), ((1),7), ((-2),8), ((-2),9), ((2),10), ((2),13), ((1),15), ((-1),20), ((-1),21), ((-2),22), ((-2),23), ((1),24), ((-2),28), ((-2),31), ((1),34), ((-1),36), ((1),37), ((1),38), ((2),39), ((2),40), ((1),42), ((1),44), ((1),46), ((2),48), ((-1),49), ((-2),50), ((1),51), ((-2),52), ((-1),55), ((2),56), ((2),57), ((2),59), ((2),61), ((-1),62), ((1),63), ((2),68), ((2),69), ((-1),72), ((-1),74)], (-10)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),4), ((2),5), ((-1),8), ((2),10), ((2),13), ((-1),14), ((2),15), ((2),17), ((-1),18), ((-1),28), ((2),29), ((1),31), ((2),32), ((1),39), ((2),42), ((-2),43), ((-1),44), ((2),45), ((-2),46), ((2),47), ((2),50), ((-1),51), ((-1),52), ((-2),53), ((2),54), ((-2),57), ((1),58), ((-2),60), ((2),62), ((-2),63), ((2),64), ((2),65), ((-2),66), ((1),68), ((1),69), ((2),70), ((-1),72), ((-2),73), ((-2),74)], (-44)), ("GEQ", [((1),0), ((1),3), ((-1),6), ((-2),7), ((1),8), ((-2),9), ((-2),10), ((-1),12), ((1),15), ((1),16), ((-2),17), ((2),18), ((-2),19), ((1),21), ((2),23), ((1),29), ((1),30), ((1),31), ((-2),32), ((-2),33), ((1),34), ((1),35), ((1),36), ((2),37), ((-2),39), ((1),40), ((-1),41), ((1),43), ((2),45), ((-1),46), ((-1),47), ((-1),49), ((-1),50), ((-2),52), ((2),53), ((2),54), ((-2),57), ((1),58), ((1),59), ((-2),61), ((2),62), ((1),64), ((-1),65), ((-2),66), ((-1),70), ((2),71), ((2),72), ((-2),74)], (20)), ("GEQ", [((-1),1), ((2),2), ((-2),4), ((1),5), ((2),7), ((-1),8), ((2),11), ((-1),12), ((2),13), ((2),14), ((1),20), ((1),21), ((2),22), ((2),23), ((-1),24), ((1),26), ((-2),27), ((1),28), ((2),30), ((2),34), ((-1),37), ((2),38), ((1),40), ((-1),41), ((-1),42), ((-1),43), ((-2),45), ((-2),47), ((1),48), ((-1),49), ((-2),50), ((-1),56), ((-2),57), ((1),58), ((-2),61), ((2),63), ((-1),65), ((2),66), ((-2),67), ((-1),68), ((-1),69), ((-1),71), ((2),73)], (6)), ("GEQ", [((1),0), ((2),1), ((2),3), ((-1),5), ((-2),9), ((2),12), ((-1),13), ((1),14), ((-2),15), ((-2),16), ((2),19), ((-2),20), ((-1),21), ((1),22), ((-2),23), ((2),24), ((-2),28), ((-1),31), ((-2),35), ((-1),36), ((2),38), ((2),40), ((-1),41), ((1),42), ((-2),43), ((2),45), ((-2),46), ((-2),50), ((2),51), ((-2),52), ((-2),53), ((-2),57), ((1),58), ((1),59), ((2),60), ((-1),64), ((1),66), ((-2),68), ((-2),69), ((-1),71), ((-1),72), ((-2),73)], (4)), ("GEQ", [((-1),0), ((1),3), ((-2),6), ((1),7), ((1),8), ((-2),11), ((-2),13), ((2),14), ((1),16), ((-1),19), ((2),20), ((2),21), ((1),22), ((1),23), ((1),24), ((-2),25), ((1),29), ((-1),30), ((-2),34), ((-1),35), ((2),36), ((-1),37), ((2),38), ((1),39), ((-2),40), ((1),41), ((-2),44), ((-1),45), ((2),47), ((-1),49), ((1),50), ((-2),51), ((-1),52), ((2),53), ((-2),54), ((1),56), ((1),57), ((1),58), ((-1),61), ((-2),62), ((1),65), ((-1),66), ((-1),67), ((2),68), ((-1),69), ((2),71), ((1),72), ((2),73), ((2),74)], (-5)), ("GEQ", [((2),2), ((-1),3), ((2),4), ((-2),7), ((-1),8), ((1),9), ((1),10), ((-2),12), ((1),13), ((-1),16), ((1),20), ((-2),21), ((1),22), ((1),23), ((-2),24), ((-2),27), ((2),28), ((-1),31), ((2),32), ((1),36), ((1),37), ((2),38), ((-2),39), ((-1),42), ((-2),44), ((-1),47), ((-1),50), ((2),52), ((-2),53), ((-2),55), ((-1),58), ((2),60), ((2),61), ((2),62), ((1),66), ((2),67), ((1),68), ((-1),70), ((2),72), ((-1),73), ((-1),74)], (5)), ("GEQ", [((-1),0), ((-2),1), ((1),4), ((2),5), ((2),7), ((1),9), ((-1),11), ((1),12), ((-1),13), ((1),14), ((-2),19), ((-1),22), ((2),25), ((2),26), ((-2),27), ((-1),28), ((-1),30), ((-2),31), ((2),35), ((-1),36), ((1),40), ((1),41), ((-2),44), ((-2),45), ((2),46), ((1),49), ((-1),50), ((2),51), ((1),53), ((2),55), ((2),56), ((-2),58), ((-2),59), ((1),60), ((2),61), ((-1),62), ((-1),65), ((-2),66), ((-2),68), ((-1),69), ((2),70), ((-1),72), ((1),73), ((2),74)], (16)), ("GEQ", [((2),1), ((1),2), ((1),3), ((-2),6), ((-1),7), ((-2),8), ((1),9), ((2),11), ((-2),13), ((2),15), ((-2),19), ((-1),20), ((1),22), ((2),23), ((1),24), ((2),29), ((-2),31), ((-2),34), ((-2),36), ((1),38), ((-2),42), ((-2),43), ((-1),47), ((1),48), ((-2),49), ((-1),53), ((-1),54), ((-2),55), ((1),56), ((-2),58), ((2),60), ((-1),61), ((2),62), ((1),63), ((2),65), ((1),67), ((-1),69), ((-1),70), ((2),71), ((-2),72), ((-1),74)], (12)), ("GEQ", [((-1),1), ((1),2), ((-2),3), ((2),4), ((2),5), ((-1),8), ((1),9), ((-1),10), ((1),13), ((-2),14), ((2),15), ((1),16), ((2),17), ((-1),18), ((1),19), ((1),20), ((1),22), ((2),26), ((-1),28), ((1),31), ((-2),34), ((1),35), ((-2),36), ((1),38), ((2),42), ((-1),43), ((-2),45), ((2),46), ((1),48), ((1),49), ((1),51), ((-2),52), ((1),54), ((2),55), ((1),56), ((2),59), ((2),60), ((1),61), ((-2),63), ((2),66), ((1),67), ((-2),71), ((-2),72), ((1),73), ((-2),74)], (-8)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-1),5), ((-2),6), ((-2),8), ((-1),9), ((-1),11), ((1),12), ((-2),15), ((1),18), ((2),21), ((-1),22), ((1),23), ((-2),24), ((2),25), ((2),27), ((1),29), ((-2),30), ((-2),33), ((2),35), ((-2),36), ((-2),37), ((-2),38), ((1),39), ((-1),41), ((-2),42), ((2),44), ((-2),45), ((2),47), ((-1),50), ((-2),51), ((1),52), ((-2),54), ((-1),55), ((2),56), ((-1),57), ((1),58), ((1),60), ((2),64), ((-2),67), ((2),68), ((-2),70), ((1),71), ((-1),72), ((-1),73), ((-1),74)], (-23)), ("GEQ", [((2),2), ((-1),3), ((1),4), ((2),5), ((-1),8), ((-2),9), ((-2),10), ((-1),11), ((-2),12), ((1),13), ((-1),15), ((-1),16), ((1),17), ((1),18), ((1),21), ((2),23), ((1),24), ((2),25), ((-1),26), ((1),27), ((-2),29), ((-1),33), ((1),35), ((-1),36), ((1),37), ((-2),39), ((-1),40), ((-2),41), ((2),42), ((1),43), ((1),44), ((1),47), ((-2),48), ((1),52), ((-2),53), ((2),54), ((-1),55), ((-2),56), ((2),58), ((1),62), ((1),63), ((-2),64), ((-1),65), ((2),66), ((2),67), ((2),68), ((2),69), ((1),70), ((1),71), ((-1),72), ((2),73), ((-2),74)], (-17)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((1),5), ((1),8), ((1),12), ((2),14), ((-2),15), ((2),16), ((-2),18), ((-2),19), ((2),20), ((2),21), ((2),23), ((-2),24), ((2),25), ((-2),29), ((1),30), ((-1),31), ((-2),32), ((2),33), ((1),35), ((-1),36), ((1),41), ((-2),44), ((1),47), ((2),48), ((-1),51), ((1),54), ((-2),55), ((2),57), ((-1),58), ((-2),59), ((1),60), ((-1),62), ((1),63), ((-1),64), ((-2),66), ((-2),67), ((2),69), ((1),70), ((2),72)], (-8)), ("GEQ", [((-2),0), ((-1),3), ((-1),7), ((1),11), ((1),12), ((1),13), ((1),15), ((-2),18), ((2),20), ((1),21), ((-2),23), ((-2),24), ((-2),26), ((-2),29), ((2),33), ((1),35), ((2),37), ((-2),40), ((-2),41), ((-1),42), ((-1),43), ((-2),45), ((-2),46), ((-1),48), ((-2),49), ((2),50), ((-2),51), ((2),52), ((-1),53), ((-1),55), ((-2),59), ((-1),60), ((1),62), ((-1),63), ((1),68), ((-1),69), ((1),71), ((-1),72), ((-2),73)], (-6)), ("GEQ", [((1),0), ((-2),1), ((-2),3), ((-1),5), ((1),6), ((-1),7), ((-2),11), ((-1),12), ((-1),14), ((-1),15), ((-1),18), ((-1),19), ((1),20), ((-1),21), ((-1),23), ((-1),24), ((2),28), ((1),30), ((-1),32), ((-2),33), ((-2),34), ((-1),38), ((-2),39), ((1),42), ((-2),43), ((1),45), ((1),46), ((-1),47), ((2),48), ((-2),49), ((-2),51), ((2),52), ((1),53), ((1),55), ((1),56), ((1),57), ((1),59), ((-2),61), ((1),62), ((2),65), ((2),66), ((1),67), ((2),68), ((-1),69), ((1),70), ((2),74)], (-19)), ("GEQ", [((-2),0), ((-1),1), ((1),3), ((1),4), ((1),5), ((2),6), ((2),8), ((-1),10), ((1),12), ((-1),13), ((-1),17), ((-2),18), ((1),20), ((1),23), ((-1),24), ((1),25), ((2),26), ((1),27), ((2),28), ((-2),31), ((2),33), ((-1),34), ((-1),37), ((-1),38), ((-1),39), ((2),40), ((-1),41), ((-2),45), ((-2),47), ((2),50), ((-1),53), ((-1),54), ((2),55), ((-2),56), ((2),58), ((1),60), ((1),64), ((1),66), ((2),68), ((-1),69), ((-1),70), ((1),71), ((1),73), ((-2),74)], (-11)), ("GEQ", [((-1),1), ((1),2), ((2),4), ((2),5), ((-1),6), ((2),7), ((-1),8), ((2),11), ((-1),12), ((2),13), ((-1),15), ((2),18), ((-1),22), ((1),24), ((2),25), ((1),26), ((-1),27), ((1),28), ((-2),30), ((-1),31), ((1),33), ((2),35), ((2),37), ((-2),38), ((1),39), ((-2),41), ((-2),42), ((-2),43), ((-2),44), ((1),45), ((1),46), ((1),49), ((-1),51), ((-1),52), ((1),54), ((-1),55), ((1),56), ((-2),58), ((2),59), ((-2),60), ((-2),61), ((1),62), ((-1),64), ((2),66), ((-2),70), ((-1),71), ((1),74)], (-46)), ("GEQ", [((-1),0), ((2),3), ((-2),4), ((-2),5), ((-2),6), ((-2),9), ((-1),10), ((-2),12), ((-2),14), ((-1),15), ((-2),16), ((-1),17), ((2),18), ((1),19), ((-2),21), ((1),23), ((1),24), ((-1),25), ((-1),27), ((2),28), ((-2),29), ((-1),31), ((1),34), ((2),37), ((-2),40), ((2),41), ((1),42), ((-2),44), ((2),47), ((-2),48), ((2),49), ((2),50), ((-1),51), ((2),52), ((1),57), ((-1),58), ((2),59), ((2),60), ((1),63), ((-2),68), ((-1),70), ((2),72), ((-1),73)], (40)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((-2),4), ((1),5), ((-2),6), ((-2),9), ((-2),10), ((2),11), ((1),16), ((-2),18), ((2),19), ((-1),22), ((1),24), ((2),26), ((2),27), ((-2),28), ((2),30), ((-2),31), ((-1),32), ((-1),34), ((-1),35), ((1),38), ((-2),45), ((1),47), ((1),48), ((2),49), ((2),53), ((-1),54), ((-1),57), ((-2),58), ((2),60), ((1),63), ((1),65), ((1),66), ((-2),67), ((-2),69), ((1),71), ((1),72)], (33)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((-1),4), ((2),6), ((1),8), ((2),9), ((2),10), ((2),11), ((1),12), ((2),13), ((-2),14), ((1),16), ((-1),17), ((-2),21), ((-2),22), ((-2),24), ((1),25), ((2),26), ((-1),27), ((-2),32), ((-1),36), ((1),37), ((-1),40), ((-1),42), ((1),45), ((1),48), ((2),50), ((2),52), ((-2),53), ((-1),55), ((1),56), ((1),60), ((-1),63), ((1),64), ((-2),65), ((2),66), ((-2),67), ((2),69), ((-1),72), ((-1),73), ((1),74)], (18)), ("GEQ", [((1),0), ((1),6), ((-2),7), ((1),8), ((-2),9), ((-1),10), ((-2),11), ((2),12), ((-1),13), ((1),15), ((2),16), ((1),18), ((1),23), ((-2),24), ((1),26), ((-1),28), ((-2),29), ((1),30), ((-2),34), ((1),37), ((2),38), ((-2),39), ((2),40), ((-2),41), ((-1),42), ((2),43), ((2),45), ((1),51), ((-1),53), ((1),54), ((1),55), ((-2),57), ((-2),58), ((-2),60), ((-2),61), ((-2),63), ((-1),64), ((-1),65), ((2),68), ((-1),69), ((-1),71)], (8)), ("GEQ", [((-1),1), ((1),3), ((-2),5), ((-2),7), ((-1),8), ((1),9), ((1),11), ((1),14), ((-2),16), ((-1),18), ((2),20), ((2),22), ((-2),23), ((-1),25), ((-2),26), ((-1),28), ((1),29), ((-2),30), ((2),32), ((2),35), ((-1),36), ((1),37), ((-1),39), ((-1),40), ((2),45), ((1),46), ((-1),48), ((-2),52), ((-1),53), ((-2),55), ((2),56), ((2),58), ((2),59), ((-2),60), ((2),62), ((-2),63), ((2),64), ((-2),65), ((1),68), ((1),69)], (-3)), ("GEQ", [((-2),1), ((2),6), ((2),7), ((-1),8), ((-1),10), ((1),11), ((2),12), ((2),14), ((2),15), ((-1),16), ((1),17), ((-1),18), ((1),24), ((-2),25), ((2),26), ((1),30), ((-1),32), ((-1),33), ((-1),34), ((2),35), ((1),37), ((1),38), ((-1),39), ((-2),40), ((-2),41), ((-1),42), ((-2),43), ((2),44), ((-1),45), ((2),47), ((-1),49), ((-2),51), ((1),52), ((2),55), ((-1),56), ((-2),57), ((-2),58), ((-2),59), ((1),61), ((-1),66), ((2),67), ((2),69), ((-2),71), ((2),73), ((-1),74)], (-31)), ("GEQ", [((2),0), ((-1),2), ((-1),3), ((-1),6), ((2),7), ((-1),9), ((-1),13), ((2),14), ((-2),15), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((-2),29), ((-2),30), ((2),31), ((1),32), ((1),34), ((1),35), ((2),36), ((2),38), ((-1),39), ((-2),40), ((2),41), ((-1),43), ((1),44), ((2),45), ((-2),46), ((-1),47), ((1),48), ((-2),50), ((-1),51), ((-2),56), ((2),61), ((2),64), ((-2),67), ((-2),73)], (7)), ("GEQ", [((-2),1), ((2),2), ((-2),4), ((2),5), ((1),8), ((-1),9), ((1),12), ((-1),13), ((2),14), ((-2),17), ((-1),18), ((-2),19), ((-2),21), ((2),24), ((-1),25), ((-2),26), ((1),29), ((-1),30), ((-1),36), ((1),39), ((-2),41), ((2),43), ((-1),44), ((1),45), ((-1),46), ((1),47), ((-1),51), ((2),52), ((-1),53), ((-2),54), ((2),56), ((1),58), ((-2),60), ((1),61), ((2),62), ((1),64), ((-1),66), ((1),67), ((-2),68), ((1),70)], (-3)), ("GEQ", [((1),0), ((1),5), ((-2),7), ((-2),8), ((-1),10), ((1),11), ((-2),13), ((-1),15), ((-2),16), ((1),20), ((-1),21), ((-2),22), ((-2),26), ((-2),28), ((1),30), ((1),31), ((2),32), ((1),33), ((-2),34), ((-1),39), ((-1),42), ((-2),44), ((-1),45), ((-1),47), ((2),55), ((-2),57), ((-2),59), ((1),60), ((2),61), ((-2),62), ((-2),64), ((2),65), ((1),66), ((2),68), ((1),69), ((2),72), ((-2),73), ((-1),74)], (-11)), ("GEQ", [((2),1), ((-1),2), ((1),5), ((1),7), ((2),8), ((2),12), ((-1),14), ((2),15), ((2),16), ((1),18), ((2),19), ((1),21), ((2),23), ((1),24), ((-1),25), ((-2),27), ((1),29), ((-2),30), ((1),31), ((1),32), ((-2),35), ((-2),37), ((-1),41), ((-1),42), ((1),43), ((-2),44), ((2),46), ((1),47), ((1),48), ((-1),49), ((1),50), ((-1),53), ((2),55), ((-1),57), ((-1),60), ((1),61), ((1),62), ((1),63), ((-1),64), ((-2),65), ((-1),66), ((-2),68), ((2),70), ((1),72), ((2),73)], (18)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((-1),5), ((-1),6), ((-2),7), ((2),12), ((-1),13), ((1),17), ((2),19), ((-2),20), ((-2),23), ((-1),26), ((-1),27), ((1),29), ((2),30), ((1),34), ((1),35), ((2),38), ((1),42), ((1),43), ((-1),44), ((2),45), ((1),49), ((2),50), ((2),53), ((-1),56), ((-1),58), ((-2),59), ((-1),60), ((1),61), ((2),62), ((-2),63), ((1),65), ((-1),66), ((-1),67), ((-2),68), ((-1),70), ((2),72)], (25)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-2),3), ((-2),4), ((-1),5), ((-2),8), ((1),9), ((2),10), ((-1),11), ((-2),13), ((-1),14), ((-2),15), ((-1),16), ((-2),17), ((-2),18), ((1),19), ((1),20), ((-2),24), ((-1),25), ((2),26), ((-1),27), ((2),28), ((1),33), ((2),35), ((-2),36), ((-1),41), ((1),43), ((2),44), ((1),45), ((-1),47), ((1),48), ((-2),50), ((-1),51), ((-2),53), ((2),54), ((1),55), ((1),60), ((2),62), ((-1),63), ((-1),67), ((-1),68), ((1),72), ((1),74)], (19)), ("GEQ", [((2),0), ((-1),2), ((-2),3), ((-1),5), ((-2),8), ((1),10), ((1),13), ((1),15), ((1),16), ((-1),17), ((1),20), ((1),22), ((-2),30), ((1),31), ((-2),33), ((2),35), ((1),36), ((1),38), ((2),39), ((-1),43), ((-1),44), ((1),45), ((1),46), ((1),47), ((1),48), ((-1),49), ((-2),51), ((-2),52), ((-1),53), ((-2),54), ((-2),55), ((1),56), ((-2),57), ((2),58), ((2),61), ((2),64), ((1),65), ((2),67), ((1),68), ((1),70)], (-11)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((-2),7), ((2),8), ((-1),10), ((-2),11), ((2),12), ((2),15), ((2),16), ((-1),19), ((2),21), ((2),22), ((1),24), ((-1),26), ((2),27), ((-2),28), ((-1),31), ((-1),32), ((-1),34), ((-1),36), ((2),38), ((2),39), ((-2),40), ((-1),43), ((2),44), ((-1),48), ((-2),49), ((-2),50), ((1),51), ((-1),52), ((-1),55), ((2),57), ((-2),58), ((-1),59), ((1),62), ((1),63), ((-1),65), ((-1),66), ((-2),68), ((2),69), ((-2),73), ((1),74)], (-4)), ("GEQ", [((-1),0), ((2),2), ((-1),4), ((1),5), ((1),7), ((-1),8), ((1),9), ((1),11), ((-1),13), ((1),16), ((1),18), ((1),20), ((1),22), ((1),24), ((2),25), ((2),26), ((1),32), ((-2),34), ((1),35), ((-2),37), ((-2),38), ((-1),39), ((1),40), ((-1),43), ((2),44), ((1),45), ((-1),46), ((2),47), ((2),50), ((-2),51), ((1),52), ((2),53), ((1),54), ((-1),55), ((-2),56), ((1),58), ((-2),59), ((1),61), ((-1),64), ((2),67), ((-2),68), ((2),71), ((2),72), ((-2),73), ((-1),74)], (2)), ("GEQ", [((2),2), ((2),3), ((1),4), ((2),6), ((1),7), ((-2),9), ((1),12), ((2),15), ((-2),16), ((-1),17), ((-1),18), ((2),19), ((-2),20), ((1),21), ((-1),22), ((-2),23), ((1),24), ((1),27), ((1),28), ((-1),31), ((-2),34), ((-2),35), ((1),37), ((1),39), ((-1),41), ((-2),42), ((-2),43), ((1),45), ((-1),46), ((-2),50), ((-2),51), ((1),53), ((-2),54), ((2),55), ((-2),57), ((2),61), ((-2),62), ((-2),64), ((-1),67), ((-2),70), ((-2),71), ((1),73), ((-1),74)], (-20)), ("GEQ", [((2),1), ((-2),2), ((2),3), ((2),4), ((1),7), ((2),8), ((-1),10), ((-1),16), ((1),17), ((-1),20), ((-1),21), ((-1),24), ((-1),26), ((1),27), ((1),29), ((-1),30), ((-2),31), ((-1),34), ((-1),38), ((-2),39), ((-1),41), ((-1),46), ((2),48), ((-1),50), ((-2),52), ((1),53), ((1),54), ((1),56), ((-1),57), ((-2),58), ((1),59), ((-1),60), ((2),63), ((1),68), ((-1),69), ((1),70), ((-2),71), ((-1),73), ((1),74)], (1)), ("GEQ", [((2),0), ((-1),2), ((-1),3), ((-1),5), ((1),7), ((1),8), ((1),9), ((1),10), ((1),11), ((-2),14), ((1),18), ((1),19), ((1),20), ((1),21), ((-1),23), ((-2),25), ((1),27), ((2),29), ((2),31), ((2),33), ((-2),35), ((2),36), ((-1),37), ((-2),38), ((-2),39), ((-1),40), ((-1),44), ((-2),45), ((-2),48), ((1),56), ((2),57), ((1),59), ((2),60), ((-1),61), ((-1),63), ((1),65), ((-1),67), ((2),68), ((-2),69), ((-1),70), ((2),71), ((-1),72)], (-10)), ("GEQ", [((-1),0), ((-1),3), ((1),4), ((2),5), ((-2),6), ((-1),8), ((2),10), ((-2),11), ((1),12), ((-2),13), ((-2),15), ((-1),16), ((1),18), ((-1),19), ((2),21), ((2),25), ((2),27), ((1),29), ((2),30), ((1),31), ((2),33), ((1),35), ((1),36), ((-2),38), ((1),41), ((1),42), ((1),43), ((-1),45), ((1),46), ((-1),47), ((1),49), ((1),50), ((1),54), ((1),56), ((2),57), ((2),59), ((-2),61), ((-1),62), ((-1),63), ((-1),64), ((2),65), ((-2),66), ((1),69), ((-1),70), ((1),71), ((-2),72), ((2),74)], (-51)), ("GEQ", [((1),0), ((-2),2), ((1),4), ((-1),5), ((2),9), ((-1),10), ((-2),14), ((2),15), ((-1),16), ((1),18), ((1),21), ((1),23), ((1),24), ((2),27), ((1),28), ((1),29), ((1),30), ((-1),31), ((1),32), ((2),36), ((2),37), ((1),40), ((1),43), ((2),45), ((-1),46), ((-1),47), ((-2),50), ((2),51), ((2),52), ((1),54), ((2),55), ((-2),57), ((-2),58), ((1),61), ((-1),63), ((2),65), ((2),68), ((1),72), ((2),74)], (-35)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((-1),5), ((1),6), ((-1),8), ((-1),10), ((-1),11), ((1),16), ((-1),20), ((-2),21), ((2),24), ((-1),25), ((-2),26), ((1),27), ((1),28), ((-1),29), ((2),30), ((-1),31), ((2),32), ((-2),35), ((-1),36), ((2),37), ((2),41), ((2),42), ((-2),43), ((1),46), ((-2),49), ((-2),51), ((-2),54), ((1),55), ((2),56), ((1),57), ((-1),58), ((-2),60), ((-2),61), ((-2),63), ((1),65), ((-2),66), ((-2),67), ((1),69), ((-1),70), ((2),71)], (5)), ("GEQ", [((1),0), ((2),1), ((2),3), ((1),4), ((-2),5), ((2),8), ((1),9), ((-2),10), ((-2),11), ((-1),12), ((2),14), ((2),15), ((1),16), ((1),17), ((1),18), ((1),19), ((1),20), ((2),21), ((1),22), ((2),23), ((1),24), ((1),25), ((-1),26), ((1),32), ((-1),34), ((-1),36), ((1),37), ((2),38), ((-2),40), ((-2),43), ((-1),46), ((2),47), ((1),48), ((1),49), ((-1),52), ((-1),53), ((1),54), ((1),56), ((-2),57), ((1),58), ((-2),61), ((2),63), ((-1),64), ((1),65), ((-1),68), ((2),70), ((-1),71), ((1),72), ((1),73)], (-9)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((2),7), ((1),8), ((-2),9), ((-1),13), ((2),14), ((2),17), ((-1),18), ((-2),19), ((-1),22), ((2),24), ((2),25), ((-1),26), ((-1),27), ((1),28), ((-1),31), ((1),32), ((-1),33), ((1),34), ((-1),35), ((-1),36), ((1),37), ((-1),40), ((2),41), ((1),42), ((1),43), ((-1),44), ((2),46), ((1),48), ((1),52), ((2),55), ((-1),56), ((2),58), ((2),59), ((-2),61), ((1),63), ((2),64), ((-1),67), ((1),70), ((-1),71), ((1),72), ((-1),73)], (-10)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((2),4), ((2),7), ((2),8), ((-2),10), ((1),11), ((-2),12), ((2),14), ((2),15), ((1),16), ((-2),17), ((2),19), ((2),21), ((-2),24), ((-1),28), ((2),29), ((1),30), ((2),33), ((2),35), ((2),36), ((-2),37), ((1),38), ((2),39), ((-2),43), ((-2),44), ((2),49), ((1),53), ((2),55), ((2),56), ((2),57), ((2),60), ((-1),61), ((-1),62), ((-1),64), ((2),71), ((1),73), ((-2),74)], (0)), ("GEQ", [((-2),1), ((-1),2), ((2),6), ((2),9), ((1),10), ((-2),12), ((2),13), ((-2),15), ((1),17), ((2),19), ((-2),25), ((1),28), ((-2),29), ((-1),30), ((-2),31), ((-1),32), ((2),33), ((-2),35), ((1),37), ((1),38), ((-1),39), ((1),40), ((1),41), ((-1),44), ((2),45), ((-1),46), ((2),49), ((-1),50), ((1),53), ((2),54), ((1),56), ((1),57), ((-1),59), ((1),60), ((2),61), ((2),62), ((-1),64), ((-2),65), ((-2),66), ((-1),68), ((-1),69), ((-2),70), ((2),71), ((-1),72), ((-2),73), ((-2),74)], (41)), ("GEQ", [((-2),0), ((-2),2), ((1),3), ((1),7), ((-1),8), ((2),10), ((2),11), ((-2),13), ((1),15), ((-1),16), ((2),19), ((-1),20), ((-1),21), ((-2),23), ((2),25), ((-1),26), ((-1),27), ((2),30), ((-1),31), ((-2),32), ((1),34), ((1),35), ((1),36), ((2),39), ((1),40), ((-2),42), ((2),43), ((2),44), ((1),47), ((2),48), ((1),49), ((2),50), ((-2),51), ((1),54), ((-1),56), ((1),57), ((2),58), ((2),59), ((-2),61), ((-1),62), ((-2),64), ((-1),65), ((2),67), ((2),72)], (4)), ("GEQ", [((-1),0), ((1),4), ((1),6), ((-1),7), ((-1),8), ((-2),9), ((-1),11), ((-2),15), ((2),16), ((2),17), ((-1),18), ((1),19), ((-2),21), ((2),22), ((1),23), ((-2),25), ((-2),26), ((-2),28), ((1),29), ((2),32), ((1),33), ((1),35), ((1),36), ((-1),37), ((1),38), ((-2),40), ((-1),41), ((-1),42), ((-2),45), ((-1),51), ((1),52), ((-1),53), ((-1),54), ((1),55), ((2),56), ((-1),57), ((1),58), ((-2),59), ((-1),60), ((2),61), ((-1),62), ((-1),63), ((1),65), ((1),66), ((2),68), ((1),69), ((1),70), ((2),71), ((-1),72), ((2),73)], (-8)), ("GEQ", [((-2),3), ((-1),4), ((2),5), ((-2),6), ((1),11), ((1),12), ((2),13), ((-1),14), ((1),15), ((2),17), ((-2),21), ((2),22), ((-2),24), ((2),25), ((1),30), ((-2),31), ((2),32), ((-1),34), ((1),38), ((-1),40), ((-2),44), ((-1),46), ((-2),48), ((-2),49), ((2),50), ((-2),52), ((2),58), ((-2),59), ((-1),60), ((1),62), ((2),63), ((2),64), ((2),66), ((1),68), ((-1),70), ((-2),72), ((2),74)], (20)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-2),4), ((2),6), ((1),8), ((-1),10), ((-2),11), ((-2),12), ((1),13), ((1),15), ((2),17), ((-1),18), ((-1),19), ((-1),21), ((2),23), ((1),25), ((2),27), ((1),28), ((-2),29), ((2),30), ((2),31), ((-2),33), ((-1),35), ((-1),36), ((-1),37), ((2),39), ((1),40), ((1),49), ((-2),50), ((-2),51), ((-2),53), ((-1),54), ((1),56), ((-2),57), ((-1),62), ((-1),63), ((2),64), ((2),65), ((1),66), ((2),67), ((1),68), ((-2),70), ((1),71), ((-1),73)], (-11)), ("GEQ", [((-1),0), ((-2),4), ((-2),5), ((-2),6), ((-1),7), ((1),10), ((1),11), ((-2),13), ((-1),15), ((-1),16), ((1),18), ((-1),19), ((-1),22), ((2),26), ((2),27), ((-2),29), ((-1),33), ((-2),34), ((-1),35), ((2),38), ((-2),39), ((-2),41), ((2),44), ((2),45), ((1),46), ((-2),47), ((-2),48), ((-1),50), ((-1),51), ((1),52), ((2),53), ((1),55), ((-2),56), ((1),57), ((1),58), ((1),60), ((-1),61), ((-2),63), ((-2),68), ((2),69), ((-1),70), ((-2),74)], (26)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((-1),3), ((-1),5), ((2),9), ((2),10), ((-2),11), ((1),13), ((2),14), ((-1),15), ((1),17), ((1),19), ((1),20), ((-1),21), ((1),24), ((-2),25), ((2),26), ((-2),28), ((-1),29), ((-2),30), ((2),31), ((-1),32), ((-1),34), ((-2),35), ((-2),37), ((2),38), ((1),39), ((2),40), ((-1),43), ((2),45), ((1),46), ((2),47), ((-2),49), ((1),53), ((-2),54), ((-1),57), ((1),58), ((-1),61), ((2),62), ((-1),63), ((-2),64), ((-2),66), ((-2),68), ((-1),69), ((2),70), ((-1),72)], (-2)), ("GEQ", [((-13),0), ((20),1), ((-19),2), ((-13),3), ((30),4), ((-31),5), ((17),6), ((10),7), ((27),8), ((48),9), ((14),10), ((-17),11), ((-20),12), ((-10),13), ((-29),14), ((-5),15), ((56),16), ((9),17), ((21),18), ((-33),19), ((-23),20), ((20),21), ((-16),22), ((-31),23), ((-16),24), ((23),25), ((40),26), ((-32),27), ((-27),28), ((14),29), ((56),30), ((4),31), ((-33),32), ((-10),33), ((2),34), ((-46),35), ((21),36), ((20),37), ((-20),38), ((2),39), ((9),40), ((33),41), ((34),42), ((18),43), ((26),44), ((-21),45), ((-3),46), ((-19),47), ((-9),48), ((48),49), ((-2),50), ((15),51), ((-3),52), ((44),53), ((23),54), ((-9),55), ((-9),56), ((43),57), ((-14),58), ((4),59), ((-9),60), ((-12),61), ((-15),62), ((-17),63), ((-21),64), ((-10),65), ((3),66), ((-36),67), ((-41),68), ((-39),69), ((19),70), ((-40),71), ((15),72), ((9),73), ((58),74)], (399)), ("GEQ", [((32),0), ((-54),1), ((69),2), ((27),3), ((-49),4), ((101),5), ((-46),6), ((-38),7), ((-66),8), ((-142),9), ((-36),10), ((40),11), ((46),12), ((14),13), ((70),14), ((30),15), ((-130),16), ((-55),17), ((-59),18), ((53),19), ((74),20), ((-56),21), ((33),22), ((40),23), ((43),24), ((-74),25), ((-136),26), ((74),27), ((34),28), ((-21),29), ((-120),30), ((21),31), ((73),32), ((29),33), ((22),34), ((129),35), ((-26),36), ((-39),37), ((24),38), ((-17),39), ((-34),40), ((-96),41), ((-68),42), ((24),43), ((-54),44), ((57),45), ((10),46), ((20),47), ((-110),49), ((-16),50), ((2),51), ((-6),52), ((-103),53), ((-56),54), ((14),55), ((13),56), ((-96),57), ((18),58), ((-13),59), ((-17),60), ((47),61), ((29),62), ((28),63), ((42),64), ((32),65), ((-14),66), ((128),67), ((110),68), ((91),69), ((-13),70), ((70),71), ((-41),72), ((-45),73), ((-119),74)], (-1293)), ("GEQ", [((-2),0), ((13),1), ((39),2), ((-7),3), ((-30),4), ((31),5), ((16),6), ((-15),7), ((-30),8), ((-10),9), ((5),10), ((35),11), ((-6),12), ((23),13), ((-9),14), ((9),15), ((-25),16), ((-28),17), ((-22),18), ((-8),19), ((9),20), ((-30),21), ((-14),22), ((11),23), ((11),24), ((-38),25), ((-14),26), ((-21),27), ((1),28), ((-7),29), ((-33),30), ((6),31), ((-5),32), ((-6),33), ((-8),34), ((34),35), ((-16),36), ((-14),37), ((-17),38), ((1),39), ((8),40), ((-12),41), ((-35),42), ((-5),43), ((3),44), ((4),45), ((25),46), ((15),47), ((-4),48), ((-42),49), ((-12),50), ((-2),51), ((16),52), ((-15),53), ((-41),54), ((1),55), ((-23),56), ((-40),57), ((-30),58), ((-33),59), ((-11),60), ((16),61), ((-15),62), ((15),63), ((10),64), ((6),66), ((41),67), ((30),68), ((38),69), ((8),70), ((-9),71), ((7),72), ((-33),73), ((-14),74)], (-135)), ("GEQ", [((-22),0), ((-10),1), ((-204),2), ((115),4), ((-226),5), ((-34),6), ((87),7), ((169),8), ((151),9), ((-163),11), ((-12),12), ((-101),13), ((-15),14), ((-81),15), ((174),16), ((176),17), ((143),18), ((30),19), ((-83),20), ((152),21), ((34),22), ((-12),23), ((-70),24), ((197),25), ((175),26), ((44),27), ((16),28), ((24),29), ((177),30), ((-37),31), ((-7),32), ((1),33), ((15),34), ((-251),35), ((57),36), ((30),37), ((95),38), ((30),39), ((11),40), ((134),41), ((167),42), ((-57),43), ((39),44), ((-72),45), ((-85),46), ((-41),47), ((15),48), ((196),49), ((48),50), ((-19),51), ((-44),52), ((98),53), ((154),54), ((-8),55), ((93),56), ((226),57), ((128),58), ((148),59), ((101),60), ((-107),61), ((18),62), ((-83),63), ((-72),64), ((-48),65), ((-2),66), ((-272),67), ((-211),68), ((-191),69), ((-48),70), ((45),71), ((1),72), ((195),73), ((65),74)], (1755)), ("GEQ", [((-26),0), ((49),1), ((130),2), ((-27),3), ((-114),4), ((116),5), ((98),6), ((-26),7), ((-100),8), ((7),9), ((32),10), ((125),11), ((-70),12), ((88),13), ((-53),14), ((32),15), ((-49),16), ((-118),17), ((-63),18), ((-72),19), ((13),20), ((-92),21), ((-98),22), ((20),23), ((23),24), ((-105),25), ((-2),26), ((-119),27), ((-21),28), ((-28),29), ((-75),30), ((5),31), ((-88),32), ((-45),33), ((-26),34), ((99),35), ((-30),36), ((-39),37), ((-113),38), ((17),39), ((56),40), ((-7),41), ((-115),42), ((1),43), ((28),44), ((14),45), ((86),46), ((38),47), ((-11),48), ((-99),49), ((-21),50), ((-8),51), ((29),52), ((30),53), ((-123),54), ((-10),55), ((-105),56), ((-135),57), ((-106),58), ((-110),59), ((-85),60), ((49),61), ((-82),62), ((98),63), ((36),64), ((6),65), ((29),66), ((123),67), ((87),68), ((80),69), ((46),70), ((-81),71), ((53),72), ((-117),73), ((39),74)], (12)), ("GEQ", [((-7),0), ((60),1), ((-86),2), ((-21),3), ((64),4), ((-141),5), ((14),6), ((18),7), ((76),8), ((146),9), ((44),10), ((-47),11), ((-40),12), ((-18),13), ((-61),14), ((-41),15), ((145),16), ((85),17), ((57),18), ((-49),19), ((-81),20), ((64),21), ((8),22), ((-60),23), ((-53),24), ((100),25), ((131),26), ((-59),27), ((-22),28), ((25),29), ((134),30), ((-45),31), ((-47),32), ((-31),33), ((-42),34), ((-133),35), ((7),36), ((91),37), ((12),38), ((-13),39), ((16),40), ((101),41), ((107),42), ((-38),43), ((30),44), ((-55),45), ((-27),46), ((-34),47), ((12),48), ((166),49), ((15),50), ((-4),51), ((30),52), ((85),53), ((85),54), ((-26),55), ((9),56), ((100),57), ((-4),58), ((10),59), ((69),60), ((-49),61), ((18),62), ((-64),63), ((-16),64), ((-25),65), ((22),66), ((-160),67), ((-115),68), ((-97),69), ((-8),70), ((-70),71), ((32),72), ((35),73), ((103),74)], (1705)), ("GEQ", [((-32),0), ((37),1), ((59),2), ((-31),3), ((84),4), ((78),5), ((41),6), ((-22),7), ((-52),8), ((-8),9), ((-8),10), ((12),11), ((34),12), ((29),13), ((-88),14), ((55),15), ((-5),16), ((-82),17), ((-36),18), ((-64),19), ((-10),20), ((-31),21), ((-54),22), ((-83),23), ((-6),24), ((-91),25), ((-89),26), ((-40),27), ((-110),28), ((62),29), ((43),30), ((70),31), ((-23),32), ((27),33), ((37),34), ((33),35), ((57),36), ((11),37), ((-101),38), ((-5),39), ((-40),40), ((-50),41), ((-36),42), ((133),43), ((72),44), ((16),45), ((-18),46), ((-47),47), ((-76),48), ((-61),49), ((-59),50), ((72),51), ((-2),52), ((-1),53), ((1),54), ((-45),56), ((22),57), ((-134),58), ((-35),59), ((-115),60), ((60),61), ((-42),62), ((-36),63), ((-58),64), ((-14),65), ((-46),66), ((94),67), ((52),68), ((53),69), ((78),70), ((-93),71), ((-6),72), ((-66),73), ((89),74)], (-1645)), ("GEQ", [((82),0), ((-67),1), ((146),2), ((66),3), ((-143),4), ((204),5), ((-67),6), ((-106),7), ((-118),8), ((-277),9), ((-42),10), ((111),11), ((47),12), ((5),13), ((164),14), ((71),15), ((-215),16), ((-78),17), ((-118),18), ((70),19), ((145),20), ((-129),21), ((90),22), ((61),23), ((100),24), ((-109),25), ((-211),26), ((86),27), ((85),28), ((-77),29), ((-223),30), ((14),31), ((106),32), ((22),33), ((-21),34), ((281),35), ((-85),36), ((11),37), ((-77),39), ((-43),40), ((-183),41), ((-83),42), ((45),43), ((-163),44), ((87),45), ((70),46), ((65),47), ((54),48), ((-128),49), ((29),50), ((13),51), ((30),52), ((-181),53), ((-89),54), ((23),55), ((-18),56), ((-257),57), ((23),58), ((-63),59), ((-15),60), ((64),61), ((80),62), ((86),63), ((99),64), ((94),65), ((23),66), ((261),67), ((190),68), ((134),69), ((-21),70), ((53),71), ((-38),72), ((-123),73), ((-199),74)], (-1226)), ("GEQ", [((-20),0), ((8),1), ((8),2), ((-27),3), ((-80),4), ((-48),5), ((-5),6), ((51),7), ((-32),8), ((76),9), ((45),10), ((38),11), ((1),12), ((116),13), ((-31),14), ((-72),15), ((-16),16), ((-42),17), ((-52),18), ((17),19), ((-21),20), ((9),21), ((-14),22), ((92),23), ((-2),24), ((-83),25), ((68),26), ((-6),27), ((32),28), ((1),29), ((-67),30), ((-65),31), ((-5),32), ((-18),33), ((-39),34), ((-23),35), ((-59),36), ((-88),37), ((43),38), ((92),39), ((23),40), ((80),41), ((-118),42), ((-181),43), ((26),44), ((-58),45), ((27),46), ((49),47), ((-1),48), ((-90),49), ((-26),50), ((-133),51), ((33),52), ((15),53), ((-105),54), ((3),55), ((19),56), ((10),57), ((7),58), ((-57),59), ((77),60), ((-12),61), ((-9),62), ((21),63), ((92),64), ((-2),65), ((-4),66), ((-93),67), ((31),68), ((69),69), ((-63),70), ((93),71), ((-20),72), ((-10),73), ((-11),74)], (-89))]
[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, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74]
[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, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74]