打开/关闭搜索
搜索
打开/关闭菜单
266
76
76
3055
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁PPS分析Part3”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
PPS分析Part3
因为以下原因,您没有权限编辑该页面:
您请求的操作仅限属于这些用户组的用户执行:
用户
、
评审员
您可以查看和复制此页面的源代码。
{| class="wikitable" |PPS |康托范式 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,17 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,17,3,0,22 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,17,3,0,23 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,18,0,18 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ω^(ω+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,0,4,3,0,24 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,0,3,0,26,0,4 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+1)+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,0,3,0,26,17 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,0,19 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,20 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,21 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0+ω^(ω^ω))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,22 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_0×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,23 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ε_ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,23,17 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,17,3,0,23,17,3,0,27 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))+ω^(ε_ε_0×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,0,4,3,0,19,18 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1))×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,0,9,3,0,23 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+ε_0×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,16 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+ω^(ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,16,3,0,22 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+ε_ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,16,3,0,22,16 |ε_(ω^(ω^(ω^(ω^(ε_ε_0+1)+ω^(ε_ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,16,3,0,22,16,3,0,26 |ε_(ω^(ω^(ω^(ω^(ε_ε_0×2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,17 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,9,3,0,18,17,0,0,9,3,0,25,24 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1))×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)+ω^(ω^(ε_ε_0+1)) )))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20,0,0,19 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)+ω^(ω^(ε_ε_0+1)+1) )))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20,0,0,19,3,0,0,19 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20,0,0,19,3,0,28 |ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+ε_0))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20,0,0,19,3,0,28,27 |ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,9,3,0,21,20,0,0,20 |ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,0,10 |ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_0+1)+1)+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,16 |ε_ε_(ε_0+1) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,16,0,0,10,0,21 |ε_ε_(ε_0+2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,16,0,16 |ε_ε_(ε_0+ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17 |ε_ε_(ε_0+ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,0,10,0,25 |ε_ε_(ε_0+ω^ω×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16 |ε_ε_(ε_0+ω^(ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,0,16 |ε_ε_(ε_0+ω^(ω+2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,23 |ε_ε_(ε_0+ω^(ω×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24 |ε_ε_(ε_0+ω^(ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,0,10,0,32 |ε_ε_(ε_0+ω^(ω^ω)+ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,0,10,0,32,9,3,0,0,31 |ε_ε_(ε_0+ω^(ω^ω)+ω^(ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,0,10,0,32,9,3,0,0,31,0,39 |ε_ε_(ε_0+ω^(ω^ω)×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,16 |ε_ε_(ε_0+ω^(ω^ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,16,0,30 |ε_ε_(ε_0+ω^(ω^ω+ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,16,0,24,9,3,0,0,16,0,31 |ε_ε_(ε_0+ω^(ω^ω×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17 |ε_ε_(ε_0+ω^(ω^(ω+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16 |ε_ε_(ε_0+ω^(ω^(ω+1)+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29 |ε_ε_(ε_0+ω^(ω^(ω+1)+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,28 |ε_ε_(ε_0+ω^(ω^(ω+1)+ω^(ω+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,28,0,0,28 |ε_ε_(ε_0+ω^(ω^(ω+2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,28,0,35 |ε_ε_(ε_0+ω^(ω^(ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,28,0,36 |ε_ε_(ε_0+ω^(ω^(ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,28,0,36,9,3,0,0,28,0,43 |ε_ε_(ε_0+ω^(ω^(ω^ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,29 |ε_ε_(ε_0+ω^(ω^(ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,16,0,29,9,3,0,0,29,9,3,0,0,16,0,41,9,3,0,0,41 |ε_ε_(ε_0+ω^(ω^(ω^(ω+1))×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,0,17,9,3,0,0,17 |ε_ε_(ε_0+ω^(ω^(ω^(ω+1)+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18 |ε_ε_(ε_0×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,0,10,0,29,9,3,0,30 |ε_ε_(ε_0×3) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,16 |ε_ε_(ω^(ε_0+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,16,0,28 |ε_ε_(ω^(ε_0+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,16,0,28,9,3,0,29 |ε_ε_(ω^(ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17 |ε_ε_(ω^(ω^(ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34 |ε_ε_(ω^(ω^(ε_0+1)+ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,32 |ε_ε_(ω^(ω^(ε_0+1)+ω^(ε_0+1) )) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,32,0,0,32 |ε_ε_(ω^(ω^(ε_0+2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,32,0,44 |ε_ε_(ω^(ω^(ε_0+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,32,0,44,9,3,0,45 |ε_ε_(ω^(ω^(ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,32,0,44,9,3,0,45,9,3,0,0,32,0,55,9,3,0,56 |ε_ε_(ω^(ω^(ε_0×3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,33 |ε_ε_(ω^(ω^(ω^(ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,16,0,33,9,3,0,34,9,3,0,0,33,9,3,0,0,16,0,49,9,3,0,50,9,3,0,0,49 |ε_ε_(ω^(ω^(ω^(ε_0+1))×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,0,17 |ε_ε_(ω^(ω^(ω^(ε_0+1)+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,27 |ε_ε_ε_1 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,0,17,9,3,0,27,9,3,0,0,17,9,3,0,36 |ε_ε_ε_2 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,18,9,3,0,18 |ε_ε_ε_ω |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,19 |ε_ε_ε_(ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20 |ε_ε_ε_ε_0 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,0,17,9,3,0,25 |ε_ε_ε_(ε_0+1) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,0,17,9,3,0,27 |ε_ε_ε_(ε_0×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,18 |ε_ε_ε_(ω^(ε_0+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,18,9,3,0,0,18 |ε_ε_ε_(ω^(ε_0+2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,18,9,3,0,25 |ε_ε_ε_(ω^(ε_0+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,18,9,3,0,26 |ε_ε_ε_(ω^(ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,18,9,3,0,26,0,18,9,3,0,32 |ε_ε_ε_(ω^(ε_0×3)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19 |ε_ε_ε_(ω^(ω^(ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30 |ε_ε_ε_(ω^(ω^(ε_0+1)+ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,28 |ε_ε_ε_(ω^(ω^(ε_0+1)+ω^(ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,28,9,3,0,0,28 |ε_ε_ε_(ω^(ω^(ε_0+2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,28,9,3,0,35 |ε_ε_ε_(ω^(ω^(ε_0+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,28,9,3,0,36 |ε_ε_ε_(ω^(ω^(ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,29 |ε_ε_ε_(ω^(ω^(ω^(ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,18,9,3,0,30,0,29,3,0,0,18,9,3,0,40,0,39 |ε_ε_ε_(ω^(ω^(ω^(ε_0+1))×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,0,19 |ε_ε_ε_(ω^(ω^(ω^(ε_0+1)+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,24 |ε_ε_ε_ε_1 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,24,3,0,0,19,3,0,31 |ε_ε_ε_ε_2 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,24,3,0,24 |ε_ε_ε_ε_ω |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,25 |ε_ε_ε_ε_(ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,19,3,0,25,0,19,3,0,30 |ε_ε_ε_ε_(ω^ω×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20 |ε_ε_ε_ε_(ω^(ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,19,3,0,27 |ε_ε_ε_ε_(ω^(ω+1)+ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,19,3,0,27,0,26 |ε_ε_ε_ε_(ω^(ω+1)×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,19,3,0,27,0,26,3,0,0,26 |ε_ε_ε_ε_(ω^(ω+2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,19,3,0,27,0,26,3,0,32 |ε_ε_ε_ε_(ω^(ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,19,3,0,27,0,27 |ε_ε_ε_ε_(ω^(ω^(ω+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,20,0,20,0,20 |ε_ε_ε_ε_(ω^(ω^(ω+1)+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21 |ε_ε_ε_ε_ε_0 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,0,17,9,3,0,27 |ε_ε_ε_(ε_ε_0×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18 |ε_ε_ε_(ω^(ε_ε_0+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,3,0,29,18 |ε_ε_ε_(ω^(ε_ε_0+2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,21 |ε_ε_ε_(ω^(ε_ε_0+ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,21,18 |ε_ε_ε_(ω^(ε_ε_0+ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,21,18,9,3,0,0,3,0,35,18,9,3,0,0,35 |ε_ε_ε_(ω^(ε_ε_0+ω×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,21,18,9,3,0,0,3,0,35,18,9,3,0,0,35,18,9,3,0,0,3,0,49,18,9,3,0,0,49 |ε_ε_ε_(ω^(ε_ε_0+ω×3)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,0,21,18,9,3,0,0,21 |ε_ε_ε_(ω^(ε_ε_0+ω^2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22 |ε_ε_ε_(ω^(ε_ε_0+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,3,0,34,18,9,3,0,0,34 |ε_ε_ε_(ω^(ε_ε_0+ω^ω+ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,3,0,34,18,9,3,0,35 |ε_ε_ε_(ω^(ε_ε_0+ω^ω×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,21 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,21,18,9,3,0,0,3,0,40,18,9,3,0,41,18,9,3,0,0,40 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω+1)×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,21,18,9,3,0,0,21 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω+2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,21,18,9,3,0,33 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,0,21,18,9,3,0,33,18,9,3,0,0,21,18,9,3,0,44 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω×3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,22 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,22,18,9,3,0,22,18,9,3,0,22 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,0,21,18,9,3,0,32 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^ω+ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,0,21,18,9,3,0,33 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,22 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,22,18,9,3,0,0,0,21,18,9,3,0,39,9,3,0,38 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω+1)×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,22,18,9,3,0,0,22 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,22,18,9,3,0,32 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,22,18,9,3,0,32,9,3,0,22,18,9,3,0,41 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω^ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,23,9,3,0,23 |ε_ε_ε_(ω^(ε_ε_0+ω^(ω^(ω^(ω+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,24 |ε_ε_ε_(ω^(ε_ε_0+ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,24,3,0,23,9,3,0,30 |ε_ε_ε_(ω^(ε_ε_0+ε_1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,24,3,0,23,9,3,0,31 |ε_ε_ε_(ω^(ε_ε_0+ε_(ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,24,3,0,24 |ε_ε_ε_(ω^(ε_ε_0+ε_(ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25 |ε_ε_ε_(ω^(ε_ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,3,0,31,18,9,3,0,0,31 |ε_ε_ε_(ω^(ε_ε_0×2+ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,3,0,31,18,9,3,0,32 |ε_ε_ε_(ω^(ε_ε_0×2+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,3,0,31,18,9,3,0,33 |ε_ε_ε_(ω^(ε_ε_0×2+ω^(ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,3,0,31,18,9,3,0,35 |ε_ε_ε_(ω^(ε_ε_0×3)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21 |ε_ε_ε_(ω^(ω^(ε_ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,30 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,0,21,18,9,3,0,41 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,30 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,30,18,9,3,0,0,30 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^(ω+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,30,18,9,3,0,39 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^(ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,30,18,9,3,0,40 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^(ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,31,9,3,0,31 |ε_ε_ε_(ω^(ω^(ε_ε_0+ω^(ω^(ω+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,32 |ε_ε_ε_(ω^(ω^(ε_ε_0+ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,0,21,18,9,3,0,33 |ε_ε_ε_(ω^(ω^(ε_ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,29 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,0,22,18,9,3,0,40 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^ω×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,29 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^(ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,29,18,9,3,0,0,29 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^(ω+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,29,18,9,3,0,38 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^(ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,29,18,9,3,0,39 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^(ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,30,9,3,0,30 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ω^(ω^(ω+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,31 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0+ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,32 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,22,18,9,3,0,32,0,22,18,9,3,0,39 |ε_ε_ε_(ω^ω^(ω^(ε_ε_0×3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,36 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+1)+ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+1)+ε_ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37,0,34 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+1)+ω^(ε_ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37,0,34,18,9,3,0,0,34 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37,0,34,18,9,3,0,43 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0+ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37,0,34,18,9,3,0,44 |ε_ε_ε_(ω^ω^(ω^(ω^(ε_ε_0×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,22,18,9,3,0,37,0,35 |ε_ε_ε_(ω^ω^(ω^(ω^(ω^(ε_ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,0,23 |ε_ε_ε_(ω^ω^(ω^(ω^(ω^(ε_ε_0+1)+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,29 |ε_ε_ε_ε_(ε_0+1) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,30 |ε_ε_ε_ε_(ε_0+ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,23,9,3,0,31 |ε_ε_ε_ε_(ε_0×2) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24 |ε_ε_ε_ε_(ω^(ε_0+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,0,23,9,3,0,35,0,33,9,3,0,0,33 |ε_ε_ε_ε_(ω^(ε_0+2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,0,23,9,3,0,35,0,33,9,3,0,41 |ε_ε_ε_ε_(ω^(ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,0,23,9,3,0,35,0,34 |ε_ε_ε_ε_(ω^(ω^(ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,0,24 |ε_ε_ε_ε_(ω^(ω^(ε_0+1)+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,29 |ε_ε_ε_ε_ε_1 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,24,3,0,30 |ε_ε_ε_ε_ε_(ω^ω) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,25,0,25 |ε_ε_ε_ε_ε_(ω^(ω+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26 |ε_ε_ε_ε_ε_ε_0 |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18 |ε_ε_ε_(ω^(ε_ε_ε_0+1)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18,9,3,0,27 |ε_ε_ε_(ω^(ε_ε_ε_0+ω^ω)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18,9,3,0,29 |ε_ε_ε_(ω^(ε_ε_ε_0+ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18,9,3,0,30 |ε_ε_ε_(ω^(ε_ε_ε_0+ε_ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18,9,3,0,31 |ε_ε_ε_(ω^(ε_ε_ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,18,9,3,0,26,18,9,3,0,31,18,9,3,0,36 |ε_ε_ε_(ω^(ε_ε_ε_0×3)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+1)+ε_ε_ε_0)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,3,0,37,18,9,3,0,42 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+1)+ε_ε_ε_0×2)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+1)+ω^(ε_ε_ε_0+1))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,0,3,0,43,18,9,3,0,48,0,43 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+1)×3)) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,0,28 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,36 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,37 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+ω^ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,38 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,39 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0+ε_ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,40 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0×2))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,0,28,18,9,3,0,40,0,28,18,9,3,0,47 |ε_ε_ε_(ω^(ω^(ε_ε_ε_0×3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,0,28,18,9,3,0,45 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+1)+ω))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,0,28,18,9,3,0,49 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+1)+ε_ε_ε_0))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,0,28,18,9,3,0,49,45 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+1)+ω^(ε_ε_ε_0+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,0,28,18,9,3,0,49,45,18,9,3,0,0,3,0,58,0,28,18,9,3,0,65,61 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+1)×3))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,29 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,3,0,42,29,18,9,3,0,0,3,0,51,29 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+3)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,33 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,33,29 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω+1)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,33,29,18,9,3,0,0,3,0,49,29,18,9,3,0,0,49 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,0,33,29,18,9,3,0,0,33 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,0,3,0,48,29,18,9,3,0,0,48 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^ω+ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,0,3,0,48,29,18,9,3,0,49 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^ω×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,0,33 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^(ω+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,0,33,29,18,9,3,0,0,33 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^(ω+2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,0,33,29,18,9,3,0,47 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^(ω×2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,34,29,18,9,3,0,34 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^(ω^2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,35 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ω^(ω^ω))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,36 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,37 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0+ε_ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0×2)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,3,0,44,29,18,9,3,0,0,44 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0×2+ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,3,0,44,29,18,9,3,0,45 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0×2+ω^ω)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,3,0,44,29,18,9,3,0,47 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0×2+ε_0)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,3,0,44,29,18,9,3,0,49 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_0×3)))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+1))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,43 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,43,29,18,9,3,0,0,33,29,18,9,3,0,56 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω×2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,43,29,18,9,3,0,43 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω^2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,44 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω^ω))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,45 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0+ε_0))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,0,33,29,18,9,3,0,47 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_0×2))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,0,34 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+2)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,42 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,42,29,18,9,3,0,42 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω^2)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,43 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω^ω)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,44 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ε_0)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,34,29,18,9,3,0,46 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0×2)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+1)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,48 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+ω)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,49 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+ω^ω)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,50 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+ε_0)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+ε_ε_ε_0)))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+ω^(ε_ε_ε_0+1))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48,29,18,9,3,0,0,48 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+2))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48,29,18,9,3,0,56 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48,29,18,9,3,0,57 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ω^ω))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48,29,18,9,3,0,58 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+ε_0))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,48,29,18,9,3,0,60 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0×2))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,34,29,18,9,3,0,52,0,49 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,0,35 |ε_ε_ε_(ω^(ω^(ω^(ω^(ω^(ω^(ω^(ε_ε_ε_0+1)+1))))))) |- |0,1,0,2,0,4,4,3,0,4,3,0,11,10,0,0,10,0,17,9,3,0,21,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,35,18,9,3,0,42 |ε_ε_ε_ε_(ε_ε_0+1) |}
返回
PPS分析Part3
。
查看“︁PPS分析Part3”︁的源代码
来自Googology Wiki