< a,b,c,ab,ac,ba,ca,cab,bac| 
  b*c=c*b, a*b*a = b*a*b, a*c*a=c*a*c, (a*b*c)^4 = 1,
  ab=a*b, ac=a*c, ba=b*a, ca=c*a, cab=c*a*b, bac=b*a*c>
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9]
[1,1,1,1,1,1,1,3,1,3,3,1,3,1,1,1,1,1]
/tmp/KBmagAAAa28272.diff2 := rec(
           isFSA := true,
        alphabet := rec(
                type := "product",
                size := 360,
               arity := 2,
             padding := _,
                base := rec(
                    type := "identifiers",
                    size := 18,
                  format := "dense",
                   names := [a,a^-1,b,b^-1,c,c^-1,ab,ab^-1,ac,ac^-1,ba,ba^-1,ca,ca^-1,cab,cab^-1,bac,bac^-1]
                   )
               ),
          states := rec(
                type := "words",
                size := 93,
            alphabet := [a,a^-1,b,b^-1,c,c^-1,ab,ab^-1,ac,ac^-1,ba,ba^-1,ca,ca^-1,cab,cab^-1,bac,bac^-1],
              format := "sparse",
               names := [
                [1,IdWord],
                [2,a^-1],
                [3,a],
                [4,b^-1],
                [5,b],
                [6,c^-1],
                [7,c],
                [8,cab^-1],
                [9,cab],
                [10,bac^-1],
                [11,bac],
                [12,c^-1*a^-1],
                [13,b*c^-1],
                [14,b^-1*a^-1],
                [15,b^-1*ba^-1],
                [16,cab^-1*b^-1*ba^-1*bac^-1],
                [17,c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1],
                [18,ca^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1],
                [19,b*a],
                [20,b^-1*c^-1],
                [21,b*c],
                [22,a*c^-1*a^-1],
                [23,c^-1*ca^-1],
                [24,c*a],
                [25,ca^-1],
                [26,a*b^-1*a^-1],
                [27,ab],
                [28,ac],
                [29,ba^-1],
                [30,b^-1*c],
                [31,c*ac],
                [32,a^-1*c*a],
                [33,b*ab],
                [34,a^-1*b*a],
                [35,cab*cab],
                [36,b^-1*bac^-1],
                [37,b^-1*ba^-1*bac^-1*c^-1],
                [38,cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1],
                [39,c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1],
                [40,bac*b],
                [41,ca^-1*cab^-1],
                [42,b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b],
                [43,b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b],
                [44,b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b],
                [45,b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b],
                [46,b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b],
                [47,b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b],
                [48,b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b],
                [49,b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b],
                [50,b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b],
                [51,b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b],
                [52,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b],
                [53,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b],
                [54,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b],
                [55,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b],
                [56,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b],
                [57,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b],
                [58,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b],
                [59,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b],
                [60,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b],
                [61,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b],
                [62,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*b],
                [63,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*b],
                [64,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*b*b],
                [65,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*b*\
b],
                [66,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*b*\
b*b],
                [67,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*\
b*b*b],
                [68,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*b*\
b*b*b*b],
                [69,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*\
b*b*b*b*b],
                [70,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*b*\
b*b*b*b*b*b],
                [71,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*\
b*b*b*b*b*b*b],
                [72,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*b*\
b*b*b*b*b*b*b*b],
                [73,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b],
                [74,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b],
                [75,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b],
                [76,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b],
                [77,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b],
                [78,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [79,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [80,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [81,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [82,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [83,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [84,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [85,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [86,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*b*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [87,b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*b^-1*c^-1*cab^-1*b^-1*ba^-1*bac^-1*c^-1*a^-1*\
b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b*b],
                [88,c^-1*cab^-1*b^-1*ba^-1*bac^-1],
                [89,c^-1*ac],
                [90,b^-1*ab],
                [91,c*ca^-1],
                [92,b*ba^-1],
                [93,cab*c*a]
              ]
               ),
           flags := ["DFA"],
         initial := [1],
       accepting := [1],
           table := rec(
      numTransitions := 3909,
              format := "sparse",
         transitions := [[[1,1],[4,29],[6,25],[7,5],[8,15],[9,7],
                          [10,23],[11,34],[13,32],[19,2],[21,1],[22,27],[24,28],
                          [27,26],[29,22],[30,33],[31,4],[32,31],[33,6],[38,3],
                          [40,14],[41,1],[43,30],[44,20],[45,90],[49,3],[50,15],
                          [52,8],[55,28],[56,36],[57,4],[58,19],[61,1],[62,21],
                          [63,13],[64,33],[65,2],[66,11],[69,92],[73,25],[76,5],
                          [78,12],[79,13],[80,20],[81,1],[85,89],[88,10],[89,3],
                          [90,23],[91,27],[95,6],[96,24],[98,21],[99,30],[101,1],
                          [102,9],[104,31],[105,2],[109,91],[113,29],[114,7],[115,4],
                          [117,26],[118,15],[120,8],[121,1],[123,30],[133,14],[134,33],
                          [135,90],[137,3],[141,1],[149,6],[152,27],[153,6],[156,10],
                          [157,22],[158,23],[159,13],[161,1],[171,12],[172,31],[173,89],
                          [177,3],[181,1],[189,4],[190,28],[191,92],[192,15],[193,2],
                          [201,1],[207,7],[209,29],[211,5],[212,33],[213,34],[214,11],
                          [221,1],[223,13],[228,19],[229,91],[230,23],[233,2],[241,1],
                          [243,5],[244,41],[247,25],[249,7],[250,9],[252,31],[253,32],
                          [259,30],[261,1],[266,24],[271,14],[279,4],[281,1],[282,35],
                          [285,8],[289,24],[293,7],[298,93],[300,35],[301,1],[304,9],
                          [307,12],[315,6],[321,1],[323,10],[326,40],[329,19],[333,5],
                          [341,1],[342,11],[343,3],[344,2],[345,5],[346,4],[347,7],
                          [348,6],[349,27],[350,14],[351,28],[352,12],[353,19],[354,29],
                          [355,24],[356,25],[357,9],[358,8],[359,11],[360,10]],
                         [[1,2],[20,3],[21,2],[22,5],[23,4],[24,7],
                          [25,6],[26,27],[27,14],[28,28],[29,12],[30,19],[31,29],
                          [32,24],[33,25],[34,9],[35,8],[36,11],[37,10],[38,1],
                          [39,4],[41,26],[42,15],[44,8],[45,1],[47,30],[57,14],
                          [58,5],[61,92],[65,29],[66,21],[77,6],[80,10],[81,22],
                          [82,23],[83,13],[85,1],[95,12],[96,7],[101,91],[102,21],
                          [105,25],[115,14],[121,26],[134,27],[141,4],[149,20],[152,90],
                          [153,12],[161,22],[172,28],[181,6],[189,20],[190,89],[191,29],
                          [193,14],[197,2],[201,4],[207,30],[209,15],[210,19],[213,1],
                          [214,21],[215,13],[216,33],[217,2],[218,11],[221,92],[225,25],
                          [228,5],[229,25],[233,12],[237,2],[241,6],[243,13],[247,23],
                          [248,24],[250,21],[251,30],[253,1],[254,9],[256,31],[257,2],
                          [261,91],[265,29],[266,7],[267,8],[275,14],[286,9],[293,30],
                          [305,10],[311,12],[324,11],[330,40],[333,13],[343,1],[346,29],
                          [348,25],[349,5],[350,15],[351,7],[352,23],[353,34],[355,32]],
                         [[1,3],[2,2],[3,5],[4,4],[5,7],[6,6],
                          [7,27],[8,14],[9,28],[10,12],[11,19],[12,29],[13,24],
                          [14,25],[15,9],[16,8],[17,11],[18,10],[19,1],[21,3],
                          [40,4],[41,90],[49,27],[52,20],[59,5],[60,33],[61,34],
                          [62,11],[69,1],[71,13],[76,19],[78,6],[81,89],[88,20],
                          [89,28],[97,7],[98,9],[100,31],[101,32],[107,30],[109,1],
                          [114,24],[116,14],[117,1],[119,30],[120,20],[121,90],[125,3],
                          [126,15],[128,8],[131,28],[132,36],[133,4],[135,27],[137,19],
                          [141,5],[145,3],[149,13],[152,33],[154,12],[155,13],[156,20],
                          [157,1],[161,89],[164,10],[165,3],[166,23],[167,27],[171,6],
                          [173,28],[177,24],[181,7],[182,93],[185,3],[189,30],[190,31],
                          [192,29],[201,5],[207,21],[209,92],[211,19],[221,34],[230,25],
                          [241,7],[243,21],[247,91],[249,24],[261,32],[268,8],[279,30],
                          [287,9],[297,24],[306,10],[315,13],[325,11],[337,19],[344,1],
                          [345,27],[347,28],[350,26],[352,22],[353,33],[354,4],[355,31],
                          [356,6]],
                         [[1,92],[2,15],[3,2],[11,1],[17,7],[19,29],
                          [21,26],[22,3],[31,14],[41,4],[58,3],[59,2],[60,5],
                          [61,4],[62,7],[63,6],[64,27],[65,14],[66,28],[67,12],
                          [68,19],[69,29],[70,24],[71,25],[72,9],[73,8],[74,11],
                          [75,10],[76,1],[79,6],[81,4],[88,36],[91,90],[95,20],
                          [98,7],[101,4],[105,14],[106,24],[112,31],[113,15],[114,30],
                          [115,29],[117,14],[121,2],[125,4],[131,30],[133,15],[135,1],
                          [136,27],[138,28],[141,26],[143,22],[144,33],[145,4],[146,31],
                          [147,6],[152,3],[155,12],[163,6],[169,1],[171,10],[174,28],
                          [181,26],[182,31],[193,29],[201,92],[212,19],[221,2],[228,34],
                          [231,25],[233,29],[239,91],[241,92],[242,41],[250,24],[269,8],
                          [280,35],[287,7],[288,9],[290,31],[291,32],[297,30],[299,1],
                          [304,24],[307,10],[326,11],[344,14],[345,1],[347,30],[348,20],
                          [349,90],[353,3],[354,15],[356,8],[359,28],[360,36]],
                         [[1,34],[4,2],[7,19],[20,33],[21,90],[23,3],
                          [27,1],[35,6],[38,27],[39,3],[40,2],[41,5],[42,4],
                          [43,7],[44,6],[45,27],[46,14],[47,28],[48,12],[49,19],
                          [50,29],[51,24],[52,25],[53,9],[54,8],[55,11],[56,10],
                          [57,1],[61,5],[80,6],[81,5],[84,12],[89,19],[91,33],
                          [92,23],[95,13],[99,7],[101,5],[113,92],[114,21],[118,14],
                          [121,3],[133,26],[137,27],[141,90],[156,12],[175,28],[177,27],
                          [179,89],[181,90],[191,1],[194,29],[196,25],[197,5],[198,15],
                          [199,7],[200,23],[201,34],[203,32],[209,2],[211,27],[213,19],
                          [217,5],[221,3],[225,13],[228,33],[232,25],[236,23],[241,34],
                          [251,24],[255,7],[260,93],[262,35],[263,1],[266,9],[270,8],
                          [289,9],[305,6],[308,10],[309,22],[310,23],[311,13],[313,1],
                          [323,12],[327,11],[342,40],[343,19],[346,1],[347,21],[348,13],
                          [349,33],[350,2],[351,11],[354,92],[358,25]],
                         [[1,91],[2,23],[5,2],[13,1],[15,5],[16,41],
                          [19,25],[21,22],[24,3],[33,12],[41,6],[43,4],[50,36],
                          [53,90],[57,20],[61,6],[62,5],[65,12],[70,19],[72,33],
                          [73,23],[76,13],[81,6],[96,3],[97,2],[98,5],[99,4],
                          [100,7],[101,6],[102,27],[103,14],[104,28],[105,12],[106,19],
                          [107,29],[108,24],[109,25],[110,9],[111,8],[112,11],[113,10],
                          [114,1],[119,14],[127,4],[129,1],[130,35],[133,8],[138,27],
                          [141,22],[146,33],[153,25],[157,12],[161,2],[165,6],[167,13],
                          [171,23],[173,1],[174,27],[176,28],[179,26],[181,22],[182,33],
                          [183,4],[184,31],[185,6],[190,3],[193,25],[195,29],[201,91],
                          [203,92],[204,41],[214,19],[233,25],[241,91],[252,24],[261,2],
                          [266,32],[271,8],[289,32],[290,9],[307,23],[309,10],[315,25],
                          [325,5],[326,33],[327,34],[328,11],[335,1],[337,13],[342,19],
                          [344,12],[345,13],[346,20],[347,1],[351,89],[354,10],[355,3],
                          [356,23],[357,27]],
                         [[1,32],[6,2],[9,24],[20,31],[21,89],[25,3],
                          [29,1],[37,4],[38,28],[41,7],[44,4],[48,14],[49,24],
                          [55,31],[56,15],[57,30],[61,7],[63,5],[75,92],[76,21],
                          [77,3],[78,2],[79,5],[80,4],[81,7],[82,6],[83,27],
                          [84,14],[85,28],[86,12],[87,19],[88,29],[89,24],[90,25],
                          [91,9],[92,8],[93,11],[94,10],[95,1],[101,7],[120,14],
                          [137,28],[139,27],[141,89],[143,90],[158,12],[161,3],[171,22],
                          [177,28],[181,89],[196,29],[200,15],[201,32],[212,40],[215,19],
                          [219,5],[227,1],[228,11],[229,1],[232,29],[234,25],[235,5],
                          [236,15],[237,7],[238,23],[239,34],[241,32],[247,2],[249,28],
                          [253,24],[257,7],[258,93],[261,3],[265,30],[266,31],[267,4],
                          [269,26],[270,15],[272,8],[273,1],[275,30],[285,14],[286,93],
                          [289,31],[291,9],[292,35],[293,28],[307,22],[310,10],[329,11],
                          [343,24],[345,21],[346,30],[348,1],[349,9],[351,31],[352,2],
                          [356,91],[360,29]],
                         [[5,15],[13,29],[15,2],[24,26],[34,3],[53,4],
                          [58,91],[59,23],[62,2],[70,1],[72,5],[73,41],[76,25],
                          [89,20],[91,6],[108,30],[110,7],[127,15],[129,14],[135,12],
                          [136,13],[137,20],[138,1],[142,89],[145,10],[146,3],[147,23],
                          [148,27],[152,6],[165,10],[167,12],[186,28],[205,29],[222,34],
                          [224,19],[243,25],[247,41],[262,24],[270,93],[281,8],[282,9],
                          [285,35],[286,3],[287,2],[288,5],[289,4],[290,7],[291,6],
                          [292,27],[293,14],[294,28],[295,12],[296,19],[297,29],[298,24],
                          [299,25],[300,9],[301,8],[302,11],[303,10],[304,1],[319,10],
                          [338,11],[347,14],[355,4],[357,1],[358,35]],
                         [[4,32],[16,2],[23,31],[27,28],[35,3],[46,30],
                          [54,4],[65,21],[72,41],[73,5],[77,33],[78,90],[80,3],
                          [84,1],[92,6],[95,27],[111,7],[130,14],[149,27],[160,22],
                          [168,12],[187,28],[206,29],[217,11],[225,19],[229,19],[232,1],
                          [233,21],[234,13],[235,33],[236,2],[237,11],[240,92],[244,25],
                          [247,5],[255,31],[263,24],[267,3],[268,2],[269,5],[270,4],
                          [271,7],[272,6],[273,27],[274,14],[275,28],[276,12],[277,19],
                          [278,29],[279,24],[280,25],[281,9],[282,8],[283,11],[284,10],
                          [285,1],[289,93],[300,8],[301,9],[304,35],[320,10],[339,11],
                          [346,24],[350,7],[355,93],[357,35],[358,1]],
                         [[3,23],[11,25],[17,2],[22,22],[36,3],[49,20],
                          [55,4],[57,36],[68,13],[74,5],[93,6],[96,92],[97,15],
                          [98,2],[106,1],[112,7],[114,29],[125,8],[131,14],[150,27],
                          [163,23],[169,12],[173,14],[174,1],[176,30],[177,20],[178,90],
                          [182,3],[183,15],[185,8],[188,28],[189,36],[190,4],[207,29],
                          [226,19],[245,25],[258,32],[264,24],[283,8],[302,9],[321,10],
                          [324,3],[325,2],[326,5],[327,4],[328,7],[329,6],[330,27],
                          [331,14],[332,28],[333,12],[334,19],[335,29],[336,24],[337,25],
                          [338,9],[339,8],[340,11],[341,10],[342,1],[345,12],[353,6],
                          [359,1]],
                         [[6,34],[18,2],[25,33],[29,27],[37,3],[39,31],
                          [40,89],[44,3],[48,1],[56,4],[57,28],[75,5],[86,13],
                          [94,6],[105,21],[113,7],[124,26],[132,14],[151,27],[170,12],
                          [189,28],[191,24],[193,21],[194,30],[196,1],[197,9],[199,31],
                          [200,2],[204,91],[208,29],[209,7],[219,33],[227,19],[246,25],
                          [257,9],[265,24],[284,8],[303,9],[305,3],[306,2],[307,5],
                          [308,4],[309,7],[310,6],[311,27],[312,14],[313,28],[314,12],
                          [315,19],[316,29],[317,24],[318,25],[319,9],[320,8],[321,11],
                          [322,10],[323,1],[333,40],[341,11],[345,40],[348,19],[352,5],
                          [360,1]],
                         [[1,25],[5,12],[9,2],[13,6],[15,13],[19,23],
                          [25,12],[28,3],[38,22],[39,20],[42,36],[45,6],[47,4],
                          [58,13],[66,5],[85,6],[96,1],[99,29],[101,25],[102,5],
                          [103,15],[104,7],[105,23],[106,34],[108,32],[114,2],[115,8],
                          [123,14],[142,27],[153,23],[161,12],[172,3],[173,2],[174,5],
                          [175,4],[176,7],[177,6],[178,27],[179,14],[180,28],[181,12],
                          [182,19],[183,29],[184,24],[185,25],[186,9],[187,8],[188,11],
                          [189,10],[190,1],[196,41],[197,25],[199,29],[218,19],[237,25],
                          [248,32],[253,2],[256,24],[275,8],[294,9],[311,23],[313,10],
                          [324,19],[327,1],[328,21],[329,13],[330,33],[331,2],[332,11],
                          [335,92],[339,25],[342,5],[343,6],[346,10],[347,22],[348,23],
                          [349,13],[351,1]],
                         [[4,25],[8,23],[13,34],[24,27],[27,22],[32,33],
                          [40,12],[41,13],[42,20],[43,1],[47,89],[50,10],[51,3],
                          [52,23],[53,27],[57,6],[61,13],[81,13],[96,19],[99,1],
                          [100,21],[101,13],[102,33],[103,2],[104,11],[107,92],[111,25],
                          [114,5],[119,26],[129,3],[156,23],[172,33],[173,90],[175,3],
                          [179,1],[187,6],[190,27],[191,91],[192,23],[195,2],[203,1],
                          [205,5],[206,41],[209,25],[214,33],[251,32],[252,9],[305,25],
                          [309,12],[313,2],[317,6],[319,13],[323,23],[327,19],[328,40],
                          [331,5],[339,13],[346,6],[347,5],[350,12],[355,19],[357,33],
                          [358,23]],
                         [[1,29],[3,14],[7,2],[11,4],[17,30],[19,15],
                          [23,14],[26,3],[38,26],[45,4],[58,1],[61,29],[63,25],
                          [64,5],[65,15],[66,7],[67,23],[68,34],[70,32],[76,2],
                          [77,20],[80,36],[83,6],[85,4],[96,30],[102,7],[105,8],
                          [115,15],[121,14],[134,3],[135,2],[136,5],[137,4],[138,7],
                          [139,6],[140,27],[141,14],[142,28],[143,12],[144,19],[145,29],
                          [146,24],[147,25],[148,9],[149,8],[150,11],[151,10],[152,1],
                          [153,10],[159,12],[178,28],[197,29],[210,34],[213,2],[216,19],
                          [234,41],[235,25],[237,29],[254,24],[272,35],[273,8],[286,24],
                          [288,21],[289,30],[291,1],[292,9],[294,31],[295,2],[299,91],
                          [303,29],[304,7],[311,10],[330,11],[343,4],[345,26],[346,15],
                          [348,8],[349,1],[351,30]],
                         [[3,15],[11,29],[20,4],[22,26],[23,15],[25,8],
                          [26,1],[28,30],[38,14],[39,15],[45,14],[58,92],[59,15],
                          [60,2],[68,1],[74,7],[76,29],[87,20],[93,4],[95,36],
                          [106,30],[125,15],[135,14],[136,1],[138,30],[139,20],[140,90],
                          [144,3],[145,15],[147,8],[150,28],[151,36],[152,4],[163,10],
                          [178,89],[197,15],[210,1],[213,29],[215,25],[216,5],[217,15],
                          [218,7],[219,23],[220,34],[222,32],[228,2],[245,29],[248,30],
                          [254,7],[257,8],[284,16],[288,7],[291,4],[295,14],[296,24],
                          [302,31],[303,15],[304,30],[343,29],[345,14],[349,2],[353,4],
                          [359,30]],
                         [[82,17],[86,39],[95,88],[150,36],[234,18],[269,7],
                          [272,4],[276,14],[277,24],[283,31],[284,15],[285,30],[291,37],
                          [302,15],[352,38]],
                         [[3,5],[11,19],[14,25],[19,18],[41,90],[49,27],
                          [52,20],[60,33],[71,13],[97,38],[98,9],[100,16],[109,1],
                          [116,14],[117,1],[119,30],[120,20],[121,90],[125,3],[126,15],
                          [128,8],[131,28],[132,36],[133,4],[154,12],[155,13],[156,20],
                          [157,1],[161,89],[164,10],[165,3],[166,23],[167,27],[171,6],
                          [185,3],[201,5],[261,32],[315,13],[337,19],[344,39],[345,27],
                          [347,88],[353,33],[356,6]],
                         [[11,34],[21,39],[22,27],[24,88],[30,33],[33,6],
                          [38,17],[40,14],[41,1],[43,30],[44,20],[45,90],[49,3],
                          [50,15],[52,8],[55,28],[56,36],[57,4],[78,12],[79,13],
                          [80,20],[81,1],[85,89],[88,10],[89,3],[90,23],[91,27],
                          [95,6],[98,21],[117,26],[193,2],[201,1],[212,33],[223,13],
                          [249,38],[250,9],[252,16],[261,1],[307,12],[315,6],[326,40],
                          [345,5],[353,19],[356,25]],
                         [[3,19],[12,2],[19,34],[21,27],[23,19],[27,5],
                          [31,3],[35,13],[38,33],[40,1],[41,27],[43,28],[46,26],
                          [48,22],[49,33],[50,4],[51,31],[52,6],[57,3],[69,5],
                          [78,13],[88,6],[89,11],[97,21],[107,7],[109,5],[116,26],
                          [117,3],[126,14],[145,27],[164,12],[183,28],[185,27],[191,3],
                          [192,2],[193,5],[194,4],[195,7],[196,6],[197,27],[198,14],
                          [199,28],[200,12],[201,19],[202,29],[203,24],[204,25],[205,9],
                          [206,8],[207,11],[208,10],[209,1],[211,33],[221,19],[240,25],
                          [249,9],[259,24],[278,8],[297,9],[306,12],[307,13],[308,20],
                          [309,1],[313,89],[316,10],[317,3],[318,23],[319,27],[323,6],
                          [325,40],[335,11],[344,5],[345,33],[346,34],[347,11],[354,1],
                          [356,13]],
                         [[3,25],[5,29],[11,91],[13,92],[14,41],[41,20],
                          [59,12],[60,13],[61,20],[62,1],[66,89],[69,10],[70,3],
                          [71,23],[72,27],[76,6],[81,20],[97,14],[98,1],[100,30],
                          [101,20],[102,90],[106,3],[107,15],[109,8],[112,28],[113,36],
                          [114,4],[117,8],[119,15],[127,29],[128,35],[129,2],[135,22],
                          [138,3],[147,12],[155,23],[157,10],[163,25],[173,26],[174,3],
                          [183,14],[214,34],[250,32],[290,24],[299,2],[304,32],[326,19],
                          [345,6],[347,4],[354,36],[357,90]],
                         [[23,28],[25,27],[27,89],[29,90],[39,24],[41,21],
                          [42,30],[44,1],[45,9],[47,31],[48,2],[52,91],[56,29],
                          [57,7],[61,21],[77,19],[80,1],[81,21],[82,13],[83,33],
                          [84,2],[85,11],[88,92],[92,25],[95,5],[101,21],[120,26],
                          [156,22],[191,32],[196,2],[199,24],[213,11],[215,33],[219,27],
                          [227,3],[229,34],[232,2],[235,19],[248,93],[251,31],[253,9],
                          [254,35],[255,28],[270,14],[310,12],[313,3],[323,22],[329,40],
                          [346,7],[348,5],[360,92]],
                         [[1,6],[4,10],[5,22],[6,23],[7,13],[9,1],
                          [19,12],[25,22],[66,19],[96,32],[101,2],[104,24],[115,20],
                          [118,36],[121,6],[123,4],[142,33],[161,6],[172,24],[174,21],
                          [175,30],[177,1],[178,9],[180,31],[181,2],[185,91],[189,29],
                          [190,7],[199,92],[237,91],[329,5],[348,12],[351,3]],
                         [[5,23],[13,25],[20,6],[23,10],[24,22],[25,23],
                          [26,13],[28,1],[38,12],[51,20],[53,6],[70,13],[77,23],
                          [85,12],[96,91],[97,23],[100,2],[108,1],[110,5],[111,41],
                          [114,25],[127,8],[142,90],[165,23],[173,12],[174,13],[175,20],
                          [176,1],[180,89],[183,10],[184,3],[185,23],[186,27],[190,6],
                          [205,25],[209,41],[210,13],[218,5],[237,23],[248,1],[251,29],
                          [253,25],[254,5],[255,15],[256,7],[257,23],[258,34],[260,32],
                          [266,2],[319,23],[320,33],[327,6],[328,5],[331,12],[336,19],
                          [338,33],[339,23],[342,13],[343,25],[347,12],[351,2],[355,6],
                          [357,13]],
                         [[5,24],[14,2],[19,32],[21,28],[25,24],[29,7],
                          [30,93],[33,3],[37,30],[38,31],[40,30],[52,4],[59,21],
                          [69,7],[71,5],[78,1],[79,27],[81,28],[84,26],[86,22],
                          [87,33],[88,4],[89,31],[90,6],[95,3],[109,7],[128,14],
                          [145,28],[147,27],[154,22],[157,3],[166,12],[185,28],[204,29],
                          [211,11],[223,19],[229,3],[230,2],[231,5],[232,4],[233,7],
                          [234,6],[235,27],[236,14],[237,28],[238,12],[239,19],[240,29],
                          [241,24],[242,25],[243,9],[244,8],[245,11],[246,10],[247,1],
                          [249,31],[261,24],[268,14],[269,1],[271,30],[272,20],[273,90],
                          [277,3],[278,15],[280,8],[283,28],[284,36],[285,4],[288,35],
                          [297,31],[299,9],[304,93],[318,10],[337,11],[344,7],[345,9],
                          [347,31],[348,32],[354,30],[356,1]],
                         [[13,2],[21,12],[22,13],[23,20],[24,1],[28,89],
                          [31,10],[32,3],[33,23],[34,27],[38,6],[43,14],[51,4],
                          [53,1],[54,35],[57,8],[70,5],[77,25],[81,12],[85,2],
                          [89,6],[91,13],[95,23],[97,25],[108,7],[110,21],[114,91],
                          [127,14],[129,26],[138,90],[146,27],[165,12],[173,6],[176,89],
                          [183,20],[184,28],[192,41],[195,15],[203,29],[205,2],[213,6],
                          [214,5],[217,12],[222,19],[224,33],[225,23],[228,13],[233,23],
                          [241,25],[248,3],[249,2],[250,5],[251,4],[252,7],[253,6],
                          [254,27],[255,14],[256,28],[257,12],[258,19],[259,29],[260,24],
                          [261,25],[262,9],[263,8],[264,11],[265,10],[266,1],[279,8],
                          [298,9],[317,10],[319,12],[325,13],[336,11],[338,40],[343,91],
                          [344,23],[347,2],[355,1],[357,5],[358,41]],
                         [[1,4],[3,26],[4,15],[6,8],[7,1],[9,30],
                          [19,14],[23,26],[58,34],[61,2],[64,19],[102,24],[121,4],
                          [134,19],[137,1],[138,21],[139,13],[140,33],[141,2],[142,11],
                          [145,92],[149,25],[152,5],[153,20],[156,36],[159,6],[161,4],
                          [178,31],[197,92],[235,91],[289,7],[346,14],[349,3]],
                         [[1,19],[4,1],[5,21],[6,13],[7,33],[8,2],
                          [9,11],[12,92],[16,25],[19,5],[27,3],[39,27],[46,4],
                          [54,20],[57,90],[59,27],[61,19],[65,5],[69,3],[73,13],
                          [76,33],[84,6],[99,24],[103,7],[108,93],[110,35],[111,1],
                          [114,9],[115,3],[116,2],[117,5],[118,4],[119,7],[120,6],
                          [121,27],[122,14],[123,28],[124,12],[125,19],[126,29],[127,24],
                          [128,25],[129,9],[130,8],[131,11],[132,10],[133,1],[137,33],
                          [141,27],[156,6],[157,5],[160,12],[165,19],[167,33],[168,23],
                          [171,13],[175,31],[179,28],[187,3],[191,5],[194,92],[198,29],
                          [199,21],[217,19],[232,91],[236,25],[255,24],[263,32],[274,8],
                          [293,9],[305,13],[312,10],[331,11],[339,19],[343,33],[344,90],
                          [346,3],[350,1],[358,6]],
                         [[1,24],[3,21],[4,30],[6,1],[7,9],[9,31],
                          [10,2],[14,91],[18,29],[19,7],[29,3],[48,4],[60,40],
                          [63,19],[67,5],[75,1],[76,11],[77,28],[86,6],[94,20],
                          [95,89],[97,28],[101,24],[105,7],[106,93],[109,3],[113,30],
                          [114,31],[117,7],[120,4],[124,14],[125,24],[131,31],[132,15],
                          [133,30],[139,33],[143,27],[151,3],[153,3],[154,2],[155,5],
                          [156,4],[157,7],[158,6],[159,27],[160,14],[161,28],[162,12],
                          [163,19],[164,29],[165,24],[166,25],[167,9],[168,8],[169,11],
                          [170,10],[171,1],[177,31],[181,28],[196,92],[200,29],[219,19],
                          [227,34],[229,7],[234,91],[235,21],[238,25],[257,24],[267,30],
                          [276,8],[295,9],[303,24],[314,10],[333,11],[343,31],[344,89],
                          [348,3],[352,1],[360,4]],
                         [[11,2],[21,14],[22,1],[24,30],[25,20],[26,90],
                          [30,3],[31,15],[33,8],[36,28],[37,36],[38,4],[39,29],
                          [41,14],[45,2],[49,4],[55,30],[57,15],[59,29],[68,5],
                          [74,21],[76,92],[79,12],[87,6],[93,1],[95,10],[106,7],
                          [125,14],[135,4],[136,90],[144,27],[147,20],[163,12],[169,22],
                          [174,89],[182,28],[193,15],[201,29],[210,3],[211,2],[212,5],
                          [213,4],[214,7],[215,6],[216,27],[217,14],[218,28],[219,12],
                          [220,19],[221,29],[222,24],[223,25],[224,9],[225,8],[226,11],
                          [227,10],[228,1],[231,23],[239,25],[245,2],[250,7],[253,4],
                          [257,14],[258,24],[264,31],[265,15],[266,30],[277,8],[283,14],
                          [287,30],[296,9],[315,10],[334,11],[343,92],[344,15],[345,2],
                          [353,1],[359,7]],
                         [[6,29],[10,15],[11,32],[22,28],[29,26],[30,31],
                          [41,30],[58,24],[60,21],[61,30],[63,1],[64,9],[66,31],
                          [67,2],[71,91],[75,29],[76,7],[78,14],[79,1],[81,30],
                          [82,20],[83,90],[87,3],[88,15],[90,8],[93,28],[94,36],
                          [95,4],[101,30],[120,15],[134,31],[135,89],[139,3],[143,1],
                          [151,4],[152,28],[155,22],[158,10],[215,34],[227,2],[229,92],
                          [230,15],[231,2],[239,1],[245,7],[247,29],[250,31],[269,14],
                          [277,4],[283,30],[287,28],[291,24],[295,7],[296,93],[299,3],
                          [303,30],[304,31],[345,7],[348,4],[352,14],[353,24],[359,31],
                          [360,15]],
                         [[2,7],[3,9],[5,31],[6,32],[12,30],[14,1],
                          [19,24],[25,31],[29,28],[48,30],[67,21],[75,7],[77,31],
                          [78,89],[82,3],[86,1],[94,4],[95,28],[97,31],[109,24],
                          [116,30],[128,4],[147,33],[151,28],[154,1],[155,27],[157,28],
                          [160,26],[162,22],[163,33],[164,4],[165,31],[166,6],[171,3],
                          [185,31],[204,92],[219,11],[229,24],[231,21],[232,30],[234,1],
                          [235,9],[237,31],[238,2],[242,91],[246,29],[247,7],[257,31],
                          [269,7],[272,4],[276,14],[277,24],[283,31],[284,15],[285,30],
                          [291,93],[303,31],[344,28],[348,24],[352,7],[353,93],[356,3],
                          [360,30]],
                         [[5,32],[21,7],[22,9],[24,31],[25,32],[31,30],
                          [33,1],[38,24],[52,14],[78,22],[81,3],[90,12],[147,90],
                          [185,89],[204,15],[211,21],[221,7],[223,5],[230,12],[231,13],
                          [232,20],[233,1],[237,89],[240,10],[241,3],[242,23],[243,27],
                          [247,6],[261,7],[271,4],[290,93],[347,24],[356,2]],
                         [[2,5],[3,33],[4,34],[5,11],[12,1],[14,13],
                          [19,19],[23,33],[27,27],[39,33],[40,90],[42,3],[46,1],
                          [54,6],[57,27],[59,33],[69,19],[84,13],[103,21],[110,41],
                          [111,5],[116,1],[117,27],[119,28],[122,26],[124,22],[125,33],
                          [126,4],[127,31],[128,6],[133,3],[145,33],[154,13],[164,6],
                          [165,11],[187,27],[191,19],[194,1],[195,21],[196,13],[197,33],
                          [198,2],[199,11],[202,92],[206,25],[209,5],[217,33],[240,91],
                          [255,9],[308,6],[309,5],[312,12],[317,19],[319,33],[320,23],
                          [323,13],[338,23],[339,33],[344,27],[346,19],[350,5],[354,3],
                          [358,13]],
                         [[3,34],[21,5],[22,33],[23,34],[24,11],[31,1],
                          [33,13],[38,19],[40,26],[41,3],[50,14],[88,12],[145,90],
                          [183,89],[192,14],[193,1],[195,30],[196,20],[197,90],[201,3],
                          [202,15],[204,8],[207,28],[208,36],[209,4],[221,5],[240,23],
                          [249,21],[259,7],[261,5],[307,6],[345,19],[354,2]],
                         [[72,25],[76,41],[92,27],[146,20],[148,6],[236,21],
                          [243,41],[244,5],[270,24],[274,7],[279,93],[281,35],[282,1],
                          [285,9],[290,14],[298,4],[300,1],[301,35],[304,8],[346,93],
                          [357,8],[358,9]],
                         [[17,29],[60,12],[68,6],[74,1],[76,10],[93,20],
                          [96,29],[98,14],[102,2],[106,4],[112,30],[114,15],[120,37],
                          [131,15],[136,22],[150,3],[169,10],[174,26],[226,34],[296,32],
                          [302,24],[353,20],[359,4]],
                         [[60,41],[90,27],[138,36],[242,5],[268,38],[269,9],
                          [271,16],[280,1],[288,8],[290,15],[298,29],[299,35],[300,2],
                          [345,35],[356,9]],
                         [[6,2],[25,3],[29,1],[41,42],[44,4],[48,14],
                          [63,5],[77,17],[82,6],[83,27],[85,88],[86,12],[95,39],
                          [101,7],[120,14],[139,27],[143,90],[158,12],[177,28],[181,89],
                          [196,29],[200,15],[215,19],[219,5],[229,18],[234,25],[235,5],
                          [238,23],[253,24],[257,7],[267,4],[269,26],[270,15],[272,8],
                          [273,1],[275,30],[285,14],[286,37],[291,9],[292,35],[310,10],
                          [329,11],[348,1],[349,9],[351,16],[352,2]],
                         [[1,18],[6,25],[7,5],[10,23],[29,22],[41,43],
                          [44,20],[45,90],[63,13],[64,33],[101,1],[102,9],[104,16],
                          [105,2],[114,38],[115,4],[117,26],[118,15],[120,8],[121,1],
                          [123,30],[133,14],[153,6],[156,10],[157,22],[158,23],[159,13],
                          [161,1],[171,12],[177,3],[181,1],[253,32],[329,19],[333,5],
                          [343,17],[348,6],[349,27],[351,88],[352,12]],
                         [[42,28],[44,27],[46,89],[48,90],[102,41],[194,7],
                          [196,5],[208,92],[209,21],[305,19],[308,1],[309,21],[310,13],
                          [311,33],[312,2],[313,11],[316,92],[320,25],[323,5],[330,23],
                          [346,11]],
                         [[32,20],[34,6],[42,93],[53,8],[54,9],[57,35],
                          [91,23],[92,33],[110,91],[210,25],[214,12],[218,2],[222,6],
                          [224,13],[228,23],[252,14],[260,4],[262,1],[263,35],[266,8],
                          [357,25]],
                         [[6,2],[25,3],[29,1],[41,44],[44,4],[48,14],
                          [61,38],[63,5],[82,6],[83,27],[86,12],[95,43],[101,7],
                          [120,14],[139,27],[143,90],[158,12],[177,28],[181,89],[196,29],
                          [200,15],[215,19],[219,5],[235,5],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[7,5],[29,22],[41,45],[44,20],[45,90],[61,39],
                          [63,13],[64,33],[101,1],[105,2],[114,42],[121,1],[158,23],
                          [159,13],[177,3],[181,1],[253,32],[329,19],[333,5],[348,6],
                          [349,27],[352,12]],
                         [[6,2],[25,3],[29,1],[41,46],[44,4],[48,14],
                          [61,42],[63,5],[82,6],[86,12],[95,45],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,47],[44,20],[61,43],
                          [63,13],[101,1],[105,2],[114,44],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,48],[44,4],[48,14],
                          [61,44],[63,5],[82,6],[86,12],[95,47],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,49],[44,20],[61,45],
                          [63,13],[101,1],[105,2],[114,46],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,50],[44,4],[48,14],
                          [61,46],[63,5],[82,6],[86,12],[95,49],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,51],[44,20],[61,47],
                          [63,13],[101,1],[105,2],[114,48],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,52],[44,4],[48,14],
                          [61,48],[63,5],[82,6],[86,12],[95,51],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,53],[44,20],[61,49],
                          [63,13],[101,1],[105,2],[114,50],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,54],[44,4],[48,14],
                          [61,50],[63,5],[82,6],[86,12],[95,53],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,55],[44,20],[61,51],
                          [63,13],[101,1],[105,2],[114,52],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,56],[44,4],[48,14],
                          [61,52],[63,5],[82,6],[86,12],[95,55],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,57],[44,20],[61,53],
                          [63,13],[101,1],[105,2],[114,54],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,58],[44,4],[48,14],
                          [61,54],[63,5],[82,6],[86,12],[95,57],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,59],[44,20],[61,55],
                          [63,13],[101,1],[105,2],[114,56],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,60],[44,4],[48,14],
                          [61,56],[63,5],[82,6],[86,12],[95,59],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,61],[44,20],[61,57],
                          [63,13],[101,1],[105,2],[114,58],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,62],[44,4],[48,14],
                          [61,58],[63,5],[82,6],[86,12],[95,61],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,63],[44,20],[61,59],
                          [63,13],[101,1],[105,2],[114,60],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,64],[44,4],[48,14],
                          [61,60],[63,5],[82,6],[86,12],[95,63],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,65],[44,20],[61,61],
                          [63,13],[101,1],[105,2],[114,62],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,66],[44,4],[48,14],
                          [61,62],[63,5],[82,6],[86,12],[95,65],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,67],[44,20],[61,63],
                          [63,13],[101,1],[105,2],[114,64],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,68],[44,4],[48,14],
                          [61,64],[63,5],[82,6],[86,12],[95,67],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,69],[44,20],[61,65],
                          [63,13],[101,1],[105,2],[114,66],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,70],[44,4],[48,14],
                          [61,66],[63,5],[82,6],[86,12],[95,69],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,71],[44,20],[61,67],
                          [63,13],[101,1],[105,2],[114,68],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,72],[44,4],[48,14],
                          [61,68],[63,5],[82,6],[86,12],[95,71],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,73],[44,20],[61,69],
                          [63,13],[101,1],[105,2],[114,70],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,74],[44,4],[48,14],
                          [61,70],[63,5],[82,6],[86,12],[95,73],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,75],[44,20],[61,71],
                          [63,13],[101,1],[105,2],[114,72],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,76],[44,4],[48,14],
                          [61,72],[63,5],[82,6],[86,12],[95,75],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,77],[44,20],[61,73],
                          [63,13],[101,1],[105,2],[114,74],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,78],[44,4],[48,14],
                          [61,74],[63,5],[82,6],[86,12],[95,77],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,79],[44,20],[61,75],
                          [63,13],[101,1],[105,2],[114,76],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,80],[44,4],[48,14],
                          [61,76],[63,5],[82,6],[86,12],[95,79],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,81],[44,20],[61,77],
                          [63,13],[101,1],[105,2],[114,78],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,82],[44,4],[48,14],
                          [61,78],[63,5],[82,6],[86,12],[95,81],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,83],[44,20],[61,79],
                          [63,13],[101,1],[105,2],[114,80],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,84],[44,4],[48,14],
                          [61,80],[63,5],[82,6],[86,12],[95,83],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,85],[44,20],[61,81],
                          [63,13],[101,1],[105,2],[114,82],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[41,86],[44,4],[48,14],
                          [61,82],[63,5],[82,6],[86,12],[95,85],[101,7],[120,14],
                          [139,27],[143,90],[158,12],[177,28],[181,89],[196,29],[200,15],
                          [215,19],[219,5],[234,25],[238,23],[253,24],[257,7],[272,8],
                          [291,9],[310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[41,87],[44,20],[61,83],
                          [63,13],[101,1],[105,2],[114,84],[120,8],[158,23],[177,3],
                          [181,1],[253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,2],[25,3],[29,1],[44,4],[48,14],[61,84],
                          [63,5],[82,6],[86,12],[95,87],[101,7],[120,14],[139,27],
                          [143,90],[158,12],[177,28],[181,89],[196,29],[200,15],[215,19],
                          [219,5],[234,25],[238,23],[253,24],[257,7],[272,8],[291,9],
                          [310,10],[329,11],[348,1],[352,2]],
                         [[6,25],[10,23],[29,22],[44,20],[61,85],[63,13],
                          [101,1],[105,2],[114,86],[120,8],[158,23],[177,3],[181,1],
                          [253,32],[329,19],[333,5],[348,6],[352,12]],
                         [[6,18],[105,38],[114,16],[117,7],[120,4],[124,14],
                          [125,24],[131,31],[132,15],[133,30],[153,3],[154,2],[155,5],
                          [156,4],[157,7],[158,6],[159,27],[160,14],[161,28],[162,12],
                          [163,19],[164,29],[165,24],[166,25],[167,9],[168,8],[169,11],
                          [170,10],[171,1],[348,17],[352,39]],
                         [[1,7],[6,91],[7,21],[10,25],[48,20],[58,11],
                          [67,13],[75,6],[77,89],[96,31],[97,89],[101,3],[105,1],
                          [113,4],[114,28],[115,30],[124,8],[153,1],[156,29],[158,25],
                          [159,5],[160,15],[161,7],[162,23],[163,34],[165,32],[171,2],
                          [181,3],[257,32],[303,32],[333,19],[341,34],[343,28],[352,6],
                          [360,20]],
                         [[1,5],[4,92],[8,29],[9,21],[39,90],[58,33],
                          [59,90],[61,3],[65,1],[73,6],[76,27],[84,20],[103,30],
                          [111,4],[115,1],[118,29],[120,25],[121,5],[122,15],[123,7],
                          [124,23],[125,34],[127,32],[133,2],[141,3],[153,13],[160,10],
                          [217,34],[293,24],[301,32],[343,27],[350,4],[358,20]],
                         [[21,6],[24,89],[31,20],[32,28],[40,8],[51,30],
                          [53,7],[70,21],[77,91],[78,23],[81,2],[89,1],[91,5],
                          [92,41],[95,25],[97,91],[165,22],[211,13],[222,11],[224,40],
                          [241,2],[249,1],[250,27],[252,28],[255,26],[257,22],[258,33],
                          [259,4],[260,31],[261,6],[266,3],[279,14],[281,26],[319,22],
                          [344,25],[355,7],[357,21]],
                         [[21,4],[22,90],[30,27],[33,20],[39,92],[40,15],
                          [41,2],[49,1],[55,7],[57,29],[59,92],[87,13],[93,5],
                          [106,21],[125,26],[201,2],[211,1],[212,27],[214,28],[217,26],
                          [219,22],[220,33],[221,4],[222,31],[223,6],[228,3],[249,30],
                          [258,9],[315,12],[321,22],[334,40],[344,29],[353,5],[359,21]],
                         [[12,24],[60,41],[88,28],[90,27],[138,36],[164,3],
                          [230,21],[240,7],[242,5],[268,7],[269,9],[271,31],[272,32],
                          [278,30],[280,1],[285,24],[288,8],[299,35],[345,35],[354,31],
                          [356,9]]
               ]
               )
);
ab^-1*cab^-1*ba^-1*b^-1*ab^-1,
1,
< a,b,c,ab,ac,ba,ca,cab,bac| 
  b*c=c*b, a*b*a = b*a*b, a*c*a=c*a*c, (a*b*c)^4 = 1,
  ab=a*b, ac=a*c, ba=b*a, ca=c*a, cab=c*a*b, bac=b*a*c>
[1,-1,2,-2,3,-3,4,-4,5,-5,6,-6,7,-7,8,-8,9,-9]
[1,1,1,1,1,1,1,3,1,3,3,1,3,1,1,1,1,1]
/tmp/KBmagAAAa25571.diff2 := rec(
           isFSA := true,
        alphabet := rec(
                type := "product",
                size := 360,
               arity := 2,
             padding := _,
                base := rec(
                    type := "identifiers",
                    size := 18,
                  format := "dense",
                   names := [a,a^-1,b,b^-1,c,c^-1,ab,ab^-1,ac,ac^-1,ba,ba^-1,ca,ca^-1,cab,cab^-1,bac,bac^-1]
                   )
               ),
          states := rec(
                type := "words",
                size := 40,
            alphabet := [a,a^-1,b,b^-1,c,c^-1,ab,ab^-1,ac,ac^-1,ba,ba^-1,ca,ca^-1,cab,cab^-1,bac,bac^-1],
              format := "sparse",
               names := [
                [1,IdWord],
                [2,a^-1],
                [3,a],
                [4,b^-1],
                [5,b],
                [6,c^-1],
                [7,c],
                [8,cab^-1],
                [9,cab],
                [10,bac^-1],
                [11,bac],
                [12,c^-1*a^-1],
                [13,b*c^-1],
                [14,b^-1*a^-1],
                [15,b^-1*ba^-1],
                [16,b^-1*ba^-1*bac^-1*bac^-1],
                [17,b*a],
                [18,b^-1*c^-1],
                [19,b*c],
                [20,a*c^-1*a^-1],
                [21,c^-1*ca^-1],
                [22,c*a],
                [23,ca^-1],
                [24,a*b^-1*a^-1],
                [25,ab],
                [26,ac],
                [27,ba^-1],
                [28,b^-1*c],
                [29,a^-1*c*a],
                [30,b*ab],
                [31,a^-1*b*a],
                [32,cab*cab],
                [33,b^-1*bac^-1],
                [34,cab*c*a],
                [35,bac*b],
                [36,ca^-1*cab^-1],
                [37,c^-1*ac],
                [38,b^-1*ab],
                [39,c*ca^-1],
                [40,b*ba^-1]
              ]
               ),
           flags := ["DFA"],
         initial := [1],
       accepting := [1],
           table := rec(
      numTransitions := 2456,
              format := "sparse",
         transitions := [[[1,1],[4,27],[6,23],[7,5],[8,15],[9,7],
                          [10,21],[11,31],[13,29],[19,2],[21,1],[22,25],[24,26],
                          [27,24],[29,20],[30,30],[31,4],[32,16],[33,6],[38,3],
                          [40,14],[41,1],[43,28],[44,18],[45,38],[49,3],[50,15],
                          [52,8],[55,26],[56,33],[57,4],[58,17],[61,1],[62,19],
                          [63,13],[64,30],[65,2],[66,11],[69,40],[73,23],[76,5],
                          [78,12],[79,13],[80,18],[81,1],[85,37],[88,10],[89,3],
                          [90,21],[91,25],[95,6],[96,22],[98,19],[99,28],[101,1],
                          [102,9],[104,16],[105,2],[109,39],[113,27],[114,7],[115,4],
                          [117,24],[118,15],[120,8],[121,1],[123,28],[133,14],[134,30],
                          [135,38],[137,3],[141,1],[149,6],[152,25],[153,6],[156,10],
                          [157,20],[158,21],[159,13],[161,1],[171,12],[172,16],[173,37],
                          [177,3],[181,1],[189,4],[190,26],[191,40],[192,15],[193,2],
                          [201,1],[207,7],[209,27],[211,5],[212,30],[213,31],[214,11],
                          [221,1],[223,13],[228,17],[229,39],[230,21],[233,2],[241,1],
                          [243,5],[244,36],[247,23],[249,7],[250,9],[252,16],[253,29],
                          [259,28],[261,1],[266,22],[271,14],[279,4],[281,1],[282,32],
                          [285,8],[289,22],[293,7],[298,34],[300,32],[301,1],[304,9],
                          [307,12],[315,6],[321,1],[323,10],[326,35],[329,17],[333,5],
                          [341,1],[342,11],[343,3],[344,2],[345,5],[346,4],[347,7],
                          [348,6],[349,25],[350,14],[351,26],[352,12],[353,17],[354,27],
                          [355,22],[356,23],[357,9],[358,8],[359,11],[360,10]],
                         [[1,2],[20,3],[21,2],[22,5],[23,4],[24,7],
                          [25,6],[26,25],[27,14],[28,26],[29,12],[30,17],[31,27],
                          [32,22],[33,23],[34,9],[35,8],[36,11],[37,10],[38,1],
                          [39,4],[41,24],[42,15],[44,8],[45,1],[47,28],[57,14],
                          [58,5],[61,40],[65,27],[66,19],[77,6],[80,10],[81,20],
                          [82,21],[83,13],[85,1],[95,12],[96,7],[101,39],[102,19],
                          [105,23],[115,14],[121,24],[134,25],[141,4],[149,18],[152,38],
                          [153,12],[161,20],[172,26],[181,6],[189,18],[190,37],[191,27],
                          [193,14],[197,2],[201,4],[207,28],[209,15],[210,17],[213,1],
                          [214,19],[215,13],[216,30],[217,2],[218,11],[221,40],[225,23],
                          [228,5],[229,23],[233,12],[237,2],[241,6],[243,13],[247,21],
                          [248,22],[250,19],[251,28],[253,1],[254,9],[256,16],[257,2],
                          [261,39],[265,27],[266,7],[267,8],[275,14],[286,9],[293,28],
                          [305,10],[311,12],[324,11],[330,35],[333,13],[343,1],[346,27],
                          [348,23],[349,5],[350,15],[351,7],[352,21],[353,31],[355,29]],
                         [[1,3],[2,2],[3,5],[4,4],[5,7],[6,6],
                          [7,25],[8,14],[9,26],[10,12],[11,17],[12,27],[13,22],
                          [14,23],[15,9],[16,8],[17,11],[18,10],[19,1],[21,3],
                          [40,4],[41,38],[49,25],[52,18],[59,5],[60,30],[61,31],
                          [62,11],[69,1],[71,13],[76,17],[78,6],[81,37],[88,18],
                          [89,26],[97,7],[98,9],[100,16],[101,29],[107,28],[109,1],
                          [114,22],[116,14],[117,1],[119,28],[120,18],[121,38],[125,3],
                          [126,15],[128,8],[131,26],[132,33],[133,4],[135,25],[137,17],
                          [141,5],[145,3],[149,13],[152,30],[154,12],[155,13],[156,18],
                          [157,1],[161,37],[164,10],[165,3],[166,21],[167,25],[171,6],
                          [173,26],[177,22],[181,7],[182,34],[185,3],[189,28],[190,16],
                          [192,27],[201,5],[207,19],[209,40],[211,17],[221,31],[230,23],
                          [241,7],[243,19],[247,39],[249,22],[261,29],[268,8],[279,28],
                          [287,9],[297,22],[306,10],[315,13],[325,11],[337,17],[344,1],
                          [345,25],[347,26],[350,24],[352,20],[353,30],[354,4],[355,16],
                          [356,6]],
                         [[1,40],[2,15],[3,2],[11,1],[17,7],[19,27],
                          [21,24],[22,3],[31,14],[41,4],[58,3],[59,2],[60,5],
                          [61,4],[62,7],[63,6],[64,25],[65,14],[66,26],[67,12],
                          [68,17],[69,27],[70,22],[71,23],[72,9],[73,8],[74,11],
                          [75,10],[76,1],[79,6],[81,4],[88,33],[91,38],[95,18],
                          [98,7],[101,4],[105,14],[106,22],[112,16],[113,15],[114,28],
                          [115,27],[117,14],[121,2],[125,4],[131,28],[133,15],[135,1],
                          [136,25],[138,26],[141,24],[143,20],[144,30],[145,4],[146,16],
                          [147,6],[152,3],[155,12],[163,6],[169,1],[171,10],[174,26],
                          [181,24],[182,16],[193,27],[201,40],[212,17],[221,2],[228,31],
                          [231,23],[233,27],[239,39],[241,40],[242,36],[250,22],[269,8],
                          [280,32],[287,7],[288,9],[290,16],[291,29],[297,28],[299,1],
                          [304,22],[307,10],[326,11],[344,14],[345,1],[347,28],[348,18],
                          [349,38],[353,3],[354,15],[356,8],[359,26],[360,33]],
                         [[1,31],[4,2],[7,17],[20,30],[21,38],[23,3],
                          [27,1],[35,6],[38,25],[39,3],[40,2],[41,5],[42,4],
                          [43,7],[44,6],[45,25],[46,14],[47,26],[48,12],[49,17],
                          [50,27],[51,22],[52,23],[53,9],[54,8],[55,11],[56,10],
                          [57,1],[61,5],[80,6],[81,5],[84,12],[89,17],[91,30],
                          [92,21],[95,13],[99,7],[101,5],[113,40],[114,19],[118,14],
                          [121,3],[133,24],[137,25],[141,38],[156,12],[175,26],[177,25],
                          [179,37],[181,38],[191,1],[194,27],[196,23],[197,5],[198,15],
                          [199,7],[200,21],[201,31],[203,29],[209,2],[211,25],[213,17],
                          [217,5],[221,3],[225,13],[228,30],[232,23],[236,21],[241,31],
                          [251,22],[255,7],[260,34],[262,32],[263,1],[266,9],[270,8],
                          [289,9],[305,6],[308,10],[309,20],[310,21],[311,13],[313,1],
                          [323,12],[327,11],[342,35],[343,17],[346,1],[347,19],[348,13],
                          [349,30],[350,2],[351,11],[354,40],[358,23]],
                         [[1,39],[2,21],[5,2],[13,1],[15,5],[16,36],
                          [19,23],[21,20],[24,3],[33,12],[41,6],[43,4],[50,33],
                          [53,38],[57,18],[61,6],[62,5],[65,12],[70,17],[72,30],
                          [73,21],[76,13],[81,6],[96,3],[97,2],[98,5],[99,4],
                          [100,7],[101,6],[102,25],[103,14],[104,26],[105,12],[106,17],
                          [107,27],[108,22],[109,23],[110,9],[111,8],[112,11],[113,10],
                          [114,1],[119,14],[127,4],[129,1],[130,32],[133,8],[138,25],
                          [141,20],[146,30],[153,23],[157,12],[161,2],[165,6],[167,13],
                          [171,21],[173,1],[174,25],[176,26],[179,24],[181,20],[182,30],
                          [183,4],[184,16],[185,6],[190,3],[193,23],[195,27],[201,39],
                          [203,40],[204,36],[214,17],[233,23],[241,39],[252,22],[261,2],
                          [266,29],[271,8],[289,29],[290,9],[307,21],[309,10],[315,23],
                          [325,5],[326,30],[327,31],[328,11],[335,1],[337,13],[342,17],
                          [344,12],[345,13],[346,18],[347,1],[351,37],[354,10],[355,3],
                          [356,21],[357,25]],
                         [[1,29],[6,2],[9,22],[20,16],[21,37],[25,3],
                          [29,1],[37,4],[38,26],[41,7],[44,4],[48,14],[49,22],
                          [55,16],[56,15],[57,28],[61,7],[63,5],[75,40],[76,19],
                          [77,3],[78,2],[79,5],[80,4],[81,7],[82,6],[83,25],
                          [84,14],[85,26],[86,12],[87,17],[88,27],[89,22],[90,23],
                          [91,9],[92,8],[93,11],[94,10],[95,1],[101,7],[120,14],
                          [137,26],[139,25],[141,37],[143,38],[158,12],[161,3],[171,20],
                          [177,26],[181,37],[196,27],[200,15],[201,29],[212,35],[215,17],
                          [219,5],[227,1],[228,11],[229,1],[232,27],[234,23],[235,5],
                          [236,15],[237,7],[238,21],[239,31],[241,29],[247,2],[249,26],
                          [253,22],[257,7],[258,34],[261,3],[265,28],[266,16],[267,4],
                          [269,24],[270,15],[272,8],[273,1],[275,28],[285,14],[286,34],
                          [289,16],[291,9],[292,32],[293,26],[307,20],[310,10],[329,11],
                          [343,22],[345,19],[346,28],[348,1],[349,9],[351,16],[352,2],
                          [356,39],[360,27]],
                         [[5,15],[13,27],[15,2],[24,24],[34,3],[53,4],
                          [58,39],[59,21],[62,2],[70,1],[72,5],[73,36],[76,23],
                          [89,18],[91,6],[108,28],[110,7],[127,15],[129,14],[135,12],
                          [136,13],[137,18],[138,1],[142,37],[145,10],[146,3],[147,21],
                          [148,25],[152,6],[165,10],[167,12],[186,26],[205,27],[222,31],
                          [224,17],[243,23],[247,36],[262,22],[270,34],[281,8],[282,9],
                          [285,32],[286,3],[287,2],[288,5],[289,4],[290,7],[291,6],
                          [292,25],[293,14],[294,26],[295,12],[296,17],[297,27],[298,22],
                          [299,23],[300,9],[301,8],[302,11],[303,10],[304,1],[319,10],
                          [338,11],[347,14],[355,4],[357,1],[358,32]],
                         [[4,29],[16,2],[23,16],[27,26],[35,3],[46,28],
                          [54,4],[65,19],[72,36],[73,5],[77,30],[78,38],[80,3],
                          [84,1],[92,6],[95,25],[111,7],[130,14],[149,25],[160,20],
                          [168,12],[187,26],[206,27],[217,11],[225,17],[229,17],[232,1],
                          [233,19],[234,13],[235,30],[236,2],[237,11],[240,40],[244,23],
                          [247,5],[255,16],[263,22],[267,3],[268,2],[269,5],[270,4],
                          [271,7],[272,6],[273,25],[274,14],[275,26],[276,12],[277,17],
                          [278,27],[279,22],[280,23],[281,9],[282,8],[283,11],[284,10],
                          [285,1],[289,34],[300,8],[301,9],[304,32],[320,10],[339,11],
                          [346,22],[350,7],[355,34],[357,32],[358,1]],
                         [[3,21],[11,23],[17,2],[22,20],[36,3],[49,18],
                          [55,4],[57,33],[68,13],[74,5],[93,6],[96,40],[97,15],
                          [98,2],[106,1],[112,7],[114,27],[125,8],[131,14],[150,25],
                          [163,21],[169,12],[173,14],[174,1],[176,28],[177,18],[178,38],
                          [182,3],[183,15],[185,8],[188,26],[189,33],[190,4],[207,27],
                          [226,17],[245,23],[258,29],[264,22],[283,8],[302,9],[321,10],
                          [324,3],[325,2],[326,5],[327,4],[328,7],[329,6],[330,25],
                          [331,14],[332,26],[333,12],[334,17],[335,27],[336,22],[337,23],
                          [338,9],[339,8],[340,11],[341,10],[342,1],[345,12],[353,6],
                          [359,1]],
                         [[6,31],[18,2],[25,30],[29,25],[37,3],[39,16],
                          [40,37],[44,3],[48,1],[56,4],[57,26],[75,5],[86,13],
                          [94,6],[105,19],[113,7],[124,24],[132,14],[151,25],[170,12],
                          [189,26],[191,22],[193,19],[194,28],[196,1],[197,9],[199,16],
                          [200,2],[204,39],[208,27],[209,7],[219,30],[227,17],[246,23],
                          [257,9],[265,22],[284,8],[303,9],[305,3],[306,2],[307,5],
                          [308,4],[309,7],[310,6],[311,25],[312,14],[313,26],[314,12],
                          [315,17],[316,27],[317,22],[318,23],[319,9],[320,8],[321,11],
                          [322,10],[323,1],[333,35],[341,11],[345,35],[348,17],[352,5],
                          [360,1]],
                         [[1,23],[5,12],[9,2],[13,6],[15,13],[19,21],
                          [25,12],[28,3],[38,20],[39,18],[42,33],[45,6],[47,4],
                          [58,13],[66,5],[85,6],[96,1],[99,27],[101,23],[102,5],
                          [103,15],[104,7],[105,21],[106,31],[108,29],[114,2],[115,8],
                          [123,14],[142,25],[153,21],[161,12],[172,3],[173,2],[174,5],
                          [175,4],[176,7],[177,6],[178,25],[179,14],[180,26],[181,12],
                          [182,17],[183,27],[184,22],[185,23],[186,9],[187,8],[188,11],
                          [189,10],[190,1],[196,36],[197,23],[199,27],[218,17],[237,23],
                          [248,29],[253,2],[256,22],[275,8],[294,9],[311,21],[313,10],
                          [324,17],[327,1],[328,19],[329,13],[330,30],[331,2],[332,11],
                          [335,40],[339,23],[342,5],[343,6],[346,10],[347,20],[348,21],
                          [349,13],[351,1]],
                         [[4,23],[8,21],[13,31],[24,25],[27,20],[32,30],
                          [40,12],[41,13],[42,18],[43,1],[47,37],[50,10],[51,3],
                          [52,21],[53,25],[57,6],[61,13],[81,13],[96,17],[99,1],
                          [100,19],[101,13],[102,30],[103,2],[104,11],[107,40],[111,23],
                          [114,5],[119,24],[129,3],[156,21],[172,30],[173,38],[175,3],
                          [179,1],[187,6],[190,25],[191,39],[192,21],[195,2],[203,1],
                          [205,5],[206,36],[209,23],[214,30],[251,29],[252,9],[305,23],
                          [309,12],[313,2],[317,6],[319,13],[323,21],[327,17],[328,35],
                          [331,5],[339,13],[346,6],[347,5],[350,12],[355,17],[357,30],
                          [358,21]],
                         [[1,27],[3,14],[7,2],[11,4],[17,28],[19,15],
                          [23,14],[26,3],[38,24],[45,4],[58,1],[61,27],[63,23],
                          [64,5],[65,15],[66,7],[67,21],[68,31],[70,29],[76,2],
                          [77,18],[80,33],[83,6],[85,4],[96,28],[102,7],[105,8],
                          [115,15],[121,14],[134,3],[135,2],[136,5],[137,4],[138,7],
                          [139,6],[140,25],[141,14],[142,26],[143,12],[144,17],[145,27],
                          [146,22],[147,23],[148,9],[149,8],[150,11],[151,10],[152,1],
                          [153,10],[159,12],[178,26],[197,27],[210,31],[213,2],[216,17],
                          [234,36],[235,23],[237,27],[254,22],[272,32],[273,8],[286,22],
                          [288,19],[289,28],[291,1],[292,9],[294,16],[295,2],[299,39],
                          [303,27],[304,7],[311,10],[330,11],[343,4],[345,24],[346,15],
                          [348,8],[349,1],[351,28]],
                         [[3,15],[11,27],[20,4],[22,24],[23,15],[25,8],
                          [26,1],[28,28],[38,14],[39,15],[45,14],[58,40],[59,15],
                          [60,2],[68,1],[74,7],[76,27],[87,18],[93,4],[95,33],
                          [106,28],[125,15],[135,14],[136,1],[138,28],[139,18],[140,38],
                          [144,3],[145,15],[147,8],[150,26],[151,33],[152,4],[163,10],
                          [178,37],[197,15],[210,1],[213,27],[215,23],[216,5],[217,15],
                          [218,7],[219,21],[220,31],[222,29],[228,2],[245,27],[248,28],
                          [254,7],[257,8],[284,16],[288,7],[291,4],[295,14],[296,22],
                          [302,16],[303,15],[304,28],[343,27],[345,14],[349,2],[353,4],
                          [359,28]],
                         [[82,3],[86,1],[95,26],[150,33],[234,1],[269,7],
                          [272,4],[276,14],[277,22],[283,16],[284,15],[285,28],[291,34],
                          [302,15],[352,7]],
                         [[3,17],[12,2],[19,31],[21,25],[23,17],[27,5],
                          [31,3],[35,13],[38,30],[40,1],[41,25],[43,26],[46,24],
                          [48,20],[49,30],[50,4],[51,16],[52,6],[57,3],[69,5],
                          [78,13],[88,6],[89,11],[97,19],[107,7],[109,5],[116,24],
                          [117,3],[126,14],[145,25],[164,12],[183,26],[185,25],[191,3],
                          [192,2],[193,5],[194,4],[195,7],[196,6],[197,25],[198,14],
                          [199,26],[200,12],[201,17],[202,27],[203,22],[204,23],[205,9],
                          [206,8],[207,11],[208,10],[209,1],[211,30],[221,17],[240,23],
                          [249,9],[259,22],[278,8],[297,9],[306,12],[307,13],[308,18],
                          [309,1],[313,37],[316,10],[317,3],[318,21],[319,25],[323,6],
                          [325,35],[335,11],[344,5],[345,30],[346,31],[347,11],[354,1],
                          [356,13]],
                         [[3,23],[5,27],[11,39],[13,40],[14,36],[41,18],
                          [59,12],[60,13],[61,18],[62,1],[66,37],[69,10],[70,3],
                          [71,21],[72,25],[76,6],[81,18],[97,14],[98,1],[100,28],
                          [101,18],[102,38],[106,3],[107,15],[109,8],[112,26],[113,33],
                          [114,4],[117,8],[119,15],[127,27],[128,32],[129,2],[135,20],
                          [138,3],[147,12],[155,21],[157,10],[163,23],[173,24],[174,3],
                          [183,14],[214,31],[250,29],[290,22],[299,2],[304,29],[326,17],
                          [345,6],[347,4],[354,33],[357,38]],
                         [[23,26],[25,25],[27,37],[29,38],[39,22],[41,19],
                          [42,28],[44,1],[45,9],[47,16],[48,2],[52,39],[56,27],
                          [57,7],[61,19],[77,17],[80,1],[81,19],[82,13],[83,30],
                          [84,2],[85,11],[88,40],[92,23],[95,5],[101,19],[120,24],
                          [156,20],[191,29],[196,2],[199,22],[213,11],[215,30],[219,25],
                          [227,3],[229,31],[232,2],[235,17],[248,34],[251,16],[253,9],
                          [254,32],[255,26],[270,14],[310,12],[313,3],[323,20],[329,35],
                          [346,7],[348,5],[360,40]],
                         [[1,6],[4,10],[5,20],[6,21],[7,13],[9,1],
                          [19,12],[25,20],[66,17],[96,29],[101,2],[104,22],[115,18],
                          [118,33],[121,6],[123,4],[142,30],[161,6],[172,22],[174,19],
                          [175,28],[177,1],[178,9],[180,16],[181,2],[185,39],[189,27],
                          [190,7],[199,40],[237,39],[329,5],[348,12],[351,3]],
                         [[5,21],[13,23],[20,6],[23,10],[24,20],[25,21],
                          [26,13],[28,1],[38,12],[51,18],[53,6],[70,13],[77,21],
                          [85,12],[96,39],[97,21],[100,2],[108,1],[110,5],[111,36],
                          [114,23],[127,8],[142,38],[165,21],[173,12],[174,13],[175,18],
                          [176,1],[180,37],[183,10],[184,3],[185,21],[186,25],[190,6],
                          [205,23],[209,36],[210,13],[218,5],[237,21],[248,1],[251,27],
                          [253,23],[254,5],[255,15],[256,7],[257,21],[258,31],[260,29],
                          [266,2],[319,21],[320,30],[327,6],[328,5],[331,12],[336,17],
                          [338,30],[339,21],[342,13],[343,23],[347,12],[351,2],[355,6],
                          [357,13]],
                         [[5,22],[14,2],[19,29],[21,26],[25,22],[29,7],
                          [30,34],[33,3],[37,28],[38,16],[40,28],[52,4],[59,19],
                          [69,7],[71,5],[78,1],[79,25],[81,26],[84,24],[86,20],
                          [87,30],[88,4],[89,16],[90,6],[95,3],[109,7],[128,14],
                          [145,26],[147,25],[154,20],[157,3],[166,12],[185,26],[204,27],
                          [211,11],[223,17],[229,3],[230,2],[231,5],[232,4],[233,7],
                          [234,6],[235,25],[236,14],[237,26],[238,12],[239,17],[240,27],
                          [241,22],[242,23],[243,9],[244,8],[245,11],[246,10],[247,1],
                          [249,16],[261,22],[268,14],[269,1],[271,28],[272,18],[273,38],
                          [277,3],[278,15],[280,8],[283,26],[284,33],[285,4],[288,32],
                          [297,16],[299,9],[304,34],[318,10],[337,11],[344,7],[345,9],
                          [347,16],[348,29],[354,28],[356,1]],
                         [[13,2],[21,12],[22,13],[23,18],[24,1],[28,37],
                          [31,10],[32,3],[33,21],[34,25],[38,6],[43,14],[51,4],
                          [53,1],[54,32],[57,8],[70,5],[77,23],[81,12],[85,2],
                          [89,6],[91,13],[95,21],[97,23],[108,7],[110,19],[114,39],
                          [127,14],[129,24],[138,38],[146,25],[165,12],[173,6],[176,37],
                          [183,18],[184,26],[192,36],[195,15],[203,27],[205,2],[213,6],
                          [214,5],[217,12],[222,17],[224,30],[225,21],[228,13],[233,21],
                          [241,23],[248,3],[249,2],[250,5],[251,4],[252,7],[253,6],
                          [254,25],[255,14],[256,26],[257,12],[258,17],[259,27],[260,22],
                          [261,23],[262,9],[263,8],[264,11],[265,10],[266,1],[279,8],
                          [298,9],[317,10],[319,12],[325,13],[336,11],[338,35],[343,39],
                          [344,21],[347,2],[355,1],[357,5],[358,36]],
                         [[1,4],[3,24],[4,15],[6,8],[7,1],[9,28],
                          [19,14],[23,24],[58,31],[61,2],[64,17],[102,22],[121,4],
                          [134,17],[137,1],[138,19],[139,13],[140,30],[141,2],[142,11],
                          [145,40],[149,23],[152,5],[153,18],[156,33],[159,6],[161,4],
                          [178,16],[197,40],[235,39],[289,7],[346,14],[349,3]],
                         [[1,17],[4,1],[5,19],[6,13],[7,30],[8,2],
                          [9,11],[12,40],[16,23],[19,5],[27,3],[39,25],[46,4],
                          [54,18],[57,38],[59,25],[61,17],[65,5],[69,3],[73,13],
                          [76,30],[84,6],[99,22],[103,7],[108,34],[110,32],[111,1],
                          [114,9],[115,3],[116,2],[117,5],[118,4],[119,7],[120,6],
                          [121,25],[122,14],[123,26],[124,12],[125,17],[126,27],[127,22],
                          [128,23],[129,9],[130,8],[131,11],[132,10],[133,1],[137,30],
                          [141,25],[156,6],[157,5],[160,12],[165,17],[167,30],[168,21],
                          [171,13],[175,16],[179,26],[187,3],[191,5],[194,40],[198,27],
                          [199,19],[217,17],[232,39],[236,23],[255,22],[263,29],[274,8],
                          [293,9],[305,13],[312,10],[331,11],[339,17],[343,30],[344,38],
                          [346,3],[350,1],[358,6]],
                         [[1,22],[3,19],[4,28],[6,1],[7,9],[9,16],
                          [10,2],[14,39],[18,27],[19,7],[29,3],[48,4],[60,35],
                          [63,17],[67,5],[75,1],[76,11],[77,26],[86,6],[94,18],
                          [95,37],[97,26],[101,22],[105,7],[106,34],[109,3],[113,28],
                          [114,16],[117,7],[120,4],[124,14],[125,22],[131,16],[132,15],
                          [133,28],[139,30],[143,25],[151,3],[153,3],[154,2],[155,5],
                          [156,4],[157,7],[158,6],[159,25],[160,14],[161,26],[162,12],
                          [163,17],[164,27],[165,22],[166,23],[167,9],[168,8],[169,11],
                          [170,10],[171,1],[177,16],[181,26],[196,40],[200,27],[219,17],
                          [227,31],[229,7],[234,39],[235,19],[238,23],[257,22],[267,28],
                          [276,8],[295,9],[303,22],[314,10],[333,11],[343,16],[344,37],
                          [348,3],[352,1],[360,4]],
                         [[11,2],[21,14],[22,1],[24,28],[25,18],[26,38],
                          [30,3],[31,15],[33,8],[36,26],[37,33],[38,4],[39,27],
                          [41,14],[45,2],[49,4],[55,28],[57,15],[59,27],[68,5],
                          [74,19],[76,40],[79,12],[87,6],[93,1],[95,10],[106,7],
                          [125,14],[135,4],[136,38],[144,25],[147,18],[163,12],[169,20],
                          [174,37],[182,26],[193,15],[201,27],[210,3],[211,2],[212,5],
                          [213,4],[214,7],[215,6],[216,25],[217,14],[218,26],[219,12],
                          [220,17],[221,27],[222,22],[223,23],[224,9],[225,8],[226,11],
                          [227,10],[228,1],[231,21],[239,23],[245,2],[250,7],[253,4],
                          [257,14],[258,22],[264,16],[265,15],[266,28],[277,8],[283,14],
                          [287,28],[296,9],[315,10],[334,11],[343,40],[344,15],[345,2],
                          [353,1],[359,7]],
                         [[6,27],[10,15],[11,29],[22,26],[29,24],[30,16],
                          [41,28],[58,22],[60,19],[61,28],[63,1],[64,9],[66,16],
                          [67,2],[71,39],[75,27],[76,7],[78,14],[79,1],[81,28],
                          [82,18],[83,38],[87,3],[88,15],[90,8],[93,26],[94,33],
                          [95,4],[101,28],[120,15],[134,16],[135,37],[139,3],[143,1],
                          [151,4],[152,26],[155,20],[158,10],[215,31],[227,2],[229,40],
                          [230,15],[231,2],[239,1],[245,7],[247,27],[250,16],[269,14],
                          [277,4],[283,28],[287,26],[291,22],[295,7],[296,34],[299,3],
                          [303,28],[304,16],[345,7],[348,4],[352,14],[353,22],[359,16],
                          [360,15]],
                         [[5,29],[21,7],[22,9],[24,16],[25,29],[31,28],
                          [33,1],[38,22],[52,14],[78,20],[81,3],[90,12],[147,38],
                          [185,37],[204,15],[211,19],[221,7],[223,5],[230,12],[231,13],
                          [232,18],[233,1],[237,37],[240,10],[241,3],[242,21],[243,25],
                          [247,6],[261,7],[271,4],[290,34],[347,22],[356,2]],
                         [[2,5],[3,30],[4,31],[5,11],[12,1],[14,13],
                          [19,17],[23,30],[27,25],[39,30],[40,38],[42,3],[46,1],
                          [54,6],[57,25],[59,30],[69,17],[84,13],[103,19],[110,36],
                          [111,5],[116,1],[117,25],[119,26],[122,24],[124,20],[125,30],
                          [126,4],[127,16],[128,6],[133,3],[145,30],[154,13],[164,6],
                          [165,11],[187,25],[191,17],[194,1],[195,19],[196,13],[197,30],
                          [198,2],[199,11],[202,40],[206,23],[209,5],[217,30],[240,39],
                          [255,9],[308,6],[309,5],[312,12],[317,17],[319,30],[320,21],
                          [323,13],[338,21],[339,30],[344,25],[346,17],[350,5],[354,3],
                          [358,13]],
                         [[3,31],[21,5],[22,30],[23,31],[24,11],[31,1],
                          [33,13],[38,17],[40,24],[41,3],[50,14],[88,12],[145,38],
                          [183,37],[192,14],[193,1],[195,28],[196,18],[197,38],[201,3],
                          [202,15],[204,8],[207,26],[208,33],[209,4],[221,5],[240,21],
                          [249,19],[259,7],[261,5],[307,6],[345,17],[354,2]],
                         [[72,23],[76,36],[92,25],[146,18],[148,6],[236,19],
                          [243,36],[244,5],[270,22],[274,7],[279,34],[281,32],[282,1],
                          [285,9],[290,14],[298,4],[300,1],[301,32],[304,8],[346,34],
                          [357,8],[358,9]],
                         [[17,27],[60,12],[68,6],[74,1],[76,10],[93,18],
                          [96,27],[98,14],[102,2],[106,4],[112,28],[114,15],[120,34],
                          [131,15],[136,20],[150,3],[169,10],[174,24],[226,31],[296,29],
                          [302,22],[353,18],[359,4]],
                         [[12,22],[60,36],[88,26],[90,25],[138,33],[164,3],
                          [230,19],[240,7],[242,5],[268,7],[269,9],[271,16],[272,29],
                          [278,28],[280,1],[285,22],[288,8],[290,15],[298,27],[299,32],
                          [300,2],[345,32],[354,16],[356,9]],
                         [[42,26],[44,25],[46,37],[48,38],[102,36],[194,7],
                          [196,5],[208,40],[209,19],[305,17],[308,1],[309,19],[310,13],
                          [311,30],[312,2],[313,11],[316,40],[320,23],[323,5],[330,21],
                          [346,11]],
                         [[32,18],[34,6],[42,34],[53,8],[54,9],[57,32],
                          [91,21],[92,30],[110,39],[210,23],[214,12],[218,2],[222,6],
                          [224,13],[228,21],[252,14],[260,4],[262,1],[263,32],[266,8],
                          [357,23]],
                         [[1,7],[6,39],[7,19],[10,23],[48,18],[58,11],
                          [67,13],[75,6],[77,37],[96,16],[97,37],[101,3],[105,1],
                          [113,4],[114,26],[115,28],[124,8],[153,1],[156,27],[158,23],
                          [159,5],[160,15],[161,7],[162,21],[163,31],[165,29],[171,2],
                          [181,3],[257,29],[303,29],[333,17],[341,31],[343,26],[352,6],
                          [360,18]],
                         [[1,5],[4,40],[8,27],[9,19],[39,38],[58,30],
                          [59,38],[61,3],[65,1],[73,6],[76,25],[84,18],[103,28],
                          [111,4],[115,1],[118,27],[120,23],[121,5],[122,15],[123,7],
                          [124,21],[125,31],[127,29],[133,2],[141,3],[153,13],[160,10],
                          [217,31],[293,22],[301,29],[343,25],[350,4],[358,18]],
                         [[21,6],[24,37],[31,18],[32,26],[40,8],[51,28],
                          [53,7],[70,19],[77,39],[78,21],[81,2],[89,1],[91,5],
                          [92,36],[95,23],[97,39],[165,20],[211,13],[222,11],[224,35],
                          [241,2],[249,1],[250,25],[252,26],[255,24],[257,20],[258,30],
                          [259,4],[260,16],[261,6],[266,3],[279,14],[281,24],[319,20],
                          [344,23],[355,7],[357,19]],
                         [[21,4],[22,38],[30,25],[33,18],[39,40],[40,15],
                          [41,2],[49,1],[55,7],[57,27],[59,40],[87,13],[93,5],
                          [106,19],[125,24],[201,2],[211,1],[212,25],[214,26],[217,24],
                          [219,20],[220,30],[221,4],[222,16],[223,6],[228,3],[249,28],
                          [258,9],[315,12],[321,20],[334,35],[344,27],[353,5],[359,19]]
               ]
               )
);
ab^-1*cab^-1*ba^-1*b^-1*ab^-1,
1,
<|>