European1

root := (g126 & g138 & g144)
g144 := (g111 | g112 | g143 | c053)
g143 := (g139 & g140 & g141 & g142)
g142 := (g065 | g069 | g118 | g132 | c051)
g141 := (g064 | g067 | g117 | g131 | c050)
g140 := (g063 | g068 | g118 | g130 | c049)
g139 := (g062 | g066 | g117 | g129 | c048)
g138 := (g106 | g119 | g137)
g137 := @(3, [g133,g134,g135,g136])
g136 := (g065 | g132 | c061)
g135 := (g064 | g131 | c060)
g134 := (g063 | g130 | c059)
g133 := (g062 | g129 | c058)
g132 := (g065 | g128 | c057)
g131 := (g064 | g127 | c056)
g130 := (g063 | g128 | c055)
g129 := (g062 | g127 | c054)
g128 := (g116 & g120)
g127 := (g115 & g120)
g126 := (g111 |g112 | g125 | c053)
g125 := @(2, [g121,g123,g122,g124])
g124 := (g069 | g118 | c051)
g123 := (g067 | g117 | c050)
g122 := (g068 | g118 | c049)
g121 := (g066 | g117 | c048)
g120 := (g109 | g110)
g119 := (g107 | g108 | c052)
g118 := (g114 | c047)
g117 := (g113 | c046)
g116 := (g103 & g105)
g115 := (g102 & g104)
g114 := (g091 & g093)
g113 := (g090 & g092)
g112 := @(3, [g098,g099,g100,g101])
g111 := @(3, [g094,g095,g096,g097])
g110 := @(3, [g086,g087,g088,g089])
g109 := @(3, [g082,g083,g084,g085])
g108 := @(3, [g078,g079,g080,g081])
g107 := @(3, [g074,g075,g076,g077])
g106 := @(3, [g070,g071,g072,g073])
g105 := (g069 | c045)
g104 := (g067 | c044)
g103 := (g068 | c043)
g102 := (g066 | c042)
g101 := (g069 | c041)
g100 := (g067 | c040)
g099 := (g068 | c039)
g098 := (g066 | c038)
g097 := (g069 | c037)
g096 := (g067 | c036)
g095 := (g068 | c035)
g094 := (g066 | c034)
g093 := (g069 | c033)
g092 := (g067 | c032)
g091 := (g068 | c031)
g090 := (g066 | c030)
g089 := (g065 | c029)
g088 := (g064 | c028)
g087 := (g063 | c027)
g086 := (g062 | c026)
g085 := (g065 | c025)
g084 := (g064 | c024)
g083 := (g063 | c023)
g082 := (g062 | c022)
g081 := (g065 | c021)
g080 := (g064 | c020)
g079 := (g063 | c019)
g078 := (g062 | c018)
g077 := (g065 | c017)
g076 := (g064 | c016)
g075 := (g063 | c015)
g074 := (g062 | c014)
g073 := (g065 | c013)
g072 := (g064 | c012)
g071 := (g063 | c011)
g070 := (g062 | c010)
g069 := (c001 & c009)
g068 := (c001 & c008)
g067 := (c001 & c007)
g066 := (c001 & c006)
g065 := (c001 & c005)
g064 := (c001 & c004)
g063 := (c001 & c003)
g062 := (c001 & c002)

p(c001)=0.01
p(c002)=0.051
p(c003)=0.051
p(c004)=0.051
p(c005)=0.051
p(c006)=0.112
p(c007)=0.112
p(c008)=0.112
p(c009)=0.112
p(c010)=0.016
p(c011)=0.016
p(c012)=0.016
p(c013)=0.016
p(c014)=0.0218
p(c015)=0.0218
p(c016)=0.0218
p(c017)=0.0218
p(c018)=0.015
p(c019)=0.015
p(c020)=0.015
p(c021)=0.015
p(c022)=0.016
p(c023)=0.016
p(c024)=0.016
p(c025)=0.016
p(c026)=0.015
p(c027)=0.015
p(c028)=0.015
p(c029)=0.015
p(c030)=0.0137
p(c031)=0.0137
p(c032)=0.0137
p(c033)=0.0137
p(c034)=0.016
p(c035)=0.016
p(c036)=0.016
p(c037)=0.016
p(c038)=0.016
p(c039)=0.016
p(c040)=0.016
p(c041)=0.016
p(c042)=0.0038
p(c043)=0.0038
p(c044)=0.0117
p(c045)=0.0117
p(c046)=0.00052
p(c047)=0.00052
p(c048)=0.018
p(c049)=0.018
p(c050)=0.018
p(c051)=0.018
p(c052)=0.000008
p(c053)=0.000072
p(c054)=0.015
p(c055)=0.015
p(c056)=0.015
p(c057)=0.015
p(c058)=0.0188
p(c059)=0.0188
p(c060)=0.0188
p(c061)=0.0188
