return [
[ [ 10, 3, t^4-t^3+t^2-t+1, 3 ], [ "fail" ] ],
[ [ 7, 43, t+4, 1 ], [ "fail" ] ],
[ [ 7, 43, t+11, 1 ], [ "fail" ] ],
[ [ 7, 43, t+16, 1 ], [ "fail" ] ],
[ [ 7, 43, t+21, 1 ], [ "fail" ] ],
[ [ 7, 43, t+35, 1 ], [ "fail" ] ],
[ [ 7, 43, t+41, 1 ], [ "fail" ] ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 5 ], 1 ], [ "fail" ] ],
[ [ [ 8, 3, t^2+t+2, 1 ], [ 8, 3, t^2+2*t+2, 1 ], 1 ], [ "fail" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 0, t^2-t+1, 1 ], 1 ], [ [ 0, 2 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 0, t^2-t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 4, 0, t^2+1, 1 ], 1 ], [ [ 0, 0, 4 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 4, 0, t^2+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 0, t^4-t^3+t^2-t+1, 1 ], 1 ], [ [ 0, 2, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 0, t^4-t^3+t^2-t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 2, t^2-t+1, 1 ], 1 ], [ [ 0 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 2, t^2-t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 2, t^2+t+1, 2 ], 1 ], [ [ 0 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 3, 2, t^2+t+1, 2 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 1 ], 1 ], [ [ 0, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 7, 2, t^3+t+1, 1 ], 1 ], [ [ 0, 7 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 7, 2, t^3+t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 7, 2, t^3+t^2+1, 1 ], 1 ], [ [ 0, 7 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 7, 2, t^3+t^2+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 4, 3, t^2+1, 3 ], 1 ], [ [ 0, 0, 4 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 4, 3, t^2+1, 3 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 3, t^2+t+2, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 3, t^2+t+2, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 3, t^2+2*t+2, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 3, t^2+2*t+2, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 1, 5, t+1, 1 ], 1 ], [ [ 0, 2 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 1, 5, t+1, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+2, 1 ], 1 ], [ [ 0, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+2, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+6, 1 ], 1 ], [ [ 0, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+6, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+7, 1 ], 1 ], [ [ 0, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+7, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+8, 1 ], 1 ], [ [ 0, 5 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 10, 11, t+8, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+2, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+2, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+8, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+8, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+9, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+9, 1 ] ], "done" ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+15, 1 ], 1 ], [ [ 0, 8 ], "skipped" ] ],
[ [ [ 2, 0, t-1, 1 ], [ 8, 17, t+15, 1 ] ], "done" ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 4, 0, t^2+1, 1 ], 1 ], [ [ 0, 4 ], "skipped" ] ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 4, 0, t^2+1, 1 ] ], "done" ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 3, 2, t^2-t+1, 1 ], 1 ], [ [ 2, 3 ], [ 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 3, 2, t^2-t+1, 1 ] ], "done" ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 3, 2, t^2+t+1, 2 ], 1 ], [ [ 2, 3 ], [ 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 3, 0, t^2-t+1, 1 ], [ 3, 2, t^2+t+1, 2 ] ], "done" ],
[ [ [ 4, 0, t^2+1, 1 ], [ 3, 2, t^2-t+1, 1 ], 1 ], [ [ 0, 4 ], "skipped" ] ],
[ [ [ 4, 0, t^2+1, 1 ], [ 3, 2, t^2-t+1, 1 ] ], "done" ],
[ [ [ 4, 0, t^2+1, 1 ], [ 4, 3, t^2+1, 3 ], 1 ], [ [ 0, 0, 4 ], "skipped" ] ],
[ [ [ 4, 0, t^2+1, 1 ], [ 4, 3, t^2+1, 3 ] ], "done" ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 1 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 1 ] ], "done" ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 5 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 5 ] ], "done" ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ] ], "done" ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 1, 5, t+1, 1 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ 1, 5, t+1, 1 ] ], "done" ],
[ [ [ 3, 2, t^2-t+1, 1 ], [ 3, 2, t^2+t+1, 2 ], 1 ], [ [ 3 ], [ 2, 2 ], 8, 16, [ 2 ], 2, "!!!" ] ],
[ [ [ 3, 2, t^2-t+1, 1 ], [ 3, 2, t^2+t+1, 2 ] ], "done" ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 5, 2, t^4-t^3+t^2-t+1, 5 ] ], "done" ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ] ], "done" ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 1, 5, t+1, 1 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ 1, 5, t+1, 1 ] ], "done" ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 5 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 5 ], [ 10, 3, t^4-t^3+t^2-t+1, 3 ] ], "done" ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 5 ], [ 1, 5, t+1, 1 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 5, 2, t^4-t^3+t^2-t+1, 5 ], [ 1, 5, t+1, 1 ] ], "done" ],
[ [ [ 7, 2, t^3+t+1, 1 ], [ 7, 2, t^3+t^2+1, 1 ], 1 ], [ [ 3, 7 ], [ 2, 2, 2, 2, 2, 2 ], 512, 64, [ 2, 2, 2 ], 8, "OK" ] ],
[ [ [ 7, 2, t^3+t+1, 1 ], [ 7, 2, t^3+t^2+1, 1 ] ], "done" ],
[ [ [ 8, 3, t^2+t+2, 1 ], [ 8, 3, t^2+2*t+2, 1 ] ], "done" ],
[ [ [ 10, 3, t^4-t^3+t^2-t+1, 3 ], [ 1, 5, t+1, 1 ], 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ], "skipped" ] ],
[ [ [ 10, 3, t^4-t^3+t^2-t+1, 3 ], [ 1, 5, t+1, 1 ] ], "done" ],
[ [ 2, 0, t-1, 1 ], [ [ 0 ], "skipped" ] ],
[ [ 3, 0, t^2-t+1, 1 ], [ [ 2, 3 ], [ 0, 0 ], "skipped" ] ],
[ [ 4, 0, t^2+1, 1 ], [ [ 0, 4 ], "skipped" ] ],
[ [ 10, 0, t^4-t^3+t^2-t+1, 1 ], [ [ 2, 3, 5 ], [ 0, 0, 0, 0 ], "skipped" ] ],
[ [ 3, 2, t^2-t+1, 1 ], [ [ 3 ], [  ], 1, 4, [  ], 1, "!!!" ] ],
[ [ 3, 2, t^2+t+1, 2 ], [ [ 3 ], [  ], 1, 4, [  ], 1, "!!!" ] ],
[ [ 5, 2, t^4-t^3+t^2-t+1, 1 ], [ [ 3, 5 ], [ 2, 2, 2, 2 ], 64, 16, [ 2, 2 ], 4, "OK" ] ],
[ [ 5, 2, t^4-t^3+t^2-t+1, 5 ], [ [ 3, 5 ], [ 2, 2, 2, 2 ], 64, 16, [ 2, 2 ], 4, "OK" ] ],
[ [ 7, 2, t^3+t+1, 1 ], [ [ 3, 7 ], [ 2, 2, 2 ], 8, 8, "OK" ] ],
[ [ 7, 2, t^3+t^2+1, 1 ], [ [ 3, 7 ], [ 2, 2, 2 ], 8, 8, "OK" ] ],
[ [ 15, 2, t^4+t+1, 1 ], [ [ 3, 5 ], [ 2, 2, 2, 2 ], 16, 16, "OK" ] ],
[ [ 15, 2, t^4+t^3+1, 1 ], [ [ 3, 5 ], [ 2, 2, 2, 2 ], 16, 16, "OK" ] ],
[ [ 4, 3, t^2+1, 3 ], [ [ 3, 4 ], [ 3, 3 ], 27, 9, [ 3 ], 3, "OK" ] ],
[ [ 8, 3, t^2+t+2, 1 ], [ [ 3, 8 ], [ 3, 3 ], 9, 9, "OK" ] ],
[ [ 8, 3, t^2+2*t+2, 1 ], [ [ 3, 8 ], [ 3, 3 ], 9, 9, "OK" ] ],
[ [ 1, 5, t+1, 1 ], [ [ 2, 3 ], [ 5 ], 5, 5, "OK" ] ],
[ [ 8, 5, t^2+2, 1 ], [ [ 3, 8 ], [ 5, 5 ], 25, 25, "OK" ] ],
[ [ 8, 5, t^2+3, 1 ], [ [ 3, 8 ], [ 5, 5 ], 25, 25, "OK" ] ],
[ [ 1, 7, t+1, 1 ], [ [ 2, 3 ], [ 7 ], 7, 7, "OK" ] ],
[ [ 10, 11, t+2, 1 ], [ [ 3, 5 ], [ 11 ], 11, 11, "OK" ] ],
[ [ 10, 11, t+6, 1 ], [ [ 3, 5 ], [ 11 ], 11, 11, "OK" ] ],
[ [ 10, 11, t+7, 1 ], [ [ 3, 5 ], [ 11 ], 11, 11, "OK" ] ],
[ [ 10, 11, t+8, 1 ], [ [ 3, 5 ], [ 11 ], 11, 11, "OK" ] ],
[ [ 12, 13, t+2, 1 ], [ [ 3, 4 ], [ 13 ], 13, 13, "OK" ] ],
[ [ 12, 13, t+6, 1 ], [ [ 3, 4 ], [ 13 ], 13, 13, "OK" ] ],
[ [ 12, 13, t+7, 1 ], [ [ 3, 4 ], [ 13 ], 13, 13, "OK" ] ],
[ [ 12, 13, t+11, 1 ], [ [ 3, 4 ], [ 13 ], 13, 13, "OK" ] ],
[ [ 8, 17, t+2, 1 ], [ [ 3, 8 ], [ 17 ], 17, 17, "OK" ] ],
[ [ 8, 17, t+8, 1 ], [ [ 3, 8 ], [ 17 ], 17, 17, "OK" ] ],
[ [ 8, 17, t+9, 1 ], [ [ 3, 8 ], [ 17 ], 17, 17, "OK" ] ],
[ [ 8, 17, t+15, 1 ], [ [ 3, 8 ], [ 17 ], 17, 17, "OK" ] ],
[ [ 7, 29, t+7, 1 ], [ [ 2, 3, 7 ], [ 29 ], 29, 29, "OK" ] ]
];
