[[Vecsmall([36, 94, 88, 87, 91, 30, 89, 29, 32, 85, 31, 86, 79, 23, 81, 75, 74, 25, 73, 78, 77, 76, 14, 66, 18, 65, 68, 67, 8, 6, 11, 9, 59, 60, 127, 1, 57, 124, 58, 122, 126, 125, 117, 119, 47, 49, 45, 114, 46, 116, 109, 108, 107, 113, 112, 110, 37, 39, 33, 34, 102, 101, 105, 103, 26, 24, 28, 27, 95, 96, 90, 92, 19, 17, 16, 22, 21, 20, 13, 83, 15, 84, 80, 82, 10, 12, 4, 3, 7, 71, 5, 72, 128, 2, 69, 70, 120, 118, 123, 121, 62, 61, 64, 111, 63, 115, 53, 52, 51, 56, 104, 55, 54, 48, 106, 50, 43, 98, 44, 97, 100, 40, 99, 38, 42, 41, 35, 93]), Vecsmall([44, 12, 73, 75, 22, 90, 20, 80, 72, 93, 84, 2, 17, 102, 77, 87, 13, 63, 88, 7, 81, 5, 61, 104, 105, 33, 115, 60, 83, 71, 82, 92, 26, 67, 43, 119, 97, 53, 123, 51, 110, 113, 35, 1, 118, 100, 98, 108, 121, 55, 40, 114, 38, 125, 50, 126, 120, 99, 65, 28, 23, 95, 18, 70, 59, 111, 34, 106, 101, 64, 30, 9, 3, 79, 4, 91, 15, 89, 74, 8, 21, 31, 29, 11, 128, 94, 16, 19, 78, 6, 76, 32, 10, 86, 62, 103, 37, 47, 58, 46, 69, 14, 96, 24, 25, 68, 124, 48, 122, 41, 66, 116, 42, 52, 27, 112, 127, 45, 36, 57, 49, 109, 39, 107, 54, 56, 117, 85]), Vecsmall([93, 35, 41, 42, 38, 99, 40, 100, 97, 44, 98, 43, 50, 106, 48, 54, 55, 104, 56, 51, 52, 53, 115, 63, 111, 64, 61, 62, 121, 123, 118, 120, 70, 69, 2, 128, 72, 5, 71, 7, 3, 4, 12, 10, 82, 80, 84, 15, 83, 13, 20, 21, 22, 16, 17, 19, 92, 90, 96, 95, 27, 28, 24, 26, 103, 105, 101, 102, 34, 33, 39, 37, 110, 112, 113, 107, 108, 109, 116, 46, 114, 45, 49, 47, 119, 117, 125, 126, 122, 58, 124, 57, 1, 127, 60, 59, 9, 11, 6, 8, 67, 68, 65, 18, 66, 14, 76, 77, 78, 73, 25, 74, 75, 81, 23, 79, 86, 31, 85, 32, 29, 89, 30, 91, 87, 88, 94, 36]), Vecsmall([61, 113, 15, 34, 31, 74, 1, 3, 83, 68, 6, 125, 76, 33, 72, 67, 5, 127, 77, 119, 9, 84, 59, 2, 35, 7, 70, 105, 88, 17, 30, 80, 78, 25, 4, 102, 46, 45, 112, 10, 108, 101, 16, 14, 99, 126, 123, 97, 41, 124, 128, 37, 98, 69, 53, 48, 49, 55, 20, 18, 26, 111, 43, 51, 89, 94, 63, 96, 66, 122, 79, 8, 21, 91, 28, 82, 32, 44, 22, 19, 92, 90, 73, 71, 27, 42, 60, 81, 36, 13, 11, 29, 115, 54, 24, 40, 121, 58, 116, 110, 104, 65, 109, 86, 117, 64, 118, 57, 93, 114, 12, 107, 95, 120, 103, 38, 75, 39, 23, 100, 56, 85, 50, 47, 62, 52, 87, 106]), Vecsmall([53, 110, 86, 121, 119, 26, 31, 87, 62, 91, 122, 126, 27, 17, 63, 49, 106, 52, 94, 84, 18, 1, 74, 15, 108, 99, 50, 9, 4, 65, 40, 101, 39, 72, 73, 107, 34, 85, 70, 118, 117, 29, 88, 124, 78, 113, 20, 24, 54, 61, 47, 104, 93, 83, 14, 127, 60, 96, 58, 92, 13, 97, 48, 6, 123, 81, 32, 116, 37, 71, 33, 69, 2, 115, 46, 36, 25, 82, 68, 75, 105, 109, 16, 51, 5, 41, 100, 12, 11, 59, 44, 95, 22, 56, 57, 90, 28, 89, 64, 125, 120, 79, 30, 21, 114, 55, 128, 111, 45, 35, 77, 23, 80, 66, 112, 102, 3, 7, 38, 67, 42, 98, 103, 10, 8, 43, 19, 76]), Vecsmall([127, 36, 5, 7, 41, 97, 42, 98, 6, 12, 8, 44, 15, 104, 50, 20, 21, 14, 22, 54, 55, 56, 111, 27, 23, 28, 63, 64, 118, 120, 29, 30, 34, 70, 128, 35, 39, 3, 72, 4, 38, 40, 10, 43, 46, 82, 49, 13, 84, 48, 16, 17, 19, 51, 52, 53, 58, 92, 60, 96, 24, 26, 61, 62, 67, 68, 103, 105, 33, 69, 37, 71, 76, 77, 78, 110, 112, 113, 81, 45, 116, 80, 47, 83, 86, 119, 89, 91, 125, 57, 126, 90, 94, 1, 59, 95, 99, 100, 9, 11, 65, 66, 101, 106, 102, 18, 73, 74, 75, 107, 115, 108, 109, 79, 25, 114, 85, 121, 117, 123, 31, 87, 32, 88, 122, 124, 93, 2])], Vecsmall([2, 2, 2, 4, 2, 2])]
