ddidata.h

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

	       {10,8,3,9999,9999},
	       {21,17,8,9999,9999},
	       {10,9999,9999,9999,9999},
	       {0,21,9999,9999,9999},
	       {13,9999,9999,9999,9999},
	       {14,9999,9999,9999,9999},
	       {9,9999,10,30,9999},
	       {11,7,14,16,9999},
	       {53,27,9999,9999,9999},
	       {131,129,122,66,9999},
	       {3,7,9999,9999,9999},
	       {216,249,14,9999,9999},
	       {8,7,9999,9999,9999},
	       {37,30,21,16,9999},
	       {200,9999,203,209,9999},
	       {32,57,13,7,9999},
	       {67,40,32,54,9999},
	       {235,9999,134,53,9999},
	       {43,55,9999,9999,9999},
	       {35,19,11,9999,9999},
	       {228,235,29,294,9999},
	       {109,124,88,9999,9999},
	       {11,9999,9999,9999,9999},
	       {82,9999,9999,9999,9999},
	       {112,9,5,9999,9999},
	       {181,110,9999,9999,9999},
	       {76,18,11,7,9999},
	       {152,168,144,68,9999},
	       {7,8,5,2,9999},
	       {230,253,17,170,9999},
	       {2,3,2,4,9999},
	       {1,2,1,1,9999},
	       {9,22,8,11,9999},
	       {281,300,368,202,130},
	       {5,9999,9999,9999,9999},
	       {12,35,34,14,14},
	       {277,84,9999,9999,9999},
	       {4,3,1,1,9999},
	       {2,2,2,2,9999},
	       {254,284,291,204,9999},
	       {51,75,78,9999,9999},
	       {6,2,1,9999,9999},
	       {19,27,34,12,9999},
	       {16,10,3,4,9999},
	       {2,6,1,1,9999},
	       {8,12,4,9999,9999},
	       {17,4,7,9999,9999},
	       {11,8,9999,5,9999},
	       {41,52,30,1,9999},
	       {54,39,23,14,19},
	       {16,9999,10,2,4},
	       {70,35,49,26,9999},
	       {10,9999,9999,9999,9999},
	       {10,10,4,9999,9999},
	       {8,9,6,9,9999},
	       {12,9999,6,9999,9999},
	       {10,8,3,7,9999},
	       {17,3,1,9999,9999},
	       {15,5,1,1,9999},
	       {31,26,27,12,9999},
	       {40,9,9999,9999,9999},
	       {44,30,9999,9999,9999},
	       {40,6,9999,9999,9999},
	       {12,9999,9999,9999,9999},
	       {80,35,47,3,9999},
	       {99,200,152,191,9999},
	       {8,9999,9999,5,9999},
	       {3,9999,9999,9999,9999},
	       {34,34,36,13,9999},
	       {60,33,37,14,9999},
	       {38,17,12,55,9999},
	       {31,22,10,9999,9999},
	       {34,13,9,9999,9999},
	       {11,11,3,9999,9999},
	       {77,51,37,9999,9999},
	       {9,21,9999,9999,9999},
	       {122,112,77,72,9999},
	       {273,129,163,154,9999},
	       {81,52,26,9999,9999},
	       {10,7,14,10,9999},
	       {4,9999,6,9999,9999},
	       {35,9999,11,4,9999},
	       {65,58,22,15,9999},
	       {7,4,6,9999,9999},
	       {180,238,171,65,9999},
	       {4,8,3,9999,9999},
	       {93,142,9999,15,9999},
	       {297,122,89,40,9999},
	       {300,330,290,270,340},
	       {9999,10,9999,9999,9999},
	       {8,15,17,12,8},
	       {3,3,8,6,3},
	       {7,9,2,9999,9999},
	       {273,152,65,38,21},
	       {137,121,146,138,9999},
	       {42,9999,9999,9999,9999},
	       {8,9999,9999,9999,9999},
	       {62,9999,9999,9999,9999},
	       {3,4,3,4,9999},
	       {13,7,3,9999,9999},
	       {37,17,20,1,9999},
	       {6,3,1,9999,9999},
	       {128,9999,24,15,9999},
	       {64,28,9999,9999,9999},
	       {2,9999,9999,9999,9999},
	       {125,147,203,113,9999},
	       {18,30,22,9999,9999},
	       {21,9999,8,7,9999},
	       {47,56,9999,9999,9999},
	       {5,5,4,9999,9999},
	       {11,12,8,9999,9999},
	       {184,138,37,9999,9999},
	       {12,9999,9999,9999,9999},
	       {7,10,9,4,9999},
	       {40,29,28,20,9999},
	       {100,145,88,45,9999},
	       {113,116,173,126,9999},
	       {74,56,29,27,9999},
	       {161,176,9999,30,9999},
	       {5,9999,9999,9999,9999},
	       {31,24,31,9999,9999},
	       {233,269,182,71,9999},
	       {63,71,16,16,9999},
	       {247,289,219,9999,9999},
	       {10,20,9999,9999,9999},
	       {291,367,323,267,9999},
	       {30,41,22,16,9999},
	       {5,9999,9999,9999,9999},
	       {108,475,284,151,9999},
	       {13,15,9999,9999,9999},
	       {341,9999,9999,9999,9999},
	       {6,6,9999,9999,9999},
	       {7,12,9,0,9999},
	       {23,54,9999,9999,9999},
	       {27,33,18,5,12},
	       {52,48,84,63,20},
	       {0,9999,15,9999,9999},
	       {0,9999,9999,9999,9999},
	       {4,10,0,9999,9999},
	       {14,9999,9999,0,9999},
	       {48,143,9999,9999,9999},
	       {49,77,9999,90,9999},
	       {5,2,9999,9999,9999},
	       {63,110,55,26,9999},
	       {6,0,9999,5,9999},
	       {8,0,9999,9999,9999},
	       {10,9999,7,9999,9999},
	       {237,306,286,276,9999},
	       {66,70,9999,9999,9999},
	       {155,104,9999,184,9999},
	       {281,9999,9999,9999,9999},
	       {0,9999,9999,9999,9999},
	       {201,238,240,418,9999},
	       {6,0,9999,9999,9999},
	       {20,12,12,9999,9999},
	       {27,20,11,9999,9999},
	       {110,57,41,9999,9999},
	       {37,40,9999,9999,9999},
	       {3,5,1,9999,9999},
	       {176,207,383,161,9999},
	       {217,90,97,9,9999},
	       {84,39,9999,9999,9999},
	       {22,14,6,9999,9999},
	       {8,29,16,7,9999},
	       {80,51,9999,9999,9999},
	       {224,194,125,9999,9999},
	       {13,19,9999,3,2},
	       {96,53,9999,9999,9999},
	       {10,17,9,9999,9999},
	       {30,9999,9999,9999,9999},
	       {57,55,9999,11,9999},
	       {2,3,11,9999,9999},
	       {19,9999,9999,9999,9999},
	       {39,14,16,9999,9999},
	       {288,323,357,369,9999},
	       {15,11,3,9999,9999},
	       {43,13,9999,9999,9999},
	       {14,14,10,9999,9999},
	       {125,9999,9999,9999,9999},
	       {7,7,3,11,9999},
	       {14,9,10,7,9999},
	       {2,8,9999,9999,9999},
	       {11,7,8,0,9999},
	       {5,7,9999,9999,9999},
	       {46,47,35,25,9999},
	       {3,2,9999,9999,9999},
	       {132,90,60,23,9999},
	       {84,57,54,9999,9999},
	       {26,9999,9999,9999,9999},
	       {239,200,89,51,9999},
	       {4,9999,9999,9999,9999},
	       {29,23,35,9999,9999},
	       {21,113,5,9999,9999},
	       {166,9999,9999,9999,9999},
	       {273,87,359,285,9999},
	       {181,9999,9999,9999,9999},
	       {2,4,2,0,9999},
	       {28,43,28,28,9999},
	       {70,60,66,49,9999},
	       {76,105,40,9999,9999},
	       {78,9999,9999,9999,9999},
	       {75,132,9999,9999,9999},
	       {36,9999,9999,9999,9999},
	       {12,6,16,13,9999},
	       {40,9999,28,9999,9999},
	       {16,50,17,5,9999},
	       {5,9999,9999,9999,9999},
	       {3,12,9999,9999,9999},
	       {56,45,9,8,9999},
	       {66,78,50,32,9999},
	       {65,96,60,91,9999},
	       {272,240,234,98,9999},
	       {60,24,90,76,9999},
	       {105,272,375,150,9999},
	       {36,32,42,9999,9999},
	       {24,4,9999,9999,9999},
	       {300,270,143,160,9999},
	       {20,18,10,9999,9999},
	       {13,14,6,7,7},
	       {42,20,30,18,9999},
	       {27,42,6,6,9999},
	       {7,9,21,9999,9999},
	       {70,63,30,9999,9999},
	       {159,73,9999,9999,9999},