let
tioi =
"lecture_et_resolution \"test_resolution_4.instance\";;"