Instance 170-hydraulic_planning-670-0.asp

Name	170-hydraulic_planning-670-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_340). tank(t312_0_0_0_0_340). tank(t313_0_0_0_0_340). tank(t314_0_0_0_0_340). jet(j1_0_0_0_0_340). jet(j2_0_0_0_0_340). junction(p1_0_0_0_0_340). junction(p2_0_0_0_0_340). junction(p3_0_0_0_0_340). junction(p4_0_0_0_0_340). junction(p5_0_0_0_0_340). junction(p6_0_0_0_0_340). junction(p7_0_0_0_0_340). junction(p8_0_0_0_0_340). junction(p9_0_0_0_0_340). junction(p10_0_0_0_0_340). valve(v1_0_0_0_0_340). valve(v2_0_0_0_0_340). valve(v3_0_0_0_0_340). valve(v4_0_0_0_0_340). valve(v5_0_0_0_0_340). valve(v6_0_0_0_0_340). valve(v7_0_0_0_0_340). valve(v8_0_0_0_0_340). valve(v9_0_0_0_0_340). valve(v10_0_0_0_0_340). valve(v11_0_0_0_0_340). valve(v12_0_0_0_0_340). valve(v13_0_0_0_0_340). valve(v14_0_0_0_0_340). valve(v15_0_0_0_0_340). valve(v16_0_0_0_0_340). valve(v17_0_0_0_0_340). valve(v18_0_0_0_0_340). valve(v19_0_0_0_0_340). valve(v20_0_0_0_0_340). link(t311_0_0_0_0_340, p1_0_0_0_0_340, v1_0_0_0_0_340). link(p1_0_0_0_0_340, p2_0_0_0_0_340, v2_0_0_0_0_340). link(p3_0_0_0_0_340, p4_0_0_0_0_340, v4_0_0_0_0_340). link(t313_0_0_0_0_340, p4_0_0_0_0_340, v5_0_0_0_0_340). link(p2_0_0_0_0_340, p3_0_0_0_0_340, v3_0_0_0_0_340). link(p2_0_0_0_0_340, j1_0_0_0_0_340, v6_0_0_0_0_340). link(p3_0_0_0_0_340, j1_0_0_0_0_340, v7_0_0_0_0_340). link(p5_0_0_0_0_340, p1_0_0_0_0_340, v8_0_0_0_0_340). link(p4_0_0_0_0_340, p6_0_0_0_0_340, v9_0_0_0_0_340). link(p5_0_0_0_0_340, p6_0_0_0_0_340, v10_0_0_0_0_340). link(p6_0_0_0_0_340, p5_0_0_0_0_340, v11_0_0_0_0_340). %center swap link(p7_0_0_0_0_340, p5_0_0_0_0_340, v12_0_0_0_0_340). link(p6_0_0_0_0_340, p10_0_0_0_0_340, v13_0_0_0_0_340). link(t312_0_0_0_0_340, p7_0_0_0_0_340, v14_0_0_0_0_340). link(p8_0_0_0_0_340, p7_0_0_0_0_340, v15_0_0_0_0_340). link(p10_0_0_0_0_340, p9_0_0_0_0_340, v17_0_0_0_0_340). link(t314_0_0_0_0_340, p10_0_0_0_0_340, v18_0_0_0_0_340). link(p9_0_0_0_0_340, p8_0_0_0_0_340, v16_0_0_0_0_340). link(p8_0_0_0_0_340, j2_0_0_0_0_340, v19_0_0_0_0_340). link(p9_0_0_0_0_340, j2_0_0_0_0_340, v20_0_0_0_0_340). full(t311_0_0_0_0_340). full(t312_0_0_0_0_340). full(t313_0_0_0_0_340). full(t314_0_0_0_0_340). goal(j2_0_0_0_0_340). tank(t311_1_0_0_0_340). tank(t312_1_0_0_0_340). tank(t313_1_0_0_0_340). tank(t314_1_0_0_0_340). jet(j1_1_0_0_0_340). jet(j2_1_0_0_0_340). junction(p1_1_0_0_0_340). junction(p2_1_0_0_0_340). junction(p3_1_0_0_0_340). junction(p4_1_0_0_0_340). junction(p5_1_0_0_0_340). junction(p6_1_0_0_0_340). junction(p7_1_0_0_0_340). junction(p8_1_0_0_0_340). junction(p9_1_0_0_0_340). junction(p10_1_0_0_0_340). valve(v1_1_0_0_0_340). valve(v2_1_0_0_0_340). valve(v3_1_0_0_0_340). valve(v4_1_0_0_0_340). valve(v5_1_0_0_0_340). valve(v6_1_0_0_0_340). valve(v7_1_0_0_0_340). valve(v8_1_0_0_0_340). valve(v9_1_0_0_0_340). valve(v10_1_0_0_0_340). valve(v11_1_0_0_0_340). valve(v12_1_0_0_0_340). valve(v13_1_0_0_0_340). valve(v14_1_0_0_0_340). valve(v15_1_0_0_0_340). valve(v16_1_0_0_0_340). valve(v17_1_0_0_0_340). valve(v18_1_0_0_0_340). valve(v19_1_0_0_0_340). valve(v20_1_0_0_0_340). link(t311_1_0_0_0_340, p1_1_0_0_0_340, v1_1_0_0_0_340). link(p1_1_0_0_0_340, p2_1_0_0_0_340, v2_1_0_0_0_340). link(p3_1_0_0_0_340, p4_1_0_0_0_340, v4_1_0_0_0_340). link(t313_1_0_0_0_340, p4_1_0_0_0_340, v5_1_0_0_0_340). link(p2_1_0_0_0_340, p3_1_0_0_0_340, v3_1_0_0_0_340). link(p2_1_0_0_0_340, j1_1_0_0_0_340, v6_1_0_0_0_340). link(p3_1_0_0_0_340, j1_1_0_0_0_340, v7_1_0_0_0_340). link(p5_1_0_0_0_340, p1_1_0_0_0_340, v8_1_0_0_0_340). link(p4_1_0_0_0_340, p6_1_0_0_0_340, v9_1_0_0_0_340). link(p5_1_0_0_0_340, p6_1_0_0_0_340, v10_1_0_0_0_340). link(p6_1_0_0_0_340, p5_1_0_0_0_340, v11_1_0_0_0_340). %center swap link(p7_1_0_0_0_340, p5_1_0_0_0_340, v12_1_0_0_0_340). link(p6_1_0_0_0_340, p10_1_0_0_0_340, v13_1_0_0_0_340). link(t312_1_0_0_0_340, p7_1_0_0_0_340, v14_1_0_0_0_340). link(p8_1_0_0_0_340, p7_1_0_0_0_340, v15_1_0_0_0_340). link(p10_1_0_0_0_340, p9_1_0_0_0_340, v17_1_0_0_0_340). link(t314_1_0_0_0_340, p10_1_0_0_0_340, v18_1_0_0_0_340). link(p9_1_0_0_0_340, p8_1_0_0_0_340, v16_1_0_0_0_340). link(p8_1_0_0_0_340, j2_1_0_0_0_340, v19_1_0_0_0_340). link(p9_1_0_0_0_340, j2_1_0_0_0_340, v20_1_0_0_0_340). full(t311_1_0_0_0_340). full(t312_1_0_0_0_340). full(t313_1_0_0_0_340). full(t314_1_0_0_0_340). goal(j2_1_0_0_0_340). tank(t311_0_1_0_0_340). tank(t312_0_1_0_0_340). tank(t313_0_1_0_0_340). tank(t314_0_1_0_0_340). jet(j1_0_1_0_0_340). jet(j2_0_1_0_0_340). junction(p1_0_1_0_0_340). junction(p2_0_1_0_0_340). junction(p3_0_1_0_0_340). junction(p4_0_1_0_0_340). junction(p5_0_1_0_0_340). junction(p6_0_1_0_0_340). junction(p7_0_1_0_0_340). junction(p8_0_1_0_0_340). junction(p9_0_1_0_0_340). junction(p10_0_1_0_0_340). valve(v1_0_1_0_0_340). valve(v2_0_1_0_0_340). valve(v3_0_1_0_0_340). valve(v4_0_1_0_0_340). valve(v5_0_1_0_0_340). valve(v6_0_1_0_0_340). valve(v7_0_1_0_0_340). valve(v8_0_1_0_0_340). valve(v9_0_1_0_0_340). valve(v10_0_1_0_0_340). valve(v11_0_1_0_0_340). valve(v12_0_1_0_0_340). valve(v13_0_1_0_0_340). valve(v14_0_1_0_0_340). valve(v15_0_1_0_0_340). valve(v16_0_1_0_0_340). valve(v17_0_1_0_0_340). valve(v18_0_1_0_0_340). valve(v19_0_1_0_0_340). valve(v20_0_1_0_0_340). link(t311_0_1_0_0_340, p1_0_1_0_0_340, v1_0_1_0_0_340). link(p1_0_1_0_0_340, p2_0_1_0_0_340, v2_0_1_0_0_340). link(p3_0_1_0_0_340, p4_0_1_0_0_340, v4_0_1_0_0_340). link(t313_0_1_0_0_340, p4_0_1_0_0_340, v5_0_1_0_0_340). link(p2_0_1_0_0_340, p3_0_1_0_0_340, v3_0_1_0_0_340). link(p2_0_1_0_0_340, j1_0_1_0_0_340, v6_0_1_0_0_340). link(p3_0_1_0_0_340, j1_0_1_0_0_340, v7_0_1_0_0_340). link(p5_0_1_0_0_340, p1_0_1_0_0_340, v8_0_1_0_0_340). link(p4_0_1_0_0_340, p6_0_1_0_0_340, v9_0_1_0_0_340). link(p5_0_1_0_0_340, p6_0_1_0_0_340, v10_0_1_0_0_340). link(p6_0_1_0_0_340, p5_0_1_0_0_340, v11_0_1_0_0_340). %center swap link(p7_0_1_0_0_340, p5_0_1_0_0_340, v12_0_1_0_0_340). link(p6_0_1_0_0_340, p10_0_1_0_0_340, v13_0_1_0_0_340). link(t312_0_1_0_0_340, p7_0_1_0_0_340, v14_0_1_0_0_340). link(p8_0_1_0_0_340, p7_0_1_0_0_340, v15_0_1_0_0_340). link(p10_0_1_0_0_340, p9_0_1_0_0_340, v17_0_1_0_0_340). link(t314_0_1_0_0_340, p10_0_1_0_0_340, v18_0_1_0_0_340). link(p9_0_1_0_0_340, p8_0_1_0_0_340, v16_0_1_0_0_340). link(p8_0_1_0_0_340, j2_0_1_0_0_340, v19_0_1_0_0_340). link(p9_0_1_0_0_340, j2_0_1_0_0_340, v20_0_1_0_0_340). full(t311_0_1_0_0_340). full(t312_0_1_0_0_340). full(t313_0_1_0_0_340). full(t314_0_1_0_0_340). goal(j2_0_1_0_0_340). tank(t311_1_1_0_0_340). tank(t312_1_1_0_0_340). tank(t313_1_1_0_0_340). tank(t314_1_1_0_0_340). jet(j1_1_1_0_0_340). jet(j2_1_1_0_0_340). junction(p1_1_1_0_0_340). junction(p2_1_1_0_0_340). junction(p3_1_1_0_0_340). junction(p4_1_1_0_0_340). junction(p5_1_1_0_0_340). junction(p6_1_1_0_0_340). junction(p7_1_1_0_0_340). junction(p8_1_1_0_0_340). junction(p9_1_1_0_0_340). junction(p10_1_1_0_0_340). valve(v1_1_1_0_0_340). valve(v2_1_1_0_0_340). valve(v3_1_1_0_0_340). valve(v4_1_1_0_0_340). valve(v5_1_1_0_0_340). valve(v6_1_1_0_0_340). valve(v7_1_1_0_0_340). valve(v8_1_1_0_0_340). valve(v9_1_1_0_0_340). valve(v10_1_1_0_0_340). valve(v11_1_1_0_0_340). valve(v12_1_1_0_0_340). valve(v13_1_1_0_0_340). valve(v14_1_1_0_0_340). valve(v15_1_1_0_0_340). valve(v16_1_1_0_0_340). valve(v17_1_1_0_0_340). valve(v18_1_1_0_0_340). valve(v19_1_1_0_0_340). valve(v20_1_1_0_0_340). link(t311_1_1_0_0_340, p1_1_1_0_0_340, v1_1_1_0_0_340). link(p1_1_1_0_0_340, p2_1_1_0_0_340, v2_1_1_0_0_340). link(p3_1_1_0_0_340, p4_1_1_0_0_340, v4_1_1_0_0_340). link(t313_1_1_0_0_340, p4_1_1_0_0_340, v5_1_1_0_0_340). link(p2_1_1_0_0_340, p3_1_1_0_0_340, v3_1_1_0_0_340). link(p2_1_1_0_0_340, j1_1_1_0_0_340, v6_1_1_0_0_340). link(p3_1_1_0_0_340, j1_1_1_0_0_340, v7_1_1_0_0_340). link(p5_1_1_0_0_340, p1_1_1_0_0_340, v8_1_1_0_0_340). link(p4_1_1_0_0_340, p6_1_1_0_0_340, v9_1_1_0_0_340). link(p5_1_1_0_0_340, p6_1_1_0_0_340, v10_1_1_0_0_340). link(p6_1_1_0_0_340, p5_1_1_0_0_340, v11_1_1_0_0_340). %center swap link(p7_1_1_0_0_340, p5_1_1_0_0_340, v12_1_1_0_0_340). link(p6_1_1_0_0_340, p10_1_1_0_0_340, v13_1_1_0_0_340). link(t312_1_1_0_0_340, p7_1_1_0_0_340, v14_1_1_0_0_340). link(p8_1_1_0_0_340, p7_1_1_0_0_340, v15_1_1_0_0_340). link(p10_1_1_0_0_340, p9_1_1_0_0_340, v17_1_1_0_0_340). link(t314_1_1_0_0_340, p10_1_1_0_0_340, v18_1_1_0_0_340). link(p9_1_1_0_0_340, p8_1_1_0_0_340, v16_1_1_0_0_340). link(p8_1_1_0_0_340, j2_1_1_0_0_340, v19_1_1_0_0_340). link(p9_1_1_0_0_340, j2_1_1_0_0_340, v20_1_1_0_0_340). full(t311_1_1_0_0_340). full(t312_1_1_0_0_340). full(t313_1_1_0_0_340). full(t314_1_1_0_0_340). goal(j2_1_1_0_0_340). tank(t311_0_0_1_0_340). tank(t312_0_0_1_0_340). tank(t313_0_0_1_0_340). tank(t314_0_0_1_0_340). jet(j1_0_0_1_0_340). jet(j2_0_0_1_0_340). junction(p1_0_0_1_0_340). junction(p2_0_0_1_0_340). junction(p3_0_0_1_0_340). junction(p4_0_0_1_0_340). junction(p5_0_0_1_0_340). junction(p6_0_0_1_0_340). junction(p7_0_0_1_0_340). junction(p8_0_0_1_0_340). junction(p9_0_0_1_0_340). junction(p10_0_0_1_0_340). valve(v1_0_0_1_0_340). valve(v2_0_0_1_0_340). valve(v3_0_0_1_0_340). valve(v4_0_0_1_0_340). valve(v5_0_0_1_0_340). valve(v6_0_0_1_0_340). valve(v7_0_0_1_0_340). valve(v8_0_0_1_0_340). valve(v9_0_0_1_0_340). valve(v10_0_0_1_0_340). valve(v11_0_0_1_0_340). valve(v12_0_0_1_0_340). valve(v13_0_0_1_0_340). valve(v14_0_0_1_0_340). valve(v15_0_0_1_0_340). valve(v16_0_0_1_0_340). valve(v17_0_0_1_0_340). valve(v18_0_0_1_0_340). valve(v19_0_0_1_0_340). valve(v20_0_0_1_0_340). link(t311_0_0_1_0_340, p1_0_0_1_0_340, v1_0_0_1_0_340). link(p1_0_0_1_0_340, p2_0_0_1_0_340, v2_0_0_1_0_340). link(p3_0_0_1_0_340, p4_0_0_1_0_340, v4_0_0_1_0_340). link(t313_0_0_1_0_340, p4_0_0_1_0_340, v5_0_0_1_0_340). link(p2_0_0_1_0_340, p3_0_0_1_0_340, v3_0_0_1_0_340). link(p2_0_0_1_0_340, j1_0_0_1_0_340, v6_0_0_1_0_340). link(p3_0_0_1_0_340, j1_0_0_1_0_340, v7_0_0_1_0_340). link(p5_0_0_1_0_340, p1_0_0_1_0_340, v8_0_0_1_0_340). link(p4_0_0_1_0_340, p6_0_0_1_0_340, v9_0_0_1_0_340). link(p5_0_0_1_0_340, p6_0_0_1_0_340, v10_0_0_1_0_340). link(p6_0_0_1_0_340, p5_0_0_1_0_340, v11_0_0_1_0_340). %center swap link(p7_0_0_1_0_340, p5_0_0_1_0_340, v12_0_0_1_0_340). link(p6_0_0_1_0_340, p10_0_0_1_0_340, v13_0_0_1_0_340). link(t312_0_0_1_0_340, p7_0_0_1_0_340, v14_0_0_1_0_340). link(p8_0_0_1_0_340, p7_0_0_1_0_340, v15_0_0_1_0_340). link(p10_0_0_1_0_340, p9_0_0_1_0_340, v17_0_0_1_0_340). link(t314_0_0_1_0_340, p10_0_0_1_0_340, v18_0_0_1_0_340). link(p9_0_0_1_0_340, p8_0_0_1_0_340, v16_0_0_1_0_340). link(p8_0_0_1_0_340, j2_0_0_1_0_340, v19_0_0_1_0_340). link(p9_0_0_1_0_340, j2_0_0_1_0_340, v20_0_0_1_0_340). full(t311_0_0_1_0_340). full(t312_0_0_1_0_340). full(t313_0_0_1_0_340). full(t314_0_0_1_0_340). goal(j2_0_0_1_0_340). tank(t311_1_0_1_0_340). tank(t312_1_0_1_0_340). tank(t313_1_0_1_0_340). tank(t314_1_0_1_0_340). jet(j1_1_0_1_0_340). jet(j2_1_0_1_0_340). junction(p1_1_0_1_0_340). junction(p2_1_0_1_0_340). junction(p3_1_0_1_0_340). junction(p4_1_0_1_0_340). junction(p5_1_0_1_0_340). junction(p6_1_0_1_0_340). junction(p7_1_0_1_0_340). junction(p8_1_0_1_0_340). junction(p9_1_0_1_0_340). junction(p10_1_0_1_0_340). valve(v1_1_0_1_0_340). valve(v2_1_0_1_0_340). valve(v3_1_0_1_0_340). valve(v4_1_0_1_0_340). valve(v5_1_0_1_0_340). valve(v6_1_0_1_0_340). valve(v7_1_0_1_0_340). valve(v8_1_0_1_0_340). valve(v9_1_0_1_0_340). valve(v10_1_0_1_0_340). valve(v11_1_0_1_0_340). valve(v12_1_0_1_0_340). valve(v13_1_0_1_0_340). valve(v14_1_0_1_0_340). valve(v15_1_0_1_0_340). valve(v16_1_0_1_0_340). valve(v17_1_0_1_0_340). valve(v18_1_0_1_0_340). valve(v19_1_0_1_0_340). valve(v20_1_0_1_0_340). link(t311_1_0_1_0_340, p1_1_0_1_0_340, v1_1_0_1_0_340). link(p1_1_0_1_0_340, p2_1_0_1_0_340, v2_1_0_1_0_340). link(p3_1_0_1_0_340, p4_1_0_1_0_340, v4_1_0_1_0_340). link(t313_1_0_1_0_340, p4_1_0_1_0_340, v5_1_0_1_0_340). link(p2_1_0_1_0_340, p3_1_0_1_0_340, v3_1_0_1_0_340). link(p2_1_0_1_0_340, j1_1_0_1_0_340, v6_1_0_1_0_340). link(p3_1_0_1_0_340, j1_1_0_1_0_340, v7_1_0_1_0_340). link(p5_1_0_1_0_340, p1_1_0_1_0_340, v8_1_0_1_0_340). link(p4_1_0_1_0_340, p6_1_0_1_0_340, v9_1_0_1_0_340). link(p5_1_0_1_0_340, p6_1_0_1_0_340, v10_1_0_1_0_340). link(p6_1_0_1_0_340, p5_1_0_1_0_340, v11_1_0_1_0_340). %center swap link(p7_1_0_1_0_340, p5_1_0_1_0_340, v12_1_0_1_0_340). link(p6_1_0_1_0_340, p10_1_0_1_0_340, v13_1_0_1_0_340). link(t312_1_0_1_0_340, p7_1_0_1_0_340, v14_1_0_1_0_340). link(p8_1_0_1_0_340, p7_1_0_1_0_340, v15_1_0_1_0_340). link(p10_1_0_1_0_340, p9_1_0_1_0_340, v17_1_0_1_0_340). link(t314_1_0_1_0_340, p10_1_0_1_0_340, v18_1_0_1_0_340). link(p9_1_0_1_0_340, p8_1_0_1_0_340, v16_1_0_1_0_340). link(p8_1_0_1_0_340, j2_1_0_1_0_340, v19_1_0_1_0_340). link(p9_1_0_1_0_340, j2_1_0_1_0_340, v20_1_0_1_0_340). full(t311_1_0_1_0_340). full(t312_1_0_1_0_340). full(t313_1_0_1_0_340). full(t314_1_0_1_0_340). goal(j2_1_0_1_0_340). tank(t311_0_1_1_0_340). tank(t312_0_1_1_0_340). tank(t313_0_1_1_0_340). tank(t314_0_1_1_0_340). jet(j1_0_1_1_0_340). jet(j2_0_1_1_0_340). junction(p1_0_1_1_0_340). junction(p2_0_1_1_0_340). junction(p3_0_1_1_0_340). junction(p4_0_1_1_0_340). junction(p5_0_1_1_0_340). junction(p6_0_1_1_0_340). junction(p7_0_1_1_0_340). junction(p8_0_1_1_0_340). junction(p9_0_1_1_0_340). junction(p10_0_1_1_0_340). valve(v1_0_1_1_0_340). valve(v2_0_1_1_0_340). valve(v3_0_1_1_0_340). valve(v4_0_1_1_0_340). valve(v5_0_1_1_0_340). valve(v6_0_1_1_0_340). valve(v7_0_1_1_0_340). valve(v8_0_1_1_0_340). valve(v9_0_1_1_0_340). valve(v10_0_1_1_0_340). valve(v11_0_1_1_0_340). valve(v12_0_1_1_0_340). valve(v13_0_1_1_0_340). valve(v14_0_1_1_0_340). valve(v15_0_1_1_0_340). valve(v16_0_1_1_0_340). valve(v17_0_1_1_0_340). valve(v18_0_1_1_0_340). valve(v19_0_1_1_0_340). valve(v20_0_1_1_0_340). link(t311_0_1_1_0_340, p1_0_1_1_0_340, v1_0_1_1_0_340). link(p1_0_1_1_0_340, p2_0_1_1_0_340, v2_0_1_1_0_340). link(p3_0_1_1_0_340, p4_0_1_1_0_340, v4_0_1_1_0_340). link(t313_0_1_1_0_340, p4_0_1_1_0_340, v5_0_1_1_0_340). link(p2_0_1_1_0_340, p3_0_1_1_0_340, v3_0_1_1_0_340). link(p2_0_1_1_0_340, j1_0_1_1_0_340, v6_0_1_1_0_340). link(p3_0_1_1_0_340, j1_0_1_1_0_340, v7_0_1_1_0_340). link(p5_0_1_1_0_340, p1_0_1_1_0_340, v8_0_1_1_0_340). link(p4_0_1_1_0_340, p6_0_1_1_0_340, v9_0_1_1_0_340). link(p5_0_1_1_0_340, p6_0_1_1_0_340, v10_0_1_1_0_340). link(p6_0_1_1_0_340, p5_0_1_1_0_340, v11_0_1_1_0_340). %center swap link(p7_0_1_1_0_340, p5_0_1_1_0_340, v12_0_1_1_0_340). link(p6_0_1_1_0_340, p10_0_1_1_0_340, v13_0_1_1_0_340). link(t312_0_1_1_0_340, p7_0_1_1_0_340, v14_0_1_1_0_340). link(p8_0_1_1_0_340, p7_0_1_1_0_340, v15_0_1_1_0_340). link(p10_0_1_1_0_340, p9_0_1_1_0_340, v17_0_1_1_0_340). link(t314_0_1_1_0_340, p10_0_1_1_0_340, v18_0_1_1_0_340). link(p9_0_1_1_0_340, p8_0_1_1_0_340, v16_0_1_1_0_340). link(p8_0_1_1_0_340, j2_0_1_1_0_340, v19_0_1_1_0_340). link(p9_0_1_1_0_340, j2_0_1_1_0_340, v20_0_1_1_0_340). full(t311_0_1_1_0_340). full(t312_0_1_1_0_340). full(t313_0_1_1_0_340). full(t314_0_1_1_0_340). goal(j2_0_1_1_0_340). tank(t311_1_1_1_0_340). tank(t312_1_1_1_0_340). tank(t313_1_1_1_0_340). tank(t314_1_1_1_0_340). jet(j1_1_1_1_0_340). jet(j2_1_1_1_0_340). junction(p1_1_1_1_0_340). junction(p2_1_1_1_0_340). junction(p3_1_1_1_0_340). junction(p4_1_1_1_0_340). junction(p5_1_1_1_0_340). junction(p6_1_1_1_0_340). junction(p7_1_1_1_0_340). junction(p8_1_1_1_0_340). junction(p9_1_1_1_0_340). junction(p10_1_1_1_0_340). valve(v1_1_1_1_0_340). valve(v2_1_1_1_0_340). valve(v3_1_1_1_0_340). valve(v4_1_1_1_0_340). valve(v5_1_1_1_0_340). valve(v6_1_1_1_0_340). valve(v7_1_1_1_0_340). valve(v8_1_1_1_0_340). valve(v9_1_1_1_0_340). valve(v10_1_1_1_0_340). valve(v11_1_1_1_0_340). valve(v12_1_1_1_0_340). valve(v13_1_1_1_0_340). valve(v14_1_1_1_0_340). valve(v15_1_1_1_0_340). valve(v16_1_1_1_0_340). valve(v17_1_1_1_0_340). valve(v18_1_1_1_0_340). valve(v19_1_1_1_0_340). valve(v20_1_1_1_0_340). link(t311_1_1_1_0_340, p1_1_1_1_0_340, v1_1_1_1_0_340). link(p1_1_1_1_0_340, p2_1_1_1_0_340, v2_1_1_1_0_340). link(p3_1_1_1_0_340, p4_1_1_1_0_340, v4_1_1_1_0_340). link(t313_1_1_1_0_340, p4_1_1_1_0_340, v5_1_1_1_0_340). link(p2_1_1_1_0_340, p3_1_1_1_0_340, v3_1_1_1_0_340). link(p2_1_1_1_0_340, j1_1_1_1_0_340, v6_1_1_1_0_340). link(p3_1_1_1_0_340, j1_1_1_1_0_340, v7_1_1_1_0_340). link(p5_1_1_1_0_340, p1_1_1_1_0_340, v8_1_1_1_0_340). link(p4_1_1_1_0_340, p6_1_1_1_0_340, v9_1_1_1_0_340). link(p5_1_1_1_0_340, p6_1_1_1_0_340, v10_1_1_1_0_340). link(p6_1_1_1_0_340, p5_1_1_1_0_340, v11_1_1_1_0_340). %center swap link(p7_1_1_1_0_340, p5_1_1_1_0_340, v12_1_1_1_0_340). link(p6_1_1_1_0_340, p10_1_1_1_0_340, v13_1_1_1_0_340). link(t312_1_1_1_0_340, p7_1_1_1_0_340, v14_1_1_1_0_340). link(p8_1_1_1_0_340, p7_1_1_1_0_340, v15_1_1_1_0_340). link(p10_1_1_1_0_340, p9_1_1_1_0_340, v17_1_1_1_0_340). link(t314_1_1_1_0_340, p10_1_1_1_0_340, v18_1_1_1_0_340). link(p9_1_1_1_0_340, p8_1_1_1_0_340, v16_1_1_1_0_340). link(p8_1_1_1_0_340, j2_1_1_1_0_340, v19_1_1_1_0_340). link(p9_1_1_1_0_340, j2_1_1_1_0_340, v20_1_1_1_0_340). full(t311_1_1_1_0_340). full(t312_1_1_1_0_340). full(t313_1_1_1_0_340). full(t314_1_1_1_0_340). goal(j2_1_1_1_0_340). tank(t311_0_0_0_1_340). tank(t312_0_0_0_1_340). tank(t313_0_0_0_1_340). tank(t314_0_0_0_1_340). jet(j1_0_0_0_1_340). jet(j2_0_0_0_1_340). junction(p1_0_0_0_1_340). junction(p2_0_0_0_1_340). junction(p3_0_0_0_1_340). junction(p4_0_0_0_1_340). junction(p5_0_0_0_1_340). junction(p6_0_0_0_1_340). junction(p7_0_0_0_1_340). junction(p8_0_0_0_1_340). junction(p9_0_0_0_1_340). junction(p10_0_0_0_1_340). valve(v1_0_0_0_1_340). valve(v2_0_0_0_1_340). valve(v3_0_0_0_1_340). valve(v4_0_0_0_1_340). valve(v5_0_0_0_1_340). valve(v6_0_0_0_1_340). valve(v7_0_0_0_1_340). valve(v8_0_0_0_1_340). valve(v9_0_0_0_1_340). valve(v10_0_0_0_1_340). valve(v11_0_0_0_1_340). valve(v12_0_0_0_1_340). valve(v13_0_0_0_1_340). valve(v14_0_0_0_1_340). valve(v15_0_0_0_1_340). valve(v16_0_0_0_1_340). valve(v17_0_0_0_1_340). valve(v18_0_0_0_1_340). valve(v19_0_0_0_1_340). valve(v20_0_0_0_1_340). link(t311_0_0_0_1_340, p1_0_0_0_1_340, v1_0_0_0_1_340). link(p1_0_0_0_1_340, p2_0_0_0_1_340, v2_0_0_0_1_340). link(p3_0_0_0_1_340, p4_0_0_0_1_340, v4_0_0_0_1_340). link(t313_0_0_0_1_340, p4_0_0_0_1_340, v5_0_0_0_1_340). link(p2_0_0_0_1_340, p3_0_0_0_1_340, v3_0_0_0_1_340). link(p2_0_0_0_1_340, j1_0_0_0_1_340, v6_0_0_0_1_340). link(p3_0_0_0_1_340, j1_0_0_0_1_340, v7_0_0_0_1_340). link(p5_0_0_0_1_340, p1_0_0_0_1_340, v8_0_0_0_1_340). link(p4_0_0_0_1_340, p6_0_0_0_1_340, v9_0_0_0_1_340). link(p5_0_0_0_1_340, p6_0_0_0_1_340, v10_0_0_0_1_340). link(p6_0_0_0_1_340, p5_0_0_0_1_340, v11_0_0_0_1_340). %center swap link(p7_0_0_0_1_340, p5_0_0_0_1_340, v12_0_0_0_1_340). link(p6_0_0_0_1_340, p10_0_0_0_1_340, v13_0_0_0_1_340). link(t312_0_0_0_1_340, p7_0_0_0_1_340, v14_0_0_0_1_340). link(p8_0_0_0_1_340, p7_0_0_0_1_340, v15_0_0_0_1_340). link(p10_0_0_0_1_340, p9_0_0_0_1_340, v17_0_0_0_1_340). link(t314_0_0_0_1_340, p10_0_0_0_1_340, v18_0_0_0_1_340). link(p9_0_0_0_1_340, p8_0_0_0_1_340, v16_0_0_0_1_340). link(p8_0_0_0_1_340, j2_0_0_0_1_340, v19_0_0_0_1_340). link(p9_0_0_0_1_340, j2_0_0_0_1_340, v20_0_0_0_1_340). full(t311_0_0_0_1_340). full(t312_0_0_0_1_340). full(t313_0_0_0_1_340). full(t314_0_0_0_1_340). goal(j2_0_0_0_1_340). tank(t311_1_0_0_1_340). tank(t312_1_0_0_1_340). tank(t313_1_0_0_1_340). tank(t314_1_0_0_1_340). jet(j1_1_0_0_1_340). jet(j2_1_0_0_1_340). junction(p1_1_0_0_1_340). junction(p2_1_0_0_1_340). junction(p3_1_0_0_1_340). junction(p4_1_0_0_1_340). junction(p5_1_0_0_1_340). junction(p6_1_0_0_1_340). junction(p7_1_0_0_1_340). junction(p8_1_0_0_1_340). junction(p9_1_0_0_1_340). junction(p10_1_0_0_1_340). valve(v1_1_0_0_1_340). valve(v2_1_0_0_1_340). valve(v3_1_0_0_1_340). valve(v4_1_0_0_1_340). valve(v5_1_0_0_1_340). valve(v6_1_0_0_1_340). valve(v7_1_0_0_1_340). valve(v8_1_0_0_1_340). valve(v9_1_0_0_1_340). valve(v10_1_0_0_1_340). valve(v11_1_0_0_1_340). valve(v12_1_0_0_1_340). valve(v13_1_0_0_1_340). valve(v14_1_0_0_1_340). valve(v15_1_0_0_1_340). valve(v16_1_0_0_1_340). valve(v17_1_0_0_1_340). valve(v18_1_0_0_1_340). valve(v19_1_0_0_1_340). valve(v20_1_0_0_1_340). link(t311_1_0_0_1_340, p1_1_0_0_1_340, v1_1_0_0_1_340). link(p1_1_0_0_1_340, p2_1_0_0_1_340, v2_1_0_0_1_340). link(p3_1_0_0_1_340, p4_1_0_0_1_340, v4_1_0_0_1_340). link(t313_1_0_0_1_340, p4_1_0_0_1_340, v5_1_0_0_1_340). link(p2_1_0_0_1_340, p3_1_0_0_1_340, v3_1_0_0_1_340). link(p2_1_0_0_1_340, j1_1_0_0_1_340, v6_1_0_0_1_340). link(p3_1_0_0_1_340, j1_1_0_0_1_340, v7_1_0_0_1_340). link(p5_1_0_0_1_340, p1_1_0_0_1_340, v8_1_0_0_1_340). link(p4_1_0_0_1_340, p6_1_0_0_1_340, v9_1_0_0_1_340). link(p5_1_0_0_1_340, p6_1_0_0_1_340, v10_1_0_0_1_340). link(p6_1_0_0_1_340, p5_1_0_0_1_340, v11_1_0_0_1_340). %center swap link(p7_1_0_0_1_340, p5_1_0_0_1_340, v12_1_0_0_1_340). link(p6_1_0_0_1_340, p10_1_0_0_1_340, v13_1_0_0_1_340). link(t312_1_0_0_1_340, p7_1_0_0_1_340, v14_1_0_0_1_340). link(p8_1_0_0_1_340, p7_1_0_0_1_340, v15_1_0_0_1_340). link(p10_1_0_0_1_340, p9_1_0_0_1_340, v17_1_0_0_1_340). link(t314_1_0_0_1_340, p10_1_0_0_1_340, v18_1_0_0_1_340). link(p9_1_0_0_1_340, p8_1_0_0_1_340, v16_1_0_0_1_340). link(p8_1_0_0_1_340, j2_1_0_0_1_340, v19_1_0_0_1_340). link(p9_1_0_0_1_340, j2_1_0_0_1_340, v20_1_0_0_1_340). full(t311_1_0_0_1_340). full(t312_1_0_0_1_340). full(t313_1_0_0_1_340). full(t314_1_0_0_1_340). goal(j2_1_0_0_1_340). tank(t311_0_1_0_1_340). tank(t312_0_1_0_1_340). tank(t313_0_1_0_1_340). tank(t314_0_1_0_1_340). jet(j1_0_1_0_1_340). jet(j2_0_1_0_1_340). junction(p1_0_1_0_1_340). junction(p2_0_1_0_1_340). junction(p3_0_1_0_1_340). junction(p4_0_1_0_1_340). junction(p5_0_1_0_1_340). junction(p6_0_1_0_1_340). junction(p7_0_1_0_1_340). junction(p8_0_1_0_1_340). junction(p9_0_1_0_1_340). junction(p10_0_1_0_1_340). valve(v1_0_1_0_1_340). valve(v2_0_1_0_1_340). valve(v3_0_1_0_1_340). valve(v4_0_1_0_1_340). valve(v5_0_1_0_1_340). valve(v6_0_1_0_1_340). valve(v7_0_1_0_1_340). valve(v8_0_1_0_1_340). valve(v9_0_1_0_1_340). valve(v10_0_1_0_1_340). valve(v11_0_1_0_1_340). valve(v12_0_1_0_1_340). valve(v13_0_1_0_1_340). valve(v14_0_1_0_1_340). valve(v15_0_1_0_1_340). valve(v16_0_1_0_1_340). valve(v17_0_1_0_1_340). valve(v18_0_1_0_1_340). valve(v19_0_1_0_1_340). valve(v20_0_1_0_1_340). link(t311_0_1_0_1_340, p1_0_1_0_1_340, v1_0_1_0_1_340). link(p1_0_1_0_1_340, p2_0_1_0_1_340, v2_0_1_0_1_340). link(p3_0_1_0_1_340, p4_0_1_0_1_340, v4_0_1_0_1_340). link(t313_0_1_0_1_340, p4_0_1_0_1_340, v5_0_1_0_1_340). link(p2_0_1_0_1_340, p3_0_1_0_1_340, v3_0_1_0_1_340). link(p2_0_1_0_1_340, j1_0_1_0_1_340, v6_0_1_0_1_340). link(p3_0_1_0_1_340, j1_0_1_0_1_340, v7_0_1_0_1_340). link(p5_0_1_0_1_340, p1_0_1_0_1_340, v8_0_1_0_1_340). link(p4_0_1_0_1_340, p6_0_1_0_1_340, v9_0_1_0_1_340). link(p5_0_1_0_1_340, p6_0_1_0_1_340, v10_0_1_0_1_340). link(p6_0_1_0_1_340, p5_0_1_0_1_340, v11_0_1_0_1_340). %center swap link(p7_0_1_0_1_340, p5_0_1_0_1_340, v12_0_1_0_1_340). link(p6_0_1_0_1_340, p10_0_1_0_1_340, v13_0_1_0_1_340). link(t312_0_1_0_1_340, p7_0_1_0_1_340, v14_0_1_0_1_340). link(p8_0_1_0_1_340, p7_0_1_0_1_340, v15_0_1_0_1_340). link(p10_0_1_0_1_340, p9_0_1_0_1_340, v17_0_1_0_1_340). link(t314_0_1_0_1_340, p10_0_1_0_1_340, v18_0_1_0_1_340). link(p9_0_1_0_1_340, p8_0_1_0_1_340, v16_0_1_0_1_340). link(p8_0_1_0_1_340, j2_0_1_0_1_340, v19_0_1_0_1_340). link(p9_0_1_0_1_340, j2_0_1_0_1_340, v20_0_1_0_1_340). full(t311_0_1_0_1_340). full(t312_0_1_0_1_340). full(t313_0_1_0_1_340). full(t314_0_1_0_1_340). goal(j2_0_1_0_1_340). tank(t311_1_1_0_1_340). tank(t312_1_1_0_1_340). tank(t313_1_1_0_1_340). tank(t314_1_1_0_1_340). jet(j1_1_1_0_1_340). jet(j2_1_1_0_1_340). junction(p1_1_1_0_1_340). junction(p2_1_1_0_1_340). junction(p3_1_1_0_1_340). junction(p4_1_1_0_1_340). junction(p5_1_1_0_1_340). junction(p6_1_1_0_1_340). junction(p7_1_1_0_1_340). junction(p8_1_1_0_1_340). junction(p9_1_1_0_1_340). junction(p10_1_1_0_1_340). valve(v1_1_1_0_1_340). valve(v2_1_1_0_1_340). valve(v3_1_1_0_1_340). valve(v4_1_1_0_1_340). valve(v5_1_1_0_1_340). valve(v6_1_1_0_1_340). valve(v7_1_1_0_1_340). valve(v8_1_1_0_1_340). valve(v9_1_1_0_1_340). valve(v10_1_1_0_1_340). valve(v11_1_1_0_1_340). valve(v12_1_1_0_1_340). valve(v13_1_1_0_1_340). valve(v14_1_1_0_1_340). valve(v15_1_1_0_1_340). valve(v16_1_1_0_1_340). valve(v17_1_1_0_1_340). valve(v18_1_1_0_1_340). valve(v19_1_1_0_1_340). valve(v20_1_1_0_1_340). link(t311_1_1_0_1_340, p1_1_1_0_1_340, v1_1_1_0_1_340). link(p1_1_1_0_1_340, p2_1_1_0_1_340, v2_1_1_0_1_340). link(p3_1_1_0_1_340, p4_1_1_0_1_340, v4_1_1_0_1_340). link(t313_1_1_0_1_340, p4_1_1_0_1_340, v5_1_1_0_1_340). link(p2_1_1_0_1_340, p3_1_1_0_1_340, v3_1_1_0_1_340). link(p2_1_1_0_1_340, j1_1_1_0_1_340, v6_1_1_0_1_340). link(p3_1_1_0_1_340, j1_1_1_0_1_340, v7_1_1_0_1_340). link(p5_1_1_0_1_340, p1_1_1_0_1_340, v8_1_1_0_1_340). link(p4_1_1_0_1_340, p6_1_1_0_1_340, v9_1_1_0_1_340). link(p5_1_1_0_1_340, p6_1_1_0_1_340, v10_1_1_0_1_340). link(p6_1_1_0_1_340, p5_1_1_0_1_340, v11_1_1_0_1_340). %center swap link(p7_1_1_0_1_340, p5_1_1_0_1_340, v12_1_1_0_1_340). link(p6_1_1_0_1_340, p10_1_1_0_1_340, v13_1_1_0_1_340). link(t312_1_1_0_1_340, p7_1_1_0_1_340, v14_1_1_0_1_340). link(p8_1_1_0_1_340, p7_1_1_0_1_340, v15_1_1_0_1_340). link(p10_1_1_0_1_340, p9_1_1_0_1_340, v17_1_1_0_1_340). link(t314_1_1_0_1_340, p10_1_1_0_1_340, v18_1_1_0_1_340). link(p9_1_1_0_1_340, p8_1_1_0_1_340, v16_1_1_0_1_340). link(p8_1_1_0_1_340, j2_1_1_0_1_340, v19_1_1_0_1_340). link(p9_1_1_0_1_340, j2_1_1_0_1_340, v20_1_1_0_1_340). full(t311_1_1_0_1_340). full(t312_1_1_0_1_340). full(t313_1_1_0_1_340). full(t314_1_1_0_1_340). goal(j2_1_1_0_1_340). tank(t311_0_0_1_1_340). tank(t312_0_0_1_1_340). tank(t313_0_0_1_1_340). tank(t314_0_0_1_1_340). jet(j1_0_0_1_1_340). jet(j2_0_0_1_1_340). junction(p1_0_0_1_1_340). junction(p2_0_0_1_1_340). junction(p3_0_0_1_1_340). junction(p4_0_0_1_1_340). junction(p5_0_0_1_1_340). junction(p6_0_0_1_1_340). junction(p7_0_0_1_1_340). junction(p8_0_0_1_1_340). junction(p9_0_0_1_1_340). junction(p10_0_0_1_1_340). valve(v1_0_0_1_1_340). valve(v2_0_0_1_1_340). valve(v3_0_0_1_1_340). valve(v4_0_0_1_1_340). valve(v5_0_0_1_1_340). valve(v6_0_0_1_1_340). valve(v7_0_0_1_1_340). valve(v8_0_0_1_1_340). valve(v9_0_0_1_1_340). valve(v10_0_0_1_1_340). valve(v11_0_0_1_1_340). valve(v12_0_0_1_1_340). valve(v13_0_0_1_1_340). valve(v14_0_0_1_1_340). valve(v15_0_0_1_1_340). valve(v16_0_0_1_1_340). valve(v17_0_0_1_1_340). valve(v18_0_0_1_1_340). valve(v19_0_0_1_1_340). valve(v20_0_0_1_1_340). link(t311_0_0_1_1_340, p1_0_0_1_1_340, v1_0_0_1_1_340). link(p1_0_0_1_1_340, p2_0_0_1_1_340, v2_0_0_1_1_340). link(p3_0_0_1_1_340, p4_0_0_1_1_340, v4_0_0_1_1_340). link(t313_0_0_1_1_340, p4_0_0_1_1_340, v5_0_0_1_1_340). link(p2_0_0_1_1_340, p3_0_0_1_1_340, v3_0_0_1_1_340). link(p2_0_0_1_1_340, j1_0_0_1_1_340, v6_0_0_1_1_340). link(p3_0_0_1_1_340, j1_0_0_1_1_340, v7_0_0_1_1_340). link(p5_0_0_1_1_340, p1_0_0_1_1_340, v8_0_0_1_1_340). link(p4_0_0_1_1_340, p6_0_0_1_1_340, v9_0_0_1_1_340). link(p5_0_0_1_1_340, p6_0_0_1_1_340, v10_0_0_1_1_340). link(p6_0_0_1_1_340, p5_0_0_1_1_340, v11_0_0_1_1_340). %center swap link(p7_0_0_1_1_340, p5_0_0_1_1_340, v12_0_0_1_1_340). link(p6_0_0_1_1_340, p10_0_0_1_1_340, v13_0_0_1_1_340). link(t312_0_0_1_1_340, p7_0_0_1_1_340, v14_0_0_1_1_340). link(p8_0_0_1_1_340, p7_0_0_1_1_340, v15_0_0_1_1_340). link(p10_0_0_1_1_340, p9_0_0_1_1_340, v17_0_0_1_1_340). link(t314_0_0_1_1_340, p10_0_0_1_1_340, v18_0_0_1_1_340). link(p9_0_0_1_1_340, p8_0_0_1_1_340, v16_0_0_1_1_340). link(p8_0_0_1_1_340, j2_0_0_1_1_340, v19_0_0_1_1_340). link(p9_0_0_1_1_340, j2_0_0_1_1_340, v20_0_0_1_1_340). full(t311_0_0_1_1_340). full(t312_0_0_1_1_340). full(t313_0_0_1_1_340). full(t314_0_0_1_1_340). goal(j2_0_0_1_1_340). tank(t311_1_0_1_1_340). tank(t312_1_0_1_1_340). tank(t313_1_0_1_1_340). tank(t314_1_0_1_1_340). jet(j1_1_0_1_1_340). jet(j2_1_0_1_1_340). junction(p1_1_0_1_1_340). junction(p2_1_0_1_1_340). junction(p3_1_0_1_1_340). junction(p4_1_0_1_1_340). junction(p5_1_0_1_1_340). junction(p6_1_0_1_1_340). junction(p7_1_0_1_1_340). junction(p8_1_0_1_1_340). junction(p9_1_0_1_1_340). junction(p10_1_0_1_1_340). valve(v1_1_0_1_1_340). valve(v2_1_0_1_1_340). valve(v3_1_0_1_1_340). valve(v4_1_0_1_1_340). valve(v5_1_0_1_1_340). valve(v6_1_0_1_1_340). valve(v7_1_0_1_1_340). valve(v8_1_0_1_1_340). valve(v9_1_0_1_1_340). valve(v10_1_0_1_1_340). valve(v11_1_0_1_1_340). valve(v12_1_0_1_1_340). valve(v13_1_0_1_1_340). valve(v14_1_0_1_1_340). valve(v15_1_0_1_1_340). valve(v16_1_0_1_1_340). valve(v17_1_0_1_1_340). valve(v18_1_0_1_1_340). valve(v19_1_0_1_1_340). valve(v20_1_0_1_1_340). link(t311_1_0_1_1_340, p1_1_0_1_1_340, v1_1_0_1_1_340). link(p1_1_0_1_1_340, p2_1_0_1_1_340, v2_1_0_1_1_340). link(p3_1_0_1_1_340, p4_1_0_1_1_340, v4_1_0_1_1_340). link(t313_1_0_1_1_340, p4_1_0_1_1_340, v5_1_0_1_1_340). link(p2_1_0_1_1_340, p3_1_0_1_1_340, v3_1_0_1_1_340). link(p2_1_0_1_1_340, j1_1_0_1_1_340, v6_1_0_1_1_340). link(p3_1_0_1_1_340, j1_1_0_1_1_340, v7_1_0_1_1_340). link(p5_1_0_1_1_340, p1_1_0_1_1_340, v8_1_0_1_1_340). link(p4_1_0_1_1_340, p6_1_0_1_1_340, v9_1_0_1_1_340). link(p5_1_0_1_1_340, p6_1_0_1_1_340, v10_1_0_1_1_340). link(p6_1_0_1_1_340, p5_1_0_1_1_340, v11_1_0_1_1_340). %center swap link(p7_1_0_1_1_340, p5_1_0_1_1_340, v12_1_0_1_1_340). link(p6_1_0_1_1_340, p10_1_0_1_1_340, v13_1_0_1_1_340). link(t312_1_0_1_1_340, p7_1_0_1_1_340, v14_1_0_1_1_340). link(p8_1_0_1_1_340, p7_1_0_1_1_340, v15_1_0_1_1_340). link(p10_1_0_1_1_340, p9_1_0_1_1_340, v17_1_0_1_1_340). link(t314_1_0_1_1_340, p10_1_0_1_1_340, v18_1_0_1_1_340). link(p9_1_0_1_1_340, p8_1_0_1_1_340, v16_1_0_1_1_340). link(p8_1_0_1_1_340, j2_1_0_1_1_340, v19_1_0_1_1_340). link(p9_1_0_1_1_340, j2_1_0_1_1_340, v20_1_0_1_1_340). full(t311_1_0_1_1_340). full(t312_1_0_1_1_340). full(t313_1_0_1_1_340). full(t314_1_0_1_1_340). goal(j2_1_0_1_1_340). tank(t311_0_1_1_1_340). tank(t312_0_1_1_1_340). tank(t313_0_1_1_1_340). tank(t314_0_1_1_1_340). jet(j1_0_1_1_1_340). jet(j2_0_1_1_1_340). junction(p1_0_1_1_1_340). junction(p2_0_1_1_1_340). junction(p3_0_1_1_1_340). junction(p4_0_1_1_1_340). junction(p5_0_1_1_1_340). junction(p6_0_1_1_1_340). junction(p7_0_1_1_1_340). junction(p8_0_1_1_1_340). junction(p9_0_1_1_1_340). junction(p10_0_1_1_1_340). valve(v1_0_1_1_1_340). valve(v2_0_1_1_1_340). valve(v3_0_1_1_1_340). valve(v4_0_1_1_1_340). valve(v5_0_1_1_1_340). valve(v6_0_1_1_1_340). valve(v7_0_1_1_1_340). valve(v8_0_1_1_1_340). valve(v9_0_1_1_1_340). valve(v10_0_1_1_1_340). valve(v11_0_1_1_1_340). valve(v12_0_1_1_1_340). valve(v13_0_1_1_1_340). valve(v14_0_1_1_1_340). valve(v15_0_1_1_1_340). valve(v16_0_1_1_1_340). valve(v17_0_1_1_1_340). valve(v18_0_1_1_1_340). valve(v19_0_1_1_1_340). valve(v20_0_1_1_1_340). link(t311_0_1_1_1_340, p1_0_1_1_1_340, v1_0_1_1_1_340). link(p1_0_1_1_1_340, p2_0_1_1_1_340, v2_0_1_1_1_340). link(p3_0_1_1_1_340, p4_0_1_1_1_340, v4_0_1_1_1_340). link(t313_0_1_1_1_340, p4_0_1_1_1_340, v5_0_1_1_1_340). link(p2_0_1_1_1_340, p3_0_1_1_1_340, v3_0_1_1_1_340). link(p2_0_1_1_1_340, j1_0_1_1_1_340, v6_0_1_1_1_340). link(p3_0_1_1_1_340, j1_0_1_1_1_340, v7_0_1_1_1_340). link(p5_0_1_1_1_340, p1_0_1_1_1_340, v8_0_1_1_1_340). link(p4_0_1_1_1_340, p6_0_1_1_1_340, v9_0_1_1_1_340). link(p5_0_1_1_1_340, p6_0_1_1_1_340, v10_0_1_1_1_340). link(p6_0_1_1_1_340, p5_0_1_1_1_340, v11_0_1_1_1_340). %center swap link(p7_0_1_1_1_340, p5_0_1_1_1_340, v12_0_1_1_1_340). link(p6_0_1_1_1_340, p10_0_1_1_1_340, v13_0_1_1_1_340). link(t312_0_1_1_1_340, p7_0_1_1_1_340, v14_0_1_1_1_340). link(p8_0_1_1_1_340, p7_0_1_1_1_340, v15_0_1_1_1_340). link(p10_0_1_1_1_340, p9_0_1_1_1_340, v17_0_1_1_1_340). link(t314_0_1_1_1_340, p10_0_1_1_1_340, v18_0_1_1_1_340). link(p9_0_1_1_1_340, p8_0_1_1_1_340, v16_0_1_1_1_340). link(p8_0_1_1_1_340, j2_0_1_1_1_340, v19_0_1_1_1_340). link(p9_0_1_1_1_340, j2_0_1_1_1_340, v20_0_1_1_1_340). full(t311_0_1_1_1_340). full(t312_0_1_1_1_340). full(t313_0_1_1_1_340). full(t314_0_1_1_1_340). goal(j2_0_1_1_1_340). tank(t311_1_1_1_1_340). tank(t312_1_1_1_1_340). tank(t313_1_1_1_1_340). tank(t314_1_1_1_1_340). jet(j1_1_1_1_1_340). jet(j2_1_1_1_1_340). junction(p1_1_1_1_1_340). junction(p2_1_1_1_1_340). junction(p3_1_1_1_1_340). junction(p4_1_1_1_1_340). junction(p5_1_1_1_1_340). junction(p6_1_1_1_1_340). junction(p7_1_1_1_1_340). junction(p8_1_1_1_1_340). junction(p9_1_1_1_1_340). junction(p10_1_1_1_1_340). valve(v1_1_1_1_1_340). valve(v2_1_1_1_1_340). valve(v3_1_1_1_1_340). valve(v4_1_1_1_1_340). valve(v5_1_1_1_1_340). valve(v6_1_1_1_1_340). valve(v7_1_1_1_1_340). valve(v8_1_1_1_1_340). valve(v9_1_1_1_1_340). valve(v10_1_1_1_1_340). valve(v11_1_1_1_1_340). valve(v12_1_1_1_1_340). valve(v13_1_1_1_1_340). valve(v14_1_1_1_1_340). valve(v15_1_1_1_1_340). valve(v16_1_1_1_1_340). valve(v17_1_1_1_1_340). valve(v18_1_1_1_1_340). valve(v19_1_1_1_1_340). valve(v20_1_1_1_1_340). link(t311_1_1_1_1_340, p1_1_1_1_1_340, v1_1_1_1_1_340). link(p1_1_1_1_1_340, p2_1_1_1_1_340, v2_1_1_1_1_340). link(p3_1_1_1_1_340, p4_1_1_1_1_340, v4_1_1_1_1_340). link(t313_1_1_1_1_340, p4_1_1_1_1_340, v5_1_1_1_1_340). link(p2_1_1_1_1_340, p3_1_1_1_1_340, v3_1_1_1_1_340). link(p2_1_1_1_1_340, j1_1_1_1_1_340, v6_1_1_1_1_340). link(p3_1_1_1_1_340, j1_1_1_1_1_340, v7_1_1_1_1_340). link(p5_1_1_1_1_340, p1_1_1_1_1_340, v8_1_1_1_1_340). link(p4_1_1_1_1_340, p6_1_1_1_1_340, v9_1_1_1_1_340). link(p5_1_1_1_1_340, p6_1_1_1_1_340, v10_1_1_1_1_340). link(p6_1_1_1_1_340, p5_1_1_1_1_340, v11_1_1_1_1_340). %center swap link(p7_1_1_1_1_340, p5_1_1_1_1_340, v12_1_1_1_1_340). link(p6_1_1_1_1_340, p10_1_1_1_1_340, v13_1_1_1_1_340). link(t312_1_1_1_1_340, p7_1_1_1_1_340, v14_1_1_1_1_340). link(p8_1_1_1_1_340, p7_1_1_1_1_340, v15_1_1_1_1_340). link(p10_1_1_1_1_340, p9_1_1_1_1_340, v17_1_1_1_1_340). link(t314_1_1_1_1_340, p10_1_1_1_1_340, v18_1_1_1_1_340). link(p9_1_1_1_1_340, p8_1_1_1_1_340, v16_1_1_1_1_340). link(p8_1_1_1_1_340, j2_1_1_1_1_340, v19_1_1_1_1_340). link(p9_1_1_1_1_340, j2_1_1_1_1_340, v20_1_1_1_1_340). full(t311_1_1_1_1_340). full(t312_1_1_1_1_340). full(t313_1_1_1_1_340). full(t314_1_1_1_1_340). goal(j2_1_1_1_1_340). tank(t311_0_0_0_504_341). tank(t312_0_0_0_504_341). tank(t313_0_0_0_504_341). tank(t314_0_0_0_504_341). jet(j1_0_0_0_504_341). jet(j2_0_0_0_504_341). junction(p1_0_0_0_504_341). junction(p2_0_0_0_504_341). junction(p3_0_0_0_504_341). junction(p4_0_0_0_504_341). junction(p5_0_0_0_504_341). junction(p6_0_0_0_504_341). junction(p7_0_0_0_504_341). junction(p8_0_0_0_504_341). junction(p9_0_0_0_504_341). junction(p10_0_0_0_504_341). valve(v1_0_0_0_504_341). valve(v2_0_0_0_504_341). valve(v3_0_0_0_504_341). valve(v4_0_0_0_504_341). valve(v5_0_0_0_504_341). valve(v6_0_0_0_504_341). valve(v7_0_0_0_504_341). valve(v8_0_0_0_504_341). valve(v9_0_0_0_504_341). valve(v10_0_0_0_504_341). valve(v11_0_0_0_504_341). valve(v12_0_0_0_504_341). valve(v13_0_0_0_504_341). valve(v14_0_0_0_504_341). valve(v15_0_0_0_504_341). valve(v16_0_0_0_504_341). valve(v17_0_0_0_504_341). valve(v18_0_0_0_504_341). valve(v19_0_0_0_504_341). valve(v20_0_0_0_504_341). link(t311_0_0_0_504_341, p1_0_0_0_504_341, v1_0_0_0_504_341). link(p1_0_0_0_504_341, p2_0_0_0_504_341, v2_0_0_0_504_341). link(p3_0_0_0_504_341, p4_0_0_0_504_341, v4_0_0_0_504_341). link(t313_0_0_0_504_341, p4_0_0_0_504_341, v5_0_0_0_504_341). link(p2_0_0_0_504_341, p3_0_0_0_504_341, v3_0_0_0_504_341). link(p2_0_0_0_504_341, j1_0_0_0_504_341, v6_0_0_0_504_341). link(p3_0_0_0_504_341, j1_0_0_0_504_341, v7_0_0_0_504_341). link(p5_0_0_0_504_341, p1_0_0_0_504_341, v8_0_0_0_504_341). link(p4_0_0_0_504_341, p6_0_0_0_504_341, v9_0_0_0_504_341). link(p5_0_0_0_504_341, p6_0_0_0_504_341, v10_0_0_0_504_341). link(p6_0_0_0_504_341, p5_0_0_0_504_341, v11_0_0_0_504_341). %center swap link(p7_0_0_0_504_341, p5_0_0_0_504_341, v12_0_0_0_504_341). link(p6_0_0_0_504_341, p10_0_0_0_504_341, v13_0_0_0_504_341). link(t312_0_0_0_504_341, p7_0_0_0_504_341, v14_0_0_0_504_341). link(p8_0_0_0_504_341, p7_0_0_0_504_341, v15_0_0_0_504_341). link(p10_0_0_0_504_341, p9_0_0_0_504_341, v17_0_0_0_504_341). link(t314_0_0_0_504_341, p10_0_0_0_504_341, v18_0_0_0_504_341). link(p9_0_0_0_504_341, p8_0_0_0_504_341, v16_0_0_0_504_341). link(p8_0_0_0_504_341, j2_0_0_0_504_341, v19_0_0_0_504_341). link(p9_0_0_0_504_341, j2_0_0_0_504_341, v20_0_0_0_504_341). full(t311_0_0_0_504_341). full(t312_0_0_0_504_341). full(t313_0_0_0_504_341). full(t314_0_0_0_504_341). goal(j2_0_0_0_504_341). tank(t311_1_0_0_504_341). tank(t312_1_0_0_504_341). tank(t313_1_0_0_504_341). tank(t314_1_0_0_504_341). jet(j1_1_0_0_504_341). jet(j2_1_0_0_504_341). junction(p1_1_0_0_504_341). junction(p2_1_0_0_504_341). junction(p3_1_0_0_504_341). junction(p4_1_0_0_504_341). junction(p5_1_0_0_504_341). junction(p6_1_0_0_504_341). junction(p7_1_0_0_504_341). junction(p8_1_0_0_504_341). junction(p9_1_0_0_504_341). junction(p10_1_0_0_504_341). valve(v1_1_0_0_504_341). valve(v2_1_0_0_504_341). valve(v3_1_0_0_504_341). valve(v4_1_0_0_504_341). valve(v5_1_0_0_504_341). valve(v6_1_0_0_504_341). valve(v7_1_0_0_504_341). valve(v8_1_0_0_504_341). valve(v9_1_0_0_504_341). valve(v10_1_0_0_504_341). valve(v11_1_0_0_504_341). valve(v12_1_0_0_504_341). valve(v13_1_0_0_504_341). valve(v14_1_0_0_504_341). valve(v15_1_0_0_504_341). valve(v16_1_0_0_504_341). valve(v17_1_0_0_504_341). valve(v18_1_0_0_504_341). valve(v19_1_0_0_504_341). valve(v20_1_0_0_504_341). link(t311_1_0_0_504_341, p1_1_0_0_504_341, v1_1_0_0_504_341). link(p1_1_0_0_504_341, p2_1_0_0_504_341, v2_1_0_0_504_341). link(p3_1_0_0_504_341, p4_1_0_0_504_341, v4_1_0_0_504_341). link(t313_1_0_0_504_341, p4_1_0_0_504_341, v5_1_0_0_504_341). link(p2_1_0_0_504_341, p3_1_0_0_504_341, v3_1_0_0_504_341). link(p2_1_0_0_504_341, j1_1_0_0_504_341, v6_1_0_0_504_341). link(p3_1_0_0_504_341, j1_1_0_0_504_341, v7_1_0_0_504_341). link(p5_1_0_0_504_341, p1_1_0_0_504_341, v8_1_0_0_504_341). link(p4_1_0_0_504_341, p6_1_0_0_504_341, v9_1_0_0_504_341). link(p5_1_0_0_504_341, p6_1_0_0_504_341, v10_1_0_0_504_341). link(p6_1_0_0_504_341, p5_1_0_0_504_341, v11_1_0_0_504_341). %center swap link(p7_1_0_0_504_341, p5_1_0_0_504_341, v12_1_0_0_504_341). link(p6_1_0_0_504_341, p10_1_0_0_504_341, v13_1_0_0_504_341). link(t312_1_0_0_504_341, p7_1_0_0_504_341, v14_1_0_0_504_341). link(p8_1_0_0_504_341, p7_1_0_0_504_341, v15_1_0_0_504_341). link(p10_1_0_0_504_341, p9_1_0_0_504_341, v17_1_0_0_504_341). link(t314_1_0_0_504_341, p10_1_0_0_504_341, v18_1_0_0_504_341). link(p9_1_0_0_504_341, p8_1_0_0_504_341, v16_1_0_0_504_341). link(p8_1_0_0_504_341, j2_1_0_0_504_341, v19_1_0_0_504_341). link(p9_1_0_0_504_341, j2_1_0_0_504_341, v20_1_0_0_504_341). full(t311_1_0_0_504_341). full(t312_1_0_0_504_341). full(t313_1_0_0_504_341). full(t314_1_0_0_504_341). goal(j2_1_0_0_504_341). tank(t311_0_1_0_504_341). tank(t312_0_1_0_504_341). tank(t313_0_1_0_504_341). tank(t314_0_1_0_504_341). jet(j1_0_1_0_504_341). jet(j2_0_1_0_504_341). junction(p1_0_1_0_504_341). junction(p2_0_1_0_504_341). junction(p3_0_1_0_504_341). junction(p4_0_1_0_504_341). junction(p5_0_1_0_504_341). junction(p6_0_1_0_504_341). junction(p7_0_1_0_504_341). junction(p8_0_1_0_504_341). junction(p9_0_1_0_504_341). junction(p10_0_1_0_504_341). valve(v1_0_1_0_504_341). valve(v2_0_1_0_504_341). valve(v3_0_1_0_504_341). valve(v4_0_1_0_504_341). valve(v5_0_1_0_504_341). valve(v6_0_1_0_504_341). valve(v7_0_1_0_504_341). valve(v8_0_1_0_504_341). valve(v9_0_1_0_504_341). valve(v10_0_1_0_504_341). valve(v11_0_1_0_504_341). valve(v12_0_1_0_504_341). valve(v13_0_1_0_504_341). valve(v14_0_1_0_504_341). valve(v15_0_1_0_504_341). valve(v16_0_1_0_504_341). valve(v17_0_1_0_504_341). valve(v18_0_1_0_504_341). valve(v19_0_1_0_504_341). valve(v20_0_1_0_504_341). link(t311_0_1_0_504_341, p1_0_1_0_504_341, v1_0_1_0_504_341). link(p1_0_1_0_504_341, p2_0_1_0_504_341, v2_0_1_0_504_341). link(p3_0_1_0_504_341, p4_0_1_0_504_341, v4_0_1_0_504_341). link(t313_0_1_0_504_341, p4_0_1_0_504_341, v5_0_1_0_504_341). link(p2_0_1_0_504_341, p3_0_1_0_504_341, v3_0_1_0_504_341). link(p2_0_1_0_504_341, j1_0_1_0_504_341, v6_0_1_0_504_341). link(p3_0_1_0_504_341, j1_0_1_0_504_341, v7_0_1_0_504_341). link(p5_0_1_0_504_341, p1_0_1_0_504_341, v8_0_1_0_504_341). link(p4_0_1_0_504_341, p6_0_1_0_504_341, v9_0_1_0_504_341). link(p5_0_1_0_504_341, p6_0_1_0_504_341, v10_0_1_0_504_341). link(p6_0_1_0_504_341, p5_0_1_0_504_341, v11_0_1_0_504_341). %center swap link(p7_0_1_0_504_341, p5_0_1_0_504_341, v12_0_1_0_504_341). link(p6_0_1_0_504_341, p10_0_1_0_504_341, v13_0_1_0_504_341). link(t312_0_1_0_504_341, p7_0_1_0_504_341, v14_0_1_0_504_341). link(p8_0_1_0_504_341, p7_0_1_0_504_341, v15_0_1_0_504_341). link(p10_0_1_0_504_341, p9_0_1_0_504_341, v17_0_1_0_504_341). link(t314_0_1_0_504_341, p10_0_1_0_504_341, v18_0_1_0_504_341). link(p9_0_1_0_504_341, p8_0_1_0_504_341, v16_0_1_0_504_341). link(p8_0_1_0_504_341, j2_0_1_0_504_341, v19_0_1_0_504_341). link(p9_0_1_0_504_341, j2_0_1_0_504_341, v20_0_1_0_504_341). full(t311_0_1_0_504_341). full(t312_0_1_0_504_341). full(t313_0_1_0_504_341). full(t314_0_1_0_504_341). goal(j2_0_1_0_504_341). tank(t311_1_1_0_504_341). tank(t312_1_1_0_504_341). tank(t313_1_1_0_504_341). tank(t314_1_1_0_504_341). jet(j1_1_1_0_504_341). jet(j2_1_1_0_504_341). junction(p1_1_1_0_504_341). junction(p2_1_1_0_504_341). junction(p3_1_1_0_504_341). junction(p4_1_1_0_504_341). junction(p5_1_1_0_504_341). junction(p6_1_1_0_504_341). junction(p7_1_1_0_504_341). junction(p8_1_1_0_504_341). junction(p9_1_1_0_504_341). junction(p10_1_1_0_504_341). valve(v1_1_1_0_504_341). valve(v2_1_1_0_504_341). valve(v3_1_1_0_504_341). valve(v4_1_1_0_504_341). valve(v5_1_1_0_504_341). valve(v6_1_1_0_504_341). valve(v7_1_1_0_504_341). valve(v8_1_1_0_504_341). valve(v9_1_1_0_504_341). valve(v10_1_1_0_504_341). valve(v11_1_1_0_504_341). valve(v12_1_1_0_504_341). valve(v13_1_1_0_504_341). valve(v14_1_1_0_504_341). valve(v15_1_1_0_504_341). valve(v16_1_1_0_504_341). valve(v17_1_1_0_504_341). valve(v18_1_1_0_504_341). valve(v19_1_1_0_504_341). valve(v20_1_1_0_504_341). link(t311_1_1_0_504_341, p1_1_1_0_504_341, v1_1_1_0_504_341). link(p1_1_1_0_504_341, p2_1_1_0_504_341, v2_1_1_0_504_341). link(p3_1_1_0_504_341, p4_1_1_0_504_341, v4_1_1_0_504_341). link(t313_1_1_0_504_341, p4_1_1_0_504_341, v5_1_1_0_504_341). link(p2_1_1_0_504_341, p3_1_1_0_504_341, v3_1_1_0_504_341). link(p2_1_1_0_504_341, j1_1_1_0_504_341, v6_1_1_0_504_341). link(p3_1_1_0_504_341, j1_1_1_0_504_341, v7_1_1_0_504_341). link(p5_1_1_0_504_341, p1_1_1_0_504_341, v8_1_1_0_504_341). link(p4_1_1_0_504_341, p6_1_1_0_504_341, v9_1_1_0_504_341). link(p5_1_1_0_504_341, p6_1_1_0_504_341, v10_1_1_0_504_341). link(p6_1_1_0_504_341, p5_1_1_0_504_341, v11_1_1_0_504_341). %center swap link(p7_1_1_0_504_341, p5_1_1_0_504_341, v12_1_1_0_504_341). link(p6_1_1_0_504_341, p10_1_1_0_504_341, v13_1_1_0_504_341). link(t312_1_1_0_504_341, p7_1_1_0_504_341, v14_1_1_0_504_341). link(p8_1_1_0_504_341, p7_1_1_0_504_341, v15_1_1_0_504_341). link(p10_1_1_0_504_341, p9_1_1_0_504_341, v17_1_1_0_504_341). link(t314_1_1_0_504_341, p10_1_1_0_504_341, v18_1_1_0_504_341). link(p9_1_1_0_504_341, p8_1_1_0_504_341, v16_1_1_0_504_341). link(p8_1_1_0_504_341, j2_1_1_0_504_341, v19_1_1_0_504_341). link(p9_1_1_0_504_341, j2_1_1_0_504_341, v20_1_1_0_504_341). full(t311_1_1_0_504_341). full(t312_1_1_0_504_341). full(t313_1_1_0_504_341). full(t314_1_1_0_504_341). goal(j2_1_1_0_504_341). tank(t311_0_0_1_504_341). tank(t312_0_0_1_504_341). tank(t313_0_0_1_504_341). tank(t314_0_0_1_504_341). jet(j1_0_0_1_504_341). jet(j2_0_0_1_504_341). junction(p1_0_0_1_504_341). junction(p2_0_0_1_504_341). junction(p3_0_0_1_504_341). junction(p4_0_0_1_504_341). junction(p5_0_0_1_504_341). junction(p6_0_0_1_504_341). junction(p7_0_0_1_504_341). junction(p8_0_0_1_504_341). junction(p9_0_0_1_504_341). junction(p10_0_0_1_504_341). valve(v1_0_0_1_504_341). valve(v2_0_0_1_504_341). valve(v3_0_0_1_504_341). valve(v4_0_0_1_504_341). valve(v5_0_0_1_504_341). valve(v6_0_0_1_504_341). valve(v7_0_0_1_504_341). valve(v8_0_0_1_504_341). valve(v9_0_0_1_504_341). valve(v10_0_0_1_504_341). valve(v11_0_0_1_504_341). valve(v12_0_0_1_504_341). valve(v13_0_0_1_504_341). valve(v14_0_0_1_504_341). valve(v15_0_0_1_504_341). valve(v16_0_0_1_504_341). valve(v17_0_0_1_504_341). valve(v18_0_0_1_504_341). valve(v19_0_0_1_504_341). valve(v20_0_0_1_504_341). link(t311_0_0_1_504_341, p1_0_0_1_504_341, v1_0_0_1_504_341). link(p1_0_0_1_504_341, p2_0_0_1_504_341, v2_0_0_1_504_341). link(p3_0_0_1_504_341, p4_0_0_1_504_341, v4_0_0_1_504_341). link(t313_0_0_1_504_341, p4_0_0_1_504_341, v5_0_0_1_504_341). link(p2_0_0_1_504_341, p3_0_0_1_504_341, v3_0_0_1_504_341). link(p2_0_0_1_504_341, j1_0_0_1_504_341, v6_0_0_1_504_341). link(p3_0_0_1_504_341, j1_0_0_1_504_341, v7_0_0_1_504_341). link(p5_0_0_1_504_341, p1_0_0_1_504_341, v8_0_0_1_504_341). link(p4_0_0_1_504_341, p6_0_0_1_504_341, v9_0_0_1_504_341). link(p5_0_0_1_504_341, p6_0_0_1_504_341, v10_0_0_1_504_341). link(p6_0_0_1_504_341, p5_0_0_1_504_341, v11_0_0_1_504_341). %center swap link(p7_0_0_1_504_341, p5_0_0_1_504_341, v12_0_0_1_504_341). link(p6_0_0_1_504_341, p10_0_0_1_504_341, v13_0_0_1_504_341). link(t312_0_0_1_504_341, p7_0_0_1_504_341, v14_0_0_1_504_341). link(p8_0_0_1_504_341, p7_0_0_1_504_341, v15_0_0_1_504_341). link(p10_0_0_1_504_341, p9_0_0_1_504_341, v17_0_0_1_504_341). link(t314_0_0_1_504_341, p10_0_0_1_504_341, v18_0_0_1_504_341). link(p9_0_0_1_504_341, p8_0_0_1_504_341, v16_0_0_1_504_341). link(p8_0_0_1_504_341, j2_0_0_1_504_341, v19_0_0_1_504_341). link(p9_0_0_1_504_341, j2_0_0_1_504_341, v20_0_0_1_504_341). full(t311_0_0_1_504_341). full(t312_0_0_1_504_341). full(t313_0_0_1_504_341). full(t314_0_0_1_504_341). goal(j2_0_0_1_504_341). tank(t311_1_0_1_504_341). tank(t312_1_0_1_504_341). tank(t313_1_0_1_504_341). tank(t314_1_0_1_504_341). jet(j1_1_0_1_504_341). jet(j2_1_0_1_504_341). junction(p1_1_0_1_504_341). junction(p2_1_0_1_504_341). junction(p3_1_0_1_504_341). junction(p4_1_0_1_504_341). junction(p5_1_0_1_504_341). junction(p6_1_0_1_504_341). junction(p7_1_0_1_504_341). junction(p8_1_0_1_504_341). junction(p9_1_0_1_504_341). junction(p10_1_0_1_504_341). valve(v1_1_0_1_504_341). valve(v2_1_0_1_504_341). valve(v3_1_0_1_504_341). valve(v4_1_0_1_504_341). valve(v5_1_0_1_504_341). valve(v6_1_0_1_504_341). valve(v7_1_0_1_504_341). valve(v8_1_0_1_504_341). valve(v9_1_0_1_504_341). valve(v10_1_0_1_504_341). valve(v11_1_0_1_504_341). valve(v12_1_0_1_504_341). valve(v13_1_0_1_504_341). valve(v14_1_0_1_504_341). valve(v15_1_0_1_504_341). valve(v16_1_0_1_504_341). valve(v17_1_0_1_504_341). valve(v18_1_0_1_504_341). valve(v19_1_0_1_504_341). valve(v20_1_0_1_504_341). link(t311_1_0_1_504_341, p1_1_0_1_504_341, v1_1_0_1_504_341). link(p1_1_0_1_504_341, p2_1_0_1_504_341, v2_1_0_1_504_341). link(p3_1_0_1_504_341, p4_1_0_1_504_341, v4_1_0_1_504_341). link(t313_1_0_1_504_341, p4_1_0_1_504_341, v5_1_0_1_504_341). link(p2_1_0_1_504_341, p3_1_0_1_504_341, v3_1_0_1_504_341). link(p2_1_0_1_504_341, j1_1_0_1_504_341, v6_1_0_1_504_341). link(p3_1_0_1_504_341, j1_1_0_1_504_341, v7_1_0_1_504_341). link(p5_1_0_1_504_341, p1_1_0_1_504_341, v8_1_0_1_504_341). link(p4_1_0_1_504_341, p6_1_0_1_504_341, v9_1_0_1_504_341). link(p5_1_0_1_504_341, p6_1_0_1_504_341, v10_1_0_1_504_341). link(p6_1_0_1_504_341, p5_1_0_1_504_341, v11_1_0_1_504_341). %center swap link(p7_1_0_1_504_341, p5_1_0_1_504_341, v12_1_0_1_504_341). link(p6_1_0_1_504_341, p10_1_0_1_504_341, v13_1_0_1_504_341). link(t312_1_0_1_504_341, p7_1_0_1_504_341, v14_1_0_1_504_341). link(p8_1_0_1_504_341, p7_1_0_1_504_341, v15_1_0_1_504_341). link(p10_1_0_1_504_341, p9_1_0_1_504_341, v17_1_0_1_504_341). link(t314_1_0_1_504_341, p10_1_0_1_504_341, v18_1_0_1_504_341). link(p9_1_0_1_504_341, p8_1_0_1_504_341, v16_1_0_1_504_341). link(p8_1_0_1_504_341, j2_1_0_1_504_341, v19_1_0_1_504_341). link(p9_1_0_1_504_341, j2_1_0_1_504_341, v20_1_0_1_504_341). full(t311_1_0_1_504_341). full(t312_1_0_1_504_341). full(t313_1_0_1_504_341). full(t314_1_0_1_504_341). goal(j2_1_0_1_504_341). tank(t311_0_1_1_504_341). tank(t312_0_1_1_504_341). tank(t313_0_1_1_504_341). tank(t314_0_1_1_504_341). jet(j1_0_1_1_504_341). jet(j2_0_1_1_504_341). junction(p1_0_1_1_504_341). junction(p2_0_1_1_504_341). junction(p3_0_1_1_504_341). junction(p4_0_1_1_504_341). junction(p5_0_1_1_504_341). junction(p6_0_1_1_504_341). junction(p7_0_1_1_504_341). junction(p8_0_1_1_504_341). junction(p9_0_1_1_504_341). junction(p10_0_1_1_504_341). valve(v1_0_1_1_504_341). valve(v2_0_1_1_504_341). valve(v3_0_1_1_504_341). valve(v4_0_1_1_504_341). valve(v5_0_1_1_504_341). valve(v6_0_1_1_504_341). valve(v7_0_1_1_504_341). valve(v8_0_1_1_504_341). valve(v9_0_1_1_504_341). valve(v10_0_1_1_504_341). valve(v11_0_1_1_504_341). valve(v12_0_1_1_504_341). valve(v13_0_1_1_504_341). valve(v14_0_1_1_504_341). valve(v15_0_1_1_504_341). valve(v16_0_1_1_504_341). valve(v17_0_1_1_504_341). valve(v18_0_1_1_504_341). valve(v19_0_1_1_504_341). valve(v20_0_1_1_504_341). link(t311_0_1_1_504_341, p1_0_1_1_504_341, v1_0_1_1_504_341). link(p1_0_1_1_504_341, p2_0_1_1_504_341, v2_0_1_1_504_341). link(p3_0_1_1_504_341, p4_0_1_1_504_341, v4_0_1_1_504_341). link(t313_0_1_1_504_341, p4_0_1_1_504_341, v5_0_1_1_504_341). link(p2_0_1_1_504_341, p3_0_1_1_504_341, v3_0_1_1_504_341). link(p2_0_1_1_504_341, j1_0_1_1_504_341, v6_0_1_1_504_341). link(p3_0_1_1_504_341, j1_0_1_1_504_341, v7_0_1_1_504_341). link(p5_0_1_1_504_341, p1_0_1_1_504_341, v8_0_1_1_504_341). link(p4_0_1_1_504_341, p6_0_1_1_504_341, v9_0_1_1_504_341). link(p5_0_1_1_504_341, p6_0_1_1_504_341, v10_0_1_1_504_341). link(p6_0_1_1_504_341, p5_0_1_1_504_341, v11_0_1_1_504_341). %center swap link(p7_0_1_1_504_341, p5_0_1_1_504_341, v12_0_1_1_504_341). link(p6_0_1_1_504_341, p10_0_1_1_504_341, v13_0_1_1_504_341). link(t312_0_1_1_504_341, p7_0_1_1_504_341, v14_0_1_1_504_341). link(p8_0_1_1_504_341, p7_0_1_1_504_341, v15_0_1_1_504_341). link(p10_0_1_1_504_341, p9_0_1_1_504_341, v17_0_1_1_504_341). link(t314_0_1_1_504_341, p10_0_1_1_504_341, v18_0_1_1_504_341). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)

Actions

Navigation

Instance 170-hydraulic_planning-670-0.asp