{
y0,11,10,-1,
y3,8,0,-1,
y1,0,4,-1,
y19,15,1,-1,
y2,1,7,-1,
y18,4,12,-1,
y9,6,4,-1,
y2,14,3,-1,
y5,2,12,-1,
y18,3,16,-1,
y9,8,13,-1,
y19,5,8,-1,
y7,6,17,-1,
y10,7,16,-1,
y15,9,16,-1,
y11,5,6,-1,
y11,15,14,-1,
y14,17,13,-1,
y17,19,18,-1,
y10,13,12,-1,
r0,1,2,5,11,-1,
r3,0,10,12,2,-1,
r12,4,0,8,5,-1,
r4,6,5,19,1,-1,
r11,6,7,1,15,-1,
r9,4,18,19,8,-1,
r2,7,10,11,14,-1,
r10,16,3,14,13,-1,
r3,18,12,13,8,-1,
r16,7,17,14,15,-1,
r9,13,17,18,16,-1,
r15,19,17,6,9,-1,
(
0.2120633361200983, 0.1440329484488863, 0.8272143958722658,
0.2394770336507239, -0.7451989022114246, 0.3705797467082101,
0.1593955250480862, -0.5895870509435669, -0.613987122155622,
0.7330148910919875, -0.4212768796983009, 0.1876565177557947,
-0.6359907879234226, -0.2839104945066647, 0.5146946120454339,
0.08248873820177598, 0.3958182233653694, -0.765848256610857,
-0.7330148910919875, 0.4212768796983009, -0.1876565177557947,
-0.6561081042456772, -0.5641283946106354, -0.03579537791719357,
0.6561081042456772, 0.5641283946106354, 0.03579537791719357,
-0.1593955250480862, 0.5895870509435669, 0.613987122155622,
-0.6835218017763028, 0.3251034560496755, 0.4208392658634959,
0.1150392347459889, 0.8492203047092981, 0.1248632660710372,
-0.7160722893482389, -0.1282986360609855, -0.4698722388738443,
-0.2394770336507239, 0.7451989022114246, -0.3705797467082101,
0.6359907879234226, 0.2839104945066647, -0.5146946120454339,
0.7160722893482389, 0.1282986360609855, 0.4698722388738443,
-0.08248873820177598, -0.3958182233653694, 0.765848256610857,
-0.2120633361200983, -0.1440329484488863, -0.8272143958722658,
-0.1150392347459889, -0.8492203047092981, -0.1248632660710372,
0.6835218017763028, -0.3251034560496755, -0.4208392658634959,
)
}
