Merge pull request #1 from jlab/update_truth

Update truth
jlab · Jul 9, 2020 · 8a7763c · 8a7763c
2 parents 91fe9bb + df0fdde
commit 8a7763c
Show file tree

Hide file tree

Showing 2,163 changed files with 36 additions and 61 deletions.
diff --git a/Truth/Mod/multi_rt_approx101/cmsmallint.gap b/Truth/Mod/multi_rt_approx101/cmsmallint.gap
diff --git a/Truth/Mod/multi_rt_approx101/tab-cm b/Truth/Mod/multi_rt_approx101/tab-cm
diff --git a/Truth/Mod_osx b/Truth/Mod_osx
diff --git a/Truth/Mod/multi_algebra101/adpf.gap → Truth/Mod_osx/multi_algebra101/adpf.gap b/Truth/Mod/multi_algebra101/adpf.gap → Truth/Mod_osx/multi_algebra101/adpf.gap
diff --git a/Truth/Mod/multi_algebra101/adpf.new → Truth/Mod_osx/multi_algebra101/adpf.new b/Truth/Mod/multi_algebra101/adpf.new → Truth/Mod_osx/multi_algebra101/adpf.new
diff --git a/Truth/Mod/multi_algebra101/adpf_hl.gap → Truth/Mod_osx/multi_algebra101/adpf_hl.gap b/Truth/Mod/multi_algebra101/adpf_hl.gap → Truth/Mod_osx/multi_algebra101/adpf_hl.gap
diff --git a/Truth/Mod/multi_algebra101/adpf_index.gap → ...h/Mod_osx/multi_algebra101/adpf_index.gap b/Truth/Mod/multi_algebra101/adpf_index.gap → ...h/Mod_osx/multi_algebra101/adpf_index.gap
diff --git a/Truth/Mod/multi_algebra101/adpf_multi.gap → ...h/Mod_osx/multi_algebra101/adpf_multi.gap b/Truth/Mod/multi_algebra101/adpf_multi.gap → ...h/Mod_osx/multi_algebra101/adpf_multi.gap
diff --git a/Truth/Mod/multi_algebra101/adpf_nonamb.gap → .../Mod_osx/multi_algebra101/adpf_nonamb.gap b/Truth/Mod/multi_algebra101/adpf_nonamb.gap → .../Mod_osx/multi_algebra101/adpf_nonamb.gap
diff --git a/Truth/Mod/multi_algebra101/affinelocsim.gap → ...Mod_osx/multi_algebra101/affinelocsim.gap b/Truth/Mod/multi_algebra101/affinelocsim.gap → ...Mod_osx/multi_algebra101/affinelocsim.gap
diff --git a/Truth/Mod/multi_algebra101/affinelocsim.new → ...Mod_osx/multi_algebra101/affinelocsim.new b/Truth/Mod/multi_algebra101/affinelocsim.new → ...Mod_osx/multi_algebra101/affinelocsim.new
diff --git a/Truth/Mod/multi_algebra101/affinelocsim2.gap → ...od_osx/multi_algebra101/affinelocsim2.gap b/Truth/Mod/multi_algebra101/affinelocsim2.gap → ...od_osx/multi_algebra101/affinelocsim2.gap
diff --git a/Truth/Mod/multi_algebra101/ali2.gap → Truth/Mod_osx/multi_algebra101/ali2.gap b/Truth/Mod/multi_algebra101/ali2.gap → Truth/Mod_osx/multi_algebra101/ali2.gap
diff --git a/Truth/Mod/multi_algebra101/aliglob2.gap → Truth/Mod_osx/multi_algebra101/aliglob2.gap b/Truth/Mod/multi_algebra101/aliglob2.gap → Truth/Mod_osx/multi_algebra101/aliglob2.gap
diff --git a/Truth/Mod/multi_algebra101/align2.gap → Truth/Mod_osx/multi_algebra101/align2.gap b/Truth/Mod/multi_algebra101/align2.gap → Truth/Mod_osx/multi_algebra101/align2.gap
diff --git a/Truth/Mod/multi_algebra101/block → Truth/Mod_osx/multi_algebra101/block b/Truth/Mod/multi_algebra101/block → Truth/Mod_osx/multi_algebra101/block
diff --git a/Truth/Mod/multi_algebra101/cmsmallint.gap → ...h/Mod_osx/multi_algebra101/cmsmallint.gap b/Truth/Mod/multi_algebra101/cmsmallint.gap → ...h/Mod_osx/multi_algebra101/cmsmallint.gap
diff --git a/Truth/Mod/multi_algebra101/const1 → Truth/Mod_osx/multi_algebra101/const1 b/Truth/Mod/multi_algebra101/const1 → Truth/Mod_osx/multi_algebra101/const1
diff --git a/Truth/Mod/multi_algebra101/dep1 → Truth/Mod_osx/multi_algebra101/dep1 b/Truth/Mod/multi_algebra101/dep1 → Truth/Mod_osx/multi_algebra101/dep1
diff --git a/Truth/Mod/multi_algebra101/dep2 → Truth/Mod_osx/multi_algebra101/dep2 b/Truth/Mod/multi_algebra101/dep2 → Truth/Mod_osx/multi_algebra101/dep2
diff --git a/Truth/Mod/multi_algebra101/dep3 → Truth/Mod_osx/multi_algebra101/dep3 b/Truth/Mod/multi_algebra101/dep3 → Truth/Mod_osx/multi_algebra101/dep3
diff --git a/Truth/Mod/multi_algebra101/dep4 → Truth/Mod_osx/multi_algebra101/dep4 b/Truth/Mod/multi_algebra101/dep4 → Truth/Mod_osx/multi_algebra101/dep4
diff --git a/Truth/Mod/multi_algebra101/dim1 → Truth/Mod_osx/multi_algebra101/dim1 b/Truth/Mod/multi_algebra101/dim1 → Truth/Mod_osx/multi_algebra101/dim1
diff --git a/Truth/Mod/multi_algebra101/dim2 → Truth/Mod_osx/multi_algebra101/dim2 b/Truth/Mod/multi_algebra101/dim2 → Truth/Mod_osx/multi_algebra101/dim2
diff --git a/Truth/Mod/multi_algebra101/dim3 → Truth/Mod_osx/multi_algebra101/dim3 b/Truth/Mod/multi_algebra101/dim3 → Truth/Mod_osx/multi_algebra101/dim3
diff --git a/Truth/Mod/multi_algebra101/dim4 → Truth/Mod_osx/multi_algebra101/dim4 b/Truth/Mod/multi_algebra101/dim4 → Truth/Mod_osx/multi_algebra101/dim4
diff --git a/Truth/Mod/multi_algebra101/elm.gap → Truth/Mod_osx/multi_algebra101/elm.gap b/Truth/Mod/multi_algebra101/elm.gap → Truth/Mod_osx/multi_algebra101/elm.gap
diff --git a/Truth/Mod/multi_algebra101/elm.new → Truth/Mod_osx/multi_algebra101/elm.new b/Truth/Mod/multi_algebra101/elm.new → Truth/Mod_osx/multi_algebra101/elm.new
diff --git a/Truth/Mod/multi_algebra101/elm_filter.gap → ...h/Mod_osx/multi_algebra101/elm_filter.gap b/Truth/Mod/multi_algebra101/elm_filter.gap → ...h/Mod_osx/multi_algebra101/elm_filter.gap
diff --git a/Truth/Mod/multi_algebra101/elm_helper.gap → ...h/Mod_osx/multi_algebra101/elm_helper.gap b/Truth/Mod/multi_algebra101/elm_helper.gap → ...h/Mod_osx/multi_algebra101/elm_helper.gap
diff --git a/...Mod/multi_algebra101/elm_nonreachable.gap → ...osx/multi_algebra101/elm_nonreachable.gap b/...Mod/multi_algebra101/elm_nonreachable.gap → ...osx/multi_algebra101/elm_nonreachable.gap
diff --git a/Truth/Mod/multi_algebra101/elm_overlay.gap → .../Mod_osx/multi_algebra101/elm_overlay.gap b/Truth/Mod/multi_algebra101/elm_overlay.gap → .../Mod_osx/multi_algebra101/elm_overlay.gap
diff --git a/Truth/Mod/multi_algebra101/elmext.gap → Truth/Mod_osx/multi_algebra101/elmext.gap b/Truth/Mod/multi_algebra101/elmext.gap → Truth/Mod_osx/multi_algebra101/elmext.gap
diff --git a/Truth/Mod/multi_algebra101/elmmultiple.gap → .../Mod_osx/multi_algebra101/elmmultiple.gap b/Truth/Mod/multi_algebra101/elmmultiple.gap → .../Mod_osx/multi_algebra101/elmmultiple.gap
diff --git a/Truth/Mod/multi_algebra101/elmr.gap → Truth/Mod_osx/multi_algebra101/elmr.gap b/Truth/Mod/multi_algebra101/elmr.gap → Truth/Mod_osx/multi_algebra101/elmr.gap
diff --git a/Truth/Mod/multi_algebra101/elmsyn.gap → Truth/Mod_osx/multi_algebra101/elmsyn.gap b/Truth/Mod/multi_algebra101/elmsyn.gap → Truth/Mod_osx/multi_algebra101/elmsyn.gap
diff --git a/Truth/Mod/multi_algebra101/filter → Truth/Mod_osx/multi_algebra101/filter b/Truth/Mod/multi_algebra101/filter → Truth/Mod_osx/multi_algebra101/filter
diff --git a/Truth/Mod/multi_algebra101/flowgram.gap → Truth/Mod_osx/multi_algebra101/flowgram.gap b/Truth/Mod/multi_algebra101/flowgram.gap → Truth/Mod_osx/multi_algebra101/flowgram.gap
diff --git a/Truth/Mod/multi_algebra101/flowgram2.gap → Truth/Mod_osx/multi_algebra101/flowgram2.gap b/Truth/Mod/multi_algebra101/flowgram2.gap → Truth/Mod_osx/multi_algebra101/flowgram2.gap
diff --git a/Truth/Mod/multi_algebra101/flowgram2b.gap → ...h/Mod_osx/multi_algebra101/flowgram2b.gap b/Truth/Mod/multi_algebra101/flowgram2b.gap → ...h/Mod_osx/multi_algebra101/flowgram2b.gap
diff --git a/Truth/Mod/multi_algebra101/forloops → Truth/Mod_osx/multi_algebra101/forloops b/Truth/Mod/multi_algebra101/forloops → Truth/Mod_osx/multi_algebra101/forloops
diff --git a/Truth/Mod/multi_algebra101/forloops2 → Truth/Mod_osx/multi_algebra101/forloops2 b/Truth/Mod/multi_algebra101/forloops2 → Truth/Mod_osx/multi_algebra101/forloops2
diff --git a/Truth/Mod/multi_algebra101/forloops3 → Truth/Mod_osx/multi_algebra101/forloops3 b/Truth/Mod/multi_algebra101/forloops3 → Truth/Mod_osx/multi_algebra101/forloops3
diff --git a/Truth/Mod/multi_algebra101/forloops4 → Truth/Mod_osx/multi_algebra101/forloops4 b/Truth/Mod/multi_algebra101/forloops4 → Truth/Mod_osx/multi_algebra101/forloops4
diff --git a/Truth/Mod/multi_algebra101/forloops5 → Truth/Mod_osx/multi_algebra101/forloops5 b/Truth/Mod/multi_algebra101/forloops5 → Truth/Mod_osx/multi_algebra101/forloops5
diff --git a/Truth/Mod/multi_algebra101/g3pl.gap → Truth/Mod_osx/multi_algebra101/g3pl.gap b/Truth/Mod/multi_algebra101/g3pl.gap → Truth/Mod_osx/multi_algebra101/g3pl.gap
diff --git a/Truth/Mod/multi_algebra101/guideTree.gap → Truth/Mod_osx/multi_algebra101/guideTree.gap b/Truth/Mod/multi_algebra101/guideTree.gap → Truth/Mod_osx/multi_algebra101/guideTree.gap
diff --git a/Truth/Mod/multi_algebra101/helene.gap → Truth/Mod_osx/multi_algebra101/helene.gap b/Truth/Mod/multi_algebra101/helene.gap → Truth/Mod_osx/multi_algebra101/helene.gap
diff --git a/Truth/Mod/multi_algebra101/hsinfernal.gap → ...h/Mod_osx/multi_algebra101/hsinfernal.gap b/Truth/Mod/multi_algebra101/hsinfernal.gap → ...h/Mod_osx/multi_algebra101/hsinfernal.gap
diff --git a/Truth/Mod/multi_algebra101/ind → Truth/Mod_osx/multi_algebra101/ind b/Truth/Mod/multi_algebra101/ind → Truth/Mod_osx/multi_algebra101/ind
diff --git a/Truth/Mod/multi_algebra101/index.gap → Truth/Mod_osx/multi_algebra101/index.gap b/Truth/Mod/multi_algebra101/index.gap → Truth/Mod_osx/multi_algebra101/index.gap
diff --git a/Truth/Mod/multi_algebra101/lin1 → Truth/Mod_osx/multi_algebra101/lin1 b/Truth/Mod/multi_algebra101/lin1 → Truth/Mod_osx/multi_algebra101/lin1
diff --git a/Truth/Mod/multi_algebra101/lin2 → Truth/Mod_osx/multi_algebra101/lin2 b/Truth/Mod/multi_algebra101/lin2 → Truth/Mod_osx/multi_algebra101/lin2
diff --git a/Truth/Mod/multi_algebra101/links.2track → Truth/Mod_osx/multi_algebra101/links.2track b/Truth/Mod/multi_algebra101/links.2track → Truth/Mod_osx/multi_algebra101/links.2track
diff --git a/Truth/Mod/multi_algebra101/list_size → Truth/Mod_osx/multi_algebra101/list_size b/Truth/Mod/multi_algebra101/list_size → Truth/Mod_osx/multi_algebra101/list_size
diff --git a/Truth/Mod/multi_algebra101/list_size2 → Truth/Mod_osx/multi_algebra101/list_size2 b/Truth/Mod/multi_algebra101/list_size2 → Truth/Mod_osx/multi_algebra101/list_size2
diff --git a/Truth/Mod/multi_algebra101/list_size3 → Truth/Mod_osx/multi_algebra101/list_size3 b/Truth/Mod/multi_algebra101/list_size3 → Truth/Mod_osx/multi_algebra101/list_size3
diff --git a/Truth/Mod/multi_algebra101/loco3stem.gap → Truth/Mod_osx/multi_algebra101/loco3stem.gap b/Truth/Mod/multi_algebra101/loco3stem.gap → Truth/Mod_osx/multi_algebra101/loco3stem.gap
diff --git a/Truth/Mod/multi_algebra101/loop → Truth/Mod_osx/multi_algebra101/loop b/Truth/Mod/multi_algebra101/loop → Truth/Mod_osx/multi_algebra101/loop
diff --git a/Truth/Mod/multi_algebra101/loop.2track → Truth/Mod_osx/multi_algebra101/loop.2track b/Truth/Mod/multi_algebra101/loop.2track → Truth/Mod_osx/multi_algebra101/loop.2track
diff --git a/Truth/Mod/multi_algebra101/loop2 → Truth/Mod_osx/multi_algebra101/loop2 b/Truth/Mod/multi_algebra101/loop2 → Truth/Mod_osx/multi_algebra101/loop2
diff --git a/Truth/Mod/multi_algebra101/loop2.2track → Truth/Mod_osx/multi_algebra101/loop2.2track b/Truth/Mod/multi_algebra101/loop2.2track → Truth/Mod_osx/multi_algebra101/loop2.2track
diff --git a/Truth/Mod/multi_algebra101/loop3 → Truth/Mod_osx/multi_algebra101/loop3 b/Truth/Mod/multi_algebra101/loop3 → Truth/Mod_osx/multi_algebra101/loop3
diff --git a/Truth/Mod/multi_algebra101/loop3.2track → Truth/Mod_osx/multi_algebra101/loop3.2track b/Truth/Mod/multi_algebra101/loop3.2track → Truth/Mod_osx/multi_algebra101/loop3.2track
diff --git a/Truth/Mod/multi_algebra101/loopa → Truth/Mod_osx/multi_algebra101/loopa b/Truth/Mod/multi_algebra101/loopa → Truth/Mod_osx/multi_algebra101/loopa
diff --git a/Truth/Mod/multi_algebra101/macrostate.gap → ...h/Mod_osx/multi_algebra101/macrostate.gap b/Truth/Mod/multi_algebra101/macrostate.gap → ...h/Mod_osx/multi_algebra101/macrostate.gap
diff --git a/Truth/Mod/multi_algebra101/matrix.gap → Truth/Mod_osx/multi_algebra101/matrix.gap b/Truth/Mod/multi_algebra101/matrix.gap → Truth/Mod_osx/multi_algebra101/matrix.gap
diff --git a/Truth/Mod/multi_algebra101/max → Truth/Mod_osx/multi_algebra101/max b/Truth/Mod/multi_algebra101/max → Truth/Mod_osx/multi_algebra101/max
diff --git a/Truth/Mod/multi_algebra101/max.2track → Truth/Mod_osx/multi_algebra101/max.2track b/Truth/Mod/multi_algebra101/max.2track → Truth/Mod_osx/multi_algebra101/max.2track
diff --git a/Truth/Mod/multi_algebra101/max2 → Truth/Mod_osx/multi_algebra101/max2 b/Truth/Mod/multi_algebra101/max2 → Truth/Mod_osx/multi_algebra101/max2
diff --git a/Truth/Mod/multi_algebra101/max3 → Truth/Mod_osx/multi_algebra101/max3 b/Truth/Mod/multi_algebra101/max3 → Truth/Mod_osx/multi_algebra101/max3
diff --git a/Truth/Mod/multi_algebra101/max4 → Truth/Mod_osx/multi_algebra101/max4 b/Truth/Mod/multi_algebra101/max4 → Truth/Mod_osx/multi_algebra101/max4
diff --git a/Truth/Mod/multi_algebra101/mchoice.gap → Truth/Mod_osx/multi_algebra101/mchoice.gap b/Truth/Mod/multi_algebra101/mchoice.gap → Truth/Mod_osx/multi_algebra101/mchoice.gap
diff --git a/Truth/Mod/multi_algebra101/multfilter.gap → ...h/Mod_osx/multi_algebra101/multfilter.gap b/Truth/Mod/multi_algebra101/multfilter.gap → ...h/Mod_osx/multi_algebra101/multfilter.gap
diff --git a/Truth/Mod/multi_algebra101/no_axiom → Truth/Mod_osx/multi_algebra101/no_axiom b/Truth/Mod/multi_algebra101/no_axiom → Truth/Mod_osx/multi_algebra101/no_axiom
diff --git a/Truth/Mod/multi_algebra101/nonproductive → Truth/Mod_osx/multi_algebra101/nonproductive b/Truth/Mod/multi_algebra101/nonproductive → Truth/Mod_osx/multi_algebra101/nonproductive
diff --git a/...Mod/multi_algebra101/nonproductive.2track → ...osx/multi_algebra101/nonproductive.2track b/...Mod/multi_algebra101/nonproductive.2track → ...osx/multi_algebra101/nonproductive.2track
diff --git a/Truth/Mod/multi_algebra101/nonproductive2 → ...h/Mod_osx/multi_algebra101/nonproductive2 b/Truth/Mod/multi_algebra101/nonproductive2 → ...h/Mod_osx/multi_algebra101/nonproductive2
diff --git a/Truth/Mod/multi_algebra101/nussinov.gap → Truth/Mod_osx/multi_algebra101/nussinov.gap b/Truth/Mod/multi_algebra101/nussinov.gap → Truth/Mod_osx/multi_algebra101/nussinov.gap
diff --git a/Truth/Mod/multi_algebra101/nussinov2.gap → Truth/Mod_osx/multi_algebra101/nussinov2.gap b/Truth/Mod/multi_algebra101/nussinov2.gap → Truth/Mod_osx/multi_algebra101/nussinov2.gap
diff --git a/...h/Mod/multi_algebra101/nussinovDurbin.gap → ...d_osx/multi_algebra101/nussinovDurbin.gap b/...h/Mod/multi_algebra101/nussinovDurbin.gap → ...d_osx/multi_algebra101/nussinovDurbin.gap
diff --git a/Truth/Mod/multi_algebra101/optimalMCM.gap → ...h/Mod_osx/multi_algebra101/optimalMCM.gap b/Truth/Mod/multi_algebra101/optimalMCM.gap → ...h/Mod_osx/multi_algebra101/optimalMCM.gap
diff --git a/Truth/Mod/multi_algebra101/pal → Truth/Mod_osx/multi_algebra101/pal b/Truth/Mod/multi_algebra101/pal → Truth/Mod_osx/multi_algebra101/pal
diff --git a/Truth/Mod/multi_algebra101/pal0.gap → Truth/Mod_osx/multi_algebra101/pal0.gap b/Truth/Mod/multi_algebra101/pal0.gap → Truth/Mod_osx/multi_algebra101/pal0.gap
diff --git a/Truth/Mod/multi_algebra101/palloc → Truth/Mod_osx/multi_algebra101/palloc b/Truth/Mod/multi_algebra101/palloc → Truth/Mod_osx/multi_algebra101/palloc
diff --git a/Truth/Mod/multi_algebra101/palloc.gap → Truth/Mod_osx/multi_algebra101/palloc.gap b/Truth/Mod/multi_algebra101/palloc.gap → Truth/Mod_osx/multi_algebra101/palloc.gap
diff --git a/Truth/Mod/multi_algebra101/pizza1 → Truth/Mod_osx/multi_algebra101/pizza1 b/Truth/Mod/multi_algebra101/pizza1 → Truth/Mod_osx/multi_algebra101/pizza1
diff --git a/Truth/Mod/multi_algebra101/pknotsRG.gap → Truth/Mod_osx/multi_algebra101/pknotsRG.gap b/Truth/Mod/multi_algebra101/pknotsRG.gap → Truth/Mod_osx/multi_algebra101/pknotsRG.gap
diff --git a/Truth/Mod/multi_algebra101/product → Truth/Mod_osx/multi_algebra101/product b/Truth/Mod/multi_algebra101/product → Truth/Mod_osx/multi_algebra101/product
diff --git a/Truth/Mod/multi_algebra101/recomb.new → Truth/Mod_osx/multi_algebra101/recomb.new b/Truth/Mod/multi_algebra101/recomb.new → Truth/Mod_osx/multi_algebra101/recomb.new
diff --git a/Truth/Mod/multi_algebra101/rnashapes1.gap → ...h/Mod_osx/multi_algebra101/rnashapes1.gap b/Truth/Mod/multi_algebra101/rnashapes1.gap → ...h/Mod_osx/multi_algebra101/rnashapes1.gap
diff --git a/Truth/Mod/multi_algebra101/rnashapes2wip.gap → ...od_osx/multi_algebra101/rnashapes2wip.gap b/Truth/Mod/multi_algebra101/rnashapes2wip.gap → ...od_osx/multi_algebra101/rnashapes2wip.gap
diff --git a/Truth/Mod/multi_algebra101/rnashapesmfe.gap → ...Mod_osx/multi_algebra101/rnashapesmfe.gap b/Truth/Mod/multi_algebra101/rnashapesmfe.gap → ...Mod_osx/multi_algebra101/rnashapesmfe.gap
diff --git a/Truth/Mod/multi_algebra101/rnashapespf.gap → .../Mod_osx/multi_algebra101/rnashapespf.gap b/Truth/Mod/multi_algebra101/rnashapespf.gap → .../Mod_osx/multi_algebra101/rnashapespf.gap
diff --git a/Truth/Mod/multi_algebra101/sankoff.gap → Truth/Mod_osx/multi_algebra101/sankoff.gap b/Truth/Mod/multi_algebra101/sankoff.gap → Truth/Mod_osx/multi_algebra101/sankoff.gap
diff --git a/Truth/Mod/multi_algebra101/signature_unknown → ...od_osx/multi_algebra101/signature_unknown b/Truth/Mod/multi_algebra101/signature_unknown → ...od_osx/multi_algebra101/signature_unknown
diff --git a/Truth/Mod/multi_algebra101/single_block.gap → ...Mod_osx/multi_algebra101/single_block.gap b/Truth/Mod/multi_algebra101/single_block.gap → ...Mod_osx/multi_algebra101/single_block.gap
diff --git a/Truth/Mod/multi_algebra101/special1 → Truth/Mod_osx/multi_algebra101/special1 b/Truth/Mod/multi_algebra101/special1 → Truth/Mod_osx/multi_algebra101/special1
diff --git a/Truth/Mod/multi_algebra101/special10 → Truth/Mod_osx/multi_algebra101/special10 b/Truth/Mod/multi_algebra101/special10 → Truth/Mod_osx/multi_algebra101/special10
diff --git a/Truth/Mod/multi_algebra101/special2 → Truth/Mod_osx/multi_algebra101/special2 b/Truth/Mod/multi_algebra101/special2 → Truth/Mod_osx/multi_algebra101/special2
diff --git a/Truth/Mod/multi_algebra101/special3 → Truth/Mod_osx/multi_algebra101/special3 b/Truth/Mod/multi_algebra101/special3 → Truth/Mod_osx/multi_algebra101/special3
diff --git a/Truth/Mod/multi_algebra101/special4 → Truth/Mod_osx/multi_algebra101/special4 b/Truth/Mod/multi_algebra101/special4 → Truth/Mod_osx/multi_algebra101/special4
diff --git a/Truth/Mod/multi_algebra101/special5 → Truth/Mod_osx/multi_algebra101/special5 b/Truth/Mod/multi_algebra101/special5 → Truth/Mod_osx/multi_algebra101/special5
diff --git a/Truth/Mod/multi_algebra101/special6a → Truth/Mod_osx/multi_algebra101/special6a b/Truth/Mod/multi_algebra101/special6a → Truth/Mod_osx/multi_algebra101/special6a
diff --git a/Truth/Mod/multi_algebra101/special6b → Truth/Mod_osx/multi_algebra101/special6b b/Truth/Mod/multi_algebra101/special6b → Truth/Mod_osx/multi_algebra101/special6b
diff --git a/Truth/Mod/multi_algebra101/special7 → Truth/Mod_osx/multi_algebra101/special7 b/Truth/Mod/multi_algebra101/special7 → Truth/Mod_osx/multi_algebra101/special7
diff --git a/Truth/Mod/multi_algebra101/special8a → Truth/Mod_osx/multi_algebra101/special8a b/Truth/Mod/multi_algebra101/special8a → Truth/Mod_osx/multi_algebra101/special8a
diff --git a/Truth/Mod/multi_algebra101/special8b → Truth/Mod_osx/multi_algebra101/special8b b/Truth/Mod/multi_algebra101/special8b → Truth/Mod_osx/multi_algebra101/special8b
diff --git a/Truth/Mod/multi_algebra101/special9 → Truth/Mod_osx/multi_algebra101/special9 b/Truth/Mod/multi_algebra101/special9 → Truth/Mod_osx/multi_algebra101/special9
diff --git a/Truth/Mod/multi_algebra101/special9mod → Truth/Mod_osx/multi_algebra101/special9mod b/Truth/Mod/multi_algebra101/special9mod → Truth/Mod_osx/multi_algebra101/special9mod
diff --git a/Truth/Mod/multi_algebra101/stefan2.gap → Truth/Mod_osx/multi_algebra101/stefan2.gap b/Truth/Mod/multi_algebra101/stefan2.gap → Truth/Mod_osx/multi_algebra101/stefan2.gap
diff --git a/Truth/Mod/multi_algebra101/stefan3.gap → Truth/Mod_osx/multi_algebra101/stefan3.gap b/Truth/Mod/multi_algebra101/stefan3.gap → Truth/Mod_osx/multi_algebra101/stefan3.gap
diff --git a/Truth/Mod/multi_algebra101/stefan4.gap → Truth/Mod_osx/multi_algebra101/stefan4.gap b/Truth/Mod/multi_algebra101/stefan4.gap → Truth/Mod_osx/multi_algebra101/stefan4.gap
diff --git a/.../Mod/multi_algebra101/structure2shape.gap → ..._osx/multi_algebra101/structure2shape.gap b/.../Mod/multi_algebra101/structure2shape.gap → ..._osx/multi_algebra101/structure2shape.gap
diff --git a/Truth/Mod/multi_algebra101/tab → Truth/Mod_osx/multi_algebra101/tab b/Truth/Mod/multi_algebra101/tab → Truth/Mod_osx/multi_algebra101/tab
diff --git a/Truth/Mod/multi_algebra101/tab-cm → Truth/Mod_osx/multi_algebra101/tab-cm b/Truth/Mod/multi_algebra101/tab-cm → Truth/Mod_osx/multi_algebra101/tab-cm
diff --git a/Truth/Mod/multi_algebra101/tab1 → Truth/Mod_osx/multi_algebra101/tab1 b/Truth/Mod/multi_algebra101/tab1 → Truth/Mod_osx/multi_algebra101/tab1
diff --git a/Truth/Mod/multi_algebra101/tab2 → Truth/Mod_osx/multi_algebra101/tab2 b/Truth/Mod/multi_algebra101/tab2 → Truth/Mod_osx/multi_algebra101/tab2
diff --git a/Truth/Mod/multi_algebra101/tab3 → Truth/Mod_osx/multi_algebra101/tab3 b/Truth/Mod/multi_algebra101/tab3 → Truth/Mod_osx/multi_algebra101/tab3
diff --git a/Truth/Mod/multi_algebra101/tab4 → Truth/Mod_osx/multi_algebra101/tab4 b/Truth/Mod/multi_algebra101/tab4 → Truth/Mod_osx/multi_algebra101/tab4
diff --git a/Truth/Mod/multi_algebra101/tab5 → Truth/Mod_osx/multi_algebra101/tab5 b/Truth/Mod/multi_algebra101/tab5 → Truth/Mod_osx/multi_algebra101/tab5
diff --git a/Truth/Mod/multi_algebra101/tdm2hp.gap → Truth/Mod_osx/multi_algebra101/tdm2hp.gap b/Truth/Mod/multi_algebra101/tdm2hp.gap → Truth/Mod_osx/multi_algebra101/tdm2hp.gap
diff --git a/Truth/Mod/multi_algebra101/tdm2hporig.gap → ...h/Mod_osx/multi_algebra101/tdm2hporig.gap b/Truth/Mod/multi_algebra101/tdm2hporig.gap → ...h/Mod_osx/multi_algebra101/tdm2hporig.gap
diff --git a/Truth/Mod/multi_algebra101/trackincomp → Truth/Mod_osx/multi_algebra101/trackincomp b/Truth/Mod/multi_algebra101/trackincomp → Truth/Mod_osx/multi_algebra101/trackincomp
diff --git a/Truth/Mod/multi_algebra101/typecheck_elm → Truth/Mod_osx/multi_algebra101/typecheck_elm b/Truth/Mod/multi_algebra101/typecheck_elm → Truth/Mod_osx/multi_algebra101/typecheck_elm
diff --git a/Truth/Mod/multi_algebra101/width → Truth/Mod_osx/multi_algebra101/width b/Truth/Mod/multi_algebra101/width → Truth/Mod_osx/multi_algebra101/width
diff --git a/Truth/Mod/multi_algebra101/ys → Truth/Mod_osx/multi_algebra101/ys b/Truth/Mod/multi_algebra101/ys → Truth/Mod_osx/multi_algebra101/ys
diff --git a/Truth/Mod/multi_algebra101/ys2 → Truth/Mod_osx/multi_algebra101/ys2 b/Truth/Mod/multi_algebra101/ys2 → Truth/Mod_osx/multi_algebra101/ys2
diff --git a/Truth/Mod/multi_algebra101/ys3 → Truth/Mod_osx/multi_algebra101/ys3 b/Truth/Mod/multi_algebra101/ys3 → Truth/Mod_osx/multi_algebra101/ys3
diff --git a/Truth/Mod/multi_algebra101/ys4 → Truth/Mod_osx/multi_algebra101/ys4 b/Truth/Mod/multi_algebra101/ys4 → Truth/Mod_osx/multi_algebra101/ys4
diff --git a/Truth/Mod/multi_calls101/adpf.gap → Truth/Mod_osx/multi_calls101/adpf.gap b/Truth/Mod/multi_calls101/adpf.gap → Truth/Mod_osx/multi_calls101/adpf.gap
diff --git a/Truth/Mod/multi_calls101/adpf.new → Truth/Mod_osx/multi_calls101/adpf.new b/Truth/Mod/multi_calls101/adpf.new → Truth/Mod_osx/multi_calls101/adpf.new
diff --git a/Truth/Mod/multi_calls101/adpf_hl.gap → Truth/Mod_osx/multi_calls101/adpf_hl.gap b/Truth/Mod/multi_calls101/adpf_hl.gap → Truth/Mod_osx/multi_calls101/adpf_hl.gap
diff --git a/Truth/Mod/multi_calls101/adpf_index.gap → Truth/Mod_osx/multi_calls101/adpf_index.gap b/Truth/Mod/multi_calls101/adpf_index.gap → Truth/Mod_osx/multi_calls101/adpf_index.gap
diff --git a/Truth/Mod/multi_calls101/adpf_multi.gap → Truth/Mod_osx/multi_calls101/adpf_multi.gap b/Truth/Mod/multi_calls101/adpf_multi.gap → Truth/Mod_osx/multi_calls101/adpf_multi.gap
diff --git a/Truth/Mod/multi_calls101/adpf_nonamb.gap → Truth/Mod_osx/multi_calls101/adpf_nonamb.gap b/Truth/Mod/multi_calls101/adpf_nonamb.gap → Truth/Mod_osx/multi_calls101/adpf_nonamb.gap
diff --git a/Truth/Mod/multi_calls101/affinelocsim.gap → ...h/Mod_osx/multi_calls101/affinelocsim.gap b/Truth/Mod/multi_calls101/affinelocsim.gap → ...h/Mod_osx/multi_calls101/affinelocsim.gap
diff --git a/Truth/Mod/multi_calls101/affinelocsim.new → ...h/Mod_osx/multi_calls101/affinelocsim.new b/Truth/Mod/multi_calls101/affinelocsim.new → ...h/Mod_osx/multi_calls101/affinelocsim.new
diff --git a/Truth/Mod/multi_calls101/affinelocsim2.gap → .../Mod_osx/multi_calls101/affinelocsim2.gap b/Truth/Mod/multi_calls101/affinelocsim2.gap → .../Mod_osx/multi_calls101/affinelocsim2.gap
diff --git a/Truth/Mod/multi_calls101/ali2.gap → Truth/Mod_osx/multi_calls101/ali2.gap b/Truth/Mod/multi_calls101/ali2.gap → Truth/Mod_osx/multi_calls101/ali2.gap
diff --git a/Truth/Mod/multi_calls101/aliglob2.gap → Truth/Mod_osx/multi_calls101/aliglob2.gap b/Truth/Mod/multi_calls101/aliglob2.gap → Truth/Mod_osx/multi_calls101/aliglob2.gap
diff --git a/Truth/Mod/multi_calls101/align2.gap → Truth/Mod_osx/multi_calls101/align2.gap b/Truth/Mod/multi_calls101/align2.gap → Truth/Mod_osx/multi_calls101/align2.gap
diff --git a/Truth/Mod/multi_calls101/block → Truth/Mod_osx/multi_calls101/block b/Truth/Mod/multi_calls101/block → Truth/Mod_osx/multi_calls101/block
diff --git a/Truth/Mod/multi_calls101/cmsmallint.gap → Truth/Mod_osx/multi_calls101/cmsmallint.gap b/Truth/Mod/multi_calls101/cmsmallint.gap → Truth/Mod_osx/multi_calls101/cmsmallint.gap
diff --git a/Truth/Mod/multi_calls101/const1 → Truth/Mod_osx/multi_calls101/const1 b/Truth/Mod/multi_calls101/const1 → Truth/Mod_osx/multi_calls101/const1
diff --git a/Truth/Mod/multi_calls101/dep1 → Truth/Mod_osx/multi_calls101/dep1 b/Truth/Mod/multi_calls101/dep1 → Truth/Mod_osx/multi_calls101/dep1
diff --git a/Truth/Mod/multi_calls101/dep2 → Truth/Mod_osx/multi_calls101/dep2 b/Truth/Mod/multi_calls101/dep2 → Truth/Mod_osx/multi_calls101/dep2
diff --git a/Truth/Mod/multi_calls101/dep3 → Truth/Mod_osx/multi_calls101/dep3 b/Truth/Mod/multi_calls101/dep3 → Truth/Mod_osx/multi_calls101/dep3
diff --git a/Truth/Mod/multi_calls101/dep4 → Truth/Mod_osx/multi_calls101/dep4 b/Truth/Mod/multi_calls101/dep4 → Truth/Mod_osx/multi_calls101/dep4
diff --git a/Truth/Mod/multi_calls101/dim1 → Truth/Mod_osx/multi_calls101/dim1 b/Truth/Mod/multi_calls101/dim1 → Truth/Mod_osx/multi_calls101/dim1
diff --git a/Truth/Mod/multi_calls101/dim2 → Truth/Mod_osx/multi_calls101/dim2 b/Truth/Mod/multi_calls101/dim2 → Truth/Mod_osx/multi_calls101/dim2
diff --git a/Truth/Mod/multi_calls101/dim3 → Truth/Mod_osx/multi_calls101/dim3 b/Truth/Mod/multi_calls101/dim3 → Truth/Mod_osx/multi_calls101/dim3
diff --git a/Truth/Mod/multi_calls101/dim4 → Truth/Mod_osx/multi_calls101/dim4 b/Truth/Mod/multi_calls101/dim4 → Truth/Mod_osx/multi_calls101/dim4
diff --git a/Truth/Mod/multi_calls101/elm.gap → Truth/Mod_osx/multi_calls101/elm.gap b/Truth/Mod/multi_calls101/elm.gap → Truth/Mod_osx/multi_calls101/elm.gap
diff --git a/Truth/Mod/multi_calls101/elm.new → Truth/Mod_osx/multi_calls101/elm.new b/Truth/Mod/multi_calls101/elm.new → Truth/Mod_osx/multi_calls101/elm.new
diff --git a/Truth/Mod/multi_calls101/elm_filter.gap → Truth/Mod_osx/multi_calls101/elm_filter.gap b/Truth/Mod/multi_calls101/elm_filter.gap → Truth/Mod_osx/multi_calls101/elm_filter.gap
diff --git a/Truth/Mod/multi_calls101/elm_helper.gap → Truth/Mod_osx/multi_calls101/elm_helper.gap b/Truth/Mod/multi_calls101/elm_helper.gap → Truth/Mod_osx/multi_calls101/elm_helper.gap
diff --git a/...h/Mod/multi_calls101/elm_nonreachable.gap → ...d_osx/multi_calls101/elm_nonreachable.gap b/...h/Mod/multi_calls101/elm_nonreachable.gap → ...d_osx/multi_calls101/elm_nonreachable.gap
diff --git a/Truth/Mod/multi_calls101/elm_overlay.gap → Truth/Mod_osx/multi_calls101/elm_overlay.gap b/Truth/Mod/multi_calls101/elm_overlay.gap → Truth/Mod_osx/multi_calls101/elm_overlay.gap
diff --git a/Truth/Mod/multi_calls101/elmext.gap → Truth/Mod_osx/multi_calls101/elmext.gap b/Truth/Mod/multi_calls101/elmext.gap → Truth/Mod_osx/multi_calls101/elmext.gap
diff --git a/Truth/Mod/multi_calls101/elmmultiple.gap → Truth/Mod_osx/multi_calls101/elmmultiple.gap b/Truth/Mod/multi_calls101/elmmultiple.gap → Truth/Mod_osx/multi_calls101/elmmultiple.gap
diff --git a/Truth/Mod/multi_calls101/elmr.gap → Truth/Mod_osx/multi_calls101/elmr.gap b/Truth/Mod/multi_calls101/elmr.gap → Truth/Mod_osx/multi_calls101/elmr.gap
diff --git a/Truth/Mod/multi_calls101/elmsyn.gap → Truth/Mod_osx/multi_calls101/elmsyn.gap b/Truth/Mod/multi_calls101/elmsyn.gap → Truth/Mod_osx/multi_calls101/elmsyn.gap
diff --git a/Truth/Mod/multi_calls101/filter → Truth/Mod_osx/multi_calls101/filter b/Truth/Mod/multi_calls101/filter → Truth/Mod_osx/multi_calls101/filter
diff --git a/Truth/Mod/multi_calls101/flowgram.gap → Truth/Mod_osx/multi_calls101/flowgram.gap b/Truth/Mod/multi_calls101/flowgram.gap → Truth/Mod_osx/multi_calls101/flowgram.gap
diff --git a/Truth/Mod/multi_calls101/flowgram2.gap → Truth/Mod_osx/multi_calls101/flowgram2.gap b/Truth/Mod/multi_calls101/flowgram2.gap → Truth/Mod_osx/multi_calls101/flowgram2.gap
diff --git a/Truth/Mod/multi_calls101/flowgram2b.gap → Truth/Mod_osx/multi_calls101/flowgram2b.gap b/Truth/Mod/multi_calls101/flowgram2b.gap → Truth/Mod_osx/multi_calls101/flowgram2b.gap
diff --git a/Truth/Mod/multi_calls101/forloops → Truth/Mod_osx/multi_calls101/forloops b/Truth/Mod/multi_calls101/forloops → Truth/Mod_osx/multi_calls101/forloops
diff --git a/Truth/Mod/multi_calls101/forloops2 → Truth/Mod_osx/multi_calls101/forloops2 b/Truth/Mod/multi_calls101/forloops2 → Truth/Mod_osx/multi_calls101/forloops2
diff --git a/Truth/Mod/multi_calls101/forloops3 → Truth/Mod_osx/multi_calls101/forloops3 b/Truth/Mod/multi_calls101/forloops3 → Truth/Mod_osx/multi_calls101/forloops3
diff --git a/Truth/Mod/multi_calls101/forloops4 → Truth/Mod_osx/multi_calls101/forloops4 b/Truth/Mod/multi_calls101/forloops4 → Truth/Mod_osx/multi_calls101/forloops4
diff --git a/Truth/Mod/multi_calls101/forloops5 → Truth/Mod_osx/multi_calls101/forloops5 b/Truth/Mod/multi_calls101/forloops5 → Truth/Mod_osx/multi_calls101/forloops5
diff --git a/Truth/Mod/multi_calls101/g3pl.gap → Truth/Mod_osx/multi_calls101/g3pl.gap b/Truth/Mod/multi_calls101/g3pl.gap → Truth/Mod_osx/multi_calls101/g3pl.gap
diff --git a/Truth/Mod/multi_calls101/guideTree.gap → Truth/Mod_osx/multi_calls101/guideTree.gap b/Truth/Mod/multi_calls101/guideTree.gap → Truth/Mod_osx/multi_calls101/guideTree.gap
diff --git a/Truth/Mod/multi_calls101/helene.gap → Truth/Mod_osx/multi_calls101/helene.gap b/Truth/Mod/multi_calls101/helene.gap → Truth/Mod_osx/multi_calls101/helene.gap
diff --git a/Truth/Mod/multi_calls101/hsinfernal.gap → Truth/Mod_osx/multi_calls101/hsinfernal.gap b/Truth/Mod/multi_calls101/hsinfernal.gap → Truth/Mod_osx/multi_calls101/hsinfernal.gap
diff --git a/Truth/Mod/multi_calls101/ind → Truth/Mod_osx/multi_calls101/ind b/Truth/Mod/multi_calls101/ind → Truth/Mod_osx/multi_calls101/ind
diff --git a/Truth/Mod/multi_calls101/index.gap → Truth/Mod_osx/multi_calls101/index.gap b/Truth/Mod/multi_calls101/index.gap → Truth/Mod_osx/multi_calls101/index.gap
diff --git a/Truth/Mod/multi_calls101/lin1 → Truth/Mod_osx/multi_calls101/lin1 b/Truth/Mod/multi_calls101/lin1 → Truth/Mod_osx/multi_calls101/lin1
diff --git a/Truth/Mod/multi_calls101/lin2 → Truth/Mod_osx/multi_calls101/lin2 b/Truth/Mod/multi_calls101/lin2 → Truth/Mod_osx/multi_calls101/lin2
diff --git a/Truth/Mod/multi_calls101/links.2track → Truth/Mod_osx/multi_calls101/links.2track b/Truth/Mod/multi_calls101/links.2track → Truth/Mod_osx/multi_calls101/links.2track
diff --git a/Truth/Mod/multi_calls101/list_size → Truth/Mod_osx/multi_calls101/list_size b/Truth/Mod/multi_calls101/list_size → Truth/Mod_osx/multi_calls101/list_size
diff --git a/Truth/Mod/multi_calls101/list_size2 → Truth/Mod_osx/multi_calls101/list_size2 b/Truth/Mod/multi_calls101/list_size2 → Truth/Mod_osx/multi_calls101/list_size2
diff --git a/Truth/Mod/multi_calls101/list_size3 → Truth/Mod_osx/multi_calls101/list_size3 b/Truth/Mod/multi_calls101/list_size3 → Truth/Mod_osx/multi_calls101/list_size3
diff --git a/Truth/Mod/multi_calls101/loco3stem.gap → Truth/Mod_osx/multi_calls101/loco3stem.gap b/Truth/Mod/multi_calls101/loco3stem.gap → Truth/Mod_osx/multi_calls101/loco3stem.gap
diff --git a/Truth/Mod/multi_calls101/loop → Truth/Mod_osx/multi_calls101/loop b/Truth/Mod/multi_calls101/loop → Truth/Mod_osx/multi_calls101/loop
diff --git a/Truth/Mod/multi_calls101/loop.2track → Truth/Mod_osx/multi_calls101/loop.2track b/Truth/Mod/multi_calls101/loop.2track → Truth/Mod_osx/multi_calls101/loop.2track
diff --git a/Truth/Mod/multi_calls101/loop2 → Truth/Mod_osx/multi_calls101/loop2 b/Truth/Mod/multi_calls101/loop2 → Truth/Mod_osx/multi_calls101/loop2
diff --git a/Truth/Mod/multi_calls101/loop2.2track → Truth/Mod_osx/multi_calls101/loop2.2track b/Truth/Mod/multi_calls101/loop2.2track → Truth/Mod_osx/multi_calls101/loop2.2track
diff --git a/Truth/Mod/multi_calls101/loop3 → Truth/Mod_osx/multi_calls101/loop3 b/Truth/Mod/multi_calls101/loop3 → Truth/Mod_osx/multi_calls101/loop3
diff --git a/Truth/Mod/multi_calls101/loop3.2track → Truth/Mod_osx/multi_calls101/loop3.2track b/Truth/Mod/multi_calls101/loop3.2track → Truth/Mod_osx/multi_calls101/loop3.2track
diff --git a/Truth/Mod/multi_calls101/loopa → Truth/Mod_osx/multi_calls101/loopa b/Truth/Mod/multi_calls101/loopa → Truth/Mod_osx/multi_calls101/loopa
diff --git a/Truth/Mod/multi_calls101/macrostate.gap → Truth/Mod_osx/multi_calls101/macrostate.gap b/Truth/Mod/multi_calls101/macrostate.gap → Truth/Mod_osx/multi_calls101/macrostate.gap
diff --git a/Truth/Mod/multi_calls101/matrix.gap → Truth/Mod_osx/multi_calls101/matrix.gap b/Truth/Mod/multi_calls101/matrix.gap → Truth/Mod_osx/multi_calls101/matrix.gap
diff --git a/Truth/Mod/multi_calls101/max → Truth/Mod_osx/multi_calls101/max b/Truth/Mod/multi_calls101/max → Truth/Mod_osx/multi_calls101/max
diff --git a/Truth/Mod/multi_calls101/max.2track → Truth/Mod_osx/multi_calls101/max.2track b/Truth/Mod/multi_calls101/max.2track → Truth/Mod_osx/multi_calls101/max.2track
diff --git a/Truth/Mod/multi_calls101/max2 → Truth/Mod_osx/multi_calls101/max2 b/Truth/Mod/multi_calls101/max2 → Truth/Mod_osx/multi_calls101/max2
diff --git a/Truth/Mod/multi_calls101/max3 → Truth/Mod_osx/multi_calls101/max3 b/Truth/Mod/multi_calls101/max3 → Truth/Mod_osx/multi_calls101/max3
diff --git a/Truth/Mod/multi_calls101/max4 → Truth/Mod_osx/multi_calls101/max4 b/Truth/Mod/multi_calls101/max4 → Truth/Mod_osx/multi_calls101/max4
diff --git a/Truth/Mod/multi_calls101/mchoice.gap → Truth/Mod_osx/multi_calls101/mchoice.gap b/Truth/Mod/multi_calls101/mchoice.gap → Truth/Mod_osx/multi_calls101/mchoice.gap
diff --git a/Truth/Mod/multi_calls101/multfilter.gap → Truth/Mod_osx/multi_calls101/multfilter.gap b/Truth/Mod/multi_calls101/multfilter.gap → Truth/Mod_osx/multi_calls101/multfilter.gap
diff --git a/Truth/Mod/multi_calls101/no_axiom → Truth/Mod_osx/multi_calls101/no_axiom b/Truth/Mod/multi_calls101/no_axiom → Truth/Mod_osx/multi_calls101/no_axiom
diff --git a/Truth/Mod/multi_calls101/nonproductive → Truth/Mod_osx/multi_calls101/nonproductive b/Truth/Mod/multi_calls101/nonproductive → Truth/Mod_osx/multi_calls101/nonproductive
diff --git a/...h/Mod/multi_calls101/nonproductive.2track → ...d_osx/multi_calls101/nonproductive.2track b/...h/Mod/multi_calls101/nonproductive.2track → ...d_osx/multi_calls101/nonproductive.2track
diff --git a/Truth/Mod/multi_calls101/nonproductive2 → Truth/Mod_osx/multi_calls101/nonproductive2 b/Truth/Mod/multi_calls101/nonproductive2 → Truth/Mod_osx/multi_calls101/nonproductive2
diff --git a/Truth/Mod/multi_calls101/nussinov.gap → Truth/Mod_osx/multi_calls101/nussinov.gap b/Truth/Mod/multi_calls101/nussinov.gap → Truth/Mod_osx/multi_calls101/nussinov.gap
diff --git a/Truth/Mod/multi_calls101/nussinov2.gap → Truth/Mod_osx/multi_calls101/nussinov2.gap b/Truth/Mod/multi_calls101/nussinov2.gap → Truth/Mod_osx/multi_calls101/nussinov2.gap
diff --git a/Truth/Mod/multi_calls101/nussinovDurbin.gap → ...Mod_osx/multi_calls101/nussinovDurbin.gap b/Truth/Mod/multi_calls101/nussinovDurbin.gap → ...Mod_osx/multi_calls101/nussinovDurbin.gap
diff --git a/Truth/Mod/multi_calls101/optimalMCM.gap → Truth/Mod_osx/multi_calls101/optimalMCM.gap b/Truth/Mod/multi_calls101/optimalMCM.gap → Truth/Mod_osx/multi_calls101/optimalMCM.gap
diff --git a/Truth/Mod/multi_calls101/pal → Truth/Mod_osx/multi_calls101/pal b/Truth/Mod/multi_calls101/pal → Truth/Mod_osx/multi_calls101/pal
diff --git a/Truth/Mod/multi_calls101/pal0.gap → Truth/Mod_osx/multi_calls101/pal0.gap b/Truth/Mod/multi_calls101/pal0.gap → Truth/Mod_osx/multi_calls101/pal0.gap
diff --git a/Truth/Mod/multi_calls101/palloc → Truth/Mod_osx/multi_calls101/palloc b/Truth/Mod/multi_calls101/palloc → Truth/Mod_osx/multi_calls101/palloc
diff --git a/Truth/Mod/multi_calls101/palloc.gap → Truth/Mod_osx/multi_calls101/palloc.gap b/Truth/Mod/multi_calls101/palloc.gap → Truth/Mod_osx/multi_calls101/palloc.gap
diff --git a/Truth/Mod/multi_calls101/pizza1 → Truth/Mod_osx/multi_calls101/pizza1 b/Truth/Mod/multi_calls101/pizza1 → Truth/Mod_osx/multi_calls101/pizza1
diff --git a/Truth/Mod/multi_calls101/pknotsRG.gap → Truth/Mod_osx/multi_calls101/pknotsRG.gap b/Truth/Mod/multi_calls101/pknotsRG.gap → Truth/Mod_osx/multi_calls101/pknotsRG.gap
diff --git a/Truth/Mod/multi_calls101/product → Truth/Mod_osx/multi_calls101/product b/Truth/Mod/multi_calls101/product → Truth/Mod_osx/multi_calls101/product
diff --git a/Truth/Mod/multi_calls101/recomb.new → Truth/Mod_osx/multi_calls101/recomb.new b/Truth/Mod/multi_calls101/recomb.new → Truth/Mod_osx/multi_calls101/recomb.new
diff --git a/Truth/Mod/multi_calls101/rnashapes1.gap → Truth/Mod_osx/multi_calls101/rnashapes1.gap b/Truth/Mod/multi_calls101/rnashapes1.gap → Truth/Mod_osx/multi_calls101/rnashapes1.gap
diff --git a/Truth/Mod/multi_calls101/rnashapes2wip.gap → .../Mod_osx/multi_calls101/rnashapes2wip.gap b/Truth/Mod/multi_calls101/rnashapes2wip.gap → .../Mod_osx/multi_calls101/rnashapes2wip.gap
diff --git a/Truth/Mod/multi_calls101/rnashapesmfe.gap → ...h/Mod_osx/multi_calls101/rnashapesmfe.gap b/Truth/Mod/multi_calls101/rnashapesmfe.gap → ...h/Mod_osx/multi_calls101/rnashapesmfe.gap
diff --git a/Truth/Mod/multi_calls101/rnashapespf.gap → Truth/Mod_osx/multi_calls101/rnashapespf.gap b/Truth/Mod/multi_calls101/rnashapespf.gap → Truth/Mod_osx/multi_calls101/rnashapespf.gap
diff --git a/Truth/Mod/multi_calls101/sankoff.gap → Truth/Mod_osx/multi_calls101/sankoff.gap b/Truth/Mod/multi_calls101/sankoff.gap → Truth/Mod_osx/multi_calls101/sankoff.gap
diff --git a/Truth/Mod/multi_calls101/signature_unknown → .../Mod_osx/multi_calls101/signature_unknown b/Truth/Mod/multi_calls101/signature_unknown → .../Mod_osx/multi_calls101/signature_unknown
diff --git a/Truth/Mod/multi_calls101/single_block.gap → ...h/Mod_osx/multi_calls101/single_block.gap b/Truth/Mod/multi_calls101/single_block.gap → ...h/Mod_osx/multi_calls101/single_block.gap
diff --git a/Truth/Mod/multi_calls101/special1 → Truth/Mod_osx/multi_calls101/special1 b/Truth/Mod/multi_calls101/special1 → Truth/Mod_osx/multi_calls101/special1
diff --git a/Truth/Mod/multi_calls101/special10 → Truth/Mod_osx/multi_calls101/special10 b/Truth/Mod/multi_calls101/special10 → Truth/Mod_osx/multi_calls101/special10
diff --git a/Truth/Mod/multi_calls101/special2 → Truth/Mod_osx/multi_calls101/special2 b/Truth/Mod/multi_calls101/special2 → Truth/Mod_osx/multi_calls101/special2
diff --git a/Truth/Mod/multi_calls101/special3 → Truth/Mod_osx/multi_calls101/special3 b/Truth/Mod/multi_calls101/special3 → Truth/Mod_osx/multi_calls101/special3
diff --git a/Truth/Mod/multi_calls101/special4 → Truth/Mod_osx/multi_calls101/special4 b/Truth/Mod/multi_calls101/special4 → Truth/Mod_osx/multi_calls101/special4
diff --git a/Truth/Mod/multi_calls101/special5 → Truth/Mod_osx/multi_calls101/special5 b/Truth/Mod/multi_calls101/special5 → Truth/Mod_osx/multi_calls101/special5
diff --git a/Truth/Mod/multi_calls101/special6a → Truth/Mod_osx/multi_calls101/special6a b/Truth/Mod/multi_calls101/special6a → Truth/Mod_osx/multi_calls101/special6a
diff --git a/Truth/Mod/multi_calls101/special6b → Truth/Mod_osx/multi_calls101/special6b b/Truth/Mod/multi_calls101/special6b → Truth/Mod_osx/multi_calls101/special6b
diff --git a/Truth/Mod/multi_calls101/special7 → Truth/Mod_osx/multi_calls101/special7 b/Truth/Mod/multi_calls101/special7 → Truth/Mod_osx/multi_calls101/special7
diff --git a/Truth/Mod/multi_calls101/special8a → Truth/Mod_osx/multi_calls101/special8a b/Truth/Mod/multi_calls101/special8a → Truth/Mod_osx/multi_calls101/special8a
diff --git a/Truth/Mod/multi_calls101/special8b → Truth/Mod_osx/multi_calls101/special8b b/Truth/Mod/multi_calls101/special8b → Truth/Mod_osx/multi_calls101/special8b
diff --git a/Truth/Mod/multi_calls101/special9 → Truth/Mod_osx/multi_calls101/special9 b/Truth/Mod/multi_calls101/special9 → Truth/Mod_osx/multi_calls101/special9
diff --git a/Truth/Mod/multi_calls101/special9mod → Truth/Mod_osx/multi_calls101/special9mod b/Truth/Mod/multi_calls101/special9mod → Truth/Mod_osx/multi_calls101/special9mod
diff --git a/Truth/Mod/multi_calls101/stefan2.gap → Truth/Mod_osx/multi_calls101/stefan2.gap b/Truth/Mod/multi_calls101/stefan2.gap → Truth/Mod_osx/multi_calls101/stefan2.gap
diff --git a/Truth/Mod/multi_calls101/stefan3.gap → Truth/Mod_osx/multi_calls101/stefan3.gap b/Truth/Mod/multi_calls101/stefan3.gap → Truth/Mod_osx/multi_calls101/stefan3.gap
diff --git a/Truth/Mod/multi_calls101/stefan4.gap → Truth/Mod_osx/multi_calls101/stefan4.gap b/Truth/Mod/multi_calls101/stefan4.gap → Truth/Mod_osx/multi_calls101/stefan4.gap
diff --git a/Truth/Mod/multi_calls101/structure2shape.gap → ...od_osx/multi_calls101/structure2shape.gap b/Truth/Mod/multi_calls101/structure2shape.gap → ...od_osx/multi_calls101/structure2shape.gap
diff --git a/Truth/Mod/multi_calls101/tab → Truth/Mod_osx/multi_calls101/tab b/Truth/Mod/multi_calls101/tab → Truth/Mod_osx/multi_calls101/tab
diff --git a/Truth/Mod/multi_calls101/tab-cm → Truth/Mod_osx/multi_calls101/tab-cm b/Truth/Mod/multi_calls101/tab-cm → Truth/Mod_osx/multi_calls101/tab-cm
diff --git a/Truth/Mod/multi_calls101/tab1 → Truth/Mod_osx/multi_calls101/tab1 b/Truth/Mod/multi_calls101/tab1 → Truth/Mod_osx/multi_calls101/tab1
diff --git a/Truth/Mod/multi_calls101/tab2 → Truth/Mod_osx/multi_calls101/tab2 b/Truth/Mod/multi_calls101/tab2 → Truth/Mod_osx/multi_calls101/tab2
diff --git a/Truth/Mod/multi_calls101/tab3 → Truth/Mod_osx/multi_calls101/tab3 b/Truth/Mod/multi_calls101/tab3 → Truth/Mod_osx/multi_calls101/tab3
diff --git a/Truth/Mod/multi_calls101/tab4 → Truth/Mod_osx/multi_calls101/tab4 b/Truth/Mod/multi_calls101/tab4 → Truth/Mod_osx/multi_calls101/tab4
diff --git a/Truth/Mod/multi_calls101/tab5 → Truth/Mod_osx/multi_calls101/tab5 b/Truth/Mod/multi_calls101/tab5 → Truth/Mod_osx/multi_calls101/tab5
diff --git a/Truth/Mod/multi_calls101/tdm2hp.gap → Truth/Mod_osx/multi_calls101/tdm2hp.gap b/Truth/Mod/multi_calls101/tdm2hp.gap → Truth/Mod_osx/multi_calls101/tdm2hp.gap
diff --git a/Truth/Mod/multi_calls101/tdm2hporig.gap → Truth/Mod_osx/multi_calls101/tdm2hporig.gap b/Truth/Mod/multi_calls101/tdm2hporig.gap → Truth/Mod_osx/multi_calls101/tdm2hporig.gap
diff --git a/Truth/Mod/multi_calls101/trackincomp → Truth/Mod_osx/multi_calls101/trackincomp b/Truth/Mod/multi_calls101/trackincomp → Truth/Mod_osx/multi_calls101/trackincomp
diff --git a/Truth/Mod/multi_calls101/typecheck_elm → Truth/Mod_osx/multi_calls101/typecheck_elm b/Truth/Mod/multi_calls101/typecheck_elm → Truth/Mod_osx/multi_calls101/typecheck_elm
diff --git a/Truth/Mod/multi_calls101/width → Truth/Mod_osx/multi_calls101/width b/Truth/Mod/multi_calls101/width → Truth/Mod_osx/multi_calls101/width
diff --git a/Truth/Mod/multi_calls101/ys → Truth/Mod_osx/multi_calls101/ys b/Truth/Mod/multi_calls101/ys → Truth/Mod_osx/multi_calls101/ys
diff --git a/Truth/Mod/multi_calls101/ys2 → Truth/Mod_osx/multi_calls101/ys2 b/Truth/Mod/multi_calls101/ys2 → Truth/Mod_osx/multi_calls101/ys2
diff --git a/Truth/Mod/multi_calls101/ys3 → Truth/Mod_osx/multi_calls101/ys3 b/Truth/Mod/multi_calls101/ys3 → Truth/Mod_osx/multi_calls101/ys3
diff --git a/Truth/Mod/multi_calls101/ys4 → Truth/Mod_osx/multi_calls101/ys4 b/Truth/Mod/multi_calls101/ys4 → Truth/Mod_osx/multi_calls101/ys4
diff --git a/Truth/Mod/multi_cyk101/adpf.gap → Truth/Mod_osx/multi_cyk101/adpf.gap b/Truth/Mod/multi_cyk101/adpf.gap → Truth/Mod_osx/multi_cyk101/adpf.gap
diff --git a/Truth/Mod/multi_cyk101/adpf.new → Truth/Mod_osx/multi_cyk101/adpf.new b/Truth/Mod/multi_cyk101/adpf.new → Truth/Mod_osx/multi_cyk101/adpf.new
diff --git a/Truth/Mod/multi_cyk101/adpf_hl.gap → Truth/Mod_osx/multi_cyk101/adpf_hl.gap b/Truth/Mod/multi_cyk101/adpf_hl.gap → Truth/Mod_osx/multi_cyk101/adpf_hl.gap
diff --git a/Truth/Mod/multi_cyk101/adpf_index.gap → Truth/Mod_osx/multi_cyk101/adpf_index.gap b/Truth/Mod/multi_cyk101/adpf_index.gap → Truth/Mod_osx/multi_cyk101/adpf_index.gap
diff --git a/Truth/Mod/multi_cyk101/adpf_multi.gap → Truth/Mod_osx/multi_cyk101/adpf_multi.gap b/Truth/Mod/multi_cyk101/adpf_multi.gap → Truth/Mod_osx/multi_cyk101/adpf_multi.gap
diff --git a/Truth/Mod/multi_cyk101/adpf_nonamb.gap → Truth/Mod_osx/multi_cyk101/adpf_nonamb.gap b/Truth/Mod/multi_cyk101/adpf_nonamb.gap → Truth/Mod_osx/multi_cyk101/adpf_nonamb.gap
diff --git a/Truth/Mod/multi_cyk101/affinelocsim.gap → Truth/Mod_osx/multi_cyk101/affinelocsim.gap b/Truth/Mod/multi_cyk101/affinelocsim.gap → Truth/Mod_osx/multi_cyk101/affinelocsim.gap
diff --git a/Truth/Mod/multi_cyk101/affinelocsim.new → Truth/Mod_osx/multi_cyk101/affinelocsim.new b/Truth/Mod/multi_cyk101/affinelocsim.new → Truth/Mod_osx/multi_cyk101/affinelocsim.new
diff --git a/Truth/Mod/multi_cyk101/affinelocsim2.gap → Truth/Mod_osx/multi_cyk101/affinelocsim2.gap b/Truth/Mod/multi_cyk101/affinelocsim2.gap → Truth/Mod_osx/multi_cyk101/affinelocsim2.gap
diff --git a/Truth/Mod/multi_cyk101/ali2.gap → Truth/Mod_osx/multi_cyk101/ali2.gap b/Truth/Mod/multi_cyk101/ali2.gap → Truth/Mod_osx/multi_cyk101/ali2.gap
diff --git a/Truth/Mod/multi_cyk101/aliglob2.gap → Truth/Mod_osx/multi_cyk101/aliglob2.gap b/Truth/Mod/multi_cyk101/aliglob2.gap → Truth/Mod_osx/multi_cyk101/aliglob2.gap
diff --git a/Truth/Mod/multi_cyk101/align2.gap → Truth/Mod_osx/multi_cyk101/align2.gap b/Truth/Mod/multi_cyk101/align2.gap → Truth/Mod_osx/multi_cyk101/align2.gap
diff --git a/Truth/Mod/multi_cyk101/block → Truth/Mod_osx/multi_cyk101/block b/Truth/Mod/multi_cyk101/block → Truth/Mod_osx/multi_cyk101/block
diff --git a/Truth/Mod/multi_cyk101/cmsmallint.gap → Truth/Mod_osx/multi_cyk101/cmsmallint.gap b/Truth/Mod/multi_cyk101/cmsmallint.gap → Truth/Mod_osx/multi_cyk101/cmsmallint.gap
@@ -2,7 +2,6 @@ unsigned int t_0_n = t_0_seq.size();
 
 for (unsigned int t_0_j = 0; t_0_j < t_0_n; ++t_0_j) {
   for (unsigned int t_0_i = t_0_j + 1; t_0_i > 1; t_0_i--) {
-nt_tabulate_d_76(t_0_i-1, t_0_j);
 nt_tabulate_d_73(t_0_i-1, t_0_j);
 nt_tabulate_d_70(t_0_i-1, t_0_j);
 nt_tabulate_d_66(t_0_i-1, t_0_j);
@@ -12,13 +11,11 @@ nt_tabulate_d_48(t_0_i-1, t_0_j);
 nt_tabulate_d_42(t_0_i-1, t_0_j);
 nt_tabulate_d_36(t_0_i-1, t_0_j);
 nt_tabulate_d_31(t_0_i-1, t_0_j);
+nt_tabulate_d_25(t_0_i-1, t_0_j);
 nt_tabulate_d_22(t_0_i-1, t_0_j);
 nt_tabulate_d_19(t_0_i-1, t_0_j);
 nt_tabulate_d_16(t_0_i-1, t_0_j);
 nt_tabulate_d_13(t_0_i-1, t_0_j);
-nt_tabulate_d_10(t_0_i-1, t_0_j);
-nt_tabulate_d_7(t_0_i-1, t_0_j);
-nt_tabulate_d_4(t_0_i-1, t_0_j);
 nt_tabulate_il_11(t_0_i-1, t_0_j);
 nt_tabulate_il_14(t_0_i-1, t_0_j);
 nt_tabulate_il_17(t_0_i-1, t_0_j);
@@ -46,18 +43,16 @@ nt_tabulate_ir_56(t_0_i-1, t_0_j);
 nt_tabulate_ir_62(t_0_i-1, t_0_j);
 nt_tabulate_ir_68(t_0_i-1, t_0_j);
 nt_tabulate_ml_12(t_0_i-1, t_0_j);
-nt_tabulate_ml_3(t_0_i-1, t_0_j);
+nt_tabulate_ml_15(t_0_i-1, t_0_j);
 nt_tabulate_ml_34(t_0_i-1, t_0_j);
 nt_tabulate_ml_40(t_0_i-1, t_0_j);
 nt_tabulate_ml_46(t_0_i-1, t_0_j);
 nt_tabulate_ml_52(t_0_i-1, t_0_j);
 nt_tabulate_ml_58(t_0_i-1, t_0_j);
-nt_tabulate_ml_6(t_0_i-1, t_0_j);
 nt_tabulate_ml_64(t_0_i-1, t_0_j);
 nt_tabulate_ml_69(t_0_i-1, t_0_j);
 nt_tabulate_ml_72(t_0_i-1, t_0_j);
 nt_tabulate_ml_75(t_0_i-1, t_0_j);
-nt_tabulate_ml_9(t_0_i-1, t_0_j);
 nt_tabulate_mp_33(t_0_i-1, t_0_j);
 nt_tabulate_mp_39(t_0_i-1, t_0_j);
 nt_tabulate_mp_45(t_0_i-1, t_0_j);
@@ -66,6 +61,8 @@ nt_tabulate_mp_57(t_0_i-1, t_0_j);
 nt_tabulate_mp_63(t_0_i-1, t_0_j);
 nt_tabulate_mr_18(t_0_i-1, t_0_j);
 nt_tabulate_mr_21(t_0_i-1, t_0_j);
+nt_tabulate_mr_24(t_0_i-1, t_0_j);
+nt_tabulate_mr_27(t_0_i-1, t_0_j);
 nt_tabulate_mr_30(t_0_i-1, t_0_j);
 nt_tabulate_mr_35(t_0_i-1, t_0_j);
 nt_tabulate_mr_41(t_0_i-1, t_0_j);
@@ -76,7 +73,6 @@ nt_tabulate_mr_65(t_0_i-1, t_0_j);
 }
 
 unsigned int t_0_i = 1;
-nt_tabulate_d_76(t_0_i-1, t_0_j);
 nt_tabulate_d_73(t_0_i-1, t_0_j);
 nt_tabulate_d_70(t_0_i-1, t_0_j);
 nt_tabulate_d_66(t_0_i-1, t_0_j);
@@ -86,13 +82,11 @@ nt_tabulate_d_48(t_0_i-1, t_0_j);
 nt_tabulate_d_42(t_0_i-1, t_0_j);
 nt_tabulate_d_36(t_0_i-1, t_0_j);
 nt_tabulate_d_31(t_0_i-1, t_0_j);
+nt_tabulate_d_25(t_0_i-1, t_0_j);
 nt_tabulate_d_22(t_0_i-1, t_0_j);
 nt_tabulate_d_19(t_0_i-1, t_0_j);
 nt_tabulate_d_16(t_0_i-1, t_0_j);
 nt_tabulate_d_13(t_0_i-1, t_0_j);
-nt_tabulate_d_10(t_0_i-1, t_0_j);
-nt_tabulate_d_7(t_0_i-1, t_0_j);
-nt_tabulate_d_4(t_0_i-1, t_0_j);
 nt_tabulate_il_11(t_0_i-1, t_0_j);
 nt_tabulate_il_14(t_0_i-1, t_0_j);
 nt_tabulate_il_17(t_0_i-1, t_0_j);
@@ -120,18 +114,16 @@ nt_tabulate_ir_56(t_0_i-1, t_0_j);
 nt_tabulate_ir_62(t_0_i-1, t_0_j);
 nt_tabulate_ir_68(t_0_i-1, t_0_j);
 nt_tabulate_ml_12(t_0_i-1, t_0_j);
-nt_tabulate_ml_3(t_0_i-1, t_0_j);
+nt_tabulate_ml_15(t_0_i-1, t_0_j);
 nt_tabulate_ml_34(t_0_i-1, t_0_j);
 nt_tabulate_ml_40(t_0_i-1, t_0_j);
 nt_tabulate_ml_46(t_0_i-1, t_0_j);
 nt_tabulate_ml_52(t_0_i-1, t_0_j);
 nt_tabulate_ml_58(t_0_i-1, t_0_j);
-nt_tabulate_ml_6(t_0_i-1, t_0_j);
 nt_tabulate_ml_64(t_0_i-1, t_0_j);
 nt_tabulate_ml_69(t_0_i-1, t_0_j);
 nt_tabulate_ml_72(t_0_i-1, t_0_j);
 nt_tabulate_ml_75(t_0_i-1, t_0_j);
-nt_tabulate_ml_9(t_0_i-1, t_0_j);
 nt_tabulate_mp_33(t_0_i-1, t_0_j);
 nt_tabulate_mp_39(t_0_i-1, t_0_j);
 nt_tabulate_mp_45(t_0_i-1, t_0_j);
@@ -140,6 +132,8 @@ nt_tabulate_mp_57(t_0_i-1, t_0_j);
 nt_tabulate_mp_63(t_0_i-1, t_0_j);
 nt_tabulate_mr_18(t_0_i-1, t_0_j);
 nt_tabulate_mr_21(t_0_i-1, t_0_j);
+nt_tabulate_mr_24(t_0_i-1, t_0_j);
+nt_tabulate_mr_27(t_0_i-1, t_0_j);
 nt_tabulate_mr_30(t_0_i-1, t_0_j);
 nt_tabulate_mr_35(t_0_i-1, t_0_j);
 nt_tabulate_mr_41(t_0_i-1, t_0_j);
@@ -151,7 +145,6 @@ nt_tabulate_mr_65(t_0_i-1, t_0_j);
 
 unsigned int t_0_j = t_0_n;
   for (unsigned int t_0_i = t_0_j + 1; t_0_i > 1; t_0_i--) {
-nt_tabulate_d_76(t_0_i-1, t_0_j);
 nt_tabulate_d_73(t_0_i-1, t_0_j);
 nt_tabulate_d_70(t_0_i-1, t_0_j);
 nt_tabulate_d_66(t_0_i-1, t_0_j);
@@ -161,13 +154,11 @@ nt_tabulate_d_48(t_0_i-1, t_0_j);
 nt_tabulate_d_42(t_0_i-1, t_0_j);
 nt_tabulate_d_36(t_0_i-1, t_0_j);
 nt_tabulate_d_31(t_0_i-1, t_0_j);
+nt_tabulate_d_25(t_0_i-1, t_0_j);
 nt_tabulate_d_22(t_0_i-1, t_0_j);
 nt_tabulate_d_19(t_0_i-1, t_0_j);
 nt_tabulate_d_16(t_0_i-1, t_0_j);
 nt_tabulate_d_13(t_0_i-1, t_0_j);
-nt_tabulate_d_10(t_0_i-1, t_0_j);
-nt_tabulate_d_7(t_0_i-1, t_0_j);
-nt_tabulate_d_4(t_0_i-1, t_0_j);
 nt_tabulate_il_1(t_0_i-1);
 nt_tabulate_il_11(t_0_i-1, t_0_j);
 nt_tabulate_il_14(t_0_i-1, t_0_j);
@@ -196,18 +187,16 @@ nt_tabulate_ir_56(t_0_i-1, t_0_j);
 nt_tabulate_ir_62(t_0_i-1, t_0_j);
 nt_tabulate_ir_68(t_0_i-1, t_0_j);
 nt_tabulate_ml_12(t_0_i-1, t_0_j);
-nt_tabulate_ml_3(t_0_i-1, t_0_j);
+nt_tabulate_ml_15(t_0_i-1, t_0_j);
 nt_tabulate_ml_34(t_0_i-1, t_0_j);
 nt_tabulate_ml_40(t_0_i-1, t_0_j);
 nt_tabulate_ml_46(t_0_i-1, t_0_j);
 nt_tabulate_ml_52(t_0_i-1, t_0_j);
 nt_tabulate_ml_58(t_0_i-1, t_0_j);
-nt_tabulate_ml_6(t_0_i-1, t_0_j);
 nt_tabulate_ml_64(t_0_i-1, t_0_j);
 nt_tabulate_ml_69(t_0_i-1, t_0_j);
 nt_tabulate_ml_72(t_0_i-1, t_0_j);
 nt_tabulate_ml_75(t_0_i-1, t_0_j);
-nt_tabulate_ml_9(t_0_i-1, t_0_j);
 nt_tabulate_mp_33(t_0_i-1, t_0_j);
 nt_tabulate_mp_39(t_0_i-1, t_0_j);
 nt_tabulate_mp_45(t_0_i-1, t_0_j);
@@ -216,6 +205,8 @@ nt_tabulate_mp_57(t_0_i-1, t_0_j);
 nt_tabulate_mp_63(t_0_i-1, t_0_j);
 nt_tabulate_mr_18(t_0_i-1, t_0_j);
 nt_tabulate_mr_21(t_0_i-1, t_0_j);
+nt_tabulate_mr_24(t_0_i-1, t_0_j);
+nt_tabulate_mr_27(t_0_i-1, t_0_j);
 nt_tabulate_mr_30(t_0_i-1, t_0_j);
 nt_tabulate_mr_35(t_0_i-1, t_0_j);
 nt_tabulate_mr_41(t_0_i-1, t_0_j);
@@ -226,7 +217,6 @@ nt_tabulate_mr_65(t_0_i-1, t_0_j);
 }
 
 unsigned int t_0_i = 1;
-nt_tabulate_d_76(t_0_i-1, t_0_j);
 nt_tabulate_d_73(t_0_i-1, t_0_j);
 nt_tabulate_d_70(t_0_i-1, t_0_j);
 nt_tabulate_d_66(t_0_i-1, t_0_j);
@@ -236,13 +226,11 @@ nt_tabulate_d_48(t_0_i-1, t_0_j);
 nt_tabulate_d_42(t_0_i-1, t_0_j);
 nt_tabulate_d_36(t_0_i-1, t_0_j);
 nt_tabulate_d_31(t_0_i-1, t_0_j);
+nt_tabulate_d_25(t_0_i-1, t_0_j);
 nt_tabulate_d_22(t_0_i-1, t_0_j);
 nt_tabulate_d_19(t_0_i-1, t_0_j);
 nt_tabulate_d_16(t_0_i-1, t_0_j);
 nt_tabulate_d_13(t_0_i-1, t_0_j);
-nt_tabulate_d_10(t_0_i-1, t_0_j);
-nt_tabulate_d_7(t_0_i-1, t_0_j);
-nt_tabulate_d_4(t_0_i-1, t_0_j);
 nt_tabulate_il_1(t_0_i-1);
 nt_tabulate_il_11(t_0_i-1, t_0_j);
 nt_tabulate_il_14(t_0_i-1, t_0_j);
@@ -271,18 +259,16 @@ nt_tabulate_ir_56(t_0_i-1, t_0_j);
 nt_tabulate_ir_62(t_0_i-1, t_0_j);
 nt_tabulate_ir_68(t_0_i-1, t_0_j);
 nt_tabulate_ml_12(t_0_i-1, t_0_j);
-nt_tabulate_ml_3(t_0_i-1, t_0_j);
+nt_tabulate_ml_15(t_0_i-1, t_0_j);
 nt_tabulate_ml_34(t_0_i-1, t_0_j);
 nt_tabulate_ml_40(t_0_i-1, t_0_j);
 nt_tabulate_ml_46(t_0_i-1, t_0_j);
 nt_tabulate_ml_52(t_0_i-1, t_0_j);
 nt_tabulate_ml_58(t_0_i-1, t_0_j);
-nt_tabulate_ml_6(t_0_i-1, t_0_j);
 nt_tabulate_ml_64(t_0_i-1, t_0_j);
 nt_tabulate_ml_69(t_0_i-1, t_0_j);
 nt_tabulate_ml_72(t_0_i-1, t_0_j);
 nt_tabulate_ml_75(t_0_i-1, t_0_j);
-nt_tabulate_ml_9(t_0_i-1, t_0_j);
 nt_tabulate_mp_33(t_0_i-1, t_0_j);
 nt_tabulate_mp_39(t_0_i-1, t_0_j);
 nt_tabulate_mp_45(t_0_i-1, t_0_j);
@@ -291,6 +277,8 @@ nt_tabulate_mp_57(t_0_i-1, t_0_j);
 nt_tabulate_mp_63(t_0_i-1, t_0_j);
 nt_tabulate_mr_18(t_0_i-1, t_0_j);
 nt_tabulate_mr_21(t_0_i-1, t_0_j);
+nt_tabulate_mr_24(t_0_i-1, t_0_j);
+nt_tabulate_mr_27(t_0_i-1, t_0_j);
 nt_tabulate_mr_30(t_0_i-1, t_0_j);
 nt_tabulate_mr_35(t_0_i-1, t_0_j);
 nt_tabulate_mr_41(t_0_i-1, t_0_j);

diff --git a/Truth/Mod/multi_cyk101/const1 → Truth/Mod_osx/multi_cyk101/const1 b/Truth/Mod/multi_cyk101/const1 → Truth/Mod_osx/multi_cyk101/const1
diff --git a/Truth/Mod/multi_cyk101/dep1 → Truth/Mod_osx/multi_cyk101/dep1 b/Truth/Mod/multi_cyk101/dep1 → Truth/Mod_osx/multi_cyk101/dep1
diff --git a/Truth/Mod/multi_cyk101/dep2 → Truth/Mod_osx/multi_cyk101/dep2 b/Truth/Mod/multi_cyk101/dep2 → Truth/Mod_osx/multi_cyk101/dep2
diff --git a/Truth/Mod/multi_cyk101/dep3 → Truth/Mod_osx/multi_cyk101/dep3 b/Truth/Mod/multi_cyk101/dep3 → Truth/Mod_osx/multi_cyk101/dep3
diff --git a/Truth/Mod/multi_cyk101/dep4 → Truth/Mod_osx/multi_cyk101/dep4 b/Truth/Mod/multi_cyk101/dep4 → Truth/Mod_osx/multi_cyk101/dep4
diff --git a/Truth/Mod/multi_cyk101/dim1 → Truth/Mod_osx/multi_cyk101/dim1 b/Truth/Mod/multi_cyk101/dim1 → Truth/Mod_osx/multi_cyk101/dim1
diff --git a/Truth/Mod/multi_cyk101/dim2 → Truth/Mod_osx/multi_cyk101/dim2 b/Truth/Mod/multi_cyk101/dim2 → Truth/Mod_osx/multi_cyk101/dim2
diff --git a/Truth/Mod/multi_cyk101/dim3 → Truth/Mod_osx/multi_cyk101/dim3 b/Truth/Mod/multi_cyk101/dim3 → Truth/Mod_osx/multi_cyk101/dim3
diff --git a/Truth/Mod/multi_cyk101/dim4 → Truth/Mod_osx/multi_cyk101/dim4 b/Truth/Mod/multi_cyk101/dim4 → Truth/Mod_osx/multi_cyk101/dim4
diff --git a/Truth/Mod/multi_cyk101/elm.gap → Truth/Mod_osx/multi_cyk101/elm.gap b/Truth/Mod/multi_cyk101/elm.gap → Truth/Mod_osx/multi_cyk101/elm.gap
diff --git a/Truth/Mod/multi_cyk101/elm.new → Truth/Mod_osx/multi_cyk101/elm.new b/Truth/Mod/multi_cyk101/elm.new → Truth/Mod_osx/multi_cyk101/elm.new
diff --git a/Truth/Mod/multi_cyk101/elm_filter.gap → Truth/Mod_osx/multi_cyk101/elm_filter.gap b/Truth/Mod/multi_cyk101/elm_filter.gap → Truth/Mod_osx/multi_cyk101/elm_filter.gap
diff --git a/Truth/Mod/multi_cyk101/elm_helper.gap → Truth/Mod_osx/multi_cyk101/elm_helper.gap b/Truth/Mod/multi_cyk101/elm_helper.gap → Truth/Mod_osx/multi_cyk101/elm_helper.gap
diff --git a/Truth/Mod/multi_cyk101/elm_nonreachable.gap → ...Mod_osx/multi_cyk101/elm_nonreachable.gap b/Truth/Mod/multi_cyk101/elm_nonreachable.gap → ...Mod_osx/multi_cyk101/elm_nonreachable.gap
diff --git a/Truth/Mod/multi_cyk101/elm_overlay.gap → Truth/Mod_osx/multi_cyk101/elm_overlay.gap b/Truth/Mod/multi_cyk101/elm_overlay.gap → Truth/Mod_osx/multi_cyk101/elm_overlay.gap
diff --git a/Truth/Mod/multi_cyk101/elmext.gap → Truth/Mod_osx/multi_cyk101/elmext.gap b/Truth/Mod/multi_cyk101/elmext.gap → Truth/Mod_osx/multi_cyk101/elmext.gap
diff --git a/Truth/Mod/multi_cyk101/elmmultiple.gap → Truth/Mod_osx/multi_cyk101/elmmultiple.gap b/Truth/Mod/multi_cyk101/elmmultiple.gap → Truth/Mod_osx/multi_cyk101/elmmultiple.gap
diff --git a/Truth/Mod/multi_cyk101/elmr.gap → Truth/Mod_osx/multi_cyk101/elmr.gap b/Truth/Mod/multi_cyk101/elmr.gap → Truth/Mod_osx/multi_cyk101/elmr.gap
diff --git a/Truth/Mod/multi_cyk101/elmsyn.gap → Truth/Mod_osx/multi_cyk101/elmsyn.gap b/Truth/Mod/multi_cyk101/elmsyn.gap → Truth/Mod_osx/multi_cyk101/elmsyn.gap
diff --git a/Truth/Mod/multi_cyk101/filter → Truth/Mod_osx/multi_cyk101/filter b/Truth/Mod/multi_cyk101/filter → Truth/Mod_osx/multi_cyk101/filter
diff --git a/Truth/Mod/multi_cyk101/flowgram.gap → Truth/Mod_osx/multi_cyk101/flowgram.gap b/Truth/Mod/multi_cyk101/flowgram.gap → Truth/Mod_osx/multi_cyk101/flowgram.gap
diff --git a/Truth/Mod/multi_cyk101/flowgram2.gap → Truth/Mod_osx/multi_cyk101/flowgram2.gap b/Truth/Mod/multi_cyk101/flowgram2.gap → Truth/Mod_osx/multi_cyk101/flowgram2.gap
diff --git a/Truth/Mod/multi_cyk101/flowgram2b.gap → Truth/Mod_osx/multi_cyk101/flowgram2b.gap b/Truth/Mod/multi_cyk101/flowgram2b.gap → Truth/Mod_osx/multi_cyk101/flowgram2b.gap
diff --git a/Truth/Mod/multi_cyk101/forloops → Truth/Mod_osx/multi_cyk101/forloops b/Truth/Mod/multi_cyk101/forloops → Truth/Mod_osx/multi_cyk101/forloops
diff --git a/Truth/Mod/multi_cyk101/forloops2 → Truth/Mod_osx/multi_cyk101/forloops2 b/Truth/Mod/multi_cyk101/forloops2 → Truth/Mod_osx/multi_cyk101/forloops2
diff --git a/Truth/Mod/multi_cyk101/forloops3 → Truth/Mod_osx/multi_cyk101/forloops3 b/Truth/Mod/multi_cyk101/forloops3 → Truth/Mod_osx/multi_cyk101/forloops3
diff --git a/Truth/Mod/multi_cyk101/forloops4 → Truth/Mod_osx/multi_cyk101/forloops4 b/Truth/Mod/multi_cyk101/forloops4 → Truth/Mod_osx/multi_cyk101/forloops4
diff --git a/Truth/Mod/multi_cyk101/forloops5 → Truth/Mod_osx/multi_cyk101/forloops5 b/Truth/Mod/multi_cyk101/forloops5 → Truth/Mod_osx/multi_cyk101/forloops5
diff --git a/Truth/Mod/multi_cyk101/g3pl.gap → Truth/Mod_osx/multi_cyk101/g3pl.gap b/Truth/Mod/multi_cyk101/g3pl.gap → Truth/Mod_osx/multi_cyk101/g3pl.gap