[("GEQ", [((2),0), ((1),3), ((-1),4), ((2),5), ((-2),6), ((-2),7), ((1),9), ((-1),13), ((2),21), ((2),25), ((1),27), ((-2),28), ((-1),31), ((-2),34), ((1),35), ((-2),36), ((-1),37), ((-1),39), ((1),40), ((1),41), ((2),42), ((1),43), ((-2),44), ((1),45), ((1),49), ((-1),51), ((-1),53), ((-2),54), ((1),55), ((2),57), ((-1),58), ((2),60), ((-2),62), ((2),63), ((-1),64), ((-1),66), ((-2),68), ((-1),69), ((2),70), ((2),71), ((1),73)], (2)), ("GEQ", [((2),1), ((-1),2), ((-1),5), ((2),9), ((-1),10), ((2),11), ((-1),12), ((-2),14), ((2),15), ((2),16), ((2),17), ((-2),20), ((-2),26), ((2),29), ((1),30), ((1),31), ((2),32), ((1),34), ((-1),35), ((1),36), ((1),40), ((-1),41), ((-2),46), ((-1),47), ((-1),52), ((2),53), ((1),55), ((2),57), ((1),59), ((-1),62), ((-2),64), ((-1),66), ((1),74)], (-29)), ("GEQ", [((1),1), ((2),2), ((2),4), ((2),8), ((-2),9), ((1),10), ((2),11), ((-1),13), ((-1),17), ((1),18), ((1),21), ((-1),23), ((-2),27), ((2),28), ((1),29), ((2),33), ((1),34), ((-1),36), ((-1),37), ((-1),40), ((-2),41), ((2),44), ((1),45), ((-2),47), ((-2),49), ((1),51), ((2),53), ((-1),57), ((-2),61), ((-1),63), ((1),64), ((-2),65), ((1),67), ((-1),68), ((2),69), ((2),70), ((2),72), ((-2),73)], (-38)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((-1),3), ((1),4), ((1),5), ((2),6), ((-2),9), ((-1),10), ((2),11), ((-1),12), ((2),13), ((1),15), ((-1),16), ((-1),18), ((-1),19), ((2),20), ((-1),21), ((2),24), ((1),27), ((2),28), ((-2),30), ((2),32), ((-1),33), ((1),35), ((-1),36), ((-1),37), ((1),41), ((1),45), ((2),46), ((-2),47), ((2),48), ((-1),50), ((2),52), ((2),57), ((2),59), ((1),61), ((-2),63), ((1),64), ((1),66), ((-2),73), ((2),74)], (18)), ("GEQ", [((-1),1), ((-2),2), ((2),3), ((1),5), ((2),8), ((-2),11), ((1),12), ((-2),14), ((-1),15), ((2),16), ((2),17), ((2),18), ((1),19), ((1),20), ((-2),21), ((2),23), ((-1),25), ((2),26), ((-2),27), ((1),31), ((-1),32), ((1),34), ((-2),36), ((1),37), ((2),38), ((2),39), ((-2),40), ((1),42), ((2),44), ((-2),46), ((-2),47), ((2),48), ((1),49), ((-2),51), ((1),56), ((1),57), ((2),58), ((-1),59), ((-2),60), ((1),61), ((-2),62), ((2),63), ((-2),64), ((-2),66), ((-2),67), ((-2),69), ((1),70), ((-1),72), ((-2),73), ((-2),74)], (-16)), ("GEQ", [((-1),1), ((2),2), ((-1),3), ((1),7), ((1),9), ((2),10), ((-1),11), ((1),12), ((-2),14), ((2),15), ((-1),17), ((2),19), ((2),20), ((2),21), ((-2),23), ((-2),24), ((2),25), ((-2),27), ((1),28), ((1),29), ((2),31), ((2),32), ((1),34), ((2),35), ((2),36), ((1),37), ((-1),38), ((2),40), ((-2),42), ((-2),43), ((1),44), ((1),45), ((-2),46), ((-1),47), ((2),48), ((-2),49), ((2),50), ((1),51), ((-2),52), ((-2),54), ((-1),55), ((-2),58), ((1),60), ((-1),62), ((1),64), ((1),65), ((1),70), ((2),71), ((2),72), ((2),73), ((1),74)], (-10)), ("GEQ", [((-1),0), ((2),3), ((-1),4), ((1),5), ((-2),6), ((2),9), ((-1),10), ((-1),12), ((2),13), ((-1),15), ((2),16), ((-2),17), ((2),18), ((1),20), ((1),22), ((-2),24), ((-1),26), ((-1),27), ((-2),28), ((1),29), ((-2),32), ((-2),34), ((-2),35), ((2),36), ((-1),37), ((1),39), ((1),43), ((-2),44), ((2),45), ((1),46), ((-1),48), ((1),49), ((2),51), ((-1),52), ((1),53), ((-1),54), ((-1),56), ((1),57), ((1),58), ((-1),60), ((-1),61), ((1),66), ((-1),68), ((-2),71), ((-1),74)], (-7)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((1),4), ((-2),6), ((-2),7), ((-2),8), ((1),12), ((-1),14), ((-1),15), ((-1),16), ((-1),17), ((1),20), ((-1),21), ((-1),22), ((2),23), ((-2),24), ((2),25), ((-1),26), ((2),29), ((-1),30), ((1),32), ((-2),33), ((-1),36), ((1),37), ((1),38), ((-1),39), ((-2),41), ((-1),42), ((2),47), ((-2),48), ((2),49), ((-1),50), ((-1),51), ((-2),55), ((1),57), ((-1),59), ((2),60), ((-2),61), ((-2),62), ((-2),64), ((-2),65), ((-1),68), ((1),70), ((-2),71), ((2),72), ((-1),73)], (51)), ("GEQ", [((2),0), ((2),1), ((-1),3), ((1),4), ((2),5), ((-2),6), ((2),10), ((1),11), ((2),12), ((1),17), ((2),18), ((1),19), ((-2),20), ((2),25), ((1),26), ((2),27), ((1),28), ((-2),29), ((1),30), ((1),31), ((-2),33), ((-2),36), ((-2),37), ((1),38), ((-1),42), ((1),45), ((-1),46), ((-1),47), ((-1),48), ((-1),50), ((-1),52), ((1),53), ((-2),54), ((-1),60), ((1),63), ((-2),65), ((2),66), ((-1),68), ((-1),70), ((2),72), ((1),73)], (-44)), ("GEQ", [((1),0), ((-1),1), ((2),5), ((-2),7), ((2),8), ((1),11), ((-1),16), ((-1),17), ((-1),18), ((1),19), ((-2),21), ((2),22), ((2),24), ((-1),26), ((-2),28), ((1),29), ((-2),30), ((1),33), ((-2),34), ((-2),38), ((2),40), ((2),42), ((-1),44), ((1),48), ((-1),51), ((-2),52), ((2),53), ((1),54), ((2),56), ((-1),57), ((1),58), ((2),59), ((1),60), ((-2),61), ((-1),62), ((1),64), ((1),65), ((-2),67), ((-1),68), ((-2),69), ((-2),70), ((1),71)], (20)), ("GEQ", [((2),0), ((-2),2), ((2),4), ((2),6), ((2),7), ((-1),8), ((-1),9), ((2),14), ((-1),15), ((-1),17), ((1),21), ((-1),23), ((-2),27), ((-1),31), ((-1),34), ((-1),35), ((-1),36), ((1),37), ((1),38), ((1),41), ((-1),43), ((-2),44), ((1),45), ((-1),47), ((-2),48), ((1),49), ((-1),51), ((-2),53), ((2),54), ((-2),56), ((-1),58), ((1),59), ((-2),60), ((2),63), ((1),64), ((-2),70), ((1),71), ((1),72), ((-2),73)], (49)), ("GEQ", [((1),1), ((1),3), ((-2),5), ((2),10), ((1),11), ((-2),12), ((2),13), ((1),15), ((2),16), ((1),17), ((-2),18), ((-2),19), ((-1),20), ((-1),21), ((-2),22), ((-2),23), ((-1),24), ((1),26), ((-2),27), ((-2),29), ((2),30), ((1),31), ((2),32), ((-2),33), ((2),34), ((-2),35), ((2),36), ((-1),39), ((-2),41), ((-2),43), ((1),44), ((2),45), ((-1),46), ((1),47), ((1),50), ((2),55), ((-2),57), ((-1),58), ((-2),59), ((1),61), ((2),62), ((2),65), ((-1),66), ((1),67), ((2),68), ((1),70), ((2),71), ((2),72), ((-2),74)], (-3)), ("GEQ", [((1),0), ((2),1), ((-2),4), ((2),5), ((-2),6), ((2),7), ((1),8), ((-2),10), ((1),13), ((2),14), ((-1),15), ((-1),17), ((-2),18), ((1),21), ((-2),22), ((1),24), ((-2),25), ((2),27), ((-1),33), ((2),34), ((-2),35), ((2),36), ((2),38), ((1),41), ((2),42), ((1),43), ((-1),44), ((2),45), ((2),46), ((-2),47), ((-1),48), ((-2),49), ((2),50), ((-1),52), ((-1),55), ((-2),56), ((1),57), ((-1),59), ((-1),61), ((-2),63), ((-2),64), ((-2),65), ((-2),66), ((-1),67), ((-2),69), ((-2),71)], (6)), ("GEQ", [((1),4), ((2),6), ((-2),7), ((2),8), ((-1),10), ((-1),12), ((2),13), ((-1),14), ((2),17), ((-2),18), ((-2),19), ((1),22), ((2),25), ((-1),26), ((2),27), ((-2),28), ((-1),29), ((-1),30), ((1),32), ((1),33), ((-2),35), ((-1),37), ((2),40), ((1),41), ((1),42), ((-1),43), ((1),46), ((2),47), ((1),50), ((2),54), ((-2),55), ((1),56), ((1),59), ((-1),60), ((2),61), ((2),62), ((-1),63), ((-2),65), ((-1),68), ((2),70), ((1),71), ((1),72), ((-1),73), ((-2),74)], (3)), ("GEQ", [((1),2), ((2),4), ((-1),8), ((-2),9), ((1),10), ((2),12), ((1),14), ((1),15), ((2),16), ((-2),18), ((1),19), ((-2),22), ((2),24), ((-2),25), ((1),26), ((-2),31), ((2),32), ((-2),35), ((-2),36), ((-1),38), ((2),39), ((-1),41), ((2),42), ((-2),43), ((1),44), ((2),45), ((-1),46), ((-1),47), ((1),48), ((-1),49), ((-2),51), ((-2),52), ((-1),54), ((-1),55), ((1),57), ((-1),58), ((-1),59), ((2),60), ((1),64), ((2),66), ((2),67), ((-2),68), ((2),70), ((-1),72), ((-2),73), ((1),74)], (31)), ("GEQ", [((-2),0), ((-1),2), ((2),3), ((2),4), ((-2),7), ((-1),9), ((1),10), ((2),11), ((2),12), ((-1),13), ((1),14), ((-1),17), ((-2),20), ((-1),21), ((-1),24), ((2),27), ((2),29), ((2),31), ((2),33), ((2),36), ((2),37), ((-2),39), ((1),44), ((2),46), ((1),48), ((-1),49), ((1),53), ((2),54), ((2),55), ((1),57), ((1),59), ((1),60), ((-1),62), ((1),65), ((2),66), ((-1),67), ((-2),69), ((2),72), ((-1),74)], (-19)), ("GEQ", [((1),1), ((-1),3), ((-1),4), ((-1),7), ((-1),9), ((-1),10), ((2),11), ((1),12), ((-2),14), ((2),15), ((1),19), ((-1),22), ((2),23), ((1),25), ((1),26), ((-2),27), ((-1),28), ((1),29), ((-1),30), ((-2),32), ((-1),33), ((2),35), ((1),36), ((-1),37), ((-1),38), ((1),39), ((2),40), ((-1),42), ((-2),43), ((2),47), ((1),48), ((1),51), ((-1),52), ((2),54), ((-2),56), ((-2),59), ((-2),60), ((1),63), ((2),65), ((1),68), ((2),71), ((1),72), ((2),73)], (-23)), ("GEQ", [((-2),0), ((-2),1), ((-2),3), ((1),5), ((2),6), ((1),7), ((-2),8), ((1),9), ((-1),11), ((1),14), ((2),15), ((-2),16), ((2),17), ((2),18), ((2),19), ((-2),22), ((-1),23), ((2),24), ((-1),25), ((-1),27), ((2),29), ((-2),30), ((-1),31), ((-2),32), ((-2),33), ((1),35), ((2),38), ((1),40), ((-2),42), ((-2),45), ((2),49), ((-1),54), ((-1),55), ((2),57), ((1),58), ((-1),61), ((2),63), ((-2),64), ((2),65), ((2),66), ((2),68), ((-1),72), ((2),73)], (27)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((1),3), ((1),5), ((2),6), ((2),8), ((2),10), ((2),11), ((-2),12), ((-2),13), ((-1),15), ((1),16), ((-2),18), ((-2),19), ((2),21), ((2),22), ((-1),23), ((1),24), ((1),25), ((2),26), ((-1),27), ((2),28), ((-1),29), ((-1),31), ((1),32), ((-1),33), ((-2),35), ((1),36), ((-1),38), ((-1),43), ((-2),44), ((1),45), ((2),46), ((-2),47), ((-2),49), ((-2),50), ((1),51), ((1),53), ((2),54), ((2),55), ((2),56), ((-2),58), ((1),59), ((1),60), ((2),63), ((-1),64), ((2),65), ((2),67), ((1),69)], (-10)), ("GEQ", [((2),0), ((-1),1), ((-2),3), ((-1),4), ((1),5), ((1),8), ((1),10), ((-2),11), ((-1),12), ((2),13), ((2),15), ((-1),16), ((-1),18), ((2),19), ((1),20), ((2),21), ((2),22), ((1),24), ((2),25), ((2),26), ((1),29), ((-2),31), ((2),33), ((-2),34), ((-1),36), ((1),37), ((-2),39), ((2),40), ((2),42), ((-1),44), ((2),45), ((-1),47), ((-1),48), ((-1),49), ((1),50), ((-2),57), ((-2),58), ((1),59), ((2),61), ((-2),62), ((-2),63), ((-2),65), ((-1),66), ((-1),67), ((1),68), ((2),69), ((-1),70), ((2),71), ((-1),72), ((-1),73)], (8)), ("GEQ", [((1),0), ((1),1), ((-2),5), ((-2),8), ((2),10), ((-1),11), ((1),12), ((-1),14), ((-1),15), ((-1),16), ((1),17), ((1),19), ((-1),20), ((-2),22), ((-1),24), ((2),25), ((-1),26), ((-2),28), ((-1),29), ((-1),30), ((-2),31), ((-2),32), ((-2),33), ((2),34), ((1),35), ((1),37), ((-2),42), ((-2),43), ((1),46), ((-1),47), ((-1),48), ((-1),49), ((-1),50), ((-1),51), ((-1),53), ((1),54), ((-1),55), ((1),56), ((2),57), ((-2),58), ((-2),60), ((1),64), ((1),66), ((-2),68), ((-1),69), ((-2),71), ((1),72), ((2),73), ((-2),74)], (27)), ("GEQ", [((1),0), ((-1),1), ((-1),4), ((1),5), ((1),6), ((1),7), ((-2),8), ((1),9), ((-1),10), ((1),18), ((1),19), ((-2),20), ((1),21), ((1),22), ((1),26), ((-2),27), ((-1),28), ((1),29), ((2),31), ((-1),34), ((-2),35), ((-2),36), ((2),37), ((2),39), ((-1),40), ((-1),41), ((-2),42), ((-1),47), ((2),48), ((1),49), ((1),50), ((1),51), ((-1),52), ((-2),53), ((1),54), ((2),56), ((1),58), ((1),59), ((-2),60), ((-1),63), ((2),64), ((-1),65), ((1),67), ((1),68), ((1),69), ((-2),70), ((-1),71), ((2),72)], (7)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((2),4), ((-2),5), ((1),6), ((-1),9), ((-2),16), ((1),19), ((-2),20), ((2),21), ((2),22), ((1),23), ((-1),24), ((-2),25), ((1),26), ((-2),27), ((1),28), ((-1),29), ((2),30), ((1),32), ((2),33), ((-2),34), ((-1),37), ((2),39), ((-2),40), ((2),41), ((2),43), ((-1),45), ((-2),46), ((1),47), ((-2),50), ((2),51), ((1),54), ((1),56), ((-2),61), ((2),63), ((-2),64), ((-1),65), ((2),66), ((-2),67), ((1),70), ((2),72), ((1),73)], (-7)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((1),5), ((-2),6), ((1),7), ((-1),8), ((1),9), ((2),11), ((-2),12), ((-1),13), ((-1),14), ((-2),15), ((1),16), ((1),19), ((-1),20), ((1),21), ((1),23), ((1),24), ((-1),25), ((1),27), ((1),30), ((2),32), ((2),33), ((-2),35), ((2),37), ((-1),38), ((-2),39), ((1),41), ((-1),42), ((-2),44), ((-2),48), ((1),49), ((-2),50), ((-2),51), ((-2),53), ((-1),55), ((-1),56), ((-1),57), ((1),59), ((1),60), ((1),61), ((-2),63), ((1),66), ((2),69), ((2),70), ((2),71), ((2),74)], (46)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((-2),7), ((2),8), ((2),10), ((-2),12), ((-2),17), ((2),18), ((1),19), ((2),20), ((2),21), ((1),22), ((1),26), ((2),30), ((-1),31), ((2),34), ((2),36), ((1),40), ((-2),41), ((-1),42), ((1),44), ((1),46), ((-2),48), ((1),50), ((2),53), ((-2),54), ((1),56), ((-2),57), ((2),58), ((1),59), ((1),60), ((-1),61), ((-2),62), ((-2),63), ((-1),64), ((-1),66), ((-2),67), ((2),68), ((2),71), ((1),72), ((-1),73)], (-27)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-1),4), ((1),8), ((-2),9), ((-2),10), ((-2),12), ((2),13), ((-1),17), ((-1),18), ((-2),19), ((-2),20), ((1),21), ((1),22), ((1),23), ((1),24), ((1),25), ((2),27), ((-2),29), ((-1),31), ((2),32), ((-1),34), ((2),35), ((1),36), ((-1),37), ((-1),38), ((2),39), ((-1),40), ((2),41), ((1),42), ((-1),43), ((-2),44), ((-2),49), ((1),50), ((1),52), ((-1),53), ((-2),54), ((-2),56), ((1),60), ((1),61), ((1),65), ((2),66), ((1),69), ((-2),70), ((-2),71), ((-1),73)], (-42)), ("GEQ", [((-1),0), ((-2),3), ((1),4), ((1),7), ((-1),8), ((-1),9), ((-2),10), ((1),11), ((1),12), ((-1),13), ((1),14), ((-1),16), ((1),18), ((-1),20), ((-2),21), ((1),22), ((-2),23), ((-2),24), ((-2),26), ((1),27), ((2),28), ((1),30), ((-1),31), ((-2),32), ((-2),33), ((-2),34), ((2),36), ((2),38), ((1),39), ((1),40), ((-1),43), ((-1),44), ((2),45), ((1),47), ((-2),48), ((-1),49), ((2),50), ((-1),52), ((1),53), ((-1),56), ((-1),58), ((-1),59), ((-1),61), ((2),63), ((2),67), ((1),69), ((1),70), ((-1),71), ((-1),72), ((1),73)], (-7)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((-2),5), ((-1),6), ((1),7), ((-1),8), ((1),11), ((1),12), ((1),15), ((-2),19), ((1),21), ((2),22), ((1),23), ((1),24), ((-2),25), ((1),26), ((-1),28), ((-2),30), ((1),31), ((1),32), ((1),35), ((-1),36), ((1),37), ((-2),41), ((2),42), ((1),43), ((2),46), ((2),47), ((2),48), ((2),49), ((1),50), ((1),51), ((2),52), ((1),53), ((1),55), ((2),56), ((-2),59), ((-1),61), ((1),62), ((-1),65), ((2),67), ((2),68), ((2),69), ((2),70), ((2),71), ((-2),72), ((1),73)], (-22)), ("GEQ", [((-2),1), ((-1),2), ((2),7), ((2),8), ((2),9), ((2),10), ((1),11), ((-2),14), ((2),15), ((-2),21), ((2),23), ((-1),25), ((2),29), ((1),30), ((-2),32), ((-1),38), ((-1),39), ((-1),40), ((2),41), ((-1),47), ((-2),50), ((2),51), ((-1),53), ((-2),54), ((2),55), ((-2),56), ((-2),57), ((-2),58), ((-1),59), ((-2),60), ((-1),61), ((1),62), ((2),65), ((2),66), ((2),67), ((2),68), ((2),69), ((-1),70), ((2),72), ((-1),73), ((2),74)], (-17)), ("GEQ", [((-1),1), ((-1),3), ((1),8), ((-2),10), ((-2),11), ((-1),12), ((1),14), ((-1),15), ((-1),16), ((-1),22), ((-2),23), ((-1),24), ((1),26), ((-2),27), ((1),29), ((-1),30), ((2),31), ((-2),34), ((1),35), ((-2),37), ((-2),38), ((1),39), ((1),40), ((1),42), ((-1),46), ((2),50), ((1),51), ((-1),53), ((-1),54), ((1),56), ((-2),57), ((-2),58), ((-2),59), ((-1),60), ((-2),63), ((-1),64), ((-2),67), ((1),69), ((1),71), ((-1),72), ((1),74)], (20)), ("GEQ", [((-1),0), ((-1),3), ((2),4), ((1),6), ((1),7), ((-1),8), ((-2),10), ((1),12), ((2),13), ((2),14), ((-2),16), ((-1),18), ((-1),19), ((1),22), ((-1),24), ((2),26), ((1),27), ((-2),32), ((-2),34), ((2),35), ((1),37), ((1),38), ((-1),40), ((1),41), ((-2),42), ((-1),44), ((-1),45), ((-1),49), ((-1),51), ((2),53), ((2),54), ((-2),55), ((-1),57), ((1),59), ((-2),62), ((-2),64), ((-1),65), ((1),66), ((1),67), ((1),69), ((-1),70), ((2),71), ((-1),72), ((-2),73), ((-1),74)], (42)), ("GEQ", [((-2),1), ((1),2), ((1),5), ((1),6), ((-2),7), ((-1),10), ((-1),12), ((-2),13), ((-2),17), ((1),18), ((2),20), ((2),21), ((-2),24), ((-2),30), ((1),31), ((2),33), ((1),34), ((-2),35), ((1),38), ((-2),42), ((-1),43), ((1),45), ((-1),47), ((-1),48), ((1),51), ((-2),52), ((2),53), ((-2),54), ((-1),55), ((-1),58), ((-2),59), ((1),60), ((1),61), ((1),62), ((-2),63), ((1),64), ((2),65), ((-1),66), ((-2),70), ((2),71), ((1),72), ((1),74)], (-19)), ("GEQ", [((-1),1), ((-2),2), ((2),4), ((-2),7), ((-2),8), ((-2),12), ((2),14), ((-2),16), ((2),17), ((-2),21), ((-2),22), ((-2),23), ((2),24), ((-2),26), ((1),30), ((-2),32), ((1),33), ((-1),34), ((-2),37), ((1),40), ((-2),43), ((2),44), ((-1),45), ((-1),46), ((-1),47), ((1),48), ((1),50), ((1),52), ((1),55), ((2),57), ((1),58), ((2),61), ((-1),64), ((-1),65), ((1),66), ((-2),68), ((-2),70), ((1),71), ((-1),72)], (5)), ("GEQ", [((1),0), ((-1),2), ((-1),3), ((-2),4), ((-1),5), ((2),7), ((-1),8), ((1),10), ((2),12), ((1),15), ((-1),17), ((2),20), ((-2),22), ((2),23), ((-1),24), ((-1),28), ((1),30), ((-2),32), ((-2),33), ((2),34), ((2),35), ((-2),37), ((1),41), ((-2),42), ((-2),43), ((1),44), ((-2),45), ((2),46), ((-1),47), ((-2),49), ((1),50), ((2),52), ((-1),55), ((2),58), ((-2),60), ((-2),62), ((1),63), ((1),64), ((-2),66), ((-1),68), ((-1),72), ((-1),73)], (-11)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((1),5), ((2),6), ((-2),7), ((-2),11), ((-1),13), ((2),14), ((-2),15), ((2),17), ((1),18), ((-2),19), ((1),20), ((-1),21), ((-1),24), ((-1),25), ((2),27), ((1),28), ((-1),31), ((1),33), ((2),34), ((-2),35), ((2),36), ((-1),40), ((1),41), ((2),43), ((1),44), ((2),52), ((-2),55), ((2),56), ((-2),57), ((-1),59), ((1),60), ((1),61), ((1),62), ((-1),64), ((2),65), ((-2),66), ((-1),67), ((2),68), ((1),70), ((2),74)], (13)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),4), ((-2),5), ((1),8), ((2),9), ((-2),10), ((2),11), ((2),12), ((1),13), ((-2),14), ((-2),15), ((-2),17), ((-1),19), ((-1),20), ((-1),22), ((1),23), ((2),24), ((-2),25), ((-1),26), ((2),28), ((-2),30), ((2),31), ((-1),35), ((-1),36), ((-2),40), ((-1),41), ((-2),42), ((-1),45), ((1),46), ((-1),47), ((-2),48), ((1),49), ((2),52), ((-2),53), ((1),54), ((2),55), ((1),56), ((2),57), ((2),58), ((-1),59), ((2),60), ((-2),62), ((1),63), ((2),65), ((-1),68), ((-2),70), ((-1),71)], (6)), ("GEQ", [((1),2), ((1),3), ((-1),4), ((2),5), ((2),6), ((2),7), ((1),9), ((2),10), ((-1),11), ((-2),13), ((2),14), ((-1),15), ((2),19), ((2),20), ((-2),22), ((2),23), ((1),26), ((1),28), ((2),31), ((1),34), ((2),35), ((2),36), ((-1),37), ((1),38), ((-1),39), ((-2),40), ((2),41), ((1),43), ((1),46), ((-2),47), ((-2),49), ((-2),51), ((-2),52), ((2),53), ((1),54), ((2),55), ((-2),58), ((1),59), ((1),60), ((-2),61), ((-2),63), ((-2),65), ((-2),67), ((-2),68), ((-1),69), ((2),70)], (16)), ("GEQ", [((-2),2), ((-2),3), ((-2),4), ((2),6), ((-1),7), ((-1),8), ((1),9), ((-2),11), ((1),14), ((2),17), ((1),19), ((2),20), ((-2),21), ((2),22), ((-2),23), ((1),24), ((-2),25), ((-2),26), ((2),27), ((-2),28), ((-2),33), ((-1),34), ((-1),37), ((1),38), ((2),40), ((-2),41), ((1),42), ((-2),43), ((2),44), ((1),47), ((-2),48), ((-1),49), ((-2),50), ((2),52), ((-2),55), ((-1),57), ((2),58), ((1),59), ((1),60), ((-2),61), ((2),62), ((2),63), ((-1),65), ((-2),67), ((1),68), ((-1),70), ((1),71), ((-2),72)], (38)), ("GEQ", [((-2),0), ((2),1), ((-2),3), ((-2),4), ((1),5), ((-1),6), ((-2),8), ((1),10), ((-1),11), ((-2),12), ((-1),13), ((1),14), ((1),15), ((2),17), ((-1),18), ((1),21), ((2),22), ((-1),23), ((2),24), ((1),26), ((2),27), ((-1),28), ((-2),32), ((-2),33), ((1),34), ((2),35), ((-1),40), ((2),43), ((-2),44), ((1),46), ((2),49), ((-2),53), ((-2),54), ((1),55), ((1),56), ((1),58), ((-2),60), ((-2),62), ((-1),64), ((1),66), ((1),67), ((2),68), ((-2),69), ((-2),70), ((1),71), ((2),73)], (-42)), ("GEQ", [((-1),0), ((-2),2), ((2),3), ((-2),5), ((-2),6), ((-1),7), ((-2),9), ((-2),10), ((-1),11), ((-2),13), ((1),15), ((1),16), ((-2),17), ((1),18), ((2),19), ((-2),20), ((-2),22), ((-2),23), ((2),24), ((2),25), ((2),27), ((1),30), ((-1),34), ((-1),35), ((-1),36), ((-1),37), ((-2),38), ((-2),39), ((-1),41), ((-1),42), ((-1),43), ((2),44), ((1),46), ((1),47), ((1),48), ((1),49), ((-2),52), ((-1),53), ((-1),54), ((1),56), ((1),57), ((1),58), ((2),60), ((2),62), ((2),63), ((-1),65), ((-2),67), ((-1),69), ((-1),70), ((-2),71), ((-1),74)], (9)), ("GEQ", [((2),1), ((-1),2), ((1),3), ((1),4), ((-1),6), ((-1),7), ((2),8), ((2),11), ((-2),12), ((1),13), ((-1),16), ((2),18), ((-1),20), ((-2),21), ((-2),24), ((1),25), ((2),27), ((-1),29), ((1),30), ((2),31), ((-1),32), ((1),33), ((-2),34), ((1),35), ((-2),36), ((2),37), ((1),39), ((-2),40), ((-1),41), ((-1),42), ((1),44), ((-1),45), ((-1),48), ((-1),51), ((-2),54), ((1),55), ((-2),58), ((1),59), ((2),62), ((1),63), ((-2),64), ((-1),68), ((1),70), ((1),71), ((-2),72), ((1),73), ((-2),74)], (-7)), ("GEQ", [((2),1), ((-1),5), ((1),6), ((-2),8), ((1),9), ((-1),11), ((1),12), ((-2),14), ((-2),16), ((-1),17), ((2),20), ((2),21), ((-1),23), ((1),24), ((1),26), ((1),28), ((1),29), ((1),32), ((-2),34), ((1),38), ((-2),39), ((1),41), ((-2),42), ((-2),45), ((2),46), ((-2),48), ((-2),50), ((2),51), ((-1),55), ((2),56), ((1),57), ((-2),58), ((-2),59), ((1),62), ((2),63), ((1),64), ((2),66), ((2),67), ((2),69), ((2),71), ((-1),73)], (49)), ("GEQ", [((-2),1), ((1),3), ((-2),4), ((-2),6), ((1),8), ((2),9), ((-1),10), ((-1),11), ((1),12), ((1),13), ((-2),14), ((2),18), ((2),20), ((-1),22), ((-2),23), ((-2),24), ((-1),27), ((2),28), ((1),31), ((-1),32), ((-2),33), ((-2),34), ((1),36), ((1),37), ((-2),38), ((-1),40), ((1),43), ((-2),45), ((-2),47), ((-2),48), ((-1),49), ((2),51), ((-1),53), ((2),54), ((2),55), ((1),56), ((-2),57), ((1),59), ((2),62), ((2),64), ((-1),65), ((2),67), ((1),69), ((1),72), ((1),73), ((-2),74)], (25)), ("GEQ", [((1),0), ((2),1), ((1),2), ((1),3), ((1),4), ((-2),5), ((-2),6), ((1),7), ((1),11), ((2),16), ((-1),18), ((1),20), ((2),22), ((1),23), ((2),24), ((2),25), ((-2),26), ((-2),27), ((-1),28), ((-1),29), ((1),32), ((2),33), ((-1),34), ((2),35), ((1),38), ((-2),39), ((-2),40), ((-1),41), ((2),42), ((2),46), ((1),47), ((-1),48), ((2),54), ((-2),55), ((1),56), ((2),57), ((-1),58), ((2),59), ((2),66), ((-2),71), ((-1),73)], (-18)), ("GEQ", [((2),1), ((-1),2), ((-1),3), ((2),4), ((2),5), ((1),6), ((-1),9), ((2),10), ((-1),14), ((-1),15), ((-2),16), ((-2),17), ((1),19), ((1),22), ((2),23), ((-2),24), ((2),25), ((-1),28), ((1),29), ((2),30), ((-2),31), ((1),32), ((2),33), ((-2),38), ((-1),39), ((-1),40), ((1),41), ((-2),43), ((2),44), ((-2),45), ((2),48), ((-1),49), ((-1),50), ((1),51), ((1),52), ((-1),53), ((2),55), ((-2),57), ((2),58), ((-2),59), ((1),60), ((-2),67), ((-1),71)], (-8)), ("GEQ", [((1),0), ((1),1), ((2),4), ((-2),5), ((-2),6), ((-2),9), ((2),11), ((-1),12), ((1),14), ((2),19), ((-1),21), ((2),25), ((2),26), ((-2),27), ((2),28), ((-1),29), ((2),32), ((-1),33), ((-1),38), ((1),39), ((-2),41), ((1),44), ((-2),46), ((-2),48), ((1),49), ((1),50), ((2),52), ((1),56), ((-1),59), ((-2),61), ((2),62), ((2),64), ((1),66), ((2),67), ((1),68), ((-1),71)], (-22)), ("GEQ", [((2),3), ((1),6), ((-2),7), ((1),8), ((1),9), ((1),11), ((2),12), ((-2),14), ((-1),16), ((-1),17), ((-1),18), ((-1),21), ((1),24), ((-1),25), ((-2),26), ((1),28), ((-2),29), ((-1),31), ((-1),32), ((-1),34), ((2),37), ((-2),39), ((-1),41), ((-1),42), ((-1),43), ((-2),45), ((-2),46), ((-2),51), ((-1),52), ((1),54), ((1),55), ((1),56), ((2),57), ((-1),60), ((2),61), ((1),63), ((-1),64), ((-1),65), ((-2),67), ((2),68), ((-1),71), ((-2),72), ((1),73), ((-2),74)], (31)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((1),3), ((-1),4), ((-2),8), ((-2),9), ((-2),13), ((1),14), ((-1),15), ((-2),16), ((-2),17), ((-2),18), ((-2),19), ((-1),20), ((-2),21), ((-1),22), ((-2),24), ((-1),25), ((1),27), ((2),28), ((-2),30), ((-2),31), ((2),33), ((1),34), ((2),36), ((1),39), ((2),40), ((-2),42), ((-2),45), ((1),46), ((2),49), ((-1),50), ((-1),51), ((-2),52), ((-1),54), ((1),55), ((-2),56), ((-2),58), ((-2),59), ((2),61), ((1),62), ((-1),63), ((-2),65), ((2),70), ((-2),71), ((-2),72)], (26)), ("GEQ", [((1),0), ((1),1), ((-1),3), ((-2),4), ((-1),6), ((-2),7), ((-2),8), ((-1),10), ((1),11), ((2),12), ((-1),13), ((-2),14), ((1),16), ((-2),17), ((1),18), ((-2),19), ((-1),20), ((-2),22), ((-1),23), ((1),25), ((-2),26), ((2),28), ((-1),29), ((-1),30), ((-1),41), ((1),42), ((-1),43), ((1),44), ((-1),45), ((-1),47), ((2),49), ((2),50), ((-2),52), ((-2),53), ((-1),54), ((2),55), ((1),56), ((1),57), ((-2),58), ((-1),59), ((1),61), ((2),63), ((-1),65), ((2),67), ((-2),68), ((-1),69), ((2),70), ((2),73)], (-16)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((1),3), ((2),7), ((-2),8), ((2),10), ((-2),12), ((-2),14), ((-1),15), ((-2),21), ((-2),22), ((2),23), ((-1),24), ((2),25), ((2),28), ((1),30), ((-1),32), ((-1),34), ((-2),35), ((1),36), ((1),37), ((1),39), ((2),40), ((2),43), ((2),44), ((1),49), ((2),50), ((-2),52), ((-2),54), ((-1),55), ((1),56), ((1),60), ((-1),61), ((-2),63), ((2),67), ((2),68), ((-2),69), ((-2),73)], (13)), ("GEQ", [((-2),0), ((1),3), ((-1),5), ((-1),6), ((1),7), ((1),8), ((-1),9), ((-2),10), ((-1),11), ((1),12), ((-1),13), ((-1),16), ((1),19), ((-1),20), ((1),21), ((2),24), ((-1),27), ((1),30), ((-2),31), ((2),33), ((-2),34), ((2),36), ((-2),37), ((1),39), ((1),40), ((-2),42), ((-2),43), ((1),44), ((-1),46), ((1),47), ((1),48), ((-1),49), ((-1),51), ((-1),53), ((-1),60), ((2),62), ((-1),64), ((-1),69), ((-1),70), ((1),71), ((2),73), ((2),74)], (12)), ("GEQ", [((-1),1), ((1),4), ((1),5), ((-1),9), ((-1),13), ((2),16), ((-2),17), ((1),19), ((2),20), ((-2),21), ((-2),23), ((2),26), ((1),27), ((-2),28), ((1),29), ((-1),30), ((1),31), ((-1),33), ((2),38), ((-2),39), ((-1),41), ((-1),42), ((-2),43), ((-1),44), ((1),46), ((2),47), ((-1),48), ((1),49), ((-1),50), ((-2),51), ((-2),52), ((1),53), ((-1),54), ((2),56), ((-2),59), ((-1),60), ((1),62), ((2),65), ((1),66), ((2),68), ((-1),69), ((-2),70), ((2),72), ((2),74)], (-7)), ("GEQ", [((1),0), ((2),2), ((2),5), ((-2),7), ((-1),8), ((-2),10), ((-2),11), ((-1),12), ((1),14), ((1),17), ((-1),18), ((1),19), ((-1),22), ((-2),23), ((1),24), ((2),25), ((2),26), ((2),29), ((2),30), ((-2),31), ((-1),32), ((-1),34), ((1),35), ((-2),36), ((2),39), ((2),40), ((1),41), ((2),42), ((-2),44), ((2),45), ((2),46), ((-2),48), ((-1),49), ((-1),51), ((1),55), ((-1),58), ((-2),59), ((1),60), ((1),61), ((-1),62), ((1),63), ((1),67), ((1),69), ((-2),70), ((-2),72), ((2),73), ((2),74)], (-9)), ("GEQ", [((-1),1), ((-2),3), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((-2),9), ((1),12), ((2),13), ((-1),17), ((-2),19), ((-1),20), ((-1),21), ((-2),22), ((-1),23), ((-2),24), ((1),25), ((1),26), ((-1),27), ((-2),29), ((1),30), ((-1),31), ((2),32), ((-2),33), ((1),34), ((-2),36), ((2),40), ((-1),41), ((2),42), ((-1),44), ((-2),46), ((1),48), ((-2),49), ((1),50), ((2),51), ((-1),55), ((1),58), ((-2),61), ((2),62), ((-2),64), ((1),66), ((1),67), ((-2),68), ((2),69), ((1),70), ((-2),72), ((1),74)], (0)), ("GEQ", [((-1),1), ((2),3), ((1),5), ((2),6), ((-2),8), ((-1),9), ((-1),10), ((1),11), ((1),13), ((1),14), ((-1),15), ((-2),16), ((2),19), ((-1),20), ((-1),23), ((-1),24), ((1),26), ((2),27), ((-1),28), ((-1),30), ((2),31), ((-2),32), ((2),40), ((2),41), ((2),43), ((1),45), ((2),47), ((-2),50), ((1),51), ((2),52), ((2),53), ((-2),54), ((1),55), ((2),56), ((2),57), ((-1),58), ((1),59), ((-2),61), ((-2),62), ((-1),63), ((2),65), ((-1),67), ((1),68), ((-2),69), ((-2),70), ((2),71), ((-1),72), ((1),73), ((2),74)], (5)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((1),4), ((1),5), ((1),8), ((-1),9), ((2),10), ((-1),16), ((1),17), ((-1),18), ((-2),19), ((-2),21), ((-1),28), ((1),29), ((-1),30), ((1),32), ((-1),37), ((2),40), ((2),41), ((-2),43), ((1),45), ((-1),52), ((-2),54), ((1),55), ((1),57), ((1),58), ((1),59), ((2),61), ((-2),65), ((-1),66), ((-2),67), ((1),69), ((-1),71), ((2),73), ((2),74)], (-15)), ("GEQ", [((1),0), ((2),1), ((1),2), ((1),4), ((2),5), ((1),6), ((-2),7), ((-2),8), ((1),9), ((-1),10), ((2),11), ((2),13), ((-1),14), ((1),16), ((2),17), ((-1),18), ((-2),19), ((-1),20), ((-2),21), ((2),22), ((2),23), ((2),29), ((2),30), ((1),33), ((-2),34), ((-1),35), ((-2),36), ((-1),37), ((-1),38), ((-2),39), ((-1),40), ((2),41), ((-2),42), ((-1),43), ((1),44), ((-1),45), ((1),46), ((2),47), ((-2),53), ((-2),54), ((1),56), ((-1),57), ((2),58), ((-2),60), ((-2),62), ((2),63), ((1),65), ((-2),66), ((2),67), ((-1),68), ((2),70), ((2),74)], (10)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((2),5), ((2),6), ((-1),11), ((2),14), ((1),15), ((1),16), ((2),20), ((-1),22), ((-2),23), ((-2),25), ((-1),26), ((-1),27), ((2),29), ((-2),30), ((-1),31), ((2),32), ((1),34), ((-2),36), ((1),38), ((1),39), ((-2),40), ((-1),41), ((1),45), ((2),46), ((2),47), ((2),48), ((-2),49), ((-2),52), ((1),54), ((-2),55), ((1),59), ((-2),60), ((1),62), ((2),65), ((1),66), ((1),67), ((1),68), ((2),74)], (31)), ("GEQ", [((1),3), ((-1),5), ((-1),7), ((2),9), ((1),10), ((-1),11), ((-1),12), ((2),14), ((1),15), ((-2),16), ((1),17), ((-1),19), ((-1),23), ((2),24), ((-1),25), ((-1),26), ((2),29), ((-2),30), ((2),33), ((1),36), ((2),38), ((2),40), ((2),47), ((-2),49), ((-1),50), ((1),55), ((2),57), ((-1),61), ((1),62), ((-1),64), ((1),65), ((-2),69), ((-1),72), ((1),74)], (32)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((1),3), ((1),4), ((1),6), ((-1),7), ((-2),8), ((1),9), ((2),11), ((-1),13), ((-2),14), ((-2),15), ((-1),16), ((1),18), ((1),19), ((1),22), ((-1),23), ((2),24), ((2),25), ((2),28), ((1),30), ((2),31), ((2),32), ((-2),36), ((-2),37), ((2),39), ((2),41), ((1),44), ((-2),46), ((-1),47), ((-1),49), ((-2),50), ((1),51), ((2),52), ((1),54), ((2),55), ((-1),56), ((-2),58), ((1),60), ((2),61), ((2),62), ((1),63), ((-1),64), ((-1),66), ((-2),67), ((2),68), ((2),69), ((2),71), ((1),73), ((-2),74)], (-3)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((1),6), ((-2),7), ((2),8), ((-2),9), ((2),10), ((-1),13), ((1),16), ((-2),22), ((-1),23), ((1),26), ((-2),27), ((-1),28), ((-1),29), ((-1),30), ((2),31), ((-1),32), ((2),33), ((2),35), ((-2),37), ((-2),38), ((-1),39), ((-2),40), ((-2),42), ((-1),44), ((-2),46), ((-2),47), ((1),49), ((2),50), ((1),51), ((1),54), ((-2),56), ((1),57), ((1),59), ((1),61), ((1),62), ((1),64), ((-1),67), ((2),68), ((1),69), ((1),73)], (-46)), ("GEQ", [((1),0), ((1),1), ((-2),4), ((2),5), ((-1),6), ((-1),7), ((1),9), ((-1),13), ((-2),14), ((1),15), ((1),16), ((-1),17), ((1),18), ((1),19), ((-2),21), ((-1),22), ((-2),23), ((-1),24), ((-2),25), ((-1),27), ((2),28), ((-1),29), ((-1),30), ((2),31), ((1),33), ((1),35), ((-2),38), ((-2),42), ((2),43), ((-1),44), ((-2),45), ((2),48), ((2),49), ((-2),50), ((-2),51), ((-2),53), ((-1),54), ((-1),55), ((-2),56), ((-1),57), ((-1),59), ((2),62), ((1),63), ((-1),64), ((-2),66), ((-2),68), ((-1),69), ((-1),72), ((-1),73), ((2),74)], (36)), ("GEQ", [((-1),0), ((1),1), ((-2),3), ((-2),8), ((-1),9), ((1),11), ((2),12), ((2),13), ((-1),14), ((2),15), ((2),17), ((1),19), ((2),20), ((2),22), ((-2),23), ((-1),25), ((-2),26), ((1),27), ((1),30), ((1),31), ((2),33), ((1),37), ((1),38), ((1),39), ((1),41), ((-1),43), ((1),44), ((-1),46), ((-1),48), ((-1),50), ((-2),52), ((2),54), ((2),56), ((-2),57), ((-1),61), ((-2),63), ((-2),65), ((-2),66), ((2),68), ((-2),69), ((-1),70), ((2),71), ((2),73), ((-1),74)], (18)), ("GEQ", [((1),2), ((1),3), ((1),4), ((-2),5), ((1),6), ((-1),9), ((-1),11), ((-1),12), ((-1),15), ((1),16), ((-2),17), ((1),18), ((1),20), ((-1),23), ((2),26), ((-1),27), ((-2),29), ((1),32), ((2),35), ((2),36), ((1),37), ((1),38), ((-2),39), ((2),41), ((2),43), ((1),44), ((-2),45), ((-1),46), ((1),48), ((-2),49), ((-1),50), ((-2),51), ((-2),52), ((-1),53), ((-1),54), ((-1),56), ((-1),58), ((1),60), ((-2),62), ((-2),66), ((-2),67), ((2),68), ((-2),72), ((-1),73), ((-2),74)], (19)), ("GEQ", [((1),0), ((-1),2), ((1),3), ((2),4), ((2),5), ((-1),6), ((-1),8), ((-2),11), ((-1),12), ((-2),17), ((2),18), ((-2),19), ((1),21), ((-2),25), ((-1),27), ((1),28), ((-2),29), ((-1),30), ((-1),33), ((1),34), ((1),35), ((2),37), ((1),38), ((-1),39), ((-2),40), ((-2),41), ((1),42), ((-1),44), ((2),46), ((-2),47), ((-1),49), ((1),50), ((2),52), ((2),53), ((1),60), ((2),62), ((2),63), ((2),64), ((-1),65), ((1),66), ((-2),67), ((-1),69), ((1),70), ((-2),72), ((-1),73)], (12)), ("GEQ", [((1),0), ((2),1), ((-1),2), ((-2),4), ((2),5), ((-1),6), ((-2),8), ((2),9), ((-1),11), ((-2),13), ((-2),15), ((-1),16), ((-2),17), ((-1),19), ((2),24), ((-1),26), ((-1),27), ((-1),29), ((2),30), ((2),31), ((1),33), ((-2),34), ((1),36), ((1),38), ((2),42), ((1),43), ((2),44), ((-2),45), ((-2),46), ((2),47), ((-2),49), ((-1),51), ((-2),52), ((-2),56), ((1),58), ((-2),59), ((-2),62), ((2),63), ((-1),65), ((2),68), ((1),69), ((2),71), ((-1),72), ((-1),74)], (-3)), ("GEQ", [((2),1), ((-1),3), ((1),4), ((-2),5), ((2),6), ((-1),7), ((-1),9), ((1),11), ((1),13), ((-1),15), ((-1),16), ((-2),17), ((1),18), ((-2),20), ((-1),21), ((2),22), ((2),23), ((2),24), ((2),25), ((-1),26), ((2),32), ((-2),35), ((-2),37), ((-2),38), ((2),39), ((2),40), ((2),42), ((1),43), ((-2),44), ((-1),45), ((2),46), ((2),48), ((2),51), ((1),52), ((1),53), ((-1),55), ((-2),56), ((2),58), ((-1),60), ((-2),61), ((-1),62), ((-1),63), ((1),64), ((2),65), ((-1),66), ((-1),68), ((-1),69), ((2),71), ((-1),72), ((1),73)], (-6)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((2),4), ((-1),6), ((-2),8), ((1),9), ((1),11), ((-1),12), ((2),13), ((-1),14), ((-1),16), ((2),18), ((2),19), ((2),20), ((2),22), ((2),23), ((1),24), ((2),26), ((1),29), ((2),30), ((-2),31), ((2),33), ((1),34), ((-1),35), ((-2),39), ((2),40), ((-2),41), ((2),43), ((-1),45), ((1),46), ((2),47), ((-2),49), ((-1),50), ((2),51), ((-1),54), ((-2),58), ((-1),60), ((2),63), ((1),64), ((-1),66), ((2),68), ((-2),69), ((-1),70), ((2),71), ((-1),73), ((2),74)], (-15)), ("GEQ", [((-1),1), ((-1),3), ((2),4), ((-1),5), ((2),7), ((-1),8), ((-2),9), ((2),11), ((1),16), ((1),17), ((-2),18), ((-1),19), ((-1),21), ((-1),24), ((-2),25), ((-1),26), ((-2),28), ((-1),30), ((2),31), ((1),33), ((-2),34), ((-1),35), ((-2),36), ((1),37), ((-1),38), ((-2),39), ((2),40), ((2),41), ((2),43), ((-1),47), ((-1),48), ((-2),49), ((1),50), ((-1),52), ((1),53), ((-2),54), ((2),56), ((-1),58), ((2),59), ((-1),62), ((-1),63), ((-2),64), ((2),65), ((2),67), ((2),68), ((-1),69), ((-2),71), ((-2),72), ((-2),73), ((1),74)], (4)), ("GEQ", [((-1),3), ((-2),8), ((1),11), ((1),12), ((-2),13), ((1),15), ((-1),17), ((2),19), ((1),20), ((2),22), ((-2),23), ((1),25), ((1),26), ((-2),27), ((1),28), ((1),29), ((-2),30), ((1),33), ((2),35), ((-1),36), ((-2),38), ((2),39), ((1),40), ((-1),42), ((-1),43), ((1),44), ((2),45), ((-2),46), ((2),47), ((2),49), ((2),50), ((-1),53), ((1),54), ((-1),57), ((1),60), ((-1),61), ((-1),62), ((1),64), ((2),66), ((-1),67), ((-2),68), ((1),70), ((-2),71), ((1),72), ((1),73), ((1),74)], (-4)), ("GEQ", [((-1),0), ((1),1), ((-2),4), ((-2),5), ((2),6), ((-1),7), ((-2),8), ((-1),9), ((-2),10), ((1),11), ((2),12), ((-2),13), ((-1),15), ((2),16), ((-2),17), ((1),18), ((-1),22), ((-2),23), ((-1),25), ((2),26), ((-2),29), ((2),30), ((-1),31), ((1),32), ((-2),33), ((2),35), ((1),36), ((1),39), ((-2),41), ((2),42), ((1),45), ((-2),46), ((1),47), ((2),48), ((1),49), ((2),50), ((2),51), ((2),52), ((-1),53), ((-2),54), ((-1),55), ((-2),57), ((-1),59), ((1),60), ((1),62), ((-2),63), ((1),66), ((-1),69), ((2),71), ((-1),72), ((-1),73)], (-7)), ("GEQ", [((-1),2), ((-1),3), ((1),4), ((1),11), ((-2),13), ((-2),15), ((2),16), ((1),17), ((1),20), ((2),21), ((2),22), ((-1),25), ((-1),31), ((-2),32), ((1),33), ((1),35), ((-2),37), ((-2),38), ((2),39), ((1),43), ((1),44), ((-1),45), ((-2),49), ((-2),50), ((2),51), ((-1),52), ((-2),54), ((2),56), ((1),57), ((-2),58), ((2),59), ((1),60), ((-2),61), ((-2),62), ((2),64), ((-1),65), ((2),67), ((-1),68), ((2),70), ((1),71), ((1),72), ((-1),74)], (-19)), ("GEQ", [((2),0), ((1),1), ((-2),4), ((-2),5), ((1),6), ((1),7), ((-2),8), ((-1),10), ((-1),11), ((-1),12), ((1),13), ((-2),15), ((-1),17), ((-1),18), ((1),19), ((-2),22), ((-2),23), ((1),27), ((1),28), ((2),29), ((1),30), ((-2),31), ((-2),32), ((-2),34), ((2),36), ((2),37), ((2),40), ((-1),42), ((2),43), ((-2),46), ((-2),48), ((2),50), ((-1),51), ((-2),52), ((1),53), ((1),54), ((2),56), ((2),57), ((-2),58), ((-1),61), ((-2),62), ((-1),63), ((-2),64), ((-2),67), ((1),69), ((2),70), ((2),71), ((1),74)], (67)), ("GEQ", [((-1),0), ((1),4), ((-1),5), ((-2),7), ((-1),11), ((-2),12), ((1),13), ((-2),14), ((-1),17), ((-2),19), ((-1),20), ((1),21), ((-2),26), ((-1),27), ((2),28), ((1),29), ((2),32), ((1),38), ((-1),39), ((-1),42), ((2),43), ((-2),46), ((-2),47), ((-2),48), ((2),49), ((-2),50), ((2),52), ((-2),54), ((2),56), ((-1),61), ((-1),62), ((1),63), ((-1),64), ((-2),65), ((2),67), ((-1),69), ((1),72), ((2),74)], (-11)), ("GEQ", [((-42),1), ((-9),2), ((-30),3), ((-33),4), ((-13),5), ((-18),6), ((52),7), ((49),8), ((11),9), ((-5),10), ((-40),11), ((24),12), ((3),13), ((43),14), ((26),15), ((-8),16), ((36),17), ((3),18), ((-22),19), ((-2),20), ((16),21), ((-17),22), ((22),23), ((-43),25), ((-18),26), ((45),27), ((-17),28), ((-39),29), ((-18),30), ((-22),31), ((-26),32), ((-28),33), ((42),34), ((-1),35), ((-11),36), ((12),37), ((40),38), ((6),39), ((-22),40), ((-2),41), ((24),42), ((-20),43), ((-11),44), ((11),45), ((17),46), ((-12),47), ((-9),48), ((19),49), ((8),50), ((-25),51), ((35),52), ((5),53), ((22),54), ((-9),55), ((-42),56), ((-25),57), ((36),58), ((14),59), ((11),60), ((36),61), ((37),62), ((-32),63), ((29),64), ((-22),65), ((-4),66), ((1),67), ((-37),68), ((30),69), ((-13),70), ((-33),71), ((-18),72), ((-5),73), ((-26),74)], (-275)), ("GEQ", [((-6),0), ((151),1), ((18),2), ((138),3), ((105),4), ((22),5), ((70),6), ((-169),7), ((-150),8), ((-41),9), ((13),10), ((128),11), ((-91),12), ((-14),13), ((-135),14), ((-109),15), ((62),16), ((-136),17), ((-12),18), ((83),19), ((21),20), ((-53),21), ((41),22), ((-79),23), ((-30),24), ((146),25), ((79),26), ((-176),27), ((39),28), ((132),29), ((81),30), ((99),31), ((97),32), ((68),33), ((-116),34), ((-9),35), ((49),36), ((-28),37), ((-142),38), ((-28),39), ((45),40), ((-11),41), ((-87),42), ((78),43), ((44),44), ((-27),45), ((-67),46), ((72),47), ((53),48), ((-57),49), ((-11),50), ((91),51), ((-108),52), ((-8),53), ((-48),54), ((26),55), ((139),56), ((90),57), ((-78),58), ((-49),59), ((-51),60), ((-128),61), ((-132),62), ((95),63), ((-91),64), ((114),65), ((-2),66), ((-17),67), ((132),68), ((-107),69), ((40),70), ((107),71), ((83),72), ((5),73), ((74),74)], (747)), ("GEQ", [((16),0), ((-228),1), ((-12),2), ((-235),3), ((-165),4), ((-34),5), ((-120),6), ((266),7), ((269),8), ((81),9), ((-200),11), ((127),12), ((17),13), ((190),14), ((190),15), ((-69),16), ((246),17), ((12),18), ((-137),19), ((-46),20), ((91),21), ((-11),22), ((134),23), ((32),24), ((-228),25), ((-161),26), ((287),27), ((-81),28), ((-213),29), ((-138),30), ((-163),31), ((-162),32), ((-84),33), ((165),34), ((23),35), ((-88),36), ((57),37), ((206),38), ((30),39), ((-89),40), ((19),41), ((153),42), ((-80),43), ((-86),44), ((40),45), ((95),46), ((-127),47), ((-71),48), ((119),49), ((1),50), ((-142),51), ((164),52), ((5),53), ((71),54), ((-44),55), ((-205),56), ((-141),57), ((93),58), ((112),59), ((75),60), ((210),61), ((198),62), ((-146),63), ((141),64), ((-184),65), ((-3),66), ((38),67), ((-205),68), ((158),69), ((-67),70), ((-201),71), ((-127),72), ((-8),73), ((-132),74)], (-1771)), ("GEQ", [((-7),0), ((-10),1), ((-32),2), ((43),3), ((-27),4), ((21),5), ((24),6), ((9),7), ((-50),8), ((-7),9), ((-44),10), ((-27),11), ((10),12), ((1),13), ((54),14), ((-25),15), ((-46),16), ((-46),17), ((25),18), ((38),19), ((23),20), ((-19),21), ((-102),22), ((15),23), ((32),24), ((61),26), ((-30),27), ((23),28), ((56),29), ((40),30), ((10),31), ((-4),32), ((-46),33), ((28),34), ((-40),35), ((-2),36), ((-34),37), ((-4),38), ((36),39), ((11),40), ((-5),41), ((-27),42), ((-54),43), ((36),44), ((38),46), ((42),47), ((13),48), ((-41),49), ((32),50), ((7),51), ((25),52), ((1),53), ((8),55), ((-32),56), ((-16),57), ((102),58), ((-53),59), ((1),60), ((-36),61), ((-11),62), ((-8),63), ((4),64), ((54),65), ((-8),66), ((-8),67), ((-37),68), ((5),69), ((-9),70), ((30),71), ((-4),72), ((-17),73), ((54),74)], (1078)), ("GEQ", [((-3),0), ((122),1), ((89),2), ((39),3), ((131),4), ((-17),5), ((2),6), ((-125),7), ((-12),8), ((-5),9), ((72),10), ((97),11), ((-85),12), ((4),13), ((-164),14), ((-52),15), ((101),16), ((-35),17), ((-38),18), ((20),19), ((-7),20), ((21),21), ((205),22), ((-82),23), ((-107),24), ((114),25), ((-28),26), ((-82),27), ((-22),28), ((-3),29), ((3),30), ((43),31), ((83),32), ((135),33), ((-104),34), ((52),35), ((81),36), ((66),37), ((-69),38), ((-83),39), ((23),40), ((-2),41), ((-10),42), ((157),43), ((-32),44), ((-12),45), ((-108),46), ((-2),47), ((11),48), ((-16),49), ((-49),50), ((60),51), ((-141),52), ((23),53), ((16),54), ((-9),55), ((148),56), ((83),57), ((-231),58), ((56),59), ((-34),60), ((-33),61), ((-54),62), ((51),63), ((-56),64), ((-16),65), ((14),66), ((-51),67), ((167),68), ((-90),69), ((33),70), ((9),71), ((87),72), ((46),73), ((-52),74)], (-1183)), ("GEQ", [((-61),1), ((-118),2), ((-28),3), ((-86),4), ((-4),5), ((24),6), ((61),7), ((-37),8), ((-33),9), ((-48),10), ((35),11), ((86),12), ((-39),13), ((58),14), ((37),15), ((-23),16), ((9),17), ((6),18), ((-59),19), ((-1),20), ((-59),21), ((-164),22), ((78),23), ((132),24), ((-95),25), ((-6),26), ((29),27), ((68),28), ((22),29), ((-11),30), ((8),31), ((-23),32), ((-127),33), ((48),34), ((-11),35), ((-139),36), ((-140),37), ((6),38), ((94),39), ((-68),40), ((-17),41), ((-24),42), ((-152),43), ((54),44), ((4),45), ((49),46), ((-16),47), ((4),48), ((86),49), ((13),50), ((-40),51), ((167),52), ((-64),53), ((-114),54), ((13),55), ((-97),56), ((-32),57), ((191),58), ((-70),59), ((34),60), ((-2),61), ((-34),62), ((40),63), ((13),64), ((38),65), ((-18),66), ((136),67), ((-143),68), ((53),69), ((7),70), ((39),71), ((-64),72), ((-98),73), ((79),74)], (591)), ("GEQ", [((-3),0), ((-141),1), ((-72),2), ((-105),3), ((-123),4), ((-62),5), ((-14),6), ((138),7), ((79),8), ((-23),9), ((-36),10), ((-17),11), ((129),12), ((-6),13), ((95),14), ((77),15), ((-40),16), ((102),17), ((-21),18), ((-125),19), ((-59),20), ((3),21), ((-142),22), ((34),23), ((105),24), ((-183),25), ((-55),26), ((150),27), ((26),28), ((-126),29), ((-95),30), ((-43),31), ((-65),32), ((-116),33), ((104),34), ((-2),35), ((-92),36), ((-57),37), ((116),38), ((61),39), ((-47),40), ((16),41), ((21),42), ((-144),43), ((-22),44), ((37),45), ((38),46), ((-73),47), ((-73),48), ((105),49), ((4),50), ((-81),51), ((175),52), ((-49),53), ((-34),54), ((-6),55), ((-153),56), ((-43),57), ((111),58), ((-25),59), ((25),60), ((112),61), ((109),62), ((-43),63), ((58),64), ((-67),65), ((25),66), ((113),67), ((-126),68), ((129),69), ((-3),70), ((-16),71), ((-81),72), ((-26),73), ((-15),74)], (-251)), ("GEQ", [((78),0), ((-115),1), ((71),2), ((-247),3), ((-55),4), ((59),5), ((-142),6), ((171),7), ((243),8), ((124),9), ((79),10), ((-231),11), ((-7),12), ((16),13), ((133),14), ((171),15), ((-32),16), ((206),17), ((21),18), ((-42),19), ((29),20), ((95),21), ((207),22), ((133),23), ((-45),24), ((-47),25), ((-144),26), ((186),27), ((-162),28), ((-133),29), ((-58),30), ((-182),31), ((-144),32), ((16),33), ((57),34), ((76),35), ((-26),36), ((115),37), ((100),38), ((-58),39), ((-28),40), ((4),41), ((221),42), ((63),43), ((-106),44), ((-6),45), ((89),46), ((-89),47), ((7),48), ((16),49), ((3),50), ((-81),51), ((-11),52), ((60),53), ((110),54), ((-58),55), ((-75),56), ((-150),57), ((-35),58), ((189),59), ((62),60), ((135),61), ((88),62), ((-100),63), ((120),64), ((-176),65), ((-33),66), ((-78),67), ((-102),68), ((58),69), ((-85),70), ((-234),71), ((-100),72), ((8),73), ((-151),74)], (-2356)), ("GEQ", [((-94),0), ((27),1), ((76),2), ((238),3), ((20),4), ((12),5), ((10),6), ((-80),7), ((-80),8), ((41),9), ((-84),10), ((-106),11), ((-62),12), ((78),13), ((16),14), ((-113),15), ((-141),16), ((-124),17), ((77),18), ((168),19), ((-19),20), ((59),21), ((-140),22), ((-87),23), ((-92),24), ((92),25), ((154),26), ((-81),27), ((52),28), ((125),29), ((103),30), ((45),31), ((38),32), ((111),33), ((-8),34), ((-146),35), ((184),36), ((130),37), ((-3),38), ((-2),39), ((116),40), ((55),41), ((-118),42), ((62),43), ((53),44), ((-35),45), ((-11),46), ((79),47), ((-7),48), ((-203),49), ((23),50), ((39),51), ((-153),52), ((49),53), ((120),54), ((76),55), ((53),56), ((36),57), ((-6),58), ((-83),59), ((-17),60), ((-46),61), ((63),62), ((-97),63), ((-95),64), ((77),65), ((1),66), ((-176),67), ((86),68), ((-39),69), ((-11),70), ((66),71), ((55),72), ((146),73), ((24),74)], (3005))]
[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]