{
a0,12,1,13,2,14,-1,
a0,14,3,15,4,16,-1,
a0,16,6,19,1,20,-1,
a1,19,7,21,8,13,-1,
a3,14,2,17,5,18,-1,
a0,20,2,23,3,27,-1,
a11,24,4,27,3,18,-1,
a4,24,9,25,6,16,-1,
a8,22,5,23,2,13,-1,
a11,18,5,22,10,26,-1,
a7,31,1,12,6,25,-1,
a0,27,4,28,6,12,-1,
a2,20,1,31,8,17,-1,
a7,29,10,22,8,31,-1,
a6,28,9,29,7,19,-1,
a9,28,4,15,11,26,-1,
a7,25,9,26,10,21,-1,
a10,29,9,24,11,30,-1,
a8,21,10,30,5,17,-1,
a3,23,5,30,11,15,-1,
(
1.224139333578593, 0.8715715274520843, -0.05583091182423105,
0.02728837339066853, 1.181519113068338, 0.9298060323071519,
0.9409697599593251, -0.08639226958534679, 1.169779278314227,
1.310822628957264, -0.6962516070278449, -0.2413480857617087,
0.6257229504901071, 0.1947459383739258, -1.353445984744263,
0.1675448625838596, -1.355272074429918, 0.6296329436681767,
-0.1675448625838596, 1.355272074429918, -0.6296329436681767,
-1.310822628957264, 0.6962516070278449, 0.2413480857617087,
-0.6257229504901071, -0.1947459383739258, 1.353445984744263,
-0.9409697599593251, 0.08639226958534679, -1.169779278314227,
-1.224139333578593, -0.8715715274520843, 0.05583091182423105,
-0.02728837339066853, -1.181519113068338, -0.9298060323071519,
0.4847271619952956, 1.524266103729119, 0.1092731419938261,
0.153186392437509, 0.4026625682011119, 1.544242519511432,
1.554484005508992, 0.03976965511097096, 0.3902387101194909,
0.8538457909831882, -0.7526715495647582, -1.129035520935999,
0.7523552419448531, 1.082967750116676, -0.9118282091370157,
0.2159110002758958, -0.7318249168199574, 1.410001047257974,
0.6489423293229399, -1.445860670522463, -0.242175631607693,
-0.6489423293229399, 1.445860670522463, 0.242175631607693,
0.9804699725220866, 0.8795342420565896, 0.9139947480735131,
-1.413501270216363, -0.1654984883540846, 0.7381819412430766,
-0.7523552419448531, -1.082967750116676, 0.9118282091370157,
1.081960490207654, -0.9561050680757668, 0.6967874676272968,
-0.153186392437509, -0.4026625682011119, -1.544242519511432,
-1.081960490207654, 0.9561050680757668, -0.6967874676272968,
-0.9804699725220866, -0.8795342420565896, -0.9139947480735131,
1.413501270216363, 0.1654984883540846, -0.7381819412430766,
-0.2159110002758958, 0.7318249168199574, -1.410001047257974,
-1.554484005508992, -0.03976965511097096, -0.3902387101194909,
-0.4847271619952956, -1.524266103729119, -0.1092731419938261,
-0.8538457909831882, 0.7526715495647582, 1.129035520935999,
)
}
