rustic-sysy/sysy_sets/00_main.out