{
r11,9,28,29,-1,
r17,8,24,29,-1,
r19,2,20,29,-1,
r16,0,21,29,-1,
r10,3,25,29,-1,
r5,8,28,27,-1,
y1,14s,28,21,-1,
r4,18,28,20,-1,
r10,15,28,26,-1,
y5,18s,30,23,-1,
r7,16,26,21,-1,
r13,4,20,25,-1,
r17,0,22,31,-1,
r19,3,22,30,-1,
r14,7,21,24,-1,
r2,13,27,20,-1,
r1,15,31,23,-1,
r7,14,30,27,-1,
r9,16,29,25,-1,
r14,11,27,28,-1,
r16,7,25,30,-1,
r4,13,31,26,-1,
r2,11,29,24,-1,
r9,4,26,28,-1,
r13,2,24,31,-1,
r15,6,26,31,-1,
r12,5,27,30,-1,
r3,12,30,25,-1,
r6,17,31,24,-1,
r11,14,24,23,-1,
r11,2,22,27,-1,
r16,9,22,26,-1,
r4,9,25,23,-1,
r3,19,29,21,-1,
y18,5s,21,28,-1,
r0,17,29,20,-1,
r15,1,20,28,-1,
r13,12,26,27,-1,
r19,1,21,31,-1,
r18,0,20,30,-1,
r6,7,27,26,-1,
r0,18,31,21,-1,
r12,13,25,24,-1,
r7,6,24,25,-1,
r1,19,30,20,-1,
r8,10,29,28,-1,
r10,8,22,23,-1,
r9,11,23,22,-1,
r18,4,23,31,-1,
y14,1s,23,30,-1,
r2,19,31,22,-1,
r0,16,30,22,-1,
r17,6,20,27,-1,
r12,3,21,26,-1,
r6,15,25,20,-1,
r5,12,24,21,-1,
r15,10,23,25,-1,
r8,5,23,24,-1,
r8,17,27,22,-1,
r3,10,26,22,-1,
(
-0.3565582833961308, -0.2556260590945497, -0.6512220253217722,
-0.5990664687550769, -0.4693160093428396, -0.1934694880248286,
-0.381646788243574, 0.3030501332876206, -0.6156906356557024,
0.183424713540722, -0.4053313688713818, -0.6470165653377183,
-0.774033281133616, -0.04270746976170579, 0.1249685264119782,
-0.2089617906320276, -0.7510889927937171, 0.0936425685231934,
-0.6396605221083369, 0.4346410617971491, -0.1359784913928073,
0.2746443601154383, -0.711544287652503, -0.1866649548212846,
0.1428306545461083, 0.4986257022686068, -0.5895255856297583,
0.4920640519096487, 0.06082185497795719, -0.6088860911694509,
-0.4920640519096487, -0.06082185497795719, 0.6088860911694509,
-0.1428306545461083, -0.4986257022686068, 0.5895255856297583,
-0.2746443601154383, 0.711544287652503, 0.1866649548212846,
0.6396605221083369, -0.4346410617971491, 0.1359784913928073,
0.2089617906320276, 0.7510889927937171, -0.0936425685231934,
0.774033281133616, 0.04270746976170579, -0.1249685264119782,
-0.183424713540722, 0.4053313688713818, 0.6470165653377183,
0.381646788243574, -0.3030501332876206, 0.6156906356557024,
0.5990664687550769, 0.4693160093428396, 0.1934694880248286,
0.3565582833961308, 0.2556260590945497, 0.6512220253217722,
-0.76034814671249, -0.008280283703328792, -0.406682777728908,
-0.1952766280041327, -0.7166617852981958, -0.438008729976339,
0.02214306266180699, 0.05570435789639976, -0.8602298945312741,
-0.6127516595897405, -0.5037431999142996, 0.3381818161160576,
-0.2609591974875434, 0.7459714951480243, -0.3449863493196016,
0.6533457129430005, -0.400213871225689, -0.3956728071067251,
-0.6533457129430005, 0.400213871225689, 0.3956728071067251,
0.2609591974875434, -0.7459714951480243, 0.3449863493196016,
0.6127516595897405, 0.5037431999142996, -0.3381818161160576,
-0.02214306266180699, -0.05570435789639976, 0.8602298945312741,
0.1952766280041327, 0.7166617852981958, 0.438008729976339,
0.76034814671249, 0.008280283703328792, 0.406682777728908,
)
}
