{
r13,28,30,17,-1,
ys18,24,26,19,-1,
r12,20,23,16,-1,
r4,21,27,10,-1,
r5,25,31,11,-1,
r3,28,31,7,-1,
r2,28,25,0,-1,
r12,28,22,6,-1,
r19,28,24,16,-1,
r17,30,26,11,-1,
r11,26,20,5,-1,
r5,20,22,7,-1,
r7,22,28,13,-1,
r15,22,24,18,-1,
r9,21,20,8,-1,
r3,27,23,0,-1,
r7,31,29,5,-1,
r15,30,29,13,-1,
r18,29,27,15,-1,
ys19,27,25,18,-1,
r17,25,28,19,-1,
r11,31,30,10,-1,
r4,29,30,6,-1,
r2,26,30,8,-1,
r9,24,30,15,-1,
r14,26,29,18,-1,
r10,27,31,16,-1,
r8,30,31,9,-1,
r16,31,28,12,-1,
r16,24,20,10,-1,
r1,22,25,5,-1,
r14,22,20,12,-1,
ys0,25,27,1,-1,
r13,29,23,7,-1,
r13,21,22,15,-1,
r5,29,26,1,-1,
r3,20,24,9,-1,
r19,26,23,17,-1,
r11,21,25,17,-1,
r8,20,26,14,-1,
r1,27,29,4,-1,
r9,31,27,3,-1,
r18,25,22,14,-1,
r0,24,28,3,-1,
r10,30,24,4,-1,
r12,29,31,14,-1,
r6,22,21,4,-1,
r7,23,20,3,-1,
r16,23,27,19,-1,
r6,23,29,12,-1,
r14,31,25,8,-1,
r6,30,28,2,-1,
r10,20,21,11,-1,
r2,21,23,6,-1,
r8,25,21,2,-1,
r4,24,22,1,-1,
r17,23,21,13,-1,
r0,23,26,2,-1,
r15,27,21,9,-1,
ys1,26,24,0,-1,
(
0.1800731929548839, -1.018530219404438, 0.3855763152761509,
0.7803647272902503, -0.5404288010728172, 0.563441974536003,
-0.4756105108656274, -0.7120756499683909, 0.6965932617569728,
0.09790169158019789, -1.024998349565547, -0.3978603895605697,
0.4956815893019934, 0.06150868684406588, 0.9843859498085393,
1.069193784848715, -0.251414019652194, -0.1100677070282858,
-0.2805537900642937, -0.04457489148665225, 1.066677971619631,
0.64740843632634, -0.5508944648893014, -0.7041852420554471,
-0.9630168188752428, -0.5291444344600996, 0.1053756075230586,
-0.608566788031331, -0.7225412999866682, -0.5710339548344772,
0.608566788031331, 0.7225412999866682, 0.5710339548344772,
0.9630168188752428, 0.5291444344600996, -0.1053756075230586,
-0.64740843632634, 0.5508944648893014, 0.7041852420554471,
0.2805537900642937, 0.04457489148665225, -1.066677971619631,
-1.069193784848715, 0.251414019652194, 0.1100677070282858,
-0.4956815893019934, -0.06150868684406588, -0.9843859498085393,
-0.09790169158019789, 1.024998349565547, 0.3978603895605697,
0.4756105108656274, 0.7120756499683909, -0.6965932617569728,
-0.7803647272902503, 0.5404288010728172, -0.563441974536003,
-0.1800731929548839, 1.018530219404438, -0.3855763152761509,
0.1195666229494087, -0.3850463951479048, 0.6314675613027527,
0.4740166524134998, -0.5784432606744733, -0.04494200105478304,
-0.3022187269527872, -0.6845268403850122, 0.03735002213612948,
0.6690733594166269, 0.08905748538887928, 0.3251427088078753,
-0.5869018649410442, -0.08258935108830828, 0.4582939960288452,
-0.01338966442696783, -0.3955120589643888, -0.6361596552886972,
0.01338966442696783, 0.3955120589643888, 0.6361596552886972,
0.5869018649410442, 0.08258935108830828, -0.4582939960288452,
-0.6690733594166269, -0.08905748538887928, -0.3251427088078753,
0.3022187269527872, 0.6845268403850122, -0.03735002213612948,
-0.4740166524134998, 0.5784432606744733, 0.04494200105478304,
-0.1195666229494087, 0.3850463951479048, -0.6314675613027527,
)
}
