[("GEQ", [((2),1), ((1),2), ((2),3), ((1),7), ((2),13), ((-2),14), ((-2),15), ((2),17), ((-2),18), ((-1),19), ((1),22), ((-1),23), ((1),25), ((-1),26), ((-1),28), ((1),30), ((-2),32), ((-1),35), ((1),36), ((2),37), ((-2),41), ((-1),42), ((1),44), ((-1),45), ((-2),50), ((1),51), ((-2),52), ((-2),53), ((1),54), ((-2),55), ((2),58), ((-2),61), ((-2),63), ((2),70), ((-2),71), ((2),72), ((-2),73)], (-54)), ("GEQ", [((-1),0), ((-2),2), ((2),5), ((2),6), ((2),9), ((1),10), ((2),14), ((-2),15), ((-1),17), ((-2),20), ((1),21), ((2),22), ((-1),24), ((-2),25), ((-2),28), ((2),29), ((2),32), ((2),33), ((-1),34), ((-1),35), ((-2),36), ((-1),37), ((-1),38), ((2),39), ((2),41), ((-1),42), ((1),43), ((1),46), ((2),47), ((2),49), ((-1),51), ((-1),52), ((-1),54), ((-2),55), ((-1),56), ((-1),57), ((-2),58), ((-2),59), ((2),61), ((2),63), ((-1),64), ((1),65), ((1),66), ((-2),67), ((-1),68), ((2),71), ((-2),72), ((2),73), ((1),74)], (47)), ("GEQ", [((-1),1), ((2),2), ((-1),4), ((1),5), ((1),6), ((-2),7), ((2),9), ((2),10), ((1),11), ((1),14), ((-1),15), ((-2),16), ((-1),18), ((2),19), ((2),20), ((-1),23), ((-1),25), ((-2),27), ((1),28), ((1),30), ((2),31), ((1),35), ((-1),36), ((1),37), ((1),39), ((-1),42), ((-2),44), ((-2),45), ((1),46), ((-2),47), ((2),48), ((2),49), ((1),50), ((2),52), ((1),54), ((1),55), ((2),56), ((-1),59), ((1),60), ((2),63), ((-2),64), ((-2),65), ((2),70), ((-1),71), ((2),72), ((-1),73), ((-2),74)], (16)), ("GEQ", [((1),1), ((-1),3), ((2),4), ((-1),5), ((2),6), ((2),7), ((-1),8), ((1),11), ((-1),21), ((2),22), ((-2),23), ((-1),24), ((1),26), ((-2),27), ((-1),28), ((-1),29), ((2),30), ((-2),31), ((2),32), ((-1),33), ((1),35), ((2),36), ((-2),38), ((-1),39), ((-1),41), ((2),45), ((2),46), ((-2),47), ((2),48), ((2),49), ((-1),50), ((1),52), ((-1),53), ((-2),55), ((-2),56), ((1),60), ((1),62), ((-2),63), ((2),64), ((-1),66), ((-1),68), ((-1),69), ((2),70), ((-2),71), ((1),74)], (-2)), ("GEQ", [((-1),0), ((-1),3), ((-2),4), ((-1),6), ((-2),7), ((-1),8), ((2),10), ((-2),14), ((-1),15), ((-1),16), ((2),19), ((2),21), ((2),22), ((-1),26), ((1),27), ((1),29), ((1),32), ((-2),36), ((-2),38), ((-2),39), ((1),41), ((-1),43), ((-1),44), ((1),45), ((2),47), ((2),49), ((-2),50), ((-2),51), ((2),52), ((1),59), ((-2),60), ((1),61), ((1),64), ((-1),65), ((-1),68), ((2),70), ((-1),71), ((-2),72)], (31)), ("GEQ", [((-1),3), ((-1),4), ((1),5), ((1),6), ((-2),8), ((-2),12), ((2),13), ((2),16), ((-1),17), ((-1),19), ((-1),22), ((2),24), ((-2),25), ((-1),26), ((-2),27), ((2),28), ((-2),29), ((-2),30), ((2),31), ((-2),34), ((1),35), ((-2),38), ((-2),39), ((-2),40), ((-2),41), ((-2),43), ((-2),46), ((2),48), ((1),50), ((2),51), ((2),53), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((2),59), ((-1),62), ((-1),63), ((2),64), ((1),65), ((-1),66), ((-2),67), ((1),68), ((-2),74)], (37)), ("GEQ", [((2),1), ((2),2), ((-2),5), ((-1),7), ((-2),8), ((1),9), ((1),13), ((1),16), ((-2),17), ((1),19), ((1),20), ((1),28), ((-1),30), ((2),33), ((-2),36), ((2),39), ((-1),40), ((-2),41), ((1),43), ((2),44), ((1),45), ((2),48), ((2),49), ((-1),50), ((1),51), ((2),53), ((2),54), ((-1),56), ((2),58), ((2),60), ((-1),62), ((2),63), ((-1),64), ((-1),65), ((1),67), ((2),68), ((-2),69), ((1),70), ((2),71), ((-1),73), ((2),74)], (0)), ("GEQ", [((-1),2), ((2),5), ((-2),7), ((2),8), ((-2),9), ((-2),10), ((1),11), ((1),16), ((-1),17), ((-2),20), ((-1),21), ((2),23), ((-2),25), ((2),26), ((1),28), ((-2),29), ((2),31), ((2),32), ((2),33), ((2),34), ((-2),37), ((-1),38), ((-1),40), ((-1),41), ((-1),43), ((-1),44), ((-1),45), ((2),46), ((1),48), ((2),49), ((-2),50), ((-1),51), ((1),52), ((-1),54), ((1),55), ((-2),56), ((-1),57), ((-2),58), ((-2),60), ((-2),61), ((-2),63), ((-1),64), ((1),65), ((2),68), ((-2),69), ((-1),73)], (21)), ("GEQ", [((1),0), ((-1),1), ((2),4), ((-2),5), ((1),9), ((2),10), ((2),12), ((-2),14), ((2),16), ((2),17), ((2),18), ((1),19), ((-2),20), ((-1),21), ((-1),22), ((2),23), ((2),24), ((2),25), ((-2),28), ((1),29), ((1),30), ((-2),31), ((2),33), ((-2),34), ((1),35), ((1),38), ((2),40), ((-1),44), ((-2),45), ((-2),48), ((1),50), ((-1),52), ((-1),54), ((2),56), ((-1),58), ((1),59), ((1),61), ((-1),63), ((1),64), ((1),65), ((-2),67), ((-2),69), ((-1),70), ((-1),71), ((1),74)], (3)), ("GEQ", [((2),2), ((-1),3), ((-2),5), ((1),7), ((2),9), ((-2),11), ((2),13), ((-2),14), ((-2),17), ((1),18), ((-2),19), ((-1),20), ((2),21), ((1),22), ((-1),25), ((-1),26), ((2),27), ((-2),28), ((-1),30), ((-2),32), ((-1),34), ((-1),35), ((1),36), ((-2),37), ((2),38), ((-1),41), ((-2),45), ((1),47), ((-1),48), ((-1),49), ((-2),50), ((1),52), ((2),53), ((-1),55), ((-2),56), ((2),59), ((-1),60), ((1),62), ((-2),66), ((-2),67), ((1),72), ((1),74)], (26)), ("GEQ", [((-2),1), ((-1),2), ((-2),3), ((-2),5), ((-1),6), ((-1),7), ((-2),8), ((-2),10), ((-2),12), ((1),13), ((2),14), ((-2),15), ((2),16), ((2),17), ((1),19), ((1),20), ((1),21), ((-2),22), ((-1),23), ((-2),24), ((2),27), ((2),30), ((-1),31), ((-1),33), ((2),34), ((-2),36), ((2),37), ((2),38), ((-1),41), ((-2),43), ((1),44), ((1),46), ((2),47), ((-2),48), ((2),49), ((-2),50), ((1),51), ((2),52), ((-1),53), ((1),56), ((-2),57), ((-2),62), ((1),63), ((-1),64), ((-2),65), ((2),67), ((2),68), ((-2),70), ((-2),72)], (31)), ("GEQ", [((-1),0), ((1),2), ((-2),6), ((2),9), ((-2),10), ((-1),11), ((-1),12), ((2),13), ((2),14), ((-1),16), ((-1),21), ((2),22), ((-1),23), ((-2),24), ((-1),25), ((2),26), ((1),27), ((-1),30), ((1),31), ((1),32), ((1),33), ((-2),35), ((2),36), ((1),37), ((-2),39), ((-1),42), ((-1),43), ((1),44), ((1),45), ((2),46), ((-1),47), ((1),50), ((2),51), ((-2),52), ((1),53), ((1),54), ((2),56), ((-1),57), ((-1),60), ((1),61), ((-2),62), ((2),63), ((2),65), ((-1),67), ((-2),68), ((-2),71), ((-2),72), ((1),73)], (-16)), ("GEQ", [((-2),0), ((2),2), ((-2),4), ((-2),5), ((-1),6), ((2),8), ((1),11), ((1),13), ((1),17), ((-2),18), ((-2),19), ((-1),21), ((-2),22), ((-1),24), ((2),25), ((-2),26), ((2),28), ((-1),29), ((-2),30), ((-1),33), ((-1),34), ((1),35), ((-1),36), ((-1),38), ((-1),39), ((-1),40), ((-2),45), ((1),46), ((2),47), ((2),50), ((-2),52), ((-1),54), ((-1),56), ((-1),57), ((-2),58), ((2),59), ((1),60), ((2),61), ((-2),63), ((-2),64), ((1),67), ((-1),68), ((1),70), ((-1),71), ((2),72), ((-2),73)], (6)), ("GEQ", [((-1),2), ((2),4), ((1),5), ((1),6), ((2),8), ((2),9), ((-2),11), ((-2),13), ((2),14), ((1),17), ((-1),20), ((-1),21), ((-1),22), ((-2),24), ((-2),25), ((2),26), ((1),27), ((1),29), ((2),31), ((-2),32), ((1),35), ((2),39), ((2),40), ((2),41), ((-1),42), ((-1),47), ((-1),48), ((-1),49), ((1),50), ((1),52), ((-1),54), ((-2),57), ((-1),61), ((-1),62), ((1),64), ((-1),66), ((2),68), ((1),69), ((-2),72), ((2),73), ((1),74)], (-20)), ("GEQ", [((1),3), ((-1),5), ((1),6), ((1),7), ((-2),9), ((-2),12), ((-1),13), ((1),15), ((-2),18), ((-2),19), ((1),20), ((-2),22), ((-2),23), ((2),26), ((1),27), ((2),29), ((1),33), ((-2),34), ((-1),35), ((1),42), ((2),43), ((-1),44), ((2),45), ((2),48), ((1),54), ((1),56), ((-1),58), ((-2),62), ((2),63), ((-1),65), ((2),67), ((1),69), ((2),70), ((-2),71), ((-2),72), ((2),73)], (-17)), ("GEQ", [((1),0), ((-1),1), ((-2),3), ((-1),5), ((-1),8), ((1),9), ((-1),10), ((-1),11), ((-1),12), ((-2),15), ((1),16), ((2),20), ((1),21), ((-1),22), ((-1),23), ((-2),24), ((2),26), ((-1),28), ((2),29), ((-1),30), ((1),31), ((2),33), ((1),34), ((-2),37), ((-1),38), ((2),40), ((-1),41), ((1),44), ((-1),46), ((1),47), ((-2),48), ((-2),52), ((-1),57), ((1),61), ((2),62), ((2),64), ((1),65), ((2),68), ((1),71), ((-1),72), ((2),73)], (4)), ("GEQ", [((1),1), ((-1),2), ((2),3), ((2),7), ((-2),9), ((-1),10), ((2),12), ((2),14), ((2),15), ((1),18), ((1),20), ((-1),22), ((-1),25), ((1),26), ((1),28), ((1),29), ((-2),30), ((2),31), ((2),34), ((2),35), ((-1),36), ((1),37), ((-2),40), ((2),42), ((-2),43), ((1),44), ((-2),45), ((1),46), ((-2),47), ((2),48), ((1),50), ((1),52), ((2),53), ((1),54), ((-1),55), ((1),56), ((-1),57), ((2),62), ((-2),63), ((1),64), ((1),65), ((-2),66), ((2),67), ((-1),68), ((-2),70), ((-2),71), ((-2),72), ((-2),73)], (-1)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((-2),4), ((2),5), ((-1),6), ((-1),9), ((1),14), ((2),16), ((1),17), ((1),19), ((1),20), ((-1),21), ((-1),22), ((1),23), ((2),24), ((-1),25), ((2),26), ((1),27), ((-1),28), ((2),32), ((-2),33), ((2),34), ((-1),35), ((1),36), ((-2),38), ((1),39), ((-2),40), ((1),41), ((1),42), ((-2),43), ((2),44), ((-2),45), ((-2),46), ((-1),47), ((2),48), ((2),49), ((1),50), ((2),51), ((1),53), ((-1),54), ((-2),57), ((-2),58), ((1),59), ((2),61), ((1),64), ((-2),69), ((2),70), ((-1),71), ((-1),72)], (21)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((-1),4), ((1),5), ((-1),7), ((2),8), ((-2),9), ((2),10), ((-2),13), ((-2),18), ((1),19), ((1),25), ((-1),26), ((-2),29), ((-2),30), ((-2),31), ((2),32), ((2),33), ((2),34), ((-2),35), ((2),37), ((1),39), ((-2),40), ((-1),43), ((2),44), ((2),45), ((1),46), ((1),48), ((1),49), ((2),51), ((2),52), ((-2),53), ((-1),55), ((1),56), ((-2),58), ((-2),59), ((-1),60), ((-2),61), ((-1),63), ((2),65), ((-1),66), ((2),67), ((2),68), ((-2),73), ((-1),74)], (-12)), ("GEQ", [((2),1), ((2),3), ((-1),4), ((-1),5), ((-2),8), ((2),10), ((-1),11), ((1),12), ((2),13), ((2),18), ((1),19), ((1),20), ((2),21), ((-2),22), ((1),28), ((-2),29), ((1),30), ((-1),31), ((-2),36), ((1),37), ((-2),38), ((-2),41), ((-1),43), ((-1),44), ((-2),45), ((2),48), ((-1),49), ((-1),56), ((-1),57), ((-2),58), ((-2),61), ((-1),62), ((-2),63), ((2),65), ((1),68), ((-2),69)], (30)), ("GEQ", [((-1),1), ((1),3), ((-2),4), ((1),8), ((1),9), ((2),10), ((2),11), ((-1),12), ((1),13), ((-2),16), ((-2),17), ((-1),18), ((2),19), ((-1),21), ((2),22), ((-1),23), ((2),24), ((-2),25), ((-1),26), ((-1),27), ((-1),28), ((-1),30), ((-1),32), ((2),34), ((1),40), ((1),42), ((-2),43), ((-2),45), ((-1),47), ((-2),48), ((1),49), ((1),51), ((2),52), ((-1),57), ((-2),58), ((1),59), ((2),60), ((1),61), ((2),64), ((-2),65), ((1),66), ((-2),67), ((-1),69), ((1),70), ((2),72)], (1)), ("GEQ", [((-1),0), ((-1),3), ((-2),5), ((-2),6), ((2),7), ((-2),10), ((2),15), ((1),18), ((-1),19), ((1),21), ((-1),22), ((2),23), ((1),25), ((-2),27), ((2),28), ((-2),29), ((2),30), ((-2),31), ((1),33), ((1),34), ((2),38), ((-1),39), ((1),41), ((2),42), ((-2),43), ((-2),49), ((-2),50), ((1),51), ((1),52), ((2),53), ((-1),54), ((-1),55), ((-2),56), ((-1),57), ((-1),58), ((-2),59), ((1),60), ((-2),62), ((1),65), ((-2),66), ((1),67), ((2),68), ((-2),69), ((-1),70), ((-1),71), ((-2),72), ((2),73), ((1),74)], (-4)), ("GEQ", [((2),0), ((2),1), ((-1),3), ((-1),4), ((2),6), ((-2),7), ((2),8), ((-2),9), ((-1),11), ((2),12), ((-2),15), ((-1),16), ((-1),17), ((1),20), ((-2),23), ((-1),24), ((1),25), ((-2),29), ((1),34), ((1),35), ((2),36), ((-2),40), ((1),41), ((-2),42), ((-1),43), ((1),45), ((1),46), ((1),47), ((-2),48), ((-2),49), ((-1),51), ((-2),52), ((-1),53), ((-2),54), ((-2),56), ((1),57), ((1),58), ((-2),59), ((-2),60), ((2),62), ((-2),63), ((-1),64), ((1),67), ((1),69), ((2),70), ((1),71)], (11)), ("GEQ", [((2),0), ((2),1), ((-1),5), ((1),6), ((-1),8), ((1),10), ((2),11), ((-1),12), ((1),14), ((2),15), ((1),20), ((-2),23), ((-2),24), ((-1),26), ((-1),28), ((2),29), ((2),33), ((-1),37), ((-1),38), ((2),39), ((2),40), ((-1),41), ((-2),42), ((-1),43), ((2),45), ((1),46), ((-2),50), ((-1),51), ((1),52), ((-1),53), ((-1),55), ((-1),57), ((1),58), ((1),59), ((-2),63), ((-1),66), ((2),67), ((2),68), ((1),70), ((1),71), ((1),73), ((1),74)], (10)), ("GEQ", [((1),1), ((2),2), ((2),4), ((1),5), ((2),12), ((-1),13), ((1),14), ((-1),16), ((1),17), ((2),18), ((-1),19), ((2),23), ((1),24), ((-2),26), ((1),28), ((1),29), ((-1),31), ((-2),35), ((2),36), ((-1),37), ((-1),39), ((2),43), ((1),44), ((2),45), ((1),46), ((2),49), ((-1),50), ((-2),52), ((-1),53), ((-1),54), ((2),56), ((-2),57), ((2),58), ((-2),59), ((2),60), ((-2),63), ((-2),66), ((-2),70), ((-1),71), ((1),72)], (-23)), ("GEQ", [((1),0), ((-2),1), ((-2),4), ((2),5), ((-2),6), ((2),7), ((2),10), ((-1),11), ((2),12), ((2),13), ((2),15), ((1),16), ((-1),22), ((1),23), ((-1),24), ((-2),25), ((-2),26), ((-2),27), ((-1),28), ((-1),29), ((-1),30), ((2),31), ((-1),32), ((1),33), ((1),34), ((2),35), ((2),36), ((1),37), ((1),40), ((-1),41), ((-1),43), ((1),44), ((-1),47), ((1),48), ((-2),51), ((-2),52), ((-2),53), ((1),54), ((-2),55), ((1),56), ((-2),57), ((-2),59), ((-1),60), ((2),61), ((1),62), ((-1),63), ((2),65), ((1),68), ((-1),69), ((-1),70), ((1),72), ((-1),73), ((-2),74)], (-2)), ("GEQ", [((1),0), ((2),1), ((2),2), ((-2),5), ((-1),7), ((-1),8), ((1),10), ((-1),13), ((2),14), ((-1),15), ((-1),17), ((1),23), ((-2),24), ((-1),26), ((2),28), ((-2),30), ((-1),31), ((1),32), ((-1),33), ((1),34), ((-2),36), ((-2),38), ((1),40), ((2),41), ((-1),42), ((-2),43), ((2),44), ((2),47), ((1),48), ((-1),49), ((-1),50), ((1),51), ((2),55), ((2),57), ((1),58), ((1),59), ((-1),62), ((2),64), ((2),65), ((2),66), ((1),68), ((-1),69), ((2),70), ((-1),71), ((-1),72), ((-2),73)], (-6)), ("GEQ", [((-1),0), ((1),2), ((-1),3), ((1),4), ((-2),5), ((-2),6), ((-2),7), ((-2),9), ((-2),11), ((-1),14), ((-1),17), ((-2),18), ((1),20), ((2),21), ((-2),24), ((-1),25), ((-1),26), ((-1),27), ((2),28), ((-2),29), ((-2),31), ((-2),33), ((1),35), ((-1),39), ((1),40), ((1),41), ((1),44), ((2),46), ((-1),47), ((-2),48), ((-2),51), ((2),53), ((1),54), ((-1),56), ((2),59), ((-1),62), ((2),63), ((-1),66), ((1),68), ((-1),71), ((2),72), ((-2),73)], (-22)), ("GEQ", [((-1),0), ((1),3), ((-1),6), ((-2),7), ((2),9), ((2),11), ((-1),12), ((1),14), ((-2),16), ((-1),17), ((1),18), ((2),19), ((2),20), ((-2),22), ((-2),23), ((1),24), ((-2),27), ((2),29), ((-2),30), ((-1),31), ((-2),32), ((-2),33), ((2),35), ((2),36), ((2),39), ((1),40), ((-1),44), ((-1),45), ((2),47), ((-2),51), ((-1),52), ((2),53), ((2),55), ((-1),56), ((2),57), ((-1),58), ((-1),59), ((1),60), ((-2),65), ((-2),68), ((-2),70), ((1),73), ((1),74)], (25)), ("GEQ", [((-1),0), ((-2),2), ((1),5), ((-2),8), ((-1),11), ((1),12), ((1),14), ((-2),16), ((2),17), ((-2),18), ((2),19), ((-1),20), ((2),21), ((-2),22), ((2),23), ((1),24), ((-2),25), ((-1),26), ((-2),30), ((-1),31), ((-1),32), ((-1),34), ((-2),35), ((1),37), ((1),41), ((2),42), ((-2),44), ((-1),46), ((1),48), ((-1),51), ((-2),53), ((-2),55), ((1),56), ((-1),57), ((1),58), ((-2),59), ((1),61), ((1),62), ((-1),64), ((-2),66), ((1),68), ((1),69), ((1),70), ((-2),74)], (31)), ("GEQ", [((2),0), ((2),2), ((-1),5), ((-1),6), ((1),8), ((2),11), ((1),15), ((-2),17), ((2),19), ((-2),22), ((2),23), ((-2),27), ((-2),30), ((-1),31), ((-2),32), ((-2),34), ((2),35), ((2),36), ((2),37), ((-1),38), ((-2),40), ((-2),41), ((2),42), ((-1),44), ((1),45), ((-1),49), ((2),50), ((1),51), ((2),52), ((1),53), ((-2),54), ((-1),58), ((-1),60), ((-2),62), ((1),64), ((2),67), ((-2),74)], (15)), ("GEQ", [((-1),0), ((1),1), ((-2),4), ((-2),5), ((-1),8), ((1),9), ((-2),11), ((-2),15), ((1),16), ((2),17), ((-2),19), ((-2),21), ((1),22), ((2),23), ((-1),25), ((-1),31), ((-2),34), ((-1),35), ((1),36), ((1),37), ((-2),39), ((1),42), ((2),43), ((-1),44), ((2),45), ((-1),46), ((1),47), ((2),49), ((2),50), ((-1),51), ((2),52), ((1),53), ((2),54), ((1),56), ((-1),57), ((-1),58), ((1),59), ((-1),60), ((2),63), ((1),65), ((2),68), ((-1),72), ((-1),73)], (-21)), ("GEQ", [((-1),0), ((-1),1), ((-1),3), ((2),4), ((-2),5), ((1),6), ((1),7), ((-2),8), ((1),10), ((-2),13), ((-2),14), ((-2),15), ((1),16), ((2),17), ((-1),21), ((2),22), ((-2),24), ((2),27), ((-1),28), ((-2),30), ((-1),32), ((2),33), ((-2),34), ((1),36), ((-1),37), ((1),38), ((2),39), ((1),40), ((-1),41), ((2),42), ((2),43), ((-2),44), ((2),45), ((2),46), ((-2),47), ((-2),48), ((2),49), ((2),51), ((-1),52), ((-1),54), ((2),55), ((-2),56), ((2),57), ((2),58), ((1),60), ((-1),64), ((1),66), ((-2),67), ((-2),73), ((1),74)], (-43)), ("GEQ", [((1),1), ((-2),3), ((-1),4), ((-2),6), ((2),7), ((1),8), ((-1),9), ((2),11), ((-2),13), ((1),16), ((1),18), ((-1),19), ((2),20), ((1),21), ((2),24), ((-1),26), ((1),27), ((2),29), ((-1),31), ((-2),32), ((-2),36), ((-2),39), ((2),40), ((1),41), ((1),42), ((2),43), ((-1),44), ((-1),45), ((1),46), ((-1),47), ((-1),50), ((1),54), ((-2),55), ((2),56), ((1),58), ((2),60), ((2),62), ((-2),64), ((-1),65), ((-2),66), ((2),70), ((2),71), ((-2),73), ((2),74)], (14)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((1),4), ((-2),5), ((1),7), ((-1),8), ((2),9), ((-2),10), ((-2),12), ((-2),13), ((-1),14), ((1),15), ((-2),17), ((2),19), ((2),20), ((1),21), ((1),22), ((-2),23), ((2),26), ((-2),27), ((2),29), ((-1),33), ((-1),34), ((-2),36), ((-1),38), ((1),40), ((2),41), ((-2),42), ((2),43), ((-2),46), ((2),48), ((1),50), ((-2),55), ((1),56), ((2),57), ((-2),58), ((2),59), ((1),60), ((2),63), ((-2),64), ((2),66), ((1),67), ((-2),68), ((-1),69), ((1),70), ((-2),71), ((-1),72), ((2),73)], (14)), ("GEQ", [((-1),0), ((-1),1), ((-2),3), ((-2),4), ((-1),7), ((2),8), ((-2),10), ((1),12), ((1),13), ((-1),14), ((2),18), ((-1),20), ((2),23), ((-2),24), ((1),25), ((2),29), ((1),31), ((1),32), ((1),34), ((-2),36), ((2),37), ((-2),40), ((2),41), ((2),42), ((-1),45), ((2),49), ((-2),50), ((2),52), ((1),53), ((2),54), ((2),55), ((-1),56), ((2),57), ((2),58), ((-2),59), ((-1),60), ((-1),61), ((-2),62), ((2),66), ((1),67), ((2),68), ((1),70), ((-2),72), ((1),74)], (9)), ("GEQ", [((-1),4), ((1),5), ((-2),8), ((-1),9), ((2),10), ((1),13), ((2),14), ((2),15), ((1),16), ((2),18), ((1),20), ((2),21), ((1),22), ((1),24), ((-2),25), ((-1),26), ((-2),28), ((1),30), ((2),31), ((2),32), ((-1),34), ((1),35), ((-1),36), ((2),38), ((-1),39), ((2),42), ((-1),43), ((1),45), ((-2),47), ((1),49), ((1),50), ((1),54), ((-2),55), ((2),56), ((2),60), ((2),61), ((-2),62), ((-2),65), ((-2),67), ((-1),69), ((1),72), ((-1),74)], (43)), ("GEQ", [((-2),2), ((-2),3), ((1),4), ((1),6), ((-1),9), ((1),10), ((-2),11), ((-1),12), ((-1),15), ((-2),17), ((2),20), ((1),21), ((1),23), ((2),24), ((2),27), ((2),28), ((2),29), ((-2),30), ((1),32), ((2),34), ((-2),36), ((2),38), ((-1),40), ((-2),42), ((-1),43), ((1),44), ((-1),46), ((-1),47), ((-2),49), ((-1),51), ((1),52), ((-1),54), ((2),56), ((2),58), ((-2),59), ((2),60), ((-2),61), ((-2),62), ((2),65), ((1),66), ((-1),68), ((1),69), ((2),70), ((-2),72), ((-2),74)], (-1)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((1),4), ((-2),5), ((1),6), ((2),7), ((2),8), ((2),9), ((-1),10), ((-2),11), ((-2),12), ((-2),13), ((-2),16), ((2),18), ((1),21), ((-1),22), ((1),23), ((2),24), ((-1),25), ((2),28), ((-2),29), ((-2),31), ((1),34), ((2),35), ((-2),36), ((-1),37), ((2),39), ((1),42), ((2),44), ((-1),45), ((-2),48), ((1),49), ((1),52), ((-2),53), ((-2),54), ((2),55), ((2),56), ((1),58), ((1),59), ((1),60), ((-1),62), ((-1),63), ((2),64), ((1),65), ((2),66), ((-1),67), ((-2),72), ((-1),73), ((-1),74)], (-47)), ("GEQ", [((-2),0), ((2),1), ((2),4), ((2),9), ((2),11), ((1),16), ((2),17), ((-2),18), ((-1),19), ((2),20), ((1),21), ((-2),22), ((-2),23), ((-1),24), ((1),25), ((1),26), ((1),28), ((-2),30), ((1),31), ((-1),33), ((-2),34), ((1),35), ((2),36), ((2),39), ((2),42), ((-1),44), ((1),45), ((2),48), ((-2),49), ((1),50), ((-2),51), ((1),53), ((-1),56), ((-2),58), ((-1),59), ((-2),60), ((-2),61), ((-1),63), ((-2),64), ((-2),65), ((2),66), ((1),67), ((2),68), ((1),73)], (-17)), ("GEQ", [((1),1), ((2),2), ((2),3), ((1),6), ((2),7), ((-1),9), ((1),10), ((-2),12), ((-2),13), ((-2),14), ((-2),15), ((2),16), ((1),19), ((1),21), ((-1),23), ((-2),27), ((1),29), ((2),31), ((1),33), ((2),34), ((-1),35), ((1),37), ((-2),38), ((1),40), ((-1),41), ((-2),42), ((1),43), ((1),47), ((1),49), ((2),50), ((1),56), ((-2),59), ((-1),63), ((-1),64), ((-1),65), ((2),66), ((2),67), ((1),69), ((-2),70), ((2),72), ((-2),74)], (-30)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((-1),5), ((2),6), ((1),7), ((-2),11), ((-1),13), ((2),15), ((-1),16), ((1),17), ((-1),18), ((1),20), ((-2),23), ((-2),26), ((2),28), ((-1),33), ((-2),37), ((2),38), ((1),39), ((-1),40), ((-2),44), ((1),46), ((2),47), ((2),48), ((-1),49), ((2),50), ((2),51), ((1),52), ((2),53), ((-2),55), ((-2),56), ((-1),58), ((2),59), ((2),60), ((1),61), ((-2),64), ((1),65), ((1),66), ((-2),69), ((-2),70), ((2),72), ((1),73), ((-2),74)], (12)), ("GEQ", [((2),0), ((-2),1), ((2),5), ((1),6), ((-1),7), ((1),9), ((1),12), ((-1),13), ((1),15), ((-2),17), ((-2),19), ((1),23), ((1),25), ((1),26), ((2),27), ((-1),29), ((1),30), ((1),32), ((-2),34), ((2),36), ((-2),37), ((1),38), ((1),40), ((-2),43), ((-2),44), ((-1),45), ((-1),50), ((2),52), ((-1),53), ((-1),56), ((-2),57), ((1),58), ((1),59), ((2),61), ((-1),62), ((-1),64), ((2),66), ((2),67), ((-2),69), ((-2),70), ((-2),71), ((-1),72), ((-1),73), ((-1),74)], (3)), ("GEQ", [((-1),3), ((2),5), ((-1),6), ((2),7), ((-2),8), ((-2),9), ((-1),16), ((-1),17), ((1),18), ((1),19), ((-2),20), ((-1),21), ((-1),22), ((-1),24), ((2),25), ((-2),26), ((-2),27), ((-1),30), ((2),31), ((1),32), ((1),33), ((2),36), ((2),37), ((2),38), ((2),39), ((-2),40), ((-2),41), ((-1),42), ((-2),43), ((1),44), ((2),45), ((2),46), ((2),47), ((-1),48), ((-1),51), ((1),53), ((2),55), ((-2),58), ((-1),60), ((-1),61), ((-2),62), ((2),63), ((-1),64), ((-1),66), ((-1),67), ((-2),68), ((1),69), ((-1),70), ((2),72), ((2),73), ((1),74)], (-7)), ("GEQ", [((1),0), ((-1),2), ((2),6), ((-1),7), ((-1),8), ((-2),9), ((-2),10), ((2),11), ((-1),14), ((1),15), ((-2),16), ((1),18), ((1),20), ((-1),21), ((1),22), ((-2),24), ((1),25), ((-1),27), ((-2),28), ((-1),29), ((2),30), ((-1),35), ((1),36), ((1),40), ((2),45), ((2),51), ((2),52), ((2),57), ((-1),59), ((2),60), ((-2),61), ((-2),62), ((-1),63), ((-2),64), ((-2),65), ((1),67), ((-2),68), ((-1),70), ((-2),71), ((2),72), ((-1),73)], (2)), ("GEQ", [((-2),4), ((-1),5), ((2),6), ((-1),9), ((1),12), ((-2),14), ((-2),15), ((-1),17), ((-2),18), ((2),19), ((2),20), ((-2),21), ((2),22), ((-2),24), ((2),25), ((-2),26), ((-2),27), ((2),28), ((-2),29), ((-2),32), ((-2),34), ((-2),35), ((-1),37), ((-1),39), ((2),41), ((1),42), ((1),43), ((2),44), ((-1),45), ((-1),46), ((2),48), ((-2),49), ((-1),50), ((-2),51), ((-2),54), ((-2),56), ((-2),57), ((2),59), ((1),61), ((2),62), ((1),63), ((1),64), ((2),65), ((-2),68), ((2),70), ((-2),72)], (-59)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-2),3), ((-2),4), ((1),6), ((-2),7), ((-2),10), ((-1),11), ((1),13), ((2),15), ((2),16), ((2),17), ((1),19), ((-1),20), ((-1),21), ((2),24), ((-1),28), ((1),29), ((-2),30), ((-2),32), ((-2),33), ((-2),35), ((-2),36), ((2),37), ((-2),38), ((-1),40), ((-1),41), ((1),43), ((-2),47), ((1),48), ((-2),49), ((-1),50), ((2),51), ((-1),54), ((2),56), ((-2),58), ((2),59), ((2),60), ((-1),65), ((-1),67), ((1),69), ((1),70), ((2),71), ((-1),72)], (47)), ("GEQ", [((-1),2), ((-1),6), ((-2),8), ((-1),9), ((-1),10), ((-1),11), ((-1),14), ((2),15), ((1),16), ((1),17), ((-2),18), ((-1),19), ((2),20), ((-1),21), ((-2),23), ((-1),24), ((2),26), ((2),27), ((-1),28), ((1),30), ((-1),31), ((-2),33), ((2),37), ((-2),38), ((-1),40), ((1),41), ((1),44), ((-1),45), ((-1),46), ((-2),48), ((2),51), ((-2),53), ((1),54), ((-1),55), ((2),56), ((-1),57), ((1),58), ((2),60), ((-1),61), ((1),62), ((-2),64), ((-2),66), ((2),67), ((-1),68), ((2),69), ((-1),70), ((-1),72), ((-2),73)], (28)), ("GEQ", [((1),0), ((1),2), ((1),4), ((1),6), ((-1),7), ((-2),8), ((1),9), ((1),10), ((-1),13), ((2),15), ((2),16), ((-2),17), ((1),18), ((-1),19), ((1),21), ((-2),22), ((-1),26), ((1),27), ((-2),30), ((2),31), ((2),32), ((2),33), ((-1),34), ((-2),35), ((1),37), ((-1),38), ((1),39), ((-2),45), ((1),47), ((-1),49), ((-2),50), ((1),51), ((-1),52), ((-1),54), ((-2),56), ((1),57), ((-1),58), ((2),65), ((-2),66), ((-1),67), ((2),68), ((1),69), ((-1),71)], (45)), ("GEQ", [((-2),0), ((-2),2), ((1),4), ((-1),6), ((-2),8), ((-1),9), ((1),10), ((1),12), ((-1),13), ((-1),17), ((1),20), ((-1),22), ((-2),23), ((-2),24), ((1),25), ((2),27), ((-2),28), ((1),29), ((2),31), ((2),33), ((-2),36), ((-2),38), ((-2),41), ((2),43), ((-2),44), ((2),46), ((-2),47), ((-2),48), ((-2),49), ((2),50), ((-2),51), ((1),52), ((-1),54), ((1),55), ((-1),57), ((1),58), ((-1),63), ((-1),68), ((2),69), ((1),70), ((-2),71), ((2),74)], (-22)), ("GEQ", [((2),0), ((-1),3), ((-1),4), ((1),5), ((-2),7), ((-2),8), ((1),9), ((1),10), ((-2),12), ((1),13), ((-1),14), ((-2),17), ((-2),19), ((1),20), ((-1),23), ((2),24), ((1),25), ((-1),26), ((2),27), ((1),29), ((-1),31), ((-1),34), ((-2),37), ((-2),40), ((-1),42), ((-1),43), ((-1),45), ((-1),49), ((-1),50), ((-1),51), ((2),53), ((1),54), ((-1),55), ((-1),57), ((-1),58), ((-2),61), ((1),62), ((-2),66), ((2),69), ((-2),70), ((-2),71), ((1),73), ((2),74)], (41)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((1),4), ((-2),5), ((1),6), ((-1),9), ((1),10), ((2),14), ((1),15), ((1),16), ((1),18), ((-1),19), ((2),22), ((-2),27), ((2),31), ((2),32), ((-2),35), ((-1),37), ((-2),38), ((2),45), ((-1),46), ((-1),47), ((2),48), ((-2),52), ((1),54), ((2),55), ((-1),56), ((1),58), ((-1),60), ((1),63), ((-2),66), ((2),69), ((-1),71), ((1),72), ((-1),74)], (-3)), ("GEQ", [((2),2), ((1),8), ((-2),9), ((-2),10), ((-2),11), ((1),13), ((1),14), ((-1),15), ((1),17), ((-1),18), ((-1),23), ((1),25), ((-2),26), ((-1),27), ((-2),28), ((1),30), ((1),31), ((-1),34), ((2),35), ((2),37), ((2),38), ((-2),39), ((1),40), ((2),41), ((1),43), ((1),44), ((-1),46), ((1),48), ((-2),49), ((-1),50), ((-2),51), ((2),53), ((2),55), ((-2),56), ((-1),57), ((-2),59), ((1),60), ((-2),62), ((-2),64), ((2),66), ((2),68), ((1),69), ((2),70), ((-1),71), ((1),72), ((-1),73)], (-32)), ("GEQ", [((-2),2), ((-1),3), ((1),5), ((-1),7), ((2),8), ((-2),9), ((-2),11), ((2),13), ((-1),14), ((2),16), ((-1),17), ((1),18), ((2),20), ((-2),22), ((1),23), ((2),24), ((-2),25), ((1),26), ((-2),28), ((-1),29), ((-1),30), ((-2),31), ((1),32), ((1),34), ((1),35), ((-2),36), ((-1),40), ((-2),41), ((-2),45), ((-2),46), ((2),53), ((1),54), ((-2),55), ((1),57), ((2),58), ((-2),61), ((-2),62), ((1),63), ((-2),64), ((1),67), ((1),69), ((-1),70), ((-1),71), ((-2),73), ((1),74)], (37)), ("GEQ", [((-2),1), ((1),2), ((1),3), ((2),4), ((-1),5), ((-1),7), ((1),8), ((-2),11), ((2),12), ((-1),13), ((1),14), ((2),16), ((-2),18), ((-1),19), ((-2),21), ((1),22), ((2),24), ((-2),25), ((-1),26), ((1),27), ((-1),28), ((1),29), ((2),30), ((1),32), ((2),34), ((-1),35), ((-2),37), ((1),38), ((-2),39), ((-1),40), ((-2),42), ((-2),43), ((-1),45), ((-2),46), ((1),48), ((-1),51), ((1),52), ((1),54), ((1),55), ((1),56), ((-1),57), ((2),58), ((-2),59), ((2),60), ((2),62), ((2),63), ((-2),65), ((1),66), ((1),67), ((1),69), ((-2),70), ((2),72), ((-1),73), ((2),74)], (-5)), ("GEQ", [((2),1), ((1),3), ((-2),4), ((1),5), ((-1),6), ((2),8), ((-2),9), ((-2),13), ((-1),15), ((-2),17), ((-1),18), ((2),19), ((-2),20), ((1),21), ((-2),22), ((-1),23), ((-2),25), ((-1),26), ((-2),29), ((-1),30), ((2),31), ((-2),32), ((-1),33), ((-1),34), ((-2),35), ((-2),37), ((2),39), ((-1),40), ((1),42), ((-2),44), ((1),46), ((-1),47), ((-1),51), ((1),52), ((1),54), ((-2),55), ((2),56), ((-2),59), ((1),60), ((-2),61), ((2),62), ((2),64), ((2),65), ((-2),66), ((1),67), ((-2),68), ((-2),71), ((-2),74)], (11)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((1),4), ((-1),7), ((1),11), ((1),12), ((-1),13), ((-1),14), ((-2),15), ((2),16), ((-1),18), ((-1),19), ((-1),20), ((2),23), ((2),27), ((2),29), ((1),33), ((-1),34), ((2),35), ((-2),36), ((-2),38), ((2),40), ((2),41), ((-1),42), ((-1),46), ((1),48), ((1),49), ((2),50), ((1),51), ((-1),55), ((1),56), ((-2),57), ((-2),58), ((1),59), ((1),61), ((-2),62), ((-1),64), ((-2),70), ((-2),72)], (14)), ("GEQ", [((-2),4), ((-2),7), ((-2),10), ((-1),12), ((1),14), ((-1),15), ((2),16), ((-2),20), ((-2),21), ((2),23), ((1),24), ((-2),25), ((2),26), ((-2),28), ((-1),29), ((-2),32), ((1),34), ((2),36), ((2),37), ((1),38), ((1),39), ((-1),41), ((-2),43), ((-1),48), ((-2),50), ((-1),52), ((-2),53), ((2),55), ((2),57), ((1),58), ((-1),60), ((2),61), ((2),62), ((2),63), ((-2),64), ((-2),65), ((2),66), ((-2),67), ((-2),71), ((-2),72), ((1),73)], (3)), ("GEQ", [((-2),1), ((-1),2), ((-2),4), ((-2),5), ((-2),7), ((-1),11), ((1),12), ((-2),13), ((-2),15), ((1),16), ((2),18), ((-1),21), ((2),24), ((2),25), ((-2),27), ((-1),30), ((1),31), ((1),32), ((1),34), ((-2),35), ((2),36), ((1),37), ((1),38), ((-1),40), ((2),42), ((1),44), ((2),46), ((2),47), ((-2),49), ((-1),50), ((2),52), ((-1),53), ((2),54), ((-1),58), ((-2),59), ((2),60), ((-1),61), ((-2),62), ((-1),63), ((2),64), ((1),66), ((2),69), ((2),70), ((-2),71), ((1),74)], (-17)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((1),6), ((-1),7), ((-2),8), ((1),9), ((1),10), ((1),11), ((-1),13), ((-1),14), ((2),15), ((2),16), ((-2),17), ((1),18), ((-1),19), ((-1),20), ((2),22), ((-1),25), ((-2),26), ((-2),28), ((2),29), ((-2),30), ((2),31), ((1),33), ((2),34), ((-1),37), ((-2),38), ((2),39), ((-1),40), ((-2),41), ((-1),42), ((1),43), ((-1),44), ((2),45), ((-1),46), ((2),47), ((1),49), ((-2),52), ((2),53), ((1),55), ((-1),56), ((-2),57), ((-1),63), ((-2),64), ((1),65), ((1),66), ((1),67), ((-1),68), ((1),70), ((-1),74)], (19)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((2),4), ((-1),6), ((-2),9), ((-2),11), ((2),12), ((-1),13), ((2),18), ((-1),20), ((-2),21), ((2),24), ((1),25), ((1),27), ((-1),29), ((2),30), ((2),31), ((2),32), ((2),33), ((-2),34), ((2),37), ((-2),38), ((1),39), ((2),40), ((-2),42), ((2),43), ((2),44), ((2),45), ((2),46), ((-1),47), ((2),51), ((2),53), ((1),54), ((2),55), ((-1),56), ((1),58), ((-1),59), ((2),65), ((1),66), ((-2),71), ((1),72), ((2),74)], (-50)), ("GEQ", [((1),2), ((-2),4), ((-2),9), ((1),10), ((2),12), ((-2),13), ((-2),15), ((-1),16), ((-1),17), ((1),19), ((-1),21), ((2),22), ((2),24), ((1),26), ((-1),27), ((1),30), ((2),33), ((-1),37), ((2),40), ((-1),41), ((-1),42), ((2),44), ((1),46), ((-1),50), ((2),51), ((-1),53), ((1),55), ((-2),56), ((2),57), ((-1),59), ((-1),61), ((2),62), ((-2),63), ((2),64), ((-1),65), ((-1),67), ((-2),68), ((1),69), ((-2),70), ((2),71), ((1),73), ((2),74)], (-12)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-2),3), ((-2),6), ((2),10), ((-2),12), ((1),14), ((1),15), ((1),16), ((-2),17), ((1),22), ((1),23), ((1),25), ((2),26), ((-2),27), ((1),28), ((-1),30), ((1),32), ((2),34), ((1),35), ((-1),36), ((1),37), ((-1),38), ((-1),39), ((2),43), ((-1),44), ((1),47), ((-1),48), ((2),52), ((-1),54), ((1),56), ((-1),58), ((2),59), ((1),62), ((-2),63), ((1),64), ((-2),67), ((1),69), ((2),70), ((1),71), ((-1),73), ((1),74)], (22)), ("GEQ", [((-2),0), ((-1),1), ((1),3), ((-2),4), ((1),5), ((-1),6), ((-2),7), ((1),8), ((-1),9), ((-1),10), ((-1),14), ((-2),15), ((-2),16), ((-1),17), ((-2),19), ((-1),20), ((-1),21), ((2),22), ((-2),23), ((-2),24), ((-1),29), ((-1),32), ((-1),33), ((-2),34), ((1),35), ((2),38), ((2),40), ((-2),41), ((2),42), ((-2),50), ((-2),51), ((2),52), ((-2),54), ((2),57), ((-2),61), ((-1),62), ((-2),65), ((-1),68), ((-1),69), ((-2),73), ((-2),74)], (-8)), ("GEQ", [((2),1), ((1),2), ((-2),6), ((-1),7), ((-1),8), ((-1),9), ((2),11), ((2),12), ((2),13), ((1),14), ((1),15), ((-1),16), ((2),17), ((1),18), ((2),20), ((-1),21), ((1),22), ((-2),23), ((1),26), ((-1),28), ((1),32), ((2),33), ((2),36), ((-2),37), ((2),38), ((1),39), ((1),40), ((-1),41), ((1),44), ((2),51), ((-1),53), ((1),54), ((-2),56), ((-2),57), ((2),59), ((-2),61), ((-2),63), ((-1),64), ((-1),65), ((1),66), ((-1),68), ((-1),69), ((2),71), ((1),74)], (-9)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-2),4), ((-1),5), ((-2),6), ((-1),8), ((-2),9), ((-1),10), ((-1),11), ((-2),13), ((-1),16), ((2),19), ((-1),20), ((2),23), ((-2),25), ((2),27), ((-2),30), ((1),32), ((1),38), ((-1),39), ((1),40), ((-2),45), ((1),46), ((-2),48), ((1),49), ((-1),52), ((2),53), ((-1),54), ((2),60), ((1),61), ((2),64), ((1),65), ((-2),67), ((1),68), ((2),69), ((2),70), ((1),71), ((-2),73)], (35)), ("GEQ", [((-2),0), ((1),2), ((-2),7), ((-1),9), ((-2),10), ((-2),11), ((-2),12), ((1),13), ((2),15), ((1),17), ((-1),18), ((2),19), ((1),20), ((-2),21), ((-2),22), ((2),24), ((1),25), ((-1),28), ((2),29), ((1),32), ((-2),33), ((1),35), ((1),36), ((-2),39), ((1),41), ((-2),43), ((2),44), ((-1),46), ((-2),47), ((-1),48), ((2),49), ((1),50), ((-2),53), ((-1),54), ((1),56), ((-2),57), ((-2),58), ((-2),59), ((-2),61), ((1),62), ((1),63), ((-1),64), ((1),65), ((-1),67), ((-2),71), ((-1),72), ((-1),73)], (27)), ("GEQ", [((-2),0), ((-1),3), ((2),4), ((1),5), ((-2),7), ((-2),8), ((-1),11), ((2),13), ((2),16), ((-2),17), ((1),18), ((-2),19), ((2),20), ((2),21), ((2),24), ((-2),25), ((-2),27), ((-1),28), ((2),31), ((-2),32), ((2),34), ((-2),35), ((-2),36), ((-1),38), ((1),39), ((2),40), ((1),42), ((-2),44), ((1),46), ((1),47), ((2),48), ((-2),51), ((-1),52), ((2),58), ((-1),59), ((-1),60), ((1),62), ((-2),64), ((-2),66), ((2),69), ((-1),71), ((1),73)], (15)), ("GEQ", [((2),1), ((2),2), ((-2),6), ((-2),8), ((2),9), ((2),10), ((2),11), ((1),12), ((2),13), ((-1),14), ((1),15), ((-1),16), ((1),19), ((-2),20), ((-1),27), ((-1),28), ((-2),31), ((1),34), ((-2),36), ((1),37), ((-1),38), ((-2),40), ((-2),42), ((-2),43), ((-2),45), ((2),46), ((-2),47), ((-2),49), ((2),50), ((-2),54), ((2),57), ((1),59), ((2),60), ((2),61), ((-1),62), ((-2),63), ((-1),64), ((-1),65), ((1),66), ((-2),68), ((-1),69), ((-2),71), ((-2),74)], (38)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((-1),5), ((1),9), ((-2),12), ((-1),17), ((1),18), ((-1),20), ((-1),21), ((-1),23), ((2),24), ((2),25), ((-1),26), ((2),28), ((1),29), ((2),30), ((-1),32), ((2),33), ((-2),35), ((2),36), ((2),39), ((-1),40), ((1),44), ((1),45), ((2),49), ((2),51), ((1),52), ((2),53), ((-1),56), ((2),57), ((-2),58), ((-1),59), ((2),60), ((2),61), ((-2),63), ((2),64), ((-1),67), ((-2),69), ((-1),71), ((-2),72)], (-19)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((1),3), ((-1),5), ((-2),7), ((1),8), ((-2),9), ((-1),10), ((-2),13), ((1),17), ((-1),18), ((-1),21), ((1),22), ((1),23), ((-1),24), ((-1),27), ((-1),28), ((-2),29), ((-1),31), ((2),33), ((-1),42), ((-1),43), ((1),45), ((-2),46), ((-1),48), ((-1),52), ((-1),55), ((-1),57), ((-1),61), ((-1),62), ((-2),64), ((2),66), ((2),67), ((-1),68), ((1),70), ((2),71), ((-2),72), ((2),73), ((1),74)], (-20)), ("GEQ", [((1),1), ((1),2), ((1),3), ((1),4), ((2),5), ((-2),6), ((-1),7), ((1),10), ((-1),11), ((-1),12), ((1),13), ((2),14), ((2),18), ((2),19), ((-1),20), ((-2),21), ((-1),22), ((-2),24), ((2),26), ((1),27), ((-1),29), ((-1),30), ((2),31), ((2),32), ((-2),33), ((1),34), ((-1),36), ((-1),37), ((2),41), ((-2),42), ((1),43), ((-1),46), ((-1),47), ((-2),50), ((2),53), ((2),54), ((-2),55), ((2),56), ((-2),58), ((-2),60), ((2),61), ((1),64), ((2),66), ((1),67), ((-2),70), ((-1),71)], (33)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-1),3), ((-1),6), ((2),9), ((-1),10), ((1),11), ((-1),13), ((1),14), ((-1),15), ((2),16), ((2),17), ((-1),18), ((-1),20), ((-1),21), ((-2),22), ((-2),23), ((2),28), ((1),33), ((-2),34), ((-2),37), ((-1),38), ((1),40), ((-1),41), ((2),42), ((1),44), ((-1),45), ((1),47), ((-2),49), ((1),53), ((1),54), ((-1),55), ((1),56), ((1),59), ((1),60), ((-2),61), ((-1),62), ((1),63), ((2),67), ((-1),68), ((2),69), ((-1),70), ((-2),72), ((-2),73)], (-3)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((1),6), ((2),7), ((2),8), ((2),12), ((1),13), ((1),14), ((2),15), ((2),18), ((-2),19), ((-2),22), ((1),23), ((1),24), ((-1),25), ((2),27), ((2),28), ((-2),29), ((-1),33), ((-1),34), ((1),35), ((2),36), ((1),37), ((-2),38), ((2),39), ((2),40), ((-2),41), ((-2),43), ((-1),45), ((2),48), ((1),49), ((-1),50), ((-1),51), ((1),53), ((-1),54), ((-2),56), ((2),58), ((1),60), ((-1),61), ((-2),62), ((1),63), ((-2),65), ((1),68), ((-1),69), ((1),70), ((-2),71), ((2),73), ((1),74)], (-4)), ("GEQ", [((20),0), ((-1),1), ((-2),2), ((19),3), ((8),4), ((21),5), ((10),6), ((64),7), ((33),8), ((-2),9), ((-19),10), ((16),11), ((17),12), ((10),13), ((-11),14), ((-2),15), ((-13),16), ((7),17), ((-3),18), ((-1),19), ((-11),20), ((12),21), ((9),22), ((29),23), ((7),24), ((4),26), ((3),27), ((4),28), ((-15),29), ((24),30), ((-19),31), ((-30),32), ((-31),33), ((25),34), ((2),35), ((33),36), ((-9),37), ((34),38), ((-24),39), ((-17),40), ((-4),41), ((5),42), ((19),43), ((-9),44), ((6),45), ((-21),46), ((6),47), ((-11),48), ((-16),49), ((26),50), ((-13),51), ((-28),52), ((-19),53), ((9),55), ((-1),56), ((30),57), ((40),58), ((-7),59), ((-44),60), ((17),61), ((54),62), ((25),63), ((18),64), ((1),65), ((-19),66), ((-5),67), ((-10),68), ((-2),69), ((-27),70), ((71),71), ((44),72), ((8),73)], (-681)), ("GEQ", [((-60),0), ((8),1), ((15),2), ((-65),3), ((-25),4), ((-39),5), ((-14),6), ((-231),7), ((-106),8), ((16),9), ((90),10), ((-35),11), ((-71),12), ((-1),13), ((34),14), ((-1),15), ((17),16), ((5),17), ((9),18), ((-10),19), ((30),20), ((-43),21), ((-7),22), ((-106),23), ((-33),24), ((23),25), ((-10),26), ((-7),27), ((-39),28), ((69),29), ((-64),30), ((59),31), ((105),32), ((86),33), ((-110),34), ((36),35), ((-117),36), ((37),37), ((-91),38), ((85),39), ((70),40), ((24),41), ((-32),42), ((-69),43), ((31),44), ((-8),45), ((36),46), ((-20),47), ((7),48), ((56),49), ((-88),50), ((44),51), ((71),52), ((41),53), ((-3),54), ((-4),55), ((2),56), ((-90),57), ((-132),58), ((42),59), ((115),60), ((-63),61), ((-209),62), ((-79),63), ((-70),64), ((-35),65), ((87),66), ((1),67), ((28),68), ((12),69), ((84),70), ((-210),71), ((-136),72), ((-11),73), ((-12),74)], (2234)), ("GEQ", [((-19),0), ((-16),1), ((1),2), ((22),3), ((41),4), ((-42),6), ((71),7), ((52),8), ((21),9), ((-37),10), ((4),11), ((15),12), ((-33),13), ((-5),14), ((1),15), ((-26),16), ((13),17), ((-7),18), ((30),19), ((-44),20), ((17),21), ((-1),22), ((27),23), ((10),25), ((11),26), ((1),27), ((34),28), ((-31),29), ((14),30), ((-52),31), ((-28),32), ((-33),33), ((32),34), ((-43),35), ((35),36), ((-6),37), ((46),38), ((-36),39), ((-10),40), ((31),41), ((19),42), ((58),43), ((4),44), ((-3),45), ((19),46), ((-29),48), ((-35),49), ((26),50), ((-2),51), ((-28),52), ((-5),53), ((-6),54), ((-27),55), ((9),56), ((59),57), ((17),58), ((-25),59), ((-25),60), ((27),61), ((74),62), ((29),63), ((48),64), ((31),65), ((-43),66), ((-14),67), ((-2),68), ((-4),69), ((-37),70), ((81),71), ((38),72), ((-4),73), ((11),74)], (-838)), ("GEQ", [((174),0), ((48),1), ((-21),2), ((53),3), ((-51),4), ((62),5), ((159),6), ((227),7), ((47),8), ((-87),9), ((-69),10), ((71),11), ((87),12), ((92),13), ((-68),14), ((19),15), ((4),16), ((-42),17), ((8),18), ((-72),19), ((68),20), ((22),21), ((50),22), ((111),23), ((60),24), ((-30),25), ((-16),26), ((-17),27), ((-22),28), ((-17),29), ((94),30), ((26),31), ((-128),32), ((-78),33), ((100),34), ((68),35), ((133),36), ((-79),37), ((59),38), ((-68),39), ((-104),40), ((-110),41), ((-17),42), ((-15),43), ((-69),44), ((55),45), ((-139),46), ((27),47), ((63),48), ((-27),49), ((88),50), ((-61),51), ((-72),52), ((-61),53), ((20),54), ((109),55), ((-61),56), ((20),57), ((197),58), ((19),59), ((-153),60), ((40),61), ((198),62), ((53),63), ((6),64), ((-23),65), ((-35),66), ((29),67), ((-63),68), ((-21),69), ((-49),70), ((185),71), ((161),72), ((71),73), ((-5),74)], (-2190)), ("GEQ", [((-181),0), ((-31),1), ((13),2), ((-11),3), ((83),4), ((-47),5), ((-129),6), ((-200),7), ((-33),8), ((110),9), ((89),10), ((-48),11), ((-98),12), ((-92),13), ((51),14), ((-12),15), ((-48),16), ((42),17), ((-50),18), ((59),19), ((-60),20), ((-15),21), ((1),22), ((-151),23), ((-54),24), ((58),25), ((19),26), ((24),27), ((38),28), ((20),29), ((-64),30), ((-51),31), ((144),32), ((65),33), ((-113),34), ((-53),35), ((-143),36), ((60),37), ((-56),38), ((49),39), ((79),40), ((122),41), ((-4),42), ((57),43), ((84),44), ((-45),45), ((110),46), ((-49),47), ((-57),48), ((8),49), ((-45),50), ((67),51), ((41),52), ((32),53), ((-35),54), ((-87),55), ((48),56), ((-3),57), ((-203),58), ((8),59), ((135),60), ((-49),61), ((-162),62), ((-46),63), ((23),64), ((36),65), ((53),66), ((-55),67), ((38),68), ((10),69), ((65),70), ((-120),71), ((-129),72), ((-50),73)], (1247)), ("GEQ", [((73),0), ((-69),1), ((6),2), ((-52),3), ((-83),4), ((13),5), ((-73),6), ((89),7), ((35),8), ((-65),9), ((-107),10), ((-33),11), ((83),12), ((4),13), ((41),14), ((-28),15), ((137),16), ((-32),17), ((91),18), ((44),19), ((-47),20), ((4),21), ((-174),22), ((183),23), ((-8),24), ((-114),25), ((-11),26), ((-6),27), ((-6),28), ((-82),29), ((-32),30), ((59),31), ((-103),32), ((-25),33), ((138),34), ((-99),35), ((104),36), ((36),37), ((19),38), ((10),39), ((10),40), ((-50),41), ((79),42), ((-115),43), ((-71),44), ((-71),45), ((69),46), ((82),47), ((7),48), ((27),49), ((-54),50), ((-58),51), ((56),52), ((55),53), ((73),54), ((-99),55), ((47),56), ((2),57), ((109),58), ((-132),59), ((-4),60), ((89),61), ((36),62), ((46),63), ((-39),64), ((-21),65), ((-121),66), ((98),67), ((49),68), ((24),69), ((-127),70), ((-95),71), ((16),72), ((-76),73), ((20),74)], (1457)), ("GEQ", [((18),0), ((109),1), ((-21),2), ((79),3), ((86),4), ((42),5), ((173),6), ((43),7), ((12),8), ((22),9), ((61),10), ((82),11), ((-50),12), ((53),13), ((-91),14), ((57),15), ((-145),16), ((31),17), ((-73),18), ((-113),19), ((68),20), ((28),21), ((212),22), ((-123),23), ((33),24), ((123),25), ((31),26), ((25),27), ((-19),28), ((120),29), ((97),30), ((-52),31), ((28),32), ((-19),33), ((-93),34), ((170),35), ((-46),36), ((-93),37), ((27),38), ((-57),39), ((-71),40), ((-10),41), ((-85),42), ((146),43), ((-12),44), ((146),45), ((-159),46), ((-63),47), ((15),48), ((-47),49), ((108),50), ((-1),51), ((-93),52), ((-97),53), ((-98),54), ((197),55), ((-57),56), ((-9),57), ((6),58), ((146),59), ((-130),60), ((-85),61), ((54),62), ((-40),63), ((30),64), ((10),65), ((121),66), ((-61),67), ((-74),68), ((-38),69), ((97),70), ((221),71), ((46),72), ((154),73), ((-43),74)], (-2879)), ("GEQ", [((-6),0), ((6),1), ((5),2), ((-73),3), ((-82),4), ((-70),5), ((20),6), ((-210),7), ((-174),8), ((-20),9), ((100),10), ((-44),11), ((-38),12), ((7),13), ((21),14), ((-4),15), ((75),16), ((-22),17), ((22),18), ((-17),19), ((93),20), ((-22),21), ((-15),22), ((-59),23), ((12),24), ((-49),25), ((-30),26), ((-35),27), ((-57),28), ((52),29), ((-89),30), ((94),31), ((102),32), ((127),33), ((-80),34), ((39),35), ((-91),36), ((20),37), ((-96),38), ((74),39), ((64),40), ((-50),41), ((-10),42), ((-109),43), ((54),44), ((-19),45), ((24),46), ((-5),47), ((33),48), ((77),49), ((-74),50), ((32),51), ((72),52), ((24),53), ((23),54), ((15),55), ((-16),56), ((-119),57), ((-88),58), ((53),59), ((131),60), ((-56),61), ((-175),62), ((-76),63), ((-53),64), ((-29),65), ((71),66), ((-16),67), ((36),68), ((24),69), ((107),70), ((-201),71), ((-121),72), ((-35),73), ((-11),74)], (2321)), ("GEQ", [((29),0), ((-131),1), ((-8),2), ((-18),3), ((-48),4), ((-29),5), ((-156),6), ((200),7), ((84),8), ((-32),9), ((-179),10), ((-78),11), ((103),12), ((-80),13), ((51),14), ((-49),15), ((144),16), ((-72),17), ((59),18), ((127),19), ((-87),20), ((46),21), ((-212),22), ((213),23), ((27),24), ((-155),25), ((-41),26), ((-21),27), ((94),28), ((-198),29), ((-16),30), ((-2),31), ((-139),32), ((-77),33), ((247),34), ((-266),35), ((139),36), ((15),37), ((56),38), ((-41),39), ((-16),40), ((148),42), ((-65),43), ((-28),44), ((-161),45), ((150),46), ((84),47), ((5),48), ((-19),49), ((-48),50), ((-54),51), ((67),52), ((72),53), ((120),54), ((-218),55), ((46),56), ((91),57), ((145),58), ((-201),59), ((61),60), ((148),61), ((197),62), ((124),63), ((74),64), ((51),65), ((-241),66), ((63),67), ((61),68), ((22),69), ((-171),70), ((-40),71), ((96),72), ((-159),73), ((71),74)], (514))]
[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]