Instance 106-hydraulic_planning-619-0.asp

Name	106-hydraulic_planning-619-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_212). tank(t312_0_0_0_0_212). tank(t313_0_0_0_0_212). tank(t314_0_0_0_0_212). jet(j1_0_0_0_0_212). jet(j2_0_0_0_0_212). junction(p1_0_0_0_0_212). junction(p2_0_0_0_0_212). junction(p3_0_0_0_0_212). junction(p4_0_0_0_0_212). junction(p5_0_0_0_0_212). junction(p6_0_0_0_0_212). junction(p7_0_0_0_0_212). junction(p8_0_0_0_0_212). junction(p9_0_0_0_0_212). junction(p10_0_0_0_0_212). valve(v1_0_0_0_0_212). valve(v2_0_0_0_0_212). valve(v3_0_0_0_0_212). valve(v4_0_0_0_0_212). valve(v5_0_0_0_0_212). valve(v6_0_0_0_0_212). valve(v7_0_0_0_0_212). valve(v8_0_0_0_0_212). valve(v9_0_0_0_0_212). valve(v10_0_0_0_0_212). valve(v11_0_0_0_0_212). valve(v12_0_0_0_0_212). valve(v13_0_0_0_0_212). valve(v14_0_0_0_0_212). valve(v15_0_0_0_0_212). valve(v16_0_0_0_0_212). valve(v17_0_0_0_0_212). valve(v18_0_0_0_0_212). valve(v19_0_0_0_0_212). valve(v20_0_0_0_0_212). link(t311_0_0_0_0_212, p1_0_0_0_0_212, v1_0_0_0_0_212). link(p1_0_0_0_0_212, p2_0_0_0_0_212, v2_0_0_0_0_212). link(p3_0_0_0_0_212, p4_0_0_0_0_212, v4_0_0_0_0_212). link(t313_0_0_0_0_212, p4_0_0_0_0_212, v5_0_0_0_0_212). link(p2_0_0_0_0_212, p3_0_0_0_0_212, v3_0_0_0_0_212). link(p2_0_0_0_0_212, j1_0_0_0_0_212, v6_0_0_0_0_212). link(p3_0_0_0_0_212, j1_0_0_0_0_212, v7_0_0_0_0_212). link(p5_0_0_0_0_212, p1_0_0_0_0_212, v8_0_0_0_0_212). link(p4_0_0_0_0_212, p6_0_0_0_0_212, v9_0_0_0_0_212). link(p5_0_0_0_0_212, p6_0_0_0_0_212, v10_0_0_0_0_212). link(p6_0_0_0_0_212, p5_0_0_0_0_212, v11_0_0_0_0_212). %center swap link(p7_0_0_0_0_212, p5_0_0_0_0_212, v12_0_0_0_0_212). link(p6_0_0_0_0_212, p10_0_0_0_0_212, v13_0_0_0_0_212). link(t312_0_0_0_0_212, p7_0_0_0_0_212, v14_0_0_0_0_212). link(p8_0_0_0_0_212, p7_0_0_0_0_212, v15_0_0_0_0_212). link(p10_0_0_0_0_212, p9_0_0_0_0_212, v17_0_0_0_0_212). link(t314_0_0_0_0_212, p10_0_0_0_0_212, v18_0_0_0_0_212). link(p9_0_0_0_0_212, p8_0_0_0_0_212, v16_0_0_0_0_212). link(p8_0_0_0_0_212, j2_0_0_0_0_212, v19_0_0_0_0_212). link(p9_0_0_0_0_212, j2_0_0_0_0_212, v20_0_0_0_0_212). full(t311_0_0_0_0_212). full(t312_0_0_0_0_212). full(t313_0_0_0_0_212). full(t314_0_0_0_0_212). goal(j2_0_0_0_0_212). tank(t311_1_0_0_0_212). tank(t312_1_0_0_0_212). tank(t313_1_0_0_0_212). tank(t314_1_0_0_0_212). jet(j1_1_0_0_0_212). jet(j2_1_0_0_0_212). junction(p1_1_0_0_0_212). junction(p2_1_0_0_0_212). junction(p3_1_0_0_0_212). junction(p4_1_0_0_0_212). junction(p5_1_0_0_0_212). junction(p6_1_0_0_0_212). junction(p7_1_0_0_0_212). junction(p8_1_0_0_0_212). junction(p9_1_0_0_0_212). junction(p10_1_0_0_0_212). valve(v1_1_0_0_0_212). valve(v2_1_0_0_0_212). valve(v3_1_0_0_0_212). valve(v4_1_0_0_0_212). valve(v5_1_0_0_0_212). valve(v6_1_0_0_0_212). valve(v7_1_0_0_0_212). valve(v8_1_0_0_0_212). valve(v9_1_0_0_0_212). valve(v10_1_0_0_0_212). valve(v11_1_0_0_0_212). valve(v12_1_0_0_0_212). valve(v13_1_0_0_0_212). valve(v14_1_0_0_0_212). valve(v15_1_0_0_0_212). valve(v16_1_0_0_0_212). valve(v17_1_0_0_0_212). valve(v18_1_0_0_0_212). valve(v19_1_0_0_0_212). valve(v20_1_0_0_0_212). link(t311_1_0_0_0_212, p1_1_0_0_0_212, v1_1_0_0_0_212). link(p1_1_0_0_0_212, p2_1_0_0_0_212, v2_1_0_0_0_212). link(p3_1_0_0_0_212, p4_1_0_0_0_212, v4_1_0_0_0_212). link(t313_1_0_0_0_212, p4_1_0_0_0_212, v5_1_0_0_0_212). link(p2_1_0_0_0_212, p3_1_0_0_0_212, v3_1_0_0_0_212). link(p2_1_0_0_0_212, j1_1_0_0_0_212, v6_1_0_0_0_212). link(p3_1_0_0_0_212, j1_1_0_0_0_212, v7_1_0_0_0_212). link(p5_1_0_0_0_212, p1_1_0_0_0_212, v8_1_0_0_0_212). link(p4_1_0_0_0_212, p6_1_0_0_0_212, v9_1_0_0_0_212). link(p5_1_0_0_0_212, p6_1_0_0_0_212, v10_1_0_0_0_212). link(p6_1_0_0_0_212, p5_1_0_0_0_212, v11_1_0_0_0_212). %center swap link(p7_1_0_0_0_212, p5_1_0_0_0_212, v12_1_0_0_0_212). link(p6_1_0_0_0_212, p10_1_0_0_0_212, v13_1_0_0_0_212). link(t312_1_0_0_0_212, p7_1_0_0_0_212, v14_1_0_0_0_212). link(p8_1_0_0_0_212, p7_1_0_0_0_212, v15_1_0_0_0_212). link(p10_1_0_0_0_212, p9_1_0_0_0_212, v17_1_0_0_0_212). link(t314_1_0_0_0_212, p10_1_0_0_0_212, v18_1_0_0_0_212). link(p9_1_0_0_0_212, p8_1_0_0_0_212, v16_1_0_0_0_212). link(p8_1_0_0_0_212, j2_1_0_0_0_212, v19_1_0_0_0_212). link(p9_1_0_0_0_212, j2_1_0_0_0_212, v20_1_0_0_0_212). full(t311_1_0_0_0_212). full(t312_1_0_0_0_212). full(t313_1_0_0_0_212). full(t314_1_0_0_0_212). goal(j2_1_0_0_0_212). tank(t311_0_1_0_0_212). tank(t312_0_1_0_0_212). tank(t313_0_1_0_0_212). tank(t314_0_1_0_0_212). jet(j1_0_1_0_0_212). jet(j2_0_1_0_0_212). junction(p1_0_1_0_0_212). junction(p2_0_1_0_0_212). junction(p3_0_1_0_0_212). junction(p4_0_1_0_0_212). junction(p5_0_1_0_0_212). junction(p6_0_1_0_0_212). junction(p7_0_1_0_0_212). junction(p8_0_1_0_0_212). junction(p9_0_1_0_0_212). junction(p10_0_1_0_0_212). valve(v1_0_1_0_0_212). valve(v2_0_1_0_0_212). valve(v3_0_1_0_0_212). valve(v4_0_1_0_0_212). valve(v5_0_1_0_0_212). valve(v6_0_1_0_0_212). valve(v7_0_1_0_0_212). valve(v8_0_1_0_0_212). valve(v9_0_1_0_0_212). valve(v10_0_1_0_0_212). valve(v11_0_1_0_0_212). valve(v12_0_1_0_0_212). valve(v13_0_1_0_0_212). valve(v14_0_1_0_0_212). valve(v15_0_1_0_0_212). valve(v16_0_1_0_0_212). valve(v17_0_1_0_0_212). valve(v18_0_1_0_0_212). valve(v19_0_1_0_0_212). valve(v20_0_1_0_0_212). link(t311_0_1_0_0_212, p1_0_1_0_0_212, v1_0_1_0_0_212). link(p1_0_1_0_0_212, p2_0_1_0_0_212, v2_0_1_0_0_212). link(p3_0_1_0_0_212, p4_0_1_0_0_212, v4_0_1_0_0_212). link(t313_0_1_0_0_212, p4_0_1_0_0_212, v5_0_1_0_0_212). link(p2_0_1_0_0_212, p3_0_1_0_0_212, v3_0_1_0_0_212). link(p2_0_1_0_0_212, j1_0_1_0_0_212, v6_0_1_0_0_212). link(p3_0_1_0_0_212, j1_0_1_0_0_212, v7_0_1_0_0_212). link(p5_0_1_0_0_212, p1_0_1_0_0_212, v8_0_1_0_0_212). link(p4_0_1_0_0_212, p6_0_1_0_0_212, v9_0_1_0_0_212). link(p5_0_1_0_0_212, p6_0_1_0_0_212, v10_0_1_0_0_212). link(p6_0_1_0_0_212, p5_0_1_0_0_212, v11_0_1_0_0_212). %center swap link(p7_0_1_0_0_212, p5_0_1_0_0_212, v12_0_1_0_0_212). link(p6_0_1_0_0_212, p10_0_1_0_0_212, v13_0_1_0_0_212). link(t312_0_1_0_0_212, p7_0_1_0_0_212, v14_0_1_0_0_212). link(p8_0_1_0_0_212, p7_0_1_0_0_212, v15_0_1_0_0_212). link(p10_0_1_0_0_212, p9_0_1_0_0_212, v17_0_1_0_0_212). link(t314_0_1_0_0_212, p10_0_1_0_0_212, v18_0_1_0_0_212). link(p9_0_1_0_0_212, p8_0_1_0_0_212, v16_0_1_0_0_212). link(p8_0_1_0_0_212, j2_0_1_0_0_212, v19_0_1_0_0_212). link(p9_0_1_0_0_212, j2_0_1_0_0_212, v20_0_1_0_0_212). full(t311_0_1_0_0_212). full(t312_0_1_0_0_212). full(t313_0_1_0_0_212). full(t314_0_1_0_0_212). goal(j2_0_1_0_0_212). tank(t311_1_1_0_0_212). tank(t312_1_1_0_0_212). tank(t313_1_1_0_0_212). tank(t314_1_1_0_0_212). jet(j1_1_1_0_0_212). jet(j2_1_1_0_0_212). junction(p1_1_1_0_0_212). junction(p2_1_1_0_0_212). junction(p3_1_1_0_0_212). junction(p4_1_1_0_0_212). junction(p5_1_1_0_0_212). junction(p6_1_1_0_0_212). junction(p7_1_1_0_0_212). junction(p8_1_1_0_0_212). junction(p9_1_1_0_0_212). junction(p10_1_1_0_0_212). valve(v1_1_1_0_0_212). valve(v2_1_1_0_0_212). valve(v3_1_1_0_0_212). valve(v4_1_1_0_0_212). valve(v5_1_1_0_0_212). valve(v6_1_1_0_0_212). valve(v7_1_1_0_0_212). valve(v8_1_1_0_0_212). valve(v9_1_1_0_0_212). valve(v10_1_1_0_0_212). valve(v11_1_1_0_0_212). valve(v12_1_1_0_0_212). valve(v13_1_1_0_0_212). valve(v14_1_1_0_0_212). valve(v15_1_1_0_0_212). valve(v16_1_1_0_0_212). valve(v17_1_1_0_0_212). valve(v18_1_1_0_0_212). valve(v19_1_1_0_0_212). valve(v20_1_1_0_0_212). link(t311_1_1_0_0_212, p1_1_1_0_0_212, v1_1_1_0_0_212). link(p1_1_1_0_0_212, p2_1_1_0_0_212, v2_1_1_0_0_212). link(p3_1_1_0_0_212, p4_1_1_0_0_212, v4_1_1_0_0_212). link(t313_1_1_0_0_212, p4_1_1_0_0_212, v5_1_1_0_0_212). link(p2_1_1_0_0_212, p3_1_1_0_0_212, v3_1_1_0_0_212). link(p2_1_1_0_0_212, j1_1_1_0_0_212, v6_1_1_0_0_212). link(p3_1_1_0_0_212, j1_1_1_0_0_212, v7_1_1_0_0_212). link(p5_1_1_0_0_212, p1_1_1_0_0_212, v8_1_1_0_0_212). link(p4_1_1_0_0_212, p6_1_1_0_0_212, v9_1_1_0_0_212). link(p5_1_1_0_0_212, p6_1_1_0_0_212, v10_1_1_0_0_212). link(p6_1_1_0_0_212, p5_1_1_0_0_212, v11_1_1_0_0_212). %center swap link(p7_1_1_0_0_212, p5_1_1_0_0_212, v12_1_1_0_0_212). link(p6_1_1_0_0_212, p10_1_1_0_0_212, v13_1_1_0_0_212). link(t312_1_1_0_0_212, p7_1_1_0_0_212, v14_1_1_0_0_212). link(p8_1_1_0_0_212, p7_1_1_0_0_212, v15_1_1_0_0_212). link(p10_1_1_0_0_212, p9_1_1_0_0_212, v17_1_1_0_0_212). link(t314_1_1_0_0_212, p10_1_1_0_0_212, v18_1_1_0_0_212). link(p9_1_1_0_0_212, p8_1_1_0_0_212, v16_1_1_0_0_212). link(p8_1_1_0_0_212, j2_1_1_0_0_212, v19_1_1_0_0_212). link(p9_1_1_0_0_212, j2_1_1_0_0_212, v20_1_1_0_0_212). full(t311_1_1_0_0_212). full(t312_1_1_0_0_212). full(t313_1_1_0_0_212). full(t314_1_1_0_0_212). goal(j2_1_1_0_0_212). tank(t311_0_0_1_0_212). tank(t312_0_0_1_0_212). tank(t313_0_0_1_0_212). tank(t314_0_0_1_0_212). jet(j1_0_0_1_0_212). jet(j2_0_0_1_0_212). junction(p1_0_0_1_0_212). junction(p2_0_0_1_0_212). junction(p3_0_0_1_0_212). junction(p4_0_0_1_0_212). junction(p5_0_0_1_0_212). junction(p6_0_0_1_0_212). junction(p7_0_0_1_0_212). junction(p8_0_0_1_0_212). junction(p9_0_0_1_0_212). junction(p10_0_0_1_0_212). valve(v1_0_0_1_0_212). valve(v2_0_0_1_0_212). valve(v3_0_0_1_0_212). valve(v4_0_0_1_0_212). valve(v5_0_0_1_0_212). valve(v6_0_0_1_0_212). valve(v7_0_0_1_0_212). valve(v8_0_0_1_0_212). valve(v9_0_0_1_0_212). valve(v10_0_0_1_0_212). valve(v11_0_0_1_0_212). valve(v12_0_0_1_0_212). valve(v13_0_0_1_0_212). valve(v14_0_0_1_0_212). valve(v15_0_0_1_0_212). valve(v16_0_0_1_0_212). valve(v17_0_0_1_0_212). valve(v18_0_0_1_0_212). valve(v19_0_0_1_0_212). valve(v20_0_0_1_0_212). link(t311_0_0_1_0_212, p1_0_0_1_0_212, v1_0_0_1_0_212). link(p1_0_0_1_0_212, p2_0_0_1_0_212, v2_0_0_1_0_212). link(p3_0_0_1_0_212, p4_0_0_1_0_212, v4_0_0_1_0_212). link(t313_0_0_1_0_212, p4_0_0_1_0_212, v5_0_0_1_0_212). link(p2_0_0_1_0_212, p3_0_0_1_0_212, v3_0_0_1_0_212). link(p2_0_0_1_0_212, j1_0_0_1_0_212, v6_0_0_1_0_212). link(p3_0_0_1_0_212, j1_0_0_1_0_212, v7_0_0_1_0_212). link(p5_0_0_1_0_212, p1_0_0_1_0_212, v8_0_0_1_0_212). link(p4_0_0_1_0_212, p6_0_0_1_0_212, v9_0_0_1_0_212). link(p5_0_0_1_0_212, p6_0_0_1_0_212, v10_0_0_1_0_212). link(p6_0_0_1_0_212, p5_0_0_1_0_212, v11_0_0_1_0_212). %center swap link(p7_0_0_1_0_212, p5_0_0_1_0_212, v12_0_0_1_0_212). link(p6_0_0_1_0_212, p10_0_0_1_0_212, v13_0_0_1_0_212). link(t312_0_0_1_0_212, p7_0_0_1_0_212, v14_0_0_1_0_212). link(p8_0_0_1_0_212, p7_0_0_1_0_212, v15_0_0_1_0_212). link(p10_0_0_1_0_212, p9_0_0_1_0_212, v17_0_0_1_0_212). link(t314_0_0_1_0_212, p10_0_0_1_0_212, v18_0_0_1_0_212). link(p9_0_0_1_0_212, p8_0_0_1_0_212, v16_0_0_1_0_212). link(p8_0_0_1_0_212, j2_0_0_1_0_212, v19_0_0_1_0_212). link(p9_0_0_1_0_212, j2_0_0_1_0_212, v20_0_0_1_0_212). full(t311_0_0_1_0_212). full(t312_0_0_1_0_212). full(t313_0_0_1_0_212). full(t314_0_0_1_0_212). goal(j2_0_0_1_0_212). tank(t311_1_0_1_0_212). tank(t312_1_0_1_0_212). tank(t313_1_0_1_0_212). tank(t314_1_0_1_0_212). jet(j1_1_0_1_0_212). jet(j2_1_0_1_0_212). junction(p1_1_0_1_0_212). junction(p2_1_0_1_0_212). junction(p3_1_0_1_0_212). junction(p4_1_0_1_0_212). junction(p5_1_0_1_0_212). junction(p6_1_0_1_0_212). junction(p7_1_0_1_0_212). junction(p8_1_0_1_0_212). junction(p9_1_0_1_0_212). junction(p10_1_0_1_0_212). valve(v1_1_0_1_0_212). valve(v2_1_0_1_0_212). valve(v3_1_0_1_0_212). valve(v4_1_0_1_0_212). valve(v5_1_0_1_0_212). valve(v6_1_0_1_0_212). valve(v7_1_0_1_0_212). valve(v8_1_0_1_0_212). valve(v9_1_0_1_0_212). valve(v10_1_0_1_0_212). valve(v11_1_0_1_0_212). valve(v12_1_0_1_0_212). valve(v13_1_0_1_0_212). valve(v14_1_0_1_0_212). valve(v15_1_0_1_0_212). valve(v16_1_0_1_0_212). valve(v17_1_0_1_0_212). valve(v18_1_0_1_0_212). valve(v19_1_0_1_0_212). valve(v20_1_0_1_0_212). link(t311_1_0_1_0_212, p1_1_0_1_0_212, v1_1_0_1_0_212). link(p1_1_0_1_0_212, p2_1_0_1_0_212, v2_1_0_1_0_212). link(p3_1_0_1_0_212, p4_1_0_1_0_212, v4_1_0_1_0_212). link(t313_1_0_1_0_212, p4_1_0_1_0_212, v5_1_0_1_0_212). link(p2_1_0_1_0_212, p3_1_0_1_0_212, v3_1_0_1_0_212). link(p2_1_0_1_0_212, j1_1_0_1_0_212, v6_1_0_1_0_212). link(p3_1_0_1_0_212, j1_1_0_1_0_212, v7_1_0_1_0_212). link(p5_1_0_1_0_212, p1_1_0_1_0_212, v8_1_0_1_0_212). link(p4_1_0_1_0_212, p6_1_0_1_0_212, v9_1_0_1_0_212). link(p5_1_0_1_0_212, p6_1_0_1_0_212, v10_1_0_1_0_212). link(p6_1_0_1_0_212, p5_1_0_1_0_212, v11_1_0_1_0_212). %center swap link(p7_1_0_1_0_212, p5_1_0_1_0_212, v12_1_0_1_0_212). link(p6_1_0_1_0_212, p10_1_0_1_0_212, v13_1_0_1_0_212). link(t312_1_0_1_0_212, p7_1_0_1_0_212, v14_1_0_1_0_212). link(p8_1_0_1_0_212, p7_1_0_1_0_212, v15_1_0_1_0_212). link(p10_1_0_1_0_212, p9_1_0_1_0_212, v17_1_0_1_0_212). link(t314_1_0_1_0_212, p10_1_0_1_0_212, v18_1_0_1_0_212). link(p9_1_0_1_0_212, p8_1_0_1_0_212, v16_1_0_1_0_212). link(p8_1_0_1_0_212, j2_1_0_1_0_212, v19_1_0_1_0_212). link(p9_1_0_1_0_212, j2_1_0_1_0_212, v20_1_0_1_0_212). full(t311_1_0_1_0_212). full(t312_1_0_1_0_212). full(t313_1_0_1_0_212). full(t314_1_0_1_0_212). goal(j2_1_0_1_0_212). tank(t311_0_1_1_0_212). tank(t312_0_1_1_0_212). tank(t313_0_1_1_0_212). tank(t314_0_1_1_0_212). jet(j1_0_1_1_0_212). jet(j2_0_1_1_0_212). junction(p1_0_1_1_0_212). junction(p2_0_1_1_0_212). junction(p3_0_1_1_0_212). junction(p4_0_1_1_0_212). junction(p5_0_1_1_0_212). junction(p6_0_1_1_0_212). junction(p7_0_1_1_0_212). junction(p8_0_1_1_0_212). junction(p9_0_1_1_0_212). junction(p10_0_1_1_0_212). valve(v1_0_1_1_0_212). valve(v2_0_1_1_0_212). valve(v3_0_1_1_0_212). valve(v4_0_1_1_0_212). valve(v5_0_1_1_0_212). valve(v6_0_1_1_0_212). valve(v7_0_1_1_0_212). valve(v8_0_1_1_0_212). valve(v9_0_1_1_0_212). valve(v10_0_1_1_0_212). valve(v11_0_1_1_0_212). valve(v12_0_1_1_0_212). valve(v13_0_1_1_0_212). valve(v14_0_1_1_0_212). valve(v15_0_1_1_0_212). valve(v16_0_1_1_0_212). valve(v17_0_1_1_0_212). valve(v18_0_1_1_0_212). valve(v19_0_1_1_0_212). valve(v20_0_1_1_0_212). link(t311_0_1_1_0_212, p1_0_1_1_0_212, v1_0_1_1_0_212). link(p1_0_1_1_0_212, p2_0_1_1_0_212, v2_0_1_1_0_212). link(p3_0_1_1_0_212, p4_0_1_1_0_212, v4_0_1_1_0_212). link(t313_0_1_1_0_212, p4_0_1_1_0_212, v5_0_1_1_0_212). link(p2_0_1_1_0_212, p3_0_1_1_0_212, v3_0_1_1_0_212). link(p2_0_1_1_0_212, j1_0_1_1_0_212, v6_0_1_1_0_212). link(p3_0_1_1_0_212, j1_0_1_1_0_212, v7_0_1_1_0_212). link(p5_0_1_1_0_212, p1_0_1_1_0_212, v8_0_1_1_0_212). link(p4_0_1_1_0_212, p6_0_1_1_0_212, v9_0_1_1_0_212). link(p5_0_1_1_0_212, p6_0_1_1_0_212, v10_0_1_1_0_212). link(p6_0_1_1_0_212, p5_0_1_1_0_212, v11_0_1_1_0_212). %center swap link(p7_0_1_1_0_212, p5_0_1_1_0_212, v12_0_1_1_0_212). link(p6_0_1_1_0_212, p10_0_1_1_0_212, v13_0_1_1_0_212). link(t312_0_1_1_0_212, p7_0_1_1_0_212, v14_0_1_1_0_212). link(p8_0_1_1_0_212, p7_0_1_1_0_212, v15_0_1_1_0_212). link(p10_0_1_1_0_212, p9_0_1_1_0_212, v17_0_1_1_0_212). link(t314_0_1_1_0_212, p10_0_1_1_0_212, v18_0_1_1_0_212). link(p9_0_1_1_0_212, p8_0_1_1_0_212, v16_0_1_1_0_212). link(p8_0_1_1_0_212, j2_0_1_1_0_212, v19_0_1_1_0_212). link(p9_0_1_1_0_212, j2_0_1_1_0_212, v20_0_1_1_0_212). full(t311_0_1_1_0_212). full(t312_0_1_1_0_212). full(t313_0_1_1_0_212). full(t314_0_1_1_0_212). goal(j2_0_1_1_0_212). tank(t311_1_1_1_0_212). tank(t312_1_1_1_0_212). tank(t313_1_1_1_0_212). tank(t314_1_1_1_0_212). jet(j1_1_1_1_0_212). jet(j2_1_1_1_0_212). junction(p1_1_1_1_0_212). junction(p2_1_1_1_0_212). junction(p3_1_1_1_0_212). junction(p4_1_1_1_0_212). junction(p5_1_1_1_0_212). junction(p6_1_1_1_0_212). junction(p7_1_1_1_0_212). junction(p8_1_1_1_0_212). junction(p9_1_1_1_0_212). junction(p10_1_1_1_0_212). valve(v1_1_1_1_0_212). valve(v2_1_1_1_0_212). valve(v3_1_1_1_0_212). valve(v4_1_1_1_0_212). valve(v5_1_1_1_0_212). valve(v6_1_1_1_0_212). valve(v7_1_1_1_0_212). valve(v8_1_1_1_0_212). valve(v9_1_1_1_0_212). valve(v10_1_1_1_0_212). valve(v11_1_1_1_0_212). valve(v12_1_1_1_0_212). valve(v13_1_1_1_0_212). valve(v14_1_1_1_0_212). valve(v15_1_1_1_0_212). valve(v16_1_1_1_0_212). valve(v17_1_1_1_0_212). valve(v18_1_1_1_0_212). valve(v19_1_1_1_0_212). valve(v20_1_1_1_0_212). link(t311_1_1_1_0_212, p1_1_1_1_0_212, v1_1_1_1_0_212). link(p1_1_1_1_0_212, p2_1_1_1_0_212, v2_1_1_1_0_212). link(p3_1_1_1_0_212, p4_1_1_1_0_212, v4_1_1_1_0_212). link(t313_1_1_1_0_212, p4_1_1_1_0_212, v5_1_1_1_0_212). link(p2_1_1_1_0_212, p3_1_1_1_0_212, v3_1_1_1_0_212). link(p2_1_1_1_0_212, j1_1_1_1_0_212, v6_1_1_1_0_212). link(p3_1_1_1_0_212, j1_1_1_1_0_212, v7_1_1_1_0_212). link(p5_1_1_1_0_212, p1_1_1_1_0_212, v8_1_1_1_0_212). link(p4_1_1_1_0_212, p6_1_1_1_0_212, v9_1_1_1_0_212). link(p5_1_1_1_0_212, p6_1_1_1_0_212, v10_1_1_1_0_212). link(p6_1_1_1_0_212, p5_1_1_1_0_212, v11_1_1_1_0_212). %center swap link(p7_1_1_1_0_212, p5_1_1_1_0_212, v12_1_1_1_0_212). link(p6_1_1_1_0_212, p10_1_1_1_0_212, v13_1_1_1_0_212). link(t312_1_1_1_0_212, p7_1_1_1_0_212, v14_1_1_1_0_212). link(p8_1_1_1_0_212, p7_1_1_1_0_212, v15_1_1_1_0_212). link(p10_1_1_1_0_212, p9_1_1_1_0_212, v17_1_1_1_0_212). link(t314_1_1_1_0_212, p10_1_1_1_0_212, v18_1_1_1_0_212). link(p9_1_1_1_0_212, p8_1_1_1_0_212, v16_1_1_1_0_212). link(p8_1_1_1_0_212, j2_1_1_1_0_212, v19_1_1_1_0_212). link(p9_1_1_1_0_212, j2_1_1_1_0_212, v20_1_1_1_0_212). full(t311_1_1_1_0_212). full(t312_1_1_1_0_212). full(t313_1_1_1_0_212). full(t314_1_1_1_0_212). goal(j2_1_1_1_0_212). tank(t311_0_0_0_1_212). tank(t312_0_0_0_1_212). tank(t313_0_0_0_1_212). tank(t314_0_0_0_1_212). jet(j1_0_0_0_1_212). jet(j2_0_0_0_1_212). junction(p1_0_0_0_1_212). junction(p2_0_0_0_1_212). junction(p3_0_0_0_1_212). junction(p4_0_0_0_1_212). junction(p5_0_0_0_1_212). junction(p6_0_0_0_1_212). junction(p7_0_0_0_1_212). junction(p8_0_0_0_1_212). junction(p9_0_0_0_1_212). junction(p10_0_0_0_1_212). valve(v1_0_0_0_1_212). valve(v2_0_0_0_1_212). valve(v3_0_0_0_1_212). valve(v4_0_0_0_1_212). valve(v5_0_0_0_1_212). valve(v6_0_0_0_1_212). valve(v7_0_0_0_1_212). valve(v8_0_0_0_1_212). valve(v9_0_0_0_1_212). valve(v10_0_0_0_1_212). valve(v11_0_0_0_1_212). valve(v12_0_0_0_1_212). valve(v13_0_0_0_1_212). valve(v14_0_0_0_1_212). valve(v15_0_0_0_1_212). valve(v16_0_0_0_1_212). valve(v17_0_0_0_1_212). valve(v18_0_0_0_1_212). valve(v19_0_0_0_1_212). valve(v20_0_0_0_1_212). link(t311_0_0_0_1_212, p1_0_0_0_1_212, v1_0_0_0_1_212). link(p1_0_0_0_1_212, p2_0_0_0_1_212, v2_0_0_0_1_212). link(p3_0_0_0_1_212, p4_0_0_0_1_212, v4_0_0_0_1_212). link(t313_0_0_0_1_212, p4_0_0_0_1_212, v5_0_0_0_1_212). link(p2_0_0_0_1_212, p3_0_0_0_1_212, v3_0_0_0_1_212). link(p2_0_0_0_1_212, j1_0_0_0_1_212, v6_0_0_0_1_212). link(p3_0_0_0_1_212, j1_0_0_0_1_212, v7_0_0_0_1_212). link(p5_0_0_0_1_212, p1_0_0_0_1_212, v8_0_0_0_1_212). link(p4_0_0_0_1_212, p6_0_0_0_1_212, v9_0_0_0_1_212). link(p5_0_0_0_1_212, p6_0_0_0_1_212, v10_0_0_0_1_212). link(p6_0_0_0_1_212, p5_0_0_0_1_212, v11_0_0_0_1_212). %center swap link(p7_0_0_0_1_212, p5_0_0_0_1_212, v12_0_0_0_1_212). link(p6_0_0_0_1_212, p10_0_0_0_1_212, v13_0_0_0_1_212). link(t312_0_0_0_1_212, p7_0_0_0_1_212, v14_0_0_0_1_212). link(p8_0_0_0_1_212, p7_0_0_0_1_212, v15_0_0_0_1_212). link(p10_0_0_0_1_212, p9_0_0_0_1_212, v17_0_0_0_1_212). link(t314_0_0_0_1_212, p10_0_0_0_1_212, v18_0_0_0_1_212). link(p9_0_0_0_1_212, p8_0_0_0_1_212, v16_0_0_0_1_212). link(p8_0_0_0_1_212, j2_0_0_0_1_212, v19_0_0_0_1_212). link(p9_0_0_0_1_212, j2_0_0_0_1_212, v20_0_0_0_1_212). full(t311_0_0_0_1_212). full(t312_0_0_0_1_212). full(t313_0_0_0_1_212). full(t314_0_0_0_1_212). goal(j2_0_0_0_1_212). tank(t311_1_0_0_1_212). tank(t312_1_0_0_1_212). tank(t313_1_0_0_1_212). tank(t314_1_0_0_1_212). jet(j1_1_0_0_1_212). jet(j2_1_0_0_1_212). junction(p1_1_0_0_1_212). junction(p2_1_0_0_1_212). junction(p3_1_0_0_1_212). junction(p4_1_0_0_1_212). junction(p5_1_0_0_1_212). junction(p6_1_0_0_1_212). junction(p7_1_0_0_1_212). junction(p8_1_0_0_1_212). junction(p9_1_0_0_1_212). junction(p10_1_0_0_1_212). valve(v1_1_0_0_1_212). valve(v2_1_0_0_1_212). valve(v3_1_0_0_1_212). valve(v4_1_0_0_1_212). valve(v5_1_0_0_1_212). valve(v6_1_0_0_1_212). valve(v7_1_0_0_1_212). valve(v8_1_0_0_1_212). valve(v9_1_0_0_1_212). valve(v10_1_0_0_1_212). valve(v11_1_0_0_1_212). valve(v12_1_0_0_1_212). valve(v13_1_0_0_1_212). valve(v14_1_0_0_1_212). valve(v15_1_0_0_1_212). valve(v16_1_0_0_1_212). valve(v17_1_0_0_1_212). valve(v18_1_0_0_1_212). valve(v19_1_0_0_1_212). valve(v20_1_0_0_1_212). link(t311_1_0_0_1_212, p1_1_0_0_1_212, v1_1_0_0_1_212). link(p1_1_0_0_1_212, p2_1_0_0_1_212, v2_1_0_0_1_212). link(p3_1_0_0_1_212, p4_1_0_0_1_212, v4_1_0_0_1_212). link(t313_1_0_0_1_212, p4_1_0_0_1_212, v5_1_0_0_1_212). link(p2_1_0_0_1_212, p3_1_0_0_1_212, v3_1_0_0_1_212). link(p2_1_0_0_1_212, j1_1_0_0_1_212, v6_1_0_0_1_212). link(p3_1_0_0_1_212, j1_1_0_0_1_212, v7_1_0_0_1_212). link(p5_1_0_0_1_212, p1_1_0_0_1_212, v8_1_0_0_1_212). link(p4_1_0_0_1_212, p6_1_0_0_1_212, v9_1_0_0_1_212). link(p5_1_0_0_1_212, p6_1_0_0_1_212, v10_1_0_0_1_212). link(p6_1_0_0_1_212, p5_1_0_0_1_212, v11_1_0_0_1_212). %center swap link(p7_1_0_0_1_212, p5_1_0_0_1_212, v12_1_0_0_1_212). link(p6_1_0_0_1_212, p10_1_0_0_1_212, v13_1_0_0_1_212). link(t312_1_0_0_1_212, p7_1_0_0_1_212, v14_1_0_0_1_212). link(p8_1_0_0_1_212, p7_1_0_0_1_212, v15_1_0_0_1_212). link(p10_1_0_0_1_212, p9_1_0_0_1_212, v17_1_0_0_1_212). link(t314_1_0_0_1_212, p10_1_0_0_1_212, v18_1_0_0_1_212). link(p9_1_0_0_1_212, p8_1_0_0_1_212, v16_1_0_0_1_212). link(p8_1_0_0_1_212, j2_1_0_0_1_212, v19_1_0_0_1_212). link(p9_1_0_0_1_212, j2_1_0_0_1_212, v20_1_0_0_1_212). full(t311_1_0_0_1_212). full(t312_1_0_0_1_212). full(t313_1_0_0_1_212). full(t314_1_0_0_1_212). goal(j2_1_0_0_1_212). tank(t311_0_1_0_1_212). tank(t312_0_1_0_1_212). tank(t313_0_1_0_1_212). tank(t314_0_1_0_1_212). jet(j1_0_1_0_1_212). jet(j2_0_1_0_1_212). junction(p1_0_1_0_1_212). junction(p2_0_1_0_1_212). junction(p3_0_1_0_1_212). junction(p4_0_1_0_1_212). junction(p5_0_1_0_1_212). junction(p6_0_1_0_1_212). junction(p7_0_1_0_1_212). junction(p8_0_1_0_1_212). junction(p9_0_1_0_1_212). junction(p10_0_1_0_1_212). valve(v1_0_1_0_1_212). valve(v2_0_1_0_1_212). valve(v3_0_1_0_1_212). valve(v4_0_1_0_1_212). valve(v5_0_1_0_1_212). valve(v6_0_1_0_1_212). valve(v7_0_1_0_1_212). valve(v8_0_1_0_1_212). valve(v9_0_1_0_1_212). valve(v10_0_1_0_1_212). valve(v11_0_1_0_1_212). valve(v12_0_1_0_1_212). valve(v13_0_1_0_1_212). valve(v14_0_1_0_1_212). valve(v15_0_1_0_1_212). valve(v16_0_1_0_1_212). valve(v17_0_1_0_1_212). valve(v18_0_1_0_1_212). valve(v19_0_1_0_1_212). valve(v20_0_1_0_1_212). link(t311_0_1_0_1_212, p1_0_1_0_1_212, v1_0_1_0_1_212). link(p1_0_1_0_1_212, p2_0_1_0_1_212, v2_0_1_0_1_212). link(p3_0_1_0_1_212, p4_0_1_0_1_212, v4_0_1_0_1_212). link(t313_0_1_0_1_212, p4_0_1_0_1_212, v5_0_1_0_1_212). link(p2_0_1_0_1_212, p3_0_1_0_1_212, v3_0_1_0_1_212). link(p2_0_1_0_1_212, j1_0_1_0_1_212, v6_0_1_0_1_212). link(p3_0_1_0_1_212, j1_0_1_0_1_212, v7_0_1_0_1_212). link(p5_0_1_0_1_212, p1_0_1_0_1_212, v8_0_1_0_1_212). link(p4_0_1_0_1_212, p6_0_1_0_1_212, v9_0_1_0_1_212). link(p5_0_1_0_1_212, p6_0_1_0_1_212, v10_0_1_0_1_212). link(p6_0_1_0_1_212, p5_0_1_0_1_212, v11_0_1_0_1_212). %center swap link(p7_0_1_0_1_212, p5_0_1_0_1_212, v12_0_1_0_1_212). link(p6_0_1_0_1_212, p10_0_1_0_1_212, v13_0_1_0_1_212). link(t312_0_1_0_1_212, p7_0_1_0_1_212, v14_0_1_0_1_212). link(p8_0_1_0_1_212, p7_0_1_0_1_212, v15_0_1_0_1_212). link(p10_0_1_0_1_212, p9_0_1_0_1_212, v17_0_1_0_1_212). link(t314_0_1_0_1_212, p10_0_1_0_1_212, v18_0_1_0_1_212). link(p9_0_1_0_1_212, p8_0_1_0_1_212, v16_0_1_0_1_212). link(p8_0_1_0_1_212, j2_0_1_0_1_212, v19_0_1_0_1_212). link(p9_0_1_0_1_212, j2_0_1_0_1_212, v20_0_1_0_1_212). full(t311_0_1_0_1_212). full(t312_0_1_0_1_212). full(t313_0_1_0_1_212). full(t314_0_1_0_1_212). goal(j2_0_1_0_1_212). tank(t311_1_1_0_1_212). tank(t312_1_1_0_1_212). tank(t313_1_1_0_1_212). tank(t314_1_1_0_1_212). jet(j1_1_1_0_1_212). jet(j2_1_1_0_1_212). junction(p1_1_1_0_1_212). junction(p2_1_1_0_1_212). junction(p3_1_1_0_1_212). junction(p4_1_1_0_1_212). junction(p5_1_1_0_1_212). junction(p6_1_1_0_1_212). junction(p7_1_1_0_1_212). junction(p8_1_1_0_1_212). junction(p9_1_1_0_1_212). junction(p10_1_1_0_1_212). valve(v1_1_1_0_1_212). valve(v2_1_1_0_1_212). valve(v3_1_1_0_1_212). valve(v4_1_1_0_1_212). valve(v5_1_1_0_1_212). valve(v6_1_1_0_1_212). valve(v7_1_1_0_1_212). valve(v8_1_1_0_1_212). valve(v9_1_1_0_1_212). valve(v10_1_1_0_1_212). valve(v11_1_1_0_1_212). valve(v12_1_1_0_1_212). valve(v13_1_1_0_1_212). valve(v14_1_1_0_1_212). valve(v15_1_1_0_1_212). valve(v16_1_1_0_1_212). valve(v17_1_1_0_1_212). valve(v18_1_1_0_1_212). valve(v19_1_1_0_1_212). valve(v20_1_1_0_1_212). link(t311_1_1_0_1_212, p1_1_1_0_1_212, v1_1_1_0_1_212). link(p1_1_1_0_1_212, p2_1_1_0_1_212, v2_1_1_0_1_212). link(p3_1_1_0_1_212, p4_1_1_0_1_212, v4_1_1_0_1_212). link(t313_1_1_0_1_212, p4_1_1_0_1_212, v5_1_1_0_1_212). link(p2_1_1_0_1_212, p3_1_1_0_1_212, v3_1_1_0_1_212). link(p2_1_1_0_1_212, j1_1_1_0_1_212, v6_1_1_0_1_212). link(p3_1_1_0_1_212, j1_1_1_0_1_212, v7_1_1_0_1_212). link(p5_1_1_0_1_212, p1_1_1_0_1_212, v8_1_1_0_1_212). link(p4_1_1_0_1_212, p6_1_1_0_1_212, v9_1_1_0_1_212). link(p5_1_1_0_1_212, p6_1_1_0_1_212, v10_1_1_0_1_212). link(p6_1_1_0_1_212, p5_1_1_0_1_212, v11_1_1_0_1_212). %center swap link(p7_1_1_0_1_212, p5_1_1_0_1_212, v12_1_1_0_1_212). link(p6_1_1_0_1_212, p10_1_1_0_1_212, v13_1_1_0_1_212). link(t312_1_1_0_1_212, p7_1_1_0_1_212, v14_1_1_0_1_212). link(p8_1_1_0_1_212, p7_1_1_0_1_212, v15_1_1_0_1_212). link(p10_1_1_0_1_212, p9_1_1_0_1_212, v17_1_1_0_1_212). link(t314_1_1_0_1_212, p10_1_1_0_1_212, v18_1_1_0_1_212). link(p9_1_1_0_1_212, p8_1_1_0_1_212, v16_1_1_0_1_212). link(p8_1_1_0_1_212, j2_1_1_0_1_212, v19_1_1_0_1_212). link(p9_1_1_0_1_212, j2_1_1_0_1_212, v20_1_1_0_1_212). full(t311_1_1_0_1_212). full(t312_1_1_0_1_212). full(t313_1_1_0_1_212). full(t314_1_1_0_1_212). goal(j2_1_1_0_1_212). tank(t311_0_0_1_1_212). tank(t312_0_0_1_1_212). tank(t313_0_0_1_1_212). tank(t314_0_0_1_1_212). jet(j1_0_0_1_1_212). jet(j2_0_0_1_1_212). junction(p1_0_0_1_1_212). junction(p2_0_0_1_1_212). junction(p3_0_0_1_1_212). junction(p4_0_0_1_1_212). junction(p5_0_0_1_1_212). junction(p6_0_0_1_1_212). junction(p7_0_0_1_1_212). junction(p8_0_0_1_1_212). junction(p9_0_0_1_1_212). junction(p10_0_0_1_1_212). valve(v1_0_0_1_1_212). valve(v2_0_0_1_1_212). valve(v3_0_0_1_1_212). valve(v4_0_0_1_1_212). valve(v5_0_0_1_1_212). valve(v6_0_0_1_1_212). valve(v7_0_0_1_1_212). valve(v8_0_0_1_1_212). valve(v9_0_0_1_1_212). valve(v10_0_0_1_1_212). valve(v11_0_0_1_1_212). valve(v12_0_0_1_1_212). valve(v13_0_0_1_1_212). valve(v14_0_0_1_1_212). valve(v15_0_0_1_1_212). valve(v16_0_0_1_1_212). valve(v17_0_0_1_1_212). valve(v18_0_0_1_1_212). valve(v19_0_0_1_1_212). valve(v20_0_0_1_1_212). link(t311_0_0_1_1_212, p1_0_0_1_1_212, v1_0_0_1_1_212). link(p1_0_0_1_1_212, p2_0_0_1_1_212, v2_0_0_1_1_212). link(p3_0_0_1_1_212, p4_0_0_1_1_212, v4_0_0_1_1_212). link(t313_0_0_1_1_212, p4_0_0_1_1_212, v5_0_0_1_1_212). link(p2_0_0_1_1_212, p3_0_0_1_1_212, v3_0_0_1_1_212). link(p2_0_0_1_1_212, j1_0_0_1_1_212, v6_0_0_1_1_212). link(p3_0_0_1_1_212, j1_0_0_1_1_212, v7_0_0_1_1_212). link(p5_0_0_1_1_212, p1_0_0_1_1_212, v8_0_0_1_1_212). link(p4_0_0_1_1_212, p6_0_0_1_1_212, v9_0_0_1_1_212). link(p5_0_0_1_1_212, p6_0_0_1_1_212, v10_0_0_1_1_212). link(p6_0_0_1_1_212, p5_0_0_1_1_212, v11_0_0_1_1_212). %center swap link(p7_0_0_1_1_212, p5_0_0_1_1_212, v12_0_0_1_1_212). link(p6_0_0_1_1_212, p10_0_0_1_1_212, v13_0_0_1_1_212). link(t312_0_0_1_1_212, p7_0_0_1_1_212, v14_0_0_1_1_212). link(p8_0_0_1_1_212, p7_0_0_1_1_212, v15_0_0_1_1_212). link(p10_0_0_1_1_212, p9_0_0_1_1_212, v17_0_0_1_1_212). link(t314_0_0_1_1_212, p10_0_0_1_1_212, v18_0_0_1_1_212). link(p9_0_0_1_1_212, p8_0_0_1_1_212, v16_0_0_1_1_212). link(p8_0_0_1_1_212, j2_0_0_1_1_212, v19_0_0_1_1_212). link(p9_0_0_1_1_212, j2_0_0_1_1_212, v20_0_0_1_1_212). full(t311_0_0_1_1_212). full(t312_0_0_1_1_212). full(t313_0_0_1_1_212). full(t314_0_0_1_1_212). goal(j2_0_0_1_1_212). tank(t311_1_0_1_1_212). tank(t312_1_0_1_1_212). tank(t313_1_0_1_1_212). tank(t314_1_0_1_1_212). jet(j1_1_0_1_1_212). jet(j2_1_0_1_1_212). junction(p1_1_0_1_1_212). junction(p2_1_0_1_1_212). junction(p3_1_0_1_1_212). junction(p4_1_0_1_1_212). junction(p5_1_0_1_1_212). junction(p6_1_0_1_1_212). junction(p7_1_0_1_1_212). junction(p8_1_0_1_1_212). junction(p9_1_0_1_1_212). junction(p10_1_0_1_1_212). valve(v1_1_0_1_1_212). valve(v2_1_0_1_1_212). valve(v3_1_0_1_1_212). valve(v4_1_0_1_1_212). valve(v5_1_0_1_1_212). valve(v6_1_0_1_1_212). valve(v7_1_0_1_1_212). valve(v8_1_0_1_1_212). valve(v9_1_0_1_1_212). valve(v10_1_0_1_1_212). valve(v11_1_0_1_1_212). valve(v12_1_0_1_1_212). valve(v13_1_0_1_1_212). valve(v14_1_0_1_1_212). valve(v15_1_0_1_1_212). valve(v16_1_0_1_1_212). valve(v17_1_0_1_1_212). valve(v18_1_0_1_1_212). valve(v19_1_0_1_1_212). valve(v20_1_0_1_1_212). link(t311_1_0_1_1_212, p1_1_0_1_1_212, v1_1_0_1_1_212). link(p1_1_0_1_1_212, p2_1_0_1_1_212, v2_1_0_1_1_212). link(p3_1_0_1_1_212, p4_1_0_1_1_212, v4_1_0_1_1_212). link(t313_1_0_1_1_212, p4_1_0_1_1_212, v5_1_0_1_1_212). link(p2_1_0_1_1_212, p3_1_0_1_1_212, v3_1_0_1_1_212). link(p2_1_0_1_1_212, j1_1_0_1_1_212, v6_1_0_1_1_212). link(p3_1_0_1_1_212, j1_1_0_1_1_212, v7_1_0_1_1_212). link(p5_1_0_1_1_212, p1_1_0_1_1_212, v8_1_0_1_1_212). link(p4_1_0_1_1_212, p6_1_0_1_1_212, v9_1_0_1_1_212). link(p5_1_0_1_1_212, p6_1_0_1_1_212, v10_1_0_1_1_212). link(p6_1_0_1_1_212, p5_1_0_1_1_212, v11_1_0_1_1_212). %center swap link(p7_1_0_1_1_212, p5_1_0_1_1_212, v12_1_0_1_1_212). link(p6_1_0_1_1_212, p10_1_0_1_1_212, v13_1_0_1_1_212). link(t312_1_0_1_1_212, p7_1_0_1_1_212, v14_1_0_1_1_212). link(p8_1_0_1_1_212, p7_1_0_1_1_212, v15_1_0_1_1_212). link(p10_1_0_1_1_212, p9_1_0_1_1_212, v17_1_0_1_1_212). link(t314_1_0_1_1_212, p10_1_0_1_1_212, v18_1_0_1_1_212). link(p9_1_0_1_1_212, p8_1_0_1_1_212, v16_1_0_1_1_212). link(p8_1_0_1_1_212, j2_1_0_1_1_212, v19_1_0_1_1_212). link(p9_1_0_1_1_212, j2_1_0_1_1_212, v20_1_0_1_1_212). full(t311_1_0_1_1_212). full(t312_1_0_1_1_212). full(t313_1_0_1_1_212). full(t314_1_0_1_1_212). goal(j2_1_0_1_1_212). tank(t311_0_1_1_1_212). tank(t312_0_1_1_1_212). tank(t313_0_1_1_1_212). tank(t314_0_1_1_1_212). jet(j1_0_1_1_1_212). jet(j2_0_1_1_1_212). junction(p1_0_1_1_1_212). junction(p2_0_1_1_1_212). junction(p3_0_1_1_1_212). junction(p4_0_1_1_1_212). junction(p5_0_1_1_1_212). junction(p6_0_1_1_1_212). junction(p7_0_1_1_1_212). junction(p8_0_1_1_1_212). junction(p9_0_1_1_1_212). junction(p10_0_1_1_1_212). valve(v1_0_1_1_1_212). valve(v2_0_1_1_1_212). valve(v3_0_1_1_1_212). valve(v4_0_1_1_1_212). valve(v5_0_1_1_1_212). valve(v6_0_1_1_1_212). valve(v7_0_1_1_1_212). valve(v8_0_1_1_1_212). valve(v9_0_1_1_1_212). valve(v10_0_1_1_1_212). valve(v11_0_1_1_1_212). valve(v12_0_1_1_1_212). valve(v13_0_1_1_1_212). valve(v14_0_1_1_1_212). valve(v15_0_1_1_1_212). valve(v16_0_1_1_1_212). valve(v17_0_1_1_1_212). valve(v18_0_1_1_1_212). valve(v19_0_1_1_1_212). valve(v20_0_1_1_1_212). link(t311_0_1_1_1_212, p1_0_1_1_1_212, v1_0_1_1_1_212). link(p1_0_1_1_1_212, p2_0_1_1_1_212, v2_0_1_1_1_212). link(p3_0_1_1_1_212, p4_0_1_1_1_212, v4_0_1_1_1_212). link(t313_0_1_1_1_212, p4_0_1_1_1_212, v5_0_1_1_1_212). link(p2_0_1_1_1_212, p3_0_1_1_1_212, v3_0_1_1_1_212). link(p2_0_1_1_1_212, j1_0_1_1_1_212, v6_0_1_1_1_212). link(p3_0_1_1_1_212, j1_0_1_1_1_212, v7_0_1_1_1_212). link(p5_0_1_1_1_212, p1_0_1_1_1_212, v8_0_1_1_1_212). link(p4_0_1_1_1_212, p6_0_1_1_1_212, v9_0_1_1_1_212). link(p5_0_1_1_1_212, p6_0_1_1_1_212, v10_0_1_1_1_212). link(p6_0_1_1_1_212, p5_0_1_1_1_212, v11_0_1_1_1_212). %center swap link(p7_0_1_1_1_212, p5_0_1_1_1_212, v12_0_1_1_1_212). link(p6_0_1_1_1_212, p10_0_1_1_1_212, v13_0_1_1_1_212). link(t312_0_1_1_1_212, p7_0_1_1_1_212, v14_0_1_1_1_212). link(p8_0_1_1_1_212, p7_0_1_1_1_212, v15_0_1_1_1_212). link(p10_0_1_1_1_212, p9_0_1_1_1_212, v17_0_1_1_1_212). link(t314_0_1_1_1_212, p10_0_1_1_1_212, v18_0_1_1_1_212). link(p9_0_1_1_1_212, p8_0_1_1_1_212, v16_0_1_1_1_212). link(p8_0_1_1_1_212, j2_0_1_1_1_212, v19_0_1_1_1_212). link(p9_0_1_1_1_212, j2_0_1_1_1_212, v20_0_1_1_1_212). full(t311_0_1_1_1_212). full(t312_0_1_1_1_212). full(t313_0_1_1_1_212). full(t314_0_1_1_1_212). goal(j2_0_1_1_1_212). tank(t311_1_1_1_1_212). tank(t312_1_1_1_1_212). tank(t313_1_1_1_1_212). tank(t314_1_1_1_1_212). jet(j1_1_1_1_1_212). jet(j2_1_1_1_1_212). junction(p1_1_1_1_1_212). junction(p2_1_1_1_1_212). junction(p3_1_1_1_1_212). junction(p4_1_1_1_1_212). junction(p5_1_1_1_1_212). junction(p6_1_1_1_1_212). junction(p7_1_1_1_1_212). junction(p8_1_1_1_1_212). junction(p9_1_1_1_1_212). junction(p10_1_1_1_1_212). valve(v1_1_1_1_1_212). valve(v2_1_1_1_1_212). valve(v3_1_1_1_1_212). valve(v4_1_1_1_1_212). valve(v5_1_1_1_1_212). valve(v6_1_1_1_1_212). valve(v7_1_1_1_1_212). valve(v8_1_1_1_1_212). valve(v9_1_1_1_1_212). valve(v10_1_1_1_1_212). valve(v11_1_1_1_1_212). valve(v12_1_1_1_1_212). valve(v13_1_1_1_1_212). valve(v14_1_1_1_1_212). valve(v15_1_1_1_1_212). valve(v16_1_1_1_1_212). valve(v17_1_1_1_1_212). valve(v18_1_1_1_1_212). valve(v19_1_1_1_1_212). valve(v20_1_1_1_1_212). link(t311_1_1_1_1_212, p1_1_1_1_1_212, v1_1_1_1_1_212). link(p1_1_1_1_1_212, p2_1_1_1_1_212, v2_1_1_1_1_212). link(p3_1_1_1_1_212, p4_1_1_1_1_212, v4_1_1_1_1_212). link(t313_1_1_1_1_212, p4_1_1_1_1_212, v5_1_1_1_1_212). link(p2_1_1_1_1_212, p3_1_1_1_1_212, v3_1_1_1_1_212). link(p2_1_1_1_1_212, j1_1_1_1_1_212, v6_1_1_1_1_212). link(p3_1_1_1_1_212, j1_1_1_1_1_212, v7_1_1_1_1_212). link(p5_1_1_1_1_212, p1_1_1_1_1_212, v8_1_1_1_1_212). link(p4_1_1_1_1_212, p6_1_1_1_1_212, v9_1_1_1_1_212). link(p5_1_1_1_1_212, p6_1_1_1_1_212, v10_1_1_1_1_212). link(p6_1_1_1_1_212, p5_1_1_1_1_212, v11_1_1_1_1_212). %center swap link(p7_1_1_1_1_212, p5_1_1_1_1_212, v12_1_1_1_1_212). link(p6_1_1_1_1_212, p10_1_1_1_1_212, v13_1_1_1_1_212). link(t312_1_1_1_1_212, p7_1_1_1_1_212, v14_1_1_1_1_212). link(p8_1_1_1_1_212, p7_1_1_1_1_212, v15_1_1_1_1_212). link(p10_1_1_1_1_212, p9_1_1_1_1_212, v17_1_1_1_1_212). link(t314_1_1_1_1_212, p10_1_1_1_1_212, v18_1_1_1_1_212). link(p9_1_1_1_1_212, p8_1_1_1_1_212, v16_1_1_1_1_212). link(p8_1_1_1_1_212, j2_1_1_1_1_212, v19_1_1_1_1_212). link(p9_1_1_1_1_212, j2_1_1_1_1_212, v20_1_1_1_1_212). full(t311_1_1_1_1_212). full(t312_1_1_1_1_212). full(t313_1_1_1_1_212). full(t314_1_1_1_1_212). goal(j2_1_1_1_1_212). tank(t311_0_0_0_390_213). tank(t312_0_0_0_390_213). tank(t313_0_0_0_390_213). tank(t314_0_0_0_390_213). jet(j1_0_0_0_390_213). jet(j2_0_0_0_390_213). junction(p1_0_0_0_390_213). junction(p2_0_0_0_390_213). junction(p3_0_0_0_390_213). junction(p4_0_0_0_390_213). junction(p5_0_0_0_390_213). junction(p6_0_0_0_390_213). junction(p7_0_0_0_390_213). junction(p8_0_0_0_390_213). junction(p9_0_0_0_390_213). junction(p10_0_0_0_390_213). valve(v1_0_0_0_390_213). valve(v2_0_0_0_390_213). valve(v3_0_0_0_390_213). valve(v4_0_0_0_390_213). valve(v5_0_0_0_390_213). valve(v6_0_0_0_390_213). valve(v7_0_0_0_390_213). valve(v8_0_0_0_390_213). valve(v9_0_0_0_390_213). valve(v10_0_0_0_390_213). valve(v11_0_0_0_390_213). valve(v12_0_0_0_390_213). valve(v13_0_0_0_390_213). valve(v14_0_0_0_390_213). valve(v15_0_0_0_390_213). valve(v16_0_0_0_390_213). valve(v17_0_0_0_390_213). valve(v18_0_0_0_390_213). valve(v19_0_0_0_390_213). valve(v20_0_0_0_390_213). link(t311_0_0_0_390_213, p1_0_0_0_390_213, v1_0_0_0_390_213). link(p1_0_0_0_390_213, p2_0_0_0_390_213, v2_0_0_0_390_213). link(p3_0_0_0_390_213, p4_0_0_0_390_213, v4_0_0_0_390_213). link(t313_0_0_0_390_213, p4_0_0_0_390_213, v5_0_0_0_390_213). link(p2_0_0_0_390_213, p3_0_0_0_390_213, v3_0_0_0_390_213). link(p2_0_0_0_390_213, j1_0_0_0_390_213, v6_0_0_0_390_213). link(p3_0_0_0_390_213, j1_0_0_0_390_213, v7_0_0_0_390_213). link(p5_0_0_0_390_213, p1_0_0_0_390_213, v8_0_0_0_390_213). link(p4_0_0_0_390_213, p6_0_0_0_390_213, v9_0_0_0_390_213). link(p5_0_0_0_390_213, p6_0_0_0_390_213, v10_0_0_0_390_213). link(p6_0_0_0_390_213, p5_0_0_0_390_213, v11_0_0_0_390_213). %center swap link(p7_0_0_0_390_213, p5_0_0_0_390_213, v12_0_0_0_390_213). link(p6_0_0_0_390_213, p10_0_0_0_390_213, v13_0_0_0_390_213). link(t312_0_0_0_390_213, p7_0_0_0_390_213, v14_0_0_0_390_213). link(p8_0_0_0_390_213, p7_0_0_0_390_213, v15_0_0_0_390_213). link(p10_0_0_0_390_213, p9_0_0_0_390_213, v17_0_0_0_390_213). link(t314_0_0_0_390_213, p10_0_0_0_390_213, v18_0_0_0_390_213). link(p9_0_0_0_390_213, p8_0_0_0_390_213, v16_0_0_0_390_213). link(p8_0_0_0_390_213, j2_0_0_0_390_213, v19_0_0_0_390_213). link(p9_0_0_0_390_213, j2_0_0_0_390_213, v20_0_0_0_390_213). full(t311_0_0_0_390_213). full(t312_0_0_0_390_213). full(t313_0_0_0_390_213). full(t314_0_0_0_390_213). goal(j2_0_0_0_390_213). tank(t311_1_0_0_390_213). tank(t312_1_0_0_390_213). tank(t313_1_0_0_390_213). tank(t314_1_0_0_390_213). jet(j1_1_0_0_390_213). jet(j2_1_0_0_390_213). junction(p1_1_0_0_390_213). junction(p2_1_0_0_390_213). junction(p3_1_0_0_390_213). junction(p4_1_0_0_390_213). junction(p5_1_0_0_390_213). junction(p6_1_0_0_390_213). junction(p7_1_0_0_390_213). junction(p8_1_0_0_390_213). junction(p9_1_0_0_390_213). junction(p10_1_0_0_390_213). valve(v1_1_0_0_390_213). valve(v2_1_0_0_390_213). valve(v3_1_0_0_390_213). valve(v4_1_0_0_390_213). valve(v5_1_0_0_390_213). valve(v6_1_0_0_390_213). valve(v7_1_0_0_390_213). valve(v8_1_0_0_390_213). valve(v9_1_0_0_390_213). valve(v10_1_0_0_390_213). valve(v11_1_0_0_390_213). valve(v12_1_0_0_390_213). valve(v13_1_0_0_390_213). valve(v14_1_0_0_390_213). valve(v15_1_0_0_390_213). valve(v16_1_0_0_390_213). valve(v17_1_0_0_390_213). valve(v18_1_0_0_390_213). valve(v19_1_0_0_390_213). valve(v20_1_0_0_390_213). link(t311_1_0_0_390_213, p1_1_0_0_390_213, v1_1_0_0_390_213). link(p1_1_0_0_390_213, p2_1_0_0_390_213, v2_1_0_0_390_213). link(p3_1_0_0_390_213, p4_1_0_0_390_213, v4_1_0_0_390_213). link(t313_1_0_0_390_213, p4_1_0_0_390_213, v5_1_0_0_390_213). link(p2_1_0_0_390_213, p3_1_0_0_390_213, v3_1_0_0_390_213). link(p2_1_0_0_390_213, j1_1_0_0_390_213, v6_1_0_0_390_213). link(p3_1_0_0_390_213, j1_1_0_0_390_213, v7_1_0_0_390_213). link(p5_1_0_0_390_213, p1_1_0_0_390_213, v8_1_0_0_390_213). link(p4_1_0_0_390_213, p6_1_0_0_390_213, v9_1_0_0_390_213). link(p5_1_0_0_390_213, p6_1_0_0_390_213, v10_1_0_0_390_213). link(p6_1_0_0_390_213, p5_1_0_0_390_213, v11_1_0_0_390_213). %center swap link(p7_1_0_0_390_213, p5_1_0_0_390_213, v12_1_0_0_390_213). link(p6_1_0_0_390_213, p10_1_0_0_390_213, v13_1_0_0_390_213). link(t312_1_0_0_390_213, p7_1_0_0_390_213, v14_1_0_0_390_213). link(p8_1_0_0_390_213, p7_1_0_0_390_213, v15_1_0_0_390_213). link(p10_1_0_0_390_213, p9_1_0_0_390_213, v17_1_0_0_390_213). link(t314_1_0_0_390_213, p10_1_0_0_390_213, v18_1_0_0_390_213). link(p9_1_0_0_390_213, p8_1_0_0_390_213, v16_1_0_0_390_213). link(p8_1_0_0_390_213, j2_1_0_0_390_213, v19_1_0_0_390_213). link(p9_1_0_0_390_213, j2_1_0_0_390_213, v20_1_0_0_390_213). full(t311_1_0_0_390_213). full(t312_1_0_0_390_213). full(t313_1_0_0_390_213). full(t314_1_0_0_390_213). goal(j2_1_0_0_390_213). tank(t311_0_1_0_390_213). tank(t312_0_1_0_390_213). tank(t313_0_1_0_390_213). tank(t314_0_1_0_390_213). jet(j1_0_1_0_390_213). jet(j2_0_1_0_390_213). junction(p1_0_1_0_390_213). junction(p2_0_1_0_390_213). junction(p3_0_1_0_390_213). junction(p4_0_1_0_390_213). junction(p5_0_1_0_390_213). junction(p6_0_1_0_390_213). junction(p7_0_1_0_390_213). junction(p8_0_1_0_390_213). junction(p9_0_1_0_390_213). junction(p10_0_1_0_390_213). valve(v1_0_1_0_390_213). valve(v2_0_1_0_390_213). valve(v3_0_1_0_390_213). valve(v4_0_1_0_390_213). valve(v5_0_1_0_390_213). valve(v6_0_1_0_390_213). valve(v7_0_1_0_390_213). valve(v8_0_1_0_390_213). valve(v9_0_1_0_390_213). valve(v10_0_1_0_390_213). valve(v11_0_1_0_390_213). valve(v12_0_1_0_390_213). valve(v13_0_1_0_390_213). valve(v14_0_1_0_390_213). valve(v15_0_1_0_390_213). valve(v16_0_1_0_390_213). valve(v17_0_1_0_390_213). valve(v18_0_1_0_390_213). valve(v19_0_1_0_390_213). valve(v20_0_1_0_390_213). link(t311_0_1_0_390_213, p1_0_1_0_390_213, v1_0_1_0_390_213). link(p1_0_1_0_390_213, p2_0_1_0_390_213, v2_0_1_0_390_213). link(p3_0_1_0_390_213, p4_0_1_0_390_213, v4_0_1_0_390_213). link(t313_0_1_0_390_213, p4_0_1_0_390_213, v5_0_1_0_390_213). link(p2_0_1_0_390_213, p3_0_1_0_390_213, v3_0_1_0_390_213). link(p2_0_1_0_390_213, j1_0_1_0_390_213, v6_0_1_0_390_213). link(p3_0_1_0_390_213, j1_0_1_0_390_213, v7_0_1_0_390_213). link(p5_0_1_0_390_213, p1_0_1_0_390_213, v8_0_1_0_390_213). link(p4_0_1_0_390_213, p6_0_1_0_390_213, v9_0_1_0_390_213). link(p5_0_1_0_390_213, p6_0_1_0_390_213, v10_0_1_0_390_213). link(p6_0_1_0_390_213, p5_0_1_0_390_213, v11_0_1_0_390_213). %center swap link(p7_0_1_0_390_213, p5_0_1_0_390_213, v12_0_1_0_390_213). link(p6_0_1_0_390_213, p10_0_1_0_390_213, v13_0_1_0_390_213). link(t312_0_1_0_390_213, p7_0_1_0_390_213, v14_0_1_0_390_213). link(p8_0_1_0_390_213, p7_0_1_0_390_213, v15_0_1_0_390_213). link(p10_0_1_0_390_213, p9_0_1_0_390_213, v17_0_1_0_390_213). link(t314_0_1_0_390_213, p10_0_1_0_390_213, v18_0_1_0_390_213). link(p9_0_1_0_390_213, p8_0_1_0_390_213, v16_0_1_0_390_213). link(p8_0_1_0_390_213, j2_0_1_0_390_213, v19_0_1_0_390_213). link(p9_0_1_0_390_213, j2_0_1_0_390_213, v20_0_1_0_390_213). full(t311_0_1_0_390_213). full(t312_0_1_0_390_213). full(t313_0_1_0_390_213). full(t314_0_1_0_390_213). goal(j2_0_1_0_390_213). tank(t311_1_1_0_390_213). tank(t312_1_1_0_390_213). tank(t313_1_1_0_390_213). tank(t314_1_1_0_390_213). jet(j1_1_1_0_390_213). jet(j2_1_1_0_390_213). junction(p1_1_1_0_390_213). junction(p2_1_1_0_390_213). junction(p3_1_1_0_390_213). junction(p4_1_1_0_390_213). junction(p5_1_1_0_390_213). junction(p6_1_1_0_390_213). junction(p7_1_1_0_390_213). junction(p8_1_1_0_390_213). junction(p9_1_1_0_390_213). junction(p10_1_1_0_390_213). valve(v1_1_1_0_390_213). valve(v2_1_1_0_390_213). valve(v3_1_1_0_390_213). valve(v4_1_1_0_390_213). valve(v5_1_1_0_390_213). valve(v6_1_1_0_390_213). valve(v7_1_1_0_390_213). valve(v8_1_1_0_390_213). valve(v9_1_1_0_390_213). valve(v10_1_1_0_390_213). valve(v11_1_1_0_390_213). valve(v12_1_1_0_390_213). valve(v13_1_1_0_390_213). valve(v14_1_1_0_390_213). valve(v15_1_1_0_390_213). valve(v16_1_1_0_390_213). valve(v17_1_1_0_390_213). valve(v18_1_1_0_390_213). valve(v19_1_1_0_390_213). valve(v20_1_1_0_390_213). link(t311_1_1_0_390_213, p1_1_1_0_390_213, v1_1_1_0_390_213). link(p1_1_1_0_390_213, p2_1_1_0_390_213, v2_1_1_0_390_213). link(p3_1_1_0_390_213, p4_1_1_0_390_213, v4_1_1_0_390_213). link(t313_1_1_0_390_213, p4_1_1_0_390_213, v5_1_1_0_390_213). link(p2_1_1_0_390_213, p3_1_1_0_390_213, v3_1_1_0_390_213). link(p2_1_1_0_390_213, j1_1_1_0_390_213, v6_1_1_0_390_213). link(p3_1_1_0_390_213, j1_1_1_0_390_213, v7_1_1_0_390_213). link(p5_1_1_0_390_213, p1_1_1_0_390_213, v8_1_1_0_390_213). link(p4_1_1_0_390_213, p6_1_1_0_390_213, v9_1_1_0_390_213). link(p5_1_1_0_390_213, p6_1_1_0_390_213, v10_1_1_0_390_213). link(p6_1_1_0_390_213, p5_1_1_0_390_213, v11_1_1_0_390_213). %center swap link(p7_1_1_0_390_213, p5_1_1_0_390_213, v12_1_1_0_390_213). link(p6_1_1_0_390_213, p10_1_1_0_390_213, v13_1_1_0_390_213). link(t312_1_1_0_390_213, p7_1_1_0_390_213, v14_1_1_0_390_213). link(p8_1_1_0_390_213, p7_1_1_0_390_213, v15_1_1_0_390_213). link(p10_1_1_0_390_213, p9_1_1_0_390_213, v17_1_1_0_390_213). link(t314_1_1_0_390_213, p10_1_1_0_390_213, v18_1_1_0_390_213). link(p9_1_1_0_390_213, p8_1_1_0_390_213, v16_1_1_0_390_213). link(p8_1_1_0_390_213, j2_1_1_0_390_213, v19_1_1_0_390_213). link(p9_1_1_0_390_213, j2_1_1_0_390_213, v20_1_1_0_390_213). full(t311_1_1_0_390_213). full(t312_1_1_0_390_213). full(t313_1_1_0_390_213). full(t314_1_1_0_390_213). goal(j2_1_1_0_390_213). tank(t311_0_0_1_390_213). tank(t312_0_0_1_390_213). tank(t313_0_0_1_390_213). tank(t314_0_0_1_390_213). jet(j1_0_0_1_390_213). jet(j2_0_0_1_390_213). junction(p1_0_0_1_390_213). junction(p2_0_0_1_390_213). junction(p3_0_0_1_390_213). junction(p4_0_0_1_390_213). junction(p5_0_0_1_390_213). junction(p6_0_0_1_390_213). junction(p7_0_0_1_390_213). junction(p8_0_0_1_390_213). junction(p9_0_0_1_390_213). junction(p10_0_0_1_390_213). valve(v1_0_0_1_390_213). valve(v2_0_0_1_390_213). valve(v3_0_0_1_390_213). valve(v4_0_0_1_390_213). valve(v5_0_0_1_390_213). valve(v6_0_0_1_390_213). valve(v7_0_0_1_390_213). valve(v8_0_0_1_390_213). valve(v9_0_0_1_390_213). valve(v10_0_0_1_390_213). valve(v11_0_0_1_390_213). valve(v12_0_0_1_390_213). valve(v13_0_0_1_390_213). valve(v14_0_0_1_390_213). valve(v15_0_0_1_390_213). valve(v16_0_0_1_390_213). valve(v17_0_0_1_390_213). valve(v18_0_0_1_390_213). valve(v19_0_0_1_390_213). valve(v20_0_0_1_390_213). link(t311_0_0_1_390_213, p1_0_0_1_390_213, v1_0_0_1_390_213). link(p1_0_0_1_390_213, p2_0_0_1_390_213, v2_0_0_1_390_213). link(p3_0_0_1_390_213, p4_0_0_1_390_213, v4_0_0_1_390_213). link(t313_0_0_1_390_213, p4_0_0_1_390_213, v5_0_0_1_390_213). link(p2_0_0_1_390_213, p3_0_0_1_390_213, v3_0_0_1_390_213). link(p2_0_0_1_390_213, j1_0_0_1_390_213, v6_0_0_1_390_213). link(p3_0_0_1_390_213, j1_0_0_1_390_213, v7_0_0_1_390_213). link(p5_0_0_1_390_213, p1_0_0_1_390_213, v8_0_0_1_390_213). link(p4_0_0_1_390_213, p6_0_0_1_390_213, v9_0_0_1_390_213). link(p5_0_0_1_390_213, p6_0_0_1_390_213, v10_0_0_1_390_213). link(p6_0_0_1_390_213, p5_0_0_1_390_213, v11_0_0_1_390_213). %center swap link(p7_0_0_1_390_213, p5_0_0_1_390_213, v12_0_0_1_390_213). link(p6_0_0_1_390_213, p10_0_0_1_390_213, v13_0_0_1_390_213). link(t312_0_0_1_390_213, p7_0_0_1_390_213, v14_0_0_1_390_213). link(p8_0_0_1_390_213, p7_0_0_1_390_213, v15_0_0_1_390_213). link(p10_0_0_1_390_213, p9_0_0_1_390_213, v17_0_0_1_390_213). link(t314_0_0_1_390_213, p10_0_0_1_390_213, v18_0_0_1_390_213). link(p9_0_0_1_390_213, p8_0_0_1_390_213, v16_0_0_1_390_213). link(p8_0_0_1_390_213, j2_0_0_1_390_213, v19_0_0_1_390_213). link(p9_0_0_1_390_213, j2_0_0_1_390_213, v20_0_0_1_390_213). full(t311_0_0_1_390_213). full(t312_0_0_1_390_213). full(t313_0_0_1_390_213). full(t314_0_0_1_390_213). goal(j2_0_0_1_390_213). tank(t311_1_0_1_390_213). tank(t312_1_0_1_390_213). tank(t313_1_0_1_390_213). tank(t314_1_0_1_390_213). jet(j1_1_0_1_390_213). jet(j2_1_0_1_390_213). junction(p1_1_0_1_390_213). junction(p2_1_0_1_390_213). junction(p3_1_0_1_390_213). junction(p4_1_0_1_390_213). junction(p5_1_0_1_390_213). junction(p6_1_0_1_390_213). junction(p7_1_0_1_390_213). junction(p8_1_0_1_390_213). junction(p9_1_0_1_390_213). junction(p10_1_0_1_390_213). valve(v1_1_0_1_390_213). valve(v2_1_0_1_390_213). valve(v3_1_0_1_390_213). valve(v4_1_0_1_390_213). valve(v5_1_0_1_390_213). valve(v6_1_0_1_390_213). valve(v7_1_0_1_390_213). valve(v8_1_0_1_390_213). valve(v9_1_0_1_390_213). valve(v10_1_0_1_390_213). valve(v11_1_0_1_390_213). valve(v12_1_0_1_390_213). valve(v13_1_0_1_390_213). valve(v14_1_0_1_390_213). valve(v15_1_0_1_390_213). valve(v16_1_0_1_390_213). valve(v17_1_0_1_390_213). valve(v18_1_0_1_390_213). valve(v19_1_0_1_390_213). valve(v20_1_0_1_390_213). link(t311_1_0_1_390_213, p1_1_0_1_390_213, v1_1_0_1_390_213). link(p1_1_0_1_390_213, p2_1_0_1_390_213, v2_1_0_1_390_213). link(p3_1_0_1_390_213, p4_1_0_1_390_213, v4_1_0_1_390_213). link(t313_1_0_1_390_213, p4_1_0_1_390_213, v5_1_0_1_390_213). link(p2_1_0_1_390_213, p3_1_0_1_390_213, v3_1_0_1_390_213). link(p2_1_0_1_390_213, j1_1_0_1_390_213, v6_1_0_1_390_213). link(p3_1_0_1_390_213, j1_1_0_1_390_213, v7_1_0_1_390_213). link(p5_1_0_1_390_213, p1_1_0_1_390_213, v8_1_0_1_390_213). link(p4_1_0_1_390_213, p6_1_0_1_390_213, v9_1_0_1_390_213). link(p5_1_0_1_390_213, p6_1_0_1_390_213, v10_1_0_1_390_213). link(p6_1_0_1_390_213, p5_1_0_1_390_213, v11_1_0_1_390_213). %center swap link(p7_1_0_1_390_213, p5_1_0_1_390_213, v12_1_0_1_390_213). link(p6_1_0_1_390_213, p10_1_0_1_390_213, v13_1_0_1_390_213). link(t312_1_0_1_390_213, p7_1_0_1_390_213, v14_1_0_1_390_213). link(p8_1_0_1_390_213, p7_1_0_1_390_213, v15_1_0_1_390_213). link(p10_1_0_1_390_213, p9_1_0_1_390_213, v17_1_0_1_390_213). link(t314_1_0_1_390_213, p10_1_0_1_390_213, v18_1_0_1_390_213). link(p9_1_0_1_390_213, p8_1_0_1_390_213, v16_1_0_1_390_213). link(p8_1_0_1_390_213, j2_1_0_1_390_213, v19_1_0_1_390_213). link(p9_1_0_1_390_213, j2_1_0_1_390_213, v20_1_0_1_390_213). full(t311_1_0_1_390_213). full(t312_1_0_1_390_213). full(t313_1_0_1_390_213). full(t314_1_0_1_390_213). goal(j2_1_0_1_390_213). tank(t311_0_1_1_390_213). tank(t312_0_1_1_390_213). tank(t313_0_1_1_390_213). tank(t314_0_1_1_390_213). jet(j1_0_1_1_390_213). jet(j2_0_1_1_390_213). junction(p1_0_1_1_390_213). junction(p2_0_1_1_390_213). junction(p3_0_1_1_390_213). junction(p4_0_1_1_390_213). junction(p5_0_1_1_390_213). junction(p6_0_1_1_390_213). junction(p7_0_1_1_390_213). junction(p8_0_1_1_390_213). junction(p9_0_1_1_390_213). junction(p10_0_1_1_390_213). valve(v1_0_1_1_390_213). valve(v2_0_1_1_390_213). valve(v3_0_1_1_390_213). valve(v4_0_1_1_390_213). valve(v5_0_1_1_390_213). valve(v6_0_1_1_390_213). valve(v7_0_1_1_390_213). valve(v8_0_1_1_390_213). valve(v9_0_1_1_390_213). valve(v10_0_1_1_390_213). valve(v11_0_1_1_390_213). valve(v12_0_1_1_390_213). valve(v13_0_1_1_390_213). valve(v14_0_1_1_390_213). valve(v15_0_1_1_390_213). valve(v16_0_1_1_390_213). valve(v17_0_1_1_390_213). valve(v18_0_1_1_390_213). valve(v19_0_1_1_390_213). valve(v20_0_1_1_390_213). link(t311_0_1_1_390_213, p1_0_1_1_390_213, v1_0_1_1_390_213). link(p1_0_1_1_390_213, p2_0_1_1_390_213, v2_0_1_1_390_213). link(p3_0_1_1_390_213, p4_0_1_1_390_213, v4_0_1_1_390_213). link(t313_0_1_1_390_213, p4_0_1_1_390_213, v5_0_1_1_390_213). link(p2_0_1_1_390_213, p3_0_1_1_390_213, v3_0_1_1_390_213). link(p2_0_1_1_390_213, j1_0_1_1_390_213, v6_0_1_1_390_213). link(p3_0_1_1_390_213, j1_0_1_1_390_213, v7_0_1_1_390_213). link(p5_0_1_1_390_213, p1_0_1_1_390_213, v8_0_1_1_390_213). link(p4_0_1_1_390_213, p6_0_1_1_390_213, v9_0_1_1_390_213). link(p5_0_1_1_390_213, p6_0_1_1_390_213, v10_0_1_1_390_213). link(p6_0_1_1_390_213, p5_0_1_1_390_213, v11_0_1_1_390_213). %center swap link(p7_0_1_1_390_213, p5_0_1_1_390_213, v12_0_1_1_390_213). link(p6_0_1_1_390_213, p10_0_1_1_390_213, v13_0_1_1_390_213). link(t312_0_1_1_390_213, p7_0_1_1_390_213, v14_0_1_1_390_213). link(p8_0_1_1_390_213, p7_0_1_1_390_213, v15_0_1_1_390_213). link(p10_0_1_1_390_213, p9_0_1_1_390_213, v17_0_1_1_390_213). link(t314_0_1_1_390_213, p10_0_1_1_390_213, v18_0_1_1_390_213). ... (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 106-hydraulic_planning-619-0.asp