[("GEQ", [((1),3), ((2),4), ((-2),5), ((-2),7), ((2),9), ((-1),10), ((1),12), ((-2),13), ((-2),14), ((-2),15), ((-1),16), ((-1),17), ((1),18), ((2),20), ((-2),29), ((2),32), ((1),33), ((1),35), ((-2),36), ((2),37), ((-2),38), ((1),39), ((2),41), ((1),42), ((1),43), ((-2),44), ((2),45), ((1),48), ((1),49), ((-1),50), ((-2),52), ((2),53), ((1),54), ((-2),55), ((-1),56), ((2),57), ((-1),58), ((-1),59), ((1),60), ((-2),62), ((1),63), ((2),64), ((2),65), ((-1),66), ((-1),67), ((-2),71), ((2),73)], (8)), ("GEQ", [((2),0), ((-1),2), ((1),3), ((-1),7), ((1),8), ((-2),9), ((1),10), ((-1),11), ((-2),13), ((-2),14), ((-2),15), ((-2),17), ((-1),18), ((1),19), ((-2),21), ((1),22), ((-2),23), ((2),24), ((-2),27), ((-1),28), ((1),29), ((-2),30), ((-2),32), ((-2),33), ((2),34), ((-1),36), ((-2),37), ((-1),38), ((-2),41), ((2),42), ((1),44), ((-2),45), ((-2),47), ((1),51), ((-2),52), ((-2),53), ((-1),55), ((2),56), ((1),57), ((-2),58), ((-1),59), ((1),60), ((-1),61), ((-1),62), ((2),63), ((1),65), ((2),66), ((2),67), ((-1),69), ((-1),70), ((-1),71), ((1),72), ((1),73), ((-2),74)], (21)), ("GEQ", [((-2),1), ((-2),2), ((-2),3), ((-2),4), ((2),5), ((-2),6), ((2),7), ((-1),8), ((1),9), ((-1),10), ((1),11), ((-1),14), ((-1),15), ((-1),17), ((2),18), ((-1),19), ((-1),21), ((-1),22), ((1),23), ((-2),24), ((1),25), ((-2),26), ((-1),27), ((1),28), ((-2),30), ((-1),31), ((2),32), ((1),33), ((2),34), ((1),35), ((-2),38), ((-2),39), ((-1),41), ((2),42), ((-1),43), ((-2),44), ((1),45), ((2),46), ((1),48), ((-1),49), ((-2),50), ((-1),53), ((-2),54), ((2),58), ((-1),61), ((2),63), ((-2),64), ((-1),65), ((-2),66), ((-2),67), ((-2),69), ((1),70), ((-1),71), ((2),72), ((1),73), ((1),74)], (45)), ("GEQ", [((2),1), ((-1),2), ((2),3), ((-2),7), ((1),8), ((-1),10), ((-2),11), ((-1),12), ((2),13), ((2),15), ((1),16), ((2),17), ((1),18), ((1),22), ((-1),27), ((-1),28), ((-1),29), ((2),30), ((2),31), ((1),33), ((-2),34), ((1),35), ((2),36), ((1),37), ((1),38), ((1),43), ((-1),48), ((2),49), ((1),51), ((-1),52), ((1),53), ((1),56), ((1),57), ((1),58), ((2),59), ((2),61), ((-1),62), ((2),63), ((-1),64), ((1),65), ((-2),66), ((2),68), ((-1),69), ((-1),70), ((1),71), ((-1),73)], (-34)), ("GEQ", [((-1),0), ((-1),1), ((-2),3), ((2),4), ((-2),5), ((-2),6), ((-1),7), ((2),8), ((2),9), ((1),11), ((2),12), ((2),14), ((2),17), ((1),18), ((1),22), ((2),23), ((-1),24), ((-2),25), ((2),29), ((2),31), ((2),32), ((2),33), ((-2),34), ((-2),36), ((-2),40), ((-2),42), ((-1),43), ((1),47), ((-1),48), ((-2),49), ((2),50), ((1),51), ((2),52), ((-1),55), ((1),58), ((1),60), ((2),62), ((1),64), ((2),68), ((-1),69), ((-1),70), ((-1),71), ((-1),74)], (0)), ("GEQ", [((2),0), ((2),2), ((-1),3), ((2),4), ((2),5), ((-2),10), ((1),13), ((1),14), ((2),15), ((1),16), ((1),17), ((1),21), ((-1),22), ((-1),24), ((1),26), ((1),29), ((1),31), ((2),32), ((-2),33), ((-1),34), ((-1),37), ((-1),38), ((-2),39), ((-2),40), ((2),41), ((1),42), ((-2),43), ((1),46), ((1),48), ((-1),49), ((-1),50), ((1),53), ((2),54), ((2),55), ((2),57), ((-2),59), ((1),60), ((2),61), ((1),63), ((-2),64), ((2),65), ((-1),66), ((-2),68), ((2),69), ((-1),70), ((-2),72)], (-39)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-2),5), ((2),9), ((-1),11), ((-2),16), ((-2),20), ((2),22), ((-1),23), ((1),24), ((2),26), ((-2),27), ((1),29), ((1),31), ((2),32), ((-1),33), ((1),34), ((2),36), ((-1),38), ((2),40), ((-1),41), ((1),42), ((1),43), ((-2),44), ((1),47), ((1),49), ((-1),50), ((1),53), ((-1),54), ((2),55), ((2),56), ((2),58), ((-2),60), ((-1),62), ((-1),64), ((2),65), ((1),66), ((1),67), ((2),68), ((1),71), ((2),72), ((1),74)], (-29)), ("GEQ", [((-2),1), ((1),2), ((2),5), ((2),6), ((2),8), ((-1),9), ((-2),10), ((2),11), ((1),12), ((1),13), ((-2),14), ((1),15), ((1),22), ((1),23), ((2),25), ((1),28), ((1),29), ((-1),30), ((-1),31), ((-1),34), ((-1),35), ((-1),36), ((-1),39), ((-2),40), ((-1),41), ((1),42), ((2),43), ((1),44), ((2),45), ((-1),47), ((-2),49), ((-2),52), ((-2),53), ((-2),54), ((1),55), ((-2),56), ((1),57), ((2),58), ((1),59), ((1),60), ((-2),62), ((-2),63), ((-1),65), ((1),68), ((1),70), ((-2),72), ((2),73), ((-2),74)], (29)), ("GEQ", [((-1),0), ((-1),1), ((1),3), ((-1),5), ((1),6), ((2),8), ((2),9), ((-1),13), ((-2),14), ((2),15), ((-1),16), ((2),18), ((-1),21), ((1),22), ((-2),23), ((-1),24), ((2),25), ((2),26), ((1),31), ((-2),34), ((2),35), ((-2),36), ((-2),38), ((1),39), ((-1),42), ((2),43), ((-2),44), ((-2),45), ((-1),46), ((-2),47), ((-2),49), ((-2),50), ((-1),51), ((-2),52), ((-2),54), ((1),56), ((2),57), ((2),58), ((-1),59), ((2),60), ((2),61), ((-2),65), ((2),70), ((1),73)], (23)), ("GEQ", [((2),2), ((1),4), ((2),5), ((2),8), ((-2),12), ((-2),13), ((1),14), ((2),15), ((1),18), ((-1),21), ((-1),22), ((-1),23), ((1),28), ((-2),30), ((-1),33), ((-2),34), ((-2),35), ((-2),38), ((-1),39), ((-2),40), ((2),42), ((2),43), ((2),44), ((-2),45), ((-2),46), ((-1),47), ((-1),48), ((2),50), ((1),51), ((-1),52), ((2),56), ((1),57), ((1),58), ((1),59), ((-2),61), ((1),62), ((-2),64), ((-1),65), ((2),68), ((-1),73)], (10)), ("GEQ", [((-2),2), ((-1),4), ((-1),5), ((1),6), ((1),7), ((1),10), ((2),11), ((1),12), ((2),16), ((-2),18), ((1),19), ((-1),21), ((-2),22), ((-2),25), ((-1),27), ((-1),31), ((2),33), ((-2),34), ((-1),35), ((2),36), ((1),41), ((-2),42), ((-2),43), ((-1),45), ((1),46), ((2),51), ((-2),52), ((-2),53), ((1),57), ((1),62), ((-2),64), ((-1),65), ((2),66), ((-2),67), ((-2),69), ((2),70), ((-1),71)], (53)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((1),3), ((-2),4), ((-2),8), ((1),9), ((1),13), ((-1),14), ((1),17), ((-1),18), ((-2),19), ((-2),21), ((-2),23), ((-2),27), ((-2),28), ((1),29), ((-2),30), ((2),33), ((2),34), ((-1),35), ((-2),36), ((-1),38), ((-1),40), ((1),43), ((2),45), ((1),47), ((-2),48), ((1),50), ((1),51), ((1),53), ((1),54), ((-1),57), ((2),58), ((-2),59), ((-1),60), ((-1),61), ((-2),63), ((-2),64), ((1),68), ((2),70), ((1),73), ((-2),74)], (26)), ("GEQ", [((2),1), ((1),2), ((2),3), ((-2),4), ((-2),5), ((-1),6), ((2),9), ((-2),11), ((-2),13), ((1),17), ((-1),19), ((2),20), ((-1),22), ((-1),25), ((1),26), ((1),27), ((1),28), ((2),29), ((-2),30), ((2),31), ((2),32), ((-1),33), ((2),34), ((2),36), ((1),37), ((2),39), ((2),40), ((-1),41), ((1),42), ((-1),46), ((-2),47), ((-2),50), ((-2),51), ((-1),52), ((2),53), ((-2),54), ((1),55), ((1),57), ((-1),58), ((-1),61), ((1),62), ((-1),64), ((-1),65), ((-2),66), ((-2),69), ((-1),71), ((1),72), ((-2),73), ((1),74)], (22)), ("GEQ", [((2),2), ((1),8), ((1),9), ((-1),11), ((2),12), ((2),13), ((-1),15), ((2),16), ((1),18), ((1),19), ((1),21), ((2),22), ((-2),25), ((2),26), ((1),28), ((-2),29), ((-2),37), ((-2),39), ((1),41), ((-2),42), ((-1),44), ((-2),45), ((1),46), ((-2),47), ((2),48), ((1),51), ((1),53), ((2),54), ((2),55), ((-2),58), ((-1),60), ((-1),61), ((-2),63), ((-2),64), ((-1),66), ((-1),70), ((1),71), ((-2),72), ((2),73), ((-1),74)], (-35)), ("GEQ", [((2),0), ((-2),1), ((-2),2), ((-2),4), ((1),7), ((2),8), ((2),10), ((-1),12), ((-2),15), ((1),16), ((2),17), ((2),18), ((1),19), ((-2),20), ((2),21), ((-1),23), ((-1),26), ((-2),27), ((-2),28), ((-1),30), ((2),31), ((-2),32), ((-1),36), ((2),38), ((2),40), ((2),41), ((1),43), ((-1),44), ((-2),45), ((1),47), ((1),50), ((-1),52), ((-1),53), ((1),54), ((-1),56), ((-2),57), ((-1),58), ((-2),59), ((-1),61), ((1),63), ((1),64), ((-1),65), ((-2),66), ((-1),67), ((2),68), ((2),69), ((-2),70), ((-2),71), ((-2),73), ((-2),74)], (39)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((2),4), ((-2),5), ((-1),6), ((2),8), ((-2),9), ((-1),11), ((1),12), ((-1),13), ((2),14), ((-1),22), ((-1),24), ((1),25), ((2),26), ((-2),27), ((-2),28), ((2),30), ((-1),31), ((-1),32), ((1),33), ((-2),35), ((-2),40), ((1),42), ((-2),44), ((-1),46), ((-2),48), ((-1),51), ((-2),52), ((-1),53), ((1),55), ((-1),57), ((2),59), ((-1),61), ((2),62), ((1),63), ((2),64), ((1),66), ((1),71), ((-1),74)], (23)), ("GEQ", [((-1),1), ((-1),2), ((1),5), ((1),8), ((1),9), ((2),10), ((1),13), ((-2),15), ((-2),19), ((2),21), ((1),22), ((-1),25), ((1),27), ((2),28), ((2),29), ((1),30), ((1),31), ((-2),33), ((-2),34), ((2),35), ((-2),37), ((-1),39), ((-1),40), ((-1),42), ((2),43), ((-1),44), ((2),45), ((-1),46), ((1),48), ((2),51), ((-1),52), ((-2),53), ((1),54), ((2),55), ((-2),56), ((-1),58), ((1),59), ((1),60), ((1),61), ((1),62), ((-2),63), ((2),64), ((1),65), ((1),66), ((2),67), ((1),68), ((2),69), ((1),70), ((-1),71), ((-2),72)], (-50)), ("GEQ", [((-1),0), ((-1),4), ((1),5), ((2),6), ((-2),8), ((2),12), ((-2),13), ((-2),14), ((2),15), ((2),16), ((1),20), ((1),21), ((-1),23), ((2),25), ((2),26), ((1),27), ((1),28), ((-1),31), ((-2),32), ((1),33), ((-1),34), ((1),37), ((1),39), ((2),40), ((-2),41), ((-1),42), ((2),43), ((2),44), ((2),45), ((-2),46), ((1),52), ((1),53), ((-1),54), ((2),55), ((-2),60), ((-2),67), ((-1),68), ((1),70), ((1),72), ((1),73), ((-2),74)], (9)), ("GEQ", [((2),0), ((-2),3), ((1),4), ((-1),6), ((-2),13), ((-2),14), ((-1),15), ((1),16), ((-2),17), ((-2),18), ((2),20), ((1),22), ((1),23), ((-1),24), ((2),25), ((2),26), ((1),27), ((2),30), ((-1),31), ((-2),36), ((1),37), ((-1),41), ((2),42), ((-2),43), ((-2),44), ((1),46), ((-2),47), ((-2),51), ((1),58), ((-1),61), ((-1),62), ((-2),63), ((2),64), ((1),68), ((-1),71), ((-1),73), ((1),74)], (42)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((2),4), ((-2),7), ((-2),8), ((1),9), ((-1),11), ((2),13), ((2),18), ((-2),20), ((-1),22), ((2),24), ((-1),25), ((1),26), ((1),28), ((2),30), ((1),31), ((-1),37), ((-1),38), ((1),39), ((1),40), ((-1),41), ((2),42), ((2),43), ((2),44), ((1),46), ((-1),47), ((-2),48), ((-1),50), ((2),51), ((2),52), ((-1),55), ((2),56), ((2),57), ((1),58), ((-2),61), ((1),62), ((2),65), ((-1),69), ((-1),70), ((1),73), ((-1),74)], (-45)), ("GEQ", [((1),1), ((1),2), ((-2),3), ((1),7), ((-1),8), ((-2),9), ((-1),12), ((-2),14), ((-2),17), ((2),19), ((-2),20), ((1),21), ((2),24), ((1),25), ((-1),26), ((2),28), ((2),29), ((1),30), ((1),32), ((2),33), ((-1),34), ((2),37), ((2),39), ((2),41), ((2),43), ((-2),44), ((1),45), ((-1),46), ((-1),47), ((2),48), ((-2),53), ((2),54), ((-1),55), ((-1),56), ((-1),58), ((1),60), ((-2),61), ((1),62), ((-2),64), ((-1),66), ((-2),68), ((1),69), ((-1),70), ((-2),71), ((2),72), ((-1),73)], (-13)), ("GEQ", [((2),0), ((-2),2), ((1),3), ((-1),4), ((-1),7), ((-1),8), ((-2),10), ((-1),11), ((-1),14), ((2),16), ((1),17), ((1),18), ((-2),19), ((-2),20), ((1),21), ((2),22), ((2),23), ((1),24), ((2),26), ((1),28), ((-2),29), ((1),31), ((1),32), ((1),34), ((2),37), ((-2),38), ((2),39), ((2),41), ((2),42), ((2),48), ((-2),52), ((2),53), ((-2),55), ((2),56), ((-1),57), ((2),58), ((-2),59), ((-1),61), ((1),66), ((-1),67), ((-2),68), ((-2),70), ((1),71), ((-2),72), ((-1),73)], (-6)), ("GEQ", [((1),0), ((-1),2), ((-2),5), ((2),9), ((-1),10), ((2),11), ((-1),13), ((1),15), ((-2),17), ((-2),20), ((2),21), ((-1),23), ((-1),24), ((-2),26), ((-2),27), ((1),29), ((-1),30), ((-2),32), ((-1),36), ((1),38), ((1),40), ((1),41), ((2),42), ((2),43), ((-2),45), ((-2),47), ((-2),49), ((1),50), ((-1),54), ((2),55), ((1),56), ((-1),57), ((-1),58), ((1),61), ((2),63), ((-1),64), ((2),65), ((-1),66), ((-1),67), ((2),68), ((-1),71), ((2),72), ((-1),73), ((-1),74)], (-12)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((-1),5), ((1),6), ((-2),7), ((1),8), ((-1),9), ((-2),10), ((1),11), ((-1),13), ((-1),14), ((-2),15), ((-2),18), ((1),20), ((-2),22), ((-1),25), ((2),27), ((-2),28), ((1),29), ((-2),30), ((-1),32), ((-1),33), ((-2),34), ((2),35), ((1),36), ((-2),41), ((-2),42), ((2),45), ((-2),46), ((2),47), ((2),48), ((-1),49), ((-1),51), ((1),52), ((1),53), ((2),57), ((1),58), ((-2),59), ((-1),60), ((-1),62), ((-2),64), ((1),65), ((-1),66), ((1),67), ((1),68), ((-2),69), ((2),70), ((-1),74)], (55)), ("GEQ", [((1),1), ((2),2), ((-2),4), ((-1),5), ((1),7), ((-1),9), ((2),11), ((-1),13), ((-2),15), ((-2),16), ((1),19), ((1),20), ((1),21), ((-1),22), ((1),23), ((2),24), ((-2),27), ((1),28), ((-2),29), ((2),30), ((-1),31), ((-1),34), ((-2),36), ((-1),37), ((2),39), ((2),41), ((-1),43), ((-1),44), ((-2),45), ((2),47), ((-2),48), ((-2),50), ((1),52), ((2),53), ((1),54), ((-1),59), ((1),60), ((2),62), ((2),63), ((-1),65), ((-1),67), ((1),68), ((2),69), ((-2),70), ((2),74)], (26)), ("GEQ", [((-2),3), ((2),4), ((1),5), ((2),6), ((2),9), ((-1),10), ((2),13), ((-1),14), ((1),17), ((1),20), ((-1),21), ((-1),22), ((-1),24), ((-1),25), ((2),26), ((-2),28), ((-2),35), ((1),37), ((-1),40), ((1),41), ((-2),44), ((-2),45), ((1),46), ((1),47), ((1),48), ((-2),49), ((1),51), ((-2),52), ((1),54), ((2),55), ((2),58), ((2),61), ((1),62), ((1),65), ((1),66), ((2),67), ((2),70)], (-20)), ("GEQ", [((-2),0), ((1),1), ((1),3), ((-2),6), ((2),7), ((1),11), ((-1),14), ((-2),15), ((1),17), ((-2),19), ((-1),20), ((-2),21), ((-2),22), ((2),23), ((1),26), ((-1),28), ((-1),29), ((1),30), ((2),32), ((-1),33), ((1),34), ((-2),35), ((1),36), ((1),39), ((1),41), ((-1),42), ((-1),45), ((1),46), ((1),47), ((-1),48), ((-1),49), ((2),50), ((-2),52), ((1),53), ((1),54), ((2),55), ((1),56), ((-2),58), ((-2),61), ((1),62), ((-1),65), ((-1),66), ((1),67), ((2),74)], (-27)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((1),6), ((2),9), ((-1),10), ((-1),11), ((-1),12), ((-1),15), ((-2),16), ((1),19), ((-2),20), ((-2),23), ((-1),25), ((1),26), ((-1),27), ((-1),30), ((1),31), ((-1),32), ((1),33), ((1),34), ((-2),35), ((2),36), ((2),37), ((-2),39), ((2),40), ((2),42), ((1),43), ((2),44), ((1),45), ((2),46), ((2),47), ((-2),48), ((-1),49), ((1),50), ((1),51), ((-2),52), ((-2),54), ((2),55), ((2),59), ((1),60), ((-2),62), ((1),63), ((1),64), ((2),65), ((2),66), ((-2),67), ((-1),69), ((1),70), ((1),73), ((2),74)], (-72)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((1),6), ((-1),8), ((2),9), ((-2),10), ((2),11), ((1),13), ((1),15), ((-1),16), ((2),18), ((-2),19), ((1),22), ((1),23), ((2),24), ((-2),25), ((2),26), ((-2),28), ((1),30), ((-1),33), ((-2),34), ((2),36), ((-2),37), ((-1),40), ((2),43), ((2),46), ((2),47), ((2),48), ((2),49), ((1),50), ((-1),54), ((2),55), ((2),56), ((-2),57), ((1),59), ((2),61), ((1),63), ((-1),64), ((-2),68), ((2),69), ((-1),70), ((-1),71), ((-1),74)], (-86)), ("GEQ", [((-1),2), ((2),5), ((2),7), ((2),8), ((-2),12), ((-2),13), ((2),14), ((-2),15), ((-1),17), ((-2),20), ((2),21), ((-1),22), ((1),23), ((-2),24), ((-1),25), ((2),29), ((-2),30), ((-1),32), ((1),33), ((2),35), ((2),36), ((-2),38), ((-1),41), ((2),42), ((-2),43), ((1),44), ((2),46), ((-1),47), ((-1),48), ((2),49), ((-1),51), ((-2),54), ((2),58), ((2),59), ((1),60), ((2),61), ((1),62), ((2),63), ((1),65), ((1),67), ((-2),68), ((2),71), ((-2),72)], (9)), ("GEQ", [((1),0), ((-2),2), ((2),3), ((-1),4), ((1),5), ((-1),6), ((-2),7), ((1),8), ((2),9), ((1),13), ((1),14), ((-2),15), ((1),16), ((-2),17), ((-1),21), ((-1),23), ((1),24), ((-2),25), ((-2),26), ((-1),28), ((1),29), ((-2),30), ((-2),31), ((-1),33), ((-1),34), ((2),37), ((-1),38), ((1),39), ((-1),41), ((2),44), ((-1),46), ((1),48), ((-1),49), ((1),50), ((2),52), ((1),53), ((-1),54), ((2),56), ((2),57), ((2),58), ((-1),59), ((1),61), ((-1),63), ((2),64), ((-1),65), ((-2),66), ((2),68), ((-2),71), ((1),72), ((1),74)], (-7)), ("GEQ", [((2),0), ((1),3), ((2),6), ((-1),7), ((-1),9), ((-1),10), ((-2),12), ((-2),14), ((2),15), ((-2),17), ((-2),18), ((2),19), ((1),20), ((1),22), ((-2),23), ((1),24), ((-1),25), ((-1),26), ((-1),28), ((-2),29), ((2),31), ((-2),35), ((1),36), ((2),37), ((-2),38), ((-1),39), ((1),40), ((-1),44), ((2),45), ((2),46), ((-1),47), ((2),49), ((-2),51), ((-2),53), ((-1),56), ((-2),57), ((2),58), ((2),59), ((1),60), ((-2),61), ((2),64), ((2),65), ((2),67), ((2),69), ((1),70), ((-1),72), ((2),73), ((-2),74)], (-10)), ("GEQ", [((-2),1), ((-2),5), ((-1),6), ((1),7), ((-2),8), ((-1),9), ((1),12), ((-1),13), ((-2),15), ((2),16), ((-2),17), ((2),20), ((1),22), ((1),25), ((-2),26), ((1),27), ((2),29), ((1),30), ((-1),32), ((1),33), ((-2),34), ((2),35), ((-2),37), ((-2),38), ((-2),40), ((-2),41), ((-2),42), ((2),44), ((-1),45), ((-1),46), ((2),47), ((-2),51), ((-1),54), ((1),55), ((1),57), ((2),60), ((-1),64), ((-2),67), ((-2),68), ((-1),71), ((1),72), ((2),74)], (3)), ("GEQ", [((2),1), ((-1),3), ((2),8), ((-2),11), ((-1),12), ((-2),16), ((-1),17), ((1),18), ((1),19), ((-1),20), ((2),22), ((-1),24), ((-1),25), ((2),26), ((-1),28), ((2),29), ((1),32), ((2),34), ((-1),36), ((2),37), ((-1),38), ((2),39), ((2),42), ((-1),46), ((-1),47), ((1),48), ((2),49), ((1),50), ((-1),51), ((2),52), ((-2),53), ((1),54), ((2),55), ((2),56), ((-2),57), ((-1),59), ((1),60), ((1),62), ((-2),64), ((-2),65), ((1),68), ((-2),69), ((-2),70), ((2),71), ((1),72), ((2),73), ((2),74)], (-8)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((-2),3), ((-1),4), ((2),5), ((1),7), ((2),8), ((-1),9), ((1),10), ((-1),15), ((-1),16), ((1),17), ((-1),20), ((2),21), ((-2),23), ((-1),25), ((-1),26), ((2),28), ((2),29), ((2),30), ((-2),31), ((-2),33), ((1),34), ((1),35), ((-1),36), ((-1),38), ((-2),39), ((1),41), ((1),43), ((-2),44), ((1),45), ((-2),46), ((1),47), ((1),48), ((1),52), ((-2),55), ((1),56), ((1),60), ((1),61), ((1),63), ((1),64), ((2),66), ((-2),67), ((1),68), ((2),70), ((2),71), ((1),72), ((1),73)], (-13)), ("GEQ", [((-2),1), ((1),2), ((2),4), ((-2),5), ((2),6), ((-1),7), ((-2),8), ((1),12), ((1),15), ((2),16), ((2),17), ((-2),18), ((1),19), ((-1),20), ((-2),21), ((2),22), ((-1),26), ((-2),28), ((1),31), ((2),32), ((-2),34), ((-1),35), ((-2),37), ((2),38), ((1),39), ((1),41), ((1),43), ((1),45), ((1),47), ((-2),48), ((1),49), ((-1),50), ((2),52), ((-1),53), ((1),54), ((-2),55), ((-2),57), ((2),59), ((2),60), ((-1),61), ((2),63), ((1),64), ((1),65), ((-1),66), ((1),69), ((-1),71)], (-2)), ("GEQ", [((-2),4), ((-1),5), ((-1),7), ((2),10), ((-2),12), ((-2),15), ((-2),16), ((2),19), ((1),21), ((-1),23), ((-2),24), ((-1),25), ((-1),26), ((1),29), ((2),30), ((-1),31), ((-1),33), ((1),34), ((-2),36), ((-2),38), ((-1),39), ((1),41), ((-1),43), ((-2),44), ((-2),45), ((1),46), ((1),47), ((1),48), ((1),49), ((1),50), ((1),51), ((2),52), ((-1),54), ((2),55), ((-2),56), ((1),57), ((-1),58), ((2),59), ((1),61), ((1),62), ((2),63), ((2),64), ((-1),66), ((2),67), ((1),70)], (1)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((-1),3), ((-1),5), ((-1),6), ((1),7), ((-1),8), ((1),11), ((-2),13), ((-1),14), ((1),15), ((-1),18), ((-1),23), ((-1),24), ((-2),25), ((-1),26), ((2),27), ((2),28), ((2),31), ((1),32), ((-1),33), ((-2),39), ((-1),42), ((2),44), ((-2),45), ((-2),46), ((1),47), ((-2),48), ((2),49), ((-2),51), ((-1),52), ((-2),55), ((2),57), ((-2),59), ((-1),60), ((-1),62), ((-1),63), ((1),64), ((-2),65), ((-1),66), ((-2),67), ((-1),68), ((2),69), ((-2),70), ((-1),71), ((2),72)], (8)), ("GEQ", [((-1),1), ((-1),2), ((2),4), ((-1),5), ((-1),6), ((1),10), ((-2),11), ((-1),12), ((-2),14), ((-1),18), ((2),20), ((2),23), ((1),24), ((2),25), ((-2),28), ((1),31), ((2),32), ((-2),34), ((-2),35), ((1),36), ((2),38), ((2),43), ((-1),52), ((-2),57), ((1),58), ((-2),59), ((2),60), ((-2),61), ((1),62), ((-1),63), ((1),64), ((1),65), ((-1),66), ((-2),68), ((-2),71), ((-2),72), ((-2),73), ((-2),74)], (6)), ("GEQ", [((-2),0), ((-2),2), ((1),4), ((1),5), ((2),7), ((2),8), ((1),11), ((1),12), ((-1),13), ((2),14), ((-2),15), ((-1),17), ((2),18), ((-2),19), ((2),25), ((1),26), ((-2),28), ((-1),30), ((1),31), ((-2),32), ((2),35), ((-1),37), ((-2),38), ((-1),39), ((2),40), ((-1),43), ((1),44), ((-2),45), ((2),46), ((2),47), ((2),49), ((1),50), ((1),52), ((1),53), ((1),58), ((2),60), ((2),61), ((2),62), ((2),63), ((-2),65), ((-1),66), ((1),67), ((-1),68), ((-2),69), ((-1),73), ((-2),74)], (0)), ("GEQ", [((1),0), ((-1),2), ((-2),4), ((2),5), ((2),7), ((-1),8), ((1),9), ((1),10), ((1),11), ((1),12), ((-2),13), ((2),16), ((2),19), ((-1),20), ((2),21), ((2),24), ((-1),25), ((2),29), ((-1),31), ((2),32), ((2),33), ((1),34), ((-1),36), ((1),38), ((-1),39), ((1),40), ((2),42), ((-1),45), ((-1),46), ((1),49), ((2),50), ((-1),52), ((-1),53), ((-1),54), ((2),55), ((2),56), ((2),60), ((2),61), ((-2),63), ((1),64), ((-2),65), ((-2),66), ((-1),68), ((1),69), ((2),72), ((-1),73)], (13)), ("GEQ", [((2),0), ((1),1), ((-1),3), ((1),4), ((2),5), ((-1),6), ((-2),10), ((-1),11), ((-2),12), ((-2),13), ((-1),16), ((2),19), ((2),20), ((-1),21), ((2),22), ((-2),23), ((-2),26), ((-2),27), ((1),29), ((1),32), ((1),35), ((-1),36), ((1),37), ((-2),38), ((1),39), ((2),40), ((1),41), ((-2),42), ((-1),43), ((1),44), ((-2),45), ((2),46), ((1),47), ((-2),48), ((-2),49), ((1),50), ((-2),51), ((1),52), ((-1),54), ((2),55), ((-1),56), ((-1),57), ((1),60), ((-1),61), ((2),64), ((1),66), ((-1),67), ((-1),68), ((-1),69), ((-1),71), ((1),73)], (-27)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((-2),5), ((-1),7), ((1),8), ((2),9), ((-2),13), ((1),14), ((2),17), ((-2),19), ((-2),20), ((-2),21), ((1),22), ((1),23), ((-1),24), ((-1),25), ((1),26), ((-2),27), ((2),28), ((-2),29), ((2),30), ((-2),31), ((-1),36), ((1),38), ((-1),40), ((2),41), ((-2),43), ((1),44), ((-1),46), ((1),49), ((-1),50), ((1),51), ((1),53), ((1),54), ((-2),56), ((1),57), ((2),59), ((2),60), ((2),65), ((1),66), ((-2),68), ((2),70), ((1),71), ((2),73)], (14)), ("GEQ", [((-1),4), ((-2),6), ((2),7), ((1),9), ((-2),10), ((2),16), ((1),17), ((2),18), ((-2),21), ((2),22), ((1),24), ((-2),26), ((2),28), ((-1),29), ((1),32), ((-2),33), ((-1),34), ((-2),36), ((1),39), ((1),41), ((2),42), ((2),43), ((2),44), ((1),45), ((-2),46), ((-1),48), ((2),50), ((-2),51), ((-1),55), ((1),58), ((-2),59), ((-1),60), ((1),62), ((2),64), ((1),66), ((-2),70), ((-2),72)], (-9)), ("GEQ", [((-1),1), ((-2),2), ((-2),4), ((1),5), ((1),6), ((-1),10), ((2),11), ((1),12), ((1),14), ((1),15), ((-2),19), ((1),20), ((1),24), ((1),25), ((-1),28), ((1),29), ((-2),32), ((-1),33), ((1),34), ((-2),35), ((1),38), ((-1),40), ((-1),41), ((1),44), ((1),46), ((-1),47), ((-1),48), ((1),49), ((1),50), ((-2),51), ((-2),55), ((1),56), ((-1),57), ((-2),58), ((1),59), ((-1),60), ((-2),62), ((-2),63), ((2),64), ((1),65), ((1),66), ((-2),69), ((1),72), ((2),73), ((-1),74)], (-5)), ("GEQ", [((-1),1), ((-1),2), ((2),3), ((1),4), ((-1),5), ((-1),6), ((1),8), ((1),9), ((1),10), ((-1),16), ((1),18), ((-1),21), ((-2),23), ((-2),24), ((2),26), ((-2),27), ((-2),28), ((2),29), ((1),31), ((1),33), ((1),36), ((-1),37), ((-1),38), ((-2),39), ((2),41), ((2),42), ((1),47), ((1),48), ((2),49), ((2),52), ((1),55), ((-2),56), ((2),58), ((1),59), ((2),65), ((1),66), ((2),67), ((-2),70), ((2),71), ((-1),74)], (-9)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-2),6), ((2),7), ((-2),8), ((-2),9), ((1),11), ((-2),16), ((-1),19), ((-2),20), ((1),21), ((-1),23), ((-2),25), ((2),26), ((1),27), ((1),28), ((-1),29), ((-2),30), ((2),31), ((2),33), ((2),34), ((-1),35), ((1),37), ((2),38), ((-1),40), ((2),41), ((-2),42), ((-1),43), ((1),44), ((2),45), ((-2),48), ((1),49), ((2),53), ((-1),54), ((-1),55), ((1),56), ((1),58), ((-2),61), ((-2),64), ((1),65), ((1),66), ((-2),69), ((-1),70), ((-2),72), ((-1),74)], (-1)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((-1),5), ((1),6), ((-1),7), ((1),9), ((-1),10), ((-2),11), ((1),12), ((-1),13), ((2),14), ((1),15), ((-2),16), ((-2),17), ((-2),18), ((-2),19), ((-2),20), ((-2),22), ((-1),24), ((1),25), ((2),26), ((1),27), ((1),29), ((2),30), ((-1),31), ((2),32), ((2),33), ((-1),35), ((2),37), ((-1),39), ((-2),40), ((1),41), ((1),44), ((-2),45), ((1),46), ((-1),47), ((1),49), ((-2),51), ((-1),52), ((-1),54), ((-2),55), ((-1),57), ((-1),58), ((-2),61), ((1),62), ((-2),64), ((-1),65), ((-2),67), ((-2),68), ((-1),70), ((2),71), ((-2),73), ((2),74)], (16)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-1),4), ((-1),8), ((-1),9), ((-2),10), ((-2),11), ((2),13), ((-2),14), ((1),15), ((2),16), ((2),17), ((-2),18), ((2),20), ((-1),21), ((2),22), ((1),27), ((-1),28), ((1),30), ((1),31), ((2),32), ((-2),33), ((2),35), ((-1),37), ((2),40), ((-1),41), ((-1),43), ((-2),44), ((-2),45), ((1),46), ((-2),47), ((-1),48), ((-2),51), ((-1),52), ((-2),57), ((1),59), ((1),60), ((-1),62), ((2),64), ((-2),67), ((2),68), ((2),69), ((-2),70), ((2),71), ((1),72), ((1),73)], (2)), ("GEQ", [((-1),4), ((-1),5), ((2),6), ((-2),7), ((-2),8), ((2),9), ((-1),10), ((-1),11), ((-1),12), ((-1),13), ((-2),15), ((2),16), ((2),17), ((-2),18), ((1),19), ((2),23), ((2),24), ((1),27), ((-1),28), ((2),32), ((2),34), ((-1),36), ((-2),38), ((2),39), ((1),40), ((-1),41), ((2),42), ((-2),43), ((-1),45), ((-2),48), ((-2),49), ((-1),50), ((1),51), ((2),52), ((-2),55), ((1),56), ((-1),57), ((2),59), ((-1),60), ((2),63), ((2),70), ((1),71), ((-2),72), ((-1),73)], (50)), ("GEQ", [((-1),0), ((2),1), ((-1),4), ((-1),5), ((-1),6), ((2),8), ((-2),10), ((1),11), ((1),15), ((2),16), ((1),17), ((1),19), ((2),20), ((-2),21), ((2),22), ((-2),26), ((-2),27), ((-2),28), ((2),30), ((-2),31), ((-2),33), ((1),35), ((-1),36), ((-2),37), ((1),38), ((-1),40), ((2),42), ((-1),43), ((2),47), ((1),49), ((1),50), ((-1),52), ((-1),53), ((-1),57), ((1),58), ((2),61), ((-1),62), ((1),66), ((1),67), ((2),68), ((-2),69), ((-2),70), ((-2),73), ((2),74)], (21)), ("GEQ", [((2),0), ((-2),1), ((1),7), ((2),10), ((-1),11), ((1),12), ((2),13), ((-2),15), ((1),16), ((2),17), ((-2),20), ((-2),21), ((-1),23), ((1),24), ((-2),31), ((2),32), ((-2),33), ((-2),36), ((1),37), ((2),39), ((-2),40), ((1),43), ((-1),44), ((-2),46), ((2),47), ((-1),48), ((-1),49), ((2),51), ((2),52), ((-1),53), ((-2),55), ((-1),56), ((1),57), ((2),58), ((-1),59), ((1),62), ((-1),63), ((2),64), ((-2),66), ((-2),68), ((-2),70), ((-2),72), ((-2),74)], (60)), ("GEQ", [((2),1), ((1),4), ((-1),6), ((-1),7), ((2),9), ((-2),11), ((1),13), ((2),14), ((2),17), ((2),18), ((2),19), ((-2),20), ((-2),22), ((2),23), ((-2),25), ((1),27), ((-2),29), ((-2),32), ((-2),34), ((-1),35), ((1),36), ((-2),37), ((2),38), ((1),39), ((1),41), ((1),42), ((-2),46), ((1),48), ((-1),49), ((-2),50), ((1),51), ((-1),52), ((-1),53), ((-2),57), ((1),58), ((2),59), ((1),60), ((-2),62), ((2),63), ((1),64), ((2),67), ((-1),68), ((1),70), ((2),72), ((2),73), ((-2),74)], (-49)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),3), ((1),4), ((-1),5), ((2),6), ((-1),8), ((1),9), ((1),10), ((1),11), ((2),15), ((1),16), ((-2),17), ((-1),18), ((2),19), ((-1),21), ((2),23), ((-2),24), ((-2),25), ((1),27), ((2),28), ((-1),29), ((1),31), ((1),34), ((1),35), ((1),41), ((-1),43), ((-2),48), ((-2),49), ((1),51), ((1),52), ((-1),53), ((1),54), ((-1),55), ((-2),57), ((-2),59), ((-1),60), ((-2),61), ((-2),62), ((1),63), ((1),65), ((-2),66), ((2),68), ((2),69), ((1),70), ((-1),73), ((2),74)], (19)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((1),4), ((1),6), ((-1),7), ((2),9), ((-1),11), ((-1),12), ((2),14), ((-1),16), ((-2),18), ((1),19), ((1),20), ((-1),21), ((-1),22), ((-2),23), ((-1),25), ((1),30), ((-2),31), ((-1),32), ((-1),33), ((-2),35), ((1),36), ((1),37), ((-1),39), ((1),40), ((-1),42), ((-2),44), ((2),46), ((2),48), ((1),49), ((2),51), ((2),52), ((-1),53), ((1),56), ((2),57), ((1),60), ((-1),62), ((1),63), ((-1),64), ((1),66), ((2),68), ((2),69), ((-2),70), ((-2),71), ((2),72), ((-1),73)], (-18)), ("GEQ", [((1),0), ((2),1), ((-1),3), ((1),4), ((1),6), ((-1),9), ((1),11), ((1),14), ((1),15), ((1),17), ((-2),19), ((1),20), ((1),24), ((-2),25), ((2),30), ((-2),31), ((2),32), ((2),33), ((1),35), ((1),37), ((-2),38), ((-2),41), ((-2),42), ((2),43), ((-2),44), ((-1),46), ((-1),49), ((1),53), ((1),54), ((1),55), ((1),56), ((-1),60), ((-2),62), ((-2),64), ((-1),65), ((-1),66), ((-1),67), ((-1),69), ((-1),70), ((2),71), ((2),72), ((2),74)], (7)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-2),3), ((-2),4), ((-1),5), ((2),6), ((-2),8), ((-1),9), ((-2),10), ((-2),12), ((1),13), ((1),16), ((-2),17), ((-2),20), ((-2),23), ((-2),24), ((-2),28), ((-2),32), ((2),33), ((2),34), ((2),39), ((2),42), ((2),43), ((-1),44), ((1),45), ((1),46), ((1),47), ((-2),51), ((-2),56), ((1),58), ((1),60), ((-1),61), ((1),62), ((2),63), ((1),64), ((-1),68), ((-1),69), ((-1),72), ((-2),74)], (-7)), ("GEQ", [((-2),2), ((-1),4), ((2),5), ((-1),6), ((-1),8), ((1),9), ((-1),10), ((1),12), ((-1),14), ((-1),15), ((-1),18), ((-1),19), ((1),20), ((2),22), ((2),23), ((1),24), ((2),25), ((2),30), ((2),32), ((-2),33), ((1),35), ((-1),39), ((-1),41), ((-2),42), ((1),46), ((1),50), ((-2),51), ((2),52), ((-1),53), ((-1),54), ((2),55), ((2),56), ((1),57), ((2),59), ((-1),60), ((1),61), ((1),62), ((-1),63), ((-1),67), ((1),68), ((2),69), ((1),70), ((-1),71), ((1),73)], (-39)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((1),5), ((-1),6), ((2),7), ((1),8), ((2),9), ((1),10), ((2),11), ((-1),12), ((2),13), ((2),14), ((1),15), ((1),17), ((-2),18), ((-2),19), ((-2),21), ((1),22), ((1),24), ((1),25), ((1),26), ((-1),28), ((-1),30), ((-2),31), ((1),32), ((-1),33), ((2),35), ((2),36), ((1),37), ((-1),39), ((-1),40), ((-1),42), ((1),43), ((-1),44), ((1),45), ((1),48), ((-2),53), ((-1),55), ((2),56), ((1),57), ((-2),58), ((1),59), ((-1),60), ((-2),62), ((-1),63), ((1),65), ((-2),66), ((1),68), ((1),69), ((1),70), ((2),71), ((2),72), ((2),73), ((2),74)], (2)), ("GEQ", [((-1),0), ((1),2), ((1),4), ((2),6), ((-1),7), ((1),10), ((-1),12), ((1),18), ((-1),19), ((-2),20), ((1),21), ((-2),26), ((-1),28), ((1),31), ((-2),36), ((1),37), ((1),38), ((1),40), ((1),42), ((2),43), ((-1),45), ((-2),47), ((1),48), ((2),51), ((-2),52), ((-2),53), ((-1),55), ((-2),56), ((-1),60), ((-1),61), ((-1),64), ((-2),65), ((1),66), ((1),67), ((-2),69), ((1),71), ((1),73), ((-1),74)], (13)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((1),5), ((1),6), ((1),7), ((2),8), ((2),9), ((-1),10), ((-1),14), ((-2),15), ((-2),16), ((-1),17), ((-2),18), ((1),19), ((-1),20), ((1),21), ((2),22), ((-2),24), ((-2),25), ((1),26), ((2),27), ((1),29), ((-2),30), ((1),31), ((-1),32), ((-2),33), ((1),35), ((-1),37), ((-1),39), ((-1),40), ((-2),41), ((2),42), ((-2),45), ((-2),49), ((1),50), ((-1),51), ((2),52), ((-1),53), ((-2),54), ((2),55), ((-2),57), ((1),59), ((2),61), ((1),62), ((2),63), ((2),64), ((-2),65), ((-1),66), ((1),67), ((2),68), ((-2),69), ((-2),70), ((2),73)], (-7)), ("GEQ", [((2),0), ((2),2), ((-1),3), ((-2),9), ((1),10), ((1),13), ((-1),16), ((1),17), ((-1),20), ((-2),21), ((1),22), ((1),23), ((2),24), ((-1),25), ((1),26), ((2),27), ((-1),28), ((-2),29), ((-2),30), ((-1),31), ((-1),33), ((2),36), ((2),37), ((1),38), ((-1),40), ((-1),41), ((-1),42), ((-1),43), ((2),44), ((1),49), ((-1),50), ((-1),51), ((-2),52), ((2),54), ((-2),55), ((-2),56), ((2),58), ((1),59), ((-2),61), ((1),63), ((-2),64), ((2),67), ((2),68), ((2),69), ((1),70), ((-1),73)], (38)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-2),3), ((1),8), ((-1),10), ((-2),12), ((1),14), ((1),16), ((2),18), ((2),21), ((-2),25), ((-2),26), ((1),27), ((2),29), ((1),30), ((2),32), ((2),34), ((2),35), ((-1),36), ((2),37), ((2),38), ((1),39), ((1),40), ((-1),42), ((2),44), ((1),46), ((1),48), ((1),54), ((-1),55), ((2),56), ((2),57), ((1),58), ((2),63), ((1),65), ((-2),67), ((1),71), ((-1),72), ((-1),73), ((-1),74)], (11)), ("GEQ", [((-2),1), ((2),3), ((-2),4), ((1),5), ((-2),6), ((-1),8), ((-1),9), ((-1),11), ((-1),12), ((1),13), ((-1),14), ((-1),18), ((-1),19), ((-1),20), ((1),26), ((2),27), ((-2),28), ((-1),29), ((-1),30), ((2),32), ((-1),35), ((2),36), ((-1),37), ((-2),38), ((-1),39), ((-1),40), ((-2),44), ((-1),45), ((-1),47), ((1),48), ((-1),50), ((1),57), ((-1),60), ((-2),61), ((-1),63), ((2),64), ((-1),65), ((1),68), ((1),69), ((2),70), ((1),72)], (-3)), ("GEQ", [((1),0), ((2),2), ((1),4), ((-1),5), ((2),6), ((-1),7), ((1),8), ((-1),9), ((-2),10), ((-2),15), ((-2),16), ((-1),20), ((-1),21), ((1),22), ((1),23), ((-1),25), ((-2),26), ((-1),28), ((2),29), ((1),31), ((-1),32), ((1),34), ((-2),40), ((2),43), ((-2),44), ((2),46), ((1),47), ((-2),48), ((1),49), ((1),50), ((-1),52), ((1),53), ((-2),55), ((2),56), ((-2),58), ((2),60), ((1),61), ((-1),62), ((-2),63), ((2),64), ((1),65), ((2),66), ((-1),67), ((-2),68), ((-2),70), ((1),72), ((1),73), ((-2),74)], (-66)), ("GEQ", [((1),3), ((-1),4), ((-2),6), ((-1),7), ((2),8), ((2),10), ((2),11), ((-2),12), ((-2),13), ((-1),16), ((-1),17), ((-2),19), ((2),21), ((-1),24), ((-2),27), ((2),28), ((1),30), ((-2),31), ((2),32), ((-1),33), ((2),34), ((-1),35), ((2),37), ((-2),38), ((1),41), ((2),42), ((1),43), ((2),44), ((-2),47), ((2),48), ((-1),50), ((-1),54), ((2),55), ((2),56), ((1),57), ((-1),59), ((1),62), ((1),63), ((-1),64), ((1),65), ((-1),70), ((1),71), ((-2),72)], (11)), ("GEQ", [((-2),3), ((1),4), ((1),7), ((2),9), ((-1),10), ((-1),11), ((-1),12), ((-2),13), ((1),14), ((-2),15), ((-2),16), ((-2),20), ((-1),21), ((2),22), ((-1),23), ((-1),24), ((1),26), ((2),27), ((-2),29), ((1),30), ((-1),31), ((2),32), ((-2),34), ((1),35), ((-1),36), ((-1),37), ((2),38), ((2),39), ((1),40), ((-2),43), ((-2),44), ((1),46), ((-2),47), ((1),48), ((-2),55), ((-2),57), ((2),58), ((2),59), ((-1),60), ((-1),63), ((2),68), ((2),71), ((2),72), ((-2),73), ((-1),74)], (24)), ("GEQ", [((2),0), ((1),2), ((1),3), ((-1),6), ((1),7), ((2),8), ((-2),9), ((-1),10), ((-2),11), ((1),12), ((-1),15), ((2),16), ((2),17), ((1),22), ((2),24), ((-2),27), ((-2),28), ((2),29), ((-2),34), ((-1),36), ((2),38), ((2),40), ((-1),43), ((1),44), ((-2),48), ((1),49), ((1),50), ((2),54), ((-2),55), ((1),56), ((-2),57), ((-1),59), ((1),64), ((1),66), ((-2),67), ((-2),69), ((1),70), ((-2),71), ((2),72)], (9)), ("GEQ", [((-2),0), ((2),1), ((-2),5), ((1),7), ((-1),11), ((-1),13), ((1),14), ((1),16), ((-1),18), ((1),19), ((2),20), ((1),21), ((2),22), ((-1),23), ((-1),24), ((2),29), ((-2),30), ((1),34), ((2),36), ((1),37), ((1),38), ((-2),39), ((-1),40), ((-2),43), ((1),45), ((-2),49), ((-2),51), ((-2),52), ((2),54), ((2),58), ((2),60), ((2),61), ((-2),62), ((1),63), ((1),66), ((-2),67), ((-2),68), ((-1),69), ((2),73)], (-14)), ("GEQ", [((-2),0), ((-2),1), ((1),3), ((-2),5), ((-1),6), ((1),7), ((-1),9), ((-2),10), ((-2),11), ((1),12), ((2),13), ((-2),14), ((-1),16), ((2),17), ((2),18), ((-2),19), ((1),20), ((-1),21), ((-1),23), ((2),24), ((1),26), ((2),27), ((1),29), ((-2),32), ((1),33), ((-2),36), ((1),37), ((2),38), ((2),40), ((-2),42), ((-1),43), ((2),44), ((-1),47), ((-2),48), ((2),50), ((2),51), ((-1),52), ((-1),54), ((1),59), ((-1),63), ((2),67), ((1),69), ((-1),71), ((1),72), ((1),74)], (-27)), ("GEQ", [((-2),2), ((-2),3), ((2),4), ((2),7), ((2),9), ((2),10), ((2),12), ((-2),15), ((-2),16), ((-1),17), ((2),18), ((-2),19), ((-1),21), ((1),22), ((-1),23), ((2),24), ((2),27), ((-1),30), ((2),31), ((-1),32), ((-2),36), ((-2),37), ((-1),38), ((-1),40), ((2),41), ((1),45), ((-2),49), ((-1),51), ((-1),52), ((-2),53), ((2),56), ((2),57), ((1),59), ((-1),60), ((-2),62), ((1),64), ((2),68), ((-2),70), ((2),71), ((2),72), ((1),74)], (-18)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((2),3), ((1),4), ((-2),6), ((2),7), ((-2),8), ((-2),9), ((-2),11), ((-1),12), ((-2),14), ((-1),15), ((-1),17), ((1),18), ((2),19), ((-2),22), ((1),23), ((1),24), ((1),25), ((-2),26), ((-2),27), ((-1),28), ((2),29), ((-2),31), ((-2),34), ((-1),36), ((1),39), ((-1),41), ((-1),42), ((-2),45), ((-1),46), ((1),47), ((1),50), ((-1),51), ((2),52), ((1),53), ((2),56), ((-2),57), ((2),58), ((2),59), ((1),60), ((2),61), ((-2),62), ((1),63), ((1),65), ((-2),66), ((-2),67), ((2),68), ((-2),70), ((2),71), ((-1),72)], (18)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),3), ((-2),5), ((-2),7), ((2),8), ((-1),10), ((-1),11), ((-1),15), ((2),16), ((-1),18), ((1),20), ((1),22), ((-2),23), ((-1),24), ((2),25), ((-2),26), ((2),27), ((2),28), ((-2),30), ((-1),31), ((-2),32), ((-1),33), ((-1),34), ((1),35), ((-2),37), ((1),38), ((2),39), ((1),40), ((-2),41), ((1),42), ((1),43), ((-1),46), ((-1),47), ((1),48), ((1),51), ((-2),52), ((-2),54), ((2),59), ((1),61), ((2),62), ((1),63), ((2),64), ((1),66), ((-2),67), ((-2),70), ((-1),71), ((2),72), ((-2),73), ((1),74)], (-19)), ("GEQ", [((-2),0), ((-2),1), ((-1),7), ((1),10), ((2),11), ((-2),13), ((-1),14), ((-2),15), ((-1),17), ((1),19), ((1),22), ((1),23), ((2),24), ((-2),26), ((2),27), ((-1),28), ((2),29), ((2),30), ((2),32), ((2),33), ((-1),34), ((2),35), ((2),38), ((2),39), ((2),40), ((-1),41), ((-1),42), ((1),44), ((-2),45), ((1),47), ((1),48), ((-1),49), ((1),50), ((-1),51), ((1),54), ((-1),55), ((-1),61), ((1),63), ((2),64), ((1),66), ((1),68), ((1),69), ((-1),70), ((-2),71), ((-2),72), ((1),73), ((1),74)], (-20)), ("GEQ", [((-43),0), ((33),1), ((40),2), ((3),3), ((-16),4), ((-12),5), ((-4),6), ((-31),7), ((-43),8), ((-36),9), ((4),10), ((3),11), ((29),12), ((41),13), ((10),14), ((44),15), ((1),16), ((14),17), ((-8),18), ((2),19), ((48),20), ((-3),21), ((-34),22), ((20),23), ((-16),24), ((29),25), ((-37),26), ((1),27), ((31),28), ((-42),29), ((21),30), ((1),31), ((-33),32), ((-2),33), ((3),34), ((-9),35), ((8),36), ((-31),37), ((51),38), ((14),39), ((8),40), ((-8),41), ((-55),42), ((-23),43), ((-7),44), ((16),45), ((-14),46), ((-2),47), ((11),49), ((-19),50), ((11),51), ((10),52), ((25),53), ((12),54), ((7),55), ((-66),56), ((1),57), ((-79),58), ((-11),59), ((-44),60), ((23),61), ((8),62), ((-57),63), ((1),64), ((-20),65), ((26),66), ((18),67), ((-31),68), ((4),69), ((26),70), ((-24),71), ((-7),72), ((-3),73), ((23),74)], (-509)), ("GEQ", [((61),0), ((-46),1), ((-59),2), ((19),3), ((25),4), ((55),5), ((8),6), ((62),7), ((83),8), ((25),9), ((35),10), ((6),11), ((-44),12), ((-74),13), ((8),14), ((-52),15), ((-10),16), ((-48),17), ((24),18), ((4),19), ((-88),20), ((16),21), ((32),22), ((-17),23), ((14),24), ((2),25), ((53),26), ((-23),27), ((-5),28), ((34),29), ((-32),30), ((-27),31), ((22),32), ((-4),33), ((7),34), ((16),35), ((-9),36), ((43),37), ((-58),38), ((-1),39), ((11),40), ((-17),41), ((101),42), ((28),43), ((41),44), ((-11),45), ((13),46), ((-11),47), ((-3),48), ((-37),49), ((14),50), ((5),51), ((1),52), ((-40),53), ((-25),54), ((-19),55), ((82),56), ((-22),57), ((104),58), ((-4),59), ((41),60), ((-41),61), ((-9),62), ((80),63), ((2),64), ((13),65), ((-24),66), ((-25),67), ((50),68), ((-35),69), ((-45),70), ((59),71), ((-19),72), ((-10),73), ((-5),74)], (1339)), ("GEQ", [((65),0), ((-41),1), ((-50),2), ((8),3), ((26),4), ((47),5), ((8),6), ((45),7), ((43),8), ((48),9), ((19),10), ((4),11), ((-46),12), ((-49),13), ((13),14), ((-15),15), ((-6),16), ((-37),17), ((29),18), ((2),19), ((-82),20), ((8),21), ((3),22), ((-26),23), ((29),24), ((-21),25), ((77),26), ((-8),27), ((1),28), ((24),29), ((-13),30), ((-13),31), ((32),32), ((12),33), ((-7),34), ((-6),35), ((-2),36), ((52),37), ((-75),38), ((-17),39), ((-33),40), ((16),41), ((67),42), ((38),43), ((47),44), ((-1),45), ((13),46), ((1),47), ((20),48), ((-20),49), ((14),50), ((9),51), ((7),52), ((-30),53), ((-16),54), ((-23),55), ((95),56), ((34),57), ((92),58), ((-15),59), ((38),60), ((-50),61), ((2),62), ((50),63), ((-51),64), ((29),65), ((-32),66), ((-22),67), ((11),68), ((-5),69), ((-33),70), ((54),71), ((-29),72), ((-20),73), ((-28),74)], (864)), ("GEQ", [((-9),0), ((3),1), ((-23),2), ((-39),3), ((-26),4), ((-40),5), ((-9),6), ((-34),7), ((-79),8), ((8),9), ((-44),10), ((-15),11), ((3),12), ((57),13), ((-22),14), ((21),15), ((38),16), ((40),17), ((-11),18), ((-21),19), ((26),20), ((16),21), ((-4),22), ((-1),23), ((-3),24), ((-59),25), ((-5),26), ((44),27), ((-42),28), ((-11),29), ((-1),30), ((70),31), ((25),32), ((25),33), ((10),34), ((-4),35), ((31),36), ((-4),37), ((-22),38), ((-43),39), ((-8),40), ((53),41), ((-53),42), ((-31),43), ((-28),44), ((5),45), ((36),46), ((13),47), ((17),48), ((67),49), ((2),50), ((-29),51), ((-11),52), ((16),53), ((18),54), ((18),55), ((-7),56), ((28),57), ((-8),58), ((16),59), ((5),60), ((10),61), ((25),62), ((-8),63), ((-26),64), ((20),65), ((-21),66), ((6),67), ((-45),68), ((71),69), ((31),70), ((-28),71), ((9),72), ((-5),73), ((-47),74)], (-1093)), ("GEQ", [((-21),0), ((18),1), ((37),2), ((-16),3), ((-41),4), ((-56),5), ((-11),6), ((-17),7), ((26),8), ((-43),9), ((-26),10), ((-13),11), ((14),12), ((7),13), ((-63),14), ((-89),15), ((27),16), ((50),17), ((-63),18), ((23),19), ((66),20), ((-3),21), ((80),22), ((20),23), ((-36),24), ((-50),25), ((-91),26), ((-9),27), ((-113),28), ((25),29), ((-56),30), ((24),31), ((7),32), ((-11),33), ((37),34), ((35),35), ((-22),36), ((-18),37), ((28),38), ((3),39), ((81),40), ((-11),41), ((-73),43), ((-117),44), ((-49),45), ((10),46), ((5),47), ((-52),48), ((30),49), ((25),50), ((-49),51), ((-34),52), ((8),53), ((27),54), ((29),55), ((-69),56), ((-125),57), ((3),58), ((42),59), ((21),60), ((55),61), ((-34),62), ((27),63), ((132),64), ((-43),65), ((-6),66), ((17),67), ((86),68), ((8),69), ((25),70), ((-65),71), ((76),72), ((59),73), ((21),74)], (196)), ("GEQ", [((14),0), ((5),1), ((69),2), ((103),3), ((75),4), ((155),5), ((26),6), ((109),7), ((259),8), ((-26),9), ((138),10), ((44),11), ((-13),12), ((-206),13), ((66),14), ((-73),15), ((-117),16), ((-87),17), ((26),18), ((52),19), ((-71),20), ((-33),21), ((35),22), ((25),23), ((-5),24), ((182),25), ((11),26), ((-121),27), ((99),28), ((37),29), ((-10),30), ((-211),31), ((-43),32), ((-79),33), ((-13),34), ((11),35), ((-81),36), ((5),37), ((56),38), ((102),39), ((46),40), ((-169),41), ((178),42), ((79),43), ((56),44), ((-28),45), ((-99),46), ((-56),47), ((-55),48), ((-210),49), ((-7),50), ((67),51), ((5),52), ((-59),53), ((-53),54), ((-39),55), ((32),56), ((-134),57), ((23),58), ((-29),59), ((1),60), ((-23),61), ((-97),62), ((34),63), ((92),64), ((-110),65), ((69),66), ((-38),67), ((161),68), ((-214),69), ((-73),70), ((89),71), ((-5),72), ((26),73), ((148),74)], (3361)), ("GEQ", [((-163),0), ((88),1), ((186),2), ((136),3), ((41),4), ((44),5), ((12),6), ((51),7), ((253),8), ((-143),9), ((129),10), ((26),11), ((93),12), ((-125),13), ((38),14), ((-116),15), ((-151),16), ((-72),17), ((-37),18), ((59),19), ((74),20), ((-80),21), ((55),22), ((69),23), ((-85),24), ((282),25), ((-181),26), ((-129),27), ((100),28), ((40),29), ((-34),30), ((-216),31), ((-183),32), ((-121),33), ((6),34), ((66),35), ((-100),36), ((-120),37), ((266),38), ((191),39), ((143),40), ((-262),41), ((85),42), ((9),43), ((-36),44), ((-40),45), ((-161),46), ((-59),47), ((-144),48), ((-221),49), ((-26),50), ((75),51), ((-24),52), ((-1),53), ((-41),54), ((-4),55), ((-195),56), ((-258),57), ((-156),58), ((8),59), ((-73),60), ((104),61), ((-118),62), ((-40),63), ((282),64), ((-160),65), ((145),66), ((52),67), ((186),68), ((-277),69), ((-20),70), ((-24),71), ((85),72), ((86),73), ((265),74)], (1874)), ("GEQ", [((-108),0), ((118),1), ((190),2), ((69),3), ((64),4), ((7),5), ((-6),6), ((-47),7), ((-22),8), ((-93),9), ((85),10), ((23),11), ((111),12), ((24),13), ((94),14), ((147),15), ((-104),16), ((-32),17), ((9),18), ((54),19), ((106),20), ((-59),21), ((-124),22), ((47),23), ((-15),24), ((217),25), ((-59),26), ((-66),27), ((233),28), ((-79),29), ((125),30), ((-155),31), ((-159),32), ((-38),33), ((-80),34), ((-56),35), ((-47),36), ((-97),37), ((211),38), ((112),39), ((-82),40), ((-77),41), ((-108),42), ((55),43), ((57),44), ((62),45), ((-178),46), ((-20),47), ((3),48), ((-118),49), ((-66),50), ((108),51), ((61),52), ((61),53), ((6),54), ((-18),55), ((-153),56), ((47),57), ((-273),58), ((-64),59), ((-106),60), ((56),61), ((-41),62), ((-191),63), ((-23),64), ((-46),65), ((111),66), ((38),67), ((-84),68), ((-101),69), ((5),70), ((-17),71), ((-22),72), ((-1),73), ((127),74)], (-701)), ("GEQ", [((71),0), ((-111),1), ((-194),2), ((-87),3), ((-88),4), ((-33),5), ((30),6), ((28),7), ((36),8), ((91),9), ((-124),10), ((7),11), ((-95),12), ((-26),13), ((-116),14), ((-144),15), ((99),16), ((47),17), ((-32),18), ((-88),19), ((-56),20), ((50),21), ((142),22), ((-30),23), ((32),24), ((-226),25), ((7),26), ((99),27), ((-254),28), ((84),29), ((-115),30), ((174),31), ((160),32), ((20),33), ((80),34), ((49),35), ((48),36), ((83),37), ((-170),38), ((-102),39), ((113),40), ((31),41), ((84),42), ((-46),43), ((-77),44), ((-71),45), ((205),46), ((-8),47), ((-32),48), ((146),49), ((75),50), ((-130),51), ((-101),52), ((-95),53), ((-15),54), ((24),55), ((129),56), ((-65),57), ((251),58), ((93),59), ((72),60), ((-56),61), ((55),62), ((168),63), ((52),64), ((5),65), ((-80),66), ((-26),67), ((120),68), ((101),69), ((3),70), ((-37),71), ((85),72), ((2),73), ((-117),74)], (577))]
[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]