[("GEQ", [((-1),0), ((2),2), ((-2),4), ((-1),6), ((1),7), ((2),8), ((1),9), ((-1),11), ((-1),13), ((1),14), ((-1),15), ((2),16), ((1),17), ((1),20), ((2),21), ((-2),24), ((1),25), ((1),27), ((-2),28), ((1),29), ((-1),30), ((-1),31), ((2),33), ((2),34), ((2),36), ((-1),39), ((1),40), ((1),41), ((-2),42), ((2),44), ((1),46), ((1),47), ((2),50), ((2),51), ((-2),53), ((2),54), ((-1),55), ((-2),56), ((-2),57), ((-1),58), ((2),60), ((2),61), ((-1),62), ((2),63), ((1),64), ((1),66), ((1),67), ((1),68), ((2),69), ((-1),70), ((-1),71), ((-1),72), ((1),74)], (3)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((-1),3), ((1),4), ((-2),6), ((1),7), ((1),8), ((-1),9), ((-2),10), ((1),11), ((-2),12), ((2),16), ((-1),17), ((-2),18), ((-1),19), ((-2),20), ((-1),23), ((1),24), ((-2),25), ((2),27), ((-2),31), ((-1),35), ((-1),36), ((-2),42), ((-1),44), ((1),46), ((1),48), ((1),49), ((-1),50), ((-1),53), ((-1),54), ((-1),56), ((2),58), ((-1),59), ((-1),60), ((-1),61), ((-2),62), ((1),63), ((-2),64), ((-2),67), ((-2),68), ((-1),69), ((-1),71), ((-1),72), ((-1),73), ((-1),74)], (-3)), ("GEQ", [((-1),0), ((-1),1), ((-1),2), ((-2),3), ((-1),4), ((2),6), ((-1),9), ((-2),10), ((1),11), ((2),13), ((-2),14), ((-2),15), ((-2),16), ((-1),17), ((1),18), ((1),19), ((-2),20), ((-1),21), ((2),22), ((-1),24), ((-1),25), ((-1),26), ((-2),29), ((-2),30), ((-2),31), ((1),32), ((-2),34), ((-1),35), ((2),36), ((1),37), ((-2),43), ((2),46), ((-2),49), ((-2),50), ((1),53), ((-1),55), ((1),59), ((-2),60), ((-2),61), ((2),62), ((2),63), ((-1),64), ((1),65), ((-1),66), ((1),67), ((-1),68), ((1),70), ((-2),72), ((-1),73), ((1),74)], (9)), ("GEQ", [((-1),0), ((-1),1), ((2),2), ((2),6), ((-1),7), ((2),8), ((2),9), ((-1),13), ((2),14), ((-2),15), ((2),16), ((1),18), ((-1),19), ((2),21), ((2),22), ((1),23), ((2),24), ((-1),26), ((1),27), ((-1),28), ((-1),29), ((1),30), ((1),32), ((1),34), ((2),37), ((-2),38), ((-1),39), ((2),40), ((-1),41), ((-2),42), ((2),43), ((-2),44), ((2),46), ((2),47), ((-1),48), ((-1),51), ((-1),53), ((2),54), ((-2),55), ((-2),56), ((1),57), ((-2),58), ((2),59), ((2),61), ((1),62), ((2),63), ((2),65), ((1),67), ((1),68), ((2),71), ((-1),72), ((1),73), ((-1),74)], (-6)), ("GEQ", [((-2),2), ((-2),3), ((-1),5), ((-2),7), ((-1),10), ((1),11), ((-2),14), ((2),16), ((2),18), ((-2),19), ((-2),20), ((-2),21), ((-1),23), ((-1),25), ((2),26), ((-1),27), ((-1),29), ((-2),30), ((-2),32), ((-2),33), ((-2),34), ((-1),36), ((-2),37), ((2),38), ((-2),39), ((1),40), ((2),42), ((1),43), ((-2),44), ((2),47), ((2),49), ((2),50), ((-1),52), ((-2),56), ((1),57), ((2),58), ((1),62), ((-1),63), ((-2),64), ((1),68), ((-2),70), ((-2),71), ((-2),73), ((1),74)], (3)), ("GEQ", [((-2),0), ((-2),2), ((1),4), ((2),5), ((2),6), ((2),7), ((-2),8), ((1),10), ((2),11), ((1),13), ((-2),15), ((1),16), ((-1),18), ((2),22), ((2),27), ((2),28), ((-2),32), ((1),35), ((1),36), ((2),38), ((-2),39), ((-1),40), ((-2),41), ((2),42), ((-1),43), ((2),46), ((-1),47), ((1),49), ((1),53), ((-1),54), ((-1),55), ((1),56), ((-1),58), ((-2),59), ((-2),61), ((-1),63), ((2),64), ((1),65), ((-1),66), ((1),67), ((-2),68), ((-1),70), ((2),72)], (-19)), ("GEQ", [((-1),0), ((2),2), ((-1),3), ((-2),4), ((-2),5), ((-1),6), ((-1),7), ((-1),8), ((-1),10), ((1),12), ((1),13), ((2),16), ((-2),17), ((-2),19), ((1),20), ((2),21), ((-1),22), ((1),24), ((1),30), ((-1),32), ((1),33), ((2),34), ((-1),37), ((1),38), ((-1),43), ((-2),44), ((1),45), ((-1),46), ((-2),48), ((-2),49), ((-2),51), ((-1),56), ((-1),57), ((-1),61), ((1),62), ((-1),63), ((2),65), ((2),66), ((-2),67), ((2),69), ((2),70), ((-1),71), ((1),72), ((-2),73)], (10)), ("GEQ", [((2),1), ((-1),2), ((-2),3), ((-2),11), ((2),12), ((2),14), ((-1),15), ((2),17), ((-2),18), ((-2),19), ((-2),21), ((1),23), ((1),24), ((2),27), ((1),30), ((-2),31), ((-1),32), ((2),33), ((2),36), ((1),37), ((1),38), ((-2),39), ((1),40), ((2),41), ((-2),44), ((-2),48), ((2),51), ((-2),52), ((2),54), ((1),55), ((1),57), ((2),58), ((-1),59), ((-2),60), ((-1),61), ((-2),62), ((-1),63), ((-2),64), ((2),65), ((1),66), ((-1),67), ((2),69), ((-2),70), ((-1),72), ((2),73)], (13)), ("GEQ", [((-2),0), ((2),2), ((-2),4), ((1),5), ((-2),8), ((-2),13), ((-2),16), ((-1),18), ((-1),22), ((-1),23), ((2),25), ((1),30), ((-2),32), ((2),33), ((1),34), ((-2),38), ((1),39), ((2),40), ((1),41), ((-1),42), ((1),44), ((2),46), ((1),47), ((1),48), ((-1),49), ((1),50), ((1),51), ((-2),53), ((-1),55), ((-2),56), ((-1),57), ((2),58), ((1),59), ((2),61), ((-2),62), ((-1),65), ((-1),67), ((-2),68), ((2),70), ((-2),71), ((-2),72), ((-1),73), ((-1),74)], (-32)), ("GEQ", [((-1),0), ((1),2), ((1),3), ((2),4), ((-2),5), ((-1),6), ((-1),10), ((2),13), ((-1),14), ((1),17), ((1),18), ((-1),21), ((-2),22), ((1),25), ((1),26), ((-1),27), ((2),29), ((2),30), ((2),31), ((1),33), ((2),35), ((1),36), ((2),37), ((-1),42), ((-1),45), ((1),48), ((1),50), ((1),51), ((-2),53), ((-1),54), ((-2),55), ((-2),57), ((2),58), ((1),59), ((-2),61), ((-1),62), ((2),63), ((-1),64), ((1),65), ((2),66), ((1),67), ((2),71), ((-1),73)], (23)), ("GEQ", [((1),3), ((2),4), ((2),6), ((2),7), ((-2),8), ((-1),9), ((1),10), ((1),11), ((-2),12), ((2),13), ((1),14), ((-2),20), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((1),25), ((-2),28), ((1),30), ((-2),31), ((-2),32), ((2),34), ((-1),35), ((1),36), ((2),40), ((1),41), ((2),42), ((-2),44), ((2),46), ((2),47), ((1),48), ((1),49), ((2),50), ((2),52), ((1),54), ((1),58), ((1),59), ((-2),60), ((1),61), ((-1),62), ((-1),63), ((1),64), ((2),65), ((-1),68), ((2),69), ((-2),72)], (19)), ("GEQ", [((-2),0), ((-1),1), ((2),4), ((-2),5), ((1),6), ((-1),7), ((-1),8), ((2),9), ((-1),11), ((-1),12), ((-1),13), ((-2),14), ((1),15), ((-2),16), ((-2),17), ((-1),18), ((1),20), ((-2),22), ((-1),24), ((2),25), ((-2),27), ((2),29), ((-2),30), ((-1),32), ((1),33), ((2),35), ((1),41), ((-1),42), ((-2),44), ((-2),46), ((-2),47), ((1),49), ((1),50), ((-1),51), ((2),52), ((1),56), ((2),57), ((-2),59), ((-1),61), ((1),66), ((-2),67), ((-1),70), ((-1),71), ((-2),72), ((-2),74)], (24)), ("GEQ", [((2),0), ((1),2), ((-2),3), ((-2),7), ((1),10), ((1),11), ((1),13), ((-2),15), ((-2),16), ((2),17), ((2),19), ((-1),20), ((1),22), ((1),23), ((-1),26), ((1),27), ((1),30), ((1),31), ((-2),32), ((2),33), ((2),36), ((1),37), ((-2),38), ((-2),39), ((-2),40), ((2),41), ((2),43), ((-2),45), ((-2),46), ((-1),47), ((2),48), ((-1),49), ((-1),50), ((1),52), ((-2),54), ((1),57), ((2),58), ((1),59), ((1),63), ((-2),64), ((1),65), ((2),66), ((1),67), ((1),68), ((-2),69), ((-2),70), ((-1),71), ((1),72), ((-2),74)], (-23)), ("GEQ", [((-1),1), ((-1),3), ((2),4), ((1),5), ((-1),6), ((-1),8), ((1),10), ((-1),11), ((2),12), ((1),15), ((2),17), ((2),18), ((1),19), ((2),20), ((1),22), ((1),23), ((1),24), ((1),25), ((-1),27), ((1),33), ((2),38), ((-1),41), ((2),44), ((1),47), ((2),48), ((2),50), ((2),51), ((1),53), ((1),54), ((2),56), ((1),59), ((-1),61), ((1),63), ((-2),64), ((1),65), ((2),66), ((-2),67), ((2),70), ((2),74)], (-40)), ("GEQ", [((-1),2), ((2),5), ((-2),6), ((-1),8), ((1),9), ((1),11), ((-2),12), ((-2),13), ((-1),14), ((1),15), ((-1),16), ((2),17), ((-1),18), ((-2),19), ((1),21), ((-2),23), ((1),24), ((1),25), ((-1),26), ((2),27), ((-1),29), ((1),34), ((2),35), ((-1),36), ((2),37), ((2),38), ((-1),39), ((-2),40), ((2),42), ((-2),43), ((-1),44), ((2),46), ((1),49), ((-2),50), ((-2),51), ((2),53), ((-1),58), ((-2),59), ((-2),61), ((-1),62), ((2),63), ((-1),64), ((2),65), ((-1),68), ((2),69), ((-2),70), ((-1),71), ((-2),72)], (-45)), ("GEQ", [((-2),0), ((2),4), ((1),5), ((-2),7), ((-2),8), ((-1),14), ((2),15), ((-1),16), ((1),17), ((1),18), ((1),19), ((1),22), ((1),24), ((-1),25), ((-2),26), ((1),27), ((-1),28), ((-1),29), ((-2),30), ((1),31), ((2),34), ((1),35), ((2),37), ((1),39), ((1),40), ((-1),41), ((1),42), ((-2),44), ((1),45), ((-2),47), ((-1),48), ((1),50), ((2),51), ((1),52), ((-2),53), ((2),55), ((2),58), ((1),59), ((1),60), ((1),61), ((-2),62), ((2),65), ((-2),67), ((1),68), ((1),69), ((2),72), ((1),73), ((2),74)], (-29)), ("GEQ", [((-1),0), ((2),1), ((1),4), ((1),5), ((1),9), ((2),10), ((2),11), ((-1),13), ((2),14), ((2),15), ((1),16), ((-2),17), ((-1),19), ((-2),20), ((2),21), ((-2),23), ((2),25), ((-1),26), ((2),27), ((-2),28), ((1),30), ((2),31), ((-1),33), ((2),34), ((2),35), ((1),36), ((1),37), ((-1),38), ((-2),40), ((-1),41), ((1),48), ((2),51), ((2),53), ((1),55), ((-1),56), ((-1),57), ((1),60), ((-1),61), ((-1),62), ((2),64), ((2),66), ((1),68), ((-2),69), ((2),70), ((-2),72), ((1),73), ((-1),74)], (-20)), ("GEQ", [((-2),2), ((-1),4), ((2),6), ((1),7), ((-1),9), ((-2),10), ((1),11), ((-1),14), ((2),17), ((2),18), ((2),19), ((1),20), ((-1),21), ((-1),22), ((-1),25), ((1),26), ((1),27), ((-2),29), ((2),34), ((1),35), ((1),36), ((2),38), ((-1),39), ((2),40), ((2),41), ((-2),42), ((-2),43), ((-2),44), ((-1),45), ((-1),47), ((-2),49), ((2),50), ((-1),52), ((2),55), ((1),56), ((2),57), ((2),58), ((-1),59), ((-1),60), ((1),61), ((-2),62), ((-2),63), ((-1),64), ((-2),65), ((-2),70), ((-2),73)], (4)), ("GEQ", [((-2),0), ((2),1), ((-1),2), ((-1),5), ((-2),6), ((2),9), ((-2),10), ((2),11), ((-1),12), ((1),14), ((2),15), ((-2),17), ((2),18), ((-2),19), ((2),20), ((1),23), ((-2),24), ((-2),26), ((2),28), ((2),29), ((2),31), ((-2),33), ((1),35), ((2),37), ((-2),38), ((1),39), ((2),41), ((-2),42), ((-1),43), ((2),45), ((-1),47), ((-2),51), ((-1),52), ((1),53), ((-2),54), ((1),55), ((1),56), ((-1),57), ((-2),58), ((-1),61), ((-1),62), ((1),64), ((1),65), ((2),66), ((-2),67), ((1),68), ((-1),69), ((-1),71), ((-1),72), ((-2),73), ((2),74)], (16)), ("GEQ", [((-2),3), ((-2),4), ((-1),5), ((-1),6), ((-2),7), ((1),8), ((-2),9), ((2),11), ((1),12), ((-2),13), ((1),17), ((-1),18), ((-2),20), ((1),22), ((-1),23), ((2),24), ((-1),26), ((2),27), ((2),28), ((-2),30), ((-1),32), ((2),33), ((1),34), ((-2),39), ((-2),40), ((2),41), ((1),42), ((2),45), ((2),46), ((-1),49), ((1),50), ((2),51), ((-1),53), ((-2),55), ((-2),56), ((-2),58), ((1),59), ((-1),61), ((2),63), ((2),65), ((2),66), ((1),69), ((2),71), ((1),74)], (-3)), ("GEQ", [((2),1), ((2),2), ((-1),4), ((1),5), ((2),7), ((2),9), ((2),10), ((1),11), ((1),12), ((-2),13), ((-2),14), ((-2),16), ((2),18), ((-2),19), ((-2),20), ((-1),23), ((-2),27), ((1),32), ((-1),33), ((2),35), ((1),36), ((2),38), ((-2),39), ((-1),41), ((1),42), ((-1),46), ((2),48), ((-2),52), ((-2),57), ((2),58), ((1),60), ((-2),62), ((1),63), ((-2),64), ((-1),65), ((-1),69), ((-2),72), ((2),73), ((2),74)], (-12)), ("GEQ", [((-2),0), ((2),1), ((-1),3), ((2),5), ((-1),6), ((-2),7), ((2),10), ((-1),11), ((2),13), ((1),14), ((2),15), ((1),16), ((1),18), ((1),19), ((-1),21), ((1),24), ((-1),26), ((-1),28), ((-2),29), ((-1),30), ((2),31), ((-1),32), ((1),33), ((-1),35), ((-1),36), ((-2),37), ((-1),38), ((1),40), ((-1),41), ((2),43), ((1),44), ((2),46), ((1),48), ((1),49), ((-1),50), ((2),51), ((-2),52), ((1),53), ((-1),54), ((-1),56), ((2),57), ((-1),58), ((-1),59), ((-1),60), ((-1),63), ((1),66), ((-2),68), ((-2),69), ((1),71), ((2),73)], (15)), ("GEQ", [((1),1), ((2),2), ((-2),3), ((-2),5), ((-1),7), ((-2),8), ((1),12), ((1),14), ((1),15), ((2),17), ((-2),18), ((-2),19), ((-1),22), ((-1),23), ((-1),24), ((-1),27), ((-2),28), ((1),30), ((2),31), ((-2),32), ((2),33), ((-1),34), ((-2),35), ((2),36), ((2),37), ((1),40), ((-2),42), ((-2),44), ((2),46), ((1),47), ((2),48), ((1),49), ((2),51), ((1),52), ((-1),55), ((-1),57), ((1),60), ((1),61), ((2),63), ((-1),65), ((2),66), ((1),67), ((-1),69), ((-1),71), ((-2),73), ((-1),74)], (-18)), ("GEQ", [((-1),1), ((1),3), ((-1),6), ((-1),7), ((-2),8), ((-2),14), ((-2),15), ((2),16), ((-2),17), ((1),18), ((-2),19), ((-1),20), ((-1),21), ((-2),22), ((2),23), ((-2),28), ((-2),29), ((2),31), ((-2),32), ((2),34), ((-2),36), ((2),38), ((1),39), ((-1),40), ((1),41), ((2),42), ((-1),43), ((1),45), ((2),48), ((-1),50), ((-1),52), ((1),54), ((-2),57), ((2),58), ((2),60), ((1),63), ((-2),64), ((1),67), ((-1),68), ((1),69), ((2),70), ((-1),71), ((-1),72), ((-2),73)], (-55)), ("GEQ", [((-2),1), ((-1),4), ((-1),5), ((-1),6), ((1),7), ((-2),10), ((2),11), ((-2),12), ((2),14), ((-1),16), ((-1),17), ((1),18), ((2),22), ((-2),23), ((-2),26), ((2),28), ((-2),29), ((1),32), ((-1),33), ((1),34), ((1),35), ((-1),37), ((-2),40), ((-2),42), ((-1),45), ((1),47), ((1),50), ((2),54), ((1),56), ((-1),58), ((-2),59), ((-2),60), ((-2),62), ((-2),63), ((2),67), ((2),68), ((1),69), ((1),70), ((-1),71), ((-2),72), ((-2),73), ((2),74)], (28)), ("GEQ", [((2),0), ((2),2), ((2),3), ((2),4), ((1),5), ((1),6), ((2),8), ((-1),9), ((-1),10), ((-1),13), ((-2),15), ((1),17), ((-1),18), ((1),19), ((1),21), ((-1),23), ((-1),24), ((1),25), ((2),26), ((-2),27), ((-1),29), ((-2),30), ((1),31), ((1),33), ((-2),34), ((-2),35), ((-1),36), ((2),37), ((-2),38), ((2),39), ((-2),40), ((2),41), ((2),42), ((-2),43), ((-1),44), ((2),45), ((-1),46), ((1),50), ((2),53), ((2),55), ((-2),58), ((2),60), ((1),62), ((-1),65), ((2),67), ((-1),69), ((-2),70), ((-1),72), ((2),73)], (-13)), ("GEQ", [((-2),1), ((-1),7), ((1),8), ((2),9), ((1),12), ((-2),14), ((-2),15), ((2),17), ((-2),20), ((-2),21), ((1),22), ((1),23), ((-1),25), ((-1),27), ((-2),29), ((-2),30), ((1),32), ((1),33), ((-2),34), ((2),35), ((1),41), ((-2),42), ((1),43), ((-1),44), ((-1),45), ((1),46), ((-1),47), ((-2),50), ((-2),51), ((1),52), ((-1),54), ((1),55), ((-1),56), ((1),57), ((-1),58), ((2),60), ((-2),62), ((1),64), ((-2),65), ((1),67), ((-2),68), ((-2),69), ((2),70), ((-1),72)], (1)), ("GEQ", [((2),2), ((2),3), ((-1),4), ((-2),6), ((2),8), ((-1),9), ((-1),10), ((-2),12), ((1),14), ((2),16), ((-1),17), ((-1),18), ((1),20), ((-2),22), ((2),23), ((2),25), ((2),28), ((1),31), ((-2),34), ((-1),35), ((-2),40), ((-2),44), ((1),46), ((-2),48), ((2),50), ((-2),52), ((2),53), ((-1),55), ((-1),57), ((-2),59), ((-1),60), ((-1),61), ((-1),62), ((1),67), ((-1),68), ((-1),69), ((-1),70), ((-1),71), ((2),72)], (54)), ("GEQ", [((-2),4), ((-1),6), ((-1),10), ((2),11), ((-2),12), ((2),13), ((2),14), ((-2),15), ((-1),16), ((-2),17), ((2),18), ((2),19), ((2),20), ((-1),22), ((1),23), ((1),24), ((-2),25), ((-2),26), ((1),28), ((1),31), ((2),32), ((-1),34), ((-2),36), ((1),37), ((-2),38), ((-2),40), ((-2),41), ((2),42), ((-1),44), ((1),46), ((-2),49), ((-2),50), ((1),52), ((1),53), ((2),56), ((1),57), ((1),58), ((2),59), ((-1),60), ((-1),61), ((2),63), ((2),64), ((-2),66), ((1),68)], (10)), ("GEQ", [((2),1), ((-2),2), ((2),3), ((1),4), ((-2),5), ((-2),7), ((1),8), ((-1),9), ((1),10), ((-2),11), ((-1),12), ((-1),13), ((1),14), ((1),15), ((-1),16), ((-2),17), ((2),18), ((-2),21), ((-1),23), ((-1),25), ((-2),26), ((-2),28), ((1),29), ((1),30), ((-2),31), ((1),32), ((-1),34), ((-1),39), ((-2),41), ((1),43), ((1),44), ((1),46), ((2),47), ((2),48), ((2),50), ((-1),51), ((-1),53), ((-1),54), ((1),55), ((2),56), ((1),57), ((-1),60), ((-2),61), ((-1),63), ((-2),64), ((-1),65), ((1),66), ((-2),67), ((-2),69), ((2),72), ((-2),74)], (46)), ("GEQ", [((2),1), ((2),2), ((2),3), ((1),5), ((-1),6), ((1),8), ((-2),9), ((-1),10), ((2),12), ((2),13), ((1),15), ((-2),16), ((-1),17), ((2),21), ((2),23), ((-2),26), ((-2),27), ((1),28), ((2),29), ((-1),35), ((-1),36), ((-2),37), ((1),39), ((-1),41), ((2),42), ((-1),44), ((-1),45), ((-1),46), ((-2),51), ((1),52), ((2),53), ((1),54), ((-2),55), ((-1),56), ((2),59), ((2),60), ((-2),61), ((1),64), ((2),65), ((1),66), ((1),67), ((1),69), ((-2),71), ((-2),73)], (31)), ("GEQ", [((1),0), ((-1),5), ((1),8), ((2),9), ((-2),10), ((2),12), ((-1),13), ((-1),14), ((-2),16), ((-2),17), ((2),18), ((2),19), ((-2),20), ((1),23), ((-2),24), ((2),25), ((-2),27), ((1),29), ((-2),34), ((1),35), ((-2),37), ((2),38), ((1),39), ((2),40), ((1),41), ((-1),44), ((1),45), ((1),46), ((2),47), ((-2),48), ((1),49), ((-1),52), ((2),53), ((-2),55), ((2),59), ((-1),60), ((-2),64), ((2),65), ((-1),66), ((-2),70), ((-1),71), ((-1),73)], (47)), ("GEQ", [((-2),0), ((1),3), ((1),4), ((1),7), ((-1),8), ((-1),9), ((-1),12), ((1),13), ((-2),15), ((-2),16), ((-1),17), ((2),20), ((-1),21), ((-1),22), ((-1),25), ((-1),27), ((1),28), ((1),29), ((2),31), ((-1),32), ((2),33), ((1),34), ((1),38), ((1),39), ((-2),41), ((-2),42), ((-1),43), ((2),45), ((-2),46), ((-2),47), ((2),48), ((2),51), ((-2),56), ((-1),61), ((1),62), ((-1),64), ((1),67), ((1),70), ((1),71), ((-1),72), ((-1),74)], (14)), ("GEQ", [((2),0), ((-1),1), ((-2),2), ((-2),4), ((-1),6), ((-1),8), ((-1),9), ((-1),10), ((-1),12), ((1),14), ((-1),16), ((-2),18), ((-2),19), ((-1),20), ((-2),21), ((-2),22), ((-1),24), ((-2),25), ((2),28), ((1),29), ((-1),30), ((-1),31), ((-2),32), ((-2),33), ((-2),35), ((2),36), ((1),37), ((1),40), ((-2),42), ((-1),44), ((1),45), ((-2),47), ((1),49), ((1),51), ((-2),54), ((1),55), ((2),57), ((2),60), ((-1),61), ((2),62), ((1),63), ((-2),65), ((2),69), ((-2),72), ((-1),73), ((-1),74)], (17)), ("GEQ", [((-2),1), ((2),4), ((2),5), ((2),6), ((1),7), ((-1),8), ((-2),10), ((-1),12), ((1),14), ((-1),15), ((1),16), ((-2),17), ((2),18), ((1),22), ((2),25), ((1),27), ((2),30), ((-1),33), ((-2),34), ((-1),35), ((-2),38), ((1),39), ((-2),40), ((2),41), ((-1),42), ((-1),44), ((-1),45), ((2),46), ((-1),47), ((-2),48), ((-1),49), ((-2),50), ((-2),52), ((-2),53), ((-2),54), ((-1),55), ((1),57), ((-1),59), ((2),62), ((2),63), ((2),67), ((2),68), ((1),72), ((1),73), ((-2),74)], (9)), ("GEQ", [((2),0), ((-2),1), ((-1),5), ((-2),6), ((-2),8), ((-1),9), ((-2),10), ((-2),11), ((2),12), ((-2),14), ((2),15), ((2),16), ((2),17), ((-1),18), ((2),19), ((1),21), ((-2),22), ((1),23), ((2),26), ((-2),27), ((-2),29), ((-1),30), ((1),32), ((-2),33), ((-1),35), ((-2),36), ((-1),37), ((2),38), ((-1),39), ((1),41), ((-2),42), ((2),44), ((-1),47), ((1),49), ((-2),51), ((1),53), ((1),54), ((-1),56), ((-2),57), ((-1),59), ((-1),60), ((2),62), ((-2),64), ((-1),65), ((-1),66), ((-1),69), ((2),71), ((-2),73), ((1),74)], (-11)), ("GEQ", [((-1),0), ((-2),1), ((-1),3), ((-1),4), ((-1),5), ((2),7), ((-2),14), ((-1),16), ((-2),20), ((-2),21), ((-1),22), ((-2),23), ((-2),25), ((-2),26), ((2),29), ((1),30), ((-1),31), ((-1),32), ((1),34), ((-2),35), ((1),36), ((2),37), ((1),38), ((2),40), ((1),41), ((2),42), ((-2),46), ((1),47), ((-1),49), ((1),50), ((2),51), ((-1),52), ((-2),54), ((-1),58), ((1),60), ((-1),61), ((-1),64), ((-2),67), ((1),68), ((-1),72), ((1),73), ((1),74)], (-22)), ("GEQ", [((2),0), ((-2),1), ((1),2), ((1),3), ((2),5), ((-2),6), ((2),7), ((-2),8), ((2),9), ((-1),11), ((2),15), ((2),16), ((2),18), ((1),20), ((1),22), ((-2),23), ((-2),26), ((1),29), ((2),31), ((2),32), ((-1),33), ((-2),35), ((-2),36), ((2),37), ((1),39), ((2),41), ((-1),42), ((1),43), ((1),44), ((-2),46), ((-2),47), ((-2),48), ((2),49), ((-2),50), ((-1),51), ((-2),53), ((-1),54), ((2),55), ((2),58), ((-1),61), ((1),62), ((-2),63), ((-1),66), ((1),67), ((1),68), ((-1),69), ((2),71), ((-2),72), ((-2),74)], (-38)), ("GEQ", [((-2),0), ((2),3), ((-2),7), ((1),8), ((2),10), ((1),11), ((-2),13), ((-1),14), ((2),15), ((-1),16), ((-2),18), ((-2),19), ((-2),20), ((2),21), ((-2),22), ((-1),23), ((1),24), ((1),25), ((1),26), ((1),27), ((1),28), ((2),31), ((2),33), ((-2),40), ((2),41), ((-1),42), ((-1),43), ((-2),44), ((1),46), ((2),47), ((2),48), ((2),50), ((-1),51), ((-2),52), ((1),53), ((2),56), ((-2),57), ((2),58), ((-2),60), ((-2),61), ((-2),65), ((2),66), ((2),67), ((-1),69), ((-2),70), ((-2),72), ((-2),74)], (7)), ("GEQ", [((1),1), ((-1),2), ((-2),3), ((-2),5), ((2),6), ((2),7), ((2),9), ((2),10), ((-1),12), ((1),13), ((1),14), ((1),16), ((-2),17), ((-2),19), ((2),21), ((2),22), ((-1),23), ((2),24), ((2),25), ((2),26), ((-2),27), ((-2),30), ((2),31), ((-1),34), ((-2),35), ((2),36), ((-1),37), ((1),38), ((-2),39), ((1),45), ((1),46), ((-2),49), ((-2),52), ((2),53), ((1),55), ((-2),56), ((1),57), ((2),58), ((-1),62), ((-2),63), ((1),64), ((1),65), ((-2),67), ((-1),68), ((1),69), ((2),73)], (8)), ("GEQ", [((2),1), ((-2),3), ((1),5), ((2),6), ((1),10), ((1),13), ((-2),14), ((2),15), ((-2),18), ((-2),19), ((-2),22), ((1),24), ((1),26), ((1),27), ((-1),28), ((-2),29), ((1),33), ((1),35), ((-2),36), ((2),37), ((1),39), ((1),40), ((2),42), ((1),43), ((1),44), ((2),47), ((1),48), ((2),50), ((2),52), ((-2),54), ((1),56), ((-2),60), ((1),62), ((1),66), ((-1),67), ((2),69), ((2),71)], (-33)), ("GEQ", [((-2),0), ((2),1), ((-2),2), ((1),4), ((2),6), ((-2),7), ((-1),8), ((-1),9), ((1),11), ((2),12), ((2),13), ((-1),14), ((2),15), ((-2),16), ((1),17), ((1),19), ((-1),20), ((-2),21), ((1),22), ((2),25), ((1),26), ((-1),32), ((2),33), ((2),34), ((1),38), ((2),42), ((2),43), ((-2),45), ((-2),46), ((1),49), ((1),50), ((-2),53), ((-2),55), ((2),56), ((-1),58), ((-1),60), ((-2),61), ((1),62), ((-1),63), ((-1),65), ((-1),66), ((1),69), ((-2),72)], (-29)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((1),8), ((-1),9), ((2),11), ((-2),12), ((-1),15), ((2),17), ((-2),18), ((1),21), ((-2),22), ((-1),25), ((1),26), ((2),29), ((-2),31), ((1),32), ((-1),33), ((1),35), ((-1),36), ((1),37), ((2),41), ((-1),42), ((-1),43), ((-1),44), ((1),46), ((-1),47), ((-2),48), ((1),49), ((1),51), ((2),54), ((-2),55), ((-2),56), ((-1),57), ((1),61), ((-1),62), ((1),64), ((-1),66), ((-1),70)], (14)), ("GEQ", [((-1),0), ((-1),2), ((2),11), ((-1),12), ((-2),13), ((2),14), ((2),16), ((1),18), ((-1),19), ((2),21), ((2),23), ((2),24), ((-1),25), ((1),26), ((2),27), ((1),28), ((-2),30), ((1),31), ((2),32), ((2),34), ((1),36), ((-1),37), ((-1),39), ((-2),42), ((1),43), ((2),44), ((-1),46), ((-1),47), ((-2),48), ((-1),49), ((1),50), ((1),52), ((1),54), ((-1),55), ((-2),56), ((-1),57), ((-2),59), ((1),64), ((-2),65), ((-1),66), ((1),68), ((-2),69), ((1),70), ((-1),73)], (-9)), ("GEQ", [((-2),0), ((1),1), ((-1),2), ((1),3), ((-1),5), ((-2),7), ((2),8), ((-2),10), ((-1),12), ((2),14), ((-2),15), ((-1),16), ((-2),18), ((-1),19), ((1),20), ((-2),23), ((2),25), ((1),26), ((-1),27), ((-1),28), ((1),29), ((1),31), ((1),32), ((-2),33), ((1),34), ((1),35), ((2),36), ((1),37), ((-1),38), ((-2),39), ((-2),41), ((-1),43), ((-2),44), ((-1),45), ((1),46), ((1),47), ((1),49), ((2),50), ((-2),51), ((2),52), ((2),55), ((1),56), ((-2),57), ((-1),59), ((2),60), ((-2),61), ((-2),63), ((2),66), ((-2),74)], (-9)), ("GEQ", [((2),1), ((1),2), ((-1),6), ((-2),10), ((-1),12), ((-1),14), ((-2),15), ((2),17), ((-2),21), ((-2),23), ((-2),25), ((1),26), ((2),27), ((2),29), ((-2),31), ((-2),32), ((1),34), ((2),35), ((-1),37), ((-1),38), ((-2),39), ((-2),41), ((-1),43), ((-2),45), ((-2),46), ((-2),48), ((1),50), ((-2),51), ((2),54), ((1),55), ((2),59), ((2),61), ((-2),63), ((1),65), ((2),67), ((-1),68), ((-2),70), ((-2),72), ((-2),73)], (9)), ("GEQ", [((-2),0), ((-1),3), ((1),4), ((-1),5), ((1),6), ((1),7), ((-2),10), ((1),11), ((-1),12), ((2),16), ((2),18), ((2),22), ((-1),23), ((1),24), ((-2),25), ((-1),26), ((2),30), ((2),31), ((1),32), ((2),33), ((-2),36), ((2),37), ((-2),38), ((1),39), ((1),40), ((1),42), ((-1),43), ((2),44), ((1),45), ((-1),47), ((-1),51), ((2),52), ((-2),53), ((1),56), ((-2),58), ((1),59), ((-2),60), ((2),62), ((-1),63), ((1),65), ((-2),66), ((1),71)], (-54)), ("GEQ", [((2),1), ((-2),4), ((-2),5), ((1),6), ((2),7), ((-2),8), ((2),11), ((-1),12), ((-2),16), ((1),17), ((1),18), ((-1),19), ((2),20), ((-1),22), ((2),24), ((-1),25), ((-1),29), ((1),30), ((2),31), ((-1),32), ((-2),37), ((-2),38), ((-1),39), ((-2),42), ((2),44), ((1),45), ((-2),46), ((-2),48), ((-1),49), ((-1),50), ((-1),53), ((-2),55), ((1),56), ((1),59), ((-1),63), ((-2),65), ((1),68), ((-1),73), ((-2),74)], (15)), ("GEQ", [((2),3), ((2),4), ((-2),5), ((-1),6), ((1),7), ((2),8), ((-2),9), ((-2),12), ((2),13), ((2),15), ((2),17), ((1),20), ((1),22), ((1),23), ((-1),24), ((-2),25), ((-2),26), ((-1),27), ((2),28), ((-2),29), ((1),33), ((-2),34), ((2),35), ((-2),36), ((2),39), ((2),41), ((2),42), ((-2),44), ((2),46), ((-1),47), ((-2),50), ((-1),51), ((2),52), ((2),53), ((-2),55), ((1),56), ((2),58), ((-1),59), ((-2),60), ((1),61), ((2),63), ((1),65), ((-2),68), ((1),69), ((1),70), ((1),71), ((1),72), ((1),73), ((1),74)], (35)), ("GEQ", [((-1),0), ((-1),1), ((-2),3), ((-1),5), ((1),6), ((-1),7), ((-2),8), ((-1),9), ((-2),11), ((-2),12), ((-1),13), ((-1),16), ((-1),17), ((-2),18), ((1),19), ((1),20), ((-2),21), ((-2),23), ((-2),24), ((1),25), ((2),26), ((-1),27), ((-1),28), ((2),30), ((-2),31), ((-1),33), ((1),34), ((1),35), ((1),38), ((-2),39), ((2),41), ((1),42), ((2),43), ((-2),44), ((1),45), ((-1),46), ((2),47), ((2),48), ((-1),50), ((2),52), ((2),54), ((1),55), ((-1),57), ((1),60), ((-2),62), ((-2),64), ((-1),65), ((-1),66), ((2),67), ((-2),72), ((2),73)], (15)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((-2),4), ((1),7), ((-1),9), ((2),12), ((2),17), ((2),18), ((2),20), ((1),21), ((1),23), ((2),24), ((1),25), ((2),26), ((-1),27), ((2),29), ((1),30), ((-2),31), ((1),34), ((2),36), ((1),37), ((-2),38), ((-1),40), ((1),43), ((-1),44), ((2),51), ((2),56), ((1),58), ((-2),59), ((-1),63), ((-1),64), ((-2),65), ((1),66), ((2),67), ((-2),68), ((1),71), ((2),72), ((-2),73)], (13)), ("GEQ", [((2),1), ((2),2), ((-2),3), ((2),4), ((1),5), ((-2),10), ((2),11), ((-1),12), ((1),13), ((2),14), ((-2),15), ((-2),16), ((2),18), ((-1),19), ((-2),20), ((-1),21), ((2),23), ((-2),24), ((2),25), ((-1),27), ((-2),28), ((2),30), ((2),31), ((1),32), ((-2),34), ((-1),35), ((1),36), ((2),37), ((-1),39), ((-2),40), ((-1),42), ((-1),44), ((2),45), ((1),46), ((-1),48), ((-2),49), ((2),51), ((2),52), ((2),53), ((-2),54), ((2),56), ((-1),58), ((-2),59), ((1),61), ((2),63), ((2),66), ((-1),70), ((-2),71), ((2),72), ((-1),73)], (19)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-1),3), ((2),4), ((-1),6), ((1),11), ((-1),16), ((-2),18), ((-2),19), ((-1),20), ((-2),21), ((1),22), ((-1),24), ((-1),27), ((2),30), ((-2),31), ((1),32), ((2),33), ((-1),34), ((1),35), ((1),38), ((1),39), ((1),40), ((-2),45), ((2),47), ((-1),48), ((2),49), ((1),50), ((2),51), ((1),52), ((2),54), ((1),55), ((2),56), ((1),57), ((2),58), ((2),59), ((1),60), ((-2),61), ((1),62), ((-2),63), ((-2),64), ((-1),65), ((-1),66), ((-2),68), ((1),69), ((-1),70), ((-1),71), ((-2),72), ((-1),74)], (-9)), ("GEQ", [((1),0), ((2),1), ((1),2), ((1),3), ((-1),6), ((1),7), ((2),8), ((-2),10), ((-1),15), ((2),16), ((1),20), ((-1),22), ((2),24), ((-2),26), ((1),28), ((1),31), ((-1),32), ((1),33), ((-1),35), ((-2),37), ((2),39), ((-1),41), ((-1),42), ((-2),43), ((1),45), ((1),46), ((-1),47), ((1),48), ((-2),49), ((-2),51), ((1),53), ((-1),54), ((-2),55), ((-1),56), ((1),57), ((-2),58), ((-1),59), ((-1),61), ((-2),62), ((-2),63), ((1),65), ((-1),67), ((-2),69), ((2),70), ((2),71), ((2),72), ((-1),73)], (12)), ("GEQ", [((-2),0), ((1),5), ((-2),6), ((-2),8), ((-2),9), ((-1),10), ((-2),11), ((-2),13), ((-1),16), ((1),17), ((1),20), ((2),21), ((-2),22), ((-1),23), ((-1),27), ((2),28), ((1),30), ((1),32), ((-1),33), ((2),34), ((1),36), ((-1),37), ((2),39), ((-1),42), ((-2),43), ((1),46), ((1),47), ((-2),51), ((2),53), ((2),55), ((2),56), ((1),57), ((1),58), ((2),59), ((-2),60), ((1),62), ((1),63), ((-2),64), ((-1),66), ((1),67), ((-1),70), ((2),71), ((1),73), ((2),74)], (-8)), ("GEQ", [((2),1), ((-2),3), ((-2),5), ((-2),6), ((1),7), ((-2),9), ((1),11), ((1),12), ((1),14), ((-1),15), ((2),16), ((-2),17), ((-2),18), ((2),19), ((1),21), ((2),23), ((1),24), ((1),26), ((-2),27), ((2),29), ((-2),30), ((1),31), ((1),32), ((2),33), ((-2),35), ((2),36), ((-1),37), ((-1),39), ((-2),40), ((-1),41), ((-1),43), ((-2),44), ((-2),45), ((-1),47), ((-2),50), ((-1),51), ((-2),52), ((-2),54), ((2),57), ((1),58), ((-1),59), ((1),60), ((2),62), ((-1),63), ((-1),65), ((-2),66), ((-2),67), ((1),70), ((-2),71), ((1),72), ((-1),73)], (7)), ("GEQ", [((-1),0), ((-1),1), ((-1),4), ((1),6), ((-2),8), ((-2),9), ((-2),12), ((1),13), ((1),14), ((-2),15), ((-2),16), ((2),20), ((1),21), ((-1),28), ((-2),29), ((-2),30), ((-1),33), ((1),38), ((-1),39), ((1),41), ((-1),43), ((2),48), ((2),49), ((1),52), ((-1),54), ((-2),55), ((-1),61), ((-2),62), ((2),64), ((-1),66), ((-1),68), ((1),71), ((1),72), ((2),73), ((-1),74)], (-19)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-1),3), ((-1),6), ((1),7), ((-1),8), ((-2),9), ((-1),10), ((-1),11), ((-2),13), ((1),17), ((1),23), ((2),25), ((-2),27), ((1),28), ((1),29), ((2),30), ((2),31), ((-1),33), ((2),35), ((-1),38), ((2),40), ((-2),42), ((-1),47), ((-1),48), ((-2),49), ((-2),56), ((2),57), ((2),58), ((-2),61), ((-1),65), ((-2),66), ((-1),67), ((-1),68), ((1),69), ((-1),71), ((1),72), ((-1),74)], (18)), ("GEQ", [((1),0), ((-2),2), ((2),3), ((1),4), ((-1),6), ((-1),7), ((-2),9), ((-1),10), ((1),11), ((1),12), ((-1),13), ((-1),14), ((-1),15), ((1),17), ((2),18), ((1),19), ((-1),20), ((-1),21), ((2),23), ((2),25), ((2),27), ((-2),28), ((1),29), ((-2),30), ((1),32), ((1),34), ((2),36), ((2),38), ((2),39), ((2),40), ((-1),41), ((-2),42), ((1),43), ((1),45), ((-2),47), ((-1),48), ((2),49), ((2),50), ((-2),52), ((1),54), ((-2),55), ((-1),56), ((-1),57), ((1),58), ((-2),60), ((-1),61), ((-2),63), ((1),64), ((2),65), ((-2),66), ((-2),69), ((1),72), ((-2),73)], (-3)), ("GEQ", [((-2),0), ((-2),3), ((-2),6), ((1),7), ((2),9), ((-1),11), ((1),12), ((2),15), ((2),17), ((-2),18), ((2),19), ((1),20), ((1),21), ((-2),22), ((-2),24), ((-1),26), ((-2),27), ((1),29), ((-2),31), ((2),32), ((-2),33), ((2),36), ((-1),37), ((2),39), ((-2),40), ((-2),41), ((1),43), ((1),44), ((-1),45), ((1),47), ((-1),48), ((-1),49), ((-2),51), ((1),52), ((1),54), ((2),55), ((2),56), ((1),58), ((1),59), ((2),62), ((-1),63), ((-1),68), ((1),69), ((-1),70), ((-2),72), ((-1),74)], (21)), ("GEQ", [((-2),3), ((1),5), ((-1),6), ((2),8), ((-1),9), ((-1),10), ((-1),12), ((1),14), ((1),15), ((1),17), ((-1),21), ((2),24), ((2),26), ((2),27), ((-2),28), ((-2),31), ((-2),32), ((1),33), ((2),34), ((1),35), ((1),37), ((-2),38), ((2),39), ((1),40), ((2),41), ((1),43), ((-1),45), ((1),48), ((-1),49), ((1),50), ((1),52), ((-1),53), ((2),54), ((1),55), ((-1),58), ((-1),61), ((-1),63), ((-1),64), ((-1),68), ((2),72), ((-1),73)], (-17)), ("GEQ", [((1),1), ((2),2), ((-1),3), ((2),4), ((-1),7), ((2),9), ((-1),14), ((-2),16), ((-2),20), ((-1),21), ((-2),22), ((-2),25), ((2),26), ((1),28), ((-1),32), ((-2),33), ((-2),35), ((-2),36), ((-1),38), ((1),39), ((1),41), ((2),42), ((1),44), ((-1),45), ((-2),48), ((-1),49), ((1),50), ((-2),51), ((-2),52), ((1),53), ((2),56), ((-1),60), ((-1),62), ((-2),63), ((1),64), ((2),67), ((-1),68), ((2),74)], (16)), ("GEQ", [((2),4), ((-1),6), ((1),7), ((-1),8), ((-1),9), ((1),10), ((1),11), ((-2),12), ((-1),13), ((2),16), ((2),17), ((1),19), ((-2),21), ((1),23), ((-1),24), ((1),26), ((2),27), ((1),29), ((1),33), ((1),34), ((-2),36), ((2),38), ((-2),39), ((1),40), ((-1),41), ((1),48), ((-2),49), ((-1),51), ((1),52), ((2),53), ((-2),54), ((1),55), ((-1),57), ((-2),58), ((2),59), ((1),61), ((-2),64), ((-1),65), ((-2),66), ((2),69), ((-1),71), ((2),72), ((2),74)], (-9)), ("GEQ", [((-2),0), ((-1),1), ((-1),2), ((1),4), ((-1),5), ((-2),8), ((-2),12), ((-2),13), ((1),14), ((2),16), ((1),17), ((2),18), ((-2),19), ((-2),21), ((-2),22), ((-1),23), ((-1),24), ((-1),25), ((-2),27), ((-2),28), ((-1),29), ((2),31), ((1),35), ((1),36), ((2),37), ((-2),38), ((-2),40), ((2),42), ((1),43), ((-1),44), ((-2),45), ((2),47), ((2),50), ((-1),51), ((-2),54), ((1),59), ((-2),60), ((-2),64), ((-2),65), ((-1),68), ((-1),69), ((2),70), ((-2),72), ((-2),74)], (-19)), ("GEQ", [((1),0), ((1),1), ((1),2), ((-1),3), ((-1),4), ((2),7), ((2),8), ((-1),9), ((-2),13), ((2),15), ((2),19), ((2),23), ((-2),24), ((2),25), ((-2),30), ((2),31), ((1),32), ((2),33), ((-2),35), ((1),37), ((-1),39), ((1),40), ((1),41), ((-1),44), ((-2),46), ((1),49), ((2),50), ((1),51), ((-2),52), ((2),53), ((2),57), ((-1),60), ((-2),61), ((-2),62), ((-1),65), ((1),66), ((1),70), ((1),72)], (24)), ("GEQ", [((-2),0), ((2),2), ((-1),3), ((2),4), ((1),5), ((1),6), ((2),9), ((-1),11), ((2),14), ((-1),15), ((2),16), ((1),24), ((-2),25), ((-1),27), ((-2),28), ((-1),30), ((-2),31), ((2),33), ((1),34), ((-1),38), ((2),39), ((-2),41), ((-1),42), ((1),43), ((2),45), ((-2),46), ((-1),47), ((1),48), ((2),50), ((2),51), ((2),52), ((-1),53), ((1),55), ((2),56), ((2),60), ((2),65), ((-1),66), ((-2),69), ((2),71), ((1),72), ((-1),74)], (-12)), ("GEQ", [((1),0), ((-1),2), ((-2),3), ((-1),4), ((-1),5), ((2),7), ((2),8), ((-2),10), ((1),12), ((-2),13), ((1),15), ((2),17), ((-2),18), ((-1),22), ((1),24), ((2),28), ((2),29), ((-1),35), ((2),36), ((1),39), ((2),41), ((2),42), ((-2),43), ((-2),46), ((-2),47), ((1),48), ((-1),49), ((2),52), ((1),53), ((1),54), ((-2),58), ((-1),60), ((1),62), ((2),64), ((2),65), ((1),69), ((-1),70), ((2),71), ((-1),72), ((1),73), ((1),74)], (-32)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((-1),4), ((-2),5), ((-1),6), ((1),7), ((2),8), ((1),9), ((2),10), ((-1),15), ((2),16), ((1),17), ((1),18), ((2),19), ((-1),20), ((1),22), ((-2),25), ((2),27), ((2),30), ((-1),31), ((2),32), ((2),35), ((-2),36), ((1),37), ((-1),38), ((-1),39), ((-2),40), ((-1),42), ((-1),43), ((-1),45), ((-1),49), ((-1),51), ((1),54), ((1),56), ((-2),58), ((-2),62), ((1),63), ((2),65), ((-1),66), ((2),67), ((-1),69), ((-2),70), ((-2),71), ((2),72), ((1),73), ((-2),74)], (17)), ("GEQ", [((1),1), ((1),2), ((1),6), ((1),7), ((-1),8), ((1),9), ((2),10), ((2),11), ((-2),13), ((1),14), ((-1),15), ((-2),17), ((2),18), ((2),20), ((2),22), ((1),23), ((-2),24), ((-2),26), ((2),28), ((1),30), ((-1),31), ((-2),37), ((-2),38), ((-2),39), ((-2),42), ((-1),44), ((2),45), ((-2),48), ((-2),49), ((1),50), ((-1),51), ((1),53), ((1),57), ((1),58), ((-1),59), ((2),63), ((2),65), ((-1),66), ((-2),68), ((-2),70), ((2),71), ((2),73), ((1),74)], (48)), ("GEQ", [((-2),0), ((-1),2), ((1),3), ((1),4), ((-2),6), ((2),9), ((2),10), ((2),11), ((-1),14), ((-2),17), ((1),18), ((1),19), ((-2),20), ((1),21), ((1),24), ((1),25), ((-2),26), ((1),28), ((-2),29), ((-1),35), ((1),37), ((2),39), ((1),44), ((2),47), ((1),50), ((-1),51), ((-2),52), ((-1),53), ((2),55), ((1),56), ((1),57), ((-2),58), ((2),59), ((-2),60), ((-2),61), ((-2),62), ((2),63), ((2),64), ((1),66), ((1),67), ((-1),68), ((1),70), ((2),71), ((1),73)], (21)), ("GEQ", [((2),0), ((-2),1), ((-1),2), ((1),3), ((1),5), ((2),7), ((-1),8), ((2),9), ((-1),11), ((-1),12), ((-2),15), ((-1),17), ((1),22), ((-1),23), ((2),27), ((-1),28), ((1),29), ((1),30), ((-2),31), ((-1),32), ((-1),34), ((2),35), ((2),36), ((-1),37), ((-1),38), ((2),40), ((-1),42), ((1),43), ((1),45), ((1),47), ((-1),48), ((-2),49), ((-2),50), ((-1),51), ((2),53), ((-2),54), ((-2),55), ((2),57), ((2),61), ((-1),62), ((1),63), ((-2),66), ((-2),67), ((2),68), ((-2),69), ((-1),70), ((1),71), ((-1),72)], (11)), ("GEQ", [((-2),1), ((1),3), ((-2),4), ((2),5), ((-1),8), ((2),10), ((-1),11), ((2),13), ((-2),16), ((2),17), ((-2),19), ((-2),20), ((1),23), ((-2),24), ((-2),27), ((-2),28), ((-2),29), ((-1),30), ((2),33), ((2),35), ((-2),38), ((1),40), ((1),41), ((2),42), ((-2),43), ((1),44), ((-2),47), ((2),48), ((1),49), ((1),50), ((-2),52), ((-1),54), ((2),55), ((1),57), ((-1),58), ((2),60), ((-2),61), ((1),62), ((-1),63), ((-1),64), ((1),65), ((-2),66), ((-2),68), ((1),70), ((1),71), ((2),73), ((-1),74)], (-47)), ("GEQ", [((2),0), ((-2),2), ((1),4), ((2),7), ((2),9), ((-2),10), ((2),11), ((-2),14), ((2),15), ((1),16), ((-1),17), ((-1),19), ((-2),21), ((-2),22), ((-2),26), ((-2),27), ((-2),28), ((-1),29), ((1),30), ((-1),34), ((-1),36), ((2),37), ((-2),44), ((-1),48), ((-1),50), ((-1),51), ((-2),52), ((-1),53), ((2),54), ((-1),56), ((2),57), ((2),58), ((1),59), ((2),62), ((1),63), ((-2),64), ((2),65), ((-2),67), ((2),68), ((1),70), ((-2),71), ((2),73), ((-2),74)], (-27)), ("GEQ", [((2),0), ((1),2), ((1),4), ((2),5), ((1),6), ((-2),9), ((2),11), ((1),12), ((1),13), ((1),14), ((2),19), ((2),20), ((1),21), ((-1),22), ((1),24), ((2),25), ((-2),26), ((-1),28), ((2),29), ((-1),30), ((2),31), ((1),32), ((1),33), ((-2),36), ((1),37), ((1),38), ((2),42), ((1),43), ((2),44), ((-2),45), ((-1),46), ((-2),47), ((-2),48), ((1),50), ((2),51), ((2),52), ((-2),54), ((2),55), ((1),57), ((-2),58), ((2),63), ((2),64), ((-1),65), ((1),66), ((2),67), ((1),68), ((1),69), ((-2),70), ((-1),71), ((2),73)], (-35)), ("GEQ", [((43),0), ((-9),1), ((-43),2), ((42),3), ((-20),4), ((-12),5), ((15),6), ((-15),7), ((48),8), ((-23),9), ((24),10), ((-35),11), ((5),12), ((-1),13), ((-10),14), ((8),15), ((-3),16), ((2),17), ((-39),18), ((25),19), ((2),20), ((12),21), ((33),22), ((-12),23), ((7),24), ((-9),25), ((37),26), ((11),27), ((39),28), ((-6),29), ((-15),30), ((-21),31), ((6),32), ((-49),33), ((-21),34), ((-14),36), ((-60),37), ((17),38), ((6),40), ((-28),41), ((5),42), ((-5),43), ((23),44), ((12),45), ((4),46), ((11),48), ((23),49), ((-41),50), ((-1),51), ((7),52), ((13),53), ((34),54), ((-32),56), ((-6),57), ((-21),58), ((-12),59), ((11),60), ((30),61), ((2),62), ((-41),63), ((30),64), ((-32),65), ((-12),66), ((-1),67), ((-3),68), ((11),69), ((10),70), ((13),71), ((21),72), ((-3),73), ((23),74)], (698)), ("GEQ", [((59),0), ((-55),2), ((20),3), ((-41),4), ((-20),5), ((32),6), ((-19),7), ((25),8), ((-28),9), ((24),10), ((-49),11), ((34),12), ((14),13), ((-16),14), ((1),15), ((26),16), ((-3),17), ((-34),18), ((25),19), ((19),20), ((-18),21), ((-10),22), ((1),23), ((10),24), ((-28),25), ((41),26), ((3),27), ((-11),28), ((7),29), ((-19),30), ((-15),31), ((-3),32), ((-45),33), ((-15),34), ((-46),35), ((8),36), ((-30),37), ((41),38), ((-29),39), ((3),40), ((-31),41), ((30),42), ((15),43), ((27),44), ((-1),45), ((-16),46), ((-15),47), ((25),48), ((40),49), ((-30),50), ((38),51), ((-26),52), ((-44),53), ((11),54), ((-4),55), ((-34),56), ((-14),57), ((3),58), ((-34),59), ((21),60), ((54),61), ((8),62), ((-27),63), ((17),64), ((-45),65), ((-1),66), ((-30),67), ((27),68), ((-3),69), ((18),70), ((-2),71), ((46),72), ((11),73), ((14),74)], (-101)), ("GEQ", [((-55),0), ((6),1), ((49),2), ((-53),3), ((21),4), ((40),5), ((10),6), ((19),7), ((-80),8), ((57),9), ((-8),10), ((14),11), ((15),12), ((9),13), ((24),14), ((1),15), ((13),16), ((-20),17), ((46),18), ((-75),19), ((11),20), ((-2),21), ((-45),22), ((2),23), ((-1),24), ((11),25), ((-19),26), ((-3),27), ((-70),28), ((2),29), ((36),30), ((39),31), ((-10),32), ((56),33), ((21),34), ((-26),35), ((36),36), ((95),37), ((-26),38), ((17),39), ((-31),40), ((22),41), ((17),42), ((4),43), ((19),44), ((-29),45), ((-22),46), ((10),47), ((6),48), ((-24),49), ((47),50), ((6),51), ((-26),52), ((-37),53), ((-74),54), ((21),55), ((75),56), ((-24),57), ((27),58), ((-6),59), ((-8),60), ((-28),61), ((57),62), ((34),63), ((-49),64), ((12),65), ((26),66), ((-4),67), ((24),68), ((-25),69), ((1),70), ((-16),71), ((-22),72), ((8),73), ((-51),74)], (-2014)), ("GEQ", [((32),0), ((-43),1), ((1),2), ((91),3), ((19),4), ((-91),5), ((-90),6), ((-49),7), ((193),8), ((-132),9), ((-50),10), ((82),11), ((-115),12), ((-40),13), ((-50),14), ((-35),15), ((-103),16), ((50),17), ((-77),18), ((223),19), ((-66),20), ((13),21), ((172),22), ((4),23), ((-49),24), ((28),25), ((-58),26), ((-2),27), ((247),28), ((-3),29), ((-90),30), ((-101),31), ((27),32), ((-63),33), ((-36),34), ((178),35), ((-139),36), ((-237),37), ((15),38), ((-14),39), ((110),40), ((11),41), ((-142),42), ((-29),43), ((-153),44), ((85),45), ((94),46), ((-20),47), ((-93),48), ((-16),49), ((-82),50), ((-77),51), ((145),52), ((185),53), ((210),54), ((-78),55), ((-188),56), ((127),57), ((-120),58), ((103),59), ((8),60), ((-7),61), ((-223),62), ((-6),63), ((143),64), ((73),65), ((-73),66), ((79),67), ((-121),68), ((91),69), ((-45),70), ((28),71), ((-30),72), ((-44),73), ((154),74)], (6926)), ("GEQ", [((41),0), ((27),1), ((-64),2), ((54),3), ((-39),4), ((36),5), ((7),6), ((1),7), ((7),8), ((53),10), ((-77),11), ((27),12), ((-5),13), ((8),14), ((44),15), ((16),16), ((-20),17), ((-4),18), ((-65),19), ((3),20), ((44),21), ((18),22), ((-31),23), ((25),24), ((-27),25), ((55),26), ((27),27), ((6),28), ((-22),29), ((23),30), ((-1),31), ((-1),32), ((-54),33), ((-8),34), ((-25),35), ((-15),36), ((-35),37), ((-7),38), ((24),39), ((-12),40), ((-35),41), ((58),42), ((-26),43), ((76),44), ((16),45), ((-2),46), ((12),47), ((10),48), ((25),49), ((-56),50), ((-10),51), ((-20),52), ((3),53), ((-23),54), ((53),55), ((11),56), ((-34),57), ((26),58), ((-53),59), ((-6),60), ((37),61), ((83),62), ((-62),63), ((-24),64), ((-47),65), ((-9),66), ((-36),67), ((-1),68), ((19),69), ((13),70), ((33),72), ((-2),73), ((-3),74)], (-831)), ("GEQ", [((-134),0), ((-10),1), ((138),2), ((-14),3), ((108),4), ((31),5), ((-94),6), ((11),7), ((-7),8), ((52),9), ((-75),10), ((125),11), ((-68),12), ((-46),13), ((14),14), ((6),15), ((-75),16), ((6),17), ((84),18), ((7),19), ((-58),20), ((67),21), ((92),22), ((-1),23), ((-16),24), ((79),25), ((-126),26), ((17),27), ((81),28), ((-22),29), ((38),30), ((30),31), ((25),32), ((107),33), ((22),34), ((150),35), ((-73),36), ((31),37), ((-95),38), ((92),39), ((49),40), ((73),41), ((-143),42), ((-32),43), ((-64),44), ((32),45), ((57),46), ((30),47), ((-77),48), ((-103),49), ((49),50), ((-110),51), ((108),52), ((104),53), ((-4),54), ((-26),55), ((32),56), ((41),57), ((-49),58), ((113),59), ((-55),60), ((-130),61), ((-70),62), ((80),63), ((2),64), ((127),65), ((2),66), ((66),67), ((-73),68), ((-6),69), ((-29),70), ((29),71), ((-69),72), ((-56),73), ((-6),74)], (1444)), ("GEQ", [((-3),0), ((38),1), ((26),2), ((-132),3), ((-4),4), ((65),5), ((81),6), ((37),7), ((-200),8), ((129),9), ((9),10), ((-76),11), ((127),12), ((41),13), ((29),14), ((9),15), ((105),16), ((-65),17), ((81),18), ((-181),19), ((47),20), ((-38),21), ((-177),22), ((18),23), ((4),24), ((-25),25), ((37),26), ((-21),27), ((-279),28), ((8),29), ((95),30), ((82),31), ((-40),32), ((58),33), ((26),34), ((-183),35), ((130),36), ((207),37), ((27),38), ((3),39), ((-74),40), ((-11),41), ((129),42), ((44),43), ((121),44), ((-91),45), ((-96),46), ((23),47), ((69),48), ((28),49), ((73),50), ((77),51), ((-131),52), ((-196),53), ((-193),54), ((42),55), ((165),56), ((-96),57), ((135),58), ((-88),59), ((-2),60), ((49),61), ((195),62), ((28),63), ((-144),64), ((-39),65), ((67),66), ((-107),67), ((141),68), ((-82),69), ((45),70), ((-83),71), ((51),72), ((20),73), ((-142),74)], (-6516)), ("GEQ", [((-125),0), ((59),1), ((-61),2), ((99),3), ((-45),4), ((120),5), ((-9),6), ((59),7), ((-53),8), ((47),9), ((136),10), ((-32),11), ((-1),12), ((16),13), ((69),14), ((102),15), ((3),16), ((45),17), ((22),18), ((-223),19), ((48),20), ((81),21), ((-65),22), ((-54),23), ((150),24), ((-24),25), ((55),26), ((62),27), ((17),28), ((18),29), ((47),30), ((67),31), ((36),32), ((68),33), ((52),34), ((16),35), ((43),36), ((185),37), ((-162),38), ((58),39), ((-133),40), ((5),41), ((79),42), ((-37),43), ((132),44), ((-20),45), ((-9),46), ((-5),47), ((88),48), ((-44),49), ((46),50), ((-7),51), ((-73),52), ((-14),53), ((-129),54), ((141),55), ((142),56), ((-132),57), ((29),58), ((-59),59), ((-41),60), ((-158),61), ((163),62), ((-36),63), ((-68),64), ((-102),65), ((33),66), ((54),67), ((-59),68), ((-43),69), ((-7),70), ((129),71), ((-87),72), ((66),73), ((-104),74)], (-3261)), ("GEQ", [((1),0), ((-131),1), ((111),2), ((-124),3), ((43),4), ((-95),5), ((79),6), ((21),7), ((-21),8), ((23),9), ((-77),10), ((94),11), ((-16),12), ((18),13), ((2),14), ((-135),15), ((28),16), ((48),17), ((-45),18), ((156),19), ((51),20), ((-119),21), ((-91),22), ((84),23), ((-49),24), ((44),25), ((-44),26), ((-102),27), ((-83),28), ((15),29), ((-93),30), ((1),31), ((10),32), ((64),33), ((-1),34), ((-86),35), ((144),36), ((82),37), ((79),38), ((-89),39), ((-55),40), ((53),41), ((-46),42), ((89),43), ((-142),44), ((-79),45), ((-56),46), ((-14),47), ((30),48), ((-8),49), ((134),50), ((101),51), ((-42),52), ((-76),53), ((95),54), ((-95),55), ((-20),56), ((46),57), ((-35),58), ((67),59), ((68),60), ((23),61), ((-163),62), ((83),63), ((67),64), ((25),65), ((25),66), ((90),67), ((92),68), ((-58),69), ((5),70), ((-2),71), ((-45),72), ((69),73), ((3),74)], (452))]
[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]