עונת 2017/2018 בליגת העל בכדורסל – הבדלי גרסאות