[("GEQ", [((2),1), ((1),2), ((1),4), ((-2),6), ((-2),8), ((-2),10), ((1),11), ((-2),12), ((2),14), ((1),15), ((-2),16), ((1),18), ((2),19), ((1),20), ((-1),21), ((1),23), ((-2),24), ((1),25), ((1),27), ((1),28), ((-2),29), ((-1),30), ((2),31), ((-1),32), ((-2),33), ((-2),34), ((2),38), ((-2),42), ((-1),43), ((1),44), ((1),46), ((2),47), ((-2),50), ((2),51), ((1),52), ((-1),53), ((2),57), ((2),58), ((-1),59), ((-1),60), ((-2),61), ((2),62), ((2),64), ((2),67), ((-2),71), ((1),73), ((1),74)], (41)), ("GEQ", [((2),0), ((1),1), ((-1),4), ((1),5), ((2),6), ((2),8), ((2),10), ((-1),11), ((1),14), ((1),16), ((-2),19), ((-1),20), ((-2),22), ((-1),25), ((-2),26), ((-1),28), ((-2),29), ((1),31), ((2),33), ((2),34), ((-2),36), ((-1),37), ((2),40), ((-2),41), ((-1),49), ((-2),50), ((-2),51), ((1),54), ((1),55), ((-2),56), ((-1),57), ((2),60), ((2),61), ((-1),62), ((-2),65), ((-1),68), ((2),69), ((-1),70), ((-2),71), ((-1),72)], (-13)), ("GEQ", [((2),0), ((1),1), ((-1),2), ((2),6), ((2),7), ((-1),8), ((-1),12), ((-1),13), ((-2),14), ((1),15), ((2),18), ((-2),19), ((1),20), ((2),21), ((1),22), ((2),24), ((2),26), ((1),27), ((-1),28), ((1),29), ((-1),32), ((-1),33), ((-2),34), ((1),36), ((2),39), ((1),41), ((-2),42), ((2),43), ((-1),44), ((-1),46), ((-2),47), ((1),51), ((-1),52), ((2),53), ((2),55), ((-1),56), ((-2),59), ((2),60), ((1),63), ((2),65), ((1),66), ((-2),67), ((-2),68), ((1),69), ((1),70), ((-1),74)], (-5)), ("GEQ", [((-1),0), ((1),3), ((-2),4), ((2),5), ((-2),10), ((2),14), ((-1),15), ((2),17), ((-1),20), ((1),24), ((-2),25), ((-2),26), ((1),27), ((-2),28), ((2),31), ((1),34), ((2),35), ((1),40), ((-1),43), ((2),44), ((2),45), ((-2),46), ((-2),47), ((-2),49), ((2),50), ((2),57), ((-1),58), ((2),59), ((1),62), ((2),63), ((-2),66), ((2),67), ((-1),69), ((1),74)], (7)), ("GEQ", [((-1),1), ((2),5), ((1),7), ((-2),10), ((2),12), ((1),13), ((2),15), ((1),19), ((-2),20), ((-1),23), ((1),24), ((-2),26), ((-1),27), ((2),28), ((-2),29), ((1),30), ((1),31), ((1),32), ((1),34), ((1),35), ((-1),38), ((-2),39), ((2),40), ((-2),41), ((2),42), ((2),43), ((-2),45), ((2),46), ((-1),48), ((1),49), ((-1),51), ((-2),52), ((1),53), ((-2),55), ((-2),57), ((2),58), ((2),59), ((-2),60), ((1),65), ((-1),66), ((1),68), ((2),70), ((1),71), ((1),72), ((1),73), ((1),74)], (-15)), ("GEQ", [((2),0), ((1),1), ((-2),4), ((-2),5), ((-2),6), ((2),7), ((-2),8), ((-2),9), ((2),11), ((2),12), ((1),13), ((-1),15), ((1),16), ((-2),17), ((1),21), ((-1),23), ((-1),26), ((-1),27), ((-1),30), ((-2),31), ((1),32), ((1),37), ((-1),40), ((2),41), ((-2),44), ((1),45), ((-2),48), ((-1),51), ((-1),52), ((1),53), ((2),54), ((2),56), ((1),57), ((-2),58), ((2),59), ((-1),61), ((-1),62), ((1),63), ((1),64), ((-1),65), ((1),66), ((2),69), ((-2),70), ((1),71), ((-2),72), ((-1),73), ((-1),74)], (3)), ("GEQ", [((2),0), ((-1),1), ((-1),3), ((2),5), ((-2),6), ((2),7), ((-1),8), ((1),9), ((1),10), ((-2),12), ((-2),13), ((2),14), ((2),16), ((1),17), ((2),18), ((1),19), ((1),20), ((2),21), ((-2),23), ((1),24), ((2),25), ((-2),26), ((-1),27), ((-1),28), ((-1),29), ((-1),30), ((-2),33), ((-2),34), ((-2),36), ((1),38), ((2),39), ((-2),40), ((1),43), ((-2),44), ((-2),45), ((1),46), ((1),48), ((1),49), ((2),50), ((2),51), ((2),52), ((-2),53), ((1),54), ((-2),56), ((1),58), ((-2),61), ((1),62), ((1),63), ((2),65), ((-2),67), ((1),68), ((-1),71), ((1),72)], (7)), ("GEQ", [((-1),0), ((-2),2), ((-1),3), ((-1),4), ((-1),5), ((1),6), ((-1),10), ((2),11), ((1),13), ((-1),14), ((-2),18), ((-2),20), ((1),22), ((-1),23), ((-1),24), ((1),25), ((2),28), ((1),29), ((1),34), ((1),35), ((2),38), ((2),39), ((-2),41), ((2),42), ((1),46), ((1),49), ((1),50), ((-1),51), ((2),55), ((-1),56), ((2),58), ((-1),59), ((1),60), ((1),61), ((2),66), ((2),67), ((-2),68), ((2),69), ((2),71), ((-2),74)], (-15)), ("GEQ", [((-1),1), ((1),2), ((-2),4), ((2),5), ((2),6), ((2),8), ((-2),9), ((2),13), ((-2),16), ((2),18), ((-2),19), ((-2),20), ((-1),21), ((1),22), ((1),23), ((2),24), ((2),25), ((1),26), ((1),30), ((-2),33), ((1),35), ((2),36), ((-1),37), ((-1),38), ((-1),40), ((1),42), ((2),43), ((1),45), ((-2),47), ((-1),48), ((1),50), ((-2),53), ((-2),55), ((2),56), ((-2),57), ((-2),59), ((2),62), ((1),64), ((-2),67), ((2),68), ((-2),70), ((-1),72), ((-1),73)], (-11)), ("GEQ", [((-2),0), ((2),2), ((2),4), ((-2),6), ((2),8), ((-2),9), ((2),12), ((2),15), ((-2),16), ((2),17), ((2),21), ((2),22), ((1),23), ((1),25), ((-1),28), ((-1),29), ((-1),30), ((1),31), ((1),32), ((1),33), ((2),34), ((-2),36), ((2),38), ((1),39), ((2),42), ((2),43), ((2),44), ((-2),52), ((-2),54), ((2),55), ((-1),57), ((1),59), ((2),60), ((-1),61), ((-1),62), ((-2),63), ((1),64), ((2),66), ((-2),68), ((2),74)], (-8)), ("GEQ", [((2),0), ((-1),2), ((1),4), ((1),5), ((2),6), ((-2),9), ((2),13), ((1),14), ((-2),16), ((1),20), ((2),26), ((2),29), ((1),32), ((1),33), ((-1),35), ((-2),37), ((1),39), ((2),40), ((-2),41), ((-2),42), ((-1),43), ((1),45), ((2),46), ((-1),48), ((-2),49), ((-2),50), ((-2),51), ((2),54), ((-1),57), ((2),59), ((1),60), ((-1),63), ((1),67), ((2),69), ((-1),74)], (4)), ("GEQ", [((-2),2), ((-2),3), ((2),4), ((2),6), ((-1),7), ((-1),8), ((-1),9), ((1),10), ((-2),11), ((-2),12), ((1),13), ((-1),16), ((1),20), ((-1),25), ((1),26), ((1),27), ((-1),28), ((-1),29), ((-1),31), ((1),33), ((1),34), ((-1),36), ((2),37), ((-1),38), ((1),40), ((2),41), ((-1),44), ((-1),46), ((2),47), ((-2),48), ((-2),53), ((-1),57), ((1),58), ((-1),62), ((-1),64), ((2),65), ((1),66), ((2),67), ((-2),68), ((2),70), ((2),72), ((-1),73), ((1),74)], (0)), ("GEQ", [((-2),0), ((1),2), ((2),5), ((2),9), ((2),10), ((-2),11), ((1),12), ((2),13), ((2),14), ((1),15), ((-1),17), ((-2),19), ((1),20), ((2),21), ((-2),22), ((1),24), ((-1),26), ((-1),27), ((1),28), ((-2),29), ((-1),31), ((-2),33), ((2),34), ((2),38), ((2),39), ((1),40), ((-1),42), ((1),45), ((2),46), ((-1),47), ((2),49), ((-2),50), ((-1),53), ((2),54), ((1),55), ((-1),59), ((-2),62), ((2),63), ((1),65), ((-1),66), ((-1),67), ((2),68), ((2),70), ((2),71), ((-1),72), ((2),73), ((1),74)], (-9)), ("GEQ", [((2),0), ((1),2), ((1),3), ((1),5), ((1),6), ((1),9), ((2),10), ((2),12), ((1),13), ((2),14), ((-2),15), ((1),16), ((2),17), ((2),19), ((1),20), ((2),21), ((-1),22), ((1),23), ((-1),24), ((1),25), ((-1),26), ((1),28), ((-1),29), ((1),33), ((1),34), ((-2),39), ((-2),40), ((-1),42), ((-2),45), ((-2),47), ((1),48), ((-1),50), ((1),51), ((1),53), ((-1),54), ((-1),56), ((1),57), ((1),60), ((-1),61), ((1),62), ((2),67), ((2),69), ((2),70), ((2),71), ((-1),73)], (9)), ("GEQ", [((1),1), ((1),2), ((-1),4), ((-2),5), ((-1),6), ((1),7), ((1),8), ((-2),11), ((-2),13), ((-2),14), ((2),15), ((-2),16), ((-1),17), ((1),20), ((2),21), ((1),22), ((1),23), ((-2),24), ((2),27), ((-2),28), ((2),29), ((-2),30), ((-1),33), ((1),34), ((1),35), ((1),36), ((1),37), ((2),39), ((-1),42), ((2),43), ((-2),44), ((-1),45), ((-2),46), ((-1),47), ((-1),49), ((-2),50), ((1),52), ((2),53), ((-2),58), ((1),60), ((-2),61), ((-2),65), ((-1),66), ((-1),68), ((-2),69), ((-2),70)], (-7)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((2),3), ((1),6), ((2),7), ((-1),8), ((1),9), ((1),11), ((-1),12), ((1),13), ((-2),16), ((2),18), ((2),20), ((2),21), ((-2),23), ((2),24), ((1),25), ((-1),26), ((1),28), ((-1),30), ((-2),31), ((1),32), ((2),34), ((-1),38), ((2),40), ((1),43), ((1),48), ((-1),49), ((-2),50), ((-2),52), ((-1),53), ((-1),54), ((1),55), ((-2),56), ((-1),58), ((-1),59), ((2),60), ((-2),61), ((1),62), ((-1),64), ((-2),65), ((-1),66), ((1),68), ((2),69), ((2),72), ((-2),73), ((-2),74)], (1)), ("GEQ", [((1),0), ((-2),1), ((1),2), ((-1),3), ((-2),4), ((1),6), ((-2),7), ((1),11), ((1),12), ((2),15), ((-1),16), ((-2),18), ((1),19), ((-1),22), ((-1),27), ((-2),28), ((2),29), ((-2),31), ((1),33), ((-2),34), ((-2),35), ((1),36), ((-2),37), ((2),38), ((2),39), ((2),42), ((-1),44), ((-1),46), ((-1),47), ((1),48), ((2),50), ((1),51), ((1),52), ((2),53), ((1),54), ((-1),55), ((1),56), ((2),58), ((-1),59), ((-1),61), ((2),65), ((2),67), ((-2),68), ((-1),69), ((1),72)], (41)), ("GEQ", [((-1),0), ((2),1), ((2),2), ((-1),3), ((-1),4), ((1),5), ((1),6), ((-2),8), ((-2),9), ((-2),10), ((2),11), ((-1),15), ((-2),17), ((-1),20), ((-1),21), ((1),22), ((2),23), ((-2),25), ((-1),26), ((-2),27), ((2),28), ((-1),30), ((-1),33), ((2),34), ((-1),37), ((2),38), ((2),41), ((-1),42), ((1),43), ((-1),45), ((-1),46), ((1),47), ((-2),48), ((2),49), ((2),50), ((-1),51), ((2),52), ((-1),54), ((2),56), ((1),60), ((2),61), ((-2),62), ((-1),63), ((1),64), ((2),66), ((1),67), ((-1),68), ((-1),69)], (21)), ("GEQ", [((-2),2), ((1),5), ((1),9), ((1),17), ((-1),18), ((2),20), ((-1),21), ((-2),22), ((2),23), ((-1),24), ((-2),26), ((2),28), ((1),29), ((1),30), ((-2),31), ((2),32), ((1),33), ((1),34), ((2),35), ((-1),39), ((-1),41), ((2),42), ((-1),48), ((2),49), ((2),50), ((-1),52), ((-2),53), ((-1),54), ((-2),57), ((-2),58), ((-1),61), ((1),62), ((2),63), ((-2),64), ((1),66), ((1),68), ((-2),70), ((-2),72), ((1),74)], (-17)), ("GEQ", [((-1),0), ((2),1), ((1),9), ((-1),10), ((2),11), ((-1),12), ((-2),14), ((-2),17), ((1),18), ((-1),19), ((-2),21), ((-1),25), ((1),26), ((-1),28), ((-1),31), ((-2),32), ((2),33), ((-1),34), ((-1),36), ((-1),40), ((1),41), ((-2),43), ((-1),44), ((-2),45), ((2),48), ((-2),49), ((1),51), ((-2),52), ((2),53), ((-2),54), ((-2),56), ((2),57), ((2),59), ((2),61), ((1),62), ((1),64), ((2),66), ((-1),68), ((2),69), ((2),70), ((2),72), ((1),73), ((1),74)], (-11)), ("GEQ", [((-1),0), ((-1),2), ((1),4), ((-1),8), ((2),10), ((-1),11), ((1),17), ((-2),18), ((-1),19), ((2),21), ((2),22), ((1),24), ((-1),25), ((-2),26), ((-1),27), ((-1),30), ((1),31), ((1),35), ((1),36), ((2),38), ((1),40), ((2),43), ((2),44), ((-1),45), ((-2),46), ((-2),48), ((1),49), ((-1),50), ((-1),52), ((1),53), ((-2),55), ((-1),57), ((-1),58), ((1),59), ((1),61), ((2),63), ((2),65), ((-2),69), ((1),70), ((-1),71), ((2),73)], (-5)), ("GEQ", [((2),0), ((2),1), ((2),2), ((2),3), ((-1),4), ((2),6), ((-1),7), ((-1),10), ((1),12), ((1),13), ((1),16), ((-2),17), ((1),18), ((1),19), ((-2),20), ((1),22), ((1),23), ((-2),24), ((-2),25), ((-2),26), ((-1),27), ((-2),28), ((1),29), ((-2),30), ((-2),31), ((1),33), ((-1),35), ((-1),36), ((-2),37), ((2),38), ((2),39), ((-2),41), ((-2),44), ((-1),47), ((-2),49), ((2),50), ((1),52), ((1),53), ((-2),54), ((-2),55), ((1),58), ((-1),59), ((-2),60), ((-1),61), ((-2),62), ((2),63), ((-1),64), ((1),66), ((1),67), ((1),69), ((2),70), ((1),72), ((-2),73)], (11)), ("GEQ", [((-2),0), ((-1),3), ((-1),4), ((1),5), ((-2),8), ((-1),10), ((-1),12), ((2),14), ((-1),16), ((1),18), ((-1),19), ((-2),21), ((2),25), ((2),31), ((1),32), ((2),33), ((1),34), ((2),35), ((-1),36), ((-1),37), ((1),38), ((-1),40), ((-2),41), ((-1),44), ((2),45), ((2),46), ((1),47), ((2),48), ((1),50), ((2),52), ((-1),53), ((1),60), ((-1),61), ((1),63), ((1),64), ((-1),66), ((-2),67), ((1),71)], (6)), ("GEQ", [((2),3), ((1),4), ((2),6), ((-1),9), ((-2),10), ((-1),11), ((-1),12), ((-2),13), ((-1),15), ((-2),16), ((2),20), ((-2),21), ((2),24), ((1),25), ((2),28), ((-1),29), ((2),31), ((-2),33), ((1),35), ((-2),37), ((2),38), ((1),40), ((-1),41), ((1),42), ((-2),44), ((-1),46), ((-2),47), ((-2),48), ((-2),49), ((-2),51), ((2),54), ((2),55), ((1),56), ((2),59), ((1),60), ((1),64), ((2),65), ((1),69), ((-2),70), ((2),71), ((1),73)], (6)), ("GEQ", [((1),0), ((1),2), ((1),3), ((1),6), ((-1),7), ((2),9), ((1),10), ((1),11), ((2),14), ((-1),15), ((-2),16), ((1),17), ((-1),18), ((2),19), ((-2),23), ((1),24), ((-2),25), ((1),26), ((-1),27), ((1),28), ((1),29), ((-1),30), ((-2),35), ((2),36), ((-1),37), ((1),38), ((-2),40), ((-2),42), ((1),43), ((1),44), ((2),45), ((-2),46), ((-1),49), ((-2),50), ((-2),52), ((2),53), ((-2),55), ((-1),56), ((-2),58), ((-1),61), ((1),62), ((-2),66), ((2),67), ((1),69), ((-1),71), ((-1),72), ((2),73), ((-2),74)], (24)), ("GEQ", [((-2),0), ((-2),2), ((2),3), ((-1),4), ((2),5), ((-2),6), ((-1),10), ((2),11), ((-2),12), ((1),14), ((1),16), ((-2),19), ((-2),22), ((1),23), ((-2),24), ((1),27), ((-1),31), ((1),33), ((1),34), ((-2),35), ((2),36), ((2),37), ((-2),38), ((1),39), ((-1),43), ((-1),44), ((1),45), ((2),46), ((-2),48), ((2),49), ((-1),50), ((1),51), ((1),52), ((2),53), ((-2),56), ((-2),57), ((2),59), ((-2),66), ((1),67), ((-1),68), ((2),70), ((2),71), ((-1),72), ((1),73)], (8)), ("GEQ", [((-2),5), ((1),8), ((-1),9), ((1),10), ((2),11), ((-2),13), ((1),16), ((1),17), ((-2),18), ((1),19), ((2),20), ((-1),24), ((-1),27), ((-1),28), ((2),29), ((2),30), ((2),31), ((2),32), ((-1),33), ((-2),35), ((-2),36), ((-1),38), ((1),39), ((-1),42), ((1),43), ((-1),46), ((-2),47), ((2),51), ((1),53), ((1),56), ((-2),58), ((-2),59), ((-2),61), ((-1),62), ((1),63), ((2),64), ((1),66), ((2),67), ((-1),70), ((-2),72), ((-2),73), ((-2),74)], (55)), ("GEQ", [((-2),0), ((-2),4), ((1),5), ((-2),9), ((1),10), ((1),12), ((2),14), ((-1),15), ((2),17), ((-1),18), ((-2),22), ((-2),23), ((1),24), ((-2),25), ((-2),27), ((2),28), ((1),31), ((2),32), ((-1),35), ((1),39), ((-2),40), ((2),41), ((-1),42), ((1),43), ((-1),45), ((-2),47), ((2),48), ((1),50), ((2),51), ((-2),52), ((-2),53), ((-2),54), ((1),55), ((-1),56), ((-1),57), ((-1),58), ((-2),59), ((-2),60), ((-1),63), ((1),64), ((1),67), ((-2),68), ((2),69), ((1),70), ((1),73), ((2),74)], (41)), ("GEQ", [((1),0), ((-1),2), ((-2),4), ((-2),5), ((2),6), ((-2),9), ((1),10), ((1),11), ((2),13), ((2),15), ((-1),17), ((-2),19), ((-2),21), ((-1),22), ((2),24), ((-1),25), ((-1),33), ((2),35), ((-2),38), ((-2),39), ((-1),40), ((-1),42), ((-2),43), ((-1),45), ((-2),46), ((1),47), ((-1),50), ((2),51), ((2),53), ((1),54), ((1),55), ((1),58), ((2),59), ((-2),62), ((-2),64), ((-1),65), ((-1),66), ((2),68), ((2),70)], (-26)), ("GEQ", [((-1),1), ((-1),2), ((1),4), ((-1),7), ((2),8), ((-1),12), ((2),15), ((-2),18), ((-1),19), ((1),21), ((-2),22), ((2),23), ((-2),25), ((1),26), ((1),27), ((2),30), ((2),31), ((2),32), ((-1),33), ((1),36), ((1),38), ((-2),43), ((2),44), ((1),47), ((-2),48), ((1),49), ((1),52), ((-1),53), ((-1),55), ((1),56), ((-2),60), ((-1),62), ((-1),63), ((1),64), ((1),65), ((2),67), ((-2),72)], (14)), ("GEQ", [((2),0), ((-2),2), ((-2),3), ((-1),5), ((-2),7), ((1),8), ((1),11), ((1),13), ((-1),14), ((-1),15), ((-2),18), ((1),19), ((2),22), ((-2),23), ((-1),24), ((1),25), ((1),26), ((2),27), ((-2),29), ((-1),30), ((1),34), ((1),36), ((-1),38), ((1),40), ((1),42), ((2),43), ((1),45), ((1),46), ((-1),47), ((-1),49), ((2),50), ((-1),51), ((2),53), ((-1),54), ((1),55), ((-2),56), ((-1),57), ((-2),58), ((-1),59), ((-2),60), ((2),61), ((2),62), ((-2),66), ((1),70), ((-2),71), ((1),72)], (-78)), ("GEQ", [((-2),2), ((2),4), ((-2),6), ((1),7), ((1),8), ((-1),9), ((1),10), ((-1),12), ((-1),13), ((-1),14), ((-2),15), ((2),16), ((2),17), ((-2),18), ((-2),20), ((-1),21), ((-2),22), ((-2),23), ((-2),25), ((-1),26), ((2),27), ((2),28), ((1),29), ((-2),30), ((1),31), ((-2),32), ((-2),33), ((2),34), ((2),35), ((-1),36), ((1),38), ((1),39), ((1),40), ((-2),42), ((-2),43), ((-2),44), ((2),47), ((-1),52), ((-2),57), ((-2),58), ((2),60), ((-1),62), ((-1),64), ((2),65), ((-1),66), ((-2),67), ((-1),69), ((2),70), ((-2),71), ((1),72)], (-35)), ("GEQ", [((1),1), ((1),3), ((-1),5), ((2),7), ((2),8), ((1),9), ((2),10), ((2),12), ((2),13), ((-2),14), ((-2),15), ((-1),16), ((-2),17), ((2),19), ((2),20), ((2),21), ((2),23), ((-2),24), ((-1),25), ((2),26), ((2),27), ((1),29), ((1),30), ((2),31), ((-2),33), ((-1),34), ((2),36), ((-1),37), ((2),38), ((1),40), ((-2),42), ((-1),43), ((-1),44), ((2),45), ((-1),48), ((-2),49), ((2),52), ((-1),54), ((1),55), ((-1),56), ((2),57), ((-2),58), ((2),59), ((2),62), ((1),63), ((-2),64), ((-1),66), ((2),68), ((-1),69), ((-2),70), ((2),71), ((1),72), ((1),73), ((1),74)], (-22)), ("GEQ", [((1),1), ((1),2), ((2),3), ((2),6), ((1),7), ((-1),8), ((-1),9), ((-1),11), ((-1),15), ((2),16), ((-1),20), ((-2),22), ((1),24), ((2),25), ((1),27), ((2),28), ((2),31), ((-1),32), ((2),33), ((-1),34), ((2),35), ((2),37), ((-2),38), ((-2),39), ((-1),40), ((2),41), ((1),43), ((-1),45), ((-2),47), ((2),48), ((-2),52), ((1),54), ((-2),56), ((-2),57), ((2),60), ((1),63), ((-1),64), ((2),69), ((-1),70), ((1),72), ((1),74)], (-5)), ("GEQ", [((-1),0), ((2),1), ((-1),3), ((2),4), ((1),9), ((-2),10), ((-2),11), ((-2),12), ((-1),13), ((-2),16), ((-1),22), ((-2),23), ((1),24), ((-1),27), ((-2),28), ((-1),29), ((-1),30), ((-2),32), ((-1),34), ((1),35), ((-2),36), ((1),37), ((1),38), ((-2),43), ((-2),44), ((1),47), ((1),49), ((-1),53), ((-2),55), ((-1),56), ((1),58), ((-2),59), ((1),60), ((-2),62), ((2),63), ((-2),65), ((-2),66), ((-1),67), ((1),68), ((2),70), ((1),74)], (-14)), ("GEQ", [((1),0), ((2),2), ((-1),3), ((-2),7), ((1),8), ((-2),9), ((-2),10), ((2),11), ((-2),12), ((-2),13), ((-1),14), ((2),15), ((-2),17), ((2),18), ((-2),20), ((2),21), ((-2),22), ((-2),24), ((2),25), ((1),26), ((-2),27), ((-1),28), ((-1),30), ((-2),31), ((1),32), ((-2),35), ((-1),37), ((-1),38), ((-1),39), ((2),41), ((-1),43), ((-2),48), ((2),50), ((1),53), ((2),54), ((1),56), ((-2),58), ((-1),60), ((2),61), ((2),63), ((2),64), ((2),65), ((1),67), ((-2),68), ((2),71), ((2),72), ((-1),74)], (-25)), ("GEQ", [((-2),1), ((1),2), ((-1),3), ((-2),4), ((-2),5), ((2),7), ((-2),9), ((-2),10), ((-2),14), ((-2),17), ((1),21), ((1),22), ((-1),23), ((-2),24), ((-2),26), ((2),29), ((-1),30), ((-2),31), ((-1),32), ((1),33), ((2),34), ((2),35), ((-2),36), ((1),37), ((-1),39), ((1),42), ((-2),44), ((-2),47), ((2),48), ((2),49), ((-1),50), ((-2),51), ((2),53), ((-2),54), ((1),55), ((-2),57), ((2),58), ((-1),59), ((-1),60), ((2),62), ((-1),63), ((-1),65), ((1),66), ((2),68), ((-2),70), ((-1),72), ((-1),73)], (14)), ("GEQ", [((2),1), ((-1),7), ((2),11), ((-2),12), ((2),13), ((1),14), ((1),15), ((-1),16), ((2),17), ((1),18), ((1),19), ((2),21), ((1),22), ((-2),24), ((2),25), ((1),26), ((-1),28), ((2),30), ((1),31), ((-2),32), ((2),33), ((-1),35), ((1),36), ((-1),37), ((1),38), ((2),39), ((-1),40), ((-2),42), ((2),43), ((2),44), ((2),46), ((-1),48), ((-1),50), ((-2),52), ((2),53), ((-1),54), ((2),56), ((-1),57), ((1),59), ((-2),61), ((-2),63), ((2),67), ((1),68), ((1),69), ((-1),70), ((1),71), ((-1),73), ((-2),74)], (13)), ("GEQ", [((2),2), ((-1),3), ((1),4), ((-2),5), ((-1),8), ((1),12), ((-1),14), ((-1),16), ((-2),17), ((2),18), ((1),19), ((-2),20), ((-2),21), ((2),24), ((-2),25), ((-2),26), ((1),28), ((-1),29), ((2),31), ((-2),32), ((1),36), ((1),39), ((1),41), ((2),42), ((-2),43), ((-2),44), ((2),47), ((-2),48), ((1),49), ((2),50), ((1),51), ((2),52), ((1),53), ((-2),57), ((-2),58), ((2),59), ((-2),62), ((-1),63), ((1),64), ((2),65), ((-1),66), ((1),69), ((-2),70), ((-1),71), ((-2),72), ((2),73), ((1),74)], (13)), ("GEQ", [((1),0), ((-2),2), ((-1),6), ((-1),7), ((1),8), ((1),10), ((-1),12), ((1),13), ((-2),14), ((-1),15), ((2),17), ((2),18), ((2),19), ((-1),20), ((-2),21), ((1),22), ((-2),23), ((-2),24), ((2),26), ((1),27), ((2),29), ((-1),31), ((-1),33), ((2),35), ((-2),38), ((2),40), ((-1),42), ((-2),45), ((2),48), ((2),49), ((1),50), ((2),51), ((-2),53), ((1),54), ((1),55), ((1),56), ((-1),61), ((-2),65), ((1),66), ((1),67), ((-2),68), ((-1),69), ((1),71), ((2),73), ((-1),74)], (-17)), ("GEQ", [((2),0), ((2),2), ((2),3), ((-2),5), ((2),7), ((-1),8), ((-1),9), ((2),10), ((-2),11), ((1),12), ((-1),13), ((2),14), ((-2),15), ((2),17), ((2),18), ((1),19), ((1),21), ((1),24), ((2),28), ((1),32), ((-1),33), ((-2),35), ((1),37), ((1),38), ((2),39), ((2),40), ((1),41), ((2),43), ((-2),44), ((1),45), ((1),49), ((1),50), ((-1),52), ((-2),53), ((2),56), ((1),57), ((-2),63), ((-1),64), ((-1),70), ((-1),71), ((-2),72), ((-2),74)], (24)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((1),5), ((2),6), ((1),7), ((-2),10), ((-1),11), ((1),12), ((-1),15), ((2),18), ((1),19), ((-1),20), ((-1),21), ((2),22), ((-2),24), ((2),25), ((-1),26), ((2),27), ((2),29), ((1),32), ((2),35), ((-1),37), ((-1),38), ((-1),39), ((-2),40), ((1),41), ((-2),42), ((-1),43), ((1),44), ((-2),46), ((-1),47), ((1),49), ((-2),50), ((-1),51), ((2),52), ((-2),54), ((-2),55), ((1),56), ((-1),60), ((2),63), ((-2),64), ((1),65), ((1),66), ((2),68), ((2),69), ((-2),70), ((2),71), ((2),73)], (26)), ("GEQ", [((2),0), ((-2),1), ((2),3), ((1),4), ((2),5), ((1),7), ((-2),8), ((-2),9), ((-1),12), ((1),13), ((2),14), ((-1),15), ((-2),17), ((-1),18), ((1),19), ((-2),21), ((-1),22), ((-1),23), ((1),24), ((2),25), ((-1),26), ((-2),29), ((1),33), ((-1),34), ((2),35), ((-1),37), ((-1),38), ((1),39), ((2),41), ((1),43), ((-1),44), ((2),46), ((-1),47), ((1),51), ((1),53), ((-1),54), ((1),55), ((2),56), ((-2),60), ((-1),61), ((2),64), ((-1),65), ((1),68), ((1),69), ((1),71), ((1),72), ((-1),73)], (41)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((-2),3), ((1),4), ((-2),5), ((2),8), ((1),10), ((-2),11), ((-1),13), ((2),14), ((1),15), ((1),16), ((1),17), ((-2),20), ((-1),21), ((1),22), ((2),25), ((2),27), ((-1),30), ((2),32), ((-2),33), ((1),36), ((-2),37), ((2),45), ((-2),46), ((-2),49), ((-2),51), ((-1),52), ((-1),53), ((-2),55), ((1),63), ((-1),65), ((2),66), ((-1),68), ((-2),69), ((2),70), ((2),71)], (-61)), ("GEQ", [((-2),1), ((-1),2), ((1),3), ((2),4), ((2),5), ((2),7), ((2),8), ((-2),9), ((-2),11), ((1),12), ((-2),14), ((-1),15), ((-2),16), ((-2),17), ((2),18), ((1),19), ((-2),22), ((-1),23), ((-1),26), ((2),29), ((-2),30), ((-2),31), ((2),35), ((2),37), ((-2),39), ((1),40), ((2),42), ((1),45), ((1),47), ((2),48), ((2),51), ((-1),52), ((-2),54), ((-1),55), ((1),56), ((1),57), ((-2),58), ((1),59), ((-2),60), ((2),61), ((2),62), ((1),63), ((1),64), ((2),65), ((-1),66), ((2),68), ((-1),69), ((1),72)], (-7)), ("GEQ", [((2),0), ((1),1), ((2),2), ((2),3), ((-1),6), ((-1),7), ((-1),8), ((2),11), ((-1),12), ((-1),14), ((-1),16), ((-2),18), ((-1),20), ((1),21), ((-1),23), ((1),24), ((1),27), ((-1),28), ((1),32), ((2),35), ((-2),36), ((1),39), ((1),40), ((-1),42), ((-1),43), ((1),44), ((-1),45), ((-2),47), ((-1),48), ((2),51), ((1),54), ((-2),56), ((1),57), ((-1),59), ((2),61), ((-1),67), ((-1),70), ((2),71), ((2),74)], (11)), ("GEQ", [((-1),0), ((-2),1), ((-2),5), ((1),7), ((-2),12), ((-2),13), ((2),16), ((2),17), ((-2),18), ((-2),20), ((-2),21), ((1),23), ((1),26), ((-1),30), ((2),36), ((2),37), ((-1),38), ((-2),39), ((2),41), ((-1),42), ((1),43), ((2),44), ((-2),45), ((-1),46), ((1),47), ((2),48), ((2),49), ((2),51), ((2),55), ((-2),57), ((-2),59), ((1),60), ((1),61), ((1),65), ((-2),66), ((-1),67), ((2),70), ((1),72), ((-2),73), ((-2),74)], (-19)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((2),3), ((1),4), ((1),7), ((2),8), ((-2),11), ((-2),12), ((-1),13), ((-1),16), ((-1),17), ((-2),19), ((2),20), ((-1),21), ((1),23), ((1),28), ((-1),30), ((-2),33), ((-2),35), ((1),37), ((-2),39), ((2),41), ((-2),42), ((-2),44), ((-1),45), ((-2),46), ((-1),48), ((-1),49), ((2),50), ((1),53), ((1),54), ((-2),55), ((-2),56), ((2),57), ((1),58), ((-2),61), ((2),64), ((-2),65), ((1),66), ((-1),67), ((2),68), ((2),71), ((1),72), ((1),73), ((2),74)], (20)), ("GEQ", [((-1),2), ((1),3), ((1),6), ((-1),8), ((1),9), ((-1),10), ((2),11), ((-2),14), ((1),18), ((1),19), ((-1),20), ((-2),22), ((1),23), ((-2),24), ((-2),25), ((2),26), ((1),27), ((-1),28), ((1),29), ((-2),31), ((2),32), ((-1),33), ((2),35), ((-1),36), ((1),37), ((-1),39), ((1),41), ((-2),44), ((-1),46), ((-1),47), ((-1),48), ((-2),49), ((-2),50), ((2),52), ((2),54), ((1),55), ((2),56), ((2),60), ((2),64), ((-1),65), ((-1),67), ((2),69), ((-2),70), ((-2),71), ((-1),73), ((-1),74)], (-12)), ("GEQ", [((2),1), ((1),3), ((-2),5), ((-2),7), ((-2),8), ((1),13), ((2),14), ((1),17), ((-1),18), ((2),19), ((1),20), ((-1),21), ((-2),22), ((-2),23), ((2),24), ((-1),26), ((1),28), ((1),30), ((-1),31), ((1),32), ((1),33), ((1),35), ((-1),36), ((-2),39), ((-2),40), ((2),41), ((2),42), ((-2),44), ((2),50), ((1),53), ((-1),54), ((-1),56), ((-2),58), ((-2),59), ((2),60), ((-2),61), ((2),63), ((-1),64), ((-1),66), ((1),67), ((-2),70), ((-2),71), ((-2),72)], (-3)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((2),3), ((-1),6), ((1),7), ((2),8), ((1),10), ((2),12), ((2),13), ((-2),14), ((1),15), ((2),16), ((-2),17), ((-2),18), ((-2),20), ((-2),21), ((2),23), ((2),26), ((1),27), ((2),28), ((1),29), ((-2),32), ((-1),33), ((-2),34), ((-1),36), ((2),38), ((2),39), ((-1),40), ((1),41), ((-2),42), ((-1),43), ((-2),44), ((-2),45), ((-1),46), ((1),48), ((2),49), ((-2),50), ((2),51), ((-1),52), ((-1),56), ((1),58), ((-1),60), ((1),61), ((2),62), ((2),63), ((2),64), ((1),65), ((2),67), ((-2),68), ((2),69), ((2),70), ((1),73), ((1),74)], (-3)), ("GEQ", [((1),4), ((1),6), ((2),8), ((1),9), ((-1),12), ((-1),15), ((1),16), ((-1),17), ((-1),19), ((2),21), ((-2),22), ((-2),23), ((-2),24), ((-2),25), ((-2),27), ((-2),29), ((-1),31), ((2),34), ((-2),36), ((1),38), ((1),39), ((2),40), ((-1),41), ((-1),42), ((2),43), ((1),44), ((-1),45), ((1),46), ((2),49), ((-1),50), ((1),52), ((-2),53), ((-2),54), ((2),56), ((-2),57), ((-1),59), ((-1),60), ((1),62), ((-2),63), ((2),64), ((-1),67), ((-2),69), ((2),70), ((-1),71)], (-11)), ("GEQ", [((-1),0), ((2),1), ((1),3), ((1),4), ((2),6), ((2),8), ((-2),9), ((-2),10), ((1),11), ((-1),13), ((-1),15), ((-1),16), ((-2),20), ((-1),21), ((-1),23), ((2),27), ((-1),29), ((1),30), ((2),31), ((-1),33), ((1),34), ((1),35), ((1),36), ((2),37), ((1),38), ((-2),39), ((1),41), ((-1),45), ((1),47), ((2),51), ((2),52), ((-1),55), ((2),58), ((-2),59), ((2),62), ((-1),64), ((2),65), ((-2),68), ((1),69), ((1),70), ((1),71), ((-1),74)], (-8)), ("GEQ", [((1),0), ((2),3), ((-2),4), ((-2),5), ((2),7), ((-2),8), ((1),9), ((-1),10), ((-1),11), ((2),12), ((2),14), ((-1),15), ((-2),18), ((2),19), ((-1),20), ((-1),28), ((2),29), ((1),30), ((-1),31), ((-1),32), ((-1),33), ((1),34), ((-2),40), ((-1),41), ((1),43), ((2),44), ((-1),45), ((1),47), ((-2),48), ((-1),50), ((-1),51), ((-1),53), ((-1),54), ((2),56), ((1),57), ((-2),58), ((-1),60), ((1),61), ((-2),63), ((2),66), ((-2),67), ((1),69), ((-1),70), ((2),73), ((-2),74)], (-9)), ("GEQ", [((-1),0), ((-1),2), ((2),4), ((1),5), ((1),6), ((2),7), ((-2),8), ((2),11), ((2),12), ((2),13), ((2),17), ((-1),18), ((2),19), ((1),20), ((2),22), ((-2),26), ((-1),27), ((-1),29), ((-1),30), ((2),31), ((2),32), ((1),33), ((-2),34), ((2),35), ((-1),36), ((2),37), ((-1),39), ((1),40), ((2),41), ((-1),44), ((2),45), ((-1),47), ((2),49), ((-2),51), ((-1),52), ((-1),53), ((2),54), ((2),55), ((-2),56), ((1),57), ((2),58), ((-1),60), ((-2),61), ((1),62), ((-1),63), ((-1),64), ((1),68), ((-2),70), ((1),71), ((1),73), ((2),74)], (48)), ("GEQ", [((2),1), ((-2),3), ((2),4), ((-2),5), ((2),6), ((2),8), ((-2),9), ((-2),10), ((-1),11), ((2),12), ((-1),13), ((-2),14), ((2),15), ((-2),16), ((-1),17), ((2),18), ((-1),21), ((2),22), ((2),24), ((2),27), ((2),28), ((-1),29), ((-1),30), ((1),32), ((1),34), ((1),35), ((-2),37), ((2),38), ((2),39), ((-1),40), ((1),41), ((-1),42), ((1),43), ((-1),46), ((-1),48), ((2),51), ((2),52), ((-2),53), ((-1),54), ((2),57), ((-2),60), ((-1),61), ((1),62), ((-1),63), ((1),65), ((2),66), ((-1),68), ((-2),69), ((2),71), ((-1),72), ((-2),74)], (5)), ("GEQ", [((-1),2), ((-2),3), ((-2),4), ((2),7), ((-1),9), ((2),12), ((1),14), ((1),17), ((1),19), ((-2),23), ((1),30), ((-2),32), ((-2),33), ((1),35), ((-1),37), ((-1),38), ((-1),39), ((-2),40), ((2),43), ((-2),46), ((-2),47), ((-2),48), ((-2),50), ((2),51), ((1),52), ((1),55), ((-2),59), ((-1),60), ((-1),61), ((-1),62), ((2),64), ((-2),66), ((1),67), ((2),69), ((1),70), ((1),72), ((-2),73)], (13)), ("GEQ", [((-1),1), ((-1),3), ((-1),6), ((2),7), ((1),9), ((-2),11), ((-1),13), ((2),14), ((-2),16), ((2),19), ((1),23), ((-1),25), ((1),29), ((-2),31), ((-1),32), ((1),33), ((1),35), ((-2),36), ((1),37), ((1),39), ((2),40), ((-1),41), ((-1),44), ((2),47), ((-1),49), ((-1),50), ((-1),51), ((1),55), ((-2),56), ((2),57), ((1),58), ((2),61), ((-2),64), ((-1),65), ((2),66), ((-2),67), ((1),68), ((-2),71), ((2),72)], (2)), ("GEQ", [((-1),0), ((-2),2), ((2),3), ((1),4), ((-2),6), ((-2),8), ((-2),9), ((1),10), ((1),12), ((-2),14), ((-1),17), ((-2),19), ((-1),20), ((2),24), ((-2),25), ((-1),26), ((-1),27), ((-1),28), ((-2),30), ((2),32), ((1),33), ((2),35), ((2),37), ((-1),39), ((2),40), ((-2),41), ((2),42), ((-1),43), ((2),44), ((-1),45), ((1),46), ((2),47), ((2),52), ((-1),53), ((2),58), ((2),59), ((-1),60), ((2),61), ((-2),64), ((2),66), ((-2),68), ((1),69), ((1),70), ((1),71), ((-1),72)], (10)), ("GEQ", [((-2),1), ((1),2), ((-2),4), ((1),6), ((2),8), ((1),11), ((-2),12), ((2),13), ((-2),14), ((-1),15), ((-2),17), ((-1),19), ((-1),21), ((2),22), ((-1),24), ((1),26), ((-1),28), ((-2),29), ((-1),30), ((2),31), ((2),32), ((-2),33), ((-2),34), ((-2),35), ((-1),37), ((-1),38), ((-2),39), ((-1),40), ((2),42), ((-1),45), ((1),46), ((-1),47), ((-2),48), ((2),49), ((2),50), ((-1),51), ((-1),52), ((-1),53), ((-1),55), ((-1),56), ((-1),57), ((-1),58), ((-1),59), ((-1),62), ((1),63), ((-1),69), ((2),71), ((2),73), ((2),74)], (-15)), ("GEQ", [((2),0), ((-1),1), ((2),4), ((-1),5), ((-1),6), ((1),7), ((-2),10), ((-1),11), ((-2),12), ((-1),13), ((1),14), ((1),15), ((-2),16), ((2),20), ((-2),23), ((-1),25), ((1),26), ((-1),28), ((2),30), ((2),31), ((-2),32), ((-1),35), ((-1),36), ((2),38), ((1),39), ((-1),40), ((1),42), ((1),44), ((2),45), ((1),46), ((1),47), ((2),48), ((-2),52), ((1),53), ((1),56), ((2),57), ((2),59), ((2),62), ((-2),63), ((2),68), ((-1),70), ((-2),71), ((2),72), ((1),73), ((1),74)], (1)), ("GEQ", [((2),0), ((1),1), ((-2),4), ((2),5), ((-2),8), ((-1),9), ((2),10), ((1),11), ((-2),13), ((-2),14), ((1),17), ((-2),18), ((2),20), ((-1),22), ((-2),23), ((-1),26), ((-1),27), ((-1),28), ((2),29), ((1),32), ((2),33), ((1),34), ((-2),35), ((-1),39), ((1),40), ((-2),42), ((1),43), ((-1),46), ((1),47), ((1),48), ((-2),49), ((2),50), ((1),51), ((1),52), ((1),53), ((1),55), ((-2),56), ((2),57), ((1),58), ((-1),59), ((-2),63), ((2),65), ((1),67), ((2),68), ((-2),69), ((1),70), ((2),71), ((2),72), ((-2),73)], (56)), ("GEQ", [((-1),0), ((1),2), ((-2),3), ((-1),4), ((-1),5), ((1),6), ((2),7), ((2),8), ((2),9), ((-2),11), ((1),13), ((-1),14), ((1),18), ((-2),19), ((-1),21), ((-2),23), ((1),24), ((1),25), ((2),30), ((-1),32), ((-2),33), ((2),35), ((1),36), ((-1),37), ((-2),39), ((-2),40), ((-2),41), ((1),44), ((-1),45), ((1),46), ((1),47), ((-1),49), ((2),50), ((2),51), ((-2),52), ((2),54), ((-1),56), ((2),58), ((1),60), ((1),64), ((-1),65), ((-1),66), ((-2),67), ((1),69)], (-65)), ("GEQ", [((1),0), ((-1),1), ((-2),2), ((1),3), ((-2),4), ((-1),5), ((-2),9), ((1),10), ((-2),14), ((1),15), ((1),16), ((2),17), ((-1),18), ((-2),19), ((2),20), ((2),21), ((1),22), ((1),23), ((2),27), ((1),28), ((2),29), ((-2),30), ((1),31), ((-1),32), ((1),35), ((1),36), ((2),39), ((-1),40), ((2),42), ((2),45), ((1),46), ((2),49), ((1),50), ((-2),56), ((-2),57), ((2),58), ((-2),60), ((-2),61), ((2),64), ((2),68), ((1),69), ((-2),70), ((-1),72), ((-1),73), ((1),74)], (23)), ("GEQ", [((-2),0), ((-2),1), ((2),2), ((-2),4), ((1),8), ((-2),9), ((-2),10), ((-1),12), ((2),13), ((2),15), ((-2),16), ((-2),17), ((1),18), ((1),21), ((-2),22), ((-2),23), ((-2),25), ((-2),29), ((1),30), ((-2),32), ((-2),33), ((-2),35), ((-2),37), ((-1),39), ((1),41), ((2),43), ((-1),48), ((-1),49), ((-2),50), ((-2),51), ((2),53), ((-1),54), ((2),55), ((2),56), ((-1),58), ((-1),60), ((2),61), ((2),62), ((1),63), ((-1),64), ((2),65), ((-2),68), ((-1),69), ((-1),70), ((-1),71), ((-2),72), ((2),74)], (1)), ("GEQ", [((2),0), ((2),1), ((2),4), ((-2),5), ((-2),6), ((2),7), ((2),8), ((2),9), ((2),10), ((-1),11), ((-1),12), ((1),13), ((2),15), ((1),16), ((1),17), ((1),18), ((-1),22), ((-2),23), ((-1),27), ((-2),30), ((2),34), ((1),36), ((-2),37), ((1),38), ((-1),40), ((1),45), ((1),47), ((-2),49), ((2),50), ((-2),53), ((2),54), ((2),55), ((-2),57), ((-1),61), ((-1),62), ((2),63), ((-2),64), ((-1),65), ((-1),66), ((1),68), ((2),69), ((-2),70), ((2),72), ((1),73), ((-2),74)], (-68)), ("GEQ", [((-1),0), ((-2),7), ((-1),8), ((-1),9), ((-2),13), ((-2),14), ((-1),17), ((-1),18), ((-1),19), ((-2),20), ((-1),21), ((-1),25), ((-1),29), ((2),31), ((-2),32), ((1),34), ((-1),36), ((-2),39), ((2),40), ((-1),44), ((2),46), ((1),48), ((2),49), ((-2),51), ((1),52), ((-2),53), ((-2),55), ((-1),57), ((-2),59), ((-1),61), ((1),62), ((2),63), ((1),64), ((1),68), ((-1),70), ((1),72), ((-1),74)], (34)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((1),3), ((2),5), ((-2),6), ((2),7), ((-1),9), ((2),11), ((-2),12), ((2),13), ((-2),14), ((-2),15), ((-2),16), ((2),17), ((-2),18), ((-1),19), ((-1),23), ((-1),24), ((2),29), ((2),35), ((1),36), ((-1),37), ((2),41), ((1),43), ((-1),45), ((-1),46), ((1),49), ((-2),50), ((1),51), ((-1),52), ((1),54), ((-1),57), ((1),59), ((-2),60), ((1),61), ((2),62), ((-1),63), ((-1),65), ((2),67), ((-2),72), ((2),74)], (13)), ("GEQ", [((-1),0), ((-1),1), ((-2),3), ((-1),8), ((-1),9), ((1),10), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((-2),16), ((1),17), ((1),25), ((-2),28), ((1),31), ((1),34), ((-2),36), ((-2),38), ((1),40), ((-1),41), ((1),43), ((-2),45), ((1),46), ((-1),47), ((-1),48), ((2),49), ((-2),54), ((-2),55), ((-1),59), ((-2),61), ((1),62), ((1),63), ((2),64), ((2),65), ((-2),67), ((-1),69), ((1),73), ((-1),74)], (33)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-1),3), ((-1),4), ((1),5), ((-1),6), ((-2),7), ((-2),8), ((2),9), ((-2),10), ((-1),11), ((-1),13), ((1),16), ((2),17), ((2),18), ((2),19), ((-1),22), ((1),23), ((-2),24), ((-2),27), ((2),29), ((-1),31), ((-2),34), ((-1),35), ((-1),36), ((-2),40), ((2),41), ((2),42), ((2),43), ((-2),44), ((1),45), ((1),48), ((-2),51), ((-1),52), ((2),53), ((1),54), ((2),55), ((1),56), ((-1),58), ((-1),59), ((2),65), ((-1),67), ((-1),68), ((1),69), ((2),71), ((-1),73), ((-1),74)], (5)), ("GEQ", [((1),0), ((-1),1), ((-2),3), ((2),4), ((-2),5), ((1),12), ((-2),13), ((-2),14), ((-2),19), ((1),21), ((2),22), ((-2),24), ((-2),27), ((-2),28), ((2),29), ((2),31), ((-2),32), ((-2),33), ((-2),35), ((1),36), ((-1),37), ((1),38), ((-2),39), ((1),40), ((-2),41), ((1),42), ((2),44), ((-2),46), ((-2),52), ((-2),53), ((2),54), ((-1),55), ((1),57), ((-2),59), ((-2),60), ((-1),61), ((1),62), ((1),63), ((-2),64), ((-2),65), ((1),69), ((2),70), ((2),71), ((1),72), ((2),73)], (-36)), ("GEQ", [((2),0), ((1),1), ((-2),3), ((-1),6), ((-2),7), ((-2),9), ((-2),10), ((-2),12), ((-1),13), ((-2),15), ((-2),17), ((-2),18), ((1),19), ((-2),22), ((-1),26), ((1),27), ((2),28), ((-1),31), ((2),32), ((-2),36), ((2),37), ((-1),41), ((-1),42), ((1),43), ((-2),44), ((1),45), ((-2),46), ((-2),47), ((-2),48), ((2),51), ((-2),52), ((2),55), ((2),56), ((-1),57), ((-1),58), ((1),62), ((-1),64), ((-1),65), ((-1),67), ((2),68), ((-1),69), ((1),70), ((1),71), ((1),73), ((-2),74)], (-26)), ("GEQ", [((1),1), ((2),3), ((-2),4), ((-1),5), ((-1),6), ((1),7), ((1),10), ((1),11), ((-1),13), ((1),14), ((2),15), ((1),17), ((1),20), ((-1),23), ((-1),24), ((-2),25), ((-2),28), ((-2),29), ((-1),30), ((-1),33), ((2),35), ((2),39), ((1),46), ((1),50), ((-2),51), ((-1),52), ((-2),53), ((1),54), ((2),57), ((2),58), ((-2),59), ((-2),60), ((-2),61), ((1),63), ((-1),64), ((2),66), ((-1),67), ((2),68), ((1),70), ((-2),71), ((1),72), ((-2),74)], (20)), ("GEQ", [((-1),2), ((-2),3), ((-2),4), ((2),5), ((-2),6), ((-2),7), ((2),8), ((2),9), ((2),10), ((-2),11), ((2),15), ((2),16), ((-1),17), ((-1),19), ((-2),20), ((2),21), ((1),25), ((-2),28), ((-1),29), ((2),30), ((-2),31), ((2),34), ((-1),35), ((1),37), ((-1),38), ((-2),40), ((2),42), ((1),45), ((1),47), ((-2),48), ((1),52), ((-1),54), ((2),56), ((-2),57), ((-2),58), ((-2),59), ((-2),60), ((1),61), ((2),62), ((1),64), ((2),65), ((1),68), ((-2),69), ((2),70), ((1),71), ((-2),73), ((2),74)], (-55)), ("GEQ", [((-21),0), ((8),1), ((-4),2), ((-14),3), ((20),4), ((1),5), ((-17),6), ((-18),7), ((-9),8), ((57),9), ((-1),10), ((20),11), ((44),12), ((23),13), ((3),14), ((-29),15), ((31),16), ((7),17), ((-12),18), ((20),19), ((-6),20), ((3),21), ((41),22), ((-6),23), ((10),24), ((-8),25), ((16),26), ((-8),27), ((10),28), ((3),29), ((18),30), ((-38),31), ((-26),32), ((46),33), ((-24),34), ((-15),35), ((9),36), ((20),37), ((-14),38), ((21),39), ((-10),40), ((-21),41), ((7),42), ((-27),43), ((23),44), ((-9),45), ((17),46), ((13),47), ((40),48), ((-10),49), ((-15),50), ((-7),51), ((-4),52), ((20),53), ((-21),54), ((-22),55), ((-16),56), ((9),57), ((14),58), ((24),59), ((21),60), ((31),61), ((-11),62), ((-52),63), ((-12),64), ((-35),65), ((-5),66), ((-7),67), ((-36),68), ((-22),69), ((-4),70), ((-74),71), ((-10),72), ((-1),73), ((10),74)], (-260)), ("GEQ", [((-23),0), ((-48),1), ((24),2), ((-7),3), ((-16),4), ((28),5), ((29),6), ((-22),7), ((-5),8), ((-7),9), ((-2),10), ((-32),11), ((-17),12), ((-31),13), ((2),14), ((6),15), ((-12),16), ((-20),17), ((20),18), ((-19),19), ((21),20), ((-7),21), ((-15),22), ((74),23), ((-16),24), ((36),25), ((11),26), ((3),27), ((-33),28), ((2),29), ((6),30), ((-10),31), ((26),32), ((-10),33), ((-6),34), ((-18),35), ((14),36), ((-3),37), ((-3),38), ((-23),39), ((22),40), ((-5),41), ((3),42), ((-18),43), ((11),44), ((25),45), ((-21),46), ((1),48), ((-17),49), ((4),50), ((-23),51), ((51),52), ((-15),53), ((7),54), ((13),55), ((46),56), ((33),57), ((16),58), ((-3),59), ((2),60), ((22),61), ((-10),62), ((22),63), ((-14),64), ((33),65), ((-4),66), ((-11),67), ((41),68), ((-32),69), ((44),71), ((11),72), ((-33),73), ((-16),74)], (298)), ("GEQ", [((59),0), ((110),1), ((-74),2), ((34),3), ((26),4), ((-74),5), ((-78),6), ((80),7), ((14),8), ((-65),9), ((7),10), ((47),11), ((-50),12), ((51),13), ((-13),14), ((40),15), ((6),16), ((54),17), ((-23),18), ((25),19), ((-28),20), ((17),21), ((-15),22), ((-195),23), ((21),24), ((-44),25), ((-44),26), ((3),27), ((85),28), ((-34),29), ((-54),30), ((102),31), ((-37),32), ((-36),33), ((27),34), ((62),35), ((-54),36), ((-20),37), ((35),39), ((-36),40), ((55),41), ((-3),42), ((101),43), ((-67),44), ((-57),45), ((71),46), ((-11),47), ((-37),48), ((92),49), ((1),50), ((50),51), ((-131),52), ((4),53), ((9),54), ((35),55), ((-103),56), ((-136),57), ((-58),58), ((-51),59), ((-31),60), ((-117),61), ((32),62), ((31),63), ((42),64), ((-41),65), ((2),66), ((36),67), ((-77),68), ((112),69), ((-10),70), ((-15),71), ((-14),72), ((82),73), ((33),74)], (-390)), ("GEQ", [((59),0), ((162),1), ((-58),2), ((8),3), ((75),4), ((-105),5), ((-128),6), ((70),7), ((15),8), ((78),9), ((17),10), ((126),11), ((105),12), ((151),13), ((-2),14), ((-18),15), ((58),16), ((67),17), ((-58),18), ((76),19), ((-76),20), ((27),21), ((115),22), ((-260),23), ((82),24), ((-147),25), ((3),26), ((-20),27), ((133),28), ((-37),29), ((-5),30), ((26),31), ((-116),32), ((47),33), ((-17),34), ((29),35), ((-6),36), ((-13),38), ((108),39), ((-89),40), ((5),41), ((-19),42), ((38),43), ((14),44), ((-82),45), ((109),46), ((35),47), ((8),48), ((52),49), ((-25),50), ((72),51), ((-172),52), ((55),53), ((-24),54), ((-58),55), ((-175),56), ((-99),57), ((-41),58), ((40),59), ((-18),60), ((-42),61), ((-6),62), ((-129),63), ((40),64), ((-161),65), ((-7),66), ((34),67), ((-173),68), ((95),69), ((-11),70), ((-227),71), ((-58),72), ((117),73), ((83),74)], (-1295)), ("GEQ", [((52),0), ((-33),1), ((17),2), ((51),3), ((-89),4), ((-12),5), ((59),6), ((25),7), ((13),8), ((-165),9), ((20),10), ((-41),11), ((-150),12), ((-90),13), ((-6),14), ((103),15), ((-74),16), ((-22),17), ((28),18), ((-86),19), ((39),20), ((-11),21), ((-135),22), ((81),23), ((-41),24), ((44),25), ((-37),26), ((9),27), ((-58),28), ((2),29), ((-38),30), ((130),31), ((130),32), ((-149),33), ((55),34), ((-3),35), ((-17),36), ((-79),37), ((30),38), ((-70),39), ((52),40), ((55),41), ((-40),42), ((84),43), ((-38),44), ((37),45), ((-83),46), ((-60),47), ((-131),48), ((28),49), ((30),50), ((22),51), ((14),52), ((-53),53), ((103),54), ((103),55), ((82),56), ((9),57), ((-59),58), ((-55),59), ((-39),60), ((-101),61), ((6),62), ((163),63), ((33),64), ((90),65), ((12),66), ((33),67), ((104),68), ((35),69), ((17),70), ((296),71), ((11),72), ((-6),73), ((-70),74)], (1159)), ("GEQ", [((48),0), ((-31),1), ((-1),2), ((10),3), ((-28),4), ((-15),5), ((23),6), ((-4),7), ((5),8), ((-81),9), ((20),10), ((-36),11), ((-63),12), ((-73),13), ((-29),14), ((21),15), ((-7),16), ((1),17), ((19),18), ((-27),19), ((23),20), ((-45),21), ((-73),22), ((26),23), ((-8),24), ((12),25), ((-23),26), ((33),27), ((-22),28), ((16),29), ((-22),30), ((59),31), ((49),32), ((-53),33), ((31),34), ((19),35), ((-5),36), ((-36),37), ((-17),38), ((-62),39), ((16),40), ((40),41), ((19),42), ((11),43), ((-21),44), ((17),45), ((-49),46), ((-7),47), ((-32),48), ((-12),49), ((51),50), ((7),51), ((54),52), ((-37),53), ((37),54), ((42),55), ((36),56), ((-17),57), ((-45),58), ((-12),59), ((-10),60), ((-24),61), ((-8),62), ((68),63), ((-7),64), ((61),65), ((3),66), ((2),67), ((56),68), ((4),69), ((-41),70), ((91),71), ((6),72), ((-18),73), ((-14),74)], (230)), ("GEQ", [((-238),0), ((-59),1), ((55),2), ((-59),3), ((87),4), ((182),5), ((41),6), ((-55),7), ((-25),8), ((221),9), ((-113),10), ((-40),11), ((145),12), ((114),13), ((126),14), ((-68),15), ((-57),16), ((-96),17), ((-6),18), ((33),19), ((14),20), ((144),21), ((182),22), ((158),23), ((-37),24), ((83),25), ((72),26), ((-87),27), ((-14),28), ((-41),29), ((80),30), ((-234),31), ((-95),32), ((160),33), ((-93),34), ((-72),35), ((20),36), ((147),37), ((118),38), ((160),39), ((42),40), ((-180),41), ((-44),42), ((-95),43), ((61),44), ((46),45), ((101),46), ((20),47), ((117),48), ((-7),49), ((-155),50), ((-116),51), ((-7),52), ((73),53), ((-149),54), ((-122),55), ((43),56), ((160),57), ((227),58), ((24),59), ((26),60), ((149),61), ((40),62), ((-136),63), ((-23),64), ((-44),65), ((9),66), ((-49),67), ((-21),68), ((-121),69), ((161),70), ((-157),71), ((40),72), ((-28),73), ((-2),74)], (487)), ("GEQ", [((153),0), ((-9),1), ((-45),2), ((-42),3), ((-101),5), ((-68),6), ((-53),7), ((10),8), ((-6),9), ((102),10), ((-15),11), ((22),12), ((-139),13), ((-142),14), ((-127),15), ((222),16), ((137),17), ((39),18), ((82),19), ((-42),20), ((-230),21), ((-92),22), ((-121),23), ((51),24), ((-39),25), ((-8),26), ((135),27), ((-1),28), ((91),29), ((-25),30), ((-29),31), ((-64),32), ((89),33), ((32),34), ((80),35), ((-8),36), ((-10),37), ((-255),38), ((-211),39), ((-112),40), ((129),41), ((163),42), ((-120),43), ((-18),44), ((-93),45), ((-91),46), ((79),47), ((163),48), ((-165),49), ((158),50), ((45),51), ((161),52), ((-60),53), ((-2),54), ((-11),55), ((-45),56), ((-137),57), ((-139),58), ((62),59), ((109),60), ((61),61), ((-73),62), ((-48),63), ((-74),64), ((17),65), ((-34),66), ((-57),67), ((-9),68), ((-1),69), ((-250),70), ((-263),71), ((26),72), ((-115),73), ((70),74)], (-2361)), ("GEQ", [((99),0), ((20),1), ((25),2), ((56),3), ((-111),4), ((-142),5), ((10),6), ((6),7), ((-33),8), ((-70),9), ((78),10), ((142),11), ((-1),12), ((12),13), ((-71),14), ((76),15), ((15),16), ((16),17), ((-88),18), ((-79),19), ((2),20), ((3),21), ((-13),22), ((-18),23), ((53),24), ((-107),25), ((-30),26), ((-22),27), ((1),28), ((5),29), ((14),30), ((173),31), ((130),32), ((-153),33), ((-16),34), ((-64),35), ((99),36), ((-131),37), ((1),38), ((-46),39), ((9),40), ((74),41), ((9),42), ((65),43), ((80),44), ((29),45), ((-64),46), ((-40),47), ((-176),48), ((92),49), ((97),50), ((41),51), ((-11),52), ((14),53), ((143),54), ((82),55), ((-49),56), ((5),57), ((-93),58), ((-17),59), ((-68),60), ((-36),61), ((-57),62), ((33),63), ((16),64), ((-9),65), ((1),66), ((83),67), ((-49),68), ((17),69), ((-54),70), ((200),71), ((-164),72), ((86),73), ((8),74)], (778))]
[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]