/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 13315 4 1 6661 6660 5 1 0 1 0 0 1 6661 1 3 1 0 1 0 1 1 1 29760 2 1 13315 0 4 1 13315 0 0 1 0 1 0 0 1 13318 6657 3 1 13315 0 5 1 13315 0 2 1 6658 6660 1 1 13315 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 1 0 0 1 0 93 4 1 0 93 5 1 1 1 0 0 1 0 181 3 1 1 0 0 0 1 91 8 2 1 1 1 0 0 1 13316 95 4 1 1 1 0 0 1 13223 0 0 1 0 1 1 1 1 0 95 3 1 1 1 0 0 1 13314 5 5 1 1 1 0 0 1 13317 95 2 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 13315 91 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