// Testfile dumped by Ultimate at 2020/01/07 02:04:06
//
// 

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 },
	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 },
	transitions = {
		({p0 } a0 {p1 })
		({p1 } a4 {p2 })
		({p2 } a6 {p3 })
		({p3 } a7 {p106 })
		({p4 } a79 {p110 })
		({p5 } a10 {p108 })
		({p6 } a11 {p8 })
		({p7 } a13 {p86 })
		({p8 } a14 {p10 })
		({p9 } a69 {p111 })
		({p10 } a15 {p11 })
		({p11 } a17 {p12 })
		({p11 } a18 {p91 })
		({p12 } a20 {p13 })
		({p13 } a23 {p41 })
		({p14 } a24 {p87 })
		({p15 } a103 {p28 })
		({p16 } a27 {p11 })
		({p17 } a28 {p18 })
		({p18 } a30 {p39 })
		({p19 } a75 {p32 })
		({p20 } a94 {p96 })
		({p21 } a35 {p7 })
		({p22 } a36 {p23 })
		({p24 } a38 {p70 })
		({p25 } a59 {p92 })
		({p26 } a66 {p45 })
		({p27 } a65 {p26 })
		({p28 } a104 {p102 })
		({p29 p128 p23 } a125 {p127 p24 })
		({p30 } a98 {p101 })
		({p31 } a77 {p29 })
		({p32 } a76 {p31 })
		({p33 } a107 {p98 })
		({p34 } a44 {p36 })
		({p126 p35 p23 } a124 {p125 p24 })
		({p126 p128 p130 p116 p132 p36 p118 p134 p120 p122 p124 } a108 {p126 p128 p130 p116 p132 p85 p118 p134 p120 p122 p124 })
		({p115 p36 } a109 {p116 p37 p103 })
		({p36 p116 p117 } a110 {p68 p116 p37 p118 })
		({p36 p116 p118 p119 } a111 {p67 p116 p37 p118 p120 })
		({p36 p116 p118 p120 p121 } a112 {p116 p37 p118 p88 p120 p122 })
		({p36 p116 p118 p120 p122 p123 } a113 {p61 p116 p37 p118 p120 p122 p124 })
		({p125 p36 p116 p118 p120 p122 p124 } a114 {p126 p65 p116 p37 p118 p120 p122 p124 })
		({p126 p127 p36 p116 p118 p120 p122 p124 } a115 {p126 p128 p116 p37 p118 p55 p120 p122 p124 })
		({p126 p128 p129 p36 p116 p118 p120 p122 p124 } a116 {p126 p48 p128 p130 p116 p37 p118 p120 p122 p124 })
		({p126 p128 p130 p131 p36 p116 p118 p120 p122 p124 } a117 {p30 p126 p128 p130 p132 p116 p37 p118 p120 p122 p124 })
		({p126 p128 p130 p36 p116 p132 p133 p118 p120 p122 p124 } a118 {p126 p15 p128 p130 p116 p132 p37 p134 p118 p120 p122 p124 })
		({p37 } a45 {p78 })
		({p38 } a86 {p89 })
		({p39 } a46 {p42 })
		({p40 } a97 {p84 })
		({p41 } a47 {p43 })
		({p42 } a49 {p14 })
		({p43 } a50 {p47 })
		({p43 } a51 {p51 })
		({p44 } a85 {p38 })
		({p45 } a67 {p35 })
		({p46 p132 p23 } a127 {p131 p24 })
		({p47 } a53 {p49 })
		({p48 } a83 {p90 })
		({p50 } a62 {p81 })
		({p51 } a57 {p21 })
		({p52 } a100 {p56 })
		({p130 p53 p23 } a126 {p129 p24 })
		({p54 } a89 {p77 })
		({p55 } a73 {p113 })
		({p56 } a101 {p94 })
		({p57 } a2 {p58 })
		({p57 } a3 {p22 })
		({p58 } a5 {p16 })
		({p59 } a82 {p112 })
		({p116 p23 p60 } a119 {p115 p24 })
		({p61 } a93 {p20 })
		({p62 } a8 {p64 })
		({p63 } a92 {p60 })
		({p64 } a9 {p17 })
		({p65 } a63 {p100 })
		({p66 } a12 {p57 })
		({p67 } a68 {p9 })
		({p68 } a78 {p4 })
		({p70 } a19 {p73 })
		({p71 } a91 {p63 })
		({p72 } a72 {p76 })
		({p73 } a21 {p75 })
		({p74 } a22 {p69 })
		({p75 } a25 {p57 })
		({p23 p120 p76 } a121 {p119 p24 })
		({p77 } a90 {p71 })
		({p78 } a26 {p79 })
		({p79 } a29 {p80 })
		({p80 } a31 {p82 })
		({p81 p23 p122 } a122 {p24 p121 })
		({p82 } a33 {p66 })
		({p82 } a34 {p34 })
		({p83 } a37 {p5 })
		({p84 p23 p124 } a123 {p24 p123 })
		({p86 } a39 {p74 })
		({p87 } a40 {p82 })
		({p88 } a58 {p25 })
		({p89 } a87 {p53 })
		({p90 } a84 {p44 })
		({p91 } a41 {p93 })
		({p92 } a60 {p99 })
		({p93 } a42 {p95 })
		({p94 } a102 {p46 })
		({p95 } a43 {p6 })
		({p96 } a95 {p97 })
		({p97 } a96 {p40 })
		({p98 p134 p23 } a128 {p133 p24 })
		({p99 } a61 {p50 })
		({p100 } a64 {p27 })
		({p101 } a99 {p52 })
		({p102 } a105 {p109 })
		({p103 } a88 {p54 })
		({p104 } a48 {p62 })
		({p105 } a52 {p104 })
		({p106 } a55 {p105 })
		({p107 } a81 {p59 })
		({p108 } a56 {p0 })
		({p109 } a106 {p33 })
		({p110 } a80 {p107 })
		({p111 } a70 {p114 })
		({p112 p118 p23 } a120 {p117 p24 })
		({p113 } a74 {p19 })
		({p114 } a71 {p72 })
	},
	initialMarking = {p125 p127 p129 p83 p115 p131 p117 p133 p119 p135 p121 p123 },
	acceptingPlaces = {p49 p85 }
);