Q3 := array(0 .. 2, 0 .. 2,[(2, 1)=0,(0, 0)=0,(2, 2)=2,(0, 1)=2,(0, 2)=1,(1, 0 )=2,(1, 1)=1,(1, 2)=0,(2, 0)=1]); Q4_1 := array(0 .. 3, 0 .. 3,[(2, 1)=0,(0, 0)=0,(3, 3)=3,(1, 3)=1,(2, 2)=2,(0, 1)=2,(3, 2)=3,(0, 2)=1,(1, 0)=2,(0, 3)=0,(2, 3)=2,(1, 1)=1,(3, 0)=3,(1, 2)=0,( 3, 1)=3,(2, 0)=1]); Q4_2 := array(0 .. 3, 0 .. 3,[(2, 1)=3,(0, 0)=0,(3, 3)=3,(1, 3)=0,(2, 2)=2,(0, 1)=0,(3, 2)=3,(0, 2)=1,(1, 0)=1,(0, 3)=1,(2, 3)=2,(1, 1)=1,(3, 0)=2,(1, 2)=0,( 3, 1)=2,(2, 0)=3]); Q4_3 := array(0 .. 3, 0 .. 3,[(2, 1)=0,(0, 0)=0,(3, 3)=3,(1, 3)=0,(2, 2)=2,(0, 1)=3,(3, 2)=0,(0, 2)=1,(1, 0)=2,(0, 3)=2,(2, 3)=1,(1, 1)=1,(3, 0)=1,(1, 2)=3,( 3, 1)=2,(2, 0)=3]); Q5_1 := array(0 .. 4, 0 .. 4,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 3)=3,(1, 3)=1,(2, 4)=3,(2, 2)=2,(4, 2)=3,(0, 1)=0,(3, 2)=4,(4, 3)=2,(0, 2)=0,(4, 4)=4,(1, 0)=1,( 1, 4)=1,(0, 3)=0,(2, 3)=4,(1, 1)=1,(3, 0)=3,(1, 2)=1,(3, 4)=2,(0, 4)=0,(3, 1)= 3,(2, 0)=2,(4, 0)=4]); Q5_5 := array(0 .. 4, 0 .. 4,[(2, 1)=4,(4, 1)=3,(0, 0)=0,(3, 3)=3,(1, 3)=0,(2, 4)=3,(2, 2)=2,(4, 2)=3,(0, 1)=0,(3, 2)=4,(4, 3)=2,(0, 2)=1,(4, 4)=4,(1, 0)=1,( 1, 4)=0,(0, 3)=1,(2, 3)=4,(1, 1)=1,(3, 0)=4,(1, 2)=0,(3, 4)=2,(0, 4)=1,(3, 1)= 2,(2, 0)=3,(4, 0)=2]); Q5_2 := array(0 .. 4, 0 .. 4,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 3)=3,(1, 3)=0,(2, 4)=3,(2, 2)=2,(4, 2)=3,(0, 1)=0,(3, 2)=4,(4, 3)=2,(0, 2)=1,(4, 4)=4,(1, 0)=1,( 1, 4)=0,(0, 3)=1,(2, 3)=4,(1, 1)=1,(3, 0)=3,(1, 2)=0,(3, 4)=2,(0, 4)=1,(3, 1)= 3,(2, 0)=2,(4, 0)=4]); Q5_3 := array(0 .. 4, 0 .. 4,[(2, 1)=2,(4, 1)=3,(0, 0)=0,(3, 3)=3,(1, 3)=2,(2, 4)=1,(2, 2)=2,(4, 2)=3,(0, 1)=0,(3, 2)=4,(4, 3)=4,(0, 2)=0,(4, 4)=4,(1, 0)=1,( 1, 4)=2,(0, 3)=0,(2, 3)=1,(1, 1)=1,(3, 0)=3,(1, 2)=1,(3, 4)=3,(0, 4)=0,(3, 1)= 4,(2, 0)=2,(4, 0)=4]); Q5_4 := array(0 .. 4, 0 .. 4,[(2, 1)=3,(4, 1)=2,(0, 0)=0,(3, 3)=3,(1, 3)=2,(2, 4)=1,(2, 2)=2,(4, 2)=3,(0, 1)=0,(3, 2)=1,(4, 3)=1,(0, 2)=0,(4, 4)=4,(1, 0)=1,( 1, 4)=3,(0, 3)=0,(2, 3)=4,(1, 1)=1,(3, 0)=3,(1, 2)=4,(3, 4)=2,(0, 4)=0,(3, 1)= 4,(2, 0)=2,(4, 0)=4]); Q5_6 := array(0 .. 4, 0 .. 4,[(2, 1)=4,(4, 1)=2,(0, 0)=0,(3, 3)=3,(1, 3)=4,(2, 4)=3,(2, 2)=2,(4, 2)=0,(0, 1)=3,(3, 2)=1,(4, 3)=1,(0, 2)=4,(4, 4)=4,(1, 0)=2,( 1, 4)=0,(0, 3)=2,(2, 3)=0,(1, 1)=1,(3, 0)=4,(1, 2)=3,(3, 4)=2,(0, 4)=1,(3, 1)= 0,(2, 0)=1,(4, 0)=3]); Q6_1 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1, 3)=1,(5, 5)=5,(2, 4)=2,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=2,(4, 5)=3,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=0,(5, 1)= 5,(2, 3)=2,(1, 1)=1,(0, 5)=0,(5, 2)=5,(3, 0)=3,(1, 2)=1,(3, 4)=5,(0, 4)=0,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=3]); Q6_2 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1, 3)=2,(5, 5)=5,(2, 4)=1,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=1,(4, 5)=3,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=2,(1, 5)=2,(0, 3)=0,(5, 1)= 5,(2, 3)=1,(1, 1)=1,(0, 5)=0,(5, 2)=5,(3, 0)=3,(1, 2)=1,(3, 4)=5,(0, 4)=0,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=3]); Q6_3 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1, 3)=2,(5, 5)=5,(2, 4)=2,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=0,(4, 5)=3,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=1,(0, 3)=0,(5, 1)= 5,(2, 3)=1,(1, 1)=1,(0, 5)=2,(5, 2)=5,(3, 0)=3,(1, 2)=1,(3, 4)=5,(0, 4)=1,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=3]); Q6_4 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1, 3)=2,(5, 5)=5,(2, 4)=0,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=0,(4, 5)=3,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=2,(1, 5)=2,(0, 3)=1,(5, 1)= 5,(2, 3)=0,(1, 1)=1,(0, 5)=1,(5, 2)=5,(3, 0)=3,(1, 2)=1,(3, 4)=5,(0, 4)=1,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=3]); Q6_5 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1, 3)=1,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=0,(5, 1)= 5,(2, 3)=2,(1, 1)=1,(0, 5)=0,(5, 2)=4,(3, 0)=3,(1, 2)=1,(3, 4)=2,(0, 4)=0,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=5]); Q6_6 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1, 3)=1,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4,( 4, 3)=5,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=0,(5, 1)= 5,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=3,(1, 2)=1,(3, 4)=2,(0, 4)=1,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=5]); Q6_7 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=3,(3, 3)=3,(1, 3)=0,(5, 5)=5,(2, 4)=5,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=4,(4, 5)=2,( 4, 3)=4,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=1,(5, 1)= 5,(2, 3)=2,(1, 1)=1,(0, 5)=0,(5, 2)=4,(3, 0)=3,(1, 2)=1,(3, 4)=3,(0, 4)=0,(5, 3)=5,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=2]); Q6_8 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1, 3)=1,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=4,(2, 5)=4,(4, 5)=3,( 4, 3)=2,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=0,(5, 1)= 5,(2, 3)=5,(1, 1)=1,(0, 5)=0,(5, 2)=3,(3, 0)=3,(1, 2)=1,(3, 4)=5,(0, 4)=0,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=2]); Q6_9 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1, 3)=0,(5, 5)=5,(2, 4)=2,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=2,(4, 5)=3,( 4, 3)=5,(0, 2)=1,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1)= 5,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=5,(3, 0)=3,(1, 2)=0,(3, 4)=5,(0, 4)=1,(5, 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=3]); Q6_10 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=5,(0, 2)=1,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1 )=5,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=3,(1, 2)=0,(3, 4)=2,(0, 4)=1,(5 , 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=5]); Q6_11 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=4,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=4,(2, 5)=4,(4, 5)=3 ,(4, 3)=2,(0, 2)=1,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1 )=5,(2, 3)=5,(1, 1)=1,(0, 5)=1,(5, 2)=3,(3, 0)=3,(1, 2)=0,(3, 4)=5,(0, 4)=1,(5 , 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=4,(5, 4)=2]); Q6_12 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=5,(0, 0)=0,(3, 5)=4,(3, 3)=3,(1 , 3)=5,(5, 5)=5,(2, 4)=5,(2, 2)=2,(4, 2)=1,(0, 1)=0,(3, 2)=5,(2, 5)=1,(4, 5)=3 ,(4, 3)=2,(0, 2)=0,(5, 0)=5,(4, 4)=4,(1, 0)=1,(1, 4)=3,(1, 5)=2,(0, 3)=0,(5, 1 )=4,(2, 3)=4,(1, 1)=1,(0, 5)=0,(5, 2)=3,(3, 0)=3,(1, 2)=4,(3, 4)=1,(0, 4)=0,(5 , 3)=1,(3, 1)=2,(2, 0)=2,(4, 0)=4,(5, 4)=2]); Q6_13 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=1,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=5,(0, 2)=0,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=0,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=3,(1, 2)=1,(3, 4)=2,(0, 4)=1,(5 , 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_14 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=0,(3, 3)=3,(1 , 3)=1,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=5,(0, 2)=0,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=2,(1, 5)=2,(0, 3)=0,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=3,(1, 2)=1,(3, 4)=0,(0, 4)=1,(5 , 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_15 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=4,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=0,(5, 2)=5,(3, 0)=3,(1, 2)=0,(3, 4)=2,(0, 4)=0,(5 , 3)=5,(3, 1)=3,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_16 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=4,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=5,(3, 0)=3,(1, 2)=0,(3, 4)=2,(0, 4)=1,(5 , 3)=5,(3, 1)=3,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_17 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=5,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=3,(1, 2)=0,(3, 4)=2,(0, 4)=1,(5 , 3)=4,(3, 1)=3,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_18 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=4,(0, 0)=0,(3, 5)=3,(3, 3)=3,(1 , 3)=2,(5, 5)=5,(2, 4)=2,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=1,(2, 5)=2,(4, 5)=0 ,(4, 3)=4,(0, 2)=0,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=1,(1, 5)=1,(0, 3)=0,(5, 1 )=5,(2, 3)=1,(1, 1)=1,(0, 5)=4,(5, 2)=5,(3, 0)=3,(1, 2)=3,(3, 4)=3,(0, 4)=5,(5 , 3)=5,(3, 1)=2,(2, 0)=2,(4, 0)=5,(5, 4)=0]); Q6_19 := array(0 .. 5, 0 .. 5,[(2, 1)=2,(4, 1)=5,(0, 0)=0,(3, 5)=3,(3, 3)=3,(1 , 3)=2,(5, 5)=5,(2, 4)=0,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=4,(2, 5)=0,(4, 5)=4 ,(4, 3)=4,(0, 2)=0,(5, 0)=3,(4, 4)=4,(1, 0)=1,(1, 4)=2,(1, 5)=2,(0, 3)=1,(5, 1 )=3,(2, 3)=0,(1, 1)=1,(0, 5)=1,(5, 2)=3,(3, 0)=4,(1, 2)=1,(3, 4)=3,(0, 4)=1,(5 , 3)=5,(3, 1)=4,(2, 0)=2,(4, 0)=5,(5, 4)=5]); Q6_20 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=5,(0, 0)=0,(3, 5)=2,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=3,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=3,(4, 5)=4 ,(4, 3)=5,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=0,(1, 5)=0,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=1,(5, 2)=4,(3, 0)=2,(1, 2)=0,(3, 4)=2,(0, 4)=1,(5 , 3)=4,(3, 1)=2,(2, 0)=3,(4, 0)=5,(5, 4)=5]); Q6_21 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=5,(0, 0)=0,(3, 5)=0,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=0,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=1,(4, 5)=4 ,(4, 3)=5,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=3,(1, 5)=2,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=3,(5, 2)=4,(3, 0)=2,(1, 2)=0,(3, 4)=1,(0, 4)=2,(5 , 3)=4,(3, 1)=2,(2, 0)=3,(4, 0)=5,(5, 4)=5]); Q6_22 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=5,(0, 0)=0,(3, 5)=1,(3, 3)=3,(1 , 3)=0,(5, 5)=5,(2, 4)=1,(2, 2)=2,(4, 2)=5,(0, 1)=0,(3, 2)=3,(2, 5)=0,(4, 5)=4 ,(4, 3)=5,(0, 2)=1,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=3,(1, 5)=2,(0, 3)=1,(5, 1 )=4,(2, 3)=2,(1, 1)=1,(0, 5)=3,(5, 2)=4,(3, 0)=2,(1, 2)=0,(3, 4)=0,(0, 4)=2,(5 , 3)=4,(3, 1)=2,(2, 0)=3,(4, 0)=5,(5, 4)=5]); Q6_23 := array(0 .. 5, 0 .. 5,[(2, 1)=3,(4, 1)=5,(0, 0)=0,(3, 5)=0,(3, 3)=3,(1 , 3)=5,(5, 5)=5,(2, 4)=0,(2, 2)=2,(4, 2)=1,(0, 1)=0,(3, 2)=0,(2, 5)=2,(4, 5)=1 ,(4, 3)=4,(0, 2)=3,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=5,(1, 5)=4,(0, 3)=2,(5, 1 )=4,(2, 3)=0,(1, 1)=1,(0, 5)=3,(5, 2)=5,(3, 0)=2,(1, 2)=4,(3, 4)=3,(0, 4)=2,(5 , 3)=1,(3, 1)=2,(2, 0)=3,(4, 0)=5,(5, 4)=1]); Q6_24 := array(0 .. 5, 0 .. 5,[(2, 1)=4,(4, 1)=2,(0, 0)=0,(3, 5)=1,(3, 3)=3,(1 , 3)=5,(5, 5)=5,(2, 4)=1,(2, 2)=2,(4, 2)=1,(0, 1)=0,(3, 2)=0,(2, 5)=2,(4, 5)=0 ,(4, 3)=4,(0, 2)=3,(5, 0)=4,(4, 4)=4,(1, 0)=1,(1, 4)=2,(1, 5)=3,(0, 3)=2,(5, 1 )=3,(2, 3)=0,(1, 1)=1,(0, 5)=4,(5, 2)=5,(3, 0)=2,(1, 2)=4,(3, 4)=3,(0, 4)=5,(5 , 3)=1,(3, 1)=5,(2, 0)=3,(4, 0)=5,(5, 4)=0]); Q6_25 := array(0 .. 5, 0 .. 5,[(2, 1)=5,(4, 1)=3,(0, 0)=0,(3, 5)=3,(3, 3)=3,(1 , 3)=4,(5, 5)=5,(2, 4)=2,(2, 2)=2,(4, 2)=4,(0, 1)=0,(3, 2)=0,(2, 5)=0,(4, 5)=1 ,(4, 3)=0,(0, 2)=5,(5, 0)=2,(4, 4)=4,(1, 0)=1,(1, 4)=5,(1, 5)=2,(0, 3)=2,(5, 1 )=4,(2, 3)=1,(1, 1)=1,(0, 5)=4,(5, 2)=1,(3, 0)=4,(1, 2)=3,(3, 4)=1,(0, 4)=3,(5 , 3)=5,(3, 1)=2,(2, 0)=3,(4, 0)=5,(5, 4)=0]);