{
r0,1,2,5,11,-2,
r3,0,10,12,2,-2,
r12,4,0,8,5,-2,
r4,6,5,19,1,-2,
r1,15,11,6,7,-2,
r4,18,19,8,9,-2,
r2,7,10,11,14,-2,
r16,3,14,13,10,-2,
r3,18,12,13,8,-2,
r15,16,7,17,14,-2,
r13,17,18,16,9,-2,
r9,15,19,17,6,-2,
y0,11,10,-1,
y3,8,0,-1,
y1,0,4,-1,
y1,19,15,-1,
y2,1,7,-1,
y4,12,18,-1,
y9,6,4,-1,
y3,2,14,-1,
y5,2,12,-1,
y18,3,16,-1,
y8,13,9,-1,
y8,19,5,-1,
y6,17,7,-1,
y16,10,7,-1,
y16,15,9,-1,
y11,5,6,-1,
y15,14,11,-1,
y14,17,13,-1,
y19,18,17,-1,
y10,13,12,-1,
(
0.5019336123871564, 0.02011032514994558, 0.705448952874037,
0.4771553058371176, 0.7226964146653775, -0.005718264474481,
-0.008843770604205476, 0.3580047959991125, 0.7885140235965838,
-0.2888117447056616, -0.5782692959607577, 0.5763613412699184,
0.8149029615242946, -0.1938472634724723, -0.2199008894664608,
0.8022975584305185, 0.2455021512017956, 0.2145864124460643,
0.2888117447056616, 0.5782692959607577, -0.5763613412699184,
-0.5223295897124286, 0.6907719407580746, -0.002433730837180992,
0.5223295897124286, -0.6907719407580746, 0.002433730837180992,
0.008843770604205476, -0.3580047959991125, -0.7885140235965838,
-0.4975512831623897, -0.01181415234626793, 0.7087334881263467,
-0.02415760802038737, 0.792226877405354, 0.3489885010705794,
0.3289038976441593, -0.5585388821387373, 0.5743313815572779,
-0.4771553058371176, -0.7226964146653775, 0.005718264474481,
-0.8149029615242946, 0.1938472634724723, 0.2199008894664608,
-0.3289038976441593, 0.5585388821387373, -0.5743313815572779,
-0.8022975584305185, -0.2455021512017956, -0.2145864124460643,
-0.5019336123871564, -0.02011032514994558, -0.705448952874037,
0.02415760802038737, -0.792226877405354, -0.3489885010705794,
0.4975512831623897, 0.01181415234626793, -0.7087334881263467,
)
}
