Les trois vases I (étude préliminaire)

$val17 .

$val18 $(val19[1]), $val36 $(val19[2..-1]):

$val20

$val82 $val83 ( ).

$(val84[1]) $(val12[2]), $(val12[2]) $(val12[2]). $(val25[2]) $(val25[3]) , . $(val25[5]) , .

Les trois vases II (graphe)

$val68:
$val18 $val20 $val76 :

Les trois vases III (matrice du graphe)

$val69:
$val18 $val19

Les trois vases IV (résolution)

$val99, $val8 $(val9[1]), $(val9[2]) $(val42[1]) $(val12[1]), $(val12[2]), $val8 $(val9[1]) $(val9[2]) $(val42[2]) $(val12[1]) $(val12[2]) $val11 $val8 $(val9[1]). $(val9[2]) $(val42[3]) $(val12[1]). $(val12[2]). $(val19[1]) $val38 $(val19[2]) $(val10[1]), $(val10[2]) $(val43[1]) $(val12[1]), $(val12[2]), $(val14[3]) $(val10[1]) $(val10[2]) $(val43[2]) $(val12[1]) $(val12[2]) $val11 $(val14[3]) $(val10[1]). $(val10[2]) $(val43[3]) $(val12[1]). $(val12[2]). $val20 $(val18[1])?

$(val18[2]) $val38. [ ]

$val22
$val24: $val94
$val25

Les trois vases V (composante connexe)

$val77
$(val14[1]) $(val9[1]), $(val9[2]) $(val32[1]) $(val12[1]), $(val12[2]), $(val14[2]) $(val9[1]) $(val9[2]) $(val32[2]) $(val12[1]) $(val12[2]) $val11 $(val14[2]) $(val9[1]), $(val9[2]) $(val32[3]) $(val12[2]),