module	theorem	aig_nodes
Sha256Words	Ch_opt	608
Sha256Words	Maj_opt_or	608
Sha256Words	Maj_opt_xor	768
Sha256Words	Maj_comm	704
Sha256Words	Sigma0_xor	960
Sha256Words	Sigma1_xor	960
Sha256Words	sigma0_xor	933
Sha256Words	sigma1_xor	870
Sha256Words	Sigma0_injective	704
Sha256Words	Sigma1_injective	704
Sha256Words	sigma0_injective	686
Sha256Words	sigma1_injective	644
Sha256Words	xor_and_right	512
Sha256Words	inv_of_quarters	33
Sha256Words	Sigma0Inv_Sigma0_b0	1021
Sha256Words	Sigma0Inv_Sigma0_b1	1021
Sha256Words	Sigma0Inv_Sigma0_b2	1021
Sha256Words	Sigma0Inv_Sigma0_b3	1021
Sha256Words	Sigma0_Sigma0Inv_b0	508
Sha256Words	Sigma0_Sigma0Inv_b1	508
Sha256Words	Sigma0_Sigma0Inv_b2	508
Sha256Words	Sigma0_Sigma0Inv_b3	508
Sha256Words	Sigma1Inv_Sigma1_b0	973
Sha256Words	Sigma1Inv_Sigma1_b1	973
Sha256Words	Sigma1Inv_Sigma1_b2	973
Sha256Words	Sigma1Inv_Sigma1_b3	973
Sha256Words	Sigma1_Sigma1Inv_b0	508
Sha256Words	Sigma1_Sigma1Inv_b1	508
Sha256Words	Sigma1_Sigma1Inv_b2	508
Sha256Words	Sigma1_Sigma1Inv_b3	508
Sha256Words	sigma0Inv_sigma0_b0	4670
Sha256Words	sigma0Inv_sigma0_b1	4679
Sha256Words	sigma0Inv_sigma0_b2	4679
Sha256Words	sigma0Inv_sigma0_b3	4679
Sha256Words	sigma0_sigma0Inv_b0	1328
Sha256Words	sigma0_sigma0Inv_b1	1376
Sha256Words	sigma0_sigma0Inv_b2	1343
Sha256Words	sigma0_sigma0Inv_b3	1364
Sha256Words	sigma1Inv_sigma1_b0	4793
Sha256Words	sigma1Inv_sigma1_b1	4811
Sha256Words	sigma1Inv_sigma1_b2	4817
Sha256Words	sigma1Inv_sigma1_b3	4817
Sha256Words	sigma1_sigma1Inv_b0	1328
Sha256Words	sigma1_sigma1Inv_b1	1391
Sha256Words	sigma1_sigma1Inv_b2	1400
Sha256Words	sigma1_sigma1Inv_b3	1334
Sha256Step	add4_sub4	2048
Sha256Step	sub4_add4	2420
Schedule	scheduleStep_inv	1921
Schedule	scheduleStep_bijective	2200
LocalCollision	State.xor_zero	257
LocalCollision	Words9.xor_zero	289
LocalCollision	linStep_xor_absorb	4000
LocalCollision	linStep_xor_xor3	6368
LocalCollision	diff_absorb_b0	5049
LocalCollision	diff_absorb_b1	5049
LocalCollision	diff_absorb_b2	5049
LocalCollision	diff_absorb_b3	5049
LocalCollision	diff_xor3_b0	8769
LocalCollision	diff_xor3_b1	8769
LocalCollision	diff_xor3_b2	8769
LocalCollision	diff_xor3_b3	8769
LocalCollision	byte_split	33