[("GEQ", [((-2),1), ((-2),2), ((-1),3), ((-1),4), ((2),6), ((2),7), ((-2),11), ((1),13), ((1),17), ((2),18), ((-2),20), ((-1),22), ((-2),24), ((-2),25), ((2),26), ((-2),28), ((-2),29), ((2),31), ((-1),32), ((2),33), ((2),34), ((-2),38), ((-1),39), ((-1),40), ((-1),42), ((-2),45), ((-2),47), ((1),48), ((2),51), ((2),52), ((2),53), ((2),55), ((2),56), ((1),58), ((-2),61), ((1),62), ((-2),66), ((-1),67), ((-2),68), ((1),69), ((-1),70), ((1),72), ((1),73)], (-5)), ("GEQ", [((2),0), ((2),1), ((2),2), ((1),3), ((1),5), ((2),7), ((2),8), ((2),9), ((-2),11), ((1),12), ((-1),14), ((2),15), ((1),16), ((-1),17), ((2),18), ((-1),19), ((1),20), ((-1),21), ((1),25), ((2),27), ((-2),29), ((-1),30), ((1),32), ((-1),36), ((-1),41), ((2),42), ((-1),43), ((1),44), ((-2),45), ((2),47), ((2),49), ((-1),50), ((1),51), ((2),52), ((2),55), ((2),58), ((2),60), ((2),62), ((-2),67), ((-1),68), ((2),69), ((-1),70), ((-1),71), ((1),73)], (4)), ("GEQ", [((1),0), ((2),3), ((-1),5), ((-1),6), ((2),9), ((-2),10), ((-2),17), ((2),19), ((1),20), ((2),24), ((-1),25), ((2),27), ((-2),30), ((-1),31), ((-2),32), ((2),34), ((-2),35), ((-2),40), ((1),43), ((1),44), ((-1),45), ((1),46), ((-2),47), ((2),48), ((-1),51), ((-1),52), ((2),53), ((1),54), ((1),55), ((1),56), ((1),57), ((2),58), ((2),62), ((-2),66), ((1),69), ((-1),71), ((-1),74)], (-2)), ("GEQ", [((-1),1), ((1),2), ((-2),5), ((-2),6), ((-2),9), ((1),10), ((-1),11), ((1),13), ((-2),15), ((-1),16), ((2),18), ((1),19), ((-2),20), ((-2),22), ((-2),23), ((-2),25), ((2),27), ((1),28), ((2),29), ((1),32), ((2),37), ((2),38), ((-2),39), ((-2),41), ((-2),42), ((-2),43), ((-2),45), ((-2),48), ((-2),50), ((1),51), ((2),52), ((-2),53), ((1),54), ((-2),57), ((-1),58), ((1),61), ((1),62), ((-1),63), ((1),64), ((-1),65), ((2),66), ((-1),67), ((2),69), ((-2),70), ((-1),71), ((-2),72), ((1),74)], (48)), ("GEQ", [((-1),1), ((2),4), ((-1),6), ((1),7), ((-1),8), ((-1),11), ((-1),13), ((-1),14), ((-2),15), ((2),17), ((1),18), ((-2),19), ((1),20), ((-2),21), ((2),22), ((-2),23), ((2),24), ((1),32), ((2),33), ((-2),34), ((-2),35), ((-1),36), ((2),37), ((-2),39), ((-2),42), ((1),44), ((-2),45), ((2),48), ((1),49), ((-1),50), ((2),51), ((-2),52), ((1),54), ((1),57), ((2),58), ((2),59), ((-2),60), ((-1),61), ((-2),62), ((-1),64), ((-1),67), ((-1),69), ((-1),70), ((-2),72), ((2),73), ((-2),74)], (3)), ("GEQ", [((-2),0), ((1),2), ((1),4), ((-2),6), ((2),7), ((1),9), ((-2),11), ((2),17), ((-1),18), ((-1),19), ((1),22), ((1),24), ((-1),25), ((2),26), ((2),30), ((-2),31), ((-1),34), ((2),37), ((-2),40), ((2),41), ((2),42), ((-2),43), ((2),46), ((1),48), ((-1),50), ((2),51), ((-2),53), ((2),55), ((-2),59), ((2),60), ((-2),61), ((-2),67), ((-2),68), ((1),69), ((2),71), ((2),72), ((-1),73)], (15)), ("GEQ", [((2),0), ((-1),3), ((-1),4), ((1),6), ((-2),7), ((-2),8), ((1),13), ((2),14), ((2),15), ((2),18), ((2),20), ((-2),21), ((-2),22), ((-1),23), ((-1),26), ((-2),29), ((-1),30), ((2),33), ((2),34), ((2),36), ((-2),41), ((-2),42), ((-1),43), ((1),47), ((-2),49), ((-1),51), ((-2),52), ((2),54), ((1),55), ((-1),56), ((2),57), ((2),59), ((1),60), ((-1),61), ((-2),62), ((-1),63), ((1),64), ((1),65), ((-2),66), ((1),68), ((2),69), ((-2),70), ((-2),73)], (7)), ("GEQ", [((-2),4), ((2),5), ((1),7), ((2),8), ((2),10), ((2),12), ((-2),13), ((2),15), ((2),18), ((-2),20), ((-2),23), ((-1),24), ((-2),25), ((-1),27), ((-1),29), ((-1),31), ((2),33), ((-1),34), ((1),35), ((2),37), ((-1),38), ((-1),39), ((-2),40), ((1),41), ((1),43), ((-2),44), ((-2),46), ((-1),51), ((-1),53), ((2),54), ((1),56), ((2),57), ((2),58), ((-1),59), ((-1),61), ((-1),65), ((1),66), ((1),67), ((1),68), ((1),70), ((-1),73)], (-27)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((2),3), ((-2),4), ((-2),6), ((-1),7), ((-1),8), ((1),10), ((-1),11), ((-2),16), ((-2),19), ((-1),22), ((-2),23), ((1),25), ((1),26), ((-2),28), ((2),29), ((-1),30), ((-2),31), ((-2),34), ((-2),35), ((-2),36), ((-1),37), ((-1),39), ((-1),42), ((-1),43), ((1),44), ((1),45), ((-1),46), ((-2),49), ((1),50), ((-1),51), ((1),52), ((-2),54), ((1),55), ((-1),56), ((-2),57), ((-1),58), ((1),59), ((1),60), ((-1),61), ((2),62), ((-2),63), ((1),65), ((2),66), ((1),68), ((-1),69), ((-1),70), ((-2),71), ((-1),74)], (-9)), ("GEQ", [((1),0), ((-1),2), ((1),3), ((2),4), ((2),7), ((-2),8), ((1),10), ((-1),11), ((-2),12), ((-1),14), ((-1),16), ((1),19), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((-1),26), ((1),27), ((-1),28), ((1),32), ((2),33), ((-2),34), ((2),38), ((-1),39), ((2),40), ((-1),41), ((2),43), ((2),45), ((1),49), ((1),50), ((-1),53), ((1),54), ((-1),55), ((-1),56), ((1),57), ((2),58), ((1),59), ((2),61), ((-1),62), ((-2),63), ((1),65), ((1),66), ((-1),67), ((-1),69), ((1),70), ((2),72), ((2),73), ((1),74)], (3)), ("GEQ", [((1),0), ((-1),4), ((-1),5), ((-2),8), ((1),9), ((-1),10), ((-1),15), ((-2),16), ((-1),17), ((1),18), ((-2),20), ((1),21), ((2),22), ((2),23), ((-2),24), ((1),26), ((-2),27), ((-2),29), ((1),30), ((-2),32), ((-1),33), ((2),34), ((-1),35), ((-1),37), ((-2),38), ((-2),41), ((-2),45), ((2),49), ((-1),51), ((-1),57), ((1),59), ((1),61), ((-2),63), ((1),66), ((1),70), ((1),71), ((2),72), ((-2),73), ((-2),74)], (-1)), ("GEQ", [((1),0), ((2),1), ((2),5), ((-1),9), ((2),10), ((-1),12), ((-1),17), ((1),20), ((2),21), ((2),23), ((2),24), ((-1),25), ((-2),26), ((-2),27), ((2),28), ((-2),29), ((2),31), ((1),33), ((1),34), ((2),35), ((2),37), ((-1),39), ((2),42), ((-1),44), ((2),46), ((-2),47), ((-1),48), ((-2),51), ((1),53), ((2),54), ((-1),56), ((-2),57), ((-2),58), ((-2),59), ((-1),60), ((-2),61), ((2),62), ((1),63), ((2),67), ((2),68), ((2),70), ((2),71), ((2),72), ((2),73), ((-2),74)], (30)), ("GEQ", [((-2),0), ((-1),2), ((2),3), ((-2),5), ((1),6), ((-2),8), ((-1),11), ((1),12), ((1),14), ((2),15), ((2),16), ((-2),17), ((1),18), ((-2),19), ((-2),20), ((1),21), ((1),22), ((1),23), ((-1),24), ((-2),25), ((-2),26), ((-1),29), ((-1),38), ((1),39), ((1),40), ((2),41), ((1),44), ((1),46), ((2),47), ((2),49), ((2),52), ((-2),53), ((1),55), ((2),56), ((-2),61), ((1),62), ((2),63), ((1),64), ((-2),65), ((-2),69), ((-2),72), ((-2),74)], (4)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((2),3), ((2),6), ((2),7), ((2),8), ((1),9), ((1),10), ((2),12), ((2),13), ((-1),14), ((1),15), ((1),16), ((-1),17), ((1),18), ((1),20), ((-1),21), ((2),22), ((2),23), ((1),25), ((-1),26), ((-1),27), ((-2),28), ((2),32), ((1),33), ((-1),35), ((2),36), ((-2),43), ((1),45), ((-2),47), ((-2),48), ((-2),49), ((-1),50), ((1),51), ((-1),52), ((1),53), ((-2),57), ((1),58), ((2),59), ((-2),60), ((-2),61), ((2),62), ((2),63), ((-2),64), ((2),65), ((-1),67), ((2),72), ((1),73), ((2),74)], (-41)), ("GEQ", [((1),4), ((-2),5), ((-2),8), ((2),9), ((-2),10), ((-2),11), ((1),12), ((2),13), ((-2),17), ((1),18), ((-1),21), ((-2),22), ((-2),23), ((1),25), ((-1),26), ((2),28), ((-1),29), ((2),30), ((-1),31), ((2),32), ((-2),33), ((-2),34), ((-1),36), ((-2),37), ((-1),38), ((-2),39), ((1),40), ((-2),41), ((-1),42), ((1),43), ((-2),44), ((2),45), ((-1),46), ((-1),47), ((-1),48), ((-1),49), ((2),50), ((1),51), ((-2),52), ((-1),53), ((2),57), ((-1),58), ((2),59), ((-2),63), ((1),64), ((2),65), ((2),67), ((2),68), ((-1),69), ((-2),70), ((-1),72), ((1),73), ((-1),74)], (25)), ("GEQ", [((1),0), ((-1),2), ((1),3), ((-2),4), ((1),5), ((-1),6), ((-2),7), ((-2),9), ((2),11), ((1),12), ((-1),13), ((2),16), ((-2),17), ((1),20), ((2),22), ((-1),23), ((-1),25), ((-1),26), ((-1),28), ((-2),29), ((-1),30), ((1),33), ((-1),35), ((-2),37), ((1),38), ((-1),39), ((2),42), ((-1),43), ((1),44), ((-2),45), ((1),49), ((2),50), ((2),53), ((-2),54), ((2),55), ((-1),56), ((1),57), ((2),58), ((1),59), ((-1),61), ((2),63), ((-1),66), ((2),68), ((2),70), ((2),71), ((2),73), ((-1),74)], (-23)), ("GEQ", [((-1),2), ((2),4), ((2),5), ((-2),6), ((-2),7), ((-1),8), ((2),9), ((2),10), ((2),11), ((1),13), ((2),14), ((2),15), ((-1),16), ((1),18), ((-1),19), ((-1),21), ((-2),22), ((-1),27), ((-1),29), ((-2),30), ((2),31), ((-2),33), ((-2),35), ((1),36), ((2),37), ((-2),38), ((-2),42), ((2),43), ((-1),44), ((2),45), ((-1),47), ((2),48), ((1),49), ((2),52), ((-1),53), ((1),54), ((2),55), ((-2),57), ((-1),58), ((2),59), ((-1),60), ((-1),62), ((2),63), ((2),64), ((1),65), ((1),68), ((1),69), ((1),70), ((-2),71), ((1),74)], (5)), ("GEQ", [((2),0), ((-1),1), ((1),3), ((-1),4), ((1),6), ((-2),7), ((-2),9), ((1),10), ((2),11), ((-1),14), ((2),16), ((2),21), ((1),22), ((-2),23), ((1),26), ((1),27), ((1),31), ((2),32), ((2),33), ((1),34), ((-2),36), ((1),39), ((1),41), ((-2),42), ((2),45), ((-1),46), ((1),47), ((-1),48), ((2),49), ((-1),50), ((-1),51), ((1),52), ((-1),53), ((-2),54), ((2),57), ((-1),58), ((-1),60), ((-2),61), ((-1),64), ((1),66), ((-2),70), ((-1),71), ((1),72)], (-27)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((1),4), ((-2),5), ((2),6), ((-1),9), ((2),10), ((1),13), ((1),14), ((-1),15), ((-2),16), ((-2),19), ((2),20), ((1),21), ((-1),23), ((-1),25), ((2),26), ((-1),27), ((2),28), ((-2),30), ((-2),32), ((-1),33), ((-1),34), ((-1),36), ((-2),37), ((-1),38), ((1),39), ((1),40), ((1),41), ((2),42), ((1),43), ((2),44), ((1),47), ((-1),48), ((2),49), ((1),50), ((2),51), ((2),54), ((-2),57), ((1),59), ((-1),61), ((1),66), ((-1),69), ((1),74)], (-2)), ("GEQ", [((2),3), ((2),4), ((-2),8), ((-2),9), ((-1),10), ((-1),12), ((2),14), ((2),19), ((-1),20), ((2),22), ((-2),26), ((2),28), ((2),29), ((-1),31), ((2),32), ((-2),34), ((2),35), ((-1),36), ((-1),38), ((-1),39), ((1),40), ((2),41), ((-2),42), ((-1),46), ((-2),49), ((-1),50), ((2),53), ((-1),54), ((1),55), ((1),57), ((-1),60), ((2),62), ((-1),63), ((2),65), ((1),66), ((-2),67), ((-2),68), ((2),72), ((-1),74)], (9)), ("GEQ", [((1),2), ((2),4), ((-1),9), ((1),10), ((1),12), ((-2),14), ((2),19), ((-1),20), ((1),21), ((2),24), ((-2),25), ((-2),27), ((1),28), ((1),30), ((-2),33), ((2),34), ((-2),36), ((1),37), ((2),38), ((2),39), ((-2),43), ((-2),44), ((-2),45), ((1),46), ((-2),53), ((-2),54), ((-2),56), ((2),59), ((-2),60), ((2),62), ((1),65), ((2),66), ((-1),67), ((-2),68), ((-2),70), ((-2),71), ((-1),73)], (4)), ("GEQ", [((1),0), ((1),4), ((-2),8), ((2),10), ((-1),12), ((-1),13), ((-1),14), ((-1),15), ((-1),18), ((1),21), ((-2),27), ((1),28), ((2),29), ((1),35), ((1),36), ((-2),37), ((2),39), ((-2),40), ((-2),41), ((-2),43), ((-2),44), ((1),47), ((-1),48), ((2),51), ((2),54), ((-2),56), ((-1),57), ((-2),58), ((2),62), ((1),63), ((1),64), ((-1),65), ((-1),66), ((-1),67), ((-2),68), ((1),70), ((-2),72), ((2),73)], (18)), ("GEQ", [((-2),1), ((-2),4), ((-2),7), ((-1),9), ((2),10), ((2),11), ((1),12), ((2),16), ((-1),18), ((-2),19), ((-1),21), ((1),22), ((2),24), ((1),26), ((1),27), ((-1),30), ((2),32), ((2),33), ((1),34), ((1),35), ((-1),36), ((1),37), ((2),38), ((2),39), ((-2),40), ((2),41), ((-2),45), ((1),46), ((1),47), ((2),48), ((-2),49), ((2),51), ((1),53), ((1),58), ((2),59), ((-2),60), ((1),61), ((2),63), ((-2),66), ((-2),67), ((2),70), ((-1),71), ((2),72), ((2),73), ((1),74)], (-82)), ("GEQ", [((1),0), ((-1),2), ((1),7), ((-1),9), ((1),10), ((2),13), ((-2),21), ((-1),22), ((2),24), ((-2),27), ((-2),28), ((-1),29), ((2),30), ((1),31), ((-2),33), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((-1),39), ((2),40), ((1),41), ((-1),44), ((1),46), ((2),47), ((-1),48), ((1),49), ((-1),50), ((1),51), ((2),55), ((2),56), ((1),57), ((1),58), ((-2),59), ((2),60), ((-1),61), ((-2),62), ((2),67), ((-2),68), ((-1),70), ((-2),72), ((2),74)], (-10)), ("GEQ", [((1),1), ((-2),2), ((1),3), ((-2),6), ((-2),7), ((-2),9), ((2),10), ((-1),13), ((2),14), ((-2),15), ((-1),16), ((-1),17), ((1),18), ((2),21), ((-2),22), ((2),24), ((2),25), ((2),27), ((-1),29), ((-2),30), ((-2),31), ((-1),33), ((-2),34), ((2),35), ((-1),36), ((-1),37), ((-2),38), ((1),40), ((2),44), ((1),46), ((-2),48), ((-2),49), ((-1),50), ((-1),51), ((2),53), ((2),54), ((-1),55), ((-1),56), ((-2),58), ((2),61), ((-2),63), ((1),64), ((2),67), ((2),68), ((-1),69), ((-2),71)], (22)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((-1),5), ((1),6), ((-2),7), ((1),12), ((1),16), ((-1),17), ((2),18), ((2),22), ((1),24), ((-2),25), ((2),28), ((1),30), ((2),31), ((2),33), ((-2),35), ((-2),37), ((2),38), ((-2),39), ((-2),40), ((-2),41), ((1),46), ((-2),52), ((2),53), ((-1),55), ((-2),56), ((1),57), ((-1),59), ((2),62), ((2),63), ((2),67), ((-2),68), ((-1),69), ((-1),70), ((2),71), ((2),72), ((-1),73), ((-2),74)], (-31)), ("GEQ", [((2),0), ((1),3), ((-2),4), ((2),5), ((-2),6), ((1),7), ((-2),10), ((2),12), ((-2),13), ((2),14), ((-1),15), ((-2),16), ((2),17), ((2),20), ((2),21), ((-1),23), ((-1),28), ((-1),32), ((-2),33), ((2),37), ((-2),42), ((-1),46), ((2),48), ((-2),49), ((-2),50), ((2),51), ((1),52), ((-2),53), ((2),54), ((2),55), ((-1),56), ((2),57), ((-1),58), ((-1),59), ((2),60), ((1),62), ((-2),63), ((2),65), ((2),66), ((2),70), ((-2),72), ((-2),73), ((1),74)], (5)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-2),4), ((-1),5), ((2),7), ((2),9), ((-1),11), ((-1),12), ((2),14), ((2),15), ((1),17), ((-2),18), ((1),22), ((-1),23), ((-2),24), ((-1),25), ((2),26), ((-2),28), ((-1),30), ((-2),31), ((-1),32), ((-1),33), ((1),34), ((2),35), ((1),37), ((-2),39), ((1),40), ((1),41), ((1),45), ((1),46), ((2),47), ((2),48), ((1),52), ((-2),55), ((1),60), ((1),64), ((-2),65), ((-1),66), ((-1),67), ((-2),68), ((-2),69), ((1),70), ((-1),71), ((2),73), ((1),74)], (15)), ("GEQ", [((-2),0), ((-2),2), ((-1),3), ((2),5), ((-1),6), ((2),7), ((-2),8), ((-1),9), ((-1),11), ((-2),13), ((-1),14), ((2),15), ((-1),16), ((1),17), ((-1),19), ((2),20), ((2),24), ((1),25), ((-2),26), ((-2),28), ((-1),32), ((-1),37), ((2),39), ((2),40), ((-1),41), ((-2),43), ((1),45), ((2),46), ((-1),47), ((1),48), ((-2),51), ((2),53), ((2),54), ((-2),56), ((-1),58), ((1),59), ((-1),60), ((2),61), ((2),62), ((-2),63), ((-2),65), ((2),66), ((-2),67), ((-2),69), ((1),71), ((-1),72), ((-2),73)], (35)), ("GEQ", [((-2),1), ((2),2), ((-2),3), ((-2),6), ((1),7), ((1),8), ((-1),9), ((-2),11), ((-2),13), ((-1),14), ((2),16), ((-2),17), ((-1),20), ((2),21), ((1),25), ((-2),26), ((2),28), ((-2),30), ((1),33), ((2),35), ((-2),36), ((2),37), ((-1),38), ((-2),39), ((-1),40), ((1),41), ((-2),42), ((2),43), ((1),44), ((2),47), ((-1),51), ((-2),52), ((1),53), ((-1),55), ((-1),57), ((-1),59), ((-2),61), ((1),62), ((1),64), ((1),65), ((-1),71), ((1),72)], (23)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((2),4), ((-2),8), ((-2),9), ((-1),11), ((1),13), ((1),14), ((-2),15), ((2),18), ((-1),19), ((2),21), ((1),22), ((-1),23), ((2),25), ((1),27), ((2),28), ((-1),30), ((-1),34), ((-2),36), ((2),37), ((2),39), ((1),40), ((1),42), ((-1),43), ((-1),44), ((2),45), ((-2),46), ((1),48), ((-1),49), ((-1),51), ((1),56), ((-2),57), ((-1),59), ((-1),61), ((2),62), ((2),64), ((-1),65), ((-1),66), ((-2),67), ((-2),68), ((1),70), ((-1),72), ((-1),73), ((1),74)], (-1)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),3), ((-1),4), ((2),8), ((-1),10), ((2),11), ((-2),13), ((-1),15), ((-1),16), ((-2),17), ((-2),20), ((-1),23), ((2),25), ((2),26), ((-1),27), ((-2),28), ((1),33), ((-1),36), ((1),37), ((-2),38), ((2),40), ((1),41), ((-2),42), ((2),44), ((-1),46), ((1),50), ((-2),51), ((2),52), ((1),54), ((-1),55), ((-1),57), ((-1),58), ((-1),59), ((-2),60), ((2),61), ((-2),62), ((-2),63), ((2),64), ((-1),65), ((-1),66), ((2),67), ((-1),70), ((-1),71), ((-2),73), ((2),74)], (-5)), ("GEQ", [((-2),1), ((2),2), ((2),4), ((-2),7), ((-2),8), ((-1),11), ((-2),13), ((-1),15), ((1),17), ((1),18), ((2),19), ((-1),20), ((2),24), ((-1),25), ((-1),27), ((2),29), ((2),30), ((2),31), ((1),32), ((-1),36), ((1),37), ((-2),38), ((-1),40), ((2),41), ((1),44), ((-1),45), ((-1),47), ((-1),49), ((-2),51), ((-1),53), ((1),55), ((1),56), ((1),57), ((2),61), ((-2),62), ((2),64), ((1),65), ((-1),66), ((2),68), ((-2),69), ((2),72), ((-1),73)], (21)), ("GEQ", [((1),0), ((-1),1), ((1),3), ((-2),5), ((-2),7), ((1),8), ((-2),10), ((1),11), ((-2),12), ((-2),14), ((-2),16), ((2),18), ((2),19), ((-1),20), ((1),23), ((1),24), ((1),26), ((-1),27), ((1),29), ((-2),32), ((-1),33), ((2),34), ((2),35), ((-2),36), ((1),39), ((-2),40), ((2),42), ((-2),43), ((-2),44), ((-1),46), ((1),47), ((2),48), ((-2),50), ((2),52), ((1),53), ((2),54), ((-1),55), ((-1),56), ((2),58), ((2),59), ((-1),60), ((2),61), ((1),62), ((1),63), ((-1),64), ((1),65), ((2),67), ((-1),68), ((2),69), ((1),70), ((-1),74)], (-12)), ("GEQ", [((1),2), ((-2),3), ((2),5), ((-1),6), ((2),9), ((-1),12), ((-1),16), ((-1),17), ((1),19), ((-1),20), ((-1),21), ((1),22), ((1),25), ((-1),26), ((2),27), ((1),28), ((2),29), ((1),30), ((-1),31), ((-2),32), ((1),33), ((2),40), ((1),41), ((-1),42), ((-1),43), ((2),45), ((-2),46), ((1),47), ((1),49), ((2),52), ((-1),53), ((-1),56), ((2),59), ((2),60), ((-1),61), ((-1),62), ((-2),63), ((-2),64), ((-2),69), ((1),70), ((1),71), ((1),72), ((1),73), ((1),74)], (16)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((2),3), ((2),4), ((2),5), ((2),7), ((-1),8), ((-1),10), ((-2),16), ((-2),19), ((-1),20), ((-2),21), ((-1),22), ((-2),24), ((-1),25), ((-1),26), ((-2),27), ((1),28), ((-2),30), ((-1),31), ((1),33), ((1),34), ((2),36), ((-2),37), ((-2),39), ((-1),40), ((-1),42), ((2),43), ((-1),44), ((-2),48), ((-2),49), ((-1),50), ((1),51), ((-1),52), ((1),53), ((1),54), ((2),57), ((-2),58), ((2),61), ((-2),62), ((-1),63), ((-1),64), ((-1),67), ((-2),68), ((-2),70), ((2),73)], (23)), ("GEQ", [((1),2), ((-2),5), ((-1),7), ((-2),10), ((1),11), ((-2),13), ((2),14), ((-1),15), ((-2),17), ((1),18), ((2),20), ((1),22), ((1),24), ((-2),26), ((-1),28), ((-1),29), ((1),30), ((1),31), ((1),32), ((1),34), ((-1),35), ((2),36), ((-1),37), ((1),38), ((-2),40), ((2),42), ((2),43), ((-1),44), ((1),47), ((2),48), ((2),49), ((-2),50), ((-1),52), ((-1),54), ((2),56), ((-1),57), ((-1),58), ((1),61), ((-2),63), ((-1),64), ((-1),67), ((-1),69), ((-1),71), ((2),73)], (-13)), ("GEQ", [((1),0), ((1),1), ((1),3), ((-1),5), ((2),6), ((2),9), ((-1),10), ((2),11), ((-2),12), ((1),13), ((-2),14), ((-2),16), ((-2),17), ((-2),18), ((-1),19), ((-1),20), ((-1),21), ((-2),22), ((2),23), ((-2),27), ((2),33), ((-2),36), ((-1),37), ((1),38), ((-2),40), ((-1),41), ((-1),43), ((-2),45), ((-1),46), ((-1),48), ((2),50), ((-1),52), ((1),54), ((-1),55), ((1),56), ((1),57), ((2),58), ((-1),59), ((2),60), ((-2),61), ((1),63), ((-2),65), ((-1),67), ((1),68), ((1),69), ((-1),70), ((2),72)], (-50)), ("GEQ", [((-1),0), ((-1),1), ((1),4), ((-1),5), ((-2),6), ((2),8), ((-1),9), ((-2),10), ((2),11), ((-2),12), ((-1),13), ((1),15), ((-1),17), ((-1),18), ((-2),19), ((1),20), ((1),23), ((2),24), ((-2),28), ((1),32), ((1),33), ((1),34), ((2),36), ((-2),37), ((-1),39), ((-1),40), ((-2),41), ((-1),42), ((-2),43), ((1),46), ((-1),48), ((1),49), ((1),50), ((1),55), ((2),56), ((-1),58), ((-2),59), ((-2),60), ((1),61), ((1),62), ((2),63), ((1),64), ((-2),65), ((2),69), ((2),70), ((1),71), ((1),72), ((-1),73)], (-6)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((1),3), ((1),6), ((-1),7), ((1),8), ((1),9), ((2),11), ((-2),12), ((1),13), ((-1),19), ((-2),20), ((-2),21), ((2),24), ((2),26), ((2),28), ((2),30), ((2),31), ((2),32), ((1),33), ((-1),35), ((-1),36), ((1),39), ((-1),40), ((1),43), ((-2),44), ((-2),45), ((1),46), ((-2),47), ((-1),48), ((-1),49), ((1),52), ((1),55), ((-2),56), ((2),63), ((-1),65), ((-2),66), ((1),67), ((1),68), ((-1),69), ((1),71), ((2),72)], (-41)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((-1),4), ((2),6), ((2),7), ((-1),8), ((1),9), ((-1),11), ((2),14), ((2),17), ((-1),19), ((-2),21), ((1),24), ((1),25), ((2),29), ((1),33), ((-1),34), ((2),35), ((2),36), ((-1),37), ((1),42), ((-1),43), ((1),45), ((-2),46), ((-2),47), ((-2),48), ((2),50), ((2),52), ((-2),57), ((2),58), ((2),59), ((2),61), ((-2),62), ((1),63), ((-2),64), ((-1),65), ((1),66), ((1),67), ((-2),71), ((-1),72), ((1),74)], (12)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((1),7), ((-1),8), ((-2),9), ((1),10), ((-1),11), ((1),12), ((2),15), ((-2),19), ((2),21), ((-2),23), ((1),24), ((-2),26), ((2),29), ((-1),35), ((1),36), ((2),39), ((2),41), ((-2),43), ((2),44), ((2),46), ((-1),48), ((-2),49), ((1),50), ((2),55), ((-1),58), ((-1),60), ((-1),62), ((2),63), ((1),64), ((-2),65), ((-1),69), ((-2),70), ((1),72)], (12)), ("GEQ", [((2),0), ((2),2), ((-1),3), ((1),4), ((-2),5), ((-2),6), ((2),8), ((2),9), ((2),10), ((-1),12), ((-1),13), ((1),14), ((2),16), ((1),17), ((-1),20), ((2),21), ((-1),23), ((-2),24), ((-1),25), ((2),27), ((-1),28), ((2),29), ((-2),30), ((-2),31), ((-1),32), ((-2),33), ((1),37), ((2),38), ((-2),42), ((-2),45), ((2),46), ((-2),47), ((2),49), ((1),50), ((-2),51), ((-1),53), ((-1),54), ((1),56), ((2),57), ((-2),59), ((1),60), ((-1),61), ((-2),62), ((-1),63), ((1),64), ((2),67), ((-1),68), ((1),69), ((1),70), ((1),72), ((-1),73), ((-2),74)], (23)), ("GEQ", [((2),1), ((-1),2), ((-1),3), ((1),4), ((1),7), ((1),9), ((-2),10), ((2),11), ((-2),12), ((-1),13), ((-2),15), ((-2),17), ((-1),18), ((-2),19), ((-2),20), ((-1),21), ((2),22), ((-2),24), ((-1),25), ((2),26), ((1),28), ((1),34), ((-1),35), ((2),37), ((-1),38), ((-2),43), ((1),44), ((-2),46), ((2),47), ((-2),48), ((2),49), ((-1),51), ((2),52), ((-2),55), ((1),61), ((-2),63), ((-1),64), ((2),66), ((-1),68), ((-2),69), ((1),70), ((1),71), ((2),72), ((1),73)], (22)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),3), ((1),4), ((2),5), ((-1),6), ((-1),9), ((-1),11), ((-2),14), ((-1),15), ((1),16), ((1),18), ((2),20), ((1),21), ((-1),22), ((-2),23), ((-1),24), ((-2),28), ((-2),30), ((-2),31), ((-2),33), ((-1),35), ((1),36), ((1),37), ((2),38), ((-2),39), ((-1),42), ((-1),44), ((1),45), ((-1),51), ((1),53), ((2),58), ((1),60), ((-2),62), ((1),63), ((-1),64), ((2),65), ((-2),68), ((2),69), ((2),70), ((1),72)], (17)), ("GEQ", [((-2),0), ((2),2), ((2),3), ((-2),5), ((-2),6), ((1),7), ((1),8), ((-2),9), ((-1),10), ((-2),11), ((-2),12), ((-2),14), ((-2),16), ((1),17), ((1),23), ((1),26), ((-1),27), ((1),28), ((2),29), ((2),30), ((-1),31), ((2),33), ((2),35), ((-2),36), ((-2),37), ((1),38), ((-1),40), ((-2),41), ((2),42), ((2),44), ((-1),45), ((-2),46), ((1),47), ((-2),48), ((-1),51), ((1),52), ((-1),55), ((2),56), ((-2),58), ((-2),59), ((2),60), ((1),61), ((-2),63), ((1),65), ((2),66), ((1),67), ((-2),69), ((2),71), ((-2),73)], (5)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((1),4), ((1),6), ((-2),7), ((-1),8), ((-1),9), ((2),11), ((-1),12), ((-2),13), ((2),14), ((-1),15), ((-2),17), ((1),18), ((-1),19), ((-2),20), ((-2),21), ((-2),23), ((-2),24), ((2),25), ((1),26), ((1),27), ((-1),28), ((-1),30), ((1),32), ((-2),33), ((1),34), ((1),42), ((-1),44), ((2),45), ((-1),46), ((2),50), ((-1),52), ((1),55), ((-1),56), ((2),58), ((-2),64), ((-1),66), ((-2),67), ((-2),68), ((-2),70), ((1),74)], (9)), ("GEQ", [((-2),1), ((1),2), ((-1),5), ((1),9), ((2),11), ((-1),13), ((-1),15), ((-1),17), ((1),18), ((2),20), ((-1),22), ((2),24), ((2),25), ((-1),28), ((-1),30), ((2),31), ((-1),33), ((1),34), ((1),35), ((-1),37), ((-2),38), ((-2),39), ((1),43), ((-1),44), ((1),46), ((1),47), ((1),49), ((2),50), ((-2),52), ((-1),53), ((-2),54), ((-2),55), ((-2),57), ((2),60), ((2),61), ((-1),71), ((-1),73), ((2),74)], (-5)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((1),4), ((1),5), ((1),6), ((-1),7), ((2),8), ((-1),10), ((1),11), ((-2),13), ((2),14), ((1),15), ((1),16), ((1),17), ((1),20), ((-2),21), ((-2),22), ((1),23), ((2),24), ((-1),26), ((-1),28), ((-2),29), ((-1),34), ((2),35), ((2),38), ((1),39), ((2),41), ((-2),42), ((-1),45), ((1),46), ((1),47), ((-2),49), ((2),52), ((-2),53), ((-1),54), ((2),55), ((1),56), ((2),57), ((-2),59), ((-1),61), ((1),62), ((1),67), ((2),71), ((2),72)], (-20)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((1),4), ((2),5), ((-2),6), ((-1),7), ((2),8), ((1),9), ((1),10), ((-1),12), ((2),14), ((1),16), ((-1),17), ((1),18), ((1),20), ((-1),22), ((2),24), ((2),27), ((-1),29), ((1),30), ((2),31), ((2),32), ((2),34), ((2),37), ((-1),38), ((-1),39), ((1),41), ((2),44), ((1),45), ((2),46), ((-2),47), ((-2),49), ((-2),52), ((-2),56), ((1),57), ((-2),60), ((-1),61), ((1),62), ((1),63), ((-1),64), ((-1),65), ((-2),66), ((2),67), ((-2),69), ((-2),70), ((2),71), ((2),72), ((-1),73), ((-2),74)], (17)), ("GEQ", [((-1),0), ((-2),1), ((1),5), ((1),6), ((-2),9), ((1),10), ((2),12), ((1),13), ((-1),14), ((-1),16), ((2),17), ((-1),19), ((-2),20), ((2),26), ((1),27), ((-1),28), ((-2),29), ((-1),32), ((1),35), ((1),38), ((2),43), ((1),46), ((-1),47), ((-2),48), ((1),50), ((1),53), ((2),55), ((-2),58), ((2),59), ((-2),62), ((-1),64), ((-2),65), ((1),68), ((-2),70), ((2),72), ((-1),73), ((2),74)], (5)), ("GEQ", [((1),0), ((-2),4), ((-1),5), ((1),7), ((2),10), ((1),12), ((-2),13), ((-1),15), ((1),16), ((-1),19), ((2),20), ((1),21), ((-2),22), ((-1),23), ((-2),24), ((1),28), ((-1),33), ((-2),35), ((2),38), ((2),40), ((2),41), ((2),42), ((-2),44), ((-1),45), ((-2),49), ((2),50), ((2),51), ((-1),54), ((1),55), ((-1),58), ((2),60), ((-2),62), ((-1),63), ((-1),68), ((-2),70), ((-1),71), ((-2),72), ((-1),73), ((1),74)], (5)), ("GEQ", [((-2),1), ((-1),2), ((-2),5), ((-1),7), ((-1),9), ((2),13), ((1),14), ((1),15), ((-2),16), ((-1),17), ((2),19), ((-1),20), ((1),22), ((2),23), ((-1),24), ((1),25), ((-1),26), ((1),27), ((1),29), ((-2),31), ((2),32), ((1),33), ((-2),34), ((-2),35), ((-2),36), ((-1),38), ((-2),39), ((-1),44), ((-2),46), ((1),47), ((-1),48), ((2),50), ((-1),51), ((-1),52), ((1),53), ((1),56), ((-1),57), ((-2),58), ((-1),59), ((-1),60), ((1),63), ((-2),64), ((-2),65), ((1),67), ((1),70), ((-1),73), ((-2),74)], (-21)), ("GEQ", [((-1),0), ((1),1), ((-1),3), ((1),5), ((1),8), ((1),9), ((1),12), ((2),14), ((2),19), ((1),21), ((2),24), ((2),26), ((-1),27), ((2),28), ((2),32), ((2),33), ((-2),34), ((1),35), ((2),36), ((-2),37), ((2),39), ((1),40), ((-2),41), ((2),42), ((2),44), ((2),45), ((2),46), ((-2),49), ((-2),50), ((-2),51), ((-1),54), ((2),55), ((1),56), ((2),57), ((-2),58), ((-1),59), ((1),60), ((1),65), ((1),70), ((-2),72)], (-17)), ("GEQ", [((-1),1), ((-1),2), ((-1),5), ((-1),7), ((1),8), ((2),10), ((1),13), ((1),14), ((2),15), ((2),16), ((2),18), ((-2),20), ((1),21), ((-2),22), ((2),26), ((-1),28), ((1),29), ((1),33), ((-2),34), ((-1),36), ((-1),37), ((-1),38), ((1),40), ((-2),41), ((-1),43), ((-1),45), ((1),47), ((1),48), ((-2),52), ((1),55), ((-1),56), ((1),57), ((-1),59), ((1),61), ((-1),63), ((1),64), ((-2),66), ((-1),69), ((-2),71), ((1),73)], (-20)), ("GEQ", [((1),1), ((-2),2), ((-2),3), ((-2),4), ((-2),5), ((-1),6), ((-1),7), ((1),11), ((-2),12), ((-1),13), ((1),15), ((-2),16), ((2),18), ((2),19), ((-1),21), ((2),22), ((2),23), ((-1),25), ((1),26), ((2),27), ((2),28), ((2),29), ((-2),30), ((2),33), ((2),34), ((1),36), ((-1),37), ((1),39), ((1),43), ((1),45), ((-1),46), ((2),49), ((-1),52), ((1),53), ((1),54), ((-1),55), ((-1),57), ((1),58), ((1),60), ((1),61), ((-2),62), ((-2),64), ((1),65), ((-1),66), ((-2),67), ((-2),69), ((2),70), ((1),72), ((-2),73), ((1),74)], (-10)), ("GEQ", [((1),1), ((-1),4), ((-2),5), ((1),8), ((-2),11), ((-1),12), ((-2),13), ((2),15), ((-2),16), ((2),18), ((1),20), ((1),21), ((-1),23), ((-1),27), ((1),28), ((-2),29), ((-1),33), ((-1),39), ((2),41), ((-1),45), ((-1),47), ((2),48), ((1),51), ((-2),53), ((-2),54), ((2),57), ((-1),60), ((-1),61), ((1),63), ((-1),65), ((-1),66), ((-1),68), ((-2),69), ((-1),70), ((-1),71), ((1),74)], (-12)), ("GEQ", [((2),1), ((-1),5), ((2),7), ((-1),8), ((-1),9), ((1),10), ((1),11), ((-2),15), ((1),16), ((2),17), ((1),18), ((-2),19), ((1),20), ((-1),23), ((2),24), ((-2),25), ((-2),27), ((2),28), ((-2),30), ((2),31), ((2),33), ((-1),34), ((1),35), ((-2),36), ((2),40), ((1),41), ((2),45), ((-2),47), ((-1),48), ((-1),49), ((-2),50), ((1),51), ((-1),52), ((1),54), ((-2),56), ((-1),57), ((1),58), ((-1),60), ((2),62), ((-1),63), ((-1),64), ((1),65), ((-2),66), ((2),67), ((-1),69), ((-1),71), ((2),72)], (2)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((2),3), ((2),4), ((-1),5), ((-2),6), ((-2),8), ((-2),9), ((1),10), ((1),11), ((2),13), ((-1),14), ((-2),15), ((1),16), ((2),19), ((-1),20), ((-1),21), ((-2),22), ((2),24), ((-2),26), ((1),30), ((1),31), ((1),32), ((-1),34), ((1),36), ((-1),41), ((2),42), ((1),43), ((2),44), ((-2),47), ((1),48), ((-2),50), ((-1),51), ((1),54), ((1),55), ((2),56), ((2),58), ((1),60), ((1),63), ((-1),65), ((-1),68), ((2),69), ((-2),70), ((-2),71), ((-2),73), ((2),74)], (1)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((2),3), ((-1),4), ((-2),6), ((1),8), ((2),11), ((-1),14), ((1),16), ((-2),17), ((2),18), ((-2),19), ((-2),20), ((-1),21), ((-1),22), ((1),23), ((1),24), ((2),25), ((-1),28), ((2),29), ((1),30), ((-1),31), ((1),33), ((-1),34), ((2),35), ((2),41), ((-2),42), ((-1),43), ((2),46), ((-1),48), ((-1),51), ((-2),52), ((1),53), ((1),54), ((2),55), ((-1),57), ((-2),58), ((-2),59), ((-1),60), ((1),64), ((2),67), ((-1),68), ((-1),69), ((-2),70), ((-2),71), ((-2),72)], (19)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((-2),4), ((-2),9), ((-2),10), ((-1),11), ((1),12), ((2),13), ((1),14), ((-1),15), ((1),16), ((2),17), ((2),19), ((2),20), ((1),21), ((2),22), ((-2),24), ((-1),25), ((-2),26), ((2),27), ((1),28), ((-2),32), ((-1),33), ((-1),34), ((-2),35), ((-2),36), ((-2),39), ((-2),40), ((2),42), ((2),43), ((1),44), ((-1),45), ((-1),46), ((-1),47), ((-2),48), ((-2),49), ((1),50), ((1),53), ((-1),55), ((-1),56), ((-1),58), ((1),60), ((-1),61), ((-1),62), ((1),68), ((-2),69), ((-1),71), ((2),72), ((2),73), ((1),74)], (9)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((-2),5), ((1),6), ((2),7), ((-2),9), ((-1),10), ((-2),11), ((-2),12), ((1),13), ((-2),15), ((1),17), ((-2),18), ((-2),21), ((1),22), ((1),24), ((2),25), ((2),26), ((-1),27), ((1),29), ((1),30), ((-1),33), ((1),34), ((1),36), ((1),37), ((1),38), ((-1),40), ((-2),41), ((-1),43), ((-2),44), ((1),46), ((2),48), ((-1),49), ((-2),50), ((1),53), ((2),54), ((2),56), ((1),57), ((-2),58), ((-2),60), ((-1),64), ((-1),66), ((-2),67), ((-1),69), ((2),71), ((-1),72), ((-2),74)], (-1)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((2),3), ((-1),4), ((1),6), ((-2),7), ((2),8), ((-2),10), ((1),11), ((1),12), ((1),13), ((2),14), ((1),15), ((2),17), ((2),18), ((-2),21), ((-1),22), ((-2),23), ((1),25), ((-1),26), ((2),27), ((2),28), ((1),29), ((1),30), ((2),31), ((-1),33), ((2),36), ((-1),37), ((-1),38), ((-1),46), ((-2),47), ((-1),51), ((-1),53), ((-2),54), ((-2),56), ((1),57), ((-1),58), ((-2),60), ((-2),61), ((-1),64), ((2),65), ((-2),66), ((-2),67), ((-1),68), ((-2),69), ((-1),71), ((1),74)], (3)), ("GEQ", [((-1),0), ((2),3), ((-2),5), ((1),6), ((1),7), ((1),13), ((2),15), ((2),17), ((-2),19), ((-2),21), ((1),23), ((1),24), ((-2),25), ((-2),26), ((-1),29), ((1),30), ((-1),32), ((2),34), ((-2),36), ((2),37), ((2),38), ((2),39), ((-2),40), ((-1),41), ((2),42), ((-2),43), ((-2),46), ((-1),47), ((2),50), ((-1),52), ((1),53), ((2),54), ((1),55), ((2),57), ((1),60), ((-2),63), ((2),64), ((1),66), ((1),69), ((2),70), ((-2),72), ((1),73), ((-1),74)], (-18)), ("GEQ", [((2),2), ((2),4), ((-2),5), ((2),6), ((-1),7), ((2),8), ((1),9), ((-2),12), ((-2),13), ((-1),16), ((1),17), ((1),19), ((-2),20), ((1),21), ((1),22), ((-1),24), ((-1),25), ((-2),26), ((-1),27), ((2),30), ((-1),31), ((1),32), ((1),33), ((2),34), ((-2),35), ((2),38), ((-1),39), ((2),40), ((2),41), ((1),42), ((-2),43), ((-2),44), ((1),45), ((-2),49), ((-2),50), ((-1),51), ((-1),52), ((2),53), ((1),55), ((-1),59), ((1),61), ((2),62), ((1),63), ((-1),67), ((2),69), ((2),70), ((1),71), ((-2),73), ((2),74)], (1)), ("GEQ", [((1),7), ((1),10), ((-1),15), ((-1),16), ((1),18), ((2),20), ((-1),21), ((-1),22), ((-2),24), ((1),30), ((-1),31), ((1),32), ((-1),34), ((-2),35), ((-2),36), ((-1),37), ((-2),39), ((2),41), ((1),45), ((-1),48), ((-2),49), ((-1),50), ((1),51), ((2),52), ((-1),53), ((-2),54), ((2),56), ((-2),59), ((-2),60), ((1),62), ((-1),70), ((-2),72), ((1),74)], (-14)), ("GEQ", [((-2),1), ((1),2), ((1),4), ((1),7), ((-2),10), ((-1),11), ((-2),12), ((-1),13), ((-2),17), ((1),22), ((1),24), ((-2),27), ((1),29), ((-2),30), ((2),31), ((1),32), ((1),33), ((1),36), ((-2),38), ((1),39), ((1),40), ((2),41), ((-2),42), ((-2),43), ((2),45), ((2),46), ((-1),49), ((-2),50), ((-1),51), ((-1),52), ((-2),53), ((2),55), ((1),56), ((-2),59), ((2),60), ((2),63), ((-1),64), ((-1),67), ((-2),69), ((-1),70), ((1),72), ((2),74)], (8)), ("GEQ", [((-1),0), ((-1),2), ((-2),3), ((-2),6), ((-2),7), ((2),8), ((1),10), ((-1),11), ((-1),12), ((1),14), ((1),15), ((1),17), ((2),18), ((-1),19), ((-1),22), ((2),24), ((-2),28), ((-1),29), ((2),30), ((1),31), ((-2),32), ((2),33), ((1),34), ((1),36), ((-1),38), ((2),39), ((1),41), ((2),42), ((-2),43), ((-1),44), ((2),46), ((2),47), ((-2),49), ((-1),50), ((1),53), ((-1),56), ((2),61), ((1),63), ((2),64), ((1),65), ((-2),66), ((-2),67), ((-1),68), ((-1),71)], (-9)), ("GEQ", [((-1),0), ((-1),3), ((1),4), ((1),6), ((1),7), ((1),8), ((-1),11), ((1),12), ((2),13), ((-1),14), ((1),15), ((1),18), ((-1),19), ((2),20), ((2),25), ((-1),27), ((-2),28), ((1),29), ((2),30), ((1),32), ((2),34), ((-2),35), ((2),36), ((-2),39), ((-2),40), ((1),42), ((-2),43), ((2),44), ((-2),46), ((-2),48), ((-1),50), ((-1),51), ((-2),55), ((-2),56), ((1),57), ((-1),58), ((2),60), ((-2),61), ((-2),62), ((-2),64), ((1),65), ((-1),66), ((-2),67), ((2),68), ((-2),69), ((-1),71), ((-1),74)], (2)), ("GEQ", [((2),0), ((1),2), ((1),4), ((1),5), ((2),6), ((-1),7), ((2),8), ((-2),9), ((2),10), ((1),11), ((-1),13), ((2),14), ((2),15), ((2),17), ((-1),18), ((1),19), ((-2),20), ((2),21), ((-2),23), ((-2),25), ((1),26), ((1),28), ((1),29), ((2),30), ((-2),31), ((-2),32), ((-1),33), ((-2),35), ((1),38), ((1),40), ((2),43), ((1),44), ((1),45), ((2),46), ((-2),47), ((2),49), ((1),50), ((1),53), ((2),55), ((-2),57), ((-1),59), ((1),61), ((1),62), ((1),63), ((-2),64), ((-1),65), ((-2),66), ((1),68), ((-2),71), ((-1),72), ((1),73)], (25)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((1),4), ((2),7), ((2),8), ((-2),9), ((2),12), ((2),13), ((-1),14), ((1),15), ((2),17), ((2),22), ((1),23), ((2),24), ((-2),26), ((-1),27), ((-2),28), ((2),29), ((1),31), ((-2),32), ((2),35), ((-1),36), ((-1),37), ((2),38), ((2),40), ((1),43), ((1),45), ((-1),46), ((-2),48), ((-2),49), ((1),50), ((-2),52), ((-2),53), ((1),54), ((-2),55), ((1),57), ((-1),58), ((-2),59), ((-1),60), ((2),62), ((1),64), ((1),65), ((2),66), ((2),68), ((1),71), ((2),73)], (-21)), ("GEQ", [((2),2), ((-1),4), ((-2),5), ((2),8), ((-2),9), ((-1),10), ((-2),11), ((2),12), ((2),13), ((1),15), ((1),16), ((2),21), ((-1),23), ((-1),24), ((2),26), ((-1),28), ((-2),30), ((-2),33), ((-2),34), ((-1),36), ((-1),37), ((2),40), ((1),41), ((-1),42), ((-2),43), ((1),44), ((-1),45), ((-2),47), ((-1),48), ((1),49), ((2),50), ((-1),52), ((-1),53), ((1),55), ((2),56), ((1),57), ((1),59), ((2),60), ((-1),62), ((-2),63), ((-1),64), ((1),65), ((-1),66), ((2),71), ((-2),72), ((2),74)], (5)), ("GEQ", [((2),4), ((-1),5), ((-2),9), ((-1),11), ((1),12), ((-2),13), ((-1),14), ((2),15), ((-1),17), ((-2),24), ((1),25), ((2),26), ((-2),29), ((1),33), ((-2),35), ((-1),36), ((1),37), ((1),38), ((2),42), ((2),44), ((1),46), ((1),47), ((-2),49), ((2),53), ((2),54), ((-1),55), ((2),59), ((2),60), ((1),61), ((1),63), ((2),66), ((1),67), ((1),68), ((1),69), ((-1),71), ((-1),72), ((2),74)], (-8)), ("GEQ", [((2),2), ((-2),3), ((2),4), ((1),5), ((-1),6), ((-1),7), ((-2),8), ((1),12), ((-2),15), ((-1),16), ((2),19), ((-2),20), ((2),21), ((-2),22), ((-2),23), ((-1),25), ((-2),26), ((-1),27), ((1),30), ((2),31), ((2),32), ((-1),33), ((1),35), ((1),37), ((-1),39), ((2),40), ((1),41), ((-2),42), ((1),45), ((-2),46), ((2),48), ((1),49), ((1),50), ((-1),53), ((-1),54), ((1),57), ((2),58), ((-1),62), ((1),64), ((1),65), ((1),67), ((1),68), ((2),69), ((-1),71), ((-1),72), ((1),73), ((-1),74)], (21)), ("GEQ", [((-23),0), ((38),1), ((-2),2), ((-25),3), ((-18),4), ((15),5), ((41),6), ((16),7), ((-7),8), ((35),9), ((-25),10), ((-16),11), ((-13),12), ((-8),13), ((-23),14), ((15),15), ((12),17), ((-63),18), ((24),19), ((-2),21), ((11),22), ((16),23), ((-78),24), ((16),25), ((9),26), ((33),27), ((9),28), ((-2),29), ((3),30), ((-28),31), ((-23),32), ((-10),33), ((-16),34), ((-1),35), ((5),36), ((3),37), ((-11),38), ((25),39), ((26),40), ((-32),41), ((19),42), ((32),43), ((-1),44), ((15),45), ((-26),46), ((27),47), ((26),48), ((36),49), ((19),50), ((6),51), ((17),52), ((14),53), ((-17),54), ((-59),55), ((16),56), ((-26),57), ((20),58), ((12),59), ((-17),60), ((27),61), ((-7),62), ((-11),63), ((8),64), ((-24),65), ((5),66), ((-13),67), ((10),68), ((24),69), ((23),70), ((20),71), ((-40),72), ((-4),74)], (194)), ("GEQ", [((33),0), ((-39),1), ((-5),2), ((27),3), ((17),4), ((-5),5), ((-65),6), ((-47),7), ((-8),8), ((-26),9), ((17),10), ((43),11), ((25),12), ((34),13), ((19),14), ((-70),15), ((17),16), ((-33),17), ((50),18), ((2),19), ((29),20), ((8),21), ((-13),22), ((8),23), ((110),24), ((-9),25), ((-33),26), ((-37),27), ((15),28), ((-2),29), ((59),31), ((25),32), ((-36),33), ((36),34), ((16),35), ((28),36), ((-27),37), ((7),38), ((-36),39), ((-58),40), ((14),41), ((-21),42), ((4),43), ((-3),44), ((-31),45), ((40),46), ((-36),47), ((-33),48), ((-15),49), ((-37),50), ((-15),51), ((-49),52), ((-29),53), ((-17),54), ((49),55), ((-29),56), ((37),57), ((-46),58), ((-14),59), ((29),60), ((-58),61), ((-14),62), ((6),63), ((-24),64), ((58),65), ((16),66), ((40),67), ((-3),68), ((-33),69), ((-38),70), ((-10),71), ((67),72), ((-6),73), ((-20),74)], (-135)), ("GEQ", [((-35),0), ((91),1), ((1),2), ((-30),3), ((-44),4), ((16),5), ((90),6), ((77),7), ((8),8), ((97),9), ((-30),10), ((-56),11), ((-34),12), ((-29),13), ((-55),14), ((72),15), ((-9),16), ((28),17), ((-102),18), ((-16),19), ((-6),20), ((-21),21), ((15),22), ((21),23), ((-147),24), ((28),25), ((53),26), ((36),27), ((9),28), ((-17),29), ((-78),31), ((-31),32), ((40),33), ((-33),34), ((-1),35), ((-10),36), ((19),37), ((-33),38), ((49),39), ((34),40), ((-48),41), ((32),42), ((31),43), ((19),44), ((12),45), ((-32),46), ((48),47), ((45),48), ((45),49), ((21),50), ((20),51), ((31),52), ((26),53), ((1),54), ((-115),55), ((26),56), ((-55),57), ((55),58), ((8),59), ((-38),60), ((33),61), ((16),62), ((-5),63), ((34),64), ((-75),65), ((-16),66), ((-33),67), ((22),68), ((38),69), ((27),70), ((25),71), ((-88),72), ((-11),73), ((-12),74)], (98)), ("GEQ", [((-19),0), ((-11),1), ((11),2), ((17),3), ((9),4), ((-21),5), ((68),6), ((64),7), ((53),8), ((-24),9), ((11),10), ((-62),11), ((-11),12), ((-36),13), ((18),14), ((144),15), ((-48),16), ((56),17), ((52),18), ((-114),19), ((-86),20), ((-32),21), ((17),22), ((-65),23), ((-78),24), ((-10),25), ((62),26), ((-16),27), ((-93),28), ((-3),29), ((-11),30), ((-68),31), ((97),33), ((-59),34), ((-73),35), ((-78),36), ((64),37), ((7),38), ((15),39), ((65),40), ((51),41), ((-6),42), ((-127),43), ((1),44), ((6),45), ((-59),46), ((19),47), ((2),48), ((-64),49), ((54),50), ((29),51), ((82),52), ((15),53), ((90),54), ((41),55), ((26),56), ((3),57), ((79),58), ((-4),59), ((-16),60), ((62),61), ((26),62), ((44),63), ((49),64), ((-90),65), ((-52),66), ((-64),67), ((-4),68), ((28),69), ((51),70), ((-9),71), ((-76),72), ((23),73), ((44),74)], (-794)), ("GEQ", [((-36),0), ((95),1), ((-10),2), ((-77),3), ((-47),4), ((88),5), ((29),6), ((22),7), ((-20),8), ((74),9), ((-16),10), ((-1),11), ((-3),12), ((-13),13), ((-31),14), ((-10),15), ((24),16), ((33),17), ((-145),18), ((102),19), ((72),20), ((12),21), ((-6),22), ((54),23), ((-77),24), ((28),25), ((-19),26), ((81),27), ((70),28), ((-4),29), ((17),30), ((-41),31), ((-34),32), ((-53),33), ((-12),34), ((69),35), ((51),36), ((-15),37), ((-21),38), ((62),39), ((40),40), ((-57),41), ((48),42), ((120),43), ((-7),44), ((64),45), ((-17),46), ((47),47), ((47),48), ((80),49), ((-18),50), ((15),51), ((17),52), ((14),53), ((-86),54), ((-119),55), ((5),56), ((-59),57), ((-3),58), ((11),59), ((-39),60), ((33),61), ((5),62), ((-49),63), ((-13),64), ((-7),65), ((35),66), ((-4),67), ((-5),68), ((44),69), ((20),70), ((17),71), ((-73),72), ((-27),73), ((-12),74)], (898)), ("GEQ", [((9),0), ((-82),1), ((19),2), ((26),3), ((40),4), ((-67),5), ((17),6), ((-17),7), ((-6),8), ((-37),9), ((5),10), ((-7),11), ((-5),12), ((-27),13), ((17),14), ((38),15), ((-34),16), ((-1),17), ((87),18), ((-27),19), ((-87),20), ((-10),21), ((-4),22), ((-47),23), ((6),24), ((-17),25), ((24),26), ((-19),27), ((-60),28), ((30),29), ((-6),30), ((18),31), ((-7),32), ((56),33), ((-14),34), ((-54),35), ((-78),36), ((24),37), ((2),38), ((-17),39), ((29),40), ((50),41), ((-29),42), ((-54),43), ((6),44), ((-3),46), ((-15),47), ((7),48), ((-64),49), ((43),50), ((-6),51), ((15),52), ((40),53), ((67),54), ((59),55), ((-1),56), ((-5),57), ((36),58), ((49),59), ((-6),60), ((64),61), ((10),62), ((9),63), ((26),64), ((-31),66), ((-11),67), ((-6),68), ((-14),69), ((-10),70), ((-53),71), ((40),72), ((18),73), ((52),74)], (-379)), ("GEQ", [((37),0), ((-38),1), ((-2),2), ((104),3), ((38),4), ((-30),5), ((-90),6), ((-20),7), ((72),8), ((-132),9), ((18),10), ((12),11), ((34),12), ((68),13), ((57),14), ((6),15), ((37),16), ((-31),17), ((106),18), ((-130),19), ((-4),20), ((9),21), ((28),22), ((-44),23), ((121),24), ((-47),25), ((-19),26), ((-97),27), ((-72),28), ((-39),29), ((-27),30), ((46),31), ((81),32), ((-26),33), ((16),34), ((-66),35), ((7),36), ((37),37), ((55),38), ((-76),39), ((-97),40), ((64),41), ((-38),42), ((-164),43), ((13),44), ((-111),45), ((21),46), ((-74),47), ((-76),48), ((-54),49), ((-4),50), ((-20),51), ((-7),52), ((-108),53), ((40),54), ((163),55), ((20),56), ((147),57), ((-31),58), ((-128),59), ((60),60), ((-157),61), ((-12),62), ((106),63), ((-6),64), ((-10),65), ((-16),66), ((30),67), ((28),68), ((-23),69), ((20),70), ((79),71), ((29),72), ((55),73), ((-74),74)], (-1131)), ("GEQ", [((21),0), ((-88),1), ((6),2), ((-118),3), ((-39),4), ((-29),5), ((112),6), ((2),7), ((-138),8), ((227),9), ((50),10), ((26),11), ((-65),12), ((-163),13), ((-74),14), ((-25),15), ((-139),16), ((4),17), ((12),18), ((134),19), ((-59),20), ((-37),21), ((-113),22), ((18),23), ((-57),24), ((53),25), ((57),26), ((62),27), ((84),28), ((123),29), ((28),30), ((-60),31), ((-123),32), ((165),33), ((-7),34), ((134),35), ((-69),36), ((-122),37), ((-89),38), ((83),39), ((128),40), ((-38),41), ((-22),42), ((219),43), ((-29),44), ((177),45), ((9),46), ((94),47), ((70),48), ((-8),49), ((-8),50), ((40),51), ((-25),52), ((215),53), ((30),54), ((-175),55), ((-105),56), ((-268),57), ((62),58), ((268),59), ((-62),60), ((293),61), ((40),62), ((-196),63), ((16),64), ((84),65), ((-17),67), ((-78),68), ((-36),69), ((-105),70), ((-270),71), ((82),72), ((-103),73), ((195),74)], (1142)), ("GEQ", [((67),0), ((-4),1), ((-27),2), ((95),3), ((-14),4), ((-54),5), ((-64),6), ((83),7), ((77),8), ((-47),9), ((70),10), ((-35),11), ((-30),12), ((18),13), ((8),14), ((25),15), ((-32),16), ((-22),17), ((144),18), ((-253),19), ((-21),20), ((-30),21), ((23),22), ((-35),23), ((107),24), ((-40),25), ((81),26), ((-157),27), ((-57),28), ((-64),29), ((1),30), ((-34),31), ((66),32), ((155),33), ((66),34), ((-22),35), ((44),36), ((16),37), ((43),38), ((-45),39), ((-127),40), ((6),41), ((-20),42), ((-200),43), ((23),44), ((-107),45), ((48),46), ((-54),47), ((-120),48), ((-48),49), ((-67),50), ((-12),51), ((-32),52), ((-70),53), ((144),54), ((122),55), ((-9),56), ((75),57), ((-31),58), ((-113),59), ((97),60), ((-159),61), ((-2),62), ((66),63), ((3),64), ((-49),65), ((-41),66), ((-20),67), ((10),68), ((-59),69), ((1),70), ((49),71), ((50),72), ((-29),73), ((-42),74)], (-1130))]
[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]