{
r11,5,14,22,-1,
r10,8,14,18,-1,
r6,4,14,15,-1,
ys3,0,14,19,-1,
r7,1,14,23,-1,
r5,2,16,23,-1,
r2,4,22,17,-1,
r4,10,23,14,-1,
r10,11,17,16,-1,
r9,11,20,18,-1,
r3,9,22,12,-1,
r1,3,18,14,-1,
r5,1,12,20,-1,
r8,5,13,16,-1,
r2,5,19,12,-1,
r1,5,23,15,-1,
r7,5,20,21,-1,
ys11,8,16,21,-1,
r11,10,18,19,-1,
r11,9,15,17,-1,
r11,7,13,20,-1,
r9,7,17,22,-1,
r6,3,19,22,-1,
r4,0,15,22,-1,
r8,2,12,22,-1,
r10,4,12,21,-1,
r9,3,13,23,-1,
r8,4,18,23,-1,
r10,9,19,20,-1,
r6,10,20,12,-1,
r1,0,16,17,-1,
r4,8,17,12,-1,
r1,2,20,19,-1,
r7,11,22,15,-1,
r5,7,15,14,-1,
r3,7,23,18,-1,
r2,1,15,16,-1,
r9,10,16,15,-1,
r7,3,12,17,-1,
r4,2,13,18,-1,
r3,1,17,21,-1,
r5,8,22,19,-1,
ys8,11,19,14,-1,
r2,0,18,20,-1,
r6,9,23,16,-1,
r10,6,15,23,-1,
r0,4,20,13,-1,
r1,7,21,12,-1,
r9,6,12,19,-1,
r6,0,13,21,-1,
r8,10,21,17,-1,
r4,6,21,20,-1,
r3,6,16,13,-1,
r0,2,17,15,-1,
r2,8,23,13,-1,
r0,6,22,14,-1,
r7,9,18,13,-1,
r0,1,19,18,-1,
r5,11,21,13,-1,
ys0,3,21,16,-1,
(
-0.807081871767089, -0.1481286927808059, -0.6047556218123958,
-0.5976090849298665, -0.7948592927349132, 0.2238631055717351,
0.04536095955041416, -0.7971699310657123, -0.6336521963853337,
-0.9135077117747142, 0.2143712983056056, 0.3982476725285453,
0.1268396742250658, 0.2106326293207768, -0.9892412326437539,
0.4657737536525456, -0.8357994758419988, 0.3514920312835555,
-0.4657737536525456, 0.8357994758419988, -0.3514920312835555,
-0.1268396742250658, -0.2106326293207768, 0.9892412326437539,
0.9135077117747142, -0.2143712983056056, -0.3982476725285453,
-0.04536095955041416, 0.7971699310657123, 0.6336521963853337,
0.5976090849298665, 0.7948592927349132, -0.2238631055717351,
0.807081871767089, 0.1481286927808059, 0.6047556218123958,
-0.4988040294152364, -0.09154856504989345, -0.3737595238291128,
-0.3693427266315861, -0.4912500626135169, 0.1383550127140658,
0.02803461488791337, -0.4926781060092876, -0.3916185905011648,
-0.564578821908917, 0.1324887532536755, 0.2461305981172923,
0.07839123021640851, 0.1301781149228762, -0.6113847038397764,
0.2878640183278051, -0.5165524850312311, 0.2172340235443544,
-0.2878640183278051, 0.5165524850312311, -0.2172340235443544,
-0.07839123021640851, -0.1301781149228762, 0.6113847038397764,
0.564578821908917, -0.1324887532536755, -0.2461305981172923,
-0.02803461488791337, 0.4926781060092876, 0.3916185905011648,
0.3693427266315861, 0.4912500626135169, -0.1383550127140658,
0.4988040294152364, 0.09154856504989345, 0.3737595238291128,
)
}
