;;; shell-sort-functional-with-sedgewick.lisp
;;; Чисто функциональная сортировка Шелла для списков с последовательностью Седжвика.
;;; Нет setf/setq/loop/nth/length — только car/cdr/cons/recurse.
 
(defun list-length (l)
  (if (null l) 0 (1+ (list-length (cdr l)))))
 
(defun sedgewick-sequence (n)
  "Генерация последовательности Седжвика (вариант по вашей формуле) для n.
   Возвращает список шагов в порядке убывания (большие шаги позже можно обработать по порядку)."
  (labels ((sedgewick-iter (k seq)
             (let ((next (+ (* 4 (expt 2 k))
                            (* 3 (expt 2 (1- k)))
                            1)))
               (if (> next n)
                   (reverse seq)
                   (sedgewick-iter (1+ k) (cons next seq))))))
    (if (<= n 1)
        '(1)
        (sedgewick-iter 1 '(1)))))
 
;;; Создать список из k пустых списков
(defun make-nils (k)
  (if (zerop k) nil (cons nil (make-nils (1- k)))))
 
;;; Добавить x в pos-ю позицию списка списков acc (чисто функционально)
(defun add-to-pos (acc pos x)
  (if (zerop pos)
      (cons (append (car acc) (list x)) (cdr acc))
      (cons (car acc) (add-to-pos (cdr acc) (1- pos) x))))
 
;;; Развести lst на `step` подпоследовательностей (i-я содержит элементы i, i+step, ...)
(defun split-by-step (lst step)
  (labels ((split-rec (lst pos acc)
             (if (null lst)
                 acc
                 (split-rec (cdr lst)
                            (if (= pos (1- step)) 0 (1+ pos))
                            (add-to-pos acc pos (car lst)))))) 
    (split-rec lst 0 (make-nils step))))
 
;;; Вставка с пользовательским компаратором
(defun insert-into-sorted-cmp (x sorted cmp)
  (if (or (null sorted) (funcall cmp x (car sorted)))
      (cons x sorted)
      (cons (car sorted) (insert-into-sorted-cmp x (cdr sorted) cmp))))
 
(defun insertion-sort-cmp (lst cmp)
  (if (null lst) nil
      (insert-into-sorted-cmp (car lst) (insertion-sort-cmp (cdr lst) cmp) cmp)))
 
;;; Рекурсивный map
(defun map-rec (fn lst)
  (if (null lst) nil
      (cons (funcall fn (car lst)) (map-rec fn (cdr lst)))))
 
;;; Проверка, что все списки пусты
(defun all-empty-p (slist)
  (if (null slist) t
      (and (null (car slist)) (all-empty-p (cdr slist)))))
 
;;; Взять головы всех непустых списков последовательностей (по порядку),
;;; пропуская пустые
(defun take-heads-once (slist)
  (if (null slist) nil
      (let ((h (car slist)))
        (if (null h)
            (take-heads-once (cdr slist))
            (cons (car h) (take-heads-once (cdr slist)))))))
 
;;; Получить хвосты всех подпоследовательностей
(defun tails (slist)
  (if (null slist) nil
      (let ((h (car slist)))
        (cons (if (null h) nil (cdr h)) (tails (cdr slist))))))
 
;;; Интерлив: собрать список обратно, циклически беря первые элементы из подпоследовательностей
(defun interleave (slist)
  (labels ((inter-rec (slist)
             (if (all-empty-p slist) nil
                 (append (take-heads-once slist)
                         (inter-rec (tails slist)))))) 
    (inter-rec slist)))
 
;;; Один шаг сортировки: разбить по step, отсортировать каждую подпоследовательность вставками с cmp,
;;; затем собрать обратно
(defun insertion-sort-step (lst step cmp)
  (interleave (map-rec (lambda (sub) (insertion-sort-cmp sub cmp))
                       (split-by-step lst step))))
 
;;; Сортировка с заданной последовательностью шагов (список steps),
;;; обрабатываем шаги от больших к меньшим (если нужно — передайте в нужном порядке)
(defun shell-sort-with-steps (lst steps cmp)
  (if (null steps) lst
      (shell-sort-with-steps
       (insertion-sort-step lst (car steps) cmp)
       (cdr steps)
       cmp)))
 
(defun shell-sort (lst cmp)
  "Сортировка Шелла для списка LIST с компаратором CMP.
   CMP — функция двух аргументов (a b) -> T если a должно быть перед b."
  (let ((n (list-length lst)))
    (if (<= n 1) lst
        (let ((steps (sedgewick-sequence n)))
          (shell-sort-with-steps lst steps cmp)))))
 
;;; -----------------------------
;;; Примеры использования
;;; -----------------------------
 
(defun show-sedgewick-sequence (n)
  (format t "Последовательность Седжвика для n=~S: ~S~%" n (sedgewick-sequence n)))
 
(defun run-shell-sort-examples ()
  (format t "~%=== Shell-sort: примеры ===~%~%")
  ;; Числа по возрастанию
  (let ((numbers '(5 2 8 1 9 4 0 7 3 6)))
    (format t "Original numbers: ~S~%" numbers)
    (format t "Sorted numbers (asc): ~S~%" (shell-sort numbers #'<)))
  ;; Строки по алфавиту
  (let ((strings '("banana" "apple" "cherry" "date" "fig")))
    (format t "~%Original strings: ~S~%" strings)
    (format t "Sorted strings (string<): ~S~%" (shell-sort strings #'string<)))
  ;; Числа по убыванию
  (let ((numbers2 '(5 2 8 1 9 4)))
    (format t "~%Original numbers2: ~S~%" numbers2)
    (format t "Sorted numbers2 (desc): ~S~%" (shell-sort numbers2 #'>)))
  ;; Сравнение по длине строки
  (let ((strings2 '("a" "bb" "ccc" "d" "eeeee")))
    (format t "~%Original strings2: ~S~%" strings2)
    (format t "Sorted by length: ~S~%" (shell-sort strings2 (lambda (a b) (< (length a) (length b))))))
  ;; Пустой и единичный
  (format t "~%Empty list -> ~S~%" (shell-sort '() #'<))
  (format t "Single -> ~S~%" (shell-sort '(42) #'<))
  ;; Показать последовательности Седжвика для разных n
  (show-sedgewick-sequence 10)
  (show-sedgewick-sequence 50)
  (show-sedgewick-sequence 100)
  ;; Структуры: точки по координате x
  (defstruct point x y)
  (let ((points (list (make-point :x 3 :y 5)
                      (make-point :x 1 :y 2)
                      (make-point :x 4 :y 7)
                      (make-point :x 2 :y 1))))
    (format t "~%Original points: ~S~%" points)
    (format t "Sorted points by x: ~S~%" (shell-sort points (lambda (p1 p2) (< (point-x p1) (point-x p2))))))
  (format t "~%=== Конец примеров ===~%")
  nil)
  (eval-when (:load-toplevel :execute)
  (run-shell-sort-examples))
 

Ozs7IHNoZWxsLXNvcnQtZnVuY3Rpb25hbC13aXRoLXNlZGdld2ljay5saXNwCjs7OyDQp9C40YHRgtC+INGE0YPQvdC60YbQuNC+0L3QsNC70YzQvdCw0Y8g0YHQvtGA0YLQuNGA0L7QstC60LAg0KjQtdC70LvQsCDQtNC70Y8g0YHQv9C40YHQutC+0LIg0YEg0L/QvtGB0LvQtdC00L7QstCw0YLQtdC70YzQvdC+0YHRgtGM0Y4g0KHQtdC00LbQstC40LrQsC4KOzs7INCd0LXRgiBzZXRmL3NldHEvbG9vcC9udGgvbGVuZ3RoIOKAlCDRgtC+0LvRjNC60L4gY2FyL2Nkci9jb25zL3JlY3Vyc2UuCgooZGVmdW4gbGlzdC1sZW5ndGggKGwpCiAgKGlmIChudWxsIGwpIDAgKDErIChsaXN0LWxlbmd0aCAoY2RyIGwpKSkpKQoKKGRlZnVuIHNlZGdld2ljay1zZXF1ZW5jZSAobikKICAi0JPQtdC90LXRgNCw0YbQuNGPINC/0L7RgdC70LXQtNC+0LLQsNGC0LXQu9GM0L3QvtGB0YLQuCDQodC10LTQttCy0LjQutCwICjQstCw0YDQuNCw0L3RgiDQv9C+INCy0LDRiNC10Lkg0YTQvtGA0LzRg9C70LUpINC00LvRjyBuLgogICDQktC+0LfQstGA0LDRidCw0LXRgiDRgdC/0LjRgdC+0Log0YjQsNCz0L7QsiDQsiDQv9C+0YDRj9C00LrQtSDRg9Cx0YvQstCw0L3QuNGPICjQsdC+0LvRjNGI0LjQtSDRiNCw0LPQuCDQv9C+0LfQttC1INC80L7QttC90L4g0L7QsdGA0LDQsdC+0YLQsNGC0Ywg0L/QviDQv9C+0YDRj9C00LrRgykuIgogIChsYWJlbHMgKChzZWRnZXdpY2staXRlciAoayBzZXEpCiAgICAgICAgICAgICAobGV0ICgobmV4dCAoKyAoKiA0IChleHB0IDIgaykpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAoKiAzIChleHB0IDIgKDEtIGspKSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIDEpKSkKICAgICAgICAgICAgICAgKGlmICg+IG5leHQgbikKICAgICAgICAgICAgICAgICAgIChyZXZlcnNlIHNlcSkKICAgICAgICAgICAgICAgICAgIChzZWRnZXdpY2staXRlciAoMSsgaykgKGNvbnMgbmV4dCBzZXEpKSkpKSkKICAgIChpZiAoPD0gbiAxKQogICAgICAgICcoMSkKICAgICAgICAoc2VkZ2V3aWNrLWl0ZXIgMSAnKDEpKSkpKQoKOzs7INCh0L7Qt9C00LDRgtGMINGB0L/QuNGB0L7QuiDQuNC3IGsg0L/Rg9GB0YLRi9GFINGB0L/QuNGB0LrQvtCyCihkZWZ1biBtYWtlLW5pbHMgKGspCiAgKGlmICh6ZXJvcCBrKSBuaWwgKGNvbnMgbmlsIChtYWtlLW5pbHMgKDEtIGspKSkpKQoKOzs7INCU0L7QsdCw0LLQuNGC0YwgeCDQsiBwb3Mt0Y4g0L/QvtC30LjRhtC40Y4g0YHQv9C40YHQutCwINGB0L/QuNGB0LrQvtCyIGFjYyAo0YfQuNGB0YLQviDRhNGD0L3QutGG0LjQvtC90LDQu9GM0L3QvikKKGRlZnVuIGFkZC10by1wb3MgKGFjYyBwb3MgeCkKICAoaWYgKHplcm9wIHBvcykKICAgICAgKGNvbnMgKGFwcGVuZCAoY2FyIGFjYykgKGxpc3QgeCkpIChjZHIgYWNjKSkKICAgICAgKGNvbnMgKGNhciBhY2MpIChhZGQtdG8tcG9zIChjZHIgYWNjKSAoMS0gcG9zKSB4KSkpKQoKOzs7INCg0LDQt9Cy0LXRgdGC0LggbHN0INC90LAgYHN0ZXBgINC/0L7QtNC/0L7RgdC70LXQtNC+0LLQsNGC0LXQu9GM0L3QvtGB0YLQtdC5IChpLdGPINGB0L7QtNC10YDQttC40YIg0Y3Qu9C10LzQtdC90YLRiyBpLCBpK3N0ZXAsIC4uLikKKGRlZnVuIHNwbGl0LWJ5LXN0ZXAgKGxzdCBzdGVwKQogIChsYWJlbHMgKChzcGxpdC1yZWMgKGxzdCBwb3MgYWNjKQogICAgICAgICAgICAgKGlmIChudWxsIGxzdCkKICAgICAgICAgICAgICAgICBhY2MKICAgICAgICAgICAgICAgICAoc3BsaXQtcmVjIChjZHIgbHN0KQogICAgICAgICAgICAgICAgICAgICAgICAgICAgKGlmICg9IHBvcyAoMS0gc3RlcCkpIDAgKDErIHBvcykpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAoYWRkLXRvLXBvcyBhY2MgcG9zIChjYXIgbHN0KSkpKSkpIAogICAgKHNwbGl0LXJlYyBsc3QgMCAobWFrZS1uaWxzIHN0ZXApKSkpCgo7Ozsg0JLRgdGC0LDQstC60LAg0YEg0L/QvtC70YzQt9C+0LLQsNGC0LXQu9GM0YHQutC40Lwg0LrQvtC80L/QsNGA0LDRgtC+0YDQvtC8CihkZWZ1biBpbnNlcnQtaW50by1zb3J0ZWQtY21wICh4IHNvcnRlZCBjbXApCiAgKGlmIChvciAobnVsbCBzb3J0ZWQpIChmdW5jYWxsIGNtcCB4IChjYXIgc29ydGVkKSkpCiAgICAgIChjb25zIHggc29ydGVkKQogICAgICAoY29ucyAoY2FyIHNvcnRlZCkgKGluc2VydC1pbnRvLXNvcnRlZC1jbXAgeCAoY2RyIHNvcnRlZCkgY21wKSkpKQoKKGRlZnVuIGluc2VydGlvbi1zb3J0LWNtcCAobHN0IGNtcCkKICAoaWYgKG51bGwgbHN0KSBuaWwKICAgICAgKGluc2VydC1pbnRvLXNvcnRlZC1jbXAgKGNhciBsc3QpIChpbnNlcnRpb24tc29ydC1jbXAgKGNkciBsc3QpIGNtcCkgY21wKSkpCgo7Ozsg0KDQtdC60YPRgNGB0LjQstC90YvQuSBtYXAKKGRlZnVuIG1hcC1yZWMgKGZuIGxzdCkKICAoaWYgKG51bGwgbHN0KSBuaWwKICAgICAgKGNvbnMgKGZ1bmNhbGwgZm4gKGNhciBsc3QpKSAobWFwLXJlYyBmbiAoY2RyIGxzdCkpKSkpCgo7Ozsg0J/RgNC+0LLQtdGA0LrQsCwg0YfRgtC+INCy0YHQtSDRgdC/0LjRgdC60Lgg0L/Rg9GB0YLRiwooZGVmdW4gYWxsLWVtcHR5LXAgKHNsaXN0KQogIChpZiAobnVsbCBzbGlzdCkgdAogICAgICAoYW5kIChudWxsIChjYXIgc2xpc3QpKSAoYWxsLWVtcHR5LXAgKGNkciBzbGlzdCkpKSkpCgo7Ozsg0JLQt9GP0YLRjCDQs9C+0LvQvtCy0Ysg0LLRgdC10YUg0L3QtdC/0YPRgdGC0YvRhSDRgdC/0LjRgdC60L7QsiDQv9C+0YHQu9C10LTQvtCy0LDRgtC10LvRjNC90L7RgdGC0LXQuSAo0L/QviDQv9C+0YDRj9C00LrRgyksCjs7OyDQv9GA0L7Qv9GD0YHQutCw0Y8g0L/Rg9GB0YLRi9C1CihkZWZ1biB0YWtlLWhlYWRzLW9uY2UgKHNsaXN0KQogIChpZiAobnVsbCBzbGlzdCkgbmlsCiAgICAgIChsZXQgKChoIChjYXIgc2xpc3QpKSkKICAgICAgICAoaWYgKG51bGwgaCkKICAgICAgICAgICAgKHRha2UtaGVhZHMtb25jZSAoY2RyIHNsaXN0KSkKICAgICAgICAgICAgKGNvbnMgKGNhciBoKSAodGFrZS1oZWFkcy1vbmNlIChjZHIgc2xpc3QpKSkpKSkpCgo7Ozsg0J/QvtC70YPRh9C40YLRjCDRhdCy0L7RgdGC0Ysg0LLRgdC10YUg0L/QvtC00L/QvtGB0LvQtdC00L7QstCw0YLQtdC70YzQvdC+0YHRgtC10LkKKGRlZnVuIHRhaWxzIChzbGlzdCkKICAoaWYgKG51bGwgc2xpc3QpIG5pbAogICAgICAobGV0ICgoaCAoY2FyIHNsaXN0KSkpCiAgICAgICAgKGNvbnMgKGlmIChudWxsIGgpIG5pbCAoY2RyIGgpKSAodGFpbHMgKGNkciBzbGlzdCkpKSkpKQoKOzs7INCY0L3RgtC10YDQu9C40LI6INGB0L7QsdGA0LDRgtGMINGB0L/QuNGB0L7QuiDQvtCx0YDQsNGC0L3Qviwg0YbQuNC60LvQuNGH0LXRgdC60Lgg0LHQtdGA0Y8g0L/QtdGA0LLRi9C1INGN0LvQtdC80LXQvdGC0Ysg0LjQtyDQv9C+0LTQv9C+0YHQu9C10LTQvtCy0LDRgtC10LvRjNC90L7RgdGC0LXQuQooZGVmdW4gaW50ZXJsZWF2ZSAoc2xpc3QpCiAgKGxhYmVscyAoKGludGVyLXJlYyAoc2xpc3QpCiAgICAgICAgICAgICAoaWYgKGFsbC1lbXB0eS1wIHNsaXN0KSBuaWwKICAgICAgICAgICAgICAgICAoYXBwZW5kICh0YWtlLWhlYWRzLW9uY2Ugc2xpc3QpCiAgICAgICAgICAgICAgICAgICAgICAgICAoaW50ZXItcmVjICh0YWlscyBzbGlzdCkpKSkpKSAKICAgIChpbnRlci1yZWMgc2xpc3QpKSkKCjs7OyDQntC00LjQvSDRiNCw0LMg0YHQvtGA0YLQuNGA0L7QstC60Lg6INGA0LDQt9Cx0LjRgtGMINC/0L4gc3RlcCwg0L7RgtGB0L7RgNGC0LjRgNC+0LLQsNGC0Ywg0LrQsNC20LTRg9GOINC/0L7QtNC/0L7RgdC70LXQtNC+0LLQsNGC0LXQu9GM0L3QvtGB0YLRjCDQstGB0YLQsNCy0LrQsNC80Lgg0YEgY21wLAo7Ozsg0LfQsNGC0LXQvCDRgdC+0LHRgNCw0YLRjCDQvtCx0YDQsNGC0L3QvgooZGVmdW4gaW5zZXJ0aW9uLXNvcnQtc3RlcCAobHN0IHN0ZXAgY21wKQogIChpbnRlcmxlYXZlIChtYXAtcmVjIChsYW1iZGEgKHN1YikgKGluc2VydGlvbi1zb3J0LWNtcCBzdWIgY21wKSkKICAgICAgICAgICAgICAgICAgICAgICAoc3BsaXQtYnktc3RlcCBsc3Qgc3RlcCkpKSkKCjs7OyDQodC+0YDRgtC40YDQvtCy0LrQsCDRgSDQt9Cw0LTQsNC90L3QvtC5INC/0L7RgdC70LXQtNC+0LLQsNGC0LXQu9GM0L3QvtGB0YLRjNGOINGI0LDQs9C+0LIgKNGB0L/QuNGB0L7QuiBzdGVwcyksCjs7OyDQvtCx0YDQsNCx0LDRgtGL0LLQsNC10Lwg0YjQsNCz0Lgg0L7RgiDQsdC+0LvRjNGI0LjRhSDQuiDQvNC10L3RjNGI0LjQvCAo0LXRgdC70Lgg0L3Rg9C20L3QviDigJQg0L/QtdGA0LXQtNCw0LnRgtC1INCyINC90YPQttC90L7QvCDQv9C+0YDRj9C00LrQtSkKKGRlZnVuIHNoZWxsLXNvcnQtd2l0aC1zdGVwcyAobHN0IHN0ZXBzIGNtcCkKICAoaWYgKG51bGwgc3RlcHMpIGxzdAogICAgICAoc2hlbGwtc29ydC13aXRoLXN0ZXBzCiAgICAgICAoaW5zZXJ0aW9uLXNvcnQtc3RlcCBsc3QgKGNhciBzdGVwcykgY21wKQogICAgICAgKGNkciBzdGVwcykKICAgICAgIGNtcCkpKQoKKGRlZnVuIHNoZWxsLXNvcnQgKGxzdCBjbXApCiAgItCh0L7RgNGC0LjRgNC+0LLQutCwINCo0LXQu9C70LAg0LTQu9GPINGB0L/QuNGB0LrQsCBMSVNUINGBINC60L7QvNC/0LDRgNCw0YLQvtGA0L7QvCBDTVAuCiAgIENNUCDigJQg0YTRg9C90LrRhtC40Y8g0LTQstGD0YUg0LDRgNCz0YPQvNC10L3RgtC+0LIgKGEgYikgLT4gVCDQtdGB0LvQuCBhINC00L7Qu9C20L3QviDQsdGL0YLRjCDQv9C10YDQtdC0IGIuIgogIChsZXQgKChuIChsaXN0LWxlbmd0aCBsc3QpKSkKICAgIChpZiAoPD0gbiAxKSBsc3QKICAgICAgICAobGV0ICgoc3RlcHMgKHNlZGdld2ljay1zZXF1ZW5jZSBuKSkpCiAgICAgICAgICAoc2hlbGwtc29ydC13aXRoLXN0ZXBzIGxzdCBzdGVwcyBjbXApKSkpKQoKOzs7IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjs7OyDQn9GA0LjQvNC10YDRiyDQuNGB0L/QvtC70YzQt9C+0LLQsNC90LjRjwo7OzsgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCihkZWZ1biBzaG93LXNlZGdld2ljay1zZXF1ZW5jZSAobikKICAoZm9ybWF0IHQgItCf0L7RgdC70LXQtNC+0LLQsNGC0LXQu9GM0L3QvtGB0YLRjCDQodC10LTQttCy0LjQutCwINC00LvRjyBuPX5TOiB+U34lIiBuIChzZWRnZXdpY2stc2VxdWVuY2UgbikpKQoKKGRlZnVuIHJ1bi1zaGVsbC1zb3J0LWV4YW1wbGVzICgpCiAgKGZvcm1hdCB0ICJ+JT09PSBTaGVsbC1zb3J0OiDQv9GA0LjQvNC10YDRiyA9PT1+JX4lIikKICA7OyDQp9C40YHQu9CwINC/0L4g0LLQvtC30YDQsNGB0YLQsNC90LjRjgogIChsZXQgKChudW1iZXJzICcoNSAyIDggMSA5IDQgMCA3IDMgNikpKQogICAgKGZvcm1hdCB0ICJPcmlnaW5hbCBudW1iZXJzOiB+U34lIiBudW1iZXJzKQogICAgKGZvcm1hdCB0ICJTb3J0ZWQgbnVtYmVycyAoYXNjKTogflN+JSIgKHNoZWxsLXNvcnQgbnVtYmVycyAjJzwpKSkKICA7OyDQodGC0YDQvtC60Lgg0L/QviDQsNC70YTQsNCy0LjRgtGDCiAgKGxldCAoKHN0cmluZ3MgJygiYmFuYW5hIiAiYXBwbGUiICJjaGVycnkiICJkYXRlIiAiZmlnIikpKQogICAgKGZvcm1hdCB0ICJ+JU9yaWdpbmFsIHN0cmluZ3M6IH5TfiUiIHN0cmluZ3MpCiAgICAoZm9ybWF0IHQgIlNvcnRlZCBzdHJpbmdzIChzdHJpbmc8KTogflN+JSIgKHNoZWxsLXNvcnQgc3RyaW5ncyAjJ3N0cmluZzwpKSkKICA7OyDQp9C40YHQu9CwINC/0L4g0YPQsdGL0LLQsNC90LjRjgogIChsZXQgKChudW1iZXJzMiAnKDUgMiA4IDEgOSA0KSkpCiAgICAoZm9ybWF0IHQgIn4lT3JpZ2luYWwgbnVtYmVyczI6IH5TfiUiIG51bWJlcnMyKQogICAgKGZvcm1hdCB0ICJTb3J0ZWQgbnVtYmVyczIgKGRlc2MpOiB+U34lIiAoc2hlbGwtc29ydCBudW1iZXJzMiAjJz4pKSkKICA7OyDQodGA0LDQstC90LXQvdC40LUg0L/QviDQtNC70LjQvdC1INGB0YLRgNC+0LrQuAogIChsZXQgKChzdHJpbmdzMiAnKCJhIiAiYmIiICJjY2MiICJkIiAiZWVlZWUiKSkpCiAgICAoZm9ybWF0IHQgIn4lT3JpZ2luYWwgc3RyaW5nczI6IH5TfiUiIHN0cmluZ3MyKQogICAgKGZvcm1hdCB0ICJTb3J0ZWQgYnkgbGVuZ3RoOiB+U34lIiAoc2hlbGwtc29ydCBzdHJpbmdzMiAobGFtYmRhIChhIGIpICg8IChsZW5ndGggYSkgKGxlbmd0aCBiKSkpKSkpCiAgOzsg0J/Rg9GB0YLQvtC5INC4INC10LTQuNC90LjRh9C90YvQuQogIChmb3JtYXQgdCAifiVFbXB0eSBsaXN0IC0+IH5TfiUiIChzaGVsbC1zb3J0ICcoKSAjJzwpKQogIChmb3JtYXQgdCAiU2luZ2xlIC0+IH5TfiUiIChzaGVsbC1zb3J0ICcoNDIpICMnPCkpCiAgOzsg0J/QvtC60LDQt9Cw0YLRjCDQv9C+0YHQu9C10LTQvtCy0LDRgtC10LvRjNC90L7RgdGC0Lgg0KHQtdC00LbQstC40LrQsCDQtNC70Y8g0YDQsNC30L3Ri9GFIG4KICAoc2hvdy1zZWRnZXdpY2stc2VxdWVuY2UgMTApCiAgKHNob3ctc2VkZ2V3aWNrLXNlcXVlbmNlIDUwKQogIChzaG93LXNlZGdld2ljay1zZXF1ZW5jZSAxMDApCiAgOzsg0KHRgtGA0YPQutGC0YPRgNGLOiDRgtC+0YfQutC4INC/0L4g0LrQvtC+0YDQtNC40L3QsNGC0LUgeAogIChkZWZzdHJ1Y3QgcG9pbnQgeCB5KQogIChsZXQgKChwb2ludHMgKGxpc3QgKG1ha2UtcG9pbnQgOnggMyA6eSA1KQogICAgICAgICAgICAgICAgICAgICAgKG1ha2UtcG9pbnQgOnggMSA6eSAyKQogICAgICAgICAgICAgICAgICAgICAgKG1ha2UtcG9pbnQgOnggNCA6eSA3KQogICAgICAgICAgICAgICAgICAgICAgKG1ha2UtcG9pbnQgOnggMiA6eSAxKSkpKQogICAgKGZvcm1hdCB0ICJ+JU9yaWdpbmFsIHBvaW50czogflN+JSIgcG9pbnRzKQogICAgKGZvcm1hdCB0ICJTb3J0ZWQgcG9pbnRzIGJ5IHg6IH5TfiUiIChzaGVsbC1zb3J0IHBvaW50cyAobGFtYmRhIChwMSBwMikgKDwgKHBvaW50LXggcDEpIChwb2ludC14IHAyKSkpKSkpCiAgKGZvcm1hdCB0ICJ+JT09PSDQmtC+0L3QtdGGINC/0YDQuNC80LXRgNC+0LIgPT09fiUiKQogIG5pbCkKICAoZXZhbC13aGVuICg6bG9hZC10b3BsZXZlbCA6ZXhlY3V0ZSkKICAocnVuLXNoZWxsLXNvcnQtZXhhbXBsZXMpKQo=