27 Avr
2007
27 Avr
'07
05:53
sigh, sorry about the messed-up formatting of my mails from lately, I've moved to using IMAP and thus Thunderbird/Icedove but the latter is quite buggy. (Hoping to use Gnus on IMAP efficiently some time.)
(define (solve-confs-248) (let ((n (number-between 1 8)) (d (number-between 1 256))) (let* ((m (expt (+ d 1) n)) (v (if (> m n) m n)) (t (+ n m v))) (assert (<= t 248)) (list n d m v t ))))