ia=V2a-V1V0a=a-V4V5a-V1V0Aa<=c0V5Aa<V5V3Aa<=c0V3Ia=V5a-V3c1FIa=V4a-V2c1FNa=V3c0Ia=a-V2V3a-V1V0Aa<=c0V3FAtAa<=c0V0Ia>=V0c0F
VC for slow_subtraction
ia=V1c0a>=V2c0Aa<V2V1Aa<=c0V1Ia=V2a-V1c1FNa=V1c0Ia>=V1c0FAa>=V0c0Ia>=V0c0F
VC for reduce_to_zero
ia=V2a+V1V0a=a+V4V5a+V1V0Aa<=c0V5Aa<V5V3Aa<=c0V3Ia=V5a-V3c1FIa=V4a+V2c1FNa=V3c0Ia=a+V2V3a+V1V0Aa<=c0V3FAtAa<=c0V0Ia>=V0c0F
VC for slow_addition
a>=V0c0Ia=V0c0F
empty_shape
a>=V1c0Ia=V1a+V0c2FIa>=V2c0Ia=V2V0FAaevenV0F
a>=V0c0IaevenV0F
fIaevena+V1c1Ia=V1c0F
fIaevena+V2c1Ia=V2a+V1c2FIfIaevena+V3c1Ia=V3V1FAaevenV1F
fIaevena+V1c1IaevenV1F
iaevenV2qa=V4c0aevena+a-V2V7c1Aa=V6c1Oaevena-V2V7Aa=V6c0Aa<=c0V7Aa<V7V5Aa<=c0V5Ia=V7a-V5c1FIa=V6a-c1V4FNa=V5c0Iaevena+a-V2V5c1Aa=V4c1Oaevena-V2V5Aa=V4c0Aa<=c0V5FAaevena+a-V2V2c1Aa=V3c1Oaevena-V2V2Aa=V3c0Aa<=c0V2Ia=V3c0FIa>=V2c0F
VC for parity
ia<V2a*a+V4c1a+V4c1Aa<=a*V4V4V2a<=a*V5V5V2Aa<=c0V5Aa<a-V2a*V5V5a-V2a*V4V4Aa<=c0a-V2a*V4V4Ia=V5a+V4c1Fa<=a*a+V4c1a+V4c1V2Ia<=a*V4V4V2Aa<=c0V4FAa<=a*V3V3V2Aa<=c0V3Ia=V3c0FIa>=V2c0F
VC for sqrt
a=afactc0c1
a=afactV2a*V2afacta-V2c1Ia<c0V2F
ia=V7afactV3a=a*V8afactV9afactV3Aa<=c0V9Aa<V9V6Aa<=c0V6Ia=V9a-V6c1FIa=V8a*V7V6FNa=V6c0Ia=a*V7afactV6afactV3Aa<=c0V6FAa=a*V4afactV5afactV3Aa<=c0V5Ia=V5V3FIa=V4c1FIa>=V3c0F
VC for factorial
ia=V2asumV0a=a+V5asumV7asumV0Aa<=alengthV7alengthV0ACfaNila=V8V7aConswVV3Ia=V7V6FIa=aSomeV6atlV3FANa=V3aNilIa=V5a+V2V4FIa=aSomeV4ahdV3FANa=V3aNilNais_nilV3Ia=V3aNilqais_nilV3Ia=a+V2asumV3asumV0Aa<=alengthV3alengthV0FAa=a+V1asumV0asumV0Aa<=alengthV0alengthV0Ia=V1c0FF
VC for list_sum
a=V0V1qaeqV0V1F
iamemV3V2qa=V5c1iamemV3V9IamemV3V2Aa=V5c0OamemV3V2Aa=V5c1AamemV3V2IamemV3V9Aa<=alengthV9alengthV2ACfaNila=V10V9aConswVV6Ia=V9V8FIa=aSomeV8atlV6FANa=V6aNilamemV3V13IamemV3V2Aa=V11c0OamemV3V2Aa=V11c1AamemV3V2IamemV3V13Aa<=alengthV13alengthV2ACfaNila=V14V13aConswVV6Ia=V13V12FIa=aSomeV12atlV6FANa=V6aNilIa=V11c1FaeqV3V7Ia=V3V7qaeqV3V7Ia=aSomeV7ahdV6FANa=V6aNilNais_nilV6Ia=V6aNilqais_nilV6IamemV3V6IamemV3V2Aa=V5c0OamemV3V2Aa=V5c1AamemV3V2IamemV3V6Aa<=alengthV6alengthV2FAamemV3V2IamemV3V2Aa=V4c0OamemV3V2Aa=V4c1AamemV3V2IamemV3V2Aa<=alengthV2alengthV2Ia=V4c0FF
VC for list_member

1bbffcb0d30f210197975bc846a6a58b 1H0
4cfadb4a2412f97251de2c02b6016c13 3H2
a58125df1beca1a190a1a462c2eed13c 5H4
fba218a34e95b9d23936f8b90a16e1e4 7H9
a75c45ad8d8cb5f5eb0caabac4a1fb34 7H6
4954cd4a6eeef1b3a6ede64aa57b0a97 7H8
5bd285a413f5e1a2960d96ede9a80f2d 7H12H9
43ac17bc8abed1d851cecee244c0e52f 7H10H9
7df649de09258b9fc98fc3343a7aa9d7 7H11H9
247f15b08b37d437cdf0399f917ec355 14H13H12H9
2790cafd635e7c7dad709071139b4334 16H15H12H9
a495b3688f0beea8679f343dd4d843b2 20H19H18H17H12H9
c8e65a5c6e440592e8e3e82bc15c0bbe 22H21
02de6af7f8c0eb3eb135a7503b13a566 25H24H23
