{
y0,1,2,-1,
y0,2,3,-1,
y0,3,4,-1,
y0,4,1,-1,
y5,1,4,-1,
y5,4,6,-1,
y5,6,7,-1,
y5,7,1,-1,
y8,1,7,-1,
y8,7,9,-1,
y8,9,10,-1,
y8,10,1,-1,
y11,1,10,-1,
y11,10,12,-1,
y11,12,2,-1,
y11,2,1,-1,
y13,12,14,-1,
y13,14,3,-1,
y13,3,2,-1,
y13,2,12,-1,
y15,16,17,-1,
y15,17,3,-1,
y15,3,14,-1,
y15,14,16,-1,
y18,6,4,-1,
y18,4,3,-1,
y18,3,17,-1,
y18,17,6,-1,
y19,6,17,-1,
y19,17,16,-1,
y19,16,20,-1,
y19,20,6,-1,
y21,9,7,-1,
y21,7,6,-1,
y21,6,20,-1,
y21,20,9,-1,
y22,9,23,-1,
y22,23,12,-1,
y22,12,10,-1,
y22,10,9,-1,
y24,12,23,-1,
y24,23,16,-1,
y24,16,14,-1,
y24,14,12,-1,
y25,16,23,-1,
y25,23,9,-1,
y25,9,20,-1,
y25,20,16,-1,
(
0.05217778853620562, 0.176487547154575, -1.363251080858256,
-0.8045420312462345, -0.04142556376057654, -0.895763120382788,
-0.03853270418970926, 0.3444621848139837, -0.3816421661549709,
0.8691663274155701, 0.2600124947457231, -0.7926783217951839,
0.07046582490640797, -0.236450748364378, -0.4526757404175833,
-0.4714884794769264, -0.982641862940165, -0.8393077699838167,
0.2205845379197288, -1.175615995090227, -0.1437533833935316,
-0.3590196197822915, -0.3649320014350427, -0.06098568452818484,
-1.35135560447763, -0.2433817198220631, -0.08323087831625327,
-0.8691663274155701, -0.2600124947457231, 0.7926783217951839,
-0.4680181543839424, 0.2159809207322515, 0.01004788566033271,
-0.8276893210490039, 0.9157476902726769, -0.6071742079095068,
-0.2205845379197288, 1.175615995090227, 0.1437533833935316,
0.523666272417559, 1.15912945413901, -0.5239433328965738,
0.3590196197822915, 0.3649320014350427, 0.06098568452818484,
1.35135560447763, 0.2433817198220631, 0.08323087831625327,
0.8045420312462345, 0.04142556376057654, 0.895763120382788,
0.4680181543839424, -0.2159809207322515, -0.01004788566033271,
0.8798671029785692, -0.739260143118102, -0.7560768949708836,
0.8276893210490039, -0.9157476902726769, 0.6071742079095068,
0.03853270418970926, -0.3444621848139837, 0.3816421661549709,
-0.523666272417559, -1.15912945413901, 0.5239433328965738,
-0.8798671029785692, 0.739260143118102, 0.7560768949708836,
-0.07046582490640797, 0.236450748364378, 0.4526757404175833,
0.4714884794769264, 0.982641862940165, 0.8393077699838167,
-0.05217778853620562, -0.176487547154575, 1.363251080858256,
)
}
