OAI/Combinatorics/HoneycombChords/YangBaxterPositive.lean

GitHub source file

252 declarations, 0 contain sorry, 0 declared as axioms

Yang–Baxter components with first spin positive.

This development follows the finite strip transfer calculation for critical honeycomb walks in the companion paper on uniform marked polygon estimates.

  1. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001010 line 22
  2. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001100 line 31
  3. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002011 line 40
  4. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002020 line 49
  5. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002101 line 58
  6. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002110 line 67
  7. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002200 line 76
  8. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011002 line 85
  9. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011020 line 94
  10. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011101 line 103
  11. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011110 line 112
  12. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011200 line 121
  13. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012021 line 130
  14. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012102 line 139
  15. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012111 line 148
  16. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012120 line 157
  17. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012201 line 166
  18. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020011 line 175
  19. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020020 line 184
  20. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020101 line 193
  21. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020110 line 202
  22. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021102 line 211
  23. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021111 line 220
  24. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021120 line 229
  25. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022112 line 238
  26. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022121 line 247
  27. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010001 line 256
  28. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020002 line 265
  29. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020200 line 274
  30. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021012 line 283
  31. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021210 line 292
  32. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022202 line 301
  33. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022211 line 310
  34. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022220 line 319
  35. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000000 line 327
  36. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000001 line 333
  37. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000002 line 339
  38. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000010 line 345
  39. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000011 line 351
  40. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000012 line 357
  41. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000020 line 363
  42. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000021 line 369
  43. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000022 line 375
  44. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000100 line 381
  45. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000101 line 387
  46. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000102 line 393
  47. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000110 line 399
  48. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000111 line 405
  49. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000112 line 411
  50. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000120 line 417
  51. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000121 line 423
  52. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000122 line 429
  53. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000200 line 435
  54. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000201 line 441
  55. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000202 line 447
  56. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000210 line 453
  57. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000211 line 459
  58. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000212 line 465
  59. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000220 line 471
  60. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000221 line 477
  61. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_000222 line 483
  62. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001000 line 489
  63. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001001 line 495
  64. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001002 line 501
  65. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001011 line 507
  66. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001012 line 513
  67. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001020 line 519
  68. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001021 line 525
  69. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001022 line 531
  70. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001101 line 537
  71. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001102 line 543
  72. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001110 line 549
  73. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001111 line 555
  74. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001112 line 561
  75. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001120 line 567
  76. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001121 line 573
  77. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001122 line 579
  78. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001200 line 585
  79. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001201 line 591
  80. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001202 line 597
  81. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001210 line 603
  82. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001211 line 609
  83. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001212 line 615
  84. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001220 line 621
  85. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001221 line 627
  86. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_001222 line 633
  87. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002000 line 639
  88. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002001 line 645
  89. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002002 line 651
  90. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002010 line 657
  91. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002012 line 663
  92. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002021 line 669
  93. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002022 line 675
  94. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002100 line 681
  95. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002102 line 687
  96. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002111 line 693
  97. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002112 line 699
  98. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002120 line 705
  99. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002121 line 711
  100. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002122 line 717
  101. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002201 line 723
  102. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002202 line 729
  103. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002210 line 735
  104. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002211 line 741
  105. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002212 line 747
  106. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002220 line 753
  107. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002221 line 759
  108. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_002222 line 765
  109. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010000 line 771
  110. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010002 line 777
  111. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010010 line 783
  112. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010011 line 789
  113. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010012 line 795
  114. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010020 line 801
  115. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010021 line 807
  116. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010022 line 813
  117. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010100 line 819
  118. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010101 line 825
  119. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010102 line 831
  120. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010110 line 837
  121. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010111 line 843
  122. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010112 line 849
  123. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010120 line 855
  124. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010121 line 861
  125. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010122 line 867
  126. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010200 line 873
  127. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010201 line 879
  128. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010202 line 885
  129. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010210 line 891
  130. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010211 line 897
  131. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010212 line 903
  132. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010220 line 909
  133. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010221 line 915
  134. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_010222 line 921
  135. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011000 line 927
  136. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011001 line 933
  137. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011010 line 939
  138. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011011 line 945
  139. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011012 line 951
  140. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011021 line 957
  141. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011022 line 963
  142. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011100 line 969
  143. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011102 line 975
  144. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011111 line 981
  145. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011112 line 987
  146. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011120 line 993
  147. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011121 line 999
  148. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011122 line 1005
  149. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011201 line 1011
  150. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011202 line 1017
  151. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011210 line 1023
  152. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011211 line 1029
  153. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011212 line 1035
  154. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011220 line 1041
  155. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011221 line 1047
  156. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_011222 line 1053
  157. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012000 line 1059
  158. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012001 line 1065
  159. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012002 line 1071
  160. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012010 line 1077
  161. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012011 line 1083
  162. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012012 line 1089
  163. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012020 line 1095
  164. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012022 line 1101
  165. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012100 line 1107
  166. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012101 line 1113
  167. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012110 line 1119
  168. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012112 line 1125
  169. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012121 line 1131
  170. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012122 line 1137
  171. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012200 line 1143
  172. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012202 line 1149
  173. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012210 line 1155
  174. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012211 line 1161
  175. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012212 line 1167
  176. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012220 line 1173
  177. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012221 line 1179
  178. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_012222 line 1185
  179. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020000 line 1191
  180. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020001 line 1197
  181. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020010 line 1203
  182. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020012 line 1209
  183. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020021 line 1215
  184. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020022 line 1221
  185. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020100 line 1227
  186. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020102 line 1233
  187. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020111 line 1239
  188. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020112 line 1245
  189. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020120 line 1251
  190. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020121 line 1257
  191. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020122 line 1263
  192. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020201 line 1269
  193. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020202 line 1275
  194. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020210 line 1281
  195. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020211 line 1287
  196. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020212 line 1293
  197. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020220 line 1299
  198. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020221 line 1305
  199. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_020222 line 1311
  200. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021000 line 1317
  201. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021001 line 1323
  202. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021002 line 1329
  203. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021010 line 1335
  204. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021011 line 1341
  205. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021020 line 1347
  206. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021021 line 1353
  207. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021022 line 1359
  208. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021100 line 1365
  209. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021101 line 1371
  210. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021110 line 1377
  211. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021112 line 1383
  212. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021121 line 1389
  213. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021122 line 1395
  214. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021200 line 1401
  215. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021201 line 1407
  216. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021202 line 1413
  217. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021211 line 1419
  218. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021212 line 1425
  219. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021220 line 1431
  220. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021221 line 1437
  221. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_021222 line 1443
  222. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022000 line 1449
  223. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022001 line 1455
  224. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022002 line 1461
  225. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022010 line 1467
  226. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022011 line 1473
  227. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022012 line 1479
  228. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022020 line 1485
  229. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022021 line 1491
  230. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022022 line 1497
  231. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022100 line 1503
  232. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022101 line 1509
  233. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022102 line 1515
  234. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022110 line 1521
  235. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022111 line 1527
  236. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022120 line 1533
  237. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022122 line 1539
  238. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022200 line 1545
  239. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022201 line 1551
  240. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022210 line 1557
  241. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022212 line 1563
  242. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022221 line 1569
  243. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.component_022222 line 1575
  244. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_000 line 1581
  245. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_001 line 1614
  246. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_002 line 1647
  247. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_010 line 1680
  248. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_011 line 1713
  249. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_012 line 1746
  250. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_020 line 1779
  251. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_021 line 1812
  252. lemma OAI.CriticalHoneycomb.Transfer.YangBaxter.block_022 line 1845