a1    a2    x2*x1*x5           y11y12         1
a1    a3    x2*x1*~x5*x4       y9             2
a1    a4    x2*x1*~x5*~x4      y13            3
a1    a5    x2*~x1*x3          y7             4
a1    a6    x2*~x1*~x3         y3y4           5
a1    a1    ~x2                --             6
a2    a1    1                  y8             7
a3    a1    1                  y9y10          8
a4    a1    1                  y13y14         9
a5    a7    1                  y19y7          10
a6    a8    1                  y19y20y21y22   11
a7    a9    1                  y31            12
a8    a10   1                  y31y32y33      13
a9    a11   1                  y54y34         14
a10   a12   1                  y34            15
a11   a13   x11                y31            16
a11   a9    ~x11               y31            17
a12   a14   x8                 y15            18
a12   a8    ~x8                y18            19
a13   a15   1                  y54y34         20
a14   a16   1                  y29y50         21
a15   a17   x11                y31            22
a15   a9    ~x11               y31            23
a16   a18   1                  y49            24
a17   a19   1                  y54y34         25
a18   a20   1                  y47y48         26
a19   a21   x11                y31            27
a19   a9    ~x11               y31            28
a20   a22   1                  y53y52y26      29
a21   a23   1                  y54y34         30
a22   a24   1                  y49            31
a23   a25   x11                y16y17         32
a23   a9    ~x11               y31            33
a24   a26   1                  y47y48         34
a25   a27   1                  y31            35
a26   a28   x18                y53            36
a26   a28   ~x18*x17           y52            37
a26   a29   ~x18*~x17*x10      y30            38
a26   a22   ~x18*~x17*~x10     y26            39
a27   a30   1                  y54y34         40
a28   a29   x10                y30            41
a28   a22   ~x10               y26            42
a29   a31   1                  y31y32y33      43
a30   a32   1                  y52            44
a31   a33   1                  y34            45
a32   a34   1                  y31            46
a33   a35   1                  y51            47
a34   a36   1                  y54y34         48
a35   a37   1                  y29y21         49
a36   a38   1                  y56y57y17      50
a37   a39   x19                y61y62         51
a37   a40   ~x19               y60            52
a38   a41   1                  y29            53
a39   a42   1                  y31y32y33      54
a40   a37   1                  y18            55
a41   a43   x9                 y30            56
a41   a44   ~x9                y31            57
a42   a45   1                  y34            58
a43   a46   1                  y58y59y8       59
a44   a47   1                  y54y34         60
a45   a48   x9                 y23            61
a45   a49   ~x9                y17y45y46      62
a46   a50   1                  y48            63
a47   a51   1                  y28            64
a48   a1    x6                 y1y2           65
a48   a16   ~x6                y29y50         66
a49   a52   x16                y49            67
a49   a49   ~x16               y44y39         68
a50   a53   1                  y26            69
a51   a54   1                  y36            70
a52   a55   1                  y47y48         71
a53   a1    x12*x7             y5y6           72
a53   a27   x12*~x7            y31            73
a53   a43   ~x12               y30            74
a54   a56   1                  y43            75
a55   a57   1                  y27            76
a56   a58   1                  y41            77
a57   a59   1                  y24y25         78
a58   a60   1                  y35            79
a59   a61   1                  y17            80
a60   a62   x15                y39y40         81
a60   a63   ~x15               y42            82
a61   a64   1                  y43            83
a62   a65   x14                y55y17         84
a62   a1    ~x14*x13*x12*x7    y5y6           85
a62   a27   ~x14*x13*x12*~x7   y31            86
a62   a44   ~x14*x13*~x12      y31            87
a62   a56   ~x14*~x13          y43            88
a63   a62   1                  y39y40         89
a64   a66   1                  y41            90
a65   a67   1                  y58y59y8       91
a66   a68   1                  y35            92
a67   a69   1                  y48            93
a68   a70   x15                y39y40         94
a68   a71   ~x15               y42            95
a69   a72   1                  y37y26         96
a70   a73   x13                y38            97
a70   a1    ~x13*x14*x10*x6    y1y2           98
a70   a16   ~x13*x14*x10*~x6   y29y50         99
a70   a74   ~x13*x14*~x10      y26            100
a70   a64   ~x13*~x14          y43            101
a71   a70   1                  y39y40         102
a72   a1    x13*x12*x7         y5y6           103
a72   a27   x13*x12*~x7        y31            104
a72   a44   x13*~x12           y31            105
a72   a56   ~x13               y43            106
a73   a75   1                  y31y32y33      107
a74   a52   1                  y49            108
a75   a76   1                  y34            109
a76   a77   1                  y36y37         110
a77   a1    x14*x10*x6         y1y2           111
a77   a16   x14*x10*~x6        y29y50         112
a77   a74   x14*~x10           y26            113
a77   a64   ~x14               y43            114