Warshalls Algorithm
size: 70
input bits: 125
closure bits: 2926
Input matrix:
----------------------------------------------------------------------
---------------------------+------------------------------------------
---------------------------------------------------------+------------
----------------------------------------------------------------------
-----------------------------------------+----------------------------
-+-------------------------------------------------------+------------
-------+-------------+-----------------------------------------+------
------+------+-------------+------------------------------------------
-----------------------------+----------------------------------+-----
-----------------------------------+------+---------------------------
------+---------------------------------------------------------------
------------+--------------------+------+-------------+---------------
--------------+------+----------------------------------+-------------
----------------------------------------------------------------------
-------------------+--------------------+--------------------+--------
--------------+----------------------------------+-------------+------
-------------+-------------+--------------------+---------------------
----------------------------------------+-----------------------------
+------+------------------------------------------------+-------------
--------------------------------------------------------------+-------
-------------------+--------------------------------------------------
------------------+-------------+-------------------------------------
------+---------------------------------------------------------------
---------------------------------+----------------------------------+-
----+--------------------+------+----------------------------------+--
------+-------------------------------------------------------+-------
-----+----------------------------------+--------------------+--------
------------------+--------------------+------------------------------
--------------------------------------------------------------+------+
----------------------------------------+-----------------------------
----------------------------------------------------------------------
-----------------------------------------------------------+----------
--------------------------------------------------------------------+-
-------------------------+--------------------+-----------------------
-----------------+------------------------------------------------+---
-------------------+---------------------------+----------------------
---------------------------------------+------+-----------------------
----------------------------------------------------------------------
-----+----------------------------------------------------------------
-----------+----------------------------------------------------------
----------------------------------------------------------------------
--+------+-----------------------------------------+------------------
------------------+--------------------+------------------------------
----------+--------------------+--------------------------------------
-------------------------------------+-------------+-------------+----
-----------+--------------------+---------------------------+---------
-----------------+----------------------------------------------------
----------------+-------------+---------------------------------------
--------------------------------+-------------+-----------------------
----------+----------------------------------+--------------------+---
-------------------------------------+--------------------------------
----------------------------------------------------------------------
---+-------------+---------------------------+--------------------+---
--+----------------------------------+---------------------------+----
----------------------------------------------------------------------
----------+----------------------------------+------+-----------------
-----------------------------------------------------------------+----
----------------------+------+-------------+--------------------------
-----------------+-------------+--------------------------------------
---------+------------------------------------------------------------
----------------------------------------------------------------------
+---------------------------+-----------------------------------------
---------+--------------------+------+--------------------------------
---------------+------+----------------------------------+------------
------------------------------------------+---------------------------
-----------------------+--------------------+-------------------------
---------------+------------------------------------------------------
+-------------+-------------------------------------------------------
----------------+--------------------+--------------------------------
-+--------------------------------------------------------------------
Transitive closure:
----------------------------------------------------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
+++---++-+++++++++++-+++-+-+++++++-+-+-+++++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-++++++++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------+-----------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
+++-+-++-+++++++++++-+++-+-+++++++-+-+-+++++++++++-+--+-++-+++++-+++++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++---+++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------+-----------------------------
----------------------------------------------------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
++---+++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
+++---++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
-----------------+----------------------+-----------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
-------------------------------------+--------------------------------
----------------------------------------------------------------------
++-+--++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
+++---++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
++-+--++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-++-+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
----------------------------------------------------------------------
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
++----++-+++++++++++-+++-+-+++++++-+-+-++-++++++++-+--+-++-+++++-++-++
