a=aV0V2c0Ia<V2alengthV0Aa<=c0V2FIa>c0a+V1c1Aa=aV3V4c0Ia<V4alengthV3Aa<=c0V4FIa=aV3V5c0Ia<V5a+V1c1Aa<=c0V5FAa=aV7V8c0Ia<V8a+V6c1Aa<=c0V8FIa=V7aV3V6c0Aa=aeltsV7asetaeltsV3V6c0Ia=alengthV7alengthV3FAa<V6alengthV3Aa<=c0V6Ia=aV3V9c0Ia<V9V6Aa<=c0V9FAa<=V6V1Aa<=c0V6FIa=alengthV3alengthV0FAa=aV0V10c0Ia<V10c0Aa<=c0V10FIa<=c0a+V1c1La-alengthV0c1F
VC for set_zeros
a=aV1c12c0Aa=alengthV1c42Ia=aV1V2c0Ia<V2alengthV1Aa<=c0V2FIa=alengthV1alengthV0FIa=alengthV0c42Aa=aV0V3c1Ia<V3c42Aa<=c0V3FFAa>=c42c0
VC for harness
aall_zerosV0alengthV0qtIa>c0a+V1c1Aaall_zerosV0alengthV0qa=V2aTrueIaall_zerosV0a+V1c1qa=V2aTrueAiaall_zerosV0a+V3c1qa=V2aTrueaall_zerosV0a+V3c1qa=V4aTrueIa=V4aFalseFNa=aV0V3c0Aa<V3alengthV0Aa<=c0V3Iaall_zerosV0V3qa=V2aTrueAa<=V3V1Aa<=c0V3FFAaall_zerosV0c0qtIa<=c0a+V1c1La-alengthV0c1F
VC for all_zeros1
iaall_zerosV0alengthV0qa=V2aTrueaall_zerosV0V4qa=V3aTrueAa<=V4alengthV0Aa<=c0V4Aa<a-alengthV0V4a-alengthV0V1Aa<=c0a-alengthV0V1Ia=V4a+V1c1FIa=V3iaFalseaTruea=aV0V1c0FAa<V1alengthV0Aa<=c0V1a<V1alengthV0Aa=V2aTrueIaall_zerosV0V1qa=V2aTrueAa<=V1alengthV0Aa<=c0V1FAaall_zerosV0c0qtAa<=c0alengthV0Aa<=c0c0F
VC for all_zeros2
iaall_zerosV0alengthV0qa=V1alengthV0aall_zerosV0V2Aa<=V2alengthV0Aa<=c0V2Aa<a-alengthV0V2a-alengthV0V1Aa<=c0a-alengthV0V1Ia=V2a+V1c1Fa=aV0V1c0Aa<V1alengthV0Aa<V1alengthV0Aa<=c0V1Ia<V1alengthV0Iaall_zerosV0V1Aa<=V1alengthV0Aa<=c0V1FAaall_zerosV0c0Aa<=c0alengthV0Aa<=c0c0F
VC for all_zeros3
aall_zerosV0alengthV0qaall_zerosV0alengthV0Aaall_zerosV0c0Aa<=c0alengthV0Aa<=c0c0Aaall_zerosV0alengthV0qa=V2aTrueIia=V2iaFalseiaFalseaTrueaall_zerosV0alengthV0a=aV0V1c0a=V2aTruea=V1alengthV0FAaall_zerosV0V3Aa<=V3alengthV0Aa<=c0V3Aa<a-alengthV0V3a-alengthV0V1Aa<=c0a-alengthV0V1La+V1c1Ia=aV0V1c0Aa<V1alengthV0Aa<=c0V1INa=V1alengthV0Iaall_zerosV0V1Aa<=V1alengthV0Aa<=c0V1FF
VC for all_zeros4
aall_zerosV0alengthV0qazero_intervalV0c0V1Aa<=V1alengthV0Aa<=c0V1Aa<=c0c0LalengthV0Aazero_intervalV0V2V3qa=V4aTrueIiia=V4aFalsea=V4iaFalseiaFalseaTrueazero_intervalV0a+V5c1V3azero_intervalV0V2V5a=aV0V5c0La+V2adiva-V3V2c2a=V4aTruea<=V3V2FAa<=V3alengthV0Aa<=V7V3Aa<=c0V7Aa<a-V3V7a-V3V2Aa<=c0a-V3V2La+V6c1Iazero_intervalV0V2V6Aa<=V6alengthV0Aa<=V2V6Aa<=c0V2Aa<a-V6V2a-V3V2Aa<=c0a-V3V2Ia=aV0V6c0Aa<V6alengthV0Aa<=c0V6La+V2adiva-V3V2c2ANa=c2c0INa<=V3V2Ia<=V3alengthV0Aa<=V2V3Aa<=c0V2FF
VC for all_zeros5

ff51b08c16727183e5910407317d428b 1H0
9b89e3c6f00b857873245aa7a0141841 3H2
6a766fa5992d7a14484e3e05179e8235 5H4
d66130dec35e33b18627575093617ee0 7H6
49c9d20e280c412ee16e5baef086ba75 9H8
ba3af255b83247df9a7c95d4df4793c6 11H10
f7c253f5998d04b45453bcbc8add3b52 13H12
