Figure 1 

Made session graph:
SessionGraph<
P=[Place<41:__cp>, Place<7:C>, Place<9:A>, Place<10:A>, Place<42:__cp>, Place<11:B>, Place<40:__cp>, Place<39:__cp>, Place<38:__cp>, Place<35:__cp>, Place<36:__cp>, Place<37:__cp>, Place<6:B>, Place<2:A>, Place<12:B>, Place<1:A>, Place<8:A>, Place<34:__cp>, Place<3:A>, Place<5:A>, Place<4:A>],
T=[Output<14:!b>, Output<18:!f>, Tau<32>, Tau<33>, Output<17:!e>, Output<20:!h>, Output<15:!c>, Output<13:!a>, Input<22:?a>, Output<19:!g>, Input<25:?d>, Input<30:?i>, Input<26:?e>, Input<29:?h>, Output<21:!i>, Output<16:!d>, Input<27:?f>, Input<24:?c>, Input<28:?g>, Input<23:?b>, Tau<31>],
F={Place<41:__cp>=[Input<29:?h>], Output<18:!f>=[Place<39:__cp>], Output<14:!b>=[Place<35:__cp>], Place<9:A>=[Tau<33>], Place<7:C>=[Output<18:!f>], Output<17:!e>=[Place<38:__cp>], Output<20:!h>=[Place<41:__cp>], Output<15:!c>=[Place<36:__cp>], Place<39:__cp>=[Input<27:?f>], Output<13:!a>=[Place<34:__cp>], Output<19:!g>=[Place<40:__cp>], Place<38:__cp>=[Input<26:?e>], Input<30:?i>=[Place<10:A>], Place<36:__cp>=[Input<24:?c>], Input<29:?h>=[Place<12:B>], Place<6:B>=[Output<17:!e>], Output<21:!i>=[Place<42:__cp>], Input<27:?f>=[Place<9:A>], Place<1:A>=[Tau<32>, Tau<31>], Input<28:?g>=[Place<11:B>], Place<34:__cp>=[Input<22:?a>], Place<3:A>=[Output<14:!b>], Place<5:A>=[Output<16:!d>], Tau<31>=[Place<2:A>, Place<3:A>], Tau<32>=[Place<4:A>, Place<5:A>], Place<10:A>=[Output<20:!h>, Output<19:!g>], Place<42:__cp>=[Input<30:?i>], Tau<33>=[Place<10:A>], Place<40:__cp>=[Input<28:?g>], Input<22:?a>=[Place<6:B>], Input<25:?d>=[Place<7:C>], Place<35:__cp>=[Input<23:?b>], Place<37:__cp>=[Input<25:?d>], Input<26:?e>=[Place<8:A>], Place<2:A>=[Output<13:!a>], Output<16:!d>=[Place<37:__cp>], Place<12:B>=[Output<21:!i>], Place<8:A>=[Tau<33>], Input<24:?c>=[Place<6:B>], Input<23:?b>=[Place<7:C>], Place<4:A>=[Output<15:!c>]},
f={Place<9:A>=A, Place<7:C>=C, Place<10:A>=A, Place<11:B>=B, Place<2:A>=A, Place<6:B>=B, Place<12:B>=B, Place<8:A>=A, Place<1:A>=A, Place<3:A>=A, Place<4:A>=A, Place<5:A>=A},
g={Output<14:!b>=!b, Output<18:!f>=!f, Output<17:!e>=!e, Output<20:!h>=!h, Output<15:!c>=!c, Output<13:!a>=!a, Input<22:?a>=?a, Output<19:!g>=!g, Input<25:?d>=?d, Input<30:?i>=?i, Input<26:?e>=?e, Input<29:?h>=?h, Output<21:!i>=!i, Output<16:!d>=!d, Input<27:?f>=?f, Input<24:?c>=?c, Input<28:?g>=?g, Input<23:?b>=?b}
>
No well-formedness error.

Checking: A!{B<a>.A!{C<b>.A?{C<f>.A?{B<e>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}, B<e>.A?{C<f>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}}}, B<c>.A!{C<d>.A?{C<f>.A?{B<e>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}, B<e>.A?{C<f>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}}}, C<b>.A!{B<a>.A?{C<f>.A?{B<e>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}, B<e>.A?{C<f>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}}}, C<d>.A!{B<c>.A?{C<f>.A?{B<e>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}, B<e>.A?{C<f>.mu t.A!{B<h>.A?{B<i>.t}, B<g>.end}}}}}
Conformance: true
Checking: A!{C<b>.A!{B<a>.A?{C<f>.A?{B<e>.A!{B<h>.A?{B<i>.A!{B<g>.end}}}}, B<e>.A?{C<f>.A!{B<h>.A?{B<i>.A!{B<g>.end}}}}}}}
Conformance: true

---

Figure 2 

Made role structure: sessnet.net.RoleStructure@70284ac3
IRT: nodes=[Input<51:?b>, Place<45:A>, Tau<48>, Input<52:?c>, Place<43:A>, Input<50:?a>, Place<44:A>], edges={Input<51:?b>=[Place<45:A>], Place<45:A>=[Tau<48>], Tau<48>=[Place<43:A>], Input<52:?c>=[Place<43:A>], Input<50:?a>=[Place<44:A>], Place<44:A>=[Tau<48>]}
ORT: nodes=[Tau<49>, Place<46:A>, Output<55:!h>, Place<43:A>, Output<54:!e>, Output<53:!d>, Place<47:A>], edges={Tau<49>=[Place<46:A>, Place<47:A>], Place<46:A>=[Output<53:!d>], Place<43:A>=[Tau<49>, Output<55:!h>], Place<47:A>=[Output<54:!e>]}

---

Figure 3 Left 

Made session graph:
SessionGraph<
P=[Place<57:B>, Place<72:__cp>, Place<56:A>, Place<60:B>, Place<71:__cp>, Place<70:__cp>, Place<59:A>, Place<58:B>, Place<73:__cp>],
T=[Input<67:?c>, Output<62:!b>, Tau<69>, Output<61:!a>, Output<64:!d>, Input<68:?d>, Input<66:?b>, Input<65:?a>, Output<63:!c>],
F={Place<57:B>=[Tau<69>], Tau<69>=[Place<58:B>], Place<56:A>=[Output<61:!a>], Output<64:!d>=[Place<73:__cp>], Place<71:__cp>=[Input<66:?b>], Place<70:__cp>=[Input<65:?a>], Input<67:?c>=[Place<58:B>], Output<62:!b>=[Place<71:__cp>], Place<72:__cp>=[Input<67:?c>], Output<61:!a>=[Place<70:__cp>], Input<68:?d>=[Place<60:B>], Input<66:?b>=[Place<59:A>], Input<65:?a>=[Place<57:B>], Output<63:!c>=[Place<72:__cp>], Place<58:B>=[Output<62:!b>], Place<59:A>=[Output<64:!d>, Output<63:!c>], Place<73:__cp>=[Input<68:?d>]},
f={Place<57:B>=B, Place<56:A>=A, Place<60:B>=B, Place<59:A>=A, Place<58:B>=B},
g={Input<67:?c>=?c, Output<62:!b>=!b, Output<61:!a>=!a, Output<64:!d>=!d, Input<68:?d>=?d, Input<66:?b>=?b, Input<65:?a>=?a, Output<63:!c>=!c}
>
No well-formedness error.

---

Figure 3 Left (bad entry node)

Well-formedness error:
Entry node of cycle must be a place: Tau<87>

---

Figure 3 Left (bad exit node)

Well-formedness error:
Exit node of cycle must be a place: Tau<107>

---

Figure 3 Right

Well-formedness error:
Cross-free diamond starting at place Place<115:B> should end at a place, not: Tau<132>

---

Figure 3 (not cross-free)

Made session graph:
SessionGraph<
P=[Place<140:B>, Place<161:__cp>, Place<162:__cp>, Place<163:__cp>, Place<160:__cp>, Place<144:A>, Place<137:A>, Place<141:B>, Place<159:__cp>, Place<143:A>, Place<142:B>, Place<138:B>, Place<139:B>, Place<145:A>],
T=[Input<154:?d>, Input<153:?c>, Output<149:!d>, Input<155:?e>, Output<150:!e>, Output<146:!a>, Tau<156>, Tau<157>, Input<151:?a>, Tau<158>, Output<148:!c>, Output<147:!b>, Input<152:?b>],
F={Place<140:B>=[Output<148:!c>], Place<161:__cp>=[Input<153:?c>], Output<149:!d>=[Place<162:__cp>], Output<150:!e>=[Place<163:__cp>], Tau<156>=[Place<140:B>, Place<139:B>], Tau<157>=[Place<141:B>, Place<142:B>], Tau<158>=[Place<145:A>], Place<163:__cp>=[Input<155:?e>], Place<160:__cp>=[Input<152:?b>], Place<143:A>=[Tau<158>], Place<142:B>=[Output<150:!e>], Place<139:B>=[Output<147:!b>], Input<154:?d>=[Place<143:A>], Input<153:?c>=[Place<144:A>], Place<162:__cp>=[Input<154:?d>], Input<155:?e>=[Place<144:A>], Output<146:!a>=[Place<159:__cp>], Input<151:?a>=[Place<138:B>], Place<144:A>=[Tau<158>], Place<137:A>=[Output<146:!a>], Place<141:B>=[Output<149:!d>], Output<148:!c>=[Place<161:__cp>], Place<138:B>=[Tau<156>, Tau<157>], Place<159:__cp>=[Input<151:?a>], Output<147:!b>=[Place<160:__cp>], Input<152:?b>=[Place<143:A>]},
f={Place<140:B>=B, Place<144:A>=A, Place<137:A>=A, Place<141:B>=B, Place<138:B>=B, Place<142:B>=B, Place<143:A>=A, Place<139:B>=B, Place<145:A>=A},
g={Input<154:?d>=?d, Output<146:!a>=!a, Input<153:?c>=?c, Input<151:?a>=?a, Output<149:!d>=!d, Output<148:!c>=!c, Output<147:!b>=!b, Input<152:?b>=?b, Output<150:!e>=!e, Input<155:?e>=?e}
>
No well-formedness error.

---

Figure 4a

Well-formedness error:
Diamond starting at transition Tau<172> should end at a transition, not: Place<167:A>

---

Figure 4b

Well-formedness error:
Cross-free diamond starting at place Place<175:A> should end at a place, not: Tau<183>

---

Figure 4c

Well-formedness error:
Bad branch out of cross-free diamond at: Place<189:B>

---

Figure 5

Made session graph:
SessionGraph<
P=[Place<211:B>, Place<224:__cp>, Place<209:A>, Place<227:__cp>, Place<214:A>, Place<226:__cp>, Place<212:B>, Place<208:A>, Place<213:A>, Place<225:__cp>, Place<210:A>],
T=[Input<222:?d>, Input<221:?c>, Tau<223>, Input<220:?b>, Output<215:!a>, Output<217:!c>, Input<219:?a>, Output<218:!d>, Output<216:!b>],
F={Place<211:B>=[Output<216:!b>], Input<222:?d>=[Place<214:A>], Place<224:__cp>=[Input<219:?a>], Place<209:A>=[Output<215:!a>], Output<215:!a>=[Place<224:__cp>], Input<219:?a>=[Place<211:B>], Place<208:A>=[Tau<223>], Place<212:B>=[Output<218:!d>], Output<216:!b>=[Place<225:__cp>], Place<210:A>=[Output<217:!c>], Tau<223>=[Place<209:A>, Place<210:A>], Input<221:?c>=[Place<212:B>], Input<220:?b>=[Place<213:A>], Place<227:__cp>=[Input<222:?d>], Output<217:!c>=[Place<226:__cp>], Place<226:__cp>=[Input<221:?c>], Output<218:!d>=[Place<227:__cp>], Place<225:__cp>=[Input<220:?b>]},
f={Place<211:B>=B, Place<209:A>=A, Place<214:A>=A, Place<212:B>=B, Place<208:A>=A, Place<213:A>=A, Place<210:A>=A},
g={Input<222:?d>=?d, Input<221:?c>=?c, Input<220:?b>=?b, Output<215:!a>=!a, Output<217:!c>=!c, Input<219:?a>=?a, Output<218:!d>=!d, Output<216:!b>=!b}
>
No well-formedness error.

Checking: A!{B<a>.A?{B<b>.A!{B<c>.A?{B<d>.end}}}}
Conformance: false
Checking: B?{A<a>.B?{A<c>.B!{A<b>.B!{A<d>.end}}}, A<c>.B?{A<a>.B!{A<b>.B!{A<d>.end}}}}
Conformance: false

---

Figure 5 (conformant endpoint types)

Made session graph:
SessionGraph<
P=[Place<247:__cp>, Place<245:__cp>, Place<228:A>, Place<246:__cp>, Place<229:A>, Place<232:B>, Place<233:A>, Place<234:A>, Place<231:B>, Place<244:__cp>, Place<230:A>],
T=[Output<236:!b>, Input<240:?b>, Output<235:!a>, Output<237:!c>, Input<241:?c>, Tau<243>, Output<238:!d>, Input<242:?d>, Input<239:?a>],
F={Output<236:!b>=[Place<245:__cp>], Output<235:!a>=[Place<244:__cp>], Output<237:!c>=[Place<246:__cp>], Place<232:B>=[Output<238:!d>], Output<238:!d>=[Place<247:__cp>], Input<239:?a>=[Place<231:B>], Place<231:B>=[Output<236:!b>], Place<244:__cp>=[Input<239:?a>], Input<240:?b>=[Place<233:A>], Place<247:__cp>=[Input<242:?d>], Place<245:__cp>=[Input<240:?b>], Place<228:A>=[Tau<243>], Place<246:__cp>=[Input<241:?c>], Place<229:A>=[Output<235:!a>], Input<241:?c>=[Place<232:B>], Tau<243>=[Place<229:A>, Place<230:A>], Input<242:?d>=[Place<234:A>], Place<230:A>=[Output<237:!c>]},
f={Place<228:A>=A, Place<229:A>=A, Place<232:B>=B, Place<233:A>=A, Place<234:A>=A, Place<231:B>=B, Place<230:A>=A},
g={Output<236:!b>=!b, Input<240:?b>=?b, Output<235:!a>=!a, Output<237:!c>=!c, Input<241:?c>=?c, Output<238:!d>=!d, Input<242:?d>=?d, Input<239:?a>=?a}
>
No well-formedness error.

Checking: A!{B<a>.A!{B<c>.A?{B<d>.A?{B<b>.end}, B<b>.A?{B<d>.end}}}}
Conformance: true
Checking: B?{A<a>.B!{A<b>.B?{A<c>.B!{A<d>.end}}}, A<c>.B!{A<d>.B?{A<a>.B!{A<b>.end}}}}
Conformance: true

---

Figure 8

Well-formedness error:
Mismatched branch roles from place Place<248:A>: [A, B, C], [A, B]

---

Figure 8 (well-formedness fixed)

Made session graph:
SessionGraph<
P=[Place<290:__cp>, Place<289:__cp>, Place<272:A>, Place<268:A>, Place<269:B>, Place<270:B>, Place<271:C>, Place<286:__cp>, Place<273:C>, Place<287:__cp>, Place<288:__cp>, Place<291:__cp>],
T=[Input<280:?a>, Output<278:!e>, Output<275:!b>, Input<281:?b>, Output<276:!c>, Output<277:!d>, Output<274:!a>, Output<279:!f>, Input<283:?d>, Input<284:?e>, Input<285:?f>, Input<282:?c>],
F={Place<290:__cp>=[Input<284:?e>], Place<289:__cp>=[Input<283:?d>], Place<269:B>=[Output<275:!b>], Place<270:B>=[Output<278:!e>], Place<271:C>=[Output<276:!c>], Output<274:!a>=[Place<286:__cp>], Output<279:!f>=[Place<291:__cp>], Place<291:__cp>=[Input<285:?f>], Input<280:?a>=[Place<269:B>], Output<278:!e>=[Place<290:__cp>], Output<275:!b>=[Place<287:__cp>], Place<268:A>=[Output<274:!a>, Output<277:!d>], Output<276:!c>=[Place<288:__cp>], Input<281:?b>=[Place<271:C>], Output<277:!d>=[Place<289:__cp>], Place<286:__cp>=[Input<280:?a>], Place<273:C>=[Output<279:!f>], Place<287:__cp>=[Input<281:?b>], Input<284:?e>=[Place<273:C>], Input<283:?d>=[Place<270:B>], Place<288:__cp>=[Input<282:?c>], Input<282:?c>=[Place<272:A>], Input<285:?f>=[Place<272:A>]},
f={Place<272:A>=A, Place<268:A>=A, Place<269:B>=B, Place<270:B>=B, Place<271:C>=C, Place<273:C>=C},
g={Input<280:?a>=?a, Output<278:!e>=!e, Output<275:!b>=!b, Input<281:?b>=?b, Output<276:!c>=!c, Output<277:!d>=!d, Output<274:!a>=!a, Output<279:!f>=!f, Input<283:?d>=?d, Input<284:?e>=?e, Input<285:?f>=?f, Input<282:?c>=?c}
>
No well-formedness error.

---

Figure 10

Made session graph:
SessionGraph<
P=[Place<299:C>, Place<343:__cp>, Place<292:B>, Place<341:__cp>, Place<337:__cp>, Place<301:P2>, Place<334:__cp>, Place<339:__cp>, Place<306:B>, Place<293:S>, Place<295:S>, Place<302:S>, Place<308:B>, Place<304:S>, Place<298:C>, Place<297:P1>, Place<340:__cp>, Place<342:__cp>, Place<300:C>, Place<335:__cp>, Place<305:B>, Place<338:__cp>, Place<307:B>, Place<296:S>, Place<336:__cp>, Place<294:S>, Place<303:S>, Place<309:B>],
T=[Output<315:!f>, Input<328:?i>, Output<314:!e>, Output<319:!j>, Output<318:!i>, Input<320:?a>, Input<325:?f>, Output<316:!g>, Input<324:?e>, Output<317:!h>, Input<321:?b>, Output<310:!a>, Input<326:?g>, Input<323:?d>, Tau<332>, Output<313:!d>, Tau<333>, Tau<330>, Input<322:?c>, Output<312:!c>, Tau<331>, Output<311:!b>, Input<329:?j>, Input<327:?h>],
F={Output<315:!f>=[Place<339:__cp>], Place<299:C>=[Output<314:!e>], Place<343:__cp>=[Input<329:?j>], Place<341:__cp>=[Input<327:?h>], Place<292:B>=[Output<310:!a>], Output<314:!e>=[Place<338:__cp>], Place<337:__cp>=[Input<323:?d>], Place<301:P2>=[Output<317:!h>], Output<319:!j>=[Place<343:__cp>], Place<334:__cp>=[Input<320:?a>], Output<318:!i>=[Place<342:__cp>], Place<339:__cp>=[Input<325:?f>], Place<306:B>=[Tau<333>], Input<320:?a>=[Place<293:S>], Output<316:!g>=[Place<340:__cp>], Input<325:?f>=[Place<306:B>], Output<317:!h>=[Place<341:__cp>], Input<324:?e>=[Place<304:S>], Place<293:S>=[Tau<330>], Place<295:S>=[Output<313:!d>], Input<321:?b>=[Place<297:P1>], Input<326:?g>=[Place<301:P2>], Place<302:S>=[Output<318:!i>], Tau<332>=[Place<302:S>], Input<323:?d>=[Place<298:C>], Tau<333>=[Place<305:B>], Place<304:S>=[Tau<332>], Input<322:?c>=[Place<303:S>], Tau<330>=[Place<296:S>, Place<294:S>, Place<295:S>], Tau<331>=[Place<299:C>, Place<300:C>], Place<298:C>=[Tau<331>], Input<327:?h>=[Place<307:B>], Place<297:P1>=[Output<312:!c>], Place<340:__cp>=[Input<326:?g>], Place<342:__cp>=[Input<328:?i>], Input<328:?i>=[Place<308:B>], Place<300:C>=[Output<315:!f>], Place<335:__cp>=[Input<321:?b>], Place<305:B>=[Output<319:!j>], Place<338:__cp>=[Input<324:?e>], Place<307:B>=[Tau<333>], Place<336:__cp>=[Input<322:?c>], Place<296:S>=[Output<316:!g>], Place<294:S>=[Output<311:!b>], Output<310:!a>=[Place<334:__cp>], Place<303:S>=[Tau<332>], Output<313:!d>=[Place<337:__cp>], Output<312:!c>=[Place<336:__cp>], Output<311:!b>=[Place<335:__cp>], Input<329:?j>=[Place<309:B>]},
f={Place<299:C>=C, Place<300:C>=C, Place<292:B>=B, Place<301:P2>=P2, Place<305:B>=B, Place<306:B>=B, Place<307:B>=B, Place<296:S>=S, Place<293:S>=S, Place<294:S>=S, Place<295:S>=S, Place<303:S>=S, Place<309:B>=B, Place<302:S>=S, Place<308:B>=B, Place<304:S>=S, Place<298:C>=C, Place<297:P1>=P1},
g={Output<315:!f>=!f, Input<328:?i>=?i, Output<314:!e>=!e, Output<319:!j>=!j, Output<318:!i>=!i, Input<320:?a>=?a, Input<325:?f>=?f, Output<316:!g>=!g, Input<324:?e>=?e, Output<317:!h>=!h, Input<321:?b>=?b, Output<310:!a>=!a, Input<326:?g>=?g, Input<323:?d>=?d, Output<313:!d>=!d, Input<322:?c>=?c, Output<312:!c>=!c, Output<311:!b>=!b, Input<329:?j>=?j, Input<327:?h>=?h}
>
No well-formedness error.

---

Figure 12

Made session graph:
SessionGraph<
P=[Place<361:R>, Place<371:H>, Place<425:__cp>, Place<419:__cp>, Place<421:__cp>, Place<363:R>, Place<362:S>, Place<423:__cp>, Place<433:__cp>, Place<370:R>, Place<369:S>, Place<357:R>, Place<415:__cp>, Place<350:S>, Place<431:__cp>, Place<364:C>, Place<418:__cp>, Place<351:H>, Place<345:R>, Place<344:S>, Place<352:S>, Place<429:__cp>, Place<354:S>, Place<355:R>, Place<427:__cp>, Place<426:__cp>, Place<353:C>, Place<360:R>, Place<365:R>, Place<422:__cp>, Place<366:S>, Place<420:__cp>, Place<358:R>, Place<416:__cp>, Place<434:__cp>, Place<424:__cp>, Place<346:S>, Place<414:__cp>, Place<368:S>, Place<432:__cp>, Place<349:S>, Place<417:__cp>, Place<347:S>, Place<428:__cp>, Place<430:__cp>],
T=[Output<375:!d>, Input<400:?h>, Input<412:?t>, Input<393:?a>, Tau<348>, Input<401:?i>, Output<374:!c>, Output<377:!f>, Input<398:?f>, Input<411:?s>, Output<376:!e>, Input<399:?g>, Input<410:?r>, Input<397:?e>, Output<372:!a>, Output<373:!b>, Output<386:!o>, Output<380:!i>, Output<387:!p>, Output<381:!j>, Input<405:?m>, Input<394:?b>, Input<395:?c>, Input<396:?d>, Output<389:!r>, Output<388:!q>, Output<379:!h>, Tau<356>, Input<403:?k>, Output<390:!s>, Input<402:?j>, Tau<359>, Output<383:!l>, Output<392:!u>, Input<408:?p>, Output<378:!g>, Output<385:!n>, Input<406:?n>, Tau<367>, Output<391:!t>, Input<407:?o>, Output<384:!m>, Input<409:?q>, Output<382:!k>, Input<404:?l>, Input<413:?u>],
F={Place<371:H>=[Output<392:!u>], Place<361:R>=[Output<388:!q>], Input<412:?t>=[Place<370:R>], Place<419:__cp>=[Input<398:?f>], Place<423:__cp>=[Input<402:?j>], Output<374:!c>=[Place<416:__cp>], Input<401:?i>=[Place<353:C>], Place<357:R>=[Tau<356>], Output<376:!e>=[Place<418:__cp>], Input<399:?g>=[Place<351:H>], Input<410:?r>=[Place<365:R>], Input<397:?e>=[Place<351:H>], Place<431:__cp>=[Input<410:?r>], Output<372:!a>=[Place<414:__cp>], Place<364:C>=[Output<389:!r>], Place<418:__cp>=[Input<397:?e>], Place<351:H>=[Output<377:!f>], Place<344:S>=[Output<372:!a>], Place<345:R>=[Output<375:!d>, Output<373:!b>], Place<352:S>=[Output<378:!g>, Output<379:!h>], Place<427:__cp>=[Input<406:?n>], Output<380:!i>=[Place<422:__cp>], Output<387:!p>=[Place<429:__cp>], Place<353:C>=[Output<381:!j>], Place<360:R>=[Output<384:!m>], Place<365:R>=[Output<390:!s>], Input<405:?m>=[Place<362:S>], Place<420:__cp>=[Input<399:?g>], Input<395:?c>=[Place<345:R>], Place<416:__cp>=[Input<395:?c>], Place<424:__cp>=[Input<403:?k>], Place<346:S>=[Output<374:!c>], Output<389:!r>=[Place<431:__cp>], Place<368:S>=[Tau<367>], Input<403:?k>=[Place<353:C>], Place<432:__cp>=[Input<411:?s>], Place<417:__cp>=[Input<396:?d>], Output<378:!g>=[Place<420:__cp>], Place<347:S>=[Tau<348>], Output<384:!m>=[Place<426:__cp>], Output<391:!t>=[Place<433:__cp>], Input<407:?o>=[Place<362:S>], Place<428:__cp>=[Input<407:?o>], Output<382:!k>=[Place<424:__cp>], Input<409:?q>=[Place<364:C>], Input<413:?u>=[Place<357:R>], Output<375:!d>=[Place<417:__cp>], Input<400:?h>=[Place<371:H>], Place<425:__cp>=[Input<404:?l>], Input<393:?a>=[Place<345:R>], Place<421:__cp>=[Input<400:?h>], Place<363:R>=[Output<387:!p>, Output<386:!o>], Place<362:S>=[Output<385:!n>], Place<433:__cp>=[Input<412:?t>], Place<369:S>=[Tau<367>], Tau<348>=[Place<350:S>, Place<349:S>], Output<377:!f>=[Place<419:__cp>], Input<398:?f>=[Place<352:S>], Place<415:__cp>=[Input<394:?b>], Input<411:?s>=[Place<369:S>], Place<350:S>=[Output<380:!i>], Output<373:!b>=[Place<415:__cp>], Output<386:!o>=[Place<428:__cp>], Place<429:__cp>=[Input<408:?p>], Place<354:S>=[Output<383:!l>, Output<382:!k>], Place<355:R>=[Tau<359>], Place<426:__cp>=[Input<405:?m>], Output<381:!j>=[Place<423:__cp>], Place<422:__cp>=[Input<401:?i>], Place<366:S>=[Output<391:!t>], Input<394:?b>=[Place<346:S>], Input<396:?d>=[Place<347:S>], Place<358:R>=[Tau<356>], Place<434:__cp>=[Input<413:?u>], Place<414:__cp>=[Input<393:?a>], Output<379:!h>=[Place<421:__cp>], Output<388:!q>=[Place<430:__cp>], Tau<356>=[Place<355:R>], Output<390:!s>=[Place<432:__cp>], Input<402:?j>=[Place<354:S>], Place<349:S>=[Output<376:!e>], Tau<359>=[Place<361:R>, Place<360:R>], Output<383:!l>=[Place<425:__cp>], Output<392:!u>=[Place<434:__cp>], Input<408:?p>=[Place<368:S>], Output<385:!n>=[Place<427:__cp>], Input<406:?n>=[Place<363:R>], Tau<367>=[Place<366:S>], Place<430:__cp>=[Input<409:?q>], Input<404:?l>=[Place<358:R>]},
f={Place<371:H>=H, Place<361:R>=R, Place<353:C>=C, Place<360:R>=R, Place<365:R>=R, Place<366:S>=S, Place<362:S>=S, Place<363:R>=R, Place<358:R>=R, Place<369:S>=S, Place<370:R>=R, Place<346:S>=S, Place<357:R>=R, Place<368:S>=S, Place<350:S>=S, Place<349:S>=S, Place<347:S>=S, Place<364:C>=C, Place<351:H>=H, Place<344:S>=S, Place<345:R>=R, Place<352:S>=S, Place<355:R>=R, Place<354:S>=S},
g={Output<375:!d>=!d, Input<400:?h>=?h, Input<412:?t>=?t, Input<393:?a>=?a, Input<401:?i>=?i, Output<374:!c>=!c, Output<377:!f>=!f, Input<398:?f>=?f, Input<411:?s>=?s, Output<376:!e>=!e, Input<399:?g>=?g, Input<410:?r>=?r, Input<397:?e>=?e, Output<372:!a>=!a, Output<373:!b>=!b, Output<386:!o>=!o, Output<380:!i>=!i, Output<387:!p>=!p, Output<381:!j>=!j, Input<405:?m>=?m, Input<394:?b>=?b, Input<395:?c>=?c, Input<396:?d>=?d, Output<389:!r>=!r, Output<388:!q>=!q, Output<379:!h>=!h, Input<403:?k>=?k, Output<390:!s>=!s, Input<402:?j>=?j, Output<383:!l>=!l, Output<392:!u>=!u, Input<408:?p>=?p, Output<378:!g>=!g, Output<385:!n>=!n, Input<406:?n>=?n, Output<391:!t>=!t, Input<407:?o>=?o, Output<384:!m>=!m, Input<409:?q>=?q, Output<382:!k>=!k, Input<404:?l>=?l, Input<413:?u>=?u}
>
No well-formedness error.