// Testfile dumped by Ultimate at 2019/12/24 15:05:38
//
// 

BranchingProcess bp = finitePrefix(net);

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 a194 a195 a196 a197 a198 a199 a200 a201 a202 a203 },
	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 },
	transitions = {
		({p25 } a45 {p45 })
		({p17 } a38 {p41 })
		({p59 } a174 {p63 })
		({p60 } a158 {p55 })
		({p62 } a70 {p64 })
		({p49 p16 p74 } a123 {p17 p73 })
		({p52 } a60 {p56 })
		({p1 p2 p24 p66 p68 p70 p72 p74 } a115 {p1 p3 p66 p25 p68 p33 p70 p72 p74 })
		({p26 } a146 {p32 })
		({p22 } a144 {p20 })
		({p0 p24 p66 p68 p70 p72 p74 } a114 {p1 p38 p66 p25 p68 p70 p72 p74 })
		({p20 p3 p16 } a125 {p2 p17 })
		({p37 } a162 {p53 })
		({p55 p9 p16 } a128 {p8 p17 })
		({p53 } a95 {p54 })
		({p29 } a171 {p27 })
		({p1 p3 p5 p24 p66 p7 p8 p68 p70 p72 p74 } a118 {p1 p3 p5 p7 p25 p9 p14 p66 p68 p70 p72 p74 })
		({p21 } a148 {p31 })
		({p64 } a155 {p43 })
		({p66 p16 p36 } a119 {p65 p17 })
		({p39 } a150 {p62 })
		({p24 p66 p68 p70 p71 } a112 {p66 p25 p68 p51 p70 p72 })
		({p15 } a75 {p22 })
		({p33 } a163 {p15 })
		({p12 p13 } a195 {p12 p13 })
		({p40 } a153 {p61 })
		({p46 p16 p72 } a122 {p17 p71 })
		({p1 p23 p16 } a124 {p0 p17 })
		({p58 } a164 {p44 })
		({p65 p24 } a109 {p66 p25 p58 })
		({p24 p66 p67 } a110 {p40 p66 p25 p68 })
		({p27 } a85 {p26 })
		({p47 } a175 {p35 })
		({p35 } a151 {p16 })
		({p1 p3 p4 p24 p66 p68 p70 p72 p74 } a116 {p1 p29 p3 p5 p66 p25 p68 p70 p72 p74 })
		({p12 p13 } a197 {p30 p13 })
		({p56 } a134 {p46 })
		({p28 p7 p16 } a127 {p6 p17 })
		({p48 } a202 {p47 })
		({p16 p70 p43 } a121 {p69 p17 })
		({p41 } a190 {p35 })
		({p54 } a138 {p49 })
		({p19 } a65 {p18 })
		({p31 } a100 {p34 })
		({p12 } a203 {})
		({p1 p3 p5 p6 p24 p66 p68 p70 p72 p74 } a117 {p21 p1 p3 p5 p7 p66 p25 p68 p70 p72 p74 })
		({p24 p66 p68 p69 } a111 {p39 p66 p25 p68 p70 })
		({p57 } a105 {p60 })
		({p47 } a149 {p24 })
		({p45 } a188 {p47 })
		({p44 } a90 {p42 })
		({p11 p12 } a195 {p10 p13 p12 })
		({p24 p66 p68 p70 p72 p73 } a113 {p37 p66 p25 p68 p70 p72 p74 })
		({p1 p3 p5 p66 p7 p24 p68 p9 p70 p72 p74 } a108 {p1 p3 p5 p66 p7 p50 p68 p9 p70 p72 p74 })
		({p34 } a156 {p28 })
		({p18 } a141 {p23 })
		({p14 } a161 {p57 })
		({p61 } a80 {p59 })
		({p10 p35 p13 } a189 {p11 p12 })
		({p42 } a147 {p36 })
		({p51 } a170 {p52 })
		({p63 p68 p16 } a120 {p67 p17 })
		({p38 } a167 {p19 })
		({p5 p32 p16 } a126 {p4 p17 })
	},
	initialMarking = {p0 p2 p4 p6 p8 p10 p13 p48 p65 p67 p69 p71 p73 },
	acceptingPlaces = {p30 p50 }
);