BMS分析:修订间差异
来自Googology Wiki
更多操作
小 →2:双行BMS |
无编辑摘要 |
||
第79行: | 第79行: | ||
! BMS !! Veblen !! MOCF | ! BMS !! Veblen !! MOCF | ||
|- | |- | ||
| <math>(0)(1,1)</math> || <math>\varepsilon_0</math> | | <math>(0)(1,1)</math>|| <math>\varepsilon_0</math> | ||
|- | |- | ||
| <math>(0)(1,1)(0,0)</math> || <math>\varepsilon_0+1</math> | | <math>(0)(1,1)(0,0)</math>|| <math>\varepsilon_0+1</math> | ||
|- | |- | ||
| <math>(0)(1,1)(0,0)(1,0)</math> || <math>\varepsilon_0+\omega</math> | | <math>(0)(1,1)(0,0)(1,0)</math>|| <math>\varepsilon_0+\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(0,0)(1,1)</math> || <math>\varepsilon_0\times2</math> | | <math>(0)(1,1)(0,0)(1,1)</math>|| <math>\varepsilon_0\times2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(0,0)(1,1)(0,0)(1,1)</math> || <math>\varepsilon_0\times3</math> | | <math>(0)(1,1)(0,0)(1,1)(0,0)(1,1)</math>|| <math>\varepsilon_0\times3</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)</math> || <math>\varepsilon_0\times\omega</math> | | <math>(0)(1,1)(1,0)</math>|| <math>\varepsilon_0\times\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(1,0)</math> || <math>\varepsilon_0\times\omega^2</math> | | <math>(0)(1,1)(1,0)(1,0)</math>|| <math>\varepsilon_0\times\omega^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,0)</math> || <math>\varepsilon_0\times\omega^\omega</math> | | <math>(0)(1,1)(1,0)(2,0)</math>|| <math>\varepsilon_0\times\omega^\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,0)(3,0)</math> || <math>\varepsilon_0\times\omega^{\omega^\omega}</math> | | <math>(0)(1,1)(1,0)(2,0)(3,0)</math>|| <math>\varepsilon_0\times\omega^{\omega^\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)</math> || <math>\varepsilon_0^2</math> | | <math>(0)(1,1)(1,0)(2,1)</math>|| <math>\varepsilon_0^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)</math> || <math>\varepsilon_0^2\times\omega</math> | | <math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)</math>|| <math>\varepsilon_0^2\times\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)(3,0)</math> || <math>\varepsilon_0^2\times\omega^\omega</math> | | <math>(0)(1,1)(1,0)(2,1)(1,0)(2,0)(3,0)</math>|| <math>\varepsilon_0^2\times\omega^\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)</math> || <math>\varepsilon_0^3</math> | | <math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)</math>|| <math>\varepsilon_0^3</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)(1,0)(2,1)</math> || <math>\varepsilon_0^4</math> | | <math>(0)(1,1)(1,0)(2,1)(1,0)(2,1)(1,0)(2,1)</math>|| <math>\varepsilon_0^4</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)</math> || <math>\varepsilon_0^\omega</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)</math>|| <math>\varepsilon_0^\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)</math> || <math>\varepsilon_0^{\omega+1}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)</math>|| <math>\varepsilon_0^{\omega+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(1,0)(2,1)</math> || <math>\varepsilon_0^{\omega+2}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(1,0)(2,1)</math>|| <math>\varepsilon_0^{\omega+2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)</math> || <math>\varepsilon_0^{\omega\times2}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)</math>|| <math>\varepsilon_0^{\omega\times2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)</math> || <math>\varepsilon_0^{\omega\times3}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)(1,0)(2,1)(2,0)</math>|| <math>\varepsilon_0^{\omega\times3}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(2,0)</math> || <math>\varepsilon_0^{\omega^2}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(2,0)</math>|| <math>\varepsilon_0^{\omega^2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)</math> || <math>\varepsilon_0^{\omega^\omega}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)</math>|| <math>\varepsilon_0^{\omega^\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)(4,0)</math> || <math>\varepsilon_0^{\omega^{\omega^\omega}}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(3,0)(4,0)</math>|| <math>\varepsilon_0^{\omega^{\omega^\omega}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)</math> || <math>\varepsilon_0^{\varepsilon_0}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)</math>|| <math>\varepsilon_0^{\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)</math> || <math>\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)</math>|| <math>\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)(4,0)(5,1)</math> || <math>\varepsilon_0^{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}</math> | | <math>(0)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)(4,0)(5,1)</math>|| <math>\varepsilon_0^{\varepsilon_0^{\varepsilon_0^{\varepsilon_0}}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)</math> || <math>\varepsilon_1</math> | | <math>(0)(1,1)(1,1)</math>|| <math>\varepsilon_1</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(0,0)(1,1)(1,1)</math> || <math>\varepsilon_1\times2</math> | | <math>(0)(1,1)(1,1)(0,0)(1,1)(1,1)</math>|| <math>\varepsilon_1\times2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)</math> || <math>\varepsilon_1\times\omega</math> | | <math>(0)(1,1)(1,1)(1,0)</math>|| <math>\varepsilon_1\times\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)</math> || <math>\varepsilon_1\times\varepsilon_0</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)</math>|| <math>\varepsilon_1\times\varepsilon_0</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)</math> || <math>\varepsilon_1\times\varepsilon_0^2</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)</math>|| <math>\varepsilon_1\times\varepsilon_0^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)</math> || <math>\varepsilon_1\times\varepsilon_0^{\varepsilon_0}</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,0)(3,1)(3,0)(4,1)</math>|| <math>\varepsilon_1\times\varepsilon_0^{\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)</math> || <math>\varepsilon_1^2</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)</math>|| <math>\varepsilon_1^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)</math> || <math>\varepsilon_1^\omega</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)</math>|| <math>\varepsilon_1^\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)</math> || <math>\varepsilon_1^{\varepsilon_0}</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)</math>|| <math>\varepsilon_1^{\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)</math> || <math>\varepsilon_1^{\varepsilon_1}</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)</math>|| <math>\varepsilon_1^{\varepsilon_1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)(3,0)(4,1)(4,1)</math> || <math>\varepsilon_1^{\varepsilon_1^{\varepsilon_1}}</math> | | <math>(0)(1,1)(1,1)(1,0)(2,1)(2,1)(2,0)(3,1)(3,1)(3,0)(4,1)(4,1)</math>|| <math>\varepsilon_1^{\varepsilon_1^{\varepsilon_1}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,1)</math> || <math>\varepsilon_2</math> | | <math>(0)(1,1)(1,1)(1,1)</math>|| <math>\varepsilon_2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(1,1)(1,1)(1,1)</math> || <math>\varepsilon_3</math> | | <math>(0)(1,1)(1,1)(1,1)(1,1)</math>|| <math>\varepsilon_3</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)</math> || <math>\varepsilon_\omega</math> | | <math>(0)(1,1)(2,0)</math>|| <math>\varepsilon_\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)</math> || <math>\varepsilon_\omega\times\omega</math> | | <math>(0)(1,1)(2,0)(1,0)</math>|| <math>\varepsilon_\omega\times\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)</math> || <math>\varepsilon_\omega\times\varepsilon_0</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)</math>|| <math>\varepsilon_\omega\times\varepsilon_0</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)</math> || <math>\varepsilon_\omega\times\varepsilon_1</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)</math>|| <math>\varepsilon_\omega\times\varepsilon_1</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)</math> || <math>\varepsilon_\omega\times\varepsilon_2</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)</math>|| <math>\varepsilon_\omega\times\varepsilon_2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)(2,1)</math> || <math>\varepsilon_\omega\times\varepsilon_3</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)(2,1)(2,1)(2,1)</math>|| <math>\varepsilon_\omega\times\varepsilon_3</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)</math> || <math>\varepsilon_\omega^2</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)</math>|| <math>\varepsilon_\omega^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)(2,0)(3,1)(4,0)</math> || <math>\varepsilon_\omega^{\varepsilon_\omega}</math> | | <math>(0)(1,1)(2,0)(1,0)(2,1)(3,0)(2,0)(3,1)(4,0)</math>|| <math>\varepsilon_\omega^{\varepsilon_\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,1)</math> || <math>\varepsilon_{\omega+1}</math> | | <math>(0)(1,1)(2,0)(1,1)</math>|| <math>\varepsilon_{\omega+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,1)(1,1)</math> || <math>\varepsilon_{\omega+2}</math> | | <math>(0)(1,1)(2,0)(1,1)(1,1)</math>|| <math>\varepsilon_{\omega+2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,1)(1,1)(1,1)</math> || <math>\varepsilon_{\omega+3}</math> | | <math>(0)(1,1)(2,0)(1,1)(1,1)(1,1)</math>|| <math>\varepsilon_{\omega+3}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,1)(2,0)</math> || <math>\varepsilon_{\omega\times2}</math> | | <math>(0)(1,1)(2,0)(1,1)(2,0)</math>|| <math>\varepsilon_{\omega\times2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(1,1)(2,0)(1,1)(2,0)</math> || <math>\varepsilon_{\omega\times3}</math> | | <math>(0)(1,1)(2,0)(1,1)(2,0)(1,1)(2,0)</math>|| <math>\varepsilon_{\omega\times3}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(2,0)</math> || <math>\varepsilon_{\omega^2}</math> | | <math>(0)(1,1)(2,0)(2,0)</math>|| <math>\varepsilon_{\omega^2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(2,0)(2,0)</math> || <math>\varepsilon_{\omega^3}</math> | | <math>(0)(1,1)(2,0)(2,0)(2,0)</math>|| <math>\varepsilon_{\omega^3}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,0)</math> || <math>\varepsilon_{\omega^\omega}</math> | | <math>(0)(1,1)(2,0)(3,0)</math>|| <math>\varepsilon_{\omega^\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,0)(4,0)</math> || <math>\varepsilon_{\omega^{\omega^\omega}}</math> | | <math>(0)(1,1)(2,0)(3,0)(4,0)</math>|| <math>\varepsilon_{\omega^{\omega^\omega}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)</math> || <math>\varepsilon_{\varepsilon_0}</math> | | <math>(0)(1,1)(2,0)(3,1)</math>|| <math>\varepsilon_{\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)(1,1)</math> || <math>\varepsilon_{\varepsilon_0+1}</math> | | <math>(0)(1,1)(2,0)(3,1)(1,1)</math>|| <math>\varepsilon_{\varepsilon_0+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)(3,1)</math> || <math>\varepsilon_{\varepsilon_1}</math> | | <math>(0)(1,1)(2,0)(3,1)(3,1)</math>|| <math>\varepsilon_{\varepsilon_1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)(4,0)</math> || <math>\varepsilon_{\varepsilon_\omega}</math> | | <math>(0)(1,1)(2,0)(3,1)(4,0)</math>|| <math>\varepsilon_{\varepsilon_\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)</math> || <math>\varepsilon_{\varepsilon_{\varepsilon_0}}</math> | | <math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)</math>|| <math>\varepsilon_{\varepsilon_{\varepsilon_0}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)(6,0)(7,1)</math> || <math>\varepsilon_{\varepsilon_{\varepsilon_{\varepsilon_0}}}</math> | | <math>(0)(1,1)(2,0)(3,1)(4,0)(5,1)(6,0)(7,1)</math>|| <math>\varepsilon_{\varepsilon_{\varepsilon_{\varepsilon_0}}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)</math> || <math>\zeta_0</math> | | <math>(0)(1,1)(2,1)</math>|| <math>\zeta_0</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)</math> || <math>\zeta_0^2</math> | | <math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)</math>|| <math>\zeta_0^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)(2,0)(3,1)(4,1)</math> || <math>\zeta_0^{\zeta_0}</math> | | <math>(0)(1,1)(2,1)(1,0)(2,1)(3,1)(2,0)(3,1)(4,1)</math>|| <math>\zeta_0^{\zeta_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)</math> || <math>\varepsilon_{\zeta_0+1}</math> | | <math>(0)(1,1)(2,1)(1,1)</math>|| <math>\varepsilon_{\zeta_0+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(1,0)(2,1)(3,1)(2,1)</math> || <math>\varepsilon_{\zeta_0+1}^2</math> | | <math>(0)(1,1)(2,1)(1,1)(1,0)(2,1)(3,1)(2,1)</math>|| <math>\varepsilon_{\zeta_0+1}^2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(1,1)</math> || <math>\varepsilon_{\zeta_0+2}</math> | | <math>(0)(1,1)(2,1)(1,1)(1,1)</math>|| <math>\varepsilon_{\zeta_0+2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)</math> || <math>\varepsilon_{\zeta_0+\omega}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)</math>|| <math>\varepsilon_{\zeta_0+\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)</math> || <math>\varepsilon_{\zeta_0+\varepsilon_0}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)</math>|| <math>\varepsilon_{\zeta_0+\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)</math> || <math>\varepsilon_{\zeta_0\times2}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)</math>|| <math>\varepsilon_{\zeta_0\times2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)</math> || <math>\varepsilon_{\varepsilon_{\zeta_0+1}}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)</math>|| <math>\varepsilon_{\varepsilon_{\zeta_0+1}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)(4,0)(5,1)(6,1)(5,1)</math> || <math>\varepsilon_{\varepsilon_{\varepsilon_{\zeta+1}}}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)(3,1)(4,1)(3,1)(4,0)(5,1)(6,1)(5,1)</math>|| <math>\varepsilon_{\varepsilon_{\varepsilon_{\zeta+1}}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,1)</math> || <math>\zeta_1</math> | | <math>(0)(1,1)(2,1)(1,1)(2,1)</math>|| <math>\zeta_1</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)</math> || <math>\varepsilon_{\zeta_1+1}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)</math>|| <math>\varepsilon_{\zeta_1+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,0)</math> || <math>\varepsilon_{\zeta_1+\omega}</math> | | <math>(0)(1,1)(2,1)(1,1)(2,0)</math>|| <math>\varepsilon_{\zeta_1+\omega}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math> || <math>\zeta_2</math> | | <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math>|| <math>\zeta_2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math> || <math>\zeta_3</math> | | <math>(0)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)(1,1)(2,1)</math>|| <math>\zeta_3</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,0)</math> || <math>\zeta_\omega</math> | | <math>(0)(1,1)(2,1)(2,0)</math>|| <math>\zeta_\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,0)(2,0)</math> || <math>\zeta_{\omega^2}</math> | | <math>(0)(1,1)(2,1)(2,0)(2,0)</math>|| <math>\zeta_{\omega^2}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,0)(3,1)</math> || <math>\zeta_{\varepsilon_0}</math> | | <math>(0)(1,1)(2,1)(2,0)(3,1)</math>|| <math>\zeta_{\varepsilon_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)</math> || <math>\zeta_{\zeta_0}</math> | | <math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)</math>|| <math>\zeta_{\zeta_0}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)(4,0)(5,1)(6,1)</math> || <math>\zeta_{\zeta_{\zeta_0}}</math> | | <math>(0)(1,1)(2,1)(2,0)(3,1)(4,1)(4,0)(5,1)(6,1)</math>|| <math>\zeta_{\zeta_{\zeta_0}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)</math> || <math>\eta_0</math> | | <math>(0)(1,1)(2,1)(2,1)</math>|| <math>\eta_0</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(1,1)</math> || <math>\varepsilon_{\eta_0+1}</math> | | <math>(0)(1,1)(2,1)(2,1)(1,1)</math>|| <math>\varepsilon_{\eta_0+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)</math> || <math>\zeta_{\eta_0+1}</math> | | <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)</math>|| <math>\zeta_{\eta_0+1}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,0)(3,1)(4,1)(4,1)(3,1)(4,1)</math> || <math>\zeta_{\zeta_{\eta_0+1}}</math> | | <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,0)(3,1)(4,1)(4,1)(3,1)(4,1)</math>|| <math>\zeta_{\zeta_{\eta_0+1}}</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)</math> || <math>\eta_1</math> | | <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)</math>|| <math>\eta_1</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)</math> || <math>\eta_2</math> | | <math>(0)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)(1,1)(2,1)(2,1)</math>|| <math>\eta_2</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(2,0)</math> || <math>\eta_\omega</math> | | <math>(0)(1,1)(2,1)(2,1)(2,0)</math>|| <math>\eta_\omega</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(2,1)(2,1)</math> || <math>\varphi(4,0)</math> || <math>\psi(\Omega^3)</math> | | <math>(0)(1,1)(2,1)(2,1)(2,1)</math>|| <math>\varphi(4,0)</math>|| <math>\psi(\Omega^3)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)</math> || <math>\varphi(\omega,0)</math> || <math>\psi(\Omega^\omega)</math> | | <math>(0)(1,1)(2,1)(3,0)</math>|| <math>\varphi(\omega,0)</math>|| <math>\psi(\Omega^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(1,1)</math> || <math>\varphi(1,\varphi(\omega,0)+1)</math> || <math>\psi(\Omega^\omega+1)</math> | | <math>(0)(1,1)(2,1)(3,0)(1,1)</math>|| <math>\varphi(1,\varphi(\omega,0)+1)</math>|| <math>\psi(\Omega^\omega+1)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)</math> || <math>\varphi(2,\varphi(\omega,0)+1)</math> || <math>\psi(\Omega^\omega+\Omega)</math> | | <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)</math>|| <math>\varphi(2,\varphi(\omega,0)+1)</math>|| <math>\psi(\Omega^\omega+\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(2,1)</math> || <math>\varphi(3,\varphi(\omega,0)+1)</math> || <math>\psi(\Omega^\omega+\Omega^2)</math> | | <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(2,1)</math>|| <math>\varphi(3,\varphi(\omega,0)+1)</math>|| <math>\psi(\Omega^\omega+\Omega^2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)</math> || <math>\varphi(\omega,1)</math> || <math>\psi(\Omega^\omega\times2)</math> | | <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)</math>|| <math>\varphi(\omega,1)</math>|| <math>\psi(\Omega^\omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)</math> || <math>\varphi(\omega,2)</math> || <math>\psi(\Omega^\omega\times3)</math> | | <math>(0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)(1,1)(2,1)(3,0)</math>|| <math>\varphi(\omega,2)</math>|| <math>\psi(\Omega^\omega\times3)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,0)</math> || <math>\varphi(\omega,\omega)</math> || <math>\psi(\Omega^\omega\times\omega)</math> | | <math>(0)(1,1)(2,1)(3,0)(2,0)</math>|| <math>\varphi(\omega,\omega)</math>|| <math>\psi(\Omega^\omega\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,1)</math> || <math>\varphi(\omega+1,0)</math> || <math>\psi(\Omega^{\omega+1})</math> | | <math>(0)(1,1)(2,1)(3,0)(2,1)</math>|| <math>\varphi(\omega+1,0)</math>|| <math>\psi(\Omega^{\omega+1})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)</math> || <math>\varphi(\omega+2,0)</math> || <math>\psi(\Omega^{\omega+2})</math> | | <math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)</math>|| <math>\varphi(\omega+2,0)</math>|| <math>\psi(\Omega^{\omega+2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)(2,1)</math> || <math>\varphi(\omega+3,0)</math> || <math>\psi(\Omega^{\omega+3})</math> | | <math>(0)(1,1)(2,1)(3,0)(2,1)(2,1)(2,1)</math>|| <math>\varphi(\omega+3,0)</math>|| <math>\psi(\Omega^{\omega+3})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)</math> || <math>\varphi(\omega\times2,0)</math> || <math>\psi(\Omega^{\omega\times2})</math> | | <math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)</math>|| <math>\varphi(\omega\times2,0)</math>|| <math>\psi(\Omega^{\omega\times2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)(2,1)(3,0)</math> || <math>\varphi(\omega\times3,0)</math> || <math>\psi(\Omega^{\omega\times3})</math> | | <math>(0)(1,1)(2,1)(3,0)(2,1)(3,0)(2,1)(3,0)</math>|| <math>\varphi(\omega\times3,0)</math>|| <math>\psi(\Omega^{\omega\times3})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(3,0)</math> || <math>\varphi(\omega^2,0)</math> || <math>\psi(\Omega^{\omega^2})</math> | | <math>(0)(1,1)(2,1)(3,0)(3,0)</math>|| <math>\varphi(\omega^2,0)</math>|| <math>\psi(\Omega^{\omega^2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(4,1)</math> || <math>\varphi(\varphi(1,0),0)</math> || <math>\psi(\Omega^{\psi(0)})</math> | | <math>(0)(1,1)(2,1)(3,0)(4,1)</math>|| <math>\varphi(\varphi(1,0),0)</math>|| <math>\psi(\Omega^{\psi(0)})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)</math> || <math>\varphi(\varphi(2,0),0)</math> || <math>\psi(\Omega^{\psi(\Omega)})</math> | | <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)</math>|| <math>\varphi(\varphi(2,0),0)</math>|| <math>\psi(\Omega^{\psi(\Omega)})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)</math> || <math>\varphi(\varphi(\omega,0),0)</math> || <math>\psi(\Omega^{\psi(\Omega^\omega)})</math> | | <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)</math>|| <math>\varphi(\varphi(\omega,0),0)</math>|| <math>\psi(\Omega^{\psi(\Omega^\omega)})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)(7,1)(8,1)(9,0)</math> || <math>\varphi(\varphi(\varphi(\omega,0),0),0)</math> || <math>\psi(\Omega^{\psi(\Omega^{\psi(\Omega^\omega)})})</math> | | <math>(0)(1,1)(2,1)(3,0)(4,1)(5,1)(6,0)(7,1)(8,1)(9,0)</math>|| <math>\varphi(\varphi(\varphi(\omega,0),0),0)</math>|| <math>\psi(\Omega^{\psi(\Omega^{\psi(\Omega^\omega)})})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)</math> || <math>\varphi(1,0,0)=\Gamma_0</math> || <math>\psi(\Omega^\Omega)</math> | | <math>(0)(1,1)(2,1)(3,1)</math>|| <math>\varphi(1,0,0)=\Gamma_0</math>|| <math>\psi(\Omega^\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math> || <math>\varphi(1,0,1)=\Gamma_1</math> || <math>\psi(\Omega^\Omega\times2)</math> | | <math>(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math>|| <math>\varphi(1,0,1)=\Gamma_1</math>|| <math>\psi(\Omega^\Omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math> || <math>\varphi(1,0,2)=\Gamma_2</math> || <math>\psi(\Omega^\Omega\times3)</math> | | <math>(0)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)(1,1)(2,1)(3,1)</math>|| <math>\varphi(1,0,2)=\Gamma_2</math>|| <math>\psi(\Omega^\Omega\times3)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,0)</math> || <math>\varphi(1,0,\omega)=\Gamma_\omega</math> || <math>\psi(\Omega^\Omega\times\omega)</math> | | <math>(0)(1,1)(2,1)(3,1)(2,0)</math>|| <math>\varphi(1,0,\omega)=\Gamma_\omega</math>|| <math>\psi(\Omega^\Omega\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)</math> || <math>\varphi(1,0,\varphi(1,0,0))=\Gamma_{\Gamma_0}</math> || <math>\psi(\Omega^\Omega\times\psi(\Omega^\Omega))</math> | | <math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)</math>|| <math>\varphi(1,0,\varphi(1,0,0))=\Gamma_{\Gamma_0}</math>|| <math>\psi(\Omega^\Omega\times\psi(\Omega^\Omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)(4,0)(5,1)(6,1)(7,1)</math> || <math>\varphi(1,0,\varphi(1,0,\varphi(1,0,0)))=\Gamma_{\Gamma_{\Gamma_0}}</math> || <math>\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))</math> | | <math>(0)(1,1)(2,1)(3,1)(2,0)(3,1)(4,1)(5,1)(4,0)(5,1)(6,1)(7,1)</math>|| <math>\varphi(1,0,\varphi(1,0,\varphi(1,0,0)))=\Gamma_{\Gamma_{\Gamma_0}}</math>|| <math>\psi(\Omega^\Omega\times\psi(\Omega^\Omega\times\psi(\Omega^\Omega)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)</math> || <math>\varphi(1,1,0)</math> || <math>\psi(\Omega^{\Omega+1})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)</math>|| <math>\varphi(1,1,0)</math>|| <math>\psi(\Omega^{\Omega+1})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)(2,1)</math> || <math>\varphi(1,2,0)</math> || <math>\psi(\Omega^{\Omega+2})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)(2,1)</math>|| <math>\varphi(1,2,0)</math>|| <math>\psi(\Omega^{\Omega+2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)</math> || <math>\varphi(1,\omega,0)</math> || <math>\psi(\Omega^{\Omega+\omega})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)</math>|| <math>\varphi(1,\omega,0)</math>|| <math>\psi(\Omega^{\Omega+\omega})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,1)(5,1)(6,1)(5,1)(6,0)</math> || <math>\varphi(1,\varphi(1,\omega,0),0)</math> || <math>\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)(3,0)(4,1)(5,1)(6,1)(5,1)(6,0)</math>|| <math>\varphi(1,\varphi(1,\omega,0),0)</math>|| <math>\psi(\Omega^{\Omega+\psi(\Omega^{\Omega+\omega})})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)</math> || <math>\psi(2,0,0)</math> || <math>\psi(\Omega^{\Omega\times2})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)</math>|| <math>\psi(2,0,0)</math>|| <math>\psi(\Omega^{\Omega\times2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1)</math> || <math>\psi(3,0,0)</math> || <math>\psi(\Omega^{\Omega\times3})</math> | | <math>(0)(1,1)(2,1)(3,1)(2,1)(3,1)(2,1)(3,1)</math>|| <math>\psi(3,0,0)</math>|| <math>\psi(\Omega^{\Omega\times3})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(3,0)</math> || <math>\varphi(\omega,0,0)</math> || <math>\psi(\Omega^{\Omega\times\omega})</math> | | <math>(0)(1,1)(2,1)(3,1)(3,0)</math>|| <math>\varphi(\omega,0,0)</math>|| <math>\psi(\Omega^{\Omega\times\omega})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(3,1)</math> || <math>\varphi(1,0,0,0)</math> || <math>\psi(\Omega^{\Omega^2})</math> | | <math>(0)(1,1)(2,1)(3,1)(3,1)</math>|| <math>\varphi(1,0,0,0)</math>|| <math>\psi(\Omega^{\Omega^2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(3,1)(3,1)</math> || <math>\varphi(1,0,0,0,0)</math> || <math>\psi(\Omega^{\Omega^3})</math> | | <math>(0)(1,1)(2,1)(3,1)(3,1)(3,1)</math>|| <math>\varphi(1,0,0,0,0)</math>|| <math>\psi(\Omega^{\Omega^3})</math> | ||
|} | |} | ||
第328行: | 第328行: | ||
! BMS !! MOCF | ! BMS !! MOCF | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,0)</math> || <math>\psi(\Omega^{\Omega^\omega})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,0)</math>|| <math>\psi(\Omega^{\Omega^\omega})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)</math> || <math>\psi(\Omega^{\Omega^{\psi(0)}})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)</math>|| <math>\psi(\Omega^{\Omega^{\psi(0)}})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)</math> || <math>\psi(\Omega^{\Omega^{\psi(\Omega)}})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)</math>|| <math>\psi(\Omega^{\Omega^{\psi(\Omega)}})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)(7,1)</math> || <math>\psi(\Omega^{\Omega^{\psi(\Omega^\Omega)}})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,0)(5,1)(6,1)(7,1)</math>|| <math>\psi(\Omega^{\Omega^{\psi(\Omega^\Omega)}})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,1)</math> || <math>\psi(\Omega^{\Omega^\Omega})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,1)</math>|| <math>\psi(\Omega^{\Omega^\Omega})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,1)(3,1)(4,1)(5,1)</math> || <math>\psi(\Omega^{\Omega^{\Omega^\Omega}})</math> | | <math>(0)(1,1)(2,1)(3,1)(4,1)(5,1)</math>|| <math>\psi(\Omega^{\Omega^{\Omega^\Omega}})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)</math> || <math>\psi(\psi_1(0))</math> | | <math>(0)(1,1)(2,2)</math>|| <math>\psi(\psi_1(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(1,1)</math> || <math>\psi(\psi_1(0)+1)</math> | | <math>(0)(1,1)(2,2)(1,1)</math>|| <math>\psi(\psi_1(0)+1)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(1,1)(2,1)</math> || <math>\psi(\psi_1(0)+\Omega)</math> | | <math>(0)(1,1)(2,2)(1,1)(2,1)</math>|| <math>\psi(\psi_1(0)+\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(1,1)(2,1)(3,1)</math> || <math>\psi(\psi_1(0)+\Omega^\Omega)</math> | | <math>(0)(1,1)(2,2)(1,1)(2,1)(3,1)</math>|| <math>\psi(\psi_1(0)+\Omega^\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(1,1)(2,2)</math> || <math>\psi(\psi_1(0)\times2)</math> | | <math>(0)(1,1)(2,2)(1,1)(2,2)</math>|| <math>\psi(\psi_1(0)\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,0)</math> || <math>\psi(\psi_1(0)\times\omega)</math> | | <math>(0)(1,1)(2,2)(2,0)</math>|| <math>\psi(\psi_1(0)\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)</math> || <math>\psi(\psi_1(0)\times\Omega)</math> | | <math>(0)(1,1)(2,2)(2,1)</math>|| <math>\psi(\psi_1(0)\times\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)(3,0)</math> || <math>\psi(\psi_1(0)\times\Omega^\omega)</math> | | <math>(0)(1,1)(2,2)(2,1)(3,0)</math>|| <math>\psi(\psi_1(0)\times\Omega^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)(3,1)</math> || <math>\psi(\psi_1(0)\times\Omega^\Omega)</math> | | <math>(0)(1,1)(2,2)(2,1)(3,1)</math>|| <math>\psi(\psi_1(0)\times\Omega^\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)(3,2)</math> || <math>\psi(\psi_1(0)^2)</math> | | <math>(0)(1,1)(2,2)(2,1)(3,2)</math>|| <math>\psi(\psi_1(0)^2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)(3,2)(3,0)</math> || <math>\psi(\psi_1(0)^\omega)</math> | | <math>(0)(1,1)(2,2)(2,1)(3,2)(3,0)</math>|| <math>\psi(\psi_1(0)^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)</math> || <math>\psi(\psi_1(0)^{\psi_1(0)})</math> | | <math>(0)(1,1)(2,2)(2,1)(3,2)(3,1)(4,2)</math>|| <math>\psi(\psi_1(0)^{\psi_1(0)})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(2,2)</math> || <math>\psi(\psi_1(1))</math> | | <math>(0)(1,1)(2,2)(2,2)</math>|| <math>\psi(\psi_1(1))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,0)</math> || <math>\psi(\psi_1(\omega))</math> | | <math>(0)(1,1)(2,2)(3,0)</math>|| <math>\psi(\psi_1(\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,1)(4,2)</math> || <math>\psi(\psi_1(\psi_1(0)))</math> | | <math>(0)(1,1)(2,2)(3,1)(4,2)</math>|| <math>\psi(\psi_1(\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)</math> || <math>\psi(\Omega_2)</math> | | <math>(0)(1,1)(2,2)(3,2)</math>|| <math>\psi(\Omega_2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(1,1)</math> || <math>\psi(\Omega_2+\Omega)</math> | | <math>(0)(1,1)(2,2)(3,2)(1,1)</math>|| <math>\psi(\Omega_2+\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)</math> || <math>\psi(\Omega_2+\psi_1(0))</math> | | <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)</math>|| <math>\psi(\Omega_2+\psi_1(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,1)(4,2)</math> || <math>\psi(\Omega_2+\psi_1(\psi_1(0)))</math> | | <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,1)(4,2)</math>|| <math>\psi(\Omega_2+\psi_1(\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2))</math> | | <math>(0)(1,1)(2,2)(3,2)(1,1)(2,2)(3,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2)\times\omega)</math> | | <math>(0)(1,1)(2,2)(3,2)(2,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2)\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2)^2)</math> | | <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2)^2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2)^\omega)</math> | | <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2)^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,1)(4,2)(5,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2)^{\psi_1(\Omega_2)})</math> | | <math>(0)(1,1)(2,2)(3,2)(2,1)(3,2)(4,2)(3,1)(4,2)(5,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2)^{\psi_1(\Omega_2)})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+1))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+1))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\omega))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(3,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)\times\omega))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(3,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)\times\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)^\omega))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)^\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,1)(5,2)(6,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)^{\psi_1(\Omega_2)}))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,1)(5,2)(6,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2)^{\psi_1(\Omega_2)}))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+1)))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+1)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\omega)))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\omega)))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0)(5,1)(6,2)(7,2)</math> || <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2))))</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,1)(4,2)(5,2)(4,2)(5,0)(5,1)(6,2)(7,2)</math>|| <math>\psi(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2+\psi_1(\Omega_2))))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(2,2)(3,2)</math> || <math>\psi(\Omega_2\times2)</math> | | <math>(0)(1,1)(2,2)(3,2)(2,2)(3,2)</math>|| <math>\psi(\Omega_2\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(3,0)</math> || <math>\psi(\Omega_2\times\omega)</math> | | <math>(0)(1,1)(2,2)(3,2)(3,0)</math>|| <math>\psi(\Omega_2\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(3,1)(4,2)(5,2)</math> || <math>\psi(\Omega_2\times\psi_1(\Omega_2))</math> | | <math>(0)(1,1)(2,2)(3,2)(3,1)(4,2)(5,2)</math>|| <math>\psi(\Omega_2\times\psi_1(\Omega_2))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(3,2)</math> || <math>\psi(\Omega_2^2)</math> | | <math>(0)(1,1)(2,2)(3,2)(3,2)</math>|| <math>\psi(\Omega_2^2)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(4,0)</math> || <math>\psi(\Omega_2^\omega)</math> | | <math>(0)(1,1)(2,2)(3,2)(4,0)</math>|| <math>\psi(\Omega_2^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,2)(4,2)</math> || <math>\psi(\Omega_2^{\Omega_2})</math> | | <math>(0)(1,1)(2,2)(3,2)(4,2)</math>|| <math>\psi(\Omega_2^{\Omega_2})</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,3)</math> || <math>\psi(\psi_2(0))</math> | | <math>(0)(1,1)(2,2)(3,3)</math>|| <math>\psi(\psi_2(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,3)(4,3)</math> || <math>\psi(\Omega_3)</math> | | <math>(0)(1,1)(2,2)(3,3)(4,3)</math>|| <math>\psi(\Omega_3)</math> | ||
|- | |- | ||
| <math>(0)(1,1)(2,2)(3,3)(4,4)</math> || <math>\psi(\psi_3(0))</math> | | <math>(0)(1,1)(2,2)(3,3)(4,4)</math>|| <math>\psi(\psi_3(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)=(0)(1,1)(2,2)(3,3)\cdots</math> || <math>\psi(\Omega_\omega)</math> | | <math>(0)(1,1,1)=(0)(1,1)(2,2)(3,3)\cdots</math>|| <math>\psi(\Omega_\omega)</math> | ||
|} | |} | ||
第434行: | 第434行: | ||
! BMS !! MOCF | ! BMS !! MOCF | ||
|- | |- | ||
| <math>(0)(1,1,1)</math> || <math>\psi(\Omega_\omega)</math> | | <math>(0)(1,1,1)</math>|| <math>\psi(\Omega_\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)</math> || <math>\psi(\Omega_\omega+1)</math> | | <math>(0)(1,1,1)(1,1,0)</math>|| <math>\psi(\Omega_\omega+1)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,0,0)</math> || <math>\psi(\Omega_\omega+\omega)</math> | | <math>(0)(1,1,1)(1,1,0)(2,0,0)</math>|| <math>\psi(\Omega_\omega+\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,1,0)</math> || <math>\psi(\Omega_\omega+\Omega)</math> | | <math>(0)(1,1,1)(1,1,0)(2,1,0)</math>|| <math>\psi(\Omega_\omega+\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(0))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(2,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(1))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(2,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(1))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,0,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\omega))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,0,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,1,0)(4,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\psi_1(0)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,1,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,0,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2)\times\omega)</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,0,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2)\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,1,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2)^\omega)</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,1,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2)^\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2+1))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2+1))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,0,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2+\omega))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,0,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2+\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,1,0)(4,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2+\psi_1(0)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,1,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2+\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2\times2))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(2,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2\times2))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,0,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2\times\omega))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,0,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2\times\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2^2))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2^2))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(4,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_2^{\Omega_2}))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,2,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_2^{\Omega_2}))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\psi_2(0)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\psi_2(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)(4,4,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\psi_3(0)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,0)(3,3,0)(4,4,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\psi_3(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+1))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+1))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,0,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\omega))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,0,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(0)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)(5,3,0)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\psi_2(0))))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,0)(5,3,0)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\psi_2(0))))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,1)</math> || <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\Omega_\omega)))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,1,0)(4,2,1)</math>|| <math>\psi(\Omega_\omega+\psi_1(\Omega_\omega+\psi_1(\Omega_\omega)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega+\Omega_2)</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega+\Omega_2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,0)</math> || <math>\psi(\Omega_\omega+\psi_2(0))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,0)</math>|| <math>\psi(\Omega_\omega+\psi_2(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,3,0)</math> || <math>\psi(\Omega_\omega+\Omega_3)</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,3,0)</math>|| <math>\psi(\Omega_\omega+\Omega_3)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,4,0)</math> || <math>\psi(\Omega_\omega+\psi_3(0))</math> | | <math>(0)(1,1,1)(1,1,0)(2,2,1)(2,2,0)(3,3,1)(3,3,0)(4,4,0)</math>|| <math>\psi(\Omega_\omega+\psi_3(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(1,1,1)</math> || <math>\psi(\Omega_\omega\times2)</math> | | <math>(0)(1,1,1)(1,1,1)</math>|| <math>\psi(\Omega_\omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,0,0)</math> || <math>\psi(\Omega_\omega\times\omega)</math> | | <math>(0)(1,1,1)(2,0,0)</math>|| <math>\psi(\Omega_\omega\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega)</math> | | <math>(0)(1,1,1)(2,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega)</math> | ||
|} | |} | ||
==== 4: (0)(1,1,1)(2,1,0)~(0)(1,1,1)(2 | ==== 4: (0)(1,1,1)(2,1,0)~(0)(1,1,1)(2,1,1) ==== | ||
这一部分涉及到[[提升效应]]。 | 这一部分涉及到[[提升效应]]。 | ||
第508行: | 第508行: | ||
! BMS !! MOCF | ! BMS !! MOCF | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega)</math> | | <math>(0)(1,1,1)(2,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,0,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,0,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+1))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+1))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(0)))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(0)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,1)(5,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega)))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,1,0)(4,2,1)(5,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega+\psi_1(\Omega_\omega\times\Omega)))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\psi_2(0))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\psi_2(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)(3,3,0)(4,3,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_3)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,0)(3,3,1)(4,1,0)(3,3,0)(4,3,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_3)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(1,1,0)(2,2,1)(3,1,0)(2,2,1)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,0,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega)\times\omega)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,0,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega)\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega+1))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\psi_1(\Omega_\omega\times\Omega+\Omega_\omega+1))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)(3,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\Omega_2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,0)(3,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega+\Omega_2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,1)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(2,2,1)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,0,0)</math> || <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times\omega)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,0,0)</math>|| <math>\psi(\Omega_\omega\times\Omega+\Omega_\omega\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,1,0)</math> || <math>\psi(\Omega_\omega\times\Omega\times2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(2,2,1)(3,1,0)</math>|| <math>\psi(\Omega_\omega\times\Omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,0,0)</math> || <math>\psi(\Omega_\omega\times\Omega\times\omega)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,0,0)</math>|| <math>\psi(\Omega_\omega\times\Omega\times\omega)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,0)</math> || <math>\psi(\Omega_\omega\times\psi_1(0))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,0)</math>|| <math>\psi(\Omega_\omega\times\psi_1(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)</math> || <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)</math>|| <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)</math> || <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)</math>|| <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)</math> || <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)</math>|| <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega+\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)(5,1,0)</math> || <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega\times2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(4,2,1)(5,1,0)</math>|| <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\Omega\times2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(6,2,1)</math> || <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\psi_1(\Omega_\omega))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(4,2,1)(5,1,0)(6,2,1)</math>|| <math>\psi(\Omega_\omega\times\psi_1(\Omega_\omega\times\psi_1(\Omega_\omega))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)</math> || <math>\psi(\Omega_\omega\times\Omega_2)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)</math>|| <math>\psi(\Omega_\omega\times\Omega_2)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,2,0)(5,3,0)</math> || <math>\psi(\Omega_\omega\times\psi_2(0))</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,2,0)(5,3,0)</math>|| <math>\psi(\Omega_\omega\times\psi_2(0))</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)</math> || <math>\psi(\Omega_\omega\times\Omega_3)</math> | | <math>(0)(1,1,1)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(2,2,0)(3,3,1)(4,3,0)</math>|| <math>\psi(\Omega_\omega\times\Omega_3)</math> | ||
|- | |- | ||
| <math>(0)(1,1,1)(2,1,0)(1,1,1)</math> || <math>\psi(\Omega_\omega^2)</math> | | <math>\color{red}{(0)(1,1,1)(2,1,0)(1,1,1)}</math>|| <math>\color{red}\psi(\Omega_\omega^2)</math> | ||
|- | |||
|<math>(0)(1,1,1)(2,1,0)(1,1,1)(2,1,0)(1,1,1)</math> | |||
|<math>\psi(\Omega_\omega^2\times2)</math> | |||
|- | |||
|<math>(0)(1,1,1)(2,1,0)(2,0,0)</math> | |||
|<math>\psi(\Omega_\omega^2\times\omega)</math> | |||
|- | |||
|<math>(0)(1,1,1)(2,1,0)(2,1,0)</math> | |||
|<math>\psi(\Omega_\omega^2\times\Omega)</math> | |||
|- | |||
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)</math> | |||
|<math>\psi(\Omega_\omega^2\times\Omega+\psi_1(\Omega_\omega))</math> | |||
|- | |||
|<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,1,0)(3,1,0)(2,2,1)</math> | |||
|<math>\psi(\Omega_\omega^2\times\Omega+\Omega_\omega^2)</math> | |||
|} | |} | ||
<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(3,2,0)=\psi(\Omega_\omega^2\times\Omega_2)</math> | |||
<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,0)(2,2,1)(3,2,0)(3,2,0)(2,2,0)(3,3,1)(4,3,0)(4,3,0)=\psi(\Omega_\omega^2\times\Omega_3)</math> | |||
<math>(0)(1,1,1)(2,1,0)(2,1,0)(1,1,1)=\psi(\Omega_\omega^3)</math> | |||
<math>(0)(1,1,1)(2,1,0)(2,1,0)(2,1,0)(1,1,1)=\psi(\Omega_\omega^4)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,0,0)=\psi(\Omega_\omega^\omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,1,0)=\psi(\Omega_\omega^\Omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,1,0)(1,1,1)=\psi(\Omega_\omega^{\Omega_\omega})</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,1,0)(4,1,0)(1,1,1)=\psi(\Omega_\omega^{\Omega_\omega^{\Omega_\omega}})</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)=\psi(\psi_\omega(0))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)=\psi(\psi_\omega(0)+\Omega_\omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(1,1,1)(2,1,0)(3,2,0)=\psi(\psi_\omega(0)\times2)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,0,0)=\psi(\psi_\omega(0)\times\omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0)=\psi(\psi_\omega(0)\times\Omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(2,1,0)(3,2,0)=\psi(\psi_\omega(0)^2)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,0,0)=\psi(\psi_\omega(0)^\omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)=\psi(\psi_\omega(0)^\Omega)</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0)=\psi(\psi_\omega(0)^{\psi_\omega(0)})</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,1,0)(4,2,0)(4,1,0)(5,2,0)=\psi(\psi_\omega(0)^{\psi_\omega(0)^{\psi_\omega(0)}})</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)=\psi(\psi_\omega(1))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(3,2,0)(3,2,0)=\psi(\psi_\omega(2))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,0,0)=\psi(\psi_\omega(\omega))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0)=\psi(\psi_\omega(\Omega))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,1,0)(5,2,0)=\psi(\psi_\omega(\psi_\omega(0)))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)=\psi(\Omega_{\omega+1})</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(1,1,1)(2,1,1)(3,2,0)(4,2,0)=\psi(\Omega_{\omega+1}+\psi_\omega(\Omega_{\omega+1}))</math> | |||
<math>(0)(1,1,1)(2,1,0)(3,2,0)(4,2,0)(3,2,0)(4,2,0)=\psi(\Omega_{\omega+1}\times2)</math> | |||
[[分类:分析]] | [[分类:分析]] |
2025年7月10日 (四) 16:34的版本
目前使用的OCF为M型,后续补充BOCF
1:单行BMS(PrSS)
2:双行BMS
BMS | Veblen | MOCF |
---|---|---|
BMS | MOCF |
---|---|
3:三行BMS (0)(1,1,1)~(0)(1,1,1)(2,1,0)
三行之后BMS的行为复杂度急剧上升,因此部分节点的分析可能不会较为详细。
BMS | MOCF |
---|---|
4: (0)(1,1,1)(2,1,0)~(0)(1,1,1)(2,1,1)
这一部分涉及到提升效应。
BMS | MOCF |
---|---|