# HG changeset patch
# User blanchet
# Date 1327336832 -3600
# Node ID 34f982ccec891eecc67e5f85f1cab3eb0f05b529
# Parent  484dc68c8c8925d481de29ffcd48e3be9fa77ece
imported patch atp_problem_import.ML