X ( 1 , 31 , 2 , 30 ) X ( 2 , 46 , 3 , 45 ) X ( 3 , 61 , 4 , 60 ) X ( 8 , 24 , 9 , 23 ) X ( 9 , 39 , 10 , 38 ) X ( 10 , 54 , 11 , 53 ) X ( 11 , 69 , 12 , 68 ) X ( 16 , 32 , 17 , 31 ) X ( 17 , 47 , 18 , 46 ) X ( 18 , 62 , 19 , 61 ) X ( 19 , 5 , 20 , 4 ) X ( 24 , 40 , 25 , 39 ) X ( 25 , 55 , 26 , 54 ) X ( 26 , 70 , 27 , 69 ) X ( 27 , 13 , 28 , 12 ) X ( 32 , 48 , 33 , 47 ) X ( 33 , 63 , 34 , 62 ) X ( 34 , 6 , 35 , 5 ) X ( 35 , 21 , 36 , 20 ) X ( 40 , 56 , 41 , 55 ) X ( 41 , 71 , 42 , 70 ) X ( 42 , 14 , 43 , 13 ) X ( 43 , 29 , 44 , 28 ) X ( 48 , 64 , 49 , 63 ) X ( 49 , 7 , 50 , 6 ) X ( 50 , 22 , 51 , 21 ) X ( 51 , 37 , 52 , 36 ) X ( 56 , 72 , 57 , 71 ) X ( 57 , 15 , 58 , 14 ) X ( 58 , 30 , 59 , 29 ) X ( 59 , 45 , 60 , 44 ) X ( 64 , 8 , 65 , 7 ) X ( 65 , 23 , 66 , 22 ) X ( 66 , 38 , 67 , 37 ) X ( 67 , 53 , 68 , 52 ) X ( 72 , 16 , 1 , 15 ) {\displaystyle X(1,31,2,30)X(2,46,3,45)X(3,61,4,60)X(8,24,9,23)X(9,39,10,38)X(10,54,11,53)X(11,69,12,68)X(16,32,17,31)X(17,47,18,46)X(18,62,19,61)X(19,5,20,4)X(24,40,25,39)X(25,55,26,54)X(26,70,27,69)X(27,13,28,12)X(32,48,33,47)X(33,63,34,62)X(34,6,35,5)X(35,21,36,20)X(40,56,41,55)X(41,71,42,70)X(42,14,43,13)X(43,29,44,28)X(48,64,49,63)X(49,7,50,6)X(50,22,51,21)X(51,37,52,36)X(56,72,57,71)X(57,15,58,14)X(58,30,59,29)X(59,45,60,44)X(64,8,65,7)X(65,23,66,22)X(66,38,67,37)X(67,53,68,52)X(72,16,1,15)}
