static const WavpackDecorrSpec fast_specs [] = {
{ 1, 2, {18,17} }, { 1, 1, {17,17} }, { 0, 2, {18,17} }, { 0, 1, {17,17} }, { 1, 3, { 1,18} }, { 1, 1, {17, 1} }, { 0, 1, { 1,17} }, { 0, 1, {-2,17} }, { 0, 2, {-1,17} }, { 1, 1, {17, 2} }, { 0, 3, {18,18} }, { 0, 1, {17, 1} }, { 1, 6, { 1, 2} }, { 1, 1, {17, 3} }, { 0, 1, {-2, 3} }, { 0, 1, { 2,17} }, { 0, 1, {18,-2} }, { 0, 1, {-1,17} }, { 0, 1, {18,17} }, { 0, 1, {17, 2} }, { 1, 2, {18,-2} }, { 1, 1, { 1,17} }, { 0, 3, {18, 2} }, { 0, 1, {17,-2} }, { 0, 1, {18,-2} }, { 1, 2, {17,-3} }, { 0, 1, {18, 3} }, { 0, 1, {18,18} }, { 1, 1, { 1, 3} }, { 1, 1, {18, 3} }, { 1, 1, { 1, 3} }, { 0, 2, {18,17} }, { 1, 1, { 1,17} }, { 1, 1, {17, 3} }, { 0, 3, {18,17} }, { 0, 1, {18,18} }, { 1, 1, { 1, 3} }, { 1, 1, { 1,18} }, { 0, 1, {18,-2} }, { 0, 2, {18,17} }, { 0, 1, {-1,18} }, { 1, 1, {17, 3} }, { 0, 1, {17, 2} }, { 0, 1, {17, 3} }, { 1, 1, {18, 2} }, { 1, 1, {17,-2} }, { 0, 1, { 1,-2} }, { 0, 2, {18,17} }, { 0, 1, {17,-2} }, { 1, 1, {17,-2} }, { 0, 1, {18, 3} }, { 0, 1, { 2,17} }, { 1, 2, {18,-3} }, { 1, 2, { 1,18} }, { 1, 2, {18, 2} }, { 0, 1, {17,-1} }, { 0, 1, {17,-2} }, { 1, 1, {17,-2} }, { 1, 1, { 1, 3} }, { 0, 1, { 1,17} }, { 1, 2, {18,-2} }, { 1, 2, {17,-3} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17, 2} }, { 1, 2, {18,18} }, { 0, 1, {17, 2} }, { 0, 1, {18,17} }, { 1, 1, { 1,17} }, { 1, 1, {17, 2} }, { 0, 2, {18,18} }, { 0, 2, {18,17} }, { 1, 2, {17,-3} }, { 1, 6, { 1, 2} }, { 0, 3, {17,17} }, { 0, 1, { 1,18} }, { 0, 1, { 1,-2} }, { 1, 1, {17, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {18, 3} }, { 1, 2, {17,-3} }, { 0, 1, {17, 2} }, { 0, 1, {17, 3} }, { 0, 1, {18,-2} }, { 1, 1, {18,18} }, { 1, 6, { 1, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 1, {-1,17} }, { 1, 1, {18, 3} }, { 0, 1, {17,18} }, { 1, 1, {17, 3} }, { 0, 1, {18, 3} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {18, 2} }, { 0, 1, {-2, 3} }, { 0, 4, {18,-1} }, { 0, 2, {18,18} }, { 0, 1, {-2, 3} }, { 1, 1, {17,-2} }, { 0, 1, {17, 3} }, { 0, 2, {18,17} }, { 0, 2, {-1,18} }, { 1, 1, { 2,17} }, { 0, 2, {17,-2} }, { 0, 1, {17, 2} }, { 1, 2, {18,-3} }, { 0, 1, {17,-2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17,-2} }, { 1, 2, {17,-3} }, { 1, 1, { 1, 3} }, { 1, 1, { 2,17} }, { 1, 2, {18, 2} }, { 1, 1, { 2,17} }, { 1, 1, {18, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 1, {17,-2} }, { 0, 2, {18,17} }, { 0, 2, {17,-1} }, { 0, 2, {18,-2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, { 1, 3} }, { 0, 2, {-2,17} }, { 0, 2, {18,-2} }, { 0, 2, {17,-2} }, { 1, 1, { 2,17} }, { 1, 1, { 1, 3} }, { 0, 1, { 2,17} }, { 0, 2, {18,17} }, { 0, 3, {-1,17} }, { 1, 1, { 2,17} }, { 0, 2, {18,18} }, { 0, 1, {17, 2} }, { 1, 4, {18,-3} }, { 1, 1, {18, 1} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {18,-1} }, { 0, 1, {-1,18} }, { 1, 6, { 1, 2} }, { 1, 1, {17, 2} }, { 1, 4, {18, 3} }, { 0, 1, { 1,17} }, { 0, 1, {18, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {17, 2} }, { 0, 2, {18,-2} }, { 0, 1, { 1,18} }, { 1, 2, {18,-3} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {18,18} }, { 1, 3, {17,17} }, { 0, 1, {-2,17} }, { 0, 1, {17,18} }, { 0, 1, {-1, 3} }, { 1, 1, { 2,17} }, { 0, 2, {18,-1} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17,-2} }, { 1, 2, {17, 2} }, { 1, 1, {18, 3} }, { 0, 1, {18, 2} }, { 1, 2, {17,-3} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 1, {-2,17} }, { 0, 1, {17,-1} }, { 0, 1, {18,-1} }, { 0, 2, {18,17} }, { 1, 2, {17,-3} }, { 1, 1, { 1,18} }, { 1, 3, {18, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 3, {18,18} }, { 0, 1, { 1,-2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {17,-3} }, { 1, 1, {18,18} }, { 0, 2, {18, 2} }, { 0, 1, {17,18} }, { 1, 2, {18, 2} }, { 1, 1, {17,-2} }, { 0, 2, {17,-1} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 1, { 1,-2} }, { 0, 1, {18, 1} }, { 1, 2, {18,-2} }, { 0, 1, {17, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17, 3} }, { 0, 1, {17,-1} }, { 0, 1, {18, 2} }, { 1, 1, {17, 3} }, { 1, 1, {17,-2} }, { 0, 1, {18,18} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17,18} }, { 0, 1, {-2, 3} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 2, {18,-3} }, { 0, 2, {18,17} }, { 0, 3, {18, 2} }, { 0, 1, { 1,18} }, { 0, 2, {18,17} }, { 0, 1, {17,-1} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 1, {-2, 3} }, { 0, 3, {17,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 1, 1, {17, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18, 2} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, { 0, 2, {18,17} }, };
static const WavpackDecorrSpec default_specs [] = {
{ 1, 2, {18,18, 2,17, 3} }, { 0, 2, {18,17,-1, 3, 2} }, { 1, 1, {17,18,18,-2, 2} }, { 0, 2, {18,17, 3,-2,17} }, { 1, 2, {18,17, 2,17, 3} }, { 0, 1, {18,18,-1, 2,17} }, { 0, 1, {17,17,-2, 2, 3} }, { 0, 1, {18,-2,18, 2,17} }, { 1, 2, {18,18,-1, 2, 3} }, { 0, 2, {18,17, 3, 2, 5} }, { 1, 1, {18,17,18, 2, 5} }, { 0, 1, {17,17,-2, 2, 3} }, { 0, 1, {18,-2,18, 2, 5} }, { 0, 1, {17,-2,17, 2,-3} }, { 1, 1, {17,-2,17, 1, 2} }, { 0, 1, {17,17,-2, 2, 3} }, { 1, 1, {18, 3, 1, 5, 4} }, { 1, 4, {18,18, 2, 3,-2} }, { 0, 1, { 1,-1,-1, 2,17} }, { 0, 2, {18,17, 3, 2, 5} }, { 0, 1, {18,18,18, 2,17} }, { 0, 1, {18,17,-1, 2,18} }, { 1, 1, {17, 3, 2, 1, 7} }, { 0, 2, {18,-2,18, 2, 3} }, { 1, 3, {18,-3,18, 2, 3} }, { 0, 3, {18,17, 2, 3,17} }, { 1, 1, {17,17, 2, 1, 4} }, { 0, 1, {17,18,-2, 2,17} }, { 1, 1, {18,18, 3, 5, 2} }, { 0, 1, {17,17, 2,18, 4} }, { 0, 1, {18,17, 1, 4, 6} }, { 1, 1, { 3,17,18, 2,17} }, { 1, 1, {17, 3, 2, 1, 7} }, { 0, 1, {18,17,-1, 2, 3} }, { 1, 1, {17,17, 2, 1, 4} }, { 1, 2, {18,17,-1,17, 3} }, { 1, 2, {18,17, 2, 3,-1} }, { 0, 2, {18,18,-2, 2,17} }, { 0, 1, {17,17, 2,18, 4} }, { 0, 5, {-2,18,18,18, 2} }, { 1, 1, {18,18,-1, 6, 3} }, { 0, 1, {17,17,-2, 2, 3} }, { 1, 1, {18,17,18, 2,17} }, { 0, 1, {18,17, 4, 3, 1} }, { 0, 1, {-2,18, 2, 2,18} }, { 1, 2, {18,18,-2, 2,-1} }, { 1, 1, {17,17, 2, 1, 4} }, { 0, 1, {17,18,-2, 2,17} }, { 1, 1, {17, 3, 2, 1, 7} }, { 1, 3, {18,-3,18, 2, 3} }, { 1, 2, {18,18,-2, 2,-1} }, { 1, 1, {18,18, 3, 5, 2} }, { 0, 2, {18,18,-1, 2,17} }, { 0, 1, {18,-1,17,18, 2} }, { 0, 1, {17,-1, 2, 3, 6} }, { 0, 1, {18,-2,18, 2, 5} }, { 1, 2, {18,18,-2, 2,-1} }, { 0, 3, {18,18, 2, 3,17} }, { 0, 1, {17,17, 2,18, 4} }, { 1, 1, {17,-2,17, 1, 2} }, { 0, 1, {-1, 3, 5, 4, 7} }, { 0, 3, {18,18, 3, 2, 5} }, { 0, 1, {17,17, 2,18, 4} }, { 0, 1, {18,17,-2,18, 3} }, { 0, 2, {18,18,-2, 2,17} }, { 0, 3, {18,17,-2, 2, 3} }, { 1, 1, {18,18,-2, 2,17} }, { 0, 1, {18,17, 4, 3, 1} }, { 1, 2, { 3,18,17, 2,17} }, { 1, 2, {18,18, 2,-2,18} }, { 1, 2, {18,18,-1,18, 2} }, { 0, 2, {18,18,-2, 2,17} }, { 1, 3, {18,18, 2, 3,-2} }, { 0, 3, {18,18, 3, 2, 5} }, { 0, 1, {18,-2,18, 2, 5} }, { 1, 1, {17, 3, 2, 1, 7} }, { 1, 3, {18,18,-2, 2,18} }, { 1, 1, {17,18,18,-2, 2} }, { 0, 1, {18,-2,18, 2, 5} }, { 0, 2, {18,-2,18, 2, 3} }, { 0, 1, {-1, 3, 4, 5, 7} }, { 1, 1, {17,17, 2,-1, 7} }, { 0, 1, {18,-1,-1, 2,-2} }, { 0, 2, {18,17, 2, 3,17} }, { 0, 1, {18,17, 2,18, 2} }, { 0, 2, {18,17,-1, 2,17} }, { 0, 1, { 1,18, 3, 2, 5} }, { 0, 2, {18,-2, 4,18, 2} }, { 1, 1, {18, 3, 1, 5, 4} }, { 0, 1, {18,17,18, 2, 5} }, { 1, 1, {18, 3, 1, 5, 4} }, { 0, 4, {18,18,-2, 2,18} }, { 1, 1, {18,18, 3, 2, 5} }, { 1, 1, {17,17, 2, 1, 4} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,18, 2, 1, 3} }, { 1, 1, {17,17, 2, 1, 4} }, { 1, 2, {17,17, 2,18, 3} }, { 0, 1, {18,17, 1, 4, 6} }, { 1, 2, {18,18,-2, 2,-1} }, { 0, 1, {18,-2,18, 2, 5} }, { 1, 1, {17, 2,18, 2,17} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,18, 3, 6,-1} }, { 0, 1, {18,17, 2,18, 3} }, { 0, 1, {18,17,-2, 2,17} }, { 1, 1, { 3,17,18, 2,17} }, { 1, 3, {18,-3,18, 2, 3} }, { 1, 3, {18,18,-3,18, 2} }, { 1, 1, {18, 3, 1, 5, 4} }, { 0, 1, {17,-2,17, 2,-3} }, { 1, 1, {18,18, 3, 5, 2} }, { 1, 2, {18,18,-2, 2,-1} }, { 0, 1, {18,-1,-1, 2,-2} }, { 1, 1, {18, 3, 1, 5, 4} }, { 0, 3, {18,17,-1, 2,17} }, { 1, 3, {18,17, 2,18,-2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 2, {18,18,-2, 2,-1} }, { 1, 1, {18, 3, 1, 5, 4} }, { 0, 4, { 3,18,18, 2,17} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,17,-1,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,18,18, 3, 2} }, { 0, 1, {17,-1, 2, 3, 6} }, { 0, 1, {17,-1, 2, 3, 6} }, { 0, 2, {18,17,-2, 3, 2} }, { 1, 3, {18,17, 2,-2,18} }, { 0, 2, {18,18, 2,17, 3} }, { 0, 1, {18,18, 2,18,-2} }, { 0, 2, {18,-2, 4,18, 2} }, { 0, 1, {-2,18, 2, 2,18} }, { 0, 2, {18,17, 3, 6, 2} }, { 0, 1, {18,17,18, 2, 5} }, { 0, 3, {18,18,-2, 3, 2} }, { 1, 1, {18,18, 2,18, 5} }, { 0, 1, {17,-1, 2, 3, 6} }, { 1, 4, {18,18, 2, 3,-2} }, { 0, 2, {18,17,18, 2,-2} }, { 0, 1, { 1,18, 3, 2, 5} }, { 1, 4, {18,-2,18, 2, 3} }, { 1, 2, {18, 2,18, 3,-2} }, { 0, 2, {18,18,18, 2, 4} }, { 0, 2, { 3,17,18, 2,17} }, { 1, 1, {18,-1,18, 2,17} }, { 1, 2, {17,17, 2,18, 3} }, { 0, 2, {18,17,-2, 3, 2} }, { 0, 1, { 1,-1,-1, 2,17} }, { 0, 3, { 3,18,18, 2,17} }, { 0, 1, {18,-1,17,18, 2} }, { 0, 1, {18,17, 2,18, 3} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,17, 2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 2, {17,17, 2,18, 3} }, { 0, 1, {18,17,-2, 2, 3} }, { 0, 1, {18,-2,18, 2, 5} }, { 1, 4, {18,-2,18, 2, 3} }, { 1, 3, {18,17, 2, 3, 6} }, { 0, 2, {18,18, 2,17, 3} }, { 0, 2, {18,17, 2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,18, 3, 5, 2} }, { 0, 2, {18,18,-2, 2, 3} }, { 1, 2, {18,17, 2,17, 3} }, { 0, 1, {18,17, 2, 3,18} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 4, {18,18, 2, 3,-2} }, { 0, 1, {17,-2,17, 2,-3} }, { 0, 1, {17,17, 2,18, 4} }, { 1, 1, {18,18,18, 2, 4} }, { 1, 2, {18, 2,18, 3,-2} }, { 1, 1, {18,18,-2, 2,17} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18, 2,17, 3} }, { 0, 2, {18,18,18, 2, 4} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,17,-2, 3, 2} }, { 0, 1, { 1,-1,-1, 2,17} }, { 1, 4, {18,18, 2, 3,-2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,-2,18, 3, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,18,-2, 2,17} }, { 0, 3, {18,17, 2, 3,17} }, { 1, 2, {18,18, 2,-2,18} }, { 0, 1, {-1, 3, 5, 4, 7} }, { 1, 1, {18, 3, 1, 5, 4} }, { 1, 1, {18,18,-2,18, 3} }, { 0, 2, {18,17,18, 2,-2} }, { 0, 2, {18,18, 2,17, 3} }, { 1, 2, {18, 2,18, 3,-2} }, { 1, 4, {18,18, 2, 3,-2} }, { 1, 3, {18,17, 2, 3, 6} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 2, {18,17,-2,-1,17} }, { 0, 1, {17,-1, 2, 3, 6} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2, 2, 3} }, { 1, 1, {18,18,18, 2, 5} }, { 0, 1, {17,17,-2, 2, 3} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,17, 3, 6, 2} }, { 0, 2, {18,17,18, 2, 3} }, { 0, 3, {18,17,-3,18, 2} }, { 0, 1, {18,18,18, 2, 3} }, { 0, 1, {18,-2,-3, 2, 6} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,17,18, 2, 5} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 1, {18,17,18, 2, 5} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,18,18, 2, 3} }, { 1, 1, {17,-2,17, 1, 2} }, { 1, 1, {17,17, 2,-1, 7} }, { 0, 1, {18,17, 4, 3, 1} }, { 1, 3, {18,-3,18, 2, 3} }, { 0, 1, { 1,18, 3, 2, 5} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,18, 3, 6, 2} }, { 0, 1, {17,17, 2,18, 4} }, { 0, 1, {17,17, 2,18, 4} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 1, 2, {18,-2,18, 3, 2} }, { 1, 1, {17,-2,17, 1, 2} }, { 1, 1, {18,18, 3, 2, 5} }, { 0, 1, {18,18,-1, 2, 3} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, {18,17,18, 2, 5} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 1, { 3,18,18, 2,17} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, { 0, 2, {18,18,-2,18, 2} }, };
static const WavpackDecorrSpec high_specs [] = {
{ 1, 2, {18,18,18,-2, 2, 3, 5,-1,17, 4} }, { 0, 1, {18,17,-2, 2,18, 3, 7, 2, 5, 4} }, { 1, 2, { 1,18, 3, 6,-2,18, 2, 3, 4, 5} }, { 0, 2, {18,18,-2, 2,18, 3, 6, 2,17, 4} }, { 1, 2, {18,18, 2,18, 3, 2,-1, 4,18, 5} }, { 1, 1, { 7, 6, 5, 3, 4, 2, 5, 4, 3, 7} }, { 1, 1, {17, 3,18, 7, 2, 6, 1, 4, 3, 5} }, { 1, 1, {-2,18,18,18, 3,-2, 6, 5, 2, 1} }, { 1, 2, {18,18,-1,18, 2, 3, 6,-2,17, 5} }, { 0, 1, {17,17,18, 3, 6, 4, 5, 2,18,-2} }, { 1, 2, { 1,18,-2, 3, 5, 2, 4,-1, 6, 1} }, { 0, 2, {18,18, 3, 6,18, 2, 4, 8, 5, 3} }, { 0, 1, {-2, 1,18, 2,-2, 7,18, 2,-1, 5} }, { 1, 1, { 4, 3, 8, 1, 5, 2, 5, 6, 2, 8} }, { 1, 1, {17,18, 2, 6, 3, 4,-1, 1, 8, 6} }, { 0, 1, {18,18, 3, 6, 3,-2, 2, 5,-1, 1} }, { 0, 1, {18,18,17,-1, 2,-2,18, 3, 4, 5} }, { 1, 2, {18,17, 2,-2,18, 3, 5, 7, 2, 4} }, { 1, 2, {18,18, 3, 6,-2,18, 2, 5, 8, 3} }, { 0, 1, {18,17, 2,18,18, 2, 6, 5,17, 7} }, { 1, 2, {18,17, 2,18, 3, 2, 6,18,-1, 4} }, { 1, 1, { 5, 3, 6, 5, 3, 4, 1, 2, 4, 7} }, { 1, 1, { 5, 3, 6, 5, 3, 4, 1, 2, 4, 7} }, { 0, 1, {-2,18,18,18,-2, 3, 2, 4, 6, 5} }, { 1, 2, {18,17,-3, 3,-1,18, 2, 3, 6, 5} }, { 0, 1, {17,18, 7, 3,-2, 7, 1, 2, 4, 5} }, { 1, 1, { 2,18,18,-2, 2, 4,-1,18, 3, 6} }, { 0, 3, { 1,18, 4, 3, 5, 2, 4,18, 2, 3} }, { 0, 1, {-2,18, 2,18, 3, 7,18, 2, 6,-2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18,18, 5, 4, 6, 4, 5, 1, 4, 3} }, { 1, 1, {18, 3, 6, 5, 7, 8, 2, 3, 1,-1} }, { 1, 1, {18,18,18, 2,-2, 3, 5,18, 2, 8} }, { 0, 2, {18,17,-2, 2, 3,18,-3, 5, 2, 7} }, { 1, 1, { 1, 1,-1, 8,17, 3,-2, 2, 6,17} }, { 0, 2, {18,18,17, 2,-2, 3, 2, 4,18, 5} }, { 1, 1, {17,18, 2,-1, 5, 7,18, 3, 4, 6} }, { 1, 1, { 5, 4, 5,17, 3, 6, 3, 4, 7, 2} }, { 0, 1, {17, 3, 1, 7, 4, 2, 5,-2,18, 6} }, { 0, 1, {17,18, 2,18, 4, 3, 5, 7,-3, 6} }, { 1, 2, {17,17,-3,-2, 2, 8,18,-1, 3, 5} }, { 0, 1, {17,17,18, 2, 3, 6,-2, 8, 1, 7} }, { 1, 1, { 1, 2, 6,-2,18, 2, 5,-3, 7,-2} }, { 0, 1, {18,18, 3,18, 6, 8,-2, 2, 3, 5} }, { 0, 1, {18,17, 2,18,-2, 3, 7, 6, 2, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18,18, 2,-1, 3, 6, 1, 3, 4, 8} }, { 0, 1, {18,18, 3, 6, 5, 3,-2, 2,18,-1} }, { 0, 1, {18,17,-3,18, 2, 4,-2, 3, 6,17} }, { 1, 3, { 1, 2,17, 3,18, 7,-1, 5, 2, 4} }, { 1, 1, {18, 3,18, 6, 8,18,-2, 5, 7, 2} }, { 0, 1, {17, 2,18, 6, 3, 2, 5, 4, 8, 1} }, { 0, 1, {18,17,-1, 2, 3,18,18, 2, 3,17} }, { 1, 1, {18, 7, 6, 5, 5, 3, 1, 4, 2, 4} }, { 1, 1, { 6,17, 3, 8, 1, 5, 7,-1, 2, 1} }, { 1, 1, {18,-2,18, 3,-2, 2, 7, 4, 6,18} }, { 1, 3, {18,-3,18, 2, 3,18,-1, 7, 2, 5} }, { 0, 2, {18,-2, 7, 1, 3, 2, 4, 6,-3, 7} }, { 1, 1, {18,-2, 2,-3,18,-2,17,-1, 4, 2} }, { 0, 3, {17,17, 2, 5, 3, 7,18, 6, 4, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18,17, 4, 6, 6, 4, 5, 3, 4, 1} }, { 0, 1, {18, 5, 3, 6, 2, 3, 8, 1, 3, 7} }, { 1, 2, {18,17,-2, 2,18, 3, 5, 7,-1, 2} }, { 0, 1, { 1,18,18, 3, 6,-1, 4, 8, 5, 2} }, { 1, 1, { 1, 5, 3, 4, 1, 1, 3, 5, 7, 3} }, { 0, 1, { 3,18,18, 2,18,18,-1, 2, 3,18} }, { 1, 2, {18,18,-1,18, 2, 3, 4, 6,18, 5} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18, 3, 1, 4, 5, 2, 7, 1, 3, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {18,18,-1,18, 2, 3, 5,-2, 6, 8} }, { 1, 1, {17,18, 4, 8, 3, 2, 5, 2, 7, 6} }, { 1, 4, { 1, 2, 5,18,-2, 2, 3, 7,-1, 4} }, { 0, 2, {18,17,-1, 3, 6,18, 2, 3, 7, 5} }, { 0, 1, {-2,18, 2,-3, 6,18, 4, 3,-2, 5} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {17,17, 6, 2, 4, 8, 3, 5,-1,17} }, { 1, 1, {18, 3,18, 6, 8,18,-2, 5, 7, 2} }, { 1, 2, {17,17,-3, 2,18,-2, 8, 3, 6,-1} }, { 1, 1, {18,-2,17,18, 2, 3,-2, 6, 5, 4} }, { 1, 2, {18,17,-1, 3,18, 2, 5, 3, 6,-3} }, { 0, 1, {18,17, 2,18, 7,18, 2, 4, 3,17} }, { 1, 3, {18,18, 5, 6, 4, 3, 4,18, 6, 5} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, { 7, 6, 5, 3, 4, 2, 5, 4, 3, 7} }, { 0, 1, {-2,18,18,18, 3, 6, 4, 2, 5, 2} }, { 0, 3, {18,17,-3,18, 3, 2, 5,-1,17, 3} }, { 1, 1, {17,18, 7, 3, 1, 7, 4, 2, 6, 5} }, { 1, 1, {18, 2,-2,-1,18, 5, 3,-2, 1, 2} }, { 0, 3, {18,18,-1, 3, 2, 7, 5,18, 4, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {17,18, 2,-2, 4, 8,18, 3, 6, 5} }, { 0, 2, {18,17, 3, 5,-2, 7, 2,18, 3,-1} }, { 1, 1, {18, 2,-2,-1,18, 5, 3,-2, 1, 2} }, { 0, 2, { 3,17,18,18, 2, 5, 7, 6,18, 3} }, { 1, 1, {17,18,18, 4, 3, 2,18, 7, 8,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {17, 1, 2, 3, 5, 6, 1, 4, 8,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,17,-1,18,-3, 2, 8, 3, 6,17} }, { 1, 1, {17,17, 1, 2, 4, 5,-1, 2, 1, 6} }, { 1, 1, { 1, 2, 6,-2,18, 2,-3, 3,-2, 5} }, { 0, 1, {18, 3,18, 6,18, 5, 2, 4,-1, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18,18,-1, 2,18, 3, 6, 4,-2, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {-1,18,18,18, 2,-2, 4, 7, 2, 3} }, { 0, 3, { 3,17,-2, 5, 2, 7,18, 6, 4, 5} }, { 0, 1, {17, 6,18, 3, 8, 4, 5, 3, 8,18} }, { 0, 2, {18, 2, 6, 2,18, 3, 2, 4, 5, 8} }, { 0, 1, { 3,18,18, 2,18,-1, 2,18, 2,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, { 3, 6,17,-2, 5, 1, 2, 7, 4, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 3, { 3,18,17, 5, 6, 2, 7,-2, 8,18} }, { 1, 1, {18,-1, 3, 1, 7, 2,-1, 4, 6,17} }, { 1, 1, {18, 2,-2,-1,18, 5, 3,-2, 1, 2} }, { 0, 2, {18, 1, 2,18, 3, 6, 5, 2, 4, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {17,-2, 2,18,18, 8, 5, 3, 2, 6} }, { 0, 1, {18,17, 2,18, 3, 2, 7,-2,18, 4} }, { 1, 2, { 1,18, 2, 3,-1, 5, 6, 4, 7,17} }, { 0, 2, {18,17, 3, 6,-2, 2, 3, 8, 5,17} }, { 0, 2, {18,18, 3, 2,18,-1, 2, 4, 3,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {17,-1,18, 2, 3,-2, 5,18, 2, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {18,-3,18, 2, 3,-2,18, 5, 6,-3} }, { 0, 2, {18,17, 3, 5,-2, 7, 2,18, 3,-1} }, { 1, 1, { 1,18,-1, 2, 3, 1,-2, 8, 2, 5} }, { 0, 1, {18,18, 3, 6,18, 2, 3, 4, 8, 5} }, { 0, 1, {-2, 1,18, 2,-2, 5, 7,18, 2,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {17,18,-1, 2, 8, 3, 4, 5, 1, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,18,-1, 2,18, 3,-2, 5, 4, 2} }, { 1, 1, {18,17, 2,18, 3, 8, 5, 2, 7,17} }, { 0, 1, {18,18, 3,18, 6, 8,-2, 2, 3, 5} }, { 0, 1, {18,18, 2,18, 2, 6,18, 2,17, 7} }, { 1, 3, {18,17,18, 2, 8,18, 5,-1, 3, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {18, 7, 6, 5, 5, 3, 1, 4, 2, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {18,17,-1, 3, 6,18, 2, 5, 8, 3} }, { 0, 1, {17,18,18, 4, 7, 2, 3,-2,18, 5} }, { 1, 2, {18, 1, 2, 6, 2, 5,18, 2, 4, 8} }, { 0, 4, {18, 4, 1, 2, 3, 5, 4, 1, 2, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,17, 2,-1,18, 3,-3, 5, 2, 4} }, { 0, 1, {17,17, 3, 6, 3, 5,-2, 2,18,-1} }, { 0, 2, {18,18, 3,-2,18, 2,-3, 5, 3, 6} }, { 1, 1, {17,17, 2, 4, 1, 3, 5, 2, 6,-3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {17, 1, 3, 2, 7, 1, 6, 3, 4, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {17,-1,18, 2, 1, 5, 3, 8,-1,-2} }, { 1, 1, {17,18,-1, 8, 2, 5, 3, 4, 1, 6} }, { 1, 2, { 1,18, 3,-1, 5, 1, 2, 4, 7, 6} }, { 0, 1, {18,18, 3, 6, 5, 3,-2, 2,18,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, { 1,18,-1, 3, 8, 5, 6, 1, 2, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,18, 2, 3, 6,18,-1, 4, 2, 3} }, { 1, 1, { 1, 3, 5,18, 2, 6, 7, 2, 3, 1} }, { 1, 1, { 1, 3, 8,18, 5, 2, 7, 1, 3,-2} }, { 0, 2, {17, 2,18, 3, 6, 2, 4, 5, 8, 3} }, { 0, 1, {18,17, 2,18, 3, 2, 7,-2,18, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {18,-3,18,-1, 3,-2, 5, 7, 1, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 3, {18,18, 2, 6,18, 5,18, 2, 3,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 3, { 1,-1, 1, 3,-2, 2, 5, 7,-3,18} }, { 1, 2, {18, 7, 3,-3, 2, 8, 2, 5, 4,17} }, { 1, 1, { 1, 4, 5, 1, 3, 4, 6, 7, 8, 3} }, { 0, 1, {18,17, 2,18,-1, 2, 3,18, 2, 4} }, { 0, 2, {18,18,-2,18, 2, 3, 4, 7, 5,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {17,18, 2, 1, 3, 2, 5, 1, 2, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,18,-1, 2, 3, 5, 8, 6, 1,-2} }, { 0, 1, {17,18, 8, 3, 4, 6, 5, 2, 8, 7} }, { 1, 2, { 1, 3,-2,18, 2, 5, 1, 7,-1,-2} }, { 0, 3, {18,17,-1, 3,18, 2, 3, 6, 4,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 2, {18,18, 4,18, 6, 7, 8, 3,18, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {17,-3,17, 2,-2, 8, 3,18, 4,-3} }, { 1, 1, {18,17, 3, 5, 6, 2, 8, 1, 3, 7} }, { 0, 1, {18,18, 3, 6, 5, 3,-2, 2,18,-1} }, { 0, 3, {18,18, 2, 6,18, 5,18, 2, 3,17} }, { 1, 1, {18,18, 5, 4, 6, 4, 5, 1, 4, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, { 3,17,18,-3, 2, 5,18, 6,-1, 7} }, { 1, 1, {17,18, 3, 2, 5,-1, 6, 8, 4, 7} }, { 1, 1, {18, 1,-2, 3, 2, 1, 7, 6, 3, 4} }, { 0, 3, { 1, 2,17, 3,18, 2, 7, 5, 4,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, {17,-2, 2,18,18, 8, 5, 3, 2, 6} }, { 0, 2, {18, 5,18, 2, 3, 7,-2, 1, 6, 8} }, { 0, 1, { 2,-1,18,-1, 2, 4,-3, 5,18, 3} }, { 0, 1, { 3,17,18, 5, 2,18, 7, 3, 6, 5} }, { 1, 4, { 1, 2, 5,18,-2, 2, 3, 7,-1, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, { 1,18, 2, 1, 3, 4, 1, 5, 2, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {17,17,18, 2, 4, 5,18,-2, 6, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {18,18,-1, 3, 5, 6, 8,18, 2, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {18,18, 4, 6, 8,18, 7, 3, 2, 5} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 2, {-1,18,18,18, 2, 4,-2, 2, 3, 6} }, { 0, 2, {18,-2, 7, 1, 3, 2, 4, 6,-3, 7} }, { 1, 1, {17,18, 8, 3, 4, 6,-2, 5, 3, 8} }, { 0, 2, {18, 1, 2, 6, 2, 8, 3,18, 5, 4} }, { 1, 1, { 3,18,18, 2,18, 2,18, 3, 2,18} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 1, 1, { 3,17,18, 5, 2, 6, 7, 1, 4, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2, 8} }, };
static const WavpackDecorrSpec very_high_specs [] = {
{ 1, 2, {18,18, 2, 3,-2,18, 2, 4, 7, 5, 3, 6, 8,-1,18, 2} }, { 0, 1, {18,18,-1,18, 2, 3, 4, 6, 5, 7,18,-3, 8, 2,-1, 3} }, { 1, 2, { 1,18,-2, 4,18, 2, 3, 6,-1, 7, 5,-2,18, 8, 2, 4} }, { 0, 1, {17,17, 2, 3, 4,18,-1, 5, 6, 7,18, 2, 8,17, 3,-2} }, { 1, 1, {18,18, 2,18, 3, 2,18, 4,-1, 3,18, 2, 6, 8,17, 5} }, { 0, 2, {18,17, 2, 3,-2, 5,18,-3, 2, 4, 7, 3, 6, 8, 5,17} }, { 1, 1, {18,-2, 2,-3,18, 5,-2,18, 2, 3, 6, 2,17, 4, 7,-1} }, { 1, 1, {17, 8,18, 3,-2, 2, 5, 4,18, 6, 3, 8, 7, 2, 5, 4} }, { 0, 2, {18,17,-2, 2,18, 3, 2, 5,-3, 4, 7,18, 3, 8, 6, 2} }, { 1, 1, { 3, 6, 5, 5, 1, 3, 7, 4, 2, 6, 4,18, 3, 7, 5, 6} }, { 1, 2, { 1,18, 3, 2,-2, 1, 5, 4, 6, 2, 7, 1, 8, 3,-1, 1} }, { 0, 1, {18,18, 2, 3, 6, 3, 5,-2, 2, 4,18, 3,-2,-1, 6, 7} }, { 0, 1, {-2,18, 2,18, 7, 2, 6,-2, 3, 4,18,18, 2,-3, 8, 5} }, { 0, 2, {18,18,18, 2, 4, 3,18, 5, 3, 6,-2, 2, 4,18, 8, 7} }, { 0, 1, {-2, 1,18, 2,-2,18,-1, 5, 7, 2, 3, 4,18, 2, 6, 2} }, { 1, 1, {17,18, 3, 2, 1, 7,-1, 2, 4, 3, 5, 6,-2,18, 7, 8} }, { 1, 1, {18,18, 2,18, 3, 4, 6,-2,18, 5, 8, 2, 3, 7, 4,-1} }, { 0, 1, {18,18,18,-1, 2, 3, 4, 6, 8,18, 3, 5, 2, 6, 7, 4} }, { 1, 1, {17,-2,18,18, 2, 5, 3, 8, 2,-1, 6, 1, 3, 4, 7, 5} }, { 0, 1, {17,17,18, 2, 3, 6,-2, 8, 1, 7, 5, 2, 3, 1, 4, 8} }, { 1, 1, {17,17, 3, 2, 7, 1, 4, 3, 6, 2, 5,-2, 8, 7,18, 6} }, { 0, 1, {18,17,-2, 2,18, 3,-3, 7, 6, 5, 2, 4,-1, 8, 3,17} }, { 1, 1, { 2,18,18,-2, 2, 4,-1, 5,18, 3, 8, 6, 2, 7,17, 4} }, { 0, 1, {17, 3, 6, 8, 5, 4, 3, 8, 1,18, 7, 2, 4, 5, 6, 3} }, { 1, 2, {17,18, 4, 8, 3, 2, 5, 7, 6, 8, 2, 7,-2,18, 3, 4} }, { 1, 1, { 6, 5, 5, 3, 4, 7, 3, 2, 4, 6, 3, 7, 1, 5, 2, 4} }, { 1, 1, { 1,18,-1, 2, 1, 3, 8,-2, 2, 5, 6, 3, 8, 7,18, 4} }, { 0, 1, { 1,17,-1,18, 3, 2, 5, 4, 6, 7, 8, 3, 4, 2, 1,-2} }, { 0, 1, {18, 2,18,18, 2,18, 6,-2,18, 7, 5, 4, 3, 2,18,-2} }, { 0, 3, { 1, 4,18, 3, 2, 4, 1, 5, 2, 3, 6,18, 8, 7, 2, 4} }, { 0, 1, {17,-2, 1,-3, 2,18, 3,-2, 4,18, 3, 6, 7,-3, 2, 8} }, { 1, 1, {17,18,18, 4, 2, 3, 7, 6,18, 8, 5,-1, 4, 2, 3,17} }, { 1, 2, {18,-1,17,18, 2, 3,-2,18, 5, 8, 2, 4, 3, 7, 6,-1} }, { 1, 1, {18,18,18,-2, 4, 2, 3,18, 5, 8, 2, 4, 6, 7,-2, 3} }, { 1, 2, {18,18,-2,18,-1, 3, 2, 5,18,-2, 7, 2, 3, 4, 6, 8} }, { 0, 1, {17,18,-1, 2, 4,18, 8, 3, 6, 5, 7,-3, 2, 4, 3,17} }, { 1, 1, {18,18,17, 2,-1,18, 3, 2,18, 6, 5, 4,18, 7, 2,-1} }, { 0, 2, { 1,18,-1,18, 3, 2, 4, 6,-3, 7,-1, 5, 1, 2, 3, 8} }, { 1, 1, { 1,17,-2, 2,-3, 6, 3, 5, 1, 2, 7, 6, 8,-2, 4, 1} }, { 0, 1, {17,-1, 5, 1, 4, 3, 6, 2,-2,18, 3, 2, 4, 5, 8,-1} }, { 0, 2, {18,18,17, 2, 3,-2, 5,18, 2, 4, 7, 8, 6,17, 3, 5} }, { 1, 1, { 1, 5, 1, 3, 4, 3, 7, 5, 1, 3, 6, 1, 2, 4, 3, 8} }, { 1, 2, { 1,-1, 3, 2,18, 7,-2, 5, 2, 6, 4, 3,-1,18, 8, 7} }, { 0, 2, {18,17, 3,18, 2, 5, 4, 3, 6, 2, 7, 8,18, 3, 4, 5} }, { 1, 1, { 3, 6,17, 8, 7, 5,18,-1, 1, 2, 3, 4, 2, 6, 8, 1} }, { 0, 2, {18,18, 3,-3,18, 2, 6, 5, 3, 7,18, 4,-2, 8, 2, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 1, 7, 2, 3,18,-2, 3, 6, 4, 2, 7, 8, 5, 3,17} }, { 1, 1, { 3, 6, 5, 5, 1, 3, 7, 4, 2, 6, 4,18, 3, 7, 5, 6} }, { 0, 1, {18,18,18, 2, 4,-1,18, 8,-1, 2, 3, 4, 6,-2, 1, 7} }, { 1, 1, {18,-2,17,18, 2, 6, 3,-2, 5, 4, 7, 1,-3, 8, 2, 6} }, { 0, 1, {17,18,18, 4, 2, 7, 3, 6,-2,18, 8, 4, 5, 2, 7,17} }, { 1, 1, {18,18, 5, 4, 6, 4, 1, 5, 4, 3, 2, 5, 6, 1, 4, 5} }, { 0, 1, {18,18,-2,18, 2,-3, 3, 8, 5,18, 6, 4, 3,-1, 7, 2} }, { 1, 1, {18, 2,-2,-3,18, 5, 2, 3,-2, 4, 6, 1,-3, 2, 7, 8} }, { 0, 1, {18, 3, 5, 8, 2, 6, 7, 3, 1, 5, 2,-1, 8, 6, 7, 4} }, { 1, 1, { 4, 3, 8, 1, 5, 6, 2, 5, 8,-2, 2, 7, 3,18, 5, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 3,18,18, 7, 2, 4,18, 6, 2, 3,-1, 8, 5,18,-3} }, { 0, 1, { 3,17,18, 2,18, 6, 7,-3,18, 2, 5, 6, 3, 8, 7,-1} }, { 1, 1, {18,18, 2,18,18, 2,-1, 7, 3,18, 5, 2, 6, 4,-1,18} }, { 0, 3, {18, 3, 4, 1, 5, 2,18, 4, 2, 3,18, 7, 6, 1, 2, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 1,18, 2, 3, 6, 4, 5, 7,18, 3, 8, 2, 4,-2,17} }, { 1, 2, {18,17, 2, 3, 5,18, 6,-2, 7, 3, 2, 4,18, 8,-1, 5} }, { 0, 2, { 1,18,-1,18, 3, 2, 4, 6,-3, 7,-1, 5, 1, 2, 3, 8} }, { 1, 1, { 1,18,-1, 8, 2, 6, 3,-2, 1, 2, 5, 4,-3, 8, 6, 3} }, { 0, 1, {18,18, 2,18, 2,18, 7, 6,18, 2,-2, 3, 5, 4,18, 8} }, { 1, 2, {18,17, 2, 3,18,-1, 2, 3, 6,18, 5, 4, 3, 7, 2, 8} }, { 1, 2, {18,18, 3,-2, 4,18, 5, 7, 6, 2, 4,-3, 8, 5,18, 3} }, { 1, 1, {17,-2,18,18, 2, 5, 3, 8, 2,-1, 6, 1, 3, 4, 7, 5} }, { 1, 1, { 3,17,18, 5, 7, 2, 4, 6, 1, 8,-1, 3, 7, 4, 1, 2} }, { 0, 2, { 1,-2, 2,18, 3, 5, 2, 4, 7,-1, 2, 3, 5,18,-2, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 1, 2,-2, 6,18,-3, 2, 7, 3,-2, 5, 6, 1, 8, 2, 4} }, { 0, 1, {18,18,18, 3,-2, 6,18, 2, 4, 3, 5, 8, 7, 6, 2,-2} }, { 1, 1, { 1, 5, 1, 3, 4, 3, 7, 5, 1, 3, 6, 1, 2, 4, 3, 8} }, { 0, 1, { 3,17,18, 2, 5,18, 6, 7, 5,-2, 2, 4,18, 3, 6, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 2, {17,-1,18, 2, 4,-1, 8, 3,18, 7,-3, 4, 5, 1, 2,-2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 8, 6, 4, 5, 7,-1} }, { 1, 1, {18,18, 3, 6, 4, 8,-2, 2, 5, 3, 7,18, 6, 8, 4, 2} }, { 1, 1, {17,18,18,-2, 5, 2, 3, 1, 4,-1, 8, 6, 5, 3, 2,18} }, { 1, 1, {17,17, 1, 2, 4, 5, 2, 6,-1, 3, 1, 1,-2, 4, 2, 7} }, { 1, 1, {17, 1, 7, 2, 3,18,-2, 3, 6, 4, 2, 7, 8, 5, 3,17} }, { 0, 1, {18,17,-2,-3, 1, 2, 3, 2, 5, 4, 7,-3, 6,-2, 2, 1} }, { 1, 1, { 1, 3, 5,18, 1, 2, 7, 3, 6, 2, 5, 8,-1, 1, 4, 7} }, { 1, 1, {17, 3, 6, 8, 1, 4, 5, 3,-2, 7, 2, 8, 5, 6,18, 3} }, { 1, 1, {17,18, 2, 4, 8,-2, 3, 1, 5, 6, 7, 1, 2, 3, 4, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 3, 1, 8,18, 5, 2, 3,18, 6, 7,-2, 4, 3, 2, 8,18} }, { 0, 1, {18,17, 2,18, 3, 4,-1,18, 7, 6, 2, 8, 4,18,18, 5} }, { 0, 1, {18,18, 2,18,18, 2, 7,-2, 6, 5, 4, 3,18, 3, 2,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 8,18, 3, 2, 1, 5, 4, 6,-1, 3,-3, 8,18, 7, 2} }, { 1, 2, {18,17,18, 2, 3, 5,-2,18, 6,-1, 2, 3, 7, 4, 8,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 8, 6, 4, 5, 7,-1} }, { 1, 2, {18,18,-2,17, 2,18, 3, 4,18, 8, 7,-1, 2, 4, 5,17} }, { 0, 2, {17,-3,17, 3, 2,-2,18, 8, 4,-3, 2,18, 5, 3,-2, 6} }, { 0, 1, {18,18, 2,18,18, 2, 7,-2, 6, 5, 4, 3,18, 3, 2,17} }, { 0, 2, { 1,18,-1, 3, 5, 2,-3,18, 7, 3,-1, 6, 4, 2,17, 5} }, { 1, 1, {17,-2,17, 2,-3, 1, 5,-1, 4, 6, 3, 2, 8, 7,-2, 5} }, { 1, 1, { 1,18, 1, 3, 5, 8, 6, 2, 3,-1, 7, 1, 4, 8, 5,-3} }, { 0, 2, { 3,18,18, 2,18,-2, 6, 5, 7, 2, 4,18, 3, 6,-3, 5} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 3, 6,17, 8, 7, 5,18,-1, 1, 2, 3, 4, 2, 6, 8, 1} }, { 0, 4, {18, 2,17, 3,18,-2, 2, 6,18, 2, 7, 3, 5, 4, 8,18} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {18,18, 2, 3, 6, 3, 5,-2, 2, 4,18, 3,-2,-1, 6, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 1, 2, 5, 3,-2, 1, 4, 3, 7, 6,-3, 2, 1, 1, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {18,18,-2,18,-2, 2, 3, 6,18, 4,-1, 2, 3, 8, 1, 4} }, { 1, 1, {17,-2,17, 2,-3, 1, 5,-1, 4, 6, 3, 2, 8, 7,-2, 5} }, { 0, 1, {17,17,18, 3, 2,18,18, 6, 8, 2,-2, 3, 5, 4,17,18} }, { 1, 1, { 1, 5, 1, 3, 4, 3, 7, 5, 1, 3, 6, 1, 2, 4, 3, 8} }, { 1, 1, { 1, 3,-3,18,18, 6, 5,18, 2,-1, 3, 8, 7,-3, 4,17} }, { 1, 1, {18, 1, 2, 1, 3, 8, 7, 4, 1, 5, 2,-1,-3,18, 6, 2} }, { 0, 1, {18, 3, 5, 2, 6, 8,18, 5, 7, 2, 3,-1, 6, 7, 8, 5} }, { 0, 2, {18, 3,-2, 7, 8, 2, 5, 4,-3, 8, 3, 2,18, 5, 4, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 3, { 1, 1, 2, 5, 2, 7, 4, 3,-1,18,-2, 8, 2, 1, 6, 7} }, { 0, 1, { 3,17,18, 5, 2, 6, 7,18, 4, 5, 3, 6,18, 2, 7, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, { 1,18, 1, 2, 3, 5, 1, 2, 6, 7, 4, 3, 8, 1,17, 5} }, { 1, 2, {17,-1,18,-2, 2, 3, 5,18, 2, 4, 6, 7, 3,-1, 5, 8} }, { 1, 1, {18,18,-3,18,-2, 2, 3,-2,18, 6, 4, 5, 8, 3,17,-3} }, { 1, 1, {18, 7, 6, 5, 5, 3, 1, 4, 2, 7, 3, 4,-3, 6,18, 8} }, { 0, 2, {18,18, 2, 3, 5,18, 2, 4, 3, 6,18, 7, 8,-1, 5, 2} }, { 0, 1, {18,17,-1, 2,18, 3, 2,18, 4, 3,18, 2, 6, 5, 8,17} }, { 0, 2, {18,17, 2, 3,18, 5,-1, 6, 7, 8, 2, 3, 4, 5,18, 6} }, { 1, 2, {18,-3,18, 2, 3,-2,-3, 5,18, 7, 6, 2, 4, 3, 8,-2} }, { 1, 1, {17,18,18,-2, 2, 3, 5, 4, 8,18,-1, 5, 3, 6,-2, 7} }, { 1, 2, {18,17, 2,-2,18, 3,-1, 4,18, 2, 7, 5, 3, 8, 6, 4} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 1, 5, 1, 3, 4, 3, 7, 5, 1, 3, 6, 1, 2, 4, 3, 8} }, { 0, 2, {18,18, 3, 3,-2, 2, 5,18, 6, 3,-1, 4, 7,-1, 1, 2} }, { 0, 1, {-2, 1,18, 2,-2, 5, 7,18, 3, 2, 6, 2,-1, 4,-2,17} }, { 0, 2, {18,18,18, 2, 3,-2,18, 5, 4, 2, 6, 8, 3,-2, 4,18} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17,18,-1, 3, 2, 5, 1, 3, 2, 8, 4, 7, 6, 2,-1, 5} }, { 1, 1, {17,18,18, 4, 2, 3, 7, 6,18, 8, 5,-1, 4, 2, 3,17} }, { 0, 1, {18,18,-2,18, 2, 3, 4, 5, 6,18, 8, 2, 3, 7,-2, 4} }, { 0, 1, {18,-2,18,18,-3,-2, 2, 3, 5, 8, 1, 2, 6, 4, 7,-1} }, { 0, 1, {18,17, 2,18, 3,-2, 2, 7, 6, 4,18, 3, 8, 7, 4, 2} }, { 1, 1, {17,18,18, 4, 2, 3, 7, 6,18, 8, 5,-1, 4, 2, 3,17} }, { 1, 1, {18,17,18, 2, 5, 3,-2,18, 6, 2, 3, 4, 8, 7, 5,-1} }, { 0, 1, { 2,-1,18,-1, 2, 4,-3,18, 5, 3, 6,18, 2, 4, 7, 8} }, { 1, 1, {17,18, 8, 3, 6, 4,-1, 5, 2, 7, 3, 8, 6, 5,18, 4} }, { 0, 2, {18, 3,-2, 7, 8, 2, 5, 4,-3, 8, 3, 2,18, 5, 4, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 1,18,-1, 8, 2, 6, 3,-2, 1, 2, 5, 4,-3, 8, 6, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {17,18,18, 4, 2, 7, 3, 6,-2,18, 8, 4, 5, 2, 7,17} }, { 1, 2, {18,-1,18, 3,-2,18, 2, 5, 3, 6, 7, 2,-1,18, 8, 4} }, { 1, 2, { 1,18,-2, 4,18, 2, 3, 6,-1, 7, 5,-2,18, 8, 2, 4} }, { 1, 2, { 1,18,-3, 2, 3,18,-1, 5, 6, 2, 8, 3, 4, 1,-2, 7} }, { 0, 1, { 1,17,-1,18, 3, 2, 5, 4, 6, 7, 8, 3, 4, 2, 1,-2} }, { 1, 1, {18,17,18, 4, 3, 5, 1, 2, 6, 3, 4, 7, 1, 8, 5, 2} }, { 0, 1, {18,-2, 7, 1, 3, 2,-3, 4, 6,-2, 7, 8, 1, 5, 4, 3} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 2, {18,18,18,-2, 2, 5, 3, 7,18, 2, 4,-3, 5, 6, 3, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 3, { 3,18,-1, 5, 2, 7,18, 6, 5, 2, 4, 3,-1, 7,18, 6} }, { 0, 2, {18,18,18, 4, 3, 2, 6, 4, 8,18, 5, 3, 2, 7,-2, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 2, {18,18,18, 2, 3,-2,18, 5, 4, 2, 6, 8, 3,-2, 4,18} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 8,18, 3, 2, 1, 5, 4, 6,-1, 3,-3, 8,18, 7, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18,18, 2, 4, 6,-2, 2, 8, 3, 4,18, 7,-1, 6} }, { 0, 1, {18, 1,-2, 2, 4, 1, 3,-1, 2, 5, 7, 1, 6, 8,-2,17} }, { 0, 1, {17,17,18, 2, 5, 4,18, 3, 8, 7, 4, 6, 8, 1, 5, 2} }, { 1, 2, {18,18, 5, 4, 6, 3, 4,18, 8, 4,-1, 7, 5, 3, 6, 2} }, { 0, 1, {18,18,-3,18, 3, 6, 2, 5, 7,18, 3, 8,-1, 4, 5, 2} }, { 1, 1, {18, 2,-2,-3,18, 5, 2,-2, 4, 3, 6,18, 8,-1, 2, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17, 1, 7, 2, 3,18,-2, 3, 6, 4, 2, 7, 8, 5, 3,17} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {17,18, 3,18, 2, 5, 4, 7,-3, 6, 3, 2,18, 4, 7, 3} }, { 1, 1, { 1, 7, 4, 5, 3, 4, 5, 1, 3, 6, 3, 2, 4, 8,-2, 7} }, { 0, 1, { 1,18,-1,-2,18, 3, 2,-1, 6, 7, 4, 5, 3,18, 2,-3} }, { 1, 1, {18,18,-1, 3, 6,18, 5, 4, 8, 2, 3, 6,18, 7, 4,-2} }, { 0, 2, {18,18, 2, 6,18, 2,18, 5, 3,18, 2, 4, 7, 8, 3,18} }, { 1, 1, { 3,18,18, 5,18, 6, 2, 4, 7,-2,18, 5, 8, 6, 3, 2} }, { 0, 1, {18,-2, 7, 1, 3, 2,-3, 4, 6,-2, 7, 8, 1, 5, 4, 3} }, { 1, 1, {18,-2,18, 2, 5,18, 3,-2, 4, 7, 2,-1, 8, 6, 5, 1} }, { 1, 1, {17,17, 5,18, 4, 1, 2, 8, 6, 4,-2, 3, 5,-1, 1, 8} }, { 0, 2, { 1, 2,17, 3, 7,18, 2,-1, 4, 5,18, 2, 7, 3, 6, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 3, 6,17, 8, 7, 5,18,-1, 1, 2, 3, 4, 2, 6, 8, 1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 2, {18,18,18, 2,-2, 3, 6, 4, 8,18, 2, 5, 7, 4, 3, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {18, 1, 8, 3, 5, 6, 4,-1, 8, 3, 7,18, 2, 5, 8, 4} }, { 1, 1, {17,18, 5, 2, 4, 3, 1, 6,-2, 1, 3, 2, 4, 5,-1,17} }, { 1, 1, {18,17, 2,18, 3,-3, 7, 2, 6, 4, 3, 5,18, 8, 2,-2} }, { 1, 1, {18,17,18, 4, 3, 5,-1,18, 2, 7, 8, 4, 6, 3,18, 5} }, { 0, 1, {18,17,18,-2, 2,-3, 3, 4, 8, 5, 2,18, 6, 3, 7,-2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {17,18, 8, 3, 4, 6,18, 5,-2, 3, 8, 5, 2, 4, 7, 6} }, { 0, 1, {18,-2, 3, 5, 1, 7, 3, 2, 6,-3, 4, 1, 5, 8, 3,-2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, { 3,17,18, 5,-1,18, 2, 6, 7,18, 5, 3,-3,-1, 6, 2} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 3, {18,17,-2, 3,-1,18, 2, 5, 3, 7, 6, 2, 4, 8,18, 5} }, { 0, 1, {18,-1,18, 2,18, 3, 5,18, 2, 8,18, 5, 4,-1, 6, 2} }, { 1, 2, {18,-2,18,18, 2, 3, 4,-3, 2, 5,18, 7, 4, 3, 8, 6} }, { 0, 2, {17,-1,18, 2,-1, 1, 7, 3, 8, 5,-2, 4, 1, 2,-3, 6} }, { 0, 1, {18,17, 2,18, 2,18, 6, 7, 4, 3,18, 5, 2,-2,17, 8} }, { 0, 3, {18,17, 2, 3,-3,-1,18, 2, 4, 5,18, 7, 3, 2,-3, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 2, { 3,18,18,18, 2, 6, 5,18, 7, 2, 4, 6,18, 5, 3, 8} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {18,18, 3, 6, 3,-2, 2,18, 5,-1, 7, 3, 4,-2, 2, 6} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 1, 1, {18,17,18,18,-2, 2, 3,-3,18, 6, 4, 2,-2, 8, 3, 7} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {18,18,18, 4, 2, 7, 8,18, 3, 2,-2, 4, 7, 6,17, 5} }, { 1, 1, {18,18,-1,-2, 8, 3,18, 6, 3, 5, 8, 2, 4, 7, 1, 6} }, { 1, 1, { 1,-3, 3,18,18, 2,-1, 3, 6, 5,18, 4, 7,-2, 8, 3} }, { 1, 1, { 1,18, 4, 2, 5,18, 1, 3,-1, 6, 1, 4, 8, 2, 5, 1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, { 0, 1, {-1,18,18, 2,18, 3, 5,18, 2,18, 6, 8, 4, 5, 7,-1} }, };
#define NUM_FAST_SPECS (sizeof (fast_specs) / sizeof (fast_specs [0]))
#define NUM_DEFAULT_SPECS (sizeof (default_specs) / sizeof (default_specs [0]))
#define NUM_HIGH_SPECS (sizeof (high_specs) / sizeof (high_specs [0]))
#define NUM_VERY_HIGH_SPECS (sizeof (very_high_specs) / sizeof (very_high_specs [0]))