Quelle prelude_A4.prf
Sprache: Lisp
(prelude_A4nil 3250069458 ("" (grind) nil nil )"bool" integers nil )) nil ))nil 3250069458 ("" (grind) nil nil )"bool" integers nil )) nil ))nil 3250069458"" (expand "even?" )"" (skosimp*)"" (replace -1)"" (hide -1)"" (rewrite "expt_times" )"" (rewrite "expt_times" )"" (case-replace "(-nx!1) ^ 2 = nx!1 ^ 2" )"" (hide 2) (("" (grind) nil nil )) nil )) nil ))nil ))nil ))nil ))nil ))nil ))nil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )"nzreal" real_typesnil )"nzreal" exponentiation nil )"nzreal" nil )"(total_order?[real])" nil )"nzreal" nil )"real" exponentiation nil )"[T, T -> boolean]" equalities nil )OR const-decl "[bool, bool -> bool]" booleans nil )"bool" reals nil )"real" exponentiation nil )"nzreal" exponentiation nil )nil real_types nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil booleans nil )nil reals nil )"boolean" notequal nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil exponentiation nil )"bool" integers nil ))nil ))nil 3250069458 ("" (grind) nil nil )"even_int" integersnil )"(divides(n))" divides nil )"(divides(m))" divides nil )"bool" integers nil ))nil ))nil 3250069458 ("" (grind) nil nil )"even_int" integersnil )"(divides(n))" divides nil )"(divides(m))" divides nil )"bool" integers nil ))nil ))nil 3250069458"" (expand "odd?" )"" (skosimp*)"" (replace -1)"" (case "j!1 >=0" )"1" (rewrite "expt_plus" )"1" (rewrite "expt_plus" )"1" (rewrite "expt_x1" )"1" (rewrite "expt_x1" )"1" "expt_neg_even" ("nx" "nx!1" "n" "2*j!1" ))"1" (split -1)"1" (assert ) nil nil )"2" (hide 2)"2" (expand "even?" )"2" (inst + "j!1" ) nil nil )) nil ))nil ))nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil )"2" (hide 2)"2" (typepred "n!1" ) (("2" (assert ) nil nil )) nil )) nil ))nil ))nil ))nil ))nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )"bool" reals nil )nil booleans nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )"[numfield -> numfield]" number_fields nil )"nzreal" real_typesnil )"odd_int" integers nil )"bool" integers nil )"(total_order?[real])" nil )nil naturalnumbers nil )nil prelude_A4 nil )nil exponentiation nil )"nzreal" nil )nil real_types nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil reals nil )"boolean" notequal nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )nil exponentiation nil )NOT const-decl "[bool -> bool]" booleans nil )"bool" integers nil )"nzreal" exponentiation nil )"(divides(m))" divides nil )"(divides(n))" divides nil )"even_int" integersnil ))nil ))nil 3250069458 ("" (grind) nil nil )"real" exponentiation nil )"real" exponentiation nil )"nat" exponentiation nil ))nil ))nil 3250069458 ("" (grind) nil nil ) nil nil ))nil 3250069458"" (skosimp*)"" (rewrite "div_expt" ) (("" (rewrite "expt_1i" ) nil nil )) nil ))nil )nil exponentiation nil )nil numbers nil )nil booleans nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"boolean" notequal nil )nil reals nil )"nzreal" exponentiation nil )"nnrat" exponentiation nil )"nzreal" nil )nil exponentiation nil ))nil ))nil 3250069458 ("" (grind) nil nil )"boolean" notequal nil )) nil ))nil 3250069458 ("" (grind) nil nil )"boolean" notequal nil )) nil ))nil 3250069458"" (skosimp*)"" (case-replace "x!1=0" )"1" (expand "^" 1 2)"1" (expand "^" 1 1)"1" (expand "expt" ) (("1" (propax) nil nil )) nil )) nil ))nil )"2" (case-replace "y!1=0" )"1" (expand "^" 2 1)"1" (expand "^" 2 2)"1" (expand "expt" ) (("1" (assert ) nil nil )) nil )) nil ))nil )"2" (rewrite "mult_expt" ) nil nil ))nil ))nil ))nil )nil numbers nil )nil booleans nil )"[T, T -> boolean]" equalities nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"real" exponentiation nil )"real" exponentiation nil )nil exponentiation nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )nil booleans nil )"bool" reals nil )nil integers nil )"bool" reals nil )nil integers nil )"boolean" notequal nil )nil reals nil )"nonneg_int" nil )"even_int" integersnil )"(divides(n))" divides nil )"(divides(m))" divides nil )"nat" exponentiation nil )"int" integers nil ))nil ))nil 3250069458 ("" (grind) nil nil )"boolean" notequal nil )) nil ))nil 3250069458 ("" (grind) nil nil ) nil nil ))nil 3250069458"" (skosimp*)"" "expt_product_n0i" ("x" "x!1" "y" "1/n0y!1" "pn" "pn!1" ))"" (rewrite "expt_inverse_inv" -1) (("" (assert ) nil nil ))nil ))nil ))nil )nil reals nil )"[numfield, nznum -> numfield]" number_fields nil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )nil integers nil )"bool" reals nil )nil integers nil )"bool" reals nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil prelude_A4 nil )"nzreal" nil )"real" reals nil )"real" reals nil )"nzreal" exponentiation nil )nil prelude_A4 nil ))nil ))nil 3250069458 ("" (grind) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )nil naturalnumbers nil )"real" reals nil )"odd_int" integers nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )"posint" nil ))nil ))nil 3250069458"" (skosimp*)"" (case "n!1 + 1 + y!1 > 0" )"1" (rewrite "div_mult_pos_le2" )"1" (rewrite "div_mult_pos_lt1" ) (("1" (assert ) nil nil ))nil ))nil )"2" (assert ) nil nil ))nil ))nil )nil naturalnumbers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )"[numfield, numfield -> numfield]" number_fields nil )nil number_fields nil )"bool" reals nil )nil booleans nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )"real" reals nil )nil real_props nil )"real" reals nil )"(total_order?[real])" nil )"real" reals nil )"odd_int" integers nil )"(strict_total_order?[real])" real_props nil )nil real_types nil )nil real_types nil )nil real_props nil )"(total_order?[real])" nil )"posint" nil )"posint" nil )"(strict_total_order?[real])" real_props nil )AND const-decl "[bool, bool -> bool]" booleans nil ))nil ))nil 3250069458 ("" (subtype-tcc) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil integers nil )nil integers nil )"real" reals nil )"odd_int" integers nil )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )"posint" nil ))nil ))nil 3250069458"" (skosimp*)"" (typepred "pn!1" )"" (lemma "A4_0" ("y" "y!1" "n" "pn!1" ))"" (assert ) (("" (flatten -1) (("" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )nil integers nil )nil integers nil )"bool" reals nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )"bool" reals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil numbers nil )NOT const-decl "[bool -> bool]" booleans nil )nil booleans nil )nil booleans nil )"nzreal" nil )"real" reals nil )"posint" nil )"odd_int" integers nil )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )nil prelude_A4 nil )nil naturalnumbers nil ))nil ))nil 3250069458"" (skosimp*)"" (lemma "A4_0" ("y" "y!1" "n" "n!1" ))"" (lemma "trich_lt" ("x" "y!1" "y" "0" ))"" (split -1)"1" "both_sides_times_neg_lt1" "y" "-1" "x" "y!1" "nz" "-1" ))"1" "lt_times_lt_pos1" "px" "y!1 * -1" "y" "1" "nnz" "n!1 / (n!1 + 1 + y!1)" "w" "1" ))"1" "both_sides_times_neg_lt1" "y" "-1" "x" "z!1" "nz" "-1" ))"1" (grind) nil nil )) nil )"2" (assert ) nil nil ) ("3" (assert ) nil nil )"4" (assert ) nil nil ))nil ))nil )"2" (replace -1) (("2" (grind) nil nil )) nil )"3" (lemma "trich_lt" ("x" "n!1" "y" "0" ))"3" (split -1)"1" (assert ) nil nil )"2" (replace -1) (("2" (assert ) nil nil )) nil )"3" (lemma "A4_1" ("y" "y!1" "pn" "n!1" ))"1" "lt_times_lt_nn1" "nnx" "0" "y" "n!1 / (n!1 + 1 + y!1)" "nnz" "0" "w" "y!1" ))"1" (grind) nil nil ) ("2" (assert ) nil nil )) nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil naturalnumbers nil )"bool" reals nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil prelude_A4 nil )"real" reals nil )"real" reals nil )"real" reals nil )nil real_props nil )nil real_types nil )"boolean" notequal nil )nil number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"bool" reals nil )nil real_types nil )"[numfield, numfield -> numfield]" number_fields nil )"(total_order?[real])" nil )"(strict_total_order?[real])" real_props nil )"posint" nil )"posint" nil )AND const-decl "[bool, bool -> bool]" booleans nil )"(strict_total_order?[real])" real_props nil )"odd_int" integers nil )"(divides(n))" divides nil )"posint" nil )"(total_order?[real])" nil )"[numfield -> numfield]" number_fields nil )nil number_fields nil )nil real_types nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil real_props nil )"odd_int" integers nil )"nonneg_rat" nil )"nonneg_int" nil )"even_int" integersnil )"(divides(m))" divides nil )"odd_int" integers nil )nil prelude_aux nil )nil real_types nil )"even_int" integersnil )nil prelude_A4 nil )nil integers nil )nil integers nil )nil real_props nil ))nil ))nil 3250069458"" (skosimp*)"" (lemma "A4_1" ("y" "y!1" "pn" "pn!1" ))"" "both_sides_times_neg_lt1" "y" "pn!1 / (pn!1 + 1 + y!1)" "x" "1" "nz" "y!1" ))"1" (grind) nil nil ) ("2" (assert ) nil nil )"3" (assert ) nil nil ))nil ))nil ))nil )nil integers nil )"bool" reals nil )nil integers nil )"bool" reals nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil prelude_A4 nil )"real" reals nil )"posint" nil )"odd_int" integers nil )"real" reals nil )AND const-decl "[bool, bool -> bool]" booleans nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )"real" reals nil )"nzreal" nil )nil real_props nil )"bool" reals nil )nil real_types nil )"bool" reals nil )nil real_types nil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )"[numfield, numfield -> numfield]" number_fieldsnil ))nil ))nil 3250069458 ("" (subtype-tcc) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil integers nil )nil integers nil )"real" reals nil )"int" integers nil )"(strict_total_order?[real])" real_props nil )"posint" nil ))nil ))nil 3250069458 ("" (grind) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil integers nil )nil integers nil )"(divides(m))" divides nil )"(divides(n))" divides nil )"even_int" integersnil )"nonneg_int" nil )"(strict_total_order?[real])" real_props nil )"nonneg_rat" nil )"posint" nil )"real" reals nil )"real" reals nil ))nil ))nil 3250069458 ("" (grind) nil nil )nil booleans nil )nil booleans nil )NOT const-decl "[bool -> bool]" booleans nil )nil numbers nil )"[number -> boolean]" number_fieldsnil )nil number_fields nil )"[number_field -> boolean]" reals nil )nil reals nil )"bool" reals nil )"[real -> boolean]" rationals nil )nil rationals nil )"[rational -> boolean]" integers nil )nil integers nil )"bool" reals nil )nil integers nil )nil integers nil )"real" reals nil )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )"posint" nil ))nil ))nil 3250069458"" (skosimp*)"" (lemma "A4_1" ("pn" "pn!1" "y" "y!1" ))"" (assert )"" (flatten -1)"" "both_sides_times_pos_lt1" "pz" "y!1" "x" "pn!1 / (1 + pn!1 + y!1)" "y" "1" ))"" (assert ) nil nil )) nil ))nil ))nil ))nil ))nil )nil integers nil )"bool" reals nil )nil integers nil )"bool" reals nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil prelude_A4 nil )AND const-decl "[bool, bool -> bool]" booleans nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )"nzreal" nil )nil real_props nil )nil real_types nil )nil real_types nil )nil number_fields nil )"boolean" notequal nil )nil number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"(strict_total_order?[real])" real_props nil )"real" reals nil )"real" reals nil )"real" reals nil )"posint" nil )"odd_int" integers nil ))nil ))nil 3250069458"" (skosimp*)"" (lemma "A4_1" ("y" "y!1" "pn" "pn!1" ))"" "both_sides_plus_lt1" ("x" "-1" "y" "y!1" "z" "pn!1+1" ))"" "lt_le_transitivity" "x" "0" "y" "pn!1" "z" "1+pn!1+y!1" ))"" "both_sides_plus1" "x" "z!1" "y" "pn!1 * y!1 / (pn!1 + 1 + y!1)" "z" "(pn!1 + 1 + y!1)/(pn!1 + 1 + y!1)" ))"1" (copy -6)"1" (replace -2 -7 rl)"1" (rewrite "div_distributes" -7)"1" (rewrite "div_simp" -7)"1" (replace -7 1)"1" (replace -1 1)"1" (hide (-1 -2 -7))"1" "both_sides_div_pos_lt1" "x" "pn!1 * x!1 * (1 + pn!1) * (1+y!1)" "y" "pn!1 * y!1" "pz" "pn!1 + 1 + y!1" ))"1" "both_sides_times_pos_lt1" "x" "(pn!1 + 1) * x!1 * (1 + y! " "y" "y!1" "pz" "pn!1" ))"1" (grind) nil nil )) nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" (assert ) nil nil ))nil )"2" (assert ) nil nil ))nil ))nil ))nil ))nil ))nil )nil integers nil )"bool" reals nil )nil integers nil )"bool" reals nil )nil booleans nil )nil integers nil )"[rational -> boolean]" integers nil )nil rationals nil )"[real -> boolean]" rationals nil )nil reals nil )"[number_field -> boolean]" reals nil )nil number_fields nil )"[number -> boolean]" number_fieldsnil )nil booleans nil )nil numbers nil )nil prelude_A4 nil )"real" reals nil )nil prelude_aux nil )nil reals nil )nil real_props nil )"real" reals nil )"int" integers nil )nil real_props nil )"(total_order?[real])" nil )"nzreal" nil )"int" integers nil )"(divides(n))" divides nil )"posint" nil )"(strict_total_order?[real])" real_props nil )AND const-decl "[bool, bool -> bool]" booleans nil )"(strict_total_order?[real])" real_props nil )"(total_order?[real])" nil )nil real_types nil )nil real_types nil )nil real_props nil )"odd_int" integersnil )"real" reals nil )nil real_props nil )"[numfield, numfield -> numfield]" number_fields nil )"[numfield, nznum -> numfield]" number_fields nil )nil number_fields nil )"boolean" notequal nil )nil real_props nil )"real" reals nil )"odd_int" integers nil )"posint" nil )nil real_props nil )nil number_fields nil )"[numfield -> numfield]" number_fields nil )"[numfield, numfield -> numfield]" number_fieldsnil ))nil ))nil 3250069458"" (skosimp*) (("" (assert ) nil nil )) nil )"real" reals nil )"real" reals nil )"(strict_total_order?[real])" real_props nil ))nil ))nil 3250069458"" (skolem!)"" (flatten)"" (induct "n" )"1" (skosimp*) (("1" (grind) nil nil )) nil )"2" (skolem!)"2" (skosimp*)"2" (lemma "trich_lt" ("x" "j!1" "y" "0" ))"2" (split -1)"1" (assert ) nil nil )"2" (replace -1)"2" "div_mult_pos_lt2" "x" "x!1" "py" "1+y!1" "z" "y!1" ))"1" "lt_times_lt_nn1" "nnx" "0" "y" "y!1" "nnz" "0" "w" "y!1" ))"1" "both_sides_plus_lt1" "x" "0" "y" "y!1 * y!1" "z" "y!1" ))"1" "div_mult_pos_lt1" "z" "y!1" "py" "1+y!1" "x" "y!1" ))"1" (grind) nil nil )) nil ))nil ))nil )"2" (assert ) nil nil ))nil ))nil )"3" (name "z!1" "j!1*y!1/(j!1+1+y!1)" )"1" "A4_4" "y" "y!1" "z" "z!1" "pn" "j!1" "x" "x!1" ))"1" (inst - "z!1" )"1" (lemma "A4_1" ("y" "y!1" "pn" "j!1" ))"1" "lt_times_lt_nn1" "nnx" "0" "y" "j!1 / (j!1 + 1 + y!1)" "nnz" "0" "w" "y!1" ))"1" (replace -4)"1" (bash -3)"1" "both_sides_plus1" "y" "z!1" "x" "j!1 * y!1 / (j!1 + 1 + y!1)" "z" "(j!1 + 1 + y!1)/(j!1 + 1 + y!1)" ))"1" "1" replace -2 -7 rl)"1" rewrite "div_distributes" -7)"1" rewrite "div_simp" -7)"1" replace -7 -9 rl)"1" "lt_times_lt_nn1" "nnx" "0" "y" "y!1" "nnz" "0" "w" "y!1" ))"1" "both_sides_plus_lt1" "x" "0" "y" "y!1 * y!1" "z" "y!1" ))"1" "div_mult_pos_lt1" "z" "y!1" "x" "y!1" "py" "1+y!1" ))"1" "div_mult_pos_lt2" "x" "x!1*(1+j!1)" "py" "1+y!1" "z" "y!1" ))"1" "expt_plus" "n0x" "1+x!1" "i" "1" "j" "j!1" ))"1" replace -1 1)"1" "AA" "(1 + x!1) ^ j!1" )"1" "1" replace "1" "1" replace "1" "1" replace "1" "1" replace "1" "1" "1" "posreal_expt" )"1" "j!1" "1+x!1" )"1" expand "^" )"1" replace "1" "1" expand "expt" )"1" expand "expt" )"1" "lt_times_lt_pos1" "px" "AA" "y" "((1+j!1)*(1+y!1))/(1 + j!1 + y!1)" "nnz" "1+x!1" "w" "(1 + j!1 + y!1)/(1+j!1)" ))"1" "div_times" "x" "(1 + y!1)*(1 + j!1)" "n0x" "(1 + j!1 + y!1)" "y" "(1 + j!1 + y!1)" "n0y" "1 + j!1" ))"1" replace "1" "div_cancel1" "x" "1+y!1" "n0z" "(1 + j!1 + y!1) * (1 + j!1)" ))"1" replace "1" "1" "div_mult_pos_lt2" "x" "x!1" "py" "(1+y!1)*(1+j!1)" "z" "y!1" ))"1" replace "1" "both_sides_plus_lt1" "x" "y!1 / (1 + y!1)" "y" "y!1" "z" "1+j!1" ))"1" replace "1" "lt_le_transitivity" "x" "(1+j!1)*x!1" "y" "y!1 / (1 + y!1)" "z" "y!1" ))"1" "both_sides_plus_lt1" "x" "(1 + j!1) * x!1" "y" "y!1" "z" "1 + j!1" ))"1" "div_mult_pos_lt2" "x" "x!1+1" "py" "1 + j!1" "z" "y!1+1+j!1" ))"1" nil nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" "lt_times_lt_nn1" "nnx" "0" "y" "1+j!1" "nnz" "0" "w" "1+y!1" ))"2" nil nil ))nil ))nil ))nil ))nil )"2" assert )"2" "lt_times_lt_nn1" "nnx" "0" "y" "1 + j!1 + y!1" "nnz" "0" "w" "1 + j!1" ))"2" nil nil ))nil ))nil ))nil ))nil ))nil )"2" assert )nil nil ))nil ))quality 100%
¤ Dauer der Verarbeitung: 0.27 Sekunden
(vorverarbeitet)
¤ *© Formatika GbR, Deutschland
2026-03-28
