[("GEQ", [((-2),0), ((2),5), ((2),6), ((-2),7), ((-2),12), ((-1),15), ((2),16), ((-1),18), ((-1),20), ((-2),21), ((-2),22), ((-2),23), ((2),25), ((2),26), ((2),30), ((-2),32), ((1),34), ((-2),37), ((1),38), ((-1),39), ((-1),40), ((1),42), ((-1),43), ((-2),44), ((-2),45), ((2),47), ((2),48), ((-1),50), ((-1),51), ((2),52), ((-1),54), ((2),56), ((-2),57), ((-1),58), ((2),59), ((2),60), ((-2),62), ((1),66), ((-2),74)], (-36)), ("GEQ", [((-1),0), ((-2),1), ((2),3), ((-1),4), ((-1),6), ((-1),7), ((1),8), ((-1),9), ((-1),11), ((2),14), ((-1),15), ((2),18), ((2),20), ((1),21), ((-2),23), ((2),24), ((2),25), ((-2),26), ((2),27), ((2),28), ((-1),30), ((-2),31), ((1),32), ((2),33), ((-1),34), ((-1),35), ((-2),36), ((-1),37), ((1),38), ((-1),41), ((1),44), ((-1),46), ((-2),47), ((2),48), ((-1),50), ((1),51), ((-2),54), ((1),55), ((1),57), ((-1),58), ((-1),59), ((-2),61), ((2),62), ((-1),64), ((2),66), ((-2),67), ((-2),68), ((1),70), ((-1),71), ((2),72), ((1),73)], (10)), ("GEQ", [((2),2), ((-2),6), ((-1),7), ((2),8), ((2),9), ((2),11), ((-1),12), ((-2),15), ((-2),17), ((1),18), ((2),22), ((-1),24), ((-2),25), ((1),28), ((1),29), ((-1),30), ((-1),34), ((2),36), ((1),37), ((-1),38), ((-2),40), ((1),42), ((-1),43), ((-1),46), ((-1),48), ((2),49), ((-1),51), ((2),52), ((1),53), ((-2),55), ((1),56), ((-2),57), ((2),58), ((-1),60), ((-1),61), ((1),62), ((2),64), ((-1),65), ((1),66), ((-2),68), ((-2),69), ((1),71), ((-1),73), ((-1),74)], (23)), ("GEQ", [((-1),0), ((-2),1), ((-1),3), ((-2),5), ((-2),6), ((1),8), ((-2),10), ((-1),11), ((2),13), ((1),15), ((-2),17), ((1),18), ((-2),19), ((-1),20), ((2),22), ((2),24), ((1),25), ((1),26), ((2),27), ((1),28), ((2),29), ((-1),31), ((-1),32), ((-1),36), ((-2),38), ((2),40), ((-1),42), ((-2),45), ((2),46), ((-1),47), ((2),51), ((2),52), ((1),54), ((-2),55), ((2),56), ((-1),58), ((1),60), ((-1),61), ((1),64), ((-2),65), ((-1),67), ((2),68), ((1),69), ((-1),71), ((-1),74)], (4)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((2),4), ((2),6), ((-1),10), ((-1),11), ((1),12), ((2),13), ((2),15), ((-2),16), ((2),17), ((-1),18), ((2),19), ((2),20), ((1),23), ((-2),27), ((2),29), ((1),30), ((1),33), ((-2),34), ((2),35), ((-2),38), ((-1),39), ((-1),40), ((1),42), ((-1),43), ((2),45), ((-1),46), ((-2),49), ((1),52), ((-1),53), ((1),55), ((-1),57), ((2),60), ((2),61), ((-1),62), ((-2),64), ((-2),69), ((1),70), ((-1),74)], (-9)), ("GEQ", [((-2),0), ((-2),1), ((1),4), ((1),7), ((2),8), ((1),9), ((1),10), ((-2),16), ((-2),17), ((-1),18), ((-2),19), ((-1),21), ((2),23), ((-1),24), ((2),28), ((-1),30), ((-2),31), ((-1),32), ((1),39), ((1),41), ((1),42), ((-1),43), ((1),44), ((-1),45), ((1),46), ((1),47), ((-2),51), ((1),52), ((-2),53), ((1),54), ((-1),56), ((-2),57), ((-1),58), ((-1),59), ((2),60), ((-2),62), ((-1),64), ((-2),67), ((-1),69), ((1),73), ((2),74)], (28)), ("GEQ", [((-1),3), ((1),5), ((2),6), ((-2),7), ((2),8), ((-2),11), ((-1),12), ((-1),13), ((2),14), ((-2),17), ((-2),19), ((1),20), ((-1),22), ((1),23), ((2),24), ((-1),26), ((2),29), ((2),31), ((1),32), ((-2),34), ((2),35), ((-2),36), ((2),37), ((-2),38), ((-1),39), ((1),43), ((-1),46), ((-1),47), ((-2),48), ((-2),49), ((-2),50), ((2),51), ((2),53), ((2),56), ((-1),57), ((-2),58), ((-1),59), ((-2),61), ((-1),62), ((-2),63), ((2),65), ((2),67), ((-1),69), ((-2),71), ((1),74)], (-32)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-1),3), ((1),4), ((-1),5), ((-1),6), ((2),7), ((2),8), ((-1),10), ((-2),11), ((-2),15), ((1),16), ((2),17), ((-1),20), ((1),21), ((-1),22), ((-2),25), ((-2),26), ((1),27), ((1),28), ((1),29), ((-1),30), ((2),31), ((1),33), ((-2),35), ((2),37), ((1),40), ((-1),41), ((-2),43), ((2),45), ((-2),46), ((1),47), ((1),49), ((2),51), ((-2),52), ((-1),55), ((-2),56), ((1),57), ((2),59), ((1),60), ((-2),63), ((1),64), ((-1),65), ((1),66), ((1),67), ((2),68), ((-1),71), ((-2),72), ((2),73), ((-1),74)], (2)), ("GEQ", [((-1),0), ((-2),1), ((2),4), ((-2),5), ((-2),6), ((1),7), ((2),9), ((1),10), ((-2),13), ((-2),14), ((1),15), ((-2),18), ((1),19), ((-2),21), ((2),24), ((-1),25), ((-2),27), ((-1),30), ((-2),31), ((1),32), ((-1),33), ((-1),35), ((-2),36), ((-2),37), ((1),38), ((-1),39), ((1),40), ((-2),41), ((-1),43), ((-2),44), ((-2),45), ((-2),47), ((1),48), ((-1),49), ((2),50), ((2),51), ((1),56), ((-2),57), ((2),58), ((-2),59), ((2),62), ((-2),63), ((-1),65), ((-2),66), ((-2),67), ((-2),72), ((-2),74)], (75)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((1),3), ((1),4), ((-1),5), ((-2),6), ((2),7), ((1),10), ((2),11), ((-2),13), ((-1),14), ((-1),16), ((-1),17), ((1),20), ((2),24), ((2),27), ((1),29), ((-2),30), ((-2),32), ((-2),33), ((-1),35), ((2),36), ((2),37), ((1),39), ((1),42), ((-1),45), ((-2),47), ((1),48), ((2),49), ((-1),51), ((2),52), ((2),53), ((1),55), ((1),57), ((-2),59), ((-1),61), ((1),63), ((-1),64), ((1),66), ((-1),67), ((2),69), ((2),70), ((1),71), ((-1),72), ((2),74)], (17)), ("GEQ", [((-2),1), ((-2),2), ((-1),3), ((-1),4), ((2),5), ((2),8), ((2),9), ((-2),12), ((2),13), ((2),14), ((-1),15), ((1),20), ((2),26), ((-1),27), ((-1),28), ((2),30), ((2),31), ((2),32), ((-2),34), ((1),35), ((-2),38), ((-1),40), ((-1),41), ((2),43), ((1),44), ((2),49), ((2),50), ((2),52), ((-2),57), ((1),58), ((2),59), ((2),60), ((-1),61), ((2),62), ((-2),63), ((-1),67), ((1),69), ((2),71), ((-2),74)], (-12)), ("GEQ", [((-1),1), ((1),2), ((1),3), ((1),5), ((1),6), ((1),7), ((1),8), ((2),9), ((1),11), ((-1),12), ((2),13), ((-1),19), ((-2),20), ((-2),22), ((1),23), ((1),25), ((-1),26), ((-1),27), ((2),28), ((-2),29), ((1),31), ((2),38), ((-2),42), ((1),43), ((2),44), ((1),45), ((1),46), ((-1),48), ((1),50), ((1),51), ((-1),54), ((1),55), ((2),57), ((-1),59), ((2),61), ((-2),63), ((1),64), ((-1),66), ((2),67), ((2),68), ((1),69), ((2),72), ((1),73)], (-5)), ("GEQ", [((2),2), ((1),3), ((2),4), ((1),8), ((2),9), ((1),11), ((2),14), ((-2),15), ((-2),16), ((-2),17), ((-1),20), ((-2),22), ((2),23), ((1),27), ((-1),29), ((-2),30), ((-2),31), ((1),32), ((-2),33), ((-1),34), ((-2),35), ((1),37), ((-1),38), ((-1),41), ((-1),42), ((-1),43), ((2),45), ((1),47), ((-2),48), ((-2),50), ((1),51), ((-1),52), ((1),54), ((2),57), ((-1),61), ((1),63), ((-2),64), ((1),66), ((2),68), ((-2),69), ((2),73), ((-1),74)], (44)), ("GEQ", [((-1),0), ((-1),4), ((2),5), ((-1),7), ((2),9), ((-2),10), ((1),11), ((2),13), ((-2),16), ((2),18), ((2),20), ((-1),21), ((1),25), ((1),26), ((1),30), ((-1),34), ((2),35), ((-2),36), ((1),41), ((-2),43), ((2),44), ((1),45), ((-1),46), ((-1),50), ((-1),51), ((-1),53), ((-1),54), ((1),57), ((1),58), ((-1),60), ((-1),62), ((1),63), ((-1),68), ((1),69), ((2),70), ((1),71), ((-2),72), ((2),74)], (-22)), ("GEQ", [((-2),3), ((-1),4), ((-1),5), ((-1),7), ((-1),11), ((-2),12), ((-2),15), ((-1),16), ((1),17), ((2),18), ((-2),19), ((1),20), ((2),21), ((2),22), ((2),23), ((-1),24), ((-1),25), ((-1),26), ((-1),27), ((1),28), ((-1),31), ((1),32), ((-2),33), ((-2),34), ((-2),35), ((-2),36), ((-1),37), ((-1),39), ((1),40), ((-2),41), ((-2),44), ((-2),45), ((2),46), ((-2),49), ((2),50), ((-2),53), ((-2),57), ((-2),59), ((2),60), ((-1),62), ((1),63), ((2),64), ((-1),67), ((-1),69), ((-2),70), ((1),71), ((-2),72), ((-1),73), ((-1),74)], (25)), ("GEQ", [((-2),0), ((2),2), ((1),6), ((-1),7), ((-2),8), ((-1),9), ((-1),10), ((1),12), ((1),13), ((1),15), ((-2),18), ((1),19), ((-1),22), ((2),23), ((-2),30), ((-2),32), ((-1),33), ((1),34), ((-2),42), ((-1),44), ((-2),45), ((-1),46), ((-2),47), ((-2),49), ((-2),50), ((-1),51), ((-2),52), ((-1),54), ((-2),55), ((1),58), ((-2),64), ((1),65), ((-1),69), ((-1),71), ((2),73)], (46)), ("GEQ", [((1),0), ((-1),1), ((2),3), ((1),4), ((-2),5), ((1),7), ((1),9), ((-1),11), ((1),13), ((1),14), ((-1),15), ((2),16), ((-1),17), ((-2),18), ((1),19), ((2),20), ((-2),21), ((-1),22), ((2),24), ((-1),26), ((1),27), ((-2),28), ((-2),29), ((-2),32), ((1),33), ((-2),35), ((2),36), ((1),39), ((-2),42), ((2),44), ((1),46), ((-1),48), ((-1),50), ((-2),51), ((1),52), ((1),54), ((1),56), ((2),57), ((1),61), ((1),65), ((1),66), ((2),68), ((-1),71), ((-1),72), ((-2),73), ((1),74)], (17)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((2),3), ((2),4), ((1),6), ((-1),7), ((1),8), ((-2),10), ((-2),13), ((2),14), ((-1),16), ((-1),17), ((2),19), ((2),20), ((-2),22), ((-2),23), ((1),25), ((-1),27), ((-1),28), ((-1),31), ((2),33), ((-1),38), ((-2),39), ((1),42), ((2),44), ((-2),45), ((-2),46), ((2),47), ((1),49), ((2),50), ((1),52), ((-1),54), ((2),55), ((1),56), ((1),57), ((2),59), ((-2),60), ((2),61), ((1),62), ((1),64), ((2),65), ((-1),69), ((-2),70), ((-2),71), ((2),72), ((-2),73), ((2),74)], (-34)), ("GEQ", [((-1),0), ((1),1), ((-2),4), ((-2),5), ((-1),6), ((2),7), ((-2),8), ((2),9), ((1),10), ((2),11), ((-1),12), ((-2),14), ((2),15), ((-2),16), ((-1),17), ((-2),18), ((-2),22), ((-1),25), ((1),27), ((-2),28), ((2),32), ((1),35), ((1),38), ((-1),40), ((2),44), ((-2),46), ((-1),49), ((2),52), ((1),53), ((2),55), ((-2),56), ((-2),58), ((-2),59), ((-2),60), ((1),61), ((-1),63), ((1),66), ((-2),67), ((2),68), ((-2),70), ((-1),71), ((-2),72), ((1),73), ((-1),74)], (21)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((-1),5), ((2),6), ((-2),7), ((-1),10), ((1),11), ((-2),16), ((-2),17), ((-1),18), ((2),19), ((1),20), ((2),22), ((1),23), ((-1),24), ((1),25), ((2),27), ((1),28), ((2),31), ((2),32), ((-1),33), ((2),37), ((1),39), ((-1),40), ((2),42), ((1),43), ((1),44), ((-2),45), ((2),49), ((-1),50), ((-1),51), ((-1),52), ((-1),53), ((1),57), ((-2),58), ((2),63), ((-2),64), ((2),65), ((1),66), ((-1),67), ((-1),68), ((-1),69), ((1),72), ((-1),73)], (-22)), ("GEQ", [((-1),2), ((2),3), ((-2),4), ((1),5), ((-2),8), ((2),10), ((-1),11), ((-2),13), ((-1),14), ((-1),19), ((-2),20), ((1),21), ((1),22), ((-2),23), ((2),24), ((1),25), ((-2),26), ((2),28), ((1),29), ((-2),30), ((-2),31), ((-2),32), ((2),34), ((-2),37), ((-2),38), ((-2),39), ((2),40), ((-1),41), ((2),42), ((-1),45), ((1),46), ((2),47), ((1),48), ((1),51), ((-1),53), ((2),54), ((-1),55), ((2),56), ((1),58), ((-2),60), ((-1),61), ((-1),62), ((-2),65), ((-1),66), ((-2),69), ((-2),70), ((-1),72)], (34)), ("GEQ", [((-2),0), ((-1),1), ((2),3), ((-2),4), ((2),8), ((2),10), ((1),12), ((2),14), ((2),16), ((2),17), ((-2),18), ((-1),19), ((1),23), ((-2),32), ((1),33), ((1),34), ((-2),35), ((-1),38), ((2),39), ((2),40), ((-1),41), ((-1),46), ((2),49), ((1),51), ((2),52), ((-2),54), ((1),55), ((-2),57), ((-1),58), ((2),59), ((2),60), ((-1),62), ((-2),63), ((1),64), ((1),65), ((-2),67), ((2),68), ((-1),69), ((2),70), ((1),71), ((1),74)], (-33)), ("GEQ", [((1),2), ((2),4), ((-2),5), ((-1),8), ((-1),9), ((2),12), ((-2),16), ((1),18), ((-1),21), ((-2),22), ((2),23), ((-1),25), ((-1),29), ((2),31), ((1),33), ((-2),36), ((-1),41), ((-1),42), ((-2),44), ((1),46), ((2),50), ((1),53), ((-1),55), ((1),56), ((2),57), ((-1),60), ((2),62), ((-1),63), ((-1),64), ((1),65), ((-2),67), ((1),69), ((2),70), ((-2),71), ((2),72), ((-2),73), ((-1),74)], (3)), ("GEQ", [((-2),0), ((-2),1), ((-2),2), ((-1),3), ((1),4), ((1),5), ((1),11), ((-1),14), ((1),16), ((1),19), ((-2),20), ((-1),21), ((1),23), ((-2),24), ((-1),25), ((1),27), ((-1),28), ((-2),29), ((1),34), ((-1),35), ((-2),37), ((-1),40), ((-2),41), ((-2),42), ((-2),47), ((2),49), ((2),50), ((-2),52), ((1),55), ((1),56), ((2),60), ((2),61), ((-2),62), ((1),63), ((1),64), ((-2),65), ((1),66), ((-1),67), ((-1),68), ((2),71), ((1),72)], (13)), ("GEQ", [((1),2), ((-1),3), ((1),4), ((2),6), ((1),7), ((2),8), ((2),11), ((1),12), ((1),13), ((1),14), ((1),17), ((2),20), ((1),21), ((1),23), ((2),24), ((-2),27), ((-1),29), ((2),30), ((-2),31), ((-1),33), ((-2),34), ((-2),36), ((1),37), ((1),38), ((-1),42), ((-2),48), ((-1),49), ((2),50), ((-1),51), ((-2),52), ((-2),55), ((1),58), ((1),60), ((1),62), ((2),64), ((2),65), ((1),66), ((1),67), ((-2),68), ((1),69), ((1),70), ((2),71), ((-1),72), ((-2),73)], (19)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-2),4), ((-1),5), ((2),6), ((-1),8), ((2),11), ((2),14), ((1),15), ((-2),16), ((-1),19), ((2),24), ((-2),25), ((-1),26), ((1),28), ((1),29), ((1),30), ((-1),31), ((-1),32), ((1),34), ((1),35), ((2),39), ((1),41), ((-1),45), ((1),47), ((-1),48), ((-1),49), ((1),50), ((-1),51), ((1),52), ((-1),53), ((-2),54), ((2),55), ((2),57), ((-1),58), ((1),60), ((-1),62), ((1),63), ((-2),67), ((-2),70), ((-1),71), ((2),72), ((-1),73), ((-2),74)], (2)), ("GEQ", [((2),0), ((1),1), ((2),3), ((-2),4), ((-1),5), ((2),7), ((1),8), ((1),13), ((-2),17), ((-1),18), ((-2),20), ((2),21), ((-1),22), ((-2),23), ((-2),26), ((-2),27), ((-2),28), ((1),29), ((1),35), ((1),36), ((1),37), ((1),38), ((-2),41), ((-1),47), ((1),48), ((-2),49), ((2),51), ((2),55), ((-1),56), ((2),57), ((1),58), ((2),59), ((2),61), ((-1),62), ((2),63), ((2),65), ((2),67), ((-2),69), ((-2),70), ((-2),74)], (-34)), ("GEQ", [((-2),0), ((2),2), ((-2),5), ((1),6), ((-1),9), ((-1),10), ((-2),11), ((-1),12), ((-2),13), ((-2),14), ((1),16), ((-1),18), ((-2),19), ((2),20), ((-2),21), ((-2),22), ((1),25), ((1),26), ((2),31), ((-2),32), ((-2),34), ((-2),35), ((-2),36), ((-1),37), ((-1),38), ((-1),39), ((-1),43), ((1),44), ((-1),47), ((2),48), ((1),49), ((1),50), ((1),51), ((2),52), ((1),56), ((-2),57), ((1),58), ((-2),60), ((-1),61), ((2),62), ((-2),64), ((2),66), ((-2),67), ((-1),69), ((-1),73), ((-1),74)], (-4)), ("GEQ", [((1),0), ((2),1), ((1),3), ((-1),6), ((-2),7), ((-2),8), ((-1),9), ((1),12), ((-2),13), ((-1),14), ((-2),15), ((1),16), ((-1),17), ((-1),20), ((2),21), ((1),23), ((2),24), ((1),25), ((1),26), ((2),27), ((2),28), ((1),29), ((-2),30), ((-2),33), ((-2),35), ((-1),36), ((-2),37), ((-1),38), ((2),39), ((-1),40), ((2),41), ((1),45), ((2),47), ((1),49), ((1),50), ((2),51), ((-2),54), ((1),58), ((-2),59), ((-1),61), ((-1),65), ((1),66), ((1),67), ((-2),68), ((-1),69), ((1),73)], (4)), ("GEQ", [((-1),1), ((-2),2), ((-2),3), ((-1),4), ((-2),7), ((2),10), ((-1),12), ((-2),16), ((2),20), ((1),21), ((-1),23), ((-2),24), ((2),25), ((1),27), ((2),28), ((-1),29), ((-1),30), ((2),31), ((2),32), ((1),38), ((1),39), ((2),42), ((2),43), ((2),44), ((-1),47), ((2),48), ((-2),51), ((-2),57), ((2),59), ((2),60), ((1),62), ((-1),63), ((1),66), ((-2),67), ((-1),71), ((-2),72)], (-1)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((1),3), ((-1),4), ((1),6), ((1),7), ((1),9), ((2),10), ((-2),11), ((-2),12), ((2),16), ((-2),17), ((-1),18), ((2),19), ((-2),21), ((1),22), ((-1),26), ((1),27), ((-2),28), ((1),29), ((2),30), ((1),34), ((-2),35), ((1),36), ((-2),37), ((-2),38), ((1),39), ((-2),40), ((2),41), ((-1),46), ((1),47), ((1),48), ((-1),49), ((-1),52), ((-2),55), ((-1),57), ((-1),58), ((1),59), ((2),61), ((1),63), ((-1),64), ((1),65), ((2),66), ((-2),70), ((-2),71), ((1),73)], (-6)), ("GEQ", [((-2),0), ((-2),4), ((-2),8), ((1),10), ((1),11), ((-1),12), ((-1),13), ((2),14), ((-2),16), ((-1),17), ((1),18), ((1),19), ((1),21), ((2),22), ((1),23), ((-1),31), ((-2),32), ((-2),33), ((-1),34), ((1),35), ((-1),38), ((-2),40), ((-2),41), ((-1),43), ((-1),45), ((2),47), ((-2),49), ((-2),50), ((-1),52), ((1),53), ((-1),54), ((-1),58), ((1),60), ((2),61), ((-1),62), ((-1),63), ((1),65), ((-1),68), ((-1),70), ((-2),71), ((-1),72), ((2),74)], (26)), ("GEQ", [((-2),0), ((-2),1), ((1),3), ((2),4), ((-1),7), ((-2),8), ((-1),9), ((2),12), ((2),13), ((-1),17), ((-1),18), ((1),19), ((-2),20), ((1),21), ((2),22), ((-1),24), ((2),26), ((1),27), ((1),28), ((-2),29), ((1),31), ((-1),32), ((-1),33), ((2),34), ((2),35), ((1),36), ((-2),39), ((-1),43), ((2),44), ((-2),46), ((-1),47), ((2),48), ((2),50), ((-2),51), ((-2),52), ((-2),53), ((-2),60), ((2),61), ((-2),63), ((1),65), ((2),66), ((-2),68), ((-1),69), ((1),70), ((1),71), ((2),73)], (9)), ("GEQ", [((-2),2), ((2),5), ((1),6), ((1),7), ((2),10), ((1),11), ((1),12), ((-2),13), ((-1),14), ((1),15), ((-2),19), ((1),20), ((-2),21), ((2),23), ((2),24), ((1),26), ((2),28), ((2),29), ((-1),30), ((-2),31), ((2),32), ((2),33), ((-2),34), ((-1),35), ((1),36), ((2),37), ((-1),38), ((-1),39), ((-2),42), ((-2),43), ((1),44), ((-2),45), ((-2),47), ((1),48), ((-2),50), ((2),51), ((-2),53), ((1),54), ((2),56), ((1),58), ((1),59), ((1),60), ((-2),61), ((1),62), ((-1),64), ((-1),66), ((2),70), ((2),71), ((-1),72)], (48)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((2),3), ((-1),4), ((-1),5), ((1),6), ((1),7), ((-1),8), ((2),9), ((-2),10), ((-2),11), ((2),13), ((-1),14), ((2),15), ((2),16), ((-2),17), ((-2),19), ((2),21), ((1),24), ((2),25), ((-1),27), ((-2),28), ((1),30), ((1),32), ((-2),34), ((2),37), ((-2),38), ((1),39), ((2),42), ((-2),43), ((1),44), ((-1),46), ((2),47), ((2),50), ((-2),51), ((-2),53), ((2),56), ((-2),57), ((-1),58), ((-2),60), ((1),62), ((1),63), ((-1),65), ((-1),67), ((1),68)], (-51)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-2),3), ((2),5), ((2),8), ((-1),9), ((1),10), ((2),11), ((2),14), ((-2),15), ((-1),16), ((-2),17), ((1),18), ((-2),20), ((-2),22), ((2),23), ((1),24), ((-1),25), ((-2),26), ((-1),28), ((2),29), ((2),32), ((2),37), ((2),38), ((-2),39), ((1),40), ((2),42), ((-1),43), ((2),44), ((2),45), ((-1),46), ((2),48), ((-2),49), ((1),51), ((2),53), ((-1),54), ((-1),55), ((-2),56), ((-2),57), ((2),59), ((-1),61), ((-1),62), ((2),65), ((-1),66), ((1),69), ((-1),71), ((2),73), ((-2),74)], (-19)), ("GEQ", [((-1),0), ((-1),2), ((2),3), ((1),5), ((-1),6), ((2),7), ((-1),11), ((2),12), ((2),13), ((-2),14), ((-1),15), ((-2),16), ((1),18), ((1),19), ((-1),23), ((2),25), ((-1),26), ((2),27), ((2),28), ((1),29), ((-1),30), ((-1),32), ((-2),33), ((-2),35), ((-2),36), ((1),37), ((1),38), ((-2),43), ((2),47), ((1),49), ((-1),50), ((2),52), ((-1),53), ((-1),55), ((2),57), ((-2),58), ((-1),60), ((-1),62), ((-2),65), ((2),67), ((-2),69), ((2),73)], (23)), ("GEQ", [((2),0), ((-1),3), ((2),4), ((-2),5), ((-2),6), ((-1),8), ((-2),9), ((-2),10), ((1),12), ((2),15), ((1),16), ((2),17), ((-1),20), ((2),22), ((-2),25), ((1),26), ((2),28), ((-1),29), ((-1),30), ((2),33), ((-1),34), ((1),35), ((-2),37), ((-1),39), ((2),40), ((-1),41), ((-2),42), ((2),43), ((2),44), ((-1),45), ((1),46), ((2),47), ((2),49), ((-2),50), ((-1),51), ((1),53), ((1),55), ((-2),56), ((-2),58), ((-1),59), ((-2),61), ((-1),64), ((-2),65), ((2),68), ((-1),70), ((-1),72), ((2),73), ((-1),74)], (34)), ("GEQ", [((-1),1), ((-1),2), ((1),4), ((-1),6), ((1),8), ((-1),9), ((-1),10), ((-2),12), ((2),13), ((-2),14), ((2),15), ((2),16), ((2),19), ((-2),20), ((1),21), ((-2),22), ((-2),24), ((2),25), ((-2),27), ((-1),28), ((-1),30), ((-1),38), ((-2),39), ((-2),41), ((-1),42), ((-2),45), ((-2),47), ((1),50), ((1),51), ((1),52), ((2),55), ((-1),56), ((2),57), ((-2),59), ((-1),60), ((-2),61), ((-1),64), ((2),66), ((1),67), ((1),68), ((1),70), ((-2),71), ((-2),74)], (30)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((2),3), ((1),4), ((-2),7), ((2),8), ((-2),9), ((2),10), ((-1),11), ((-1),12), ((-1),13), ((-1),16), ((-2),17), ((2),18), ((2),19), ((1),20), ((-1),21), ((-1),22), ((2),23), ((-2),24), ((2),25), ((1),26), ((2),27), ((-1),30), ((-1),31), ((2),33), ((-1),34), ((2),35), ((-1),36), ((-2),39), ((-1),40), ((1),42), ((1),44), ((2),46), ((-2),47), ((-1),48), ((-1),49), ((-2),55), ((-2),56), ((-2),58), ((2),59), ((-1),60), ((-2),61), ((2),62), ((-1),63), ((-2),66), ((-1),67), ((-1),68), ((-2),69), ((-2),70), ((-1),72), ((-2),74)], (35)), ("GEQ", [((-2),2), ((-1),5), ((-2),6), ((-1),7), ((2),8), ((-2),9), ((1),10), ((-1),11), ((-1),12), ((-2),15), ((2),16), ((1),17), ((1),18), ((1),20), ((-1),21), ((2),22), ((2),23), ((1),27), ((1),28), ((2),29), ((1),31), ((-1),35), ((-2),36), ((2),37), ((-2),38), ((-2),41), ((-2),42), ((-1),43), ((2),45), ((2),47), ((2),48), ((-2),49), ((1),51), ((1),53), ((-1),54), ((-2),59), ((1),61), ((-2),68), ((-1),69), ((2),70), ((1),71), ((-2),72), ((-1),73), ((-1),74)], (27)), ("GEQ", [((-1),1), ((1),2), ((1),4), ((-2),6), ((2),11), ((-2),12), ((-2),15), ((2),16), ((1),17), ((-1),19), ((1),23), ((-2),25), ((-2),26), ((1),28), ((1),29), ((-1),31), ((2),33), ((1),34), ((1),36), ((-1),38), ((2),39), ((2),41), ((-2),43), ((-2),47), ((-2),48), ((2),49), ((2),51), ((2),53), ((1),54), ((2),56), ((-2),57), ((-2),58), ((-1),60), ((1),61), ((-1),62), ((2),64), ((1),65), ((-1),67), ((-1),69), ((-2),70), ((1),72), ((1),73), ((-2),74)], (10)), ("GEQ", [((1),0), ((-2),1), ((-1),4), ((-1),5), ((-1),6), ((-2),7), ((-1),8), ((-1),9), ((-2),10), ((1),12), ((-2),13), ((2),14), ((1),15), ((-2),17), ((-2),20), ((-2),21), ((-1),23), ((-2),25), ((-1),26), ((2),27), ((-2),28), ((-2),29), ((-1),31), ((1),32), ((1),34), ((-2),36), ((2),39), ((2),40), ((-1),41), ((-1),42), ((1),43), ((2),44), ((2),45), ((2),46), ((-2),49), ((1),51), ((-1),56), ((2),58), ((1),59), ((2),60), ((1),61), ((1),63), ((1),64), ((-1),65), ((-2),66), ((2),68), ((-2),70), ((-2),71), ((2),72), ((2),73), ((1),74)], (4)), ("GEQ", [((-1),2), ((2),5), ((1),6), ((-2),7), ((2),8), ((1),9), ((2),10), ((-1),11), ((1),12), ((-2),13), ((-2),14), ((2),19), ((-2),20), ((1),22), ((1),24), ((1),25), ((-1),26), ((2),30), ((-2),31), ((1),32), ((2),33), ((-1),36), ((2),37), ((-2),38), ((2),42), ((2),43), ((-1),44), ((1),45), ((-2),48), ((-2),49), ((1),50), ((1),52), ((1),53), ((2),54), ((-1),55), ((1),56), ((2),57), ((1),58), ((2),59), ((1),60), ((1),63), ((-1),64), ((2),65), ((2),66), ((2),69), ((-1),70), ((1),71), ((-2),73), ((2),74)], (0)), ("GEQ", [((2),2), ((2),3), ((-2),5), ((-1),7), ((-1),10), ((-2),11), ((1),12), ((1),13), ((-1),14), ((2),15), ((-1),18), ((1),21), ((1),24), ((-1),25), ((1),28), ((2),30), ((-1),31), ((2),33), ((-1),36), ((-1),37), ((2),38), ((1),41), ((1),42), ((2),43), ((-2),45), ((1),46), ((1),47), ((1),49), ((-1),50), ((2),52), ((2),53), ((-1),54), ((-2),55), ((2),60), ((1),61), ((-2),62), ((-2),63), ((1),64), ((-1),65), ((1),66), ((1),67), ((-2),68), ((1),70), ((-2),72), ((-1),74)], (-25)), ("GEQ", [((2),1), ((-1),2), ((-2),3), ((2),5), ((1),6), ((2),10), ((-2),11), ((-1),13), ((-2),14), ((-1),16), ((1),17), ((-2),18), ((-1),20), ((1),21), ((-2),23), ((-2),25), ((-1),26), ((-2),27), ((-1),29), ((2),31), ((2),32), ((-1),33), ((-2),35), ((-2),36), ((-1),39), ((-1),40), ((2),41), ((-1),42), ((-1),43), ((-1),44), ((-1),45), ((2),46), ((-2),48), ((-1),51), ((2),52), ((-1),53), ((1),54), ((1),55), ((-1),58), ((-1),59), ((-2),62), ((-1),63), ((2),64), ((2),66), ((-2),67), ((1),68), ((2),69), ((1),70), ((2),71), ((1),72), ((-1),74)], (18)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((2),5), ((2),8), ((-2),11), ((2),12), ((-1),13), ((-1),15), ((-1),17), ((1),19), ((-2),20), ((1),21), ((-1),24), ((-2),28), ((2),29), ((1),31), ((-2),34), ((1),36), ((2),38), ((2),39), ((-1),40), ((1),42), ((-1),44), ((1),45), ((-1),46), ((2),48), ((-1),49), ((-2),51), ((-1),52), ((1),54), ((1),55), ((-1),56), ((2),57), ((1),60), ((2),63), ((1),67), ((1),68), ((-2),69), ((1),71)], (-34)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((2),3), ((-2),4), ((-2),5), ((-1),7), ((-2),9), ((-1),10), ((1),11), ((1),12), ((-1),14), ((-1),15), ((2),18), ((2),24), ((-1),25), ((-1),28), ((-2),29), ((-1),30), ((-2),33), ((1),34), ((-1),35), ((-1),36), ((-1),39), ((-1),40), ((-1),41), ((1),43), ((-2),48), ((2),49), ((-2),53), ((-2),56), ((-2),57), ((2),58), ((-2),59), ((2),60), ((1),61), ((2),62), ((2),63), ((-1),65), ((2),70), ((1),71), ((-2),72), ((1),73), ((1),74)], (2)), ("GEQ", [((-1),1), ((-1),2), ((-2),4), ((2),7), ((2),10), ((2),11), ((2),14), ((2),15), ((2),16), ((-1),19), ((1),20), ((-2),21), ((-1),22), ((1),23), ((-2),25), ((-2),26), ((-2),28), ((-2),29), ((-2),30), ((-2),31), ((1),32), ((-2),33), ((2),36), ((-1),37), ((1),39), ((1),40), ((-1),41), ((-2),42), ((2),43), ((1),46), ((-1),47), ((-1),49), ((-1),52), ((1),54), ((-2),56), ((2),58), ((2),59), ((2),62), ((-2),63), ((-2),65), ((-1),66), ((1),67), ((2),68), ((2),69), ((-1),70), ((-1),71), ((-2),72), ((2),73)], (72)), ("GEQ", [((2),1), ((-2),3), ((1),5), ((1),6), ((-2),7), ((-1),9), ((-1),14), ((2),15), ((-2),17), ((1),19), ((-1),20), ((2),23), ((1),24), ((1),27), ((-1),29), ((2),30), ((-2),31), ((-2),33), ((-2),34), ((-1),35), ((1),36), ((1),37), ((-2),39), ((-1),40), ((2),42), ((-1),43), ((-2),44), ((-1),48), ((-1),50), ((2),52), ((1),53), ((2),54), ((2),55), ((-2),60), ((-1),61), ((-2),62), ((1),63), ((2),65), ((-2),66), ((2),67), ((2),68), ((2),69), ((1),71), ((-1),73), ((1),74)], (-6)), ("GEQ", [((-2),2), ((2),4), ((1),5), ((-2),6), ((2),7), ((2),8), ((2),9), ((2),10), ((2),12), ((2),13), ((1),16), ((1),17), ((-1),19), ((-2),22), ((-2),23), ((1),24), ((1),25), ((2),26), ((1),27), ((-1),28), ((2),29), ((-1),30), ((1),31), ((-1),32), ((1),33), ((1),35), ((2),36), ((-2),39), ((-1),40), ((2),41), ((1),45), ((-1),46), ((1),47), ((-2),49), ((1),50), ((2),53), ((2),55), ((2),56), ((-2),57), ((-1),60), ((2),62), ((-1),65), ((1),66), ((1),67), ((2),70), ((-1),71), ((-2),72)], (-31)), ("GEQ", [((1),1), ((-2),3), ((2),5), ((-2),7), ((-2),8), ((2),9), ((1),15), ((-1),17), ((-1),18), ((-2),19), ((2),23), ((1),24), ((-2),25), ((1),28), ((-2),29), ((1),30), ((-1),31), ((2),32), ((2),33), ((2),35), ((-2),39), ((2),41), ((-1),42), ((2),45), ((1),48), ((1),49), ((1),54), ((1),56), ((-1),60), ((-2),61), ((1),62), ((1),63), ((1),65), ((-1),67), ((1),68), ((-1),69), ((-2),70), ((-1),72), ((1),74)], (-20)), ("GEQ", [((-1),0), ((1),1), ((-1),3), ((-2),5), ((-2),6), ((2),7), ((1),8), ((1),9), ((1),10), ((2),12), ((2),14), ((1),19), ((2),20), ((1),23), ((1),25), ((-2),26), ((-2),27), ((-2),29), ((1),30), ((-2),31), ((-1),34), ((1),35), ((-2),36), ((2),37), ((-2),40), ((1),42), ((2),44), ((-2),46), ((2),47), ((1),48), ((2),50), ((-2),51), ((1),53), ((1),54), ((1),56), ((1),59), ((1),61), ((-1),62), ((-2),63), ((1),64), ((2),66), ((-1),68), ((-1),69), ((-1),70), ((2),71), ((-1),72), ((2),74)], (-2)), ("GEQ", [((-2),0), ((2),1), ((1),5), ((2),8), ((-1),9), ((-2),11), ((-1),13), ((2),14), ((-2),16), ((-1),17), ((1),18), ((-2),20), ((-1),21), ((1),23), ((-2),24), ((-1),28), ((-2),31), ((-1),32), ((1),33), ((1),34), ((-2),35), ((1),36), ((1),37), ((2),38), ((-1),39), ((1),40), ((2),44), ((2),45), ((-1),46), ((-1),47), ((2),49), ((-1),50), ((1),51), ((1),53), ((-2),54), ((-2),55), ((2),56), ((-1),57), ((-2),59), ((2),60), ((-1),61), ((1),62), ((1),63), ((-1),66), ((-1),67), ((-1),68), ((2),69), ((-2),72), ((1),73)], (-9)), ("GEQ", [((-1),0), ((-1),3), ((2),5), ((-1),8), ((-2),9), ((-1),11), ((2),12), ((1),13), ((-1),14), ((-1),17), ((2),19), ((-2),20), ((-1),22), ((-1),24), ((1),26), ((1),27), ((2),29), ((-1),30), ((-1),31), ((1),32), ((2),33), ((2),34), ((-1),35), ((-2),36), ((2),37), ((2),38), ((2),39), ((-1),40), ((-1),41), ((-1),42), ((-2),43), ((-2),45), ((1),46), ((1),47), ((-2),48), ((1),51), ((-2),52), ((-1),55), ((1),59), ((2),60), ((2),61), ((-1),62), ((2),65), ((-2),66), ((-1),67), ((1),69), ((-2),70), ((1),73)], (12)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((-1),4), ((2),5), ((2),6), ((1),8), ((1),9), ((2),10), ((-1),11), ((2),14), ((2),17), ((2),18), ((-1),19), ((-1),21), ((1),24), ((-2),25), ((-1),26), ((1),28), ((-2),30), ((2),32), ((1),33), ((-1),35), ((-2),38), ((-1),39), ((2),40), ((2),41), ((1),42), ((-2),45), ((2),46), ((1),47), ((1),51), ((-2),53), ((-2),54), ((-2),57), ((2),61), ((-2),63), ((1),64), ((2),66), ((-1),67), ((-1),68), ((2),70), ((2),71), ((-2),72), ((2),74)], (24)), ("GEQ", [((-1),0), ((2),1), ((-1),4), ((-2),5), ((1),7), ((1),8), ((2),9), ((2),10), ((-1),12), ((2),13), ((-1),15), ((-2),17), ((-2),22), ((-1),23), ((-1),24), ((2),26), ((-1),27), ((1),28), ((1),29), ((1),30), ((1),31), ((-1),32), ((-2),33), ((-2),34), ((-1),36), ((-1),38), ((1),41), ((2),42), ((2),44), ((2),45), ((2),46), ((-2),47), ((2),50), ((1),51), ((-2),52), ((-1),56), ((-2),57), ((-1),60), ((2),64), ((-1),66), ((-2),69), ((-2),70), ((-1),71), ((1),73), ((-1),74)], (-46)), ("GEQ", [((1),1), ((2),2), ((1),4), ((1),5), ((-2),8), ((1),9), ((-2),10), ((-2),11), ((2),13), ((-1),14), ((1),15), ((-1),17), ((2),18), ((1),20), ((-2),21), ((2),22), ((2),23), ((2),24), ((-1),25), ((2),26), ((-1),27), ((-1),30), ((-2),35), ((-1),40), ((-1),42), ((-1),43), ((1),46), ((1),47), ((1),48), ((-1),50), ((2),51), ((1),52), ((1),53), ((-1),59), ((2),60), ((2),62), ((-2),63), ((-1),64), ((-1),65), ((-1),68), ((1),69), ((2),71), ((-2),72), ((1),73), ((1),74)], (21)), ("GEQ", [((1),2), ((2),3), ((-1),4), ((-1),6), ((2),9), ((1),11), ((1),15), ((1),16), ((1),17), ((1),18), ((1),23), ((-2),24), ((-2),26), ((2),27), ((1),28), ((1),30), ((-2),31), ((-1),34), ((2),35), ((-2),36), ((2),37), ((-2),38), ((1),40), ((-1),41), ((1),42), ((-2),43), ((-1),45), ((1),46), ((2),47), ((1),48), ((1),50), ((-2),52), ((2),54), ((-2),55), ((-2),57), ((-1),58), ((2),60), ((2),61), ((-1),62), ((1),63), ((-1),64), ((-2),65), ((2),66), ((-1),68), ((2),70), ((2),74)], (-26)), ("GEQ", [((2),1), ((-1),3), ((-1),6), ((2),8), ((-1),9), ((1),10), ((-1),13), ((-2),14), ((-1),15), ((1),16), ((-1),19), ((-1),20), ((1),22), ((2),25), ((2),30), ((1),31), ((2),32), ((-1),36), ((2),37), ((1),38), ((1),40), ((1),41), ((-2),43), ((-2),44), ((-1),45), ((1),48), ((1),49), ((2),51), ((-1),53), ((2),55), ((-1),57), ((1),58), ((-2),59), ((2),63), ((-1),64), ((2),65), ((1),66), ((1),67), ((-1),69), ((1),70), ((-1),71), ((2),73), ((-2),74)], (-25)), ("GEQ", [((1),1), ((1),2), ((1),4), ((-1),5), ((-1),6), ((1),7), ((1),9), ((-1),12), ((2),13), ((-2),16), ((2),17), ((2),18), ((2),19), ((2),21), ((-1),22), ((-1),23), ((1),24), ((-1),28), ((2),29), ((-1),33), ((2),34), ((2),39), ((2),41), ((-2),42), ((1),44), ((-1),46), ((2),47), ((-1),48), ((-2),50), ((-1),51), ((2),52), ((2),53), ((-1),56), ((-2),58), ((-2),60), ((1),61), ((2),63), ((2),64), ((2),65), ((-2),66), ((1),67), ((1),69), ((-1),70), ((-1),71), ((1),72), ((-1),73), ((-2),74)], (8)), ("GEQ", [((1),0), ((2),1), ((2),3), ((1),5), ((-2),9), ((2),10), ((1),11), ((-1),12), ((-1),13), ((-2),14), ((1),16), ((2),17), ((2),19), ((2),21), ((-1),22), ((-1),23), ((-1),24), ((-1),25), ((1),26), ((1),27), ((-2),29), ((-2),31), ((1),33), ((-2),34), ((2),36), ((2),37), ((2),40), ((1),41), ((-1),42), ((-2),43), ((-2),44), ((1),45), ((1),49), ((-1),50), ((-1),51), ((-2),54), ((1),56), ((-2),57), ((2),58), ((-2),59), ((2),60), ((2),61), ((-2),62), ((-2),63), ((-2),64), ((-2),66), ((-2),67), ((2),69), ((2),70), ((1),71), ((2),72)], (14)), ("GEQ", [((-1),0), ((-1),5), ((-2),7), ((2),8), ((1),9), ((-1),10), ((-1),11), ((-1),12), ((-2),13), ((1),15), ((2),17), ((1),18), ((2),19), ((-2),20), ((1),24), ((2),25), ((-1),26), ((2),28), ((-2),29), ((1),30), ((-2),34), ((-1),35), ((2),36), ((1),37), ((-2),38), ((2),39), ((-1),40), ((-1),41), ((-1),44), ((-2),45), ((-1),49), ((1),51), ((1),54), ((1),55), ((2),56), ((1),57), ((2),58), ((-1),60), ((1),62), ((1),66), ((-2),67), ((-2),68), ((1),70), ((1),71), ((2),72), ((2),73)], (67)), ("GEQ", [((2),0), ((-2),2), ((1),4), ((-2),5), ((-1),6), ((-2),7), ((-1),9), ((2),11), ((-2),12), ((2),13), ((2),15), ((-2),16), ((1),20), ((1),23), ((2),24), ((1),25), ((-1),26), ((1),28), ((2),29), ((-1),30), ((2),31), ((-2),34), ((-1),37), ((-2),39), ((2),40), ((-2),43), ((1),44), ((-1),45), ((2),46), ((-1),47), ((1),49), ((-1),52), ((-2),55), ((2),59), ((-2),60), ((2),61), ((-2),63), ((1),64), ((1),66), ((2),69), ((2),73), ((-1),74)], (41)), ("GEQ", [((2),0), ((2),3), ((-1),4), ((-2),5), ((-1),10), ((-1),11), ((-1),12), ((-1),13), ((-2),15), ((-2),17), ((2),18), ((-1),19), ((2),21), ((-2),24), ((2),25), ((2),26), ((2),29), ((-1),30), ((1),33), ((-1),34), ((1),35), ((-2),36), ((2),41), ((1),44), ((2),45), ((-1),46), ((-1),47), ((-1),51), ((2),54), ((2),57), ((-2),58), ((-2),60), ((2),62), ((-2),63), ((-1),66), ((2),67), ((-2),68), ((-1),70), ((-2),71), ((-2),72)], (-35)), ("GEQ", [((-2),1), ((2),2), ((1),3), ((1),5), ((-2),8), ((2),10), ((-1),11), ((2),12), ((1),14), ((-1),16), ((1),17), ((1),18), ((-1),20), ((2),21), ((1),23), ((-1),26), ((1),28), ((-2),29), ((-2),32), ((-2),33), ((1),37), ((-1),38), ((-1),40), ((2),42), ((1),43), ((1),44), ((-2),45), ((2),49), ((-1),50), ((-1),51), ((-1),52), ((1),53), ((1),54), ((-2),57), ((2),58), ((-1),59), ((-2),60), ((-1),62), ((-2),63), ((1),65), ((2),67), ((1),68), ((1),69), ((-1),70), ((-1),71)], (16)), ("GEQ", [((-1),0), ((-2),2), ((1),3), ((1),6), ((-2),10), ((-1),11), ((-1),12), ((-2),14), ((2),15), ((-1),18), ((2),19), ((1),21), ((-1),26), ((1),27), ((1),28), ((1),30), ((2),32), ((-2),33), ((2),34), ((2),35), ((-1),36), ((2),37), ((-2),38), ((-2),40), ((-1),42), ((2),43), ((2),44), ((-1),47), ((1),48), ((1),50), ((-2),52), ((-2),53), ((-1),54), ((1),55), ((2),56), ((1),57), ((-1),60), ((2),61), ((1),62), ((1),63), ((-1),66), ((1),67), ((2),68), ((2),69), ((1),71), ((1),72), ((2),73)], (-20)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-2),6), ((1),8), ((1),11), ((-2),12), ((-1),13), ((-1),14), ((2),15), ((-2),16), ((-1),17), ((2),18), ((-2),21), ((-1),22), ((1),24), ((2),25), ((1),26), ((-1),27), ((1),28), ((-2),30), ((2),31), ((-1),32), ((-1),33), ((-1),34), ((-2),35), ((-2),37), ((1),38), ((1),39), ((1),40), ((2),41), ((1),42), ((-2),43), ((-1),44), ((2),45), ((-1),46), ((-2),47), ((-2),48), ((-1),51), ((-1),52), ((1),53), ((2),54), ((-1),56), ((2),58), ((-1),62), ((-1),64), ((-1),65), ((2),67), ((1),69), ((-2),70)], (61)), ("GEQ", [((-2),2), ((-2),3), ((1),5), ((-2),7), ((-2),8), ((2),9), ((1),10), ((1),11), ((2),13), ((-1),14), ((-1),15), ((-2),16), ((-1),18), ((2),19), ((-1),21), ((2),22), ((-1),23), ((2),24), ((-1),27), ((2),28), ((2),29), ((-2),30), ((-2),31), ((1),32), ((2),34), ((-2),35), ((-2),37), ((2),43), ((1),44), ((-2),45), ((-2),46), ((1),47), ((-2),49), ((1),50), ((-2),51), ((-2),54), ((1),55), ((1),57), ((-2),58), ((1),59), ((-1),60), ((-2),61), ((2),64), ((-1),68), ((1),69), ((-1),70), ((1),72), ((1),74)], (45)), ("GEQ", [((-2),0), ((-1),1), ((-1),3), ((-2),4), ((2),5), ((1),8), ((2),9), ((-1),13), ((-1),15), ((2),16), ((1),18), ((2),19), ((2),22), ((2),25), ((1),26), ((-1),27), ((-2),28), ((-1),29), ((-2),31), ((2),32), ((2),33), ((-1),37), ((-1),39), ((2),42), ((-1),45), ((2),47), ((-1),49), ((1),53), ((2),54), ((-1),56), ((-2),57), ((-1),60), ((2),62), ((2),68), ((1),69), ((-2),71), ((1),72)], (-1)), ("GEQ", [((1),1), ((2),3), ((-1),7), ((1),8), ((1),9), ((2),10), ((-1),11), ((1),13), ((1),15), ((-1),16), ((-1),17), ((1),18), ((-1),20), ((2),21), ((1),22), ((-1),23), ((-1),24), ((-1),25), ((1),28), ((-2),30), ((2),32), ((-1),33), ((-1),34), ((-2),35), ((-1),40), ((1),41), ((-1),44), ((1),45), ((-1),47), ((-2),48), ((-2),49), ((2),51), ((-2),52), ((-2),53), ((-1),54), ((-2),56), ((2),57), ((-2),58), ((-2),59), ((1),61), ((-2),62), ((-2),64), ((2),67), ((-1),68), ((-2),70), ((-2),71), ((1),72), ((-1),73), ((-1),74)], (5)), ("GEQ", [((2),1), ((1),2), ((1),3), ((1),4), ((2),5), ((-2),6), ((-1),9), ((-2),11), ((2),12), ((-1),14), ((1),16), ((1),18), ((-2),19), ((-1),24), ((2),25), ((2),26), ((1),28), ((2),29), ((-2),30), ((2),31), ((-1),32), ((-1),33), ((-1),35), ((-1),36), ((-2),37), ((1),38), ((1),40), ((2),41), ((-1),43), ((1),44), ((-2),45), ((2),46), ((1),48), ((2),49), ((1),50), ((1),52), ((1),54), ((1),55), ((-1),56), ((-1),57), ((-2),59), ((-1),60), ((-2),61), ((-1),63), ((-2),64), ((2),65), ((-1),68), ((1),70), ((2),71), ((1),73)], (-27)), ("GEQ", [((-1),3), ((-2),4), ((1),5), ((2),10), ((2),11), ((-2),12), ((2),14), ((1),15), ((1),16), ((1),19), ((2),20), ((2),21), ((1),22), ((1),27), ((1),28), ((-1),30), ((1),32), ((-1),34), ((1),35), ((-1),37), ((-1),38), ((1),39), ((2),41), ((2),42), ((-1),43), ((1),45), ((2),46), ((-2),47), ((1),48), ((2),50), ((2),51), ((-2),53), ((1),54), ((2),55), ((2),56), ((1),60), ((-2),61), ((1),63), ((-2),65), ((-1),67), ((1),68), ((-2),72), ((2),73), ((-1),74)], (-15)), ("GEQ", [((1),0), ((-2),2), ((2),3), ((2),4), ((1),5), ((-2),6), ((-1),10), ((1),12), ((-2),13), ((-2),15), ((2),16), ((-1),17), ((2),19), ((2),21), ((1),23), ((2),24), ((1),26), ((-1),27), ((-2),29), ((1),32), ((2),33), ((-1),35), ((-2),36), ((2),37), ((2),38), ((-1),40), ((2),42), ((-2),43), ((-2),46), ((1),48), ((2),53), ((-2),54), ((-2),55), ((-1),56), ((1),59), ((2),61), ((-1),64), ((-2),66), ((2),72), ((2),73), ((2),74)], (-21)), ("GEQ", [((11),0), ((13),1), ((8),2), ((-15),3), ((7),4), ((-4),5), ((15),6), ((23),7), ((-33),8), ((6),9), ((-34),10), ((8),11), ((-1),12), ((-7),13), ((-18),14), ((4),15), ((42),16), ((6),17), ((-40),18), ((-9),19), ((-13),21), ((-14),22), ((-64),23), ((-43),24), ((18),25), ((10),26), ((-22),27), ((-37),28), ((-16),29), ((31),30), ((10),31), ((-6),32), ((30),33), ((39),34), ((43),35), ((36),36), ((-19),37), ((23),38), ((1),39), ((-12),40), ((5),41), ((-12),42), ((29),43), ((-30),44), ((34),45), ((-6),46), ((-29),47), ((-11),48), ((-30),49), ((11),50), ((-11),51), ((-34),52), ((-16),53), ((30),54), ((9),55), ((13),56), ((65),57), ((6),58), ((20),59), ((-57),60), ((-20),61), ((15),62), ((37),63), ((4),64), ((-9),65), ((-25),66), ((24),67), ((13),68), ((1),69), ((-15),70), ((-24),71), ((61),72), ((-55),73), ((24),74)], (-1059)), ("GEQ", [((42),0), ((-18),1), ((16),2), ((-10),3), ((13),4), ((30),5), ((-21),6), ((-9),7), ((29),8), ((-52),9), ((56),10), ((42),11), ((2),12), ((-4),13), ((29),14), ((-2),15), ((-59),16), ((39),17), ((47),18), ((14),20), ((14),21), ((52),22), ((104),23), ((41),24), ((-53),25), ((-4),26), ((19),27), ((38),28), ((18),29), ((-41),30), ((14),31), ((-6),32), ((-46),33), ((-46),34), ((-17),35), ((18),36), ((4),37), ((15),38), ((2),39), ((33),40), ((-1),41), ((-1),42), ((-39),43), ((6),44), ((-31),45), ((19),46), ((21),47), ((20),48), ((62),49), ((-48),50), ((-3),51), ((38),52), ((40),53), ((-41),54), ((-15),55), ((-52),56), ((-113),57), ((3),58), ((-50),59), ((112),60), ((12),61), ((-27),62), ((-39),63), ((-21),64), ((15),65), ((18),66), ((-29),67), ((-35),68), ((5),69), ((58),70), ((68),71), ((-84),72), ((69),73), ((-50),74)], (1626)), ("GEQ", [((-58),0), ((-15),1), ((-6),2), ((38),3), ((-51),4), ((-21),5), ((-1),6), ((-54),7), ((27),8), ((23),9), ((31),10), ((-40),11), ((-12),12), ((-3),13), ((44),14), ((-11),15), ((-73),16), ((-15),17), ((67),18), ((14),19), ((11),20), ((10),21), ((6),22), ((56),23), ((34),24), ((-20),25), ((-17),26), ((27),27), ((46),28), ((-21),29), ((-32),30), ((-57),31), ((12),32), ((-37),33), ((-42),34), ((-78),35), ((-77),36), ((29),37), ((-46),38), ((10),39), ((15),40), ((-33),41), ((35),42), ((-1),43), ((52),44), ((-53),45), ((23),46), ((43),47), ((-14),48), ((44),49), ((-14),50), ((40),51), ((52),52), ((4),53), ((-44),54), ((1),55), ((-76),57), ((3),58), ((-21),59), ((75),60), ((37),61), ((-16),62), ((-68),63), ((27),64), ((5),65), ((1),66), ((-45),67), ((-2),68), ((2),69), ((-16),70), ((11),71), ((-88),72), ((52),73), ((23),74)], (1082)), ("GEQ", [((176),0), ((68),1), ((30),2), ((-126),3), ((156),4), ((72),5), ((6),6), ((130),7), ((-125),8), ((-111),9), ((-87),10), ((127),11), ((67),12), ((22),13), ((-111),14), ((35),15), ((182),16), ((58),17), ((-191),18), ((-60),19), ((-30),20), ((-16),21), ((17),22), ((-143),23), ((-96),24), ((16),25), ((71),26), ((-70),27), ((-105),28), ((84),29), ((78),30), ((198),31), ((-61),32), ((68),33), ((133),34), ((220),35), ((222),36), ((-107),37), ((132),38), ((-7),39), ((-45),40), ((107),41), ((-103),42), ((7),43), ((-161),44), ((143),45), ((-61),46), ((-102),47), ((26),48), ((-104),49), ((5),50), ((-120),51), ((-146),52), ((1),53), ((99),54), ((-3),55), ((-29),56), ((207),57), ((-17),58), ((50),59), ((-184),60), ((-109),61), ((-2),62), ((175),63), ((-85),64), ((-11),65), ((5),66), ((145),67), ((-12),68), ((-10),69), ((59),70), ((-16),71), ((249),72), ((-135),73), ((-64),74)], (-3156)), ("GEQ", [((-70),0), ((-49),1), ((-30),2), ((21),3), ((-61),4), ((-22),5), ((-27),6), ((-32),7), ((69),8), ((11),9), ((40),10), ((-49),11), ((-9),12), ((3),13), ((51),14), ((-29),15), ((-78),16), ((26),17), ((108),18), ((33),19), ((12),20), ((-13),21), ((20),22), ((108),23), ((95),24), ((-41),25), ((-45),26), ((46),27), ((53),28), ((-25),29), ((-61),30), ((-53),31), ((7),32), ((-76),33), ((-49),34), ((-137),35), ((-100),36), ((29),37), ((-42),38), ((5),39), ((38),40), ((-63),41), ((13),42), ((-21),43), ((63),44), ((-92),45), ((27),46), ((99),47), ((36),48), ((75),49), ((2),50), ((31),51), ((82),52), ((18),53), ((-67),54), ((-26),55), ((-18),56), ((-151),57), ((36),58), ((-21),59), ((147),60), ((59),61), ((8),62), ((-85),63), ((38),64), ((-24),65), ((38),66), ((-67),67), ((-12),68), ((16),69), ((19),70), ((71),71), ((-162),72), ((119),73), ((-18),74)], (2696)), ("GEQ", [((-162),0), ((36),1), ((14),2), ((158),3), ((-125),4), ((-131),5), ((51),6), ((-111),7), ((9),8), ((206),9), ((-27),10), ((-109),11), ((-108),12), ((-34),13), ((41),14), ((-15),15), ((-51),16), ((-133),17), ((46),18), ((26),19), ((42),20), ((58),21), ((-122),22), ((-127),23), ((-93),24), ((116),25), ((-8),26), ((-20),27), ((11),28), ((-140),29), ((79),30), ((-206),31), ((82),32), ((87),33), ((-46),34), ((-43),35), ((-154),36), ((107),37), ((-117),38), ((5),39), ((-31),40), ((-58),41), ((154),42), ((94),43), ((88),44), ((2),45), ((28),46), ((-34),47), ((-137),48), ((9),49), ((53),50), ((127),51), ((39),52), ((-53),53), ((8),54), ((78),55), ((141),56), ((78),57), ((-35),58), ((-9),59), ((-122),60), ((35),61), ((34),62), ((-48),63), ((105),64), ((32),65), ((-121),66), ((-68),67), ((66),68), ((-11),69), ((-156),70), ((-177),71), ((35),72), ((-150),73), ((197),74)], (-3036)), ("GEQ", [((11),0), ((-138),1), ((-120),2), ((-110),3), ((31),4), ((117),5), ((-15),6), ((55),7), ((101),8), ((-91),9), ((31),10), ((-90),11), ((117),12), ((49),13), ((-43),14), ((32),15), ((27),16), ((-13),17), ((-29),18), ((14),19), ((-123),20), ((-132),21), ((49),22), ((156),23), ((166),24), ((-56),25), ((-69),26), ((73),27), ((-22),28), ((139),29), ((-136),30), ((126),31), ((-47),32), ((-85),33), ((32),34), ((-88),35), ((14),36), ((-52),37), ((18),38), ((-9),39), ((-8),40), ((44),41), ((-175),42), ((-83),43), ((33),44), ((-42),45), ((-66),46), ((35),47), ((146),48), ((-167),49), ((1),50), ((-130),51), ((-14),52), ((-25),53), ((34),54), ((-100),55), ((-82),56), ((-2),57), ((30),58), ((111),59), ((66),60), ((3),61), ((5),62), ((13),63), ((-88),64), ((-29),65), ((175),66), ((66),67), ((2),68), ((16),69), ((30),70), ((120),71), ((-105),72), ((250),73), ((-171),74)], (5292)), ("GEQ", [((-178),0), ((-61),1), ((-64),2), ((140),3), ((-162),4), ((-48),5), ((40),6), ((-102),7), ((111),8), ((166),9), ((36),10), ((-200),11), ((-63),12), ((-28),13), ((18),14), ((2),15), ((-103),16), ((-153),17), ((94),18), ((47),19), ((-57),20), ((19),21), ((-80),22), ((45),23), ((14),24), ((77),25), ((-73),26), ((38),27), ((42),28), ((-40),29), ((-25),30), ((-219),31), ((89),32), ((47),33), ((-97),34), ((-120),35), ((-219),36), ((124),37), ((-136),38), ((-32),39), ((13),40), ((-73),41), ((83),42), ((6),43), ((149),44), ((-66),45), ((2),46), ((3),47), ((-30),48), ((-62),49), ((58),50), ((115),51), ((61),52), ((-75),53), ((-19),54), ((11),55), ((101),56), ((-10),57), ((-25),58), ((-11),59), ((20),60), ((85),61), ((1),62), ((-107),63), ((49),64), ((19),65), ((-27),66), ((-91),67), ((54),68), ((-6),69), ((-142),70), ((-77),71), ((-118),72), ((50),73), ((103),74)], (875)), ("GEQ", [((-72),0), ((-5),1), ((-78),2), ((-25),3), ((-1),4), ((-22),5), ((-2),6), ((18),7), ((-14),8), ((40),9), ((-80),10), ((-102),11), ((73),12), ((50),13), ((-57),14), ((-6),15), ((131),16), ((-97),17), ((-85),18), ((-7),19), ((-76),20), ((-66),21), ((-53),22), ((-69),23), ((42),24), ((52),25), ((2),26), ((13),27), ((-43),28), ((76),29), ((3),30), ((53),31), ((-12),32), ((20),33), ((60),34), ((-20),35), ((-80),36), ((-34),37), ((-45),38), ((-14),39), ((-45),40), ((35),41), ((-50),42), ((-11),43), ((10),44), ((27),45), ((-80),46), ((24),47), ((69),48), ((-172),49), ((88),50), ((-38),51), ((-82),52), ((-59),53), ((53),54), ((-31),55), ((39),56), ((136),57), ((-6),58), ((119),59), ((-151),60), ((-9),61), ((35),62), ((63),63), ((-25),64), ((-40),65), ((82),66), ((87),67), ((53),68), ((-44),69), ((-67),70), ((-86),71), ((71),72), ((33),73), ((-17),74)], (-930))] [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]