const vals1to7 = [
    5,
    3,  // duplicated
    1,
    4,
    2,
    7,
    3,  // duplicated
    6
];


export { vals1to7 }