java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43t of bounds for length 47nil nil )nil java.lang.StringIndexOutOfBoundsException: Range [49, 50) out of bounds for length 49nil naturalnumbersnil )"realsjava.lang.StringIndexOutOfBoundsException: Range [35, 34) out of bounds for length 35 "bool" walksnil )"[bool, bool -> bool]" booleans nil )nil finite_sets nil )nil digraphs nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil digraphs nil )set type-eq-decl nil sets nil )"bool" sets nil )nil digraphs nil )nil numbers nil )"number->boolean] nil )or length 64n: Index 64 out of bounds for length 64nil "bool" reals )nil rationals (?const-decl"" setsnil "[ - boolean" integers)nil naturalnumbers nil )nil nat_types nil )nil finite_sequences nil )nil walks nil )"bool" walks nil )nil 30766java.lang.StringIndexOutOfBoundsException: Index 28 out of bounds for length 28assert "((" "() "(total_order?[real]" nil )"1" ( -1)"(strict_total_order?[real])" real_props nil )" nil )"int" integers nil )"bool" digraphs nil )r length 22nil )"bool" walks nil )nil )ngth 21ength 32nil integers"" (* "3 (assert)niljava.lang.StringIndexOutOfBoundsException: Range [44, 43) out of bounds for length 51 " (ubtype-tcc)nil ) nil booleans nil )nil booleans nil )nil )"nat subtrees nil) nil digraphs nil )"total_order?]" nil finite_sets nil )nil digraphs nil )AND const-decl "[ real_props niljava.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20 nil digraphs)"bool" sets nil )nil digraphs nil )nil numbers nil )"number-> booleanoolean]" number_fieldsnil number_fields nil )"[number_field -> boolean]" reals nil )nil reals(const-decl"[ - boolean" realsnil "" )nil rationals nil )"[rational -> boolean]" integers rationalnonempty-type-from-decl rationalsnil )nil integers nil )(integer_predconst-decl "rational- boolean] integersnil) "bool" reals nil )nil nat_types )nil finite_sequences nil )nil walksnil "bool" walks nil ) ( nonempty-type-eq-declnil naturalnumbersnil )nil walks nil )"(strict_total_order?[real])" real_props nil )"total_orderr)java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65 nil )"(ANDconst-decl [ -bool" booleansnilnil java.lang.StringIndexOutOfBoundsException: Index 43 out of bounds for length 43nil )nil )"belowlengthfs] >T] finite_sequences "realsniljava.lang.StringIndexOutOfBoundsException: Index 35 out of bounds for length 35 nil )nil integers nil ))nil ))nil 3301756562"" (induct "n" 1 "NAT_induction" )"1" numfieldnonempty-type-eq-decl number_fields)"1" (inst -1 "j!1-1" )"1" (assert )"integersnil)java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68 "1" (assert )"1" (split -1)"1" (skosimp*)"1 3j!" (1 ( )) nil )java.lang.StringIndexOutOfBoundsException: Index 69 out of bounds for length 69nil (1()assert java.lang.StringIndexOutOfBoundsException: Index 30 out of bounds for length 30" inst j1)(2" assert nil nil ) )nil ))nil ))nil )nil ))nil )"2" (assert ) nil nil ))nil ))nil )"2" ((2"() niljava.lang.StringIndexOutOfBoundsException: Range [32, 33) out of bounds for length 32 "3" (skosimp*) (("3" (assert ) nil nil )("3(* (" ()nil) nil )nil )"(strict_total_order? (strict_total_order?[]" nil "(strict_total_order?[real])" real_props)"([)java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65 "" subtreesjava.lang.StringIndexOutOfBoundsException: Index 46 out of bounds for length 46"(total_order?real)java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65 nil )nil naturalnumbersnil )nil nil reals java.lang.StringIndexOutOfBoundsException: Index 48 out of bounds for length 48nil nil " boolean nil )nil nil )nil realsnil nil subtreesnil )"[rational -> boolean]" integers nil )nil integers nil )nil booleans nil ) (edgetype nil digraphsnil )"bool" reals nil )nil naturalnumbers)nil subtrees nil )nil nil AND const-decl "[ool bool ->bool] booleans) nil digraphsnil AND const-decl "[bool, bool -> bool]" (?const-decl"" setsnil nil digraphs nil )set type-eq-decl nil sets nil )nil nil nil nil nat_types nil nil walks nil )"" reals nil )nil walks nil )"bool" walks nil )nil walks nil ) (< const-decl "bool" reals nil )NOT const-decl "[bool -> bool]" booleans nil )nil integers nil )nil integers nil )"bool" reals nil )nil number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"int integers )) nil ))nil integers )"" (induct "n" 1 "NAT_induction" )"(numfield nonempty-type-eq-decl number_fields nil) " (int_minus_int_is_int application-judgement int ) nil ))"" ()"" split" java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23 "1" (("(?) nil )"!" ("" assert nil ) )java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67nil ))nil ))"2" (assert ) nil nil ))nil ))" (skosimp* (" 2(assert )nil nil )nil )"3" (skosimp*) (("3" (( nil digraphs )"(strict_total_order?[real])" real_props nil )"(strict_total_order?[real])" real_props nil )"total_order?)java.lang.StringIndexOutOfBoundsException: Index 65 out of bounds for length 65 nil )"natsubtrees ) "" setsnil "" sets))nil defined_types nil )nil numbersnil )nil )"" (*nil )nil number_fieldsnil )"" (iff1java.lang.StringIndexOutOfBoundsException: Index 18 out of bounds for length 18"(expand" java.lang.StringIndexOutOfBoundsException: Range [39, 38) out of bounds for length 40"[real -> (" "(expandjava.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 47 nil rationals((1"(*" subset? "" java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58"" (assert ) nil )))java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58nil booleans nil )"bool" reals nil )nil naturalnumbers nil )nil nil )nil digraphs nil )nil finite_sets nil )nil )"[bool, bool -> bool]" booleans nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil digraphs nil )set type-eq-decl nil sets nil )"bool" sets nil )nil digraphsnil )nil nat_types nil )nil finite_sequences)"bool" reals nil )"bool" walks nil )nil walks nil ) (< const-decl "bool" reals nil )NOT const-decl "[bool -> bool]" booleans nil )nil integers nil java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 55nil integers nil )"bool il) nil number_fields nil )"[numfield, numfield -> numfield]" number_fields nil )"" ()nil ))nil 33017565("" "" ((case "EXISTS (:posnat: "" (expand "member" )"" (split -2)"1" (replace -1 * rl)"1 hide-) (" 1" ()nil)))nil) "2" (typepred "G!1" )"2" (inst?)"2" (assert )"2" (flatten) (("2" (assert ) nil nil )) nil )) nil ))nil ))nil ))"walk_from?java.lang.StringIndexOutOfBoundsException: Index 47 out of bounds for length 47 nil ))nil "(nonempty?(" " nil booleans nil )nil booleans nil )"j1-) nil subtrees nil )"bool>] booleansnil) nil finite_sets nil )nil digraphs nil )AND const-decl "[bool, bool -> bool]" booleans nil )nil digraphs nil )set type-eq-decl nilth 51 of bounds for length 55nil ))nil 35608178"" (skosimp*)"" (decompose-equality)"" (iff 1)"" (prop)"1" (hide -2)"1 expand max_subtree) "1" (typepred "max_di_subgraph(G!1, tree?)" )"java.lang.StringIndexOutOfBoundsException: Index 153 out of bounds for length 153 "1" (expand java.lang.StringIndexOutOfBoundsException: Range [50, 47) out of bounds for length 55"1" lemma"1" (inst --1"" assert nil ilnil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" ( (("1" "2" (lemma "max_subtree_tree" )"2" (inst?)replace 2)"2" (case "(EXISTS (v: T): vert(TR)(v))" )"1" (skosimp*)"" (*"connected" "?) "1" (inst -5 "v!1" "x!1" )" () "1" (skosimp*)"1" case "(EXISTS (j: posnat): j < length(w!1) AND vert(TR)(w!1(j-1)) AND "1" expand *"walk_from?" "walk?" "from?" "verts_in?" )"1" rewrite expand "finseq_appl" )"1" nil )java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67"1" "" "1" " "ss" "seq(w!1)(j!1 -(expand* nil )"1" "tt" "seq(w!1)(j!1)" nil )"1" "1" "TP" "(# vert := add(tt,vert(TR)), "1" case ("java.lang.StringIndexOutOfBoundsException: Index 79 out of bounds for length 79 "1" "1" "G!1" "TP" )"vert(TR(x2)java.lang.StringIndexOutOfBoundsException: Index 99 out of bounds for length 99 expand replace "1" expand "1" rewrite "card_add[]" )"x!2" )nil nil ))nil ))nil ))nil ))nil )assert ("2" "2" "di_subgraph" "2" "1" expand "subset?" "" "1" expand "1" "1" expand "1" "1" "1" replace "1" case "vert(TR)(x!2)" )"1" expand nil ))expand "member" )"2java.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 91 "x!" add") "1" assert )nil nil ))nil ))nil ))nil )"2" case "1" "2" "1" assert )nil nil ))nil )"2" case "vert(TP) = add(tt, vert(TR))" )"1" expand "add" nil )java.lang.StringIndexOutOfBoundsException: Index 95 out of bounds for length 95nil ))nil )java.lang.StringIndexOutOfBoundsException: Index 71 out of bounds for length 71"1" "java.lang.StringIndexOutOfBoundsException: Index 99 out of bounds for length 99 expand "member" )"1" th 80nil nil ))nil (skosimpjava.lang.StringIndexOutOfBoundsException: Index 89 out of bounds for length 89nil ))nil ))nil ))nil )"2" "2" expand "add" )nil ))"2" " expand "member" )"2" nil nil ))nil ))nil ))nil ))nil ))nil ))nil )java.lang.StringIndexOutOfBoundsException: Index 91 out of bounds for length 91nil ))nil ))nil ))nil ))"2" nil ))nil ))nil ))nil ))nil )"2" "" expand "1" "2" "max_di_subgraph(G!1, tree?)" )"2" "2" expand ") "2" "2" " expand *"subset?" "2" replace "2" case "edges(TR)(x!2)" )"1" nil "1" nil ))nil nil ))nil )"2" case "x!2 = (ss, tt)" )"1" "edge?" )assert )nil nil )"rl) "2" case " "1" "add" "1" expand *"add" nil ))"1" "1" nil )nil ))"1" )"1" assert )nil nil ))nil ))nil ))nil ))h 69nil )"2" replace expand "2 1) "add" "member" )nil nil ))nil ))nil ))expand th 76nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )nil ))nil )"2" "tree?" "2" "2" "tt" )"" "1" expand "leaf?" )"1" expand "in_deg" )"1" rewrite "card_one" "member" )case "1" "1" "1" "1" expand "incoming_edges" )"" "1" expand *"add" "member" )"1" case "edges(TP) = {y: edgetype[T] | (ss, tt) = y OR edges(TR)(y)}" )"1" "1" "(x!2, x!3)" )"1" assert )assert )"1" expand "singleton" )assert )nil nil ))"2" expand "max_subtree" )"2" "max_di_subgraph(G!1, tree?)" )"2" "2" "2" "(x!2, x!3)" )nil )assert )nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" nil ))"2" nil )"2" nil ))nil ))nil ))nil ))nil ))nil )" "2" "2" expand "incoming_edges" )"2" expand "singleton" )"2" "2" assert )"2" "2" replace "2" "2" expand "add" )"2" nil ))nil nil ))nil ))nil nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil ))nil )"2" expand "out_deg" )"2" "empty_card[edgetype[T]]" )"2" "outgoing_edges(tt, TP)" )"2" assert )"2" expand *"empty?" "member" )"2" "2" "outgoing_edges" )"2" expand "edges(TR)(x2)) "2" case "edges(TR)(x!2)" )"1" expand "1" "max_di_subgraph(G!1, tree?)" )"1" "1" "1" "x!2" )"1" assert )nil nil ))nil ))nil ))nil ))nil )"x!2 = (ss, tt)" )"1" "1" "1" "1" "no_self_loops?" )"1" "(ss, tt)" )"1" assert )nil nil )"2" expand "edge?" )"2" nil
Messung V0.5 C=100 H=100 G=100
¤ Dauer der Verarbeitung: 0.38 Sekunden
¤ *© Formatika GbR, Deutschland
