{
r13,28,30,17,-1,
r18,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,
r19,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,
r1,26,24,0,-1,
(
0.1568346391998377, -0.4699592333914324, 0.9864281371796895,
-0.07119215084598506, 0.2799306485668233, 1.065396529557375,
-0.3985113603813343, -0.8515816578064637, 0.5783568134947228,
0.8203964275114956, -0.4792097857088201, 0.5619670138563011,
-0.7674664653518902, 0.3617656597736765, 0.706130359728144,
0.4514413363391463, 0.7341375456695267, 0.6897405600897223,
-0.9697608556052447, -0.3375474061895361, 0.4051232678400649,
1.002473381799492, 0.2649629473000706, 0.3786040115143474,
-0.07817228138722618, -1.096687840465179, -0.09830623958208469,
0.6751541722641428, -0.8665493590732164, -0.1084356935097391,
-0.6751541722641428, 0.8665493590732164, 0.1084356935097391,
0.07817228138722618, 1.096687840465179, 0.09830623958208469,
-1.002473381799492, -0.2649629473000706, -0.3786040115143474,
0.9697608556052447, 0.3375474061895361, -0.4051232678400649,
-0.4514413363391463, -0.7341375456695267, -0.6897405600897223,
0.7674664653518902, -0.3617656597736765, -0.706130359728144,
-0.8203964275114956, 0.4792097857088201, -0.5619670138563011,
0.3985113603813343, 0.8515816578064637, -0.5783568134947228,
0.07119215084598506, -0.2799306485668233, -1.065396529557375,
-0.1568346391998377, 0.4699592333914324, -0.9864281371796895,
-0.3501982367770475, -0.17379129676445, 0.6391134220349738,
0.4031282127348595, 0.05634717910823038, 0.628983965347678,
0.2008338086832983, -0.6429658951339062, 0.3279768734595989,
-0.1681212824890509, 0.5703814362444406, 0.4557504058948133,
-0.4954405058226068, -0.5611308839270529, -0.03128929498981112,
0.7234672958684297, -0.1887589980312027, -0.04767909600805349,
-0.7234672958684297, 0.1887589980312027, 0.04767909600805349,
0.4954405058226068, 0.5611308839270529, 0.03128929498981112,
0.1681212824890509, -0.5703814362444406, -0.4557504058948133,
-0.2008338086832983, 0.6429658951339062, -0.3279768734595989,
-0.4031282127348595, -0.05634717910823038, -0.628983965347678,
0.3501982367770475, 0.17379129676445, -0.6391134220349738,
)
}
