[("GEQ", [((-2),0), ((-1),1), ((-1),4), ((1),5), ((1),7), ((1),9), ((-2),10), ((1),11), ((2),12), ((1),13), ((-1),14), ((1),15), ((-2),17), ((2),19), ((1),22), ((-1),23), ((-2),24), ((-2),25), ((1),28), ((-2),29), ((-2),30), ((-2),31), ((2),33), ((1),34), ((2),37), ((2),40), ((2),41), ((1),42), ((1),44), ((-2),45), ((1),47), ((2),49), ((2),50), ((1),52), ((2),56), ((-2),58), ((-1),59), ((-2),62), ((1),65), ((-1),66), ((1),67), ((-2),68), ((-2),69), ((1),70), ((-2),73), ((1),74)], (54)), ("GEQ", [((-1),1), ((2),3), ((-2),5), ((-1),7), ((-1),8), ((1),10), ((-1),11), ((1),12), ((-1),14), ((1),15), ((-2),20), ((-1),25), ((-2),27), ((1),30), ((1),32), ((1),35), ((-1),36), ((-2),37), ((-2),41), ((-1),43), ((-1),47), ((-1),48), ((1),49), ((-1),50), ((2),52), ((2),53), ((-2),54), ((-2),56), ((1),57), ((-1),58), ((2),60), ((-2),61), ((2),63), ((1),64), ((2),66), ((1),67), ((-1),70), ((-1),71), ((1),72), ((1),73), ((1),74)], (-7)), ("GEQ", [((2),0), ((1),1), ((-2),2), ((2),4), ((-2),5), ((-1),7), ((-1),8), ((-1),9), ((1),11), ((-2),12), ((2),13), ((-2),15), ((1),16), ((1),18), ((-2),20), ((-1),21), ((-1),24), ((-1),25), ((2),26), ((1),27), ((-2),29), ((-1),31), ((-1),32), ((-2),33), ((-2),35), ((1),37), ((1),39), ((2),41), ((-1),42), ((-1),44), ((-2),45), ((-1),46), ((-1),48), ((-1),52), ((-2),55), ((1),57), ((-1),60), ((1),61), ((-1),63), ((-1),64), ((-1),65), ((-1),67), ((1),70), ((1),72), ((-1),74)], (-1)), ("GEQ", [((2),0), ((-1),3), ((-2),4), ((-2),5), ((2),7), ((-1),8), ((2),9), ((2),12), ((-2),15), ((-2),19), ((1),20), ((1),21), ((1),24), ((2),25), ((2),26), ((1),27), ((-2),28), ((1),30), ((-1),32), ((-1),36), ((-1),38), ((-1),39), ((-2),40), ((-1),42), ((-1),44), ((-2),48), ((1),49), ((-1),50), ((-2),52), ((-1),58), ((2),61), ((-1),64), ((1),65), ((2),66), ((1),68), ((2),69), ((1),70), ((-2),73), ((-1),74)], (14)), ("GEQ", [((2),2), ((1),3), ((1),8), ((2),9), ((1),12), ((1),14), ((-1),16), ((-2),17), ((2),19), ((-2),22), ((-2),23), ((2),24), ((1),25), ((-1),26), ((2),27), ((-1),28), ((-2),29), ((-1),30), ((-1),33), ((-1),34), ((1),35), ((-2),38), ((-2),39), ((1),41), ((1),45), ((2),46), ((-2),47), ((2),50), ((2),53), ((-2),54), ((-1),55), ((1),56), ((-1),58), ((-1),62), ((2),63), ((2),64), ((2),65), ((2),66), ((-1),67), ((2),68), ((1),69), ((1),71), ((-2),72), ((-1),74)], (17)), ("GEQ", [((-2),2), ((2),5), ((-1),6), ((1),9), ((2),12), ((-2),13), ((-1),14), ((1),15), ((1),20), ((2),23), ((-2),26), ((-1),27), ((-1),28), ((2),30), ((1),31), ((-2),35), ((-2),36), ((2),37), ((-2),38), ((2),41), ((-2),43), ((2),44), ((-2),45), ((2),46), ((1),47), ((-2),49), ((2),55), ((2),57), ((2),58), ((-1),59), ((-2),60), ((-2),66), ((1),69), ((2),70), ((-2),72), ((1),74)], (-5)), ("GEQ", [((-1),1), ((-2),3), ((-2),5), ((2),7), ((2),11), ((1),13), ((-2),14), ((2),15), ((-2),16), ((-2),17), ((-1),18), ((-1),19), ((2),20), ((2),21), ((2),22), ((1),24), ((-1),25), ((-2),31), ((-2),32), ((-2),33), ((1),37), ((2),38), ((2),39), ((2),40), ((2),42), ((-1),43), ((-2),46), ((1),47), ((-1),48), ((-1),51), ((-1),53), ((-1),54), ((2),55), ((2),62), ((2),64), ((-1),65), ((1),66), ((-1),67), ((-1),68), ((2),69), ((-2),71), ((2),72), ((-1),73)], (13)), ("GEQ", [((-1),0), ((2),2), ((2),3), ((2),5), ((-1),9), ((-2),10), ((-1),11), ((-2),14), ((1),15), ((1),16), ((-1),19), ((-2),20), ((-1),25), ((-1),27), ((-1),28), ((-2),30), ((-2),33), ((-2),34), ((2),35), ((-2),36), ((-2),37), ((-2),39), ((1),40), ((2),43), ((2),44), ((1),46), ((1),47), ((1),50), ((-1),52), ((-1),53), ((2),54), ((1),55), ((2),56), ((-1),59), ((1),60), ((2),61), ((1),62), ((-2),63), ((2),64), ((1),67), ((1),68), ((2),69), ((1),70), ((-2),73), ((1),74)], (-28)), ("GEQ", [((1),0), ((2),2), ((-1),4), ((-2),5), ((-1),6), ((2),7), ((1),8), ((-2),11), ((1),13), ((1),14), ((-2),15), ((-1),16), ((-1),18), ((-1),20), ((1),21), ((-1),22), ((2),26), ((-1),28), ((-2),32), ((2),34), ((1),35), ((1),37), ((-2),38), ((-2),40), ((-2),41), ((1),42), ((1),43), ((-1),48), ((-2),49), ((-2),50), ((2),51), ((-1),52), ((2),56), ((2),58), ((-1),60), ((2),63), ((-2),64), ((2),66), ((-2),71), ((1),72), ((-1),73)], (-29)), ("GEQ", [((1),0), ((-1),2), ((-1),4), ((2),9), ((2),10), ((-2),11), ((2),12), ((2),15), ((-2),18), ((1),21), ((-2),24), ((-1),27), ((1),28), ((2),29), ((-1),31), ((-1),32), ((1),34), ((1),35), ((-2),37), ((-2),39), ((1),40), ((-2),43), ((-1),44), ((-1),45), ((2),48), ((-2),52), ((-2),53), ((-1),54), ((-1),56), ((-2),57), ((2),58), ((2),65), ((1),69), ((-2),72), ((2),73)], (-5)), ("GEQ", [((-2),0), ((1),2), ((-1),3), ((2),4), ((2),8), ((2),9), ((-1),11), ((2),12), ((1),16), ((-2),18), ((2),20), ((-1),21), ((-2),24), ((-2),25), ((-1),27), ((-2),29), ((-2),30), ((1),31), ((-1),32), ((-2),33), ((2),34), ((-1),35), ((-1),40), ((2),41), ((1),42), ((-2),43), ((-1),44), ((-1),46), ((-2),47), ((1),48), ((-2),49), ((-1),51), ((-1),54), ((2),55), ((-1),60), ((-2),62), ((-2),64), ((2),65), ((-1),66), ((2),67), ((2),68), ((-1),70), ((-1),71), ((-1),73), ((-2),74)], (14)), ("GEQ", [((-1),0), ((2),1), ((-1),2), ((2),3), ((1),6), ((-1),8), ((-1),11), ((2),12), ((-2),13), ((-2),15), ((1),16), ((-2),17), ((1),18), ((-1),23), ((1),25), ((1),26), ((-1),27), ((-1),28), ((1),29), ((-1),30), ((-2),32), ((2),33), ((-1),34), ((-2),35), ((-2),36), ((-1),37), ((1),38), ((-1),39), ((1),41), ((1),42), ((-2),44), ((2),45), ((1),47), ((2),48), ((-2),49), ((2),50), ((1),51), ((-1),53), ((-1),55), ((1),56), ((-2),58), ((-1),59), ((-2),60), ((-1),61), ((-2),62), ((-1),63), ((-2),64), ((-1),65), ((-1),71), ((2),72), ((-1),73), ((1),74)], (11)), ("GEQ", [((-1),0), ((1),3), ((2),4), ((-1),5), ((-1),7), ((1),8), ((-1),9), ((1),10), ((-2),12), ((1),15), ((1),16), ((-2),18), ((-2),20), ((-1),22), ((2),25), ((2),29), ((-1),30), ((1),31), ((2),33), ((-1),35), ((-2),36), ((-2),37), ((1),38), ((-2),39), ((2),40), ((1),41), ((-2),43), ((1),44), ((-2),48), ((-1),51), ((-1),52), ((2),53), ((-1),54), ((-2),55), ((-1),59), ((1),60), ((2),62), ((-2),66), ((-1),67), ((2),68), ((-2),70), ((1),73)], (13)), ("GEQ", [((2),0), ((-1),1), ((-1),2), ((-1),3), ((1),4), ((2),6), ((1),12), ((2),13), ((-1),14), ((1),16), ((-1),19), ((-1),20), ((-2),21), ((1),22), ((-2),24), ((1),26), ((-1),27), ((-1),28), ((-1),29), ((-2),30), ((1),31), ((-2),32), ((1),34), ((1),35), ((-1),38), ((-1),39), ((1),41), ((-2),42), ((1),43), ((2),45), ((-1),46), ((-2),50), ((2),51), ((1),52), ((1),54), ((1),57), ((-1),58), ((1),59), ((2),60), ((-1),61), ((-2),62), ((-1),63), ((1),64), ((2),65), ((2),66), ((-1),70), ((-2),71), ((1),72), ((-1),73)], (18)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((-1),4), ((-2),5), ((-1),6), ((-2),11), ((-2),12), ((-1),13), ((2),15), ((-2),16), ((-1),17), ((2),18), ((1),20), ((2),22), ((-2),25), ((2),26), ((-2),27), ((2),28), ((-2),30), ((-2),31), ((-1),32), ((2),35), ((1),36), ((-2),37), ((1),38), ((-1),39), ((-2),40), ((-2),41), ((1),42), ((-1),43), ((1),44), ((1),46), ((-2),47), ((1),49), ((-1),51), ((-2),53), ((-1),55), ((1),56), ((-2),58), ((-1),61), ((2),62), ((-2),64), ((-2),65), ((-2),71), ((2),73)], (-40)), ("GEQ", [((-2),1), ((-2),2), ((1),4), ((1),7), ((2),9), ((-2),11), ((-1),13), ((-1),15), ((-2),16), ((2),17), ((-1),20), ((-1),21), ((1),22), ((2),23), ((2),27), ((-2),28), ((2),30), ((-2),31), ((1),32), ((2),33), ((-1),34), ((-1),36), ((-2),37), ((-2),38), ((-1),40), ((-1),41), ((2),44), ((2),46), ((-2),47), ((1),48), ((2),49), ((-2),50), ((2),51), ((2),54), ((1),55), ((1),57), ((2),58), ((-2),61), ((1),65), ((1),66), ((1),68), ((2),69), ((2),70), ((-2),72), ((2),73), ((-2),74)], (-4)), ("GEQ", [((2),2), ((1),3), ((-1),4), ((2),5), ((1),6), ((-1),7), ((-2),8), ((1),9), ((2),10), ((-2),11), ((1),12), ((-1),13), ((1),14), ((1),16), ((-1),18), ((2),19), ((2),21), ((-1),25), ((-2),27), ((2),30), ((-2),31), ((1),32), ((-1),33), ((1),34), ((2),35), ((2),36), ((-2),39), ((2),41), ((1),42), ((-2),46), ((-2),47), ((1),48), ((1),49), ((-2),50), ((-1),51), ((-1),52), ((1),53), ((1),55), ((-1),59), ((2),60), ((-1),62), ((-2),64), ((-2),65), ((-1),69), ((2),70), ((-2),71), ((2),72), ((-2),74)], (-23)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((2),4), ((1),5), ((-1),6), ((1),7), ((-1),8), ((1),9), ((2),11), ((-1),14), ((1),16), ((-1),17), ((-1),19), ((2),20), ((2),21), ((1),22), ((2),23), ((1),24), ((-2),25), ((-2),26), ((-2),27), ((1),29), ((-2),30), ((2),31), ((-1),32), ((-2),33), ((1),34), ((2),35), ((-1),37), ((1),38), ((1),39), ((-2),40), ((1),41), ((1),42), ((-1),43), ((2),44), ((1),45), ((-1),46), ((2),48), ((-1),50), ((-2),51), ((2),53), ((-1),54), ((1),61), ((1),63), ((1),64), ((-1),65), ((-2),66), ((-2),67), ((2),68), ((2),69), ((2),70), ((1),71)], (-24)), ("GEQ", [((1),0), ((1),1), ((-1),4), ((2),6), ((2),7), ((-2),8), ((-1),9), ((2),10), ((-2),11), ((-1),12), ((-1),13), ((2),14), ((-2),16), ((-2),17), ((-2),18), ((-1),23), ((-1),24), ((-2),25), ((1),29), ((2),31), ((-1),35), ((1),36), ((-2),37), ((1),39), ((-1),41), ((1),42), ((1),45), ((-2),46), ((-1),47), ((-1),48), ((1),49), ((-1),53), ((-2),54), ((-2),55), ((2),56), ((-1),57), ((2),58), ((1),59), ((1),61), ((1),63), ((-1),65), ((2),67), ((1),68), ((2),69), ((2),73), ((1),74)], (-31)), ("GEQ", [((-2),3), ((-1),5), ((1),11), ((-2),16), ((1),17), ((2),18), ((-1),19), ((2),20), ((-1),21), ((1),22), ((2),24), ((1),25), ((-2),26), ((2),27), ((-2),28), ((1),29), ((2),30), ((-1),31), ((-1),32), ((-1),33), ((1),34), ((-1),35), ((2),36), ((-1),37), ((1),38), ((-1),39), ((-1),41), ((1),42), ((2),43), ((-1),44), ((-1),45), ((-1),46), ((2),47), ((-1),49), ((-1),52), ((2),53), ((-2),54), ((-2),55), ((1),56), ((1),60), ((-2),61), ((-2),62), ((1),63), ((2),66), ((-1),67), ((-2),69), ((2),70), ((2),71), ((1),72), ((-1),73)], (64)), ("GEQ", [((2),1), ((2),2), ((-1),3), ((-1),4), ((2),5), ((2),6), ((1),7), ((2),9), ((1),11), ((1),13), ((1),15), ((1),16), ((-2),17), ((2),18), ((2),19), ((2),24), ((1),26), ((-1),27), ((1),29), ((-1),31), ((1),32), ((1),35), ((-2),36), ((2),37), ((2),38), ((-2),40), ((-1),41), ((-1),42), ((-1),43), ((-2),44), ((2),45), ((2),46), ((1),47), ((-1),48), ((-1),49), ((1),50), ((1),51), ((-1),52), ((-2),53), ((-1),54), ((-1),55), ((-1),57), ((2),58), ((-1),61), ((1),66), ((2),67), ((2),68), ((2),69), ((2),71), ((2),73), ((-2),74)], (-16)), ("GEQ", [((1),0), ((2),2), ((2),6), ((2),7), ((-1),10), ((-2),13), ((2),14), ((1),17), ((-2),18), ((1),19), ((2),20), ((-1),21), ((2),22), ((1),23), ((-1),24), ((-1),25), ((2),26), ((-1),30), ((1),31), ((-2),34), ((1),36), ((2),38), ((1),39), ((-2),40), ((1),42), ((-2),43), ((-2),45), ((-1),46), ((-1),50), ((-2),51), ((2),53), ((-2),54), ((-2),55), ((1),56), ((-2),57), ((1),58), ((2),59), ((1),60), ((1),67), ((1),68), ((1),69), ((-1),71), ((2),73)], (2)), ("GEQ", [((-2),0), ((2),2), ((1),3), ((1),5), ((1),6), ((-2),7), ((-2),9), ((1),10), ((2),14), ((-1),15), ((-2),16), ((-2),17), ((-1),19), ((2),20), ((-1),21), ((-2),26), ((-1),28), ((-2),29), ((-1),30), ((1),33), ((-1),34), ((-1),35), ((1),36), ((-1),37), ((1),38), ((1),41), ((2),42), ((-1),43), ((-1),44), ((1),46), ((-1),51), ((-2),52), ((1),54), ((2),56), ((-2),57), ((-2),60), ((-1),61), ((2),62), ((-2),63), ((2),64), ((-2),67), ((-1),70), ((2),71), ((-2),73), ((1),74)], (44)), ("GEQ", [((-2),1), ((-2),3), ((-2),4), ((-2),5), ((-2),6), ((2),8), ((2),9), ((1),10), ((1),12), ((1),13), ((1),15), ((2),17), ((-1),18), ((1),20), ((2),21), ((1),22), ((-1),23), ((2),24), ((-2),25), ((-2),28), ((2),31), ((1),34), ((-2),35), ((2),36), ((2),37), ((-1),38), ((1),40), ((2),41), ((-1),43), ((1),45), ((-2),47), ((1),48), ((-1),50), ((-1),53), ((-1),54), ((-1),55), ((1),57), ((1),58), ((1),60), ((-2),62), ((-2),64), ((1),70), ((1),71), ((-1),72), ((-2),73), ((-1),74)], (5)), ("GEQ", [((1),0), ((-2),1), ((2),3), ((2),5), ((-1),6), ((1),7), ((-1),9), ((2),11), ((-1),13), ((-2),16), ((1),17), ((2),19), ((-1),20), ((-2),21), ((-1),22), ((2),25), ((-1),26), ((-2),28), ((1),29), ((-2),30), ((2),31), ((-1),32), ((2),33), ((-1),35), ((-2),36), ((2),37), ((-1),38), ((1),40), ((1),41), ((-1),43), ((-2),45), ((-1),48), ((1),50), ((2),51), ((1),52), ((1),53), ((1),56), ((2),57), ((1),59), ((-1),60), ((-1),61), ((1),62), ((-2),63), ((2),64), ((-2),65), ((1),66), ((1),68), ((-1),69), ((1),73)], (66)), ("GEQ", [((2),1), ((2),3), ((2),5), ((-2),6), ((-1),8), ((1),9), ((-1),15), ((-2),16), ((1),17), ((2),19), ((-2),21), ((1),22), ((1),23), ((-2),24), ((1),27), ((-2),28), ((1),29), ((2),31), ((2),38), ((2),39), ((2),40), ((-2),42), ((-1),43), ((2),44), ((-2),45), ((2),47), ((-1),48), ((2),49), ((-1),50), ((-2),51), ((2),53), ((-2),54), ((-2),55), ((2),58), ((-1),59), ((1),62), ((2),63), ((-1),64), ((-2),65), ((2),66), ((-2),68), ((-2),69), ((2),71), ((-2),72), ((2),73)], (7)), ("GEQ", [((-2),1), ((2),2), ((-2),4), ((1),6), ((2),7), ((-2),8), ((1),9), ((2),10), ((1),11), ((2),12), ((-2),17), ((-2),19), ((-2),21), ((2),22), ((-1),23), ((2),24), ((-1),25), ((-2),26), ((1),27), ((1),29), ((2),30), ((-2),32), ((-2),34), ((-1),36), ((1),40), ((2),41), ((2),42), ((1),43), ((-2),44), ((-1),45), ((2),48), ((-1),52), ((1),56), ((-2),57), ((2),60), ((2),62), ((1),63), ((-2),67), ((1),70), ((-2),72), ((2),74)], (37)), ("GEQ", [((-2),0), ((-2),3), ((2),5), ((-1),6), ((-1),7), ((2),11), ((1),15), ((-2),17), ((-1),18), ((-1),19), ((1),20), ((1),22), ((1),23), ((1),25), ((1),26), ((1),27), ((-1),28), ((-2),29), ((2),30), ((1),31), ((2),34), ((-2),35), ((2),36), ((1),38), ((2),40), ((-2),42), ((1),43), ((1),45), ((2),46), ((-2),47), ((2),48), ((2),49), ((2),50), ((2),54), ((-2),55), ((1),56), ((-1),58), ((-2),61), ((-2),62), ((1),65), ((2),67), ((-2),68), ((-1),69), ((1),70), ((2),72), ((1),73)], (8)), ("GEQ", [((-2),1), ((-2),8), ((2),9), ((-2),10), ((1),11), ((1),12), ((2),13), ((2),15), ((-2),19), ((-2),20), ((-1),22), ((2),23), ((2),24), ((2),25), ((1),26), ((2),27), ((-1),30), ((1),31), ((-1),33), ((-1),36), ((1),38), ((-1),39), ((-1),42), ((-1),43), ((-1),44), ((2),45), ((2),46), ((2),48), ((2),51), ((-2),52), ((-1),53), ((-1),56), ((2),61), ((-2),62), ((-2),63), ((-1),65), ((1),66), ((2),67), ((1),69), ((1),70), ((-2),72), ((-1),73)], (-40)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((2),3), ((-1),4), ((2),5), ((2),7), ((-1),9), ((1),10), ((1),13), ((2),14), ((2),15), ((1),19), ((-2),21), ((-1),24), ((-1),25), ((-1),26), ((-2),27), ((-2),28), ((1),29), ((-1),30), ((1),31), ((2),32), ((-2),35), ((2),36), ((-2),37), ((1),39), ((-1),40), ((1),42), ((2),46), ((1),48), ((-1),49), ((-1),50), ((1),56), ((-1),58), ((-2),63), ((1),65), ((1),66), ((1),67), ((-2),68), ((1),69), ((-1),70), ((-2),74)], (26)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((-2),3), ((1),5), ((2),6), ((1),7), ((-1),8), ((2),10), ((-2),11), ((1),13), ((-1),14), ((-1),15), ((-2),16), ((-2),17), ((2),18), ((-1),19), ((-2),22), ((-2),23), ((2),24), ((-2),26), ((1),32), ((-2),33), ((-1),34), ((2),35), ((1),39), ((-2),42), ((-1),45), ((-1),48), ((-2),49), ((-2),50), ((2),51), ((-1),52), ((-2),53), ((2),55), ((2),56), ((-1),57), ((1),59), ((-2),60), ((-2),61), ((-1),62), ((-1),64), ((-2),65), ((2),68), ((1),69), ((1),70), ((-1),73), ((-2),74)], (10)), ("GEQ", [((2),1), ((-1),3), ((-2),4), ((1),7), ((1),10), ((1),12), ((1),15), ((-2),16), ((-1),18), ((1),20), ((-1),21), ((-1),22), ((-1),24), ((1),25), ((-2),27), ((-2),28), ((-1),29), ((2),31), ((-2),32), ((1),34), ((-2),35), ((-2),38), ((1),41), ((-2),43), ((-1),46), ((2),47), ((1),49), ((-2),50), ((-1),56), ((2),58), ((1),59), ((2),60), ((-2),65), ((2),68), ((1),70), ((-1),71), ((-1),72), ((2),73)], (-2)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((1),4), ((-2),5), ((2),6), ((1),7), ((-2),11), ((1),13), ((-2),14), ((-1),17), ((-2),18), ((1),19), ((2),21), ((1),22), ((-2),24), ((-2),26), ((2),27), ((2),28), ((-1),31), ((-2),32), ((1),33), ((1),34), ((-2),36), ((1),37), ((-2),40), ((2),42), ((-1),46), ((-2),49), ((-1),50), ((1),51), ((2),52), ((2),53), ((1),54), ((1),56), ((-1),57), ((-2),58), ((1),59), ((-1),62), ((2),63), ((-2),68), ((-1),72)], (5)), ("GEQ", [((2),0), ((-2),1), ((-2),3), ((-1),4), ((-1),8), ((-2),9), ((1),11), ((2),16), ((2),17), ((2),19), ((2),20), ((1),22), ((2),23), ((1),24), ((1),26), ((2),28), ((-1),30), ((-1),31), ((2),32), ((2),34), ((2),37), ((1),39), ((-1),40), ((1),41), ((-1),42), ((-1),43), ((-1),44), ((-2),46), ((-1),48), ((-1),50), ((2),51), ((1),52), ((-2),53), ((-2),54), ((2),55), ((-2),56), ((1),57), ((-1),59), ((1),61), ((1),64), ((-2),68), ((1),69), ((2),71), ((2),72), ((2),73), ((1),74)], (3)), ("GEQ", [((-1),1), ((-1),2), ((-2),5), ((2),6), ((2),9), ((-2),10), ((-1),13), ((-2),14), ((-2),16), ((2),17), ((-2),18), ((-1),19), ((-1),24), ((2),27), ((-2),28), ((1),29), ((2),30), ((2),32), ((-2),33), ((-1),34), ((-1),36), ((2),37), ((-2),38), ((-2),39), ((1),40), ((-1),42), ((-1),43), ((-1),44), ((-1),46), ((-2),47), ((-2),48), ((-2),49), ((-2),51), ((1),52), ((-1),53), ((-1),55), ((1),56), ((-2),57), ((1),58), ((2),60), ((1),61), ((1),63), ((2),65), ((-1),68), ((1),69), ((1),70), ((-1),71), ((2),73), ((2),74)], (-24)), ("GEQ", [((2),2), ((-2),6), ((1),9), ((-1),11), ((1),12), ((1),13), ((1),14), ((-2),16), ((2),18), ((-2),22), ((1),23), ((-2),24), ((2),25), ((-1),26), ((2),29), ((2),31), ((-2),34), ((2),35), ((2),36), ((-1),38), ((-2),40), ((-1),41), ((-1),42), ((-1),43), ((-1),45), ((-2),48), ((-2),49), ((2),53), ((1),54), ((1),58), ((-1),59), ((-1),61), ((-2),63), ((2),65), ((-2),66), ((-1),68), ((2),70), ((-2),72), ((-2),74)], (13)), ("GEQ", [((2),0), ((2),1), ((2),4), ((2),6), ((2),8), ((-2),9), ((-2),10), ((-1),11), ((2),12), ((-2),13), ((-2),14), ((-1),15), ((1),16), ((-1),18), ((2),20), ((-2),21), ((-2),22), ((2),24), ((1),25), ((2),26), ((-2),27), ((-1),28), ((1),29), ((2),30), ((1),32), ((1),34), ((1),35), ((1),37), ((2),38), ((-2),39), ((-2),40), ((-1),42), ((-1),44), ((-1),45), ((2),46), ((2),47), ((1),48), ((2),49), ((2),51), ((-2),52), ((2),53), ((-2),55), ((-2),56), ((1),59), ((2),61), ((-1),62), ((1),63), ((2),67), ((2),69), ((-1),70), ((-2),71), ((-1),73), ((2),74)], (-1)), ("GEQ", [((-2),2), ((2),3), ((-1),4), ((1),6), ((-1),7), ((-1),9), ((1),10), ((-2),12), ((-2),16), ((2),18), ((-1),20), ((1),22), ((1),26), ((1),27), ((-2),28), ((1),29), ((1),30), ((2),32), ((-1),34), ((2),35), ((2),38), ((-1),40), ((-1),42), ((1),45), ((-2),48), ((2),50), ((1),51), ((1),53), ((-1),55), ((1),57), ((1),58), ((-1),59), ((-2),62), ((2),63), ((-2),64), ((-1),65), ((1),67), ((-2),70), ((2),72), ((-1),74)], (-41)), ("GEQ", [((2),0), ((2),4), ((-1),5), ((1),9), ((-2),10), ((-1),12), ((1),14), ((-1),15), ((-1),16), ((-2),17), ((-1),19), ((-2),20), ((1),21), ((2),25), ((1),26), ((-2),27), ((1),30), ((-1),31), ((2),32), ((2),33), ((2),35), ((-2),36), ((-1),39), ((2),40), ((1),41), ((-2),42), ((-2),44), ((1),45), ((2),46), ((-2),47), ((-1),48), ((-2),49), ((-1),51), ((-2),52), ((2),53), ((2),55), ((-1),56), ((2),57), ((1),58), ((1),60), ((-2),61), ((-1),62), ((-2),64), ((2),65), ((2),68), ((-1),71), ((2),72), ((-2),74)], (-18)), ("GEQ", [((-1),0), ((1),3), ((1),5), ((2),7), ((-1),8), ((1),9), ((-1),10), ((2),12), ((-2),14), ((-1),15), ((2),16), ((2),17), ((2),20), ((-2),21), ((1),24), ((2),26), ((2),27), ((-1),29), ((1),31), ((2),33), ((1),39), ((1),41), ((-2),42), ((-2),43), ((-2),44), ((1),45), ((2),49), ((-2),53), ((1),54), ((-1),55), ((1),57), ((-2),59), ((-2),63), ((-1),64), ((-1),65), ((1),68), ((-2),69), ((-1),71), ((2),72), ((1),73)], (26)), ("GEQ", [((-1),1), ((2),2), ((-2),3), ((2),5), ((-2),6), ((-1),7), ((1),8), ((-1),9), ((1),10), ((1),11), ((-1),12), ((-2),13), ((-1),14), ((2),15), ((2),18), ((-2),20), ((-1),22), ((-1),23), ((-2),25), ((2),27), ((-2),29), ((-2),33), ((-2),36), ((-1),37), ((-2),38), ((1),39), ((-2),41), ((2),45), ((-1),48), ((-2),49), ((-1),51), ((1),53), ((2),54), ((2),55), ((-2),58), ((-2),59), ((-2),61), ((2),63), ((-2),64), ((-1),65), ((1),67), ((1),68), ((2),69), ((-2),71), ((-1),72), ((2),73), ((1),74)], (-38)), ("GEQ", [((-1),1), ((-1),4), ((2),5), ((1),7), ((-1),9), ((1),13), ((1),15), ((-1),17), ((2),18), ((1),19), ((1),22), ((2),24), ((-1),25), ((-2),30), ((-1),34), ((2),35), ((-1),36), ((-1),37), ((2),38), ((-1),39), ((-2),40), ((1),41), ((-1),43), ((2),44), ((-2),45), ((-1),46), ((-2),47), ((-2),48), ((-2),49), ((1),50), ((-2),51), ((1),53), ((-2),55), ((-2),56), ((-2),57), ((1),59), ((-2),60), ((1),61), ((-1),62), ((-1),65), ((-1),66), ((1),67), ((-2),69), ((2),70), ((-2),72), ((1),73), ((-1),74)], (-11)), ("GEQ", [((1),0), ((2),1), ((-2),6), ((2),9), ((-1),10), ((1),14), ((-2),15), ((-2),16), ((-2),17), ((-2),19), ((1),21), ((-1),22), ((1),24), ((2),26), ((1),28), ((1),29), ((2),32), ((-2),33), ((1),34), ((1),35), ((2),36), ((1),40), ((-2),41), ((-2),43), ((-1),44), ((1),45), ((2),46), ((-2),47), ((1),48), ((1),52), ((2),54), ((-2),55), ((-2),59), ((1),60), ((-2),61), ((1),62), ((1),63), ((2),66), ((-1),67), ((1),68), ((1),69), ((-2),71), ((-1),74)], (-49)), ("GEQ", [((-1),0), ((1),1), ((2),2), ((2),4), ((2),5), ((1),12), ((2),13), ((1),14), ((-1),15), ((-2),16), ((-2),18), ((-2),19), ((-2),20), ((-1),21), ((-2),23), ((2),24), ((1),25), ((2),26), ((1),28), ((-2),29), ((-2),30), ((1),31), ((2),32), ((2),33), ((-2),35), ((2),36), ((1),37), ((1),41), ((2),43), ((-1),44), ((-2),48), ((-1),49), ((1),51), ((1),54), ((1),55), ((2),57), ((-2),58), ((1),59), ((-1),61), ((1),63), ((1),65), ((1),66), ((2),67), ((2),68), ((-1),70), ((-2),71), ((-2),72), ((-2),74)], (26)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((-2),5), ((2),8), ((2),12), ((-1),13), ((-2),15), ((2),17), ((2),19), ((2),21), ((-1),22), ((-2),23), ((2),25), ((-1),26), ((-1),27), ((-1),28), ((1),29), ((-1),30), ((1),33), ((-1),35), ((-2),37), ((-2),40), ((1),41), ((-1),43), ((-2),44), ((-1),45), ((-1),46), ((-1),47), ((1),48), ((-1),49), ((-2),50), ((-1),52), ((1),53), ((2),54), ((-1),55), ((1),56), ((-1),62), ((2),63), ((-2),66), ((-1),67), ((-2),70), ((1),74)], (20)), ("GEQ", [((2),0), ((-1),1), ((2),2), ((-2),3), ((-1),4), ((1),6), ((-2),8), ((-2),10), ((-1),11), ((-1),12), ((-1),15), ((-2),17), ((1),18), ((-2),20), ((1),21), ((1),23), ((2),26), ((-1),27), ((-1),28), ((2),31), ((2),36), ((-2),37), ((-2),38), ((-2),40), ((1),41), ((2),42), ((-2),46), ((1),47), ((1),48), ((2),50), ((1),53), ((2),54), ((-2),56), ((2),57), ((1),58), ((-2),59), ((-1),60), ((1),62), ((1),63), ((1),64), ((1),65), ((-1),66), ((1),67), ((2),69), ((-2),70), ((-2),71), ((-1),72)], (-40)), ("GEQ", [((1),0), ((-2),5), ((-1),6), ((2),8), ((-1),9), ((2),10), ((-2),12), ((-2),14), ((2),15), ((2),16), ((-2),17), ((-1),20), ((-2),21), ((-2),23), ((1),24), ((-1),25), ((-1),27), ((1),28), ((1),29), ((2),30), ((-2),31), ((1),32), ((2),33), ((-2),36), ((-1),37), ((1),38), ((-2),41), ((1),42), ((2),45), ((-2),46), ((-1),47), ((-2),49), ((-1),50), ((1),52), ((2),53), ((1),54), ((1),55), ((1),57), ((1),58), ((-2),60), ((-1),61), ((1),62), ((1),63), ((-1),64), ((-2),65), ((-2),66), ((-1),68), ((-2),70), ((-1),72), ((-1),73), ((1),74)], (-43)), ("GEQ", [((-2),1), ((1),3), ((-1),4), ((2),6), ((1),7), ((2),8), ((-1),10), ((2),11), ((1),12), ((1),13), ((-2),14), ((2),16), ((2),19), ((-2),21), ((-2),24), ((2),27), ((-2),28), ((-2),29), ((2),30), ((-2),32), ((-1),33), ((-2),35), ((2),36), ((2),37), ((1),38), ((-2),41), ((-2),44), ((-1),47), ((-1),48), ((-1),49), ((2),53), ((1),57), ((2),58), ((-1),59), ((2),61), ((-1),63), ((2),64), ((2),65), ((2),66), ((2),68), ((-1),70), ((-1),71), ((-1),74)], (18)), ("GEQ", [((-1),1), ((2),2), ((1),5), ((2),8), ((-2),9), ((2),11), ((1),13), ((-1),14), ((1),15), ((1),18), ((-1),20), ((-2),22), ((-1),25), ((2),26), ((-1),27), ((2),28), ((-1),29), ((-2),30), ((-2),31), ((-2),36), ((1),37), ((1),38), ((-1),46), ((2),48), ((2),50), ((2),52), ((2),53), ((1),54), ((1),55), ((-1),57), ((-2),59), ((-2),60), ((-1),61), ((2),63), ((-1),64), ((1),65), ((1),66), ((-1),68), ((2),69), ((-2),70), ((-1),72), ((2),73)], (-22)), ("GEQ", [((-2),0), ((-1),3), ((2),5), ((-2),6), ((1),7), ((2),11), ((1),12), ((-2),15), ((2),18), ((-2),20), ((-1),23), ((-1),24), ((-2),25), ((-2),26), ((-2),28), ((1),29), ((1),30), ((-1),31), ((-1),32), ((-1),33), ((-1),35), ((-1),36), ((-2),38), ((1),39), ((2),40), ((-1),42), ((-1),43), ((-2),44), ((-2),45), ((-2),46), ((-1),47), ((-2),48), ((-2),49), ((-2),50), ((1),52), ((2),54), ((2),55), ((-2),56), ((-2),57), ((-1),59), ((2),63), ((1),64), ((2),65), ((2),66), ((2),67), ((-2),68), ((2),73)], (44)), ("GEQ", [((2),4), ((1),5), ((1),6), ((1),10), ((1),14), ((1),16), ((-2),17), ((2),18), ((2),19), ((2),20), ((-2),22), ((2),26), ((-1),27), ((2),30), ((2),31), ((-2),35), ((-1),36), ((-2),37), ((-1),38), ((1),40), ((-1),41), ((-2),42), ((-2),43), ((2),44), ((-2),45), ((-1),47), ((2),51), ((-2),52), ((-2),57), ((-1),58), ((2),61), ((2),63), ((-2),64), ((-2),66), ((1),67), ((1),69), ((1),70), ((-1),71), ((1),72), ((2),73), ((-1),74)], (-9)), ("GEQ", [((-2),0), ((-1),1), ((-2),2), ((-2),6), ((-1),8), ((1),9), ((1),10), ((-1),11), ((1),13), ((-2),15), ((-1),17), ((-1),18), ((2),20), ((-2),23), ((2),26), ((-1),27), ((2),29), ((-1),31), ((-2),32), ((1),35), ((2),36), ((2),37), ((1),40), ((-2),45), ((-1),46), ((1),49), ((-1),51), ((2),54), ((-1),55), ((-2),56), ((2),61), ((1),63), ((2),64), ((2),65), ((-1),66), ((-2),68), ((2),69), ((2),70), ((2),71), ((-2),73), ((2),74)], (20)), ("GEQ", [((-1),3), ((-2),5), ((-2),6), ((1),10), ((-2),11), ((2),12), ((-2),13), ((1),14), ((2),15), ((2),17), ((2),18), ((-1),21), ((1),22), ((-1),23), ((-1),25), ((1),28), ((1),29), ((-2),30), ((1),31), ((-2),32), ((2),34), ((-2),36), ((-2),39), ((2),40), ((2),41), ((1),42), ((-2),44), ((1),45), ((-1),46), ((-2),50), ((-2),51), ((2),52), ((-1),55), ((-2),56), ((-2),57), ((-2),58), ((2),59), ((2),62), ((-2),63), ((2),64), ((-1),65), ((2),66), ((2),68), ((1),69), ((1),71)], (41)), ("GEQ", [((-2),1), ((-2),3), ((-2),8), ((-2),9), ((-2),10), ((-1),11), ((1),14), ((2),17), ((-1),19), ((-2),20), ((2),22), ((-1),23), ((1),24), ((-2),29), ((-2),31), ((-2),32), ((2),33), ((-1),34), ((1),36), ((1),38), ((-2),39), ((-2),40), ((2),43), ((-2),44), ((-2),47), ((2),48), ((-2),50), ((-1),51), ((-1),52), ((-2),55), ((1),56), ((2),57), ((-1),58), ((-2),59), ((-1),60), ((-1),62), ((-2),65), ((-1),66), ((-1),68), ((1),69), ((1),71), ((2),72), ((1),74)], (-14)), ("GEQ", [((-1),1), ((1),2), ((-2),4), ((1),5), ((-1),6), ((-2),7), ((2),9), ((-1),15), ((-2),16), ((-2),17), ((2),20), ((-2),23), ((-1),24), ((-2),31), ((1),32), ((-2),33), ((1),34), ((-1),36), ((2),38), ((2),39), ((1),41), ((-2),42), ((2),48), ((1),50), ((-1),51), ((2),53), ((1),54), ((1),55), ((-1),56), ((-1),58), ((1),62), ((-1),63), ((2),64), ((2),65), ((1),67), ((-2),71), ((1),72), ((-1),73)], (18)), ("GEQ", [((1),3), ((-1),4), ((-2),7), ((2),10), ((1),11), ((-2),12), ((-2),14), ((1),15), ((-2),16), ((2),17), ((1),19), ((2),20), ((1),21), ((-1),23), ((-1),24), ((-2),25), ((2),26), ((2),27), ((1),28), ((1),29), ((1),30), ((1),32), ((2),33), ((2),34), ((2),35), ((-2),36), ((-2),37), ((2),38), ((1),39), ((2),40), ((-1),41), ((-1),44), ((-1),45), ((-2),48), ((-1),50), ((-1),51), ((2),52), ((-1),53), ((2),54), ((-2),58), ((1),59), ((2),60), ((-1),61), ((2),62), ((1),63), ((1),64), ((1),66), ((2),67), ((-2),68), ((1),69), ((-1),70), ((2),71), ((1),72), ((1),74)], (18)), ("GEQ", [((-2),1), ((-2),2), ((1),4), ((2),5), ((-1),8), ((-2),9), ((-2),10), ((-2),12), ((1),14), ((2),16), ((2),17), ((-2),18), ((-2),19), ((2),20), ((1),21), ((-1),22), ((-1),23), ((1),25), ((-2),31), ((2),32), ((-2),33), ((-1),34), ((1),36), ((1),39), ((-2),40), ((-2),41), ((-2),43), ((-2),45), ((2),46), ((1),47), ((-1),48), ((-1),49), ((1),54), ((-2),57), ((-2),58), ((-1),60), ((-1),62), ((2),65), ((-1),68), ((-2),70), ((2),71), ((-1),72), ((2),73), ((1),74)], (-1)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((-2),4), ((-1),6), ((1),7), ((1),8), ((2),9), ((-2),10), ((1),11), ((1),13), ((-1),15), ((2),16), ((2),17), ((1),18), ((2),20), ((-2),22), ((-1),26), ((-2),28), ((2),29), ((1),33), ((-2),34), ((-2),36), ((-2),38), ((2),39), ((-1),42), ((-1),43), ((2),45), ((1),46), ((2),49), ((1),50), ((1),51), ((1),52), ((1),53), ((-1),55), ((-2),56), ((2),57), ((2),58), ((2),60), ((1),61), ((2),62), ((2),65), ((1),67), ((-2),69), ((-2),70), ((-2),71), ((1),73)], (6)), ("GEQ", [((1),1), ((-1),3), ((-1),9), ((-1),10), ((-2),16), ((-2),17), ((-2),18), ((2),21), ((-1),28), ((-2),29), ((1),31), ((1),33), ((1),34), ((1),35), ((-2),42), ((2),44), ((-1),45), ((-2),47), ((2),48), ((2),49), ((-1),50), ((-1),51), ((2),56), ((1),57), ((2),58), ((1),59), ((2),60), ((-1),61), ((1),62), ((-1),63), ((-2),64), ((1),66), ((-2),67), ((-1),68), ((-1),69), ((1),71), ((-1),72), ((1),73), ((2),74)], (-46)), ("GEQ", [((-1),1), ((-1),4), ((1),6), ((-2),7), ((-2),10), ((2),13), ((2),14), ((1),17), ((-1),18), ((-2),19), ((1),22), ((2),23), ((2),26), ((2),31), ((1),36), ((-2),37), ((-2),38), ((2),40), ((1),42), ((1),44), ((-2),46), ((1),47), ((-2),48), ((-2),49), ((2),51), ((2),54), ((-2),55), ((2),58), ((-1),59), ((-1),63), ((2),64), ((-1),67), ((2),68), ((-2),69), ((-2),73), ((2),74)], (-39)), ("GEQ", [((2),0), ((1),1), ((1),2), ((2),3), ((-2),5), ((-1),6), ((1),8), ((2),11), ((-1),12), ((-2),13), ((2),16), ((-2),17), ((2),19), ((2),21), ((-1),23), ((1),25), ((-1),26), ((-1),27), ((-2),29), ((-1),31), ((-1),32), ((-1),34), ((2),36), ((-2),38), ((1),39), ((-2),40), ((-2),42), ((2),44), ((-1),45), ((1),48), ((-1),50), ((-2),51), ((-2),54), ((2),59), ((1),62), ((2),63), ((-1),64), ((1),65), ((2),66), ((1),70), ((-1),71), ((2),72), ((-1),73), ((2),74)], (-11)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),4), ((-1),6), ((2),7), ((1),8), ((1),10), ((1),11), ((2),12), ((1),13), ((-2),14), ((-2),15), ((2),16), ((-2),17), ((-2),18), ((2),20), ((-2),23), ((-1),24), ((1),25), ((-1),26), ((1),27), ((2),33), ((1),34), ((-2),35), ((1),36), ((-2),37), ((-1),38), ((1),42), ((-1),43), ((-2),49), ((-2),51), ((-2),52), ((-2),53), ((-2),54), ((-1),56), ((1),57), ((2),59), ((-2),61), ((-2),62), ((2),63), ((-2),67), ((-1),68), ((1),70), ((-1),72)], (63)), ("GEQ", [((-1),1), ((1),3), ((1),4), ((-2),9), ((-2),10), ((-1),11), ((-1),12), ((-2),20), ((1),22), ((-1),23), ((-1),25), ((-2),26), ((1),29), ((1),30), ((2),33), ((1),35), ((2),36), ((2),39), ((-1),40), ((-1),41), ((2),44), ((2),45), ((-1),47), ((-2),48), ((-1),51), ((2),53), ((2),54), ((-2),55), ((-2),56), ((1),57), ((2),58), ((2),59), ((-1),61), ((-1),64), ((1),65), ((2),66), ((-1),68), ((1),69), ((1),70), ((2),72), ((1),74)], (-5)), ("GEQ", [((-1),0), ((-1),1), ((1),2), ((1),3), ((-1),4), ((-2),5), ((-1),6), ((1),7), ((2),8), ((2),9), ((-2),10), ((2),14), ((2),18), ((-2),19), ((-1),23), ((1),24), ((-1),26), ((-2),27), ((2),28), ((2),29), ((1),31), ((-2),33), ((2),34), ((-2),36), ((-1),41), ((2),43), ((-1),44), ((-2),46), ((1),47), ((1),49), ((-2),50), ((-1),53), ((-2),54), ((-1),57), ((2),58), ((2),61), ((1),64), ((2),65), ((1),66), ((-2),67), ((-2),68), ((1),69), ((-1),71), ((2),72), ((2),74)], (11)), ("GEQ", [((1),2), ((2),3), ((-2),4), ((-2),5), ((-2),7), ((-1),8), ((-1),12), ((-2),13), ((1),16), ((1),18), ((2),19), ((-2),20), ((1),22), ((-2),23), ((1),27), ((-1),28), ((1),31), ((-1),32), ((-1),33), ((1),34), ((2),35), ((2),36), ((1),37), ((-2),38), ((-2),40), ((-2),41), ((1),42), ((-1),43), ((2),47), ((-1),48), ((1),49), ((-2),52), ((2),53), ((-1),55), ((-1),56), ((1),58), ((1),59), ((-1),60), ((-1),61), ((1),71)], (15)), ("GEQ", [((-1),0), ((2),2), ((1),4), ((-1),6), ((1),7), ((2),8), ((1),10), ((2),14), ((-1),16), ((-2),17), ((2),18), ((-1),19), ((-2),22), ((1),23), ((2),24), ((-1),25), ((1),26), ((2),27), ((-1),28), ((-2),30), ((1),31), ((2),33), ((-1),34), ((-2),35), ((-2),37), ((1),39), ((2),40), ((-1),42), ((2),43), ((-2),44), ((-1),45), ((1),46), ((1),47), ((-1),50), ((-2),51), ((1),53), ((1),56), ((-2),57), ((-1),58), ((-1),59), ((-2),60), ((-2),61), ((2),62), ((-1),67)], (44)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((1),5), ((-2),6), ((-1),7), ((-1),9), ((-2),10), ((2),12), ((-2),13), ((2),14), ((2),15), ((-1),16), ((2),19), ((-1),21), ((-2),22), ((2),23), ((-1),25), ((1),27), ((-1),30), ((-2),32), ((2),37), ((1),38), ((-2),39), ((-1),41), ((-2),43), ((2),44), ((2),45), ((2),48), ((1),49), ((1),50), ((-1),51), ((2),54), ((-1),57), ((2),58), ((2),59), ((-1),60), ((-1),64), ((1),65), ((1),66), ((-2),67), ((-2),69), ((-2),70)], (-56)), ("GEQ", [((1),3), ((2),4), ((-1),5), ((1),7), ((2),9), ((-1),10), ((1),12), ((-1),15), ((2),17), ((-1),21), ((-1),22), ((-1),23), ((2),26), ((-1),28), ((-2),31), ((2),33), ((1),34), ((2),36), ((1),40), ((2),41), ((1),42), ((2),43), ((2),46), ((-2),50), ((2),52), ((-2),53), ((2),55), ((2),57), ((1),58), ((2),59), ((2),63), ((2),64), ((2),65), ((1),66), ((1),67), ((2),69), ((-2),70)], (17)), ("GEQ", [((-2),1), ((-1),2), ((-1),3), ((1),4), ((2),6), ((-2),7), ((2),8), ((-2),9), ((2),12), ((1),13), ((2),14), ((2),15), ((-1),17), ((-1),19), ((-2),21), ((1),22), ((1),23), ((-1),24), ((-1),25), ((1),26), ((-2),28), ((1),29), ((2),30), ((-1),31), ((1),33), ((-2),34), ((2),35), ((2),39), ((1),40), ((2),42), ((2),43), ((1),44), ((-2),47), ((2),48), ((-2),49), ((-1),50), ((-1),54), ((-2),55), ((-1),56), ((1),60), ((1),63), ((2),64), ((1),66), ((2),67), ((1),69), ((-2),70), ((2),71), ((1),72), ((-1),73)], (-22)), ("GEQ", [((1),0), ((-2),1), ((-2),2), ((-2),5), ((-1),7), ((-1),8), ((-2),10), ((-2),13), ((2),14), ((1),16), ((-1),18), ((-1),20), ((2),21), ((2),23), ((-1),24), ((-2),25), ((-1),26), ((-2),28), ((-1),29), ((1),33), ((2),36), ((-2),39), ((-1),43), ((1),44), ((2),45), ((2),46), ((2),49), ((-2),50), ((-2),51), ((-1),53), ((2),56), ((-1),58), ((-2),60), ((1),61), ((1),62), ((-2),63), ((2),66), ((-2),69), ((1),70), ((-2),71), ((-2),72), ((1),73), ((2),74)], (-53)), ("GEQ", [((-2),3), ((-1),4), ((2),5), ((-2),6), ((1),8), ((2),10), ((-2),11), ((-2),12), ((1),15), ((1),16), ((-2),17), ((1),19), ((-1),20), ((1),23), ((2),24), ((2),25), ((1),27), ((1),29), ((1),30), ((1),31), ((-2),32), ((1),33), ((1),34), ((-2),37), ((2),38), ((-1),39), ((-2),40), ((-1),41), ((-1),43), ((2),44), ((-1),45), ((-1),46), ((-2),49), ((-1),50), ((1),51), ((1),52), ((-2),54), ((-2),55), ((2),60), ((-2),61), ((-1),62), ((-2),64), ((-1),67), ((2),68), ((2),69), ((-2),72), ((1),73)], (-26)), ("GEQ", [((2),1), ((-2),2), ((-2),3), ((-1),4), ((1),6), ((-1),10), ((-1),14), ((-2),15), ((-2),19), ((2),20), ((2),21), ((1),22), ((-2),26), ((2),27), ((2),28), ((-2),31), ((-2),32), ((-2),34), ((1),35), ((-1),36), ((-2),37), ((-1),40), ((-2),45), ((2),46), ((-1),47), ((2),48), ((-1),49), ((-1),50), ((1),51), ((-1),52), ((2),53), ((2),54), ((1),55), ((-1),57), ((-1),58), ((-1),59), ((-2),60), ((1),61), ((1),62), ((-1),64), ((2),65), ((1),66), ((-1),67), ((1),70), ((2),71), ((1),72), ((2),73)], (5)), ("GEQ", [((2),0), ((1),1), ((2),2), ((-2),4), ((2),5), ((1),6), ((1),7), ((2),8), ((2),9), ((1),11), ((-2),12), ((1),13), ((-1),14), ((-2),15), ((-1),16), ((2),17), ((1),18), ((-1),20), ((-1),21), ((1),22), ((1),24), ((1),25), ((-1),26), ((2),28), ((-1),29), ((2),30), ((-2),33), ((-1),34), ((1),36), ((1),37), ((-2),39), ((1),40), ((1),42), ((-2),44), ((2),49), ((-1),50), ((1),51), ((1),52), ((1),54), ((-2),55), ((-2),56), ((2),58), ((-2),59), ((2),60), ((-1),62), ((-2),66), ((1),68), ((-2),69), ((-1),70), ((2),73)], (13)), ("GEQ", [((2),0), ((2),2), ((2),4), ((1),5), ((2),7), ((-1),8), ((1),9), ((-2),10), ((2),11), ((2),13), ((-2),14), ((-2),15), ((2),16), ((-2),18), ((2),21), ((1),22), ((-2),23), ((-2),24), ((-2),25), ((1),26), ((-1),29), ((-2),32), ((2),34), ((-2),37), ((1),38), ((-2),40), ((-1),43), ((1),45), ((2),46), ((-2),47), ((2),50), ((1),51), ((-1),52), ((1),54), ((-1),57), ((2),58), ((1),59), ((2),60), ((1),61), ((2),62), ((2),63), ((2),65), ((-2),66), ((-1),67), ((-1),69), ((1),70), ((1),71), ((-2),73), ((-2),74)], (13)), ("GEQ", [((-24),0), ((53),1), ((-26),2), ((13),3), ((30),4), ((-24),5), ((10),6), ((-41),7), ((-5),8), ((-30),9), ((12),10), ((-20),11), ((-36),12), ((-32),13), ((43),14), ((10),15), ((2),16), ((37),17), ((8),18), ((10),19), ((-45),20), ((-9),21), ((-5),22), ((46),23), ((-21),24), ((19),25), ((-22),26), ((-9),27), ((28),28), ((-10),29), ((6),30), ((11),31), ((39),32), ((-4),33), ((-13),34), ((-14),35), ((16),36), ((20),37), ((-9),38), ((14),39), ((26),40), ((-23),41), ((-4),42), ((58),43), ((25),44), ((9),45), ((12),46), ((39),47), ((-6),48), ((29),49), ((18),50), ((25),52), ((-47),53), ((-45),54), ((18),55), ((22),56), ((-4),57), ((-19),58), ((19),59), ((-11),60), ((-1),61), ((-10),62), ((-26),63), ((-6),64), ((-36),65), ((-11),66), ((-12),67), ((-5),68), ((-45),69), ((-17),70), ((15),71), ((5),73), ((5),74)], (-591)), ("GEQ", [((52),0), ((-80),1), ((50),2), ((3),3), ((-33),4), ((38),5), ((-4),6), ((41),7), ((21),8), ((15),9), ((-39),10), ((46),11), ((28),12), ((83),13), ((-80),14), ((-9),15), ((8),16), ((-41),17), ((-31),18), ((-10),19), ((62),20), ((4),21), ((13),22), ((-69),23), ((8),24), ((1),25), ((38),26), ((27),27), ((-7),28), ((-10),29), ((-25),30), ((-27),31), ((-50),32), ((27),33), ((-6),34), ((30),35), ((-31),36), ((-16),37), ((31),38), ((-17),39), ((-44),40), ((19),41), ((-11),42), ((-64),43), ((-4),44), ((-16),45), ((-18),46), ((-56),47), ((-4),48), ((-16),49), ((22),50), ((7),51), ((-55),52), ((78),53), ((77),54), ((-37),55), ((-41),56), ((19),57), ((33),58), ((-8),59), ((18),60), ((33),61), ((36),62), ((-7),63), ((28),64), ((43),65), ((-20),66), ((13),67), ((6),68), ((20),69), ((24),70), ((-15),71), ((-5),72), ((-48),73), ((-19),74)], (905)), ("GEQ", [((-36),0), ((-11),1), ((-41),2), ((-35),3), ((-34),4), ((2),5), ((-32),6), ((81),7), ((-44),8), ((99),9), ((34),10), ((82),12), ((-15),13), ((-12),14), ((-36),15), ((20),16), ((-61),17), ((36),18), ((-15),19), ((59),20), ((32),21), ((-11),22), ((-11),23), ((32),24), ((-64),25), ((-23),26), ((-40),27), ((-60),28), ((69),29), ((19),30), ((23),31), ((-37),32), ((-40),33), ((58),34), ((-12),35), ((21),36), ((-6),37), ((-27),38), ((18),39), ((6),40), ((63),41), ((56),42), ((-75),43), ((-72),44), ((10),45), ((-27),46), ((2),47), ((16),48), ((-64),49), ((-76),50), ((-28),51), ((28),52), ((3),53), ((5),54), ((42),55), ((-15),56), ((4),57), ((13),58), ((-50),59), ((-21),60), ((-34),61), ((-31),62), ((64),63), ((-16),64), ((11),65), ((32),66), ((-7),67), ((-5),68), ((65),69), ((38),70), ((-22),71), ((6),72), ((12),73), ((-17),74)], (630)), ("GEQ", [((-97),0), ((118),1), ((-137),2), ((-31),3), ((17),4), ((-93),5), ((-12),6), ((-48),7), ((-35),8), ((37),9), ((92),10), ((-76),11), ((-21),12), ((-159),13), ((128),14), ((-29),15), ((-16),16), ((76),17), ((58),18), ((-17),19), ((-52),20), ((36),21), ((-30),22), ((82),23), ((17),24), ((-32),25), ((-98),26), ((-35),27), ((-27),28), ((58),29), ((70),30), ((27),31), ((68),32), ((-83),33), ((43),34), ((-48),35), ((60),36), ((40),37), ((-98),38), ((17),39), ((84),40), ((-3),41), ((53),42), ((64),43), ((-49),44), ((42),45), ((30),46), ((76),47), ((35),48), ((-5),49), ((-94),50), ((-13),51), ((101),52), ((-132),53), ((-105),54), ((84),55), ((68),56), ((-46),57), ((-50),58), ((-15),59), ((-32),60), ((-79),61), ((-80),62), ((64),63), ((-74),64), ((-29),65), ((71),66), ((-49),67), ((-4),68), ((2),69), ((-40),70), ((45),71), ((32),72), ((81),73), ((30),74)], (-1017)), ("GEQ", [((14),0), ((59),1), ((70),2), ((44),3), ((73),4), ((47),5), ((36),6), ((-40),7), ((-35),8), ((-103),9), ((-46),10), ((2),11), ((-52),12), ((34),13), ((18),14), ((72),15), ((29),16), ((10),17), ((-20),18), ((35),19), ((-92),20), ((-78),21), ((5),22), ((99),23), ((-39),24), ((72),25), ((70),26), ((-54),27), ((94),28), ((-65),29), ((-73),30), ((55),31), ((65),32), ((37),33), ((-45),34), ((-31),35), ((-19),36), ((5),37), ((73),38), ((34),39), ((-5),40), ((-29),41), ((-57),42), ((99),43), ((105),44), ((-13),45), ((15),46), ((82),47), ((-39),48), ((86),49), ((144),50), ((40),51), ((10),52), ((-40),53), ((-78),54), ((-2),56), ((43),57), ((-56),58), ((38),59), ((-6),60), ((74),61), ((27),62), ((-117),63), ((48),64), ((-94),65), ((-71),66), ((53),67), ((-9),68), ((-74),69), ((-10),70), ((-55),71), ((-49),72), ((-16),73), ((1),74)], (-1132)), ("GEQ", [((87),0), ((-164),1), ((35),2), ((-6),3), ((-89),4), ((-59),5), ((3),6), ((-125),7), ((216),8), ((-84),9), ((-1),10), ((49),11), ((-102),12), ((51),13), ((-74),14), ((-51),15), ((-105),16), ((124),17), ((-49),18), ((-77),19), ((67),20), ((57),21), ((17),22), ((-237),23), ((23),24), ((26),25), ((-48),26), ((257),27), ((-51),28), ((-74),29), ((87),30), ((-191),31), ((-56),32), ((47),33), ((-72),34), ((97),35), ((-54),36), ((-26),37), ((-66),38), ((-108),39), ((-34),40), ((-115),41), ((-53),42), ((-3),43), ((-24),44), ((13),45), ((22),46), ((-195),47), ((34),48), ((-13),49), ((-64),50), ((18),51), ((-149),52), ((154),53), ((227),54), ((-117),55), ((6),56), ((-83),57), ((86),58), ((26),59), ((78),60), ((-37),61), ((81),62), ((59),63), ((-23),64), ((184),65), ((54),66), ((-74),67), ((53),68), ((11),69), ((-72),70), ((172),71), ((97),72), ((-58),73), ((14),74)], (1600)), ("GEQ", [((-161),0), ((199),1), ((-210),2), ((-50),3), ((28),4), ((-53),5), ((-40),6), ((168),7), ((-225),8), ((258),9), ((101),10), ((-86),11), ((161),12), ((-165),13), ((100),14), ((-25),15), ((111),16), ((-120),17), ((112),18), ((90),19), ((40),20), ((67),21), ((-24),22), ((212),23), ((16),24), ((-114),25), ((-90),26), ((-282),27), ((-4),28), ((199),29), ((24),30), ((175),31), ((51),32), ((-134),33), ((147),34), ((-93),35), ((130),36), ((66),37), ((-35),38), ((109),39), ((88),40), ((179),41), ((170),42), ((-99),43), ((-122),44), ((15),45), ((-54),46), ((175),47), ((12),48), ((-103),49), ((-105),50), ((-96),51), ((238),52), ((-199),53), ((-261),54), ((194),55), ((-16),56), ((60),57), ((-80),58), ((-78),59), ((-101),60), ((-62),61), ((-190),62), ((92),63), ((-58),64), ((-155),65), ((-7),66), ((6),67), ((-79),68), ((15),69), ((79),70), ((-126),71), ((-50),72), ((109),73), ((-19),74)], (-1131)), ("GEQ", [((66),0), ((-69),1), ((127),2), ((1),3), ((14),4), ((73),5), ((30),6), ((1),7), ((58),8), ((-109),9), ((-43),10), ((52),11), ((-38),12), ((118),13), ((-68),14), ((58),15), ((5),16), ((-38),17), ((-50),18), ((-5),19), ((-3),20), ((-39),21), ((38),22), ((-79),23), ((19),24), ((62),25), ((61),26), ((44),27), ((32),28), ((-69),29), ((-43),30), ((-27),31), ((-29),32), ((95),33), ((-73),34), ((24),35), ((-45),36), ((-77),37), ((108),38), ((-33),39), ((-60),40), ((-36),41), ((-70),42), ((34),43), ((61),44), ((-30),45), ((16),46), ((-67),47), ((-29),48), ((20),49), ((97),50), ((24),51), ((-97),52), ((82),53), ((30),54), ((-96),55), ((-39),56), ((12),57), ((2),58), ((50),59), ((49),60), ((61),61), ((57),62), ((-59),63), ((69),64), ((18),65), ((-63),66), ((53),67), ((17),68), ((1),69), ((6),70), ((15),71), ((-19),72), ((-54),73), ((-15),74)], (834)), ("GEQ", [((-149),0), ((191),1), ((-127),2), ((-59),3), ((52),4), ((-2),5), ((-33),6), ((160),7), ((-225),8), ((163),9), ((77),10), ((-114),11), ((130),12), ((-192),13), ((156),14), ((26),15), ((52),16), ((-93),17), ((73),18), ((114),19), ((-78),20), ((-4),21), ((5),22), ((249),23), ((-3),24), ((-100),25), ((-42),26), ((-265),27), ((-1),28), ((145),29), ((-2),30), ((172),31), ((38),32), ((-86),33), ((131),34), ((-135),35), ((97),36), ((28),37), ((4),38), ((61),39), ((88),40), ((133),41), ((142),42), ((-48),43), ((-78),44), ((-46),45), ((-46),46), ((165),47), ((-16),48), ((-60),49), ((-119),50), ((-79),51), ((214),52), ((-230),53), ((-286),54), ((149),55), ((44),56), ((23),57), ((-73),58), ((-47),59), ((-68),60), ((-64),61), ((-167),62), ((63),63), ((-45),64), ((-161),65), ((26),66), ((28),67), ((-92),68), ((51),69), ((74),70), ((-125),71), ((-80),72), ((194),73), ((32),74)], (-1462))]
[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]