/*
 Exported nodes:
*/
node("1", "ct_file", "d:/phd/eclipsespace/Helios_3.6/runtime-GTSExplore/org.eclipse.viatra2.gtasm.gtsexplore/testgraphs/cloud/CloudConf.pl").
node("2", "ct", "initialize(E)").
node("3", "condition_literal", "initNode(E)").
node("4", "action_literal", "add(initNode(E))").
node("5", "ct", "addCloudNode(C)").
node("6", "condition_literal", "initNode(_G2141)").
node("7", "action_literal", "add(cloudNode(C))").
node("8", "ct", "addServerToCloud(C, S)").
node("9", "condition_literal", "cloudNode(C)").
node("10", "action_literal", "add(serverNode(S))").
node("11", "action_literal", "add(onCloudRelation(_G2143, S, C))").
node("12", "ct", "addClusterToCloud(C, Cl)").
node("13", "condition_literal", "cloudNode(C)").
node("14", "action_literal", "add(clusterNode(Cl))").
node("15", "action_literal", "add(onCloudRelation(_G2143, Cl, C))").
node("16", "ct", "addServerToCluster(Cl, S)").
node("17", "condition_literal", "clusterNode(Cl)").
node("18", "condition_literal", "not(onClusterRelation(_r1, _1, Cl), onClusterRelation(_r2, _2, Cl))").
node("19", "action_literal", "add(serverNode(S))").
node("20", "action_literal", "add(onClusterRelation(_G2143, S, Cl))").
node("21", "ct", "addDBToServer(S1, S2, D)").
node("22", "condition_literal", "serverNode(S1)").
node("23", "condition_literal", "serverNode(S2)").
node("24", "condition_literal", "not(onServerRelation(_r1, D1, S1), onServerRelation(_r2, D1, S2))").
node("25", "action_literal", "add(dbNode(D))").
node("26", "action_literal", "add(onServerRelation(_1, D, S1))").
node("27", "action_literal", "add(onServerRelation(_2, D, S2))").
node("28", "ct", "addAppToDB(D1, D2, A)").
node("29", "condition_literal", "dbNode(D1)").
node("30", "condition_literal", "dbNode(D2)").
node("31", "condition_literal", "not(onDBRelation(_r1, A1, D1), onDBRelation(_r2, A1, D2))").
node("32", "action_literal", "add(appNode(A))").
node("33", "action_literal", "add(onDBRelation(_1, A, D1))").
node("34", "action_literal", "add(onDBRelation(_2, A, D2))").
node("35", "ct", "addStorageToServer(S1, S2, St)").
node("36", "condition_literal", "serverNode(S1)").
node("37", "condition_literal", "serverNode(S2)").
node("38", "condition_literal", "clusterNode(Cl)").
node("39", "condition_literal", "onClusterRelation(_rc1, S1, Cl)").
node("40", "condition_literal", "onClusterRelation(_rc2, S2, Cl)").
node("41", "condition_literal", "not(onServerRelation(_r1, St1, S1), onServerRelation(_r2, St1, S2))").
node("42", "action_literal", "add(storageNode(St))").
node("43", "action_literal", "add(onServerRelation(_1, St, S1))").
node("44", "action_literal", "add(onServerRelation(_2, St, S2))").

/*
 Exported hierarchy:
*/
within("1", "2", "parent-child").
within("2", "3", "parent-child").
within("2", "4", "parent-child").
within("1", "5", "parent-child").
within("5", "6", "parent-child").
within("5", "7", "parent-child").
within("1", "8", "parent-child").
within("8", "9", "parent-child").
within("8", "10", "parent-child").
within("8", "11", "parent-child").
within("1", "12", "parent-child").
within("12", "13", "parent-child").
within("12", "14", "parent-child").
within("12", "15", "parent-child").
within("1", "16", "parent-child").
within("16", "17", "parent-child").
within("16", "18", "parent-child").
within("16", "19", "parent-child").
within("16", "20", "parent-child").
within("1", "21", "parent-child").
within("21", "22", "parent-child").
within("21", "23", "parent-child").
within("21", "24", "parent-child").
within("21", "25", "parent-child").
within("21", "26", "parent-child").
within("21", "27", "parent-child").
within("1", "28", "parent-child").
within("28", "29", "parent-child").
within("28", "30", "parent-child").
within("28", "31", "parent-child").
within("28", "32", "parent-child").
within("28", "33", "parent-child").
within("28", "34", "parent-child").
within("1", "35", "parent-child").
within("35", "36", "parent-child").
within("35", "37", "parent-child").
within("35", "38", "parent-child").
within("35", "39", "parent-child").
within("35", "40", "parent-child").
within("35", "41", "parent-child").
within("35", "42", "parent-child").
within("35", "43", "parent-child").
within("35", "44", "parent-child").

/*
 Exported properties:
*/
property("2", "position(37, 99)").
property("3", "position(62, 73)").
property("3", "negative").
property("4", "position(77, 98)").
property("5", "position(102, 228)").
property("6", "position(122, 204)").
property("7", "position(205, 227)").
property("8", "position(231, 330)").
property("9", "position(257, 275)").
property("10", "position(279, 297)").
property("11", "position(300, 327)").
property("12", "position(333, 436)").
property("13", "position(361, 378)").
property("14", "position(382, 402)").
property("15", "position(405, 433)").
property("16", "position(439, 620)").
property("17", "position(471, 486)").
property("18", "position(489, 560)").
property("19", "position(566, 584)").
property("20", "position(587, 617)").
property("21", "position(623, 845)").
property("22", "position(653, 667)").
property("23", "position(670, 684)").
property("24", "position(687, 755)").
property("25", "position(761, 775)").
property("26", "position(778, 808)").
property("27", "position(811, 841)").
property("28", "position(848, 1044)").
property("29", "position(875, 885)").
property("30", "position(888, 898)").
property("31", "position(901, 961)").
property("32", "position(967, 982)").
property("33", "position(985, 1011)").
property("34", "position(1014, 1040)").
property("35", "position(1047, 1367)").
property("36", "position(1083, 1097)").
property("37", "position(1100, 1114)").
property("38", "position(1117, 1132)").
property("39", "position(1135, 1164)").
property("40", "position(1167, 1196)").
property("41", "position(1199, 1269)").
property("42", "position(1275, 1295)").
property("43", "position(1298, 1329)").
property("44", "position(1332, 1363)").

/*
 Exported edges:
*/
edge("45", "triggers", "initNode(_G2107)", "4", "6").
edge("46", "triggers", "initNode(_G2107)", "4", "6").
edge("47", "triggers", "initNode(_G2107)", "4", "6").
edge("48", "triggers", "initNode(_G2107)", "4", "6").
edge("49", "triggers", "cloudNode(_G2105)", "7", "13").
edge("50", "triggers", "cloudNode(_G2105)", "7", "9").
edge("51", "triggers", "clusterNode(_G2105)", "14", "17").
edge("52", "triggers", "dbNode(_G2106)", "25", "29").
edge("53", "triggers", "dbNode(_G2106)", "25", "30").
edge("54", "triggers", "dbNode(_G2105)", "25", "29").
edge("55", "triggers", "dbNode(_G2105)", "25", "30").
edge("56", "triggers", "serverNode(_G2106)", "19", "22").
edge("57", "triggers", "serverNode(_G2106)", "19", "23").
edge("58", "triggers", "serverNode(_G2105)", "19", "22").
edge("59", "triggers", "serverNode(_G2105)", "19", "23").
edge("60", "triggers", "serverNode(_G2106)", "10", "22").
edge("61", "triggers", "serverNode(_G2106)", "10", "23").
edge("62", "triggers", "serverNode(_G2105)", "10", "22").
edge("63", "triggers", "serverNode(_G2105)", "10", "23").
edge("64", "triggers", "onClusterRelation(_G2112, _G2106, _G2109)", "20", "39").
edge("65", "triggers", "onClusterRelation(_G2112, _G2106, _G2109)", "20", "40").
edge("66", "triggers", "onClusterRelation(_G2112, _G2105, _G2109)", "20", "39").
edge("67", "triggers", "onClusterRelation(_G2112, _G2105, _G2109)", "20", "40").
edge("68", "triggers", "serverNode(_G2106)", "19", "36").
edge("69", "triggers", "serverNode(_G2106)", "19", "37").
edge("70", "triggers", "serverNode(_G2105)", "19", "36").
edge("71", "triggers", "serverNode(_G2105)", "19", "37").
edge("72", "triggers", "clusterNode(_G2110)", "14", "38").
edge("73", "triggers", "serverNode(_G2106)", "10", "36").
edge("74", "triggers", "serverNode(_G2106)", "10", "37").
edge("75", "triggers", "serverNode(_G2105)", "10", "36").
edge("76", "triggers", "serverNode(_G2105)", "10", "37").

/*
 Exported everything...:
*/