Εκφώνηση

Σε μία ευθεία γραμμή αρχικά υπάρχουν k φορτηγάκια και n επαναστάτες με τα μηχανάκια τους. Σκοπός των επαναστατών και των οδηγών των φορτηγών είναι όλοι να μπουν στα φορτηγάκια(αφήνοντας τις μηχανές τους),για να διασωθούν. Κάθε επαναστάτης όταν διανύει 1km καίει 1 λίτρο βενζίνη. Όμοια και κάθε φορτηγάκι. Αν όμως ένα φορτηγάκι πάρει ένα επαναστάτη, για κάθε 1km που διανύει θα καίει 2 λίτρα βενζίνης,λόγω αυξημένου βάρους. Όμοια, αν πάρει i επαναστάτες,για κάθε 1km που διανύει θα καίει i+1 λίτρα βενζίνης. Μπορούν να υπάρχουν πάνω από ένα επαναστάτες και φορτηγά στο ίδιο σημείο κάποια χρονική στιγμή, ενώ δεν είναι απαραίτητο όταν ένα φορτηγάκι βρεθεί στο ίδιο σημείο με έναν επαναστάτη αυτός να μπει μέσα. Ζητείται η ελάχιστη ποσότητα βενζίνης που καταναλώνεται έτσι ώστε όλοι οι επαναστάτες να μπουν στα φορτηγάκια και να διασωθούν, ύστερα από κίνηση όπως περιγράφηκε παραπάνω.


Δεδομένα εισόδου (αρχείο "rebels.in")

Στην πρώτη γραμμή δίνονται τα k,n. Ακολουθούν n+k γραμμές,από τις οποίες οι πρώτες k έχουν τις αρχικές θέσεις των φορτηγών, ενώ οι επόμενες n τις αρχικές θέσεις των επαναστατών. Όλοι οι αριθμοί είναι ακέραιοι και η κλίμακα είναι σε χιλιόμετρα(δηλαδή η απόσταση από το σημείο i στο i+1 στην ευθεία αυτή ισοδυναμεί με ένα χιλιόμετρο).


Δεδομένα εξόδου (αρχείο "rebels.out")

Ένας ακέραιος αριθμός, η ελάχιστη ποσότητα βενζίνης που καταναλώνεται έτσι ώστε όλοι οι επαναστάτες να μπουν στα φορτηγάκια.


Περιορισμοί

1 <= n <= 300
1 <= k <= 100

Στο 50% των testcases θα ισχύει k=1.


Παράδειγμα εισόδου

1 4
1
-1
0
2
3

Παράδειγμα εξόδου

6