{
"step": "C327",
"status": "passed",
"assertions_passed": 678,
"checks": [
"1/Noah birth/Noah birth partition",
"1/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem birth partition",
"1/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Flood start partition",
"1/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah death partition",
"1/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem death partition",
"1/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah birth partition",
"1/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem birth partition",
"1/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Flood start partition",
"1/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah death partition",
"1/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem death partition",
"1/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah birth partition",
"1/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem birth partition",
"1/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Flood start partition",
"1/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah death partition",
"1/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem death partition",
"1/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah birth partition",
"1/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem birth partition",
"1/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Flood start partition",
"1/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah death partition",
"1/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem death partition",
"1/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah birth partition",
"1/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem birth partition",
"1/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Flood start partition",
"1/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah death partition",
"1/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem death partition",
"1/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"1/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah birth partition",
"2/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem birth partition",
"2/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Flood start partition",
"2/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah death partition",
"2/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem death partition",
"2/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah birth partition",
"2/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem birth partition",
"2/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Flood start partition",
"2/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah death partition",
"2/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem death partition",
"2/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah birth partition",
"2/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem birth partition",
"2/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Flood start partition",
"2/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah death partition",
"2/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem death partition",
"2/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah birth partition",
"2/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem birth partition",
"2/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Flood start partition",
"2/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah death partition",
"2/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem death partition",
"2/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah birth partition",
"2/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem birth partition",
"2/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Flood start partition",
"2/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah death partition",
"2/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem death partition",
"2/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"2/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah birth partition",
"3/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem birth partition",
"3/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Flood start partition",
"3/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah death partition",
"3/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem death partition",
"3/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah birth partition",
"3/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem birth partition",
"3/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Flood start partition",
"3/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah death partition",
"3/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem death partition",
"3/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem birth/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah birth partition",
"3/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem birth partition",
"3/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Flood start partition",
"3/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah death partition",
"3/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem death partition",
"3/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Flood start/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah birth partition",
"3/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem birth partition",
"3/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Flood start partition",
"3/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah death partition",
"3/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem death partition",
"3/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Noah death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah birth partition",
"3/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem birth partition",
"3/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem birth(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Flood start partition",
"3/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Flood start(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah death partition",
"3/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Noah death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem death partition",
"3/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(-1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(-1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(1, 4), Fraction(-1, 4), Fraction(1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(-1, 4)) phase criterion",
"3/Shem death/Shem death(Fraction(1, 4), Fraction(1, 4), Fraction(1, 4)) phase criterion",
"counts",
"residual set",
"six role families"
],
"source_checks_passed": 16,
"source_checks": [
"frozen PREVIOUS_CERTIFICATE.json",
"frozen PREVIOUS_RESULTS.json",
"frozen PREVIOUS_DATA.json",
"frozen PREVIOUS_CHECKPOINT.md",
"frozen PREVIOUS_NEXT_STEP.json",
"frozen File_18.md",
"frozen File_09.md",
"frozen C286_DATA.json",
"frozen C287_DATA.json",
"frozen C271_REGISTER.json",
"frozen C322_DATA.json",
"frozen PRIOR_ART_LOCATOR.md",
"predecessor PREVIOUS_RESULTS.json",
"predecessor PREVIOUS_DATA.json",
"predecessor PREVIOUS_CHECKPOINT.md",
"predecessor PREVIOUS_NEXT_STEP.json"
],
"canonical_or_graph_edits": false,
"check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}
Evidence
RESULTS.json
Linked sources and evidence
Edition and provenance
RESULTS.json
SHA-256 c19c659d557776fb4367eedb59f495d96a0c2abd8a33941e5f76ad212a6ee532
C01–C479/packets/C327/evidence/RESULTS.json