[("GEQ", [((-2),3), ((-1),4), ((2),5), ((1),6), ((-1),7), ((-2),8), ((1),9), ((2),11), ((-1),12), ((1),13), ((-2),17), ((1),20), ((-1),21), ((-2),22), ((-2),23), ((-2),25), ((1),28), ((2),29), ((-1),30), ((1),31), ((1),34), ((-2),35), ((-2),36), ((-2),39), ((-2),41), ((-2),42), ((-1),45), ((1),47), ((-1),48), ((2),50), ((2),52), ((2),53), ((2),54), ((-1),56), ((-2),58), ((2),59), ((2),60), ((2),61), ((1),63), ((2),65), ((-1),67), ((-2),68), ((-2),69), ((-1),70), ((1),71), ((-2),72), ((2),74)], (15)), ("GEQ", [((-1),4), ((1),5), ((1),6), ((-1),7), ((1),9), ((-2),11), ((2),12), ((1),13), ((1),15), ((-2),16), ((-1),17), ((-2),18), ((-2),20), ((2),21), ((-1),23), ((2),25), ((1),27), ((-2),28), ((-2),29), ((-1),31), ((1),32), ((-2),35), ((-2),37), ((-2),40), ((2),41), ((2),43), ((-2),46), ((-2),48), ((-1),49), ((-2),50), ((-2),54), ((-2),57), ((1),59), ((1),60), ((-1),61), ((-1),63), ((-2),65), ((-1),66), ((2),67), ((-1),68), ((-1),70), ((-2),71), ((2),74)], (6)), ("GEQ", [((-2),0), ((2),2), ((-1),8), ((1),9), ((-2),10), ((-1),11), ((1),12), ((1),13), ((-1),16), ((-2),19), ((2),21), ((-1),23), ((-2),26), ((-1),28), ((1),33), ((-2),34), ((2),35), ((-1),36), ((-1),37), ((-1),38), ((2),39), ((-1),42), ((-1),43), ((2),44), ((-1),47), ((1),49), ((1),52), ((2),54), ((1),56), ((-1),58), ((-2),59), ((-2),62), ((1),64), ((2),65), ((-2),66), ((2),67), ((2),68), ((1),70), ((1),71), ((2),73)], (0)), ("GEQ", [((2),0), ((1),1), ((1),3), ((-2),7), ((-2),9), ((2),10), ((1),11), ((-1),15), ((-2),20), ((-1),21), ((2),22), ((2),23), ((-1),25), ((-2),28), ((-2),29), ((1),30), ((2),31), ((-1),32), ((-2),33), ((2),34), ((1),35), ((-2),37), ((2),38), ((2),43), ((2),44), ((-2),46), ((-1),48), ((-2),49), ((1),51), ((-1),55), ((2),56), ((-2),57), ((-1),59), ((2),60), ((1),61), ((-2),69), ((1),71), ((-1),72), ((2),74)], (-5)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((2),3), ((-1),4), ((-1),5), ((-2),6), ((1),7), ((1),8), ((-2),11), ((-2),12), ((-2),13), ((2),15), ((2),17), ((2),19), ((1),21), ((-1),25), ((1),26), ((1),27), ((-2),29), ((-2),31), ((1),32), ((2),34), ((1),35), ((-2),36), ((-2),37), ((1),38), ((2),39), ((2),40), ((2),41), ((-2),42), ((1),44), ((1),46), ((2),48), ((-2),52), ((2),53), ((2),54), ((-2),55), ((2),56), ((-1),59), ((2),61), ((-1),62), ((2),63), ((2),65), ((1),67), ((-1),68), ((-1),69), ((-2),70), ((-2),74)], (-32)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((2),5), ((1),6), ((-2),8), ((1),9), ((2),10), ((1),11), ((2),14), ((-2),16), ((-1),17), ((-2),19), ((-1),20), ((1),21), ((-1),22), ((1),23), ((-1),25), ((-1),27), ((2),28), ((-1),29), ((2),30), ((1),33), ((2),34), ((2),36), ((-2),38), ((-1),39), ((-2),40), ((-1),41), ((-2),43), ((2),44), ((1),45), ((2),49), ((-2),50), ((-2),51), ((-1),52), ((2),53), ((2),54), ((2),55), ((-1),56), ((1),57), ((-1),59), ((1),60), ((2),61), ((-2),67), ((1),69), ((-1),71), ((1),72), ((-2),73)], (-53)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((2),5), ((2),6), ((1),7), ((-1),10), ((-1),11), ((1),12), ((-1),14), ((1),16), ((2),17), ((-1),18), ((1),19), ((-1),22), ((2),23), ((2),26), ((-2),28), ((-1),31), ((-1),32), ((-2),33), ((2),34), ((1),35), ((2),36), ((1),38), ((-1),40), ((-1),41), ((-2),42), ((2),43), ((-1),45), ((1),46), ((-1),49), ((-1),50), ((1),52), ((-2),55), ((2),56), ((-2),57), ((-2),58), ((1),59), ((1),60), ((1),61), ((-2),62), ((1),63), ((2),64), ((2),66), ((-2),68), ((1),69), ((-1),70), ((-1),72), ((-1),73), ((2),74)], (-10)), ("GEQ", [((-2),0), ((1),2), ((2),3), ((-2),5), ((2),6), ((-1),7), ((2),8), ((-1),12), ((2),16), ((2),17), ((-2),18), ((1),20), ((-1),22), ((2),24), ((-2),25), ((-1),26), ((-1),27), ((-1),28), ((2),29), ((2),31), ((-1),34), ((2),36), ((1),37), ((1),39), ((2),41), ((-2),44), ((-1),45), ((-1),46), ((2),47), ((-2),48), ((-2),50), ((1),51), ((1),52), ((-2),54), ((-1),55), ((-1),56), ((-2),58), ((-1),59), ((-2),61), ((1),63), ((2),66), ((-2),67), ((-2),68), ((2),72), ((1),73), ((2),74)], (-4)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((1),3), ((1),4), ((-1),5), ((-1),6), ((2),7), ((1),9), ((-2),10), ((-1),11), ((2),16), ((-2),19), ((1),20), ((1),21), ((1),23), ((-2),25), ((-2),26), ((-2),29), ((1),30), ((-1),31), ((2),32), ((2),33), ((-1),34), ((-1),35), ((-2),36), ((-2),42), ((1),43), ((1),45), ((-1),46), ((1),48), ((2),50), ((1),51), ((-2),52), ((1),53), ((-1),54), ((-1),59), ((2),60), ((-2),62), ((-1),64), ((-2),65), ((1),66), ((2),67), ((-1),69), ((1),73), ((-1),74)], (-5)), ("GEQ", [((2),0), ((2),2), ((-1),3), ((-2),4), ((2),6), ((1),7), ((2),9), ((1),11), ((1),12), ((2),13), ((-2),14), ((1),15), ((-1),16), ((-2),18), ((-2),19), ((1),20), ((1),21), ((2),23), ((-1),24), ((-1),25), ((2),26), ((2),27), ((-2),28), ((-2),30), ((2),31), ((1),32), ((1),35), ((-2),36), ((-1),37), ((2),39), ((-1),41), ((-1),42), ((2),43), ((-2),44), ((-1),45), ((2),47), ((1),48), ((2),49), ((-2),50), ((-2),52), ((-2),53), ((2),56), ((-1),59), ((-1),62), ((-1),63), ((-1),65), ((-1),66), ((-2),67), ((1),68), ((-2),69), ((-2),70), ((1),71), ((2),72), ((-1),73), ((1),74)], (11)), ("GEQ", [((2),0), ((1),2), ((1),4), ((-2),5), ((2),6), ((2),7), ((-2),10), ((2),11), ((1),14), ((-2),16), ((2),18), ((-1),19), ((-1),22), ((-1),24), ((-1),25), ((2),26), ((-1),28), ((2),30), ((-1),31), ((2),32), ((-2),35), ((1),38), ((2),39), ((2),40), ((-1),41), ((-2),42), ((-1),43), ((-1),45), ((2),46), ((1),47), ((-2),48), ((-1),49), ((-2),53), ((-2),54), ((-1),55), ((2),57), ((-1),58), ((1),59), ((2),60), ((-2),65), ((2),67), ((1),68), ((2),70), ((1),71), ((2),72), ((1),73), ((-2),74)], (21)), ("GEQ", [((-1),0), ((-2),4), ((2),5), ((-1),6), ((2),7), ((1),10), ((-1),11), ((-1),13), ((2),14), ((-2),15), ((-2),16), ((-2),17), ((2),19), ((2),20), ((1),22), ((1),23), ((-2),24), ((1),25), ((-2),27), ((-1),28), ((2),29), ((2),30), ((-1),31), ((1),32), ((1),33), ((2),34), ((-2),35), ((-1),36), ((2),37), ((-1),40), ((2),42), ((-2),46), ((1),47), ((2),48), ((-2),49), ((2),51), ((2),53), ((1),55), ((-1),56), ((1),57), ((1),58), ((-2),59), ((1),60), ((1),61), ((-2),62), ((-1),63), ((-1),64), ((-1),65), ((-1),67), ((-2),68), ((-1),69), ((-1),71), ((-1),73), ((2),74)], (-27)), ("GEQ", [((-1),3), ((-2),4), ((-2),6), ((2),8), ((-1),10), ((-2),11), ((2),13), ((-2),14), ((2),15), ((2),17), ((-1),18), ((1),20), ((-2),21), ((-2),23), ((2),24), ((-2),25), ((1),30), ((-1),31), ((-1),32), ((-2),33), ((2),35), ((2),37), ((2),38), ((2),39), ((1),40), ((-2),41), ((-1),43), ((-1),46), ((1),47), ((1),48), ((2),51), ((-1),54), ((-2),56), ((2),58), ((1),59), ((-1),60), ((2),63), ((2),64), ((1),67), ((2),72), ((-2),73)], (14)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-1),3), ((-2),9), ((-2),10), ((-1),11), ((-2),13), ((-2),14), ((2),15), ((-2),16), ((-2),19), ((-1),23), ((1),25), ((1),29), ((1),31), ((-2),33), ((1),35), ((-1),39), ((-2),40), ((1),41), ((-2),42), ((-1),44), ((-2),45), ((2),46), ((-1),49), ((-1),50), ((-1),51), ((2),53), ((2),54), ((-1),55), ((1),57), ((1),59), ((-1),60), ((-2),62), ((1),64), ((1),65), ((-1),66), ((1),67), ((-1),68), ((1),69)], (4)), ("GEQ", [((-1),0), ((2),3), ((2),4), ((2),6), ((-1),7), ((1),8), ((2),11), ((-2),12), ((1),13), ((1),14), ((1),15), ((-2),16), ((2),19), ((1),20), ((-1),21), ((-2),24), ((-2),25), ((-2),26), ((2),27), ((1),29), ((-1),32), ((2),33), ((-1),35), ((2),36), ((-1),37), ((1),38), ((1),39), ((-1),40), ((1),41), ((-2),42), ((-2),43), ((1),45), ((-1),47), ((-1),48), ((-1),49), ((2),50), ((1),51), ((1),53), ((-1),58), ((2),60), ((1),61), ((-1),63), ((2),64), ((-1),65), ((-1),71), ((2),72), ((1),73)], (-12)), ("GEQ", [((2),1), ((-2),2), ((2),5), ((2),7), ((2),9), ((-1),10), ((2),12), ((2),14), ((-2),16), ((1),17), ((-1),18), ((-2),19), ((1),21), ((-2),23), ((-1),26), ((2),27), ((2),29), ((-1),30), ((-2),31), ((2),32), ((2),33), ((2),34), ((-1),37), ((1),38), ((1),39), ((-2),40), ((2),41), ((-2),42), ((1),46), ((-2),47), ((-1),48), ((2),50), ((1),52), ((2),57), ((1),59), ((-2),60), ((-1),61), ((-1),62), ((-2),64), ((-2),66), ((-1),67), ((-1),68), ((2),69), ((2),71), ((-1),73)], (21)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((1),4), ((2),6), ((-1),7), ((1),8), ((-2),10), ((2),11), ((1),12), ((1),15), ((-1),17), ((-2),21), ((-2),22), ((-2),23), ((-1),25), ((2),27), ((2),28), ((2),30), ((1),32), ((-1),34), ((1),35), ((-1),36), ((2),37), ((2),38), ((1),39), ((-2),40), ((-2),41), ((2),45), ((1),46), ((2),47), ((-2),49), ((-2),50), ((-1),52), ((1),55), ((2),56), ((-2),57), ((2),58), ((1),59), ((-1),61), ((1),62), ((2),66), ((2),67), ((1),68), ((1),69), ((2),70), ((-2),71), ((1),73)], (15)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((-2),5), ((2),6), ((-1),7), ((-1),8), ((1),10), ((1),11), ((-1),12), ((-1),13), ((-1),15), ((2),16), ((2),17), ((1),18), ((2),19), ((-2),20), ((-1),22), ((-2),24), ((1),25), ((1),26), ((2),27), ((-1),28), ((-2),30), ((2),31), ((-1),32), ((-2),33), ((-1),36), ((2),38), ((1),40), ((2),41), ((-1),43), ((-1),46), ((-2),47), ((-1),48), ((1),49), ((1),50), ((-2),51), ((-2),55), ((-2),56), ((-1),57), ((-1),58), ((-2),59), ((-1),60), ((-1),61), ((-1),63), ((2),64), ((2),66), ((-2),68), ((-2),71), ((-2),72), ((1),73), ((1),74)], (17)), ("GEQ", [((1),0), ((1),3), ((-2),5), ((1),9), ((-1),10), ((2),12), ((-1),13), ((2),14), ((2),15), ((-2),16), ((-1),20), ((-2),23), ((1),24), ((-2),25), ((-2),26), ((-1),27), ((2),29), ((-2),30), ((-2),32), ((1),34), ((2),37), ((2),40), ((1),41), ((-2),42), ((-2),43), ((-1),44), ((-2),48), ((-2),50), ((2),52), ((-1),53), ((-1),55), ((-2),56), ((-1),57), ((-1),60), ((1),62), ((2),66), ((-1),67), ((1),70), ((-2),74)], (34)), ("GEQ", [((1),2), ((1),3), ((-2),5), ((-2),6), ((1),7), ((2),8), ((2),13), ((-1),16), ((-2),17), ((2),19), ((1),22), ((1),24), ((1),26), ((1),28), ((2),31), ((-2),33), ((-1),36), ((-2),37), ((-1),38), ((-1),40), ((1),44), ((-2),47), ((-1),48), ((1),49), ((-2),52), ((1),53), ((2),54), ((-2),55), ((-2),58), ((1),62), ((2),63), ((-2),64), ((-2),65), ((-1),67), ((1),68), ((1),69), ((1),71), ((2),73), ((-1),74)], (-8)), ("GEQ", [((1),0), ((-1),2), ((-1),4), ((2),6), ((-2),7), ((-1),9), ((1),14), ((2),17), ((2),19), ((2),20), ((2),21), ((1),25), ((1),26), ((1),27), ((-1),28), ((2),29), ((2),30), ((-2),31), ((-1),34), ((-2),35), ((-2),38), ((1),39), ((-2),40), ((-1),41), ((2),43), ((-2),44), ((-1),45), ((1),48), ((2),49), ((1),51), ((-2),54), ((-2),58), ((1),59), ((2),62), ((-2),63), ((-2),64), ((-2),65), ((-1),67), ((-1),68), ((1),70), ((-1),71), ((1),73), ((1),74)], (2)), ("GEQ", [((2),0), ((1),1), ((2),3), ((2),4), ((2),5), ((-2),10), ((-2),13), ((-1),15), ((2),16), ((2),17), ((-1),18), ((1),19), ((-1),20), ((-1),21), ((1),24), ((2),25), ((1),26), ((2),27), ((1),28), ((2),30), ((1),31), ((-2),32), ((1),35), ((2),36), ((2),37), ((2),40), ((1),41), ((2),42), ((-1),45), ((1),46), ((-1),47), ((1),48), ((-2),49), ((-2),50), ((-2),51), ((-2),52), ((1),54), ((2),55), ((1),56), ((-1),57), ((-1),61), ((-2),63), ((2),64), ((1),69), ((-1),72)], (-33)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((1),3), ((2),4), ((-2),6), ((1),7), ((2),8), ((2),9), ((-1),10), ((-2),12), ((-1),13), ((1),16), ((1),17), ((-1),18), ((1),20), ((1),21), ((2),22), ((1),23), ((1),24), ((1),29), ((-1),31), ((1),32), ((-1),36), ((2),37), ((-2),38), ((-2),39), ((2),40), ((2),41), ((-1),45), ((2),46), ((1),51), ((2),52), ((-2),53), ((-1),54), ((1),55), ((2),56), ((-1),59), ((1),61), ((2),63), ((1),66), ((-2),67), ((-2),68), ((1),69), ((-1),71), ((1),72), ((-1),74)], (-2)), ("GEQ", [((2),1), ((2),2), ((-2),4), ((-2),6), ((2),7), ((1),9), ((1),10), ((1),11), ((2),12), ((2),13), ((-2),18), ((-2),19), ((-2),24), ((-2),27), ((-1),29), ((2),30), ((-2),35), ((-1),36), ((-2),38), ((1),40), ((-1),41), ((-1),42), ((-2),43), ((-1),44), ((-1),47), ((1),48), ((-1),49), ((-2),53), ((-1),55), ((-2),58), ((-2),59), ((2),60), ((-2),63), ((-1),66), ((1),68), ((2),69), ((-2),71), ((1),73), ((-2),74)], (-6)), ("GEQ", [((-2),0), ((-2),1), ((2),4), ((2),5), ((2),7), ((-1),8), ((2),9), ((2),10), ((-2),11), ((2),15), ((-1),18), ((2),21), ((2),24), ((-2),30), ((-1),31), ((-2),32), ((2),34), ((-1),36), ((-1),37), ((2),39), ((2),40), ((2),44), ((-1),45), ((2),46), ((1),48), ((-1),49), ((-2),50), ((2),52), ((-1),53), ((-2),54), ((1),55), ((-1),56), ((-1),57), ((-2),58), ((2),59), ((1),61), ((-1),63), ((-2),65), ((2),66), ((1),73)], (-45)), ("GEQ", [((-1),0), ((2),4), ((2),5), ((2),7), ((-2),8), ((-1),9), ((-1),12), ((1),14), ((-2),15), ((2),16), ((-1),17), ((2),18), ((-2),19), ((1),20), ((2),22), ((-1),23), ((-2),24), ((-1),25), ((2),28), ((2),29), ((-1),31), ((-2),33), ((-1),34), ((-2),36), ((1),37), ((2),41), ((-2),42), ((2),45), ((-1),46), ((1),49), ((2),51), ((-2),52), ((-2),53), ((2),54), ((-2),55), ((2),56), ((1),62), ((-2),63), ((-2),64), ((-2),65), ((-1),67), ((-2),68), ((1),71), ((1),72), ((-1),73)], (-23)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-1),4), ((1),5), ((-1),9), ((2),10), ((-1),11), ((-2),12), ((2),14), ((-1),15), ((2),16), ((-2),17), ((-1),18), ((2),19), ((-1),20), ((-1),22), ((1),23), ((-1),25), ((1),28), ((-2),30), ((1),32), ((-2),33), ((-2),34), ((2),36), ((-2),39), ((-2),40), ((2),41), ((2),42), ((-2),44), ((1),45), ((2),47), ((-1),48), ((1),49), ((-1),52), ((-1),53), ((-2),54), ((-2),55), ((2),57), ((-1),61), ((-1),62), ((2),63), ((2),65), ((1),68), ((1),69), ((2),70), ((-1),71), ((2),73), ((1),74)], (-7)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((2),4), ((-2),6), ((-1),7), ((-2),8), ((-2),9), ((2),10), ((-1),12), ((1),13), ((-1),14), ((-1),17), ((1),18), ((-2),19), ((-2),20), ((1),21), ((-2),22), ((2),23), ((1),24), ((-2),29), ((2),31), ((1),36), ((-2),38), ((2),39), ((-2),40), ((1),41), ((-1),42), ((-2),44), ((-1),46), ((-1),47), ((2),48), ((2),49), ((-1),52), ((1),56), ((1),57), ((-2),58), ((-2),59), ((1),60), ((2),61), ((-1),63), ((2),66), ((2),68), ((-2),69), ((1),70), ((-2),72)], (-10)), ("GEQ", [((-1),1), ((-1),2), ((1),3), ((1),4), ((-1),5), ((2),7), ((2),8), ((1),13), ((-1),14), ((1),15), ((1),17), ((-1),18), ((1),19), ((1),20), ((1),22), ((-2),23), ((2),25), ((-1),26), ((-1),28), ((-1),29), ((-2),31), ((-2),34), ((-2),35), ((2),36), ((1),38), ((2),42), ((1),45), ((-2),47), ((1),48), ((2),49), ((2),51), ((-2),53), ((-2),54), ((-1),55), ((-1),57), ((2),59), ((-1),61), ((-1),62), ((2),63), ((-2),65), ((-1),67), ((2),68), ((2),69), ((1),71), ((2),72), ((-1),73)], (18)), ("GEQ", [((-2),0), ((2),3), ((-2),4), ((-1),5), ((-1),6), ((2),10), ((1),11), ((2),13), ((1),14), ((-2),15), ((-1),16), ((2),18), ((-2),19), ((2),21), ((-1),22), ((-1),23), ((-2),24), ((-1),26), ((2),27), ((-1),28), ((2),29), ((2),30), ((-1),32), ((-1),34), ((-2),35), ((1),40), ((1),41), ((1),42), ((-2),44), ((-2),45), ((1),46), ((-1),48), ((1),51), ((-2),54), ((-2),58), ((-2),59), ((-2),60), ((-1),62), ((1),63), ((-2),64), ((-1),65), ((2),67), ((-1),69), ((-1),70), ((2),71), ((2),72), ((-2),73), ((-1),74)], (-11)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((-1),5), ((-1),7), ((-2),8), ((-1),12), ((-2),13), ((1),15), ((-1),16), ((1),21), ((-2),22), ((2),26), ((2),27), ((1),28), ((2),30), ((2),33), ((-1),36), ((-2),38), ((1),39), ((-2),41), ((1),43), ((2),44), ((2),45), ((2),47), ((2),48), ((2),49), ((-2),50), ((1),51), ((-1),53), ((-1),54), ((2),55), ((-2),57), ((-2),58), ((-2),59), ((2),61), ((-2),64), ((2),66), ((-2),69), ((1),70), ((2),73)], (-15)), ("GEQ", [((2),0), ((2),2), ((-1),4), ((-1),7), ((2),8), ((-1),9), ((-2),11), ((2),12), ((1),14), ((1),15), ((1),17), ((-1),18), ((1),20), ((-1),23), ((-2),24), ((1),26), ((-2),28), ((1),30), ((2),35), ((2),37), ((1),38), ((2),39), ((2),42), ((-1),43), ((1),44), ((-1),47), ((1),48), ((-2),49), ((1),51), ((2),54), ((-2),55), ((-1),56), ((-2),58), ((2),60), ((-1),61), ((-2),62), ((2),63), ((1),65), ((2),67), ((2),68), ((-1),71), ((1),72), ((-2),74)], (4)), ("GEQ", [((1),0), ((-2),1), ((-2),7), ((-2),8), ((-1),9), ((-1),10), ((1),11), ((-2),12), ((-1),13), ((-2),14), ((2),15), ((2),16), ((2),18), ((1),19), ((-1),20), ((1),21), ((-1),25), ((2),26), ((1),27), ((-1),28), ((1),29), ((1),30), ((-1),32), ((1),35), ((1),36), ((-1),37), ((1),38), ((-1),39), ((-1),40), ((1),41), ((-2),42), ((1),43), ((-2),45), ((-1),47), ((2),48), ((-2),52), ((-1),53), ((1),55), ((-1),57), ((-2),59), ((2),60), ((1),61), ((-2),69), ((2),70), ((2),72), ((-1),74)], (-37)), ("GEQ", [((1),1), ((-2),3), ((1),4), ((-1),5), ((-1),6), ((-2),7), ((-1),9), ((-2),11), ((-1),13), ((-2),14), ((2),17), ((-2),18), ((-2),21), ((1),22), ((2),24), ((1),26), ((2),27), ((1),29), ((1),32), ((2),34), ((-1),35), ((2),38), ((-1),39), ((-2),43), ((-2),45), ((2),51), ((-2),53), ((-2),54), ((-2),55), ((2),56), ((-2),59), ((-2),60), ((-2),62), ((-1),65), ((-1),66), ((-1),67), ((-1),69), ((-2),70), ((-1),72), ((1),73)], (42)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((1),4), ((-2),8), ((2),10), ((-2),11), ((2),12), ((2),13), ((1),14), ((1),16), ((1),18), ((1),21), ((1),22), ((-2),24), ((1),28), ((-2),29), ((2),30), ((-1),31), ((-2),33), ((-2),34), ((-1),36), ((-1),37), ((2),39), ((1),40), ((1),44), ((-2),46), ((2),47), ((-2),51), ((-1),52), ((2),53), ((1),54), ((1),55), ((-1),56), ((-1),58), ((-2),60), ((-2),62), ((1),63), ((-1),65), ((2),66), ((2),67), ((-1),68), ((1),70), ((-1),72), ((-2),74)], (-58)), ("GEQ", [((-2),1), ((1),6), ((1),7), ((-2),10), ((-1),11), ((2),12), ((-2),13), ((2),14), ((1),15), ((-2),16), ((-2),17), ((2),18), ((-1),20), ((-2),21), ((-2),22), ((1),23), ((-1),27), ((1),28), ((-1),32), ((1),33), ((2),34), ((1),36), ((2),39), ((2),40), ((-2),41), ((-2),42), ((2),43), ((-2),44), ((1),45), ((-2),46), ((-2),47), ((-1),49), ((-1),50), ((1),54), ((-2),55), ((-2),57), ((2),58), ((-2),60), ((-1),61), ((-1),62), ((2),63), ((-2),64), ((-2),65), ((1),66), ((-2),68), ((2),69), ((1),73), ((-1),74)], (24)), ("GEQ", [((-2),0), ((-2),1), ((1),5), ((1),8), ((-1),9), ((2),11), ((2),13), ((2),14), ((1),15), ((2),16), ((1),18), ((2),21), ((2),23), ((1),24), ((-1),25), ((-1),26), ((1),27), ((-1),32), ((1),33), ((1),35), ((-1),36), ((-1),37), ((-2),40), ((-2),43), ((-1),45), ((-2),46), ((-2),48), ((-1),51), ((-1),52), ((-1),53), ((2),61), ((-2),64), ((-2),65), ((-2),71), ((2),72)], (-22)), ("GEQ", [((-2),2), ((1),5), ((-2),7), ((2),8), ((1),9), ((2),11), ((2),12), ((1),13), ((-1),14), ((2),15), ((-2),16), ((2),19), ((2),21), ((-1),22), ((-1),23), ((2),24), ((1),27), ((-2),29), ((2),33), ((1),34), ((2),35), ((1),36), ((1),37), ((-2),38), ((-1),39), ((-2),40), ((-1),42), ((2),44), ((1),45), ((1),47), ((-2),48), ((1),50), ((1),51), ((2),53), ((-2),54), ((2),55), ((-1),56), ((1),57), ((-2),60), ((-2),62), ((2),63), ((-2),64), ((1),66), ((1),67), ((-1),70), ((-1),72)], (-28)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((-1),5), ((-1),8), ((2),9), ((-2),11), ((-2),12), ((1),13), ((-1),14), ((-2),17), ((-1),21), ((-1),23), ((1),25), ((2),27), ((-1),28), ((2),30), ((2),31), ((2),32), ((-2),33), ((2),37), ((1),38), ((-2),39), ((1),40), ((-1),41), ((2),42), ((-1),45), ((2),46), ((1),47), ((2),49), ((-1),50), ((1),51), ((1),52), ((-2),53), ((1),55), ((2),56), ((-1),59), ((-2),64), ((-1),66), ((2),67), ((1),69), ((1),70), ((-1),72), ((-1),73), ((-2),74)], (29)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((-2),4), ((2),5), ((-1),7), ((1),8), ((2),9), ((1),10), ((-1),12), ((1),17), ((1),19), ((-2),20), ((1),21), ((-1),22), ((-2),23), ((1),24), ((-2),25), ((1),26), ((1),27), ((2),28), ((1),29), ((1),30), ((1),34), ((-1),35), ((-1),36), ((-2),39), ((1),40), ((2),44), ((-2),45), ((-1),47), ((1),49), ((-2),50), ((-1),51), ((-1),52), ((-1),55), ((-1),58), ((-2),59), ((1),60), ((-1),61), ((-2),62), ((-2),63), ((-2),64), ((-1),65), ((-2),67), ((2),71), ((2),74)], (-45)), ("GEQ", [((-1),0), ((2),3), ((2),8), ((1),9), ((1),11), ((-1),12), ((-2),14), ((1),15), ((-1),16), ((2),18), ((1),20), ((2),21), ((1),22), ((1),23), ((-1),24), ((-1),25), ((-2),29), ((1),30), ((1),31), ((1),32), ((-2),34), ((-1),36), ((2),37), ((-1),39), ((1),43), ((1),44), ((2),46), ((-1),49), ((2),50), ((2),53), ((2),54), ((1),55), ((1),56), ((-1),58), ((1),59), ((2),60), ((-1),62), ((2),63), ((1),64), ((-1),65), ((-2),66), ((-1),70), ((-1),71), ((-2),73), ((2),74)], (-27)), ("GEQ", [((-1),1), ((-1),2), ((-1),12), ((2),13), ((-2),15), ((-1),17), ((2),18), ((1),22), ((-2),24), ((1),25), ((-1),27), ((-1),28), ((-2),30), ((-2),34), ((-1),37), ((-1),39), ((2),40), ((2),41), ((2),42), ((2),43), ((-2),45), ((-2),49), ((1),50), ((2),51), ((-1),53), ((-1),55), ((-1),57), ((-1),58), ((-2),59), ((-1),61), ((2),62), ((-1),66), ((-1),68), ((2),69), ((1),72), ((-1),73)], (-24)), ("GEQ", [((1),1), ((1),2), ((-2),3), ((-1),4), ((1),6), ((2),7), ((1),8), ((1),11), ((-2),13), ((1),14), ((-2),16), ((-1),18), ((2),19), ((2),20), ((2),22), ((-1),26), ((-1),27), ((-1),28), ((1),30), ((1),31), ((1),35), ((1),38), ((2),41), ((-2),42), ((-2),43), ((-2),44), ((2),46), ((-2),48), ((-2),51), ((-1),52), ((1),54), ((1),55), ((1),57), ((-2),58), ((-1),59), ((-1),60), ((-2),63), ((-2),64), ((2),65), ((1),70), ((-1),72), ((-1),73), ((-1),74)], (28)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((1),4), ((-1),5), ((-1),7), ((-2),8), ((2),9), ((2),11), ((-1),13), ((1),15), ((-1),17), ((-2),18), ((-1),19), ((-1),20), ((1),21), ((-1),22), ((1),23), ((1),24), ((1),25), ((1),26), ((-1),27), ((-1),29), ((-2),30), ((-2),31), ((-2),32), ((2),33), ((-1),35), ((-2),36), ((-2),38), ((-1),39), ((-2),40), ((2),41), ((-2),42), ((1),43), ((-1),45), ((1),46), ((2),47), ((-1),50), ((-1),51), ((-2),53), ((1),54), ((-2),56), ((2),61), ((-2),62), ((2),63), ((-1),65), ((2),66), ((-1),68), ((2),69), ((1),70), ((-2),71), ((-1),73), ((2),74)], (-15)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((1),3), ((-2),4), ((-1),8), ((2),10), ((-2),11), ((-1),15), ((-1),16), ((-1),17), ((2),18), ((-1),19), ((2),20), ((2),21), ((-2),22), ((1),23), ((2),26), ((-1),27), ((-2),29), ((-2),32), ((1),33), ((2),34), ((2),36), ((1),38), ((2),39), ((-1),41), ((-2),42), ((1),43), ((-2),45), ((2),47), ((2),49), ((-1),51), ((-1),52), ((2),54), ((-2),55), ((-2),59), ((1),60), ((-2),61), ((1),62), ((1),65), ((1),66), ((2),67), ((1),68), ((2),69), ((-2),72), ((-2),73), ((-1),74)], (-9)), ("GEQ", [((2),0), ((1),2), ((1),5), ((2),8), ((-2),9), ((-2),11), ((-1),12), ((-2),14), ((-2),18), ((-1),20), ((-1),21), ((-2),22), ((1),23), ((2),24), ((1),26), ((-2),27), ((-1),30), ((-2),31), ((-1),32), ((-1),33), ((2),34), ((1),35), ((1),36), ((-2),37), ((-1),38), ((1),43), ((-2),44), ((-2),46), ((2),47), ((-2),48), ((1),50), ((-1),51), ((1),53), ((-2),55), ((2),56), ((-2),57), ((1),60), ((1),62), ((2),64), ((-1),65), ((1),66), ((2),68), ((1),69), ((-1),70), ((-1),73), ((1),74)], (19)), ("GEQ", [((1),2), ((-1),3), ((-2),4), ((-2),6), ((2),7), ((-2),8), ((-2),9), ((1),12), ((2),13), ((2),14), ((-1),18), ((1),19), ((2),22), ((2),26), ((-2),27), ((-1),29), ((1),30), ((-1),35), ((2),37), ((2),39), ((-2),41), ((-1),44), ((2),45), ((-2),46), ((-2),47), ((2),50), ((-1),51), ((-2),54), ((1),55), ((-1),57), ((-1),58), ((1),59), ((-1),60), ((1),64), ((-2),65), ((2),69), ((2),72), ((-2),74)], (8)), ("GEQ", [((2),0), ((1),3), ((2),4), ((-2),5), ((-2),7), ((2),8), ((2),11), ((-1),14), ((2),16), ((2),18), ((2),19), ((1),21), ((2),22), ((2),23), ((-1),25), ((-1),26), ((2),29), ((1),30), ((1),33), ((-1),34), ((-1),35), ((-1),36), ((-2),37), ((1),38), ((-1),40), ((2),43), ((-2),45), ((1),46), ((2),47), ((-2),50), ((-2),51), ((1),52), ((1),53), ((2),54), ((2),55), ((-1),56), ((-1),58), ((2),59), ((-2),60), ((2),61), ((-1),62), ((-2),63), ((-2),64), ((-1),67), ((-2),68), ((-2),70), ((-1),72), ((2),73)], (-34)), ("GEQ", [((2),1), ((2),3), ((-1),4), ((-1),8), ((-2),9), ((1),10), ((1),11), ((-1),14), ((-1),15), ((-2),16), ((1),17), ((2),18), ((-1),21), ((2),23), ((1),24), ((-1),25), ((-1),27), ((2),28), ((-1),29), ((-1),30), ((2),31), ((-2),33), ((2),36), ((2),38), ((-1),39), ((-1),40), ((1),44), ((2),45), ((1),50), ((2),51), ((-1),52), ((2),53), ((-2),54), ((-1),56), ((-1),60), ((2),66), ((1),67), ((-1),69), ((-1),70), ((-1),74)], (-1)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((-1),5), ((2),7), ((2),8), ((-1),10), ((-1),13), ((-1),14), ((-1),15), ((-1),18), ((1),20), ((-1),21), ((2),22), ((-1),26), ((-2),30), ((2),31), ((1),32), ((2),33), ((-2),35), ((-1),37), ((-1),38), ((-1),39), ((1),41), ((2),43), ((-1),44), ((2),47), ((-1),48), ((-1),49), ((2),50), ((2),53), ((-1),54), ((1),55), ((-1),57), ((2),58), ((1),59), ((1),61), ((1),64), ((-2),66), ((1),67), ((-2),70), ((2),71)], (21)), ("GEQ", [((1),5), ((-2),7), ((1),10), ((-1),11), ((2),12), ((-1),13), ((-1),14), ((-1),17), ((-2),20), ((-2),23), ((1),26), ((-2),29), ((2),31), ((-2),32), ((1),34), ((-1),37), ((-1),39), ((2),40), ((-1),41), ((-1),43), ((-2),45), ((2),46), ((2),48), ((1),49), ((-2),50), ((-1),52), ((1),54), ((2),55), ((-1),56), ((-2),58), ((-1),61), ((-1),62), ((-2),63), ((-1),64), ((2),66), ((-2),67)], (-42)), ("GEQ", [((-2),0), ((-2),2), ((1),3), ((1),4), ((2),6), ((-2),8), ((2),9), ((-2),10), ((2),11), ((-1),12), ((1),13), ((-1),14), ((-1),15), ((2),16), ((-2),20), ((1),22), ((1),23), ((-2),24), ((2),25), ((-2),28), ((-2),30), ((2),32), ((1),35), ((1),40), ((-1),42), ((1),43), ((-1),45), ((1),46), ((-1),47), ((-1),48), ((-1),49), ((1),51), ((1),54), ((-1),55), ((2),56), ((1),57), ((-1),62), ((1),64), ((-2),65), ((1),66), ((-2),68), ((2),69), ((1),70), ((2),71), ((-1),73)], (-8)), ("GEQ", [((1),0), ((-2),1), ((-2),4), ((-2),5), ((-2),7), ((2),8), ((-1),10), ((-1),11), ((-2),12), ((-1),14), ((-1),15), ((1),16), ((2),17), ((-2),20), ((-1),21), ((-1),23), ((-1),24), ((-1),27), ((-2),28), ((-2),29), ((1),30), ((-2),31), ((2),32), ((-2),33), ((-2),34), ((2),35), ((-1),38), ((-1),39), ((2),47), ((2),48), ((2),49), ((1),51), ((-2),52), ((-1),53), ((1),55), ((-1),57), ((-2),58), ((2),59), ((-2),61), ((1),62), ((-2),63), ((2),64), ((2),65), ((1),67), ((1),68), ((-2),70), ((-1),72), ((-2),73)], (10)), ("GEQ", [((1),1), ((-2),3), ((-2),4), ((-1),6), ((1),7), ((1),10), ((2),12), ((2),16), ((-2),17), ((2),18), ((-1),19), ((-2),20), ((-2),21), ((-2),23), ((1),24), ((-2),25), ((1),26), ((1),27), ((-2),29), ((2),30), ((1),31), ((1),33), ((2),34), ((-2),36), ((-2),37), ((-2),38), ((-1),40), ((-2),43), ((-1),44), ((-1),47), ((-1),49), ((-2),50), ((2),53), ((-1),56), ((-2),57), ((1),58), ((1),59), ((-2),60), ((-2),61), ((-2),63), ((-1),65), ((2),68), ((-1),69), ((1),70), ((2),72), ((-2),74)], (-16)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((2),3), ((-2),4), ((-2),5), ((-2),7), ((2),9), ((-1),10), ((-1),13), ((2),14), ((1),15), ((-2),16), ((-1),19), ((2),20), ((-1),21), ((-1),23), ((2),25), ((2),26), ((2),28), ((2),29), ((2),30), ((-1),32), ((1),33), ((1),35), ((-1),37), ((-2),39), ((2),40), ((-2),41), ((2),42), ((-1),43), ((2),44), ((-2),45), ((-2),46), ((-1),47), ((-2),50), ((1),51), ((-1),53), ((-2),54), ((1),55), ((-2),57), ((-2),58), ((-2),59), ((-1),61), ((1),66), ((2),67), ((2),69), ((-2),70), ((1),72), ((-2),74)], (-14)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-2),3), ((-2),5), ((1),10), ((1),12), ((1),15), ((-2),16), ((-1),17), ((2),18), ((1),19), ((-2),20), ((2),21), ((1),22), ((-2),27), ((-1),31), ((-2),32), ((2),33), ((-1),34), ((-1),36), ((2),37), ((1),38), ((-1),42), ((-1),43), ((1),44), ((-2),45), ((-2),46), ((-2),48), ((1),49), ((-2),51), ((-2),52), ((1),56), ((-1),57), ((-1),58), ((2),59), ((1),65), ((2),66), ((-1),67), ((2),68), ((2),72), ((2),73), ((-1),74)], (44)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((-2),5), ((1),6), ((-1),8), ((-2),11), ((-2),13), ((1),14), ((1),15), ((-2),17), ((1),19), ((-1),20), ((-2),22), ((-1),23), ((1),24), ((2),32), ((-2),33), ((1),34), ((-2),36), ((2),38), ((1),41), ((-1),42), ((1),43), ((2),45), ((-2),48), ((1),51), ((1),55), ((1),56), ((1),57), ((-2),58), ((2),61), ((-2),64), ((-2),65), ((-2),66), ((1),67), ((-2),69), ((-2),70), ((-2),73)], (17)), ("GEQ", [((-1),2), ((2),4), ((2),6), ((-1),8), ((-1),9), ((1),10), ((2),14), ((-1),15), ((-1),16), ((1),17), ((1),18), ((1),19), ((-2),20), ((1),22), ((1),23), ((1),24), ((-2),26), ((-1),28), ((-1),29), ((-1),31), ((1),33), ((1),34), ((-1),35), ((-1),38), ((-2),40), ((-2),41), ((-2),42), ((1),43), ((1),45), ((2),46), ((-1),47), ((1),49), ((1),52), ((-1),54), ((1),58), ((1),60), ((2),64), ((1),66), ((2),67), ((1),68), ((-2),69), ((-2),70), ((2),71), ((-1),73)], (17)), ("GEQ", [((-1),2), ((-2),5), ((-2),6), ((-1),7), ((-2),9), ((-1),11), ((2),12), ((-2),13), ((1),14), ((-1),15), ((1),17), ((1),18), ((2),20), ((-1),23), ((-2),25), ((2),26), ((-2),28), ((-2),30), ((2),31), ((-1),32), ((2),33), ((-1),36), ((-1),37), ((1),38), ((-2),39), ((2),40), ((1),41), ((2),44), ((1),45), ((2),46), ((-1),47), ((-2),48), ((1),49), ((2),50), ((-2),51), ((2),52), ((-1),53), ((1),54), ((2),59), ((-1),60), ((-1),61), ((-1),62), ((2),63), ((-1),65), ((1),67), ((1),69), ((1),71), ((1),72), ((-1),73)], (15)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((-1),7), ((1),8), ((-1),16), ((-1),17), ((1),18), ((-2),19), ((1),23), ((-1),24), ((-2),28), ((2),29), ((1),30), ((-1),31), ((1),32), ((-1),36), ((1),37), ((-1),39), ((-1),41), ((1),42), ((2),43), ((1),44), ((2),47), ((-1),48), ((-1),51), ((2),53), ((-2),55), ((2),56), ((-2),57), ((2),58), ((-2),62), ((-1),63), ((2),65), ((2),66), ((1),67), ((2),68), ((-2),69), ((-2),70), ((-1),71), ((-1),73), ((1),74)], (39)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-2),3), ((-1),4), ((1),5), ((-1),6), ((-2),11), ((-2),15), ((2),16), ((1),19), ((2),24), ((-1),25), ((-1),26), ((-1),27), ((2),28), ((-1),29), ((2),31), ((2),34), ((-2),35), ((1),36), ((-2),37), ((1),38), ((-1),40), ((-1),42), ((-2),45), ((2),48), ((-1),49), ((-2),51), ((2),52), ((2),53), ((1),55), ((-1),56), ((-2),57), ((1),58), ((2),61), ((-2),62), ((-2),63), ((-1),65), ((2),66), ((-1),67), ((-2),68), ((-1),70), ((-2),74)], (4)), ("GEQ", [((-1),0), ((-2),1), ((1),4), ((-1),7), ((1),8), ((-2),9), ((1),10), ((1),13), ((-2),14), ((1),15), ((-2),18), ((1),20), ((1),21), ((2),22), ((2),23), ((-2),24), ((-1),26), ((1),28), ((-2),30), ((1),31), ((-2),34), ((2),36), ((1),38), ((-1),39), ((2),41), ((-2),42), ((-2),43), ((2),44), ((-2),46), ((1),47), ((-1),49), ((-1),50), ((-2),51), ((2),52), ((1),53), ((2),54), ((1),55), ((-2),57), ((1),58), ((1),59), ((-2),60), ((2),61), ((-1),62), ((2),64), ((-1),67), ((-2),68), ((1),70), ((-2),72), ((-1),73)], (9)), ("GEQ", [((-2),1), ((1),2), ((1),3), ((1),4), ((1),6), ((2),9), ((1),10), ((1),11), ((-2),12), ((-1),13), ((2),15), ((-1),17), ((-2),18), ((-2),19), ((-2),20), ((2),21), ((1),22), ((-1),23), ((2),24), ((-2),25), ((2),27), ((1),28), ((1),30), ((1),31), ((1),32), ((-1),35), ((2),37), ((-1),39), ((1),40), ((1),42), ((-1),45), ((1),48), ((2),51), ((2),52), ((2),53), ((1),54), ((-2),57), ((2),58), ((1),59), ((-1),60), ((2),61), ((1),63), ((2),64), ((-1),65), ((-2),66), ((-1),67), ((-2),68), ((1),69), ((1),70), ((2),71), ((-1),72), ((2),74)], (-4)), ("GEQ", [((1),1), ((2),5), ((-2),6), ((-2),7), ((1),8), ((-2),9), ((1),10), ((1),11), ((-2),12), ((-1),17), ((-2),18), ((1),19), ((-2),20), ((2),23), ((1),24), ((1),26), ((1),28), ((-1),30), ((1),36), ((-1),37), ((-2),39), ((2),40), ((2),43), ((2),45), ((1),46), ((1),47), ((-2),49), ((2),50), ((1),53), ((-2),57), ((2),58), ((-2),60), ((1),61), ((-1),64), ((-2),68), ((1),70), ((1),71), ((-2),72), ((-2),73)], (11)), ("GEQ", [((1),0), ((-1),3), ((2),4), ((2),5), ((2),6), ((1),10), ((2),18), ((1),20), ((-1),21), ((2),24), ((2),25), ((-1),27), ((-1),28), ((1),29), ((-2),30), ((1),31), ((-2),34), ((2),35), ((2),36), ((2),37), ((1),38), ((2),39), ((-2),40), ((2),41), ((-2),42), ((-2),43), ((1),44), ((1),45), ((1),46), ((2),48), ((-2),50), ((-1),52), ((1),56), ((-2),57), ((2),58), ((2),59), ((2),60), ((1),62), ((-2),65), ((1),66), ((2),68), ((-2),69), ((-1),70), ((-2),71), ((2),72), ((1),73)], (25)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-1),3), ((1),4), ((2),6), ((2),7), ((-1),8), ((-2),9), ((-1),10), ((1),12), ((-2),14), ((1),16), ((-1),17), ((-2),19), ((-2),20), ((-1),21), ((1),22), ((1),24), ((-1),25), ((1),27), ((-2),29), ((2),31), ((-2),32), ((1),33), ((2),37), ((-2),40), ((1),41), ((1),42), ((-1),48), ((-2),49), ((-1),53), ((1),54), ((1),55), ((-1),56), ((2),57), ((2),59), ((-1),62), ((1),63), ((-1),64), ((-1),65), ((2),66), ((1),67), ((2),68), ((-2),69), ((1),73)], (15)), ("GEQ", [((2),3), ((-2),5), ((2),6), ((-1),9), ((1),10), ((1),12), ((1),13), ((2),15), ((-1),19), ((1),20), ((1),21), ((-2),22), ((2),24), ((1),25), ((-2),29), ((1),31), ((-2),33), ((1),35), ((-2),36), ((2),37), ((1),38), ((2),39), ((2),40), ((1),42), ((-1),43), ((1),45), ((-2),48), ((1),49), ((1),50), ((-2),52), ((2),55), ((-1),57), ((2),58), ((-1),59), ((2),60), ((-2),61), ((-1),62), ((-1),65), ((-2),68), ((-2),69), ((1),70), ((1),71), ((1),72), ((2),74)], (-13)), ("GEQ", [((-1),0), ((1),2), ((2),3), ((1),4), ((1),7), ((1),8), ((-1),9), ((1),12), ((-1),13), ((-2),14), ((-2),15), ((2),16), ((2),18), ((1),20), ((1),22), ((1),23), ((-2),27), ((-2),33), ((1),34), ((1),38), ((1),40), ((2),41), ((1),42), ((-1),47), ((-2),48), ((-2),52), ((-2),53), ((1),54), ((-1),56), ((1),57), ((1),59), ((1),60), ((1),61), ((2),62), ((1),64), ((-1),65), ((-2),66), ((2),68), ((-2),71), ((-1),72), ((-2),73), ((-1),74)], (-20)), ("GEQ", [((-1),1), ((-2),6), ((-1),8), ((1),9), ((-2),12), ((-2),13), ((1),14), ((1),16), ((2),19), ((-1),20), ((-2),21), ((1),25), ((2),28), ((-1),30), ((1),32), ((-2),34), ((2),35), ((-2),36), ((-2),40), ((-2),41), ((1),42), ((-1),43), ((2),44), ((1),48), ((-2),49), ((1),50), ((1),51), ((-2),54), ((-2),56), ((-1),57), ((1),58), ((-1),59), ((2),60), ((1),64), ((1),65), ((-1),66), ((-1),67), ((-2),68), ((-2),69), ((2),73)], (14)), ("GEQ", [((-1),1), ((-2),3), ((1),5), ((-2),6), ((2),7), ((1),8), ((-1),9), ((-2),12), ((-2),13), ((2),14), ((1),15), ((1),16), ((-1),17), ((-2),18), ((-1),22), ((1),24), ((-1),25), ((-1),26), ((-2),28), ((-2),30), ((-1),33), ((2),35), ((-2),36), ((-1),37), ((-1),41), ((-2),43), ((1),46), ((-2),47), ((-1),48), ((2),50), ((-2),52), ((-1),53), ((2),54), ((-1),58), ((-2),59), ((-1),60), ((-2),62), ((-1),63), ((-1),67), ((2),68), ((2),71), ((1),73)], (13)), ("GEQ", [((2),3), ((2),4), ((1),5), ((1),6), ((1),9), ((2),10), ((-1),12), ((2),13), ((-2),14), ((2),15), ((1),16), ((1),19), ((-2),20), ((1),22), ((-1),23), ((1),24), ((-2),25), ((-1),26), ((-2),27), ((2),31), ((1),32), ((-1),33), ((-1),34), ((-2),35), ((1),36), ((1),38), ((1),39), ((2),41), ((-2),42), ((1),44), ((2),49), ((-2),50), ((-1),54), ((-1),57), ((2),60), ((-2),63), ((1),67), ((1),70), ((1),71), ((-2),72), ((-1),73)], (-12)), ("GEQ", [((2),1), ((-2),2), ((1),4), ((-2),5), ((2),6), ((1),8), ((2),10), ((2),14), ((-1),15), ((-1),16), ((-1),17), ((2),20), ((1),21), ((-1),25), ((2),27), ((-2),28), ((-1),29), ((1),32), ((-2),33), ((2),34), ((-1),35), ((1),36), ((2),38), ((2),39), ((2),44), ((1),45), ((-1),52), ((1),53), ((-2),55), ((-1),57), ((-1),58), ((-1),59), ((-1),62), ((-1),64), ((2),66), ((2),67), ((1),68), ((-1),70), ((-1),71), ((-2),72), ((2),73), ((2),74)], (-6)), ("GEQ", [((-1),1), ((2),3), ((-1),5), ((-1),6), ((-2),7), ((1),9), ((-2),10), ((-2),11), ((1),12), ((-2),14), ((-1),15), ((1),16), ((-2),17), ((1),18), ((1),23), ((-1),25), ((2),26), ((-1),28), ((2),29), ((1),30), ((-1),31), ((-2),33), ((-2),34), ((-1),35), ((-2),37), ((-2),38), ((2),41), ((-2),42), ((-1),44), ((2),46), ((2),48), ((-2),50), ((2),53), ((-1),54), ((2),56), ((2),60), ((-2),62), ((1),63), ((-1),65), ((-1),66), ((-1),69), ((-2),70), ((-1),72)], (-27)), ("GEQ", [((1),6), ((2),7), ((-2),8), ((-2),9), ((-1),11), ((1),12), ((2),15), ((-1),17), ((-2),18), ((-2),20), ((-2),21), ((2),22), ((1),23), ((-1),24), ((2),26), ((-1),28), ((2),29), ((1),30), ((2),32), ((-1),33), ((-1),35), ((1),37), ((-1),38), ((1),42), ((1),44), ((1),45), ((1),46), ((1),47), ((1),48), ((2),52), ((2),54), ((-2),55), ((-1),56), ((1),57), ((1),59), ((1),60), ((-1),61), ((-1),62), ((1),63), ((1),64), ((1),65), ((-1),67), ((-2),68), ((-2),70), ((-2),73), ((-1),74)], (16)), ("GEQ", [((2),0), ((5),1), ((-36),2), ((-29),3), ((-11),4), ((9),5), ((-36),6), ((-2),7), ((2),8), ((19),9), ((-18),10), ((4),11), ((-1),12), ((-6),13), ((-22),14), ((-19),15), ((-11),16), ((3),17), ((-2),18), ((-32),19), ((26),20), ((-20),21), ((-11),22), ((-5),23), ((4),24), ((44),25), ((-22),26), ((-9),27), ((30),28), ((-3),29), ((-20),30), ((-31),31), ((28),33), ((-5),34), ((25),35), ((16),36), ((-5),37), ((-46),38), ((-16),39), ((-13),40), ((-26),41), ((58),42), ((8),43), ((-16),44), ((21),45), ((3),46), ((19),47), ((23),48), ((1),49), ((15),50), ((-1),51), ((40),52), ((-5),53), ((15),54), ((25),55), ((-21),56), ((51),57), ((80),58), ((14),59), ((-31),60), ((-3),61), ((85),62), ((32),63), ((24),64), ((65),65), ((-77),66), ((-14),67), ((20),68), ((12),69), ((9),70), ((-21),71), ((-9),72), ((-6),73), ((12),74)], (211)), ("GEQ", [((-9),1), ((137),2), ((73),3), ((47),4), ((-40),5), ((153),6), ((16),7), ((-11),8), ((-77),9), ((49),10), ((17),11), ((6),12), ((17),13), ((97),14), ((47),15), ((33),16), ((12),17), ((15),18), ((114),19), ((-67),20), ((56),21), ((19),22), ((17),23), ((-29),24), ((-153),25), ((68),26), ((20),27), ((-117),28), ((14),29), ((66),30), ((110),31), ((-21),32), ((-71),33), ((26),34), ((-90),35), ((-39),36), ((30),37), ((174),38), ((73),39), ((62),40), ((74),41), ((-188),42), ((-35),43), ((16),44), ((-69),45), ((-42),46), ((-100),47), ((-119),48), ((-27),50), ((-20),51), ((-166),52), ((-11),53), ((-73),54), ((-97),55), ((77),56), ((-142),57), ((-294),58), ((-53),59), ((113),60), ((-31),61), ((-235),62), ((-155),63), ((-74),64), ((-225),65), ((282),66), ((48),67), ((-20),68), ((-33),69), ((2),70), ((63),71), ((27),72), ((39),73), ((-36),74)], (-223)), ("GEQ", [((6),0), ((-12),1), ((14),2), ((-7),3), ((-8),4), ((-15),5), ((36),6), ((-11),7), ((-17),8), ((2),9), ((8),10), ((24),11), ((6),12), ((6),13), ((23),14), ((15),15), ((-12),16), ((-8),17), ((3),18), ((11),19), ((5),20), ((7),21), ((-15),22), ((-25),23), ((-28),24), ((-11),25), ((17),26), ((4),27), ((-3),28), ((10),29), ((4),30), ((8),31), ((-4),32), ((15),33), ((1),34), ((-40),35), ((4),36), ((-18),37), ((22),38), ((-11),39), ((25),40), ((-10),41), ((-19),42), ((11),44), ((-17),45), ((2),46), ((-25),47), ((-15),48), ((6),49), ((19),50), ((-15),51), ((-4),52), ((2),53), ((-4),54), ((-6),55), ((-22),56), ((-3),57), ((-46),58), ((20),59), ((24),60), ((-22),61), ((-7),62), ((-33),63), ((-11),64), ((-5),65), ((12),66), ((-15),68), ((13),69), ((29),70), ((23),71), ((2),72), ((13),73), ((11),74)], (-23)), ("GEQ", [((-33),0), ((-9),1), ((117),2), ((98),3), ((55),4), ((-22),5), ((90),6), ((38),7), ((9),8), ((-63),9), ((22),10), ((-30),11), ((-24),12), ((34),13), ((43),14), ((39),15), ((75),16), ((12),17), ((3),18), ((97),19), ((-82),20), ((29),21), ((62),22), ((48),23), ((-4),24), ((-136),25), ((47),26), ((23),27), ((-100),28), ((6),29), ((61),30), ((108),31), ((9),32), ((-114),33), ((2),34), ((-38),35), ((-39),36), ((52),37), ((157),38), ((66),39), ((59),40), ((78),41), ((-146),42), ((-40),43), ((24),44), ((-53),45), ((-16),46), ((-61),47), ((-54),48), ((-21),49), ((-56),50), ((41),51), ((-139),52), ((-10),53), ((-68),54), ((-79),55), ((100),56), ((-146),57), ((-229),58), ((-72),59), ((90),60), ((4),61), ((-249),62), ((-102),63), ((-52),64), ((-216),65), ((264),66), ((39),67), ((-36),68), ((-49),69), ((-35),70), ((55),71), ((45),72), ((4),73), ((-79),74)], (-471)), ("GEQ", [((13),0), ((42),1), ((-17),2), ((9),3), ((-16),4), ((20),5), ((-60),6), ((-10),7), ((24),8), ((-27),9), ((3),10), ((-52),11), ((41),12), ((-16),13), ((-32),14), ((-44),15), ((-15),16), ((21),17), ((-14),18), ((-34),19), ((-6),20), ((-2),21), ((15),22), ((50),23), ((59),24), ((42),25), ((-19),26), ((-24),27), ((-27),29), ((-7),30), ((-34),31), ((6),32), ((-51),33), ((3),34), ((65),35), ((-24),36), ((15),37), ((-67),38), ((23),39), ((-90),40), ((7),41), ((21),42), ((35),43), ((-15),44), ((48),45), ((-18),46), ((68),47), ((9),48), ((4),49), ((-40),50), ((13),51), ((15),52), ((3),53), ((-16),54), ((5),55), ((51),56), ((4),57), ((88),58), ((-32),59), ((-50),60), ((38),61), ((-9),62), ((76),63), ((11),64), ((38),65), ((-44),66), ((34),67), ((34),68), ((-38),69), ((-93),70), ((-45),71), ((-39),72), ((1),73), ((20),74)], (279)), ("GEQ", [((12),0), ((12),1), ((-21),2), ((-32),3), ((-9),4), ((-27),5), ((-18),6), ((5),7), ((13),8), ((-7),9), ((-27),10), ((-8),11), ((12),12), ((-7),13), ((16),14), ((-44),15), ((10),16), ((1),17), ((15),18), ((4),19), ((75),20), ((-28),21), ((-3),22), ((-2),23), ((-28),24), ((45),25), ((-2),26), ((-13),27), ((15),28), ((16),29), ((13),30), ((-8),31), ((11),32), ((5),33), ((-19),34), ((-11),35), ((25),36), ((-4),37), ((-12),38), ((-1),39), ((28),40), ((-8),41), ((78),42), ((9),43), ((-43),44), ((30),45), ((-15),46), ((-20),47), ((11),48), ((2),49), ((11),50), ((-25),51), ((2),52), ((-10),53), ((-14),54), ((19),55), ((-12),56), ((50),57), ((43),58), ((5),59), ((-12),60), ((-45),61), ((89),62), ((-11),63), ((29),65), ((-48),66), ((-7),67), ((24),68), ((19),69), ((33),70), ((-34),71), ((4),72), ((7),73), ((-15),74)], (188)), ("GEQ", [((12),0), ((-25),1), ((-111),2), ((-81),3), ((-23),4), ((59),5), ((-96),6), ((-6),7), ((-16),8), ((60),9), ((52),11), ((-2),12), ((-37),13), ((-33),14), ((-1),15), ((-51),16), ((16),17), ((7),18), ((-73),19), ((-19),20), ((6),21), ((-35),22), ((-63),23), ((-3),24), ((95),25), ((-84),26), ((-3),27), ((80),28), ((-16),29), ((-94),30), ((-110),31), ((-37),32), ((171),33), ((-8),34), ((44),35), ((8),36), ((-60),37), ((-151),38), ((-67),39), ((-65),40), ((-44),41), ((81),42), ((19),43), ((21),44), ((30),45), ((32),46), ((25),47), ((47),48), ((2),49), ((92),50), ((-48),51), ((148),52), ((25),53), ((112),54), ((63),55), ((-126),56), ((100),57), ((186),58), ((87),59), ((-120),60), ((25),61), ((162),62), ((106),63), ((51),64), ((185),65), ((-209),66), ((-64),67), ((-6),68), ((48),69), ((10),70), ((-7),71), ((-8),72), ((-1),73), ((64),74)], (171)), ("GEQ", [((-54),0), ((1),1), ((-34),2), ((-25),3), ((-40),4), ((-37),5), ((5),6), ((-71),7), ((-31),8), ((123),9), ((-77),10), ((-29),11), ((-126),12), ((63),13), ((-148),14), ((18),15), ((13),16), ((-143),17), ((-90),18), ((-122),19), ((173),20), ((-135),21), ((-67),22), ((32),23), ((49),24), ((50),25), ((85),26), ((1),27), ((130),28), ((9),29), ((54),30), ((44),31), ((126),32), ((-158),33), ((14),34), ((45),35), ((130),36), ((65),37), ((32),38), ((-80),39), ((91),40), ((-148),41), ((196),42), ((-34),43), ((-51),44), ((-11),45), ((86),46), ((179),47), ((164),48), ((21),49), ((-107),50), ((170),51), ((59),52), ((-34),53), ((-24),54), ((80),55), ((16),56), ((152),57), ((159),58), ((-17),59), ((143),60), ((28),61), ((253),62), ((29),63), ((87),64), ((131),65), ((-163),66), ((-7),67), ((21),68), ((6),69), ((179),70), ((-60),71), ((-71),72), ((-130),73), ((8),74)], (-224)), ("GEQ", [((-83),0), ((-12),1), ((52),2), ((70),3), ((-15),4), ((-32),5), ((-33),7), ((-6),8), ((82),9), ((-105),10), ((-109),11), ((-155),12), ((101),13), ((-161),14), ((21),15), ((106),16), ((-123),17), ((-69),18), ((13),19), ((83),20), ((-142),21), ((47),22), ((89),23), ((16),24), ((-24),25), ((114),26), ((15),27), ((32),28), ((55),29), ((81),30), ((98),31), ((148),32), ((-266),33), ((-20),34), ((26),35), ((61),36), ((67),37), ((139),38), ((-66),39), ((133),40), ((-77),41), ((69),42), ((-15),43), ((-7),44), ((-52),45), ((85),46), ((126),47), ((174),48), ((-32),49), ((-137),50), ((252),51), ((-20),52), ((-43),53), ((-92),54), ((8),55), ((136),56), ((-23),57), ((-5),58), ((-76),59), ((192),60), ((63),61), ((-25),62), ((-13),63), ((24),64), ((-70),65), ((48),66), ((-10),67), ((-71),68), ((-53),69), ((52),70), ((-4),71), ((19),72), ((-128),73), ((-103),74)], (-464))] [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]