e6fc4eee7bc02d66d2ed705329d5fe990b48fbe888681c599d5425b2e883533c  ./01_RH-W-15_IntervalTaylor參數管擴張_v0.1.md
d7c29f1462969e85061cd226dae58aca9094823bbdbb6a12b52b8f7ac506e8a9  ./02_RH-W-15_阿基米德支撐外尾修正與W14回溯重證_v0.1.md
0a320d78e008c4a962e908c682ca5a318bc1a091e44560ee7721ca42bd84b4b2  ./03_RH-W-15_GAP更新與Batch01進度_v0.1.md
5aff32dc077e01339064619ee7d2176526c3f59013077404b96ad03da97b0183  ./ALL_VERIFY.txt
844c5269110194b8ee36242dadd420ba4428d3fcc8e47ae68dbf38edc1a6b71b  ./BUILD_RUN.txt
52c9d292af4bd17d1be0de53483ce5d8d5c020c08e3d43d5e984a6db4cc25310  ./BUILD_SUMMARY.txt
22451fb11a151279c56ab8301f1563303d6a643df6c0bb17c8c73e92107c6069  ./CROSSCHECK.txt
22451fb11a151279c56ab8301f1563303d6a643df6c0bb17c8c73e92107c6069  ./CROSSCHECK_RUN.txt
08eb16c3e399d8cb03fa3d4ee8b2fdadc905643abcf47dbb137e41ce271bfa59  ./EXACT_VERIFY.txt
6cfe603c96964227315645e0061261cdff6bd22c60a658ded2ff8980f209e15a  ./README.md
e59b8f6074a37ce62a239fd9130891f0f10d0c456f61d2507cb7e9aefd660769  ./RH-W-14_corrected_lipschitz_reaudit.json
330ac46db0b4ddf1fe9355ffd3b58e511af0050aacbce21fe6f99051782d023f  ./RH-W-15_subgaps_v0.1.csv
18ad66acf6a8dc589f2e6dfe5a7369ad9d993b5212ff76eeb01ec2f6e683902d  ./VALIDATION.txt
08eb16c3e399d8cb03fa3d4ee8b2fdadc905643abcf47dbb137e41ce271bfa59  ./VERIFY_RUN.txt
1a2508bb397a2aa25346ca942771f20a140242597bb91574adc72d681095848a  ./ZIP_VALIDATION.txt
b012070a48ba157777314b0de452e8bb4701b0b0a5627a57142304e9a026d904  ./build_interval_taylor_tube.py
6073183102902e0ff097f65bd09d276601164b5a30421250dd1f96462325deaa  ./crosscheck_w15_mpmath.py
bb306f6d6ca45b09a04c3cfabcadc970fb4a7b3870dd90d9227fb883069b1ca8  ./interval_taylor_tube_2d_certificate.json
5c3714bb43b3653065774b6c2ee35686b65c5e78e2dd49d2a6adc42f6a66733b  ./mixed_10x10_nearzero_interval.json
7c1aa1bb932ca1cfa6ff624242457449e6927f40fc9f6a571f86369993326c86  ./mixed_order_core.py
e73c4d86a3e06bedc31c1957c312a56fb1fbb0290b1fef2d53a7b0c0443a51ec  ./mixed_order_jump_tail.py
32059f7c7b12acf44757e4e3715fbaebd162fbd3257279625dbaa049737d5583  ./rigorous_refinement_tools.py
56a32c945321f6ca47508c7f72bc33176e60e2e38f551644908a295b4afc4460  ./verify_all.py
c8e755119decbc204eb07261cd466df2d9103c104fa8f37b5755aabb64b17824  ./verify_cross_regularity.py
25bf2a13be34c8a6d7655b33f50ff3f795e1220b5a63b35a61212416e93f659f  ./verify_interval_taylor_tube.py
65aa2c5d4eed25d6e0ef46f743e5a4d203f2c4e38b285ab65c50e739348eeec2  ./weil_interval_core.py
