- }, { name: "elenagb1",
- fingerprint: "4B8F0F8BB18F1D9ADC1FE7E54B3D3D605C1919A7",
- color: randomColor(),
- }, { name: "elenagb2",
- fingerprint: "CBCA0D732C95AF4F6A37DCCC4879105E426B80C9",
- color: randomColor(),
- }, { name: "elenagb3",
- fingerprint: "324053C8A296BF31A4A908CB407545DA92DF32F8",
- color: randomColor(),
- }, { name: "elenagb4",
- fingerprint: "4A39E7D2C121F664CFD9B5DF80CE9E70BB8B3C16",
- color: randomColor(),
- }, { name: "mwittig1",
- fingerprint: "4786418EA43CFD6AA6C7E14B3E74637C6989F658",
- color: randomColor(),
- }, { name: "mwittig2",
- fingerprint: "19A52F4F5BCB0A9C0314BB2D39C7296ED6F76D4F",
- color: randomColor(),
+ }, { name: "AlGrothendieck3",
+ fingerprint: "042944E139508E6A8495AA1F6F320D1087D84930",
+ color: randomColor(),
+ }, { name: "AlGrothendieck4",
+ fingerprint: "37C984BB069C29573FB8F9F6C610DC14763B5305",
+ color: randomColor(),
+ }, { name: "elenagb1",
+ fingerprint: "4B8F0F8BB18F1D9ADC1FE7E54B3D3D605C1919A7",
+ color: randomColor(),
+ }, { name: "elenagb2",
+ fingerprint: "CBCA0D732C95AF4F6A37DCCC4879105E426B80C9",
+ color: randomColor(),
+ }, { name: "elenagb3",
+ fingerprint: "324053C8A296BF31A4A908CB407545DA92DF32F8",
+ color: randomColor(),
+ }, { name: "elenagb4",
+ fingerprint: "4A39E7D2C121F664CFD9B5DF80CE9E70BB8B3C16",
+ color: randomColor(),
+ }, { name: "mwittig1",
+ fingerprint: "4786418EA43CFD6AA6C7E14B3E74637C6989F658",
+ color: randomColor(),
+ }, { name: "mwittig2",
+ fingerprint: "19A52F4F5BCB0A9C0314BB2D39C7296ED6F76D4F",
+ color: randomColor(),