History isl-0.14/test_inputs/philippe3vars.pwqp