ddidata.h

he AutoMix package is a C program for Unix-like systems, implementing the automatic reversible jum

int counts[467][5]={{114,9999,71,89,9999},
	       {40,9999,66,21,25},
	       {12,13,38,9999,9999},
	       {15,21,7,3,9999},
	       {53,74,74,45,9999},
	       {21,9999,9999,9999,9999},
	       {46,29,20,10,9999},
	       {12,1,0,9999,9999},
	       {0,33,9999,9999,9999},
	       {147,180,111,56,9999},
	       {47,9999,9999,9999,9999},
	       {185,262,177,91,138},
	       {6,16,6,9999,9999},
	       {4,8,9999,9999,9999},
	       {138,97,83,79,9999},
	       {3,1,26,9999,9999},
	       {43,24,25,25,9999},
	       {32,29,9,7,9999},
	       {9,9999,9999,9999,9999},
	       {363,364,270,279,9999},
	       {52,29,11,9999,9999},
	       {3,3,2,4,9999},
	       {15,9999,9999,9999,9999},
	       {197,255,9999,235,206},
	       {5,9999,9999,9999,9999},
	       {295,394,411,291,185},
	       {17,9999,5,2,3},
	       {285,9999,9999,9999,9999},
	       {21,9999,9999,9999,9999},
	       {33,9999,19,9999,9999},
	       {83,112,31,9999,9999},
	       {3,9999,1,9999,9999},
	       {60,43,9999,9999,12},
	       {1,9999,2,9999,7},
	       {157,101,51,47,40},
	       {0,9999,1,9999,9999},
	       {15,9,5,9999,9999},
	       {280,233,9999,9999,9999},
	       {100,9999,61,20,9999},
	       {263,204,9999,9999,9999},
	       {22,11,9999,2,9999},
	       {69,9999,9999,9999,9999},
	       {272,9999,9999,9999,9999},
	       {21,29,12,9999,9999},
	       {3,9999,9999,9999,9999},
	       {39,24,7,9999,9999},
	       {16,13,9999,9999,9999},
	       {1,2,9999,9999,9999},
	       {1,9999,9999,9999,9999},
	       {190,207,147,16,9999},
	       {9,20,9999,9999,9999},
	       {2,0,9999,9999,9999},
	       {13,9999,9999,9999,9999},
	       {111,187,130,81,9999},
	       {6,10,23,4,9999},
	       {48,53,13,20,9999},
	       {11,32,10,9999,9999},
	       {6,3,3,9999,9999},
	       {130,27,33,9999,9999},
	       {8,9999,5,1,9999},
	       {154,177,9999,9999,9999},
	       {271,250,125,169,9999},
	       {194,307,142,99,9999},
	       {32,31,6,9999,9999},
	       {15,9999,9999,9999,9999},
	       {50,9999,21,9999,9999},
	       {17,9999,6,9999,9999},
	       {192,78,33,11,9999},
	       {5,9999,9999,9999,9999},
	       {46,61,79,9999,9999},
	       {4,5,9999,9999,9999},
	       {226,187,190,187,9999},
	       {1,9999,9999,9999,9999},
	       {21,37,4,8,9999},
	       {110,66,58,9999,9999},
	       {19,19,16,10,9999},
	       {14,1,2,9999,9999},
	       {52,137,104,130,9999},
	       {21,31,32,8,9999},
	       {120,300,220,272,9999},
	       {5,5,9999,9999,9999},
	       {42,34,15,9999,7},
	       {50,50,9999,9999,9999},
	       {64,15,9999,9999,9999},
	       {15,54,45,25,9999},
	       {242,390,264,332,9999},
	       {39,2,24,9999,9999},
	       {8,30,3,9999,9999},
	       {4,11,2,21,19},
	       {199,203,286,255,183},
	       {65,51,46,5,37},
	       {45,48,60,61,42},
	       {291,314,453,382,273},
	       {39,30,21,16,9999},
	       {115,90,139,141,9999},
	       {224,9999,363,262,9999},
	       {40,16,9999,9999,9999},
	       {40,26,36,9999,9999},
	       {24,9999,3,9999,9999},
	       {21,35,28,9999,9999},
	       {176,198,98,22,9999},
	       {6,2,9999,9999,9999},
	       {13,162,9999,42,9999},
	       {15,20,20,9999,9999},
	       {11,5,9999,9999,9999},
	       {275,415,284,308,9999},
	       {50,72,36,9999,9999},
	       {2,9999,9999,9999,9999},
	       {61,9999,9999,9999,9999},
	       {274,265,9999,9999,9999},
	       {28,42,16,9999,9999},
	       {41,30,9999,9999,9999},
	       {54,9999,9999,9999,9999},
	       {4,4,2,9999,9999},
	       {54,21,9999,9999,9999},
	       {29,21,9999,9999,9999},
	       {100,9999,14,29,9999},
	       {10,9999,9999,9999,9999},
	       {156,9999,39,9999,9999},
	       {0,9999,9999,9999,9999},
	       {59,43,61,25,9999},
	       {6,4,9999,9999,9999},
	       {71,9999,9999,6,9999},
	       {27,8,13,18,9999},
	       {15,3,3,4,9999},
	       {63,30,22,4,9999},
	       {25,163,113,59,9999},
	       {14,9999,9999,9999,9999},
	       {21,15,5,9999,9999},
	       {197,154,135,110,31},
	       {130,582,9999,9999,9999},
	       {16,37,10,8,9999},
	       {37,26,0,8,9999},
	       {10,12,9,9999,9999},
	       {50,40,20,10,9999},
	       {109,42,18,9999,9999},
	       {89,19,43,9,6},
	       {52,15,26,9999,9999},
	       {42,23,30,11,15},
	       {7,9999,1,9999,9999},
	       {10,0,5,9999,9999},
	       {232,221,166,141,9999},
	       {117,17,9999,55,9999},
	       {288,268,150,298,9999},
	       {168,226,129,144,9999},
	       {169,149,93,45,9999},
	       {12,16,0,9999,9999},
	       {126,246,153,140,9999},
	       {136,112,9999,86,9999},
	       {1,3,0,0,9999},
	       {91,37,9999,9999,9999},
	       {280,9999,319,9999,9999},
	       {160,115,57,69,9999},
	       {46,31,8,10,9999},
	       {5,3,3,7,9999},
	       {0,9999,9999,9999,9999},
	       {246,333,9999,232,177},
	       {224,9999,204,141,9999},
	       {240,360,9999,310,9999},
	       {198,172,9999,286,9999},
	       {66,89,81,18,9999},
	       {40,15,34,5,9999},
	       {10,30,9999,9999,9999},
	       {30,9999,9999,9999,9999},
	       {120,160,120,130,80},
	       {50,9999,20,10,9999},
	       {47,110,63,20,9999},
	       {20,10,20,9999,9999},
	       {30,40,95,50,9999},
	       {80,50,60,10,9999},
	       {30,4,40,10,9999},
	       {76,110,9999,9999,9999},
	       {250,9999,210,220,9999},
	       {30,40,40,320,9999},
	       {100,40,9999,9999,9999},
	       {140,105,9999,89,9999},
	       {20,20,10,20,9999},
	       {270,290,220,240,9999},
	       {40,20,30,9999,9999},
	       {190,90,130,80,9999},
	       {40,9999,9999,9999,9999},
	       {40,80,20,20,9999},
	       {70,40,30,0,9999},
	       {180,260,160,180,9999},
	       {0,9999,60,70,9999},
	       {190,280,130,200,9999},
	       {270,370,360,350,9999},
	       {7,4,6,287,9999},
	       {370,9999,9999,9999,9999},
	       {24,3,11,7,9999},
	       {144,237,242,119,9999},
	       {13,27,9999,19,9999},
	       {104,174,194,9999,9999},
	       {25,0,9,23,9999},
	       {110,250,170,80,9999},
	       {20,9999,9999,9999,9999},
	       {130,9999,9999,9999,9999},
	       {160,230,300,200,9999},
	       {190,300,150,240,9999},
	       {20,10,0,4,9999},
	       {5,0,9999,9999,9999},
	       {59,9999,9999,9999,9999},
	       {5,14,5,9999,9999},
	       {28,9999,46,9999,9999},
	       {6,5,9999,9999,9999},
	       {107,126,72,14,9999},
	       {23,9999,9999,9999,9999},
	       {4,5,4,9,9999},
	       {32,39,46,30,34},
	       {143,154,264,176,9999},
	       {14,8,9999,9999,9999},
	       {273,383,263,369,9999},
	       {72,20,9,9999,9999},
	       {77,19,9999,9999,9999},
	       {95,234,216,98,9999},
	       {94,53,29,5,9999},
	       {165,9999,35,9999,9999},
	       {6,18,9999,9999,9999},
	       {281,207,160,71,9999},
	       {17,10,9999,9999,9999},
	       {7,15,11,9999,9999},
	       {109,92,85,9999,68},
	       {222,136,9999,179,9999},
	       {6,10,8,5,11},