For the notations T1, S1, T2, S2 consult the paper. T1={{0, 18, 28, 44, 54, 64, 80, 82, 98, 108, 118, 134}, {0, 18, 36, 54, 64, 80, 82, 98, 100, 116, 118, 134}, {0, 22, 32, 54, 58, 76, 86, 90, 108, 112, 122, 140}, {0, 22, 38, 54, 58, 74, 76, 90, 92, 108, 112, 128}, {0, 26, 44, 58, 62, 76, 80, 90, 94, 108, 112, 126}, {0, 58, 74, 76, 90, 92, 94, 108, 110, 112, 126, 128}} S1={{0, 16, 30, 44, 58, 74, 80, 94, 108, 110, 124, 138}, {0, 16, 32, 38, 54, 70, 74, 90, 106, 108, 124, 140}, {0, 16, 32, 42, 58, 74, 78, 94, 108, 110, 124, 140}, {0, 16, 32, 46, 62, 78, 82, 98, 108, 114, 124, 140}, {0, 18, 22, 36, 50, 54, 64, 80, 86, 100, 116, 130}, {0, 18, 28, 44, 62, 64, 80, 94, 98, 108, 126, 130}, {0, 18, 32, 46, 62, 76, 82, 98, 108, 112, 126, 140}, {0, 18, 34, 36, 54, 64, 70, 80, 98, 100, 116, 134}, {0, 18, 34, 44, 62, 76, 80, 98, 108, 112, 126, 142}, {0, 18, 34, 50, 54, 70, 76, 86, 92, 108, 112, 128}, {0, 20, 36, 42, 58, 64, 74, 78, 94, 100, 110, 128}, {0, 20, 36, 46, 62, 64, 78, 82, 98, 100, 114, 128}, {0, 20, 36, 50, 64, 66, 82, 86, 100, 102, 118, 128}, {0, 20, 36, 54, 64, 70, 86, 90, 100, 106, 122, 128}, {0, 22, 26, 36, 54, 58, 64, 80, 90, 100, 116, 134}, {0, 22, 28, 32, 54, 58, 64, 86, 90, 108, 122, 140}, {0, 22, 28, 38, 54, 58, 64, 74, 90, 92, 108, 128}, {0, 22, 28, 38, 58, 64, 74, 92, 102, 108, 128, 138}, {0, 22, 28, 44, 58, 64, 80, 86, 102, 108, 122, 138}, {0, 22, 28, 44, 64, 66, 80, 98, 102, 108, 130, 134}, {0, 22, 32, 36, 58, 64, 68, 86, 100, 102, 122, 138}, {0, 22, 32, 50, 66, 76, 86, 102, 108, 112, 130, 140}, {0, 22, 36, 38, 58, 64, 74, 80, 100, 102, 116, 138}, {0, 22, 36, 50, 64, 66, 80, 86, 100, 102, 116, 130}, {0, 22, 36, 58, 64, 80, 86, 100, 102, 116, 122, 138}, {0, 22, 38, 58, 74, 76, 92, 102, 108, 112, 128, 138}, {0, 22, 44, 50, 66, 76, 80, 86, 102, 108, 112, 130}, {0, 22, 44, 58, 76, 80, 86, 102, 108, 112, 122, 138}, {0, 22, 44, 66, 76, 80, 98, 102, 108, 112, 130, 134}, {0, 26, 28, 42, 58, 62, 64, 78, 92, 94, 108, 128}, {0, 26, 28, 42, 62, 64, 78, 92, 106, 108, 128, 142}, {0, 26, 28, 44, 58, 62, 64, 80, 90, 94, 108, 126}, {0, 26, 28, 44, 62, 64, 80, 90, 106, 108, 126, 142}, {0, 26, 30, 36, 58, 62, 64, 80, 94, 100, 116, 138}, {0, 26, 30, 36, 62, 64, 80, 100, 106, 116, 138, 142}, {0, 26, 30, 44, 62, 76, 80, 106, 108, 112, 138, 142}, {0, 26, 32, 36, 62, 64, 68, 90, 100, 106, 126, 142}, {0, 26, 32, 54, 70, 76, 90, 106, 108, 112, 134, 140}, {0, 26, 32, 58, 62, 76, 90, 94, 108, 112, 126, 140}, {0, 26, 36, 42, 62, 64, 78, 80, 100, 106, 116, 142}, {0, 26, 36, 54, 64, 70, 80, 90, 100, 106, 116, 134}, {0, 26, 36, 58, 62, 64, 80, 90, 94, 100, 116, 126}, {0, 26, 36, 62, 64, 80, 90, 100, 106, 116, 126, 142}, {0, 26, 42, 58, 62, 76, 78, 92, 94, 108, 112, 128}, {0, 26, 42, 62, 76, 78, 92, 106, 108, 112, 128, 142}, {0, 26, 44, 54, 70, 76, 80, 90, 106, 108, 112, 134}, {0, 26, 44, 62, 76, 80, 90, 106, 108, 112, 126, 142}, {0, 26, 44, 70, 76, 80, 102, 106, 108, 112, 134, 138}, {0, 28, 30, 34, 62, 64, 66, 92, 98, 108, 128, 142}, {0, 28, 30, 44, 62, 64, 66, 80, 94, 98, 108, 130}, {0, 28, 30, 46, 62, 64, 66, 82, 92, 98, 108, 128}, {0, 28, 32, 34, 62, 64, 78, 98, 108, 114, 140, 142}, {0, 28, 32, 46, 62, 64, 78, 82, 98, 108, 114, 140}, {0, 28, 32, 50, 64, 66, 82, 86, 102, 108, 118, 140}, {0, 28, 32, 54, 64, 70, 86, 90, 106, 108, 122, 140}, {0, 28, 32, 58, 64, 74, 90, 94, 108, 110, 126, 140}, {0, 28, 34, 44, 62, 64, 78, 80, 98, 108, 114, 142}, {0, 28, 34, 44, 64, 66, 70, 80, 98, 102, 108, 134}, {0, 28, 34, 50, 64, 66, 70, 86, 92, 102, 108, 128}, {0, 28, 34, 62, 64, 78, 92, 98, 108, 114, 128, 142}, {0, 28, 38, 54, 64, 70, 74, 90, 92, 106, 108, 128}, {0, 28, 38, 64, 70, 74, 92, 102, 106, 108, 128, 138}, {0, 28, 42, 58, 64, 74, 78, 92, 94, 108, 110, 128}, {0, 28, 42, 64, 74, 78, 92, 106, 108, 110, 128, 142}, {0, 28, 44, 50, 64, 66, 80, 82, 86, 102, 108, 118}, {0, 28, 44, 54, 64, 70, 80, 86, 90, 106, 108, 122}, {0, 28, 44, 58, 64, 74, 80, 90, 94, 108, 110, 126}, {0, 28, 44, 62, 64, 78, 80, 94, 98, 108, 114, 130}, {0, 28, 44, 64, 66, 80, 82, 98, 102, 108, 118, 134}, {0, 28, 44, 64, 70, 80, 86, 102, 106, 108, 122, 138}, {0, 28, 44, 64, 74, 80, 90, 106, 108, 110, 126, 142}, {0, 28, 46, 62, 64, 78, 82, 92, 98, 108, 114, 128}, {0, 28, 50, 64, 66, 82, 86, 92, 102, 108, 118, 128}, {0, 28, 54, 64, 70, 86, 90, 92, 106, 108, 122, 128}, {0, 30, 32, 34, 62, 66, 76, 98, 108, 112, 140, 142}, {0, 30, 32, 36, 58, 64, 68, 74, 94, 100, 110, 138}, {0, 30, 32, 36, 64, 68, 74, 100, 106, 110, 138, 142}, {0, 30, 32, 46, 62, 66, 76, 82, 98, 108, 112, 140}, {0, 30, 32, 58, 74, 76, 94, 108, 110, 112, 138, 140}, {0, 30, 34, 36, 62, 64, 66, 80, 98, 100, 116, 142}, {0, 30, 34, 44, 62, 66, 76, 80, 98, 108, 112, 142}, {0, 30, 34, 62, 66, 76, 92, 98, 108, 112, 128, 142}, {0, 30, 36, 46, 62, 64, 66, 80, 82, 98, 100, 116}, {0, 30, 36, 58, 64, 74, 80, 94, 100, 110, 116, 138}, {0, 30, 36, 62, 64, 66, 80, 94, 98, 100, 116, 130}, {0, 30, 36, 64, 74, 80, 100, 106, 110, 116, 138, 142}, {0, 30, 44, 58, 74, 76, 80, 94, 108, 110, 112, 138}, {0, 30, 44, 62, 66, 76, 80, 94, 98, 108, 112, 130}, {0, 30, 44, 74, 76, 80, 106, 108, 110, 112, 138, 142}, {0, 30, 46, 62, 66, 76, 82, 92, 98, 108, 112, 128}, {0, 30, 58, 74, 76, 92, 94, 108, 110, 112, 128, 138}, {0, 32, 34, 36, 62, 64, 68, 78, 98, 100, 114, 142}, {0, 32, 34, 50, 66, 70, 76, 86, 102, 108, 112, 140}, {0, 32, 34, 62, 76, 78, 98, 108, 112, 114, 140, 142}, {0, 32, 36, 42, 64, 68, 74, 78, 100, 106, 110, 142}, {0, 32, 36, 46, 62, 64, 68, 78, 82, 98, 100, 114}, {0, 32, 36, 50, 64, 66, 68, 82, 86, 100, 102, 118}, {0, 32, 36, 54, 64, 68, 70, 86, 90, 100, 106, 122}, {0, 32, 36, 58, 64, 68, 74, 90, 94, 100, 110, 126}, {0, 32, 36, 62, 64, 68, 78, 94, 98, 100, 114, 130}, {0, 32, 36, 64, 66, 68, 82, 98, 100, 102, 118, 134}, {0, 32, 36, 64, 68, 70, 86, 100, 102, 106, 122, 138}, {0, 32, 36, 64, 68, 74, 90, 100, 106, 110, 126, 142}, {0, 32, 38, 54, 70, 74, 76, 90, 106, 108, 112, 140}, {0, 32, 38, 70, 74, 76, 102, 106, 108, 112, 138, 140}, {0, 32, 42, 58, 74, 76, 78, 94, 108, 110, 112, 140}, {0, 32, 42, 74, 76, 78, 106, 108, 110, 112, 140, 142}, {0, 32, 46, 62, 76, 78, 82, 98, 108, 112, 114, 140}, {0, 32, 50, 66, 76, 82, 86, 102, 108, 112, 118, 140}, {0, 32, 54, 70, 76, 86, 90, 106, 108, 112, 122, 140}, {0, 32, 58, 74, 76, 90, 94, 108, 110, 112, 126, 140}, {0, 32, 62, 76, 78, 94, 98, 108, 112, 114, 130, 140}, {0, 34, 36, 50, 64, 66, 70, 80, 86, 100, 102, 116}, {0, 34, 36, 62, 64, 78, 80, 98, 100, 114, 116, 142}, {0, 34, 36, 64, 66, 70, 80, 98, 100, 102, 116, 134}, {0, 34, 44, 50, 66, 70, 76, 80, 86, 102, 108, 112}, {0, 34, 44, 62, 76, 78, 80, 98, 108, 112, 114, 142}, {0, 34, 44, 66, 70, 76, 80, 98, 102, 108, 112, 134}, {0, 34, 50, 66, 70, 76, 86, 92, 102, 108, 112, 128}, {0, 34, 62, 76, 78, 92, 98, 108, 112, 114, 128, 142}, {0, 34, 66, 70, 76, 92, 98, 102, 108, 112, 128, 134}, {0, 36, 38, 54, 64, 70, 74, 80, 90, 100, 106, 116}, {0, 36, 38, 64, 70, 74, 80, 100, 102, 106, 116, 138}, {0, 36, 42, 58, 64, 74, 78, 80, 94, 100, 110, 116}, {0, 36, 42, 64, 74, 78, 80, 100, 106, 110, 116, 142}, {0, 36, 46, 62, 64, 78, 80, 82, 98, 100, 114, 116}, {0, 36, 50, 64, 66, 80, 82, 86, 100, 102, 116, 118}, {0, 36, 54, 64, 70, 80, 86, 90, 100, 106, 116, 122}, {0, 36, 58, 64, 74, 80, 90, 94, 100, 110, 116, 126}, {0, 36, 62, 64, 78, 80, 94, 98, 100, 114, 116, 130}, {0, 36, 64, 66, 80, 82, 98, 100, 102, 116, 118, 134}, {0, 36, 64, 70, 80, 86, 100, 102, 106, 116, 122, 138}, {0, 36, 64, 74, 80, 90, 100, 106, 110, 116, 126, 142}, {0, 38, 44, 54, 70, 74, 76, 80, 90, 106, 108, 112}, {0, 38, 44, 70, 74, 76, 80, 102, 106, 108, 112, 138}, {0, 38, 54, 70, 74, 76, 90, 92, 106, 108, 112, 128}, {0, 38, 70, 74, 76, 92, 102, 106, 108, 112, 128, 138}, {0, 42, 44, 58, 74, 76, 78, 80, 94, 108, 110, 112}, {0, 42, 44, 74, 76, 78, 80, 106, 108, 110, 112, 142}, {0, 42, 58, 74, 76, 78, 92, 94, 108, 110, 112, 128}, {0, 42, 74, 76, 78, 92, 106, 108, 110, 112, 128, 142}, {0, 44, 46, 62, 76, 78, 80, 82, 98, 108, 112, 114}, {0, 44, 50, 66, 76, 80, 82, 86, 102, 108, 112, 118}, {0, 44, 54, 70, 76, 80, 86, 90, 106, 108, 112, 122}, {0, 44, 58, 74, 76, 80, 90, 94, 108, 110, 112, 126}, {0, 44, 62, 76, 78, 80, 94, 98, 108, 112, 114, 130}, {0, 44, 66, 76, 80, 82, 98, 102, 108, 112, 118, 134}, {0, 44, 70, 76, 80, 86, 102, 106, 108, 112, 122, 138}, {0, 44, 74, 76, 80, 90, 106, 108, 110, 112, 126, 142}, {0, 46, 62, 76, 78, 82, 92, 98, 108, 112, 114, 128}, {0, 50, 66, 76, 82, 86, 92, 102, 108, 112, 118, 128}, {0, 54, 70, 76, 86, 90, 92, 106, 108, 112, 122, 128}, {0, 62, 76, 78, 92, 94, 98, 108, 112, 114, 128, 130}, {0, 66, 76, 82, 92, 98, 102, 108, 112, 118, 128, 134}, {0, 70, 76, 86, 92, 102, 106, 108, 112, 122, 128, 138}, {0, 74, 76, 90, 92, 106, 108, 110, 112, 126, 128, 142}} T2={{0, 33, 40, 45, 48, 57, 88, 96, 105, 117, 129, 136}, {0, 33, 41, 48, 60, 72, 81, 89, 120, 129, 132, 137}, {0, 35, 40, 47, 48, 59, 88, 96, 107, 119, 131, 136}, {0, 35, 43, 48, 60, 72, 83, 91, 120, 131, 132, 139}, {0, 37, 40, 48, 49, 61, 88, 96, 109, 121, 133, 136}, {0, 37, 45, 48, 60, 72, 85, 93, 120, 132, 133, 141}, {0, 39, 40, 48, 51, 63, 88, 96, 111, 123, 135, 136}, {0, 39, 47, 48, 60, 72, 87, 95, 120, 132, 135, 143}, {0, 40, 41, 48, 53, 65, 88, 96, 113, 125, 136, 137}, {0, 40, 43, 48, 55, 67, 88, 96, 115, 127, 136, 139}, {0, 40, 45, 48, 57, 69, 88, 96, 117, 129, 136, 141}, {0, 40, 47, 48, 59, 71, 88, 96, 119, 131, 136, 143}} S2={{0, 27, 30, 35, 60, 72, 75, 83, 102, 123, 131, 132}, {0, 27, 39, 40, 48, 69, 88, 96, 99, 111, 136, 141}, {0, 29, 30, 37, 60, 72, 77, 85, 102, 125, 132, 133}, {0, 29, 37, 42, 48, 72, 77, 85, 114, 120, 125, 133}, {0, 29, 40, 41, 48, 71, 88, 96, 101, 113, 136, 143}, {0, 29, 40, 48, 53, 59, 88, 96, 101, 125, 131, 136}, {0, 30, 31, 39, 60, 72, 79, 87, 102, 127, 132, 135}, {0, 30, 33, 41, 60, 72, 81, 89, 102, 129, 132, 137}, {0, 30, 35, 42, 43, 72, 83, 91, 102, 114, 131, 139}, {0, 30, 35, 43, 60, 72, 83, 91, 102, 131, 132, 139}, {0, 30, 37, 42, 45, 72, 85, 93, 102, 114, 133, 141}, {0, 30, 37, 45, 60, 72, 85, 93, 102, 132, 133, 141}, {0, 30, 39, 42, 47, 72, 87, 95, 102, 114, 135, 143}, {0, 30, 39, 47, 60, 72, 87, 95, 102, 132, 135, 143}, {0, 31, 37, 40, 48, 61, 88, 96, 103, 109, 133, 136}, {0, 31, 39, 42, 48, 72, 79, 87, 114, 120, 127, 135}, {0, 31, 39, 42, 66, 72, 79, 87, 114, 127, 135, 138}, {0, 31, 40, 48, 55, 61, 88, 96, 103, 127, 133, 136}, {0, 33, 39, 40, 48, 63, 88, 96, 105, 111, 135, 136}, {0, 33, 40, 48, 57, 63, 88, 96, 105, 129, 135, 136}, {0, 33, 41, 42, 48, 72, 81, 89, 114, 120, 129, 137}, {0, 33, 41, 42, 66, 72, 81, 89, 114, 129, 137, 138}, {0, 35, 40, 41, 48, 65, 88, 96, 107, 113, 136, 137}, {0, 35, 40, 48, 59, 65, 88, 96, 107, 131, 136, 137}, {0, 35, 42, 43, 48, 72, 83, 91, 114, 120, 131, 139}, {0, 35, 42, 43, 66, 72, 83, 91, 114, 131, 138, 139}, {0, 37, 40, 43, 48, 67, 88, 96, 109, 115, 136, 139}, {0, 37, 40, 48, 61, 67, 88, 96, 109, 133, 136, 139}, {0, 37, 42, 45, 48, 72, 85, 93, 114, 120, 133, 141}, {0, 37, 42, 45, 66, 72, 85, 93, 114, 133, 138, 141}, {0, 39, 40, 45, 48, 51, 88, 96, 111, 117, 123, 136}, {0, 39, 40, 45, 48, 69, 88, 96, 111, 117, 136, 141}, {0, 39, 40, 48, 63, 69, 88, 96, 111, 135, 136, 141}, {0, 39, 42, 47, 48, 72, 87, 95, 114, 120, 135, 143}, {0, 39, 42, 47, 66, 72, 87, 95, 114, 135, 138, 143}, {0, 39, 47, 60, 66, 72, 87, 95, 132, 135, 138, 143}, {0, 40, 41, 47, 48, 53, 88, 96, 113, 119, 125, 136}, {0, 40, 41, 47, 48, 71, 88, 96, 113, 119, 136, 143}, {0, 40, 41, 48, 65, 71, 88, 96, 113, 136, 137, 143}, {0, 40, 43, 48, 49, 55, 88, 96, 115, 121, 127, 136}, {0, 40, 45, 48, 51, 57, 88, 96, 117, 123, 129, 136}, {0, 40, 47, 48, 53, 59, 88, 96, 119, 125, 131, 136}, {0, 40, 48, 49, 55, 61, 88, 96, 121, 127, 133, 136}, {0, 40, 48, 51, 57, 63, 88, 96, 123, 129, 135, 136}, {0, 40, 48, 53, 59, 65, 88, 96, 125, 131, 136, 137}, {0, 40, 48, 55, 61, 67, 88, 96, 127, 133, 136, 139}, {0, 40, 48, 57, 63, 69, 88, 96, 129, 135, 136, 141}, {0, 40, 48, 59, 65, 71, 88, 96, 131, 136, 137, 143}}