I'll look in the cpp files later.
Just to be sure, we do have a math issue here. 5 AI are known to us. If we stick with this, that's 4 contacts for all AIs (assuming for now no others).
Capac knows 2 other AIs with Math (Liz, Asoka). Let's assume ("best" case) no other AI (unkown to us has it). Call N the number of contacts Capac has:
we know that 2*100/N < 30 (rounded first). 200/6=33 which would be fine, 200/7=28 which denies us trading.
So Capac has 3 more contacts, none of them with math. If some of them have math, then it becomes tougher to gather.
math knowing AIs (excluding him) -> Capac contacts
2 -> 7
3 -> 11
4 -> 14
5 -> 17 not possible.
Since Asoka is willing to trade he has (same notation):
2 -> 11 would deny us trade so Asoka has 10 contacts or less
3 -> Anything (since that would be 16 contacts, more than doable).
So we know that Capac has at least 3 more contacts. We cannot go further really since if there is another AI with Math Asoka would trade all the time.
Niklas how do you upload images right now ? Made a spreadsheet explaining myself much better