[("GEQ", [((1),0), ((1),3), ((2),4), ((2),6), ((-2),7), ((2),9), ((2),10), ((-1),16), ((-2),19), ((-2),20), ((-2),21), ((1),23), ((2),25), ((1),26), ((-1),27), ((-2),30), ((1),31), ((2),32), ((1),33), ((-2),36), ((-2),38), ((2),39), ((-2),40), ((2),41), ((-1),42), ((1),43), ((-2),45), ((-2),46), ((-2),47), ((2),48), ((1),51), ((-2),52), ((-2),53), ((2),54), ((-2),55), ((1),56), ((1),57), ((2),58), ((-1),59), ((-1),60), ((-1),62), ((2),63), ((-2),64), ((1),67), ((1),68), ((1),69), ((-2),70), ((2),71)], (-2)), ("GEQ", [((-1),3), ((2),5), ((-1),9), ((2),11), ((1),13), ((-1),14), ((1),15), ((1),20), ((-1),22), ((-2),25), ((2),26), ((1),28), ((1),29), ((1),30), ((1),32), ((2),34), ((1),36), ((2),37), ((2),40), ((-2),42), ((-2),47), ((1),48), ((1),49), ((-1),51), ((2),52), ((-2),53), ((-2),55), ((-1),56), ((-2),57), ((1),59), ((-1),60), ((-2),61), ((1),64), ((-1),66), ((2),67), ((-1),68), ((-2),69), ((-1),70), ((1),72), ((-2),73)], (23)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((1),4), ((2),5), ((1),8), ((-1),9), ((-2),12), ((-2),13), ((2),14), ((2),16), ((-1),17), ((-1),18), ((-2),19), ((-1),20), ((-1),21), ((2),24), ((-2),26), ((1),31), ((1),34), ((-2),37), ((1),39), ((1),40), ((-2),41), ((2),43), ((-1),45), ((-2),46), ((-1),49), ((-1),50), ((-1),51), ((-2),54), ((-1),55), ((2),56), ((-1),61), ((1),63), ((-2),64), ((-2),65), ((-2),67), ((-1),68), ((1),70), ((-2),72)], (65)), ("GEQ", [((-2),1), ((-2),2), ((1),4), ((-1),6), ((1),9), ((1),10), ((-1),11), ((-1),15), ((-2),16), ((-1),17), ((2),19), ((-2),20), ((-1),21), ((1),23), ((-1),25), ((1),27), ((2),28), ((-1),29), ((2),30), ((2),33), ((-1),34), ((2),35), ((2),36), ((-1),39), ((-1),40), ((-1),41), ((-2),42), ((1),44), ((2),47), ((-2),49), ((-2),50), ((-1),51), ((-2),53), ((1),56), ((-2),60), ((-1),62), ((2),64), ((-2),65), ((2),66), ((2),67), ((-1),70), ((1),71), ((2),72)], (-7)), ("GEQ", [((2),3), ((-2),4), ((-2),5), ((-2),6), ((1),8), ((-2),10), ((1),12), ((-2),13), ((1),14), ((-2),16), ((1),18), ((-2),19), ((-1),20), ((2),21), ((-1),22), ((-1),23), ((2),24), ((-1),27), ((1),28), ((1),29), ((-1),30), ((1),31), ((2),32), ((-1),33), ((2),34), ((-1),35), ((-2),37), ((2),38), ((2),39), ((2),40), ((1),45), ((2),46), ((1),47), ((-2),49), ((2),50), ((2),51), ((-1),57), ((-2),58), ((-1),59), ((1),60), ((1),61), ((-1),62), ((1),68), ((1),69), ((2),71), ((-1),72)], (36)), ("GEQ", [((1),0), ((-2),3), ((2),6), ((-2),7), ((-1),8), ((-2),12), ((2),14), ((-2),19), ((-2),20), ((1),22), ((-1),24), ((-2),26), ((2),27), ((1),28), ((-1),29), ((1),31), ((-1),36), ((-2),38), ((2),40), ((1),41), ((-1),42), ((-1),43), ((1),46), ((-2),47), ((-1),48), ((-1),50), ((2),51), ((2),54), ((-2),55), ((2),57), ((-1),59), ((2),61), ((1),62), ((-2),63), ((-2),64), ((2),66), ((-2),67), ((-1),71), ((-2),74)], (5)), ("GEQ", [((1),0), ((-2),2), ((1),5), ((1),6), ((1),8), ((1),10), ((1),12), ((-2),13), ((2),14), ((1),15), ((-2),18), ((2),19), ((-2),20), ((-2),21), ((-2),22), ((2),23), ((-1),27), ((2),30), ((1),31), ((1),33), ((-1),34), ((1),35), ((-2),36), ((-2),37), ((2),41), ((-2),42), ((1),43), ((1),45), ((-2),46), ((-2),48), ((-2),49), ((2),54), ((2),55), ((2),56), ((2),57), ((1),59), ((-1),64), ((-2),65), ((-1),67), ((2),68), ((2),69), ((2),70), ((1),73)], (3)), ("GEQ", [((-2),0), ((1),2), ((2),4), ((-2),5), ((1),7), ((1),9), ((2),10), ((-2),12), ((-1),13), ((-2),16), ((-1),18), ((-2),20), ((1),21), ((-2),24), ((-2),26), ((2),27), ((2),28), ((-1),32), ((2),34), ((1),35), ((-2),37), ((-2),38), ((2),40), ((-1),41), ((-2),43), ((2),44), ((1),45), ((-1),46), ((-1),47), ((-1),49), ((-2),51), ((1),54), ((1),56), ((-1),58), ((-1),59), ((1),60), ((1),61), ((-2),63), ((-1),66), ((-2),68), ((-1),69), ((1),71), ((-2),72), ((2),73)], (17)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((-2),4), ((1),7), ((2),8), ((-1),9), ((2),10), ((-2),12), ((1),14), ((-1),15), ((2),16), ((2),17), ((-1),18), ((-2),19), ((-1),20), ((2),21), ((1),22), ((-2),23), ((2),24), ((-1),25), ((-2),29), ((2),30), ((1),31), ((-1),37), ((1),38), ((2),41), ((-1),42), ((-1),43), ((1),47), ((2),48), ((1),49), ((-2),52), ((1),53), ((-1),54), ((-2),56), ((-1),58), ((1),59), ((2),60), ((-1),61), ((-1),64), ((2),67), ((-2),68), ((-2),69), ((1),70), ((2),71), ((2),73), ((-2),74)], (17)), ("GEQ", [((2),5), ((-1),7), ((2),9), ((2),10), ((2),11), ((-2),12), ((-1),13), ((-2),14), ((2),15), ((2),16), ((-2),18), ((-2),19), ((2),24), ((1),27), ((1),29), ((1),30), ((-2),32), ((2),33), ((1),34), ((-1),35), ((-1),38), ((-1),41), ((1),42), ((2),43), ((2),44), ((2),45), ((-2),46), ((2),47), ((-2),48), ((1),50), ((1),51), ((1),52), ((2),54), ((-2),56), ((-1),57), ((2),60), ((-1),62), ((2),63), ((-1),65), ((-2),66), ((-1),67), ((-2),69), ((2),71), ((-1),72), ((2),73), ((2),74)], (17)), ("GEQ", [((1),3), ((-1),4), ((2),5), ((2),6), ((-2),7), ((2),9), ((1),10), ((-1),13), ((-1),14), ((2),18), ((2),19), ((-1),22), ((1),23), ((1),27), ((2),31), ((-2),32), ((-2),33), ((2),35), ((1),36), ((-1),37), ((-2),38), ((2),42), ((-2),43), ((2),44), ((-1),45), ((-1),46), ((-2),48), ((-1),50), ((1),52), ((2),54), ((-1),55), ((1),56), ((1),57), ((-2),61), ((2),63), ((2),64), ((2),65), ((-2),67), ((2),68), ((-1),71), ((-2),72)], (-16)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((2),3), ((1),4), ((1),5), ((-1),7), ((-2),8), ((-1),9), ((2),13), ((2),14), ((1),15), ((-1),18), ((1),19), ((-2),22), ((1),23), ((-2),25), ((2),26), ((-1),28), ((2),31), ((-2),32), ((-1),33), ((1),34), ((-2),39), ((-1),40), ((-1),41), ((-1),42), ((-2),44), ((1),45), ((1),46), ((-1),49), ((-1),51), ((1),52), ((-2),53), ((-1),54), ((-1),55), ((2),57), ((1),58), ((-2),59), ((1),63), ((-1),64), ((-1),66), ((-1),70), ((-1),71), ((1),72), ((2),73)], (-2)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((2),4), ((-2),6), ((-2),8), ((1),10), ((-1),12), ((1),14), ((1),16), ((-1),17), ((-1),18), ((-1),20), ((2),21), ((1),22), ((-1),23), ((2),26), ((1),27), ((2),28), ((2),30), ((1),31), ((-2),32), ((-1),33), ((-1),34), ((2),35), ((-2),36), ((2),37), ((-1),38), ((1),39), ((1),40), ((-1),41), ((-2),42), ((-1),45), ((-2),49), ((-1),50), ((1),51), ((1),52), ((2),53), ((-2),55), ((-2),56), ((-1),57), ((-2),59), ((-2),63), ((-1),64), ((2),65), ((-2),67), ((-2),68), ((2),69), ((1),71), ((-1),72)], (-10)), ("GEQ", [((1),3), ((1),6), ((2),7), ((2),8), ((-1),9), ((-1),12), ((1),13), ((-1),15), ((-1),19), ((1),20), ((2),22), ((-2),24), ((-1),26), ((-2),27), ((2),28), ((2),30), ((1),31), ((-2),34), ((-1),35), ((-1),37), ((-2),38), ((-2),41), ((2),46), ((-2),48), ((2),49), ((1),55), ((1),56), ((1),59), ((-2),60), ((2),61), ((-1),62), ((2),65), ((-1),66), ((1),68), ((-2),70), ((-1),72)], (-19)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((-1),4), ((-2),5), ((2),11), ((1),13), ((-1),15), ((-2),16), ((2),19), ((-1),20), ((-1),21), ((-1),23), ((-1),24), ((-2),25), ((-2),26), ((2),27), ((1),29), ((-2),30), ((-2),32), ((2),33), ((1),34), ((-1),35), ((1),36), ((1),37), ((-2),39), ((2),40), ((-2),41), ((2),42), ((-2),43), ((2),44), ((2),45), ((-1),48), ((1),49), ((2),50), ((2),51), ((2),52), ((-1),57), ((1),58), ((1),60), ((-1),61), ((2),62), ((1),65), ((-1),67), ((-2),73), ((1),74)], (0)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-1),3), ((-2),4), ((-2),5), ((1),6), ((2),7), ((2),9), ((1),10), ((2),11), ((2),12), ((-2),13), ((1),14), ((-1),18), ((-2),21), ((-1),23), ((1),25), ((-2),26), ((-2),28), ((1),29), ((1),31), ((2),32), ((-1),34), ((-2),36), ((-2),37), ((1),39), ((2),40), ((-1),41), ((1),44), ((-2),45), ((2),46), ((-2),47), ((1),48), ((-2),49), ((-2),50), ((-2),51), ((2),52), ((-1),53), ((2),54), ((-1),56), ((-2),58), ((-2),59), ((1),60), ((2),61), ((1),63), ((-1),66), ((-1),69), ((-1),72), ((2),73)], (-12)), ("GEQ", [((1),2), ((-1),4), ((-2),5), ((1),6), ((2),7), ((-2),8), ((-2),9), ((-2),12), ((2),16), ((1),17), ((2),18), ((2),20), ((-1),22), ((-1),23), ((-1),24), ((-2),25), ((-1),29), ((1),30), ((-2),31), ((2),34), ((2),38), ((2),39), ((2),40), ((2),42), ((2),43), ((-1),46), ((2),47), ((1),49), ((1),51), ((-1),52), ((1),53), ((-1),54), ((1),56), ((-1),58), ((1),59), ((1),62), ((1),63), ((-2),64), ((-1),65), ((-1),66), ((2),67), ((-2),69), ((1),70), ((-2),73), ((1),74)], (27)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((2),4), ((2),6), ((-2),7), ((2),11), ((-1),13), ((2),14), ((1),16), ((2),18), ((2),19), ((2),20), ((-1),22), ((2),23), ((-1),24), ((-2),25), ((1),26), ((-1),27), ((-1),29), ((-2),30), ((-1),31), ((-2),33), ((-1),34), ((-1),35), ((-1),36), ((1),37), ((1),38), ((2),39), ((-2),40), ((-1),41), ((-1),43), ((1),44), ((1),45), ((-1),46), ((-1),47), ((-1),48), ((-1),49), ((1),53), ((-1),54), ((-2),55), ((-2),56), ((2),58), ((-2),59), ((2),60), ((-2),61), ((2),62), ((-1),63), ((2),65), ((-2),66), ((2),69), ((2),70), ((1),71), ((-1),74)], (-38)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-1),3), ((-2),4), ((2),6), ((-1),7), ((1),8), ((1),9), ((1),10), ((-2),11), ((1),12), ((-1),16), ((-1),17), ((-1),18), ((-1),19), ((2),20), ((2),21), ((1),22), ((2),23), ((2),24), ((2),25), ((1),26), ((1),27), ((1),29), ((-1),30), ((-1),31), ((2),32), ((1),34), ((-1),37), ((2),38), ((2),39), ((2),43), ((-1),45), ((-1),47), ((-1),48), ((-1),49), ((2),51), ((-1),52), ((-2),53), ((-1),54), ((-1),57), ((2),58), ((1),59), ((-2),60), ((-2),62), ((1),64), ((-2),65), ((-2),67), ((-1),68), ((-1),70), ((-2),71), ((1),72), ((2),73)], (9)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((-2),4), ((1),5), ((-1),6), ((1),9), ((1),10), ((2),11), ((2),12), ((2),15), ((-1),16), ((-2),17), ((2),23), ((2),24), ((1),31), ((1),32), ((-1),33), ((-2),34), ((2),35), ((-2),36), ((-2),42), ((2),44), ((-1),47), ((-1),48), ((1),49), ((-2),50), ((-1),54), ((2),56), ((1),57), ((2),58), ((1),60), ((2),62), ((1),63), ((1),68), ((-1),70), ((2),71), ((-2),72), ((-2),74)], (20)), ("GEQ", [((-1),2), ((-1),5), ((-1),7), ((-1),8), ((-2),9), ((-1),10), ((-1),12), ((2),13), ((-2),15), ((-2),18), ((2),21), ((2),22), ((-2),24), ((-2),25), ((-1),28), ((-2),30), ((1),32), ((-1),34), ((2),35), ((2),36), ((2),37), ((-2),38), ((2),40), ((-2),44), ((2),45), ((-1),47), ((-1),51), ((1),56), ((-1),58), ((-2),59), ((-1),60), ((-1),61), ((2),62), ((1),63), ((-1),65), ((-1),70), ((-1),71), ((1),74)], (12)), ("GEQ", [((-1),0), ((1),1), ((1),3), ((-2),4), ((1),6), ((-2),8), ((-1),10), ((2),14), ((1),17), ((-2),20), ((-2),22), ((2),23), ((2),24), ((-1),25), ((-2),26), ((-1),28), ((2),29), ((-1),30), ((-2),32), ((-1),33), ((2),36), ((1),39), ((-2),41), ((2),42), ((-1),44), ((2),48), ((-1),49), ((-2),52), ((1),53), ((-2),54), ((-2),56), ((-1),58), ((-1),59), ((-2),63), ((2),65), ((-1),68), ((1),69), ((2),71), ((2),72), ((-2),74)], (36)), ("GEQ", [((-2),2), ((-2),5), ((2),6), ((-2),8), ((-2),13), ((-2),15), ((1),17), ((-2),23), ((1),25), ((2),26), ((2),27), ((1),29), ((1),30), ((-1),32), ((1),33), ((-1),34), ((2),35), ((-1),37), ((-1),38), ((2),41), ((1),43), ((-1),44), ((1),45), ((-1),48), ((-2),50), ((-2),52), ((2),55), ((2),56), ((1),58), ((-2),59), ((-2),61), ((1),62), ((-1),63), ((2),64), ((-1),65), ((-2),68), ((-1),70), ((1),71), ((1),72), ((1),74)], (2)), ("GEQ", [((2),0), ((-1),2), ((2),6), ((1),7), ((-2),8), ((-1),11), ((-1),12), ((1),13), ((1),14), ((1),17), ((2),18), ((-2),19), ((2),20), ((-1),22), ((1),24), ((1),25), ((-2),28), ((1),29), ((1),31), ((-2),32), ((1),33), ((2),36), ((2),39), ((2),41), ((2),42), ((1),43), ((-1),44), ((1),46), ((-1),48), ((-2),49), ((1),50), ((1),53), ((1),55), ((2),56), ((-1),58), ((-2),59), ((2),61), ((2),62), ((-1),63), ((-2),64), ((-2),65), ((-2),66), ((1),67), ((1),69), ((-2),70), ((-2),72), ((-1),73)], (13)), ("GEQ", [((-1),1), ((-1),2), ((-2),3), ((-2),4), ((-1),5), ((2),6), ((1),7), ((1),10), ((-1),11), ((2),17), ((1),18), ((2),19), ((-2),21), ((2),22), ((2),23), ((-1),25), ((-1),26), ((2),28), ((2),29), ((-2),30), ((1),33), ((-1),34), ((2),35), ((2),37), ((-2),38), ((1),39), ((-1),40), ((-1),41), ((1),43), ((1),45), ((-1),48), ((1),49), ((-1),50), ((1),51), ((-1),53), ((-1),54), ((-2),55), ((-2),57), ((1),58), ((2),61), ((2),64), ((1),65), ((2),66), ((2),71), ((-1),72), ((1),73), ((1),74)], (-18)), ("GEQ", [((1),1), ((2),3), ((-2),8), ((2),9), ((1),11), ((-1),13), ((1),16), ((1),17), ((1),18), ((1),19), ((2),20), ((2),24), ((2),26), ((2),27), ((1),29), ((-1),31), ((1),34), ((-2),37), ((2),38), ((1),39), ((-2),40), ((-1),42), ((-1),43), ((-2),44), ((-1),45), ((1),46), ((1),50), ((1),52), ((-1),53), ((2),54), ((-2),57), ((-1),61), ((2),67), ((-2),68), ((-2),69), ((1),70)], (6)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((1),3), ((-2),5), ((-1),7), ((2),9), ((2),10), ((-1),11), ((2),12), ((-1),13), ((1),15), ((-1),18), ((2),20), ((-2),22), ((-1),23), ((2),24), ((2),25), ((-2),29), ((-2),31), ((1),34), ((2),36), ((-2),37), ((2),38), ((1),40), ((-1),42), ((2),45), ((-1),48), ((-2),50), ((2),52), ((1),53), ((2),55), ((-1),59), ((-2),60), ((-2),61), ((2),62), ((2),63), ((-2),65), ((2),66), ((-2),67), ((-1),68), ((1),69), ((1),71), ((1),73), ((-1),74)], (18)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((1),3), ((2),4), ((-1),5), ((1),6), ((2),8), ((-2),10), ((1),14), ((1),15), ((1),16), ((2),19), ((-2),20), ((2),22), ((-1),25), ((1),27), ((-2),28), ((2),29), ((-2),31), ((2),32), ((2),36), ((-1),37), ((-1),38), ((-2),39), ((-2),41), ((1),42), ((2),43), ((-1),44), ((1),45), ((1),46), ((-2),48), ((-1),49), ((1),50), ((2),51), ((-2),53), ((1),56), ((2),57), ((1),58), ((-1),60), ((-2),61), ((1),62), ((1),63), ((-1),64), ((-2),68), ((-2),69), ((-1),73), ((2),74)], (-17)), ("GEQ", [((-1),1), ((-2),2), ((2),4), ((2),5), ((-1),6), ((-2),7), ((-2),8), ((1),9), ((1),13), ((-1),14), ((-2),15), ((-2),16), ((2),17), ((-1),18), ((1),19), ((1),21), ((2),22), ((-1),23), ((-2),27), ((-1),30), ((-1),31), ((1),34), ((-1),35), ((1),36), ((-1),37), ((2),39), ((1),40), ((2),41), ((1),43), ((2),44), ((2),45), ((-2),46), ((-2),47), ((1),48), ((-1),49), ((1),51), ((-1),53), ((-2),54), ((2),56), ((1),58), ((2),59), ((-2),61), ((-2),62), ((-1),63), ((-1),65), ((-1),66), ((-2),67), ((1),68), ((2),69), ((1),71), ((-1),73), ((2),74)], (31)), ("GEQ", [((-1),0), ((-2),1), ((-1),5), ((-1),6), ((2),8), ((-1),9), ((1),10), ((2),11), ((-2),13), ((2),14), ((-2),16), ((-1),17), ((2),19), ((2),23), ((-2),24), ((-2),26), ((1),28), ((-1),31), ((2),32), ((-1),35), ((-2),37), ((-1),38), ((-1),39), ((-1),40), ((-2),42), ((2),48), ((2),49), ((2),52), ((-1),53), ((-2),54), ((2),55), ((2),56), ((2),57), ((-1),58), ((1),60), ((2),61), ((-2),62), ((-2),64), ((1),65), ((-2),66), ((1),67), ((-1),69), ((2),73)], (-20)), ("GEQ", [((-2),0), ((-1),4), ((2),5), ((-2),6), ((-1),7), ((-1),8), ((2),10), ((2),11), ((-2),14), ((1),15), ((1),18), ((-1),20), ((-1),23), ((2),24), ((-2),25), ((1),26), ((1),28), ((2),30), ((-2),31), ((2),32), ((-2),33), ((2),35), ((-2),37), ((-2),40), ((-2),41), ((1),42), ((1),43), ((2),44), ((-1),45), ((-1),47), ((2),50), ((2),51), ((-2),52), ((2),53), ((-1),55), ((2),57), ((-1),58), ((2),60), ((-2),61), ((-1),62), ((-2),64), ((-1),65), ((-1),67), ((2),68), ((2),69), ((-1),70), ((1),71), ((2),72), ((-2),73)], (19)), ("GEQ", [((1),0), ((-2),2), ((1),4), ((2),5), ((2),6), ((-1),7), ((2),9), ((-1),10), ((-2),12), ((1),14), ((2),17), ((-2),18), ((2),19), ((1),21), ((1),24), ((-2),25), ((1),26), ((-1),27), ((-1),31), ((1),32), ((1),33), ((-2),34), ((1),35), ((2),36), ((-1),39), ((-2),43), ((-1),44), ((-2),45), ((-2),46), ((1),47), ((-2),49), ((-1),50), ((2),51), ((-2),52), ((1),57), ((-2),60), ((2),61), ((1),62), ((-1),64), ((-1),65), ((1),66), ((-2),68), ((-1),70), ((1),71), ((1),73), ((2),74)], (1)), ("GEQ", [((-1),0), ((2),1), ((-1),2), ((1),7), ((-1),11), ((-1),12), ((1),13), ((-1),14), ((2),15), ((-1),18), ((1),19), ((1),21), ((2),22), ((2),23), ((-2),24), ((2),25), ((-2),33), ((-1),34), ((1),36), ((1),38), ((1),42), ((-2),43), ((-1),44), ((2),45), ((2),50), ((-1),52), ((-2),57), ((1),58), ((1),59), ((2),60), ((1),61), ((1),62), ((2),66), ((1),69), ((-2),72), ((2),74)], (-28)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((-1),7), ((1),9), ((-2),10), ((2),11), ((1),12), ((1),13), ((-1),16), ((1),17), ((-1),18), ((1),19), ((-1),20), ((-2),21), ((-2),24), ((1),25), ((1),26), ((1),27), ((1),28), ((-1),29), ((2),32), ((-2),34), ((1),37), ((-2),39), ((-1),40), ((1),41), ((2),42), ((-2),44), ((1),48), ((-1),49), ((-2),51), ((-1),53), ((2),54), ((1),55), ((-2),57), ((2),58), ((-2),60), ((1),62), ((-1),63), ((1),64), ((1),65), ((2),67), ((2),68), ((2),69), ((-2),70), ((-1),71), ((2),72), ((1),73), ((2),74)], (-65)), ("GEQ", [((2),1), ((2),2), ((2),4), ((-2),9), ((1),10), ((2),12), ((-2),13), ((-1),14), ((2),15), ((-1),16), ((2),17), ((-1),19), ((-2),21), ((2),22), ((-1),23), ((-1),25), ((1),28), ((-1),29), ((1),30), ((-1),31), ((-2),32), ((2),34), ((1),36), ((-1),37), ((-2),38), ((1),39), ((2),42), ((1),43), ((2),46), ((-1),47), ((1),48), ((-1),49), ((1),50), ((1),52), ((-2),56), ((2),58), ((2),59), ((1),63), ((2),64), ((-2),66), ((-2),68), ((2),73), ((-2),74)], (-12)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((-1),4), ((2),7), ((2),8), ((-1),9), ((2),11), ((-2),12), ((-2),13), ((-1),15), ((2),16), ((-2),17), ((-2),19), ((2),20), ((-2),21), ((-1),22), ((1),23), ((2),26), ((-1),27), ((-2),29), ((2),30), ((2),32), ((-2),34), ((-1),36), ((-2),37), ((-2),38), ((1),39), ((-1),41), ((2),42), ((2),44), ((-1),45), ((-1),46), ((2),47), ((2),49), ((-1),51), ((2),52), ((2),53), ((-1),54), ((-1),56), ((1),58), ((1),61), ((-2),64), ((-1),65), ((-2),68), ((1),69), ((2),70), ((-2),71), ((1),72), ((1),74)], (-14)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-1),5), ((-2),7), ((1),8), ((-2),9), ((2),13), ((-1),14), ((2),15), ((-2),16), ((2),17), ((-1),21), ((-2),23), ((-2),24), ((-2),25), ((2),27), ((1),28), ((-2),29), ((2),31), ((1),34), ((-1),36), ((-1),37), ((-1),41), ((2),42), ((-1),43), ((2),52), ((2),53), ((-1),54), ((2),55), ((2),56), ((1),57), ((2),58), ((-2),59), ((1),61), ((1),62), ((2),63), ((-1),64), ((-1),66), ((-2),67), ((2),68), ((-1),70), ((2),71), ((1),72), ((-2),73), ((1),74)], (-41)), ("GEQ", [((-1),0), ((-1),3), ((2),4), ((-2),7), ((2),9), ((-1),10), ((-1),11), ((-1),12), ((2),14), ((2),17), ((1),18), ((-1),19), ((-2),21), ((2),22), ((-2),26), ((2),28), ((2),33), ((2),35), ((1),36), ((1),38), ((-2),40), ((-1),41), ((-1),43), ((2),44), ((-2),47), ((2),49), ((-1),51), ((1),52), ((-2),53), ((-1),55), ((2),57), ((-1),62), ((-1),63), ((2),65), ((-2),69), ((-2),71), ((-1),73), ((1),74)], (1)), ("GEQ", [((-1),0), ((1),2), ((2),3), ((-1),5), ((-1),7), ((-1),9), ((-2),10), ((2),12), ((2),15), ((-2),17), ((1),19), ((1),22), ((-2),24), ((-1),25), ((2),27), ((1),28), ((1),29), ((-2),31), ((2),32), ((-2),37), ((-2),38), ((2),39), ((2),41), ((-1),42), ((-1),43), ((-2),45), ((-2),46), ((1),48), ((-2),49), ((-2),50), ((-1),51), ((-2),54), ((-2),62), ((-1),65), ((2),66), ((-2),68), ((-2),69), ((-1),73), ((-2),74)], (28)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((-2),3), ((1),4), ((-1),6), ((-1),7), ((1),8), ((-1),10), ((2),11), ((-2),13), ((1),15), ((-2),16), ((-2),17), ((-1),19), ((-1),21), ((1),25), ((2),26), ((-1),27), ((2),28), ((-2),29), ((1),32), ((-1),33), ((1),34), ((-2),35), ((1),36), ((2),38), ((2),39), ((-2),42), ((1),43), ((2),44), ((-1),46), ((2),47), ((-1),49), ((-1),52), ((-1),53), ((-2),54), ((1),55), ((1),58), ((2),60), ((2),61), ((-2),63), ((1),65), ((2),66), ((1),67), ((1),69), ((-1),70), ((1),71), ((1),72), ((-1),73), ((2),74)], (-1)), ("GEQ", [((-1),0), ((1),1), ((-2),5), ((-1),6), ((1),8), ((-2),9), ((1),10), ((2),12), ((2),13), ((-1),14), ((-1),16), ((-2),17), ((1),18), ((1),19), ((-2),20), ((2),21), ((-2),22), ((1),24), ((-2),26), ((1),28), ((-1),33), ((2),34), ((1),35), ((-1),37), ((-1),38), ((1),40), ((2),42), ((-2),43), ((1),45), ((-1),49), ((1),50), ((-1),51), ((2),52), ((2),54), ((1),56), ((-2),57), ((-1),58), ((1),59), ((-1),62), ((1),64), ((-1),65), ((2),66), ((2),67), ((1),68), ((-2),69), ((-2),70), ((-2),71), ((2),73), ((2),74)], (-26)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((1),6), ((-2),7), ((2),9), ((2),14), ((-2),15), ((1),16), ((-2),17), ((-2),18), ((1),19), ((-2),20), ((2),22), ((2),23), ((2),26), ((2),27), ((-2),34), ((-2),37), ((-1),40), ((1),41), ((2),42), ((-2),43), ((1),45), ((-2),47), ((-2),48), ((2),49), ((1),50), ((-2),53), ((2),54), ((1),55), ((1),56), ((1),57), ((2),59), ((1),61), ((-1),62), ((-2),64), ((1),65), ((2),66), ((2),68), ((-2),69), ((-1),70), ((-1),72), ((1),73)], (-34)), ("GEQ", [((-2),1), ((-2),3), ((-1),6), ((-2),8), ((1),11), ((-2),13), ((-2),14), ((-2),15), ((2),16), ((2),18), ((1),19), ((-1),22), ((-2),23), ((-2),24), ((-2),25), ((1),26), ((2),27), ((1),29), ((2),30), ((-1),33), ((1),34), ((-1),35), ((1),36), ((-2),37), ((1),38), ((-1),39), ((-1),40), ((2),41), ((-2),42), ((-1),44), ((-1),46), ((-1),47), ((-1),48), ((2),49), ((-2),51), ((2),53), ((-2),54), ((1),57), ((2),58), ((-1),59), ((2),61), ((-1),64), ((-1),65), ((-1),67), ((-2),68), ((2),69), ((1),70), ((2),71), ((-1),74)], (22)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((-1),6), ((2),7), ((-2),8), ((-1),9), ((-2),10), ((-1),12), ((2),13), ((2),17), ((-1),19), ((2),20), ((1),21), ((-1),22), ((-1),25), ((1),26), ((2),30), ((-1),33), ((-2),34), ((-2),35), ((1),36), ((2),38), ((2),39), ((-2),44), ((1),46), ((-1),48), ((-1),49), ((-2),50), ((1),54), ((1),55), ((-1),56), ((-1),57), ((2),59), ((-1),60), ((-2),61), ((-2),65), ((1),66), ((1),67), ((-1),68), ((2),69), ((1),71), ((2),72), ((-2),73), ((-1),74)], (9)), ("GEQ", [((-1),1), ((-2),3), ((1),4), ((1),5), ((2),7), ((-2),9), ((1),11), ((-1),12), ((-1),13), ((1),14), ((2),15), ((-1),17), ((-1),19), ((-1),22), ((1),23), ((-1),26), ((-1),27), ((1),28), ((1),32), ((-2),33), ((-1),36), ((2),37), ((2),39), ((2),42), ((-2),44), ((1),45), ((-1),46), ((2),47), ((2),48), ((2),52), ((-1),55), ((-1),56), ((-2),57), ((-1),60), ((-1),62), ((2),63), ((1),66), ((2),67), ((1),68), ((-1),69), ((1),71), ((-1),74)], (-9)), ("GEQ", [((-1),1), ((-2),3), ((1),4), ((-1),5), ((-1),7), ((-1),9), ((-2),11), ((2),13), ((2),14), ((-1),15), ((-2),16), ((-1),18), ((-2),19), ((2),20), ((-2),22), ((-1),23), ((1),24), ((-2),25), ((-1),26), ((-2),27), ((1),29), ((-2),32), ((-1),33), ((1),34), ((-2),37), ((1),38), ((-1),39), ((1),40), ((-1),41), ((2),43), ((-1),45), ((-2),46), ((2),50), ((-2),51), ((-2),52), ((-1),53), ((-2),54), ((-2),57), ((-2),58), ((-1),59), ((2),61), ((-2),62), ((1),63), ((-2),64), ((2),65), ((-1),66), ((2),68), ((2),69), ((1),70), ((1),71), ((-1),72), ((-1),74)], (37)), ("GEQ", [((2),1), ((-2),3), ((2),4), ((-1),7), ((-1),11), ((-2),17), ((1),18), ((-2),19), ((1),23), ((-2),24), ((1),25), ((-1),26), ((1),28), ((1),29), ((1),31), ((-1),32), ((-1),33), ((-1),34), ((-1),36), ((-1),38), ((-2),39), ((-2),40), ((1),41), ((2),44), ((2),46), ((-2),47), ((-2),48), ((-2),49), ((-1),50), ((-2),51), ((-2),52), ((-2),53), ((-1),55), ((-2),56), ((-2),57), ((2),60), ((-2),61), ((-2),62), ((-2),63), ((-1),66), ((-2),67), ((2),68), ((-1),70), ((-1),73)], (-30)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((-2),3), ((-2),6), ((2),7), ((-1),8), ((-2),9), ((-1),10), ((-2),11), ((1),14), ((-1),16), ((-2),17), ((2),18), ((2),19), ((2),20), ((2),21), ((2),22), ((1),23), ((1),25), ((1),26), ((1),28), ((1),29), ((-1),30), ((-2),31), ((2),36), ((1),37), ((2),39), ((2),40), ((1),42), ((1),43), ((1),44), ((-1),47), ((-2),48), ((2),49), ((-1),50), ((-2),51), ((-2),52), ((-1),54), ((2),56), ((1),57), ((-1),59), ((1),66), ((2),67), ((-1),69), ((-2),70), ((2),71), ((1),74)], (-41)), ("GEQ", [((-1),2), ((1),3), ((1),4), ((2),5), ((-2),6), ((-1),7), ((-1),9), ((2),11), ((-1),14), ((1),15), ((-1),17), ((-2),18), ((2),20), ((-1),21), ((1),23), ((1),24), ((-2),25), ((1),26), ((2),28), ((-2),30), ((-2),31), ((2),34), ((-2),35), ((2),37), ((2),39), ((2),42), ((-1),46), ((1),47), ((-2),48), ((1),49), ((-2),50), ((2),51), ((-2),54), ((-1),56), ((1),59), ((-1),60), ((-2),61), ((-2),62), ((1),63), ((-1),64), ((1),65), ((-2),66), ((1),67), ((2),68), ((-1),71), ((-2),72), ((1),74)], (16)), ("GEQ", [((-2),1), ((1),4), ((-2),7), ((2),9), ((-2),10), ((2),11), ((2),12), ((2),13), ((-1),16), ((-1),17), ((-1),20), ((-2),21), ((1),22), ((-1),23), ((2),24), ((-2),25), ((-2),28), ((2),29), ((2),32), ((2),34), ((-2),35), ((1),36), ((1),38), ((-1),39), ((-1),41), ((2),42), ((2),43), ((-1),44), ((2),46), ((-1),48), ((-1),49), ((-1),50), ((2),52), ((-1),53), ((-1),54), ((-2),55), ((-2),57), ((-2),65), ((-2),67), ((-1),70), ((2),71), ((-2),72), ((2),73), ((-1),74)], (33)), ("GEQ", [((1),1), ((2),2), ((2),3), ((-2),4), ((-2),5), ((-2),8), ((2),9), ((-2),10), ((2),11), ((-1),12), ((2),16), ((1),17), ((-1),19), ((2),20), ((-1),25), ((-2),26), ((2),27), ((-1),28), ((2),29), ((-1),31), ((1),32), ((2),37), ((-1),40), ((2),41), ((-2),42), ((-1),43), ((2),47), ((2),49), ((2),51), ((2),53), ((-1),55), ((2),56), ((-2),58), ((-2),59), ((1),62), ((-1),63), ((2),66), ((1),67), ((1),69), ((1),72), ((2),73)], (25)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-2),5), ((-2),6), ((1),8), ((1),10), ((2),11), ((-2),13), ((2),15), ((2),17), ((-2),19), ((-2),22), ((-1),25), ((2),26), ((2),28), ((2),30), ((1),31), ((1),33), ((-2),35), ((-2),37), ((2),39), ((1),41), ((-1),43), ((2),44), ((1),45), ((-2),47), ((1),48), ((1),50), ((1),52), ((1),53), ((2),55), ((-1),56), ((2),59), ((2),60), ((2),61), ((2),64), ((2),67), ((1),70), ((2),72), ((2),73), ((2),74)], (-12)), ("GEQ", [((2),2), ((2),6), ((-1),9), ((-1),11), ((-1),14), ((-1),15), ((-2),16), ((-1),17), ((-1),21), ((1),22), ((-2),23), ((-2),25), ((-1),26), ((1),29), ((2),30), ((-2),31), ((2),32), ((-1),33), ((-2),34), ((-1),35), ((1),37), ((2),38), ((2),39), ((-1),40), ((-1),41), ((-1),43), ((1),44), ((-1),45), ((-1),46), ((-2),47), ((-2),48), ((2),51), ((-1),52), ((-2),53), ((2),56), ((2),57), ((-1),59), ((-1),60), ((-1),62), ((1),63), ((1),64), ((2),66), ((1),67), ((1),69), ((-1),70), ((2),71), ((1),72), ((-2),73), ((2),74)], (11)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((1),4), ((-2),5), ((-1),6), ((-1),7), ((1),8), ((1),9), ((2),10), ((1),12), ((1),13), ((1),15), ((2),16), ((1),18), ((-2),19), ((-2),20), ((-1),22), ((2),25), ((-2),28), ((-1),29), ((2),33), ((2),36), ((1),38), ((-2),39), ((-1),40), ((1),41), ((-1),43), ((-1),46), ((2),47), ((-1),49), ((1),51), ((1),52), ((-1),53), ((2),56), ((2),57), ((1),59), ((-1),61), ((-2),62), ((1),63), ((-2),64), ((-1),66), ((1),67), ((2),69), ((1),71), ((2),72), ((1),73), ((1),74)], (-28)), ("GEQ", [((-1),1), ((2),4), ((-1),5), ((-1),6), ((-2),7), ((1),8), ((-2),10), ((1),15), ((-2),16), ((-1),17), ((1),20), ((-1),21), ((-1),26), ((2),27), ((-1),28), ((1),29), ((-1),30), ((-1),31), ((-2),32), ((-2),34), ((1),35), ((1),36), ((1),37), ((-2),39), ((1),40), ((-2),43), ((-1),44), ((2),46), ((2),47), ((-1),48), ((2),51), ((-2),52), ((1),53), ((1),55), ((-2),56), ((-2),58), ((2),61), ((-1),62), ((1),63), ((2),64), ((-1),67), ((1),68), ((-2),69), ((1),70), ((-2),74)], (2)), ("GEQ", [((-2),0), ((1),1), ((2),3), ((1),4), ((-2),6), ((2),8), ((-2),9), ((2),10), ((-2),13), ((1),14), ((-2),16), ((-1),17), ((-2),18), ((2),20), ((-2),21), ((2),22), ((-2),23), ((-1),24), ((-2),27), ((-1),29), ((1),30), ((-2),32), ((1),33), ((-1),34), ((-2),35), ((-1),36), ((1),37), ((-2),39), ((-1),41), ((-1),42), ((-1),43), ((-2),44), ((2),46), ((2),48), ((1),49), ((1),50), ((-2),52), ((-1),53), ((-2),54), ((1),55), ((1),56), ((1),57), ((-1),58), ((2),60), ((-2),62), ((-2),63), ((2),67), ((1),68), ((2),69), ((1),71), ((-1),72), ((2),74)], (9)), ("GEQ", [((1),3), ((2),6), ((2),8), ((1),10), ((-1),11), ((1),12), ((-1),13), ((2),14), ((2),16), ((-2),17), ((2),18), ((1),21), ((-1),22), ((-2),24), ((-1),25), ((-1),26), ((2),27), ((2),28), ((-1),29), ((-1),30), ((-2),31), ((-1),33), ((2),35), ((1),39), ((1),40), ((2),41), ((2),43), ((1),44), ((1),47), ((2),48), ((-1),51), ((2),54), ((1),57), ((2),59), ((-1),60), ((2),61), ((2),62), ((2),63), ((-2),64), ((1),66), ((2),67), ((-2),72), ((-2),73)], (-14)), ("GEQ", [((-1),0), ((2),1), ((-2),6), ((-2),7), ((-2),8), ((-1),9), ((-1),10), ((1),11), ((2),12), ((2),13), ((2),14), ((1),16), ((-1),17), ((1),18), ((1),20), ((-1),21), ((-1),22), ((2),24), ((2),26), ((-2),27), ((2),29), ((-2),30), ((2),31), ((-1),32), ((-1),33), ((1),36), ((1),37), ((2),39), ((-1),43), ((2),45), ((-2),46), ((-1),47), ((-1),49), ((1),50), ((-2),51), ((2),55), ((2),63), ((-1),65), ((-1),66), ((1),67), ((-1),70), ((2),73)], (34)), ("GEQ", [((-2),0), ((1),3), ((1),6), ((-2),7), ((2),8), ((-2),11), ((-1),12), ((-1),13), ((-1),14), ((1),15), ((-2),16), ((1),17), ((1),18), ((-1),20), ((2),21), ((1),23), ((-1),25), ((2),27), ((-2),33), ((1),35), ((1),36), ((1),37), ((-2),38), ((-1),42), ((2),44), ((-2),48), ((-1),50), ((-2),53), ((1),58), ((2),59), ((1),60), ((-1),62), ((-1),64), ((1),65), ((-1),67), ((-1),68), ((1),70), ((1),71), ((-1),72), ((2),74)], (-10)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-2),3), ((-2),5), ((2),6), ((2),7), ((1),9), ((-1),11), ((-1),12), ((2),15), ((1),23), ((-2),24), ((1),25), ((-1),28), ((2),31), ((1),32), ((-2),33), ((-1),35), ((-2),36), ((-2),38), ((2),40), ((-2),41), ((1),42), ((-1),43), ((-1),44), ((-1),45), ((-2),46), ((2),47), ((2),48), ((1),51), ((-1),52), ((-2),54), ((1),55), ((1),58), ((-2),59), ((-2),60), ((-1),61), ((2),63), ((-2),65), ((-1),66), ((2),71), ((-1),73), ((2),74)], (-6)), ("GEQ", [((1),0), ((2),2), ((2),4), ((2),5), ((2),7), ((-1),8), ((-1),11), ((-2),12), ((1),15), ((-2),16), ((2),17), ((2),19), ((-1),23), ((-1),25), ((1),26), ((1),28), ((-1),30), ((1),31), ((2),32), ((1),33), ((2),34), ((1),35), ((-1),38), ((1),39), ((1),40), ((-1),41), ((1),42), ((1),43), ((-2),44), ((2),45), ((2),46), ((-2),49), ((2),51), ((-2),54), ((2),55), ((2),56), ((2),57), ((2),58), ((1),60), ((1),61), ((2),62), ((-1),63), ((-2),65), ((2),66), ((2),69), ((-2),72), ((-1),73)], (5)), ("GEQ", [((-2),0), ((-1),1), ((-1),4), ((2),5), ((-2),6), ((-2),7), ((1),8), ((2),10), ((-2),12), ((-2),13), ((1),14), ((1),15), ((1),16), ((-1),18), ((2),20), ((1),21), ((1),27), ((-1),28), ((1),30), ((2),31), ((-1),32), ((-1),33), ((-1),34), ((1),39), ((1),41), ((2),42), ((-1),43), ((-1),44), ((-2),45), ((2),46), ((2),47), ((2),48), ((-1),49), ((1),50), ((-1),51), ((2),52), ((1),56), ((2),57), ((2),58), ((-1),60), ((1),61), ((-1),62), ((-2),64), ((-1),65), ((2),66), ((-1),71), ((-1),74)], (3)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((-1),3), ((-1),4), ((1),5), ((2),6), ((1),7), ((-1),8), ((-1),9), ((1),11), ((-2),12), ((-2),15), ((-1),16), ((-2),17), ((-1),18), ((-1),19), ((1),20), ((-2),21), ((2),23), ((2),27), ((2),28), ((-1),31), ((1),33), ((1),34), ((1),35), ((1),39), ((-2),41), ((-2),44), ((1),46), ((-2),47), ((1),49), ((2),50), ((1),52), ((-1),53), ((1),55), ((1),57), ((1),58), ((1),59), ((2),62), ((-1),65), ((-2),66), ((-2),67), ((1),70), ((-1),72), ((-2),73)], (16)), ("GEQ", [((-2),0), ((1),2), ((-1),4), ((-1),5), ((-1),6), ((-2),7), ((2),8), ((-2),9), ((2),10), ((-2),11), ((-1),12), ((2),14), ((1),15), ((-2),18), ((1),20), ((2),21), ((1),22), ((-1),24), ((-2),25), ((2),26), ((2),27), ((-2),28), ((2),29), ((-1),30), ((-1),32), ((1),35), ((1),36), ((-2),37), ((1),39), ((2),42), ((-2),43), ((-1),45), ((1),46), ((-1),48), ((-2),49), ((-1),50), ((2),51), ((-1),52), ((1),55), ((-2),58), ((1),60), ((2),64), ((2),65), ((1),66), ((2),69), ((-2),70), ((-1),71), ((2),72), ((-1),73)], (-20)), ("GEQ", [((2),0), ((-1),4), ((1),5), ((-2),6), ((-2),8), ((2),9), ((-2),11), ((-1),13), ((-1),15), ((2),16), ((1),17), ((2),19), ((2),22), ((2),23), ((-1),24), ((-2),25), ((1),26), ((2),27), ((2),29), ((2),30), ((1),31), ((-2),32), ((-2),33), ((-2),34), ((-1),35), ((1),36), ((-2),40), ((-2),41), ((2),44), ((1),46), ((-1),48), ((-2),50), ((1),52), ((1),55), ((-2),57), ((2),58), ((1),61), ((2),62), ((1),64), ((-2),68), ((1),69), ((-2),70), ((2),72), ((2),74)], (-46)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),3), ((-2),5), ((2),6), ((2),7), ((1),9), ((-1),10), ((-2),11), ((-2),12), ((2),14), ((-2),15), ((1),18), ((-1),20), ((-2),22), ((2),24), ((-1),25), ((-2),26), ((2),27), ((2),30), ((-2),31), ((1),32), ((-1),34), ((1),35), ((1),36), ((1),37), ((2),38), ((-1),40), ((2),41), ((2),44), ((2),45), ((-2),47), ((-2),48), ((1),52), ((2),53), ((-2),55), ((-2),56), ((2),57), ((1),58), ((2),59), ((1),60), ((-2),61), ((-1),63), ((1),64), ((2),65), ((-2),67), ((-1),69), ((-1),70), ((-2),74)], (-18)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((1),3), ((1),4), ((-1),5), ((2),6), ((2),8), ((2),9), ((2),10), ((-2),11), ((-2),15), ((-1),16), ((-1),17), ((2),18), ((-1),20), ((1),21), ((-2),22), ((-1),23), ((-1),24), ((2),25), ((-1),26), ((-2),28), ((-1),29), ((1),34), ((-1),36), ((-1),38), ((1),40), ((1),42), ((1),44), ((-1),46), ((1),47), ((2),49), ((-1),51), ((1),53), ((2),54), ((2),55), ((-1),56), ((-1),57), ((2),59), ((-2),60), ((1),63), ((-2),65), ((1),67), ((-1),68), ((2),69), ((1),71), ((2),72), ((-1),73)], (-32)), ("GEQ", [((-2),3), ((-1),4), ((1),7), ((-1),13), ((1),15), ((2),18), ((2),19), ((-2),20), ((-1),21), ((1),22), ((1),24), ((-1),25), ((-1),26), ((2),31), ((-2),36), ((-1),37), ((-2),38), ((1),39), ((-2),44), ((2),45), ((1),47), ((1),48), ((-2),50), ((-2),52), ((-1),53), ((2),56), ((-1),57), ((2),59), ((1),60), ((2),61), ((-1),65), ((2),66), ((-1),67), ((2),68), ((1),70), ((1),72), ((1),73), ((-2),74)], (9)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((-2),3), ((2),6), ((-2),7), ((2),10), ((2),11), ((2),12), ((1),14), ((1),15), ((-1),16), ((-1),18), ((1),21), ((1),22), ((2),23), ((1),24), ((2),25), ((2),27), ((2),28), ((1),29), ((1),30), ((2),31), ((1),35), ((-1),36), ((1),37), ((-2),38), ((-2),40), ((-1),42), ((-1),45), ((1),48), ((-2),49), ((1),50), ((2),52), ((-1),53), ((1),54), ((-2),56), ((-2),57), ((1),59), ((2),61), ((1),62), ((2),63), ((2),65), ((-1),66), ((-1),68), ((-2),69), ((1),72)], (-60)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((1),4), ((-2),10), ((-2),11), ((-2),12), ((2),13), ((-2),14), ((1),15), ((1),16), ((-1),17), ((2),21), ((-2),22), ((2),24), ((1),26), ((-2),27), ((1),29), ((1),30), ((-2),33), ((2),34), ((-1),35), ((2),38), ((-1),39), ((2),40), ((1),41), ((1),43), ((-1),44), ((1),46), ((-2),51), ((1),52), ((-2),53), ((-2),54), ((1),55), ((-1),56), ((1),57), ((1),58), ((-1),59), ((-1),60), ((2),62), ((1),63), ((2),64), ((2),66), ((1),67), ((-1),68), ((-1),69), ((-2),70), ((-1),71), ((1),72), ((-2),73)], (31)), ("GEQ", [((1),1), ((1),2), ((2),3), ((-1),5), ((1),6), ((-1),9), ((-1),11), ((1),13), ((-1),14), ((-1),16), ((2),18), ((1),20), ((-2),23), ((-1),24), ((-1),26), ((-1),28), ((-1),29), ((1),31), ((-1),32), ((2),33), ((2),34), ((-1),35), ((2),37), ((-1),39), ((1),42), ((-2),43), ((2),46), ((1),47), ((1),49), ((2),50), ((2),53), ((1),54), ((-2),55), ((2),60), ((1),61), ((-2),62), ((-2),63), ((-2),64), ((-1),66), ((-2),67), ((-1),68), ((1),69), ((2),72), ((-2),73), ((1),74)], (-26)), ("GEQ", [((-2),4), ((2),5), ((2),6), ((-2),7), ((1),8), ((-2),11), ((-1),12), ((-2),13), ((2),15), ((2),16), ((1),17), ((2),18), ((-1),19), ((-2),21), ((-1),24), ((-2),25), ((2),26), ((1),28), ((-1),29), ((-2),30), ((-1),35), ((2),39), ((-1),41), ((1),43), ((1),44), ((2),45), ((-1),46), ((-1),48), ((1),49), ((2),53), ((1),54), ((-1),56), ((2),57), ((2),58), ((2),59), ((1),61), ((-2),63), ((1),64), ((2),65), ((2),66), ((2),69), ((1),70), ((-2),72), ((-1),73)], (42)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((1),4), ((-1),5), ((1),7), ((-1),8), ((1),9), ((1),10), ((-1),11), ((-1),12), ((2),13), ((-2),14), ((-1),16), ((-2),17), ((-1),21), ((-1),22), ((1),24), ((-2),25), ((-1),26), ((2),28), ((1),29), ((2),32), ((-1),33), ((1),34), ((2),36), ((2),37), ((2),38), ((2),39), ((2),41), ((-1),42), ((-1),45), ((1),46), ((-2),47), ((-2),48), ((2),49), ((-2),50), ((-2),51), ((-2),53), ((2),54), ((-2),56), ((1),58), ((-2),61), ((1),63), ((-1),64), ((1),65), ((1),66), ((1),71), ((2),72), ((-2),73), ((2),74)], (3)), ("GEQ", [((2),0), ((-2),3), ((1),4), ((-1),9), ((2),10), ((-1),13), ((-2),14), ((1),15), ((2),17), ((2),18), ((-2),19), ((2),20), ((2),21), ((1),22), ((-1),23), ((2),25), ((-1),27), ((-1),29), ((2),30), ((2),35), ((2),36), ((-2),37), ((1),38), ((-2),39), ((-1),41), ((1),42), ((-2),44), ((-1),45), ((-1),46), ((-1),47), ((2),48), ((-2),49), ((-1),50), ((-2),52), ((-1),53), ((-2),54), ((1),56), ((-2),58), ((-2),59), ((2),60), ((-1),62), ((1),64), ((1),67), ((1),68), ((2),69), ((1),71), ((-2),72), ((-2),74)], (9)), ("GEQ", [((25),0), ((4),1), ((31),2), ((17),3), ((-51),4), ((9),5), ((-29),6), ((37),7), ((-5),9), ((-8),10), ((5),11), ((43),12), ((24),13), ((-43),14), ((-26),15), ((44),16), ((16),17), ((-8),18), ((-2),19), ((6),20), ((34),21), ((13),22), ((-33),23), ((-1),24), ((86),25), ((10),26), ((-41),27), ((-41),28), ((-33),29), ((-33),30), ((31),31), ((-19),32), ((38),33), ((-24),34), ((-55),36), ((14),37), ((-12),38), ((-41),39), ((-7),40), ((13),41), ((-9),42), ((-10),43), ((-29),44), ((-19),45), ((13),46), ((38),47), ((52),48), ((6),49), ((20),50), ((-2),51), ((58),53), ((36),54), ((-6),55), ((-18),56), ((-41),57), ((-40),58), ((-28),59), ((4),60), ((4),61), ((17),62), ((-4),63), ((15),64), ((1),65), ((4),66), ((-14),67), ((8),68), ((-26),69), ((30),70), ((-52),71), ((-16),72), ((12),73), ((-45),74)], (-344)), ("GEQ", [((29),0), ((1),1), ((8),2), ((10),3), ((-8),4), ((24),5), ((-2),6), ((7),7), ((2),8), ((3),9), ((-29),10), ((29),11), ((56),12), ((-1),13), ((-15),14), ((-8),15), ((29),16), ((-14),17), ((-9),18), ((14),19), ((-13),20), ((-10),21), ((10),22), ((22),23), ((-12),24), ((61),25), ((-7),26), ((-33),27), ((-28),28), ((-34),29), ((-61),30), ((-18),31), ((-4),32), ((14),33), ((-6),34), ((-5),35), ((-61),36), ((37),37), ((-40),38), ((-31),39), ((-17),40), ((-4),41), ((-28),42), ((25),43), ((-1),44), ((-16),45), ((-32),46), ((20),47), ((39),48), ((31),49), ((7),50), ((-1),51), ((-7),52), ((30),53), ((11),54), ((-13),55), ((-33),56), ((-10),57), ((-13),58), ((-6),59), ((-15),60), ((22),62), ((10),63), ((-8),64), ((11),65), ((-39),66), ((-20),67), ((4),68), ((-45),69), ((58),70), ((-39),71), ((-22),72), ((28),73), ((-39),74)], (-273)), ("GEQ", [((-119),0), ((1),1), ((-64),2), ((-43),3), ((104),4), ((-82),5), ((12),6), ((-49),7), ((2),9), ((73),10), ((-111),11), ((-194),12), ((-39),13), ((90),14), ((94),15), ((-159),16), ((10),17), ((58),18), ((-35),19), ((36),20), ((-27),21), ((-85),22), ((14),23), ((20),24), ((-284),25), ((-7),26), ((134),27), ((134),28), ((139),29), ((230),30), ((-9),31), ((53),32), ((-126),33), ((44),34), ((1),35), ((248),36), ((-114),37), ((147),38), ((135),39), ((48),40), ((14),41), ((63),42), ((-42),43), ((57),44), ((61),45), ((81),46), ((-89),47), ((-185),48), ((-83),49), ((-61),50), ((-1),51), ((11),52), ((-163),53), ((-82),54), ((69),55), ((116),56), ((87),57), ((91),58), ((92),59), ((21),60), ((-28),61), ((-95),62), ((-9),63), ((21),64), ((-39),65), ((105),66), ((96),67), ((3),68), ((183),69), ((-183),70), ((166),71), ((121),72), ((-110),73), ((152),74)], (1100)), ("GEQ", [((82),0), ((-6),1), ((4),2), ((10),3), ((-93),4), ((87),5), ((49),6), ((17),7), ((16),8), ((2),9), ((-83),10), ((123),11), ((121),12), ((18),13), ((-19),14), ((-118),15), ((154),16), ((4),17), ((-45),18), ((73),19), ((-56),20), ((2),21), ((114),22), ((18),23), ((-23),24), ((179),25), ((14),26), ((-88),27), ((-111),28), ((-103),29), ((-213),30), ((-28),31), ((-31),32), ((113),33), ((-40),34), ((6),35), ((-167),36), ((101),37), ((-127),38), ((-96),39), ((-43),40), ((-36),41), ((-27),42), ((29),43), ((-20),44), ((-30),45), ((-94),46), ((34),47), ((120),48), ((99),49), ((60),50), ((6),51), ((15),52), ((92),53), ((52),54), ((-97),55), ((-80),56), ((-31),57), ((-48),58), ((-64),59), ((-18),60), ((38),61), ((98),62), ((-31),63), ((-37),64), ((89),65), ((-114),66), ((-52),67), ((-35),68), ((-203),69), ((135),70), ((-138),71), ((-137),72), ((106),73), ((-57),74)], (-1210)), ("GEQ", [((57),0), ((18),1), ((25),2), ((37),3), ((25),4), ((38),5), ((-13),6), ((-28),7), ((-29),8), ((-3),9), ((-46),10), ((71),11), ((132),12), ((32),13), ((-53),14), ((-16),15), ((31),16), ((-43),17), ((-35),18), ((-22),19), ((-31),20), ((-14),21), ((-8),22), ((16),23), ((-9),24), ((140),25), ((-26),26), ((-67),27), ((-47),28), ((-89),29), ((-110),30), ((-22),31), ((-36),32), ((28),33), ((45),34), ((-11),35), ((-117),36), ((87),37), ((-51),38), ((-80),39), ((-36),40), ((12),41), ((-59),42), ((47),43), ((-18),44), ((-6),45), ((-68),46), ((24),47), ((98),48), ((49),49), ((35),50), ((-16),51), ((-8),52), ((53),53), ((10),54), ((-16),55), ((-56),56), ((-18),57), ((-28),58), ((-37),59), ((-25),60), ((-26),61), ((38),62), ((34),63), ((-15),64), ((-16),65), ((-103),66), ((-67),67), ((27),68), ((-86),69), ((104),70), ((-64),71), ((-38),72), ((69),73), ((-97),74)], (104)), ("GEQ", [((-96),0), ((-31),1), ((-21),2), ((-65),3), ((134),4), ((-100),5), ((-42),6), ((-12),7), ((-37),8), ((39),9), ((104),10), ((-131),11), ((-194),12), ((-62),13), ((72),14), ((140),15), ((-188),16), ((-36),17), ((42),18), ((-37),19), ((69),20), ((-57),21), ((-110),22), ((27),23), ((24),24), ((-272),25), ((-24),26), ((142),27), ((153),28), ((161),29), ((241),30), ((-6),31), ((50),32), ((-149),33), ((34),34), ((-24),35), ((196),36), ((-123),37), ((135),38), ((163),39), ((63),40), ((-1),41), ((28),42), ((-21),43), ((65),44), ((31),45), ((83),46), ((-83),47), ((-202),48), ((-77),49), ((-107),50), ((-3),51), ((-38),52), ((-125),53), ((-74),54), ((120),55), ((60),56), ((57),57), ((87),58), ((85),59), ((35),60), ((-4),61), ((-99),62), ((24),63), ((-1),64), ((-84),65), ((119),66), ((47),67), ((13),68), ((239),69), ((-147),70), ((200),71), ((152),72), ((-115),73), ((107),74)], (1314)), ("GEQ", [((-20),0), ((30),1), ((-105),2), ((15),3), ((58),4), ((91),5), ((147),6), ((-104),7), ((38),8), ((-6),9), ((-78),10), ((88),11), ((36),12), ((-14),13), ((37),14), ((-71),15), ((57),16), ((-14),17), ((-12),18), ((49),19), ((-116),20), ((-48),21), ((48),22), ((70),23), ((-24),24), ((-17),25), ((-22),26), ((6),27), ((-54),28), ((-64),29), ((-115),30), ((-142),31), ((-3),32), ((32),33), ((72),34), ((25),35), ((23),36), ((88),37), ((-70),38), ((-76),39), ((-27),40), ((-35),41), ((-7),42), ((75),43), ((31),44), ((22),45), ((-142),46), ((-40),47), ((26),48), ((72),49), ((37),50), ((17),51), ((22),52), ((-80),53), ((-43),54), ((-108),55), ((-18),56), ((87),57), ((41),58), ((49),59), ((-74),60), ((-82),61), ((40),62), ((-17),63), ((-36),64), ((51),65), ((-155),66), ((-18),67), ((-62),68), ((-151),69), ((79),70), ((-40),71), ((-65),72), ((33),73), ((44),74)], (359)), ("GEQ", [((-20),0), ((-12),1), ((99),2), ((-21),3), ((-211),4), ((-100),5), ((-100),6), ((158),7), ((35),8), ((-67),9), ((83),10), ((-97),11), ((-91),12), ((66),13), ((-49),14), ((-55),15), ((18),16), ((148),17), ((3),18), ((-43),19), ((121),20), ((133),21), ((28),22), ((-180),23), ((45),24), ((38),25), ((92),26), ((-48),27), ((6),28), ((61),29), ((147),30), ((210),31), ((-12),32), ((88),33), ((-134),34), ((-7),35), ((43),36), ((-138),37), ((109),38), ((16),39), ((27),40), ((46),41), ((89),42), ((-145),43), ((-104),44), ((-25),45), ((234),46), ((57),47), ((6),48), ((-111),49), ((34),50), ((6),51), ((13),52), ((69),53), ((78),54), ((44),55), ((80),56), ((-123),57), ((-108),58), ((-79),59), ((94),60), ((97),61), ((-58),62), ((-95),63), ((111),64), ((33),65), ((222),66), ((109),67), ((34),68), ((101),69), ((-174),70), ((-47),71), ((50),72), ((-49),73), ((40),74)], (-1209)), ("GEQ", [((79),0), ((19),1), ((28),2), ((71),3), ((98),4), ((71),5), ((-79),6), ((-62),7), ((-77),8), ((62),9), ((-59),10), ((33),11), ((168),12), ((7),13), ((-53),14), ((90),15), ((4),16), ((-118),17), ((22),18), ((-21),19), ((-23),20), ((-7),21), ((-52),22), ((94),23), ((-41),24), ((113),25), ((-69),26), ((-17),27), ((-50),28), ((-72),29), ((-138),30), ((-31),31), ((4),32), ((-90),33), ((65),34), ((-5),35), ((-135),36), ((144),37), ((-58),38), ((-33),40), ((11),41), ((-92),42), ((52),43), ((32),44), ((-18),45), ((-101),46), ((35),47), ((81),48), ((41),49), ((-37),50), ((-49),51), ((27),52), ((74),53), ((9),54), ((-5),55), ((-73),56), ((-4),57), ((32),58), ((5),59), ((-54),60), ((-63),61), ((50),62), ((120),63), ((-48),64), ((-81),65), ((-104),66), ((-112),67), ((37),68), ((-20),69), ((161),70), ((-23),71), ((-31),72), ((34),73), ((-178),74)], (524))]
[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]