diff --git a/examples/Chapter2.ipynb b/examples/Chapter2.ipynb
index 2b443f3..0b576ba 100644
--- a/examples/Chapter2.ipynb
+++ b/examples/Chapter2.ipynb
@@ -2,7 +2,7 @@
  "cells": [
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 1,
    "metadata": {
     "collapsed": false
    },
@@ -24,7 +24,7 @@
        "(:KENZO)"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 1,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -35,7 +35,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 2,
    "metadata": {
     "collapsed": false
    },
@@ -54,7 +54,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 2,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -72,7 +72,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 3,
    "metadata": {
     "collapsed": false
    },
@@ -120,7 +120,7 @@
        "-----------------------------------------------------------------------------\""
       ]
      },
-     "execution_count": 64,
+     "execution_count": 3,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -138,7 +138,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 4,
    "metadata": {
     "collapsed": false
    },
@@ -168,7 +168,7 @@
        "------------------------------------------------------------------------------\""
       ]
      },
-     "execution_count": 64,
+     "execution_count": 4,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -186,7 +186,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 5,
    "metadata": {
     "collapsed": false
    },
@@ -230,7 +230,7 @@
        "------------------------------------------------------------------------------\""
       ]
      },
-     "execution_count": 64,
+     "execution_count": 5,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -241,7 +241,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 6,
    "metadata": {
     "collapsed": false
    },
@@ -260,7 +260,7 @@
        "------------------------------------------------------------------------------\""
       ]
      },
-     "execution_count": 64,
+     "execution_count": 6,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -278,7 +278,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 7,
    "metadata": {
     "collapsed": false
    },
@@ -289,7 +289,7 @@
        "CDELTA"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 7,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -319,7 +319,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 8,
    "metadata": {
     "collapsed": false
    },
@@ -330,7 +330,7 @@
        "MAKE-F"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 8,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -353,7 +353,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 9,
    "metadata": {
     "collapsed": false
    },
@@ -364,7 +364,7 @@
        "MAKE-G"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 9,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -380,7 +380,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 10,
    "metadata": {
     "collapsed": false
    },
@@ -391,7 +391,7 @@
        "MAKE-H"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 10,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -416,7 +416,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 11,
    "metadata": {
     "collapsed": false
    },
@@ -427,7 +427,7 @@
        "MAKE-RDCT"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 11,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -444,7 +444,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 12,
    "metadata": {
     "collapsed": false
    },
@@ -455,7 +455,7 @@
        "[K8 Reduction K1 => K3]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 12,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -466,7 +466,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 13,
    "metadata": {
     "collapsed": false
    },
@@ -477,7 +477,7 @@
        "(REDUCTION DELTA 6 3)"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 13,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -488,7 +488,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 14,
    "metadata": {
     "collapsed": false
    },
@@ -507,7 +507,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 14,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -518,7 +518,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 15,
    "metadata": {
     "collapsed": false
    },
@@ -535,7 +535,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 15,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -546,7 +546,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 16,
    "metadata": {
     "collapsed": false
    },
@@ -560,7 +560,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 16,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -571,7 +571,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 17,
    "metadata": {
     "collapsed": false
    },
@@ -648,7 +648,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 17,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -659,7 +659,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 18,
    "metadata": {
     "collapsed": false
    },
@@ -670,7 +670,7 @@
        "[K35 Reduction K1 => K30]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 18,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -681,7 +681,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 19,
    "metadata": {
     "collapsed": false
    },
@@ -692,7 +692,7 @@
        "[K39 Reduction K30 => K3]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 19,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -703,7 +703,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 20,
    "metadata": {
     "collapsed": false
    },
@@ -714,7 +714,7 @@
        "[K45 Reduction K1 => K3]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 20,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -725,7 +725,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 21,
    "metadata": {
     "collapsed": false
    },
@@ -744,7 +744,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 21,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -755,7 +755,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 22,
    "metadata": {
     "collapsed": false
    },
@@ -832,7 +832,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 22,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -851,7 +851,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 23,
    "metadata": {
     "collapsed": false
    },
@@ -862,7 +862,7 @@
        "[K66 Homotopy-Equivalence K30 <= K30 => K30]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 23,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -873,7 +873,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 24,
    "metadata": {
     "collapsed": false
    },
@@ -884,7 +884,7 @@
        "[K74 Homotopy-Equivalence K69 <= K69 => K69]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 24,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -895,7 +895,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 25,
    "metadata": {
     "collapsed": false
    },
@@ -908,7 +908,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 25,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -926,7 +926,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 26,
    "metadata": {
     "collapsed": false
    },
@@ -945,7 +945,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 26,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -957,7 +957,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 27,
    "metadata": {
     "collapsed": false
    },
@@ -968,7 +968,7 @@
        "((2 . <BcnB B1>) (4 . <BcnB B1>) (6 . <BcnB B3>) (3 . <BcnB C1>) (5 . <BcnB C1>) (7 . <BcnB D1>))"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 27,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -987,7 +987,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 28,
    "metadata": {
     "collapsed": false
    },
@@ -1003,7 +1003,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 28,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1014,7 +1014,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 29,
    "metadata": {
     "collapsed": false
    },
@@ -1029,7 +1029,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 29,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1040,7 +1040,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 30,
    "metadata": {
     "collapsed": false
    },
@@ -1054,7 +1054,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 30,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1065,7 +1065,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 31,
    "metadata": {
     "collapsed": false
    },
@@ -1084,7 +1084,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 31,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1095,7 +1095,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 32,
    "metadata": {
     "collapsed": false
    },
@@ -1111,7 +1111,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 32,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1122,7 +1122,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 33,
    "metadata": {
     "collapsed": false
    },
@@ -1137,7 +1137,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 33,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1148,7 +1148,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 34,
    "metadata": {
     "collapsed": false
    },
@@ -1162,7 +1162,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 34,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1173,7 +1173,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 35,
    "metadata": {
     "collapsed": false
    },
@@ -1199,7 +1199,7 @@
        ")"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 35,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1220,7 +1220,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 36,
    "metadata": {
     "collapsed": false
    },
@@ -1239,7 +1239,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 36,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1250,7 +1250,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 37,
    "metadata": {
     "collapsed": false
    },
@@ -1261,7 +1261,7 @@
        "CDELTA"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 37,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1292,7 +1292,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 38,
    "metadata": {
     "collapsed": false
    },
@@ -1303,7 +1303,7 @@
        "[K1 Chain-Complex]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 38,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1314,7 +1314,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 39,
    "metadata": {
     "collapsed": false
    },
@@ -1325,7 +1325,7 @@
        "((0) (1) (2) (3))"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 39,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1336,7 +1336,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 40,
    "metadata": {
     "collapsed": false
    },
@@ -1347,7 +1347,7 @@
        "((0 1) (0 2) (1 2) (0 3) (1 3) (2 3))"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 40,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1358,7 +1358,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 41,
    "metadata": {
     "collapsed": false
    },
@@ -1369,7 +1369,7 @@
        "((0 1 2) (0 1 3) (0 2 3) (1 2 3))"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 41,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1380,7 +1380,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 42,
    "metadata": {
     "collapsed": false
    },
@@ -1391,7 +1391,7 @@
        "((0 1 2 3))"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 42,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1402,7 +1402,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 43,
    "metadata": {
     "collapsed": false
    },
@@ -1413,7 +1413,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 43,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1424,7 +1424,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 44,
    "metadata": {
     "collapsed": false
    },
@@ -1435,7 +1435,7 @@
        "[K15 Chain-Complex]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 44,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1446,7 +1446,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 45,
    "metadata": {
     "collapsed": false
    },
@@ -1457,7 +1457,7 @@
        "(<BcnB (0)> <BcnB (1)> <BcnB (2)> <BcnB (3)> <BcnC (0 1)> <BcnC (0 2)> <BcnC (1 2)> <BcnD (0)> <BcnD (1)> <BcnD (2)> ...)"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 45,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1468,7 +1468,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 46,
    "metadata": {
     "collapsed": false
    },
@@ -1479,7 +1479,7 @@
        "(<BcnB (0 1)> <BcnB (0 2)> <BcnB (1 2)> <BcnB (0 3)> <BcnB (1 3)> <BcnB (2 3)> <BcnC (0 1 2)> <BcnD (0 1)> <BcnD (0 2)> <BcnD (1 2)> ...)"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 46,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1490,7 +1490,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 47,
    "metadata": {
     "collapsed": false
    },
@@ -1501,7 +1501,7 @@
        "(<BcnD (0 1 2 3 4)>)"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 47,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1512,7 +1512,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 48,
    "metadata": {
     "collapsed": false
    },
@@ -1535,7 +1535,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 48,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1546,7 +1546,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 49,
    "metadata": {
     "collapsed": false
    },
@@ -1559,7 +1559,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 49,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1578,7 +1578,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 50,
    "metadata": {
     "collapsed": false
    },
@@ -1597,7 +1597,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 50,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1608,7 +1608,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 51,
    "metadata": {
     "collapsed": false
    },
@@ -1619,7 +1619,7 @@
        "[K1 Chain-Complex]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 51,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1636,7 +1636,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 52,
    "metadata": {
     "collapsed": false
    },
@@ -1647,7 +1647,7 @@
        "[K6 Homotopy-Equivalence K1 <= K1 => K1]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 52,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1658,7 +1658,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 53,
    "metadata": {
     "collapsed": false
    },
@@ -1669,7 +1669,7 @@
        "[K17 Homotopy-Equivalence K1 <= K7 => K1]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 53,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1680,7 +1680,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 54,
    "metadata": {
     "collapsed": false
    },
@@ -1699,7 +1699,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 54,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1710,7 +1710,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 55,
    "metadata": {
     "collapsed": false
    },
@@ -1726,7 +1726,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 55,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1737,7 +1737,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 56,
    "metadata": {
     "collapsed": false
    },
@@ -1751,7 +1751,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 56,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1762,7 +1762,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 57,
    "metadata": {
     "collapsed": false
    },
@@ -1838,7 +1838,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 57,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1849,7 +1849,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 58,
    "metadata": {
     "collapsed": false
    },
@@ -1868,7 +1868,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 58,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1879,7 +1879,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 59,
    "metadata": {
     "collapsed": false
    },
@@ -1955,7 +1955,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 59,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1966,7 +1966,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 60,
    "metadata": {
     "collapsed": false
    },
@@ -1977,7 +1977,7 @@
        "[K65 Homotopy-Equivalence K1 <= K55 => K1]"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 60,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -1988,7 +1988,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 61,
    "metadata": {
     "collapsed": false
    },
@@ -2008,7 +2008,7 @@
        "------------------------------------------------------------------------------\n"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 61,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2022,7 +2022,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 62,
    "metadata": {
     "collapsed": false
    },
@@ -2041,7 +2041,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 62,
      "metadata": {},
      "output_type": "execute_result"
     }
@@ -2052,7 +2052,7 @@
   },
   {
    "cell_type": "code",
-   "execution_count": 64,
+   "execution_count": 63,
    "metadata": {
     "collapsed": false
    },
@@ -2132,7 +2132,7 @@
        "NIL"
       ]
      },
-     "execution_count": 64,
+     "execution_count": 63,
      "metadata": {},
      "output_type": "execute_result"
     }