[("GEQ", [((2),0), ((1),2), ((2),4), ((-2),5), ((1),11), ((-2),12), ((-2),16), ((-2),17), ((-2),18), ((1),20), ((-1),23), ((1),25), ((2),28), ((-2),30), ((-2),31), ((-2),34), ((1),35), ((-1),36), ((2),38), ((-2),39), ((2),40), ((2),43), ((-1),44), ((2),45), ((-2),48), ((2),50), ((-1),51), ((-2),53), ((-1),54), ((-2),55), ((-2),56), ((-2),58), ((2),59), ((-2),61), ((2),62), ((2),63), ((1),66), ((2),67), ((-1),68), ((1),69), ((-2),71), ((1),73), ((-1),74)], (13)), ("GEQ", [((-2),1), ((2),4), ((2),5), ((1),7), ((1),10), ((2),11), ((-2),12), ((2),15), ((-2),16), ((-2),18), ((2),21), ((-1),22), ((1),23), ((-2),24), ((2),26), ((1),27), ((-2),30), ((-2),32), ((-2),33), ((-2),35), ((1),37), ((1),40), ((1),41), ((1),43), ((-1),45), ((2),47), ((2),48), ((2),49), ((-1),51), ((-2),54), ((-1),55), ((-1),57), ((-2),58), ((2),60), ((-2),62), ((-2),69), ((2),71), ((-1),72), ((-2),74)], (31)), ("GEQ", [((2),0), ((-1),1), ((1),3), ((-2),4), ((1),5), ((-2),6), ((1),7), ((-1),8), ((-2),9), ((2),10), ((2),12), ((2),13), ((2),15), ((-1),19), ((2),20), ((-2),22), ((-1),23), ((1),24), ((-1),25), ((1),26), ((2),27), ((2),29), ((-2),32), ((1),33), ((2),35), ((1),37), ((-1),39), ((-2),41), ((2),44), ((-1),50), ((-2),51), ((-2),52), ((2),57), ((-2),58), ((-2),59), ((-2),60), ((1),61), ((-1),62), ((-2),63), ((-1),64), ((-1),67), ((2),69), ((-1),70), ((1),71), ((-1),73), ((-1),74)], (12)), ("GEQ", [((1),0), ((2),1), ((1),7), ((1),9), ((-1),10), ((-1),12), ((-1),13), ((1),19), ((2),20), ((1),24), ((-2),25), ((1),26), ((-1),27), ((-2),28), ((1),29), ((2),30), ((2),32), ((1),34), ((-2),35), ((2),39), ((-1),40), ((-1),41), ((2),42), ((-2),43), ((-2),44), ((-1),47), ((-1),48), ((-2),49), ((2),50), ((1),51), ((1),52), ((1),58), ((-1),59), ((1),60), ((-2),61), ((-1),62), ((-1),64), ((-2),65), ((1),66), ((1),68), ((2),69), ((1),71), ((-2),72), ((1),73)], (15)), ("GEQ", [((-1),1), ((-2),2), ((1),3), ((-1),4), ((-1),5), ((2),6), ((2),7), ((-1),9), ((1),10), ((1),11), ((1),12), ((-2),14), ((1),15), ((2),17), ((1),18), ((2),19), ((-1),20), ((-2),21), ((-1),22), ((-1),23), ((2),26), ((2),27), ((-2),28), ((-1),29), ((1),30), ((1),31), ((2),32), ((-2),33), ((1),34), ((-2),35), ((2),37), ((2),38), ((1),40), ((2),41), ((-2),42), ((2),43), ((2),44), ((-1),52), ((1),53), ((2),55), ((-1),57), ((-1),59), ((-1),63), ((-1),64), ((-2),65), ((2),66), ((1),67), ((2),68), ((2),70), ((2),71), ((-2),72)], (25)), ("GEQ", [((-2),3), ((2),4), ((-2),5), ((-1),7), ((-1),8), ((-1),9), ((-1),10), ((-1),12), ((2),13), ((-2),15), ((-2),21), ((2),24), ((1),27), ((1),29), ((-2),33), ((2),34), ((1),35), ((-1),38), ((1),39), ((-2),40), ((-1),44), ((-2),45), ((2),47), ((1),48), ((-2),49), ((2),51), ((2),52), ((-2),53), ((-1),54), ((-1),56), ((-1),59), ((1),60), ((-1),61), ((-2),63), ((1),64), ((-2),65), ((2),66), ((2),68), ((-2),69), ((2),70), ((-2),71), ((2),74)], (28)), ("GEQ", [((-1),0), ((-2),1), ((1),3), ((-1),6), ((-1),7), ((2),9), ((-1),10), ((-2),13), ((1),14), ((-1),15), ((-1),16), ((2),18), ((2),19), ((-1),21), ((2),22), ((-1),23), ((-1),24), ((1),25), ((-1),27), ((2),29), ((-1),34), ((1),35), ((2),36), ((2),37), ((-2),39), ((-1),40), ((2),41), ((2),43), ((1),44), ((-2),46), ((-1),47), ((-1),48), ((-1),49), ((1),50), ((2),51), ((1),53), ((1),54), ((-1),55), ((1),56), ((-2),58), ((-2),60), ((1),64), ((1),65), ((1),67), ((-2),68), ((1),69), ((-1),70), ((-2),71), ((2),73), ((2),74)], (-8)), ("GEQ", [((2),1), ((-2),3), ((1),4), ((2),10), ((1),11), ((1),12), ((1),13), ((2),14), ((1),21), ((1),22), ((-2),23), ((1),24), ((1),25), ((-2),26), ((2),29), ((2),31), ((-2),34), ((-2),35), ((-1),36), ((2),38), ((2),40), ((-2),41), ((1),43), ((-2),45), ((1),46), ((2),49), ((1),50), ((-1),51), ((1),53), ((-2),56), ((1),65), ((2),66), ((2),67), ((-2),69), ((2),70), ((2),71), ((-2),73), ((-1),74)], (-30)), ("GEQ", [((-2),0), ((-1),1), ((-2),3), ((2),4), ((1),6), ((1),7), ((1),9), ((-2),10), ((-2),11), ((-2),14), ((2),16), ((-1),18), ((2),20), ((2),21), ((-1),22), ((2),23), ((-1),24), ((2),25), ((-2),27), ((1),29), ((-2),30), ((-1),32), ((2),33), ((-1),34), ((1),35), ((-2),36), ((2),38), ((1),39), ((-1),40), ((1),42), ((1),43), ((-1),44), ((2),45), ((-1),46), ((1),48), ((2),50), ((1),51), ((-1),52), ((2),55), ((1),56), ((2),57), ((2),58), ((-1),60), ((2),61), ((-1),62), ((1),63), ((1),64), ((-1),66), ((-2),68), ((-2),72), ((-2),73), ((-2),74)], (-8)), ("GEQ", [((1),0), ((1),2), ((2),5), ((1),6), ((2),7), ((-2),8), ((-1),9), ((-2),10), ((2),11), ((-1),13), ((1),14), ((-2),18), ((2),20), ((-1),24), ((1),25), ((-2),26), ((2),27), ((1),31), ((2),35), ((-1),36), ((-1),37), ((-2),38), ((1),41), ((2),44), ((-2),45), ((2),47), ((-2),50), ((-2),52), ((-2),55), ((2),60), ((2),61), ((-1),63), ((-1),64), ((1),66), ((-1),67), ((1),68), ((1),69), ((2),71), ((-1),72), ((2),73)], (13)), ("GEQ", [((1),0), ((2),1), ((-2),6), ((1),7), ((1),10), ((-1),11), ((-1),12), ((-1),13), ((-1),17), ((-2),19), ((2),20), ((-1),21), ((-1),22), ((1),23), ((-1),25), ((1),26), ((2),27), ((1),32), ((1),34), ((-1),35), ((-2),36), ((1),37), ((2),38), ((-2),40), ((-1),41), ((-1),42), ((-1),44), ((1),45), ((-1),46), ((-1),47), ((1),48), ((2),49), ((-2),50), ((2),51), ((-2),54), ((1),56), ((1),59), ((1),60), ((1),61), ((2),62), ((-1),63), ((1),64), ((1),65), ((1),66), ((-2),67), ((2),69), ((-2),70), ((1),74)], (-5)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((1),4), ((-1),5), ((-1),7), ((-1),8), ((-1),9), ((2),11), ((-2),12), ((-2),16), ((-2),17), ((1),18), ((-1),19), ((2),20), ((-2),21), ((1),22), ((-2),25), ((1),27), ((-2),28), ((1),33), ((1),34), ((-2),35), ((-2),37), ((-1),38), ((2),39), ((-2),40), ((-2),41), ((1),42), ((-2),43), ((2),45), ((-2),46), ((1),47), ((1),49), ((1),50), ((2),55), ((-1),56), ((1),57), ((1),58), ((-1),59), ((1),61), ((1),62), ((1),63), ((2),65), ((-1),66), ((2),67), ((-2),68), ((1),69), ((1),71), ((-1),72), ((1),73), ((-2),74)], (-23)), ("GEQ", [((1),2), ((1),6), ((-1),8), ((1),10), ((2),12), ((-2),13), ((-2),15), ((1),18), ((-2),19), ((2),21), ((2),23), ((2),24), ((2),25), ((2),27), ((1),29), ((-2),30), ((1),31), ((1),32), ((-1),33), ((2),38), ((-2),39), ((-1),41), ((2),42), ((2),45), ((1),46), ((-2),49), ((-1),50), ((1),53), ((2),54), ((-2),56), ((-1),58), ((-2),59), ((-1),60), ((2),61), ((1),65), ((2),67), ((1),69), ((-2),70), ((-2),72), ((2),73)], (-22)), ("GEQ", [((1),0), ((-1),1), ((-1),3), ((1),4), ((2),5), ((-1),7), ((1),8), ((1),9), ((-2),10), ((1),12), ((-1),16), ((-2),17), ((-1),19), ((-1),20), ((-2),22), ((2),25), ((-1),28), ((-2),29), ((2),31), ((-2),32), ((-1),33), ((2),35), ((2),39), ((-2),44), ((-1),48), ((-1),51), ((1),52), ((1),55), ((2),56), ((1),57), ((2),58), ((-1),60), ((2),61), ((1),62), ((1),63), ((1),66), ((-1),69), ((1),70), ((-2),72)], (-6)), ("GEQ", [((-1),2), ((2),4), ((1),5), ((1),7), ((2),8), ((1),11), ((-1),17), ((-2),18), ((-2),20), ((2),22), ((-2),23), ((1),26), ((1),27), ((2),29), ((-2),30), ((-2),31), ((2),32), ((-1),35), ((-1),37), ((-1),38), ((1),40), ((1),41), ((1),42), ((-2),43), ((-2),44), ((1),47), ((-2),48), ((1),52), ((1),55), ((2),56), ((1),57), ((-1),58), ((2),59), ((-2),62), ((1),63), ((1),64), ((-1),65), ((-1),66), ((-2),68), ((-1),71), ((-2),73)], (5)), ("GEQ", [((-1),0), ((2),2), ((-2),7), ((-1),8), ((1),9), ((2),11), ((2),14), ((1),15), ((2),16), ((2),20), ((1),22), ((1),25), ((2),26), ((2),27), ((-1),29), ((-2),31), ((2),32), ((-2),34), ((-1),36), ((1),37), ((2),38), ((1),39), ((-2),41), ((2),42), ((2),43), ((1),46), ((2),47), ((2),48), ((1),51), ((-1),52), ((1),54), ((-2),56), ((-2),58), ((-2),59), ((-2),60), ((2),61), ((2),62), ((-2),65), ((2),66), ((-1),68), ((1),69), ((2),72)], (-15)), ("GEQ", [((1),1), ((-1),2), ((2),3), ((-1),4), ((-1),5), ((2),6), ((-1),7), ((-2),8), ((-2),9), ((-2),10), ((2),11), ((1),13), ((1),14), ((-1),15), ((-2),16), ((1),17), ((-2),18), ((-1),19), ((-2),23), ((-2),24), ((-1),27), ((-1),28), ((1),29), ((1),30), ((-1),32), ((-1),33), ((2),35), ((-1),40), ((-2),43), ((2),45), ((1),47), ((-1),48), ((-2),49), ((1),53), ((2),58), ((-2),59), ((2),60), ((-2),61), ((2),62), ((2),64), ((-2),65), ((-1),67), ((1),68), ((1),69), ((-1),71), ((-2),72), ((-1),73), ((-2),74)], (68)), ("GEQ", [((2),1), ((-2),2), ((-2),4), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((-2),11), ((2),13), ((-1),14), ((1),15), ((-2),16), ((2),17), ((1),18), ((1),19), ((-2),20), ((-1),21), ((-2),22), ((1),28), ((-1),29), ((2),30), ((1),32), ((1),35), ((-2),37), ((2),38), ((-2),45), ((-2),46), ((2),47), ((1),48), ((-1),50), ((1),51), ((2),52), ((-2),56), ((-2),57), ((1),58), ((1),59), ((2),60), ((2),61), ((1),63), ((2),66), ((-2),71), ((2),72)], (-9)), ("GEQ", [((-1),1), ((2),9), ((-1),11), ((1),12), ((1),13), ((-2),14), ((1),16), ((-1),18), ((1),21), ((1),24), ((1),27), ((-1),28), ((2),30), ((1),32), ((2),33), ((1),34), ((-2),35), ((2),36), ((2),41), ((-1),42), ((1),43), ((-1),44), ((-2),47), ((1),48), ((-1),52), ((-1),53), ((-1),56), ((2),57), ((-2),59), ((1),60), ((-2),61), ((2),66), ((-2),67), ((-1),68), ((-2),69), ((2),72), ((1),73), ((-1),74)], (-13)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((1),5), ((1),7), ((2),8), ((1),9), ((1),11), ((-2),14), ((2),15), ((-1),16), ((1),18), ((-2),20), ((1),21), ((-1),22), ((-2),23), ((2),25), ((-2),28), ((-1),31), ((-1),32), ((1),35), ((-1),36), ((1),37), ((2),41), ((1),43), ((1),45), ((-2),47), ((-2),49), ((2),50), ((1),51), ((-1),52), ((-2),53), ((-1),56), ((-2),57), ((-2),58), ((2),59), ((2),63), ((2),64), ((2),66), ((2),67), ((1),68), ((-1),69), ((-1),71), ((2),73)], (9)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((2),4), ((-2),6), ((-2),7), ((2),10), ((1),11), ((-1),13), ((-1),16), ((-2),17), ((-1),18), ((2),21), ((-2),23), ((-2),24), ((-2),25), ((-2),26), ((-2),27), ((2),29), ((2),30), ((1),34), ((-2),35), ((-2),36), ((-1),38), ((-2),39), ((2),41), ((-2),42), ((1),44), ((-2),48), ((2),49), ((2),52), ((1),53), ((1),54), ((2),55), ((1),57), ((-1),58), ((-1),59), ((2),60), ((-1),63), ((2),65), ((-1),66), ((-2),67), ((-2),69), ((-1),70), ((-2),73), ((-2),74)], (18)), ("GEQ", [((2),0), ((1),1), ((-1),3), ((1),5), ((1),6), ((-1),7), ((-1),9), ((1),10), ((-2),13), ((1),15), ((-1),17), ((2),20), ((1),21), ((2),25), ((-2),27), ((1),30), ((2),31), ((1),32), ((2),37), ((1),39), ((-1),41), ((-1),42), ((1),43), ((-2),44), ((-2),45), ((1),46), ((-1),48), ((1),49), ((2),54), ((2),55), ((-1),57), ((-2),58), ((-2),60), ((1),61), ((-1),62), ((1),63), ((-1),64), ((1),65), ((2),66), ((1),67), ((-2),68), ((-1),70), ((2),71), ((-2),72), ((2),73), ((-2),74)], (-35)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((1),4), ((1),7), ((-2),10), ((1),11), ((1),12), ((2),13), ((-1),14), ((-1),15), ((-1),16), ((-1),20), ((-2),21), ((-2),22), ((-1),24), ((1),29), ((2),36), ((1),37), ((2),38), ((-2),40), ((-2),41), ((2),44), ((-2),45), ((-1),46), ((-2),52), ((-1),53), ((2),54), ((1),56), ((2),57), ((1),58), ((1),59), ((1),60), ((2),61), ((-2),62), ((1),63), ((-1),64), ((1),68), ((-2),69), ((1),70), ((-2),71), ((1),73), ((-2),74)], (-23)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),3), ((-2),4), ((-2),8), ((-2),9), ((2),11), ((-2),13), ((-1),14), ((-2),15), ((-2),16), ((1),18), ((1),20), ((1),21), ((1),22), ((-1),23), ((-2),24), ((2),25), ((-2),29), ((2),30), ((-2),31), ((-1),34), ((2),35), ((1),36), ((-1),37), ((-1),38), ((-1),39), ((2),40), ((-2),41), ((2),42), ((1),44), ((1),47), ((-1),48), ((2),49), ((1),51), ((-2),52), ((2),53), ((1),54), ((2),55), ((2),56), ((2),57), ((1),58), ((-2),59), ((-1),60), ((-1),63), ((2),64), ((1),66), ((-1),68), ((1),69), ((-2),71), ((1),74)], (-14)), ("GEQ", [((-2),2), ((-2),4), ((1),5), ((-1),6), ((-1),7), ((-2),8), ((2),10), ((1),12), ((1),13), ((1),14), ((1),18), ((-1),19), ((2),20), ((-2),22), ((1),23), ((-2),24), ((-2),25), ((-1),26), ((-1),28), ((-1),29), ((2),30), ((-1),31), ((-2),32), ((-1),33), ((2),35), ((-1),36), ((-2),37), ((1),38), ((-1),39), ((-1),40), ((1),44), ((-2),49), ((2),51), ((-2),52), ((-1),56), ((1),57), ((1),59), ((-2),60), ((2),62), ((1),63), ((1),65), ((-1),66), ((1),67), ((-1),68), ((-1),70), ((-2),72), ((1),73)], (22)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((2),3), ((1),4), ((-1),5), ((-1),6), ((-2),8), ((1),9), ((1),10), ((2),12), ((-1),14), ((2),15), ((1),16), ((2),17), ((-1),19), ((2),20), ((-1),22), ((-1),23), ((-2),24), ((2),27), ((2),28), ((-1),29), ((-2),31), ((-2),32), ((2),33), ((-2),34), ((-2),36), ((-2),38), ((1),40), ((-1),42), ((-2),43), ((-1),44), ((-1),45), ((-1),46), ((2),48), ((2),49), ((2),51), ((-2),55), ((2),56), ((2),57), ((-1),58), ((-1),59), ((-1),60), ((2),63), ((-2),65), ((2),66), ((2),69), ((-1),70), ((-1),72), ((-2),73), ((-1),74)], (15)), ("GEQ", [((2),1), ((2),4), ((2),5), ((-1),6), ((1),9), ((1),11), ((1),13), ((-1),14), ((2),17), ((-1),18), ((1),19), ((2),20), ((-2),21), ((2),22), ((2),23), ((1),30), ((-2),31), ((-2),32), ((1),33), ((-1),34), ((-2),35), ((-2),37), ((-2),38), ((-2),39), ((2),42), ((-2),43), ((-1),44), ((2),45), ((-2),46), ((-2),48), ((-2),49), ((2),50), ((-1),53), ((-2),54), ((1),55), ((-2),58), ((2),60), ((1),61), ((-2),62), ((-1),63), ((-1),64), ((1),65), ((-2),67), ((-1),69), ((-2),70), ((-2),71), ((1),73), ((1),74)], (41)), ("GEQ", [((-2),0), ((-1),1), ((1),2), ((2),5), ((2),6), ((2),9), ((1),10), ((-1),11), ((-2),12), ((1),16), ((-1),17), ((1),18), ((-1),21), ((1),23), ((1),25), ((-1),28), ((2),30), ((-1),33), ((1),35), ((-1),36), ((2),37), ((-2),39), ((1),40), ((-2),42), ((-2),44), ((2),45), ((-2),47), ((2),48), ((-1),50), ((-2),54), ((-2),55), ((-2),56), ((-1),60), ((-2),63), ((2),64), ((-2),66), ((2),68), ((1),69), ((-2),70), ((1),72), ((-1),73)], (38)), ("GEQ", [((-1),0), ((1),3), ((2),7), ((-2),8), ((2),9), ((-2),10), ((2),12), ((1),14), ((-2),17), ((-1),18), ((1),19), ((2),21), ((-2),22), ((2),24), ((1),25), ((-2),27), ((-1),29), ((2),31), ((-1),33), ((1),37), ((2),39), ((-1),40), ((2),41), ((-2),42), ((1),44), ((-2),46), ((-1),47), ((1),50), ((1),54), ((2),55), ((1),56), ((-2),58), ((-1),59), ((-1),60), ((-2),62), ((-1),64), ((2),65), ((2),67), ((-2),70), ((-1),71), ((2),72), ((2),74)], (3)), ("GEQ", [((1),1), ((1),2), ((1),7), ((2),9), ((2),10), ((1),11), ((-1),13), ((-2),14), ((-2),15), ((-2),16), ((2),19), ((-1),20), ((2),21), ((1),24), ((-1),26), ((2),27), ((-1),29), ((-1),30), ((1),31), ((1),32), ((2),33), ((-2),34), ((-1),35), ((-2),36), ((-2),38), ((1),39), ((1),40), ((-1),42), ((-1),43), ((-1),45), ((2),47), ((1),48), ((-2),49), ((-1),50), ((-2),51), ((2),53), ((1),56), ((-2),57), ((-2),58), ((2),59), ((2),61), ((-1),62), ((-2),63), ((1),66), ((-1),67), ((-1),68), ((-2),71), ((-1),72)], (-18)), ("GEQ", [((-2),1), ((2),2), ((-1),3), ((-1),5), ((1),6), ((1),7), ((1),9), ((1),10), ((-2),11), ((-1),14), ((1),15), ((-2),16), ((2),17), ((-2),18), ((1),20), ((2),21), ((-2),22), ((1),23), ((-1),25), ((1),26), ((1),28), ((-2),29), ((-1),30), ((2),32), ((2),33), ((-2),35), ((-1),36), ((-2),37), ((1),38), ((-2),39), ((2),40), ((1),41), ((-1),42), ((2),43), ((-1),44), ((-2),47), ((1),50), ((-1),52), ((1),53), ((2),54), ((1),59), ((1),60), ((2),62), ((-1),64), ((2),65), ((-2),66), ((2),69), ((-2),72), ((1),73), ((1),74)], (1)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((-1),3), ((-1),4), ((1),5), ((-1),6), ((-2),9), ((1),11), ((1),13), ((-2),14), ((1),15), ((2),16), ((2),17), ((-2),19), ((1),20), ((-2),21), ((1),26), ((1),28), ((-1),30), ((-2),31), ((2),33), ((2),34), ((-2),35), ((-1),36), ((1),37), ((-2),38), ((-1),41), ((2),43), ((1),44), ((-2),45), ((-1),46), ((2),47), ((-2),52), ((2),55), ((1),57), ((-1),58), ((-1),61), ((-1),62), ((-2),66), ((2),67), ((2),70), ((2),71), ((1),72), ((-2),74)], (-20)), ("GEQ", [((-1),1), ((1),5), ((2),7), ((1),9), ((-2),10), ((2),11), ((2),14), ((-2),15), ((-2),16), ((-1),17), ((2),19), ((-1),21), ((-2),23), ((1),24), ((-1),26), ((-1),27), ((-1),28), ((-2),30), ((-1),31), ((2),32), ((1),35), ((-2),37), ((1),38), ((-1),39), ((-1),41), ((-1),42), ((-2),46), ((-1),47), ((2),50), ((-1),51), ((2),52), ((2),53), ((-1),54), ((1),55), ((-2),56), ((2),57), ((-1),58), ((-2),60), ((-1),61), ((1),63), ((1),64), ((-2),65), ((2),67), ((-2),68), ((-2),69), ((1),70), ((-2),71), ((2),73)], (18)), ("GEQ", [((-1),1), ((2),8), ((1),9), ((-2),12), ((-1),15), ((1),17), ((-2),26), ((1),27), ((-1),29), ((-1),30), ((2),32), ((1),33), ((-1),38), ((2),39), ((1),40), ((1),45), ((-2),46), ((1),48), ((-2),49), ((1),52), ((-1),53), ((-2),57), ((1),58), ((-1),59), ((-2),60), ((-1),65), ((-1),66), ((-2),67), ((-2),70), ((2),71), ((2),74)], (4)), ("GEQ", [((-2),1), ((-2),2), ((2),3), ((-1),5), ((1),6), ((-1),7), ((2),10), ((1),12), ((-1),14), ((1),15), ((2),16), ((2),19), ((-2),22), ((1),24), ((-2),25), ((1),26), ((1),27), ((2),28), ((-2),29), ((2),30), ((2),31), ((-2),32), ((2),33), ((-1),34), ((-2),36), ((1),39), ((1),40), ((-1),41), ((2),42), ((-2),43), ((1),44), ((-1),46), ((-1),47), ((-2),49), ((-2),51), ((-1),52), ((1),54), ((-1),56), ((1),57), ((-1),58), ((-1),59), ((2),60), ((-1),61), ((2),62), ((1),63), ((-1),65), ((1),67), ((1),68), ((-2),69), ((1),70), ((-2),73), ((-1),74)], (-15)), ("GEQ", [((2),1), ((-2),2), ((-1),5), ((2),7), ((1),9), ((1),11), ((-2),12), ((1),13), ((2),18), ((1),20), ((2),22), ((1),23), ((1),25), ((1),30), ((1),33), ((1),34), ((1),36), ((1),41), ((-2),43), ((2),47), ((-1),50), ((2),51), ((-1),52), ((2),53), ((-2),57), ((-2),58), ((-2),59), ((-1),61), ((-1),63), ((-1),64), ((-2),65), ((2),66), ((2),68), ((2),69), ((-1),71), ((2),72), ((-1),73)], (-6)), ("GEQ", [((2),2), ((1),3), ((1),4), ((1),5), ((-1),6), ((1),10), ((2),11), ((1),13), ((2),14), ((-1),16), ((-1),23), ((1),24), ((-2),25), ((-1),30), ((-2),31), ((-2),32), ((1),34), ((2),35), ((-2),37), ((-2),38), ((-2),39), ((-2),42), ((2),43), ((2),46), ((1),47), ((1),48), ((1),49), ((-1),50), ((2),51), ((2),53), ((-2),56), ((1),58), ((1),59), ((-1),60), ((2),62), ((1),63), ((2),64), ((-2),68), ((1),69), ((-1),70), ((1),72), ((2),73), ((-1),74)], (-3)), ("GEQ", [((-2),0), ((-1),1), ((1),3), ((2),5), ((2),9), ((-1),12), ((1),16), ((2),17), ((1),18), ((-1),19), ((-2),20), ((2),21), ((-2),22), ((-1),23), ((2),24), ((-2),26), ((2),29), ((-1),32), ((2),33), ((-1),35), ((2),37), ((-2),38), ((-1),39), ((1),40), ((-2),41), ((1),43), ((-2),44), ((2),45), ((1),46), ((1),47), ((-2),48), ((-2),50), ((-2),51), ((2),53), ((-1),55), ((1),56), ((2),57), ((2),58), ((-1),60), ((-2),63), ((1),64), ((1),65), ((-1),66), ((-1),68), ((2),69), ((2),71), ((1),73), ((2),74)], (-9)), ("GEQ", [((1),0), ((2),1), ((1),2), ((1),4), ((-2),7), ((2),8), ((1),9), ((1),12), ((-1),13), ((-2),16), ((2),19), ((-1),20), ((1),23), ((-1),25), ((-1),26), ((2),27), ((-2),32), ((-1),36), ((-1),39), ((1),41), ((1),43), ((-2),46), ((-1),47), ((2),48), ((1),51), ((-2),53), ((1),55), ((2),56), ((1),59), ((2),60), ((2),62), ((2),64), ((-2),65), ((-1),66), ((-1),68), ((-1),69), ((-2),72), ((2),73)], (-29)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-1),4), ((1),5), ((1),8), ((-2),9), ((1),10), ((-2),11), ((-2),12), ((-1),13), ((-1),14), ((-2),15), ((1),22), ((1),23), ((2),24), ((2),26), ((1),27), ((-1),28), ((-2),30), ((1),32), ((-2),35), ((2),36), ((-1),38), ((-1),39), ((-2),40), ((2),41), ((-2),44), ((-1),45), ((-1),46), ((-2),47), ((-2),48), ((-2),50), ((1),51), ((2),52), ((1),54), ((-1),55), ((1),57), ((2),58), ((1),59), ((2),62), ((-2),64), ((2),65), ((2),67), ((1),68), ((-1),70), ((-2),71), ((-1),74)], (-20)), ("GEQ", [((2),0), ((1),1), ((-1),4), ((1),5), ((-2),7), ((-2),8), ((1),9), ((2),13), ((2),14), ((-1),15), ((-2),16), ((1),17), ((1),18), ((1),22), ((-2),23), ((-1),27), ((1),28), ((2),31), ((-2),32), ((1),33), ((1),35), ((1),36), ((-2),37), ((2),38), ((-2),39), ((-2),40), ((-1),41), ((-2),42), ((-2),43), ((1),46), ((2),47), ((1),49), ((2),51), ((-2),52), ((1),53), ((1),54), ((1),55), ((-2),57), ((-2),58), ((-1),59), ((-2),62), ((-1),63), ((2),64), ((-2),65), ((2),66), ((-1),67), ((-1),68), ((-2),72), ((2),74)], (12)), ("GEQ", [((-1),1), ((1),3), ((1),4), ((1),5), ((-1),6), ((1),8), ((-1),9), ((2),10), ((2),15), ((-1),17), ((-1),18), ((-2),19), ((1),20), ((-2),21), ((1),22), ((-1),24), ((1),25), ((1),28), ((-1),30), ((2),31), ((-1),32), ((1),34), ((2),36), ((1),37), ((2),39), ((2),42), ((-1),46), ((1),48), ((2),49), ((-1),51), ((-1),53), ((-2),55), ((-1),56), ((-2),57), ((2),62), ((-1),63), ((2),64), ((2),65), ((1),66), ((1),67), ((-1),68), ((2),71), ((-1),72), ((2),74)], (-27)), ("GEQ", [((1),0), ((1),4), ((2),5), ((2),6), ((-2),8), ((2),9), ((-2),11), ((-1),12), ((1),15), ((-2),17), ((2),20), ((-2),23), ((-1),24), ((-1),25), ((1),26), ((2),28), ((1),30), ((1),31), ((-2),33), ((-2),35), ((1),42), ((-1),43), ((1),44), ((-1),46), ((2),48), ((2),52), ((-2),53), ((1),54), ((-1),55), ((1),56), ((1),57), ((1),59), ((-1),60), ((-1),61), ((2),62), ((-1),65), ((1),69), ((-1),71)], (-10)), ("GEQ", [((2),2), ((-1),3), ((1),4), ((-2),6), ((-2),7), ((-1),10), ((-1),11), ((-1),12), ((2),13), ((-1),15), ((-1),16), ((-1),17), ((-1),18), ((1),23), ((-1),24), ((1),25), ((-2),26), ((-1),31), ((-1),32), ((-1),36), ((1),37), ((-2),40), ((-1),41), ((-2),42), ((1),43), ((-2),44), ((-1),45), ((2),48), ((-2),49), ((-2),50), ((-1),51), ((-1),52), ((2),56), ((-2),58), ((2),59), ((2),60), ((-1),62), ((-2),65), ((1),67), ((-1),68), ((-2),69), ((2),70), ((-1),73), ((-1),74)], (-6)), ("GEQ", [((2),0), ((-2),2), ((1),3), ((1),4), ((2),7), ((-1),9), ((-1),10), ((1),11), ((2),12), ((2),14), ((-1),15), ((-2),20), ((2),21), ((2),22), ((-1),23), ((-1),25), ((-1),27), ((-1),29), ((2),30), ((-2),31), ((-1),33), ((2),35), ((-1),36), ((-2),37), ((-2),38), ((-1),39), ((2),40), ((1),41), ((1),45), ((-1),46), ((-1),47), ((-2),48), ((2),49), ((-1),50), ((-1),51), ((-1),54), ((1),55), ((1),58), ((1),61), ((1),64), ((1),66), ((-1),67), ((2),68), ((1),69), ((-1),70), ((-1),74)], (7)), ("GEQ", [((2),2), ((1),3), ((2),6), ((-1),7), ((-1),8), ((-1),10), ((1),11), ((-2),13), ((2),14), ((1),15), ((-1),17), ((1),18), ((2),19), ((2),22), ((1),23), ((-2),24), ((-1),25), ((-2),26), ((1),27), ((1),30), ((1),31), ((1),32), ((2),33), ((-1),34), ((2),36), ((2),38), ((1),39), ((2),41), ((2),46), ((2),48), ((1),50), ((1),51), ((2),52), ((2),54), ((1),57), ((1),59), ((-2),61), ((1),63), ((-2),64), ((-1),65), ((-2),68), ((2),70), ((1),72), ((2),73), ((-2),74)], (-22)), ("GEQ", [((-2),0), ((1),3), ((1),4), ((2),5), ((-1),6), ((-1),7), ((-1),9), ((2),13), ((-2),15), ((1),18), ((-2),19), ((-2),20), ((2),21), ((1),22), ((2),24), ((-1),25), ((1),26), ((-1),27), ((-1),28), ((1),29), ((2),30), ((2),31), ((1),32), ((-1),35), ((-2),36), ((1),38), ((2),42), ((-1),43), ((-2),45), ((2),46), ((1),48), ((-2),49), ((-1),50), ((2),51), ((-1),52), ((-2),54), ((-1),55), ((1),57), ((-2),58), ((1),61), ((-2),63), ((-1),66), ((1),70), ((-2),74)], (3)), ("GEQ", [((2),1), ((1),3), ((-2),4), ((1),5), ((2),6), ((2),7), ((-2),8), ((-2),9), ((-2),10), ((1),13), ((-1),16), ((2),17), ((1),18), ((2),19), ((-1),20), ((1),21), ((2),23), ((1),25), ((-1),26), ((-2),27), ((2),31), ((2),33), ((-2),34), ((-2),36), ((1),38), ((-1),40), ((-2),41), ((1),42), ((-2),44), ((2),46), ((-2),47), ((-2),48), ((-2),50), ((1),51), ((1),54), ((1),55), ((1),57), ((-1),58), ((-1),60), ((2),61), ((2),67), ((-2),68), ((-2),71), ((-2),73), ((-2),74)], (-16)), ("GEQ", [((-1),2), ((-1),4), ((-2),5), ((2),7), ((2),8), ((-2),10), ((-1),12), ((-1),13), ((-2),15), ((-2),17), ((2),18), ((2),19), ((-2),21), ((1),22), ((1),23), ((-1),24), ((-1),26), ((-2),28), ((2),31), ((-1),32), ((2),33), ((-2),34), ((2),35), ((-2),36), ((2),39), ((-2),40), ((2),44), ((-1),47), ((2),48), ((-1),49), ((2),52), ((1),56), ((-1),58), ((2),59), ((-2),60), ((1),61), ((-1),66), ((-1),68), ((-2),69), ((1),70), ((-1),74)], (-17)), ("GEQ", [((-2),2), ((-2),3), ((2),5), ((-2),6), ((-1),7), ((-1),8), ((1),9), ((1),10), ((1),11), ((2),14), ((-2),15), ((2),16), ((-1),17), ((-1),18), ((2),19), ((-1),20), ((2),23), ((1),24), ((1),28), ((-1),29), ((1),33), ((-1),34), ((1),39), ((2),40), ((-2),41), ((2),43), ((1),44), ((-1),46), ((-2),47), ((-1),49), ((2),50), ((2),51), ((-2),55), ((-1),56), ((-1),58), ((2),60), ((1),65), ((1),66), ((-1),71), ((-1),72)], (23)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-1),6), ((2),7), ((1),9), ((1),10), ((2),11), ((2),13), ((1),14), ((-1),15), ((-1),16), ((1),17), ((-1),18), ((-1),23), ((-1),24), ((1),26), ((1),27), ((-2),28), ((-1),30), ((1),33), ((2),34), ((1),37), ((1),39), ((-2),40), ((1),41), ((-1),42), ((-1),44), ((-1),46), ((-1),47), ((2),48), ((-2),50), ((2),51), ((2),52), ((-2),53), ((-2),57), ((-2),59), ((2),61), ((1),62), ((-2),63), ((-1),66), ((-1),67), ((-1),70), ((1),71)], (38)), ("GEQ", [((2),1), ((1),3), ((1),4), ((2),6), ((-1),7), ((2),8), ((-2),11), ((-2),13), ((-1),14), ((-2),17), ((2),18), ((-1),21), ((2),23), ((2),24), ((-1),26), ((1),27), ((-1),28), ((-2),29), ((-1),31), ((-2),32), ((1),33), ((1),34), ((-2),35), ((-1),36), ((1),37), ((-2),39), ((-2),41), ((2),42), ((2),43), ((-2),44), ((1),45), ((1),47), ((2),49), ((-2),52), ((1),53), ((1),54), ((2),55), ((-1),56), ((-1),57), ((-2),58), ((-1),59), ((2),60), ((-2),62), ((2),63), ((-2),64), ((2),67), ((1),68), ((2),70), ((1),72), ((-2),74)], (-50)), ("GEQ", [((1),0), ((-2),3), ((-2),4), ((2),6), ((2),7), ((-1),8), ((2),9), ((-2),11), ((-2),12), ((-2),13), ((-1),14), ((-2),16), ((-1),18), ((2),20), ((-1),22), ((-1),23), ((2),25), ((1),27), ((-2),28), ((-1),31), ((1),32), ((-2),33), ((-2),35), ((-2),37), ((-1),38), ((2),39), ((-1),43), ((-2),45), ((-2),46), ((2),47), ((2),49), ((1),51), ((1),52), ((2),54), ((2),55), ((-1),56), ((-1),61), ((-2),63), ((-1),67), ((1),68), ((1),69), ((-2),70), ((-1),71), ((-1),74)], (15)), ("GEQ", [((1),0), ((1),1), ((2),4), ((-1),6), ((-1),10), ((-1),12), ((-1),15), ((1),16), ((-2),17), ((2),18), ((1),19), ((-1),20), ((1),21), ((1),22), ((1),28), ((2),30), ((1),31), ((1),33), ((-2),35), ((1),36), ((2),37), ((-1),39), ((-2),40), ((-2),41), ((1),43), ((1),48), ((2),49), ((-1),50), ((-1),51), ((-1),54), ((2),56), ((-1),59), ((-2),62), ((-2),63), ((-2),64), ((1),66), ((1),67), ((-2),68), ((-1),70), ((2),71), ((2),74)], (-45)), ("GEQ", [((-2),0), ((-1),1), ((2),3), ((-2),4), ((1),5), ((1),6), ((1),9), ((-1),11), ((-2),13), ((-2),14), ((-1),17), ((1),18), ((1),19), ((-2),20), ((-2),21), ((2),22), ((-1),24), ((2),31), ((-2),33), ((1),38), ((1),39), ((1),43), ((1),45), ((-2),46), ((-2),47), ((2),48), ((-2),49), ((2),51), ((-1),54), ((2),56), ((2),58), ((-1),59), ((-2),61), ((1),62), ((1),63), ((1),65), ((-2),66), ((2),68), ((2),70)], (4)), ("GEQ", [((1),1), ((1),2), ((1),3), ((-1),5), ((1),6), ((-2),7), ((-2),8), ((1),10), ((-1),12), ((-1),14), ((-1),19), ((1),22), ((-1),24), ((1),27), ((2),28), ((-2),29), ((-1),30), ((-2),31), ((2),32), ((-2),35), ((1),36), ((-1),37), ((-2),40), ((2),42), ((1),43), ((-1),44), ((1),46), ((-1),49), ((-2),50), ((-1),51), ((-2),52), ((2),54), ((1),55), ((-1),56), ((2),57), ((1),58), ((1),59), ((-1),60), ((2),62), ((1),63), ((1),64), ((2),65), ((1),68), ((1),69), ((-2),70), ((-2),72), ((-2),73), ((2),74)], (-31)), ("GEQ", [((1),1), ((1),2), ((2),3), ((2),9), ((2),10), ((1),11), ((-1),12), ((-2),15), ((1),16), ((1),17), ((1),18), ((-1),21), ((-1),24), ((-1),26), ((-1),28), ((2),30), ((2),31), ((2),32), ((2),34), ((-2),35), ((-1),36), ((1),38), ((2),39), ((-2),40), ((-2),41), ((-2),42), ((-1),44), ((-1),47), ((2),48), ((1),51), ((1),52), ((1),53), ((1),54), ((2),59), ((1),60), ((2),61), ((-2),62), ((-2),66), ((2),67), ((-1),68), ((1),69), ((-2),70), ((2),72), ((1),73)], (-22)), ("GEQ", [((2),0), ((-1),3), ((-2),5), ((1),6), ((-1),12), ((2),13), ((1),14), ((2),18), ((2),20), ((1),21), ((-2),22), ((1),23), ((-2),25), ((-2),28), ((2),29), ((1),30), ((1),32), ((-2),33), ((1),35), ((-1),37), ((2),40), ((-1),41), ((-2),42), ((-1),43), ((-2),44), ((2),47), ((2),49), ((1),50), ((1),51), ((-1),52), ((1),54), ((-1),55), ((-1),56), ((1),57), ((-1),59), ((1),60), ((2),61), ((-1),62), ((-1),63), ((2),64), ((-1),66), ((1),67), ((1),71), ((2),72), ((2),74)], (-18)), ("GEQ", [((1),0), ((2),2), ((-2),4), ((-2),5), ((2),6), ((-1),8), ((-1),9), ((1),10), ((1),12), ((-2),14), ((-1),15), ((-2),18), ((-1),20), ((1),21), ((1),22), ((-2),23), ((-2),25), ((1),26), ((2),28), ((2),30), ((-2),31), ((-2),32), ((-1),36), ((1),37), ((-2),38), ((-2),39), ((1),40), ((-2),42), ((-2),43), ((2),44), ((-2),46), ((2),47), ((2),48), ((-2),50), ((2),52), ((1),55), ((-1),57), ((-2),58), ((-2),61), ((-1),65), ((1),67), ((-1),69), ((1),70), ((2),71)], (-3)), ("GEQ", [((-2),0), ((-2),1), ((-1),2), ((2),5), ((1),6), ((-1),7), ((-1),9), ((-2),10), ((-2),13), ((-1),18), ((-1),19), ((2),20), ((-1),21), ((2),24), ((-2),26), ((-1),27), ((-1),29), ((2),30), ((-2),31), ((-2),36), ((-1),37), ((1),38), ((-1),41), ((2),43), ((2),44), ((-1),47), ((2),48), ((2),49), ((-2),50), ((-1),51), ((-1),52), ((-1),57), ((1),58), ((2),59), ((2),60), ((2),63), ((-2),64), ((2),65), ((-1),70), ((2),73), ((-2),74)], (-7)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((-2),3), ((1),4), ((-1),11), ((2),12), ((2),13), ((1),14), ((2),16), ((2),17), ((-2),19), ((-2),20), ((-1),21), ((1),24), ((1),25), ((-1),26), ((-2),27), ((-1),28), ((-1),29), ((1),34), ((1),36), ((-1),37), ((1),39), ((2),40), ((2),41), ((2),42), ((-2),43), ((1),44), ((2),45), ((1),46), ((-1),47), ((2),48), ((-2),50), ((1),51), ((-1),53), ((-2),54), ((1),55), ((-1),56), ((-2),57), ((2),58), ((1),60), ((-1),62), ((2),65), ((2),66), ((1),67), ((2),68), ((1),69), ((-2),72), ((-1),73)], (40)), ("GEQ", [((2),1), ((-1),2), ((-2),5), ((2),6), ((1),8), ((-2),9), ((1),10), ((-2),13), ((1),14), ((-1),15), ((2),18), ((1),19), ((2),22), ((1),24), ((-2),26), ((-1),28), ((2),29), ((-1),30), ((-2),31), ((-1),33), ((-2),35), ((1),37), ((2),39), ((2),40), ((2),41), ((-2),42), ((-1),44), ((2),45), ((2),46), ((-2),47), ((-1),49), ((2),50), ((2),52), ((-2),54), ((2),55), ((2),56), ((2),57), ((1),59), ((-1),60), ((2),61), ((-2),62), ((-1),64), ((1),65), ((2),66), ((-2),68), ((-1),69), ((1),72), ((1),73)], (4)), ("GEQ", [((-1),2), ((2),3), ((1),8), ((-1),11), ((2),12), ((1),14), ((-2),15), ((1),16), ((1),18), ((-1),19), ((-1),20), ((2),21), ((-2),23), ((-1),24), ((-2),26), ((-1),28), ((2),31), ((-2),35), ((1),36), ((1),37), ((-1),38), ((-2),43), ((-1),44), ((-1),47), ((2),49), ((1),50), ((-1),51), ((2),52), ((2),53), ((-1),54), ((2),55), ((1),56), ((1),58), ((-2),61), ((1),64), ((2),68), ((-1),69), ((2),71), ((1),73), ((-2),74)], (-9)), ("GEQ", [((1),3), ((-2),5), ((1),6), ((-1),7), ((-1),8), ((-2),9), ((1),10), ((2),12), ((2),14), ((2),15), ((-2),16), ((-2),18), ((-2),19), ((2),20), ((-2),23), ((1),27), ((-1),29), ((2),32), ((-1),34), ((-2),35), ((1),36), ((2),38), ((-1),39), ((2),40), ((-1),41), ((2),43), ((1),44), ((2),46), ((2),49), ((2),50), ((-1),51), ((2),52), ((-2),54), ((-1),55), ((-2),57), ((-1),59), ((2),61), ((-2),62), ((-1),63), ((1),64), ((-2),65), ((-1),69), ((-1),70), ((-2),72), ((-2),73), ((1),74)], (39)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-1),4), ((-1),6), ((1),7), ((1),8), ((-2),9), ((2),10), ((-1),12), ((1),13), ((-1),14), ((-2),15), ((2),19), ((-2),22), ((1),23), ((1),24), ((2),25), ((-2),26), ((-2),27), ((-1),29), ((1),31), ((-1),33), ((-2),34), ((2),36), ((2),37), ((-1),41), ((1),42), ((-1),44), ((-2),45), ((2),47), ((2),50), ((-2),51), ((-1),53), ((2),56), ((2),58), ((2),59), ((1),62), ((2),63), ((2),64), ((1),66), ((-1),67), ((-1),68), ((-2),70), ((-2),71), ((-2),72), ((2),73), ((-1),74)], (-45)), ("GEQ", [((1),0), ((2),2), ((-1),4), ((-2),5), ((2),7), ((-2),9), ((-1),10), ((-1),12), ((2),13), ((2),16), ((-1),19), ((-1),21), ((-2),22), ((-1),24), ((-2),26), ((1),27), ((-2),29), ((2),30), ((1),33), ((2),34), ((-2),35), ((1),36), ((2),37), ((-1),39), ((2),42), ((-2),43), ((-1),44), ((1),45), ((2),46), ((1),47), ((-2),48), ((-1),50), ((2),51), ((-2),52), ((-2),53), ((-1),54), ((-2),56), ((-2),57), ((-2),60), ((-2),61), ((-2),62), ((1),63), ((1),64), ((-1),65), ((2),66), ((-1),67), ((1),69), ((2),71), ((2),72), ((-1),74)], (-19)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((-2),4), ((1),5), ((-2),8), ((-2),10), ((1),12), ((-1),14), ((-1),16), ((-2),17), ((2),18), ((2),22), ((-2),25), ((1),26), ((1),27), ((2),28), ((2),29), ((1),32), ((2),34), ((-1),36), ((2),39), ((-1),42), ((-2),44), ((-1),45), ((1),46), ((1),50), ((-2),51), ((1),53), ((1),55), ((-2),56), ((-2),58), ((-2),61), ((2),62), ((-1),64), ((1),65), ((2),67), ((1),68), ((-2),69), ((1),70), ((1),73)], (-5)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((-1),4), ((-1),5), ((-1),6), ((1),8), ((2),11), ((-2),12), ((-2),13), ((-2),14), ((-2),15), ((1),17), ((1),20), ((2),21), ((-2),22), ((-1),23), ((-2),24), ((-1),25), ((-1),29), ((2),30), ((-2),33), ((-2),35), ((2),37), ((2),38), ((-1),40), ((-2),45), ((-2),50), ((2),52), ((1),53), ((1),54), ((-1),55), ((2),56), ((-2),57), ((1),58), ((1),61), ((2),62), ((-1),64), ((-2),68), ((1),70), ((1),73), ((-2),74)], (-38)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((-1),4), ((-1),5), ((2),6), ((1),7), ((-1),9), ((-2),11), ((-2),12), ((1),13), ((2),14), ((-2),16), ((-2),18), ((-2),22), ((-1),24), ((-1),25), ((1),26), ((1),27), ((-1),28), ((-1),29), ((1),31), ((2),33), ((2),34), ((-2),37), ((-1),38), ((-1),40), ((2),43), ((2),44), ((1),45), ((-2),46), ((1),47), ((1),49), ((2),50), ((-1),51), ((1),52), ((-1),53), ((-1),54), ((1),55), ((2),58), ((-2),59), ((-1),60), ((-2),61), ((-1),63), ((1),64), ((2),65), ((-1),67), ((-1),69), ((-2),71), ((-2),72), ((-1),73)], (39)), ("GEQ", [((1),2), ((1),4), ((1),7), ((2),8), ((2),10), ((-1),11), ((2),12), ((2),13), ((2),15), ((2),16), ((-2),19), ((2),20), ((2),21), ((-1),22), ((2),24), ((1),26), ((2),28), ((-2),29), ((-1),30), ((-2),32), ((1),33), ((1),37), ((2),38), ((-2),43), ((-1),44), ((-2),45), ((-1),48), ((1),49), ((-2),50), ((1),52), ((2),53), ((2),57), ((2),58), ((-2),60), ((-1),62), ((-1),65), ((2),67), ((-2),68), ((-1),71)], (-49)), ("GEQ", [((2),5), ((-1),7), ((-1),9), ((2),10), ((-2),13), ((-1),14), ((-1),15), ((2),16), ((-2),19), ((2),20), ((-1),23), ((2),24), ((1),25), ((-1),26), ((1),27), ((1),28), ((-2),29), ((2),31), ((1),32), ((1),33), ((-2),35), ((-2),37), ((-1),38), ((-2),40), ((2),42), ((-2),44), ((1),45), ((-2),47), ((-2),48), ((-1),49), ((2),50), ((-2),51), ((2),53), ((1),54), ((2),56), ((-2),57), ((-1),58), ((-2),59), ((2),61), ((2),63), ((-2),64), ((1),66), ((-1),67), ((1),68), ((-1),70), ((-1),71), ((-1),72), ((-1),74)], (-24)), ("GEQ", [((-1),0), ((1),2), ((-1),4), ((1),5), ((2),8), ((-2),10), ((-2),12), ((-2),14), ((-2),15), ((-2),16), ((-2),18), ((1),19), ((2),21), ((2),22), ((1),24), ((-1),26), ((1),28), ((2),29), ((2),30), ((2),31), ((2),32), ((-2),34), ((-1),36), ((1),38), ((-2),39), ((2),42), ((2),43), ((2),46), ((-1),48), ((-2),49), ((-1),50), ((-1),51), ((2),52), ((-1),53), ((2),54), ((-1),57), ((-1),58), ((-2),61), ((-2),62), ((-2),63), ((-2),64), ((2),65), ((2),66), ((2),67), ((-1),69), ((2),71), ((1),72), ((1),73)], (-18)), ("GEQ", [((1),1), ((-1),2), ((-2),3), ((1),4), ((-1),5), ((1),7), ((-1),8), ((2),9), ((-1),11), ((2),16), ((-2),17), ((-2),18), ((-2),19), ((1),20), ((1),21), ((-2),22), ((2),23), ((-2),24), ((-1),27), ((2),28), ((-2),29), ((-2),30), ((1),32), ((-1),33), ((1),34), ((1),35), ((-1),37), ((1),38), ((-2),41), ((2),45), ((2),47), ((-1),48), ((2),49), ((2),50), ((1),53), ((1),55), ((1),56), ((1),57), ((1),59), ((1),60), ((-2),61), ((2),62), ((2),63), ((-2),69), ((1),70), ((-1),72)], (-4)), ("GEQ", [((-2),0), ((-2),1), ((1),2), ((-2),6), ((1),8), ((-1),10), ((-1),12), ((1),15), ((2),17), ((2),21), ((-1),23), ((1),25), ((2),26), ((-2),27), ((-2),28), ((2),32), ((-1),34), ((-2),42), ((2),43), ((1),45), ((-1),46), ((-1),54), ((-2),55), ((1),57), ((1),59), ((2),62), ((-1),63), ((-2),64), ((2),66), ((2),67), ((-1),68), ((2),70), ((-2),71), ((-2),72), ((-1),73), ((2),74)], (35)), ("GEQ", [((-3),0), ((-13),1), ((-34),3), ((2),4), ((-13),5), ((-36),6), ((-5),7), ((31),8), ((-12),9), ((-13),10), ((-25),11), ((21),12), ((-24),13), ((13),14), ((24),15), ((23),16), ((8),17), ((8),18), ((20),19), ((-27),20), ((-22),21), ((3),22), ((40),23), ((15),24), ((15),25), ((-7),26), ((-29),27), ((9),28), ((21),29), ((-61),30), ((-8),31), ((-12),32), ((12),33), ((-27),34), ((56),35), ((22),36), ((-15),38), ((15),39), ((8),40), ((31),41), ((-7),42), ((2),43), ((30),44), ((-25),45), ((21),46), ((-33),47), ((-17),48), ((5),49), ((2),50), ((-34),51), ((-2),52), ((-7),53), ((-3),54), ((-38),55), ((21),56), ((12),57), ((41),58), ((19),59), ((-3),60), ((23),61), ((-25),62), ((11),63), ((-31),64), ((34),65), ((-46),66), ((-50),67), ((8),68), ((10),69), ((6),70), ((-3),71), ((43),72), ((-21),73), ((32),74)], (-108)), ("GEQ", [((8),0), ((4),1), ((1),2), ((10),3), ((-19),4), ((18),5), ((1),6), ((2),7), ((-10),8), ((17),9), ((46),10), ((26),11), ((-1),12), ((40),13), ((-10),14), ((-4),15), ((5),16), ((32),17), ((-6),18), ((-2),19), ((-11),20), ((12),21), ((6),22), ((-44),23), ((-7),24), ((-25),25), ((34),26), ((-1),28), ((-10),29), ((29),30), ((3),31), ((-25),32), ((-53),33), ((25),34), ((-17),35), ((3),36), ((-7),37), ((-36),38), ((-20),39), ((14),40), ((6),41), ((-16),42), ((-40),43), ((11),44), ((-13),45), ((-21),46), ((32),47), ((13),48), ((-38),49), ((-12),50), ((13),51), ((-5),52), ((-2),53), ((-20),54), ((5),55), ((-24),56), ((-28),57), ((-23),58), ((-6),59), ((-3),60), ((-47),61), ((29),62), ((-26),63), ((34),64), ((-40),65), ((-5),66), ((19),67), ((31),68), ((-8),69), ((9),70), ((16),71), ((-20),72), ((11),73), ((6),74)], (667)), ("GEQ", [((-29),0), ((-16),1), ((-18),2), ((-48),3), ((33),4), ((-72),5), ((-24),6), ((-19),7), ((37),8), ((-65),9), ((-171),10), ((-110),11), ((19),12), ((-178),13), ((42),14), ((45),15), ((32),16), ((-108),17), ((62),18), ((17),19), ((3),20), ((-66),21), ((-13),22), ((173),23), ((24),24), ((86),25), ((-113),26), ((-9),27), ((10),28), ((71),29), ((-137),30), ((-36),31), ((100),32), ((182),33), ((-98),34), ((104),35), ((27),36), ((20),37), ((100),38), ((91),39), ((-31),40), ((3),41), ((56),42), ((117),43), ((-22),44), ((53),45), ((125),46), ((-134),47), ((-99),48), ((129),49), ((57),50), ((-81),51), ((-8),52), ((26),53), ((74),54), ((-48),55), ((91),56), ((132),57), ((116),58), ((31),59), ((-4),60), ((168),61), ((-102),62), ((102),63), ((-139),64), ((158),65), ((-29),66), ((-126),67), ((-92),68), ((59),69), ((-34),70), ((-59),71), ((151),72), ((-68),73), ((25),74)], (-2349)), ("GEQ", [((2),0), ((-3),1), ((-6),2), ((60),3), ((1),4), ((4),5), ((76),6), ((-1),7), ((-26),8), ((26),9), ((-9),10), ((26),11), ((-17),12), ((31),13), ((-7),14), ((27),15), ((-18),16), ((-28),17), ((-6),18), ((-46),19), ((28),20), ((14),21), ((7),22), ((-59),23), ((-30),24), ((-40),25), ((51),26), ((31),27), ((-5),28), ((-24),29), ((68),30), ((-5),31), ((21),32), ((-33),33), ((63),34), ((-55),35), ((-10),36), ((-9),37), ((15),38), ((1),39), ((17),40), ((-37),41), ((12),42), ((5),43), ((-23),44), ((48),45), ((-16),46), ((75),47), ((18),48), ((2),49), ((29),50), ((28),51), ((-16),52), ((-3),53), ((6),54), ((47),55), ((-52),56), ((-19),57), ((-66),58), ((-21),59), ((-20),60), ((-69),61), ((42),62), ((17),63), ((39),64), ((-69),65), ((39),66), ((88),67), ((-12),68), ((-27),69), ((35),70), ((8),71), ((-28),72), ((24),73), ((-32),74)], (135)), ("GEQ", [((-10),0), ((-4),1), ((37),2), ((-137),3), ((38),4), ((9),5), ((-204),6), ((-13),7), ((84),8), ((-68),9), ((37),10), ((-34),11), ((21),12), ((-4),13), ((4),14), ((-95),15), ((8),16), ((87),17), ((-31),18), ((115),19), ((-83),20), ((-42),21), ((-16),22), ((123),23), ((83),24), ((101),25), ((-139),26), ((-96),27), ((-6),28), ((57),29), ((-128),30), ((32),31), ((-116),32), ((56),33), ((-130),34), ((109),35), ((13),36), ((51),37), ((-49),38), ((-36),39), ((-70),40), ((79),41), ((-40),42), ((-8),43), ((55),44), ((-132),45), ((12),46), ((-151),47), ((10),48), ((-43),49), ((-97),50), ((-30),51), ((46),52), ((-38),53), ((-39),54), ((-97),55), ((130),56), ((-3),57), ((136),58), ((45),59), ((96),60), ((136),61), ((-132),62), ((-79),63), ((-53),64), ((121),65), ((-82),66), ((-197),67), ((48),68), ((30),69), ((-75),70), ((11),71), ((-6),72), ((-50),73), ((45),74)], (466)), ("GEQ", [((-13),0), ((12),1), ((9),2), ((58),3), ((55),4), ((-35),5), ((74),6), ((-14),7), ((-43),8), ((-32),9), ((-130),10), ((-23),11), ((-45),12), ((-104),13), ((-10),14), ((-39),15), ((-63),16), ((-124),17), ((4),18), ((-63),19), ((92),20), ((-7),21), ((-11),22), ((48),23), ((-11),24), ((75),25), ((-102),26), ((73),27), ((-13),28), ((-6),29), ((38),30), ((-27),31), ((134),32), ((172),33), ((-16),34), ((-67),35), ((-61),36), ((21),37), ((156),38), ((8),39), ((-62),40), ((-116),41), ((73),42), ((134),43), ((-117),44), ((141),45), ((43),46), ((-22),47), ((-38),48), ((125),49), ((37),50), ((47),51), ((-11),52), ((43),53), ((74),54), ((78),55), ((20),56), ((75),57), ((-35),58), ((-33),59), ((19),60), ((109),61), ((-51),62), ((74),63), ((-36),64), ((47),65), ((129),66), ((23),67), ((-140),68), ((33),69), ((-65),70), ((-55),71), ((-9),72), ((11),73), ((-92),74)], (-1919)), ("GEQ", [((7),0), ((28),1), ((-49),2), ((57),3), ((-30),4), ((-91),5), ((164),6), ((14),7), ((-90),8), ((-7),9), ((-143),10), ((-91),11), ((-2),12), ((-196),13), ((30),14), ((88),15), ((26),16), ((-167),17), ((99),18), ((-100),19), ((125),20), ((-8),21), ((-12),22), ((62),23), ((-79),24), ((-23),25), ((4),26), ((123),27), ((51),28), ((-10),29), ((-28),30), ((-87),31), ((190),32), ((137),33), ((29),34), ((-14),35), ((-1),36), ((-49),37), ((134),38), ((97),39), ((21),40), ((-45),41), ((90),42), ((85),43), ((-69),44), ((172),45), ((64),46), ((-14),47), ((-123),48), ((189),49), ((105),50), ((-19),51), ((-25),52), ((87),53), ((112),54), ((55),55), ((-35),56), ((153),57), ((28),58), ((-6),59), ((-108),60), ((65),61), ((76),62), ((156),63), ((-75),64), ((109),65), ((56),66), ((54),67), ((-136),68), ((75),69), ((-25),70), ((-81),71), ((139),72), ((8),73), ((1),74)], (-3122)), ("GEQ", [((23),0), ((-23),1), ((8),2), ((-102),3), ((-32),4), ((50),5), ((-176),6), ((5),7), ((107),8), ((22),9), ((155),10), ((5),11), ((69),12), ((113),13), ((11),14), ((5),15), ((82),16), ((171),17), ((-24),18), ((119),19), ((-136),20), ((-1),21), ((11),22), ((-19),23), ((32),24), ((-52),25), ((80),26), ((-126),27), ((21),28), ((3),29), ((-104),30), ((46),31), ((-208),32), ((-165),33), ((-45),34), ((118),35), ((68),36), ((-10),37), ((-213),38), ((-49),39), ((32),40), ((150),41), ((-88),42), ((-136),43), ((162),44), ((-213),45), ((-79),46), ((-26),47), ((55),48), ((-146),49), ((-60),50), ((-67),51), ((34),52), ((-76),53), ((-114),54), ((-130),55), ((49),56), ((-104),57), ((73),58), ((42),59), ((-19),60), ((-69),61), ((6),62), ((-95),63), ((38),64), ((-38),65), ((-186),66), ((-110),67), ((145),68), ((-40),69), ((49),70), ((65),71), ((-23),72), ((-35),73), ((123),74)], (2127)), ("GEQ", [((-35),0), ((13),2), ((-133),3), ((-69),4), ((95),5), ((-168),6), ((-5),7), ((59),8), ((36),9), ((226),10), ((61),11), ((60),12), ((165),13), ((-12),14), ((-28),15), ((47),16), ((266),17), ((-25),18), ((127),19), ((-177),20), ((46),21), ((4),22), ((-51),23), ((91),24), ((-5),25), ((41),26), ((-159),27), ((-42),28), ((35),29), ((-18),30), ((66),31), ((-188),32), ((-226),33), ((-65),34), ((100),35), ((37),36), ((-18),37), ((-188),38), ((-71),39), ((77),40), ((159),41), ((-129),42), ((-216),43), ((115),44), ((-219),45), ((-18),46), ((-38),47), ((56),48), ((-238),49), ((-134),50), ((-50),51), ((12),52), ((-15),53), ((-111),54), ((-122),55), ((6),56), ((-115),57), ((73),58), ((39),59), ((91),60), ((-58),61), ((3),62), ((-181),63), ((41),64), ((-44),65), ((-156),66), ((-107),67), ((251),68), ((-14),69), ((27),70), ((59),71), ((-34),72), ((-52),73), ((112),74)], (3925))]
[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]