Instance 295-hydraulic_leaking-392-0.asp

Name	295-hydraulic_leaking-392-0.asp
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Leaking (26) Model and Solve Track 3D ASP Competition (15)
Submitter	Barbara Nardi
Author	Francesco Calimeri and Maria Carmela Santoro
Description
Created	2012-03-28 15:55
Modified	2012-03-28 15:55
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	tank(t311_0_0_0_590). tank(t312_0_0_0_590). tank(t313_0_0_0_590). tank(t314_0_0_0_590). jet(j1_0_0_0_590). jet(j2_0_0_0_590). junction(p1_0_0_0_590). junction(p2_0_0_0_590). junction(p3_0_0_0_590). junction(p4_0_0_0_590). junction(p5_0_0_0_590). junction(p6_0_0_0_590). junction(p7_0_0_0_590). junction(p8_0_0_0_590). junction(p9_0_0_0_590). junction(p10_0_0_0_590). valve(v1_0_0_0_590). valve(v2_0_0_0_590). valve(v3_0_0_0_590). valve(v4_0_0_0_590). valve(v5_0_0_0_590). valve(v6_0_0_0_590). valve(v7_0_0_0_590). valve(v8_0_0_0_590). valve(v9_0_0_0_590). valve(v10_0_0_0_590). valve(v11_0_0_0_590). valve(v12_0_0_0_590). valve(v13_0_0_0_590). valve(v14_0_0_0_590). valve(v15_0_0_0_590). valve(v16_0_0_0_590). valve(v17_0_0_0_590). valve(v18_0_0_0_590). valve(v19_0_0_0_590). valve(v20_0_0_0_590). link(t311_0_0_0_590, p1_0_0_0_590, v1_0_0_0_590). link(p1_0_0_0_590, p2_0_0_0_590, v2_0_0_0_590). link(p3_0_0_0_590, p4_0_0_0_590, v4_0_0_0_590). link(t313_0_0_0_590, p4_0_0_0_590, v5_0_0_0_590). link(p2_0_0_0_590, p3_0_0_0_590, v3_0_0_0_590). link(p2_0_0_0_590, j1_0_0_0_590, v6_0_0_0_590). link(p3_0_0_0_590, j1_0_0_0_590, v7_0_0_0_590). link(p5_0_0_0_590, p1_0_0_0_590, v8_0_0_0_590). link(p4_0_0_0_590, p6_0_0_0_590, v9_0_0_0_590). link(p5_0_0_0_590, p6_0_0_0_590, v10_0_0_0_590). link(p6_0_0_0_590, p5_0_0_0_590, v11_0_0_0_590). %center swap link(p7_0_0_0_590, p5_0_0_0_590, v12_0_0_0_590). link(p6_0_0_0_590, p10_0_0_0_590, v13_0_0_0_590). link(t312_0_0_0_590, p7_0_0_0_590, v14_0_0_0_590). link(p8_0_0_0_590, p7_0_0_0_590, v15_0_0_0_590). link(p10_0_0_0_590, p9_0_0_0_590, v17_0_0_0_590). link(t314_0_0_0_590, p10_0_0_0_590, v18_0_0_0_590). link(p9_0_0_0_590, p8_0_0_0_590, v16_0_0_0_590). link(p8_0_0_0_590, j2_0_0_0_590, v19_0_0_0_590). link(p9_0_0_0_590, j2_0_0_0_590, v20_0_0_0_590). full(t311_0_0_0_590). full(t312_0_0_0_590). full(t313_0_0_0_590). full(t314_0_0_0_590). leaking(v1_0_0_0_590).leaking(v2_0_0_0_590).leaking(v3_0_0_0_590).leaking(v4_0_0_0_590).leaking(v5_0_0_0_590). leaking(v6_0_0_0_590).leaking(v7_0_0_0_590).leaking(v8_0_0_0_590).leaking(v9_0_0_0_590).leaking(v10_0_0_0_590). leaking(v11_0_0_0_590).leaking(v12_0_0_0_590).leaking(v13_0_0_0_590).leaking(v14_0_0_0_590).leaking(v15_0_0_0_590). leaking(v16_0_0_0_590).leaking(v17_0_0_0_590).leaking(v18_0_0_0_590).leaking(v19_0_0_0_590).leaking(v20_0_0_0_590). goal(j2_0_0_0_590). tank(t311_1_0_0_590). tank(t312_1_0_0_590). tank(t313_1_0_0_590). tank(t314_1_0_0_590). jet(j1_1_0_0_590). jet(j2_1_0_0_590). junction(p1_1_0_0_590). junction(p2_1_0_0_590). junction(p3_1_0_0_590). junction(p4_1_0_0_590). junction(p5_1_0_0_590). junction(p6_1_0_0_590). junction(p7_1_0_0_590). junction(p8_1_0_0_590). junction(p9_1_0_0_590). junction(p10_1_0_0_590). valve(v1_1_0_0_590). valve(v2_1_0_0_590). valve(v3_1_0_0_590). valve(v4_1_0_0_590). valve(v5_1_0_0_590). valve(v6_1_0_0_590). valve(v7_1_0_0_590). valve(v8_1_0_0_590). valve(v9_1_0_0_590). valve(v10_1_0_0_590). valve(v11_1_0_0_590). valve(v12_1_0_0_590). valve(v13_1_0_0_590). valve(v14_1_0_0_590). valve(v15_1_0_0_590). valve(v16_1_0_0_590). valve(v17_1_0_0_590). valve(v18_1_0_0_590). valve(v19_1_0_0_590). valve(v20_1_0_0_590). link(t311_1_0_0_590, p1_1_0_0_590, v1_1_0_0_590). link(p1_1_0_0_590, p2_1_0_0_590, v2_1_0_0_590). link(p3_1_0_0_590, p4_1_0_0_590, v4_1_0_0_590). link(t313_1_0_0_590, p4_1_0_0_590, v5_1_0_0_590). link(p2_1_0_0_590, p3_1_0_0_590, v3_1_0_0_590). link(p2_1_0_0_590, j1_1_0_0_590, v6_1_0_0_590). link(p3_1_0_0_590, j1_1_0_0_590, v7_1_0_0_590). link(p5_1_0_0_590, p1_1_0_0_590, v8_1_0_0_590). link(p4_1_0_0_590, p6_1_0_0_590, v9_1_0_0_590). link(p5_1_0_0_590, p6_1_0_0_590, v10_1_0_0_590). link(p6_1_0_0_590, p5_1_0_0_590, v11_1_0_0_590). %center swap link(p7_1_0_0_590, p5_1_0_0_590, v12_1_0_0_590). link(p6_1_0_0_590, p10_1_0_0_590, v13_1_0_0_590). link(t312_1_0_0_590, p7_1_0_0_590, v14_1_0_0_590). link(p8_1_0_0_590, p7_1_0_0_590, v15_1_0_0_590). link(p10_1_0_0_590, p9_1_0_0_590, v17_1_0_0_590). link(t314_1_0_0_590, p10_1_0_0_590, v18_1_0_0_590). link(p9_1_0_0_590, p8_1_0_0_590, v16_1_0_0_590). link(p8_1_0_0_590, j2_1_0_0_590, v19_1_0_0_590). link(p9_1_0_0_590, j2_1_0_0_590, v20_1_0_0_590). full(t311_1_0_0_590). full(t312_1_0_0_590). full(t313_1_0_0_590). full(t314_1_0_0_590). leaking(v1_1_0_0_590).leaking(v2_1_0_0_590).leaking(v3_1_0_0_590).leaking(v4_1_0_0_590).leaking(v5_1_0_0_590). leaking(v6_1_0_0_590).leaking(v7_1_0_0_590).leaking(v8_1_0_0_590).leaking(v9_1_0_0_590).leaking(v10_1_0_0_590). leaking(v11_1_0_0_590).leaking(v12_1_0_0_590).leaking(v13_1_0_0_590).leaking(v14_1_0_0_590).leaking(v15_1_0_0_590). leaking(v16_1_0_0_590).leaking(v17_1_0_0_590).leaking(v18_1_0_0_590).leaking(v19_1_0_0_590).leaking(v20_1_0_0_590). goal(j2_1_0_0_590). tank(t311_0_1_0_590). tank(t312_0_1_0_590). tank(t313_0_1_0_590). tank(t314_0_1_0_590). jet(j1_0_1_0_590). jet(j2_0_1_0_590). junction(p1_0_1_0_590). junction(p2_0_1_0_590). junction(p3_0_1_0_590). junction(p4_0_1_0_590). junction(p5_0_1_0_590). junction(p6_0_1_0_590). junction(p7_0_1_0_590). junction(p8_0_1_0_590). junction(p9_0_1_0_590). junction(p10_0_1_0_590). valve(v1_0_1_0_590). valve(v2_0_1_0_590). valve(v3_0_1_0_590). valve(v4_0_1_0_590). valve(v5_0_1_0_590). valve(v6_0_1_0_590). valve(v7_0_1_0_590). valve(v8_0_1_0_590). valve(v9_0_1_0_590). valve(v10_0_1_0_590). valve(v11_0_1_0_590). valve(v12_0_1_0_590). valve(v13_0_1_0_590). valve(v14_0_1_0_590). valve(v15_0_1_0_590). valve(v16_0_1_0_590). valve(v17_0_1_0_590). valve(v18_0_1_0_590). valve(v19_0_1_0_590). valve(v20_0_1_0_590). link(t311_0_1_0_590, p1_0_1_0_590, v1_0_1_0_590). link(p1_0_1_0_590, p2_0_1_0_590, v2_0_1_0_590). link(p3_0_1_0_590, p4_0_1_0_590, v4_0_1_0_590). link(t313_0_1_0_590, p4_0_1_0_590, v5_0_1_0_590). link(p2_0_1_0_590, p3_0_1_0_590, v3_0_1_0_590). link(p2_0_1_0_590, j1_0_1_0_590, v6_0_1_0_590). link(p3_0_1_0_590, j1_0_1_0_590, v7_0_1_0_590). link(p5_0_1_0_590, p1_0_1_0_590, v8_0_1_0_590). link(p4_0_1_0_590, p6_0_1_0_590, v9_0_1_0_590). link(p5_0_1_0_590, p6_0_1_0_590, v10_0_1_0_590). link(p6_0_1_0_590, p5_0_1_0_590, v11_0_1_0_590). %center swap link(p7_0_1_0_590, p5_0_1_0_590, v12_0_1_0_590). link(p6_0_1_0_590, p10_0_1_0_590, v13_0_1_0_590). link(t312_0_1_0_590, p7_0_1_0_590, v14_0_1_0_590). link(p8_0_1_0_590, p7_0_1_0_590, v15_0_1_0_590). link(p10_0_1_0_590, p9_0_1_0_590, v17_0_1_0_590). link(t314_0_1_0_590, p10_0_1_0_590, v18_0_1_0_590). link(p9_0_1_0_590, p8_0_1_0_590, v16_0_1_0_590). link(p8_0_1_0_590, j2_0_1_0_590, v19_0_1_0_590). link(p9_0_1_0_590, j2_0_1_0_590, v20_0_1_0_590). full(t311_0_1_0_590). full(t312_0_1_0_590). full(t313_0_1_0_590). full(t314_0_1_0_590). leaking(v1_0_1_0_590).leaking(v2_0_1_0_590).leaking(v3_0_1_0_590).leaking(v4_0_1_0_590).leaking(v5_0_1_0_590). leaking(v6_0_1_0_590).leaking(v7_0_1_0_590).leaking(v8_0_1_0_590).leaking(v9_0_1_0_590).leaking(v10_0_1_0_590). leaking(v11_0_1_0_590).leaking(v12_0_1_0_590).leaking(v13_0_1_0_590).leaking(v14_0_1_0_590).leaking(v15_0_1_0_590). leaking(v16_0_1_0_590).leaking(v17_0_1_0_590).leaking(v18_0_1_0_590).leaking(v19_0_1_0_590).leaking(v20_0_1_0_590). goal(j2_0_1_0_590). tank(t311_1_1_0_590). tank(t312_1_1_0_590). tank(t313_1_1_0_590). tank(t314_1_1_0_590). jet(j1_1_1_0_590). jet(j2_1_1_0_590). junction(p1_1_1_0_590). junction(p2_1_1_0_590). junction(p3_1_1_0_590). junction(p4_1_1_0_590). junction(p5_1_1_0_590). junction(p6_1_1_0_590). junction(p7_1_1_0_590). junction(p8_1_1_0_590). junction(p9_1_1_0_590). junction(p10_1_1_0_590). valve(v1_1_1_0_590). valve(v2_1_1_0_590). valve(v3_1_1_0_590). valve(v4_1_1_0_590). valve(v5_1_1_0_590). valve(v6_1_1_0_590). valve(v7_1_1_0_590). valve(v8_1_1_0_590). valve(v9_1_1_0_590). valve(v10_1_1_0_590). valve(v11_1_1_0_590). valve(v12_1_1_0_590). valve(v13_1_1_0_590). valve(v14_1_1_0_590). valve(v15_1_1_0_590). valve(v16_1_1_0_590). valve(v17_1_1_0_590). valve(v18_1_1_0_590). valve(v19_1_1_0_590). valve(v20_1_1_0_590). link(t311_1_1_0_590, p1_1_1_0_590, v1_1_1_0_590). link(p1_1_1_0_590, p2_1_1_0_590, v2_1_1_0_590). link(p3_1_1_0_590, p4_1_1_0_590, v4_1_1_0_590). link(t313_1_1_0_590, p4_1_1_0_590, v5_1_1_0_590). link(p2_1_1_0_590, p3_1_1_0_590, v3_1_1_0_590). link(p2_1_1_0_590, j1_1_1_0_590, v6_1_1_0_590). link(p3_1_1_0_590, j1_1_1_0_590, v7_1_1_0_590). link(p5_1_1_0_590, p1_1_1_0_590, v8_1_1_0_590). link(p4_1_1_0_590, p6_1_1_0_590, v9_1_1_0_590). link(p5_1_1_0_590, p6_1_1_0_590, v10_1_1_0_590). link(p6_1_1_0_590, p5_1_1_0_590, v11_1_1_0_590). %center swap link(p7_1_1_0_590, p5_1_1_0_590, v12_1_1_0_590). link(p6_1_1_0_590, p10_1_1_0_590, v13_1_1_0_590). link(t312_1_1_0_590, p7_1_1_0_590, v14_1_1_0_590). link(p8_1_1_0_590, p7_1_1_0_590, v15_1_1_0_590). link(p10_1_1_0_590, p9_1_1_0_590, v17_1_1_0_590). link(t314_1_1_0_590, p10_1_1_0_590, v18_1_1_0_590). link(p9_1_1_0_590, p8_1_1_0_590, v16_1_1_0_590). link(p8_1_1_0_590, j2_1_1_0_590, v19_1_1_0_590). link(p9_1_1_0_590, j2_1_1_0_590, v20_1_1_0_590). full(t311_1_1_0_590). full(t312_1_1_0_590). full(t313_1_1_0_590). full(t314_1_1_0_590). leaking(v1_1_1_0_590).leaking(v2_1_1_0_590).leaking(v3_1_1_0_590).leaking(v4_1_1_0_590).leaking(v5_1_1_0_590). leaking(v6_1_1_0_590).leaking(v7_1_1_0_590).leaking(v8_1_1_0_590).leaking(v9_1_1_0_590).leaking(v10_1_1_0_590). leaking(v11_1_1_0_590).leaking(v12_1_1_0_590).leaking(v13_1_1_0_590).leaking(v14_1_1_0_590).leaking(v15_1_1_0_590). leaking(v16_1_1_0_590).leaking(v17_1_1_0_590).leaking(v18_1_1_0_590).leaking(v19_1_1_0_590).leaking(v20_1_1_0_590). goal(j2_1_1_0_590). tank(t311_0_0_1_590). tank(t312_0_0_1_590). tank(t313_0_0_1_590). tank(t314_0_0_1_590). jet(j1_0_0_1_590). jet(j2_0_0_1_590). junction(p1_0_0_1_590). junction(p2_0_0_1_590). junction(p3_0_0_1_590). junction(p4_0_0_1_590). junction(p5_0_0_1_590). junction(p6_0_0_1_590). junction(p7_0_0_1_590). junction(p8_0_0_1_590). junction(p9_0_0_1_590). junction(p10_0_0_1_590). valve(v1_0_0_1_590). valve(v2_0_0_1_590). valve(v3_0_0_1_590). valve(v4_0_0_1_590). valve(v5_0_0_1_590). valve(v6_0_0_1_590). valve(v7_0_0_1_590). valve(v8_0_0_1_590). valve(v9_0_0_1_590). valve(v10_0_0_1_590). valve(v11_0_0_1_590). valve(v12_0_0_1_590). valve(v13_0_0_1_590). valve(v14_0_0_1_590). valve(v15_0_0_1_590). valve(v16_0_0_1_590). valve(v17_0_0_1_590). valve(v18_0_0_1_590). valve(v19_0_0_1_590). valve(v20_0_0_1_590). link(t311_0_0_1_590, p1_0_0_1_590, v1_0_0_1_590). link(p1_0_0_1_590, p2_0_0_1_590, v2_0_0_1_590). link(p3_0_0_1_590, p4_0_0_1_590, v4_0_0_1_590). link(t313_0_0_1_590, p4_0_0_1_590, v5_0_0_1_590). link(p2_0_0_1_590, p3_0_0_1_590, v3_0_0_1_590). link(p2_0_0_1_590, j1_0_0_1_590, v6_0_0_1_590). link(p3_0_0_1_590, j1_0_0_1_590, v7_0_0_1_590). link(p5_0_0_1_590, p1_0_0_1_590, v8_0_0_1_590). link(p4_0_0_1_590, p6_0_0_1_590, v9_0_0_1_590). link(p5_0_0_1_590, p6_0_0_1_590, v10_0_0_1_590). link(p6_0_0_1_590, p5_0_0_1_590, v11_0_0_1_590). %center swap link(p7_0_0_1_590, p5_0_0_1_590, v12_0_0_1_590). link(p6_0_0_1_590, p10_0_0_1_590, v13_0_0_1_590). link(t312_0_0_1_590, p7_0_0_1_590, v14_0_0_1_590). link(p8_0_0_1_590, p7_0_0_1_590, v15_0_0_1_590). link(p10_0_0_1_590, p9_0_0_1_590, v17_0_0_1_590). link(t314_0_0_1_590, p10_0_0_1_590, v18_0_0_1_590). link(p9_0_0_1_590, p8_0_0_1_590, v16_0_0_1_590). link(p8_0_0_1_590, j2_0_0_1_590, v19_0_0_1_590). link(p9_0_0_1_590, j2_0_0_1_590, v20_0_0_1_590). full(t311_0_0_1_590). full(t312_0_0_1_590). full(t313_0_0_1_590). full(t314_0_0_1_590). leaking(v1_0_0_1_590).leaking(v2_0_0_1_590).leaking(v3_0_0_1_590).leaking(v4_0_0_1_590).leaking(v5_0_0_1_590). leaking(v6_0_0_1_590).leaking(v7_0_0_1_590).leaking(v8_0_0_1_590).leaking(v9_0_0_1_590).leaking(v10_0_0_1_590). leaking(v11_0_0_1_590).leaking(v12_0_0_1_590).leaking(v13_0_0_1_590).leaking(v14_0_0_1_590).leaking(v15_0_0_1_590). leaking(v16_0_0_1_590).leaking(v17_0_0_1_590).leaking(v18_0_0_1_590).leaking(v19_0_0_1_590).leaking(v20_0_0_1_590). goal(j2_0_0_1_590). tank(t311_1_0_1_590). tank(t312_1_0_1_590). tank(t313_1_0_1_590). tank(t314_1_0_1_590). jet(j1_1_0_1_590). jet(j2_1_0_1_590). junction(p1_1_0_1_590). junction(p2_1_0_1_590). junction(p3_1_0_1_590). junction(p4_1_0_1_590). junction(p5_1_0_1_590). junction(p6_1_0_1_590). junction(p7_1_0_1_590). junction(p8_1_0_1_590). junction(p9_1_0_1_590). junction(p10_1_0_1_590). valve(v1_1_0_1_590). valve(v2_1_0_1_590). valve(v3_1_0_1_590). valve(v4_1_0_1_590). valve(v5_1_0_1_590). valve(v6_1_0_1_590). valve(v7_1_0_1_590). valve(v8_1_0_1_590). valve(v9_1_0_1_590). valve(v10_1_0_1_590). valve(v11_1_0_1_590). valve(v12_1_0_1_590). valve(v13_1_0_1_590). valve(v14_1_0_1_590). valve(v15_1_0_1_590). valve(v16_1_0_1_590). valve(v17_1_0_1_590). valve(v18_1_0_1_590). valve(v19_1_0_1_590). valve(v20_1_0_1_590). link(t311_1_0_1_590, p1_1_0_1_590, v1_1_0_1_590). link(p1_1_0_1_590, p2_1_0_1_590, v2_1_0_1_590). link(p3_1_0_1_590, p4_1_0_1_590, v4_1_0_1_590). link(t313_1_0_1_590, p4_1_0_1_590, v5_1_0_1_590). link(p2_1_0_1_590, p3_1_0_1_590, v3_1_0_1_590). link(p2_1_0_1_590, j1_1_0_1_590, v6_1_0_1_590). link(p3_1_0_1_590, j1_1_0_1_590, v7_1_0_1_590). link(p5_1_0_1_590, p1_1_0_1_590, v8_1_0_1_590). link(p4_1_0_1_590, p6_1_0_1_590, v9_1_0_1_590). link(p5_1_0_1_590, p6_1_0_1_590, v10_1_0_1_590). link(p6_1_0_1_590, p5_1_0_1_590, v11_1_0_1_590). %center swap link(p7_1_0_1_590, p5_1_0_1_590, v12_1_0_1_590). link(p6_1_0_1_590, p10_1_0_1_590, v13_1_0_1_590). link(t312_1_0_1_590, p7_1_0_1_590, v14_1_0_1_590). link(p8_1_0_1_590, p7_1_0_1_590, v15_1_0_1_590). link(p10_1_0_1_590, p9_1_0_1_590, v17_1_0_1_590). link(t314_1_0_1_590, p10_1_0_1_590, v18_1_0_1_590). link(p9_1_0_1_590, p8_1_0_1_590, v16_1_0_1_590). link(p8_1_0_1_590, j2_1_0_1_590, v19_1_0_1_590). link(p9_1_0_1_590, j2_1_0_1_590, v20_1_0_1_590). full(t311_1_0_1_590). full(t312_1_0_1_590). full(t313_1_0_1_590). full(t314_1_0_1_590). leaking(v1_1_0_1_590).leaking(v2_1_0_1_590).leaking(v3_1_0_1_590).leaking(v4_1_0_1_590).leaking(v5_1_0_1_590). leaking(v6_1_0_1_590).leaking(v7_1_0_1_590).leaking(v8_1_0_1_590).leaking(v9_1_0_1_590).leaking(v10_1_0_1_590). leaking(v11_1_0_1_590).leaking(v12_1_0_1_590).leaking(v13_1_0_1_590).leaking(v14_1_0_1_590).leaking(v15_1_0_1_590). leaking(v16_1_0_1_590).leaking(v17_1_0_1_590).leaking(v18_1_0_1_590).leaking(v19_1_0_1_590).leaking(v20_1_0_1_590). goal(j2_1_0_1_590). tank(t311_0_1_1_590). tank(t312_0_1_1_590). tank(t313_0_1_1_590). tank(t314_0_1_1_590). jet(j1_0_1_1_590). jet(j2_0_1_1_590). junction(p1_0_1_1_590). junction(p2_0_1_1_590). junction(p3_0_1_1_590). junction(p4_0_1_1_590). junction(p5_0_1_1_590). junction(p6_0_1_1_590). junction(p7_0_1_1_590). junction(p8_0_1_1_590). junction(p9_0_1_1_590). junction(p10_0_1_1_590). valve(v1_0_1_1_590). valve(v2_0_1_1_590). valve(v3_0_1_1_590). valve(v4_0_1_1_590). valve(v5_0_1_1_590). valve(v6_0_1_1_590). valve(v7_0_1_1_590). valve(v8_0_1_1_590). valve(v9_0_1_1_590). valve(v10_0_1_1_590). valve(v11_0_1_1_590). valve(v12_0_1_1_590). valve(v13_0_1_1_590). valve(v14_0_1_1_590). valve(v15_0_1_1_590). valve(v16_0_1_1_590). valve(v17_0_1_1_590). valve(v18_0_1_1_590). valve(v19_0_1_1_590). valve(v20_0_1_1_590). link(t311_0_1_1_590, p1_0_1_1_590, v1_0_1_1_590). link(p1_0_1_1_590, p2_0_1_1_590, v2_0_1_1_590). link(p3_0_1_1_590, p4_0_1_1_590, v4_0_1_1_590). link(t313_0_1_1_590, p4_0_1_1_590, v5_0_1_1_590). link(p2_0_1_1_590, p3_0_1_1_590, v3_0_1_1_590). link(p2_0_1_1_590, j1_0_1_1_590, v6_0_1_1_590). link(p3_0_1_1_590, j1_0_1_1_590, v7_0_1_1_590). link(p5_0_1_1_590, p1_0_1_1_590, v8_0_1_1_590). link(p4_0_1_1_590, p6_0_1_1_590, v9_0_1_1_590). link(p5_0_1_1_590, p6_0_1_1_590, v10_0_1_1_590). link(p6_0_1_1_590, p5_0_1_1_590, v11_0_1_1_590). %center swap link(p7_0_1_1_590, p5_0_1_1_590, v12_0_1_1_590). link(p6_0_1_1_590, p10_0_1_1_590, v13_0_1_1_590). link(t312_0_1_1_590, p7_0_1_1_590, v14_0_1_1_590). link(p8_0_1_1_590, p7_0_1_1_590, v15_0_1_1_590). link(p10_0_1_1_590, p9_0_1_1_590, v17_0_1_1_590). link(t314_0_1_1_590, p10_0_1_1_590, v18_0_1_1_590). link(p9_0_1_1_590, p8_0_1_1_590, v16_0_1_1_590). link(p8_0_1_1_590, j2_0_1_1_590, v19_0_1_1_590). link(p9_0_1_1_590, j2_0_1_1_590, v20_0_1_1_590). full(t311_0_1_1_590). full(t312_0_1_1_590). full(t313_0_1_1_590). full(t314_0_1_1_590). leaking(v1_0_1_1_590).leaking(v2_0_1_1_590).leaking(v3_0_1_1_590).leaking(v4_0_1_1_590).leaking(v5_0_1_1_590). leaking(v6_0_1_1_590).leaking(v7_0_1_1_590).leaking(v8_0_1_1_590).leaking(v9_0_1_1_590).leaking(v10_0_1_1_590). leaking(v11_0_1_1_590).leaking(v12_0_1_1_590).leaking(v13_0_1_1_590).leaking(v14_0_1_1_590).leaking(v15_0_1_1_590). leaking(v16_0_1_1_590).leaking(v17_0_1_1_590).leaking(v18_0_1_1_590).leaking(v19_0_1_1_590).leaking(v20_0_1_1_590). goal(j2_0_1_1_590). tank(t311_1_1_1_590). tank(t312_1_1_1_590). tank(t313_1_1_1_590). tank(t314_1_1_1_590). jet(j1_1_1_1_590). jet(j2_1_1_1_590). junction(p1_1_1_1_590). junction(p2_1_1_1_590). junction(p3_1_1_1_590). junction(p4_1_1_1_590). junction(p5_1_1_1_590). junction(p6_1_1_1_590). junction(p7_1_1_1_590). junction(p8_1_1_1_590). junction(p9_1_1_1_590). junction(p10_1_1_1_590). valve(v1_1_1_1_590). valve(v2_1_1_1_590). valve(v3_1_1_1_590). valve(v4_1_1_1_590). valve(v5_1_1_1_590). valve(v6_1_1_1_590). valve(v7_1_1_1_590). valve(v8_1_1_1_590). valve(v9_1_1_1_590). valve(v10_1_1_1_590). valve(v11_1_1_1_590). valve(v12_1_1_1_590). valve(v13_1_1_1_590). valve(v14_1_1_1_590). valve(v15_1_1_1_590). valve(v16_1_1_1_590). valve(v17_1_1_1_590). valve(v18_1_1_1_590). valve(v19_1_1_1_590). valve(v20_1_1_1_590). link(t311_1_1_1_590, p1_1_1_1_590, v1_1_1_1_590). link(p1_1_1_1_590, p2_1_1_1_590, v2_1_1_1_590). link(p3_1_1_1_590, p4_1_1_1_590, v4_1_1_1_590). link(t313_1_1_1_590, p4_1_1_1_590, v5_1_1_1_590). link(p2_1_1_1_590, p3_1_1_1_590, v3_1_1_1_590). link(p2_1_1_1_590, j1_1_1_1_590, v6_1_1_1_590). link(p3_1_1_1_590, j1_1_1_1_590, v7_1_1_1_590). link(p5_1_1_1_590, p1_1_1_1_590, v8_1_1_1_590). link(p4_1_1_1_590, p6_1_1_1_590, v9_1_1_1_590). link(p5_1_1_1_590, p6_1_1_1_590, v10_1_1_1_590). link(p6_1_1_1_590, p5_1_1_1_590, v11_1_1_1_590). %center swap link(p7_1_1_1_590, p5_1_1_1_590, v12_1_1_1_590). link(p6_1_1_1_590, p10_1_1_1_590, v13_1_1_1_590). link(t312_1_1_1_590, p7_1_1_1_590, v14_1_1_1_590). link(p8_1_1_1_590, p7_1_1_1_590, v15_1_1_1_590). link(p10_1_1_1_590, p9_1_1_1_590, v17_1_1_1_590). link(t314_1_1_1_590, p10_1_1_1_590, v18_1_1_1_590). link(p9_1_1_1_590, p8_1_1_1_590, v16_1_1_1_590). link(p8_1_1_1_590, j2_1_1_1_590, v19_1_1_1_590). link(p9_1_1_1_590, j2_1_1_1_590, v20_1_1_1_590). full(t311_1_1_1_590). full(t312_1_1_1_590). full(t313_1_1_1_590). full(t314_1_1_1_590). leaking(v1_1_1_1_590).leaking(v2_1_1_1_590).leaking(v3_1_1_1_590).leaking(v4_1_1_1_590).leaking(v5_1_1_1_590). leaking(v6_1_1_1_590).leaking(v7_1_1_1_590).leaking(v8_1_1_1_590).leaking(v9_1_1_1_590).leaking(v10_1_1_1_590). leaking(v11_1_1_1_590).leaking(v12_1_1_1_590).leaking(v13_1_1_1_590).leaking(v14_1_1_1_590).leaking(v15_1_1_1_590). leaking(v16_1_1_1_590).leaking(v17_1_1_1_590).leaking(v18_1_1_1_590).leaking(v19_1_1_1_590).leaking(v20_1_1_1_590). goal(j2_1_1_1_590). tank(t311_0_0_730_591). tank(t312_0_0_730_591). tank(t313_0_0_730_591). tank(t314_0_0_730_591). jet(j1_0_0_730_591). jet(j2_0_0_730_591). junction(p1_0_0_730_591). junction(p2_0_0_730_591). junction(p3_0_0_730_591). junction(p4_0_0_730_591). junction(p5_0_0_730_591). junction(p6_0_0_730_591). junction(p7_0_0_730_591). junction(p8_0_0_730_591). junction(p9_0_0_730_591). junction(p10_0_0_730_591). valve(v1_0_0_730_591). valve(v2_0_0_730_591). valve(v3_0_0_730_591). valve(v4_0_0_730_591). valve(v5_0_0_730_591). valve(v6_0_0_730_591). valve(v7_0_0_730_591). valve(v8_0_0_730_591). valve(v9_0_0_730_591). valve(v10_0_0_730_591). valve(v11_0_0_730_591). valve(v12_0_0_730_591). valve(v13_0_0_730_591). valve(v14_0_0_730_591). valve(v15_0_0_730_591). valve(v16_0_0_730_591). valve(v17_0_0_730_591). valve(v18_0_0_730_591). valve(v19_0_0_730_591). valve(v20_0_0_730_591). link(t311_0_0_730_591, p1_0_0_730_591, v1_0_0_730_591). link(p1_0_0_730_591, p2_0_0_730_591, v2_0_0_730_591). link(p3_0_0_730_591, p4_0_0_730_591, v4_0_0_730_591). link(t313_0_0_730_591, p4_0_0_730_591, v5_0_0_730_591). link(p2_0_0_730_591, p3_0_0_730_591, v3_0_0_730_591). link(p2_0_0_730_591, j1_0_0_730_591, v6_0_0_730_591). link(p3_0_0_730_591, j1_0_0_730_591, v7_0_0_730_591). link(p5_0_0_730_591, p1_0_0_730_591, v8_0_0_730_591). link(p4_0_0_730_591, p6_0_0_730_591, v9_0_0_730_591). link(p5_0_0_730_591, p6_0_0_730_591, v10_0_0_730_591). link(p6_0_0_730_591, p5_0_0_730_591, v11_0_0_730_591). %center swap link(p7_0_0_730_591, p5_0_0_730_591, v12_0_0_730_591). link(p6_0_0_730_591, p10_0_0_730_591, v13_0_0_730_591). link(t312_0_0_730_591, p7_0_0_730_591, v14_0_0_730_591). link(p8_0_0_730_591, p7_0_0_730_591, v15_0_0_730_591). link(p10_0_0_730_591, p9_0_0_730_591, v17_0_0_730_591). link(t314_0_0_730_591, p10_0_0_730_591, v18_0_0_730_591). link(p9_0_0_730_591, p8_0_0_730_591, v16_0_0_730_591). link(p8_0_0_730_591, j2_0_0_730_591, v19_0_0_730_591). link(p9_0_0_730_591, j2_0_0_730_591, v20_0_0_730_591). full(t311_0_0_730_591). full(t312_0_0_730_591). full(t313_0_0_730_591). full(t314_0_0_730_591). leaking(v1_0_0_730_591).leaking(v2_0_0_730_591).leaking(v3_0_0_730_591).leaking(v4_0_0_730_591).leaking(v5_0_0_730_591). leaking(v6_0_0_730_591).leaking(v7_0_0_730_591).leaking(v8_0_0_730_591).leaking(v9_0_0_730_591).leaking(v10_0_0_730_591). leaking(v11_0_0_730_591).leaking(v12_0_0_730_591).leaking(v13_0_0_730_591).leaking(v14_0_0_730_591).leaking(v15_0_0_730_591). leaking(v16_0_0_730_591).leaking(v17_0_0_730_591).leaking(v18_0_0_730_591).leaking(v19_0_0_730_591).leaking(v20_0_0_730_591). goal(j2_0_0_730_591). tank(t311_1_0_730_591). tank(t312_1_0_730_591). tank(t313_1_0_730_591). tank(t314_1_0_730_591). jet(j1_1_0_730_591). jet(j2_1_0_730_591). junction(p1_1_0_730_591). junction(p2_1_0_730_591). junction(p3_1_0_730_591). junction(p4_1_0_730_591). junction(p5_1_0_730_591). junction(p6_1_0_730_591). junction(p7_1_0_730_591). junction(p8_1_0_730_591). junction(p9_1_0_730_591). junction(p10_1_0_730_591). valve(v1_1_0_730_591). valve(v2_1_0_730_591). valve(v3_1_0_730_591). valve(v4_1_0_730_591). valve(v5_1_0_730_591). valve(v6_1_0_730_591). valve(v7_1_0_730_591). valve(v8_1_0_730_591). valve(v9_1_0_730_591). valve(v10_1_0_730_591). valve(v11_1_0_730_591). valve(v12_1_0_730_591). valve(v13_1_0_730_591). valve(v14_1_0_730_591). valve(v15_1_0_730_591). valve(v16_1_0_730_591). valve(v17_1_0_730_591). valve(v18_1_0_730_591). valve(v19_1_0_730_591). valve(v20_1_0_730_591). link(t311_1_0_730_591, p1_1_0_730_591, v1_1_0_730_591). link(p1_1_0_730_591, p2_1_0_730_591, v2_1_0_730_591). link(p3_1_0_730_591, p4_1_0_730_591, v4_1_0_730_591). link(t313_1_0_730_591, p4_1_0_730_591, v5_1_0_730_591). link(p2_1_0_730_591, p3_1_0_730_591, v3_1_0_730_591). link(p2_1_0_730_591, j1_1_0_730_591, v6_1_0_730_591). link(p3_1_0_730_591, j1_1_0_730_591, v7_1_0_730_591). link(p5_1_0_730_591, p1_1_0_730_591, v8_1_0_730_591). link(p4_1_0_730_591, p6_1_0_730_591, v9_1_0_730_591). link(p5_1_0_730_591, p6_1_0_730_591, v10_1_0_730_591). link(p6_1_0_730_591, p5_1_0_730_591, v11_1_0_730_591). %center swap link(p7_1_0_730_591, p5_1_0_730_591, v12_1_0_730_591). link(p6_1_0_730_591, p10_1_0_730_591, v13_1_0_730_591). link(t312_1_0_730_591, p7_1_0_730_591, v14_1_0_730_591). link(p8_1_0_730_591, p7_1_0_730_591, v15_1_0_730_591). link(p10_1_0_730_591, p9_1_0_730_591, v17_1_0_730_591). link(t314_1_0_730_591, p10_1_0_730_591, v18_1_0_730_591). link(p9_1_0_730_591, p8_1_0_730_591, v16_1_0_730_591). link(p8_1_0_730_591, j2_1_0_730_591, v19_1_0_730_591). link(p9_1_0_730_591, j2_1_0_730_591, v20_1_0_730_591). full(t311_1_0_730_591). full(t312_1_0_730_591). full(t313_1_0_730_591). full(t314_1_0_730_591). leaking(v1_1_0_730_591).leaking(v2_1_0_730_591).leaking(v3_1_0_730_591).leaking(v4_1_0_730_591).leaking(v5_1_0_730_591). leaking(v6_1_0_730_591).leaking(v7_1_0_730_591).leaking(v8_1_0_730_591).leaking(v9_1_0_730_591).leaking(v10_1_0_730_591). leaking(v11_1_0_730_591).leaking(v12_1_0_730_591).leaking(v13_1_0_730_591).leaking(v14_1_0_730_591).leaking(v15_1_0_730_591). leaking(v16_1_0_730_591).leaking(v17_1_0_730_591).leaking(v18_1_0_730_591).leaking(v19_1_0_730_591).leaking(v20_1_0_730_591). goal(j2_1_0_730_591). tank(t311_0_1_730_591). tank(t312_0_1_730_591). tank(t313_0_1_730_591). tank(t314_0_1_730_591). jet(j1_0_1_730_591). jet(j2_0_1_730_591). junction(p1_0_1_730_591). junction(p2_0_1_730_591). junction(p3_0_1_730_591). junction(p4_0_1_730_591). junction(p5_0_1_730_591). junction(p6_0_1_730_591). junction(p7_0_1_730_591). junction(p8_0_1_730_591). junction(p9_0_1_730_591). junction(p10_0_1_730_591). valve(v1_0_1_730_591). valve(v2_0_1_730_591). valve(v3_0_1_730_591). valve(v4_0_1_730_591). valve(v5_0_1_730_591). valve(v6_0_1_730_591). valve(v7_0_1_730_591). valve(v8_0_1_730_591). valve(v9_0_1_730_591). valve(v10_0_1_730_591). valve(v11_0_1_730_591). valve(v12_0_1_730_591). valve(v13_0_1_730_591). valve(v14_0_1_730_591). valve(v15_0_1_730_591). valve(v16_0_1_730_591). valve(v17_0_1_730_591). valve(v18_0_1_730_591). valve(v19_0_1_730_591). valve(v20_0_1_730_591). link(t311_0_1_730_591, p1_0_1_730_591, v1_0_1_730_591). link(p1_0_1_730_591, p2_0_1_730_591, v2_0_1_730_591). link(p3_0_1_730_591, p4_0_1_730_591, v4_0_1_730_591). link(t313_0_1_730_591, p4_0_1_730_591, v5_0_1_730_591). link(p2_0_1_730_591, p3_0_1_730_591, v3_0_1_730_591). link(p2_0_1_730_591, j1_0_1_730_591, v6_0_1_730_591). link(p3_0_1_730_591, j1_0_1_730_591, v7_0_1_730_591). link(p5_0_1_730_591, p1_0_1_730_591, v8_0_1_730_591). link(p4_0_1_730_591, p6_0_1_730_591, v9_0_1_730_591). link(p5_0_1_730_591, p6_0_1_730_591, v10_0_1_730_591). link(p6_0_1_730_591, p5_0_1_730_591, v11_0_1_730_591). %center swap link(p7_0_1_730_591, p5_0_1_730_591, v12_0_1_730_591). link(p6_0_1_730_591, p10_0_1_730_591, v13_0_1_730_591). link(t312_0_1_730_591, p7_0_1_730_591, v14_0_1_730_591). link(p8_0_1_730_591, p7_0_1_730_591, v15_0_1_730_591). link(p10_0_1_730_591, p9_0_1_730_591, v17_0_1_730_591). link(t314_0_1_730_591, p10_0_1_730_591, v18_0_1_730_591). link(p9_0_1_730_591, p8_0_1_730_591, v16_0_1_730_591). link(p8_0_1_730_591, j2_0_1_730_591, v19_0_1_730_591). link(p9_0_1_730_591, j2_0_1_730_591, v20_0_1_730_591). full(t311_0_1_730_591). full(t312_0_1_730_591). full(t313_0_1_730_591). full(t314_0_1_730_591). leaking(v1_0_1_730_591).leaking(v2_0_1_730_591).leaking(v3_0_1_730_591).leaking(v4_0_1_730_591).leaking(v5_0_1_730_591). leaking(v6_0_1_730_591).leaking(v7_0_1_730_591).leaking(v8_0_1_730_591).leaking(v9_0_1_730_591).leaking(v10_0_1_730_591). leaking(v11_0_1_730_591).leaking(v12_0_1_730_591).leaking(v13_0_1_730_591).leaking(v14_0_1_730_591).leaking(v15_0_1_730_591). leaking(v16_0_1_730_591).leaking(v17_0_1_730_591).leaking(v18_0_1_730_591).leaking(v19_0_1_730_591).leaking(v20_0_1_730_591). goal(j2_0_1_730_591). tank(t311_1_1_730_591). tank(t312_1_1_730_591). tank(t313_1_1_730_591). tank(t314_1_1_730_591). jet(j1_1_1_730_591). jet(j2_1_1_730_591). junction(p1_1_1_730_591). junction(p2_1_1_730_591). junction(p3_1_1_730_591). junction(p4_1_1_730_591). junction(p5_1_1_730_591). junction(p6_1_1_730_591). junction(p7_1_1_730_591). junction(p8_1_1_730_591). junction(p9_1_1_730_591). junction(p10_1_1_730_591). valve(v1_1_1_730_591). valve(v2_1_1_730_591). valve(v3_1_1_730_591). valve(v4_1_1_730_591). valve(v5_1_1_730_591). valve(v6_1_1_730_591). valve(v7_1_1_730_591). valve(v8_1_1_730_591). valve(v9_1_1_730_591). valve(v10_1_1_730_591). valve(v11_1_1_730_591). valve(v12_1_1_730_591). valve(v13_1_1_730_591). valve(v14_1_1_730_591). valve(v15_1_1_730_591). valve(v16_1_1_730_591). valve(v17_1_1_730_591). valve(v18_1_1_730_591). valve(v19_1_1_730_591). valve(v20_1_1_730_591). link(t311_1_1_730_591, p1_1_1_730_591, v1_1_1_730_591). link(p1_1_1_730_591, p2_1_1_730_591, v2_1_1_730_591). link(p3_1_1_730_591, p4_1_1_730_591, v4_1_1_730_591). link(t313_1_1_730_591, p4_1_1_730_591, v5_1_1_730_591). link(p2_1_1_730_591, p3_1_1_730_591, v3_1_1_730_591). link(p2_1_1_730_591, j1_1_1_730_591, v6_1_1_730_591). link(p3_1_1_730_591, j1_1_1_730_591, v7_1_1_730_591). link(p5_1_1_730_591, p1_1_1_730_591, v8_1_1_730_591). link(p4_1_1_730_591, p6_1_1_730_591, v9_1_1_730_591). link(p5_1_1_730_591, p6_1_1_730_591, v10_1_1_730_591). link(p6_1_1_730_591, p5_1_1_730_591, v11_1_1_730_591). %center swap link(p7_1_1_730_591, p5_1_1_730_591, v12_1_1_730_591). link(p6_1_1_730_591, p10_1_1_730_591, v13_1_1_730_591). link(t312_1_1_730_591, p7_1_1_730_591, v14_1_1_730_591). link(p8_1_1_730_591, p7_1_1_730_591, v15_1_1_730_591). link(p10_1_1_730_591, p9_1_1_730_591, v17_1_1_730_591). link(t314_1_1_730_591, p10_1_1_730_591, v18_1_1_730_591). link(p9_1_1_730_591, p8_1_1_730_591, v16_1_1_730_591). link(p8_1_1_730_591, j2_1_1_730_591, v19_1_1_730_591). link(p9_1_1_730_591, j2_1_1_730_591, v20_1_1_730_591). full(t311_1_1_730_591). full(t312_1_1_730_591). full(t313_1_1_730_591). full(t314_1_1_730_591). leaking(v1_1_1_730_591).leaking(v2_1_1_730_591).leaking(v3_1_1_730_591).leaking(v4_1_1_730_591).leaking(v5_1_1_730_591). leaking(v6_1_1_730_591).leaking(v7_1_1_730_591).leaking(v8_1_1_730_591).leaking(v9_1_1_730_591).leaking(v10_1_1_730_591). leaking(v11_1_1_730_591).leaking(v12_1_1_730_591).leaking(v13_1_1_730_591).leaking(v14_1_1_730_591).leaking(v15_1_1_730_591). leaking(v16_1_1_730_591).leaking(v17_1_1_730_591).leaking(v18_1_1_730_591).leaking(v19_1_1_730_591).leaking(v20_1_1_730_591). goal(j2_1_1_730_591). tank(t011_200_856_731_591). tank(t012_200_856_731_591). jet(j_200_856_731_591). junction(p1_200_856_731_591). junction(p2_200_856_731_591). junction(p3_200_856_731_591). junction(p4_200_856_731_591). junction(p5_200_856_731_591). junction(p6_200_856_731_591). junction(p7_200_856_731_591). valve(v1_200_856_731_591). valve(v2_200_856_731_591). valve(v3_200_856_731_591). valve(v4_200_856_731_591). valve(v5_200_856_731_591). valve(v6_200_856_731_591). valve(v7_200_856_731_591). valve(v8_200_856_731_591). valve(v9_200_856_731_591). valve(v10_200_856_731_591). valve(v11_200_856_731_591). link(t011_200_856_731_591, p1_200_856_731_591, v1_200_856_731_591). link(p1_200_856_731_591, p2_200_856_731_591, v2_200_856_731_591). link(p2_200_856_731_591, p3_200_856_731_591, v3_200_856_731_591). link(p3_200_856_731_591, p4_200_856_731_591, v4_200_856_731_591). link(p1_200_856_731_591, p5_200_856_731_591, v5_200_856_731_591). link(p5_200_856_731_591, p1_200_856_731_591, v5_200_856_731_591). link(p2_200_856_731_591, p6_200_856_731_591, v6_200_856_731_591). link(p6_200_856_731_591, p2_200_856_731_591, v6_200_856_731_591). link(p3_200_856_731_591, p7_200_856_731_591, v7_200_856_731_591). link(p4_200_856_731_591, j_200_856_731_591, v8_200_856_731_591). link(t012_200_856_731_591, p5_200_856_731_591, v11_200_856_731_591). link(p5_200_856_731_591, p6_200_856_731_591, v9_200_856_731_591). link(p7_200_856_731_591, j_200_856_731_591, v10_200_856_731_591). full(t011_200_856_731_591). full(t012_200_856_731_591). leaking(v1_200_856_731_591). leaking(v2_200_856_731_591). leaking(v3_200_856_731_591). leaking(v4_200_856_731_591). leaking(v5_200_856_731_591). leaking(v6_200_856_731_591). leaking(v7_200_856_731_591). leaking(v8_200_856_731_591). leaking(v9_200_856_731_591). leaking(v10_200_856_731_591). leaking(v11_200_856_731_591). leaking(v12_200_856_731_591). leaking(v13_200_856_731_591). goal(j_200_856_731_591). tank(t121_201_856_731_591). tank(t122_201_856_731_591). tank(t123_201_856_731_591). jet(j1_201_856_731_591). jet(j2_201_856_731_591). jet(j3_201_856_731_591). junction(p1_201_856_731_591). junction(p2_201_856_731_591). junction(p3_201_856_731_591). junction(p4_201_856_731_591). junction(p5_201_856_731_591). junction(p6_201_856_731_591). valve(v1_201_856_731_591). valve(v2_201_856_731_591). valve(v3_201_856_731_591). valve(v4_201_856_731_591). valve(v5_201_856_731_591). valve(v6_201_856_731_591). valve(v7_201_856_731_591). valve(v8_201_856_731_591). valve(v9_201_856_731_591). valve(v10_201_856_731_591). valve(v11_201_856_731_591). valve(v12_201_856_731_591). valve(v13_201_856_731_591). link(t121_201_856_731_591, p1_201_856_731_591, v1_201_856_731_591). link(p1_201_856_731_591, p2_201_856_731_591, v2_201_856_731_591). link(p2_201_856_731_591, j1_201_856_731_591, v3_201_856_731_591). link(t122_201_856_731_591, p3_201_856_731_591, v4_201_856_731_591). link(p4_201_856_731_591, p3_201_856_731_591, v5_201_856_731_591). link(p4_201_856_731_591, j2_201_856_731_591, v6_201_856_731_591). link(t123_201_856_731_591, p5_201_856_731_591, v7_201_856_731_591). link(p5_201_856_731_591, p6_201_856_731_591, v8_201_856_731_591). link(p6_201_856_731_591, j3_201_856_731_591, v9_201_856_731_591). link(p1_201_856_731_591, p3_201_856_731_591, v10_201_856_731_591). link(p3_201_856_731_591, p5_201_856_731_591, v11_201_856_731_591). link(p4_201_856_731_591, p2_201_856_731_591, v12_201_856_731_591). link(p6_201_856_731_591, p4_201_856_731_591, v13_201_856_731_591). full(t121_201_856_731_591). full(t123_201_856_731_591). leaking(v1_201_856_731_591). leaking(v2_201_856_731_591). leaking(v8_201_856_731_591). leaking(v12_201_856_731_591). goal(j1_201_856_731_591). tank(t631_160_857_731_591). tank(t632_160_857_731_591). jet(j1_160_857_731_591). jet(j2_160_857_731_591). junction(p00_160_857_731_591). junction(p01_160_857_731_591). junction(p02_160_857_731_591). junction(p03_160_857_731_591). junction(p04_160_857_731_591). junction(p05_160_857_731_591). junction(p10_160_857_731_591). junction(p11_160_857_731_591). junction(p12_160_857_731_591). junction(p13_160_857_731_591). junction(p14_160_857_731_591). junction(p15_160_857_731_591). junction(p20_160_857_731_591). junction(p21_160_857_731_591). junction(p22_160_857_731_591). junction(p23_160_857_731_591). junction(p24_160_857_731_591). junction(p25_160_857_731_591). junction(p30_160_857_731_591). junction(p31_160_857_731_591). junction(p32_160_857_731_591). junction(p33_160_857_731_591). junction(p34_160_857_731_591). junction(p35_160_857_731_591). junction(p40_160_857_731_591). junction(p41_160_857_731_591). junction(p42_160_857_731_591). junction(p43_160_857_731_591). junction(p44_160_857_731_591). junction(p45_160_857_731_591). junction(p50_160_857_731_591). junction(p51_160_857_731_591). junction(p52_160_857_731_591). junction(p53_160_857_731_591). junction(p54_160_857_731_591). junction(p55_160_857_731_591). valve(vt1_160_857_731_591). valve(vt2_160_857_731_591). valve(vj1_160_857_731_591). valve(vj2_160_857_731_591). valve(a0_160_857_731_591). valve(a1_160_857_731_591). valve(a2_160_857_731_591). valve(a3_160_857_731_591). valve(a4_160_857_731_591). valve(b0_160_857_731_591). valve(b1_160_857_731_591). valve(b2_160_857_731_591). valve(b3_160_857_731_591). valve(b4_160_857_731_591). valve(b5_160_857_731_591). valve(c0_160_857_731_591). valve(c1_160_857_731_591). valve(c2_160_857_731_591). valve(c3_160_857_731_591). valve(c4_160_857_731_591). valve(d0_160_857_731_591). valve(d1_160_857_731_591). valve(d2_160_857_731_591). valve(d3_160_857_731_591). valve(d4_160_857_731_591). valve(d5_160_857_731_591). valve(e0_160_857_731_591). valve(e1_160_857_731_591). valve(e2_160_857_731_591). valve(e3_160_857_731_591). valve(e4_160_857_731_591). valve(f0_160_857_731_591). valve(f1_160_857_731_591). valve(f2_160_857_731_591). valve(f3_160_857_731_591). valve(f4_160_857_731_591). valve(f5_160_857_731_591). valve(g0_160_857_731_591). valve(g1_160_857_731_591). valve(g2_160_857_731_591). valve(g3_160_857_731_591). valve(g4_160_857_731_591). valve(h0_160_857_731_591). valve(h1_160_857_731_591). valve(h2_160_857_731_591). valve(h3_160_857_731_591). valve(h4_160_857_731_591). valve(h5_160_857_731_591). valve(i0_160_857_731_591). valve(i1_160_857_731_591). valve(i2_160_857_731_591). valve(i3_160_857_731_591). valve(i4_160_857_731_591). valve(j0_160_857_731_591). valve(j1_160_857_731_591). valve(j2_160_857_731_591). valve(j3_160_857_731_591). valve(j4_160_857_731_591). valve(j5_160_857_731_591). valve(k0_160_857_731_591). valve(k1_160_857_731_591). valve(k2_160_857_731_591). valve(k3_160_857_731_591). valve(k4_160_857_731_591). link(t631_160_857_731_591, p00_160_857_731_591, vt1_160_857_731_591). link(t632_160_857_731_591, p10_160_857_731_591, vt2_160_857_731_591). link(p45_160_857_731_591, j2_160_857_731_591, vj2_160_857_731_591). link(p55_160_857_731_591, j1_160_857_731_591, vj1_160_857_731_591). link(p00_160_857_731_591, p10_160_857_731_591, b0_160_857_731_591). link(p10_160_857_731_591, p20_160_857_731_591, d0_160_857_731_591). link(p20_160_857_731_591, p30_160_857_731_591, f0_160_857_731_591). link(p30_160_857_731_591, p40_160_857_731_591, h0_160_857_731_591). link(p40_160_857_731_591, p50_160_857_731_591, j0_160_857_731_591). link(p02_160_857_731_591, p12_160_857_731_591, b2_160_857_731_591). link(p12_160_857_731_591, p22_160_857_731_591, d2_160_857_731_591). link(p22_160_857_731_591, p32_160_857_731_591, f2_160_857_731_591). link(p32_160_857_731_591, p42_160_857_731_591, h2_160_857_731_591). link(p42_160_857_731_591, p52_160_857_731_591, j2_160_857_731_591). link(p04_160_857_731_591, p14_160_857_731_591, b4_160_857_731_591). link(p14_160_857_731_591, p24_160_857_731_591, d4_160_857_731_591). link(p24_160_857_731_591, p34_160_857_731_591, f4_160_857_731_591). link(p34_160_857_731_591, p44_160_857_731_591, h4_160_857_731_591). link(p44_160_857_731_591, p54_160_857_731_591, j4_160_857_731_591). link(p51_160_857_731_591, p41_160_857_731_591, j1_160_857_731_591). link(p41_160_857_731_591, p31_160_857_731_591, h1_160_857_731_591). link(p31_160_857_731_591, p21_160_857_731_591, f1_160_857_731_591). link(p21_160_857_731_591, p11_160_857_731_591, d1_160_857_731_591). link(p11_160_857_731_591, p01_160_857_731_591, b1_160_857_731_591). link(p53_160_857_731_591, p43_160_857_731_591, j3_160_857_731_591). link(p43_160_857_731_591, p33_160_857_731_591, h3_160_857_731_591). link(p33_160_857_731_591, p23_160_857_731_591, f3_160_857_731_591). link(p23_160_857_731_591, p13_160_857_731_591, d3_160_857_731_591). link(p13_160_857_731_591, p03_160_857_731_591, b3_160_857_731_591). link(p55_160_857_731_591, p45_160_857_731_591, j5_160_857_731_591). link(p45_160_857_731_591, p35_160_857_731_591, h5_160_857_731_591). link(p35_160_857_731_591, p25_160_857_731_591, f5_160_857_731_591). link(p25_160_857_731_591, p15_160_857_731_591, d5_160_857_731_591). link(p15_160_857_731_591, p05_160_857_731_591, b5_160_857_731_591). link(p10_160_857_731_591, p11_160_857_731_591, c0_160_857_731_591). link(p30_160_857_731_591, p31_160_857_731_591, g0_160_857_731_591). link(p50_160_857_731_591, p51_160_857_731_591, k0_160_857_731_591). link(p01_160_857_731_591, p02_160_857_731_591, a1_160_857_731_591). link(p21_160_857_731_591, p22_160_857_731_591, e1_160_857_731_591). link(p41_160_857_731_591, p42_160_857_731_591, i1_160_857_731_591). link(p12_160_857_731_591, p13_160_857_731_591, c2_160_857_731_591). link(p32_160_857_731_591, p33_160_857_731_591, g2_160_857_731_591). link(p52_160_857_731_591, p53_160_857_731_591, k2_160_857_731_591). link(p03_160_857_731_591, p04_160_857_731_591, a3_160_857_731_591). link(p23_160_857_731_591, p24_160_857_731_591, e3_160_857_731_591). link(p43_160_857_731_591, p44_160_857_731_591, i3_160_857_731_591). link(p14_160_857_731_591, p15_160_857_731_591, c4_160_857_731_591). link(p34_160_857_731_591, p35_160_857_731_591, g4_160_857_731_591). link(p54_160_857_731_591, p55_160_857_731_591, k4_160_857_731_591). link(p01_160_857_731_591, p00_160_857_731_591, a0_160_857_731_591). link(p21_160_857_731_591, p20_160_857_731_591, e0_160_857_731_591). link(p41_160_857_731_591, p40_160_857_731_591, i0_160_857_731_591). link(p12_160_857_731_591, p11_160_857_731_591, c1_160_857_731_591). link(p32_160_857_731_591, p31_160_857_731_591, g1_160_857_731_591). link(p52_160_857_731_591, p51_160_857_731_591, k1_160_857_731_591). link(p03_160_857_731_591, p02_160_857_731_591, a2_160_857_731_591). link(p23_160_857_731_591, p22_160_857_731_591, e2_160_857_731_591). link(p43_160_857_731_591, p42_160_857_731_591, i2_160_857_731_591). link(p14_160_857_731_591, p13_160_857_731_591, c3_160_857_731_591). link(p34_160_857_731_591, p33_160_857_731_591, g3_160_857_731_591). link(p54_160_857_731_591, p53_160_857_731_591, k3_160_857_731_591). link(p05_160_857_731_591, p04_160_857_731_591, a4_160_857_731_591). link(p25_160_857_731_591, p24_160_857_731_591, e4_160_857_731_591). link(p45_160_857_731_591, p44_160_857_731_591, i4_160_857_731_591). full(t631_160_857_731_591). full(t632_160_857_731_591). leaking(vt1_160_857_731_591). leaking(vt2_160_857_731_591). leaking(vj1_160_857_731_591). leaking(vj2_160_857_731_591). leaking(a0_160_857_731_591). leaking(a2_160_857_731_591). leaking(a4_160_857_731_591). leaking(c0_160_857_731_591). leaking(c1_160_857_731_591). leaking(c2_160_857_731_591). leaking(c3_160_857_731_591). leaking(c4_160_857_731_591). leaking(e0_160_857_731_591). leaking(e1_160_857_731_591). leaking(e2_160_857_731_591). leaking(e3_160_857_731_591). leaking(e4_160_857_731_591). leaking(g0_160_857_731_591). leaking(g1_160_857_731_591). leaking(g2_160_857_731_591). leaking(g3_160_857_731_591). leaking(g4_160_857_731_591). leaking(i0_160_857_731_591). leaking(i1_160_857_731_591). leaking(i2_160_857_731_591). leaking(i3_160_857_731_591). leaking(i4_160_857_731_591). leaking(j5_160_857_731_591). leaking(k1_160_857_731_591). leaking(k3_160_857_731_591). goal(j2_160_857_731_591). tank(t631_161_857_731_591). tank(t632_161_857_731_591). jet(j1_161_857_731_591). jet(j2_161_857_731_591). junction(p00_161_857_731_591). junction(p01_161_857_731_591). junction(p02_161_857_731_591). junction(p03_161_857_731_591). junction(p04_161_857_731_591). junction(p05_161_857_731_591). junction(p10_161_857_731_591). junction(p11_161_857_731_591). junction(p12_161_857_731_591). junction(p13_161_857_731_591). junction(p14_161_857_731_591). junction(p15_161_857_731_591). junction(p20_161_857_731_591). junction(p21_161_857_731_591). junction(p22_161_857_731_591). junction(p23_161_857_731_591). junction(p24_161_857_731_591). junction(p25_161_857_731_591). junction(p30_161_857_731_591). junction(p31_161_857_731_591). junction(p32_161_857_731_591). junction(p33_161_857_731_591). junction(p34_161_857_731_591). junction(p35_161_857_731_591). junction(p40_161_857_731_591). junction(p41_161_857_731_591). junction(p42_161_857_731_591). junction(p43_161_857_731_591). junction(p44_161_857_731_591). junction(p45_161_857_731_591). junction(p50_161_857_731_591). junction(p51_161_857_731_591). junction(p52_161_857_731_591). junction(p53_161_857_731_591). junction(p54_161_857_731_591). junction(p55_161_857_731_591). valve(vt1_161_857_731_591). valve(vt2_161_857_731_591). valve(vj1_161_857_731_591). valve(vj2_161_857_731_591). valve(a0_161_857_731_591). valve(a1_161_857_731_591). valve(a2_161_857_731_591). valve(a3_161_857_731_591). valve(a4_161_857_731_591). valve(b0_161_857_731_591). valve(b1_161_857_731_591). valve(b2_161_857_731_591). valve(b3_161_857_731_591). valve(b4_161_857_731_591). valve(b5_161_857_731_591). valve(c0_161_857_731_591). valve(c1_161_857_731_591). valve(c2_161_857_731_591). valve(c3_161_857_731_591). valve(c4_161_857_731_591). valve(d0_161_857_731_591). valve(d1_161_857_731_591). valve(d2_161_857_731_591). valve(d3_161_857_731_591). valve(d4_161_857_731_591). valve(d5_161_857_731_591). valve(e0_161_857_731_591). valve(e1_161_857_731_591). valve(e2_161_857_731_591). valve(e3_161_857_731_591). valve(e4_161_857_731_591). valve(f0_161_857_731_591). valve(f1_161_857_731_591). valve(f2_161_857_731_591). valve(f3_161_857_731_591). valve(f4_161_857_731_591). valve(f5_161_857_731_591). valve(g0_161_857_731_591). valve(g1_161_857_731_591). valve(g2_161_857_731_591). valve(g3_161_857_731_591). valve(g4_161_857_731_591). valve(h0_161_857_731_591). valve(h1_161_857_731_591). valve(h2_161_857_731_591). valve(h3_161_857_731_591). valve(h4_161_857_731_591). valve(h5_161_857_731_591). valve(i0_161_857_731_591). valve(i1_161_857_731_591). valve(i2_161_857_731_591). valve(i3_161_857_731_591). valve(i4_161_857_731_591). valve(j0_161_857_731_591). valve(j1_161_857_731_591). valve(j2_161_857_731_591). valve(j3_161_857_731_591). valve(j4_161_857_731_591). valve(j5_161_857_731_591). valve(k0_161_857_731_591). valve(k1_161_857_731_591). valve(k2_161_857_731_591). valve(k3_161_857_731_591). valve(k4_161_857_731_591). link(t631_161_857_731_591, p00_161_857_731_591, vt1_161_857_731_591). link(t632_161_857_731_591, p10_161_857_731_591, vt2_161_857_731_591). link(p45_161_857_731_591, j2_161_857_731_591, vj2_161_857_731_591). link(p55_161_857_731_591, j1_161_857_731_591, vj1_161_857_731_591). link(p00_161_857_731_591, p10_161_857_731_591, b0_161_857_731_591). link(p10_161_857_731_591, p20_161_857_731_591, d0_161_857_731_591). link(p20_161_857_731_591, p30_161_857_731_591, f0_161_857_731_591). link(p30_161_857_731_591, p40_161_857_731_591, h0_161_857_731_591). link(p40_161_857_731_591, p50_161_857_731_591, j0_161_857_731_591). link(p02_161_857_731_591, p12_161_857_731_591, b2_161_857_731_591). link(p12_161_857_731_591, p22_161_857_731_591, d2_161_857_731_591). link(p22_161_857_731_591, p32_161_857_731_591, f2_161_857_731_591). link(p32_161_857_731_591, p42_161_857_731_591, h2_161_857_731_591). link(p42_161_857_731_591, p52_161_857_731_591, j2_161_857_731_591). link(p04_161_857_731_591, p14_161_857_731_591, b4_161_857_731_591). link(p14_161_857_731_591, p24_161_857_731_591, d4_161_857_731_591). link(p24_161_857_731_591, p34_161_857_731_591, f4_161_857_731_591). link(p34_161_857_731_591, p44_161_857_731_591, h4_161_857_731_591). link(p44_161_857_731_591, p54_161_857_731_591, j4_161_857_731_591). link(p51_161_857_731_591, p41_161_857_731_591, j1_161_857_731_591). link(p41_161_857_731_591, p31_161_857_731_591, h1_161_857_731_591). link(p31_161_857_731_591, p21_161_857_731_591, f1_161_857_731_591). link(p21_161_857_731_591, p11_161_857_731_591, d1_161_857_731_591). link(p11_161_857_731_591, p01_161_857_731_591, b1_161_857_731_591). link(p53_161_857_731_591, p43_161_857_731_591, j3_161_857_731_591). link(p43_161_857_731_591, p33_161_857_731_591, h3_161_857_731_591). link(p33_161_857_731_591, p23_161_857_731_591, f3_161_857_731_591). link(p23_161_857_731_591, p13_161_857_731_591, d3_161_857_731_591). link(p13_161_857_731_591, p03_161_857_731_591, b3_161_857_731_591). link(p55_161_857_731_591, p45_161_857_731_591, j5_161_857_731_591). link(p45_161_857_731_591, p35_161_857_731_591, h5_161_857_731_591). link(p35_161_857_731_591, p25_161_857_731_591, f5_161_857_731_591). link(p25_161_857_731_591, p15_161_857_731_591, d5_161_857_731_591). link(p15_161_857_731_591, p05_161_857_731_591, b5_161_857_731_591). link(p10_161_857_731_591, p11_161_857_731_591, c0_161_857_731_591). link(p30_161_857_731_591, p31_161_857_731_591, g0_161_857_731_591). link(p50_161_857_731_591, p51_161_857_731_591, k0_161_857_731_591). link(p01_161_857_731_591, p02_161_857_731_591, a1_161_857_731_591). link(p21_161_857_731_591, p22_161_857_731_591, e1_161_857_731_591). link(p41_161_857_731_591, p42_161_857_731_591, i1_161_857_731_591). link(p12_161_857_731_591, p13_161_857_731_591, c2_161_857_731_591). link(p32_161_857_731_591, p33_161_857_731_591, g2_161_857_731_591). link(p52_161_857_731_591, p53_161_857_731_591, k2_161_857_731_591). link(p03_161_857_731_591, p04_161_857_731_591, a3_161_857_731_591). link(p23_161_857_731_591, p24_161_857_731_591, e3_161_857_731_591). link(p43_161_857_731_591, p44_161_857_731_591, i3_161_857_731_591). link(p14_161_857_731_591, p15_161_857_731_591, c4_161_857_731_591). link(p34_161_857_731_591, p35_161_857_731_591, g4_161_857_731_591). link(p54_161_857_731_591, p55_161_857_731_591, k4_161_857_731_591). link(p01_161_857_731_591, p00_161_857_731_591, a0_161_857_731_591). link(p21_161_857_731_591, p20_161_857_731_591, e0_161_857_731_591). link(p41_161_857_731_591, p40_161_857_731_591, i0_161_857_731_591). link(p12_161_857_731_591, p11_161_857_731_591, c1_161_857_731_591). link(p32_161_857_731_591, p31_161_857_731_591, g1_161_857_731_591). link(p52_161_857_731_591, p51_161_857_731_591, k1_161_857_731_591). link(p03_161_857_731_591, p02_161_857_731_591, a2_161_857_731_591). link(p23_161_857_731_591, p22_161_857_731_591, e2_161_857_731_591). link(p43_161_857_731_591, p42_161_857_731_591, i2_161_857_731_591). link(p14_161_857_731_591, p13_161_857_731_591, c3_161_857_731_591). link(p34_161_857_731_591, p33_161_857_731_591, g3_161_857_731_591). link(p54_161_857_731_591, p53_161_857_731_591, k3_161_857_731_591). link(p05_161_857_731_591, p04_161_857_731_591, a4_161_857_731_591). link(p25_161_857_731_591, p24_161_857_731_591, e4_161_857_731_591). link(p45_161_857_731_591, p44_161_857_731_591, i4_161_857_731_591). full(t631_161_857_731_591). full(t632_161_857_731_591). leaking(vt1_161_857_731_591). leaking(vt2_161_857_731_591). leaking(vj1_161_857_731_591). leaking(vj2_161_857_731_591). leaking(a0_161_857_731_591). leaking(a2_161_857_731_591). leaking(a4_161_857_731_591). leaking(c0_161_857_731_591). leaking(c1_161_857_731_591). leaking(c2_161_857_731_591). leaking(c3_161_857_731_591). leaking(c4_161_857_731_591). leaking(e0_161_857_731_591). leaking(e1_161_857_731_591). leaking(e2_161_857_731_591). leaking(e3_161_857_731_591). leaking(e4_161_857_731_591). leaking(g0_161_857_731_591). leaking(g1_161_857_731_591). leaking(g2_161_857_731_591). leaking(g3_161_857_731_591). leaking(g4_161_857_731_591). leaking(i0_161_857_731_591). leaking(i1_161_857_731_591). leaking(i2_161_857_731_591). leaking(i3_161_857_731_591). leaking(i4_161_857_731_591). leaking(j5_161_857_731_591). leaking(k1_161_857_731_591). leaking(k3_161_857_731_591). goal(j2_161_857_731_591). numValves(392).

Actions

Navigation

Instance 295-hydraulic_leaking-392-0.asp