// Testfile dumped by Ultimate at 2020/03/07 06:41:25
//
// 

PetriNet net = (
	alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a90 a91 a92 a93 a94 a95 a96 a97 a98 a99 a100 a101 a102 a103 a104 a105 a106 a107 a108 a109 a110 a111 a112 a113 a114 a115 a116 a117 a118 a119 a120 a121 a122 a123 a124 a125 a126 a127 a128 a129 a130 a131 a132 a133 a134 a135 a136 a137 a138 a139 a140 a141 a142 a143 a144 a145 a146 a147 a148 a149 a150 a151 a152 a153 a154 a155 a156 a157 a158 a159 a160 a161 a162 a163 a164 a165 a166 a167 a168 a169 a170 a171 a172 a173 a174 a175 a176 a177 a178 a179 a180 a181 a182 a183 a184 a185 a186 a187 a188 a189 a190 a191 a192 a193 },
	places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 },
	transitions = {
		({p109 } a93 {p33 })
		({p115 } a137 {p3 })
		({p69 } a92 {p109 })
		({p93 } a145 {p42 })
		({p186 p190 p5 } a44 {p186 p1 p190 })
		({p159 } a67 {p27 })
		({p33 } a94 {p30 })
		({p154 } a57 {p114 })
		({p14 } a111 {p59 })
		({p74 } a97 {p100 })
		({p26 } a162 {p15 })
		({p46 p186 p182 } a176 {p185 p189 p40 })
		({p80 } a123 {p78 })
		({p83 } a49 {p31 })
		({p38 } a147 {p146 })
		({p185 p94 p189 } a173 {p186 p182 p92 })
		({p185 p148 } a71 {p185 p155 })
		({p186 p190 p42 } a146 {p186 p190 p38 })
		({p189 p57 p184 } a37 {p53 p182 })
		({p96 } a120 {p51 })
		({p115 } a138 {p8 })
		({p67 } a60 {p58 })
		({p187 p44 } a74 {p47 p187 })
		({p149 } a12 {p79 })
		({p56 } a171 {p105 })
		({p130 } a150 {p123 })
		({p187 p189 p104 } a40 {p187 p189 p117 })
		({p34 } a81 {p39 })
		({p71 } a129 {p23 })
		({p56 } a172 {p106 })
		({p129 } a114 {p142 })
		({p94 p180 } a173 {p180 p92 })
		({p152 } a13 {p149 })
		({p36 } a126 {p164 })
		({p186 p190 p104 } a39 {p186 p190 p120 })
		({p29 } a158 {p91 })
		({p190 p44 } a73 {p190 p43 })
		({p78 } a124 {p161 })
		({p31 } a50 {p135 })
		({p187 p182 p155 } a72 {p189 p180 p44 })
		({p105 } a170 {p94 })
		({p164 } a127 {p77 })
		({p187 p113 p181 } a105 {p112 p188 p180 })
		({p156 } a14 {p0 })
		({p51 } a121 {p144 })
		({p131 } a149 {p130 })
		({p143 } a84 {p136 })
		({p92 } a174 {p46 })
		({p125 } a88 {p22 })
		({p53 } a38 {p104 })
		({p94 p182 } a173 {p182 p92 })
		({p174 p176 p177 p2 p170 p172 } a193 {p174 p160 p176 p178 p4 p170 p172 })
		({p4 } a2 {p7 })
		({p187 p153 p183 } a180 {p190 p180 p151 })
		({p39 } a82 {p41 })
		({p187 p113 p183 } a105 {p112 p190 p180 })
		({p174 p175 p2 p170 p172 } a192 {p174 p96 p176 p4 p170 p172 })
		({p187 p189 p101 } a142 {p93 p187 p189 })
		({p127 } a164 {p64 })
		({p15 } a163 {p127 })
		({p28 } a28 {p88 })
		({p158 } a155 {p85 })
		({p163 } a103 {p98 })
		({p128 } a22 {p52 })
		({p46 p186 p190 } a175 {p186 p190 p37 })
		({p140 } a63 {p159 })
		({p37 } a177 {p82 })
		({p94 p189 p184 } a173 {p182 p92 })
		({p47 } a77 {p107 })
		({p151 } a181 {p89 })
		({p163 } a104 {p100 })
		({p91 } a159 {p137 })
		({p2 p170 p171 } a190 {p4 p168 p170 p172 })
		({p160 } a154 {p158 })
		({p32 } a157 {p29 })
		({p3 } a136 {p165 })
		({p66 } a46 {p87 })
		({p186 p190 p101 } a141 {p186 p99 p190 })
		({p187 p183 p59 } a112 {p190 p180 p70 })
		({p46 p187 p189 } a176 {p187 p189 p40 })
		({p190 p180 p12 } a108 {p14 p187 p183 })
		({p116 } a15 {p13 })
		({p40 } a179 {p153 })
		({p185 p190 p155 } a72 {p186 p183 p44 })
		({p23 } a130 {p133 })
		({p142 } a115 {p138 })
		({p187 p165 p181 } a139 {p188 p162 p180 })
		({p185 p189 p153 } a180 {p186 p151 p182 })
		({p185 p113 p189 } a105 {p186 p112 p182 })
		({p99 } a143 {p61 })
		({p166 } a19 {p63 })
		({p1 } a45 {p66 })
		({p48 } a34 {p57 })
		({p186 p182 p12 } a108 {p185 p14 p189 })
		({p79 } a17 {p7 })
		({p73 } a55 {p75 })
		({p70 } a113 {p129 })
		({p190 p180 p44 } a74 {p47 p187 p183 })
		({p120 } a41 {p141 })
		({p145 } a27 {p28 })
		({p132 } a21 {p128 })
		({p138 } a116 {p150 })
		({p54 } a25 {p126 })
		({p113 p180 } a105 {p112 p180 })
		({p187 p165 p183 } a139 {p162 p190 p180 })
		({p110 } a52 {p84 })
		({p157 } a59 {p67 })
		({p89 } a182 {p68 })
		({p27 } a70 {p159 })
		({p95 } a35 {p48 })
		({p185 p189 p59 } a112 {p186 p70 p182 })
		({p7 } a5 {p20 })
		({p117 } a43 {p5 })
		({p95 } a36 {p49 })
		({p111 } a91 {p69 })
		({p60 } a185 {p124 })
		({p186 p189 p155 } a72 {p186 p189 p44 })
		({p161 } a125 {p36 })
		({p162 } a140 {p101 })
		({p187 p148 p183 } a71 {p190 p180 p155 })
		({p30 } a95 {p74 })
		({p126 } a26 {p145 })
		({p18 } a24 {p54 })
		({p174 p176 p178 p2 p170 p172 } a188 {p174 p176 p178 p118 p170 p172 })
		({p187 p181 p57 } a37 {p188 p53 p180 })
		({p75 } a56 {p154 })
		({p16 } a80 {p34 })
		({p74 } a96 {p139 })
		({p81 } a153 {p102 })
		({p123 } a151 {p25 })
		({p119 } a16 {p19 })
		({p188 p167 } a68 {p188 p148 })
		({p100 } a101 {p163 })
		({p113 p182 } a105 {p112 p182 })
		({p45 } a87 {p125 })
		({p186 p148 p182 } a71 {p185 p189 p155 })
		({p13 } a7 {p156 })
		({p146 } a148 {p131 })
		({p22 } a89 {p21 })
		({p27 } a69 {p167 })
		({p114 } a58 {p157 })
		({p185 p189 p165 } a139 {p186 p162 p182 })
		({p50 } a86 {p45 })
		({p186 p190 p153 } a180 {p186 p190 p151 })
		({p140 } a62 {p35 })
		({p187 p57 p183 } a37 {p190 p53 p180 })
		({p0 } a0 {p119 })
		({p187 p5 p183 } a44 {p1 p190 p180 })
		({p108 } a79 {p16 })
		({p190 p107 } a78 {p190 p108 })
		({p173 p2 p170 p172 } a191 {p174 p50 p4 p170 p172 })
		({p186 p190 p12 } a107 {p186 p190 p9 })
		({p165 p180 } a139 {p162 p180 })
		({p106 } a169 {p56 })
		({p188 p19 p180 } a9 {p187 p181 p152 })
		({p23 } a131 {p8 })
		({p113 p189 p184 } a105 {p112 p182 })
		({p144 } a122 {p80 })
		({p187 p183 p42 } a146 {p190 p180 p38 })
		({p62 } a184 {p60 })
		({p150 } a117 {p72 })
		({p41 } a83 {p143 })
		({p190 p180 p104 } a40 {p187 p117 p183 })
		({p2 p169 } a189 {p110 p4 p170 })
		({p20 } a10 {p2 })
		({p186 p190 p59 } a112 {p186 p190 p70 })
		({p85 } a156 {p32 })
		({p148 p180 } a71 {p180 p155 })
		({p187 p189 p12 } a108 {p14 p187 p189 })
		({p63 } a20 {p132 })
		({p9 } a109 {p121 })
		({p24 } a187 {p134 })
		({p186 p104 p182 } a40 {p185 p189 p117 })
		({p28 } a29 {p49 })
		({p185 p189 p57 } a37 {p186 p53 p182 })
		({p72 } a118 {p76 })
		({p185 p189 p5 } a44 {p186 p1 p182 })
		({p165 p182 } a139 {p162 p182 })
		({p8 } a135 {p115 })
		({p124 } a186 {p24 })
		({p21 } a90 {p111 })
		({p90 } a161 {p26 })
		({p86 } a48 {p83 })
		({p185 p189 p42 } a146 {p186 p38 p182 })
		({p94 p187 p181 } a173 {p188 p180 p92 })
		({p180 p57 } a37 {p53 p180 })
		({p112 } a106 {p12 })
		({p98 } a102 {p113 })
		({p25 } a152 {p81 })
		({p168 } a18 {p166 })
		({p127 } a165 {p106 })
		({p137 } a160 {p90 })
		({p68 } a183 {p62 })
		({p87 } a47 {p86 })
		({p189 p165 p184 } a139 {p162 p182 })
		({p187 p183 p107 } a78 {p190 p180 p108 })
		({p84 } a53 {p17 })
		({p77 } a128 {p71 })
		({p190 p101 p180 } a142 {p93 p187 p183 })
		({p43 } a75 {p11 })
		({p94 p187 p183 } a173 {p190 p180 p92 })
		({p52 } a23 {p18 })
		({p136 } a85 {p55 })
		({p76 } a119 {p6 })
		({p167 p181 } a68 {p188 p148 p184 })
		({p186 p148 p184 } a71 {p185 p155 })
		({p182 p57 } a37 {p53 p182 })
		({p49 } a33 {p95 })
		({p135 } a51 {p147 })
		({p186 p101 p182 } a142 {p93 p185 p189 })
		({p58 } a61 {p140 })
		({p17 } a54 {p73 })
		({p46 p190 p180 } a176 {p187 p40 p183 })
	},
	initialMarking = {p173 p175 p186 p177 p188 p179 p189 p116 p190 p180 p169 p171 },
	acceptingPlaces = {p61 p141 p82 p118 p121 p11 }
);
PetriNet net0 = (
	alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 a90 a91 a92 a93 a94 a95 a96 a97 a98 a99 a100 a101 a102 a103 a104 a105 a106 a107 a108 a109 a110 a111 a112 a113 a114 a115 a116 a117 a118 a119 a120 a121 a122 a123 a124 a125 a126 a127 a128 a129 a130 a131 a132 a133 a134 a135 a136 a137 a138 a139 a140 a141 a142 a143 a144 a145 a146 a147 a148 a149 a150 a151 a152 a153 a154 a155 a156 a157 a158 a159 a160 a161 a162 a163 a164 a165 a166 a167 a168 a169 a170 a171 a172 a173 a174 a175 a176 a177 a178 a179 a180 a181 a182 a183 a184 a185 a186 a187 a188 a189 a190 a191 a192 a193 },
	places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 },
	transitions = {
		({p109 } a93 {p33 })
		({p115 } a137 {p3 })
		({p69 } a92 {p109 })
		({p93 } a145 {p42 })
		({p186 p190 p5 } a44 {p186 p1 p190 })
		({p159 } a67 {p27 })
		({p33 } a94 {p30 })
		({p154 } a57 {p114 })
		({p14 } a111 {p59 })
		({p74 } a97 {p100 })
		({p26 } a162 {p15 })
		({p46 p186 p182 } a176 {p185 p189 p40 })
		({p80 } a123 {p78 })
		({p83 } a49 {p31 })
		({p38 } a147 {p146 })
		({p185 p94 p189 } a173 {p186 p182 p92 })
		({p185 p148 } a71 {p185 p155 })
		({p186 p190 p42 } a146 {p186 p190 p38 })
		({p189 p57 p184 } a37 {p53 p182 })
		({p96 } a120 {p51 })
		({p115 } a138 {p8 })
		({p67 } a60 {p58 })
		({p187 p44 } a74 {p47 p187 })
		({p149 } a12 {p79 })
		({p56 } a171 {p105 })
		({p130 } a150 {p123 })
		({p187 p189 p104 } a40 {p187 p189 p117 })
		({p34 } a81 {p39 })
		({p71 } a129 {p23 })
		({p56 } a172 {p106 })
		({p129 } a114 {p142 })
		({p94 p180 } a173 {p180 p92 })
		({p152 } a13 {p149 })
		({p36 } a126 {p164 })
		({p186 p190 p104 } a39 {p186 p190 p120 })
		({p29 } a158 {p91 })
		({p190 p44 } a73 {p190 p43 })
		({p78 } a124 {p161 })
		({p31 } a50 {p135 })
		({p187 p182 p155 } a72 {p189 p180 p44 })
		({p105 } a170 {p94 })
		({p164 } a127 {p77 })
		({p187 p113 p181 } a105 {p112 p188 p180 })
		({p156 } a14 {p0 })
		({p51 } a121 {p144 })
		({p131 } a149 {p130 })
		({p143 } a84 {p136 })
		({p92 } a174 {p46 })
		({p125 } a88 {p22 })
		({p53 } a38 {p104 })
		({p94 p182 } a173 {p182 p92 })
		({p174 p176 p177 p2 p170 p172 } a193 {p174 p160 p176 p178 p4 p170 p172 })
		({p4 } a2 {p7 })
		({p187 p153 p183 } a180 {p190 p180 p151 })
		({p39 } a82 {p41 })
		({p187 p113 p183 } a105 {p112 p190 p180 })
		({p174 p175 p2 p170 p172 } a192 {p174 p96 p176 p4 p170 p172 })
		({p187 p189 p101 } a142 {p93 p187 p189 })
		({p127 } a164 {p64 })
		({p15 } a163 {p127 })
		({p28 } a28 {p88 })
		({p158 } a155 {p85 })
		({p163 } a103 {p98 })
		({p128 } a22 {p52 })
		({p46 p186 p190 } a175 {p186 p190 p37 })
		({p140 } a63 {p159 })
		({p37 } a177 {p82 })
		({p94 p189 p184 } a173 {p182 p92 })
		({p47 } a77 {p107 })
		({p151 } a181 {p89 })
		({p163 } a104 {p100 })
		({p91 } a159 {p137 })
		({p2 p170 p171 } a190 {p4 p168 p170 p172 })
		({p160 } a154 {p158 })
		({p32 } a157 {p29 })
		({p3 } a136 {p165 })
		({p66 } a46 {p87 })
		({p186 p190 p101 } a141 {p186 p99 p190 })
		({p187 p183 p59 } a112 {p190 p180 p70 })
		({p46 p187 p189 } a176 {p187 p189 p40 })
		({p190 p180 p12 } a108 {p14 p187 p183 })
		({p116 } a15 {p13 })
		({p40 } a179 {p153 })
		({p185 p190 p155 } a72 {p186 p183 p44 })
		({p23 } a130 {p133 })
		({p142 } a115 {p138 })
		({p187 p165 p181 } a139 {p188 p162 p180 })
		({p185 p189 p153 } a180 {p186 p151 p182 })
		({p185 p113 p189 } a105 {p186 p112 p182 })
		({p99 } a143 {p61 })
		({p166 } a19 {p63 })
		({p1 } a45 {p66 })
		({p48 } a34 {p57 })
		({p186 p182 p12 } a108 {p185 p14 p189 })
		({p79 } a17 {p7 })
		({p73 } a55 {p75 })
		({p70 } a113 {p129 })
		({p190 p180 p44 } a74 {p47 p187 p183 })
		({p120 } a41 {p141 })
		({p145 } a27 {p28 })
		({p132 } a21 {p128 })
		({p138 } a116 {p150 })
		({p54 } a25 {p126 })
		({p113 p180 } a105 {p112 p180 })
		({p187 p165 p183 } a139 {p162 p190 p180 })
		({p110 } a52 {p84 })
		({p157 } a59 {p67 })
		({p89 } a182 {p68 })
		({p27 } a70 {p159 })
		({p95 } a35 {p48 })
		({p185 p189 p59 } a112 {p186 p70 p182 })
		({p7 } a5 {p20 })
		({p117 } a43 {p5 })
		({p95 } a36 {p49 })
		({p111 } a91 {p69 })
		({p60 } a185 {p124 })
		({p186 p189 p155 } a72 {p186 p189 p44 })
		({p161 } a125 {p36 })
		({p162 } a140 {p101 })
		({p187 p148 p183 } a71 {p190 p180 p155 })
		({p30 } a95 {p74 })
		({p126 } a26 {p145 })
		({p18 } a24 {p54 })
		({p174 p176 p178 p2 p170 p172 } a188 {p174 p176 p178 p118 p170 p172 })
		({p187 p181 p57 } a37 {p188 p53 p180 })
		({p75 } a56 {p154 })
		({p16 } a80 {p34 })
		({p74 } a96 {p139 })
		({p81 } a153 {p102 })
		({p123 } a151 {p25 })
		({p119 } a16 {p19 })
		({p188 p167 } a68 {p188 p148 })
		({p100 } a101 {p163 })
		({p113 p182 } a105 {p112 p182 })
		({p45 } a87 {p125 })
		({p186 p148 p182 } a71 {p185 p189 p155 })
		({p13 } a7 {p156 })
		({p146 } a148 {p131 })
		({p22 } a89 {p21 })
		({p27 } a69 {p167 })
		({p114 } a58 {p157 })
		({p185 p189 p165 } a139 {p186 p162 p182 })
		({p50 } a86 {p45 })
		({p186 p190 p153 } a180 {p186 p190 p151 })
		({p140 } a62 {p35 })
		({p187 p57 p183 } a37 {p190 p53 p180 })
		({p0 } a0 {p119 })
		({p187 p5 p183 } a44 {p1 p190 p180 })
		({p108 } a79 {p16 })
		({p190 p107 } a78 {p190 p108 })
		({p173 p2 p170 p172 } a191 {p174 p50 p4 p170 p172 })
		({p186 p190 p12 } a107 {p186 p190 p9 })
		({p165 p180 } a139 {p162 p180 })
		({p106 } a169 {p56 })
		({p188 p19 p180 } a9 {p187 p181 p152 })
		({p23 } a131 {p8 })
		({p113 p189 p184 } a105 {p112 p182 })
		({p144 } a122 {p80 })
		({p187 p183 p42 } a146 {p190 p180 p38 })
		({p62 } a184 {p60 })
		({p150 } a117 {p72 })
		({p41 } a83 {p143 })
		({p190 p180 p104 } a40 {p187 p117 p183 })
		({p2 p169 } a189 {p110 p4 p170 })
		({p20 } a10 {p2 })
		({p186 p190 p59 } a112 {p186 p190 p70 })
		({p85 } a156 {p32 })
		({p148 p180 } a71 {p180 p155 })
		({p187 p189 p12 } a108 {p14 p187 p189 })
		({p63 } a20 {p132 })
		({p9 } a109 {p121 })
		({p24 } a187 {p134 })
		({p186 p104 p182 } a40 {p185 p189 p117 })
		({p28 } a29 {p49 })
		({p185 p189 p57 } a37 {p186 p53 p182 })
		({p72 } a118 {p76 })
		({p185 p189 p5 } a44 {p186 p1 p182 })
		({p165 p182 } a139 {p162 p182 })
		({p8 } a135 {p115 })
		({p124 } a186 {p24 })
		({p21 } a90 {p111 })
		({p90 } a161 {p26 })
		({p86 } a48 {p83 })
		({p185 p189 p42 } a146 {p186 p38 p182 })
		({p94 p187 p181 } a173 {p188 p180 p92 })
		({p180 p57 } a37 {p53 p180 })
		({p112 } a106 {p12 })
		({p98 } a102 {p113 })
		({p25 } a152 {p81 })
		({p168 } a18 {p166 })
		({p127 } a165 {p106 })
		({p137 } a160 {p90 })
		({p68 } a183 {p62 })
		({p87 } a47 {p86 })
		({p189 p165 p184 } a139 {p162 p182 })
		({p187 p183 p107 } a78 {p190 p180 p108 })
		({p84 } a53 {p17 })
		({p77 } a128 {p71 })
		({p190 p101 p180 } a142 {p93 p187 p183 })
		({p43 } a75 {p11 })
		({p94 p187 p183 } a173 {p190 p180 p92 })
		({p52 } a23 {p18 })
		({p136 } a85 {p55 })
		({p76 } a119 {p6 })
		({p167 p181 } a68 {p188 p148 p184 })
		({p186 p148 p184 } a71 {p185 p155 })
		({p182 p57 } a37 {p53 p182 })
		({p49 } a33 {p95 })
		({p135 } a51 {p147 })
		({p186 p101 p182 } a142 {p93 p185 p189 })
		({p58 } a61 {p140 })
		({p17 } a54 {p73 })
		({p46 p190 p180 } a176 {p187 p40 p183 })
	},
	initialMarking = {p173 p175 p186 p177 p188 p179 p189 p116 p190 p180 p169 p171 },
	acceptingPlaces = {p61 p141 p82 p118 p121 p11 }
);