# HG changeset patch
# User Gerwin Klein <gerwin.klein@proofcraft.systems>
# Date 1742252424 -39600
#      Tue Mar 18 10:00:24 2025 +1100
# Node ID 3f188e5141e0fa779cbd6fd0a360b058423da4ac
# Parent  c9faa55c271989c778e3f047f64ff00eaf8ab4f8
add 2025 releases

diff --git a/metadata/releases.toml b/metadata/releases.toml
--- 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,11 +41,13 @@
 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"
+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,21 +215,29 @@
 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"
+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"
+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"
+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,10 +341,14 @@
 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"
+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,10 +405,12 @@
 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"
+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,10 +509,12 @@
 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"
+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,12 +603,14 @@
 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"
+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,15 +641,18 @@
 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"
+2025-03-17 = "2025"
 
 [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,11 +773,13 @@
 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"
+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,11 +845,13 @@
 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"
+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,11 +905,13 @@
 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"
+2025-03-17 = "2025"
 
 [Bounded_Deducibility_Security]
 2014-04-24 = "2013-2"
@@ -839,13 +928,16 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Boustrophedon_Transform]
 2024-11-01 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +987,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,11 +1082,13 @@
 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"
+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,10 +1277,12 @@
 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"
+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,14 +1396,17 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Category_Set]
 2024-10-11 = "2024"
+2025-03-17 = "2025"
 
 [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,11 +1466,13 @@
 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"
+2025-03-17 = "2025"
 
 [Chandy_Lamport]
 2020-08-04 = "2020"
@@ -1357,13 +1481,16 @@
 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"
+2025-03-17 = "2025"
 
 [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,12 +1534,14 @@
 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"
+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,12 +1580,14 @@
 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"
+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,20 +1698,24 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+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,17 +1739,20 @@
 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"
+2025-03-17 = "2025"
 
 [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,10 +1885,12 @@
 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"
+2025-03-17 = "2025"
 
 [ConcurrentGC]
 2015-04-15 = "2014"
@@ -1751,10 +1906,12 @@
 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"
+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,10 +1951,12 @@
 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"
+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,15 +2042,18 @@
 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"
+2025-03-17 = "2025"
 
 [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,12 +2213,14 @@
 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"
+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,12 +2338,14 @@
 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"
+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,10 +2442,12 @@
 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"
+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,9 +2501,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Diagonal_Ramsey]
 2024-09-03 = "2024"
+2025-03-17 = "2025"
 
 [Dict_Construction]
 2017-10-10 = "2017"
@@ -2323,9 +2517,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +2544,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Differential_Privacy]
 2025-02-02 = "2024"
+2025-03-17 = "2025"
 
 [Digit_Expansions]
 2022-05-09 = "2021-1"
@@ -2357,11 +2556,13 @@
 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"
+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,10 +2597,12 @@
 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"
+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,10 +2654,12 @@
 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"
+2025-03-17 = "2025"
 
 [DiskPaxos]
 2005-06-22 = "2004"
@@ -2479,11 +2688,13 @@
 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"
+2025-03-17 = "2025"
 
 [Dominance_CHK]
 2021-09-07 = "2021"
@@ -2491,10 +2702,12 @@
 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"
+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,11 +2749,13 @@
 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"
+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,11 +2785,13 @@
 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"
+2025-03-17 = "2025"
 
 [Efficient-Mergesort]
 2011-11-10 = "2011-1"
@@ -2593,15 +2813,18 @@
 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"
+2025-03-17 = "2025"
 
 [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,9 +2852,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [EnrichedCategoryBasics]
 2024-06-17 = "2024"
+2025-03-17 = "2025"
 
 [Epistemic_Logic]
 2018-10-29 = "2018"
@@ -2641,12 +2867,14 @@
 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"
+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,10 +2900,12 @@
 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"
+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,16 +2933,19 @@
 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"
+2025-03-17 = "2025"
 
 [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,16 +2991,20 @@
 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"
+2025-03-17 = "2025"
 
 [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,9 +3100,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,30 +3127,35 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+2025-03-17 = "2025"
 
 [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,12 +3374,14 @@
 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"
+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,11 +3453,13 @@
 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"
+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,12 +3647,14 @@
 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"
+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,12 +3807,14 @@
 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"
+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,9 +3936,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,15 +4003,18 @@
 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"
+2025-03-17 = "2025"
 
 [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,11 +4129,13 @@
 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"
+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,14 +4234,17 @@
 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"
+2025-03-17 = "2025"
 
 [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,12 +4290,14 @@
 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"
+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,17 +4392,21 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Hilbert_Basis]
 2025-02-12 = "2024"
+2025-03-17 = "2025"
 
 [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"
+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,25 +4530,30 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+2025-03-17 = "2025"
 
 [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,9 +4580,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,26 +4636,32 @@
 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"
+2025-03-17 = "2025"
 
 [IMP_Noninterference]
 2024-02-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [IMP_Noninterference_Extension]
 2024-09-03 = "2024"
+2025-03-17 = "2025"
 
 [IMP_With_Speculation]
 2024-08-25 = "2024"
+2025-03-17 = "2025"
 
 [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,12 +4691,14 @@
 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"
+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,12 +4752,14 @@
 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"
+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,12 +4870,14 @@
 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"
+2025-03-17 = "2025"
 
 [Interpreter_Optimizations]
 2021-02-23 = "2021"
@@ -4498,10 +4885,12 @@
 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"
+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,12 +4909,14 @@
 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"
+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,12 +4952,14 @@
 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"
+2025-03-17 = "2025"
 
 [IsaGeoCoq]
 2021-02-01 = "2020"
@@ -4572,12 +4968,14 @@
 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"
+2025-03-17 = "2025"
 
 [Isabelle_C]
 2019-12-19 = "2019"
@@ -4587,10 +4985,12 @@
 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"
+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,10 +5016,12 @@
 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"
+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,13 +5222,16 @@
 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"
+2025-03-17 = "2025"
 
 [Karatsuba_Sqrt]
 2024-10-09 = "2024"
+2025-03-17 = "2025"
 
 [Key_Agreement_Strong_Adversaries]
 2017-02-03 = "2016-1"
@@ -4828,12 +5244,14 @@
 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"
+2025-03-17 = "2025"
 
 [Kleene_Algebra]
 2013-01-16 = "2012"
@@ -4854,11 +5272,13 @@
 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"
+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,10 +5301,12 @@
 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"
+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,10 +5358,12 @@
 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"
+2025-03-17 = "2025"
 
 [Kuratowski_Closure_Complement]
 2017-10-27 = "2017"
@@ -4947,10 +5375,12 @@
 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"
+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,12 +5419,14 @@
 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"
+2025-03-17 = "2025"
 
 [LTL]
 2016-03-02 = "2016"
@@ -5006,9 +5440,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,10 +5496,12 @@
 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"
+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,10 +5585,12 @@
 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"
+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,12 +5755,15 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Levy_Prokhorov_Metric]
 2024-06-11 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +5839,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +5963,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,10 +6040,12 @@
 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"
+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,18 +6101,21 @@
 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"
+2025-03-17 = "2025"
 
 [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,10 +6140,12 @@
 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"
+2025-03-17 = "2025"
 
 [MFOTL_Monitor]
 2019-07-05 = "2019"
@@ -5666,20 +6155,24 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+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,10 +6234,12 @@
 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"
+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,18 +6334,21 @@
 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"
+2025-03-17 = "2025"
 
 [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,9 +6399,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,15 +6483,19 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Mission_Time_LTL]
 2025-01-28 = "2024"
+2025-03-17 = "2025"
 
 [Mission_Time_LTL_Language_Partition]
 2025-03-04 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +6604,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,22 +6662,26 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+2025-03-17 = "2025"
 
 [Myhill-Nerode]
 2011-10-11 = "2011-1"
@@ -6169,9 +6703,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [NREST]
 2024-09-18 = "2024"
+2025-03-17 = "2025"
 
 [Name_Carrying_Type_Inference]
 2017-07-15 = "2016-1"
@@ -6184,12 +6720,14 @@
 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"
+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,9 +6776,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,11 +6836,13 @@
 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"
+2025-03-17 = "2025"
 
 [Nominal2]
 2013-02-24 = "2013"
@@ -6311,10 +6858,12 @@
 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"
+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,10 +6982,12 @@
 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"
+2025-03-17 = "2025"
 
 [Nullstellensatz]
 2019-06-17 = "2019"
@@ -6440,12 +6997,14 @@
 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"
+2025-03-17 = "2025"
 
 [Octonions]
 2018-09-16 = "2018"
@@ -6456,10 +7015,12 @@
 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"
+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,10 +7197,12 @@
 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"
+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,11 +7219,13 @@
 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"
+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,10 +7258,12 @@
 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"
+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,18 +7304,21 @@
 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"
+2025-03-17 = "2025"
 
 [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,9 +7353,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +7413,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,10 +7454,12 @@
 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"
+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,9 +7503,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Pi_Irrational]
 2024-09-13 = "2024"
+2025-03-17 = "2025"
 
 [Pi_Transcendental]
 2018-10-02 = "2018"
@@ -6919,10 +7518,12 @@
 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"
+2025-03-17 = "2025"
 
 [Planarity_Certificates]
 2016-02-22 = "2016"
@@ -6936,12 +7537,14 @@
 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"
+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,19 +7564,23 @@
 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"
+2025-03-17 = "2025"
 
 [Polylog]
 2023-11-22 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,12 +7711,14 @@
 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"
+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,11 +7884,16 @@
 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"
+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,14 +7993,17 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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"
+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,22 +8094,27 @@
 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"
+2025-03-17 = "2025"
 
 [Q0_Metatheory]
 2023-11-15 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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"
+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,26 +8152,31 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+2025-03-17 = "2025"
 
 [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,12 +8187,14 @@
 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"
+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,9 +8303,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +8362,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,10 +8524,12 @@
 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"
+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,12 +8586,14 @@
 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"
+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,10 +8621,12 @@
 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"
+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,14 +8671,17 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Relative_Security]
 2024-06-05 = "2024"
+2025-03-17 = "2025"
 
 [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,15 +8696,18 @@
 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"
+2025-03-17 = "2025"
 
 [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,12 +8738,14 @@
 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"
+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,15 +8779,18 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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"
+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,9 +8823,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Rogers_Ramanujan]
 2025-01-24 = "2024"
+2025-03-17 = "2025"
 
 [Root_Balanced_Tree]
 2017-08-20 = "2016-1"
@@ -8129,12 +8840,14 @@
 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"
+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,12 +9014,14 @@
 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"
+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,9 +9691,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,12 +9774,14 @@
 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"
+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,13 +9878,16 @@
 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"
+2025-03-17 = "2025"
 
 [SuffixArray]
 2024-10-03 = "2024"
+2025-03-17 = "2025"
 
 [SumSquares]
 2007-11-27 = "2007"
@@ -9176,13 +9914,16 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Sum_Of_Squares_Count]
 2024-11-30 = "2024"
+2025-03-17 = "2025"
 
 [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,14 +9945,17 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Superposition_Calculus]
 2024-10-30 = "2024"
+2025-03-17 = "2025"
 
 [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,11 +9989,13 @@
 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"
+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,9 +10097,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Theta_Functions]
 2025-01-24 = "2024"
+2025-03-17 = "2025"
 
 [Three_Circles]
 2021-09-01 = "2021"
@@ -9352,11 +10109,13 @@
 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"
+2025-03-17 = "2025"
 
 [Timed_Automata]
 2016-03-11 = "2016"
@@ -9370,13 +10129,16 @@
 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"
+2025-03-17 = "2025"
 
 [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,19 +10271,23 @@
 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"
+2025-03-17 = "2025"
 
 [Transitive_Union_Closed_Families]
 2025-02-01 = "2024"
+2025-03-17 = "2025"
 
 [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,11 +10344,13 @@
 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"
+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,16 +10381,19 @@
 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"
+2025-03-17 = "2025"
 
 [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,14 +10406,17 @@
 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"
+2025-03-17 = "2025"
 
 [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,22 +10499,26 @@
 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"
+2025-03-17 = "2025"
 
 [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"
+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,12 +10545,14 @@
 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"
+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,12 +10790,14 @@
 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"
+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,16 +10825,19 @@
 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"
+2025-03-17 = "2025"
 
 [Wieferich_Kempner]
 2024-03-08 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [Winding_Number_Eval]
 2017-10-18 = "2017"
@@ -10032,15 +10849,19 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [With_Type]
 2024-09-05 = "2024"
+2025-03-17 = "2025"
 
 [Wlog]
 2024-09-06 = "2024"
+2025-03-17 = "2025"
 
 [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,9 +10901,11 @@
 2022-10-27 = "2022"
 2023-09-13 = "2023"
 2024-05-26 = "2024"
+2025-03-17 = "2025"
 
 [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,12 +10929,14 @@
 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"
+2025-03-17 = "2025"
 
 [ZFC_in_HOL]
 2019-11-04 = "2019"
@@ -10119,11 +10946,13 @@
 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"
+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"