Failing instance

gistfile1.txt

%missing = 19
#const n = 250.
digit(0,1;1,5;2,3;3,2;4,8;5,8;6,1;7,6;8,6;9,4;10,8;11,1;12,9;13,1;14,2;15,1;16,9;17,3;18,7;19,1;20,7;21,8;22,5;23,1;24,1;25,8;26,9;27,4;28,6;29,9;30,8;31,3;32,2;33,5;34,3;35,1;36,8;37,1;38,6;39,1;40,6;41,9;42,2;43,4;44,8;45,1;46,6;47,2;48,7;49,1;50,1;51,7;52,6;53,1;54,7;55,4;56,1;57,7;58,1;59,2;60,1;61,7;62,3;63,5;64,2;65,4;66,3;67,2;68,3;69,9;70,6;71,1;72,3;73,8;74,2;75,4;76,4;77,1;78,6;79,4;80,2;81,2;82,7;83,1;84,6;85,7;86,8;87,7;88,7;89,9;90,7;91,2;92,1;93,5;94,8;95,1;96,2;97,4;98,1;99,9;100,7;101,1;102,3;103,2;104,8;105,2;106,4;107,4;108,1;109,9;110,3;111,7;112,3;113,2;114,4;115,5;116,9;117,4;118,4;119,5;120,1;121,8;122,3;123,1;124,6;125,9;126,1;127,3;128,3;129,2;130,3;131,2;132,1;133,9;134,2;135,2;136,2;137,5;138,7;139,5;140,7;141,2;142,5;143,1;144,1;145,8;146,1;147,1;148,2;149,1;150,5;151,6;152,1;153,1;154,4;155,1;156,4;157,7;158,1;159,6;160,6;161,6;162,8;163,2;164,4;165,9;166,2;167,1;168,8;169,2;170,4;171,1;172,1;173,4;174,5;175,1;176,6;177,5;178,1;179,5;180,9;181,4;182,1;183,1;184,4;185,9;186,8;187,8;188,6;189,2;190,1;191,6;192,3;193,1;194,7;195,3;196,8;197,9;198,1;199,6;200,2;201,7;202,1;203,1;204,6;205,6;206,5;207,9;208,2;209,2;210,2;211,3;212,3;213,9;214,1;215,6;216,8;217,2;218,2;219,4;220,5;221,6;222,1;223,1;224,7;225,2;226,1;227,3;228,5;229,4;230,1;231,1;232,9;233,2;234,2;235,9;236,1;237,8;238,4;239,1;240,7;241,2;242,7;243,6;244,2;245,4;246,2;247,1;248,2;249,2;250,1;251,3;252,3;253,1;254,2;255,9;256,1;257,4;258,4;259,3;260,6;261,1;262,3;263,6;264,2;265,2;266,2;267,1;268,4;269,1;270,1;271,5;272,5;273,2;274,2;275,8;276,9;277,7;278,1;279,5;280,7;281,5;282,8;283,2;284,3;285,6;286,1;287,4;288,9;289,8;290,3;291,6;292,4;293,1;294,7;295,5;296,1;297,5;298,2;299,9;300,3;301,2;302,3;303,7;304,1;305,1;306,2;307,6;308,1;309,9;310,9;311,1;312,8;313,2;314,2;315,3;316,3;317,9;318,9;319,2;320,4;321,7;322,2;323,4;324,6;325,1;326,4;327,2;328,6;329,7;330,3;331,4;332,1;333,5;334,2;335,4;336,1;337,9;338,5;339,2;340,1;341,2;342,4;343,7;344,1;345,2;346,3;347,1;348,7;349,1;350,8;351,1;352,6;353,3;354,2;355,1;356,1;357,2;358,3;359,5;360,2;361,1;362,4;363,1;364,9;365,6;366,7;367,5;368,1;369,5;370,1;371,8;372,2;373,2;374,1;375,8;376,6;377,1;378,4;379,8;380,1;381,4;382,6;383,7;384,7;385,1;386,3;387,7;388,4;389,3;390,1;391,2;392,7;393,4;394,2;395,5;396,9;397,9;398,1;399,1;400,4;401,3;402,1;403,2;404,1;405,1;406,1;407,5;408,1;409,1;410,3;411,4;412,1;413,1;414,8;415,7;416,2;417,9;418,2;419,2;420,1;421,2;422,3;423,9;424,3;425,1;426,8;427,6;428,2;429,1;430,1;431,1;432,5;433,2;434,1;435,5;436,7;437,4;438,5;439,2;440,2;441,3;442,4;443,1;444,9;445,8;446,1;447,8;448,8;449,1;450,2;451,5;452,2;453,1;454,3;455,5;456,3;457,3;458,1;459,9;460,4;461,1;462,3;463,9;464,1;465,5;466,4;467,9;468,5;469,1;470,2;471,1;472,2;473,2;474,6;475,1;476,7;477,7;478,1;479,3;480,4;481,1;482,4;483,2;484,1;485,6;486,8;487,5;488,1;489,3;490,1;491,8;492,4;493,2;494,6;495,9;496,1;497,8;498,5;499,6;500,1;501,2;502,8;503,6;504,1;505,2;506,3;507,1;508,1;509,7;510,9;511,7;512,8;513,3;514,8;515,5;516,5;517,2;518,3;519,8;520,1;521,0;522,5;523,1;524,0;525,1;526,2;527,0;528,9;529,1;530,5;531,0;532,4;533,0;534,2;535,1;536,0;537,1;538,6;539,0;540,1;541,0;542,6;543,7;544,0;545,1;546,9;547,0;548,2;549,0;550,3;551,1;552,0;553,4;554,1;555,0;556,8;557,1;558,0;559,9;560,2;561,4;562,0;563,2;564,0;565,2;566,1;567,0;568,2;569,1;570,4;571,0;572,3;573,0;574,2;575,0;576,1;577,0;578,7;579,1;580,0;581,1;582,8;583,0;584,2;585,0;586,6;587,2;588,0;589,4;590,2;591,3;592,0;593,9;594,0;595,6;596,0;597,2;598,0;599,7;600,1;601,3;602,0;603,5;604,0;605,2;606,2;607,0;608,1;609,1;610,0;611,1;612,0;613,3;614,1;615,7;616,0;617,2;618,0;619,5;620,8;621,0;622,1;623,2;624,0;625,2;626,0;627,8;628,2;629,0;630,1;631,0;632,1;633,0;634,0;635,2;636,0;637,0).