MAX-CSP 2008 Competition: solvers results per benchmarks

Result page for benchmark
maxcsp/pedigree/
normalized-sheep4r_ext.xml

Jump to solvers results

General information on the benchmark

Namemaxcsp/pedigree/
normalized-sheep4r_ext.xml
MD5SUM08bdb3d510bdf76c9e89d860e2f2975a
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMSAT TO
Best Number of falsified constraints6
Best CPU time to get the best result obtained on this benchmark3600.03
Satisfiable
(Un)Satisfiability was proved
Number of variables8921
Number of constraints11107
Maximum constraint arity3
Maximum domain size10
Number of constraints which are defined in extension11107
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerNumber of falsified constraintsCPU timeWall clock time
toulbar2 2008-06-271127222OPTIMUM2 13.121 13.1815
Concrete + CSP4J - MCRW Engine 2008-05-301127215MSAT (TO)6 3600.03 3625.42
Concrete + CSP4J - Tabu Engine 2008-05-301127216MSAT (TO)110 3600.06 3634.02
AbsconMax 112 pc-w1127217? 182.19 185.174
AbsconMax 112 pc-d1127218? 182.427 184.747
Sugar++ v1.13+minisat-inc1127219? 186.143 196.441
Sugar v1.13+minisat1127220? 197.076 207.271
toulbar2/BTD 2008-06-271127221? (TO) 3600.04 3605.41

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Number of falsified constraints: 2
Solution found:
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0
0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 3 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0
2 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 0 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 3 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 1 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 1 0 0 1 1 0 0 1 2 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0
0 0 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0
0 0 0 0 0 0 0 0 1 1 1 0 3 0 3 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 3 0 0 2 0 0 0
0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 1 0 1
0 0 0 0 2 0 1 0 0 2 8 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 3 0 0 0 1 0 0 3 0 0 0 0 1 0 0
0 2 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 2 0 0 0 0 5 2 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 1 1 0 0 0 0
0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 0 0 0 0 0 0 3 0 2 0 0 0 0 0 2 2 0 1 0 0 2 3 0 0 0 0 0 0 0 0 2 0 0 0 1 0 3 3 0 0 0 1 0 0 0 2 0 0 0
0 0 0 2 0 1 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 1 0 2 0 0 0 0 0 1 0 3 3 0 0 0 0 0
0 0 0 1 0 0 1 0 2 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2
2 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 0 5 0 1 2 2 0 0 0 0 6 0 2 0 2 0 2 0 1 0 0 0
0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 1 2 0 0 0 0 1 0 2 0 0 1 0 0 0 0 3 2 0 0 2 0 0 0 0 2 0
0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 0 0 1 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0
0 1 3 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 1 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 3 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0
0 0 0 0 3 0 0 0 0 2 2 0 0 0 0 0 0 5 0 0 0 0 0 0 3 3 0 0 0 2 0 0 3 0 0 1 2 0 1 0 0 1 0 3 0 0 0 0 0 0 0 0 2 0 2 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 3 0 3 0 3 2 2 1 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 2 2 0 0 0 0 0 2 0 0 2 0 0 1 0 0 0 0 0 0 0 0
0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 1 0 2 0 0 3 0 0 0 2 1 0 1 2 0 0 2 0 0 1 2 0 0 0 0 3 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 1 0 0 0
2 0 0 0 0 0 0 8 0 3 3 0 1 1 2 0 2 0 0 0 0 0 0 1 0 0 0 0 2 0 1 1 2 0 1 1 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 1 3 0 0 0 0 2 0 0 2
2 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 0 2 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 2 0 3 0 0 0 2 0 0 1 0 0 0 0 1 0 0 0
0 0 2 3 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 2 0 0 0 2 0 0 0 0 2 0 0 2 0 0 3 0 0 0 0 0 0 0 0 3 0 3 0 3 0 0 0 0 2 2 1 0 0
0 2 0 2 0 0 2 0 2 0 0 0 0 0 0 2 0 0 0 0 0 2 0 2 1 2 0 1 0 0 1 2 1 1 0 0 2 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 1 0 0 1 0 2 0 2 0 0 0
0 0 0 0 1 0 2 0 0 0 3 2 1 0 0 0 7 0 2 0 0 1 0 0 0 0 2 0 0 0 3 1 0 2 0 2 0 0 0 0 1 1 0 0 0 2 0 0 0 2 0 0 0 3 0 1 0 0 0 0 3 0 2 0 1 0 0 3 0 0
0 0 1 0 0 1 0 0 0 1 3 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 3 0 0 1 0 0 0 0 1 2 0 0 0 0 0 2 0 0 2 2 0 0 0 0 0 0 0 0 2 0
0 2 0 0 2 3 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 0 0 2 5 2 2 1 0 3 0 0 0 0 0 1 1 0 0 0 3 0 1 0 2 1 0 8 1 0 0
0 0 1 2 0 1 0 2 0 3 0 3 3 0 0 0 0 0 0 0 6 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 2 0 0 0 2 0 0 0 0 2 0 0 0 3 2 2 2 2 0 0 2 1 0 1 2 0 0 0 2 0 0 2 0
0 1 2 0 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 2 0 0 0 0 0 0 0 0 2 2 2 2 2 1 0
0 0 0 0 0 0 0 0 0 0 0 1 0 1 3 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 1 0 2 1 0 0 0 2 2 2 2 0 0 0 0 3 0 2 0 0 0 2 0 1 0 0 0 0 2 1 0 0 2 0
1 8 2 0 1 2 2 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 1 1 0 0 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 0 2 5 1
2 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 3 0 0 3 1 2 2 0 0 2 6 0 1 1 0 2 1 0 0 0 1 1 0 0 2 0 0 0 0 0 0 2 1 1 3 2 0 0 0 2 3 0 1 0 0 0 0 0 0 5 0
0 0 0 1 3 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 2 2 1 0 3 2 0 2 0 0 3 0 5 0 2 0 2 0 0 0 1 3 0 0 0 0 2 2 2 2 0 0 0 0
0 2 2 0 0 0 0 2 5 1 1 0 0 2 0 0 0 1 2 1 1 2 0 2 0 0 2 0 0 2 0 0 0 1 0 0 0 2 0 0 3 0 0 0 3 0 3 0 0 0 0 2 0 0 1 0 1 0 0 0 1 0 1 0 1 0 2 0 0 0
0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 2 2 0 0 2 1 0 0 1 0 2 2 2 0 2 1 2 1 1 0 0 0 0 0 0 0 2 0 2 0 3 2 0 0 0 0 0 0 0 3 2 1 0 2
0 0 0 2 0 0 0 0 0 0 2 0 2 2 2 0 0 0 0 0 0 0 6 0 0 0 2 0 3 3 0 1 0 0 0 1 0 0 0 2 2 1 3 0 2 0 0 3 0 2 2 3 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 3 0 0
0 5 0 0 0 0 0 0 0 2 0 0 0 3 0 1 1 2 0 0 0 3 1 0 8 0 0 0 0 3 0 0 0 0 0 0 0 0 0 2 0 0 2 5 1 0 1 0 0 0 0 0 0 3 2 0 0 0 0 0 0 0 1 0 2 1 0 2 2 2
0 0 0 0 0 0 0 1 2 0 0 0 0 5 0 0 1 2 1 0 0 2 2 0 0 0 0 0 0 3 0 1 0 0 1 0 0 0 0 2 0 0 3 2 1 0 2 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 2 1 1 0 0 1 0
7 0 0 0 1 0 1 0 0 2 2 1 1 0 1 1 0 0 0 2 0 0 0 1 0 2 1 1 1 0 1 0 2 0 1 0 0 0 0 1 2 0 1 2 2 0 2 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 3 0 3 0 3 0 1 0
3 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 2 0 2 1 0 0 2 0 0 0 0 1 0 0 0 1 1 0 0 2 2 0 0 2 0 0 1 2 2 1 0 2 2 2 2 0 0 2 2 0 1 0 0 0 2 1 0 0 3 0 0
0 0 2 0 0 0 3 0 0 2 1 0 0 0 0 0 0 0 0 2 0 3 2 0 0 1 0 0 0 0 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 2 1 0 5 0 0 2 0 0 0 1 2 0 3 3 0 0 0 0 8 3 2 1 0 3
0 0 0 3 2 0 3 1 0 0 3 0 1 0 0 3 0 1 0 0 0 0 0 0 1 2 2 2 0 0 1 0 0 1 0 0 3 0 0 0 0 2 0 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 1 3 3 3 0 6 2 0 0 3 0 0
0 0 0 0 1 1 2 3 0 0 0 2 0 0 1 0 0 0 0 0 2 0 0 2 2 0 0 3 0 2 2 0 1 0 0 2 0 2 1 0 0 0 0 2 0 0 0 2 0 3 0 2 0 3 0 1 0 0 0 0 0 2 2 1 0 0 0 0 0 3
0 8 2 0 0 0 0 2 0 0 0 0 2 3 2 1 0 0 2 2 8 0 2 2 0 2 0 0 0 0 0 0 0 2 0 2 0 1 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 3 0 3 0 0 2 1 0 0 0 0 0 0 2 0
0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 3 0 0 0 0 1 1 0 0 2 2 0 3 2 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 8 0 0 0 2 2 1 0 0 0 3 0 5 0 0 0 0 0
0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 2 0 2 0 0 2 5 2 2 0 2 2 0 2 1 1 2 2 0 2 0 0 0 2 2 0 0 2 2 3 0 0 0 1 0 0 0 0 0 2 2 0 2 1 0 5 0 0 0 0 0 0 2 0 2
2 0 8 0 0 3 0 2 2 0 0 0 2 1 0 0 0 0 0 2 2 0 1 0 1 2 0 2 2 0 2 0 0 0 0 0 2 0 0 0 2 0 7 0 0 2 0 0 2 2 0 8 0 2 0 0 0 0 0 0 2 0 1 0 1 0 0 2 0 2
0 1 2 0 0 0 0 3 2 0 0 1 0 0 0 0 2 0 3 0 0 0 0 0 0 1 1 0 2 1 0 0 0 0 2 0 0 2 0 2 0 0 8 2 0 0 0 0 0 0 1 0 5 8 1 2 2 3 2 2 0 0 0 0 0 0 0 3 0 0
0 1 0 0 2 0 2 0 0 3 1 0 0 0 0 2 0 0 1 2 2 2 5 2 2 2 2 8 0 1 0 0 1 2 2 0 0 0 2 0 0 1 2 2 2 2 3 0 0 2 0 0 0 1 3 0 0 0 2 0 0 2 0 1 2 0 2 2 2 2
0 0 0 0 0 0 1 2 2 1 1 2 0 1 3 0 1 0 1 0 5 2 2 0 0 0 0 0 2 2 5 0 2 2 3 8 2 0 2 2 2 0 2 0 0 1 0 1 0 0 6 2 2 0 2 3 0 2 2 0 0 0 0 0 0 0 0 2 0 0
2 0 2 0 0 0 2 2 1 2 0 2 0 1 3 3 0 2 0 0 0 0 2 0 2 0 1 3 2 2 2 2 8 0 0 0 0 0 0 0 0 2 0 2 2 0 0 0 2 3 2 2 0 0 0 2 0 2 0 0 0 3 2 0 0 3 2 0 2 0
5 1 5 1 2 0 0 0 0 1 1 0 0 2 2 0 2 2 0 0 0 2 0 0 2 0 0 0 0 0 1 2 0 1 0 0 0 2 0 0 2 2 1 0 0 8 2 2 0 0 0 1 2 2 2 0 2 2 1 2 8 0 2 0 0 0 5 0 0 0
0 3 0 2 8 0 1 0 2 2 5 0 5 0 0 0 0 0 0 2 2 0 0 3 5 2 0 2 0 0 2 0 0 0 0 2 0 2 2 0 0 0 0 0 0 0 0 2 0 0 2 1 2 0 0 2 0 3 0 0 1 0 2 0 0 0 0 2 0 1
0 0 0 2 0 2 0 0 3 5 1 0 2 0 0 2 0 0 0 2 2 0 0 2 2 2 2 0 0 2 2 2 0 2 0 3 0 0 0 0 0 2 1 0 0 2 2 0 0 0 2 0 0 0 0 0 3 2 0 0 2 2 2 8 2 2 0 0 0 0
2 0 0 0 0 0 3 0 1 0 1 0 0 0 0 0 0 8 2 0 0 2 2 2 0 0 0 0 0 0 0 3 2 0 0 0 0 1 2 0 2 2 1 2 0 0 0 2 0 2 0 0 0 0 2 2 2 2 2 1 2 0 0 0 1 2 2 0 2 2
3 0 1 2 2 0 0 0 0 1 1 0 2 0 2 1 2 2 2 2 2 0 1 2 2 2 1 2 2 2 0 2 0 2 0 1 0 0 0 1 1 2 0 0 1 0 1 2 0 0 2 2 2 1 2 0 2 0 2 2 0 2 8 2 0 2 3 2 2 2
0 0 2 2 3 0 2 0 2 2 1 2 3 0 0 0 2 1 2 0 2 2 1 0 2 2 2 2 0 0 2 0 2 0 0 1 2 7 0 2 2 7 2 2 2 2 5 5 0 2 2 2 0 2 1 2 2 2 0 8 0 2 0 0 2 0 0 2 3 2
1 0 0 0 0 0 0 0 0 2 2 0 0 0 2 0 2 0 0 3 0 2 1 2 2 1 0 0 2 2 0 2 0 2 2 0 2 0 0 2 2 2 0 2 2 2 1 1 1 2 2 2 2 2 0 0 8 2 0 1 2 2 2 2 2 2 1 0 2 2
0 2 0 2 2 2 3 0 2 2 0 0 0 2 0 2 0 2 0 3 2 0 3 1 0 1 2 0 0 2 0 2 2 2 1 2 1 2 2 2 0 1 0 0 0 0 1 1 0 0 2 2 2 2 2 5 2 2 2 0 3 2 0 0 0 2 3 3 0 2
5 0 0 0 1 0 0 1 2 1 2 0 2 1 1 0 0 2 2 0 0 2 3 3 3 0 2 2 2 2 2 0 2 2 5 1 2 0 2 2 2 2 2 0 0 2 2 2 0 2 0 3 0 2 2 2 2 0 2 2 2 0 1 2 0 0 2 3 0 2
1 1 5 2 2 2 2 2 2 1 5 2 0 0 2 3 2 3 0 0 2 2 2 1 2 2 0 0 1 2 1 2 2 7 2 2 0 0 7 2 1 0 0 2 0 3 0 0 1 1 5 8 2 1 3 1 0 1 0 2 1 2 1 3 0 0 0 2 2 2
0 2 2 0 2 2 2 2 2 1 2 2 2 2 0 1 1 2 0 0 0 2 0 2 1 2 0 5 2 2 0 2 5 2 2 2 0 3 0 2 2 0 0 1 0 0 0 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 0 0
1 2 2 5 1 2 0 2 2 2 0 2 2 5 2 2 2 0 2 2 8 1 2 1 1 1 2 2 0 2 2 2 2 2 0 0 2 2 3 2 2 2 0 0 1 0 2 2 2 5 3 3 2 0 0 2 2 0 1 0 2 2 0 0 2 2 2 0 0 2
2 2 0 2 2 2 2 2 8 0 2 2 2 7 1 2 2 2 0 2 1 0 2 2 2 2 0 2 1 1 0 0 2 3 0 2 3 0 2 3 2 0 3 0 0 2 2 8 2 2 1 2 0 2 2 2 0 1 2 0 2 2 2 2 0 2 2 2 2 2
5 0 7 2 0 1 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 0 0 2 0 2 2 3 2 0 0 3 2 2 1 2 1 5 2 5 0 2 2 2 5 2 2 0 2 0 2 0 2 2 0 2 2 2 5 1 2 2 2 2 3 1 1
2 2 2 0 2 2 2 2 2 7 2 2 2 1 5 1 2 2 2 2 2 0 2 1 0 2 1 2 2 3 2 3 2 1 1 5 1 2 2 0 0 0 2 1 2 5 5 2 2 2 0 2 7 2 0 0 7 2 1 2 2 2 0 2 1 1 2 2 5 0
0 2 0 5 0 2 2 2 0 5 2 2 1 2 2 5 3 0 2 0 2 2 2 5 0 0 2 0 0 2 0 2 0 0 0 0 0 3 0 0 2 2 7 0 2 0 2 2 2 2 1 2 4 2 2 1 2 2 2 2 1 2 1 2 2 2 2 2 2 1
2 2 1 2 7 0 5 2 2 2 0 2 2 1 2 0 2 2 2 2 1 5 3 2 2 0 2 2 2 0 1 2 0 2 3 0 0 1 2 2 0 0 2 2 2 0 0 2 7 2 7 7 8 0 7 2 2 2 1 2 2 2 2 2 2 1 1 1 2 2
2 2 8 2 2 2 2 3 2 0 6 2 2 3 0 3 0 0 1 0 2 2 3 2 0 2 7 3 2 2 0 2 2 2 1 2 8 1 0 0 2 3 0 2 1 3 2 0 2 2 3 2 5 0 0 2 0 0 0 2 0 2 1 2 2 2 2 2 2 2
2 6 2 1 2 2 2 2 2 2 2 7 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 7 2 2 2 8 2 2 7 2 2 2
8 2 2 2 2 2 1 2 3 2 2 2 2 2 2 0 0 0 2 2 0 0 2 2 2 2 1 1 1 3 2 2 2 2 2 7 2 2 2 2 2 2 2 0 2 1 0 2 0 2 2 2 2 2 2 2 0 2 0 3 5 2 2 6 5 2 2 2 5 2
2 2 0 0 0 0 0 2 6 3 2 0 2 2 2 2 2 8 2 2 2 2 0 0 2 1 2 2 3 5 5 2 3 0 2 2 2 2 2 2 2 2 2 2 0 0 0 2 3 1 2 2 2 2 2 7 0 2 0 2 2 2 1 5 2 0 0 2 1 2
2 2 1 2 1 1 2 2 7 1 2 0 2 2 2 2 0 1 1 2 2 4 2 1 2 2 2 2 2 1 1 2 3 0 3 8 2 0 2 2 2 2 2 5 8 2 2 2 2 2 2 2 2 2 2 0 2 3 0 3 3 2 8 0 2 2 2 2 2 2
2 7 3 3 8 2 2 2 2 7 2 2 2 0 2 2 0 2 2 2 4 2 2 2 2 2 1 1 2 0 2 2 2 2 2 2 2 2 2 2 2 2 3 2 0 2 2 2 2 2 3 2 3 2 2 2 2 2 8 2 2 1 2 2 0 2 0 2 2 2
2 3 2 0 2 2 3 8 2 2 2 2 8 1 2 8 2 0 5 2 2 2 2 2 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 5 2 2 2 0 8 2 2 2 2 2 7 2 2 2 2 2 2 2 2 2 0 1 2
1 1 2 2 2 2 5 7 5 2 0 2 2 1 0 2 2 2 5 2 1 7 2 2 7 0 2 2 1 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 7 2 0 2 2 2 2 2 2 2 2 2 2 2 2 8 2 2 2 2 2 0 2 2 2 2
2 2 2 2 2 2 2 2 2 2 1 0 2 1 7 1 2 7 5 5 0 0 2 5 1 2 2 2 2 8 3 3 2 2 2 6 2 5 2 2 2 1 0 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 3 0 2 0 2 0 2 2 0 2 2 2
0 0 2 2 2 2 5 1 2 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 0 2 2 2 5 2 0 2 1 0 2 2 3 5 2 1 1 2 2 2 0 0 2 0 1 1 2 2 2 2 2 7 2 2 2 2 2 2 1 1 2 1 2 2
2 2 2 2 2 2 0 0 0 0 0 2 1 2 2 2 2 8 1 8 5 1 2 2 2 2 2 1 1 2 2 1 2 1 2 2 2 2 2 1 7 2 0 2 2 2 2 2 2 5 4 1 2 2 2 7 2 2 2 2 5 2 2 2 2 2 2 2 8 2
5 2 2 2 2 1 2 2 3 2 1 6 0 2 7 1 1 8 2 8 2 2 0 2 2 6 7 2 2 2 1 0 2 2 2 2 3 2 2 0 2 0 2 2 2 2 2 2 2 0 2 0 1 2 1 2 1 2 2 2 2 7 2 2 2 8 2 2 0 2
2 2 2 2 2 2 2 2 5 2 2 1 2 2 2 1 2 2 2 2 2 2 0 2 2 3 2 3 3 2 5 3 2 2 2 2 1 1 2 2 2 2 2 5 2 3 8 2 2 5 2 0 2 2 2 2 2 5 3 0 0 2 5 2 2 6 2 2 2 2
1 0 2 1 5 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 5 6 2 2 2 5 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 2 3 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 3 2 2 2 3
2 2 2 2 8 2 2 5 1 2 2 2 2 2 2 2 2 2 0 2 2 0 2 2 0 2 2 2 2 2 2 0 1 0 2 2 0 2 2 2 2 2 0 2 0 1 2 2 2 3 2 2 2 5 2 2 7 2 7 2 7 2 2 2 2 2 2 2 2 5
2 2 0 7 2 2 4 2 2 3 2 2 5 2 2 2 1 0 0 2 2 7 1 2 2 3 3 2 4 2 2 5 2 2 2 2 2 2 7 7 0 1 2 2 2 2 1 2 2 2 2 2 2 2 2 2 7 2 7 2 7 2 2 2 2 2 2 1 2 5
2 2 2 5 2 2 2 2 7 2 2 2 2 2 7 2 8 2 2 5 2 2 2 2 2 7 7 7 7 1 2 5 7 2 0 2 2 8 2 2 2 2 2 2 2 2 2 7 2 2 5 0 2 2 2 2 2 2 5 2 2 0 2 2 2 2 2 2 2 2
2 1 2 2 2 1 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 2 2 7 7 1 5 2 2 1 2 1 5 1 2 0 2 5 2 2 2 1 5 5 2 1 7 2 2 2 2 1 2 8 2 2 2 2 2 2 2 2 2 2 2 3 3 2 5
0 2 2 7 0 5 7 8 2 3 2 2 2 2 5 2 2 0 3 0 2 0 1 1 2 5 1 2 2 5 1 5 0 1 2 2 2 2 2 2 2 2 2 2 2 5 2 2 2 2 2 2 2 2 5 2 7 5 2 2 2 2 2 0 2 5 2 5 8 8
2 2 5 5 5 2 1 2 2 2 2 5 5 5 7 1 7 5 2 2 5 3 1 2 2 2 2 5 7 2 2 8 8 2 2 1 7 2 2 2 2 2 2 2 1 2 6 2 2 8 1 2 2 2 2 2 1 2 1 2 3 2 2 1 2 2 2 2 2 7
5 5 2 7 5 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 2 1 5 2 0 2 2 2 5 7 7 2 7 2 6 7 5 2 0 7 2 7 2 2 5 2 2 2 1 1 7 2 1 8 5 2 2 5 7 2 2 2 7 7 2 7
7 7 2 7 2 1 7 0 5 2 7 1 2 0 1 2 1 2 2 2 7 2 7 2 1 1 1 5 7 4 2 2 1 2 2 5 5 2 7 2 2 2 2 7 1 2 2 2 7 7 7 7 7 2 7 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7
5 2 5 2 7 5 7 7 2 8 2 2 2 2 2 2 2 8 2 5 2 7 2 1 2 1 2 5 2 7 8 2 8 2 2 7 7 1 5 7 2 2 2 2 7 1 8 2 3 2 7 7 7 5 5 2 1 2 2 3 2 1 2 2 2 2 7 2 2 2
2 2 1 1 2 2 5 2 2 2 8 2 2 2 2 7 1 1 2 2 1 2 2 0 8 2 8 4 8 7 8 2 7 2 7 0 2 5 2 5 7 2 7 7 7 2 4 2 5 4 5 1 5 7 7 4 4 5 4 7 5 2 5 5 7 5 7 5 5 5
2 4 7 7 5 7 7 7 5 5 7 7 5 7 2 7 2 7 7 7 7 7 7 5 7 7 7 7 5 5 2 5 5 2 4 7 2 2 2 7 7 7 5 5 5 1 5 7 5 7 7 7 7 7 7 7 7 7 8 7 7 8 5 8 7 7 2 7 7 7
7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 5 5 7 2 0 2 2 5 5 1 1 0 7 7 7 7 2 7 5 2 2 7 5 7 7 5 4 7 7 7 5 5 7 2 7 7 7 7 7 2 2 5 7 2 7 7 2 2 7 7 7 2 7 2
5 7 5 2 2 7 8 1 7 7 7 2 2 7 7 7 7 7 7 2 2 2 7 2 7 1 2 7 2 7 7 2 2 2 4 7 7 7 7 5 5 7 5 2 0 5 7 2 7 5 5 5 7 7 7 7 2 5 7 7 2 7 2 6 7 7 7 7 1 7
7 5 5 7 7 5 3 2 2 7 7 7 7 7 2 5 2 2 2 5 2 2 7 7 7 5 7 2 7 1 2 2 7 7 7 7 7 7 5 5 5 7 5 7 5 5 2 7 7 7 7 5 5 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7
7 7 7 7 5 5 8 4 4 5 7 7 2 5 7 7 2 5 2 0 5 2 2 5 5 0 7 7 2 2 7 7 2 7 7 2 2 2 2 2 7 7 7 7 5 2 7 7 7 5 4 5 2 7 7 5 5 7 5 2 7 6 5 4 5 2 2 7 7 2
7 5 2 7 7 0 7 5 1 7 2 5 5 7 5 7 7 7 7 7 7 7 2 7 7 7 2 5 7 7 7 7 7 5 7 7 2 5 2 2 7 8 7 2 7 7 7 5 7 7 2 4 5 7 2 7 5 7 7 5 7 5 4 7 6 7 5 7 7 7
5 7 7 5 5 7 7 2 4 2 5 7 7 7 5 7 7 7 2 2 5 7 2 5 7 7 5 5 2 7 7 5 2 5 2 8 7 7 7 5 5 5 5 7 2 7 5 2 5 5 5 2 7 7 2 7 7 5 7 7 2 7 3 2 7 4 5 5 2 5
7 7 2 7 7 2 8 7 2 5 5 5 2 2 5 2 2 2 7 7 2 7 7 2 0 0 7 7 2 2 7 7 7 2 2 7 7 8 8 2 7 7 7 7 7 7 2 5 7 2 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 5 2 7 5 5
7 5 7 7 2 7 7 7 5 5 5 1 7 7 5 7 7 5 7 7 8 7 8 7 7 6 2 7 5 4 7 7 7 2 8 7 7 8 7 7 7 7 7 7 7 7 2 0 2 5 8 8 7 7 7 7 5 7 2 8 7 7 7 7 2 3 2 7 2 7
7 2 2 7 2 3 2 7 5 7 2 7 7 7 5 5 2 7 2 2 9 7 7 7 7 7 7 2 7 7 7 2 7 5 7 9 5 7 7 5 7 5 8 7 8 7 2 7 5 7 7 5 8 7 7 2 5 4 7 5 5 2 7 5 2 8 3 7 5 5
7 7 7 2 2 7 2 7 7 7 7 5 7 7 7 1 7 7 7 7 5 2 2 4 5 7 5 5 5 5 7 7 7 7 7 5 7 8 7 7 7 7 5 5 5 7 7 5 7 7 7 7 4 5 5 7 7 5 5 7 5 5 5 7 7 5 5 7 7 5
7 7 7 7 5 5 2 5 7 7 5 7 7 7 7 4 5 7 5 5 5 7 7 8 5 7 7 7 7 7 7 7 7 7 7 5 7 5 7 8 7 7 7 7 6 7 7 7 5 7 7 7 7 7 2 7 5 7 7 7 7 4 5 5 7 7 7 7 7 8
7 5 5 7 7 7 7 7 4 5 5 7 7 7 2 7 7 7 7 2 7 5 5 6 5 7 7 7 7 7 7 7 5 7 7 4 7 7 7 5 7 5 7 7 7 7 7 7 1 1 2 7 5 2 5 5 2 7 7 7 7 7 7 5 2 7 7 7 7 7
7 5 7 2 7 5 5 7 7 7 7 7 7 7 7 5 7 8 7 7 7 7 7 5 2 5 7 5 7 5 7 5 7 5 7 7 7 7 7 7 2 7 2 5 2 8 8 7 7 5 8 8 4 1 7 2 8 7 7 7 7 7 5 2 6 7 7 2 2 5
7 1 7 5 7 7 7 7 2 5 5 5 2 2 7 7 7 1 7 0 1 2 2 8 5 2 2 2 1 5 5 7 7 4 2 4 7 2 5 5 5 5 5 5 7 7 7 2 2 5 5 7 4 2 4 7 7 2 5 5 5 7 7 7 7 1 7 7 5 5
5 7 5 8 7 7 5 7 5 7 5 7 5 5 2 5 5 5 5 5 5 2 1 7 2 2 7 2 5 2 7 7 5 1 5 5 7 7 7 5 7 5 5 5 5 5 5 5 5 7 7 7 7 7 4 5 5 7 7 7 7 2 7 5 5 7 7 2 5 7
8 7 7 7 1 5 5 4 5 5 5 4 7 7 4 5 5 7 7 7 7 5 7 7 5 7 2 5 7 5 5 7 5 7 7 7 7 2 7 7 7 7 7 7 7 5 7 7 5 5 5 5 5 5 7 5 7 5 5 5 5 7 5 5 5 4 5 5 4 5
7 4 5 5 7 7 5 4 5 5 5 7 5 6 7 7 7 7 7 2 4 7 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 2 7 7 7 5 7 7 7 7 5 7 7 7 5 7 7 7 2 7 7 7 7 7 7 7 7 7 7 7 7 7 7
7 5 5 5 7 7 7 5 7 7 7 7 7 7 8 7 7 7 7 7 7 7 7 7 7 7 5 7 7 7 7 7 7 7 7 5 7 7 7 5 5 7 7 7 7 2 5 5 2 7 7 1 5 2 7 7 7 7 2 7 5 7 8 7 7 7 7 7 5 5
5 7 7 7 7 7 7 5 1 7 7 7 5 1 7 7 8 7 7 2 7 5 7 5 7 5 7 3 5 7 7 5 1 7 5 5 5 4 4 5 2 7 7 8 8 2 2 5 4 2 2 2 2 4 5 5 5 0 2 1 5 7 7 7 5 5 5 2 3 2
5 7 7 5 5 6 2 2 8 5 2 2 1 3 5 7 7 6 6 7 5 5 7 5 7 2 7 8 2 7 7 5 7 7 7 2 7 2 2 7 5 7 7 8 7 8 8 3 2 5 5 7 4 1 7 5 1 5 6 6 5 1 5 7 2 2 7 2 7 5
2 5 5 2 7 7 2 7 7 2 7 7 7 7 5 7 7 7 7 7 7 5 5 7 7 7 7 7 7 7 7 2 2 7 7 7 5 5 7 7 7 7 2 7 7 7 7 7 7 7 7 7 7 7 7 5 7 8 5 7 7 8 7 7 5 7 7 5 7 7
7 7 7 7 5 2 5 5 7 7 7 5 4 7 7 8 7 5 5 1 7 8 8 2 2 5 5 5 7 7 7 2 2 5 5 7 7 5 7 7 7 7 7 2 2 7 7 7 7 7 8 8 7 7 7 7 7 7 7 7 7 3 7 5 8 7 5 7 2 7
7 2 7 7 7 7 5 7 7 5 7 7 7 7 8 7 7 7 8 6 5 7 7 7 8 7 7 7 8 7 7 8 7 7 7 4 8 2 7 7 5 2 7 2 5 7 5 7 7 7 7 5 7 7 5 1 7 1 7 4 2 5 2 2 7 7 7 7 7 8
7 7 7 7 2 7 7 5 7 2 7 7 7 2 5 7 7 7 7 7 2 2 7 2 7 7 7 7 7 2 2 2 2 7 7 2 2 7 7 7 7 2 5 5 7 2 5 7 7 7 7 5 5 7 5 7 7 7 5 7 5 5 5 7 7 5 8 8 7 7
5 7 7 7 7 7 5 7 5 8 8 7 7 5 7 5 7 7 7 7 7 5 7 8 7 8 5 7 5 4 5 5 7 8 7 7 5 7 7 7 5 7 5 7 5 8 8 7 6 7 7 7 7 7 7 8 7 7 7 7 7 7 8 7 7 5 7 5 1 7
7 5 5 6 7 7 7 7 2 7 5 7 2 5 8 5 8 7 8 5 7 7 6 7 7 7 7 8 7 8 7 7 7 8 2 7 8 7 7 7 7 7 7 5 2 7 5 2 2 5 7 7 2 7 7 7 6 7 5 7 8 6 2 7 7 5 2 7 2 7
7 8 5 5 7 2 5 7 5 5 7 7 5 7 7 7 5 8 2 5 7 5 7 7 5 5 2 7 5 2 7 7 7 7 7 5 5 4 8 7 7 7 7 5 7 7 7 2 7 6 7 7 7 5 8 7 7 7 7 4 7 5 5 5 7 7 5 8 8 7
7 7 7 7 7 8 8 5 8 8 8 5 8 8 8 7 7 7 7 5 5 7 5 7 8 7 7 8 7 7 7 7 7 7 1 5 7 5 2 2 7 4 7 7 7 7 7 5 7 7 7 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 7
7 7 7 7 7 7 7 7 7 7 5 7 7 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 7 7 7 7 7 5 5 5 5 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 7 5 7 7 2 7 5 7
7 5 5 7 7 7 5 5 5 7 7 7 5 5 7 5 7 7 4 5 4 7 5 7 7 8 7 7 7 7 7 7 7 7 7 7 7 7 7 7 8 7 7 7 7 7 7 7 5 7 7 8 7 8 8 7 7 2 5 7 7 7 7 7 5 2 2 7 5 5
7 7 7 7 7 7 5 5 7 5 7 7 7 2 7 7 7 5 7 7 7 7 7 7 7 8 7 7 2 7 -1