International Allegro CL Enterprise Edition 8.1 [Windows] (Nov 20, 2008 16:34) Copyright (C) 1985-2007, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [TC16573] Universidad de La Rioja CG version 1.103.2.10 / IDE version 1.103.2.15 Loaded options from C:\Documents and Settings\sergeraert.ESUS\Mis documentos\allegro-prefs-8-1.cl. ;; Optimization settings: safety 1, space 1, speed 1, debug 2. ;; For a complete description of all compiler switches given the current optimization settings evaluate (EXPLAIN-COMPILER-SETTINGS). CL-USER(1): (load "cat-init") ; Loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cat-init.cl FILE 1: macros FILE 2: various FILE 3: classes FILE 4: combinations FILE 5: chain-complexes FILE 6: chcm-elementary-op FILE 7: effective-homology FILE 8: homology-groups FILE 9: searching-homology FILE 10: cones FILE 11: bicones FILE 12: tensor-products FILE 13: coalgebras FILE 14: cobar FILE 15: algebras FILE 16: bar FILE 17: simplicial-sets FILE 18: simplicial-mrphs FILE 19: delta FILE 20: special-smsts FILE 21: suspensions FILE 22: disk-pasting FILE 23: simplicial-products FILE 24: cartesian-products FILE 25: eilenberg-zilber FILE 26: kan FILE 27: simplicial-groups FILE 28: fibrations FILE 29: loop-spaces FILE 30: ls-twisted-products FILE 31: lp-space-efhm FILE 32: classifying-spaces FILE 33: k-pi-n FILE 34: serre FILE 35: cs-twisted-products FILE 36: cl-space-efhm FILE 37: whitehead FILE 38: smith T CL-USER(2): (load-cfiles) ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\macros.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\various.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\classes.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\combinations.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\chain-complexes.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\chcm-elementary-op.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\effective-homology.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\homology-groups.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\searching-homology.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cones.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\bicones.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\tensor-products.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\coalgebras.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cobar.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\algebras.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\bar.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\simplicial-sets.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\simplicial-mrphs.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\delta.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\special-smsts.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\suspensions.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\disk-pasting.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cartesian-products.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\chain-complexes-vf.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\eilenberg-zilber.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\kan.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\simplicial-groups.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\fibrations.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\loop-spaces.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\ls-twisted-products.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\lp-space-efhm.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\classifying-spaces.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\k-pi-n.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\serre.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cs-twisted-products.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\cl-space-efhm.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\whitehead.fasl ; Fast loading C:\Documents and Settings\sergeraert.ESUS\Mis documentos\Kenzo-8\smith.fasl ("macros" "various" "classes" "combinations" "chain-complexes" "chcm-elementary-op" "effective-homology" "homology-groups" "searching-homology" "cones" ...) CL-USER(3): (time (progn (cat-init) (setf s3 (sphere 3)) (setf os3 (loop-space s3)) (setf attach (list (loop3 0 's3 2) (absm 3 (loop3)) (absm 3 (loop3)) (absm 3 (loop3)))) (setf dos3 (disk-pasting os3 3 'd3 attach)) (setf cc2 (chml-clss dos3 2)) (setf f2 (z2-whitehead dos3 cc2)) (setf x3 (fibration-total f2)) (kill-epis x3 1 3) (setf cc3 (chml-clss x3 3)) (setf f3 (z2-whitehead x3 cc3)) (setf x4 (fibration-total f3)) (kill-epis x4 2 4) (setf cc41 (chml-clss x4 4)) (setf f41 (z-whitehead x4 cc41)) (setf x41 (fibration-total f41)) (kill-epi x41 3) (setf cc42 (chml-clss x41 4)) (setf f42 (z2-whitehead x41 cc42)) (setf x42 (fibration-total f42)) (kill-epi x42 3) (setf cc43 (chml-clss x42 4)) (setf f43 (z2-whitehead x42 cc43)) (setf x5 (fibration-total f43)) (homology x5 5) #| (kill-epis x5 3 5) (setf cc51 (chml-clss x5 5)) (setf f51 (z2-whitehead x5 cc51)) (setf x51 (fibration-total f51)) (homology x51 5) (kill-epi x51 4) (setf cc52 (chml-clss x51 5)) (setf f52 (z2-whitehead x51 cc52)) (setf x52 (fibration-total f52)) (homology x52 5) |# )) ---done--- Computing boundary-matrix in dimension 5. Rank of the source-module : 14. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 1/14 (dimension 5) : > 0> <>> <>> <>> <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 2/14 (dimension 5) : > 0> <>> <>> <>> <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 3/14 (dimension 5) : > 0> <>> <>> <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 4/14 (dimension 5) : > 0> <>> <>> <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 5/14 (dimension 5) : > 0> <>> <>]>>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 0s. Computing the boundary of the generator 6/14 (dimension 5) : > 0> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 1s. Computing the boundary of the generator 7/14 (dimension 5) : > 0> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 2s. Computing the boundary of the generator 8/14 (dimension 5) : > 0> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 4s. Computing the boundary of the generator 9/14 (dimension 5) : >> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 6s. Computing the boundary of the generator 10/14 (dimension 5) : >> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 6s. Computing the boundary of the generator 11/14 (dimension 5) : > 5> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 7s. Computing the boundary of the generator 12/14 (dimension 5) : > 3> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 10s. Computing the boundary of the generator 13/14 (dimension 5) : <>> <>> <>> <>> *CR* -- Cut = 4.7000466e-4 -- N = 748 End of computing. ;; Clock -> 2013-04-01, 15h 4m 15s. Computing the boundary of the generator 14/14 (dimension 5) : > 1> <>> <>> <>> <>> End of computing. Computing boundary-matrix in dimension 6. Rank of the source-module : 25. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 1/25 (dimension 6) : > 0> <>> <>> <>> <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 2/25 (dimension 6) : > 0> <>> <>> <>> <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 3/25 (dimension 6) : > 0> <>> <>> <>> <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 4/25 (dimension 6) : > 0> <>> <>> <>> <>][3 <>]>>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 5/25 (dimension 6) : > 0> <>> <>> <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 24s. Computing the boundary of the generator 6/25 (dimension 6) : > 0> <>> <>> <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 25s. Computing the boundary of the generator 7/25 (dimension 6) : > 0> <>> <>> <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 25s. Computing the boundary of the generator 8/25 (dimension 6) : > 0> <>> <>> <>][3 <>]>>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 25s. Computing the boundary of the generator 9/25 (dimension 6) : > 0> <>> <>][3 <>]>>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 4m 26s. Computing the boundary of the generator 10/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 9.1535534e-4 -- N = 1418 *CR* -- Cut = 0.0014464274 -- N = 2058 End of computing. ;; Clock -> 2013-04-01, 15h 5m 3s. Computing the boundary of the generator 11/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.0019835487 -- N = 2484 End of computing. ;; Clock -> 2013-04-01, 15h 5m 26s. Computing the boundary of the generator 12/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.0025909753 -- N = 3142 *CR* -- Cut = 0.0030756088 -- N = 3653 *CR* -- Cut = 0.0036953324 -- N = 4210 End of computing. ;; Clock -> 2013-04-01, 15h 6m 12s. Computing the boundary of the generator 13/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.0039264187 -- N = 4479 *CR* -- Cut = 0.0043882476 -- N = 4936 *CR* -- Cut = 0.004768917 -- N = 5258 End of computing. ;; Clock -> 2013-04-01, 15h 6m 55s. Computing the boundary of the generator 14/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.0054595275 -- N = 5915 End of computing. ;; Clock -> 2013-04-01, 15h 7m 18s. Computing the boundary of the generator 15/25 (dimension 6) : >> <>> <>> <>> *CR* -- Cut = 0.0066549922 -- N = 7021 End of computing. ;; Clock -> 2013-04-01, 15h 8m 9s. Computing the boundary of the generator 16/25 (dimension 6) : >> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 8m 10s. Computing the boundary of the generator 17/25 (dimension 6) : > 4> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 8m 12s. Computing the boundary of the generator 18/25 (dimension 6) : > 2> <>> <>> <>> <>> *CR* -- Cut = 0.0070438343 -- N = 7418 *CR* -- Cut = 0.007633666 -- N = 8322 *CR* -- Cut = 0.0095850155 -- N = 9900 *CR* -- Cut = 0.010494329 -- N = 10568 End of computing. ;; Clock -> 2013-04-01, 15h 10m 27s. Computing the boundary of the generator 19/25 (dimension 6) : <>> <>> <>> <>> *CR* -- Cut = 0.010668547 -- N = 10756 *CR* -- Cut = 0.011265291 -- N = 11601 *CR* -- Cut = 0.011861436 -- N = 12041 End of computing. ;; Clock -> 2013-04-01, 15h 11m 15s. Computing the boundary of the generator 20/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.012221303 -- N = 12661 *CR* -- Cut = 0.013179513 -- N = 13408 *CR* -- Cut = 0.013526805 -- N = 13651 End of computing. ;; Clock -> 2013-04-01, 15h 12m 16s. Computing the boundary of the generator 21/25 (dimension 6) : > 6> <>> <>> <>> <>> End of computing. ;; Clock -> 2013-04-01, 15h 12m 20s. Computing the boundary of the generator 22/25 (dimension 6) : > 4> <>> <>> <>> <>> *CR* -- Cut = 0.0137432795 -- N = 14031 *CR* -- Cut = 0.014367742 -- N = 14814 *CR* -- Cut = 0.0153001025 -- N = 11217 End of computing. ;; Clock -> 2013-04-01, 15h 13m 28s. Computing the boundary of the generator 23/25 (dimension 6) : <>> <>> <>> <>> *CR* -- Cut = 0.013543837 -- N = 11476 *CR* -- Cut = 0.014040702 -- N = 12020 *CR* -- Cut = 0.014688311 -- N = 13127 *CR* -- Cut = 0.0149128325 -- N = 13390 *CR* -- Cut = 0.015168309 -- N = 12919 *CR* -- Cut = 0.014971033 -- N = 13374 *CR* -- Cut = 0.015862534 -- N = 13777 *CR* -- Cut = 0.016255561 -- N = 4989 *CR* -- Cut = 0.012520123 -- N = 5994 *CR* -- Cut = 0.013522326 -- N = 6892 *CR* -- Cut = 0.014920127 -- N = 7773 *CR* -- Cut = 0.015429201 -- N = 7382 *CR* -- Cut = 0.015573574 -- N = 7769 *CR* -- Cut = 0.016142286 -- N = 5975 *CR* -- Cut = 0.015303286 -- N = 6254 *CR* -- Cut = 0.015341632 -- N = 6263 *CR* -- Cut = 0.015664283 -- N = 6833 End of computing. ;; Clock -> 2013-04-01, 15h 19m 51s. Computing the boundary of the generator 24/25 (dimension 6) : > 2> <>> <>> <>> <>> *CR* -- Cut = 0.015948953 -- N = 7301 *CR* -- Cut = 0.016292963 -- N = 6172 *CR* -- Cut = 0.015924092 -- N = 6460 *CR* -- Cut = 0.017362004 -- N = 6882 *CR* -- Cut = 0.01831742 -- N = 7699 *CR* -- Cut = 0.018320847 -- N = 7918 *CR* -- Cut = 0.01815342 -- N = 7918 *CR* -- Cut = 0.019172028 -- N = 8195 *CR* -- Cut = 0.018915266 -- N = 8317 *CR* -- Cut = 0.020336233 -- N = 8394 *CR* -- Cut = 0.019281734 -- N = 8498 *CR* -- Cut = 0.018952638 -- N = 8499 *CR* -- Cut = 0.019735869 -- N = 8638 *CR* -- Cut = 0.020645663 -- N = 8814 *CR* -- Cut = 0.020412935 -- N = 8951 *CR* -- Cut = 0.020951616 -- N = 9096 *CR* -- Cut = 0.021270216 -- N = 9212 *CR* -- Cut = 0.021592729 -- N = 9309 *CR* -- Cut = 0.022102186 -- N = 9464 *CR* -- Cut = 0.022586763 -- N = 9642 *CR* -- Cut = 0.022976521 -- N = 9757 *CR* -- Cut = 0.023395495 -- N = 9879 *CR* -- Cut = 0.023787014 -- N = 9968 *CR* -- Cut = 0.024299266 -- N = 10109 *CR* -- Cut = 0.02451139 -- N = 10203 *CR* -- Cut = 0.024927495 -- N = 10347 *CR* -- Cut = 0.025138509 -- N = 10405 *CR* -- Cut = 0.02564603 -- N = 10483 *CR* -- Cut = 0.026142124 -- N = 10601 *CR* -- Cut = 0.02637858 -- N = 10671 *CR* -- Cut = 0.026920382 -- N = 10813 *CR* -- Cut = 0.02719442 -- N = 10889 *CR* -- Cut = 0.027587991 -- N = 10978 *CR* -- Cut = 0.027986243 -- N = 11090 *CR* -- Cut = 0.028502602 -- N = 11198 *CR* -- Cut = 0.028752968 -- N = 11286 *CR* -- Cut = 0.029493274 -- N = 11450 *CR* -- Cut = 0.029947568 -- N = 11555 *CR* -- Cut = 0.030206932 -- N = 11551 *CR* -- Cut = 0.0305965 -- N = 11664 *CR* -- Cut = 0.031081444 -- N = 8260 *CR* -- Cut = 0.028011777 -- N = 8346 *CR* -- Cut = 0.02851034 -- N = 8468 *CR* -- Cut = 0.028812798 -- N = 8557 *CR* -- Cut = 0.029261129 -- N = 8670 *CR* -- Cut = 0.029668316 -- N = 8758 *CR* -- Cut = 0.029729757 -- N = 8833 *CR* -- Cut = 0.030188635 -- N = 8927 *CR* -- Cut = 0.030528974 -- N = 9015 *CR* -- Cut = 0.030779114 -- N = 9090 *CR* -- Cut = 0.031249844 -- N = 8984 *CR* -- Cut = 0.031525865 -- N = 9102 *CR* -- Cut = 0.031736482 -- N = 9150 *CR* -- Cut = 0.03195863 -- N = 9227 *CR* -- Cut = 0.0321671 -- N = 7872 *CR* -- Cut = 0.031004654 -- N = 7910 *CR* -- Cut = 0.031181585 -- N = 7952 *CR* -- Cut = 0.03131274 -- N = 7984 *CR* -- Cut = 0.031491857 -- N = 8033 *CR* -- Cut = 0.03193318 -- N = 8104 *CR* -- Cut = 0.032200444 -- N = 8113 *CR* -- Cut = 0.032398406 -- N = 8155 *CR* -- Cut = 0.032636452 -- N = 8222 *CR* -- Cut = 0.032406084 -- N = 8222 *CR* -- Cut = 0.032636665 -- N = 8222 *CR* -- Cut = 0.032476433 -- N = 8226 *CR* -- Cut = 0.03305246 -- N = 8278 *CR* -- Cut = 0.033031613 -- N = 8302 *CR* -- Cut = 0.03311555 -- N = 8348 *CR* -- Cut = 0.033270285 -- N = 8388 *CR* -- Cut = 0.033335023 -- N = 8388 *CR* -- Cut = 0.03337207 -- N = 8391 End of computing. ;; Clock -> 2013-04-01, 15h 49m 40s. Computing the boundary of the generator 25/25 (dimension 6) : > 0> <>> <>> <>> <>> *CR* -- Cut = 0.033331722 -- N = 8399 *CR* -- Cut = 0.033467766 -- N = 8402 *CR* -- Cut = 0.03342838 -- N = 8402 *CR* -- Cut = 0.033621967 -- N = 8419 *CR* -- Cut = 0.033685267 -- N = 8420 *CR* -- Cut = 0.034712665 -- N = 8526 *CR* -- Cut = 0.03483933 -- N = 8709 *CR* -- Cut = 0.03606173 -- N = 9062 *CR* -- Cut = 0.03587672 -- N = 9255 *CR* -- Cut = 0.035789303 -- N = 9290 *CR* -- Cut = 0.035835832 -- N = 9335 *CR* -- Cut = 0.03604496 -- N = 9369 *CR* -- Cut = 0.036070816 -- N = 9449 *CR* -- Cut = 0.0359105 -- N = 9449 *CR* -- Cut = 0.035944007 -- N = 9449 *CR* -- Cut = 0.036655754 -- N = 9493 *CR* -- Cut = 0.037722625 -- N = 9584 *CR* -- Cut = 0.03667951 -- N = 9620 *CR* -- Cut = 0.03673759 -- N = 9658 *CR* -- Cut = 0.036866166 -- N = 9699 *CR* -- Cut = 0.038746733 -- N = 9699 *CR* -- Cut = 0.03700066 -- N = 9699 *CR* -- Cut = 0.038358204 -- N = 9700 *CR* -- Cut = 0.03688306 -- N = 9700 *CR* -- Cut = 0.03777642 -- N = 9736 *CR* -- Cut = 0.038138848 -- N = 9809 *CR* -- Cut = 0.0372388 -- N = 9837 *CR* -- Cut = 0.0373789 -- N = 9860 *CR* -- Cut = 0.037205018 -- N = 9873 *CR* -- Cut = 0.037109263 -- N = 9874 *CR* -- Cut = 0.03718327 -- N = 9875 *CR* -- Cut = 0.03803976 -- N = 9908 *CR* -- Cut = 0.038480815 -- N = 9945 *CR* -- Cut = 0.03781656 -- N = 9972 *CR* -- Cut = 0.039658815 -- N = 9999 *CR* -- Cut = 0.03835734 -- N = 10083 *CR* -- Cut = 0.03857764 -- N = 10112 *CR* -- Cut = 0.038797803 -- N = 10157 *CR* -- Cut = 0.039049312 -- N = 10191 *CR* -- Cut = 0.039537802 -- N = 10257 *CR* -- Cut = 0.039724603 -- N = 10295 *CR* -- Cut = 0.040099718 -- N = 10322 *CR* -- Cut = 0.040354297 -- N = 10366 *CR* -- Cut = 0.040691666 -- N = 10410 *CR* -- Cut = 0.040945254 -- N = 10443 *CR* -- Cut = 0.041157506 -- N = 10468 *CR* -- Cut = 0.0413234 -- N = 10482 *CR* -- Cut = 0.0415382 -- N = 10502 *CR* -- Cut = 0.041859407 -- N = 10587 *CR* -- Cut = 0.042484723 -- N = 10710 *CR* -- Cut = 0.04251311 -- N = 10733 *CR* -- Cut = 0.04281287 -- N = 10771 *CR* -- Cut = 0.04295288 -- N = 10795 *CR* -- Cut = 0.043099638 -- N = 10811 *CR* -- Cut = 0.043286413 -- N = 10826 *CR* -- Cut = 0.043522485 -- N = 10849 *CR* -- Cut = 0.043875575 -- N = 10912 *CR* -- Cut = 0.044072077 -- N = 10952 *CR* -- Cut = 0.044338923 -- N = 11021 *CR* -- Cut = 0.044646934 -- N = 11115 *CR* -- Cut = 0.044701412 -- N = 11147 *CR* -- Cut = 0.045038965 -- N = 11166 *CR* -- Cut = 0.045314506 -- N = 11191 *CR* -- Cut = 0.045673244 -- N = 11243 *CR* -- Cut = 0.04584314 -- N = 11282 *CR* -- Cut = 0.04604684 -- N = 10727 *CR* -- Cut = 0.045594953 -- N = 10780 *CR* -- Cut = 0.04589964 -- N = 10857 *CR* -- Cut = 0.04602018 -- N = 10888 *CR* -- Cut = 0.046343513 -- N = 10918 *CR* -- Cut = 0.046565503 -- N = 10947 *CR* -- Cut = 0.046829116 -- N = 10972 *CR* -- Cut = 0.04710961 -- N = 8401 *CR* -- Cut = 0.043523986 -- N = 8439 *CR* -- Cut = 0.043773793 -- N = 8475 *CR* -- Cut = 0.04406077 -- N = 8524 *CR* -- Cut = 0.044330318 -- N = 8570 *CR* -- Cut = 0.04438072 -- N = 8609 *CR* -- Cut = 0.044599425 -- N = 8637 *CR* -- Cut = 0.044777952 -- N = 8664 *CR* -- Cut = 0.04513804 -- N = 8722 *CR* -- Cut = 0.045345936 -- N = 8750 *CR* -- Cut = 0.04542819 -- N = 8775 *CR* -- Cut = 0.045773096 -- N = 8807 *CR* -- Cut = 0.04599048 -- N = 8841 *CR* -- Cut = 0.046260446 -- N = 8891 *CR* -- Cut = 0.046367895 -- N = 8928 *CR* -- Cut = 0.04663633 -- N = 8949 *CR* -- Cut = 0.04711151 -- N = 8933 *CR* -- Cut = 0.047073543 -- N = 8966 *CR* -- Cut = 0.04727704 -- N = 8987 *CR* -- Cut = 0.04762755 -- N = 9023 *CR* -- Cut = 0.047821652 -- N = 9060 *CR* -- Cut = 0.047872793 -- N = 9092 *CR* -- Cut = 0.048065387 -- N = 8932 *CR* -- Cut = 0.04799718 -- N = 8956 *CR* -- Cut = 0.04836551 -- N = 9004 *CR* -- Cut = 0.048459526 -- N = 9025 *CR* -- Cut = 0.048676215 -- N = 9055 *CR* -- Cut = 0.048951313 -- N = 9078 *CR* -- Cut = 0.049304806 -- N = 9131 *CR* -- Cut = 0.049400356 -- N = 9163 *CR* -- Cut = 0.04974421 -- N = 9196 *CR* -- Cut = 0.04994569 -- N = 9228 *CR* -- Cut = 0.04999042 -- N = 9263 *CR* -- Cut = 0.05017341 -- N = 9278 *CR* -- Cut = 0.050344974 -- N = 9298 *CR* -- Cut = 0.050646774 -- N = 9322 *CR* -- Cut = 0.0507962 -- N = 9364 *CR* -- Cut = 0.051001757 -- N = 9381 *CR* -- Cut = 0.05109328 -- N = 9404 *CR* -- Cut = 0.051293626 -- N = 9422 *CR* -- Cut = 0.05140277 -- N = 9437 *CR* -- Cut = 0.051532723 -- N = 9456 *CR* -- Cut = 0.05173567 -- N = 9468 *CR* -- Cut = 0.051924124 -- N = 9489 *CR* -- Cut = 0.052171595 -- N = 9508 *CR* -- Cut = 0.05238264 -- N = 9550 *CR* -- Cut = 0.052624553 -- N = 9570 *CR* -- Cut = 0.052760005 -- N = 9594 *CR* -- Cut = 0.05300115 -- N = 9611 *CR* -- Cut = 0.053140074 -- N = 9630 *CR* -- Cut = 0.053254403 -- N = 9648 *CR* -- Cut = 0.053406324 -- N = 9672 *CR* -- Cut = 0.05357099 -- N = 9697 *CR* -- Cut = 0.05370776 -- N = 9717 *CR* -- Cut = 0.053785153 -- N = 9734 *CR* -- Cut = 0.053919677 -- N = 9748 *CR* -- Cut = 0.054044776 -- N = 9764 *CR* -- Cut = 0.054196663 -- N = 9784 *CR* -- Cut = 0.054340206 -- N = 9809 *CR* -- Cut = 0.054523595 -- N = 9844 *CR* -- Cut = 0.05473143 -- N = 9893 *CR* -- Cut = 0.054962486 -- N = 9951 *CR* -- Cut = 0.05514594 -- N = 9978 *CR* -- Cut = 0.055301316 -- N = 9997 *CR* -- Cut = 0.055489685 -- N = 10019 *CR* -- Cut = 0.055719238 -- N = 10059 *CR* -- Cut = 0.055837706 -- N = 10077 *CR* -- Cut = 0.05598416 -- N = 10103 *CR* -- Cut = 0.056127705 -- N = 10111 *CR* -- Cut = 0.05627077 -- N = 10132 *CR* -- Cut = 0.05642602 -- N = 10160 *CR* -- Cut = 0.05656771 -- N = 10180 *CR* -- Cut = 0.05670187 -- N = 10193 *CR* -- Cut = 0.056865573 -- N = 10212 *CR* -- Cut = 0.057007503 -- N = 10245 *CR* -- Cut = 0.05715348 -- N = 10261 *CR* -- Cut = 0.05733138 -- N = 10274 *CR* -- Cut = 0.057494637 -- N = 10293 *CR* -- Cut = 0.05767814 -- N = 10314 *CR* -- Cut = 0.057843044 -- N = 10329 *CR* -- Cut = 0.058063306 -- N = 10340 *CR* -- Cut = 0.05825692 -- N = 10368 *CR* -- Cut = 0.058435533 -- N = 10383 *CR* -- Cut = 0.05860165 -- N = 10398 *CR* -- Cut = 0.058756635 -- N = 10415 *CR* -- Cut = 0.05891653 -- N = 10433 *CR* -- Cut = 0.058676146 -- N = 10433 *CR* -- Cut = 0.05875258 -- N = 10433 *CR* -- Cut = 0.058694836 -- N = 10433 *CR* -- Cut = 0.058761887 -- N = 10433 *CR* -- Cut = 0.05895421 -- N = 10433 *CR* -- Cut = 0.058638252 -- N = 10433 *CR* -- Cut = 0.058992133 -- N = 10440 *CR* -- Cut = 0.05935911 -- N = 10468 *CR* -- Cut = 0.05942985 -- N = 10491 *CR* -- Cut = 0.059457965 -- N = 10501 *CR* -- Cut = 0.059558757 -- N = 10531 *CR* -- Cut = 0.05968467 -- N = 10546 *CR* -- Cut = 0.05976108 -- N = 10577 *CR* -- Cut = 0.05996505 -- N = 10612 *CR* -- Cut = 0.059946664 -- N = 10646 *CR* -- Cut = 0.060371995 -- N = 10646 *CR* -- Cut = 0.060269274 -- N = 10647 *CR* -- Cut = 0.060327023 -- N = 10649 *CR* -- Cut = 0.060302183 -- N = 10651 *CR* -- Cut = 0.060433377 -- N = 10653 *CR* -- Cut = 0.060503244 -- N = 10654 *CR* -- Cut = 0.06058106 -- N = 10656 End of computing. Homology in dimension 5 : Component Z/2Z Component Z/2Z Component Z/2Z Component Z/2Z ---done--- ;; Clock -> 2013-04-01, 16h 51m 21s. ; cpu time (non-gc) 5,524,018 msec (01:32:04.018) user, 12,640 msec system ; cpu time (gc) 904,654 msec (00:15:04.654) user, 173 msec system ; cpu time (total) 6,428,672 msec (01:47:08.672) user, 12,813 msec system ; real time 6,447,734 msec (01:47:27.734) ; space allocation: ; 2,009,699,339 cons cells, 2,754,957,264 other bytes, 74,272 static bytes NIL CL-USER(4):