{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"];"}]}
        ];
            170141183460469231731687303715884105728,
        const OUTCOMES: [&str; 9] = ["⁰", "¹", "²", "³", "⁴", "⁶³", "⁶⁴", "⁶⁵", "¹²⁷"];