{
y0,1,2,-1,
y0,2,3,-1,
y0,3,4,-1,
y0,4,5,-1,
y0,5,1,-1,
y6,7,8,-1,
y6,8,9,-1,
y6,9,10,-1,
y6,10,1,-1,
y6,1,7,-1,
y11,2,12,-1,
y11,12,13,-1,
y11,13,14,-1,
y11,14,15,-1,
y11,15,2,-1,
y16,17,3,-1,
y16,3,18,-1,
y16,18,9,-1,
y16,9,19,-1,
y16,19,17,-1,
y20,21,14,-1,
y20,14,8,-1,
y20,8,22,-1,
y20,22,4,-1,
y20,4,21,-1,
y23,5,24,-1,
y23,24,19,-1,
y23,19,13,-1,
y23,13,25,-1,
y23,25,5,-1,
y26,25,27,-1,
y26,27,18,-1,
y26,18,28,-1,
y26,28,29,-1,
y26,29,25,-1,
y30,29,31,-1,
y30,31,17,-1,
y30,17,32,-1,
y30,32,7,-1,
y30,7,29,-1,
y33,12,34,-1,
y33,34,35,-1,
y33,35,22,-1,
y33,22,36,-1,
y33,36,12,-1,
y37,34,10,-1,
y37,10,38,-1,
y37,38,21,-1,
y37,21,31,-1,
y37,31,34,-1,
y39,40,38,-1,
y39,38,27,-1,
y39,27,36,-1,
y39,36,32,-1,
y39,32,40,-1,
y41,28,15,-1,
y41,15,40,-1,
y41,40,24,-1,
y41,24,35,-1,
y41,35,28,-1,
y42,1,5,-1,
y42,5,25,-1,
y42,25,29,-1,
y42,29,7,-1,
y42,7,1,-1,
y43,10,34,-1,
y43,34,12,-1,
y43,12,2,-1,
y43,2,1,-1,
y43,1,10,-1,
y44,2,15,-1,
y44,15,28,-1,
y44,28,18,-1,
y44,18,3,-1,
y44,3,2,-1,
y45,21,4,-1,
y45,4,3,-1,
y45,3,17,-1,
y45,17,31,-1,
y45,31,21,-1,
y46,35,24,-1,
y46,24,5,-1,
y46,5,4,-1,
y46,4,22,-1,
y46,22,35,-1,
y47,12,36,-1,
y47,36,27,-1,
y47,27,25,-1,
y47,25,13,-1,
y47,13,12,-1,
y48,34,31,-1,
y48,31,29,-1,
y48,29,28,-1,
y48,28,35,-1,
y48,35,34,-1,
y49,36,22,-1,
y49,22,8,-1,
y49,8,7,-1,
y49,7,32,-1,
y49,32,36,-1,
y50,14,13,-1,
y50,13,19,-1,
y50,19,9,-1,
y50,9,8,-1,
y50,8,14,-1,
y51,10,9,-1,
y51,9,18,-1,
y51,18,27,-1,
y51,27,38,-1,
y51,38,10,-1,
y52,40,15,-1,
y52,15,14,-1,
y52,14,21,-1,
y52,21,38,-1,
y52,38,40,-1,
y53,19,24,-1,
y53,24,40,-1,
y53,40,32,-1,
y53,32,17,-1,
y53,17,19,-1,
(
1.367625034134512, -0.2526498639235102, 0.9798964452508048,
0.3714417925876142, -0.2553511480875181, 0.8926515648639222,
0.9450556929368998, -0.3179708166263682, 0.07592279479326217,
0.5734828687897933, 0.3127908362652468, 0.7571521006331162,
0.6010864276325651, -0.6451832887912059, 0.4716286921848369,
0.9279957505114589, 0.2740897539058731, 0.2523859677022676,
-0.2925137993767271, -0.4864454462257819, 1.603818462248723,
-0.5736139003492855, 0.06261966853885011, 0.8167287348186936,
0.02752258014043873, -0.7259576707264326, 0.687188439265415,
-8.099265858661759e-05, 0.2320164543300201, 0.9727118477136943,
-0.5565539579238447, -0.5294408949429978, 0.6402655689600815,
1.36776991971684, -0.6676935025057346, -0.7601434415027087,
0.3715728241471065, -0.6307616387908284, -0.6812293058398541,
0.9280458083038934, 0.1306956999065997, -0.3487830235610446,
0.6011364854249996, -0.7885773251644961, -0.1295403026036719,
0.5736139003492855, -0.06261966853885011, -0.8167287348186936,
0.2922793737994811, 1.158000167126541, 1.211625176555423,
-0.3715728241471065, 0.6307616387908284, 0.6812293058398541,
-0.02760357294355842, 0.9579741285816494, 0.2855234084482793,
0.5564729841567869, 0.7614573527982147, 0.3324462752284161,
0.3721759147900426, -1.614786195075053, 0.385198449491876,
-0.3269093228788938, -0.9192730391718823, 0.2192427209573727,
0.02760357294355842, -0.9579741285816494, -0.2855234084482793,
1.318391150661131, 1.045982707570856, -0.2493836317443227,
0.5565539579238447, 0.5294408949429978, -0.6402655689600815,
0.3269093228788938, 0.9192730391718823, -0.2192427209573727,
-0.3721759147900426, 1.614786195075053, -0.385198449491876,
-0.6010864276325651, 0.6451832887912059, -0.4716286921848369,
-0.02752258014043873, 0.7259576707264326, -0.687188439265415,
-0.6011364854249996, 0.7885773251644961, 0.1295403026036719,
-1.36776991971684, 0.6676935025057346, 0.7601434415027087,
-0.9280458083038934, -0.1306956999065997, 0.3487830235610446,
-0.9450556929368998, 0.3179708166263682, -0.07592279479326217,
-0.2922793737994811, -1.158000167126541, -1.211625176555423,
-0.5564729841567869, -0.7614573527982147, -0.3324462752284161,
8.099265858661759e-05, -0.2320164543300201, -0.9727118477136943,
-0.5734828687897933, -0.3127908362652468, -0.7571521006331162,
-1.318391150661131, -1.045982707570856, 0.2493836317443227,
-0.9279957505114589, -0.2740897539058731, -0.2523859677022676,
-1.367625034134512, 0.2526498639235102, -0.9798964452508048,
-0.3714417925876142, 0.2553511480875181, -0.8926515648639222,
0.2925137993767271, 0.4864454462257819, -1.603818462248723,
0.1806385885562761, 0.7156834498371187, 0.7488255508931023,
0.2300173576119855, -0.9979927602394721, 0.2380657411347162,
0.8148105343133905, 0.6464528531128509, -0.1541275621845669,
-0.1807834706134074, -0.3006398147800912, 0.9912143358604112,
0.8453283027230458, -0.4126572990121524, -0.4697944618637443,
0.1807834706134074, 0.3006398147800912, -0.9912143358604112,
-0.8452387627281278, 0.1561462025928309, -0.6056092901868876,
-0.8148105343133905, -0.6464528531128509, 0.1541275621845669,
0.8452387627281278, -0.1561462025928309, 0.6056092901868876,
-0.8453283027230458, 0.4126572990121524, 0.4697944618637443,
-0.1806385885562761, -0.7156834498371187, -0.7488255508931023,
-0.2300173576119855, 0.9979927602394721, -0.2380657411347162,
)
}
