Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance 1000-hydraulic_leaking-677-0.asp

Name	1000-hydraulic_leaking-677-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_0_2000). tank(t312_0_0_0_0_2000). tank(t313_0_0_0_0_2000). tank(t314_0_0_0_0_2000). jet(j1_0_0_0_0_2000). jet(j2_0_0_0_0_2000). junction(p1_0_0_0_0_2000). junction(p2_0_0_0_0_2000). junction(p3_0_0_0_0_2000). junction(p4_0_0_0_0_2000). junction(p5_0_0_0_0_2000). junction(p6_0_0_0_0_2000). junction(p7_0_0_0_0_2000). junction(p8_0_0_0_0_2000). junction(p9_0_0_0_0_2000). junction(p10_0_0_0_0_2000). valve(v1_0_0_0_0_2000). valve(v2_0_0_0_0_2000). valve(v3_0_0_0_0_2000). valve(v4_0_0_0_0_2000). valve(v5_0_0_0_0_2000). valve(v6_0_0_0_0_2000). valve(v7_0_0_0_0_2000). valve(v8_0_0_0_0_2000). valve(v9_0_0_0_0_2000). valve(v10_0_0_0_0_2000). valve(v11_0_0_0_0_2000). valve(v12_0_0_0_0_2000). valve(v13_0_0_0_0_2000). valve(v14_0_0_0_0_2000). valve(v15_0_0_0_0_2000). valve(v16_0_0_0_0_2000). valve(v17_0_0_0_0_2000). valve(v18_0_0_0_0_2000). valve(v19_0_0_0_0_2000). valve(v20_0_0_0_0_2000). link(t311_0_0_0_0_2000, p1_0_0_0_0_2000, v1_0_0_0_0_2000). link(p1_0_0_0_0_2000, p2_0_0_0_0_2000, v2_0_0_0_0_2000). link(p3_0_0_0_0_2000, p4_0_0_0_0_2000, v4_0_0_0_0_2000). link(t313_0_0_0_0_2000, p4_0_0_0_0_2000, v5_0_0_0_0_2000). link(p2_0_0_0_0_2000, p3_0_0_0_0_2000, v3_0_0_0_0_2000). link(p2_0_0_0_0_2000, j1_0_0_0_0_2000, v6_0_0_0_0_2000). link(p3_0_0_0_0_2000, j1_0_0_0_0_2000, v7_0_0_0_0_2000). link(p5_0_0_0_0_2000, p1_0_0_0_0_2000, v8_0_0_0_0_2000). link(p4_0_0_0_0_2000, p6_0_0_0_0_2000, v9_0_0_0_0_2000). link(p5_0_0_0_0_2000, p6_0_0_0_0_2000, v10_0_0_0_0_2000). link(p6_0_0_0_0_2000, p5_0_0_0_0_2000, v11_0_0_0_0_2000). %center swap link(p7_0_0_0_0_2000, p5_0_0_0_0_2000, v12_0_0_0_0_2000). link(p6_0_0_0_0_2000, p10_0_0_0_0_2000, v13_0_0_0_0_2000). link(t312_0_0_0_0_2000, p7_0_0_0_0_2000, v14_0_0_0_0_2000). link(p8_0_0_0_0_2000, p7_0_0_0_0_2000, v15_0_0_0_0_2000). link(p10_0_0_0_0_2000, p9_0_0_0_0_2000, v17_0_0_0_0_2000). link(t314_0_0_0_0_2000, p10_0_0_0_0_2000, v18_0_0_0_0_2000). link(p9_0_0_0_0_2000, p8_0_0_0_0_2000, v16_0_0_0_0_2000). link(p8_0_0_0_0_2000, j2_0_0_0_0_2000, v19_0_0_0_0_2000). link(p9_0_0_0_0_2000, j2_0_0_0_0_2000, v20_0_0_0_0_2000). full(t311_0_0_0_0_2000). full(t312_0_0_0_0_2000). full(t313_0_0_0_0_2000). full(t314_0_0_0_0_2000). leaking(v1_0_0_0_0_2000).leaking(v2_0_0_0_0_2000).leaking(v3_0_0_0_0_2000).leaking(v4_0_0_0_0_2000).leaking(v5_0_0_0_0_2000). leaking(v6_0_0_0_0_2000).leaking(v7_0_0_0_0_2000).leaking(v8_0_0_0_0_2000).leaking(v9_0_0_0_0_2000).leaking(v10_0_0_0_0_2000). leaking(v11_0_0_0_0_2000).leaking(v12_0_0_0_0_2000).leaking(v13_0_0_0_0_2000).leaking(v14_0_0_0_0_2000).leaking(v15_0_0_0_0_2000). leaking(v16_0_0_0_0_2000).leaking(v17_0_0_0_0_2000).leaking(v18_0_0_0_0_2000).leaking(v19_0_0_0_0_2000).leaking(v20_0_0_0_0_2000). goal(j2_0_0_0_0_2000). tank(t311_1_0_0_0_2000). tank(t312_1_0_0_0_2000). tank(t313_1_0_0_0_2000). tank(t314_1_0_0_0_2000). jet(j1_1_0_0_0_2000). jet(j2_1_0_0_0_2000). junction(p1_1_0_0_0_2000). junction(p2_1_0_0_0_2000). junction(p3_1_0_0_0_2000). junction(p4_1_0_0_0_2000). junction(p5_1_0_0_0_2000). junction(p6_1_0_0_0_2000). junction(p7_1_0_0_0_2000). junction(p8_1_0_0_0_2000). junction(p9_1_0_0_0_2000). junction(p10_1_0_0_0_2000). valve(v1_1_0_0_0_2000). valve(v2_1_0_0_0_2000). valve(v3_1_0_0_0_2000). valve(v4_1_0_0_0_2000). valve(v5_1_0_0_0_2000). valve(v6_1_0_0_0_2000). valve(v7_1_0_0_0_2000). valve(v8_1_0_0_0_2000). valve(v9_1_0_0_0_2000). valve(v10_1_0_0_0_2000). valve(v11_1_0_0_0_2000). valve(v12_1_0_0_0_2000). valve(v13_1_0_0_0_2000). valve(v14_1_0_0_0_2000). valve(v15_1_0_0_0_2000). valve(v16_1_0_0_0_2000). valve(v17_1_0_0_0_2000). valve(v18_1_0_0_0_2000). valve(v19_1_0_0_0_2000). valve(v20_1_0_0_0_2000). link(t311_1_0_0_0_2000, p1_1_0_0_0_2000, v1_1_0_0_0_2000). link(p1_1_0_0_0_2000, p2_1_0_0_0_2000, v2_1_0_0_0_2000). link(p3_1_0_0_0_2000, p4_1_0_0_0_2000, v4_1_0_0_0_2000). link(t313_1_0_0_0_2000, p4_1_0_0_0_2000, v5_1_0_0_0_2000). link(p2_1_0_0_0_2000, p3_1_0_0_0_2000, v3_1_0_0_0_2000). link(p2_1_0_0_0_2000, j1_1_0_0_0_2000, v6_1_0_0_0_2000). link(p3_1_0_0_0_2000, j1_1_0_0_0_2000, v7_1_0_0_0_2000). link(p5_1_0_0_0_2000, p1_1_0_0_0_2000, v8_1_0_0_0_2000). link(p4_1_0_0_0_2000, p6_1_0_0_0_2000, v9_1_0_0_0_2000). link(p5_1_0_0_0_2000, p6_1_0_0_0_2000, v10_1_0_0_0_2000). link(p6_1_0_0_0_2000, p5_1_0_0_0_2000, v11_1_0_0_0_2000). %center swap link(p7_1_0_0_0_2000, p5_1_0_0_0_2000, v12_1_0_0_0_2000). link(p6_1_0_0_0_2000, p10_1_0_0_0_2000, v13_1_0_0_0_2000). link(t312_1_0_0_0_2000, p7_1_0_0_0_2000, v14_1_0_0_0_2000). link(p8_1_0_0_0_2000, p7_1_0_0_0_2000, v15_1_0_0_0_2000). link(p10_1_0_0_0_2000, p9_1_0_0_0_2000, v17_1_0_0_0_2000). link(t314_1_0_0_0_2000, p10_1_0_0_0_2000, v18_1_0_0_0_2000). link(p9_1_0_0_0_2000, p8_1_0_0_0_2000, v16_1_0_0_0_2000). link(p8_1_0_0_0_2000, j2_1_0_0_0_2000, v19_1_0_0_0_2000). link(p9_1_0_0_0_2000, j2_1_0_0_0_2000, v20_1_0_0_0_2000). full(t311_1_0_0_0_2000). full(t312_1_0_0_0_2000). full(t313_1_0_0_0_2000). full(t314_1_0_0_0_2000). leaking(v1_1_0_0_0_2000).leaking(v2_1_0_0_0_2000).leaking(v3_1_0_0_0_2000).leaking(v4_1_0_0_0_2000).leaking(v5_1_0_0_0_2000). leaking(v6_1_0_0_0_2000).leaking(v7_1_0_0_0_2000).leaking(v8_1_0_0_0_2000).leaking(v9_1_0_0_0_2000).leaking(v10_1_0_0_0_2000). leaking(v11_1_0_0_0_2000).leaking(v12_1_0_0_0_2000).leaking(v13_1_0_0_0_2000).leaking(v14_1_0_0_0_2000).leaking(v15_1_0_0_0_2000). leaking(v16_1_0_0_0_2000).leaking(v17_1_0_0_0_2000).leaking(v18_1_0_0_0_2000).leaking(v19_1_0_0_0_2000).leaking(v20_1_0_0_0_2000). goal(j2_1_0_0_0_2000). tank(t311_0_1_0_0_2000). tank(t312_0_1_0_0_2000). tank(t313_0_1_0_0_2000). tank(t314_0_1_0_0_2000). jet(j1_0_1_0_0_2000). jet(j2_0_1_0_0_2000). junction(p1_0_1_0_0_2000). junction(p2_0_1_0_0_2000). junction(p3_0_1_0_0_2000). junction(p4_0_1_0_0_2000). junction(p5_0_1_0_0_2000). junction(p6_0_1_0_0_2000). junction(p7_0_1_0_0_2000). junction(p8_0_1_0_0_2000). junction(p9_0_1_0_0_2000). junction(p10_0_1_0_0_2000). valve(v1_0_1_0_0_2000). valve(v2_0_1_0_0_2000). valve(v3_0_1_0_0_2000). valve(v4_0_1_0_0_2000). valve(v5_0_1_0_0_2000). valve(v6_0_1_0_0_2000). valve(v7_0_1_0_0_2000). valve(v8_0_1_0_0_2000). valve(v9_0_1_0_0_2000). valve(v10_0_1_0_0_2000). valve(v11_0_1_0_0_2000). valve(v12_0_1_0_0_2000). valve(v13_0_1_0_0_2000). valve(v14_0_1_0_0_2000). valve(v15_0_1_0_0_2000). valve(v16_0_1_0_0_2000). valve(v17_0_1_0_0_2000). valve(v18_0_1_0_0_2000). valve(v19_0_1_0_0_2000). valve(v20_0_1_0_0_2000). link(t311_0_1_0_0_2000, p1_0_1_0_0_2000, v1_0_1_0_0_2000). link(p1_0_1_0_0_2000, p2_0_1_0_0_2000, v2_0_1_0_0_2000). link(p3_0_1_0_0_2000, p4_0_1_0_0_2000, v4_0_1_0_0_2000). link(t313_0_1_0_0_2000, p4_0_1_0_0_2000, v5_0_1_0_0_2000). link(p2_0_1_0_0_2000, p3_0_1_0_0_2000, v3_0_1_0_0_2000). link(p2_0_1_0_0_2000, j1_0_1_0_0_2000, v6_0_1_0_0_2000). link(p3_0_1_0_0_2000, j1_0_1_0_0_2000, v7_0_1_0_0_2000). link(p5_0_1_0_0_2000, p1_0_1_0_0_2000, v8_0_1_0_0_2000). link(p4_0_1_0_0_2000, p6_0_1_0_0_2000, v9_0_1_0_0_2000). link(p5_0_1_0_0_2000, p6_0_1_0_0_2000, v10_0_1_0_0_2000). link(p6_0_1_0_0_2000, p5_0_1_0_0_2000, v11_0_1_0_0_2000). %center swap link(p7_0_1_0_0_2000, p5_0_1_0_0_2000, v12_0_1_0_0_2000). link(p6_0_1_0_0_2000, p10_0_1_0_0_2000, v13_0_1_0_0_2000). link(t312_0_1_0_0_2000, p7_0_1_0_0_2000, v14_0_1_0_0_2000). link(p8_0_1_0_0_2000, p7_0_1_0_0_2000, v15_0_1_0_0_2000). link(p10_0_1_0_0_2000, p9_0_1_0_0_2000, v17_0_1_0_0_2000). link(t314_0_1_0_0_2000, p10_0_1_0_0_2000, v18_0_1_0_0_2000). link(p9_0_1_0_0_2000, p8_0_1_0_0_2000, v16_0_1_0_0_2000). link(p8_0_1_0_0_2000, j2_0_1_0_0_2000, v19_0_1_0_0_2000). link(p9_0_1_0_0_2000, j2_0_1_0_0_2000, v20_0_1_0_0_2000). full(t311_0_1_0_0_2000). full(t312_0_1_0_0_2000). full(t313_0_1_0_0_2000). full(t314_0_1_0_0_2000). leaking(v1_0_1_0_0_2000).leaking(v2_0_1_0_0_2000).leaking(v3_0_1_0_0_2000).leaking(v4_0_1_0_0_2000).leaking(v5_0_1_0_0_2000). leaking(v6_0_1_0_0_2000).leaking(v7_0_1_0_0_2000).leaking(v8_0_1_0_0_2000).leaking(v9_0_1_0_0_2000).leaking(v10_0_1_0_0_2000). leaking(v11_0_1_0_0_2000).leaking(v12_0_1_0_0_2000).leaking(v13_0_1_0_0_2000).leaking(v14_0_1_0_0_2000).leaking(v15_0_1_0_0_2000). leaking(v16_0_1_0_0_2000).leaking(v17_0_1_0_0_2000).leaking(v18_0_1_0_0_2000).leaking(v19_0_1_0_0_2000).leaking(v20_0_1_0_0_2000). goal(j2_0_1_0_0_2000). tank(t311_1_1_0_0_2000). tank(t312_1_1_0_0_2000). tank(t313_1_1_0_0_2000). tank(t314_1_1_0_0_2000). jet(j1_1_1_0_0_2000). jet(j2_1_1_0_0_2000). junction(p1_1_1_0_0_2000). junction(p2_1_1_0_0_2000). junction(p3_1_1_0_0_2000). junction(p4_1_1_0_0_2000). junction(p5_1_1_0_0_2000). junction(p6_1_1_0_0_2000). junction(p7_1_1_0_0_2000). junction(p8_1_1_0_0_2000). junction(p9_1_1_0_0_2000). junction(p10_1_1_0_0_2000). valve(v1_1_1_0_0_2000). valve(v2_1_1_0_0_2000). valve(v3_1_1_0_0_2000). valve(v4_1_1_0_0_2000). valve(v5_1_1_0_0_2000). valve(v6_1_1_0_0_2000). valve(v7_1_1_0_0_2000). valve(v8_1_1_0_0_2000). valve(v9_1_1_0_0_2000). valve(v10_1_1_0_0_2000). valve(v11_1_1_0_0_2000). valve(v12_1_1_0_0_2000). valve(v13_1_1_0_0_2000). valve(v14_1_1_0_0_2000). valve(v15_1_1_0_0_2000). valve(v16_1_1_0_0_2000). valve(v17_1_1_0_0_2000). valve(v18_1_1_0_0_2000). valve(v19_1_1_0_0_2000). valve(v20_1_1_0_0_2000). link(t311_1_1_0_0_2000, p1_1_1_0_0_2000, v1_1_1_0_0_2000). link(p1_1_1_0_0_2000, p2_1_1_0_0_2000, v2_1_1_0_0_2000). link(p3_1_1_0_0_2000, p4_1_1_0_0_2000, v4_1_1_0_0_2000). link(t313_1_1_0_0_2000, p4_1_1_0_0_2000, v5_1_1_0_0_2000). link(p2_1_1_0_0_2000, p3_1_1_0_0_2000, v3_1_1_0_0_2000). link(p2_1_1_0_0_2000, j1_1_1_0_0_2000, v6_1_1_0_0_2000). link(p3_1_1_0_0_2000, j1_1_1_0_0_2000, v7_1_1_0_0_2000). link(p5_1_1_0_0_2000, p1_1_1_0_0_2000, v8_1_1_0_0_2000). link(p4_1_1_0_0_2000, p6_1_1_0_0_2000, v9_1_1_0_0_2000). link(p5_1_1_0_0_2000, p6_1_1_0_0_2000, v10_1_1_0_0_2000). link(p6_1_1_0_0_2000, p5_1_1_0_0_2000, v11_1_1_0_0_2000). %center swap link(p7_1_1_0_0_2000, p5_1_1_0_0_2000, v12_1_1_0_0_2000). link(p6_1_1_0_0_2000, p10_1_1_0_0_2000, v13_1_1_0_0_2000). link(t312_1_1_0_0_2000, p7_1_1_0_0_2000, v14_1_1_0_0_2000). link(p8_1_1_0_0_2000, p7_1_1_0_0_2000, v15_1_1_0_0_2000). link(p10_1_1_0_0_2000, p9_1_1_0_0_2000, v17_1_1_0_0_2000). link(t314_1_1_0_0_2000, p10_1_1_0_0_2000, v18_1_1_0_0_2000). link(p9_1_1_0_0_2000, p8_1_1_0_0_2000, v16_1_1_0_0_2000). link(p8_1_1_0_0_2000, j2_1_1_0_0_2000, v19_1_1_0_0_2000). link(p9_1_1_0_0_2000, j2_1_1_0_0_2000, v20_1_1_0_0_2000). full(t311_1_1_0_0_2000). full(t312_1_1_0_0_2000). full(t313_1_1_0_0_2000). full(t314_1_1_0_0_2000). leaking(v1_1_1_0_0_2000).leaking(v2_1_1_0_0_2000).leaking(v3_1_1_0_0_2000).leaking(v4_1_1_0_0_2000).leaking(v5_1_1_0_0_2000). leaking(v6_1_1_0_0_2000).leaking(v7_1_1_0_0_2000).leaking(v8_1_1_0_0_2000).leaking(v9_1_1_0_0_2000).leaking(v10_1_1_0_0_2000). leaking(v11_1_1_0_0_2000).leaking(v12_1_1_0_0_2000).leaking(v13_1_1_0_0_2000).leaking(v14_1_1_0_0_2000).leaking(v15_1_1_0_0_2000). leaking(v16_1_1_0_0_2000).leaking(v17_1_1_0_0_2000).leaking(v18_1_1_0_0_2000).leaking(v19_1_1_0_0_2000).leaking(v20_1_1_0_0_2000). goal(j2_1_1_0_0_2000). tank(t311_0_0_1_0_2000). tank(t312_0_0_1_0_2000). tank(t313_0_0_1_0_2000). tank(t314_0_0_1_0_2000). jet(j1_0_0_1_0_2000). jet(j2_0_0_1_0_2000). junction(p1_0_0_1_0_2000). junction(p2_0_0_1_0_2000). junction(p3_0_0_1_0_2000). junction(p4_0_0_1_0_2000). junction(p5_0_0_1_0_2000). junction(p6_0_0_1_0_2000). junction(p7_0_0_1_0_2000). junction(p8_0_0_1_0_2000). junction(p9_0_0_1_0_2000). junction(p10_0_0_1_0_2000). valve(v1_0_0_1_0_2000). valve(v2_0_0_1_0_2000). valve(v3_0_0_1_0_2000). valve(v4_0_0_1_0_2000). valve(v5_0_0_1_0_2000). valve(v6_0_0_1_0_2000). valve(v7_0_0_1_0_2000). valve(v8_0_0_1_0_2000). valve(v9_0_0_1_0_2000). valve(v10_0_0_1_0_2000). valve(v11_0_0_1_0_2000). valve(v12_0_0_1_0_2000). valve(v13_0_0_1_0_2000). valve(v14_0_0_1_0_2000). valve(v15_0_0_1_0_2000). valve(v16_0_0_1_0_2000). valve(v17_0_0_1_0_2000). valve(v18_0_0_1_0_2000). valve(v19_0_0_1_0_2000). valve(v20_0_0_1_0_2000). link(t311_0_0_1_0_2000, p1_0_0_1_0_2000, v1_0_0_1_0_2000). link(p1_0_0_1_0_2000, p2_0_0_1_0_2000, v2_0_0_1_0_2000). link(p3_0_0_1_0_2000, p4_0_0_1_0_2000, v4_0_0_1_0_2000). link(t313_0_0_1_0_2000, p4_0_0_1_0_2000, v5_0_0_1_0_2000). link(p2_0_0_1_0_2000, p3_0_0_1_0_2000, v3_0_0_1_0_2000). link(p2_0_0_1_0_2000, j1_0_0_1_0_2000, v6_0_0_1_0_2000). link(p3_0_0_1_0_2000, j1_0_0_1_0_2000, v7_0_0_1_0_2000). link(p5_0_0_1_0_2000, p1_0_0_1_0_2000, v8_0_0_1_0_2000). link(p4_0_0_1_0_2000, p6_0_0_1_0_2000, v9_0_0_1_0_2000). link(p5_0_0_1_0_2000, p6_0_0_1_0_2000, v10_0_0_1_0_2000). link(p6_0_0_1_0_2000, p5_0_0_1_0_2000, v11_0_0_1_0_2000). %center swap link(p7_0_0_1_0_2000, p5_0_0_1_0_2000, v12_0_0_1_0_2000). link(p6_0_0_1_0_2000, p10_0_0_1_0_2000, v13_0_0_1_0_2000). link(t312_0_0_1_0_2000, p7_0_0_1_0_2000, v14_0_0_1_0_2000). link(p8_0_0_1_0_2000, p7_0_0_1_0_2000, v15_0_0_1_0_2000). link(p10_0_0_1_0_2000, p9_0_0_1_0_2000, v17_0_0_1_0_2000). link(t314_0_0_1_0_2000, p10_0_0_1_0_2000, v18_0_0_1_0_2000). link(p9_0_0_1_0_2000, p8_0_0_1_0_2000, v16_0_0_1_0_2000). link(p8_0_0_1_0_2000, j2_0_0_1_0_2000, v19_0_0_1_0_2000). link(p9_0_0_1_0_2000, j2_0_0_1_0_2000, v20_0_0_1_0_2000). full(t311_0_0_1_0_2000). full(t312_0_0_1_0_2000). full(t313_0_0_1_0_2000). full(t314_0_0_1_0_2000). leaking(v1_0_0_1_0_2000).leaking(v2_0_0_1_0_2000).leaking(v3_0_0_1_0_2000).leaking(v4_0_0_1_0_2000).leaking(v5_0_0_1_0_2000). leaking(v6_0_0_1_0_2000).leaking(v7_0_0_1_0_2000).leaking(v8_0_0_1_0_2000).leaking(v9_0_0_1_0_2000).leaking(v10_0_0_1_0_2000). leaking(v11_0_0_1_0_2000).leaking(v12_0_0_1_0_2000).leaking(v13_0_0_1_0_2000).leaking(v14_0_0_1_0_2000).leaking(v15_0_0_1_0_2000). leaking(v16_0_0_1_0_2000).leaking(v17_0_0_1_0_2000).leaking(v18_0_0_1_0_2000).leaking(v19_0_0_1_0_2000).leaking(v20_0_0_1_0_2000). goal(j2_0_0_1_0_2000). tank(t311_1_0_1_0_2000). tank(t312_1_0_1_0_2000). tank(t313_1_0_1_0_2000). tank(t314_1_0_1_0_2000). jet(j1_1_0_1_0_2000). jet(j2_1_0_1_0_2000). junction(p1_1_0_1_0_2000). junction(p2_1_0_1_0_2000). junction(p3_1_0_1_0_2000). junction(p4_1_0_1_0_2000). junction(p5_1_0_1_0_2000). junction(p6_1_0_1_0_2000). junction(p7_1_0_1_0_2000). junction(p8_1_0_1_0_2000). junction(p9_1_0_1_0_2000). junction(p10_1_0_1_0_2000). valve(v1_1_0_1_0_2000). valve(v2_1_0_1_0_2000). valve(v3_1_0_1_0_2000). valve(v4_1_0_1_0_2000). valve(v5_1_0_1_0_2000). valve(v6_1_0_1_0_2000). valve(v7_1_0_1_0_2000). valve(v8_1_0_1_0_2000). valve(v9_1_0_1_0_2000). valve(v10_1_0_1_0_2000). valve(v11_1_0_1_0_2000). valve(v12_1_0_1_0_2000). valve(v13_1_0_1_0_2000). valve(v14_1_0_1_0_2000). valve(v15_1_0_1_0_2000). valve(v16_1_0_1_0_2000). valve(v17_1_0_1_0_2000). valve(v18_1_0_1_0_2000). valve(v19_1_0_1_0_2000). valve(v20_1_0_1_0_2000). link(t311_1_0_1_0_2000, p1_1_0_1_0_2000, v1_1_0_1_0_2000). link(p1_1_0_1_0_2000, p2_1_0_1_0_2000, v2_1_0_1_0_2000). link(p3_1_0_1_0_2000, p4_1_0_1_0_2000, v4_1_0_1_0_2000). link(t313_1_0_1_0_2000, p4_1_0_1_0_2000, v5_1_0_1_0_2000). link(p2_1_0_1_0_2000, p3_1_0_1_0_2000, v3_1_0_1_0_2000). link(p2_1_0_1_0_2000, j1_1_0_1_0_2000, v6_1_0_1_0_2000). link(p3_1_0_1_0_2000, j1_1_0_1_0_2000, v7_1_0_1_0_2000). link(p5_1_0_1_0_2000, p1_1_0_1_0_2000, v8_1_0_1_0_2000). link(p4_1_0_1_0_2000, p6_1_0_1_0_2000, v9_1_0_1_0_2000). link(p5_1_0_1_0_2000, p6_1_0_1_0_2000, v10_1_0_1_0_2000). link(p6_1_0_1_0_2000, p5_1_0_1_0_2000, v11_1_0_1_0_2000). %center swap link(p7_1_0_1_0_2000, p5_1_0_1_0_2000, v12_1_0_1_0_2000). link(p6_1_0_1_0_2000, p10_1_0_1_0_2000, v13_1_0_1_0_2000). link(t312_1_0_1_0_2000, p7_1_0_1_0_2000, v14_1_0_1_0_2000). link(p8_1_0_1_0_2000, p7_1_0_1_0_2000, v15_1_0_1_0_2000). link(p10_1_0_1_0_2000, p9_1_0_1_0_2000, v17_1_0_1_0_2000). link(t314_1_0_1_0_2000, p10_1_0_1_0_2000, v18_1_0_1_0_2000). link(p9_1_0_1_0_2000, p8_1_0_1_0_2000, v16_1_0_1_0_2000). link(p8_1_0_1_0_2000, j2_1_0_1_0_2000, v19_1_0_1_0_2000). link(p9_1_0_1_0_2000, j2_1_0_1_0_2000, v20_1_0_1_0_2000). full(t311_1_0_1_0_2000). full(t312_1_0_1_0_2000). full(t313_1_0_1_0_2000). full(t314_1_0_1_0_2000). leaking(v1_1_0_1_0_2000).leaking(v2_1_0_1_0_2000).leaking(v3_1_0_1_0_2000).leaking(v4_1_0_1_0_2000).leaking(v5_1_0_1_0_2000). leaking(v6_1_0_1_0_2000).leaking(v7_1_0_1_0_2000).leaking(v8_1_0_1_0_2000).leaking(v9_1_0_1_0_2000).leaking(v10_1_0_1_0_2000). leaking(v11_1_0_1_0_2000).leaking(v12_1_0_1_0_2000).leaking(v13_1_0_1_0_2000).leaking(v14_1_0_1_0_2000).leaking(v15_1_0_1_0_2000). leaking(v16_1_0_1_0_2000).leaking(v17_1_0_1_0_2000).leaking(v18_1_0_1_0_2000).leaking(v19_1_0_1_0_2000).leaking(v20_1_0_1_0_2000). goal(j2_1_0_1_0_2000). tank(t311_0_1_1_0_2000). tank(t312_0_1_1_0_2000). tank(t313_0_1_1_0_2000). tank(t314_0_1_1_0_2000). jet(j1_0_1_1_0_2000). jet(j2_0_1_1_0_2000). junction(p1_0_1_1_0_2000). junction(p2_0_1_1_0_2000). junction(p3_0_1_1_0_2000). junction(p4_0_1_1_0_2000). junction(p5_0_1_1_0_2000). junction(p6_0_1_1_0_2000). junction(p7_0_1_1_0_2000). junction(p8_0_1_1_0_2000). junction(p9_0_1_1_0_2000). junction(p10_0_1_1_0_2000). valve(v1_0_1_1_0_2000). valve(v2_0_1_1_0_2000). valve(v3_0_1_1_0_2000). valve(v4_0_1_1_0_2000). valve(v5_0_1_1_0_2000). valve(v6_0_1_1_0_2000). valve(v7_0_1_1_0_2000). valve(v8_0_1_1_0_2000). valve(v9_0_1_1_0_2000). valve(v10_0_1_1_0_2000). valve(v11_0_1_1_0_2000). valve(v12_0_1_1_0_2000). valve(v13_0_1_1_0_2000). valve(v14_0_1_1_0_2000). valve(v15_0_1_1_0_2000). valve(v16_0_1_1_0_2000). valve(v17_0_1_1_0_2000). valve(v18_0_1_1_0_2000). valve(v19_0_1_1_0_2000). valve(v20_0_1_1_0_2000). link(t311_0_1_1_0_2000, p1_0_1_1_0_2000, v1_0_1_1_0_2000). link(p1_0_1_1_0_2000, p2_0_1_1_0_2000, v2_0_1_1_0_2000). link(p3_0_1_1_0_2000, p4_0_1_1_0_2000, v4_0_1_1_0_2000). link(t313_0_1_1_0_2000, p4_0_1_1_0_2000, v5_0_1_1_0_2000). link(p2_0_1_1_0_2000, p3_0_1_1_0_2000, v3_0_1_1_0_2000). link(p2_0_1_1_0_2000, j1_0_1_1_0_2000, v6_0_1_1_0_2000). link(p3_0_1_1_0_2000, j1_0_1_1_0_2000, v7_0_1_1_0_2000). link(p5_0_1_1_0_2000, p1_0_1_1_0_2000, v8_0_1_1_0_2000). link(p4_0_1_1_0_2000, p6_0_1_1_0_2000, v9_0_1_1_0_2000). link(p5_0_1_1_0_2000, p6_0_1_1_0_2000, v10_0_1_1_0_2000). link(p6_0_1_1_0_2000, p5_0_1_1_0_2000, v11_0_1_1_0_2000). %center swap link(p7_0_1_1_0_2000, p5_0_1_1_0_2000, v12_0_1_1_0_2000). link(p6_0_1_1_0_2000, p10_0_1_1_0_2000, v13_0_1_1_0_2000). link(t312_0_1_1_0_2000, p7_0_1_1_0_2000, v14_0_1_1_0_2000). link(p8_0_1_1_0_2000, p7_0_1_1_0_2000, v15_0_1_1_0_2000). link(p10_0_1_1_0_2000, p9_0_1_1_0_2000, v17_0_1_1_0_2000). link(t314_0_1_1_0_2000, p10_0_1_1_0_2000, v18_0_1_1_0_2000). link(p9_0_1_1_0_2000, p8_0_1_1_0_2000, v16_0_1_1_0_2000). link(p8_0_1_1_0_2000, j2_0_1_1_0_2000, v19_0_1_1_0_2000). link(p9_0_1_1_0_2000, j2_0_1_1_0_2000, v20_0_1_1_0_2000). full(t311_0_1_1_0_2000). full(t312_0_1_1_0_2000). full(t313_0_1_1_0_2000). full(t314_0_1_1_0_2000). leaking(v1_0_1_1_0_2000).leaking(v2_0_1_1_0_2000).leaking(v3_0_1_1_0_2000).leaking(v4_0_1_1_0_2000).leaking(v5_0_1_1_0_2000). leaking(v6_0_1_1_0_2000).leaking(v7_0_1_1_0_2000).leaking(v8_0_1_1_0_2000).leaking(v9_0_1_1_0_2000).leaking(v10_0_1_1_0_2000). leaking(v11_0_1_1_0_2000).leaking(v12_0_1_1_0_2000).leaking(v13_0_1_1_0_2000).leaking(v14_0_1_1_0_2000).leaking(v15_0_1_1_0_2000). leaking(v16_0_1_1_0_2000).leaking(v17_0_1_1_0_2000).leaking(v18_0_1_1_0_2000).leaking(v19_0_1_1_0_2000).leaking(v20_0_1_1_0_2000). goal(j2_0_1_1_0_2000). tank(t311_1_1_1_0_2000). tank(t312_1_1_1_0_2000). tank(t313_1_1_1_0_2000). tank(t314_1_1_1_0_2000). jet(j1_1_1_1_0_2000). jet(j2_1_1_1_0_2000). junction(p1_1_1_1_0_2000). junction(p2_1_1_1_0_2000). junction(p3_1_1_1_0_2000). junction(p4_1_1_1_0_2000). junction(p5_1_1_1_0_2000). junction(p6_1_1_1_0_2000). junction(p7_1_1_1_0_2000). junction(p8_1_1_1_0_2000). junction(p9_1_1_1_0_2000). junction(p10_1_1_1_0_2000). valve(v1_1_1_1_0_2000). valve(v2_1_1_1_0_2000). valve(v3_1_1_1_0_2000). valve(v4_1_1_1_0_2000). valve(v5_1_1_1_0_2000). valve(v6_1_1_1_0_2000). valve(v7_1_1_1_0_2000). valve(v8_1_1_1_0_2000). valve(v9_1_1_1_0_2000). valve(v10_1_1_1_0_2000). valve(v11_1_1_1_0_2000). valve(v12_1_1_1_0_2000). valve(v13_1_1_1_0_2000). valve(v14_1_1_1_0_2000). valve(v15_1_1_1_0_2000). valve(v16_1_1_1_0_2000). valve(v17_1_1_1_0_2000). valve(v18_1_1_1_0_2000). valve(v19_1_1_1_0_2000). valve(v20_1_1_1_0_2000). link(t311_1_1_1_0_2000, p1_1_1_1_0_2000, v1_1_1_1_0_2000). link(p1_1_1_1_0_2000, p2_1_1_1_0_2000, v2_1_1_1_0_2000). link(p3_1_1_1_0_2000, p4_1_1_1_0_2000, v4_1_1_1_0_2000). link(t313_1_1_1_0_2000, p4_1_1_1_0_2000, v5_1_1_1_0_2000). link(p2_1_1_1_0_2000, p3_1_1_1_0_2000, v3_1_1_1_0_2000). link(p2_1_1_1_0_2000, j1_1_1_1_0_2000, v6_1_1_1_0_2000). link(p3_1_1_1_0_2000, j1_1_1_1_0_2000, v7_1_1_1_0_2000). link(p5_1_1_1_0_2000, p1_1_1_1_0_2000, v8_1_1_1_0_2000). link(p4_1_1_1_0_2000, p6_1_1_1_0_2000, v9_1_1_1_0_2000). link(p5_1_1_1_0_2000, p6_1_1_1_0_2000, v10_1_1_1_0_2000). link(p6_1_1_1_0_2000, p5_1_1_1_0_2000, v11_1_1_1_0_2000). %center swap link(p7_1_1_1_0_2000, p5_1_1_1_0_2000, v12_1_1_1_0_2000). link(p6_1_1_1_0_2000, p10_1_1_1_0_2000, v13_1_1_1_0_2000). link(t312_1_1_1_0_2000, p7_1_1_1_0_2000, v14_1_1_1_0_2000). link(p8_1_1_1_0_2000, p7_1_1_1_0_2000, v15_1_1_1_0_2000). link(p10_1_1_1_0_2000, p9_1_1_1_0_2000, v17_1_1_1_0_2000). link(t314_1_1_1_0_2000, p10_1_1_1_0_2000, v18_1_1_1_0_2000). link(p9_1_1_1_0_2000, p8_1_1_1_0_2000, v16_1_1_1_0_2000). link(p8_1_1_1_0_2000, j2_1_1_1_0_2000, v19_1_1_1_0_2000). link(p9_1_1_1_0_2000, j2_1_1_1_0_2000, v20_1_1_1_0_2000). full(t311_1_1_1_0_2000). full(t312_1_1_1_0_2000). full(t313_1_1_1_0_2000). full(t314_1_1_1_0_2000). leaking(v1_1_1_1_0_2000).leaking(v2_1_1_1_0_2000).leaking(v3_1_1_1_0_2000).leaking(v4_1_1_1_0_2000).leaking(v5_1_1_1_0_2000). leaking(v6_1_1_1_0_2000).leaking(v7_1_1_1_0_2000).leaking(v8_1_1_1_0_2000).leaking(v9_1_1_1_0_2000).leaking(v10_1_1_1_0_2000). leaking(v11_1_1_1_0_2000).leaking(v12_1_1_1_0_2000).leaking(v13_1_1_1_0_2000).leaking(v14_1_1_1_0_2000).leaking(v15_1_1_1_0_2000). leaking(v16_1_1_1_0_2000).leaking(v17_1_1_1_0_2000).leaking(v18_1_1_1_0_2000).leaking(v19_1_1_1_0_2000).leaking(v20_1_1_1_0_2000). goal(j2_1_1_1_0_2000). tank(t311_0_0_0_1_2000). tank(t312_0_0_0_1_2000). tank(t313_0_0_0_1_2000). tank(t314_0_0_0_1_2000). jet(j1_0_0_0_1_2000). jet(j2_0_0_0_1_2000). junction(p1_0_0_0_1_2000). junction(p2_0_0_0_1_2000). junction(p3_0_0_0_1_2000). junction(p4_0_0_0_1_2000). junction(p5_0_0_0_1_2000). junction(p6_0_0_0_1_2000). junction(p7_0_0_0_1_2000). junction(p8_0_0_0_1_2000). junction(p9_0_0_0_1_2000). junction(p10_0_0_0_1_2000). valve(v1_0_0_0_1_2000). valve(v2_0_0_0_1_2000). valve(v3_0_0_0_1_2000). valve(v4_0_0_0_1_2000). valve(v5_0_0_0_1_2000). valve(v6_0_0_0_1_2000). valve(v7_0_0_0_1_2000). valve(v8_0_0_0_1_2000). valve(v9_0_0_0_1_2000). valve(v10_0_0_0_1_2000). valve(v11_0_0_0_1_2000). valve(v12_0_0_0_1_2000). valve(v13_0_0_0_1_2000). valve(v14_0_0_0_1_2000). valve(v15_0_0_0_1_2000). valve(v16_0_0_0_1_2000). valve(v17_0_0_0_1_2000). valve(v18_0_0_0_1_2000). valve(v19_0_0_0_1_2000). valve(v20_0_0_0_1_2000). link(t311_0_0_0_1_2000, p1_0_0_0_1_2000, v1_0_0_0_1_2000). link(p1_0_0_0_1_2000, p2_0_0_0_1_2000, v2_0_0_0_1_2000). link(p3_0_0_0_1_2000, p4_0_0_0_1_2000, v4_0_0_0_1_2000). link(t313_0_0_0_1_2000, p4_0_0_0_1_2000, v5_0_0_0_1_2000). link(p2_0_0_0_1_2000, p3_0_0_0_1_2000, v3_0_0_0_1_2000). link(p2_0_0_0_1_2000, j1_0_0_0_1_2000, v6_0_0_0_1_2000). link(p3_0_0_0_1_2000, j1_0_0_0_1_2000, v7_0_0_0_1_2000). link(p5_0_0_0_1_2000, p1_0_0_0_1_2000, v8_0_0_0_1_2000). link(p4_0_0_0_1_2000, p6_0_0_0_1_2000, v9_0_0_0_1_2000). link(p5_0_0_0_1_2000, p6_0_0_0_1_2000, v10_0_0_0_1_2000). link(p6_0_0_0_1_2000, p5_0_0_0_1_2000, v11_0_0_0_1_2000). %center swap link(p7_0_0_0_1_2000, p5_0_0_0_1_2000, v12_0_0_0_1_2000). link(p6_0_0_0_1_2000, p10_0_0_0_1_2000, v13_0_0_0_1_2000). link(t312_0_0_0_1_2000, p7_0_0_0_1_2000, v14_0_0_0_1_2000). link(p8_0_0_0_1_2000, p7_0_0_0_1_2000, v15_0_0_0_1_2000). link(p10_0_0_0_1_2000, p9_0_0_0_1_2000, v17_0_0_0_1_2000). link(t314_0_0_0_1_2000, p10_0_0_0_1_2000, v18_0_0_0_1_2000). link(p9_0_0_0_1_2000, p8_0_0_0_1_2000, v16_0_0_0_1_2000). link(p8_0_0_0_1_2000, j2_0_0_0_1_2000, v19_0_0_0_1_2000). link(p9_0_0_0_1_2000, j2_0_0_0_1_2000, v20_0_0_0_1_2000). full(t311_0_0_0_1_2000). full(t312_0_0_0_1_2000). full(t313_0_0_0_1_2000). full(t314_0_0_0_1_2000). leaking(v1_0_0_0_1_2000).leaking(v2_0_0_0_1_2000).leaking(v3_0_0_0_1_2000).leaking(v4_0_0_0_1_2000).leaking(v5_0_0_0_1_2000). leaking(v6_0_0_0_1_2000).leaking(v7_0_0_0_1_2000).leaking(v8_0_0_0_1_2000).leaking(v9_0_0_0_1_2000).leaking(v10_0_0_0_1_2000). leaking(v11_0_0_0_1_2000).leaking(v12_0_0_0_1_2000).leaking(v13_0_0_0_1_2000).leaking(v14_0_0_0_1_2000).leaking(v15_0_0_0_1_2000). leaking(v16_0_0_0_1_2000).leaking(v17_0_0_0_1_2000).leaking(v18_0_0_0_1_2000).leaking(v19_0_0_0_1_2000).leaking(v20_0_0_0_1_2000). goal(j2_0_0_0_1_2000). tank(t311_1_0_0_1_2000). tank(t312_1_0_0_1_2000). tank(t313_1_0_0_1_2000). tank(t314_1_0_0_1_2000). jet(j1_1_0_0_1_2000). jet(j2_1_0_0_1_2000). junction(p1_1_0_0_1_2000). junction(p2_1_0_0_1_2000). junction(p3_1_0_0_1_2000). junction(p4_1_0_0_1_2000). junction(p5_1_0_0_1_2000). junction(p6_1_0_0_1_2000). junction(p7_1_0_0_1_2000). junction(p8_1_0_0_1_2000). junction(p9_1_0_0_1_2000). junction(p10_1_0_0_1_2000). valve(v1_1_0_0_1_2000). valve(v2_1_0_0_1_2000). valve(v3_1_0_0_1_2000). valve(v4_1_0_0_1_2000). valve(v5_1_0_0_1_2000). valve(v6_1_0_0_1_2000). valve(v7_1_0_0_1_2000). valve(v8_1_0_0_1_2000). valve(v9_1_0_0_1_2000). valve(v10_1_0_0_1_2000). valve(v11_1_0_0_1_2000). valve(v12_1_0_0_1_2000). valve(v13_1_0_0_1_2000). valve(v14_1_0_0_1_2000). valve(v15_1_0_0_1_2000). valve(v16_1_0_0_1_2000). valve(v17_1_0_0_1_2000). valve(v18_1_0_0_1_2000). valve(v19_1_0_0_1_2000). valve(v20_1_0_0_1_2000). link(t311_1_0_0_1_2000, p1_1_0_0_1_2000, v1_1_0_0_1_2000). link(p1_1_0_0_1_2000, p2_1_0_0_1_2000, v2_1_0_0_1_2000). link(p3_1_0_0_1_2000, p4_1_0_0_1_2000, v4_1_0_0_1_2000). link(t313_1_0_0_1_2000, p4_1_0_0_1_2000, v5_1_0_0_1_2000). link(p2_1_0_0_1_2000, p3_1_0_0_1_2000, v3_1_0_0_1_2000). link(p2_1_0_0_1_2000, j1_1_0_0_1_2000, v6_1_0_0_1_2000). link(p3_1_0_0_1_2000, j1_1_0_0_1_2000, v7_1_0_0_1_2000). link(p5_1_0_0_1_2000, p1_1_0_0_1_2000, v8_1_0_0_1_2000). link(p4_1_0_0_1_2000, p6_1_0_0_1_2000, v9_1_0_0_1_2000). link(p5_1_0_0_1_2000, p6_1_0_0_1_2000, v10_1_0_0_1_2000). link(p6_1_0_0_1_2000, p5_1_0_0_1_2000, v11_1_0_0_1_2000). %center swap link(p7_1_0_0_1_2000, p5_1_0_0_1_2000, v12_1_0_0_1_2000). link(p6_1_0_0_1_2000, p10_1_0_0_1_2000, v13_1_0_0_1_2000). link(t312_1_0_0_1_2000, p7_1_0_0_1_2000, v14_1_0_0_1_2000). link(p8_1_0_0_1_2000, p7_1_0_0_1_2000, v15_1_0_0_1_2000). link(p10_1_0_0_1_2000, p9_1_0_0_1_2000, v17_1_0_0_1_2000). link(t314_1_0_0_1_2000, p10_1_0_0_1_2000, v18_1_0_0_1_2000). link(p9_1_0_0_1_2000, p8_1_0_0_1_2000, v16_1_0_0_1_2000). link(p8_1_0_0_1_2000, j2_1_0_0_1_2000, v19_1_0_0_1_2000). link(p9_1_0_0_1_2000, j2_1_0_0_1_2000, v20_1_0_0_1_2000). full(t311_1_0_0_1_2000). full(t312_1_0_0_1_2000). full(t313_1_0_0_1_2000). full(t314_1_0_0_1_2000). leaking(v1_1_0_0_1_2000).leaking(v2_1_0_0_1_2000).leaking(v3_1_0_0_1_2000).leaking(v4_1_0_0_1_2000).leaking(v5_1_0_0_1_2000). leaking(v6_1_0_0_1_2000).leaking(v7_1_0_0_1_2000).leaking(v8_1_0_0_1_2000).leaking(v9_1_0_0_1_2000).leaking(v10_1_0_0_1_2000). leaking(v11_1_0_0_1_2000).leaking(v12_1_0_0_1_2000).leaking(v13_1_0_0_1_2000).leaking(v14_1_0_0_1_2000).leaking(v15_1_0_0_1_2000). leaking(v16_1_0_0_1_2000).leaking(v17_1_0_0_1_2000).leaking(v18_1_0_0_1_2000).leaking(v19_1_0_0_1_2000).leaking(v20_1_0_0_1_2000). goal(j2_1_0_0_1_2000). tank(t311_0_1_0_1_2000). tank(t312_0_1_0_1_2000). tank(t313_0_1_0_1_2000). tank(t314_0_1_0_1_2000). jet(j1_0_1_0_1_2000). jet(j2_0_1_0_1_2000). junction(p1_0_1_0_1_2000). junction(p2_0_1_0_1_2000). junction(p3_0_1_0_1_2000). junction(p4_0_1_0_1_2000). junction(p5_0_1_0_1_2000). junction(p6_0_1_0_1_2000). junction(p7_0_1_0_1_2000). junction(p8_0_1_0_1_2000). junction(p9_0_1_0_1_2000). junction(p10_0_1_0_1_2000). valve(v1_0_1_0_1_2000). valve(v2_0_1_0_1_2000). valve(v3_0_1_0_1_2000). valve(v4_0_1_0_1_2000). valve(v5_0_1_0_1_2000). valve(v6_0_1_0_1_2000). valve(v7_0_1_0_1_2000). valve(v8_0_1_0_1_2000). valve(v9_0_1_0_1_2000). valve(v10_0_1_0_1_2000). valve(v11_0_1_0_1_2000). valve(v12_0_1_0_1_2000). valve(v13_0_1_0_1_2000). valve(v14_0_1_0_1_2000). valve(v15_0_1_0_1_2000). valve(v16_0_1_0_1_2000). valve(v17_0_1_0_1_2000). valve(v18_0_1_0_1_2000). valve(v19_0_1_0_1_2000). valve(v20_0_1_0_1_2000). link(t311_0_1_0_1_2000, p1_0_1_0_1_2000, v1_0_1_0_1_2000). link(p1_0_1_0_1_2000, p2_0_1_0_1_2000, v2_0_1_0_1_2000). link(p3_0_1_0_1_2000, p4_0_1_0_1_2000, v4_0_1_0_1_2000). link(t313_0_1_0_1_2000, p4_0_1_0_1_2000, v5_0_1_0_1_2000). link(p2_0_1_0_1_2000, p3_0_1_0_1_2000, v3_0_1_0_1_2000). link(p2_0_1_0_1_2000, j1_0_1_0_1_2000, v6_0_1_0_1_2000). link(p3_0_1_0_1_2000, j1_0_1_0_1_2000, v7_0_1_0_1_2000). link(p5_0_1_0_1_2000, p1_0_1_0_1_2000, v8_0_1_0_1_2000). link(p4_0_1_0_1_2000, p6_0_1_0_1_2000, v9_0_1_0_1_2000). link(p5_0_1_0_1_2000, p6_0_1_0_1_2000, v10_0_1_0_1_2000). link(p6_0_1_0_1_2000, p5_0_1_0_1_2000, v11_0_1_0_1_2000). %center swap link(p7_0_1_0_1_2000, p5_0_1_0_1_2000, v12_0_1_0_1_2000). link(p6_0_1_0_1_2000, p10_0_1_0_1_2000, v13_0_1_0_1_2000). link(t312_0_1_0_1_2000, p7_0_1_0_1_2000, v14_0_1_0_1_2000). link(p8_0_1_0_1_2000, p7_0_1_0_1_2000, v15_0_1_0_1_2000). link(p10_0_1_0_1_2000, p9_0_1_0_1_2000, v17_0_1_0_1_2000). link(t314_0_1_0_1_2000, p10_0_1_0_1_2000, v18_0_1_0_1_2000). link(p9_0_1_0_1_2000, p8_0_1_0_1_2000, v16_0_1_0_1_2000). link(p8_0_1_0_1_2000, j2_0_1_0_1_2000, v19_0_1_0_1_2000). link(p9_0_1_0_1_2000, j2_0_1_0_1_2000, v20_0_1_0_1_2000). full(t311_0_1_0_1_2000). full(t312_0_1_0_1_2000). full(t313_0_1_0_1_2000). full(t314_0_1_0_1_2000). leaking(v1_0_1_0_1_2000).leaking(v2_0_1_0_1_2000).leaking(v3_0_1_0_1_2000).leaking(v4_0_1_0_1_2000).leaking(v5_0_1_0_1_2000). leaking(v6_0_1_0_1_2000).leaking(v7_0_1_0_1_2000).leaking(v8_0_1_0_1_2000).leaking(v9_0_1_0_1_2000).leaking(v10_0_1_0_1_2000). leaking(v11_0_1_0_1_2000).leaking(v12_0_1_0_1_2000).leaking(v13_0_1_0_1_2000).leaking(v14_0_1_0_1_2000).leaking(v15_0_1_0_1_2000). leaking(v16_0_1_0_1_2000).leaking(v17_0_1_0_1_2000).leaking(v18_0_1_0_1_2000).leaking(v19_0_1_0_1_2000).leaking(v20_0_1_0_1_2000). goal(j2_0_1_0_1_2000). tank(t311_1_1_0_1_2000). tank(t312_1_1_0_1_2000). tank(t313_1_1_0_1_2000). tank(t314_1_1_0_1_2000). jet(j1_1_1_0_1_2000). jet(j2_1_1_0_1_2000). junction(p1_1_1_0_1_2000). junction(p2_1_1_0_1_2000). junction(p3_1_1_0_1_2000). junction(p4_1_1_0_1_2000). junction(p5_1_1_0_1_2000). junction(p6_1_1_0_1_2000). junction(p7_1_1_0_1_2000). junction(p8_1_1_0_1_2000). junction(p9_1_1_0_1_2000). junction(p10_1_1_0_1_2000). valve(v1_1_1_0_1_2000). valve(v2_1_1_0_1_2000). valve(v3_1_1_0_1_2000). valve(v4_1_1_0_1_2000). valve(v5_1_1_0_1_2000). valve(v6_1_1_0_1_2000). valve(v7_1_1_0_1_2000). valve(v8_1_1_0_1_2000). valve(v9_1_1_0_1_2000). valve(v10_1_1_0_1_2000). valve(v11_1_1_0_1_2000). valve(v12_1_1_0_1_2000). valve(v13_1_1_0_1_2000). valve(v14_1_1_0_1_2000). valve(v15_1_1_0_1_2000). valve(v16_1_1_0_1_2000). valve(v17_1_1_0_1_2000). valve(v18_1_1_0_1_2000). valve(v19_1_1_0_1_2000). valve(v20_1_1_0_1_2000). link(t311_1_1_0_1_2000, p1_1_1_0_1_2000, v1_1_1_0_1_2000). link(p1_1_1_0_1_2000, p2_1_1_0_1_2000, v2_1_1_0_1_2000). link(p3_1_1_0_1_2000, p4_1_1_0_1_2000, v4_1_1_0_1_2000). link(t313_1_1_0_1_2000, p4_1_1_0_1_2000, v5_1_1_0_1_2000). link(p2_1_1_0_1_2000, p3_1_1_0_1_2000, v3_1_1_0_1_2000). link(p2_1_1_0_1_2000, j1_1_1_0_1_2000, v6_1_1_0_1_2000). link(p3_1_1_0_1_2000, j1_1_1_0_1_2000, v7_1_1_0_1_2000). link(p5_1_1_0_1_2000, p1_1_1_0_1_2000, v8_1_1_0_1_2000). link(p4_1_1_0_1_2000, p6_1_1_0_1_2000, v9_1_1_0_1_2000). link(p5_1_1_0_1_2000, p6_1_1_0_1_2000, v10_1_1_0_1_2000). link(p6_1_1_0_1_2000, p5_1_1_0_1_2000, v11_1_1_0_1_2000). %center swap link(p7_1_1_0_1_2000, p5_1_1_0_1_2000, v12_1_1_0_1_2000). link(p6_1_1_0_1_2000, p10_1_1_0_1_2000, v13_1_1_0_1_2000). link(t312_1_1_0_1_2000, p7_1_1_0_1_2000, v14_1_1_0_1_2000). link(p8_1_1_0_1_2000, p7_1_1_0_1_2000, v15_1_1_0_1_2000). link(p10_1_1_0_1_2000, p9_1_1_0_1_2000, v17_1_1_0_1_2000). link(t314_1_1_0_1_2000, p10_1_1_0_1_2000, v18_1_1_0_1_2000). link(p9_1_1_0_1_2000, p8_1_1_0_1_2000, v16_1_1_0_1_2000). link(p8_1_1_0_1_2000, j2_1_1_0_1_2000, v19_1_1_0_1_2000). link(p9_1_1_0_1_2000, j2_1_1_0_1_2000, v20_1_1_0_1_2000). full(t311_1_1_0_1_2000). full(t312_1_1_0_1_2000). full(t313_1_1_0_1_2000). full(t314_1_1_0_1_2000). leaking(v1_1_1_0_1_2000).leaking(v2_1_1_0_1_2000).leaking(v3_1_1_0_1_2000).leaking(v4_1_1_0_1_2000).leaking(v5_1_1_0_1_2000). leaking(v6_1_1_0_1_2000).leaking(v7_1_1_0_1_2000).leaking(v8_1_1_0_1_2000).leaking(v9_1_1_0_1_2000).leaking(v10_1_1_0_1_2000). leaking(v11_1_1_0_1_2000).leaking(v12_1_1_0_1_2000).leaking(v13_1_1_0_1_2000).leaking(v14_1_1_0_1_2000).leaking(v15_1_1_0_1_2000). leaking(v16_1_1_0_1_2000).leaking(v17_1_1_0_1_2000).leaking(v18_1_1_0_1_2000).leaking(v19_1_1_0_1_2000).leaking(v20_1_1_0_1_2000). goal(j2_1_1_0_1_2000). tank(t311_0_0_1_1_2000). tank(t312_0_0_1_1_2000). tank(t313_0_0_1_1_2000). tank(t314_0_0_1_1_2000). jet(j1_0_0_1_1_2000). jet(j2_0_0_1_1_2000). junction(p1_0_0_1_1_2000). junction(p2_0_0_1_1_2000). junction(p3_0_0_1_1_2000). junction(p4_0_0_1_1_2000). junction(p5_0_0_1_1_2000). junction(p6_0_0_1_1_2000). junction(p7_0_0_1_1_2000). junction(p8_0_0_1_1_2000). junction(p9_0_0_1_1_2000). junction(p10_0_0_1_1_2000). valve(v1_0_0_1_1_2000). valve(v2_0_0_1_1_2000). valve(v3_0_0_1_1_2000). valve(v4_0_0_1_1_2000). valve(v5_0_0_1_1_2000). valve(v6_0_0_1_1_2000). valve(v7_0_0_1_1_2000). valve(v8_0_0_1_1_2000). valve(v9_0_0_1_1_2000). valve(v10_0_0_1_1_2000). valve(v11_0_0_1_1_2000). valve(v12_0_0_1_1_2000). valve(v13_0_0_1_1_2000). valve(v14_0_0_1_1_2000). valve(v15_0_0_1_1_2000). valve(v16_0_0_1_1_2000). valve(v17_0_0_1_1_2000). valve(v18_0_0_1_1_2000). valve(v19_0_0_1_1_2000). valve(v20_0_0_1_1_2000). link(t311_0_0_1_1_2000, p1_0_0_1_1_2000, v1_0_0_1_1_2000). link(p1_0_0_1_1_2000, p2_0_0_1_1_2000, v2_0_0_1_1_2000). link(p3_0_0_1_1_2000, p4_0_0_1_1_2000, v4_0_0_1_1_2000). link(t313_0_0_1_1_2000, p4_0_0_1_1_2000, v5_0_0_1_1_2000). link(p2_0_0_1_1_2000, p3_0_0_1_1_2000, v3_0_0_1_1_2000). link(p2_0_0_1_1_2000, j1_0_0_1_1_2000, v6_0_0_1_1_2000). link(p3_0_0_1_1_2000, j1_0_0_1_1_2000, v7_0_0_1_1_2000). link(p5_0_0_1_1_2000, p1_0_0_1_1_2000, v8_0_0_1_1_2000). link(p4_0_0_1_1_2000, p6_0_0_1_1_2000, v9_0_0_1_1_2000). link(p5_0_0_1_1_2000, p6_0_0_1_1_2000, v10_0_0_1_1_2000). link(p6_0_0_1_1_2000, p5_0_0_1_1_2000, v11_0_0_1_1_2000). %center swap link(p7_0_0_1_1_2000, p5_0_0_1_1_2000, v12_0_0_1_1_2000). link(p6_0_0_1_1_2000, p10_0_0_1_1_2000, v13_0_0_1_1_2000). link(t312_0_0_1_1_2000, p7_0_0_1_1_2000, v14_0_0_1_1_2000). link(p8_0_0_1_1_2000, p7_0_0_1_1_2000, v15_0_0_1_1_2000). link(p10_0_0_1_1_2000, p9_0_0_1_1_2000, v17_0_0_1_1_2000). link(t314_0_0_1_1_2000, p10_0_0_1_1_2000, v18_0_0_1_1_2000). link(p9_0_0_1_1_2000, p8_0_0_1_1_2000, v16_0_0_1_1_2000). link(p8_0_0_1_1_2000, j2_0_0_1_1_2000, v19_0_0_1_1_2000). link(p9_0_0_1_1_2000, j2_0_0_1_1_2000, v20_0_0_1_1_2000). full(t311_0_0_1_1_2000). full(t312_0_0_1_1_2000). full(t313_0_0_1_1_2000). full(t314_0_0_1_1_2000). leaking(v1_0_0_1_1_2000).leaking(v2_0_0_1_1_2000).leaking(v3_0_0_1_1_2000).leaking(v4_0_0_1_1_2000).leaking(v5_0_0_1_1_2000). leaking(v6_0_0_1_1_2000).leaking(v7_0_0_1_1_2000).leaking(v8_0_0_1_1_2000).leaking(v9_0_0_1_1_2000).leaking(v10_0_0_1_1_2000). leaking(v11_0_0_1_1_2000).leaking(v12_0_0_1_1_2000).leaking(v13_0_0_1_1_2000).leaking(v14_0_0_1_1_2000).leaking(v15_0_0_1_1_2000). leaking(v16_0_0_1_1_2000).leaking(v17_0_0_1_1_2000).leaking(v18_0_0_1_1_2000).leaking(v19_0_0_1_1_2000).leaking(v20_0_0_1_1_2000). goal(j2_0_0_1_1_2000). tank(t311_1_0_1_1_2000). tank(t312_1_0_1_1_2000). tank(t313_1_0_1_1_2000). tank(t314_1_0_1_1_2000). jet(j1_1_0_1_1_2000). jet(j2_1_0_1_1_2000). junction(p1_1_0_1_1_2000). junction(p2_1_0_1_1_2000). junction(p3_1_0_1_1_2000). junction(p4_1_0_1_1_2000). junction(p5_1_0_1_1_2000). junction(p6_1_0_1_1_2000). junction(p7_1_0_1_1_2000). junction(p8_1_0_1_1_2000). junction(p9_1_0_1_1_2000). junction(p10_1_0_1_1_2000). valve(v1_1_0_1_1_2000). valve(v2_1_0_1_1_2000). valve(v3_1_0_1_1_2000). valve(v4_1_0_1_1_2000). valve(v5_1_0_1_1_2000). valve(v6_1_0_1_1_2000). valve(v7_1_0_1_1_2000). valve(v8_1_0_1_1_2000). valve(v9_1_0_1_1_2000). valve(v10_1_0_1_1_2000). valve(v11_1_0_1_1_2000). valve(v12_1_0_1_1_2000). valve(v13_1_0_1_1_2000). valve(v14_1_0_1_1_2000). valve(v15_1_0_1_1_2000). valve(v16_1_0_1_1_2000). valve(v17_1_0_1_1_2000). valve(v18_1_0_1_1_2000). valve(v19_1_0_1_1_2000). valve(v20_1_0_1_1_2000). link(t311_1_0_1_1_2000, p1_1_0_1_1_2000, v1_1_0_1_1_2000). link(p1_1_0_1_1_2000, p2_1_0_1_1_2000, v2_1_0_1_1_2000). link(p3_1_0_1_1_2000, p4_1_0_1_1_2000, v4_1_0_1_1_2000). link(t313_1_0_1_1_2000, p4_1_0_1_1_2000, v5_1_0_1_1_2000). link(p2_1_0_1_1_2000, p3_1_0_1_1_2000, v3_1_0_1_1_2000). link(p2_1_0_1_1_2000, j1_1_0_1_1_2000, v6_1_0_1_1_2000). link(p3_1_0_1_1_2000, j1_1_0_1_1_2000, v7_1_0_1_1_2000). link(p5_1_0_1_1_2000, p1_1_0_1_1_2000, v8_1_0_1_1_2000). link(p4_1_0_1_1_2000, p6_1_0_1_1_2000, v9_1_0_1_1_2000). link(p5_1_0_1_1_2000, p6_1_0_1_1_2000, v10_1_0_1_1_2000). link(p6_1_0_1_1_2000, p5_1_0_1_1_2000, v11_1_0_1_1_2000). %center swap link(p7_1_0_1_1_2000, p5_1_0_1_1_2000, v12_1_0_1_1_2000). link(p6_1_0_1_1_2000, p10_1_0_1_1_2000, v13_1_0_1_1_2000). link(t312_1_0_1_1_2000, p7_1_0_1_1_2000, v14_1_0_1_1_2000). link(p8_1_0_1_1_2000, p7_1_0_1_1_2000, v15_1_0_1_1_2000). link(p10_1_0_1_1_2000, p9_1_0_1_1_2000, v17_1_0_1_1_2000). link(t314_1_0_1_1_2000, p10_1_0_1_1_2000, v18_1_0_1_1_2000). link(p9_1_0_1_1_2000, p8_1_0_1_1_2000, v16_1_0_1_1_2000). link(p8_1_0_1_1_2000, j2_1_0_1_1_2000, v19_1_0_1_1_2000). link(p9_1_0_1_1_2000, j2_1_0_1_1_2000, v20_1_0_1_1_2000). full(t311_1_0_1_1_2000). full(t312_1_0_1_1_2000). full(t313_1_0_1_1_2000). full(t314_1_0_1_1_2000). leaking(v1_1_0_1_1_2000).leaking(v2_1_0_1_1_2000).leaking(v3_1_0_1_1_2000).leaking(v4_1_0_1_1_2000).leaking(v5_1_0_1_1_2000). leaking(v6_1_0_1_1_2000).leaking(v7_1_0_1_1_2000).leaking(v8_1_0_1_1_2000).leaking(v9_1_0_1_1_2000).leaking(v10_1_0_1_1_2000). leaking(v11_1_0_1_1_2000).leaking(v12_1_0_1_1_2000).leaking(v13_1_0_1_1_2000).leaking(v14_1_0_1_1_2000).leaking(v15_1_0_1_1_2000). leaking(v16_1_0_1_1_2000).leaking(v17_1_0_1_1_2000).leaking(v18_1_0_1_1_2000).leaking(v19_1_0_1_1_2000).leaking(v20_1_0_1_1_2000). goal(j2_1_0_1_1_2000). tank(t311_0_1_1_1_2000). tank(t312_0_1_1_1_2000). tank(t313_0_1_1_1_2000). tank(t314_0_1_1_1_2000). jet(j1_0_1_1_1_2000). jet(j2_0_1_1_1_2000). junction(p1_0_1_1_1_2000). junction(p2_0_1_1_1_2000). junction(p3_0_1_1_1_2000). junction(p4_0_1_1_1_2000). junction(p5_0_1_1_1_2000). junction(p6_0_1_1_1_2000). junction(p7_0_1_1_1_2000). junction(p8_0_1_1_1_2000). junction(p9_0_1_1_1_2000). junction(p10_0_1_1_1_2000). valve(v1_0_1_1_1_2000). valve(v2_0_1_1_1_2000). valve(v3_0_1_1_1_2000). valve(v4_0_1_1_1_2000). valve(v5_0_1_1_1_2000). valve(v6_0_1_1_1_2000). valve(v7_0_1_1_1_2000). valve(v8_0_1_1_1_2000). valve(v9_0_1_1_1_2000). valve(v10_0_1_1_1_2000). valve(v11_0_1_1_1_2000). valve(v12_0_1_1_1_2000). valve(v13_0_1_1_1_2000). valve(v14_0_1_1_1_2000). valve(v15_0_1_1_1_2000). valve(v16_0_1_1_1_2000). valve(v17_0_1_1_1_2000). valve(v18_0_1_1_1_2000). valve(v19_0_1_1_1_2000). valve(v20_0_1_1_1_2000). link(t311_0_1_1_1_2000, p1_0_1_1_1_2000, v1_0_1_1_1_2000). link(p1_0_1_1_1_2000, p2_0_1_1_1_2000, v2_0_1_1_1_2000). link(p3_0_1_1_1_2000, p4_0_1_1_1_2000, v4_0_1_1_1_2000). link(t313_0_1_1_1_2000, p4_0_1_1_1_2000, v5_0_1_1_1_2000). link(p2_0_1_1_1_2000, p3_0_1_1_1_2000, v3_0_1_1_1_2000). link(p2_0_1_1_1_2000, j1_0_1_1_1_2000, v6_0_1_1_1_2000). link(p3_0_1_1_1_2000, j1_0_1_1_1_2000, v7_0_1_1_1_2000). link(p5_0_1_1_1_2000, p1_0_1_1_1_2000, v8_0_1_1_1_2000). link(p4_0_1_1_1_2000, p6_0_1_1_1_2000, v9_0_1_1_1_2000). link(p5_0_1_1_1_2000, p6_0_1_1_1_2000, v10_0_1_1_1_2000). link(p6_0_1_1_1_2000, p5_0_1_1_1_2000, v11_0_1_1_1_2000). %center swap link(p7_0_1_1_1_2000, p5_0_1_1_1_2000, v12_0_1_1_1_2000). link(p6_0_1_1_1_2000, p10_0_1_1_1_2000, v13_0_1_1_1_2000). link(t312_0_1_1_1_2000, p7_0_1_1_1_2000, v14_0_1_1_1_2000). link(p8_0_1_1_1_2000, p7_0_1_1_1_2000, v15_0_1_1_1_2000). link(p10_0_1_1_1_2000, p9_0_1_1_1_2000, v17_0_1_1_1_2000). link(t314_0_1_1_1_2000, p10_0_1_1_1_2000, v18_0_1_1_1_2000). link(p9_0_1_1_1_2000, p8_0_1_1_1_2000, v16_0_1_1_1_2000). link(p8_0_1_1_1_2000, j2_0_1_1_1_2000, v19_0_1_1_1_2000). link(p9_0_1_1_1_2000, j2_0_1_1_1_2000, v20_0_1_1_1_2000). full(t311_0_1_1_1_2000). full(t312_0_1_1_1_2000). full(t313_0_1_1_1_2000). full(t314_0_1_1_1_2000). leaking(v1_0_1_1_1_2000).leaking(v2_0_1_1_1_2000).leaking(v3_0_1_1_1_2000).leaking(v4_0_1_1_1_2000).leaking(v5_0_1_1_1_2000). leaking(v6_0_1_1_1_2000).leaking(v7_0_1_1_1_2000).leaking(v8_0_1_1_1_2000).leaking(v9_0_1_1_1_2000).leaking(v10_0_1_1_1_2000). leaking(v11_0_1_1_1_2000).leaking(v12_0_1_1_1_2000).leaking(v13_0_1_1_1_2000).leaking(v14_0_1_1_1_2000).leaking(v15_0_1_1_1_2000). leaking(v16_0_1_1_1_2000).leaking(v17_0_1_1_1_2000).leaking(v18_0_1_1_1_2000).leaking(v19_0_1_1_1_2000).leaking(v20_0_1_1_1_2000). goal(j2_0_1_1_1_2000). tank(t311_1_1_1_1_2000). tank(t312_1_1_1_1_2000). tank(t313_1_1_1_1_2000). tank(t314_1_1_1_1_2000). jet(j1_1_1_1_1_2000). jet(j2_1_1_1_1_2000). junction(p1_1_1_1_1_2000). junction(p2_1_1_1_1_2000). junction(p3_1_1_1_1_2000). junction(p4_1_1_1_1_2000). junction(p5_1_1_1_1_2000). junction(p6_1_1_1_1_2000). junction(p7_1_1_1_1_2000). junction(p8_1_1_1_1_2000). junction(p9_1_1_1_1_2000). junction(p10_1_1_1_1_2000). valve(v1_1_1_1_1_2000). valve(v2_1_1_1_1_2000). valve(v3_1_1_1_1_2000). valve(v4_1_1_1_1_2000). valve(v5_1_1_1_1_2000). valve(v6_1_1_1_1_2000). valve(v7_1_1_1_1_2000). valve(v8_1_1_1_1_2000). valve(v9_1_1_1_1_2000). valve(v10_1_1_1_1_2000). valve(v11_1_1_1_1_2000). valve(v12_1_1_1_1_2000). valve(v13_1_1_1_1_2000). valve(v14_1_1_1_1_2000). valve(v15_1_1_1_1_2000). valve(v16_1_1_1_1_2000). valve(v17_1_1_1_1_2000). valve(v18_1_1_1_1_2000). valve(v19_1_1_1_1_2000). valve(v20_1_1_1_1_2000). link(t311_1_1_1_1_2000, p1_1_1_1_1_2000, v1_1_1_1_1_2000). link(p1_1_1_1_1_2000, p2_1_1_1_1_2000, v2_1_1_1_1_2000). link(p3_1_1_1_1_2000, p4_1_1_1_1_2000, v4_1_1_1_1_2000). link(t313_1_1_1_1_2000, p4_1_1_1_1_2000, v5_1_1_1_1_2000). link(p2_1_1_1_1_2000, p3_1_1_1_1_2000, v3_1_1_1_1_2000). link(p2_1_1_1_1_2000, j1_1_1_1_1_2000, v6_1_1_1_1_2000). link(p3_1_1_1_1_2000, j1_1_1_1_1_2000, v7_1_1_1_1_2000). link(p5_1_1_1_1_2000, p1_1_1_1_1_2000, v8_1_1_1_1_2000). link(p4_1_1_1_1_2000, p6_1_1_1_1_2000, v9_1_1_1_1_2000). link(p5_1_1_1_1_2000, p6_1_1_1_1_2000, v10_1_1_1_1_2000). link(p6_1_1_1_1_2000, p5_1_1_1_1_2000, v11_1_1_1_1_2000). %center swap link(p7_1_1_1_1_2000, p5_1_1_1_1_2000, v12_1_1_1_1_2000). link(p6_1_1_1_1_2000, p10_1_1_1_1_2000, v13_1_1_1_1_2000). link(t312_1_1_1_1_2000, p7_1_1_1_1_2000, v14_1_1_1_1_2000). link(p8_1_1_1_1_2000, p7_1_1_1_1_2000, v15_1_1_1_1_2000). link(p10_1_1_1_1_2000, p9_1_1_1_1_2000, v17_1_1_1_1_2000). link(t314_1_1_1_1_2000, p10_1_1_1_1_2000, v18_1_1_1_1_2000). link(p9_1_1_1_1_2000, p8_1_1_1_1_2000, v16_1_1_1_1_2000). link(p8_1_1_1_1_2000, j2_1_1_1_1_2000, v19_1_1_1_1_2000). link(p9_1_1_1_1_2000, j2_1_1_1_1_2000, v20_1_1_1_1_2000). full(t311_1_1_1_1_2000). full(t312_1_1_1_1_2000). full(t313_1_1_1_1_2000). full(t314_1_1_1_1_2000). leaking(v1_1_1_1_1_2000).leaking(v2_1_1_1_1_2000).leaking(v3_1_1_1_1_2000).leaking(v4_1_1_1_1_2000).leaking(v5_1_1_1_1_2000). leaking(v6_1_1_1_1_2000).leaking(v7_1_1_1_1_2000).leaking(v8_1_1_1_1_2000).leaking(v9_1_1_1_1_2000).leaking(v10_1_1_1_1_2000). leaking(v11_1_1_1_1_2000).leaking(v12_1_1_1_1_2000).leaking(v13_1_1_1_1_2000).leaking(v14_1_1_1_1_2000).leaking(v15_1_1_1_1_2000). leaking(v16_1_1_1_1_2000).leaking(v17_1_1_1_1_2000).leaking(v18_1_1_1_1_2000).leaking(v19_1_1_1_1_2000).leaking(v20_1_1_1_1_2000). goal(j2_1_1_1_1_2000). tank(t311_0_0_0_18_2001). tank(t312_0_0_0_18_2001). tank(t313_0_0_0_18_2001). tank(t314_0_0_0_18_2001). jet(j1_0_0_0_18_2001). jet(j2_0_0_0_18_2001). junction(p1_0_0_0_18_2001). junction(p2_0_0_0_18_2001). junction(p3_0_0_0_18_2001). junction(p4_0_0_0_18_2001). junction(p5_0_0_0_18_2001). junction(p6_0_0_0_18_2001). junction(p7_0_0_0_18_2001). junction(p8_0_0_0_18_2001). junction(p9_0_0_0_18_2001). junction(p10_0_0_0_18_2001). valve(v1_0_0_0_18_2001). valve(v2_0_0_0_18_2001). valve(v3_0_0_0_18_2001). valve(v4_0_0_0_18_2001). valve(v5_0_0_0_18_2001). valve(v6_0_0_0_18_2001). valve(v7_0_0_0_18_2001). valve(v8_0_0_0_18_2001). valve(v9_0_0_0_18_2001). valve(v10_0_0_0_18_2001). valve(v11_0_0_0_18_2001). valve(v12_0_0_0_18_2001). valve(v13_0_0_0_18_2001). valve(v14_0_0_0_18_2001). valve(v15_0_0_0_18_2001). valve(v16_0_0_0_18_2001). valve(v17_0_0_0_18_2001). valve(v18_0_0_0_18_2001). valve(v19_0_0_0_18_2001). valve(v20_0_0_0_18_2001). link(t311_0_0_0_18_2001, p1_0_0_0_18_2001, v1_0_0_0_18_2001). link(p1_0_0_0_18_2001, p2_0_0_0_18_2001, v2_0_0_0_18_2001). link(p3_0_0_0_18_2001, p4_0_0_0_18_2001, v4_0_0_0_18_2001). link(t313_0_0_0_18_2001, p4_0_0_0_18_2001, v5_0_0_0_18_2001). link(p2_0_0_0_18_2001, p3_0_0_0_18_2001, v3_0_0_0_18_2001). link(p2_0_0_0_18_2001, j1_0_0_0_18_2001, v6_0_0_0_18_2001). link(p3_0_0_0_18_2001, j1_0_0_0_18_2001, v7_0_0_0_18_2001). link(p5_0_0_0_18_2001, p1_0_0_0_18_2001, v8_0_0_0_18_2001). link(p4_0_0_0_18_2001, p6_0_0_0_18_2001, v9_0_0_0_18_2001). link(p5_0_0_0_18_2001, p6_0_0_0_18_2001, v10_0_0_0_18_2001). link(p6_0_0_0_18_2001, p5_0_0_0_18_2001, v11_0_0_0_18_2001). %center swap link(p7_0_0_0_18_2001, p5_0_0_0_18_2001, v12_0_0_0_18_2001). link(p6_0_0_0_18_2001, p10_0_0_0_18_2001, v13_0_0_0_18_2001). link(t312_0_0_0_18_2001, p7_0_0_0_18_2001, v14_0_0_0_18_2001). link(p8_0_0_0_18_2001, p7_0_0_0_18_2001, v15_0_0_0_18_2001). link(p10_0_0_0_18_2001, p9_0_0_0_18_2001, v17_0_0_0_18_2001). link(t314_0_0_0_18_2001, p10_0_0_0_18_2001, v18_0_0_0_18_2001). link(p9_0_0_0_18_2001, p8_0_0_0_18_2001, v16_0_0_0_18_2001). link(p8_0_0_0_18_2001, j2_0_0_0_18_2001, v19_0_0_0_18_2001). link(p9_0_0_0_18_2001, j2_0_0_0_18_2001, v20_0_0_0_18_2001). full(t311_0_0_0_18_2001). full(t312_0_0_0_18_2001). full(t313_0_0_0_18_2001). full(t314_0_0_0_18_2001). leaking(v1_0_0_0_18_2001).leaking(v2_0_0_0_18_2001).leaking(v3_0_0_0_18_2001).leaking(v4_0_0_0_18_2001).leaking(v5_0_0_0_18_2001). leaking(v6_0_0_0_18_2001).leaking(v7_0_0_0_18_2001).leaking(v8_0_0_0_18_2001).leaking(v9_0_0_0_18_2001).leaking(v10_0_0_0_18_2001). leaking(v11_0_0_0_18_2001).leaking(v12_0_0_0_18_2001).leaking(v13_0_0_0_18_2001).leaking(v14_0_0_0_18_2001).leaking(v15_0_0_0_18_2001). leaking(v16_0_0_0_18_2001).leaking(v17_0_0_0_18_2001).leaking(v18_0_0_0_18_2001).leaking(v19_0_0_0_18_2001).leaking(v20_0_0_0_18_2001). goal(j2_0_0_0_18_2001). tank(t311_1_0_0_18_2001). tank(t312_1_0_0_18_2001). tank(t313_1_0_0_18_2001). tank(t314_1_0_0_18_2001). jet(j1_1_0_0_18_2001). jet(j2_1_0_0_18_2001). junction(p1_1_0_0_18_2001). junction(p2_1_0_0_18_2001). junction(p3_1_0_0_18_2001). junction(p4_1_0_0_18_2001). junction(p5_1_0_0_18_2001). junction(p6_1_0_0_18_2001). junction(p7_1_0_0_18_2001). junction(p8_1_0_0_18_2001). junction(p9_1_0_0_18_2001). junction(p10_1_0_0_18_2001). valve(v1_1_0_0_18_2001). valve(v2_1_0_0_18_2001). valve(v3_1_0_0_18_2001). valve(v4_1_0_0_18_2001). valve(v5_1_0_0_18_2001). valve(v6_1_0_0_18_2001). valve(v7_1_0_0_18_2001). valve(v8_1_0_0_18_2001). valve(v9_1_0_0_18_2001). valve(v10_1_0_0_18_2001). valve(v11_1_0_0_18_2001). valve(v12_1_0_0_18_2001). valve(v13_1_0_0_18_2001). valve(v14_1_0_0_18_2001). valve(v15_1_0_0_18_2001). valve(v16_1_0_0_18_2001). valve(v17_1_0_0_18_2001). valve(v18_1_0_0_18_2001). valve(v19_1_0_0_18_2001). valve(v20_1_0_0_18_2001). link(t311_1_0_0_18_2001, p1_1_0_0_18_2001, v1_1_0_0_18_2001). link(p1_1_0_0_18_2001, p2_1_0_0_18_2001, v2_1_0_0_18_2001). link(p3_1_0_0_18_2001, p4_1_0_0_18_2001, v4_1_0_0_18_2001). link(t313_1_0_0_18_2001, p4_1_0_0_18_2001, v5_1_0_0_18_2001). link(p2_1_0_0_18_2001, p3_1_0_0_18_2001, v3_1_0_0_18_2001). link(p2_1_0_0_18_2001, j1_1_0_0_18_2001, v6_1_0_0_18_2001). link(p3_1_0_0_18_2001, j1_1_0_0_18_2001, v7_1_0_0_18_2001). link(p5_1_0_0_18_2001, p1_1_0_0_18_2001, v8_1_0_0_18_2001). link(p4_1_0_0_18_2001, p6_1_0_0_18_2001, v9_1_0_0_18_2001). link(p5_1_0_0_18_2001, p6_1_0_0_18_2001, v10_1_0_0_18_2001). link(p6_1_0_0_18_2001, p5_1_0_0_18_2001, v11_1_0_0_18_2001). %center swap link(p7_1_0_0_18_2001, p5_1_0_0_18_2001, v12_1_0_0_18_2001). link(p6_1_0_0_18_2001, p10_1_0_0_18_2001, v13_1_0_0_18_2001). link(t312_1_0_0_18_2001, p7_1_0_0_18_2001, v14_1_0_0_18_2001). link(p8_1_0_0_18_2001, p7_1_0_0_18_2001, v15_1_0_0_18_2001). link(p10_1_0_0_18_2001, p9_1_0_0_18_2001, v17_1_0_0_18_2001). link(t314_1_0_0_18_2001, p10_1_0_0_18_2001, v18_1_0_0_18_2001). link(p9_1_0_0_18_2001, p8_1_0_0_18_2001, v16_1_0_0_18_2001). link(p8_1_0_0_18_2001, j2_1_0_0_18_2001, v19_1_0_0_18_2001). link(p9_1_0_0_18_2001, j2_1_0_0_18_2001, v20_1_0_0_18_2001). full(t311_1_0_0_18_2001). full(t312_1_0_0_18_2001). full(t313_1_0_0_18_2001). full(t314_1_0_0_18_2001). leaking(v1_1_0_0_18_2001).leaking(v2_1_0_0_18_2001).leaking(v3_1_0_0_18_2001).leaking(v4_1_0_0_18_2001).leaking(v5_1_0_0_18_2001). leaking(v6_1_0_0_18_2001).leaking(v7_1_0_0_18_2001).leaking(v8_1_0_0_18_2001).leaking(v9_1_0_0_18_2001).leaking(v10_1_0_0_18_2001). leaking(v11_1_0_0_18_2001).leaking(v12_1_0_0_18_2001).leaking(v13_1_0_0_18_2001).leaking(v14_1_0_0_18_2001).leaking(v15_1_0_0_18_2001). leaking(v16_1_0_0_18_2001).leaking(v17_1_0_0_18_2001).leaking(v18_1_0_0_18_2001).leaking(v19_1_0_0_18_2001).leaking(v20_1_0_0_18_2001). goal(j2_1_0_0_18_2001). tank(t311_0_1_0_18_2001). tank(t312_0_1_0_18_2001). tank(t313_0_1_0_18_2001). tank(t314_0_1_0_18_2001). jet(j1_0_1_0_18_2001). jet(j2_0_1_0_18_2001). junction(p1_0_1_0_18_2001). junction(p2_0_1_0_18_2001). junction(p3_0_1_0_18_2001). junction(p4_0_1_0_18_2001). junction(p5_0_1_0_18_2001). junction(p6_0_1_0_18_2001). junction(p7_0_1_0_18_2001). junction(p8_0_1_0_18_2001). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)