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 123-hydraulic_planning-675-0.asp

Name	123-hydraulic_planning-675-0.asp
Classes	[Root]    Planning (2188)    Hydraulic System (2188)    Hydraulic Planning (33)      Model and Solve Track 3D ASP Competition (13)
Submitter	Barbara Nardi
Author	Francesco Calimeri and Maria Carmela Santoro
Description
Created	2012-03-28 16:00
Modified	2012-03-28 16:00
Languages	Facts
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	tank(t311_0_0_0_0_246). tank(t312_0_0_0_0_246). tank(t313_0_0_0_0_246). tank(t314_0_0_0_0_246). jet(j1_0_0_0_0_246). jet(j2_0_0_0_0_246). junction(p1_0_0_0_0_246). junction(p2_0_0_0_0_246). junction(p3_0_0_0_0_246). junction(p4_0_0_0_0_246). junction(p5_0_0_0_0_246). junction(p6_0_0_0_0_246). junction(p7_0_0_0_0_246). junction(p8_0_0_0_0_246). junction(p9_0_0_0_0_246). junction(p10_0_0_0_0_246). valve(v1_0_0_0_0_246). valve(v2_0_0_0_0_246). valve(v3_0_0_0_0_246). valve(v4_0_0_0_0_246). valve(v5_0_0_0_0_246). valve(v6_0_0_0_0_246). valve(v7_0_0_0_0_246). valve(v8_0_0_0_0_246). valve(v9_0_0_0_0_246). valve(v10_0_0_0_0_246). valve(v11_0_0_0_0_246). valve(v12_0_0_0_0_246). valve(v13_0_0_0_0_246). valve(v14_0_0_0_0_246). valve(v15_0_0_0_0_246). valve(v16_0_0_0_0_246). valve(v17_0_0_0_0_246). valve(v18_0_0_0_0_246). valve(v19_0_0_0_0_246). valve(v20_0_0_0_0_246). link(t311_0_0_0_0_246, p1_0_0_0_0_246, v1_0_0_0_0_246). link(p1_0_0_0_0_246, p2_0_0_0_0_246, v2_0_0_0_0_246). link(p3_0_0_0_0_246, p4_0_0_0_0_246, v4_0_0_0_0_246). link(t313_0_0_0_0_246, p4_0_0_0_0_246, v5_0_0_0_0_246). link(p2_0_0_0_0_246, p3_0_0_0_0_246, v3_0_0_0_0_246). link(p2_0_0_0_0_246, j1_0_0_0_0_246, v6_0_0_0_0_246). link(p3_0_0_0_0_246, j1_0_0_0_0_246, v7_0_0_0_0_246). link(p5_0_0_0_0_246, p1_0_0_0_0_246, v8_0_0_0_0_246). link(p4_0_0_0_0_246, p6_0_0_0_0_246, v9_0_0_0_0_246). link(p5_0_0_0_0_246, p6_0_0_0_0_246, v10_0_0_0_0_246). link(p6_0_0_0_0_246, p5_0_0_0_0_246, v11_0_0_0_0_246). %center swap link(p7_0_0_0_0_246, p5_0_0_0_0_246, v12_0_0_0_0_246). link(p6_0_0_0_0_246, p10_0_0_0_0_246, v13_0_0_0_0_246). link(t312_0_0_0_0_246, p7_0_0_0_0_246, v14_0_0_0_0_246). link(p8_0_0_0_0_246, p7_0_0_0_0_246, v15_0_0_0_0_246). link(p10_0_0_0_0_246, p9_0_0_0_0_246, v17_0_0_0_0_246). link(t314_0_0_0_0_246, p10_0_0_0_0_246, v18_0_0_0_0_246). link(p9_0_0_0_0_246, p8_0_0_0_0_246, v16_0_0_0_0_246). link(p8_0_0_0_0_246, j2_0_0_0_0_246, v19_0_0_0_0_246). link(p9_0_0_0_0_246, j2_0_0_0_0_246, v20_0_0_0_0_246). full(t311_0_0_0_0_246). full(t312_0_0_0_0_246). full(t313_0_0_0_0_246). full(t314_0_0_0_0_246). goal(j2_0_0_0_0_246). tank(t311_1_0_0_0_246). tank(t312_1_0_0_0_246). tank(t313_1_0_0_0_246). tank(t314_1_0_0_0_246). jet(j1_1_0_0_0_246). jet(j2_1_0_0_0_246). junction(p1_1_0_0_0_246). junction(p2_1_0_0_0_246). junction(p3_1_0_0_0_246). junction(p4_1_0_0_0_246). junction(p5_1_0_0_0_246). junction(p6_1_0_0_0_246). junction(p7_1_0_0_0_246). junction(p8_1_0_0_0_246). junction(p9_1_0_0_0_246). junction(p10_1_0_0_0_246). valve(v1_1_0_0_0_246). valve(v2_1_0_0_0_246). valve(v3_1_0_0_0_246). valve(v4_1_0_0_0_246). valve(v5_1_0_0_0_246). valve(v6_1_0_0_0_246). valve(v7_1_0_0_0_246). valve(v8_1_0_0_0_246). valve(v9_1_0_0_0_246). valve(v10_1_0_0_0_246). valve(v11_1_0_0_0_246). valve(v12_1_0_0_0_246). valve(v13_1_0_0_0_246). valve(v14_1_0_0_0_246). valve(v15_1_0_0_0_246). valve(v16_1_0_0_0_246). valve(v17_1_0_0_0_246). valve(v18_1_0_0_0_246). valve(v19_1_0_0_0_246). valve(v20_1_0_0_0_246). link(t311_1_0_0_0_246, p1_1_0_0_0_246, v1_1_0_0_0_246). link(p1_1_0_0_0_246, p2_1_0_0_0_246, v2_1_0_0_0_246). link(p3_1_0_0_0_246, p4_1_0_0_0_246, v4_1_0_0_0_246). link(t313_1_0_0_0_246, p4_1_0_0_0_246, v5_1_0_0_0_246). link(p2_1_0_0_0_246, p3_1_0_0_0_246, v3_1_0_0_0_246). link(p2_1_0_0_0_246, j1_1_0_0_0_246, v6_1_0_0_0_246). link(p3_1_0_0_0_246, j1_1_0_0_0_246, v7_1_0_0_0_246). link(p5_1_0_0_0_246, p1_1_0_0_0_246, v8_1_0_0_0_246). link(p4_1_0_0_0_246, p6_1_0_0_0_246, v9_1_0_0_0_246). link(p5_1_0_0_0_246, p6_1_0_0_0_246, v10_1_0_0_0_246). link(p6_1_0_0_0_246, p5_1_0_0_0_246, v11_1_0_0_0_246). %center swap link(p7_1_0_0_0_246, p5_1_0_0_0_246, v12_1_0_0_0_246). link(p6_1_0_0_0_246, p10_1_0_0_0_246, v13_1_0_0_0_246). link(t312_1_0_0_0_246, p7_1_0_0_0_246, v14_1_0_0_0_246). link(p8_1_0_0_0_246, p7_1_0_0_0_246, v15_1_0_0_0_246). link(p10_1_0_0_0_246, p9_1_0_0_0_246, v17_1_0_0_0_246). link(t314_1_0_0_0_246, p10_1_0_0_0_246, v18_1_0_0_0_246). link(p9_1_0_0_0_246, p8_1_0_0_0_246, v16_1_0_0_0_246). link(p8_1_0_0_0_246, j2_1_0_0_0_246, v19_1_0_0_0_246). link(p9_1_0_0_0_246, j2_1_0_0_0_246, v20_1_0_0_0_246). full(t311_1_0_0_0_246). full(t312_1_0_0_0_246). full(t313_1_0_0_0_246). full(t314_1_0_0_0_246). goal(j2_1_0_0_0_246). tank(t311_0_1_0_0_246). tank(t312_0_1_0_0_246). tank(t313_0_1_0_0_246). tank(t314_0_1_0_0_246). jet(j1_0_1_0_0_246). jet(j2_0_1_0_0_246). junction(p1_0_1_0_0_246). junction(p2_0_1_0_0_246). junction(p3_0_1_0_0_246). junction(p4_0_1_0_0_246). junction(p5_0_1_0_0_246). junction(p6_0_1_0_0_246). junction(p7_0_1_0_0_246). junction(p8_0_1_0_0_246). junction(p9_0_1_0_0_246). junction(p10_0_1_0_0_246). valve(v1_0_1_0_0_246). valve(v2_0_1_0_0_246). valve(v3_0_1_0_0_246). valve(v4_0_1_0_0_246). valve(v5_0_1_0_0_246). valve(v6_0_1_0_0_246). valve(v7_0_1_0_0_246). valve(v8_0_1_0_0_246). valve(v9_0_1_0_0_246). valve(v10_0_1_0_0_246). valve(v11_0_1_0_0_246). valve(v12_0_1_0_0_246). valve(v13_0_1_0_0_246). valve(v14_0_1_0_0_246). valve(v15_0_1_0_0_246). valve(v16_0_1_0_0_246). valve(v17_0_1_0_0_246). valve(v18_0_1_0_0_246). valve(v19_0_1_0_0_246). valve(v20_0_1_0_0_246). link(t311_0_1_0_0_246, p1_0_1_0_0_246, v1_0_1_0_0_246). link(p1_0_1_0_0_246, p2_0_1_0_0_246, v2_0_1_0_0_246). link(p3_0_1_0_0_246, p4_0_1_0_0_246, v4_0_1_0_0_246). link(t313_0_1_0_0_246, p4_0_1_0_0_246, v5_0_1_0_0_246). link(p2_0_1_0_0_246, p3_0_1_0_0_246, v3_0_1_0_0_246). link(p2_0_1_0_0_246, j1_0_1_0_0_246, v6_0_1_0_0_246). link(p3_0_1_0_0_246, j1_0_1_0_0_246, v7_0_1_0_0_246). link(p5_0_1_0_0_246, p1_0_1_0_0_246, v8_0_1_0_0_246). link(p4_0_1_0_0_246, p6_0_1_0_0_246, v9_0_1_0_0_246). link(p5_0_1_0_0_246, p6_0_1_0_0_246, v10_0_1_0_0_246). link(p6_0_1_0_0_246, p5_0_1_0_0_246, v11_0_1_0_0_246). %center swap link(p7_0_1_0_0_246, p5_0_1_0_0_246, v12_0_1_0_0_246). link(p6_0_1_0_0_246, p10_0_1_0_0_246, v13_0_1_0_0_246). link(t312_0_1_0_0_246, p7_0_1_0_0_246, v14_0_1_0_0_246). link(p8_0_1_0_0_246, p7_0_1_0_0_246, v15_0_1_0_0_246). link(p10_0_1_0_0_246, p9_0_1_0_0_246, v17_0_1_0_0_246). link(t314_0_1_0_0_246, p10_0_1_0_0_246, v18_0_1_0_0_246). link(p9_0_1_0_0_246, p8_0_1_0_0_246, v16_0_1_0_0_246). link(p8_0_1_0_0_246, j2_0_1_0_0_246, v19_0_1_0_0_246). link(p9_0_1_0_0_246, j2_0_1_0_0_246, v20_0_1_0_0_246). full(t311_0_1_0_0_246). full(t312_0_1_0_0_246). full(t313_0_1_0_0_246). full(t314_0_1_0_0_246). goal(j2_0_1_0_0_246). tank(t311_1_1_0_0_246). tank(t312_1_1_0_0_246). tank(t313_1_1_0_0_246). tank(t314_1_1_0_0_246). jet(j1_1_1_0_0_246). jet(j2_1_1_0_0_246). junction(p1_1_1_0_0_246). junction(p2_1_1_0_0_246). junction(p3_1_1_0_0_246). junction(p4_1_1_0_0_246). junction(p5_1_1_0_0_246). junction(p6_1_1_0_0_246). junction(p7_1_1_0_0_246). junction(p8_1_1_0_0_246). junction(p9_1_1_0_0_246). junction(p10_1_1_0_0_246). valve(v1_1_1_0_0_246). valve(v2_1_1_0_0_246). valve(v3_1_1_0_0_246). valve(v4_1_1_0_0_246). valve(v5_1_1_0_0_246). valve(v6_1_1_0_0_246). valve(v7_1_1_0_0_246). valve(v8_1_1_0_0_246). valve(v9_1_1_0_0_246). valve(v10_1_1_0_0_246). valve(v11_1_1_0_0_246). valve(v12_1_1_0_0_246). valve(v13_1_1_0_0_246). valve(v14_1_1_0_0_246). valve(v15_1_1_0_0_246). valve(v16_1_1_0_0_246). valve(v17_1_1_0_0_246). valve(v18_1_1_0_0_246). valve(v19_1_1_0_0_246). valve(v20_1_1_0_0_246). link(t311_1_1_0_0_246, p1_1_1_0_0_246, v1_1_1_0_0_246). link(p1_1_1_0_0_246, p2_1_1_0_0_246, v2_1_1_0_0_246). link(p3_1_1_0_0_246, p4_1_1_0_0_246, v4_1_1_0_0_246). link(t313_1_1_0_0_246, p4_1_1_0_0_246, v5_1_1_0_0_246). link(p2_1_1_0_0_246, p3_1_1_0_0_246, v3_1_1_0_0_246). link(p2_1_1_0_0_246, j1_1_1_0_0_246, v6_1_1_0_0_246). link(p3_1_1_0_0_246, j1_1_1_0_0_246, v7_1_1_0_0_246). link(p5_1_1_0_0_246, p1_1_1_0_0_246, v8_1_1_0_0_246). link(p4_1_1_0_0_246, p6_1_1_0_0_246, v9_1_1_0_0_246). link(p5_1_1_0_0_246, p6_1_1_0_0_246, v10_1_1_0_0_246). link(p6_1_1_0_0_246, p5_1_1_0_0_246, v11_1_1_0_0_246). %center swap link(p7_1_1_0_0_246, p5_1_1_0_0_246, v12_1_1_0_0_246). link(p6_1_1_0_0_246, p10_1_1_0_0_246, v13_1_1_0_0_246). link(t312_1_1_0_0_246, p7_1_1_0_0_246, v14_1_1_0_0_246). link(p8_1_1_0_0_246, p7_1_1_0_0_246, v15_1_1_0_0_246). link(p10_1_1_0_0_246, p9_1_1_0_0_246, v17_1_1_0_0_246). link(t314_1_1_0_0_246, p10_1_1_0_0_246, v18_1_1_0_0_246). link(p9_1_1_0_0_246, p8_1_1_0_0_246, v16_1_1_0_0_246). link(p8_1_1_0_0_246, j2_1_1_0_0_246, v19_1_1_0_0_246). link(p9_1_1_0_0_246, j2_1_1_0_0_246, v20_1_1_0_0_246). full(t311_1_1_0_0_246). full(t312_1_1_0_0_246). full(t313_1_1_0_0_246). full(t314_1_1_0_0_246). goal(j2_1_1_0_0_246). tank(t311_0_0_1_0_246). tank(t312_0_0_1_0_246). tank(t313_0_0_1_0_246). tank(t314_0_0_1_0_246). jet(j1_0_0_1_0_246). jet(j2_0_0_1_0_246). junction(p1_0_0_1_0_246). junction(p2_0_0_1_0_246). junction(p3_0_0_1_0_246). junction(p4_0_0_1_0_246). junction(p5_0_0_1_0_246). junction(p6_0_0_1_0_246). junction(p7_0_0_1_0_246). junction(p8_0_0_1_0_246). junction(p9_0_0_1_0_246). junction(p10_0_0_1_0_246). valve(v1_0_0_1_0_246). valve(v2_0_0_1_0_246). valve(v3_0_0_1_0_246). valve(v4_0_0_1_0_246). valve(v5_0_0_1_0_246). valve(v6_0_0_1_0_246). valve(v7_0_0_1_0_246). valve(v8_0_0_1_0_246). valve(v9_0_0_1_0_246). valve(v10_0_0_1_0_246). valve(v11_0_0_1_0_246). valve(v12_0_0_1_0_246). valve(v13_0_0_1_0_246). valve(v14_0_0_1_0_246). valve(v15_0_0_1_0_246). valve(v16_0_0_1_0_246). valve(v17_0_0_1_0_246). valve(v18_0_0_1_0_246). valve(v19_0_0_1_0_246). valve(v20_0_0_1_0_246). link(t311_0_0_1_0_246, p1_0_0_1_0_246, v1_0_0_1_0_246). link(p1_0_0_1_0_246, p2_0_0_1_0_246, v2_0_0_1_0_246). link(p3_0_0_1_0_246, p4_0_0_1_0_246, v4_0_0_1_0_246). link(t313_0_0_1_0_246, p4_0_0_1_0_246, v5_0_0_1_0_246). link(p2_0_0_1_0_246, p3_0_0_1_0_246, v3_0_0_1_0_246). link(p2_0_0_1_0_246, j1_0_0_1_0_246, v6_0_0_1_0_246). link(p3_0_0_1_0_246, j1_0_0_1_0_246, v7_0_0_1_0_246). link(p5_0_0_1_0_246, p1_0_0_1_0_246, v8_0_0_1_0_246). link(p4_0_0_1_0_246, p6_0_0_1_0_246, v9_0_0_1_0_246). link(p5_0_0_1_0_246, p6_0_0_1_0_246, v10_0_0_1_0_246). link(p6_0_0_1_0_246, p5_0_0_1_0_246, v11_0_0_1_0_246). %center swap link(p7_0_0_1_0_246, p5_0_0_1_0_246, v12_0_0_1_0_246). link(p6_0_0_1_0_246, p10_0_0_1_0_246, v13_0_0_1_0_246). link(t312_0_0_1_0_246, p7_0_0_1_0_246, v14_0_0_1_0_246). link(p8_0_0_1_0_246, p7_0_0_1_0_246, v15_0_0_1_0_246). link(p10_0_0_1_0_246, p9_0_0_1_0_246, v17_0_0_1_0_246). link(t314_0_0_1_0_246, p10_0_0_1_0_246, v18_0_0_1_0_246). link(p9_0_0_1_0_246, p8_0_0_1_0_246, v16_0_0_1_0_246). link(p8_0_0_1_0_246, j2_0_0_1_0_246, v19_0_0_1_0_246). link(p9_0_0_1_0_246, j2_0_0_1_0_246, v20_0_0_1_0_246). full(t311_0_0_1_0_246). full(t312_0_0_1_0_246). full(t313_0_0_1_0_246). full(t314_0_0_1_0_246). goal(j2_0_0_1_0_246). tank(t311_1_0_1_0_246). tank(t312_1_0_1_0_246). tank(t313_1_0_1_0_246). tank(t314_1_0_1_0_246). jet(j1_1_0_1_0_246). jet(j2_1_0_1_0_246). junction(p1_1_0_1_0_246). junction(p2_1_0_1_0_246). junction(p3_1_0_1_0_246). junction(p4_1_0_1_0_246). junction(p5_1_0_1_0_246). junction(p6_1_0_1_0_246). junction(p7_1_0_1_0_246). junction(p8_1_0_1_0_246). junction(p9_1_0_1_0_246). junction(p10_1_0_1_0_246). valve(v1_1_0_1_0_246). valve(v2_1_0_1_0_246). valve(v3_1_0_1_0_246). valve(v4_1_0_1_0_246). valve(v5_1_0_1_0_246). valve(v6_1_0_1_0_246). valve(v7_1_0_1_0_246). valve(v8_1_0_1_0_246). valve(v9_1_0_1_0_246). valve(v10_1_0_1_0_246). valve(v11_1_0_1_0_246). valve(v12_1_0_1_0_246). valve(v13_1_0_1_0_246). valve(v14_1_0_1_0_246). valve(v15_1_0_1_0_246). valve(v16_1_0_1_0_246). valve(v17_1_0_1_0_246). valve(v18_1_0_1_0_246). valve(v19_1_0_1_0_246). valve(v20_1_0_1_0_246). link(t311_1_0_1_0_246, p1_1_0_1_0_246, v1_1_0_1_0_246). link(p1_1_0_1_0_246, p2_1_0_1_0_246, v2_1_0_1_0_246). link(p3_1_0_1_0_246, p4_1_0_1_0_246, v4_1_0_1_0_246). link(t313_1_0_1_0_246, p4_1_0_1_0_246, v5_1_0_1_0_246). link(p2_1_0_1_0_246, p3_1_0_1_0_246, v3_1_0_1_0_246). link(p2_1_0_1_0_246, j1_1_0_1_0_246, v6_1_0_1_0_246). link(p3_1_0_1_0_246, j1_1_0_1_0_246, v7_1_0_1_0_246). link(p5_1_0_1_0_246, p1_1_0_1_0_246, v8_1_0_1_0_246). link(p4_1_0_1_0_246, p6_1_0_1_0_246, v9_1_0_1_0_246). link(p5_1_0_1_0_246, p6_1_0_1_0_246, v10_1_0_1_0_246). link(p6_1_0_1_0_246, p5_1_0_1_0_246, v11_1_0_1_0_246). %center swap link(p7_1_0_1_0_246, p5_1_0_1_0_246, v12_1_0_1_0_246). link(p6_1_0_1_0_246, p10_1_0_1_0_246, v13_1_0_1_0_246). link(t312_1_0_1_0_246, p7_1_0_1_0_246, v14_1_0_1_0_246). link(p8_1_0_1_0_246, p7_1_0_1_0_246, v15_1_0_1_0_246). link(p10_1_0_1_0_246, p9_1_0_1_0_246, v17_1_0_1_0_246). link(t314_1_0_1_0_246, p10_1_0_1_0_246, v18_1_0_1_0_246). link(p9_1_0_1_0_246, p8_1_0_1_0_246, v16_1_0_1_0_246). link(p8_1_0_1_0_246, j2_1_0_1_0_246, v19_1_0_1_0_246). link(p9_1_0_1_0_246, j2_1_0_1_0_246, v20_1_0_1_0_246). full(t311_1_0_1_0_246). full(t312_1_0_1_0_246). full(t313_1_0_1_0_246). full(t314_1_0_1_0_246). goal(j2_1_0_1_0_246). tank(t311_0_1_1_0_246). tank(t312_0_1_1_0_246). tank(t313_0_1_1_0_246). tank(t314_0_1_1_0_246). jet(j1_0_1_1_0_246). jet(j2_0_1_1_0_246). junction(p1_0_1_1_0_246). junction(p2_0_1_1_0_246). junction(p3_0_1_1_0_246). junction(p4_0_1_1_0_246). junction(p5_0_1_1_0_246). junction(p6_0_1_1_0_246). junction(p7_0_1_1_0_246). junction(p8_0_1_1_0_246). junction(p9_0_1_1_0_246). junction(p10_0_1_1_0_246). valve(v1_0_1_1_0_246). valve(v2_0_1_1_0_246). valve(v3_0_1_1_0_246). valve(v4_0_1_1_0_246). valve(v5_0_1_1_0_246). valve(v6_0_1_1_0_246). valve(v7_0_1_1_0_246). valve(v8_0_1_1_0_246). valve(v9_0_1_1_0_246). valve(v10_0_1_1_0_246). valve(v11_0_1_1_0_246). valve(v12_0_1_1_0_246). valve(v13_0_1_1_0_246). valve(v14_0_1_1_0_246). valve(v15_0_1_1_0_246). valve(v16_0_1_1_0_246). valve(v17_0_1_1_0_246). valve(v18_0_1_1_0_246). valve(v19_0_1_1_0_246). valve(v20_0_1_1_0_246). link(t311_0_1_1_0_246, p1_0_1_1_0_246, v1_0_1_1_0_246). link(p1_0_1_1_0_246, p2_0_1_1_0_246, v2_0_1_1_0_246). link(p3_0_1_1_0_246, p4_0_1_1_0_246, v4_0_1_1_0_246). link(t313_0_1_1_0_246, p4_0_1_1_0_246, v5_0_1_1_0_246). link(p2_0_1_1_0_246, p3_0_1_1_0_246, v3_0_1_1_0_246). link(p2_0_1_1_0_246, j1_0_1_1_0_246, v6_0_1_1_0_246). link(p3_0_1_1_0_246, j1_0_1_1_0_246, v7_0_1_1_0_246). link(p5_0_1_1_0_246, p1_0_1_1_0_246, v8_0_1_1_0_246). link(p4_0_1_1_0_246, p6_0_1_1_0_246, v9_0_1_1_0_246). link(p5_0_1_1_0_246, p6_0_1_1_0_246, v10_0_1_1_0_246). link(p6_0_1_1_0_246, p5_0_1_1_0_246, v11_0_1_1_0_246). %center swap link(p7_0_1_1_0_246, p5_0_1_1_0_246, v12_0_1_1_0_246). link(p6_0_1_1_0_246, p10_0_1_1_0_246, v13_0_1_1_0_246). link(t312_0_1_1_0_246, p7_0_1_1_0_246, v14_0_1_1_0_246). link(p8_0_1_1_0_246, p7_0_1_1_0_246, v15_0_1_1_0_246). link(p10_0_1_1_0_246, p9_0_1_1_0_246, v17_0_1_1_0_246). link(t314_0_1_1_0_246, p10_0_1_1_0_246, v18_0_1_1_0_246). link(p9_0_1_1_0_246, p8_0_1_1_0_246, v16_0_1_1_0_246). link(p8_0_1_1_0_246, j2_0_1_1_0_246, v19_0_1_1_0_246). link(p9_0_1_1_0_246, j2_0_1_1_0_246, v20_0_1_1_0_246). full(t311_0_1_1_0_246). full(t312_0_1_1_0_246). full(t313_0_1_1_0_246). full(t314_0_1_1_0_246). goal(j2_0_1_1_0_246). tank(t311_1_1_1_0_246). tank(t312_1_1_1_0_246). tank(t313_1_1_1_0_246). tank(t314_1_1_1_0_246). jet(j1_1_1_1_0_246). jet(j2_1_1_1_0_246). junction(p1_1_1_1_0_246). junction(p2_1_1_1_0_246). junction(p3_1_1_1_0_246). junction(p4_1_1_1_0_246). junction(p5_1_1_1_0_246). junction(p6_1_1_1_0_246). junction(p7_1_1_1_0_246). junction(p8_1_1_1_0_246). junction(p9_1_1_1_0_246). junction(p10_1_1_1_0_246). valve(v1_1_1_1_0_246). valve(v2_1_1_1_0_246). valve(v3_1_1_1_0_246). valve(v4_1_1_1_0_246). valve(v5_1_1_1_0_246). valve(v6_1_1_1_0_246). valve(v7_1_1_1_0_246). valve(v8_1_1_1_0_246). valve(v9_1_1_1_0_246). valve(v10_1_1_1_0_246). valve(v11_1_1_1_0_246). valve(v12_1_1_1_0_246). valve(v13_1_1_1_0_246). valve(v14_1_1_1_0_246). valve(v15_1_1_1_0_246). valve(v16_1_1_1_0_246). valve(v17_1_1_1_0_246). valve(v18_1_1_1_0_246). valve(v19_1_1_1_0_246). valve(v20_1_1_1_0_246). link(t311_1_1_1_0_246, p1_1_1_1_0_246, v1_1_1_1_0_246). link(p1_1_1_1_0_246, p2_1_1_1_0_246, v2_1_1_1_0_246). link(p3_1_1_1_0_246, p4_1_1_1_0_246, v4_1_1_1_0_246). link(t313_1_1_1_0_246, p4_1_1_1_0_246, v5_1_1_1_0_246). link(p2_1_1_1_0_246, p3_1_1_1_0_246, v3_1_1_1_0_246). link(p2_1_1_1_0_246, j1_1_1_1_0_246, v6_1_1_1_0_246). link(p3_1_1_1_0_246, j1_1_1_1_0_246, v7_1_1_1_0_246). link(p5_1_1_1_0_246, p1_1_1_1_0_246, v8_1_1_1_0_246). link(p4_1_1_1_0_246, p6_1_1_1_0_246, v9_1_1_1_0_246). link(p5_1_1_1_0_246, p6_1_1_1_0_246, v10_1_1_1_0_246). link(p6_1_1_1_0_246, p5_1_1_1_0_246, v11_1_1_1_0_246). %center swap link(p7_1_1_1_0_246, p5_1_1_1_0_246, v12_1_1_1_0_246). link(p6_1_1_1_0_246, p10_1_1_1_0_246, v13_1_1_1_0_246). link(t312_1_1_1_0_246, p7_1_1_1_0_246, v14_1_1_1_0_246). link(p8_1_1_1_0_246, p7_1_1_1_0_246, v15_1_1_1_0_246). link(p10_1_1_1_0_246, p9_1_1_1_0_246, v17_1_1_1_0_246). link(t314_1_1_1_0_246, p10_1_1_1_0_246, v18_1_1_1_0_246). link(p9_1_1_1_0_246, p8_1_1_1_0_246, v16_1_1_1_0_246). link(p8_1_1_1_0_246, j2_1_1_1_0_246, v19_1_1_1_0_246). link(p9_1_1_1_0_246, j2_1_1_1_0_246, v20_1_1_1_0_246). full(t311_1_1_1_0_246). full(t312_1_1_1_0_246). full(t313_1_1_1_0_246). full(t314_1_1_1_0_246). goal(j2_1_1_1_0_246). tank(t311_0_0_0_1_246). tank(t312_0_0_0_1_246). tank(t313_0_0_0_1_246). tank(t314_0_0_0_1_246). jet(j1_0_0_0_1_246). jet(j2_0_0_0_1_246). junction(p1_0_0_0_1_246). junction(p2_0_0_0_1_246). junction(p3_0_0_0_1_246). junction(p4_0_0_0_1_246). junction(p5_0_0_0_1_246). junction(p6_0_0_0_1_246). junction(p7_0_0_0_1_246). junction(p8_0_0_0_1_246). junction(p9_0_0_0_1_246). junction(p10_0_0_0_1_246). valve(v1_0_0_0_1_246). valve(v2_0_0_0_1_246). valve(v3_0_0_0_1_246). valve(v4_0_0_0_1_246). valve(v5_0_0_0_1_246). valve(v6_0_0_0_1_246). valve(v7_0_0_0_1_246). valve(v8_0_0_0_1_246). valve(v9_0_0_0_1_246). valve(v10_0_0_0_1_246). valve(v11_0_0_0_1_246). valve(v12_0_0_0_1_246). valve(v13_0_0_0_1_246). valve(v14_0_0_0_1_246). valve(v15_0_0_0_1_246). valve(v16_0_0_0_1_246). valve(v17_0_0_0_1_246). valve(v18_0_0_0_1_246). valve(v19_0_0_0_1_246). valve(v20_0_0_0_1_246). link(t311_0_0_0_1_246, p1_0_0_0_1_246, v1_0_0_0_1_246). link(p1_0_0_0_1_246, p2_0_0_0_1_246, v2_0_0_0_1_246). link(p3_0_0_0_1_246, p4_0_0_0_1_246, v4_0_0_0_1_246). link(t313_0_0_0_1_246, p4_0_0_0_1_246, v5_0_0_0_1_246). link(p2_0_0_0_1_246, p3_0_0_0_1_246, v3_0_0_0_1_246). link(p2_0_0_0_1_246, j1_0_0_0_1_246, v6_0_0_0_1_246). link(p3_0_0_0_1_246, j1_0_0_0_1_246, v7_0_0_0_1_246). link(p5_0_0_0_1_246, p1_0_0_0_1_246, v8_0_0_0_1_246). link(p4_0_0_0_1_246, p6_0_0_0_1_246, v9_0_0_0_1_246). link(p5_0_0_0_1_246, p6_0_0_0_1_246, v10_0_0_0_1_246). link(p6_0_0_0_1_246, p5_0_0_0_1_246, v11_0_0_0_1_246). %center swap link(p7_0_0_0_1_246, p5_0_0_0_1_246, v12_0_0_0_1_246). link(p6_0_0_0_1_246, p10_0_0_0_1_246, v13_0_0_0_1_246). link(t312_0_0_0_1_246, p7_0_0_0_1_246, v14_0_0_0_1_246). link(p8_0_0_0_1_246, p7_0_0_0_1_246, v15_0_0_0_1_246). link(p10_0_0_0_1_246, p9_0_0_0_1_246, v17_0_0_0_1_246). link(t314_0_0_0_1_246, p10_0_0_0_1_246, v18_0_0_0_1_246). link(p9_0_0_0_1_246, p8_0_0_0_1_246, v16_0_0_0_1_246). link(p8_0_0_0_1_246, j2_0_0_0_1_246, v19_0_0_0_1_246). link(p9_0_0_0_1_246, j2_0_0_0_1_246, v20_0_0_0_1_246). full(t311_0_0_0_1_246). full(t312_0_0_0_1_246). full(t313_0_0_0_1_246). full(t314_0_0_0_1_246). goal(j2_0_0_0_1_246). tank(t311_1_0_0_1_246). tank(t312_1_0_0_1_246). tank(t313_1_0_0_1_246). tank(t314_1_0_0_1_246). jet(j1_1_0_0_1_246). jet(j2_1_0_0_1_246). junction(p1_1_0_0_1_246). junction(p2_1_0_0_1_246). junction(p3_1_0_0_1_246). junction(p4_1_0_0_1_246). junction(p5_1_0_0_1_246). junction(p6_1_0_0_1_246). junction(p7_1_0_0_1_246). junction(p8_1_0_0_1_246). junction(p9_1_0_0_1_246). junction(p10_1_0_0_1_246). valve(v1_1_0_0_1_246). valve(v2_1_0_0_1_246). valve(v3_1_0_0_1_246). valve(v4_1_0_0_1_246). valve(v5_1_0_0_1_246). valve(v6_1_0_0_1_246). valve(v7_1_0_0_1_246). valve(v8_1_0_0_1_246). valve(v9_1_0_0_1_246). valve(v10_1_0_0_1_246). valve(v11_1_0_0_1_246). valve(v12_1_0_0_1_246). valve(v13_1_0_0_1_246). valve(v14_1_0_0_1_246). valve(v15_1_0_0_1_246). valve(v16_1_0_0_1_246). valve(v17_1_0_0_1_246). valve(v18_1_0_0_1_246). valve(v19_1_0_0_1_246). valve(v20_1_0_0_1_246). link(t311_1_0_0_1_246, p1_1_0_0_1_246, v1_1_0_0_1_246). link(p1_1_0_0_1_246, p2_1_0_0_1_246, v2_1_0_0_1_246). link(p3_1_0_0_1_246, p4_1_0_0_1_246, v4_1_0_0_1_246). link(t313_1_0_0_1_246, p4_1_0_0_1_246, v5_1_0_0_1_246). link(p2_1_0_0_1_246, p3_1_0_0_1_246, v3_1_0_0_1_246). link(p2_1_0_0_1_246, j1_1_0_0_1_246, v6_1_0_0_1_246). link(p3_1_0_0_1_246, j1_1_0_0_1_246, v7_1_0_0_1_246). link(p5_1_0_0_1_246, p1_1_0_0_1_246, v8_1_0_0_1_246). link(p4_1_0_0_1_246, p6_1_0_0_1_246, v9_1_0_0_1_246). link(p5_1_0_0_1_246, p6_1_0_0_1_246, v10_1_0_0_1_246). link(p6_1_0_0_1_246, p5_1_0_0_1_246, v11_1_0_0_1_246). %center swap link(p7_1_0_0_1_246, p5_1_0_0_1_246, v12_1_0_0_1_246). link(p6_1_0_0_1_246, p10_1_0_0_1_246, v13_1_0_0_1_246). link(t312_1_0_0_1_246, p7_1_0_0_1_246, v14_1_0_0_1_246). link(p8_1_0_0_1_246, p7_1_0_0_1_246, v15_1_0_0_1_246). link(p10_1_0_0_1_246, p9_1_0_0_1_246, v17_1_0_0_1_246). link(t314_1_0_0_1_246, p10_1_0_0_1_246, v18_1_0_0_1_246). link(p9_1_0_0_1_246, p8_1_0_0_1_246, v16_1_0_0_1_246). link(p8_1_0_0_1_246, j2_1_0_0_1_246, v19_1_0_0_1_246). link(p9_1_0_0_1_246, j2_1_0_0_1_246, v20_1_0_0_1_246). full(t311_1_0_0_1_246). full(t312_1_0_0_1_246). full(t313_1_0_0_1_246). full(t314_1_0_0_1_246). goal(j2_1_0_0_1_246). tank(t311_0_1_0_1_246). tank(t312_0_1_0_1_246). tank(t313_0_1_0_1_246). tank(t314_0_1_0_1_246). jet(j1_0_1_0_1_246). jet(j2_0_1_0_1_246). junction(p1_0_1_0_1_246). junction(p2_0_1_0_1_246). junction(p3_0_1_0_1_246). junction(p4_0_1_0_1_246). junction(p5_0_1_0_1_246). junction(p6_0_1_0_1_246). junction(p7_0_1_0_1_246). junction(p8_0_1_0_1_246). junction(p9_0_1_0_1_246). junction(p10_0_1_0_1_246). valve(v1_0_1_0_1_246). valve(v2_0_1_0_1_246). valve(v3_0_1_0_1_246). valve(v4_0_1_0_1_246). valve(v5_0_1_0_1_246). valve(v6_0_1_0_1_246). valve(v7_0_1_0_1_246). valve(v8_0_1_0_1_246). valve(v9_0_1_0_1_246). valve(v10_0_1_0_1_246). valve(v11_0_1_0_1_246). valve(v12_0_1_0_1_246). valve(v13_0_1_0_1_246). valve(v14_0_1_0_1_246). valve(v15_0_1_0_1_246). valve(v16_0_1_0_1_246). valve(v17_0_1_0_1_246). valve(v18_0_1_0_1_246). valve(v19_0_1_0_1_246). valve(v20_0_1_0_1_246). link(t311_0_1_0_1_246, p1_0_1_0_1_246, v1_0_1_0_1_246). link(p1_0_1_0_1_246, p2_0_1_0_1_246, v2_0_1_0_1_246). link(p3_0_1_0_1_246, p4_0_1_0_1_246, v4_0_1_0_1_246). link(t313_0_1_0_1_246, p4_0_1_0_1_246, v5_0_1_0_1_246). link(p2_0_1_0_1_246, p3_0_1_0_1_246, v3_0_1_0_1_246). link(p2_0_1_0_1_246, j1_0_1_0_1_246, v6_0_1_0_1_246). link(p3_0_1_0_1_246, j1_0_1_0_1_246, v7_0_1_0_1_246). link(p5_0_1_0_1_246, p1_0_1_0_1_246, v8_0_1_0_1_246). link(p4_0_1_0_1_246, p6_0_1_0_1_246, v9_0_1_0_1_246). link(p5_0_1_0_1_246, p6_0_1_0_1_246, v10_0_1_0_1_246). link(p6_0_1_0_1_246, p5_0_1_0_1_246, v11_0_1_0_1_246). %center swap link(p7_0_1_0_1_246, p5_0_1_0_1_246, v12_0_1_0_1_246). link(p6_0_1_0_1_246, p10_0_1_0_1_246, v13_0_1_0_1_246). link(t312_0_1_0_1_246, p7_0_1_0_1_246, v14_0_1_0_1_246). link(p8_0_1_0_1_246, p7_0_1_0_1_246, v15_0_1_0_1_246). link(p10_0_1_0_1_246, p9_0_1_0_1_246, v17_0_1_0_1_246). link(t314_0_1_0_1_246, p10_0_1_0_1_246, v18_0_1_0_1_246). link(p9_0_1_0_1_246, p8_0_1_0_1_246, v16_0_1_0_1_246). link(p8_0_1_0_1_246, j2_0_1_0_1_246, v19_0_1_0_1_246). link(p9_0_1_0_1_246, j2_0_1_0_1_246, v20_0_1_0_1_246). full(t311_0_1_0_1_246). full(t312_0_1_0_1_246). full(t313_0_1_0_1_246). full(t314_0_1_0_1_246). goal(j2_0_1_0_1_246). tank(t311_1_1_0_1_246). tank(t312_1_1_0_1_246). tank(t313_1_1_0_1_246). tank(t314_1_1_0_1_246). jet(j1_1_1_0_1_246). jet(j2_1_1_0_1_246). junction(p1_1_1_0_1_246). junction(p2_1_1_0_1_246). junction(p3_1_1_0_1_246). junction(p4_1_1_0_1_246). junction(p5_1_1_0_1_246). junction(p6_1_1_0_1_246). junction(p7_1_1_0_1_246). junction(p8_1_1_0_1_246). junction(p9_1_1_0_1_246). junction(p10_1_1_0_1_246). valve(v1_1_1_0_1_246). valve(v2_1_1_0_1_246). valve(v3_1_1_0_1_246). valve(v4_1_1_0_1_246). valve(v5_1_1_0_1_246). valve(v6_1_1_0_1_246). valve(v7_1_1_0_1_246). valve(v8_1_1_0_1_246). valve(v9_1_1_0_1_246). valve(v10_1_1_0_1_246). valve(v11_1_1_0_1_246). valve(v12_1_1_0_1_246). valve(v13_1_1_0_1_246). valve(v14_1_1_0_1_246). valve(v15_1_1_0_1_246). valve(v16_1_1_0_1_246). valve(v17_1_1_0_1_246). valve(v18_1_1_0_1_246). valve(v19_1_1_0_1_246). valve(v20_1_1_0_1_246). link(t311_1_1_0_1_246, p1_1_1_0_1_246, v1_1_1_0_1_246). link(p1_1_1_0_1_246, p2_1_1_0_1_246, v2_1_1_0_1_246). link(p3_1_1_0_1_246, p4_1_1_0_1_246, v4_1_1_0_1_246). link(t313_1_1_0_1_246, p4_1_1_0_1_246, v5_1_1_0_1_246). link(p2_1_1_0_1_246, p3_1_1_0_1_246, v3_1_1_0_1_246). link(p2_1_1_0_1_246, j1_1_1_0_1_246, v6_1_1_0_1_246). link(p3_1_1_0_1_246, j1_1_1_0_1_246, v7_1_1_0_1_246). link(p5_1_1_0_1_246, p1_1_1_0_1_246, v8_1_1_0_1_246). link(p4_1_1_0_1_246, p6_1_1_0_1_246, v9_1_1_0_1_246). link(p5_1_1_0_1_246, p6_1_1_0_1_246, v10_1_1_0_1_246). link(p6_1_1_0_1_246, p5_1_1_0_1_246, v11_1_1_0_1_246). %center swap link(p7_1_1_0_1_246, p5_1_1_0_1_246, v12_1_1_0_1_246). link(p6_1_1_0_1_246, p10_1_1_0_1_246, v13_1_1_0_1_246). link(t312_1_1_0_1_246, p7_1_1_0_1_246, v14_1_1_0_1_246). link(p8_1_1_0_1_246, p7_1_1_0_1_246, v15_1_1_0_1_246). link(p10_1_1_0_1_246, p9_1_1_0_1_246, v17_1_1_0_1_246). link(t314_1_1_0_1_246, p10_1_1_0_1_246, v18_1_1_0_1_246). link(p9_1_1_0_1_246, p8_1_1_0_1_246, v16_1_1_0_1_246). link(p8_1_1_0_1_246, j2_1_1_0_1_246, v19_1_1_0_1_246). link(p9_1_1_0_1_246, j2_1_1_0_1_246, v20_1_1_0_1_246). full(t311_1_1_0_1_246). full(t312_1_1_0_1_246). full(t313_1_1_0_1_246). full(t314_1_1_0_1_246). goal(j2_1_1_0_1_246). tank(t311_0_0_1_1_246). tank(t312_0_0_1_1_246). tank(t313_0_0_1_1_246). tank(t314_0_0_1_1_246). jet(j1_0_0_1_1_246). jet(j2_0_0_1_1_246). junction(p1_0_0_1_1_246). junction(p2_0_0_1_1_246). junction(p3_0_0_1_1_246). junction(p4_0_0_1_1_246). junction(p5_0_0_1_1_246). junction(p6_0_0_1_1_246). junction(p7_0_0_1_1_246). junction(p8_0_0_1_1_246). junction(p9_0_0_1_1_246). junction(p10_0_0_1_1_246). valve(v1_0_0_1_1_246). valve(v2_0_0_1_1_246). valve(v3_0_0_1_1_246). valve(v4_0_0_1_1_246). valve(v5_0_0_1_1_246). valve(v6_0_0_1_1_246). valve(v7_0_0_1_1_246). valve(v8_0_0_1_1_246). valve(v9_0_0_1_1_246). valve(v10_0_0_1_1_246). valve(v11_0_0_1_1_246). valve(v12_0_0_1_1_246). valve(v13_0_0_1_1_246). valve(v14_0_0_1_1_246). valve(v15_0_0_1_1_246). valve(v16_0_0_1_1_246). valve(v17_0_0_1_1_246). valve(v18_0_0_1_1_246). valve(v19_0_0_1_1_246). valve(v20_0_0_1_1_246). link(t311_0_0_1_1_246, p1_0_0_1_1_246, v1_0_0_1_1_246). link(p1_0_0_1_1_246, p2_0_0_1_1_246, v2_0_0_1_1_246). link(p3_0_0_1_1_246, p4_0_0_1_1_246, v4_0_0_1_1_246). link(t313_0_0_1_1_246, p4_0_0_1_1_246, v5_0_0_1_1_246). link(p2_0_0_1_1_246, p3_0_0_1_1_246, v3_0_0_1_1_246). link(p2_0_0_1_1_246, j1_0_0_1_1_246, v6_0_0_1_1_246). link(p3_0_0_1_1_246, j1_0_0_1_1_246, v7_0_0_1_1_246). link(p5_0_0_1_1_246, p1_0_0_1_1_246, v8_0_0_1_1_246). link(p4_0_0_1_1_246, p6_0_0_1_1_246, v9_0_0_1_1_246). link(p5_0_0_1_1_246, p6_0_0_1_1_246, v10_0_0_1_1_246). link(p6_0_0_1_1_246, p5_0_0_1_1_246, v11_0_0_1_1_246). %center swap link(p7_0_0_1_1_246, p5_0_0_1_1_246, v12_0_0_1_1_246). link(p6_0_0_1_1_246, p10_0_0_1_1_246, v13_0_0_1_1_246). link(t312_0_0_1_1_246, p7_0_0_1_1_246, v14_0_0_1_1_246). link(p8_0_0_1_1_246, p7_0_0_1_1_246, v15_0_0_1_1_246). link(p10_0_0_1_1_246, p9_0_0_1_1_246, v17_0_0_1_1_246). link(t314_0_0_1_1_246, p10_0_0_1_1_246, v18_0_0_1_1_246). link(p9_0_0_1_1_246, p8_0_0_1_1_246, v16_0_0_1_1_246). link(p8_0_0_1_1_246, j2_0_0_1_1_246, v19_0_0_1_1_246). link(p9_0_0_1_1_246, j2_0_0_1_1_246, v20_0_0_1_1_246). full(t311_0_0_1_1_246). full(t312_0_0_1_1_246). full(t313_0_0_1_1_246). full(t314_0_0_1_1_246). goal(j2_0_0_1_1_246). tank(t311_1_0_1_1_246). tank(t312_1_0_1_1_246). tank(t313_1_0_1_1_246). tank(t314_1_0_1_1_246). jet(j1_1_0_1_1_246). jet(j2_1_0_1_1_246). junction(p1_1_0_1_1_246). junction(p2_1_0_1_1_246). junction(p3_1_0_1_1_246). junction(p4_1_0_1_1_246). junction(p5_1_0_1_1_246). junction(p6_1_0_1_1_246). junction(p7_1_0_1_1_246). junction(p8_1_0_1_1_246). junction(p9_1_0_1_1_246). junction(p10_1_0_1_1_246). valve(v1_1_0_1_1_246). valve(v2_1_0_1_1_246). valve(v3_1_0_1_1_246). valve(v4_1_0_1_1_246). valve(v5_1_0_1_1_246). valve(v6_1_0_1_1_246). valve(v7_1_0_1_1_246). valve(v8_1_0_1_1_246). valve(v9_1_0_1_1_246). valve(v10_1_0_1_1_246). valve(v11_1_0_1_1_246). valve(v12_1_0_1_1_246). valve(v13_1_0_1_1_246). valve(v14_1_0_1_1_246). valve(v15_1_0_1_1_246). valve(v16_1_0_1_1_246). valve(v17_1_0_1_1_246). valve(v18_1_0_1_1_246). valve(v19_1_0_1_1_246). valve(v20_1_0_1_1_246). link(t311_1_0_1_1_246, p1_1_0_1_1_246, v1_1_0_1_1_246). link(p1_1_0_1_1_246, p2_1_0_1_1_246, v2_1_0_1_1_246). link(p3_1_0_1_1_246, p4_1_0_1_1_246, v4_1_0_1_1_246). link(t313_1_0_1_1_246, p4_1_0_1_1_246, v5_1_0_1_1_246). link(p2_1_0_1_1_246, p3_1_0_1_1_246, v3_1_0_1_1_246). link(p2_1_0_1_1_246, j1_1_0_1_1_246, v6_1_0_1_1_246). link(p3_1_0_1_1_246, j1_1_0_1_1_246, v7_1_0_1_1_246). link(p5_1_0_1_1_246, p1_1_0_1_1_246, v8_1_0_1_1_246). link(p4_1_0_1_1_246, p6_1_0_1_1_246, v9_1_0_1_1_246). link(p5_1_0_1_1_246, p6_1_0_1_1_246, v10_1_0_1_1_246). link(p6_1_0_1_1_246, p5_1_0_1_1_246, v11_1_0_1_1_246). %center swap link(p7_1_0_1_1_246, p5_1_0_1_1_246, v12_1_0_1_1_246). link(p6_1_0_1_1_246, p10_1_0_1_1_246, v13_1_0_1_1_246). link(t312_1_0_1_1_246, p7_1_0_1_1_246, v14_1_0_1_1_246). link(p8_1_0_1_1_246, p7_1_0_1_1_246, v15_1_0_1_1_246). link(p10_1_0_1_1_246, p9_1_0_1_1_246, v17_1_0_1_1_246). link(t314_1_0_1_1_246, p10_1_0_1_1_246, v18_1_0_1_1_246). link(p9_1_0_1_1_246, p8_1_0_1_1_246, v16_1_0_1_1_246). link(p8_1_0_1_1_246, j2_1_0_1_1_246, v19_1_0_1_1_246). link(p9_1_0_1_1_246, j2_1_0_1_1_246, v20_1_0_1_1_246). full(t311_1_0_1_1_246). full(t312_1_0_1_1_246). full(t313_1_0_1_1_246). full(t314_1_0_1_1_246). goal(j2_1_0_1_1_246). tank(t311_0_1_1_1_246). tank(t312_0_1_1_1_246). tank(t313_0_1_1_1_246). tank(t314_0_1_1_1_246). jet(j1_0_1_1_1_246). jet(j2_0_1_1_1_246). junction(p1_0_1_1_1_246). junction(p2_0_1_1_1_246). junction(p3_0_1_1_1_246). junction(p4_0_1_1_1_246). junction(p5_0_1_1_1_246). junction(p6_0_1_1_1_246). junction(p7_0_1_1_1_246). junction(p8_0_1_1_1_246). junction(p9_0_1_1_1_246). junction(p10_0_1_1_1_246). valve(v1_0_1_1_1_246). valve(v2_0_1_1_1_246). valve(v3_0_1_1_1_246). valve(v4_0_1_1_1_246). valve(v5_0_1_1_1_246). valve(v6_0_1_1_1_246). valve(v7_0_1_1_1_246). valve(v8_0_1_1_1_246). valve(v9_0_1_1_1_246). valve(v10_0_1_1_1_246). valve(v11_0_1_1_1_246). valve(v12_0_1_1_1_246). valve(v13_0_1_1_1_246). valve(v14_0_1_1_1_246). valve(v15_0_1_1_1_246). valve(v16_0_1_1_1_246). valve(v17_0_1_1_1_246). valve(v18_0_1_1_1_246). valve(v19_0_1_1_1_246). valve(v20_0_1_1_1_246). link(t311_0_1_1_1_246, p1_0_1_1_1_246, v1_0_1_1_1_246). link(p1_0_1_1_1_246, p2_0_1_1_1_246, v2_0_1_1_1_246). link(p3_0_1_1_1_246, p4_0_1_1_1_246, v4_0_1_1_1_246). link(t313_0_1_1_1_246, p4_0_1_1_1_246, v5_0_1_1_1_246). link(p2_0_1_1_1_246, p3_0_1_1_1_246, v3_0_1_1_1_246). link(p2_0_1_1_1_246, j1_0_1_1_1_246, v6_0_1_1_1_246). link(p3_0_1_1_1_246, j1_0_1_1_1_246, v7_0_1_1_1_246). link(p5_0_1_1_1_246, p1_0_1_1_1_246, v8_0_1_1_1_246). link(p4_0_1_1_1_246, p6_0_1_1_1_246, v9_0_1_1_1_246). link(p5_0_1_1_1_246, p6_0_1_1_1_246, v10_0_1_1_1_246). link(p6_0_1_1_1_246, p5_0_1_1_1_246, v11_0_1_1_1_246). %center swap link(p7_0_1_1_1_246, p5_0_1_1_1_246, v12_0_1_1_1_246). link(p6_0_1_1_1_246, p10_0_1_1_1_246, v13_0_1_1_1_246). link(t312_0_1_1_1_246, p7_0_1_1_1_246, v14_0_1_1_1_246). link(p8_0_1_1_1_246, p7_0_1_1_1_246, v15_0_1_1_1_246). link(p10_0_1_1_1_246, p9_0_1_1_1_246, v17_0_1_1_1_246). link(t314_0_1_1_1_246, p10_0_1_1_1_246, v18_0_1_1_1_246). link(p9_0_1_1_1_246, p8_0_1_1_1_246, v16_0_1_1_1_246). link(p8_0_1_1_1_246, j2_0_1_1_1_246, v19_0_1_1_1_246). link(p9_0_1_1_1_246, j2_0_1_1_1_246, v20_0_1_1_1_246). full(t311_0_1_1_1_246). full(t312_0_1_1_1_246). full(t313_0_1_1_1_246). full(t314_0_1_1_1_246). goal(j2_0_1_1_1_246). tank(t311_1_1_1_1_246). tank(t312_1_1_1_1_246). tank(t313_1_1_1_1_246). tank(t314_1_1_1_1_246). jet(j1_1_1_1_1_246). jet(j2_1_1_1_1_246). junction(p1_1_1_1_1_246). junction(p2_1_1_1_1_246). junction(p3_1_1_1_1_246). junction(p4_1_1_1_1_246). junction(p5_1_1_1_1_246). junction(p6_1_1_1_1_246). junction(p7_1_1_1_1_246). junction(p8_1_1_1_1_246). junction(p9_1_1_1_1_246). junction(p10_1_1_1_1_246). valve(v1_1_1_1_1_246). valve(v2_1_1_1_1_246). valve(v3_1_1_1_1_246). valve(v4_1_1_1_1_246). valve(v5_1_1_1_1_246). valve(v6_1_1_1_1_246). valve(v7_1_1_1_1_246). valve(v8_1_1_1_1_246). valve(v9_1_1_1_1_246). valve(v10_1_1_1_1_246). valve(v11_1_1_1_1_246). valve(v12_1_1_1_1_246). valve(v13_1_1_1_1_246). valve(v14_1_1_1_1_246). valve(v15_1_1_1_1_246). valve(v16_1_1_1_1_246). valve(v17_1_1_1_1_246). valve(v18_1_1_1_1_246). valve(v19_1_1_1_1_246). valve(v20_1_1_1_1_246). link(t311_1_1_1_1_246, p1_1_1_1_1_246, v1_1_1_1_1_246). link(p1_1_1_1_1_246, p2_1_1_1_1_246, v2_1_1_1_1_246). link(p3_1_1_1_1_246, p4_1_1_1_1_246, v4_1_1_1_1_246). link(t313_1_1_1_1_246, p4_1_1_1_1_246, v5_1_1_1_1_246). link(p2_1_1_1_1_246, p3_1_1_1_1_246, v3_1_1_1_1_246). link(p2_1_1_1_1_246, j1_1_1_1_1_246, v6_1_1_1_1_246). link(p3_1_1_1_1_246, j1_1_1_1_1_246, v7_1_1_1_1_246). link(p5_1_1_1_1_246, p1_1_1_1_1_246, v8_1_1_1_1_246). link(p4_1_1_1_1_246, p6_1_1_1_1_246, v9_1_1_1_1_246). link(p5_1_1_1_1_246, p6_1_1_1_1_246, v10_1_1_1_1_246). link(p6_1_1_1_1_246, p5_1_1_1_1_246, v11_1_1_1_1_246). %center swap link(p7_1_1_1_1_246, p5_1_1_1_1_246, v12_1_1_1_1_246). link(p6_1_1_1_1_246, p10_1_1_1_1_246, v13_1_1_1_1_246). link(t312_1_1_1_1_246, p7_1_1_1_1_246, v14_1_1_1_1_246). link(p8_1_1_1_1_246, p7_1_1_1_1_246, v15_1_1_1_1_246). link(p10_1_1_1_1_246, p9_1_1_1_1_246, v17_1_1_1_1_246). link(t314_1_1_1_1_246, p10_1_1_1_1_246, v18_1_1_1_1_246). link(p9_1_1_1_1_246, p8_1_1_1_1_246, v16_1_1_1_1_246). link(p8_1_1_1_1_246, j2_1_1_1_1_246, v19_1_1_1_1_246). link(p9_1_1_1_1_246, j2_1_1_1_1_246, v20_1_1_1_1_246). full(t311_1_1_1_1_246). full(t312_1_1_1_1_246). full(t313_1_1_1_1_246). full(t314_1_1_1_1_246). goal(j2_1_1_1_1_246). tank(t311_0_0_0_40_247). tank(t312_0_0_0_40_247). tank(t313_0_0_0_40_247). tank(t314_0_0_0_40_247). jet(j1_0_0_0_40_247). jet(j2_0_0_0_40_247). junction(p1_0_0_0_40_247). junction(p2_0_0_0_40_247). junction(p3_0_0_0_40_247). junction(p4_0_0_0_40_247). junction(p5_0_0_0_40_247). junction(p6_0_0_0_40_247). junction(p7_0_0_0_40_247). junction(p8_0_0_0_40_247). junction(p9_0_0_0_40_247). junction(p10_0_0_0_40_247). valve(v1_0_0_0_40_247). valve(v2_0_0_0_40_247). valve(v3_0_0_0_40_247). valve(v4_0_0_0_40_247). valve(v5_0_0_0_40_247). valve(v6_0_0_0_40_247). valve(v7_0_0_0_40_247). valve(v8_0_0_0_40_247). valve(v9_0_0_0_40_247). valve(v10_0_0_0_40_247). valve(v11_0_0_0_40_247). valve(v12_0_0_0_40_247). valve(v13_0_0_0_40_247). valve(v14_0_0_0_40_247). valve(v15_0_0_0_40_247). valve(v16_0_0_0_40_247). valve(v17_0_0_0_40_247). valve(v18_0_0_0_40_247). valve(v19_0_0_0_40_247). valve(v20_0_0_0_40_247). link(t311_0_0_0_40_247, p1_0_0_0_40_247, v1_0_0_0_40_247). link(p1_0_0_0_40_247, p2_0_0_0_40_247, v2_0_0_0_40_247). link(p3_0_0_0_40_247, p4_0_0_0_40_247, v4_0_0_0_40_247). link(t313_0_0_0_40_247, p4_0_0_0_40_247, v5_0_0_0_40_247). link(p2_0_0_0_40_247, p3_0_0_0_40_247, v3_0_0_0_40_247). link(p2_0_0_0_40_247, j1_0_0_0_40_247, v6_0_0_0_40_247). link(p3_0_0_0_40_247, j1_0_0_0_40_247, v7_0_0_0_40_247). link(p5_0_0_0_40_247, p1_0_0_0_40_247, v8_0_0_0_40_247). link(p4_0_0_0_40_247, p6_0_0_0_40_247, v9_0_0_0_40_247). link(p5_0_0_0_40_247, p6_0_0_0_40_247, v10_0_0_0_40_247). link(p6_0_0_0_40_247, p5_0_0_0_40_247, v11_0_0_0_40_247). %center swap link(p7_0_0_0_40_247, p5_0_0_0_40_247, v12_0_0_0_40_247). link(p6_0_0_0_40_247, p10_0_0_0_40_247, v13_0_0_0_40_247). link(t312_0_0_0_40_247, p7_0_0_0_40_247, v14_0_0_0_40_247). link(p8_0_0_0_40_247, p7_0_0_0_40_247, v15_0_0_0_40_247). link(p10_0_0_0_40_247, p9_0_0_0_40_247, v17_0_0_0_40_247). link(t314_0_0_0_40_247, p10_0_0_0_40_247, v18_0_0_0_40_247). link(p9_0_0_0_40_247, p8_0_0_0_40_247, v16_0_0_0_40_247). link(p8_0_0_0_40_247, j2_0_0_0_40_247, v19_0_0_0_40_247). link(p9_0_0_0_40_247, j2_0_0_0_40_247, v20_0_0_0_40_247). full(t311_0_0_0_40_247). full(t312_0_0_0_40_247). full(t313_0_0_0_40_247). full(t314_0_0_0_40_247). goal(j2_0_0_0_40_247). tank(t311_1_0_0_40_247). tank(t312_1_0_0_40_247). tank(t313_1_0_0_40_247). tank(t314_1_0_0_40_247). jet(j1_1_0_0_40_247). jet(j2_1_0_0_40_247). junction(p1_1_0_0_40_247). junction(p2_1_0_0_40_247). junction(p3_1_0_0_40_247). junction(p4_1_0_0_40_247). junction(p5_1_0_0_40_247). junction(p6_1_0_0_40_247). junction(p7_1_0_0_40_247). junction(p8_1_0_0_40_247). junction(p9_1_0_0_40_247). junction(p10_1_0_0_40_247). valve(v1_1_0_0_40_247). valve(v2_1_0_0_40_247). valve(v3_1_0_0_40_247). valve(v4_1_0_0_40_247). valve(v5_1_0_0_40_247). valve(v6_1_0_0_40_247). valve(v7_1_0_0_40_247). valve(v8_1_0_0_40_247). valve(v9_1_0_0_40_247). valve(v10_1_0_0_40_247). valve(v11_1_0_0_40_247). valve(v12_1_0_0_40_247). valve(v13_1_0_0_40_247). valve(v14_1_0_0_40_247). valve(v15_1_0_0_40_247). valve(v16_1_0_0_40_247). valve(v17_1_0_0_40_247). valve(v18_1_0_0_40_247). valve(v19_1_0_0_40_247). valve(v20_1_0_0_40_247). link(t311_1_0_0_40_247, p1_1_0_0_40_247, v1_1_0_0_40_247). link(p1_1_0_0_40_247, p2_1_0_0_40_247, v2_1_0_0_40_247). link(p3_1_0_0_40_247, p4_1_0_0_40_247, v4_1_0_0_40_247). link(t313_1_0_0_40_247, p4_1_0_0_40_247, v5_1_0_0_40_247). link(p2_1_0_0_40_247, p3_1_0_0_40_247, v3_1_0_0_40_247). link(p2_1_0_0_40_247, j1_1_0_0_40_247, v6_1_0_0_40_247). link(p3_1_0_0_40_247, j1_1_0_0_40_247, v7_1_0_0_40_247). link(p5_1_0_0_40_247, p1_1_0_0_40_247, v8_1_0_0_40_247). link(p4_1_0_0_40_247, p6_1_0_0_40_247, v9_1_0_0_40_247). link(p5_1_0_0_40_247, p6_1_0_0_40_247, v10_1_0_0_40_247). link(p6_1_0_0_40_247, p5_1_0_0_40_247, v11_1_0_0_40_247). %center swap link(p7_1_0_0_40_247, p5_1_0_0_40_247, v12_1_0_0_40_247). link(p6_1_0_0_40_247, p10_1_0_0_40_247, v13_1_0_0_40_247). link(t312_1_0_0_40_247, p7_1_0_0_40_247, v14_1_0_0_40_247). link(p8_1_0_0_40_247, p7_1_0_0_40_247, v15_1_0_0_40_247). link(p10_1_0_0_40_247, p9_1_0_0_40_247, v17_1_0_0_40_247). link(t314_1_0_0_40_247, p10_1_0_0_40_247, v18_1_0_0_40_247). link(p9_1_0_0_40_247, p8_1_0_0_40_247, v16_1_0_0_40_247). link(p8_1_0_0_40_247, j2_1_0_0_40_247, v19_1_0_0_40_247). link(p9_1_0_0_40_247, j2_1_0_0_40_247, v20_1_0_0_40_247). full(t311_1_0_0_40_247). full(t312_1_0_0_40_247). full(t313_1_0_0_40_247). full(t314_1_0_0_40_247). goal(j2_1_0_0_40_247). tank(t311_0_1_0_40_247). tank(t312_0_1_0_40_247). tank(t313_0_1_0_40_247). tank(t314_0_1_0_40_247). jet(j1_0_1_0_40_247). jet(j2_0_1_0_40_247). junction(p1_0_1_0_40_247). junction(p2_0_1_0_40_247). junction(p3_0_1_0_40_247). junction(p4_0_1_0_40_247). junction(p5_0_1_0_40_247). junction(p6_0_1_0_40_247). junction(p7_0_1_0_40_247). junction(p8_0_1_0_40_247). junction(p9_0_1_0_40_247). junction(p10_0_1_0_40_247). valve(v1_0_1_0_40_247). valve(v2_0_1_0_40_247). valve(v3_0_1_0_40_247). valve(v4_0_1_0_40_247). valve(v5_0_1_0_40_247). valve(v6_0_1_0_40_247). valve(v7_0_1_0_40_247). valve(v8_0_1_0_40_247). valve(v9_0_1_0_40_247). valve(v10_0_1_0_40_247). valve(v11_0_1_0_40_247). valve(v12_0_1_0_40_247). valve(v13_0_1_0_40_247). valve(v14_0_1_0_40_247). valve(v15_0_1_0_40_247). valve(v16_0_1_0_40_247). valve(v17_0_1_0_40_247). valve(v18_0_1_0_40_247). valve(v19_0_1_0_40_247). valve(v20_0_1_0_40_247). link(t311_0_1_0_40_247, p1_0_1_0_40_247, v1_0_1_0_40_247). link(p1_0_1_0_40_247, p2_0_1_0_40_247, v2_0_1_0_40_247). link(p3_0_1_0_40_247, p4_0_1_0_40_247, v4_0_1_0_40_247). link(t313_0_1_0_40_247, p4_0_1_0_40_247, v5_0_1_0_40_247). link(p2_0_1_0_40_247, p3_0_1_0_40_247, v3_0_1_0_40_247). link(p2_0_1_0_40_247, j1_0_1_0_40_247, v6_0_1_0_40_247). link(p3_0_1_0_40_247, j1_0_1_0_40_247, v7_0_1_0_40_247). link(p5_0_1_0_40_247, p1_0_1_0_40_247, v8_0_1_0_40_247). link(p4_0_1_0_40_247, p6_0_1_0_40_247, v9_0_1_0_40_247). link(p5_0_1_0_40_247, p6_0_1_0_40_247, v10_0_1_0_40_247). link(p6_0_1_0_40_247, p5_0_1_0_40_247, v11_0_1_0_40_247). %center swap link(p7_0_1_0_40_247, p5_0_1_0_40_247, v12_0_1_0_40_247). link(p6_0_1_0_40_247, p10_0_1_0_40_247, v13_0_1_0_40_247). link(t312_0_1_0_40_247, p7_0_1_0_40_247, v14_0_1_0_40_247). link(p8_0_1_0_40_247, p7_0_1_0_40_247, v15_0_1_0_40_247). link(p10_0_1_0_40_247, p9_0_1_0_40_247, v17_0_1_0_40_247). link(t314_0_1_0_40_247, p10_0_1_0_40_247, v18_0_1_0_40_247). link(p9_0_1_0_40_247, p8_0_1_0_40_247, v16_0_1_0_40_247). link(p8_0_1_0_40_247, j2_0_1_0_40_247, v19_0_1_0_40_247). link(p9_0_1_0_40_247, j2_0_1_0_40_247, v20_0_1_0_40_247). full(t311_0_1_0_40_247). full(t312_0_1_0_40_247). full(t313_0_1_0_40_247). full(t314_0_1_0_40_247). goal(j2_0_1_0_40_247). tank(t311_1_1_0_40_247). tank(t312_1_1_0_40_247). tank(t313_1_1_0_40_247). tank(t314_1_1_0_40_247). jet(j1_1_1_0_40_247). jet(j2_1_1_0_40_247). junction(p1_1_1_0_40_247). junction(p2_1_1_0_40_247). junction(p3_1_1_0_40_247). junction(p4_1_1_0_40_247). junction(p5_1_1_0_40_247). junction(p6_1_1_0_40_247). junction(p7_1_1_0_40_247). junction(p8_1_1_0_40_247). junction(p9_1_1_0_40_247). junction(p10_1_1_0_40_247). valve(v1_1_1_0_40_247). valve(v2_1_1_0_40_247). valve(v3_1_1_0_40_247). valve(v4_1_1_0_40_247). valve(v5_1_1_0_40_247). valve(v6_1_1_0_40_247). valve(v7_1_1_0_40_247). valve(v8_1_1_0_40_247). valve(v9_1_1_0_40_247). valve(v10_1_1_0_40_247). valve(v11_1_1_0_40_247). valve(v12_1_1_0_40_247). valve(v13_1_1_0_40_247). valve(v14_1_1_0_40_247). valve(v15_1_1_0_40_247). valve(v16_1_1_0_40_247). valve(v17_1_1_0_40_247). valve(v18_1_1_0_40_247). valve(v19_1_1_0_40_247). valve(v20_1_1_0_40_247). link(t311_1_1_0_40_247, p1_1_1_0_40_247, v1_1_1_0_40_247). link(p1_1_1_0_40_247, p2_1_1_0_40_247, v2_1_1_0_40_247). link(p3_1_1_0_40_247, p4_1_1_0_40_247, v4_1_1_0_40_247). link(t313_1_1_0_40_247, p4_1_1_0_40_247, v5_1_1_0_40_247). link(p2_1_1_0_40_247, p3_1_1_0_40_247, v3_1_1_0_40_247). link(p2_1_1_0_40_247, j1_1_1_0_40_247, v6_1_1_0_40_247). link(p3_1_1_0_40_247, j1_1_1_0_40_247, v7_1_1_0_40_247). link(p5_1_1_0_40_247, p1_1_1_0_40_247, v8_1_1_0_40_247). link(p4_1_1_0_40_247, p6_1_1_0_40_247, v9_1_1_0_40_247). link(p5_1_1_0_40_247, p6_1_1_0_40_247, v10_1_1_0_40_247). link(p6_1_1_0_40_247, p5_1_1_0_40_247, v11_1_1_0_40_247). %center swap link(p7_1_1_0_40_247, p5_1_1_0_40_247, v12_1_1_0_40_247). link(p6_1_1_0_40_247, p10_1_1_0_40_247, v13_1_1_0_40_247). link(t312_1_1_0_40_247, p7_1_1_0_40_247, v14_1_1_0_40_247). link(p8_1_1_0_40_247, p7_1_1_0_40_247, v15_1_1_0_40_247). link(p10_1_1_0_40_247, p9_1_1_0_40_247, v17_1_1_0_40_247). link(t314_1_1_0_40_247, p10_1_1_0_40_247, v18_1_1_0_40_247). link(p9_1_1_0_40_247, p8_1_1_0_40_247, v16_1_1_0_40_247). link(p8_1_1_0_40_247, j2_1_1_0_40_247, v19_1_1_0_40_247). link(p9_1_1_0_40_247, j2_1_1_0_40_247, v20_1_1_0_40_247). full(t311_1_1_0_40_247). full(t312_1_1_0_40_247). full(t313_1_1_0_40_247). full(t314_1_1_0_40_247). goal(j2_1_1_0_40_247). tank(t311_0_0_1_40_247). tank(t312_0_0_1_40_247). tank(t313_0_0_1_40_247). tank(t314_0_0_1_40_247). jet(j1_0_0_1_40_247). jet(j2_0_0_1_40_247). junction(p1_0_0_1_40_247). junction(p2_0_0_1_40_247). junction(p3_0_0_1_40_247). junction(p4_0_0_1_40_247). junction(p5_0_0_1_40_247). junction(p6_0_0_1_40_247). junction(p7_0_0_1_40_247). junction(p8_0_0_1_40_247). junction(p9_0_0_1_40_247). junction(p10_0_0_1_40_247). valve(v1_0_0_1_40_247). valve(v2_0_0_1_40_247). valve(v3_0_0_1_40_247). valve(v4_0_0_1_40_247). valve(v5_0_0_1_40_247). valve(v6_0_0_1_40_247). valve(v7_0_0_1_40_247). valve(v8_0_0_1_40_247). valve(v9_0_0_1_40_247). valve(v10_0_0_1_40_247). valve(v11_0_0_1_40_247). valve(v12_0_0_1_40_247). valve(v13_0_0_1_40_247). valve(v14_0_0_1_40_247). valve(v15_0_0_1_40_247). valve(v16_0_0_1_40_247). valve(v17_0_0_1_40_247). valve(v18_0_0_1_40_247). valve(v19_0_0_1_40_247). valve(v20_0_0_1_40_247). link(t311_0_0_1_40_247, p1_0_0_1_40_247, v1_0_0_1_40_247). link(p1_0_0_1_40_247, p2_0_0_1_40_247, v2_0_0_1_40_247). link(p3_0_0_1_40_247, p4_0_0_1_40_247, v4_0_0_1_40_247). link(t313_0_0_1_40_247, p4_0_0_1_40_247, v5_0_0_1_40_247). link(p2_0_0_1_40_247, p3_0_0_1_40_247, v3_0_0_1_40_247). link(p2_0_0_1_40_247, j1_0_0_1_40_247, v6_0_0_1_40_247). link(p3_0_0_1_40_247, j1_0_0_1_40_247, v7_0_0_1_40_247). link(p5_0_0_1_40_247, p1_0_0_1_40_247, v8_0_0_1_40_247). link(p4_0_0_1_40_247, p6_0_0_1_40_247, v9_0_0_1_40_247). link(p5_0_0_1_40_247, p6_0_0_1_40_247, v10_0_0_1_40_247). link(p6_0_0_1_40_247, p5_0_0_1_40_247, v11_0_0_1_40_247). %center swap link(p7_0_0_1_40_247, p5_0_0_1_40_247, v12_0_0_1_40_247). link(p6_0_0_1_40_247, p10_0_0_1_40_247, v13_0_0_1_40_247). link(t312_0_0_1_40_247, p7_0_0_1_40_247, v14_0_0_1_40_247). link(p8_0_0_1_40_247, p7_0_0_1_40_247, v15_0_0_1_40_247). link(p10_0_0_1_40_247, p9_0_0_1_40_247, v17_0_0_1_40_247). link(t314_0_0_1_40_247, p10_0_0_1_40_247, v18_0_0_1_40_247). link(p9_0_0_1_40_247, p8_0_0_1_40_247, v16_0_0_1_40_247). link(p8_0_0_1_40_247, j2_0_0_1_40_247, v19_0_0_1_40_247). link(p9_0_0_1_40_247, j2_0_0_1_40_247, v20_0_0_1_40_247). full(t311_0_0_1_40_247). full(t312_0_0_1_40_247). full(t313_0_0_1_40_247). full(t314_0_0_1_40_247). goal(j2_0_0_1_40_247). tank(t311_1_0_1_40_247). tank(t312_1_0_1_40_247). tank(t313_1_0_1_40_247). tank(t314_1_0_1_40_247). jet(j1_1_0_1_40_247). jet(j2_1_0_1_40_247). junction(p1_1_0_1_40_247). junction(p2_1_0_1_40_247). junction(p3_1_0_1_40_247). junction(p4_1_0_1_40_247). junction(p5_1_0_1_40_247). junction(p6_1_0_1_40_247). junction(p7_1_0_1_40_247). junction(p8_1_0_1_40_247). junction(p9_1_0_1_40_247). junction(p10_1_0_1_40_247). valve(v1_1_0_1_40_247). valve(v2_1_0_1_40_247). valve(v3_1_0_1_40_247). valve(v4_1_0_1_40_247). valve(v5_1_0_1_40_247). valve(v6_1_0_1_40_247). valve(v7_1_0_1_40_247). valve(v8_1_0_1_40_247). valve(v9_1_0_1_40_247). valve(v10_1_0_1_40_247). valve(v11_1_0_1_40_247). valve(v12_1_0_1_40_247). valve(v13_1_0_1_40_247). valve(v14_1_0_1_40_247). valve(v15_1_0_1_40_247). valve(v16_1_0_1_40_247). valve(v17_1_0_1_40_247). valve(v18_1_0_1_40_247). valve(v19_1_0_1_40_247). valve(v20_1_0_1_40_247). link(t311_1_0_1_40_247, p1_1_0_1_40_247, v1_1_0_1_40_247). link(p1_1_0_1_40_247, p2_1_0_1_40_247, v2_1_0_1_40_247). link(p3_1_0_1_40_247, p4_1_0_1_40_247, v4_1_0_1_40_247). link(t313_1_0_1_40_247, p4_1_0_1_40_247, v5_1_0_1_40_247). link(p2_1_0_1_40_247, p3_1_0_1_40_247, v3_1_0_1_40_247). link(p2_1_0_1_40_247, j1_1_0_1_40_247, v6_1_0_1_40_247). link(p3_1_0_1_40_247, j1_1_0_1_40_247, v7_1_0_1_40_247). link(p5_1_0_1_40_247, p1_1_0_1_40_247, v8_1_0_1_40_247). link(p4_1_0_1_40_247, p6_1_0_1_40_247, v9_1_0_1_40_247). link(p5_1_0_1_40_247, p6_1_0_1_40_247, v10_1_0_1_40_247). link(p6_1_0_1_40_247, p5_1_0_1_40_247, v11_1_0_1_40_247). %center swap link(p7_1_0_1_40_247, p5_1_0_1_40_247, v12_1_0_1_40_247). link(p6_1_0_1_40_247, p10_1_0_1_40_247, v13_1_0_1_40_247). link(t312_1_0_1_40_247, p7_1_0_1_40_247, v14_1_0_1_40_247). link(p8_1_0_1_40_247, p7_1_0_1_40_247, v15_1_0_1_40_247). link(p10_1_0_1_40_247, p9_1_0_1_40_247, v17_1_0_1_40_247). link(t314_1_0_1_40_247, p10_1_0_1_40_247, v18_1_0_1_40_247). link(p9_1_0_1_40_247, p8_1_0_1_40_247, v16_1_0_1_40_247). link(p8_1_0_1_40_247, j2_1_0_1_40_247, v19_1_0_1_40_247). link(p9_1_0_1_40_247, j2_1_0_1_40_247, v20_1_0_1_40_247). full(t311_1_0_1_40_247). full(t312_1_0_1_40_247). full(t313_1_0_1_40_247). full(t314_1_0_1_40_247). goal(j2_1_0_1_40_247). tank(t311_0_1_1_40_247). tank(t312_0_1_1_40_247). tank(t313_0_1_1_40_247). tank(t314_0_1_1_40_247). jet(j1_0_1_1_40_247). jet(j2_0_1_1_40_247). junction(p1_0_1_1_40_247). junction(p2_0_1_1_40_247). junction(p3_0_1_1_40_247). junction(p4_0_1_1_40_247). junction(p5_0_1_1_40_247). junction(p6_0_1_1_40_247). junction(p7_0_1_1_40_247). junction(p8_0_1_1_40_247). junction(p9_0_1_1_40_247). junction(p10_0_1_1_40_247). valve(v1_0_1_1_40_247). valve(v2_0_1_1_40_247). valve(v3_0_1_1_40_247). valve(v4_0_1_1_40_247). valve(v5_0_1_1_40_247). valve(v6_0_1_1_40_247). valve(v7_0_1_1_40_247). valve(v8_0_1_1_40_247). valve(v9_0_1_1_40_247). valve(v10_0_1_1_40_247). valve(v11_0_1_1_40_247). valve(v12_0_1_1_40_247). valve(v13_0_1_1_40_247). valve(v14_0_1_1_40_247). valve(v15_0_1_1_40_247). valve(v16_0_1_1_40_247). valve(v17_0_1_1_40_247). valve(v18_0_1_1_40_247). valve(v19_0_1_1_40_247). valve(v20_0_1_1_40_247). link(t311_0_1_1_40_247, p1_0_1_1_40_247, v1_0_1_1_40_247). link(p1_0_1_1_40_247, p2_0_1_1_40_247, v2_0_1_1_40_247). link(p3_0_1_1_40_247, p4_0_1_1_40_247, v4_0_1_1_40_247). link(t313_0_1_1_40_247, p4_0_1_1_40_247, v5_0_1_1_40_247). link(p2_0_1_1_40_247, p3_0_1_1_40_247, v3_0_1_1_40_247). link(p2_0_1_1_40_247, j1_0_1_1_40_247, v6_0_1_1_40_247). link(p3_0_1_1_40_247, j1_0_1_1_40_247, v7_0_1_1_40_247). link(p5_0_1_1_40_247, p1_0_1_1_40_247, v8_0_1_1_40_247). link(p4_0_1_1_40_247, p6_0_1_1_40_247, v9_0_1_1_40_247). link(p5_0_1_1_40_247, p6_0_1_1_40_247, v10_0_1_1_40_247). link(p6_0_1_1_40_247, p5_0_1_1_40_247, v11_0_1_1_40_247). %center swap link(p7_0_1_1_40_247, p5_0_1_1_40_247, v12_0_1_1_40_247). link(p6_0_1_1_40_247, p10_0_1_1_40_247, v13_0_1_1_40_247). link(t312_0_1_1_40_247, p7_0_1_1_40_247, v14_0_1_1_40_247). link(p8_0_1_1_40_247, p7_0_1_1_40_247, v15_0_1_1_40_247). link(p10_0_1_1_40_247, p9_0_1_1_40_247, v17_0_1_1_40_247). link(t314_0_1_1_40_247, p10_0_1_1_40_247, v18_0_1_1_40_247). link(p9_0_1_1_40_247, p8_0_1_1_40_247, v16_0_1_1_40_247). link(p8_0_1_1_40_247, j2_0_1_1_40_247, v19_0_1_1_40_247). link(p9_0_1_1_40_247, j2_0_1_1_40_247, v20_0_1_1_40_247). full(t311_0_1_1_40_247). full(t312_0_1_1_40_247). full(t313_0_1_1_40_247). full(t314_0_1_1_40_247). goal(j2_0_1_1_40_247). tank(t311_1_1_1_40_247). tank(t312_1_1_1_40_247). tank(t313_1_1_1_40_247). tank(t314_1_1_1_40_247). jet(j1_1_1_1_40_247). jet(j2_1_1_1_40_247). junction(p1_1_1_1_40_247). junction(p2_1_1_1_40_247). junction(p3_1_1_1_40_247). junction(p4_1_1_1_40_247). junction(p5_1_1_1_40_247). junction(p6_1_1_1_40_247). junction(p7_1_1_1_40_247). junction(p8_1_1_1_40_247). junction(p9_1_1_1_40_247). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)