[("GEQ", [((-2),0), ((-1),2), ((-2),4), ((1),6), ((2),7), ((-1),10), ((2),13), ((-1),17), ((-2),18), ((2),19), ((2),21), ((1),22), ((2),23), ((-2),24), ((-2),25), ((2),26), ((2),28), ((2),29), ((-1),30), ((2),31), ((-1),32), ((1),37), ((-1),39), ((-2),45), ((2),46), ((2),47), ((2),48), ((-1),49), ((-1),52), ((2),53), ((-2),54), ((-2),55), ((-2),56), ((-2),61), ((-1),62), ((-1),63), ((2),66), ((2),68), ((-1),69), ((-2),70), ((-1),71), ((1),74)], (19)), ("GEQ", [((1),0), ((-1),2), ((-2),3), ((2),7), ((2),8), ((2),9), ((-1),11), ((2),12), ((2),13), ((1),14), ((1),15), ((2),20), ((-1),22), ((-2),24), ((-2),28), ((-2),29), ((1),30), ((2),32), ((-1),35), ((1),36), ((1),37), ((-2),38), ((-2),40), ((2),41), ((-1),42), ((-1),44), ((1),47), ((-2),49), ((1),51), ((1),53), ((-1),55), ((1),56), ((-1),57), ((2),58), ((2),59), ((2),61), ((1),62), ((2),66), ((-1),67), ((2),68), ((-1),70), ((1),72), ((2),74)], (37)), ("GEQ", [((1),0), ((1),1), ((-1),6), ((-1),8), ((-1),9), ((-1),10), ((-2),11), ((2),15), ((2),16), ((-2),17), ((-2),18), ((-1),22), ((-1),23), ((-2),24), ((2),25), ((2),26), ((-2),28), ((2),29), ((-1),30), ((2),32), ((-1),36), ((1),39), ((1),40), ((-2),41), ((2),44), ((2),45), ((1),46), ((-1),47), ((-1),48), ((1),49), ((-2),51), ((2),52), ((1),54), ((2),57), ((1),58), ((-2),59), ((2),61), ((2),62), ((2),64), ((-1),65), ((1),66), ((-2),67), ((1),69), ((2),70), ((-2),71), ((-2),72), ((1),73), ((-1),74)], (7)), ("GEQ", [((-1),1), ((-1),4), ((-1),6), ((2),7), ((-2),8), ((2),9), ((-1),12), ((-2),15), ((2),16), ((-1),18), ((2),19), ((2),21), ((-1),22), ((-1),23), ((1),24), ((-1),25), ((-2),26), ((-1),34), ((-1),36), ((2),37), ((2),38), ((-1),39), ((2),42), ((-2),43), ((-2),48), ((1),51), ((-2),52), ((2),53), ((-2),54), ((1),56), ((2),57), ((1),58), ((2),59), ((-2),61), ((-1),62), ((-1),63), ((2),64), ((2),65), ((1),66), ((-1),67), ((2),68), ((2),69), ((-2),70), ((-2),71), ((-1),72)], (23)), ("GEQ", [((-1),1), ((-2),3), ((2),4), ((-2),5), ((-1),6), ((1),7), ((-1),8), ((2),9), ((-1),11), ((1),13), ((-2),14), ((1),15), ((2),16), ((-1),17), ((1),18), ((1),19), ((-1),20), ((-2),21), ((-2),23), ((-2),25), ((-1),27), ((2),28), ((1),30), ((-1),31), ((-2),35), ((-1),36), ((2),37), ((1),38), ((1),39), ((1),40), ((-1),41), ((-1),44), ((-2),47), ((-1),48), ((-2),49), ((2),50), ((-1),52), ((2),53), ((2),54), ((1),57), ((-2),58), ((1),59), ((-2),60), ((-2),63), ((-2),64), ((2),65), ((-2),66), ((1),68), ((1),70), ((-1),72), ((-1),73), ((1),74)], (53)), ("GEQ", [((-1),0), ((2),2), ((2),4), ((-2),5), ((2),7), ((1),8), ((2),11), ((1),12), ((-2),13), ((2),15), ((1),18), ((2),20), ((-2),21), ((2),22), ((2),24), ((2),26), ((-2),30), ((2),35), ((-1),37), ((1),38), ((-1),42), ((1),44), ((2),45), ((1),46), ((-2),48), ((1),49), ((2),51), ((2),52), ((1),53), ((-1),54), ((-1),55), ((1),56), ((-2),63), ((1),64), ((-2),66), ((2),71)], (-54)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((2),10), ((-2),11), ((-2),12), ((-2),13), ((-1),14), ((-2),15), ((2),16), ((1),18), ((2),19), ((1),21), ((2),22), ((1),23), ((-2),25), ((-2),27), ((-2),30), ((-2),31), ((1),32), ((1),35), ((2),40), ((2),41), ((-2),42), ((-2),43), ((-2),44), ((1),45), ((1),47), ((-1),49), ((-2),50), ((-1),51), ((2),55), ((-2),56), ((-2),59), ((-2),62), ((-1),63), ((1),65), ((2),66), ((1),68), ((-1),69), ((-2),71), ((-2),74)], (-5)), ("GEQ", [((-1),0), ((-2),2), ((-1),3), ((-1),6), ((-2),7), ((-2),9), ((2),10), ((-2),11), ((-2),12), ((-2),13), ((1),14), ((-1),15), ((-1),16), ((-2),17), ((-2),21), ((1),22), ((2),23), ((2),24), ((-2),25), ((1),26), ((-1),28), ((2),29), ((-1),32), ((1),33), ((-2),34), ((-1),37), ((-2),40), ((2),43), ((1),44), ((-2),45), ((1),47), ((2),48), ((1),49), ((-2),50), ((2),51), ((-2),53), ((-1),54), ((-2),56), ((-2),57), ((2),58), ((-2),59), ((-2),60), ((2),62), ((1),63), ((2),64), ((2),66), ((1),67), ((1),68), ((2),69), ((2),72), ((1),73)], (-33)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-1),4), ((-1),6), ((-1),7), ((-2),11), ((1),13), ((2),17), ((2),18), ((1),19), ((2),20), ((-2),21), ((2),22), ((-2),23), ((-2),26), ((-2),30), ((-2),32), ((-1),33), ((1),34), ((-1),35), ((-2),37), ((2),39), ((1),40), ((-2),42), ((-1),43), ((1),44), ((2),45), ((2),46), ((1),48), ((2),50), ((-2),51), ((-1),52), ((-2),54), ((1),56), ((1),57), ((-1),60), ((-2),61), ((-1),63), ((2),65), ((-1),68), ((2),70), ((-2),72), ((-2),74)], (-28)), ("GEQ", [((2),1), ((-2),3), ((-2),6), ((1),7), ((1),9), ((1),10), ((-1),11), ((2),12), ((-2),14), ((-2),16), ((-1),17), ((2),18), ((-1),19), ((-1),23), ((1),25), ((-2),29), ((-2),30), ((2),31), ((1),32), ((2),33), ((-2),38), ((-2),39), ((-2),40), ((1),41), ((-2),42), ((2),43), ((-2),45), ((-2),47), ((2),48), ((2),49), ((1),50), ((-1),52), ((-1),53), ((2),54), ((2),55), ((2),57), ((-1),60), ((-1),62), ((-2),63), ((2),64), ((-2),69), ((2),70), ((-1),71), ((-2),72), ((1),73), ((1),74)], (20)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((1),4), ((-1),5), ((2),6), ((-1),7), ((-1),8), ((-2),11), ((2),12), ((1),13), ((-2),16), ((-1),17), ((2),18), ((-2),19), ((-1),20), ((2),21), ((1),22), ((2),24), ((-2),25), ((-2),26), ((2),28), ((-2),29), ((2),31), ((2),32), ((1),35), ((-1),36), ((-1),38), ((-1),39), ((1),40), ((1),42), ((-1),43), ((2),44), ((1),46), ((1),51), ((2),52), ((2),54), ((-1),56), ((1),57), ((2),58), ((1),59), ((2),60), ((1),63), ((-2),64), ((1),65), ((-2),70)], (5)), ("GEQ", [((2),1), ((2),2), ((2),6), ((-2),7), ((-2),8), ((1),10), ((-1),13), ((2),15), ((-2),16), ((-1),17), ((-2),18), ((-1),19), ((-1),20), ((-2),24), ((-1),25), ((-1),27), ((2),29), ((1),34), ((2),35), ((-2),37), ((-1),38), ((1),39), ((-2),40), ((-2),41), ((1),42), ((-1),45), ((-1),47), ((-2),48), ((-2),49), ((2),52), ((1),54), ((-2),55), ((-1),56), ((-1),59), ((-1),60), ((2),61), ((1),62), ((1),63), ((1),65), ((1),67), ((-1),68), ((1),69), ((-1),71), ((-2),73)], (-25)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-1),5), ((-2),6), ((-2),7), ((2),9), ((-2),10), ((-1),13), ((-2),14), ((-1),15), ((-2),16), ((2),17), ((1),18), ((-2),20), ((1),24), ((2),26), ((-2),30), ((2),31), ((-2),32), ((2),33), ((1),34), ((-1),35), ((-2),36), ((-1),37), ((-2),38), ((-1),40), ((-2),43), ((-2),44), ((1),45), ((-2),46), ((1),47), ((-1),48), ((2),49), ((1),50), ((2),52), ((-2),53), ((-2),55), ((2),56), ((-1),57), ((-2),59), ((-2),60), ((-1),61), ((-1),62), ((-1),63), ((2),64), ((-1),65), ((-2),67), ((-2),68), ((1),72), ((2),74)], (-40)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-1),3), ((1),5), ((2),6), ((2),7), ((1),8), ((-1),12), ((1),13), ((-2),16), ((2),17), ((-1),19), ((-1),21), ((-2),26), ((-2),28), ((-2),29), ((-1),30), ((1),32), ((-1),34), ((1),36), ((-2),37), ((2),38), ((-1),41), ((2),42), ((1),43), ((-2),44), ((2),45), ((2),47), ((-2),48), ((1),49), ((1),50), ((-1),52), ((1),54), ((1),55), ((2),61), ((1),62), ((-1),64), ((-1),67), ((2),68), ((-2),70), ((1),71), ((1),73), ((-1),74)], (1)), ("GEQ", [((-2),0), ((1),1), ((-1),4), ((-1),5), ((1),6), ((-1),7), ((-1),10), ((2),11), ((1),12), ((-1),15), ((-1),17), ((1),18), ((2),19), ((-2),20), ((-1),23), ((2),25), ((-1),27), ((-1),28), ((-2),29), ((-1),30), ((2),31), ((2),32), ((-1),33), ((1),34), ((-2),35), ((1),36), ((-1),37), ((-2),38), ((1),42), ((-1),43), ((2),45), ((-2),46), ((2),48), ((-1),49), ((2),50), ((-2),53), ((1),55), ((2),56), ((-2),57), ((-1),58), ((2),59), ((-1),61), ((-1),65), ((2),66), ((-1),67), ((1),69), ((-2),70), ((1),71), ((-1),72), ((-1),73)], (18)), ("GEQ", [((-1),0), ((-2),2), ((-2),3), ((-2),5), ((-2),6), ((1),11), ((-1),13), ((-1),14), ((2),16), ((-1),18), ((2),19), ((-2),21), ((-1),22), ((1),23), ((-2),24), ((1),26), ((-1),29), ((2),30), ((-2),31), ((-1),32), ((1),33), ((2),37), ((-1),38), ((2),39), ((-1),40), ((-1),41), ((2),44), ((1),45), ((2),46), ((2),48), ((-2),50), ((2),51), ((-2),53), ((1),54), ((2),55), ((2),57), ((2),58), ((-1),60), ((-2),62), ((-2),63), ((-2),68), ((2),69), ((2),70), ((1),71), ((-1),72), ((-2),73)], (-32)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-1),3), ((2),5), ((-2),8), ((2),9), ((-2),10), ((-1),12), ((2),13), ((1),14), ((-1),17), ((2),18), ((2),19), ((1),20), ((1),21), ((2),23), ((-2),24), ((-1),29), ((-1),30), ((-1),31), ((1),32), ((-1),33), ((1),35), ((-1),36), ((1),37), ((-1),38), ((-1),42), ((-1),46), ((-1),47), ((-2),50), ((-1),51), ((1),54), ((-2),55), ((-1),56), ((-2),59), ((1),62), ((1),63), ((2),67), ((-1),68), ((-1),69)], (21)), ("GEQ", [((-1),0), ((-1),2), ((1),5), ((-2),6), ((1),9), ((1),11), ((1),12), ((-2),13), ((2),14), ((-2),18), ((1),19), ((1),21), ((-2),22), ((1),23), ((-2),24), ((2),25), ((-1),26), ((-1),29), ((1),31), ((-1),33), ((2),35), ((-2),36), ((1),38), ((-2),39), ((-2),43), ((2),44), ((2),47), ((-2),49), ((1),50), ((1),51), ((-2),52), ((-2),53), ((2),57), ((2),59), ((-1),62), ((2),65), ((-2),67), ((-1),68), ((2),69), ((-1),71), ((2),72), ((2),73), ((1),74)], (-17)), ("GEQ", [((-2),3), ((1),5), ((1),8), ((1),10), ((-1),11), ((1),14), ((2),16), ((-1),17), ((-1),18), ((2),23), ((-1),24), ((1),25), ((1),27), ((1),29), ((-2),30), ((-2),31), ((1),32), ((-1),33), ((1),34), ((1),37), ((1),38), ((-1),41), ((2),43), ((-1),44), ((-2),46), ((-2),47), ((2),48), ((2),50), ((-1),51), ((-1),52), ((-1),53), ((-2),54), ((-1),55), ((2),56), ((1),57), ((-1),62), ((2),63), ((-2),64), ((1),68), ((-2),69)], (35)), ("GEQ", [((2),0), ((-1),2), ((2),3), ((2),5), ((-1),6), ((1),8), ((-1),9), ((-1),10), ((-2),12), ((2),13), ((-2),14), ((1),15), ((-2),16), ((-2),17), ((2),18), ((-1),19), ((-2),20), ((-1),23), ((2),26), ((-1),27), ((-1),28), ((-1),29), ((-2),31), ((-2),32), ((-2),33), ((-2),36), ((-1),37), ((-2),38), ((1),40), ((2),41), ((1),42), ((-2),43), ((1),44), ((-1),45), ((2),47), ((1),48), ((1),51), ((-1),52), ((-2),53), ((1),57), ((-2),58), ((-1),59), ((1),60), ((1),61), ((-1),63), ((1),64), ((2),66), ((1),67), ((2),72), ((1),73)], (-5)), ("GEQ", [((-1),0), ((2),1), ((-2),5), ((-2),8), ((-1),10), ((2),11), ((2),17), ((2),19), ((-2),20), ((2),22), ((2),24), ((2),25), ((1),26), ((-2),28), ((1),31), ((-1),32), ((-2),35), ((1),37), ((2),39), ((2),40), ((2),41), ((2),42), ((2),44), ((-1),48), ((1),49), ((-2),54), ((-1),55), ((-1),56), ((2),57), ((1),59), ((-1),60), ((-2),61), ((1),62), ((-1),63), ((2),65), ((2),67), ((1),69), ((1),70), ((-2),71), ((1),72), ((-2),73), ((-2),74)], (4)), ("GEQ", [((-1),1), ((-1),3), ((1),4), ((1),9), ((2),10), ((2),11), ((2),15), ((1),16), ((-1),17), ((-1),18), ((-1),23), ((-1),25), ((2),26), ((1),27), ((-2),30), ((-2),31), ((-2),34), ((-2),36), ((-2),40), ((-1),41), ((-1),42), ((-1),43), ((1),44), ((2),45), ((-1),46), ((1),47), ((1),48), ((2),49), ((-1),50), ((1),51), ((2),52), ((-2),59), ((2),60), ((-2),61), ((-2),62), ((-2),63), ((-2),64), ((-2),65), ((1),66), ((2),67), ((-1),68), ((1),69), ((-2),70), ((1),71), ((1),72), ((1),73)], (-45)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((2),4), ((1),5), ((-2),8), ((-1),9), ((-1),11), ((2),12), ((-2),14), ((-1),15), ((-2),16), ((2),17), ((2),18), ((-1),19), ((-1),20), ((2),21), ((1),25), ((-1),27), ((1),28), ((2),32), ((2),33), ((1),34), ((-2),35), ((-1),36), ((-1),37), ((-1),38), ((1),39), ((-2),43), ((1),45), ((-2),46), ((-1),51), ((-1),52), ((-2),53), ((2),55), ((2),58), ((1),59), ((2),64), ((-1),65), ((2),66), ((-2),68), ((1),69), ((2),70), ((2),74)], (-15)), ("GEQ", [((-2),1), ((1),2), ((2),3), ((-2),4), ((-1),6), ((-2),7), ((-1),8), ((-2),10), ((2),12), ((-2),13), ((-1),14), ((-2),16), ((-1),17), ((1),19), ((1),20), ((-2),22), ((-1),23), ((-1),24), ((-2),25), ((-2),27), ((2),30), ((2),32), ((1),34), ((-2),35), ((-1),36), ((-1),38), ((1),39), ((-2),40), ((2),45), ((2),46), ((1),47), ((2),49), ((-1),52), ((2),54), ((-2),58), ((1),60), ((-2),61), ((1),62), ((1),63), ((1),64), ((-2),65), ((2),67), ((1),70), ((2),71), ((-2),74)], (-15)), ("GEQ", [((2),3), ((1),4), ((-2),5), ((-1),6), ((2),7), ((2),8), ((2),10), ((-1),11), ((2),12), ((2),13), ((-1),15), ((-1),16), ((1),19), ((2),21), ((-2),23), ((-1),25), ((2),26), ((-1),27), ((2),28), ((-1),29), ((1),32), ((2),35), ((-1),37), ((2),38), ((-1),39), ((-1),44), ((1),47), ((-1),49), ((-2),50), ((2),51), ((1),52), ((-1),53), ((2),56), ((1),57), ((-2),61), ((2),63), ((2),65), ((-2),66), ((1),67), ((-1),68), ((1),69), ((-1),70), ((-1),73), ((2),74)], (1)), ("GEQ", [((-2),0), ((-1),1), ((-1),3), ((-2),4), ((-2),6), ((2),7), ((2),8), ((2),13), ((-1),14), ((-1),15), ((1),17), ((2),20), ((-2),21), ((1),22), ((-2),23), ((-1),24), ((2),25), ((-1),26), ((1),30), ((1),31), ((2),33), ((-1),34), ((-1),36), ((2),38), ((1),40), ((1),41), ((-2),42), ((-1),44), ((1),46), ((1),47), ((2),48), ((-2),53), ((-2),57), ((2),60), ((-2),61), ((-2),62), ((1),65), ((-2),67), ((-2),68), ((-1),69), ((-2),70), ((-1),71), ((-2),73), ((1),74)], (-1)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((-2),4), ((1),5), ((1),9), ((-1),11), ((-2),14), ((-2),15), ((1),16), ((2),21), ((1),22), ((1),23), ((-2),25), ((1),27), ((-1),28), ((-1),32), ((-2),34), ((-2),35), ((-1),36), ((-2),37), ((-2),39), ((2),40), ((1),45), ((-2),46), ((1),47), ((1),50), ((1),55), ((2),58), ((1),60), ((1),61), ((1),62), ((1),65), ((-2),66), ((-1),68), ((2),70), ((2),71), ((2),72), ((2),73)], (0)), ("GEQ", [((2),0), ((2),1), ((-2),4), ((1),5), ((-1),6), ((-1),7), ((1),9), ((1),11), ((-1),12), ((2),13), ((-1),15), ((2),17), ((-2),18), ((-1),20), ((1),21), ((-2),22), ((2),23), ((-1),24), ((1),25), ((-1),27), ((1),28), ((2),32), ((-1),33), ((1),35), ((2),36), ((-1),37), ((-1),38), ((-2),39), ((-2),42), ((-1),43), ((-1),44), ((1),45), ((-1),46), ((-1),49), ((-1),51), ((-1),54), ((-1),55), ((-1),56), ((-1),58), ((-1),60), ((-1),61), ((1),62), ((-1),66), ((-1),67), ((-2),68), ((-2),69), ((2),71), ((2),74)], (21)), ("GEQ", [((-1),1), ((-1),5), ((-1),8), ((-1),9), ((2),10), ((1),11), ((-1),12), ((1),13), ((-1),14), ((1),15), ((-2),18), ((2),20), ((1),21), ((-1),22), ((1),23), ((1),25), ((-2),29), ((1),30), ((-2),33), ((1),35), ((2),36), ((2),38), ((1),42), ((-1),44), ((-1),46), ((-1),47), ((2),50), ((1),52), ((1),53), ((2),54), ((2),59), ((-1),60), ((-1),62), ((-1),63), ((2),66), ((-2),68), ((-2),69), ((-1),71), ((2),72), ((1),74)], (-14)), ("GEQ", [((2),1), ((1),3), ((-1),4), ((-1),7), ((1),8), ((2),9), ((-1),10), ((-1),11), ((2),12), ((-1),14), ((1),17), ((-1),19), ((1),20), ((1),21), ((-2),22), ((1),23), ((2),24), ((-2),25), ((2),28), ((1),30), ((-1),32), ((2),33), ((2),35), ((1),36), ((1),42), ((-1),43), ((2),44), ((-1),45), ((1),46), ((-1),48), ((-2),49), ((1),50), ((1),51), ((-1),52), ((-2),53), ((-1),54), ((1),56), ((-1),57), ((-1),58), ((1),59), ((2),60), ((-1),61), ((1),63), ((-1),65), ((-1),66), ((2),67), ((1),68)], (7)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-2),4), ((-2),6), ((-1),7), ((1),8), ((1),9), ((-1),10), ((-1),12), ((-2),13), ((1),14), ((1),15), ((2),19), ((-2),21), ((1),25), ((1),27), ((-2),29), ((1),30), ((-1),31), ((1),32), ((-1),33), ((2),35), ((-2),37), ((-2),38), ((-1),39), ((-1),41), ((2),44), ((-2),48), ((-2),49), ((-2),52), ((1),55), ((-1),57), ((1),58), ((-1),60), ((2),62), ((1),66), ((1),69), ((-2),70), ((1),71), ((-2),72), ((-1),73), ((-2),74)], (1)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((1),4), ((-1),6), ((1),7), ((-2),8), ((2),9), ((-1),10), ((1),12), ((2),13), ((-2),16), ((2),18), ((2),19), ((1),20), ((1),21), ((-1),22), ((-1),25), ((-1),26), ((-2),27), ((2),28), ((2),29), ((2),30), ((-1),31), ((-2),32), ((-2),34), ((-1),35), ((2),36), ((-1),39), ((-2),40), ((-1),41), ((-2),43), ((-1),46), ((2),48), ((-1),50), ((2),51), ((-1),52), ((2),53), ((2),55), ((2),56), ((-2),58), ((-1),59), ((-2),61), ((2),62), ((2),66), ((1),67), ((1),68), ((-1),69), ((-1),70), ((2),71), ((1),72)], (26)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((1),4), ((1),5), ((-1),6), ((1),7), ((1),9), ((-2),12), ((-1),14), ((2),15), ((2),19), ((-2),21), ((1),24), ((1),25), ((-2),26), ((1),27), ((-2),28), ((2),30), ((1),32), ((-1),33), ((1),36), ((-1),39), ((-1),40), ((-2),43), ((2),44), ((2),45), ((2),49), ((1),52), ((-2),53), ((2),55), ((-2),59), ((1),61), ((2),63), ((-2),64), ((1),65), ((-2),67), ((-2),71), ((-1),72), ((1),73), ((-1),74)], (23)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((-2),4), ((1),5), ((1),6), ((-1),7), ((2),8), ((2),9), ((-1),10), ((-1),13), ((-2),14), ((2),16), ((-1),19), ((2),21), ((2),22), ((-2),23), ((1),25), ((-1),26), ((1),27), ((2),28), ((-2),29), ((-1),30), ((1),33), ((1),34), ((-2),35), ((2),38), ((2),40), ((2),42), ((1),43), ((1),44), ((1),45), ((-2),46), ((-1),48), ((-1),50), ((1),52), ((2),53), ((1),57), ((1),59), ((-1),60), ((2),61), ((-2),62), ((2),64), ((-1),66), ((-2),68), ((1),73), ((-2),74)], (-4)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),3), ((2),4), ((-1),5), ((2),6), ((-1),7), ((-2),8), ((2),9), ((-1),10), ((2),12), ((-2),13), ((-1),14), ((-2),17), ((2),18), ((1),19), ((1),20), ((2),21), ((-1),23), ((-2),24), ((-1),25), ((-2),27), ((-1),28), ((-2),29), ((2),31), ((-2),32), ((2),33), ((1),34), ((-2),36), ((-1),37), ((2),40), ((-1),46), ((2),47), ((2),48), ((1),51), ((-2),52), ((-1),56), ((-2),59), ((-1),60), ((2),61), ((-1),63), ((-2),67), ((2),68), ((-1),72), ((1),73), ((-2),74)], (7)), ("GEQ", [((-2),1), ((-1),2), ((-2),4), ((1),5), ((2),6), ((2),9), ((-1),12), ((-1),14), ((-1),15), ((-2),17), ((2),18), ((-1),20), ((-1),21), ((1),24), ((-2),25), ((-1),27), ((1),28), ((-1),31), ((2),32), ((-2),33), ((-2),34), ((-1),36), ((2),37), ((-2),38), ((-2),40), ((-2),41), ((2),42), ((2),45), ((-2),46), ((-2),48), ((-1),49), ((1),50), ((2),52), ((1),54), ((-1),55), ((1),56), ((-2),57), ((-1),58), ((1),59), ((-1),60), ((-2),64), ((-2),68), ((2),69), ((-1),71), ((-1),72), ((-1),74)], (24)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((-2),4), ((-1),5), ((-2),6), ((2),8), ((2),9), ((1),10), ((-2),11), ((-1),15), ((-2),17), ((-2),19), ((-1),20), ((-1),23), ((-2),24), ((1),31), ((-1),33), ((1),34), ((-2),35), ((-1),36), ((1),37), ((2),38), ((1),39), ((-2),42), ((2),45), ((-2),50), ((2),52), ((2),53), ((-2),54), ((-2),55), ((2),56), ((1),57), ((1),58), ((1),59), ((-1),60), ((-1),62), ((2),63), ((-2),64), ((-2),65), ((-2),68), ((-2),70), ((-2),71), ((-1),72), ((2),73), ((-2),74)], (20)), ("GEQ", [((-2),2), ((1),3), ((2),4), ((-1),7), ((1),9), ((-1),10), ((2),11), ((2),12), ((1),14), ((2),16), ((1),17), ((-2),19), ((1),22), ((-1),23), ((2),24), ((2),25), ((-2),26), ((2),30), ((1),33), ((2),38), ((-2),40), ((-2),41), ((1),43), ((1),44), ((-2),47), ((2),50), ((1),51), ((2),52), ((1),53), ((-2),55), ((-1),56), ((2),57), ((-1),58), ((-2),60), ((-2),62), ((-2),64), ((1),66), ((-1),67), ((-1),69), ((2),70), ((1),72), ((2),73)], (24)), ("GEQ", [((2),0), ((1),1), ((2),2), ((1),3), ((-1),4), ((-2),5), ((2),6), ((2),8), ((2),9), ((2),10), ((-2),11), ((2),12), ((1),15), ((1),17), ((2),18), ((-1),20), ((1),22), ((2),23), ((-2),26), ((1),27), ((-1),29), ((-1),30), ((-1),33), ((2),34), ((-2),36), ((-2),37), ((1),38), ((2),39), ((1),42), ((1),43), ((2),46), ((2),49), ((-1),50), ((-2),53), ((2),54), ((1),56), ((1),57), ((2),58), ((-1),59), ((-2),60), ((2),62), ((-1),64), ((2),65), ((-1),69), ((-1),70), ((2),73)], (-21)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((-2),7), ((2),9), ((-1),13), ((1),14), ((2),15), ((2),17), ((-2),18), ((-2),19), ((1),20), ((-2),22), ((-2),24), ((-1),25), ((1),27), ((1),28), ((-2),29), ((1),31), ((-1),35), ((-2),38), ((2),39), ((1),40), ((-2),42), ((2),43), ((-1),44), ((2),47), ((-2),48), ((1),49), ((-2),50), ((-2),51), ((-1),53), ((1),54), ((-1),58), ((1),60), ((2),61), ((-2),64), ((-2),65), ((2),68), ((1),69), ((1),74)], (-21)), ("GEQ", [((-1),2), ((-1),3), ((2),8), ((2),9), ((-2),10), ((1),11), ((1),12), ((-1),16), ((-1),18), ((-1),19), ((-1),20), ((2),22), ((1),27), ((-2),28), ((-2),31), ((-1),32), ((2),33), ((-1),35), ((-1),36), ((-2),39), ((2),41), ((-1),42), ((2),43), ((-1),44), ((1),45), ((2),47), ((1),50), ((-2),53), ((-2),57), ((1),63), ((2),64), ((1),65), ((1),66), ((-1),67), ((1),69), ((-1),70), ((1),71)], (15)), ("GEQ", [((1),1), ((-2),2), ((2),3), ((1),6), ((2),9), ((-2),10), ((-1),11), ((-1),13), ((-1),17), ((1),18), ((1),20), ((-2),21), ((-2),23), ((1),25), ((-1),26), ((-2),27), ((-2),29), ((-1),30), ((2),35), ((-2),38), ((-2),40), ((1),41), ((-1),44), ((2),46), ((2),47), ((-1),49), ((-1),50), ((-1),51), ((-2),52), ((1),53), ((2),54), ((-2),55), ((1),57), ((1),59), ((-1),60), ((1),61), ((-2),62), ((-2),64), ((-1),66), ((2),72)], (26)), ("GEQ", [((-1),1), ((-1),2), ((-2),4), ((-1),7), ((-2),10), ((-1),11), ((1),12), ((-2),16), ((-1),18), ((1),19), ((1),22), ((-2),25), ((-1),26), ((2),27), ((2),28), ((-1),30), ((-1),35), ((-1),36), ((1),37), ((2),38), ((-2),40), ((-1),41), ((-1),42), ((-2),45), ((-2),46), ((1),50), ((1),52), ((-2),54), ((-2),55), ((-2),57), ((1),59), ((1),60), ((-2),61), ((1),64), ((2),65), ((1),66), ((1),68), ((1),70), ((1),72), ((-2),74)], (-8)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),3), ((1),4), ((-2),5), ((-2),7), ((1),9), ((-2),13), ((1),14), ((-2),15), ((-2),16), ((2),17), ((-1),18), ((2),19), ((2),20), ((-2),21), ((1),22), ((1),24), ((1),25), ((1),26), ((-2),29), ((-2),33), ((2),34), ((-1),35), ((2),36), ((-2),38), ((-1),39), ((1),40), ((1),43), ((2),45), ((-2),46), ((1),47), ((-1),48), ((-2),49), ((-2),50), ((1),52), ((-2),53), ((1),56), ((2),57), ((1),58), ((2),59), ((1),61), ((-2),62), ((2),63), ((-2),64), ((1),65), ((1),66), ((2),67), ((2),69), ((-1),70), ((2),71), ((-2),72), ((1),73)], (-40)), ("GEQ", [((1),3), ((2),4), ((-2),11), ((-1),12), ((2),13), ((2),14), ((-1),15), ((-2),17), ((-2),18), ((-2),21), ((-1),22), ((-1),26), ((-2),27), ((-2),28), ((2),30), ((-2),31), ((2),35), ((2),36), ((1),37), ((-2),40), ((-2),41), ((-1),43), ((-1),46), ((-1),50), ((-2),55), ((2),58), ((-1),60), ((-1),61), ((-1),70), ((1),71), ((-1),72), ((-1),74)], (6)), ("GEQ", [((1),0), ((2),3), ((2),4), ((1),5), ((-2),9), ((-2),11), ((1),12), ((-2),15), ((-1),16), ((1),17), ((-2),20), ((-2),22), ((-2),26), ((-2),27), ((-2),28), ((-1),30), ((-2),36), ((2),37), ((-1),40), ((1),42), ((-1),44), ((-1),47), ((2),51), ((1),52), ((2),53), ((2),55), ((-2),56), ((2),57), ((2),58), ((-2),59), ((-1),60), ((1),61), ((2),62), ((-1),63), ((-2),66), ((1),67), ((-2),68), ((-2),69), ((-2),70), ((-1),71)], (18)), ("GEQ", [((1),2), ((1),3), ((1),5), ((2),6), ((2),7), ((-1),8), ((-2),9), ((2),13), ((-2),14), ((1),15), ((-1),16), ((-2),19), ((1),20), ((-1),21), ((-1),22), ((2),24), ((-2),25), ((1),29), ((-2),30), ((2),32), ((1),33), ((2),34), ((2),36), ((1),37), ((-2),38), ((-1),39), ((2),40), ((-1),41), ((1),43), ((1),44), ((-2),47), ((-2),48), ((-1),49), ((2),50), ((-2),51), ((2),56), ((-1),59), ((-1),60), ((2),61), ((-1),62), ((-1),63), ((-1),64), ((-1),65), ((-2),66), ((2),67), ((1),69), ((-1),71), ((-2),72), ((2),73), ((2),74)], (28)), ("GEQ", [((-1),2), ((2),4), ((-2),5), ((2),7), ((-2),8), ((-1),9), ((1),10), ((-2),11), ((2),13), ((1),16), ((2),20), ((1),22), ((1),25), ((-2),26), ((-2),27), ((1),29), ((1),32), ((1),34), ((-2),35), ((-2),36), ((-1),39), ((1),41), ((1),42), ((-1),43), ((-1),44), ((2),45), ((-1),46), ((-1),49), ((1),51), ((2),54), ((1),56), ((-2),57), ((2),58), ((2),64), ((2),65), ((1),68), ((2),70), ((-1),71), ((-1),72), ((2),73)], (2)), ("GEQ", [((2),2), ((-1),4), ((1),7), ((2),10), ((2),11), ((2),12), ((1),18), ((-2),19), ((1),20), ((1),23), ((-1),25), ((2),27), ((2),28), ((1),29), ((-1),31), ((-2),32), ((2),36), ((1),37), ((2),39), ((2),40), ((-2),43), ((-1),45), ((1),47), ((-2),50), ((2),51), ((-2),54), ((2),57), ((2),63), ((-2),66), ((1),67), ((-1),69), ((2),71)], (-35)), ("GEQ", [((1),2), ((1),3), ((1),4), ((2),5), ((1),6), ((2),7), ((-2),8), ((-2),10), ((1),11), ((2),13), ((1),16), ((1),17), ((1),19), ((-2),20), ((2),22), ((2),23), ((1),25), ((2),26), ((1),27), ((-2),28), ((1),31), ((-1),32), ((-1),35), ((1),36), ((-1),38), ((-1),39), ((1),40), ((-1),42), ((-1),43), ((2),44), ((1),45), ((-2),47), ((2),50), ((-2),51), ((1),52), ((-2),53), ((-2),54), ((2),56), ((2),58), ((1),62), ((1),63), ((1),65), ((1),66), ((2),67), ((1),69), ((1),71), ((-2),72)], (22)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((-2),7), ((1),9), ((-2),10), ((-1),12), ((-2),17), ((-2),18), ((-2),19), ((2),21), ((2),25), ((-1),27), ((-1),31), ((-1),34), ((-2),37), ((-1),38), ((-1),39), ((-1),41), ((1),42), ((1),43), ((-2),46), ((2),47), ((-1),48), ((2),50), ((-2),51), ((-2),54), ((1),55), ((1),57), ((1),58), ((2),59), ((2),61), ((2),62), ((1),63), ((-1),65), ((1),67), ((-2),68), ((-1),70), ((-1),71), ((2),74)], (33)), ("GEQ", [((2),0), ((-1),1), ((-1),4), ((-1),5), ((2),6), ((-1),11), ((-2),14), ((2),16), ((1),19), ((1),20), ((-2),22), ((1),23), ((1),26), ((-2),27), ((1),28), ((2),30), ((-2),31), ((1),33), ((1),35), ((-1),36), ((1),40), ((2),41), ((2),42), ((-2),43), ((2),44), ((-2),46), ((1),48), ((1),49), ((-2),51), ((-2),53), ((-2),54), ((1),55), ((1),61), ((1),62), ((1),63), ((-1),66), ((-2),67), ((-2),68), ((-2),69), ((1),70), ((-2),71), ((1),73)], (18)), ("GEQ", [((-2),0), ((-2),1), ((2),6), ((-2),11), ((-1),12), ((1),13), ((1),14), ((-2),16), ((1),19), ((-2),20), ((-1),24), ((2),26), ((2),29), ((1),31), ((-1),32), ((1),36), ((-2),39), ((-1),40), ((2),41), ((-2),42), ((-2),45), ((-1),47), ((-2),48), ((1),49), ((1),51), ((-1),52), ((2),55), ((1),56), ((1),57), ((1),59), ((-1),60), ((1),63), ((1),64), ((-1),65), ((-1),67), ((2),68), ((-1),69), ((-2),70), ((-1),71), ((2),74)], (0)), ("GEQ", [((-1),0), ((1),3), ((-1),4), ((2),5), ((-1),8), ((-2),10), ((2),14), ((-2),16), ((-1),17), ((-1),21), ((2),22), ((1),23), ((2),24), ((2),26), ((-2),29), ((-1),32), ((-2),33), ((-1),36), ((-2),39), ((2),40), ((2),41), ((-2),43), ((1),45), ((-1),46), ((-1),49), ((-2),50), ((-2),51), ((-2),52), ((1),53), ((2),54), ((-2),57), ((-1),58), ((-1),59), ((-2),60), ((-1),65), ((-1),66), ((-2),70), ((1),72), ((-2),74)], (2)), ("GEQ", [((-1),2), ((-1),7), ((2),8), ((2),10), ((-1),11), ((1),13), ((-1),14), ((2),15), ((1),16), ((1),18), ((2),19), ((-2),20), ((-1),21), ((1),22), ((-1),23), ((-1),25), ((2),26), ((-2),27), ((-2),29), ((-2),30), ((2),33), ((-2),34), ((-2),36), ((1),37), ((2),38), ((2),39), ((1),40), ((2),41), ((2),42), ((-2),43), ((-2),47), ((-2),48), ((1),49), ((-2),51), ((-2),52), ((1),53), ((-2),55), ((1),56), ((2),58), ((1),62), ((-1),64), ((-1),68), ((-2),69), ((1),71), ((2),74)], (26)), ("GEQ", [((-1),0), ((2),2), ((2),3), ((-1),4), ((1),7), ((1),8), ((1),9), ((1),12), ((2),13), ((2),14), ((1),16), ((-2),17), ((-2),18), ((1),21), ((-2),22), ((2),23), ((-1),28), ((-1),31), ((-2),33), ((1),34), ((2),38), ((-2),39), ((1),41), ((-2),43), ((1),46), ((-2),47), ((-2),48), ((1),50), ((-1),51), ((2),52), ((-1),53), ((-2),54), ((-2),57), ((1),59), ((-2),60), ((-2),61), ((-1),62), ((-1),64), ((1),65), ((-1),68), ((-1),70), ((1),71), ((2),73), ((-2),74)], (21)), ("GEQ", [((-1),2), ((1),4), ((2),5), ((-2),6), ((-1),7), ((2),8), ((1),9), ((1),12), ((2),14), ((1),15), ((-1),17), ((-2),18), ((2),21), ((2),22), ((-1),23), ((2),28), ((-1),29), ((-1),30), ((1),31), ((2),35), ((-1),39), ((1),42), ((-1),43), ((-2),44), ((-1),45), ((2),47), ((-2),48), ((-1),49), ((2),52), ((2),55), ((2),57), ((1),58), ((-2),59), ((-2),61), ((-2),65), ((2),66), ((1),67), ((2),70), ((1),71), ((-1),72), ((-2),73)], (-21)), ("GEQ", [((1),2), ((1),3), ((-2),6), ((-1),9), ((-2),10), ((-1),11), ((1),12), ((1),14), ((1),15), ((1),16), ((-2),17), ((1),19), ((-1),20), ((1),22), ((2),23), ((1),24), ((-2),25), ((2),26), ((-2),27), ((-2),28), ((-2),32), ((2),34), ((2),35), ((-2),36), ((-1),37), ((1),39), ((-1),41), ((1),42), ((2),43), ((-1),45), ((1),48), ((1),50), ((-2),51), ((2),52), ((2),53), ((2),54), ((-1),55), ((-2),57), ((-1),58), ((1),59), ((1),61), ((-2),62), ((-1),63), ((1),66), ((2),67), ((2),70), ((1),71), ((-1),72), ((2),73), ((-1),74)], (-14)), ("GEQ", [((1),1), ((2),3), ((-2),4), ((1),6), ((-1),9), ((1),11), ((1),12), ((-1),15), ((1),16), ((-2),17), ((-1),18), ((1),19), ((-1),20), ((-1),21), ((-2),22), ((1),23), ((-1),24), ((-2),25), ((2),26), ((1),28), ((1),29), ((1),30), ((-2),32), ((-2),33), ((1),34), ((1),38), ((-2),42), ((-1),44), ((2),45), ((2),48), ((-1),49), ((-2),51), ((-2),52), ((2),54), ((-2),55), ((-1),56), ((2),57), ((-1),59), ((1),60), ((2),62), ((2),64), ((-2),66), ((2),69), ((1),72), ((2),73), ((1),74)], (10)), ("GEQ", [((2),0), ((1),1), ((2),3), ((-1),5), ((1),7), ((2),8), ((-1),10), ((1),12), ((2),13), ((-1),15), ((-1),16), ((-2),17), ((-1),19), ((1),21), ((2),22), ((1),23), ((-1),26), ((-2),27), ((1),29), ((1),30), ((2),31), ((-2),32), ((2),37), ((-2),38), ((-2),40), ((2),41), ((2),42), ((1),43), ((-2),44), ((-1),45), ((2),46), ((1),47), ((-2),49), ((1),50), ((2),53), ((1),56), ((-1),57), ((1),59), ((1),60), ((2),61), ((1),62), ((-1),63), ((-2),64), ((1),65), ((-2),67), ((1),70), ((-2),71), ((2),73), ((2),74)], (59)), ("GEQ", [((2),0), ((-2),1), ((-1),3), ((-1),5), ((-1),9), ((1),10), ((-2),11), ((-2),16), ((-2),18), ((1),19), ((-1),22), ((-1),28), ((-2),32), ((2),33), ((-2),34), ((-1),35), ((1),36), ((-1),39), ((2),40), ((1),42), ((2),43), ((2),44), ((2),47), ((2),48), ((-1),49), ((2),51), ((-2),52), ((-2),53), ((1),57), ((-2),60), ((2),62), ((-1),64), ((2),65), ((2),66), ((-2),67), ((-2),68), ((1),69), ((2),70), ((-1),72), ((-1),73), ((-2),74)], (-4)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((-2),8), ((-1),11), ((-2),15), ((-2),16), ((1),18), ((-2),21), ((1),24), ((2),25), ((1),26), ((-1),27), ((1),28), ((2),31), ((-1),34), ((1),36), ((2),37), ((-2),39), ((-1),41), ((2),42), ((-2),44), ((-2),46), ((2),48), ((-2),53), ((-1),56), ((-1),60), ((-1),61), ((-1),63), ((2),64), ((-2),67), ((1),69), ((-2),70), ((-2),73), ((-2),74)], (0)), ("GEQ", [((-2),1), ((-2),3), ((1),4), ((-2),6), ((-1),7), ((-1),8), ((2),10), ((-1),11), ((-1),12), ((-1),13), ((1),14), ((2),15), ((1),16), ((1),18), ((-1),20), ((2),21), ((2),23), ((2),24), ((-1),25), ((2),26), ((-2),27), ((-2),31), ((2),32), ((-1),34), ((1),35), ((-2),39), ((2),41), ((2),42), ((-1),43), ((1),45), ((-1),47), ((1),49), ((2),50), ((-1),51), ((1),53), ((1),55), ((-2),56), ((-2),57), ((2),58), ((-2),59), ((-1),60), ((2),61), ((1),62), ((1),63), ((-2),64), ((2),65), ((1),67), ((1),68), ((1),69), ((-2),70), ((-2),71), ((-2),72), ((2),74)], (58)), ("GEQ", [((-2),0), ((2),2), ((2),5), ((-2),7), ((-1),10), ((2),11), ((-2),12), ((-2),13), ((2),15), ((1),16), ((1),18), ((1),19), ((1),20), ((1),21), ((2),23), ((-1),24), ((-2),25), ((-2),26), ((-2),28), ((-1),29), ((1),31), ((2),34), ((-1),35), ((2),37), ((2),38), ((2),40), ((2),41), ((1),44), ((-1),45), ((-2),46), ((2),48), ((1),49), ((-1),50), ((2),54), ((-1),55), ((2),57), ((-1),59), ((1),62), ((1),63), ((-1),64), ((2),66), ((2),68), ((-2),69), ((-1),70), ((-1),71), ((1),73)], (-6)), ("GEQ", [((2),0), ((2),1), ((-1),3), ((2),5), ((2),6), ((2),9), ((1),10), ((2),11), ((1),12), ((-2),13), ((2),15), ((-2),16), ((-2),17), ((1),23), ((1),24), ((2),26), ((-2),27), ((2),28), ((1),29), ((-2),32), ((2),36), ((1),37), ((1),39), ((-1),42), ((-1),43), ((-2),44), ((-1),46), ((1),47), ((2),48), ((1),49), ((-1),50), ((2),53), ((2),54), ((1),55), ((-2),56), ((-2),57), ((-2),58), ((-1),59), ((1),61), ((-1),62), ((-1),63), ((-2),66), ((-2),67), ((2),68), ((1),69), ((2),71), ((-2),73)], (-27)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((2),4), ((-1),6), ((-1),8), ((2),9), ((-1),11), ((-1),14), ((-1),15), ((1),16), ((-1),17), ((2),20), ((2),21), ((1),22), ((2),24), ((-1),25), ((-1),26), ((-1),27), ((-2),29), ((-2),31), ((1),32), ((-1),33), ((1),34), ((-2),35), ((-1),36), ((-2),37), ((1),39), ((1),40), ((-1),44), ((-1),45), ((-1),46), ((1),49), ((1),50), ((-1),51), ((-1),54), ((-1),56), ((-2),57), ((-1),61), ((-1),63), ((1),64), ((2),68), ((-1),69), ((1),72), ((-1),73), ((-1),74)], (14)), ("GEQ", [((-2),0), ((-1),1), ((2),3), ((2),4), ((1),5), ((-1),6), ((-2),7), ((-1),8), ((1),9), ((-2),11), ((-2),12), ((1),13), ((2),14), ((1),15), ((-1),16), ((-2),17), ((-2),20), ((-1),21), ((-1),27), ((-2),28), ((-1),31), ((-2),35), ((-1),37), ((2),38), ((-2),41), ((2),44), ((-1),47), ((-1),48), ((-1),52), ((2),53), ((-1),57), ((1),58), ((2),60), ((-2),63), ((-1),65), ((-2),66), ((1),67), ((2),69), ((-1),72), ((1),73), ((-2),74)], (12)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((1),3), ((2),7), ((2),8), ((-2),12), ((2),14), ((-1),15), ((-1),16), ((2),17), ((1),19), ((-2),21), ((-2),22), ((-1),23), ((-2),25), ((-1),27), ((-2),28), ((2),31), ((1),32), ((-2),33), ((-1),34), ((-1),35), ((-1),36), ((2),37), ((1),40), ((-2),42), ((1),43), ((-1),44), ((1),45), ((-1),51), ((2),54), ((2),55), ((1),56), ((1),57), ((-2),58), ((-2),59), ((1),60), ((-1),61), ((2),62), ((-2),65), ((1),67), ((2),68), ((-2),69), ((-2),70), ((-2),73), ((-1),74)], (-23)), ("GEQ", [((-2),1), ((-2),2), ((2),3), ((1),5), ((-2),7), ((-1),8), ((-2),9), ((-2),12), ((-2),13), ((2),14), ((-2),15), ((-1),17), ((-2),18), ((1),23), ((-1),24), ((-1),25), ((-2),26), ((1),27), ((1),28), ((-1),30), ((1),31), ((2),33), ((-2),34), ((2),35), ((2),37), ((-1),40), ((-1),41), ((2),43), ((2),44), ((-1),45), ((1),46), ((-1),47), ((-1),48), ((-1),49), ((2),50), ((1),52), ((1),57), ((2),58), ((1),59), ((2),63), ((-1),64), ((1),65), ((1),66), ((-2),67), ((-2),68), ((2),69), ((-2),71), ((1),74)], (-20)), ("GEQ", [((2),0), ((1),2), ((2),8), ((2),9), ((2),10), ((2),11), ((-1),12), ((-1),14), ((-2),15), ((2),16), ((1),19), ((1),21), ((2),22), ((2),24), ((-2),26), ((1),27), ((-1),29), ((-1),30), ((1),31), ((2),36), ((2),38), ((2),39), ((1),40), ((2),41), ((2),46), ((-1),48), ((1),49), ((1),51), ((-1),52), ((1),54), ((-2),55), ((2),56), ((1),58), ((-1),61), ((1),68), ((1),70), ((-2),71), ((-2),73), ((-2),74)], (-20)), ("GEQ", [((2),0), ((-2),1), ((1),3), ((-1),4), ((1),5), ((-1),6), ((-2),8), ((1),9), ((2),12), ((2),15), ((-1),16), ((1),17), ((1),18), ((-2),22), ((-1),24), ((-2),27), ((2),28), ((2),30), ((1),31), ((2),32), ((-1),34), ((1),35), ((1),37), ((-2),38), ((2),39), ((-1),40), ((-1),43), ((2),44), ((2),45), ((1),46), ((-2),49), ((2),50), ((-2),51), ((2),52), ((-2),53), ((1),54), ((2),57), ((-1),58), ((2),61), ((-1),65), ((2),66), ((2),67), ((2),69), ((-2),70), ((-2),71), ((2),73)], (11)), ("GEQ", [((-2),0), ((2),1), ((1),4), ((-1),6), ((-1),8), ((-2),10), ((1),11), ((2),12), ((-1),13), ((-1),15), ((1),18), ((1),23), ((-1),24), ((-1),26), ((2),28), ((2),29), ((-1),31), ((2),33), ((2),34), ((2),36), ((-1),37), ((-1),39), ((-2),42), ((1),44), ((-1),45), ((-1),49), ((2),50), ((-1),51), ((-1),55), ((-2),56), ((-1),58), ((2),59), ((-2),60), ((-1),63), ((-2),64), ((-1),67), ((2),68), ((1),70), ((1),71), ((-1),72), ((2),73)], (22)), ("GEQ", [((-2),0), ((2),2), ((-2),5), ((-1),11), ((2),12), ((2),13), ((-2),23), ((2),24), ((1),25), ((2),26), ((-1),30), ((-2),31), ((1),32), ((-2),33), ((-2),35), ((1),36), ((-2),38), ((-2),39), ((2),40), ((1),41), ((1),42), ((-1),46), ((-1),47), ((1),48), ((2),49), ((-2),50), ((1),52), ((-1),53), ((1),55), ((-2),57), ((2),58), ((-2),59), ((1),60), ((2),62), ((1),64), ((-1),65), ((-2),66), ((2),67), ((-1),68), ((2),69), ((-2),70), ((2),72), ((-1),73), ((-2),74)], (21)), ("GEQ", [((2),1), ((2),4), ((-1),5), ((1),7), ((-2),8), ((-1),10), ((2),11), ((1),13), ((-1),17), ((-1),18), ((-1),20), ((-2),21), ((1),22), ((-1),23), ((-2),24), ((1),27), ((2),28), ((2),29), ((1),30), ((-2),31), ((-2),32), ((1),33), ((1),34), ((1),35), ((-2),38), ((2),39), ((2),43), ((-2),45), ((1),47), ((-2),48), ((2),50), ((2),51), ((2),52), ((2),53), ((2),58), ((1),65), ((-1),66), ((-2),67), ((-2),68), ((-2),69), ((2),71), ((1),72), ((-2),74)], (-39)), ("GEQ", [((-29),0), ((43),1), ((3),2), ((-21),3), ((-13),4), ((-18),5), ((-6),6), ((6),7), ((-24),8), ((-61),9), ((2),10), ((26),11), ((1),12), ((-29),13), ((1),14), ((-4),15), ((14),16), ((46),17), ((24),18), ((-7),19), ((25),20), ((-8),21), ((-9),22), ((-5),23), ((9),24), ((5),25), ((-5),26), ((29),27), ((-8),28), ((27),29), ((13),30), ((11),31), ((-14),32), ((9),33), ((-6),34), ((11),35), ((-4),36), ((-11),37), ((-22),38), ((18),39), ((15),40), ((-17),41), ((20),42), ((13),43), ((-19),45), ((43),46), ((-8),47), ((-4),48), ((-1),49), ((-17),50), ((17),51), ((-35),52), ((34),53), ((-11),54), ((10),55), ((-19),56), ((-1),57), ((-19),58), ((-4),59), ((25),60), ((5),62), ((-29),63), ((28),64), ((-5),65), ((-28),66), ((11),67), ((9),68), ((-4),69), ((34),70), ((24),71), ((-9),72), ((-5),73), ((8),74)], (-480)), ("GEQ", [((59),0), ((-51),1), ((10),2), ((6),3), ((17),4), ((24),5), ((56),6), ((-6),7), ((38),8), ((44),9), ((40),10), ((-12),11), ((-22),12), ((41),13), ((-8),14), ((15),15), ((-4),16), ((-52),17), ((-38),18), ((2),19), ((-41),20), ((13),21), ((-15),23), ((-12),24), ((-1),25), ((17),26), ((-12),27), ((36),28), ((-14),29), ((-35),30), ((-15),31), ((31),32), ((-20),33), ((15),34), ((-22),35), ((42),36), ((34),37), ((69),38), ((8),39), ((-10),40), ((27),41), ((-34),42), ((-3),43), ((-12),44), ((6),45), ((-72),46), ((-25),47), ((13),48), ((-1),49), ((8),50), ((-40),51), ((52),52), ((-23),53), ((19),54), ((-33),55), ((21),56), ((12),57), ((-10),58), ((32),59), ((-18),60), ((5),61), ((-20),62), ((49),63), ((-46),64), ((7),65), ((19),66), ((-3),67), ((-7),68), ((-1),69), ((-32),70), ((-46),71), ((22),72), ((-28),73), ((6),74)], (407)), ("GEQ", [((6),0), ((-45),1), ((-23),2), ((60),3), ((-3),4), ((39),5), ((-30),6), ((12),7), ((49),8), ((63),9), ((-56),10), ((-50),11), ((-4),12), ((40),13), ((20),14), ((-32),15), ((-39),16), ((-50),17), ((-27),18), ((-13),19), ((-39),20), ((6),21), ((25),22), ((29),23), ((6),24), ((16),25), ((11),26), ((-10),27), ((-13),28), ((-17),29), ((-3),30), ((-1),31), ((-8),32), ((2),33), ((-8),34), ((3),35), ((-27),36), ((-7),37), ((-1),38), ((-66),39), ((-41),40), ((21),41), ((-35),42), ((-1),44), ((-8),45), ((-11),46), ((41),47), ((-2),49), ((17),50), ((-12),51), ((14),52), ((-93),53), ((-2),54), ((1),55), ((27),56), ((-42),57), ((31),58), ((2),59), ((-20),60), ((-17),61), ((-2),62), ((37),63), ((19),64), ((-8),65), ((49),66), ((-6),67), ((-5),68), ((38),69), ((-40),70), ((-29),71), ((21),72), ((19),73), ((3),74)], (603)), ("GEQ", [((69),0), ((-17),1), ((30),2), ((-76),3), ((10),4), ((-2),5), ((113),6), ((-17),7), ((-28),8), ((-22),9), ((134),10), ((39),11), ((-30),12), ((11),13), ((-31),14), ((84),15), ((75),16), ((8),17), ((-8),18), ((20),19), ((11),20), ((11),21), ((-11),22), ((-52),23), ((-43),24), ((-18),25), ((-29),26), ((-11),27), ((33),28), ((-17),29), ((-39),30), ((-30),31), ((86),32), ((-33),33), ((37),34), ((-14),35), ((86),36), ((26),37), ((97),38), ((90),39), ((39),40), ((-13),41), ((-29),43), ((-8),44), ((55),45), ((-80),46), ((-112),47), ((-2),48), ((9),49), ((-11),50), ((-47),51), ((75),52), ((122),53), ((30),54), ((-36),55), ((-11),56), ((57),57), ((-11),58), ((7),59), ((-10),60), ((43),61), ((-35),62), ((24),63), ((-101),64), ((34),65), ((-24),66), ((-5),67), ((-13),68), ((-80),69), ((-4),70), ((-9),71), ((-36),72), ((-27),73), ((-18),74)], (-59)), ("GEQ", [((-140),0), ((179),1), ((3),2), ((-86),3), ((-25),4), ((-96),5), ((-67),6), ((8),7), ((-124),8), ((-209),9), ((-16),10), ((125),11), ((18),12), ((-133),13), ((-12),14), ((12),15), ((50),16), ((204),17), ((110),18), ((-10),19), ((110),20), ((-42),21), ((-48),22), ((-27),23), ((-10),24), ((12),25), ((-39),26), ((72),27), ((-41),28), ((83),29), ((91),30), ((28),31), ((-51),32), ((53),33), ((-22),34), ((54),35), ((-38),36), ((-65),37), ((-141),38), ((82),39), ((63),40), ((-84),41), ((75),42), ((20),43), ((1),44), ((-32),45), ((176),46), ((-2),47), ((-36),48), ((8),49), ((-64),50), ((107),51), ((-143),52), ((144),53), ((-25),54), ((78),55), ((-67),56), ((27),57), ((-58),58), ((-64),59), ((103),60), ((3),61), ((43),62), ((-129),63), ((111),64), ((-22),65), ((-116),66), ((19),67), ((23),68), ((-55),69), ((128),70), ((151),71), ((-57),72), ((-17),73), ((40),74)], (-2109)), ("GEQ", [((-79),0), ((48),1), ((-48),2), ((122),3), ((-4),4), ((-25),5), ((-160),6), ((8),7), ((93),8), ((22),9), ((-202),10), ((-90),11), ((64),12), ((-9),13), ((45),14), ((-173),15), ((-149),16), ((-23),17), ((19),18), ((-59),19), ((6),20), ((-3),21), ((20),22), ((57),23), ((136),24), ((43),25), ((53),26), ((50),27), ((-30),28), ((22),29), ((49),30), ((85),31), ((-186),32), ((52),33), ((-79),34), ((-19),35), ((-116),36), ((-24),37), ((-157),38), ((-139),39), ((-55),40), ((59),41), ((39),42), ((105),43), ((10),44), ((-167),45), ((111),46), ((224),47), ((79),48), ((-15),49), ((8),50), ((85),51), ((-137),52), ((-254),53), ((-99),54), ((33),55), ((10),56), ((-95),57), ((-33),58), ((32),59), ((22),60), ((-83),61), ((79),62), ((-38),63), ((165),64), ((-65),65), ((48),66), ((19),67), ((47),68), ((155),69), ((46),70), ((-36),71), ((128),72), ((7),73), ((10),74)], (180)), ("GEQ", [((124),0), ((-201),1), ((-11),2), ((59),3), ((44),4), ((154),5), ((84),6), ((5),7), ((94),8), ((220),9), ((62),10), ((-58),11), ((-72),12), ((136),13), ((8),14), ((76),15), ((18),16), ((-173),17), ((-144),18), ((27),19), ((-117),20), ((57),21), ((64),22), ((55),23), ((-84),24), ((-26),25), ((-14),26), ((-96),27), ((5),28), ((-101),29), ((-62),30), ((-89),31), ((132),32), ((-61),33), ((66),34), ((-12),35), ((65),36), ((29),37), ((219),38), ((-57),39), ((-58),40), ((58),41), ((-132),42), ((-102),43), ((-24),44), ((109),45), ((-188),46), ((-74),47), ((-51),48), ((7),49), ((81),50), ((-117),51), ((197),52), ((-46),53), ((64),54), ((-43),55), ((67),56), ((-31),57), ((105),58), ((10),59), ((-90),60), ((28),61), ((-92),62), ((166),63), ((-172),64), ((49),65), ((119),66), ((-44),67), ((-16),68), ((-49),69), ((-168),70), ((-95),71), ((-18),72), ((35),73), ((-16),74)], (2036)), ("GEQ", [((-72),0), ((48),1), ((-21),2), ((48),3), ((-75),4), ((-120),5), ((-118),6), ((4),7), ((-44),8), ((-52),9), ((-126),10), ((-69),11), ((88),12), ((-55),13), ((-3),14), ((-127),15), ((-52),16), ((13),17), ((91),18), ((21),19), ((65),20), ((-75),21), ((-19),22), ((-24),23), ((139),24), ((5),25), ((51),26), ((-2),28), ((35),29), ((20),30), ((76),31), ((-108),32), ((30),33), ((-114),34), ((1),35), ((-122),36), ((23),37), ((-208),38), ((-71),39), ((-13),40), ((-18),41), ((119),42), ((64),43), ((58),44), ((-20),45), ((97),46), ((116),47), ((80),48), ((-6),49), ((-33),50), ((64),51), ((-113),52), ((-77),53), ((-39),54), ((-2),55), ((-11),56), ((-25),57), ((-19),58), ((-12),59), ((-3),60), ((-68),61), ((81),62), ((-123),63), ((125),64), ((-37),65), ((-39),66), ((11),67), ((-57),68), ((136),69), ((63),70), ((-5),71), ((64),72), ((41),73), ((-51),74)], (-98)), ("GEQ", [((-51),0), ((191),1), ((58),2), ((-71),3), ((-15),4), ((-133),5), ((-30),6), ((-76),7), ((-28),8), ((-177),9), ((-31),10), ((44),11), ((84),12), ((-157),13), ((-8),14), ((-91),15), ((-80),16), ((118),17), ((62),18), ((-75),19), ((74),20), ((-23),21), ((-105),22), ((-19),23), ((103),24), ((12),25), ((79),26), ((147),27), ((37),28), ((85),29), ((37),30), ((85),31), ((-186),32), ((32),33), ((-8),34), ((-79),35), ((5),36), ((-14),37), ((-158),38), ((99),39), ((71),40), ((-15),41), ((123),42), ((178),43), ((23),44), ((-183),45), ((139),46), ((103),47), ((94),48), ((-24),49), ((-49),50), ((78),51), ((-201),52), ((-52),53), ((-107),54), ((9),55), ((-63),56), ((50),57), ((-165),58), ((98),59), ((72),60), ((86),62), ((-122),63), ((132),64), ((-88),65), ((-89),66), ((83),67), ((72),68), ((120),69), ((179),70), ((51),71), ((78),72), ((-86),73), ((-3),74)], (-2369))]
[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]