Instance 119-hydraulic_leaking-341-0.asp

Name	119-hydraulic_leaking-341-0.asp
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Leaking (26) Training Instances 3D ASP Competition (5)
Submitter	Barbara Nardi
Author	Francesco Calimeri and Maria Carmela Santoro
Description
Created	2012-03-28 15:56
Modified	2012-03-28 15:56
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	tank(t311_0_0_0_238). tank(t312_0_0_0_238). tank(t313_0_0_0_238). tank(t314_0_0_0_238). jet(j1_0_0_0_238). jet(j2_0_0_0_238). junction(p1_0_0_0_238). junction(p2_0_0_0_238). junction(p3_0_0_0_238). junction(p4_0_0_0_238). junction(p5_0_0_0_238). junction(p6_0_0_0_238). junction(p7_0_0_0_238). junction(p8_0_0_0_238). junction(p9_0_0_0_238). junction(p10_0_0_0_238). valve(v1_0_0_0_238). valve(v2_0_0_0_238). valve(v3_0_0_0_238). valve(v4_0_0_0_238). valve(v5_0_0_0_238). valve(v6_0_0_0_238). valve(v7_0_0_0_238). valve(v8_0_0_0_238). valve(v9_0_0_0_238). valve(v10_0_0_0_238). valve(v11_0_0_0_238). valve(v12_0_0_0_238). valve(v13_0_0_0_238). valve(v14_0_0_0_238). valve(v15_0_0_0_238). valve(v16_0_0_0_238). valve(v17_0_0_0_238). valve(v18_0_0_0_238). valve(v19_0_0_0_238). valve(v20_0_0_0_238). link(t311_0_0_0_238, p1_0_0_0_238, v1_0_0_0_238). link(p1_0_0_0_238, p2_0_0_0_238, v2_0_0_0_238). link(p3_0_0_0_238, p4_0_0_0_238, v4_0_0_0_238). link(t313_0_0_0_238, p4_0_0_0_238, v5_0_0_0_238). link(p2_0_0_0_238, p3_0_0_0_238, v3_0_0_0_238). link(p2_0_0_0_238, j1_0_0_0_238, v6_0_0_0_238). link(p3_0_0_0_238, j1_0_0_0_238, v7_0_0_0_238). link(p5_0_0_0_238, p1_0_0_0_238, v8_0_0_0_238). link(p4_0_0_0_238, p6_0_0_0_238, v9_0_0_0_238). link(p5_0_0_0_238, p6_0_0_0_238, v10_0_0_0_238). link(p6_0_0_0_238, p5_0_0_0_238, v11_0_0_0_238). %center swap link(p7_0_0_0_238, p5_0_0_0_238, v12_0_0_0_238). link(p6_0_0_0_238, p10_0_0_0_238, v13_0_0_0_238). link(t312_0_0_0_238, p7_0_0_0_238, v14_0_0_0_238). link(p8_0_0_0_238, p7_0_0_0_238, v15_0_0_0_238). link(p10_0_0_0_238, p9_0_0_0_238, v17_0_0_0_238). link(t314_0_0_0_238, p10_0_0_0_238, v18_0_0_0_238). link(p9_0_0_0_238, p8_0_0_0_238, v16_0_0_0_238). link(p8_0_0_0_238, j2_0_0_0_238, v19_0_0_0_238). link(p9_0_0_0_238, j2_0_0_0_238, v20_0_0_0_238). full(t311_0_0_0_238). full(t312_0_0_0_238). full(t313_0_0_0_238). full(t314_0_0_0_238). leaking(v1_0_0_0_238).leaking(v2_0_0_0_238).leaking(v3_0_0_0_238).leaking(v4_0_0_0_238).leaking(v5_0_0_0_238). leaking(v6_0_0_0_238).leaking(v7_0_0_0_238).leaking(v8_0_0_0_238).leaking(v9_0_0_0_238).leaking(v10_0_0_0_238). leaking(v11_0_0_0_238).leaking(v12_0_0_0_238).leaking(v13_0_0_0_238).leaking(v14_0_0_0_238).leaking(v15_0_0_0_238). leaking(v16_0_0_0_238).leaking(v17_0_0_0_238).leaking(v18_0_0_0_238).leaking(v19_0_0_0_238).leaking(v20_0_0_0_238). goal(j2_0_0_0_238). tank(t311_1_0_0_238). tank(t312_1_0_0_238). tank(t313_1_0_0_238). tank(t314_1_0_0_238). jet(j1_1_0_0_238). jet(j2_1_0_0_238). junction(p1_1_0_0_238). junction(p2_1_0_0_238). junction(p3_1_0_0_238). junction(p4_1_0_0_238). junction(p5_1_0_0_238). junction(p6_1_0_0_238). junction(p7_1_0_0_238). junction(p8_1_0_0_238). junction(p9_1_0_0_238). junction(p10_1_0_0_238). valve(v1_1_0_0_238). valve(v2_1_0_0_238). valve(v3_1_0_0_238). valve(v4_1_0_0_238). valve(v5_1_0_0_238). valve(v6_1_0_0_238). valve(v7_1_0_0_238). valve(v8_1_0_0_238). valve(v9_1_0_0_238). valve(v10_1_0_0_238). valve(v11_1_0_0_238). valve(v12_1_0_0_238). valve(v13_1_0_0_238). valve(v14_1_0_0_238). valve(v15_1_0_0_238). valve(v16_1_0_0_238). valve(v17_1_0_0_238). valve(v18_1_0_0_238). valve(v19_1_0_0_238). valve(v20_1_0_0_238). link(t311_1_0_0_238, p1_1_0_0_238, v1_1_0_0_238). link(p1_1_0_0_238, p2_1_0_0_238, v2_1_0_0_238). link(p3_1_0_0_238, p4_1_0_0_238, v4_1_0_0_238). link(t313_1_0_0_238, p4_1_0_0_238, v5_1_0_0_238). link(p2_1_0_0_238, p3_1_0_0_238, v3_1_0_0_238). link(p2_1_0_0_238, j1_1_0_0_238, v6_1_0_0_238). link(p3_1_0_0_238, j1_1_0_0_238, v7_1_0_0_238). link(p5_1_0_0_238, p1_1_0_0_238, v8_1_0_0_238). link(p4_1_0_0_238, p6_1_0_0_238, v9_1_0_0_238). link(p5_1_0_0_238, p6_1_0_0_238, v10_1_0_0_238). link(p6_1_0_0_238, p5_1_0_0_238, v11_1_0_0_238). %center swap link(p7_1_0_0_238, p5_1_0_0_238, v12_1_0_0_238). link(p6_1_0_0_238, p10_1_0_0_238, v13_1_0_0_238). link(t312_1_0_0_238, p7_1_0_0_238, v14_1_0_0_238). link(p8_1_0_0_238, p7_1_0_0_238, v15_1_0_0_238). link(p10_1_0_0_238, p9_1_0_0_238, v17_1_0_0_238). link(t314_1_0_0_238, p10_1_0_0_238, v18_1_0_0_238). link(p9_1_0_0_238, p8_1_0_0_238, v16_1_0_0_238). link(p8_1_0_0_238, j2_1_0_0_238, v19_1_0_0_238). link(p9_1_0_0_238, j2_1_0_0_238, v20_1_0_0_238). full(t311_1_0_0_238). full(t312_1_0_0_238). full(t313_1_0_0_238). full(t314_1_0_0_238). leaking(v1_1_0_0_238).leaking(v2_1_0_0_238).leaking(v3_1_0_0_238).leaking(v4_1_0_0_238).leaking(v5_1_0_0_238). leaking(v6_1_0_0_238).leaking(v7_1_0_0_238).leaking(v8_1_0_0_238).leaking(v9_1_0_0_238).leaking(v10_1_0_0_238). leaking(v11_1_0_0_238).leaking(v12_1_0_0_238).leaking(v13_1_0_0_238).leaking(v14_1_0_0_238).leaking(v15_1_0_0_238). leaking(v16_1_0_0_238).leaking(v17_1_0_0_238).leaking(v18_1_0_0_238).leaking(v19_1_0_0_238).leaking(v20_1_0_0_238). goal(j2_1_0_0_238). tank(t311_0_1_0_238). tank(t312_0_1_0_238). tank(t313_0_1_0_238). tank(t314_0_1_0_238). jet(j1_0_1_0_238). jet(j2_0_1_0_238). junction(p1_0_1_0_238). junction(p2_0_1_0_238). junction(p3_0_1_0_238). junction(p4_0_1_0_238). junction(p5_0_1_0_238). junction(p6_0_1_0_238). junction(p7_0_1_0_238). junction(p8_0_1_0_238). junction(p9_0_1_0_238). junction(p10_0_1_0_238). valve(v1_0_1_0_238). valve(v2_0_1_0_238). valve(v3_0_1_0_238). valve(v4_0_1_0_238). valve(v5_0_1_0_238). valve(v6_0_1_0_238). valve(v7_0_1_0_238). valve(v8_0_1_0_238). valve(v9_0_1_0_238). valve(v10_0_1_0_238). valve(v11_0_1_0_238). valve(v12_0_1_0_238). valve(v13_0_1_0_238). valve(v14_0_1_0_238). valve(v15_0_1_0_238). valve(v16_0_1_0_238). valve(v17_0_1_0_238). valve(v18_0_1_0_238). valve(v19_0_1_0_238). valve(v20_0_1_0_238). link(t311_0_1_0_238, p1_0_1_0_238, v1_0_1_0_238). link(p1_0_1_0_238, p2_0_1_0_238, v2_0_1_0_238). link(p3_0_1_0_238, p4_0_1_0_238, v4_0_1_0_238). link(t313_0_1_0_238, p4_0_1_0_238, v5_0_1_0_238). link(p2_0_1_0_238, p3_0_1_0_238, v3_0_1_0_238). link(p2_0_1_0_238, j1_0_1_0_238, v6_0_1_0_238). link(p3_0_1_0_238, j1_0_1_0_238, v7_0_1_0_238). link(p5_0_1_0_238, p1_0_1_0_238, v8_0_1_0_238). link(p4_0_1_0_238, p6_0_1_0_238, v9_0_1_0_238). link(p5_0_1_0_238, p6_0_1_0_238, v10_0_1_0_238). link(p6_0_1_0_238, p5_0_1_0_238, v11_0_1_0_238). %center swap link(p7_0_1_0_238, p5_0_1_0_238, v12_0_1_0_238). link(p6_0_1_0_238, p10_0_1_0_238, v13_0_1_0_238). link(t312_0_1_0_238, p7_0_1_0_238, v14_0_1_0_238). link(p8_0_1_0_238, p7_0_1_0_238, v15_0_1_0_238). link(p10_0_1_0_238, p9_0_1_0_238, v17_0_1_0_238). link(t314_0_1_0_238, p10_0_1_0_238, v18_0_1_0_238). link(p9_0_1_0_238, p8_0_1_0_238, v16_0_1_0_238). link(p8_0_1_0_238, j2_0_1_0_238, v19_0_1_0_238). link(p9_0_1_0_238, j2_0_1_0_238, v20_0_1_0_238). full(t311_0_1_0_238). full(t312_0_1_0_238). full(t313_0_1_0_238). full(t314_0_1_0_238). leaking(v1_0_1_0_238).leaking(v2_0_1_0_238).leaking(v3_0_1_0_238).leaking(v4_0_1_0_238).leaking(v5_0_1_0_238). leaking(v6_0_1_0_238).leaking(v7_0_1_0_238).leaking(v8_0_1_0_238).leaking(v9_0_1_0_238).leaking(v10_0_1_0_238). leaking(v11_0_1_0_238).leaking(v12_0_1_0_238).leaking(v13_0_1_0_238).leaking(v14_0_1_0_238).leaking(v15_0_1_0_238). leaking(v16_0_1_0_238).leaking(v17_0_1_0_238).leaking(v18_0_1_0_238).leaking(v19_0_1_0_238).leaking(v20_0_1_0_238). goal(j2_0_1_0_238). tank(t311_1_1_0_238). tank(t312_1_1_0_238). tank(t313_1_1_0_238). tank(t314_1_1_0_238). jet(j1_1_1_0_238). jet(j2_1_1_0_238). junction(p1_1_1_0_238). junction(p2_1_1_0_238). junction(p3_1_1_0_238). junction(p4_1_1_0_238). junction(p5_1_1_0_238). junction(p6_1_1_0_238). junction(p7_1_1_0_238). junction(p8_1_1_0_238). junction(p9_1_1_0_238). junction(p10_1_1_0_238). valve(v1_1_1_0_238). valve(v2_1_1_0_238). valve(v3_1_1_0_238). valve(v4_1_1_0_238). valve(v5_1_1_0_238). valve(v6_1_1_0_238). valve(v7_1_1_0_238). valve(v8_1_1_0_238). valve(v9_1_1_0_238). valve(v10_1_1_0_238). valve(v11_1_1_0_238). valve(v12_1_1_0_238). valve(v13_1_1_0_238). valve(v14_1_1_0_238). valve(v15_1_1_0_238). valve(v16_1_1_0_238). valve(v17_1_1_0_238). valve(v18_1_1_0_238). valve(v19_1_1_0_238). valve(v20_1_1_0_238). link(t311_1_1_0_238, p1_1_1_0_238, v1_1_1_0_238). link(p1_1_1_0_238, p2_1_1_0_238, v2_1_1_0_238). link(p3_1_1_0_238, p4_1_1_0_238, v4_1_1_0_238). link(t313_1_1_0_238, p4_1_1_0_238, v5_1_1_0_238). link(p2_1_1_0_238, p3_1_1_0_238, v3_1_1_0_238). link(p2_1_1_0_238, j1_1_1_0_238, v6_1_1_0_238). link(p3_1_1_0_238, j1_1_1_0_238, v7_1_1_0_238). link(p5_1_1_0_238, p1_1_1_0_238, v8_1_1_0_238). link(p4_1_1_0_238, p6_1_1_0_238, v9_1_1_0_238). link(p5_1_1_0_238, p6_1_1_0_238, v10_1_1_0_238). link(p6_1_1_0_238, p5_1_1_0_238, v11_1_1_0_238). %center swap link(p7_1_1_0_238, p5_1_1_0_238, v12_1_1_0_238). link(p6_1_1_0_238, p10_1_1_0_238, v13_1_1_0_238). link(t312_1_1_0_238, p7_1_1_0_238, v14_1_1_0_238). link(p8_1_1_0_238, p7_1_1_0_238, v15_1_1_0_238). link(p10_1_1_0_238, p9_1_1_0_238, v17_1_1_0_238). link(t314_1_1_0_238, p10_1_1_0_238, v18_1_1_0_238). link(p9_1_1_0_238, p8_1_1_0_238, v16_1_1_0_238). link(p8_1_1_0_238, j2_1_1_0_238, v19_1_1_0_238). link(p9_1_1_0_238, j2_1_1_0_238, v20_1_1_0_238). full(t311_1_1_0_238). full(t312_1_1_0_238). full(t313_1_1_0_238). full(t314_1_1_0_238). leaking(v1_1_1_0_238).leaking(v2_1_1_0_238).leaking(v3_1_1_0_238).leaking(v4_1_1_0_238).leaking(v5_1_1_0_238). leaking(v6_1_1_0_238).leaking(v7_1_1_0_238).leaking(v8_1_1_0_238).leaking(v9_1_1_0_238).leaking(v10_1_1_0_238). leaking(v11_1_1_0_238).leaking(v12_1_1_0_238).leaking(v13_1_1_0_238).leaking(v14_1_1_0_238).leaking(v15_1_1_0_238). leaking(v16_1_1_0_238).leaking(v17_1_1_0_238).leaking(v18_1_1_0_238).leaking(v19_1_1_0_238).leaking(v20_1_1_0_238). goal(j2_1_1_0_238). tank(t311_0_0_1_238). tank(t312_0_0_1_238). tank(t313_0_0_1_238). tank(t314_0_0_1_238). jet(j1_0_0_1_238). jet(j2_0_0_1_238). junction(p1_0_0_1_238). junction(p2_0_0_1_238). junction(p3_0_0_1_238). junction(p4_0_0_1_238). junction(p5_0_0_1_238). junction(p6_0_0_1_238). junction(p7_0_0_1_238). junction(p8_0_0_1_238). junction(p9_0_0_1_238). junction(p10_0_0_1_238). valve(v1_0_0_1_238). valve(v2_0_0_1_238). valve(v3_0_0_1_238). valve(v4_0_0_1_238). valve(v5_0_0_1_238). valve(v6_0_0_1_238). valve(v7_0_0_1_238). valve(v8_0_0_1_238). valve(v9_0_0_1_238). valve(v10_0_0_1_238). valve(v11_0_0_1_238). valve(v12_0_0_1_238). valve(v13_0_0_1_238). valve(v14_0_0_1_238). valve(v15_0_0_1_238). valve(v16_0_0_1_238). valve(v17_0_0_1_238). valve(v18_0_0_1_238). valve(v19_0_0_1_238). valve(v20_0_0_1_238). link(t311_0_0_1_238, p1_0_0_1_238, v1_0_0_1_238). link(p1_0_0_1_238, p2_0_0_1_238, v2_0_0_1_238). link(p3_0_0_1_238, p4_0_0_1_238, v4_0_0_1_238). link(t313_0_0_1_238, p4_0_0_1_238, v5_0_0_1_238). link(p2_0_0_1_238, p3_0_0_1_238, v3_0_0_1_238). link(p2_0_0_1_238, j1_0_0_1_238, v6_0_0_1_238). link(p3_0_0_1_238, j1_0_0_1_238, v7_0_0_1_238). link(p5_0_0_1_238, p1_0_0_1_238, v8_0_0_1_238). link(p4_0_0_1_238, p6_0_0_1_238, v9_0_0_1_238). link(p5_0_0_1_238, p6_0_0_1_238, v10_0_0_1_238). link(p6_0_0_1_238, p5_0_0_1_238, v11_0_0_1_238). %center swap link(p7_0_0_1_238, p5_0_0_1_238, v12_0_0_1_238). link(p6_0_0_1_238, p10_0_0_1_238, v13_0_0_1_238). link(t312_0_0_1_238, p7_0_0_1_238, v14_0_0_1_238). link(p8_0_0_1_238, p7_0_0_1_238, v15_0_0_1_238). link(p10_0_0_1_238, p9_0_0_1_238, v17_0_0_1_238). link(t314_0_0_1_238, p10_0_0_1_238, v18_0_0_1_238). link(p9_0_0_1_238, p8_0_0_1_238, v16_0_0_1_238). link(p8_0_0_1_238, j2_0_0_1_238, v19_0_0_1_238). link(p9_0_0_1_238, j2_0_0_1_238, v20_0_0_1_238). full(t311_0_0_1_238). full(t312_0_0_1_238). full(t313_0_0_1_238). full(t314_0_0_1_238). leaking(v1_0_0_1_238).leaking(v2_0_0_1_238).leaking(v3_0_0_1_238).leaking(v4_0_0_1_238).leaking(v5_0_0_1_238). leaking(v6_0_0_1_238).leaking(v7_0_0_1_238).leaking(v8_0_0_1_238).leaking(v9_0_0_1_238).leaking(v10_0_0_1_238). leaking(v11_0_0_1_238).leaking(v12_0_0_1_238).leaking(v13_0_0_1_238).leaking(v14_0_0_1_238).leaking(v15_0_0_1_238). leaking(v16_0_0_1_238).leaking(v17_0_0_1_238).leaking(v18_0_0_1_238).leaking(v19_0_0_1_238).leaking(v20_0_0_1_238). goal(j2_0_0_1_238). tank(t311_1_0_1_238). tank(t312_1_0_1_238). tank(t313_1_0_1_238). tank(t314_1_0_1_238). jet(j1_1_0_1_238). jet(j2_1_0_1_238). junction(p1_1_0_1_238). junction(p2_1_0_1_238). junction(p3_1_0_1_238). junction(p4_1_0_1_238). junction(p5_1_0_1_238). junction(p6_1_0_1_238). junction(p7_1_0_1_238). junction(p8_1_0_1_238). junction(p9_1_0_1_238). junction(p10_1_0_1_238). valve(v1_1_0_1_238). valve(v2_1_0_1_238). valve(v3_1_0_1_238). valve(v4_1_0_1_238). valve(v5_1_0_1_238). valve(v6_1_0_1_238). valve(v7_1_0_1_238). valve(v8_1_0_1_238). valve(v9_1_0_1_238). valve(v10_1_0_1_238). valve(v11_1_0_1_238). valve(v12_1_0_1_238). valve(v13_1_0_1_238). valve(v14_1_0_1_238). valve(v15_1_0_1_238). valve(v16_1_0_1_238). valve(v17_1_0_1_238). valve(v18_1_0_1_238). valve(v19_1_0_1_238). valve(v20_1_0_1_238). link(t311_1_0_1_238, p1_1_0_1_238, v1_1_0_1_238). link(p1_1_0_1_238, p2_1_0_1_238, v2_1_0_1_238). link(p3_1_0_1_238, p4_1_0_1_238, v4_1_0_1_238). link(t313_1_0_1_238, p4_1_0_1_238, v5_1_0_1_238). link(p2_1_0_1_238, p3_1_0_1_238, v3_1_0_1_238). link(p2_1_0_1_238, j1_1_0_1_238, v6_1_0_1_238). link(p3_1_0_1_238, j1_1_0_1_238, v7_1_0_1_238). link(p5_1_0_1_238, p1_1_0_1_238, v8_1_0_1_238). link(p4_1_0_1_238, p6_1_0_1_238, v9_1_0_1_238). link(p5_1_0_1_238, p6_1_0_1_238, v10_1_0_1_238). link(p6_1_0_1_238, p5_1_0_1_238, v11_1_0_1_238). %center swap link(p7_1_0_1_238, p5_1_0_1_238, v12_1_0_1_238). link(p6_1_0_1_238, p10_1_0_1_238, v13_1_0_1_238). link(t312_1_0_1_238, p7_1_0_1_238, v14_1_0_1_238). link(p8_1_0_1_238, p7_1_0_1_238, v15_1_0_1_238). link(p10_1_0_1_238, p9_1_0_1_238, v17_1_0_1_238). link(t314_1_0_1_238, p10_1_0_1_238, v18_1_0_1_238). link(p9_1_0_1_238, p8_1_0_1_238, v16_1_0_1_238). link(p8_1_0_1_238, j2_1_0_1_238, v19_1_0_1_238). link(p9_1_0_1_238, j2_1_0_1_238, v20_1_0_1_238). full(t311_1_0_1_238). full(t312_1_0_1_238). full(t313_1_0_1_238). full(t314_1_0_1_238). leaking(v1_1_0_1_238).leaking(v2_1_0_1_238).leaking(v3_1_0_1_238).leaking(v4_1_0_1_238).leaking(v5_1_0_1_238). leaking(v6_1_0_1_238).leaking(v7_1_0_1_238).leaking(v8_1_0_1_238).leaking(v9_1_0_1_238).leaking(v10_1_0_1_238). leaking(v11_1_0_1_238).leaking(v12_1_0_1_238).leaking(v13_1_0_1_238).leaking(v14_1_0_1_238).leaking(v15_1_0_1_238). leaking(v16_1_0_1_238).leaking(v17_1_0_1_238).leaking(v18_1_0_1_238).leaking(v19_1_0_1_238).leaking(v20_1_0_1_238). goal(j2_1_0_1_238). tank(t311_0_1_1_238). tank(t312_0_1_1_238). tank(t313_0_1_1_238). tank(t314_0_1_1_238). jet(j1_0_1_1_238). jet(j2_0_1_1_238). junction(p1_0_1_1_238). junction(p2_0_1_1_238). junction(p3_0_1_1_238). junction(p4_0_1_1_238). junction(p5_0_1_1_238). junction(p6_0_1_1_238). junction(p7_0_1_1_238). junction(p8_0_1_1_238). junction(p9_0_1_1_238). junction(p10_0_1_1_238). valve(v1_0_1_1_238). valve(v2_0_1_1_238). valve(v3_0_1_1_238). valve(v4_0_1_1_238). valve(v5_0_1_1_238). valve(v6_0_1_1_238). valve(v7_0_1_1_238). valve(v8_0_1_1_238). valve(v9_0_1_1_238). valve(v10_0_1_1_238). valve(v11_0_1_1_238). valve(v12_0_1_1_238). valve(v13_0_1_1_238). valve(v14_0_1_1_238). valve(v15_0_1_1_238). valve(v16_0_1_1_238). valve(v17_0_1_1_238). valve(v18_0_1_1_238). valve(v19_0_1_1_238). valve(v20_0_1_1_238). link(t311_0_1_1_238, p1_0_1_1_238, v1_0_1_1_238). link(p1_0_1_1_238, p2_0_1_1_238, v2_0_1_1_238). link(p3_0_1_1_238, p4_0_1_1_238, v4_0_1_1_238). link(t313_0_1_1_238, p4_0_1_1_238, v5_0_1_1_238). link(p2_0_1_1_238, p3_0_1_1_238, v3_0_1_1_238). link(p2_0_1_1_238, j1_0_1_1_238, v6_0_1_1_238). link(p3_0_1_1_238, j1_0_1_1_238, v7_0_1_1_238). link(p5_0_1_1_238, p1_0_1_1_238, v8_0_1_1_238). link(p4_0_1_1_238, p6_0_1_1_238, v9_0_1_1_238). link(p5_0_1_1_238, p6_0_1_1_238, v10_0_1_1_238). link(p6_0_1_1_238, p5_0_1_1_238, v11_0_1_1_238). %center swap link(p7_0_1_1_238, p5_0_1_1_238, v12_0_1_1_238). link(p6_0_1_1_238, p10_0_1_1_238, v13_0_1_1_238). link(t312_0_1_1_238, p7_0_1_1_238, v14_0_1_1_238). link(p8_0_1_1_238, p7_0_1_1_238, v15_0_1_1_238). link(p10_0_1_1_238, p9_0_1_1_238, v17_0_1_1_238). link(t314_0_1_1_238, p10_0_1_1_238, v18_0_1_1_238). link(p9_0_1_1_238, p8_0_1_1_238, v16_0_1_1_238). link(p8_0_1_1_238, j2_0_1_1_238, v19_0_1_1_238). link(p9_0_1_1_238, j2_0_1_1_238, v20_0_1_1_238). full(t311_0_1_1_238). full(t312_0_1_1_238). full(t313_0_1_1_238). full(t314_0_1_1_238). leaking(v1_0_1_1_238).leaking(v2_0_1_1_238).leaking(v3_0_1_1_238).leaking(v4_0_1_1_238).leaking(v5_0_1_1_238). leaking(v6_0_1_1_238).leaking(v7_0_1_1_238).leaking(v8_0_1_1_238).leaking(v9_0_1_1_238).leaking(v10_0_1_1_238). leaking(v11_0_1_1_238).leaking(v12_0_1_1_238).leaking(v13_0_1_1_238).leaking(v14_0_1_1_238).leaking(v15_0_1_1_238). leaking(v16_0_1_1_238).leaking(v17_0_1_1_238).leaking(v18_0_1_1_238).leaking(v19_0_1_1_238).leaking(v20_0_1_1_238). goal(j2_0_1_1_238). tank(t311_1_1_1_238). tank(t312_1_1_1_238). tank(t313_1_1_1_238). tank(t314_1_1_1_238). jet(j1_1_1_1_238). jet(j2_1_1_1_238). junction(p1_1_1_1_238). junction(p2_1_1_1_238). junction(p3_1_1_1_238). junction(p4_1_1_1_238). junction(p5_1_1_1_238). junction(p6_1_1_1_238). junction(p7_1_1_1_238). junction(p8_1_1_1_238). junction(p9_1_1_1_238). junction(p10_1_1_1_238). valve(v1_1_1_1_238). valve(v2_1_1_1_238). valve(v3_1_1_1_238). valve(v4_1_1_1_238). valve(v5_1_1_1_238). valve(v6_1_1_1_238). valve(v7_1_1_1_238). valve(v8_1_1_1_238). valve(v9_1_1_1_238). valve(v10_1_1_1_238). valve(v11_1_1_1_238). valve(v12_1_1_1_238). valve(v13_1_1_1_238). valve(v14_1_1_1_238). valve(v15_1_1_1_238). valve(v16_1_1_1_238). valve(v17_1_1_1_238). valve(v18_1_1_1_238). valve(v19_1_1_1_238). valve(v20_1_1_1_238). link(t311_1_1_1_238, p1_1_1_1_238, v1_1_1_1_238). link(p1_1_1_1_238, p2_1_1_1_238, v2_1_1_1_238). link(p3_1_1_1_238, p4_1_1_1_238, v4_1_1_1_238). link(t313_1_1_1_238, p4_1_1_1_238, v5_1_1_1_238). link(p2_1_1_1_238, p3_1_1_1_238, v3_1_1_1_238). link(p2_1_1_1_238, j1_1_1_1_238, v6_1_1_1_238). link(p3_1_1_1_238, j1_1_1_1_238, v7_1_1_1_238). link(p5_1_1_1_238, p1_1_1_1_238, v8_1_1_1_238). link(p4_1_1_1_238, p6_1_1_1_238, v9_1_1_1_238). link(p5_1_1_1_238, p6_1_1_1_238, v10_1_1_1_238). link(p6_1_1_1_238, p5_1_1_1_238, v11_1_1_1_238). %center swap link(p7_1_1_1_238, p5_1_1_1_238, v12_1_1_1_238). link(p6_1_1_1_238, p10_1_1_1_238, v13_1_1_1_238). link(t312_1_1_1_238, p7_1_1_1_238, v14_1_1_1_238). link(p8_1_1_1_238, p7_1_1_1_238, v15_1_1_1_238). link(p10_1_1_1_238, p9_1_1_1_238, v17_1_1_1_238). link(t314_1_1_1_238, p10_1_1_1_238, v18_1_1_1_238). link(p9_1_1_1_238, p8_1_1_1_238, v16_1_1_1_238). link(p8_1_1_1_238, j2_1_1_1_238, v19_1_1_1_238). link(p9_1_1_1_238, j2_1_1_1_238, v20_1_1_1_238). full(t311_1_1_1_238). full(t312_1_1_1_238). full(t313_1_1_1_238). full(t314_1_1_1_238). leaking(v1_1_1_1_238).leaking(v2_1_1_1_238).leaking(v3_1_1_1_238).leaking(v4_1_1_1_238).leaking(v5_1_1_1_238). leaking(v6_1_1_1_238).leaking(v7_1_1_1_238).leaking(v8_1_1_1_238).leaking(v9_1_1_1_238).leaking(v10_1_1_1_238). leaking(v11_1_1_1_238).leaking(v12_1_1_1_238).leaking(v13_1_1_1_238).leaking(v14_1_1_1_238).leaking(v15_1_1_1_238). leaking(v16_1_1_1_238).leaking(v17_1_1_1_238).leaking(v18_1_1_1_238).leaking(v19_1_1_1_238).leaking(v20_1_1_1_238). goal(j2_1_1_1_238). tank(t311_0_0_412_239). tank(t312_0_0_412_239). tank(t313_0_0_412_239). tank(t314_0_0_412_239). jet(j1_0_0_412_239). jet(j2_0_0_412_239). junction(p1_0_0_412_239). junction(p2_0_0_412_239). junction(p3_0_0_412_239). junction(p4_0_0_412_239). junction(p5_0_0_412_239). junction(p6_0_0_412_239). junction(p7_0_0_412_239). junction(p8_0_0_412_239). junction(p9_0_0_412_239). junction(p10_0_0_412_239). valve(v1_0_0_412_239). valve(v2_0_0_412_239). valve(v3_0_0_412_239). valve(v4_0_0_412_239). valve(v5_0_0_412_239). valve(v6_0_0_412_239). valve(v7_0_0_412_239). valve(v8_0_0_412_239). valve(v9_0_0_412_239). valve(v10_0_0_412_239). valve(v11_0_0_412_239). valve(v12_0_0_412_239). valve(v13_0_0_412_239). valve(v14_0_0_412_239). valve(v15_0_0_412_239). valve(v16_0_0_412_239). valve(v17_0_0_412_239). valve(v18_0_0_412_239). valve(v19_0_0_412_239). valve(v20_0_0_412_239). link(t311_0_0_412_239, p1_0_0_412_239, v1_0_0_412_239). link(p1_0_0_412_239, p2_0_0_412_239, v2_0_0_412_239). link(p3_0_0_412_239, p4_0_0_412_239, v4_0_0_412_239). link(t313_0_0_412_239, p4_0_0_412_239, v5_0_0_412_239). link(p2_0_0_412_239, p3_0_0_412_239, v3_0_0_412_239). link(p2_0_0_412_239, j1_0_0_412_239, v6_0_0_412_239). link(p3_0_0_412_239, j1_0_0_412_239, v7_0_0_412_239). link(p5_0_0_412_239, p1_0_0_412_239, v8_0_0_412_239). link(p4_0_0_412_239, p6_0_0_412_239, v9_0_0_412_239). link(p5_0_0_412_239, p6_0_0_412_239, v10_0_0_412_239). link(p6_0_0_412_239, p5_0_0_412_239, v11_0_0_412_239). %center swap link(p7_0_0_412_239, p5_0_0_412_239, v12_0_0_412_239). link(p6_0_0_412_239, p10_0_0_412_239, v13_0_0_412_239). link(t312_0_0_412_239, p7_0_0_412_239, v14_0_0_412_239). link(p8_0_0_412_239, p7_0_0_412_239, v15_0_0_412_239). link(p10_0_0_412_239, p9_0_0_412_239, v17_0_0_412_239). link(t314_0_0_412_239, p10_0_0_412_239, v18_0_0_412_239). link(p9_0_0_412_239, p8_0_0_412_239, v16_0_0_412_239). link(p8_0_0_412_239, j2_0_0_412_239, v19_0_0_412_239). link(p9_0_0_412_239, j2_0_0_412_239, v20_0_0_412_239). full(t311_0_0_412_239). full(t312_0_0_412_239). full(t313_0_0_412_239). full(t314_0_0_412_239). leaking(v1_0_0_412_239).leaking(v2_0_0_412_239).leaking(v3_0_0_412_239).leaking(v4_0_0_412_239).leaking(v5_0_0_412_239). leaking(v6_0_0_412_239).leaking(v7_0_0_412_239).leaking(v8_0_0_412_239).leaking(v9_0_0_412_239).leaking(v10_0_0_412_239). leaking(v11_0_0_412_239).leaking(v12_0_0_412_239).leaking(v13_0_0_412_239).leaking(v14_0_0_412_239).leaking(v15_0_0_412_239). leaking(v16_0_0_412_239).leaking(v17_0_0_412_239).leaking(v18_0_0_412_239).leaking(v19_0_0_412_239).leaking(v20_0_0_412_239). goal(j2_0_0_412_239). tank(t311_1_0_412_239). tank(t312_1_0_412_239). tank(t313_1_0_412_239). tank(t314_1_0_412_239). jet(j1_1_0_412_239). jet(j2_1_0_412_239). junction(p1_1_0_412_239). junction(p2_1_0_412_239). junction(p3_1_0_412_239). junction(p4_1_0_412_239). junction(p5_1_0_412_239). junction(p6_1_0_412_239). junction(p7_1_0_412_239). junction(p8_1_0_412_239). junction(p9_1_0_412_239). junction(p10_1_0_412_239). valve(v1_1_0_412_239). valve(v2_1_0_412_239). valve(v3_1_0_412_239). valve(v4_1_0_412_239). valve(v5_1_0_412_239). valve(v6_1_0_412_239). valve(v7_1_0_412_239). valve(v8_1_0_412_239). valve(v9_1_0_412_239). valve(v10_1_0_412_239). valve(v11_1_0_412_239). valve(v12_1_0_412_239). valve(v13_1_0_412_239). valve(v14_1_0_412_239). valve(v15_1_0_412_239). valve(v16_1_0_412_239). valve(v17_1_0_412_239). valve(v18_1_0_412_239). valve(v19_1_0_412_239). valve(v20_1_0_412_239). link(t311_1_0_412_239, p1_1_0_412_239, v1_1_0_412_239). link(p1_1_0_412_239, p2_1_0_412_239, v2_1_0_412_239). link(p3_1_0_412_239, p4_1_0_412_239, v4_1_0_412_239). link(t313_1_0_412_239, p4_1_0_412_239, v5_1_0_412_239). link(p2_1_0_412_239, p3_1_0_412_239, v3_1_0_412_239). link(p2_1_0_412_239, j1_1_0_412_239, v6_1_0_412_239). link(p3_1_0_412_239, j1_1_0_412_239, v7_1_0_412_239). link(p5_1_0_412_239, p1_1_0_412_239, v8_1_0_412_239). link(p4_1_0_412_239, p6_1_0_412_239, v9_1_0_412_239). link(p5_1_0_412_239, p6_1_0_412_239, v10_1_0_412_239). link(p6_1_0_412_239, p5_1_0_412_239, v11_1_0_412_239). %center swap link(p7_1_0_412_239, p5_1_0_412_239, v12_1_0_412_239). link(p6_1_0_412_239, p10_1_0_412_239, v13_1_0_412_239). link(t312_1_0_412_239, p7_1_0_412_239, v14_1_0_412_239). link(p8_1_0_412_239, p7_1_0_412_239, v15_1_0_412_239). link(p10_1_0_412_239, p9_1_0_412_239, v17_1_0_412_239). link(t314_1_0_412_239, p10_1_0_412_239, v18_1_0_412_239). link(p9_1_0_412_239, p8_1_0_412_239, v16_1_0_412_239). link(p8_1_0_412_239, j2_1_0_412_239, v19_1_0_412_239). link(p9_1_0_412_239, j2_1_0_412_239, v20_1_0_412_239). full(t311_1_0_412_239). full(t312_1_0_412_239). full(t313_1_0_412_239). full(t314_1_0_412_239). leaking(v1_1_0_412_239).leaking(v2_1_0_412_239).leaking(v3_1_0_412_239).leaking(v4_1_0_412_239).leaking(v5_1_0_412_239). leaking(v6_1_0_412_239).leaking(v7_1_0_412_239).leaking(v8_1_0_412_239).leaking(v9_1_0_412_239).leaking(v10_1_0_412_239). leaking(v11_1_0_412_239).leaking(v12_1_0_412_239).leaking(v13_1_0_412_239).leaking(v14_1_0_412_239).leaking(v15_1_0_412_239). leaking(v16_1_0_412_239).leaking(v17_1_0_412_239).leaking(v18_1_0_412_239).leaking(v19_1_0_412_239).leaking(v20_1_0_412_239). goal(j2_1_0_412_239). tank(t311_0_1_412_239). tank(t312_0_1_412_239). tank(t313_0_1_412_239). tank(t314_0_1_412_239). jet(j1_0_1_412_239). jet(j2_0_1_412_239). junction(p1_0_1_412_239). junction(p2_0_1_412_239). junction(p3_0_1_412_239). junction(p4_0_1_412_239). junction(p5_0_1_412_239). junction(p6_0_1_412_239). junction(p7_0_1_412_239). junction(p8_0_1_412_239). junction(p9_0_1_412_239). junction(p10_0_1_412_239). valve(v1_0_1_412_239). valve(v2_0_1_412_239). valve(v3_0_1_412_239). valve(v4_0_1_412_239). valve(v5_0_1_412_239). valve(v6_0_1_412_239). valve(v7_0_1_412_239). valve(v8_0_1_412_239). valve(v9_0_1_412_239). valve(v10_0_1_412_239). valve(v11_0_1_412_239). valve(v12_0_1_412_239). valve(v13_0_1_412_239). valve(v14_0_1_412_239). valve(v15_0_1_412_239). valve(v16_0_1_412_239). valve(v17_0_1_412_239). valve(v18_0_1_412_239). valve(v19_0_1_412_239). valve(v20_0_1_412_239). link(t311_0_1_412_239, p1_0_1_412_239, v1_0_1_412_239). link(p1_0_1_412_239, p2_0_1_412_239, v2_0_1_412_239). link(p3_0_1_412_239, p4_0_1_412_239, v4_0_1_412_239). link(t313_0_1_412_239, p4_0_1_412_239, v5_0_1_412_239). link(p2_0_1_412_239, p3_0_1_412_239, v3_0_1_412_239). link(p2_0_1_412_239, j1_0_1_412_239, v6_0_1_412_239). link(p3_0_1_412_239, j1_0_1_412_239, v7_0_1_412_239). link(p5_0_1_412_239, p1_0_1_412_239, v8_0_1_412_239). link(p4_0_1_412_239, p6_0_1_412_239, v9_0_1_412_239). link(p5_0_1_412_239, p6_0_1_412_239, v10_0_1_412_239). link(p6_0_1_412_239, p5_0_1_412_239, v11_0_1_412_239). %center swap link(p7_0_1_412_239, p5_0_1_412_239, v12_0_1_412_239). link(p6_0_1_412_239, p10_0_1_412_239, v13_0_1_412_239). link(t312_0_1_412_239, p7_0_1_412_239, v14_0_1_412_239). link(p8_0_1_412_239, p7_0_1_412_239, v15_0_1_412_239). link(p10_0_1_412_239, p9_0_1_412_239, v17_0_1_412_239). link(t314_0_1_412_239, p10_0_1_412_239, v18_0_1_412_239). link(p9_0_1_412_239, p8_0_1_412_239, v16_0_1_412_239). link(p8_0_1_412_239, j2_0_1_412_239, v19_0_1_412_239). link(p9_0_1_412_239, j2_0_1_412_239, v20_0_1_412_239). full(t311_0_1_412_239). full(t312_0_1_412_239). full(t313_0_1_412_239). full(t314_0_1_412_239). leaking(v1_0_1_412_239).leaking(v2_0_1_412_239).leaking(v3_0_1_412_239).leaking(v4_0_1_412_239).leaking(v5_0_1_412_239). leaking(v6_0_1_412_239).leaking(v7_0_1_412_239).leaking(v8_0_1_412_239).leaking(v9_0_1_412_239).leaking(v10_0_1_412_239). leaking(v11_0_1_412_239).leaking(v12_0_1_412_239).leaking(v13_0_1_412_239).leaking(v14_0_1_412_239).leaking(v15_0_1_412_239). leaking(v16_0_1_412_239).leaking(v17_0_1_412_239).leaking(v18_0_1_412_239).leaking(v19_0_1_412_239).leaking(v20_0_1_412_239). goal(j2_0_1_412_239). tank(t311_1_1_412_239). tank(t312_1_1_412_239). tank(t313_1_1_412_239). tank(t314_1_1_412_239). jet(j1_1_1_412_239). jet(j2_1_1_412_239). junction(p1_1_1_412_239). junction(p2_1_1_412_239). junction(p3_1_1_412_239). junction(p4_1_1_412_239). junction(p5_1_1_412_239). junction(p6_1_1_412_239). junction(p7_1_1_412_239). junction(p8_1_1_412_239). junction(p9_1_1_412_239). junction(p10_1_1_412_239). valve(v1_1_1_412_239). valve(v2_1_1_412_239). valve(v3_1_1_412_239). valve(v4_1_1_412_239). valve(v5_1_1_412_239). valve(v6_1_1_412_239). valve(v7_1_1_412_239). valve(v8_1_1_412_239). valve(v9_1_1_412_239). valve(v10_1_1_412_239). valve(v11_1_1_412_239). valve(v12_1_1_412_239). valve(v13_1_1_412_239). valve(v14_1_1_412_239). valve(v15_1_1_412_239). valve(v16_1_1_412_239). valve(v17_1_1_412_239). valve(v18_1_1_412_239). valve(v19_1_1_412_239). valve(v20_1_1_412_239). link(t311_1_1_412_239, p1_1_1_412_239, v1_1_1_412_239). link(p1_1_1_412_239, p2_1_1_412_239, v2_1_1_412_239). link(p3_1_1_412_239, p4_1_1_412_239, v4_1_1_412_239). link(t313_1_1_412_239, p4_1_1_412_239, v5_1_1_412_239). link(p2_1_1_412_239, p3_1_1_412_239, v3_1_1_412_239). link(p2_1_1_412_239, j1_1_1_412_239, v6_1_1_412_239). link(p3_1_1_412_239, j1_1_1_412_239, v7_1_1_412_239). link(p5_1_1_412_239, p1_1_1_412_239, v8_1_1_412_239). link(p4_1_1_412_239, p6_1_1_412_239, v9_1_1_412_239). link(p5_1_1_412_239, p6_1_1_412_239, v10_1_1_412_239). link(p6_1_1_412_239, p5_1_1_412_239, v11_1_1_412_239). %center swap link(p7_1_1_412_239, p5_1_1_412_239, v12_1_1_412_239). link(p6_1_1_412_239, p10_1_1_412_239, v13_1_1_412_239). link(t312_1_1_412_239, p7_1_1_412_239, v14_1_1_412_239). link(p8_1_1_412_239, p7_1_1_412_239, v15_1_1_412_239). link(p10_1_1_412_239, p9_1_1_412_239, v17_1_1_412_239). link(t314_1_1_412_239, p10_1_1_412_239, v18_1_1_412_239). link(p9_1_1_412_239, p8_1_1_412_239, v16_1_1_412_239). link(p8_1_1_412_239, j2_1_1_412_239, v19_1_1_412_239). link(p9_1_1_412_239, j2_1_1_412_239, v20_1_1_412_239). full(t311_1_1_412_239). full(t312_1_1_412_239). full(t313_1_1_412_239). full(t314_1_1_412_239). leaking(v1_1_1_412_239).leaking(v2_1_1_412_239).leaking(v3_1_1_412_239).leaking(v4_1_1_412_239).leaking(v5_1_1_412_239). leaking(v6_1_1_412_239).leaking(v7_1_1_412_239).leaking(v8_1_1_412_239).leaking(v9_1_1_412_239).leaking(v10_1_1_412_239). leaking(v11_1_1_412_239).leaking(v12_1_1_412_239).leaking(v13_1_1_412_239).leaking(v14_1_1_412_239).leaking(v15_1_1_412_239). leaking(v16_1_1_412_239).leaking(v17_1_1_412_239).leaking(v18_1_1_412_239).leaking(v19_1_1_412_239).leaking(v20_1_1_412_239). goal(j2_1_1_412_239). tank(t011_200_570_413_239). tank(t012_200_570_413_239). jet(j_200_570_413_239). junction(p1_200_570_413_239). junction(p2_200_570_413_239). junction(p3_200_570_413_239). junction(p4_200_570_413_239). junction(p5_200_570_413_239). junction(p6_200_570_413_239). junction(p7_200_570_413_239). valve(v1_200_570_413_239). valve(v2_200_570_413_239). valve(v3_200_570_413_239). valve(v4_200_570_413_239). valve(v5_200_570_413_239). valve(v6_200_570_413_239). valve(v7_200_570_413_239). valve(v8_200_570_413_239). valve(v9_200_570_413_239). valve(v10_200_570_413_239). valve(v11_200_570_413_239). link(t011_200_570_413_239, p1_200_570_413_239, v1_200_570_413_239). link(p1_200_570_413_239, p2_200_570_413_239, v2_200_570_413_239). link(p2_200_570_413_239, p3_200_570_413_239, v3_200_570_413_239). link(p3_200_570_413_239, p4_200_570_413_239, v4_200_570_413_239). link(p1_200_570_413_239, p5_200_570_413_239, v5_200_570_413_239). link(p5_200_570_413_239, p1_200_570_413_239, v5_200_570_413_239). link(p2_200_570_413_239, p6_200_570_413_239, v6_200_570_413_239). link(p6_200_570_413_239, p2_200_570_413_239, v6_200_570_413_239). link(p3_200_570_413_239, p7_200_570_413_239, v7_200_570_413_239). link(p4_200_570_413_239, j_200_570_413_239, v8_200_570_413_239). link(t012_200_570_413_239, p5_200_570_413_239, v11_200_570_413_239). link(p5_200_570_413_239, p6_200_570_413_239, v9_200_570_413_239). link(p7_200_570_413_239, j_200_570_413_239, v10_200_570_413_239). full(t011_200_570_413_239). full(t012_200_570_413_239). leaking(v1_200_570_413_239). leaking(v2_200_570_413_239). leaking(v3_200_570_413_239). leaking(v4_200_570_413_239). leaking(v5_200_570_413_239). leaking(v6_200_570_413_239). leaking(v7_200_570_413_239). leaking(v8_200_570_413_239). leaking(v9_200_570_413_239). leaking(v10_200_570_413_239). leaking(v11_200_570_413_239). leaking(v12_200_570_413_239). leaking(v13_200_570_413_239). goal(j_200_570_413_239). tank(t121_201_570_413_239). tank(t122_201_570_413_239). tank(t123_201_570_413_239). jet(j1_201_570_413_239). jet(j2_201_570_413_239). jet(j3_201_570_413_239). junction(p1_201_570_413_239). junction(p2_201_570_413_239). junction(p3_201_570_413_239). junction(p4_201_570_413_239). junction(p5_201_570_413_239). junction(p6_201_570_413_239). valve(v1_201_570_413_239). valve(v2_201_570_413_239). valve(v3_201_570_413_239). valve(v4_201_570_413_239). valve(v5_201_570_413_239). valve(v6_201_570_413_239). valve(v7_201_570_413_239). valve(v8_201_570_413_239). valve(v9_201_570_413_239). valve(v10_201_570_413_239). valve(v11_201_570_413_239). valve(v12_201_570_413_239). valve(v13_201_570_413_239). link(t121_201_570_413_239, p1_201_570_413_239, v1_201_570_413_239). link(p1_201_570_413_239, p2_201_570_413_239, v2_201_570_413_239). link(p2_201_570_413_239, j1_201_570_413_239, v3_201_570_413_239). link(t122_201_570_413_239, p3_201_570_413_239, v4_201_570_413_239). link(p4_201_570_413_239, p3_201_570_413_239, v5_201_570_413_239). link(p4_201_570_413_239, j2_201_570_413_239, v6_201_570_413_239). link(t123_201_570_413_239, p5_201_570_413_239, v7_201_570_413_239). link(p5_201_570_413_239, p6_201_570_413_239, v8_201_570_413_239). link(p6_201_570_413_239, j3_201_570_413_239, v9_201_570_413_239). link(p1_201_570_413_239, p3_201_570_413_239, v10_201_570_413_239). link(p3_201_570_413_239, p5_201_570_413_239, v11_201_570_413_239). link(p4_201_570_413_239, p2_201_570_413_239, v12_201_570_413_239). link(p6_201_570_413_239, p4_201_570_413_239, v13_201_570_413_239). full(t121_201_570_413_239). full(t123_201_570_413_239). leaking(v1_201_570_413_239). leaking(v2_201_570_413_239). leaking(v8_201_570_413_239). leaking(v12_201_570_413_239). goal(j1_201_570_413_239). tank(t121_308_571_413_239). tank(t122_308_571_413_239). tank(t123_308_571_413_239). jet(j1_308_571_413_239). jet(j2_308_571_413_239). jet(j3_308_571_413_239). junction(p1_308_571_413_239). junction(p2_308_571_413_239). junction(p3_308_571_413_239). junction(p4_308_571_413_239). junction(p5_308_571_413_239). junction(p6_308_571_413_239). valve(v1_308_571_413_239). valve(v2_308_571_413_239). valve(v3_308_571_413_239). valve(v4_308_571_413_239). valve(v5_308_571_413_239). valve(v6_308_571_413_239). valve(v7_308_571_413_239). valve(v8_308_571_413_239). valve(v9_308_571_413_239). valve(v10_308_571_413_239). valve(v11_308_571_413_239). valve(v12_308_571_413_239). valve(v13_308_571_413_239). link(t121_308_571_413_239, p1_308_571_413_239, v1_308_571_413_239). link(p1_308_571_413_239, p2_308_571_413_239, v2_308_571_413_239). link(p2_308_571_413_239, j1_308_571_413_239, v3_308_571_413_239). link(t122_308_571_413_239, p3_308_571_413_239, v4_308_571_413_239). link(p4_308_571_413_239, p3_308_571_413_239, v5_308_571_413_239). link(p4_308_571_413_239, j2_308_571_413_239, v6_308_571_413_239). link(t123_308_571_413_239, p5_308_571_413_239, v7_308_571_413_239). link(p5_308_571_413_239, p6_308_571_413_239, v8_308_571_413_239). link(p6_308_571_413_239, j3_308_571_413_239, v9_308_571_413_239). link(p1_308_571_413_239, p3_308_571_413_239, v10_308_571_413_239). link(p3_308_571_413_239, p5_308_571_413_239, v11_308_571_413_239). link(p4_308_571_413_239, p2_308_571_413_239, v12_308_571_413_239). link(p6_308_571_413_239, p4_308_571_413_239, v13_308_571_413_239). full(t121_308_571_413_239). full(t123_308_571_413_239). leaking(v1_308_571_413_239). leaking(v2_308_571_413_239). leaking(v8_308_571_413_239). leaking(v12_308_571_413_239). goal(j1_308_571_413_239). tank(t621_309_571_413_239). tank(t622_309_571_413_239). jet(j1_309_571_413_239). jet(j2_309_571_413_239). junction(p00_309_571_413_239). junction(p01_309_571_413_239). junction(p02_309_571_413_239). junction(p03_309_571_413_239). junction(p04_309_571_413_239). junction(p05_309_571_413_239). junction(p10_309_571_413_239). junction(p11_309_571_413_239). junction(p12_309_571_413_239). junction(p13_309_571_413_239). junction(p14_309_571_413_239). junction(p15_309_571_413_239). junction(p20_309_571_413_239). junction(p21_309_571_413_239). junction(p22_309_571_413_239). junction(p23_309_571_413_239). junction(p24_309_571_413_239). junction(p25_309_571_413_239). junction(p30_309_571_413_239). junction(p31_309_571_413_239). junction(p32_309_571_413_239). junction(p33_309_571_413_239). junction(p34_309_571_413_239). junction(p35_309_571_413_239). junction(p40_309_571_413_239). junction(p41_309_571_413_239). junction(p42_309_571_413_239). junction(p43_309_571_413_239). junction(p44_309_571_413_239). junction(p45_309_571_413_239). junction(p50_309_571_413_239). junction(p51_309_571_413_239). junction(p52_309_571_413_239). junction(p53_309_571_413_239). junction(p54_309_571_413_239). junction(p55_309_571_413_239). valve(vt1_309_571_413_239). valve(vt2_309_571_413_239). valve(vj1_309_571_413_239). valve(vj2_309_571_413_239). valve(a0_309_571_413_239). valve(a1_309_571_413_239). valve(a2_309_571_413_239). valve(a3_309_571_413_239). valve(a4_309_571_413_239). valve(b0_309_571_413_239). valve(b1_309_571_413_239). valve(b2_309_571_413_239). valve(b3_309_571_413_239). valve(b4_309_571_413_239). valve(b5_309_571_413_239). valve(c0_309_571_413_239). valve(c1_309_571_413_239). valve(c2_309_571_413_239). valve(c3_309_571_413_239). valve(c4_309_571_413_239). valve(d0_309_571_413_239). valve(d1_309_571_413_239). valve(d2_309_571_413_239). valve(d3_309_571_413_239). valve(d4_309_571_413_239). valve(d5_309_571_413_239). valve(e0_309_571_413_239). valve(e1_309_571_413_239). valve(e2_309_571_413_239). valve(e3_309_571_413_239). valve(e4_309_571_413_239). valve(f0_309_571_413_239). valve(f1_309_571_413_239). valve(f2_309_571_413_239). valve(f3_309_571_413_239). valve(f4_309_571_413_239). valve(f5_309_571_413_239). valve(g0_309_571_413_239). valve(g1_309_571_413_239). valve(g2_309_571_413_239). valve(g3_309_571_413_239). valve(g4_309_571_413_239). valve(h0_309_571_413_239). valve(h1_309_571_413_239). valve(h2_309_571_413_239). valve(h3_309_571_413_239). valve(h4_309_571_413_239). valve(h5_309_571_413_239). valve(i0_309_571_413_239). valve(i1_309_571_413_239). valve(i2_309_571_413_239). valve(i3_309_571_413_239). valve(i4_309_571_413_239). valve(j0_309_571_413_239). valve(j1_309_571_413_239). valve(j2_309_571_413_239). valve(j3_309_571_413_239). valve(j4_309_571_413_239). valve(j5_309_571_413_239). valve(k0_309_571_413_239). valve(k1_309_571_413_239). valve(k2_309_571_413_239). valve(k3_309_571_413_239). valve(k4_309_571_413_239). link(t621_309_571_413_239, p00_309_571_413_239, vt1_309_571_413_239). link(t622_309_571_413_239, p10_309_571_413_239, vt2_309_571_413_239). link(p45_309_571_413_239, j2_309_571_413_239, vj2_309_571_413_239). link(p55_309_571_413_239, j1_309_571_413_239, vj1_309_571_413_239). link(p00_309_571_413_239, p10_309_571_413_239, b0_309_571_413_239). link(p10_309_571_413_239, p20_309_571_413_239, d0_309_571_413_239). link(p20_309_571_413_239, p30_309_571_413_239, f0_309_571_413_239). link(p30_309_571_413_239, p40_309_571_413_239, h0_309_571_413_239). link(p40_309_571_413_239, p50_309_571_413_239, j0_309_571_413_239). link(p02_309_571_413_239, p12_309_571_413_239, b2_309_571_413_239). link(p12_309_571_413_239, p22_309_571_413_239, d2_309_571_413_239). link(p22_309_571_413_239, p32_309_571_413_239, f2_309_571_413_239). link(p32_309_571_413_239, p42_309_571_413_239, h2_309_571_413_239). link(p42_309_571_413_239, p52_309_571_413_239, j2_309_571_413_239). link(p04_309_571_413_239, p14_309_571_413_239, b4_309_571_413_239). link(p14_309_571_413_239, p24_309_571_413_239, d4_309_571_413_239). link(p24_309_571_413_239, p34_309_571_413_239, f4_309_571_413_239). link(p34_309_571_413_239, p44_309_571_413_239, h4_309_571_413_239). link(p44_309_571_413_239, p54_309_571_413_239, j4_309_571_413_239). link(p51_309_571_413_239, p41_309_571_413_239, j1_309_571_413_239). link(p41_309_571_413_239, p31_309_571_413_239, h1_309_571_413_239). link(p31_309_571_413_239, p21_309_571_413_239, f1_309_571_413_239). link(p21_309_571_413_239, p11_309_571_413_239, d1_309_571_413_239). link(p11_309_571_413_239, p01_309_571_413_239, b1_309_571_413_239). link(p53_309_571_413_239, p43_309_571_413_239, j3_309_571_413_239). link(p43_309_571_413_239, p33_309_571_413_239, h3_309_571_413_239). link(p33_309_571_413_239, p23_309_571_413_239, f3_309_571_413_239). link(p23_309_571_413_239, p13_309_571_413_239, d3_309_571_413_239). link(p13_309_571_413_239, p03_309_571_413_239, b3_309_571_413_239). link(p55_309_571_413_239, p45_309_571_413_239, j5_309_571_413_239). link(p45_309_571_413_239, p35_309_571_413_239, h5_309_571_413_239). link(p35_309_571_413_239, p25_309_571_413_239, f5_309_571_413_239). link(p25_309_571_413_239, p15_309_571_413_239, d5_309_571_413_239). link(p15_309_571_413_239, p05_309_571_413_239, b5_309_571_413_239). link(p10_309_571_413_239, p11_309_571_413_239, c0_309_571_413_239). link(p30_309_571_413_239, p31_309_571_413_239, g0_309_571_413_239). link(p50_309_571_413_239, p51_309_571_413_239, k0_309_571_413_239). link(p01_309_571_413_239, p02_309_571_413_239, a1_309_571_413_239). link(p21_309_571_413_239, p22_309_571_413_239, e1_309_571_413_239). link(p41_309_571_413_239, p42_309_571_413_239, i1_309_571_413_239). link(p12_309_571_413_239, p13_309_571_413_239, c2_309_571_413_239). link(p32_309_571_413_239, p33_309_571_413_239, g2_309_571_413_239). link(p52_309_571_413_239, p53_309_571_413_239, k2_309_571_413_239). link(p03_309_571_413_239, p04_309_571_413_239, a3_309_571_413_239). link(p23_309_571_413_239, p24_309_571_413_239, e3_309_571_413_239). link(p43_309_571_413_239, p44_309_571_413_239, i3_309_571_413_239). link(p14_309_571_413_239, p15_309_571_413_239, c4_309_571_413_239). link(p34_309_571_413_239, p35_309_571_413_239, g4_309_571_413_239). link(p54_309_571_413_239, p55_309_571_413_239, k4_309_571_413_239). link(p01_309_571_413_239, p00_309_571_413_239, a0_309_571_413_239). link(p21_309_571_413_239, p20_309_571_413_239, e0_309_571_413_239). link(p41_309_571_413_239, p40_309_571_413_239, i0_309_571_413_239). link(p12_309_571_413_239, p11_309_571_413_239, c1_309_571_413_239). link(p32_309_571_413_239, p31_309_571_413_239, g1_309_571_413_239). link(p52_309_571_413_239, p51_309_571_413_239, k1_309_571_413_239). link(p03_309_571_413_239, p02_309_571_413_239, a2_309_571_413_239). link(p23_309_571_413_239, p22_309_571_413_239, e2_309_571_413_239). link(p43_309_571_413_239, p42_309_571_413_239, i2_309_571_413_239). link(p14_309_571_413_239, p13_309_571_413_239, c3_309_571_413_239). link(p34_309_571_413_239, p33_309_571_413_239, g3_309_571_413_239). link(p54_309_571_413_239, p53_309_571_413_239, k3_309_571_413_239). link(p05_309_571_413_239, p04_309_571_413_239, a4_309_571_413_239). link(p25_309_571_413_239, p24_309_571_413_239, e4_309_571_413_239). link(p45_309_571_413_239, p44_309_571_413_239, i4_309_571_413_239). full(t621_309_571_413_239). full(t622_309_571_413_239). leaking(b1_309_571_413_239). leaking(d1_309_571_413_239). leaking(f1_309_571_413_239). leaking(h1_309_571_413_239). leaking(j1_309_571_413_239). goal(j2_309_571_413_239). numValves(341).

Actions

Navigation

Instance 119-hydraulic_leaking-341-0.asp