s= 1 claim: (1,2) coplanar   orbit   35 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 3  ok
s= 2 claim: (1,2) coplanar   orbit  315 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 3 claim: (1,2) coplanar   orbit  105 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 3 claim: (2,3) pseudostar orbit  420 | mine: (2,3) pseudostar ACM True dim I2_(a+1) = 1  ok
s= 3 claim: (1,2) coplanar   orbit  420 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 4 claim: (1,2) coplanar   orbit  420 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 4 claim: (1,2) coplanar   orbit  105 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 5 claim: (1,2) coplanar   orbit  315 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 6 claim: (3,4) pseudostar orbit  105 | mine: (3,4) pseudostar ACM True dim I2_(a+1) = 1  ok
s= 6 claim: (1,2) coplanar   orbit  105 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s= 6 claim: (3,4) pseudostar orbit  840 | mine: (3,4) pseudostar ACM True dim I2_(a+1) = 1  ok
s= 7 claim: (1,2) coplanar   orbit   15 | mine: (1,2) coplanar   ACM True dim I2_(a+1) = 1  ok
s=10 claim: (4,5) pseudostar orbit  840 | mine: (4,5) pseudostar ACM True dim I2_(a+1) = 1  ok
s=10 claim: (4,5) pseudostar orbit  168 | mine: (4,5) pseudostar ACM True dim I2_(a+1) = 1  ok
s=15 claim: (5,6) pseudostar orbit  420 | mine: (5,6) pseudostar ACM True dim I2_(a+1) = 1  ok
s=21 claim: (6,7) pseudostar orbit  120 | mine: (6,7) pseudostar ACM True dim I2_(a+1) = 1  ok
s=28 claim: (7,8) pseudostar orbit   15 | mine: (7,8) pseudostar ACM True dim I2_(a+1) = 1  ok
sum of orbit sizes in the claim's list: {'coplanar': 1835, 'pseudostar': 2928} total 4763
ALL 17 REPRESENTATIVES AGREE
