/export/starexec/sandbox2/solver/bin/starexec_run_Certifiable /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES 0 4 x1 0 1 4 2 3 3 x1 0 4 x1 0 2 1 4 3 4 x1 0 0 4 x1 1 1 5 2 3 4 x1 0 1 1 x1 0 2 2 1 1 1 x1 0 1 3 x1 0 2 4 3 4 4 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 0 x1 0 1 2 1 0 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 3 3 x1 0 2 1 1 0 5 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 5 x1 1 1 4 3 3 2 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 2 4 1 4 3 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 4 2 1 4 3 5 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 2.2 0 4 x1 2 1 4 3 4 x1 4 0 0 x1 1 x1 2 0 1 x1 2 4 3 5 2 3 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 2 4 4 x1 4 0 0 x1 2 1 1 1 x1 0 1 3 x1 0 2 4 3 4 4 x1 2 0 1 x1 5 2 3 x1 2 0 0 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 4 3 1 x1 2 0 0 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 1 2 3 x1 4 x1 0 0 4 x1 1 5 2 3 4 x1 2 0 4 x1 1 x1 4 0 5 x1 3 5 x1 5 0 2 x1 5 2 1 0 2 x1 2 0 1 x1 2 3 x1 4 0 5 x1 1 4 x1 0 1 3 x1 4 x1 2 0 1 x1 3 x1 0 1 1 x1 2 1 1 1 x1 5 0 2 x1 1 0 2 x1 1 2 3 x1 1 4 4 x1 5 0 2 x1 2 1 0 2 x1 0 4 0 x1 1 0 3 x1 1 2 3 x1 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 4 x1 0 2 1 4 3 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 0 x1 0 3 x1 1 2 3 x1 1 4 1 4 4 x1 0 4 0 x1 0 1 2 1 0 3 x1 0 1 3 x1 2 4 3 4 4 x1 2 0 0 x1 4 4 4 x1 4 0 5 x1 4 3 5 x1 0 4 x1 3 3 x1 4 0 5 x1 4 5 1 4 x1 2 0 1 x1 5 1 0 1 x1 0 2 4 x1 3 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 0 4 x1 1 1 5 2 3 4 x1 0 4 0 x1 2 1 0 3 x1 3 0 1 x1 3 1 4 3 4 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 4 3 1 x1 1 3 5 x1 3 3 2 x1 0 1 3 x1 4 4 x1 1 3 5 x1 4 3 3 2 x1 3 0 5 x1 2 3 2 x1 4 0 0 x1 2 5 2 1 1 1 x1 2 0 4 x1 1 4 3 x1 3 0 1 x1 4 3 4 1 x1 2 0 1 x1 3 5 2 3 x1 2 0 4 x1 3 1 x1 0 1 3 x1 3 4 4 x1 0 0 4 x1 2 3 4 x1 2 0 1 x1 1 5 1 0 1 x1 5 0 4 x1 3 4 x1 3 0 1 x1 3 4 1 x1 0 4 0 x1 1 2 1 0 3 x1 4 0 5 x1 1 4 3 5 x1 4 0 0 x1 5 2 1 1 1 x1 1 2 3 x1 4 1 4 4 x1 2 0 1 x1 1 0 1 x1 0 4 x1 2 3 3 x1 1 3 3 x1 4 0 3 2 3 x1 5 0 4 x1 0 3 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 1 3 5 x1 3 2 x1 3 0 5 x1 2 x1 0 4 x1 3 x1 3 0 5 x1 3 2 x1 1 3 3 x1 5 x1 3 0 5 x1 1 0 2 3 2 x1 4 0 5 x1 2 1 4 3 5 x1 0 2 4 x1 5 4 3 4 4 x1 2 0 0 x1 3 4 4 4 x1 0 2 4 x1 4 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 3 x1 2 0 4 x1 4 1 4 3 1 x1 1 3 3 x1 3 2 3 x1 5 0 4 x1 0 3 2 4 4 x1 5 0 2 x1 1 5 2 1 0 2 x1 2 0 4 x1 3 x1 0 4 x1 3 4 x1 2 0 1 x1 4 3 5 2 3 x1 1 3 3 x1 2 3 x1 5 0 4 x1 5 1 0 3 4 x1 1 3 5 x1 1 4 3 3 2 x1 3 0 5 x1 0 2 3 2 x1 5 0 4 x1 3 2 4 4 x1 4 0 0 x1 1 1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 5 0 4 x1 1 5 1 0 3 4 x1 0 4 0 x1 3 x1 2 0 4 x1 2 1 4 3 x1 1 3 3 x1 1 1 0 5 x1 5 0 4 x1 1 0 3 2 4 4 x1 1 3 3 x1 0 5 x1 3 0 5 x1 3 1 0 2 3 2 x1 1 3 3 x1 0 3 2 3 x1 0 4 x1 4 2 3 3 x1 1 3 5 x1 2 x1 0 0 4 x1 5 2 3 4 x1 4 0 0 x1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 3 x1 4 3 4 4 x1 5 0 4 x1 4 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 2 1 1 0 5 x1 0 4 x1 1 4 3 4 x1 3 0 1 x1 1 4 3 4 1 x1 0 4 x1 0 2 1 4 3 4 x1 0 1 1 x1 1 1 1 x1 4 0 5 x1 4 x1 0 2 4 x1 4 3 4 4 x1 0 1 1 x1 0 2 2 1 1 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 0 0 4 x1 3 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 4 x1 4 3 4 x1 0 4 x1 1 4 2 3 3 x1 3 0 1 x1 4 1 x1 4 0 5 x1 1 4 5 1 4 x1 1 3 3 x1 1 0 5 x1 true 3 0 5 x1 3 2 x1 1 3 3 x1 1 0 5 x1 0 4 x1 3 x1 3 0 1 x1 4 1 x1 4 0 5 x1 1 4 5 1 4 x1 3 0 5 x1 2 x1 0 4 x1 1 4 2 3 3 x1 1 3 5 x1 3 2 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 0 4 x1 4 3 4 x1 1 3 3 x1 4 0 3 2 3 x1 5 0 4 x1 0 3 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 4 x1 2 3 3 x1 0 0 4 x1 3 4 x1 1 2 3 x1 4 1 4 4 x1 2 0 1 x1 1 0 1 x1 4 0 0 x1 5 2 1 1 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 4 0 5 x1 1 4 3 5 x1 3 0 1 x1 3 4 1 x1 0 4 0 x1 1 2 1 0 3 x1 5 0 4 x1 3 4 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 1 x1 1 5 1 0 1 x1 0 0 4 x1 2 3 4 x1 0 1 3 x1 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 2 0 4 x1 3 1 x1 2 0 1 x1 3 5 2 3 x1 4 0 5 x1 4 x1 3 0 1 x1 4 3 4 1 x1 0 1 1 x1 1 1 1 x1 2 0 4 x1 1 4 3 x1 3 0 5 x1 2 3 2 x1 4 0 0 x1 2 5 2 1 1 1 x1 0 4 x1 0 2 1 4 3 4 x1 1 3 5 x1 4 3 3 2 x1 3 0 1 x1 1 4 3 4 1 x1 0 1 3 x1 4 4 x1 0 4 x1 1 4 3 4 x1 1 3 5 x1 3 3 2 x1 1 3 3 x1 2 1 1 0 5 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 4 3 1 x1 1 3 5 x1 1 1 4 3 3 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 4 x1 4 4 x1 0 4 0 x1 2 1 0 3 x1 0 1 3 x1 4 3 4 4 x1 0 1 1 x1 2 2 1 1 1 x1 4 0 0 x1 1 1 x1 0 0 4 x1 5 2 3 4 x1 0 0 4 x1 1 1 5 2 3 4 x1 0 4 x1 4 2 3 3 x1 1 3 5 x1 2 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 3 4 4 x1 2 0 1 x1 5 1 0 1 x1 1 3 3 x1 0 3 2 3 x1 0 4 x1 3 3 x1 4 0 5 x1 4 5 1 4 x1 3 0 5 x1 3 1 0 2 3 2 x1 5 0 4 x1 1 0 3 2 4 4 x1 1 3 3 x1 0 5 x1 4 0 5 x1 4 3 5 x1 1 3 3 x1 1 1 0 5 x1 2 0 0 x1 4 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 4 0 x1 0 1 2 1 0 3 x1 2 0 4 x1 2 1 4 3 x1 1 2 3 x1 1 4 1 4 4 x1 0 4 0 x1 3 x1 0 4 0 x1 0 3 x1 0 2 4 x1 1 5 4 3 4 4 x1 2 0 4 x1 0 2 1 4 3 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 2 0 0 x1 4 3 4 4 4 x1 4 0 5 x1 4 2 1 4 3 5 x1 1 2 3 x1 4 4 x1 0 4 0 x1 1 0 3 x1 4 0 0 x1 1 1 1 x1 1 2 3 x1 1 4 4 x1 5 0 2 x1 2 1 0 2 x1 5 0 4 x1 3 2 4 4 x1 0 1 1 x1 2 1 1 1 x1 5 0 2 x1 1 0 2 x1 2 0 1 x1 3 x1 3 0 5 x1 0 2 3 2 x1 0 1 3 x1 4 x1 1 3 5 x1 1 4 3 3 2 x1 4 0 5 x1 1 4 x1 5 0 4 x1 5 1 0 3 4 x1 1 3 3 x1 2 3 x1 5 0 2 x1 5 2 1 0 2 x1 2 0 1 x1 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 4 0 5 x1 3 5 x1 2 0 4 x1 3 x1 0 4 x1 3 4 x1 2 0 4 x1 1 x1 1 2 3 x1 4 x1 0 0 4 x1 1 5 2 3 4 x1 5 0 2 x1 1 5 2 1 0 2 x1 2 0 0 x1 2 4 3 4 4 4 x1 1 3 3 x1 3 2 3 x1 5 0 4 x1 0 3 2 4 4 x1 2 0 4 x1 4 3 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 0 x1 4 4 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 0 x1 4 x1 0 2 4 x1 4 4 x1 2 0 1 x1 5 2 3 x1 4 0 0 x1 2 1 1 1 x1 0 1 3 x1 0 2 4 3 4 4 x1 2 0 0 x1 3 4 4 4 x1 4 0 5 x1 2 1 4 3 5 x1 0 2 4 x1 5 4 3 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 1 0 3 4 x1 3 0 5 x1 1 0 2 3 2 x1 4 0 0 x1 1 x1 2 0 1 x1 2 4 3 5 2 3 x1 0 4 x1 2 1 4 3 4 x1 1 3 3 x1 5 x1 true 0 1 1 0 1 1 842 4 1 843 5 1 842 3 1 1 2 1 842 4 1 842 0 1 842 3 1 842 5 1 842 2 1 842 1 1 842 1 3 3 x1 5 x1 2 0 1 x1 2 4 3 5 2 3 x1 4 0 0 x1 1 x1 3 0 5 x1 1 0 2 3 2 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 2 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 4 0 5 x1 2 1 4 3 5 x1 2 0 0 x1 3 4 4 4 x1 0 1 3 x1 0 2 4 3 4 4 x1 4 0 0 x1 2 1 1 1 x1 2 0 1 x1 5 2 3 x1 0 2 4 x1 4 4 x1 2 0 0 x1 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 4 3 1 x1 2 0 0 x1 4 4 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 4 3 x1 1 3 3 x1 3 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 0 4 x1 1 5 2 3 4 x1 1 2 3 x1 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 x1 4 0 5 x1 3 5 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 3 x1 5 0 2 x1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 5 0 4 x1 5 1 0 3 4 x1 4 0 5 x1 1 4 x1 1 3 5 x1 1 4 3 3 2 x1 0 1 3 x1 4 x1 3 0 5 x1 0 2 3 2 x1 2 0 1 x1 3 x1 5 0 2 x1 1 0 2 x1 0 1 1 x1 2 1 1 1 x1 5 0 4 x1 3 2 4 4 x1 5 0 2 x1 2 1 0 2 x1 1 2 3 x1 1 4 4 x1 4 0 0 x1 1 1 1 x1 1 2 3 x1 4 4 x1 4 0 5 x1 4 2 1 4 3 5 x1 2 0 0 x1 4 3 4 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 5 0 4 x1 1 5 1 0 3 4 x1 2 0 4 x1 0 2 1 4 3 x1 0 2 4 x1 1 5 4 3 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 2 0 4 x1 2 1 4 3 x1 0 1 3 x1 2 4 3 4 4 x1 2 0 0 x1 4 4 4 x1 1 3 3 x1 1 1 0 5 x1 4 0 5 x1 4 3 5 x1 1 3 3 x1 0 5 x1 5 0 4 x1 1 0 3 2 4 4 x1 3 0 5 x1 3 1 0 2 3 2 x1 4 0 5 x1 4 5 1 4 x1 2 0 1 x1 5 1 0 1 x1 0 2 4 x1 3 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 1 3 5 x1 2 x1 0 0 4 x1 1 1 5 2 3 4 x1 0 0 4 x1 5 2 3 4 x1 4 0 0 x1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 3 x1 4 3 4 4 x1 5 0 4 x1 4 4 x1 3 0 1 x1 3 1 4 3 4 1 x1 1 3 5 x1 1 1 4 3 3 2 x1 2 0 4 x1 1 4 3 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 5 x1 3 3 2 x1 0 1 3 x1 4 4 x1 3 0 1 x1 1 4 3 4 1 x1 1 3 5 x1 4 3 3 2 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 5 x1 2 3 2 x1 2 0 4 x1 1 4 3 x1 0 1 1 x1 1 1 1 x1 3 0 1 x1 4 3 4 1 x1 4 0 5 x1 4 x1 2 0 1 x1 3 5 2 3 x1 2 0 4 x1 3 1 x1 0 2 4 x1 4 3 4 4 x1 0 1 3 x1 3 4 4 x1 0 0 4 x1 2 3 4 x1 2 0 1 x1 1 5 1 0 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 5 0 4 x1 3 4 x1 3 0 1 x1 3 4 1 x1 4 0 5 x1 1 4 3 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 4 0 0 x1 5 2 1 1 1 x1 2 0 1 x1 1 0 1 x1 1 2 3 x1 4 1 4 4 x1 0 0 4 x1 3 4 x1 1 3 3 x1 4 0 3 2 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 1 3 5 x1 3 2 x1 3 0 5 x1 2 x1 4 0 5 x1 1 4 5 1 4 x1 3 0 1 x1 4 1 x1 1 3 3 x1 1 0 5 x1 3 0 5 x1 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 0 4 x1 3 4 x1 0 0 4 x1 2 3 4 x1 0 0 4 x1 5 2 3 4 x1 0 0 4 x1 1 5 2 3 4 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 4 x1 0 1 3 x1 4 4 x1 0 1 3 x1 3 4 4 x1 0 1 3 x1 4 3 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 1 5 4 3 4 4 x1 true 0 1 1 628 1 1 214 4 1 214 5 1 214 3 1 213 2 1 842 4 1 842 0 1 214 3 1 842 5 1 842 2 1 1 0 1 1 842 0 2 4 x1 1 5 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 5 0 4 x1 1 5 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 0 1 3 x1 0 2 4 3 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 1 3 x1 4 3 4 4 x1 0 1 3 x1 3 4 4 x1 0 1 3 x1 4 4 x1 0 1 3 x1 4 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 1 x1 0 0 4 x1 1 1 5 2 3 4 x1 0 0 4 x1 1 5 2 3 4 x1 0 0 4 x1 5 2 3 4 x1 0 0 4 x1 2 3 4 x1 0 0 4 x1 3 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 3 x1 0 1 1 x1 0 2 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 0 4 x1 3 4 x1 0 0 4 x1 2 3 4 x1 0 0 4 x1 5 2 3 4 x1 0 0 4 x1 1 5 2 3 4 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 4 x1 0 1 3 x1 4 4 x1 0 1 3 x1 3 4 4 x1 0 1 3 x1 4 3 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 1 5 4 3 4 4 x1 true 0 1 1 841 1 1 1 4 1 2 5 1 1 3 1 1 2 1 842 4 1 842 0 1 1 0 3 1 842 5 1 842 2 1 1 1 1 842 0 2 4 x1 1 5 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 5 0 4 x1 1 5 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 0 1 3 x1 0 2 4 3 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 1 3 x1 4 3 4 4 x1 0 1 3 x1 3 4 4 x1 0 1 3 x1 4 4 x1 0 1 3 x1 4 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 3 x1 0 1 1 x1 0 2 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 4 x1 0 1 3 x1 4 4 x1 0 1 3 x1 3 4 4 x1 0 1 3 x1 4 3 4 4 x1 0 1 3 x1 2 4 3 4 4 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 1 5 4 3 4 4 x1 true 0 1 1 842 1 1 1 0 4 1 1066 5 1 0 3 1 12063 2 1 842 4 1 842 0 1 0 3 1 842 5 1 842 2 1 0 1 1 842 0 2 4 x1 1 5 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 4 x1 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 5 0 4 x1 1 5 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 3 x1 0 1 1 x1 0 2 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 4 4 x1 0 2 4 x1 3 4 4 x1 0 2 4 x1 4 3 4 4 x1 0 2 4 x1 5 4 3 4 4 x1 0 2 4 x1 1 5 4 3 4 4 x1 true 0 1 1 2 1 1 1 1 1 4 1 3 5 1 1 3 1 1 2 1 1 4 1 1 0 1 3 3 1 1 5 1 1 1 1 1 1 1 1 0 4 1 0 5 1 0 3 1 19912 2 1 0 4 1 0 0 1 0 3 1 0 5 1 0 1 1 0 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 0 2 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 5 0 4 x1 1 5 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 3 x1 0 1 1 x1 0 2 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 0 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 true 0 1 1 0 1 1 34923 4 1 1 5 1 34923 3 1 1 2 1 34923 4 1 34923 0 1 34923 3 1 34923 5 1 34923 2 1 5745 1 1 34923 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 5 0 4 x1 1 5 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 2 0 4 x1 2 4 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 1 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 2 0 4 x1 2 0 2 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 3 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 2 0 4 x1 3 x1 2 0 4 x1 4 3 x1 2 0 4 x1 1 4 3 x1 2 0 4 x1 2 1 4 3 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 2 0 4 x1 1 x1 2 0 4 x1 3 1 x1 2 0 4 x1 4 3 1 x1 2 0 4 x1 1 4 3 1 x1 2 0 4 x1 4 1 4 3 1 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 4 4 x1 5 0 4 x1 2 4 4 x1 5 0 4 x1 3 2 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 3 4 x1 5 0 4 x1 1 0 3 4 x1 5 0 4 x1 5 1 0 3 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 true 2 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 4 1 1 1 0 0 1 0 9560 5 1 1 0 0 0 1 0 0 3 1 1 0 0 0 1 0 0 2 1 1 0 0 0 1 0 0 4 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 3 1 1 0 0 0 1 0 0 5 1 1 0 0 0 1 0 0 2 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 0 1 1 x1 2 2 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 1 1 1 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 1 1 1 x1 0 1 1 x1 2 1 1 1 x1 0 1 1 x1 2 2 1 1 1 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 true 2 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 10620 4 1 5313 5312 5 1 0 1 0 0 1 5313 1 3 1 0 1 0 1 1 1 8848 2 1 5314 0 4 1 5314 0 0 1 0 1 0 0 1 10623 5309 3 1 5314 0 5 1 5314 0 2 1 5311 5312 1 1 5314 0 2 0 1 x1 2 1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 0 1 x1 1 3 3 x1 2 1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 5 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 2 x1 2 0 0 x1 2 4 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 2 3 x1 5 0 2 x1 1 5 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 1 0 2 x1 3 0 1 x1 3 1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 3 5 x1 1 2 3 x1 5 1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 4 x1 3 0 5 x1 3 1 0 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 3 0 5 x1 2 x1 3 0 5 x1 3 2 x1 3 0 5 x1 2 3 2 x1 3 0 5 x1 1 0 2 3 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 1 2 3 x1 4 x1 1 2 3 x1 4 4 x1 1 2 3 x1 1 4 4 x1 1 2 3 x1 4 1 4 4 x1 1 2 3 x1 1 4 1 4 4 x1 1 2 3 x1 5 1 4 1 4 4 x1 4 0 5 x1 3 5 x1 4 0 5 x1 4 3 5 x1 4 0 5 x1 1 4 3 5 x1 4 0 5 x1 2 1 4 3 5 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 1 x1 4 0 0 x1 1 1 x1 4 0 0 x1 1 1 1 x1 4 0 0 x1 2 1 1 1 x1 4 0 0 x1 5 2 1 1 1 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 4 1 x1 3 0 1 x1 3 4 1 x1 3 0 1 x1 4 3 4 1 x1 3 0 1 x1 1 4 3 4 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 0 2 x1 5 0 2 x1 2 1 0 2 x1 5 0 2 x1 5 2 1 0 2 x1 5 0 2 x1 1 5 2 1 0 2 x1 1 3 3 x1 2 3 x1 1 3 3 x1 3 2 3 x1 1 3 3 x1 4 0 3 2 3 x1 1 3 3 x1 5 4 0 3 2 3 x1 4 0 5 x1 4 x1 4 0 5 x1 1 4 x1 4 0 5 x1 5 1 4 x1 4 0 5 x1 4 5 1 4 x1 4 0 5 x1 1 4 5 1 4 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 3 x1 2 0 1 x1 2 3 x1 2 0 1 x1 5 2 3 x1 2 0 1 x1 3 5 2 3 x1 2 0 1 x1 4 3 5 2 3 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 4 x1 2 0 0 x1 4 4 x1 2 0 0 x1 4 4 4 x1 2 0 0 x1 3 4 4 4 x1 2 0 0 x1 4 3 4 4 4 x1 2 0 0 x1 2 4 3 4 4 4 x1 1 3 5 x1 2 x1 1 3 5 x1 3 2 x1 1 3 5 x1 3 3 2 x1 1 3 5 x1 4 3 3 2 x1 1 3 5 x1 1 4 3 3 2 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 5 x1 1 3 3 x1 1 0 5 x1 1 3 3 x1 1 1 0 5 x1 1 3 3 x1 2 1 1 0 5 x1 2 0 1 x1 1 0 1 x1 2 0 1 x1 5 1 0 1 x1 2 0 1 x1 1 5 1 0 1 x1 2 0 1 x1 2 1 5 1 0 1 x1 true 2 1 0 1 0 0 1 1 0 0 1 0 1 7940 0 4 1 7947 0 5 1 0 0 1 1 1 15874 0 3 1 1 0 1 1 1 7943 7938 2 1 0 0 1 0 1 21184 0 4 1 0 0 1 0 1 5314 0 0 1 0 1 0 1 1 15872 0 3 1 0 0 1 0 1 21185 0 5 1 0 0 1 0 1 21185 0 2 1 0 0 1 1 1 0 0 1 1 1 0 1 0 1 5310 0 5 0 2 x1 5 2 1 0 2 x1 3 0 5 x1 3 1 0 2 3 2 x1 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 3 0 1 x1 3 1 4 3 4 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 5 0 2 x1 5 2 1 0 2 x1 true 0 1 34923 1 1 58290 4 1 53208 5 1 1 0 3 1 1 2 1 34923 4 1 34923 0 1 58290 3 1 34923 5 1 1 34923 2 1 53208 1 1 34923 0 1 1 x1 0 2 2 1 1 1 x1 2 0 4 x1 2 0 2 1 4 3 x1 1 2 3 x1 5 1 4 1 4 4 x1 0 4 x1 0 1 4 2 3 3 x1 0 0 4 x1 1 1 5 2 3 4 x1 2 0 4 x1 2 4 1 4 3 1 x1 4 0 5 x1 4 2 1 4 3 5 x1 4 0 0 x1 2 5 2 1 1 1 x1 5 0 2 x1 1 5 2 1 0 2 x1 0 1 3 x1 0 2 4 3 4 4 x1 1 3 3 x1 5 4 0 3 2 3 x1 0 4 0 x1 0 1 2 1 0 3 x1 4 0 5 x1 4 1 4 5 1 4 x1 2 0 1 x1 2 4 3 5 2 3 x1 2 0 0 x1 2 4 3 4 4 4 x1 5 0 4 x1 1 0 3 2 4 4 x1 5 0 4 x1 1 5 1 0 3 4 x1 1 3 5 x1 1 1 4 3 3 2 x1 1 3 3 x1 0 2 1 1 0 5 x1 2 0 1 x1 2 1 5 1 0 1 x1 0 2 4 x1 1 5 4 3 4 4 x1 0 4 x1 0 2 1 4 3 4 x1 NaTT certifiable-1.6