Figure 1 

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

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

---

Figure 2 

Made role structure: RS<
core=p<43:A>
IRT=IRT<
root=p<43:A>
nodes=[p<45:A>, i<47:?a>, p<46:A>, i<49:?c>, p<43:A>, i<48:?b>, tau<44>]
edges={p<45:A>=[tau<44>], i<47:?a>=[p<45:A>], p<46:A>=[tau<44>], i<49:?c>=[p<43:A>], p<43:A>=[], i<48:?b>=[p<46:A>], tau<44>=[p<43:A>]}
>
ORT=ORT<
root=p<43:A>
nodes=[tau<50>, p<51:A>, o<55:!h>, p<52:A>, p<43:A>, o<54:!e>, o<53:!d>]
edges={tau<50>=[p<51:A>, p<52:A>], p<51:A>=[o<53:!d>], o<55:!h>=[], p<52:A>=[o<54:!e>], p<43:A>=[tau<50>, o<55:!h>], o<54:!e>=[], o<53:!d>=[]}
>
>
IRT: nodes=[p<45:A>, i<47:?a>, p<46:A>, i<49:?c>, p<43:A>, i<48:?b>, tau<44>], edges={p<45:A>=[tau<44>], i<47:?a>=[p<45:A>], p<46:A>=[tau<44>], i<49:?c>=[p<43:A>], p<43:A>=[], i<48:?b>=[p<46:A>], tau<44>=[p<43:A>]}
ORT: nodes=[tau<50>, p<51:A>, o<55:!h>, p<52:A>, p<43:A>, o<54:!e>, o<53:!d>], edges={tau<50>=[p<51:A>, p<52:A>], p<51:A>=[o<53:!d>], o<55:!h>=[], p<52:A>=[o<54:!e>], p<43:A>=[tau<50>, o<55:!h>], o<54:!e>=[], o<53:!d>=[]}

---

Figure 3 Left 

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

---

Figure 3 Left (bad entry node)

Well-formedness error:
Entry/exit node of cycle must be a place: tau<77>

---

Figure 3 Left (bad exit node)

Well-formedness error:
Entry/exit node of cycle must be a place: tau<103>

---

Figure 3 Right

Well-formedness error:
Cross-free diamond starting at place p<116:B> should end at a place, not: tau<127>

---

Figure 3 (not cross-free)

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

---

Figure 4a

Well-formedness error:
Diamond starting at transition tau<165> should end at a transition, not: p<170:A>

---

Figure 4b

Well-formedness error:
Cross-free diamond starting at place p<175:A> should end at a place, not: tau<179>

---

Figure 4c

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

---

Figure 5

Made session graph:
SessionGraph<
P=[p<217:B>, cp<224>, p<222:A>, cp<227>, p<214:B>, cp<226>, p<208:A>, p<220:A>, p<211:A>, cp<225>, p<210:A>],
T=[o<212:!a>, i<223:?d>, i<221:?b>, o<219:!d>, o<213:!c>, i<215:?a>, i<218:?c>, tau<209>, o<216:!b>],
F={i<223:?d>=[p<222:A>], o<212:!a>=[cp<224>], cp<224>=[i<215:?a>], p<222:A>=[], o<213:!c>=[cp<226>], i<218:?c>=[p<217:B>], i<215:?a>=[p<214:B>], p<214:B>=[o<216:!b>], p<208:A>=[tau<209>], p<211:A>=[o<213:!c>], o<216:!b>=[cp<225>], p<210:A>=[o<212:!a>], p<217:B>=[o<219:!d>], i<221:?b>=[p<220:A>], o<219:!d>=[cp<227>], cp<227>=[i<223:?d>], cp<226>=[i<218:?c>], tau<209>=[p<211:A>, p<210:A>], p<220:A>=[], cp<225>=[i<221:?b>]},
f={p<217:B>=B, p<222:A>=A, p<214:B>=B, p<208:A>=A, p<211:A>=A, p<220:A>=A, p<210:A>=A},
g={i<223:?d>=?d, o<212:!a>=!a, i<221:?b>=?b, o<219:!d>=!d, o<213:!c>=!c, i<218:?c>=?c, i<215:?a>=?a, o<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=[p<242:A>, cp<247>, cp<245>, p<228:A>, cp<246>, p<240:A>, p<234:B>, p<231:A>, p<237:B>, p<230:A>, cp<244>],
T=[i<238:?c>, o<236:!b>, i<235:?a>, o<239:!d>, i<243:?d>, o<233:!c>, o<232:!a>, tau<229>, i<241:?b>],
F={o<236:!b>=[cp<245>], p<242:A>=[], i<243:?d>=[p<242:A>], o<233:!c>=[cp<246>], tau<229>=[p<231:A>, p<230:A>], p<234:B>=[o<236:!b>], cp<244>=[i<235:?a>], i<238:?c>=[p<237:B>], i<235:?a>=[p<234:B>], cp<247>=[i<243:?d>], o<239:!d>=[cp<247>], p<228:A>=[tau<229>], cp<245>=[i<241:?b>], cp<246>=[i<238:?c>], o<232:!a>=[cp<244>], p<240:A>=[], p<237:B>=[o<239:!d>], p<231:A>=[o<233:!c>], p<230:A>=[o<232:!a>], i<241:?b>=[p<240:A>]},
f={p<242:A>=A, p<228:A>=A, p<240:A>=A, p<234:B>=B, p<237:B>=B, p<231:A>=A, p<230:A>=A},
g={o<236:!b>=!b, i<238:?c>=?c, i<235:?a>=?a, o<239:!d>=!d, i<243:?d>=?d, o<233:!c>=!c, o<232:!a>=!a, i<241:?b>=?b}
>
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 p<248:A>: [A, B, C], [A, B]

---

Figure 8 (well-formedness fixed)

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

---

Figure 10

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

---

Figure 12

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