/*
 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(_G1906)").
node("7", "action_literal", "add(cloudNode(C))").
node("8", "ct", "addClusterToCloud(C, Cl)").
node("9", "condition_literal", "cloudNode(C)").
node("10", "action_literal", "add(clusterNode(Cl))").
node("11", "action_literal", "add(onRelation(_G1908, Cl, C))").
node("12", "ct", "addServerToSocket(Cl, S)").
node("13", "condition_literal", "cloudNode(Cl)").
node("14", "condition_literal", "clusterNode(C)").
node("15", "condition_literal", "not(clusterNode(Cl), onRelation(_r1, _1, Cl), onRelation(_r2, _2, Cl))").
node("16", "action_literal", "add(serverNode(S))").
node("17", "action_literal", "add(onRelation(_G1908, S, Cl))").
node("18", "ct", "addDBToServer(S1, S2, D)").
node("19", "condition_literal", "serverNode(S1)").
node("20", "condition_literal", "serverNode(S2)").
node("21", "condition_literal", "not(onRelation(_r1, D1, S1), onRelation(_r2, D1, S2))").
node("22", "action_literal", "add(dbNode(D))").
node("23", "action_literal", "add(onRelation(_1, D, S1))").
node("24", "action_literal", "add(onRelation(_2, D, S2))").
node("25", "ct", "addAppToDB(D1, D2, A)").
node("26", "condition_literal", "dbNode(D1)").
node("27", "condition_literal", "dbNode(D2)").
node("28", "condition_literal", "not(onRelation(_r1, A1, D1), onRelation(_r2, A1, D2))").
node("29", "action_literal", "add(appNode(A))").
node("30", "action_literal", "add(onRelation(_1, A, D1))").
node("31", "action_literal", "add(onRelation(_2, A, D2))").
node("32", "ct", "addStorageToServer(S1, S2, St)").
node("33", "condition_literal", "serverNode(S1)").
node("34", "condition_literal", "serverNode(S2)").
node("35", "condition_literal", "clusterNode(Cl)").
node("36", "condition_literal", "onRelation(_rc1, S1, Cl)").
node("37", "condition_literal", "onRelation(_rc2, S2, Cl)").
node("38", "condition_literal", "not(onRelation(_r1, St1, S1), onRelation(_r2, St1, S2))").
node("39", "action_literal", "add(storageNode(St))").
node("40", "action_literal", "add(onRelation(_1, St, S1))").
node("41", "action_literal", "add(onRelation(_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("12", "16", "parent-child").
within("12", "17", "parent-child").
within("1", "18", "parent-child").
within("18", "19", "parent-child").
within("18", "20", "parent-child").
within("18", "21", "parent-child").
within("18", "22", "parent-child").
within("18", "23", "parent-child").
within("18", "24", "parent-child").
within("1", "25", "parent-child").
within("25", "26", "parent-child").
within("25", "27", "parent-child").
within("25", "28", "parent-child").
within("25", "29", "parent-child").
within("25", "30", "parent-child").
within("25", "31", "parent-child").
within("1", "32", "parent-child").
within("32", "33", "parent-child").
within("32", "34", "parent-child").
within("32", "35", "parent-child").
within("32", "36", "parent-child").
within("32", "37", "parent-child").
within("32", "38", "parent-child").
within("32", "39", "parent-child").
within("32", "40", "parent-child").
within("32", "41", "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, 329)").
property("9", "position(259, 276)").
property("10", "position(280, 300)").
property("11", "position(303, 326)").
property("12", "position(440, 633)").
property("13", "position(471, 484)").
property("14", "position(487, 501)").
property("15", "position(504, 580)").
property("16", "position(586, 604)").
property("17", "position(607, 630)").
property("18", "position(636, 834)").
property("19", "position(666, 680)").
property("20", "position(683, 697)").
property("21", "position(700, 756)").
property("22", "position(762, 776)").
property("23", "position(779, 803)").
property("24", "position(806, 830)").
property("25", "position(837, 1025)").
property("26", "position(864, 874)").
property("27", "position(877, 887)").
property("28", "position(890, 946)").
property("29", "position(952, 967)").
property("30", "position(970, 994)").
property("31", "position(997, 1021)").
property("32", "position(1028, 1310)").
property("33", "position(1064, 1078)").
property("34", "position(1081, 1095)").
property("35", "position(1098, 1113)").
property("36", "position(1116, 1138)").
property("37", "position(1141, 1163)").
property("38", "position(1166, 1224)").
property("39", "position(1230, 1250)").
property("40", "position(1253, 1278)").
property("41", "position(1281, 1306)").

/*
 Exported edges:
*/
edge("42", "triggers", "initNode(_G1872)", "4", "6").
edge("43", "triggers", "initNode(_G1872)", "4", "6").
edge("44", "triggers", "initNode(_G1872)", "4", "6").
edge("45", "triggers", "initNode(_G1872)", "4", "6").
edge("46", "triggers", "cloudNode(_G1870)", "7", "9").
edge("47", "triggers", "clusterNode(_G1874)", "10", "14").
edge("48", "triggers", "cloudNode(_G1870)", "7", "13").
edge("49", "triggers", "dbNode(_G1871)", "22", "26").
edge("50", "triggers", "dbNode(_G1871)", "22", "27").
edge("51", "triggers", "dbNode(_G1870)", "22", "26").
edge("52", "triggers", "dbNode(_G1870)", "22", "27").
edge("53", "triggers", "serverNode(_G1871)", "16", "19").
edge("54", "triggers", "serverNode(_G1871)", "16", "20").
edge("55", "triggers", "serverNode(_G1870)", "16", "19").
edge("56", "triggers", "serverNode(_G1870)", "16", "20").
edge("57", "triggers", "serverNode(_G1871)", "16", "33").
edge("58", "triggers", "serverNode(_G1871)", "16", "34").
edge("59", "triggers", "serverNode(_G1870)", "16", "33").
edge("60", "triggers", "serverNode(_G1870)", "16", "34").
edge("61", "triggers", "clusterNode(_G1875)", "10", "35").

/*
 Exported everything...:
*/