*** Aspic by Laure Gonnord, version 3.4 Binary compiled on vendredi 1 janvier 2016 Input file = main.fst *** Configuration of Aspic * (version 3.4) * name of file : main.fst * inputfile of type (real) Fast format * PRINTING all stuff for compsys ranking method * DEBUG : Only prints analysis steps in a separate .log file * PRINTING STUFF : Infile+Invars * ANALYSIS * with acceleration * delay of widening = 1 * steps of descending sequence = 0 * newpath heuristic = disabled * Name of model = main, Name of file = main.fst * 13 variable(s) and 192 locs(s) and 574 transitions(s) in the .fst * Searching objective in fast strategy -> we suppose that we want to compute post*(init) with init a convex set or post*(init) and bad if the state bad exists and bad is convex -> Initial region "init" found -> Finding initial polyhedron. OK. -> No bad region INFO : 13 vars, 192 locations, 574 transitions * The initial state has label f0 and the associated polyhedron is { $>=0,1>0} * There is/are 0 bad node(s) * Precomputing special stuff for ranking option 26 vars, 575(575==575) transitions and 193 locs now * Printing option = Infile+Invars * Parsing OK, now analysing * LRA with acceleration with delay = 1 mainjust one = {J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o,L=L__o, M=M__o,F=F__o,G=G__o,H=H__o,$>=0,1>0}just one = {J=J__o, I=I__o, A=1, K=K__o, B=B__o, D=0,E=1, C=C__o, L=L__o, M=M__o, F=F__o, G=G__o, H=H__o, $>=0,1>0}just one = { J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o,L=L__o,M=M__o,F=F__o,G=G__o, H=H__o,$>=0,1>0}just one = {J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o, L=L__o,M=M__o,F=F__o,G=G__o,H=H__o,$>=0,1>0}just one = { J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o,L=L__o,M=M__o,F=F__o,G=G__o, H=H__o,$>=0,1>0}just one = {J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o, L=L__o,M=M__o,F=F__o,G=G__o,H=H__o,$>=0,1>0}just one = { J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o,L=L__o,M=M__o,F=F__o,G=G__o, H=H__o,$>=0,1>0}just one = {J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o, L=L__o,M=M__o,F=F__o,G=G__o,H=H__o,$>=0,1>0}just one = { J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o,L=L__o,M=M__o,F=F__o,G=G__o, H=H__o,$>=0,1>0}just one = {J=J__o,I=I__o,A=1,K=K__o,B=B__o,D=0,E=1,C=C__o, L=L__o,M=M__o,F=F__o,G=G__o,H=H__o,$>=0,1>0}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o,A+1=I,J=J__o,$>=0,1>0, A>9}just one = {A=L,F=F__o,A=M,B=1,G=G__o,A=D,A=E,H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0,1>0,A>9}just one = {A=L,F=F__o,A=M,B=1, G=G__o,A=D,A=E, H=H__o,C=C__o,K=K__o, A+1=I,J=J__o,$>=0, 1>0,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9}just one = { A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o,H=H__o,A+B=I,$>=0,B>49, B<=50,A>9}just one = {A=L,A+B=J,A=M,A+B=K,C=1,A+B=D,A=E,A+B+1=F,G=G__o, H=H__o,A+B=I,$>=0,B>49,B<=50,A>9} *** Results : * Invariants = f11 -----> {A>0, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f13 -----> {A>1, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f15 -----> {A>2, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f17 -----> {A>3, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f19 -----> {A>4, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f21 -----> {A>5, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f23 -----> {A>6, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f25 -----> {A>7, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f27 -----> {A>8, A<=9, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o, A=E} f65 -----> {A>9, B>0, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f67 -----> {A>9, B>1, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f69 -----> {A>9, B>2, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f71 -----> {A>9, B>3, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f73 -----> {A>9, B>4, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f75 -----> {A>9, B>5, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f77 -----> {A>9, B>6, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f79 -----> {A>9, B>7, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f81 -----> {A>9, B>8, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f83 -----> {A>9, B>9, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f85 -----> {A>9, B>10, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f87 -----> {A>9, B>11, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f89 -----> {A>9, B>12, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f91 -----> {A>9, B>13, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f93 -----> {A>9, B>14, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f95 -----> {A>9, B>15, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f97 -----> {A>9, B>16, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f99 -----> {A>9, B>17, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f101 -----> {A>9, B>18, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f103 -----> {A>9, B>19, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f105 -----> {A>9, B>20, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f107 -----> {A>9, B>21, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f109 -----> {A>9, B>22, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f111 -----> {A>9, B>23, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f113 -----> {A>9, B>24, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f115 -----> {A>9, B>25, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f117 -----> {A>9, B>26, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f119 -----> {A>9, B>27, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f121 -----> {A>9, B>28, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f123 -----> {A>9, B>29, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f125 -----> {A>9, B>30, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f127 -----> {A>9, B>31, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f129 -----> {A>9, B>32, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f131 -----> {A>9, B>33, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f133 -----> {A>9, B>34, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f135 -----> {A>9, B>35, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f137 -----> {A>9, B>36, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f139 -----> {A>9, B>37, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f141 -----> {A>9, B>38, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f143 -----> {A>9, B>39, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f145 -----> {A>9, B>40, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f147 -----> {A>9, B>41, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f149 -----> {A>9, B>42, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f151 -----> {A>9, B>43, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f153 -----> {A>9, B>44, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f155 -----> {A>9, B>45, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f157 -----> {A>9, B>46, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f159 -----> {A>9, B>47, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f161 -----> {A>9, B>48, B<=49, K=K__o, J=J__o, H=H__o, G=G__o, F=F__o, C=C__o, A=D, A=E, A=L, A=M, A+B=I} f163 -----> {false} f165 -----> {false} f167 -----> {false} f169 -----> {false} f171 -----> {false} f173 -----> {false} f175 -----> {false} f177 -----> {false} f179 -----> {false} f181 -----> {false} f319 -----> {A>9, B>49, C>0, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f321 -----> {A>9, B>49, C>1, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f323 -----> {A>9, B>49, C>2, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f325 -----> {A>9, B>49, C>3, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f327 -----> {A>9, B>49, C>4, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f329 -----> {A>9, B>49, C>5, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f331 -----> {A>9, B>49, C>6, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f333 -----> {A>9, B>49, C>7, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f335 -----> {A>9, B>49, C>8, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f337 -----> {A>9, B>49, C>9, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f339 -----> {A>9, B>49, C>10, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f341 -----> {A>9, B>49, C>11, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f343 -----> {A>9, B>49, C>12, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f345 -----> {A>9, B>49, C>13, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f347 -----> {A>9, B>49, C>14, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f349 -----> {A>9, B>49, C>15, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f351 -----> {A>9, B>49, C>16, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f353 -----> {A>9, B>49, C>17, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f355 -----> {A>9, B>49, C>18, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f357 -----> {A>9, B>49, C>19, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f359 -----> {A>9, B>49, C>20, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f361 -----> {A>9, B>49, C>21, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f363 -----> {A>9, B>49, C>22, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f365 -----> {A>9, B>49, C>23, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f367 -----> {A>9, B>49, C>24, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f369 -----> {A>9, B>49, C>25, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f371 -----> {A>9, B>49, C>26, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f373 -----> {A>9, B>49, C>27, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f375 -----> {A>9, B>49, C>28, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f377 -----> {A>9, B>49, C>29, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f379 -----> {A>9, B>49, C>30, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f381 -----> {A>9, B>49, C>31, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f383 -----> {A>9, B>49, C>32, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f385 -----> {A>9, B>49, C>33, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f387 -----> {A>9, B>49, C>34, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f389 -----> {A>9, B>49, C>35, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f391 -----> {A>9, B>49, C>36, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f393 -----> {A>9, B>49, C>37, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f395 -----> {A>9, B>49, C>38, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f397 -----> {A>9, B>49, C>39, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f399 -----> {A>9, B>49, C>40, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f401 -----> {A>9, B>49, C>41, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f403 -----> {A>9, B>49, C>42, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f405 -----> {A>9, B>49, C>43, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f407 -----> {A>9, B>49, C>44, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f409 -----> {A>9, B>49, C>45, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f411 -----> {A>9, B>49, C>46, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f413 -----> {A>9, B>49, C>47, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f415 -----> {A>9, B>49, C>48, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f417 -----> {A>9, B>49, C>49, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f419 -----> {A>9, B>49, C>50, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f421 -----> {A>9, B>49, C>51, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f423 -----> {A>9, B>49, C>52, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f425 -----> {A>9, B>49, C>53, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f427 -----> {A>9, B>49, C>54, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f429 -----> {A>9, B>49, C>55, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f431 -----> {A>9, B>49, C>56, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f433 -----> {A>9, B>49, C>57, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f435 -----> {A>9, B>49, C>58, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f437 -----> {A>9, B>49, C>59, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f439 -----> {A>9, B>49, C>60, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f441 -----> {A>9, B>49, C>61, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f443 -----> {A>9, B>49, C>62, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f445 -----> {A>9, B>49, C>63, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f447 -----> {A>9, B>49, C>64, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f449 -----> {A>9, B>49, C>65, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f451 -----> {A>9, B>49, C>66, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f453 -----> {A>9, B>49, C>67, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f455 -----> {A>9, B>49, C>68, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f457 -----> {A>9, B>49, C>69, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f459 -----> {A>9, B>49, C>70, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f461 -----> {A>9, B>49, C>71, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f463 -----> {A>9, B>49, C>72, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f465 -----> {A>9, B>49, C>73, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f467 -----> {A>9, B>49, C>74, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f469 -----> {A>9, B>49, C>75, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f471 -----> {A>9, B>49, C>76, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f473 -----> {A>9, B>49, C>77, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f475 -----> {A>9, B>49, C>78, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f477 -----> {A>9, B>49, C>79, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f479 -----> {A>9, B>49, C>80, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f481 -----> {A>9, B>49, C>81, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f483 -----> {A>9, B>49, C>82, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f485 -----> {A>9, B>49, C>83, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f487 -----> {A>9, B>49, C>84, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f489 -----> {A>9, B>49, C>85, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f491 -----> {A>9, B>49, C>86, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f493 -----> {A>9, B>49, C>87, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f495 -----> {A>9, B>49, C>88, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f497 -----> {A>9, B>49, C>89, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f499 -----> {A>9, B>49, C>90, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f501 -----> {A>9, B>49, C>91, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f503 -----> {A>9, B>49, C>92, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f505 -----> {A>9, B>49, C>93, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f507 -----> {A>9, B>49, C>94, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f509 -----> {A>9, B>49, C>95, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f511 -----> {A>9, B>49, C>96, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f513 -----> {A>9, B>49, C>97, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f515 -----> {A>9, B>49, C>98, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f517 -----> {A>9, B>49, C>99, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f519 -----> {A>9, B>49, C>100, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f521 -----> {A>9, B>49, C>101, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f523 -----> {A>9, B>49, C>102, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f525 -----> {A>9, B>49, C>103, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f527 -----> {A>9, B>49, C>104, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f529 -----> {A>9, B>49, C>105, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f531 -----> {A>9, B>49, C>106, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f533 -----> {A>9, B>49, C>107, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f535 -----> {A>9, B>49, C>108, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f537 -----> {A>9, B>49, C>109, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f539 -----> {A>9, B>49, C>110, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f541 -----> {A>9, B>49, C>111, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f543 -----> {A>9, B>49, C>112, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f545 -----> {A>9, B>49, C>113, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f547 -----> {A>9, B>49, C>114, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f549 -----> {A>9, B>49, C>115, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f551 -----> {A>9, B>49, C>116, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f553 -----> {A>9, B>49, C>117, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f555 -----> {A>9, B>49, C>118, C<=119, B<=50, H=H__o, G=G__o, A=E, A=L, A=M, A+B=D, A+B=I, A+B=J, A+B=K, A+B+C=F} f0 -----> {K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, E=E__o, D=D__o, C=C__o, B=B__o, A=A__o, L=L__o, M=M__o} f808 -----> {C>119, A+50>=K, A+499, C+K=H, C+K=G, C+K=F, A=E, C+K=D, J=K, A+B=K, A=M, I=K, A=L} ____f0 -----> {true} f7 -----> {E>=0, A=E, D=0, M=M__o, L=L__o, K=K__o, J=J__o, I=I__o, H=H__o, G=G__o, F=F__o, C=C__o, B=B__o} f61 -----> {A>9, B>=0, B<=50, A=D, A=E, A+B=I, A=L, A=M, C=C__o, F=F__o, G=G__o, H=H__o, J=J__o, K=K__o} f315 -----> {F>=K, A+50>=K, A>9, A+49