0000000000000000000000000000000000000000 a5a481a3b6e87236d96db8dc996cba6df8c24a1f justairr <justairr@foxmail.com> 1777430677 +0800	commit (initial): initialization
a5a481a3b6e87236d96db8dc996cba6df8c24a1f a5a481a3b6e87236d96db8dc996cba6df8c24a1f justairr <justairr@foxmail.com> 1777430684 +0800	Branch: renamed refs/heads/master to refs/heads/master
a5a481a3b6e87236d96db8dc996cba6df8c24a1f a0379caccf5b9db7e7ccbfaddc3af22326f92571 justairr <justairr@foxmail.com> 1777432033 +0800	commit: add .gitignore
a0379caccf5b9db7e7ccbfaddc3af22326f92571 6d8ee6fab81762998f679eac7736a5ec4142a2d1 justairr <justairr@foxmail.com> 1778036277 +0800	commit: routine update
6d8ee6fab81762998f679eac7736a5ec4142a2d1 3826da7973abc6dfd2ce6378efd289ba334bcd9f justairr <justairr@foxmail.com> 1778061534 +0800	commit: routine update, 主要改弱了claim和Appendix中的证明
3826da7973abc6dfd2ce6378efd289ba334bcd9f f7d92bab6d838f5502bc61d0bcc0b078bbe73ef8 justairr <justairr@foxmail.com> 1778161319 +0800	commit: daily update
f7d92bab6d838f5502bc61d0bcc0b078bbe73ef8 e3c3fc2a010591648b57e861caecaa42fa590d4b justairr <justairr@foxmail.com> 1778583016 +0800	commit: routine update
e3c3fc2a010591648b57e861caecaa42fa590d4b 6e6b20fdcd5d9b02018cbe0659a0199cdd1f82de justairr <justairr@foxmail.com> 1779009984 +0800	commit: routine update