{
r0,2,1,-1,
r0,4,3,-1,
r0,6,5,-1,
r7,9,8,-1,
r7,11,10,-1,
r7,13,12,-1,
r2,0,5,-1,
r4,0,1,-1,
r6,0,3,-1,
r9,7,10,-1,
r11,7,12,-1,
r13,7,8,-1,
y1,14,4,-1,
y10,14,9,-1,
y3,15,6,-1,
y12,15,11,-1,
y5,16,2,-1,
y8,16,13,-1,
y4,14,17,-1,
y9,14,18,-1,
y6,15,19,-1,
y11,15,17,-1,
y2,16,18,-1,
y13,16,19,-1,
y14,11,17,-1,
y14,2,18,-1,
y15,13,19,-1,
y15,4,17,-1,
y16,9,18,-1,
y16,6,19,-1,
y14,10,11,-1,
y14,1,2,-1,
y15,12,13,-1,
y15,3,4,-1,
y16,8,9,-1,
y16,5,6,-1,
(
0.1393369134104495, 1.329624101405952, 0.5298992472330784,
0.1319888672708426, 1.251997859281053, -0.4670562032116745,
0.1705110277043179, 0.428078373116754, 0.09833986827995883,
-0.6944093177480753, 0.8397550937854422, 0.7846453437005155,
-0.07792764699012578, 0.4541939400296114, 0.09813753913830789,
0.8525841022808952, 0.6771370242306786, 0.785905237432201,
0.03779600442188181, 0.3618744602840796, 0.2993562752173559,
-0.1393369134104495, -1.329624101405952, -0.5298992472330784,
0.6591416498662566, -1.16878962730077, 0.0502423247777942,
0.08359143860687217, -0.4013528091702093, -0.2322159270966811,
-0.06145356726493235, -0.5939287922503964, -1.202719121825703,
-0.1648472360875715, -0.3752372422573519, -0.2324182592181427,
-0.8878517403646078, -1.006171557746007, 0.04898243998554068,
-0.04912358765537458, -0.46755675180099, -0.03119950824004145,
0.03758549867986723, 0.3506592278305103, -0.8897578358291124,
-0.8431249020285972, -0.08867681620277897, 0.4442075814790886,
0.8055394182477832, -0.2619824056681101, 0.4455502543500238,
-0.8736150097322072, 0.2841223569178684, -0.4832034096302031,
0.9143768226520911, 0.09617083134581619, -0.4817472357724418,
-0.04076182185931566, -0.380293176344442, 0.9649506454026449,
)
}
