var group__misc =
[
    [ "count", "d1/ded/group__misc.html#ga6f8e8c9d25b5891d57e588d80d75028a", null ],
    [ "main", "d1/ded/group__misc.html#gac0f2228420376f4db7e1274f2b41667c", null ],
    [ "prime", "d1/ded/group__misc.html#gac1a7a8e00eeb590511465c28fae16e54", null ],
    [ "test", "d1/ded/group__misc.html#gaa8dca7b867074164d5f45b0f3851269d", null ]
];