Skip to content

Instantly share code, notes, and snippets.

@spelufo

spelufo/horarios.scm

Last active August 29, 2015 14:22
Show Gist options
  • Save spelufo/8ff29f6f04402b070b42 to your computer and use it in GitHub Desktop.
Save spelufo/8ff29f6f04402b070b42 to your computer and use it in GitHub Desktop.
Download ZIP
Minikanren schedule maker. Gives all posible schedules given events that you must go to.
Raw
horarios.scm
(load "mk.scm")
(define (repeat x n)
(cond
((< n 1) '())
(else (cons x (repeat x (- n 1))))))
(define (split n l)
(cond
((or (null? l) (< n 1)) `(() ,l))
(else (let ((p (split (- n 1) (cdr l))))
`(,(cons (car l) (car p)) ,(cadr p))))))
(define (partition n l)
(cond
((< (length l) n) '())
(else (let ((p (split n l)))
(cons (car p) (partition n (cadr p)))))))
(define bg " ")
(define dias 5)
(define hora-cero 8)
(define horas/dia 12)
(define tiempos/hora 2)
(define tiempos/dia (* horas/dia tiempos/hora))
(define tiempos (* dias tiempos/dia))
(define (asig->sched asig)
(let ((dia (car asig))
(hi (caadr asig))
(hf (cadadr asig))
(id (caddr asig)))
(let ((i (+ (* tiempos/hora (- hi hora-cero)) (* dia tiempos/dia)))
(f (+ (* tiempos/hora (- hf hora-cero)) (* dia tiempos/dia))))
(append (repeat bg i) (repeat id (- f i)) (repeat bg (- tiempos f))))))
(define mn-practico '( (3 (8 9) "mnp ") (4 (9.5 11) "mnp ") (1 (15.5 17.5) "mnp ") (4 (14 16) "mnp ") (0 (9.5 11) "mnp ") (3 (12.5 14.5) "mnp ") (1 (19.5 21.5) "mnp ") (3 (19.5 21.5) "mnp ") (3 (9.5 11.5) "mnp ") (2 (15.5 17.5) "mnp ") ))
(define mn-teorico '( (1 (18 19.5) "mnt ") (0 (8 9.5) "mnt ") ))
(define pie-practico '( (3 (12 14) "piep") ))
(define pie-teorico '( (1 (10 12) "piet") ))
(define sl1-practico '( (3 (8 10) "sl1p") (4 (8 10) "sl1p") ))
(define sl1-teorico '( (0 (9.5 12) "sl1t") ))
(define fvc-practico '( (4 (10 11.5) "fvcp") (2 (11.5 13) "fvcp") ))
(define fvc-teorico '( (1 (12 13.5) "fvct") ))
(define up-practico '( (1 (8 10) "upp ") (4 (8 10) "upp ") ))
(define up-teorico '( (0 (8 9.5) "upt ") ))
(define mnp (map asig->sched mn-practico))
(define mnt (map asig->sched mn-teorico))
(define piep (map asig->sched pie-practico))
(define piet (map asig->sched pie-teorico))
(define sl1p (map asig->sched sl1-practico))
(define sl1t (map asig->sched sl1-teorico))
(define fvcp (map asig->sched fvc-practico))
(define fvct (map asig->sched fvc-teorico))
(define upp (map asig->sched up-practico))
(define upt (map asig->sched up-teorico))
(define (membero x l)
(fresh (head tail)
(== l `(,head . ,tail))
(conde ((== x head))
((membero x tail)))))
(define (appendo x y z)
(conde ((== x '()) (== y z))
((fresh (head xtail ytail ztail)
(== x `(,head . ,xtail))
(== z `(,head . ,ztail))
(appendo xtail y ztail)))))
(define (inserto x l out)
(conde
((== x '()) (== l '()) (== out '()))
((fresh (xa xd la ld oa od)
(== `(,xa . ,xd) x)
(== `(,la . ,ld) l)
(== `(,oa . ,od) out)
(conde
((== la bg) (== xa bg) (inserto xd ld od) (== oa bg))
((== la bg) (=/= xa bg) (inserto xd ld od) (== oa xa))
((=/= la bg) (== xa bg) (inserto xd ld od) (== oa la)))))))
(define mnp (map asig->sched mn-practico))
(define mnt (map asig->sched mn-teorico))
(define piep (map asig->sched pie-practico))
(define piet (map asig->sched pie-teorico))
(define sl1p (map asig->sched sl1-practico))
(define sl1t (map asig->sched sl1-teorico))
(define fvcp (map asig->sched fvc-practico))
(define fvct (map asig->sched fvc-teorico))
(define upp (map asig->sched up-practico))
(define upt (map asig->sched up-teorico))
(define (run-sched)
(map (lambda (r) (partition tiempos/dia r))
(run* (q)
(fresh (pm tm pp tp ps ts pf tf pu tu s1 s2 s3 s4 s5 s6 s7 s8 s9)
(membero pm mnp)
(membero tm mnt)
(membero pp piep)
(membero tp piet)
(membero ps sl1p)
(membero ts sl1t)
(membero pf fvcp)
(membero tf fvct)
(membero pu upp)
(membero tu upt)
(inserto pm (repeat bg tiempos) s1)
(inserto tm s1 s2)
(inserto pp s2 s3)
(inserto tp s3 s4)
(inserto ps s4 s5)
(inserto ts s5 s6)
(inserto pf s6 s7)
(inserto tf s7 s8)
(inserto pu s8 s9)
(inserto tu s9 q)))))
(with-output-to-file "horarios.txt"
(lambda () (write (run-sched) (current-output-port))))
Raw
horarios.txt
(
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("mnp " "mnp " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("mnp " "mnp " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " "mnp ")
("mnp " "mnp " "mnp " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " "mnp ")
("mnp " "mnp " "mnp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " "mnp " "mnp " "mnp " "mnp " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " "mnp " "mnp " "mnp " "mnp " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
(" " " " " " " " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" "fvcp" "fvcp" "fvcp" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
(
("upt " "upt " "upt " "sl1t" "sl1t" "sl1t" "sl1t" "sl1t" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
("upp " "upp " "upp " "upp " "piet" "piet" "piet" "piet" "fvct" "fvct" "fvct" " " " " " " " " " " " " " " " " " " "mnt " "mnt " "mnt " " ")
(" " " " " " " " " " " " " " "fvcp" "fvcp" "fvcp" " " " " " " " " " " "mnp " "mnp " "mnp " "mnp " " " " " " " " " " ")
(" " " " " " " " " " " " " " " " "piep" "piep" "piep" "piep" " " " " " " " " " " " " " " " " " " " " " " " ")
("sl1p" "sl1p" "sl1p" "sl1p" " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " " ")
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment