diff --git a/metadata/releases.toml b/metadata/releases.toml
index c9faa55c271989c778e3f047f64ff00eaf8ab4f8_bWV0YWRhdGEvcmVsZWFzZXMudG9tbA==..3f188e5141e0fa779cbd6fd0a360b058423da4ac_bWV0YWRhdGEvcmVsZWFzZXMudG9tbA== 100644
--- a/metadata/releases.toml
+++ b/metadata/releases.toml
@@ -3,6 +3,8 @@
 2023-02-05 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [ADS_Functor]
 2020-04-27 = "2020"
@@ -11,6 +13,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [AI_Planning_Languages_Semantics]
 2020-10-30 = "2020"
@@ -19,6 +23,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [AODV]
 2014-11-01 = "2014"
@@ -35,8 +41,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AOT]
 2023-01-12 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -38,8 +45,9 @@
 
 [AOT]
 2023-01-12 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AVL-Trees]
 2004-03-19 = "2003"
@@ -70,6 +78,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AWN]
 2014-03-15 = "2013-2"
@@ -86,6 +95,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Abortable_Linearizable_Modules]
 2012-03-02 = "2011-1"
@@ -106,6 +116,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abs_Int_ITP2012]
 2016-12-17 = "2016-1"
@@ -118,6 +130,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abstract-Hoare-Logics]
 2007-11-27 = "2007"
@@ -144,6 +158,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abstract-Rewriting]
 2010-06-17 = "2009-1"
@@ -167,6 +183,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abstract_Completeness]
 2014-04-16 = "2013-2"
@@ -183,6 +201,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abstract_Soundness]
 2017-02-13 = "2016-1"
@@ -195,6 +215,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Abstract_Substitution]
 2024-10-04 = "2024"
@@ -198,9 +220,11 @@
 
 [Abstract_Substitution]
 2024-10-04 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Ackermanns_not_PR]
 2022-03-24 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -201,12 +225,14 @@
 
 [Ackermanns_not_PR]
 2022-03-24 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Actuarial_Mathematics]
 2022-01-25 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -207,9 +233,11 @@
 
 [Actuarial_Mathematics]
 2022-01-25 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Adaptive_State_Counting]
 2019-08-19 = "2019"
@@ -219,6 +247,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Affine_Arithmetic]
 2014-08-28 = "2014"
@@ -234,6 +264,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Aggregation_Algebras]
 2018-09-16 = "2018"
@@ -244,6 +276,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Akra_Bazzi]
 2015-07-15 = "2015"
@@ -259,6 +293,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Algebraic_Numbers]
 2015-12-22 = "2015"
@@ -273,6 +309,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Algebraic_VCs]
 2016-06-18 = "2016"
@@ -286,6 +324,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Allen_Calculus]
 2016-09-29 = "2016"
@@ -301,7 +341,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Alpha_Beta_Pruning]
 2024-06-16 = "2024"
 2024-06-17 = "2024"
@@ -304,7 +346,9 @@
 
 [Alpha_Beta_Pruning]
 2024-06-16 = "2024"
 2024-06-17 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Amicable_Numbers]
 2020-08-15 = "2020"
@@ -313,6 +357,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Amortized_Complexity]
 2014-08-28 = "2014"
@@ -330,6 +375,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AnselmGod]
 2017-09-08 = "2016-1"
@@ -344,6 +390,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Applicative_Lifting]
 2015-12-22 = "2015"
@@ -358,7 +405,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Approximate_Model_Counting]
 2024-03-23 = "2023"
 2024-05-26 = "2024"
@@ -361,7 +409,8 @@
 
 [Approximate_Model_Counting]
 2024-03-23 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Approximation_Algorithms]
 2020-01-16 = "2019"
@@ -371,6 +420,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Architectural_Design_Patterns]
 2018-03-01 = "2017"
@@ -382,6 +432,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Aristotles_Assertoric_Syllogistic]
 2019-10-17 = "2019"
@@ -391,6 +442,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Arith_Prog_Rel_Primes]
 2020-02-10 = "2019"
@@ -400,6 +452,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ArrowImpossibilityGS]
 2009-04-29 = "2009"
@@ -426,6 +479,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Attack_Trees]
 2021-02-23 = "2021"
@@ -433,6 +487,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Auto2_HOL]
 2018-11-29 = "2018"
@@ -443,6 +498,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Auto2_Imperative_HOL]
 2019-01-22 = "2018"
@@ -453,7 +509,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AutoCorres2]
 2024-05-26 = "2024"
 2024-05-27 = "2024"
@@ -456,7 +513,8 @@
 
 [AutoCorres2]
 2024-05-26 = "2024"
 2024-05-27 = "2024"
+2025-03-17 = "2025"
 
 [AutoFocus-Stream]
 2011-02-24 = "2011"
@@ -479,6 +537,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Automated_Stateful_Protocol_Verification]
 2020-05-20 = "2020"
@@ -487,6 +546,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Automatic_Refinement]
 2013-11-17 = "2013-1"
@@ -504,6 +564,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [AxiomaticCategoryTheory]
 2018-05-23 = "2017"
@@ -515,6 +576,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BDD]
 2008-03-07 = "2007"
@@ -541,9 +603,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BD_Security_Compositional]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -544,9 +607,10 @@
 
 [BD_Security_Compositional]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BNF_CC]
 2018-04-25 = "2017"
@@ -558,6 +622,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BNF_Operations]
 2018-08-16 = "2018"
@@ -568,6 +633,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BTree]
 2021-02-26 = "2021"
@@ -575,7 +641,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Babai_Nearest_Plane]
 2024-10-31 = "2024"
 2024-11-07 = "2024"
@@ -578,9 +645,10 @@
 
 [Babai_Nearest_Plane]
 2024-10-31 = "2024"
 2024-11-07 = "2024"
+2025-03-17 = "2025"
 
 [Balog_Szemeredi_Gowers]
 2022-11-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -582,8 +650,9 @@
 
 [Balog_Szemeredi_Gowers]
 2022-11-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Banach_Steinhaus]
 2020-05-06 = "2020"
@@ -593,6 +662,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Belief_Revision]
 2021-10-22 = "2021"
@@ -600,6 +670,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bell_Numbers_Spivey]
 2016-05-04 = "2016"
@@ -613,6 +684,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BenOr_Kozen_Reif]
 2021-04-25 = "2021"
@@ -620,6 +692,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Berlekamp_Zassenhaus]
 2016-12-17 = "2016-1"
@@ -633,6 +706,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bernoulli]
 2017-01-24 = "2016-1"
@@ -645,6 +719,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bertrands_Postulate]
 2017-01-18 = "2016-1"
@@ -657,6 +732,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bicategory]
 2020-01-09 = "2019"
@@ -666,6 +742,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BinarySearchTree]
 2004-04-20 = "2004"
@@ -696,8 +773,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Binary_Code_Imprimitive]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -699,8 +777,9 @@
 
 [Binary_Code_Imprimitive]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Binding_Syntax_Theory]
 2019-04-08 = "2018"
@@ -711,6 +790,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Binomial-Heaps]
 2010-10-28 = "2009-2"
@@ -734,6 +814,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Binomial-Queues]
 2011-02-11 = "2011"
@@ -755,6 +836,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BirdKMP]
 2020-09-02 = "2020"
@@ -763,8 +845,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Birkhoff_Finite_Distributive_Lattices]
 2022-12-06 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -766,8 +849,9 @@
 
 [Birkhoff_Finite_Distributive_Lattices]
 2022-12-06 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Blue_Eyes]
 2021-02-01 = "2020"
@@ -776,6 +860,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bondy]
 2012-10-27 = "2012"
@@ -795,6 +880,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Boolean_Expression_Checkers]
 2014-06-08 = "2013-2"
@@ -811,6 +897,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Boolos_Curious_Inference]
 2022-07-04 = "2021-1"
@@ -818,8 +905,9 @@
 2023-09-13 = "2023"
 2023-10-03 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Boolos_Curious_Inference_Automated]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -821,8 +909,9 @@
 
 [Boolos_Curious_Inference_Automated]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Bounded_Deducibility_Security]
 2014-04-24 = "2013-2"
@@ -839,6 +928,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Boustrophedon_Transform]
 2024-11-01 = "2024"
@@ -842,7 +932,8 @@
 
 [Boustrophedon_Transform]
 2024-11-01 = "2024"
+2025-03-17 = "2025"
 
 [Broadcast_Psi]
 2024-04-02 = "2023"
 2024-05-26 = "2024"
@@ -845,7 +936,8 @@
 
 [Broadcast_Psi]
 2024-04-02 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Buchi_Complementation]
 2017-10-27 = "2017"
@@ -857,6 +949,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Budan_Fourier]
 2018-09-04 = "2018"
@@ -867,6 +960,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Buffons_Needle]
 2017-06-06 = "2016-1"
@@ -879,6 +973,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Buildings]
 2016-07-01 = "2016"
@@ -892,6 +987,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [BurrowsWheeler]
 2025-01-17 = "2024"
@@ -895,6 +991,7 @@
 
 [BurrowsWheeler]
 2025-01-17 = "2024"
+2025-03-17 = "2025"
 
 [BytecodeLogicJmlTypes]
 2008-12-22 = "2008"
@@ -920,6 +1017,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [C2KA_DistributedSystems]
 2019-08-06 = "2019"
@@ -929,6 +1027,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CAVA_Automata]
 2014-05-29 = "2013-2"
@@ -945,6 +1044,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CAVA_LTL_Modelchecker]
 2014-05-29 = "2013-2"
@@ -962,6 +1062,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CCS]
 2012-06-14 = "2012"
@@ -981,8 +1082,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CHERI-C_Memory_Model]
 2022-11-28 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -984,8 +1086,9 @@
 
 [CHERI-C_Memory_Model]
 2022-11-28 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CISC-Kernel]
 2014-07-18 = "2013-2"
@@ -1002,6 +1105,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CRDT]
 2017-07-07 = "2016-1"
@@ -1087,6 +1191,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CakeML_Codegen]
 2019-07-11 = "2019"
@@ -1096,6 +1201,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Call_Arity]
 2015-02-20 = "2014"
@@ -1113,6 +1219,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Card_Equiv_Relations]
 2016-05-24 = "2016"
@@ -1126,6 +1233,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Card_Multisets]
 2016-06-26 = "2016"
@@ -1139,6 +1247,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Card_Number_Partitions]
 2016-01-14 = "2015"
@@ -1153,6 +1262,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Card_Partitions]
 2015-12-13 = "2015"
@@ -1167,7 +1277,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Cardinality_Continuum]
 2023-11-26 = "2023"
 2024-05-26 = "2024"
@@ -1170,7 +1281,8 @@
 
 [Cardinality_Continuum]
 2023-11-26 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Cartan_FP]
 2016-03-09 = "2016"
@@ -1184,6 +1296,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Case_Labeling]
 2015-07-24 = "2015"
@@ -1200,6 +1313,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Catalan_Numbers]
 2016-12-17 = "2016-1"
@@ -1212,6 +1326,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Category]
 2005-04-21 = "2004"
@@ -1242,6 +1357,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Category2]
 2010-06-21 = "2009-1"
@@ -1266,6 +1382,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Category3]
 2016-06-26 = "2016"
@@ -1279,6 +1396,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Category_Set]
 2024-10-11 = "2024"
@@ -1282,8 +1400,9 @@
 
 [Category_Set]
 2024-10-11 = "2024"
+2025-03-17 = "2025"
 
 [Catoids]
 2023-08-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1285,8 +1404,9 @@
 
 [Catoids]
 2023-08-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Cauchy]
 2006-03-14 = "2005"
@@ -1314,6 +1434,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Cayley_Hamilton]
 2014-09-16 = "2014"
@@ -1329,6 +1450,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Certification_Monads]
 2014-10-08 = "2014"
@@ -1344,8 +1466,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ceva]
 2023-08-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1347,8 +1470,9 @@
 
 [Ceva]
 2023-08-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Chandy_Lamport]
 2020-08-04 = "2020"
@@ -1357,7 +1481,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Chebyshev_Polynomials]
 2023-11-21 = "2023"
 2024-05-26 = "2024"
@@ -1360,7 +1485,8 @@
 
 [Chebyshev_Polynomials]
 2023-11-21 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Chebyshev_Prime_Bounds]
 2024-09-16 = "2024"
@@ -1364,6 +1490,7 @@
 
 [Chebyshev_Prime_Bounds]
 2024-09-16 = "2024"
+2025-03-17 = "2025"
 
 [Chord_Segments]
 2016-10-11 = "2016"
@@ -1377,6 +1504,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Circus]
 2012-05-29 = "2012"
@@ -1396,6 +1524,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Clean]
 2019-10-16 = "2019"
@@ -1405,9 +1534,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Clique_and_Monotone_Circuits]
 2022-05-08 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1408,9 +1538,10 @@
 
 [Clique_and_Monotone_Circuits]
 2022-05-08 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ClockSynchInst]
 2006-03-15 = "2005"
@@ -1439,6 +1570,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Closest_Pair_Points]
 2020-01-14 = "2019"
@@ -1448,9 +1580,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CoCon]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1451,9 +1584,10 @@
 
 [CoCon]
 2021-12-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CoSMeDis]
 2021-12-14 = "2021-1"
@@ -1492,6 +1626,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Coinductive]
 2010-02-14 = "2009-1"
@@ -1517,6 +1652,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Coinductive_Languages]
 2013-11-17 = "2013-1"
@@ -1534,6 +1670,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Collections]
 2009-11-29 = "2009"
@@ -1561,9 +1698,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Combinable_Wands]
 2022-05-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1564,11 +1702,12 @@
 
 [Combinable_Wands]
 2022-05-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Combinatorial_Enumeration_Algorithms]
 2022-11-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1570,8 +1709,9 @@
 
 [Combinatorial_Enumeration_Algorithms]
 2022-11-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Combinatorial_Q_Analogues]
 2025-01-24 = "2024"
@@ -1575,6 +1715,7 @@
 
 [Combinatorial_Q_Analogues]
 2025-01-24 = "2024"
+2025-03-17 = "2025"
 
 [Combinatorics_Words]
 2021-05-26 = "2021"
@@ -1582,6 +1723,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Combinatorics_Words_Graph_Lemma]
 2021-05-26 = "2021"
@@ -1589,6 +1731,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Combinatorics_Words_Lyndon]
 2021-05-26 = "2021"
@@ -1596,8 +1739,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CommCSL]
 2023-04-04 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1599,11 +1743,12 @@
 
 [CommCSL]
 2023-04-04 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Commuting_Hermitian]
 2022-08-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1604,9 +1749,10 @@
 
 [Commuting_Hermitian]
 2022-08-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Comparison_Sort_Lower_Bound]
 2017-03-16 = "2016-1"
@@ -1619,6 +1765,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Compiling-Exceptions-Correctly]
 2004-07-09 = "2004"
@@ -1647,6 +1794,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Complete_Non_Orders]
 2019-06-28 = "2019"
@@ -1656,6 +1804,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Completeness]
 2004-09-20 = "2004"
@@ -1687,6 +1836,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Complex_Bounded_Operators]
 2021-09-20 = "2021"
@@ -1694,6 +1844,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Complex_Geometry]
 2020-01-17 = "2019"
@@ -1703,6 +1854,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Complx]
 2016-11-29 = "2016"
@@ -1716,6 +1868,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ComponentDependencies]
 2014-04-29 = "2013-2"
@@ -1732,7 +1885,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Concentration_Inequalities]
 2023-12-06 = "2023"
 2024-05-26 = "2024"
@@ -1735,7 +1889,8 @@
 
 [Concentration_Inequalities]
 2023-12-06 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ConcurrentGC]
 2015-04-15 = "2014"
@@ -1751,7 +1906,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ConcurrentHOL]
 2024-04-17 = "2023"
 2024-05-26 = "2024"
@@ -1754,7 +1910,8 @@
 
 [ConcurrentHOL]
 2024-04-17 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ConcurrentIMP]
 2015-04-15 = "2014"
@@ -1770,6 +1927,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Concurrent_Ref_Alg]
 2017-01-04 = "2016-1"
@@ -1782,6 +1940,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Concurrent_Revisions]
 2019-01-03 = "2018"
@@ -1792,7 +1951,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [CondNormReasHOL]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
@@ -1795,7 +1955,8 @@
 
 [CondNormReasHOL]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Conditional_Simplification]
 2021-09-14 = "2021"
@@ -1804,6 +1965,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Conditional_Transfer_Rule]
 2021-09-14 = "2021"
@@ -1812,6 +1974,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Consensus_Refined]
 2015-03-19 = "2014"
@@ -1827,6 +1990,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Constructive_Cryptography]
 2018-12-19 = "2018"
@@ -1838,6 +2002,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Constructive_Cryptography_CM]
 2021-03-18 = "2021"
@@ -1845,6 +2010,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Constructor_Funs]
 2017-04-20 = "2016-1"
@@ -1857,6 +2023,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Containers]
 2013-04-23 = "2013"
@@ -1875,7 +2042,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Continued_Fractions]
 2024-03-25 = "2023"
 2024-05-26 = "2024"
@@ -1878,9 +2046,10 @@
 
 [Continued_Fractions]
 2024-03-25 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Cook_Levin]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -1882,8 +2051,9 @@
 
 [Cook_Levin]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Coppersmith_Method]
 2024-06-13 = "2024"
@@ -2020,6 +2190,7 @@
 2023-06-21 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DFS_Framework]
 2016-07-05 = "2016"
@@ -2034,6 +2205,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DOM_Components]
 2021-02-23 = "2021"
@@ -2041,9 +2213,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DPRM_Theorem]
 2022-06-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2044,9 +2217,10 @@
 
 [DPRM_Theorem]
 2022-06-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DPT-SAT-Solver]
 2009-12-12 = "2009-1"
@@ -2071,6 +2245,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
+
+[DP_QBS]
+2025-03-17 = "2025"
 
 [DataRefinementIBP]
 2010-05-28 = "2009-1"
@@ -2126,6 +2304,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Decreasing-Diagrams]
 2013-11-18 = "2013-1"
@@ -2144,6 +2323,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Decreasing-Diagrams-II]
 2015-08-21 = "2015"
@@ -2158,9 +2338,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dedekind_Real]
 2022-03-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2161,9 +2342,10 @@
 
 [Dedekind_Real]
 2022-03-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Deep_Learning]
 2016-11-10 = "2016"
@@ -2177,6 +2359,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Delta_System_Lemma]
 2020-12-28 = "2020"
@@ -2185,6 +2368,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Density_Compiler]
 2014-10-09 = "2014"
@@ -2201,6 +2385,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dependent_SIFUM_Refinement]
 2016-06-28 = "2016"
@@ -2214,6 +2399,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dependent_SIFUM_Type_Systems]
 2016-06-25 = "2016"
@@ -2227,6 +2413,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Depth-First-Search]
 2004-06-24 = "2004"
@@ -2255,7 +2442,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Derandomization_Conditional_Expectations]
 2024-05-02 = "2023"
 2024-05-26 = "2024"
@@ -2258,7 +2446,8 @@
 
 [Derandomization_Conditional_Expectations]
 2024-05-02 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Derangements]
 2015-06-28 = "2015"
@@ -2274,6 +2463,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Deriving]
 2015-05-27 = "2015"
@@ -2288,6 +2478,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Descartes_Sign_Rule]
 2016-01-05 = "2015"
@@ -2302,6 +2493,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Design_Theory]
 2021-09-02 = "2021"
@@ -2309,6 +2501,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Diagonal_Ramsey]
 2024-09-03 = "2024"
@@ -2312,6 +2505,7 @@
 
 [Diagonal_Ramsey]
 2024-09-03 = "2024"
+2025-03-17 = "2025"
 
 [Dict_Construction]
 2017-10-10 = "2017"
@@ -2323,6 +2517,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Difference_Bound_Matrices]
 2024-08-26 = "2024"
@@ -2326,6 +2521,7 @@
 
 [Difference_Bound_Matrices]
 2024-08-26 = "2024"
+2025-03-17 = "2025"
 
 [Differential_Dynamic_Logic]
 2017-02-14 = "2016-1"
@@ -2338,6 +2534,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Differential_Game_Logic]
 2019-06-24 = "2019"
@@ -2347,6 +2544,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Differential_Privacy]
 2025-02-02 = "2024"
@@ -2350,6 +2548,7 @@
 
 [Differential_Privacy]
 2025-02-02 = "2024"
+2025-03-17 = "2025"
 
 [Digit_Expansions]
 2022-05-09 = "2021-1"
@@ -2357,8 +2556,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DigitsInBase]
 2023-04-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2360,8 +2560,9 @@
 
 [DigitsInBase]
 2023-04-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dijkstra_Shortest_Path]
 2012-02-10 = "2011-1"
@@ -2384,6 +2585,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Diophantine_Eqns_Lin_Hom]
 2017-10-15 = "2017"
@@ -2395,7 +2597,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Directed_Sets]
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2398,7 +2601,8 @@
 
 [Directed_Sets]
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dirichlet_L]
 2018-08-16 = "2018"
@@ -2409,6 +2613,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dirichlet_Series]
 2017-10-16 = "2017"
@@ -2420,6 +2625,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DiscretePricing]
 2018-07-18 = "2017"
@@ -2431,6 +2637,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Discrete_Summation]
 2014-04-13 = "2013-2"
@@ -2447,7 +2654,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Disintegration]
 2023-11-07 = "2023"
 2024-05-26 = "2024"
@@ -2450,7 +2658,8 @@
 
 [Disintegration]
 2023-11-07 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DiskPaxos]
 2005-06-22 = "2004"
@@ -2479,8 +2688,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Distributed_Distinct_Elements]
 2023-04-06 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2482,8 +2692,9 @@
 
 [Distributed_Distinct_Elements]
 2023-04-06 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dominance_CHK]
 2021-09-07 = "2021"
@@ -2491,7 +2702,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Doob_Convergence]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
@@ -2494,7 +2706,8 @@
 
 [Doob_Convergence]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [DynamicArchitectures]
 2017-07-31 = "2016-1"
@@ -2507,6 +2720,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Dynamic_Tables]
 2015-06-07 = "2015"
@@ -2522,6 +2736,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [E_Transcendental]
 2017-01-13 = "2016-1"
@@ -2534,8 +2749,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Earley_Parser]
 2023-08-08 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2537,8 +2753,9 @@
 
 [Earley_Parser]
 2023-08-08 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Echelon_Form]
 2015-02-12 = "2014"
@@ -2554,6 +2771,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [EdmondsKarp_Maxflow]
 2016-08-12 = "2016"
@@ -2567,8 +2785,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Edwards_Elliptic_Curves_Group]
 2023-03-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2570,8 +2789,9 @@
 
 [Edwards_Elliptic_Curves_Group]
 2023-03-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Efficient-Mergesort]
 2011-11-10 = "2011-1"
@@ -2593,8 +2813,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Efficient_Weighted_Path_Order]
 2023-06-02 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2596,9 +2817,10 @@
 
 [Efficient_Weighted_Path_Order]
 2023-06-02 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Elimination_Of_Repeated_Factors]
 2023-11-13 = "2023"
 2024-05-26 = "2024"
@@ -2601,7 +2823,8 @@
 
 [Elimination_Of_Repeated_Factors]
 2023-11-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Elliptic_Curves_Group_Law]
 2017-03-01 = "2016-1"
@@ -2614,6 +2837,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Encodability_Process_Calculi]
 2015-08-11 = "2015"
@@ -2628,6 +2852,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [EnrichedCategoryBasics]
 2024-06-17 = "2024"
@@ -2631,6 +2856,7 @@
 
 [EnrichedCategoryBasics]
 2024-06-17 = "2024"
+2025-03-17 = "2025"
 
 [Epistemic_Logic]
 2018-10-29 = "2018"
@@ -2641,9 +2867,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Equivalence_Relation_Enumeration]
 2022-02-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2644,9 +2871,10 @@
 
 [Equivalence_Relation_Enumeration]
 2022-02-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ergodic_Theory]
 2016-02-22 = "2016"
@@ -2660,6 +2888,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Error_Function]
 2018-02-07 = "2017"
@@ -2671,7 +2900,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Eudoxus_Reals]
 2023-11-01 = "2023"
 2024-05-26 = "2024"
@@ -2674,7 +2904,8 @@
 
 [Eudoxus_Reals]
 2023-11-01 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Euler_MacLaurin]
 2017-03-14 = "2016-1"
@@ -2687,6 +2918,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Euler_Partition]
 2015-11-20 = "2015"
@@ -2701,7 +2933,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Euler_Polyhedron_Formula]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
@@ -2704,10 +2937,11 @@
 
 [Euler_Polyhedron_Formula]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Eval_FO]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2708,9 +2942,10 @@
 
 [Eval_FO]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Example-Submission]
 2004-02-25 = "2003"
@@ -2756,8 +2991,10 @@
 2023-09-13 = "2023"
 2024-05-26 = "2024"
 2024-07-30 = "2024"
+2025-03-16 = "2025"
+2025-03-17 = "2025"
 
 [Executable_Randomized_Algorithms]
 2023-06-29 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2759,10 +2996,11 @@
 
 [Executable_Randomized_Algorithms]
 2023-06-29 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Expander_Graphs]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2764,8 +3002,9 @@
 
 [Expander_Graphs]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Extended_Finite_State_Machine_Inference]
 2020-09-19 = "2020"
@@ -2774,6 +3013,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Extended_Finite_State_Machines]
 2020-09-19 = "2020"
@@ -2782,6 +3022,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FFT]
 2005-10-14 = "2005"
@@ -2809,6 +3050,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FLP]
 2016-05-18 = "2016"
@@ -2822,6 +3064,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL-Fitting]
 2007-11-27 = "2007"
@@ -2849,6 +3092,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Axiomatic]
 2021-10-05 = "2021"
@@ -2856,6 +3100,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Compactness]
 2025-02-27 = "2024"
@@ -2859,6 +3104,7 @@
 
 [FOL_Compactness]
 2025-02-27 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Harrison]
 2017-01-04 = "2016-1"
@@ -2871,6 +3117,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Seq_Calc1]
 2019-07-18 = "2019"
@@ -2880,9 +3127,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Seq_Calc2]
 2022-02-02 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2883,12 +3131,13 @@
 
 [FOL_Seq_Calc2]
 2022-02-02 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FOL_Seq_Calc3]
 2022-03-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2889,12 +3138,13 @@
 
 [FOL_Seq_Calc3]
 2022-03-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FO_Theory_Rewriting]
 2022-02-10 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2895,12 +3145,13 @@
 
 [FO_Theory_Rewriting]
 2022-02-10 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FSM_Tests]
 2022-08-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -2901,9 +3152,10 @@
 
 [FSM_Tests]
 2022-08-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Factor_Algebraic_Polynomial]
 2021-11-14 = "2021"
@@ -2911,6 +3163,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Factored_Transition_System_Bounding]
 2018-10-16 = "2018"
@@ -2921,6 +3174,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Falling_Factorial_Sum]
 2017-12-30 = "2017"
@@ -2932,6 +3186,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Farkas]
 2019-01-21 = "2018"
@@ -2942,6 +3197,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FeatherweightJava]
 2006-04-05 = "2005"
@@ -2970,6 +3226,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Featherweight_OCL]
 2014-01-16 = "2013-2"
@@ -2986,6 +3243,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fermat3_4]
 2007-11-27 = "2007"
@@ -3012,6 +3270,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FileRefinement]
 2004-12-15 = "2004"
@@ -3040,6 +3299,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FinFun]
 2009-05-25 = "2009"
@@ -3065,6 +3325,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Finger-Trees]
 2010-10-28 = "2009-2"
@@ -3088,6 +3349,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Finite-Map-Extras]
 2020-12-02 = "2020"
@@ -3096,6 +3358,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Finite_Automata_HF]
 2015-02-05 = "2014"
@@ -3111,9 +3374,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Finite_Fields]
 2022-06-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3114,9 +3378,10 @@
 
 [Finite_Fields]
 2022-06-16 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Finitely_Generated_Abelian_Groups]
 2021-07-13 = "2021"
@@ -3124,6 +3389,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
+
+[First_Order_Clause]
+2025-03-17 = "2025"
 
 [First_Order_Terms]
 2018-02-06 = "2017"
@@ -3136,6 +3405,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [First_Welfare_Theorem]
 2017-09-04 = "2016-1"
@@ -3149,6 +3419,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fishburn_Impossibility]
 2018-03-23 = "2017"
@@ -3161,6 +3432,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fisher_Yates]
 2016-12-17 = "2016-1"
@@ -3173,6 +3445,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fishers_Inequality]
 2022-04-29 = "2021-1"
@@ -3180,8 +3453,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fixed_Length_Vector]
 2023-08-20 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3183,8 +3457,9 @@
 
 [Fixed_Length_Vector]
 2023-08-20 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Flow_Networks]
 2017-06-02 = "2016-1"
@@ -3198,6 +3473,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Floyd_Warshall]
 2017-05-09 = "2016-1"
@@ -3210,6 +3486,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Flyspeck-Tame]
 2007-11-27 = "2007"
@@ -3238,6 +3515,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FocusStreamsCaseStudies]
 2013-11-18 = "2013-1"
@@ -3255,6 +3533,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Forcing]
 2020-05-06 = "2020"
@@ -3264,6 +3543,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Formal_Puiseux_Series]
 2021-02-24 = "2021"
@@ -3271,6 +3551,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Formal_SSA]
 2016-02-08 = "2015"
@@ -3285,6 +3566,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Formula_Derivatives]
 2015-05-28 = "2015"
@@ -3299,6 +3581,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Foundation_of_geometry]
 2021-12-13 = "2021"
@@ -3306,6 +3589,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fourier]
 2019-09-11 = "2019"
@@ -3315,6 +3599,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Free-Boolean-Algebra]
 2010-03-29 = "2009-1"
@@ -3339,6 +3624,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Free-Groups]
 2010-07-01 = "2009-2"
@@ -3361,9 +3647,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Frequency_Moments]
 2022-04-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3364,9 +3651,10 @@
 
 [Frequency_Moments]
 2022-04-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Fresh_Identifiers]
 2021-08-18 = "2021"
@@ -3374,6 +3662,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FunWithFunctions]
 2009-04-29 = "2009"
@@ -3398,6 +3687,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [FunWithTilings]
 2009-04-29 = "2009"
@@ -3422,6 +3712,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Functional-Automata]
 2004-03-30 = "2003"
@@ -3453,6 +3744,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Functional_Ordered_Resolution_Prover]
 2018-11-29 = "2018"
@@ -3463,6 +3755,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Furstenberg_Topology]
 2020-03-27 = "2019"
@@ -3472,6 +3765,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GPU_Kernel_PL]
 2014-04-06 = "2013-2"
@@ -3488,6 +3782,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gabow_SCC]
 2014-05-29 = "2013-2"
@@ -3504,6 +3799,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GaleStewart_Games]
 2021-04-28 = "2021"
@@ -3511,9 +3807,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gale_Shapley]
 2022-01-03 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3514,9 +3811,10 @@
 
 [Gale_Shapley]
 2022-01-03 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Game_Based_Crypto]
 2017-05-11 = "2016-1"
@@ -3529,6 +3827,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gauss-Jordan-Elim-Fun]
 2011-08-19 = "2011"
@@ -3551,6 +3850,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gauss_Jordan]
 2014-09-03 = "2014"
@@ -3566,6 +3866,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gauss_Sums]
 2020-01-10 = "2019"
@@ -3575,6 +3876,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gaussian_Integers]
 2020-04-30 = "2020"
@@ -3583,6 +3885,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GenClock]
 2005-06-24 = "2004"
@@ -3611,6 +3914,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [General-Triangle]
 2011-04-01 = "2011"
@@ -3632,6 +3936,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Generalized_Cauchy_Davenport]
 2024-12-27 = "2024"
@@ -3635,6 +3940,7 @@
 
 [Generalized_Cauchy_Davenport]
 2024-12-27 = "2024"
+2025-03-17 = "2025"
 
 [Generalized_Counting_Sort]
 2019-12-09 = "2019"
@@ -3644,6 +3950,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Generic_Deriving]
 2018-11-21 = "2018"
@@ -3654,6 +3961,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Generic_Join]
 2019-09-18 = "2019"
@@ -3663,6 +3971,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GewirthPGCProof]
 2018-10-31 = "2018"
@@ -3673,6 +3982,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Girth_Chromatic]
 2012-02-06 = "2011-1"
@@ -3693,8 +4003,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Given_Clause_Loops]
 2023-01-31 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3696,9 +4007,10 @@
 
 [Given_Clause_Loops]
 2023-01-31 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Go]
 2024-03-11 = "2023"
 2024-05-26 = "2024"
@@ -3701,7 +4013,8 @@
 
 [Go]
 2024-03-11 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GoedelGod]
 2013-11-18 = "2013-1"
@@ -3720,6 +4033,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Goedel_HFSet_Semantic]
 2020-09-18 = "2020"
@@ -3728,6 +4042,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Goedel_HFSet_Semanticless]
 2020-09-18 = "2020"
@@ -3736,6 +4051,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Goedel_Incompleteness]
 2020-09-18 = "2020"
@@ -3745,6 +4061,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Goodstein_Lambda]
 2020-02-24 = "2019"
@@ -3754,6 +4071,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [GraphMarkingIBP]
 2010-05-28 = "2009-1"
@@ -3778,6 +4096,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
+
+[Graph_Algorithms]
+2025-03-17 = "2025"
 
 [Graph_Saturation]
 2018-11-28 = "2018"
@@ -3788,6 +4110,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Graph_Theory]
 2013-05-02 = "2013"
@@ -3806,8 +4129,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gray_Codes]
 2023-07-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3809,8 +4133,9 @@
 
 [Gray_Codes]
 2023-07-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Green]
 2018-01-12 = "2017"
@@ -3822,6 +4147,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Groebner_Bases]
 2016-05-02 = "2016"
@@ -3835,6 +4161,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Groebner_Macaulay]
 2019-06-17 = "2019"
@@ -3844,6 +4171,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Gromov_Hyperbolicity]
 2018-08-16 = "2018"
@@ -3854,6 +4182,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Grothendieck_Schemes]
 2021-04-09 = "2021"
@@ -3862,6 +4191,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Group-Ring-Module]
 2004-05-19 = "2004"
@@ -3893,6 +4223,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HOL-CSP]
 2019-04-29 = "2018"
@@ -3903,7 +4234,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HOL-CSPM]
 2023-12-07 = "2023"
 2024-05-26 = "2024"
@@ -3906,8 +4238,9 @@
 
 [HOL-CSPM]
 2023-12-07 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HOL-CSP_OpSem]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
@@ -3910,7 +4243,8 @@
 
 [HOL-CSP_OpSem]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HOLCF-Prelude]
 2017-07-15 = "2016-1"
@@ -3923,6 +4257,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HRB-Slicing]
 2009-11-19 = "2009"
@@ -3947,6 +4282,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hahn_Jordan_Decomposition]
 2021-11-26 = "2021"
@@ -3954,9 +4290,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hales_Jewett]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -3957,9 +4294,10 @@
 
 [Hales_Jewett]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Heard_Of]
 2012-07-30 = "2012"
@@ -3980,6 +4318,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hello_World]
 2020-03-23 = "2019"
@@ -3989,6 +4328,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HereditarilyFinite]
 2013-11-17 = "2013-1"
@@ -4006,6 +4346,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hermite]
 2015-07-07 = "2015"
@@ -4020,6 +4361,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hermite_Lindemann]
 2021-03-12 = "2021"
@@ -4027,6 +4369,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hidden_Markov_Models]
 2018-05-25 = "2017"
@@ -4038,6 +4381,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Higher_Order_Terms]
 2019-01-15 = "2018"
@@ -4048,6 +4392,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hilbert_Basis]
 2025-02-12 = "2024"
@@ -4051,6 +4396,7 @@
 
 [Hilbert_Basis]
 2025-02-12 = "2024"
+2025-03-17 = "2025"
 
 [Hilbert_Space_Tensor_Product]
 2024-12-04 = "2024"
@@ -4054,8 +4400,9 @@
 
 [Hilbert_Space_Tensor_Product]
 2024-12-04 = "2024"
+2025-03-17 = "2025"
 
 [HoareForDivergence]
 2023-01-23 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4057,8 +4404,9 @@
 
 [HoareForDivergence]
 2023-01-23 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hoare_Time]
 2018-02-26 = "2017"
@@ -4070,6 +4418,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hood_Melville_Queue]
 2021-02-23 = "2021"
@@ -4077,6 +4426,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HotelKeyCards]
 2007-11-27 = "2007"
@@ -4103,6 +4453,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Huffman]
 2008-10-15 = "2008"
@@ -4130,6 +4481,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hybrid_Logic]
 2020-01-07 = "2019"
@@ -4139,6 +4491,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hybrid_Multi_Lane_Spatial_Logic]
 2017-11-09 = "2017"
@@ -4150,6 +4503,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hybrid_Systems_VCs]
 2019-09-10 = "2019"
@@ -4159,6 +4513,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HyperCTL]
 2014-04-16 = "2013-2"
@@ -4175,8 +4530,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [HyperHoareLogic]
 2023-04-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4178,11 +4534,12 @@
 
 [HyperHoareLogic]
 2023-04-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hyperdual]
 2022-01-05 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4183,10 +4540,11 @@
 
 [Hyperdual]
 2022-01-05 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hypergraph_Basics]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
@@ -4189,8 +4547,9 @@
 
 [Hypergraph_Basics]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hypergraph_Colourings]
 2023-10-16 = "2023"
 2024-05-26 = "2024"
@@ -4193,7 +4552,8 @@
 
 [Hypergraph_Colourings]
 2023-10-16 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IEEE_Floating_Point]
 2013-07-28 = "2013"
@@ -4212,6 +4572,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IFC_Tracking]
 2021-04-01 = "2021"
@@ -4219,6 +4580,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ILL]
 2024-11-28 = "2024"
@@ -4222,6 +4584,7 @@
 
 [ILL]
 2024-11-28 = "2024"
+2025-03-17 = "2025"
 
 [IMAP-CRDT]
 2017-11-10 = "2017"
@@ -4234,6 +4597,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMO2019]
 2019-08-06 = "2019"
@@ -4243,6 +4607,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP2]
 2019-01-15 = "2018"
@@ -4253,6 +4618,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP2_Binary_Heap]
 2019-06-13 = "2019"
@@ -4262,6 +4628,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP_Compiler]
 2021-06-21 = "2021"
@@ -4269,9 +4636,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP_Compiler_Reuse]
 2022-07-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4272,10 +4640,11 @@
 
 [IMP_Compiler_Reuse]
 2022-07-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP_Noninterference]
 2024-02-13 = "2023"
 2024-05-26 = "2024"
@@ -4278,7 +4647,8 @@
 
 [IMP_Noninterference]
 2024-02-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP_Noninterference_Extension]
 2024-09-03 = "2024"
@@ -4282,6 +4652,7 @@
 
 [IMP_Noninterference_Extension]
 2024-09-03 = "2024"
+2025-03-17 = "2025"
 
 [IMP_With_Speculation]
 2024-08-25 = "2024"
@@ -4285,7 +4656,8 @@
 
 [IMP_With_Speculation]
 2024-08-25 = "2024"
+2025-03-17 = "2025"
 
 [IO_Language_Conformance]
 2023-10-11 = "2023"
 2024-05-26 = "2024"
@@ -4288,7 +4660,8 @@
 
 [IO_Language_Conformance]
 2023-10-11 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IP_Addresses]
 2016-06-28 = "2016"
@@ -4302,6 +4675,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Imperative_Insertion_Sort]
 2014-09-25 = "2014"
@@ -4317,9 +4691,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Implicational_Logic]
 2022-09-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4320,9 +4695,10 @@
 
 [Implicational_Logic]
 2022-09-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Impossible_Geometry]
 2012-08-06 = "2012"
@@ -4343,6 +4719,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Incompleteness]
 2013-11-17 = "2013-1"
@@ -4361,6 +4738,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Incredible_Proof_Machine]
 2016-05-20 = "2016"
@@ -4374,9 +4752,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Independence_CH]
 2022-03-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4377,9 +4756,10 @@
 
 [Independence_CH]
 2022-03-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Inductive_Confidentiality]
 2012-05-02 = "2011-1"
@@ -4400,6 +4780,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Inductive_Inference]
 2020-09-02 = "2020"
@@ -4408,6 +4789,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [InfPathElimination]
 2016-08-18 = "2016"
@@ -4421,6 +4803,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [InformationFlowSlicing]
 2010-03-23 = "2009-1"
@@ -4444,6 +4827,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [InformationFlowSlicing_Inter]
 2016-12-17 = "2016-1"
@@ -4456,6 +4840,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Integration]
 2004-11-22 = "2004"
@@ -4485,9 +4870,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Interpolation_Polynomials_HOL_Algebra]
 2022-01-31 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4488,9 +4874,10 @@
 
 [Interpolation_Polynomials_HOL_Algebra]
 2022-01-31 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Interpreter_Optimizations]
 2021-02-23 = "2021"
@@ -4498,7 +4885,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Interval_Analysis]
 2024-01-22 = "2023"
 2024-05-26 = "2024"
@@ -4501,7 +4889,8 @@
 
 [Interval_Analysis]
 2024-01-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Interval_Arithmetic_Word32]
 2019-11-28 = "2019"
@@ -4511,6 +4900,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Intro_Dest_Elim]
 2021-09-14 = "2021"
@@ -4519,9 +4909,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Involutions2Squares]
 2022-08-15 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4522,9 +4913,10 @@
 
 [Involutions2Squares]
 2022-08-15 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Iptables_Semantics]
 2016-09-09 = "2016"
@@ -4538,6 +4930,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Irrational_Series_Erdos_Straus]
 2020-05-13 = "2020"
@@ -4547,6 +4940,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Irrationality_J_Hancl]
 2018-05-26 = "2017"
@@ -4558,9 +4952,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Irrationals_From_THEBOOK]
 2022-01-31 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4561,9 +4956,10 @@
 
 [Irrationals_From_THEBOOK]
 2022-01-31 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IsaGeoCoq]
 2021-02-01 = "2020"
@@ -4572,9 +4968,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IsaNet]
 2022-06-24 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4575,9 +4972,10 @@
 
 [IsaNet]
 2022-06-24 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Isabelle_C]
 2019-12-19 = "2019"
@@ -4587,7 +4985,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Isabelle_DOF]
 2024-05-17 = "2023"
 2024-05-26 = "2024"
@@ -4590,7 +4989,8 @@
 
 [Isabelle_DOF]
 2024-05-17 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Isabelle_Marries_Dirac]
 2020-11-30 = "2020"
@@ -4600,6 +5000,7 @@
 2023-09-13 = "2023"
 2023-09-25 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Isabelle_Meta_Model]
 2015-09-25 = "2015"
@@ -4615,7 +5016,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Isabelle_hoops]
 2024-01-23 = "2023"
 2024-05-26 = "2024"
@@ -4618,7 +5020,8 @@
 
 [Isabelle_hoops]
 2024-01-23 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Jacobson_Basic_Algebra]
 2019-09-01 = "2019"
@@ -4628,6 +5031,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Jinja]
 2005-10-14 = "2005"
@@ -4656,6 +5060,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [JinjaDCI]
 2021-01-13 = "2020"
@@ -4664,6 +5069,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [JinjaThreads]
 2007-12-03 = "2007"
@@ -4692,6 +5098,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [JiveDataStoreModel]
 2005-10-14 = "2005"
@@ -4719,6 +5126,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Jordan_Hoelder]
 2014-09-11 = "2014"
@@ -4734,6 +5142,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Jordan_Normal_Form]
 2015-08-23 = "2015"
@@ -4748,6 +5157,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [KAD]
 2016-04-12 = "2016"
@@ -4761,6 +5171,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [KAT_and_DRA]
 2014-01-29 = "2013-2"
@@ -4777,6 +5188,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [KBPs]
 2011-05-19 = "2011"
@@ -4799,6 +5211,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [KD_Tree]
 2019-06-04 = "2018"
@@ -4809,7 +5222,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Karatsuba]
 2024-02-20 = "2023"
 2024-05-26 = "2024"
@@ -4812,7 +5226,8 @@
 
 [Karatsuba]
 2024-02-20 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Karatsuba_Sqrt]
 2024-10-09 = "2024"
@@ -4816,6 +5231,7 @@
 
 [Karatsuba_Sqrt]
 2024-10-09 = "2024"
+2025-03-17 = "2025"
 
 [Key_Agreement_Strong_Adversaries]
 2017-02-03 = "2016-1"
@@ -4828,9 +5244,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Khovanskii_Theorem]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4831,9 +5248,10 @@
 
 [Khovanskii_Theorem]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Kleene_Algebra]
 2013-01-16 = "2012"
@@ -4854,8 +5272,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Kneser_Cauchy_Davenport]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4857,8 +5276,9 @@
 
 [Kneser_Cauchy_Davenport]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Knights_Tour]
 2022-01-04 = "2021-1"
@@ -4866,6 +5286,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Knot_Theory]
 2016-01-20 = "2015"
@@ -4880,7 +5301,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [KnuthMorrisPratt]
 2023-12-12 = "2023"
 2024-05-26 = "2024"
@@ -4883,7 +5305,8 @@
 
 [KnuthMorrisPratt]
 2023-12-12 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Knuth_Bendix_Order]
 2020-05-15 = "2020"
@@ -4893,6 +5316,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Knuth_Morris_Pratt]
 2017-12-18 = "2017"
@@ -4904,6 +5328,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Koenigsberg_Friendship]
 2013-07-26 = "2013"
@@ -4922,6 +5347,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Kruskal]
 2019-02-19 = "2018"
@@ -4932,7 +5358,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Kummer_Congruence]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
@@ -4935,7 +5362,8 @@
 
 [Kummer_Congruence]
 2024-03-29 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Kuratowski_Closure_Complement]
 2017-10-27 = "2017"
@@ -4947,7 +5375,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LL1_Parser]
 2024-05-10 = "2023"
 2024-05-26 = "2024"
@@ -4950,7 +5379,8 @@
 
 [LL1_Parser]
 2024-05-10 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LLL_Basis_Reduction]
 2018-02-03 = "2017"
@@ -4963,6 +5393,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LLL_Factorization]
 2018-02-07 = "2017"
@@ -4974,6 +5405,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LOFT]
 2016-10-21 = "2016"
@@ -4987,9 +5419,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LP_Duality]
 2022-02-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -4990,9 +5423,10 @@
 
 [LP_Duality]
 2022-02-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LTL]
 2016-03-02 = "2016"
@@ -5006,6 +5440,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LTL3_Semantics]
 2024-09-02 = "2024"
@@ -5009,6 +5444,7 @@
 
 [LTL3_Semantics]
 2024-09-02 = "2024"
+2025-03-17 = "2025"
 
 [LTL_Master_Theorem]
 2019-04-17 = "2018"
@@ -5019,6 +5455,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LTL_Normal_Form]
 2020-05-09 = "2020"
@@ -5027,6 +5464,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LTL_to_DRA]
 2015-09-04 = "2015"
@@ -5041,6 +5479,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LTL_to_GBA]
 2014-05-29 = "2013-2"
@@ -5057,7 +5496,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Labeled_Transition_Systems]
 2023-11-17 = "2023"
 2024-05-26 = "2024"
@@ -5060,7 +5500,8 @@
 
 [Labeled_Transition_Systems]
 2023-11-17 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lam-ml-Normalization]
 2010-09-01 = "2009-2"
@@ -5083,6 +5524,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LambdaAuth]
 2019-05-15 = "2018"
@@ -5093,6 +5535,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LambdaMu]
 2017-08-21 = "2016-1"
@@ -5105,6 +5548,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lambda_Free_EPO]
 2018-10-21 = "2018"
@@ -5115,6 +5559,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lambda_Free_KBOs]
 2016-12-17 = "2016-1"
@@ -5127,6 +5572,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lambda_Free_RPOs]
 2016-12-17 = "2016-1"
@@ -5139,7 +5585,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lambert_Series]
 2023-11-28 = "2023"
 2024-05-26 = "2024"
@@ -5142,7 +5589,8 @@
 
 [Lambert_Series]
 2023-11-28 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lambert_W]
 2020-04-29 = "2020"
@@ -5152,6 +5600,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Landau_Symbols]
 2015-07-15 = "2015"
@@ -5166,6 +5615,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Laplace_Transform]
 2019-08-16 = "2019"
@@ -5175,6 +5625,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Latin_Square]
 2015-12-03 = "2015"
@@ -5189,6 +5640,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LatticeProperties]
 2011-09-27 = "2011"
@@ -5211,6 +5663,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Launchbury]
 2013-02-24 = "2013"
@@ -5232,6 +5685,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Laws_of_Large_Numbers]
 2021-02-11 = "2020"
@@ -5240,6 +5694,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lazy-Lists-II]
 2004-04-27 = "2004"
@@ -5269,6 +5724,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lazy_Case]
 2017-04-20 = "2016-1"
@@ -5281,6 +5737,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lehmer]
 2013-11-17 = "2013-1"
@@ -5298,6 +5755,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Levy_Prokhorov_Metric]
 2024-06-11 = "2024"
@@ -5301,6 +5759,7 @@
 
 [Levy_Prokhorov_Metric]
 2024-06-11 = "2024"
+2025-03-17 = "2025"
 
 [Lie_Groups]
 2024-08-01 = "2024"
@@ -5304,6 +5763,7 @@
 
 [Lie_Groups]
 2024-08-01 = "2024"
+2025-03-17 = "2025"
 
 [Lifting_Definition_Option]
 2014-10-15 = "2014"
@@ -5319,6 +5779,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lifting_the_Exponent]
 2021-05-31 = "2021"
@@ -5326,6 +5787,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LightweightJava]
 2011-03-02 = "2011"
@@ -5347,6 +5809,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LinearQuantifierElim]
 2008-01-11 = "2007"
@@ -5376,6 +5839,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Linear_Diophantine_Preprocessor]
 2024-06-19 = "2024"
@@ -5379,6 +5843,7 @@
 
 [Linear_Diophantine_Preprocessor]
 2024-06-19 = "2024"
+2025-03-17 = "2025"
 
 [Linear_Inequalities]
 2019-06-24 = "2019"
@@ -5388,6 +5853,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Linear_Programming]
 2019-09-23 = "2019"
@@ -5397,6 +5863,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Linear_Recurrences]
 2017-10-17 = "2017"
@@ -5408,6 +5875,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Liouville_Numbers]
 2016-01-05 = "2015"
@@ -5422,6 +5890,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [List-Index]
 2010-02-20 = "2009-1"
@@ -5445,6 +5914,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [List-Infinite]
 2011-02-24 = "2011"
@@ -5467,6 +5937,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [List_Interleaving]
 2015-06-13 = "2015"
@@ -5481,6 +5952,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [List_Inversions]
 2019-02-21 = "2018"
@@ -5491,6 +5963,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [List_Power]
 2025-02-23 = "2024"
@@ -5494,6 +5967,7 @@
 
 [List_Power]
 2025-02-23 = "2024"
+2025-03-17 = "2025"
 
 [List_Update]
 2016-02-22 = "2016"
@@ -5509,6 +5983,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [LocalLexing]
 2017-04-28 = "2016-1"
@@ -5521,6 +5996,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Localization_Ring]
 2018-06-17 = "2017"
@@ -5532,6 +6008,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Locally-Nameless-Sigma]
 2010-05-03 = "2009-1"
@@ -5555,6 +6032,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Logging_Independent_Anonymity]
 2021-09-05 = "2021"
@@ -5562,7 +6040,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lovasz_Local]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
@@ -5565,7 +6044,8 @@
 
 [Lovasz_Local]
 2023-09-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lowe_Ontological_Argument]
 2017-10-16 = "2017"
@@ -5577,6 +6057,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lower_Semicontinuous]
 2011-02-11 = "2011"
@@ -5598,6 +6079,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lp]
 2016-12-17 = "2016-1"
@@ -5610,6 +6092,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Lucas_Theorem]
 2020-04-21 = "2020"
@@ -5618,9 +6101,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MDP-Algorithms]
 2021-12-28 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5621,12 +6105,13 @@
 
 [MDP-Algorithms]
 2021-12-28 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MDP-Rewards]
 2021-12-28 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5627,9 +6112,10 @@
 
 [MDP-Rewards]
 2021-12-28 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MFMC_Countable]
 2016-05-09 = "2016"
@@ -5643,6 +6129,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MFODL_Monitor_Optimized]
 2020-04-11 = "2019"
@@ -5653,7 +6140,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MFOTL_Checker]
 2024-04-19 = "2023"
 2024-05-26 = "2024"
@@ -5656,7 +6144,8 @@
 
 [MFOTL_Checker]
 2024-04-19 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MFOTL_Monitor]
 2019-07-05 = "2019"
@@ -5666,8 +6155,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MHComputation]
 2023-05-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5669,10 +6159,11 @@
 
 [MHComputation]
 2023-05-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MLSS_Decision_Proc]
 2023-05-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5674,9 +6165,10 @@
 
 [MLSS_Decision_Proc]
 2023-05-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ML_Unification]
 2023-10-04 = "2023"
 2024-05-26 = "2024"
@@ -5679,7 +6171,8 @@
 
 [ML_Unification]
 2023-10-04 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MSO_Regex_Equivalence]
 2014-06-12 = "2013-2"
@@ -5696,6 +6189,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Markov_Models]
 2012-01-05 = "2011-1"
@@ -5717,6 +6211,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Marriage]
 2010-12-17 = "2009-2"
@@ -5739,7 +6234,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Martingales]
 2023-12-06 = "2023"
 2024-05-26 = "2024"
@@ -5742,7 +6238,8 @@
 
 [Martingales]
 2023-12-06 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Mason_Stothers]
 2017-12-22 = "2017"
@@ -5754,6 +6251,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Matrices_for_ODEs]
 2020-05-09 = "2020"
@@ -5762,6 +6260,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Matrix]
 2010-06-17 = "2009-1"
@@ -5785,6 +6284,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Matrix_Tensor]
 2016-01-18 = "2015"
@@ -5800,6 +6300,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Matroids]
 2018-11-20 = "2018"
@@ -5810,6 +6311,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Max-Card-Matching]
 2011-08-15 = "2011"
@@ -5832,9 +6334,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Maximum_Segment_Sum]
 2022-09-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5835,12 +6338,13 @@
 
 [Maximum_Segment_Sum]
 2022-09-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Median_Method]
 2022-01-25 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -5841,9 +6345,10 @@
 
 [Median_Method]
 2022-01-25 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Median_Of_Medians_Selection]
 2017-12-22 = "2017"
@@ -5855,6 +6360,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Menger]
 2017-02-27 = "2016-1"
@@ -5867,6 +6373,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Mereology]
 2021-03-05 = "2021"
@@ -5874,6 +6381,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Mersenne_Primes]
 2020-01-20 = "2019"
@@ -5883,6 +6391,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Metalogic_ProofChecker]
 2021-04-28 = "2021"
@@ -5890,6 +6399,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Min_Max_Least_Greatest]
 2024-10-30 = "2024"
@@ -5893,6 +6403,7 @@
 
 [Min_Max_Least_Greatest]
 2024-10-30 = "2024"
+2025-03-17 = "2025"
 
 [MiniML]
 2004-03-23 = "2003"
@@ -5926,6 +6437,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MiniSail]
 2021-06-25 = "2021"
@@ -5933,6 +6445,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Minimal_SSA]
 2017-01-19 = "2016-1"
@@ -5945,6 +6458,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Minkowskis_Theorem]
 2017-07-15 = "2016-1"
@@ -5957,6 +6471,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Minsky_Machines]
 2018-08-14 = "2017"
@@ -5968,6 +6483,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Mission_Time_LTL]
 2025-01-28 = "2024"
@@ -5971,6 +6487,7 @@
 
 [Mission_Time_LTL]
 2025-01-28 = "2024"
+2025-03-17 = "2025"
 
 [Mission_Time_LTL_Language_Partition]
 2025-03-04 = "2024"
@@ -5974,6 +6491,7 @@
 
 [Mission_Time_LTL_Language_Partition]
 2025-03-04 = "2024"
+2025-03-17 = "2025"
 
 [Mission_Time_LTL_to_Regular_Expression]
 2025-01-28 = "2024"
@@ -5977,6 +6495,7 @@
 
 [Mission_Time_LTL_to_Regular_Expression]
 2025-01-28 = "2024"
+2025-03-17 = "2025"
 
 [Modal_Logics_for_NTS]
 2016-10-25 = "2016"
@@ -5991,6 +6510,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Modular_Assembly_Kit_Security]
 2018-05-09 = "2017"
@@ -6002,6 +6522,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Modular_arithmetic_LLL_and_HNF_algorithms]
 2021-03-14 = "2021"
@@ -6009,6 +6530,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Monad_Memo_DP]
 2018-05-23 = "2017"
@@ -6021,6 +6543,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Monad_Normalisation]
 2017-05-11 = "2016-1"
@@ -6033,6 +6556,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MonoBoolTranAlgebra]
 2011-09-27 = "2011"
@@ -6054,6 +6578,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [MonoidalCategory]
 2017-05-05 = "2016-1"
@@ -6066,6 +6591,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Monomorphic_Monad]
 2017-05-11 = "2016-1"
@@ -6078,6 +6604,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [More_LazyLists]
 2024-06-05 = "2024"
@@ -6081,6 +6608,7 @@
 
 [More_LazyLists]
 2024-06-05 = "2024"
+2025-03-17 = "2025"
 
 [MuchAdoAboutTwo]
 2007-11-27 = "2007"
@@ -6108,6 +6636,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Multi_Party_Computation]
 2019-05-10 = "2018"
@@ -6118,6 +6647,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Multirelations]
 2015-06-13 = "2015"
@@ -6132,8 +6662,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Multirelations_Heterogeneous]
 2023-06-09 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6135,11 +6666,12 @@
 
 [Multirelations_Heterogeneous]
 2023-06-09 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Multiset_Ordering_NPC]
 2022-04-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6140,11 +6672,12 @@
 
 [Multiset_Ordering_NPC]
 2022-04-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Multitape_To_Singletape_TM]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6146,8 +6679,9 @@
 
 [Multitape_To_Singletape_TM]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Myhill-Nerode]
 2011-10-11 = "2011-1"
@@ -6169,6 +6703,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [NREST]
 2024-09-18 = "2024"
@@ -6172,6 +6707,7 @@
 
 [NREST]
 2024-09-18 = "2024"
+2025-03-17 = "2025"
 
 [Name_Carrying_Type_Inference]
 2017-07-15 = "2016-1"
@@ -6184,9 +6720,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Nano_JSON]
 2022-08-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6187,9 +6724,10 @@
 
 [Nano_JSON]
 2022-08-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Nash_Williams]
 2020-06-02 = "2020"
@@ -6198,6 +6736,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Nat-Interval-Logic]
 2011-02-24 = "2011"
@@ -6219,6 +6758,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Native_Word]
 2013-11-17 = "2013-1"
@@ -6236,6 +6776,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Negative_Association]
 2025-01-20 = "2024"
@@ -6239,6 +6780,7 @@
 
 [Negative_Association]
 2025-01-20 = "2024"
+2025-03-17 = "2025"
 
 [Nested_Multisets_Ordinals]
 2016-12-17 = "2016-1"
@@ -6251,6 +6793,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Network_Security_Policy_Verification]
 2014-07-09 = "2013-2"
@@ -6267,6 +6810,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Neumann_Morgenstern_Utility]
 2018-07-04 = "2017"
@@ -6278,6 +6822,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [No_FTL_observers]
 2016-04-28 = "2016"
@@ -6291,8 +6836,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [No_FTL_observers_Gen_Rel]
 2023-03-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6294,8 +6840,9 @@
 
 [No_FTL_observers_Gen_Rel]
 2023-03-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Nominal2]
 2013-02-24 = "2013"
@@ -6311,7 +6858,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Nominal_Myhill_Nerode]
 2023-11-16 = "2023"
 2024-05-26 = "2024"
@@ -6314,7 +6862,8 @@
 
 [Nominal_Myhill_Nerode]
 2023-11-16 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_CSP]
 2014-05-24 = "2013-2"
@@ -6332,6 +6881,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_Concurrent_Composition]
 2016-06-13 = "2016"
@@ -6345,6 +6895,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_Generic_Unwinding]
 2015-06-13 = "2015"
@@ -6359,6 +6910,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_Inductive_Unwinding]
 2015-08-19 = "2015"
@@ -6373,6 +6925,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_Ipurge_Unwinding]
 2015-06-13 = "2015"
@@ -6387,6 +6940,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Noninterference_Sequential_Composition]
 2016-04-26 = "2016"
@@ -6400,6 +6954,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [NormByEval]
 2008-02-18 = "2007"
@@ -6427,7 +6982,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Notes_On_Goedels_Ontological_Argument]
 2025-01-07 = "2024"
 2025-01-17 = "2024"
@@ -6430,7 +6986,8 @@
 
 [Notes_On_Goedels_Ontological_Argument]
 2025-01-07 = "2024"
 2025-01-17 = "2024"
+2025-03-17 = "2025"
 
 [Nullstellensatz]
 2019-06-17 = "2019"
@@ -6440,9 +6997,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Number_Theoretic_Transform]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6443,9 +7001,10 @@
 
 [Number_Theoretic_Transform]
 2022-09-07 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Octonions]
 2018-09-16 = "2018"
@@ -6456,7 +7015,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [OmegaCatoidsQuantales]
 2024-02-01 = "2023"
 2024-05-26 = "2024"
@@ -6459,7 +7019,8 @@
 
 [OmegaCatoidsQuantales]
 2024-02-01 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [OpSets]
 2018-05-25 = "2017"
@@ -6471,6 +7032,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Open_Induction]
 2013-02-16 = "2013"
@@ -6490,6 +7052,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Optics]
 2017-06-01 = "2016-1"
@@ -6502,6 +7065,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Optimal_BST]
 2018-05-29 = "2017"
@@ -6513,6 +7077,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Orbit_Stabiliser]
 2017-08-23 = "2016-1"
@@ -6525,6 +7090,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Order_Lattice_Props]
 2018-12-19 = "2018"
@@ -6536,6 +7102,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ordered_Resolution_Prover]
 2018-01-22 = "2017"
@@ -6547,6 +7114,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ordinal]
 2005-11-16 = "2005"
@@ -6574,6 +7142,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ordinal_Partitions]
 2020-08-18 = "2020"
@@ -6582,6 +7151,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ordinals_and_Cardinals]
 2009-09-07 = "2009"
@@ -6607,6 +7177,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ordinary_Differential_Equations]
 2012-05-24 = "2012"
@@ -6626,7 +7197,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Orient_Rewrite_Rule_Undecidable]
 2024-05-03 = "2023"
 2024-05-26 = "2024"
@@ -6629,7 +7201,8 @@
 
 [Orient_Rewrite_Rule_Undecidable]
 2024-05-03 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PAC_Checker]
 2020-08-31 = "2020"
@@ -6638,6 +7211,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PAL]
 2021-11-14 = "2021"
@@ -6645,8 +7219,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PAPP_Impossibility]
 2022-11-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6648,8 +7223,9 @@
 
 [PAPP_Impossibility]
 2022-11-18 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PCF]
 2012-07-03 = "2012"
@@ -6669,6 +7245,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PLM]
 2017-09-19 = "2016-1"
@@ -6681,7 +7258,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PNT_with_Remainder]
 2024-05-08 = "2023"
 2024-05-26 = "2024"
@@ -6684,7 +7262,8 @@
 
 [PNT_with_Remainder]
 2024-05-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [POPLmark-deBruijn]
 2007-11-27 = "2007"
@@ -6712,6 +7291,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PSemigroupsConvolution]
 2017-06-13 = "2016-1"
@@ -6724,9 +7304,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Package_logic]
 2022-05-27 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6727,12 +7308,13 @@
 
 [Package_logic]
 2022-05-27 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Padic_Field]
 2022-09-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6733,9 +7315,10 @@
 
 [Padic_Field]
 2022-09-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Padic_Ints]
 2021-05-14 = "2021"
@@ -6743,6 +7326,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pairing_Heap]
 2016-12-17 = "2016-1"
@@ -6755,6 +7339,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Paraconsistency]
 2016-12-08 = "2016"
@@ -6768,6 +7353,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Parallel_Shear_Sort]
 2024-09-30 = "2024"
@@ -6771,6 +7357,7 @@
 
 [Parallel_Shear_Sort]
 2024-09-30 = "2024"
+2025-03-17 = "2025"
 
 [Parity_Game]
 2015-11-02 = "2015"
@@ -6785,6 +7372,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Partial_Function_MR]
 2014-02-19 = "2013-2"
@@ -6801,6 +7389,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Partial_Order_Reduction]
 2018-08-16 = "2018"
@@ -6811,6 +7400,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Password_Authentication_Protocol]
 2017-01-06 = "2016-1"
@@ -6823,6 +7413,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pattern_Completeness]
 2024-06-03 = "2024"
@@ -6826,6 +7417,7 @@
 
 [Pattern_Completeness]
 2024-06-03 = "2024"
+2025-03-17 = "2025"
 
 [Pell]
 2018-06-25 = "2017"
@@ -6837,6 +7429,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Perfect-Number-Thm]
 2009-11-24 = "2009"
@@ -6861,7 +7454,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Perfect_Fields]
 2023-11-13 = "2023"
 2024-05-26 = "2024"
@@ -6864,7 +7458,8 @@
 
 [Perfect_Fields]
 2023-11-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Perron_Frobenius]
 2016-05-20 = "2016"
@@ -6879,6 +7474,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Physical_Quantities]
 2020-10-28 = "2020"
@@ -6887,6 +7483,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pi_Calculus]
 2012-06-14 = "2012"
@@ -6906,6 +7503,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pi_Irrational]
 2024-09-13 = "2024"
@@ -6909,6 +7507,7 @@
 
 [Pi_Irrational]
 2024-09-13 = "2024"
+2025-03-17 = "2025"
 
 [Pi_Transcendental]
 2018-10-02 = "2018"
@@ -6919,7 +7518,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Picks_Theorem]
 2024-05-01 = "2023"
 2024-05-26 = "2024"
@@ -6922,7 +7522,8 @@
 
 [Picks_Theorem]
 2024-05-01 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Planarity_Certificates]
 2016-02-22 = "2016"
@@ -6936,9 +7537,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pluennecke_Ruzsa_Inequality]
 2022-05-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6939,9 +7541,10 @@
 
 [Pluennecke_Ruzsa_Inequality]
 2022-05-30 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Poincare_Bendixson]
 2019-12-18 = "2019"
@@ -6951,6 +7554,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Poincare_Disc]
 2020-01-17 = "2019"
@@ -6960,8 +7564,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polygonal_Number_Theorem]
 2023-08-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -6963,9 +7568,10 @@
 
 [Polygonal_Number_Theorem]
 2023-08-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polylog]
 2023-11-22 = "2023"
 2024-05-26 = "2024"
@@ -6968,8 +7574,9 @@
 
 [Polylog]
 2023-11-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polynomial_Crit_Geometry]
 2023-11-21 = "2023"
 2024-05-26 = "2024"
@@ -6972,7 +7579,8 @@
 
 [Polynomial_Crit_Geometry]
 2023-11-21 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polynomial_Factorization]
 2016-02-22 = "2016"
@@ -6986,6 +7594,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polynomial_Interpolation]
 2016-02-22 = "2016"
@@ -6999,6 +7608,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Polynomials]
 2010-08-11 = "2009-2"
@@ -7022,6 +7632,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pop_Refinement]
 2014-07-03 = "2013-2"
@@ -7038,6 +7649,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Posix-Lexing]
 2016-05-24 = "2016"
@@ -7051,6 +7663,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Possibilistic_Noninterference]
 2012-09-10 = "2012"
@@ -7070,6 +7683,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Power_Sum_Polynomials]
 2020-04-30 = "2020"
@@ -7078,6 +7692,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pratt_Certificate]
 2013-07-29 = "2013"
@@ -7096,9 +7711,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prefix_Free_Code_Combinators]
 2022-04-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7099,9 +7715,10 @@
 
 [Prefix_Free_Code_Combinators]
 2022-04-19 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Presburger-Automata]
 2009-12-12 = "2009-1"
@@ -7126,6 +7743,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prim_Dijkstra_Simple]
 2019-06-29 = "2019"
@@ -7135,6 +7753,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prime_Distribution_Elementary]
 2019-02-22 = "2018"
@@ -7145,6 +7764,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prime_Harmonic_Series]
 2016-01-05 = "2015"
@@ -7159,6 +7779,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prime_Number_Theorem]
 2018-09-20 = "2018"
@@ -7169,6 +7790,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Priority_Queue_Braun]
 2014-09-04 = "2014"
@@ -7184,6 +7806,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Priority_Search_Trees]
 2019-06-29 = "2019"
@@ -7193,6 +7816,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probabilistic_Noninterference]
 2014-03-16 = "2013-2"
@@ -7209,6 +7833,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probabilistic_Prime_Tests]
 2019-02-15 = "2018"
@@ -7219,6 +7844,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probabilistic_System_Zoo]
 2015-05-28 = "2015"
@@ -7233,6 +7859,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probabilistic_Timed_Automata]
 2018-05-25 = "2017"
@@ -7244,6 +7871,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probabilistic_While]
 2017-05-11 = "2016-1"
@@ -7256,8 +7884,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Probability_Inequality_Completeness]
 2023-03-07 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7259,8 +7888,12 @@
 
 [Probability_Inequality_Completeness]
 2023-03-07 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
+
+[ProcessComposition]
+2025-03-17 = "2025"
 
 [Program-Conflict-Analysis]
 2007-12-20 = "2007"
@@ -7288,6 +7921,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Progress_Tracking]
 2021-04-16 = "2021"
@@ -7295,6 +7929,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Projective_Geometry]
 2018-06-15 = "2017"
@@ -7306,6 +7941,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Projective_Measurements]
 2021-03-09 = "2021"
@@ -7313,6 +7949,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Promela]
 2014-05-29 = "2013-2"
@@ -7329,6 +7966,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Proof_Strategy_Language]
 2016-12-21 = "2016-1"
@@ -7341,6 +7979,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PropResPI]
 2016-03-11 = "2016"
@@ -7354,6 +7993,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prop_Compactness]
 2024-08-30 = "2024"
@@ -7357,8 +7997,9 @@
 
 [Prop_Compactness]
 2024-08-30 = "2024"
+2025-03-17 = "2025"
 
 [Propositional_Logic_Class]
 2023-01-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7360,8 +8001,9 @@
 
 [Propositional_Logic_Class]
 2023-01-11 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Propositional_Proof_Systems]
 2017-06-22 = "2016-1"
@@ -7374,6 +8016,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Prpu_Maxflow]
 2017-06-02 = "2016-1"
@@ -7387,6 +8030,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [PseudoHoops]
 2011-09-27 = "2011"
@@ -7408,6 +8052,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Psi_Calculi]
 2012-06-14 = "2012"
@@ -7427,6 +8072,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ptolemys_Theorem]
 2016-08-08 = "2016"
@@ -7440,6 +8086,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Public_Announcement_Logic]
 2021-06-25 = "2021"
@@ -7447,7 +8094,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pushdown_Systems]
 2023-11-17 = "2023"
 2024-05-26 = "2024"
@@ -7450,8 +8098,9 @@
 
 [Pushdown_Systems]
 2023-11-17 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Q0_Metatheory]
 2023-11-15 = "2023"
 2024-05-26 = "2024"
@@ -7454,8 +8103,9 @@
 
 [Q0_Metatheory]
 2023-11-15 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Q0_Soundness]
 2023-11-26 = "2023"
 2024-05-26 = "2024"
@@ -7458,8 +8108,9 @@
 
 [Q0_Soundness]
 2023-11-26 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [QBF_Solver_Verification]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
@@ -7462,7 +8113,8 @@
 
 [QBF_Solver_Verification]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [QHLProver]
 2019-03-25 = "2018"
@@ -7473,6 +8125,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [QR_Decomposition]
 2015-02-13 = "2014"
@@ -7488,6 +8141,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quantales]
 2018-12-19 = "2018"
@@ -7498,8 +8152,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quantales_Converse]
 2023-08-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7501,11 +8156,12 @@
 
 [Quantales_Converse]
 2023-08-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quantifier_Elimination_Hybrid]
 2022-12-16 = "2022"
 2023-01-12 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7506,9 +8162,10 @@
 
 [Quantifier_Elimination_Hybrid]
 2022-12-16 = "2022"
 2023-01-12 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quantum_Fourier_Transform]
 2025-02-21 = "2024"
@@ -7512,9 +8169,10 @@
 
 [Quantum_Fourier_Transform]
 2025-02-21 = "2024"
+2025-03-17 = "2025"
 
 [Quasi_Borel_Spaces]
 2022-02-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7515,9 +8173,10 @@
 
 [Quasi_Borel_Spaces]
 2022-02-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quaternions]
 2018-09-07 = "2018"
@@ -7528,9 +8187,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Query_Optimization]
 2022-10-05 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7531,9 +8191,10 @@
 
 [Query_Optimization]
 2022-10-05 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Quick_Sort_Cost]
 2017-03-16 = "2016-1"
@@ -7546,6 +8207,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [RIPEMD-160-SPARK]
 2011-01-19 = "2009-2"
@@ -7568,6 +8230,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ROBDD]
 2016-04-27 = "2016"
@@ -7581,6 +8244,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [RSAPSS]
 2005-10-14 = "2005"
@@ -7609,6 +8273,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ramsey-Infinite]
 2004-09-20 = "2004"
@@ -7638,6 +8303,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ramsey_Bounds]
 2024-09-02 = "2024"
@@ -7641,6 +8307,7 @@
 
 [Ramsey_Bounds]
 2024-09-02 = "2024"
+2025-03-17 = "2025"
 
 [Random_BSTs]
 2017-04-04 = "2016-1"
@@ -7653,6 +8320,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Random_Graph_Subgraph_Threshold]
 2014-02-14 = "2013-2"
@@ -7669,6 +8337,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Randomised_BSTs]
 2018-10-19 = "2018"
@@ -7679,6 +8348,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Randomised_Social_Choice]
 2016-05-05 = "2016"
@@ -7692,6 +8362,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Randomized_Closest_Pair]
 2024-09-23 = "2024"
@@ -7695,6 +8366,7 @@
 
 [Randomized_Closest_Pair]
 2024-09-23 = "2024"
+2025-03-17 = "2025"
 
 [Rank_Nullity_Theorem]
 2013-01-16 = "2012"
@@ -7714,6 +8386,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Real_Impl]
 2014-02-11 = "2013-2"
@@ -7730,6 +8403,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Real_Power]
 2021-11-09 = "2021"
@@ -7737,6 +8411,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Real_Time_Deque]
 2022-06-30 = "2021-1"
@@ -7744,6 +8419,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Recursion-Addition]
 2020-05-13 = "2020"
@@ -7752,6 +8428,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Recursion-Theory-I]
 2008-04-11 = "2007"
@@ -7778,6 +8455,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Refine_Imperative_HOL]
 2016-08-08 = "2016"
@@ -7791,6 +8469,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Refine_Monadic]
 2012-02-10 = "2011-1"
@@ -7811,6 +8490,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [RefinementReactive]
 2014-10-08 = "2014"
@@ -7826,6 +8506,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Regex_Equivalence]
 2014-01-30 = "2013-2"
@@ -7843,7 +8524,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Region_Quadtrees]
 2024-01-31 = "2023"
 2024-05-26 = "2024"
@@ -7846,7 +8528,8 @@
 
 [Region_Quadtrees]
 2024-01-31 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Registers]
 2021-11-07 = "2021"
@@ -7854,6 +8537,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Regression_Test_Selection]
 2021-05-03 = "2021"
@@ -7861,6 +8545,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Regular-Sets]
 2010-07-01 = "2009-2"
@@ -7884,6 +8569,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Regular_Algebras]
 2014-05-22 = "2013-2"
@@ -7900,9 +8586,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Regular_Tree_Relations]
 2021-12-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7903,9 +8590,10 @@
 
 [Regular_Tree_Relations]
 2021-12-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relation_Algebra]
 2014-01-25 = "2013-2"
@@ -7923,6 +8611,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational-Incorrectness-Logic]
 2020-03-26 = "2019"
@@ -7932,7 +8621,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Cardinality]
 2023-09-26 = "2023"
 2024-05-26 = "2024"
@@ -7935,7 +8625,8 @@
 
 [Relational_Cardinality]
 2023-09-26 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Disjoint_Set_Forests]
 2020-08-26 = "2020"
@@ -7944,6 +8635,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Forests]
 2021-08-08 = "2021"
@@ -7951,6 +8643,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Method]
 2020-12-07 = "2020"
@@ -7960,6 +8653,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Minimum_Spanning_Trees]
 2020-12-08 = "2020"
@@ -7968,6 +8662,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relational_Paths]
 2020-07-28 = "2020"
@@ -7976,6 +8671,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relative_Security]
 2024-06-05 = "2024"
@@ -7979,8 +8675,9 @@
 
 [Relative_Security]
 2024-06-05 = "2024"
+2025-03-17 = "2025"
 
 [Rensets]
 2023-03-02 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -7982,8 +8679,9 @@
 
 [Rensets]
 2023-03-02 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Rep_Fin_Groups]
 2015-08-12 = "2015"
@@ -7998,9 +8696,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ResiduatedTransitionSystem]
 2022-03-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8001,9 +8700,10 @@
 
 [ResiduatedTransitionSystem]
 2022-03-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ResiduatedTransitionSystem2]
 2024-06-17 = "2024"
@@ -8007,6 +8707,7 @@
 
 [ResiduatedTransitionSystem2]
 2024-06-17 = "2024"
+2025-03-17 = "2025"
 
 [Residuated_Lattices]
 2015-04-16 = "2014"
@@ -8023,6 +8724,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Resolution_FOL]
 2016-06-30 = "2016"
@@ -8036,9 +8738,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Rewrite_Properties_Reduction]
 2022-06-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8039,9 +8742,10 @@
 
 [Rewrite_Properties_Reduction]
 2022-06-06 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Rewriting_Z]
 2016-06-30 = "2016"
@@ -8055,6 +8759,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Ribbon_Proofs]
 2013-02-16 = "2013"
@@ -8074,6 +8779,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Riesz_Representation]
 2024-06-11 = "2024"
@@ -8077,9 +8783,10 @@
 
 [Riesz_Representation]
 2024-06-11 = "2024"
+2025-03-17 = "2025"
 
 [Risk_Free_Lending]
 2022-09-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8080,9 +8787,10 @@
 
 [Risk_Free_Lending]
 2022-09-22 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Robbins-Conjecture]
 2010-05-27 = "2009-1"
@@ -8106,6 +8814,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Robinson_Arithmetic]
 2020-09-18 = "2020"
@@ -8114,6 +8823,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Rogers_Ramanujan]
 2025-01-24 = "2024"
@@ -8117,6 +8827,7 @@
 
 [Rogers_Ramanujan]
 2025-01-24 = "2024"
+2025-03-17 = "2025"
 
 [Root_Balanced_Tree]
 2017-08-20 = "2016-1"
@@ -8129,9 +8840,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Roth_Arithmetic_Progressions]
 2022-01-03 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8132,9 +8844,10 @@
 
 [Roth_Arithmetic_Progressions]
 2022-01-03 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Routing]
 2016-08-31 = "2016"
@@ -8148,6 +8861,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Roy_Floyd_Warshall]
 2014-05-24 = "2013-2"
@@ -8165,6 +8879,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [SATSolverVerification]
 2008-07-27 = "2008"
@@ -8288,6 +9003,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Safe_OCL]
 2019-03-14 = "2018"
@@ -8298,9 +9014,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Safe_Range_RC]
 2022-09-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -8301,9 +9018,10 @@
 
 [Safe_Range_RC]
 2022-09-29 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Saturation_Framework]
 2020-04-10 = "2019"
@@ -8920,6 +9638,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stewart_Apollonius]
 2017-08-01 = "2016-1"
@@ -8932,6 +9651,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stirling_Formula]
 2016-12-17 = "2016-1"
@@ -8944,6 +9664,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stochastic_Matrices]
 2017-11-23 = "2017"
@@ -8955,6 +9676,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stone_Algebras]
 2016-09-06 = "2016"
@@ -8969,6 +9691,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stone_Cech]
 2024-06-05 = "2024"
@@ -8972,6 +9695,7 @@
 
 [Stone_Cech]
 2024-06-05 = "2024"
+2025-03-17 = "2025"
 
 [Stone_Kleene_Relation_Algebras]
 2017-10-10 = "2017"
@@ -8983,6 +9707,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stone_Relation_Algebras]
 2017-02-09 = "2016-1"
@@ -8995,6 +9720,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Store_Buffer_Reduction]
 2019-01-11 = "2018"
@@ -9005,6 +9731,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stream-Fusion]
 2009-05-11 = "2009"
@@ -9030,6 +9757,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stream_Fusion_Code]
 2014-10-10 = "2014"
@@ -9046,9 +9774,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [StrictOmegaCategories]
 2023-01-16 = "2022"
 2023-09-13 = "2023"
 2023-09-25 = "2023"
 2024-05-26 = "2024"
@@ -9049,9 +9778,10 @@
 
 [StrictOmegaCategories]
 2023-01-16 = "2022"
 2023-09-13 = "2023"
 2023-09-25 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Strong_Security]
 2014-04-24 = "2013-2"
@@ -9068,6 +9798,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Sturm_Sequences]
 2014-01-12 = "2013-2"
@@ -9084,6 +9815,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Sturm_Tarski]
 2014-09-20 = "2014"
@@ -9101,6 +9833,7 @@
 2022-11-09 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Stuttering_Equivalence]
 2012-05-08 = "2011-1"
@@ -9122,6 +9855,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Subresultants]
 2017-04-07 = "2016-1"
@@ -9134,6 +9868,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Subset_Boolean_Algebras]
 2020-01-31 = "2019"
@@ -9143,7 +9878,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Substitutions_Lambda_Free]
 2024-05-03 = "2023"
 2024-05-26 = "2024"
@@ -9146,7 +9882,8 @@
 
 [Substitutions_Lambda_Free]
 2024-05-03 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [SuffixArray]
 2024-10-03 = "2024"
@@ -9150,6 +9887,7 @@
 
 [SuffixArray]
 2024-10-03 = "2024"
+2025-03-17 = "2025"
 
 [SumSquares]
 2007-11-27 = "2007"
@@ -9176,6 +9914,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Sum_Of_Squares_Count]
 2024-11-30 = "2024"
@@ -9179,7 +9918,8 @@
 
 [Sum_Of_Squares_Count]
 2024-11-30 = "2024"
+2025-03-17 = "2025"
 
 [Sumcheck_Protocol]
 2024-02-07 = "2023"
 2024-05-26 = "2024"
@@ -9182,7 +9922,8 @@
 
 [Sumcheck_Protocol]
 2024-02-07 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Sunflowers]
 2021-03-01 = "2021"
@@ -9190,6 +9931,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [SuperCalc]
 2016-09-06 = "2016"
@@ -9203,6 +9945,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Superposition_Calculus]
 2024-10-30 = "2024"
@@ -9206,8 +9949,9 @@
 
 [Superposition_Calculus]
 2024-10-30 = "2024"
+2025-03-17 = "2025"
 
 [Suppes_Theorem]
 2023-01-23 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9209,8 +9953,9 @@
 
 [Suppes_Theorem]
 2023-01-23 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Surprise_Paradox]
 2016-07-17 = "2016"
@@ -9224,6 +9969,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Symmetric_Polynomials]
 2018-09-26 = "2018"
@@ -9234,6 +9980,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Syntax_Independent_Logic]
 2020-09-18 = "2020"
@@ -9242,8 +9989,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Synthetic_Completeness]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9245,8 +9993,9 @@
 
 [Synthetic_Completeness]
 2023-01-10 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Szemeredi_Regularity]
 2021-11-07 = "2021"
@@ -9254,6 +10003,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Szpilrajn]
 2019-07-28 = "2019"
@@ -9263,6 +10013,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [TESL_Language]
 2019-07-31 = "2019"
@@ -9272,6 +10023,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [TLA]
 2011-11-27 = "2011-1"
@@ -9293,6 +10045,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Tail_Recursive_Functions]
 2013-12-02 = "2013-1"
@@ -9311,6 +10064,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Tarskis_Geometry]
 2012-11-08 = "2012"
@@ -9331,6 +10085,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Taylor_Models]
 2018-01-08 = "2017"
@@ -9342,6 +10097,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Theta_Functions]
 2025-01-24 = "2024"
@@ -9345,6 +10101,7 @@
 
 [Theta_Functions]
 2025-01-24 = "2024"
+2025-03-17 = "2025"
 
 [Three_Circles]
 2021-09-01 = "2021"
@@ -9352,8 +10109,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Three_Squares]
 2023-05-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9355,8 +10113,9 @@
 
 [Three_Squares]
 2023-05-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Timed_Automata]
 2016-03-11 = "2016"
@@ -9370,7 +10129,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Top_Down_Solver]
 2024-05-10 = "2023"
 2024-05-26 = "2024"
@@ -9373,7 +10133,8 @@
 
 [Top_Down_Solver]
 2024-05-10 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Topological_Groups]
 2024-08-27 = "2024"
@@ -9377,6 +10138,7 @@
 
 [Topological_Groups]
 2024-08-27 = "2024"
+2025-03-17 = "2025"
 
 [Topological_Semantics]
 2020-12-22 = "2020"
@@ -9385,6 +10147,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Topology]
 2004-04-27 = "2004"
@@ -9415,6 +10178,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [TortoiseHare]
 2016-02-22 = "2016"
@@ -9428,6 +10192,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transcendence_Series_Hancl_Rucki]
 2019-03-28 = "2018"
@@ -9438,6 +10203,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transformer_Semantics]
 2018-12-19 = "2018"
@@ -9448,6 +10214,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transition_Systems_and_Automata]
 2017-10-27 = "2017"
@@ -9459,6 +10226,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transitive-Closure]
 2011-03-14 = "2011"
@@ -9481,6 +10249,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transitive-Closure-II]
 2012-02-29 = "2011-1"
@@ -9502,9 +10271,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transitive_Models]
 2022-03-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9505,9 +10275,10 @@
 
 [Transitive_Models]
 2022-03-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Transitive_Union_Closed_Families]
 2025-02-01 = "2024"
@@ -9511,7 +10282,8 @@
 
 [Transitive_Union_Closed_Families]
 2025-02-01 = "2024"
+2025-03-17 = "2025"
 
 [Transport]
 2023-10-13 = "2023"
 2024-05-26 = "2024"
@@ -9514,7 +10286,8 @@
 
 [Transport]
 2023-10-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Treaps]
 2018-02-06 = "2017"
@@ -9527,6 +10300,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Tree-Automata]
 2009-11-29 = "2009"
@@ -9555,6 +10329,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Tree_Decomposition]
 2016-05-31 = "2016"
@@ -9569,8 +10344,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Tree_Enumeration]
 2023-05-17 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9572,8 +10348,9 @@
 
 [Tree_Enumeration]
 2023-05-17 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Triangle]
 2016-01-05 = "2015"
@@ -9588,6 +10365,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Trie]
 2015-03-30 = "2014"
@@ -9603,8 +10381,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [TsirelsonBound]
 2023-05-17 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9606,10 +10385,11 @@
 
 [TsirelsonBound]
 2023-05-17 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Turans_Graph_Theorem]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9611,8 +10391,9 @@
 
 [Turans_Graph_Theorem]
 2022-12-01 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Twelvefold_Way]
 2016-12-30 = "2016-1"
@@ -9625,8 +10406,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Two_Generated_Word_Monoids_Intersection]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9628,8 +10410,9 @@
 
 [Two_Generated_Word_Monoids_Intersection]
 2023-03-16 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Two_Hermitian_Results]
 2024-11-25 = "2024"
@@ -9633,6 +10416,7 @@
 
 [Two_Hermitian_Results]
 2024-11-25 = "2024"
+2025-03-17 = "2025"
 
 [Tycon]
 2012-06-28 = "2012"
@@ -9652,6 +10436,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Types_Tableaus_and_Goedels_God]
 2017-05-02 = "2016-1"
@@ -9664,6 +10449,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Types_To_Sets_Extension]
 2021-09-14 = "2021"
@@ -9672,6 +10458,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [UPF]
 2014-11-30 = "2014"
@@ -9688,6 +10475,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [UPF_Firewall]
 2017-01-11 = "2016-1"
@@ -9700,6 +10488,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [UTP]
 2019-02-06 = "2018"
@@ -9710,7 +10499,8 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Uncertainty_Principle]
 2024-04-08 = "2023"
 2024-05-26 = "2024"
@@ -9713,10 +10503,11 @@
 
 [Uncertainty_Principle]
 2024-04-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Undirected_Graph_Theory]
 2022-10-01 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9717,12 +10508,13 @@
 
 [Undirected_Graph_Theory]
 2022-10-01 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Universal_Hash_Families]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9723,9 +10515,10 @@
 
 [Universal_Hash_Families]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Universal_Turing_Machine]
 2019-02-12 = "2018"
@@ -9736,6 +10529,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [UpDown_Scheme]
 2015-01-30 = "2014"
@@ -9751,9 +10545,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VYDRA_MDL]
 2022-02-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9754,9 +10549,10 @@
 
 [VYDRA_MDL]
 2022-02-14 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Valuation]
 2007-11-27 = "2007"
@@ -9785,6 +10581,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Van_Emde_Boas_Trees]
 2021-11-26 = "2021"
@@ -9792,6 +10589,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Van_der_Waerden]
 2021-06-23 = "2021"
@@ -9799,6 +10597,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VectorSpace]
 2014-08-29 = "2014"
@@ -9816,6 +10615,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VeriComp]
 2020-02-25 = "2019"
@@ -9825,6 +10625,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Verified-Prover]
 2004-09-28 = "2004"
@@ -9854,6 +10655,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Verified_SAT_Based_AI_Planning]
 2020-11-03 = "2020"
@@ -9863,6 +10665,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VerifyThis2018]
 2018-04-30 = "2017"
@@ -9874,6 +10677,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VerifyThis2019]
 2019-10-25 = "2019"
@@ -9883,6 +10687,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Vickrey_Clarke_Groves]
 2015-04-30 = "2014"
@@ -9899,6 +10704,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Virtual_Substitution]
 2021-10-19 = "2021"
@@ -9906,6 +10712,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [VolpanoSmith]
 2008-09-05 = "2008"
@@ -9931,6 +10738,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [WHATandWHERE_Security]
 2014-04-24 = "2013-2"
@@ -9947,6 +10755,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [WOOT_Strong_Eventual_Consistency]
 2020-03-26 = "2019"
@@ -9956,6 +10765,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [WebAssembly]
 2018-04-29 = "2017"
@@ -9968,6 +10778,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Weight_Balanced_Trees]
 2018-03-13 = "2017"
@@ -9979,9 +10790,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Weighted_Arithmetic_Geometric_Mean]
 2022-07-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -9982,9 +10794,10 @@
 
 [Weighted_Arithmetic_Geometric_Mean]
 2022-07-11 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Weighted_Path_Order]
 2021-09-26 = "2021"
@@ -9992,6 +10805,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Well_Quasi_Orders]
 2012-05-24 = "2012"
@@ -10011,9 +10825,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Wetzels_Problem]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -10014,10 +10829,11 @@
 
 [Wetzels_Problem]
 2022-02-21 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Wieferich_Kempner]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
@@ -10020,7 +10836,8 @@
 
 [Wieferich_Kempner]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Winding_Number_Eval]
 2017-10-18 = "2017"
@@ -10032,6 +10849,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [With_Type]
 2024-09-05 = "2024"
@@ -10035,6 +10853,7 @@
 
 [With_Type]
 2024-09-05 = "2024"
+2025-03-17 = "2025"
 
 [Wlog]
 2024-09-06 = "2024"
@@ -10038,6 +10857,7 @@
 
 [Wlog]
 2024-09-06 = "2024"
+2025-03-17 = "2025"
 
 [Wooley_Elementary_Discrete_Inequality]
 2024-10-17 = "2024"
@@ -10041,6 +10861,7 @@
 
 [Wooley_Elementary_Discrete_Inequality]
 2024-10-17 = "2024"
+2025-03-17 = "2025"
 
 [Word_Lib]
 2016-06-09 = "2016"
@@ -10054,6 +10875,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [WorkerWrapper]
 2009-10-30 = "2009"
@@ -10079,6 +10901,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Worklist_Algorithms]
 2024-08-21 = "2024"
@@ -10082,6 +10905,7 @@
 
 [Worklist_Algorithms]
 2024-08-21 = "2024"
+2025-03-17 = "2025"
 
 [X86_Semantics]
 2021-10-31 = "2021"
@@ -10089,6 +10913,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [XML]
 2014-10-08 = "2014"
@@ -10104,9 +10929,10 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Youngs_Inequality]
 2022-02-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -10107,9 +10933,10 @@
 
 [Youngs_Inequality]
 2022-02-04 = "2021-1"
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [ZFC_in_HOL]
 2019-11-04 = "2019"
@@ -10119,8 +10946,9 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Zeckendorf]
 2023-06-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
@@ -10122,8 +10950,9 @@
 
 [Zeckendorf]
 2023-06-14 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Zeta_3_Irrational]
 2019-12-28 = "2019"
@@ -10133,6 +10962,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Zeta_Function]
 2017-10-16 = "2017"
@@ -10144,6 +10974,7 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [pGCL]
 2014-07-13 = "2013-2"
@@ -10160,3 +10991,4 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"