[("GEQ", [((-2),0), ((2),1), ((-1),3), ((-2),4), ((-1),5), ((2),7), ((1),8), ((-1),9), ((-2),10), ((1),12), ((-2),13), ((2),14), ((1),16), ((-2),17), ((1),20), ((2),22), ((1),23), ((1),24), ((-2),27), ((-2),28), ((1),29), ((2),30), ((2),31), ((2),32), ((-1),33), ((-1),36), ((2),39), ((2),40), ((-1),41), ((-1),43), ((-1),45), ((2),49), ((-1),50), ((1),51), ((-1),55), ((-1),56), ((-1),57), ((-1),58), ((-1),64), ((1),65), ((-2),66), ((1),67), ((-1),69), ((-1),70), ((-1),71), ((-1),74)], (22)), ("GEQ", [((2),1), ((-2),3), ((2),4), ((-1),6), ((2),8), ((-2),9), ((-1),10), ((2),11), ((1),15), ((1),16), ((-1),18), ((-2),21), ((-1),26), ((2),27), ((-1),28), ((2),29), ((2),30), ((-2),31), ((-1),33), ((-1),39), ((2),40), ((1),41), ((-1),42), ((2),43), ((2),44), ((1),45), ((-2),46), ((1),47), ((1),48), ((-1),51), ((2),52), ((-2),56), ((2),58), ((-1),59), ((-2),60), ((-2),61), ((2),63), ((2),64), ((-1),65), ((-2),66), ((-1),67), ((-2),68), ((-2),69), ((1),71), ((2),72), ((2),74)], (5)), ("GEQ", [((-1),0), ((-2),1), ((1),2), ((2),3), ((-1),4), ((1),5), ((1),6), ((-1),7), ((2),8), ((1),9), ((-1),12), ((2),13), ((-2),14), ((1),15), ((-1),16), ((1),17), ((2),18), ((-2),19), ((2),20), ((-1),21), ((2),22), ((-2),23), ((-2),24), ((-1),25), ((-1),27), ((-1),29), ((-1),31), ((1),34), ((-2),37), ((-2),40), ((1),41), ((-1),43), ((2),44), ((-1),46), ((2),48), ((-1),49), ((-1),50), ((-1),52), ((2),58), ((1),62), ((1),64), ((-1),65), ((1),68), ((2),70), ((-2),71), ((2),72), ((-2),73)], (20)), ("GEQ", [((-2),0), ((2),1), ((1),3), ((-1),4), ((-2),5), ((1),6), ((1),7), ((2),8), ((-1),9), ((-2),10), ((-2),12), ((-1),15), ((-2),16), ((1),17), ((1),18), ((1),21), ((2),22), ((-1),23), ((-1),24), ((-2),25), ((2),27), ((-2),29), ((2),31), ((-2),32), ((-1),34), ((-2),35), ((1),36), ((1),37), ((-1),38), ((2),39), ((2),40), ((-2),42), ((2),43), ((1),45), ((1),47), ((2),48), ((2),49), ((-1),51), ((-2),54), ((-2),55), ((1),57), ((-2),59), ((-1),62), ((1),63), ((1),65), ((2),67), ((2),68), ((1),71), ((-2),72), ((1),73), ((2),74)], (10)), ("GEQ", [((-1),0), ((1),1), ((-2),2), ((2),5), ((-1),6), ((2),7), ((-1),8), ((2),10), ((-2),11), ((1),15), ((2),16), ((2),18), ((-1),19), ((-2),20), ((-1),26), ((1),30), ((1),31), ((-1),32), ((1),33), ((-1),34), ((-2),40), ((1),42), ((2),43), ((-2),45), ((1),46), ((2),50), ((2),54), ((-1),55), ((-1),57), ((-2),59), ((-2),60), ((1),62), ((1),66), ((1),67), ((2),68), ((-1),69), ((-2),71), ((2),72), ((-2),73)], (13)), ("GEQ", [((1),1), ((-2),6), ((-1),9), ((-1),11), ((-1),12), ((2),16), ((2),17), ((-2),19), ((1),23), ((-2),24), ((2),26), ((-1),27), ((2),28), ((1),29), ((-2),32), ((-2),34), ((-1),37), ((-2),38), ((2),39), ((-2),42), ((-1),43), ((-1),45), ((2),49), ((-1),52), ((-1),57), ((-2),58), ((-2),60), ((1),63), ((2),64), ((-2),65), ((-2),66), ((2),67), ((-2),68), ((2),70), ((-2),72)], (-22)), ("GEQ", [((-2),0), ((-2),2), ((-2),6), ((1),7), ((-1),9), ((-1),10), ((-2),12), ((-2),14), ((2),15), ((-2),17), ((-2),18), ((2),19), ((2),20), ((-2),22), ((-2),23), ((2),24), ((-1),25), ((-1),27), ((1),28), ((1),30), ((1),33), ((1),35), ((2),39), ((-2),40), ((-1),42), ((-2),43), ((-2),44), ((-2),45), ((1),46), ((-2),47), ((1),49), ((1),50), ((1),51), ((-1),54), ((2),57), ((2),59), ((2),60), ((1),62), ((1),63), ((2),65), ((2),66), ((-1),67), ((2),68), ((2),69), ((-1),70), ((1),71), ((-1),72), ((-2),73), ((-1),74)], (11)), ("GEQ", [((2),0), ((-1),2), ((1),6), ((2),7), ((2),8), ((-1),9), ((2),10), ((-2),11), ((2),15), ((2),18), ((-2),19), ((-1),22), ((2),23), ((-1),24), ((-1),27), ((1),28), ((2),29), ((2),31), ((-2),33), ((1),36), ((-2),39), ((-1),40), ((1),42), ((-1),43), ((-1),45), ((2),46), ((-1),52), ((-1),53), ((1),54), ((-1),57), ((-1),58), ((1),62), ((-1),63), ((-1),64), ((-1),67), ((2),69), ((-2),70), ((1),71), ((2),72), ((-1),74)], (18)), ("GEQ", [((2),0), ((2),1), ((-2),3), ((1),5), ((-1),7), ((1),9), ((1),11), ((-2),12), ((1),16), ((-1),19), ((-1),20), ((-1),21), ((-1),22), ((1),24), ((-1),25), ((2),27), ((-1),29), ((1),30), ((-1),31), ((1),32), ((1),33), ((1),34), ((1),35), ((2),37), ((2),39), ((-2),40), ((-1),41), ((-2),43), ((2),46), ((-1),48), ((-2),50), ((2),52), ((1),55), ((2),58), ((-2),59), ((-1),60), ((-2),61), ((-1),64), ((1),67), ((-2),70), ((-2),71), ((-1),72), ((-2),73), ((2),74)], (-9)), ("GEQ", [((-2),0), ((-2),3), ((-2),4), ((1),5), ((2),6), ((-2),7), ((1),8), ((1),11), ((2),12), ((-2),13), ((-1),14), ((-1),15), ((-1),17), ((1),20), ((-2),21), ((2),22), ((-1),23), ((-1),26), ((2),29), ((-1),30), ((-1),31), ((-2),32), ((-2),33), ((-1),34), ((1),37), ((1),38), ((-2),40), ((-1),45), ((2),47), ((-1),50), ((-1),51), ((1),54), ((-2),55), ((-1),57), ((1),59), ((2),61), ((-2),65), ((1),66), ((2),67), ((2),72), ((1),74)], (16)), ("GEQ", [((-1),1), ((-2),2), ((-1),4), ((-2),5), ((-2),6), ((-2),7), ((2),8), ((-1),11), ((2),13), ((-2),14), ((-2),15), ((2),16), ((1),17), ((2),19), ((-1),22), ((-2),23), ((-1),25), ((1),28), ((-1),29), ((2),30), ((2),31), ((1),32), ((1),34), ((-1),35), ((2),37), ((1),39), ((2),40), ((2),43), ((1),44), ((1),45), ((-1),46), ((-1),47), ((1),52), ((-1),53), ((2),54), ((2),55), ((1),56), ((1),58), ((2),59), ((-1),60), ((2),61), ((-2),63), ((1),65), ((-1),66), ((1),67), ((-1),68), ((-1),69), ((-2),72), ((1),73), ((2),74)], (-14)), ("GEQ", [((1),2), ((2),3), ((1),5), ((-1),6), ((2),7), ((2),8), ((2),9), ((-1),10), ((1),12), ((2),13), ((2),16), ((2),17), ((2),19), ((-1),20), ((1),21), ((2),22), ((1),25), ((-1),26), ((-1),27), ((2),28), ((-1),29), ((2),30), ((-2),31), ((1),32), ((-1),34), ((-1),37), ((-1),38), ((2),39), ((2),40), ((-1),41), ((2),42), ((-1),43), ((2),44), ((1),45), ((-2),46), ((-1),48), ((2),50), ((1),51), ((-2),52), ((1),55), ((1),56), ((-1),58), ((2),59), ((-2),60), ((-2),62), ((1),63), ((-2),64), ((2),66), ((2),67), ((1),74)], (-49)), ("GEQ", [((2),1), ((2),2), ((1),4), ((2),5), ((-1),6), ((1),7), ((2),13), ((-1),16), ((-1),17), ((-2),18), ((-2),22), ((2),23), ((2),25), ((2),27), ((-1),29), ((-1),30), ((2),31), ((1),33), ((1),35), ((1),38), ((-2),39), ((-2),40), ((2),41), ((1),45), ((2),46), ((-2),48), ((1),49), ((-1),51), ((1),52), ((1),55), ((2),58), ((2),59), ((1),62), ((-1),63), ((1),64), ((1),65), ((2),68), ((-1),69), ((2),71), ((2),73)], (-40)), ("GEQ", [((1),2), ((2),3), ((1),4), ((-2),8), ((-2),9), ((-2),12), ((-1),15), ((-1),16), ((2),17), ((-2),18), ((2),19), ((2),21), ((2),22), ((2),23), ((-1),24), ((-1),27), ((-1),28), ((2),33), ((-2),34), ((-2),35), ((1),36), ((-2),37), ((-2),41), ((-1),42), ((-1),44), ((-1),45), ((-2),46), ((2),49), ((2),50), ((1),51), ((2),52), ((2),53), ((-1),58), ((2),60), ((2),61), ((-2),62), ((-1),65), ((-2),67), ((2),69), ((-1),70), ((2),71), ((1),72), ((2),74)], (-5)), ("GEQ", [((2),0), ((1),1), ((1),3), ((2),5), ((-2),6), ((2),9), ((-2),11), ((2),12), ((2),14), ((-1),15), ((1),16), ((-2),18), ((-2),20), ((1),25), ((1),27), ((-2),31), ((-2),32), ((-2),34), ((1),36), ((-1),37), ((-1),38), ((2),39), ((-1),40), ((1),41), ((1),42), ((1),44), ((1),45), ((2),46), ((1),47), ((-1),49), ((-2),50), ((1),52), ((1),54), ((-1),55), ((2),58), ((1),59), ((1),60), ((1),62), ((1),63), ((-1),65), ((-1),66), ((-2),68), ((-2),69), ((-2),70), ((1),71), ((-2),72), ((1),74)], (-32)), ("GEQ", [((2),1), ((1),3), ((1),4), ((1),5), ((1),6), ((-1),8), ((1),11), ((-1),12), ((-2),13), ((-2),14), ((-2),16), ((1),18), ((2),19), ((-2),21), ((-2),22), ((1),23), ((-2),24), ((-2),27), ((2),28), ((1),31), ((2),34), ((2),35), ((1),36), ((-2),37), ((-2),41), ((1),42), ((-1),43), ((2),47), ((1),49), ((-1),50), ((2),51), ((-1),52), ((-1),53), ((2),54), ((-2),55), ((2),56), ((2),57), ((-1),58), ((-1),59), ((2),61), ((-2),63), ((1),65), ((-2),67), ((1),68), ((1),70), ((2),71), ((1),72)], (-12)), ("GEQ", [((-2),1), ((1),2), ((-2),3), ((-2),5), ((-2),8), ((2),9), ((-2),10), ((-1),11), ((-2),12), ((-1),13), ((1),14), ((2),15), ((1),16), ((2),17), ((-1),19), ((-2),20), ((2),21), ((2),22), ((1),23), ((2),24), ((2),25), ((-2),30), ((-2),31), ((-1),33), ((2),37), ((1),38), ((2),41), ((-1),42), ((-2),43), ((-1),45), ((-2),46), ((-2),50), ((-2),51), ((1),53), ((-2),54), ((-2),56), ((-1),59), ((-2),60), ((2),61), ((1),64), ((1),66), ((-1),67), ((-1),68), ((-1),69), ((-2),71), ((1),72), ((1),73), ((-1),74)], (44)), ("GEQ", [((-1),0), ((1),2), ((-2),3), ((1),4), ((2),6), ((2),9), ((2),10), ((2),13), ((-1),14), ((2),15), ((1),16), ((2),18), ((2),19), ((2),21), ((1),22), ((2),23), ((2),24), ((2),25), ((1),26), ((1),28), ((2),29), ((2),30), ((2),31), ((1),32), ((1),34), ((-1),36), ((1),37), ((2),38), ((-2),39), ((1),41), ((-2),44), ((-1),47), ((1),49), ((1),50), ((-1),53), ((-1),54), ((1),55), ((1),57), ((2),61), ((-1),62), ((-1),63), ((-1),64), ((-1),67), ((-2),68), ((-2),69), ((2),70), ((-2),71)], (-4)), ("GEQ", [((-1),0), ((-2),1), ((-1),2), ((2),3), ((2),6), ((-1),9), ((1),10), ((-1),11), ((-2),14), ((2),17), ((1),20), ((2),21), ((2),23), ((-2),26), ((-1),27), ((-2),28), ((-2),30), ((1),32), ((-1),33), ((-2),38), ((-1),39), ((2),40), ((-2),41), ((2),42), ((1),43), ((-2),44), ((1),47), ((2),48), ((-1),50), ((-1),51), ((-2),52), ((1),53), ((-1),56), ((2),58), ((2),59), ((2),60), ((2),61), ((-1),63), ((-2),65), ((-2),66), ((1),67), ((-2),70)], (64)), ("GEQ", [((1),0), ((-1),1), ((2),2), ((1),3), ((1),4), ((2),5), ((-1),6), ((2),7), ((-1),8), ((1),9), ((2),10), ((2),11), ((2),12), ((-1),15), ((-2),17), ((2),20), ((2),21), ((1),22), ((-2),23), ((1),24), ((-2),25), ((-2),29), ((-1),30), ((-1),31), ((1),33), ((1),35), ((-1),36), ((-1),42), ((-2),45), ((1),46), ((2),47), ((-2),48), ((1),51), ((-1),57), ((-1),58), ((2),61), ((-1),62), ((-1),63), ((-1),64), ((1),65), ((-2),67), ((-1),70), ((-1),71), ((-1),72), ((2),73)], (-27)), ("GEQ", [((1),0), ((2),3), ((-1),5), ((1),7), ((-2),8), ((-2),9), ((-1),10), ((-1),11), ((1),15), ((1),16), ((-2),17), ((1),18), ((1),19), ((2),20), ((-1),21), ((-2),22), ((2),26), ((-1),28), ((-2),29), ((1),30), ((-2),33), ((1),34), ((-2),35), ((-1),36), ((-1),37), ((2),38), ((1),39), ((-2),41), ((1),42), ((-1),43), ((1),44), ((2),45), ((2),46), ((2),47), ((-1),48), ((1),49), ((2),51), ((-1),57), ((-2),58), ((-1),59), ((-1),64), ((2),65), ((-1),66), ((-2),67), ((-2),68), ((-2),69), ((-1),70), ((1),74)], (-37)), ("GEQ", [((1),0), ((1),1), ((-2),3), ((-1),6), ((2),7), ((-2),8), ((-1),11), ((-1),14), ((2),15), ((-2),16), ((-2),20), ((-2),21), ((2),23), ((-1),24), ((-1),26), ((-2),28), ((-1),29), ((2),30), ((-2),32), ((-1),33), ((-2),37), ((-1),39), ((-2),40), ((-2),41), ((1),42), ((-2),43), ((1),46), ((-1),47), ((-1),48), ((-1),49), ((2),50), ((2),53), ((2),54), ((-2),58), ((2),59), ((-1),60), ((2),61), ((-1),62), ((-2),64), ((1),65), ((-2),66), ((-2),67), ((-1),70), ((-2),71), ((-1),73), ((2),74)], (-46)), ("GEQ", [((-1),0), ((2),2), ((-2),3), ((2),4), ((-2),5), ((-1),6), ((-2),8), ((2),9), ((1),10), ((-2),13), ((2),15), ((-1),16), ((-2),17), ((-1),20), ((-1),24), ((2),26), ((-2),27), ((-1),28), ((-2),29), ((1),34), ((1),35), ((-2),36), ((-2),37), ((2),38), ((-1),41), ((2),43), ((2),45), ((-2),47), ((-2),49), ((-2),50), ((-2),51), ((-1),53), ((-2),55), ((-1),56), ((1),57), ((-1),58), ((-1),60), ((-2),61), ((1),63), ((1),64), ((1),66), ((-2),67), ((2),69), ((-1),71), ((1),72), ((-2),73), ((-2),74)], (37)), ("GEQ", [((1),0), ((-1),1), ((-2),8), ((2),9), ((2),10), ((-1),11), ((-1),12), ((-1),15), ((-1),16), ((-2),17), ((-2),18), ((2),19), ((-2),23), ((1),25), ((2),26), ((-1),28), ((2),30), ((-1),31), ((1),33), ((-1),35), ((-2),36), ((-2),38), ((1),39), ((-2),40), ((-2),42), ((1),45), ((-1),46), ((-2),48), ((1),53), ((-1),57), ((2),58), ((-2),61), ((1),64), ((-2),67), ((1),68), ((1),69)], (-31)), ("GEQ", [((2),1), ((-1),2), ((-2),4), ((-1),6), ((1),7), ((1),10), ((1),11), ((1),14), ((-2),17), ((1),18), ((-1),19), ((-1),20), ((-1),21), ((1),23), ((-1),24), ((2),25), ((2),26), ((1),29), ((-1),31), ((-1),32), ((-2),34), ((1),35), ((-1),37), ((1),38), ((-1),42), ((-2),43), ((-1),47), ((1),48), ((2),50), ((2),51), ((-1),53), ((1),54), ((-1),55), ((2),58), ((-1),59), ((-1),60), ((2),61), ((-2),64), ((2),65), ((1),66), ((1),68), ((-2),69), ((-2),70)], (-24)), ("GEQ", [((2),1), ((2),3), ((1),4), ((1),8), ((-2),9), ((-1),10), ((2),11), ((2),13), ((2),14), ((1),16), ((1),18), ((-1),19), ((-1),21), ((-1),24), ((-1),25), ((2),26), ((2),27), ((2),28), ((2),29), ((-1),30), ((2),32), ((1),33), ((1),35), ((1),36), ((-2),37), ((-2),38), ((1),39), ((-1),41), ((-2),42), ((2),44), ((1),47), ((-2),51), ((1),53), ((1),54), ((-2),56), ((1),57), ((1),59), ((-1),61), ((-2),65), ((2),66), ((-2),70), ((2),72), ((1),73)], (-3)), ("GEQ", [((2),5), ((-1),6), ((-1),7), ((-2),8), ((-2),9), ((-1),10), ((-2),13), ((2),15), ((-2),17), ((2),18), ((2),19), ((-1),22), ((-2),23), ((-1),25), ((1),26), ((-2),30), ((2),31), ((-1),33), ((2),34), ((-2),35), ((-1),37), ((1),38), ((1),39), ((1),41), ((-2),42), ((-2),44), ((-2),46), ((-2),48), ((-2),50), ((1),51), ((1),52), ((2),54), ((-2),56), ((-2),60), ((2),63), ((2),64), ((-1),65), ((-2),68), ((2),70), ((1),71), ((1),72), ((2),73)], (-10)), ("GEQ", [((1),0), ((-1),1), ((-1),7), ((2),9), ((-2),10), ((1),13), ((-1),15), ((1),16), ((-1),17), ((-1),18), ((-1),21), ((-1),22), ((2),23), ((1),25), ((2),26), ((-1),27), ((1),29), ((-1),30), ((-2),32), ((1),35), ((1),36), ((1),37), ((-1),39), ((-2),40), ((2),46), ((2),47), ((1),50), ((-2),52), ((-1),53), ((1),54), ((1),55), ((1),56), ((-1),58), ((2),59), ((1),62), ((-2),63), ((-1),64), ((-2),65), ((1),66), ((1),67), ((1),68), ((-2),69), ((2),72), ((1),73)], (-7)), ("GEQ", [((-2),0), ((1),2), ((-2),3), ((1),4), ((-1),5), ((1),6), ((-1),7), ((1),8), ((-2),9), ((2),10), ((2),11), ((-2),12), ((2),17), ((-1),18), ((2),21), ((1),22), ((-1),23), ((1),24), ((1),25), ((1),26), ((2),27), ((-2),29), ((-2),33), ((1),35), ((1),36), ((2),37), ((2),38), ((1),40), ((2),41), ((-1),42), ((2),43), ((1),44), ((1),46), ((-1),47), ((2),48), ((-2),49), ((-2),50), ((1),52), ((1),53), ((-2),54), ((2),55), ((2),59), ((-1),61), ((2),63), ((-1),66), ((1),68), ((-2),69), ((2),70), ((-2),71), ((-1),72), ((2),74)], (-23)), ("GEQ", [((2),0), ((2),1), ((-2),5), ((2),8), ((-2),9), ((-2),10), ((-1),11), ((2),14), ((1),15), ((2),17), ((-1),19), ((2),23), ((2),26), ((1),29), ((-1),32), ((2),33), ((2),34), ((-2),38), ((1),39), ((-1),40), ((-1),41), ((-1),42), ((1),43), ((-1),45), ((1),46), ((-1),49), ((1),50), ((2),51), ((-2),52), ((-2),53), ((-2),54), ((2),56), ((2),57), ((2),61), ((1),62), ((2),63), ((2),66), ((-1),67), ((2),69), ((-1),72)], (3)), ("GEQ", [((2),7), ((2),8), ((-2),9), ((-1),10), ((2),12), ((-2),13), ((-2),14), ((-2),17), ((2),18), ((-1),19), ((2),20), ((-2),21), ((1),23), ((2),24), ((2),25), ((-1),26), ((-2),27), ((1),29), ((-2),30), ((-2),32), ((-1),33), ((1),35), ((-1),36), ((-1),38), ((1),44), ((-2),49), ((2),51), ((2),52), ((2),54), ((1),55), ((2),56), ((-2),59), ((2),60), ((2),61), ((-1),63), ((1),64), ((1),66), ((-1),67), ((-2),69), ((-1),70), ((2),73), ((2),74)], (-16)), ("GEQ", [((2),1), ((1),2), ((-1),3), ((-2),4), ((2),6), ((-1),7), ((2),8), ((2),9), ((1),11), ((-2),16), ((2),19), ((-2),20), ((-2),21), ((-1),22), ((-2),27), ((-1),28), ((1),30), ((-1),31), ((2),32), ((2),33), ((-1),36), ((2),37), ((2),42), ((-2),43), ((-1),45), ((1),47), ((-1),48), ((-2),49), ((1),50), ((-1),52), ((-1),54), ((-2),56), ((-1),57), ((-2),60), ((-1),61), ((1),63), ((2),66), ((2),68), ((-1),69), ((1),70), ((-2),72), ((1),74)], (9)), ("GEQ", [((2),0), ((2),1), ((2),3), ((-1),4), ((-2),7), ((-2),8), ((1),9), ((1),10), ((2),11), ((1),15), ((1),16), ((1),17), ((2),18), ((-1),21), ((1),24), ((2),25), ((2),26), ((-2),28), ((-2),29), ((2),30), ((-1),33), ((-1),34), ((-1),35), ((-1),36), ((2),37), ((-1),39), ((-2),41), ((1),42), ((-2),44), ((1),49), ((1),50), ((1),51), ((2),53), ((1),54), ((2),55), ((-2),57), ((-2),58), ((2),60), ((2),63), ((2),65), ((-2),66), ((-1),67), ((1),69), ((2),70), ((-1),73), ((1),74)], (3)), ("GEQ", [((2),0), ((2),1), ((2),2), ((-1),7), ((2),9), ((-2),11), ((1),12), ((1),15), ((-2),16), ((1),17), ((1),18), ((1),20), ((-2),22), ((2),23), ((1),25), ((1),28), ((-2),29), ((-2),31), ((-1),32), ((2),34), ((-1),35), ((1),36), ((-1),37), ((2),38), ((2),40), ((1),41), ((1),42), ((-2),44), ((1),45), ((-2),46), ((-2),48), ((-2),52), ((-1),53), ((2),54), ((-1),55), ((-1),56), ((-2),59), ((-2),60), ((-1),61), ((1),63), ((-1),64), ((1),65), ((-2),66), ((-1),69), ((-2),70), ((-1),71), ((-1),73)], (-36)), ("GEQ", [((1),0), ((-1),2), ((2),3), ((1),7), ((1),9), ((-2),10), ((1),11), ((-2),12), ((-1),13), ((2),17), ((-2),18), ((1),20), ((1),21), ((1),22), ((-1),23), ((1),26), ((1),27), ((-1),29), ((2),32), ((-2),33), ((-2),35), ((-2),36), ((-2),37), ((-2),38), ((2),41), ((1),42), ((2),44), ((-2),45), ((2),46), ((-2),47), ((-2),48), ((-1),51), ((-2),52), ((2),53), ((2),55), ((-2),56), ((-2),57), ((-1),59), ((-1),62), ((2),63), ((-2),66), ((-2),67), ((-1),68), ((2),69), ((1),71), ((-2),73), ((-2),74)], (18)), ("GEQ", [((-1),1), ((2),2), ((-2),5), ((1),6), ((-1),7), ((2),8), ((-1),10), ((1),12), ((2),13), ((1),14), ((-1),15), ((-1),16), ((-1),17), ((2),18), ((2),19), ((-2),20), ((-1),21), ((-2),25), ((-1),26), ((1),27), ((1),31), ((1),33), ((-1),34), ((2),36), ((2),37), ((2),38), ((-1),39), ((-1),42), ((-2),43), ((2),44), ((1),45), ((-2),48), ((2),49), ((1),52), ((-2),55), ((-1),58), ((1),59), ((-2),62), ((2),63), ((-2),65), ((2),66), ((-1),67), ((2),70), ((-2),71), ((-2),72), ((2),73)], (5)), ("GEQ", [((1),0), ((1),1), ((-2),5), ((1),8), ((1),10), ((2),14), ((2),16), ((2),18), ((-2),19), ((2),20), ((1),21), ((1),24), ((-1),26), ((2),27), ((2),28), ((-1),29), ((1),31), ((1),32), ((2),34), ((-2),35), ((1),36), ((-2),38), ((-1),41), ((1),42), ((-2),43), ((-2),44), ((1),45), ((2),47), ((-2),48), ((1),49), ((-1),51), ((-2),52), ((-1),55), ((-2),56), ((-1),58), ((1),63), ((-1),65), ((1),67), ((-2),72), ((-1),74)], (6)), ("GEQ", [((2),0), ((-2),1), ((2),2), ((-2),4), ((-1),5), ((-2),6), ((-2),7), ((-1),9), ((-2),10), ((-1),12), ((1),13), ((1),16), ((-1),19), ((2),22), ((-1),24), ((1),25), ((-1),26), ((1),28), ((-1),30), ((-1),32), ((-2),33), ((1),37), ((1),38), ((1),39), ((-2),40), ((-1),44), ((2),45), ((1),47), ((-1),48), ((-1),50), ((-1),51), ((1),55), ((1),56), ((1),57), ((-1),58), ((2),64), ((-1),65), ((1),68), ((2),69), ((1),72), ((2),74)], (-33)), ("GEQ", [((-1),0), ((-1),2), ((1),4), ((1),5), ((1),6), ((-2),8), ((-1),10), ((1),13), ((2),15), ((1),16), ((-1),17), ((-1),19), ((1),20), ((2),21), ((-1),22), ((1),23), ((2),25), ((-1),26), ((1),27), ((1),28), ((-1),29), ((-2),30), ((-1),32), ((2),34), ((1),39), ((1),40), ((2),42), ((-1),44), ((-1),46), ((2),47), ((2),51), ((-2),55), ((-1),56), ((-2),57), ((2),58), ((2),59), ((-2),60), ((1),61), ((2),62), ((-1),63), ((-2),66), ((-2),70), ((2),74)], (-22)), ("GEQ", [((-1),0), ((1),4), ((1),6), ((-2),8), ((-1),9), ((-2),13), ((-1),14), ((2),15), ((2),16), ((1),17), ((-2),19), ((-2),20), ((2),21), ((2),22), ((-1),23), ((-1),24), ((-2),25), ((-1),27), ((-2),29), ((-1),30), ((1),31), ((1),32), ((2),33), ((1),34), ((-2),36), ((-1),39), ((2),40), ((2),41), ((-1),42), ((1),46), ((-2),47), ((1),48), ((1),50), ((-2),52), ((-2),53), ((-1),57), ((1),59), ((-1),62), ((1),63), ((2),64), ((-2),67), ((-1),68), ((1),69), ((2),70), ((-1),71), ((-1),72), ((-2),74)], (52)), ("GEQ", [((1),1), ((-2),2), ((2),3), ((-2),4), ((-2),7), ((1),9), ((-2),10), ((-2),11), ((-1),13), ((-1),14), ((-2),15), ((2),18), ((-1),19), ((1),20), ((-1),21), ((2),22), ((2),23), ((2),24), ((-1),25), ((-1),27), ((1),28), ((1),31), ((-2),32), ((2),35), ((-1),36), ((-2),38), ((2),39), ((-1),40), ((2),41), ((2),42), ((2),43), ((1),45), ((1),48), ((-1),49), ((1),50), ((2),52), ((-1),53), ((2),55), ((1),56), ((-2),62), ((1),64), ((-1),65), ((2),66), ((-1),67), ((2),68), ((-1),70), ((-2),73), ((-1),74)], (8)), ("GEQ", [((-2),0), ((1),2), ((1),3), ((2),4), ((1),5), ((-1),7), ((1),10), ((-2),12), ((-2),13), ((1),14), ((-2),16), ((1),18), ((2),20), ((1),21), ((1),22), ((-1),24), ((-1),25), ((-1),26), ((-1),27), ((1),29), ((-1),30), ((1),31), ((1),32), ((-2),36), ((-1),37), ((-1),38), ((1),41), ((-1),42), ((-1),44), ((2),45), ((-2),46), ((2),50), ((-1),52), ((-2),53), ((-1),54), ((2),56), ((-1),58), ((2),60), ((-1),61), ((1),64), ((1),65), ((2),66), ((-1),67), ((1),68), ((-2),71), ((2),72), ((-1),73), ((-1),74)], (-14)), ("GEQ", [((2),1), ((-1),2), ((1),5), ((-2),6), ((-2),11), ((1),12), ((1),13), ((-1),14), ((1),17), ((2),18), ((2),22), ((-2),23), ((2),24), ((1),25), ((-2),26), ((2),27), ((2),30), ((-1),31), ((-2),32), ((-1),33), ((1),34), ((-1),35), ((-1),36), ((2),39), ((2),40), ((-2),45), ((1),46), ((-2),47), ((-1),48), ((-1),49), ((2),52), ((1),55), ((1),56), ((1),57), ((1),58), ((-2),59), ((-1),60), ((-1),61), ((-1),63), ((2),64), ((2),67), ((-1),68), ((-1),69), ((1),71), ((-1),73)], (-31)), ("GEQ", [((-1),2), ((1),3), ((-2),5), ((1),14), ((1),16), ((1),17), ((2),20), ((2),21), ((-1),22), ((1),24), ((-1),26), ((-1),27), ((-2),30), ((-1),31), ((-1),34), ((2),35), ((-1),36), ((2),38), ((2),39), ((1),40), ((-2),41), ((2),42), ((-2),43), ((-1),44), ((-2),45), ((1),47), ((2),48), ((1),49), ((2),50), ((-2),53), ((2),57), ((-1),59), ((-2),60), ((-2),62), ((-2),65), ((-1),67), ((1),68), ((-1),69), ((2),70), ((-1),71), ((-2),72), ((-1),73)], (2)), ("GEQ", [((-1),0), ((-2),3), ((-2),7), ((1),8), ((2),9), ((-2),10), ((1),11), ((2),12), ((-1),13), ((2),18), ((2),19), ((2),22), ((2),26), ((1),27), ((1),28), ((2),29), ((-1),30), ((-1),31), ((-2),33), ((1),34), ((2),35), ((1),38), ((-2),39), ((1),42), ((1),44), ((-1),45), ((2),46), ((-1),48), ((-1),49), ((-1),50), ((1),51), ((1),53), ((2),55), ((2),56), ((-1),57), ((1),58), ((-1),59), ((-1),61), ((1),64), ((-1),68), ((2),70), ((1),71), ((1),73), ((1),74)], (-8)), ("GEQ", [((-1),0), ((-1),1), ((2),3), ((-2),4), ((-1),5), ((-2),11), ((2),12), ((-1),13), ((1),14), ((-1),15), ((2),16), ((2),17), ((2),20), ((-2),22), ((1),23), ((-2),25), ((2),27), ((1),28), ((-1),30), ((-2),35), ((1),36), ((-1),38), ((-2),41), ((-2),44), ((1),47), ((-2),48), ((-2),53), ((1),56), ((2),57), ((2),58), ((1),60), ((-2),61), ((1),62), ((2),63), ((1),65), ((2),67), ((-1),69), ((-2),70), ((1),73), ((1),74)], (14)), ("GEQ", [((-2),0), ((-1),3), ((-1),5), ((2),6), ((2),7), ((-1),8), ((2),9), ((-1),11), ((2),13), ((1),14), ((-1),15), ((1),17), ((-2),19), ((2),20), ((2),23), ((-1),24), ((-2),25), ((2),26), ((-2),27), ((1),31), ((-1),33), ((-2),34), ((-2),36), ((-1),38), ((-2),40), ((1),44), ((1),46), ((2),48), ((-1),50), ((1),51), ((-2),52), ((1),53), ((-2),57), ((2),58), ((-2),59), ((-2),61), ((1),62), ((-1),65), ((-2),66), ((-1),67), ((-1),68), ((2),73), ((-2),74)], (16)), ("GEQ", [((-2),3), ((-1),4), ((2),6), ((-1),7), ((-2),8), ((-2),9), ((-2),11), ((-2),12), ((-1),13), ((2),15), ((-2),17), ((-1),20), ((-1),21), ((-2),24), ((-2),25), ((-1),27), ((1),28), ((-1),29), ((-2),30), ((1),34), ((1),35), ((1),39), ((2),40), ((-1),41), ((2),43), ((1),44), ((-1),45), ((2),47), ((-2),51), ((-1),54), ((2),56), ((-2),57), ((-1),63), ((-1),64), ((-1),65), ((2),66), ((2),68), ((1),71), ((-1),73), ((1),74)], (7)), ("GEQ", [((1),3), ((2),5), ((2),8), ((-1),12), ((2),13), ((1),14), ((1),15), ((1),19), ((-1),20), ((-2),21), ((-1),23), ((-1),27), ((2),30), ((2),31), ((2),32), ((1),34), ((-2),35), ((1),37), ((-2),38), ((2),39), ((-1),41), ((-2),42), ((-2),46), ((-1),50), ((-2),51), ((-2),53), ((-1),55), ((-1),56), ((1),57), ((1),58), ((1),59), ((-2),60), ((2),62), ((2),64), ((1),66), ((-1),67), ((1),69), ((-2),70), ((-2),71), ((-2),73), ((-1),74)], (31)), ("GEQ", [((-2),1), ((2),2), ((2),3), ((-2),4), ((2),6), ((1),8), ((1),9), ((-2),11), ((1),15), ((2),18), ((1),19), ((2),24), ((-2),26), ((-1),29), ((1),30), ((-1),31), ((-2),32), ((1),33), ((-1),34), ((-2),35), ((-2),38), ((-1),40), ((-1),42), ((-2),43), ((-1),44), ((1),49), ((-2),51), ((2),53), ((1),54), ((2),55), ((-2),56), ((-1),61), ((1),63), ((-2),66), ((-1),70)], (9)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((1),3), ((-1),4), ((2),5), ((-2),6), ((-2),7), ((1),9), ((-1),10), ((1),11), ((-1),14), ((-1),17), ((-1),20), ((-2),21), ((-2),24), ((-2),25), ((-2),27), ((2),28), ((-2),29), ((2),30), ((-1),31), ((-2),33), ((2),34), ((-2),35), ((-2),36), ((-2),38), ((-2),40), ((-2),42), ((-2),43), ((1),44), ((2),45), ((-2),47), ((2),49), ((2),53), ((1),54), ((-2),55), ((1),56), ((-2),57), ((2),59), ((-1),61), ((-1),62), ((2),63), ((-2),64), ((-1),65), ((2),66), ((1),68), ((-1),71), ((-1),72), ((-1),73)], (7)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((2),5), ((-1),7), ((-2),8), ((1),10), ((-2),12), ((1),13), ((2),14), ((-1),15), ((-2),16), ((-2),18), ((2),19), ((-2),20), ((-2),24), ((2),28), ((-2),29), ((2),33), ((-2),35), ((1),36), ((2),41), ((-2),42), ((1),44), ((2),45), ((-1),48), ((-1),49), ((-2),51), ((1),52), ((1),54), ((-1),58), ((1),61), ((-2),62), ((-2),63), ((1),64), ((-2),72), ((-2),73)], (-61)), ("GEQ", [((1),0), ((2),2), ((1),3), ((1),4), ((1),6), ((-1),7), ((-2),9), ((2),10), ((2),12), ((-1),13), ((2),14), ((-1),16), ((2),18), ((-2),19), ((-2),21), ((1),22), ((1),23), ((2),26), ((1),27), ((-1),30), ((2),31), ((-2),32), ((2),33), ((-1),34), ((2),35), ((2),37), ((-2),39), ((2),41), ((2),42), ((-1),45), ((-1),46), ((-2),47), ((-2),48), ((-2),49), ((-2),50), ((1),51), ((2),52), ((-2),53), ((-2),54), ((1),59), ((-1),62), ((2),63), ((-2),64), ((-2),66), ((-2),67), ((-2),70), ((-1),71), ((-1),72), ((2),73), ((-2),74)], (2)), ("GEQ", [((-1),0), ((2),1), ((-2),2), ((1),3), ((-2),4), ((2),5), ((2),9), ((-2),10), ((2),11), ((-1),12), ((-1),13), ((-2),14), ((1),17), ((-2),19), ((-1),22), ((1),23), ((-2),24), ((1),25), ((1),27), ((2),31), ((2),32), ((-2),33), ((1),34), ((-2),37), ((-2),38), ((2),39), ((1),41), ((-2),43), ((1),44), ((-2),45), ((-2),47), ((2),48), ((-2),50), ((-2),51), ((-2),52), ((2),53), ((2),57), ((1),58), ((-2),60), ((-1),62), ((2),64), ((2),70), ((-2),73), ((-2),74)], (35)), ("GEQ", [((2),0), ((2),1), ((-2),2), ((2),4), ((2),5), ((-1),6), ((-2),7), ((-2),8), ((-1),11), ((-1),12), ((1),14), ((-1),15), ((2),16), ((-1),17), ((-2),18), ((-1),21), ((2),22), ((-2),23), ((1),25), ((1),27), ((2),31), ((1),35), ((-1),37), ((-2),38), ((2),41), ((1),43), ((-2),44), ((1),48), ((1),49), ((-1),50), ((2),52), ((1),53), ((2),57), ((2),58), ((2),59), ((-1),62), ((1),63), ((-1),64), ((-1),65), ((-1),66), ((2),67), ((1),68), ((2),70), ((1),73), ((-2),74)], (-40)), ("GEQ", [((-1),1), ((2),2), ((1),3), ((2),4), ((-2),5), ((2),7), ((-2),8), ((2),9), ((1),11), ((-1),12), ((2),13), ((1),14), ((-1),16), ((2),18), ((-2),20), ((-1),22), ((-2),23), ((2),27), ((-1),28), ((-2),29), ((-2),31), ((2),32), ((1),34), ((-2),35), ((1),36), ((-2),37), ((2),38), ((2),40), ((-2),41), ((2),42), ((2),43), ((1),44), ((2),45), ((-2),46), ((1),47), ((2),49), ((-2),51), ((2),52), ((2),53), ((-2),54), ((-1),57), ((2),58), ((-2),60), ((-2),61), ((-2),62), ((-2),63), ((-2),64), ((2),65), ((2),67), ((-1),69), ((-2),72), ((1),74)], (-3)), ("GEQ", [((-1),0), ((2),1), ((-2),3), ((-2),4), ((-2),5), ((-2),7), ((-1),8), ((-1),11), ((-2),13), ((-2),14), ((-2),17), ((-1),18), ((1),19), ((2),20), ((1),23), ((2),25), ((1),27), ((-2),28), ((1),30), ((1),31), ((-1),33), ((2),34), ((-1),36), ((2),37), ((-2),39), ((1),40), ((2),41), ((-2),43), ((-2),45), ((2),46), ((1),47), ((-1),51), ((-2),55), ((2),56), ((2),59), ((-2),61), ((-2),62), ((-2),64), ((1),65), ((-2),66), ((-2),67), ((2),68), ((-2),69), ((2),70), ((1),71), ((-1),73)], (-21)), ("GEQ", [((-2),0), ((2),1), ((1),2), ((1),4), ((1),6), ((-1),7), ((-2),9), ((2),10), ((2),12), ((-1),13), ((-2),14), ((2),15), ((-1),18), ((1),20), ((-2),21), ((-2),22), ((1),24), ((-1),28), ((2),29), ((2),30), ((-2),32), ((1),33), ((-2),35), ((-2),37), ((-1),38), ((-1),42), ((-2),46), ((2),48), ((2),49), ((-2),51), ((1),53), ((1),55), ((2),57), ((2),58), ((-2),59), ((2),61), ((1),62), ((1),63), ((-1),64), ((1),65), ((1),69), ((2),70), ((-1),72), ((-2),74)], (14)), ("GEQ", [((2),0), ((-1),5), ((-1),6), ((-2),7), ((2),9), ((-2),10), ((-2),11), ((-2),13), ((1),14), ((2),15), ((1),17), ((-2),18), ((-1),19), ((2),20), ((-1),21), ((2),23), ((-1),24), ((-1),26), ((2),27), ((1),28), ((-1),29), ((2),30), ((-2),31), ((1),32), ((1),34), ((-1),36), ((-2),37), ((-2),38), ((-1),40), ((2),42), ((1),43), ((1),44), ((1),46), ((2),48), ((-2),50), ((-2),52), ((1),53), ((1),56), ((1),57), ((1),60), ((1),61), ((-1),62), ((-1),64), ((-2),65), ((2),66), ((-1),68), ((2),69), ((-2),70), ((-1),71), ((-1),73), ((-2),74)], (27)), ("GEQ", [((2),1), ((-2),5), ((-2),6), ((2),7), ((2),8), ((-1),9), ((-1),11), ((-1),13), ((-2),14), ((-2),15), ((2),19), ((1),20), ((-2),22), ((-2),23), ((-1),24), ((-1),25), ((-2),26), ((1),28), ((-2),29), ((-2),31), ((-1),32), ((1),35), ((-2),37), ((-2),38), ((-1),39), ((-1),40), ((1),41), ((-2),43), ((2),44), ((-1),45), ((-1),48), ((-1),49), ((-1),50), ((2),51), ((-1),52), ((2),53), ((2),55), ((-2),56), ((-1),59), ((-1),61), ((1),63), ((1),66), ((-2),67), ((-2),68), ((-2),71), ((2),72), ((-2),73), ((1),74)], (-27)), ("GEQ", [((-2),1), ((1),3), ((-1),4), ((-1),5), ((1),7), ((1),9), ((-2),11), ((-2),12), ((2),13), ((2),16), ((-2),19), ((-2),20), ((-1),21), ((-2),22), ((2),23), ((1),24), ((2),25), ((-1),26), ((2),29), ((-1),30), ((1),31), ((2),33), ((-1),34), ((1),37), ((-2),38), ((-2),39), ((-1),40), ((1),41), ((1),43), ((2),46), ((1),47), ((-1),49), ((-1),51), ((1),53), ((-1),54), ((1),57), ((-2),58), ((-2),59), ((1),60), ((-2),63), ((1),68), ((-2),69), ((-2),70), ((2),71), ((1),72), ((1),73)], (27)), ("GEQ", [((1),0), ((1),1), ((2),3), ((2),4), ((1),5), ((2),6), ((-2),7), ((1),10), ((-1),11), ((-1),12), ((2),13), ((-1),14), ((-2),15), ((2),18), ((-2),19), ((-1),20), ((-2),21), ((-2),23), ((2),25), ((-2),26), ((2),27), ((-2),28), ((-1),31), ((-2),32), ((-2),33), ((-2),35), ((2),37), ((2),39), ((1),40), ((-1),41), ((2),42), ((2),44), ((-2),45), ((1),46), ((-1),47), ((2),48), ((-2),49), ((1),54), ((-2),56), ((2),57), ((1),58), ((-1),59), ((-1),60), ((2),61), ((-1),62), ((-2),63), ((2),65), ((-2),68), ((-2),69), ((-1),72), ((2),73), ((1),74)], (-23)), ("GEQ", [((1),0), ((-2),1), ((-1),2), ((-1),3), ((-1),6), ((2),7), ((-2),9), ((-1),11), ((1),13), ((1),14), ((-1),16), ((2),17), ((-1),18), ((-1),21), ((1),22), ((-2),25), ((1),28), ((1),29), ((2),30), ((-1),31), ((-1),33), ((1),34), ((2),35), ((-2),36), ((-1),38), ((-2),43), ((1),44), ((2),45), ((2),47), ((-1),48), ((1),52), ((-1),53), ((-1),54), ((2),55), ((1),56), ((-2),57), ((-1),59), ((-2),60), ((1),61), ((1),62), ((-1),63), ((-2),65), ((2),66), ((-2),69), ((-2),70), ((-2),71), ((-2),72), ((-1),74)], (-22)), ("GEQ", [((1),0), ((-2),2), ((1),3), ((1),5), ((-1),7), ((1),8), ((1),10), ((-2),11), ((-1),12), ((1),14), ((-1),15), ((2),16), ((-2),17), ((-2),18), ((-2),20), ((2),22), ((-1),24), ((1),25), ((2),26), ((2),27), ((-1),32), ((-2),33), ((2),34), ((1),37), ((-1),38), ((-2),40), ((-1),44), ((1),45), ((-2),46), ((2),47), ((1),48), ((-1),50), ((1),53), ((2),54), ((-1),56), ((1),61), ((1),63), ((-2),64), ((1),65), ((2),66), ((-2),67), ((1),69), ((2),71), ((1),74)], (-11)), ("GEQ", [((-1),0), ((-1),1), ((-1),3), ((-1),5), ((-2),6), ((2),7), ((-1),8), ((-1),10), ((-2),11), ((-1),12), ((1),13), ((-1),14), ((2),16), ((2),17), ((-1),23), ((2),27), ((-2),28), ((-2),29), ((-1),30), ((-1),32), ((1),37), ((-2),38), ((2),44), ((2),45), ((2),47), ((2),48), ((2),49), ((-1),51), ((2),52), ((2),54), ((2),55), ((2),57), ((-1),58), ((1),59), ((-2),61), ((-1),64), ((2),66), ((1),69), ((-1),71), ((2),72), ((-2),73)], (-18)), ("GEQ", [((-2),0), ((1),1), ((1),2), ((2),4), ((-1),7), ((-1),8), ((-2),11), ((-1),12), ((-1),13), ((-1),16), ((-1),17), ((-1),18), ((2),22), ((-2),23), ((2),24), ((1),25), ((-1),26), ((-2),27), ((-1),29), ((-2),30), ((-2),31), ((2),32), ((-2),33), ((-2),34), ((-1),35), ((2),37), ((2),38), ((-2),39), ((2),40), ((-2),42), ((-2),43), ((-2),44), ((2),45), ((2),46), ((-2),47), ((-2),48), ((-1),49), ((1),50), ((-2),52), ((-1),56), ((2),57), ((-2),58), ((1),59), ((1),60), ((-1),63), ((-1),66), ((2),69), ((1),72), ((-2),74)], (-30)), ("GEQ", [((-1),1), ((-2),2), ((1),4), ((-2),11), ((-2),14), ((-2),15), ((1),16), ((1),17), ((-1),19), ((1),21), ((-2),22), ((-1),23), ((-2),24), ((-1),25), ((-2),26), ((2),29), ((1),32), ((-1),35), ((2),36), ((1),37), ((1),40), ((2),41), ((-2),44), ((-1),47), ((-1),51), ((-1),52), ((-2),54), ((2),56), ((2),58), ((-2),59), ((2),60), ((2),61), ((-2),62), ((-2),64), ((2),65), ((1),66), ((2),68), ((2),69), ((-2),73), ((-2),74)], (46)), ("GEQ", [((-2),0), ((-1),1), ((-1),3), ((-2),4), ((-1),6), ((2),8), ((2),10), ((-1),11), ((-1),12), ((-2),13), ((1),14), ((-2),15), ((-1),18), ((-2),20), ((2),21), ((-1),24), ((2),25), ((2),26), ((-1),27), ((2),28), ((1),29), ((2),32), ((2),34), ((-2),35), ((2),36), ((2),38), ((-1),39), ((2),40), ((-2),44), ((2),45), ((1),46), ((2),49), ((1),51), ((-2),52), ((-1),54), ((-2),55), ((-2),56), ((-2),59), ((-1),61), ((1),64), ((-1),65), ((-1),66), ((1),67), ((-1),69), ((-2),70), ((-1),71)], (14)), ("GEQ", [((2),1), ((1),2), ((-2),4), ((2),5), ((1),8), ((-1),9), ((2),10), ((-1),11), ((1),13), ((2),14), ((-1),15), ((-2),17), ((-2),18), ((-1),20), ((-2),21), ((-1),22), ((1),23), ((2),24), ((2),25), ((-2),26), ((1),32), ((2),35), ((-1),38), ((2),39), ((-1),40), ((1),41), ((-1),42), ((-2),43), ((-1),44), ((1),46), ((1),47), ((-1),50), ((-2),53), ((-1),55), ((2),56), ((-2),58), ((-1),59), ((-1),61), ((2),64), ((1),65), ((2),66), ((-1),67), ((-1),68), ((1),69), ((-2),70), ((-2),71), ((1),72), ((1),73), ((2),74)], (-59)), ("GEQ", [((1),2), ((2),3), ((-2),4), ((2),5), ((1),6), ((-2),9), ((2),10), ((2),14), ((-1),18), ((2),19), ((2),21), ((-2),22), ((2),23), ((2),25), ((2),26), ((-2),28), ((-1),30), ((1),31), ((2),32), ((1),33), ((-2),34), ((-2),36), ((2),39), ((2),43), ((2),48), ((-1),49), ((2),50), ((-1),52), ((-1),53), ((-1),54), ((1),55), ((1),56), ((-1),58), ((2),60), ((-2),61), ((1),62), ((1),63), ((-1),66), ((-1),67), ((1),68), ((-2),70), ((1),71), ((1),73), ((1),74)], (-38)), ("GEQ", [((1),5), ((-1),6), ((2),8), ((-2),15), ((1),17), ((-2),20), ((1),21), ((2),23), ((2),28), ((1),29), ((-2),32), ((1),33), ((1),34), ((1),36), ((1),40), ((1),41), ((-2),43), ((-2),44), ((2),48), ((-2),50), ((-1),51), ((2),52), ((2),53), ((1),55), ((-2),56), ((-1),57), ((2),59), ((-2),60), ((-2),61), ((-1),62), ((-1),63), ((-2),66), ((1),67), ((2),69), ((1),72), ((-2),73), ((-2),74)], (-3)), ("GEQ", [((1),0), ((2),5), ((-1),6), ((-1),7), ((1),9), ((-2),10), ((2),11), ((-2),12), ((1),13), ((-1),14), ((2),15), ((-2),17), ((-2),18), ((2),20), ((2),21), ((1),22), ((-1),23), ((-2),24), ((2),25), ((-2),26), ((-2),27), ((1),28), ((1),29), ((-2),31), ((1),33), ((-1),34), ((1),36), ((2),37), ((-2),38), ((-2),39), ((2),40), ((-2),42), ((1),45), ((-1),47), ((2),48), ((-2),50), ((1),53), ((1),55), ((-1),56), ((-2),57), ((2),59), ((-2),61), ((-1),62), ((2),64), ((-2),68), ((1),69), ((-2),71), ((-2),73), ((-1),74)], (1)), ("GEQ", [((1),2), ((1),3), ((2),5), ((1),6), ((-2),7), ((-2),10), ((-2),13), ((2),16), ((1),18), ((1),20), ((2),21), ((-2),22), ((-2),25), ((2),26), ((1),27), ((1),28), ((-1),32), ((2),37), ((-2),39), ((2),40), ((-1),41), ((-2),42), ((2),44), ((-2),47), ((-2),49), ((-1),50), ((2),52), ((1),53), ((-2),54), ((-1),55), ((2),56), ((-2),57), ((1),59), ((-1),60), ((-1),61), ((1),62), ((-1),63), ((-2),64), ((-2),69), ((2),70), ((-1),71)], (29)), ("GEQ", [((-1),1), ((2),3), ((-1),7), ((-1),9), ((-1),11), ((1),13), ((2),15), ((1),16), ((-1),18), ((1),22), ((2),23), ((-1),26), ((-1),27), ((-1),30), ((1),31), ((-1),34), ((1),36), ((2),39), ((-1),40), ((1),41), ((1),42), ((2),44), ((-1),45), ((-1),46), ((-2),47), ((-1),49), ((-1),50), ((-2),51), ((-2),54), ((2),55), ((-1),57), ((-2),58), ((-1),60), ((-1),61), ((2),62), ((1),63), ((2),64), ((-1),66), ((-1),67), ((-2),70), ((1),71), ((-1),72), ((-1),73), ((2),74)], (-1)), ("GEQ", [((-1),0), ((-16),1), ((-21),2), ((-29),3), ((-2),4), ((-5),5), ((-2),6), ((4),7), ((11),8), ((20),9), ((-6),10), ((58),11), ((43),12), ((-13),13), ((17),14), ((-36),15), ((-28),16), ((15),17), ((-2),18), ((13),19), ((-16),20), ((10),21), ((-7),22), ((-14),23), ((13),24), ((-44),25), ((8),26), ((-14),27), ((3),28), ((19),29), ((2),30), ((11),31), ((33),32), ((16),33), ((-31),34), ((52),35), ((7),36), ((4),37), ((46),38), ((-20),39), ((4),40), ((13),41), ((9),42), ((6),43), ((5),44), ((-24),45), ((8),46), ((-44),47), ((-14),48), ((-20),49), ((35),50), ((26),51), ((6),52), ((-37),53), ((-21),54), ((-19),55), ((35),56), ((1),57), ((-9),58), ((23),59), ((29),60), ((-41),61), ((13),62), ((-4),63), ((-11),64), ((2),65), ((8),66), ((53),67), ((14),68), ((49),70), ((20),71), ((-2),72), ((15),73), ((-36),74)], (392)), ("GEQ", [((19),0), ((23),1), ((58),2), ((64),3), ((43),4), ((17),5), ((7),6), ((13),7), ((-48),8), ((-92),9), ((36),10), ((-194),11), ((-147),12), ((59),13), ((-71),14), ((129),15), ((85),16), ((-58),17), ((-19),18), ((-51),19), ((18),20), ((-22),21), ((16),22), ((18),23), ((-60),24), ((154),25), ((-47),26), ((55),27), ((-37),28), ((-48),29), ((-33),30), ((-28),31), ((-108),32), ((-47),33), ((93),34), ((-181),35), ((1),36), ((-20),37), ((-141),38), ((56),39), ((-17),40), ((-51),41), ((-38),42), ((48),43), ((-8),44), ((105),45), ((-34),46), ((159),47), ((48),48), ((58),49), ((-107),50), ((-104),51), ((-21),52), ((133),53), ((81),54), ((57),55), ((-135),56), ((19),57), ((40),58), ((-92),59), ((-88),60), ((182),61), ((-20),62), ((-2),63), ((46),64), ((-11),65), ((-23),66), ((-169),67), ((-46),68), ((34),69), ((-161),70), ((-37),71), ((25),72), ((-28),73), ((141),74)], (-1235)), ("GEQ", [((10),0), ((-22),1), ((-78),2), ((-87),3), ((-53),4), ((-7),5), ((-25),6), ((6),7), ((31),8), ((88),9), ((-16),10), ((234),11), ((194),12), ((-87),13), ((82),14), ((-164),15), ((-111),16), ((26),17), ((-7),18), ((75),19), ((-27),20), ((21),21), ((-28),22), ((-36),23), ((63),24), ((-163),25), ((61),26), ((-72),27), ((15),28), ((49),29), ((47),30), ((32),31), ((123),32), ((75),33), ((-113),34), ((211),35), ((5),36), ((20),37), ((175),38), ((-89),39), ((32),40), ((48),41), ((33),42), ((-17),43), ((4),44), ((-117),45), ((13),46), ((-174),47), ((-86),48), ((-56),49), ((154),50), ((166),51), ((36),52), ((-152),53), ((-61),54), ((-83),55), ((158),56), ((-45),57), ((-70),58), ((86),59), ((112),60), ((-190),61), ((28),62), ((3),63), ((-62),64), ((34),65), ((14),66), ((192),67), ((44),68), ((-46),69), ((196),70), ((67),71), ((-22),72), ((68),73), ((-132),74)], (807)), ("GEQ", [((-5),0), ((-44),1), ((-36),2), ((-7),3), ((7),4), ((-23),5), ((-9),6), ((-13),7), ((16),8), ((61),9), ((-48),10), ((90),11), ((56),12), ((-3),13), ((42),14), ((-27),15), ((-12),16), ((68),17), ((26),18), ((-16),19), ((2),20), ((12),21), ((-1),22), ((14),23), ((25),24), ((-63),25), ((7),26), ((-10),27), ((34),28), ((60),29), ((1),30), ((-34),31), ((33),32), ((1),33), ((-58),34), ((81),35), ((-5),36), ((-22),37), ((51),38), ((-10),39), ((-5),40), ((16),41), ((26),42), ((-39),43), ((15),44), ((-50),45), ((7),46), ((-86),47), ((26),48), ((-46),49), ((21),50), ((-1),51), ((9),52), ((-42),53), ((-54),54), ((5),55), ((51),56), ((-4),57), ((-14),58), ((23),59), ((27),60), ((-98),61), ((3),62), ((-9),63), ((6),64), ((-25),65), ((27),66), ((90),67), ((-15),68), ((-4),69), ((53),70), ((4),71), ((5),72), ((-25),73), ((-95),74)], (1324)), ("GEQ", [((-74),0), ((13),1), ((-8),2), ((-54),3), ((-115),4), ((-12),5), ((25),6), ((-34),7), ((63),8), ((103),9), ((-14),10), ((171),11), ((135),12), ((-75),13), ((72),14), ((-164),15), ((-110),16), ((8),17), ((9),18), ((125),19), ((16),20), ((33),21), ((-12),22), ((-35),23), ((101),24), ((-158),25), ((82),26), ((-91),27), ((30),28), ((-36),29), ((71),30), ((71),31), ((130),32), ((57),33), ((-34),34), ((140),35), ((-33),36), ((88),37), ((141),38), ((-52),39), ((29),40), ((22),41), ((27),42), ((-100),43), ((-40),44), ((-90),45), ((57),46), ((-124),47), ((-87),48), ((-1),49), ((120),50), ((170),51), ((-1),52), ((-151),53), ((-73),54), ((-91),55), ((139),56), ((-22),57), ((-54),58), ((145),59), ((103),60), ((-191),61), ((25),62), ((5),63), ((-92),64), ((53),65), ((4),66), ((138),67), ((84),68), ((-50),69), ((163),70), ((31),71), ((-72),72), ((58),73), ((-117),74)], (331)), ("GEQ", [((92),0), ((20),1), ((6),2), ((-8),3), ((95),4), ((45),5), ((-16),6), ((82),7), ((-85),8), ((-179),9), ((94),10), ((-131),11), ((-83),12), ((4),13), ((-129),14), ((148),15), ((49),16), ((-83),17), ((-46),18), ((-63),19), ((-22),20), ((-39),21), ((-17),22), ((-26),23), ((-120),24), ((143),25), ((-41),26), ((91),27), ((-93),28), ((-9),29), ((-54),30), ((10),31), ((-109),32), ((-11),33), ((49),34), ((-119),35), ((69),36), ((-92),37), ((-101),38), ((-18),39), ((13),40), ((21),41), ((-58),42), ((213),43), ((52),44), ((80),45), ((-94),46), ((132),47), ((23),49), ((-77),50), ((-97),51), ((31),52), ((137),53), ((119),54), ((50),55), ((-151),56), ((-3),57), ((81),58), ((-142),59), ((-78),60), ((243),61), ((6),62), ((44),63), ((62),64), ((14),65), ((-83),66), ((-181),67), ((-43),68), ((13),69), ((-118),70), ((-3),71), ((85),72), ((19),73), ((182),74)], (-1172)), ("GEQ", [((-133),0), ((72),1), ((101),2), ((81),3), ((-120),4), ((-28),5), ((55),6), ((-118),7), ((111),8), ((145),9), ((-85),10), ((-67),11), ((-97),12), ((69),13), ((103),14), ((-69),15), ((14),16), ((6),17), ((67),18), ((49),19), ((27),20), ((-4),21), ((61),22), ((59),23), ((108),24), ((-10),25), ((-7),26), ((-99),27), ((88),28), ((-94),29), ((58),30), ((-6),31), ((21),32), ((-32),33), ((44),34), ((-54),35), ((-97),36), ((168),37), ((-45),38), ((138),39), ((-62),40), ((-116),41), ((38),42), ((-268),43), ((-76),44), ((20),45), ((138),46), ((32),47), ((49),48), ((53),49), ((-19),50), ((40),51), ((-80),52), ((-32),53), ((-71),54), ((-40),55), ((54),56), ((39),57), ((-93),58), ((110),59), ((-4),60), ((-116),61), ((-31),62), ((-55),63), ((-46),64), ((-29),65), ((106),66), ((46),67), ((62),68), ((14),69), ((-29),70), ((-64),71), ((-126),72), ((-45),73), ((-32),74)], (-652)), ("GEQ", [((-177),0), ((49),1), ((79),2), ((40),3), ((-144),4), ((-35),5), ((69),6), ((-107),7), ((60),8), ((127),9), ((-39),10), ((-37),11), ((-30),12), ((7),13), ((55),14), ((-140),15), ((-25),16), ((7),17), ((30),18), ((118),19), ((86),20), ((75),21), ((25),22), ((-22),23), ((135),24), ((-83),25), ((57),26), ((-60),27), ((75),28), ((-133),29), ((63),30), ((71),31), ((78),32), ((-17),33), ((110),34), ((-55),35), ((-103),36), ((200),37), ((23),38), ((27),39), ((23),40), ((-46),41), ((2),42), ((-291),43), ((-158),44), ((-10),45), ((151),46), ((-2),47), ((-35),48), ((96),49), ((19),50), ((113),51), ((-72),52), ((-104),53), ((-72),54), ((-57),55), ((77),56), ((53),57), ((-16),58), ((183),59), ((59),60), ((-141),61), ((-19),62), ((-67),63), ((-120),64), ((62),65), ((9),66), ((41),67), ((70),68), ((-4),69), ((51),70), ((-15),71), ((-136),72), ((7),73), ((-111),74)], (-677)), ("GEQ", [((38),0), ((-101),1), ((-95),2), ((-35),3), ((41),4), ((-12),5), ((-24),6), ((24),7), ((-62),8), ((-11),9), ((21),10), ((120),11), ((130),12), ((-71),13), ((-10),14), ((-48),15), ((-50),16), ((64),17), ((-68),18), ((19),19), ((35),20), ((56),21), ((-37),22), ((-18),23), ((-26),24), ((-82),25), ((36),26), ((22),27), ((4),28), ((82),29), ((-14),30), ((-9),31), ((54),32), ((36),33), ((-29),34), ((87),35), ((11),36), ((-109),37), ((99),38), ((-111),39), ((49),40), ((100),41), ((27),42), ((68),43), ((-4),44), ((-64),45), ((-67),46), ((-113),47), ((-36),48), ((-53),49), ((78),50), ((44),51), ((16),52), ((-92),53), ((-20),54), ((15),55), ((72),56), ((-37),57), ((42),58), ((13),59), ((81),60), ((-69),61), ((8),62), ((10),63), ((6),64), ((42),65), ((-53),66), ((23),67), ((-48),68), ((34),69), ((81),70), ((87),71), ((58),72), ((-12),73), ((-126),74)], (1182))]
[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]