digraph { bgcolor="transparent" node [penwidth=0.5 fontsize="12" shape="box" style="filled" fontcolor="white" fontname="Courier New"] edge [penwidth=2 fontsize="10" color="#0A1931" arrowsize=0.8 fontname="Courier New"] ######### # NODES # ######### id_v12 [id="id_v12#Begin" pos="0.0,10000.0!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="Begin" tooltip="Begin" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] id_v13 [id="id_v13#Declare" pos="0.0,9999.0625!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="n" tooltip="n: Integer" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v14 [id="id_v14#Declare" pos="0.0,9998.125!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="k = 0" tooltip="k: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v15 [id="id_v15#Declare" pos="0.0,9997.1875!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="t = 0" tooltip="t: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v16 [id="id_v16#Declare" pos="0.0,9996.25!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="m = 0" tooltip="m: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v17 [id="id_v17#Declare" pos="0.0,9995.3125!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="i = 0" tooltip="i: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v18 [id="id_v18#Declare" pos="0.0,9994.375!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="inf = 1" tooltip="inf: Integer = 1" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v19 [id="id_v19#Declare" pos="0.0,9993.4375!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="sup = 0" tooltip="sup: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v20 [id="id_v20#Declare" pos="0.0,9992.5!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="x = 0" tooltip="x: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v21 [id="id_v21#Declare" pos="0.0,9991.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="y = 0" tooltip="y: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v22 [id="id_v22#Declare" pos="0.0,9990.625!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="d = 0" tooltip="d: Integer = 0" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v23 [id="id_v23#Declare" pos="0.0,9989.6875!" height=0.4 width=2.0700000000000003 fixedsize=true group="fun-main" label="esVampiro = false" tooltip="esVampiro: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v24 [id="id_v24#Declare" pos="0.0,9988.75!" height=0.4 width=1.8499999999999999 fixedsize=true group="fun-main" label="iguales = false" tooltip="iguales: Boolean = false" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v25 [id="id_v25#Input" pos="0.0,9987.8125!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="n" tooltip="n" shape="invtrapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v26 [id="id_v26#Assign" pos="0.0,9986.875!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="t = n" tooltip="t = n" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v29 [id="id_v29#While" pos="0.0,9985.9375!" height=0.5 width=1.05 fixedsize=true group="fun-main" label="t > 0" tooltip="t > 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v29 [pos="1.25,9985.9375!" shape=point width=0] false_dummy_up_id_v29 [pos="-1.25,9985.9375!" shape=point width=0] id_v27 [id="id_v27#Assign" pos="1.25,9985.0!" height=0.4 width=1.19 fixedsize=true group="id_v30" label="k = k + 1" tooltip="k = k + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v28 [id="id_v28#Assign" pos="1.25,9984.0625!" height=0.4 width=1.3 fixedsize=true group="id_v30" label="t = t / 10" tooltip="t = t / 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] true_dummy_down_id_v29 [pos="1.25,9983.229166666666!" shape=point width=0] true_dummy_down_left_id_v29 [pos="0.0,9983.229166666666!" shape=point width=0] false_dummy_down_id_v29 [pos="-1.25,9983.125!" shape=point width=0] end_dummy_down_id_v29 [pos="0.0,9983.125!" group="fun-main" shape=point width=0] id_v67 [id="id_v67#If" pos="0.0,9982.1875!" height=0.5 width=1.82 fixedsize=true group="fun-main" label="(k % 2) == 0" tooltip="(k % 2) == 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v67 [pos="5.0,9982.1875!" shape=point width=0] false_dummy_up_id_v67 [pos="-1.25,9982.1875!" shape=point width=0] id_v31 [id="id_v31#Assign" pos="5.0,9981.25!" height=0.4 width=1.19 fixedsize=true group="id_v68" label="m = k / 2" tooltip="m = k / 2" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v32 [id="id_v32#Assign" pos="5.0,9980.3125!" height=0.4 width=1.0 fixedsize=true group="id_v68" label="i = 1" tooltip="i = 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v35 [id="id_v35#While" pos="5.0,9979.375!" height=0.5 width=1.05 fixedsize=true group="id_v68" label="i < m" tooltip="i < m" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v35 [pos="6.25,9979.375!" shape=point width=0] false_dummy_up_id_v35 [pos="3.75,9979.375!" shape=point width=0] id_v33 [id="id_v33#Assign" pos="6.25,9978.4375!" height=0.4 width=1.74 fixedsize=true group="id_v36" label="inf = inf * 10" tooltip="inf = inf * 10" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v34 [id="id_v34#Assign" pos="6.25,9977.5!" height=0.4 width=1.19 fixedsize=true group="id_v36" label="i = i + 1" tooltip="i = i + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] true_dummy_down_id_v35 [pos="6.25,9976.666666666666!" shape=point width=0] true_dummy_down_left_id_v35 [pos="5.0,9976.666666666666!" shape=point width=0] false_dummy_down_id_v35 [pos="3.75,9976.5625!" shape=point width=0] end_dummy_down_id_v35 [pos="5.0,9976.5625!" group="id_v68" shape=point width=0] id_v37 [id="id_v37#Assign" pos="5.0,9975.625!" height=0.4 width=2.18 fixedsize=true group="id_v68" label="sup = inf * 10 - 1" tooltip="sup = inf * 10 - 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v38 [id="id_v38#Assign" pos="5.0,9974.6875!" height=0.4 width=1.0 fixedsize=true group="id_v68" label="x = inf" tooltip="x = inf" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v65 [id="id_v65#While" pos="5.0,9973.75!" height=0.5 width=5.34 fixedsize=true group="id_v68" label="(x <= sup) && ((x * x) <= n) && (!esVampiro)" tooltip="(x <= sup) && ((x * x) <= n) && (!esVampiro)" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v65 [pos="10.0,9973.75!" shape=point width=0] false_dummy_up_id_v65 [pos="1.25,9973.75!" shape=point width=0] id_v61 [id="id_v61#If" pos="10.0,9972.8125!" height=0.5 width=1.82 fixedsize=true group="id_v66" label="(n % x) == 0" tooltip="(n % x) == 0" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v61 [pos="16.25,9972.8125!" shape=point width=0] false_dummy_up_id_v61 [pos="8.75,9972.8125!" shape=point width=0] id_v39 [id="id_v39#Assign" pos="16.25,9971.875!" height=0.4 width=1.19 fixedsize=true group="id_v62" label="y = n / x" tooltip="y = n / x" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v58 [id="id_v58#If" pos="16.25,9970.9375!" height=0.5 width=7.87 fixedsize=true group="id_v62" label="(y >= inf) && (y <= sup) && (!(((x % 10) == 0) && ((y % 10) == 0)))" tooltip="(y >= inf) && (y <= sup) && (!(((x % 10) == 0) && ((y % 10) == 0)))" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v58 [pos="23.75,9970.9375!" shape=point width=0] false_dummy_up_id_v58 [pos="11.25,9970.9375!" shape=point width=0] id_v40 [id="id_v40#Assign" pos="23.75,9970.0!" height=0.4 width=1.74 fixedsize=true group="id_v59" label="iguales = true" tooltip="iguales = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v41 [id="id_v41#Assign" pos="23.75,9969.0625!" height=0.4 width=1.0 fixedsize=true group="id_v59" label="d = 0" tooltip="d = 0" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v47 [id="id_v47#While" pos="23.75,9968.125!" height=0.5 width=2.59 fixedsize=true group="id_v59" label="(d <= 9) && iguales" tooltip="(d <= 9) && iguales" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v47 [pos="31.25,9968.125!" shape=point width=0] false_dummy_up_id_v47 [pos="21.25,9968.125!" shape=point width=0] id_v43 [id="id_v43#If" pos="31.25,9967.1875!" height=0.5 width=7.43 fixedsize=true group="id_v48" label="ContarDigito(n, d) != (ContarDigito(x, d) + ContarDigito(y, d))" tooltip="ContarDigito(n, d) != (ContarDigito(x, d) + ContarDigito(y, d))" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v43 [pos="36.25,9967.1875!" shape=point width=0] false_dummy_up_id_v43 [pos="26.25,9967.1875!" shape=point width=0] id_v42 [id="id_v42#Assign" pos="36.25,9966.25!" height=0.4 width=1.8499999999999999 fixedsize=true group="id_v44" label="iguales = false" tooltip="iguales = false" fillcolor="#002a3a" color="#001117" fontcolor="white"] true_dummy_down_id_v43 [ pos="36.25,9965.3125!" shape=point width=0] false_dummy_down_id_v43 [ pos="26.25,9965.3125!" shape=point width=0] end_id_v43 [id="end_id_v43#IfEnd" class="flowrun-not-selectable" pos="31.25,9965.3125!" group="id_v48" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] id_v46 [id="id_v46#Assign" pos="31.25,9964.375!" height=0.4 width=1.19 fixedsize=true group="id_v48" label="d = d + 1" tooltip="d = d + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] true_dummy_down_id_v47 [pos="31.25,9963.541666666666!" shape=point width=0] true_dummy_down_left_id_v47 [pos="23.75,9963.541666666666!" shape=point width=0] false_dummy_down_id_v47 [pos="21.25,9963.4375!" shape=point width=0] end_dummy_down_id_v47 [pos="23.75,9963.4375!" group="id_v59" shape=point width=0] id_v55 [id="id_v55#If" pos="23.75,9962.5!" height=0.5 width=1.27 fixedsize=true group="id_v59" label="iguales" tooltip="iguales" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v55 [pos="25.0,9962.5!" shape=point width=0] false_dummy_up_id_v55 [pos="22.5,9962.5!" shape=point width=0] id_v49 [id="id_v49#Assign" pos="25.0,9961.5625!" height=0.4 width=1.96 fixedsize=true group="id_v56" label="esVampiro = true" tooltip="esVampiro = true" fillcolor="#002a3a" color="#001117" fontcolor="white"] id_v50 [id="id_v50#Output" pos="25.0,9960.625!" height=0.4 width=1.0 fixedsize=true group="id_v56" label="n" tooltip="n" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v51 [id="id_v51#Output" pos="25.0,9959.6875!" height=0.4 width=1.0 fixedsize=true group="id_v56" label="\" = \"" tooltip="\" = \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v52 [id="id_v52#Output" pos="25.0,9958.75!" height=0.4 width=1.0 fixedsize=true group="id_v56" label="x" tooltip="x" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v53 [id="id_v53#Output" pos="25.0,9957.8125!" height=0.4 width=1.0 fixedsize=true group="id_v56" label="\" x \"" tooltip="\" x \"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v54 [id="id_v54#Output" pos="25.0,9956.875!" height=0.4 width=1.0 fixedsize=true group="id_v56" label="y" tooltip="y" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] true_dummy_down_id_v55 [ pos="25.0,9955.9375!" shape=point width=0] false_dummy_down_id_v55 [ pos="22.5,9955.9375!" shape=point width=0] end_id_v55 [id="end_id_v55#IfEnd" class="flowrun-not-selectable" pos="23.75,9955.9375!" group="id_v59" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] true_dummy_down_id_v58 [ pos="23.75,9955.0!" shape=point width=0] false_dummy_down_id_v58 [ pos="11.25,9955.0!" shape=point width=0] end_id_v58 [id="end_id_v58#IfEnd" class="flowrun-not-selectable" pos="16.25,9955.0!" group="id_v62" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] true_dummy_down_id_v61 [ pos="16.25,9954.0625!" shape=point width=0] false_dummy_down_id_v61 [ pos="8.75,9954.0625!" shape=point width=0] end_id_v61 [id="end_id_v61#IfEnd" class="flowrun-not-selectable" pos="10.0,9954.0625!" group="id_v66" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] id_v64 [id="id_v64#Assign" pos="10.0,9953.125!" height=0.4 width=1.19 fixedsize=true group="id_v66" label="x = x + 1" tooltip="x = x + 1" fillcolor="#002a3a" color="#001117" fontcolor="white"] true_dummy_down_id_v65 [pos="10.0,9952.291666666666!" shape=point width=0] true_dummy_down_left_id_v65 [pos="5.0,9952.291666666666!" shape=point width=0] false_dummy_down_id_v65 [pos="1.25,9952.1875!" shape=point width=0] end_dummy_down_id_v65 [pos="5.0,9952.1875!" group="id_v68" shape=point width=0] true_dummy_down_id_v67 [ pos="5.0,9951.25!" shape=point width=0] false_dummy_down_id_v67 [ pos="-1.25,9951.25!" shape=point width=0] end_id_v67 [id="end_id_v67#IfEnd" class="flowrun-not-selectable" pos="0.0,9951.25!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] id_v74 [id="id_v74#If" pos="0.0,9950.3125!" height=0.5 width=1.49 fixedsize=true group="fun-main" label="esVampiro" tooltip="esVampiro" shape="diamond" fillcolor="#ffd166" color="#8f6400" fontcolor="black"] true_dummy_up_id_v74 [pos="2.5,9950.3125!" shape=point width=0] false_dummy_up_id_v74 [pos="-2.5,9950.3125!" shape=point width=0] id_v70 [id="id_v70#Output" pos="2.5,9949.375!" height=0.4 width=1.0 fixedsize=true group="id_v75" label="n" tooltip="n" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v71 [id="id_v71#Output" pos="2.5,9948.4375!" height=0.4 width=2.95 fixedsize=true group="id_v75" label="\" es un numero vampiro\"" tooltip="\" es un numero vampiro\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v72 [id="id_v72#Output" pos="-2.5,9949.375!" height=0.4 width=1.0 fixedsize=true group="id_v76" label="n" tooltip="n" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] id_v73 [id="id_v73#Output" pos="-2.5,9948.4375!" height=0.4 width=3.2800000000000002 fixedsize=true group="id_v76" label="\" no es un numero vampiro\"" tooltip="\" no es un numero vampiro\"" shape="trapezium" fillcolor="#015692" color="#002a3a" fontcolor="white"] true_dummy_down_id_v74 [ pos="2.5,9947.5!" shape=point width=0] false_dummy_down_id_v74 [ pos="-2.5,9947.5!" shape=point width=0] end_id_v74 [id="end_id_v74#IfEnd" class="flowrun-not-selectable" pos="0.0,9947.5!" group="fun-main" fillcolor="#ffd166" color="#8f6400" fontcolor="black" label="" tooltip=" " shape="circle" fixedsize=true width=0.2 height=0.2] id_v77 [id="id_v77#Return" pos="0.0,9946.5625!" height=0.4 width=1.0 fixedsize=true group="fun-main" label="End" tooltip="End" shape="ellipse" fillcolor="#8de4ff" color="#00799e" fontcolor="#982b13"] ######### # EDGES # ######### id_v12:s -> id_v13:n [id="id_v12@fun-main" tailtooltip=" " edgetooltip=" "] id_v13:s -> id_v14:n [id="id_v13@fun-main" tailtooltip=" " edgetooltip=" "] id_v14:s -> id_v15:n [id="id_v14@fun-main" tailtooltip=" " edgetooltip=" "] id_v15:s -> id_v16:n [id="id_v15@fun-main" tailtooltip=" " edgetooltip=" "] id_v16:s -> id_v17:n [id="id_v16@fun-main" tailtooltip=" " edgetooltip=" "] id_v17:s -> id_v18:n [id="id_v17@fun-main" tailtooltip=" " edgetooltip=" "] id_v18:s -> id_v19:n [id="id_v18@fun-main" tailtooltip=" " edgetooltip=" "] id_v19:s -> id_v20:n [id="id_v19@fun-main" tailtooltip=" " edgetooltip=" "] id_v20:s -> id_v21:n [id="id_v20@fun-main" tailtooltip=" " edgetooltip=" "] id_v21:s -> id_v22:n [id="id_v21@fun-main" tailtooltip=" " edgetooltip=" "] id_v22:s -> id_v23:n [id="id_v22@fun-main" tailtooltip=" " edgetooltip=" "] id_v23:s -> id_v24:n [id="id_v23@fun-main" tailtooltip=" " edgetooltip=" "] id_v24:s -> id_v25:n [id="id_v24@fun-main" tailtooltip=" " edgetooltip=" "] id_v25:s -> id_v26:n [id="id_v25@fun-main" tailtooltip=" " edgetooltip=" "] id_v26:s -> id_v29:n [id="id_v26@fun-main" tailtooltip=" " edgetooltip=" "] ## WHILE-TRUE id_v29:e -> true_dummy_up_id_v29 [id="id_v29@id_v30" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v29 -> id_v27:n [id="id_v29@id_v30" tailtooltip=" " edgetooltip=" "] id_v27:s -> id_v28:n [id="id_v27@id_v30" tailtooltip=" " edgetooltip=" "] id_v28:s -> true_dummy_down_id_v29:n [id="id_v28@id_v30" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v29 -> true_dummy_down_left_id_v29 [id="id_v28@id_v30" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_left_id_v29 -> id_v29:s [id="id_v28@id_v30" tailtooltip=" " edgetooltip=" "] ## WHILE-FALSE id_v29:w -> false_dummy_up_id_v29 [id="id_v29@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v29 -> false_dummy_down_id_v29 [id="id_v29@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v29 -> end_dummy_down_id_v29 [id="id_v29@fun-main" tailtooltip=" " edgetooltip=" " arrowhead=none] end_dummy_down_id_v29 -> id_v67 [id="id_v29@fun-main" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v67:e -> true_dummy_up_id_v67 [id="id_v67@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v67 -> id_v31:n [id="id_v67@id_v68" tailtooltip=" " edgetooltip=" "] id_v31:s -> id_v32:n [id="id_v31@id_v68" tailtooltip=" " edgetooltip=" "] id_v32:s -> id_v35:n [id="id_v32@id_v68" tailtooltip=" " edgetooltip=" "] ## WHILE-TRUE id_v35:e -> true_dummy_up_id_v35 [id="id_v35@id_v36" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v35 -> id_v33:n [id="id_v35@id_v36" tailtooltip=" " edgetooltip=" "] id_v33:s -> id_v34:n [id="id_v33@id_v36" tailtooltip=" " edgetooltip=" "] id_v34:s -> true_dummy_down_id_v35:n [id="id_v34@id_v36" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v35 -> true_dummy_down_left_id_v35 [id="id_v34@id_v36" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_left_id_v35 -> id_v35:s [id="id_v34@id_v36" tailtooltip=" " edgetooltip=" "] ## WHILE-FALSE id_v35:w -> false_dummy_up_id_v35 [id="id_v35@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v35 -> false_dummy_down_id_v35 [id="id_v35@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v35 -> end_dummy_down_id_v35 [id="id_v35@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none] end_dummy_down_id_v35 -> id_v37 [id="id_v35@id_v68" tailtooltip=" " edgetooltip=" "] id_v37:s -> id_v38:n [id="id_v37@id_v68" tailtooltip=" " edgetooltip=" "] id_v38:s -> id_v65:n [id="id_v38@id_v68" tailtooltip=" " edgetooltip=" "] ## WHILE-TRUE id_v65:e -> true_dummy_up_id_v65 [id="id_v65@id_v66" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v65 -> id_v61:n [id="id_v65@id_v66" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v61:e -> true_dummy_up_id_v61 [id="id_v61@id_v62" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v61 -> id_v39:n [id="id_v61@id_v62" tailtooltip=" " edgetooltip=" "] id_v39:s -> id_v58:n [id="id_v39@id_v62" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v58:e -> true_dummy_up_id_v58 [id="id_v58@id_v59" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v58 -> id_v40:n [id="id_v58@id_v59" tailtooltip=" " edgetooltip=" "] id_v40:s -> id_v41:n [id="id_v40@id_v59" tailtooltip=" " edgetooltip=" "] id_v41:s -> id_v47:n [id="id_v41@id_v59" tailtooltip=" " edgetooltip=" "] ## WHILE-TRUE id_v47:e -> true_dummy_up_id_v47 [id="id_v47@id_v48" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v47 -> id_v43:n [id="id_v47@id_v48" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v43:e -> true_dummy_up_id_v43 [id="id_v43@id_v44" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v43 -> id_v42:n [id="id_v43@id_v44" tailtooltip=" " edgetooltip=" "] id_v42:s -> true_dummy_down_id_v43:n [id="id_v42@id_v44" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v43 -> end_id_v43 [id="id_v42@id_v44" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v43:w -> false_dummy_up_id_v43 [id="id_v43@id_v45" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v43 -> false_dummy_down_id_v43:n [id="id_v43@id_v45" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v43 -> end_id_v43 [id="id_v43@id_v45" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v43:s -> id_v46:n [id="end_id_v43@id_v48" tailtooltip=" " edgetooltip=" "] id_v46:s -> true_dummy_down_id_v47:n [id="id_v46@id_v48" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v47 -> true_dummy_down_left_id_v47 [id="id_v46@id_v48" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_left_id_v47 -> id_v47:s [id="id_v46@id_v48" tailtooltip=" " edgetooltip=" "] ## WHILE-FALSE id_v47:w -> false_dummy_up_id_v47 [id="id_v47@id_v59" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v47 -> false_dummy_down_id_v47 [id="id_v47@id_v59" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v47 -> end_dummy_down_id_v47 [id="id_v47@id_v59" tailtooltip=" " edgetooltip=" " arrowhead=none] end_dummy_down_id_v47 -> id_v55 [id="id_v47@id_v59" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v55:e -> true_dummy_up_id_v55 [id="id_v55@id_v56" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v55 -> id_v49:n [id="id_v55@id_v56" tailtooltip=" " edgetooltip=" "] id_v49:s -> id_v50:n [id="id_v49@id_v56" tailtooltip=" " edgetooltip=" "] id_v50:s -> id_v51:n [id="id_v50@id_v56" tailtooltip=" " edgetooltip=" "] id_v51:s -> id_v52:n [id="id_v51@id_v56" tailtooltip=" " edgetooltip=" "] id_v52:s -> id_v53:n [id="id_v52@id_v56" tailtooltip=" " edgetooltip=" "] id_v53:s -> id_v54:n [id="id_v53@id_v56" tailtooltip=" " edgetooltip=" "] id_v54:s -> true_dummy_down_id_v55:n [id="id_v54@id_v56" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v55 -> end_id_v55 [id="id_v54@id_v56" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v55:w -> false_dummy_up_id_v55 [id="id_v55@id_v57" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v55 -> false_dummy_down_id_v55:n [id="id_v55@id_v57" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v55 -> end_id_v55 [id="id_v55@id_v57" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v55:s -> true_dummy_down_id_v58:n [id="end_id_v55@id_v59" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v58 -> end_id_v58 [id="id_v55@id_v59" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v58:w -> false_dummy_up_id_v58 [id="id_v58@id_v60" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v58 -> false_dummy_down_id_v58:n [id="id_v58@id_v60" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v58 -> end_id_v58 [id="id_v58@id_v60" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v58:s -> true_dummy_down_id_v61:n [id="end_id_v58@id_v62" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v61 -> end_id_v61 [id="id_v58@id_v62" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v61:w -> false_dummy_up_id_v61 [id="id_v61@id_v63" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v61 -> false_dummy_down_id_v61:n [id="id_v61@id_v63" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v61 -> end_id_v61 [id="id_v61@id_v63" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v61:s -> id_v64:n [id="end_id_v61@id_v66" tailtooltip=" " edgetooltip=" "] id_v64:s -> true_dummy_down_id_v65:n [id="id_v64@id_v66" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v65 -> true_dummy_down_left_id_v65 [id="id_v64@id_v66" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_left_id_v65 -> id_v65:s [id="id_v64@id_v66" tailtooltip=" " edgetooltip=" "] ## WHILE-FALSE id_v65:w -> false_dummy_up_id_v65 [id="id_v65@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v65 -> false_dummy_down_id_v65 [id="id_v65@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v65 -> end_dummy_down_id_v65 [id="id_v65@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none] end_dummy_down_id_v65 -> true_dummy_down_id_v67 [id="id_v65@id_v68" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v67 -> end_id_v67 [id="id_v65@id_v68" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v67:w -> false_dummy_up_id_v67 [id="id_v67@id_v69" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v67 -> false_dummy_down_id_v67:n [id="id_v67@id_v69" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v67 -> end_id_v67 [id="id_v67@id_v69" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v67:s -> id_v74:n [id="end_id_v67@fun-main" tailtooltip=" " edgetooltip=" "] ## IF-TRUE id_v74:e -> true_dummy_up_id_v74 [id="id_v74@id_v75" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="true" fontcolor="forestgreen"] true_dummy_up_id_v74 -> id_v70:n [id="id_v74@id_v75" tailtooltip=" " edgetooltip=" "] id_v70:s -> id_v71:n [id="id_v70@id_v75" tailtooltip=" " edgetooltip=" "] id_v71:s -> true_dummy_down_id_v74:n [id="id_v71@id_v75" tailtooltip=" " edgetooltip=" " arrowhead=none] true_dummy_down_id_v74 -> end_id_v74 [id="id_v71@id_v75" tailtooltip=" " edgetooltip=" "] ## IF-FALSE id_v74:w -> false_dummy_up_id_v74 [id="id_v74@id_v76" tailtooltip=" " edgetooltip=" " arrowhead=none taillabel="false" fontcolor="red"] false_dummy_up_id_v74 -> id_v72:n [id="id_v74@id_v76" tailtooltip=" " edgetooltip=" "] id_v72:s -> id_v73:n [id="id_v72@id_v76" tailtooltip=" " edgetooltip=" "] id_v73:s -> false_dummy_down_id_v74:n [id="id_v73@id_v76" tailtooltip=" " edgetooltip=" " arrowhead=none] false_dummy_down_id_v74 -> end_id_v74 [id="id_v73@id_v76" tailtooltip=" " edgetooltip=" "] ## IF-END end_id_v74:s -> id_v77:n [id="end_id_v74@fun-main" tailtooltip=" " edgetooltip=" "] }