ftruexfgtx0doublexgtsx0truegt0yfalsegtsxsygtxydoublexdoubleAkkx0doubleAkk0yydoubleAkksxydoubleAkkxssyf2true0gt200double1s1false0doubleAkk2FULLemmes-nonloop-ex3_1.trs