[("GEQ", [((1),2), ((-2),4), ((2),5), ((-1),6), ((1),7), ((-2),8), ((-1),10), ((1),12), ((1),16), ((-2),18), ((-2),19), ((1),20), ((2),22), ((2),24), ((1),27), ((-2),28), ((1),32), ((2),35), ((2),38), ((-2),39), ((2),41), ((2),43), ((-1),44), ((2),47), ((-1),49), ((-1),50), ((-2),51), ((-1),52), ((2),53), ((1),57), ((2),58), ((-1),61), ((-1),66), ((-2),67), ((1),70), ((2),72), ((-2),73), ((-1),74)], (-37)), ("GEQ", [((2),1), ((2),2), ((-2),3), ((1),5), ((-1),6), ((1),7), ((1),8), ((2),9), ((2),10), ((-2),11), ((-1),12), ((-1),13), ((-2),14), ((1),17), ((-2),18), ((-2),20), ((-2),22), ((2),23), ((2),24), ((-2),25), ((-1),26), ((-1),30), ((1),31), ((-1),35), ((1),37), ((-2),39), ((-1),41), ((-1),42), ((-2),43), ((-1),47), ((1),48), ((-2),50), ((2),51), ((-2),52), ((-2),53), ((1),54), ((-1),55), ((-2),57), ((2),58), ((1),59), ((-1),60), ((-2),61), ((2),67), ((1),68), ((-2),69), ((2),71), ((1),72), ((-2),74)], (-10)), ("GEQ", [((2),0), ((-2),1), ((-2),6), ((-2),7), ((-2),9), ((2),12), ((2),13), ((-1),15), ((1),16), ((-2),17), ((-2),20), ((2),21), ((-1),23), ((2),24), ((1),25), ((-2),26), ((2),29), ((-2),31), ((1),32), ((1),33), ((-2),35), ((2),36), ((1),37), ((1),39), ((-1),40), ((-1),44), ((-2),48), ((1),50), ((-2),51), ((1),52), ((-1),53), ((-2),54), ((1),56), ((-1),57), ((1),58), ((2),59), ((-2),61), ((1),62), ((-2),64), ((2),66), ((2),68), ((-1),69), ((1),72), ((-1),73), ((-1),74)], (1)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((1),3), ((2),4), ((2),5), ((-1),6), ((-1),7), ((2),8), ((-2),9), ((-1),10), ((1),11), ((1),12), ((-2),13), ((-1),15), ((2),16), ((-2),18), ((-1),20), ((1),21), ((-1),23), ((1),26), ((-1),29), ((-2),30), ((1),32), ((2),33), ((2),34), ((-2),36), ((2),37), ((-1),38), ((-1),39), ((1),41), ((-2),42), ((-2),43), ((-2),44), ((-2),46), ((2),47), ((1),49), ((1),50), ((-1),53), ((-1),55), ((2),56), ((1),57), ((2),60), ((-1),61), ((2),64), ((2),66), ((2),68), ((-2),69), ((-1),71), ((-1),72), ((-1),73), ((-2),74)], (-26)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((2),5), ((2),6), ((-2),9), ((1),10), ((1),11), ((-2),13), ((-1),14), ((1),15), ((-2),17), ((-2),18), ((2),19), ((-1),20), ((1),21), ((1),24), ((-2),25), ((-1),28), ((2),29), ((1),33), ((2),34), ((-1),35), ((2),36), ((-2),37), ((-2),38), ((-2),40), ((2),41), ((1),43), ((2),44), ((-1),45), ((1),46), ((1),47), ((-1),50), ((2),52), ((-1),54), ((-2),56), ((-2),58), ((2),59), ((-1),60), ((-2),66), ((-2),73), ((-1),74)], (5)), ("GEQ", [((2),0), ((1),2), ((2),3), ((-2),4), ((2),5), ((-2),6), ((1),7), ((-1),9), ((-2),10), ((1),11), ((-1),12), ((2),14), ((-2),16), ((2),17), ((1),19), ((-1),20), ((2),22), ((-1),23), ((1),25), ((-1),27), ((-1),32), ((-2),37), ((-1),39), ((-2),40), ((-1),41), ((-1),43), ((-2),44), ((2),45), ((2),46), ((1),47), ((-1),48), ((-2),49), ((-2),50), ((-2),51), ((1),53), ((-1),57), ((-1),60), ((1),61), ((2),62), ((2),64), ((2),65), ((-2),66), ((-1),67), ((-2),70), ((1),71), ((2),73)], (-8)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((2),3), ((-2),6), ((-2),9), ((-1),10), ((1),11), ((1),13), ((1),16), ((-1),17), ((1),18), ((1),19), ((2),22), ((1),23), ((-1),24), ((-2),25), ((-1),27), ((2),29), ((-1),30), ((-1),32), ((2),34), ((-1),35), ((-1),36), ((-2),39), ((2),40), ((2),44), ((-1),45), ((-1),46), ((2),47), ((2),48), ((1),49), ((1),50), ((-2),52), ((1),56), ((-1),58), ((-1),60), ((-1),61), ((1),62), ((-2),63), ((1),64), ((-2),66), ((-1),67), ((-1),68), ((-1),69), ((-2),73), ((2),74)], (36)), ("GEQ", [((1),0), ((-1),4), ((-1),5), ((-1),6), ((2),8), ((-1),9), ((2),10), ((2),11), ((2),13), ((-1),15), ((2),16), ((-1),17), ((1),18), ((1),21), ((1),22), ((2),24), ((2),28), ((1),30), ((-2),34), ((-2),35), ((-1),37), ((-1),39), ((-1),42), ((-2),44), ((-1),45), ((2),46), ((-2),47), ((1),49), ((2),51), ((2),52), ((-1),53), ((-1),54), ((-1),55), ((2),56), ((2),58), ((-2),60), ((-2),61), ((1),62), ((-1),63), ((2),66), ((-1),72)], (-9)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-2),5), ((1),6), ((-1),8), ((2),11), ((1),14), ((-1),16), ((-2),18), ((1),19), ((2),20), ((-2),22), ((1),24), ((2),25), ((-1),26), ((1),30), ((-1),31), ((-1),34), ((-1),36), ((-2),37), ((-2),38), ((-2),40), ((2),41), ((2),42), ((-2),43), ((2),44), ((1),45), ((-2),46), ((1),47), ((1),48), ((-1),51), ((2),52), ((2),53), ((1),54), ((-1),55), ((2),56), ((-2),57), ((-1),58), ((2),59), ((1),63), ((2),64), ((-2),65), ((1),66), ((1),68), ((-1),69), ((-1),70), ((-1),71), ((1),72), ((1),73)], (-43)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((-2),6), ((2),8), ((-2),9), ((2),10), ((-1),12), ((1),14), ((-2),15), ((-2),16), ((-1),20), ((1),21), ((-1),22), ((2),23), ((-1),27), ((1),28), ((2),29), ((2),30), ((2),31), ((-2),32), ((-1),33), ((2),36), ((-1),38), ((-2),43), ((2),47), ((2),48), ((1),52), ((-2),53), ((-2),54), ((1),55), ((-1),59), ((1),60), ((-1),61), ((1),62), ((1),64), ((1),65), ((-1),67), ((-2),68), ((-1),70), ((-1),73)], (-18)), ("GEQ", [((-2),0), ((-2),1), ((2),4), ((1),5), ((2),6), ((2),7), ((-1),8), ((1),10), ((1),11), ((1),12), ((2),13), ((1),14), ((-2),15), ((-2),17), ((2),18), ((1),19), ((2),20), ((-1),22), ((-1),23), ((1),24), ((1),25), ((1),26), ((1),28), ((1),30), ((-1),31), ((-2),34), ((1),35), ((2),36), ((-1),38), ((-1),42), ((-2),43), ((-1),44), ((-1),47), ((-1),49), ((-1),51), ((2),53), ((1),54), ((2),55), ((2),57), ((-1),58), ((2),59), ((2),60), ((-1),61), ((2),62), ((-2),63), ((1),65), ((1),66), ((1),67), ((-1),70), ((1),71), ((1),72)], (-42)), ("GEQ", [((2),0), ((2),2), ((2),4), ((-2),8), ((2),12), ((-2),13), ((2),14), ((-2),15), ((-1),17), ((-2),19), ((1),20), ((2),21), ((2),22), ((2),23), ((-1),24), ((-1),26), ((2),27), ((2),28), ((-1),30), ((-1),31), ((-1),32), ((1),34), ((-2),36), ((-1),37), ((1),39), ((-1),40), ((-2),44), ((2),45), ((-1),46), ((-2),47), ((2),48), ((-1),49), ((1),50), ((1),53), ((-2),54), ((2),55), ((-1),56), ((2),61), ((-2),65), ((2),70), ((-1),73), ((-2),74)], (-47)), ("GEQ", [((1),3), ((-1),4), ((-1),5), ((-1),6), ((1),7), ((2),11), ((-1),13), ((1),14), ((1),15), ((-1),16), ((2),20), ((1),21), ((-1),22), ((-2),25), ((-1),26), ((1),27), ((2),28), ((-2),29), ((-1),31), ((1),36), ((-1),39), ((-1),43), ((-1),48), ((-1),49), ((-2),50), ((-2),51), ((2),54), ((2),55), ((-2),56), ((-1),58), ((2),59), ((2),60), ((1),62), ((-2),63), ((-2),64), ((1),66), ((-1),67), ((-1),68), ((-1),70), ((1),71), ((-1),72)], (-5)), ("GEQ", [((-2),0), ((-2),2), ((1),3), ((-1),4), ((1),7), ((2),10), ((2),11), ((2),13), ((2),16), ((1),17), ((-2),19), ((-2),21), ((2),23), ((2),24), ((-2),26), ((2),27), ((-2),28), ((2),29), ((2),30), ((-2),31), ((-2),33), ((-2),35), ((2),38), ((1),39), ((1),40), ((1),42), ((1),43), ((2),46), ((1),49), ((2),51), ((1),53), ((1),54), ((-1),55), ((-1),58), ((2),59), ((-1),61), ((-2),62), ((1),64), ((2),65), ((2),66), ((2),67), ((-1),68), ((-2),71), ((1),72)], (-18)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((1),3), ((-2),5), ((1),7), ((-2),9), ((-2),10), ((-1),11), ((-1),15), ((1),18), ((2),19), ((2),20), ((2),23), ((-1),25), ((-2),28), ((-1),31), ((-2),33), ((-2),34), ((-2),35), ((-2),36), ((2),39), ((1),40), ((-1),41), ((1),45), ((2),46), ((1),48), ((1),50), ((-2),51), ((1),52), ((1),53), ((2),55), ((-2),56), ((-2),57), ((-1),58), ((-1),62), ((-1),63), ((1),64), ((1),66), ((2),68), ((-2),69), ((2),70), ((-2),71), ((-1),72), ((-1),73)], (-61)), ("GEQ", [((2),0), ((2),6), ((1),8), ((-2),9), ((-2),10), ((-2),12), ((-2),15), ((1),17), ((-2),18), ((1),20), ((1),21), ((2),22), ((2),24), ((-1),25), ((-2),28), ((2),30), ((-2),32), ((-2),33), ((2),34), ((2),39), ((2),41), ((-1),44), ((-2),45), ((-1),46), ((1),47), ((-1),48), ((-2),49), ((-2),52), ((-1),53), ((2),55), ((1),57), ((1),60), ((2),61), ((2),62), ((-1),63), ((-1),65), ((-2),66), ((-2),68), ((2),70), ((-1),71), ((-2),73)], (-32)), ("GEQ", [((2),0), ((-2),2), ((2),4), ((1),6), ((-2),8), ((-1),10), ((2),12), ((1),13), ((-1),15), ((1),17), ((-2),21), ((2),23), ((1),24), ((1),26), ((-1),27), ((2),29), ((-1),31), ((-1),32), ((2),35), ((1),36), ((1),37), ((1),38), ((2),39), ((2),40), ((1),43), ((-2),44), ((-2),45), ((2),49), ((2),50), ((-1),51), ((1),52), ((-2),54), ((1),57), ((-1),58), ((-1),59), ((1),60), ((-2),61), ((1),63), ((2),64), ((1),67), ((1),69), ((2),70), ((-2),74)], (-6)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),3), ((-1),4), ((2),5), ((-2),6), ((2),9), ((2),10), ((1),12), ((1),13), ((-1),14), ((2),16), ((-1),18), ((-1),19), ((2),21), ((2),22), ((2),23), ((-2),24), ((1),26), ((-1),28), ((1),29), ((1),30), ((-1),31), ((1),32), ((-1),34), ((1),36), ((2),39), ((1),41), ((-2),42), ((2),44), ((-1),47), ((2),48), ((-2),49), ((1),50), ((2),55), ((-2),58), ((-2),59), ((-2),60), ((1),65), ((1),66), ((-1),67), ((-1),68), ((1),69), ((2),71), ((1),72), ((-1),74)], (19)), ("GEQ", [((-1),2), ((-1),3), ((-2),4), ((1),5), ((-1),7), ((-1),8), ((1),11), ((1),12), ((-2),13), ((-1),15), ((2),18), ((2),19), ((1),21), ((1),22), ((1),23), ((1),24), ((-2),25), ((-1),27), ((-2),28), ((-1),29), ((-2),30), ((-2),31), ((2),32), ((-1),33), ((1),35), ((-2),37), ((-1),38), ((-1),39), ((1),40), ((-1),42), ((-2),44), ((-2),45), ((1),46), ((-1),47), ((1),48), ((-2),50), ((2),52), ((-2),53), ((-1),54), ((1),56), ((2),57), ((-1),60), ((2),61), ((1),62), ((1),64), ((-1),65), ((2),66), ((-1),67), ((1),68), ((-2),69), ((-2),70), ((-1),72), ((-1),73), ((-2),74)], (7)), ("GEQ", [((1),0), ((-2),3), ((-2),4), ((2),6), ((-2),7), ((2),10), ((-1),11), ((-2),12), ((-2),13), ((-1),14), ((-2),15), ((2),16), ((-1),18), ((1),20), ((2),21), ((-1),22), ((1),26), ((2),27), ((1),29), ((-2),30), ((-2),31), ((1),32), ((1),33), ((-1),36), ((-2),38), ((1),40), ((2),42), ((-1),44), ((-1),47), ((2),48), ((2),51), ((-2),53), ((-2),54), ((1),55), ((-1),58), ((2),59), ((-1),60), ((-2),61), ((-2),62), ((-2),64), ((1),65), ((-1),69), ((1),70), ((-1),71), ((-1),72), ((-2),73), ((1),74)], (-20)), ("GEQ", [((2),2), ((-2),3), ((2),4), ((-1),5), ((2),7), ((2),8), ((-2),11), ((1),16), ((1),17), ((1),19), ((2),20), ((-1),21), ((1),24), ((-1),27), ((1),28), ((-1),29), ((2),30), ((2),31), ((2),32), ((-2),33), ((-1),34), ((-2),37), ((1),39), ((1),40), ((1),41), ((1),42), ((-1),44), ((-2),46), ((1),47), ((1),48), ((-1),50), ((2),52), ((-1),53), ((-2),54), ((-1),56), ((1),57), ((-1),60), ((1),61), ((-1),62), ((1),63), ((-2),65), ((-1),66), ((2),67), ((1),70), ((1),71), ((-2),72)], (9)), ("GEQ", [((-1),0), ((2),1), ((2),4), ((2),5), ((1),6), ((-2),8), ((-2),9), ((-1),10), ((-2),11), ((1),13), ((-1),14), ((-2),19), ((1),20), ((2),22), ((-2),27), ((2),29), ((-1),34), ((2),35), ((2),36), ((1),38), ((-1),39), ((-1),40), ((-2),41), ((2),42), ((2),46), ((-1),49), ((1),52), ((2),54), ((2),55), ((2),57), ((2),59), ((2),60), ((1),62), ((1),63), ((1),64), ((-2),67), ((1),68), ((1),70), ((-2),71), ((2),73)], (8)), ("GEQ", [((-1),1), ((1),2), ((2),3), ((1),5), ((-1),6), ((-2),7), ((-1),8), ((1),12), ((1),13), ((1),14), ((1),16), ((2),17), ((-2),18), ((2),19), ((2),24), ((-2),25), ((-1),27), ((-2),28), ((-2),29), ((2),35), ((-2),36), ((-1),37), ((2),38), ((-1),41), ((-1),42), ((2),43), ((-1),44), ((-1),46), ((2),50), ((1),51), ((-1),54), ((-1),55), ((1),56), ((2),59), ((2),60), ((-2),62), ((-1),63), ((2),64), ((1),66), ((2),68), ((-1),74)], (-11)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((-1),3), ((-1),4), ((2),5), ((2),7), ((-1),11), ((-1),14), ((-2),15), ((-1),18), ((1),19), ((-1),20), ((1),22), ((1),27), ((-1),28), ((-1),29), ((2),30), ((-2),31), ((-1),36), ((-2),39), ((1),43), ((1),46), ((-2),47), ((1),48), ((-1),49), ((2),50), ((-2),52), ((2),53), ((-1),60), ((1),61), ((1),65), ((-1),66), ((1),67), ((1),69), ((1),72), ((-1),74)], (-1)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((-1),5), ((2),6), ((1),7), ((1),10), ((2),12), ((2),16), ((1),17), ((2),18), ((1),19), ((1),20), ((-1),22), ((-1),23), ((-2),26), ((-2),27), ((-1),28), ((-1),29), ((1),31), ((2),33), ((-1),35), ((1),37), ((2),40), ((-2),41), ((-2),43), ((2),45), ((-2),48), ((1),52), ((-2),53), ((1),54), ((-1),56), ((1),59), ((1),60), ((1),61), ((-2),62), ((-2),63), ((-1),65), ((2),67), ((2),69), ((1),70), ((-1),71), ((1),72), ((-1),74)], (3)), ("GEQ", [((2),0), ((1),2), ((-2),3), ((-1),4), ((-1),5), ((-1),6), ((2),7), ((2),12), ((2),13), ((1),14), ((-2),15), ((2),18), ((-2),19), ((2),20), ((2),22), ((2),24), ((-2),25), ((1),26), ((1),27), ((2),29), ((-2),30), ((1),32), ((-2),33), ((-1),35), ((2),37), ((-1),39), ((-2),42), ((2),43), ((-2),44), ((2),45), ((-1),46), ((-1),47), ((2),52), ((-1),54), ((1),56), ((2),57), ((-2),60), ((-2),61), ((1),63), ((-1),64), ((2),65), ((1),68), ((2),71)], (-33)), ("GEQ", [((2),0), ((2),1), ((2),2), ((-1),3), ((1),4), ((1),5), ((-1),6), ((2),8), ((2),9), ((-1),12), ((-1),13), ((-2),14), ((2),16), ((-1),17), ((2),18), ((2),20), ((-1),22), ((-2),26), ((-2),28), ((1),30), ((2),31), ((1),33), ((-1),34), ((1),35), ((2),36), ((2),37), ((2),38), ((-2),40), ((-2),41), ((1),44), ((2),45), ((-1),48), ((-2),49), ((1),50), ((2),52), ((-1),53), ((-2),56), ((-2),57), ((-1),58), ((1),59), ((2),62), ((2),63), ((-2),64), ((1),65), ((2),66), ((-2),69), ((-2),71)], (-35)), ("GEQ", [((2),1), ((1),2), ((-1),5), ((-2),6), ((2),7), ((-1),8), ((-1),11), ((-2),13), ((1),14), ((2),15), ((2),16), ((-2),17), ((-2),22), ((1),23), ((1),26), ((1),27), ((-2),28), ((1),29), ((-1),30), ((-2),31), ((-2),33), ((1),34), ((2),35), ((-2),36), ((2),37), ((1),40), ((2),41), ((1),44), ((1),45), ((-1),47), ((1),48), ((-1),50), ((2),51), ((2),52), ((-1),56), ((-2),57), ((1),59), ((-2),60), ((-1),62), ((-2),65), ((-1),66), ((2),67), ((2),68), ((2),69), ((2),71), ((-2),73), ((-1),74)], (-29)), ("GEQ", [((-2),0), ((2),2), ((-2),3), ((2),4), ((-2),5), ((-2),6), ((2),7), ((-1),10), ((1),12), ((-2),14), ((-2),19), ((2),21), ((2),23), ((-1),24), ((1),25), ((-2),28), ((-2),30), ((1),31), ((1),32), ((-1),35), ((1),36), ((1),41), ((1),43), ((-1),44), ((-1),45), ((-2),46), ((2),47), ((-2),50), ((-2),52), ((-2),53), ((-2),54), ((1),55), ((-2),57), ((-2),58), ((-2),59), ((1),60), ((2),61), ((-2),62), ((2),67), ((2),69), ((-1),70), ((1),73)], (16)), ("GEQ", [((-2),1), ((-1),2), ((2),3), ((1),7), ((-2),8), ((2),9), ((-2),10), ((1),13), ((2),14), ((-1),16), ((2),17), ((1),20), ((-1),21), ((1),22), ((1),24), ((-2),25), ((2),26), ((-2),27), ((-2),28), ((-2),30), ((2),31), ((1),32), ((1),33), ((-2),34), ((2),35), ((-2),36), ((-2),37), ((2),40), ((2),41), ((-1),42), ((2),43), ((1),44), ((2),45), ((-2),50), ((2),53), ((1),54), ((-2),55), ((-2),57), ((2),58), ((1),59), ((1),61), ((1),67), ((1),70), ((-2),71)], (-25)), ("GEQ", [((1),0), ((2),1), ((2),2), ((2),4), ((-1),7), ((-1),8), ((2),11), ((-2),13), ((-1),14), ((-2),15), ((-2),16), ((-2),17), ((-1),19), ((-2),23), ((1),25), ((-2),27), ((-1),29), ((-2),30), ((-2),31), ((2),32), ((1),35), ((1),36), ((2),39), ((-2),40), ((2),41), ((-1),44), ((-2),47), ((2),48), ((-1),51), ((-1),52), ((2),56), ((1),57), ((-1),59), ((-2),60), ((-1),61), ((-2),62), ((-2),64), ((2),65), ((2),66), ((-1),67), ((-2),68), ((1),71), ((2),73), ((2),74)], (-12)), ("GEQ", [((2),1), ((-2),2), ((-1),4), ((2),6), ((-2),7), ((-2),8), ((-2),11), ((-2),12), ((-2),16), ((-2),18), ((1),20), ((2),24), ((2),25), ((2),26), ((-1),27), ((-2),29), ((-1),32), ((2),36), ((1),40), ((-2),43), ((-1),47), ((1),48), ((1),49), ((1),51), ((1),52), ((-1),53), ((2),54), ((-1),55), ((-1),56), ((-2),58), ((1),59), ((-2),68), ((-2),71)], (20)), ("GEQ", [((1),1), ((2),2), ((2),3), ((-1),5), ((-1),8), ((-1),14), ((2),15), ((2),16), ((-1),17), ((1),19), ((2),20), ((1),24), ((1),25), ((-1),26), ((-2),27), ((-1),28), ((1),29), ((-1),31), ((2),32), ((-2),33), ((-2),34), ((2),35), ((1),36), ((2),38), ((-1),39), ((2),41), ((-2),45), ((-1),47), ((-1),48), ((-2),50), ((-2),51), ((2),52), ((-2),54), ((1),55), ((-2),56), ((1),58), ((-2),59), ((-2),61), ((-2),62), ((-1),65), ((1),66), ((1),67), ((-1),68), ((-2),69), ((-2),71), ((-1),72), ((2),74)], (17)), ("GEQ", [((1),1), ((2),2), ((-1),3), ((2),4), ((2),5), ((2),8), ((-1),10), ((1),11), ((2),12), ((2),14), ((1),17), ((-1),18), ((1),20), ((1),21), ((1),22), ((1),23), ((1),25), ((-2),26), ((2),27), ((-1),29), ((2),30), ((-2),32), ((-1),33), ((-2),34), ((1),38), ((1),39), ((-1),40), ((1),42), ((2),43), ((-1),44), ((1),45), ((-2),47), ((2),51), ((2),54), ((2),56), ((-2),57), ((-2),58), ((-2),59), ((1),62), ((1),65), ((2),66), ((1),67), ((2),68), ((-1),69), ((1),72), ((-1),73)], (-29)), ("GEQ", [((1),2), ((2),3), ((-1),4), ((-2),9), ((1),10), ((2),12), ((1),13), ((-1),14), ((-2),15), ((2),16), ((-2),18), ((1),21), ((2),23), ((2),24), ((2),25), ((-1),26), ((2),27), ((-1),30), ((2),31), ((-1),32), ((1),35), ((-1),38), ((-2),40), ((-2),42), ((-2),43), ((1),44), ((-1),45), ((-1),46), ((-2),47), ((1),48), ((1),50), ((-1),52), ((-1),53), ((-1),55), ((-1),56), ((1),57), ((-2),60), ((1),62), ((1),63), ((-2),64), ((-2),66), ((-2),67), ((1),68), ((-2),70), ((-2),72)], (-15)), ("GEQ", [((1),1), ((2),2), ((1),4), ((1),6), ((-1),9), ((-1),10), ((-1),11), ((1),13), ((2),14), ((1),17), ((1),18), ((2),22), ((-1),25), ((-1),31), ((1),32), ((-2),33), ((2),38), ((2),39), ((2),41), ((1),42), ((1),43), ((1),45), ((1),46), ((-1),47), ((-2),48), ((1),49), ((-1),50), ((-1),51), ((-2),52), ((1),53), ((-1),57), ((2),59), ((-1),60), ((-2),63), ((-2),64), ((2),65), ((1),67), ((2),68), ((-1),69), ((-2),72)], (4)), ("GEQ", [((2),4), ((-2),6), ((-2),7), ((-1),8), ((1),9), ((-2),13), ((2),14), ((2),16), ((-2),17), ((-1),19), ((-2),21), ((-1),23), ((-1),24), ((1),25), ((2),26), ((1),28), ((-2),33), ((-1),34), ((-2),35), ((1),36), ((2),37), ((1),40), ((-2),41), ((2),42), ((1),43), ((-1),45), ((1),46), ((-1),52), ((-1),53), ((-1),55), ((-1),58), ((2),62), ((2),68), ((2),69), ((2),70), ((1),71), ((-1),72), ((1),74)], (37)), ("GEQ", [((-2),0), ((-2),2), ((-1),4), ((-2),5), ((2),6), ((1),8), ((-1),13), ((2),14), ((-1),15), ((2),18), ((-2),20), ((1),21), ((1),22), ((-1),23), ((2),26), ((-1),29), ((2),32), ((-2),34), ((1),35), ((-1),36), ((-2),37), ((2),41), ((1),42), ((1),43), ((-1),44), ((-2),45), ((1),46), ((-2),49), ((2),51), ((1),52), ((-1),53), ((1),57), ((1),62), ((-1),65), ((1),66), ((-1),68), ((2),70), ((2),71), ((-1),73)], (-4)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((1),4), ((1),9), ((-1),10), ((2),13), ((-2),14), ((2),16), ((2),17), ((-2),18), ((2),19), ((-2),21), ((-1),23), ((1),26), ((2),28), ((1),30), ((2),31), ((-1),32), ((-2),35), ((-1),37), ((2),38), ((-2),39), ((1),40), ((2),41), ((-1),42), ((-1),43), ((-2),45), ((2),46), ((-2),48), ((1),52), ((-1),53), ((-1),55), ((1),56), ((2),57), ((-2),58), ((1),59), ((-2),61), ((2),64), ((-1),65), ((1),66), ((1),68), ((1),69), ((1),70), ((2),71), ((-2),73), ((2),74)], (42)), ("GEQ", [((1),0), ((-1),3), ((2),4), ((2),5), ((-2),6), ((2),7), ((2),8), ((2),9), ((-2),11), ((1),12), ((-1),14), ((1),15), ((-2),17), ((-1),20), ((1),23), ((2),25), ((1),26), ((2),31), ((-2),32), ((-1),33), ((1),34), ((-1),35), ((-1),36), ((-2),41), ((-1),42), ((-1),46), ((2),47), ((-1),48), ((-1),51), ((-2),52), ((2),53), ((2),54), ((-2),61), ((-1),63), ((-1),64), ((1),67), ((-1),68), ((-2),69), ((-1),71), ((1),73)], (-4)), ("GEQ", [((2),1), ((1),3), ((1),5), ((2),7), ((-1),9), ((-1),10), ((1),11), ((2),12), ((-2),13), ((-1),19), ((2),20), ((-2),21), ((2),23), ((1),27), ((-1),29), ((2),30), ((1),34), ((-1),35), ((-2),38), ((-1),39), ((2),40), ((1),41), ((-1),42), ((-2),43), ((1),44), ((-1),47), ((-2),48), ((2),49), ((-1),50), ((2),51), ((1),52), ((1),53), ((-2),54), ((1),56), ((-2),57), ((1),59), ((2),61), ((-2),69), ((-1),70), ((2),72), ((-2),73), ((1),74)], (-44)), ("GEQ", [((2),1), ((-1),3), ((-2),5), ((2),6), ((-2),8), ((2),10), ((-1),11), ((2),12), ((-2),15), ((-1),16), ((-1),17), ((-2),18), ((-2),20), ((1),22), ((-2),23), ((-2),24), ((-2),25), ((2),26), ((-1),27), ((2),28), ((1),29), ((2),31), ((-2),32), ((2),33), ((-2),34), ((1),36), ((-1),37), ((-1),38), ((1),41), ((2),42), ((-1),43), ((1),44), ((2),46), ((1),47), ((-2),48), ((2),49), ((-2),55), ((-2),56), ((-2),62), ((1),63), ((1),64), ((-2),66), ((2),67), ((1),70), ((-2),73)], (40)), ("GEQ", [((-1),0), ((-2),1), ((-1),5), ((-1),6), ((2),7), ((-2),8), ((2),10), ((2),11), ((-2),13), ((1),14), ((-1),16), ((2),18), ((-1),19), ((-2),20), ((1),21), ((-2),22), ((2),24), ((-2),25), ((2),28), ((2),29), ((1),31), ((2),32), ((-2),33), ((-2),35), ((2),36), ((1),37), ((1),40), ((-1),42), ((1),43), ((1),44), ((2),47), ((1),49), ((1),50), ((-1),52), ((-2),54), ((-1),56), ((1),57), ((2),58), ((2),59), ((-1),62), ((-2),63), ((2),64), ((2),65), ((2),66), ((-2),67), ((-2),72), ((2),74)], (-5)), ("GEQ", [((1),0), ((-2),4), ((2),5), ((-1),7), ((1),8), ((2),9), ((1),10), ((1),13), ((-2),15), ((1),17), ((2),19), ((-1),21), ((-2),22), ((1),23), ((-2),25), ((-1),29), ((2),30), ((-2),32), ((-2),34), ((2),37), ((2),38), ((-1),39), ((2),42), ((2),44), ((1),46), ((2),47), ((-2),49), ((-1),50), ((-2),53), ((1),55), ((1),56), ((2),57), ((2),58), ((1),59), ((1),60), ((-1),61), ((-2),62), ((2),63), ((2),64), ((-2),65), ((2),67), ((2),68), ((2),69), ((-2),72), ((2),74)], (-13)), ("GEQ", [((2),0), ((1),3), ((-1),5), ((2),7), ((-2),8), ((-2),9), ((1),11), ((-1),15), ((-1),17), ((-1),20), ((2),21), ((-2),23), ((-1),24), ((1),27), ((-2),29), ((1),30), ((1),32), ((-2),33), ((2),34), ((2),36), ((-2),37), ((-1),39), ((2),40), ((2),41), ((-1),44), ((1),47), ((2),50), ((-1),53), ((-1),55), ((2),56), ((2),58), ((-1),61), ((2),62), ((1),63), ((-1),64), ((1),65), ((-2),68), ((-2),70), ((-2),73), ((2),74)], (9)), ("GEQ", [((-2),0), ((2),3), ((-1),4), ((2),5), ((1),6), ((-1),7), ((-2),10), ((1),13), ((1),18), ((1),20), ((2),21), ((-1),24), ((1),26), ((2),27), ((1),29), ((2),30), ((2),31), ((2),32), ((1),33), ((2),37), ((-1),41), ((-2),42), ((2),46), ((2),48), ((2),49), ((2),51), ((1),54), ((2),57), ((-2),58), ((-2),64), ((-1),66), ((2),69), ((-2),70), ((-2),71), ((-1),74)], (12)), ("GEQ", [((1),0), ((-2),2), ((-2),3), ((-1),4), ((1),5), ((-1),6), ((1),7), ((-1),8), ((2),9), ((1),10), ((-1),11), ((2),12), ((-2),13), ((2),15), ((-1),16), ((-1),21), ((-2),24), ((-2),26), ((2),27), ((-1),29), ((-2),30), ((-1),31), ((2),33), ((-1),34), ((1),37), ((-2),38), ((-2),39), ((-1),41), ((1),43), ((2),45), ((-1),46), ((2),47), ((1),50), ((2),52), ((1),53), ((-2),54), ((2),55), ((2),57), ((1),60), ((2),62), ((-1),63), ((-2),65), ((-1),66), ((-2),67), ((-2),68), ((1),69), ((-2),70), ((2),72), ((2),73)], (24)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-1),3), ((2),5), ((-2),8), ((1),9), ((-2),11), ((2),13), ((2),14), ((2),15), ((2),18), ((1),21), ((-2),22), ((-1),24), ((1),25), ((1),27), ((2),28), ((-2),31), ((-2),33), ((-2),34), ((1),35), ((-1),36), ((1),42), ((-1),43), ((2),45), ((2),46), ((2),47), ((2),48), ((-2),49), ((-2),50), ((1),51), ((1),52), ((1),54), ((-2),55), ((-1),56), ((-2),57), ((2),58), ((-2),60), ((-1),61), ((1),62), ((-2),64), ((-1),65), ((1),66), ((1),67), ((1),68), ((-2),70), ((2),72), ((-2),73), ((-2),74)], (0)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((1),4), ((-1),9), ((2),10), ((2),11), ((2),13), ((-1),15), ((-2),17), ((1),19), ((-2),21), ((2),23), ((1),25), ((1),27), ((-1),28), ((-2),29), ((-1),33), ((-1),34), ((-2),38), ((-2),39), ((2),41), ((-2),42), ((1),43), ((-1),45), ((-2),46), ((2),47), ((1),50), ((-2),51), ((-2),52), ((-2),53), ((-2),54), ((-1),55), ((-2),58), ((-2),59), ((2),60), ((-1),61), ((1),63), ((-2),66), ((-2),68), ((2),69), ((-2),73)], (9)), ("GEQ", [((-1),0), ((2),1), ((-1),3), ((-1),4), ((2),5), ((-1),14), ((-2),16), ((-1),18), ((1),19), ((1),20), ((-2),21), ((1),23), ((-1),24), ((-1),26), ((-2),27), ((1),28), ((-1),29), ((-2),31), ((-2),32), ((-1),34), ((-2),35), ((1),36), ((1),37), ((2),38), ((2),40), ((-2),41), ((1),45), ((-2),48), ((-2),49), ((-1),50), ((1),51), ((-2),53), ((2),54), ((-2),56), ((1),58), ((2),59), ((-2),60), ((-2),61), ((1),62), ((-1),63), ((2),64), ((1),65), ((-1),68), ((-2),69), ((-1),70), ((2),71), ((-1),74)], (8)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-2),3), ((1),5), ((1),6), ((2),7), ((2),8), ((2),9), ((1),10), ((-1),11), ((-1),13), ((2),14), ((2),15), ((2),16), ((-2),18), ((1),19), ((1),22), ((-1),23), ((-1),24), ((-2),25), ((2),26), ((-1),28), ((2),29), ((-1),30), ((-1),32), ((-2),33), ((2),34), ((2),35), ((-2),36), ((1),37), ((1),38), ((-1),41), ((-1),42), ((2),43), ((1),44), ((-1),45), ((-2),46), ((2),47), ((-1),49), ((-1),54), ((-2),55), ((-2),56), ((-2),57), ((2),58), ((-1),59), ((2),60), ((-1),63), ((1),64), ((2),66), ((-1),72), ((-1),73), ((-1),74)], (-9)), ("GEQ", [((-1),2), ((-1),3), ((1),4), ((1),5), ((1),8), ((1),9), ((2),10), ((1),12), ((-2),13), ((2),14), ((2),16), ((-2),17), ((1),19), ((-2),20), ((1),21), ((-1),22), ((-2),23), ((-2),24), ((-1),25), ((-1),27), ((2),28), ((1),29), ((2),30), ((2),31), ((1),34), ((2),35), ((1),36), ((-1),37), ((2),38), ((-2),39), ((1),40), ((1),41), ((2),45), ((1),47), ((2),48), ((-2),49), ((2),53), ((-1),55), ((2),56), ((2),58), ((-1),59), ((-2),60), ((2),61), ((2),62), ((-1),63), ((2),66), ((-2),69), ((2),70), ((-2),72), ((-2),73), ((-1),74)], (13)), ("GEQ", [((1),0), ((-1),4), ((2),5), ((-1),7), ((1),8), ((1),9), ((2),10), ((-2),12), ((-2),14), ((1),18), ((2),19), ((1),20), ((1),21), ((2),22), ((-2),23), ((2),26), ((2),27), ((1),28), ((2),29), ((-1),30), ((1),31), ((-2),32), ((-2),33), ((-2),35), ((2),37), ((2),39), ((2),40), ((-1),41), ((2),46), ((1),49), ((2),50), ((-1),51), ((-1),52), ((-2),55), ((1),56), ((1),57), ((-2),58), ((1),60), ((-1),61), ((1),63), ((1),64), ((2),65), ((1),67), ((-2),68), ((1),70), ((-1),71), ((-1),72), ((2),73), ((-2),74)], (22)), ("GEQ", [((1),0), ((1),2), ((-1),4), ((1),7), ((2),9), ((1),10), ((1),12), ((1),13), ((-1),15), ((2),16), ((1),17), ((1),18), ((-2),21), ((1),24), ((-1),28), ((1),31), ((2),34), ((1),36), ((1),37), ((-2),38), ((2),39), ((-2),40), ((1),42), ((-1),43), ((1),45), ((2),46), ((-2),49), ((-1),51), ((-1),52), ((-2),55), ((1),56), ((-2),57), ((-1),58), ((2),60), ((1),64), ((-1),66), ((-2),67), ((-2),68), ((-1),69), ((-2),71), ((-2),73), ((-1),74)], (-63)), ("GEQ", [((-1),0), ((2),2), ((1),3), ((1),4), ((-2),6), ((-2),10), ((2),12), ((-1),13), ((2),16), ((1),17), ((2),18), ((2),20), ((-1),22), ((-2),26), ((2),27), ((1),28), ((2),33), ((-2),34), ((-2),35), ((-2),39), ((1),41), ((-2),43), ((-2),44), ((-1),45), ((1),46), ((-2),48), ((1),50), ((1),51), ((2),53), ((-2),56), ((-1),57), ((-2),60), ((1),61), ((1),64), ((1),65), ((1),66), ((-1),67), ((-1),69), ((2),70), ((-1),72), ((2),73), ((1),74)], (-2)), ("GEQ", [((2),1), ((-1),2), ((-2),6), ((1),8), ((1),9), ((-2),10), ((2),11), ((-1),13), ((2),14), ((-1),15), ((-1),16), ((-1),18), ((-1),19), ((-2),20), ((-1),23), ((1),24), ((-1),25), ((2),27), ((2),32), ((2),33), ((-2),34), ((-2),35), ((-2),36), ((-2),39), ((1),41), ((-2),42), ((1),43), ((2),45), ((-1),47), ((1),48), ((1),51), ((-1),52), ((-1),54), ((2),55), ((-2),58), ((-1),59), ((2),60), ((2),62), ((2),64), ((2),66), ((2),70), ((2),71), ((2),73), ((2),74)], (-15)), ("GEQ", [((-1),0), ((-2),2), ((-2),4), ((-2),5), ((-1),7), ((-1),10), ((1),11), ((1),14), ((2),16), ((-1),21), ((1),22), ((-1),23), ((1),24), ((-2),25), ((-1),26), ((1),27), ((-2),28), ((1),29), ((-1),32), ((-2),33), ((1),34), ((-1),35), ((-2),36), ((-1),37), ((1),38), ((2),39), ((-2),40), ((2),45), ((-2),46), ((1),48), ((1),49), ((-1),50), ((2),51), ((-1),52), ((1),53), ((-2),54), ((-2),55), ((-1),57), ((1),58), ((2),59), ((-1),61), ((1),62), ((-2),65), ((2),66), ((-1),67), ((-2),68), ((-2),69), ((-1),70), ((2),71), ((2),72), ((2),74)], (-37)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((-1),3), ((1),4), ((1),7), ((-2),8), ((2),9), ((2),10), ((1),12), ((-2),14), ((1),15), ((-2),16), ((-2),17), ((-1),19), ((-2),20), ((-1),21), ((-2),24), ((-2),27), ((2),29), ((2),30), ((2),32), ((-2),37), ((-1),38), ((-1),42), ((1),43), ((1),44), ((1),45), ((-1),46), ((-1),48), ((2),55), ((1),57), ((1),59), ((1),60), ((2),62), ((-2),63), ((-1),64), ((2),65), ((-2),68), ((2),69), ((-1),73), ((1),74)], (54)), ("GEQ", [((1),2), ((1),4), ((-1),6), ((-1),7), ((1),10), ((-2),11), ((2),12), ((2),15), ((-2),16), ((-1),17), ((-1),18), ((-1),19), ((-2),22), ((-2),24), ((-2),25), ((-1),27), ((-2),28), ((-2),30), ((-1),34), ((-1),35), ((-2),37), ((-2),40), ((-1),41), ((-1),42), ((-1),46), ((2),47), ((-1),48), ((1),49), ((2),50), ((-2),51), ((-1),53), ((-1),61), ((-1),62), ((-1),63), ((-2),65), ((1),67), ((-2),71), ((2),72), ((-1),73), ((1),74)], (26)), ("GEQ", [((2),0), ((2),1), ((2),2), ((2),3), ((-1),4), ((1),9), ((1),10), ((-2),12), ((2),14), ((-1),16), ((2),17), ((1),20), ((-1),22), ((-1),23), ((1),24), ((-1),25), ((2),26), ((1),27), ((-2),28), ((-2),31), ((-2),32), ((1),35), ((1),36), ((1),37), ((-2),38), ((-1),39), ((-2),40), ((1),42), ((-1),43), ((-2),46), ((-1),47), ((-1),49), ((-1),51), ((-1),52), ((2),55), ((2),57), ((2),58), ((-2),59), ((1),60), ((-2),61), ((-1),62), ((2),66), ((-2),67), ((1),69), ((1),70)], (-40)), ("GEQ", [((2),0), ((1),3), ((1),4), ((-2),6), ((2),7), ((-1),8), ((-1),9), ((2),11), ((2),16), ((-1),17), ((2),19), ((-2),20), ((1),24), ((-2),25), ((-1),26), ((1),27), ((-2),34), ((-1),36), ((-1),38), ((2),39), ((-2),40), ((-2),41), ((1),42), ((-1),43), ((-1),44), ((2),46), ((1),47), ((2),50), ((-2),55), ((1),56), ((2),57), ((-1),58), ((-1),59), ((-2),60), ((-2),61), ((1),63), ((-2),65), ((2),66), ((1),69), ((1),70), ((1),71), ((-2),72)], (3)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),6), ((-1),7), ((-1),9), ((-1),12), ((2),13), ((2),15), ((-2),18), ((1),19), ((1),25), ((1),28), ((-1),29), ((-1),31), ((-2),32), ((1),35), ((1),36), ((-2),38), ((-1),39), ((-2),40), ((2),41), ((-2),42), ((-2),45), ((-1),46), ((-2),48), ((1),49), ((-1),51), ((-1),54), ((-2),55), ((2),56), ((2),58), ((1),59), ((1),60), ((-2),62), ((-1),63), ((-1),64), ((2),66), ((2),67), ((-1),68), ((-2),70), ((2),71), ((1),72), ((2),73)], (25)), ("GEQ", [((2),0), ((1),2), ((2),5), ((-2),7), ((-1),8), ((2),9), ((2),11), ((2),13), ((-1),17), ((2),18), ((-1),19), ((-1),20), ((-2),21), ((1),22), ((-2),24), ((-2),31), ((-2),33), ((-2),34), ((1),36), ((1),37), ((2),40), ((-1),42), ((1),44), ((-2),46), ((1),48), ((2),50), ((-2),54), ((-1),55), ((1),56), ((1),57), ((2),59), ((-1),61), ((2),63), ((-1),64), ((-2),65), ((-1),66), ((-1),68), ((2),69), ((-1),70), ((1),72), ((2),73)], (30)), ("GEQ", [((2),0), ((-2),1), ((2),4), ((2),5), ((-1),6), ((1),7), ((-2),11), ((2),14), ((1),15), ((2),17), ((-2),21), ((1),26), ((1),28), ((2),30), ((2),31), ((-2),32), ((2),33), ((-1),35), ((-1),36), ((-2),37), ((1),38), ((1),39), ((-1),41), ((-1),42), ((-2),43), ((-2),44), ((2),46), ((-2),48), ((-1),49), ((-1),50), ((1),51), ((2),52), ((-2),53), ((2),54), ((-1),56), ((-1),58), ((1),63), ((1),64), ((2),65), ((2),68), ((1),69), ((-2),71), ((-1),72), ((-1),73), ((-2),74)], (-7)), ("GEQ", [((-1),1), ((-1),2), ((-2),6), ((-1),7), ((2),10), ((2),11), ((2),12), ((1),15), ((-1),16), ((-1),17), ((2),18), ((2),20), ((-1),21), ((1),23), ((-1),24), ((2),26), ((1),27), ((-1),30), ((-2),31), ((-1),32), ((-2),34), ((-2),35), ((2),38), ((1),41), ((2),42), ((-1),43), ((-1),45), ((-2),47), ((-2),48), ((2),49), ((-2),51), ((2),56), ((2),57), ((2),58), ((1),59), ((-2),63), ((1),64), ((-2),65), ((-2),67), ((-1),68), ((-2),70), ((-2),71)], (1)), ("GEQ", [((-2),1), ((-2),3), ((-2),4), ((-1),5), ((2),6), ((-2),7), ((-2),8), ((1),9), ((2),11), ((1),12), ((2),14), ((1),18), ((1),20), ((-2),21), ((1),22), ((1),23), ((2),25), ((2),26), ((-2),27), ((2),29), ((-1),31), ((-1),32), ((2),37), ((-1),38), ((1),39), ((-1),40), ((1),42), ((-2),45), ((1),46), ((-2),47), ((2),48), ((2),50), ((-2),52), ((1),53), ((-1),54), ((1),55), ((-1),56), ((-2),57), ((-1),58), ((-1),59), ((-1),60), ((-2),61), ((1),64), ((1),65), ((-1),69), ((2),70), ((1),71), ((1),74)], (-43)), ("GEQ", [((1),1), ((1),2), ((-2),3), ((1),4), ((-1),5), ((1),6), ((-1),11), ((-2),12), ((1),13), ((1),17), ((1),18), ((1),22), ((2),23), ((1),24), ((-2),26), ((-2),27), ((1),28), ((2),30), ((1),33), ((-1),34), ((2),36), ((-1),37), ((-2),38), ((2),39), ((2),41), ((1),42), ((-2),43), ((-1),45), ((2),47), ((2),48), ((-2),49), ((1),50), ((-2),51), ((2),52), ((-1),53), ((-2),55), ((-1),56), ((-1),57), ((-2),59), ((-2),62), ((2),63), ((-1),64), ((2),69), ((-1),70), ((-1),71), ((1),72), ((1),73), ((2),74)], (13)), ("GEQ", [((2),0), ((1),3), ((-1),4), ((2),7), ((-1),8), ((-1),9), ((-1),10), ((2),11), ((-1),14), ((-1),15), ((1),17), ((1),19), ((-1),20), ((-1),23), ((2),25), ((1),27), ((-2),30), ((-2),31), ((1),32), ((-2),33), ((1),34), ((1),36), ((-1),37), ((2),38), ((1),39), ((1),40), ((-1),43), ((1),45), ((1),46), ((-2),47), ((-1),51), ((-1),54), ((1),57), ((2),62), ((2),63), ((2),64), ((-2),66), ((1),67), ((1),68), ((2),74)], (-13)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((-2),5), ((-1),6), ((-1),7), ((1),8), ((2),10), ((-2),11), ((-1),12), ((-2),14), ((-1),15), ((2),17), ((-2),18), ((1),20), ((2),22), ((2),23), ((-1),24), ((-2),25), ((1),27), ((-1),28), ((-2),29), ((1),32), ((2),33), ((2),34), ((1),37), ((-1),39), ((2),41), ((-2),42), ((-2),43), ((-1),44), ((1),45), ((-2),46), ((1),47), ((-1),48), ((2),51), ((2),52), ((2),53), ((2),54), ((1),55), ((1),61), ((-1),62), ((1),63), ((2),65), ((-1),67), ((-2),69), ((-2),70), ((-1),71), ((-1),73), ((1),74)], (1)), ("GEQ", [((2),1), ((-2),2), ((1),3), ((-2),6), ((-1),7), ((-2),8), ((-2),10), ((-2),12), ((-2),14), ((2),15), ((-2),16), ((-2),17), ((-1),20), ((1),21), ((-1),23), ((-1),25), ((-1),26), ((2),30), ((-1),31), ((-2),33), ((-2),34), ((2),35), ((-2),36), ((1),37), ((-2),38), ((1),39), ((-1),40), ((2),41), ((2),42), ((-2),43), ((1),44), ((1),45), ((-2),47), ((2),48), ((-1),50), ((2),51), ((1),52), ((-2),54), ((-1),55), ((-2),57), ((1),58), ((-2),59), ((1),60), ((1),63), ((-2),64), ((-1),65), ((1),67), ((1),68), ((-1),69), ((-1),70), ((-2),71), ((2),72), ((2),73)], (18)), ("GEQ", [((1),3), ((2),4), ((1),5), ((-2),6), ((-2),7), ((-1),8), ((2),9), ((-2),13), ((-2),14), ((2),15), ((-2),16), ((-1),18), ((-2),19), ((-2),20), ((-2),21), ((-2),22), ((-1),23), ((2),24), ((2),25), ((2),26), ((2),28), ((2),32), ((2),33), ((1),34), ((1),37), ((2),41), ((1),42), ((-1),43), ((2),44), ((-1),46), ((2),48), ((1),49), ((-1),50), ((1),53), ((-1),54), ((-2),56), ((2),57), ((1),58), ((-2),59), ((2),61), ((-1),62), ((-1),63), ((-2),64), ((1),65), ((1),68), ((1),70), ((1),71), ((2),73), ((2),74)], (50)), ("GEQ", [((2),0), ((1),1), ((1),2), ((2),3), ((1),4), ((-2),7), ((2),8), ((2),9), ((1),10), ((-1),11), ((-2),13), ((2),16), ((-1),17), ((1),19), ((-1),20), ((-2),21), ((-1),22), ((-1),23), ((-1),24), ((-1),27), ((1),28), ((-1),29), ((-2),30), ((2),32), ((-1),35), ((1),36), ((-2),40), ((2),42), ((-2),44), ((-1),45), ((-1),47), ((2),49), ((1),52), ((1),53), ((-1),54), ((-2),55), ((-1),58), ((-1),61), ((2),62), ((-1),68), ((2),69), ((-1),70), ((2),73), ((-2),74)], (43)), ("GEQ", [((-1),1), ((-1),3), ((2),4), ((-2),7), ((-1),8), ((1),9), ((1),11), ((-2),12), ((2),13), ((-2),14), ((-2),16), ((-1),17), ((2),18), ((-2),19), ((2),20), ((-2),21), ((-2),22), ((-2),23), ((1),24), ((1),25), ((1),26), ((2),29), ((2),31), ((-1),34), ((1),36), ((2),38), ((2),39), ((1),40), ((2),43), ((1),44), ((-1),45), ((-2),51), ((1),53), ((1),60), ((-1),61), ((1),63), ((2),65), ((1),66), ((-2),67), ((-2),68), ((-1),71), ((-2),73)], (-18)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((-2),5), ((2),8), ((-2),11), ((-2),13), ((2),14), ((2),15), ((1),16), ((2),18), ((-2),19), ((-2),21), ((2),22), ((2),24), ((-1),25), ((2),29), ((-2),30), ((-1),32), ((-2),33), ((2),35), ((-2),36), ((-1),38), ((1),40), ((2),42), ((-1),43), ((-1),44), ((-2),45), ((2),46), ((1),47), ((-1),49), ((-2),51), ((-2),53), ((1),54), ((1),60), ((1),63), ((2),64), ((1),67), ((2),68), ((-2),71), ((1),72), ((-2),74)], (-27)), ("GEQ", [((-82),0), ((-26),1), ((-11),2), ((-21),3), ((-9),4), ((-61),5), ((40),6), ((5),7), ((23),8), ((18),9), ((-19),10), ((-54),11), ((-43),12), ((5),13), ((-11),14), ((41),15), ((-48),16), ((8),17), ((-5),18), ((-34),19), ((-3),20), ((4),21), ((-14),22), ((-18),23), ((-14),24), ((17),25), ((-23),26), ((-6),27), ((-12),28), ((-17),29), ((-7),30), ((11),31), ((9),32), ((35),33), ((20),34), ((29),35), ((-33),36), ((-16),37), ((-23),38), ((24),39), ((-44),40), ((-37),41), ((16),42), ((41),43), ((27),44), ((29),45), ((-16),46), ((-39),47), ((1),48), ((12),49), ((-21),50), ((11),51), ((8),52), ((52),53), ((56),54), ((30),55), ((-10),56), ((-27),57), ((-1),58), ((-37),59), ((6),60), ((35),61), ((-30),62), ((8),63), ((-33),64), ((-13),65), ((-27),66), ((-3),67), ((6),68), ((3),69), ((1),70), ((9),71), ((38),72), ((45),73), ((-4),74)], (-70)), ("GEQ", [((34),0), ((-8),1), ((21),2), ((18),3), ((-13),4), ((61),5), ((5),6), ((-19),7), ((2),8), ((-42),9), ((22),10), ((42),11), ((13),12), ((-4),13), ((2),14), ((-8),15), ((8),16), ((6),17), ((-15),18), ((56),19), ((-3),20), ((12),21), ((-4),22), ((16),23), ((-24),24), ((20),25), ((29),26), ((-24),27), ((10),28), ((3),29), ((1),30), ((2),31), ((-44),32), ((-8),33), ((25),34), ((-9),35), ((38),36), ((27),37), ((-5),38), ((-19),39), ((41),40), ((-27),41), ((-32),42), ((-24),43), ((8),44), ((-62),45), ((-17),46), ((33),47), ((-6),48), ((23),49), ((28),50), ((-16),52), ((-56),53), ((-27),54), ((-11),55), ((4),56), ((36),57), ((-11),58), ((-2),59), ((-11),60), ((-1),62), ((-15),63), ((37),64), ((10),65), ((-29),66), ((-6),68), ((20),69), ((-37),70), ((14),71), ((-42),72), ((-6),73), ((-18),74)], (875)), ("GEQ", [((275),0), ((69),1), ((28),2), ((84),3), ((19),4), ((222),5), ((-99),6), ((-33),7), ((-73),8), ((-91),9), ((58),10), ((182),11), ((168),12), ((15),13), ((36),14), ((-168),15), ((176),16), ((18),17), ((-5),18), ((128),19), ((18),20), ((13),21), ((63),22), ((71),23), ((24),24), ((-47),25), ((92),26), ((8),27), ((44),28), ((25),29), ((14),30), ((-30),31), ((-43),32), ((-85),33), ((-23),34), ((-85),35), ((120),36), ((41),37), ((122),38), ((-104),39), ((173),40), ((105),41), ((-87),42), ((-140),43), ((-98),44), ((-125),45), ((35),46), ((126),47), ((-28),48), ((-40),49), ((88),50), ((-30),51), ((-53),52), ((-198),53), ((-162),54), ((-90),55), ((60),56), ((127),57), ((19),58), ((141),59), ((-24),60), ((-83),61), ((101),62), ((-43),63), ((115),64), ((40),65), ((67),66), ((3),67), ((-3),68), ((5),70), ((-25),71), ((-155),72), ((-163),73), ((6),74)], (665)), ("GEQ", [((-114),0), ((35),1), ((-80),2), ((-71),3), ((78),4), ((-233),5), ((-15),6), ((66),7), ((-9),8), ((115),9), ((-75),10), ((-154),11), ((-19),12), ((13),13), ((-13),14), ((-4),15), ((-22),16), ((-27),17), ((55),18), ((-199),19), ((6),20), ((-56),21), ((13),22), ((-30),23), ((47),24), ((-77),25), ((-107),26), ((81),27), ((7),28), ((-23),29), ((-10),30), ((15),31), ((151),32), ((54),33), ((-71),34), ((-3),35), ((-124),36), ((-106),37), ((23),38), ((29),39), ((-113),40), ((100),41), ((107),42), ((70),43), ((-48),44), ((205),45), ((57),46), ((-108),47), ((-1),48), ((-72),49), ((-96),50), ((16),51), ((51),52), ((168),53), ((91),54), ((52),55), ((-5),56), ((-126),57), ((42),58), ((8),59), ((26),60), ((-5),61), ((43),62), ((57),63), ((-123),64), ((-32),65), ((81),66), ((-9),67), ((46),68), ((-74),69), ((140),70), ((-26),71), ((121),72), ((-31),73), ((80),74)], (-2712)), ("GEQ", [((-76),0), ((-47),1), ((-31),2), ((-32),3), ((-37),4), ((-44),5), ((-25),7), ((31),8), ((72),9), ((-10),10), ((-33),11), ((-48),12), ((11),13), ((-22),14), ((70),15), ((-24),16), ((19),17), ((29),18), ((-54),19), ((1),20), ((18),21), ((-15),22), ((-28),23), ((14),24), ((40),25), ((-20),26), ((-13),27), ((-42),28), ((-20),29), ((-8),30), ((-20),31), ((46),32), ((23),33), ((16),34), ((24),35), ((-57),36), ((-8),37), ((-18),38), ((62),39), ((-28),40), ((-32),41), ((25),42), ((29),43), ((39),44), ((51),45), ((-21),46), ((-42),47), ((39),48), ((6),49), ((-30),50), ((-2),51), ((-8),52), ((81),53), ((70),54), ((-10),55), ((23),56), ((-51),57), ((15),58), ((-37),59), ((-3),60), ((66),61), ((-85),62), ((-10),63), ((-62),64), ((-11),65), ((20),66), ((8),67), ((-7),68), ((-14),69), ((2),70), ((-47),71), ((60),72), ((88),73), ((-13),74)], (-169)), ("GEQ", [((-174),0), ((122),1), ((-3),2), ((-55),3), ((134),4), ((-297),5), ((61),6), ((157),7), ((-27),8), ((9),9), ((-131),10), ((-218),11), ((-93),12), ((-26),13), ((23),14), ((-21),15), ((-138),16), ((-87),17), ((-23),18), ((-173),19), ((-7),20), ((-103),21), ((-24),22), ((-56),23), ((37),24), ((-129),25), ((-150),26), ((131),27), ((78),28), ((4),29), ((12),30), ((57),31), ((74),32), ((49),33), ((-147),34), ((48),35), ((-75),36), ((-105),37), ((-22),38), ((-50),39), ((-230),40), ((115),41), ((142),42), ((132),43), ((-85),44), ((180),45), ((110),46), ((-112),47), ((-87),48), ((-86),49), ((-124),50), ((51),51), ((137),52), ((144),53), ((43),54), ((173),55), ((-126),56), ((-89),57), ((8),58), ((-22),59), ((52),60), ((-133),61), ((175),62), ((130),63), ((-61),64), ((-44),65), ((7),66), ((-34),67), ((50),68), ((-48),69), ((136),70), ((144),71), ((111),72), ((-79),73), ((122),74)], (-3326)), ("GEQ", [((-151),0), ((-112),1), ((-9),2), ((-27),3), ((-72),4), ((-52),5), ((131),6), ((-21),7), ((72),8), ((-49),9), ((23),10), ((-30),11), ((-101),12), ((1),13), ((-48),14), ((113),15), ((-158),16), ((8),17), ((-29),18), ((50),19), ((-50),20), ((22),21), ((-53),22), ((-1),23), ((-119),24), ((87),25), ((-106),27), ((-43),28), ((16),29), ((-9),30), ((81),31), ((-97),32), ((85),33), ((125),34), ((34),35), ((-10),36), ((39),37), ((-174),38), ((77),39), ((-27),40), ((-204),41), ((-38),42), ((63),43), ((165),44), ((-42),45), ((-115),46), ((7),47), ((19),48), ((137),49), ((33),50), ((9),51), ((-1),52), ((-7),53), ((48),54), ((26),55), ((-44),56), ((-23),57), ((-82),58), ((-146),59), ((18),60), ((104),61), ((-131),62), ((34),63), ((3),64), ((-10),65), ((-197),66), ((6),67), ((-15),68), ((104),69), ((-132),70), ((33),71), ((27),72), ((144),73), ((-70),74)], (2280)), ("GEQ", [((49),0), ((165),1), ((60),2), ((8),3), ((159),4), ((-57),5), ((-123),6), ((84),7), ((-82),8), ((112),9), ((-78),10), ((-111),11), ((41),12), ((-37),13), ((59),14), ((-69),15), ((161),16), ((-75),17), ((9),18), ((-161),19), ((77),20), ((-69),21), ((40),22), ((-64),23), ((142),24), ((-118),25), ((-57),26), ((214),27), ((109),28), ((-62),29), ((-4),30), ((-94),31), ((153),32), ((-110),33), ((-167),34), ((4),35), ((-25),36), ((-78),37), ((262),38), ((-98),39), ((-80),40), ((245),41), ((111),42), ((25),43), ((-216),44), ((118),45), ((205),46), ((-104),47), ((-55),48), ((-212),49), ((-84),50), ((-4),51), ((9),52), ((166),53), ((69),54), ((53),55), ((-33),56), ((-11),57), ((106),58), ((163),59), ((-23),60), ((-164),61), ((220),62), ((-47),63), ((-86),64), ((11),65), ((242),66), ((-27),67), ((30),68), ((-191),69), ((247),70), ((32),71), ((21),72), ((-197),73), ((139),74)], (-3852)), ("GEQ", [((266),0), ((109),1), ((136),2), ((106),3), ((46),4), ((296),5), ((-82),6), ((-13),7), ((-54),8), ((-92),9), ((43),10), ((127),11), ((129),12), ((-56),13), ((67),14), ((-111),15), ((185),16), ((-3),17), ((-68),18), ((168),19), ((60),20), ((23),21), ((61),22), ((27),23), ((24),24), ((-18),25), ((119),26), ((57),27), ((62),28), ((-10),29), ((-4),30), ((-75),31), ((-101),32), ((-163),33), ((-31),34), ((-16),35), ((144),36), ((63),37), ((179),38), ((-166),39), ((118),40), ((96),41), ((-70),42), ((-114),43), ((-164),44), ((-227),45), ((76),46), ((79),47), ((-69),48), ((-66),49), ((76),50), ((-10),51), ((-70),52), ((-177),53), ((-117),54), ((-35),55), ((23),56), ((181),57), ((27),58), ((130),59), ((-44),60), ((-130),61), ((158),62), ((-98),63), ((145),64), ((40),65), ((78),66), ((-5),67), ((-37),68), ((-33),69), ((-9),70), ((33),71), ((-173),72), ((-161),73), ((-27),74)], (763))]
[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]