https://filesoo.com/product/82653/six-vertex-loop-and-tiling-models-integrability-and-combinatorics