打开/关闭搜索
搜索
打开/关闭菜单
266
76
76
3055
Googology Wiki
导航
首页
最近更改
随机页面
特殊页面
上传文件
打开/关闭外观设置菜单
通知
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。
user-interface-preferences
个人工具
创建账号
登录
查看“︁PPS分析Part4”︁的源代码
来自Googology Wiki
分享此页面
查看
阅读
查看源代码
查看历史
associated-pages
页面
讨论
更多操作
←
PPS分析Part4
因为以下原因,您没有权限编辑该页面:
您请求的操作仅限属于这些用户组的用户执行:
用户
、
评审员
您可以查看和复制此页面的源代码。
{| class="wikitable" |PPS |康托范式 |- |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) |- |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,18,9,3,0,0,35,18,9,3,0,53 |ε_ε_ε_ε_(ε_ε_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,42,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,35,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,35,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,35,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,36 |ε_ε_ε_ε_(ω^(ε_ε_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,36,9,3,0,0,35,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,36,9,3,0,0,35,18,9,3,0,50,0,47 |ε_ε_ε_ε_(ω^(ε_ε_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,36,9,3,0,0,35,18,9,3,0,50,0,47,18,9,3,0,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,36,9,3,0,0,35,18,9,3,0,50,0,47,18,9,3,0,54 |ε_ε_ε_ε_(ω^(ε_ε_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,36,9,3,0,0,35,18,9,3,0,50,0,47,18,9,3,0,55 |ε_ε_ε_ε_(ω^(ε_ε_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,36,9,3,0,0,35,18,9,3,0,50,0,47,18,9,3,0,57 |ε_ε_ε_ε_(ω^(ε_ε_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,36,9,3,0,0,35,18,9,3,0,50,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,36,9,3,0,0,36 |ε_ε_ε_ε_(ω^(ω^(ε_ε_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,36,9,3,0,42 |ε_ε_ε_ε_ε_(ε_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,36,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,36,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,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,38,0,37 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48,0,46 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48,0,46,9,3,0,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,37,3,0,0,36,9,3,0,48,0,46,9,3,0,52 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48,0,46,9,3,0,54 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48,0,46,9,3,0,54,0,46,9,3,0,60 |ε_ε_ε_ε_ε_(ω^(ε_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,37,3,0,0,36,9,3,0,48,0,47 |ε_ε_ε_ε_ε_(ω^(ω^(ε_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,37,3,0,0,37 |ε_ε_ε_ε_ε_(ω^(ω^(ε_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,37,3,0,42 |ε_ε_ε_ε_ε_ε_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,37,3,0,43 |ε_ε_ε_ε_ε_ε_(ω^ω) |- |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,38 |ε_ε_ε_ε_ε_ε_(ω^(ω+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,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,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,39,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,39,29,18,9,3,0,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,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,39,29,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,19,3,0,0,3,0,28,18,9,3,0,33,29,18,9,3,0,39,29,18,9,3,0,40,29,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,29,18,9,3,0,39,29,18,9,3,0,41 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_ε_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,39,29,18,9,3,0,42 |ε_ε_ε_(ω^(ω^(ω^(ε_ε_ε_ε_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,39,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,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,19,3,0,0,3,0,28,18,9,3,0,33,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,49 |ε_ε_(α+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50 |ε_ε_(α+ω^ω) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,0,0,10,0,58 |ε_ε_(α+ω^ω×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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,0,49 |ε_ε_(α+ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,0,49,0,57 |ε_ε_(α+ω^(ω^ω)) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,0,50 |ε_ε_(α+ω^(ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,0,50,9,3,0,0,50 |ε_ε_(α+ω^(ω^(ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51 |ε_ε_(α+ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51,9,3,0,0,49,0,61,9,3,0,62 |ε_ε_(α+ω^(ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51,9,3,0,0,50 |ε_ε_(α+ω^(ω^(ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51,9,3,0,0,50,9,3,0,0,50 |ε_ε_(α+ω^(ω^(ω^(ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51,9,3,0,0,50,9,3,0,60 |ε_ε_(α+ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,51,9,3,0,51 |ε_ε_(α+ε_ω) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,52 |ε_ε_(α+ε_(ω^ω)) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,52,3,0,51 |ε_ε_(α+ε_(ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,52,3,0,52 |ε_ε_(α+ε_(ω^(ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,53 |ε_ε_(α+ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,53,0,52,3,0,57 |ε_ε_(α+ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,53,0,52,3,0,58 |ε_ε_(α+ε_ε_(ω^ω)) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,53,0,53 |ε_ε_(α+ε_ε_(ω^(ω+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54 |ε_ε_(α+ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,0,50,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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,3,0,62,0,50,9,3,0,65 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,3,0,62,0,50,9,3,0,68 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,3,0,62,0,50,9,3,0,68,65 |ε_ε_(α+ε_(ω^(ε_ε_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,19,3,0,0,3,0,28,18,9,3,0,33,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,3,0,62,51 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,3,0,62,51,9,3,0,0,3,0,70,51 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,54 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,54,51 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,54,51,9,3,0,0,3,0,68,51,9,3,0,0,68 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,0,54,51,9,3,0,0,54 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,55 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,55,51,9,3,0,0,54,51,9,3,0,66 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,55,51,9,3,0,55 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,56,9,3,0,56 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,57 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,58 |ε_ε_(α+ε_(ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59 |ε_ε_(α+ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,49,0,63,9,3,0,67,64,9,3,0,72 |ε_ε_(α+ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50 |ε_ε_(α+ω^(ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,62 |ε_ε_(α+ε_(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65 |ε_ε_(α+ε_(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,0,3,0,73,62 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,0,65 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,66 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,67 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,68 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,0,50,9,3,0,65,62,9,3,0,70 |ε_ε_(α+ε_(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,0,59,0,50,9,3,0,71,68,9,3,0,76,68 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,19,3,0,0,3,0,28,18,9,3,0,33,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,0,59,51 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,60 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,61 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,62 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,0,50,9,3,0,70 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,0,50,9,3,0,70,67,9,3,0,75,67 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_0×2))×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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,0,50,9,3,0,70,67,9,3,0,75,67,9,3,0,0,75,67 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_0×2)+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,0,50,9,3,0,70,67,9,3,0,75,67,9,3,0,76 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,0,50,9,3,0,70,67,9,3,0,75,67,9,3,0,80 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,51 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_0×2+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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,51,9,3,0,59,51,9,3,0,64,51,9,3,0,69 |ε_ε_(α+ε_(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,0,3,0,70,51,9,3,0,75 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,0,61 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,19,3,0,0,3,0,28,18,9,3,0,33,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,0,61,51,9,3,0,73,0,61 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,76 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,77 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,78 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,80 |ε_ε_(α+ε_(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,80,76 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,80,76,51,9,3,0,0,3,0,89,76 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,0,61,51,9,3,0,80,76,51,9,3,0,0,80 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,0,66,62 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,67 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,68 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,69 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,70 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,71 |ε_ε_(α+ε_(ω^(ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,62,51,9,3,0,72 |ε_ε_(α+ε_ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,0,10,0,50,9,3,0,54,52,3,0,0,3,0,61,51,9,3,0,66,63 |ε_ε_(α×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,30,9,3,0,0,3,0,41,0,3,0,45,0,16 |ε_ε_(ω^(α+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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,48 |ε_ε_ε_(β+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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,49 |ε_ε_ε_(β+ω^ω) |- |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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,50 |ε_ε_ε_(β+ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51 |ε_ε_ε_(β+ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,0,17,9,3,0,57 |ε_ε_ε_(β+ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,0,3,0,59,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,0,51 |ε_ε_ε_(β+ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,0,51,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,52 |ε_ε_ε_(β+ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,53 |ε_ε_ε_(β+ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,54 |ε_ε_ε_(β+ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,9,3,0,55 |ε_ε_ε_(β+ω^(ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,48,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63 |ε_ε_ε_(β+ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,0,3,0,67,48,9,3,0,72 |ε_ε_ε_(β+ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,0,58 |ε_ε_ε_(β+ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,0,58,48,9,3,0,0,58 |ε_ε_ε_(β+ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,0,58,48,9,3,0,70 |ε_ε_ε_(β+ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,59 |ε_ε_ε_(β+ω^(ω^(ω^(ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,59,48,9,3,0,69 |ε_ε_ε_(β+ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,60 |ε_ε_ε_(β×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,30,9,3,0,0,3,0,41,0,3,0,45,0,17,9,3,0,51,49,3,0,0,3,0,58,48,9,3,0,63,60,9,3,0,0,3,0,71,0,3,0,75,0,17,9,3,0,81,79,3,0,0,3,0,88,78,9,3,0,93,90 |ε_ε_ε_(β×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,30,9,3,0,0,3,0,41,0,3,0,45,18 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,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,21,19,3,0,0,3,0,28,18,9,3,0,33,30,9,3,0,0,3,0,41,29 |ε_ε_ε_(ω^(ω^(ω^(ω^(ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,29,18,9,3,0,47,42,29,18,9,3,0,54 |ε_ε_ε_ε_ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,29,18,9,3,0,47,43,18,9,3,0,0,3,0,56,42,29,18,9,3,0,63,57,42,29,18,9,3,0,71 |ε_ε_ε_ε_ε_ε_ε_ε_ε_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,30,9,3,0,0,3,0,41,29,18,9,3,0,47,43,18,9,3,0,0,3,0,56,42,29,18,9,3,0,63,58,29,18,9,3,0,0,3,0,73,57,42,29,18,9,3,0,81,74,57,42,29,18,9,3,0,90 |ε_ε_ε_ε_ε_ε_ε_ε_ε_ε_0 |- |Limit |ζ_0 |}
返回
PPS分析Part4
。
查看“︁PPS分析Part4”︁的源代码
来自Googology Wiki