test_sum_alpha:
Proof size: 2.02 KB
Proof hash: 9b4f596ce2cdbbd58f3ead17c8c61b1baed29cdbdcbccb55ba3e42df51afbb45
Prover_pp hash: 2f02dead3d92cfe05d59f35e6a2f20e30094bd3ec99bc6a071558ecaf56bbd72
Verifier_pp hash: 4fe92b473883f8151318305c4ccbb1c1942c05fc2fd5afc6a2e916163d10b175

test_pi:
Proof size: 1.94 KB
Proof hash: 10f92490860ce9bc601d8218f11f47c8c8f58c3a16143efbeded55a5b25e8d77
Prover_pp hash: c7ced427cbe2d10150b839938c70de0f2da8f6e45bce9d5330f2041a2396b9ad
Verifier_pp hash: 90af2582524c4936914aca78a5d6615443c674fb5cc0d5485a7a5fdb7593e629

test_pi:
Proof size: 1.94 KB
Proof hash: 0d5fcb1432f166366314ad11540ffcd6521ff257ac2ae7a8cb3563fe10908a43
Prover_pp hash: c7ced427cbe2d10150b839938c70de0f2da8f6e45bce9d5330f2041a2396b9ad
Verifier_pp hash: 90af2582524c4936914aca78a5d6615443c674fb5cc0d5485a7a5fdb7593e629

first_test_proto_rollup:
Proof size: 11.10 KB
Proof hash: 49f527e15195c641d4a39e1402c20bb1ca6b25035c7cc0dc1d74f9af9f3f7d20
Prover_pp hash: 9b0cac3196821a55a92ed2409b2f7c3b41f2654c76949ae4ae1095b5941b2b08
Verifier_pp hash: fb174d51781dad4139f6fd33b2cf02fa2e365898e9f5e9ad281b1f935d05ecbc

qc:
Proof size: 8.66 KB
Proof hash: e356605847b6700e059e7ac0e05576e42cb4b0aaf3507854a85540ae21551996
Prover_pp hash: 4c9d39ced27855f339f82605a9d91ce3668e15fc7d0159e6f9995a31f1b5715f
Verifier_pp hash: 158cae588718154aac1cb8876f1de036421e306a543f9766c61b7a5470e57275

q_w0:
Proof size: 8.73 KB
Proof hash: d5e6e2507768de68b292e790f5ba160ac51ff1fb6c65f5df46255a7e41c99b73
Prover_pp hash: 0c635d248dae1fdce417b98c5230a715c2aff3a64ff1249a7a4b5974a52aab52
Verifier_pp hash: 7e52e19913ce307dc17b1742d93df92b0ab241d32438fc14f3ffde79f90fd805

q_w1:
Proof size: 8.73 KB
Proof hash: ac7ec7c3400a92770dd3e6e0362a7ccf59339a5e3a2eecc1ea997da05b086687
Prover_pp hash: 1816c833e061c4edd8b0671f69956dcf80a4e838bd0c494e965532812167d8d7
Verifier_pp hash: 4bec81ea109199e308f157337f783fdde4fd5a1e844d55277fa910d2fa37da8c

q_w3:
Proof size: 8.73 KB
Proof hash: 8a6189ae63fae696b3c0b6b44276e001ea6a810e1bfa42c404853d54749b691f
Prover_pp hash: ebe8b73b50707dc4b583aaf567b94bcb8bf832802df37cafa0cd02c8e93794e5
Verifier_pp hash: 2680ee601a557c9b1ff18a25b748a24b1ac4c42a40d19a5d1cc090549802e230

q_w4:
Proof size: 8.73 KB
Proof hash: b0a36b882cda663606174f3e6a643da5e5e8c8412c3ab33c33c50bd01ab8d168
Prover_pp hash: 35eb77a5d745879ce8826a7d137210886e7c2fe7b5b5826a9cce9e32f05f7ba0
Verifier_pp hash: ab7a2bcef397d7f1e0c715e74561abcfcdb9cf578ccce5b1f806baa6c181de22

q_w5:
Proof size: 8.73 KB
Proof hash: d326a52328baa08c7240834031b1e4069d6ea1ad114b4d44c7e18a1814cc8e7e
Prover_pp hash: 4e71f4eb0a3d16debbdaeaeab945117dd5e3f817b76403e3ec92c0d091b531c8
Verifier_pp hash: 575b022944ae0347706fef52099a4efd96c3c21ddf963e58555e4c4d02614c8b

q_w0g:
Proof size: 8.84 KB
Proof hash: 213fddffd451b4a4306640e9ec21a9e871e810fe32d90d0f9e733e471a1975e9
Prover_pp hash: 1640ef50fe56690742cb214a4eefe990ea0bee7fd8280213b02ce2a27142ef27
Verifier_pp hash: 0acc4bb816067bdfaad6d8494950c2d445407af9df08817626105020405ee8e6

q_w1g:
Proof size: 8.84 KB
Proof hash: fa061c1083a8ffdad6e85a208b53339d49448688b245b0ed131347768c43d11e
Prover_pp hash: 9ddb793053b5172850b917a6cb44c630fcbbdbc04062105a56f2431df4ce5b90
Verifier_pp hash: 35da3c06c4075efebee9503cc0ad623228c8f98e8ac42822c503fb32225416cb

q_w2g:
Proof size: 8.84 KB
Proof hash: 900a0147a8c8992cefc5addb5480eb9d05f907cce3a50a50534d592f729ce3d9
Prover_pp hash: 876fa09b01aec2953a3b7220dd04888917128c67607cb8e86942fba071babcb8
Verifier_pp hash: d93b528e98dafc1e89d3cd384c125909a57ad49cdbb172755671b1743e7cf62a

q_w3g:
Proof size: 8.84 KB
Proof hash: 338de4378a214c37b931b11a6e144fd129447c6522ceffe07e317748ba45dda6
Prover_pp hash: 085ed6f7460d19873c7103b9cc4f0b9d05d4102b23160d4c957fd97d647377e6
Verifier_pp hash: 667fc7207db23425c2401fb410acf7162be0cbc06e3384c681fe838e12199f15

q_w4g:
Proof size: 8.84 KB
Proof hash: b1091ccd74e5751fa8b87526c96d02d025dc900cfd502444eee8c8fd2417e0ea
Prover_pp hash: 6a84bbbd33b6e642c4f3bdea167d83557113de0e3c168a90e949bafc00c04624
Verifier_pp hash: b8727aa643810a40692132b0559187155ca2a1dd4d731831bb5eacf1bd98ae33

q_w5g:
Proof size: 8.84 KB
Proof hash: e212336d0ac45a2aa7581c111c6f075f93736f27eae658d24384cb2ab80e0573
Prover_pp hash: 453d414068a0e6698bf383e20e9f6d6df66d48cf334f03999ed8dacf4f61a1da
Verifier_pp hash: 17f34416301e409d16a02bcd5086c98ae7153d642dcf28151a5855be7a5c640e

qm:
Proof size: 8.66 KB
Proof hash: 3157b0362bb48311e398eb3e72dc8359ca856b18e8802caf43c1a51923c9431e
Prover_pp hash: 65d27561e96060479bc1b2a9da55528028c9090d69bfa48391bb4a04655cbe73
Verifier_pp hash: 9dd82e3b05fafd18dcdb0ce2456d07c99efc2debed5b4e908eb2416d8eafaad5

qx2b:
Proof size: 8.73 KB
Proof hash: 0eed3938d201db5496808d75c2317ea6c9545c15ba6f9333753e43399e34a6a2
Prover_pp hash: caa12ea0571a04168e1200da589622f65ea4b2846fed58d3373809e1261df325
Verifier_pp hash: b1c34bf0a1c94285ef9a969c446ba5a6fefca5baf5be84abd038c0619025a233

qx5a:
Proof size: 8.78 KB
Proof hash: 006e6c8bfc6550afa93695d9decd90d08b398690313612234405a2bdd609b373
Prover_pp hash: df65ebdede6e5e37db5e01ccdf438102ed9f2d60dd922151efd5ab2e33cd800e
Verifier_pp hash: ff17829a7017397f2b6520ab2edf5a20c9ff8f347999eeb2f9e28064c9ab8c85

qx5c:
Proof size: 8.78 KB
Proof hash: e79d6707622d41939cc20b1e497762f41c6053c309038984825bb0fd83641b3c
Prover_pp hash: d863a880f1205e5780eae1fc0ee5c459a841bcbdcc441c927c2abe92ae7f125a
Verifier_pp hash: 9756fe6fe9bd212f416cc427a90231c9bd5bb6d3a0b485e6c5cd6d7493287fa0

qecc_ws_add:
Proof size: 9.05 KB
Proof hash: 386bf5e10138004f4e45807d604cbea4eca2c80ff33066fdd0b0633c4fa64208
Prover_pp hash: 29ec8c8007148cea990bfb890bac7e36ce25ff9e525a42c9a21f479b879e5ce7
Verifier_pp hash: cf1ce55bba138f8ba2d04a35ae3eedd301e3b1b5aafff17ad8e43eb73f33693b

qecc_ed_add:
Proof size: 9.05 KB
Proof hash: c760e355406cc68d02ea7c76b0cac4524f2243131dce5b9b62a2e7b6fe55352a
Prover_pp hash: 0b98ded1298e4b2649654d60283e2643ee31186abe63424579218c67c021dbb0
Verifier_pp hash: d0510d250977040f94e8cef31acc8b20e087363f33b79c559e1a8230384766a1

qecc_cond_ed_add:
Proof size: 9.23 KB
Proof hash: f160493171597b8391ae73bd9ac2e9564c5e388dec1221b8deca981da514600d
Prover_pp hash: b26afa0a6eb5c1a00d73795400e633c2be53075d9b550910a4d17563c1a61cac
Verifier_pp hash: f803c296ada26e942e6802f0e414689d13f4254c39f8fc37e424138b5684afea

qbool:
Proof size: 8.77 KB
Proof hash: b808710dd0223c3b7fced4accfe6ffb5e8aa33d2079a9011d69d3c4cc55e92d5
Prover_pp hash: bd4c29083337959e5be0f9be85708770a1510ce1bf849d3bba1c2a77d44a94a4
Verifier_pp hash: 9a9ad9b43040cf81e9c2d148adb45dd382d6daad34e901c73cdb7d1dbb358223

qcond_swap:
Proof size: 8.95 KB
Proof hash: 30790548fd63cd9de5d0c94e6c9cf26c85f671c0ed7550521116c1ee443764a0
Prover_pp hash: da6770f0b09a60e09bad325d158663e0933d968ecb0ffc37c33ef78c931a6946
Verifier_pp hash: c8e5a274c3fb5362a1140e44603da30d105f4554ccf9658fe0ce4c27afcb14b3

q_anemoi:
Proof size: 10.26 KB
Proof hash: 56ea427ae4f3a8001258c10baae7a9c335b12b23837c57d9558c1468efbf161f
Prover_pp hash: 6d0801710a677f9bd9f961ec95b4f7beefb5dde5d6727228d1f07e0cd1746b6b
Verifier_pp hash: ad886574a6b156cc59682a132d4d6d7a974869bfe9b019d889faf31e884759bf

no_public_inputs:
Proof size: 10.44 KB
Proof hash: eac1c3e9b90bac6219d2deac99429c69aa144ab8b8e04e7977a083b1311bf7c8
Prover_pp hash: cdf6453bc8099301ec967c7c21752ffd208a5ea7b6b127aaa81e3ddbd360d8f8
Verifier_pp hash: 65750d4c973aa64e3c11893c3acf5cf2a46ba339c0a80173bf66c6c1cf70c904

RC_single_valid:
Proof size: 10.41 KB
Proof hash: c3bd56a48c10dd5b99e431c69a215d6c36000434eab0dd20782026161b94bcf4
Prover_pp hash: 4a482f768198fd32148c96897cc5501740608d57f8899d154e8c03ffb84bb033
Verifier_pp hash: 99ab3d10fce2a6bbc956750eca7a35ae370c90412bb6c9ec121167ba74770341

basic:
Proof size: 11.28 KB
Proof hash: 76ca84a13cb79084efd6e3965264304b084f590fda3e539805a5e9204cad2c43
Prover_pp hash: 787a69dc0d85e82463ba0393c4a911f35dedddc44e396b9558f7278740ff7b2a
Verifier_pp hash: b999b56ba527bb3bc21484c50d495282fbdfc6ac4c7a62953f9baf4f2a3cd351

add_mod_2^255-19.no_wrap_around:
Proof size: 9.75 KB
Proof hash: 24011d9e770128584e92c520352b57169f5b6b99640b5866d3c76b13b5f8aa0b
Prover_pp hash: 26dfc440122e38a11855dfff146371360a6e02d1ca29432337341d8ed16d7ea6
Verifier_pp hash: 6536f5e7688a123578f8a79c054eef6badad05cd6ecebcb4215872f540cf2b95

add_mod_2^255-19.wrap_around:
Proof size: 9.65 KB
Proof hash: e76c27db92d0c4bdd410f43d764265ad7a829e53116c5eecafd45d5fa098c027
Prover_pp hash: 17b2d72f8b708c453f6904e4a2b90486c4bb8a51f2f6a1e28fc89ecbebdc4e1c
Verifier_pp hash: b737bfb5c49ff9378d8ce88ddef6007a361f76692e1d4d6cf0ba166e960d9e30

add_mod_2^255-19.non-std out:
Proof size: 9.65 KB
Proof hash: e02054c6f9b6088ee4153bc49785847b1ac31339013ce6d45806afd31bb4c0c2
Prover_pp hash: 03a54f97f5631214a9b03b8bb25b2c6b7e050b5635a2fcb57f8e4c4f957caf8b
Verifier_pp hash: 710c7139f06f0296901291cbed6835cda0a7d2c15aa6fcc7ce64bb76527ee045

sub_mod_2^255-19.no_wrap_around:
Proof size: 9.75 KB
Proof hash: e543f472912f2c3bd53b06f19e4f9bd3d16c4baf9b12de460bae4d247b3fbf42
Prover_pp hash: 56426fc8e80f8d9144aee3778e8a56bd88b2e8cad8156bf37966b887da523b8c
Verifier_pp hash: 87c1cc3e6cb8bd188e1bbd93ee91ddf192b774d51412bf03fd57c653adb33930

sub_mod_2^255-19.wrap_around:
Proof size: 9.65 KB
Proof hash: 3dde54c376a0af6261256ee490d1d4ebc9960d8c084c6aebd5fd17fd9cee7a4d
Prover_pp hash: 9fcd9951dc5ce3895fea284396ecf76611fd929d1d50e6acccb23d897c93b753
Verifier_pp hash: 66c827709b8081b1707d40082c817a733cbce67da5d774ef2c8d371f38a046eb

add_mod_2^64.no_wrap_around:
Proof size: 9.61 KB
Proof hash: db80958019313d5976bd2b4e025b4cbe1f0be18999233659d076d4bebea28836
Prover_pp hash: f9c08927666a69db790959c870449d92a881ee6d200fb850b9319c94920d3d5f
Verifier_pp hash: 3e204f9ca4e87324f9d81edf89f930d5b4d06f3d9adafcf735094673839a1af2

add_mod_2^64.wrap_around:
Proof size: 9.51 KB
Proof hash: 03a8f4d43ff8ff4ec15c32e04589327b4acf12415c4db8afc9cae7ff1e31fc1c
Prover_pp hash: 4db97a172da117f13f27d4983e27563535f89933f7189b8908b8c1bb88b10fe3
Verifier_pp hash: f77a2874f53ab1b3ed94e5dafe515f55821dec427b00adf8b211da69422fb9ac

sub_mod_2^64.no_wrap_around:
Proof size: 9.61 KB
Proof hash: 6629196c703b467e8b281d91b221d6f279ce06bb5a4343f87580443850fe5f2d
Prover_pp hash: b3291991f3973b74c5330a4fe9614b04c5d4cb807c48d28a8a6ed6f40acea776
Verifier_pp hash: 226dc0fd90ee44522ad8674498cc546ff8c0b349f677f0ae2f60cd1a6827d5d1

sub_mod_2^64.wrap_around:
Proof size: 9.51 KB
Proof hash: 45d4c9ff0d029e5acf9fae4a64faab0aec45967d3ae4d741e5e6ba1d420f4fc8
Prover_pp hash: 61c9f2728a2ce2f6c84976fe14668bb8ea45803c010fac60aa55f4692f98f32e
Verifier_pp hash: 170594187a53f25271784d5487eeb831f5091f396567fcb08a80ddb05d742482

mul_mod_2^255-19.no_wrap_around:
Proof size: 9.75 KB
Proof hash: 2d748df718299f33dc0f95e1bd34494d494c189cd4fecca8e06acaba8334b7f7
Prover_pp hash: dffb698ed95cb65ca39b57b6f5e2da0dc2b6279e52c2ca6d380f0de4ad79a45f
Verifier_pp hash: 5611faa07fad77c4e68bc20360a0df3e44d8b3fc1266ef4a36f6655bb4075ddd

mul_mod_2^255-19.wrap_around:
Proof size: 9.65 KB
Proof hash: 4e7598df3ce480f8f32b1675ad8c1e7be3692fdb1e4db7b89a36ea8018c37a60
Prover_pp hash: c2694ea8a47a0d607e546a2135445357530da7e5f693ae0ec3d296a0eb2b1640
Verifier_pp hash: b8e6775c91814f316d7d60bcb13d64b3d7fc7269f2f42399830d0a7f257847aa

mul_mod_2^255-19.non-std out:
Proof size: 9.65 KB
Proof hash: 3c2eca20fae00e3acf3f4aa1c8cae7afdb6f58ea514edf86be6d28c79a08d838
Prover_pp hash: 4b3856c5d36f20f525d47fba903a1c968312e9688623cfdcfebefa4a4a9370d6
Verifier_pp hash: 7a6aaa0e09f9c4a59ae19c168011137a8d8057bbdb3c87eb5492af58a570f78d

div_mod_2^255-19.no_wrap_around:
Proof size: 9.75 KB
Proof hash: 353c051050473bd6230c99b8e84ae0d78e678b9680f071d48267b52963a7a234
Prover_pp hash: e1b248594f700fac81583950c2a5442e8c55d87a744bce880b96852b0d644c69
Verifier_pp hash: ae572bd06b99d95553ed2aba02b0ede125dd39ac5d568605677f214f17b9f358

div_mod_2^255-19.wrap_around:
Proof size: 9.65 KB
Proof hash: 6849625bad77de70bfd5468cf1952ac54d139d1ba3493970d222750a36ad81ca
Prover_pp hash: ae3929b10ceaedc2d28cd6864e9b9d7243bee6c626052ca8f9ce78435d161a5b
Verifier_pp hash: c3422f868ba19d4b2de9ae1e54418a4b37a9ea20dd44d877cd34ea619b99429f

mul_mod_2^64.no_wrap_around:
Proof size: 9.61 KB
Proof hash: 08b55337e3e5a8848d6231efef7f4a5debe92ff4ef618f6c38fd063935a7891c
Prover_pp hash: 92ab408b7297d4c01641556155696328d0da10daf95688f73cfc5cc9b509f06b
Verifier_pp hash: 7168a87dae21359d6a848ded68006f8aaec828fb710e51ae8173e6f5d0111a82

mul_mod_2^64.wrap_around:
Proof size: 9.51 KB
Proof hash: a4d206e4c535feaf86b38ca93b902be596b65515c69610e777e04778473c3bcd
Prover_pp hash: b660b21335c37134b263c4fd24fb828fc22ea3eb35b7348941aab3518055fb24
Verifier_pp hash: 469199ed4113d522ebd958775bfad93904970b9fa84224cb7226584bf573514f

bnot:
Proof size: 9.95 KB
Proof hash: 0286aa35082ae1e78a192d6821934b995287d7058a6dc8280a98184967585513
Prover_pp hash: fa332469e78586c296e4ef74e6b78bb1c03af84951a7d7e465d397b3cf2ad074
Verifier_pp hash: 1bb8af609487afe533d79156bc9b24cb73d6f63061bc69177f24218dec69eab1

zero_values:
Proof size: 10.27 KB
Proof hash: a6a3db781b4cf69d81e8d45ba7f51c8ceeb0f4e2201d252a837c2ad8d6f9b50f
Prover_pp hash: 2c747486d385a2647547871bf9ea91aa033f6edb67514e1af2573fa5449bc1c0
Verifier_pp hash: 7b0f6d3a9d89d31ac3129282961545805b900decf1b72fdb13a122c51c1cb65a

non_zero_values:
Proof size: 10.41 KB
Proof hash: 9096d88732c3cf9e8cc962b324cf3ad98b2f4546fa78ae0b3f7679d3addd641f
Prover_pp hash: e9ee1d56cb3d927681df517b9ec791dedeaab205acd1225d3d47f4287ed6a14f
Verifier_pp hash: aae99b5efb9260f55a9b326c370271ef21b01395b01ac0261887fb0fec4a894d

big_circuit.2.5+big_circuit.2.5:
Proof size: 10.34 KB
Proof hash: dcbb0e210dc4157aaa011787844dd4ca6777ea2c8475b6c8c043dd4a2efb79ee
Prover_pp hash: b45dba208b6e53cc5623757bc9678a57fcdfb14ea111ff2fd0bc74b173aef01c
Verifier_pp hash: 789a9f360e4823a39bb77f7be45462d2a1caa74dabcc82d47a229c57f73dbb70

upper_bound_no_pi_ql:
Proof size: 8.73 KB
Proof hash: e6fdfc3769ac5f8567f6567b53dcf64979f8dbe7056865081195c6eb603ff220
Prover_pp hash: 57f873af5853c593dc191a72067b33d6d43b2ba07e92a3ae4942b635036058b9
Verifier_pp hash: 4f2424a435d9b3d1bd457a51b6518eb12053aa1748812b475f71a650cee91b6c

upper_bound_no_pi_qlg:
Proof size: 8.84 KB
Proof hash: 270b0a1efdbe72a7b352a63729931537295d7681f20ef04723260b015231d834
Prover_pp hash: ed4a70fe531608ce90b9d4ee23e688bb4983099fc4fc91f3453efd7cb4b40814
Verifier_pp hash: a5dfa96c4068e5a86dbc1389476098cd4d4f676554871f9483666fe3a099f00f

upper_bound_no_pi_RC:
Proof size: 11.28 KB
Proof hash: 0ddd5dcae0527a4977c17405b220ed81589092823c0ee188293a56e43a10af03
Prover_pp hash: d42b69ec9106c4a280efb17084ab5af7e7a0970743a31cebc5e03d4737ee9d25
Verifier_pp hash: 2ec571b4b45fddd7df1f791c3caf08bbe7721e5a7e582af68b2f3a1796a5a20b

upper_bound_pi:
Proof size: 11.56 KB
Proof hash: 354f311985fb3990b17c801fe199772866a8ffcd2e43fdd14dda66572059941c
Prover_pp hash: 7fcb383681683cc9eff2616a306a6e59a6dcbb364ce14a28bd32b8866cf605b7
Verifier_pp hash: 6b40919a8c63c37b068c94c65f28a0ae2f124846e49948ac60751e1e11f177bf

qc+q_w0+q_w1+q_w3+q_w4:
Proof size: 22.29 KB
Proof hash: f3a10048fcafe3b4830769aaa3d2227748ae9139e57937a312d2dccb300eb62e
Prover_pp hash: 8c04f17ce8b85b4be4f014949223b9cf1d6b3ae62eba7f2e07648dd3bd76af61
Verifier_pp hash: 55ec68b7f54ecb3824b9e4385ff77cc0c9f22d27bb8288dfcb9508d79b3f0fc0

qc+basic+basic:
Proof size: 13.73 KB
Proof hash: 84900db0af071ab27493f92d4c2cf48630ec344ad5c9064c3ccdea5202603d33
Prover_pp hash: f719fc69a603a3d890c495858eca17b61b894ba894e640476112ccf9e972a563
Verifier_pp hash: 4a6513b8722435a7958ac628f76c8ec90f2e4b849c397c06ae9ad530e13918f0

non_zero_values+non_zero_values+zero_values:
Proof size: 14.40 KB
Proof hash: 6835ee0fcbddd50de36b6149e58ecefc6eb6de4a3284d96ee4cb2b47f8e6bd40
Prover_pp hash: c416768a1dc24a21d327c5209494225cbd9739cff9a71cbf1095474d9beab3a5
Verifier_pp hash: afa51af08cab41585dd7f7643cc63b3e54a255afc3cc6e99b34838edbe146847

q_w0g+q_w1g+non_zero_values+zero_values:
Proof size: 20.74 KB
Proof hash: 109fa965329bad4c7e2e0352c5496a4cbb39c3e52d1bbea9a9b83381b3db1dbc
Prover_pp hash: c4a16b63913b60abbec8950796bb7a541b6414e0ec37fd12fd74ba60813d3412
Verifier_pp hash: d04bbc53d36bbc3febdf5895de4c81835289e592b80a0d0139763904fe5425a7