✔ [2524/2576] Built S2xS2Quotient.General.Automorphisms (59s)
✔ [2525/2576] Built S2xS2Quotient.Monodromy (59s)
✔ [2527/2577] Built S2xS2Quotient.Topology.FreeLoops (58s)
✔ [2678/2787] Built S2xS2Quotient.Topology.SphereTwoConnected (74s)
✔ [2679/2787] Built S2xS2Quotient.General.Coinvariants (40s)
✔ [2681/2787] Built S2xS2Quotient.Coinvariants (40s)
✔ [2683/2787] Built S2xS2Quotient.Topology.QuotientFamilies (34s)
✔ [2685/2787] Built S2xS2Quotient.BlockPresentation (21s)
✔ [2686/2787] Built S2xS2Quotient.General.Conjugation (24s)
✔ [2687/2787] Built S2xS2Quotient.General.EvaluationSequence (26s)
✔ [2689/2787] Built S2xS2Quotient.Groups (28s)
✔ [2691/2787] Built S2xS2Quotient.FiniteBlockSupport (43s)
✔ [2692/2787] Built S2xS2Quotient.BlockCoordinates (40s)
✔ [2693/2791] Built S2xS2Quotient.General.SphereTwo (36s)
✔ [2952/3051] Built S2xS2Quotient.Topology.EvaluationCriterion (302s)
✔ [2954/3053] Built S2xS2Quotient.Generators (281s)
✔ [2956/3053] Built S2xS2Quotient.Comparison (288s)
✔ [2959/3055] Built S2xS2Quotient.Topology.CircleLoops (37s)
✔ [2961/3055] Built Submission.Homology.Basic (40s)
✔ [2964/3059] Built S2xS2Quotient.Topology.SphereTwoTarget (40s)
✔ [2970/3068] Built S2xS2Quotient.Unrestricted (40s)
✔ [2976/3072] Built S2xS2Quotient.Topology.LoopAdjunction (57s)
✔ [2977/3074] Built Submission.Excision.Fin.Prod (44s)
✔ [2979/3074] Built Submission.Homology.Point (62s)
✔ [2980/3074] Built Submission.Excision.ConvexSpace.AffineMap (44s)
✔ [2981/3074] Built Submission.Excision.Finsupp.Basic (45s)
✔ [2982/3074] Built Submission.Excision.Perm.EquivSucc (58s)
✔ [2983/3075] Built S2xS2Quotient.Topology.HigherHomotopyMap (60s)
✔ [2984/3079] Built S2xS2Quotient.Topology.LoopTranslation (57s)
✔ [2985/3079] Built Submission.Excision.Fin.Vec (34s)
✔ [2986/3079] Built Submission.Excision.SimplexCategory.Basic (39s)
✔ [2987/3079] Built S2xS2Quotient.Topology.CoveringPiTwo (54s)
✔ [2988/3079] Built Submission.Homology.Pair (64s)
✔ [2989/3081] Built S2xS2Quotient.Topology.FreeLoopInvariance (52s)
✔ [2990/3081] Built Submission.Excision.Preadditive.HasZeroObject (43s)
✔ [2991/3081] Built S2xS2Quotient.Topology.PiNaturality (55s)
✔ [2992/3081] Built S2xS2Quotient.Topology.PathFamilies (55s)
✔ [2993/3081] Built Submission.Excision.ConvexSpace.StdSimplex (63s)
✔ [2994/3081] Built Submission.Excision.Limits.SigmaConst (55s)
✔ [2995/3081] Built Submission.Homology.LesTools (80s)
✔ [2996/3082] Built Submission.Homology.SimplicialSplitting (85s)
✔ [2997/3082] Built S2xS2Quotient.Topology.SimplyConnectedCriterion (57s)
✔ [2998/3082] Built S2xS2Quotient.Topology.CirclePowers (68s)
✔ [2999/3082] Built S2xS2Quotient.Topology.LoopPadding (61s)
✔ [3000/3084] Built Submission.Excision.SimplicialSet.Homology (55s)
✔ [3001/3084] Built Submission.Excision.ConvexSpace.ToSSet (65s)
✔ [3002/3084] Built Submission.Excision.Mathlib.HomologicalComplexKernels (38s)
✔ [3003/3084] Built S2xS2Quotient.Topology.OpenCoverPaths (40s)
✔ [3005/3088] Built S2xS2Quotient.Topology.CircleCover (40s)
✔ [3006/3088] Built S2xS2Quotient.Topology.LoopConjugation (34s)
✔ [3007/3088] Built S2xS2Quotient.Topology.EvaluationContraction (21s)
✔ [3008/3088] Built S2xS2Quotient.Topology.SimplyConnectedUnion (15s)
✔ [3009/3089] Built Submission.Excision.Mathlib.SSetPair (14s)
✔ [3011/3089] Built Submission.Excision.ConvexSpace.Top (19s)
✔ [3012/3089] Built S2xS2Quotient.Topology.IntegerCover (15s)
✔ [3013/3089] Built S2xS2Quotient.Topology.CircleFundamentalGroup (13s)
✔ [3014/3089] Built S2xS2Quotient.Topology.ConjugationHomotopies (13s)
✔ [3015/3089] Built S2xS2Quotient.Topology.FiberTransportPaths (14s)
✔ [3016/3091] Built S2xS2Quotient.Topology.EvaluationKernel (14s)
✔ [3017/3091] Built Submission.Excision.Mathlib.Backports (12s)
✔ [3018/3091] Built S2xS2Quotient.Topology.SimplyConnectedConstructions (13s)
✔ [3019/3091] Built Submission.Excision.ConvexSpace.AffineChains (17s)
✔ [3020/3091] Built S2xS2Quotient.Topology.CircleLiftEndpoints (12s)
✔ [3021/3091] Built S2xS2Quotient.Topology.PiTransportAlgebra (13s)
✔ [3022/3093] Built Submission.Excision.ConvexSpace.Diameter (18s)
✔ [3023/3095] Built Submission.Excision.SingularHomology.Basic (17s)
✔ [3024/3095] Built S2xS2Quotient.Topology.SimplyConnectedSetUnion (25s)
✔ [3025/3095] Built Submission.Excision.Mathlib.SimplicialSetHomologyRelative (29s)
✔ [3026/3099] Built S2xS2Quotient.Topology.FiberMonodromy (31s)
✔ [3027/3099] Built S2xS2Quotient.Topology.AbelianBasepoint (37s)
✔ [3028/3099] Built Submission.Excision.SimplicialSet.ULift (25s)
✔ [3029/3099] Built S2xS2Quotient.Topology.LoopRotation (30s)
✔ [3030/3099] Built Submission.Excision.SingularHomology.NatTrans (26s)
✔ [3031/3099] Built Submission.Excision.HomologicalComplex.NullHomotopy (24s)
✔ [3032/3099] Built Submission.Excision.Topology.LebesgueNumber (21s)
✔ [3033/3099] Built Submission.Excision.SimplicialSet.RelativeHomology (28s)
✔ [3034/3099] Built S2xS2Quotient.Topology.BoundaryMap (27s)
✔ [3035/3101] Built S2xS2Quotient.Topology.FiberMotionLaws (24s)
✔ [3036/3101] Built S2xS2Quotient.Topology.PointedInduced (23s)
✔ [3037/3101] Built S2xS2Quotient.Topology.RotationPowers (23s)
✔ [3038/3101] Built Submission.Excision.SingularHomology.ULift (26s)
✔ [3039/3102] Built S2xS2Quotient.Topology.ProductFundamentalGroup (24s)
✔ [3040/3102] Built S2xS2Quotient.Topology.BoundaryExactness (27s)
✔ [3041/3102] Built S2xS2Quotient.Topology.PathSpaceTransport (27s)
✔ [3042/3102] Built Submission.Homology.Homotopy (30s)
✔ [3043/3102] Built S2xS2Quotient.Topology.FiberMotionRepresentation (25s)
✔ [3044/3102] Built S2xS2Quotient.Topology.BoundaryRelations (21s)
✔ [3045/3110] Built Submission.ForMathlib.HomotopyGroup.Map (22s)
✔ [3051/3112] Built Submission.Excision.SingularHomology.Subdivision (31s)
✔ [3053/3116] Built S2xS2Quotient.Topology.FreeLoopSurjection (21s)
✔ [3055/3116] Built Submission.Homology.PairHomotopy (28s)
✔ [3056/3116] Built Submission.WhiteheadTheorem.Shapes.UnitInterval (19s)
✔ [3059/3116] Built S2xS2Quotient.Topology.BoundaryCoordinates (17s)
✔ [3060/3118] Built Submission.WhiteheadTheorem.Auxiliary (17s)
✔ [3061/3120] Built Submission.WhiteheadTheorem.RelHomotopyGroup.Algebra (14s)
✔ [3064/3121] Built Submission.Excision.SmallSimplices (28s)
✔ [3065/3122] Built S2xS2Quotient.Topology.BoundaryZero (19s)
✔ [3066/3123] Built Submission.WhiteheadTheorem.Shapes.Cube (20s)
✔ [3067/3124] Built Submission.WhiteheadTheorem.Shapes.Disk (24s)
✔ [3068/3124] Built Submission.Homology.MayerVietoris (21s)
✔ [3069/3124] Built S2xS2Quotient.Topology.BoundaryTranslation (16s)
✔ [3070/3135] Built Submission.WhiteheadTheorem.RelHomotopyGroup.Defs (19s)
✔ [3071/3135] Built Submission.WhiteheadTheorem.Shapes.Maps (15s)
✔ [3072/3135] Built Submission.WhiteheadTheorem.Shapes.Jar (24s)
✔ [3073/3135] Built Submission.WhiteheadTheorem.Exponential (17s)
✔ [3074/3135] Built Submission.WhiteheadTheorem.Shapes.DiskHomeoCube (26s)
✔ [3075/3136] Built Submission.WhiteheadTheorem.CWComplex.Basic (23s)
✔ [3077/3136] Built Submission.Homology.MayerVietorisLES (24s)
✔ [3078/3140] Built S2xS2Quotient.Topology.PiTwoTransport (20s)
✔ [3079/3140] Built S2xS2Quotient.Topology.BoundaryRotation (18s)
✔ [3080/3143] Built Submission.WhiteheadTheorem.HEP.Cofibration (25s)
✔ [3081/3143] Built Submission.Homology.Contractible (18s)
✔ [3082/3143] Built Submission.Homology.HomologyZero (17s)
✔ [3083/3143] Built S2xS2Quotient.Topology.PiTwoNaturality (17s)
✔ [3084/3143] Built S2xS2Quotient.Topology.FreeLoopTheorem (19s)
✔ [3085/3143] Built Submission.WhiteheadTheorem.HEP.Cube (20s)
✔ [3086/3143] Built Submission.Homology.MayerVietorisIso (18s)
✔ [3087/3143] Built Submission.Model.Sphere (20s)
✔ [3088/3147] Built S2xS2Quotient.Topology.CompactExhaustionPiTwo (17s)
✔ [3089/3147] Built S2xS2Quotient.Topology.PiTwoMonodromy (19s)
✔ [3090/3147] Built S2xS2Quotient.Topology.SimplyConnectedPiTwo (19s)
✔ [3091/3147] Built S2xS2Quotient.Topology.AssumptionBridge (19s)
✔ [3092/3147] Built Submission.WhiteheadTheorem.HEP.Retract (26s)
✔ [3093/3147] Built Submission.Homology.RightExact (22s)
✔ [3094/3147] Built Submission.Model.Suspension (18s)
✔ [3095/3147] Built Submission.Homology.SphereZero (25s)
✔ [3096/3147] Built S2xS2Quotient.Topology.ConjugationTranslation (21s)
✔ [3097/3147] Built S2xS2Quotient.Topology.PiTwoHomotopy (21s)
✔ [3098/3147] Built S2xS2Quotient.Topology.PiTwoProducts (21s)
✔ [3099/3147] Built S2xS2Quotient.Topology.FreeLoopComponents (21s)
✔ [3100/3153] Built Submission.WhiteheadTheorem.RelHomotopyGroup.Compression (27s)
✔ [3101/3153] Built Submission.Homology.SphereZeroSplit (26s)
✔ [3102/3153] Built S2xS2Quotient.Topology.WindingMonodromyComparison (23s)
✔ [3103/3153] Built Submission.Model.SuspSphere (35s)
✔ [3105/3153] Built S2xS2Quotient.Topology.SimplyConnectedPiTwoEquiv (27s)
✔ [3106/3154] Built S2xS2Quotient.Topology.RoundCircleModel (30s)
✔ [3108/3154] Built S2xS2Quotient.Topology.StandardFreeLoopTheorem (26s)
✔ [3110/3154] Built Submission.WhiteheadTheorem.RelHomotopyGroup.LongExactSeq (37s)
✔ [3112/3158] Built Submission.Homotopy.ContractionData (34s)
✔ [3113/3158] Built Submission.Homotopy.Connected (23s)
✔ [3114/3158] Built S2xS2Quotient.Topology.RoundCircleWinding (31s)
✔ [3115/3158] Built Submission.Homotopy.RelGroup (33s)
✔ [3116/3158] Built Submission.ForMathlib.HomotopyGroup.Homotopy (18s)
✔ [3117/3158] Built Submission.Homology.Sphere (24s)
✔ [3118/3158] Built S2xS2Quotient.Topology.RoundCircleGeometry (23s)
✔ [3119/3158] Built S2xS2Quotient.Topology.RoundCircleCoordinates (23s)
✔ [3120/3158] Built Submission.Homotopy.RelMap (25s)
✔ [3121/3158] Built Submission.ForMathlib.HomotopyGroup.Basic (23s)
✔ [3122/3163] Built Submission.Homology.SphereOne (26s)
✔ [3123/3163] Built S2xS2Quotient.Topology.SphereTwoSimplyConnected (28s)
✔ [3124/3163] Built S2xS2Quotient.Topology.RoundCircleCover (26s)
✔ [3125/3164] Built Submission.Homology.RelMap (26s)
✔ [3126/3164] Built Submission.ForMathlib.HomotopyGroup.Contractible (20s)
✔ [3127/3165] Built Submission.Cohomology.Cochain (20s)
✔ [3128/3165] Built S2xS2Quotient.Topology.SphereSectionCaps (29s)
✔ [3129/3165] Built S2xS2Quotient.Topology.RoundCircleCoverBlocks (27s)
✔ [3130/3165] Built S2xS2Quotient.Topology.RoundCircleCoverKernel (25s)
✔ [3131/3165] Built Submission.Homology.Excision (28s)
✔ [3132/3165] Built Submission.Homology.UCT.HomologyClass (22s)
✔ [3134/3169] Built Submission.Homotopy.HomotopyLesTools (24s)
✔ [3135/3169] Built Submission.Hurewicz.RelativeMap (26s)
✔ [3136/3169] Built Submission.Cohomology.FrontBack (18s)
✔ [3138/3169] Built S2xS2Quotient.Topology.RoundCircleChain (22s)
✔ [3139/3169] Built S2xS2Quotient.Topology.RoundCircleSeam (27s)
✔ [3141/3172] Built Submission.Hurewicz.SmallRelativeChains (27s)
✔ [3142/3172] Built Submission.Hurewicz.CubeFundamentalClass (25s)
✔ [3143/3176] Built Submission.Cohomology.Cup (23s)
✔ [3145/3176] Built S2xS2Quotient.Topology.RoundCircleFiniteChains (27s)
✔ [3146/3176] Built S2xS2Quotient.Topology.RoundCircleSeamDeformation (27s)
✔ [3147/3176] Built Submission.Cohomology.Basic (20s)
✔ [3148/3176] Built Submission.Homology.UCT.Dual (39s)
✔ [3149/3176] Built Submission.Hurewicz.SimplexBall (28s)
✔ [3150/3176] Built S2xS2Quotient.Topology.RoundCircleChainConnectivity (26s)
✔ [3151/3176] Built Submission.Hurewicz.FaceHomotopy (38s)
✔ [3152/3176] Built Submission.Cohomology.Singular (21s)
✔ [3153/3176] Built S2xS2Quotient.Topology.RoundCircleBlockNeighborhood (30s)
✔ [3154/3180] Built Submission.Hurewicz.SimplexGlue (23s)
✔ [3155/3182] Built Submission.Hurewicz.Vanishing (23s)
✔ [3156/3182] Built Submission.Cohomology.DualBridge (23s)
✔ [3157/3182] Built S2xS2Quotient.Topology.RoundCircleBlockDeformation (25s)
✔ [3158/3182] Built Submission.WhiteheadTheorem.Shapes.Pushout (18s)
✔ [3159/3182] Built Submission.WhiteheadTheorem.Shapes.CubeBoundaryMap (23s)
✔ [3160/3189] Built Submission.WhiteheadTheorem.Compressible.Defs (18s)
✔ [3162/3193] Built Submission.Hurewicz.SimplexDict (23s)
✔ [3163/3193] Built S2xS2Quotient.Topology.RoundCircleOpenChains (24s)
✔ [3164/3193] Built Submission.WhiteheadTheorem.HomotopyGroup.InducedMaps (21s)
✔ [3165/3193] Built Submission.WhiteheadTheorem.HEP.CubeJar (25s)
✔ [3166/3193] Built Submission.WhiteheadTheorem.CWComplex.IProd.Def (41s)
✔ [3167/3198] Built Submission.Hurewicz.DegreeOne.Affine (27s)
✔ [3168/3200] Built S2xS2Quotient.Topology.RoundCircleSimplyConnectedCover (26s)
✔ [3169/3200] Built Submission.WhiteheadTheorem.Defs (19s)
✔ [3170/3203] Built Submission.WhiteheadTheorem.CWComplex.IProd.Iso (24s)
✔ [3171/3203] Built Submission.Hurewicz.Prism (23s)
✔ [3172/3203] Built Submission.Hurewicz.Deformation (21s)
✔ [3173/3203] Built S2xS2Quotient.Topology.RoundCirclePiTwoExhaustion (23s)
✔ [3174/3203] Built S2xS2Quotient.Topology.RoundCirclePiTwoAssumptions (22s)
✔ [3175/3203] Built Submission.WhiteheadTheorem.Shapes.MappingCylinder (18s)
✔ [3176/3203] Built Submission.SphereGenerator (28s)
✔ [3177/3203] Built Submission.WhiteheadTheorem.HomotopyGroup.ChangeBasePt (26s)
✔ [3178/3209] Built Submission.WhiteheadTheorem.Compressible.CWComplex (24s)
✔ [3281/3310] Built Submission.Hurewicz.RelativeSimplex (19s)
✔ [3291/3325] Built S2xS2Quotient.Topology.RoundCircleCoverPiTwo (23s)
✔ [3292/3325] Built Submission.WhiteheadTheorem.Compressible.Disk (26s)
✔ [3293/3325] Built Submission.Approximation.Grid (23s)
✔ [3294/3325] Built Submission.Model.SphereCompl (23s)
✔ [3295/3325] Built Submission.Approximation.RegularValue (22s)
✔ [3296/3325] Built S2xS2Quotient.Topology.RoundCircleDeckPiTwo (21s)
✔ [3297/3326] Built Submission.WhiteheadTheorem.Compressible.WeakEquiv (22s)
✔ [3298/3326] Built Submission.Approximation.Approx (21s)
✔ [3299/3326] Built Submission.SphereHomotopy (20s)
✔ [3300/3328] Built S2xS2Quotient.Topology.RoundCircleDeckCoordinates (20s)
✔ [3301/3332] Built Submission.WhiteheadTheorem.Basic (20s)
✔ [3302/3332] Built Submission.Hurewicz.SphereLoopBridge (22s)
✔ [3303/3332] Built Submission.Approximation.Estimate (22s)
✔ [3304/3332] Built Submission.WhiteheadTheorem (20s)
✔ [3305/3332] Built Submission.Hurewicz.StickSimplex (25s)
✔ [3306/3332] Built Submission.Approximation.Simplex (21s)
✔ [3307/3332] Built S2xS2Quotient.Topology.RoundCircleDeckAssumptions (52s)
✔ [3308/3332] Built Submission.Hurewicz.SimplexHEP (20s)
✔ [3309/3337] Built Submission.Model.SphereConnected (27s)
✔ [3365/3425] Built Submission.Hurewicz.CubicalShell (29s)
✔ [3367/3425] Built S2xS2Quotient.Topology.RoundCircleBlockPiTwo (25s)
✔ [3368/3425] Built Submission.Hurewicz.Tower (30s)
✔ [3369/3425] Built S2xS2Quotient.Topology.SimplyConnectedPiTwoBasepoint (20s)
✔ [3370/3425] Built Submission.Hurewicz.DegreeOne.Boundaries (27s)
✔ [3371/3425] Built S2xS2Quotient.DiagonalGluing (19s)
✔ [3372/3425] Built S2xS2Quotient.LinearGluingDescent (18s)
✔ [3373/3425] Built S2xS2Quotient.Topology.SphereCubicalClass (27s)
✔ [3374/3425] Built S2xS2Quotient.Topology.RoundCircleBlockCoordinates (23s)
✔ [3375/3425] Built Submission.Hurewicz.Compression (26s)
✔ [3376/3425] Built Submission.Hurewicz.DegreeOne.ArcClass (25s)
✔ [3377/3426] Built S2xS2Quotient.Topology.SphereSquareRadial (29s)
✔ [3378/3426] Built S2xS2Quotient.Topology.SphereAntipodeClass (28s)
✔ [3379/3426] Built Submission.Hurewicz.VanishingSorries (27s)
✔ [3380/3426] Built Submission.Hurewicz.DegreeOne (29s)
✔ [3381/3426] Built Submission.Homology.Wang (25s)
✔ [3382/3434] Built S2xS2Quotient.Topology.SphereCubeQuotient (27s)
✔ [3383/3434] Built S2xS2Quotient.Topology.RoundCircleNeighborhoodPiTwo (26s)
✔ [3384/3434] Built S2xS2Quotient.Topology.SphereClassCoordinates (24s)
✔ [3385/3434] Built S2xS2Quotient.Topology.RoundCircleExplicitBlocks (21s)
✔ [3386/3434] Built Submission.Hurewicz.NormalizedSimplex (22s)
✔ [3387/3434] Built S2xS2Quotient.Topology.HomologyMayerVietoris (24s)
✔ [3388/3434] Built S2xS2Quotient.Topology.SphereCubeSurjective (25s)
✔ [3389/3436] Built Submission.Homotopy.Fibration (18s)
✔ [3391/3442] Built S2xS2Quotient.Topology.RoundCircleFiniteBlockCoordinates (25s)
✔ [3392/3442] Built Submission.Homotopy.PathFibration (19s)
✔ [3393/3442] Built Submission.Hurewicz.SimplexCubeClass (26s)
✔ [3394/3442] Built Submission.Homotopy.CubePair (23s)
✔ [3395/3442] Built Submission.Hurewicz.NormalizedBoundary (38s)
✔ [3396/3442] Built Submission.ForMathlib.HomotopyGroup.Homeomorph (17s)
✔ [3397/3442] Built S2xS2Quotient.Topology.RoundCircleFiniteExactness (23s)
✔ [3398/3442] Built Submission.Hurewicz.SimplexCubeOrientation (25s)
✔ [3399/3442] Built Submission.Homotopy.DiscTrivialisation (29s)
✔ [3400/3442] Built Submission.Homotopy.FibrationLES (27s)
✔ [3401/3442] Built Submission.Hurewicz.RelativeAdditivity (31s)
✔ [3402/3442] Built Submission.Hurewicz.StickBoundary (28s)
✔ [3403/3442] Built Submission.Homology.WangPathFibration (26s)
✔ [3404/3442] Built Submission.Homotopy.LoopSpace (23s)
✔ [3405/3442] Built Submission.Hurewicz.RelativeSurjectivity (24s)
✔ [3406/3442] Built Submission.Hurewicz.StickSphere (25s)
✔ [3407/3442] Built Submission.Hurewicz.SimplexHorn (28s)
✔ [3408/3442] Built Submission.Homology.ProdSphereZero (27s)
✔ [3409/3442] Built Submission.Homotopy.FibrationLESGroup (24s)
✔ [3410/3442] Built Submission.Hurewicz.AbsoluteSurjectivity (27s)
✔ [3411/3442] Built Submission.Hurewicz.DeformationClass (25s)
✔ [3412/3442] Built Submission.Homology.ProdSplitTools (24s)
✔ [3413/3442] Built Submission.Hurewicz.SingularKan (25s)
✔ [3414/3442] Built Submission.Hurewicz.SimplicialAddition (28s)
✔ [3415/3442] Built Submission.Homology.ProdSphereStep (30s)
✔ [3416/3442] Built Submission.Hurewicz.SimplicialRelation (24s)
✔ [3417/3442] Built Submission.Homology.LoopSphereHomology (24s)
✔ [3418/3442] Built Submission.Pi2SphereTwoGeneric (25s)
✔ [3419/3442] Built Submission.Hurewicz.SimplicialIndexShift (56s)
✔ [3420/3442] Built Submission.Hurewicz.SimplicialRelationAt (51s)
✔ [3421/3442] Built Submission.Hurewicz.SimplicialTelescope (51s)
✔ [3422/3442] Built Submission.Hurewicz.SimplicialDescent (20s)
✔ [3423/3442] Built Submission.Hurewicz.RelativeSimplicialDescent (18s)
✔ [3424/3442] Built Submission.Hurewicz.AbsoluteIsomorphism (18s)
✔ [3425/3442] Built Submission.Hurewicz.AbsoluteNaturality (19s)
✔ [3426/3442] Built ExternalTopology (19s)
✔ [3428/3442] Built S2xS2Quotient.Topology.SimplyConnectedHurewicz (20s)
✔ [3429/3442] Built S2xS2Quotient.Topology.SphereTwoInfiniteCyclic (19s)
✔ [3430/3442] Built S2xS2Quotient.Topology.SimplyConnectedMayerVietoris (20s)
✔ [3431/3442] Built S2xS2Quotient.Topology.CubicalSpherePrimitivity (19s)
✔ [3432/3442] Built S2xS2Quotient.Topology.PiTwoSubspaceUnion (22s)
✔ [3433/3442] Built S2xS2Quotient.Topology.RoundCircleChainPiTwoGluing (26s)
✔ [3434/3442] Built S2xS2Quotient.Topology.RoundCircleChainPiTwoCoordinates (20s)
✔ [3435/3442] Built S2xS2Quotient.Topology.RoundCircleChainBlockMaps (20s)
✔ [3436/3442] Built S2xS2Quotient.Topology.RoundCircleChainSeamMaps (18s)
✔ [3437/3442] Built S2xS2Quotient.Topology.RoundCircleChainGeneration (18s)
✔ [3438/3442] Built S2xS2Quotient.Topology.RoundCircleChainCoefficientMaps (14s)
✔ [3439/3442] Built S2xS2Quotient.Topology.RoundCircleSpherePrimitiveBridge (14s)
✔ [3440/3442] Built S2xS2Quotient.Topology.RoundCircleCoverBasis (13s)
✔ [3441/3442] Built S2xS2Quotient (13s)
Build completed successfully (3442 jobs).
