ftruexyfgtxydoublexsygtsx0truegt0yfalsegtsxsygtxydoublexdoubleAkkx0doubleAkk0yydoubleAkksxydoubleAkkxssyf3true0gt2double1s100false0doubleAkk2FULLemmes-nonloop-ex2_1.trs