[("GEQ", [((2),0), ((1),1), ((2),5), ((-2),7), ((-2),8), ((-1),10), ((-1),11), ((1),12), ((-1),14), ((1),16), ((1),17), ((1),19), ((2),20), ((1),23), ((2),27), ((1),28), ((1),30), ((1),31), ((-1),32), ((2),34), ((2),35), ((2),36), ((-1),37), ((-1),38), ((2),39), ((2),44), ((-2),45), ((-2),46), ((-2),47), ((2),48), ((-2),49), ((1),52), ((-1),53), ((2),54), ((1),56), ((1),57), ((-1),58), ((1),59), ((2),61), ((-1),62), ((-2),63), ((-2),64), ((-1),69), ((1),71), ((1),72), ((1),73), ((-2),74)], (-4)), ("GEQ", [((-2),0), ((2),2), ((-2),3), ((-2),6), ((1),11), ((2),13), ((1),14), ((1),15), ((-1),17), ((1),19), ((1),20), ((-1),21), ((-2),24), ((-2),25), ((-1),26), ((1),28), ((2),30), ((-2),32), ((1),33), ((-1),35), ((-2),38), ((-1),39), ((-2),40), ((-1),41), ((1),42), ((-1),44), ((1),45), ((2),49), ((-2),51), ((-1),53), ((-1),56), ((2),57), ((-2),59), ((-2),61), ((-2),64), ((-1),65), ((1),68), ((-1),69), ((-1),72)], (2)), ("GEQ", [((-1),0), ((2),2), ((1),3), ((-1),4), ((2),6), ((1),7), ((-1),9), ((1),10), ((1),12), ((2),13), ((-2),14), ((-1),15), ((1),16), ((1),17), ((-1),20), ((1),21), ((-1),22), ((-1),23), ((-1),25), ((1),26), ((2),27), ((2),29), ((1),30), ((-1),32), ((1),33), ((2),35), ((1),38), ((2),40), ((2),44), ((1),45), ((1),47), ((1),50), ((2),52), ((-1),53), ((-2),54), ((-2),55), ((-1),58), ((-1),59), ((-1),60), ((2),61), ((1),64), ((2),65), ((1),67), ((-1),68), ((-2),69), ((2),70), ((1),72), ((1),73), ((2),74)], (-17)), ("GEQ", [((2),0), ((-1),1), ((-1),5), ((-2),6), ((-2),7), ((-2),11), ((-1),16), ((-2),19), ((-2),20), ((1),23), ((-2),24), ((-2),26), ((2),29), ((-2),30), ((1),31), ((-1),32), ((2),33), ((-1),34), ((2),38), ((1),39), ((-1),40), ((-1),42), ((1),45), ((1),46), ((2),48), ((-1),49), ((-1),50), ((1),55), ((1),56), ((-1),57), ((-2),59), ((2),60), ((2),61), ((-2),62), ((1),63), ((2),64), ((-1),67), ((-1),69), ((2),70), ((-1),71), ((-1),72), ((-1),73), ((-1),74)], (35)), ("GEQ", [((-2),3), ((2),5), ((1),7), ((-1),10), ((-1),11), ((-1),13), ((2),15), ((2),18), ((-1),19), ((1),22), ((-1),24), ((-1),25), ((2),26), ((2),29), ((2),32), ((-2),33), ((2),34), ((-2),36), ((-1),39), ((1),41), ((2),43), ((-1),44), ((-1),45), ((2),47), ((1),48), ((-2),49), ((-2),51), ((-2),52), ((2),54), ((1),60), ((-1),62), ((1),63), ((2),64), ((1),66), ((2),70), ((-2),71), ((2),73)], (20)), ("GEQ", [((1),1), ((2),5), ((2),6), ((1),8), ((1),11), ((1),13), ((2),14), ((1),15), ((-2),17), ((1),19), ((-2),20), ((1),22), ((-1),24), ((1),25), ((2),30), ((-1),35), ((1),37), ((2),38), ((1),42), ((-1),43), ((2),45), ((-1),47), ((-2),48), ((-2),49), ((-1),50), ((1),51), ((-1),52), ((-1),53), ((2),55), ((-1),57), ((2),59), ((-2),66), ((-1),67), ((-2),71), ((2),73), ((-1),74)], (-4)), ("GEQ", [((-2),1), ((-2),2), ((-2),3), ((-2),9), ((2),11), ((2),15), ((2),17), ((1),19), ((-1),21), ((1),22), ((2),23), ((1),24), ((-1),25), ((1),26), ((-2),27), ((2),29), ((-2),30), ((2),31), ((1),34), ((-1),38), ((-1),40), ((-2),46), ((2),47), ((-1),48), ((2),51), ((-2),52), ((1),56), ((1),58), ((-1),59), ((1),60), ((1),61), ((-2),62), ((1),63), ((-2),65), ((-2),68), ((2),69), ((-2),71), ((-2),73), ((2),74)], (32)), ("GEQ", [((-2),0), ((1),1), ((-2),2), ((1),3), ((-1),4), ((-2),5), ((2),6), ((1),7), ((2),9), ((-1),11), ((-1),12), ((-1),13), ((1),16), ((-1),17), ((-2),19), ((-1),20), ((-2),21), ((-2),22), ((-1),23), ((-2),24), ((-2),28), ((-1),31), ((-2),32), ((1),33), ((2),35), ((1),37), ((-1),38), ((1),39), ((-2),40), ((-2),41), ((-1),42), ((1),44), ((-2),47), ((-2),48), ((-1),49), ((-2),50), ((1),51), ((1),52), ((-2),54), ((-2),55), ((-1),57), ((-1),58), ((2),59), ((1),61), ((2),62), ((-1),63), ((-2),64), ((-2),67), ((-2),72), ((-2),74)], (49)), ("GEQ", [((2),0), ((-2),2), ((2),3), ((1),4), ((-1),6), ((-2),8), ((-2),9), ((-1),17), ((-1),18), ((-2),19), ((-1),20), ((-1),21), ((2),22), ((-1),23), ((-1),24), ((-1),25), ((-2),26), ((1),27), ((2),29), ((2),30), ((-2),31), ((-2),33), ((2),37), ((1),38), ((-1),39), ((-2),40), ((1),41), ((1),42), ((2),43), ((2),45), ((2),46), ((2),47), ((1),54), ((-1),55), ((-1),57), ((-1),58), ((-1),60), ((2),61), ((-1),62), ((-1),65), ((1),66), ((-1),68), ((1),69), ((-2),71), ((-2),72), ((1),73), ((-1),74)], (-12)), ("GEQ", [((-2),2), ((-2),3), ((-2),5), ((-2),6), ((-2),7), ((1),8), ((-2),12), ((2),13), ((-2),16), ((1),17), ((-2),18), ((-1),20), ((1),22), ((1),24), ((-2),25), ((-2),26), ((-2),28), ((1),29), ((1),30), ((-2),31), ((1),32), ((-1),33), ((2),35), ((-1),36), ((-1),37), ((1),42), ((2),44), ((-1),47), ((-2),48), ((-1),49), ((2),51), ((-2),52), ((1),55), ((1),57), ((1),58), ((1),59), ((-1),60), ((1),61), ((-1),63), ((2),64), ((-2),65), ((1),66), ((-2),67), ((-1),68), ((2),69), ((1),71), ((2),74)], (4)), ("GEQ", [((2),0), ((1),3), ((2),7), ((-1),8), ((2),10), ((-2),16), ((2),17), ((1),18), ((1),20), ((1),21), ((2),23), ((1),24), ((2),25), ((1),27), ((-1),28), ((-1),30), ((-2),31), ((-1),32), ((-2),34), ((1),35), ((-1),36), ((2),39), ((2),41), ((-1),43), ((-1),50), ((-2),51), ((1),53), ((-1),55), ((2),57), ((1),60), ((-2),61), ((2),62), ((-2),63), ((2),64), ((-1),65), ((1),66), ((-2),67), ((-2),68), ((1),70), ((-1),71), ((1),73), ((2),74)], (10)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((1),4), ((1),6), ((1),7), ((2),8), ((-2),10), ((2),12), ((2),13), ((-2),16), ((1),17), ((-1),18), ((-2),19), ((2),20), ((2),22), ((-2),24), ((-2),26), ((2),27), ((2),32), ((-1),33), ((-2),34), ((2),35), ((1),37), ((1),38), ((-2),40), ((-2),44), ((-2),45), ((-2),46), ((1),47), ((-2),49), ((-2),51), ((2),53), ((-2),54), ((-2),58), ((2),60), ((2),61), ((1),63), ((-2),64), ((-2),65), ((-1),66), ((2),68), ((-1),71), ((-2),72), ((1),74)], (-38)), ("GEQ", [((1),1), ((2),3), ((-2),5), ((-1),6), ((-2),7), ((1),9), ((1),10), ((2),11), ((-2),12), ((-2),13), ((1),15), ((-1),17), ((-1),20), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((2),25), ((-2),26), ((-2),27), ((2),28), ((2),29), ((-2),32), ((2),34), ((1),35), ((-2),36), ((-1),42), ((-1),43), ((1),44), ((2),45), ((2),46), ((-1),47), ((2),48), ((2),49), ((2),51), ((2),52), ((2),55), ((2),58), ((-2),59), ((-1),60), ((-2),62), ((-1),63), ((2),64), ((2),65), ((1),66), ((2),67), ((2),68), ((-2),70), ((1),73), ((-2),74)], (-18)), ("GEQ", [((1),1), ((1),2), ((-1),4), ((-2),7), ((-2),8), ((-2),10), ((-2),11), ((-2),12), ((-2),13), ((-1),14), ((1),15), ((-2),16), ((-2),17), ((1),20), ((-1),22), ((-1),23), ((1),26), ((2),28), ((-1),29), ((2),30), ((-2),32), ((-2),33), ((2),35), ((1),37), ((-2),39), ((1),40), ((1),41), ((1),44), ((-1),45), ((-1),46), ((-1),48), ((-2),52), ((-2),53), ((2),56), ((-1),57), ((-1),58), ((1),60), ((-2),61), ((-1),62), ((1),63), ((-1),64), ((2),66), ((1),67), ((-1),69), ((-1),70), ((-1),72), ((-1),74)], (36)), ("GEQ", [((-2),0), ((1),1), ((-1),3), ((1),4), ((-2),6), ((1),7), ((2),8), ((-1),9), ((2),10), ((2),13), ((-1),16), ((-2),20), ((2),21), ((-2),22), ((2),23), ((1),26), ((1),28), ((1),29), ((2),30), ((1),31), ((2),33), ((1),35), ((2),36), ((2),38), ((-1),40), ((-2),41), ((1),43), ((-2),46), ((1),47), ((-2),48), ((-1),49), ((-2),51), ((2),53), ((1),55), ((-2),57), ((1),58), ((-2),59), ((-1),60), ((-1),61), ((1),63), ((2),64), ((-2),65), ((-2),66), ((2),68), ((1),73)], (-27)), ("GEQ", [((-2),1), ((-1),2), ((-2),3), ((2),5), ((1),8), ((2),9), ((2),10), ((-2),14), ((-2),15), ((1),17), ((-1),21), ((2),24), ((2),25), ((2),26), ((-1),27), ((-1),28), ((1),29), ((-2),31), ((-1),32), ((1),34), ((1),35), ((-2),40), ((2),41), ((2),42), ((2),43), ((1),44), ((2),45), ((-2),47), ((2),48), ((1),50), ((-2),51), ((-2),52), ((-2),53), ((1),54), ((2),56), ((1),58), ((-2),59), ((-2),60), ((-1),61), ((2),62), ((-2),64), ((2),65), ((-1),66), ((2),68), ((-1),69), ((-2),70), ((-2),71), ((-2),72), ((1),73), ((2),74)], (22)), ("GEQ", [((2),0), ((1),3), ((1),4), ((1),5), ((-2),6), ((1),7), ((2),9), ((1),11), ((-1),12), ((-2),15), ((2),16), ((-2),18), ((-1),19), ((-2),21), ((-1),23), ((-2),25), ((-2),27), ((-2),28), ((-1),30), ((2),32), ((-1),38), ((1),39), ((-2),41), ((1),42), ((2),43), ((2),44), ((-1),45), ((-1),50), ((2),51), ((2),52), ((2),53), ((-1),56), ((1),57), ((1),58), ((-1),59), ((-2),60), ((-1),62), ((1),63), ((-1),64), ((-2),66), ((-2),68), ((2),70), ((-1),72)], (-57)), ("GEQ", [((1),1), ((1),2), ((-1),6), ((-2),7), ((-1),8), ((-2),10), ((1),11), ((-2),12), ((2),13), ((2),14), ((2),15), ((2),20), ((-2),22), ((1),26), ((-1),27), ((1),28), ((-2),30), ((-1),33), ((-1),34), ((2),35), ((1),39), ((-1),40), ((-1),42), ((2),43), ((-1),44), ((-2),47), ((2),48), ((1),49), ((-2),50), ((-2),52), ((-1),53), ((2),55), ((1),57), ((2),59), ((1),61), ((-1),62), ((-2),64), ((1),66), ((-2),67), ((-2),68), ((1),69), ((2),70), ((-2),71), ((-1),72)], (56)), ("GEQ", [((-1),0), ((1),2), ((1),4), ((2),5), ((2),6), ((-2),7), ((-2),8), ((-2),9), ((-1),10), ((2),15), ((2),16), ((1),21), ((2),24), ((2),25), ((2),27), ((-1),28), ((1),29), ((-2),32), ((1),33), ((-1),35), ((2),36), ((1),37), ((-1),45), ((-2),50), ((-1),52), ((2),53), ((-1),55), ((2),58), ((1),59), ((1),61), ((-1),63), ((1),64), ((1),68), ((-1),70), ((-1),71), ((2),72), ((2),74)], (22)), ("GEQ", [((1),1), ((-2),3), ((-1),4), ((-2),5), ((1),6), ((2),9), ((-1),12), ((-2),13), ((2),14), ((2),16), ((1),18), ((1),19), ((-2),21), ((1),22), ((-1),23), ((2),24), ((-1),25), ((-1),26), ((2),28), ((-1),31), ((-1),33), ((-1),36), ((-2),38), ((1),40), ((-1),41), ((1),42), ((-1),43), ((-1),44), ((2),48), ((-1),49), ((2),50), ((1),53), ((2),54), ((-2),55), ((1),56), ((1),57), ((-2),58), ((2),63), ((-1),64), ((2),65), ((-2),67), ((-1),69), ((-2),70), ((2),71), ((1),72)], (-40)), ("GEQ", [((-1),1), ((-2),2), ((1),4), ((2),5), ((-2),7), ((1),8), ((1),9), ((-2),11), ((-1),12), ((2),13), ((2),17), ((-1),19), ((-1),23), ((-1),26), ((-2),28), ((-1),29), ((1),30), ((-1),31), ((-2),32), ((1),33), ((2),37), ((1),39), ((-1),43), ((-2),44), ((-2),45), ((-2),46), ((1),47), ((-2),48), ((-1),49), ((2),51), ((-1),52), ((-2),54), ((2),55), ((-2),57), ((-2),58), ((-1),59), ((-2),60), ((-2),61), ((2),64), ((-1),65), ((2),67), ((2),70), ((2),71), ((-1),74)], (2)), ("GEQ", [((-1),3), ((2),4), ((1),5), ((-1),6), ((2),7), ((-1),8), ((-2),9), ((2),10), ((-1),12), ((-2),14), ((-1),15), ((1),17), ((1),18), ((-1),21), ((-2),22), ((-1),24), ((-1),26), ((-2),27), ((1),28), ((-2),29), ((2),30), ((1),32), ((-1),34), ((-1),35), ((-2),38), ((2),39), ((-2),41), ((1),43), ((2),44), ((-2),45), ((2),46), ((-1),47), ((2),48), ((1),49), ((1),51), ((2),52), ((2),53), ((1),54), ((-1),55), ((-2),57), ((2),59), ((1),60), ((-1),62), ((-2),64), ((1),65), ((1),66), ((-2),68), ((-2),70), ((2),74)], (-7)), ("GEQ", [((2),0), ((1),1), ((1),2), ((-1),3), ((-1),4), ((2),8), ((2),9), ((1),10), ((-2),11), ((1),12), ((-1),13), ((2),14), ((2),16), ((2),18), ((-2),21), ((2),24), ((2),25), ((2),27), ((2),29), ((-2),30), ((1),31), ((1),32), ((2),33), ((-1),34), ((2),35), ((1),36), ((1),37), ((-1),38), ((-2),39), ((1),40), ((2),42), ((1),44), ((-2),46), ((-2),48), ((-2),49), ((-2),50), ((2),51), ((-2),52), ((1),54), ((1),58), ((1),64), ((-2),65), ((-1),67), ((2),68), ((1),70), ((1),71), ((-2),72), ((-1),73), ((-1),74)], (-45)), ("GEQ", [((1),0), ((1),1), ((-2),2), ((-2),4), ((2),5), ((-2),9), ((1),12), ((1),13), ((-2),15), ((-2),17), ((-1),20), ((1),22), ((2),23), ((2),24), ((-2),28), ((-2),30), ((-1),32), ((2),33), ((2),34), ((-1),35), ((-1),36), ((1),38), ((1),39), ((1),43), ((-2),44), ((2),45), ((2),48), ((-1),51), ((1),52), ((-2),53), ((-1),56), ((-2),57), ((1),58), ((2),59), ((2),60), ((2),62), ((1),63), ((-2),64), ((-2),66), ((-1),67), ((-1),68)], (13)), ("GEQ", [((-1),1), ((-1),3), ((-2),4), ((-2),5), ((2),6), ((1),8), ((-2),9), ((-2),10), ((1),11), ((-2),15), ((1),16), ((2),18), ((2),19), ((1),21), ((1),22), ((-2),26), ((2),28), ((2),29), ((-1),30), ((-1),31), ((2),32), ((-2),35), ((-2),36), ((2),38), ((-2),39), ((-1),41), ((2),42), ((2),43), ((-1),46), ((-1),47), ((1),49), ((2),54), ((-1),55), ((2),56), ((2),59), ((-2),62), ((-1),63), ((1),64), ((-2),68), ((2),70), ((1),71), ((-2),72), ((-1),73), ((-2),74)], (21)), ("GEQ", [((1),1), ((-2),2), ((-1),3), ((1),4), ((-2),5), ((-2),6), ((2),9), ((1),10), ((-1),11), ((-2),13), ((-2),15), ((-2),16), ((-1),18), ((2),20), ((-1),22), ((-2),26), ((2),27), ((1),29), ((-1),31), ((-1),32), ((2),34), ((1),36), ((1),39), ((-1),40), ((1),42), ((-1),43), ((-2),44), ((-1),45), ((-1),47), ((-2),48), ((2),49), ((2),50), ((-2),52), ((-2),53), ((2),54), ((2),55), ((-2),56), ((-1),57), ((1),58), ((1),59), ((2),61), ((-1),62), ((1),65), ((2),66), ((-2),67), ((2),68), ((-1),69), ((-2),70), ((1),71), ((1),73), ((-1),74)], (-2)), ("GEQ", [((-2),0), ((-2),2), ((-1),6), ((-2),7), ((1),8), ((2),9), ((1),10), ((1),11), ((-1),12), ((-2),13), ((-1),14), ((2),16), ((1),19), ((2),20), ((1),21), ((-2),23), ((2),24), ((1),25), ((2),27), ((-1),28), ((-1),29), ((-1),31), ((-2),32), ((1),33), ((1),34), ((1),35), ((1),36), ((2),37), ((2),39), ((2),41), ((-1),42), ((2),44), ((2),48), ((-1),52), ((2),56), ((2),59), ((1),63), ((1),66), ((2),67), ((2),68), ((1),69), ((1),70), ((2),73), ((-1),74)], (1)), ("GEQ", [((-1),3), ((2),4), ((-1),6), ((2),7), ((2),8), ((2),10), ((-1),11), ((-1),12), ((-1),13), ((-1),15), ((-2),16), ((2),17), ((-1),18), ((-1),20), ((-2),21), ((-2),22), ((-2),23), ((1),24), ((2),25), ((-2),26), ((1),28), ((2),32), ((2),33), ((-2),36), ((1),37), ((1),38), ((-2),40), ((2),42), ((1),43), ((-1),44), ((1),47), ((1),50), ((2),51), ((1),53), ((2),56), ((-1),57), ((-2),60), ((-1),61), ((-2),63), ((-1),64), ((2),65), ((2),67), ((1),68), ((-2),69), ((1),71), ((-1),73), ((2),74)], (-73)), ("GEQ", [((2),3), ((-2),4), ((2),5), ((1),7), ((2),8), ((2),9), ((-2),10), ((2),12), ((-1),13), ((-2),14), ((2),16), ((-1),18), ((2),20), ((2),21), ((-2),23), ((-2),24), ((-2),25), ((-1),27), ((2),30), ((2),31), ((-2),32), ((1),33), ((2),34), ((-2),36), ((2),41), ((1),42), ((2),43), ((-2),44), ((2),48), ((2),49), ((-1),51), ((1),53), ((-1),55), ((-1),58), ((-2),60), ((-1),64), ((1),67), ((2),68), ((2),69), ((2),70), ((-1),71), ((2),72), ((1),73), ((2),74)], (-11)), ("GEQ", [((2),1), ((1),2), ((2),3), ((-1),4), ((-2),6), ((-2),8), ((1),9), ((2),10), ((1),11), ((-1),14), ((-2),16), ((1),17), ((-2),18), ((2),19), ((-1),21), ((-2),22), ((1),24), ((2),25), ((1),27), ((-2),29), ((1),30), ((-1),34), ((-2),36), ((1),39), ((-2),41), ((-1),43), ((2),44), ((-1),45), ((-2),47), ((-1),49), ((-1),51), ((2),53), ((2),54), ((1),57), ((-1),59), ((2),60), ((1),61), ((-2),66), ((1),67), ((2),68), ((-1),69), ((2),70), ((1),73)], (-43)), ("GEQ", [((2),1), ((-2),2), ((-1),3), ((-2),5), ((1),6), ((1),8), ((-1),9), ((-1),13), ((-1),14), ((1),15), ((-2),16), ((1),17), ((-1),18), ((-2),21), ((2),22), ((2),23), ((-2),26), ((2),28), ((2),30), ((1),31), ((-1),33), ((1),37), ((2),38), ((2),39), ((-1),45), ((-2),50), ((2),54), ((2),55), ((2),56), ((1),57), ((2),58), ((2),61), ((1),62), ((2),66), ((2),67), ((-1),68), ((1),69), ((-2),71), ((-1),72), ((-2),73), ((2),74)], (-38)), ("GEQ", [((2),1), ((-1),4), ((1),6), ((2),7), ((1),8), ((-2),9), ((-1),12), ((2),14), ((1),15), ((1),17), ((2),18), ((-1),19), ((1),20), ((-1),22), ((1),23), ((-1),24), ((1),25), ((2),27), ((2),30), ((-2),32), ((-2),33), ((1),35), ((2),37), ((2),39), ((-1),40), ((2),43), ((2),44), ((1),45), ((-1),46), ((-1),47), ((1),49), ((1),51), ((-2),52), ((-2),53), ((1),54), ((1),56), ((-1),57), ((-2),58), ((1),59), ((-2),60), ((-2),62), ((-2),64), ((-1),65), ((-1),67), ((2),68), ((-2),70), ((-2),71), ((2),72), ((-2),74)], (2)), ("GEQ", [((-1),0), ((-1),3), ((1),4), ((2),5), ((-1),6), ((-1),8), ((-2),9), ((2),11), ((1),13), ((1),15), ((-2),17), ((-1),18), ((-2),19), ((-2),22), ((1),23), ((1),24), ((1),25), ((-2),26), ((-1),27), ((1),31), ((-2),32), ((2),34), ((-1),35), ((1),37), ((2),38), ((-2),39), ((-2),40), ((1),41), ((-2),42), ((1),43), ((-2),44), ((2),45), ((-1),46), ((-1),47), ((-1),48), ((1),51), ((1),53), ((-1),59), ((-2),62), ((-2),64), ((1),65), ((-1),68), ((-2),69), ((1),71), ((1),72)], (10)), ("GEQ", [((2),1), ((1),2), ((-2),3), ((2),4), ((1),5), ((-2),8), ((1),9), ((-2),10), ((1),13), ((1),14), ((1),15), ((-2),16), ((1),17), ((1),18), ((-1),20), ((-1),21), ((1),23), ((-2),25), ((1),26), ((1),27), ((2),28), ((-1),29), ((-2),30), ((1),32), ((-2),34), ((-2),35), ((1),39), ((-1),41), ((2),42), ((1),45), ((-1),47), ((1),49), ((-1),50), ((2),51), ((-2),52), ((-2),55), ((-2),56), ((-2),57), ((2),58), ((1),62), ((2),63), ((2),64), ((-2),67), ((1),68), ((-1),69), ((-2),73)], (18)), ("GEQ", [((1),0), ((-1),1), ((-1),2), ((1),3), ((-1),4), ((-1),6), ((-2),8), ((-1),9), ((-1),10), ((-1),11), ((1),13), ((2),14), ((2),15), ((-1),19), ((1),20), ((-1),22), ((2),24), ((1),26), ((-1),27), ((-1),28), ((-2),29), ((-2),30), ((-2),31), ((-2),32), ((-1),33), ((-1),35), ((2),36), ((-1),37), ((1),38), ((-2),39), ((2),40), ((1),42), ((-1),43), ((1),46), ((1),47), ((1),48), ((-2),49), ((-1),51), ((1),52), ((1),54), ((2),56), ((-1),57), ((1),58), ((2),60), ((2),62), ((2),64), ((1),66), ((2),67), ((-1),69), ((1),70), ((1),71), ((1),72), ((1),73), ((-2),74)], (5)), ("GEQ", [((-1),1), ((-2),2), ((-1),3), ((2),4), ((-2),5), ((1),6), ((1),8), ((-1),11), ((-2),12), ((-1),16), ((-2),19), ((-2),20), ((-2),21), ((-2),23), ((-2),24), ((-2),25), ((1),28), ((1),30), ((2),31), ((-1),36), ((2),37), ((-2),38), ((2),39), ((1),41), ((1),43), ((2),46), ((-1),47), ((-2),48), ((1),49), ((2),51), ((1),53), ((-2),55), ((2),56), ((1),58), ((2),61), ((-1),62), ((2),65), ((1),66), ((1),68), ((1),70), ((-2),72), ((1),73), ((1),74)], (-6)), ("GEQ", [((1),0), ((2),1), ((-2),3), ((-1),6), ((-2),8), ((2),9), ((1),10), ((-1),12), ((1),13), ((-1),14), ((-1),16), ((-2),17), ((2),18), ((-1),20), ((-1),22), ((-1),23), ((-1),25), ((1),26), ((1),27), ((-2),28), ((1),31), ((2),32), ((-2),34), ((2),35), ((-2),37), ((-2),38), ((-1),40), ((2),41), ((-1),42), ((2),43), ((2),46), ((-2),47), ((-2),49), ((1),51), ((-2),53), ((-1),54), ((1),56), ((-2),58), ((-1),59), ((-1),60), ((-1),62), ((-1),63), ((-2),64), ((-2),65), ((1),70), ((-2),71)], (31)), ("GEQ", [((1),0), ((-1),1), ((-2),3), ((1),5), ((1),7), ((-2),12), ((-1),13), ((-1),14), ((2),15), ((-1),17), ((-2),21), ((2),23), ((1),25), ((-1),27), ((-1),28), ((-2),29), ((-1),30), ((1),31), ((2),32), ((-2),34), ((-2),35), ((1),36), ((-2),40), ((-1),41), ((-2),43), ((1),44), ((1),46), ((-1),47), ((-1),52), ((1),53), ((-2),56), ((-1),58), ((-2),59), ((-1),60), ((2),62), ((2),63), ((-2),65), ((1),66), ((1),68), ((-2),69), ((1),74)], (-6)), ("GEQ", [((-2),1), ((-1),2), ((-1),4), ((1),5), ((-2),7), ((1),9), ((-1),10), ((1),11), ((-1),12), ((1),14), ((-2),15), ((1),16), ((-1),22), ((-1),23), ((2),24), ((-2),25), ((-2),27), ((2),29), ((-1),31), ((1),33), ((2),34), ((2),36), ((2),37), ((-2),38), ((-2),40), ((-2),41), ((1),42), ((-1),43), ((2),44), ((-2),45), ((2),46), ((1),48), ((-1),52), ((1),53), ((1),54), ((-2),55), ((-1),58), ((1),59), ((-1),62), ((-2),63), ((1),64), ((-2),65), ((1),66), ((-2),67), ((2),69), ((-2),70), ((-1),72), ((-1),73), ((-2),74)], (30)), ("GEQ", [((2),1), ((1),2), ((2),5), ((1),8), ((-1),9), ((-1),12), ((-2),14), ((-2),16), ((1),19), ((2),20), ((1),21), ((-1),23), ((2),26), ((1),27), ((-2),28), ((-2),29), ((-2),36), ((1),37), ((1),40), ((1),43), ((-1),44), ((1),45), ((2),49), ((-2),50), ((-2),52), ((1),53), ((-2),56), ((-2),59), ((2),61), ((2),63), ((-1),65), ((1),66), ((-1),68), ((-1),71)], (19)), ("GEQ", [((2),0), ((-1),1), ((1),2), ((2),3), ((2),4), ((2),7), ((2),12), ((-1),14), ((-1),15), ((-2),16), ((-2),17), ((-1),18), ((1),19), ((2),22), ((2),23), ((1),28), ((-2),29), ((-1),32), ((1),34), ((-2),35), ((2),36), ((2),38), ((-1),40), ((2),41), ((-1),42), ((2),45), ((-2),46), ((-1),48), ((-1),50), ((1),53), ((-1),55), ((1),56), ((-2),57), ((1),58), ((2),60), ((2),61), ((-1),63), ((-2),64), ((2),66), ((-2),68), ((1),70), ((-1),71), ((1),72), ((2),74)], (12)), ("GEQ", [((1),0), ((-1),1), ((1),2), ((-1),3), ((1),5), ((2),8), ((-2),10), ((-2),11), ((-1),12), ((1),13), ((-1),17), ((2),18), ((-1),19), ((-1),20), ((-1),21), ((-1),22), ((-1),24), ((-2),26), ((-2),28), ((-2),29), ((-2),32), ((1),33), ((-2),34), ((-2),35), ((-2),36), ((2),37), ((-2),41), ((1),42), ((-1),46), ((2),48), ((1),49), ((-1),50), ((-2),52), ((-1),53), ((-2),54), ((-2),55), ((-1),58), ((1),60), ((-1),61), ((-2),62), ((-1),64), ((-2),65), ((-1),66), ((-2),67), ((1),69), ((-2),70), ((2),72), ((-1),73), ((-2),74)], (46)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((-1),4), ((-2),7), ((-2),9), ((-2),10), ((-2),11), ((2),14), ((-1),15), ((2),16), ((-2),17), ((-2),18), ((2),19), ((-2),20), ((1),21), ((-1),24), ((1),27), ((-1),28), ((-2),33), ((2),36), ((1),37), ((-1),38), ((2),39), ((-2),41), ((-1),42), ((-1),44), ((-2),45), ((-2),46), ((2),47), ((-1),50), ((1),51), ((1),52), ((-1),53), ((-2),54), ((-1),55), ((2),56), ((-2),58), ((1),59), ((-2),61), ((-1),66), ((-1),69), ((1),70), ((2),71), ((-1),72), ((2),73), ((1),74)], (19)), ("GEQ", [((-1),0), ((1),1), ((-1),2), ((-1),3), ((2),5), ((2),8), ((-2),10), ((-2),13), ((-1),14), ((1),15), ((2),18), ((1),19), ((-1),20), ((2),21), ((-1),23), ((2),24), ((1),25), ((-2),27), ((-1),29), ((1),31), ((2),32), ((1),33), ((-1),34), ((-2),35), ((2),36), ((-1),38), ((-1),39), ((2),45), ((1),46), ((-1),47), ((1),48), ((-2),49), ((-2),50), ((1),53), ((-2),54), ((2),55), ((-2),58), ((-1),59), ((-1),61), ((1),63), ((-1),65), ((1),66), ((1),67), ((-1),69), ((-2),71)], (36)), ("GEQ", [((-1),1), ((-2),3), ((-2),5), ((2),6), ((-1),8), ((2),9), ((-2),10), ((-2),11), ((2),15), ((2),17), ((2),18), ((-1),20), ((2),21), ((-2),23), ((1),29), ((2),30), ((2),32), ((-2),34), ((-1),36), ((-2),37), ((2),38), ((-2),40), ((-1),41), ((-2),42), ((-1),43), ((-2),44), ((-2),45), ((-1),46), ((-1),47), ((1),48), ((-2),53), ((-2),56), ((-2),57), ((1),58), ((2),59), ((2),66), ((1),67), ((1),68), ((1),70), ((-1),72)], (54)), ("GEQ", [((-1),3), ((1),4), ((2),5), ((-1),12), ((-1),13), ((-2),14), ((1),15), ((-1),17), ((-2),18), ((1),19), ((-1),20), ((-2),22), ((-1),23), ((-1),25), ((-1),27), ((2),28), ((-1),29), ((-2),30), ((1),31), ((-2),32), ((2),33), ((1),35), ((2),36), ((-2),37), ((1),39), ((2),40), ((1),41), ((2),42), ((-2),43), ((1),44), ((-1),45), ((2),46), ((2),47), ((-1),49), ((-2),50), ((-2),57), ((-2),58), ((-2),59), ((-1),60), ((2),62), ((2),63), ((-1),65), ((1),66), ((1),67), ((-1),73)], (8)), ("GEQ", [((1),0), ((-2),2), ((-2),3), ((-1),6), ((-1),7), ((-2),8), ((1),9), ((-2),10), ((1),11), ((2),12), ((-1),13), ((2),15), ((1),19), ((-2),22), ((-1),24), ((2),25), ((2),26), ((-1),27), ((2),30), ((-1),31), ((-2),35), ((1),37), ((-1),39), ((1),46), ((2),47), ((2),48), ((2),49), ((-2),50), ((2),52), ((-2),53), ((2),54), ((-2),56), ((-2),57), ((1),58), ((2),59), ((-1),60), ((-1),61), ((1),62), ((-2),65), ((1),66), ((-2),68), ((-1),69), ((-1),70), ((1),72), ((2),73)], (51)), ("GEQ", [((1),0), ((1),3), ((1),7), ((1),8), ((-2),9), ((-2),11), ((2),13), ((-1),15), ((-1),17), ((-2),18), ((1),19), ((-2),20), ((-2),22), ((1),23), ((1),24), ((-2),30), ((-1),33), ((-1),36), ((1),39), ((-2),41), ((-1),42), ((-2),43), ((-1),48), ((2),50), ((1),52), ((-1),54), ((2),56), ((-2),60), ((-1),62), ((2),63), ((2),64), ((-1),66), ((-1),68), ((1),71), ((2),72)], (-19)), ("GEQ", [((-2),1), ((-1),2), ((1),4), ((1),5), ((1),6), ((-1),7), ((-2),10), ((-2),11), ((2),12), ((2),13), ((-1),15), ((1),16), ((-1),19), ((2),21), ((-1),23), ((-1),25), ((-2),27), ((-2),28), ((1),30), ((-1),31), ((-2),32), ((2),33), ((-2),35), ((-2),38), ((-2),40), ((-1),41), ((2),42), ((-1),44), ((-1),47), ((2),48), ((2),51), ((2),53), ((-1),54), ((-2),55), ((-1),58), ((-1),60), ((-1),62), ((-2),63), ((1),66), ((1),67), ((-2),68), ((1),69), ((1),73)], (56)), ("GEQ", [((2),5), ((2),6), ((1),8), ((-2),11), ((1),12), ((1),13), ((1),14), ((2),15), ((2),16), ((1),17), ((-2),18), ((-2),20), ((-1),23), ((-2),24), ((1),25), ((-1),26), ((-2),27), ((-1),28), ((-1),29), ((-2),31), ((-2),32), ((1),33), ((1),34), ((-1),36), ((1),38), ((-2),39), ((-2),41), ((-2),42), ((1),43), ((1),46), ((-1),48), ((1),52), ((-2),53), ((2),59), ((-1),61), ((1),64), ((-1),66), ((1),70), ((-2),74)], (49)), ("GEQ", [((2),1), ((2),2), ((-1),6), ((1),9), ((-2),10), ((-2),11), ((-1),12), ((-1),13), ((-2),14), ((2),15), ((-2),16), ((1),18), ((1),19), ((2),21), ((-2),24), ((-2),26), ((-2),30), ((-1),31), ((1),33), ((-2),34), ((-2),35), ((2),36), ((1),37), ((-2),38), ((1),39), ((1),40), ((2),42), ((-1),43), ((-1),44), ((2),45), ((-1),46), ((-1),48), ((2),50), ((-1),54), ((-1),55), ((-2),57), ((-2),58), ((-1),59), ((2),60), ((2),61), ((-1),63), ((-1),64), ((2),65), ((2),66), ((2),67), ((-1),68), ((1),70), ((1),71), ((1),72)], (40)), ("GEQ", [((2),4), ((1),5), ((1),6), ((2),9), ((-2),10), ((1),13), ((1),20), ((-1),21), ((-2),24), ((-1),26), ((2),27), ((1),29), ((-1),31), ((1),33), ((-1),35), ((2),38), ((1),40), ((1),41), ((-1),42), ((1),45), ((1),46), ((2),47), ((2),51), ((1),52), ((2),56), ((-2),57), ((2),58), ((1),59), ((-2),60), ((2),61), ((2),62), ((-2),65), ((1),66), ((2),67), ((2),69), ((2),70), ((-2),71)], (-41)), ("GEQ", [((1),0), ((2),3), ((-2),4), ((1),5), ((2),11), ((-1),12), ((-2),13), ((1),14), ((2),17), ((-2),19), ((2),25), ((-2),27), ((-1),28), ((2),30), ((-2),31), ((2),35), ((-2),36), ((1),37), ((-1),38), ((-1),39), ((-2),40), ((-2),42), ((2),45), ((1),46), ((-1),47), ((-2),49), ((-2),50), ((2),51), ((-1),53), ((-1),54), ((-2),55), ((-2),57), ((-2),60), ((2),61), ((-2),62), ((2),63), ((2),65), ((2),67), ((-1),68), ((-1),69), ((2),72)], (16)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),3), ((-1),6), ((-1),7), ((2),8), ((2),13), ((-1),14), ((2),15), ((-1),16), ((1),17), ((-1),19), ((-2),21), ((2),22), ((2),26), ((-1),27), ((1),29), ((2),30), ((-2),32), ((2),35), ((-1),36), ((-2),37), ((2),40), ((-2),41), ((-2),44), ((-2),45), ((2),46), ((1),47), ((2),48), ((-2),50), ((1),52), ((1),53), ((2),54), ((-1),55), ((2),56), ((1),57), ((1),59), ((1),63), ((-2),66), ((-1),68), ((-1),71), ((-2),72), ((-1),73), ((1),74)], (-5)), ("GEQ", [((1),0), ((-1),5), ((1),6), ((-2),7), ((-2),9), ((-1),12), ((1),15), ((-1),16), ((2),18), ((2),19), ((-1),21), ((1),22), ((-1),23), ((1),24), ((-1),26), ((2),27), ((-2),30), ((1),31), ((2),32), ((2),33), ((2),34), ((1),37), ((1),38), ((-1),39), ((-2),44), ((2),46), ((-1),47), ((2),50), ((2),51), ((-2),52), ((1),53), ((2),54), ((-2),56), ((-2),59), ((1),60), ((-2),62), ((2),63), ((-1),64), ((1),65), ((-1),68), ((2),69), ((1),70), ((-2),72), ((-2),73)], (19)), ("GEQ", [((2),0), ((1),5), ((-2),9), ((-2),10), ((2),12), ((1),13), ((-2),14), ((2),19), ((-1),20), ((1),22), ((2),23), ((2),24), ((2),27), ((-2),28), ((-1),29), ((-1),30), ((2),31), ((2),32), ((-2),33), ((-2),34), ((-1),35), ((-2),36), ((2),37), ((2),38), ((1),39), ((-1),41), ((-2),42), ((-2),43), ((-2),44), ((2),45), ((-2),46), ((-2),47), ((-1),51), ((2),52), ((-1),54), ((1),55), ((-1),56), ((2),57), ((1),58), ((-1),63), ((1),64), ((1),65), ((-1),66), ((2),67), ((2),68), ((-1),70), ((-1),71), ((-2),72), ((-1),74)], (-23)), ("GEQ", [((2),2), ((2),3), ((-1),4), ((-1),5), ((-2),6), ((1),7), ((2),9), ((1),12), ((-1),14), ((1),18), ((-1),20), ((-2),22), ((2),23), ((-2),24), ((1),25), ((1),26), ((-1),27), ((1),28), ((-1),29), ((-1),30), ((-2),31), ((2),33), ((-2),34), ((2),37), ((1),39), ((-1),43), ((-2),44), ((1),46), ((1),48), ((-1),49), ((-2),50), ((-2),51), ((1),52), ((-2),54), ((2),55), ((2),56), ((1),57), ((-2),60), ((2),61), ((-1),63), ((-2),65), ((2),67), ((1),69), ((-2),72)], (0)), ("GEQ", [((2),0), ((-1),2), ((-1),4), ((1),5), ((2),7), ((-2),8), ((1),10), ((-1),11), ((1),12), ((-1),13), ((-2),14), ((1),15), ((1),16), ((2),17), ((1),21), ((2),24), ((-2),25), ((-2),26), ((-2),27), ((1),31), ((2),32), ((-1),33), ((1),36), ((2),37), ((1),40), ((-1),42), ((-2),43), ((2),46), ((2),47), ((1),49), ((-1),50), ((2),51), ((-2),54), ((-1),55), ((-2),57), ((1),59), ((-1),60), ((2),62), ((-2),63), ((2),67), ((1),73), ((-2),74)], (-37)), ("GEQ", [((-2),0), ((-2),3), ((-2),4), ((-1),5), ((-2),6), ((-1),8), ((1),10), ((2),11), ((1),12), ((-1),13), ((1),14), ((1),18), ((-1),20), ((-1),21), ((1),22), ((-1),24), ((-1),26), ((-2),28), ((2),34), ((1),37), ((1),39), ((-2),42), ((2),43), ((2),44), ((2),45), ((1),46), ((2),48), ((-1),50), ((-2),51), ((1),53), ((-2),54), ((-1),55), ((1),56), ((2),58), ((1),60), ((-2),61), ((-1),62), ((-2),63), ((2),65), ((2),68), ((-1),73), ((-1),74)], (39)), ("GEQ", [((-1),0), ((-1),1), ((-2),2), ((-1),4), ((-1),5), ((-2),6), ((1),7), ((1),10), ((-1),11), ((1),13), ((-1),14), ((-2),15), ((2),18), ((-1),19), ((2),21), ((1),24), ((1),25), ((1),26), ((-2),28), ((2),29), ((-2),30), ((1),32), ((2),34), ((2),36), ((1),38), ((1),39), ((1),40), ((1),42), ((-2),43), ((2),44), ((-2),45), ((-2),46), ((-2),47), ((1),49), ((2),50), ((2),53), ((-2),54), ((-1),55), ((-1),58), ((-2),59), ((1),61), ((2),62), ((-2),63), ((2),65), ((1),67), ((-2),69), ((-1),70), ((1),71), ((-2),72), ((2),74)], (-8)), ("GEQ", [((1),0), ((1),1), ((2),2), ((2),4), ((2),5), ((2),6), ((-2),7), ((1),8), ((-1),12), ((-2),13), ((2),14), ((-1),15), ((1),17), ((-2),18), ((1),19), ((2),20), ((-1),22), ((-2),23), ((-1),24), ((2),25), ((2),27), ((2),28), ((1),30), ((2),31), ((-2),32), ((-1),33), ((2),34), ((-1),37), ((1),38), ((1),39), ((-1),40), ((1),41), ((2),42), ((1),46), ((1),49), ((2),50), ((1),51), ((-2),53), ((1),55), ((-1),58), ((-2),60), ((2),61), ((1),62), ((1),64), ((-1),66), ((1),71), ((1),72), ((-1),73), ((-2),74)], (-46)), ("GEQ", [((2),0), ((2),4), ((1),6), ((1),7), ((1),8), ((2),9), ((1),11), ((-1),12), ((1),14), ((-1),15), ((-1),16), ((1),18), ((2),19), ((-2),20), ((-1),21), ((-2),22), ((1),24), ((2),25), ((-1),28), ((2),29), ((1),31), ((2),34), ((2),35), ((1),36), ((-1),38), ((-2),39), ((-2),40), ((1),41), ((-1),43), ((-2),44), ((-1),45), ((2),46), ((1),48), ((-1),49), ((-1),52), ((2),53), ((1),55), ((-2),56), ((-1),57), ((2),58), ((-1),59), ((-2),60), ((-1),61), ((1),65), ((2),66), ((2),68), ((-2),69), ((1),70), ((1),71), ((1),72), ((2),74)], (-31)), ("GEQ", [((-2),0), ((-2),2), ((-1),4), ((-1),6), ((2),8), ((2),9), ((1),11), ((-1),12), ((-2),13), ((-1),16), ((-1),20), ((-2),22), ((2),24), ((-2),25), ((1),27), ((-2),28), ((-2),29), ((-2),30), ((-1),32), ((-2),34), ((1),35), ((2),38), ((1),39), ((-1),41), ((-1),42), ((-2),45), ((2),46), ((2),48), ((2),49), ((2),50), ((-1),51), ((-1),53), ((2),54), ((-1),55), ((-2),56), ((-2),57), ((-2),61), ((-2),64), ((2),68), ((-2),69), ((1),70), ((1),71), ((-1),72), ((-1),73)], (-15)), ("GEQ", [((-2),0), ((-1),2), ((2),3), ((1),4), ((-1),6), ((1),7), ((-1),10), ((-1),11), ((2),12), ((-2),13), ((-2),14), ((-1),15), ((2),16), ((-2),17), ((2),18), ((2),19), ((2),21), ((1),26), ((-2),29), ((-1),31), ((2),33), ((-1),36), ((2),37), ((-2),43), ((-1),44), ((-2),46), ((2),49), ((1),50), ((1),51), ((-2),52), ((-1),53), ((1),54), ((1),56), ((-2),60), ((-1),62), ((-2),63), ((-1),64), ((2),65), ((2),69), ((2),72), ((1),73)], (17)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((-2),4), ((2),5), ((-2),6), ((-1),7), ((-2),9), ((1),10), ((2),12), ((1),14), ((-1),15), ((-2),18), ((1),20), ((-2),21), ((-2),23), ((2),25), ((1),26), ((2),29), ((-1),30), ((-2),32), ((-2),35), ((-2),36), ((2),37), ((2),38), ((-1),40), ((-1),41), ((1),45), ((-2),46), ((-2),48), ((-2),50), ((-2),51), ((1),54), ((-2),55), ((1),56), ((-2),57), ((2),58), ((1),59), ((2),60), ((-2),61), ((-2),62), ((1),63), ((2),64), ((-2),66), ((2),68), ((1),69)], (5)), ("GEQ", [((-1),2), ((2),3), ((2),4), ((-1),5), ((-2),7), ((-1),8), ((-2),9), ((-1),10), ((-2),12), ((1),14), ((-2),15), ((1),17), ((-1),20), ((1),21), ((1),23), ((2),24), ((1),26), ((-2),29), ((1),34), ((2),35), ((1),36), ((2),37), ((2),39), ((2),41), ((1),42), ((2),44), ((1),46), ((2),47), ((1),49), ((-1),50), ((2),51), ((2),52), ((2),53), ((-2),54), ((2),56), ((1),60), ((2),61), ((2),62), ((2),63), ((2),67), ((-1),69), ((-2),70), ((-2),71), ((2),72), ((2),73)], (-29)), ("GEQ", [((-2),1), ((-2),2), ((1),3), ((2),5), ((-1),6), ((1),7), ((-2),8), ((-2),10), ((-2),15), ((-2),16), ((-2),17), ((2),18), ((1),20), ((1),23), ((-2),25), ((-1),26), ((-1),27), ((2),28), ((1),29), ((-2),30), ((2),31), ((1),32), ((-2),33), ((-1),34), ((-2),38), ((-1),39), ((-1),40), ((-2),44), ((-1),45), ((2),46), ((-1),47), ((-1),49), ((2),50), ((-1),53), ((2),55), ((2),58), ((2),59), ((-1),60), ((2),61), ((-1),62), ((-2),65), ((1),68), ((2),69), ((1),70), ((1),71), ((2),73), ((-1),74)], (-23)), ("GEQ", [((1),0), ((-2),1), ((2),2), ((-2),4), ((-1),7), ((1),8), ((1),9), ((-2),10), ((-1),11), ((2),12), ((-1),13), ((-2),15), ((-2),16), ((-1),17), ((1),25), ((2),27), ((-1),28), ((-1),31), ((-2),36), ((2),37), ((1),38), ((1),39), ((-2),42), ((-1),43), ((-1),45), ((1),47), ((-2),48), ((2),51), ((1),52), ((-2),54), ((2),56), ((1),57), ((1),59), ((1),61), ((-2),63), ((-1),64), ((-2),65), ((-1),66), ((-2),70), ((-2),72), ((2),73)], (-12)), ("GEQ", [((-1),1), ((-1),2), ((-2),3), ((-2),5), ((2),6), ((-2),7), ((-1),8), ((-1),9), ((2),15), ((1),18), ((-1),19), ((2),20), ((2),21), ((-1),22), ((-2),23), ((1),26), ((1),27), ((1),28), ((2),29), ((1),30), ((1),32), ((1),33), ((-2),35), ((-2),36), ((1),39), ((-1),40), ((-1),42), ((1),45), ((-1),46), ((1),47), ((-2),48), ((1),51), ((-2),55), ((-1),58), ((1),59), ((-1),61), ((2),62), ((1),63), ((1),64), ((-2),65), ((2),66), ((-1),67), ((2),68), ((1),69), ((2),71), ((2),72), ((-2),73), ((-1),74)], (19)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((-2),4), ((-1),5), ((-2),7), ((-1),8), ((2),9), ((2),10), ((1),11), ((-2),14), ((2),15), ((1),16), ((1),17), ((1),18), ((1),19), ((1),20), ((-2),21), ((2),22), ((2),23), ((-1),24), ((1),26), ((-1),27), ((-1),30), ((2),33), ((2),37), ((2),40), ((-1),42), ((-1),43), ((-2),45), ((1),47), ((-2),49), ((-1),50), ((-1),52), ((-2),53), ((1),54), ((2),55), ((-2),57), ((1),61), ((-1),65), ((-2),66), ((-1),68), ((-2),70), ((1),71), ((2),72), ((1),73), ((1),74)], (4)), ("GEQ", [((2),0), ((-1),2), ((1),5), ((2),6), ((-1),9), ((-2),11), ((2),14), ((-1),16), ((2),17), ((2),19), ((1),20), ((-2),24), ((-2),25), ((-2),28), ((2),29), ((1),31), ((2),34), ((1),35), ((1),36), ((-2),37), ((1),40), ((1),41), ((2),42), ((2),43), ((-1),44), ((-1),45), ((1),46), ((-2),47), ((1),48), ((1),50), ((1),51), ((-1),52), ((2),53), ((1),57), ((1),58), ((-1),60), ((1),63), ((2),65), ((2),66), ((-2),70), ((1),71), ((2),73)], (0)), ("GEQ", [((-1),1), ((-2),3), ((2),4), ((1),5), ((2),7), ((-1),8), ((2),9), ((-2),10), ((1),11), ((-2),15), ((2),17), ((1),18), ((-2),20), ((-1),21), ((-1),23), ((2),24), ((-1),25), ((-2),27), ((-2),30), ((2),31), ((2),32), ((-2),33), ((-1),34), ((1),39), ((-1),40), ((2),41), ((2),44), ((-1),46), ((2),47), ((-1),48), ((-2),49), ((2),50), ((-1),51), ((2),54), ((-1),56), ((1),57), ((-2),58), ((1),59), ((-2),62), ((-2),63), ((2),64), ((2),65), ((1),66), ((1),67), ((-1),68), ((-1),69), ((-2),70), ((-2),73), ((1),74)], (14)), ("GEQ", [((2),0), ((2),1), ((-1),3), ((-1),4), ((1),7), ((-2),9), ((2),10), ((-1),11), ((-1),12), ((-2),13), ((1),14), ((1),15), ((-1),16), ((-1),17), ((1),18), ((-1),20), ((-2),21), ((-2),23), ((2),24), ((2),26), ((-1),27), ((1),28), ((-1),30), ((-2),34), ((2),35), ((2),37), ((-1),39), ((1),40), ((1),41), ((-2),42), ((1),43), ((-2),44), ((-1),46), ((-2),48), ((1),49), ((-1),51), ((1),52), ((-2),53), ((2),54), ((-1),56), ((2),57), ((-1),58), ((2),59), ((-2),60), ((-2),63), ((1),64), ((-1),67), ((2),68), ((2),72), ((2),73)], (-9)), ("GEQ", [((1),0), ((2),4), ((-2),5), ((-1),6), ((-1),8), ((-1),10), ((1),11), ((-2),16), ((-1),18), ((2),20), ((-1),21), ((-2),22), ((2),25), ((-1),26), ((1),27), ((1),29), ((-2),30), ((-2),31), ((1),32), ((2),33), ((2),34), ((1),36), ((-2),37), ((-1),38), ((-1),39), ((2),40), ((-2),41), ((-2),42), ((-2),43), ((-2),44), ((2),45), ((-1),48), ((1),50), ((1),54), ((-1),55), ((-1),56), ((-2),57), ((2),59), ((1),61), ((1),62), ((-2),64), ((1),65), ((-1),66), ((1),69), ((1),70), ((-2),72), ((1),73)], (6)), ("GEQ", [((-50),0), ((-19),1), ((40),2), ((61),3), ((13),4), ((-15),5), ((13),6), ((22),7), ((16),8), ((-1),9), ((31),10), ((35),11), ((34),12), ((29),13), ((10),14), ((-27),15), ((32),16), ((8),17), ((-49),18), ((-13),19), ((10),20), ((38),21), ((48),22), ((19),23), ((7),24), ((-30),25), ((20),26), ((-5),27), ((8),28), ((-10),29), ((29),30), ((9),31), ((24),32), ((-43),33), ((12),34), ((-2),35), ((-3),36), ((-78),37), ((5),38), ((-22),39), ((10),40), ((22),41), ((12),42), ((30),43), ((5),44), ((-18),45), ((-15),46), ((2),48), ((21),49), ((51),50), ((-39),51), ((23),52), ((14),53), ((9),54), ((52),55), ((-31),56), ((85),57), ((14),58), ((-24),59), ((9),60), ((-25),61), ((-3),62), ((-5),63), ((-1),64), ((31),65), ((-32),66), ((-8),67), ((-26),68), ((8),69), ((-15),70), ((-13),71), ((12),72), ((-21),73), ((31),74)], (-1008)), ("GEQ", [((-32),0), ((-18),1), ((20),2), ((18),3), ((1),4), ((-37),5), ((23),6), ((10),7), ((10),8), ((12),9), ((34),10), ((-13),11), ((21),12), ((-19),13), ((-1),14), ((-33),15), ((34),16), ((-9),17), ((-18),18), ((-15),19), ((26),20), ((31),21), ((43),22), ((-20),23), ((-25),24), ((5),25), ((33),26), ((5),27), ((10),28), ((-11),29), ((16),30), ((-8),31), ((24),32), ((-35),33), ((1),34), ((-24),35), ((-4),36), ((-69),37), ((-12),38), ((-13),39), ((32),40), ((15),41), ((5),42), ((10),43), ((10),44), ((-28),45), ((-44),46), ((10),47), ((-23),48), ((13),49), ((53),50), ((-44),51), ((28),52), ((-29),53), ((19),54), ((14),55), ((-24),56), ((36),57), ((-14),58), ((4),59), ((34),60), ((-59),61), ((17),62), ((-7),63), ((6),64), ((42),65), ((-18),66), ((-31),67), ((-34),68), ((-3),69), ((-13),70), ((50),71), ((8),72), ((-24),73), ((5),74)], (-103)), ("GEQ", [((87),0), ((33),1), ((-111),2), ((-117),3), ((-24),4), ((6),5), ((-35),6), ((-51),7), ((-17),8), ((-28),9), ((-54),10), ((-45),11), ((-91),12), ((-45),13), ((-29),14), ((84),15), ((-89),16), ((-15),17), ((90),18), ((23),19), ((-37),20), ((-85),21), ((-95),22), ((-3),23), ((14),24), ((62),25), ((-65),26), ((-2),27), ((-21),28), ((-14),29), ((-40),30), ((-26),31), ((-44),32), ((102),33), ((-36),34), ((1),35), ((8),36), ((186),37), ((-7),38), ((37),39), ((-14),40), ((-61),41), ((-37),42), ((-95),43), ((-13),44), ((56),45), ((58),46), ((19),47), ((-1),48), ((-19),49), ((-126),50), ((114),51), ((-65),52), ((-18),53), ((-46),54), ((-87),55), ((57),56), ((-190),57), ((-17),58), ((23),59), ((-29),60), ((55),61), ((36),62), ((38),63), ((-15),64), ((-102),65), ((57),66), ((35),67), ((77),68), ((-10),69), ((7),70), ((-2),71), ((-15),72), ((48),73), ((-46),74)], (1502)), ("GEQ", [((-63),0), ((8),1), ((139),2), ((121),3), ((18),4), ((100),5), ((-15),6), ((66),7), ((-34),8), ((11),9), ((-22),10), ((154),11), ((78),12), ((117),13), ((71),14), ((-7),15), ((67),16), ((42),17), ((-57),18), ((7),19), ((-19),20), ((36),21), ((4),22), ((84),23), ((68),24), ((-135),25), ((2),26), ((-27),27), ((24),28), ((64),29), ((-9),30), ((106),31), ((3),32), ((-43),33), ((53),34), ((69),35), ((36),36), ((-98),37), ((24),38), ((-36),39), ((-71),40), ((43),41), ((38),42), ((125),43), ((11),44), ((19),45), ((48),46), ((-80),47), ((71),48), ((-7),49), ((14),50), ((-25),51), ((16),52), ((141),53), ((2),54), ((75),55), ((-36),56), ((196),57), ((73),58), ((-70),59), ((-73),60), ((95),61), ((-108),62), ((-43),63), ((-2),64), ((28),65), ((-31),66), ((36),67), ((10),68), ((10),69), ((36),70), ((-145),71), ((12),72), ((-27),73), ((39),74)], (-2133)), ("GEQ", [((28),0), ((-3),1), ((-61),2), ((-74),3), ((-23),4), ((-102),5), ((19),6), ((-46),7), ((17),8), ((2),9), ((77),10), ((-135),11), ((-37),12), ((-103),13), ((-55),14), ((-54),15), ((-14),16), ((-61),17), ((10),18), ((-30),19), ((28),20), ((-6),21), ((6),22), ((-88),23), ((-117),24), ((115),25), ((48),26), ((32),27), ((1),28), ((-49),29), ((9),30), ((-88),31), ((-20),32), ((2),33), ((-31),34), ((-69),35), ((-30),36), ((5),37), ((-22),38), ((32),39), ((86),40), ((-36),41), ((-27),42), ((-94),43), ((25),44), ((-33),45), ((-67),46), ((64),47), ((-79),48), ((22),49), ((17),50), ((-76),51), ((36),52), ((-156),53), ((11),54), ((-62),55), ((-15),56), ((-124),57), ((-68),58), ((45),59), ((114),60), ((-151),61), ((102),62), ((34),63), ((42),64), ((37),65), ((-102),67), ((-49),68), ((-35),69), ((-27),70), ((192),71), ((-20),72), ((-32),73), ((-73),74)], (2162)), ("GEQ", [((38),0), ((-51),1), ((-103),2), ((-66),3), ((6),4), ((-151),5), ((80),6), ((-32),7), ((79),8), ((37),9), ((46),10), ((-215),11), ((-24),12), ((-163),13), ((-67),14), ((-65),15), ((-21),16), ((-16),17), ((-12),19), ((83),20), ((14),21), ((125),22), ((-133),23), ((-86),24), ((148),25), ((46),26), ((50),27), ((-18),28), ((-91),29), ((51),30), ((-168),31), ((60),32), ((-56),33), ((-40),34), ((-116),35), ((-53),36), ((-20),37), ((-31),38), ((6),39), ((130),40), ((12),41), ((-2),42), ((-78),43), ((-27),44), ((-107),45), ((-141),46), ((147),47), ((-109),48), ((-4),49), ((127),50), ((-48),51), ((17),52), ((-201),53), ((86),54), ((-32),55), ((37),56), ((-137),57), ((-94),58), ((152),59), ((154),60), ((-161),61), ((110),62), ((23),63), ((-5),64), ((47),65), ((10),66), ((-60),67), ((-138),68), ((31),69), ((-73),70), ((198),71), ((-2),72), ((13),73), ((18),74)], (1548)), ("GEQ", [((10),0), ((-3),1), ((-78),2), ((-89),3), ((-13),4), ((-83),5), ((-14),6), ((-51),7), ((16),8), ((-19),9), ((105),10), ((-107),11), ((-46),12), ((-59),13), ((-72),14), ((-64),15), ((-31),16), ((-64),17), ((20),18), ((-28),19), ((1),20), ((32),21), ((-14),22), ((-92),23), ((-116),24), ((81),25), ((44),26), ((20),27), ((-11),28), ((-22),29), ((17),30), ((-48),31), ((-7),32), ((11),33), ((-47),34), ((-54),35), ((-30),36), ((-7),37), ((-18),38), ((57),39), ((73),40), ((-5),41), ((-13),42), ((-71),43), ((40),44), ((-19),45), ((-40),46), ((34),47), ((-48),48), ((38),49), ((26),50), ((-89),51), ((55),52), ((-119),53), ((-15),54), ((-31),55), ((-32),56), ((-80),57), ((-72),58), ((-8),59), ((81),60), ((-164),61), ((99),62), ((25),63), ((63),64), ((43),65), ((6),66), ((-87),67), ((-14),68), ((-52),69), ((-18),70), ((174),71), ((-11),72), ((-19),73), ((-54),74)], (1841)), ("GEQ", [((-31),0), ((-4),1), ((70),2), ((106),3), ((20),4), ((-16),5), ((57),6), ((44),7), ((30),8), ((35),9), ((-16),10), ((27),11), ((61),12), ((-3),13), ((34),14), ((9),15), ((32),16), ((39),17), ((-57),18), ((5),19), ((51),20), ((1),21), ((131),22), ((48),23), ((69),24), ((-21),25), ((19),27), ((29),28), ((-51),29), ((5),30), ((-24),31), ((59),32), ((-52),33), ((11),34), ((-5),35), ((11),36), ((-32),37), ((6),38), ((-67),39), ((27),40), ((44),41), ((12),42), ((6),43), ((-34),44), ((-38),45), ((-57),46), ((57),47), ((-65),48), ((-33),49), ((44),50), ((6),51), ((-59),52), ((30),53), ((43),54), ((71),55), ((-2),56), ((76),57), ((33),58), ((32),59), ((50),60), ((34),61), ((-19),62), ((-1),63), ((-25),64), ((-10),65), ((-33),66), ((13),67), ((-56),68), ((72),69), ((-17),70), ((-68),71), ((7),72), ((-7),73), ((71),74)], (-1847)), ("GEQ", [((104),0), ((-11),1), ((-90),2), ((-62),3), ((8),4), ((131),5), ((-15),6), ((6),7), ((6),8), ((9),9), ((-241),10), ((20),11), ((-54),12), ((4),13), ((71),14), ((171),15), ((-42),16), ((87),17), ((141),18), ((76),19), ((-18),20), ((-109),21), ((-100),22), ((37),23), ((178),24), ((-26),25), ((-120),26), ((-49),27), ((-42),28), ((28),29), ((-36),30), ((37),31), ((-34),32), ((85),33), ((6),34), ((67),35), ((24),36), ((204),37), ((-12),38), ((-28),39), ((-144),40), ((-21),41), ((-6),42), ((51),43), ((-117),44), ((36),45), ((70),46), ((-38),47), ((123),48), ((-91),49), ((-93),50), ((274),51), ((-125),52), ((122),53), ((-3),54), ((-74),55), ((193),56), ((-111),57), ((16),58), ((96),59), ((-192),60), ((259),61), ((-141),62), ((-38),63), ((-148),64), ((-164),65), ((81),66), ((203),67), ((94),68), ((84),69), ((23),70), ((-217),71), ((55),72), ((144),73), ((64),74)], (-350))]
[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]