[("GEQ", [((-1),0), ((-2),1), ((1),2), ((-1),4), ((-2),6), ((1),7), ((2),11), ((2),12), ((2),13), ((-1),16), ((-1),17), ((2),20), ((-2),22), ((-2),24), ((1),26), ((2),28), ((-1),29), ((-2),31), ((1),32), ((2),33), ((-1),36), ((-2),39), ((-1),40), ((-1),41), ((1),42), ((-1),43), ((1),46), ((-2),47), ((2),50), ((-2),53), ((-2),60), ((2),63), ((-2),64), ((-2),65), ((-2),66), ((-2),67), ((2),69), ((2),72), ((1),73), ((-2),74)], (2)), ("GEQ", [((-2),2), ((1),4), ((1),6), ((-1),7), ((2),8), ((1),9), ((2),10), ((1),11), ((1),12), ((2),13), ((-2),14), ((1),15), ((-1),17), ((-1),18), ((-2),21), ((2),22), ((-2),23), ((-2),24), ((-2),25), ((2),29), ((-1),30), ((2),31), ((2),36), ((-2),38), ((2),39), ((-1),41), ((-2),42), ((2),44), ((1),45), ((1),46), ((-2),47), ((1),48), ((2),49), ((1),51), ((1),52), ((2),53), ((-1),54), ((-1),55), ((2),58), ((-2),60), ((1),63), ((2),64), ((2),66), ((1),67), ((2),71), ((1),72), ((-1),74)], (-3)), ("GEQ", [((-1),1), ((1),3), ((1),4), ((-1),7), ((-1),9), ((2),10), ((2),11), ((-1),13), ((-2),14), ((2),15), ((-1),16), ((-1),19), ((-1),21), ((2),22), ((-2),23), ((-1),25), ((1),26), ((-1),30), ((1),35), ((-1),36), ((2),37), ((2),38), ((-1),40), ((2),41), ((2),42), ((1),43), ((-2),44), ((-2),45), ((-1),47), ((2),52), ((2),55), ((-1),57), ((-2),60), ((1),63), ((-1),66), ((1),67), ((2),69), ((2),70), ((-1),72), ((-1),73), ((2),74)], (22)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-2),6), ((-1),8), ((-2),9), ((-1),10), ((-1),11), ((2),12), ((-1),14), ((1),15), ((1),16), ((-1),19), ((1),20), ((-1),21), ((-1),22), ((1),23), ((-1),26), ((-1),27), ((2),28), ((1),29), ((1),32), ((-2),38), ((2),39), ((2),40), ((-1),41), ((2),44), ((-2),45), ((-1),46), ((-1),48), ((-1),51), ((2),52), ((-1),53), ((2),55), ((2),56), ((-2),57), ((2),58), ((-2),59), ((1),61), ((1),63), ((-2),65), ((1),66), ((-2),67), ((1),68), ((1),70), ((-2),71), ((-1),72)], (59)), ("GEQ", [((1),0), ((-1),3), ((-1),4), ((1),8), ((1),9), ((2),10), ((1),11), ((-1),12), ((-1),16), ((2),18), ((1),19), ((1),21), ((-2),25), ((1),27), ((1),28), ((-2),29), ((1),30), ((-2),31), ((1),33), ((-2),34), ((-1),36), ((1),37), ((-2),38), ((2),44), ((2),47), ((-1),48), ((-2),49), ((-1),53), ((1),54), ((1),55), ((-1),58), ((-1),59), ((-1),60), ((1),61), ((2),63), ((-2),64), ((1),65), ((-1),66), ((-1),72), ((-1),73), ((2),74)], (-1)), ("GEQ", [((-2),0), ((-1),2), ((1),3), ((-1),5), ((-1),6), ((-2),8), ((-2),9), ((2),15), ((-2),16), ((2),17), ((2),18), ((1),19), ((-2),20), ((-2),22), ((-2),23), ((2),25), ((-1),26), ((2),29), ((2),30), ((1),31), ((1),33), ((-2),34), ((2),35), ((-2),44), ((-2),46), ((-2),48), ((1),49), ((2),50), ((2),51), ((-2),52), ((2),53), ((-2),54), ((2),57), ((1),58), ((-1),59), ((-2),60), ((1),61), ((1),63), ((-2),65), ((2),67), ((2),68), ((2),69), ((1),71)], (-43)), ("GEQ", [((-1),0), ((2),2), ((2),7), ((2),9), ((-2),10), ((-2),11), ((1),12), ((1),13), ((-1),14), ((-1),15), ((2),19), ((-1),20), ((-2),24), ((-1),25), ((-1),27), ((2),29), ((1),32), ((-1),35), ((-2),36), ((2),37), ((1),40), ((1),41), ((-2),47), ((-2),49), ((-1),55), ((-2),56), ((1),57), ((2),60), ((-1),61), ((-1),63), ((-1),65), ((-1),67), ((1),70), ((-2),71), ((1),74)], (5)), ("GEQ", [((1),1), ((1),2), ((2),3), ((-1),4), ((-2),5), ((-2),6), ((2),7), ((-2),8), ((-2),10), ((-2),11), ((-1),12), ((-2),13), ((2),14), ((2),15), ((1),16), ((-1),17), ((-1),18), ((1),19), ((-1),21), ((1),22), ((-2),25), ((-1),26), ((-1),27), ((1),28), ((2),29), ((-2),33), ((2),34), ((-2),36), ((2),37), ((1),38), ((-2),41), ((1),44), ((2),45), ((2),46), ((2),47), ((1),48), ((-2),50), ((-1),51), ((2),52), ((-2),54), ((-2),55), ((-2),56), ((-1),57), ((-1),58), ((-1),62), ((1),63), ((-2),64), ((2),65), ((-2),66), ((-2),68), ((1),69), ((-2),73), ((1),74)], (58)), ("GEQ", [((-1),1), ((-2),3), ((1),5), ((-1),7), ((-2),8), ((-2),9), ((-1),11), ((2),12), ((-1),13), ((1),18), ((1),20), ((-2),22), ((1),23), ((-1),24), ((-2),25), ((-1),26), ((2),28), ((1),29), ((-1),30), ((-1),31), ((1),33), ((1),34), ((-2),35), ((-1),36), ((1),37), ((1),39), ((2),41), ((-2),43), ((2),44), ((1),45), ((-2),46), ((1),47), ((1),48), ((1),49), ((2),50), ((2),53), ((-2),54), ((1),56), ((1),57), ((2),58), ((2),59), ((-1),60), ((2),61), ((-2),62), ((-2),65), ((1),66), ((1),67), ((-1),69), ((-1),70), ((-2),72), ((-1),73), ((2),74)], (27)), ("GEQ", [((2),0), ((1),1), ((2),3), ((-1),4), ((1),6), ((2),7), ((2),10), ((2),11), ((2),12), ((-1),15), ((1),16), ((1),17), ((2),18), ((-1),21), ((2),23), ((1),24), ((2),25), ((-1),26), ((-1),29), ((-1),30), ((2),31), ((-2),32), ((1),33), ((-1),34), ((2),35), ((1),36), ((1),37), ((-2),38), ((-2),39), ((1),40), ((-2),43), ((-1),45), ((-2),48), ((-1),49), ((2),50), ((2),51), ((1),53), ((1),54), ((-2),57), ((2),59), ((-1),60), ((-1),61), ((-1),62), ((1),63), ((-1),65), ((-2),66), ((-2),67), ((2),69), ((1),71), ((-1),72), ((2),73), ((1),74)], (-7)), ("GEQ", [((-2),0), ((-1),3), ((1),4), ((1),5), ((-1),6), ((-1),7), ((-2),8), ((2),9), ((1),11), ((-2),12), ((1),14), ((-1),15), ((2),16), ((-2),18), ((1),20), ((2),22), ((2),23), ((2),24), ((1),25), ((1),27), ((2),28), ((-1),31), ((-1),32), ((1),33), ((1),34), ((2),35), ((-1),36), ((-1),38), ((-1),39), ((2),41), ((-1),42), ((1),45), ((-2),46), ((1),47), ((1),49), ((1),50), ((1),52), ((-1),54), ((-2),55), ((-1),56), ((1),61), ((-2),62), ((-1),63), ((-1),64), ((-1),66), ((1),70), ((2),71), ((-2),72), ((-2),73), ((-1),74)], (52)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-1),4), ((-2),5), ((1),6), ((-1),8), ((-1),9), ((-1),11), ((2),14), ((-1),15), ((-2),16), ((2),18), ((-1),20), ((-1),23), ((-1),24), ((1),25), ((1),26), ((2),28), ((-1),32), ((-1),34), ((1),36), ((-1),38), ((-2),39), ((1),43), ((1),46), ((2),47), ((-2),49), ((1),50), ((-1),52), ((-2),53), ((1),55), ((-1),56), ((1),57), ((-2),58), ((2),60), ((-2),63), ((-1),64), ((-1),65), ((2),66), ((1),69), ((-1),71), ((-2),74)], (-12)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((1),4), ((2),5), ((-2),6), ((1),7), ((1),9), ((1),10), ((-1),13), ((1),14), ((1),17), ((-2),19), ((-1),20), ((-2),21), ((2),22), ((-1),24), ((1),26), ((1),28), ((-2),31), ((-1),32), ((-2),33), ((2),34), ((-2),35), ((2),37), ((2),38), ((-2),39), ((-1),41), ((2),43), ((-1),44), ((2),47), ((-2),48), ((-2),49), ((1),50), ((-1),52), ((-2),55), ((-2),59), ((-2),60), ((1),61), ((1),63), ((1),66), ((-1),67), ((2),68), ((-1),69), ((-1),70), ((2),72), ((2),73), ((-2),74)], (7)), ("GEQ", [((1),0), ((1),1), ((-1),2), ((-1),4), ((1),7), ((-2),8), ((2),10), ((2),11), ((1),13), ((-2),15), ((1),16), ((-1),17), ((-1),18), ((1),19), ((-1),20), ((-2),21), ((1),23), ((-1),25), ((-1),26), ((-2),27), ((-2),29), ((-1),30), ((1),33), ((1),34), ((-1),35), ((1),36), ((2),40), ((-2),41), ((-2),42), ((1),45), ((-1),46), ((-2),52), ((1),53), ((-1),54), ((1),55), ((1),56), ((-1),57), ((1),58), ((-1),62), ((-2),64), ((-1),65), ((1),67), ((1),68), ((1),69), ((2),70), ((-2),71), ((-2),72), ((-2),73), ((2),74)], (18)), ("GEQ", [((1),0), ((2),2), ((-1),4), ((-1),5), ((1),6), ((-2),7), ((1),8), ((1),9), ((-2),10), ((2),13), ((-2),14), ((-1),16), ((2),17), ((-1),18), ((1),22), ((-2),23), ((1),24), ((2),25), ((2),26), ((-1),27), ((-2),28), ((-1),29), ((1),30), ((-1),33), ((1),34), ((1),37), ((-2),38), ((2),41), ((2),42), ((-1),43), ((1),44), ((-2),45), ((-2),49), ((-2),50), ((2),52), ((-2),53), ((-1),54), ((-2),56), ((-1),57), ((-2),58), ((2),60), ((-2),64), ((1),67), ((2),68), ((1),71)], (-2)), ("GEQ", [((-2),1), ((-1),2), ((-1),5), ((1),6), ((-1),8), ((-2),10), ((1),11), ((-1),12), ((2),13), ((1),14), ((2),17), ((1),21), ((-1),22), ((2),23), ((1),24), ((-1),26), ((-2),27), ((-1),34), ((-1),37), ((-1),39), ((1),41), ((2),43), ((-2),44), ((-1),45), ((1),46), ((-2),47), ((-1),50), ((1),52), ((-1),55), ((1),56), ((2),57), ((2),58), ((-1),60), ((2),61), ((2),66), ((-1),67), ((1),68), ((1),70), ((-1),71), ((-2),72), ((-1),73)], (-3)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),3), ((-2),8), ((-1),11), ((1),12), ((1),13), ((1),18), ((-2),19), ((-2),20), ((-1),22), ((-2),23), ((1),24), ((2),25), ((-1),28), ((-1),29), ((-1),30), ((-1),31), ((-2),32), ((2),34), ((2),35), ((-2),36), ((2),39), ((2),40), ((-1),42), ((2),43), ((-1),44), ((1),47), ((-1),48), ((2),51), ((2),52), ((2),53), ((1),54), ((2),56), ((-1),57), ((-2),58), ((2),59), ((-2),60), ((-2),63), ((-1),64), ((1),67), ((-1),68), ((-2),69), ((2),72)], (13)), ("GEQ", [((-2),1), ((-2),3), ((2),4), ((2),6), ((-2),7), ((1),9), ((-2),10), ((-1),11), ((2),12), ((2),17), ((-2),18), ((-2),19), ((1),20), ((-1),21), ((-2),22), ((2),23), ((1),25), ((-2),28), ((1),30), ((-2),31), ((-2),33), ((1),35), ((2),37), ((1),38), ((-2),39), ((-1),40), ((-1),41), ((-1),44), ((-1),49), ((-2),50), ((1),51), ((-1),52), ((-2),54), ((2),56), ((1),57), ((2),58), ((1),65), ((1),70), ((2),71), ((-1),72), ((2),73)], (-1)), ("GEQ", [((-1),1), ((-1),3), ((2),6), ((-2),10), ((-1),11), ((-2),13), ((-1),15), ((-1),16), ((1),19), ((2),20), ((2),21), ((-1),23), ((-2),26), ((1),27), ((-2),31), ((-1),32), ((2),38), ((1),39), ((1),41), ((1),42), ((2),45), ((-1),46), ((-2),53), ((2),54), ((2),60), ((-1),61), ((2),62), ((-1),64), ((1),65), ((-2),66), ((1),69), ((-1),72), ((1),73)], (6)), ("GEQ", [((-1),0), ((1),3), ((-2),4), ((-2),5), ((2),6), ((1),7), ((-2),8), ((2),13), ((2),14), ((-2),15), ((2),18), ((-1),19), ((2),22), ((-1),24), ((-1),28), ((-1),31), ((2),35), ((-2),36), ((2),39), ((-1),42), ((1),44), ((-1),45), ((-1),46), ((-1),47), ((1),48), ((-1),50), ((-1),51), ((1),54), ((1),55), ((1),57), ((-1),58), ((-1),59), ((-1),61), ((-1),62), ((2),64), ((1),65), ((2),66), ((-1),68), ((-1),71), ((1),74)], (19)), ("GEQ", [((1),0), ((2),5), ((1),6), ((-1),7), ((-1),11), ((1),12), ((1),14), ((2),15), ((-1),16), ((-1),17), ((-1),19), ((-2),21), ((2),25), ((-1),26), ((-1),27), ((2),29), ((1),30), ((1),34), ((-1),36), ((1),38), ((-2),42), ((2),43), ((2),44), ((2),45), ((-1),46), ((2),47), ((-1),48), ((2),49), ((1),51), ((-1),52), ((1),53), ((-2),54), ((2),55), ((-1),56), ((-1),59), ((-2),60), ((2),62), ((2),63), ((-1),65), ((-1),67), ((-2),69), ((1),70), ((2),71), ((2),73), ((-1),74)], (44)), ("GEQ", [((-1),0), ((2),2), ((-1),3), ((-1),4), ((1),5), ((1),7), ((-1),9), ((-2),10), ((1),13), ((-1),14), ((-1),15), ((-1),17), ((-2),18), ((1),19), ((1),20), ((2),21), ((-2),24), ((2),25), ((-1),30), ((-1),31), ((-1),33), ((2),34), ((-1),35), ((-2),37), ((1),39), ((1),41), ((2),42), ((-1),45), ((1),46), ((-2),47), ((2),50), ((-1),51), ((1),53), ((-2),55), ((-1),57), ((2),58), ((2),59), ((2),61), ((-2),63), ((-1),64), ((1),66), ((-1),67), ((-2),68), ((-1),70), ((1),74)], (-1)), ("GEQ", [((-1),1), ((-2),2), ((1),4), ((-1),6), ((-2),9), ((1),10), ((1),11), ((1),19), ((-2),21), ((2),22), ((-2),23), ((-2),26), ((-2),28), ((2),30), ((-1),31), ((-1),32), ((2),35), ((2),36), ((-2),38), ((-1),40), ((1),42), ((2),44), ((-1),45), ((1),46), ((-2),48), ((1),50), ((2),51), ((2),52), ((2),54), ((1),55), ((2),57), ((1),59), ((-1),61), ((-1),62), ((-2),64), ((2),65), ((2),67), ((1),68), ((1),69), ((-1),70), ((2),71), ((1),72), ((1),74)], (-36)), ("GEQ", [((1),0), ((1),3), ((-1),6), ((2),8), ((1),9), ((-1),10), ((-2),12), ((2),14), ((1),15), ((-1),17), ((1),18), ((-1),19), ((2),20), ((-2),21), ((-1),22), ((-1),23), ((2),24), ((-1),25), ((1),26), ((2),27), ((-1),28), ((2),31), ((2),32), ((-2),33), ((1),36), ((2),37), ((-1),38), ((2),39), ((-1),40), ((1),44), ((2),45), ((-2),47), ((-1),48), ((1),53), ((-2),54), ((-2),59), ((-1),60), ((-1),61), ((2),62), ((1),63), ((1),64), ((1),65), ((-2),66), ((2),67), ((1),68), ((-2),70), ((-1),73), ((1),74)], (30)), ("GEQ", [((-2),1), ((-1),3), ((-2),4), ((-2),6), ((1),7), ((2),9), ((2),10), ((-1),12), ((-2),14), ((-2),15), ((2),17), ((1),19), ((1),20), ((1),22), ((-1),24), ((1),26), ((1),27), ((-2),32), ((2),34), ((2),36), ((2),37), ((2),38), ((-1),39), ((-1),40), ((-2),42), ((2),46), ((-1),49), ((-2),51), ((-1),53), ((-1),56), ((1),60), ((-2),61), ((-2),62), ((-1),64), ((2),65), ((-1),67), ((-2),68), ((2),69), ((-2),71), ((1),72), ((-1),73), ((-2),74)], (-4)), ("GEQ", [((2),0), ((1),1), ((2),2), ((1),3), ((-2),5), ((-1),7), ((-2),9), ((1),10), ((-2),12), ((2),14), ((1),16), ((-1),18), ((1),19), ((-1),20), ((-2),22), ((2),23), ((-1),25), ((2),26), ((1),28), ((-2),29), ((-1),30), ((1),31), ((1),34), ((1),36), ((-1),38), ((-2),41), ((-1),42), ((-2),43), ((1),45), ((-2),46), ((-1),47), ((-2),49), ((1),50), ((-2),51), ((2),53), ((1),54), ((-1),55), ((1),56), ((-2),57), ((-1),59), ((1),60), ((2),61), ((-1),62), ((-1),63), ((-1),65), ((1),66), ((1),68), ((-1),69), ((-1),70), ((-2),73)], (-6)), ("GEQ", [((-2),5), ((-1),6), ((-2),7), ((1),8), ((2),9), ((-1),10), ((-2),12), ((-2),13), ((-1),14), ((-2),15), ((-2),16), ((-1),17), ((-1),19), ((-2),20), ((2),23), ((-2),24), ((-2),25), ((-2),27), ((-1),28), ((2),29), ((1),32), ((2),37), ((-1),38), ((-2),40), ((-1),41), ((-2),42), ((2),43), ((2),44), ((-2),45), ((-2),46), ((2),47), ((-1),48), ((-2),50), ((1),51), ((1),57), ((-2),60), ((1),61), ((2),62), ((-1),65), ((2),68), ((2),69)], (13)), ("GEQ", [((1),0), ((2),3), ((2),5), ((-2),6), ((-2),7), ((-2),8), ((1),9), ((1),10), ((-1),11), ((-2),12), ((-2),15), ((-2),18), ((2),22), ((-1),23), ((-1),24), ((2),26), ((-2),27), ((-2),29), ((1),30), ((2),32), ((-1),34), ((1),36), ((-1),37), ((-1),39), ((1),40), ((-1),44), ((1),46), ((2),47), ((-2),48), ((2),49), ((-2),50), ((1),51), ((-1),52), ((-1),53), ((-1),54), ((-2),58), ((1),59), ((1),60), ((-2),61), ((2),62), ((1),63), ((-2),65), ((1),66), ((-2),67), ((-2),68), ((-2),69)], (-37)), ("GEQ", [((-1),0), ((-1),2), ((2),5), ((2),8), ((-1),9), ((1),10), ((-1),11), ((-1),13), ((2),15), ((-1),17), ((-1),18), ((-1),22), ((1),24), ((-2),26), ((-2),27), ((-2),29), ((-2),30), ((-2),35), ((-2),36), ((1),37), ((2),38), ((-2),39), ((-1),43), ((2),44), ((2),45), ((2),46), ((-2),47), ((-2),48), ((2),49), ((-1),50), ((2),51), ((2),55), ((2),56), ((1),59), ((2),62), ((1),63), ((-2),64), ((1),66), ((1),67), ((2),69), ((2),72), ((2),73)], (-10)), ("GEQ", [((-1),1), ((2),3), ((-1),6), ((2),7), ((-2),8), ((1),10), ((-1),12), ((2),15), ((1),17), ((1),18), ((-2),19), ((-2),21), ((1),23), ((2),25), ((1),33), ((-1),34), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((2),40), ((-1),42), ((1),45), ((2),48), ((-2),49), ((-2),50), ((-2),51), ((-1),52), ((2),53), ((2),54), ((1),55), ((1),56), ((1),58), ((2),60), ((1),61), ((1),62), ((-2),65), ((1),66), ((2),67), ((-1),68), ((-2),69), ((1),70), ((1),72), ((-1),73)], (6)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((1),3), ((-1),6), ((-2),7), ((2),9), ((1),10), ((-2),12), ((2),13), ((2),15), ((-2),19), ((2),20), ((-1),22), ((-2),23), ((1),25), ((1),27), ((2),29), ((-2),31), ((-1),33), ((2),34), ((2),35), ((1),37), ((1),41), ((-1),42), ((-2),43), ((2),45), ((1),46), ((1),47), ((2),48), ((-1),51), ((1),52), ((-1),53), ((2),56), ((1),58), ((2),59), ((-1),62), ((-1),66), ((-2),69), ((-1),70), ((2),71), ((2),72), ((-2),73), ((2),74)], (23)), ("GEQ", [((1),2), ((1),3), ((2),4), ((-2),5), ((2),6), ((-1),7), ((-1),8), ((2),9), ((-2),11), ((-1),12), ((2),13), ((-1),18), ((-1),19), ((2),20), ((-2),22), ((2),25), ((2),27), ((-2),28), ((-1),29), ((-1),30), ((-1),31), ((-1),32), ((-1),33), ((1),34), ((1),35), ((-1),38), ((-2),39), ((2),40), ((-2),42), ((-2),46), ((-1),47), ((-1),48), ((1),50), ((1),51), ((-2),53), ((-2),54), ((-1),56), ((-1),58), ((1),60), ((2),62), ((2),63), ((2),64), ((-2),65), ((-2),71), ((2),72), ((-1),73)], (3)), ("GEQ", [((1),3), ((-2),7), ((1),11), ((2),12), ((1),13), ((2),14), ((-2),15), ((-1),16), ((1),17), ((-2),19), ((-1),20), ((-2),21), ((1),23), ((-2),24), ((-2),25), ((1),26), ((-2),30), ((-2),32), ((-1),34), ((2),35), ((-1),37), ((1),39), ((1),41), ((-1),42), ((2),43), ((1),44), ((1),45), ((-1),46), ((-1),47), ((-1),48), ((1),49), ((2),50), ((2),51), ((-1),52), ((-1),53), ((-2),55), ((-1),56), ((1),57), ((1),58), ((2),60), ((1),61), ((-1),64), ((-2),65), ((2),67), ((-1),68), ((1),69), ((-1),70), ((-1),72), ((2),73), ((-1),74)], (-7)), ("GEQ", [((1),1), ((1),2), ((2),3), ((-2),4), ((-1),10), ((2),14), ((1),15), ((-2),17), ((-2),20), ((-2),21), ((-1),22), ((1),23), ((-1),24), ((1),25), ((-1),26), ((-1),28), ((-2),29), ((2),30), ((-1),33), ((2),35), ((2),36), ((2),39), ((2),40), ((-2),42), ((2),49), ((-1),50), ((-2),51), ((-2),52), ((-2),53), ((-1),54), ((-2),56), ((2),57), ((-2),58), ((-1),59), ((1),61), ((-2),62), ((-2),64), ((1),66), ((2),67), ((-2),68), ((1),69), ((-1),72), ((-2),73), ((1),74)], (0)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((2),7), ((1),9), ((-1),10), ((-2),12), ((2),13), ((1),14), ((-1),16), ((2),17), ((-1),18), ((-2),20), ((-2),21), ((2),22), ((1),24), ((-1),25), ((1),27), ((-2),28), ((-1),31), ((2),32), ((2),33), ((-1),34), ((-1),35), ((2),37), ((-1),38), ((1),39), ((1),41), ((1),42), ((2),45), ((-1),47), ((-2),48), ((-1),49), ((1),51), ((-2),52), ((1),53), ((2),54), ((2),55), ((-1),58), ((-2),60), ((1),61), ((1),64), ((-2),65), ((-2),67), ((1),71), ((1),72), ((1),74)], (-3)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-2),6), ((-1),7), ((2),9), ((-2),10), ((-2),12), ((2),13), ((-1),14), ((-1),16), ((-2),18), ((-2),19), ((-2),20), ((1),22), ((1),23), ((-2),24), ((-2),25), ((2),27), ((-1),28), ((-1),30), ((-2),31), ((2),32), ((1),33), ((-1),34), ((1),35), ((2),37), ((-2),41), ((-2),43), ((1),47), ((-2),48), ((-1),50), ((1),51), ((2),55), ((1),56), ((2),60), ((1),62), ((-1),64), ((-1),65), ((-2),66), ((-1),67), ((2),68), ((1),70), ((-1),71), ((-1),72), ((-1),74)], (22)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((-2),5), ((2),7), ((1),9), ((-1),10), ((-2),11), ((-2),13), ((-1),14), ((-1),16), ((-2),17), ((2),18), ((2),19), ((1),20), ((-2),21), ((-2),22), ((1),23), ((-1),24), ((-2),25), ((-1),26), ((-2),31), ((1),32), ((1),33), ((-2),34), ((1),35), ((1),36), ((-1),38), ((2),39), ((2),40), ((2),45), ((-2),46), ((-2),50), ((-2),53), ((2),55), ((1),56), ((-1),58), ((2),59), ((2),62), ((-2),63), ((1),65), ((2),66), ((-1),67), ((-2),68), ((-1),69), ((-2),70), ((-2),73), ((1),74)], (16)), ("GEQ", [((-1),0), ((-2),4), ((2),7), ((-2),8), ((-2),13), ((-1),16), ((-1),17), ((1),18), ((2),19), ((2),21), ((-1),27), ((-2),30), ((-2),31), ((-1),33), ((-2),35), ((2),37), ((2),38), ((2),39), ((-2),40), ((2),41), ((2),42), ((2),43), ((-1),44), ((-2),45), ((-1),46), ((2),49), ((1),54), ((-2),55), ((1),56), ((-1),57), ((-1),64), ((1),65), ((-1),66), ((2),71), ((-1),72), ((2),73), ((1),74)], (9)), ("GEQ", [((-1),0), ((2),1), ((-1),3), ((1),4), ((-2),5), ((1),12), ((2),13), ((-2),16), ((-1),17), ((-1),19), ((2),20), ((-2),23), ((-2),24), ((-2),26), ((2),28), ((-2),29), ((-1),30), ((-1),36), ((-2),37), ((1),38), ((-1),39), ((2),43), ((-2),45), ((2),46), ((2),48), ((-1),50), ((1),53), ((1),54), ((-2),55), ((1),57), ((-1),58), ((2),61), ((1),62), ((2),63), ((-1),64), ((1),66), ((1),67), ((-1),68), ((2),70), ((-1),71), ((2),73), ((-1),74)], (-1)), ("GEQ", [((1),0), ((1),1), ((1),2), ((2),3), ((1),4), ((2),5), ((-1),6), ((2),7), ((-2),10), ((-2),13), ((-2),14), ((-1),15), ((1),16), ((1),22), ((-2),25), ((1),26), ((-1),27), ((-1),28), ((-2),29), ((1),31), ((-2),34), ((2),35), ((2),36), ((-2),37), ((2),38), ((1),39), ((1),40), ((-2),42), ((-1),43), ((-2),44), ((-2),47), ((-1),48), ((-1),49), ((2),50), ((-2),51), ((2),52), ((1),55), ((-2),56), ((-1),57), ((1),59), ((-2),66), ((-1),67), ((2),68), ((-2),69), ((-2),70), ((1),72)], (-10)), ("GEQ", [((2),0), ((1),1), ((1),2), ((1),5), ((1),7), ((1),8), ((-1),9), ((1),12), ((-1),13), ((2),14), ((2),15), ((2),16), ((1),17), ((-2),21), ((1),22), ((2),23), ((-2),24), ((-1),26), ((-1),27), ((-1),28), ((-2),29), ((1),34), ((-2),36), ((-1),38), ((2),39), ((2),40), ((-1),41), ((2),42), ((1),45), ((2),47), ((-1),48), ((-2),51), ((-1),52), ((-2),53), ((-1),55), ((-1),56), ((-1),58), ((-1),63), ((1),64), ((2),65), ((-1),66), ((2),68), ((-2),69), ((-1),70), ((-2),71), ((2),72), ((-1),73)], (36)), ("GEQ", [((-2),0), ((-1),2), ((-2),3), ((-1),6), ((1),8), ((-1),9), ((-1),10), ((1),11), ((-1),13), ((-2),14), ((1),15), ((-2),16), ((1),18), ((-2),20), ((-1),21), ((1),22), ((-2),24), ((-2),26), ((-1),27), ((1),29), ((1),31), ((-1),33), ((-1),35), ((-1),36), ((-2),37), ((2),38), ((-1),39), ((-2),42), ((2),43), ((-2),44), ((-2),45), ((2),46), ((-1),48), ((1),52), ((1),53), ((-1),55), ((-1),56), ((1),57), ((-1),58), ((2),59), ((-2),61), ((2),63), ((1),64), ((-1),68), ((1),69), ((-1),70), ((-1),73), ((2),74)], (-27)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((-1),4), ((-1),5), ((-2),6), ((1),7), ((-1),8), ((1),9), ((1),11), ((2),12), ((-1),13), ((-1),14), ((-2),16), ((-1),17), ((-2),19), ((-1),20), ((-1),21), ((-1),22), ((-2),23), ((-2),26), ((-1),27), ((-1),28), ((2),30), ((2),32), ((-1),33), ((-2),34), ((-1),37), ((2),38), ((2),39), ((1),41), ((2),42), ((-2),44), ((-1),47), ((-1),48), ((-1),51), ((2),52), ((2),57), ((1),59), ((1),63), ((-2),65), ((-1),66), ((-2),68), ((2),70), ((-1),71), ((1),72), ((1),73)], (7)), ("GEQ", [((-1),1), ((-1),2), ((1),6), ((2),7), ((2),8), ((1),9), ((-2),10), ((1),13), ((2),14), ((2),15), ((-1),16), ((-2),17), ((1),19), ((2),20), ((2),21), ((2),22), ((-2),24), ((1),25), ((2),26), ((1),27), ((2),28), ((-2),29), ((-1),30), ((-1),31), ((2),32), ((-2),33), ((-1),35), ((-2),36), ((-2),37), ((-2),38), ((-1),42), ((-2),43), ((2),45), ((1),46), ((2),47), ((2),49), ((-2),51), ((2),52), ((-1),53), ((-1),54), ((2),55), ((-1),56), ((2),57), ((1),58), ((2),60), ((-1),62), ((2),63), ((2),64), ((1),65), ((1),66), ((-2),67), ((-1),68), ((1),69), ((2),70), ((-2),71), ((-1),72), ((-1),73), ((-2),74)], (10)), ("GEQ", [((-2),0), ((1),2), ((2),3), ((2),4), ((-1),6), ((2),7), ((-1),8), ((-2),10), ((1),11), ((2),12), ((-2),14), ((-1),15), ((-1),17), ((2),20), ((-2),21), ((1),22), ((-2),23), ((-2),26), ((1),29), ((-1),32), ((-1),34), ((2),36), ((-2),38), ((-2),39), ((-2),40), ((-1),42), ((-2),43), ((-1),44), ((2),47), ((1),48), ((-1),49), ((2),50), ((2),51), ((2),55), ((-1),56), ((-2),57), ((-1),59), ((-2),60), ((-1),62), ((-1),63), ((-2),65), ((2),66), ((-1),70), ((-2),73), ((-1),74)], (-14)), ("GEQ", [((-1),3), ((1),5), ((-2),6), ((-2),7), ((-1),8), ((2),10), ((2),11), ((1),13), ((1),14), ((1),15), ((1),18), ((-1),19), ((-2),20), ((1),21), ((-2),22), ((2),23), ((2),24), ((-2),25), ((2),26), ((-1),28), ((-1),30), ((2),31), ((-2),32), ((1),33), ((1),34), ((-2),35), ((-1),36), ((1),37), ((2),40), ((-1),42), ((-1),43), ((1),44), ((-1),45), ((2),51), ((-1),52), ((-2),55), ((-2),61), ((-2),63), ((-2),66), ((-1),70), ((-2),71), ((-1),72), ((1),74)], (-18)), ("GEQ", [((-1),0), ((2),3), ((1),4), ((-2),5), ((-1),6), ((-2),10), ((-1),11), ((-1),13), ((-2),15), ((2),16), ((-1),18), ((-1),22), ((-2),23), ((1),26), ((2),27), ((-2),28), ((1),29), ((2),30), ((-1),32), ((-2),36), ((-1),37), ((2),38), ((-1),39), ((-2),40), ((-2),42), ((-2),44), ((-2),45), ((1),46), ((-1),49), ((1),50), ((-1),51), ((-2),52), ((2),55), ((-1),58), ((-2),59), ((1),60), ((1),63), ((-2),65), ((2),66), ((1),68), ((-2),71), ((-2),74)], (-50)), ("GEQ", [((-2),0), ((-1),2), ((-1),3), ((2),4), ((2),5), ((-2),7), ((-2),8), ((2),10), ((-1),14), ((2),17), ((-2),20), ((2),21), ((2),22), ((-2),23), ((-2),25), ((2),28), ((1),33), ((-1),34), ((-1),35), ((2),38), ((2),39), ((1),40), ((-2),42), ((2),43), ((2),45), ((2),46), ((-2),48), ((-1),49), ((1),51), ((2),53), ((1),54), ((-2),55), ((-1),56), ((-1),59), ((-1),63), ((1),66), ((2),69), ((-2),70), ((-1),71), ((1),72), ((-1),73)], (-37)), ("GEQ", [((-2),0), ((-1),1), ((-2),4), ((-2),5), ((-2),7), ((2),8), ((-1),10), ((-2),11), ((-1),12), ((1),13), ((2),14), ((-1),16), ((-2),18), ((-2),21), ((-1),23), ((-2),26), ((-2),28), ((-2),29), ((-2),30), ((-1),31), ((-2),32), ((2),34), ((2),35), ((1),38), ((2),40), ((-2),42), ((-2),44), ((2),47), ((1),48), ((2),49), ((-1),50), ((2),52), ((2),55), ((-2),57), ((1),58), ((-1),59), ((2),60), ((2),62), ((2),64), ((-1),67), ((2),68), ((-1),69), ((2),71), ((2),72)], (34)), ("GEQ", [((2),1), ((1),2), ((2),3), ((1),5), ((2),7), ((1),8), ((-2),9), ((2),11), ((-1),13), ((-2),14), ((2),16), ((1),17), ((-2),20), ((1),27), ((2),28), ((-1),35), ((1),36), ((-2),37), ((-1),38), ((1),40), ((-2),43), ((-2),44), ((1),45), ((-2),46), ((-1),47), ((-2),49), ((2),50), ((-2),51), ((2),52), ((-2),53), ((-1),54), ((-1),55), ((-2),57), ((2),58), ((1),59), ((-1),64), ((-1),65), ((-1),66), ((-1),69), ((-1),70), ((-2),73), ((1),74)], (-13)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((1),5), ((2),7), ((1),8), ((2),12), ((-1),14), ((-2),17), ((1),18), ((2),19), ((-2),21), ((-2),24), ((2),25), ((1),31), ((1),32), ((2),34), ((-2),38), ((2),39), ((2),41), ((-2),42), ((1),43), ((1),44), ((2),45), ((2),46), ((-1),47), ((-1),48), ((-1),49), ((1),51), ((-2),52), ((-2),53), ((1),55), ((-1),56), ((-1),58), ((2),59), ((-1),60), ((-2),61), ((-1),62), ((1),63), ((2),66), ((2),67), ((-1),68), ((1),71), ((1),72)], (8)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-1),4), ((1),6), ((1),8), ((-1),11), ((1),13), ((1),14), ((-2),16), ((2),17), ((1),18), ((-2),21), ((-2),23), ((1),24), ((2),28), ((1),29), ((2),30), ((1),31), ((2),35), ((-2),36), ((1),37), ((2),38), ((1),39), ((2),41), ((-1),43), ((1),44), ((-1),45), ((2),47), ((-1),49), ((-1),55), ((2),57), ((2),58), ((2),59), ((-2),60), ((-1),61), ((-1),64), ((-1),65), ((-2),66), ((-1),68), ((-2),70), ((1),72)], (22)), ("GEQ", [((-1),0), ((1),2), ((2),6), ((-2),9), ((1),11), ((1),12), ((-2),13), ((2),14), ((-1),16), ((-2),19), ((-2),21), ((-1),24), ((-2),26), ((1),27), ((-2),29), ((-2),32), ((2),33), ((-2),34), ((-1),36), ((2),38), ((1),41), ((1),42), ((2),43), ((-1),44), ((-2),45), ((2),46), ((-1),47), ((-2),48), ((1),49), ((2),51), ((2),52), ((1),53), ((1),54), ((-1),55), ((-2),56), ((1),58), ((-2),59), ((1),60), ((1),61), ((-1),64), ((-2),65), ((-2),66), ((-1),68), ((-1),69), ((-2),70), ((-2),73), ((2),74)], (-4)), ("GEQ", [((1),0), ((2),2), ((1),3), ((-1),4), ((-1),5), ((-1),8), ((2),10), ((-1),11), ((1),12), ((1),14), ((2),15), ((2),16), ((1),17), ((-2),18), ((-1),20), ((-1),21), ((-2),22), ((2),23), ((-2),24), ((-2),25), ((-2),28), ((1),29), ((1),30), ((-1),31), ((-1),32), ((-1),33), ((-1),34), ((1),35), ((-2),36), ((2),39), ((2),40), ((2),43), ((-1),45), ((2),49), ((2),50), ((-2),51), ((-1),53), ((2),54), ((1),55), ((-2),57), ((1),59), ((2),60), ((-2),61), ((-2),63), ((-2),64), ((2),65), ((-1),67), ((1),68), ((-1),69), ((-2),70), ((2),71), ((2),72), ((2),73), ((1),74)], (17)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((1),3), ((2),4), ((1),6), ((-2),8), ((2),12), ((-1),13), ((2),14), ((-2),15), ((-1),16), ((1),17), ((1),18), ((2),19), ((1),25), ((2),27), ((-1),28), ((2),29), ((-1),30), ((2),31), ((2),33), ((2),37), ((2),38), ((2),39), ((-2),41), ((2),43), ((-1),46), ((1),47), ((1),48), ((1),50), ((-2),52), ((1),54), ((-1),55), ((-2),61), ((1),63), ((-2),64), ((-1),67), ((-1),68), ((-2),72), ((2),73), ((-2),74)], (-2)), ("GEQ", [((1),0), ((1),1), ((2),2), ((-2),4), ((-2),6), ((-2),10), ((-1),11), ((1),18), ((-2),19), ((1),20), ((2),21), ((1),22), ((2),23), ((2),24), ((-1),27), ((2),28), ((-1),29), ((-2),31), ((1),33), ((-2),35), ((-1),37), ((2),40), ((1),42), ((-1),43), ((-2),46), ((-1),47), ((1),48), ((2),50), ((-2),53), ((1),55), ((-2),56), ((2),58), ((-1),59), ((-1),60), ((-2),61), ((-1),62), ((-2),64), ((1),66), ((-2),72), ((-1),73)], (10)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((1),4), ((-2),5), ((1),6), ((2),7), ((2),8), ((-2),10), ((-2),11), ((1),13), ((1),15), ((1),16), ((-2),17), ((-2),18), ((2),20), ((1),21), ((-1),22), ((-2),23), ((2),24), ((1),25), ((-1),26), ((1),27), ((1),28), ((-2),29), ((-2),30), ((2),32), ((1),34), ((2),37), ((-2),38), ((-2),40), ((-1),43), ((1),48), ((1),49), ((-2),50), ((2),51), ((-1),53), ((-2),54), ((-2),55), ((-1),56), ((2),57), ((-2),59), ((2),60), ((-1),61), ((-1),62), ((1),65), ((2),67), ((-1),68), ((-2),69), ((1),72), ((-1),73)], (-9)), ("GEQ", [((-1),1), ((-2),2), ((-2),4), ((2),6), ((1),8), ((2),9), ((-1),11), ((2),12), ((2),13), ((-1),14), ((-2),16), ((-2),20), ((1),21), ((-1),22), ((-1),23), ((1),24), ((2),25), ((2),26), ((1),27), ((-1),28), ((-2),30), ((-2),31), ((2),32), ((-1),33), ((1),34), ((2),35), ((-2),36), ((2),37), ((2),38), ((-2),39), ((-2),44), ((2),47), ((1),48), ((-2),51), ((1),52), ((2),53), ((-2),56), ((1),58), ((-2),61), ((-2),62), ((2),64), ((2),66), ((2),68), ((2),69), ((1),71), ((-1),73), ((-2),74)], (-9)), ("GEQ", [((-1),0), ((1),1), ((-2),4), ((-1),5), ((2),9), ((2),11), ((1),12), ((1),13), ((-1),17), ((-1),18), ((2),19), ((2),20), ((-1),21), ((1),22), ((1),24), ((-2),28), ((-1),29), ((-2),30), ((1),31), ((-2),34), ((-2),36), ((2),37), ((2),39), ((1),41), ((1),42), ((1),44), ((1),45), ((2),48), ((1),50), ((-2),51), ((2),52), ((2),53), ((2),54), ((1),56), ((-1),58), ((-1),59), ((1),60), ((2),61), ((1),63), ((-1),64), ((-2),65), ((2),66), ((2),67), ((2),69), ((-2),70), ((2),71), ((1),72), ((-2),74)], (38)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((-2),3), ((2),4), ((1),5), ((1),6), ((-1),8), ((1),10), ((-2),11), ((2),13), ((1),14), ((-1),15), ((2),16), ((1),18), ((-1),20), ((-1),21), ((2),22), ((-2),23), ((-2),25), ((2),26), ((2),28), ((-2),30), ((-2),31), ((-1),32), ((1),33), ((-1),34), ((-2),37), ((1),38), ((-2),40), ((1),41), ((-1),44), ((-2),46), ((-2),48), ((-1),49), ((2),50), ((-1),53), ((-2),54), ((1),55), ((2),56), ((2),57), ((2),59), ((2),61), ((2),62), ((-1),63), ((1),64), ((1),65), ((1),66), ((-2),67), ((1),69), ((-1),71), ((1),72), ((1),74)], (-6)), ("GEQ", [((-1),0), ((1),4), ((2),5), ((1),7), ((2),8), ((-2),9), ((2),10), ((-2),11), ((2),12), ((-1),13), ((-2),15), ((-1),17), ((-1),18), ((-2),19), ((-1),20), ((2),22), ((-2),23), ((-2),24), ((-2),25), ((1),27), ((2),29), ((1),30), ((2),31), ((-1),32), ((2),33), ((2),34), ((-1),39), ((2),40), ((2),44), ((-2),49), ((2),53), ((1),56), ((-1),57), ((2),59), ((-2),60), ((-2),61), ((2),64), ((2),65), ((-1),67), ((-1),68), ((1),69), ((-2),72), ((-1),74)], (16)), ("GEQ", [((-2),1), ((-2),4), ((-2),6), ((-2),7), ((2),13), ((-1),14), ((1),15), ((-1),16), ((2),17), ((2),18), ((2),19), ((-2),20), ((2),23), ((1),27), ((-2),28), ((2),29), ((-1),31), ((1),32), ((-2),33), ((1),35), ((-1),39), ((1),41), ((2),42), ((1),43), ((-2),44), ((1),45), ((-1),46), ((-1),47), ((-2),50), ((-2),51), ((-2),52), ((2),54), ((1),56), ((-1),57), ((2),59), ((-1),62), ((-1),63), ((-2),64), ((1),65), ((-2),66), ((-2),67), ((-2),69), ((-2),70), ((-2),71), ((1),72), ((1),73)], (14)), ("GEQ", [((1),0), ((-1),1), ((1),3), ((2),4), ((-1),5), ((-2),6), ((2),7), ((-2),8), ((1),9), ((-2),13), ((2),15), ((2),16), ((2),17), ((1),18), ((-2),19), ((2),20), ((2),21), ((-1),23), ((2),26), ((-2),28), ((2),29), ((1),31), ((2),33), ((-1),41), ((1),43), ((1),45), ((-2),50), ((2),52), ((-1),53), ((1),54), ((1),56), ((-2),57), ((2),58), ((-1),59), ((1),60), ((2),61), ((-1),62), ((1),63), ((1),64), ((2),65), ((2),68), ((1),71), ((2),73), ((-1),74)], (9)), ("GEQ", [((-1),0), ((1),2), ((-2),3), ((2),4), ((-2),5), ((-2),7), ((-2),10), ((2),12), ((-1),22), ((-2),24), ((-2),25), ((-2),26), ((2),27), ((-2),29), ((1),32), ((1),35), ((-1),40), ((-1),41), ((-1),42), ((1),43), ((1),46), ((1),51), ((1),52), ((-1),53), ((2),54), ((-1),55), ((-1),56), ((2),59), ((-2),60), ((1),61), ((1),62), ((1),67), ((-1),69), ((2),70), ((1),71)], (-10)), ("GEQ", [((1),1), ((2),4), ((-2),5), ((-1),6), ((-2),9), ((-2),10), ((-1),11), ((-2),12), ((1),13), ((2),14), ((-1),15), ((-1),19), ((1),21), ((-1),23), ((2),25), ((1),26), ((-2),27), ((2),28), ((1),29), ((-1),31), ((2),32), ((2),33), ((2),34), ((2),36), ((1),37), ((-2),40), ((2),42), ((-2),43), ((2),44), ((-2),46), ((2),49), ((1),50), ((-1),51), ((-2),54), ((-2),56), ((2),57), ((-2),58), ((-1),59), ((1),61), ((1),62), ((-1),63), ((-1),64), ((-1),65), ((-1),66), ((1),67), ((-2),69), ((2),70), ((1),71), ((-2),73), ((-2),74)], (-3)), ("GEQ", [((-2),0), ((-1),1), ((1),5), ((1),7), ((1),8), ((-1),9), ((-1),10), ((2),11), ((-2),12), ((-1),15), ((-2),17), ((2),18), ((-1),20), ((-1),21), ((2),22), ((2),23), ((-1),24), ((2),25), ((-2),27), ((2),28), ((-2),29), ((-1),31), ((2),32), ((-2),35), ((-2),38), ((-2),40), ((1),42), ((2),46), ((2),47), ((-2),48), ((1),51), ((1),52), ((1),54), ((1),55), ((1),57), ((1),58), ((2),60), ((-2),61), ((2),62), ((1),63), ((-1),66), ((2),70), ((2),72), ((2),73)], (-16)), ("GEQ", [((1),0), ((2),1), ((1),2), ((-1),3), ((2),4), ((1),6), ((2),10), ((2),12), ((1),16), ((2),17), ((2),18), ((-1),20), ((2),21), ((2),22), ((2),26), ((-2),27), ((2),31), ((-1),32), ((2),33), ((-2),35), ((2),36), ((-1),37), ((-1),38), ((-1),40), ((-2),42), ((2),43), ((-2),45), ((-2),47), ((-2),53), ((-2),58), ((2),59), ((2),60), ((-2),62), ((-1),63), ((2),64), ((2),65), ((-1),67), ((2),69), ((-2),71), ((-2),72), ((-1),73)], (-28)), ("GEQ", [((2),3), ((-1),4), ((1),5), ((1),7), ((-2),9), ((1),12), ((1),15), ((-1),16), ((-1),17), ((-2),18), ((2),20), ((2),25), ((2),26), ((2),27), ((1),29), ((-2),30), ((-2),31), ((-1),32), ((2),33), ((1),34), ((-2),35), ((-1),38), ((2),39), ((-2),41), ((1),42), ((2),43), ((-1),46), ((-1),47), ((1),48), ((1),50), ((1),51), ((2),52), ((-2),53), ((-1),54), ((-2),57), ((1),59), ((-2),60), ((-2),61), ((1),62), ((2),63), ((1),64), ((-1),68), ((-2),69), ((1),74)], (22)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),3), ((1),4), ((2),5), ((2),6), ((1),8), ((-1),13), ((-1),15), ((2),17), ((-2),18), ((-2),19), ((1),21), ((1),22), ((1),23), ((1),25), ((1),26), ((-2),27), ((-2),29), ((-1),31), ((2),32), ((-2),33), ((-1),34), ((2),35), ((-1),36), ((2),38), ((2),41), ((1),42), ((-2),44), ((2),45), ((-1),46), ((-1),47), ((-2),48), ((-2),49), ((1),50), ((-2),52), ((-2),53), ((-2),54), ((-1),57), ((1),59), ((2),60), ((1),61), ((-1),62), ((1),65), ((-2),66), ((-2),67), ((2),69), ((2),70), ((-2),72), ((2),73), ((2),74)], (11)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-2),5), ((-2),7), ((2),8), ((2),9), ((2),10), ((-2),11), ((2),12), ((-1),13), ((1),16), ((2),17), ((1),19), ((2),21), ((-1),23), ((2),26), ((2),28), ((2),29), ((2),31), ((-1),33), ((-1),34), ((1),35), ((1),39), ((2),40), ((1),41), ((1),43), ((1),47), ((1),48), ((1),53), ((-1),54), ((1),55), ((1),57), ((-2),58), ((1),61), ((2),64), ((2),66), ((2),69), ((1),70), ((2),73), ((1),74)], (-6)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-2),5), ((2),6), ((2),7), ((-2),8), ((-2),9), ((2),11), ((-2),12), ((1),13), ((2),14), ((1),15), ((-1),17), ((1),18), ((-1),20), ((2),22), ((2),23), ((2),24), ((1),25), ((-1),26), ((2),27), ((-1),31), ((2),33), ((-1),35), ((1),36), ((-2),40), ((-2),42), ((1),43), ((-2),44), ((-2),45), ((-1),47), ((1),48), ((1),51), ((-2),56), ((1),57), ((1),59), ((-2),60), ((-1),61), ((1),64), ((-2),65), ((-2),67), ((-1),71), ((1),73)], (10)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((1),5), ((-2),7), ((2),9), ((-2),14), ((2),17), ((-2),18), ((-1),19), ((-2),21), ((2),23), ((1),24), ((2),25), ((1),26), ((2),27), ((-2),28), ((-2),31), ((1),34), ((-2),35), ((-1),38), ((1),39), ((-2),41), ((-2),42), ((-2),43), ((2),44), ((-1),45), ((1),47), ((2),49), ((-2),50), ((1),52), ((1),54), ((-2),58), ((-1),59), ((-2),60), ((2),62), ((-2),64), ((2),65), ((-1),66), ((-1),67), ((1),68), ((2),70), ((2),71), ((-1),74)], (1)), ("GEQ", [((-2),1), ((1),2), ((1),3), ((-2),5), ((2),6), ((1),9), ((-1),11), ((-2),13), ((-1),15), ((2),16), ((-2),18), ((1),19), ((-2),20), ((-1),24), ((1),26), ((-2),27), ((2),28), ((2),30), ((1),31), ((1),32), ((1),36), ((-1),38), ((2),40), ((1),42), ((-2),45), ((1),46), ((-2),47), ((2),49), ((1),50), ((1),53), ((2),54), ((2),55), ((2),56), ((1),57), ((-2),58), ((2),61), ((1),62), ((-1),64), ((1),66), ((1),67), ((2),68), ((-2),69), ((-1),71), ((-1),73)], (-4)), ("GEQ", [((-2),1), ((-2),4), ((2),9), ((-1),11), ((1),12), ((2),13), ((-1),17), ((-2),18), ((-2),19), ((-2),21), ((1),22), ((-1),26), ((1),27), ((-2),29), ((2),30), ((-2),31), ((-1),32), ((-1),33), ((-2),36), ((-1),38), ((-1),41), ((1),46), ((2),48), ((-2),49), ((-2),51), ((1),52), ((-1),55), ((-2),56), ((2),57), ((2),58), ((-1),59), ((-2),60), ((-1),62), ((1),63), ((1),65), ((1),66), ((1),68), ((1),70), ((1),71), ((2),73)], (22)), ("GEQ", [((30),0), ((42),1), ((-8),2), ((-48),3), ((-1),4), ((24),5), ((33),6), ((-14),7), ((26),8), ((-10),9), ((-3),10), ((-14),11), ((-27),14), ((-24),15), ((17),16), ((-11),17), ((-6),18), ((42),19), ((8),20), ((38),21), ((-37),22), ((-1),23), ((43),24), ((-10),25), ((-9),26), ((5),27), ((24),28), ((41),29), ((28),30), ((40),31), ((-1),32), ((3),33), ((-7),34), ((-24),35), ((1),36), ((-25),37), ((-10),38), ((-25),39), ((-6),40), ((-5),41), ((32),42), ((-47),43), ((37),44), ((-5),45), ((-2),46), ((11),47), ((58),48), ((-15),49), ((-17),50), ((-5),51), ((-44),52), ((27),53), ((-27),54), ((-13),55), ((3),56), ((2),57), ((5),58), ((-28),59), ((-7),60), ((7),61), ((-11),62), ((-48),63), ((14),64), ((8),65), ((27),66), ((14),67), ((-9),68), ((-2),69), ((4),70), ((9),71), ((-41),72), ((-16),73), ((-5),74)], (-524)), ("GEQ", [((-32),0), ((-36),1), ((-7),2), ((93),3), ((-7),4), ((5),5), ((-47),6), ((10),7), ((-19),8), ((13),9), ((13),10), ((70),11), ((-43),12), ((-7),13), ((41),14), ((21),15), ((-15),16), ((-6),17), ((-1),18), ((-73),19), ((-1),20), ((-45),21), ((63),22), ((43),23), ((-21),24), ((28),25), ((26),26), ((13),27), ((-81),28), ((-71),29), ((-55),30), ((-36),31), ((-15),32), ((-10),33), ((9),34), ((42),35), ((23),36), ((23),37), ((1),38), ((34),39), ((-7),40), ((-18),41), ((-31),42), ((51),43), ((-52),44), ((13),45), ((-15),46), ((-31),47), ((-75),48), ((39),49), ((42),50), ((18),51), ((66),52), ((-29),53), ((59),54), ((6),55), ((3),56), ((-29),57), ((-4),58), ((28),59), ((10),60), ((-37),61), ((26),62), ((64),63), ((8),64), ((-9),65), ((-87),66), ((-9),67), ((11),68), ((-4),69), ((-14),70), ((8),71), ((75),72), ((50),73), ((-11),74)], (578)), ("GEQ", [((6),0), ((-6),1), ((28),2), ((-209),3), ((23),4), ((-112),5), ((77),6), ((-9),7), ((10),8), ((-9),9), ((-26),10), ((-215),11), ((153),12), ((17),13), ((-78),14), ((14),15), ((5),16), ((69),17), ((38),18), ((182),19), ((-18),20), ((103),21), ((-142),22), ((-180),23), ((-38),24), ((-72),25), ((-60),26), ((-92),27), ((211),28), ((116),29), ((109),30), ((37),31), ((47),32), ((4),33), ((-19),34), ((-74),35), ((-86),36), ((-33),37), ((38),38), ((-74),39), ((27),40), ((80),41), ((28),42), ((-54),43), ((56),44), ((-45),45), ((97),46), ((86),47), ((101),48), ((-77),49), ((-122),50), ((-51),51), ((-83),52), ((29),53), ((-106),54), ((29),55), ((17),56), ((101),57), ((-31),58), ((2),59), ((17),60), ((128),61), ((-59),62), ((-103),63), ((-48),64), ((49),65), ((231),66), ((-17),67), ((-2),68), ((49),69), ((57),70), ((-57),71), ((-120),72), ((-119),73), ((53),74)], (-1357)), ("GEQ", [((31),0), ((38),1), ((-31),2), ((198),3), ((-34),4), ((132),5), ((-57),6), ((-15),7), ((37),8), ((-7),9), ((49),10), ((225),11), ((-185),12), ((-34),13), ((71),14), ((-7),15), ((10),16), ((-97),17), ((-41),18), ((-166),19), ((30),20), ((-49),21), ((116),22), ((185),23), ((78),24), ((62),25), ((69),26), ((103),27), ((-236),28), ((-106),29), ((-79),30), ((35),31), ((-63),32), ((-25),33), ((-4),34), ((56),35), ((125),36), ((-20),37), ((-62),38), ((48),39), ((-52),40), ((-102),41), ((-12),42), ((25),43), ((-23),44), ((29),45), ((-75),46), ((-104),47), ((-62),48), ((102),49), ((93),50), ((48),51), ((55),52), ((5),53), ((131),54), ((-21),55), ((5),56), ((-110),57), ((16),58), ((-38),59), ((-2),60), ((-123),61), ((56),62), ((65),63), ((90),64), ((-20),65), ((-228),66), ((32),67), ((-20),68), ((-70),69), ((-75),70), ((57),71), ((118),72), ((127),73), ((-68),74)], (359)), ("GEQ", [((-45),0), ((-83),1), ((12),2), ((27),3), ((29),4), ((-33),5), ((-16),6), ((52),7), ((-106),8), ((38),9), ((-17),10), ((-2),11), ((78),12), ((32),13), ((33),14), ((-3),15), ((-46),16), ((78),17), ((18),18), ((-65),19), ((-20),20), ((-127),21), ((60),22), ((9),23), ((-85),24), ((27),25), ((-1),26), ((-4),27), ((57),28), ((-3),29), ((-46),30), ((-144),31), ((36),32), ((55),33), ((34),34), ((46),35), ((-78),36), ((144),37), ((73),38), ((58),39), ((35),40), ((45),41), ((-41),42), ((84),43), ((-65),44), ((33),45), ((-47),46), ((22),47), ((-62),48), ((-60),49), ((47),50), ((8),51), ((21),52), ((-75),53), ((-70),54), ((-35),55), ((-73),56), ((31),57), ((64),58), ((40),59), ((-59),60), ((-5),61), ((-26),62), ((94),63), ((-89),64), ((-62),65), ((-11),66), ((-27),67), ((35),68), ((39),69), ((37),70), ((8),71), ((-27),72), ((2),73), ((29),74)], (2330)), ("GEQ", [((-7),0), ((-39),1), ((29),2), ((-15),3), ((6),4), ((-25),5), ((-19),6), ((15),7), ((3),8), ((-18),9), ((-28),10), ((-39),11), ((10),12), ((-26),13), ((-2),14), ((32),15), ((-9),16), ((14),17), ((11),18), ((22),19), ((12),20), ((-4),21), ((-3),22), ((-26),23), ((-36),24), ((13),25), ((-19),26), ((-41),27), ((31),28), ((3),29), ((42),30), ((8),31), ((25),32), ((-23),33), ((21),34), ((-6),35), ((-7),36), ((5),37), ((15),38), ((-42),39), ((-17),40), ((16),41), ((13),42), ((10),43), ((-23),44), ((-23),45), ((50),46), ((19),47), ((-7),48), ((5),49), ((-46),50), ((-9),51), ((5),52), ((-2),53), ((-20),54), ((9),55), ((-19),56), ((21),57), ((-3),58), ((8),59), ((-7),60), ((14),61), ((-8),62), ((14),63), ((-5),64), ((16),65), ((3),66), ((-21),67), ((-7),68), ((-28),69), ((8),70), ((-31),71), ((16),72), ((-20),73), ((9),74)], (7)), ("GEQ", [((48),0), ((157),1), ((-95),2), ((165),3), ((-52),4), ((169),5), ((10),6), ((-73),7), ((40),8), ((-24),9), ((86),10), ((276),11), ((-202),12), ((-3),13), ((53),14), ((-73),15), ((61),16), ((-125),17), ((-58),18), ((-120),19), ((-2),20), ((40),21), ((62),22), ((221),23), ((183),24), ((16),25), ((76),26), ((135),27), ((-253),28), ((-111),29), ((-142),30), ((63),31), ((-115),32), ((-13),33), ((-63),34), ((23),35), ((128),36), ((-106),37), ((-105),38), ((105),39), ((10),40), ((-108),41), ((34),42), ((-15),43), ((16),44), ((30),45), ((-155),46), ((-111),47), ((-21),48), ((93),49), ((163),50), ((64),51), ((21),52), ((48),53), ((184),54), ((-33),55), ((97),56), ((-167),57), ((-6),58), ((-58),59), ((62),60), ((-115),61), ((77),62), ((-21),63), ((108),64), ((-40),65), ((-176),66), ((88),67), ((-10),68), ((-22),69), ((-84),70), ((87),71), ((44),72), ((133),73), ((-33),74)], (-820)), ("GEQ", [((-20),0), ((79),1), ((-56),2), ((-20),3), ((-50),4), ((-68),5), ((-3),6), ((-58),7), ((120),8), ((20),9), ((53),10), ((-60),11), ((-84),12), ((34),13), ((-29),14), ((38),15), ((44),16), ((-104),17), ((-24),18), ((54),19), ((-1),20), ((221),21), ((-66),22), ((-126),23), ((59),24), ((-70),25), ((18),26), ((20),27), ((-123),28), ((-89),29), ((-28),30), ((113),31), ((-75),32), ((-70),33), ((-83),34), ((-36),35), ((113),36), ((-232),37), ((-95),38), ((-33),39), ((-50),40), ((-62),41), ((-70),42), ((-97),43), ((76),44), ((-23),45), ((94),46), ((-61),47), ((10),48), ((119),49), ((-59),50), ((-47),51), ((76),52), ((59),53), ((207),54), ((146),55), ((182),56), ((-16),57), ((-169),58), ((12),59), ((193),60), ((53),61), ((65),62), ((-118),63), ((127),64), ((117),65), ((97),66), ((-1),67), ((-29),68), ((43),69), ((-17),70), ((-26),71), ((116),72), ((15),73), ((-85),74)], (-3865)), ("GEQ", [((133),0), ((12),1), ((120),2), ((-147),3), ((27),4), ((82),5), ((-24),6), ((31),7), ((179),8), ((-45),9), ((-67),10), ((-173),11), ((42),12), ((-74),13), ((-127),14), ((12),15), ((12),16), ((-46),17), ((-6),18), ((113),19), ((100),20), ((-9),21), ((-79),22), ((-89),23), ((-15),24), ((-35),25), ((-43),26), ((-11),27), ((140),28), ((267),29), ((293),30), ((178),31), ((94),32), ((-24),33), ((94),34), ((-68),35), ((7),36), ((13),37), ((-35),38), ((-218),39), ((-113),40), ((-12),41), ((80),42), ((-191),43), ((164),44), ((-18),45), ((121),46), ((53),47), ((192),48), ((-73),49), ((-176),50), ((-62),51), ((-137),52), ((87),53), ((-231),54), ((-24),55), ((-151),56), ((77),57), ((59),58), ((-74),59), ((-208),60), ((-5),61), ((-89),62), ((-83),63), ((47),64), ((77),65), ((7),66), ((-54),67), ((-61),68), ((-173),69), ((-47),70), ((-23),71), ((-31),72), ((-119),73), ((-61),74)], (-48))] [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]