File: issue_230_squared.res

package info (click to toggle)
msolve 0.9.4-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 8,188 kB
  • sloc: ansic: 41,979; sh: 1,919; makefile: 204
file content (18 lines) | stat: -rw-r--r-- 573 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
[0, [0, 
4, 
48, 
['z', 'y', 'x', 'A'],
[1,4,9,1],
[1,
[[6, [83273137416, 7761391038, 298505503, 6061146, 68488, 408, 1]],
[5, [7761391038, 597011006, 18183438, 273952, 2040, 6]],
[
[[5, [-30953329224, -2383425124, -72648782, -1095128, -8158, -24]],
1],
[[5, [-51454687746, -3993436310, -122821118, -1870252, -14092, -42]],
1],
[[5, [-29207416032, -2272198314, -70009862, -1067478, -8050, -24]],
1]
]]]],[1,
[[[4, 4], [11, 11], [6, 6]], [[3, 3], [3, 3], [6, 6]], [[4, 4], [7, 7], [4, 4]], [[5, 5], [11, 11], [2, 2]], [[5, 5], [3, 3], [4, 4]], [[3, 3], [7, 7], [2, 2]]]
]]: