34static const MBool caseStatesLs[15][2] = {
58static const MBool caseStatesSTL[15][2] = {
81static const MInt caseCutPoints[15] = {
122static const MInt cases[256][2] = {
391static const MInt noAmbiguousFaces[15] = {
421static const MInt test3[24][1] = {
464static const MInt test6[48][1] = {
537static const MInt test7[16][3] = {
573static const MInt test10[6][2] = {
600static const MInt test12[24][2] = {
639static const MInt test13[2][6] = {
650static const MInt tiling1Ls[16][3] = {
673static const MInt tiling2Ls[24][6] = {
675 {0, 11, 2, 8, 11, 0},
679 {3, 10, 1, 11, 10, 3},
684 {10, 4, 9, 6, 4, 10},
685 {11, 5, 10, 7, 5, 11},
686 {11, 10, 5, 7, 11, 5},
687 {10, 9, 4, 6, 10, 4},
692 {3, 1, 10, 11, 3, 10},
696 {0, 2, 11, 8, 0, 11},
705static const MInt tiling3_1Ls[24][6] = {
713 {10, 1, 2, 6, 11, 7},
715 {2, 3, 11, 10, 6, 5},
720 {11, 3, 2, 5, 6, 10},
722 {2, 1, 10, 7, 11, 6},
729 {3, 8, 0, 10, 2, 1}};
737static const MInt tiling3_2Ls[24][12] = {
738 {10, 3, 2, 10, 8, 3, 10, 1, 0, 8, 10, 0},
739 {3, 4, 8, 3, 5, 4, 3, 0, 9, 5, 3, 9},
740 {6, 8, 7, 6, 0, 8, 6, 11, 3, 0, 6, 3},
741 {11, 0, 3, 11, 9, 0, 11, 2, 1, 9, 11, 1},
742 {7, 9, 4, 7, 1, 9, 7, 8, 0, 1, 7, 0},
743 {6, 1, 10, 6, 0, 1, 9, 0, 6, 9, 6, 5},
744 {4, 10, 5, 4, 2, 10, 4, 9, 1, 2, 4, 1},
745 {7, 2, 11, 7, 1, 2, 7, 6, 10, 1, 7, 10},
746 {2, 7, 11, 2, 4, 7, 2, 3, 8, 4, 2, 8},
747 {5, 11, 6, 5, 3, 11, 5, 10, 2, 3, 5, 2},
748 {8, 6, 7, 8, 10, 6, 8, 4, 5, 10, 8, 5},
749 {11, 5, 6, 11, 9, 5, 11, 7, 4, 9, 11, 4},
750 {6, 5, 11, 5, 9, 11, 4, 7, 11, 4, 11, 9},
751 {7, 6, 8, 6, 10, 8, 5, 4, 8, 5, 8, 10},
752 {6, 11, 5, 11, 3, 5, 2, 10, 5, 2, 5, 3},
753 {11, 7, 2, 7, 4, 2, 8, 3, 2, 8, 2, 4},
754 {11, 2, 7, 2, 1, 7, 10, 6, 7, 10, 7, 1},
755 {5, 10, 4, 10, 2, 4, 1, 9, 4, 1, 4, 2},
756 {10, 1, 6, 1, 0, 6, 6, 0, 9, 5, 6, 9},
757 {4, 9, 7, 9, 1, 7, 0, 8, 7, 0, 7, 1},
758 {3, 0, 11, 0, 9, 11, 1, 2, 11, 1, 11, 9},
759 {7, 8, 6, 8, 0, 6, 3, 11, 6, 3, 6, 0},
760 {8, 4, 3, 4, 5, 3, 9, 0, 3, 9, 3, 5},
761 {2, 3, 10, 3, 8, 10, 0, 1, 10, 0, 10, 8}};
769static const MInt tiling4Ls[8][6] = {
777 {3, 8, 0, 6, 10, 5}};
785static const MInt tiling5Ls[48][9] = {
786 {2, 8, 3, 2, 10, 8, 10, 9, 8},
787 {1, 11, 2, 1, 9, 11, 9, 8, 11},
788 {4, 1, 9, 4, 7, 1, 7, 3, 1},
789 {8, 5, 4, 8, 3, 5, 3, 1, 5},
790 {0, 10, 1, 0, 8, 10, 8, 11, 10},
791 {11, 4, 7, 11, 2, 4, 2, 0, 4},
792 {7, 0, 8, 7, 6, 0, 6, 2, 0},
793 {9, 3, 0, 9, 5, 3, 5, 7, 3},
794 {3, 6, 11, 3, 0, 6, 0, 4, 6},
795 {3, 9, 0, 3, 11, 9, 11, 10, 9},
796 {5, 2, 10, 5, 4, 2, 4, 0, 2},
797 {9, 6, 5, 9, 0, 6, 0, 2, 6},
798 {0, 7, 8, 0, 1, 7, 1, 5, 7},
799 {10, 0, 1, 10, 6, 0, 6, 4, 0},
800 {6, 3, 11, 6, 5, 3, 5, 1, 3},
801 {10, 7, 6, 10, 1, 7, 1, 3, 7},
802 {1, 4, 9, 1, 2, 4, 2, 6, 4},
803 {11, 1, 2, 11, 7, 1, 7, 5, 1},
804 {8, 2, 3, 8, 4, 2, 4, 6, 2},
805 {2, 5, 10, 2, 3, 5, 3, 7, 5},
806 {7, 10, 6, 7, 8, 10, 8, 9, 10},
807 {6, 9, 5, 6, 11, 9, 11, 8, 9},
808 {5, 8, 4, 5, 10, 8, 10, 11, 8},
809 {4, 11, 7, 4, 9, 11, 9, 10, 11},
810 {4, 7, 11, 4, 11, 9, 9, 11, 10},
811 {5, 4, 8, 5, 8, 10, 10, 8, 11},
812 {6, 5, 9, 6, 9, 11, 11, 9, 8},
813 {7, 6, 10, 7, 10, 8, 8, 10, 9},
814 {2, 10, 5, 2, 5, 3, 3, 5, 7},
815 {8, 3, 2, 8, 2, 4, 4, 2, 6},
816 {11, 2, 1, 11, 1, 7, 7, 1, 5},
817 {1, 9, 4, 1, 4, 2, 2, 4, 6},
818 {10, 6, 7, 10, 7, 1, 1, 7, 3},
819 {6, 11, 3, 6, 3, 5, 5, 3, 1},
820 {10, 1, 0, 10, 0, 6, 6, 0, 4},
821 {0, 8, 7, 0, 7, 1, 1, 7, 5},
822 {9, 5, 6, 9, 6, 0, 0, 6, 2},
823 {5, 10, 2, 5, 2, 4, 4, 2, 0},
824 {3, 0, 9, 3, 9, 11, 11, 9, 10},
825 {3, 11, 6, 3, 6, 0, 0, 6, 4},
826 {9, 0, 3, 9, 3, 5, 5, 3, 7},
827 {7, 8, 0, 7, 0, 6, 6, 0, 2},
828 {11, 7, 4, 11, 4, 2, 2, 4, 0},
829 {0, 1, 10, 0, 10, 8, 8, 10, 11},
830 {8, 4, 5, 8, 5, 3, 3, 5, 1},
831 {4, 9, 1, 4, 1, 7, 7, 1, 3},
832 {1, 2, 11, 1, 11, 9, 9, 11, 8},
833 {2, 3, 8, 2, 8, 10, 10, 8, 9}};
841static const MInt tiling6_1_1Ls[48][9] = {
842 {6, 5, 10, 3, 1, 8, 9, 8, 1},
843 {11, 7, 6, 9, 3, 1, 3, 9, 8},
844 {1, 2, 10, 7, 0, 4, 0, 7, 3},
845 {3, 0, 8, 5, 2, 6, 2, 5, 1},
846 {5, 4, 9, 2, 0, 11, 8, 11, 0},
847 {10, 6, 5, 8, 2, 0, 2, 8, 11},
848 {10, 6, 5, 0, 4, 3, 7, 3, 4},
849 {3, 0, 8, 6, 4, 10, 9, 10, 4},
850 {8, 3, 0, 10, 7, 5, 7, 10, 11},
851 {8, 4, 7, 10, 0, 2, 0, 10, 9},
852 {7, 6, 11, 0, 2, 9, 10, 9, 2},
853 {2, 3, 11, 4, 1, 5, 1, 4, 0},
854 {0, 1, 9, 6, 3, 7, 3, 6, 2},
855 {9, 0, 1, 11, 4, 6, 4, 11, 8},
856 {11, 7, 6, 1, 5, 0, 4, 0, 5},
857 {0, 1, 9, 7, 5, 11, 10, 11, 5},
858 {4, 7, 8, 1, 3, 10, 11, 10, 3},
859 {9, 5, 4, 11, 1, 3, 1, 11, 10},
860 {10, 1, 2, 8, 5, 7, 5, 8, 9},
861 {8, 4, 7, 2, 6, 1, 5, 1, 6},
862 {1, 2, 10, 4, 6, 8, 11, 8, 6},
863 {2, 3, 11, 5, 7, 9, 8, 9, 7},
864 {11, 2, 3, 9, 6, 4, 6, 9, 10},
865 {9, 5, 4, 3, 7, 2, 6, 2, 7},
866 {4, 5, 9, 2, 7, 3, 7, 2, 6},
867 {3, 2, 11, 4, 6, 9, 10, 9, 6},
868 {11, 3, 2, 9, 7, 5, 7, 9, 8},
869 {10, 2, 1, 8, 6, 4, 6, 8, 11},
870 {7, 4, 8, 1, 6, 2, 6, 1, 5},
871 {2, 1, 10, 7, 5, 8, 9, 8, 5},
872 {4, 5, 9, 3, 1, 11, 10, 11, 1},
873 {8, 7, 4, 10, 3, 1, 3, 10, 11},
874 {9, 1, 0, 11, 5, 7, 5, 11, 10},
875 {6, 7, 11, 0, 5, 1, 5, 0, 4},
876 {1, 0, 9, 6, 4, 11, 8, 11, 4},
877 {9, 1, 0, 7, 3, 6, 2, 6, 3},
878 {11, 3, 2, 5, 1, 4, 0, 4, 1},
879 {11, 6, 7, 9, 2, 0, 2, 9, 10},
880 {7, 4, 8, 2, 0, 10, 9, 10, 0},
881 {0, 3, 8, 5, 7, 10, 11, 10, 7},
882 {8, 0, 3, 10, 4, 6, 4, 10, 9},
883 {5, 6, 10, 3, 4, 0, 4, 3, 7},
884 {5, 6, 10, 0, 2, 8, 11, 8, 2},
885 {9, 4, 5, 11, 0, 2, 0, 11, 8},
886 {8, 0, 3, 6, 2, 5, 1, 5, 2},
887 {10, 2, 1, 4, 0, 7, 3, 7, 0},
888 {6, 7, 11, 1, 3, 9, 8, 9, 3},
889 {10, 5, 6, 8, 1, 3, 1, 8, 9}};
897static const MInt tiling6_2Ls[48][15] = {
898 {1, 10, 3, 6, 3, 10, 3, 6, 8, 5, 8, 6, 8, 5, 9},
899 {1, 11, 3, 11, 1, 6, 9, 6, 1, 6, 9, 7, 8, 7, 9},
900 {4, 1, 0, 1, 4, 10, 7, 10, 4, 10, 7, 2, 3, 2, 7},
901 {6, 3, 2, 3, 6, 8, 5, 8, 6, 8, 5, 0, 1, 0, 5},
902 {0, 9, 2, 5, 2, 9, 2, 5, 11, 4, 11, 5, 11, 4, 8},
903 {0, 10, 2, 10, 0, 5, 8, 5, 0, 5, 8, 6, 11, 6, 8},
904 {4, 5, 0, 10, 0, 5, 0, 10, 3, 6, 3, 10, 3, 6, 7},
905 {4, 8, 6, 3, 6, 8, 6, 3, 10, 0, 10, 3, 10, 0, 9},
906 {5, 8, 7, 8, 5, 0, 10, 0, 5, 0, 10, 3, 11, 3, 10},
907 {2, 8, 0, 8, 2, 7, 10, 7, 2, 7, 10, 4, 9, 4, 10},
908 {2, 11, 0, 7, 0, 11, 0, 7, 9, 6, 9, 7, 9, 6, 10},
909 {5, 2, 1, 2, 5, 11, 4, 11, 5, 11, 4, 3, 0, 3, 4},
910 {7, 0, 3, 0, 7, 9, 6, 9, 7, 9, 6, 1, 2, 1, 6},
911 {6, 9, 4, 9, 6, 1, 11, 1, 6, 1, 11, 0, 8, 0, 11},
912 {5, 6, 1, 11, 1, 6, 1, 11, 0, 7, 0, 11, 0, 7, 4},
913 {5, 9, 7, 0, 7, 9, 7, 0, 11, 1, 11, 0, 11, 1, 10},
914 {3, 8, 1, 4, 1, 8, 1, 4, 10, 7, 10, 4, 10, 7, 11},
915 {3, 9, 1, 9, 3, 4, 11, 4, 3, 4, 11, 5, 10, 5, 11},
916 {7, 10, 5, 10, 7, 2, 8, 2, 7, 2, 8, 1, 9, 1, 8},
917 {6, 7, 2, 8, 2, 7, 2, 8, 1, 4, 1, 8, 1, 4, 5},
918 {6, 10, 4, 1, 4, 10, 4, 1, 8, 2, 8, 1, 8, 2, 11},
919 {7, 11, 5, 2, 5, 11, 5, 2, 9, 3, 9, 2, 9, 3, 8},
920 {4, 11, 6, 11, 4, 3, 9, 3, 4, 3, 9, 2, 10, 2, 9},
921 {7, 4, 3, 9, 3, 4, 3, 9, 2, 5, 2, 9, 2, 5, 6},
922 {3, 4, 7, 4, 3, 9, 2, 9, 3, 9, 2, 5, 6, 5, 2},
923 {6, 11, 4, 3, 4, 11, 4, 3, 9, 2, 9, 3, 9, 2, 10},
924 {5, 11, 7, 11, 5, 2, 9, 2, 5, 2, 9, 3, 8, 3, 9},
925 {4, 10, 6, 10, 4, 1, 8, 1, 4, 1, 8, 2, 11, 2, 8},
926 {2, 7, 6, 7, 2, 8, 1, 8, 2, 8, 1, 4, 5, 4, 1},
927 {5, 10, 7, 2, 7, 10, 7, 2, 8, 1, 8, 2, 8, 1, 9},
928 {1, 9, 3, 4, 3, 9, 3, 4, 11, 5, 11, 4, 11, 5, 10},
929 {1, 8, 3, 8, 1, 4, 10, 4, 1, 4, 10, 7, 11, 7, 10},
930 {7, 9, 5, 9, 7, 0, 11, 0, 7, 0, 11, 1, 10, 1, 11},
931 {1, 6, 5, 6, 1, 11, 0, 11, 1, 11, 0, 7, 4, 7, 0},
932 {4, 9, 6, 1, 6, 9, 6, 1, 11, 0, 11, 1, 11, 0, 8},
933 {3, 0, 7, 9, 7, 0, 7, 9, 6, 1, 6, 9, 6, 1, 2},
934 {1, 2, 5, 11, 5, 2, 5, 11, 4, 3, 4, 11, 4, 3, 0},
935 {0, 11, 2, 11, 0, 7, 9, 7, 0, 7, 9, 6, 10, 6, 9},
936 {0, 8, 2, 7, 2, 8, 2, 7, 10, 4, 10, 7, 10, 4, 9},
937 {7, 8, 5, 0, 5, 8, 5, 0, 10, 3, 10, 0, 10, 3, 11},
938 {6, 8, 4, 8, 6, 3, 10, 3, 6, 3, 10, 0, 9, 0, 10},
939 {0, 5, 4, 5, 0, 10, 3, 10, 0, 10, 3, 6, 7, 6, 3},
940 {2, 10, 0, 5, 0, 10, 0, 5, 8, 6, 8, 5, 8, 6, 11},
941 {2, 9, 0, 9, 2, 5, 11, 5, 2, 5, 11, 4, 8, 4, 11},
942 {2, 3, 6, 8, 6, 3, 6, 8, 5, 0, 5, 8, 5, 0, 1},
943 {0, 1, 4, 10, 4, 1, 4, 10, 7, 2, 7, 10, 7, 2, 3},
944 {3, 11, 1, 6, 1, 11, 1, 6, 9, 7, 9, 6, 9, 7, 8},
945 {3, 10, 1, 10, 3, 6, 8, 6, 3, 6, 8, 5, 9, 5, 8}};
953static const MInt tiling7_1Ls[16][9] = {
954 {9, 5, 4, 10, 1, 2, 8, 3, 0},
955 {11, 7, 6, 8, 3, 0, 10, 1, 2},
956 {3, 0, 8, 5, 4, 9, 7, 6, 11},
957 {8, 4, 7, 9, 0, 1, 11, 2, 3},
958 {10, 6, 5, 11, 2, 3, 9, 0, 1},
959 {0, 1, 9, 6, 5, 10, 4, 7, 8},
960 {1, 2, 10, 7, 6, 11, 5, 4, 9},
961 {2, 3, 11, 4, 7, 8, 6, 5, 10},
962 {11, 3, 2, 8, 7, 4, 10, 5, 6},
963 {10, 2, 1, 11, 6, 7, 9, 4, 5},
964 {9, 1, 0, 10, 5, 6, 8, 7, 4},
965 {5, 6, 10, 3, 2, 11, 1, 0, 9},
966 {7, 4, 8, 1, 0, 9, 3, 2, 11},
967 {8, 0, 3, 9, 4, 5, 11, 6, 7},
968 {6, 7, 11, 0, 3, 8, 2, 1, 10},
969 {4, 5, 9, 2, 1, 10, 0, 3, 8}};
977static const MInt tiling7_2Ls[16][3][15] = {
978 { {1, 2, 10, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9},
979 {3, 0, 8, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2},
980 {9, 5, 4, 0, 10, 1, 10, 0, 8, 10, 8, 2, 3, 2, 8}},
982 { {3, 0, 8, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11},
983 {1, 2, 10, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0},
984 {11, 7, 6, 2, 8, 3, 8, 2, 10, 8, 10, 0, 1, 0, 10}},
986 { {9, 5, 4, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0},
987 {11, 7, 6, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9},
988 {3, 0, 8, 4, 9, 7, 11, 7, 9, 5, 11, 9, 11, 5, 6}},
990 { {0, 1, 9, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8},
991 {2, 3, 11, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1},
992 {8, 4, 7, 3, 9, 0, 9, 3, 11, 9, 11, 1, 2, 1, 11}},
994 { {2, 3, 11, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10},
995 {0, 1, 9, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3},
996 {6, 5, 10, 1, 11, 2, 11, 1, 9, 11, 9, 3, 0, 3, 9}},
998 { {6, 5, 10, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1},
999 {8, 4, 7, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10},
1000 {0, 1, 9, 5, 10, 4, 8, 4, 10, 6, 8, 10, 8, 6, 7}},
1002 { {11, 7, 6, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2},
1003 {9, 5, 4, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11},
1004 {1, 2, 10, 6, 11, 5, 9, 5, 11, 7, 9, 11, 9, 7, 4}},
1006 { {8, 4, 7, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3},
1007 {6, 5, 10, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8},
1008 {2, 3, 11, 7, 8, 6, 10, 6, 8, 4, 10, 8, 10, 4, 5}},
1010 { {7, 4, 8, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11},
1011 {10, 5, 6, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4},
1012 {11, 3, 2, 6, 8, 7, 8, 6, 10, 8, 10, 4, 5, 4, 10}},
1014 { {6, 7, 11, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10},
1015 {4, 5, 9, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7},
1016 {10, 2, 1, 5, 11, 6, 11, 5, 9, 11, 9, 7, 4, 7, 9}},
1018 { {10, 5, 6, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9},
1019 {7, 4, 8, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6},
1020 {9, 1, 0, 4, 10, 5, 10, 4, 8, 10, 8, 6, 7, 6, 8}},
1022 { {11, 3, 2, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6},
1023 {9, 1, 0, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11},
1024 {10, 5, 6, 2, 11, 1, 9, 1, 11, 3, 9, 11, 9, 3, 0}},
1026 { {9, 1, 0, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4},
1027 {11, 3, 2, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9},
1028 {7, 4, 8, 0, 9, 3, 11, 3, 9, 1, 11, 9, 11, 1, 2}},
1030 { {4, 5, 9, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8},
1031 {6, 7, 11, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5},
1032 {8, 0, 3, 7, 9, 4, 9, 7, 11, 9, 11, 5, 6, 5, 11}},
1034 { {8, 0, 3, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7},
1035 {10, 2, 1, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8},
1036 {6, 7, 11, 3, 8, 2, 10, 2, 8, 0, 10, 8, 10, 0, 1}},
1038 { {10, 2, 1, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5},
1039 {8, 0, 3, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10},
1040 {4, 5, 9, 1, 10, 0, 8, 0, 10, 2, 8, 10, 8, 2, 3}}};
1048static const MInt tiling7_3Ls[16][3][27] = {
1050 {12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2},
1051 {12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5},
1052 {5, 4, 12, 10, 5, 12, 2, 10, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12}},
1054 { {12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0},
1055 {12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7},
1056 {7, 6, 12, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12}},
1058 { {9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12},
1059 {3, 0, 12, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12, 8, 7, 12, 0, 8, 12},
1060 {12, 3, 0, 12, 0, 9, 12, 9, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3}},
1062 { {12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1},
1063 {12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3, 12, 3, 8, 12, 8, 4},
1064 {4, 7, 12, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12, 8, 0, 12, 7, 8, 12}},
1066 { {12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3},
1067 {12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1, 12, 1, 10, 12, 10, 6},
1068 {6, 5, 12, 11, 6, 12, 3, 11, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12, 10, 2, 12, 5, 10, 12}},
1070 { {10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12},
1071 {0, 1, 12, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12, 9, 4, 12, 1, 9, 12},
1072 {12, 0, 1, 12, 1, 10, 12, 10, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0}},
1074 { {11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12},
1075 {1, 2, 12, 9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 6, 11, 12, 5, 6, 12, 10, 5, 12, 2, 10, 12},
1076 {12, 1, 2, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1}},
1078 { {8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12},
1079 {2, 3, 12, 10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 7, 8, 12, 6, 7, 12, 11, 6, 12, 3, 11, 12},
1080 {12, 2, 3, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2}},
1082 { {12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4},
1083 {12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 7, 12, 7, 6, 12, 6, 11, 12, 11, 3},
1084 {3, 2, 12, 8, 3, 12, 4, 8, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12}},
1086 { {12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7},
1087 {12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 6, 12, 6, 5, 12, 5, 10, 12, 10, 2},
1088 {2, 1, 12, 11, 2, 12, 7, 11, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12}},
1090 { {12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6},
1091 {12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 5, 12, 5, 4, 12, 4, 9, 12, 9, 1},
1092 {1, 0, 12, 10, 1, 12, 6, 10, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12}},
1094 { {11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12},
1095 {5, 6, 12, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12, 10, 1, 12, 6, 10, 12},
1096 {12, 5, 6, 12, 6, 11, 12, 11, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2, 12, 2, 10, 12, 10, 5}},
1098 { {9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 2, 11, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12},
1099 {7, 4, 12, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12, 8, 3, 12, 4, 8, 12},
1100 {12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0, 12, 0, 8, 12, 8, 7}},
1102 { {12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5},
1103 {12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 4, 12, 4, 7, 12, 7, 8, 12, 8, 0},
1104 {0, 3, 12, 9, 0, 12, 5, 9, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12}},
1106 { {8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12},
1107 {6, 7, 12, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12},
1108 {12, 6, 7, 12, 7, 8, 12, 8, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6}},
1110 { {10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12},
1111 {4, 5, 12, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12},
1112 {12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4}}};
1120static const MInt tiling7_4_1Ls[16][15] = {
1121 {3, 4, 8, 4, 3, 10, 2, 10, 3, 4, 10, 5, 9, 1, 0},
1122 {1, 6, 10, 6, 1, 8, 0, 8, 1, 6, 8, 7, 11, 3, 2},
1123 {11, 3, 6, 9, 6, 3, 6, 9, 5, 0, 9, 3, 7, 4, 8},
1124 {2, 7, 11, 7, 2, 9, 1, 9, 2, 7, 9, 4, 8, 0, 3},
1125 {0, 5, 9, 5, 0, 11, 3, 11, 0, 5, 11, 6, 10, 2, 1},
1126 {8, 0, 7, 10, 7, 0, 7, 10, 6, 1, 10, 0, 4, 5, 9},
1127 {9, 1, 4, 11, 4, 1, 4, 11, 7, 2, 11, 1, 5, 6, 10},
1128 {10, 2, 5, 8, 5, 2, 5, 8, 4, 3, 8, 2, 6, 7, 11},
1129 {5, 2, 10, 2, 5, 8, 4, 8, 5, 2, 8, 3, 11, 7, 6},
1130 {4, 1, 9, 1, 4, 11, 7, 11, 4, 1, 11, 2, 10, 6, 5},
1131 {7, 0, 8, 0, 7, 10, 6, 10, 7, 0, 10, 1, 9, 5, 4},
1132 {9, 5, 0, 11, 0, 5, 0, 11, 3, 6, 11, 5, 1, 2, 10},
1133 {11, 7, 2, 9, 2, 7, 2, 9, 1, 4, 9, 7, 3, 0, 8},
1134 {6, 3, 11, 3, 6, 9, 5, 9, 6, 3, 9, 0, 8, 4, 7},
1135 {10, 6, 1, 8, 1, 6, 1, 8, 0, 7, 8, 6, 2, 3, 11},
1136 {8, 4, 3, 10, 3, 4, 3, 10, 2, 5, 10, 4, 0, 1, 9}};
1144static const MInt tiling8Ls[6][6] = {
1145 {9, 8, 10, 10, 8, 11},
1150 {9, 10, 8, 10, 11, 8}};
1158static const MInt tiling9Ls[8][12] = {
1159 {2, 10, 5, 3, 2, 5, 3, 5, 4, 3, 4, 8},
1160 {4, 7, 11, 9, 4, 11, 9, 11, 2, 9, 2, 1},
1161 {10, 7, 6, 1, 7, 10, 1, 8, 7, 1, 0, 8},
1162 {3, 6, 11, 0, 6, 3, 0, 5, 6, 0, 9, 5},
1163 {3, 11, 6, 0, 3, 6, 0, 6, 5, 0, 5, 9},
1164 {10, 6, 7, 1, 10, 7, 1, 7, 8, 1, 8, 0},
1165 {4, 11, 7, 9, 11, 4, 9, 2, 11, 9, 1, 2},
1166 {2, 5, 10, 3, 5, 2, 3, 4, 5, 3, 8, 4}};
1174static const MInt tiling10_1_1Ls[6][12] = {
1175 {5, 10, 7, 11, 7, 10, 8, 1, 9, 1, 8, 3},
1176 {1, 2, 5, 6, 5, 2, 4, 3, 0, 3, 4, 7},
1177 {11, 0, 8, 0, 11, 2, 4, 9, 6, 10, 6, 9},
1178 {9, 0, 10, 2, 10, 0, 6, 8, 4, 8, 6, 11},
1179 {7, 2, 3, 2, 7, 6, 0, 1, 4, 5, 4, 1},
1180 {7, 9, 5, 9, 7, 8, 10, 1, 11, 3, 11, 1}};
1188static const MInt tiling10_1_1_Ls[6][12] = {
1189 {5, 9, 7, 8, 7, 9, 11, 1, 10, 1, 11, 3},
1190 {3, 2, 7, 6, 7, 2, 4, 1, 0, 1, 4, 5},
1191 {10, 0, 9, 0, 10, 2, 4, 8, 6, 11, 6, 8},
1192 {8, 0, 11, 2, 11, 0, 6, 9, 4, 9, 6, 10},
1193 {5, 2, 1, 2, 5, 6, 0, 3, 4, 7, 4, 3},
1194 {7, 10, 5, 10, 7, 11, 9, 1, 8, 3, 8, 1}};
1202static const MInt tiling10_2Ls[6][24] = {
1203 {12, 5, 9, 12, 9, 8, 12, 8, 3, 12, 3, 1,
1204 12, 1, 10, 12, 10, 11, 12, 11, 7, 12, 7, 5},
1205 {12, 1, 0, 12, 0, 4, 12, 4, 7, 12, 7, 3,
1206 12, 3, 2, 12, 2, 6, 12, 6, 5, 12, 5, 1},
1207 {4, 8, 12, 6, 4, 12, 10, 6, 12, 9, 10, 12,
1208 0, 9, 12, 2, 0, 12, 11, 2, 12, 8, 11, 12},
1209 {12, 9, 4, 12, 4, 6, 12, 6, 11, 12, 11, 8,
1210 12, 8, 0, 12, 0, 2, 12, 2, 10, 12, 10, 9},
1211 {0, 3, 12, 4, 0, 12, 5, 4, 12, 1, 5, 12,
1212 2, 1, 12, 6, 2, 12, 7, 6, 12, 3, 7, 12},
1213 {10, 5, 12, 11, 10, 12, 3, 11, 12, 1, 3, 12,
1214 9, 1, 12, 8, 9, 12, 7, 8, 12, 5, 7, 12}};
1222static const MInt tiling10_2_Ls[6][24] = {
1223 {8, 7, 12, 9, 8, 12, 1, 9, 12, 3, 1, 12,
1224 11, 3, 12, 10, 11, 12, 5, 10, 12, 7, 5, 12},
1225 {4, 5, 12, 0, 4, 12, 3, 0, 12, 7, 3, 12,
1226 6, 7, 12, 2, 6, 12, 1, 2, 12, 5, 1, 12},
1227 {12, 11, 6, 12, 6, 4, 12, 4, 9, 12, 9, 10,
1228 12, 10, 2, 12, 2, 0, 12, 0, 8, 12, 8, 11},
1229 {6, 10, 12, 4, 6, 12, 8, 4, 12, 11, 8, 12,
1230 2, 11, 12, 0, 2, 12, 9, 0, 12, 10, 9, 12},
1231 {12, 7, 4, 12, 4, 0, 12, 0, 1, 12, 1, 5,
1232 12, 5, 6, 12, 6, 2, 12, 2, 3, 12, 3, 7},
1233 {12, 7, 11, 12, 11, 10, 12, 10, 1, 12, 1, 3,
1234 12, 3, 8, 12, 8, 9, 12, 9, 5, 12, 5, 7}};
1242static const MInt tiling11Ls[12][12] = {
1243 {2, 10, 9, 2, 9, 7, 2, 7, 3, 7, 9, 4},
1244 {1, 6, 2, 1, 8, 6, 1, 9, 8, 8, 7, 6},
1245 {8, 3, 1, 8, 1, 6, 8, 6, 4, 6, 1, 10},
1246 {0, 8, 11, 0, 11, 5, 0, 5, 1, 5, 11, 6},
1247 {9, 5, 7, 9, 7, 2, 9, 2, 0, 2, 7, 11},
1248 {5, 0, 4, 5, 11, 0, 5, 10, 11, 11, 3, 0},
1249 {5, 4, 0, 5, 0, 11, 5, 11, 10, 11, 0, 3},
1250 {9, 7, 5, 9, 2, 7, 9, 0, 2, 2, 11, 7},
1251 {0, 11, 8, 0, 5, 11, 0, 1, 5, 5, 6, 11},
1252 {8, 1, 3, 8, 6, 1, 8, 4, 6, 6, 10, 1},
1253 {1, 2, 6, 1, 6, 8, 1, 8, 9, 8, 6, 7},
1254 {2, 9, 10, 2, 7, 9, 2, 3, 7, 7, 4, 9}};
1262static const MInt tiling12_1_1Ls[24][12] = {
1263 {7, 6, 11, 10, 3, 2, 3, 10, 8, 9, 8, 10},
1264 {6, 5, 10, 9, 2, 1, 2, 9, 11, 8, 11, 9},
1265 {10, 6, 5, 7, 9, 4, 9, 7, 1, 3, 1, 7},
1266 {7, 6, 11, 4, 8, 5, 3, 5, 8, 5, 3, 1},
1267 {5, 4, 9, 8, 1, 0, 1, 8, 10, 11, 10, 8},
1268 {1, 2, 10, 0, 9, 3, 5, 3, 9, 3, 5, 7},
1269 {10, 1, 2, 0, 11, 3, 11, 0, 6, 4, 6, 0},
1270 {8, 3, 0, 2, 9, 1, 9, 2, 4, 6, 4, 2},
1271 {3, 0, 8, 2, 11, 1, 7, 1, 11, 1, 7, 5},
1272 {6, 5, 10, 7, 11, 4, 2, 4, 11, 4, 2, 0},
1273 {9, 5, 4, 6, 8, 7, 8, 6, 0, 2, 0, 6},
1274 {8, 3, 0, 7, 4, 11, 9, 11, 4, 11, 9, 10},
1275 {4, 7, 8, 11, 0, 3, 0, 11, 9, 10, 9, 11},
1276 {4, 7, 8, 5, 9, 6, 0, 6, 9, 6, 0, 2},
1277 {11, 7, 6, 4, 10, 5, 10, 4, 2, 0, 2, 4},
1278 {11, 2, 3, 1, 8, 0, 8, 1, 7, 5, 7, 1},
1279 {0, 1, 9, 3, 8, 2, 4, 2, 8, 2, 4, 6},
1280 {2, 3, 11, 1, 10, 0, 6, 0, 10, 0, 6, 4},
1281 {9, 0, 1, 3, 10, 2, 10, 3, 5, 7, 5, 3},
1282 {9, 0, 1, 4, 5, 8, 10, 8, 5, 8, 10, 11},
1283 {8, 4, 7, 5, 11, 6, 11, 5, 3, 1, 3, 5},
1284 {5, 4, 9, 6, 10, 7, 1, 7, 10, 7, 1, 3},
1285 {10, 1, 2, 5, 6, 9, 11, 9, 6, 9, 11, 8},
1286 {11, 2, 3, 6, 7, 10, 8, 10, 7, 10, 8, 9}};
1294static const MInt tiling12_1_1_Ls[24][12] = {
1295 {3, 2, 11, 10, 7, 6, 7, 10, 8, 9, 8, 10},
1296 {2, 1, 10, 9, 6, 5, 6, 9, 11, 8, 11, 9},
1297 {9, 4, 5, 7, 10, 6, 10, 7, 1, 3, 1, 7},
1298 {7, 4, 8, 6, 11, 5, 3, 5, 11, 5, 3, 1},
1299 {1, 0, 9, 8, 5, 4, 5, 8, 10, 11, 10, 8},
1300 {1, 0, 9, 2, 10, 3, 5, 3, 10, 3, 5, 7},
1301 {11, 3, 2, 0, 10, 1, 10, 0, 6, 4, 6, 0},
1302 {9, 1, 0, 2, 8, 3, 8, 2, 4, 6, 4, 2},
1303 {3, 2, 11, 0, 8, 1, 7, 1, 8, 1, 7, 5},
1304 {6, 7, 11, 5, 10, 4, 2, 4, 10, 4, 2, 0},
1305 {8, 7, 4, 6, 9, 5, 9, 6, 0, 2, 0, 6},
1306 {8, 7, 4, 3, 0, 11, 9, 11, 0, 11, 9, 10},
1307 {0, 3, 8, 11, 4, 7, 4, 11, 9, 10, 9, 11},
1308 {4, 5, 9, 7, 8, 6, 0, 6, 8, 6, 0, 2},
1309 {10, 5, 6, 4, 11, 7, 11, 4, 2, 0, 2, 4},
1310 {8, 0, 3, 1, 11, 2, 11, 1, 7, 5, 7, 1},
1311 {0, 3, 8, 1, 9, 2, 4, 2, 9, 2, 4, 6},
1312 {2, 1, 10, 3, 11, 0, 6, 0, 11, 0, 6, 4},
1313 {10, 2, 1, 3, 9, 0, 9, 3, 5, 7, 5, 3},
1314 {9, 4, 5, 0, 1, 8, 10, 8, 1, 8, 10, 11},
1315 {11, 6, 7, 5, 8, 4, 8, 5, 3, 1, 3, 5},
1316 {5, 6, 10, 4, 9, 7, 1, 7, 9, 7, 1, 3},
1317 {10, 5, 6, 1, 2, 9, 11, 9, 2, 9, 11, 8},
1318 {11, 6, 7, 2, 3, 10, 8, 10, 3, 10, 8, 9}};
1326static const MInt tiling12_2Ls[24][24] = {
1327 {9, 8, 12, 10, 9, 12, 2, 10, 12, 3, 2, 12,
1328 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12},
1329 {8, 11, 12, 9, 8, 12, 1, 9, 12, 2, 1, 12,
1330 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12},
1331 {3, 1, 12, 7, 3, 12, 4, 7, 12, 9, 4, 12,
1332 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12},
1333 {12, 3, 1, 12, 1, 5, 12, 5, 6, 12, 6, 11,
1334 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3},
1335 {11, 10, 12, 8, 11, 12, 0, 8, 12, 1, 0, 12,
1336 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12},
1337 {12, 5, 7, 12, 7, 3, 12, 3, 2, 12, 2, 10,
1338 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5},
1339 {4, 6, 12, 0, 4, 12, 1, 0, 12, 10, 1, 12,
1340 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12},
1341 {6, 4, 12, 2, 6, 12, 3, 2, 12, 8, 3, 12,
1342 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12},
1343 {12, 7, 5, 12, 5, 1, 12, 1, 0, 12, 0, 8,
1344 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7},
1345 {12, 2, 0, 12, 0, 4, 12, 4, 5, 12, 5, 10,
1346 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2},
1347 {2, 0, 12, 6, 2, 12, 7, 6, 12, 8, 7, 12,
1348 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12},
1349 {12, 9, 10, 12, 10, 11, 12, 11, 7, 12, 7, 4,
1350 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9},
1351 {10, 9, 12, 11, 10, 12, 7, 11, 12, 4, 7, 12,
1352 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12},
1353 {12, 0, 2, 12, 2, 6, 12, 6, 7, 12, 7, 8,
1354 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0},
1355 {0, 2, 12, 4, 0, 12, 5, 4, 12, 10, 5, 12,
1356 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12},
1357 {5, 7, 12, 1, 5, 12, 0, 1, 12, 8, 0, 12,
1358 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12},
1359 {12, 4, 6, 12, 6, 2, 12, 2, 3, 12, 3, 8,
1360 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4},
1361 {12, 6, 4, 12, 4, 0, 12, 0, 1, 12, 1, 10,
1362 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6},
1363 {7, 5, 12, 3, 7, 12, 2, 3, 12, 10, 2, 12,
1364 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12},
1365 {12, 10, 11, 12, 11, 8, 12, 8, 0, 12, 0, 1,
1366 12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10},
1367 {1, 3, 12, 5, 1, 12, 6, 5, 12, 11, 6, 12,
1368 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12},
1369 {12, 1, 3, 12, 3, 7, 12, 7, 4, 12, 4, 9,
1370 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1},
1371 {12, 11, 8, 12, 8, 9, 12, 9, 1, 12, 1, 2,
1372 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11},
1373 {12, 8, 9, 12, 9, 10, 12, 10, 2, 12, 2, 3,
1374 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8}};
1382static const MInt tiling12_2_Ls[24][24] = {
1383 {12, 2, 11, 12, 11, 7, 12, 7, 6, 12, 6, 10,
1384 12, 10, 9, 12, 9, 8, 12, 8, 3, 12, 3, 2},
1385 {12, 1, 10, 12, 10, 6, 12, 6, 5, 12, 5, 9,
1386 12, 9, 8, 12, 8, 11, 12, 11, 2, 12, 2, 1},
1387 {12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7,
1388 12, 7, 3, 12, 3, 1, 12, 1, 9, 12, 9, 4},
1389 {7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12,
1390 1, 5, 12, 3, 1, 12, 11, 3, 12, 6, 11, 12},
1391 {12, 0, 9, 12, 9, 5, 12, 5, 4, 12, 4, 8,
1392 12, 8, 11, 12, 11, 10, 12, 10, 1, 12, 1, 0},
1393 {1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12,
1394 7, 3, 12, 5, 7, 12, 10, 5, 12, 2, 10, 12},
1395 {12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0,
1396 12, 0, 4, 12, 4, 6, 12, 6, 10, 12, 10, 1},
1397 {12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2,
1398 12, 2, 6, 12, 6, 4, 12, 4, 8, 12, 8, 3},
1399 {3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12,
1400 5, 1, 12, 7, 5, 12, 8, 7, 12, 0, 8, 12},
1401 {6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12,
1402 0, 4, 12, 2, 0, 12, 10, 2, 12, 5, 10, 12},
1403 {12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6,
1404 12, 6, 2, 12, 2, 0, 12, 0, 8, 12, 8, 7},
1405 {8, 7, 12, 0, 8, 12, 3, 0, 12, 11, 3, 12,
1406 10, 11, 12, 9, 10, 12, 4, 9, 12, 7, 4, 12},
1407 {12, 7, 8, 12, 8, 0, 12, 0, 3, 12, 3, 11,
1408 12, 11, 10, 12, 10, 9, 12, 9, 4, 12, 4, 7},
1409 {4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12,
1410 2, 6, 12, 0, 2, 12, 8, 0, 12, 7, 8, 12},
1411 {12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4,
1412 12, 4, 0, 12, 0, 2, 12, 2, 10, 12, 10, 5},
1413 {12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1,
1414 12, 1, 5, 12, 5, 7, 12, 7, 8, 12, 8, 0},
1415 {0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12,
1416 6, 2, 12, 4, 6, 12, 8, 4, 12, 3, 8, 12},
1417 {2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12,
1418 4, 0, 12, 6, 4, 12, 10, 6, 12, 1, 10, 12},
1419 {12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3,
1420 12, 3, 7, 12, 7, 5, 12, 5, 10, 12, 10, 2},
1421 {9, 0, 12, 5, 9, 12, 4, 5, 12, 8, 4, 12,
1422 11, 8, 12, 10, 11, 12, 1, 10, 12, 0, 1, 12},
1423 {12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5,
1424 12, 5, 1, 12, 1, 3, 12, 3, 11, 12, 11, 6},
1425 {5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12,
1426 3, 7, 12, 1, 3, 12, 9, 1, 12, 4, 9, 12},
1427 {10, 1, 12, 6, 10, 12, 5, 6, 12, 9, 5, 12,
1428 8, 9, 12, 11, 8, 12, 2, 11, 12, 1, 2, 12},
1429 {11, 2, 12, 7, 11, 12, 6, 7, 12, 10, 6, 12,
1430 9, 10, 12, 8, 9, 12, 3, 8, 12, 2, 3, 12}};
1438static const MInt tiling14Ls[12][12] = {
1439 {5, 9, 8, 5, 8, 2, 5, 2, 6, 3, 2, 8},
1440 {2, 1, 5, 2, 5, 8, 2, 8, 11, 4, 8, 5},
1441 {9, 4, 6, 9, 6, 3, 9, 3, 1, 11, 3, 6},
1442 {1, 11, 10, 1, 4, 11, 1, 0, 4, 7, 11, 4},
1443 {8, 2, 0, 8, 5, 2, 8, 7, 5, 10, 2, 5},
1444 {0, 7, 3, 0, 10, 7, 0, 9, 10, 6, 7, 10},
1445 {0, 3, 7, 0, 7, 10, 0, 10, 9, 6, 10, 7},
1446 {8, 0, 2, 8, 2, 5, 8, 5, 7, 10, 5, 2},
1447 {1, 10, 11, 1, 11, 4, 1, 4, 0, 7, 4, 11},
1448 {9, 6, 4, 9, 3, 6, 9, 1, 3, 11, 6, 3},
1449 {2, 5, 1, 2, 8, 5, 2, 11, 8, 4, 5, 8},
1450 {5, 8, 9, 5, 2, 8, 5, 6, 2, 3, 8, 2}};
1459static const MInt tiling13_1Ls[2][12] = {
1460 {11, 7, 6, 1, 2, 10, 8, 3, 0, 9, 5, 4},
1461 {8, 4, 7, 2, 3, 11, 9, 0, 1, 10, 6, 5}};
1471static const MInt tiling13_1_Ls[2][12] = {
1472 {7, 4, 8, 11, 3, 2, 1, 0, 9, 5, 6, 10},
1473 {6, 7, 11, 10, 2, 1, 0, 3, 8, 4, 5, 9}};
1482static const MInt tiling13_2Ls[2][6][18] = {
1483 { {1, 2, 10, 11, 7, 6, 3, 4, 8, 4, 3, 5, 0, 5, 3, 5, 0, 9},
1484 {8, 3, 0, 11, 7, 6, 9, 1, 4, 2, 4, 1, 4, 2, 5, 10, 5, 2},
1485 {9, 5, 4, 8, 3, 0, 1, 6, 10, 6, 1, 7, 2, 7, 1, 7, 2, 11},
1486 {9, 5, 4, 1, 2, 10, 11, 3, 6, 0, 6, 3, 6, 0, 7, 8, 7, 0},
1487 {9, 5, 4, 11, 7, 6, 0, 10, 1, 10, 0, 8, 10, 8, 2, 3, 2, 8},
1488 {1, 2, 10, 3, 0, 8, 4, 9, 7, 11, 7, 9, 5, 11, 9, 11, 5, 6}},
1489 { {2, 3, 11, 8, 4, 7, 0, 5, 9, 5, 0, 6, 1, 6, 0, 6, 1, 10},
1490 {9, 0, 1, 8, 4, 7, 10, 2, 5, 3, 5, 2, 5, 3, 6, 11, 6, 3},
1491 {6, 5, 10, 9, 0, 1, 2, 7, 11, 7, 2, 4, 3, 4, 2, 4, 3, 8},
1492 {6, 5, 10, 2, 3, 11, 8, 0, 7, 1, 7, 0, 7, 1, 4, 9, 4, 1},
1493 {6, 5, 10, 8, 4, 7, 1, 11, 2, 11, 1, 9, 11, 9, 3, 0, 3, 9},
1494 {2, 3, 11, 0, 1, 9, 5, 10, 4, 8, 4, 10, 6, 8, 10, 8, 6, 7}}};
1503static const MInt tiling13_2_Ls[2][6][18] = {
1504 { {10, 5, 6, 11, 3, 2, 7, 0, 8, 0, 7, 1, 4, 1, 7, 1, 4, 9},
1505 {11, 3, 2, 7, 4, 8, 9, 5, 0, 6, 0, 5, 0, 6, 1, 10, 1, 6},
1506 {1, 0, 9, 7, 4, 8, 5, 2, 10, 2, 5, 3, 6, 3, 5, 3, 6, 11},
1507 {10, 5, 6, 1, 0, 9, 11, 7, 2, 4, 2, 7, 2, 4, 3, 8, 3, 4},
1508 {10, 5, 6, 7, 4, 8, 2, 11, 1, 9, 1, 11, 3, 9, 11, 9, 3, 0},
1509 {11, 3, 2, 9, 1, 0, 4, 10, 5, 10, 4, 8, 10, 8, 6, 7, 6, 8}},
1510 { {6, 7, 11, 8, 0, 3, 4, 1, 9, 1, 4, 2, 5, 2, 4, 2, 5, 10},
1511 {8, 0, 3, 4, 5, 9, 10, 6, 1, 7, 1, 6, 1, 7, 2, 11, 2, 7},
1512 {2, 1, 10, 4, 5, 9, 6, 3, 11, 3, 6, 0, 7, 0, 6, 0, 7, 8},
1513 {6, 7, 11, 2, 1, 10, 8, 4, 3, 5, 3, 4, 3, 5, 0, 9, 0, 5},
1514 {6, 7, 11, 4, 5, 9, 3, 8, 2, 10, 2, 8, 0, 10, 8, 10, 0, 1},
1515 {8, 0, 3, 10, 2, 1, 5, 11, 6, 11, 5, 9, 11, 9, 7, 4, 7, 9}}};
1524static const MInt tiling13_3Ls[2][12][30] = {
1526 { {11, 7, 6, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2},
1527 {1, 2, 10, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12},
1528 {11, 7, 6, 12, 5, 4, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 1, 12, 1, 0, 12, 0, 9, 12, 9, 5},
1529 {1, 2, 10, 12, 3, 0, 12, 0, 9, 12, 9, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4, 12, 4, 8, 12, 8, 3},
1530 {8, 3, 0, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12},
1531 {11, 7, 6, 5, 4, 12, 10, 5, 12, 2, 10, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12, 9, 1, 12, 4, 9, 12},
1532 {8, 3, 0, 1, 2, 12, 9, 1, 12, 4, 9, 12, 7, 4, 12, 11, 7, 12, 6, 11, 12, 5, 6, 12, 10, 5, 12, 2, 10, 12},
1533 {9, 5, 4, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0},
1534 {9, 5, 4, 12, 7, 6, 12, 6, 10, 12, 10, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2, 12, 2, 11, 12, 11, 7},
1535 {8, 3, 0, 12, 1, 2, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6, 12, 6, 10, 12, 10, 1},
1536 {9, 5, 4, 7, 6, 12, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12, 11, 3, 12, 6, 11, 12},
1537 {1, 2, 10, 3, 0, 12, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12, 8, 7, 12, 0, 8, 12}},
1539 { {8, 4, 7, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3},
1540 {2, 3, 11, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12},
1541 {8, 4, 7, 12, 6, 5, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 2, 12, 2, 1, 12, 1, 10, 12, 10, 6},
1542 {2, 3, 11, 12, 0, 1, 12, 1, 10, 12, 10, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5, 12, 5, 9, 12, 9, 0},
1543 {0, 1, 9, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12},
1544 {8, 4, 7, 6, 5, 12, 11, 6, 12, 3, 11, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12, 10, 2, 12, 5, 10, 12},
1545 {9, 0, 1, 2, 3, 12, 10, 2, 12, 5, 10, 12, 4, 5, 12, 8, 4, 12, 7, 8, 12, 6, 7, 12, 11, 6, 12, 3, 11, 12},
1546 {6, 5, 10, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1},
1547 {6, 5, 10, 12, 4, 7, 12, 7, 11, 12, 11, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3, 12, 3, 8, 12, 8, 4},
1548 {9, 0, 1, 12, 2, 3, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7, 12, 7, 11, 12, 11, 2},
1549 {6, 5, 10, 4, 7, 12, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12, 8, 0, 12, 7, 8, 12},
1550 {2, 3, 11, 0, 1, 12, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12, 9, 4, 12, 1, 9, 12}}};
1559static const MInt tiling13_3_Ls[2][12][30] = {
1561 { {3, 2, 11, 8, 7, 12, 0, 8, 12, 1, 0, 12, 10, 1, 12, 6, 10, 12, 5, 6, 12, 9, 5, 12, 4, 9, 12, 7, 4, 12},
1562 {5, 6, 10, 12, 2, 11, 12, 11, 7, 12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 0, 12, 0, 8, 12, 8, 3, 12, 3, 2},
1563 {10, 5, 6, 12, 7, 4, 12, 4, 9, 12, 9, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0, 12, 0, 8, 12, 8, 7},
1564 {11, 3, 2, 12, 1, 0, 12, 0, 8, 12, 8, 7, 12, 7, 6, 12, 6, 10, 12, 10, 5, 12, 5, 4, 12, 4, 9, 12, 9, 1},
1565 {7, 4, 8, 11, 3, 12, 6, 11, 12, 5, 6, 12, 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12},
1566 {7, 4, 8, 5, 6, 12, 9, 5, 12, 0, 9, 12, 3, 0, 12, 11, 3, 12, 2, 11, 12, 1, 2, 12, 10, 1, 12, 6, 10, 12},
1567 {11, 3, 2, 1, 0, 12, 10, 1, 12, 6, 10, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12, 9, 5, 12, 0, 9, 12},
1568 {1, 0, 9, 12, 4, 8, 12, 8, 3, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4},
1569 {7, 4, 8, 12, 5, 6, 12, 6, 11, 12, 11, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2, 12, 2, 10, 12, 10, 5},
1570 {1, 0, 9, 12, 3, 2, 12, 2, 10, 12, 10, 5, 12, 5, 4, 12, 4, 8, 12, 8, 7, 12, 7, 6, 12, 6, 11, 12, 11, 3},
1571 {10, 5, 6, 7, 4, 12, 11, 7, 12, 2, 11, 12, 1, 2, 12, 9, 1, 12, 0, 9, 12, 3, 0, 12, 8, 3, 12, 4, 8, 12},
1572 {9, 1, 0, 3, 2, 12, 8, 3, 12, 4, 8, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12, 11, 7, 12, 2, 11, 12}},
1574 { {0, 3, 8, 9, 4, 12, 1, 9, 12, 2, 1, 12, 11, 2, 12, 7, 11, 12, 6, 7, 12, 10, 6, 12, 5, 10, 12, 4, 5, 12},
1575 {11, 6, 7, 12, 3, 8, 12, 8, 4, 12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 1, 12, 1, 9, 12, 9, 0, 12, 0, 3},
1576 {6, 7, 11, 12, 4, 5, 12, 5, 10, 12, 10, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1, 12, 1, 9, 12, 9, 4},
1577 {8, 0, 3, 12, 2, 1, 12, 1, 9, 12, 9, 4, 12, 4, 7, 12, 7, 11, 12, 11, 6, 12, 6, 5, 12, 5, 10, 12, 10, 2},
1578 {4, 5, 9, 8, 0, 12, 7, 8, 12, 6, 7, 12, 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12},
1579 {4, 5, 9, 6, 7, 12, 10, 6, 12, 1, 10, 12, 0, 1, 12, 8, 0, 12, 3, 8, 12, 2, 3, 12, 11, 2, 12, 7, 11, 12},
1580 {8, 0, 3, 2, 1, 12, 11, 2, 12, 7, 11, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12, 10, 6, 12, 1, 10, 12},
1581 {2, 1, 10, 12, 5, 9, 12, 9, 0, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5},
1582 {4, 5, 9, 12, 6, 7, 12, 7, 8, 12, 8, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3, 12, 3, 11, 12, 11, 6},
1583 {2, 1, 10, 12, 0, 3, 12, 3, 11, 12, 11, 6, 12, 6, 5, 12, 5, 9, 12, 9, 4, 12, 4, 7, 12, 7, 8, 12, 8, 0},
1584 {6, 7, 11, 4, 5, 12, 8, 4, 12, 3, 8, 12, 2, 3, 12, 10, 2, 12, 1, 10, 12, 0, 1, 12, 9, 0, 12, 5, 9, 12},
1585 {10, 2, 1, 0, 3, 12, 9, 0, 12, 5, 9, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12, 8, 4, 12, 3, 8, 12}}};
1594static const MInt tiling13_4Ls[2][4][36] = {
1595 { {12, 2, 10, 12, 10, 5, 12, 5, 6, 12, 6, 11, 12, 11, 7, 12, 7, 4,
1596 12, 4, 8, 12, 8, 3, 12, 3, 0, 12, 0, 9, 12, 9, 1, 12, 1, 2},
1597 {11, 3, 12, 6, 11, 12, 7, 6, 12, 8, 7, 12, 4, 8, 12, 5, 4, 12,
1598 9, 5, 12, 0, 9, 12, 1, 0, 12, 10, 1, 12, 2, 10, 12, 3, 2, 12},
1599 {9, 1, 12, 4, 9, 12, 5, 4, 12, 10, 5, 12, 6, 10, 12, 7, 6, 12,
1600 11, 7, 12, 2, 11, 12, 3, 2, 12, 8, 3, 12, 0, 8, 12, 1, 0, 12},
1601 {12, 0, 8, 12, 8, 7, 12, 7, 4, 12, 4, 9, 12, 9, 5, 12, 5, 6,
1602 12, 6, 10, 12, 10, 1, 12, 1, 2, 12, 2, 11, 12, 11, 3, 12, 3, 0}},
1603 { {12, 3, 11, 12, 11, 6, 12, 6, 7, 12, 7, 8, 12, 8, 4, 12, 4, 5,
1604 12, 5, 9, 12, 9, 0, 12, 0, 1, 12, 1, 10, 12, 10, 2, 12, 2, 3},
1605 {8, 0, 12, 7, 8, 12, 4, 7, 12, 9, 4, 12, 5, 9, 12, 6, 5, 12,
1606 10, 6, 12, 1, 10, 12, 2, 1, 12, 11, 2, 12, 3, 11, 12, 0, 3, 12},
1607 {10, 2, 12, 5, 10, 12, 6, 5, 12, 11, 6, 12, 7, 11, 12, 4, 7, 12,
1608 8, 4, 12, 3, 8, 12, 0, 3, 12, 9, 0, 12, 1, 9, 12, 2, 1, 12},
1609 {12, 1, 9, 12, 9, 4, 12, 4, 5, 12, 5, 10, 12, 10, 6, 12, 6, 7,
1610 12, 7, 11, 12, 11, 2, 12, 2, 3, 12, 3, 8, 12, 8, 0, 12, 0, 1}}};
1620static const MInt tiling13_5_1Ls[2][4][18] = {
1621 { {7, 6, 11, 1, 0, 9, 10, 3, 2, 3, 10, 5, 3, 5, 8, 4, 8, 5},
1622 {1, 2, 10, 7, 4, 8, 3, 0, 11, 6, 11, 0, 9, 6, 0, 6, 9, 5},
1623 {3, 0, 8, 5, 6, 10, 1, 2, 9, 4, 9, 2, 11, 4, 2, 4, 11, 7},
1624 {5, 4, 9, 3, 2, 11, 8, 1, 0, 1, 8, 7, 1, 7, 10, 6, 10, 7}},
1625 { {4, 7, 8, 2, 1, 10, 11, 0, 3, 0, 11, 6, 0, 6, 9, 5, 9, 6},
1626 {2, 3, 11, 4, 5, 9, 0, 1, 8, 7, 8, 1, 10, 7, 1, 7, 10, 6},
1627 {0, 1, 9, 6, 7, 11, 2, 3, 10, 5, 10, 3, 8, 5, 3, 5, 8, 4},
1628 {6, 5, 10, 0, 3, 8, 9, 2, 1, 2, 9, 4, 2, 4, 11, 7, 11, 4}}};
1638static const MInt noTriangles_simpleCases[15] = {
1662static const MInt subconfig13[64] = {
1744static const MInt tiling1STL[16][7] = {
1745 {0, 0, 3, 8, 0, 3, 4},
1746 {1, 1, 0, 9, 1, 0, 4},
1747 {2, 2, 1, 10, 2, 1, 4},
1748 {3, 3, 2, 11, 3, 2, 4},
1749 {4, 7, 4, 8, 3, 0, 5},
1750 {5, 4, 5, 9, 0, 1, 5},
1751 {6, 5, 6, 10, 1, 2, 5},
1752 {7, 6, 7, 11, 2, 3, 5},
1753 {7, 6, 7, 11, 2, 3, 5},
1754 {6, 5, 6, 10, 1, 2, 5},
1755 {5, 4, 5, 9, 0, 1, 5},
1756 {4, 7, 4, 8, 3, 0, 5},
1757 {3, 3, 2, 11, 3, 2, 4},
1758 {2, 2, 1, 10, 2, 1, 4},
1759 {1, 1, 0, 9, 1, 0, 4},
1760 {0, 0, 3, 8, 0, 3, 4},
1770static const MInt tiling2STL[24][10] = {
1771 {0, 1, 8, 3, 9, 1, 0, 3, 1, 4},
1772 {3, 0, 11, 2, 8, 0, 3, 2, 0, 4},
1773 {4, 0, 4, 7, 0, 3, 0, 5, 4, 3},
1774 {1, 2, 9, 0, 10, 2, 1, 0, 2, 4},
1775 {5, 1, 5, 4, 1, 0, 1, 5, 4, 0},
1776 {2, 3, 10, 1, 11, 3, 2, 1, 3, 4},
1777 {6, 2, 6, 5, 2, 1, 2, 5, 4, 1},
1778 {7, 3, 7, 6, 3, 2, 3, 5, 4, 2},
1779 {4, 5, 7, 8, 5, 9, 5, 3, 1, 0},
1780 {7, 4, 6, 11, 4, 8, 5, 2, 0, 3},
1781 {5, 6, 4, 9, 6, 10, 5, 0, 2, 1},
1782 {6, 7, 5, 10, 7, 11, 5, 1, 3, 2},
1783 {6, 7, 5, 10, 7, 11, 5, 1, 3, 2},
1784 {5, 6, 4, 9, 6, 10, 5, 0, 2, 1},
1785 {7, 4, 6, 11, 4, 8, 5, 2, 0, 3},
1786 {4, 5, 7, 8, 5, 9, 5, 3, 1, 0},
1787 {7, 3, 7, 6, 3, 2, 3, 5, 4, 2},
1788 {6, 2, 6, 5, 2, 1, 2, 5, 4, 1},
1789 {2, 3, 10, 1, 11, 3, 2, 1, 3, 4},
1790 {5, 1, 5, 4, 1, 0, 1, 5, 4, 0},
1791 {1, 2, 9, 0, 10, 2, 1, 0, 2, 4},
1792 {4, 0, 4, 7, 0, 3, 0, 5, 4, 3},
1793 {3, 0, 11, 2, 8, 0, 3, 2, 0, 4},
1794 {0, 1, 8, 3, 9, 1, 0, 3, 1, 4}};
1802static const MInt tiling3_1STL[24][3] = {
1836static const MInt tiling3_2STL[24][15] = {
1837 {0, 2, 3, 8, 0, 1, 10, 2, 3, 0, 2, 1, 4, 1, 3},
1838 {0, 5, 0, 3, 8, 4, 5, 9, 4, 3, 1, 5, 0, 4, 1},
1839 {0, 7, 8, 0, 3, 11, 6, 7, 0, 4, 5, 2, 3, 3, 4},
1840 {1, 3, 0, 9, 1, 2, 11, 3, 0, 1, 3, 2, 4, 2, 0},
1841 {1, 4, 9, 1, 0, 8, 7, 4, 1, 4, 5, 3, 0, 0, 5},
1842 {1, 6, 1, 0, 9, 5, 6, 10, 4, 0, 2, 5, 1, 5, 2},
1843 {2, 5, 10, 2, 1, 9, 4, 5, 2, 4, 5, 0, 1, 1, 6},
1844 {2, 7, 2, 1, 10, 6, 7, 11, 4, 1, 3, 5, 2, 6, 3},
1845 {3, 4, 3, 2, 11, 7, 4, 8, 4, 2, 0, 5, 3, 7, 0},
1846 {3, 6, 11, 3, 2, 10, 5, 6, 3, 4, 5, 1, 2, 2, 7},
1847 {4, 6, 4, 8, 7, 6, 10, 5, 0, 3, 1, 2, 5, 7, 5},
1848 {5, 7, 5, 9, 4, 7, 11, 6, 1, 0, 2, 3, 5, 4, 6},
1849 {5, 7, 5, 9, 4, 7, 11, 6, 1, 0, 2, 3, 5, 4, 6},
1850 {4, 6, 4, 8, 7, 6, 10, 5, 0, 3, 1, 2, 5, 7, 5},
1851 {3, 6, 11, 3, 2, 10, 5, 6, 3, 4, 5, 1, 2, 2, 7},
1852 {3, 4, 3, 2, 11, 7, 4, 8, 4, 2, 0, 5, 3, 7, 0},
1853 {2, 7, 2, 1, 10, 6, 7, 11, 4, 1, 3, 5, 2, 6, 3},
1854 {2, 5, 10, 2, 1, 9, 4, 5, 2, 4, 5, 0, 1, 1, 6},
1855 {1, 6, 1, 0, 9, 5, 6, 10, 4, 0, 2, 5, 1, 5, 2},
1856 {1, 4, 9, 1, 0, 8, 7, 4, 1, 4, 5, 3, 0, 0, 5},
1857 {1, 3, 0, 9, 1, 2, 11, 3, 0, 1, 3, 2, 4, 2, 0},
1858 {0, 7, 8, 0, 3, 11, 6, 7, 0, 4, 5, 2, 3, 3, 4},
1859 {0, 5, 0, 3, 8, 4, 5, 9, 4, 3, 1, 5, 0, 4, 1},
1860 {0, 2, 3, 8, 0, 1, 10, 2, 3, 0, 2, 1, 4, 1, 3}};
1869static const MInt tiling4_1STL[8][2] = {
1886static const MInt tiling5STL[48][13] = {
1887 {0, 1, 2, 8, 3, 9, 10, 2, 4, 3, 0, 1, 2},
1888 {3, 0, 1, 11, 2, 8, 9, 1, 4, 2, 3, 0, 1},
1889 {1, 0, 4, 1, 9, 3, 7, 4, 0, 1, 4, 3, 5},
1890 {5, 1, 0, 5, 4, 1, 3, 8, 0, 5, 1, 4, 3},
1891 {2, 3, 0, 10, 1, 11, 8, 0, 4, 1, 2, 3, 0},
1892 {4, 0, 3, 4, 7, 0, 2, 11, 3, 5, 0, 4, 2},
1893 {0, 3, 7, 0, 8, 2, 6, 7, 3, 0, 4, 2, 5},
1894 {0, 4, 5, 3, 0, 7, 5, 9, 0, 4, 3, 5, 1},
1895 {7, 4, 0, 6, 11, 4, 0, 3, 3, 2, 5, 0, 4},
1896 {1, 2, 3, 9, 0, 10, 11, 3, 4, 0, 1, 2, 3},
1897 {2, 1, 5, 2, 10, 0, 4, 5, 1, 2, 4, 0, 5},
1898 {6, 2, 1, 6, 5, 2, 0, 9, 1, 5, 2, 4, 0},
1899 {4, 5, 1, 7, 8, 5, 1, 0, 0, 3, 5, 1, 4},
1900 {1, 5, 6, 0, 1, 4, 6, 10, 1, 4, 0, 5, 2},
1901 {3, 2, 6, 3, 11, 1, 5, 6, 2, 3, 4, 1, 5},
1902 {7, 3, 2, 7, 6, 3, 1, 10, 2, 5, 3, 4, 1},
1903 {5, 6, 2, 4, 9, 6, 2, 1, 1, 0, 5, 2, 4},
1904 {2, 6, 7, 1, 2, 5, 7, 11, 2, 4, 1, 5, 3},
1905 {3, 7, 4, 2, 3, 6, 4, 8, 3, 4, 2, 5, 0},
1906 {6, 7, 3, 5, 10, 7, 3, 2, 2, 1, 5, 3, 4},
1907 {6, 5, 4, 10, 6, 9, 8, 7, 5, 2, 1, 0, 3},
1908 {5, 4, 7, 9, 5, 8, 11, 6, 5, 1, 0, 3, 2},
1909 {4, 7, 6, 8, 4, 11, 10, 5, 5, 0, 3, 2, 1},
1910 {7, 6, 5, 11, 7, 10, 9, 4, 5, 3, 2, 1, 0},
1911 {7, 6, 5, 11, 7, 10, 9, 4, 5, 3, 2, 1, 0},
1912 {4, 7, 6, 8, 4, 11, 10, 5, 5, 0, 3, 2, 1},
1913 {5, 4, 7, 9, 5, 8, 11, 6, 5, 1, 0, 3, 2},
1914 {6, 5, 4, 10, 6, 9, 8, 7, 5, 2, 1, 0, 3},
1915 {6, 7, 3, 5, 10, 7, 3, 2, 2, 1, 5, 3, 4},
1916 {3, 7, 4, 2, 3, 6, 4, 8, 3, 4, 2, 5, 0},
1917 {2, 6, 7, 1, 2, 5, 7, 11, 2, 4, 1, 5, 3},
1918 {5, 6, 2, 4, 9, 6, 2, 1, 1, 0, 5, 2, 4},
1919 {7, 3, 2, 7, 6, 3, 1, 10, 2, 5, 3, 4, 1},
1920 {3, 2, 6, 3, 11, 1, 5, 6, 2, 3, 4, 1, 5},
1921 {1, 5, 6, 0, 1, 4, 6, 10, 1, 4, 0, 5, 2},
1922 {4, 5, 1, 7, 8, 5, 1, 0, 0, 3, 5, 1, 4},
1923 {6, 2, 1, 6, 5, 2, 0, 9, 1, 5, 2, 4, 0},
1924 {2, 1, 5, 2, 10, 0, 4, 5, 1, 2, 4, 0, 5},
1925 {1, 2, 3, 9, 0, 10, 11, 3, 4, 0, 1, 2, 3},
1926 {7, 4, 0, 6, 11, 4, 0, 3, 3, 2, 5, 0, 4},
1927 {0, 4, 5, 3, 0, 7, 5, 9, 0, 4, 3, 5, 1},
1928 {0, 3, 7, 0, 8, 2, 6, 7, 3, 0, 4, 2, 5},
1929 {4, 0, 3, 4, 7, 0, 2, 11, 3, 5, 0, 4, 2},
1930 {2, 3, 0, 10, 1, 11, 8, 0, 4, 1, 2, 3, 0},
1931 {5, 1, 0, 5, 4, 1, 3, 8, 0, 5, 1, 4, 3},
1932 {1, 0, 4, 1, 9, 3, 7, 4, 0, 1, 4, 3, 5},
1933 {3, 0, 1, 11, 2, 8, 9, 1, 4, 2, 3, 0, 1},
1934 {0, 1, 2, 8, 3, 9, 10, 2, 4, 3, 0, 1, 2}};
1944static const MInt tiling6_1STL[48][3] = {
2002static const MInt tiling6_2STL[48][18] = {
2003 {0, 1, 6, 2, 5, 3, 8, 1, 9, 10, 5, 6, 1, 4, 0, 5, 2, 3},
2004 {1, 0, 7, 4, 3, 9, 1, 8, 3, 7, 11, 6, 3, 0, 4, 2, 5, 1},
2005 {4, 0, 2, 3, 1, 7, 4, 3, 0, 2, 1, 10, 4, 3, 0, 1, 2, 5},
2006 {6, 2, 0, 1, 3, 5, 6, 1, 2, 0, 3, 8, 4, 1, 2, 3, 0, 5},
2007 {3, 0, 5, 1, 4, 2, 11, 0, 8, 9, 4, 5, 0, 4, 3, 5, 1, 2},
2008 {0, 3, 6, 7, 2, 8, 0, 11, 2, 6, 10, 5, 2, 3, 4, 1, 5, 0},
2009 {0, 4, 6, 5, 7, 0, 3, 4, 7, 5, 6, 10, 5, 0, 3, 2, 1, 4},
2010 {6, 5, 0, 4, 1, 6, 10, 4, 9, 8, 0, 3, 0, 5, 1, 4, 3, 2},
2011 {6, 7, 0, 3, 4, 10, 5, 11, 7, 3, 8, 0, 3, 2, 5, 0, 4, 1},
2012 {2, 1, 4, 5, 0, 10, 2, 9, 0, 4, 8, 7, 0, 1, 4, 3, 5, 2},
2013 {1, 2, 7, 3, 6, 0, 9, 2, 10, 11, 6, 7, 2, 4, 1, 5, 3, 0},
2014 {5, 1, 3, 0, 2, 4, 5, 0, 1, 3, 2, 11, 4, 0, 1, 2, 3, 5},
2015 {7, 3, 1, 2, 0, 6, 7, 2, 3, 5, 0, 9, 4, 2, 3, 0, 1, 5},
2016 {7, 4, 1, 0, 5, 11, 6, 8, 4, 0, 9, 1, 0, 3, 5, 1, 4, 2},
2017 {1, 5, 7, 6, 4, 1, 0, 5, 4, 6, 7, 11, 5, 1, 0, 3, 2, 4},
2018 {7, 6, 1, 5, 2, 7, 11, 5, 10, 9, 1, 0, 1, 5, 5, 4, 0, 3},
2019 {2, 3, 4, 0, 7, 1, 10, 3, 11, 8, 7, 4, 3, 4, 2, 5, 0, 1},
2020 {3, 2, 5, 6, 1, 11, 3, 10, 1, 5, 9, 4, 1, 2, 4, 0, 5, 3},
2021 {4, 5, 2, 1, 6, 8, 7, 9, 5, 1, 10, 2, 1, 0, 5, 2, 4, 3},
2022 {2, 6, 4, 7, 5, 2, 1, 6, 5, 7, 4, 8, 5, 2, 1, 0, 3, 4},
2023 {4, 7, 2, 6, 3, 4, 8, 6, 11, 10, 2, 1, 2, 5, 3, 4, 1, 0},
2024 {5, 4, 3, 7, 0, 5, 9, 7, 8, 11, 3, 2, 3, 5, 0, 4, 2, 1},
2025 {5, 6, 3, 2, 7, 9, 4, 10, 6, 2, 11, 3, 2, 1, 5, 3, 4, 0},
2026 {3, 7, 5, 4, 6, 3, 2, 7, 6, 4, 5, 9, 5, 3, 2, 1, 0, 4},
2027 {3, 7, 5, 4, 6, 3, 2, 7, 6, 4, 5, 9, 5, 3, 2, 1, 0, 4},
2028 {5, 6, 3, 2, 7, 9, 4, 10, 6, 2, 11, 3, 2, 1, 5, 3, 4, 0},
2029 {5, 4, 3, 7, 0, 5, 9, 7, 8, 11, 3, 2, 3, 5, 0, 4, 2, 1},
2030 {4, 7, 2, 6, 3, 4, 8, 6, 11, 10, 2, 1, 2, 5, 3, 4, 1, 0},
2031 {2, 6, 4, 7, 5, 2, 1, 6, 5, 7, 4, 8, 5, 2, 1, 0, 3, 4},
2032 {4, 5, 2, 1, 6, 8, 7, 9, 5, 1, 10, 2, 1, 0, 5, 2, 4, 3},
2033 {3, 2, 5, 6, 1, 11, 3, 10, 1, 5, 9, 4, 1, 2, 4, 0, 5, 3},
2034 {2, 3, 4, 0, 7, 1, 10, 3, 11, 8, 7, 4, 3, 4, 2, 5, 0, 1},
2035 {7, 6, 1, 5, 2, 7, 11, 5, 10, 9, 1, 0, 1, 5, 5, 4, 0, 3},
2036 {1, 5, 7, 6, 4, 1, 0, 5, 4, 6, 7, 11, 5, 1, 0, 3, 2, 4},
2037 {7, 4, 1, 0, 5, 11, 6, 8, 4, 0, 9, 1, 0, 3, 5, 1, 4, 2},
2038 {7, 3, 1, 2, 0, 6, 7, 2, 3, 5, 0, 9, 4, 2, 3, 0, 1, 5},
2039 {5, 1, 3, 0, 2, 4, 5, 0, 1, 3, 2, 11, 4, 0, 1, 2, 3, 5},
2040 {1, 2, 7, 3, 6, 0, 9, 2, 10, 11, 6, 7, 2, 4, 1, 5, 3, 0},
2041 {2, 1, 4, 5, 0, 10, 2, 9, 0, 4, 8, 7, 0, 1, 4, 3, 5, 2},
2042 {6, 7, 0, 3, 4, 10, 5, 11, 7, 3, 8, 0, 3, 2, 5, 0, 4, 1},
2043 {6, 5, 0, 4, 1, 6, 10, 4, 9, 8, 0, 3, 0, 5, 1, 4, 3, 2},
2044 {0, 4, 6, 5, 7, 0, 3, 4, 7, 5, 6, 10, 5, 0, 3, 2, 1, 4},
2045 {0, 3, 6, 7, 2, 8, 0, 11, 2, 6, 10, 5, 2, 3, 4, 1, 5, 0},
2046 {3, 0, 5, 1, 4, 2, 11, 0, 8, 9, 4, 5, 0, 4, 3, 5, 1, 2},
2047 {6, 2, 0, 1, 3, 5, 6, 1, 2, 0, 3, 8, 4, 1, 2, 3, 0, 5},
2048 {4, 0, 2, 3, 1, 7, 4, 3, 0, 2, 1, 10, 4, 3, 0, 1, 2, 5},
2049 {1, 0, 7, 4, 3, 9, 1, 8, 3, 7, 11, 6, 3, 0, 4, 2, 5, 1},
2050 {0, 1, 6, 2, 5, 3, 8, 1, 9, 10, 5, 6, 1, 4, 0, 5, 2, 3}};
2059static const MInt tiling7_1STL[16][6] = {
2075 {0, 2, 5, 1, 0, 4}};
2084static const MInt tiling7_2_3STL[16][2] = {
2110static const MInt tiling7_2_5STL[16][2] = {
2135static const MInt tiling7_2_6STL[16][2] = {
2160static const MInt tiling7_3_4STL[16][21] = {
2161 {1, 0, 2, 5, 4, 3, 3, 8, 0, 10, 2, 1, 4, 5, 9, 1, 0, 4, 3, 2, 5},
2162 {3, 2, 0, 7, 6, 1, 1, 10, 2, 8, 0, 3, 6, 7, 11, 3, 2, 4, 1, 0, 5},
2163 {4, 0, 5, 7, 3, 1, 0, 3, 8, 5, 9, 4, 11, 6, 7, 5, 3, 0, 4, 1, 2},
2164 {0, 1, 4, 3, 2, 5, 9, 1, 0, 7, 4, 8, 2, 11, 3, 3, 4, 0, 1, 5, 2},
2165 {2, 1, 3, 6, 5, 0, 0, 9, 1, 11, 3, 2, 5, 6, 10, 2, 1, 4, 0, 3, 5},
2166 {5, 1, 6, 4, 0, 2, 1, 0, 9, 6, 10, 5, 8, 7, 4, 5, 0, 1, 4, 2, 3},
2167 {6, 2, 7, 5, 1, 3, 2, 1, 10, 7, 11, 6, 9, 4, 5, 5, 1, 2, 4, 3, 0},
2168 {7, 3, 4, 6, 2, 0, 3, 2, 11, 4, 8, 7, 10, 5, 6, 5, 2, 3, 4, 0, 1},
2169 {7, 3, 4, 6, 2, 0, 3, 2, 11, 4, 8, 7, 10, 5, 6, 5, 2, 3, 4, 0, 1},
2170 {6, 2, 7, 5, 1, 3, 2, 1, 10, 7, 11, 6, 9, 4, 5, 5, 1, 2, 4, 3, 0},
2171 {5, 1, 6, 4, 0, 2, 1, 0, 9, 6, 10, 5, 8, 7, 4, 5, 0, 1, 4, 2, 3},
2172 {2, 1, 3, 6, 5, 0, 0, 9, 1, 11, 3, 2, 5, 6, 10, 2, 1, 4, 0, 3, 5},
2173 {0, 1, 4, 3, 2, 5, 9, 1, 0, 7, 4, 8, 2, 11, 3, 3, 4, 0, 1, 5, 2},
2174 {4, 0, 5, 7, 3, 1, 0, 3, 8, 5, 9, 4, 11, 6, 7, 5, 3, 0, 4, 1, 2},
2175 {3, 2, 0, 7, 6, 1, 1, 10, 2, 8, 0, 3, 6, 7, 11, 3, 2, 4, 1, 0, 5},
2176 {1, 0, 2, 5, 4, 3, 3, 8, 0, 10, 2, 1, 4, 5, 9, 1, 0, 4, 3, 2, 5}};
2185static const MInt tiling7_3_2STL[16][21] = {
2186 {1, 2, 5, 0, 3, 6, 10, 2, 1, 4, 5, 9, 3, 8, 0, 0, 4, 1, 2, 5, 3},
2187 {3, 0, 7, 2, 1, 4, 8, 0, 3, 6, 7, 11, 1, 10, 2, 2, 4, 3, 0, 5, 1},
2188 {4, 5, 7, 0, 1, 6, 5, 9, 4, 11, 6, 7, 0, 3, 8, 3, 0, 5, 1, 2, 4},
2189 {0, 4, 3, 1, 5, 7, 7, 4, 8, 2, 11, 3, 9, 1, 0, 4, 0, 3, 5, 2, 1},
2190 {2, 3, 6, 1, 0, 7, 11, 3, 2, 5, 6, 10, 0, 9, 1, 1, 4, 2, 3, 5, 0},
2191 {5, 6, 4, 1, 2, 7, 6, 10, 5, 8, 7, 4, 1, 0, 9, 0, 1, 5, 2, 3, 4},
2192 {6, 7, 5, 2, 3, 4, 7, 11, 6, 9, 4, 5, 2, 1, 10, 1, 2, 5, 3, 0, 4},
2193 {7, 4, 6, 3, 0, 5, 4, 8, 7, 10, 5, 6, 3, 2, 11, 2, 3, 5, 0, 1, 4},
2194 {7, 4, 6, 3, 0, 5, 4, 8, 7, 10, 5, 6, 3, 2, 11, 2, 3, 5, 0, 1, 4},
2195 {6, 7, 5, 2, 3, 4, 7, 11, 6, 9, 4, 5, 2, 1, 10, 1, 2, 5, 3, 0, 4},
2196 {5, 6, 4, 1, 2, 7, 6, 10, 5, 8, 7, 4, 1, 0, 9, 0, 1, 5, 2, 3, 4},
2197 {2, 3, 6, 1, 0, 7, 11, 3, 2, 5, 6, 10, 0, 9, 1, 1, 4, 2, 3, 5, 0},
2198 {0, 4, 3, 1, 5, 7, 7, 4, 8, 2, 11, 3, 9, 1, 0, 4, 0, 3, 5, 2, 1},
2199 {4, 5, 7, 0, 1, 6, 5, 9, 4, 11, 6, 7, 0, 3, 8, 3, 0, 5, 1, 2, 4},
2200 {3, 0, 7, 2, 1, 4, 8, 0, 3, 6, 7, 11, 1, 10, 2, 2, 4, 3, 0, 5, 1},
2201 {1, 2, 5, 0, 3, 6, 10, 2, 1, 4, 5, 9, 3, 8, 0, 0, 4, 1, 2, 5, 3}};
2210static const MInt tiling7_3_1STL[16][21] = {
2211 {1, 5, 0, 2, 6, 4, 4, 5, 9, 3, 8, 0, 10, 2, 1, 4, 1, 0, 5, 3, 2},
2212 {3, 7, 2, 0, 4, 6, 6, 7, 11, 1, 10, 2, 8, 0, 3, 4, 3, 2, 5, 1, 0},
2213 {4, 7, 0, 5, 6, 3, 11, 6, 7, 0, 3, 8, 5, 9, 4, 0, 5, 3, 2, 4, 1},
2214 {0, 3, 1, 4, 7, 2, 2, 11, 3, 9, 1, 0, 7, 4, 8, 0, 3, 4, 2, 1, 5},
2215 {2, 6, 1, 3, 7, 5, 5, 6, 10, 0, 9, 1, 11, 3, 2, 4, 2, 1, 5, 0, 3},
2216 {5, 4, 1, 6, 7, 0, 8, 7, 4, 1, 0, 9, 6, 10, 5, 1, 5, 0, 3, 4, 2},
2217 {6, 5, 2, 7, 4, 1, 9, 4, 5, 2, 1, 10, 7, 11, 6, 2, 5, 1, 0, 4, 3},
2218 {7, 6, 3, 4, 5, 2, 10, 5, 6, 3, 2, 11, 4, 8, 7, 3, 5, 2, 1, 4, 0},
2219 {7, 6, 3, 4, 5, 2, 10, 5, 6, 3, 2, 11, 4, 8, 7, 3, 5, 2, 1, 4, 0},
2220 {6, 5, 2, 7, 4, 1, 9, 4, 5, 2, 1, 10, 7, 11, 6, 2, 5, 1, 0, 4, 3},
2221 {5, 4, 1, 6, 7, 0, 8, 7, 4, 1, 0, 9, 6, 10, 5, 1, 5, 0, 3, 4, 2},
2222 {2, 6, 1, 3, 7, 5, 5, 6, 10, 0, 9, 1, 11, 3, 2, 4, 2, 1, 5, 0, 3},
2223 {0, 3, 1, 4, 7, 2, 2, 11, 3, 9, 1, 0, 7, 4, 8, 0, 3, 4, 2, 1, 5},
2224 {4, 7, 0, 5, 6, 3, 11, 6, 7, 0, 3, 8, 5, 9, 4, 0, 5, 3, 2, 4, 1},
2225 {3, 7, 2, 0, 4, 6, 6, 7, 11, 1, 10, 2, 8, 0, 3, 4, 3, 2, 5, 1, 0},
2226 {1, 5, 0, 2, 6, 4, 4, 5, 9, 3, 8, 0, 10, 2, 1, 4, 1, 0, 5, 3, 2}};
2235static const MInt tiling7_4_1STL[16][2] = {
2260static const MInt tiling8STL[6][13] = {
2261 {0, 1, 2, 3, 8, 9, 10, 11, 4, 0, 1, 2, 3},
2262 {0, 4, 5, 1, 3, 7, 5, 1, 0, 3, 5, 1, 4},
2263 {0, 3, 7, 4, 0, 2, 6, 4, 3, 4, 2, 5, 0},
2264 {1, 5, 6, 2, 0, 4, 6, 2, 1, 0, 5, 2, 4},
2265 {2, 6, 7, 3, 1, 5, 7, 3, 2, 1, 5, 3, 4},
2266 {5, 4, 7, 6, 9, 8, 11, 10, 5, 0, 3, 2, 1}};
2276static const MInt tiling9STL[8][16] = {
2277 {1, 0, 5, 2, 8, 3, 5, 4, 2, 10, 1, 3, 4, 5, 0, 2},
2278 {0, 3, 4, 1, 11, 2, 4, 7, 1, 9, 0, 2, 4, 5, 3, 1},
2279 {3, 2, 7, 0, 10, 1, 7, 6, 0, 8, 3, 1, 4, 5, 2, 0},
2280 {4, 5, 0, 7, 9, 5, 3, 0, 6, 11, 3, 1, 5, 4, 0, 2},
2281 {2, 1, 6, 3, 9, 0, 6, 5, 3, 11, 2, 0, 4, 5, 1, 3},
2282 {5, 6, 1, 4, 10, 6, 0, 1, 7, 8, 0, 2, 5, 4, 1, 3},
2283 {6, 7, 2, 5, 11, 7, 1, 2, 4, 9, 1, 3, 5, 4, 2, 0},
2284 {7, 6, 4, 3, 5, 10, 8, 4, 2, 3, 3, 1, 2, 0, 5, 4}};
2294static const MInt tiling10_2STL[6][2] = {
2310static const MInt tiling10_1STL[6][4] = {
2325static const MInt tiling11STL[12][16] = {
2326 {2, 1, 0, 4, 2, 10, 9, 3, 4, 7, 2, 0, 3, 1, 4, 5},
2327 {1, 0, 3, 7, 1, 9, 8, 2, 7, 6, 1, 3, 2, 0, 4, 5},
2328 {0, 1, 5, 6, 8, 3, 1, 4, 10, 6, 3, 1, 5, 4, 0, 2},
2329 {0, 3, 2, 6, 0, 8, 11, 1, 6, 5, 0, 2, 1, 3, 4, 5},
2330 {5, 4, 0, 3, 9, 5, 7, 0, 11, 2, 1, 3, 4, 5, 0, 2},
2331 {0, 4, 7, 6, 3, 0, 4, 11, 5, 10, 4, 5, 2, 0, 3, 1},
2332 {5, 1, 2, 3, 5, 4, 0, 10, 3, 11, 5, 4, 2, 0, 1, 3},
2333 {1, 2, 6, 7, 9, 0, 2, 5, 11, 7, 0, 2, 5, 4, 1, 3},
2334 {1, 5, 4, 7, 0, 1, 5, 8, 6, 11, 4, 5, 3, 1, 0, 2},
2335 {2, 3, 7, 4, 10, 1, 3, 6, 8, 4, 1, 3, 5, 4, 2, 0},
2336 {4, 5, 6, 2, 7, 8, 9, 6, 1, 2, 3, 1, 2, 0, 5, 4},
2337 {5, 6, 7, 3, 4, 9, 10, 7, 2, 3, 0, 2, 3, 1, 5, 4}};
2346static const MInt tiling12_1STL[24][4] = {
2379static const MInt tiling14STL[12][16] = {
2380 {0, 1, 2, 6, 8, 3, 9, 2, 6, 5, 3, 1, 2, 0, 4, 5},
2381 {3, 0, 1, 5, 11, 2, 8, 1, 5, 4, 2, 0, 1, 3, 4, 5},
2382 {1, 0, 4, 7, 1, 9, 3, 4, 6, 11, 1, 3, 5, 4, 0, 2},
2383 {4, 0, 3, 2, 4, 7, 0, 11, 10, 1, 5, 4, 2, 0, 3, 1},
2384 {0, 3, 7, 6, 0, 8, 2, 7, 5, 10, 0, 2, 5, 4, 3, 1},
2385 {0, 4, 5, 6, 3, 0, 7, 9, 10, 6, 4, 5, 1, 3, 0, 2},
2386 {1, 2, 3, 7, 9, 0, 10, 3, 7, 6, 0, 2, 3, 1, 4, 5},
2387 {2, 1, 5, 4, 2, 10, 0, 5, 7, 8, 2, 0, 5, 4, 1, 3},
2388 {1, 5, 6, 7, 0, 1, 4, 10, 11, 7, 4, 5, 2, 0, 1, 3},
2389 {3, 2, 6, 5, 3, 11, 1, 6, 4, 9, 3, 1, 5, 4, 2, 0},
2390 {2, 6, 7, 4, 1, 2, 5, 11, 8, 4, 4, 5, 3, 1, 2, 0},
2391 {3, 7, 4, 5, 2, 3, 6, 8, 9, 5, 4, 5, 0, 2, 3, 1}};
2401static const MBool nfs1[16][6] = {
2402 {
true,
false,
false,
true,
true,
false},
2403 {
true,
false,
true,
false,
true,
false},
2404 {
false,
true,
true,
false,
true,
false},
2405 {
false,
true,
false,
true,
true,
false},
2406 {
true,
false,
false,
true,
false,
true},
2407 {
true,
false,
true,
false,
false,
true},
2408 {
false,
true,
true,
false,
false,
true},
2409 {
false,
true,
false,
true,
false,
true},
2410 {
true,
true,
true,
true,
true,
true},
2411 {
true,
true,
true,
true,
true,
true},
2412 {
true,
true,
true,
true,
true,
true},
2413 {
true,
true,
true,
true,
true,
true},
2414 {
true,
true,
true,
true,
true,
true},
2415 {
true,
true,
true,
true,
true,
true},
2416 {
true,
true,
true,
true,
true,
true},
2417 {
true,
true,
true,
true,
true,
true}};
2428static const MBool nfs2[24][6] = {
2429 {
true,
false,
true,
true,
true,
false},
2430 {
true,
true,
false,
true,
true,
false},
2431 {
true,
false,
false,
true,
true,
true},
2432 {
true,
true,
true,
false,
true,
false},
2433 {
true,
false,
true,
false,
true,
true},
2434 {
false,
true,
true,
true,
true,
false},
2435 {
false,
true,
true,
false,
true,
true},
2436 {
false,
true,
false,
true,
true,
true},
2437 {
true,
false,
true,
true,
false,
true},
2438 {
true,
true,
false,
true,
false,
true},
2439 {
true,
true,
true,
false,
false,
true},
2440 {
false,
true,
true,
true,
false,
true},
2441 {
true,
true,
true,
true,
true,
true},
2442 {
true,
true,
true,
true,
true,
true},
2443 {
true,
true,
true,
true,
true,
true},
2444 {
true,
true,
true,
true,
true,
true},
2445 {
true,
true,
true,
true,
true,
true},
2446 {
true,
true,
true,
true,
true,
true},
2447 {
true,
true,
true,
true,
true,
true},
2448 {
true,
true,
true,
true,
true,
true},
2449 {
true,
true,
true,
true,
true,
true},
2450 {
true,
true,
true,
true,
true,
true},
2451 {
true,
true,
true,
true,
true,
true},
2452 {
true,
true,
true,
true,
true,
true}};
2462static const MBool nfs3_1[24][6] = {
2463 {
true,
true,
true,
true,
true,
false},
2464 {
true,
false,
true,
true,
true,
true},
2465 {
true,
true,
false,
true,
true,
true},
2466 {
true,
true,
true,
true,
true,
false},
2467 {
true,
false,
true,
true,
true,
true},
2468 {
true,
true,
true,
false,
true,
true},
2469 {
true,
true,
true,
false,
true,
true},
2470 {
false,
true,
true,
true,
true,
true},
2471 {
true,
true,
false,
true,
true,
true},
2472 {
false,
true,
true,
true,
true,
true},
2473 {
true,
true,
true,
true,
false,
true},
2474 {
true,
true,
true,
true,
false,
true},
2475 {
true,
true,
true,
true,
true,
true},
2476 {
true,
true,
true,
true,
true,
true},
2477 {
true,
true,
true,
true,
true,
true},
2478 {
true,
true,
true,
true,
true,
true},
2479 {
true,
true,
true,
true,
true,
true},
2480 {
true,
true,
true,
true,
true,
true},
2481 {
true,
true,
true,
true,
true,
true},
2482 {
true,
true,
true,
true,
true,
true},
2483 {
true,
true,
true,
true,
true,
true},
2484 {
true,
true,
true,
true,
true,
true},
2485 {
true,
true,
true,
true,
true,
true},
2486 {
true,
true,
true,
true,
true,
true}};
2496static const MBool nfs3_2[24][6] = {
2497 {
true,
true,
true,
true,
true,
false},
2498 {
true,
false,
true,
true,
true,
true},
2499 {
true,
true,
false,
true,
true,
true},
2500 {
true,
true,
true,
true,
true,
false},
2501 {
true,
false,
true,
true,
true,
true},
2502 {
true,
true,
true,
false,
true,
true},
2503 {
true,
true,
true,
false,
true,
true},
2504 {
false,
true,
true,
true,
true,
true},
2505 {
true,
true,
false,
true,
true,
true},
2506 {
false,
true,
true,
true,
true,
true},
2507 {
true,
true,
true,
true,
false,
true},
2508 {
true,
true,
true,
true,
false,
true},
2509 {
true,
true,
true,
true,
true,
true},
2510 {
true,
true,
true,
true,
true,
true},
2511 {
true,
true,
true,
true,
true,
true},
2512 {
true,
true,
true,
true,
true,
true},
2513 {
true,
true,
true,
true,
true,
true},
2514 {
true,
true,
true,
true,
true,
true},
2515 {
true,
true,
true,
true,
true,
true},
2516 {
true,
true,
true,
true,
true,
true},
2517 {
true,
true,
true,
true,
true,
true},
2518 {
true,
true,
true,
true,
true,
true},
2519 {
true,
true,
true,
true,
true,
true},
2520 {
true,
true,
true,
true,
true,
true}};
2528static const MBool nfs4_1[8][6] = {
2529 {
true,
true,
true,
true,
true,
true},
2530 {
true,
true,
true,
true,
true,
true},
2531 {
true,
true,
true,
true,
true,
true},
2532 {
true,
true,
true,
true,
true,
true},
2533 {
true,
true,
true,
true,
true,
true},
2534 {
true,
true,
true,
true,
true,
true},
2535 {
true,
true,
true,
true,
true,
true},
2536 {
true,
true,
true,
true,
true,
true}};
2545static const MBool nfs5[48][6] = {
2546 {
true,
true,
true,
true,
true,
false},
2547 {
true,
true,
true,
true,
true,
false},
2548 {
true,
false,
true,
true,
true,
true},
2549 {
true,
false,
true,
true,
true,
true},
2550 {
true,
true,
true,
true,
true,
false},
2551 {
true,
true,
false,
true,
true,
true},
2552 {
true,
true,
false,
true,
true,
true},
2553 {
true,
false,
true,
true,
true,
true},
2554 {
true,
true,
false,
true,
true,
true},
2555 {
true,
true,
true,
true,
true,
false},
2556 {
true,
true,
true,
false,
true,
true},
2557 {
true,
true,
true,
false,
true,
true},
2558 {
true,
false,
true,
true,
true,
true},
2559 {
true,
true,
true,
false,
true,
true},
2560 {
false,
true,
true,
true,
true,
true},
2561 {
false,
true,
true,
true,
true,
true},
2562 {
true,
true,
true,
false,
true,
true},
2563 {
false,
true,
true,
true,
true,
true},
2564 {
true,
true,
false,
true,
true,
true},
2565 {
false,
true,
true,
true,
true,
true},
2566 {
true,
true,
true,
true,
false,
true},
2567 {
true,
true,
true,
true,
false,
true},
2568 {
true,
true,
true,
true,
false,
true},
2569 {
true,
true,
true,
true,
false,
true},
2570 {
true,
true,
true,
true,
true,
true},
2571 {
true,
true,
true,
true,
true,
true},
2572 {
true,
true,
true,
true,
true,
true},
2573 {
true,
true,
true,
true,
true,
true},
2574 {
true,
true,
true,
true,
true,
true},
2575 {
true,
true,
true,
true,
true,
true},
2576 {
true,
true,
true,
true,
true,
true},
2577 {
true,
true,
true,
true,
true,
true},
2578 {
true,
true,
true,
true,
true,
true},
2579 {
true,
true,
true,
true,
true,
true},
2580 {
true,
true,
true,
true,
true,
true},
2581 {
true,
true,
true,
true,
true,
true},
2582 {
true,
true,
true,
true,
true,
true},
2583 {
true,
true,
true,
true,
true,
true},
2584 {
true,
true,
true,
true,
true,
true},
2585 {
true,
true,
true,
true,
true,
true},
2586 {
true,
true,
true,
true,
true,
true},
2587 {
true,
true,
true,
true,
true,
true},
2588 {
true,
true,
true,
true,
true,
true},
2589 {
true,
true,
true,
true,
true,
true},
2590 {
true,
true,
true,
true,
true,
true},
2591 {
true,
true,
true,
true,
true,
true},
2592 {
true,
true,
true,
true,
true,
true},
2593 {
true,
true,
true,
true,
true,
true}};
2602static const MBool nfs6_1[48][6] = {
2603 {
true,
true,
true,
true,
true,
true},
2604 {
true,
true,
true,
true,
true,
true},
2605 {
true,
true,
true,
true,
true,
true},
2606 {
true,
true,
true,
true,
true,
true},
2607 {
true,
true,
true,
true,
true,
true},
2608 {
true,
true,
true,
true,
true,
true},
2609 {
true,
true,
true,
true,
true,
true},
2610 {
true,
true,
true,
true,
true,
true},
2611 {
true,
true,
true,
true,
true,
true},
2612 {
true,
true,
true,
true,
true,
true},
2613 {
true,
true,
true,
true,
true,
true},
2614 {
true,
true,
true,
true,
true,
true},
2615 {
true,
true,
true,
true,
true,
true},
2616 {
true,
true,
true,
true,
true,
true},
2617 {
true,
true,
true,
true,
true,
true},
2618 {
true,
true,
true,
true,
true,
true},
2619 {
true,
true,
true,
true,
true,
true},
2620 {
true,
true,
true,
true,
true,
true},
2621 {
true,
true,
true,
true,
true,
true},
2622 {
true,
true,
true,
true,
true,
true},
2623 {
true,
true,
true,
true,
true,
true},
2624 {
true,
true,
true,
true,
true,
true},
2625 {
true,
true,
true,
true,
true,
true},
2626 {
true,
true,
true,
true,
true,
true},
2627 {
true,
true,
true,
true,
true,
true},
2628 {
true,
true,
true,
true,
true,
true},
2629 {
true,
true,
true,
true,
true,
true},
2630 {
true,
true,
true,
true,
true,
true},
2631 {
true,
true,
true,
true,
true,
true},
2632 {
true,
true,
true,
true,
true,
true},
2633 {
true,
true,
true,
true,
true,
true},
2634 {
true,
true,
true,
true,
true,
true},
2635 {
true,
true,
true,
true,
true,
true},
2636 {
true,
true,
true,
true,
true,
true},
2637 {
true,
true,
true,
true,
true,
true},
2638 {
true,
true,
true,
true,
true,
true},
2639 {
true,
true,
true,
true,
true,
true},
2640 {
true,
true,
true,
true,
true,
true},
2641 {
true,
true,
true,
true,
true,
true},
2642 {
true,
true,
true,
true,
true,
true},
2643 {
true,
true,
true,
true,
true,
true},
2644 {
true,
true,
true,
true,
true,
true},
2645 {
true,
true,
true,
true,
true,
true},
2646 {
true,
true,
true,
true,
true,
true},
2647 {
true,
true,
true,
true,
true,
true},
2648 {
true,
true,
true,
true,
true,
true},
2649 {
true,
true,
true,
true,
true,
true},
2650 {
true,
true,
true,
true,
true,
true}};
2659static const MBool nfs7_1[16][6] = {
2660 {
true,
true,
true,
true,
true,
true},
2661 {
true,
true,
true,
true,
true,
true},
2662 {
true,
true,
true,
true,
true,
true},
2663 {
true,
true,
true,
true,
true,
true},
2664 {
true,
true,
true,
true,
true,
true},
2665 {
true,
true,
true,
true,
true,
true},
2666 {
true,
true,
true,
true,
true,
true},
2667 {
true,
true,
true,
true,
true,
true},
2668 {
true,
true,
true,
true,
true,
true},
2669 {
true,
true,
true,
true,
true,
true},
2670 {
true,
true,
true,
true,
true,
true},
2671 {
true,
true,
true,
true,
true,
true},
2672 {
true,
true,
true,
true,
true,
true},
2673 {
true,
true,
true,
true,
true,
true},
2674 {
true,
true,
true,
true,
true,
true},
2675 {
true,
true,
true,
true,
true,
true}};
2684static const MBool nfs8[6][6] = {
2685 {
true,
true,
true,
true,
true,
false},
2686 {
true,
false,
true,
true,
true,
true},
2687 {
true,
true,
false,
true,
true,
true},
2688 {
true,
true,
true,
false,
true,
true},
2689 {
false,
true,
true,
true,
true,
true},
2690 {
true,
true,
true,
true,
false,
true}};
2699static const MBool nfs9[8][6] = {
2700 {
true,
true,
true,
true,
true,
true},
2701 {
true,
true,
true,
true,
true,
true},
2702 {
true,
true,
true,
true,
true,
true},
2703 {
true,
true,
true,
true,
true,
true},
2704 {
true,
true,
true,
true,
true,
true},
2705 {
true,
true,
true,
true,
true,
true},
2706 {
true,
true,
true,
true,
true,
true},
2707 {
true,
true,
true,
true,
true,
true}};
2716static const MBool nfs10[6][6] = {
2717 {
true,
true,
true,
true,
true,
true},
2718 {
true,
true,
true,
true,
true,
true},
2719 {
true,
true,
true,
true,
true,
true},
2720 {
true,
true,
true,
true,
true,
true},
2721 {
true,
true,
true,
true,
true,
true},
2722 {
true,
true,
true,
true,
true,
true}};
2730static const MBool nfs11[12][6] = {
2731 {
true,
true,
true,
true,
true,
true},
2732 {
true,
true,
true,
true,
true,
true},
2733 {
true,
true,
true,
true,
true,
true},
2734 {
true,
true,
true,
true,
true,
true},
2735 {
true,
true,
true,
true,
true,
true},
2736 {
true,
true,
true,
true,
true,
true},
2737 {
true,
true,
true,
true,
true,
true},
2738 {
true,
true,
true,
true,
true,
true},
2739 {
true,
true,
true,
true,
true,
true},
2740 {
true,
true,
true,
true,
true,
true},
2741 {
true,
true,
true,
true,
true,
true},
2742 {
true,
true,
true,
true,
true,
true}};
2750static const MBool nfs12_1[24][6] = {
2751 {
true,
true,
true,
true,
true,
true},
2752 {
true,
true,
true,
true,
true,
true},
2753 {
true,
true,
true,
true,
true,
true},
2754 {
true,
true,
true,
true,
true,
true},
2755 {
true,
true,
true,
true,
true,
true},
2756 {
true,
true,
true,
true,
true,
true},
2757 {
true,
true,
true,
true,
true,
true},
2758 {
true,
true,
true,
true,
true,
true},
2759 {
true,
true,
true,
true,
true,
true},
2760 {
true,
true,
true,
true,
true,
true},
2761 {
true,
true,
true,
true,
true,
true},
2762 {
true,
true,
true,
true,
true,
true},
2763 {
true,
true,
true,
true,
true,
true},
2764 {
true,
true,
true,
true,
true,
true},
2765 {
true,
true,
true,
true,
true,
true},
2766 {
true,
true,
true,
true,
true,
true},
2767 {
true,
true,
true,
true,
true,
true},
2768 {
true,
true,
true,
true,
true,
true},
2769 {
true,
true,
true,
true,
true,
true},
2770 {
true,
true,
true,
true,
true,
true},
2771 {
true,
true,
true,
true,
true,
true},
2772 {
true,
true,
true,
true,
true,
true},
2773 {
true,
true,
true,
true,
true,
true},
2774 {
true,
true,
true,
true,
true,
true}};
2785static const MBool nfs14[12][6] = {
2786 {
true,
true,
true,
true,
true,
true},
2787 {
true,
true,
true,
true,
true,
true},
2788 {
true,
true,
true,
true,
true,
true},
2789 {
true,
true,
true,
true,
true,
true},
2790 {
true,
true,
true,
true,
true,
true},
2791 {
true,
true,
true,
true,
true,
true},
2792 {
true,
true,
true,
true,
true,
true},
2793 {
true,
true,
true,
true,
true,
true},
2794 {
true,
true,
true,
true,
true,
true},
2795 {
true,
true,
true,
true,
true,
true},
2796 {
true,
true,
true,
true,
true,
true},
2797 {
true,
true,
true,
true,
true,
true}};
2813static const MBool caseStates2D[4] = {
2826static const MInt caseCutPoints2D[4] = {
2842static const MInt cases2D[16][2] = {
2864static const MInt noEdges2D[4] = {
2880static const MInt tiling1_2D[8][2] = {
2900static const MInt tiling2_2D[4][2] = {
2915static const MInt tiling3_A_2D[2][4] = {
2928static const MInt tiling3_B_2D[2][4] = {