{
sy0,1,2,-1,
sy3,2,4,-1,
r3,5,6,-1,
r0,6,7,-1,
r8,1,9,-1,
r10,9,7,-1,
r10,5,11,-1,
r8,11,4,-1,
r10,7,6,-1,
r3,6,12,-1,
r8,13,11,-1,
r3,11,5,-1,
r10,13,9,-1,
r0,9,1,-1,
r3,4,11,-1,
r10,11,13,-1,
r3,12,2,-1,
r8,2,1,-1,
r8,4,2,-1,
r0,2,12,-1,
r0,7,9,-1,
r8,9,13,-1,
r0,12,6,-1,
r10,6,5,-1,
(
-0.6570889202549213, -0.6812120387918023, 0.4043013179958062,
0.3012094447925858, -0.911088840452951, 0.7011112822609762,
0.029337945567925, 0.01728707028955494, 0.5134776136143151,
-0.242533556627812, 0.9456629721188322, 0.3258439449676542,
0.715764808419695, 0.7157861853130645, 0.6226539092328242,
-0.3012094447925858, 0.911088840452951, -0.7011112822609762,
-0.479149189951444, 0.1149383934028839, -0.1484049791615088,
-0.715764808419695, -0.7157861853130645, -0.6226539092328242,
0.958298379902888, -0.2298767868057677, 0.29680996426517,
0.1212667797994441, -0.4728314934871066, -0.1629219799115176,
-0.0586758896503119, -0.03457414057910989, -1.02695522722863,
0.3285444601274606, 0.3406060193959011, -0.2021506589979031,
-0.8996224917381143, 0.26445093332703, 0.7301452629634604,
0.8996224917381143, -0.26445093332703, -0.7301452629634604,
)
}
