[auto-verifier] verify commit 3f15271

Author: web-flow

.verify-helper/timestamps.remote.json

@@ -18,6 +18,8 @@
 "examples/python/hello_world.test.py": "2020-09-17 18:25:50 +0900",
 "examples/python/union_find_aoj.test.py": "2020-09-17 18:25:50 +0900",
 "examples/python/union_find_yosupo.test.py": "2020-09-17 18:25:50 +0900",
+"examples/rust/verification/src/bin/aizu-online-judge-itp1-1-a.rs": "2020-11-30 13:30:54 +0900",
+"examples/rust/verification/src/bin/library-checker-aplusb.rs": "2020-11-30 13:30:54 +0900",
 "examples/segment_tree.point_set_range_composite.test.cpp": "2020-09-14 23:28:24 +0900",
 "examples/segment_tree.range_minimum_query.test.cpp": "2020-09-14 23:28:24 +0900",
 "examples/segment_tree.range_sum_query.test.cpp": "2020-09-14 23:28:24 +0900",