[("GEQ", [((1),1), ((-1),2), ((-2),3), ((-1),12), ((1),14), ((2),15), ((1),16), ((1),18), ((2),19), ((-1),20), ((-1),21), ((-2),23), ((-2),24), ((1),26), ((2),27), ((2),28), ((-2),32), ((1),33), ((1),38), ((2),39), ((2),40), ((-1),41), ((-2),42), ((-2),43), ((2),44), ((-1),47), ((-2),48), ((-2),50), ((1),51), ((1),52), ((-2),53), ((1),54), ((1),55), ((-2),57), ((-2),61), ((-1),62), ((1),64), ((-1),65), ((-2),66), ((-1),68), ((-1),69), ((2),71), ((-2),72), ((-2),73), ((2),74)], (22)), ("GEQ", [((2),1), ((1),2), ((1),5), ((-1),7), ((1),8), ((1),9), ((1),10), ((-1),11), ((-2),14), ((-2),16), ((-2),17), ((2),19), ((-2),21), ((-1),23), ((-2),24), ((-1),25), ((-1),28), ((-2),32), ((2),33), ((2),34), ((2),36), ((-2),37), ((1),38), ((-1),39), ((1),40), ((-1),41), ((2),44), ((2),47), ((1),48), ((-2),51), ((-1),52), ((-1),53), ((-2),54), ((2),55), ((1),56), ((1),57), ((-1),58), ((2),59), ((1),61), ((-1),63), ((1),70), ((-2),71), ((2),72), ((1),73), ((-2),74)], (1)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((-2),5), ((2),6), ((1),9), ((1),10), ((2),12), ((2),14), ((2),15), ((2),16), ((2),17), ((-2),18), ((2),19), ((2),20), ((1),21), ((-1),24), ((-2),26), ((2),28), ((2),29), ((-1),30), ((2),31), ((-1),32), ((-2),37), ((2),39), ((2),40), ((-1),43), ((1),44), ((2),45), ((-1),46), ((-1),47), ((-1),48), ((2),49), ((-2),50), ((-2),51), ((2),53), ((2),54), ((-1),55), ((-2),58), ((2),59), ((-1),62), ((-1),63), ((-1),64), ((1),65), ((-2),66), ((-1),73), ((2),74)], (-3)), ("GEQ", [((-1),0), ((1),2), ((1),3), ((1),4), ((-1),5), ((-1),6), ((-2),9), ((1),12), ((-1),14), ((-2),15), ((1),16), ((1),18), ((2),19), ((1),20), ((-1),21), ((-1),22), ((2),24), ((-2),25), ((-2),26), ((2),27), ((-1),29), ((1),30), ((-2),31), ((1),32), ((2),35), ((2),36), ((-2),38), ((2),39), ((2),41), ((-1),45), ((-2),46), ((1),47), ((2),49), ((2),51), ((1),55), ((-2),56), ((2),57), ((1),58), ((1),59), ((1),60), ((-1),61), ((-2),62), ((2),63), ((-1),64), ((2),66), ((2),67), ((-2),69), ((2),70), ((2),71), ((-1),72), ((-1),73), ((-1),74)], (9)), ("GEQ", [((1),3), ((2),6), ((-1),9), ((-2),12), ((-2),13), ((1),17), ((1),18), ((-1),21), ((2),23), ((-2),24), ((2),28), ((-1),31), ((-2),32), ((-2),34), ((-2),35), ((-2),37), ((-1),38), ((1),39), ((-1),42), ((-1),44), ((2),46), ((1),47), ((-2),48), ((-1),49), ((-2),50), ((1),51), ((2),52), ((-1),55), ((-1),56), ((2),57), ((-1),59), ((2),61), ((1),63), ((2),64), ((-1),65), ((2),66), ((-2),68), ((1),69), ((2),72), ((2),73), ((2),74)], (-5)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((1),3), ((1),4), ((2),7), ((2),8), ((2),11), ((-2),12), ((1),16), ((-1),17), ((1),18), ((-2),19), ((-1),21), ((-2),23), ((2),24), ((-2),25), ((2),27), ((1),28), ((1),29), ((-1),30), ((-2),31), ((1),34), ((-2),35), ((-2),36), ((-1),37), ((-2),38), ((1),39), ((-2),40), ((2),41), ((-2),42), ((2),43), ((-1),44), ((1),45), ((-1),47), ((1),50), ((1),51), ((1),52), ((-1),53), ((1),56), ((2),57), ((1),59), ((2),60), ((1),61), ((-2),62), ((-1),64), ((-2),65), ((-1),69), ((-2),70), ((-2),72)], (26)), ("GEQ", [((-1),0), ((-1),1), ((-1),4), ((-1),5), ((2),6), ((1),7), ((-1),8), ((-1),9), ((-1),10), ((-2),13), ((-2),14), ((2),15), ((-1),17), ((2),18), ((-2),21), ((-2),24), ((2),26), ((-2),27), ((-1),30), ((1),32), ((2),34), ((-2),35), ((1),36), ((-2),37), ((1),38), ((1),39), ((1),41), ((2),42), ((2),43), ((2),49), ((-2),51), ((1),52), ((1),53), ((2),55), ((-2),58), ((-1),59), ((2),61), ((2),62), ((2),67), ((-2),68), ((-2),71), ((-2),72), ((2),73), ((-1),74)], (19)), ("GEQ", [((1),0), ((-1),2), ((2),4), ((-2),5), ((-2),6), ((-1),7), ((2),9), ((-1),10), ((-1),14), ((1),15), ((-1),17), ((2),18), ((-2),19), ((-1),20), ((1),23), ((1),26), ((1),27), ((-2),28), ((2),29), ((-2),30), ((-2),31), ((-1),32), ((1),33), ((2),35), ((1),37), ((2),38), ((1),42), ((1),47), ((2),48), ((2),49), ((-2),50), ((-2),51), ((-2),52), ((-2),54), ((-2),56), ((2),58), ((-2),59), ((2),60), ((-1),61), ((1),64), ((2),65), ((2),66), ((1),67), ((-1),68), ((1),69), ((-1),71), ((2),72), ((-1),74)], (-12)), ("GEQ", [((-2),1), ((2),2), ((-2),4), ((-1),5), ((-2),6), ((-2),7), ((-1),9), ((-1),11), ((2),12), ((-1),13), ((2),14), ((2),15), ((1),16), ((2),18), ((-1),21), ((-2),22), ((-1),24), ((2),25), ((2),26), ((-1),27), ((1),28), ((-1),31), ((2),32), ((-1),33), ((-2),34), ((-1),35), ((-2),36), ((2),37), ((2),41), ((-2),42), ((-1),43), ((1),46), ((-2),48), ((-1),53), ((-2),58), ((-2),60), ((-2),61), ((2),64), ((1),65), ((2),66), ((-1),67), ((-2),68), ((-2),71), ((-2),72), ((2),74)], (14)), ("GEQ", [((1),3), ((2),4), ((1),7), ((2),9), ((2),10), ((-1),11), ((2),13), ((1),15), ((-2),17), ((-1),19), ((-1),20), ((2),21), ((2),25), ((2),27), ((2),29), ((2),32), ((1),33), ((2),35), ((2),38), ((2),41), ((-1),42), ((2),43), ((1),44), ((-1),47), ((2),50), ((1),55), ((2),56), ((2),57), ((2),59), ((-1),61), ((2),62), ((-1),63), ((1),64), ((-1),66), ((1),67), ((1),71), ((1),73)], (-19)), ("GEQ", [((-1),5), ((-2),8), ((1),9), ((1),11), ((2),12), ((1),14), ((-1),17), ((1),18), ((-2),20), ((-2),22), ((2),26), ((1),27), ((1),28), ((1),30), ((-1),31), ((-1),32), ((1),33), ((-1),34), ((-2),35), ((-2),38), ((-1),39), ((2),43), ((-2),44), ((2),45), ((-1),48), ((-1),51), ((1),52), ((2),53), ((2),55), ((-1),56), ((-1),58), ((-2),59), ((-1),61), ((1),62), ((-1),63), ((-2),68), ((2),70), ((-2),71), ((1),74)], (5)), ("GEQ", [((-1),2), ((-1),3), ((2),6), ((-2),8), ((-1),9), ((2),10), ((1),11), ((1),13), ((1),15), ((-1),17), ((-1),19), ((1),20), ((-2),21), ((-2),22), ((-2),25), ((-2),26), ((2),28), ((-1),31), ((-1),33), ((1),34), ((1),36), ((1),39), ((1),43), ((-1),46), ((-1),47), ((2),50), ((1),52), ((2),53), ((1),54), ((-2),56), ((2),58), ((-2),59), ((2),60), ((1),61), ((1),65), ((-1),68), ((-2),69), ((-1),70), ((-1),71), ((2),72), ((2),73), ((1),74)], (18)), ("GEQ", [((2),0), ((1),1), ((-1),3), ((-1),4), ((-1),5), ((2),6), ((-1),7), ((-1),8), ((-1),9), ((-1),11), ((2),12), ((2),14), ((-1),15), ((-1),16), ((-1),20), ((-1),22), ((2),23), ((1),24), ((1),25), ((1),29), ((2),30), ((2),31), ((-1),33), ((2),35), ((1),37), ((-2),39), ((2),40), ((-1),42), ((-1),43), ((1),45), ((-2),48), ((-1),49), ((-2),50), ((-1),52), ((2),56), ((2),57), ((-1),58), ((2),59), ((1),60), ((-1),62), ((-2),63), ((1),64), ((1),65), ((2),66), ((-2),69), ((1),71), ((-1),73), ((-2),74)], (-6)), ("GEQ", [((-2),0), ((1),1), ((2),2), ((2),4), ((1),5), ((1),6), ((1),8), ((-2),10), ((-2),12), ((-2),13), ((-2),14), ((1),17), ((1),18), ((2),19), ((2),20), ((-2),21), ((1),27), ((1),28), ((-2),30), ((2),33), ((2),35), ((-2),37), ((1),38), ((-2),40), ((1),41), ((-1),42), ((-1),43), ((-2),44), ((-1),46), ((2),47), ((2),48), ((1),49), ((2),51), ((-1),53), ((2),54), ((-1),55), ((1),56), ((1),57), ((-1),58), ((-2),59), ((1),62), ((-2),63), ((-2),64), ((2),65), ((2),66), ((2),68), ((1),70), ((-2),71), ((-1),72), ((2),73), ((1),74)], (14)), ("GEQ", [((1),0), ((2),1), ((-1),4), ((-1),6), ((1),7), ((-2),9), ((-2),10), ((2),12), ((-2),14), ((1),16), ((-1),18), ((-1),19), ((-1),20), ((-2),21), ((1),22), ((2),24), ((1),25), ((-2),26), ((-2),27), ((-2),28), ((1),29), ((-1),31), ((1),34), ((1),35), ((-2),36), ((-1),37), ((-1),38), ((1),39), ((2),40), ((-2),41), ((2),42), ((-1),43), ((2),44), ((-1),45), ((-1),46), ((1),48), ((-1),51), ((-1),52), ((-2),53), ((2),54), ((-2),55), ((-2),58), ((1),60), ((2),61), ((1),63), ((2),64), ((-1),66), ((2),67), ((-1),69), ((-2),72), ((1),73)], (-16)), ("GEQ", [((2),1), ((2),2), ((-1),3), ((-1),9), ((1),10), ((1),12), ((-1),14), ((-1),15), ((-1),16), ((-1),22), ((2),23), ((2),24), ((-2),26), ((2),27), ((2),28), ((-1),29), ((-2),30), ((-1),31), ((-1),33), ((-1),35), ((-2),36), ((2),39), ((2),40), ((-2),44), ((2),48), ((1),49), ((-2),50), ((2),51), ((1),53), ((2),54), ((-2),55), ((1),57), ((2),58), ((-1),59), ((1),60), ((2),63), ((1),65), ((-2),67), ((-2),68), ((2),69), ((-1),71), ((-1),72)], (29)), ("GEQ", [((-2),0), ((-1),2), ((-2),4), ((1),5), ((-2),6), ((1),7), ((-1),8), ((-2),9), ((-1),11), ((-2),13), ((-2),14), ((2),15), ((1),17), ((-1),18), ((-2),19), ((-1),22), ((-2),24), ((-2),25), ((-2),29), ((1),30), ((-2),33), ((-1),35), ((-2),37), ((2),40), ((-2),42), ((2),43), ((1),44), ((1),46), ((-2),47), ((2),49), ((2),50), ((2),52), ((-1),53), ((-1),54), ((-1),55), ((-2),56), ((-2),57), ((1),58), ((-2),59), ((-1),60), ((1),62), ((2),63), ((1),65), ((1),67), ((1),68), ((-1),69), ((1),70), ((-2),71), ((1),72), ((2),73)], (-32)), ("GEQ", [((1),1), ((1),3), ((-2),4), ((-2),5), ((-2),8), ((-2),9), ((-2),10), ((-1),15), ((2),16), ((2),17), ((-2),19), ((-2),21), ((-2),24), ((-2),25), ((2),27), ((2),28), ((-1),29), ((1),30), ((2),31), ((1),36), ((2),37), ((-2),40), ((2),42), ((1),43), ((1),45), ((2),46), ((1),50), ((-2),55), ((-1),56), ((2),58), ((-1),60), ((-1),62), ((2),64), ((2),65), ((1),69), ((-1),70)], (1)), ("GEQ", [((2),0), ((-2),2), ((-1),4), ((2),5), ((1),7), ((2),10), ((-2),11), ((1),12), ((-1),14), ((2),15), ((1),16), ((-2),20), ((1),21), ((2),22), ((-2),23), ((2),25), ((-1),31), ((1),32), ((-2),34), ((-1),36), ((-2),37), ((-2),38), ((2),40), ((-1),41), ((2),42), ((-2),45), ((1),48), ((-2),54), ((-2),56), ((1),57), ((-1),60), ((2),63), ((1),66), ((1),69), ((1),70), ((2),73)], (-17)), ("GEQ", [((1),0), ((-1),2), ((-2),3), ((-2),4), ((-1),7), ((-1),8), ((-2),9), ((-1),12), ((1),13), ((1),14), ((-2),15), ((-1),17), ((2),18), ((-2),19), ((-1),22), ((-2),25), ((-2),27), ((2),28), ((2),31), ((1),32), ((1),33), ((2),34), ((-1),36), ((2),38), ((-2),39), ((2),40), ((-1),42), ((2),43), ((2),44), ((-1),45), ((1),47), ((2),48), ((-1),49), ((-1),50), ((1),52), ((-2),53), ((-2),55), ((-1),56), ((-2),57), ((2),61), ((-2),62), ((2),63), ((1),64), ((1),65), ((1),68), ((2),69), ((-1),70), ((2),72), ((-1),73)], (-7)), ("GEQ", [((-1),1), ((-1),2), ((-2),4), ((-1),5), ((-1),6), ((-1),7), ((-1),8), ((-2),9), ((2),10), ((-1),11), ((-2),12), ((1),15), ((-2),17), ((-2),18), ((1),19), ((2),22), ((1),24), ((-2),26), ((-1),27), ((2),29), ((-1),30), ((2),31), ((-1),32), ((1),33), ((1),34), ((-1),35), ((1),41), ((1),42), ((-1),44), ((-2),48), ((-1),49), ((-1),50), ((-2),51), ((2),52), ((2),53), ((2),54), ((-2),55), ((1),56), ((-2),58), ((-1),59), ((-1),60), ((1),64), ((1),65), ((1),66), ((1),68), ((2),69), ((2),70), ((-2),72), ((-2),73), ((2),74)], (-33)), ("GEQ", [((1),0), ((-1),1), ((1),4), ((2),6), ((-1),9), ((1),10), ((-2),11), ((1),12), ((2),13), ((2),15), ((-1),18), ((2),19), ((1),20), ((-2),23), ((2),26), ((-1),28), ((1),29), ((1),33), ((2),34), ((1),36), ((2),37), ((2),38), ((-1),39), ((-2),40), ((-1),41), ((2),44), ((1),46), ((2),47), ((-2),49), ((1),51), ((2),52), ((2),54), ((-1),56), ((-1),57), ((-2),58), ((2),60), ((1),61), ((-1),62), ((-1),63), ((1),64), ((2),65), ((-2),66), ((2),68), ((1),70), ((-1),72), ((2),73), ((1),74)], (1)), ("GEQ", [((-1),2), ((1),3), ((-1),6), ((-1),9), ((1),10), ((1),11), ((2),12), ((2),13), ((1),16), ((-2),18), ((2),20), ((-2),21), ((-1),22), ((1),23), ((1),24), ((-1),25), ((-1),26), ((2),29), ((-2),31), ((2),33), ((1),34), ((-1),37), ((-2),38), ((2),39), ((2),43), ((2),45), ((1),46), ((-2),47), ((2),48), ((1),49), ((1),50), ((-1),54), ((1),55), ((2),56), ((1),57), ((-2),58), ((2),60), ((-1),63), ((1),65), ((1),67), ((-1),68), ((2),70), ((1),71), ((2),72), ((-1),74)], (-19)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((1),5), ((1),6), ((1),9), ((-2),10), ((-2),12), ((-2),14), ((-1),17), ((2),21), ((-1),22), ((1),25), ((-1),28), ((1),29), ((-2),30), ((-1),33), ((1),34), ((-1),35), ((1),36), ((2),37), ((1),38), ((-1),39), ((2),40), ((2),41), ((-2),42), ((-2),43), ((2),44), ((2),45), ((2),49), ((2),51), ((-2),52), ((-1),55), ((1),56), ((-1),58), ((2),59), ((2),60), ((2),61), ((-1),62), ((-1),63), ((-1),65), ((-2),66), ((2),67), ((-2),68), ((2),69), ((1),70), ((-2),71), ((-2),72), ((1),73), ((1),74)], (4)), ("GEQ", [((-1),1), ((-2),2), ((2),4), ((-1),7), ((2),9), ((-2),12), ((1),13), ((-1),15), ((-2),18), ((2),21), ((2),22), ((2),24), ((-2),25), ((2),26), ((2),28), ((-1),29), ((2),30), ((2),31), ((1),32), ((-2),33), ((-1),35), ((-1),36), ((-2),37), ((2),39), ((2),40), ((2),41), ((1),42), ((-1),43), ((-2),44), ((-2),45), ((1),48), ((-1),50), ((-2),51), ((1),52), ((-1),53), ((2),54), ((1),57), ((-1),59), ((1),60), ((2),63), ((-2),65), ((-2),67), ((-2),68), ((1),69), ((1),74)], (-15)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((-1),3), ((2),4), ((-1),5), ((1),6), ((-1),7), ((-1),8), ((1),13), ((-1),14), ((2),16), ((-2),17), ((-1),22), ((-1),23), ((1),25), ((1),28), ((-2),29), ((-1),30), ((2),34), ((-2),35), ((-2),36), ((-1),37), ((2),38), ((1),39), ((2),40), ((1),41), ((2),44), ((-2),45), ((-2),46), ((-1),47), ((2),48), ((-1),52), ((1),53), ((1),55), ((-1),57), ((2),59), ((-1),60), ((2),61), ((2),62), ((2),63), ((1),64), ((-1),65), ((-1),66), ((-1),67), ((-1),72), ((2),73), ((-1),74)], (21)), ("GEQ", [((2),2), ((-1),3), ((-1),4), ((-2),6), ((-2),7), ((1),8), ((-2),10), ((-2),11), ((-2),13), ((-2),14), ((-2),15), ((-2),16), ((2),20), ((1),21), ((1),22), ((-2),23), ((1),27), ((-2),28), ((-1),30), ((2),31), ((2),33), ((1),34), ((2),35), ((-2),36), ((2),39), ((1),41), ((-1),42), ((-2),46), ((-2),49), ((-1),53), ((-2),54), ((-1),55), ((-2),56), ((2),57), ((-1),58), ((-2),59), ((2),60), ((1),61), ((-1),62), ((-1),63), ((1),64), ((2),65), ((-2),71), ((-2),74)], (-12)), ("GEQ", [((-2),0), ((-2),2), ((1),3), ((-2),4), ((2),5), ((-2),8), ((1),10), ((-2),12), ((1),13), ((1),15), ((-2),16), ((2),18), ((1),19), ((2),21), ((1),23), ((1),24), ((2),25), ((-2),27), ((2),30), ((-2),32), ((-1),34), ((-1),35), ((1),36), ((1),38), ((2),39), ((2),40), ((-1),41), ((1),43), ((1),45), ((-2),47), ((2),48), ((-1),49), ((-2),51), ((1),52), ((2),54), ((-2),57), ((-2),59), ((1),60), ((-2),63), ((2),64), ((-1),67), ((-1),70), ((2),71)], (-37)), ("GEQ", [((-1),0), ((1),1), ((2),3), ((1),5), ((2),6), ((1),7), ((-1),8), ((2),9), ((2),10), ((-2),11), ((1),12), ((1),14), ((2),15), ((-1),16), ((2),18), ((-1),20), ((2),21), ((-1),24), ((2),25), ((-1),26), ((-1),27), ((-1),28), ((-2),29), ((-1),32), ((1),33), ((1),34), ((2),35), ((1),36), ((-1),37), ((-2),39), ((2),42), ((-1),43), ((-2),44), ((1),45), ((-1),46), ((1),47), ((1),48), ((1),49), ((-1),50), ((-2),51), ((-2),53), ((-2),56), ((1),58), ((-1),61), ((-2),62), ((-1),63), ((2),70), ((-2),71), ((2),74)], (-33)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((2),4), ((-2),5), ((2),8), ((-1),9), ((-2),10), ((2),14), ((1),15), ((2),16), ((-2),17), ((2),18), ((-1),20), ((-2),21), ((-1),22), ((1),24), ((-1),25), ((1),28), ((2),29), ((2),30), ((2),33), ((-2),36), ((-1),37), ((2),38), ((1),42), ((-1),43), ((-2),44), ((2),46), ((-2),47), ((2),48), ((1),49), ((2),51), ((1),55), ((-2),56), ((2),57), ((-2),61), ((-1),62), ((-1),64), ((1),71), ((1),73), ((2),74)], (15)), ("GEQ", [((1),0), ((2),6), ((1),8), ((-1),10), ((-1),11), ((-1),12), ((1),13), ((1),14), ((1),15), ((2),16), ((-1),17), ((2),18), ((2),19), ((-1),20), ((-2),21), ((-2),22), ((-1),23), ((2),25), ((1),27), ((1),30), ((-1),32), ((2),35), ((-1),36), ((2),37), ((1),38), ((2),40), ((1),41), ((1),43), ((-2),44), ((2),47), ((2),48), ((1),49), ((-1),50), ((1),53), ((2),54), ((-2),55), ((1),56), ((2),58), ((1),59), ((2),60), ((-1),61), ((-2),62), ((-2),67), ((2),70), ((-2),71), ((2),72), ((-2),74)], (36)), ("GEQ", [((-2),0), ((2),3), ((-2),5), ((-2),8), ((1),11), ((-2),12), ((-2),13), ((1),14), ((-1),19), ((-2),21), ((-1),23), ((-1),24), ((2),25), ((-2),26), ((2),29), ((-1),30), ((-2),33), ((1),35), ((1),38), ((1),40), ((-1),41), ((1),42), ((-2),45), ((1),46), ((-1),47), ((2),48), ((2),49), ((-2),50), ((-1),52), ((-2),53), ((1),54), ((1),56), ((-1),57), ((2),61), ((2),62), ((-2),66), ((1),68), ((-1),71), ((1),72), ((1),74)], (-8)), ("GEQ", [((-1),0), ((-2),1), ((-2),2), ((-1),3), ((-1),4), ((1),5), ((2),6), ((-2),7), ((-2),8), ((-2),10), ((-1),11), ((-2),13), ((2),14), ((-1),15), ((-2),16), ((-1),17), ((2),18), ((2),19), ((-2),22), ((-1),24), ((2),25), ((1),26), ((-2),27), ((2),29), ((2),31), ((1),32), ((-1),33), ((2),35), ((-1),36), ((-1),37), ((2),39), ((-2),40), ((2),41), ((2),42), ((-1),45), ((1),46), ((1),48), ((-1),50), ((1),51), ((-2),53), ((-1),56), ((2),60), ((-2),61), ((-1),62), ((-1),63), ((2),64), ((2),65), ((2),66), ((1),67), ((2),68), ((1),69)], (0)), ("GEQ", [((-1),0), ((2),2), ((-1),3), ((-2),6), ((-2),8), ((-1),9), ((-1),11), ((1),12), ((-1),13), ((1),14), ((1),18), ((-1),20), ((1),21), ((1),24), ((1),26), ((-2),29), ((-1),31), ((-2),33), ((1),34), ((1),36), ((-1),37), ((-2),38), ((1),41), ((1),43), ((-1),44), ((1),45), ((-2),49), ((1),51), ((-2),52), ((-1),53), ((-1),54), ((1),55), ((1),57), ((-2),58), ((-2),59), ((2),60), ((-2),61), ((-2),62), ((2),64), ((-2),66), ((-1),69), ((2),72)], (16)), ("GEQ", [((-2),1), ((1),6), ((-2),7), ((-2),8), ((-1),9), ((2),10), ((-1),12), ((2),15), ((-2),16), ((-1),24), ((-2),25), ((1),29), ((-2),32), ((-1),34), ((1),36), ((2),37), ((1),38), ((2),41), ((2),48), ((2),50), ((-2),54), ((-1),58), ((-2),59), ((1),60), ((1),61), ((-2),62), ((-2),63), ((-2),64), ((1),69), ((-1),70), ((-1),73), ((-1),74)], (-38)), ("GEQ", [((-1),0), ((-1),3), ((-2),6), ((1),8), ((1),9), ((1),10), ((-1),11), ((-2),12), ((2),14), ((-1),15), ((2),16), ((2),18), ((1),19), ((-1),20), ((1),21), ((1),22), ((2),23), ((-1),26), ((-2),27), ((-2),28), ((2),30), ((1),31), ((-1),36), ((-1),38), ((1),42), ((-2),45), ((1),47), ((-2),48), ((-1),49), ((-2),53), ((-2),56), ((1),58), ((2),59), ((2),61), ((-1),64), ((2),67), ((2),69), ((-2),70), ((-1),72), ((-1),73)], (-23)), ("GEQ", [((2),1), ((-1),2), ((-1),3), ((-2),5), ((2),7), ((-2),10), ((2),11), ((-1),12), ((2),15), ((-1),16), ((-1),17), ((-2),18), ((2),19), ((1),21), ((-1),23), ((2),24), ((-2),26), ((2),27), ((-2),28), ((2),29), ((2),30), ((1),31), ((-2),32), ((1),33), ((-2),34), ((-1),35), ((1),36), ((-2),37), ((-1),38), ((2),39), ((-1),41), ((-2),42), ((1),43), ((-2),44), ((2),45), ((-1),48), ((-2),49), ((2),50), ((-1),52), ((2),56), ((-1),59), ((2),60), ((2),61), ((-2),62), ((-1),63), ((-1),65), ((2),67), ((1),68), ((1),69), ((1),72), ((1),73), ((-2),74)], (-11)), ("GEQ", [((-2),0), ((-1),3), ((-2),4), ((-1),5), ((-1),8), ((-1),9), ((-2),10), ((-1),13), ((2),14), ((1),17), ((2),18), ((-2),21), ((-1),22), ((-2),24), ((-1),27), ((2),29), ((1),30), ((2),31), ((1),32), ((2),34), ((-2),35), ((-2),36), ((-2),37), ((-2),39), ((-1),40), ((-1),43), ((-2),44), ((-1),46), ((1),47), ((-1),48), ((2),49), ((2),50), ((-2),52), ((-2),54), ((-2),61), ((1),62), ((-1),63), ((-1),64), ((-1),65), ((-1),66), ((1),69), ((1),70), ((1),71), ((-2),72), ((-2),73)], (-20)), ("GEQ", [((-2),1), ((1),6), ((2),7), ((-1),9), ((1),10), ((1),12), ((-1),13), ((1),14), ((2),15), ((-2),16), ((-2),18), ((2),19), ((1),23), ((1),24), ((-2),25), ((-1),26), ((-2),27), ((-2),28), ((-1),29), ((2),30), ((2),33), ((1),34), ((1),37), ((1),39), ((2),40), ((-2),43), ((-1),44), ((-2),46), ((-2),47), ((1),49), ((-1),50), ((-1),51), ((2),54), ((-1),55), ((-1),60), ((1),61), ((-2),62), ((-2),65), ((2),68), ((-2),69), ((1),70), ((1),72), ((1),73), ((1),74)], (-15)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((-1),3), ((1),6), ((-2),9), ((-1),11), ((2),13), ((-1),14), ((-2),17), ((1),18), ((-1),19), ((1),20), ((1),22), ((-2),23), ((-1),25), ((2),28), ((2),30), ((2),32), ((1),33), ((2),36), ((2),37), ((1),41), ((-1),46), ((2),47), ((1),48), ((1),51), ((1),53), ((1),54), ((-2),55), ((-1),56), ((1),62), ((-2),63), ((-2),64), ((-2),65), ((-1),66), ((2),67), ((-2),71), ((2),72), ((2),74)], (-15)), ("GEQ", [((1),2), ((-2),4), ((1),5), ((1),8), ((1),9), ((1),12), ((2),13), ((2),14), ((-2),16), ((2),17), ((1),18), ((-2),19), ((-2),20), ((-2),23), ((1),25), ((2),26), ((-2),27), ((-2),28), ((2),29), ((1),30), ((-1),31), ((-1),33), ((-1),35), ((-1),38), ((1),40), ((2),41), ((2),43), ((1),44), ((-1),45), ((1),46), ((1),48), ((-1),49), ((-2),50), ((-1),51), ((-1),52), ((-1),53), ((1),54), ((-1),55), ((-1),58), ((2),60), ((-2),62), ((-1),67), ((2),68), ((1),73)], (9)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-2),3), ((-2),4), ((1),10), ((1),14), ((-1),15), ((-2),16), ((1),17), ((-2),20), ((-2),22), ((-1),24), ((1),25), ((-1),26), ((1),28), ((2),29), ((1),30), ((1),33), ((-1),34), ((1),35), ((1),37), ((1),38), ((1),40), ((-2),41), ((1),43), ((-2),44), ((1),45), ((2),46), ((-2),48), ((-2),52), ((1),54), ((-1),55), ((-1),57), ((-1),58), ((-1),59), ((-2),60), ((-2),61), ((1),62), ((1),66), ((-1),67), ((-1),68), ((-2),69), ((-2),70), ((1),72), ((1),73), ((2),74)], (10)), ("GEQ", [((1),0), ((2),1), ((2),2), ((1),3), ((2),5), ((-2),6), ((-1),8), ((1),9), ((2),10), ((1),11), ((-1),13), ((-2),14), ((2),15), ((-1),16), ((-1),21), ((1),22), ((1),25), ((-1),26), ((2),27), ((-1),28), ((-2),30), ((1),31), ((-2),32), ((2),34), ((-2),35), ((-1),36), ((-2),37), ((-2),38), ((2),41), ((-1),42), ((-1),43), ((-1),46), ((-2),48), ((-2),50), ((-1),52), ((-2),55), ((-2),60), ((-2),63), ((1),66), ((1),67), ((-1),68), ((-1),72)], (-23)), ("GEQ", [((-2),0), ((1),3), ((-2),4), ((1),5), ((2),7), ((2),8), ((1),10), ((2),11), ((-1),12), ((-2),13), ((1),14), ((1),17), ((2),18), ((1),19), ((2),20), ((-1),22), ((-2),23), ((2),24), ((-1),25), ((2),27), ((-1),28), ((-2),29), ((-2),32), ((2),33), ((-1),35), ((-2),37), ((-2),38), ((1),39), ((-2),40), ((-1),41), ((-2),42), ((-2),43), ((1),44), ((-1),47), ((-2),51), ((-2),52), ((-1),53), ((-2),54), ((2),56), ((-1),59), ((-2),60), ((-2),61), ((2),62), ((-1),64), ((2),68), ((1),70), ((1),71), ((2),72), ((1),73)], (19)), ("GEQ", [((2),1), ((2),2), ((-1),3), ((2),5), ((2),7), ((2),8), ((-1),10), ((2),11), ((-2),17), ((2),20), ((1),22), ((2),23), ((2),27), ((2),29), ((-1),32), ((-2),33), ((2),34), ((1),36), ((-2),39), ((-2),43), ((1),44), ((-2),45), ((-2),48), ((-2),49), ((-1),50), ((2),51), ((-1),53), ((-2),54), ((-1),56), ((-2),61), ((-2),64), ((2),65), ((1),66), ((-1),69), ((-2),71), ((1),72), ((1),73)], (27)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((-1),4), ((-1),6), ((-1),8), ((-1),12), ((2),13), ((-1),16), ((-1),18), ((-2),19), ((2),21), ((1),23), ((-2),24), ((2),26), ((2),29), ((1),30), ((1),31), ((2),33), ((1),35), ((2),36), ((-1),37), ((-2),38), ((2),39), ((1),40), ((2),41), ((1),42), ((2),43), ((1),44), ((-1),45), ((-2),47), ((-1),48), ((1),49), ((1),51), ((1),53), ((-1),54), ((-2),56), ((-1),57), ((1),58), ((-2),59), ((1),60), ((2),61), ((-1),62), ((1),63), ((2),64), ((1),68), ((1),70), ((-2),71), ((1),72), ((1),73)], (-28)), ("GEQ", [((2),1), ((1),5), ((-2),6), ((-2),7), ((1),8), ((-1),9), ((-1),11), ((1),14), ((2),16), ((-1),17), ((-1),19), ((-2),20), ((2),22), ((1),24), ((1),25), ((2),30), ((1),34), ((2),37), ((2),38), ((2),39), ((2),40), ((-1),45), ((-2),47), ((1),48), ((-1),51), ((-1),52), ((2),54), ((-1),55), ((1),56), ((-2),57), ((-2),58), ((-1),59), ((1),63), ((-2),64), ((-2),66), ((-1),67), ((1),68), ((-2),69), ((1),70), ((2),72), ((-1),74)], (5)), ("GEQ", [((2),0), ((1),1), ((2),2), ((1),3), ((2),5), ((-1),6), ((-2),7), ((1),9), ((2),10), ((-2),11), ((-2),12), ((-2),13), ((1),14), ((-2),15), ((1),16), ((-1),17), ((-2),18), ((-1),19), ((-1),20), ((-1),21), ((-1),23), ((-1),24), ((1),26), ((2),27), ((-1),28), ((1),29), ((-1),30), ((2),31), ((1),36), ((-1),38), ((-2),39), ((-2),40), ((1),41), ((1),42), ((-2),43), ((-1),44), ((1),45), ((-1),46), ((2),47), ((-1),49), ((-2),50), ((-2),52), ((2),54), ((2),55), ((1),60), ((2),61), ((1),62), ((-2),64), ((-2),65), ((1),66), ((-1),68), ((2),69), ((2),71), ((2),72), ((1),73), ((1),74)], (-7)), ("GEQ", [((-1),0), ((1),1), ((1),2), ((-2),3), ((-1),6), ((-1),7), ((1),8), ((2),9), ((2),10), ((2),11), ((2),12), ((1),13), ((2),14), ((-1),16), ((1),18), ((-1),23), ((-1),25), ((-2),26), ((-2),27), ((-2),28), ((1),29), ((-2),33), ((2),34), ((1),35), ((2),36), ((1),39), ((1),40), ((-1),41), ((1),42), ((-2),43), ((2),45), ((2),46), ((1),49), ((-2),50), ((2),51), ((2),52), ((2),53), ((-2),56), ((-2),57), ((1),58), ((-2),59), ((-2),60), ((-1),62), ((-2),63), ((2),64), ((2),66), ((2),67), ((-2),69), ((-1),73)], (0)), ("GEQ", [((-2),1), ((-2),3), ((1),4), ((1),5), ((-1),6), ((1),8), ((-2),9), ((2),11), ((-1),13), ((-1),15), ((1),16), ((2),19), ((-1),20), ((1),22), ((-1),23), ((1),24), ((2),28), ((1),29), ((1),32), ((-1),33), ((1),34), ((-1),35), ((2),36), ((-1),37), ((1),40), ((2),43), ((1),45), ((-1),46), ((1),48), ((2),50), ((1),52), ((2),54), ((-1),60), ((-1),61), ((2),62), ((-1),65), ((2),66), ((1),67), ((1),68), ((-2),70), ((2),71), ((2),74)], (-20)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((-1),3), ((-2),6), ((-2),7), ((2),8), ((1),9), ((2),11), ((2),13), ((-1),15), ((2),16), ((-2),17), ((-2),18), ((-1),19), ((-2),21), ((2),23), ((-2),24), ((-1),25), ((-2),27), ((-2),28), ((-1),29), ((-1),30), ((1),32), ((-2),35), ((1),36), ((-1),37), ((-1),38), ((-1),42), ((1),43), ((1),44), ((-2),45), ((-2),46), ((-1),47), ((2),48), ((1),49), ((-1),50), ((1),51), ((-1),53), ((2),54), ((1),59), ((-2),60), ((2),63), ((-2),64), ((2),65), ((-1),66), ((-1),68), ((-2),69), ((-2),70), ((-2),71), ((-2),72), ((-2),73), ((2),74)], (10)), ("GEQ", [((2),0), ((2),2), ((2),3), ((-1),6), ((1),7), ((2),8), ((-1),9), ((2),11), ((-1),12), ((2),13), ((2),15), ((1),16), ((1),20), ((-2),23), ((-1),24), ((1),25), ((-1),26), ((2),29), ((-1),30), ((-2),32), ((-2),33), ((-2),34), ((-2),35), ((-2),37), ((-1),39), ((2),40), ((-2),41), ((-2),50), ((2),52), ((1),53), ((-2),54), ((1),55), ((1),59), ((-1),60), ((1),61), ((-2),62), ((-2),63), ((-1),65), ((1),66), ((1),67), ((2),68), ((-2),69), ((2),71), ((-1),74)], (-7)), ("GEQ", [((2),1), ((-1),2), ((-1),5), ((-2),8), ((1),9), ((-1),11), ((1),12), ((-1),13), ((1),16), ((2),18), ((-2),21), ((2),22), ((2),23), ((1),24), ((2),26), ((1),27), ((2),31), ((2),33), ((2),35), ((1),39), ((2),43), ((-1),44), ((-2),45), ((-1),46), ((2),47), ((1),49), ((2),50), ((-1),51), ((2),52), ((-2),53), ((1),55), ((-2),56), ((-2),57), ((-2),60), ((1),61), ((2),63), ((-2),65), ((1),68), ((-1),69), ((-2),70), ((1),71), ((2),72), ((1),74)], (-49)), ("GEQ", [((-2),4), ((-1),5), ((2),6), ((-2),7), ((-1),8), ((1),11), ((1),13), ((-2),15), ((-2),16), ((-2),17), ((-2),20), ((1),22), ((-1),28), ((-2),29), ((-2),30), ((2),31), ((1),32), ((1),33), ((-1),34), ((-1),36), ((2),41), ((2),42), ((1),43), ((2),44), ((-1),45), ((2),46), ((-1),48), ((2),49), ((-2),50), ((-1),53), ((1),57), ((1),58), ((-1),59), ((2),60), ((-1),62), ((-1),64), ((1),65), ((2),66), ((1),67), ((-1),68), ((1),69), ((-1),70), ((1),72), ((-1),74)], (30)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((-2),4), ((2),5), ((1),7), ((-2),9), ((-2),10), ((-2),11), ((-1),15), ((1),18), ((-1),19), ((1),22), ((2),23), ((-1),25), ((-1),27), ((-1),28), ((-2),29), ((2),30), ((1),31), ((-2),34), ((2),35), ((1),36), ((2),37), ((1),40), ((-1),42), ((-2),43), ((1),45), ((-2),46), ((-2),47), ((1),49), ((-2),52), ((1),54), ((-2),55), ((-1),60), ((-2),61), ((-1),63), ((-1),64), ((2),65), ((-1),66), ((2),67), ((1),68), ((-2),69), ((-1),71), ((1),72), ((1),73), ((1),74)], (3)), ("GEQ", [((1),2), ((-1),3), ((-1),5), ((2),6), ((-2),7), ((2),8), ((1),12), ((1),13), ((-1),16), ((2),17), ((-2),18), ((-1),20), ((1),22), ((-1),25), ((-2),26), ((2),27), ((2),29), ((2),31), ((-1),32), ((1),34), ((-2),37), ((-2),38), ((-1),39), ((-2),43), ((2),44), ((-1),48), ((1),50), ((-1),52), ((1),53), ((-1),55), ((-2),57), ((-2),58), ((2),59), ((-2),60), ((-2),64), ((-2),65), ((-2),66), ((-1),67), ((1),68), ((1),69), ((-1),71), ((-2),73)], (-33)), ("GEQ", [((-2),0), ((2),1), ((2),2), ((1),3), ((-1),5), ((1),6), ((1),7), ((1),8), ((-2),9), ((1),10), ((1),11), ((-2),12), ((-2),13), ((1),14), ((-2),16), ((2),17), ((-1),19), ((1),20), ((2),22), ((-1),23), ((1),24), ((1),26), ((-1),28), ((-1),29), ((-2),30), ((2),32), ((-1),34), ((-2),35), ((-1),36), ((-1),40), ((1),41), ((2),42), ((-1),44), ((-2),50), ((-1),51), ((-2),52), ((-2),56), ((2),57), ((2),58), ((-2),60), ((1),62), ((1),63), ((1),64), ((1),65), ((2),70), ((-1),71), ((-2),72), ((-2),74)], (51)), ("GEQ", [((-1),0), ((2),2), ((1),4), ((1),5), ((1),9), ((2),11), ((-2),12), ((-1),14), ((-1),17), ((-1),18), ((-2),21), ((-2),23), ((2),24), ((2),25), ((-2),26), ((-1),28), ((-2),30), ((-1),31), ((-1),33), ((-2),34), ((2),35), ((-1),36), ((-2),37), ((1),39), ((-1),40), ((2),43), ((-2),44), ((-1),45), ((2),46), ((2),48), ((-1),49), ((1),50), ((-1),52), ((-2),53), ((-1),54), ((1),55), ((-1),56), ((2),57), ((-1),58), ((-2),60), ((-2),63), ((1),65), ((1),66), ((-2),67), ((2),68), ((1),69), ((1),71), ((2),72), ((-2),73)], (5)), ("GEQ", [((1),1), ((-2),3), ((-1),4), ((-2),5), ((-1),8), ((-1),9), ((1),12), ((-2),13), ((1),14), ((1),19), ((1),21), ((-1),22), ((-2),24), ((-1),25), ((-2),26), ((2),28), ((2),31), ((2),34), ((1),35), ((2),37), ((-1),38), ((2),40), ((-2),41), ((2),43), ((-1),44), ((2),45), ((1),47), ((1),49), ((-1),50), ((-1),51), ((-2),54), ((-1),55), ((-2),56), ((1),58), ((1),59), ((-1),61), ((1),62), ((2),64), ((-2),65), ((-2),66), ((-1),67), ((-1),70), ((2),72), ((-2),73), ((2),74)], (-29)), ("GEQ", [((-2),0), ((-2),3), ((-1),5), ((-2),7), ((-1),8), ((-1),10), ((1),11), ((2),12), ((2),13), ((2),14), ((2),15), ((2),18), ((-1),20), ((-1),21), ((1),26), ((-1),28), ((2),30), ((2),31), ((2),33), ((1),34), ((2),36), ((1),37), ((-2),41), ((2),42), ((2),43), ((1),44), ((-1),46), ((-2),48), ((1),49), ((-1),50), ((-2),52), ((2),54), ((1),56), ((1),60), ((-2),62), ((-2),63), ((-2),64), ((-2),66), ((1),68), ((1),71)], (0)), ("GEQ", [((2),0), ((2),2), ((-2),3), ((1),4), ((-2),7), ((1),16), ((2),17), ((-1),18), ((-1),20), ((1),21), ((2),24), ((2),25), ((1),26), ((2),31), ((-2),32), ((1),33), ((-1),35), ((-2),38), ((2),39), ((-1),40), ((1),42), ((2),45), ((2),46), ((2),47), ((2),48), ((-2),49), ((-2),50), ((-1),53), ((1),54), ((-1),55), ((-2),57), ((-1),59), ((-1),62), ((-2),65), ((1),66), ((1),67), ((2),68), ((-2),70), ((-1),72), ((-2),73), ((2),74)], (-46)), ("GEQ", [((1),0), ((2),1), ((1),2), ((-2),4), ((-2),5), ((1),6), ((-2),8), ((2),9), ((1),11), ((2),13), ((1),15), ((2),20), ((-1),21), ((1),22), ((-2),23), ((1),24), ((1),26), ((-1),27), ((-2),29), ((-1),30), ((-2),32), ((2),33), ((-2),34), ((-1),35), ((-1),36), ((-1),38), ((2),39), ((1),40), ((1),41), ((-1),42), ((2),44), ((-2),48), ((-1),50), ((1),51), ((2),52), ((-2),53), ((-1),55), ((-1),56), ((-1),57), ((-1),58), ((2),60), ((-2),61), ((-1),64), ((1),67), ((-1),68), ((2),70), ((2),71), ((-2),73)], (28)), ("GEQ", [((-2),1), ((1),2), ((-1),7), ((1),9), ((-1),11), ((-1),12), ((1),13), ((-1),14), ((2),15), ((-2),16), ((1),17), ((-2),18), ((2),20), ((2),21), ((-2),22), ((2),23), ((-2),25), ((-2),26), ((-1),27), ((-2),28), ((2),29), ((2),31), ((1),32), ((1),34), ((2),35), ((-2),36), ((-1),37), ((1),38), ((-2),39), ((2),40), ((2),41), ((2),42), ((1),44), ((-1),48), ((2),50), ((1),52), ((2),54), ((-1),56), ((2),57), ((2),58), ((2),59), ((1),60), ((1),61), ((2),63), ((-1),64), ((2),65), ((2),68), ((1),69), ((1),72), ((2),73), ((2),74)], (-27)), ("GEQ", [((1),5), ((2),6), ((-1),7), ((-1),10), ((-2),11), ((-1),13), ((2),14), ((2),15), ((2),18), ((-2),19), ((2),20), ((-1),21), ((2),22), ((-1),24), ((2),25), ((-2),27), ((-1),29), ((2),31), ((1),34), ((2),35), ((2),36), ((-1),42), ((2),44), ((-1),45), ((1),51), ((-2),53), ((-1),58), ((1),59), ((2),61), ((1),63), ((-1),64), ((-1),66), ((1),69), ((-1),71), ((1),72), ((-2),73)], (-25)), ("GEQ", [((1),0), ((-1),1), ((2),4), ((-1),5), ((1),6), ((2),9), ((-2),11), ((-2),15), ((-1),17), ((-2),18), ((-2),19), ((-1),20), ((1),21), ((1),22), ((-2),23), ((2),24), ((2),25), ((1),27), ((-1),29), ((2),30), ((1),33), ((-1),34), ((-1),37), ((-2),40), ((-1),42), ((-1),43), ((-1),45), ((-1),46), ((-2),48), ((-1),49), ((-2),51), ((1),54), ((-2),55), ((-2),57), ((-2),63), ((-2),65), ((-2),66), ((-1),67), ((1),70), ((1),71), ((1),74)], (-28)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-2),4), ((1),6), ((1),7), ((2),8), ((2),13), ((2),15), ((2),16), ((-2),17), ((2),19), ((-2),21), ((-2),22), ((2),23), ((-1),25), ((2),26), ((1),27), ((-2),28), ((-1),29), ((-2),30), ((2),31), ((-1),32), ((1),34), ((-2),35), ((-2),36), ((1),39), ((-1),40), ((1),41), ((-1),43), ((2),47), ((1),48), ((1),49), ((2),51), ((-1),52), ((-2),53), ((-2),55), ((1),57), ((1),59), ((2),63), ((2),65), ((-2),67), ((1),69), ((-2),71)], (31)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-2),3), ((2),4), ((1),6), ((-2),7), ((-2),11), ((-2),12), ((-2),13), ((2),14), ((-1),15), ((2),16), ((-2),17), ((-1),19), ((2),21), ((-2),23), ((-2),24), ((2),25), ((-1),26), ((1),27), ((2),29), ((1),35), ((2),38), ((1),39), ((-1),41), ((1),42), ((-2),46), ((1),49), ((2),51), ((2),53), ((-1),54), ((-1),55), ((-1),56), ((-1),59), ((-2),60), ((-2),61), ((-2),62), ((-2),63), ((-1),66), ((1),72)], (-9)), ("GEQ", [((2),0), ((-2),3), ((-2),4), ((-2),5), ((-1),6), ((1),8), ((1),12), ((-1),13), ((2),15), ((1),16), ((1),19), ((-1),20), ((1),23), ((2),25), ((1),26), ((-1),29), ((-1),30), ((-1),32), ((-1),35), ((-2),38), ((-1),39), ((1),44), ((-1),45), ((1),46), ((-1),47), ((-1),51), ((1),52), ((1),53), ((1),55), ((1),56), ((1),57), ((1),58), ((2),59), ((-1),60), ((-1),61), ((-2),62), ((2),63), ((-1),64), ((-2),67), ((1),68), ((2),69), ((1),71), ((1),72), ((-1),74)], (15)), ("GEQ", [((1),0), ((-2),2), ((-1),4), ((-1),6), ((2),7), ((2),8), ((-1),9), ((-2),11), ((1),12), ((1),13), ((-1),14), ((-2),15), ((2),18), ((1),19), ((2),23), ((-1),24), ((1),25), ((2),26), ((-1),27), ((-2),28), ((2),29), ((1),31), ((-2),32), ((-1),33), ((-2),35), ((1),38), ((2),40), ((1),41), ((-2),44), ((-1),46), ((-1),48), ((2),51), ((1),52), ((-1),55), ((1),56), ((-2),57), ((2),60), ((1),62), ((-1),67), ((-1),71), ((-2),72), ((-2),73), ((-1),74)], (-4)), ("GEQ", [((-2),1), ((-2),3), ((2),5), ((-2),6), ((2),8), ((2),9), ((-1),10), ((1),13), ((1),14), ((-2),15), ((2),17), ((2),18), ((-2),19), ((1),20), ((2),22), ((2),23), ((-1),25), ((1),27), ((2),29), ((-1),30), ((-1),31), ((-2),32), ((1),33), ((1),35), ((1),36), ((1),37), ((2),38), ((-2),40), ((2),42), ((1),43), ((-1),45), ((-2),46), ((1),47), ((2),48), ((-2),49), ((-1),51), ((-2),52), ((2),54), ((-2),55), ((2),58), ((2),59), ((1),62), ((1),63), ((2),64), ((2),65), ((2),67), ((2),68), ((1),70), ((1),73), ((-2),74)], (9)), ("GEQ", [((-2),1), ((1),2), ((2),3), ((-2),5), ((1),6), ((1),7), ((-2),8), ((-1),9), ((-1),12), ((2),15), ((-1),16), ((1),18), ((-1),20), ((-2),21), ((1),23), ((-1),24), ((2),26), ((-2),27), ((-1),29), ((-1),31), ((1),33), ((1),35), ((2),39), ((2),40), ((1),42), ((1),43), ((1),44), ((2),46), ((1),47), ((1),50), ((-1),51), ((-1),52), ((-1),53), ((-1),54), ((1),57), ((-2),58), ((2),59), ((1),61), ((-1),62), ((-1),65), ((2),67), ((-2),70), ((1),73), ((-2),74)], (3)), ("GEQ", [((2),1), ((-1),3), ((-2),4), ((1),6), ((1),7), ((-1),8), ((-1),11), ((-1),12), ((2),13), ((-1),16), ((2),17), ((-2),20), ((-1),27), ((1),29), ((-2),31), ((-1),33), ((2),34), ((1),37), ((-2),39), ((1),40), ((1),41), ((-1),44), ((-2),48), ((-1),49), ((-1),50), ((2),51), ((2),52), ((-2),54), ((1),55), ((1),56), ((2),58), ((1),65), ((1),67), ((-2),68), ((1),70), ((-2),72), ((1),73)], (28)), ("GEQ", [((2),1), ((-2),2), ((-2),5), ((2),6), ((-1),8), ((2),11), ((-2),13), ((-1),17), ((1),18), ((2),19), ((1),20), ((1),21), ((1),22), ((2),23), ((-1),24), ((2),27), ((2),30), ((-1),32), ((-1),33), ((-1),38), ((1),39), ((2),42), ((2),43), ((-1),46), ((-1),49), ((-1),52), ((2),54), ((-2),56), ((2),57), ((2),61), ((-2),62), ((-2),64), ((1),65), ((2),66), ((1),67), ((-1),68), ((1),69), ((-1),70), ((-1),72), ((2),73)], (5)), ("GEQ", [((2),0), ((-1),4), ((1),5), ((-1),6), ((2),7), ((2),9), ((1),10), ((-1),12), ((-2),13), ((1),17), ((1),19), ((1),21), ((2),24), ((-2),25), ((-2),28), ((2),29), ((-1),30), ((-1),31), ((-2),32), ((1),37), ((-1),38), ((2),39), ((2),40), ((2),44), ((2),45), ((-1),47), ((-1),48), ((-1),49), ((1),50), ((-1),52), ((-1),54), ((2),55), ((2),57), ((-1),58), ((2),61), ((-2),62), ((-2),63), ((2),66), ((-1),68), ((1),70), ((-2),71), ((-2),73), ((-1),74)], (18)), ("GEQ", [((2),0), ((27),1), ((-8),2), ((41),3), ((31),4), ((14),5), ((-41),6), ((36),7), ((35),8), ((20),9), ((-19),10), ((38),11), ((34),12), ((9),13), ((-36),14), ((-62),15), ((15),16), ((30),17), ((-26),18), ((-16),19), ((47),20), ((15),21), ((4),22), ((30),23), ((-16),24), ((-15),25), ((6),26), ((-6),27), ((30),28), ((-39),29), ((-23),30), ((-40),31), ((37),32), ((-23),33), ((-27),34), ((-15),35), ((-7),36), ((17),37), ((20),38), ((-40),39), ((-61),40), ((-70),41), ((-14),42), ((-18),43), ((-8),44), ((-13),45), ((11),46), ((-3),47), ((14),48), ((-4),49), ((20),50), ((-9),51), ((17),52), ((30),53), ((-48),54), ((30),55), ((47),56), ((-24),57), ((24),58), ((5),59), ((-31),60), ((-16),61), ((79),62), ((33),63), ((10),64), ((3),65), ((-17),66), ((-22),67), ((-23),68), ((-9),69), ((-20),70), ((18),71), ((-13),72), ((-21),73), ((-35),74)], (436)), ("GEQ", [((20),0), ((-103),1), ((-10),2), ((-118),3), ((-65),4), ((-16),5), ((158),6), ((-126),7), ((-86),8), ((-62),9), ((73),10), ((-144),11), ((-123),12), ((-17),13), ((98),14), ((200),15), ((-55),16), ((-117),17), ((45),18), ((85),19), ((-165),20), ((-26),21), ((6),22), ((-126),23), ((70),24), ((46),25), ((-30),26), ((36),27), ((-124),28), ((125),29), ((79),30), ((112),31), ((-102),32), ((67),33), ((80),34), ((77),35), ((40),36), ((-34),37), ((-60),38), ((120),39), ((179),40), ((243),41), ((38),42), ((45),43), ((3),44), ((59),45), ((-56),46), ((25),47), ((-51),48), ((8),49), ((-53),50), ((43),51), ((-59),52), ((-79),53), ((168),54), ((-98),55), ((-151),56), ((105),57), ((-80),58), ((-16),59), ((118),60), ((52),61), ((-295),62), ((-121),63), ((-59),64), ((2),65), ((83),66), ((66),67), ((68),68), ((14),69), ((78),70), ((-69),71), ((30),72), ((78),73), ((100),74)], (-1218)), ("GEQ", [((4),0), ((36),1), ((36),2), ((39),3), ((33),4), ((4),5), ((-60),6), ((39),7), ((15),8), ((49),9), ((-3),10), ((44),11), ((23),12), ((18),13), ((-38),14), ((-61),15), ((7),16), ((39),17), ((-27),18), ((-49),19), ((51),20), ((12),21), ((-2),22), ((36),23), ((-13),24), ((-16),25), ((20),26), ((5),27), ((41),28), ((-48),29), ((-46),30), ((-40),31), ((2),32), ((-23),33), ((-35),34), ((-47),35), ((-26),36), ((11),37), ((20),38), ((-66),39), ((-69),40), ((-72),41), ((-22),42), ((-26),43), ((1),44), ((-20),45), ((12),46), ((-6),47), ((-5),48), ((-34),49), ((4),50), ((-15),51), ((35),52), ((47),53), ((-63),54), ((38),55), ((45),56), ((-48),57), ((44),58), ((5),59), ((-48),60), ((-16),61), ((127),62), ((31),63), ((39),64), ((-9),65), ((-35),66), ((-39),67), ((-20),68), ((2),69), ((-10),70), ((39),71), ((-15),72), ((-26),73), ((-31),74)], (436)), ("GEQ", [((-30),0), ((69),1), ((-131),2), ((143),3), ((50),4), ((57),5), ((-90),6), ((151),7), ((154),8), ((-59),9), ((-147),10), ((121),11), ((165),12), ((-45),13), ((-104),14), ((-212),15), ((66),16), ((144),17), ((-21),18), ((16),19), ((152),20), ((48),21), ((8),22), ((113),23), ((-65),24), ((-38),25), ((-22),26), ((-76),27), ((89),28), ((-110),29), ((9),30), ((-141),31), ((206),32), ((-60),33), ((-71),34), ((18),35), ((28),36), ((48),37), ((41),38), ((-46),39), ((-168),40), ((-244),41), ((-32),42), ((-18),43), ((-50),44), ((-8),45), ((53),46), ((-15),47), ((135),48), ((91),49), ((134),50), ((-43),51), ((-16),52), ((16),53), ((-138),54), ((71),55), ((194),56), ((-32),57), ((19),58), ((10),59), ((-47),60), ((-45),61), ((147),62), ((122),63), ((-39),64), ((4),65), ((-23),66), ((9),67), ((-65),68), ((-36),69), ((-105),70), ((13),71), ((-43),72), ((-52),73), ((-129),74)], (801)), ("GEQ", [((-3),0), ((18),1), ((81),2), ((-27),3), ((-27),4), ((-46),5), ((5),6), ((-28),7), ((-103),8), ((44),9), ((25),10), ((23),11), ((16),12), ((13),13), ((38),14), ((20),15), ((-12),16), ((-6),17), ((18),18), ((-63),19), ((-2),20), ((-42),21), ((-28),22), ((3),23), ((-9),24), ((11),25), ((28),26), ((-10),27), ((59),28), ((-42),29), ((-23),30), ((20),31), ((-42),32), ((10),33), ((-5),34), ((-35),35), ((-38),36), ((-1),37), ((-2),38), ((-21),39), ((-11),40), ((-21),41), ((6),42), ((26),43), ((48),44), ((-36),45), ((24),46), ((-24),47), ((-59),48), ((-41),49), ((-26),50), ((-19),51), ((75),52), ((30),53), ((-8),54), ((15),55), ((-32),56), ((-52),57), ((23),58), ((-19),59), ((-40),60), ((-18),61), ((72),62), ((-14),63), ((64),64), ((-6),65), ((-44),66), ((-45),67), ((3),68), ((9),69), ((3),70), ((65),71), ((43),72), ((-7),73), ((27),74)], (157)), ("GEQ", [((17),0), ((33),1), ((249),2), ((-67),3), ((-99),5), ((-105),6), ((-54),7), ((-187),8), ((193),9), ((142),10), ((36),11), ((-77),12), ((111),13), ((18),14), ((13),15), ((-36),16), ((-52),17), ((-47),18), ((-219),19), ((12),20), ((-30),21), ((-45),22), ((36),23), ((-3),24), ((-31),25), ((108),26), ((48),27), ((88),28), ((-51),29), ((-130),30), ((72),31), ((-184),32), ((12),33), ((-14),34), ((-174),35), ((-126),36), ((-27),37), ((19),38), ((-117),39), ((-13),40), ((8),41), ((4),42), ((-1),43), ((86),44), ((-101),45), ((18),46), ((-35),47), ((-146),48), ((-196),49), ((-126),50), ((-13),51), ((163),52), ((103),53), ((-38),54), ((36),55), ((-96),56), ((-157),57), ((104),58), ((-38),59), ((-114),60), ((1),61), ((277),62), ((23),63), ((195),64), ((-23),65), ((-121),66), ((-144),67), ((13),68), ((42),69), ((21),70), ((110),71), ((51),72), ((-29),73), ((94),74)], (153)), ("GEQ", [((59),0), ((37),1), ((281),2), ((-47),3), ((67),4), ((-52),5), ((-123),6), ((-81),7), ((-78),8), ((253),9), ((158),10), ((35),11), ((-87),12), ((145),13), ((46),14), ((50),15), ((-38),16), ((-42),17), ((-92),18), ((-153),19), ((8),20), ((2),21), ((-10),22), ((3),23), ((7),24), ((2),25), ((76),26), ((96),27), ((42),28), ((22),29), ((-167),30), ((67),31), ((-194),32), ((-60),33), ((-44),34), ((-162),35), ((-95),36), ((27),37), ((43),38), ((-159),39), ((-13),40), ((17),41), ((-32),42), ((-102),43), ((88),44), ((-49),45), ((12),46), ((4),47), ((-205),48), ((-201),49), ((-174),50), ((27),51), ((125),52), ((165),53), ((-41),54), ((50),55), ((-67),56), ((-121),57), ((115),58), ((60),59), ((-150),60), ((-23),61), ((219),62), ((-51),63), ((185),64), ((-36),65), ((-75),66), ((-163),67), ((-9),68), ((46),69), ((56),70), ((121),71), ((5),72), ((-99),73), ((39),74)], (756)), ("GEQ", [((-84),0), ((79),1), ((-168),2), ((131),3), ((-16),4), ((13),5), ((-83),6), ((161),7), ((50),8), ((-93),9), ((-174),10), ((141),11), ((178),12), ((-93),13), ((-106),14), ((-222),15), ((61),16), ((152),17), ((51),18), ((-47),19), ((133),20), ((16),21), ((-25),22), ((126),23), ((-95),24), ((-53),25), ((12),26), ((-120),27), ((136),28), ((-170),29), ((38),30), ((-131),31), ((217),32), ((-22),33), ((-57),34), ((10),36), ((-11),37), ((15),38), ((-15),39), ((-147),40), ((-260),41), ((12),42), ((46),43), ((-18),44), ((-42),45), ((85),46), ((-62),47), ((172),48), ((134),49), ((174),50), ((-78),51), ((-7),52), ((-44),53), ((-141),54), ((90),55), ((189),56), ((-77),57), ((20),58), ((-51),59), ((-6),60), ((-28),61), ((210),62), ((181),63), ((-41),64), ((-15),65), ((-70),66), ((52),67), ((-68),68), ((-14),69), ((-132),70), ((11),71), ((-24),72), ((-15),73), ((-111),74)], (444)), ("GEQ", [((46),0), ((47),1), ((-118),2), ((135),3), ((126),4), ((98),5), ((-125),6), ((169),7), ((269),8), ((-15),9), ((-57),10), ((15),11), ((50),12), ((-6),13), ((-174),14), ((-170),15), ((76),16), ((69),17), ((-76),18), ((115),19), ((106),20), ((96),21), ((55),22), ((77),23), ((14),24), ((-48),25), ((-14),26), ((40),27), ((-51),28), ((-23),29), ((-32),30), ((-141),31), ((107),32), ((-39),33), ((-30),34), ((-1),35), ((15),36), ((41),37), ((46),38), ((-52),39), ((-131),40), ((-100),41), ((-68),42), ((-97),43), ((-125),44), ((29),45), ((-58),46), ((73),47), ((123),48), ((18),49), ((87),50), ((-2),51), ((-81),52), ((12),53), ((-93),54), ((46),55), ((150),56), ((41),57), ((15),58), ((71),59), ((-8),60), ((-7),61), ((59),62), ((104),63), ((-73),64), ((6),65), ((50),66), ((7),67), ((-40),68), ((-39),69), ((-32),70), ((-51),71), ((-131),72), ((-35),73), ((-125),74)], (807))]
[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]