[("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),3), ((1),4), ((1),6), ((-1),8), ((2),9), ((1),10), ((2),11), ((2),12), ((1),14), ((-1),15), ((2),18), ((-2),20), ((2),24), ((2),26), ((-2),27), ((1),30), ((2),31), ((2),32), ((1),34), ((2),35), ((2),37), ((1),38), ((-2),40), ((-2),41), ((-2),43), ((1),45), ((2),47), ((-1),51), ((1),55), ((2),59), ((1),60), ((1),63), ((-1),66), ((-1),67), ((-1),68), ((1),69), ((-2),72), ((2),74)], (-18)), ("GEQ", [((-2),2), ((2),3), ((-2),6), ((-2),11), ((1),12), ((2),14), ((2),16), ((1),17), ((1),18), ((1),19), ((-2),20), ((1),22), ((-1),23), ((1),24), ((-1),25), ((-1),30), ((-1),32), ((2),33), ((-2),37), ((2),38), ((2),39), ((-1),40), ((1),41), ((1),42), ((2),44), ((-1),45), ((-2),46), ((-2),48), ((-1),50), ((-2),52), ((-1),53), ((1),56), ((-1),57), ((2),58), ((-2),59), ((-1),60), ((1),61), ((-1),63), ((-2),64), ((-1),66), ((-2),69), ((2),72), ((-1),73)], (42)), ("GEQ", [((2),1), ((-2),4), ((-2),5), ((2),6), ((2),8), ((-2),9), ((-2),10), ((2),11), ((-2),15), ((-2),16), ((2),17), ((1),18), ((2),19), ((-1),21), ((-1),22), ((-2),23), ((-1),24), ((-1),25), ((2),26), ((2),28), ((2),29), ((2),30), ((2),31), ((-1),33), ((1),34), ((-2),40), ((-1),42), ((-1),43), ((1),44), ((1),49), ((1),53), ((-2),54), ((-2),55), ((2),56), ((-2),57), ((-1),58), ((-1),60), ((1),61), ((-2),66), ((1),67), ((-1),68), ((-1),69), ((1),70)], (-35)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-1),3), ((-1),5), ((2),6), ((-1),7), ((1),8), ((-1),10), ((-1),11), ((2),12), ((-1),13), ((1),14), ((2),15), ((-2),17), ((1),18), ((-1),19), ((2),21), ((-1),22), ((2),23), ((-1),24), ((2),26), ((-2),30), ((-1),31), ((1),32), ((-1),33), ((2),35), ((-2),36), ((-2),37), ((-1),38), ((2),39), ((2),40), ((1),41), ((-2),43), ((-1),44), ((2),45), ((2),47), ((1),50), ((2),51), ((-2),53), ((-1),55), ((1),56), ((2),57), ((-1),58), ((-2),59), ((1),61), ((-2),62), ((2),64), ((1),66), ((1),67), ((2),68), ((-1),72), ((-2),74)], (0)), ("GEQ", [((-2),8), ((1),10), ((-2),13), ((2),14), ((2),15), ((-2),18), ((2),20), ((2),23), ((2),25), ((-1),27), ((2),31), ((2),33), ((1),34), ((2),35), ((-1),37), ((-2),39), ((2),40), ((2),41), ((-1),42), ((-2),46), ((2),47), ((2),48), ((-1),50), ((-2),51), ((-2),52), ((1),53), ((2),54), ((1),56), ((1),57), ((1),59), ((2),60), ((-1),61), ((1),63), ((-1),64), ((1),65), ((-2),69), ((2),70), ((-1),73), ((1),74)], (-11)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-2),4), ((-1),9), ((1),10), ((1),17), ((2),21), ((-2),25), ((-1),26), ((-1),27), ((1),29), ((-2),30), ((1),34), ((2),35), ((-2),36), ((2),38), ((-1),39), ((-1),40), ((-2),43), ((-1),44), ((-2),45), ((-1),46), ((-1),48), ((1),49), ((-1),50), ((2),52), ((1),53), ((-1),54), ((-1),55), ((-2),57), ((-1),58), ((1),61), ((-2),62), ((-1),63), ((-1),64), ((-1),65), ((1),66), ((-1),68), ((1),69), ((-1),70), ((-1),71), ((-1),73), ((-1),74)], (9)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((-2),5), ((-2),6), ((1),7), ((-2),8), ((-2),9), ((-1),11), ((2),12), ((-2),13), ((2),15), ((2),16), ((-1),17), ((-1),20), ((-1),21), ((-2),23), ((-2),28), ((-2),29), ((2),30), ((-1),31), ((-2),32), ((-1),33), ((-1),34), ((1),35), ((-2),36), ((2),37), ((2),42), ((-2),43), ((-1),47), ((2),48), ((-2),49), ((1),52), ((2),53), ((-1),54), ((1),55), ((-1),59), ((1),62), ((1),65), ((2),66), ((-1),67), ((2),70), ((-2),71), ((1),72), ((2),74)], (41)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((-1),5), ((-1),6), ((2),9), ((-2),11), ((-1),12), ((-1),13), ((-1),17), ((1),19), ((-2),21), ((1),23), ((-2),24), ((-2),25), ((1),26), ((-1),27), ((-2),28), ((-2),29), ((-1),32), ((1),36), ((2),38), ((-1),39), ((-2),40), ((1),41), ((2),45), ((-1),46), ((2),48), ((-2),50), ((-1),52), ((-2),53), ((2),54), ((1),55), ((-2),57), ((1),58), ((-2),59), ((-1),60), ((-1),61), ((-1),62), ((-2),64), ((-1),66), ((-1),68), ((-1),70), ((2),73)], (-3)), ("GEQ", [((2),1), ((2),3), ((-2),6), ((-2),7), ((1),8), ((-1),9), ((2),12), ((-2),14), ((1),16), ((2),17), ((1),19), ((2),20), ((-1),23), ((-2),24), ((1),26), ((-2),27), ((2),28), ((2),30), ((1),31), ((1),32), ((2),33), ((-1),34), ((-2),35), ((-2),37), ((2),40), ((2),43), ((1),45), ((2),47), ((2),49), ((2),51), ((-2),53), ((-1),54), ((-1),55), ((-2),56), ((-2),57), ((-2),58), ((2),59), ((2),63), ((-2),64), ((1),66), ((2),68), ((2),71), ((-1),72), ((-1),74)], (36)), ("GEQ", [((2),1), ((-2),2), ((-2),3), ((-1),4), ((-2),9), ((-1),10), ((-1),12), ((-2),13), ((-2),14), ((-2),17), ((-1),19), ((2),21), ((2),22), ((-2),23), ((1),24), ((2),27), ((-2),28), ((-1),32), ((1),33), ((-1),34), ((1),35), ((1),39), ((2),40), ((2),44), ((1),46), ((2),47), ((1),48), ((-2),49), ((1),50), ((-2),51), ((-2),52), ((-2),56), ((-1),57), ((-1),59), ((1),61), ((-1),62), ((1),63), ((-1),64), ((-2),65), ((1),67), ((1),69), ((-1),71), ((1),72)], (-4)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((1),5), ((-1),6), ((1),7), ((2),8), ((-2),10), ((-2),11), ((-2),12), ((2),13), ((2),15), ((2),16), ((2),17), ((1),18), ((-2),19), ((-2),20), ((1),23), ((-1),25), ((2),26), ((-2),27), ((2),28), ((-2),31), ((1),33), ((2),34), ((1),35), ((2),36), ((-1),37), ((-1),38), ((2),42), ((-2),43), ((-2),44), ((-2),45), ((1),47), ((-1),49), ((2),51), ((2),52), ((-2),54), ((-2),57), ((1),59), ((2),61), ((-1),63), ((2),65), ((-2),66), ((1),67), ((-2),69), ((1),71), ((2),73)], (6)), ("GEQ", [((1),1), ((-2),2), ((-2),3), ((-2),6), ((-1),7), ((-1),9), ((-2),12), ((1),13), ((2),14), ((1),16), ((2),18), ((-1),20), ((1),21), ((2),22), ((-2),24), ((2),25), ((1),26), ((2),27), ((1),30), ((1),31), ((1),32), ((-1),35), ((-1),37), ((2),38), ((1),39), ((2),40), ((2),43), ((-2),45), ((-1),46), ((1),47), ((-1),48), ((2),49), ((2),50), ((2),54), ((2),55), ((2),56), ((-2),58), ((-1),59), ((-2),60), ((1),61), ((-1),64), ((-1),67), ((-1),68), ((1),69), ((-1),72)], (-12)), ("GEQ", [((2),0), ((1),1), ((2),3), ((-2),7), ((-2),8), ((2),10), ((1),11), ((-1),12), ((-2),14), ((1),16), ((1),17), ((1),19), ((1),20), ((1),22), ((-2),23), ((1),24), ((1),27), ((2),28), ((-2),30), ((-2),31), ((-2),32), ((-2),33), ((2),34), ((1),37), ((-1),38), ((2),39), ((-2),40), ((1),42), ((-1),43), ((2),47), ((2),48), ((2),50), ((-1),54), ((2),55), ((-1),56), ((-1),60), ((1),61), ((1),62), ((-2),63), ((2),64), ((1),66), ((-1),69), ((-1),71), ((-1),73)], (59)), ("GEQ", [((-1),1), ((-2),2), ((-1),5), ((-2),6), ((2),7), ((2),8), ((-2),9), ((2),12), ((1),14), ((1),15), ((-2),16), ((1),17), ((-1),20), ((-1),21), ((-1),23), ((-2),25), ((-2),26), ((1),29), ((2),31), ((1),34), ((-1),37), ((1),38), ((2),40), ((2),41), ((-2),42), ((1),43), ((-1),47), ((1),49), ((-1),50), ((-2),51), ((-2),53), ((-1),56), ((-1),57), ((-2),58), ((1),59), ((1),61), ((1),62), ((-2),63), ((-1),64), ((2),70), ((2),71), ((1),73)], (-45)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((2),4), ((1),5), ((-1),7), ((2),8), ((2),9), ((2),10), ((2),11), ((-1),13), ((-1),14), ((2),15), ((2),17), ((-1),18), ((-1),19), ((-1),21), ((1),24), ((-2),25), ((2),27), ((2),28), ((1),29), ((2),33), ((1),34), ((-2),35), ((-1),38), ((-1),39), ((1),41), ((1),42), ((1),43), ((-1),44), ((-1),46), ((-2),47), ((-1),48), ((-1),49), ((2),53), ((1),55), ((2),56), ((-1),57), ((-2),58), ((1),59), ((-1),60), ((-1),61), ((1),64), ((-1),66), ((1),69), ((-1),70), ((-1),72), ((2),74)], (-26)), ("GEQ", [((-1),1), ((-2),3), ((-2),4), ((-1),6), ((-1),7), ((2),8), ((2),9), ((1),10), ((-1),11), ((-1),13), ((-1),14), ((1),15), ((-2),18), ((-2),19), ((-1),20), ((2),21), ((-1),22), ((2),23), ((2),25), ((-1),26), ((1),28), ((-1),34), ((2),35), ((1),37), ((2),39), ((1),40), ((-2),41), ((1),42), ((1),45), ((1),46), ((1),49), ((-1),51), ((1),52), ((2),54), ((-2),55), ((-2),56), ((1),57), ((1),58), ((-2),60), ((-2),61), ((-2),65), ((-1),66), ((2),68), ((-1),69), ((-2),70), ((-2),71)], (36)), ("GEQ", [((2),1), ((-2),3), ((-2),5), ((-2),6), ((1),8), ((-1),9), ((-1),10), ((-1),12), ((-2),14), ((-2),15), ((2),16), ((1),17), ((2),22), ((-1),23), ((1),24), ((-2),25), ((-1),27), ((-2),29), ((-1),32), ((2),35), ((-1),36), ((-2),37), ((2),42), ((-1),45), ((-1),46), ((-2),48), ((-1),50), ((-1),52), ((-1),53), ((2),58), ((-2),62), ((2),63), ((1),65), ((-1),66), ((2),68), ((1),71), ((1),72)], (43)), ("GEQ", [((-1),2), ((2),3), ((1),5), ((-1),7), ((-1),10), ((1),11), ((-1),12), ((-2),14), ((1),15), ((1),20), ((2),21), ((-2),22), ((-1),25), ((-1),27), ((-2),28), ((1),29), ((-1),31), ((1),32), ((-1),34), ((-2),36), ((-1),38), ((1),39), ((2),40), ((1),41), ((-1),43), ((-1),44), ((2),45), ((2),46), ((-2),50), ((2),51), ((-1),53), ((2),57), ((1),59), ((2),61), ((1),63), ((1),64), ((-2),65), ((1),66), ((-1),67), ((-1),70), ((1),72), ((1),73), ((-2),74)], (17)), ("GEQ", [((1),0), ((2),2), ((-2),3), ((-2),4), ((1),5), ((-1),6), ((-1),9), ((-1),10), ((-2),12), ((-2),13), ((1),18), ((2),19), ((-1),20), ((-2),21), ((2),22), ((-1),23), ((-1),24), ((-1),25), ((-2),27), ((-1),29), ((1),31), ((2),32), ((1),33), ((1),34), ((1),37), ((-1),38), ((1),39), ((2),40), ((2),41), ((2),43), ((2),44), ((2),45), ((-1),46), ((1),48), ((2),49), ((-2),50), ((-1),52), ((-1),54), ((-1),55), ((-2),57), ((1),60), ((-1),62), ((2),63), ((-2),64), ((1),65), ((2),66), ((-2),68), ((2),71), ((-1),72)], (10)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((-2),3), ((1),4), ((1),5), ((-2),6), ((-1),7), ((1),8), ((2),9), ((-2),10), ((-1),11), ((-1),12), ((1),14), ((-1),16), ((1),18), ((2),19), ((-2),20), ((-1),22), ((2),25), ((2),26), ((2),28), ((-2),29), ((1),30), ((-2),34), ((-1),35), ((-1),36), ((-2),37), ((-2),38), ((1),39), ((-2),41), ((2),42), ((2),45), ((2),48), ((1),49), ((2),51), ((2),52), ((2),53), ((1),54), ((1),55), ((1),56), ((-1),58), ((-1),61), ((-1),62), ((-2),63), ((-2),64), ((-1),66), ((-1),69), ((1),70), ((-1),71), ((-1),72), ((-1),73), ((2),74)], (36)), ("GEQ", [((-1),0), ((2),1), ((1),5), ((-2),6), ((-2),8), ((-2),9), ((2),11), ((-2),13), ((-1),14), ((1),17), ((-1),19), ((-1),21), ((2),22), ((1),25), ((2),26), ((1),27), ((2),28), ((1),30), ((-2),31), ((1),33), ((1),34), ((-1),35), ((1),37), ((2),40), ((1),41), ((-1),43), ((2),44), ((-1),46), ((-2),50), ((-2),53), ((1),57), ((-2),59), ((1),60), ((-2),61), ((-2),62), ((1),63), ((1),65), ((1),66), ((-2),67), ((2),68), ((-2),69), ((2),70), ((1),71), ((2),72), ((2),73), ((-2),74)], (39)), ("GEQ", [((2),1), ((2),2), ((2),5), ((1),6), ((-2),8), ((-2),13), ((-2),15), ((-2),17), ((-1),20), ((1),21), ((-2),22), ((-2),23), ((-1),24), ((2),27), ((-2),29), ((-2),31), ((1),35), ((-1),36), ((1),38), ((1),39), ((-1),41), ((-1),42), ((-2),44), ((-1),45), ((-2),46), ((-1),47), ((1),49), ((2),50), ((-2),51), ((-1),53), ((-2),54), ((1),56), ((1),59), ((1),60), ((-1),62), ((2),63), ((2),65), ((2),68), ((-1),69), ((-1),70), ((2),74)], (14)), ("GEQ", [((2),3), ((2),4), ((-2),5), ((-1),6), ((-2),8), ((-2),9), ((-1),10), ((2),11), ((2),13), ((1),15), ((-2),16), ((2),17), ((2),18), ((-2),22), ((-2),23), ((-2),26), ((-1),27), ((-1),29), ((-1),30), ((2),31), ((2),33), ((2),35), ((-2),36), ((1),37), ((-1),41), ((-2),43), ((2),46), ((1),48), ((-1),49), ((-2),51), ((1),52), ((-1),53), ((2),57), ((-2),60), ((2),61), ((2),62), ((1),63), ((-2),64), ((-1),66), ((-2),69), ((-2),70), ((1),71), ((-2),72), ((2),73), ((2),74)], (8)), ("GEQ", [((-1),0), ((2),1), ((-1),2), ((-2),3), ((2),4), ((-2),7), ((-1),9), ((2),10), ((-2),11), ((-1),14), ((-1),15), ((-1),16), ((-2),17), ((-1),19), ((2),20), ((-2),21), ((-1),22), ((1),24), ((1),25), ((2),26), ((2),29), ((-2),31), ((-2),32), ((1),34), ((-2),36), ((2),38), ((2),40), ((-2),41), ((1),42), ((-1),43), ((-1),48), ((1),49), ((-1),51), ((1),53), ((-2),56), ((-2),57), ((-2),58), ((2),64), ((2),69), ((1),70), ((-1),72), ((1),74)], (20)), ("GEQ", [((-1),1), ((-2),3), ((-2),4), ((2),7), ((-2),10), ((-1),11), ((1),14), ((-1),15), ((2),16), ((-1),17), ((1),18), ((-1),19), ((2),23), ((-2),24), ((-1),27), ((1),28), ((1),29), ((2),30), ((-1),31), ((-2),32), ((2),34), ((1),35), ((2),37), ((-1),38), ((-1),39), ((-2),41), ((-2),43), ((-1),44), ((-2),46), ((-1),47), ((-2),48), ((-1),49), ((2),50), ((-2),51), ((-1),52), ((-1),53), ((2),55), ((1),58), ((-2),59), ((-1),60), ((1),61), ((2),63), ((2),64), ((-1),65), ((1),66), ((-1),68), ((2),69), ((2),70), ((-2),72), ((-2),73), ((-2),74)], (1)), ("GEQ", [((-2),1), ((-2),3), ((2),4), ((2),5), ((-1),6), ((-2),7), ((-2),8), ((-1),12), ((1),13), ((-1),14), ((1),15), ((-2),17), ((2),18), ((-2),19), ((-2),20), ((-1),21), ((1),22), ((2),23), ((-2),25), ((-2),26), ((-1),29), ((2),30), ((2),33), ((1),35), ((-2),37), ((1),39), ((-2),41), ((1),42), ((-1),43), ((-2),44), ((-2),45), ((-1),47), ((2),48), ((1),49), ((-2),50), ((-1),51), ((1),53), ((-2),55), ((2),56), ((2),57), ((2),58), ((-1),59), ((-2),61), ((-2),62), ((-2),63), ((1),65), ((-2),66), ((2),69), ((-2),70), ((2),71), ((-2),74)], (33)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),5), ((-1),6), ((2),7), ((1),8), ((1),11), ((-2),15), ((-1),16), ((2),18), ((-2),19), ((-1),20), ((-1),22), ((1),23), ((2),27), ((1),30), ((2),31), ((2),32), ((2),33), ((2),39), ((1),43), ((-1),44), ((2),47), ((1),49), ((1),50), ((1),52), ((-1),54), ((-2),57), ((-2),60), ((-2),61), ((1),62), ((2),63), ((2),65), ((-2),66), ((1),67), ((-1),68), ((1),69), ((-1),72), ((-1),73), ((-2),74)], (-39)), ("GEQ", [((-2),4), ((-2),6), ((2),7), ((2),9), ((-1),10), ((-2),13), ((2),14), ((2),17), ((-2),19), ((1),22), ((1),23), ((1),25), ((-2),29), ((2),31), ((-1),33), ((1),34), ((-2),35), ((-1),36), ((-2),39), ((2),40), ((1),41), ((1),42), ((-2),43), ((2),45), ((-1),46), ((-1),47), ((1),51), ((-2),52), ((1),55), ((1),57), ((2),58), ((-2),60), ((2),63), ((2),64), ((2),65), ((-1),66), ((-1),67), ((1),68), ((2),69), ((-2),70), ((2),71), ((-1),72), ((2),74)], (-12)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-1),3), ((-1),6), ((1),7), ((-1),8), ((2),9), ((-2),11), ((2),13), ((-2),14), ((2),16), ((1),17), ((-1),18), ((2),22), ((-1),24), ((1),25), ((-2),26), ((2),28), ((1),29), ((2),30), ((-2),31), ((-2),32), ((-2),33), ((-1),36), ((2),38), ((-2),39), ((1),40), ((-1),42), ((-1),43), ((2),44), ((-2),45), ((-2),48), ((-1),52), ((2),53), ((-2),54), ((-2),55), ((1),56), ((2),57), ((2),58), ((1),59), ((-2),60), ((1),63), ((2),65), ((-2),66), ((2),67), ((1),68), ((-1),71), ((-2),73), ((-2),74)], (66)), ("GEQ", [((-2),1), ((-2),6), ((-1),7), ((-1),12), ((2),13), ((-1),14), ((1),16), ((-1),17), ((-1),18), ((-2),19), ((1),20), ((2),22), ((2),26), ((-1),27), ((-1),28), ((-2),29), ((2),30), ((-2),32), ((-1),34), ((-1),35), ((-2),36), ((1),37), ((-2),38), ((-1),39), ((2),40), ((-2),41), ((-2),43), ((-1),44), ((-2),45), ((1),46), ((1),47), ((1),48), ((2),49), ((-1),51), ((2),52), ((-2),57), ((1),60), ((2),62), ((-2),63), ((2),64), ((2),66), ((1),67), ((2),72), ((-2),74)], (40)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((1),7), ((2),8), ((2),10), ((-2),11), ((-1),13), ((-2),15), ((1),16), ((1),17), ((1),19), ((1),21), ((2),22), ((1),23), ((1),24), ((-2),26), ((-2),29), ((2),30), ((1),32), ((1),36), ((-1),38), ((2),39), ((-2),40), ((-1),41), ((-2),42), ((-1),44), ((2),45), ((1),46), ((-1),48), ((2),49), ((2),50), ((-2),51), ((-2),52), ((-2),53), ((2),56), ((-1),58), ((-1),61), ((-1),62), ((-1),63), ((-1),66), ((-2),67), ((-2),69), ((-2),70), ((2),71), ((-2),72), ((-1),73)], (-17)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((1),3), ((-1),4), ((1),5), ((2),6), ((-1),9), ((2),10), ((-1),12), ((1),13), ((2),15), ((-1),16), ((1),17), ((-1),18), ((2),19), ((1),21), ((-2),23), ((2),24), ((-1),27), ((-1),28), ((-1),30), ((1),31), ((1),32), ((1),33), ((-1),35), ((-1),36), ((2),39), ((-2),41), ((1),42), ((-1),43), ((-1),44), ((-2),48), ((-1),49), ((2),52), ((1),53), ((2),54), ((2),56), ((-2),57), ((-1),58), ((-2),59), ((1),61), ((1),62), ((1),64), ((-1),65), ((-1),68), ((-1),70), ((-2),71), ((1),73), ((-2),74)], (-9)), ("GEQ", [((-2),0), ((1),3), ((-1),4), ((-1),5), ((2),6), ((2),8), ((1),9), ((-2),10), ((1),12), ((-1),13), ((2),15), ((2),17), ((1),19), ((-1),22), ((2),23), ((1),24), ((-1),25), ((2),26), ((-2),27), ((-1),28), ((-1),29), ((-1),30), ((-1),31), ((1),33), ((-1),34), ((2),35), ((1),37), ((1),39), ((-1),40), ((-2),41), ((1),42), ((2),44), ((-1),46), ((2),47), ((1),48), ((-2),51), ((-2),54), ((2),55), ((-2),57), ((-1),58), ((-2),59), ((-1),60), ((-2),61), ((2),62), ((-1),63), ((-2),64), ((2),65), ((1),66), ((2),67), ((2),68), ((-2),70), ((2),71), ((-1),72), ((-1),74)], (-3)), ("GEQ", [((1),0), ((-1),6), ((-1),8), ((1),9), ((-2),11), ((-2),12), ((-2),13), ((-2),15), ((1),16), ((1),19), ((2),20), ((2),22), ((-1),23), ((-1),25), ((-2),26), ((2),27), ((-2),29), ((-1),30), ((-2),31), ((2),32), ((2),33), ((-2),40), ((-1),43), ((1),44), ((2),45), ((2),48), ((1),49), ((2),51), ((-2),57), ((-2),58), ((-2),60), ((-2),61), ((2),62), ((-1),63), ((-2),67), ((1),68), ((2),69), ((-2),70), ((-2),71), ((1),72), ((1),73), ((1),74)], (48)), ("GEQ", [((1),1), ((2),2), ((-1),7), ((-2),10), ((-1),12), ((-2),16), ((1),17), ((1),18), ((1),19), ((2),20), ((1),21), ((-2),22), ((2),26), ((2),27), ((2),29), ((-2),31), ((2),33), ((-1),34), ((2),35), ((-2),36), ((2),38), ((2),40), ((1),44), ((1),45), ((-1),46), ((-2),47), ((1),49), ((2),50), ((1),52), ((-1),53), ((2),54), ((-1),55), ((1),58), ((1),60), ((-1),61), ((1),63), ((1),64), ((-1),65), ((-2),66), ((-1),68), ((2),69), ((-1),70), ((-1),74)], (10)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((2),6), ((2),7), ((2),12), ((2),13), ((1),15), ((-1),17), ((1),19), ((-2),22), ((2),24), ((1),25), ((-2),26), ((2),27), ((-1),28), ((2),31), ((2),34), ((1),36), ((-1),37), ((2),38), ((2),44), ((2),45), ((-2),46), ((-2),50), ((-2),52), ((1),53), ((1),54), ((-2),55), ((1),57), ((1),58), ((-2),59), ((-1),60), ((1),61), ((1),62), ((2),63), ((2),65), ((2),66), ((2),67), ((1),68), ((2),70), ((2),71)], (-24)), ("GEQ", [((2),1), ((-2),2), ((-1),5), ((-2),8), ((2),9), ((2),11), ((1),12), ((2),15), ((-1),16), ((-1),17), ((1),20), ((1),22), ((-2),25), ((1),27), ((-1),28), ((2),30), ((-2),32), ((-1),33), ((-2),35), ((2),36), ((2),41), ((2),43), ((-2),44), ((2),45), ((-2),47), ((2),49), ((-2),51), ((-1),52), ((-2),55), ((1),56), ((1),58), ((1),60), ((1),62), ((-1),63), ((1),64), ((-2),67), ((2),68), ((-1),69), ((1),70), ((-2),71), ((-2),72), ((-2),73), ((1),74)], (13)), ("GEQ", [((-2),2), ((-2),4), ((2),6), ((-1),7), ((-1),9), ((-1),11), ((1),12), ((1),15), ((-1),17), ((1),21), ((2),22), ((1),23), ((-2),27), ((2),29), ((-1),30), ((-1),31), ((2),32), ((-2),36), ((1),38), ((2),40), ((2),44), ((1),45), ((-2),47), ((2),49), ((-2),50), ((-2),52), ((-2),53), ((-1),54), ((2),55), ((2),56), ((-2),57), ((2),59), ((-1),60), ((2),62), ((1),63), ((-2),65), ((2),67), ((-1),68), ((1),69), ((-2),73), ((2),74)], (45)), ("GEQ", [((2),2), ((-2),4), ((-1),5), ((2),6), ((-1),9), ((1),11), ((-2),12), ((2),14), ((2),15), ((2),16), ((-2),20), ((1),21), ((-1),22), ((1),23), ((-1),26), ((2),27), ((2),28), ((1),32), ((-1),33), ((2),34), ((-1),35), ((-2),37), ((-1),38), ((2),39), ((-2),41), ((-1),42), ((1),45), ((-1),46), ((-1),47), ((-2),48), ((-1),49), ((1),51), ((-2),53), ((-1),54), ((-2),55), ((-2),56), ((2),57), ((1),59), ((1),60), ((2),62), ((1),64), ((-1),65), ((-2),66), ((-2),72), ((2),73)], (3)), ("GEQ", [((-1),3), ((-2),4), ((-1),6), ((2),8), ((-1),10), ((-1),11), ((-1),12), ((-1),13), ((-2),14), ((2),15), ((-1),16), ((1),18), ((-2),19), ((-2),21), ((-1),22), ((-2),24), ((-1),25), ((2),26), ((-1),27), ((-2),29), ((-1),30), ((-2),33), ((-1),34), ((2),35), ((-2),36), ((1),37), ((-2),39), ((1),40), ((-2),41), ((2),43), ((2),44), ((-1),45), ((-1),46), ((1),48), ((-2),50), ((-1),51), ((-2),53), ((-1),54), ((2),57), ((1),60), ((-1),61), ((-1),63), ((-1),64), ((1),65), ((-1),66), ((2),69), ((1),70), ((2),71), ((2),73), ((-1),74)], (24)), ("GEQ", [((1),2), ((1),3), ((2),5), ((-1),7), ((1),8), ((-1),9), ((1),10), ((1),12), ((1),13), ((-2),14), ((-1),28), ((-2),30), ((-1),31), ((2),33), ((-1),34), ((-1),35), ((2),36), ((-1),37), ((2),38), ((1),41), ((1),42), ((-1),44), ((2),48), ((-1),49), ((-2),50), ((1),51), ((1),52), ((-1),54), ((-1),55), ((-1),57), ((-1),58), ((1),59), ((-1),61), ((-2),62), ((-1),64), ((-1),66), ((-2),67), ((1),68), ((2),71), ((1),74)], (16)), ("GEQ", [((-2),2), ((-1),3), ((-2),4), ((1),5), ((2),9), ((1),11), ((2),12), ((2),15), ((-2),16), ((-1),17), ((-2),18), ((1),20), ((1),21), ((1),24), ((1),26), ((-1),31), ((1),32), ((2),33), ((-1),36), ((2),37), ((1),39), ((1),40), ((2),42), ((-1),44), ((-2),45), ((-1),48), ((1),49), ((-2),51), ((2),52), ((-1),53), ((-1),54), ((1),55), ((-1),56), ((-2),58), ((1),61), ((-2),62), ((-2),64), ((1),65), ((-2),69), ((-1),71), ((1),72), ((2),73)], (-41)), ("GEQ", [((-1),0), ((2),2), ((-1),5), ((2),7), ((-2),8), ((2),9), ((1),10), ((1),11), ((-2),12), ((1),13), ((-1),14), ((2),15), ((1),19), ((2),20), ((-1),21), ((1),23), ((-2),25), ((1),26), ((-2),30), ((1),31), ((1),33), ((2),35), ((2),38), ((-1),39), ((-1),44), ((2),45), ((-2),46), ((-1),51), ((-2),52), ((1),53), ((1),55), ((-1),56), ((-1),59), ((2),60), ((-2),63), ((-2),65), ((2),66), ((-2),67), ((1),68), ((2),69), ((1),70), ((-2),73), ((1),74)], (33)), ("GEQ", [((-2),0), ((-2),1), ((2),4), ((-1),5), ((-1),7), ((-2),8), ((-2),10), ((-1),11), ((-2),12), ((-2),13), ((-2),14), ((-2),16), ((-1),17), ((-1),18), ((1),21), ((-2),23), ((-1),24), ((-2),25), ((1),26), ((-2),29), ((1),32), ((2),34), ((2),35), ((-1),36), ((-1),37), ((-2),38), ((2),39), ((-1),43), ((1),44), ((-2),47), ((1),49), ((1),51), ((-2),52), ((1),56), ((-1),57), ((1),60), ((1),61), ((-2),62), ((-1),63), ((2),64), ((1),67), ((-1),69), ((-2),71), ((-1),72), ((-1),74)], (9)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((1),5), ((1),9), ((1),10), ((1),11), ((-2),12), ((-1),13), ((-1),14), ((-2),15), ((-2),16), ((-2),18), ((1),19), ((-2),22), ((1),23), ((-1),25), ((-2),27), ((-1),28), ((1),30), ((1),32), ((1),33), ((1),35), ((2),37), ((-2),38), ((-1),41), ((1),44), ((-1),45), ((1),48), ((1),53), ((-2),54), ((1),55), ((2),57), ((-2),58), ((1),62), ((2),64), ((1),68), ((-1),69), ((-1),74)], (-17)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((-2),4), ((-2),11), ((-1),15), ((-2),19), ((-2),20), ((1),21), ((1),24), ((-1),25), ((-1),26), ((-1),27), ((2),29), ((2),30), ((1),31), ((2),33), ((1),34), ((1),35), ((-2),38), ((-1),39), ((-1),40), ((-2),41), ((-2),42), ((1),43), ((2),44), ((-2),46), ((2),47), ((-2),48), ((-1),49), ((2),51), ((-1),52), ((-2),54), ((-2),56), ((1),58), ((-1),60), ((1),61), ((1),62), ((-1),63), ((2),65), ((1),68), ((-1),69), ((1),72), ((2),73)], (-27)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-1),3), ((-2),4), ((-1),5), ((1),6), ((1),7), ((1),8), ((2),9), ((-2),12), ((-2),13), ((-1),15), ((2),16), ((-1),17), ((-2),19), ((1),21), ((-1),22), ((1),23), ((-2),26), ((1),28), ((-2),29), ((2),30), ((1),32), ((-2),34), ((1),35), ((-1),36), ((-1),38), ((-1),39), ((-2),41), ((-2),42), ((2),46), ((2),49), ((1),50), ((2),52), ((1),54), ((-2),55), ((-1),56), ((-1),57), ((2),58), ((2),59), ((-1),61), ((-1),62), ((-2),64), ((-1),65), ((-2),67), ((-1),68), ((-1),69), ((-2),71), ((-1),72)], (10)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((2),4), ((-1),5), ((-2),7), ((-1),8), ((2),9), ((2),10), ((2),13), ((2),14), ((2),17), ((-2),18), ((-2),19), ((2),20), ((-2),21), ((1),23), ((-2),24), ((-1),26), ((2),29), ((-1),30), ((2),31), ((-2),33), ((-1),39), ((-1),40), ((1),41), ((1),43), ((-1),45), ((-2),46), ((2),48), ((-2),49), ((-1),51), ((1),52), ((1),53), ((-2),54), ((-1),59), ((1),64), ((-1),65), ((2),67), ((1),68), ((-1),69), ((1),71), ((1),72), ((2),73)], (-24)), ("GEQ", [((-1),2), ((2),3), ((-1),4), ((-1),5), ((1),9), ((-1),12), ((2),13), ((2),18), ((2),19), ((1),20), ((-1),22), ((1),23), ((1),26), ((-2),28), ((1),29), ((-2),31), ((-2),32), ((-1),34), ((1),37), ((-1),38), ((-2),42), ((-1),44), ((-1),45), ((1),47), ((2),50), ((-2),51), ((-1),53), ((-2),54), ((1),56), ((2),58), ((-1),60), ((-1),64), ((-1),65), ((-1),66), ((1),67), ((2),69), ((1),71), ((-1),72), ((-2),74)], (16)), ("GEQ", [((-2),0), ((1),2), ((-2),4), ((-2),9), ((1),10), ((-2),11), ((1),13), ((2),14), ((1),15), ((2),16), ((-2),17), ((-2),18), ((1),20), ((-2),21), ((-1),22), ((2),23), ((2),24), ((-1),28), ((2),29), ((-1),30), ((2),32), ((-1),33), ((-2),34), ((2),35), ((2),36), ((2),38), ((1),40), ((-1),41), ((2),44), ((-1),45), ((2),46), ((-2),47), ((2),49), ((1),50), ((-2),52), ((-1),53), ((1),55), ((1),56), ((1),57), ((1),58), ((2),59), ((-1),60), ((-2),62), ((-1),63), ((1),65), ((2),68), ((-2),70), ((-2),72), ((2),73), ((-2),74)], (-39)), ("GEQ", [((-2),0), ((-1),4), ((-2),5), ((1),6), ((-1),10), ((-2),12), ((2),15), ((1),16), ((2),18), ((2),19), ((-2),22), ((-2),23), ((-1),24), ((2),25), ((-1),26), ((1),27), ((-1),28), ((1),32), ((-1),33), ((1),40), ((-2),42), ((-1),43), ((1),44), ((-1),45), ((-1),46), ((1),47), ((-1),48), ((1),49), ((1),51), ((2),52), ((2),54), ((-2),55), ((2),56), ((1),58), ((1),59), ((2),60), ((1),61), ((-2),63), ((2),65), ((2),68), ((-2),69), ((2),71), ((1),73), ((2),74)], (-15)), ("GEQ", [((1),2), ((-2),3), ((2),4), ((2),5), ((1),6), ((2),7), ((-1),9), ((1),10), ((2),11), ((-1),14), ((2),16), ((-2),18), ((-1),21), ((1),23), ((1),24), ((2),25), ((-1),26), ((-1),28), ((-1),31), ((-2),32), ((-2),33), ((-1),35), ((2),37), ((-2),39), ((1),40), ((-2),41), ((-1),43), ((-1),47), ((-1),48), ((1),50), ((-1),52), ((2),53), ((-1),56), ((1),59), ((-2),62), ((-1),67), ((-2),68), ((2),71), ((-1),72), ((-2),73), ((-2),74)], (-32)), ("GEQ", [((-2),1), ((-2),2), ((2),3), ((-2),4), ((2),7), ((1),9), ((1),14), ((-1),15), ((-1),16), ((-1),17), ((2),19), ((2),20), ((-2),21), ((2),23), ((2),26), ((-2),28), ((2),29), ((-2),31), ((-2),32), ((-2),33), ((-1),34), ((-1),40), ((1),41), ((1),43), ((-2),45), ((-2),48), ((-1),49), ((1),51), ((2),54), ((2),55), ((1),58), ((-2),59), ((1),60), ((-2),61), ((-2),62), ((1),63), ((-1),64), ((-2),65), ((-2),66), ((-1),68), ((-1),69), ((2),72), ((-1),73)], (-25)), ("GEQ", [((1),1), ((-2),3), ((-2),5), ((2),6), ((-1),9), ((-2),10), ((2),12), ((2),13), ((2),14), ((-2),17), ((1),20), ((2),21), ((-2),22), ((1),24), ((-2),25), ((2),26), ((1),27), ((-1),28), ((-2),29), ((-2),30), ((-2),31), ((2),32), ((-1),34), ((2),36), ((-1),37), ((-1),40), ((-2),42), ((-1),43), ((-1),47), ((-1),49), ((-1),51), ((-1),52), ((1),53), ((2),54), ((1),56), ((-2),57), ((2),58), ((-2),60), ((-2),62), ((2),63), ((-1),64), ((-1),65), ((2),67), ((-1),69), ((-2),70), ((-2),71), ((-1),72), ((2),74)], (-34)), ("GEQ", [((1),1), ((2),2), ((-2),3), ((2),5), ((-1),7), ((-2),8), ((-1),9), ((-1),10), ((2),12), ((1),13), ((1),17), ((1),18), ((2),19), ((-1),21), ((-2),22), ((1),23), ((-2),25), ((-1),27), ((-1),28), ((2),29), ((2),30), ((-1),31), ((-1),32), ((2),33), ((-2),34), ((-1),35), ((1),37), ((-1),39), ((1),41), ((-1),42), ((1),46), ((-1),48), ((2),49), ((2),51), ((1),53), ((2),54), ((1),55), ((1),56), ((-1),57), ((2),58), ((1),59), ((-1),61), ((-2),62), ((1),64), ((-1),65), ((-2),66), ((-1),67), ((2),68), ((-1),72), ((1),73), ((2),74)], (-8)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-1),3), ((1),4), ((-1),5), ((1),7), ((-2),9), ((2),10), ((-2),11), ((-1),12), ((2),13), ((-2),16), ((2),18), ((2),20), ((1),22), ((-1),24), ((1),25), ((-1),27), ((1),28), ((2),31), ((-1),32), ((2),34), ((2),35), ((1),36), ((-2),38), ((-2),39), ((1),40), ((-2),42), ((1),43), ((-1),45), ((-1),47), ((2),50), ((2),51), ((2),52), ((2),54), ((-2),55), ((1),56), ((2),58), ((-1),59), ((2),61), ((-2),65), ((1),69), ((2),70), ((2),74)], (19)), ("GEQ", [((-1),0), ((-1),1), ((-1),4), ((1),6), ((-1),7), ((-2),9), ((-1),10), ((2),11), ((2),17), ((-1),18), ((1),20), ((-2),22), ((-1),24), ((-1),26), ((-1),28), ((-2),29), ((1),30), ((1),32), ((-1),35), ((-2),36), ((2),37), ((-2),38), ((1),39), ((-1),40), ((2),42), ((2),44), ((-1),45), ((-1),49), ((2),50), ((1),51), ((2),52), ((1),53), ((2),54), ((1),55), ((2),57), ((2),59), ((2),61), ((2),62), ((-1),64), ((2),65), ((-1),66), ((2),68), ((-1),71), ((1),72), ((2),74)], (-35)), ("GEQ", [((1),0), ((2),1), ((2),3), ((-1),4), ((1),5), ((1),6), ((-2),7), ((-2),8), ((-2),9), ((-1),10), ((-1),11), ((-1),12), ((1),13), ((1),16), ((-1),17), ((1),18), ((2),20), ((1),21), ((1),22), ((-1),24), ((-2),25), ((-1),27), ((-1),28), ((-2),29), ((-2),30), ((-1),36), ((-2),38), ((-2),39), ((1),40), ((-1),42), ((-2),43), ((-1),46), ((1),47), ((2),48), ((-2),50), ((2),51), ((1),52), ((1),55), ((2),56), ((1),58), ((-1),62), ((-1),63), ((2),64), ((-2),65), ((-1),69), ((-2),70), ((2),72), ((2),73), ((2),74)], (36)), ("GEQ", [((-1),3), ((1),5), ((-2),7), ((-2),8), ((-1),10), ((2),12), ((-2),13), ((-2),15), ((-2),17), ((-1),18), ((-2),19), ((2),21), ((-1),24), ((1),27), ((-2),28), ((1),30), ((2),32), ((-1),34), ((-1),36), ((-2),37), ((2),40), ((2),41), ((-2),42), ((-1),43), ((-1),44), ((1),47), ((2),51), ((1),52), ((-2),53), ((1),57), ((-2),59), ((-2),61), ((2),64), ((-2),67), ((-1),68), ((-2),70), ((2),71), ((1),72), ((1),73)], (-30)), ("GEQ", [((-1),0), ((1),9), ((1),12), ((2),13), ((-2),15), ((1),17), ((1),18), ((-2),19), ((2),22), ((-2),23), ((-2),25), ((2),26), ((2),27), ((2),28), ((1),29), ((-1),30), ((1),38), ((1),39), ((-2),44), ((-2),45), ((2),46), ((-2),47), ((-1),48), ((-1),53), ((1),54), ((1),55), ((1),56), ((1),60), ((-2),61), ((-1),62), ((-2),63), ((2),65), ((-1),68), ((2),69), ((1),70), ((1),71), ((1),72), ((2),73)], (0)), ("GEQ", [((-1),0), ((2),1), ((-2),4), ((2),5), ((2),7), ((2),8), ((1),9), ((-2),10), ((-2),12), ((-1),13), ((2),14), ((-2),16), ((2),17), ((1),18), ((2),20), ((-1),22), ((-2),25), ((1),27), ((-2),29), ((-2),30), ((1),31), ((-1),32), ((-2),34), ((2),36), ((-2),37), ((1),38), ((2),43), ((-2),45), ((-1),46), ((2),47), ((-1),49), ((-1),50), ((-2),51), ((1),52), ((-2),54), ((1),55), ((-1),57), ((2),58), ((1),59), ((-1),61), ((1),63), ((-2),64), ((-2),65), ((-1),71), ((-1),73)], (7)), ("GEQ", [((1),0), ((2),1), ((1),3), ((2),4), ((2),6), ((-1),7), ((1),8), ((2),9), ((-2),10), ((-1),12), ((-1),14), ((2),16), ((-1),21), ((2),23), ((1),26), ((-2),29), ((1),30), ((-1),31), ((-2),34), ((-2),36), ((2),41), ((-2),42), ((-2),43), ((2),44), ((-1),48), ((-1),50), ((-2),53), ((-1),54), ((2),55), ((-2),56), ((-1),57), ((2),59), ((2),60), ((1),70)], (24)), ("GEQ", [((2),1), ((-2),3), ((1),4), ((1),8), ((2),9), ((1),11), ((-1),13), ((1),14), ((1),15), ((-1),17), ((1),18), ((-1),19), ((2),21), ((-1),22), ((1),23), ((-2),24), ((-1),25), ((2),26), ((-1),27), ((-1),30), ((-1),33), ((2),34), ((1),35), ((1),36), ((1),37), ((2),39), ((2),40), ((-1),42), ((1),43), ((1),44), ((1),45), ((-1),46), ((-1),47), ((1),48), ((1),49), ((2),50), ((-1),53), ((-1),54), ((1),55), ((1),56), ((2),57), ((-2),59), ((1),60), ((2),62), ((-2),65), ((2),68), ((-1),70), ((-2),72), ((2),73), ((-2),74)], (-8)), ("GEQ", [((-1),0), ((-2),3), ((2),4), ((2),7), ((-2),8), ((-2),11), ((2),12), ((-1),13), ((-1),14), ((2),16), ((1),17), ((-1),18), ((-2),19), ((2),20), ((-1),22), ((1),23), ((1),26), ((-1),27), ((2),28), ((1),29), ((-1),34), ((2),35), ((2),38), ((-2),40), ((-2),41), ((2),43), ((-2),44), ((-1),45), ((-2),46), ((2),47), ((1),49), ((1),50), ((1),51), ((1),53), ((-1),54), ((-2),55), ((-2),61), ((2),62), ((-1),63), ((1),64), ((2),65), ((-1),67), ((1),68), ((2),69), ((2),70), ((1),71), ((2),73)], (14)), ("GEQ", [((1),0), ((2),1), ((2),2), ((-1),4), ((2),6), ((2),7), ((1),8), ((1),9), ((-1),10), ((2),11), ((-2),12), ((1),15), ((-1),16), ((1),17), ((-1),19), ((2),20), ((-1),22), ((2),24), ((-2),27), ((2),28), ((-1),29), ((1),33), ((-1),34), ((2),35), ((-1),37), ((2),40), ((-1),41), ((-1),42), ((2),43), ((2),44), ((-1),46), ((-1),47), ((2),49), ((1),51), ((-1),53), ((1),55), ((2),58), ((-1),59), ((-2),61), ((-2),63), ((2),64), ((2),65), ((2),66), ((2),67), ((-2),68), ((-1),69), ((-2),70), ((-1),71), ((2),72), ((-1),73)], (-3)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-1),3), ((2),4), ((-1),5), ((-2),6), ((-1),7), ((-2),8), ((2),10), ((-2),12), ((2),13), ((-2),14), ((-2),15), ((1),18), ((2),20), ((-1),22), ((-1),23), ((1),25), ((2),27), ((1),29), ((1),31), ((2),36), ((2),37), ((1),38), ((2),39), ((2),40), ((-1),42), ((-2),44), ((2),45), ((-2),46), ((-2),48), ((1),49), ((1),50), ((1),52), ((-2),53), ((-1),54), ((-1),55), ((1),56), ((2),58), ((-2),59), ((-1),61), ((-1),66), ((2),67), ((-2),68), ((1),69), ((-1),70), ((-1),71), ((1),73), ((-1),74)], (-7)), ("GEQ", [((-2),0), ((1),3), ((-1),4), ((1),6), ((2),7), ((1),9), ((-2),10), ((-1),13), ((-1),14), ((1),17), ((-2),21), ((1),23), ((2),27), ((-1),28), ((-2),30), ((1),31), ((1),33), ((-1),35), ((2),37), ((-1),38), ((-2),39), ((-1),40), ((-2),41), ((2),42), ((-2),43), ((-1),46), ((2),52), ((-2),53), ((-2),54), ((-2),55), ((2),56), ((-1),57), ((1),58), ((-2),60), ((-2),62), ((-2),64), ((-2),65), ((1),67), ((-2),68), ((2),71), ((2),72), ((-2),73), ((2),74)], (20)), ("GEQ", [((1),0), ((-1),2), ((2),4), ((2),6), ((-1),8), ((2),10), ((1),11), ((1),12), ((-1),14), ((2),15), ((-1),16), ((-1),17), ((2),18), ((1),19), ((1),20), ((2),21), ((-1),25), ((1),26), ((-1),27), ((-2),28), ((-1),29), ((2),31), ((1),32), ((-2),33), ((2),34), ((1),35), ((2),36), ((2),39), ((2),43), ((1),44), ((-2),45), ((-1),46), ((2),47), ((-2),48), ((2),49), ((-1),50), ((-1),52), ((2),55), ((2),57), ((1),58), ((-2),60), ((1),62), ((-2),63), ((2),64), ((1),67), ((2),70), ((2),72), ((1),73), ((1),74)], (-10)), ("GEQ", [((2),1), ((-2),2), ((1),3), ((2),4), ((1),6), ((-1),8), ((-1),12), ((-1),13), ((-2),15), ((2),17), ((2),19), ((-2),20), ((-2),21), ((2),23), ((-1),24), ((-1),27), ((-2),30), ((-2),31), ((-2),37), ((-1),38), ((-2),39), ((1),40), ((1),43), ((-1),45), ((1),46), ((-1),47), ((-1),48), ((-1),49), ((2),50), ((-2),52), ((1),53), ((1),54), ((2),56), ((2),62), ((-2),64), ((2),65), ((2),66), ((1),67), ((1),68), ((-2),69), ((1),70), ((-2),74)], (14)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((-2),3), ((-2),5), ((-1),6), ((-2),7), ((-1),9), ((1),10), ((1),12), ((-1),13), ((1),14), ((-2),15), ((2),16), ((-2),18), ((1),20), ((-2),22), ((2),23), ((-1),27), ((1),29), ((-1),30), ((1),31), ((1),32), ((2),33), ((2),36), ((-2),38), ((1),41), ((-2),42), ((-2),43), ((-1),48), ((-2),50), ((2),51), ((2),52), ((-2),54), ((2),55), ((-2),56), ((-1),57), ((-1),58), ((1),60), ((-1),61), ((1),62), ((1),65), ((-1),66), ((-2),67), ((-2),68), ((2),69), ((1),70), ((-2),71), ((-1),72), ((2),73)], (-42)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-2),4), ((-2),5), ((1),6), ((1),10), ((1),11), ((2),15), ((1),18), ((-2),19), ((-2),20), ((-2),21), ((2),25), ((-1),26), ((1),27), ((1),31), ((1),32), ((2),34), ((-2),35), ((-1),37), ((-1),38), ((2),39), ((2),44), ((2),45), ((2),46), ((1),47), ((-2),48), ((2),49), ((1),50), ((2),55), ((1),56), ((1),58), ((-2),59), ((-2),60), ((-1),61), ((-2),66), ((-1),70), ((-2),71), ((-2),72), ((1),73)], (-7)), ("GEQ", [((-2),0), ((-1),2), ((2),6), ((1),7), ((2),8), ((2),11), ((-2),12), ((-1),13), ((-1),14), ((1),17), ((1),18), ((2),19), ((-1),20), ((2),21), ((-1),25), ((-1),26), ((-2),28), ((-2),29), ((-1),32), ((-2),33), ((1),35), ((-2),36), ((1),37), ((1),40), ((2),43), ((-1),45), ((-1),46), ((1),47), ((-1),48), ((-1),53), ((-1),54), ((1),55), ((-1),56), ((1),57), ((1),58), ((1),60), ((-1),61), ((-1),65), ((2),66), ((-2),67), ((2),68), ((-2),70), ((-2),71), ((-2),73)], (14)), ("GEQ", [((1),0), ((1),3), ((2),4), ((1),5), ((-2),6), ((2),9), ((2),10), ((-1),11), ((1),17), ((-2),18), ((2),21), ((-2),25), ((-2),28), ((-2),29), ((1),30), ((-2),31), ((-2),32), ((2),34), ((-2),35), ((2),42), ((2),43), ((-2),44), ((-2),45), ((2),46), ((2),47), ((1),50), ((2),51), ((-2),52), ((2),56), ((2),57), ((-2),58), ((1),59), ((-1),61), ((-2),62), ((-2),63), ((-2),64), ((1),68), ((-1),71), ((2),72), ((1),73)], (12)), ("GEQ", [((1),0), ((1),5), ((-2),6), ((2),10), ((-1),13), ((-2),14), ((1),16), ((1),18), ((1),19), ((-1),20), ((2),23), ((2),24), ((-1),28), ((1),29), ((2),30), ((-2),34), ((1),36), ((1),37), ((-2),38), ((1),39), ((1),40), ((-1),41), ((1),42), ((2),43), ((1),44), ((-2),50), ((2),52), ((2),53), ((1),55), ((-1),58), ((1),60), ((2),62), ((-1),64), ((2),65), ((2),67), ((2),70), ((-1),71), ((-1),72), ((1),73)], (-1)), ("GEQ", [((63),0), ((-36),1), ((24),2), ((27),3), ((14),4), ((3),5), ((6),6), ((2),7), ((42),8), ((-29),9), ((19),10), ((15),11), ((48),12), ((16),13), ((18),14), ((-36),15), ((-12),16), ((7),17), ((-46),18), ((-23),19), ((-22),20), ((-3),21), ((4),22), ((-29),23), ((2),24), ((61),25), ((-41),26), ((10),27), ((39),28), ((17),29), ((-7),30), ((14),31), ((4),32), ((-17),33), ((-16),34), ((-60),35), ((16),36), ((-1),37), ((-10),38), ((-20),39), ((-42),40), ((40),41), ((6),42), ((-2),43), ((-27),44), ((6),45), ((71),46), ((-13),47), ((10),48), ((-68),49), ((16),50), ((-5),51), ((18),52), ((24),53), ((17),54), ((-7),55), ((-56),56), ((9),57), ((-50),58), ((21),59), ((9),60), ((38),61), ((8),62), ((27),63), ((-7),65), ((21),66), ((-6),67), ((-44),68), ((-18),69), ((17),70), ((-23),71), ((12),72), ((-30),73), ((-4),74)], (-1097)), ("GEQ", [((-215),0), ((72),1), ((-108),2), ((-64),3), ((-36),4), ((-10),5), ((-44),6), ((25),7), ((-173),8), ((115),9), ((-63),10), ((-54),11), ((-184),12), ((-25),13), ((-46),14), ((139),15), ((27),16), ((-22),17), ((177),18), ((84),19), ((76),20), ((-28),21), ((27),22), ((89),23), ((3),24), ((-201),25), ((145),26), ((5),27), ((-132),28), ((-29),29), ((14),30), ((-56),31), ((-44),32), ((37),33), ((72),34), ((188),35), ((-29),36), ((13),37), ((63),38), ((51),39), ((108),40), ((-145),41), ((24),42), ((25),43), ((90),44), ((-41),45), ((-252),46), ((16),47), ((-28),48), ((217),49), ((-38),50), ((9),51), ((-87),52), ((-59),53), ((-36),54), ((19),55), ((218),56), ((-16),57), ((194),58), ((-91),59), ((-43),60), ((-124),61), ((-18),62), ((-122),63), ((3),64), ((25),65), ((-61),66), ((36),67), ((139),68), ((89),69), ((-46),70), ((89),71), ((-10),72), ((73),73), ((12),74)], (3999)), ("GEQ", [((63),0), ((-3),1), ((41),2), ((-6),3), ((31),4), ((8),5), ((13),6), ((-45),7), ((46),8), ((-36),9), ((26),10), ((9),11), ((48),12), ((-21),13), ((24),14), ((-46),15), ((22),16), ((-21),17), ((-75),18), ((-27),19), ((-44),20), ((33),21), ((-16),22), ((-4),23), ((2),24), ((73),25), ((-69),26), ((-19),27), ((13),28), ((-29),29), ((-9),30), ((13),31), ((29),32), ((11),33), ((-56),34), ((-51),35), ((12),36), ((-12),37), ((-47),38), ((6),39), ((-16),40), ((46),41), ((-25),42), ((-14),43), ((-33),44), ((43),45), ((91),46), ((14),47), ((38),48), ((-63),49), ((10),50), ((2),51), ((36),52), ((5),53), ((9),54), ((-10),55), ((-70),56), ((7),57), ((-54),58), ((23),59), ((20),60), ((12),61), ((-1),62), ((47),63), ((-14),64), ((-24),65), ((15),66), ((-30),67), ((-30),68), ((-59),69), ((-30),70), ((-53),71), ((-17),72), ((-4),73), ((-16),74)], (-1082)), ("GEQ", [((-52),0), ((14),1), ((-11),2), ((-20),3), ((-44),4), ((-3),5), ((13),6), ((30),7), ((-18),8), ((34),9), ((-19),10), ((-22),11), ((-50),12), ((-5),13), ((-40),14), ((21),15), ((11),16), ((-13),17), ((61),18), ((28),19), ((30),20), ((-23),21), ((-15),22), ((18),23), ((-8),24), ((-46),25), ((48),26), ((-30),27), ((-25),28), ((25),29), ((42),30), ((-4),31), ((-13),32), ((-28),33), ((33),34), ((61),35), ((-26),36), ((26),37), ((43),38), ((-9),39), ((34),40), ((-74),41), ((-25),42), ((16),43), ((32),44), ((-24),45), ((-86),46), ((10),47), ((-51),48), ((79),49), ((-38),50), ((-1),51), ((-19),52), ((-42),53), ((-36),54), ((-16),55), ((24),56), ((-4),57), ((43),58), ((6),59), ((18),60), ((-21),61), ((-27),62), ((-13),63), ((1),64), ((17),65), ((-15),66), ((22),67), ((19),68), ((64),69), ((10),70), ((78),71), ((-13),72), ((34),73), ((1),74)], (723)), ("GEQ", [((277),0), ((-209),1), ((46),2), ((222),3), ((10),4), ((-15),5), ((19),6), ((67),7), ((203),8), ((-122),9), ((55),10), ((100),11), ((263),12), ((165),13), ((64),14), ((-132),15), ((-184),16), ((132),17), ((-115),18), ((-69),19), ((-32),20), ((-80),21), ((23),22), ((-191),23), ((-20),24), ((185),25), ((-72),26), ((88),27), ((225),28), ((190),29), ((-57),30), ((72),31), ((-8),32), ((-112),33), ((47),34), ((-280),35), ((51),36), ((9),37), ((34),38), ((-116),39), ((-229),40), ((206),41), ((111),42), ((4),43), ((-100),44), ((-33),45), ((267),46), ((-117),47), ((-21),48), ((-297),49), ((82),50), ((-33),51), ((38),52), ((125),53), ((87),54), ((11),55), ((-201),56), ((31),57), ((-249),58), ((91),59), ((-29),60), ((250),61), ((95),62), ((96),63), ((53),64), ((2),65), ((79),66), ((36),67), ((-185),68), ((11),69), ((182),70), ((-28),71), ((97),72), ((-173),73), ((30),74)], (-4951)), ("GEQ", [((-79),0), ((123),1), ((-38),2), ((-150),3), ((197),4), ((15),5), ((-95),6), ((-187),7), ((-175),8), ((14),9), ((49),10), ((-28),11), ((-67),12), ((-124),13), ((92),14), ((30),15), ((138),16), ((-106),17), ((-100),18), ((-15),19), ((-73),20), ((166),21), ((52),22), ((119),23), ((61),24), ((15),25), ((-116),26), ((31),27), ((-158),28), ((-245),29), ((-94),30), ((-59),31), ((32),32), ((192),33), ((-175),34), ((41),35), ((63),36), ((-106),37), ((-195),38), ((134),39), ((95),40), ((74),41), ((-12),42), ((-33),43), ((-43),44), ((111),45), ((65),46), ((90),47), ((205),48), ((1),49), ((81),50), ((56),51), ((35),52), ((68),53), ((87),54), ((53),55), ((109),56), ((6),57), ((99),58), ((-116),59), ((-39),60), ((-178),61), ((37),62), ((-67),63), ((-33),64), ((-77),65), ((-5),66), ((-119),67), ((121),68), ((-218),69), ((-194),70), ((-274),71), ((-27),72), ((41),73), ((-14),74)], (2333)), ("GEQ", [((-130),0), ((43),1), ((-13),2), ((21),3), ((-197),4), ((-32),5), ((100),6), ((201),7), ((25),8), ((39),9), ((-103),10), ((10),11), ((-80),12), ((56),13), ((-115),14), ((112),15), ((-87),16), ((76),17), ((212),18), ((69),19), ((102),20), ((-111),21), ((-33),22), ((-50),23), ((-34),24), ((-169),25), ((190),26), ((-10),27), ((63),28), ((142),29), ((90),30), ((27),31), ((-37),32), ((-127),33), ((216),34), ((139),35), ((-75),36), ((54),37), ((174),38), ((-52),39), ((33),40), ((-152),41), ((-35),42), ((45),43), ((153),44), ((-126),45), ((-265),46), ((-33),47), ((-218),48), ((167),49), ((-95),50), ((-53),51), ((-100),52), ((-63),53), ((-97),54), ((-30),55), ((71),56), ((-31),57), ((72),58), ((18),59), ((12),60), ((63),61), ((-45),62), ((-37),63), ((29),64), ((125),65), ((-35),66), ((129),67), ((45),68), ((170),69), ((158),70), ((263),71), ((-9),72), ((22),73), ((19),74)], (582)), ("GEQ", [((237),0), ((-167),1), ((72),2), ((207),3), ((-73),4), ((-24),5), ((53),6), ((95),7), ((237),8), ((-131),9), ((-34),10), ((99),11), ((256),12), ((141),13), ((53),14), ((-105),15), ((-183),16), ((159),17), ((-65),18), ((-72),19), ((-44),20), ((-65),21), ((10),22), ((-203),23), ((-22),24), ((117),25), ((-42),26), ((80),27), ((283),28), ((176),29), ((-37),30), ((87),31), ((30),32), ((-70),33), ((85),34), ((-208),35), ((2),36), ((-18),37), ((66),38), ((-87),39), ((-222),40), ((179),41), ((92),42), ((-39),43), ((-51),44), ((-21),45), ((210),46), ((-121),47), ((-41),48), ((-231),49), ((41),50), ((-38),51), ((26),52), ((74),53), ((32),54), ((12),55), ((-191),56), ((-20),57), ((-239),58), ((106),59), ((-44),60), ((244),61), ((70),62), ((106),63), ((42),64), ((23),65), ((44),66), ((35),67), ((-205),68), ((19),69), ((178),70), ((10),71), ((62),72), ((-183),73), ((48),74)], (-4320)), ("GEQ", [((77),0), ((-69),1), ((71),2), ((47),3), ((-159),4), ((25),5), ((74),6), ((55),7), ((151),8), ((36),9), ((-40),10), ((-24),11), ((13),12), ((11),13), ((-94),14), ((-59),15), ((-19),16), ((26),17), ((44),18), ((26),19), ((42),20), ((-116),21), ((-110),22), ((6),23), ((-106),24), ((-1),25), ((55),26), ((-166),27), ((74),28), ((142),29), ((115),30), ((59),31), ((8),32), ((-122),33), ((23),34), ((9),35), ((-74),36), ((97),37), ((137),38), ((-113),39), ((-19),40), ((-103),41), ((-65),42), ((38),43), ((-29),44), ((-27),45), ((-53),46), ((-19),47), ((-126),48), ((59),49), ((-150),50), ((-36),51), ((34),52), ((-156),53), ((-149),54), ((-98),55), ((-133),56), ((-1),57), ((-72),58), ((135),59), ((107),60), ((56),61), ((-104),62), ((129),63), ((-50),64), ((-6),65), ((-23),66), ((39),67), ((-127),68), ((180),69), ((50),70), ((246),71), ((-62),72), ((46),73), ((-33),74)], (-1132))]
[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]