[("GEQ", [((2),2), ((-2),3), ((1),4), ((1),5), ((1),6), ((2),7), ((-1),9), ((-2),11), ((2),12), ((-2),14), ((-2),15), ((2),19), ((-2),22), ((2),23), ((-1),24), ((1),26), ((-1),28), ((-1),29), ((-2),31), ((-2),33), ((2),34), ((1),35), ((-1),36), ((1),37), ((2),38), ((2),39), ((2),40), ((-2),42), ((-2),43), ((-2),44), ((2),45), ((2),46), ((-2),49), ((1),51), ((1),54), ((1),57), ((1),59), ((-2),60), ((1),63), ((2),64), ((-1),67), ((-1),68), ((-2),69), ((-2),71), ((1),72), ((1),73), ((-2),74)], (-11)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((2),3), ((2),4), ((2),6), ((-1),7), ((-2),8), ((2),9), ((1),11), ((-1),13), ((-2),14), ((-1),15), ((-2),17), ((-1),19), ((1),23), ((-2),24), ((1),26), ((2),29), ((1),30), ((1),32), ((-1),33), ((1),34), ((-1),35), ((-2),36), ((1),41), ((-2),42), ((-1),44), ((1),45), ((-1),46), ((1),47), ((2),49), ((2),50), ((-1),51), ((1),52), ((2),53), ((-1),54), ((1),55), ((-1),56), ((1),57), ((1),62), ((-1),63), ((1),66), ((-2),67), ((2),71), ((1),72), ((1),73), ((-1),74)], (8)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-2),3), ((-2),4), ((-2),6), ((-1),9), ((-1),10), ((-1),11), ((2),13), ((1),14), ((-2),15), ((2),18), ((1),19), ((1),20), ((1),21), ((-1),26), ((1),27), ((2),28), ((-2),29), ((1),30), ((2),35), ((1),36), ((-2),37), ((-2),39), ((-1),40), ((-2),41), ((-1),42), ((2),43), ((2),46), ((-1),47), ((-1),50), ((1),51), ((-2),52), ((2),53), ((1),54), ((1),56), ((-2),58), ((2),59), ((1),60), ((-1),61), ((-2),64), ((-1),65), ((-1),67), ((2),69), ((-2),74)], (6)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((2),8), ((-2),9), ((-1),10), ((1),15), ((-2),16), ((-1),18), ((1),19), ((-1),20), ((-2),22), ((-1),25), ((1),26), ((2),28), ((2),29), ((-2),30), ((-1),31), ((2),32), ((1),33), ((-2),35), ((1),38), ((-1),39), ((2),40), ((-2),41), ((1),44), ((-2),48), ((2),49), ((-2),53), ((-1),55), ((-2),56), ((-1),57), ((2),58), ((-1),60), ((1),62), ((-1),63), ((1),65), ((1),66), ((1),67), ((1),68), ((-2),69), ((2),71), ((2),74)], (-4)), ("GEQ", [((-2),1), ((-2),4), ((-2),7), ((-1),8), ((-2),10), ((-2),11), ((-2),14), ((-1),15), ((2),16), ((2),17), ((2),18), ((-1),24), ((2),26), ((-1),28), ((-2),33), ((1),34), ((2),37), ((2),38), ((2),41), ((1),42), ((2),43), ((2),44), ((2),45), ((1),46), ((-2),49), ((-2),50), ((-2),51), ((-2),53), ((2),55), ((-2),57), ((1),58), ((-2),60), ((-2),62), ((-2),64), ((2),66), ((-2),67), ((2),68), ((2),69), ((1),70), ((-1),71), ((-1),73), ((-2),74)], (45)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-2),4), ((-2),7), ((1),8), ((-2),9), ((-2),10), ((1),11), ((-2),12), ((1),13), ((1),16), ((-2),17), ((2),21), ((1),23), ((-2),24), ((-2),26), ((-1),27), ((-1),35), ((2),38), ((2),39), ((1),40), ((-1),42), ((1),43), ((2),44), ((-2),45), ((-2),47), ((-1),50), ((1),57), ((1),58), ((1),61), ((1),62), ((1),64), ((-1),65), ((-1),66), ((-1),68), ((-2),69), ((-1),70), ((1),73), ((1),74)], (19)), ("GEQ", [((-2),2), ((2),3), ((-2),5), ((-2),6), ((-2),8), ((2),9), ((-1),11), ((2),12), ((-1),13), ((-1),16), ((1),17), ((1),20), ((-1),21), ((2),22), ((-1),25), ((-1),27), ((2),29), ((1),31), ((2),32), ((-1),33), ((2),35), ((1),36), ((1),38), ((-2),41), ((2),44), ((-1),48), ((-2),53), ((-2),54), ((1),56), ((1),58), ((-1),60), ((2),61), ((-2),64), ((-2),66), ((1),68), ((-1),69), ((-2),71), ((-2),72), ((-2),73), ((1),74)], (18)), ("GEQ", [((2),3), ((1),4), ((-1),6), ((2),8), ((-2),9), ((-1),11), ((1),13), ((1),14), ((-1),15), ((-1),16), ((1),17), ((2),18), ((-1),19), ((2),20), ((-1),21), ((-2),22), ((1),23), ((-2),24), ((1),25), ((1),26), ((1),28), ((2),29), ((-1),31), ((-2),33), ((2),35), ((-1),37), ((2),38), ((1),39), ((-1),40), ((2),43), ((2),44), ((1),45), ((-1),46), ((2),47), ((-1),48), ((-1),49), ((-2),53), ((1),54), ((2),55), ((-2),56), ((2),58), ((-1),60), ((-1),63), ((-2),66), ((-2),68), ((2),73), ((2),74)], (-5)), ("GEQ", [((1),2), ((1),4), ((-1),6), ((-1),7), ((-1),12), ((1),14), ((2),15), ((-2),16), ((-1),18), ((2),19), ((1),21), ((2),22), ((1),24), ((-2),25), ((-2),31), ((-1),32), ((-1),33), ((-1),34), ((2),36), ((-2),41), ((1),42), ((1),44), ((1),46), ((1),51), ((-1),52), ((-2),53), ((2),54), ((2),55), ((2),57), ((1),58), ((-2),59), ((2),60), ((-1),61), ((1),62), ((-2),63), ((-1),65), ((-1),69), ((-1),70), ((1),73), ((-2),74)], (6)), ("GEQ", [((-1),3), ((1),4), ((2),6), ((1),10), ((-2),12), ((-1),14), ((-1),15), ((-2),16), ((-2),17), ((2),18), ((-1),19), ((1),21), ((2),22), ((-2),23), ((-2),24), ((-1),25), ((-1),28), ((-1),29), ((-2),32), ((1),35), ((1),38), ((-1),39), ((-2),40), ((-2),44), ((2),45), ((-2),49), ((-1),52), ((-2),54), ((2),56), ((1),57), ((2),58), ((1),62), ((1),66), ((-2),67), ((1),70), ((-1),71), ((1),72), ((-2),73)], (34)), ("GEQ", [((-2),0), ((-1),3), ((-1),5), ((1),9), ((2),10), ((1),11), ((2),13), ((-1),14), ((-1),15), ((-1),16), ((1),20), ((-2),21), ((1),22), ((2),23), ((2),24), ((1),25), ((-2),26), ((-1),27), ((-1),28), ((-1),29), ((1),30), ((2),31), ((1),33), ((-2),34), ((2),35), ((-1),36), ((1),41), ((-2),43), ((1),44), ((-2),45), ((-1),46), ((2),47), ((2),48), ((2),55), ((2),56), ((-2),57), ((-1),59), ((1),60), ((-1),62), ((1),63), ((2),64), ((-2),65), ((-1),67), ((2),68), ((-2),72), ((2),73), ((1),74)], (-16)), ("GEQ", [((-2),0), ((-2),5), ((-1),7), ((-2),9), ((-1),12), ((1),13), ((1),14), ((1),16), ((-2),17), ((1),18), ((-1),22), ((2),23), ((-1),25), ((-1),26), ((-1),27), ((-1),28), ((-1),31), ((1),32), ((-2),36), ((1),37), ((-1),38), ((-2),43), ((-2),44), ((-2),45), ((-1),47), ((-1),48), ((2),49), ((1),51), ((-2),53), ((-1),54), ((-1),55), ((-2),57), ((-2),58), ((1),59), ((-1),61), ((-1),62), ((2),64), ((1),67), ((-2),71), ((2),73)], (42)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((1),3), ((2),4), ((2),6), ((1),8), ((-1),9), ((2),11), ((2),14), ((2),15), ((2),16), ((1),17), ((-1),18), ((-2),19), ((-1),20), ((2),21), ((-1),22), ((-2),23), ((2),26), ((2),27), ((-1),29), ((1),30), ((1),31), ((1),32), ((-2),35), ((-1),36), ((2),37), ((2),38), ((1),41), ((-1),44), ((-1),45), ((-2),46), ((-2),47), ((-2),48), ((-1),49), ((2),50), ((1),51), ((1),52), ((1),53), ((-1),54), ((-2),56), ((2),57), ((1),58), ((-2),59), ((1),60), ((1),61), ((2),62), ((1),64), ((2),65), ((-1),66), ((1),67), ((-2),68), ((-2),69), ((2),70), ((-1),71), ((1),73)], (-22)), ("GEQ", [((-2),2), ((1),4), ((-1),5), ((-1),7), ((2),10), ((-1),11), ((1),12), ((1),13), ((1),14), ((-1),15), ((1),18), ((-2),20), ((-2),22), ((-2),24), ((-2),26), ((-1),30), ((2),32), ((-1),33), ((-2),36), ((1),37), ((-1),41), ((-1),44), ((2),46), ((2),48), ((1),49), ((-1),50), ((-1),51), ((-1),52), ((-1),60), ((1),61), ((1),65), ((-2),66), ((-2),67), ((2),71), ((-2),73), ((1),74)], (16)), ("GEQ", [((-2),1), ((1),3), ((-1),4), ((2),6), ((-1),7), ((2),8), ((1),9), ((-2),11), ((-2),12), ((-2),14), ((-1),15), ((-2),17), ((1),18), ((-1),19), ((-1),20), ((2),21), ((-1),23), ((-2),25), ((2),26), ((1),27), ((1),29), ((-1),30), ((1),31), ((-2),33), ((2),35), ((2),36), ((1),37), ((1),38), ((1),39), ((1),41), ((2),43), ((-2),44), ((2),46), ((-2),47), ((-2),48), ((2),49), ((2),50), ((2),52), ((-2),53), ((2),56), ((-1),57), ((2),60), ((-2),63), ((1),65), ((-2),66), ((-2),68), ((-2),69), ((-2),71), ((1),72), ((2),74)], (58)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-1),3), ((-2),4), ((-1),5), ((2),8), ((-2),9), ((-2),10), ((2),11), ((-1),12), ((2),13), ((1),15), ((-1),17), ((-1),24), ((-1),25), ((-1),26), ((2),27), ((-2),28), ((2),29), ((-2),32), ((-2),34), ((1),36), ((1),38), ((1),39), ((-2),41), ((-2),43), ((1),44), ((-1),45), ((1),46), ((2),47), ((-1),48), ((2),49), ((-2),50), ((2),51), ((1),52), ((-2),54), ((-1),59), ((2),60), ((-1),61), ((-2),62), ((1),63), ((1),64), ((-1),66), ((-1),67), ((-2),69), ((1),70), ((2),71)], (-28)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((-2),3), ((-1),4), ((-2),7), ((1),8), ((-2),10), ((-1),11), ((-2),13), ((-2),14), ((-1),16), ((-2),17), ((2),19), ((2),20), ((1),21), ((1),22), ((1),23), ((-2),24), ((-2),26), ((-1),28), ((2),29), ((-1),30), ((2),33), ((-1),34), ((-2),35), ((2),36), ((2),37), ((2),38), ((-2),39), ((-1),40), ((1),41), ((-2),42), ((-1),43), ((-1),48), ((1),53), ((2),55), ((1),56), ((2),57), ((-1),59), ((1),61), ((2),62), ((2),65), ((2),66), ((2),68), ((1),70), ((1),71)], (-13)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((1),3), ((-2),4), ((-1),7), ((2),11), ((-2),12), ((2),13), ((2),15), ((1),16), ((1),19), ((2),20), ((-1),21), ((1),23), ((-2),24), ((1),25), ((-2),26), ((-2),27), ((-1),28), ((-1),30), ((2),34), ((2),35), ((-2),39), ((1),41), ((-1),42), ((-1),43), ((1),44), ((1),45), ((-1),46), ((2),47), ((-2),51), ((2),54), ((-2),58), ((-2),59), ((-2),61), ((-2),63), ((-2),67), ((2),69), ((1),71), ((2),72), ((1),73), ((1),74)], (-13)), ("GEQ", [((-2),2), ((2),3), ((1),6), ((-1),8), ((2),9), ((-1),12), ((-2),14), ((-2),15), ((-1),16), ((-2),17), ((1),18), ((2),19), ((-2),20), ((-1),22), ((1),24), ((1),25), ((-1),28), ((-1),30), ((2),31), ((2),32), ((-2),33), ((2),36), ((1),39), ((1),40), ((-1),42), ((-2),45), ((2),46), ((-1),47), ((1),48), ((1),50), ((-2),51), ((-1),52), ((1),54), ((-2),55), ((-2),59), ((2),60), ((-1),62), ((-2),63), ((-2),66), ((2),67), ((1),69), ((-2),70), ((2),71), ((2),74)], (-3)), ("GEQ", [((-1),2), ((-1),7), ((1),12), ((-2),14), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((-2),20), ((-2),22), ((2),24), ((2),25), ((-1),27), ((1),28), ((-2),30), ((1),32), ((2),33), ((-1),34), ((-2),37), ((-2),40), ((-1),43), ((1),44), ((2),45), ((2),46), ((2),48), ((2),51), ((2),52), ((-1),55), ((2),56), ((-1),57), ((1),58), ((1),59), ((1),60), ((-1),62), ((-1),64), ((-2),66), ((-2),67), ((1),68), ((-1),69), ((2),72), ((-2),74)], (-17)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((1),3), ((1),4), ((-1),5), ((1),6), ((2),7), ((2),8), ((-2),9), ((-2),11), ((-1),12), ((-2),13), ((-1),14), ((-1),15), ((2),16), ((-2),17), ((2),18), ((-2),21), ((2),22), ((1),23), ((-1),24), ((2),28), ((-2),29), ((-1),30), ((-1),32), ((-2),33), ((2),34), ((1),35), ((1),36), ((1),37), ((2),38), ((-1),39), ((-1),40), ((-1),42), ((-1),43), ((1),44), ((-1),45), ((1),49), ((2),50), ((-1),51), ((-1),52), ((-2),53), ((-1),55), ((-1),58), ((2),62), ((1),63), ((-2),65), ((-1),67), ((1),69), ((1),70), ((1),71), ((2),72), ((2),73), ((2),74)], (-20)), ("GEQ", [((-2),0), ((1),1), ((-2),3), ((-2),5), ((-2),10), ((1),12), ((-2),13), ((2),15), ((-2),18), ((2),20), ((-2),21), ((2),22), ((-1),23), ((1),26), ((-2),27), ((-1),29), ((-1),31), ((2),32), ((2),34), ((-1),36), ((1),38), ((-2),39), ((2),40), ((-1),42), ((-1),43), ((-2),44), ((-1),46), ((-1),48), ((1),49), ((1),52), ((2),53), ((2),55), ((-2),57), ((1),59), ((-1),60), ((-2),61), ((1),63), ((-2),65), ((-2),66), ((-1),68), ((1),69), ((2),70), ((2),71), ((-2),73), ((2),74)], (-43)), ("GEQ", [((1),6), ((-2),9), ((-2),10), ((-2),14), ((2),17), ((1),18), ((-2),20), ((1),21), ((-2),22), ((1),24), ((1),25), ((1),30), ((2),32), ((1),33), ((1),36), ((-1),38), ((-1),39), ((1),40), ((-1),48), ((2),50), ((-1),52), ((1),53), ((-1),54), ((2),57), ((2),59), ((1),60), ((-2),64), ((-2),67), ((1),70), ((1),71), ((1),72), ((-1),73)], (-12)), ("GEQ", [((2),1), ((1),2), ((-2),4), ((-1),5), ((2),7), ((2),12), ((2),14), ((-1),15), ((2),16), ((2),20), ((-2),26), ((2),29), ((-1),30), ((1),33), ((-1),35), ((-1),37), ((1),38), ((1),39), ((-1),40), ((-2),42), ((-1),43), ((2),45), ((-2),46), ((2),47), ((-2),48), ((2),50), ((-1),51), ((2),52), ((-1),54), ((-1),55), ((-1),56), ((-2),57), ((1),58), ((-2),59), ((1),60), ((-2),62), ((2),63), ((1),64), ((2),65), ((1),66), ((1),67), ((-1),69), ((2),70), ((2),73), ((-2),74)], (-43)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((2),4), ((-1),7), ((2),9), ((1),10), ((-1),12), ((-1),14), ((1),21), ((1),23), ((1),24), ((-1),25), ((1),26), ((-2),27), ((2),29), ((2),30), ((2),32), ((1),33), ((1),34), ((2),37), ((2),38), ((-2),39), ((1),41), ((-2),43), ((-1),44), ((-2),45), ((1),47), ((-2),48), ((2),49), ((-1),51), ((1),52), ((-1),55), ((1),57), ((2),58), ((-2),61), ((-2),62), ((1),63), ((2),64), ((-2),65), ((-1),66), ((1),67), ((1),68), ((-2),69), ((-2),71), ((1),72), ((1),73), ((-2),74)], (1)), ("GEQ", [((-1),2), ((-1),3), ((1),4), ((-1),5), ((2),7), ((2),10), ((2),11), ((2),12), ((2),13), ((-2),15), ((-2),17), ((2),20), ((-1),21), ((1),22), ((1),23), ((2),24), ((2),26), ((2),29), ((-2),31), ((2),32), ((1),34), ((1),38), ((-1),41), ((2),42), ((-1),45), ((-2),46), ((1),47), ((2),49), ((1),50), ((1),52), ((-2),53), ((1),54), ((1),55), ((1),57), ((2),59), ((2),60), ((1),61), ((-2),62), ((-2),63), ((2),66), ((2),68), ((-2),69), ((1),70), ((-1),72), ((-1),74)], (-32)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((2),5), ((2),8), ((1),10), ((2),12), ((-2),15), ((2),16), ((-2),17), ((-1),19), ((-2),21), ((-2),22), ((2),23), ((-2),25), ((2),26), ((2),27), ((1),28), ((1),30), ((1),31), ((1),33), ((-1),34), ((2),36), ((-2),37), ((2),38), ((2),41), ((-1),43), ((1),44), ((-2),46), ((1),49), ((2),51), ((1),55), ((1),56), ((-2),57), ((-2),59), ((2),61), ((-1),62), ((-2),64), ((1),65), ((-1),66), ((1),67), ((-1),68), ((-1),70), ((2),73)], (5)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((-2),3), ((-1),4), ((-1),6), ((2),8), ((-2),10), ((2),13), ((1),14), ((1),15), ((1),16), ((-1),17), ((-2),18), ((1),19), ((-1),20), ((2),22), ((1),25), ((2),26), ((2),28), ((-1),29), ((1),31), ((2),33), ((2),38), ((1),39), ((1),40), ((-1),42), ((-2),45), ((2),47), ((2),49), ((-2),50), ((2),51), ((-1),53), ((-2),54), ((1),55), ((1),58), ((-2),60), ((-1),62), ((-1),63), ((-2),64), ((2),66), ((1),67), ((-1),68), ((1),70), ((1),71), ((-2),72), ((-2),73), ((-1),74)], (-46)), ("GEQ", [((1),0), ((1),6), ((-1),7), ((-2),10), ((-2),11), ((-1),13), ((-1),14), ((2),17), ((-1),18), ((-1),20), ((-1),21), ((-1),22), ((2),23), ((1),24), ((1),25), ((1),26), ((1),27), ((-2),33), ((-2),39), ((-1),40), ((1),42), ((-2),43), ((2),46), ((1),47), ((-1),48), ((1),49), ((2),50), ((-1),54), ((2),55), ((1),56), ((-2),59), ((-2),61), ((-2),64), ((-1),65), ((1),67), ((-1),68), ((2),71), ((2),72)], (-27)), ("GEQ", [((2),0), ((2),1), ((1),5), ((-1),6), ((-2),7), ((2),8), ((-2),10), ((-1),12), ((-1),15), ((-2),16), ((-1),17), ((2),18), ((1),19), ((-1),23), ((2),25), ((1),28), ((-1),29), ((-2),30), ((-2),31), ((2),32), ((2),33), ((-2),34), ((1),35), ((2),36), ((1),37), ((1),39), ((-1),40), ((-2),41), ((2),42), ((1),43), ((-1),45), ((1),46), ((-2),47), ((2),49), ((-1),50), ((-2),51), ((-2),52), ((2),54), ((1),59), ((2),61), ((-1),62), ((1),63), ((-1),64), ((-2),66), ((1),67), ((-1),71), ((-2),72), ((-1),74)], (14)), ("GEQ", [((-1),0), ((-2),1), ((2),6), ((2),7), ((-2),8), ((2),12), ((2),13), ((-1),15), ((-2),16), ((-1),17), ((-2),19), ((1),21), ((2),22), ((1),23), ((2),24), ((-1),25), ((1),26), ((1),27), ((-1),28), ((-1),29), ((-2),30), ((-1),33), ((-1),36), ((1),39), ((-1),40), ((2),43), ((-2),45), ((2),46), ((1),48), ((2),49), ((-2),50), ((-1),53), ((-2),54), ((2),55), ((2),56), ((1),58), ((1),59), ((2),60), ((1),62), ((1),63), ((1),64), ((-1),65), ((2),66), ((-1),68), ((1),71), ((-2),72), ((2),74)], (-24)), ("GEQ", [((-1),1), ((-2),3), ((1),7), ((1),8), ((-1),9), ((-2),11), ((-2),12), ((-1),14), ((-2),15), ((-1),18), ((-1),19), ((2),20), ((-1),26), ((1),27), ((-2),30), ((1),31), ((2),32), ((1),33), ((2),35), ((-2),37), ((-2),38), ((-2),39), ((2),40), ((1),42), ((-1),46), ((-1),48), ((-1),49), ((1),50), ((2),52), ((1),53), ((-1),54), ((2),57), ((1),59), ((1),60), ((-2),61), ((-2),64), ((-2),65), ((2),66), ((-2),67), ((-2),69), ((2),70), ((-1),72), ((-2),73), ((1),74)], (6)), ("GEQ", [((-2),0), ((2),2), ((-2),3), ((-2),4), ((-2),6), ((-2),8), ((-1),9), ((-2),10), ((2),11), ((2),12), ((2),13), ((-1),15), ((1),18), ((1),20), ((1),22), ((1),23), ((-1),24), ((-1),27), ((-2),28), ((-1),29), ((2),33), ((-1),36), ((-2),40), ((-2),41), ((2),42), ((2),43), ((2),45), ((-2),47), ((2),49), ((-2),51), ((-2),53), ((-1),54), ((-1),55), ((-2),56), ((-1),58), ((2),59), ((-1),61), ((-1),62), ((-2),65), ((1),66), ((-1),68), ((-1),69), ((1),70), ((2),71), ((1),72), ((-1),73), ((2),74)], (7)), ("GEQ", [((1),1), ((-2),2), ((2),4), ((2),6), ((-1),7), ((-2),8), ((1),9), ((2),12), ((-2),13), ((1),14), ((2),15), ((-1),17), ((2),18), ((2),21), ((2),26), ((-2),27), ((2),31), ((1),32), ((-1),33), ((2),34), ((1),37), ((-2),38), ((2),40), ((1),43), ((-1),44), ((2),45), ((2),46), ((1),47), ((-2),48), ((1),50), ((-1),54), ((-2),57), ((2),58), ((2),59), ((1),62), ((2),64), ((1),65), ((2),66), ((2),67), ((-1),69), ((-2),70), ((-2),71), ((1),72), ((1),73)], (10)), ("GEQ", [((2),2), ((1),3), ((1),4), ((-2),5), ((-2),6), ((1),9), ((2),13), ((2),14), ((2),16), ((-2),18), ((-1),20), ((-2),21), ((-2),22), ((1),23), ((-2),26), ((-1),28), ((1),29), ((2),30), ((-1),37), ((-1),38), ((-2),39), ((1),40), ((2),41), ((-2),42), ((-1),43), ((1),44), ((-1),45), ((-2),48), ((2),51), ((2),52), ((1),54), ((1),56), ((2),59), ((1),60), ((1),61), ((-2),63), ((-2),65), ((1),70), ((-2),71), ((1),73)], (-7)), ("GEQ", [((-1),0), ((-2),2), ((-2),5), ((2),6), ((1),7), ((1),8), ((1),11), ((-1),12), ((1),16), ((1),17), ((1),19), ((1),20), ((-2),21), ((1),23), ((-1),25), ((-1),27), ((-2),28), ((2),29), ((-1),30), ((1),31), ((-2),33), ((1),36), ((1),37), ((-2),39), ((-2),42), ((1),44), ((1),46), ((-1),47), ((2),49), ((2),52), ((-1),54), ((-1),55), ((-1),56), ((2),57), ((-1),59), ((-1),61), ((-1),62), ((1),64), ((1),65), ((-2),66), ((-2),67), ((2),71)], (-33)), ("GEQ", [((1),5), ((-2),6), ((-2),8), ((2),10), ((1),12), ((-1),13), ((1),16), ((-2),17), ((-2),21), ((1),22), ((-1),23), ((-2),24), ((-1),25), ((-2),27), ((2),28), ((2),29), ((-2),30), ((2),31), ((-1),32), ((2),33), ((-1),34), ((-2),36), ((-1),38), ((-1),39), ((2),40), ((-2),42), ((-1),43), ((-2),44), ((1),45), ((-1),47), ((1),48), ((2),49), ((-1),51), ((-1),52), ((-2),53), ((1),60), ((-2),61), ((1),62), ((-1),63), ((1),66), ((-2),67), ((2),68), ((1),71), ((2),72)], (39)), ("GEQ", [((-2),4), ((2),5), ((1),6), ((1),8), ((-1),9), ((2),11), ((1),12), ((-1),13), ((2),14), ((2),15), ((1),16), ((2),18), ((-2),21), ((2),22), ((-1),23), ((-2),24), ((2),25), ((-2),26), ((-1),27), ((2),28), ((-2),30), ((1),31), ((-1),33), ((1),34), ((2),35), ((-2),37), ((1),39), ((2),40), ((1),41), ((2),42), ((-2),43), ((-2),44), ((1),45), ((-1),46), ((1),47), ((-2),48), ((1),49), ((-1),50), ((1),51), ((-2),53), ((-2),54), ((-2),55), ((2),56), ((2),57), ((-2),58), ((-1),59), ((1),61), ((-1),63), ((2),65), ((-1),66), ((-2),67), ((-1),68), ((-2),69)], (22)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((1),4), ((-2),5), ((-1),9), ((-1),12), ((1),14), ((-2),16), ((-2),17), ((-1),19), ((-1),20), ((-2),22), ((-2),24), ((2),29), ((-2),31), ((2),34), ((-2),36), ((-2),39), ((1),40), ((-2),41), ((-1),42), ((1),46), ((1),47), ((2),49), ((2),50), ((2),51), ((2),52), ((-2),54), ((2),55), ((1),56), ((-2),57), ((-2),58), ((-1),59), ((-1),61), ((2),62), ((-1),64), ((2),70), ((1),72), ((2),73), ((2),74)], (9)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((1),6), ((1),7), ((2),11), ((-1),12), ((1),14), ((1),18), ((1),20), ((-1),21), ((-2),22), ((2),23), ((-1),24), ((-1),25), ((-2),26), ((-1),27), ((1),28), ((2),29), ((-2),30), ((2),31), ((-1),33), ((-2),35), ((1),36), ((2),38), ((-2),39), ((-1),41), ((1),44), ((1),50), ((1),51), ((1),53), ((-2),54), ((-1),56), ((1),58), ((-1),60), ((1),63), ((-1),64), ((-2),65), ((1),67), ((1),69), ((-1),70), ((-1),71), ((-2),72), ((-1),73), ((1),74)], (-1)), ("GEQ", [((-2),0), ((-2),3), ((-2),5), ((2),6), ((2),7), ((-2),8), ((-2),11), ((-2),15), ((1),17), ((-1),21), ((-2),24), ((1),25), ((-2),27), ((1),28), ((-2),32), ((-2),33), ((2),35), ((2),37), ((2),38), ((2),39), ((-2),40), ((-1),41), ((1),43), ((-2),44), ((1),45), ((-2),46), ((1),50), ((1),51), ((1),52), ((2),54), ((2),57), ((2),58), ((2),62), ((-1),66), ((-2),68), ((2),71), ((-2),73), ((-2),74)], (-19)), ("GEQ", [((1),2), ((2),3), ((1),4), ((-2),5), ((1),6), ((1),8), ((2),10), ((-1),11), ((2),12), ((-2),15), ((1),16), ((-2),18), ((1),21), ((2),22), ((1),23), ((1),24), ((-1),27), ((1),28), ((-1),29), ((-2),30), ((-2),32), ((2),33), ((-1),34), ((-1),37), ((1),38), ((1),39), ((-1),40), ((1),41), ((1),42), ((1),46), ((2),47), ((-2),51), ((-1),52), ((-1),55), ((2),57), ((-2),59), ((2),60), ((1),62), ((-2),63), ((2),64), ((-1),65), ((-2),68), ((-2),70), ((2),71), ((2),72), ((1),73), ((1),74)], (-33)), ("GEQ", [((-2),0), ((-1),1), ((2),2), ((2),3), ((-1),5), ((1),7), ((-1),9), ((-1),10), ((1),12), ((-1),13), ((2),16), ((2),19), ((-1),20), ((-2),22), ((1),23), ((2),25), ((-2),26), ((2),27), ((2),29), ((2),31), ((-1),32), ((2),35), ((-1),36), ((-1),38), ((-2),39), ((-2),40), ((-2),41), ((-1),42), ((-2),44), ((-2),45), ((-2),46), ((-2),48), ((-2),50), ((2),51), ((2),54), ((-2),56), ((2),59), ((-2),60), ((2),62), ((1),63), ((2),64), ((2),66), ((-1),67), ((-2),69), ((1),71), ((2),72), ((2),74)], (-31)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),3), ((1),4), ((-2),5), ((2),7), ((-1),9), ((-1),10), ((-1),13), ((-2),14), ((2),15), ((-2),18), ((-2),19), ((1),21), ((1),23), ((-2),27), ((-2),28), ((-1),30), ((2),31), ((2),32), ((1),33), ((1),35), ((-2),37), ((1),38), ((-2),39), ((-1),40), ((-2),41), ((-2),42), ((1),43), ((-2),44), ((-2),45), ((-2),47), ((-2),48), ((-1),49), ((-1),52), ((-2),53), ((1),54), ((2),57), ((2),58), ((-2),59), ((-2),60), ((-2),61), ((1),63), ((-1),64), ((-1),65), ((1),66), ((-1),68), ((-1),70), ((1),72), ((2),73)], (-25)), ("GEQ", [((-1),1), ((2),2), ((2),3), ((-1),4), ((-2),5), ((-1),7), ((1),8), ((1),10), ((-2),13), ((-2),14), ((-1),16), ((1),17), ((1),18), ((2),21), ((1),26), ((-2),28), ((-2),29), ((-1),30), ((-1),31), ((2),34), ((-1),36), ((2),40), ((-2),41), ((1),42), ((-1),44), ((2),45), ((-1),47), ((2),51), ((1),53), ((-1),54), ((1),55), ((2),56), ((-2),57), ((-2),59), ((2),60), ((1),62), ((1),63), ((1),64), ((1),65), ((1),66), ((1),67), ((-1),68), ((2),69), ((1),70), ((1),72), ((-1),74)], (1)), ("GEQ", [((1),0), ((1),1), ((2),3), ((-2),6), ((2),7), ((1),8), ((-2),11), ((1),12), ((1),16), ((-2),19), ((2),20), ((2),21), ((-1),23), ((2),24), ((-1),27), ((1),31), ((-2),32), ((-2),34), ((-2),35), ((1),36), ((1),38), ((2),40), ((-2),41), ((1),42), ((1),43), ((-2),45), ((1),46), ((-2),47), ((1),50), ((1),51), ((-2),52), ((-1),54), ((2),55), ((-2),56), ((-2),58), ((2),61), ((1),63), ((2),65), ((-2),66), ((2),67), ((2),68), ((1),70), ((1),71), ((-1),73), ((1),74)], (11)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((-1),3), ((1),4), ((-2),6), ((1),7), ((2),9), ((-2),10), ((2),11), ((-2),12), ((1),13), ((2),15), ((-1),16), ((2),17), ((1),18), ((2),19), ((2),21), ((2),24), ((-1),27), ((-1),29), ((-1),30), ((-1),31), ((-1),32), ((1),33), ((-2),34), ((2),37), ((-2),38), ((1),39), ((-2),40), ((-2),41), ((2),42), ((1),43), ((-2),44), ((-1),45), ((-1),47), ((2),48), ((-2),49), ((-2),50), ((1),51), ((-2),53), ((-1),54), ((2),56), ((1),57), ((1),58), ((-1),59), ((1),60), ((-1),61), ((-2),63), ((1),65), ((-2),69), ((1),70), ((1),72), ((-2),73), ((-1),74)], (21)), ("GEQ", [((2),0), ((-2),5), ((-2),6), ((-2),7), ((1),9), ((2),14), ((2),15), ((-2),18), ((2),20), ((1),23), ((-2),24), ((2),26), ((-1),31), ((-2),33), ((1),35), ((-1),36), ((1),37), ((-1),38), ((-2),39), ((-2),41), ((2),42), ((-1),43), ((-1),52), ((2),53), ((-1),54), ((-2),56), ((-2),57), ((1),58), ((1),59), ((-2),61), ((2),62), ((-2),63), ((2),66), ((1),67), ((1),68), ((1),69), ((-1),70), ((1),72), ((-2),73), ((1),74)], (-10)), ("GEQ", [((-2),0), ((-2),2), ((2),4), ((-1),5), ((-2),8), ((-2),9), ((1),10), ((-1),12), ((-1),13), ((1),15), ((1),16), ((2),19), ((1),21), ((1),24), ((-1),25), ((-1),26), ((-2),27), ((-2),28), ((1),30), ((-1),31), ((-2),36), ((2),39), ((1),41), ((2),45), ((-1),48), ((-2),50), ((-2),52), ((2),55), ((1),56), ((1),57), ((2),58), ((1),59), ((2),61), ((2),62), ((2),63), ((-1),64), ((-2),66), ((2),69), ((1),70), ((-1),71), ((2),73), ((2),74)], (2)), ("GEQ", [((1),3), ((2),4), ((-2),5), ((2),7), ((1),8), ((2),9), ((-2),10), ((2),12), ((1),13), ((-2),14), ((-1),16), ((-2),17), ((-2),18), ((-2),19), ((-1),21), ((2),25), ((2),28), ((-1),29), ((1),30), ((2),31), ((-2),32), ((1),33), ((-2),34), ((-1),35), ((2),36), ((-1),40), ((1),41), ((2),44), ((-2),45), ((2),47), ((2),48), ((-2),53), ((-2),55), ((-2),57), ((-2),58), ((-2),60), ((1),61), ((2),62), ((-1),63), ((2),64), ((-2),66), ((-2),67), ((2),68), ((-2),69), ((2),72), ((1),74)], (5)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((-1),4), ((-1),13), ((-1),14), ((1),17), ((-2),19), ((-1),21), ((1),22), ((-1),23), ((-1),25), ((-1),27), ((1),29), ((-2),31), ((-1),33), ((-1),34), ((1),35), ((-2),36), ((1),37), ((-2),40), ((-2),42), ((-1),45), ((-1),46), ((-1),50), ((-2),51), ((2),52), ((1),53), ((-1),54), ((-1),55), ((-1),56), ((1),58), ((2),59), ((-1),61), ((-1),62), ((2),64), ((-2),65), ((1),66), ((-1),67), ((1),68), ((-2),69), ((-2),73), ((-1),74)], (15)), ("GEQ", [((-1),2), ((1),3), ((-1),4), ((2),6), ((1),8), ((-2),9), ((2),13), ((1),14), ((-1),17), ((2),18), ((2),20), ((-2),21), ((1),22), ((-1),25), ((-1),26), ((-1),27), ((-1),29), ((2),30), ((-2),31), ((-1),32), ((-2),33), ((-1),34), ((-1),36), ((1),37), ((1),38), ((2),39), ((-2),40), ((1),41), ((-1),43), ((-2),46), ((-1),48), ((-1),49), ((-2),50), ((2),51), ((1),52), ((1),53), ((-2),55), ((2),56), ((-1),57), ((-2),58), ((1),61), ((1),62), ((-2),63), ((-2),66), ((1),67), ((-1),68), ((2),69), ((-1),71)], (19)), ("GEQ", [((-1),0), ((-1),3), ((-2),5), ((2),6), ((-1),7), ((-2),9), ((-2),10), ((2),11), ((2),12), ((-2),14), ((-1),17), ((2),19), ((-2),20), ((2),24), ((-2),26), ((1),29), ((1),31), ((-2),33), ((-1),34), ((1),35), ((-2),38), ((-1),39), ((-1),42), ((-1),44), ((2),45), ((-1),47), ((2),48), ((-1),49), ((-1),50), ((-1),51), ((-1),52), ((1),53), ((-2),56), ((-1),58), ((-2),59), ((1),60), ((-2),61), ((-2),62), ((-2),64), ((-2),67), ((-1),68), ((2),69), ((-2),71), ((2),72), ((1),73)], (17)), ("GEQ", [((2),0), ((-1),3), ((-1),4), ((-2),5), ((2),6), ((1),7), ((1),9), ((1),10), ((-1),11), ((-2),13), ((1),14), ((2),17), ((-2),19), ((2),21), ((2),23), ((-1),24), ((1),27), ((-2),28), ((-2),30), ((-1),31), ((-1),32), ((-1),34), ((2),35), ((-2),36), ((2),40), ((2),42), ((1),43), ((-1),45), ((1),47), ((2),48), ((2),50), ((1),52), ((1),53), ((-1),54), ((2),55), ((2),56), ((-1),58), ((1),59), ((-2),63), ((2),64), ((-1),65), ((1),66), ((1),67), ((-1),68), ((-1),69), ((2),70), ((-1),72)], (-17)), ("GEQ", [((-2),0), ((-1),1), ((-1),3), ((-2),4), ((-2),5), ((-1),7), ((1),8), ((-2),10), ((2),13), ((-2),16), ((-2),17), ((1),21), ((-2),24), ((-1),25), ((2),29), ((2),34), ((1),35), ((2),41), ((1),43), ((2),45), ((2),46), ((2),47), ((-1),48), ((1),50), ((1),51), ((2),54), ((-2),55), ((-2),58), ((-2),59), ((1),60), ((-2),61), ((2),62), ((1),64), ((1),65), ((-2),66), ((-2),67), ((-2),69), ((1),70), ((-2),72)], (4)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((-2),3), ((-2),4), ((2),6), ((-2),8), ((-1),9), ((-1),10), ((2),12), ((2),14), ((1),20), ((1),21), ((-1),22), ((-2),24), ((1),25), ((2),26), ((2),28), ((2),30), ((2),31), ((1),32), ((2),35), ((1),36), ((-1),37), ((-2),38), ((-2),39), ((2),40), ((2),42), ((1),43), ((-1),44), ((1),46), ((2),47), ((1),49), ((-2),50), ((-2),52), ((-2),53), ((-2),54), ((-1),57), ((1),58), ((-1),59), ((1),61), ((-2),64), ((-1),65), ((1),66), ((-2),69), ((1),70), ((-1),73), ((2),74)], (21)), ("GEQ", [((-1),2), ((-1),3), ((-2),6), ((-1),8), ((2),9), ((-1),10), ((2),11), ((1),13), ((1),14), ((1),17), ((2),18), ((2),21), ((-2),25), ((2),27), ((1),28), ((2),31), ((1),32), ((1),33), ((-1),34), ((-1),36), ((-1),39), ((1),41), ((1),42), ((-2),48), ((2),49), ((-1),50), ((-1),51), ((2),53), ((1),54), ((-2),56), ((-2),61), ((-1),64), ((1),67), ((-1),68), ((-2),70), ((-1),72), ((-2),74)], (16)), ("GEQ", [((-1),1), ((-2),2), ((-2),3), ((2),4), ((-2),6), ((-2),8), ((1),9), ((1),10), ((2),11), ((1),12), ((2),13), ((2),14), ((-1),15), ((-2),16), ((-2),18), ((-1),19), ((2),22), ((2),24), ((-2),25), ((-2),28), ((1),30), ((-2),33), ((1),34), ((-2),35), ((1),36), ((-2),42), ((-1),44), ((1),45), ((-2),47), ((2),48), ((-1),49), ((2),50), ((-2),51), ((2),53), ((-2),54), ((2),56), ((-1),60), ((-2),61), ((2),62), ((2),64), ((1),66), ((2),67), ((1),68), ((1),70), ((1),72)], (-39)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((1),5), ((-2),8), ((2),9), ((2),10), ((1),12), ((-1),13), ((-2),15), ((1),16), ((1),18), ((-1),19), ((1),23), ((1),24), ((-2),25), ((2),26), ((-2),27), ((-2),34), ((1),35), ((2),36), ((1),37), ((-1),40), ((2),41), ((-1),45), ((-2),46), ((2),47), ((-2),48), ((-2),49), ((-2),50), ((-1),51), ((-1),52), ((2),54), ((-2),55), ((-1),56), ((-1),57), ((2),58), ((1),60), ((2),62), ((1),63), ((1),64), ((-1),65), ((2),67), ((-2),68), ((-2),69), ((2),70), ((1),71), ((2),72), ((1),73)], (-5)), ("GEQ", [((1),0), ((2),1), ((-2),2), ((-2),4), ((-1),6), ((-1),7), ((1),8), ((2),11), ((-1),13), ((1),14), ((1),16), ((-1),18), ((-2),19), ((-2),21), ((-1),22), ((-2),23), ((1),24), ((1),26), ((-1),27), ((-2),28), ((1),30), ((-1),31), ((1),32), ((-2),33), ((2),34), ((1),35), ((2),39), ((1),40), ((-1),42), ((2),43), ((-2),44), ((2),45), ((-2),46), ((-2),47), ((1),49), ((1),50), ((2),52), ((-2),55), ((-2),57), ((1),60), ((-1),61), ((-2),62), ((2),64), ((1),68), ((2),69), ((-1),70), ((-2),74)], (-24)), ("GEQ", [((-1),1), ((-1),5), ((-1),7), ((-1),8), ((-1),9), ((-1),11), ((1),13), ((-1),14), ((-2),16), ((-2),17), ((-2),19), ((-1),20), ((-2),21), ((-1),22), ((-2),23), ((2),24), ((-1),25), ((1),27), ((2),28), ((-1),29), ((-1),31), ((1),32), ((-2),36), ((-1),37), ((-1),38), ((1),41), ((2),44), ((-2),46), ((1),47), ((1),49), ((1),50), ((2),51), ((-1),53), ((-2),55), ((2),56), ((2),58), ((-2),59), ((1),60), ((1),62), ((-2),63), ((2),64), ((1),66), ((2),67), ((-1),71), ((-1),74)], (12)), ("GEQ", [((1),0), ((1),2), ((-2),3), ((-1),4), ((2),5), ((1),9), ((2),11), ((-2),14), ((1),16), ((1),18), ((-1),21), ((-2),24), ((-1),26), ((1),28), ((-2),30), ((1),32), ((1),37), ((-2),38), ((-1),41), ((2),43), ((-1),50), ((2),52), ((1),53), ((1),56), ((-1),57), ((1),58), ((-1),59), ((-2),60), ((2),64), ((2),65), ((1),67), ((2),69), ((2),70), ((-1),72)], (4)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((1),4), ((1),6), ((-1),7), ((-2),9), ((2),10), ((-2),11), ((-2),15), ((2),19), ((-1),21), ((-2),22), ((1),29), ((1),30), ((-2),32), ((2),36), ((-2),37), ((-2),41), ((-2),42), ((2),43), ((-2),44), ((1),45), ((2),46), ((-2),48), ((-1),49), ((2),51), ((2),52), ((2),53), ((2),54), ((2),55), ((1),58), ((-1),59), ((-2),63), ((-2),64), ((1),65), ((1),67), ((2),68), ((1),69), ((2),71), ((-1),73), ((2),74)], (-15)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((-1),4), ((-2),6), ((2),7), ((1),8), ((2),9), ((2),12), ((-1),14), ((-1),17), ((2),18), ((2),19), ((-1),20), ((2),22), ((-1),23), ((1),25), ((-1),26), ((2),27), ((-1),29), ((2),30), ((1),31), ((2),32), ((-2),35), ((-2),36), ((-1),37), ((-2),38), ((1),39), ((2),42), ((-2),48), ((-2),51), ((-1),52), ((1),55), ((-2),56), ((-2),58), ((1),60), ((1),61), ((1),62), ((-1),66), ((2),67), ((-1),68), ((1),69), ((-1),71), ((2),72), ((2),74)], (18)), ("GEQ", [((2),3), ((-2),4), ((-2),5), ((-1),6), ((-1),11), ((-1),14), ((-2),16), ((2),17), ((-1),18), ((-2),20), ((-1),25), ((-1),26), ((-1),27), ((1),30), ((2),31), ((1),34), ((-1),35), ((-2),36), ((-2),37), ((1),39), ((-1),41), ((1),42), ((1),44), ((-1),45), ((-1),46), ((-1),47), ((1),48), ((2),49), ((1),50), ((-1),51), ((1),52), ((-2),53), ((2),55), ((1),57), ((-1),58), ((-2),59), ((1),60), ((-2),61), ((-2),62), ((2),63), ((-1),64), ((-2),67), ((-2),68), ((1),69), ((2),70), ((-1),71), ((2),73)], (13)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((2),4), ((-2),5), ((-1),6), ((1),8), ((2),9), ((2),10), ((-2),14), ((2),19), ((1),22), ((-1),24), ((-2),25), ((2),26), ((2),27), ((-2),29), ((-2),33), ((-1),34), ((-2),37), ((1),38), ((1),39), ((-1),40), ((2),47), ((1),49), ((1),52), ((1),54), ((1),55), ((-1),58), ((2),60), ((2),63), ((-1),64), ((-1),65), ((2),66), ((-1),68), ((2),69), ((-2),70)], (-9)), ("GEQ", [((-2),1), ((-1),2), ((-2),5), ((1),7), ((-1),8), ((-2),11), ((1),12), ((1),13), ((2),14), ((2),17), ((2),22), ((-2),23), ((-1),25), ((-1),26), ((-2),28), ((2),29), ((2),31), ((-2),34), ((-1),35), ((1),37), ((-2),39), ((1),40), ((-1),41), ((-1),42), ((-1),43), ((-1),45), ((-1),46), ((1),47), ((1),48), ((2),50), ((-1),52), ((2),53), ((-2),55), ((1),56), ((2),57), ((2),59), ((-2),60), ((1),61), ((1),63), ((-1),64), ((-1),65), ((-2),67), ((-2),69), ((1),71), ((2),72), ((-1),74)], (-26)), ("GEQ", [((2),0), ((2),2), ((1),4), ((2),5), ((-1),6), ((-1),7), ((-2),8), ((-1),10), ((-1),11), ((-1),14), ((-1),16), ((2),17), ((-2),19), ((-2),20), ((-1),21), ((-2),22), ((2),24), ((-2),25), ((-1),26), ((-2),28), ((1),29), ((1),30), ((2),32), ((-1),34), ((2),36), ((2),38), ((-1),40), ((2),41), ((2),43), ((-2),45), ((1),46), ((2),47), ((-2),48), ((1),49), ((-2),50), ((2),55), ((-2),58), ((-2),60), ((-2),61), ((2),62), ((1),63), ((-1),65), ((1),73)], (5)), ("GEQ", [((2),0), ((-2),1), ((-1),6), ((1),7), ((2),11), ((1),12), ((-2),13), ((-1),14), ((1),15), ((1),16), ((-1),18), ((-2),20), ((-2),22), ((-2),23), ((2),25), ((-2),26), ((-1),27), ((2),29), ((1),30), ((-1),33), ((1),34), ((2),35), ((-2),36), ((-1),37), ((-1),38), ((-1),41), ((-1),42), ((1),44), ((2),47), ((-1),50), ((-1),52), ((-2),54), ((-2),56), ((1),57), ((-2),58), ((-2),59), ((2),62), ((1),65), ((1),68), ((1),70), ((2),74)], (6)), ("GEQ", [((2),0), ((1),2), ((2),3), ((-1),4), ((-1),7), ((-1),9), ((-2),10), ((2),12), ((1),13), ((2),15), ((1),16), ((2),17), ((2),20), ((-2),22), ((-1),23), ((-1),27), ((-1),28), ((-2),30), ((-1),31), ((1),34), ((-1),35), ((1),38), ((2),39), ((1),41), ((-2),42), ((1),43), ((1),45), ((1),46), ((2),47), ((2),48), ((1),49), ((-1),50), ((-2),52), ((1),53), ((1),54), ((-1),55), ((2),56), ((-2),57), ((-1),58), ((-2),59), ((1),60), ((2),63), ((2),64), ((1),65), ((-1),67), ((-1),69), ((-1),70), ((1),71), ((1),74)], (-50)), ("GEQ", [((2),0), ((1),1), ((2),2), ((2),3), ((-2),5), ((1),7), ((-2),8), ((1),10), ((-2),12), ((-2),13), ((2),14), ((2),15), ((-2),16), ((1),17), ((1),18), ((2),19), ((2),21), ((-1),22), ((-2),24), ((2),25), ((-1),27), ((2),30), ((1),31), ((2),32), ((1),35), ((1),36), ((2),38), ((-1),39), ((2),40), ((-2),43), ((-2),45), ((2),46), ((-2),47), ((1),49), ((1),50), ((-2),51), ((-2),52), ((2),53), ((1),56), ((-2),58), ((2),59), ((-1),60), ((-1),61), ((-1),62), ((2),65), ((-1),72), ((1),73)], (15)), ("GEQ", [((-1),1), ((2),3), ((-1),4), ((1),6), ((-2),7), ((1),8), ((1),10), ((-1),11), ((2),15), ((2),18), ((1),19), ((-2),20), ((2),24), ((-2),25), ((2),26), ((2),27), ((-1),29), ((2),32), ((1),33), ((2),34), ((1),35), ((1),37), ((2),39), ((1),40), ((-2),41), ((-1),42), ((-2),43), ((1),44), ((-2),49), ((-1),51), ((-2),53), ((2),56), ((2),57), ((-1),58), ((-2),60), ((2),61), ((-2),64), ((2),65), ((2),68), ((1),69), ((1),70), ((1),73)], (-28)), ("GEQ", [((1),1), ((-1),2), ((-2),3), ((2),4), ((1),5), ((2),9), ((-1),10), ((2),13), ((-2),14), ((2),15), ((-2),18), ((1),20), ((2),21), ((-1),23), ((1),24), ((1),25), ((-2),26), ((1),27), ((-2),28), ((-1),31), ((2),32), ((-1),34), ((1),41), ((1),42), ((-2),43), ((-1),44), ((-2),45), ((1),47), ((2),52), ((-2),53), ((2),55), ((1),56), ((1),57), ((1),58), ((2),61), ((-2),63), ((-2),64), ((-1),67), ((-1),69), ((1),70), ((2),71), ((1),72), ((-1),73), ((1),74)], (-19)), ("GEQ", [((-2),1), ((1),3), ((-1),5), ((-2),6), ((-1),7), ((-1),8), ((-1),9), ((-2),10), ((2),12), ((2),15), ((-2),17), ((1),18), ((-1),19), ((-2),21), ((-2),25), ((-2),29), ((-2),30), ((-2),31), ((-1),32), ((2),33), ((-1),34), ((-1),37), ((1),38), ((2),39), ((2),40), ((-1),43), ((-2),44), ((-1),45), ((-2),48), ((1),53), ((-1),54), ((-1),56), ((-1),60), ((-2),62), ((-1),65), ((2),70), ((2),71), ((-2),72), ((2),73), ((2),74)], (8)), ("GEQ", [((5),0), ((9),1), ((13),2), ((-12),3), ((-10),4), ((84),5), ((-3),6), ((22),7), ((14),8), ((31),10), ((-2),11), ((-14),12), ((-21),13), ((31),14), ((-16),15), ((31),16), ((26),17), ((20),18), ((38),19), ((-23),20), ((13),22), ((-21),23), ((26),24), ((24),25), ((-18),26), ((47),27), ((9),28), ((-49),29), ((21),30), ((-73),32), ((21),33), ((-18),34), ((-29),35), ((16),36), ((-59),38), ((38),39), ((-20),40), ((9),41), ((20),42), ((9),44), ((29),45), ((-15),47), ((37),48), ((-52),49), ((-32),50), ((7),51), ((-38),52), ((15),53), ((37),54), ((-28),55), ((-31),56), ((-15),57), ((-24),58), ((18),59), ((50),61), ((-22),62), ((44),63), ((2),64), ((20),65), ((-3),66), ((27),67), ((7),68), ((32),69), ((-54),70), ((-9),71), ((-19),72), ((-13),73), ((-27),74)], (253)), ("GEQ", [((10),0), ((-8),1), ((1),2), ((17),3), ((40),4), ((-80),5), ((-1),6), ((-52),7), ((-19),8), ((21),9), ((-36),10), ((20),11), ((-29),12), ((25),13), ((-47),14), ((23),15), ((-78),16), ((-18),17), ((-51),18), ((-77),19), ((26),20), ((18),21), ((-39),22), ((18),23), ((-52),24), ((-31),25), ((44),26), ((-53),27), ((-18),28), ((92),29), ((12),30), ((-26),31), ((103),32), ((-39),33), ((60),34), ((5),35), ((-26),36), ((7),37), ((61),38), ((-67),39), ((11),40), ((1),41), ((-18),42), ((34),43), ((16),44), ((-17),45), ((-4),46), ((4),47), ((-58),48), ((54),49), ((58),50), ((-15),51), ((80),52), ((-12),53), ((-35),54), ((34),55), ((9),56), ((25),57), ((56),58), ((-11),59), ((-10),60), ((-81),61), ((48),62), ((-65),63), ((5),64), ((-46),65), ((15),66), ((-22),67), ((-13),68), ((-45),69), ((50),70), ((-15),71), ((14),72), ((1),73), ((23),74)], (138)), ("GEQ", [((-15),0), ((26),1), ((-27),2), ((-37),3), ((-40),4), ((133),5), ((6),6), ((100),7), ((33),8), ((-19),9), ((104),10), ((-34),11), ((28),12), ((-38),13), ((105),14), ((-36),15), ((119),16), ((61),17), ((38),18), ((112),19), ((-27),20), ((-16),21), ((85),22), ((-25),23), ((121),24), ((44),25), ((-69),26), ((88),27), ((48),28), ((-159),29), ((-25),30), ((43),31), ((-156),32), ((93),33), ((-100),34), ((-30),35), ((45),36), ((-16),37), ((-103),38), ((76),39), ((-5),40), ((9),41), ((53),42), ((-70),43), ((4),44), ((22),45), ((-3),46), ((-31),47), ((145),48), ((-110),49), ((-57),50), ((4),51), ((-137),52), ((57),53), ((81),54), ((-50),55), ((-25),56), ((-9),57), ((-88),58), ((14),59), ((12),60), ((131),61), ((-108),62), ((108),63), ((-30),64), ((67),65), ((-51),66), ((41),67), ((31),68), ((95),69), ((-100),70), ((5),71), ((-63),72), ((-9),73), ((-78),74)], (-558)), ("GEQ", [((-3),0), ((-12),1), ((55),2), ((-18),3), ((-62),4), ((110),5), ((10),6), ((10),7), ((2),8), ((-24),9), ((-32),10), ((-32),11), ((25),12), ((-47),13), ((-4),14), ((-32),15), ((51),16), ((-13),17), ((130),18), ((107),19), ((-62),20), ((2),21), ((36),22), ((-29),23), ((1),24), ((50),25), ((14),26), ((66),27), ((-15),28), ((-108),29), ((29),30), ((2),31), ((-132),32), ((3),33), ((-45),34), ((30),36), ((39),37), ((-52),38), ((129),39), ((-66),40), ((-5),41), ((12),42), ((2),43), ((-68),44), ((22),45), ((23),46), ((3),47), ((4),48), ((-43),49), ((-118),50), ((18),51), ((-84),52), ((-51),53), ((7),54), ((-45),55), ((14),56), ((-77),57), ((-43),58), ((73),59), ((-4),60), ((90),61), ((-11),62), ((66),63), ((20),64), ((42),65), ((78),66), ((51),67), ((-4),68), ((25),69), ((-53),70), ((22),71), ((32),72), ((-22),73), ((12),74)], (787)), ("GEQ", [((-27),0), ((-8),1), ((-105),2), ((-39),3), ((-24),4), ((-45),5), ((9),6), ((82),7), ((-6),8), ((-20),9), ((68),10), ((-28),11), ((74),12), ((38),13), ((65),14), ((-8),15), ((88),16), ((8),17), ((-65),18), ((19),19), ((59),20), ((-48),21), ((45),22), ((43),23), ((87),24), ((-18),25), ((-67),26), ((-31),27), ((50),28), ((-24),29), ((-115),30), ((59),31), ((1),32), ((59),33), ((-67),34), ((57),35), ((13),36), ((-40),37), ((-8),38), ((-32),39), ((92),40), ((-10),41), ((11),42), ((-87),43), ((-9),44), ((-33),45), ((-1),46), ((18),47), ((104),48), ((3),49), ((30),50), ((7),51), ((-40),52), ((26),53), ((-2),54), ((27),55), ((32),56), ((33),57), ((-37),58), ((-61),59), ((20),60), ((9),61), ((-100),62), ((-9),63), ((-44),64), ((40),65), ((-83),66), ((-63),67), ((44),68), ((17),69), ((35),70), ((38),71), ((-58),72), ((4),73), ((-29),74)], (-1441)), ("GEQ", [((9),0), ((8),1), ((14),2), ((56),3), ((7),4), ((-167),5), ((-17),6), ((-69),7), ((-32),8), ((-102),10), ((6),11), ((10),12), ((-11),13), ((-67),14), ((58),15), ((-68),16), ((-63),17), ((-1),18), ((-69),19), ((6),20), ((16),21), ((-51),22), ((-7),23), ((-110),24), ((-22),25), ((24),26), ((-82),27), ((-37),28), ((97),29), ((16),30), ((16),31), ((128),32), ((-78),33), ((37),34), ((30),35), ((-37),36), ((-14),37), ((94),38), ((-59),39), ((27),40), ((-17),41), ((-68),42), ((34),43), ((-25),44), ((-37),45), ((20),46), ((22),47), ((-113),48), ((94),49), ((54),50), ((-19),51), ((46),52), ((1),53), ((-93),54), ((55),55), ((28),56), ((-4),57), ((19),58), ((-25),59), ((6),60), ((-100),61), ((91),62), ((-53),63), ((-13),64), ((-34),65), ((17),66), ((-26),67), ((-34),68), ((-26),69), ((104),70), ((3),71), ((71),72), ((33),73), ((93),74)], (294)), ("GEQ", [((-9),0), ((-84),1), ((99),2), ((-36),3), ((-18),4), ((188),5), ((26),6), ((-48),7), ((25),8), ((-9),9), ((-35),10), ((21),11), ((-52),12), ((97),13), ((-70),14), ((-67),15), ((-49),16), ((-4),17), ((48),18), ((-3),20), ((-17),21), ((-28),22), ((44),23), ((11),24), ((-2),25), ((120),26), ((68),27), ((-42),28), ((-17),29), ((31),30), ((-160),31), ((-85),32), ((-4),33), ((102),34), ((1),35), ((7),36), ((104),37), ((10),38), ((126),39), ((-134),40), ((10),41), ((26),42), ((57),43), ((-6),44), ((30),45), ((-31),46), ((4),47), ((-72),48), ((-21),49), ((-123),50), ((83),51), ((139),52), ((-194),53), ((60),54), ((-93),55), ((35),56), ((-54),57), ((112),58), ((92),59), ((-54),60), ((46),61), ((1),62), ((-35),63), ((146),64), ((-22),65), ((151),66), ((21),67), ((-146),69), ((-55),70), ((6),71), ((-8),72), ((-35),73), ((-46),74)], (570)), ("GEQ", [((31),0), ((82),1), ((-114),2), ((13),3), ((46),4), ((-175),5), ((-1),6), ((15),7), ((-21),8), ((6),9), ((35),10), ((-23),11), ((34),12), ((-64),13), ((47),14), ((63),15), ((15),16), ((8),17), ((-97),18), ((-48),19), ((39),20), ((-10),21), ((-6),22), ((-10),23), ((-21),24), ((-36),25), ((-34),26), ((-79),27), ((62),28), ((70),29), ((-49),30), ((117),31), ((139),32), ((-9),33), ((-31),34), ((20),35), ((10),36), ((-80),37), ((25),38), ((-150),39), ((163),40), ((-3),41), ((-31),42), ((-51),43), ((14),44), ((-29),45), ((7),46), ((26),47), ((39),48), ((55),49), ((157),50), ((-70),51), ((-48),52), ((130),53), ((-51),54), ((89),55), ((-29),56), ((46),57), ((-46),58), ((-105),59), ((30),60), ((-107),61), ((-27),62), ((-15),63), ((-120),64), ((13),65), ((-119),66), ((-39),67), ((6),68), ((91),69), ((62),70), ((-16),71), ((-3),72), ((34),73), ((18),74)], (-917)), ("GEQ", [((45),0), ((119),1), ((-86),2), ((23),3), ((88),4), ((-167),5), ((-1),6), ((61),7), ((-9),8), ((75),9), ((127),10), ((-14),11), ((-21),12), ((-119),13), ((92),14), ((53),15), ((76),17), ((-130),18), ((-40),19), ((34),20), ((83),21), ((51),22), ((-35),23), ((-5),24), ((26),25), ((-110),26), ((-64),27), ((82),28), ((11),29), ((168),31), ((114),32), ((47),33), ((-71),34), ((-37),35), ((-8),36), ((-113),37), ((-53),38), ((-210),39), ((137),40), ((29),41), ((65),42), ((-31),43), ((79),44), ((1),45), ((8),46), ((-46),47), ((175),48), ((-26),49), ((193),50), ((-147),51), ((-156),52), ((264),53), ((11),54), ((126),55), ((-73),56), ((118),57), ((-122),58), ((-90),59), ((48),60), ((-48),61), ((-12),62), ((45),63), ((-188),64), ((-2),65), ((-213),66), ((-23),67), ((-13),68), ((204),69), ((-84),71), ((-52),72), ((-5),73), ((-18),74)], (-188))]
[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]