Pb[3 vars, 1 cons]
ab{0}
ac{0}
bc{0}

Pb[3 vars, 2 cons]
ab{0}
ac{0}
bc{1}

Pb[3 vars, 3 cons]
ab{0}
ac{0}
bc{2}

Pb[3 vars, 4 cons]
ab{0}
ac{0}
bc{3}

Pb[3 vars, 5 cons]
ab{0}
ac{0}
bc{4}

Pb[3 vars, 6 cons]
ab{0}
ac{0}
bc{5}

Pb[3 vars, 7 cons]
ab{0}
ac{0}
bc{6}

Pb[3 vars, 8 cons]
ab{0}
ac{0}
bc{7}

Pb[3 vars, 9 cons]
ab{0}
ac{0}
bc{8}

Pb[3 vars, 10 cons]
ab{0}
ac{0}
bc{9}

Pb[3 vars, 11 cons]
ab{0}
ac{1}
bc{0}

Pb[3 vars, 12 cons]
ab{0}
ac{2}
bc{0}

Pb[3 vars, 13 cons]
ab{0}
ac{3}
bc{0}

Pb[3 vars, 14 cons]
ab{0}
ac{4}
bc{0}

Pb[3 vars, 15 cons]
ab{0}
ac{5}
bc{0}

Pb[3 vars, 16 cons]
ab{0}
ac{6}
bc{0}

Pb[3 vars, 17 cons]
ab{0}
ac{7}
bc{0}

Pb[3 vars, 18 cons]
ab{0}
ac{8}
bc{0}

Pb[3 vars, 19 cons]
ab{0}
ac{9}
bc{0}

Pb[3 vars, 20 cons]
ab{1}
ac{0}
bc{0}

Pb[3 vars, 21 cons]
ab{1}
ac{1}
bc{1}

Pb[3 vars, 22 cons]
ab{1}
ac{1}
bc{2}

Pb[3 vars, 23 cons]
ab{1}
ac{1}
bc{3}

Pb[3 vars, 24 cons]
ab{1}
ac{1}
bc{4}

Pb[3 vars, 25 cons]
ab{1}
ac{1}
bc{5}

Pb[3 vars, 26 cons]
ab{1}
ac{1}
bc{6}

Pb[3 vars, 27 cons]
ab{1}
ac{1}
bc{7}

Pb[3 vars, 28 cons]
ab{1}
ac{1}
bc{8}

Pb[3 vars, 29 cons]
ab{1}
ac{1}
bc{9}

Pb[3 vars, 30 cons]
ab{1}
ac{2}
bc{1}

Pb[3 vars, 31 cons]
ab{1}
ac{3}
bc{1}

Pb[3 vars, 32 cons]
ab{1}
ac{4}
bc{1}

Pb[3 vars, 33 cons]
ab{1}
ac{5}
bc{1}

Pb[3 vars, 34 cons]
ab{1}
ac{6}
bc{1}

Pb[3 vars, 35 cons]
ab{1}
ac{7}
bc{1}

Pb[3 vars, 36 cons]
ab{1}
ac{8}
bc{1}

Pb[3 vars, 37 cons]
ab{1}
ac{9}
bc{1}

Pb[3 vars, 38 cons]
ab{2}
ac{0}
bc{0}

Pb[3 vars, 39 cons]
ab{2}
ac{1}
bc{1}

Pb[3 vars, 40 cons]
ab{2}
ac{2}
bc{2}

Pb[3 vars, 41 cons]
ab{2}
ac{2}
bc{3}

Pb[3 vars, 42 cons]
ab{2}
ac{2}
bc{4}

Pb[3 vars, 43 cons]
ab{2}
ac{2}
bc{5}

Pb[3 vars, 44 cons]
ab{2}
ac{2}
bc{6}

Pb[3 vars, 45 cons]
ab{2}
ac{2}
bc{7}

Pb[3 vars, 46 cons]
ab{2}
ac{2}
bc{8}

Pb[3 vars, 47 cons]
ab{2}
ac{2}
bc{9}

Pb[3 vars, 48 cons]
ab{2}
ac{3}
bc{2}

Pb[3 vars, 49 cons]
ab{2}
ac{4}
bc{2}

Pb[3 vars, 50 cons]
ab{2}
ac{5}
bc{2}

Pb[3 vars, 51 cons]
ab{2}
ac{6}
bc{2}

Pb[3 vars, 52 cons]
ab{2}
ac{7}
bc{2}

Pb[3 vars, 53 cons]
ab{2}
ac{8}
bc{2}

Pb[3 vars, 54 cons]
ab{2}
ac{9}
bc{2}

Pb[3 vars, 55 cons]
ab{3}
ac{0}
bc{0}

Pb[3 vars, 56 cons]
ab{3}
ac{1}
bc{1}

Pb[3 vars, 57 cons]
ab{3}
ac{2}
bc{2}

Pb[3 vars, 58 cons]
ab{3}
ac{3}
bc{3}

Pb[3 vars, 59 cons]
ab{3}
ac{3}
bc{4}

Pb[3 vars, 60 cons]
ab{3}
ac{3}
bc{5}

Pb[3 vars, 61 cons]
ab{3}
ac{3}
bc{6}

Pb[3 vars, 62 cons]
ab{3}
ac{3}
bc{7}

Pb[3 vars, 63 cons]
ab{3}
ac{3}
bc{8}

Pb[3 vars, 64 cons]
ab{3}
ac{3}
bc{9}

Pb[3 vars, 65 cons]
ab{3}
ac{4}
bc{3}

Pb[3 vars, 66 cons]
ab{3}
ac{5}
bc{3}

Pb[3 vars, 67 cons]
ab{3}
ac{6}
bc{3}

Pb[3 vars, 68 cons]
ab{3}
ac{7}
bc{3}

Pb[3 vars, 69 cons]
ab{3}
ac{8}
bc{3}

Pb[3 vars, 70 cons]
ab{3}
ac{9}
bc{3}

Pb[3 vars, 71 cons]
ab{4}
ac{0}
bc{0}

Pb[3 vars, 72 cons]
ab{4}
ac{1}
bc{1}

Pb[3 vars, 73 cons]
ab{4}
ac{2}
bc{2}

Pb[3 vars, 74 cons]
ab{4}
ac{3}
bc{3}

Pb[3 vars, 75 cons]
ab{4}
ac{4}
bc{4}

Pb[3 vars, 76 cons]
ab{4}
ac{4}
bc{5}

Pb[3 vars, 77 cons]
ab{4}
ac{4}
bc{6}

Pb[3 vars, 78 cons]
ab{4}
ac{4}
bc{7}

Pb[3 vars, 79 cons]
ab{4}
ac{4}
bc{8}

Pb[3 vars, 80 cons]
ab{4}
ac{4}
bc{9}

Pb[3 vars, 81 cons]
ab{4}
ac{5}
bc{4}

Pb[3 vars, 82 cons]
ab{4}
ac{6}
bc{4}

Pb[3 vars, 83 cons]
ab{4}
ac{7}
bc{4}

Pb[3 vars, 84 cons]
ab{4}
ac{8}
bc{4}

Pb[3 vars, 85 cons]
ab{4}
ac{9}
bc{4}

Pb[3 vars, 86 cons]
ab{5}
ac{0}
bc{0}

Pb[3 vars, 87 cons]
ab{5}
ac{1}
bc{1}

Pb[3 vars, 88 cons]
ab{5}
ac{2}
bc{2}

Pb[3 vars, 89 cons]
ab{5}
ac{3}
bc{3}

Pb[3 vars, 90 cons]
ab{5}
ac{4}
bc{4}

Pb[3 vars, 91 cons]
ab{5}
ac{5}
bc{5}

Pb[3 vars, 92 cons]
ab{5}
ac{5}
bc{6}

Pb[3 vars, 93 cons]
ab{5}
ac{5}
bc{7}

Pb[3 vars, 94 cons]
ab{5}
ac{5}
bc{8}

Pb[3 vars, 95 cons]
ab{5}
ac{5}
bc{9}

Pb[3 vars, 96 cons]
ab{5}
ac{6}
bc{5}

Pb[3 vars, 97 cons]
ab{5}
ac{7}
bc{5}

Pb[3 vars, 98 cons]
ab{5}
ac{8}
bc{5}

Pb[3 vars, 99 cons]
ab{5}
ac{9}
bc{5}

Pb[3 vars, 100 cons]
ab{6}
ac{0}
bc{0}

Pb[3 vars, 101 cons]
ab{6}
ac{1}
bc{1}

Pb[3 vars, 102 cons]
ab{6}
ac{2}
bc{2}

Pb[3 vars, 103 cons]
ab{6}
ac{3}
bc{3}

Pb[3 vars, 104 cons]
ab{6}
ac{4}
bc{4}

Pb[3 vars, 105 cons]
ab{6}
ac{5}
bc{5}

Pb[3 vars, 106 cons]
ab{6}
ac{6}
bc{6}

Pb[3 vars, 107 cons]
ab{6}
ac{6}
bc{7}

Pb[3 vars, 108 cons]
ab{6}
ac{6}
bc{8}

Pb[3 vars, 109 cons]
ab{6}
ac{6}
bc{9}

Pb[3 vars, 110 cons]
ab{6}
ac{7}
bc{6}

Pb[3 vars, 111 cons]
ab{6}
ac{8}
bc{6}

Pb[3 vars, 112 cons]
ab{6}
ac{9}
bc{6}

Pb[3 vars, 113 cons]
ab{7}
ac{0}
bc{0}

Pb[3 vars, 114 cons]
ab{7}
ac{1}
bc{1}

Pb[3 vars, 115 cons]
ab{7}
ac{2}
bc{2}

Pb[3 vars, 116 cons]
ab{7}
ac{3}
bc{3}

Pb[3 vars, 117 cons]
ab{7}
ac{4}
bc{4}

Pb[3 vars, 118 cons]
ab{7}
ac{5}
bc{5}

Pb[3 vars, 119 cons]
ab{7}
ac{6}
bc{6}

Pb[3 vars, 120 cons]
ab{7}
ac{7}
bc{7}

Pb[3 vars, 121 cons]
ab{7}
ac{7}
bc{8}

Pb[3 vars, 122 cons]
ab{7}
ac{7}
bc{9}

Pb[3 vars, 123 cons]
ab{7}
ac{8}
bc{7}

Pb[3 vars, 124 cons]
ab{7}
ac{9}
bc{7}

Pb[3 vars, 125 cons]
ab{8}
ac{0}
bc{0}

Pb[3 vars, 126 cons]
ab{8}
ac{1}
bc{1}

Pb[3 vars, 127 cons]
ab{8}
ac{2}
bc{2}

Pb[3 vars, 128 cons]
ab{8}
ac{3}
bc{3}

Pb[3 vars, 129 cons]
ab{8}
ac{4}
bc{4}

Pb[3 vars, 130 cons]
ab{8}
ac{5}
bc{5}

Pb[3 vars, 131 cons]
ab{8}
ac{6}
bc{6}

Pb[3 vars, 132 cons]
ab{8}
ac{7}
bc{7}

Pb[3 vars, 133 cons]
ab{8}
ac{8}
bc{8}

Pb[3 vars, 134 cons]
ab{8}
ac{8}
bc{9}

Pb[3 vars, 135 cons]
ab{8}
ac{9}
bc{8}

Pb[3 vars, 136 cons]
ab{9}
ac{0}
bc{0}

Pb[3 vars, 137 cons]
ab{9}
ac{1}
bc{1}

Pb[3 vars, 138 cons]
ab{9}
ac{2}
bc{2}

Pb[3 vars, 139 cons]
ab{9}
ac{3}
bc{3}

Pb[3 vars, 140 cons]
ab{9}
ac{4}
bc{4}

Pb[3 vars, 141 cons]
ab{9}
ac{5}
bc{5}

Pb[3 vars, 142 cons]
ab{9}
ac{6}
bc{6}

Pb[3 vars, 143 cons]
ab{9}
ac{7}
bc{7}

Pb[3 vars, 144 cons]
ab{9}
ac{8}
bc{8}

Pb[3 vars, 145 cons]
ab{9}
ac{9}
bc{9}

-- solve => 1 solutions
-- 0[+0] millis.
-- 4[+0] nodes
