[("GEQ", [((1),0), ((-2),3), ((-2),4), ((-1),6), ((-2),7), ((-1),8), ((-1),13), ((-1),16), ((-1),18), ((2),19), ((-1),20), ((-2),23), ((-2),28), ((2),30), ((-2),31), ((2),32), ((-1),33), ((1),37), ((-2),38), ((-1),39), ((-2),40), ((-1),41), ((1),42), ((1),44), ((-1),45), ((2),46), ((-2),47), ((1),50), ((1),51), ((1),53), ((-1),54), ((-1),55), ((-1),56), ((-1),57), ((-2),59), ((2),61), ((-2),64), ((-1),65), ((2),66), ((1),67), ((-1),68), ((-1),70), ((1),72)], (25)), ("GEQ", [((-2),0), ((1),2), ((-2),4), ((1),6), ((2),9), ((1),10), ((2),12), ((2),15), ((-2),17), ((2),18), ((2),20), ((-1),21), ((1),22), ((-2),23), ((1),25), ((-1),26), ((-1),29), ((-1),30), ((2),32), ((2),33), ((2),35), ((2),37), ((-2),39), ((-1),40), ((1),41), ((-2),43), ((1),44), ((-1),47), ((-2),50), ((-1),51), ((2),52), ((-1),54), ((1),55), ((-1),58), ((-2),59), ((2),61), ((-2),63), ((1),64), ((-1),67), ((-1),68), ((1),69), ((-2),70), ((2),72), ((2),73)], (5)), ("GEQ", [((-1),1), ((-1),6), ((-2),8), ((-2),9), ((-1),10), ((1),12), ((-1),17), ((-1),18), ((1),19), ((1),22), ((-1),23), ((-1),26), ((2),29), ((2),30), ((-2),32), ((-2),33), ((-2),35), ((-1),37), ((-2),38), ((-1),40), ((-1),42), ((-1),47), ((2),49), ((1),51), ((-2),55), ((2),58), ((2),60), ((-2),61), ((-1),63), ((1),68), ((-2),69), ((2),73)], (37)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-1),3), ((-2),4), ((-2),5), ((1),6), ((-1),7), ((-2),10), ((2),15), ((2),17), ((-2),18), ((-2),19), ((-1),21), ((-1),26), ((-1),27), ((-2),28), ((-1),29), ((-2),30), ((2),32), ((1),33), ((-1),37), ((1),38), ((1),41), ((2),43), ((-2),44), ((1),45), ((-2),46), ((1),48), ((2),49), ((-2),51), ((-2),52), ((2),54), ((2),57), ((1),63), ((-1),64), ((-2),71), ((1),74)], (-47)), ("GEQ", [((1),2), ((2),4), ((-1),6), ((2),9), ((2),10), ((2),12), ((-2),14), ((1),15), ((-1),16), ((1),17), ((1),20), ((2),22), ((1),23), ((1),24), ((2),26), ((1),30), ((1),35), ((-2),38), ((1),39), ((2),40), ((2),41), ((-1),43), ((2),44), ((-2),48), ((-1),50), ((-1),54), ((2),56), ((2),57), ((-1),60), ((-1),61), ((1),62), ((2),65), ((2),66), ((-2),67), ((-1),68), ((2),69), ((1),71), ((1),73)], (-5)), ("GEQ", [((1),0), ((2),2), ((2),3), ((-2),4), ((-2),5), ((-2),6), ((-2),7), ((1),8), ((1),11), ((1),14), ((-2),15), ((-1),17), ((-1),18), ((-2),20), ((2),24), ((2),26), ((2),27), ((1),31), ((-1),32), ((-1),34), ((1),35), ((1),37), ((-1),39), ((1),41), ((-1),43), ((1),44), ((1),46), ((1),47), ((1),48), ((2),49), ((2),51), ((1),53), ((-1),58), ((-1),61), ((2),64), ((2),65), ((-1),67), ((-1),70), ((2),71), ((1),72), ((-1),73), ((-2),74)], (26)), ("GEQ", [((-2),0), ((1),2), ((1),4), ((1),5), ((1),8), ((1),9), ((-2),10), ((-2),13), ((2),14), ((-1),15), ((-1),16), ((-2),17), ((2),21), ((-1),22), ((1),24), ((-1),27), ((1),28), ((-2),29), ((-2),32), ((-2),36), ((-1),37), ((-2),38), ((1),39), ((-2),42), ((2),44), ((1),46), ((1),48), ((-2),49), ((-2),50), ((2),52), ((-1),54), ((2),55), ((1),56), ((2),57), ((2),58), ((1),59), ((1),61), ((-2),66), ((-2),71), ((2),72)], (31)), ("GEQ", [((2),1), ((-2),5), ((2),10), ((-1),11), ((1),12), ((2),14), ((-1),15), ((2),16), ((-1),18), ((1),19), ((2),20), ((1),23), ((1),31), ((-1),33), ((2),34), ((2),35), ((-2),38), ((1),39), ((-2),41), ((-1),43), ((1),44), ((-1),45), ((2),46), ((1),50), ((-2),52), ((-1),54), ((2),62), ((-1),63), ((-2),64), ((2),65), ((-2),68), ((-2),69), ((-2),73), ((-2),74)], (17)), ("GEQ", [((-1),0), ((1),3), ((-1),4), ((1),5), ((-2),7), ((2),9), ((-2),10), ((1),11), ((-1),12), ((-1),13), ((-2),14), ((-2),15), ((1),16), ((1),17), ((2),18), ((2),19), ((-2),20), ((2),23), ((1),24), ((1),25), ((1),30), ((1),32), ((-2),33), ((1),35), ((1),36), ((-2),40), ((-1),41), ((2),42), ((-2),43), ((2),46), ((-1),47), ((2),48), ((2),49), ((-1),50), ((-1),51), ((2),52), ((-2),53), ((2),54), ((2),55), ((1),58), ((1),59), ((-1),60), ((-1),61), ((-1),62), ((2),64), ((2),65), ((-2),66), ((-2),67), ((-2),68), ((-2),69), ((1),70), ((-1),72), ((2),74)], (-4)), ("GEQ", [((-2),3), ((2),7), ((2),8), ((-2),9), ((1),13), ((2),15), ((1),16), ((-2),17), ((1),18), ((1),20), ((2),22), ((-1),25), ((-1),28), ((-2),30), ((1),33), ((-1),34), ((-1),37), ((-2),38), ((-2),41), ((2),42), ((-1),43), ((1),45), ((1),48), ((-2),50), ((1),52), ((-1),53), ((2),54), ((-1),55), ((2),56), ((1),57), ((2),59), ((1),60), ((2),62), ((-2),64), ((-2),69), ((-1),70), ((-1),74)], (9)), ("GEQ", [((1),1), ((-2),4), ((2),5), ((1),6), ((1),7), ((-1),9), ((-2),10), ((2),12), ((-1),13), ((1),14), ((1),15), ((-2),16), ((-2),17), ((-1),19), ((2),20), ((-2),21), ((1),24), ((1),27), ((-2),29), ((2),32), ((2),33), ((-2),34), ((1),36), ((-2),37), ((1),39), ((2),40), ((2),41), ((-1),44), ((2),45), ((-1),46), ((1),48), ((-2),50), ((-2),51), ((2),52), ((2),54), ((2),55), ((-1),57), ((1),61), ((1),65), ((-2),69), ((-1),70), ((1),71), ((-2),72), ((-2),73), ((2),74)], (29)), ("GEQ", [((2),0), ((-1),3), ((2),5), ((2),8), ((-2),10), ((-2),11), ((-2),12), ((-2),13), ((-2),16), ((-2),20), ((-2),21), ((-2),22), ((-1),24), ((-2),25), ((-2),27), ((1),28), ((-2),31), ((2),32), ((-2),33), ((2),34), ((2),37), ((-1),38), ((-2),39), ((-1),40), ((-1),44), ((2),47), ((-2),50), ((1),51), ((1),52), ((1),53), ((-2),54), ((2),56), ((2),57), ((1),59), ((-2),60), ((-1),61), ((2),62), ((-2),63), ((1),65), ((-2),68), ((-1),69), ((1),70), ((2),71), ((-1),72)], (54)), ("GEQ", [((2),0), ((-1),1), ((-2),4), ((-1),5), ((-2),6), ((1),7), ((1),8), ((-1),10), ((-2),13), ((-2),15), ((2),16), ((-1),19), ((-2),21), ((-2),25), ((-2),28), ((1),29), ((1),30), ((-2),31), ((-2),32), ((-2),33), ((1),34), ((-2),35), ((1),36), ((-2),38), ((-2),40), ((-2),43), ((2),44), ((2),46), ((-1),47), ((1),49), ((-2),50), ((-2),51), ((2),52), ((2),55), ((1),57), ((-1),59), ((2),60), ((-1),61), ((-2),62), ((-1),64), ((1),67), ((-2),68), ((-1),70), ((1),71), ((1),72), ((1),73), ((-2),74)], (26)), ("GEQ", [((2),3), ((-2),5), ((-1),9), ((-1),10), ((-2),11), ((2),12), ((2),13), ((1),17), ((1),18), ((1),19), ((2),25), ((1),27), ((2),28), ((1),29), ((-1),30), ((1),31), ((-2),34), ((-2),35), ((1),36), ((-2),37), ((-1),38), ((2),39), ((2),40), ((-2),41), ((-2),42), ((-1),43), ((1),44), ((2),45), ((-2),46), ((-2),48), ((1),51), ((1),53), ((-1),54), ((1),58), ((1),59), ((2),60), ((2),62), ((-2),64), ((-2),67), ((1),68), ((-1),69), ((1),70), ((1),71), ((1),72), ((-2),73), ((2),74)], (25)), ("GEQ", [((-1),4), ((-1),7), ((2),8), ((2),9), ((1),10), ((1),12), ((-2),17), ((1),20), ((-2),21), ((-1),22), ((1),26), ((-2),28), ((2),30), ((2),31), ((-1),32), ((-1),33), ((-1),35), ((-2),36), ((-1),37), ((2),39), ((1),41), ((2),42), ((2),48), ((1),49), ((-2),50), ((2),52), ((-2),53), ((2),54), ((-1),55), ((-2),59), ((-1),60), ((-2),61), ((1),62), ((1),63), ((-1),64), ((-1),66), ((-1),68), ((2),69), ((1),70), ((-1),72), ((1),74)], (-17)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((2),4), ((-2),5), ((-1),10), ((-1),11), ((-2),12), ((1),14), ((1),19), ((-2),20), ((1),21), ((1),23), ((1),24), ((-1),25), ((-2),29), ((2),30), ((-1),31), ((-1),32), ((2),33), ((1),34), ((1),35), ((1),36), ((-1),39), ((1),40), ((-2),42), ((2),44), ((1),45), ((2),46), ((1),47), ((2),49), ((1),52), ((2),53), ((-1),55), ((-2),56), ((2),58), ((2),59), ((-1),63), ((1),64), ((-1),67), ((1),68), ((2),69), ((-1),70), ((2),71), ((-1),72), ((1),74)], (20)), ("GEQ", [((1),2), ((-1),3), ((2),5), ((2),6), ((-1),7), ((-2),8), ((2),10), ((1),11), ((-2),15), ((-2),18), ((-2),20), ((-2),21), ((2),22), ((-2),23), ((-2),25), ((2),26), ((-1),27), ((-2),28), ((-1),30), ((2),31), ((-2),33), ((-2),35), ((2),36), ((2),37), ((1),38), ((2),40), ((-1),41), ((1),42), ((2),43), ((-1),44), ((1),45), ((-2),48), ((-2),49), ((1),55), ((-2),56), ((1),59), ((2),61), ((-1),63), ((2),64), ((1),66), ((1),67), ((-2),68), ((-1),69), ((1),72), ((2),73), ((-1),74)], (8)), ("GEQ", [((2),1), ((2),2), ((-1),4), ((2),5), ((1),6), ((1),9), ((1),10), ((2),12), ((1),13), ((-2),15), ((-1),16), ((-1),17), ((-1),18), ((2),19), ((2),20), ((-2),21), ((1),23), ((-1),26), ((2),31), ((-2),32), ((2),34), ((1),38), ((2),40), ((-2),44), ((-1),45), ((-1),46), ((-2),48), ((-1),49), ((2),51), ((1),53), ((1),54), ((-1),57), ((-2),58), ((-1),63), ((1),65), ((2),66), ((-1),71), ((-2),72)], (25)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),3), ((2),4), ((1),5), ((-2),7), ((-2),8), ((-2),9), ((-1),10), ((-2),12), ((1),14), ((-1),15), ((-1),16), ((-2),17), ((-1),18), ((1),20), ((-2),21), ((2),22), ((-2),23), ((-1),24), ((2),25), ((1),26), ((2),28), ((1),29), ((1),31), ((2),32), ((1),35), ((1),36), ((-1),37), ((-2),38), ((-1),39), ((-1),41), ((-2),42), ((-1),44), ((-2),45), ((-1),47), ((1),48), ((2),49), ((-1),50), ((1),51), ((2),52), ((2),53), ((1),59), ((2),61), ((1),63), ((-1),64), ((1),65), ((-1),67), ((-1),68), ((-2),69), ((-1),71), ((1),72), ((2),73), ((2),74)], (52)), ("GEQ", [((1),1), ((-2),5), ((1),6), ((-1),9), ((1),10), ((-1),11), ((-2),12), ((-2),13), ((1),15), ((-2),16), ((-1),20), ((-1),21), ((2),22), ((-1),26), ((-1),27), ((-2),28), ((1),29), ((-1),34), ((2),35), ((2),37), ((-2),40), ((1),41), ((1),42), ((-1),43), ((2),44), ((-1),46), ((-2),47), ((1),48), ((-2),49), ((1),50), ((1),52), ((-1),53), ((1),54), ((1),55), ((-2),57), ((-2),58), ((1),59), ((-2),61), ((2),62), ((1),63), ((2),64), ((-1),65), ((1),66), ((-2),67), ((2),69), ((1),70), ((-1),71), ((1),73), ((2),74)], (-20)), ("GEQ", [((2),0), ((-2),1), ((-2),4), ((-2),5), ((-1),6), ((1),7), ((-1),8), ((-2),10), ((2),11), ((1),12), ((2),13), ((1),14), ((1),17), ((1),20), ((-2),21), ((-1),22), ((2),23), ((-2),24), ((1),26), ((2),28), ((-1),29), ((-1),30), ((2),31), ((2),33), ((2),35), ((2),37), ((1),38), ((-1),39), ((2),41), ((1),42), ((2),43), ((-2),45), ((-1),46), ((-2),47), ((-1),49), ((2),52), ((-2),53), ((-1),54), ((-1),56), ((2),57), ((-2),59), ((-2),60), ((2),61), ((-1),62), ((-1),64), ((-1),65), ((1),66), ((-2),70), ((-2),73), ((-2),74)], (-1)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-2),3), ((-1),4), ((-2),5), ((-2),8), ((-1),10), ((2),11), ((2),13), ((-2),14), ((-2),15), ((-1),16), ((-1),19), ((2),20), ((2),21), ((2),22), ((-1),23), ((2),25), ((1),26), ((2),27), ((-2),28), ((-2),31), ((2),33), ((2),34), ((-1),38), ((-2),41), ((-1),42), ((1),43), ((-1),45), ((2),48), ((2),49), ((1),50), ((2),51), ((2),52), ((2),55), ((2),56), ((2),57), ((2),58), ((1),59), ((1),60), ((-2),61), ((-1),62), ((1),66), ((1),68), ((-2),69)], (21)), ("GEQ", [((2),1), ((1),2), ((-1),3), ((-2),5), ((-2),6), ((-1),7), ((-1),8), ((2),13), ((-2),17), ((1),18), ((2),21), ((1),24), ((2),26), ((1),27), ((2),28), ((-2),31), ((1),33), ((-2),34), ((2),35), ((1),37), ((2),40), ((-2),42), ((-2),43), ((-1),44), ((2),46), ((2),47), ((-2),48), ((1),51), ((-2),52), ((-2),54), ((1),55), ((2),56), ((-1),57), ((-1),58), ((1),60), ((2),61), ((2),62), ((-1),66), ((-1),67), ((2),71), ((-1),72), ((-1),73), ((2),74)], (51)), ("GEQ", [((-2),0), ((-2),1), ((-1),3), ((-2),7), ((2),10), ((2),11), ((1),12), ((1),13), ((1),16), ((2),17), ((-2),18), ((-2),19), ((1),20), ((2),21), ((1),26), ((1),27), ((1),30), ((-2),32), ((-2),33), ((1),35), ((-2),36), ((-2),37), ((2),38), ((2),39), ((-2),41), ((-1),42), ((2),44), ((2),47), ((1),48), ((2),49), ((2),50), ((1),51), ((1),52), ((2),53), ((-1),54), ((1),56), ((1),57), ((-1),59), ((1),62), ((-2),63), ((1),64), ((2),65), ((1),66), ((2),67), ((-1),68), ((-2),71), ((-2),72), ((-2),73)], (15)), ("GEQ", [((-2),2), ((-2),3), ((1),4), ((-1),5), ((-1),6), ((1),9), ((1),11), ((-2),12), ((-1),14), ((2),16), ((2),17), ((-1),18), ((-1),20), ((2),23), ((2),27), ((2),28), ((-2),31), ((1),33), ((1),34), ((-2),36), ((-2),38), ((2),42), ((-2),45), ((-1),46), ((-2),48), ((1),51), ((2),53), ((-2),56), ((1),58), ((-2),59), ((2),61), ((1),62), ((-2),63), ((-1),65), ((-1),66), ((1),69), ((-2),73)], (13)), ("GEQ", [((2),1), ((2),2), ((-2),6), ((-2),8), ((1),9), ((-1),10), ((2),12), ((-2),16), ((2),19), ((-2),21), ((1),22), ((-2),23), ((-2),24), ((1),27), ((-2),28), ((2),35), ((1),37), ((-1),41), ((-1),42), ((1),45), ((-1),48), ((-2),50), ((-1),52), ((-1),53), ((1),55), ((-2),56), ((1),57), ((2),58), ((1),59), ((-2),61), ((-1),62), ((1),63), ((2),65), ((2),66), ((-2),67), ((-1),70), ((-1),71), ((-2),72), ((-2),73)], (2)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((2),4), ((1),6), ((1),7), ((2),8), ((1),10), ((-2),11), ((1),13), ((-1),14), ((-1),15), ((-2),16), ((2),20), ((-2),21), ((-2),23), ((-2),24), ((-1),25), ((2),26), ((-2),29), ((-2),30), ((-2),34), ((1),36), ((-2),37), ((1),39), ((2),40), ((-2),41), ((2),42), ((-1),43), ((-2),48), ((2),49), ((-2),51), ((1),53), ((1),54), ((-2),57), ((-2),60), ((2),63), ((-1),64), ((-2),67), ((2),68), ((1),69), ((1),70), ((-2),72), ((-1),73), ((2),74)], (-11)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((-2),5), ((-2),7), ((-1),8), ((-1),9), ((2),11), ((2),12), ((-1),14), ((2),15), ((1),18), ((-1),19), ((1),22), ((-1),23), ((1),27), ((-1),28), ((1),30), ((-2),31), ((2),32), ((2),34), ((-2),36), ((-2),38), ((-2),39), ((-2),40), ((-1),41), ((-2),43), ((-2),44), ((2),45), ((1),50), ((2),52), ((-2),55), ((1),57), ((1),58), ((-1),60), ((1),61), ((-2),62), ((1),65), ((2),66), ((1),68), ((-1),69), ((-1),70), ((2),72), ((2),73)], (-6)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((1),3), ((-1),6), ((1),7), ((2),8), ((-1),9), ((-1),10), ((-1),11), ((-1),13), ((-1),14), ((-2),15), ((-1),16), ((-2),18), ((-1),22), ((2),25), ((1),28), ((-2),30), ((1),31), ((2),32), ((-1),34), ((1),35), ((-2),40), ((-1),41), ((-2),42), ((-1),43), ((1),44), ((2),47), ((2),51), ((-1),53), ((2),57), ((2),59), ((-2),61), ((1),63), ((1),66), ((-1),67), ((1),68), ((-1),69), ((1),70), ((-1),71), ((-1),72), ((-1),73), ((-2),74)], (-16)), ("GEQ", [((-2),0), ((2),1), ((-1),3), ((-1),4), ((-2),5), ((-1),6), ((-2),7), ((-1),10), ((1),11), ((1),12), ((-2),15), ((2),16), ((1),17), ((-1),18), ((1),19), ((-2),20), ((-2),21), ((2),24), ((-1),25), ((2),26), ((-2),27), ((-1),28), ((2),29), ((1),30), ((-1),32), ((-2),38), ((-2),39), ((-1),40), ((-1),41), ((2),42), ((2),43), ((-2),45), ((1),48), ((-2),49), ((2),50), ((-2),52), ((-2),53), ((1),54), ((-2),55), ((1),56), ((1),57), ((2),60), ((1),64), ((-1),65), ((-2),66), ((-1),67), ((-2),68), ((2),69), ((-1),72), ((-1),74)], (29)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((2),5), ((2),6), ((-2),7), ((-2),8), ((2),11), ((-1),12), ((1),13), ((-2),16), ((-2),18), ((-2),19), ((-2),21), ((-2),22), ((-1),23), ((-2),24), ((2),25), ((2),26), ((1),29), ((2),31), ((-1),33), ((-2),34), ((2),35), ((-1),38), ((-2),39), ((1),40), ((2),41), ((2),42), ((1),43), ((-2),44), ((1),45), ((-1),46), ((1),47), ((1),48), ((-1),50), ((-1),53), ((1),58), ((2),60), ((1),62), ((-2),64), ((-2),67), ((2),69), ((-2),71), ((1),72), ((2),74)], (-26)), ("GEQ", [((1),1), ((-1),3), ((2),4), ((1),7), ((1),8), ((1),10), ((-2),11), ((-1),12), ((2),18), ((-2),19), ((-1),20), ((-1),21), ((-1),22), ((2),23), ((1),27), ((-1),28), ((2),29), ((1),31), ((1),32), ((-1),33), ((-1),37), ((-1),39), ((2),40), ((2),44), ((2),45), ((1),49), ((-1),50), ((-2),52), ((-1),54), ((-2),58), ((-1),61), ((-2),62), ((2),64), ((-1),66), ((-2),67), ((2),72), ((-2),73), ((1),74)], (-1)), ("GEQ", [((-2),1), ((-2),3), ((2),4), ((-2),5), ((1),6), ((-1),9), ((-1),11), ((1),12), ((-1),13), ((2),14), ((-2),15), ((1),16), ((2),17), ((-1),19), ((2),20), ((-2),23), ((-1),24), ((-2),25), ((1),26), ((-2),28), ((-1),29), ((1),30), ((-1),31), ((-2),32), ((1),33), ((-2),34), ((-1),35), ((-2),36), ((1),37), ((1),38), ((-2),39), ((1),40), ((1),43), ((2),44), ((1),46), ((-2),49), ((1),51), ((-1),53), ((-1),54), ((-2),56), ((-2),58), ((-2),59), ((2),60), ((1),61), ((-1),68), ((-2),69), ((-2),71), ((1),73), ((-2),74)], (30)), ("GEQ", [((-2),2), ((1),4), ((1),8), ((-2),9), ((-2),10), ((1),13), ((-2),15), ((-1),16), ((2),19), ((2),20), ((-1),21), ((-1),22), ((1),24), ((1),25), ((-1),26), ((-1),27), ((-1),28), ((1),32), ((-2),33), ((2),35), ((-1),36), ((-2),39), ((-1),40), ((-2),41), ((1),42), ((-1),45), ((2),46), ((-2),47), ((1),48), ((1),52), ((-2),53), ((-1),54), ((2),56), ((-1),57), ((-2),58), ((2),59), ((2),60), ((1),61), ((-2),62), ((-1),63), ((-2),64), ((1),65), ((2),66), ((-1),68), ((-1),69), ((-1),71), ((-2),72)], (53)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),3), ((1),5), ((-1),7), ((1),9), ((-2),10), ((-2),11), ((-1),12), ((-2),13), ((1),14), ((-1),16), ((1),17), ((-2),20), ((-2),21), ((-2),22), ((-1),23), ((-2),24), ((-1),26), ((1),28), ((-2),30), ((-1),33), ((1),34), ((-2),35), ((-2),36), ((-2),38), ((-2),42), ((2),43), ((-2),44), ((1),46), ((1),47), ((1),49), ((-2),50), ((-1),57), ((-1),58), ((-1),59), ((1),60), ((1),61), ((-1),62), ((1),63), ((2),64), ((-2),69), ((2),70), ((2),73), ((-1),74)], (30)), ("GEQ", [((-2),5), ((2),6), ((2),7), ((-2),9), ((2),10), ((2),11), ((1),13), ((1),14), ((-1),17), ((-2),21), ((-2),22), ((-2),23), ((1),24), ((-2),26), ((1),29), ((2),31), ((-1),32), ((-2),33), ((-1),34), ((-1),36), ((1),37), ((2),38), ((-2),39), ((1),40), ((-2),41), ((2),42), ((1),45), ((-1),46), ((-1),48), ((-1),49), ((2),50), ((1),52), ((-2),53), ((2),55), ((2),56), ((-1),57), ((1),60), ((-1),61), ((-2),63), ((2),64), ((-2),65), ((2),66), ((-1),67), ((-1),68), ((2),69), ((1),70), ((-1),71), ((2),73)], (31)), ("GEQ", [((-2),0), ((-1),3), ((-1),4), ((1),5), ((1),7), ((-1),9), ((-2),10), ((1),12), ((-2),13), ((-1),14), ((-1),15), ((-2),16), ((-1),18), ((-2),19), ((2),20), ((-2),21), ((-1),22), ((-1),27), ((-2),28), ((1),29), ((2),32), ((-2),34), ((-1),36), ((2),39), ((-1),40), ((-2),42), ((-1),43), ((-1),47), ((2),48), ((2),49), ((-2),53), ((-2),54), ((2),55), ((2),56), ((2),57), ((-1),59), ((1),60), ((2),64), ((-1),66), ((2),67), ((2),68), ((-2),69), ((-2),70), ((1),72), ((1),73), ((2),74)], (2)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),8), ((-2),9), ((2),12), ((-1),14), ((2),15), ((1),16), ((2),19), ((1),20), ((1),21), ((-1),23), ((-2),25), ((1),26), ((1),27), ((-2),33), ((-2),34), ((-1),38), ((1),40), ((-1),42), ((2),43), ((-2),45), ((-2),48), ((1),49), ((-2),51), ((-2),52), ((2),53), ((1),54), ((1),55), ((-1),56), ((-2),57), ((-1),58), ((2),59), ((-2),60), ((2),61), ((-2),63), ((-1),64), ((2),69), ((-1),71), ((-2),72)], (20)), ("GEQ", [((-1),0), ((-1),3), ((-1),7), ((1),8), ((1),9), ((-1),10), ((1),11), ((-1),12), ((-2),15), ((2),17), ((2),18), ((-1),19), ((1),20), ((-2),21), ((-1),22), ((2),23), ((-1),24), ((1),29), ((-2),30), ((-1),31), ((-1),33), ((-2),35), ((-2),39), ((1),40), ((2),41), ((2),45), ((2),46), ((2),47), ((1),48), ((-1),50), ((-1),51), ((2),56), ((-2),57), ((1),58), ((1),62), ((2),63), ((-2),67), ((-2),68), ((1),71), ((1),74)], (8)), ("GEQ", [((1),1), ((1),4), ((2),7), ((-2),9), ((-1),11), ((1),13), ((2),15), ((2),19), ((1),20), ((2),21), ((-2),22), ((-1),23), ((2),24), ((-1),25), ((2),26), ((-2),29), ((-2),32), ((-2),33), ((2),34), ((-1),36), ((2),37), ((2),38), ((-1),40), ((-1),41), ((1),42), ((1),44), ((2),46), ((1),50), ((2),51), ((-2),53), ((-2),54), ((-1),57), ((-2),58), ((2),59), ((-2),61), ((-2),62), ((2),63), ((1),65), ((1),66), ((1),67), ((-1),68), ((-2),69), ((2),70), ((-1),71), ((-1),73)], (-1)), ("GEQ", [((1),0), ((1),1), ((-2),4), ((-2),6), ((1),8), ((-2),9), ((2),10), ((1),11), ((1),12), ((2),13), ((2),17), ((-1),19), ((2),21), ((-1),24), ((2),26), ((-1),27), ((-2),28), ((-1),30), ((-2),32), ((-1),33), ((-2),34), ((-1),37), ((1),38), ((2),43), ((1),45), ((-2),46), ((-2),47), ((1),48), ((1),50), ((1),52), ((1),53), ((-1),56), ((2),57), ((-1),59), ((-2),60), ((2),61), ((-1),63), ((-1),64), ((-1),65), ((-2),69), ((2),70), ((-1),72), ((-1),74)], (-10)), ("GEQ", [((-2),2), ((-1),5), ((-2),7), ((1),11), ((-1),12), ((-1),15), ((-2),16), ((-2),18), ((1),19), ((-1),20), ((1),22), ((1),23), ((1),25), ((2),26), ((2),27), ((-2),28), ((2),30), ((-2),31), ((-1),32), ((1),35), ((-2),36), ((-2),37), ((-1),40), ((1),41), ((-1),42), ((1),43), ((2),44), ((2),46), ((1),49), ((1),53), ((-2),54), ((-2),55), ((-2),58), ((-2),59), ((2),60), ((-1),61), ((-2),63), ((-1),64), ((-2),65), ((1),67), ((-2),68), ((1),69), ((1),70), ((1),72), ((-2),73), ((2),74)], (37)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-1),8), ((-2),11), ((-2),12), ((-1),13), ((-1),14), ((2),17), ((-2),18), ((1),19), ((2),20), ((1),24), ((-1),27), ((1),28), ((1),29), ((1),32), ((-2),35), ((-2),37), ((2),41), ((-2),46), ((1),47), ((2),48), ((1),49), ((-2),52), ((2),57), ((-2),58), ((-2),59), ((2),60), ((1),61), ((2),62), ((2),64), ((1),65), ((-2),67), ((-1),68), ((1),70), ((1),72)], (3)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((2),5), ((-2),6), ((-2),7), ((1),9), ((-2),14), ((-1),15), ((2),17), ((-2),18), ((2),21), ((1),24), ((-1),25), ((1),26), ((-2),27), ((-1),29), ((2),30), ((2),31), ((-2),32), ((-2),33), ((2),34), ((-2),35), ((2),36), ((-1),37), ((1),39), ((-2),43), ((1),44), ((-1),45), ((-1),48), ((-1),50), ((-1),51), ((2),52), ((-1),53), ((-1),54), ((-1),55), ((1),56), ((-1),59), ((2),60), ((-2),61), ((2),62), ((2),65), ((1),68), ((-1),69), ((-2),70), ((2),71), ((-1),72), ((-2),73)], (26)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((-1),4), ((1),5), ((2),6), ((-2),8), ((-2),12), ((1),17), ((-2),19), ((-1),20), ((2),21), ((2),22), ((2),24), ((-1),25), ((-1),27), ((2),28), ((1),29), ((-2),30), ((-1),31), ((2),33), ((-2),35), ((1),36), ((-1),39), ((-1),40), ((-1),41), ((-1),43), ((1),44), ((1),49), ((2),51), ((2),52), ((-2),53), ((-2),54), ((1),56), ((2),57), ((-2),58), ((1),60), ((2),61), ((-1),62), ((1),63), ((-2),66), ((2),68), ((-1),72), ((-1),74)], (6)), ("GEQ", [((1),0), ((1),2), ((2),3), ((2),6), ((-2),10), ((2),12), ((1),14), ((2),15), ((-2),16), ((-2),17), ((-1),18), ((-2),19), ((-2),20), ((2),22), ((-1),24), ((-1),25), ((-1),26), ((1),27), ((2),28), ((-1),29), ((-2),31), ((-1),34), ((-1),35), ((-1),36), ((-1),42), ((2),45), ((2),46), ((1),47), ((-2),48), ((2),49), ((-2),50), ((2),51), ((2),53), ((-1),55), ((2),56), ((-2),57), ((2),59), ((-2),60), ((-1),61), ((-2),62), ((1),64), ((-2),65), ((1),66), ((1),67), ((1),69)], (33)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((1),4), ((1),7), ((-1),8), ((-1),9), ((-1),10), ((-1),11), ((1),12), ((2),13), ((2),15), ((1),18), ((-2),19), ((1),20), ((2),21), ((-1),22), ((2),23), ((2),25), ((2),26), ((-1),27), ((1),28), ((2),29), ((-1),30), ((-1),33), ((2),35), ((1),36), ((1),37), ((1),39), ((-1),40), ((-2),41), ((-2),43), ((1),44), ((1),45), ((1),46), ((2),47), ((1),51), ((1),55), ((-1),56), ((2),59), ((-2),60), ((-1),61), ((1),64), ((2),66), ((-2),68), ((2),69), ((-1),70), ((-2),72), ((-2),73), ((2),74)], (3)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((2),3), ((2),4), ((1),13), ((-2),14), ((1),17), ((-1),18), ((-1),21), ((1),22), ((-2),25), ((2),30), ((1),31), ((-1),33), ((-2),35), ((-1),36), ((-2),37), ((1),38), ((-2),39), ((-1),41), ((-2),44), ((-2),46), ((-1),48), ((1),49), ((1),50), ((2),51), ((-1),52), ((2),55), ((2),56), ((-1),57), ((-1),58), ((1),60), ((1),61), ((-2),64), ((-2),66), ((1),68), ((1),69), ((1),71), ((-2),74)], (15)), ("GEQ", [((-2),1), ((1),2), ((-2),4), ((1),5), ((1),7), ((-2),9), ((-2),12), ((-1),15), ((2),17), ((2),18), ((-2),19), ((-2),20), ((-2),21), ((1),22), ((-1),24), ((-2),25), ((-2),26), ((1),27), ((-2),30), ((1),31), ((1),32), ((2),33), ((1),34), ((-2),35), ((2),36), ((1),37), ((1),38), ((-1),40), ((1),41), ((2),43), ((-2),44), ((-2),45), ((2),46), ((1),47), ((-1),49), ((-1),50), ((2),51), ((2),52), ((2),54), ((-1),56), ((2),57), ((-1),59), ((-1),62), ((2),63), ((2),65), ((-2),66), ((-2),67), ((-2),68), ((-2),69), ((2),70)], (-11)), ("GEQ", [((2),0), ((-2),2), ((-1),4), ((1),9), ((-2),11), ((2),13), ((2),14), ((-1),15), ((-1),16), ((-2),17), ((-2),20), ((-1),22), ((-2),25), ((2),27), ((1),29), ((-1),31), ((-2),34), ((2),35), ((-1),37), ((-1),39), ((-2),41), ((-1),43), ((1),44), ((2),47), ((2),50), ((1),51), ((-1),52), ((-1),53), ((1),56), ((-2),57), ((1),58), ((-2),61), ((-2),62), ((2),66), ((1),67), ((2),69), ((2),71), ((-1),74)], (15)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-2),4), ((-2),5), ((-1),6), ((1),7), ((2),8), ((1),10), ((-1),11), ((2),12), ((1),14), ((2),15), ((1),16), ((2),20), ((2),21), ((-1),22), ((-2),23), ((-2),27), ((-2),28), ((-2),30), ((2),35), ((1),36), ((1),37), ((-1),40), ((1),41), ((-1),42), ((2),43), ((2),44), ((2),48), ((-2),49), ((-2),50), ((-2),54), ((-1),55), ((-2),57), ((2),59), ((1),62), ((-2),63), ((-2),64), ((-1),65), ((-1),67), ((1),69), ((-2),70), ((2),71), ((1),72), ((-1),73), ((-1),74)], (-27)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((-1),5), ((2),9), ((1),10), ((-1),15), ((-2),18), ((-1),19), ((2),20), ((-2),21), ((1),22), ((-2),24), ((-1),25), ((-2),27), ((-2),28), ((1),29), ((2),30), ((1),31), ((1),33), ((1),34), ((1),35), ((-2),36), ((1),39), ((1),42), ((2),43), ((1),44), ((-1),47), ((1),48), ((-1),52), ((-2),53), ((2),54), ((-2),55), ((2),56), ((-2),58), ((2),60), ((2),61), ((-2),66), ((-2),67), ((-1),68), ((2),69), ((1),70), ((2),71), ((-1),72)], (12)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),3), ((-1),6), ((-2),7), ((1),8), ((-1),10), ((-2),11), ((1),13), ((2),17), ((1),18), ((-1),19), ((-2),20), ((2),21), ((2),22), ((-2),23), ((-1),24), ((2),27), ((-1),30), ((1),33), ((2),34), ((2),35), ((2),36), ((-2),37), ((-2),38), ((-1),40), ((1),42), ((1),43), ((2),45), ((2),47), ((1),49), ((-1),51), ((-2),53), ((-2),54), ((2),55), ((-1),59), ((1),60), ((2),67), ((1),68), ((-2),71), ((-1),73), ((-2),74)], (-15)), ("GEQ", [((1),0), ((2),1), ((1),3), ((-1),4), ((2),6), ((-2),7), ((1),8), ((-2),9), ((-1),11), ((-2),13), ((2),14), ((-2),19), ((-1),22), ((-2),23), ((1),24), ((1),25), ((1),26), ((1),28), ((2),29), ((1),30), ((2),36), ((-2),37), ((-1),39), ((1),40), ((2),41), ((1),43), ((-2),47), ((-1),48), ((-1),49), ((-1),50), ((-2),53), ((-2),54), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((-1),61), ((-2),62), ((2),63), ((-1),64), ((1),67), ((-1),69), ((-2),70), ((2),72), ((1),73), ((1),74)], (-7)), ("GEQ", [((-2),2), ((2),5), ((2),7), ((-2),8), ((2),10), ((-1),13), ((-1),14), ((-1),16), ((2),20), ((-1),21), ((-1),22), ((-2),23), ((-1),24), ((1),25), ((2),26), ((1),29), ((1),31), ((1),32), ((2),34), ((2),37), ((2),39), ((-2),42), ((1),45), ((-1),46), ((-2),50), ((2),51), ((2),52), ((-2),53), ((-1),57), ((2),59), ((1),60), ((-2),62), ((1),63), ((1),64), ((-2),65), ((1),66), ((-1),67), ((-1),68), ((-2),71), ((1),73), ((-2),74)], (-27)), ("GEQ", [((-2),2), ((1),3), ((-1),8), ((2),9), ((-2),12), ((2),14), ((-1),15), ((1),16), ((2),18), ((-2),19), ((-1),24), ((-2),27), ((-2),29), ((-1),30), ((-1),31), ((-2),32), ((2),33), ((-2),34), ((1),35), ((-1),36), ((-2),38), ((-2),40), ((-1),42), ((-2),45), ((-1),49), ((-1),50), ((-1),51), ((1),55), ((1),56), ((-1),58), ((-1),59), ((1),60), ((2),62), ((2),64), ((2),65), ((-1),66), ((2),67), ((2),70), ((1),71), ((-2),73), ((-2),74)], (10)), ("GEQ", [((-1),0), ((-2),3), ((-2),4), ((-1),5), ((-1),6), ((2),8), ((1),9), ((2),12), ((2),13), ((-1),14), ((2),17), ((-1),18), ((-2),21), ((2),22), ((2),24), ((2),25), ((-2),26), ((-1),27), ((-2),29), ((-1),32), ((-1),34), ((-1),35), ((-1),36), ((-1),37), ((2),39), ((-1),42), ((1),43), ((-1),44), ((-2),46), ((1),48), ((-1),50), ((2),52), ((-2),53), ((1),55), ((1),56), ((-1),57), ((-2),58), ((-2),59), ((1),60), ((-1),61), ((1),64), ((1),67), ((2),70), ((1),71), ((-1),73), ((1),74)], (6)), ("GEQ", [((-1),0), ((-1),4), ((-2),6), ((-2),7), ((2),8), ((1),12), ((-2),15), ((-2),19), ((2),22), ((-2),23), ((-2),26), ((1),27), ((-2),28), ((-1),30), ((-1),31), ((2),32), ((2),36), ((-1),43), ((2),46), ((-1),47), ((-1),48), ((-2),49), ((2),52), ((1),53), ((-2),55), ((2),56), ((1),60), ((-1),62), ((-1),63), ((2),65), ((2),66), ((1),70), ((1),71), ((2),72), ((2),74)], (9)), ("GEQ", [((1),0), ((-1),2), ((2),4), ((-1),6), ((1),7), ((1),8), ((-1),9), ((-2),11), ((-1),14), ((-2),15), ((-2),16), ((-1),17), ((1),18), ((1),19), ((1),22), ((-2),25), ((2),26), ((1),27), ((-1),30), ((-1),31), ((-1),32), ((1),34), ((-1),37), ((2),38), ((2),41), ((2),43), ((-1),45), ((-1),46), ((-2),47), ((1),48), ((-1),51), ((1),52), ((1),54), ((2),55), ((-2),57), ((-1),58), ((-2),59), ((1),60), ((1),61), ((1),64), ((-1),65), ((1),66), ((2),68), ((1),69), ((-1),70), ((-1),71), ((-2),72), ((-2),73), ((-2),74)], (13)), ("GEQ", [((-1),1), ((-2),2), ((-2),3), ((2),6), ((1),7), ((1),8), ((-2),9), ((2),10), ((-1),11), ((1),13), ((-1),14), ((2),15), ((-2),17), ((-1),18), ((-2),20), ((2),21), ((1),22), ((-2),23), ((-2),24), ((2),25), ((-1),27), ((-2),28), ((1),29), ((-1),30), ((-1),33), ((-2),34), ((-2),35), ((-1),36), ((2),38), ((-1),43), ((1),45), ((-2),46), ((2),47), ((2),50), ((-1),52), ((1),53), ((2),58), ((2),59), ((-2),60), ((-2),62), ((1),65), ((2),66), ((-1),68), ((1),69), ((-2),71), ((-1),73)], (-11)), ("GEQ", [((1),1), ((2),2), ((-2),3), ((-2),5), ((1),7), ((1),8), ((-1),9), ((-2),11), ((1),12), ((-2),15), ((2),17), ((2),18), ((-1),19), ((2),22), ((-2),24), ((2),25), ((1),26), ((2),27), ((-2),28), ((2),29), ((1),30), ((2),33), ((-1),36), ((-1),37), ((2),39), ((-1),40), ((1),42), ((-1),43), ((2),45), ((-2),46), ((2),48), ((-2),49), ((2),53), ((2),54), ((-1),56), ((2),57), ((-1),59), ((-2),64), ((2),65), ((1),66), ((2),67), ((2),68), ((2),70), ((1),72), ((1),74)], (-47)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((2),4), ((2),5), ((1),6), ((2),7), ((-2),9), ((2),13), ((2),15), ((1),18), ((1),19), ((2),21), ((-2),23), ((-2),24), ((-1),25), ((2),28), ((-2),30), ((1),31), ((-1),32), ((1),33), ((2),34), ((-1),35), ((2),36), ((1),37), ((1),40), ((-1),41), ((2),42), ((2),43), ((1),45), ((-1),46), ((-1),48), ((1),49), ((-2),52), ((-2),53), ((2),54), ((2),57), ((2),58), ((-1),64), ((1),65), ((-1),66), ((2),67), ((-1),70), ((2),71), ((2),73)], (-31)), ("GEQ", [((1),0), ((2),3), ((2),4), ((1),5), ((-2),6), ((1),7), ((-2),8), ((-2),9), ((-2),11), ((-1),12), ((2),13), ((1),14), ((-1),15), ((2),16), ((-2),17), ((1),18), ((1),19), ((-2),20), ((1),21), ((2),22), ((-1),23), ((-1),24), ((-1),25), ((-1),26), ((2),27), ((1),28), ((1),32), ((2),33), ((2),35), ((1),36), ((2),37), ((-1),38), ((2),40), ((-2),41), ((1),46), ((1),48), ((1),50), ((-1),52), ((-1),53), ((1),54), ((2),55), ((1),56), ((2),58), ((2),60), ((1),61), ((-1),62), ((-2),63), ((-2),64), ((-1),68), ((-1),69), ((-2),74)], (38)), ("GEQ", [((2),2), ((2),3), ((-1),6), ((-2),9), ((-1),11), ((-1),12), ((2),13), ((-1),14), ((1),15), ((1),16), ((1),17), ((1),20), ((1),21), ((1),22), ((-1),23), ((2),25), ((-1),27), ((1),30), ((-2),31), ((-1),32), ((-2),33), ((-1),34), ((-1),35), ((1),36), ((1),39), ((-2),40), ((-2),42), ((-1),44), ((1),45), ((-2),46), ((1),53), ((-1),54), ((1),55), ((2),57), ((-1),58), ((-2),62), ((2),63), ((-1),64), ((-2),65), ((-1),66), ((1),67), ((-2),69), ((2),70), ((-2),71), ((1),74)], (-28)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((-2),4), ((-1),5), ((-1),9), ((2),13), ((1),15), ((1),18), ((2),20), ((-2),23), ((1),24), ((2),26), ((-2),27), ((1),34), ((-1),35), ((-2),37), ((-1),38), ((-1),39), ((1),40), ((-2),41), ((-1),42), ((2),44), ((1),45), ((-1),46), ((1),47), ((1),48), ((-2),51), ((2),52), ((-2),53), ((-2),54), ((-2),55), ((1),59), ((-2),60), ((-1),61), ((-1),62), ((1),63), ((1),64), ((-2),66), ((2),69), ((1),73)], (-12)), ("GEQ", [((1),0), ((1),2), ((2),5), ((1),6), ((1),7), ((2),10), ((-2),11), ((-2),13), ((1),15), ((-1),16), ((-1),19), ((-1),21), ((-1),22), ((1),23), ((2),24), ((-2),25), ((2),27), ((-1),28), ((-2),29), ((-2),30), ((-2),31), ((1),32), ((1),33), ((2),34), ((1),37), ((2),38), ((-1),39), ((-1),43), ((2),44), ((-2),49), ((-1),51), ((2),52), ((-1),56), ((1),58), ((2),60), ((-1),63), ((1),65), ((-1),67), ((-2),69), ((-2),70), ((-1),73)], (-10)), ("GEQ", [((2),0), ((-1),1), ((1),3), ((2),4), ((2),5), ((2),6), ((-1),9), ((-2),10), ((-2),13), ((-2),19), ((-2),22), ((2),23), ((-1),24), ((1),25), ((-1),26), ((1),27), ((-2),28), ((-2),29), ((1),30), ((-1),31), ((-1),32), ((2),33), ((2),34), ((1),38), ((-1),39), ((1),44), ((2),45), ((2),47), ((-1),48), ((1),51), ((2),52), ((1),57), ((1),58), ((1),62), ((-2),64), ((1),65), ((-2),66), ((-2),67), ((-2),68), ((1),69), ((-2),70), ((2),72), ((-1),73)], (6)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),4), ((2),6), ((1),8), ((-1),9), ((1),10), ((-2),12), ((-1),13), ((2),14), ((1),16), ((-2),19), ((-1),20), ((1),21), ((-1),25), ((1),26), ((1),27), ((-1),28), ((2),29), ((2),31), ((2),32), ((1),33), ((-2),35), ((-2),36), ((-1),38), ((1),42), ((-1),44), ((2),45), ((2),48), ((-1),49), ((2),50), ((2),51), ((1),58), ((2),60), ((1),61), ((2),62), ((1),63), ((1),65), ((1),66), ((1),67), ((-1),68), ((-2),70), ((2),71), ((-1),72), ((2),73), ((1),74)], (-5)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((-1),4), ((-2),7), ((-1),8), ((2),9), ((1),10), ((1),13), ((2),15), ((1),18), ((-2),19), ((1),20), ((2),21), ((1),22), ((-2),23), ((1),24), ((-2),26), ((1),29), ((-2),30), ((-2),31), ((-1),32), ((-2),34), ((-2),38), ((-1),40), ((1),41), ((1),42), ((-1),43), ((-1),46), ((2),49), ((2),51), ((2),52), ((1),53), ((-2),54), ((1),57), ((-2),59), ((1),61), ((-1),62), ((-1),63), ((1),65), ((1),66), ((2),67), ((2),69), ((2),70), ((1),71), ((-2),73), ((-1),74)], (14)), ("GEQ", [((1),2), ((-2),3), ((1),4), ((-2),6), ((-1),8), ((2),9), ((-2),11), ((-1),12), ((1),13), ((-2),16), ((-1),20), ((-1),22), ((1),23), ((-2),24), ((1),25), ((-1),26), ((1),28), ((-1),30), ((1),33), ((-2),34), ((2),35), ((2),37), ((2),38), ((2),41), ((-2),43), ((1),47), ((-2),48), ((-1),49), ((-2),52), ((-2),54), ((2),55), ((1),57), ((1),58), ((-1),60), ((2),61), ((-1),62), ((2),63), ((-1),64), ((-2),66), ((2),70), ((1),71)], (-8)), ("GEQ", [((1),0), ((-2),2), ((-2),3), ((-2),4), ((-2),5), ((1),6), ((-1),7), ((1),8), ((-2),9), ((2),10), ((-1),12), ((-2),15), ((2),16), ((-2),18), ((1),21), ((1),22), ((1),23), ((1),25), ((1),30), ((1),32), ((2),33), ((1),34), ((2),35), ((2),36), ((1),37), ((1),38), ((1),39), ((2),40), ((2),42), ((-2),44), ((2),45), ((2),46), ((-1),47), ((-2),49), ((-2),51), ((-2),52), ((1),53), ((1),55), ((2),56), ((-1),57), ((2),59), ((-2),61), ((1),63), ((-2),64), ((2),65), ((2),66), ((-1),68), ((-2),70), ((-1),71), ((1),72), ((-1),73), ((2),74)], (-13)), ("GEQ", [((-1),1), ((2),3), ((-2),4), ((2),5), ((1),7), ((-2),8), ((-1),9), ((-1),10), ((2),13), ((1),14), ((1),16), ((-1),17), ((2),21), ((-1),22), ((-1),23), ((-1),25), ((1),26), ((-2),27), ((1),28), ((2),30), ((1),32), ((-2),34), ((-2),40), ((1),42), ((-2),43), ((-2),45), ((2),47), ((1),48), ((-2),50), ((-1),51), ((2),53), ((1),54), ((-1),55), ((-1),56), ((2),58), ((-2),59), ((-1),61), ((-1),62), ((-1),66), ((-2),67), ((-2),68), ((2),69), ((1),70), ((1),72), ((1),74)], (-2)), ("GEQ", [((1),1), ((1),4), ((1),10), ((-2),12), ((-1),15), ((2),16), ((2),17), ((-1),18), ((1),20), ((1),23), ((-1),25), ((2),28), ((1),29), ((-2),30), ((1),31), ((-2),32), ((2),34), ((-2),35), ((2),36), ((2),37), ((2),38), ((2),39), ((-1),40), ((-2),42), ((-2),44), ((-2),45), ((-2),46), ((2),47), ((-2),48), ((1),49), ((-1),51), ((-1),53), ((2),55), ((1),56), ((2),57), ((1),59), ((1),60), ((2),61), ((-2),63), ((-1),64), ((2),65), ((2),66), ((-1),67), ((2),68), ((-2),71), ((2),74)], (2)), ("GEQ", [((-1),0), ((2),2), ((2),4), ((-2),5), ((1),6), ((2),8), ((2),9), ((-1),11), ((-1),12), ((-2),13), ((-2),14), ((2),15), ((-2),16), ((1),17), ((-1),18), ((-1),19), ((1),21), ((-2),22), ((-2),26), ((1),28), ((1),29), ((-1),32), ((1),33), ((-2),34), ((2),35), ((-1),36), ((-2),37), ((2),38), ((1),39), ((-1),40), ((-2),41), ((-1),42), ((1),43), ((1),47), ((1),49), ((-2),50), ((2),55), ((-2),56), ((1),58), ((1),59), ((-2),60), ((1),62), ((1),63), ((2),66), ((1),67), ((2),70), ((-2),71), ((1),72), ((-2),74)], (-46)), ("GEQ", [((26),0), ((-28),1), ((7),2), ((42),3), ((3),4), ((18),5), ((1),6), ((19),7), ((15),8), ((35),9), ((-1),10), ((24),11), ((28),12), ((-7),13), ((12),14), ((33),15), ((15),16), ((-37),17), ((28),18), ((44),19), ((-40),20), ((18),21), ((-25),22), ((40),23), ((9),24), ((18),25), ((-52),26), ((44),28), ((-9),29), ((7),30), ((26),31), ((-8),32), ((-5),33), ((1),34), ((-6),35), ((15),36), ((13),37), ((39),38), ((11),39), ((17),40), ((20),41), ((-6),42), ((11),43), ((-30),44), ((-14),45), ((-13),46), ((-15),47), ((-33),48), ((-7),49), ((29),50), ((1),51), ((-53),52), ((5),53), ((10),54), ((-26),55), ((-15),56), ((-40),57), ((-2),58), ((10),59), ((-54),60), ((-20),61), ((-7),62), ((1),63), ((13),64), ((-59),65), ((-30),66), ((15),67), ((49),68), ((7),69), ((-9),70), ((7),71), ((1),72), ((25),73), ((-16),74)], (-773)), ("GEQ", [((-35),0), ((33),1), ((-49),2), ((-73),3), ((8),4), ((-13),5), ((2),6), ((-31),7), ((-38),8), ((-42),9), ((-14),10), ((-19),11), ((-64),12), ((9),13), ((-28),14), ((-41),15), ((55),17), ((-26),18), ((-58),19), ((59),20), ((-4),21), ((39),22), ((-16),23), ((-14),24), ((-13),25), ((52),26), ((-11),27), ((-63),28), ((5),29), ((-5),30), ((-62),31), ((28),32), ((19),33), ((27),34), ((-9),35), ((-13),36), ((-34),37), ((-85),38), ((-32),39), ((-15),40), ((-33),41), ((16),42), ((-28),43), ((48),44), ((27),45), ((46),46), ((19),47), ((58),48), ((28),49), ((-29),50), ((-42),51), ((60),52), ((36),53), ((9),54), ((-13),55), ((17),56), ((57),57), ((26),58), ((-4),59), ((69),60), ((29),61), ((10),62), ((-7),63), ((-21),64), ((82),65), ((15),66), ((-17),67), ((-77),68), ((-11),69), ((7),70), ((19),71), ((-1),72), ((-25),73), ((39),74)], (1052)), ("GEQ", [((-57),0), ((39),1), ((43),2), ((-25),3), ((-10),4), ((3),5), ((30),6), ((15),7), ((-14),8), ((-29),9), ((36),10), ((-15),11), ((-20),12), ((-4),13), ((-16),14), ((-17),15), ((-22),16), ((30),17), ((-40),18), ((-41),19), ((79),20), ((-24),21), ((17),22), ((-65),23), ((-11),24), ((-12),25), ((73),26), ((-14),27), ((-48),28), ((-2),29), ((-5),30), ((19),31), ((23),32), ((11),33), ((-44),34), ((16),35), ((-27),36), ((-14),37), ((-7),38), ((25),39), ((-19),40), ((-1),41), ((27),42), ((-9),43), ((7),44), ((-1),45), ((-44),46), ((-8),47), ((37),48), ((-25),49), ((-22),50), ((-1),51), ((43),52), ((-26),53), ((21),54), ((60),55), ((-24),56), ((48),57), ((-16),58), ((-19),59), ((37),60), ((39),61), ((25),62), ((23),63), ((-15),64), ((62),65), ((47),66), ((-2),67), ((-20),68), ((12),69), ((18),70), ((-45),71), ((-18),72), ((-26),73), ((16),74)], (-623)), ("GEQ", [((30),0), ((5),1), ((-24),2), ((-39),3), ((12),4), ((-36),5), ((-42),6), ((-20),7), ((10),8), ((-5),9), ((-15),10), ((-15),11), ((-19),12), ((-4),13), ((17),14), ((-32),15), ((22),16), ((12),17), ((-10),18), ((18),19), ((-30),20), ((-5),21), ((14),22), ((21),23), ((18),24), ((-20),25), ((-4),26), ((17),27), ((9),28), ((6),29), ((5),30), ((-43),31), ((-6),32), ((2),33), ((43),34), ((-4),35), ((18),36), ((19),37), ((-17),39), ((12),40), ((-11),41), ((-42),42), ((20),43), ((19),44), ((-8),45), ((45),46), ((22),47), ((-6),48), ((-7),49), ((8),50), ((-1),51), ((-16),52), ((10),53), ((-31),54), ((-29),55), ((26),56), ((-15),57), ((-5),58), ((16),59), ((20),60), ((-10),61), ((-9),62), ((-17),63), ((-3),64), ((-14),65), ((-10),66), ((-12),67), ((-12),68), ((-15),69), ((-18),70), ((26),71), ((6),72), ((-9),73), ((14),74)], (1040)), ("GEQ", [((115),0), ((-110),1), ((153),2), ((283),3), ((-24),4), ((61),5), ((5),6), ((102),7), ((92),8), ((111),9), ((57),10), ((63),11), ((199),12), ((-30),13), ((83),14), ((124),15), ((-11),16), ((-193),17), ((71),18), ((165),19), ((-167),20), ((15),21), ((-134),22), ((29),23), ((58),24), ((34),25), ((-152),26), ((23),27), ((180),28), ((-9),29), ((39),30), ((198),31), ((-104),32), ((-87),33), ((-99),34), ((39),35), ((9),36), ((106),37), ((254),38), ((91),39), ((4),40), ((95),41), ((-26),42), ((46),43), ((-129),44), ((-101),45), ((-144),46), ((-70),47), ((-153),48), ((-76),49), ((109),50), ((150),51), ((-154),52), ((-127),53), ((-31),54), ((52),55), ((-41),56), ((-182),57), ((-83),58), ((-6),59), ((-182),60), ((-102),61), ((-34),62), ((20),63), ((83),64), ((-233),65), ((-36),66), ((65),67), ((241),68), ((46),69), ((-21),70), ((-70),71), ((-2),72), ((85),73), ((-158),74)], (-3195)), ("GEQ", [((17),0), ((-93),1), ((-64),2), ((46),3), ((22),4), ((88),5), ((37),6), ((-8),7), ((-31),8), ((78),9), ((-51),10), ((81),11), ((22),12), ((11),13), ((-64),14), ((105),15), ((14),16), ((-23),17), ((115),18), ((28),19), ((-67),20), ((85),21), ((-37),22), ((121),23), ((-37),24), ((78),25), ((-120),26), ((8),27), ((69),28), ((-29),29), ((-11),30), ((11),31), ((25),32), ((23),33), ((14),34), ((-36),35), ((32),36), ((-39),37), ((-40),38), ((-18),39), ((33),40), ((23),41), ((57),42), ((-31),43), ((-63),44), ((33),45), ((20),46), ((-27),47), ((-53),48), ((85),49), ((13),50), ((-62),51), ((-61),52), ((94),53), ((72),54), ((-89),55), ((-57),56), ((-12),57), ((76),58), ((-2),59), ((-125),60), ((-24),61), ((-17),62), ((3),63), ((16),64), ((-50),65), ((-74),66), ((48),67), ((25),68), ((-21),69), ((17),70), ((41),71), ((19),72), ((43),73), ((-16),74)], (-1556)), ("GEQ", [((142),0), ((-25),1), ((-210),2), ((-141),3), ((46),4), ((-130),5), ((-203),6), ((-115),7), ((22),8), ((-13),9), ((-153),10), ((-15),11), ((-86),12), ((42),13), ((81),14), ((-126),15), ((129),16), ((43),17), ((35),18), ((59),19), ((-168),20), ((13),21), ((56),22), ((161),23), ((34),24), ((-25),25), ((-128),26), ((30),27), ((47),28), ((48),29), ((-2),30), ((-210),31), ((-21),32), ((3),33), ((225),34), ((-70),35), ((84),36), ((34),37), ((-98),38), ((-139),39), ((58),40), ((-70),41), ((-143),42), ((61),43), ((63),44), ((16),45), ((244),46), ((93),47), ((10),48), ((41),49), ((48),50), ((-47),51), ((-85),52), ((138),53), ((-110),54), ((-229),55), ((170),56), ((-68),57), ((66),58), ((58),59), ((81),60), ((-41),61), ((-30),62), ((-113),63), ((-9),64), ((-82),65), ((-131),66), ((-37),67), ((-72),68), ((-68),69), ((-70),70), ((218),71), ((70),72), ((32),73), ((57),74)], (5475)), ("GEQ", [((-70),0), ((-81),1), ((180),2), ((237),3), ((-25),4), ((135),5), ((188),6), ((136),7), ((31),8), ((61),9), ((130),10), ((65),11), ((146),12), ((-39),13), ((-48),14), ((168),15), ((-95),16), ((-109),17), ((79),18), ((-3),19), ((38),20), ((38),21), ((-131),22), ((-73),23), ((-26),24), ((36),25), ((19),26), ((12),27), ((46),28), ((-54),29), ((-4),30), ((247),31), ((-49),32), ((-25),33), ((-218),34), ((46),35), ((-63),36), ((-23),37), ((148),38), ((115),39), ((-17),40), ((93),41), ((144),42), ((-44),43), ((-97),44), ((-22),45), ((-209),46), ((-101),47), ((-82),48), ((-38),49), ((4),50), ((62),51), ((34),52), ((-119),53), ((101),54), ((177),55), ((-163),56), ((-31),57), ((-33),58), ((-41),59), ((-178),60), ((-28),61), ((1),62), ((99),63), ((36),64), ((-22),65), ((80),66), ((64),67), ((154),68), ((67),69), ((64),70), ((-181),71), ((-45),72), ((24),73), ((-139),74)], (-5872)), ("GEQ", [((-33),0), ((82),1), ((6),2), ((-20),3), ((-50),4), ((-78),5), ((-13),6), ((19),7), ((33),8), ((-70),9), ((38),10), ((-73),11), ((-16),12), ((7),13), ((84),14), ((-98),15), ((-8),16), ((25),17), ((-93),18), ((-48),19), ((101),20), ((-88),21), ((25),22), ((-117),23), ((19),24), ((-64),25), ((84),26), ((-55),27), ((-95),28), ((45),29), ((-6),30), ((22),31), ((-58),32), ((-39),33), ((-5),34), ((-21),35), ((-60),36), ((-17),37), ((-12),38), ((9),39), ((-22),40), ((-19),41), ((-20),42), ((23),43), ((71),44), ((15),45), ((-43),46), ((10),47), ((98),48), ((-73),49), ((-30),50), ((31),51), ((110),52), ((-100),53), ((-50),54), ((69),55), ((69),56), ((-2),57), ((-52),58), ((-25),59), ((153),60), ((30),61), ((44),62), ((-23),63), ((-10),64), ((39),65), ((58),66), ((-62),67), ((-25),68), ((51),69), ((-6),70), ((-12),71), ((-15),72), ((-6),73), ((1),74)], (1846))]
[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]