Fixes table spacing

keep-starknet-strange · Aug 6, 2024 · 119dc91 · 119dc91
1 parent ff0267b
commit 119dc91
Showing 1 changed file with 22 additions and 22 deletions.
diff --git a/tools/garaga_rs/src/bn254_final_exp_witness.rs b/tools/garaga_rs/src/bn254_final_exp_witness.rs
@@ -96,28 +96,28 @@ const EXP0: [u64; 48] = [
 
 // r_inv * m_dash_inv
 const R_M_D_INV: [u64; 88] = [
-    0x5269cbffa1de7d17,    0x752a442f05402918,    0xadc220e391c8b45d,    0x0dbe15d89c0dfb4d,
-    0x2ced6e1be7dd5e8a,    0x575712a5d3d521dc,    0xcadc50ae726c1eb2,    0x7c7bb95af32e875b,
-    0x66671e4a6d4f9732,    0x2e1513eddd68cb99,    0x35ec1147bc833f2d,    0x813c5551bdfcedbb,
-    0xafb52c74db67694d,    0xa94f43e174bd3f6d,    0xf176b9f29acc032e,    0x983092561ca6e1fe,
-    0xeaae5e50cd083d65,    0x814477de35d5a366,    0x2fcc4cffc1b1e3fd,    0x03fa0ce334fb3fe4,
-    0x66540780fb9ac8f7,    0xb9f1db69db43907c,    0xffa31ad233044010,    0x2a2eb529ca2226e2,
-    0x29bf149a2f7e4c09,    0x1b51c305bd849dc1,    0x18fc937dbfa56566,    0xbbf6da52bb8e5703,
-    0x332d30ae50878d68,    0xf2902f5ff575a178,    0x0be45ffc9c011320,    0xd7f46d0e2bdbb46d,
-    0xcc76c1af25c63a3e,    0x41b9be93546909bd,    0xe82c0ad99b03cea7,    0x3d71429a78379fac,
-    0x17bc76ca22e89651,    0x46da9fc09404fe5b,    0x5b7add89effe054b,    0x2a55051203606c83,
-    0x5ae677a94d11680d,    0x8818c3dfb091ea0e,    0xe7ca63d528ef0ce3,    0x6540ab5b17bc3e4e,
-    0xee17fccf70b3bfa6,    0x4d269f99b85e3861,    0x0f439a8ede245648,    0x3017de195816c113,
-    0x2ac5abaa37e5d43c,    0x3e90bdbb16953cd0,    0x8da22490e8158422,    0xb1d0af2d2bce56e5,
-    0x40939a400333329d,    0x87c9c0b6aa231e84,    0x22003c8e41d77534,    0xa6e0d349cc2a3430,
-    0x410c9e004cd770fa,    0xde4616b947f58692,    0x9f9af1729273af7a,    0x0dab3d19889c8dfc,
-    0xd9c2c4c7f76c2cdf,    0x16e443a7d20359d8,    0x7b1baced23deb8fe,    0xf06f91873a3f53f9,
-    0x2fe9cbacad4165e5,    0x1c42aec2ef6eabb7,    0x6b68c8c486218334,    0x1f5191d84e6f1ce7,
-    0xbcf4530ad9ba18f0,    0xe3a540d126a882d9,    0xe8c30bdcb670e368,    0x244c1c4ce26fa40e,
-    0x766d84f873c7479e,    0xb5bb0451361c8bb1,    0xdb3cad9e79c4cec4,    0xb3a3c26108159c65,
-    0xc73f5e0555a15603,    0x49059e6d30de40ae,    0x2d3521471b552560,    0x709c2cfe852f9c82,
-    0x4a4d30b72e03a39e,    0xf3b7af30db17e951,    0x871fb7dfdaac5fa6,    0x1fe6c8220475c036,
-    0x458467c2fd0c5f61,    0xcde087ba1c0a1e85,    0xd1e99cd525608c71,    0x0000000000000040,
+    0x5269cbffa1de7d17, 0x752a442f05402918, 0xadc220e391c8b45d, 0x0dbe15d89c0dfb4d,
+    0x2ced6e1be7dd5e8a, 0x575712a5d3d521dc, 0xcadc50ae726c1eb2, 0x7c7bb95af32e875b,
+    0x66671e4a6d4f9732, 0x2e1513eddd68cb99, 0x35ec1147bc833f2d, 0x813c5551bdfcedbb,
+    0xafb52c74db67694d, 0xa94f43e174bd3f6d, 0xf176b9f29acc032e, 0x983092561ca6e1fe,
+    0xeaae5e50cd083d65, 0x814477de35d5a366, 0x2fcc4cffc1b1e3fd, 0x03fa0ce334fb3fe4,
+    0x66540780fb9ac8f7, 0xb9f1db69db43907c, 0xffa31ad233044010, 0x2a2eb529ca2226e2,
+    0x29bf149a2f7e4c09, 0x1b51c305bd849dc1, 0x18fc937dbfa56566, 0xbbf6da52bb8e5703,
+    0x332d30ae50878d68, 0xf2902f5ff575a178, 0x0be45ffc9c011320, 0xd7f46d0e2bdbb46d,
+    0xcc76c1af25c63a3e, 0x41b9be93546909bd, 0xe82c0ad99b03cea7, 0x3d71429a78379fac,
+    0x17bc76ca22e89651, 0x46da9fc09404fe5b, 0x5b7add89effe054b, 0x2a55051203606c83,
+    0x5ae677a94d11680d, 0x8818c3dfb091ea0e, 0xe7ca63d528ef0ce3, 0x6540ab5b17bc3e4e,
+    0xee17fccf70b3bfa6, 0x4d269f99b85e3861, 0x0f439a8ede245648, 0x3017de195816c113,
+    0x2ac5abaa37e5d43c, 0x3e90bdbb16953cd0, 0x8da22490e8158422, 0xb1d0af2d2bce56e5,
+    0x40939a400333329d, 0x87c9c0b6aa231e84, 0x22003c8e41d77534, 0xa6e0d349cc2a3430,
+    0x410c9e004cd770fa, 0xde4616b947f58692, 0x9f9af1729273af7a, 0x0dab3d19889c8dfc,
+    0xd9c2c4c7f76c2cdf, 0x16e443a7d20359d8, 0x7b1baced23deb8fe, 0xf06f91873a3f53f9,
+    0x2fe9cbacad4165e5, 0x1c42aec2ef6eabb7, 0x6b68c8c486218334, 0x1f5191d84e6f1ce7,
+    0xbcf4530ad9ba18f0, 0xe3a540d126a882d9, 0xe8c30bdcb670e368, 0x244c1c4ce26fa40e,
+    0x766d84f873c7479e, 0xb5bb0451361c8bb1, 0xdb3cad9e79c4cec4, 0xb3a3c26108159c65,
+    0xc73f5e0555a15603, 0x49059e6d30de40ae, 0x2d3521471b552560, 0x709c2cfe852f9c82,
+    0x4a4d30b72e03a39e, 0xf3b7af30db17e951, 0x871fb7dfdaac5fa6, 0x1fe6c8220475c036,
+    0x458467c2fd0c5f61, 0xcde087ba1c0a1e85, 0xd1e99cd525608c71, 0x0000000000000040,
 ];
 
 #[cfg(test)]