first commit

2021-05-18 00:03:45 +08:00
parent ca6ffedb45
commit 6d284528b4
430 changed files with 1467034 additions and 0 deletions
--- a/eval/mac/test/auto/galechurch/015.align
+++ b/eval/mac/test/auto/galechurch/015.align
@@ -0,0 +1,154 @@
+[0, 1]:[0]
+[2, 3]:[1, 2]
+[4]:[3]
+[5]:[4]
+[6]:[5]
+[7]:[6]
+[8, 9]:[7]
+[10]:[8]
+[11]:[9]
+[12]:[10, 11]
+[13]:[12]
+[14, 15]:[13]
+[16]:[14]
+[17]:[15]
+[18]:[16]
+[19]:[17, 18]
+[20]:[19, 20]
+[21]:[21]
+[22]:[22]
+[23]:[23]
+[24]:[24, 25]
+[25, 26]:[26]
+[27]:[27]
+[28]:[28]
+[29]:[29]
+[30, 31]:[30]
+[32]:[31]
+[33]:[32]
+[34, 35]:[33]
+[36]:[34]
+[37]:[35]
+[38]:[36]
+[39]:[37]
+[40]:[38]
+[41]:[39]
+[42]:[40]
+[43]:[41]
+[44]:[42]
+[45]:[43]
+[46]:[44]
+[47]:[45]
+[48, 49]:[46]
+[50]:[47]
+[51]:[48]
+[52, 53]:[49]
+[54]:[50]
+[55, 56]:[51]
+[57]:[52, 53]
+[58]:[54]
+[59]:[55]
+[60]:[56]
+[61]:[57]
+[62]:[58, 59]
+[63]:[60]
+[64]:[61, 62]
+[65]:[63]
+[66]:[64]
+[67]:[65]
+[68]:[66, 67]
+[69]:[68]
+[70]:[69]
+[71]:[70]
+[72]:[71]
+[73]:[72]
+[74]:[73]
+[75]:[74]
+[76]:[75]
+[77, 78]:[76]
+[79]:[77]
+[80]:[78]
+[81]:[79]
+[82]:[80]
+[83, 84]:[81, 82]
+[85]:[83, 84]
+[86]:[85, 86]
+[87, 88]:[87, 88]
+[89]:[89]
+[90]:[90, 91]
+[91]:[92]
+[92]:[93, 94]
+[93]:[95]
+[94]:[96, 97]
+[95]:[98]
+[96]:[99]
+[97]:[100]
+[98]:[101]
+[99]:[102]
+[100]:[103]
+[101]:[104]
+[102]:[105]
+[103]:[106]
+[104]:[107]
+[105]:[108]
+[106, 107]:[109]
+[108]:[110]
+[109]:[111]
+[110]:[112]
+[111]:[113]
+[112]:[114]
+[113]:[115, 116]
+[114]:[117, 118]
+[115]:[119]
+[116]:[120]
+[117, 118]:[121, 122]
+[119]:[123]
+[120]:[124]
+[121]:[125]
+[122, 123]:[126]
+[124]:[127]
+[125]:[128]
+[126]:[129]
+[127, 128]:[130, 131]
+[129]:[132]
+[130]:[133, 134]
+[131]:[135]
+[132]:[136]
+[133]:[137]
+[134]:[138, 139]
+[135]:[140]
+[136]:[141, 142]
+[137]:[143, 144]
+[138]:[145]
+[139]:[146]
+[140]:[147]
+[141]:[148]
+[142]:[149]
+[143]:[150]
+[144, 145]:[151]
+[146]:[152]
+[147]:[153]
+[148]:[154, 155]
+[149]:[156]
+[150]:[157]
+[151]:[158, 159]
+[152]:[160, 161]
+[153]:[162]
+[154]:[163, 164]
+[155]:[165, 166]
+[156]:[167]
+[157]:[168]
+[158]:[169]
+[159]:[170]
+[160]:[171]
+[161]:[172]
+[162]:[173]
+[163]:[174]
+[164]:[175]
+[165]:[176]
+[166]:[177, 178]
+[167]:[179, 180]
+[168]:[181]
+[169]:[182]
+[170]:[183, 184]
+[171]:[185, 186]