%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%% http://www.research.att.com/~njas/sequences/A089840p.txt%%%% %%%%一组Prolog-definitions说明了第一行如何%%%%生产A089840的。%%%% %%%%作者：Antti Karttunen，2003年，http://www.iki.fi/kartturi/ %%%% %%%%AK于2007年5月22日最后编辑。%%%% %%%%这（至少）适用于GNU prolog版本1.2.16%%%%（版权所有（C）1999-2002 Daniel Diaz）%%%%请参见：http://www.gnu.org/software/prolog %%%% %%%%加载方式：%%%%查阅（'./A089840p.txt'）。%%%%然后“执行”：%%%%findall（[G|S]，签名术语（G，64，S），GMs_with_ther_sigperms）。%%%%或：findall（[G|S]，签名术语（G，196，S），GMs_with_their_sigperms）。%%%% %%%%有关这些相同自同构的C实现，请参见：%%%%来自http://www.research.att.com/~njas/sequences/a089839.c.txt%%%% %%%%有关方案实施，请参阅：%%%%http://www.iki.fi/kartturi/matikka/Nekomorphisms/gatomorf.htm %%%% %%%%如果您有任何建议或问题，可以发送给我%%%%到我的地址.@gmail.com%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%定义：%%“非递归加泰罗尼亚自同构”是%未标记的有根平面二叉树（参见A014486），其行为%总是，无论树有多大，都由%从位于的有限节点集获得的信息%与根的距离恒定且有限。%请注意，节点包含的唯一信息（未标记）%是叶子（终端节点）还是%“内部”节点，分支到左边的子树和/或%右边。%%非递归Catalan自同构的子句表示是%零个或多个“子句”后跟默认子句的序列。%%从组合的角度来看，一个由n个开头词组成的子句包括%一对有根平面二叉树（均具有n个内部节点），%其中另一个未标记，另一个的终端%节点已标记。序列A089835（n）=（A000108（n）^2）*（n+1）！%给出了此类子句的数量。%%在这个Prolog实现中，“子句”实际上是Prolog子句%（又名“规则”）其主体是连词查询，%定义如下。%双向“cons”是一个条款，要么“分裂”现有的%cons单元（即二叉树的分支节点，其左侧和%右侧），或从给定的左侧和右侧构造新的%子树：cons（CAR、CDR、[CAR|CDR]）。%即：如果第一个和第二个参数被实例化，%构建一个新的cons单元（放置在第三个，%未实例化参数），将CAR作为其左子树，%以及CDR作为其右子树。%如果第一个和第二个参数未实例化，%但第三个是实例化的，然后获取它的%左侧（CAR）和右侧（CDR），并放置%将它们转换为第一个和第二个参数。%下面是简单的非递归自同构的例子。%来自每个（在平凡的身份置换gma001477之后）%我们列出它%定义CLAUSE-sequence结构%来自http://www.research.att.com/~njas/sequences/a089839.c.txt%%它对Lisp/Scheme点对的影响，%%在有根平面上用简单的ASCII图形表示的二叉树，%%以及它定义的Prolog-clause定义，故意使用红色剪切。%“开场”意见在%--评论行上方给出，%和它下面的“结束”。%%每个Prolog-definition都以“catch-all”缺省子句结尾%格式为gmaxxxxx（X，X）。它将修复所有这些S表达式%之前的任何条款（即上面的条款）都没有对其进行处理。%子句序列中每个非缺省子句的四个数字%指树的大小（打开（关闭）的内部节点数），%源树的本地等级，%目标树的本地等级，%目标树标签中使用的置换的秩。%源树和目标树的等级采用标准%OEIS条目A014486中使用的词典排序顺序。%对于排列，我们使用如图所示的取消排序/排名系统%OEIS中的条目A060118，其工作原理如下：%（置换-a060118（矢量‘a’b’c）3 0）-->#（a b c）%（永久-a060118（向量“a”b“c）3 1）-->#（b a c）%（永久-a060118（向量“a”b“c）3 2）-->#（a c b）%（永久-a060118（矢量‘a’b’c）3 3）-->#（b c a）%（永久-a060118（矢量'a'b'c）3 4）-->#（c b a）%（永久-a060118（向量“a”b“c）3 5）-->#（c a b）%另请参见：网址：http://www.iki.fi/~kartturi/matikka/Nekomorphisms/gatogenp.scm%对于每一个非递归Catalan自同构，都存在%唯一的最小子句表示%该自同构的可能子句表示%是“最小”子句序列，其中总顺序%子句序列的定义如下：%%A）所有子句序列都有一个关联的整数%（请参见a089839.c.txt中的宏CLAUSESEQ_binxp），其%二进制展开的运行长度决定了%条款及其大小。%具有不同值的两个子句序列%值较小的整数也“小于”%在这种情况下。最不重要的运行长度%二进制展开的末尾对应于%最重要的子句，反之亦然。%%例如从103开始，其二进制展开为1100111%我们从最多的%重要到最不重要的条款。%类似地，从二进制展开式为1111100的124开始，%我们得到两个子句，更重要的是%两个内部节点的二叉树%显著，具有5个内部节点的二叉树。%%B）子句序列的“最显著子句”%与相同的其他子句序列相关%size是最重要的子句，与%另一个子句序列中的相应子句。%这里最重要的条款是指%首先执行，最不重要的是%最后应用于默认标识子句之前，%如果没有前面的“更重要”条款%匹配。如果没有这样的区分条款，%那么这两个子句序列是相同的。%%C）如果上述条件不能确定关系%两个子句序列（按此总顺序）%那么“leser”子句序列就是%最区别子句中使用的源二叉树%更接近序列A014486的开头。%（即根据%建立了未标记有根平面二叉树的排序）。%%D）如果上述条件不能确定关系%两个子句序列的总顺序%那么“leser”子句序列就是%最具区别子句的目的二叉树%根据序列A014486确定，在词典学上是“较少”的。%%E）如果上述条件不能确定关系%两个子句序列的总顺序%那么“leser”子句序列就是%目的二叉树中的置换%最有区别的子句是%按序列A060118排序。%（请注意，这与既定的“词典学”不同%排列顺序，如A030299和A055089中所用）。%%这里的序言定义试图给出最小的子句表示，%用字母“b”表示的非最小表示%（例如用于自同构*A089864的gma089864b。）%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%一个具有0个非缺省子句的非递归自同构%%%%和0分（合）合触点。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA001477[]={条款ESEQ_begin（0,0）}；/*A089840[0]*/gma001477（X，X）.%%只有默认子句Identity可以修复所有问题。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%一个非递归自同构，有一个%%的非缺省子句%%1开（关）反：%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA069770[]={条款ESEQ_begin（1,1），{1，0，0，1}}/*A089840[1]*/%（a.b）-->（b.a）%%A B-->B A%\/\/%X0年gma069770（X0，Y0）：-cons（A、B、X0），% --cons（B，A，Y0），!.gma069770（X，X）.%%默认子句fix S-exprs（此处仅为[]）无法处理上述子句。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%10个具有一个非缺省子句%%的非递归自同构%%两个打开（关闭）触点：%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA072796[]={条款ESEQ_begin（3,1），{2，0，0，1}}；/*A089840[2]*/%（a.（b.c））-->（b.（a.c））%%B、C、A、C% \ / \ /%A X1-->B Y1% \ / \ /%X0年gma072796（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（B、Y1、Y0），！。gma072796（X，X）.%%固定长度为1的[]和S-expr。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089850[]={条款ESEQ_begin（3,1），{2，0，0，2}}/*A089840[3]*/%（a.（b.c））-->（a.（c.b））%%B、C、B% \ / \ /%一个X1-->一个Y1% \ / \ /%X0年gma089850（X0，Y0）：-cons（A、X1、X0），cons（B，C，X1），% --cons（C、B、Y1），cons（A、Y1、Y0），!.gma089850（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089851[]={子句ESEQ_begin（3,1），{2，0，0，3}}；/*A089840【4】*/%%B、C、C、A% \ / \ /%A X1-->B Y1% \ / \ /%X0年gma089851（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、A、Y1），cons（B、Y1、Y0），!.gma089851（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089852[]={子句ESEQ_begin（3,1），{2，0，0，4}}；/*A089840[5]*/%%B、C、B、A% \ / \ /%A X1-->C Y1% \ / \ /%X0年gma089852（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），%--cons（B、A、Y1），cons（C、Y1、Y0），!.gma089852（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089853[]={子句ESEQ_begin（3,1），{2，0，0，5}}；/*A089840【6】*/%（a、（b、c））-->（c、（a、b））%%B、C、A、B% \ / \ /%A X1-->C Y1% \ / \ /%X0年gma089853（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、B、Y1），cons（C、Y1、Y0），!.gma089853（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089854[]={条款ESEQ_begin（3,1），{2，1，1，1}}；/*A089840【7】*/%（a、b）。c） -->（（b.a）。c）%%%A B B A% \ / \ /%X1 C-->Y1 C% \ / \ /%X0年gma089854（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、A、Y1），cons（Y1、C、Y0），！。gma089854（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA072797[]={条款ESEQ_begin（3,1），{2，1，1，2}}；/*A089840【8】*/%（a、b）。c） -->（（a.c）。b）%%%A、B、A、C% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年gma072797（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma072797（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089855[]={条款ESEQ_begin（3,1），{2，1，1，3}}；/*A089840[9]*/%（a、b）。c） -->（（b.c）。a）%%%A、B、B、C% \ / \ /%X1 C-->Y1 A% \ / \ /%X0年0gma089855（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、C、Y1），cons（Y1、A、Y0），!.gma089855（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089856[]={条款ESEQ_begin（3,1），{2，1，1，4}}；/*A089840[10]*/%（a、b）。c） -->（（c.b）。a）%%A B C B% \ / \ /%X1 C-->Y1 A% \ / \ /%X0年gma089856（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C、B、Y1），cons（Y1、A、Y0），!.gma089856（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089857[]={条款ESEQ_begin（3,1），{2，1，1，5}}；/*A089840[11]*/%（a、b）。c） -->（（c.a）。b）%%A、B、C、A% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年gma089857（X0，Y0）：-cons（X1，C，X0），cons（A、B、X1），% --cons（C、A、Y1），cons（Y1、B、Y0），!.gma089857（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%具有两个非默认子句的10个非递归自同构%%%%2&1开（关）触点的%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA074679[]={子句ESEQ_begin（4,2），{2，0，1，0，}，{1,0，0，1}}；/*A089840[12]*/%（a、（b、c））-->（a、b）。c）%（a）（）-->（）。a）%%B、C、A、B% \ / \ /%A X1-->Y1 C A[]-->[]A% \ / \ / \ / \ /%X0年X0年gma074679（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、B、Y1），cons（Y1、C、Y0），!.gma074679（X0，Y0）：-cons（A，B，X0），%B=[]根据上述子句。% --cons（B、A、Y0），!.gma074679（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089858[]={子句ESEQ_begin（4,2），{2，0，1，1，}，{1，0,0，1}}；/*A089840[13]*/%（a.（b.c））-->（（b.a）。c）%（a）（）-->（）。a）%%B、C、B、A% \ / \ /%A X1-->Y1 C A[]-->[]A% \ / \ / \ / \ /%X0年X0年gma089858（X0，Y0）：-cons（A、X1、X0），cons（B，C，X1），% --cons（B、A、Y1），cons（Y1、C、Y0），!.gma089858（X0，Y0）：-cons（A，B，X0），%B=[]根据上述子句。% --cons（B、A、Y0），!.gma089858（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA073269[]={条款ESEQ_begin（4,2），{2，0，1，2，}，{1，0,0，1}}；/*A089840[14]*/%（a、（b、c））-->（a、c）。b）%（a）（）-->（）。a）%%B、C、A、C% \ / \ /%A X1-->Y1 B A[]-->[]A% \ / \ / \ / \ /%X0年X0年gma073269（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma073269（X0，Y0）：-cons（A，B，X0），% --cons（B、A、Y0），!.gma073269（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089859[]={子句ESEQ_begin（4,2），{2，0，1，4，}，{1，0,0，1}}；/*A089840[15]*/%（a、（b、c））-->（c、b）。a）%（a。（））-->（（）。a）%%B、C、B% \ / \ /%A X1-->Y1 A A[]-->[]A% \ / \ / \ / \ /%X0年X0年gma089859（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、B、Y1），cons（Y1、A、Y0），!.gma089859（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma089859（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089860[]={条款ESEQ_begin（4,2），{2，0，1，5，}，{1，0,0，1}}；/*A089840[16]*/%（a、（b、c））-->（c、a）。b）%（a）（）-->（）。a）%%B、C、C、A% \ / \ /%A X1-->Y1 B A[]-->[]A% \ / \ / \ / \ /%X0年X0年gma089860（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、A、Y1），cons（Y1、B、Y0），!.gma089860（X0，Y0）：-cons（A、B、X0），%--cons（B、A、Y0），!.gma089860（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA074680[]=｛条款SEQ_begin（4,2），｛2，1，0，0｝，｛1，0,0，1｝｝；/*A089840[17]*/%（a、b）。c） -->（a、b、c）% (() . b） -->（b、（））%%A、B、B、C% \ / \ /%X1 C-->A Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年gma074680（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、C、Y1），cons（A、Y1、Y0），!.gma074680（X0，Y0）：-cons（A，B，X0），%A=[]根据上述子句。% --cons（B、A、Y0），!.gma074680（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA089861[]=｛条款SEQ_begin（4,2），｛2，1，0，1，｝，｛1，0,0，1｝｝；/*A089840[18]*/%（a、b）。c） -->（b、（a、c））% (() . b） -->（b、（））%%A、B、A、C% \ / \ /%X1 C-->B Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年gma089861（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（A、C、Y1），cons（B、Y1、Y0），!.gma089861（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma089861（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA073270[]={子句ESEQ_begin（4,2），{2，1，0，2，}，{1，0,0，1}}；/*A089840[19]*/%（a、b）。c） -->（a.（c.b））% (() . b） -->（b、（））%%A、B、C、B% \ / \ /%X1 C-->A Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年gma073270（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C，B，Y1），cons（A、Y1、Y0），!.gma073270（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma073270（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089862[]={子句ESEQ_begin（4,2），{2，1，0，3，}，{1，0,0，1}}；/*A089840[20]*/%（a、b）。c） -->（b、c、a）%（）。b） -->（b、（））%%A、B、C、A% \ / \ /%X1 C-->B Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年gma089862（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C、A、Y1），cons（B、Y1、Y0），!.gma089862（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma089862（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA089863[]={子句ESEQ_begin（4,2），{2,1,0,4}，{1,0,0,1}}；/*A089840【21】*/%（a、b）。c） -->（c、（b、a））%（）。b） -->（b、（））%%A B B A% \ / \ /%X1 C-->C Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年gma089863（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），%--cons（B、A、Y1），cons（C、Y1、Y0），!.gma089863（X0，Y0）：-cons（A，B，X0），% --cons（B、A、Y0），!.gma089863（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%注意{CLAUSESEQ_begin（4,2），{2，0，1，3，}，{1，0,0，1}}；%此处未使用，因为它会导致gma069770的重复：%%（a）（b））-->（b）。a）%（a）（）-->（）。a）%%B、C、B、C% \ / \ /%A X1-->Y1 A A[]-->[]A% \ / \ / \ / \ /%X0年X0年%类似地，对于{CLAUSESEQ_begin（4,2），{2,1,0,5,}，{1,0,0,1}}；%（a、b）。c） -->（c、（a、b））% (() . b） -->（b、（））%%A B A B% \ / \ /%X1 C-->C Y1[]B-->B[]% \ / \ / \ / \ /%X0年X0年%%这也是简单交换（gma069770）的重复。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%139个具有%%的非递归自同构中的5个示例%%两个非缺省子句，共有4个开头（结尾）conses.%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA129611[]={条款ESEQ_begin（8,2），{3，1，4，10，}，{1，0，0，1}}；/*A089840[169]*/%（a）（b）。d） ）-->（（（c.b））。d） ●●●●。a）%（a.b）-->（b.a）[b隐含（）或（（）.X）]%B、C、B%\/\/%X2天Y2天% \ / \ /%A X1-->Y1 A A B-->B A% \ / \ / \ / \ /%X0年X0年%%gma129611（X0，Y0）：-cons（A、X1、X0），cons（X2、D、X1），cons（B、C、X2），% --cons（C、B、Y2），cons（Y2、D、Y1），cons（Y1、A、Y0），!.gma129611（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma129611（X，X）。%%条款gmA129612[]={条款ESEQ_begin（8,2），{3，4，1，22，}，{1，0，0，1}}；/*A089840[251]*/%（（a、b）。c） 。d） -->（d.（（b.a））。c） ）%（a.b）-->（b.a）[隐含的（）或（）.X）]%这种内卷化会影响以下转换：%A B B A% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1 A B-->B A%\/\/\/\/%X0年X0年%gma129612（X0，Y0）：-cons（X1、D、X0），cons（X2、C、X1），缺点（A，B，X2），% --cons（B、A、Y2），cons（Y2、C、Y1），cons（D、Y1、Y0），!.gma129612（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma129612（X，X）。%%条款gmA123503[]={条款ESEQ_begin（12,2），{2,0,0,1，}，{2,1,1}}；/*A089840【253】*/%（a.（b.c））-->（b.（a.c））%（a、b）。c） -->（（b.a）。c）%%B、C、A、A、B、B、A% \ / \ / \ / \ /%A X1-->B Y1 X1[]-->Y1[]% \ / \ / \ / \ /%X0年X0年gma123503（X0，Y0）：-cons（A、X1、X0），cons（B，C，X1），% --cons（A、C、Y1），cons（B、Y1、Y0），!.gma123503（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B，A，Y1），cons（Y1、C、Y0），!.gma123503（X，X）。%%条款gmA123499[]={条款ESEQ_begin（12,2），{2，0，1，0，}，{2、1、0，4}}；/*A089840【258】*/%（a、（b、c））-->（a、b）。c）%（a、b）。c） -->（c、（b、a））%%B C A B A B B A% \ / \ / \ / \ /%A X1-->Y1 C X1[]-->[]Y1% \ / \ / \ / \ /%X0年X0年gma123499（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、B、Y1），cons（Y1、C、Y0），!.gma123499（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、A、Y1），cons（C、Y1、Y0），!.gma123499（X，X）。%%条款gmA123500[]=｛条款SEQ_begin（12，2），｛2，1，0，0，｝，｛2，0，1，4｝｝；/*A089840【264】*/%（a、b）。c） -->（a、b、c）%（a、（b、c））-->（c、b）。a）%%A B B C B C C B% \ / \ / \ / \ /%X1 C-->A Y1[]X1-->Y1[]% \ / \ / \ / \ /%X0年X0年gma123500（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B，C，Y1），cons（A、Y1、Y0），!.gma123500（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、B、Y1），cons（Y1、A、Y0），!.gma123500（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%2570个非递归自同构中的7个例子%%共5个开场（闭幕）合同中的两个非违约条款。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%所有示例在第一个示例中都有3个打开（关闭）同义词%%第二句中有两个开头（结尾）。%条款gmA129607[]={条款ESEQ_begin（24,2），{3，0，0，}，{2，0，0,1}}；/*A089840【3608】*/%（a、（b、（c、d））%（a.（b.c））-->（b.（a.c））[隐含（）]%%C、D、C、D%\/\/%B X 2 B Y 2 B C A C% \ / \ / \ / \ /%A X1-->A Y1 A X1-->B Y1（C为[]）% \ / \ / \ / \ /%X0年X0年gma129607（X0，Y0）：-cons（A、X1、X0），cons（B、X2、X1），cons（C、D、X2），% --cons（C、D、Y2），cons（B、Y2、Y1），cons（A、Y1、Y0），！。%上述条款意味着C=[]。gma129607（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（B、Y1、Y0），!.gma129607（X，X）.%%固定其余部分，即形式（a.（））和（）的S-exprs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA129605[]={条款ESEQ_begin（24,2），{3，0，0，3，}，{2，0，0,1}}；/*A089840【3613】*/%（a.（b.（c.d）））-->（b.（c.（a.d））%（a.（b.c））-->（b.（a.c））[隐含（）]%%C、D、A、D% \ / \ /%B X 2 C Y 2 B C A C% \ / \ / \ / \ /%A X1-->B Y1 A X1-->B Y1（C为[]）% \ / \ / \ / \ /%X0年X0年gma129605（X0，Y0）：-cons（A，X1，X0），cons（B、X2、X1），cons（C、D、X2），% --cons（A、D、Y2），cons（C、Y2、Y1），cons（B、Y1、Y0），!.%上述条款意味着C=[]。gma129605（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（B，Y1，Y0），!.gma129605（X，X）.%%固定其余部分，即形式（a.（））和（）的S-exprs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA129606[]={条款ESEQ_begin（24,2），{3，0，0，5，}，{2，0，0,1}}；/*A089840【3617】*/%（a.（b.（c.d）））-->（c.（a.（b.（b.d）））%（a.（b.c））-->（b.（a.c））[隐含（）]%%C、D、B、D% \ / \ /%B X 2 A Y 2 B C A C% \ / \ / \ / \ /%A X1-->C Y1 A X1-->B Y1（C为[]）% \ / \ / \ / \ /%X0年X0年gma129606（X0，Y0）：-cons（A、X1、X0），cons（B、X2、X1），cons（C、D、X2），% --cons（B、D、Y2），cons（A、Y2、Y1），cons（C、Y1、Y0），！。%上述条款意味着C=[]。gma129606（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（B、Y1、Y0），!.gma129606（X，X）.%%固定其余部分，即形式（a.（））和（）的S-exprs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA082353[]={条款ESEQ_begin（24,2），{3,2,0,0}，{2,0,3}}；/*A089840【3886】*/%（a、b）。（c.d））-->（a、（b、（c、d））%（a、（b、c））-->（b、（c、a））[隐含（）]%%C、D% \ /%A B C D B Y2 B C C A% \ / \ / \ / \ / \ /%X1 X2-->A Y1 A X1-->B Y1（A为[]）% \ / \ / \ / \ /%X0年X0年gma082353（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），% --cons（C，D，Y2），%%注：Y2等于X2。cons（B、Y2、Y1），cons（A、Y1、Y0），!.%上述条款意味着A=[]。gma082353（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C，A，Y1），cons（B、Y1、Y0），!.gma082353（X，X）.%%固定其余部分，即形式（a.（））和（）的S-exprs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%子句gmA082354[]={子句ESEQ_begin（24,2），{3，0，2，0}，{2，0，5}}；/*A089840[3702]号*/%（a、（b、（c、d））-->（a、b）。（c、d））%（a、（b、c））-->（c、（a、b））【c隐含（）】%%C、D% \ /%B X2 A B C D B C A B%\/\/\/\/\/\/%A X1-->Y1 Y2 A X1-->C Y1% \ / \ / \ / \ /%X0年X0年gma082354（X0，Y0）：-cons（A、X1、X0），cons（B、X2、X1），cons（C、D、X2），% --cons（A、B、Y1），cons（C，D，Y2），%注意Y2等于X2。cons（Y1、Y2、Y0），!.gma082354（X0，Y0）：-cons（A、X1、X0），cons（B，C，X1），%C由上述条款暗示[]。% --cons（A、B、Y1），cons（C、Y1、Y0），!.gma082354（X，X）.%%固定其余部分，即形式（a.（））和（）的S-exprs%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA082351[]={条款ESEQ_begin（24,2），{3，2，4，0}，{2，1，5}}；/*A089840【4069】*/%（a、b）。（c.d））-->（（a.b））。c） ●●●●。d）%（a、b）。c） -->（（c.a）。b） 【c暗示（）】%%A和B%/%A B C D Y2 C A B[]A% \ / \ / \ / \ / \ /%X1 X2-->Y1 D X1[]-->X1 B% \ / \ / \ / \ /%X0年X0年gma082351（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），% --cons（A，B，Y2），%%注：Y2等于X1。cons（Y2、C、Y1），cons（Y1、D、Y0），!.%上述条款意味着C=[]。gma082351（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C、A、Y1），cons（Y1、B、Y0），!.gma082351（X，X）.%%固定其余部分，即表单（（）的S-exprs。b） 和（）%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA082352[]={条款ESEQ_begin（24,2），{3，4，2，0}，{2，1，3}}；/*A089840【4253】*/%（（a、b）。c） ●●●●。d） -->（（a.b）。（c、d）%（a、b）。c） -->（（b.c）。a） [隐含的（）]%%A和B% \ /%X2 C A B C D[]B B C% \ / \ / \ / \ / \ /%X1 D-->Y1 Y2 X1 C-->Y1[]% \ / \ / \ / \ /%X0年X0年gma082352（X0，Y0）：-cons（X1、D、X0），cons（X2、C、X1），cons（A、B、X2），% --cons（A，B，Y1），%注意，Y1等于X2。cons（C、D、Y2），cons（Y1、Y2、Y0），!.gma082352（X0，Y0）：-cons（X1、C、X0），cons（A，B，X1），%A由上述条款暗示[]。% --cons（B、C、Y1），cons（Y1、A、Y0），!.gma082352（X，X）.%%固定其余部分，即表单（（）的S-exprs。b） 和（）%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%904个非递归自同构中的四个例子%%共6个开场（闭幕）合同中的3个非违约条款。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA129609[]={条款ESEQ_begin（39,3），{3,1,2,0，}，{2,0,1,2}，}1,0,0,1}}；/*A089840【65167】*/%（a）（b）。d） ）-->（（a.b）。（c、d）%（a、（b、c））-->（a、c）。b） [隐含（）]%（a.b）-->（b.a）[b隐含（）]%B摄氏度% \ /%X2 D A B C D B C A C% \ / \ / \ / \ / \ /%A X1-->Y1 Y2 A X1-->Y1 B A B-->B A%\/\/\/\/\/\/\/%X0年X0年%%gma129609（X0，Y0）：-cons（A、X1、X0），cons（X2、D、X1），cons（B、C、X2），% --cons（A、B、Y1），cons（C、D、Y2），cons（Y1、Y2、Y0），!.gma129609（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma129609（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma129609（X，X）。%%条款gmA129610[]={条款seq_begin（39，3），{3，2，1，0，}，{2，1，0，2}，{1，0，0，1}；/*A089840【65352】*/%（a、b）。（c.d））-->（a.c）。d） ）%（a、b）。c） -->（a.（c.b））[隐含c（）]%（a.b）-->（b.a）[隐含（）]%%B和C% \ /%A B C D Y2 D A B C B% \ / \ / \ / \ / \ /%X1 X2-->A Y1 X1 C-->A Y1 A B B A% \ / \ / \ / \ / \ / --> \ /%X0年X0年gma129610（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），% --cons（B、C、Y2），cons（Y2、D、Y1），cons（A、Y1、Y0），!.gma129610（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C、B、Y1），cons（A、Y1、Y0），!.gma129610（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma129610（X，X）。%条款gmA123495[]={条款ESEQ_begin（39,3），{3，2，4，16}，{2，0，1，0}，[1，0，1}}；/*A089840【65518】*/%（a、b）。（c.d））-->（（c.d。a） ●●●●。b）%（a、（b、c））-->（a、b）。c） [隐含的（）]%（a.b）-->（b.a）[b隐含（）]%%C、D% \ /%A B C D Y2 A B C[]B%\/\/\/\/\/\/%X1 X2-->Y1 B[]X1-->X1 C A[][]A% \ / \ / \ / \ / \ / --> \ /%X0年X0年gma123495（X0，Y0）：-cons（X1，X2，X0），cons（A、B、X1），cons（C、D、X2），% --cons（C，D，Y2），%%注：Y2等于X2。cons（Y2、A、Y1），cons（Y1、B、Y0），!.%上述条款意味着A=[]。gma123495（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、B、Y1），cons（Y1、C、Y0），!.gma123495（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma123495（X，X）.%%固定（）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA123496[]={条款seq_begin（39,3），{3，4，2，16}，{2，1，0，0}，{1，0，0，1}；/*A089840【65796】*/%（（a、b）。c） ●●●●。d） -->（（c.d）。（a、b）%（a、b）。c） -->（a、（b、c））[隐含的（）]%（a.b）-->（b.a）[隐含（）]%%A B% \ /%X2 C C D A B[]B B C% \ / \ / \ / \ / \ /%X1 D-->Y1 Y2 X1 C-->[]Y1[]B B[]%\/\/\/\/\/-->\/%X0年X0年gma123496（X0，Y0）：-cons（X1、D、X0），cons（X2、C、X1），cons（A、B、X2），% --cons（C、D、Y1），cons（A，B，Y2），%注意Y2等于X2。cons（Y1、Y2、Y0），!.gma123496（X0，Y0）：-cons（X1、C、X0），cons（A，B，X1），%A由上述条款暗示[]。% --cons（B、C、Y1），cons（A、Y1、Y0），!.gma123496（X0，Y0）：-cons（A、B、X0），% --cons（B、A、Y0），!.gma123496（X，X）.%%修复（）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%47878个非递归自同构中的一个例子%%共6个开场（闭幕）合同中的两个非违约条款。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA123492[]={条款开始（56,2），{3,1,4,9}，{3,4,1,23}}；/*A089840[79361]*/%（a）（b）。d） ）-->（（b.c）。d） ●●●●。a）%（（a、b）。c） ●●●●。d） -->（d）（（a、b）。c） ）[d暗示（）或（）.X）]%这种内卷化会影响以下转换：%B、C、B、C% \ / \ /%X2天Y2天% \ / \ /%A X1-->Y1 A% \ / \ / %X0年%%A B A B% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1% \ / \ / %X0年%%在方案中，这可以定义为：%（定义（*A123492！s）%（条件（（null？s）s）%（（和（配对（cdr））（配对（cadr）））（*A069770！s））%（（和（对（车））（对（辆））（*A069770！s））% )%秒%）gma123492（X0，Y0）：-cons（A、X1、X0），cons（X2、D、X1），cons（B、C、X2），% --cons（B、C、Y2），cons（Y2、D、Y1），cons（Y1、A、Y0），！。%表示D=[]或D=[[]|…]gma123492（X0，Y0）：-cons（X1、D、X0），cons（X2、C、X1），缺点（A，B，X2），% --cons（A、B、Y2），cons（Y2、C、Y1），cons（D、Y1、Y0），!.gma123492（X，X）.%%修理其余部分。%另一个版本，因为条款可以按任意顺序指定：%%条款gmA123492b[]={条款ESEQ_begin（56,2），{3,4,1,23}，{3,1,4,9}}；%（（a、b）。c） ●●●●。d） -->（d.（（a.b））。c） ）%（a）（b）。d） ）-->（（b.c）。d） ●●●●。a） [隐含的（）或（）.X）]%这种内卷化会影响以下转换：%A B A B% \ / \ /%X2摄氏度Y2摄氏度% \ / \ /%X1 D-->D Y1% \ / \ / %X0年0%%B、C、B、C% \ / \ /%X2天Y2天% \ / \ /%A X1-->Y1 A% \ / \ / %X0年%%在方案中，这可以定义为：%（定义（*A123492v2！s）%（条件（（null？s）s）%（（和（对（车））（对（辆））（*A069770！s））%（（和（配对（cdr））（配对（cadr）））（*A069770！s））% )%秒% )gma123492b（X0，Y0）：-cons（X1、D、X0），cons（X2、C、X1），cons（A、B、X2），% --cons（A、B、Y2），cons（Y2、C、Y1），cons（D、Y1、Y0），!.%表示A=[]或A=[[]|…]gma123492b（X0，Y0）：-cons（A、X1、X0），cons（X2、D、X1），cons（B、C、X2），% --cons（B、C、Y2），cons（Y2、D、Y1），cons（Y1、A、Y0），!.gma123492b（X，X）.%%修理其余部分。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%20972个具有%%的非递归自同构中的6个例子%%共7个开场（闭幕）合同中的三个非违约条款。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA073281[]={条款ESEQ_begin（103,3），{3，1，1，7，}，{2，0，1，2}，}；/*A089840[1654023]*/%%B、C、A、D% \ / \ /%X2 D Y2 C B C A C A B C B% \ / \ / \ / \ / \ / \ /%A X1-->B Y1 A X1->Y1 B X1 C-->A Y1% \ / \ / \ / \ / \ / \ /%X0年X0年%注意，如果我们来到第二个子句，那么B是隐含的（），%如果我们谈到第三个子句，那么C是隐含的（）。gma073281（X0，Y0）：-cons（A、X1、X0），cons（X2、D、X1），cons（B、C、X2），% --cons（A、D、Y2），cons（Y2、C、Y1），cons（B、Y1、Y0），!.gma073281（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma073281（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（C、B、Y1），cons（A、Y1、Y0），！。gma073281（X，X）.%%修理其余部分。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%A089859/A089863的“正方形”。%条款gmA089864[]={条款ESEQ_begin（103,3），{3，2，2，7，}，{2，0，0，2}，}；/*A089840[1654694]*/%（a、b）。（c.d））-->（b.a）。（d、c）%（a.（b.c））-->（a.（c.b））[隐含（）]%（a、b）。c） -->（（b.a）。c） 【c暗示（）】%%这种对合会影响以下转换：%%A B C D B A D C B C C C B A B B A% \ / \ / \ / \ / \ / \ / \ / \ /%X1 X2-->Y1 Y2 A X1-->A Y1 X1 C-->Y1 C% \ / \ / \ / \ / \ / \ /%X0年X0年%%在方案中，这可以定义为：%（定义（gma089864！s）%（秒（对）%（如果（配对？（汽车））（互换！（汽车）%（如果（配对？（cdr））（交换！（cdr s））% )% )%秒% )%在哪里交换！定义为：%（定义（交换！s）%（出租（不包括汽车））%（set-car！s（cdr-s））%（set-cdr！s ex-car）%秒% )% )gma089864（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），% --cons（B、A、Y1），cons（D、C、Y2），cons（Y1、Y2、Y0），!.%上面的子句暗示A=[]。gma089864（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C，B，Y1），cons（A、Y1、Y0），!.%上述条款意味着C=[]。gma089864（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、A、Y1），cons（Y1、C、Y0），!.gma089864（X，X）。%%固定其余部分，即S-exprs（）和（）。())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%另一种版本，显示最后两个子句的顺序%无关紧要：%条款gmA089864b[]={条款ESEQ_begin（103,3），{3，2，2，7，}，{2，1，1}，}；% %尝试：应用GatUptoN（gma089864196，X），应用GatUPtoN（gma089864b，196，Y），X==Y。gma089864b（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），%--cons（B、A、Y1），cons（D、C、Y2），cons（Y1、Y2、Y0），!.%上述条款意味着C=[]。gma089864b（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），%--cons（B、A、Y1），cons（Y1、C、Y0），!.%上述条款意味着A=[]。gma089864b（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、B、Y1），cons（A、Y1、Y0），!.gma089864b（X，X）.%%固定其余部分，即S-exprs（）和（）。())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%发票（*A069770）%条款gmA129604[]={条款ESEQ_begin（103,3），{3，2，2，20，}，{2，0，1，4}，}；/*A089840[1654720]*/%（a、b）。（c.d））-->（d.c）。（b、a）%（a、（b、c））-->（c、b）。a） [隐含的（）]%（a、b）。c） -->（c.（b.a））[隐含c（）]%%这种内卷化会影响以下转换：%%A B C D D C B A B C C B A A B B A% \ / \ / \ / \ / \ / \ / \ / \ /%X1 X2-->Y1 Y2 A X1-->Y1 A X1 C-->C Y1% \ / \ / \ / \ / \ / \ /%X0年X0年%%A129604=A069770 o A089864=A089864 o A069770%在方案中，这可以定义为：%（定义（*A129604！s）%（秒（对）%（*A069770！（汽车））%（*A069770！（cdr））%（*A069770！s）% )% )%秒% )gma129604（X0，Y0）：-cons（X1、X2、X0），cons（A、B、X1），cons（C、D、X2），% --cons（D、C、Y1），cons（B、A、Y2），cons（Y1、Y2、Y0），!.%上述条款意味着A=[]。gma129604（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、B、Y1），cons（Y1、A、Y0），!.%上述条款意味着C=[]。gma129604（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、A、Y1），cons（C、Y1、Y0），！。gma129604（X，X）.%%固定其余部分，即S-exprs（）和（）。())%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA123497[]={条款ESEQ_begin（103,3），{3，3，1，6，}，{2，1，1，2}，}；/*A089840[1655089]*/%（a、b、c）。d） -->（a、（b、d）。c） ）%（a、b）。c） -->（（a.c）。b）%（a.（b.c））-->（b.（a.c））%%B、C、B、D% \ / \ /%A X2 Y2 C A[]A C B C[]C% \ / \ / \ / \ / \ / \ /%X1 D-->A Y1 X1 C-->Y1[][]X1-->B Y1% \ / \ / \ / \ / \ / \ /%X0年X0年gma123497（X0，Y0）：-cons（X1、D、X0），cons（A、X2、X1），cons（B、C、X2），% --cons（B、D、Y2），cons（Y2、C、Y1），cons（A、Y1、Y0），!.gma123497（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma123497（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），%--cons（A、C、Y1），cons（B、Y1、Y0），!.gma123497（X，X）。%方案定义：%（定义（*A123497！s）%（条件（（null？s）s）%（和（配对？（汽车））%（*A074680！s）%（let（（old-cddr-s（cddrs）））%（set-cdr！（cdr s）（cdadr s））%（set-cdr！（cadr s）旧-cddr-s）% )%）%（（配对？（汽车））（*A072797！s））%（（配对？（cdr））（*A072796！s））% )%秒% )% % %%条款gmA123498[]={条款ESEQ_begin（103,3），{3，1，3，6，}，{2，0，0，1}，}；/*A089840[1654249]*/%（a）（b）。d） ）-->（（a、b、d））。c）%（a.（b.c））-->（b.（a.c））%（a、b）。c） -->（（a.c）。b）%%B、C、B、D% \ / \ /%X2 D A Y2[]C A C A B A[]% \ / \ / \ / \ / \ / \ /%A X1-->Y1 C A X1-->[]Y1 X1[]-->Y1B% \ / \ / \ / \ / \ / \ /%X0年X0年gma123498（X0，Y0）：-cons（A、X1、X0），cons（X2，D，X1），cons（B、C、X2），% --cons（B、D、Y2），cons（A、Y2、Y1），cons（Y1、C、Y0），!.gma123498（X0，Y0）：-cons（A、X1、X0），cons（B，C，X1），% --cons（A、C、Y1），cons（B、Y1、Y0），!.gma123498（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（A、C、Y1），cons（Y1、B、Y0），!.gma123498（X，X）。%方案定义：%（定义（*A123498！s）%（条件（（null？s）s）%（和（配对？（cdr））%（let（（old-cddr-s（cddrs）））%（set-cdr！（cdr s）（cdadr s））%（set-cdr！（cadr s）旧-cddr-s）% )%（*A074679！s）% )%（（配对？（cdr））（*A072796！s））%（（配对？（汽车））（*A072797！s））% )%秒% )%条款gmA123695[]={条款ESEQ_begin（99,3），{2，0，1，0，}，{3，3，1，23，}；/*A089840【1653002】*/%非标准形式：%条款gmA123695b[]={条款ESEQ_begin（99,3），{2，0，1，0，}，{3，3，1，23，}；%（a、（b、c））-->（a、b）。c）%（a、b、c）。d） -->（d.（（a.b））。c） ）%（a、b）。c） -->（b、c、a）%在变体b中，最后一条替换为：%（a、b）。c） -->（c、（b、a））%%B、C、A、B% \ / \ /%B C A B A X2 Y2 C A[][]A%\/\/\/\/\/\/\/%A X1-->Y1 C X1[]-->[]Y1 X1[]-->[]Y1% \ / \ / \ / \ / \ / \ /%X0年X0年%%方案定义：%（定义（*A123695！s）%（条件（（null？s）s）%（（配对？（cdr））（*A074679！s））%（（配对？（车））（*A074679！（车）（*AO69770！s））% )%秒% )gma123695（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（A、B、Y1），cons（Y1、C、Y0），!.%D隐含[]。gma123695（X0，Y0）：-cons（X1、D、X0），cons（A、X2、X1），cons（B、C、X2），%--cons（A、B、Y2），cons（Y2、C、Y1），cons（D、Y1、Y0），!.%B和C隐含[]。gma123695（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），%--cons（C、A、Y1），cons（B、Y1、Y0），!.%%在替代版本中，最后一个非违约条款为：%%%%gma123695（X0，Y0）：-%%cons（X1、C、X0），%%cons（A、B、X1），%% % --%%cons（B、A、Y1），%%cons（C、Y1、Y0），%% !.gma123695（X，X）。%%条款gmA123696[]={条款ESEQ_begin（99,3），{2，1，0，0，}，{3，1，3，9，}、{2，0，1，4}}；/*A089840[1653063]*/%（a、b）。c） -->（a、b、c）%（a）（b）。d） ）-->（（b、c、d））。a）%（a、（b、c））-->（c、b）。a）%%B、C、D% \ / \ /%A B B C X2 D B Y2[]C C[]% \ / \ / \ / \ / \ / \ /%X1 C-->A Y1[]X1-->Y1[][]X1-->Y1[]% \ / \ / \ / \ / \ / \ /%X0年X0年%方案定义：%（定义（*A123696！s）%（秒（（空？秒））%（（配对？（汽车））（*A074680！s））%（（配对？（cdr））（*A074680！（cdr s））（*A069770！s））% )%秒% )gma123696（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），%--cons（B、C、Y1），cons（A、Y1、Y0），!.gma123696（X0，Y0）：-cons（A，X1，X0），cons（X2、D、X1），cons（B、C、X2），% --cons（C、D、Y2），cons（B、Y2、Y1），cons（Y1、A、Y0），!.gma123696（X0，Y0）：-cons（A、X1、X0），cons（B、C、X1），% --cons（C、B、Y1），cons（Y1、A、Y0），!.gma123696（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%1017174个具有%%的非递归自同构中的两个例子%%共7个开场（闭幕）合同中的两个非违约条款。%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%条款gmA123713[]={条款开始（124,2），{2，1，1，3，}，{5，13，13，152}}；/*A089840[1783367]*/%（a、b）。c） -->（（b.c）。a） （参见A089855）%（a）（（b）。d） ●●●●。e） ●●●●。f） ）-->（a、（c、d）。e） ●●●●。f） ●●●●。b） ）%%%A B B C% \ / \ /%X1 C-->Y1 A% \ / \ /%X0年%%B、C、D% \ / \ /%X4直径Y4直径% \ / \ /%X3东侧Y3东侧% \ / --> \ /%X2 F Y2 B% \ / \ /%[]X1[]Y1% \ / \ /%X0年%gma123713（X0，Y0）：-cons（X1、C、X0），cons（A、B、X1），% --cons（B、C、Y1），cons（Y1、A、Y0），!.gma123713（X0，Y0）：-cons（A、X1、X0），cons（X2、F、X1），cons（X3、E、X2），cons（X4、D、X3），cons（B、C、X4），%--cons（C、D、Y4），cons（Y4、E、Y3），cons（Y3、F、Y2），cons（Y2、B、Y1），cons（A、Y1、Y0），!.gma123713（X，X）。%条款gmA123714[]={条款开始（124,2），{2，1，1，5，}，{5，13，13，566}}；/*A089840[1786785]*/%（a、b）。c） -->（（c.a）。b） （参见A089857）%（a）（（b）。d） 。e） ●●●●。f） ）-->（a、（（f、b））。c） ●●●●。d） ●●●●。e） ）% %%A、B、C、A% \ / \ /%X1 C-->Y1 B% \ / \ /%X0年%%%B、C、F、B% \ / \ /%X4直径Y4 C% \ / \ /%X3东Y3东% \ / --> \ /%X2 F Y2 E% \ / \ /%[]X1[]Y1% \ / \ /%X0年%gma123714（X0，Y0）：-cons（X1，C，X0），cons（A、B、X1），% --cons（C、A、Y1），cons（Y1、B、Y0），!.gma123714（X0，Y0）：-cons（A、X1、X0），cons（X2、F、X1），cons（X3、E、X2），cons（X4、D、X3），cons（B、C、X4），% --cons（F、B、Y4），cons（Y4、C、Y3），cons（Y3、D、Y2），cons（Y2、E、Y1），cons（A、Y1、Y0），!.gma123714（X，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%应用程序（gma001477，X，Y）：-gma001477（X，Y）。应用程序（gma069770，X，Y）：-gma069770（X，Y）。应用程序（gma072796，X，Y）：-gma072796（X，Y）。应用程序（gma089850，X，Y）：-gma089850（X，Y）。应用程序（gma089851，X，Y）：-gma089851（X，Y）。应用程序（gma089852，X，Y）：-gma089852（X，Y）。应用程序（gma089853，X，Y）：-gma089853（X，Y）。应用程序（gma089854，X，Y）：-gma089854（X，Y）。应用程序（gma072797，X，Y）：-gma072797（X，Y）。应用程序（gma089855，X，Y）：-gma089855（X，Y）。应用程序（gma089856，X，Y）：-gma089856（X，Y）。应用程序（gma089857，X，Y）：-gma089857（X，Y）。应用程序（gma074679，X，Y）：-gma074679（X，Y）。苹果（gma089858，X，Y）：-gma089858（X，Y）。应用程序（gma073269，X，Y）：-gma073269（X，Y）。应用程序（gma089859，X，Y）：-gma089859（X，Y）。应用程序（gma089860，X，Y）：-gma089860（X，Y）。应用程序（gma074680，X，Y）：-gma074680（X，Y）。应用程序（gma089861，X，Y）：-gma089861（X，Y）。应用程序（gma073270，X，Y）：-gma073270（X，Y）。应用程序（gma089862，X，Y）：-gma089862（X，Y）。应用程序（gma089863，X，Y）：-gma089863（X，Y）。应用程序（gma082354，X，Y）：-gma082354（X，Y）。应用程序（gma082353，X，Y）：-gma082353（X，Y）。应用程序（gma082351，X，Y）：-gma082351（X，Y）。应用程序（gma082352，X，Y）：-gma082352（X，Y）。应用程序（gma073281，X，Y）：-gma073281（X，Y）。应用程序（gma089864，X，Y）：-gma089864（X，Y）。应用程序（gma089864b，X，Y）：-gma089864b（X，Y）。应用程序（gma123492，X，Y）：-gma123492（X，Y）。应用程序（gma123492b，X，Y）：-gma123492b（X，Y）。应用程序（gma123495，X，Y）：-gma123495（X，Y）。苹果（gma123496，X，Y）：-gma123496（X，Y）。应用程序（gma123497，X，Y）：-gma123497（X，Y）。应用程序（gma123498，X，Y）：-gma123498（X，Y）。应用程序（gma123499，X，Y）：-gma123499（X，Y）。应用程序（gma123500，X，Y）：-gma123500（X，Y）。应用程序（gma123503，X，Y）：-gma123503（X，Y）。应用程序（gma123695，X，Y）：-gma123695（X，Y）。应用程序（gma123696，X，Y）：-gma123696（X，Y）。应用程序（gma123713，X，Y）：-gma123713（X，Y）。应用程序（gma123714，X，Y）：-gma123714（X，Y）。应用程序（gma129604，X，Y）：-gma129604（X，Y）。应用程序（gma129605，X，Y）：-gma129605（X，Y）。应用程序（gma129606，X，Y）：-gma129606（X，Y）。应用程序（gma129607，X，Y）：-gma129607（X，Y）。应用程序（gma129609，X，Y）：-gma129609（X，Y）。应用程序（gma129610，X，Y）：-gma129610（X，Y）。应用程序（gma129611，X，Y）：-gma129611（X，Y）。应用程序（gma129612，X，Y）：-gma129612（X，Y）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%签名术语（gma001477，U，X）：-applyGatUptoN（gma001477，U，X）。签名术语（gma069770，U，X）：-将GatUp应用于N（gma069770，U，X）。签名术语（gma072796，U，X）：-将GatUp应用于N（gma072796，U，X）。签名（gma089850，U，X）：-将GatUp应用于N（gma089850，U，X）。签名术语（gma089851，U，X）：-将GatUp应用于N（gma089851，U，X）。签名条款（gma089852，U，X）：-将GatUp应用于N（gma089852，U，X）。签名术语（gma089853，U，X）：-将GatUp应用于N（gma089853，U，X）。签名术语（gma089854，U，X）：-将GatUp应用于N（gma089854，U，X）。签名术语（gma072797，U，X）：-将GatUp应用于N（gma072797，U，X）。签名术语（gma089855，U，X）：-将GatUp应用于N（gma089855，U，X）。签名术语（gma089856，U，X）：-将GatUp应用于N（gma089856，U，X）。签名术语（gma089857，U，X）：-将GatUp应用于N（gma089857，U，X）。签名术语（gma074679，U，X）：-将GatUp应用于N（gma074679，U，X）。签名术语（gma089858，U，X）：-将GatUp应用于N（gma089858，U，X）。签名术语（gma073269，U，X）：-将GatUp应用于N（gma073269，U，X）。签名（gma089859，U，X）：-将GatUp应用于N（gma089859，U，X）。签名术语（gma089860，U，X）：-将GatUp应用于N（gma089860，U，X）。签名术语（gma074680，U，X）：-将GatUp应用于N（gma074680，U，X）。签名术语（gma089861，U，X）：-将GatUp应用于N（gma089861，U，X）。签名术语（gma073270，U，X）：-applyGatUptoN（gma073270，U，X）。签名术语（gma089862，U，X）：-将GatUp应用于N（gma089862，U，X）。签名术语（gma089863，U，X）：-将GatUp应用于N（gma089863，U，X）。签名（gma082354，U，X）：-将GatUp应用于N（gma082354，U，X）。签名术语（gma082353，U，X）：-将GatUp应用于N（gma082353，U，X）。签名术语（gma082351，U，X）：-将GatUp应用于N（gma082351，U，X）。签名术语（gma082352，U，X）：-将GatUp应用于N（gma082352，U，X）。签名术语（gma073281，U，X）：-将GatUp应用于N（gma073281，U，X）。签名术语（gma089864，U，X）：-将GatUp应用于N（gma089864，U，X）。签名术语（gma089864b，U，X）：-将GatUp应用于N（gma089864b，U，X）。签名术语（gma123492，U，X）：-将GatUp应用于N（gma123492，U，X）。签名术语（gma123492b，U，X）：-将GatUp应用于N（gma123492b，U，X）。签名术语（gma123495，U，X）：-将GatUp应用于N（gma123495，U，X）。签名术语（gma123496，U，X）：-将GatUp应用于N（gma123496，U，X）。签名术语（gma123497，U，X）：-将GatUp应用于N（gma123497，U，X）。签名（gma123498，U，X）：-将GatUp应用于N（gma123498，U，X）。签名术语（gma123499，U，X）：-将GatUp应用于N（gma123499，U，X）。签名术语（gma123500，U，X）：-将GatUp应用于N（gma123500，U，X）。签名术语（gma123503，U，X）：-将GatUp应用于N（gma123503，U，X）。签名术语（gma123695，U，X）：-applyGatUptoN（gma123695，U，X）。签名术语（gma123696，U，X）：-将GatUp应用于N（gma123696，U，X）。签名术语（gma123713，U，X）：-将GatUp应用于N（gma123713，U，X）。签名（gma123714，U，X）：-将GatUp应用于N（gma123714，U，X）。签名术语（gma129604，U，X）：-将GatUp应用于N（gma129604，U，X）。签名术语（gma129605，U，X）：-将GatUp应用于N（gma129605，U，X）。签名术语（gma129606，U，X）：-将GatUp应用于N（gma129606，U，X）。签名术语（gma129607，U，X）：-将GatUp应用于N（gma129607，U，X）。签名术语（gma129609，U，X）：-将GatUp应用于N（gma129609，U，X）。标志术语（gma129610，U，X）：-将GatUp应用于N（gma129610，U，X）。签名术语（gma129611，U，X）：-将GatUp应用于N（gma129611，U，X）。签名术语（gma129612，U，X）：-将GatUp应用于N（gma129612，U，X）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%应用GatToN（X，G，Y）：-n2s（X，S），应用程序（G、S、T），n2s（Y，T）。将GatUp应用于N（G、U、W）：-applyGatUptoNaux（G、U、[]、W）。将GatUp应用于Naux（_，-1，W，W）：-!.将GatUp应用于Naux（G、U、Z、W）：-应用GatToN（U、G、Z），V是U-1，将GatUp应用于Naux（G，V，[Z|Zs]，W）。%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%此表使用Scheme函数编制（编制损益表196）%%有关来源，请参阅：%% 网址：http://www.iki.fi/~kartturi/matikka/Nekomorphisms/gatorank.scm%%我们使用绿色切割，因为这是内射映射：n2s（0，[]）：-!.n2s（1，[[]]）：-!.n2s（2，[[]，[]]）：-!.n2s（3，[[]]]）：-!.n2（4，[[]，[]，[]]）：-!.n2（5，[[]，[[]]]）：-!.n2（6，[[[]]，[]]）：-!.n2s（7，[[[]，[]]]）：-!.n2s（8，[[[]]]）：-!.n2（9，[[]，[]，[]，[]]）：-!.n2（10，[[]，[]，[[]]]）：-!.n2（11，[[]，[[]]，[]]）：-!.n2s（12，[[]，[[]，[[]]）：-!.n2s（13，[[]，[[]]]）：-!.n2（14，[[[]]，[]，[]]）：-!.n2（15，[[[]]，[[]]]）：-!.n2（16，[[[]，[]]，[]）：-！。n2（17，[[[]，[]，[]]]）：-!.n2（18，[[[]，[[]]]）：-!.n2s（19，[[[[]]，[[]]）：-!.n2（20，[[[]]，[]]]）：-!.n2s（21，[[[]，[]]]）：-!.n2s（22，[[]]]]）：-!.n2s（23，[[]，[]，[]，[，]）：-!.n2s（24，[[]，[]，[]，[[]]]）：-!.n2（25，[[]，[]，[[]]，[]]）：-!.n2（26，[[]，[]，[]，[[]，[]]]）：-!.n2（27，[[]，[]，[[]]]）：-!.n2（28，[[]，[[]]，[]，[]]）：-!.n2（29，[[]，[[]]，[[]]]）：-!.n2（30，[[]，[[[]，[]]，[]）：-!.n2s（31，[[]，[[]，[]，[]]]）：-!.n2s（32，[[]，[[]，[[]]]）：-!.n2（33，[[]，[[[]]]，[]]）：-!.n2（34，[[]，[[[]]，[]]]）：-!.n2（35，[[]，[[[]，[]]]）：-！。n2（36，[[]，[[[]]]]）：-!.n2s（37，[[[]]，[]，[]，[]]）：-!.n2s（38，[[]]，[]，[[]]）：-!.n2s（39，[[[]]，[[]，[]]）：-!.n2（40，[[[]]，[[]，[]]]）：-!.n2（41，[[[]]，[[]]]）：-!.n2（42，[[[]，[]]，[]，[]]）：-!.n2（43，[[[]，[]]，[[]]]）：-!.n2（44，[[[]，[]，[]]，[]]）：-!.n2（45，[[[]，[]，[]，[]]]）：-!.n2（46，[[[]，[]，[[]]]）：-!.n2（47，[[[]，[[]]]，[]]）：-!.n2（48，[[[]，[[]]，[]]]）：-!.n2（49，[[[]，[[]、[]]]）：-!.n2s（50，[[[]，[[]]]]]）：-!.n2（51，[[[]]]，[]，[]]）：-!.n2（52，[[[]]]，[[]]）：-!.n2（53，[[[]]，[]]和[]]）：-!.n2（54，[[[[]]，[]，[]]]）：-！。n2（55，[[[[]]，[[]]]）：-!.n2（56，[[[[]，[]]]，[]）：-!.n2s（57，[[[[]，[[]]，[[]]）：-!.n2（58，[[[[]，[]，[]]]）：-!.n2（59，[[[[]，[[]]]]）：-!.n2s（60，[[]]]，[]]）：-!.n2s（61，[[]]，[]]]）：-!.n2s（62，[[[]]，[]]]）：-!.n2s（63，[[[]，[]]]]）：-!.n2s（64，[[]]]]]）：-!.n2s（65，[[]，[]，[]，[]]，[，[]）：-!.n2s（66，[[]，[]，[]，[]]，[[]]]）：-!.n2s（67，[[]，[]，[]，[[]，[]]）：-!.n2s（68，[[]，[]，[]，[[]，[]]]）：-!.n2s（69，[[]，[]，[]，[[]]]）：-!.n2（70，[[]，[]，[]，[[]，[]]）：-!.n2（71，[[]，[]，[]，[[]]，[[]]]）：-!.n2（72，[[]，[]，[]，[[]，[]]，[]]）：-!.n2（73，[[]，[]，[]，[[]，[]]]）：-！。n2s（74，[[]，[]，[]，[[]，[[]]]）：-!.n2（75，[[]，[]，[]，[[[]]]，[]]）：-!.n2s（76，[[]，[]，[[]]，[[]]）：-!.n2（77，[[]，[]，[]，[[[]，[]]]）：-!.n2（78，[[]，[]，[，[[[]]]]）：-!.n2（79，[[]，[[]]，[]，[]，[]]）：-!.n2（80，[[]，[[]]，[]，[[]]]）：-!.n2（81，[[]，[[]]，[[]]，[]]）：-!.n2（82，[[]，[[]]，[[]，[]]]）：-!.n2（83，[[]，[[]]，[[]]]）：-!.n2s（84，[[]，[[]，[]]，[]，[]]）：-!.n2s（85，[[]，[[]，[]]，[[]]]）：-!.n2（86，[[]，[[[]，[]，[]，[]]，[〕]）：-!.n2s（87，[[]，[[]，[]，[]，[]]]）：-!.n2s（88，[[]，[[]，[]，[[]]]）：-!.n2s（89，[[]，[[]，[[]]]，[]]）：-!.n2s（90，[[]，[[]，[[]]，[]]]）：-!.n2（91，[[]，[[]]，[[]，[]]]）：-!.n2（92，[[]，[[[]，[[]]]]）：-！。n2（93，[[]，[[[]]]，[]，[]]）：-!.n2（94，[[]，[[[]]]，[[]]]）：-!.n2s（95，[[]，[[]]，[[]]，[[]]）：-!.n2（96，[[]，[[[]]，[]，[]]]）：-!.n2（97，[[]，[[[]]，[[]]]）：-!.n2（98，[[]，[[[]，[]]]，[]）：-!.n2（99，[[]，[[[]，[]]，[]]]）：-!.n2（100，[[]，[[[]，[]，[]]]）：-!.n2（101，[[]，[[[]，[[]]]]）：-!.n2（102，[[]，[[[]]]，[]]）：-!.n2s（103，[[]，[[[]]]，[]]）：-!.n2（104，[[]，[[[]]，[]]]）：-!.n2（105，[[]，[[[[]，[]]]]）：-!.n2（106，[[]，[[]]]]]）：-!.n2s（107，[[]]，[]，[]，[]，[]）：-!.n2（108，[[[]]，[]，[[]，[[]]]）：-!.n2（109，[[[]]，[]，[[]]]，[]]）：-!.n2（110，[[[]]，[]，[[]，[]]]）：-!.n2s（111，[[[]]，[]，[[]]]）：-！。n2（112，[[[]]，[[]]]，[]，[]]）：-!.n2s（113，[[[]]，[[]，[[]]]）：-!.n2s（114，[[]]，[[]，[[]]，[[]]）：-!.n2（115，[[[]]，[[]，[]，[]]]）：-!.n2（116，[[[]]，[[]，[[]]]）：-!.n2（117，[[[]]，[[]]]，[]]）：-!.n2s（118，[[[]]，[[[]]，[]]]）：-!.n2（119，[[[]]，[[[]，[]]]）：-!.n2（120，[[[]]，[[[]]]]）：-!.n2（121，[[[]，[]]，[]，[]，[]]）：-!.n2（122，[[[]，[]]，[]，[[]]]）：-!.n2s（123，[[[]，[]，[[]]，[]]）：-!.n2s（124，[[[]，[]]，[[]，[]]]）：-!.n2（125，[[[]，[]]，[[]]]）：-!.n2s（126，[[[]，[]，[]，[]，[]）：-!.n2（127，[[[]，[]，[]]，[[]]]）：-!.n2（128，[[[]，[]，[]，[]]，[]]）：-!.n2（129，[[[]，[]，[]，[]]，[]]]）：-!.n2（130，[[[]，[]，[]，[[]]]）：-！。n2（131，[[[]，[]，[[]]]，[]]）：-!.n2（132，[[[]，[]，[[]]，[]]]）：-!.n2s（133，[[[]，[]，[[]，[]]]）：-!.n2（134，[[[]，[]，[[[]]]]）：-!.n2（135，[[[]，[[]]]，[]，[]]）：-!.n2（136，[[[]，[[]]]，[[]]]）：-!.n2（137，[[[]，[[]]，[]]，[]]）：-!.n2（138，[[[]，[[]]，[]，[]]]）：-!.n2（139，[[[]，[[]]，[[]]]）：-!.n2（140，[[[]，[[]、[]]]，[]]）：-!.n2（141，[[[]，[[]、[]]、[]）：-!.n2（142，[[[]，[[]、[]、[]、[]]]）：-!.n2（143、[[[]、[[]，[[]]]]）：-!.n2（144，[[[]，[[]]]，[]]）：-!.n2s（145，[[[]，[[]]]，[]]]）：-!.n2（146，[[[]，[[]]，[]]]）：-!.n2（147，[[[]，[[[]，[]]]]）：-!.n2（148，[[[]，[[[[]]]]]）：-!.n2（149，[[[[]]]，[]，[]，[]]）：-！。n2（150，[[[]]]，[]，[[]]）：-!.n2（151，[[[]]]，[[]]，[]]）：-!.n2s（152，[[[[]]，[[]，[[]]）：-!.n2（153，[[[]]]，[[]]）：-!.n2（154，[[[]]，[]]、[]、[]]）：-!.n2（155，[[[[]]，[]]、[[]]]）：-!.n2（156、[[[]]、[]、[]]和[]]）：-!.n2s（157，[[[[]]，[]，[[]，[]]]）：-!.n2（158，[[[[]]，[]，[[]]]）：-!.n2（159，[[[[]]，[[]]]，[]]）：-!.n2（160，[[[[]]，[[]]]，[]]]）：-!.n2（161，[[[[]]，[[]，[]]]）：-!.n2（162，[[[[]]，[[]]]]）：-!.n2（163，[[[]，[]]]，[]，[]]）：-!.n2s（164，[[[]，[[]]，[[]]）：-!.n2（165，[[[]，[]]，[]，[]]）：-!.n2（166，[[[]，[]]，[]，[]]]）：-!.n2（167，[[[]，[]]，[[]]]）：-!.n2（168，[[[]，[]，[]]]，[]]）：-！。n2（169，[[[]，[]，[]]，[]]]）：-!.n2（170，[[[]，[]，[]，[]]]）：-!.n2s（171，[[[]，[]，[[]]]]]）：-!.n2（172，[[[[]，[[]]]，[]]）：-!.n2（173，[[[[]，[[]]]，[]]）：-!.n2（174，[[[]，[[]]，[]]]）：-!.n2（175，[[[[]，[[[]，[]]]]）：-!.n2（176，[[[[]，[[]]]]]）：-!.n2s（177，[[]]]，[]，[]]）：-!.n2s（178，[[[]]]，[[]]）：-!.n2s（179，[[]]]，[]]，[]]）：-!.n2s（180，[[[]]]，[]，[]]]]）：-!.n2s（181，[[[]]]，[[]]）：-!.n2s（182，[[[]]，[]]]，[]]）：-!.n2s（183，[[[[[[]]，[[]]，[[]]）：-!.n2s（184，[[[]]，[]，[]]]）：-!.n2s（185，[[[]]，[[]]]]）：-!.n2s（186，[[[]，[]]]]，[]）：-!.n2s（187，[[[]，[]]]，[]]]）：-！。n2s（188，[[]，[]，[]]]）：-!.n2s（189，[[]，[]，[]]]]）：-!.n2s（190，[[[[[[]]，[[]]]]]]）：-!.n2s（191，[]]]]]，[]]）：-!.n2s（192，[]]]，[]]）：-!.n2s（193，[]]，[]]]）：-!.n2s（194，[]]，[]]]]）：-!.n2s（195，[]，[]]]]]）：-!.n2s（196，[]]]]]）：-!.