// Testfile dumped by Ultimate at 2012/01/05 14:38:37 assert(!isEmpty(net)); print(net); PetriNet net = ( alphabet = {a0 a1 a2 a4 a3 a7 a6 a5 a9 a8 a11 a10 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a27 a26 a28 a29 a30 a31 a32 a33 a36 a35 a34 a37 a39 a38 a40 a41 a42 }, 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 }, transitions = { ( {p92 p49 p52 p68 p30 p23 } a26 {p57 p8 p11 p59 p56 p23 } ) ( {p65 p25 p35 p98 p7 p73 p72 } a17 {p47 p26 p17 p98 p7 p71 p74 } ) ( {p65 p25 p35 p98 p7 p75 p78 } a17 {p47 p26 p17 p98 p7 p77 p76 } ) ( {p92 p49 p52 p56 p23 } a26 {p57 p8 p11 p56 p23 } ) ( {p46 p94 p98 p74 p83 p78 p89 p85 p87 } a16 {p32 p97 p96 p74 p83 p78 p89 p85 p87 } ) ( {p62 p8 p11 p56 p19 } a31 {p99 p49 p52 p56 p19 } ) ( {p10 p97 p96 p7 p79 p89 } a39 {p60 p94 p98 p7 p86 p81 } ) ( {p65 p25 p35 p97 p96 p5 p4 p74 p81 p83 p76 p89 p90 p85 p87 } a17 {p47 p26 p17 p94 p98 p3 p7 p74 p81 p83 p76 p89 p90 p85 p87 } ) ( {p13 p3 p7 p86 p72 } a6 {p29 p5 p4 p71 p89 } ) ( {p28 p5 p4 p71 p74 } a30 {p95 p3 p7 p73 p72 } ) ( {p58 p44 p41 p70 } a1 {p50 p36 p42 p70 } ) ( {p47 p26 p17 p15 p1 p4 p88 p87 } a29 {p58 p44 p41 p15 p3 p2 p84 p90 } ) ( {p65 p25 p35 p98 p5 p4 p80 p78 } a17 {p47 p26 p17 p98 p3 p7 p77 p83 } ) ( {p32 p98 p80 p89 } a32 {p100 p98 p86 p83 } ) ( {p37 p97 p96 p86 p87 } a0 {p14 p94 p98 p84 p89 } ) ( {p13 p3 p7 p82 p72 } a6 {p29 p5 p4 p71 p85 } ) ( {p91 p33 p67 } a41 {p21 p39 p45 } ) ( {p47 p26 p17 p12 p96 p2 p88 p87 } a29 {p58 p44 p41 p94 p15 p2 p84 p90 } ) ( {p6 p51 p93 p39 p45 } a2 {p65 p25 p35 p33 p67 } ) ( {p64 p39 p45 } a23 {p62 p33 p67 } ) ( {p13 p3 p7 p79 p72 } a6 {p29 p5 p4 p71 p81 } ) ( {p38 p8 p11 p68 p30 p20 p23 } a20 {p18 p49 p52 p59 p56 p9 p19 } ) ( {p13 p4 p73 p72 } a6 {p29 p4 p71 p74 } ) ( {p13 p3 p7 p74 p81 p83 p76 p78 p89 p90 p85 p87 } a6 {p29 p5 p4 p74 p81 p83 p76 p78 p89 p90 p85 p87 } ) ( {p60 } a22 {p10 } ) ( {p28 p5 p4 p77 p74 } a30 {p95 p3 p7 p73 p78 } ) ( {p37 p97 p96 p75 p74 } a0 {p14 p94 p98 p73 p76 } ) ( {p46 p94 p98 p82 p90 } a16 {p32 p97 p96 p88 p85 } ) ( {p22 p67 } a15 {p91 p67 } ) ( {p65 p25 p35 p97 p96 p5 p4 p73 p72 } a17 {p47 p26 p17 p94 p98 p3 p7 p71 p74 } ) ( {p13 p3 p7 p75 p72 } a6 {p29 p5 p4 p71 p76 } ) ( {p28 p7 p80 p74 } a30 {p95 p7 p73 p83 } ) ( {p28 p7 p82 p74 } a30 {p95 p7 p73 p85 } ) ( {p38 p52 p68 p30 p19 } a20 {p18 p52 p59 p56 p19 } ) ( {p10 p97 p96 p5 p4 p79 p89 } a39 {p60 p94 p98 p3 p7 p86 p81 } ) ( {p65 p25 p35 p98 p7 p82 p78 } a17 {p47 p26 p17 p98 p7 p77 p85 } ) ( {p28 p7 p86 p74 } a30 {p95 p7 p73 p89 } ) ( {p66 p8 p11 p30 p9 p19 } a9 {p53 p49 p52 p30 p20 p23 } ) ( {p13 p4 p77 p72 } a6 {p29 p4 p71 p78 } ) ( {p62 p52 p56 p19 } a31 {p99 p52 p56 p19 } ) ( {p13 p4 p80 p72 } a6 {p29 p4 p71 p83 } ) ( {p27 p52 p30 p23 } a28 {p43 p52 p30 p23 } ) ( {p63 p45 } a11 {p64 p45 } ) ( {p65 p25 p35 p97 p96 p7 p73 p72 } a17 {p47 p26 p17 p94 p98 p7 p71 p74 } ) ( {p65 p25 p35 p98 p7 p79 p78 } a17 {p47 p26 p17 p98 p7 p77 p81 } ) ( {p65 p25 p35 p98 p7 p86 p78 } a17 {p47 p26 p17 p98 p7 p77 p89 } ) ( {p65 p25 p35 p98 p7 p84 p72 } a17 {p47 p26 p17 p98 p7 p71 p87 } ) ( {p65 p25 p35 p97 p96 p5 p4 p79 p78 } a17 {p47 p26 p17 p94 p98 p3 p7 p77 p81 } ) ( {p65 p25 p35 p98 p7 p88 p72 } a17 {p47 p26 p17 p98 p7 p71 p90 } ) ( {p28 p7 p88 p74 } a30 {p95 p7 p73 p90 } ) ( {p13 p4 p88 p72 } a6 {p29 p4 p71 p90 } ) ( {p13 p4 p84 p72 } a6 {p29 p4 p71 p87 } ) ( {p10 p98 p7 p75 p83 } a39 {p60 p98 p7 p80 p76 } ) ( {p6 p51 p93 p67 } a2 {p65 p25 p35 p67 } ) ( {p46 p94 p98 p77 p72 } a16 {p32 p97 p96 p71 p78 } ) ( {p18 } a34 {p48 } ) ( {p46 p96 p74 p83 p78 p89 p85 p87 } a16 {p32 p96 p74 p83 p78 p89 p85 p87 } ) ( {p92 p11 p68 p30 p9 p19 } a26 {p57 p11 p59 p56 p20 p23 } ) ( {p37 p97 p96 p81 p83 p76 p78 p89 p85 } a0 {p14 p94 p98 p81 p83 p76 p78 p89 p85 } ) ( {p65 p25 p35 p97 p96 p7 p86 p78 } a17 {p47 p26 p17 p94 p98 p7 p77 p89 } ) ( {p50 p36 p42 } a27 {p99 p60 p18 } ) ( {p37 p97 p96 p79 p87 } a0 {p14 p94 p98 p84 p81 } ) ( {p62 p8 p11 p56 p20 p23 } a31 {p99 p49 p52 p56 p9 p19 } ) ( {p22 p39 p45 } a15 {p91 p33 p67 } ) ( {p38 p52 p56 p20 p23 } a20 {p18 p52 p56 p9 p19 } ) ( {p10 p98 p7 p81 p76 } a39 {p60 p98 p7 p81 p76 } ) ( {p65 p25 p35 p98 p5 p4 p74 p81 p83 p76 p89 p90 p85 p87 } a17 {p47 p26 p17 p98 p3 p7 p74 p81 p83 p76 p89 p90 p85 p87 } ) ( {p28 p7 p72 p81 p83 p78 p89 p90 p85 p87 } a30 {p95 p7 p72 p81 p83 p78 p89 p90 p85 p87 } ) ( {p46 p96 p77 p72 } a16 {p32 p96 p71 p78 } ) ( {p100 p49 p52 p56 p23 } a42 {p22 p8 p11 p56 p23 } ) ( {p66 p8 p11 p59 p56 p23 } a9 {p53 p49 p52 p68 p30 p23 } ) ( {p37 p98 p82 p90 } a0 {p14 p98 p88 p85 } ) ( {p66 p52 p59 p56 p9 p19 } a9 {p53 p52 p68 p30 p20 p23 } ) ( {p37 p98 p77 p72 } a0 {p14 p98 p71 p78 } ) ( {p21 p39 p45 } a25 {p38 p33 p67 } ) ( {p63 p33 p67 } a11 {p64 p39 p45 } ) ( {p65 p25 p35 p97 p96 p7 p79 p78 } a17 {p47 p26 p17 p94 p98 p7 p77 p81 } ) ( {p62 p52 p56 p20 p23 } a31 {p99 p52 p56 p9 p19 } ) ( {p28 p5 p4 p82 p74 } a30 {p95 p3 p7 p73 p85 } ) ( {p62 p8 p11 p68 p30 p20 p23 } a31 {p99 p49 p52 p59 p56 p9 p19 } ) ( {p47 p26 p17 p12 p96 p1 p4 p88 p87 } a29 {p58 p44 p41 p94 p15 p3 p2 p84 p90 } ) ( {p65 p25 p35 p97 p96 p7 p74 p81 p83 p76 p89 p90 p85 p87 } a17 {p47 p26 p17 p94 p98 p7 p74 p81 p83 p76 p89 p90 p85 p87 } ) ( {p10 p97 p96 p5 p4 p75 p83 } a39 {p60 p94 p98 p3 p7 p80 p76 } ) ( {p53 p81 p89 p90 p85 p87 } a3 {p13 p81 p89 p90 p85 p87 } ) ( {p92 p11 p56 p9 p19 } a26 {p57 p11 p56 p20 p23 } ) ( {p38 p52 p56 p19 } a20 {p18 p52 p56 p19 } ) ( {p65 p25 p35 p98 p7 p80 p78 } a17 {p47 p26 p17 p98 p7 p77 p83 } ) ( {p100 p11 p56 p23 } a42 {p22 p11 p56 p23 } ) ( {p47 p26 p17 p15 p1 p4 p82 p89 } a29 {p58 p44 p41 p15 p3 p2 p86 p85 } ) ( {p64 p67 } a23 {p62 p67 } ) ( {p65 p25 p35 p97 p96 p5 p4 p80 p78 } a17 {p47 p26 p17 p94 p98 p3 p7 p77 p83 } ) ( {p27 p52 p59 p56 p23 } a28 {p43 p52 p68 p30 p23 } ) ( {p10 p98 p5 p4 p75 p83 } a39 {p60 p98 p3 p7 p80 p76 } ) ( {p10 p97 p96 p7 p75 p83 } a39 {p60 p94 p98 p7 p80 p76 } ) ( {p65 p25 p35 p98 p5 p4 p86 p78 } a17 {p47 p26 p17 p98 p3 p7 p77 p89 } ) ( {p99 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } a4 {p61 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } ) ( {p10 p98 p5 p4 p81 p76 } a39 {p60 p98 p3 p7 p81 p76 } ) ( {p32 p98 p83 p76 p78 } a32 {p100 p98 p83 p76 p78 } ) ( {p13 p4 p74 p81 p83 p76 p78 p89 p90 p85 p87 } a6 {p29 p4 p74 p81 p83 p76 p78 p89 p90 p85 p87 } ) ( {p60 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } a33 {p24 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } ) ( {p38 p8 p11 p56 p20 p23 } a20 {p18 p49 p52 p56 p9 p19 } ) ( {p43 p39 p45 } a36 {p63 p33 p67 } ) ( {p24 } a14 {p0 } ) ( {p66 p8 p11 p59 p56 p9 p19 } a9 {p53 p49 p52 p68 p30 p20 p23 } ) ( {p37 p97 p96 p82 p90 } a0 {p14 p94 p98 p88 p85 } ) ( {p13 p3 p7 p88 p72 } a6 {p29 p5 p4 p71 p90 } ) ( {p46 p94 p98 p84 p81 } a16 {p32 p97 p96 p79 p87 } ) ( {p37 p98 p75 p74 } a0 {p14 p98 p73 p76 } ) ( {p65 p25 p35 p98 p5 p4 p75 p78 } a17 {p47 p26 p17 p98 p3 p7 p77 p76 } ) ( {p65 p25 p35 p98 p5 p4 p88 p72 } a17 {p47 p26 p17 p98 p3 p7 p71 p90 } ) ( {p13 p3 p7 p77 p72 } a6 {p29 p5 p4 p71 p78 } ) ( {p13 p3 p7 p80 p72 } a6 {p29 p5 p4 p71 p83 } ) ( {p28 p7 p84 p74 } a30 {p95 p7 p73 p87 } ) ( {p65 p25 p35 p98 p5 p4 p82 p78 } a17 {p47 p26 p17 p98 p3 p7 p77 p85 } ) ( {p13 p3 p7 p84 p72 } a6 {p29 p5 p4 p71 p87 } ) ( {p37 p98 p80 p74 } a0 {p14 p98 p73 p83 } ) ( {p14 p52 p56 p20 p23 } a18 {p92 p52 p56 p9 p19 } ) ( {p13 p4 p75 p72 } a6 {p29 p4 p71 p76 } ) ( {p46 p96 p84 p81 } a16 {p32 p96 p79 p87 } ) ( {p47 p26 p17 p15 p2 p90 p85 } a29 {p58 p44 p41 p15 p2 p90 p85 } ) ( {p28 p5 p4 p80 p74 } a30 {p95 p3 p7 p73 p83 } ) ( {p48 p49 p52 p56 p23 } a8 {p22 p8 p11 p56 p23 } ) ( {p13 p3 p7 p73 p72 } a6 {p29 p5 p4 p71 p74 } ) ( {p65 p25 p35 p98 p5 p4 p73 p72 } a17 {p47 p26 p17 p98 p3 p7 p71 p74 } ) ( {p38 p52 p68 p30 p20 p23 } a20 {p18 p52 p59 p56 p9 p19 } ) ( {p18 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } a12 {p16 p67 p45 p52 p11 p56 p30 p96 p98 p15 p4 p7 p2 p23 p19 p74 p70 p72 p81 p83 p76 p78 p89 p90 p85 p87 } ) ( {p57 p88 p85 } a37 {p46 p82 p90 } ) ( {p22 p45 } a5 {p34 p45 } ) ( {p13 p4 p79 p72 } a6 {p29 p4 p71 p81 } ) ( {p47 p26 p17 p12 p96 p2 p90 p85 } a29 {p58 p44 p41 p94 p15 p2 p90 p85 } ) ( {p48 p11 p56 p23 } a8 {p22 p11 p56 p23 } ) ( {p47 p26 p17 p15 p1 p4 p90 p85 } a29 {p58 p44 p41 p15 p3 p2 p90 p85 } ) ( {p10 p98 p7 p79 p89 } a39 {p60 p98 p7 p86 p81 } ) ( {p43 p45 } a19 {p40 p45 } ) ( {p62 p52 p68 p30 p20 p23 } a31 {p99 p52 p59 p56 p9 p19 } ) ( {p28 p5 p4 p86 p74 } a30 {p95 p3 p7 p73 p89 } ) ( {p65 p25 p35 p97 p96 p5 p4 p75 p78 } a17 {p47 p26 p17 p94 p98 p3 p7 p77 p76 } ) ( {p13 p4 p82 p72 } a6 {p29 p4 p71 p85 } ) ( {p92 p49 p52 p68 p30 p9 p19 } a26 {p57 p8 p11 p59 p56 p20 p23 } ) ( {p43 p67 } a36 {p63 p67 } ) ( {p28 p5 p4 p79 p76 } a30 {p95 p3 p7 p75 p81 } ) ( {p58 p44 p41 p69 p72 } a1 {p50 p36 p42 p71 p70 } ) ( {p13 p4 p86 p72 } a6 {p29 p4 p71 p89 } ) ( {p65 p25 p35 p97 p96 p7 p84 p72 } a17 {p47 p26 p17 p94 p98 p7 p71 p87 } ) ( {p65 p25 p35 p98 p5 p4 p79 p78 } a17 {p47 p26 p17 p98 p3 p7 p77 p81 } ) ( {p48 p52 } a21 {p37 p52 } ) ( {p46 p96 p82 p90 } a16 {p32 p96 p88 p85 } ) ( {p92 p11 p56 p23 } a26 {p57 p11 p56 p23 } ) ( {p65 p25 p35 p97 p96 p5 p4 p82 p78 } a17 {p47 p26 p17 p94 p98 p3 p7 p77 p85 } ) ( {p66 p52 p30 p9 p19 } a9 {p53 p52 p30 p20 p23 } ) ( {p62 p52 p68 p30 p19 } a31 {p99 p52 p59 p56 p19 } ) ( {p91 p45 } a41 {p21 p45 } ) ( {p32 p98 p77 p85 } a32 {p100 p98 p82 p78 } ) ( {p99 } a7 {p54 } ) ( {p37 p98 p81 p83 p76 p78 p89 p85 } a0 {p14 p98 p81 p83 p76 p78 p89 p85 } ) ( {p14 p52 p56 p19 } a18 {p92 p52 p56 p19 } ) ( {p65 p25 p35 p98 p7 p74 p81 p83 p76 p89 p90 p85 p87 } a17 {p47 p26 p17 p98 p7 p74 p81 p83 p76 p89 p90 p85 p87 } ) ( {p37 p98 p86 p87 } a0 {p14 p98 p84 p89 } ) ( {p46 p94 p98 p86 p81 } a16 {p32 p97 p96 p79 p89 } ) ( {p38 p8 p11 p68 p30 p19 } a20 {p18 p49 p52 p59 p56 p19 } ) ( {p92 p11 p68 p30 p23 } a26 {p57 p11 p59 p56 p23 } ) ( {p38 p8 p11 p56 p19 } a20 {p18 p49 p52 p56 p19 } ) ( {p46 p96 p80 p76 } a16 {p32 p96 p75 p83 } ) ( {p65 p25 p35 p97 p96 p7 p88 p72 } a17 {p47 p26 p17 p94 p98 p7 p71 p90 } ) ( {p46 p96 p73 p76 } a16 {p32 p96 p75 p74 } ) ( {p65 p25 p35 p97 p96 p7 p82 p78 } a17 {p47 p26 p17 p94 p98 p7 p77 p85 } ) ( {p10 p97 p96 p7 p81 p76 } a39 {p60 p94 p98 p7 p81 p76 } ) ( {p21 p67 } a25 {p38 p67 } ) ( {p95 p52 p56 p20 p23 } a35 {p66 p52 p56 p9 p19 } ) ( {p61 } a24 {p55 } ) ( {p66 p8 p11 p30 p23 } a9 {p53 p49 p52 p30 p23 } ) ( {p47 p26 p17 p12 p96 p1 p4 p82 p89 } a29 {p58 p44 p41 p94 p15 p3 p2 p86 p85 } ) ( {p62 p8 p11 p68 p30 p19 } a31 {p99 p49 p52 p59 p56 p19 } ) ( {p47 p26 p17 p15 p2 p82 p89 } a29 {p58 p44 p41 p15 p2 p86 p85 } ) ( {p32 p98 p75 p81 } a32 {p100 p98 p79 p76 } ) ( {p28 p7 p77 p74 } a30 {p95 p7 p73 p78 } ) ( {p46 p94 p98 p73 p76 } a16 {p32 p97 p96 p75 p74 } ) ( {p37 p97 p96 p77 p72 } a0 {p14 p94 p98 p71 p78 } ) ( {p66 p52 p30 p23 } a9 {p53 p52 p30 p23 } ) ( {p65 p25 p35 p97 p96 p7 p80 p78 } a17 {p47 p26 p17 p94 p98 p7 p77 p83 } ) ( {p10 p97 p96 p5 p4 p81 p76 } a39 {p60 p94 p98 p3 p7 p81 p76 } ) ( {p47 p26 p17 p12 p96 p2 p82 p89 } a29 {p58 p44 p41 p94 p15 p2 p86 p85 } ) ( {p57 p90 p87 } a37 {p46 p90 p87 } ) ( {p28 p7 p71 p74 } a30 {p95 p7 p73 p72 } ) ( {p10 p98 p5 p4 p79 p89 } a39 {p60 p98 p3 p7 p86 p81 } ) ( {p37 p97 p96 p80 p74 } a0 {p14 p94 p98 p73 p83 } ) ( {p54 p52 p59 p56 p23 } a10 {p43 p52 p68 p30 p23 } ) ( {p57 p84 p89 } a37 {p46 p86 p87 } ) ( {p47 p26 p17 p15 p2 p88 p87 } a29 {p58 p44 p41 p15 p2 p84 p90 } ) ( {p65 p25 p35 p97 p96 p7 p75 p78 } a17 {p47 p26 p17 p94 p98 p7 p77 p76 } ) ( {p66 p52 p59 p56 p23 } a9 {p53 p52 p68 p30 p23 } ) ( {p28 p5 p4 p88 p74 } a30 {p95 p3 p7 p73 p90 } ) ( {p28 p5 p4 p84 p74 } a30 {p95 p3 p7 p73 p87 } ) ( {p37 p98 p79 p87 } a0 {p14 p98 p84 p81 } ) ( {p92 p49 p52 p56 p9 p19 } a26 {p57 p8 p11 p56 p20 p23 } ) ( {p65 p25 p35 p97 p96 p5 p4 p84 p72 } a17 {p47 p26 p17 p94 p98 p3 p7 p71 p87 } ) ( {p95 p52 p56 p19 } a35 {p66 p52 p56 p19 } ) ( {p16 } a38 {p31 } ) ( {p46 p94 p98 p80 p76 } a16 {p32 p97 p96 p75 p83 } ) ( {p46 p96 p86 p81 } a16 {p32 p96 p79 p89 } ) ( {p65 p25 p35 p97 p96 p5 p4 p86 p78 } a17 {p47 p26 p17 p94 p98 p3 p7 p77 p89 } ) ( {p28 p7 p79 p76 } a30 {p95 p7 p75 p81 } ) ( {p29 p7 } a40 {p27 p7 } ) ( {p47 p26 p17 p12 p96 p1 p4 p90 p85 } a29 {p58 p44 p41 p94 p15 p3 p2 p90 p85 } ) ( {p54 p52 p30 p23 } a10 {p43 p52 p30 p23 } ) ( {p65 p25 p35 p97 p96 p5 p4 p88 p72 } a17 {p47 p26 p17 p94 p98 p3 p7 p71 p90 } ) ( {p28 p5 p4 p72 p81 p83 p78 p89 p90 p85 p87 } a30 {p95 p3 p7 p72 p81 p83 p78 p89 p90 p85 p87 } ) ( {p65 p25 p35 p98 p5 p4 p84 p72 } a17 {p47 p26 p17 p98 p3 p7 p71 p87 } ) ( {p54 p56 } a13 {p28 p56 } ) }, initialMarking = {p1 p4 p6 p7 p12 p20 p23 p93 p96 p69 p39 p98 p72 p74 p76 p45 p78 p49 p81 p51 p83 p52 p85 p87 p56 p89 p90 p59 }, acceptingPlaces = {p34 p40 } );