{"name": "Binius.BinaryBasefold.fiberwise_dist_lt_imp_dist_lt_unique_decoding_radius", "heartbeat": 15645}
{"name": "Binius.BinaryBasefold.fold_advances_evaluation_poly", "heartbeat": 45273}
{"name": "CallElimCorrect.extractedOldExprInVars", "heartbeat": 2696}
{"name": "CallElimCorrect.substOldPostSubset", "heartbeat": 5175}
{"name": "Core.InitsUpdatesComm", "heartbeat": 4251}
{"name": "Cslib.CCS.bisimilarity_congr_choice", "heartbeat": 3858}
{"name": "Cslib.LambdaCalculus.LocallyNameless.Fsub.Typing.progress", "heartbeat": 59830}
{"name": "Cslib.SKI.parallelReduction_diamond", "heartbeat": 1383}
{"name": "Electromagnetism.ElectromagneticPotential.time_deriv_time_deriv_electricField_of_isExtrema", "heartbeat": 26970}
{"name": "FieldSpecification.WickAlgebra.ι_timeOrderF_superCommuteF_eq_time", "heartbeat": 42225}
{"name": "fundamental_theorem_of_variational_calculus'", "heartbeat": 11947}
{"name": "interleaved_affine_gaps_imply_tensor_gaps", "heartbeat": 9198}
{"name": "putnam_1964_a4", "heartbeat": 111476}
{"name": "putnam_1964_b2", "heartbeat": 134499}
{"name": "putnam_1995_a3", "heartbeat": 14130}