l10_int_2

C * ! / b0  * * c=> * cv7_ordinal1 b0 * ! / b1  * * c=> * cv7_ordinal1 b1 * * c<=> * * cr1_int_1 b0 b1 * c? / b2  * * c& * cv7_ordinal1 b2 * * c= b1 * * ck3_xcmplx_0 b0 b2 
+ * ! / b0  * * c=> * cv7_ordinal1 b0 * cv1_int_1 b0 
+ * ! / b0  * * c=> * cv7_ordinal1 b0 * cv1_xreal_0 b0 
+ * ! / b0  * * c=> * cv1_int_1 b0 * cv1_xreal_0 b0 
+ * ! / b0  * * c=> * cv1_xreal_0 b0 * cv1_xcmplx_0 b0 
+ * ! / b0  * * c=> * cv1_xreal_0 b0 * cv1_xxreal_0 b0 
+ * ! / b0  * * c=> * * cm1_subset_1 b0 ck4_ordinal1 * cv7_ordinal1 b0 
+ * ! / b0  * ! / b1  * * c=> * * c& * cv1_xxreal_0 b0 * cv1_xxreal_0 b1 * * c| * * cr1_xxreal_0 b0 b1 * * cr1_xxreal_0 b1 b0 
+ * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * * c<=> * * cr1_int_1 b0 b1 * c? / b2  * * c& * cv1_int_1 b2 * * c= b1 * * ck3_xcmplx_0 b0 b2 
+ * * c= ck5_numbers ck4_ordinal1 
+ * * c= ck6_numbers ck1_xboole_0 
+ * ! / b0  * * c=> * cv1_xreal_0 b0 * ! / b1  * * c=> * cv1_xreal_0 b1 * * c=> * * c& * * cr1_xxreal_0 ck6_numbers b0 * * cr1_xxreal_0 b1 ck6_numbers * * cr1_xxreal_0 * * ck3_xcmplx_0 b0 b1 ck6_numbers 
+ * * cm1_subset_1 ck1_xboole_0 ck4_ordinal1 
+ * ! / b0  * ! / b1  * * c=> * * cr2_hidden b0 b1 * * cm1_subset_1 b0 b1 
+ * ! / b0  * * c=> * cv1_xcmplx_0 b0 * * c= * * ck3_xcmplx_0 b0 ck6_numbers ck6_numbers 
+ * ! / b0  * * c=> * cv7_ordinal1 b0 * * cr1_xxreal_0 ck6_numbers b0 
+ * ! / b0  * * c=> * cv1_int_1 b0 * * c=> * * cr1_xxreal_0 ck6_numbers b0 * * cr2_hidden b0 ck5_numbers 
+ * ! / b0  * * c=> * cv7_ordinal1 b0 * c~ * * c& * c~ * * c= ck6_numbers b0 * * cr1_xxreal_0 b0 ck6_numbers 
- * ! / b0  * * c=> * cv1_int_1 b0 * * c& * * cr1_int_1 b0 * ck4_xcmplx_0 b0 * * cr1_int_1 * ck4_xcmplx_0 b0 b0 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * ! / b2  * * c=> * cv1_int_1 b2 * * c=> * * c& * * cr1_int_1 b0 b1 * * cr1_int_1 b1 b2 * * cr1_int_1 b0 b2 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * ! / b2  * * c=> * cv1_int_1 b2 * * c=> * * cr1_int_1 b0 b1 * * cr1_int_1 b0 * * ck3_xcmplx_0 b1 b2 
- * ! / b0  * * c=> * cv1_int_1 b0 * * c& * cv1_xcmplx_0 * ck4_xcmplx_0 b0 * cv1_int_1 * ck4_xcmplx_0 b0 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * ! / b2  * * c=> * cv1_int_1 b2 * * c<=> * * * cr2_int_1 b0 b1 b2 * * cr1_int_1 b2 * * ck6_xcmplx_0 b0 b1 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * ! / b2  * * c=> * cv1_int_1 b2 * * c=> * * c& * * cr1_int_1 b0 b1 * * cr1_int_1 b0 * * ck2_xcmplx_0 b1 b2 * * cr1_int_1 b0 b2 
- * ! / b0  * * c=> * cv1_int_1 b0 * * c& * * cr1_int_1 b0 ck6_numbers * * c& * * cr1_int_1 c1 b0 * * cr1_int_1 * ck4_xcmplx_0 c1 b0 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * * c<=> * * cr1_int_1 b0 b1 * * cr1_int_1 * ck4_xcmplx_0 b0 b1 
- * ! / b0  * * c=> * cv7_ordinal1 b0 * * c=> * c~ * * cr1_xxreal_0 b0 ck6_numbers * ! / b1  * * c=> * cv1_int_1 b1 * * c<=> * * c= * * ck6_int_1 b1 b0 ck6_numbers * * cr1_int_1 b0 b1 
- * ! / b0  * * c=> * cv1_int_1 b0 * * c<=> * * cr1_int_1 ck6_numbers b0 * * c= b0 ck6_numbers 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * ! / b2  * * c=> * cv1_int_1 b2 * * c=> * * c& * * cr1_int_1 b0 b1 * * cr1_int_1 b0 b2 * * cr1_int_1 b0 * * ck6_int_1 b1 b2 
- * ! / b0  * * c=> * cv1_int_1 b0 * ! / b1  * * c=> * cv1_int_1 b1 * * c<=> * * cr1_int_1 b0 b1 * * cr1_int_1 b0 * ck4_xcmplx_0 b1 
- * ! / b0  * ! / b1  * * c=> * * c& * cv1_int_1 b0 * cv1_int_1 b1 * * cr1_int_1 b0 b0 
- * ! / b0  * ! / b1  * * c=> * * c& * cv1_int_1 b0 * cv1_int_1 b1 * cv1_int_1 * * ck3_xcmplx_0 b0 b1 
- * ! / b0  * ! / b1  * * c=> * * c& * cv1_int_1 b0 * cv1_int_1 b1 * cv1_int_1 * * ck6_int_1 b0 b1 
- * ! / b0  * ! / b1  * ! / b2  * * c=> * * c& * cv1_xcmplx_0 b0 * * c& * cv1_xcmplx_0 b1 * cv1_xcmplx_0 b2 * * c= * * ck3_xcmplx_0 * * ck3_xcmplx_0 b0 b1 b2 * * ck3_xcmplx_0 b0 * * ck3_xcmplx_0 b1 b2 
- * ! / b0  * * c=> * cv1_int_1 b0 * * c= * * ck6_int_1 b0 b0 ck6_numbers