(cons (cons 0 (cons 0 (cons #t (cons 2 (cons 2 (cons #t '())))))) (cons (cons 1 (cons 1 (cons #t (cons 3 (cons 2 (cons #t '())))))) (cons (cons 2 (cons 2 (cons #t (cons 4 (cons 3 (cons #t '())))))) (cons (cons 3 (cons 2 (cons #t (cons 5 (cons 3 (cons #t '())))))) (cons (cons 4 (cons 3 (cons #t (cons 6 (cons 3 (cons #t '())))))) (cons (cons 5 (cons 3 (cons #t (cons 7 (cons 3 (cons #t '())))))) (cons (cons 6 (cons 3 (cons #t (cons 8 (cons 4 (cons #t '())))))) (cons (cons 7 (cons 3 (cons #t (cons 9 (cons 4 (cons #t '())))))) (cons (cons 8 (cons 4 (cons #t (cons 10 (cons 4 (cons #t '())))))) (cons (cons 9 (cons 4 (cons #t (cons 11 (cons 4 (cons #t '())))))) (cons (cons 10 (cons 4 (cons #t (cons 12 (cons 4 (cons #t '())))))) (cons (cons 11 (cons 4 (cons #t (cons 13 (cons 4 (cons #t '())))))) (cons (cons 12 (cons 4 (cons #t (cons 14 (cons 4 (cons #t '())))))) (cons (cons 13 (cons 4 (cons #t (cons 15 (cons 4 (cons #t '())))))) (cons (cons 14 (cons 4 (cons #t (cons 16 (cons 5 (cons #t '())))))) (cons (cons 15 (cons 4 (cons #t (cons 17 (cons 5 (cons #t '())))))) (cons (cons 16 (cons 5 (cons #t (cons 18 (cons 5 (cons #t '())))))) (cons (cons 17 (cons 5 (cons #t (cons 19 (cons 5 (cons #t '())))))) (cons (cons 18 (cons 5 (cons #t (cons 20 (cons 5 (cons #t '())))))) (cons (cons 19 (cons 5 (cons #t (cons 21 (cons 5 (cons #t '())))))) (cons (cons 20 (cons 5 (cons #t (cons 22 (cons 5 (cons #t '())))))) (cons (cons 21 (cons 5 (cons #t (cons 23 (cons 5 (cons #t '())))))) (cons (cons 22 (cons 5 (cons #t (cons 24 (cons 5 (cons #t '())))))) (cons (cons 23 (cons 5 (cons #t (cons 25 (cons 5 (cons #t '())))))) (cons (cons 24 (cons 5 (cons #t (cons 26 (cons 5 (cons #t '())))))) (cons (cons 25 (cons 5 (cons #t (cons 27 (cons 5 (cons #t '())))))) (cons (cons 26 (cons 5 (cons #t (cons 28 (cons 5 (cons #t '())))))) (cons (cons 27 (cons 5 (cons #t (cons 29 (cons 5 (cons #t '())))))) (cons (cons 28 (cons 5 (cons #t (cons 30 (cons 5 (cons #t '())))))) (cons (cons 29 (cons 5 (cons #t (cons 31 (cons 5 (cons #t '())))))) (cons (cons 30 (cons 5 (cons #t (cons 32 (cons 6 (cons #t '())))))) (cons (cons 31 (cons 5 (cons #t (cons 33 (cons 6 (cons #t '())))))) (cons (cons 32 (cons 6 (cons #t (cons 34 (cons 6 (cons #t '())))))) (cons (cons 33 (cons 6 (cons #t (cons 35 (cons 6 (cons #t '())))))) (cons (cons 34 (cons 6 (cons #t (cons 36 (cons 6 (cons #t '())))))) (cons (cons 35 (cons 6 (cons #t (cons 37 (cons 6 (cons #t '())))))) (cons (cons 36 (cons 6 (cons #t (cons 38 (cons 6 (cons #t '())))))) (cons (cons 37 (cons 6 (cons #t (cons 39 (cons 6 (cons #t '())))))) (cons (cons 38 (cons 6 (cons #t (cons 40 (cons 6 (cons #t '())))))) (cons (cons 39 (cons 6 (cons #t (cons 41 (cons 6 (cons #t '())))))) (cons (cons 40 (cons 6 (cons #t (cons 42 (cons 6 (cons #t '())))))) (cons (cons 41 (cons 6 (cons #t (cons 43 (cons 6 (cons #t '())))))) (cons (cons 42 (cons 6 (cons #t (cons 44 (cons 6 (cons #t '())))))) (cons (cons 43 (cons 6 (cons #t (cons 45 (cons 6 (cons #t '())))))) (cons (cons 44 (cons 6 (cons #t (cons 46 (cons 6 (cons #t '())))))) (cons (cons 45 (cons 6 (cons #t (cons 47 (cons 6 (cons #t '())))))) (cons (cons 46 (cons 6 (cons #t (cons 48 (cons 6 (cons #t '())))))) (cons (cons 47 (cons 6 (cons #t (cons 49 (cons 6 (cons #t '())))))) (cons (cons 48 (cons 6 (cons #t (cons 50 (cons 6 (cons #t '())))))) (cons (cons 49 (cons 6 (cons #t (cons 51 (cons 6 (cons #t '())))))) (cons (cons 50 (cons 6 (cons #t (cons 52 (cons 6 (cons #t '())))))) (cons (cons 51 (cons 6 (cons #t (cons 53 (cons 6 (cons #t '())))))) (cons (cons 52 (cons 6 (cons #t (cons 54 (cons 6 (cons #t '())))))) (cons (cons 53 (cons 6 (cons #t (cons 55 (cons 6 (cons #t '())))))) (cons (cons 54 (cons 6 (cons #t (cons 56 (cons 6 (cons #t '())))))) (cons (cons 55 (cons 6 (cons #t (cons 57 (cons 6 (cons #t '())))))) (cons (cons 56 (cons 6 (cons #t (cons 58 (cons 6 (cons #t '())))))) (cons (cons 57 (cons 6 (cons #t (cons 59 (cons 6 (cons #t '())))))) (cons (cons 58 (cons 6 (cons #t (cons 60 (cons 6 (cons #t '())))))) (cons (cons 59 (cons 6 (cons #t (cons 61 (cons 6 (cons #t '())))))) (cons (cons 60 (cons 6 (cons #t (cons 62 (cons 6 (cons #t '())))))) (cons (cons 61 (cons 6 (cons #t (cons 63 (cons 6 (cons #t '())))))) (cons (cons 62 (cons 6 (cons #t (cons 64 (cons 7 (cons #t '())))))) (cons (cons 63 (cons 6 (cons #t (cons 65 (cons 7 (cons #t '())))))) (cons (cons 64 (cons 7 (cons #t (cons 66 (cons 7 (cons #t '())))))) (cons (cons 65 (cons 7 (cons #t (cons 67 (cons 7 (cons #t '())))))) (cons (cons 66 (cons 7 (cons #t (cons 68 (cons 7 (cons #t '())))))) (cons (cons 67 (cons 7 (cons #t (cons 69 (cons 7 (cons #t '())))))) (cons (cons 68 (cons 7 (cons #t (cons 70 (cons 7 (cons #t '())))))) (cons (cons 69 (cons 7 (cons #t (cons 71 (cons 7 (cons #t '())))))) (cons (cons 70 (cons 7 (cons #t (cons 72 (cons 7 (cons #t '())))))) (cons (cons 71 (cons 7 (cons #t (cons 73 (cons 7 (cons #t '())))))) (cons (cons 72 (cons 7 (cons #t (cons 74 (cons 7 (cons #t '())))))) (cons (cons 73 (cons 7 (cons #t (cons 75 (cons 7 (cons #t '())))))) (cons (cons 74 (cons 7 (cons #t (cons 76 (cons 7 (cons #t '())))))) (cons (cons 75 (cons 7 (cons #t (cons 77 (cons 7 (cons #t '())))))) (cons (cons 76 (cons 7 (cons #t (cons 78 (cons 7 (cons #t '())))))) (cons (cons 77 (cons 7 (cons #t (cons 79 (cons 7 (cons #t '())))))) (cons (cons 78 (cons 7 (cons #t (cons 80 (cons 7 (cons #t '())))))) (cons (cons 79 (cons 7 (cons #t (cons 81 (cons 7 (cons #t '())))))) (cons (cons 80 (cons 7 (cons #t (cons 82 (cons 7 (cons #t '())))))) (cons (cons 81 (cons 7 (cons #t (cons 83 (cons 7 (cons #t '())))))) (cons (cons 82 (cons 7 (cons #t (cons 84 (cons 7 (cons #t '())))))) (cons (cons 83 (cons 7 (cons #t (cons 85 (cons 7 (cons #t '())))))) (cons (cons 84 (cons 7 (cons #t (cons 86 (cons 7 (cons #t '())))))) (cons (cons 85 (cons 7 (cons #t (cons 87 (cons 7 (cons #t '())))))) (cons (cons 86 (cons 7 (cons #t (cons 88 (cons 7 (cons #t '())))))) (cons (cons 87 (cons 7 (cons #t (cons 89 (cons 7 (cons #t '())))))) (cons (cons 88 (cons 7 (cons #t (cons 90 (cons 7 (cons #t '())))))) (cons (cons 89 (cons 7 (cons #t (cons 91 (cons 7 (cons #t '())))))) (cons (cons 90 (cons 7 (cons #t (cons 92 (cons 7 (cons #t '())))))) (cons (cons 91 (cons 7 (cons #t (cons 93 (cons 7 (cons #t '())))))) (cons (cons 92 (cons 7 (cons #t (cons 94 (cons 7 (cons #t '())))))) (cons (cons 93 (cons 7 (cons #t (cons 95 (cons 7 (cons #t '())))))) (cons (cons 94 (cons 7 (cons #t (cons 96 (cons 7 (cons #t '())))))) (cons (cons 95 (cons 7 (cons #t (cons 97 (cons 7 (cons #t '())))))) (cons (cons 96 (cons 7 (cons #t (cons 98 (cons 7 (cons #t '())))))) (cons (cons 97 (cons 7 (cons #t (cons 99 (cons 7 (cons #t '())))))) (cons (cons 98 (cons 7 (cons #t (cons 100 (cons 7 (cons #t '())))))) (cons (cons 99 (cons 7 (cons #t (cons 101 (cons 7 (cons #t '())))))) (cons (cons 100 (cons 7 (cons #t (cons 102 (cons 7 (cons #t '())))))) (cons (cons 101 (cons 7 (cons #t (cons 103 (cons 7 (cons #t '())))))) (cons (cons 102 (cons 7 (cons #t (cons 104 (cons 7 (cons #t '())))))) (cons (cons 103 (cons 7 (cons #t (cons 105 (cons 7 (cons #t '())))))) (cons (cons 104 (cons 7 (cons #t (cons 106 (cons 7 (cons #t '())))))) (cons (cons 105 (cons 7 (cons #t (cons 107 (cons 7 (cons #t '())))))) (cons (cons 106 (cons 7 (cons #t (cons 108 (cons 7 (cons #t '())))))) (cons (cons 107 (cons 7 (cons #t (cons 109 (cons 7 (cons #t '())))))) (cons (cons 108 (cons 7 (cons #t (cons 110 (cons 7 (cons #t '())))))) (cons (cons 109 (cons 7 (cons #t (cons 111 (cons 7 (cons #t '())))))) (cons (cons 110 (cons 7 (cons #t (cons 112 (cons 7 (cons #t '())))))) (cons (cons 111 (cons 7 (cons #t (cons 113 (cons 7 (cons #t '())))))) (cons (cons 112 (cons 7 (cons #t (cons 114 (cons 7 (cons #t '())))))) (cons (cons 113 (cons 7 (cons #t (cons 115 (cons 7 (cons #t '())))))) (cons (cons 114 (cons 7 (cons #t (cons 116 (cons 7 (cons #t '())))))) (cons (cons 115 (cons 7 (cons #t (cons 117 (cons 7 (cons #t '())))))) (cons (cons 116 (cons 7 (cons #t (cons 118 (cons 7 (cons #t '())))))) (cons (cons 117 (cons 7 (cons #t (cons 119 (cons 7 (cons #t '())))))) (cons (cons 118 (cons 7 (cons #t (cons 120 (cons 7 (cons #t '())))))) (cons (cons 119 (cons 7 (cons #t (cons 121 (cons 7 (cons #t '())))))) (cons (cons 120 (cons 7 (cons #t (cons 122 (cons 7 (cons #t '())))))) (cons (cons 121 (cons 7 (cons #t (cons 123 (cons 7 (cons #t '())))))) (cons (cons 122 (cons 7 (cons #t (cons 124 (cons 7 (cons #t '())))))) (cons (cons 123 (cons 7 (cons #t (cons 125 (cons 7 (cons #t '())))))) (cons (cons 124 (cons 7 (cons #t (cons 126 (cons 7 (cons #t '())))))) (cons (cons 125 (cons 7 (cons #t (cons 127 (cons 7 (cons #t '())))))) (cons (cons 126 (cons 7 (cons #t (cons 128 (cons 8 (cons #t '())))))) (cons (cons 127 (cons 7 (cons #t (cons 129 (cons 8 (cons #t '())))))) '()))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))