diff options
Diffstat (limited to 'contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv')
| -rw-r--r-- | contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv | 156 |
1 files changed, 0 insertions, 156 deletions
diff --git a/contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv b/contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv deleted file mode 100644 index 1f8d30e3..00000000 --- a/contrib/ML4PG/libs/ssreflect/advance/bigop_tactics.csv +++ /dev/null @@ -1,156 +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;0;102;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;-666;-1111;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;102;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-7;0;-1;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;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-7;0;-1;11;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;-7;0;-1;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;0;0;0;0;0 -0;0;0;0;0;-6;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;44;191103104;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-9;0;-1;13;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 --6;-66;-111;14;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;105106;14;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --6;-66;-111;15;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;105106;15;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --6;-666;-1111;16;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;105107;16;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-10;0;-1;17;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;-10;0;-1;18;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;-4;0;100;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;0;0;0;0;0;0;0;0;0;0;-4;0;100;13;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;0;100;14;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;0;100;15;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;0;100;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;11;1 -0;0;0;0;0;-11;0;-1;19;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;-11;0;-1;20;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;7;1;0;0;0;0;0 -0;0;0;0;0;-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;0;1.1011111213611311e+20;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;115116;21;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;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;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-12;0;-1;22;1;-6;0;-1;22;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;22;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;22;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;0;100;22;1 -0;0;0;0;0;-12;0;-1;22;1;-6;0;-1;22;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;22;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;22;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;0;100;22;1 -0;0;0;0;0;0;0;0;0;0;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117122155;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-12;0;-1;22;1;-6;0;-1;22;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;22;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;22;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;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;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;100;6;1 -0;0;0;0;0;-4;0;-1;6;1;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;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;125125126;66;2;0;0;0;0;0;0;0;0;0;0;-4;0;100;6;1 --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;4;125169;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;-4;0;100;6;1 --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;-4;0;102103;77;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;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;-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;0;117;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;0;117;23;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;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;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;444;129130232;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;444444;1.2517016013111712e+17;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;44;132133;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;-4;0;106;7;1;0;0;0;0;0;0;0;0;0;0;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;117135;23;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;44;136124;7;1;0;0;0;0;0;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;0;0;0;0;0;0;0;0;0;0;-4;44;125125159170160.0;77;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-4;0;-1;6;1;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117;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;0;125;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;138139;6;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;4;140141;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;0;138142;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;143139;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --12;-12;-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;4;138138242142149.0;767;3;0;0;0;0;0;0;0;0;0;0;-4;0;100100;67;2 --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;-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;216146;7;1;0;0;0;0;0;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;-4;444;112147;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;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;-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;4444;113107149130.0107;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;44;126150129126.0;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;44;151152;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;44;232130117153.0;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --15;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;103;7;1;0;0;0;0;0;-4;44;1.2512612515515613e+20;766;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;-4;-4;110;7;1;0;0;0;0;0;-4;44;160161160;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;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;-4;0;100;7;1 --15;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;162163;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;44;164124165;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;23;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;146166167160168.0;2366;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-6;0;-1;23;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;0;7;1;-4;4444;166164124125.0238;66667;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;23;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;0;100;23;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;0;100;23;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;141151152160173.0;666;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;174160175;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;44;174185176;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;177178;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;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;102;7;1;-4;44;1.2517016010517919e+20;76;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --6;0;-11;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;110;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;8;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;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;174;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;6;1 -0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;113;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 --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;44;138139183;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;44;117103;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-6;0;-1;6;1;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;117109;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;-6;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;184117185;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;444;125186187188.0;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;-4;0;102;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 -0;0;-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;444;190114191113.0114;76;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;4444;151193103;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;444;194195196;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;0;1.6016319716017216e+20;66666;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;4444;117190130;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.301301901152012e+23;66666;5;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;-6;0;-1;7;1;0;0;0;0;0;-4;0;121114114;766;3;-4;0;0;6;1;-4;0;1.842041901471072e+23;766666;6;0;0;0;0;0;0;0;0;0;0;-4;0;100;6;1 -0;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.2518620921012413e+17;72121;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --15;0;-1;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;139;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;211212213;76;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;-4;0;103;7;1;0;0;0;0;0;-4;4;184147;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --23;0;-1;7;1;-12;0;-1;6;1;-4;0;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;4;1.252141472152161e+20;766;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --23;0;-11;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;104;7;1;0;0;0;0;0;0;0;0;0;0;-4;444;2.1821820921912413e+17;722;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;4444;103107105107.0;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-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;4;184222223;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --15;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;0;224225149242.0;766;3;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --15;0;-1;7;1;-19;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;0;224149;76;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;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;125;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --15;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;227228242149.0;76;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --12;0;-1;7;1;-4;0;-1;676;3;0;0;-1;6;1;0;0;0;0;0;-4;0;107;7;1;0;0;0;0;0;-4;4;2.3016412412523123e+35;6667666;7;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --12;0;-1;7;1;-4;0;-1;76;2;0;0;-1;7;1;-4;-4;108109;6;1;-4;-4;107;7;1;0;0;0;0;0;-4;444;1.6412423523620224e+41;6676666;7;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-22;0;-1;76;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;239242240204.0;766;3;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 -0;0;0;0;0;-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;0;1.9323415016024324e+26;66666;5;0;0;0;0;0;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;-4;0;126;7;1;-4;0;0;67;2;-4;4;2471240204248249.0;666;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;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;0;100;6;1 --12;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;0;7;1;-4;0;1.4114125023920425e+20;6666;4;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;4;252253249;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;1.4113825212414213e+26;767666;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;4;255253249;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;0;256;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;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;44444;256258124259260.0;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;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;262263;66;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 -0;0;0;0;0;-19;0;-1;662177;5;-6;0;-1;7;1;-4;-4;1.081091091091181e+26;77677;5;-4;0;112;7;1;-4;0;0;7;1;-4;4;1.2518612518611622e+26;7.777777777676673e+21;20;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 -0;0;0;0;0;-12;0;-1;7;1;0;0;0;0;0;-4;-4;108108;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;269;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --22;0;-1;7;1;-4;0;-1;77;2;0;0;0;0;0;-4;-4;108109109108.0;777;3;0;0;0;0;0;0;0;0;0;0;-4;4;100;7777;4;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;0;0;0;0;0;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;0;273;7;1;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;0;117;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;0;117;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;184117;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;184117;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;-4;110113;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;274;6;1;8;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;-4;114114;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;275276;66;2;0;0;0;0;0;0;0;0;0;0;-4;0;100;21;1 -0;0;0;0;0;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;177;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;278279;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;177280;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;-1;6;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;281;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;281280;6;1;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;282;7;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;24;1 --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;-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;143285182;6;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;44;286124;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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 --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;4;233288;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;-4;0;100;21;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;293124;21;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;2;1 --6;0;-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;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0;-4;0;100;7;1 --15;0;-1;7;1;0;0;-1;7;1;0;0;0;0;0;-4;0;109;6;1;0;0;0;0;0;0;0;0;0;0;-4;444;148289249;6;1;0;0;0;0;0;0;0;0;0;0;-4;0;100;6;1 -0;0;0;0;0;-4;0;-1;725;2;0;0;0;0;0;0;0;0;0;0;-4;0;116;7;1;0;0;0;0;0;0;0;0;0;0;8;0;1;25;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;-4;0;0;7;1;0;0;0;0;0;8;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;-4;0;100;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;2;1;-4;4444;233296297298.02963;221;2;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 --6;0;-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;444;300233301;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;-4;0;0;2;1;-4;4444;233302297303.03024;221;2;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;4;233305;7;1;0;0;0;0;0;0;0;0;0;0;0;0;0;0;0 |