diff options
Diffstat (limited to 'contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv')
| -rw-r--r-- | contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv b/contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv deleted file mode 100644 index 5048c718..00000000 --- a/contrib/ML4PG/libs/ssreflect/jvm/multiplication_tactics.csv +++ /dev/null @@ -1,5 +0,0 @@ -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;44;104147;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --2;-2;11;6;1;0;0;0;0;0;-2;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;102129105;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;106107;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;108109;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --7;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;110111;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 |