pub const INFINITY_LUT: [[u8; 3]; 256] = [
[88, 7, 113],
[89, 8, 116],
[89, 10, 119],
[90, 11, 122],
[90, 13, 125],
[90, 15, 128],
[90, 16, 131],
[91, 18, 133],
[91, 20, 136],
[91, 22, 139],
[91, 24, 142],
[91, 25, 144],
[91, 27, 147],
[91, 29, 149],
[91, 31, 151],
[90, 33, 154],
[90, 35, 156],
[90, 37, 158],
[89, 39, 160],
[89, 41, 162],
[88, 43, 164],
[87, 45, 166],
[87, 48, 167],
[86, 50, 169],
[85, 52, 170],
[84, 54, 172],
[83, 56, 173],
[82, 58, 174],
[81, 61, 175],
[79, 63, 176],
[78, 65, 177],
[77, 67, 178],
[75, 69, 178],
[75, 70, 178],
[72, 74, 179],
[71, 76, 179],
[69, 78, 180],
[68, 79, 180],
[66, 82, 180],
[64, 84, 180],
[62, 86, 180],
[61, 87, 180],
[58, 90, 179],
[56, 92, 179],
[54, 94, 179],
[53, 94, 179],
[50, 97, 178],
[48, 99, 178],
[46, 101, 177],
[45, 102, 177],
[42, 104, 176],
[40, 106, 176],
[38, 108, 175],
[36, 108, 175],
[33, 111, 174],
[31, 112, 173],
[29, 114, 172],
[28, 115, 172],
[25, 117, 171],
[23, 118, 170],
[21, 120, 170],
[19, 121, 169],
[16, 123, 168],
[15, 124, 167],
[13, 126, 167],
[11, 127, 166],
[10, 128, 166],
[8, 130, 165],
[7, 131, 164],
[7, 132, 163],
[7, 134, 162],
[7, 135, 162],
[7, 136, 161],
[8, 138, 160],
[9, 138, 160],
[11, 140, 159],
[12, 142, 158],
[14, 143, 157],
[16, 144, 157],
[18, 145, 156],
[20, 146, 155],
[22, 148, 154],
[23, 148, 154],
[26, 150, 153],
[28, 151, 152],
[30, 152, 151],
[32, 154, 151],
[35, 155, 150],
[37, 156, 149],
[39, 157, 148],
[40, 158, 148],
[44, 159, 146],
[46, 161, 146],
[48, 162, 145],
[51, 163, 144],
[53, 164, 143],
[56, 165, 142],
[58, 166, 141],
[60, 167, 140],
[63, 168, 139],
[66, 169, 138],
[69, 170, 137],
[71, 171, 136],
[74, 172, 135],
[77, 173, 134],
[79, 174, 133],
[81, 175, 132],
[85, 176, 130],
[88, 177, 129],
[91, 178, 128],
[94, 179, 127],
[97, 180, 126],
[100, 181, 124],
[103, 182, 123],
[105, 182, 123],
[110, 183, 121],
[113, 184, 119],
[116, 185, 118],
[119, 186, 117],
[123, 186, 116],
[126, 187, 115],
[129, 188, 113],
[131, 188, 113],
[136, 189, 111],
[140, 190, 110],
[143, 190, 109],
[147, 191, 108],
[150, 191, 106],
[152, 191, 104],
[153, 189, 101],
[155, 187, 97],
[156, 186, 94],
[156, 185, 92],
[158, 182, 87],
[160, 181, 84],
[161, 179, 81],
[162, 177, 77],
[163, 175, 74],
[165, 173, 71],
[166, 171, 68],
[167, 170, 65],
[168, 168, 62],
[170, 166, 59],
[171, 164, 56],
[172, 162, 53],
[173, 160, 50],
[174, 158, 47],
[175, 156, 45],
[176, 155, 43],
[177, 152, 39],
[178, 150, 37],
[179, 148, 34],
[180, 146, 31],
[181, 144, 29],
[182, 142, 26],
[182, 140, 24],
[183, 138, 21],
[184, 136, 19],
[185, 134, 17],
[185, 132, 14],
[186, 130, 12],
[186, 128, 10],
[187, 126, 8],
[187, 124, 6],
[188, 123, 5],
[188, 120, 3],
[189, 118, 2],
[189, 116, 2],
[189, 114, 2],
[189, 112, 2],
[190, 110, 2],
[190, 108, 2],
[190, 106, 3],
[190, 104, 3],
[190, 102, 4],
[190, 100, 6],
[190, 98, 7],
[190, 96, 9],
[190, 94, 10],
[190, 92, 12],
[189, 91, 13],
[189, 89, 16],
[189, 87, 18],
[188, 85, 19],
[188, 83, 21],
[188, 81, 23],
[187, 79, 25],
[187, 77, 26],
[186, 76, 28],
[185, 74, 30],
[185, 72, 31],
[184, 70, 33],
[183, 69, 35],
[182, 67, 37],
[182, 66, 38],
[181, 64, 40],
[180, 63, 41],
[179, 61, 44],
[178, 60, 45],
[177, 58, 47],
[176, 57, 49],
[175, 55, 50],
[173, 54, 52],
[172, 53, 54],
[171, 52, 55],
[170, 51, 57],
[168, 49, 59],
[167, 48, 60],
[166, 47, 62],
[164, 46, 64],
[163, 45, 65],
[161, 44, 67],
[160, 44, 68],
[158, 43, 70],
[157, 42, 71],
[155, 41, 73],
[154, 40, 74],
[152, 40, 76],
[150, 39, 77],
[149, 38, 78],
[147, 38, 80],
[145, 37, 81],
[144, 36, 82],
[142, 36, 84],
[140, 35, 85],
[139, 34, 86],
[137, 34, 87],
[135, 33, 88],
[134, 33, 89],
[132, 32, 91],
[130, 31, 92],
[128, 31, 93],
[127, 30, 94],
[125, 30, 95],
[123, 29, 96],
[121, 28, 97],
[120, 28, 98],
[118, 27, 99],
[116, 26, 99],
[115, 26, 100],
[113, 25, 101],
[111, 24, 102],
[109, 23, 103],
[108, 23, 104],
[107, 22, 104],
[104, 21, 105],
[103, 20, 106],
[101, 19, 107],
[99, 18, 108],
[98, 17, 108],
[96, 15, 109],
[94, 14, 110],
[93, 12, 111],
[91, 11, 112],
[90, 9, 113],
[89, 8, 113],
];