[("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-2),3), ((2),4), ((2),6), ((2),8), ((2),10), ((1),13), ((2),14), ((-2),16), ((2),17), ((-2),19), ((-1),20), ((2),23), ((-1),27), ((-1),30), ((1),31), ((2),32), ((-1),34), ((-1),35), ((2),36), ((2),37), ((-1),38), ((1),39), ((-1),44), ((2),45), ((-2),46), ((-2),47), ((-2),48), ((2),50), ((-1),51), ((-2),53), ((1),54), ((2),55), ((-2),56), ((1),59), ((1),60), ((-2),61), ((2),66), ((-2),68), ((-2),69), ((1),70), ((-1),72), ((-1),74)], (-12)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),3), ((1),5), ((-2),7), ((-1),8), ((1),9), ((-2),10), ((1),11), ((-1),12), ((-2),15), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((-1),20), ((-1),21), ((2),22), ((-1),24), ((-2),25), ((1),26), ((1),27), ((1),29), ((-2),35), ((-1),36), ((1),38), ((-2),40), ((-2),41), ((-2),43), ((1),44), ((-2),46), ((2),50), ((-1),51), ((-2),52), ((1),54), ((1),57), ((1),58), ((-2),61), ((2),62), ((-2),63), ((-2),64), ((-1),65), ((-2),66), ((1),67), ((2),69), ((1),70), ((1),71), ((1),72), ((1),74)], (-12)), ("GEQ", [((1),0), ((1),1), ((-1),6), ((1),7), ((2),9), ((2),10), ((1),11), ((-1),14), ((-1),15), ((-1),17), ((-2),19), ((1),22), ((1),23), ((-1),24), ((1),25), ((-2),27), ((2),28), ((2),30), ((-2),32), ((1),33), ((-2),39), ((-1),40), ((2),41), ((1),42), ((1),43), ((-2),44), ((-2),49), ((-2),50), ((-2),51), ((-1),52), ((-1),53), ((-1),55), ((1),56), ((1),60), ((2),63), ((-1),64), ((-1),66), ((2),68), ((2),70), ((-2),72)], (-31)), ("GEQ", [((-1),0), ((2),2), ((2),3), ((1),6), ((-1),7), ((-2),8), ((-1),10), ((-1),11), ((-1),13), ((-2),17), ((-1),18), ((-1),20), ((-2),22), ((2),26), ((-1),28), ((2),29), ((-1),31), ((2),36), ((-1),37), ((2),38), ((-1),42), ((-2),43), ((-1),44), ((1),45), ((1),47), ((2),48), ((1),50), ((-1),51), ((-1),58), ((1),59), ((-2),60), ((-2),64), ((1),66), ((-1),67), ((1),68), ((-1),69), ((2),73), ((1),74)], (28)), ("GEQ", [((2),2), ((-1),3), ((-2),4), ((1),5), ((1),6), ((1),9), ((1),10), ((2),11), ((-1),13), ((-1),14), ((-2),15), ((1),17), ((-1),23), ((-1),25), ((1),26), ((2),27), ((1),28), ((2),29), ((1),30), ((-2),31), ((2),32), ((-1),33), ((1),35), ((1),36), ((2),40), ((-1),42), ((2),47), ((-1),48), ((2),49), ((2),50), ((1),53), ((-1),54), ((1),55), ((2),56), ((2),58), ((-1),60), ((-2),63), ((-1),65), ((1),67), ((-1),71), ((2),72), ((2),74)], (-18)), ("GEQ", [((1),0), ((-2),3), ((-2),5), ((-1),6), ((-1),7), ((2),11), ((2),13), ((-1),14), ((2),15), ((-2),16), ((2),17), ((-1),19), ((-2),20), ((1),22), ((-2),24), ((2),25), ((-2),26), ((1),27), ((-1),28), ((1),31), ((-1),32), ((1),35), ((-2),37), ((-2),41), ((2),44), ((-2),46), ((2),47), ((-2),49), ((-2),50), ((1),53), ((1),54), ((2),55), ((-2),57), ((-2),58), ((1),59), ((2),60), ((2),62), ((1),64), ((-2),65), ((1),66), ((-2),67), ((2),69), ((-2),71), ((1),72)], (10)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((2),5), ((-2),7), ((-2),8), ((-2),11), ((-1),12), ((2),13), ((-1),14), ((1),16), ((1),18), ((1),21), ((1),22), ((-1),23), ((-1),24), ((1),25), ((-2),26), ((-2),27), ((-1),28), ((2),29), ((-1),30), ((-2),31), ((2),32), ((-2),36), ((2),41), ((-2),45), ((-2),51), ((1),52), ((-2),53), ((-2),54), ((-1),56), ((2),58), ((-2),59), ((2),61), ((-2),62), ((-2),64), ((1),65), ((2),68), ((2),69), ((2),72)], (57)), ("GEQ", [((1),2), ((2),3), ((-1),4), ((-2),5), ((-2),8), ((-1),9), ((-1),12), ((1),13), ((1),14), ((2),16), ((1),17), ((-1),20), ((1),21), ((1),22), ((2),23), ((-1),24), ((-2),26), ((-1),32), ((2),33), ((2),34), ((2),36), ((2),37), ((-1),38), ((2),39), ((1),41), ((2),42), ((1),44), ((-2),47), ((1),48), ((-1),49), ((1),50), ((2),51), ((2),54), ((1),55), ((-2),56), ((2),57), ((2),59), ((1),60), ((-2),62), ((-1),67), ((-1),68), ((1),70), ((1),73), ((-1),74)], (-1)), ("GEQ", [((2),1), ((-1),2), ((1),6), ((1),7), ((-2),10), ((-1),12), ((-1),15), ((1),16), ((1),17), ((1),18), ((2),20), ((2),21), ((1),23), ((-1),26), ((1),28), ((1),29), ((2),30), ((1),31), ((-2),38), ((-2),39), ((2),40), ((1),41), ((1),42), ((2),43), ((-2),44), ((-1),45), ((-2),47), ((-1),48), ((-2),49), ((-1),52), ((2),55), ((2),57), ((-2),58), ((1),59), ((-1),60), ((1),61), ((-1),62), ((2),64), ((-2),66), ((-1),68), ((-1),69), ((1),70), ((-1),71), ((2),72), ((1),73), ((-1),74)], (-33)), ("GEQ", [((1),0), ((1),9), ((2),11), ((-1),12), ((-2),13), ((2),16), ((-1),17), ((1),21), ((-2),23), ((-2),24), ((-2),25), ((-2),26), ((-1),28), ((2),31), ((1),34), ((-1),35), ((-2),37), ((2),39), ((-2),40), ((1),41), ((-2),42), ((1),43), ((2),44), ((1),45), ((1),46), ((1),48), ((-2),49), ((1),50), ((1),51), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((-1),61), ((-1),63), ((2),64), ((-2),65), ((-2),66), ((1),67), ((1),70), ((2),71), ((-2),72), ((-1),74)], (-2)), ("GEQ", [((1),0), ((-2),1), ((1),4), ((-1),5), ((-1),6), ((-1),7), ((-2),9), ((2),10), ((1),11), ((2),12), ((2),13), ((1),15), ((1),16), ((-2),18), ((1),22), ((-1),23), ((1),24), ((-1),25), ((2),26), ((2),29), ((-1),30), ((1),31), ((-1),33), ((1),35), ((-1),36), ((-2),39), ((-2),40), ((-2),41), ((-1),42), ((1),43), ((2),44), ((1),45), ((2),46), ((-1),48), ((2),49), ((1),50), ((2),52), ((-1),53), ((-1),54), ((2),55), ((-1),56), ((2),57), ((-2),58), ((1),59), ((2),60), ((-1),63), ((-1),64), ((1),66), ((2),68), ((-2),69), ((2),70), ((2),71), ((2),74)], (-19)), ("GEQ", [((2),0), ((-2),4), ((1),5), ((2),6), ((-1),7), ((2),8), ((2),12), ((-1),13), ((2),14), ((-2),16), ((-2),17), ((2),18), ((2),19), ((-1),20), ((1),22), ((-2),23), ((2),24), ((1),26), ((2),29), ((-2),30), ((1),32), ((-1),33), ((2),34), ((2),35), ((-2),36), ((1),37), ((-2),38), ((2),39), ((2),41), ((-2),42), ((-1),44), ((1),45), ((-1),46), ((-1),47), ((2),50), ((2),52), ((1),53), ((1),54), ((-1),55), ((2),56), ((1),57), ((-2),58), ((-2),59), ((-1),60), ((-2),62), ((2),63), ((2),69), ((2),70), ((2),71), ((1),72), ((1),73), ((1),74)], (-20)), ("GEQ", [((2),1), ((-1),3), ((-2),5), ((2),6), ((-2),8), ((2),11), ((-1),14), ((-2),16), ((-1),18), ((-1),22), ((1),24), ((-1),27), ((-1),30), ((2),32), ((2),33), ((1),34), ((2),35), ((2),37), ((2),38), ((1),39), ((2),41), ((1),42), ((2),43), ((-2),45), ((2),46), ((-1),47), ((2),49), ((1),50), ((-1),51), ((1),52), ((1),56), ((2),60), ((-1),62), ((2),63), ((1),64), ((-1),65), ((2),66), ((2),67), ((2),68), ((1),69), ((1),70), ((-1),72), ((1),73), ((1),74)], (-12)), ("GEQ", [((2),1), ((-2),2), ((2),5), ((-2),8), ((1),10), ((2),11), ((2),16), ((-2),19), ((-1),20), ((2),21), ((-1),27), ((-2),28), ((2),29), ((2),31), ((-1),32), ((2),35), ((2),36), ((1),37), ((-1),41), ((-2),42), ((-1),44), ((-2),46), ((1),47), ((2),51), ((-1),52), ((-2),53), ((-2),54), ((-2),55), ((1),58), ((2),59), ((1),60), ((-1),61), ((1),62), ((2),63), ((-1),66), ((-2),67), ((2),69), ((2),70), ((-2),71), ((-2),72), ((-2),73), ((2),74)], (-13)), ("GEQ", [((-2),1), ((-2),4), ((2),5), ((-1),7), ((2),8), ((2),10), ((1),11), ((2),12), ((-1),16), ((2),19), ((2),21), ((-2),23), ((-1),24), ((2),25), ((-2),28), ((-2),31), ((-1),33), ((2),34), ((1),36), ((-2),37), ((-2),38), ((2),40), ((1),41), ((2),48), ((1),49), ((2),50), ((-1),52), ((-1),56), ((2),58), ((-1),59), ((-2),60), ((-1),61), ((-2),62), ((2),64), ((-1),65), ((1),66), ((2),68), ((-2),69), ((2),72), ((2),73), ((1),74)], (18)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),4), ((-1),7), ((-2),9), ((1),10), ((2),12), ((1),13), ((1),15), ((-2),16), ((-2),17), ((-2),18), ((-1),19), ((-2),22), ((-1),27), ((-2),31), ((-2),34), ((-1),35), ((1),36), ((2),38), ((1),39), ((-1),42), ((2),43), ((-2),45), ((-1),46), ((2),47), ((1),48), ((1),49), ((-1),50), ((-1),52), ((1),53), ((2),57), ((-1),59), ((-1),64), ((1),66), ((-2),67), ((-1),70), ((-1),71)], (24)), ("GEQ", [((1),2), ((-2),3), ((-2),8), ((2),9), ((2),12), ((2),17), ((-2),18), ((-2),19), ((-2),20), ((-1),22), ((2),23), ((1),24), ((1),28), ((1),29), ((1),30), ((1),33), ((1),34), ((2),35), ((-2),37), ((2),38), ((-2),39), ((-1),40), ((-1),41), ((-2),42), ((2),43), ((-2),44), ((1),46), ((2),49), ((1),51), ((1),54), ((1),56), ((2),58), ((1),59), ((-2),60), ((1),62), ((-1),67), ((-1),69), ((-2),72), ((-2),73), ((1),74)], (-28)), ("GEQ", [((-1),0), ((2),1), ((-2),7), ((-2),10), ((1),11), ((-1),15), ((-2),16), ((1),18), ((-1),19), ((2),20), ((-1),22), ((-2),23), ((-2),26), ((-2),28), ((-1),30), ((2),31), ((2),36), ((-1),38), ((-2),39), ((-1),41), ((-2),42), ((2),47), ((1),48), ((1),51), ((-1),52), ((-2),54), ((2),55), ((2),57), ((1),58), ((2),59), ((1),60), ((1),61), ((1),63), ((-2),64), ((2),65), ((-1),66), ((-2),67), ((-2),71), ((1),73), ((1),74)], (6)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((2),4), ((1),6), ((-1),7), ((2),8), ((-1),9), ((-2),10), ((1),14), ((-1),16), ((-2),18), ((2),19), ((-1),20), ((-1),22), ((1),24), ((1),25), ((-2),26), ((2),27), ((-1),28), ((-2),30), ((-1),33), ((-1),35), ((-2),36), ((1),37), ((-1),39), ((2),43), ((-2),44), ((2),46), ((-2),47), ((2),48), ((-2),50), ((2),53), ((-2),54), ((1),55), ((-2),56), ((-1),57), ((-2),60), ((1),61), ((-2),62), ((-1),63), ((2),65), ((-1),68), ((2),69), ((2),70), ((-1),72), ((-2),73)], (27)), ("GEQ", [((-2),1), ((2),3), ((-2),5), ((1),7), ((2),8), ((-1),9), ((1),11), ((1),13), ((-2),14), ((2),15), ((-1),18), ((2),21), ((-1),22), ((2),25), ((-2),26), ((-1),27), ((-2),28), ((-1),29), ((2),30), ((-2),31), ((-1),32), ((-1),38), ((1),39), ((2),47), ((2),48), ((-2),49), ((1),50), ((1),51), ((1),53), ((2),54), ((-1),56), ((1),57), ((1),58), ((2),59), ((-1),63), ((1),65), ((1),66), ((2),68), ((1),70), ((-2),72), ((1),73), ((-2),74)], (-23)), ("GEQ", [((2),3), ((2),5), ((-2),7), ((2),8), ((1),10), ((2),12), ((1),13), ((-2),15), ((1),20), ((-1),21), ((2),22), ((-1),23), ((2),26), ((-2),27), ((-1),28), ((-2),30), ((-2),33), ((-2),34), ((-1),37), ((-2),39), ((2),40), ((-1),41), ((2),42), ((-2),45), ((-2),46), ((1),49), ((2),50), ((-1),51), ((1),55), ((2),56), ((1),58), ((-1),60), ((-2),63), ((2),64), ((2),66), ((-1),67), ((-2),69), ((1),72)], (8)), ("GEQ", [((-1),3), ((-2),7), ((-1),8), ((-2),10), ((-1),12), ((1),13), ((2),17), ((1),18), ((-2),24), ((-1),25), ((2),27), ((-1),28), ((1),29), ((-2),30), ((-1),31), ((1),35), ((-1),36), ((-2),37), ((2),39), ((1),40), ((-2),42), ((1),45), ((2),46), ((2),47), ((-1),48), ((-2),49), ((-1),50), ((-1),51), ((-1),53), ((-2),54), ((-2),56), ((2),59), ((-1),61), ((2),64), ((-2),65), ((1),66), ((1),67), ((2),68), ((2),72), ((1),73)], (26)), ("GEQ", [((1),0), ((-1),1), ((1),5), ((1),6), ((-1),7), ((1),8), ((-2),10), ((-1),11), ((1),12), ((2),13), ((2),17), ((2),19), ((-2),21), ((-2),22), ((-1),23), ((1),25), ((2),26), ((-2),27), ((-1),28), ((-1),29), ((2),30), ((2),31), ((1),32), ((-1),33), ((2),35), ((-1),38), ((-2),40), ((-2),41), ((2),42), ((-1),43), ((1),44), ((1),46), ((1),47), ((-1),51), ((-2),54), ((2),55), ((1),56), ((1),57), ((-2),59), ((-1),60), ((2),61), ((-2),62), ((-1),63), ((-2),64), ((2),65), ((-2),69), ((2),70), ((-1),74)], (18)), ("GEQ", [((2),1), ((2),3), ((-2),5), ((-1),6), ((-1),7), ((2),9), ((-2),10), ((2),12), ((2),14), ((2),15), ((-1),19), ((-1),20), ((1),21), ((-1),24), ((-2),25), ((-1),26), ((-1),27), ((-2),29), ((2),31), ((-2),33), ((-2),34), ((2),36), ((-1),37), ((-2),39), ((-2),41), ((1),43), ((-1),45), ((-1),47), ((-1),48), ((-1),50), ((-1),51), ((2),52), ((1),53), ((1),57), ((1),58), ((2),59), ((-1),60), ((-2),61), ((-1),63), ((2),64), ((-2),67), ((2),68), ((-1),69), ((-2),70), ((1),71), ((-2),72), ((1),73), ((-2),74)], (24)), ("GEQ", [((1),0), ((-2),1), ((2),3), ((-1),4), ((-2),9), ((-1),11), ((2),12), ((1),15), ((2),16), ((-2),17), ((2),18), ((-2),20), ((2),22), ((2),23), ((2),24), ((-1),26), ((-2),27), ((2),28), ((2),29), ((2),32), ((-1),34), ((-1),35), ((2),36), ((2),37), ((1),38), ((2),39), ((-2),41), ((1),42), ((-2),43), ((1),46), ((-1),47), ((-1),48), ((2),52), ((1),53), ((2),54), ((2),55), ((-1),56), ((1),58), ((-1),59), ((-1),60), ((1),61), ((2),64), ((2),65), ((-1),66), ((-2),67), ((-1),70), ((1),71), ((-2),73)], (34)), ("GEQ", [((1),0), ((2),2), ((1),4), ((1),5), ((2),6), ((2),7), ((-2),9), ((-1),10), ((-1),12), ((2),15), ((-2),16), ((-2),18), ((-1),21), ((-1),22), ((2),25), ((-1),26), ((-2),27), ((2),30), ((-1),33), ((-1),35), ((1),36), ((1),37), ((1),38), ((1),39), ((2),44), ((-1),47), ((1),48), ((1),49), ((1),51), ((-1),53), ((-1),54), ((2),55), ((-2),56), ((-2),58), ((1),59), ((2),60), ((2),61), ((2),64), ((1),66), ((-1),67), ((-1),68), ((-1),69), ((-2),70)], (14)), ("GEQ", [((-2),2), ((-1),3), ((1),5), ((1),6), ((-2),7), ((2),8), ((2),9), ((-2),10), ((-1),12), ((-2),13), ((-2),14), ((-1),17), ((-2),18), ((1),19), ((-1),21), ((1),22), ((2),23), ((2),24), ((2),25), ((-2),26), ((1),27), ((1),29), ((1),30), ((-2),33), ((1),34), ((1),35), ((1),36), ((-2),38), ((-2),41), ((-1),43), ((1),44), ((2),46), ((-2),47), ((-2),49), ((-1),50), ((-2),51), ((-2),52), ((1),54), ((-2),55), ((-1),56), ((-1),58), ((-1),61), ((-2),62), ((-2),63), ((1),64), ((1),65), ((2),66), ((1),67), ((2),69), ((-1),70), ((1),71), ((2),73), ((2),74)], (18)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-2),4), ((1),5), ((1),7), ((1),9), ((-2),10), ((1),13), ((-1),14), ((-2),16), ((-2),17), ((2),18), ((-2),19), ((-1),21), ((-2),23), ((-2),24), ((-1),26), ((2),27), ((2),28), ((2),29), ((-1),32), ((-1),33), ((-2),35), ((-2),36), ((2),37), ((-2),39), ((-1),40), ((1),41), ((-1),42), ((-2),43), ((2),44), ((1),46), ((2),48), ((1),49), ((-2),50), ((-2),51), ((2),52), ((2),53), ((-2),55), ((-2),58), ((1),59), ((2),60), ((-2),61), ((1),64), ((2),68), ((1),71), ((-2),72), ((-1),74)], (11)), ("GEQ", [((1),1), ((-1),2), ((2),4), ((-1),6), ((1),9), ((-1),10), ((-1),11), ((-2),12), ((-1),13), ((2),16), ((-2),17), ((1),18), ((1),20), ((1),21), ((1),22), ((-1),24), ((-2),25), ((-2),26), ((1),28), ((-2),33), ((-1),35), ((-2),37), ((2),38), ((-1),39), ((2),40), ((-2),41), ((-2),42), ((1),45), ((2),46), ((2),51), ((-2),53), ((1),55), ((-2),56), ((2),59), ((1),61), ((-2),62), ((2),64), ((-1),65), ((-1),68), ((1),70), ((2),73)], (0)), ("GEQ", [((2),2), ((2),3), ((2),6), ((2),7), ((-1),9), ((-2),10), ((-2),12), ((-2),15), ((-2),17), ((-1),18), ((-2),19), ((-2),20), ((-1),23), ((-1),25), ((-2),28), ((-2),29), ((1),30), ((2),31), ((-2),32), ((-2),33), ((1),34), ((-1),35), ((-1),36), ((-1),39), ((2),43), ((2),44), ((2),45), ((-1),48), ((1),49), ((-2),50), ((-2),51), ((1),53), ((-1),54), ((1),55), ((2),57), ((2),58), ((-2),60), ((-2),64), ((2),66), ((2),69), ((-1),70), ((1),71), ((-2),73)], (15)), ("GEQ", [((-2),0), ((2),3), ((-1),4), ((2),6), ((-1),7), ((-1),8), ((2),9), ((2),12), ((-2),13), ((1),14), ((2),16), ((-1),17), ((-1),19), ((1),21), ((-2),23), ((2),24), ((-2),25), ((-1),27), ((-1),30), ((-1),31), ((1),32), ((-1),33), ((2),36), ((-2),37), ((1),39), ((-2),41), ((-1),42), ((-1),44), ((-1),46), ((-2),47), ((2),50), ((-2),53), ((-2),54), ((-1),58), ((-2),59), ((1),63), ((1),64), ((1),65), ((-2),67), ((1),68), ((1),71), ((2),73), ((-2),74)], (14)), ("GEQ", [((-2),0), ((2),2), ((2),4), ((-1),5), ((-1),6), ((1),8), ((1),9), ((-1),10), ((2),11), ((-1),12), ((-2),13), ((-2),14), ((2),15), ((2),16), ((-2),18), ((1),19), ((-2),20), ((-1),22), ((1),24), ((-2),25), ((1),27), ((1),29), ((1),32), ((-1),33), ((2),34), ((-2),35), ((1),36), ((-2),39), ((2),42), ((-2),43), ((2),45), ((2),46), ((-1),47), ((1),48), ((2),50), ((-1),51), ((-2),52), ((-1),53), ((-2),58), ((-1),59), ((-1),61), ((2),62), ((2),63), ((-1),65), ((2),66), ((1),67), ((1),68), ((-2),69), ((-2),72), ((2),73)], (-27)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((2),3), ((2),4), ((2),5), ((-2),7), ((-1),8), ((-1),9), ((-1),11), ((-1),15), ((-2),17), ((-1),20), ((2),21), ((2),23), ((2),25), ((2),26), ((2),27), ((1),28), ((2),29), ((1),30), ((1),31), ((2),33), ((-1),35), ((-1),37), ((-1),38), ((1),40), ((2),41), ((-1),43), ((-1),45), ((2),46), ((2),48), ((2),49), ((1),51), ((2),52), ((1),53), ((2),54), ((-1),56), ((-2),57), ((-1),59), ((2),60), ((2),62), ((1),63), ((-2),68), ((-1),69), ((2),70), ((1),71), ((-1),72), ((2),73)], (22)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((-1),5), ((-2),6), ((-2),10), ((-2),11), ((-2),12), ((2),13), ((1),14), ((1),15), ((-2),16), ((2),17), ((-2),20), ((-1),21), ((1),24), ((2),25), ((1),26), ((-2),28), ((-2),29), ((-1),30), ((-1),31), ((-1),32), ((1),33), ((2),34), ((1),37), ((2),39), ((2),40), ((1),42), ((-2),43), ((-1),44), ((1),45), ((-2),46), ((1),47), ((2),49), ((2),52), ((1),53), ((1),54), ((2),56), ((-2),60), ((-2),63), ((2),64), ((2),66), ((-2),70), ((2),71), ((1),74)], (-15)), ("GEQ", [((1),2), ((-1),4), ((1),6), ((1),7), ((1),9), ((-2),10), ((-2),13), ((1),14), ((1),15), ((2),16), ((1),17), ((-1),18), ((2),19), ((1),20), ((2),25), ((2),26), ((2),29), ((-2),31), ((-2),32), ((2),33), ((-2),34), ((-2),36), ((2),37), ((1),38), ((2),40), ((-2),41), ((-2),42), ((2),45), ((1),46), ((-2),47), ((-2),50), ((2),52), ((1),53), ((-2),55), ((-1),56), ((-1),60), ((-1),62), ((-2),64), ((-1),67), ((2),68), ((-1),69), ((1),71), ((-1),72), ((-2),73)], (28)), ("GEQ", [((-2),0), ((-1),2), ((-1),3), ((-2),5), ((1),6), ((-1),7), ((2),8), ((1),9), ((2),14), ((-1),15), ((-2),16), ((-2),20), ((-2),21), ((-1),22), ((2),25), ((2),28), ((1),33), ((1),34), ((-2),35), ((-2),36), ((-1),37), ((-1),41), ((-2),43), ((-2),44), ((-2),45), ((-2),46), ((-2),47), ((-2),48), ((2),49), ((1),51), ((-2),53), ((1),55), ((-1),58), ((1),59), ((2),60), ((-2),62), ((2),63), ((-1),66), ((1),67), ((2),68), ((2),69), ((1),70), ((1),71), ((2),72), ((2),73)], (-11)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((1),4), ((1),5), ((1),6), ((1),7), ((1),8), ((-1),9), ((1),10), ((1),12), ((2),13), ((2),15), ((-1),16), ((-2),17), ((-2),18), ((-2),20), ((-1),21), ((-2),23), ((1),24), ((2),25), ((-1),28), ((-2),29), ((-2),30), ((-2),33), ((2),37), ((2),40), ((-2),42), ((1),45), ((2),48), ((-1),49), ((-2),51), ((1),52), ((2),53), ((2),55), ((-1),56), ((1),57), ((-1),58), ((-2),59), ((1),60), ((2),61), ((2),62), ((-2),63), ((-2),64), ((-2),65), ((-2),68), ((1),69), ((-1),70), ((1),72)], (6)), ("GEQ", [((2),0), ((-2),1), ((1),4), ((-1),5), ((-1),6), ((2),8), ((-1),10), ((-2),12), ((2),14), ((1),16), ((2),18), ((1),21), ((-1),24), ((-2),27), ((-2),29), ((-2),31), ((-1),32), ((-2),33), ((-1),37), ((2),38), ((1),39), ((1),40), ((2),41), ((-1),42), ((-2),43), ((2),45), ((2),46), ((1),47), ((2),49), ((2),50), ((1),52), ((-1),54), ((1),55), ((-1),56), ((2),57), ((-2),58), ((-1),62), ((2),64), ((-1),66), ((1),67), ((-1),69)], (-7)), ("GEQ", [((-2),0), ((2),2), ((1),3), ((2),4), ((-1),6), ((1),8), ((-1),9), ((1),11), ((1),12), ((2),13), ((2),14), ((-2),16), ((1),17), ((-2),18), ((-2),19), ((1),20), ((-1),22), ((2),23), ((1),25), ((-2),27), ((2),29), ((1),30), ((2),32), ((-2),34), ((1),36), ((1),37), ((-2),40), ((1),41), ((-1),42), ((-1),44), ((1),45), ((1),46), ((1),49), ((2),52), ((-1),53), ((-1),54), ((1),55), ((-1),57), ((2),59), ((-1),60), ((2),62), ((-1),63), ((2),69), ((-2),70), ((2),71), ((-2),73)], (3)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((2),4), ((-2),6), ((2),9), ((2),10), ((-2),12), ((1),13), ((-1),16), ((-2),17), ((2),18), ((-2),19), ((2),21), ((-1),22), ((-2),24), ((-1),26), ((2),27), ((-1),30), ((2),32), ((-2),34), ((-1),35), ((-2),37), ((-2),40), ((-1),43), ((1),45), ((-1),46), ((1),47), ((-1),48), ((-1),49), ((-1),52), ((-2),53), ((1),56), ((2),57), ((1),58), ((-1),59), ((2),60), ((-1),63), ((1),65), ((-2),68), ((1),73), ((-1),74)], (-22)), ("GEQ", [((2),1), ((1),2), ((-2),3), ((2),4), ((2),5), ((-2),6), ((2),7), ((-2),8), ((-2),10), ((1),11), ((-1),12), ((1),14), ((-1),15), ((1),16), ((-2),19), ((1),20), ((2),21), ((-2),23), ((-2),24), ((-1),25), ((2),28), ((-2),32), ((1),33), ((1),34), ((1),35), ((1),38), ((1),40), ((2),41), ((2),43), ((2),46), ((1),47), ((-1),51), ((-2),52), ((-1),53), ((1),55), ((-1),57), ((-1),58), ((1),59), ((-2),60), ((-2),61), ((-2),62), ((-1),64), ((1),68), ((-2),71), ((-2),73), ((-1),74)], (-7)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((1),4), ((2),6), ((2),8), ((-1),9), ((2),10), ((-1),15), ((-1),18), ((-2),21), ((1),22), ((2),23), ((1),24), ((1),25), ((2),26), ((1),29), ((-2),30), ((1),34), ((2),35), ((-1),37), ((1),38), ((1),40), ((2),41), ((-1),42), ((2),43), ((1),44), ((-1),45), ((2),46), ((1),47), ((-1),49), ((1),50), ((1),51), ((-2),52), ((-2),53), ((2),57), ((-2),61), ((-2),62), ((2),63), ((1),65), ((-2),67), ((2),71), ((-2),72), ((1),74)], (-4)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((1),3), ((-1),5), ((1),6), ((2),7), ((2),8), ((1),9), ((-1),10), ((-2),12), ((-1),13), ((1),14), ((2),17), ((-2),18), ((1),19), ((-2),21), ((1),22), ((1),23), ((-2),24), ((-1),26), ((2),28), ((2),29), ((-2),30), ((-2),31), ((2),32), ((-1),36), ((2),37), ((1),38), ((2),39), ((-2),40), ((1),42), ((2),44), ((-1),45), ((1),47), ((-2),48), ((-1),49), ((-2),50), ((1),51), ((-2),53), ((-2),55), ((2),56), ((-1),57), ((-2),58), ((-1),59), ((2),60), ((-2),61), ((-1),62), ((2),63), ((-2),65), ((-2),67), ((-1),68), ((-2),71), ((1),74)], (23)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-1),3), ((-1),4), ((-1),10), ((-1),12), ((-2),13), ((1),15), ((-1),17), ((1),20), ((1),22), ((2),23), ((-1),24), ((1),25), ((-2),27), ((-2),29), ((2),31), ((1),32), ((2),33), ((1),34), ((-1),35), ((-1),36), ((-1),37), ((1),40), ((-1),43), ((-2),44), ((1),45), ((1),48), ((1),53), ((2),54), ((1),56), ((2),57), ((-2),58), ((-1),59), ((2),60), ((2),61), ((-1),62), ((2),63), ((2),65), ((1),66), ((1),67), ((-1),68), ((-1),69), ((1),73)], (-14)), ("GEQ", [((-2),2), ((1),4), ((-1),5), ((1),6), ((-2),7), ((-2),8), ((-2),10), ((-1),11), ((2),18), ((-1),19), ((1),20), ((2),21), ((-1),22), ((2),23), ((2),25), ((-1),26), ((1),28), ((2),29), ((1),30), ((2),31), ((2),32), ((-1),33), ((-2),34), ((1),37), ((-2),39), ((-1),40), ((2),41), ((2),43), ((2),45), ((1),46), ((2),47), ((1),49), ((-2),52), ((-2),53), ((1),55), ((-1),56), ((-2),58), ((2),59), ((-1),60), ((-1),63), ((-2),64), ((1),66), ((2),67), ((-1),69), ((-2),70), ((2),71), ((-1),72), ((-2),73)], (-5)), ("GEQ", [((-1),0), ((-2),2), ((2),4), ((-1),5), ((2),6), ((2),10), ((-2),11), ((-1),13), ((1),15), ((-1),16), ((-1),17), ((-1),18), ((-1),20), ((2),21), ((2),22), ((-1),25), ((-2),27), ((-2),28), ((-2),29), ((1),30), ((2),32), ((2),34), ((-2),38), ((2),39), ((2),40), ((2),42), ((2),43), ((2),44), ((-1),45), ((-2),46), ((-1),48), ((-1),51), ((1),53), ((-1),54), ((2),55), ((1),57), ((-1),58), ((-1),61), ((-2),63), ((-1),65), ((1),67), ((-1),68), ((-1),71), ((-1),72), ((1),73), ((-2),74)], (0)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((1),3), ((2),5), ((2),8), ((1),10), ((2),13), ((-2),14), ((-2),15), ((1),17), ((1),19), ((2),21), ((-2),22), ((1),26), ((-2),28), ((2),30), ((1),31), ((-2),32), ((-2),33), ((1),34), ((2),35), ((-2),36), ((-2),38), ((-2),39), ((1),42), ((2),45), ((1),47), ((-2),49), ((-2),50), ((1),51), ((2),52), ((1),56), ((2),57), ((1),60), ((2),62), ((2),63), ((-2),64), ((2),65), ((1),66), ((-2),67), ((1),69), ((-2),70), ((-2),72), ((1),73), ((1),74)], (-45)), ("GEQ", [((1),3), ((-2),4), ((-1),5), ((-2),8), ((-1),9), ((-2),10), ((-2),11), ((2),12), ((1),13), ((1),14), ((-2),16), ((-2),17), ((1),19), ((-2),21), ((1),22), ((2),24), ((2),26), ((-1),27), ((-2),28), ((2),29), ((-1),32), ((-1),34), ((-2),35), ((2),36), ((2),37), ((1),39), ((1),41), ((-2),42), ((2),43), ((-1),46), ((2),48), ((1),49), ((-1),51), ((-1),52), ((2),53), ((1),54), ((-1),57), ((1),58), ((-1),59), ((2),61), ((-1),62), ((-2),64), ((1),65), ((-2),66), ((2),67), ((2),68), ((2),69), ((-2),70), ((2),71), ((-2),72), ((-1),74)], (2)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((-2),4), ((-1),5), ((-2),6), ((-2),7), ((2),9), ((-2),10), ((-1),11), ((1),12), ((-1),14), ((-1),22), ((2),24), ((2),28), ((1),29), ((2),30), ((1),32), ((1),34), ((1),36), ((-2),37), ((-1),38), ((-2),39), ((2),42), ((1),44), ((2),47), ((-1),48), ((1),50), ((1),52), ((-2),53), ((-1),55), ((1),56), ((-1),57), ((-2),58), ((-2),59), ((-2),62), ((-2),63), ((1),68), ((1),70), ((-2),71)], (-3)), ("GEQ", [((-2),0), ((-1),1), ((2),4), ((2),6), ((2),7), ((2),8), ((1),10), ((-1),11), ((1),12), ((2),14), ((-1),15), ((1),17), ((-1),19), ((2),21), ((2),25), ((1),26), ((-2),27), ((-2),29), ((1),31), ((2),32), ((1),33), ((2),34), ((-2),37), ((-1),38), ((1),39), ((-2),40), ((2),41), ((1),42), ((1),44), ((2),45), ((-2),46), ((1),47), ((-1),48), ((1),52), ((-1),54), ((1),60), ((2),61), ((2),62), ((-2),64), ((-1),66), ((-2),67), ((-1),68), ((-2),69), ((2),70), ((-1),71), ((1),73), ((-2),74)], (14)), ("GEQ", [((2),1), ((2),2), ((-2),3), ((2),5), ((-1),7), ((2),11), ((2),13), ((2),14), ((-2),15), ((-2),16), ((-2),17), ((-1),18), ((-1),19), ((-1),20), ((1),21), ((2),23), ((1),24), ((2),27), ((1),28), ((-1),31), ((1),33), ((-1),34), ((-2),35), ((-1),37), ((2),38), ((2),39), ((-1),40), ((2),41), ((-1),43), ((2),44), ((-1),45), ((-2),51), ((2),53), ((-1),56), ((-1),57), ((1),58), ((2),60), ((-1),62), ((2),63), ((1),65), ((2),71), ((2),74)], (26)), ("GEQ", [((-2),2), ((1),4), ((-1),5), ((2),6), ((1),7), ((-1),9), ((-2),10), ((2),13), ((-1),14), ((-1),17), ((-1),19), ((1),21), ((-1),25), ((2),26), ((-1),27), ((-2),29), ((-2),31), ((2),32), ((2),34), ((1),35), ((2),36), ((-1),37), ((2),42), ((1),43), ((-1),44), ((-1),45), ((-1),46), ((-1),49), ((-2),52), ((1),55), ((2),56), ((2),60), ((2),62), ((-1),63), ((1),64), ((-2),65), ((-1),66), ((1),68), ((2),72), ((2),74)], (-29)), ("GEQ", [((-2),0), ((2),1), ((1),4), ((-2),5), ((-1),6), ((-2),7), ((-2),8), ((-2),9), ((-2),11), ((-1),14), ((-1),23), ((-2),24), ((2),26), ((2),27), ((1),30), ((-2),31), ((1),32), ((-1),33), ((2),34), ((2),36), ((1),37), ((2),38), ((2),40), ((2),42), ((-1),43), ((2),44), ((1),46), ((2),49), ((-1),51), ((1),53), ((-2),55), ((-1),56), ((1),58), ((1),59), ((-1),60), ((1),61), ((2),62), ((-2),63), ((1),64), ((-1),65), ((1),67), ((1),68), ((-2),69), ((1),70), ((-1),71), ((1),73), ((-1),74)], (8)), ("GEQ", [((-2),3), ((-1),5), ((-1),6), ((2),8), ((-2),9), ((-2),10), ((1),11), ((1),12), ((1),14), ((-1),16), ((-1),19), ((-1),22), ((1),25), ((2),26), ((-1),28), ((-1),29), ((2),34), ((-1),35), ((2),37), ((-2),38), ((-1),40), ((-2),43), ((-2),44), ((1),46), ((-2),48), ((-1),49), ((-2),50), ((-1),53), ((-2),55), ((-2),56), ((2),57), ((2),58), ((2),59), ((1),61), ((2),62), ((1),66), ((-2),67), ((-1),68), ((1),69), ((1),70), ((1),71), ((2),72), ((2),73)], (-7)), ("GEQ", [((1),6), ((-1),8), ((1),9), ((1),10), ((-1),11), ((-2),14), ((-2),15), ((-1),17), ((-1),19), ((-2),22), ((2),23), ((1),24), ((1),25), ((-1),26), ((2),28), ((-2),30), ((1),31), ((2),34), ((1),35), ((-2),36), ((1),37), ((-1),39), ((1),40), ((2),42), ((-2),44), ((2),51), ((-1),53), ((1),54), ((-1),55), ((2),56), ((1),57), ((-2),58), ((2),60), ((1),62), ((2),64), ((-2),66), ((1),67), ((1),68), ((-1),70), ((2),71), ((1),73)], (-68)), ("GEQ", [((-1),0), ((-2),3), ((2),4), ((-2),5), ((2),7), ((2),8), ((2),11), ((-2),12), ((2),14), ((-1),16), ((2),18), ((-2),19), ((-1),21), ((2),22), ((-2),23), ((1),25), ((2),26), ((-1),29), ((-2),30), ((1),32), ((-2),35), ((2),36), ((-1),37), ((2),38), ((2),43), ((1),44), ((-1),45), ((-1),46), ((-1),47), ((2),49), ((-2),50), ((-1),52), ((2),53), ((-2),54), ((-2),55), ((-2),57), ((2),58), ((-2),59), ((1),61), ((2),62), ((2),63), ((2),66), ((2),68), ((-1),71), ((-1),72), ((1),74)], (30)), ("GEQ", [((-2),1), ((1),2), ((2),3), ((2),4), ((-2),6), ((2),9), ((-1),10), ((-1),12), ((2),13), ((-2),14), ((-2),15), ((-1),16), ((-2),20), ((-2),22), ((-1),23), ((-2),26), ((-1),27), ((-2),28), ((2),30), ((-2),31), ((2),32), ((-1),35), ((1),38), ((-1),39), ((-2),40), ((-1),42), ((-1),44), ((-1),45), ((2),50), ((-2),52), ((1),53), ((-1),56), ((1),57), ((-1),59), ((2),60), ((2),62), ((2),63), ((2),64), ((2),65), ((-2),66), ((2),67), ((1),70), ((1),72), ((-2),73), ((2),74)], (-50)), ("GEQ", [((2),0), ((2),1), ((-1),2), ((-1),3), ((2),4), ((-2),6), ((-1),10), ((-2),11), ((-1),12), ((-1),13), ((-1),15), ((1),19), ((1),20), ((1),21), ((-2),22), ((-1),25), ((-2),26), ((2),30), ((-1),32), ((-2),34), ((1),35), ((2),38), ((2),43), ((2),44), ((1),47), ((-1),49), ((-1),50), ((2),51), ((2),52), ((1),54), ((2),55), ((2),56), ((2),58), ((-1),60), ((-1),62), ((2),64), ((2),67), ((-1),68), ((-1),70), ((-1),74)], (-32)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-1),4), ((-2),5), ((1),7), ((1),10), ((-1),11), ((2),12), ((1),13), ((1),14), ((1),19), ((-1),23), ((-2),24), ((1),27), ((-2),30), ((-2),32), ((-1),34), ((2),35), ((2),36), ((-2),38), ((-1),39), ((-1),40), ((-2),43), ((2),44), ((1),47), ((-2),48), ((-2),49), ((-2),52), ((2),53), ((1),54), ((-1),55), ((1),59), ((2),60), ((2),66), ((-1),69), ((-2),74)], (-26)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((1),5), ((-2),6), ((-1),7), ((1),8), ((-1),9), ((2),10), ((-1),11), ((1),13), ((-2),14), ((-1),15), ((-1),16), ((2),17), ((2),18), ((-1),19), ((-2),20), ((2),21), ((2),23), ((1),28), ((1),30), ((1),31), ((-1),32), ((-2),33), ((-1),34), ((-1),35), ((2),40), ((2),41), ((-2),43), ((1),44), ((-1),45), ((2),47), ((-1),51), ((1),52), ((-2),53), ((-2),54), ((-1),56), ((1),57), ((-1),58), ((2),59), ((2),63), ((-2),65), ((1),66), ((1),67), ((-1),69), ((-1),74)], (20)), ("GEQ", [((-2),1), ((2),3), ((2),5), ((-1),8), ((2),9), ((-2),11), ((2),12), ((-1),13), ((-2),16), ((-1),19), ((2),20), ((-1),22), ((-2),23), ((-2),26), ((-1),27), ((2),28), ((-1),30), ((-2),32), ((-2),33), ((1),35), ((1),38), ((1),39), ((1),40), ((2),41), ((2),42), ((1),43), ((1),45), ((-1),46), ((1),48), ((2),50), ((-1),51), ((-1),52), ((-2),54), ((2),55), ((-1),56), ((2),61), ((2),62), ((-1),65), ((-2),67), ((-1),68), ((-1),69), ((-1),70), ((-2),72)], (-29)), ("GEQ", [((-1),0), ((-2),2), ((-1),3), ((1),4), ((1),5), ((-2),6), ((-1),10), ((1),12), ((2),13), ((1),17), ((-2),19), ((-1),20), ((2),21), ((2),22), ((-2),23), ((2),24), ((-1),27), ((-1),28), ((-2),29), ((-2),30), ((1),31), ((-2),34), ((-1),39), ((-1),40), ((1),41), ((2),42), ((1),43), ((-2),44), ((-2),47), ((-2),48), ((-2),49), ((-1),50), ((-2),52), ((-2),55), ((-2),57), ((-1),58), ((-1),59), ((-2),60), ((2),61), ((-1),62), ((1),63), ((1),68), ((1),69), ((2),71), ((1),72), ((2),73), ((-1),74)], (12)), ("GEQ", [((-1),1), ((2),3), ((1),4), ((1),5), ((2),7), ((-2),10), ((2),11), ((-1),13), ((-1),14), ((-1),17), ((2),18), ((-2),19), ((1),20), ((-2),21), ((1),22), ((2),24), ((1),26), ((-2),28), ((-1),30), ((2),31), ((-2),34), ((-2),35), ((2),36), ((1),37), ((-1),40), ((2),41), ((1),48), ((-2),51), ((1),55), ((1),56), ((-2),57), ((1),61), ((2),62), ((-2),63), ((1),64), ((-1),65), ((-1),66), ((-1),68), ((2),69), ((-2),70), ((-2),71), ((1),73), ((-2),74)], (31)), ("GEQ", [((2),3), ((2),5), ((-2),6), ((1),7), ((-2),9), ((1),12), ((-2),13), ((-1),15), ((1),16), ((-2),17), ((2),18), ((2),22), ((2),24), ((-1),27), ((-2),28), ((1),31), ((-2),32), ((-2),33), ((-1),36), ((-2),39), ((1),41), ((-2),44), ((2),45), ((1),46), ((-1),47), ((-1),48), ((-2),49), ((2),50), ((-2),51), ((1),53), ((1),54), ((1),55), ((1),58), ((-2),59), ((-1),61), ((2),62), ((-2),64), ((-2),65), ((-2),67), ((1),68), ((-1),70), ((2),72), ((2),73)], (13)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),3), ((-2),4), ((2),5), ((2),8), ((-1),9), ((1),11), ((2),13), ((-2),15), ((-1),18), ((-1),19), ((1),21), ((-1),25), ((2),26), ((1),30), ((-2),31), ((-2),32), ((-2),33), ((-1),34), ((2),38), ((-1),39), ((2),40), ((2),41), ((2),42), ((1),43), ((-2),45), ((1),47), ((2),48), ((2),49), ((-2),52), ((-1),54), ((1),56), ((2),57), ((2),59), ((2),60), ((1),61), ((-2),62), ((-1),63), ((2),64), ((-2),66), ((-1),67), ((-1),68), ((2),69), ((1),70), ((-2),72), ((1),73)], (-19)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((2),4), ((1),6), ((2),7), ((2),8), ((2),10), ((2),12), ((1),16), ((-2),17), ((-2),18), ((-2),19), ((-2),21), ((2),22), ((1),23), ((-1),27), ((2),28), ((2),29), ((-1),30), ((2),31), ((-1),33), ((1),34), ((2),36), ((2),37), ((1),38), ((1),39), ((1),41), ((1),42), ((2),44), ((2),45), ((-2),47), ((1),48), ((-2),50), ((-1),51), ((1),52), ((2),53), ((-2),55), ((-1),56), ((1),57), ((-1),58), ((-2),59), ((1),60), ((1),61), ((1),62), ((2),64), ((-2),65), ((1),66), ((2),67), ((2),68), ((-2),70), ((-2),71), ((1),72), ((2),73)], (-6)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((-2),4), ((1),9), ((-1),10), ((-1),12), ((-1),14), ((-2),15), ((1),16), ((-2),18), ((-1),19), ((-2),20), ((1),21), ((1),23), ((-2),24), ((-1),25), ((-1),26), ((1),27), ((-2),29), ((1),31), ((-1),33), ((1),36), ((2),38), ((1),39), ((-1),40), ((-2),41), ((2),43), ((-1),45), ((-2),46), ((2),47), ((-2),48), ((1),49), ((-1),51), ((1),52), ((-1),53), ((-1),54), ((1),56), ((2),57), ((2),58), ((1),61), ((-2),62), ((-2),63), ((1),64), ((-1),65), ((-2),70), ((-1),71), ((-1),72), ((2),73), ((-1),74)], (18)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((-2),4), ((-1),5), ((-2),6), ((-1),7), ((-2),8), ((-2),9), ((-1),10), ((1),11), ((1),13), ((1),14), ((-2),17), ((-1),18), ((2),19), ((2),20), ((2),21), ((1),23), ((-2),25), ((1),26), ((-1),27), ((-1),28), ((-1),29), ((-1),33), ((-1),34), ((2),38), ((1),39), ((-2),41), ((-2),42), ((1),43), ((-1),44), ((-1),45), ((-2),47), ((-2),48), ((-2),49), ((2),53), ((2),54), ((-1),56), ((-1),59), ((1),63), ((2),65), ((-2),67), ((1),68), ((1),69), ((2),71), ((-2),72), ((-2),74)], (-8)), ("GEQ", [((2),3), ((-1),4), ((-1),5), ((1),6), ((2),7), ((2),11), ((2),12), ((2),13), ((-1),15), ((-1),19), ((2),21), ((-2),22), ((-1),23), ((2),24), ((-1),25), ((1),28), ((-2),29), ((-1),30), ((2),33), ((-1),34), ((1),35), ((-1),37), ((2),38), ((1),40), ((-2),41), ((-2),42), ((2),43), ((2),44), ((2),49), ((2),50), ((-1),52), ((-1),54), ((-2),57), ((2),59), ((1),60), ((-1),63), ((2),64), ((-2),67), ((1),68), ((-2),70), ((2),73)], (22)), ("GEQ", [((-1),0), ((2),5), ((-2),6), ((-2),8), ((2),9), ((1),10), ((1),11), ((-2),12), ((2),13), ((2),14), ((-2),18), ((-1),19), ((1),20), ((1),21), ((1),22), ((-2),23), ((1),25), ((-1),28), ((-1),30), ((1),31), ((1),33), ((2),35), ((-1),41), ((-1),42), ((-1),44), ((1),46), ((-2),47), ((2),49), ((-2),50), ((1),51), ((-1),52), ((-1),54), ((-2),56), ((-2),57), ((1),60), ((1),61), ((2),62), ((1),63), ((2),66), ((-1),67), ((-2),68), ((-1),73), ((2),74)], (5)), ("GEQ", [((-2),3), ((-1),9), ((1),10), ((-2),11), ((-2),12), ((2),13), ((2),14), ((1),16), ((-1),17), ((2),18), ((1),22), ((2),24), ((2),27), ((-1),29), ((-2),32), ((2),33), ((2),35), ((2),37), ((-2),38), ((-1),40), ((-2),45), ((2),48), ((-1),49), ((-1),50), ((-1),51), ((-2),52), ((2),53), ((2),54), ((-1),55), ((-1),57), ((-1),58), ((-2),59), ((2),60), ((-1),61), ((1),62), ((2),69), ((-1),71), ((2),72), ((-2),73), ((2),74)], (-21)), ("GEQ", [((1),0), ((2),1), ((-1),3), ((2),4), ((2),7), ((1),17), ((-1),18), ((1),19), ((-2),20), ((1),21), ((-2),22), ((1),23), ((-2),25), ((-1),26), ((-2),28), ((-1),30), ((1),32), ((2),35), ((2),36), ((2),37), ((1),39), ((2),40), ((1),41), ((-2),42), ((-2),43), ((1),44), ((-2),45), ((2),47), ((-2),48), ((-2),49), ((2),50), ((2),51), ((2),54), ((1),55), ((1),56), ((-2),57), ((2),58), ((-1),59), ((-2),64), ((-1),65), ((1),67), ((2),68), ((-2),73), ((-1),74)], (-45)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-1),4), ((-1),7), ((-1),8), ((-2),10), ((-2),11), ((1),15), ((1),17), ((-2),18), ((2),21), ((-1),22), ((1),23), ((-1),24), ((1),26), ((1),27), ((1),30), ((2),31), ((-1),33), ((1),34), ((2),39), ((-1),42), ((-1),44), ((1),46), ((2),47), ((-1),49), ((-1),50), ((-2),52), ((-2),53), ((-2),57), ((-1),58), ((-1),61), ((-2),62), ((2),63), ((2),65), ((1),67), ((-2),70), ((1),72), ((1),73)], (6)), ("GEQ", [((-2),0), ((2),2), ((1),3), ((1),4), ((1),6), ((-2),7), ((-2),8), ((-2),11), ((2),15), ((1),16), ((2),17), ((2),19), ((2),21), ((-2),22), ((2),23), ((-2),24), ((-2),25), ((1),27), ((-1),28), ((-1),30), ((1),31), ((1),34), ((-2),35), ((-1),36), ((1),41), ((2),43), ((1),44), ((-1),48), ((-2),53), ((-2),54), ((1),56), ((-2),58), ((-2),60), ((-1),61), ((2),63), ((1),64), ((-1),65), ((2),68), ((-2),70), ((1),72), ((1),73)], (13)), ("GEQ", [((46),0), ((-2),1), ((10),2), ((-34),3), ((-28),4), ((3),5), ((-19),6), ((42),7), ((-25),8), ((5),9), ((83),10), ((-26),12), ((-28),13), ((-12),14), ((32),15), ((29),16), ((56),17), ((41),18), ((47),19), ((47),20), ((-33),21), ((16),22), ((-18),23), ((-20),24), ((2),25), ((-25),26), ((34),27), ((21),28), ((-2),29), ((8),30), ((-1),31), ((-30),32), ((53),33), ((-14),34), ((19),35), ((-15),36), ((8),37), ((-52),38), ((3),39), ((-3),40), ((-16),41), ((7),42), ((-16),43), ((10),44), ((-25),46), ((-8),47), ((-8),48), ((-5),49), ((-8),50), ((54),51), ((16),52), ((-18),53), ((10),54), ((-16),55), ((-8),56), ((-27),57), ((25),58), ((13),59), ((-20),60), ((-5),61), ((-10),62), ((-11),63), ((-23),64), ((1),65), ((-7),66), ((10),67), ((-59),68), ((-23),69), ((5),70), ((-35),71), ((4),72), ((-60),73), ((11),74)], (-181)), ("GEQ", [((-170),0), ((13),1), ((-27),2), ((128),3), ((90),4), ((-26),5), ((69),6), ((-134),7), ((94),8), ((-34),9), ((-264),10), ((7),11), ((98),12), ((73),13), ((32),14), ((-107),15), ((-113),16), ((-191),17), ((-147),18), ((-148),19), ((-181),20), ((65),21), ((-56),22), ((66),23), ((80),24), ((-21),25), ((87),26), ((-99),27), ((-50),28), ((-16),29), ((-22),30), ((-6),31), ((110),32), ((-167),33), ((38),34), ((-98),35), ((27),36), ((-7),37), ((194),38), ((-10),39), ((-10),40), ((51),41), ((-12),42), ((34),43), ((-34),44), ((-11),45), ((79),46), ((4),47), ((36),48), ((38),49), ((11),50), ((-191),51), ((-31),52), ((101),53), ((-20),54), ((21),55), ((37),56), ((77),57), ((-55),58), ((-56),59), ((42),60), ((-2),61), ((62),62), ((53),63), ((61),64), ((-1),65), ((25),66), ((-8),67), ((184),68), ((76),69), ((-13),70), ((114),71), ((5),72), ((190),73), ((-37),74)], (1071)), ("GEQ", [((-185),0), ((7),1), ((-38),2), ((136),3), ((58),4), ((-3),5), ((82),6), ((-164),7), ((97),8), ((-21),9), ((-275),10), ((-19),11), ((89),12), ((63),13), ((12),14), ((-121),15), ((-84),16), ((-185),17), ((-143),18), ((-141),19), ((-139),20), ((67),21), ((-40),22), ((69),23), ((86),24), ((-25),25), ((117),26), ((-113),27), ((-76),28), ((-3),29), ((-8),30), ((-2),31), ((88),32), ((-180),33), ((71),34), ((-65),35), ((19),36), ((-63),37), ((156),38), ((-18),39), ((14),40), ((31),41), ((-9),42), ((41),43), ((-69),44), ((-4),45), ((53),46), ((42),47), ((48),48), ((13),49), ((27),50), ((-188),51), ((-58),52), ((65),53), ((-34),54), ((38),55), ((75),56), ((99),57), ((-83),58), ((-76),59), ((55),60), ((2),61), ((60),62), ((48),63), ((66),64), ((4),65), ((10),66), ((-20),67), ((202),68), ((84),69), ((-28),70), ((100),71), ((29),72), ((215),73), ((-6),74)], (451)), ("GEQ", [((-64),0), ((-12),1), ((3),2), ((67),3), ((30),4), ((-7),5), ((60),6), ((-56),7), ((45),8), ((-48),9), ((-122),10), ((6),11), ((64),12), ((40),13), ((2),14), ((-34),15), ((-42),16), ((-101),17), ((-99),18), ((-50),19), ((-64),20), ((2),21), ((-40),22), ((49),23), ((46),24), ((-5),25), ((63),26), ((-66),27), ((-34),28), ((-5),29), ((14),30), ((8),31), ((36),32), ((-78),33), ((10),34), ((-35),35), ((-10),36), ((-5),37), ((75),38), ((-9),39), ((-16),40), ((7),41), ((-18),42), ((36),43), ((-31),44), ((-9),45), ((42),46), ((14),47), ((27),48), ((-9),49), ((-17),50), ((-83),51), ((-6),52), ((40),53), ((-7),54), ((42),55), ((22),56), ((37),57), ((-41),58), ((-27),59), ((-3),60), ((5),61), ((10),62), ((-11),63), ((-15),64), ((15),65), ((-19),66), ((-6),67), ((89),68), ((59),69), ((-9),70), ((59),71), ((-1),72), ((47),73), ((-28),74)], (532)), ("GEQ", [((89),0), ((-5),1), ((-8),2), ((-89),3), ((-39),4), ((34),5), ((-52),6), ((78),7), ((-43),8), ((43),9), ((154),10), ((-14),11), ((-57),12), ((-74),13), ((-5),14), ((35),15), ((113),16), ((101),17), ((93),18), ((94),19), ((111),20), ((-59),21), ((53),22), ((-23),23), ((-45),24), ((-1),25), ((-40),26), ((44),27), ((51),28), ((13),29), ((-2),30), ((9),31), ((-70),32), ((96),33), ((-42),34), ((51),35), ((-29),36), ((-22),37), ((-79),38), ((7),40), ((-68),41), ((-14),42), ((-34),43), ((-3),44), ((2),45), ((-44),46), ((-20),47), ((-32),48), ((-16),49), ((-2),50), ((116),51), ((8),52), ((-71),53), ((10),54), ((-24),55), ((-15),56), ((-60),57), ((50),58), ((8),59), ((-32),60), ((8),61), ((-54),62), ((-34),63), ((-44),64), ((7),65), ((-56),66), ((18),67), ((-105),68), ((-50),69), ((19),70), ((-77),71), ((4),72), ((-117),73), ((21),74)], (-384)), ("GEQ", [((-185),0), ((2),1), ((-46),2), ((133),3), ((105),4), ((-22),5), ((83),6), ((-152),7), ((101),8), ((-31),9), ((-261),10), ((4),11), ((103),12), ((100),13), ((29),14), ((-120),15), ((-102),16), ((-172),17), ((-121),18), ((-157),19), ((-161),20), ((83),21), ((-53),22), ((97),23), ((121),24), ((-11),25), ((93),26), ((-138),27), ((-56),28), ((-12),30), ((-6),31), ((112),32), ((-181),33), ((26),34), ((-78),35), ((30),36), ((-19),37), ((176),38), ((-22),39), ((71),41), ((11),42), ((64),43), ((-61),44), ((-11),45), ((92),46), ((1),47), ((26),48), ((21),49), ((51),50), ((-213),51), ((-78),52), ((61),53), ((-45),54), ((61),55), ((39),56), ((90),57), ((-93),58), ((-54),59), ((57),60), ((11),61), ((38),62), ((57),63), ((57),64), ((13),65), ((10),66), ((-9),67), ((211),68), ((90),69), ((-22),70), ((137),71), ((-4),72), ((197),73), ((-28),74)], (592)), ("GEQ", [((-57),0), ((1),1), ((49),2), ((73),3), ((57),4), ((-84),5), ((21),6), ((-66),7), ((-16),9), ((-120),10), ((48),11), ((19),12), ((96),13), ((12),14), ((24),15), ((-161),16), ((-59),17), ((-64),18), ((-75),19), ((-115),20), ((93),21), ((-67),22), ((-29),23), ((-5),24), ((18),25), ((-14),26), ((18),27), ((-42),28), ((-20),29), ((-11),30), ((-71),31), ((118),32), ((-55),33), ((30),34), ((-51),35), ((46),36), ((52),37), ((81),38), ((21),39), ((-18),40), ((101),41), ((25),42), ((22),43), ((57),44), ((-8),45), ((85),46), ((-25),47), ((31),48), ((48),49), ((-8),50), ((-104),51), ((20),52), ((96),53), ((-16),54), ((-14),55), ((-37),56), ((30),57), ((-19),58), ((36),59), ((38),60), ((-18),61), ((63),62), ((50),63), ((105),64), ((-16),65), ((125),66), ((-10),67), ((54),68), ((27),69), ((16),70), ((87),71), ((-31),72), ((114),73), ((-35),74)], (767)), ("GEQ", [((87),0), ((65),1), ((6),2), ((-83),3), ((-67),4), ((-61),5), ((-91),6), ((91),7), ((-109),8), ((-1),9), ((223),10), ((25),11), ((-82),12), ((-14),13), ((-39),14), ((85),15), ((-53),16), ((192),17), ((151),18), ((24),19), ((34),20), ((39),21), ((15),22), ((-86),23), ((-48),24), ((-1),25), ((-146),26), ((134),27), ((25),28), ((-22),29), ((-10),30), ((-2),31), ((1),32), ((151),33), ((37),34), ((38),35), ((73),36), ((83),37), ((-157),38), ((43),39), ((-4),40), ((85),41), ((95),42), ((-51),43), ((120),44), ((24),45), ((-106),46), ((29),47), ((-62),48), ((24),49), ((49),50), ((131),51), ((30),52), ((-22),53), ((44),54), ((-78),55), ((-42),56), ((-19),57), ((58),58), ((98),59), ((22),60), ((-50),61), ((71),62), ((76),63), ((25),64), ((-56),65), ((142),66), ((-4),67), ((-140),68), ((-128),69), ((-3),70), ((-92),71), ((7),72), ((-59),73), ((54),74)], (-1304)), ("GEQ", [((38),0), ((-140),1), ((111),2), ((78),3), ((-19),4), ((92),5), ((131),6), ((-33),7), ((99),8), ((-67),9), ((-159),10), ((-8),11), ((66),12), ((-5),13), ((6),14), ((39),15), ((70),16), ((-158),17), ((-184),18), ((131),19), ((113),20), ((-139),21), ((-45),22), ((30),23), ((-25),24), ((58),25), ((196),26), ((-48),27), ((-44),28), ((59),29), ((101),30), ((-28),31), ((-104),32), ((-106),33), ((-69),34), ((19),35), ((-173),36), ((-78),37), ((15),38), ((-60),39), ((-17),40), ((-129),41), ((-132),42), ((60),43), ((-118),44), ((-25),45), ((133),46), ((-18),47), ((145),48), ((-92),49), ((-174),50), ((-42),51), ((58),52), ((22),53), ((-36),54), ((103),55), ((30),56), ((-26),57), ((-80),58), ((-58),59), ((-101),60), ((53),61), ((-131),62), ((-196),63), ((-109),64), ((97),65), ((-176),66), ((-16),67), ((38),68), ((174),69), ((15),70), ((79),71), ((-21),72), ((-76),73), ((-79),74)], (1544))]
[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]