[("GEQ", [((-2),1), ((1),2), ((-1),4), ((2),6), ((1),7), ((1),8), ((2),12), ((1),13), ((-2),14), ((1),17), ((1),18), ((-2),19), ((-1),20), ((2),22), ((-2),23), ((-1),24), ((-1),25), ((2),28), ((2),30), ((1),32), ((2),33), ((-2),36), ((-1),37), ((-1),38), ((-2),39), ((-2),40), ((1),41), ((-2),42), ((-1),43), ((2),45), ((2),46), ((2),47), ((1),49), ((2),50), ((1),53), ((-1),54), ((-2),55), ((1),63), ((-2),64), ((-2),65), ((-1),67), ((-1),69), ((1),70), ((-1),71), ((-2),73), ((2),74)], (-33)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-2),4), ((2),8), ((-2),9), ((-1),10), ((2),12), ((1),14), ((1),16), ((1),17), ((1),24), ((1),25), ((-2),26), ((-2),27), ((2),28), ((1),29), ((-1),30), ((-2),31), ((-1),34), ((1),35), ((2),37), ((1),38), ((-1),39), ((-1),42), ((2),44), ((2),45), ((1),47), ((2),48), ((2),50), ((2),53), ((-2),55), ((1),56), ((2),57), ((1),58), ((-2),59), ((-2),60), ((-1),62), ((-1),63), ((-1),64), ((1),66), ((1),67), ((-1),68), ((2),69), ((-1),70), ((-2),71)], (5)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((-1),4), ((1),5), ((-2),6), ((2),7), ((2),8), ((2),10), ((2),11), ((-1),15), ((1),18), ((1),22), ((-2),25), ((-1),29), ((1),30), ((2),32), ((-1),34), ((-2),36), ((2),38), ((-1),39), ((-2),40), ((-2),42), ((1),44), ((-1),46), ((1),47), ((2),49), ((1),51), ((-1),53), ((-1),54), ((-1),57), ((-2),58), ((2),59), ((1),60), ((2),62), ((1),64), ((-1),68), ((-1),69), ((-2),71), ((-2),72), ((2),73), ((2),74)], (-12)), ("GEQ", [((-1),0), ((2),1), ((-1),3), ((1),4), ((-1),5), ((1),7), ((2),8), ((2),9), ((-2),12), ((-2),15), ((2),17), ((1),18), ((1),19), ((-2),20), ((2),21), ((-2),23), ((-2),24), ((-1),26), ((1),27), ((2),28), ((2),29), ((2),30), ((1),32), ((-2),33), ((1),34), ((1),36), ((2),41), ((1),42), ((-2),43), ((-2),44), ((2),45), ((-1),46), ((-2),48), ((2),52), ((2),53), ((-2),54), ((-2),55), ((2),58), ((1),59), ((-1),60), ((2),61), ((1),66), ((-2),68), ((-2),69), ((-2),71), ((2),72), ((-2),73)], (-14)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-1),4), ((-1),5), ((-2),7), ((-2),8), ((2),11), ((2),16), ((1),18), ((1),21), ((1),24), ((-1),25), ((-1),26), ((2),27), ((-1),29), ((2),31), ((-1),34), ((1),36), ((1),37), ((2),39), ((1),41), ((-2),43), ((1),44), ((2),45), ((-1),49), ((1),50), ((-2),51), ((2),52), ((1),55), ((-1),57), ((-1),58), ((-2),60), ((-2),62), ((1),63), ((-1),64), ((2),66), ((-1),67), ((-2),70), ((1),72), ((2),73)], (10)), ("GEQ", [((2),0), ((2),1), ((1),2), ((-2),4), ((2),5), ((-1),6), ((-2),8), ((-2),9), ((-2),10), ((-2),13), ((1),15), ((-2),18), ((2),19), ((1),20), ((1),21), ((-2),22), ((1),23), ((1),24), ((-1),25), ((2),26), ((2),27), ((2),28), ((1),29), ((2),30), ((-1),31), ((2),33), ((2),36), ((2),37), ((1),38), ((-2),42), ((-2),43), ((2),44), ((1),45), ((-1),48), ((1),49), ((2),51), ((-2),52), ((1),53), ((2),54), ((-1),56), ((1),57), ((-1),58), ((1),59), ((-2),61), ((-1),63), ((-2),64), ((-2),66), ((-2),67), ((-2),68), ((-2),70), ((-1),72)], (1)), ("GEQ", [((-2),2), ((2),4), ((2),5), ((1),6), ((-1),10), ((-2),12), ((-1),14), ((-1),15), ((1),20), ((2),21), ((1),23), ((1),25), ((-1),26), ((-2),29), ((-1),31), ((-1),33), ((1),34), ((-1),35), ((-1),41), ((-2),45), ((1),46), ((2),48), ((1),50), ((-1),51), ((1),52), ((-1),53), ((2),56), ((-2),58), ((2),59), ((2),62), ((-2),63), ((2),65), ((2),66), ((-2),68), ((-2),69), ((-2),70), ((1),73)], (19)), ("GEQ", [((2),1), ((1),2), ((-1),3), ((-1),4), ((-2),7), ((-2),9), ((1),11), ((1),12), ((-2),13), ((1),15), ((-2),17), ((-1),18), ((-1),19), ((1),21), ((-2),24), ((-2),25), ((-1),26), ((1),27), ((1),28), ((1),29), ((-1),31), ((2),32), ((2),33), ((2),35), ((2),38), ((2),39), ((-2),40), ((-1),43), ((-1),44), ((1),45), ((-1),46), ((-2),47), ((-1),48), ((-2),50), ((2),55), ((2),56), ((2),57), ((1),59), ((1),60), ((-2),61), ((-2),62), ((1),64), ((2),65), ((1),66), ((1),67), ((1),68), ((2),70), ((1),73)], (12)), ("GEQ", [((-2),1), ((-2),3), ((2),4), ((2),6), ((1),8), ((2),10), ((1),12), ((1),16), ((1),17), ((-2),18), ((1),21), ((-1),22), ((-1),23), ((-1),24), ((1),26), ((2),28), ((-2),29), ((-2),33), ((-1),34), ((2),35), ((-1),40), ((1),42), ((1),44), ((1),47), ((1),48), ((-2),51), ((2),54), ((2),55), ((-1),56), ((2),58), ((1),59), ((-2),61), ((-2),62), ((-2),63), ((-2),64), ((1),65), ((2),66), ((-1),70)], (-19)), ("GEQ", [((2),1), ((-1),3), ((-1),4), ((1),6), ((-2),7), ((2),11), ((-1),14), ((-1),19), ((1),21), ((1),22), ((-2),25), ((1),26), ((1),27), ((2),28), ((-1),29), ((-2),30), ((2),31), ((-1),36), ((2),38), ((2),39), ((-2),41), ((1),42), ((-1),43), ((1),44), ((1),45), ((-2),51), ((-1),52), ((1),54), ((2),55), ((-2),56), ((1),57), ((-2),58), ((-1),59), ((-2),61), ((2),62), ((-2),64), ((2),65), ((-2),67), ((2),71), ((2),72), ((-1),73)], (18)), ("GEQ", [((1),0), ((-1),1), ((2),3), ((1),6), ((-2),8), ((2),9), ((1),10), ((1),11), ((-2),12), ((1),13), ((2),14), ((-2),15), ((1),16), ((-1),17), ((2),20), ((2),21), ((2),23), ((-1),24), ((-1),25), ((1),26), ((1),28), ((1),29), ((2),30), ((1),31), ((-2),33), ((-1),34), ((2),35), ((2),36), ((1),38), ((1),39), ((-1),41), ((2),42), ((-1),43), ((1),45), ((-2),48), ((2),50), ((2),51), ((2),58), ((1),60), ((-1),63), ((1),67), ((2),68), ((1),69), ((-1),70), ((1),71), ((-2),72), ((-1),73), ((-2),74)], (7)), ("GEQ", [((-1),1), ((2),3), ((1),4), ((-1),5), ((-2),7), ((2),8), ((1),9), ((-2),11), ((1),12), ((-1),14), ((-2),15), ((2),16), ((-1),17), ((1),21), ((-2),23), ((-1),24), ((-2),25), ((-1),30), ((2),31), ((-2),32), ((1),33), ((1),34), ((-1),35), ((1),36), ((-1),37), ((1),38), ((1),40), ((1),41), ((2),42), ((-2),43), ((-1),45), ((-2),47), ((-2),48), ((2),49), ((-1),51), ((-1),56), ((-1),57), ((1),61), ((2),62), ((-1),63), ((-1),64), ((2),65), ((2),66), ((-2),67), ((2),70), ((-2),72), ((-1),73), ((2),74)], (36)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((-1),3), ((-2),6), ((-1),8), ((1),10), ((1),11), ((-2),12), ((-1),13), ((-1),15), ((1),19), ((1),21), ((2),22), ((-1),28), ((-2),29), ((-1),30), ((-2),31), ((-1),32), ((-2),33), ((-1),34), ((1),35), ((-1),36), ((1),37), ((-1),39), ((-1),40), ((-2),44), ((-2),45), ((-2),46), ((2),47), ((-1),48), ((1),52), ((1),53), ((2),55), ((2),58), ((1),61), ((2),64), ((-1),67), ((-1),69), ((-1),71), ((2),72), ((-1),74)], (4)), ("GEQ", [((2),0), ((-1),2), ((-1),3), ((-1),6), ((-1),8), ((-1),9), ((2),10), ((1),11), ((2),12), ((1),13), ((-1),14), ((1),16), ((-1),17), ((1),19), ((-1),20), ((2),21), ((-2),22), ((1),25), ((-1),26), ((2),28), ((-2),33), ((-2),38), ((2),46), ((-1),48), ((-2),49), ((-2),50), ((-2),51), ((1),53), ((-2),54), ((-1),57), ((1),59), ((-2),61), ((-1),63), ((2),64), ((-1),67), ((-2),68), ((-1),69), ((-2),70), ((-1),72), ((-2),73)], (13)), ("GEQ", [((-2),1), ((-1),3), ((-2),5), ((2),6), ((-1),10), ((-2),15), ((-2),16), ((2),19), ((-1),20), ((2),23), ((-2),24), ((2),25), ((-1),26), ((-1),28), ((2),29), ((-2),30), ((1),36), ((2),37), ((1),40), ((2),42), ((-1),43), ((-2),45), ((1),48), ((-2),49), ((2),50), ((1),51), ((2),52), ((-2),54), ((-2),55), ((-1),56), ((1),59), ((-2),62), ((2),63), ((-1),64), ((1),65), ((1),66), ((-1),67), ((-2),69), ((1),70), ((-2),71), ((-1),73)], (-2)), ("GEQ", [((1),2), ((1),3), ((-2),7), ((-2),9), ((2),14), ((1),15), ((2),16), ((2),17), ((1),19), ((1),20), ((-2),21), ((2),22), ((1),27), ((2),29), ((-2),30), ((1),31), ((1),32), ((2),33), ((1),34), ((2),35), ((2),37), ((-1),38), ((1),39), ((-2),40), ((1),46), ((2),48), ((1),49), ((2),50), ((1),51), ((-2),52), ((-1),56), ((-2),57), ((-1),61), ((1),64), ((-1),65), ((1),67), ((-1),69), ((2),70)], (17)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((1),3), ((2),4), ((1),8), ((-2),9), ((-1),10), ((2),12), ((1),13), ((2),17), ((-2),18), ((-2),19), ((-1),23), ((1),29), ((1),30), ((-2),31), ((2),32), ((-1),34), ((2),36), ((-1),37), ((2),38), ((-2),39), ((2),40), ((1),41), ((-1),43), ((-2),46), ((-2),49), ((-2),54), ((2),55), ((2),57), ((-1),59), ((2),60), ((2),61), ((-1),62), ((2),66), ((-1),67), ((-2),68), ((-1),69), ((-2),70), ((-2),72), ((2),74)], (-36)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),3), ((-2),6), ((2),11), ((2),13), ((-2),14), ((-1),16), ((1),17), ((2),18), ((2),19), ((-1),21), ((-1),22), ((2),24), ((1),25), ((-1),26), ((1),27), ((-1),30), ((1),31), ((-2),32), ((2),33), ((2),37), ((-2),38), ((-1),40), ((-1),42), ((1),43), ((2),44), ((-1),45), ((1),46), ((-1),51), ((2),52), ((2),53), ((1),54), ((-2),57), ((-1),60), ((1),61), ((-1),62), ((-1),63), ((-2),64), ((-2),65), ((-2),66), ((-2),67), ((-1),69), ((1),70), ((-1),72), ((-1),74)], (33)), ("GEQ", [((-2),2), ((-2),3), ((-2),4), ((-2),5), ((-1),6), ((2),7), ((1),9), ((1),10), ((2),11), ((2),16), ((-2),17), ((-1),18), ((-2),19), ((-1),21), ((-1),22), ((-2),23), ((-2),24), ((2),25), ((1),27), ((-1),28), ((1),30), ((-2),32), ((-2),34), ((-2),35), ((1),37), ((2),40), ((1),41), ((-1),42), ((-1),43), ((-2),44), ((-1),45), ((-2),46), ((2),47), ((2),50), ((-1),51), ((-2),52), ((1),53), ((-1),55), ((1),57), ((1),58), ((2),59), ((2),61), ((-1),64), ((2),66), ((2),68), ((1),70), ((2),71), ((2),72), ((-2),73)], (17)), ("GEQ", [((2),1), ((2),2), ((2),3), ((1),4), ((-2),5), ((-2),7), ((2),9), ((-1),10), ((-1),11), ((1),13), ((1),14), ((2),16), ((-1),17), ((-1),20), ((-2),21), ((-1),24), ((-2),25), ((2),26), ((-2),27), ((-1),28), ((-2),29), ((2),32), ((-1),33), ((1),34), ((-2),35), ((2),37), ((1),39), ((2),40), ((-1),42), ((-1),44), ((2),45), ((-1),48), ((-1),49), ((-2),51), ((2),53), ((1),54), ((1),56), ((-2),57), ((1),58), ((1),59), ((-1),61), ((1),62), ((-2),63), ((1),64), ((-1),65), ((-2),66), ((1),67), ((2),69), ((1),71), ((1),72), ((2),73)], (23)), ("GEQ", [((-1),1), ((-1),6), ((-1),7), ((1),9), ((-1),10), ((-1),12), ((2),13), ((-2),14), ((-1),15), ((-2),17), ((-1),18), ((-2),20), ((2),22), ((-2),24), ((-1),26), ((2),30), ((2),31), ((-2),33), ((-2),34), ((-1),35), ((-2),37), ((-1),39), ((1),40), ((-1),42), ((-2),43), ((-1),44), ((-2),45), ((1),46), ((-1),47), ((2),49), ((-2),50), ((2),51), ((-2),52), ((1),53), ((-1),54), ((-2),55), ((-2),56), ((1),59), ((-2),60), ((-2),62), ((-1),64), ((1),66), ((2),68), ((1),70), ((-2),73), ((2),74)], (13)), ("GEQ", [((1),1), ((-1),3), ((-1),4), ((-1),5), ((1),6), ((1),7), ((-2),10), ((-1),14), ((2),15), ((-2),19), ((1),22), ((1),25), ((1),29), ((-2),31), ((-2),35), ((-2),36), ((-2),37), ((1),38), ((-1),39), ((2),41), ((2),42), ((1),44), ((-2),46), ((-2),48), ((-1),49), ((-1),50), ((-1),51), ((2),52), ((-2),53), ((2),54), ((1),55), ((-1),58), ((-2),59), ((-1),60), ((1),61), ((2),62), ((2),63), ((1),66), ((-1),74)], (-8)), ("GEQ", [((-1),2), ((2),3), ((1),4), ((-2),5), ((1),7), ((-1),9), ((1),10), ((2),12), ((-2),13), ((1),17), ((-1),18), ((1),19), ((-1),20), ((2),21), ((2),23), ((-1),24), ((-1),25), ((-2),26), ((2),27), ((2),28), ((-1),29), ((1),30), ((-2),32), ((2),34), ((-1),35), ((-2),36), ((2),38), ((2),39), ((1),41), ((-1),43), ((-2),45), ((2),47), ((-2),48), ((2),49), ((-1),50), ((1),51), ((1),54), ((-2),55), ((2),59), ((1),62), ((-1),63), ((2),64), ((-2),65), ((2),67), ((2),68), ((-2),69), ((-1),70), ((1),71), ((1),72), ((1),73)], (19)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((2),3), ((-2),5), ((1),6), ((1),8), ((1),10), ((-1),13), ((-2),14), ((2),16), ((-2),17), ((-1),18), ((2),19), ((2),20), ((-2),21), ((2),22), ((1),23), ((1),24), ((-1),26), ((2),27), ((2),29), ((2),30), ((2),32), ((1),33), ((1),34), ((-1),35), ((-2),36), ((1),37), ((-1),40), ((2),41), ((1),42), ((-2),44), ((-1),45), ((-1),48), ((-2),50), ((1),52), ((-1),53), ((-2),54), ((1),55), ((1),56), ((2),58), ((-2),59), ((-1),64), ((2),65), ((-2),68), ((2),69), ((1),72)], (6)), ("GEQ", [((1),2), ((-1),3), ((1),4), ((1),7), ((2),10), ((1),11), ((2),12), ((1),15), ((-1),16), ((2),17), ((-1),18), ((1),20), ((-2),22), ((-1),23), ((1),24), ((-1),28), ((1),30), ((-2),31), ((2),33), ((-1),34), ((-2),36), ((2),37), ((-2),38), ((-1),39), ((-1),41), ((2),42), ((-2),46), ((-2),47), ((-2),49), ((-1),50), ((-2),53), ((-1),54), ((-1),55), ((2),57), ((2),60), ((-2),61), ((2),62), ((2),66), ((1),67), ((-2),68), ((-1),69), ((-1),70), ((1),72), ((-1),73), ((1),74)], (-1)), ("GEQ", [((2),0), ((-1),1), ((-1),3), ((-1),4), ((-1),5), ((-1),7), ((1),8), ((-2),9), ((1),11), ((2),12), ((-1),13), ((-1),14), ((1),15), ((-1),16), ((-1),17), ((2),18), ((-1),20), ((-2),23), ((2),25), ((1),26), ((1),30), ((-2),31), ((-1),33), ((-1),34), ((2),35), ((2),37), ((1),38), ((1),39), ((-2),41), ((-1),42), ((2),48), ((1),49), ((-2),50), ((-1),52), ((-2),53), ((1),54), ((1),56), ((1),58), ((-2),59), ((-2),60), ((-2),61), ((1),64), ((1),65), ((-2),68), ((-2),70), ((-1),71)], (-27)), ("GEQ", [((-2),0), ((2),4), ((-1),5), ((-2),6), ((-1),8), ((-1),9), ((-2),10), ((-2),13), ((-1),15), ((1),18), ((-2),21), ((-2),23), ((2),24), ((1),26), ((-1),28), ((2),31), ((1),32), ((2),33), ((1),36), ((-2),37), ((1),40), ((1),41), ((2),44), ((-1),45), ((-2),47), ((1),48), ((2),49), ((-1),50), ((1),51), ((1),52), ((-1),55), ((-1),56), ((2),57), ((-2),58), ((-2),59), ((-2),60), ((1),61), ((-1),62), ((2),63), ((-2),65), ((2),67), ((-1),70), ((-2),72), ((-2),74)], (-16)), ("GEQ", [((1),2), ((-2),3), ((-2),4), ((-1),5), ((2),7), ((1),9), ((1),10), ((2),12), ((-2),13), ((-2),15), ((-1),17), ((-2),19), ((1),20), ((-2),23), ((2),24), ((-2),25), ((-2),30), ((2),31), ((-2),32), ((1),34), ((-1),35), ((2),37), ((-2),38), ((-1),40), ((1),42), ((1),46), ((-1),47), ((-2),48), ((1),49), ((-1),50), ((-2),51), ((-2),52), ((1),57), ((1),58), ((2),60), ((2),61), ((-1),63), ((2),65), ((2),66), ((2),67), ((-1),68), ((-2),69), ((1),71), ((-1),73), ((-2),74)], (36)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((1),8), ((1),12), ((1),14), ((1),15), ((-2),16), ((1),19), ((-2),20), ((2),21), ((-2),22), ((-2),24), ((2),25), ((-1),26), ((1),27), ((1),28), ((-1),29), ((-1),30), ((1),31), ((-1),34), ((2),35), ((-2),37), ((2),40), ((2),41), ((-2),43), ((-1),45), ((2),46), ((-2),47), ((-1),49), ((-2),50), ((-2),51), ((2),53), ((-2),55), ((-1),57), ((-1),58), ((1),59), ((2),64), ((1),65), ((-1),67), ((-2),68), ((-2),69), ((-2),71), ((-2),72), ((-2),73), ((1),74)], (-14)), ("GEQ", [((2),0), ((-2),2), ((-1),3), ((2),4), ((1),5), ((-2),6), ((1),7), ((-2),8), ((-2),11), ((1),13), ((2),16), ((-2),17), ((2),18), ((2),19), ((2),20), ((-2),22), ((1),25), ((-2),27), ((1),28), ((-2),29), ((1),30), ((1),31), ((1),33), ((2),37), ((-2),39), ((2),40), ((1),43), ((1),44), ((1),45), ((-1),46), ((2),47), ((-1),49), ((1),50), ((-2),51), ((2),52), ((-2),53), ((-2),57), ((2),59), ((2),62), ((2),65), ((-1),67), ((-1),68), ((1),70), ((1),72), ((2),73)], (-15)), ("GEQ", [((-1),0), ((1),7), ((2),8), ((2),9), ((2),10), ((-1),13), ((-1),15), ((2),16), ((-2),18), ((2),19), ((2),20), ((2),21), ((-1),22), ((2),23), ((1),24), ((1),25), ((-1),27), ((1),28), ((-2),29), ((1),31), ((-2),32), ((2),33), ((-1),34), ((-2),37), ((-1),39), ((-1),40), ((-2),42), ((-2),43), ((1),47), ((2),48), ((1),50), ((2),54), ((-1),58), ((-2),59), ((1),60), ((1),61), ((-2),62), ((1),64), ((2),66), ((2),67), ((2),68), ((-2),69), ((-1),70), ((1),71)], (11)), ("GEQ", [((-2),0), ((-1),1), ((-2),5), ((-1),6), ((1),7), ((1),8), ((2),9), ((2),10), ((2),11), ((-2),12), ((1),13), ((1),15), ((-2),16), ((1),19), ((1),20), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((-2),25), ((2),26), ((1),27), ((-2),30), ((-2),35), ((-2),36), ((-2),37), ((-2),39), ((-1),41), ((2),43), ((-2),44), ((2),46), ((2),47), ((1),51), ((1),52), ((-1),53), ((-1),56), ((-1),59), ((1),61), ((-2),63), ((-2),68), ((2),69), ((2),70), ((-2),71), ((-1),72), ((2),73)], (-10)), ("GEQ", [((1),1), ((2),3), ((-2),8), ((2),9), ((-2),11), ((1),12), ((-2),13), ((-1),14), ((-1),15), ((1),16), ((-1),18), ((-2),20), ((2),23), ((2),24), ((-1),27), ((-2),28), ((-2),31), ((-1),32), ((2),34), ((2),36), ((1),37), ((2),39), ((2),40), ((2),45), ((-2),46), ((-1),48), ((2),50), ((2),53), ((1),54), ((-2),56), ((-2),57), ((-2),58), ((-1),60), ((2),61), ((1),62), ((1),64), ((1),66), ((2),67), ((-2),70), ((2),72), ((-1),73)], (9)), ("GEQ", [((2),2), ((-1),4), ((-2),5), ((-1),6), ((-2),7), ((-1),9), ((1),11), ((1),12), ((2),13), ((1),14), ((-2),16), ((2),18), ((2),19), ((-1),23), ((2),26), ((-1),27), ((-2),28), ((1),29), ((1),31), ((-1),32), ((-1),33), ((-1),36), ((-1),37), ((-2),38), ((-1),39), ((2),40), ((-2),41), ((2),52), ((-1),56), ((1),57), ((2),62), ((-1),64), ((2),66), ((-2),68), ((-2),69), ((1),71), ((2),72), ((1),73), ((-1),74)], (4)), ("GEQ", [((-1),2), ((-2),4), ((2),6), ((2),7), ((2),8), ((1),9), ((-2),10), ((-1),13), ((2),14), ((1),15), ((2),16), ((2),18), ((2),22), ((-1),23), ((-1),24), ((-2),25), ((2),28), ((2),29), ((1),32), ((-2),33), ((-2),34), ((2),35), ((1),36), ((-1),38), ((1),39), ((1),41), ((-1),49), ((1),52), ((2),53), ((-1),55), ((1),56), ((-1),57), ((-1),58), ((1),60), ((1),61), ((1),63), ((-1),64), ((1),65), ((-1),67), ((1),68), ((-1),70), ((-1),72), ((1),74)], (-3)), ("GEQ", [((-2),2), ((2),3), ((2),4), ((-1),5), ((-2),6), ((-1),7), ((1),8), ((2),10), ((-1),11), ((1),16), ((-1),19), ((-2),20), ((2),23), ((-1),26), ((-1),27), ((-1),28), ((1),29), ((-2),31), ((-2),33), ((1),35), ((2),36), ((-2),39), ((-1),40), ((2),44), ((-1),45), ((2),47), ((1),49), ((-2),50), ((1),52), ((-2),53), ((-1),54), ((-2),56), ((1),58), ((2),59), ((-1),62), ((-1),63), ((-2),65), ((1),66), ((2),67), ((1),68), ((1),70), ((-1),71), ((-2),73)], (31)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-2),4), ((-1),6), ((1),9), ((-1),10), ((1),11), ((-1),14), ((-2),17), ((2),18), ((1),19), ((-1),20), ((2),22), ((-1),24), ((2),25), ((2),26), ((-2),27), ((-2),28), ((-1),29), ((-1),30), ((1),32), ((1),34), ((-1),36), ((1),37), ((-2),38), ((-1),41), ((-2),45), ((-1),46), ((1),47), ((-2),49), ((-2),50), ((1),51), ((1),53), ((-2),54), ((1),55), ((-1),58), ((1),60), ((1),62), ((2),63), ((2),64), ((-2),65), ((-1),66), ((1),68), ((1),70), ((2),71), ((-2),72), ((1),73), ((-1),74)], (-9)), ("GEQ", [((2),0), ((-1),1), ((1),3), ((-2),4), ((-1),6), ((-1),9), ((-2),10), ((2),12), ((-2),15), ((2),16), ((1),17), ((-1),18), ((-2),23), ((1),27), ((1),28), ((2),32), ((1),33), ((2),34), ((1),35), ((2),36), ((-2),38), ((-1),41), ((-1),42), ((1),43), ((1),45), ((2),46), ((-2),48), ((-2),49), ((-2),50), ((2),51), ((-2),53), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((-2),59), ((-2),61), ((1),62), ((1),63), ((-2),66), ((1),67), ((-1),69), ((-2),73)], (-5)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((-2),4), ((-2),5), ((2),6), ((-1),7), ((-2),8), ((1),10), ((-1),11), ((1),13), ((1),14), ((-1),15), ((1),18), ((1),19), ((-1),21), ((2),22), ((-2),23), ((-1),24), ((-1),26), ((-2),27), ((-1),29), ((-2),32), ((2),33), ((-1),37), ((-1),38), ((-2),39), ((-1),42), ((-2),44), ((-1),45), ((1),46), ((-1),47), ((2),49), ((-2),50), ((-2),52), ((-2),53), ((-2),54), ((1),55), ((1),56), ((2),57), ((2),60), ((-2),61), ((2),64), ((2),65), ((1),67), ((1),70), ((2),71), ((-2),73), ((2),74)], (-8)), ("GEQ", [((-1),0), ((2),1), ((1),2), ((-1),5), ((-2),7), ((2),8), ((2),9), ((-2),10), ((-1),13), ((-1),14), ((-1),15), ((1),17), ((2),19), ((1),22), ((2),25), ((-2),29), ((1),31), ((-1),33), ((-1),37), ((1),38), ((-1),39), ((-1),40), ((-2),41), ((-1),42), ((2),43), ((-1),47), ((1),52), ((1),53), ((2),54), ((-2),55), ((-2),57), ((-1),59), ((2),61), ((1),62), ((1),64), ((2),65), ((-2),66), ((2),67), ((-1),68), ((1),69), ((1),70), ((2),71), ((-1),73)], (-14)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-2),4), ((1),5), ((-2),6), ((-2),7), ((1),8), ((2),9), ((1),10), ((1),12), ((-1),13), ((-1),15), ((-2),18), ((-2),20), ((-1),21), ((-2),25), ((1),26), ((-1),28), ((-1),31), ((2),32), ((1),33), ((-1),35), ((1),36), ((2),43), ((-2),45), ((1),46), ((-1),47), ((2),48), ((-1),50), ((-1),53), ((2),55), ((1),56), ((-2),57), ((1),58), ((-1),59), ((-1),60), ((1),61), ((-1),63), ((-1),64), ((-1),66), ((-1),67), ((-2),68), ((-2),69), ((-2),70), ((-2),74)], (33)), ("GEQ", [((2),2), ((-1),3), ((-1),5), ((2),8), ((2),9), ((-2),11), ((1),12), ((2),13), ((-2),14), ((-2),16), ((1),17), ((-1),18), ((1),20), ((-2),21), ((-2),23), ((2),26), ((1),27), ((-1),28), ((-1),32), ((-2),33), ((2),34), ((-2),37), ((2),38), ((-2),39), ((1),42), ((1),43), ((-2),44), ((-1),45), ((1),46), ((2),48), ((2),51), ((2),52), ((2),53), ((2),54), ((-1),55), ((-2),56), ((-2),58), ((1),59), ((2),65), ((-1),67), ((-1),69), ((2),74)], (-42)), ("GEQ", [((-2),1), ((-1),2), ((2),5), ((1),7), ((1),8), ((1),9), ((-2),11), ((-1),13), ((-2),14), ((-2),15), ((1),17), ((1),20), ((-2),21), ((-1),22), ((-2),23), ((-1),26), ((2),27), ((-2),32), ((-1),33), ((2),34), ((-1),35), ((1),36), ((1),37), ((-1),38), ((-1),43), ((2),45), ((-1),48), ((-1),51), ((-1),55), ((2),56), ((-2),57), ((-2),59), ((-2),60), ((1),61), ((-1),62), ((1),63), ((1),65), ((-2),68), ((-2),71), ((2),72), ((1),73), ((-2),74)], (5)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((-2),4), ((-1),5), ((1),7), ((-2),8), ((1),9), ((-2),10), ((1),13), ((-2),16), ((-2),17), ((1),19), ((-2),20), ((1),22), ((-2),27), ((2),28), ((1),31), ((1),32), ((-1),33), ((-2),34), ((1),36), ((2),37), ((1),38), ((1),41), ((2),42), ((1),44), ((1),45), ((-1),46), ((-2),47), ((-1),50), ((2),51), ((2),52), ((-1),53), ((1),54), ((-1),56), ((-2),57), ((-1),60), ((-1),61), ((-1),63), ((-2),64), ((-1),65), ((2),68), ((1),69), ((-1),70), ((-1),71), ((-2),72), ((-1),73), ((-1),74)], (-6)), ("GEQ", [((-1),0), ((1),4), ((-1),5), ((1),8), ((-1),9), ((-1),10), ((-2),12), ((1),17), ((-1),18), ((-1),19), ((2),20), ((-1),21), ((-1),22), ((-1),23), ((2),24), ((1),25), ((1),27), ((2),29), ((1),31), ((1),32), ((-1),33), ((2),34), ((1),35), ((-1),37), ((2),38), ((-1),39), ((2),41), ((2),42), ((-2),48), ((-2),49), ((-2),50), ((-1),51), ((-2),52), ((1),53), ((1),54), ((1),57), ((-1),58), ((-2),59), ((-1),62), ((1),63), ((2),64), ((-2),65), ((-2),66), ((1),67), ((-1),68), ((2),69), ((-1),70), ((2),73)], (-25)), ("GEQ", [((-1),1), ((-1),2), ((-2),4), ((-2),5), ((2),7), ((2),8), ((-2),9), ((1),10), ((-2),11), ((-1),12), ((-2),13), ((2),14), ((2),15), ((-2),16), ((2),17), ((-2),18), ((1),19), ((2),22), ((1),24), ((-1),25), ((-2),27), ((2),28), ((2),29), ((-1),30), ((2),32), ((-2),33), ((2),35), ((-2),37), ((-2),39), ((2),40), ((-2),42), ((2),43), ((1),44), ((-1),45), ((-1),46), ((2),51), ((-1),53), ((2),54), ((-2),55), ((-1),56), ((-1),57), ((1),60), ((1),62), ((-2),64), ((2),65), ((1),66), ((-1),67), ((-1),68), ((-2),70), ((-2),71), ((1),74)], (-21)), ("GEQ", [((2),0), ((1),3), ((2),4), ((-1),5), ((1),6), ((-2),7), ((-2),8), ((-1),13), ((1),14), ((-1),18), ((1),19), ((2),20), ((-1),22), ((2),24), ((-2),25), ((-1),26), ((-1),27), ((1),29), ((2),31), ((-2),33), ((1),34), ((-1),36), ((2),37), ((1),38), ((1),39), ((1),40), ((-1),41), ((-2),43), ((-1),44), ((1),46), ((1),47), ((2),48), ((-2),50), ((-2),52), ((-2),55), ((1),56), ((-2),57), ((1),59), ((2),60), ((1),63), ((1),64), ((1),65), ((-2),67), ((-1),68), ((-1),70), ((1),74)], (9)), ("GEQ", [((-1),2), ((-1),3), ((2),5), ((-2),6), ((-1),9), ((1),10), ((2),11), ((-2),12), ((-1),16), ((-2),17), ((-1),18), ((-2),21), ((1),22), ((-1),24), ((2),28), ((2),30), ((-2),31), ((-2),32), ((-1),33), ((2),34), ((2),36), ((-2),38), ((-1),39), ((-1),40), ((2),41), ((-2),42), ((1),43), ((-1),44), ((-1),46), ((-1),47), ((2),48), ((2),55), ((1),56), ((2),59), ((2),60), ((2),62), ((-2),63), ((-1),64), ((-1),65), ((-2),66), ((-1),71), ((-1),72), ((2),73), ((-1),74)], (3)), ("GEQ", [((1),0), ((-2),2), ((2),3), ((2),4), ((2),7), ((1),8), ((1),10), ((-2),12), ((2),13), ((2),14), ((1),15), ((-2),16), ((1),18), ((1),22), ((1),24), ((-1),27), ((-1),28), ((2),29), ((-2),32), ((-2),35), ((2),36), ((1),37), ((-1),39), ((-2),40), ((-2),41), ((1),42), ((1),43), ((-1),44), ((2),45), ((1),46), ((-2),47), ((1),48), ((-2),49), ((1),50), ((-1),51), ((1),52), ((-1),53), ((-1),54), ((2),56), ((2),58), ((1),60), ((-2),61), ((-2),63), ((1),64), ((2),65), ((1),67), ((2),68), ((1),70), ((1),71), ((2),74)], (20)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-2),3), ((-1),6), ((1),7), ((1),11), ((2),12), ((-2),15), ((-2),18), ((1),20), ((1),21), ((-2),22), ((-1),23), ((1),24), ((1),28), ((-1),29), ((2),31), ((2),33), ((-1),34), ((-1),35), ((2),36), ((-2),38), ((-2),40), ((2),43), ((2),48), ((2),49), ((2),50), ((-1),51), ((-2),53), ((1),54), ((2),56), ((-1),57), ((-2),59), ((-1),60), ((1),63), ((-2),64), ((-1),65), ((1),66), ((-1),67), ((-2),68), ((1),69), ((-2),72), ((1),73), ((2),74)], (-7)), ("GEQ", [((1),8), ((-1),9), ((-1),11), ((1),12), ((-1),13), ((-2),15), ((1),16), ((-2),17), ((-1),20), ((-1),21), ((-2),22), ((-1),23), ((-1),25), ((1),27), ((1),28), ((2),29), ((1),32), ((-2),33), ((-1),34), ((2),35), ((-2),36), ((2),37), ((1),39), ((2),42), ((-1),43), ((-2),44), ((1),45), ((1),47), ((2),48), ((1),49), ((2),50), ((1),52), ((-1),53), ((1),56), ((-2),60), ((-1),61), ((-1),63), ((-1),64), ((2),67), ((-2),71), ((1),72), ((2),74)], (4)), ("GEQ", [((-1),0), ((-1),1), ((2),6), ((1),8), ((-2),10), ((1),11), ((-2),12), ((1),14), ((1),16), ((1),17), ((-1),18), ((-1),20), ((-1),22), ((-2),25), ((-1),26), ((2),27), ((-2),28), ((-1),29), ((-1),30), ((-1),35), ((-2),36), ((2),37), ((-2),39), ((1),40), ((2),41), ((2),42), ((2),43), ((-1),45), ((2),47), ((2),49), ((2),54), ((-1),56), ((1),57), ((2),58), ((2),60), ((-1),61), ((-2),63), ((-2),64), ((-2),65), ((2),66), ((1),67), ((-2),69), ((2),70), ((2),71), ((1),72), ((1),73), ((-1),74)], (43)), ("GEQ", [((-1),0), ((-2),1), ((-1),4), ((2),5), ((-2),6), ((-2),11), ((-1),13), ((-1),14), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((1),22), ((2),23), ((1),24), ((-2),25), ((2),27), ((1),28), ((2),29), ((-1),33), ((1),35), ((-2),36), ((-2),38), ((2),39), ((2),42), ((-1),43), ((-2),44), ((-1),45), ((-2),46), ((-1),48), ((1),49), ((-1),50), ((2),52), ((1),55), ((-1),56), ((-2),58), ((-2),59), ((-1),60), ((-2),61), ((-1),62), ((-2),63), ((-1),66), ((-2),69), ((-2),71), ((-2),72), ((1),73), ((1),74)], (39)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-2),3), ((1),6), ((2),8), ((-1),10), ((-1),11), ((-1),12), ((-2),14), ((1),16), ((2),18), ((-2),21), ((-2),22), ((-1),24), ((-2),26), ((2),27), ((1),28), ((2),30), ((2),34), ((1),35), ((-1),36), ((1),37), ((1),39), ((-1),41), ((2),43), ((1),44), ((-1),47), ((2),50), ((-1),53), ((2),54), ((1),55), ((-1),56), ((1),58), ((2),59), ((2),61), ((2),62), ((-1),64), ((2),65), ((1),66), ((-1),68), ((2),69), ((2),72), ((1),73), ((-2),74)], (-40)), ("GEQ", [((-2),1), ((-1),3), ((2),4), ((-2),5), ((-1),6), ((-2),9), ((-1),12), ((-1),13), ((-2),14), ((-1),17), ((-1),18), ((-1),19), ((-1),20), ((-1),23), ((1),24), ((-2),25), ((2),26), ((2),27), ((1),28), ((-1),29), ((-2),30), ((1),31), ((-2),32), ((-2),33), ((2),34), ((2),35), ((-2),36), ((-1),37), ((2),40), ((-1),41), ((-2),46), ((-1),47), ((2),49), ((-2),50), ((-2),51), ((-1),52), ((2),54), ((1),55), ((2),56), ((1),58), ((1),60), ((-2),61), ((1),62), ((-1),63), ((2),64), ((2),66), ((-1),67), ((2),68), ((-1),69), ((-2),71), ((2),73), ((2),74)], (-11)), ("GEQ", [((1),1), ((2),2), ((-2),4), ((-1),7), ((-1),9), ((2),12), ((2),13), ((-1),15), ((-1),17), ((2),18), ((-1),19), ((-2),20), ((2),27), ((-2),30), ((-1),32), ((-1),35), ((-1),40), ((2),41), ((1),42), ((-2),43), ((2),44), ((-2),47), ((2),49), ((-1),51), ((1),54), ((-2),59), ((-2),60), ((1),63), ((1),65), ((1),66), ((-2),69), ((-1),71), ((2),72), ((-1),73)], (31)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((1),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((-1),11), ((1),13), ((-1),15), ((-1),16), ((-2),17), ((2),20), ((1),23), ((1),24), ((-1),25), ((-1),27), ((1),28), ((-2),29), ((-2),30), ((-1),33), ((2),35), ((2),38), ((1),41), ((1),43), ((-1),44), ((2),45), ((-2),46), ((2),47), ((-2),50), ((2),52), ((-1),53), ((-1),54), ((1),55), ((1),56), ((2),57), ((-1),59), ((1),60), ((-1),61), ((-2),62), ((-1),64), ((2),65), ((-1),67), ((-1),68), ((2),69), ((-2),70), ((-1),71), ((-2),72), ((-2),74)], (-44)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((1),4), ((2),5), ((2),6), ((2),8), ((2),9), ((1),11), ((1),12), ((1),14), ((2),15), ((1),19), ((2),20), ((-1),21), ((1),22), ((1),23), ((2),24), ((1),26), ((-2),28), ((-1),29), ((-1),30), ((-1),31), ((1),33), ((1),35), ((-2),36), ((-1),37), ((-1),39), ((2),41), ((1),42), ((-2),43), ((-2),44), ((-1),45), ((1),46), ((1),47), ((-1),48), ((-1),49), ((1),50), ((-2),51), ((-2),52), ((-2),53), ((1),55), ((-1),56), ((-2),57), ((1),59), ((2),60), ((1),62), ((2),63), ((-1),64), ((-1),65), ((2),66), ((-1),67), ((-2),68), ((1),69), ((-2),70), ((1),73), ((2),74)], (-5)), ("GEQ", [((-2),1), ((1),3), ((-1),4), ((-1),5), ((1),8), ((-2),9), ((-1),12), ((1),14), ((-2),15), ((2),21), ((-1),26), ((-1),30), ((-2),31), ((-1),32), ((-1),37), ((-1),38), ((-1),39), ((-2),40), ((-1),41), ((-1),43), ((1),44), ((2),46), ((-2),47), ((-1),48), ((1),49), ((1),51), ((1),53), ((-1),54), ((1),55), ((1),56), ((-1),57), ((2),58), ((1),60), ((-1),61), ((1),62), ((1),63), ((1),64), ((2),66), ((1),67), ((1),68), ((-2),71), ((2),72), ((2),73)], (6)), ("GEQ", [((1),0), ((-2),3), ((2),4), ((-1),5), ((-1),8), ((-2),9), ((-1),10), ((-1),12), ((2),14), ((1),16), ((2),17), ((2),18), ((-1),19), ((-1),20), ((-2),21), ((1),22), ((-2),24), ((2),26), ((-1),28), ((-1),29), ((1),30), ((-1),31), ((1),32), ((-1),35), ((2),38), ((1),40), ((1),42), ((-2),43), ((1),45), ((1),46), ((2),47), ((1),49), ((1),50), ((-1),51), ((2),52), ((1),54), ((1),55), ((2),56), ((1),58), ((1),59), ((1),60), ((-1),61), ((1),62), ((-1),65), ((2),66), ((-1),69), ((1),70), ((2),71), ((1),72), ((-2),74)], (2)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),6), ((1),8), ((-2),9), ((1),10), ((-2),14), ((-2),17), ((1),18), ((-2),19), ((1),20), ((1),23), ((-2),25), ((-1),26), ((1),30), ((-2),34), ((2),35), ((-1),36), ((-1),37), ((1),39), ((1),40), ((-2),42), ((2),43), ((1),44), ((-1),48), ((-2),51), ((1),52), ((2),54), ((2),55), ((-2),56), ((2),58), ((-2),60), ((-2),63), ((-1),65), ((-1),69), ((2),70), ((-1),71), ((1),72), ((1),73)], (-15)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((1),3), ((2),4), ((1),5), ((2),6), ((-1),8), ((2),10), ((-2),11), ((2),12), ((2),15), ((2),16), ((1),18), ((-2),19), ((-1),20), ((2),21), ((-2),22), ((1),23), ((-2),24), ((1),26), ((1),29), ((2),31), ((-2),32), ((1),33), ((-1),36), ((-1),37), ((-1),38), ((-1),39), ((-2),40), ((1),41), ((-1),44), ((2),47), ((1),48), ((-2),49), ((-1),50), ((-1),55), ((1),57), ((-1),58), ((2),59), ((-2),61), ((1),62), ((2),67), ((1),69)], (-22)), ("GEQ", [((1),0), ((2),2), ((-2),5), ((-2),7), ((2),8), ((1),9), ((2),11), ((2),12), ((1),14), ((-2),15), ((-2),16), ((-1),17), ((1),18), ((2),19), ((-2),21), ((-1),22), ((2),23), ((-1),25), ((-1),27), ((-2),28), ((-2),30), ((1),31), ((-2),32), ((-2),36), ((1),37), ((1),40), ((1),41), ((-2),42), ((-2),43), ((-2),44), ((2),46), ((2),49), ((-2),50), ((-2),52), ((1),54), ((-2),55), ((-1),56), ((2),57), ((2),59), ((-2),61), ((2),63), ((-2),64), ((-1),65), ((-2),66), ((2),69), ((-1),70), ((2),71), ((-2),72), ((2),73), ((1),74)], (19)), ("GEQ", [((2),0), ((-1),1), ((1),4), ((1),6), ((-2),7), ((1),8), ((-2),9), ((2),10), ((-2),11), ((1),12), ((2),13), ((-2),14), ((1),16), ((2),18), ((1),19), ((-2),20), ((1),22), ((-1),23), ((1),24), ((-2),25), ((-2),27), ((1),28), ((-2),29), ((-2),30), ((-2),35), ((2),36), ((1),38), ((2),39), ((-2),41), ((2),42), ((-2),43), ((-1),46), ((1),47), ((-1),51), ((2),52), ((1),53), ((2),55), ((1),58), ((1),59), ((-1),60), ((-1),61), ((-1),62), ((2),63), ((-2),65), ((-2),67), ((2),68), ((2),69), ((-2),71), ((2),72), ((-1),73)], (7)), ("GEQ", [((-2),0), ((-2),2), ((-1),3), ((2),6), ((-2),7), ((-2),11), ((1),14), ((1),17), ((-1),18), ((2),21), ((-1),23), ((1),24), ((1),29), ((-1),30), ((-2),31), ((-1),33), ((2),34), ((-2),35), ((-2),36), ((2),38), ((2),44), ((2),46), ((1),52), ((2),54), ((2),55), ((2),56), ((1),57), ((-2),58), ((1),61), ((-1),62), ((-2),63), ((2),71), ((-1),72), ((-2),73), ((1),74)], (5)), ("GEQ", [((2),0), ((-1),1), ((-1),4), ((-2),5), ((-1),6), ((2),8), ((-1),10), ((-1),11), ((2),12), ((2),15), ((-1),16), ((-2),17), ((-2),18), ((1),19), ((-1),20), ((2),21), ((-1),22), ((-1),23), ((2),25), ((-2),26), ((1),27), ((2),31), ((-1),33), ((2),35), ((1),36), ((-2),37), ((2),38), ((-1),39), ((-1),41), ((1),44), ((-1),45), ((2),46), ((-2),52), ((1),53), ((2),57), ((2),58), ((2),59), ((1),60), ((1),62), ((-2),64), ((1),65), ((1),69), ((-1),71), ((2),72), ((-2),73), ((-2),74)], (-17)), ("GEQ", [((-2),2), ((-1),4), ((-2),7), ((-1),9), ((2),10), ((-2),11), ((1),12), ((-2),14), ((1),18), ((1),19), ((2),21), ((1),22), ((1),23), ((-2),26), ((1),27), ((-1),28), ((-2),32), ((-1),34), ((-1),35), ((2),40), ((1),41), ((1),42), ((-1),45), ((2),46), ((-2),54), ((1),55), ((-1),59), ((-2),60), ((1),63), ((2),64), ((-2),66), ((2),69), ((-2),70), ((1),71), ((1),72), ((2),73), ((2),74)], (-16)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((-2),3), ((2),4), ((2),7), ((1),9), ((1),10), ((2),11), ((2),13), ((2),16), ((1),19), ((1),21), ((-1),22), ((1),23), ((2),26), ((1),27), ((-2),28), ((1),29), ((-2),30), ((-2),31), ((-2),32), ((2),34), ((-1),36), ((1),37), ((-2),38), ((-1),39), ((2),40), ((-1),41), ((1),43), ((-2),44), ((-1),45), ((-2),46), ((-1),49), ((2),51), ((2),54), ((2),55), ((-2),56), ((-2),57), ((1),58), ((1),60), ((-1),63), ((-2),65), ((-1),66), ((-2),68), ((-1),69), ((2),71), ((2),74)], (-19)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((-1),3), ((-1),5), ((1),7), ((1),11), ((1),12), ((1),14), ((-1),15), ((2),16), ((2),19), ((1),21), ((-2),22), ((1),23), ((-1),24), ((1),25), ((-2),28), ((2),29), ((-2),30), ((2),32), ((-2),34), ((-2),35), ((-2),36), ((-2),38), ((2),39), ((-2),40), ((-2),42), ((-2),45), ((1),46), ((-2),50), ((-2),51), ((2),52), ((2),53), ((1),55), ((2),64), ((1),67), ((-1),68), ((-2),70), ((1),71), ((-1),72), ((-1),73), ((-2),74)], (-11)), ("GEQ", [((2),0), ((-1),6), ((2),7), ((-1),8), ((-1),10), ((-2),11), ((-2),12), ((1),14), ((-1),15), ((1),16), ((-1),20), ((-1),25), ((2),29), ((2),30), ((1),31), ((-1),33), ((2),37), ((2),38), ((2),40), ((2),41), ((1),42), ((-2),43), ((1),44), ((-2),45), ((-1),46), ((-2),48), ((-2),49), ((1),50), ((2),52), ((-1),57), ((-1),59), ((-2),62), ((2),65), ((2),67), ((1),69), ((-1),70), ((-2),73)], (12)), ("GEQ", [((-1),0), ((-2),2), ((2),3), ((-1),4), ((1),5), ((1),6), ((-1),7), ((-1),9), ((-1),10), ((2),11), ((-1),13), ((2),14), ((-2),15), ((1),16), ((1),17), ((2),18), ((2),19), ((-2),21), ((1),23), ((2),24), ((2),29), ((-2),31), ((-2),32), ((2),33), ((-1),34), ((-2),35), ((2),36), ((-1),37), ((2),38), ((2),41), ((-2),42), ((-1),44), ((2),45), ((1),48), ((1),49), ((2),50), ((1),51), ((2),52), ((2),53), ((2),54), ((2),55), ((-1),56), ((-1),59), ((1),64), ((1),65), ((1),66), ((2),69), ((1),71), ((-1),73), ((-1),74)], (-9)), ("GEQ", [((-1),2), ((-2),3), ((-2),4), ((1),5), ((1),6), ((1),7), ((1),8), ((1),10), ((-2),11), ((1),12), ((-1),16), ((-1),20), ((-1),21), ((-2),22), ((-2),23), ((-2),25), ((-2),27), ((2),28), ((-1),31), ((-1),33), ((2),35), ((2),36), ((-1),38), ((-1),39), ((1),42), ((1),46), ((1),47), ((-1),48), ((-1),49), ((1),51), ((2),53), ((1),56), ((-1),57), ((2),58), ((1),60), ((1),63), ((1),65), ((-1),67), ((2),70), ((-1),71), ((-2),72), ((-2),73), ((-1),74)], (-9)), ("GEQ", [((1),1), ((-1),2), ((1),4), ((2),6), ((1),7), ((1),8), ((2),9), ((-2),10), ((-1),11), ((-2),13), ((1),14), ((-2),15), ((-2),20), ((2),21), ((1),24), ((1),25), ((-1),26), ((-1),27), ((-2),28), ((-2),29), ((-2),30), ((-1),32), ((2),33), ((2),35), ((2),36), ((-1),39), ((-2),43), ((1),44), ((2),48), ((-1),52), ((-2),57), ((-1),59), ((-2),61), ((-2),62), ((2),64), ((-1),66), ((1),68), ((1),70), ((-1),71)], (0)), ("GEQ", [((1),2), ((-2),5), ((1),6), ((1),7), ((-1),8), ((2),9), ((-1),12), ((-2),14), ((1),15), ((-2),16), ((-2),17), ((-2),18), ((-1),19), ((2),20), ((2),21), ((-1),23), ((-1),26), ((1),30), ((-1),31), ((-1),32), ((2),33), ((-1),35), ((1),36), ((2),38), ((-1),40), ((2),41), ((1),44), ((2),45), ((1),46), ((1),47), ((1),48), ((1),49), ((1),51), ((-2),52), ((-2),53), ((-1),54), ((2),58), ((2),60), ((1),61), ((2),62), ((2),65), ((1),66), ((1),68), ((1),69), ((2),70), ((-1),71), ((-1),72), ((2),73), ((2),74)], (-48)), ("GEQ", [((17),0), ((43),1), ((18),2), ((14),3), ((20),4), ((60),5), ((-13),6), ((-26),7), ((-55),8), ((13),9), ((-1),10), ((-9),11), ((-9),12), ((3),13), ((-22),14), ((45),15), ((-17),16), ((7),17), ((12),18), ((-31),19), ((15),20), ((-31),21), ((6),22), ((22),23), ((6),24), ((5),25), ((16),26), ((-18),27), ((9),28), ((-17),29), ((59),30), ((1),31), ((21),32), ((-1),33), ((-2),34), ((-17),35), ((12),36), ((-2),37), ((-15),38), ((39),39), ((-6),40), ((-38),41), ((2),42), ((28),43), ((36),45), ((-14),46), ((4),48), ((-1),49), ((30),50), ((25),51), ((-25),52), ((-24),53), ((-25),54), ((-34),55), ((12),56), ((7),57), ((-29),58), ((10),59), ((-36),60), ((21),61), ((15),62), ((32),63), ((-18),64), ((-43),65), ((-54),66), ((-25),67), ((46),68), ((47),69), ((-4),70), ((8),71), ((5),72), ((28),73), ((2),74)], (-2)), ("GEQ", [((-63),0), ((-73),1), ((-26),2), ((-45),3), ((-26),4), ((-86),5), ((13),6), ((65),7), ((91),8), ((-7),9), ((6),10), ((24),11), ((-11),12), ((-16),13), ((55),14), ((-79),15), ((22),16), ((7),17), ((-27),18), ((28),19), ((-21),20), ((71),21), ((-19),22), ((-43),23), ((-29),24), ((9),25), ((-21),26), ((31),27), ((-58),28), ((-9),29), ((-96),30), ((23),31), ((-29),32), ((22),33), ((-9),34), ((49),35), ((-16),36), ((-31),37), ((17),38), ((-70),39), ((35),40), ((38),41), ((-29),42), ((-19),43), ((3),44), ((-65),45), ((-18),47), ((-20),48), ((-8),49), ((-39),50), ((-45),51), ((11),52), ((43),53), ((25),54), ((64),55), ((-26),56), ((25),57), ((58),58), ((-13),59), ((86),60), ((-11),61), ((-43),62), ((-43),63), ((39),64), ((77),65), ((93),66), ((58),67), ((-67),68), ((-92),69), ((24),70), ((33),71), ((14),72), ((-45),73), ((-27),74)], (-306)), ("GEQ", [((-65),0), ((-110),1), ((-45),2), ((-29),3), ((-69),4), ((-112),5), ((47),6), ((84),7), ((101),8), ((-46),9), ((-17),10), ((35),11), ((-8),12), ((-7),13), ((98),14), ((-91),15), ((4),16), ((-7),17), ((-31),18), ((70),19), ((-20),20), ((71),21), ((-10),22), ((-35),23), ((-25),24), ((26),25), ((-46),26), ((32),27), ((-47),28), ((62),29), ((-153),30), ((-9),31), ((-48),32), ((51),33), ((-1),34), ((35),35), ((-36),36), ((-2),37), ((30),38), ((-84),39), ((7),40), ((108),41), ((-22),42), ((-51),43), ((8),44), ((-101),45), ((26),46), ((-39),47), ((-10),48), ((-15),49), ((-56),50), ((-23),51), ((36),52), ((51),53), ((28),54), ((87),55), ((-18),56), ((19),57), ((51),58), ((-29),59), ((118),60), ((-41),61), ((-63),62), ((-56),63), ((39),64), ((87),65), ((96),66), ((66),67), ((-88),68), ((-99),69), ((23),70), ((12),71), ((-46),72), ((-61),73), ((-25),74)], (-194)), ("GEQ", [((39),0), ((100),1), ((53),2), ((32),3), ((77),4), ((85),5), ((-17),6), ((-60),7), ((-92),8), ((33),9), ((11),10), ((-7),11), ((-20),12), ((-1),13), ((-60),14), ((96),15), ((-6),16), ((46),17), ((21),18), ((-70),19), ((22),20), ((-39),21), ((45),22), ((40),23), ((8),24), ((4),25), ((25),26), ((-34),27), ((14),28), ((-70),29), ((110),30), ((2),31), ((40),32), ((-34),33), ((6),34), ((-41),35), ((13),36), ((-2),37), ((-26),38), ((57),39), ((-11),40), ((-101),41), ((7),42), ((62),43), ((2),44), ((69),45), ((-21),46), ((47),47), ((5),48), ((4),49), ((70),50), ((2),51), ((-56),52), ((-17),53), ((-46),54), ((-82),55), ((36),56), ((-13),57), ((-18),58), ((36),59), ((-65),60), ((54),61), ((64),62), ((51),63), ((-14),64), ((-74),65), ((-65),66), ((-55),67), ((77),68), ((60),69), ((8),70), ((17),71), ((65),72), ((65),73), ((16),74)], (246)), ("GEQ", [((9),0), ((-57),1), ((-48),2), ((-37),3), ((-83),4), ((-8),5), ((-36),6), ((7),7), ((36),8), ((6),9), ((-10),10), ((-42),11), ((50),12), ((42),13), ((-9),14), ((-65),15), ((-43),16), ((-113),17), ((28),18), ((66),19), ((-26),20), ((-36),21), ((-102),22), ((-40),23), ((34),24), ((-18),25), ((36),26), ((-7),27), ((30),28), ((48),29), ((-46),30), ((43),31), ((-36),34), ((70),35), ((49),36), ((3),37), ((-2),38), ((37),39), ((39),40), ((36),41), ((21),42), ((-38),43), ((-10),44), ((4),45), ((-15),46), ((-77),47), ((15),48), ((6),49), ((-68),50), ((42),51), ((59),52), ((-44),53), ((56),54), ((51),55), ((-83),56), ((3),57), ((-36),58), ((-63),59), ((-56),60), ((-46),61), ((-84),62), ((-9),63), ((-36),64), ((16),65), ((-39),66), ((-5),67), ((-14),68), ((39),69), ((-48),70), ((-65),71), ((-90),72), ((-63),73), ((-23),74)], (-662)), ("GEQ", [((-61),0), ((-7),1), ((19),2), ((68),3), ((69),4), ((-67),5), ((113),6), ((61),7), ((11),8), ((-109),9), ((-11),10), ((101),11), ((-97),12), ((-88),13), ((136),14), ((43),15), ((121),16), ((175),17), ((-86),18), ((-45),19), ((47),20), ((96),21), ((177),22), ((55),23), ((-88),24), ((32),25), ((-131),26), ((76),27), ((-61),28), ((75),29), ((-33),30), ((-151),31), ((-45),32), ((75),33), ((88),34), ((-145),35), ((-170),36), ((44),37), ((51),38), ((-150),39), ((-137),40), ((105),41), ((-25),42), ((-8),43), ((8),44), ((-121),45), ((74),46), ((109),47), ((-23),48), ((-14),49), ((40),50), ((-37),51), ((-12),52), ((82),53), ((-61),54), ((19),55), ((161),56), ((26),57), ((56),58), ((105),59), ((223),60), ((-3),61), ((93),62), ((-73),63), ((78),64), ((39),65), ((133),66), ((109),67), ((-55),68), ((-161),69), ((115),70), ((125),71), ((54),72), ((54),73), ((32),74)], (1762)), ("GEQ", [((4),0), ((-51),1), ((-22),2), ((-92),3), ((-53),4), ((-91),6), ((-13),7), ((49),8), ((117),9), ((36),10), ((-89),11), ((123),12), ((54),13), ((-140),14), ((-95),15), ((-78),16), ((-118),17), ((56),18), ((4),19), ((-71),20), ((-37),21), ((-155),22), ((-93),23), ((62),24), ((-8),25), ((109),26), ((-63),27), ((17),28), ((-125),29), ((5),30), ((169),31), ((37),32), ((-72),33), ((-89),34), ((194),35), ((177),36), ((-98),37), ((-76),38), ((89),39), ((184),40), ((-103),41), ((-43),42), ((6),43), ((19),44), ((111),45), ((-73),46), ((-72),47), ((13),48), ((10),49), ((-26),50), ((-41),51), ((-32),52), ((-31),53), ((32),54), ((-30),55), ((-168),56), ((-30),57), ((-10),58), ((-120),59), ((-182),60), ((25),61), ((-95),62), ((70),63), ((-23),64), ((4),65), ((-16),66), ((-82),67), ((-7),68), ((71),69), ((-87),70), ((-117),71), ((-6),72), ((-83),73), ((-4),74)], (-2412)), ("GEQ", [((151),0), ((169),1), ((59),2), ((78),3), ((66),4), ((251),5), ((-112),6), ((-159),7), ((-164),8), ((81),9), ((8),10), ((-114),11), ((60),12), ((47),13), ((-197),14), ((146),15), ((-57),16), ((-56),17), ((71),18), ((-114),19), ((33),20), ((-178),21), ((-33),22), ((44),23), ((79),24), ((-62),25), ((105),26), ((-41),27), ((135),28), ((-14),29), ((273),30), ((10),31), ((93),32), ((-85),33), ((-24),34), ((-73),35), ((97),36), ((-14),37), ((-50),38), ((187),39), ((-48),40), ((-146),41), ((82),42), ((45),43), ((-24),44), ((193),45), ((-3),46), ((-8),47), ((46),48), ((47),49), ((47),50), ((102),51), ((-23),52), ((-143),53), ((-45),54), ((-162),55), ((14),56), ((-34),57), ((-178),58), ((-21),59), ((-295),60), ((23),61), ((79),62), ((108),63), ((-93),64), ((-144),65), ((-241),66), ((-142),67), ((169),68), ((243),69), ((-85),70), ((-120),71), ((-34),72), ((77),73), ((89),74)], (253)), ("GEQ", [((24),0), ((-106),1), ((-82),2), ((-50),3), ((-184),4), ((-100),5), ((7),6), ((40),7), ((53),8), ((-35),9), ((-23),10), ((17),11), ((25),12), ((73),13), ((57),14), ((-113),15), ((-83),16), ((-169),17), ((44),18), ((231),19), ((-41),20), ((-27),21), ((-121),22), ((-19),23), ((39),24), ((-10),25), ((-12),26), ((-60),27), ((68),28), ((80),29), ((-132),30), ((7),31), ((-70),32), ((29),33), ((-1),34), ((87),35), ((38),36), ((133),37), ((18),38), ((26),39), ((34),40), ((105),41), ((5),42), ((-67),43), ((-7),44), ((-46),45), ((-40),46), ((-110),47), ((-18),48), ((-43),49), ((-88),50), ((67),51), ((131),52), ((2),53), ((138),54), ((150),55), ((-128),56), ((-38),57), ((45),58), ((-8),59), ((53),60), ((-77),61), ((-127),62), ((-57),63), ((-65),64), ((11),65), ((-44),66), ((21),67), ((-48),68), ((14),69), ((-59),70), ((-43),71), ((-116),72), ((-95),73), ((-126),74)], (-517))]
[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]