3 files changed, 0 insertions, 140 deletions
diff --git a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv b/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix.csv
deleted file mode 100644
index 21129939..00000000
--- a/contrib/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/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names b/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names
deleted file mode 100644
index 694a3a2d..00000000
--- a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_names
+++ /dev/null
@@ -1,49 +0,0 @@
-1 ord_enum_eqE
-2 eq_mkseqmx_ord
-3 fun_of_seqmxE
-4 mkseqmxE
-5 size_seqmx
-6 seqmxE
-7 seqmx_is_trans
-8 seqmx0n
-9 seqmxm0
-10 inj_seqmx_of_mx
-11 seqmx_eqP
-12 size_row_seqmx
-13 size_row_mkseqmx
-14 seqmxP
-15 seqmx_of_funE
-16 map_seqmxE
-17 zipwithseqmxE
-18 addseqmxE:
-
-19 oppseqmxE:
-
-20 subseqmxE:
-
-21 size_trseqmx
-22 size_row_trseqmx
-23 trseqmxE
-24 const_seqmxE
-25 seqmx0E
-26 minSS
-27 usubseqmxE
-28 dsubseqmxE
-29 lsubseqmxE
-30 rsubseqmxE
-31 ulsubseqmxE
-32 ursubseqmxE
-33 dlsubseqmxE
-34 drsubseqmxE
-35 size_row_row_seqmx
-36 row_seqmxE
-37 size_row_col_seqmx
-38 col_seqmxE
-39 colseqmxE
-40 block_seqmxE
-41 cast_seqmx
-42 scalar_seqmxE
-43 delta_seqmxE
-44 seqmx1E
-45 scaleseqmxE
-46 seqmx_of_mx_eq0
diff --git a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_tactics.csv b/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_tactics.csv
deleted file mode 100644
index 3057f33d..00000000
--- a/contrib/ML4PG/libs/ssreflect/coqeal/seqmatrix_tactics.csv
+++ /dev/null
@@ -1,45 +0,0 @@
--6;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;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;10;1;0;0;0;0;0
--6;-6;-11;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;44;107;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;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
-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;1.1010911111010912e+20;101010101010.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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;113;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;114;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;114;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--7;-78;-111;11;1;0;0;0;0;0;0;0;0;0;0;-4;0;105;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;116117;10;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;-4;-4;106109;12;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;-10;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;118110108109109.0;76613;4;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--6;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;444;107119;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--6;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;0;1.2112212312412612e+32;666677610.0;8;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;44;130131;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--12;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0812111012110813e+17;6610613;5;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--13;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;108;7;1;0;0;0;0;0;0;0;0;0;0;-4;44;1.3312113413512114e+56;66661010101010.0;9;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;0;105;6;1;0;0;0;0;0;0;0;0;0;0;-4;44;136137138131.0;14146;3;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;0;105;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;136139131;15156;3;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;0;105;6;1;0;0;0;0;0;0;0;0;0;0;-4;44;136137138131.0;14146;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--14;0;-1;716161616.0;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;-4;0;133104117134.01172;6661616;5;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--2;-14;-111;767;3;-16;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;0;6;1;-4;4;1.3510413314213311e+32;66613761313.0;8;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;0;0;-10;0;-1;10;1;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;-4;0;0;13;1;-4;0;1.4414502321331243e+45;661077710131013.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;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;1.4014312414014311e+26;6610;3;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;44;147148;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;0;0;-16;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;202;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--7;0;-1;5;1;-10;0;-1;6;1;0;0;0;0;0;-4;0;108;5;1;0;0;0;0;0;0;0;0;0;0;-4;4;2.101211032331552e+32;666610;5;0;0;0;0;0;0;0;0;0;0;-4;0;100;6;1
--7;0;-1;5;1;0;0;0;0;0;0;0;0;0;0;-4;0;108;5;1;0;0;0;0;0;0;0;0;0;0;-4;44;1.9912121215812717e+26;6610;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--7;0;-1;5;1;-10;0;-1;6;1;0;0;0;0;0;-4;0;108;5;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0812111012121013e+17;66661010;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--7;0;-1;5;1;0;0;0;0;0;0;0;0;0;0;-4;0;108;5;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0812111012119913e+35;6661010;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;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;160161;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;162161;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;160163;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;162163;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--11;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;44;135106127121134.0;7613;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;0;0;-4;0;-1;10;1;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;44;1.3312113416413113e+35;661010102.0;6;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
--11;0;-1;7;1;-4;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;444;2.0912112712716523e+26;76662;5;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;0;0;-4;0;-1;10;1;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0612116713120912e+23;66101010;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;-4;0;108;10;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0812111012121013e+17;1061010;4;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;44;169170;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;10;1;0;0;0;0;0;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;1.2112717117211617e+29;6610106;5;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;0;0;0;-4;0;-1;10;1;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;108177179131148.0;61010;3;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1
-0;0;0;0;0;-16;0;-1;10;1;0;0;0;0;0;-4;0;108;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;1.0817717913118014e+17;61010;3;0;0;0;0;0;0;0;0;0;0;-4;0;100;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;0;0;0;0;0;-4;44;181180;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;-4;0;105;6;1;0;0;0;0;0;0;0;0;0;0;-4;4;139131;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0
-0;0;1;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;-4;0;0;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0