set J := AB AC AD BE CD CE DF EF;
set I := AE BD CF BF AF;

set R[AE] := ABE ACE ADCE ADFE ;
set R[BD] := BAD BACD BECD BEFD ;
set R[CF] := CDF CEF;
set R[BF] := BADF BEF;
set R[AF] := ADF ACDF ACEF;

param a := 
AE ABE AB 1
AE ABE BE 1
AE ACE AC 1
AE ACE CE 1
AE ADCE AD 1
AE ADCE CD 1
AE ADCE CE 1
AE ADFE AD 1
AE ADFE DF 1
AE ADFE EF 1
BD BAD AB 1
BD BAD AD 1
BD BACD AB 1
BD BACD AC 1
BD BACD CD 1
BD BECD BE 1
BD BECD CE 1
BD BECD CD 1
BD BEFD BE 1
BD BEFD EF 1
BD BEFD DF 1
CF CDF CD 1
CF CDF DF 1
CF CEF CE 1
CF CEF EF 1
BF BADF AB 1
BF BADF AD 1
BF BADF DF 1
BF BEF BE 1
BF BEF EF 1
AF ADF AD 1
AF ADF DF 1
AF ACDF AC 1
AF ACDF CD 1
AF ACDF DF 1
AF ACEF AC 1
AF ACEF CE 1
AF ACEF EF 1
;

param: u c := 
AB 4 2
AC 7 3
AD 5 2
BE 3 4
CD 8 3
CE 3 1
DF 5 2
EF 5 2
;

param b := 30;

param d :=
AE 8
BD 8
CF 4
BF 6
AF 4
;

param N := 3;

param d2 := 
AE 1 6
BD 1 6
CF 1 3
BF 1 4.5
AF 1 3
AE 2 8
BD 2 8
CF 2 4
BF 2 6
AF 2 4
AE 3 10
BD 3 10
CF 3 5
BF 3 7.5
AF 3 5
;