[("GEQ", [((-1),0), ((1),1), ((-2),4), ((-2),6), ((2),7), ((2),10), ((2),11), ((-1),15), ((-2),18), ((-2),19), ((-2),20), ((-2),22), ((2),23), ((2),24), ((-1),27), ((2),28), ((-1),29), ((-2),30), ((1),31), ((1),39), ((1),40), ((2),41), ((1),44), ((1),46), ((-2),47), ((-2),49), ((1),50), ((1),51), ((1),55), ((-1),56), ((-2),59), ((-1),61), ((-1),63), ((1),65), ((1),67), ((1),68), ((-1),69), ((-1),71), ((-2),73)], (9)), ("GEQ", [((2),1), ((1),5), ((-1),7), ((-1),9), ((1),10), ((2),15), ((2),18), ((2),21), ((-1),25), ((1),27), ((-1),28), ((-2),29), ((-2),32), ((-1),33), ((1),34), ((-2),36), ((-2),37), ((-2),40), ((2),41), ((-1),42), ((-2),43), ((1),44), ((-2),46), ((1),47), ((-1),48), ((1),49), ((2),50), ((-1),52), ((2),53), ((-2),54), ((-1),56), ((-2),57), ((1),58), ((-1),59), ((-1),62), ((-2),63), ((-2),69), ((-2),71), ((2),73), ((-1),74)], (20)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),4), ((1),6), ((1),7), ((-1),9), ((1),10), ((-1),11), ((2),12), ((1),14), ((-2),15), ((2),16), ((2),18), ((-1),19), ((-1),20), ((1),22), ((2),25), ((1),26), ((1),28), ((-2),29), ((-2),30), ((-2),32), ((-1),33), ((-1),34), ((1),36), ((1),39), ((2),40), ((-2),41), ((-1),42), ((-1),43), ((-2),44), ((-2),48), ((1),49), ((-2),51), ((-1),54), ((-2),55), ((2),57), ((2),58), ((-2),59), ((1),60), ((2),61), ((-2),69), ((-2),70), ((1),72), ((-2),74)], (16)), ("GEQ", [((-2),0), ((2),2), ((1),3), ((1),4), ((1),5), ((2),6), ((-1),8), ((-2),10), ((1),13), ((1),14), ((2),15), ((1),18), ((-2),19), ((-1),20), ((-1),23), ((1),24), ((2),25), ((1),28), ((1),30), ((2),31), ((2),35), ((1),37), ((-2),38), ((-1),39), ((2),40), ((-1),41), ((-2),42), ((-2),43), ((-2),45), ((1),47), ((2),48), ((1),50), ((1),51), ((1),53), ((1),54), ((-2),57), ((-1),60), ((-1),62), ((-2),63), ((2),64), ((2),66), ((-1),67), ((2),68), ((-2),69), ((-2),70), ((-2),72)], (1)), ("GEQ", [((2),1), ((2),5), ((2),6), ((2),7), ((-2),8), ((1),9), ((2),10), ((1),15), ((-2),17), ((1),23), ((-2),25), ((2),27), ((-1),29), ((-2),30), ((-2),31), ((2),32), ((1),33), ((-2),35), ((1),36), ((1),37), ((2),38), ((-2),39), ((-2),44), ((-1),47), ((-2),50), ((-2),52), ((-2),57), ((-2),58), ((1),59), ((1),61), ((-2),63), ((-2),67), ((1),68), ((2),69), ((-2),70), ((-1),71), ((2),73), ((-1),74)], (27)), ("GEQ", [((2),1), ((-2),2), ((2),3), ((2),5), ((1),8), ((-1),11), ((-1),12), ((-2),14), ((1),16), ((1),17), ((1),20), ((-2),24), ((-1),26), ((-1),27), ((-1),31), ((-1),32), ((-2),34), ((-2),38), ((-1),39), ((2),40), ((2),41), ((-2),42), ((1),43), ((-1),45), ((-2),46), ((2),47), ((1),49), ((-1),51), ((-2),52), ((1),57), ((-1),58), ((-2),60), ((-2),61), ((-2),62), ((-2),64), ((2),66), ((-2),67), ((-2),68), ((-1),70), ((-2),71), ((-2),73)], (-13)), ("GEQ", [((-1),0), ((1),1), ((-1),5), ((-1),7), ((-2),8), ((1),10), ((1),11), ((2),15), ((-1),16), ((-2),17), ((2),19), ((1),20), ((-2),21), ((-2),22), ((2),26), ((1),28), ((-1),29), ((1),31), ((2),34), ((1),35), ((1),37), ((-2),42), ((-1),46), ((2),47), ((2),48), ((-1),52), ((-1),53), ((-2),54), ((-2),55), ((-1),56), ((-2),62), ((2),65), ((-2),70), ((-1),71), ((1),72), ((-1),73), ((1),74)], (-35)), ("GEQ", [((1),0), ((1),2), ((1),6), ((2),7), ((1),8), ((-1),9), ((-2),10), ((2),11), ((-2),12), ((-1),16), ((-1),20), ((-2),21), ((-2),22), ((-2),23), ((-2),26), ((1),28), ((2),30), ((-1),35), ((1),38), ((-1),39), ((2),40), ((-2),41), ((1),42), ((-1),43), ((-1),44), ((-2),46), ((1),51), ((2),52), ((-1),53), ((2),54), ((-1),55), ((-2),56), ((2),57), ((-2),58), ((1),59), ((-2),60), ((-1),61), ((-2),62), ((2),65), ((2),66), ((-2),68), ((-2),69), ((-1),71), ((-1),72), ((2),73), ((-2),74)], (-6)), ("GEQ", [((2),0), ((2),1), ((1),3), ((-1),6), ((-2),8), ((-1),13), ((-1),15), ((-1),16), ((-1),19), ((-2),21), ((2),22), ((-1),24), ((-2),26), ((-2),27), ((2),29), ((-1),31), ((-1),33), ((-2),35), ((2),36), ((-2),37), ((2),39), ((-2),41), ((-1),44), ((2),45), ((-2),46), ((-2),47), ((-2),49), ((2),50), ((-1),51), ((-1),52), ((1),54), ((1),55), ((-2),56), ((-1),60), ((1),62), ((2),65), ((-1),66), ((-1),67), ((2),68), ((2),69), ((-1),71), ((-2),72)], (37)), ("GEQ", [((-1),3), ((-2),5), ((2),6), ((-2),8), ((-2),10), ((-1),16), ((1),17), ((2),18), ((-2),19), ((1),20), ((-2),22), ((1),23), ((2),25), ((1),27), ((-1),28), ((2),29), ((-2),30), ((2),31), ((1),33), ((-1),35), ((-2),39), ((-2),41), ((2),42), ((-1),43), ((1),44), ((2),47), ((-1),50), ((-2),51), ((2),54), ((-2),55), ((1),56), ((2),58), ((-2),59), ((1),62), ((1),63), ((-2),64), ((1),65), ((-2),66), ((-1),70), ((1),71)], (5)), ("GEQ", [((2),0), ((2),2), ((2),3), ((1),4), ((-1),6), ((2),9), ((2),12), ((-1),13), ((2),14), ((2),16), ((-1),17), ((1),18), ((-1),19), ((-1),20), ((-1),21), ((2),22), ((2),24), ((2),25), ((1),26), ((-1),27), ((-2),28), ((2),29), ((-2),30), ((2),31), ((2),33), ((-2),34), ((-2),37), ((-2),38), ((1),40), ((-1),41), ((2),43), ((1),44), ((1),45), ((2),46), ((2),48), ((-2),49), ((-1),50), ((-2),51), ((-1),52), ((-1),54), ((1),55), ((-1),56), ((-1),57), ((-1),58), ((-2),60), ((1),62), ((-2),63), ((-2),64), ((2),67), ((-1),69), ((1),73), ((2),74)], (-1)), ("GEQ", [((2),3), ((-2),4), ((-1),5), ((1),8), ((-2),9), ((1),11), ((1),12), ((2),13), ((2),15), ((-2),16), ((-1),17), ((-2),18), ((-1),19), ((-1),23), ((-1),24), ((-1),25), ((-1),27), ((-2),28), ((-2),29), ((1),30), ((-1),35), ((1),36), ((-2),37), ((2),38), ((-2),40), ((2),44), ((-1),45), ((1),47), ((2),48), ((1),49), ((2),50), ((2),51), ((2),52), ((1),53), ((2),54), ((2),55), ((2),56), ((-2),57), ((1),58), ((2),59), ((-1),61), ((2),62), ((-2),64), ((1),67), ((1),68), ((1),72), ((1),73)], (-6)), ("GEQ", [((2),0), ((-1),2), ((2),4), ((1),5), ((-1),8), ((-2),9), ((2),10), ((-2),11), ((-2),12), ((2),13), ((2),14), ((-1),15), ((2),16), ((-1),17), ((2),19), ((-1),20), ((-2),22), ((-2),25), ((-1),26), ((2),27), ((-2),28), ((2),29), ((-2),36), ((-2),37), ((2),39), ((-2),41), ((-1),42), ((2),43), ((-2),46), ((2),47), ((-2),48), ((2),49), ((1),52), ((2),54), ((-1),59), ((-2),60), ((-1),62), ((2),63), ((-2),64), ((-2),65), ((2),68), ((2),69), ((1),73), ((2),74)], (-28)), ("GEQ", [((2),1), ((-1),3), ((-2),5), ((2),6), ((1),8), ((-2),9), ((2),10), ((-1),13), ((1),15), ((2),16), ((-1),17), ((2),18), ((2),23), ((2),24), ((-2),25), ((-2),26), ((1),27), ((-2),28), ((2),29), ((1),30), ((1),31), ((-2),32), ((-1),33), ((-2),34), ((-1),36), ((-1),37), ((-2),38), ((-1),39), ((2),40), ((-1),41), ((2),42), ((-1),43), ((-2),45), ((1),46), ((-1),48), ((2),52), ((2),53), ((1),59), ((-1),61), ((-2),62), ((-1),63), ((2),64), ((1),67), ((-1),69), ((-2),70), ((-2),71), ((-1),73)], (10)), ("GEQ", [((1),0), ((-1),1), ((-2),5), ((1),6), ((1),7), ((2),11), ((-1),17), ((1),18), ((-2),20), ((-2),21), ((-1),22), ((1),24), ((-2),27), ((-2),29), ((-2),31), ((-1),33), ((2),34), ((-1),37), ((-2),40), ((-1),41), ((-2),43), ((-1),44), ((1),45), ((-1),46), ((1),49), ((2),50), ((-2),51), ((-1),52), ((-1),53), ((1),54), ((-2),57), ((2),58), ((2),61), ((-1),62), ((-1),64), ((2),66), ((2),67), ((-1),68), ((-1),69), ((2),72), ((-1),74)], (0)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),3), ((1),4), ((1),7), ((-1),8), ((1),10), ((2),12), ((2),14), ((2),15), ((1),16), ((-1),17), ((-2),20), ((-2),21), ((-1),23), ((-1),27), ((1),29), ((-2),30), ((-1),31), ((-2),35), ((1),37), ((-1),38), ((-2),39), ((-1),45), ((-1),47), ((2),49), ((-2),50), ((1),51), ((-1),52), ((-2),57), ((1),58), ((-1),60), ((2),61), ((-1),63), ((-2),64), ((-2),65), ((2),66), ((1),67), ((-2),68), ((1),69), ((2),70), ((1),71), ((-1),72), ((-1),74)], (-2)), ("GEQ", [((1),1), ((-2),2), ((-1),4), ((2),5), ((-1),7), ((1),8), ((-2),9), ((-1),12), ((-2),13), ((2),14), ((-1),15), ((-1),17), ((-2),20), ((1),21), ((-2),23), ((2),25), ((-1),26), ((-2),29), ((-2),30), ((2),31), ((1),32), ((2),33), ((-1),34), ((1),35), ((-1),36), ((-1),38), ((-2),39), ((1),41), ((2),43), ((2),45), ((2),46), ((2),47), ((2),48), ((1),50), ((-2),52), ((-1),53), ((-1),54), ((1),59), ((2),61), ((-1),63), ((1),65), ((-1),67), ((-1),68), ((2),73)], (-36)), ("GEQ", [((-1),1), ((1),3), ((1),6), ((2),7), ((1),8), ((-1),9), ((1),10), ((-2),11), ((-1),12), ((1),14), ((-1),15), ((1),16), ((2),17), ((-2),19), ((-2),22), ((-2),23), ((1),24), ((1),25), ((-2),28), ((2),32), ((-2),33), ((2),34), ((1),35), ((-2),36), ((-1),38), ((-2),39), ((1),40), ((-2),42), ((1),44), ((-1),45), ((-1),46), ((1),47), ((-1),50), ((-1),52), ((-1),53), ((-1),55), ((-1),56), ((-1),57), ((2),58), ((-2),59), ((2),62), ((-1),63), ((-2),64), ((2),65), ((-2),66), ((-2),68), ((-1),69), ((1),70), ((-2),72), ((2),74)], (-22)), ("GEQ", [((-1),0), ((-1),1), ((-1),3), ((1),4), ((-1),5), ((2),8), ((-1),9), ((-1),10), ((1),12), ((-2),13), ((2),15), ((1),16), ((-2),19), ((2),21), ((1),22), ((-2),23), ((-1),27), ((1),28), ((1),29), ((-2),30), ((-1),31), ((-1),32), ((2),36), ((2),37), ((-2),38), ((-2),39), ((1),40), ((-1),42), ((1),44), ((-1),46), ((-2),47), ((-1),48), ((-2),49), ((1),50), ((1),51), ((-1),52), ((1),53), ((2),55), ((2),56), ((-1),59), ((1),61), ((-2),63), ((-2),64), ((-2),65), ((2),66), ((1),67), ((2),68), ((1),70), ((1),71), ((2),72), ((2),73), ((-1),74)], (-21)), ("GEQ", [((1),1), ((1),4), ((-1),5), ((1),6), ((-2),7), ((-2),9), ((-1),10), ((1),11), ((-2),12), ((-1),14), ((2),15), ((-2),17), ((-2),18), ((2),19), ((2),21), ((2),22), ((-1),24), ((1),25), ((-2),28), ((-2),30), ((-1),32), ((1),33), ((-1),35), ((-2),36), ((1),37), ((-2),38), ((-2),39), ((2),43), ((1),44), ((-2),47), ((2),48), ((2),50), ((2),51), ((-2),60), ((-2),62), ((-2),65), ((-1),67), ((2),68), ((2),69), ((2),70), ((1),71), ((2),73)], (-35)), ("GEQ", [((1),1), ((1),2), ((-2),3), ((-2),5), ((2),6), ((-1),7), ((-2),8), ((-1),9), ((-1),11), ((1),12), ((-1),14), ((2),17), ((-2),18), ((2),20), ((-2),21), ((-2),22), ((1),24), ((2),25), ((1),26), ((2),27), ((-1),28), ((1),29), ((2),30), ((2),31), ((-2),32), ((1),35), ((-1),36), ((2),39), ((-1),40), ((2),41), ((-2),42), ((-2),43), ((1),46), ((2),48), ((2),49), ((-2),51), ((2),52), ((-1),53), ((-1),54), ((-2),55), ((-1),56), ((2),57), ((-1),58), ((2),62), ((-2),63), ((1),66), ((1),67), ((-1),69), ((2),70), ((1),71)], (29)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((-1),4), ((-2),5), ((-1),6), ((2),10), ((-2),11), ((-2),14), ((-1),16), ((1),17), ((1),19), ((2),20), ((1),21), ((-2),23), ((1),24), ((2),25), ((-2),26), ((-2),27), ((1),28), ((2),31), ((-1),32), ((-2),34), ((1),35), ((2),37), ((-2),40), ((1),41), ((-1),42), ((2),43), ((-2),44), ((2),47), ((-1),50), ((1),51), ((-2),52), ((-2),53), ((-1),55), ((1),56), ((-1),58), ((-1),60), ((2),61), ((-1),64), ((-2),65), ((-2),66), ((-1),68), ((2),69), ((2),70), ((1),71), ((2),73)], (-27)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((2),3), ((2),4), ((2),5), ((-1),8), ((-2),10), ((-2),11), ((2),12), ((-1),13), ((1),14), ((-2),16), ((-1),19), ((1),20), ((2),21), ((2),22), ((2),23), ((-2),24), ((1),25), ((1),26), ((1),28), ((2),30), ((2),31), ((1),36), ((-1),38), ((-1),40), ((2),42), ((-1),43), ((-1),45), ((1),46), ((2),47), ((2),48), ((1),49), ((-2),50), ((2),51), ((-2),52), ((2),53), ((1),54), ((1),55), ((1),56), ((2),58), ((-2),59), ((2),60), ((-2),61), ((1),63), ((2),64), ((1),69), ((-2),70), ((-2),72), ((-2),73), ((-1),74)], (18)), ("GEQ", [((-1),0), ((-2),1), ((-1),3), ((1),4), ((-1),7), ((1),11), ((-1),13), ((-2),14), ((1),15), ((-1),16), ((2),17), ((-2),19), ((2),24), ((2),28), ((1),29), ((-1),31), ((2),32), ((1),35), ((-2),37), ((-2),40), ((-1),42), ((-1),43), ((1),44), ((1),45), ((1),46), ((1),51), ((1),53), ((-1),56), ((-1),58), ((-2),59), ((-2),60), ((2),61), ((1),62), ((1),64), ((1),65), ((1),67), ((-1),68), ((2),72)], (-3)), ("GEQ", [((-2),2), ((2),5), ((-2),6), ((-2),8), ((2),9), ((2),10), ((-1),11), ((-2),14), ((-1),15), ((2),16), ((-1),20), ((2),22), ((2),23), ((-2),24), ((-1),26), ((2),27), ((2),28), ((-1),29), ((1),31), ((1),33), ((-2),34), ((-2),36), ((2),37), ((-1),38), ((-2),39), ((-1),40), ((-1),42), ((-1),43), ((-1),44), ((-1),45), ((-1),46), ((-1),48), ((2),49), ((2),52), ((-1),54), ((2),57), ((-1),58), ((-2),59), ((-1),60), ((-1),61), ((-2),62), ((1),63), ((2),64), ((-2),66), ((2),67), ((2),68), ((-2),69), ((2),70), ((2),71), ((2),72), ((-2),73), ((-2),74)], (-24)), ("GEQ", [((2),1), ((2),2), ((2),3), ((1),5), ((-2),10), ((-2),11), ((2),12), ((2),13), ((2),18), ((2),20), ((2),22), ((-2),23), ((2),25), ((1),26), ((2),27), ((-2),28), ((-1),31), ((1),33), ((-2),35), ((-1),37), ((1),38), ((1),39), ((1),41), ((-1),42), ((2),43), ((1),44), ((-1),47), ((-1),53), ((-1),54), ((-2),55), ((-1),56), ((1),57), ((-1),58), ((-2),62), ((-2),63), ((2),65), ((1),68), ((-1),69), ((-2),70), ((1),71), ((2),72), ((-2),74)], (-13)), ("GEQ", [((-2),0), ((-1),1), ((1),4), ((-1),5), ((-2),6), ((2),8), ((2),9), ((-2),10), ((-1),11), ((2),12), ((1),13), ((1),14), ((-2),15), ((1),17), ((-2),18), ((-2),19), ((-2),20), ((-2),21), ((-2),22), ((1),23), ((1),26), ((1),27), ((2),29), ((-1),30), ((1),31), ((2),32), ((-2),34), ((-1),38), ((-1),39), ((2),40), ((2),42), ((-1),43), ((1),44), ((1),46), ((-2),51), ((1),54), ((1),56), ((-1),59), ((-1),61), ((-2),63), ((-1),64), ((-1),65), ((1),66), ((-1),67), ((1),68), ((1),70), ((-2),72)], (1)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-1),4), ((2),5), ((2),6), ((1),8), ((1),11), ((-2),13), ((1),15), ((-1),17), ((-2),19), ((-2),21), ((2),23), ((-2),27), ((1),28), ((-1),30), ((2),31), ((-1),32), ((1),34), ((1),35), ((-1),37), ((1),41), ((1),42), ((-1),44), ((-2),46), ((-2),47), ((1),51), ((2),53), ((1),54), ((1),56), ((-2),57), ((1),63), ((2),64), ((-2),67), ((-2),69), ((1),72), ((-2),73)], (7)), ("GEQ", [((2),4), ((1),8), ((-2),9), ((2),12), ((1),14), ((2),16), ((-1),17), ((-1),18), ((-2),20), ((1),21), ((-1),22), ((-1),24), ((2),25), ((-2),30), ((-1),31), ((-2),32), ((-2),33), ((-1),35), ((2),37), ((-1),39), ((-1),40), ((2),41), ((1),42), ((-1),43), ((2),44), ((2),47), ((1),48), ((1),50), ((-1),51), ((-2),52), ((1),53), ((2),54), ((1),55), ((2),57), ((1),60), ((-2),62), ((-2),63), ((-2),66), ((-2),69), ((-2),71), ((-1),73)], (-6)), ("GEQ", [((1),1), ((2),2), ((1),3), ((2),4), ((-1),6), ((1),7), ((1),8), ((1),9), ((-2),10), ((1),13), ((-2),14), ((-1),15), ((-1),16), ((-1),17), ((1),19), ((2),20), ((-2),21), ((-2),22), ((2),23), ((-1),24), ((-1),25), ((2),34), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((2),39), ((-2),40), ((-1),41), ((1),43), ((2),44), ((1),45), ((1),46), ((1),50), ((-1),51), ((1),54), ((-1),56), ((1),58), ((-1),59), ((2),62), ((-1),63), ((-1),64), ((-2),66), ((-2),67), ((1),68), ((2),71), ((-1),72), ((1),73), ((1),74)], (-3)), ("GEQ", [((1),0), ((2),2), ((1),5), ((1),6), ((-2),7), ((2),9), ((-2),11), ((1),12), ((2),15), ((1),17), ((-2),18), ((-1),20), ((-2),21), ((-1),24), ((1),25), ((-2),26), ((-1),27), ((2),29), ((-1),30), ((-2),32), ((-1),33), ((-2),35), ((-2),36), ((2),37), ((1),39), ((2),40), ((1),44), ((-1),45), ((-2),47), ((1),48), ((1),51), ((-2),53), ((2),54), ((1),55), ((-1),58), ((-2),59), ((-2),61), ((1),63), ((1),64), ((-1),65), ((1),67), ((-1),68), ((-2),70), ((2),72), ((1),73), ((2),74)], (4)), ("GEQ", [((-1),1), ((-2),3), ((-1),4), ((-2),5), ((1),9), ((1),11), ((1),12), ((1),13), ((2),15), ((-2),16), ((-1),18), ((2),21), ((2),26), ((-1),27), ((2),28), ((-1),29), ((-2),30), ((1),31), ((-2),33), ((1),34), ((-2),35), ((1),36), ((-1),37), ((2),39), ((-2),41), ((2),42), ((-1),43), ((-2),45), ((-1),47), ((1),48), ((-2),49), ((2),50), ((-2),53), ((-1),54), ((1),55), ((2),56), ((2),58), ((1),61), ((1),63), ((1),64), ((1),66), ((2),68), ((-2),71), ((1),72), ((1),74)], (33)), ("GEQ", [((-1),0), ((1),4), ((-2),5), ((-2),6), ((2),7), ((1),8), ((1),9), ((1),12), ((1),13), ((1),14), ((1),16), ((-1),18), ((2),20), ((-1),21), ((2),22), ((2),24), ((-2),25), ((2),26), ((2),27), ((2),28), ((-2),29), ((-2),30), ((-1),31), ((2),32), ((-1),35), ((1),39), ((-1),43), ((-2),46), ((2),47), ((1),48), ((-1),51), ((2),55), ((-2),56), ((2),57), ((1),59), ((2),63), ((2),66), ((1),68), ((-1),69), ((-1),71), ((1),72), ((2),73), ((-1),74)], (-7)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((2),3), ((-1),4), ((-2),6), ((2),7), ((2),10), ((-1),11), ((-1),13), ((2),15), ((-2),16), ((-2),17), ((2),19), ((-1),20), ((2),21), ((-1),23), ((-1),24), ((2),25), ((2),26), ((-1),27), ((2),28), ((1),29), ((-1),32), ((2),34), ((-1),36), ((-1),38), ((-1),40), ((1),42), ((1),43), ((1),44), ((1),47), ((-1),48), ((1),49), ((1),50), ((-1),51), ((-1),53), ((-2),55), ((-1),57), ((2),59), ((-1),60), ((-1),61), ((-2),62), ((2),65), ((-1),66), ((2),70), ((-1),72), ((2),73)], (-17)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((2),3), ((-2),4), ((-2),7), ((2),8), ((2),11), ((2),12), ((2),13), ((-2),16), ((-1),19), ((2),20), ((1),22), ((2),23), ((-1),24), ((-1),25), ((-2),31), ((-2),32), ((-2),33), ((-1),34), ((-1),35), ((-2),36), ((-1),37), ((-2),40), ((1),41), ((2),43), ((2),45), ((-2),46), ((2),48), ((1),49), ((1),53), ((-2),54), ((2),55), ((-1),57), ((-2),58), ((1),59), ((2),64), ((2),67), ((-1),72), ((1),73)], (33)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((-2),6), ((2),7), ((-2),9), ((2),12), ((-1),13), ((-1),14), ((-1),15), ((2),17), ((-2),18), ((-1),19), ((1),21), ((2),23), ((2),27), ((-2),28), ((-1),29), ((2),31), ((2),32), ((1),35), ((-2),37), ((1),39), ((1),40), ((-1),41), ((1),42), ((-1),43), ((1),45), ((2),46), ((-2),49), ((-1),51), ((1),52), ((2),54), ((-1),57), ((-1),58), ((-2),60), ((2),62), ((-2),65), ((-1),67), ((-2),68), ((-2),70), ((-1),71), ((1),73)], (22)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((2),4), ((-2),6), ((2),8), ((-2),9), ((-1),10), ((1),11), ((1),14), ((1),15), ((-1),17), ((2),18), ((1),20), ((2),21), ((-2),22), ((1),23), ((-1),24), ((1),25), ((-1),26), ((-1),27), ((-1),30), ((2),32), ((-2),33), ((2),35), ((2),36), ((2),37), ((-2),42), ((-2),45), ((-1),46), ((1),50), ((-2),51), ((-1),53), ((-1),54), ((2),55), ((1),56), ((-2),57), ((-1),58), ((2),59), ((2),62), ((1),63), ((2),69), ((1),70), ((2),71), ((-2),74)], (-42)), ("GEQ", [((2),0), ((-1),4), ((2),6), ((2),7), ((-1),8), ((-1),11), ((-2),12), ((2),14), ((1),17), ((1),18), ((-2),21), ((1),22), ((1),23), ((2),24), ((-1),26), ((-2),29), ((1),31), ((-1),33), ((1),34), ((2),38), ((-1),39), ((-2),42), ((2),43), ((-1),44), ((2),45), ((1),46), ((-1),48), ((2),49), ((-1),50), ((2),51), ((1),52), ((-1),53), ((-1),54), ((-2),56), ((-1),57), ((2),58), ((-1),59), ((1),60), ((-1),61), ((-1),65), ((-1),66), ((-1),67), ((-2),68), ((1),69), ((2),70), ((-2),71), ((-1),72), ((-2),74)], (0)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((1),5), ((-2),7), ((-2),9), ((2),10), ((-2),11), ((1),16), ((-2),18), ((-2),20), ((-1),22), ((-1),23), ((-2),26), ((2),30), ((-2),31), ((-1),33), ((-1),34), ((-1),35), ((-1),39), ((-1),41), ((2),48), ((-1),50), ((1),53), ((2),54), ((-2),55), ((-2),56), ((1),58), ((2),60), ((1),61), ((-2),62), ((-1),63), ((1),64), ((-1),65), ((2),66), ((-1),67), ((1),68), ((-2),69), ((-2),71), ((-1),72), ((2),73)], (21)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((-2),5), ((-1),6), ((2),7), ((1),9), ((-2),10), ((-1),12), ((-2),13), ((-1),16), ((1),17), ((2),18), ((1),20), ((-1),21), ((-2),23), ((2),26), ((1),27), ((2),29), ((-2),31), ((1),32), ((-2),33), ((2),34), ((2),36), ((-2),39), ((-2),40), ((-2),41), ((-1),46), ((2),48), ((2),49), ((-1),50), ((-2),51), ((-2),52), ((-1),53), ((1),55), ((-1),56), ((2),58), ((1),59), ((-1),60), ((-1),61), ((2),62), ((2),63), ((-1),67), ((1),68), ((-2),70), ((-1),73)], (38)), ("GEQ", [((-2),0), ((1),2), ((1),4), ((-2),5), ((-2),6), ((1),9), ((2),10), ((2),11), ((2),13), ((1),18), ((-1),19), ((2),25), ((2),26), ((-2),27), ((2),32), ((-2),33), ((-2),36), ((-1),37), ((-1),40), ((2),41), ((-2),42), ((2),45), ((1),46), ((-1),50), ((2),51), ((1),52), ((-2),57), ((-2),60), ((-1),61), ((-2),62), ((2),66), ((-1),68), ((-1),69), ((2),74)], (17)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((-1),4), ((-1),5), ((-2),7), ((1),14), ((2),16), ((-2),17), ((-2),18), ((1),19), ((-1),20), ((-2),23), ((1),24), ((-1),26), ((1),28), ((1),29), ((-2),30), ((-1),31), ((-1),32), ((2),33), ((-1),34), ((-2),35), ((2),36), ((1),37), ((-1),38), ((-2),42), ((2),45), ((2),46), ((1),47), ((1),48), ((-2),49), ((2),50), ((1),52), ((-2),54), ((-1),55), ((1),59), ((-2),60), ((1),69), ((2),70), ((-1),72)], (1)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((2),4), ((-1),5), ((-1),7), ((-2),8), ((-2),9), ((-1),10), ((2),12), ((-2),13), ((-2),14), ((2),15), ((-1),16), ((-1),18), ((1),21), ((-1),22), ((-2),27), ((-2),28), ((1),30), ((-1),31), ((1),34), ((-2),35), ((-2),36), ((-1),37), ((2),38), ((1),41), ((-1),42), ((1),43), ((2),44), ((1),45), ((-2),46), ((1),48), ((1),49), ((2),53), ((1),54), ((1),55), ((-2),56), ((1),57), ((-1),58), ((-2),64), ((-1),65), ((-1),68), ((1),72), ((2),73), ((1),74)], (-11)), ("GEQ", [((-2),0), ((-1),2), ((-2),3), ((1),7), ((2),8), ((-2),9), ((2),10), ((-1),12), ((1),14), ((1),15), ((1),18), ((2),21), ((1),25), ((1),26), ((2),30), ((2),31), ((1),33), ((-2),34), ((-2),35), ((-1),36), ((-2),38), ((-1),40), ((1),45), ((-1),46), ((2),48), ((-1),49), ((-1),56), ((-2),59), ((-1),61), ((-2),65), ((2),66), ((2),67), ((-1),69), ((2),74)], (8)), ("GEQ", [((1),0), ((-2),2), ((2),3), ((2),5), ((-1),6), ((-2),7), ((-1),9), ((1),10), ((2),13), ((-2),14), ((-1),15), ((1),16), ((-1),17), ((-2),19), ((-1),20), ((-2),21), ((-1),22), ((1),24), ((1),25), ((-2),26), ((-1),30), ((2),32), ((1),33), ((-2),35), ((-2),36), ((-1),38), ((1),39), ((-1),40), ((-2),41), ((-2),42), ((2),45), ((1),46), ((1),47), ((-2),49), ((2),52), ((-2),54), ((-1),56), ((-1),57), ((2),58), ((1),59), ((-2),60), ((-1),61), ((-2),62), ((1),64), ((1),69), ((-2),70), ((-1),72), ((1),73), ((-1),74)], (16)), ("GEQ", [((-1),0), ((2),3), ((-1),4), ((-1),6), ((-1),8), ((2),9), ((2),10), ((2),13), ((-1),14), ((-2),16), ((2),18), ((1),19), ((2),22), ((-1),24), ((2),25), ((-2),28), ((-1),29), ((2),31), ((1),33), ((2),34), ((2),35), ((-2),36), ((-2),37), ((-1),40), ((-2),42), ((-1),46), ((1),47), ((-1),50), ((-1),54), ((1),55), ((1),57), ((1),58), ((-2),60), ((1),61), ((1),62), ((-2),63), ((-1),64), ((1),66), ((2),67), ((-1),68), ((-2),69), ((-1),70), ((1),71), ((-1),72), ((1),74)], (-4)), ("GEQ", [((2),2), ((-1),4), ((1),5), ((-2),6), ((-2),7), ((-1),10), ((2),13), ((1),15), ((-2),17), ((2),18), ((-2),19), ((1),20), ((-2),21), ((2),23), ((-1),24), ((2),25), ((1),26), ((-2),30), ((1),35), ((2),37), ((2),39), ((2),40), ((-1),41), ((2),42), ((-2),43), ((2),44), ((2),47), ((-1),51), ((-1),52), ((-1),55), ((-1),57), ((-1),58), ((-2),59), ((-2),60), ((-1),62), ((-1),63), ((-1),65), ((-1),66), ((-1),70), ((1),71), ((-1),72), ((-1),73)], (-12)), ("GEQ", [((-1),0), ((-1),1), ((-1),3), ((-1),5), ((-2),8), ((1),9), ((-1),10), ((-1),11), ((2),12), ((-2),13), ((-2),14), ((1),16), ((-1),19), ((1),20), ((2),21), ((-1),22), ((2),23), ((-1),26), ((1),28), ((2),29), ((1),31), ((-1),32), ((2),33), ((-2),34), ((2),36), ((1),37), ((-2),38), ((-2),39), ((1),43), ((1),44), ((1),45), ((-1),48), ((-1),49), ((1),50), ((2),51), ((-2),53), ((-2),55), ((1),56), ((2),57), ((-2),59), ((2),60), ((2),61), ((2),64), ((-1),65), ((1),67), ((-1),68), ((-2),70), ((-2),71), ((1),72), ((1),73), ((-1),74)], (-3)), ("GEQ", [((-2),2), ((1),3), ((2),4), ((2),6), ((2),7), ((-1),8), ((1),9), ((-2),10), ((1),11), ((1),12), ((1),14), ((-1),16), ((-1),17), ((-1),18), ((2),19), ((1),22), ((-1),23), ((-2),26), ((2),28), ((2),29), ((-2),30), ((1),31), ((-1),33), ((1),35), ((-2),36), ((-2),37), ((-2),38), ((-2),44), ((2),46), ((-1),47), ((1),48), ((-1),49), ((1),50), ((2),51), ((1),52), ((2),53), ((1),54), ((1),55), ((1),56), ((1),59), ((1),60), ((-2),61), ((1),62), ((-2),63), ((1),64), ((1),65), ((-2),66), ((1),68), ((1),70), ((2),73), ((-2),74)], (-1)), ("GEQ", [((-1),1), ((-2),2), ((1),3), ((2),7), ((-1),8), ((1),9), ((1),10), ((1),11), ((1),12), ((1),15), ((-2),16), ((1),20), ((-1),21), ((-1),22), ((-2),23), ((1),25), ((2),27), ((1),28), ((2),29), ((1),30), ((2),32), ((2),33), ((-2),34), ((2),35), ((-1),36), ((-1),37), ((-1),38), ((2),44), ((2),45), ((-2),46), ((-2),47), ((2),48), ((-2),52), ((-1),53), ((1),54), ((-2),55), ((2),57), ((-2),59), ((-2),60), ((1),62), ((1),64), ((2),65), ((-2),66), ((2),69), ((-2),70), ((1),71), ((-1),73)], (-35)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-2),4), ((-1),6), ((-1),11), ((-1),12), ((-1),14), ((-1),15), ((-2),20), ((-2),23), ((-2),24), ((-2),27), ((-2),28), ((2),29), ((1),32), ((-2),34), ((-1),36), ((-2),37), ((-2),39), ((1),40), ((-2),42), ((2),44), ((-2),45), ((1),46), ((-1),47), ((-2),48), ((-2),49), ((2),50), ((2),52), ((2),54), ((1),55), ((-1),60), ((-2),62), ((1),63), ((-1),65), ((-2),66), ((-1),67), ((-1),68), ((1),69), ((-2),70), ((-1),71), ((2),74)], (-15)), ("GEQ", [((-1),1), ((-2),4), ((-1),5), ((2),7), ((1),9), ((-2),10), ((2),11), ((-2),12), ((-1),13), ((2),15), ((-2),16), ((2),17), ((2),19), ((-1),20), ((-2),21), ((-2),22), ((-2),23), ((1),24), ((-2),29), ((-1),30), ((1),31), ((2),32), ((2),35), ((2),38), ((-2),43), ((2),44), ((2),45), ((2),46), ((-2),47), ((-2),49), ((1),51), ((1),52), ((-1),54), ((-1),55), ((2),56), ((1),58), ((-1),60), ((2),62), ((-2),65), ((-2),66), ((-2),69), ((1),70), ((1),74)], (-21)), ("GEQ", [((-1),1), ((2),3), ((-1),6), ((1),7), ((1),8), ((2),10), ((1),11), ((-2),12), ((-2),13), ((2),17), ((1),21), ((2),23), ((2),24), ((-1),25), ((2),28), ((2),29), ((-2),32), ((2),33), ((-2),35), ((2),36), ((2),38), ((-2),40), ((-2),42), ((-1),43), ((-2),44), ((-2),45), ((-2),46), ((-2),47), ((2),48), ((1),49), ((1),53), ((1),54), ((-1),56), ((-2),57), ((-2),59), ((-2),61), ((1),62), ((1),65), ((-1),69), ((1),71), ((-1),74)], (25)), ("GEQ", [((-2),0), ((2),1), ((-2),6), ((2),7), ((2),9), ((-1),12), ((-1),17), ((-1),18), ((-2),19), ((2),20), ((-1),23), ((1),25), ((-1),26), ((-1),28), ((-1),32), ((-2),33), ((1),34), ((2),35), ((1),36), ((1),37), ((-2),38), ((-2),40), ((1),41), ((1),43), ((2),44), ((2),46), ((1),48), ((-1),51), ((-1),53), ((-1),55), ((2),60), ((1),62), ((-2),64), ((2),65), ((1),66), ((1),67), ((1),68), ((1),69), ((1),71), ((2),72)], (-5)), ("GEQ", [((-1),2), ((-2),3), ((-1),5), ((-2),9), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((-2),15), ((1),16), ((-2),17), ((-2),18), ((-1),22), ((-1),24), ((-1),26), ((-1),27), ((1),28), ((2),29), ((-2),30), ((2),31), ((-2),32), ((-2),33), ((1),34), ((1),36), ((-2),38), ((-1),39), ((-2),42), ((1),44), ((1),46), ((-1),47), ((2),50), ((1),52), ((-2),53), ((-1),54), ((-2),55), ((2),56), ((-1),59), ((1),60), ((2),61), ((2),62), ((-1),63), ((-1),64), ((2),67), ((2),70), ((1),72), ((-1),73), ((1),74)], (-25)), ("GEQ", [((-1),2), ((2),5), ((-1),7), ((1),8), ((1),10), ((1),12), ((2),14), ((-1),15), ((1),16), ((2),17), ((2),18), ((2),21), ((-1),26), ((2),27), ((-2),29), ((-1),30), ((-1),32), ((1),33), ((1),34), ((-2),38), ((1),39), ((2),40), ((-2),41), ((1),43), ((1),44), ((-2),45), ((-2),46), ((-2),47), ((1),48), ((2),49), ((1),53), ((-2),55), ((-1),56), ((-2),57), ((-1),59), ((-2),60), ((1),61), ((2),63), ((-2),65), ((1),66), ((-2),68), ((-2),70), ((-2),71)], (16)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-2),6), ((-2),10), ((-2),12), ((2),14), ((-1),18), ((2),19), ((-2),20), ((2),21), ((-2),25), ((-1),26), ((-1),27), ((1),30), ((-1),32), ((-2),33), ((1),34), ((2),35), ((-1),38), ((1),39), ((1),42), ((-2),43), ((-2),45), ((1),49), ((-1),50), ((-2),51), ((2),54), ((-1),56), ((1),57), ((1),59), ((1),60), ((-1),61), ((1),63), ((-1),65), ((-1),66), ((1),67), ((2),69), ((-2),71), ((1),72)], (-4)), ("GEQ", [((-2),2), ((1),5), ((1),9), ((2),10), ((-2),12), ((-1),15), ((-1),16), ((-2),19), ((-1),21), ((-2),22), ((1),23), ((-1),24), ((1),30), ((-1),32), ((-2),35), ((-1),37), ((-2),38), ((1),39), ((1),40), ((2),42), ((-2),47), ((1),49), ((2),50), ((2),51), ((-1),55), ((-1),56), ((1),57), ((2),61), ((1),64), ((1),65), ((-2),66), ((1),67), ((1),68), ((-2),69), ((2),70), ((1),71), ((1),72), ((1),74)], (-8)), ("GEQ", [((-2),0), ((2),2), ((2),3), ((-1),4), ((1),5), ((2),6), ((-1),7), ((2),8), ((-1),9), ((2),10), ((2),11), ((1),13), ((1),14), ((-1),15), ((-2),16), ((1),17), ((2),18), ((-1),22), ((-1),23), ((-2),24), ((1),25), ((-2),26), ((1),27), ((-1),28), ((1),30), ((-1),33), ((-1),39), ((2),40), ((-1),41), ((1),42), ((-1),43), ((-1),45), ((-1),47), ((1),48), ((2),49), ((1),51), ((-2),52), ((-2),53), ((1),54), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((2),60), ((2),62), ((-2),63), ((-1),64), ((-2),65), ((2),67), ((-1),71), ((-2),74)], (8)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((1),3), ((-1),4), ((2),5), ((-1),7), ((-2),10), ((2),11), ((2),13), ((1),14), ((-1),15), ((2),19), ((-2),20), ((-2),21), ((-2),25), ((-1),26), ((1),27), ((-1),28), ((-1),29), ((2),30), ((1),31), ((-2),32), ((-2),33), ((1),34), ((1),35), ((1),37), ((1),39), ((1),41), ((1),42), ((-2),43), ((2),44), ((2),45), ((-2),46), ((1),47), ((-1),48), ((1),52), ((-1),53), ((2),55), ((-1),56), ((-1),58), ((-2),60), ((-2),61), ((-2),62), ((1),63), ((2),64), ((-2),65), ((-1),66), ((-1),67), ((1),68), ((-2),72), ((2),73), ((-2),74)], (15)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((1),3), ((-1),4), ((1),5), ((1),6), ((1),9), ((-1),14), ((-1),15), ((-1),17), ((-1),21), ((2),22), ((2),25), ((1),27), ((2),28), ((-2),29), ((-2),37), ((2),39), ((-1),40), ((1),41), ((-2),42), ((2),46), ((-2),47), ((-1),49), ((-1),51), ((-2),52), ((2),53), ((-2),55), ((2),58), ((2),62), ((-2),63), ((2),64), ((-2),66), ((-1),67), ((2),68), ((-2),69), ((-1),70), ((2),72), ((-2),74)], (25)), ("GEQ", [((1),1), ((-1),2), ((1),3), ((1),4), ((-1),6), ((2),8), ((-2),10), ((-2),12), ((1),13), ((2),14), ((-1),15), ((1),20), ((2),21), ((1),22), ((-2),23), ((1),24), ((-1),25), ((2),26), ((-2),27), ((2),29), ((-2),30), ((-1),31), ((2),37), ((1),38), ((-1),39), ((2),40), ((-2),41), ((2),42), ((1),47), ((1),48), ((-2),49), ((-1),52), ((2),53), ((2),54), ((1),55), ((2),56), ((2),57), ((2),58), ((-1),59), ((-2),60), ((1),62), ((-1),65), ((2),67), ((-2),68), ((-2),69), ((2),71), ((-1),74)], (-48)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((1),3), ((-1),4), ((-2),7), ((-2),8), ((1),11), ((-1),13), ((2),18), ((-2),20), ((-1),21), ((-2),23), ((2),24), ((2),25), ((2),26), ((-2),28), ((-2),30), ((-2),32), ((2),34), ((-1),37), ((1),38), ((1),39), ((2),41), ((-2),43), ((-2),44), ((2),45), ((-2),46), ((-2),47), ((-2),48), ((2),49), ((-2),50), ((-2),51), ((-2),53), ((1),55), ((2),56), ((-1),59), ((-1),60), ((-2),61), ((2),62), ((-1),64), ((1),66), ((-1),67), ((-1),68), ((1),71), ((2),72), ((-2),73), ((2),74)], (39)), ("GEQ", [((2),0), ((-2),1), ((-1),3), ((-2),5), ((1),6), ((-1),7), ((-1),11), ((-2),12), ((-2),13), ((1),18), ((-1),20), ((1),21), ((-2),23), ((-2),24), ((2),26), ((-1),27), ((-2),31), ((1),32), ((-2),33), ((-2),34), ((1),35), ((-2),36), ((1),37), ((-2),39), ((-1),40), ((2),42), ((1),44), ((-2),47), ((-2),48), ((-1),49), ((-1),51), ((2),52), ((-1),55), ((2),57), ((2),58), ((1),59), ((-1),60), ((2),61), ((-1),63), ((2),65), ((-2),66), ((-1),67), ((-2),68), ((-1),69), ((1),70), ((-2),72), ((-1),73)], (-9)), ("GEQ", [((2),0), ((-2),2), ((1),7), ((1),8), ((-2),9), ((2),10), ((2),11), ((-2),15), ((-1),17), ((1),19), ((1),20), ((1),27), ((-2),28), ((2),30), ((-1),31), ((1),33), ((1),34), ((-1),36), ((-2),37), ((-1),38), ((-2),39), ((-1),43), ((1),44), ((1),45), ((1),46), ((2),47), ((-1),48), ((-1),50), ((2),51), ((1),52), ((-2),54), ((-2),55), ((2),56), ((2),57), ((-2),59), ((-2),60), ((1),63), ((2),65), ((1),67), ((-1),68), ((-1),69), ((-1),70), ((1),73)], (-10)), ("GEQ", [((2),0), ((-1),3), ((-1),4), ((2),8), ((-2),9), ((-2),11), ((2),13), ((-2),14), ((-2),16), ((-1),17), ((-2),18), ((2),21), ((-1),23), ((-2),24), ((-1),25), ((1),27), ((-2),29), ((-2),30), ((2),33), ((2),34), ((1),36), ((2),38), ((-2),39), ((1),40), ((-2),41), ((-2),42), ((2),43), ((2),48), ((1),50), ((-2),51), ((1),52), ((-2),53), ((-1),55), ((2),56), ((-2),58), ((2),59), ((2),60), ((1),63), ((-1),64), ((-2),66), ((1),68), ((-2),71), ((1),73), ((-2),74)], (-5)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),6), ((2),10), ((-1),12), ((1),13), ((1),14), ((2),15), ((2),16), ((2),17), ((-1),18), ((-2),20), ((-1),22), ((-2),25), ((-2),26), ((2),28), ((-1),31), ((2),32), ((2),33), ((2),35), ((2),37), ((1),38), ((1),40), ((2),41), ((1),43), ((-2),44), ((2),45), ((-1),46), ((-2),48), ((-2),52), ((2),53), ((2),56), ((1),57), ((2),59), ((-1),60), ((1),63), ((2),64), ((2),65), ((-2),66), ((1),67), ((-1),72), ((1),73)], (-34)), ("GEQ", [((2),0), ((1),1), ((-2),7), ((1),9), ((-2),10), ((1),11), ((1),12), ((1),14), ((2),16), ((-2),17), ((-1),18), ((-1),20), ((-2),22), ((1),23), ((1),24), ((1),25), ((-1),28), ((-2),29), ((-2),32), ((1),33), ((-2),34), ((-1),36), ((-2),38), ((-2),40), ((-2),41), ((-2),43), ((-2),48), ((1),49), ((-1),50), ((-2),51), ((-2),52), ((-1),53), ((-2),55), ((-1),56), ((-1),57), ((-2),61), ((-1),64), ((-1),65), ((1),67), ((-1),68), ((-2),71), ((-2),72), ((-1),73), ((-1),74)], (13)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((-1),4), ((1),5), ((-1),6), ((2),10), ((1),11), ((-2),13), ((-1),18), ((-1),19), ((-1),22), ((-1),23), ((2),26), ((-2),27), ((-1),30), ((1),32), ((1),33), ((-2),34), ((1),36), ((1),37), ((-1),38), ((-2),40), ((-2),41), ((-2),44), ((-2),45), ((-2),49), ((-2),50), ((2),52), ((-2),53), ((2),55), ((-1),56), ((1),57), ((-1),58), ((-1),61), ((-1),64), ((1),67), ((-1),68), ((-2),69), ((2),70), ((-2),72), ((-2),73)], (18)), ("GEQ", [((2),1), ((1),2), ((-1),3), ((1),7), ((-2),10), ((2),11), ((-2),13), ((2),14), ((-1),15), ((2),16), ((-2),20), ((2),22), ((-2),23), ((-1),26), ((-2),31), ((-1),34), ((-1),37), ((-1),38), ((2),40), ((1),42), ((1),44), ((-2),46), ((-1),49), ((2),50), ((2),51), ((-1),52), ((1),54), ((-2),56), ((2),57), ((2),58), ((-2),60), ((2),61), ((-1),62), ((-2),63), ((1),65), ((1),66), ((-1),67), ((1),69), ((1),70), ((2),71), ((-2),73), ((-2),74)], (-25)), ("GEQ", [((1),0), ((1),1), ((-1),4), ((2),5), ((2),7), ((2),8), ((2),11), ((2),12), ((1),13), ((1),14), ((2),15), ((-2),16), ((1),17), ((-2),18), ((-2),19), ((-2),20), ((2),21), ((-1),24), ((2),28), ((-2),29), ((-2),30), ((1),31), ((-1),32), ((2),33), ((-1),34), ((1),36), ((-2),37), ((2),39), ((2),40), ((1),43), ((-1),44), ((1),45), ((1),46), ((1),49), ((2),50), ((2),52), ((2),53), ((1),54), ((-2),56), ((-2),57), ((-2),58), ((2),61), ((-2),64), ((-1),65), ((-2),68), ((-2),69), ((2),70), ((1),71), ((2),72), ((2),73), ((2),74)], (9)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),4), ((1),5), ((2),7), ((-2),8), ((-2),9), ((2),10), ((1),11), ((-2),14), ((-2),17), ((-1),18), ((-2),21), ((2),22), ((1),23), ((-2),24), ((-2),25), ((-2),26), ((-1),27), ((-2),29), ((2),32), ((2),34), ((-2),35), ((1),39), ((1),41), ((-1),45), ((-2),47), ((-2),51), ((-2),52), ((1),53), ((-2),54), ((-2),57), ((1),58), ((1),59), ((-1),60), ((-2),62), ((-1),63), ((2),64), ((2),65), ((1),66), ((-2),67), ((-1),68), ((-1),69), ((-1),70), ((-1),72), ((1),73)], (17)), ("GEQ", [((2),0), ((1),3), ((-2),4), ((2),6), ((-2),8), ((2),12), ((-1),13), ((1),16), ((1),19), ((2),21), ((1),22), ((2),23), ((2),24), ((-2),25), ((2),31), ((-2),33), ((-1),34), ((-2),35), ((-1),37), ((2),38), ((1),40), ((1),41), ((-2),42), ((-1),43), ((-2),47), ((-2),48), ((-2),52), ((-2),54), ((-1),56), ((2),59), ((1),61), ((1),64), ((1),66), ((1),67), ((-2),69), ((-1),70), ((-1),74)], (4)), ("GEQ", [((-2),1), ((1),4), ((2),5), ((-2),6), ((-1),8), ((-2),9), ((-2),10), ((2),11), ((-2),13), ((-2),15), ((-2),16), ((2),19), ((-1),20), ((-2),21), ((-2),22), ((2),23), ((-2),24), ((2),26), ((-2),27), ((2),30), ((-1),31), ((-2),32), ((-1),33), ((1),36), ((2),38), ((-1),40), ((2),44), ((2),45), ((-2),48), ((1),50), ((-2),51), ((1),52), ((1),53), ((1),55), ((2),57), ((-2),59), ((2),60), ((-1),61), ((-1),62), ((1),63), ((-1),64), ((-2),65), ((-2),66), ((1),68), ((-2),69), ((-1),70), ((1),72), ((2),73)], (6)), ("GEQ", [((44),0), ((-20),1), ((-14),2), ((-27),3), ((4),4), ((-7),5), ((16),6), ((-5),7), ((-7),8), ((20),9), ((-8),10), ((-20),11), ((-13),12), ((-17),13), ((5),15), ((7),16), ((6),17), ((1),18), ((37),19), ((33),20), ((4),21), ((9),22), ((1),23), ((12),24), ((-40),25), ((17),26), ((7),27), ((-16),28), ((-7),29), ((54),30), ((-12),31), ((18),32), ((24),33), ((18),34), ((2),35), ((27),36), ((16),37), ((48),38), ((36),39), ((1),40), ((18),41), ((43),42), ((32),43), ((-23),44), ((-1),45), ((27),46), ((1),47), ((-43),48), ((5),49), ((-38),50), ((13),51), ((14),52), ((-2),53), ((-30),54), ((11),55), ((21),56), ((11),57), ((-10),58), ((46),59), ((60),60), ((-8),61), ((18),62), ((61),63), ((-9),64), ((27),65), ((15),66), ((-22),67), ((-3),68), ((54),69), ((22),70), ((28),71), ((8),72), ((-30),73), ((50),74)], (-266)), ("GEQ", [((-141),0), ((57),1), ((84),2), ((42),3), ((-3),4), ((-30),6), ((-10),7), ((29),8), ((-11),9), ((31),10), ((33),11), ((40),12), ((62),13), ((-18),14), ((-21),15), ((-9),16), ((-3),17), ((42),18), ((-130),19), ((-60),20), ((-17),21), ((-8),22), ((2),23), ((-17),24), ((137),25), ((-36),26), ((-13),27), ((60),28), ((47),29), ((-143),30), ((10),31), ((-37),32), ((-51),33), ((-70),34), ((-5),35), ((-64),36), ((-7),37), ((-124),38), ((-92),39), ((8),40), ((-53),41), ((-92),42), ((-65),43), ((9),44), ((-12),45), ((-60),46), ((13),47), ((105),48), ((-25),49), ((69),50), ((-29),51), ((-28),52), ((-1),53), ((70),54), ((-16),55), ((-61),56), ((-33),57), ((-116),59), ((-122),60), ((45),61), ((-50),62), ((-180),63), ((16),64), ((-63),65), ((-10),66), ((62),67), ((28),68), ((-124),69), ((-51),70), ((-39),71), ((-17),72), ((67),73), ((-118),74)], (1020)), ("GEQ", [((-157),0), ((79),1), ((77),2), ((66),3), ((-8),4), ((3),5), ((-45),6), ((4),7), ((-5),8), ((-53),9), ((-10),10), ((69),11), ((31),12), ((56),13), ((-5),14), ((-65),15), ((-35),16), ((-11),17), ((9),18), ((-113),19), ((-116),20), ((-40),21), ((-6),22), ((10),23), ((-55),24), ((135),25), ((-48),26), ((-29),27), ((49),28), ((35),29), ((-137),30), ((17),31), ((-52),32), ((-111),33), ((-65),34), ((15),35), ((-99),36), ((-58),37), ((-134),38), ((-131),39), ((-10),40), ((-60),41), ((-108),42), ((-125),43), ((60),44), ((-12),45), ((-84),46), ((29),47), ((141),48), ((-25),49), ((115),50), ((-33),51), ((-42),52), ((24),53), ((144),54), ((-17),55), ((-71),56), ((-22),57), ((51),58), ((-164),59), ((-181),60), ((26),61), ((-86),62), ((-213),63), ((45),64), ((-101),65), ((-54),66), ((37),67), ((30),68), ((-152),69), ((-91),70), ((-99),71), ((-44),72), ((75),73), ((-183),74)], (1316)), ("GEQ", [((138),0), ((-68),1), ((-48),2), ((-61),3), ((-6),4), ((2),5), ((16),6), ((-35),7), ((35),8), ((28),9), ((-5),10), ((-74),11), ((-33),12), ((-20),13), ((-16),14), ((12),15), ((33),16), ((42),17), ((3),18), ((86),19), ((99),20), ((43),21), ((6),22), ((-11),23), ((34),24), ((-136),25), ((35),26), ((17),27), ((-60),28), ((-52),29), ((140),30), ((-65),31), ((75),32), ((76),33), ((74),34), ((20),35), ((90),36), ((57),37), ((163),38), ((124),39), ((2),40), ((70),41), ((102),42), ((104),43), ((-52),44), ((-7),45), ((70),46), ((-7),47), ((-144),48), ((12),49), ((-97),50), ((1),51), ((38),52), ((-6),53), ((-138),54), ((26),55), ((78),56), ((3),57), ((-40),58), ((164),59), ((187),60), ((-6),61), ((82),62), ((180),63), ((-46),64), ((100),65), ((45),66), ((-38),67), ((-38),68), ((149),69), ((80),70), ((82),71), ((16),72), ((-98),73), ((147),74)], (-1029)), ("GEQ", [((192),0), ((-88),1), ((-158),2), ((-97),3), ((53),4), ((-14),5), ((126),6), ((75),7), ((-89),8), ((111),9), ((62),10), ((-77),11), ((-49),12), ((-146),13), ((23),14), ((181),15), ((43),16), ((-51),17), ((-65),18), ((182),19), ((168),20), ((36),21), ((29),22), ((7),23), ((83),24), ((-131),25), ((81),26), ((79),27), ((-13),28), ((10),29), ((131),30), ((110),31), ((9),32), ((223),33), ((23),34), ((-120),35), ((104),36), ((72),37), ((61),38), ((125),39), ((30),40), ((40),41), ((128),42), ((166),43), ((-86),44), ((33),45), ((128),46), ((-77),47), ((-113),48), ((38),49), ((-154),50), ((132),51), ((58),52), ((-49),53), ((-128),54), ((-17),55), ((48),56), ((97),57), ((-87),58), ((132),59), ((159),60), ((-66),61), ((83),62), ((279),63), ((-24),64), ((100),65), ((44),66), ((-56),67), ((12),68), ((138),69), ((127),70), ((147),71), ((105),72), ((-10),73), ((269),74)], (-2085)), ("GEQ", [((147),0), ((-92),1), ((-9),2), ((-22),3), ((-47),4), ((17),5), ((-52),6), ((-71),7), ((146),8), ((19),9), ((-4),10), ((-70),11), ((-20),12), ((50),13), ((-19),14), ((-30),15), ((51),16), ((83),17), ((42),18), ((31),19), ((108),20), ((85),21), ((-34),22), ((-25),23), ((70),24), ((-146),25), ((19),26), ((-6),27), ((-80),28), ((-77),29), ((102),30), ((-128),31), ((86),32), ((39),33), ((114),34), ((90),35), ((108),36), ((63),37), ((172),38), ((162),39), ((-2),40), ((79),41), ((60),42), ((94),43), ((-22),44), ((1),45), ((53),46), ((-14),47), ((-182),48), ((-4),49), ((-73),50), ((-37),51), ((30),52), ((-26),53), ((-202),54), ((24),55), ((108),56), ((-74),57), ((-50),58), ((173),59), ((171),60), ((11),61), ((131),62), ((150),63), ((-85),64), ((98),65), ((84),66), ((35),67), ((-107),68), ((143),69), ((82),70), ((67),71), ((-12),72), ((-145),73), ((118),74)], (-1006)), ("GEQ", [((126),0), ((-63),1), ((-145),2), ((34),3), ((-9),4), ((7),5), ((9),6), ((73),7), ((-87),8), ((-21),9), ((-97),10), ((18),11), ((-21),12), ((-104),13), ((85),14), ((59),15), ((-19),16), ((-62),17), ((-124),18), ((196),19), ((-18),20), ((19),21), ((-2),22), ((-6),23), ((-8),24), ((-144),25), ((28),26), ((-4),27), ((-61),28), ((-35),29), ((99),30), ((81),31), ((-41),32), ((-1),33), ((77),34), ((7),35), ((25),36), ((-56),37), ((44),38), ((30),39), ((-16),40), ((41),41), ((17),42), ((11),43), ((101),44), ((56),45), ((30),46), ((-30),47), ((-54),48), ((69),49), ((3),50), ((31),51), ((-4),52), ((-5),53), ((2),54), ((13),55), ((59),56), ((60),57), ((78),58), ((68),59), ((7),60), ((-154),61), ((22),62), ((190),63), ((10),64), ((-19),65), ((-54),66), ((-52),67), ((-48),68), ((96),69), ((1),70), ((-48),71), ((24),72), ((-22),73), ((40),74)], (-1453)), ("GEQ", [((-220),0), ((175),1), ((214),2), ((-215),3), ((93),4), ((-26),5), ((107),6), ((-135),7), ((-89),8), ((10),9), ((90),10), ((-33),11), ((-52),12), ((48),13), ((-167),14), ((-201),15), ((-51),16), ((98),17), ((186),18), ((-192),19), ((-14),20), ((-188),21), ((83),22), ((56),23), ((-129),24), ((178),25), ((32),27), ((81),28), ((51),29), ((102),30), ((-169),31), ((143),32), ((-22),33), ((-158),34), ((-38),35), ((-59),36), ((61),37), ((108),38), ((-87),39), ((-14),40), ((-33),41), ((197),42), ((-22),43), ((-278),44), ((-170),45), ((-22),46), ((143),47), ((106),48), ((-95),49), ((-93),50), ((-26),51), ((43),52), ((109),53), ((154),54), ((46),55), ((-126),56), ((40),57), ((-94),58), ((-85),59), ((191),60), ((296),61), ((-153),62), ((-237),63), ((83),64), ((96),65), ((7),66), ((-183),67), ((257),68), ((-28),69), ((-35),70), ((113),71), ((-34),72), ((11),73), ((-1),74)], (3393)), ("GEQ", [((-28),1), ((173),2), ((-90),3), ((31),4), ((-42),5), ((39),6), ((-119),7), ((191),8), ((121),9), ((188),10), ((-126),11), ((55),12), ((120),13), ((-107),14), ((72),15), ((109),16), ((84),17), ((188),18), ((-202),19), ((185),20), ((66),21), ((16),22), ((-15),23), ((143),24), ((132),25), ((3),26), ((45),27), ((72),28), ((39),29), ((-104),30), ((-108),31), ((85),32), ((166),33), ((-43),34), ((-80),35), ((84),36), ((164),37), ((4),38), ((142),39), ((53),40), ((-31),41), ((27),42), ((152),43), ((-221),44), ((-25),45), ((67),46), ((-33),47), ((-74),48), ((-86),49), ((-124),50), ((-7),51), ((47),52), ((-67),53), ((-214),54), ((-19),55), ((-42),56), ((-98),57), ((-202),58), ((95),59), ((126),60), ((190),61), ((86),62), ((-75),63), ((-84),64), ((116),65), ((199),66), ((109),67), ((-2),68), ((-13),69), ((130),70), ((171),71), ((11),72), ((1),73), ((146),74)], (889))]
[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]