}, { name: "marcuse8",
fingerprint: "44D1929690CF1DEF95C5D1F4F66281CF18311618",
color: randomColor(),
+ }, { name: "marcuse9",
+ fingerprint: "196C05BF08CC248EE563B49D36CAC89793AFBC5E",
+ color: randomColor(),
+ }, { name: "marcuse10",
+ fingerprint: "16E09CB06617A7215885B6C7C8436B1F8D07960F",
+ color: randomColor(),
+ }, { name: "marcuse11",
+ fingerprint: "11C7F8EEEE7445618DD7DE562F7D1218B5DB4B2E",
+ color: randomColor(),
+ }, { name: "marcuse12",
+ fingerprint: "746FDA7D7F633FF88BF735416A42E472D630D868",
+ color: randomColor(),
+ }, { name: "marcuse13",
+ fingerprint: "78AD6EAF6904E777103629D6579766DB6466AA3E",
+ color: randomColor(),
+ }, { name: "marcuse14",
+ fingerprint: "B8348F1E967D9A432F2D03E572DEF76FB25F04D3",
+ color: randomColor(),
+ }, { name: "marcuse15",
+ fingerprint: "65935A863C1652AFD7A8FDB7C5D1ACCF562E2BFD",
+ color: randomColor(),
+ }, { name: "marcuse16",
+ fingerprint: "F2A0F204670965A947A1AE5E2867C752E714032F",
+ color: randomColor(),
}, { name: "ekumen",
fingerprint: "9BA84E8C90083676F86C7427C8D105925F13716C",
color: randomColor(),
}, { name: "AlGrothendieck2",
fingerprint: "59F2831A9BEB7AB3D5803445F946EA9FEEEFA217",
color: randomColor(),
- }, { name: "elenagb",
- fingerprint: "F47B13BFCE4EF48CDEF6C4D7C7A99208EBB972B5",
- color: randomColor(),
- }, { name: "mwittig",
- fingerprint: "B580111855B9C452EB224CA7932B626E28D3C2EA",
- 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(),
}, { name: "arecoque1",
fingerprint: "CD1FD2C1F330A3293DA6068E6A23866D063D6DCB",
color: randomColor(),