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