switch-lemma-degree3

Files of ancillary/experiments/switch-lemma-degree3/ (what the code computes):

• aa.py
• arbG.py
• deep3.py
• deep3_result.json
• grad.py
• grad3aa.py
• verified_leaves_33,33,34_0.15290030000000002.json
• verified_leaves_33,34,34_0.165616.json
• verify-output.txt
• verify.py