\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ] ]
# [ [ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ true, false ], [ true, false ]);
# [ [ 6, 0, 0, "1^2 4^1", 2 ], [ 12, 0, 0, "2^2 4^2", 4 ] ]
# [ [ 6, 0, 0, "1^2 4^1", 2 ], [ 12, 0, 0, "2^2 4^2", 4 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ false ], [  ]);
# [ [ 6, 0, 0, "2^3", 6 ] ]
# [  ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ] ]
# [ [ 12, 0, 0, "1^1 2^1 3^1 6^1", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ false ], [ false ]);
# [ [ 3, 1, 0, "1^1 2^1", 1 ] ]
# [ [ 9, 3, 0, "3^1 6^1", 3 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 27, 1, 0, "1^2 2^2 7^1 14^1", 1 ] ]
# [ [ 27, 1, 0, "1^2 2^2 7^1 14^1", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 27, 1, 0, "1^2 2^2 7^1 14^1", 1 ] ]
# [ [ 27, 1, 0, "1^2 2^2 7^1 14^1", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], [ false ], [ false ]);
# [ [ 24, 0, 0, "4^6", 24 ] ]
# [ [ 24, 0, 0, "4^6", 24 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 30, 0, 0, "1^2 2^2 8^3", 1 ] ]
# [ [ 30, 0, 0, "1^2 2^2 8^3", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 30, 0, 0, "1^2 2^2 8^3", 1 ] ]
# [ [ 30, 0, 0, "1^2 2^2 8^3", 1 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
# [ [ 36, 0, 0, "1^2 2^2 5^2 10^2", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
# [ [ 72, 2, 0, "1^2 2^5 10^6", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
\[do\]([ 2, 0, t-1, [ 3, 1, 0, "1^1 2^1", 1 ], false, 1 ], [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
# [ [ 108, 0, 0, "1^4 2^4 8^12", 2 ] ]
\[do\]([ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 48, 0, 0, "1^2 2^1 3^2 4^2 6^1 12^2", 2 ] ]
# [ [ 48, 0, 0, "1^2 2^1 3^2 4^2 6^1 12^2", 2 ] ]
\[do\]([ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ false ], [  ]);
# [ [ 8, 0, 2, "2^1 6^1", 2 ] ]
# [  ]
\[do\]([ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ true, false ], [ true, false ]);
# [ [ 4, 0, 1, "1^1 3^1", 1 ], [ 12, 0, 0, "3^4", 12 ] ]
# [ [ 4, 0, 1, "1^1 3^1", 1 ], [ 12, 0, 0, "3^4", 12 ] ]
\[do\]([ 3, 0, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ false ], [ false ]);
# [ [ 4, 0, 1, "1^1 3^1", 1 ] ]
# [ [ 12, 0, 0, "3^4", 12 ] ]
\[do\]([ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ false ], [  ]);
# [ [ 12, 0, 0, "2^2 4^2", 4 ] ]
# [  ]
\[do\]([ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 24, 0, 0, "1^2 3^2 4^1 12^1", 2 ] ]
# [ [ 24, 0, 0, "1^2 3^2 4^1 12^1", 2 ] ]
\[do\]([ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ false ], [  ]);
# [ [ 6, 0, 0, "1^2 4^1", 2 ] ]
# [  ]
\[do\]([ 4, 0, t^2+1, [ 6, 0, 0, "1^2 4^1", 2 ], false, 1 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], [ false ], [ false ]);
# [ [ 24, 0, 0, "4^6", 24 ] ]
# [ [ 24, 0, 0, "4^6", 24 ] ]
\[do\]([ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 8, 0, 2, "2^1 6^1", 2 ] ]
# [  ]
\[do\]([ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ true ], [  ]);
# [ [ 2, 0, 2, "2^1", 2 ] ]
# [  ]
\[do\]([ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], [ false ], [  ]);
# [ [ 8, 0, 2, "4^2", 2 ] ]
# [  ]
\[do\]([ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 20, 0, 2, "2^2 8^2", 2 ] ]
# [  ]
\[do\]([ 6, 0, t^2+t+1, [ 2, 0, 2, "2^1", 2 ], fail, 2 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 20, 0, 2, "2^2 8^2", 2 ] ]
# [  ]
\[do\]([ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ false ], [  ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ] ]
# [  ]
\[do\]([ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ true, false ], [ true, false ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 10, 0, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ true, false ], [ true, false ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 3, 2, t^2-t+1, [ 4, 0, 1, "1^1 3^1", 1 ], false, 1 ], [ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ false ], [ false ]);
# [ [ 4, 0, 1, "1^1 3^1", 1 ] ]
# [ [ 12, 0, 0, "3^4", 12 ] ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], [ false ], [  ]);
# [ [ 15, 3, 0, "5^3", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 9, 1, 0, "1^2 7^1", 1 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 9, 1, 0, "1^2 7^1", 1 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 4, 3, t^2+1, [ 8, 0, 2, "4^2", 2 ], false, 3 ], [ false ], [  ]);
# [ [ 8, 0, 2, "4^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 10, 0, 1, "1^2 8^1", 1 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [  ]);
# [ [ 10, 0, 1, "1^2 8^1", 1 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], [ false ], [  ]);
# [ [ 20, 0, 2, "5^4", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 5, t^2+2, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 78, 0, 0, "1^6 8^9", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 5, t^2+3, [ 78, 0, 0, "1^6 8^9", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 78, 0, 0, "1^6 8^9", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 1, 7, t+1, [ 24, 0, 0, "1^3 7^3", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 24, 0, 0, "1^3 7^3", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+2, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 24, 2, 0, "1^2 2^1 10^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+6, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 24, 2, 0, "1^2 2^1 10^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+7, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 24, 2, 0, "1^2 2^1 10^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 10, 11, t+8, [ 24, 2, 0, "1^2 2^1 10^2", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 24, 2, 0, "1^2 2^1 10^2", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+2, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 36, 0, 0, "1^4 8^4", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+8, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 36, 0, 0, "1^4 8^4", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+9, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 36, 0, 0, "1^4 8^4", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 8, 17, t+15, [ 36, 0, 0, "1^4 8^4", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 36, 0, 0, "1^4 8^4", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+4, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+5, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+6, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+9, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+16, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 9, 19, t+17, [ 20, 0, 2, "1^2 9^2", 1 ], fail, 1 ], [ false ], [  ]);
# [ [ 60, 0, 6, "3^2 9^6", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+7, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+16, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+20, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+23, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+24, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 29, t+25, [ 60, 0, 0, "1^4 7^8", 2 ], false, 1 ], [ false ], [  ]);
# [ [ 60, 0, 0, "1^4 7^8", 2 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+4, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+11, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+16, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+21, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+35, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 3, 2, t^2+t+1, [ 3, 3, 0, "3^1", 3 ], true, 2 ], [ 7, 43, t+41, [ 132, 0, 0, "1^6 7^18", 3 ], false, 1 ], [ false ], [  ]);
# [ [ 132, 0, 0, "1^6 7^18", 3 ] ]
# [  ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ true, false ], [ true, false ]);
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 12, 0, 0, "1^2 5^2", 2 ], [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], [ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 5, 2, t^4-t^3+t^2-t+1, [ 15, 3, 0, "5^3", 3 ], false, 5 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
\[do\]([ 7, 2, t^3+t+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ 7, 2, t^3+t^2+1, [ 9, 1, 0, "1^2 7^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 63, 7, 0, "7^9", 7 ] ]
# [ [ 63, 7, 0, "7^9", 7 ] ]
\[do\]([ 8, 3, t^2+t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ 8, 3, t^2+2*t+2, [ 10, 0, 1, "1^2 8^1", 1 ], false, 1 ], [ false ], [ false ]);
# [ [ 80, 0, 8, "8^10", 8 ] ]
# [ [ 80, 0, 8, "8^10", 8 ] ]
\[do\]([ 10, 3, t^4-t^3+t^2-t+1, [ 20, 0, 2, "5^4", 2 ], false, 3 ], [ 1, 5, t+1, [ 12, 0, 0, "1^2 5^2", 2 ], false, 1 ], [ false ], [ false ]);
# [ [ 60, 0, 0, "5^12", 60 ] ]
# [ [ 60, 0, 0, "5^12", 60 ] ]
