homalg-project / higherhomologicalalgebra Goto Github PK

A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences

Home Page: https://homalg-project.github.io/HigherHomologicalAlgebra

GAP 70.91% Makefile 1.57% HTML 0.23% CSS 0.11% JavaScript 0.29% Jupyter Notebook 24.61% TeX 0.12% Shell 1.89% Python 0.27%

homotopy-category derived-category derived-equivalences homological-algebra gap triangulated-categories complex-categories

higherhomologicalalgebra's Introduction

HigherHomologicalAlgebra

Higher Homological Algebra

Build Status	Code Coverage

Introduction

The repository is a collection of the Gap packages. The aim of these packages is to carry out categorical and homological constructions on complexes, homotopy or derived categories. The main focus is the construction of derived equivalences that arise via full strong exceptional collections.

Packages of HigherHomologicalAlgebra:

Name	Description	Documentation
Bicomplexes	Bicomplexes for Abelian categories
ComplexesCategories	Category of (co)chain complexes of an additive category
DerivedCategories	Derived categories of Abelian categories
HomotopyCategories	Homotopy categories of additive categories
StableCategories	Stable categories of additive categories
ToolsForHigherHomologicalAlgebra	Tools for the Higher Homological Algebra project
TriangulatedCategories	Framework for triangulated categories

Installation

The packages can easily be obtained by cloning the repository HigherHomologicalAlgebra in the pkg directory of the Gap installation.

Required packages

This package is written to handle categories that are already implemented in CAP, so you will need a fresh version of CAP. You may install it from CAP_project
You will also need
- homalg_project
- CategoricalTowers
Other needed packages
- https://github.com/homalg-project/FinSetsForCAP/
- https://github.com/sunnyquiver/QPA2/
For the installation of Gap see gap-system-website

License

These packages are free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your opinion) any later version.

higherhomologicalalgebra's People

Contributors

Stargazers

Watchers

Forkers

kamalsaleh mohamed-barakat tschitschibor zickgraf djuteau tkuh

higherhomologicalalgebra's Issues

TiltingEquivalence.jl raises an error

julia> Ω = CreateExceptionalCollection( [ Ω00, Ω11, Ω22 ], [ "Ω^0(0)", "Ω^1(1)", "Ω^2(2)" ] )
ERROR: Error thrown by GAP: Error, Please give the exceptional objects in the correct order!
 at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:90 called from
CreateExceptionalCollection( full, vertices_labels, "crisp" ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:151 called from
CreateExceptionalCollection( full, vertices_labels ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/ExceptionalCollection.gi:163 called from
CreateExceptionalCollection( ConvertJuliaToGAP( full ), ConvertJuliaToGAP( vertices_labels ) ) at /Users/mo/.julia/dev/CapAndHomalg/pkg/HigherHomologicalAlgebra/DerivedCategories/gap/Julia.gi:23 called from
<function "CreateExceptionalCollection method">( <arguments> )
 called from read-eval loop at *stdin*:1

Stacktrace:
 [1] error(::String, ::String) at ./error.jl:42
 [2] error_handler() at /Users/mo/.julia/dev/GAP/src/GAP.jl:158
 [3] #invokelatest#1 at ./essentials.jl:710 [inlined]
 [4] invokelatest at ./essentials.jl:709 [inlined]
 [5] error_handlerwrap() at /Users/mo/.julia/dev/GAP/src/GAP.jl:162
 [6] _call_gap_func(::Main.ForeignGAP.MPtr, ::Array{Main.ForeignGAP.MPtr,1}, ::Array{String,1}) at /Users/mo/.julia/dev/GAP/src/ccalls.jl:241
 [7] call_gap_func_nokw at /Users/mo/.julia/dev/GAP/src/ccalls.jl:195 [inlined]
 [8] (::Main.ForeignGAP.MPtr)(::Array{Main.ForeignGAP.MPtr,1}, ::Array{String,1}) at /Users/mo/.julia/dev/GAP/src/ccalls.jl:206
 [9] top-level scope at REPL[28]:1

README is missing at least one dependency (PreSheaves)

Maybe it would be better to instead suggest to install all of https://github.com/homalg-project/CategoricalTowers in one go?

(I find it rather confusing that now many homalg packages live in two places, e.g. there is both https://github.com/homalg-project/CategoricalTowers/tree/master/PreSheaves and https://github.com/homalg-project/PreSheaves - the latter is apparently derived from the former. But what's the point of these subsplits?

Gradually switch to functional code for compilability

Gradually rewrite code with side effects.

Rename (Co)chainComplexCategory to ComplexCategoryBy(Co)chains

Extend scope of EmbeddingFunctorIntoDerivedCategory

Do you think it is possible to update the attribute EmbeddingFunctorIntoDerivedCategory so that it works when applied on the AdditiveClosure of the LinearClosure of a ProsetAsCategory?

Here is an example :

ReadPackage( "DerivedCategories", "examples/pre_settings.g" );;

QQ := HomalgFieldOfRationals();;
k := HomalgFieldOfRationals();;
P := [ [ 1, 1, 1, 1 ], [ 0, 1, 0, 1 ], [ 0, 0, 1, 1 ], [ 0, 0, 0, 1 ] ];;
CP := ProSetAsCategory(P);;
kCP := LinearClosure(QQ, CP, ReturnTrue);;
AddkCP := AdditiveClosure(kCP);;
HP := HomotopyCategory(AddkCP);;

iota := EmbeddingFunctorIntoDerivedCategory( HP );
#! fail

Dependency on GradedModulePresentations

The package GradedModulePresentations should probably be listed as a dependency of DerivedCategories, since commands like GradedFreeLeftPresentation are used within the file DerivedCategories/gap/OtherQPATweaks.gi, which leads to an error if BBGG is not loaded.

Tests failing due to changes to FunctorCategories

@mohamed-barakat Could you update the tests for the changes to FunctorCategories?

Use AdditiveClosure( Algebroids ) instead of QuiverRows everywhere

Move derivations for `Lift` and `Colift` using the HomStructure from ComplexesCategories to CAP

Their correct name would be LiftOrFail and ColiftOrFail.

Bug in MorphismBetweenInjectiveResolutions for cochains

The Differentials( i_C ) does not have attribute BaseZFunctions since the former is a shifted IsZFunction, i.e., not infinite list as it used to be:

HigherHomologicalAlgebra/ComplexesCategories/gap/Resolutions.gi

Lines 802 to 804 in a4dddb2

 temp_C := BaseZFunctions( BaseZFunctions( Differentials( i_C ) )[ 1 ] )[ 1 ][ k ][ 3 ]; 

 temp_D := BaseZFunctions( BaseZFunctions( Differentials( i_D ) )[ 1 ] )[ 1 ][ k ][ 3 ];

CI is failing due to cbc965a82000b5f832705f8a5f781ee1896d816b

[NbConvertApp] Converting notebook HappelTheorem.ipynb to notebook
Traceback (most recent call last):
File "/usr/bin/jupyter-nbconvert", line 33, in
sys.exit(load_entry_point('nbconvert==6.4.0', 'console_scripts', 'jupyter-nbconvert')())
File "/usr/lib/python3/dist-packages/jupyter_core/application.py", line 264, in launch_instance
return super(JupyterApp, cls).launch_instance(argv=argv, **kwargs)
File "/usr/lib/python3/dist-packages/traitlets/config/application.py", line 846, in launch_instance
app.start()
File "/usr/lib/python3/dist-packages/nbconvert/nbconvertapp.py", line 361, in start
self.convert_notebooks()
File "/usr/lib/python3/dist-packages/nbconvert/nbconvertapp.py", line 533, in convert_notebooks
self.convert_single_notebook(notebook_filename)
File "/usr/lib/python3/dist-packages/nbconvert/nbconvertapp.py", line 498, in convert_single_notebook
output, resources = self.export_single_notebook(notebook_filename, resources, input_buffer=input_buffer)
File "/usr/lib/python3/dist-packages/nbconvert/nbconvertapp.py", line 427, in export_single_notebook
output, resources = self.exporter.from_filename(notebook_filename, resources=resources)
File "/usr/lib/python3/dist-packages/nbconvert/exporters/exporter.py", line 190, in from_filename
return self.from_file(f, resources=resources, **kw)
File "/usr/lib/python3/dist-packages/nbconvert/exporters/exporter.py", line 208, in from_file
return self.from_notebook_node(nbformat.read(file_stream, as_version=4), resources=resources, **kw)
File "/usr/lib/python3/dist-packages/nbconvert/exporters/notebook.py", line 32, in from_notebook_node
nb_copy, resources = super().from_notebook_node(nb, resources, **kw)
File "/usr/lib/python3/dist-packages/nbconvert/exporters/exporter.py", line 147, in from_notebook_node
nb_copy, resources = self._preprocess(nb_copy, resources)
File "/usr/lib/python3/dist-packages/nbconvert/exporters/exporter.py", line 334, in _preprocess
nbc, resc = preprocessor(nbc, resc)
File "/usr/lib/python3/dist-packages/nbconvert/preprocessors/base.py", line 47, in call
return self.preprocess(nb, resources)
File "/usr/lib/python3/dist-packages/nbconvert/preprocessors/execute.py", line 84, in preprocess
self.preprocess_cell(cell, resources, index)
File "/usr/lib/python3/dist-packages/nbconvert/preprocessors/execute.py", line 105, in preprocess_cell
cell = self.execute_cell(cell, index, store_history=True)
File "/usr/lib/python3/dist-packages/nbclient/util.py", line 84, in wrapped
return just_run(coro(*args, **kwargs))
File "/usr/lib/python3/dist-packages/nbclient/util.py", line 62, in just_run
return loop.run_until_complete(coro)
File "/usr/lib/python3.10/asyncio/base_events.py", line 646, in run_until_complete
return future.result()
File "/usr/lib/python3/dist-packages/nbclient/client.py", line 854, in async_execute_cell
self._check_raise_for_error(cell, exec_reply)
File "/usr/lib/python3/dist-packages/nbclient/client.py", line 756, in _check_raise_for_error
raise CellExecutionError.from_cell_and_msg(cell, exec_reply_content)
nbclient.exceptions.CellExecutionError: An error occurred while executing the following cell:

I_F = SomeInjectiveObject( F )

Error thrown by GAP: Error, the CAP-category of the result of the function MonomorphismIntoSomeInjectiveObject of the category named FunctorCategory( Algebroid( (Q * q) / [ -1*(cd) + 1(ab) ] ), Category of matrices over Q ) is not identical to the category named FunctorCategory( Algebroid( (Q * q) / [ -1(cd) + 1(a*b) ] ), Category of matrices over Q ). You can access the morphism and category via the local variables 'morphism' and 'category' in a break loop. at /home/gap/.gap/pkg/CAP_project/CAP/gap/ToolsForCategories_AfterLoading.gi:121 called from
CAP_INTERNAL_ASSERT_IS_MORPHISM_OF_CATEGORY( result, category, output_human_readable_identifier_getter ); at /home/gap/.gap/pkg/CAP_project/CAP/gap/InstallAdds.gi:355 called from
output_sanity_check_function( result ); at /home/gap/.gap/pkg/CAP_project/CAP/gap/InstallAdds.gi:499 called from
CallFuncList( func, arg ) at /home/gap/.julia/packages/CapAndHomalg/8IpYr/pkg/homalg_project/ToolsForHomalg/gap/CachingObjects.gi:767 called from
MonomorphismIntoSomeInjectiveObject( cat, obj ) at /home/gap/.gap/pkg/CAP_project/CAP/gap/DerivedMethods.gi:2689 called from
CallFuncList( func_to_install, arg ) at /home/gap/.gap/pkg/CAP_project/CAP/gap/InstallAdds.gi:477 called from
... at defin:0

CI failing due to LaTeX errors in the documentation of StableCategories

These errors we not caught until now due to a bug in ReleaseTools when using "dash" as a shell (gap-system/ReleaseTools#99). They are caught now because I have switched "dash" to "bash" in homalg-project/gap-docker-base@2e48b44.

HigherHomologicalAlgebra diverged from PackageJanitor

CI failing

@mohamed-barakat It looks like your changes have affected HigherHomlogicalAlgebra after all:

Error, the underlying category must be equipped with a Hom-Structure

Get rid of Unicode character ⋅ (U+22C5)

Please us the standard GAP interval notation:

supported in the window [0 ⋅⋅⋅ 1] -> supported on the interval [ 0 .. 1 ]

This unicode character is breaking the build of documentation in FunctorCategories

Please fix all examples in `DerivedCategories/examples` or delete them

Turn ComplexesCategories into a suggested dependency of QPA?

Having QPA depend on ComplexesCategories causes various issues, e.g. that everything that depends on QPA now also depends on Locales. From a quick local test it looks like this dependency is not used for anything we need: I have removed the dependency, and commented the following lines in read.g:

#ReadPackage( "QPA", "lib/homologicalalgebra.gi" );
#ReadPackage( "QPA", "lib/complexity.gi" );
#ReadPackage( "QPA", "lib/ext.gi" );
#ReadPackage( "QPA", "lib/transpose.gi" );

With this, the tests of Algebroids pass without problems. So probably ComplexesCategories could be turned into a suggested dependency and the above files could be loaded conditionally.

@mohamed-barakat @kamalsaleh Could you check if this works for all of your applications, too? It would be very nice if we could simplify the dependency tree :-)

switch to use of PreSheaves

Now that homalg-project/FunctorCategories#187 is merged the clean transition to PreSheaves can be started. This still requires changes in FunctorCategories described here.

CI fails due to formatting changes in PreSheaves.ipynb

I guess this is due to homalg-project/CategoricalTowers#173, maybe @mohamed-barakat can comment:

Click to expand diff

2023-03-29T04:17:44.7366743Z 553,589c553,700
2023-03-29T04:17:44.7367240Z <       "[ [  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7367735Z <       "  [   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7368223Z <       "  [   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7368680Z <       "  [   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7369038Z <       "  [   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7369383Z <       "  [   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7369736Z <       "  [   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7370084Z <       "  [   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7370434Z <       "  [   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7370873Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7371228Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7371579Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7371932Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7372294Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7372649Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7372997Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7373427Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7373761Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7374097Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7374446Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7374781Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7375116Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7375555Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7375913Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7376254Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7376588Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7376943Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7377282Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7377629Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7378052Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7378389Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7378727Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7379066Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7379405Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7379749Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0 ],\n",
2023-03-29T04:17:44.7380190Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0 ],\n",
2023-03-29T04:17:44.7380553Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1 ] ]\n",
2023-03-29T04:17:44.7380833Z ---
2023-03-29T04:17:44.7381127Z >       "[ [  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7381393Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7381648Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7381894Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7382133Z >       "  [   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7382520Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7382773Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7382994Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7383233Z >       "  [   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7383484Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7383737Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7383954Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7384201Z >       "  [   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7384549Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7384783Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7385006Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7385239Z >       "  [   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7385475Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7385708Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7385946Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7386171Z >       "  [   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7386405Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7386650Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7386881Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7387109Z >       "  [   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7387335Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7387580Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7387806Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7388029Z >       "  [   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7388272Z >       "   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7388609Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7388843Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7389059Z >       "  [   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7389296Z >       "   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7389538Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7389757Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7389975Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7390209Z >       "   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7390451Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7390661Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7390905Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7391139Z >       "   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7391383Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7391596Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7391824Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7392062Z >       "   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7392294Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7392521Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7392745Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7393066Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7393293Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7393520Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7393746Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,\\\n",
2023-03-29T04:17:44.7393970Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7394214Z >       "0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7394441Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7394676Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,\\\n",
2023-03-29T04:17:44.7394900Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7395147Z >       "0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7395366Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7395579Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,\\\n",
2023-03-29T04:17:44.7395817Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7396057Z >       "0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7396273Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7396484Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7396713Z >       "   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7396955Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7397243Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7397465Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7397700Z >       "   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7397936Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7398143Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7398378Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7398607Z >       "   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7398835Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7399056Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7399291Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7399528Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7399757Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7399988Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7400216Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7400441Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7400678Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7400902Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7401129Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7401445Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7401687Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7401912Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7402134Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7402371Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   \\\n",
2023-03-29T04:17:44.7402611Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7402836Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7403089Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7403323Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   \\\n",
2023-03-29T04:17:44.7403572Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7403791Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7404006Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7404240Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   \\\n",
2023-03-29T04:17:44.7404484Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7404692Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7404927Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7405168Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7405416Z >       "1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7405729Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7405962Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7406196Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7406423Z >       "0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0, \\\n",
2023-03-29T04:17:44.7406650Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7406877Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7407109Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7407335Z >       "0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0, \\\n",
2023-03-29T04:17:44.7407559Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7407790Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7408015Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7408258Z >       "0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1, \\\n",
2023-03-29T04:17:44.7408477Z >       "  0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7408704Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7408928Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7409171Z >       "0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7409387Z >       "  1,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7409603Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7410105Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7410347Z >       "0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7410574Z >       "  0,   1,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7410789Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7411024Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7411261Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7411467Z >       "  0,   0,   1,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7411686Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7411917Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7412164Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7412375Z >       "  0,   0,   0,   1,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7412605Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7412840Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7413068Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7413285Z >       "  0,   0,   0,   0,   1,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7413514Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7413745Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7413974Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7414285Z >       "  0,   0,   0,   0,   0,   1,   0,   0 ],\n",
2023-03-29T04:17:44.7414516Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7414742Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7414979Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7415206Z >       "  0,   0,   0,   0,   0,   0,   1,   0 ],\n",
2023-03-29T04:17:44.7415435Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7415657Z >       "   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   \\\n",
2023-03-29T04:17:44.7415899Z >       "0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0, \\\n",
2023-03-29T04:17:44.7416124Z >       "  0,   0,   0,   0,   0,   0,   0,   1 ] ]\n",
2023-03-29T04:17:44.7416323Z 601,618c712,747
2023-03-29T04:17:44.7416569Z <       "[ [  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7416848Z <       "  [  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7417122Z <       "  [  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7417380Z <       "  [  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7417644Z <       "  [  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7417898Z <       "  [  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7418160Z <       "  [  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7418495Z <       "  [  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7418748Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7419022Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7419290Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7419542Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7419793Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7420061Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7420324Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7420571Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0 ],\n",
2023-03-29T04:17:44.7420823Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0 ],\n",
2023-03-29T04:17:44.7421089Z <       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1 ] ]\n",
2023-03-29T04:17:44.7421353Z ---
2023-03-29T04:17:44.7421558Z >       "[ [  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7421799Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7422129Z >       "  [  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7422560Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7422805Z >       "  [  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7423038Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7423283Z >       "  [  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7423496Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7423738Z >       "  [  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7423971Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7424193Z >       "  [  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7424413Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7424665Z >       "  [  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1\\\n",
2023-03-29T04:17:44.7424883Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7425117Z >       "  [  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7425346Z >       ",  1,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7425578Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7425790Z >       ",  0,  1,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7426024Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7426248Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7426469Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7426687Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7427030Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7427255Z >       ",  0,  0,  0,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7427468Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0,  0\\\n",
2023-03-29T04:17:44.7427690Z >       ",  0,  0,  1,  0,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7427918Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0,  0\\\n",
2023-03-29T04:17:44.7428132Z >       ",  0,  0,  0,  1,  0,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7428358Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  1,  0\\\n",
2023-03-29T04:17:44.7428583Z >       ",  0,  0,  0,  0,  1,  0,  0,  0 ],\n",
2023-03-29T04:17:44.7428804Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7429024Z >       ",  0,  0,  0,  0,  0,  1,  0,  0 ],\n",
2023-03-29T04:17:44.7429262Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7429484Z >       ",  0,  0,  0,  0,  0,  0,  1,  0 ],\n",
2023-03-29T04:17:44.7429704Z >       "  [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0\\\n",
2023-03-29T04:17:44.7429928Z >       ",  0,  0,  0,  0,  0,  0,  0,  1 ] ]\n",
2023-03-29T04:17:44.7430133Z 665,718c794,901
2023-03-29T04:17:44.7430364Z <       "[ [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7430644Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7430912Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7431170Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7431510Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7431782Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7432151Z <       "  [  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7432506Z <       "  [   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7432848Z <       "  [   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7433210Z <       "  [   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7433565Z <       "  [   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7433910Z <       "  [   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7434272Z <       "  [   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7434630Z <       "  [   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7434992Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7435335Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7435693Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7436040Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7436290Z <       "  [   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7436532Z <       "  [   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7436889Z <       "  [   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7437143Z <       "  [   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7437387Z <       "  [   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7437625Z <       "  [   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7437883Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7438137Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7438376Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7438636Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7438892Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7439141Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7439480Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7439829Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7440168Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7440513Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0 ],\n",
2023-03-29T04:17:44.7440935Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0 ],\n",
2023-03-29T04:17:44.7441292Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1 ],\n",
2023-03-29T04:17:44.7441543Z <       "  [   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7441795Z <       "  [   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7442028Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7442281Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7442528Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7442765Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7443023Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7443282Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7443532Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7443771Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0 ],\n",
2023-03-29T04:17:44.7444024Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0 ],\n",
2023-03-29T04:17:44.7444273Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1 ],\n",
2023-03-29T04:17:44.7444522Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7444848Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7445102Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7445349Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7445591Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ],\n",
2023-03-29T04:17:44.7445837Z <       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0 ] ]\n",
2023-03-29T04:17:44.7446071Z ---
2023-03-29T04:17:44.7446289Z >       "[ [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7446500Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7446738Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7446968Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7447192Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7447407Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7447641Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7447892Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7448106Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7448314Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7448533Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7448730Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7449038Z >       "  [  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7449252Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7449644Z >       "  [   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7449860Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7450172Z >       "  [   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7450396Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7450697Z >       "  [   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7450917Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7451237Z >       "  [   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7451441Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7451745Z >       "  [   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7451955Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7452259Z >       "  [   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7452462Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7452775Z >       "  [   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7452988Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7453279Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7453487Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7453796Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7453996Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7454296Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7454504Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7454808Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7455002Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7455220Z >       "  [   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7455526Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7455739Z >       "  [   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7455945Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7456168Z >       "  [   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7456364Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7456583Z >       "  [   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7456788Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7457005Z >       "  [   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7457203Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7457420Z >       "  [   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7457625Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7457839Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7458040Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7458256Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7458456Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7458674Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7458879Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7459097Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7459291Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7459510Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7459720Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7459926Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7460139Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7460527Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,   0,\\\n",
2023-03-29T04:17:44.7460728Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7461031Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,   0,\\\n",
2023-03-29T04:17:44.7461237Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7461540Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,  -1,\\\n",
2023-03-29T04:17:44.7461736Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7461953Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7462201Z >       "  -1,   0,   0 ],\n",
2023-03-29T04:17:44.7462523Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7462772Z >       "   0,  -1,   0 ],\n",
2023-03-29T04:17:44.7462998Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7463240Z >       "   0,   0,  -1 ],\n",
2023-03-29T04:17:44.7463464Z >       "  [   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7463680Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7463905Z >       "  [   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7464106Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7464329Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7464547Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7464756Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7464966Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7465186Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7465490Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7465704Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7465909Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7466127Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,   0,\\\n",
2023-03-29T04:17:44.7466319Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7466530Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,   0,\\\n",
2023-03-29T04:17:44.7466736Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7466939Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   1,\\\n",
2023-03-29T04:17:44.7467147Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7467362Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7467557Z >       "   1,   0,   0 ],\n",
2023-03-29T04:17:44.7467770Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7467984Z >       "   0,   1,   0 ],\n",
2023-03-29T04:17:44.7468205Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7468403Z >       "   0,   0,   1 ],\n",
2023-03-29T04:17:44.7468631Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7468843Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7469053Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7469258Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7469476Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7469672Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7469884Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7470089Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7470405Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7470605Z >       "   0,   0,   0 ],\n",
2023-03-29T04:17:44.7470823Z >       "  [   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,   0,\\\n",
2023-03-29T04:17:44.7471033Z >       "   0,   0,   0 ] ]\n",

Comply with a commit in PreSheaves

Comply with the commit homalg-project/CategoricalTowers@64d02cc.

CI failing

The CI is failing since tonight. @mohamed-barakat I assume that's due to some of your changes yesterday.

make doc in StableCategories leads to LaTeX errors

! Undefined control sequence.
<recently read> \CC 
                    
l.229 ...gory. The output is \texttt{true} if $\CC
                                                  $ is an exact category wit...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \EE 
                    
l.229 ... category with respect to some class $\EE
                                                  $ of short exact sequences. }
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

[3

]
! Undefined control sequence.
<recently read> \CC 
                    
l.244 ...ment is a morphism $\iota:A\to B$ in $\CC
                                                  $. The output is whether o...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \CC 
                    
l.259 ...gument is a morphism $\pi:B\to C$ in $\CC
                                                  $. The output is whether o...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \comp 
                      
l.334 ...$\tau: B \rightarrow T$ satisfying $\comp
                                                  {\iota}{\tau} \sim 0$. The...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
<recently read> \comp 
                      
l.334 ...erty of the cokernel object, i.e., $\comp
                                                  {\pi(\iota)}{\lambda} \sim...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.


! LaTeX Error: Environment tikzcd undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.336  \begin{tikzcd}
                     
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

! Undefined control sequence.
l.337  A \arrow
               [r, "\iota", hook] & B \arrow[r, "\pi(\iota)", two heads] \ar...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Missing $ inserted.
<inserted text> 
                $
l.337  A \arrow[r, "\iota
                         ", hook] & B \arrow[r, "\pi(\iota)", two heads] \ar...
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

! Misplaced alignment tab character &.
l.337  A \arrow[r, "\iota", hook] &
                                    B \arrow[r, "\pi(\iota)", two heads] \ar...
I can't figure out why you would want to use a tab mark
here. If you just want an ampersand, the remedy is
simple: Just type `I\&' now. But if some right brace
up above has ended a previous alignment prematurely,
you're probably due for more error messages, and you
might try typing `S' now just to see what is salvageable.

! Undefined control sequence.
l.337  A \arrow[r, "\iota", hook] & B \arrow
                                            [r, "\pi(\iota)", two heads] \ar...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.337 ...\arrow[r, "\pi(\iota)", two heads] \arrow
                                                  [rd, "\tau"'] & C \arrow[d...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Misplaced alignment tab character &.
l.337 ...\iota)", two heads] \arrow[rd, "\tau"'] &
                                                   C \arrow[d, "\exists!~\la...
I can't figure out why you would want to use a tab mark
here. If you just want an ampersand, the remedy is
simple: Just type `I\&' now. But if some right brace
up above has ended a previous alignment prematurely,
you're probably due for more error messages, and you
might try typing `S' now just to see what is salvageable.

! Undefined control sequence.
l.337 ...two heads] \arrow[rd, "\tau"'] & C \arrow
                                                  [d, "\exists!~\lambda", da...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.


! LaTeX Error: There's no line here to end.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.337 ... \arrow[d, "\exists!~\lambda", dashed] \\
                                                   & & \phantom{.}T.
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

! Missing $ inserted.
<inserted text> 
                $
l.337 ... \arrow[d, "\exists!~\lambda", dashed] \\
                                                   & & \phantom{.}T.
I've inserted a begin-math/end-math symbol since I think
you left one out. Proceed, with fingers crossed.

! Missing } inserted.
<inserted text> 
                }
l.337 ... \arrow[d, "\exists!~\lambda", dashed] \\
                                                   & & \phantom{.}T.
I've inserted something that you may have forgotten.
(See the <inserted text> above.)
With luck, this will get me unwedged. But if you
really didn't forget anything, try typing `2' now; then
my insertion and my current dilemma will both disappear.

! Extra }, or forgotten \endgroup.
\par ...m \@noitemerr {\@@par }\fi \else {\@@par }
                                                  \fi 
l.337 ... \arrow[d, "\exists!~\lambda", dashed] \\
                                                   & & \phantom{.}T.
I've deleted a group-closing symbol because it seems to be
spurious, as in `$x}$'. But perhaps the } is legitimate and
you forgot something else, as in `\hbox{$x}'. In such cases
the way to recover is to insert both the forgotten and the
deleted material, e.g., by typing `I$}'.

! Misplaced alignment tab character &.
<recently read> &
                 
l.337 ...arrow[d, "\exists!~\lambda", dashed] \\ &
                                                   & \phantom{.}T.
I can't figure out why you would want to use a tab mark
here. If you just want an ampersand, the remedy is
simple: Just type `I\&' now. But if some right brace
up above has ended a previous alignment prematurely,
you're probably due for more error messages, and you
might try typing `S' now just to see what is salvageable.

! Misplaced alignment tab character &.
l.337 ...row[d, "\exists!~\lambda", dashed] \\ & &
                                                   \phantom{.}T.
I can't figure out why you would want to use a tab mark
here. If you just want an ampersand, the remedy is
simple: Just type `I\&' now. But if some right brace
up above has ended a previous alignment prematurely,
you're probably due for more error messages, and you
might try typing `S' now just to see what is salvageable.


! LaTeX Error: \begin{center} on input line 335 ended by \end{tikzcd}.

See the LaTeX manual or LaTeX Companion for explanation.
Type  H <return>  for immediate help.
 ...                                              
                                                  
l.338  \end{tikzcd}
                   
Your command was ignored.
Type  I <command> <return>  to replace it with another command,
or  <return>  to continue without it.

[4]
! Undefined control sequence.
<recently read> \comp 
                      
l.355 ...that there $\mu: A_1 \to A_2$ with $\comp
                                                  {\iota_1}{\nu} \sim \comp{...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.

! Undefined control sequence.
l.355 ...A_2$ with $\comp{\iota_1}{\nu} \sim \comp
                                                  {\mu}{\iota_2}$. The opera...
The control sequence at the end of the top line
of your error message was never \def'ed. If you have
misspelled it (e.g., `\hobx'), type `I' and the correct
spelling (e.g., `I\hbox'). Otherwise just continue,
and I'll forget about whatever was undefined.


...

return_type of HomotopyMorphisms

I'm currently trying to compose a list of valid return_types in the method record. HomotopyMorphisms has the return type [ IsZFunction ]. Are the list brackets intended or should the return type actually be IsZFunction (without list brackets)?

ComplexesCategories

QPA2 depends on ComplexesCategories. Øystein should be informed that ComplexesCategories is now part of a new repo.

Moving code to `CategoryConstructor` or `CAP`

I suggest moving some of the general code in HigherHomologicalAlgebra/ComplexesCategories/gap/Derivations.gi to CategoryConstructororCAP`.

Shift is a KeyDependentOperation in TriangulatedCategories but a normal operation in homalg

gap> LoadPackage( "Triangulated", false );;
gap> LoadPackage( "homalg", false );;
#I  a method is installed for the wrapper operation Shift in ~/.gap/pkg/homalg_project/homalg/gap/HomalgComplex.gi:918
#I  it should probably be installed for (one of) its
#I  underlying operation(s)

I'm not sure if this has any negative implications, so feel free to close this as a non-issue if you don't think this is relevant.

CI is failing due to https://github.com/homalg-project/CAP_project/pull/1054

@mohamed-barakat

Remove .ipynb_checkpoints

Please add the directories .ipynb_checkpoints to .gitignore and remove them from the repository.

Tests failing due to LinearAlgebraForCAP not being loaded as a dependency of FreydCategoriesForCAP anymore

If you decide to load LinearAlgebraForCAP in 100_LoadPackages.tst, please do so using PackageJanitor to make sure things are in sync :-)

CI is failing again

@mohamed-barakat's changes are the culprit, I guess.

CI is failing because FunctorCategories now depends on PreSheaves

but PreSheaves (i.e. CategoricalTowers) is not cloned in the CI.

Synonyms

I strongly advise against the usage of synonyms as you do for (at least) the following variables:

id, hom, iota, pi

Usually, commands in GAP start with a capital letter
Usually, variable names in GAP start with a small letter
Usually, variable names in an interactive GAP session are short

Thus, declaring id as a synonym for IdentityMorphism is counterproductive as it violates 1) and prohibits the usage of id as a variable name in an interactive session, which right now leads to errors in the tests of FreydCategoriesForCAP. Moreover, the right place for such a declaration would be in the CAP package.

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.

	temp_C := BaseZFunctions( BaseZFunctions( Differentials( i_C ) )[ 1 ] )[ 1 ][ k ][ 3 ];

	temp_D := BaseZFunctions( BaseZFunctions( Differentials( i_D ) )[ 1 ] )[ 1 ][ k ][ 3 ];