Last active
August 29, 2015 14:22
-
-
Save spelufo/8ff29f6f04402b070b42 to your computer and use it in GitHub Desktop.
Minikanren schedule maker. Gives all posible schedules given events that you must go to.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (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)))) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ( | |
| ( | |
| ("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