simplechoice_stubborn.foltl 636 Bytes