a?7,c?6,b%5,a%3,a?1
a?7,c?6,b%5,b?3,a?1
c?7,c?6,b%5,a%3,a?1
c?7,c?6,b%5,b?3,a?1
a?7,c?6,b%5,a?2,a?1
a?7,c?6,b%5,b?2,a?1
a?7,c?6,b%5,d%2,a?1
c?7,c?6,b%5,a?2,a?1
c?7,c?6,b%5,b?2,a?1
c?7,c?6,b%5,d%2,a?1
a?7,c?6,b%5,c%4,a?1
c?7,c?6,b%5,c%4,a?1
c?6,b%5,a%3,a?2,a?1
c?6,b%5,a%3,b?2,a?1
c?6,b%5,a%3,d%2,a?1
c?6,b%5,b?3,a?2,a?1
c?6,b%5,b?3,b?2,a?1
c?6,b%5,b?3,d%2,a?1
c?6,b%5,c%4,a%3,a?1
c?6,b%5,c%4,b?3,a?1
c?6,b%5,c%4,a?2,a?1
c?6,b%5,c%4,b?2,a?1
c?6,b%5,c%4,d%2,a?1
c?7,c?6,b%5,c%4,a?1
c?7,b%5,c%4,a%3,a?1
c?7,b%5,c%4,b?3,a?1
c?7,b%5,c%4,a?2,a?1
c?7,b%5,c%4,b?2,a?1
c?7,b%5,c%4,d%2,a?1
c?7,c?6,b%5,a%3,a?1
c?7,c?6,b%5,b?3,a?1
c?7,c?6,b%5,a?2,a?1
c?7,c?6,b%5,b?2,a?1
c?7,c?6,b%5,d%2,a?1
c?7,b%5,a%3,a?2,a?1
c?7,b%5,a%3,b?2,a?1
c?7,b%5,a%3,d%2,a?1
c?7,b%5,b?3,a?2,a?1
c?7,b%5,b?3,b?2,a?1
c?7,b%5,b?3,d%2,a?1
c?6,b%5,c%4,a?2,a?1
a?7,c?6,b%5,c%4,a?2
c?7,c?6,b%5,c%4,a?2
c?6,b%5,c%4,a%3,a?2
c?6,b%5,c%4,b?3,a?2
a?7,c?6,b%5,a?2,a?1
c?7,c?6,b%5,a?2,a?1
c?6,b%5,a%3,a?2,a?1
c?6,b%5,b?3,a?2,a?1
a?7,c?6,b%5,a%3,a?2
a?7,c?6,b%5,b?3,a?2
c?7,c?6,b%5,a%3,a?2
c?7,c?6,b%5,b?3,a?2
c?7,b%5,a%3,a?2,a?1
c?7,b%5,b?3,a?2,a?1
c?7,b%5,c%4,a?2,a?1
c?7,c?6,b%5,a?2,a?1
c?7,b%5,c%4,a%3,a?2
c?7,b%5,c%4,b?3,a?2
c?7,c?6,b%5,a%3,a?2
c?7,c?6,b%5,b?3,a?2
c?7,c?6,b%5,c%4,a?2
a?7,c?6,b%5,c%4,a?2
a?7,c?6,b%5,c%4,b?2
a?7,c?6,b%5,c%4,d%2
a?7,c?6,b%5,a%3,a?2
a?7,c?6,b%5,b?3,a?2
a?7,c?6,b%5,a%3,b?2
a?7,c?6,b%5,b?3,b?2
a?7,c?6,b%5,a%3,d%2
a?7,c?6,b%5,b?3,d%2
a?7,c?6,b%5,a?2,a?1
a?7,c?6,b%5,b?2,a?1
a?7,c?6,b%5,d%2,a?1
a?7,c?6,b%5,c%4,a%3
a?7,c?6,b%5,c%4,b?3
a?7,c?6,b%5,c%4,a?1
a?7,c?6,b%5,a%3,a?1
a?7,c?6,b%5,b?3,a?1