[("GEQ", [((1),0), ((-1),1), ((1),2), ((-2),3), ((1),4), ((-1),5), ((-2),6), ((-2),8), ((-2),13), ((-1),14), ((-2),15), ((-1),18), ((-1),20), ((-2),21), ((1),22), ((2),24), ((1),25), ((-1),27), ((-1),28), ((-2),30), ((1),33), ((-1),34), ((1),35), ((-1),36), ((-2),37), ((-1),39), ((1),42), ((2),43), ((-2),44), ((2),47), ((2),49), ((1),50), ((-2),51), ((1),53), ((2),54), ((-1),58), ((-1),60), ((1),61), ((-2),62), ((2),63), ((1),64), ((-2),65), ((-2),66), ((1),68), ((2),70), ((-2),71), ((1),74)], (11)), ("GEQ", [((1),1), ((2),2), ((-2),4), ((-1),9), ((1),10), ((-1),11), ((-1),12), ((-2),13), ((-2),16), ((1),17), ((-1),21), ((1),22), ((-2),23), ((1),25), ((-2),27), ((2),29), ((-2),30), ((-2),31), ((-1),32), ((2),34), ((-1),38), ((1),39), ((-2),41), ((-1),43), ((-1),44), ((2),48), ((-2),49), ((1),51), ((-1),52), ((1),53), ((-1),54), ((-1),57), ((-2),58), ((-2),62), ((1),64), ((1),65), ((-2),67), ((-2),69), ((-2),71), ((2),72), ((2),74)], (-24)), ("GEQ", [((1),2), ((1),3), ((2),4), ((-2),5), ((-2),7), ((-1),8), ((-2),9), ((-2),10), ((1),15), ((-2),18), ((-2),20), ((1),22), ((2),23), ((1),26), ((-2),27), ((-1),34), ((-1),35), ((2),36), ((-2),37), ((-1),38), ((-2),39), ((-1),41), ((-2),42), ((-1),44), ((1),47), ((-1),50), ((-1),51), ((2),53), ((-1),54), ((2),57), ((-2),58), ((1),59), ((1),61), ((-1),62), ((1),63), ((-1),64), ((2),65), ((-1),66), ((2),68), ((2),69), ((-1),70), ((-2),71), ((2),72), ((-1),73), ((2),74)], (48)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-2),3), ((1),4), ((2),6), ((-2),7), ((-2),9), ((-1),10), ((-1),14), ((1),15), ((2),16), ((-2),17), ((2),18), ((1),19), ((2),20), ((1),22), ((2),23), ((-2),24), ((2),26), ((-1),27), ((-2),28), ((-1),29), ((2),31), ((-2),32), ((1),33), ((2),34), ((2),35), ((-2),36), ((2),38), ((1),40), ((-2),42), ((1),44), ((-1),45), ((-1),46), ((1),48), ((-1),49), ((2),51), ((2),52), ((-1),57), ((2),61), ((2),65), ((1),66), ((-2),67), ((-1),71), ((-1),73), ((-2),74)], (18)), ("GEQ", [((-2),1), ((-1),3), ((-2),5), ((-2),8), ((2),9), ((-1),10), ((-2),11), ((2),13), ((-1),14), ((-2),15), ((1),16), ((2),17), ((1),18), ((-2),19), ((2),20), ((1),22), ((2),26), ((-1),27), ((1),28), ((2),33), ((-1),35), ((-2),36), ((1),39), ((2),44), ((-2),46), ((1),47), ((1),48), ((-1),49), ((-2),53), ((-1),54), ((1),56), ((-2),60), ((-2),62), ((2),63), ((-1),64), ((2),65), ((2),66), ((2),67), ((-1),68), ((-2),69), ((-1),70), ((-1),72), ((1),73)], (-20)), ("GEQ", [((1),2), ((-2),4), ((1),5), ((-2),6), ((-2),11), ((1),13), ((2),16), ((-2),18), ((1),19), ((1),20), ((-1),21), ((2),22), ((-2),25), ((-1),27), ((-2),29), ((1),30), ((-2),32), ((-2),33), ((2),35), ((1),36), ((1),37), ((2),40), ((1),41), ((-2),45), ((2),46), ((2),48), ((1),50), ((2),52), ((-1),54), ((-1),57), ((2),59), ((2),60), ((1),62), ((-2),63), ((2),66), ((-2),67), ((1),69), ((-1),70), ((-1),73), ((-2),74)], (26)), ("GEQ", [((2),0), ((1),1), ((2),3), ((2),4), ((2),5), ((-2),7), ((2),8), ((1),9), ((-2),10), ((-2),13), ((1),14), ((2),17), ((1),18), ((2),19), ((1),20), ((-2),21), ((1),23), ((-2),25), ((1),27), ((-2),29), ((2),30), ((-1),32), ((-1),33), ((2),34), ((-2),35), ((-2),36), ((-2),37), ((1),38), ((2),39), ((-2),40), ((2),41), ((-2),44), ((1),46), ((2),47), ((1),49), ((-1),52), ((2),53), ((-2),54), ((1),56), ((1),57), ((-1),58), ((1),60), ((1),64), ((2),66), ((-1),68), ((1),72), ((-1),74)], (19)), ("GEQ", [((-2),5), ((1),6), ((-2),11), ((2),12), ((2),16), ((1),19), ((2),23), ((-2),24), ((-2),25), ((-2),26), ((1),27), ((1),28), ((-2),29), ((2),30), ((-2),31), ((-2),34), ((-2),38), ((-1),39), ((-2),40), ((-1),41), ((-2),44), ((1),45), ((-1),47), ((1),50), ((-2),51), ((-2),52), ((1),54), ((2),55), ((-2),57), ((-2),59), ((2),60), ((2),62), ((-2),63), ((1),64), ((1),65), ((1),67), ((-2),71), ((-1),73)], (23)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((1),4), ((-2),6), ((-1),8), ((2),13), ((2),15), ((-2),16), ((2),17), ((2),19), ((2),20), ((2),22), ((-1),23), ((1),25), ((1),26), ((1),28), ((2),31), ((-1),32), ((-2),33), ((2),34), ((1),37), ((-1),38), ((-2),40), ((-1),41), ((2),44), ((-2),46), ((-2),47), ((2),48), ((-2),49), ((-1),53), ((-1),55), ((-1),56), ((1),58), ((2),60), ((-2),61), ((-1),62), ((1),64), ((1),67), ((-2),69), ((-2),71), ((1),72)], (-42)), ("GEQ", [((1),2), ((1),3), ((-1),5), ((-1),8), ((1),11), ((-1),15), ((-1),17), ((-1),20), ((-1),21), ((2),28), ((2),30), ((-2),31), ((-2),32), ((2),33), ((-2),34), ((-2),35), ((-1),37), ((-1),38), ((2),39), ((2),41), ((-1),42), ((1),44), ((1),47), ((2),49), ((-2),50), ((1),51), ((1),52), ((2),54), ((2),55), ((-2),56), ((2),57), ((2),60), ((2),61), ((2),64), ((1),66), ((1),72), ((-1),73), ((-1),74)], (-14)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((1),5), ((-2),6), ((-1),8), ((2),9), ((-2),11), ((-1),12), ((-1),14), ((2),15), ((-1),16), ((1),17), ((-2),19), ((-1),21), ((1),23), ((2),24), ((1),26), ((-1),28), ((2),29), ((2),30), ((-2),32), ((1),33), ((-2),34), ((-2),35), ((1),36), ((1),38), ((-1),40), ((1),42), ((-2),43), ((1),44), ((1),46), ((-1),48), ((-2),52), ((-1),53), ((-1),54), ((2),55), ((-2),56), ((1),58), ((2),59), ((-1),62), ((-1),63), ((-2),64), ((-2),65), ((-1),66), ((1),67), ((-1),68), ((-2),69), ((-2),73), ((1),74)], (24)), ("GEQ", [((2),0), ((1),1), ((-1),4), ((-2),5), ((2),7), ((1),10), ((2),12), ((-2),13), ((-2),15), ((-1),19), ((1),20), ((2),21), ((-2),22), ((2),23), ((1),25), ((-1),26), ((1),28), ((-2),29), ((2),31), ((2),33), ((-2),35), ((-1),40), ((-1),41), ((-2),42), ((-1),43), ((1),44), ((1),45), ((-1),48), ((1),49), ((-2),54), ((-1),55), ((2),57), ((2),58), ((1),59), ((-2),60), ((-1),61), ((2),62), ((-2),63), ((-2),64), ((-1),65), ((2),66), ((2),68), ((2),69), ((2),72), ((-1),73), ((-2),74)], (34)), ("GEQ", [((-2),0), ((1),2), ((2),7), ((-2),8), ((1),12), ((-2),15), ((-2),16), ((-1),17), ((-2),18), ((2),19), ((2),20), ((2),21), ((-1),22), ((-1),23), ((2),27), ((-1),29), ((1),30), ((2),31), ((1),33), ((-1),34), ((-1),36), ((2),37), ((1),38), ((2),39), ((2),41), ((-2),42), ((2),43), ((2),44), ((1),47), ((2),48), ((-1),49), ((2),51), ((-1),52), ((-1),53), ((1),54), ((-1),55), ((1),56), ((-2),57), ((1),58), ((1),59), ((1),62), ((2),63), ((-1),64), ((-1),67), ((1),68), ((-1),71), ((-1),73), ((-1),74)], (-33)), ("GEQ", [((2),0), ((-1),1), ((-1),6), ((2),9), ((-1),11), ((-2),17), ((2),18), ((-1),19), ((1),23), ((-1),25), ((-1),26), ((1),27), ((-1),30), ((-2),33), ((1),34), ((2),36), ((2),37), ((-2),38), ((-2),39), ((-2),40), ((2),42), ((-2),46), ((-2),50), ((-1),52), ((-2),58), ((-1),60), ((-1),61), ((2),63), ((2),64), ((-2),65), ((2),66), ((1),68), ((-2),71), ((-1),72), ((1),73)], (-6)), ("GEQ", [((1),2), ((-2),3), ((-1),4), ((1),5), ((-1),6), ((-2),10), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((-2),18), ((2),19), ((1),22), ((-1),25), ((2),26), ((2),28), ((2),32), ((-2),40), ((2),41), ((-2),42), ((2),43), ((-2),44), ((-2),46), ((2),48), ((2),50), ((-2),53), ((-2),55), ((1),56), ((2),57), ((-2),58), ((1),59), ((-1),60), ((-1),62), ((-2),66), ((1),67), ((-1),68), ((1),69), ((-2),70), ((1),74)], (-21)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((2),4), ((1),5), ((2),6), ((-1),7), ((-1),9), ((-2),10), ((2),11), ((1),12), ((2),14), ((1),15), ((2),17), ((2),18), ((2),19), ((-2),21), ((-2),24), ((-2),25), ((-1),26), ((2),27), ((2),28), ((-2),29), ((-2),33), ((-2),34), ((2),35), ((-2),36), ((2),37), ((-1),38), ((-2),39), ((2),40), ((2),43), ((-1),45), ((2),46), ((-2),48), ((1),53), ((2),55), ((-1),60), ((1),61), ((1),62), ((-1),63), ((-1),65), ((1),67), ((1),68), ((-2),69), ((2),71), ((-1),72), ((2),74)], (15)), ("GEQ", [((-1),0), ((1),2), ((1),4), ((1),8), ((-2),10), ((2),11), ((1),12), ((1),13), ((-2),14), ((1),17), ((-2),21), ((2),22), ((-2),23), ((2),24), ((-2),27), ((2),29), ((1),32), ((1),34), ((1),36), ((2),37), ((2),38), ((-2),39), ((2),40), ((2),43), ((-2),45), ((-2),46), ((-2),52), ((2),53), ((-2),54), ((1),55), ((2),56), ((1),57), ((2),61), ((1),63), ((1),65), ((1),67), ((-2),69), ((-2),70), ((-1),71), ((-2),72), ((1),73)], (2)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((-2),5), ((1),7), ((-1),9), ((-2),13), ((1),14), ((-1),15), ((-2),20), ((2),21), ((1),22), ((-1),24), ((-2),25), ((2),26), ((-1),27), ((-2),32), ((-2),34), ((-2),35), ((2),36), ((-2),38), ((2),39), ((2),40), ((-1),41), ((2),42), ((-2),43), ((2),44), ((1),45), ((-1),47), ((1),49), ((-2),50), ((-2),53), ((1),54), ((1),55), ((2),56), ((-1),57), ((-2),58), ((-1),61), ((2),62), ((1),64), ((1),65), ((2),67), ((-2),68), ((-1),70), ((-2),71), ((-2),72), ((-2),73), ((-1),74)], (16)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((1),4), ((2),5), ((-2),6), ((1),7), ((2),8), ((2),10), ((1),13), ((2),14), ((1),15), ((1),16), ((-2),18), ((-1),20), ((-2),23), ((-1),25), ((-1),26), ((1),27), ((-2),29), ((1),31), ((-2),32), ((1),34), ((2),35), ((2),36), ((1),37), ((-1),39), ((-2),40), ((2),42), ((2),43), ((2),44), ((-1),47), ((2),53), ((-2),57), ((1),58), ((-2),61), ((-2),64), ((-1),66), ((1),70), ((-2),71), ((1),73), ((1),74)], (9)), ("GEQ", [((-2),0), ((-1),1), ((1),6), ((1),7), ((-1),8), ((2),9), ((1),10), ((-1),13), ((1),16), ((-2),19), ((2),20), ((-2),23), ((1),25), ((-1),27), ((2),28), ((2),34), ((1),35), ((-1),36), ((-1),37), ((-2),38), ((1),39), ((-2),40), ((2),41), ((2),45), ((-2),46), ((-1),47), ((-2),48), ((-2),49), ((-1),50), ((2),54), ((1),55), ((-2),56), ((1),57), ((2),58), ((-1),62), ((1),63), ((-2),64), ((1),65), ((-2),66), ((-1),67), ((-1),70), ((1),71), ((-1),72), ((1),73), ((1),74)], (-23)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((1),4), ((-1),5), ((1),6), ((2),7), ((1),8), ((2),10), ((2),11), ((-1),12), ((-1),13), ((-2),14), ((-1),16), ((-1),18), ((-2),21), ((-2),22), ((-2),23), ((-1),25), ((2),27), ((1),29), ((1),32), ((1),33), ((1),34), ((2),35), ((-2),37), ((-2),38), ((2),39), ((-1),41), ((-1),45), ((2),46), ((-1),48), ((1),49), ((2),51), ((1),52), ((-1),53), ((1),55), ((1),56), ((-1),57), ((-1),59), ((1),60), ((-2),63), ((1),64), ((1),65), ((-1),67), ((-1),69), ((1),74)], (-34)), ("GEQ", [((1),5), ((1),8), ((-1),9), ((1),13), ((2),15), ((-2),17), ((2),19), ((-2),20), ((-1),23), ((1),24), ((1),27), ((2),28), ((1),30), ((2),31), ((-1),32), ((1),33), ((-1),34), ((-1),36), ((-1),38), ((-2),40), ((-2),43), ((-1),44), ((-2),49), ((2),50), ((1),51), ((2),52), ((2),53), ((1),57), ((2),59), ((2),61), ((-2),63), ((2),64), ((-2),66), ((-1),67), ((1),68), ((2),69), ((2),70), ((2),72), ((-1),73), ((1),74)], (-43)), ("GEQ", [((-1),2), ((-2),3), ((-2),7), ((-1),8), ((-2),9), ((1),10), ((-2),11), ((1),12), ((-1),13), ((-1),14), ((-2),15), ((-1),16), ((1),17), ((2),18), ((-2),19), ((2),20), ((-2),21), ((-2),22), ((2),24), ((1),25), ((-2),26), ((1),27), ((2),28), ((2),29), ((2),31), ((-2),34), ((-1),35), ((-1),36), ((-2),39), ((2),45), ((2),46), ((-2),47), ((-2),50), ((-1),51), ((2),53), ((-2),55), ((2),56), ((-2),58), ((2),59), ((-1),60), ((-2),64), ((-2),65), ((-2),66), ((-1),68), ((1),69), ((-1),70), ((1),71), ((-1),72)], (-22)), ("GEQ", [((-2),1), ((-1),2), ((-2),3), ((-2),5), ((-2),6), ((2),7), ((1),8), ((-2),9), ((1),17), ((-2),18), ((1),21), ((1),23), ((-1),26), ((-1),28), ((-2),30), ((2),31), ((-1),33), ((1),36), ((-1),37), ((1),38), ((-2),41), ((-2),43), ((-2),44), ((1),45), ((1),48), ((2),49), ((-1),51), ((-2),56), ((2),57), ((1),59), ((-1),61), ((2),65), ((1),66), ((-2),67), ((-2),68), ((-2),69), ((-1),70), ((-1),71), ((2),73), ((-1),74)], (31)), ("GEQ", [((1),0), ((-1),1), ((1),3), ((-1),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((-2),11), ((2),13), ((2),14), ((-2),16), ((1),17), ((2),20), ((-2),21), ((-2),22), ((2),23), ((-2),28), ((2),30), ((2),31), ((1),32), ((1),33), ((2),36), ((2),37), ((2),38), ((-2),41), ((1),42), ((1),43), ((-2),45), ((-1),50), ((-2),51), ((2),52), ((1),54), ((1),55), ((-1),57), ((-1),59), ((1),60), ((2),61), ((-2),63), ((1),65), ((1),66), ((-2),67), ((1),68), ((1),71), ((-2),72), ((-2),74)], (10)), ("GEQ", [((-2),0), ((1),5), ((-2),7), ((1),9), ((1),10), ((-1),12), ((2),14), ((-1),15), ((2),16), ((1),17), ((-2),20), ((-1),22), ((2),23), ((1),24), ((2),30), ((2),31), ((2),32), ((2),33), ((-1),35), ((2),36), ((2),37), ((1),38), ((1),39), ((-1),40), ((2),41), ((-2),43), ((-1),46), ((1),47), ((1),50), ((-1),51), ((-2),52), ((2),53), ((-1),55), ((-1),56), ((-1),58), ((-2),60), ((-2),61), ((-1),63), ((2),64), ((2),65), ((1),68), ((-1),70), ((-1),71), ((-1),74)], (-7)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((2),4), ((-1),5), ((-2),6), ((-1),8), ((1),9), ((1),10), ((-1),11), ((1),14), ((1),15), ((-1),16), ((-1),17), ((1),18), ((-1),21), ((2),23), ((-2),24), ((1),25), ((-1),27), ((2),29), ((-1),32), ((-2),33), ((1),34), ((-1),35), ((2),37), ((-1),39), ((-2),41), ((2),42), ((-1),46), ((2),49), ((-2),51), ((2),52), ((2),53), ((1),58), ((-2),59), ((2),61), ((1),62), ((-2),63), ((1),64), ((-1),66), ((2),67), ((2),69), ((1),70), ((2),71), ((-1),74)], (20)), ("GEQ", [((2),1), ((2),2), ((1),6), ((-2),10), ((2),11), ((1),14), ((2),18), ((1),22), ((-2),23), ((2),25), ((-1),26), ((-2),30), ((2),32), ((-1),33), ((-2),35), ((-2),36), ((2),38), ((1),39), ((2),40), ((2),42), ((-1),43), ((-2),44), ((1),45), ((1),46), ((2),47), ((2),48), ((-2),50), ((-1),53), ((2),55), ((-2),56), ((-1),58), ((1),59), ((-1),62), ((1),63), ((-1),65), ((2),66), ((1),67), ((1),68), ((-1),69), ((-2),70), ((-2),71), ((2),74)], (-23)), ("GEQ", [((1),0), ((-1),4), ((1),5), ((-1),8), ((2),9), ((1),10), ((-1),13), ((-2),14), ((1),16), ((1),18), ((1),19), ((1),20), ((2),21), ((-2),23), ((-2),24), ((1),27), ((2),28), ((1),29), ((2),30), ((-2),31), ((-1),32), ((1),33), ((1),34), ((-1),36), ((1),37), ((-1),38), ((2),39), ((-2),40), ((-2),41), ((1),43), ((1),44), ((2),47), ((-2),49), ((-1),50), ((-1),51), ((-2),52), ((1),53), ((1),55), ((-2),57), ((1),59), ((2),62), ((-1),63), ((1),65), ((1),66), ((1),68), ((2),70), ((2),72), ((1),73), ((1),74)], (-20)), ("GEQ", [((2),4), ((2),7), ((1),8), ((2),11), ((1),12), ((-1),13), ((-1),15), ((2),17), ((-1),19), ((2),20), ((1),21), ((1),22), ((-2),23), ((1),24), ((1),26), ((1),29), ((1),30), ((1),31), ((-2),34), ((-1),35), ((1),36), ((-1),37), ((2),38), ((-2),39), ((-1),40), ((2),41), ((-1),43), ((2),44), ((1),45), ((2),47), ((-2),48), ((-2),49), ((-1),50), ((2),53), ((2),54), ((-1),55), ((-2),56), ((1),58), ((-2),61), ((2),62), ((-2),64), ((-2),65), ((1),66), ((-1),67), ((-1),68), ((-2),69), ((2),70), ((-2),72), ((-1),73), ((1),74)], (8)), ("GEQ", [((-2),0), ((-2),1), ((-1),3), ((-2),5), ((1),6), ((2),7), ((2),9), ((2),11), ((2),13), ((2),15), ((-2),16), ((1),20), ((2),21), ((2),22), ((1),23), ((-1),24), ((1),25), ((2),26), ((1),29), ((1),31), ((2),32), ((2),33), ((-2),35), ((-1),36), ((-2),37), ((-2),39), ((-2),40), ((1),41), ((2),42), ((1),44), ((2),46), ((2),48), ((2),49), ((-1),50), ((2),51), ((2),52), ((-2),53), ((1),54), ((1),57), ((-1),61), ((2),63), ((1),64), ((-1),65), ((-1),66), ((1),67), ((2),69), ((-2),70), ((-1),71), ((2),73), ((-1),74)], (-47)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((2),3), ((-1),4), ((1),7), ((-1),8), ((2),10), ((2),11), ((-1),12), ((-1),13), ((-2),14), ((2),18), ((-2),19), ((-1),20), ((-1),21), ((-2),22), ((1),29), ((-1),30), ((-2),32), ((1),34), ((1),36), ((1),39), ((-1),40), ((2),41), ((-2),45), ((-2),46), ((1),47), ((1),48), ((2),51), ((-2),53), ((2),54), ((-1),56), ((1),57), ((2),59), ((2),60), ((2),62), ((-2),63), ((-2),64), ((-1),66), ((-1),68), ((-2),69), ((2),71), ((2),72), ((1),74)], (-55)), ("GEQ", [((2),2), ((-2),5), ((2),9), ((-1),10), ((2),11), ((-1),12), ((1),14), ((-1),16), ((2),18), ((1),20), ((-1),21), ((1),22), ((2),23), ((-2),24), ((1),25), ((-1),26), ((-1),27), ((-2),28), ((1),29), ((1),34), ((1),36), ((-1),38), ((1),39), ((1),40), ((-2),43), ((-1),44), ((2),45), ((1),46), ((1),47), ((-2),48), ((1),52), ((-2),53), ((1),54), ((2),56), ((1),58), ((-1),60), ((-1),61), ((1),62), ((-1),63), ((2),66), ((2),69), ((2),70)], (-5)), ("GEQ", [((-2),1), ((-1),2), ((-2),4), ((-1),5), ((2),7), ((-2),8), ((-2),9), ((2),10), ((1),11), ((-2),12), ((-2),13), ((-2),14), ((2),15), ((2),16), ((-1),17), ((2),18), ((-1),20), ((-1),22), ((2),23), ((2),25), ((-2),26), ((-2),32), ((2),33), ((-2),34), ((-1),36), ((1),38), ((-2),40), ((-1),41), ((2),42), ((-1),44), ((-1),45), ((-2),46), ((1),48), ((-1),49), ((1),50), ((-1),54), ((-2),56), ((2),58), ((1),59), ((-1),61), ((1),63), ((-1),64), ((-1),65), ((-1),67), ((1),69), ((2),72), ((-1),73), ((1),74)], (5)), ("GEQ", [((1),0), ((2),2), ((-1),4), ((-1),5), ((1),8), ((-2),10), ((-1),11), ((1),12), ((1),13), ((1),14), ((1),15), ((1),16), ((-1),17), ((-1),18), ((1),19), ((1),22), ((1),24), ((1),25), ((2),26), ((-2),28), ((2),29), ((1),30), ((-2),31), ((1),32), ((-2),33), ((2),39), ((-2),40), ((1),42), ((1),43), ((1),45), ((-2),47), ((-2),54), ((-2),55), ((1),56), ((-2),61), ((-2),64), ((-1),66), ((1),68), ((-1),69), ((-2),71), ((-1),73), ((2),74)], (42)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),4), ((-1),6), ((1),9), ((1),10), ((1),12), ((2),13), ((-2),14), ((-2),15), ((-2),16), ((2),18), ((1),19), ((1),20), ((1),21), ((-1),22), ((-2),23), ((1),24), ((2),25), ((1),26), ((2),27), ((1),28), ((1),31), ((-2),33), ((-1),36), ((-2),37), ((-2),38), ((-1),39), ((-1),40), ((-2),43), ((1),48), ((-2),49), ((1),50), ((1),51), ((-1),52), ((-2),53), ((1),55), ((-2),57), ((2),59), ((-1),61), ((-1),62), ((-1),63), ((-2),65), ((-2),66), ((-1),70), ((1),71)], (-67)), ("GEQ", [((-2),0), ((-2),4), ((1),5), ((2),8), ((1),9), ((1),10), ((2),11), ((1),13), ((1),14), ((1),16), ((-1),17), ((1),19), ((-1),21), ((1),23), ((-1),24), ((-1),25), ((1),28), ((-2),29), ((1),30), ((1),32), ((-1),33), ((-2),34), ((1),36), ((-1),37), ((-2),38), ((-1),40), ((1),42), ((1),43), ((-1),44), ((2),45), ((2),46), ((-2),47), ((-1),51), ((-1),52), ((2),53), ((2),54), ((1),55), ((-2),56), ((-2),57), ((-2),58), ((2),59), ((1),60), ((2),62), ((2),64), ((-1),65), ((-1),66), ((-2),69), ((1),70), ((2),71), ((2),72), ((2),73)], (-4)), ("GEQ", [((1),1), ((-2),4), ((-2),6), ((-1),7), ((-2),8), ((1),10), ((2),13), ((2),16), ((2),21), ((-2),23), ((1),24), ((2),25), ((-1),26), ((1),27), ((-1),28), ((1),29), ((-2),30), ((-2),31), ((2),33), ((1),34), ((1),35), ((1),40), ((-1),41), ((2),42), ((1),43), ((-2),44), ((2),45), ((-1),46), ((-2),47), ((1),48), ((1),49), ((1),50), ((-1),52), ((-2),53), ((1),54), ((1),55), ((2),57), ((-2),58), ((-1),59), ((1),60), ((-1),61), ((-1),62), ((2),63), ((2),66), ((2),67), ((-2),70), ((-2),73), ((-1),74)], (-7)), ("GEQ", [((-2),1), ((-1),2), ((-1),4), ((2),11), ((1),13), ((1),14), ((2),16), ((-1),17), ((-1),19), ((2),20), ((2),22), ((1),24), ((-1),27), ((2),29), ((2),32), ((1),38), ((2),44), ((1),46), ((2),47), ((1),48), ((-1),49), ((-1),50), ((1),51), ((2),52), ((1),53), ((2),54), ((-1),55), ((1),56), ((1),57), ((-2),58), ((-1),61), ((1),63), ((-1),64), ((-1),69), ((2),70), ((1),72)], (-27)), ("GEQ", [((-1),0), ((1),1), ((1),3), ((2),4), ((-2),5), ((2),6), ((-1),7), ((2),8), ((1),9), ((-1),10), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((-1),15), ((-2),19), ((-2),20), ((-1),21), ((1),23), ((-2),24), ((-2),25), ((-1),28), ((2),29), ((-2),30), ((-1),31), ((-1),33), ((2),34), ((-2),35), ((-2),36), ((2),38), ((2),40), ((-1),42), ((1),43), ((-2),47), ((1),48), ((2),49), ((1),50), ((1),52), ((-1),53), ((-2),54), ((-1),55), ((1),58), ((2),59), ((1),60), ((-2),61), ((2),62), ((-2),64), ((-2),65), ((-1),66), ((1),69), ((-1),70), ((2),71), ((-1),72), ((-1),73)], (17)), ("GEQ", [((-1),2), ((-2),4), ((1),5), ((-1),7), ((2),9), ((1),11), ((2),13), ((2),17), ((1),18), ((-1),19), ((2),21), ((-1),22), ((1),23), ((1),25), ((-1),26), ((-1),27), ((-1),30), ((2),31), ((2),33), ((2),36), ((1),37), ((1),38), ((-1),40), ((1),41), ((1),42), ((-1),43), ((-1),47), ((-1),48), ((-2),49), ((1),52), ((-1),53), ((-1),56), ((1),59), ((-2),60), ((-1),63), ((-1),64), ((-1),65), ((-2),67), ((2),71), ((-1),74)], (2)), ("GEQ", [((-1),1), ((-2),3), ((-2),5), ((2),6), ((1),7), ((2),10), ((1),12), ((2),15), ((2),17), ((-2),18), ((-1),25), ((-1),28), ((-2),31), ((2),32), ((2),33), ((2),34), ((-1),37), ((2),38), ((1),39), ((-2),40), ((-1),41), ((1),42), ((-1),43), ((1),45), ((1),46), ((-2),47), ((2),52), ((1),53), ((2),54), ((2),55), ((-1),57), ((1),58), ((1),60), ((1),61), ((-1),64), ((1),67), ((2),69), ((2),71), ((2),72), ((-1),73), ((-1),74)], (-6)), ("GEQ", [((1),2), ((2),4), ((2),5), ((2),6), ((-1),8), ((2),9), ((-2),10), ((-2),11), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((2),20), ((1),21), ((-2),22), ((1),24), ((2),26), ((1),27), ((1),28), ((2),29), ((-1),30), ((2),32), ((2),34), ((2),35), ((2),36), ((1),38), ((2),42), ((-1),45), ((-1),46), ((-2),49), ((-2),52), ((-1),53), ((2),55), ((-2),56), ((-2),57), ((-1),58), ((2),59), ((2),61), ((1),63), ((-2),64), ((2),67), ((-1),68), ((2),69), ((-2),70), ((-1),71)], (-25)), ("GEQ", [((2),0), ((-2),1), ((-1),5), ((1),6), ((-2),7), ((2),8), ((-2),9), ((-2),10), ((-2),11), ((-2),13), ((1),15), ((2),16), ((1),19), ((1),22), ((-1),24), ((-2),27), ((-2),28), ((-1),30), ((-2),31), ((-2),32), ((2),34), ((-1),35), ((2),36), ((1),38), ((1),39), ((2),42), ((1),44), ((-2),50), ((-1),52), ((-2),53), ((2),56), ((-2),58), ((2),59), ((2),60), ((-2),61), ((1),64), ((1),65), ((2),66), ((2),68), ((1),69), ((1),72), ((-1),73), ((-2),74)], (23)), ("GEQ", [((-1),1), ((-1),3), ((1),4), ((-2),8), ((2),9), ((-2),10), ((1),12), ((-1),14), ((2),18), ((-2),19), ((-1),20), ((2),22), ((-2),23), ((2),24), ((-1),25), ((-1),27), ((-2),30), ((1),31), ((-2),34), ((-1),37), ((1),39), ((2),40), ((-1),41), ((1),43), ((-2),44), ((-1),45), ((1),47), ((-1),48), ((-2),49), ((-2),50), ((-2),51), ((1),53), ((-2),54), ((1),55), ((1),57), ((-2),59), ((-1),62), ((1),63), ((2),64), ((1),65), ((2),67), ((-1),68), ((2),69), ((-1),70), ((1),72), ((-1),73), ((1),74)], (37)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((2),3), ((2),4), ((-2),5), ((-1),6), ((2),8), ((-2),9), ((-2),14), ((2),15), ((-2),18), ((-1),21), ((-2),22), ((2),24), ((-2),25), ((1),26), ((2),27), ((-2),30), ((2),32), ((-1),33), ((2),34), ((-2),37), ((1),38), ((-2),39), ((1),41), ((-1),42), ((1),44), ((2),45), ((-2),46), ((1),47), ((-2),48), ((-2),49), ((2),51), ((1),52), ((1),53), ((-1),54), ((-1),56), ((-2),57), ((-1),60), ((-2),61), ((1),62), ((-1),66), ((-2),67), ((1),69), ((2),71), ((2),72), ((-2),73), ((-2),74)], (-14)), ("GEQ", [((-1),0), ((-2),2), ((1),3), ((-2),4), ((1),5), ((1),6), ((2),8), ((-1),9), ((-1),10), ((2),12), ((-2),14), ((2),15), ((2),16), ((1),17), ((2),19), ((2),20), ((2),22), ((-1),23), ((2),25), ((2),29), ((-1),30), ((1),31), ((-1),33), ((-2),36), ((2),37), ((1),38), ((-1),39), ((1),41), ((2),43), ((-2),44), ((-2),45), ((2),46), ((1),47), ((2),51), ((-1),55), ((-2),56), ((2),57), ((-2),58), ((-1),60), ((1),61), ((1),62), ((2),64), ((1),65), ((-1),69), ((-2),71), ((2),73)], (6)), ("GEQ", [((1),0), ((2),1), ((2),2), ((1),4), ((-2),5), ((-2),6), ((2),7), ((1),8), ((2),9), ((2),10), ((-1),11), ((-2),12), ((1),13), ((1),15), ((-2),17), ((1),18), ((1),20), ((1),22), ((1),24), ((2),29), ((1),31), ((1),33), ((1),34), ((-2),35), ((2),36), ((2),38), ((-1),40), ((-2),41), ((2),44), ((1),45), ((1),46), ((2),51), ((-2),53), ((-1),54), ((-1),55), ((-1),56), ((2),58), ((2),59), ((2),60), ((-1),61), ((-1),64), ((2),65), ((1),67), ((2),68), ((-1),69), ((1),70), ((-1),73), ((2),74)], (-11)), ("GEQ", [((1),0), ((-1),1), ((1),4), ((2),5), ((1),6), ((2),7), ((2),9), ((1),10), ((-1),11), ((-1),13), ((2),14), ((-2),15), ((-1),17), ((-1),20), ((2),22), ((-1),25), ((-1),27), ((1),28), ((-1),29), ((1),30), ((2),31), ((-2),34), ((2),35), ((-2),37), ((1),39), ((-2),42), ((-2),43), ((-1),45), ((-1),47), ((2),48), ((2),50), ((2),51), ((-1),57), ((1),58), ((-1),59), ((1),61), ((2),62), ((-2),63), ((1),64), ((-2),66), ((2),67), ((2),68), ((1),69), ((-1),70), ((-1),71), ((-1),72)], (11)), ("GEQ", [((1),1), ((2),2), ((1),4), ((2),5), ((1),7), ((2),8), ((2),9), ((-2),10), ((-1),12), ((-2),13), ((2),14), ((-1),16), ((-1),17), ((-1),18), ((1),24), ((1),25), ((2),26), ((2),27), ((-1),28), ((1),29), ((1),30), ((-1),33), ((1),34), ((2),35), ((-2),36), ((2),37), ((1),43), ((2),44), ((-2),45), ((-2),46), ((-1),47), ((2),49), ((1),50), ((2),51), ((-1),52), ((1),54), ((2),56), ((2),57), ((2),58), ((-2),59), ((-2),60), ((1),62), ((2),63), ((2),65), ((1),66), ((-1),67), ((-1),69), ((1),71)], (8)), ("GEQ", [((2),1), ((2),2), ((-2),3), ((-2),4), ((-1),5), ((1),6), ((-2),8), ((2),9), ((1),10), ((2),12), ((2),13), ((1),18), ((2),19), ((1),21), ((-1),22), ((1),24), ((-2),25), ((-1),28), ((1),32), ((-1),33), ((-2),35), ((2),36), ((2),39), ((2),40), ((-2),41), ((-2),42), ((1),44), ((-2),45), ((2),48), ((1),50), ((2),51), ((1),55), ((-1),56), ((-2),57), ((-1),58), ((-2),59), ((-1),60), ((-2),62), ((-2),63), ((2),64), ((-2),66), ((-1),67), ((1),68), ((-1),70), ((-1),71), ((1),72), ((1),73), ((-1),74)], (4)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((-1),3), ((1),6), ((2),7), ((1),10), ((-1),11), ((-2),12), ((1),15), ((1),16), ((1),20), ((-1),21), ((-1),23), ((2),24), ((2),26), ((2),27), ((2),29), ((1),30), ((-2),31), ((1),33), ((-1),35), ((-1),36), ((-2),37), ((-1),39), ((-1),40), ((-1),41), ((1),42), ((-1),43), ((1),44), ((-2),46), ((2),47), ((1),48), ((-2),51), ((-1),54), ((2),55), ((2),56), ((1),58), ((-2),60), ((2),63), ((2),64), ((1),66), ((-1),67), ((2),68), ((1),71), ((-1),72)], (-34)), ("GEQ", [((1),2), ((1),3), ((-2),4), ((2),5), ((1),6), ((-1),8), ((-2),9), ((1),10), ((-2),11), ((-2),13), ((2),14), ((1),15), ((-1),18), ((2),19), ((-1),20), ((2),21), ((1),22), ((-2),23), ((-1),27), ((-2),28), ((-1),29), ((-2),31), ((-2),35), ((-2),36), ((-1),37), ((-2),38), ((2),40), ((1),43), ((2),44), ((1),45), ((1),46), ((-2),47), ((2),48), ((2),50), ((1),51), ((1),54), ((1),58), ((-2),59), ((2),60), ((-1),62), ((1),63), ((2),64), ((1),65), ((-2),68), ((2),69), ((-2),70), ((1),72), ((2),73)], (-37)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-2),3), ((-1),5), ((1),6), ((-2),7), ((-2),8), ((2),10), ((-1),12), ((-2),13), ((2),14), ((-2),16), ((-1),20), ((2),21), ((-2),24), ((-1),25), ((-1),26), ((-2),27), ((-2),29), ((1),30), ((-2),34), ((1),35), ((-2),36), ((-2),40), ((-1),42), ((-2),44), ((-1),46), ((-1),48), ((2),50), ((-1),52), ((-2),53), ((2),56), ((2),57), ((-2),58), ((-2),62), ((-1),63), ((-2),65), ((2),66), ((1),69), ((-2),71), ((2),72), ((-1),73), ((2),74)], (17)), ("GEQ", [((-2),2), ((2),3), ((1),5), ((1),6), ((2),13), ((2),17), ((2),18), ((2),21), ((2),23), ((1),24), ((-1),25), ((2),27), ((2),32), ((1),33), ((-1),41), ((2),42), ((2),43), ((-1),44), ((1),47), ((2),50), ((2),52), ((2),55), ((2),56), ((1),57), ((1),59), ((-1),60), ((-1),61), ((2),62), ((2),64), ((-2),65), ((1),66), ((2),70), ((-1),71), ((1),72)], (-45)), ("GEQ", [((1),0), ((1),3), ((-1),5), ((2),6), ((-2),7), ((2),8), ((-1),9), ((1),10), ((1),12), ((1),17), ((-1),19), ((-1),20), ((-2),21), ((1),23), ((2),24), ((-1),31), ((-1),33), ((2),35), ((1),39), ((2),40), ((-1),41), ((-2),44), ((-2),46), ((2),48), ((1),49), ((2),52), ((1),55), ((-1),56), ((1),57), ((-2),59), ((1),61), ((1),62), ((-2),63), ((-1),64), ((-2),66), ((1),68), ((-1),69), ((2),70), ((2),73), ((-1),74)], (17)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((-2),3), ((2),6), ((2),7), ((2),9), ((-2),11), ((1),12), ((1),13), ((-1),17), ((-2),19), ((2),23), ((2),24), ((-2),26), ((-1),31), ((1),34), ((-2),35), ((1),37), ((1),39), ((2),40), ((2),41), ((1),42), ((2),45), ((1),47), ((1),48), ((-1),49), ((-2),50), ((-2),52), ((-1),55), ((2),56), ((-1),57), ((2),62), ((2),65), ((-2),66), ((1),69), ((1),70)], (-9)), ("GEQ", [((-2),1), ((-2),4), ((-2),6), ((-1),7), ((1),11), ((1),12), ((-2),15), ((1),20), ((-2),22), ((-2),23), ((-1),27), ((2),28), ((-2),30), ((-2),31), ((1),32), ((-1),33), ((2),36), ((1),37), ((1),38), ((1),39), ((1),41), ((1),42), ((2),43), ((2),47), ((-2),49), ((2),50), ((-2),52), ((-2),55), ((-1),58), ((-2),59), ((2),60), ((2),63), ((-1),65), ((1),66), ((1),67), ((-1),68), ((-2),70), ((1),71), ((-1),73), ((-1),74)], (-31)), ("GEQ", [((-1),0), ((1),2), ((1),3), ((-1),4), ((-2),8), ((1),10), ((2),14), ((-1),15), ((-1),16), ((1),20), ((-2),22), ((-2),24), ((-1),26), ((-2),28), ((-1),29), ((-2),30), ((-1),33), ((-2),36), ((1),38), ((1),39), ((-2),40), ((1),42), ((2),43), ((-1),45), ((1),46), ((1),47), ((1),49), ((2),50), ((1),51), ((-2),53), ((-1),54), ((2),55), ((-2),57), ((-2),58), ((-2),61), ((1),62), ((1),63), ((2),64), ((2),65), ((1),66), ((1),67), ((-2),68), ((-2),71), ((-2),73)], (-18)), ("GEQ", [((-1),2), ((1),3), ((-2),4), ((-2),7), ((1),8), ((1),9), ((2),10), ((-2),12), ((2),13), ((2),15), ((2),16), ((2),17), ((-2),18), ((-2),21), ((1),23), ((2),25), ((2),26), ((1),27), ((1),28), ((-1),30), ((1),31), ((2),32), ((1),33), ((-1),35), ((-1),39), ((-2),42), ((-2),43), ((2),44), ((2),45), ((1),46), ((-1),47), ((1),48), ((-2),50), ((-1),55), ((-2),57), ((-2),61), ((-2),62), ((-1),65), ((-2),66), ((2),68), ((-2),70), ((1),71), ((-2),72)], (-16)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((-2),3), ((2),4), ((-2),6), ((2),7), ((-2),8), ((-1),9), ((-1),11), ((-1),13), ((2),14), ((2),15), ((-2),16), ((-2),17), ((-2),19), ((1),21), ((-2),22), ((-1),24), ((2),26), ((-2),28), ((1),29), ((-2),30), ((-2),31), ((-1),32), ((1),33), ((1),34), ((-1),36), ((2),37), ((-2),38), ((2),41), ((-2),42), ((-1),43), ((1),44), ((2),45), ((1),46), ((2),47), ((1),48), ((2),50), ((-1),53), ((2),54), ((-2),55), ((1),58), ((1),59), ((1),61), ((-1),62), ((-2),64), ((-2),68), ((1),70), ((1),73)], (-65)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((2),5), ((1),7), ((-2),8), ((2),11), ((1),12), ((1),13), ((-1),15), ((-2),16), ((-1),19), ((1),20), ((-1),21), ((1),22), ((2),24), ((-2),25), ((1),26), ((-1),27), ((1),29), ((-1),30), ((-1),31), ((-1),32), ((2),33), ((-2),35), ((1),37), ((1),38), ((-2),41), ((-2),42), ((-1),44), ((1),45), ((-2),46), ((-1),48), ((1),49), ((1),50), ((-1),57), ((-2),58), ((2),59), ((-1),60), ((2),61), ((-1),63), ((1),64), ((2),65), ((-1),67), ((2),69), ((1),70), ((1),72), ((1),74)], (-45)), ("GEQ", [((-1),0), ((-1),1), ((2),4), ((1),5), ((-2),6), ((-1),7), ((2),8), ((-1),9), ((1),12), ((2),13), ((2),16), ((2),17), ((-2),18), ((1),19), ((2),22), ((-1),23), ((-2),25), ((-1),28), ((2),29), ((1),32), ((1),34), ((2),35), ((1),38), ((2),40), ((1),41), ((-2),43), ((-1),44), ((1),45), ((-1),46), ((-2),47), ((2),48), ((1),49), ((-1),51), ((2),56), ((-2),57), ((-2),58), ((-2),60), ((-2),61), ((-1),62), ((1),63), ((2),66), ((2),67), ((2),68), ((2),69), ((-2),70), ((2),72)], (-10)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),4), ((1),5), ((1),6), ((2),8), ((2),10), ((2),11), ((-2),13), ((-2),14), ((1),15), ((1),16), ((-1),19), ((-2),21), ((-2),22), ((2),23), ((-2),24), ((1),25), ((1),28), ((-2),29), ((-1),30), ((-2),31), ((-1),32), ((1),34), ((1),36), ((-2),38), ((1),41), ((1),42), ((-2),43), ((2),48), ((-2),49), ((1),51), ((-1),54), ((2),55), ((2),56), ((2),59), ((-2),62), ((-2),63), ((-2),65), ((2),66), ((1),67), ((-2),68), ((-1),70), ((-1),73)], (-58)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((1),6), ((2),7), ((-1),8), ((-2),9), ((2),10), ((-1),11), ((2),12), ((-1),13), ((2),17), ((-1),19), ((-2),21), ((-2),22), ((2),23), ((-2),24), ((-1),26), ((-1),28), ((1),31), ((1),34), ((2),37), ((2),38), ((1),39), ((1),40), ((2),41), ((2),42), ((-2),44), ((1),45), ((-1),47), ((1),48), ((-2),50), ((-1),52), ((1),53), ((2),54), ((-2),55), ((2),56), ((-2),59), ((2),60), ((1),61), ((1),66), ((1),67), ((-1),68), ((1),70), ((1),71), ((-1),72), ((-1),73), ((-1),74)], (-29)), ("GEQ", [((1),0), ((1),3), ((-2),5), ((-1),6), ((2),7), ((2),9), ((-1),12), ((1),13), ((-1),14), ((2),15), ((-1),17), ((-2),18), ((-2),20), ((-2),21), ((2),28), ((2),31), ((2),34), ((-2),35), ((-2),36), ((-2),39), ((-2),42), ((2),44), ((2),45), ((-2),47), ((2),50), ((1),51), ((1),52), ((2),53), ((-1),54), ((1),55), ((-1),57), ((-2),58), ((2),59), ((-2),61), ((-1),65), ((-2),67), ((-1),69), ((2),70), ((2),71), ((-1),72), ((2),73), ((-2),74)], (-1)), ("GEQ", [((-1),0), ((-2),2), ((1),3), ((-1),4), ((1),5), ((1),8), ((-2),9), ((1),11), ((1),12), ((2),14), ((-2),16), ((2),18), ((2),19), ((-1),22), ((2),23), ((2),24), ((-1),25), ((1),26), ((-2),27), ((-1),28), ((-1),30), ((2),32), ((-2),33), ((2),35), ((-1),36), ((-2),37), ((-1),43), ((-2),44), ((-2),45), ((1),48), ((-2),50), ((-1),51), ((-2),54), ((2),57), ((2),58), ((-2),59), ((2),60), ((-2),61), ((2),62), ((-1),63), ((2),64), ((1),66), ((2),68), ((-1),71), ((-1),72), ((2),73), ((2),74)], (30)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((-2),6), ((2),10), ((-1),11), ((-1),12), ((-1),15), ((-2),16), ((1),17), ((1),20), ((-2),21), ((-1),22), ((2),24), ((-2),25), ((1),26), ((2),28), ((-2),29), ((-1),32), ((1),33), ((-1),34), ((-1),35), ((-2),40), ((-2),41), ((-2),43), ((2),44), ((1),45), ((-1),48), ((-1),50), ((-2),51), ((-2),52), ((2),60), ((-2),61), ((-2),63), ((-1),65), ((1),66), ((-1),68), ((2),69), ((-2),70), ((-2),71), ((-2),72), ((-2),73)], (1)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((2),3), ((-2),4), ((-1),7), ((-1),8), ((1),10), ((-1),11), ((1),14), ((-1),15), ((-1),18), ((2),19), ((-1),21), ((1),23), ((-2),25), ((2),26), ((1),27), ((-1),30), ((-1),32), ((2),33), ((1),35), ((-2),38), ((-2),39), ((-2),42), ((-1),43), ((-2),48), ((-2),49), ((1),51), ((-2),52), ((-2),53), ((2),54), ((1),56), ((-1),57), ((-1),58), ((1),61), ((-2),68), ((-2),69), ((2),70), ((-2),71), ((1),72), ((2),73)], (-20)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((1),4), ((2),6), ((-2),7), ((1),8), ((-2),9), ((1),10), ((1),11), ((2),12), ((2),14), ((2),16), ((-1),18), ((2),19), ((-2),21), ((2),22), ((-1),25), ((-2),26), ((2),27), ((-1),31), ((-1),32), ((-2),33), ((-1),35), ((-1),38), ((1),41), ((-1),42), ((-1),43), ((-1),45), ((1),47), ((1),50), ((2),52), ((-1),54), ((2),55), ((2),57), ((-2),58), ((2),61), ((2),62), ((-2),64), ((1),68), ((1),70), ((2),71), ((2),73)], (8)), ("GEQ", [((-1),0), ((-1),1), ((-2),5), ((-1),6), ((2),7), ((-2),8), ((-2),12), ((-2),13), ((2),14), ((-1),15), ((-2),16), ((2),17), ((2),18), ((-1),19), ((-1),21), ((1),23), ((-2),26), ((-2),27), ((1),28), ((-2),29), ((-1),30), ((1),31), ((1),32), ((2),33), ((2),35), ((-2),36), ((1),39), ((1),40), ((-1),41), ((2),43), ((-1),44), ((-1),45), ((2),46), ((-2),47), ((-2),49), ((-1),50), ((-2),51), ((-1),52), ((2),55), ((2),56), ((2),57), ((2),58), ((1),59), ((-2),60), ((-2),64), ((-2),66), ((2),67), ((1),69), ((2),71), ((1),73)], (11)), ("GEQ", [((-1),2), ((-2),3), ((1),4), ((-2),10), ((-1),12), ((-2),17), ((-1),18), ((-2),19), ((-1),20), ((-2),22), ((1),23), ((2),24), ((-1),25), ((-2),27), ((-2),28), ((-2),29), ((-1),30), ((1),32), ((-2),33), ((1),34), ((1),35), ((2),36), ((1),39), ((-2),40), ((1),41), ((-1),42), ((2),44), ((-2),46), ((-1),47), ((-2),48), ((-1),49), ((2),50), ((2),51), ((-2),54), ((2),56), ((-1),59), ((-2),60), ((-1),63), ((2),64), ((-2),65), ((2),67), ((-1),69), ((1),72), ((2),73)], (20)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),4), ((2),5), ((2),6), ((-2),7), ((-1),11), ((2),12), ((2),13), ((1),16), ((-1),17), ((-1),18), ((1),21), ((-1),23), ((-2),24), ((-1),25), ((2),27), ((-2),29), ((-1),31), ((1),33), ((2),34), ((-1),35), ((1),37), ((-2),38), ((1),39), ((-2),40), ((-2),41), ((-2),43), ((1),44), ((-1),46), ((1),47), ((2),49), ((2),50), ((-2),54), ((-1),56), ((-2),57), ((-2),58), ((-2),59), ((2),60), ((-1),61), ((-1),62), ((-2),64), ((-1),65), ((-1),68), ((2),69), ((-1),70), ((-1),72), ((2),73), ((-2),74)], (-17)), ("GEQ", [((-2),0), ((1),2), ((1),4), ((-2),5), ((-2),6), ((2),7), ((2),8), ((-1),9), ((-2),11), ((-2),12), ((2),13), ((-2),14), ((-2),18), ((1),19), ((2),22), ((-1),23), ((1),25), ((-1),27), ((-2),30), ((1),32), ((1),34), ((1),35), ((-1),36), ((2),38), ((-2),39), ((-1),40), ((-2),42), ((-1),43), ((2),44), ((2),48), ((-2),50), ((2),51), ((-2),52), ((-2),53), ((-1),54), ((-2),56), ((2),58), ((1),60), ((-2),62), ((1),65), ((-1),66), ((2),68), ((-2),69), ((2),72), ((1),73)], (-13)), ("GEQ", [((13),0), ((41),1), ((24),2), ((17),3), ((-6),4), ((23),5), ((20),6), ((-14),7), ((3),8), ((-13),9), ((-19),10), ((18),11), ((-31),13), ((-11),14), ((-25),15), ((1),16), ((-10),17), ((4),18), ((-4),19), ((-12),20), ((57),21), ((4),22), ((-37),23), ((-27),24), ((59),25), ((-12),26), ((-12),28), ((-10),29), ((35),30), ((-10),31), ((-1),32), ((-5),33), ((-20),34), ((11),35), ((-10),36), ((-17),37), ((-11),38), ((19),39), ((29),40), ((21),41), ((21),42), ((23),43), ((-7),44), ((-5),45), ((20),46), ((-26),48), ((3),49), ((-27),50), ((-42),51), ((1),52), ((6),53), ((8),54), ((-40),55), ((-6),56), ((-4),57), ((51),58), ((-25),59), ((-11),60), ((4),61), ((-17),62), ((48),63), ((-26),64), ((7),65), ((-21),66), ((9),67), ((-23),68), ((9),69), ((16),70), ((7),71), ((-34),72), ((-11),73), ((12),74)], (615)), ("GEQ", [((7),0), ((39),1), ((-15),2), ((19),3), ((14),4), ((5),5), ((11),6), ((-11),7), ((4),8), ((-33),9), ((-5),10), ((20),11), ((3),12), ((-19),13), ((-18),14), ((-34),15), ((-14),16), ((-21),17), ((17),18), ((-26),19), ((-40),20), ((20),21), ((-5),22), ((-11),23), ((-19),24), ((39),25), ((-28),26), ((-1),27), ((-10),28), ((5),29), ((14),30), ((28),31), ((-13),32), ((5),33), ((-14),34), ((14),35), ((-5),36), ((-12),37), ((-3),39), ((46),40), ((-5),41), ((-20),42), ((-10),43), ((-46),44), ((-16),45), ((12),46), ((-19),47), ((-23),48), ((48),49), ((-1),50), ((-36),51), ((34),52), ((29),53), ((7),54), ((-31),55), ((-32),56), ((30),57), ((30),58), ((-16),59), ((-8),60), ((49),61), ((1),62), ((7),63), ((-19),64), ((2),65), ((-42),66), ((-21),67), ((-12),68), ((5),69), ((16),70), ((58),71), ((-37),72), ((12),73), ((-34),74)], (823)), ("GEQ", [((-2),0), ((-70),1), ((-35),2), ((-26),3), ((12),4), ((-41),5), ((-58),6), ((46),7), ((-16),8), ((57),9), ((33),10), ((-27),11), ((-7),12), ((45),13), ((31),14), ((64),15), ((-3),16), ((16),17), ((-10),18), ((38),19), ((40),20), ((-119),21), ((-18),22), ((61),23), ((39),24), ((-148),25), ((42),26), ((5),27), ((51),28), ((-8),29), ((-67),30), ((-2),31), ((-26),32), ((-19),33), ((37),34), ((-6),35), ((19),36), ((32),37), ((-17),38), ((-32),39), ((-85),40), ((-47),41), ((-24),42), ((-45),43), ((62),44), ((-11),45), ((-34),46), ((14),47), ((19),48), ((-39),49), ((29),50), ((106),51), ((-23),52), ((-35),53), ((-16),54), ((114),55), ((17),56), ((-30),57), ((-97),58), ((57),59), ((26),60), ((-34),61), ((26),62), ((-101),63), ((72),64), ((-8),65), ((95),66), ((1),67), ((50),68), ((-23),69), ((-24),70), ((-62),71), ((94),72), ((3),73), ((30),74)], (-1254)), ("GEQ", [((3),0), ((50),1), ((64),2), ((12),3), ((-37),4), ((48),5), ((53),6), ((-19),7), ((3),8), ((16),9), ((-7),10), ((13),11), ((-22),12), ((-14),13), ((-29),14), ((-22),15), ((32),16), ((4),17), ((-7),18), ((-39),19), ((10),20), ((111),21), ((-13),22), ((-38),23), ((-11),24), ((107),25), ((8),26), ((7),27), ((-44),28), ((13),29), ((50),30), ((-72),31), ((52),32), ((21),33), ((-7),34), ((-8),35), ((-14),36), ((-18),37), ((15),38), ((40),39), ((43),40), ((54),41), ((59),42), ((59),43), ((47),44), ((28),45), ((4),46), ((18),47), ((3),48), ((-23),49), ((-35),50), ((-37),51), ((-36),52), ((-34),53), ((18),54), ((-63),55), ((24),56), ((-35),57), ((88),58), ((-49),59), ((-21),60), ((-50),61), ((-48),62), ((100),63), ((-69),64), ((-1),65), ((-29),66), ((33),67), ((-49),68), ((-18),69), ((25),70), ((-9),71), ((-58),72), ((-19),73), ((48),74)], (-263)), ("GEQ", [((21),0), ((104),1), ((26),2), ((46),3), ((-37),4), ((90),5), ((120),6), ((-114),7), ((48),8), ((-132),9), ((-84),10), ((61),11), ((52),12), ((-109),13), ((-24),14), ((-130),15), ((15),16), ((-44),17), ((13),18), ((-47),19), ((-70),20), ((230),21), ((66),22), ((-101),23), ((-69),24), ((266),25), ((-79),26), ((-16),27), ((-85),28), ((-6),29), ((142),30), ((19),31), ((48),32), ((32),33), ((-119),34), ((8),35), ((-36),36), ((-71),37), ((11),38), ((45),39), ((167),40), ((89),41), ((33),42), ((91),43), ((-150),44), ((21),45), ((84),46), ((-3),47), ((-66),48), ((70),49), ((-65),50), ((-241),51), ((79),52), ((124),53), ((33),54), ((-235),55), ((-30),56), ((81),57), ((168),58), ((-138),59), ((-76),60), ((111),61), ((-22),62), ((207),63), ((-94),64), ((36),65), ((-184),66), ((-17),67), ((-97),68), ((94),69), ((60),70), ((110),71), ((-175),72), ((-86),74)], (3221)), ("GEQ", [((-9),0), ((21),1), ((11),2), ((32),3), ((-1),4), ((-6),5), ((32),6), ((-52),7), ((15),8), ((-66),9), ((-57),10), ((4),11), ((29),12), ((-17),13), ((2),14), ((-30),15), ((-15),16), ((6),17), ((-7),18), ((-16),19), ((-26),20), ((42),21), ((42),22), ((-6),23), ((-13),24), ((85),25), ((-57),26), ((-34),27), ((-48),28), ((17),29), ((42),30), ((38),31), ((14),32), ((-9),33), ((-16),34), ((5),35), ((14),36), ((-15),37), ((34),38), ((-4),39), ((70),40), ((12),41), ((-8),42), ((29),43), ((-87),44), ((-4),45), ((11),46), ((-37),47), ((-25),48), ((22),49), ((4),50), ((-83),51), ((52),52), ((59),53), ((-19),54), ((-81),55), ((1),56), ((71),57), ((54),58), ((-45),59), ((-28),60), ((56),61), ((7),62), ((40),63), ((-49),64), ((14),65), ((-74),66), ((-14),67), ((-17),68), ((41),69), ((13),70), ((61),71), ((-43),72), ((1),73), ((-64),74)], (1888)), ("GEQ", [((-5),0), ((-42),1), ((-83),2), ((-66),3), ((31),4), ((-1),5), ((-86),6), ((67),7), ((-5),8), ((86),9), ((79),10), ((-25),11), ((-49),12), ((73),13), ((7),14), ((85),15), ((20),16), ((-5),17), ((-10),18), ((1),20), ((-124),21), ((-47),22), ((48),23), ((61),24), ((-180),25), ((53),26), ((37),27), ((67),28), ((1),29), ((-104),30), ((-13),31), ((-18),32), ((-9),33), ((47),34), ((4),35), ((14),36), ((50),37), ((-14),38), ((-61),39), ((-91),40), ((-59),41), ((-17),42), ((-63),43), ((84),44), ((26),45), ((-56),46), ((2),47), ((16),48), ((-8),49), ((56),50), ((121),51), ((-47),52), ((-30),53), ((7),54), ((125),55), ((-22),56), ((-62),57), ((-115),58), ((66),59), ((33),60), ((-45),61), ((19),62), ((-112),63), ((98),64), ((-42),65), ((90),66), ((-18),67), ((47),68), ((-68),69), ((-25),70), ((-41),71), ((65),72), ((23),73), ((54),74)], (-2026)), ("GEQ", [((-68),0), ((-170),1), ((267),2), ((114),3), ((-13),4), ((-249),5), ((2),6), ((6),7), ((-95),8), ((-23),9), ((-185),10), ((-72),11), ((105),12), ((27),13), ((84),14), ((35),15), ((-129),16), ((197),17), ((-3),18), ((207),19), ((237),20), ((-171),21), ((105),22), ((68),23), ((-45),24), ((-42),25), ((-2),26), ((-158),27), ((-43),28), ((1),29), ((27),30), ((35),31), ((-41),32), ((-77),33), ((122),34), ((-45),35), ((47),36), ((16),37), ((82),38), ((125),39), ((-108),40), ((28),41), ((-16),42), ((45),43), ((-16),44), ((-155),45), ((33),46), ((21),47), ((147),48), ((-191),49), ((-44),50), ((127),51), ((-13),52), ((-171),53), ((-138),54), ((131),55), ((190),56), ((66),57), ((-69),58), ((164),59), ((97),60), ((-104),61), ((19),62), ((-129),63), ((-103),64), ((84),65), ((175),66), ((109),67), ((108),68), ((61),69), ((-120),70), ((-168),71), ((253),72), ((-104),73), ((-11),74)], (-89)), ("GEQ", [((56),0), ((114),1), ((99),2), ((27),3), ((-94),4), ((97),5), ((104),6), ((-27),7), ((6),8), ((35),9), ((31),10), ((43),11), ((-33),12), ((-78),13), ((-53),14), ((-106),15), ((37),16), ((-19),17), ((35),18), ((-9),19), ((19),20), ((189),21), ((-54),22), ((-109),23), ((-73),24), ((153),25), ((59),26), ((34),27), ((-15),28), ((-59),29), ((69),30), ((-115),31), ((54),32), ((70),33), ((-47),34), ((-27),35), ((-90),36), ((-52),37), ((-32),38), ((132),39), ((44),40), ((100),41), ((52),42), ((67),43), ((80),44), ((9),45), ((87),46), ((117),47), ((29),48), ((-1),49), ((-88),50), ((-13),51), ((-78),52), ((-115),53), ((55),54), ((-85),55), ((-1),56), ((-110),57), ((81),58), ((-43),59), ((10),60), ((-99),61), ((-100),62), ((132),63), ((-31),64), ((19),65), ((10),66), ((17),67), ((-62),68), ((-26),69), ((18),70), ((-73),71), ((-81),72), ((-36),73), ((88),74)], (-1596))]
[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]