History isl-0.16.1/test_inputs/philippe3vars3pars.pwqp