Removing hidden files of ML4PG.

8 files changed, 0 insertions, 85 deletions

diff --git a/coq/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv~ b/coq/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv~
deleted file mode 100644
index 63f75c50..00000000
--- a/coq/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv~
+++ /dev/null
@@ -1,46 +0,0 @@
-77490;5;44440;102103104105.0;6;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
--141410;6;646460;-1106110610.0;7;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;2;0;0;10;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
-117770;6;664440;-111070;7;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
-770;3;440;1081090;6;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
-77;2;44;0;10;1;777;3;444;110109111;10;1;777;3;444;110109111;10;1;70;2;40;1120;10;0;0;0;0;0;0;0
--4170;4;4640;-10611130;6;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
-770;3;440;1140;6;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
-770;3;440;1140;6;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
-111;3;-778;-111;11;1;5114;4;-4994;-10511115;6;1;770;3;440;1161170;10;0;0;0;0;0;0;0;0;0;0;0;0;0
-5570;4;4440;10610910;12;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
--2111117;7;10767314;-111111118;7;1;7777;4;4444;110108109;6;1;70;2;40;1090;13;0;0;0;0;0;0;0;0;0;0;0;0;0
-1777700;7;6444400;-110711900;7;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
-7;2;-4117;4;4314;-12011121;6;2;-777417;6;444464;-122123124125.01126;6;3;70;2;40;1270;6;2;1770;4;6440;-11281290;7;1;7;1;4;121
-777;3;444;130;6;1;-414170;6;464640;-10611061131.0;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-1;1;-12;-1;7;1;577;3;444;108108121;6;2;77777700;8;44444400;110121108127.0;6;1;77777770;8;44444440;131110121110.0;10;2;770;3;440;1321160;6;1
-15;2;-134;-1108;7;3;7770;4;4440;1331211340.0;6;2;7777;4;4444;135121134;6;2;777700;6;444400;1331271340.0;6;1;777770;6;444440;128135121134.0;10;1
-7777;4;4444;136137138;14;1;51170;5;46640;-105111310;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-777;3;444;136139;15;1;51170;5;46640;-105111310;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-7777;4;4444;136137138;14;1;51170;5;46640;-105111310;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-7;1;4;0;6;1;6;1;6;2;1;1;-14;-1;7;2;6;3;-11110;5;66400;-11110;16;2;7777700;7;4444400;133104117134.0;6;1
-7;2;11;2;-34;-11;7;2;77;2;44;135;6;3;-777017701.0;10;44401144015.0;-10401133142.01;6;2;70;2;40;1330;13;1;17;2;114;-1117
-5;1;-4;108;6;3;70;2;40;1440;6;2;70;2;40;1450;6;1;77;2;44;0;10;1;10;3;7;1;4;232
-57;2;44;108140;6;2;77770;5;44440;1431241400.0;6;1;77777770;8;44444440;143111143111131.0;10;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1471480;6;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
-7720;4;44160;-20210;6;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
-15;2;-74;-1108;5;3;-772177;6;4410244;-21012111103233.0;6;3;770;3;440;1552130;6;2;77777090;9;44444040;1561270157.0;6;1;77777700;8;44444400;1561311160.0;10;0
-15;2;-74;-1108;5;3;7770;4;4440;1991212120.0;6;2;77777700;9;44444400;1581271590.0;6;1;77777700;8;44444400;1581311160.0;10;0;0;0;0;0;0;0
-15;2;-74;-1108;5;3;770;3;440;1081210;6;2;77777770;9;44444440;110121210127.0;6;2;-2177;4;10244;-11103233;6;2;770;3;440;1552130;6;1
-15;2;-74;-1108;5;3;770;3;440;1081210;6;2;777770;6;444440;1101211990.0;6;2;77700;5;44400;12721200;6;1;777770;6;444440;1101210;10;1
-770;3;440;1601610;6;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
-770;3;440;1621610;6;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
-770;3;440;1601630;6;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
-770;3;440;1621630;6;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
-1777;4;11444;-1135;7;2;770;3;440;1061270;6;1;770;3;440;1211340;13;0;0;0;0;0;0;0;0;0;0;0;0;0
-5;1;-4;108;6;3;7770;4;4440;1331211340.0;6;2;70;2;40;1640;6;1;77777;5;44444;131135121;10;2;7770;4;4440;2091270;10;2
-17777;5;114444;-1209121;7;1;27;2;44;-1127;6;1;777707;6;444404;1271652340.0107;6;1;770;3;440;1661170;2;0;0;0;0;0;0;0
-5;1;-4;108;6;3;770;3;440;1061210;6;2;70;2;40;1670;6;1;777;3;444;131;10;1;77;2;44;209121;10;1
-577;3;444;108108121;10;2;77777700;8;44444400;110121210127.0;6;1;777770;6;444440;1101210;10;1;7770;4;4440;1311161680.0;10;0;0;0;0;0;0;0
-7770;4;4440;1691700;6;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
-57;2;44;108121;6;2;777700;6;444400;1271711720.0;6;1;7077777;6;4044444;1.1601721731741752e+18;10;1;70;2;40;1760;6;0;0;0;0;0;0;0
-577;3;444;108108177;6;2;9;1;-4;178;7;1;777777020.07;13;4444440400.04;-1791310100.0148;10;0;0;0;0;0;0;0;0;0;0;0;0;0
-577;3;444;108108177;6;2;9;1;-4;178;7;1;77702770;8;444016440;-17913101180148.0;10;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1811800;6;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
-77;2;44;139;6;1;51170;5;46640;-105111310;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--170;3;40;-100;6;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
diff --git a/coq/ML4PG/libs/ssreflect/jvm/expt.csv~ b/coq/ML4PG/libs/ssreflect/jvm/expt.csv~
deleted file mode 100644
index 87185c6f..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/expt.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--1131111110.0;10;622222662.0;-1111111110.0;6;2;7770;4;4440;1021030;6;1;777770;6;444440;104105106107.0;6;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1081090;6;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
--11311110;8;22227220;-11111110;6;1;7;1;4;104;6;1;6;1;770;3;440;1291100;6;0;0;0;0;0;0;0;0;0;0;0
-770;3;440;1111120;6;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
-770;3;440;1131140;6;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
-1770;4;6440;-11151160;7;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
diff --git a/coq/ML4PG/libs/ssreflect/jvm/factorial.csv~ b/coq/ML4PG/libs/ssreflect/jvm/factorial.csv~
deleted file mode 100644
index 03b1ef8e..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/factorial.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--1311110;7;2626620;-1111110;6;2;7770;4;4440;1021030;6;1;777770;6;444440;104105106107.0;6;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1081090;6;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
--131110;6;222720;-111110;6;1;7;1;4;104;6;1;6;1;7770;4;4440;1291101070.0;6;0;0;0;0;0;0;0;0;0;0;0
-770;3;440;1111120;6;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
-770;3;440;1131140;6;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
-1770;4;6440;-11151160;7;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
diff --git a/coq/ML4PG/libs/ssreflect/jvm/fib.csv~ b/coq/ML4PG/libs/ssreflect/jvm/fib.csv~
deleted file mode 100644
index 2f775a57..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/fib.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--1131111110.0;10;2222226220.0;-1111111110.0;7;1;2;1;-4;-1;7;2;-11;2;-77;-11;7;2;20;1;780;-10;7;2;7770;4;4440;1021031470.0;6;1
-2;1;-4;-1;6;2;777770;6;444440;109110111147.0;6;1;-120;3;770;-110;6;0;0;0;0;0;0;0;0;0;0;0;0;0
--11311110;8;22226220;-11111110;6;1;2;1;-4;-1;6;2;-1570;4;9440;-110910;6;1;777;3;444;112113104;6;1;6;1;7777;4;4444;114115
-770;3;440;1181190;6;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
-770;3;440;1201210;6;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
-17770;5;94440;-11121220;7;1;20;2;40;-10;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
diff --git a/coq/ML4PG/libs/ssreflect/jvm/lessp.csv~ b/coq/ML4PG/libs/ssreflect/jvm/lessp.csv~
deleted file mode 100644
index ef76db14..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/lessp.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--1311120;7;6666660;-1111110;6;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
-770;3;440;1020;6;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
--13111210;8;2267228220.0;-11111110;6;1;7;1;4;103;6;1;6;1;770;3;440;1291040;6;0;0;0;0;0;0;0;0;0;0;0
-70;2;40;1050;6;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
-770;3;440;1061070;6;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
-17770;5;94440;-11081090;7;1;20;2;40;-10;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
diff --git a/coq/ML4PG/libs/ssreflect/jvm/m1.csv~ b/coq/ML4PG/libs/ssreflect/jvm/m1.csv~
deleted file mode 100644
index b7287865..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/m1.csv~
+++ /dev/null
@@ -1,3 +0,0 @@
-0;2;0;0;6;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
--113111110;10;678269670.0;-111111110;6;1;70;2;40;1020;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;2;0;0;7;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
diff --git a/coq/ML4PG/libs/ssreflect/jvm/multiplication.csv~ b/coq/ML4PG/libs/ssreflect/jvm/multiplication.csv~
deleted file mode 100644
index b98762be..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/multiplication.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--11311110;9;22226220;-11111110;6;1;777770;6;444440;102103182107.0;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1041470;6;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
--11311110;8;22226220;-11111110;6;1;7;1;4;102;6;1;6;1;770;3;440;1291050;6;0;0;0;0;0;0;0;0;0;0;0
-770;3;440;1061070;6;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
-770;3;440;1081090;6;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
-1770;4;7440;-11101110;7;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
diff --git a/coq/ML4PG/libs/ssreflect/jvm/power.csv~ b/coq/ML4PG/libs/ssreflect/jvm/power.csv~
deleted file mode 100644
index 6afcbf95..00000000
--- a/coq/ML4PG/libs/ssreflect/jvm/power.csv~
+++ /dev/null
@@ -1,6 +0,0 @@
--1311110;7;2626620;-1111110;6;2;7770;4;4440;1021030;6;1;777777770.0;9;444444440;1.0410510610710711e+200;6;0;0;0;0;0;0;0;0;0;0;0;0;0
-7770;4;4440;1091100;6;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
--131110;6;222720;-111110;6;1;7;1;4;104;6;1;6;1;770;3;440;1291110;6;0;0;0;0;0;0;0;0;0;0;0
-770;3;440;1121130;6;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
-770;3;440;1141150;6;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
-1770;4;6440;-11161170;7;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