fingerprint: "4F0C498701A41F4D9CA677EA763FD8CA45348E97",
color: randomColor(),
}, { name: "AlGrothendieck1",
- fingerprint: "8E6EDA78D8E3ABA88D877C3E37D6D4F0938C7B9F",
+ fingerprint: "47EC4211A4A66768224BC18912AF8FB6E880003C",
color: randomColor(),
}, { name: "AlGrothendieck2",
fingerprint: "59F2831A9BEB7AB3D5803445F946EA9FEEEFA217",