// Testfile dumped by Ultimate at 2012/01/05 14:38:46

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 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 },
	transitions = {
		( {p85 p23 p29 p56 p2 p35 p41 p43 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p112 p113 } )
		( {p76 p22 p14 p5 p58 p34 p35 p39 p63 p108 p128 } a29 {p94 p79 p78 p60 p8 p36 p33 p68 p67 p127 p107 } )
		( {p20 p2 p35 p39 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p67 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p112 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p112 p126 } )
		( {p82 p56 p44 p49 p112 p113 } a0 {p11 p56 p50 p43 p114 p111 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p105 } )
		( {p10 p36 p0 p46 p49 p121 p105 } a6 {p27 p2 p35 p50 p45 p106 p122 } )
		( {p20 p0 p68 p47 p121 p124 } a30 {p57 p0 p48 p63 p123 p122 } )
		( {p10 p35 p68 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p63 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p56 p0 p46 p43 p119 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p120 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p104 p115 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p116 p103 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p112 p118 } )
		( {p20 p0 p42 p45 p116 p113 } a30 {p57 p0 p46 p40 p114 p115 } )
		( {p7 p56 p2 p35 p46 p38 p119 p128 } a39 {p96 p56 p36 p0 p41 p45 p127 p120 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p107 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p121 p105 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p106 p122 } )
		( {p20 p2 p35 p42 p45 p106 p124 } a30 {p57 p36 p0 p46 p40 p123 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p103 } )
		( {p10 p36 p0 p39 p49 p108 p126 } a6 {p27 p2 p35 p50 p67 p125 p107 } )
		( {p10 p35 p41 p49 p127 p120 } a6 {p27 p35 p50 p38 p119 p128 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p120 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p112 p124 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p104 p113 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p114 p103 } )
		( {p73 p60 p56 p37 p40 p127 p111 } a16 {p24 p55 p58 p42 p65 p112 p128 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p128 } )
		( {p10 p36 p0 p46 p49 p104 p115 } a6 {p27 p2 p35 p50 p45 p116 p103 } )
		( {p10 p36 p0 p66 p49 p117 p120 } a6 {p27 p2 p35 p50 p64 p119 p118 } )
		( {p82 p55 p58 p46 p47 p108 p113 } a0 {p11 p60 p56 p48 p45 p114 p107 } )
		( {p82 p56 p42 p65 p119 p115 } a0 {p11 p56 p37 p40 p116 p120 } )
		( {p7 p56 p0 p46 p38 p106 p122 } a39 {p96 p56 p0 p41 p45 p121 p105 } )
		( {p18 p74 } a5 {p30 p74 } )
		( {p73 p60 p56 p44 p49 p127 p111 } a16 {p24 p55 p58 p50 p43 p112 p128 } )
		( {p73 p60 p56 p68 p40 p116 p111 } a16 {p24 p55 p58 p42 p63 p112 p115 } )
		( {p82 p56 p68 p65 p108 p113 } a0 {p11 p56 p37 p63 p114 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p103 } )
		( {p7 p56 p2 p35 p42 p63 p106 p122 } a39 {p96 p56 p36 p0 p68 p40 p121 p105 } )
		( {p20 p0 p37 p47 p108 p126 } a30 {p57 p0 p48 p65 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p107 } )
		( {p73 p60 p56 p37 p40 p104 p111 } a16 {p24 p55 p58 p42 p65 p112 p103 } )
		( {p85 p23 p29 p56 p0 p42 p43 p108 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p107 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p117 p120 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p119 p118 } )
		( {p73 p58 p37 p40 p119 p111 } a16 {p24 p58 p42 p65 p112 p120 } )
		( {p73 p58 p37 p40 p125 p111 } a16 {p24 p58 p42 p65 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p103 } )
		( {p10 p36 p0 p41 p49 p114 p115 } a6 {p27 p2 p35 p50 p38 p116 p113 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p112 p124 } )
		( {p10 p35 p48 p49 p127 p120 } a6 {p27 p35 p50 p47 p119 p128 } )
		( {p73 p58 p39 p64 p117 p111 } a16 {p24 p58 p66 p67 p112 p118 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p107 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p117 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p118 } )
		( {p81 p71 p100 p12 } a20 {p15 p71 p100 p12 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p127 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p128 } )
		( {p85 p23 p29 p56 p0 p68 p43 p123 p111 } a17 {p76 p22 p14 p56 p0 p44 p63 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p112 p124 } )
		( {p10 p36 p0 p42 p49 p121 p105 } a6 {p27 p2 p35 p50 p40 p106 p122 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p102 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p101 } )
		( {p82 p56 p39 p64 p125 p113 } a0 {p11 p56 p66 p67 p114 p126 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p41 p43 p123 p111 } a17 {p76 p22 p14 p56 p0 p44 p38 p112 p124 } )
		( {p7 p56 p0 p46 p38 p105 p115 p120 } a39 {p96 p56 p0 p41 p45 p105 p115 p120 } )
		( {p10 p36 p0 p46 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p45 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p112 p124 } )
		( {p20 p0 p66 p47 p108 p126 } a30 {p57 p0 p48 p64 p125 p107 } )
		( {p7 p55 p58 p2 p35 p46 p38 p119 p128 } a39 {p96 p60 p56 p36 p0 p41 p45 p127 p120 } )
		( {p85 p23 p29 p56 p0 p39 p43 p127 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p128 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p121 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p122 } )
		( {p20 p2 p35 p42 p45 p116 p113 } a30 {p57 p36 p0 p46 p40 p114 p115 } )
		( {p73 p58 p44 p49 p117 p111 } a16 {p24 p58 p50 p43 p112 p118 } )
		( {p82 p55 p58 p41 p47 p127 p113 } a0 {p11 p60 p56 p48 p38 p114 p128 } )
		( {p10 p35 p37 p49 p123 p105 } a6 {p27 p35 p50 p65 p106 p124 } )
		( {p73 p58 p68 p40 p106 p111 } a16 {p24 p58 p42 p63 p112 p105 } )
		( {p10 p35 p42 p49 p121 p105 } a6 {p27 p35 p50 p40 p106 p122 } )
		( {p15 } a34 {p75 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p128 } )
		( {p73 p60 p56 p41 p45 p114 p111 } a16 {p24 p55 p58 p46 p38 p112 p113 } )
		( {p20 p0 p41 p47 p108 p126 } a30 {p57 p0 p48 p38 p125 p107 } )
		( {p76 p22 p14 p5 p58 p34 p35 p39 p63 p125 p118 } a29 {p94 p79 p78 p60 p8 p36 p33 p68 p67 p117 p126 } )
		( {p10 p35 p44 p49 p114 p115 } a6 {p27 p35 p50 p43 p116 p113 } )
		( {p20 p0 p44 p47 p119 p118 } a30 {p57 p0 p48 p43 p117 p120 } )
		( {p73 p60 p56 p41 p45 p104 p111 } a16 {p24 p55 p58 p46 p38 p112 p103 } )
		( {p97 p40 p63 p64 p67 p65 p125 p107 } a3 {p10 p40 p63 p64 p67 p65 p108 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p112 p118 } )
		( {p10 p36 p0 p66 p49 p121 p105 } a6 {p27 p2 p35 p50 p64 p106 p122 } )
		( {p73 p60 p56 p39 p64 p117 p111 } a16 {p24 p55 p58 p66 p67 p112 p118 } )
		( {p82 p56 p46 p47 p125 p113 } a0 {p11 p56 p48 p45 p114 p126 } )
		( {p20 p0 p44 p47 p108 p126 } a30 {p57 p0 p48 p43 p125 p107 } )
		( {p86 p71 p95 p100 p17 } a9 {p97 p71 p88 p26 p17 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p117 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p118 } )
		( {p96 } a22 {p7 } )
		( {p76 p22 p14 p8 p34 p35 p66 p65 p125 p118 } a29 {p94 p79 p78 p8 p36 p33 p37 p64 p117 p126 } )
		( {p85 p23 p29 p56 p0 p48 p49 p108 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p107 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p120 } )
		( {p20 p2 p35 p68 p47 p108 p126 } a30 {p57 p36 p0 p48 p63 p125 p107 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p107 } )
		( {p85 p23 p29 p56 p0 p39 p43 p125 p111 } a17 {p76 p22 p14 p56 p0 p44 p67 p112 p126 } )
		( {p73 p60 p56 p48 p45 p125 p111 } a16 {p24 p55 p58 p46 p47 p112 p126 } )
		( {p7 p55 p58 p2 p35 p46 p38 p116 p103 } a39 {p96 p60 p56 p36 p0 p41 p45 p104 p115 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p125 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p112 p113 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p107 } )
		( {p10 p36 p0 p42 p49 p114 p115 } a6 {p27 p2 p35 p50 p40 p116 p113 } )
		( {p82 p55 p58 p42 p65 p108 p113 } a0 {p11 p60 p56 p37 p40 p114 p107 } )
		( {p20 p2 p35 p39 p47 p116 p113 } a30 {p57 p36 p0 p48 p67 p114 p115 } )
		( {p20 p0 p42 p45 p106 p124 } a30 {p57 p0 p46 p40 p123 p105 } )
		( {p20 p0 p37 p47 p119 p118 } a30 {p57 p0 p48 p65 p117 p120 } )
		( {p92 p84 p74 } a23 {p90 p31 p87 } )
		( {p73 p58 p48 p45 p121 p111 } a16 {p24 p58 p46 p47 p112 p122 } )
		( {p73 p58 p44 p49 p104 p111 } a16 {p24 p58 p50 p43 p112 p103 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p120 } )
		( {p20 p0 p39 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p67 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p73 p60 p56 p68 p40 p123 p111 } a16 {p24 p55 p58 p42 p63 p112 p124 } )
		( {p73 p58 p41 p45 p121 p111 } a16 {p24 p58 p46 p38 p112 p122 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p120 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p115 } )
		( {p10 p36 p0 p46 p49 p102 p111 } a6 {p27 p2 p35 p50 p45 p112 p101 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p112 p118 } )
		( {p20 p2 p35 p68 p47 p102 p111 } a30 {p57 p36 p0 p48 p63 p112 p101 } )
		( {p20 p2 p35 p66 p47 p127 p118 } a30 {p57 p36 p0 p48 p64 p117 p128 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p108 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p107 } )
		( {p7 p56 p2 p35 p46 p38 p105 p115 p120 } a39 {p96 p56 p36 p0 p41 p45 p105 p115 p120 } )
		( {p85 p23 p29 p56 p0 p66 p49 p125 p111 } a17 {p76 p22 p14 p56 p0 p50 p64 p112 p126 } )
		( {p82 p55 p58 p41 p47 p119 p115 } a0 {p11 p60 p56 p48 p38 p116 p120 } )
		( {p73 p58 p48 p45 p125 p111 } a16 {p24 p58 p46 p47 p112 p126 } )
		( {p85 p23 p29 p56 p0 p46 p43 p117 p111 } a17 {p76 p22 p14 p56 p0 p44 p45 p112 p118 } )
		( {p85 p23 p29 p56 p0 p66 p49 p106 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p105 } )
		( {p85 p23 p29 p56 p0 p48 p49 p106 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p105 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p103 } )
		( {p10 p36 p0 p68 p49 p127 p120 } a6 {p27 p2 p35 p50 p63 p119 p128 } )
		( {p73 p58 p39 p64 p102 p111 } a16 {p24 p58 p66 p67 p112 p101 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p122 } )
		( {p20 p2 p35 p66 p47 p121 p124 } a30 {p57 p36 p0 p48 p64 p123 p122 } )
		( {p85 p23 p29 p56 p0 p39 p43 p119 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p120 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p123 p105 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p106 p124 } )
		( {p10 p35 p48 p49 p102 p111 } a6 {p27 p35 p50 p47 p112 p101 } )
		( {p82 p55 p58 p68 p65 p104 p113 } a0 {p11 p60 p56 p37 p63 p114 p103 } )
		( {p20 p0 p42 p45 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p46 p40 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p105 } )
		( {p20 p2 p35 p41 p47 p106 p124 } a30 {p57 p36 p0 p48 p38 p123 p105 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p105 } )
		( {p27 p0 p104 p122 } a40 {p21 p0 p121 p103 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p122 } )
		( {p10 p35 p66 p49 p123 p105 } a6 {p27 p35 p50 p64 p106 p124 } )
		( {p76 p22 p14 p5 p58 p34 p35 p64 p67 p126 p107 } a29 {p94 p79 p78 p60 p8 p36 p33 p64 p67 p126 p107 } )
		( {p20 p2 p35 p66 p47 p102 p111 } a30 {p57 p36 p0 p48 p64 p112 p101 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p102 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p101 } )
		( {p73 p58 p37 p40 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p42 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p122 } )
		( {p7 p56 p2 p35 p40 p45 p106 p122 } a39 {p96 p56 p36 p0 p40 p45 p121 p105 } )
		( {p10 p36 p0 p44 p49 p123 p105 } a6 {p27 p2 p35 p50 p43 p106 p124 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p106 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p105 } )
		( {p85 p23 p29 p56 p0 p37 p49 p106 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p105 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p105 } )
		( {p20 p0 p42 p45 p127 p118 } a30 {p57 p0 p46 p40 p117 p128 } )
		( {p7 p55 p58 p0 p40 p45 p106 p122 } a39 {p96 p60 p56 p0 p40 p45 p121 p105 } )
		( {p85 p23 p29 p56 p0 p37 p49 p125 p111 } a17 {p76 p22 p14 p56 p0 p50 p65 p112 p126 } )
		( {p98 p71 p95 p100 p17 } a10 {p80 p71 p88 p26 p17 } )
		( {p10 p36 p0 p41 p49 p102 p111 } a6 {p27 p2 p35 p50 p38 p112 p101 } )
		( {p82 p56 p41 p47 p108 p113 } a0 {p11 p56 p48 p38 p114 p107 } )
		( {p20 p2 p35 p44 p47 p121 p124 } a30 {p57 p36 p0 p48 p43 p123 p122 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p112 p118 } )
		( {p73 p58 p68 p40 p116 p111 } a16 {p24 p58 p42 p63 p112 p115 } )
		( {p10 p36 p0 p46 p49 p127 p120 } a6 {p27 p2 p35 p50 p45 p119 p128 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p114 p115 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p116 p113 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p107 } )
		( {p73 p60 p56 p37 p40 p119 p111 } a16 {p24 p55 p58 p42 p65 p112 p120 } )
		( {p20 p0 p41 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p38 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p56 p0 p46 p43 p121 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p122 } )
		( {p21 p71 p95 p100 p17 } a28 {p80 p71 p88 p26 p17 } )
		( {p20 p2 p35 p39 p47 p102 p111 } a30 {p57 p36 p0 p48 p67 p112 p101 } )
		( {p10 p35 p42 p49 p102 p111 } a6 {p27 p35 p50 p40 p112 p101 } )
		( {p82 p55 p58 p46 p47 p123 p113 } a0 {p11 p60 p56 p48 p45 p114 p124 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p112 p124 } )
		( {p10 p35 p48 p49 p104 p115 } a6 {p27 p35 p50 p47 p116 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p128 } )
		( {p85 p23 p29 p56 p0 p42 p43 p123 p111 } a17 {p76 p22 p14 p56 p0 p44 p40 p112 p124 } )
		( {p76 p22 p14 p5 p58 p33 p39 p63 p125 p118 } a29 {p94 p79 p78 p60 p8 p33 p68 p67 p117 p126 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p106 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p105 } )
		( {p62 p4 p88 p26 p6 p12 } a26 {p93 p4 p95 p100 p13 p17 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p119 p118 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p117 p120 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p112 p124 } )
		( {p20 p2 p35 p50 p47 p127 p118 } a30 {p57 p36 p0 p48 p49 p117 p128 } )
		( {p20 p2 p35 p42 p45 p121 p124 } a30 {p57 p36 p0 p46 p40 p123 p122 } )
		( {p82 p56 p42 p65 p121 p113 } a0 {p11 p56 p37 p40 p114 p122 } )
		( {p20 p0 p50 p47 p104 p113 } a30 {p57 p0 p48 p49 p114 p103 } )
		( {p90 p71 p100 p13 p17 } a31 {p53 p71 p100 p6 p12 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p82 p55 p58 p39 p64 p127 p113 } a0 {p11 p60 p56 p66 p67 p114 p128 } )
		( {p7 p55 p58 p2 p35 p42 p63 p116 p103 } a39 {p96 p60 p56 p36 p0 p68 p40 p104 p115 } )
		( {p82 p55 p58 p46 p47 p104 p113 } a0 {p11 p60 p56 p48 p45 p114 p103 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p107 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p123 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p124 } )
		( {p82 p55 p58 p42 p65 p106 p115 } a0 {p11 p60 p56 p37 p40 p116 p105 } )
		( {p82 p56 p39 p64 p121 p113 } a0 {p11 p56 p66 p67 p114 p122 } )
		( {p27 p0 p103 p115 p101 } a40 {p21 p0 p103 p115 p101 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p112 p118 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p112 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p111 } )
		( {p20 p2 p35 p50 p47 p116 p113 } a30 {p57 p36 p0 p48 p49 p114 p115 } )
		( {p7 p55 p58 p2 p35 p42 p63 p106 p122 } a39 {p96 p60 p56 p36 p0 p68 p40 p121 p105 } )
		( {p73 p60 p56 p39 p64 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p66 p67 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p55 p58 p44 p49 p125 p113 } a0 {p11 p60 p56 p50 p43 p114 p126 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p112 p124 } )
		( {p20 p0 p42 p45 p104 p113 } a30 {p57 p0 p46 p40 p114 p103 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p107 } )
		( {p82 p56 p68 p65 p125 p113 } a0 {p11 p56 p37 p63 p114 p126 } )
		( {p61 p74 } a41 {p19 p74 } )
		( {p73 p60 p56 p68 p40 p106 p111 } a16 {p24 p55 p58 p42 p63 p112 p105 } )
		( {p85 p23 p29 p56 p0 p68 p43 p108 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p107 } )
		( {p20 p2 p35 p39 p47 p106 p124 } a30 {p57 p36 p0 p48 p67 p123 p105 } )
		( {p10 p35 p39 p49 p114 p115 } a6 {p27 p35 p50 p67 p116 p113 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p107 } )
		( {p73 p58 p37 p40 p121 p111 } a16 {p24 p58 p42 p65 p112 p122 } )
		( {p82 p56 p68 p65 p117 p113 } a0 {p11 p56 p37 p63 p114 p118 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p120 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p108 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p107 } )
		( {p20 p2 p35 p68 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p63 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p73 p60 p56 p48 p45 p104 p111 } a16 {p24 p55 p58 p46 p47 p112 p103 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p122 } )
		( {p73 p60 p56 p41 p45 p108 p111 } a16 {p24 p55 p58 p46 p38 p112 p107 } )
		( {p73 p58 p39 p64 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p66 p67 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p55 p58 p46 p47 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p48 p45 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p56 p46 p47 p121 p113 } a0 {p11 p56 p48 p45 p114 p122 } )
		( {p85 p23 p29 p56 p0 p41 p43 p104 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p103 } )
		( {p82 p55 p58 p42 p65 p125 p113 } a0 {p11 p60 p56 p37 p40 p114 p126 } )
		( {p73 p58 p48 p45 p116 p111 } a16 {p24 p58 p46 p47 p112 p115 } )
		( {p73 p58 p44 p49 p125 p111 } a16 {p24 p58 p50 p43 p112 p126 } )
		( {p82 p55 p58 p42 p65 p102 p113 } a0 {p11 p60 p56 p37 p40 p114 p101 } )
		( {p92 p87 } a23 {p90 p87 } )
		( {p73 p60 p56 p41 p45 p119 p111 } a16 {p24 p55 p58 p46 p38 p112 p120 } )
		( {p85 p23 p29 p56 p0 p39 p43 p106 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p105 } )
		( {p10 p35 p46 p49 p117 p120 } a6 {p27 p35 p50 p45 p119 p118 } )
		( {p10 p35 p46 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p45 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p73 p58 p44 p49 p108 p111 } a16 {p24 p58 p50 p43 p112 p107 } )
		( {p10 p36 p0 p44 p49 p102 p111 } a6 {p27 p2 p35 p50 p43 p112 p101 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p104 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p103 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p119 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p120 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p105 } )
		( {p10 p36 p0 p48 p49 p104 p115 } a6 {p27 p2 p35 p50 p47 p116 p103 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p120 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p106 p115 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p116 p105 } )
		( {p73 p58 p68 p40 p127 p111 } a16 {p24 p58 p42 p63 p112 p128 } )
		( {p7 p55 p58 p2 p35 p42 p63 p119 p128 } a39 {p96 p60 p56 p36 p0 p68 p40 p127 p120 } )
		( {p10 p36 p0 p44 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p43 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p10 p36 p0 p41 p49 p123 p105 } a6 {p27 p2 p35 p50 p38 p106 p124 } )
		( {p76 p22 p14 p5 p58 p33 p64 p67 p108 p128 } a29 {p94 p79 p78 p60 p8 p33 p64 p67 p127 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p112 p124 } )
		( {p73 p60 p56 p39 p64 p108 p111 } a16 {p24 p55 p58 p66 p67 p112 p107 } )
		( {p80 p84 p74 } a36 {p91 p31 p87 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p112 p124 } )
		( {p94 p79 p78 p52 p49 p109 } a1 {p69 p28 p77 p50 p51 p109 } )
		( {p20 p0 p37 p47 p127 p118 } a30 {p57 p0 p48 p65 p117 p128 } )
		( {p73 p58 p39 p64 p123 p111 } a16 {p24 p58 p66 p67 p112 p124 } )
		( {p76 p22 p14 p5 p58 p33 p66 p65 p108 p128 } a29 {p94 p79 p78 p60 p8 p33 p37 p64 p127 p107 } )
		( {p10 p35 p39 p49 p121 p105 } a6 {p27 p35 p50 p67 p106 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p128 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p108 p126 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p112 p113 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p115 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p103 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p107 } )
		( {p10 p35 p44 p49 p123 p105 } a6 {p27 p35 p50 p43 p106 p124 } )
		( {p82 p55 p58 p68 p65 p125 p113 } a0 {p11 p60 p56 p37 p63 p114 p126 } )
		( {p10 p36 p0 p37 p49 p127 p120 } a6 {p27 p2 p35 p50 p65 p119 p128 } )
		( {p10 p35 p37 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p65 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p10 p36 p0 p37 p49 p114 p115 } a6 {p27 p2 p35 p50 p65 p116 p113 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p112 p126 } )
		( {p20 p0 p41 p47 p102 p111 } a30 {p57 p0 p48 p38 p112 p101 } )
		( {p73 p58 p37 p40 p114 p111 } a16 {p24 p58 p42 p65 p112 p113 } )
		( {p10 p36 p0 p37 p49 p104 p115 } a6 {p27 p2 p35 p50 p65 p116 p103 } )
		( {p20 p0 p68 p47 p104 p113 } a30 {p57 p0 p48 p63 p114 p103 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p122 } )
		( {p73 p58 p41 p45 p119 p111 } a16 {p24 p58 p46 p38 p112 p120 } )
		( {p73 p60 p56 p48 p45 p117 p111 } a16 {p24 p55 p58 p46 p47 p112 p118 } )
		( {p82 p56 p46 p47 p119 p115 } a0 {p11 p56 p48 p45 p116 p120 } )
		( {p10 p35 p44 p49 p117 p120 } a6 {p27 p35 p50 p43 p119 p118 } )
		( {p76 p22 p14 p5 p58 p33 p66 p65 p125 p118 } a29 {p94 p79 p78 p60 p8 p33 p37 p64 p117 p126 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p118 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p127 p120 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p119 p128 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p112 p118 } )
		( {p73 p60 p56 p44 p49 p102 p111 } a16 {p24 p55 p58 p50 p43 p112 p101 } )
		( {p85 p23 p29 p56 p0 p66 p49 p127 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p128 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p102 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p101 } )
		( {p7 p55 p58 p0 p46 p38 p119 p128 } a39 {p96 p60 p56 p0 p41 p45 p127 p120 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p128 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p114 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p113 } )
		( {p7 p56 p2 p35 p40 p45 p119 p128 } a39 {p96 p56 p36 p0 p40 p45 p127 p120 } )
		( {p75 p71 } a21 {p82 p71 } )
		( {p10 p35 p66 p49 p121 p105 } a6 {p27 p35 p50 p64 p106 p122 } )
		( {p82 p56 p39 p64 p102 p113 } a0 {p11 p56 p66 p67 p114 p101 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p112 p124 } )
		( {p7 p56 p2 p35 p40 p45 p105 p115 p120 } a39 {p96 p56 p36 p0 p40 p45 p105 p115 p120 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p106 p124 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p123 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p115 } )
		( {p73 p60 p56 p68 p40 p127 p111 } a16 {p24 p55 p58 p42 p63 p112 p128 } )
		( {p73 p60 p56 p68 p40 p119 p111 } a16 {p24 p55 p58 p42 p63 p112 p120 } )
		( {p73 p58 p41 p45 p106 p111 } a16 {p24 p58 p46 p38 p112 p105 } )
		( {p10 p36 p0 p44 p49 p117 p120 } a6 {p27 p2 p35 p50 p43 p119 p118 } )
		( {p86 p71 p26 p6 p12 } a9 {p97 p71 p26 p13 p17 } )
		( {p82 p55 p58 p42 p65 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p37 p40 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p68 p47 p116 p113 } a30 {p57 p36 p0 p48 p63 p114 p115 } )
		( {p94 p79 p78 p51 p109 } a1 {p69 p28 p77 p51 p109 } )
		( {p76 p22 p14 p8 p33 p64 p67 p126 p107 } a29 {p94 p79 p78 p8 p33 p64 p67 p126 p107 } )
		( {p73 p58 p37 p40 p116 p111 } a16 {p24 p58 p42 p65 p112 p115 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p112 p126 } )
		( {p82 p56 p44 p49 p102 p113 } a0 {p11 p56 p50 p43 p114 p101 } )
		( {p20 p0 p41 p47 p121 p124 } a30 {p57 p0 p48 p38 p123 p122 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p112 p124 } )
		( {p10 p35 p66 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p64 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p10 p35 p41 p49 p102 p111 } a6 {p27 p35 p50 p38 p112 p101 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p114 p115 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p116 p113 } )
		( {p86 p1 p4 p95 p100 p17 } a9 {p97 p70 p71 p88 p26 p17 } )
		( {p85 p23 p29 p56 p0 p48 p49 p116 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p115 } )
		( {p7 p56 p0 p46 p38 p116 p103 } a39 {p96 p56 p0 p41 p45 p104 p115 } )
		( {p20 p0 p66 p47 p119 p118 } a30 {p57 p0 p48 p64 p117 p120 } )
		( {p10 p36 p0 p46 p49 p117 p120 } a6 {p27 p2 p35 p50 p45 p119 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p107 } )
		( {p62 p70 p71 p88 p26 p17 } a26 {p93 p1 p4 p95 p100 p17 } )
		( {p69 p28 p77 } a27 {p53 p96 p15 } )
		( {p10 p36 p0 p44 p49 p104 p115 } a6 {p27 p2 p35 p50 p43 p116 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p120 } )
		( {p27 p0 p116 p105 } a40 {p21 p0 p106 p115 } )
		( {p73 p58 p68 p40 p121 p111 } a16 {p24 p58 p42 p63 p112 p122 } )
		( {p82 p56 p46 p47 p108 p113 } a0 {p11 p56 p48 p45 p114 p107 } )
		( {p73 p60 p56 p37 p40 p121 p111 } a16 {p24 p55 p58 p42 p65 p112 p122 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p112 p113 } )
		( {p82 p56 p44 p49 p108 p113 } a0 {p11 p56 p50 p43 p114 p107 } )
		( {p10 p36 p0 p48 p49 p102 p111 } a6 {p27 p2 p35 p50 p47 p112 p101 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p119 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p120 } )
		( {p20 p0 p39 p47 p104 p113 } a30 {p57 p0 p48 p67 p114 p103 } )
		( {p20 p2 p35 p44 p47 p102 p111 } a30 {p57 p36 p0 p48 p43 p112 p101 } )
		( {p10 p35 p46 p49 p102 p111 } a6 {p27 p35 p50 p45 p112 p101 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p127 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p128 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p0 p39 p47 p121 p124 } a30 {p57 p0 p48 p67 p123 p122 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p112 p124 } )
		( {p73 p58 p68 p40 p125 p111 } a16 {p24 p58 p42 p63 p112 p126 } )
		( {p82 p55 p58 p39 p64 p121 p113 } a0 {p11 p60 p56 p66 p67 p114 p122 } )
		( {p10 p36 p0 p41 p49 p108 p126 } a6 {p27 p2 p35 p50 p38 p125 p107 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p116 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p115 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p114 p111 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p113 } )
		( {p82 p56 p42 p65 p127 p113 } a0 {p11 p56 p37 p40 p114 p128 } )
		( {p10 p36 p0 p39 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p67 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p112 p113 } )
		( {p82 p55 p58 p44 p49 p121 p113 } a0 {p11 p60 p56 p50 p43 p114 p122 } )
		( {p20 p2 p35 p37 p47 p106 p124 } a30 {p57 p36 p0 p48 p65 p123 p105 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p102 p111 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p112 p101 } )
		( {p10 p36 p0 p42 p49 p104 p115 } a6 {p27 p2 p35 p50 p40 p116 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p112 p113 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p103 } )
		( {p73 p58 p44 p49 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p50 p43 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p44 p49 p121 p105 } a6 {p27 p2 p35 p50 p43 p106 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p112 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p128 } )
		( {p85 p23 p29 p56 p0 p37 p49 p127 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p128 } )
		( {p85 p23 p29 p56 p0 p37 p49 p108 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p107 } )
		( {p20 p0 p41 p47 p127 p118 } a30 {p57 p0 p48 p38 p117 p128 } )
		( {p10 p35 p48 p49 p123 p105 } a6 {p27 p35 p50 p47 p106 p124 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p102 p111 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p112 p101 } )
		( {p73 p58 p37 p40 p108 p111 } a16 {p24 p58 p42 p65 p112 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p107 } )
		( {p82 p56 p46 p47 p104 p113 } a0 {p11 p56 p48 p45 p114 p103 } )
		( {p82 p55 p58 p44 p49 p112 p113 } a0 {p11 p60 p56 p50 p43 p114 p111 } )
		( {p85 p23 p29 p56 p0 p66 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p50 p64 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p107 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p115 } )
		( {p62 p70 p71 p88 p26 p6 p12 } a26 {p93 p1 p4 p95 p100 p13 p17 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p104 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p103 } )
		( {p73 p60 p56 p48 p45 p102 p111 } a16 {p24 p55 p58 p46 p47 p112 p101 } )
		( {p82 p56 p68 p65 p123 p113 } a0 {p11 p56 p37 p63 p114 p124 } )
		( {p82 p56 p68 p65 p112 p113 } a0 {p11 p56 p37 p63 p114 p111 } )
		( {p18 p87 } a15 {p61 p87 } )
		( {p82 p56 p39 p64 p119 p115 } a0 {p11 p56 p66 p67 p116 p120 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p105 } )
		( {p54 p70 p71 p100 p17 } a42 {p18 p1 p4 p100 p17 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p120 } )
		( {p10 p36 p0 p66 p49 p104 p115 } a6 {p27 p2 p35 p50 p64 p116 p103 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p120 } )
		( {p10 p35 p44 p49 p121 p105 } a6 {p27 p35 p50 p43 p106 p122 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p41 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p44 p38 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p44 p49 p123 p111 } a16 {p24 p55 p58 p50 p43 p112 p124 } )
		( {p10 p35 p46 p49 p121 p105 } a6 {p27 p35 p50 p45 p106 p122 } )
		( {p20 p2 p35 p39 p47 p121 p124 } a30 {p57 p36 p0 p48 p67 p123 p122 } )
		( {p76 p22 p14 p8 p33 p66 p65 p125 p118 } a29 {p94 p79 p78 p8 p33 p37 p64 p117 p126 } )
		( {p82 p55 p58 p68 p65 p108 p113 } a0 {p11 p60 p56 p37 p63 p114 p107 } )
		( {p20 p0 p50 p47 p119 p118 } a30 {p57 p0 p48 p49 p117 p120 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p105 } )
		( {p82 p55 p58 p41 p47 p123 p113 } a0 {p11 p60 p56 p48 p38 p114 p124 } )
		( {p73 p58 p39 p64 p121 p111 } a16 {p24 p58 p66 p67 p112 p122 } )
		( {p7 p55 p58 p2 p35 p46 p38 p105 p115 p120 } a39 {p96 p60 p56 p36 p0 p41 p45 p105 p115 p120 } )
		( {p85 p23 p29 p56 p0 p39 p43 p116 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p115 } )
		( {p85 p23 p29 p56 p0 p41 p43 p119 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p120 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p112 p126 } )
		( {p82 p55 p58 p68 p65 p123 p113 } a0 {p11 p60 p56 p37 p63 p114 p124 } )
		( {p73 p58 p44 p49 p114 p111 } a16 {p24 p58 p50 p43 p112 p113 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p112 p113 } )
		( {p73 p60 p56 p48 p45 p108 p111 } a16 {p24 p55 p58 p46 p47 p112 p107 } )
		( {p10 p35 p39 p49 p123 p105 } a6 {p27 p35 p50 p67 p106 p124 } )
		( {p10 p36 p0 p42 p49 p127 p120 } a6 {p27 p2 p35 p50 p40 p119 p128 } )
		( {p7 p55 p58 p0 p40 p45 p105 p115 p120 } a39 {p96 p60 p56 p0 p40 p45 p105 p115 p120 } )
		( {p10 p36 p0 p48 p49 p108 p126 } a6 {p27 p2 p35 p50 p47 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p112 p126 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p102 p111 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p112 p101 } )
		( {p85 p23 p29 p56 p0 p48 p49 p117 p111 } a17 {p76 p22 p14 p56 p0 p50 p47 p112 p118 } )
		( {p10 p35 p39 p49 p117 p120 } a6 {p27 p35 p50 p67 p119 p118 } )
		( {p82 p56 p68 p65 p106 p115 } a0 {p11 p56 p37 p63 p116 p105 } )
		( {p73 p60 p56 p39 p64 p114 p111 } a16 {p24 p55 p58 p66 p67 p112 p113 } )
		( {p73 p60 p56 p39 p64 p106 p111 } a16 {p24 p55 p58 p66 p67 p112 p105 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p120 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p118 } )
		( {p94 p79 p78 p51 p110 p111 } a1 {p69 p28 p77 p51 p112 p109 } )
		( {p10 p35 p37 p49 p114 p115 } a6 {p27 p35 p50 p65 p116 p113 } )
		( {p10 p35 p66 p49 p117 p120 } a6 {p27 p35 p50 p64 p119 p118 } )
		( {p85 p23 p29 p56 p0 p46 p43 p123 p111 } a17 {p76 p22 p14 p56 p0 p44 p45 p112 p124 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p102 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p101 } )
		( {p90 p1 p4 p88 p26 p13 p17 } a31 {p53 p70 p71 p95 p100 p6 p12 } )
		( {p85 p23 p29 p56 p0 p66 p49 p119 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p120 } )
		( {p73 p60 p56 p39 p64 p123 p111 } a16 {p24 p55 p58 p66 p67 p112 p124 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p41 p45 p121 p111 } a16 {p24 p55 p58 p46 p38 p112 p122 } )
		( {p7 p55 p58 p2 p35 p40 p45 p116 p103 } a39 {p96 p60 p56 p36 p0 p40 p45 p104 p115 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p128 } )
		( {p76 p22 p14 p5 p58 p34 p35 p39 p63 p126 p107 } a29 {p94 p79 p78 p60 p8 p36 p33 p68 p67 p126 p107 } )
		( {p20 p0 p68 p47 p106 p124 } a30 {p57 p0 p48 p63 p123 p105 } )
		( {p73 p58 p44 p49 p123 p111 } a16 {p24 p58 p50 p43 p112 p124 } )
		( {p10 p35 p42 p49 p104 p115 } a6 {p27 p35 p50 p40 p116 p103 } )
		( {p10 p35 p46 p49 p127 p120 } a6 {p27 p35 p50 p45 p119 p128 } )
		( {p7 p55 p58 p2 p35 p40 p45 p106 p122 } a39 {p96 p60 p56 p36 p0 p40 p45 p121 p105 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p120 } )
		( {p73 p60 p56 p41 p45 p117 p111 } a16 {p24 p55 p58 p46 p38 p112 p118 } )
		( {p10 p36 p0 p68 p49 p117 p120 } a6 {p27 p2 p35 p50 p63 p119 p118 } )
		( {p82 p55 p58 p42 p65 p104 p113 } a0 {p11 p60 p56 p37 p40 p114 p103 } )
		( {p82 p55 p58 p42 p65 p123 p113 } a0 {p11 p60 p56 p37 p40 p114 p124 } )
		( {p82 p56 p41 p47 p104 p113 } a0 {p11 p56 p48 p38 p114 p103 } )
		( {p10 p35 p68 p49 p108 p126 } a6 {p27 p35 p50 p63 p125 p107 } )
		( {p90 p71 p88 p26 p12 } a31 {p53 p71 p95 p100 p12 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p39 p43 p117 p111 } a17 {p76 p22 p14 p56 p0 p44 p67 p112 p118 } )
		( {p91 p31 p87 } a11 {p92 p84 p74 } )
		( {p10 p36 p0 p68 p49 p123 p105 } a6 {p27 p2 p35 p50 p63 p106 p124 } )
		( {p10 p35 p48 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p47 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p82 p56 p41 p47 p121 p113 } a0 {p11 p56 p48 p38 p114 p122 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p112 p118 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p121 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p122 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p7 p55 p58 p0 p42 p63 p119 p128 } a39 {p96 p60 p56 p0 p68 p40 p127 p120 } )
		( {p81 p1 p4 p88 p26 p13 p17 } a20 {p15 p70 p71 p95 p100 p6 p12 } )
		( {p73 p58 p68 p40 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p42 p63 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p44 p47 p106 p124 } a30 {p57 p36 p0 p48 p43 p123 p105 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p103 } )
		( {p20 p0 p44 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p43 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p7 p55 p58 p0 p46 p38 p116 p103 } a39 {p96 p60 p56 p0 p41 p45 p104 p115 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p112 p113 } )
		( {p7 p56 p0 p42 p63 p106 p122 } a39 {p96 p56 p0 p68 p40 p121 p105 } )
		( {p82 p55 p58 p44 p49 p102 p113 } a0 {p11 p60 p56 p50 p43 p114 p101 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p127 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p128 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p108 p126 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p125 p107 } )
		( {p20 p2 p35 p50 p47 p104 p113 } a30 {p57 p36 p0 p48 p49 p114 p103 } )
		( {p73 p60 p56 p68 p40 p121 p111 } a16 {p24 p55 p58 p42 p63 p112 p122 } )
		( {p7 p56 p0 p42 p63 p116 p103 } a39 {p96 p56 p0 p68 p40 p104 p115 } )
		( {p73 p60 p56 p44 p49 p106 p111 } a16 {p24 p55 p58 p50 p43 p112 p105 } )
		( {p10 p35 p48 p49 p108 p126 } a6 {p27 p35 p50 p47 p125 p107 } )
		( {p76 p22 p14 p8 p34 p35 p64 p67 p125 p118 } a29 {p94 p79 p78 p8 p36 p33 p64 p67 p117 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p122 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p112 p118 } )
		( {p10 p35 p44 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p43 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p20 p0 p41 p47 p106 p124 } a30 {p57 p0 p48 p38 p123 p105 } )
		( {p82 p55 p58 p46 p47 p127 p113 } a0 {p11 p60 p56 p48 p45 p114 p128 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p112 p118 } )
		( {p73 p58 p41 p45 p127 p111 } a16 {p24 p58 p46 p38 p112 p128 } )
		( {p20 p2 p35 p50 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p49 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p82 p56 p39 p64 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p66 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p56 p44 p49 p123 p113 } a0 {p11 p56 p50 p43 p114 p124 } )
		( {p20 p0 p41 p47 p116 p113 } a30 {p57 p0 p48 p38 p114 p115 } )
		( {p7 p55 p58 p0 p42 p63 p116 p103 } a39 {p96 p60 p56 p0 p68 p40 p104 p115 } )
		( {p82 p56 p41 p47 p119 p115 } a0 {p11 p56 p48 p38 p116 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p103 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p119 p118 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p117 p120 } )
		( {p20 p0 p39 p47 p106 p124 } a30 {p57 p0 p48 p67 p123 p105 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p116 p113 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p114 p115 } )
		( {p7 p55 p58 p0 p46 p38 p106 p122 } a39 {p96 p60 p56 p0 p41 p45 p121 p105 } )
		( {p73 p60 p56 p37 p40 p125 p111 } a16 {p24 p55 p58 p42 p65 p112 p126 } )
		( {p73 p58 p37 p40 p104 p111 } a16 {p24 p58 p42 p65 p112 p103 } )
		( {p20 p0 p39 p47 p116 p113 } a30 {p57 p0 p48 p67 p114 p115 } )
		( {p82 p55 p58 p46 p47 p119 p115 } a0 {p11 p60 p56 p48 p45 p116 p120 } )
		( {p20 p0 p44 p47 p102 p111 } a30 {p57 p0 p48 p43 p112 p101 } )
		( {p82 p55 p58 p46 p47 p121 p113 } a0 {p11 p60 p56 p48 p45 p114 p122 } )
		( {p82 p55 p58 p39 p64 p119 p115 } a0 {p11 p60 p56 p66 p67 p116 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p107 } )
		( {p10 p35 p37 p49 p108 p126 } a6 {p27 p35 p50 p65 p125 p107 } )
		( {p10 p35 p66 p49 p114 p115 } a6 {p27 p35 p50 p64 p116 p113 } )
		( {p20 p2 p35 p68 p47 p119 p118 } a30 {p57 p36 p0 p48 p63 p117 p120 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p112 p124 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p112 p118 } )
		( {p82 p55 p58 p68 p65 p106 p115 } a0 {p11 p60 p56 p37 p63 p116 p105 } )
		( {p73 p60 p56 p37 p40 p116 p111 } a16 {p24 p55 p58 p42 p65 p112 p115 } )
		( {p10 p36 p0 p44 p49 p114 p115 } a6 {p27 p2 p35 p50 p43 p116 p113 } )
		( {p10 p35 p41 p49 p117 p120 } a6 {p27 p35 p50 p38 p119 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p105 } )
		( {p76 p22 p14 p8 p33 p64 p67 p108 p128 } a29 {p94 p79 p78 p8 p33 p64 p67 p127 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p128 } )
		( {p73 p60 p56 p37 p40 p106 p111 } a16 {p24 p55 p58 p42 p65 p112 p105 } )
		( {p10 p36 p0 p39 p49 p127 p120 } a6 {p27 p2 p35 p50 p67 p119 p128 } )
		( {p73 p58 p37 p40 p117 p111 } a16 {p24 p58 p42 p65 p112 p118 } )
		( {p20 p0 p42 p45 p119 p118 } a30 {p57 p0 p46 p40 p117 p120 } )
		( {p73 p58 p68 p40 p104 p111 } a16 {p24 p58 p42 p63 p112 p103 } )
		( {p82 p56 p44 p49 p125 p113 } a0 {p11 p56 p50 p43 p114 p126 } )
		( {p20 p0 p44 p47 p127 p118 } a30 {p57 p0 p48 p43 p117 p128 } )
		( {p73 p58 p68 p40 p119 p111 } a16 {p24 p58 p42 p63 p112 p120 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p128 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p112 p126 } )
		( {p20 p2 p35 p42 p45 p104 p113 } a30 {p57 p36 p0 p46 p40 p114 p103 } )
		( {p20 p0 p66 p47 p127 p118 } a30 {p57 p0 p48 p64 p117 p128 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p108 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p107 } )
		( {p82 p55 p58 p41 p47 p104 p113 } a0 {p11 p60 p56 p48 p38 p114 p103 } )
		( {p82 p56 p39 p64 p127 p113 } a0 {p11 p56 p66 p67 p114 p128 } )
		( {p93 p37 p63 p105 p124 p126 p107 p122 p120 p128 p118 } a37 {p73 p68 p65 p105 p124 p126 p107 p122 p120 p128 p118 } )
		( {p86 p1 p4 p95 p100 p6 p12 } a9 {p97 p70 p71 p88 p26 p13 p17 } )
		( {p20 p2 p35 p37 p47 p104 p113 } a30 {p57 p36 p0 p48 p65 p114 p103 } )
		( {p7 p55 p58 p2 p35 p40 p45 p105 p115 p120 } a39 {p96 p60 p56 p36 p0 p40 p45 p105 p115 p120 } )
		( {p62 p4 p88 p26 p17 } a26 {p93 p4 p95 p100 p17 } )
		( {p20 p2 p35 p66 p47 p116 p113 } a30 {p57 p36 p0 p48 p64 p114 p115 } )
		( {p20 p0 p66 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p64 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p73 p58 p39 p64 p116 p111 } a16 {p24 p58 p66 p67 p112 p115 } )
		( {p73 p58 p39 p64 p106 p111 } a16 {p24 p58 p66 p67 p112 p105 } )
		( {p85 p23 p29 p56 p0 p41 p43 p117 p111 } a17 {p76 p22 p14 p56 p0 p44 p38 p112 p118 } )
		( {p54 p4 p100 p17 } a42 {p18 p4 p100 p17 } )
		( {p85 p23 p29 p56 p0 p48 p49 p123 p111 } a17 {p76 p22 p14 p56 p0 p50 p47 p112 p124 } )
		( {p82 p55 p58 p68 p65 p102 p113 } a0 {p11 p60 p56 p37 p63 p114 p101 } )
		( {p82 p56 p41 p47 p127 p113 } a0 {p11 p56 p48 p38 p114 p128 } )
		( {p82 p56 p42 p65 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p37 p40 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p48 p45 p114 p111 } a16 {p24 p55 p58 p46 p47 p112 p113 } )
		( {p10 p35 p41 p49 p121 p105 } a6 {p27 p35 p50 p38 p106 p122 } )
		( {p82 p56 p42 p65 p112 p113 } a0 {p11 p56 p37 p40 p114 p111 } )
		( {p85 p23 p29 p56 p0 p39 p43 p121 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p107 } )
		( {p10 p36 p0 p37 p49 p121 p105 } a6 {p27 p2 p35 p50 p65 p106 p122 } )
		( {p82 p55 p58 p68 p65 p117 p113 } a0 {p11 p60 p56 p37 p63 p114 p118 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p121 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p122 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p106 p124 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p123 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p112 p118 } )
		( {p73 p60 p56 p48 p45 p123 p111 } a16 {p24 p55 p58 p46 p47 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p128 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p128 } )
		( {p73 p58 p41 p45 p116 p111 } a16 {p24 p58 p46 p38 p112 p115 } )
		( {p80 p74 } a19 {p83 p74 } )
		( {p85 p23 p29 p56 p0 p66 p49 p117 p111 } a17 {p76 p22 p14 p56 p0 p50 p64 p112 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p122 } )
		( {p73 p60 p56 p68 p40 p102 p111 } a16 {p24 p55 p58 p42 p63 p112 p101 } )
		( {p91 p74 } a11 {p92 p74 } )
		( {p10 p36 p0 p48 p49 p127 p120 } a6 {p27 p2 p35 p50 p47 p119 p128 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p114 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p113 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p122 } )
		( {p10 p35 p39 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p67 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p7 p56 p0 p40 p45 p105 p115 p120 } a39 {p96 p56 p0 p40 p45 p105 p115 p120 } )
		( {p85 p23 p29 p56 p0 p41 p43 p121 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p122 } )
		( {p10 p36 p0 p42 p49 p102 p111 } a6 {p27 p2 p35 p50 p40 p112 p101 } )
		( {p10 p36 p0 p68 p49 p108 p126 } a6 {p27 p2 p35 p50 p63 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p112 p118 } )
		( {p20 p2 p35 p44 p47 p116 p113 } a30 {p57 p36 p0 p48 p43 p114 p115 } )
		( {p73 p58 p48 p45 p104 p111 } a16 {p24 p58 p46 p47 p112 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p103 } )
		( {p24 p56 p44 p67 } a32 {p54 p56 p39 p43 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p104 p115 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p116 p103 } )
		( {p10 p35 p42 p49 p114 p115 } a6 {p27 p35 p50 p40 p116 p113 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p119 p115 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p116 p120 } )
		( {p82 p56 p41 p47 p125 p113 } a0 {p11 p56 p48 p38 p114 p126 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p112 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p111 } )
		( {p73 p58 p48 p45 p119 p111 } a16 {p24 p58 p46 p47 p112 p120 } )
		( {p10 p35 p42 p49 p123 p105 } a6 {p27 p35 p50 p40 p106 p124 } )
		( {p82 p55 p58 p42 p65 p117 p113 } a0 {p11 p60 p56 p37 p40 p114 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p105 } )
		( {p75 p4 p100 p17 } a8 {p18 p4 p100 p17 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p50 p47 p102 p111 } a30 {p57 p36 p0 p48 p49 p112 p101 } )
		( {p24 p56 p38 p45 p43 } a32 {p54 p56 p38 p45 p43 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p107 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p122 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p128 } )
		( {p20 p0 p37 p47 p121 p124 } a30 {p57 p0 p48 p65 p123 p122 } )
		( {p62 p70 p71 p100 p6 p12 } a26 {p93 p1 p4 p100 p13 p17 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p123 p105 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p106 p124 } )
		( {p73 p60 p56 p39 p64 p127 p111 } a16 {p24 p55 p58 p66 p67 p112 p128 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p112 p113 } )
		( {p73 p60 p56 p39 p64 p102 p111 } a16 {p24 p55 p58 p66 p67 p112 p101 } )
		( {p20 p0 p44 p47 p116 p113 } a30 {p57 p0 p48 p43 p114 p115 } )
		( {p10 p35 p68 p49 p127 p120 } a6 {p27 p35 p50 p63 p119 p128 } )
		( {p85 p23 p29 p56 p0 p66 p49 p121 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p120 } )
		( {p73 p60 p56 p41 p45 p116 p111 } a16 {p24 p55 p58 p46 p38 p112 p115 } )
		( {p24 p56 p41 p63 } a32 {p54 p56 p68 p38 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p107 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p122 } )
		( {p20 p2 p35 p66 p47 p106 p124 } a30 {p57 p36 p0 p48 p64 p123 p105 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p105 } )
		( {p7 p56 p2 p35 p42 p63 p105 p115 p120 } a39 {p96 p56 p36 p0 p68 p40 p105 p115 p120 } )
		( {p73 p60 p56 p68 p40 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p42 p63 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p37 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p50 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p58 p44 p49 p102 p111 } a16 {p24 p58 p50 p43 p112 p101 } )
		( {p73 p60 p56 p37 p40 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p42 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p7 p56 p0 p46 p38 p119 p128 } a39 {p96 p56 p0 p41 p45 p127 p120 } )
		( {p20 p2 p35 p42 p45 p119 p118 } a30 {p57 p36 p0 p46 p40 p117 p120 } )
		( {p73 p60 p56 p41 p45 p125 p111 } a16 {p24 p55 p58 p46 p38 p112 p126 } )
		( {p82 p56 p44 p49 p106 p115 } a0 {p11 p56 p50 p43 p116 p105 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p122 } )
		( {p73 p58 p48 p45 p114 p111 } a16 {p24 p58 p46 p47 p112 p113 } )
		( {p20 p0 p37 p47 p102 p111 } a30 {p57 p0 p48 p65 p112 p101 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p122 } )
		( {p82 p55 p58 p41 p47 p106 p115 } a0 {p11 p60 p56 p48 p38 p116 p105 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p115 } )
		( {p73 p60 p56 p48 p45 p106 p111 } a16 {p24 p55 p58 p46 p47 p112 p105 } )
		( {p73 p58 p37 p40 p106 p111 } a16 {p24 p58 p42 p65 p112 p105 } )
		( {p7 p55 p58 p0 p42 p63 p105 p115 p120 } a39 {p96 p60 p56 p0 p68 p40 p105 p115 p120 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p121 p124 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p123 p122 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p76 p22 p14 p8 p33 p64 p67 p125 p118 } a29 {p94 p79 p78 p8 p33 p64 p67 p117 p126 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p127 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p107 } )
		( {p76 p22 p14 p5 p58 p34 p35 p64 p67 p108 p128 } a29 {p94 p79 p78 p60 p8 p36 p33 p64 p67 p127 p107 } )
		( {p20 p2 p35 p68 p47 p127 p118 } a30 {p57 p36 p0 p48 p63 p117 p128 } )
		( {p82 p56 p68 p65 p119 p115 } a0 {p11 p56 p37 p63 p116 p120 } )
		( {p20 p0 p50 p47 p108 p126 } a30 {p57 p0 p48 p49 p125 p107 } )
		( {p10 p36 p0 p48 p49 p117 p120 } a6 {p27 p2 p35 p50 p47 p119 p118 } )
		( {p82 p55 p58 p68 p65 p127 p113 } a0 {p11 p60 p56 p37 p63 p114 p128 } )
		( {p10 p35 p39 p49 p108 p126 } a6 {p27 p35 p50 p67 p125 p107 } )
		( {p10 p36 p0 p48 p49 p123 p105 } a6 {p27 p2 p35 p50 p47 p106 p124 } )
		( {p85 p23 p29 p56 p0 p37 p49 p117 p111 } a17 {p76 p22 p14 p56 p0 p50 p65 p112 p118 } )
		( {p73 p58 p44 p49 p106 p111 } a16 {p24 p58 p50 p43 p112 p105 } )
		( {p20 p2 p35 p39 p47 p108 p126 } a30 {p57 p36 p0 p48 p67 p125 p107 } )
		( {p86 p71 p26 p17 } a9 {p97 p71 p26 p17 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p112 p126 } )
		( {p85 p23 p29 p56 p0 p39 p43 p104 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p103 } )
		( {p20 p0 p66 p47 p102 p111 } a30 {p57 p0 p48 p64 p112 p101 } )
		( {p10 p36 p0 p42 p49 p108 p126 } a6 {p27 p2 p35 p50 p40 p125 p107 } )
		( {p11 p71 p100 p12 } a18 {p62 p71 p100 p12 } )
		( {p93 p66 p67 p105 p124 p126 p107 p122 p120 p128 p118 } a37 {p73 p39 p64 p105 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p39 p43 p114 p111 } a17 {p76 p22 p14 p56 p0 p44 p67 p112 p113 } )
		( {p20 p0 p42 p45 p102 p111 } a30 {p57 p0 p46 p40 p112 p101 } )
		( {p20 p0 p44 p47 p104 p113 } a30 {p57 p0 p48 p43 p114 p103 } )
		( {p73 p60 p56 p39 p64 p121 p111 } a16 {p24 p55 p58 p66 p67 p112 p122 } )
		( {p20 p0 p66 p47 p104 p113 } a30 {p57 p0 p48 p64 p114 p103 } )
		( {p85 p23 p29 p56 p0 p39 p43 p123 p111 } a17 {p76 p22 p14 p56 p0 p44 p67 p112 p124 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p113 } )
		( {p73 p58 p39 p64 p119 p111 } a16 {p24 p58 p66 p67 p112 p120 } )
		( {p82 p55 p58 p41 p47 p102 p113 } a0 {p11 p60 p56 p48 p38 p114 p101 } )
		( {p82 p56 p68 p65 p127 p113 } a0 {p11 p56 p37 p63 p114 p128 } )
		( {p85 p23 p29 p56 p0 p48 p49 p114 p111 } a17 {p76 p22 p14 p56 p0 p50 p47 p112 p113 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p108 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p103 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p105 } )
		( {p10 p36 p0 p46 p49 p108 p126 } a6 {p27 p2 p35 p50 p45 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p112 p126 } )
		( {p73 p58 p48 p45 p123 p111 } a16 {p24 p58 p46 p47 p112 p124 } )
		( {p10 p35 p42 p49 p117 p120 } a6 {p27 p35 p50 p40 p119 p118 } )
		( {p10 p35 p41 p49 p123 p105 } a6 {p27 p35 p50 p38 p106 p124 } )
		( {p10 p36 p0 p39 p49 p102 p111 } a6 {p27 p2 p35 p50 p67 p112 p101 } )
		( {p85 p23 p29 p56 p0 p41 p43 p116 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p115 } )
		( {p73 p58 p39 p64 p125 p111 } a16 {p24 p58 p66 p67 p112 p126 } )
		( {p85 p23 p29 p56 p0 p42 p43 p125 p111 } a17 {p76 p22 p14 p56 p0 p44 p40 p112 p126 } )
		( {p57 p71 p100 p13 p17 } a35 {p86 p71 p100 p6 p12 } )
		( {p85 p23 p29 p56 p0 p68 p43 p106 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p122 } )
		( {p73 p60 p56 p44 p49 p104 p111 } a16 {p24 p55 p58 p50 p43 p112 p103 } )
		( {p73 p60 p56 p37 p40 p102 p111 } a16 {p24 p55 p58 p42 p65 p112 p101 } )
		( {p85 p23 p29 p56 p0 p42 p43 p127 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p128 } )
		( {p76 p22 p14 p8 p34 p35 p39 p63 p126 p107 } a29 {p94 p79 p78 p8 p36 p33 p68 p67 p126 p107 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p107 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p105 } )
		( {p20 p2 p35 p37 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p65 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p82 p55 p58 p44 p49 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p50 p43 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p44 p49 p117 p111 } a16 {p24 p55 p58 p50 p43 p112 p118 } )
		( {p85 p23 p29 p56 p0 p66 p49 p114 p111 } a17 {p76 p22 p14 p56 p0 p50 p64 p112 p113 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p126 } )
		( {p85 p23 p29 p56 p0 p48 p49 p104 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p103 } )
		( {p7 p56 p0 p42 p63 p105 p115 p120 } a39 {p96 p56 p0 p68 p40 p105 p115 p120 } )
		( {p73 p58 p41 p45 p117 p111 } a16 {p24 p58 p46 p38 p112 p118 } )
		( {p85 p23 p29 p56 p0 p37 p49 p104 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p103 } )
		( {p73 p58 p41 p45 p123 p111 } a16 {p24 p58 p46 p38 p112 p124 } )
		( {p73 p58 p41 p45 p104 p111 } a16 {p24 p58 p46 p38 p112 p103 } )
		( {p73 p58 p37 p40 p123 p111 } a16 {p24 p58 p42 p65 p112 p124 } )
		( {p85 p23 p29 p56 p0 p42 p43 p116 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p115 } )
		( {p85 p23 p29 p56 p0 p42 p43 p114 p111 } a17 {p76 p22 p14 p56 p0 p44 p40 p112 p113 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p112 p118 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p103 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p116 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p115 } )
		( {p82 p56 p44 p49 p104 p113 } a0 {p11 p56 p50 p43 p114 p103 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p117 p111 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p118 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p107 } )
		( {p82 p56 p46 p47 p123 p113 } a0 {p11 p56 p48 p45 p114 p124 } )
		( {p10 p35 p41 p49 p108 p126 } a6 {p27 p35 p50 p38 p125 p107 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p76 p22 p14 p8 p33 p66 p65 p126 p107 } a29 {p94 p79 p78 p8 p33 p37 p64 p126 p107 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p103 } )
		( {p20 p2 p35 p41 p47 p127 p118 } a30 {p57 p36 p0 p48 p38 p117 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p120 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p119 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p120 } )
		( {p73 p58 p41 p45 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p46 p38 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p104 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p103 } )
		( {p90 p1 p4 p100 p12 } a31 {p53 p70 p71 p100 p12 } )
		( {p20 p2 p35 p50 p47 p121 p124 } a30 {p57 p36 p0 p48 p49 p123 p122 } )
		( {p82 p55 p58 p42 p65 p127 p113 } a0 {p11 p60 p56 p37 p40 p114 p128 } )
		( {p76 p22 p14 p5 p58 p33 p39 p63 p108 p128 } a29 {p94 p79 p78 p60 p8 p33 p68 p67 p127 p107 } )
		( {p10 p35 p41 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p38 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p10 p35 p44 p49 p102 p111 } a6 {p27 p35 p50 p43 p112 p101 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p103 } )
		( {p10 p36 p0 p66 p49 p114 p115 } a6 {p27 p2 p35 p50 p64 p116 p113 } )
		( {p82 p56 p46 p47 p117 p113 } a0 {p11 p56 p48 p45 p114 p118 } )
		( {p82 p55 p58 p41 p47 p108 p113 } a0 {p11 p60 p56 p48 p38 p114 p107 } )
		( {p82 p56 p42 p65 p123 p113 } a0 {p11 p56 p37 p40 p114 p124 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p105 } )
		( {p81 p71 p88 p26 p12 } a20 {p15 p71 p95 p100 p12 } )
		( {p82 p56 p39 p64 p112 p113 } a0 {p11 p56 p66 p67 p114 p111 } )
		( {p76 p22 p14 p8 p34 p35 p66 p65 p108 p128 } a29 {p94 p79 p78 p8 p36 p33 p37 p64 p127 p107 } )
		( {p3 p72 p59 p84 p74 } a2 {p85 p23 p29 p31 p87 } )
		( {p73 p60 p56 p41 p45 p123 p111 } a16 {p24 p55 p58 p46 p38 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p112 p118 } )
		( {p20 p0 p41 p47 p119 p118 } a30 {p57 p0 p48 p38 p117 p120 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p115 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p112 p118 } )
		( {p10 p36 p0 p41 p49 p117 p120 } a6 {p27 p2 p35 p50 p38 p119 p118 } )
		( {p82 p55 p58 p39 p64 p108 p113 } a0 {p11 p60 p56 p66 p67 p114 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p103 } )
		( {p73 p58 p68 p40 p117 p111 } a16 {p24 p58 p42 p63 p112 p118 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p120 } )
		( {p82 p55 p58 p39 p64 p125 p113 } a0 {p11 p60 p56 p66 p67 p114 p126 } )
		( {p10 p35 p39 p49 p102 p111 } a6 {p27 p35 p50 p67 p112 p101 } )
		( {p85 p23 p29 p56 p0 p48 p49 p125 p111 } a17 {p76 p22 p14 p56 p0 p50 p47 p112 p126 } )
		( {p10 p35 p48 p49 p117 p120 } a6 {p27 p35 p50 p47 p119 p118 } )
		( {p16 } a14 {p32 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p120 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p122 } )
		( {p7 p55 p58 p2 p35 p40 p45 p119 p128 } a39 {p96 p60 p56 p36 p0 p40 p45 p127 p120 } )
		( {p76 p22 p14 p5 p58 p34 p35 p66 p65 p125 p118 } a29 {p94 p79 p78 p60 p8 p36 p33 p37 p64 p117 p126 } )
		( {p85 p23 p29 p56 p0 p66 p49 p108 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p107 } )
		( {p76 p22 p14 p8 p33 p39 p63 p125 p118 } a29 {p94 p79 p78 p8 p33 p68 p67 p117 p126 } )
		( {p82 p56 p42 p65 p106 p115 } a0 {p11 p56 p37 p40 p116 p105 } )
		( {p85 p23 p29 p56 p0 p48 p49 p119 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p120 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p127 p120 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p119 p128 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p112 p118 } )
		( {p10 p36 p0 p47 p40 p38 p45 p43 p63 p64 p67 p65 p117 p120 } a6 {p27 p2 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p119 p118 } )
		( {p73 p60 p56 p68 p40 p114 p111 } a16 {p24 p55 p58 p42 p63 p112 p113 } )
		( {p10 p35 p42 p49 p108 p126 } a6 {p27 p35 p50 p40 p125 p107 } )
		( {p20 p2 p35 p66 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p64 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p10 p36 p0 p37 p49 p117 p120 } a6 {p27 p2 p35 p50 p65 p119 p118 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p104 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p103 } )
		( {p10 p36 p0 p39 p49 p123 p105 } a6 {p27 p2 p35 p50 p67 p106 p124 } )
		( {p82 p56 p39 p64 p123 p113 } a0 {p11 p56 p66 p67 p114 p124 } )
		( {p10 p35 p66 p49 p104 p115 } a6 {p27 p35 p50 p64 p116 p103 } )
		( {p20 p2 p35 p41 p47 p116 p113 } a30 {p57 p36 p0 p48 p38 p114 p115 } )
		( {p85 p23 p29 p56 p0 p41 p43 p125 p111 } a17 {p76 p22 p14 p56 p0 p44 p38 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p112 p113 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p128 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p112 p113 } )
		( {p61 p31 p87 } a41 {p19 p84 p74 } )
		( {p7 p55 p58 p0 p40 p45 p116 p103 } a39 {p96 p60 p56 p0 p40 p45 p104 p115 } )
		( {p82 p56 p44 p49 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p50 p43 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p41 p43 p106 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p105 } )
		( {p85 p23 p29 p56 p0 p68 p43 p125 p111 } a17 {p76 p22 p14 p56 p0 p44 p63 p112 p126 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p112 p118 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p120 } )
		( {p73 p60 p56 p41 p45 p106 p111 } a16 {p24 p55 p58 p46 p38 p112 p105 } )
		( {p10 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p121 p105 } a6 {p27 p35 p47 p40 p38 p45 p43 p63 p64 p67 p65 p106 p122 } )
		( {p82 p56 p46 p47 p106 p115 } a0 {p11 p56 p48 p45 p116 p105 } )
		( {p85 p23 p29 p56 p0 p37 p49 p119 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p120 } )
		( {p7 p56 p0 p40 p45 p116 p103 } a39 {p96 p56 p0 p40 p45 p104 p115 } )
		( {p73 p60 p56 p41 p45 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p46 p38 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p68 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p63 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p56 p0 p46 p43 p104 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p103 } )
		( {p85 p23 p29 p56 p0 p39 p43 p108 p101 } a17 {p76 p22 p14 p56 p0 p44 p67 p102 p107 } )
		( {p73 p60 p56 p39 p64 p119 p111 } a16 {p24 p55 p58 p66 p67 p112 p120 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p102 p111 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p112 p101 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p115 } )
		( {p20 p0 p37 p47 p106 p124 } a30 {p57 p0 p48 p65 p123 p105 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p112 p126 } )
		( {p73 p58 p44 p49 p127 p111 } a16 {p24 p58 p50 p43 p112 p128 } )
		( {p82 p56 p42 p65 p117 p113 } a0 {p11 p56 p37 p40 p114 p118 } )
		( {p76 p22 p14 p8 p33 p39 p63 p126 p107 } a29 {p94 p79 p78 p8 p33 p68 p67 p126 p107 } )
		( {p82 p55 p58 p42 p65 p119 p115 } a0 {p11 p60 p56 p37 p40 p116 p120 } )
		( {p76 p22 p14 p8 p33 p66 p65 p108 p128 } a29 {p94 p79 p78 p8 p33 p37 p64 p127 p107 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p81 p1 p4 p100 p12 } a20 {p15 p70 p71 p100 p12 } )
		( {p20 p0 p66 p47 p106 p124 } a30 {p57 p0 p48 p64 p123 p105 } )
		( {p73 p60 p56 p48 p45 p127 p111 } a16 {p24 p55 p58 p46 p47 p112 p128 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p123 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p124 } )
		( {p73 p60 p56 p37 p40 p117 p111 } a16 {p24 p55 p58 p42 p65 p112 p118 } )
		( {p20 p2 p35 p44 p47 p104 p113 } a30 {p57 p36 p0 p48 p43 p114 p103 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p103 } )
		( {p82 p56 p41 p47 p112 p113 } a0 {p11 p56 p48 p38 p114 p111 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p112 p118 } )
		( {p20 p0 p50 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p49 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p112 p124 } )
		( {p10 p35 p39 p49 p127 p120 } a6 {p27 p35 p50 p67 p119 p128 } )
		( {p75 p70 p71 p100 p17 } a8 {p18 p1 p4 p100 p17 } )
		( {p10 p36 p0 p66 p49 p127 p120 } a6 {p27 p2 p35 p50 p64 p119 p128 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p76 p22 p14 p8 p34 p35 p39 p63 p108 p128 } a29 {p94 p79 p78 p8 p36 p33 p68 p67 p127 p107 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p112 p113 } )
		( {p19 p87 } a25 {p81 p87 } )
		( {p73 p58 p48 p45 p108 p111 } a16 {p24 p58 p46 p47 p112 p107 } )
		( {p18 p84 p74 } a15 {p61 p31 p87 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p128 } )
		( {p20 p2 p35 p41 p47 p108 p126 } a30 {p57 p36 p0 p48 p38 p125 p107 } )
		( {p20 p2 p35 p44 p47 p119 p118 } a30 {p57 p36 p0 p48 p43 p117 p120 } )
		( {p7 p56 p0 p40 p45 p106 p122 } a39 {p96 p56 p0 p40 p45 p121 p105 } )
		( {p10 p36 p0 p48 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p47 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p20 p2 p35 p41 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p38 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p56 p0 p41 p43 p114 p111 } a17 {p76 p22 p14 p56 p0 p44 p38 p112 p113 } )
		( {p10 p35 p37 p49 p117 p120 } a6 {p27 p35 p50 p65 p119 p118 } )
		( {p73 p60 p56 p37 p40 p123 p111 } a16 {p24 p55 p58 p42 p65 p112 p124 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p115 } )
		( {p85 p23 p29 p56 p0 p42 p43 p106 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p105 } )
		( {p94 p79 p78 p52 p49 p110 p111 } a1 {p69 p28 p77 p50 p51 p112 p109 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p115 } )
		( {p10 p36 p0 p37 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p65 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p112 p124 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p112 p126 } )
		( {p20 p2 p35 p41 p47 p102 p111 } a30 {p57 p36 p0 p48 p38 p112 p101 } )
		( {p73 p60 p56 p44 p49 p108 p111 } a16 {p24 p55 p58 p50 p43 p112 p107 } )
		( {p20 p0 p44 p47 p106 p124 } a30 {p57 p0 p48 p43 p123 p105 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p119 p115 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p116 p120 } )
		( {p85 p23 p29 p56 p0 p68 p43 p117 p111 } a17 {p76 p22 p14 p56 p0 p44 p63 p112 p118 } )
		( {p85 p23 p29 p56 p0 p68 p43 p119 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p120 } )
		( {p10 p35 p46 p49 p104 p115 } a6 {p27 p35 p50 p45 p116 p103 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p112 p126 } )
		( {p73 p58 p41 p45 p108 p111 } a16 {p24 p58 p46 p38 p112 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p103 } )
		( {p73 p60 p56 p48 p45 p119 p111 } a16 {p24 p55 p58 p46 p47 p112 p120 } )
		( {p20 p0 p50 p47 p121 p124 } a30 {p57 p0 p48 p49 p123 p122 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p112 p113 } )
		( {p73 p58 p48 p45 p127 p111 } a16 {p24 p58 p46 p47 p112 p128 } )
		( {p73 p58 p39 p64 p127 p111 } a16 {p24 p58 p66 p67 p112 p128 } )
		( {p10 p35 p68 p49 p102 p111 } a6 {p27 p35 p50 p63 p112 p101 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p125 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p126 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p117 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p112 p113 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p123 p111 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p124 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p128 } )
		( {p10 p35 p41 p49 p104 p115 } a6 {p27 p35 p50 p38 p116 p103 } )
		( {p85 p23 p29 p56 p0 p48 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p50 p47 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p7 p55 p58 p0 p42 p63 p106 p122 } a39 {p96 p60 p56 p0 p68 p40 p121 p105 } )
		( {p82 p55 p58 p44 p49 p119 p115 } a0 {p11 p60 p56 p50 p43 p116 p120 } )
		( {p10 p36 p0 p66 p49 p123 p105 } a6 {p27 p2 p35 p50 p64 p106 p124 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p112 p113 } )
		( {p85 p23 p29 p56 p0 p68 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p44 p63 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p68 p47 p106 p124 } a30 {p57 p36 p0 p48 p63 p123 p105 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p112 p126 } )
		( {p20 p0 p50 p47 p127 p118 } a30 {p57 p0 p48 p49 p117 p128 } )
		( {p82 p56 p68 p65 p102 p113 } a0 {p11 p56 p37 p63 p114 p101 } )
		( {p73 p60 p56 p44 p49 p116 p111 } a16 {p24 p55 p58 p50 p43 p112 p115 } )
		( {p10 p36 p0 p68 p49 p114 p115 } a6 {p27 p2 p35 p50 p63 p116 p113 } )
		( {p20 p2 p35 p39 p47 p127 p118 } a30 {p57 p36 p0 p48 p67 p117 p128 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p107 } )
		( {p10 p36 p0 p42 p49 p123 p105 } a6 {p27 p2 p35 p50 p40 p106 p124 } )
		( {p85 p23 p29 p56 p0 p66 p49 p116 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p105 } )
		( {p73 p58 p39 p64 p104 p111 } a16 {p24 p58 p66 p67 p112 p103 } )
		( {p82 p55 p58 p41 p47 p117 p113 } a0 {p11 p60 p56 p48 p38 p114 p118 } )
		( {p82 p55 p58 p41 p47 p125 p113 } a0 {p11 p60 p56 p48 p38 p114 p126 } )
		( {p85 p23 p29 p56 p0 p37 p49 p123 p111 } a17 {p76 p22 p14 p56 p0 p50 p65 p112 p124 } )
		( {p90 p71 p100 p12 } a31 {p53 p71 p100 p12 } )
		( {p73 p58 p44 p49 p116 p111 } a16 {p24 p58 p50 p43 p112 p115 } )
		( {p82 p56 p42 p65 p102 p113 } a0 {p11 p56 p37 p40 p114 p101 } )
		( {p20 p2 p35 p37 p47 p119 p118 } a30 {p57 p36 p0 p48 p65 p117 p120 } )
		( {p20 p2 p35 p68 p47 p104 p113 } a30 {p57 p36 p0 p48 p63 p114 p103 } )
		( {p82 p56 p46 p47 p112 p113 } a0 {p11 p56 p48 p45 p114 p111 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p112 p124 } )
		( {p80 p87 } a36 {p91 p87 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p112 p113 } )
		( {p73 p58 p68 p40 p102 p111 } a16 {p24 p58 p42 p63 p112 p101 } )
		( {p10 p36 p0 p66 p49 p108 p126 } a6 {p27 p2 p35 p50 p64 p125 p107 } )
		( {p82 p56 p46 p47 p102 p113 } a0 {p11 p56 p48 p45 p114 p101 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p102 p128 } )
		( {p76 p22 p14 p5 p58 p34 p35 p66 p65 p126 p107 } a29 {p94 p79 p78 p60 p8 p36 p33 p37 p64 p126 p107 } )
		( {p20 p0 p41 p47 p104 p113 } a30 {p57 p0 p48 p38 p114 p103 } )
		( {p82 p56 p46 p47 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p48 p45 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p68 p40 p125 p111 } a16 {p24 p55 p58 p42 p63 p112 p126 } )
		( {p10 p35 p44 p49 p127 p120 } a6 {p27 p35 p50 p43 p119 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p115 } )
		( {p20 p2 p35 p42 p45 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p46 p40 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p112 p126 } )
		( {p82 p56 p39 p64 p106 p115 } a0 {p11 p56 p66 p67 p116 p105 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p124 } )
		( {p20 p0 p39 p47 p127 p118 } a30 {p57 p0 p48 p67 p117 p128 } )
		( {p20 p2 p35 p50 p47 p106 p124 } a30 {p57 p36 p0 p48 p49 p123 p105 } )
		( {p82 p56 p44 p49 p117 p113 } a0 {p11 p56 p50 p43 p114 p118 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p121 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p122 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p106 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p105 } )
		( {p20 p0 p37 p47 p116 p113 } a30 {p57 p0 p48 p65 p114 p115 } )
		( {p20 p0 p50 p47 p102 p111 } a30 {p57 p0 p48 p49 p112 p101 } )
		( {p20 p0 p39 p47 p102 p111 } a30 {p57 p0 p48 p67 p112 p101 } )
		( {p7 p56 p2 p35 p46 p38 p106 p122 } a39 {p96 p56 p36 p0 p41 p45 p121 p105 } )
		( {p82 p55 p58 p44 p49 p127 p113 } a0 {p11 p60 p56 p50 p43 p114 p128 } )
		( {p85 p23 p29 p56 p0 p46 p43 p108 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p107 } )
		( {p20 p0 p66 p47 p116 p113 } a30 {p57 p0 p48 p64 p114 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p128 } )
		( {p10 p35 p68 p49 p123 p105 } a6 {p27 p35 p50 p63 p106 p124 } )
		( {p10 p36 p0 p46 p49 p114 p115 } a6 {p27 p2 p35 p50 p45 p116 p113 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p112 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p105 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p112 p124 } )
		( {p15 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a12 {p9 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p48 p49 p121 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p122 } )
		( {p9 } a38 {p25 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p112 p126 } )
		( {p85 p23 p29 p56 p0 p66 p49 p123 p111 } a17 {p76 p22 p14 p56 p0 p50 p64 p112 p124 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p121 p124 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p123 p122 } )
		( {p85 p23 p29 p56 p0 p41 p43 p127 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p128 } )
		( {p82 p55 p58 p68 p65 p112 p113 } a0 {p11 p60 p56 p37 p63 p114 p111 } )
		( {p57 p71 p100 p12 } a35 {p86 p71 p100 p12 } )
		( {p11 p71 p100 p13 p17 } a18 {p62 p71 p100 p6 p12 } )
		( {p82 p55 p58 p39 p64 p117 p113 } a0 {p11 p60 p56 p66 p67 p114 p118 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p120 } )
		( {p7 p56 p2 p35 p46 p38 p116 p103 } a39 {p96 p56 p36 p0 p41 p45 p104 p115 } )
		( {p90 p71 p88 p26 p13 p17 } a31 {p53 p71 p95 p100 p6 p12 } )
		( {p10 p35 p66 p49 p127 p120 } a6 {p27 p35 p50 p64 p119 p128 } )
		( {p20 p2 p35 p66 p47 p104 p113 } a30 {p57 p36 p0 p48 p64 p114 p103 } )
		( {p82 p55 p58 p46 p47 p112 p113 } a0 {p11 p60 p56 p48 p45 p114 p111 } )
		( {p20 p0 p37 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p65 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p112 p126 } )
		( {p76 p22 p14 p8 p34 p35 p64 p67 p126 p107 } a29 {p94 p79 p78 p8 p36 p33 p64 p67 p126 p107 } )
		( {p81 p71 p100 p13 p17 } a20 {p15 p71 p100 p6 p12 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p115 } )
		( {p82 p55 p58 p39 p64 p104 p113 } a0 {p11 p60 p56 p66 p67 p114 p103 } )
		( {p81 p1 p4 p88 p26 p12 } a20 {p15 p70 p71 p95 p100 p12 } )
		( {p73 p60 p56 p68 p40 p108 p111 } a16 {p24 p55 p58 p42 p63 p112 p107 } )
		( {p82 p55 p58 p44 p49 p123 p113 } a0 {p11 p60 p56 p50 p43 p114 p124 } )
		( {p20 p2 p35 p37 p47 p121 p124 } a30 {p57 p36 p0 p48 p65 p123 p122 } )
		( {p73 p58 p68 p40 p108 p111 } a16 {p24 p58 p42 p63 p112 p107 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p122 } )
		( {p85 p23 p29 p56 p0 p66 p49 p104 p101 } a17 {p76 p22 p14 p56 p0 p50 p64 p102 p103 } )
		( {p82 p56 p68 p65 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p37 p63 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p127 p118 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p117 p128 } )
		( {p82 p55 p58 p68 p65 p121 p113 } a0 {p11 p60 p56 p37 p63 p114 p122 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p112 p126 } )
		( {p73 p58 p47 p38 p43 p63 p67 p65 p123 p111 } a16 {p24 p58 p47 p38 p43 p63 p67 p65 p112 p124 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p115 } )
		( {p85 p23 p29 p56 p0 p42 p43 p104 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p103 } )
		( {p10 p35 p46 p49 p123 p105 } a6 {p27 p35 p50 p45 p106 p124 } )
		( {p10 p35 p42 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p35 p50 p40 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p20 p2 p35 p50 p47 p108 p126 } a30 {p57 p36 p0 p48 p49 p125 p107 } )
		( {p82 p56 p44 p49 p119 p115 } a0 {p11 p56 p50 p43 p116 p120 } )
		( {p82 p55 p58 p39 p64 p102 p113 } a0 {p11 p60 p56 p66 p67 p114 p101 } )
		( {p82 p56 p41 p47 p106 p115 } a0 {p11 p56 p48 p38 p116 p105 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p120 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p128 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p105 } )
		( {p10 p35 p37 p49 p127 p120 } a6 {p27 p35 p50 p65 p119 p128 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p120 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p96 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a33 {p16 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p81 p71 p88 p26 p13 p17 } a20 {p15 p71 p95 p100 p6 p12 } )
		( {p82 p55 p58 p42 p65 p112 p113 } a0 {p11 p60 p56 p37 p40 p114 p111 } )
		( {p7 p56 p2 p35 p42 p63 p119 p128 } a39 {p96 p56 p36 p0 p68 p40 p127 p120 } )
		( {p20 p2 p35 p42 p45 p102 p111 } a30 {p57 p36 p0 p46 p40 p112 p101 } )
		( {p20 p2 p35 p44 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p48 p43 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p98 p71 p26 p17 } a10 {p80 p71 p26 p17 } )
		( {p73 p60 p56 p44 p49 p121 p111 } a16 {p24 p55 p58 p50 p43 p112 p122 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p41 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p38 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p85 p23 p29 p56 p0 p68 p43 p121 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p122 } )
		( {p62 p70 p71 p100 p17 } a26 {p93 p1 p4 p100 p17 } )
		( {p73 p60 p56 p44 p49 p114 p111 } a16 {p24 p55 p58 p50 p43 p112 p113 } )
		( {p85 p23 p29 p56 p0 p42 p43 p117 p111 } a17 {p76 p22 p14 p56 p0 p44 p40 p112 p118 } )
		( {p73 p60 p56 p48 p45 p121 p111 } a16 {p24 p55 p58 p46 p47 p112 p122 } )
		( {p73 p58 p41 p45 p114 p111 } a16 {p24 p58 p46 p38 p112 p113 } )
		( {p10 p36 p0 p44 p49 p108 p126 } a6 {p27 p2 p35 p50 p43 p125 p107 } )
		( {p10 p35 p66 p49 p102 p111 } a6 {p27 p35 p50 p64 p112 p101 } )
		( {p85 p23 p29 p56 p0 p42 p43 p119 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p120 } )
		( {p10 p35 p48 p49 p114 p115 } a6 {p27 p35 p50 p47 p116 p113 } )
		( {p20 p2 p35 p37 p47 p116 p113 } a30 {p57 p36 p0 p48 p65 p114 p115 } )
		( {p20 p2 p35 p66 p47 p119 p118 } a30 {p57 p36 p0 p48 p64 p117 p120 } )
		( {p73 p58 p48 p45 p106 p111 } a16 {p24 p58 p46 p47 p112 p105 } )
		( {p90 p1 p4 p88 p26 p12 } a31 {p53 p70 p71 p95 p100 p12 } )
		( {p82 p55 p58 p42 p65 p121 p113 } a0 {p11 p60 p56 p37 p40 p114 p122 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p104 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p103 } )
		( {p20 p0 p39 p47 p119 p118 } a30 {p57 p0 p48 p67 p117 p120 } )
		( {p20 p0 p68 p47 p127 p118 } a30 {p57 p0 p48 p63 p117 p128 } )
		( {p73 p60 p56 p37 p40 p108 p111 } a16 {p24 p55 p58 p42 p65 p112 p107 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p120 } )
		( {p82 p55 p58 p39 p64 p106 p115 } a0 {p11 p60 p56 p66 p67 p116 p105 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p125 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p112 p126 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p108 p126 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p125 p107 } )
		( {p82 p56 p44 p49 p121 p113 } a0 {p11 p56 p50 p43 p114 p122 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p108 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p107 } )
		( {p93 p64 p65 p105 p124 p126 p107 p122 p120 p128 p118 } a37 {p73 p64 p65 p105 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p58 p48 p45 p117 p111 } a16 {p24 p58 p46 p47 p112 p118 } )
		( {p85 p23 p29 p56 p0 p37 p49 p114 p111 } a17 {p76 p22 p14 p56 p0 p50 p65 p112 p113 } )
		( {p82 p56 p41 p47 p102 p113 } a0 {p11 p56 p48 p38 p114 p101 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p125 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p112 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p115 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p122 } )
		( {p20 p0 p39 p47 p108 p126 } a30 {p57 p0 p48 p67 p125 p107 } )
		( {p82 p56 p42 p65 p108 p113 } a0 {p11 p56 p37 p40 p114 p107 } )
		( {p82 p56 p42 p65 p104 p113 } a0 {p11 p56 p37 p40 p114 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p120 } )
		( {p20 p0 p50 p47 p116 p113 } a30 {p57 p0 p48 p49 p114 p115 } )
		( {p10 p36 p0 p42 p49 p117 p120 } a6 {p27 p2 p35 p50 p40 p119 p118 } )
		( {p20 p2 p35 p68 p47 p121 p124 } a30 {p57 p36 p0 p48 p63 p123 p122 } )
		( {p85 p23 p29 p56 p0 p37 p49 p121 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p122 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p68 p49 p102 p111 } a6 {p27 p2 p35 p50 p63 p112 p101 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p112 p124 } )
		( {p73 p60 p56 p41 p45 p127 p111 } a16 {p24 p55 p58 p46 p38 p112 p128 } )
		( {p53 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a4 {p89 p87 p74 p71 p4 p100 p26 p58 p56 p8 p35 p0 p33 p17 p12 p47 p51 p49 p40 p38 p45 p43 p63 p64 p67 p65 p113 p109 p111 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p113 } )
		( {p73 p58 p39 p64 p108 p111 } a16 {p24 p58 p66 p67 p112 p107 } )
		( {p85 p23 p29 p56 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p108 p101 } a17 {p76 p22 p14 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p107 } )
		( {p82 p56 p68 p65 p104 p113 } a0 {p11 p56 p37 p63 p114 p103 } )
		( {p20 p0 p37 p47 p104 p113 } a30 {p57 p0 p48 p65 p114 p103 } )
		( {p82 p55 p58 p44 p49 p106 p115 } a0 {p11 p60 p56 p50 p43 p116 p105 } )
		( {p97 p40 p63 p64 p67 p65 p124 p126 p118 } a3 {p10 p40 p63 p64 p67 p65 p124 p126 p118 } )
		( {p86 p1 p4 p26 p17 } a9 {p97 p70 p71 p26 p17 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p125 p111 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p126 } )
		( {p20 p2 p35 p41 p47 p119 p118 } a30 {p57 p36 p0 p48 p38 p117 p120 } )
		( {p24 p56 p46 p40 } a32 {p54 p56 p42 p45 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p122 } )
		( {p53 } a7 {p98 } )
		( {p82 p55 p58 p46 p47 p125 p113 } a0 {p11 p60 p56 p48 p45 p114 p126 } )
		( {p10 p35 p68 p49 p104 p115 } a6 {p27 p35 p50 p63 p116 p103 } )
		( {p10 p36 p0 p41 p49 p121 p105 } a6 {p27 p2 p35 p50 p38 p106 p122 } )
		( {p76 p22 p14 p5 p58 p34 p35 p64 p67 p125 p118 } a29 {p94 p79 p78 p60 p8 p36 p33 p64 p67 p117 p126 } )
		( {p10 p35 p41 p49 p114 p115 } a6 {p27 p35 p50 p38 p116 p113 } )
		( {p20 p0 p68 p47 p102 p111 } a30 {p57 p0 p48 p63 p112 p101 } )
		( {p10 p36 p0 p39 p49 p114 p115 } a6 {p27 p2 p35 p50 p67 p116 p113 } )
		( {p82 p56 p39 p64 p104 p113 } a0 {p11 p56 p66 p67 p114 p103 } )
		( {p20 p2 p35 p41 p47 p121 p124 } a30 {p57 p36 p0 p48 p38 p123 p122 } )
		( {p73 p60 p56 p44 p49 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p50 p43 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p58 p68 p40 p114 p111 } a16 {p24 p58 p42 p63 p112 p113 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p112 p113 } )
		( {p21 p71 p26 p17 } a28 {p80 p71 p26 p17 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p68 p40 p117 p111 } a16 {p24 p55 p58 p42 p63 p112 p118 } )
		( {p19 p84 p74 } a25 {p81 p31 p87 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p128 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p112 p113 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p112 p124 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p125 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p112 p126 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p105 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p102 p128 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p102 p103 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p128 } )
		( {p20 p2 p35 p66 p47 p108 p126 } a30 {p57 p36 p0 p48 p64 p125 p107 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p104 p113 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p114 p103 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p112 p124 } )
		( {p7 p56 p2 p35 p42 p63 p116 p103 } a39 {p96 p56 p36 p0 p68 p40 p104 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p106 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p105 } )
		( {p10 p36 p0 p41 p49 p104 p115 } a6 {p27 p2 p35 p50 p38 p116 p103 } )
		( {p10 p35 p68 p49 p121 p105 } a6 {p27 p35 p50 p63 p106 p122 } )
		( {p82 p55 p58 p46 p47 p106 p115 } a0 {p11 p60 p56 p48 p45 p116 p105 } )
		( {p76 p22 p14 p5 p58 p34 p35 p66 p65 p108 p128 } a29 {p94 p79 p78 p60 p8 p36 p33 p37 p64 p127 p107 } )
		( {p82 p55 p58 p44 p49 p117 p113 } a0 {p11 p60 p56 p50 p43 p114 p118 } )
		( {p85 p23 p29 p56 p0 p46 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p44 p45 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p56 p44 p49 p127 p113 } a0 {p11 p56 p50 p43 p114 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p122 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p128 } )
		( {p10 p35 p46 p49 p108 p126 } a6 {p27 p35 p50 p45 p125 p107 } )
		( {p86 p1 p4 p26 p6 p12 } a9 {p97 p70 p71 p26 p13 p17 } )
		( {p20 p2 p35 p44 p47 p108 p126 } a30 {p57 p36 p0 p48 p43 p125 p107 } )
		( {p10 p36 p0 p37 p49 p102 p111 } a6 {p27 p2 p35 p50 p65 p112 p101 } )
		( {p73 p60 p56 p68 p40 p104 p111 } a16 {p24 p55 p58 p42 p63 p112 p103 } )
		( {p10 p35 p66 p49 p108 p126 } a6 {p27 p35 p50 p64 p125 p107 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p102 p103 } )
		( {p82 p55 p58 p46 p47 p102 p113 } a0 {p11 p60 p56 p48 p45 p114 p101 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p115 } )
		( {p85 p23 p29 p56 p0 p46 p43 p125 p111 } a17 {p76 p22 p14 p56 p0 p44 p45 p112 p126 } )
		( {p20 p2 p35 p39 p47 p104 p113 } a30 {p57 p36 p0 p48 p67 p114 p103 } )
		( {p10 p35 p68 p49 p117 p120 } a6 {p27 p35 p50 p63 p119 p118 } )
		( {p10 p35 p44 p49 p108 p126 } a6 {p27 p35 p50 p43 p125 p107 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p117 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p112 p118 } )
		( {p73 p58 p44 p49 p121 p111 } a16 {p24 p58 p50 p43 p112 p122 } )
		( {p73 p60 p56 p39 p64 p104 p111 } a16 {p24 p55 p58 p66 p67 p112 p103 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p112 p118 } )
		( {p85 p23 p29 p55 p58 p0 p42 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p40 p112 p113 } )
		( {p62 p4 p100 p17 } a26 {p93 p4 p100 p17 } )
		( {p82 p56 p39 p64 p108 p113 } a0 {p11 p56 p66 p67 p114 p107 } )
		( {p20 p0 p42 p45 p121 p124 } a30 {p57 p0 p46 p40 p123 p122 } )
		( {p85 p23 p29 p55 p58 p0 p41 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p44 p38 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p76 p22 p14 p8 p34 p35 p39 p63 p125 p118 } a29 {p94 p79 p78 p8 p36 p33 p68 p67 p117 p126 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p121 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p122 } )
		( {p82 p56 p41 p47 p117 p113 } a0 {p11 p56 p48 p38 p114 p118 } )
		( {p85 p23 p29 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p127 p101 } a17 {p76 p22 p14 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p128 } )
		( {p85 p23 p29 p56 p0 p46 p43 p106 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p105 } )
		( {p76 p22 p14 p5 p58 p33 p64 p67 p125 p118 } a29 {p94 p79 p78 p60 p8 p33 p64 p67 p117 p126 } )
		( {p90 p1 p4 p100 p13 p17 } a31 {p53 p70 p71 p100 p6 p12 } )
		( {p85 p23 p29 p55 p58 p2 p35 p66 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p64 p102 p107 } )
		( {p73 p58 p68 p40 p123 p111 } a16 {p24 p58 p42 p63 p112 p124 } )
		( {p86 p71 p95 p100 p6 p12 } a9 {p97 p71 p88 p26 p13 p17 } )
		( {p76 p22 p14 p5 p58 p33 p39 p63 p126 p107 } a29 {p94 p79 p78 p60 p8 p33 p68 p67 p126 p107 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p102 p107 } )
		( {p73 p58 p41 p45 p125 p111 } a16 {p24 p58 p46 p38 p112 p126 } )
		( {p85 p23 p29 p56 p2 p35 p66 p49 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p64 p102 p128 } )
		( {p73 p60 p56 p48 p45 p116 p111 } a16 {p24 p55 p58 p46 p47 p112 p115 } )
		( {p85 p23 p29 p56 p0 p68 p43 p127 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p128 } )
		( {p73 p60 p56 p44 p49 p119 p111 } a16 {p24 p55 p58 p50 p43 p112 p120 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p115 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p103 } )
		( {p10 p35 p37 p49 p121 p105 } a6 {p27 p35 p50 p65 p106 p122 } )
		( {p73 p60 p56 p44 p49 p125 p111 } a16 {p24 p55 p58 p50 p43 p112 p126 } )
		( {p85 p23 p29 p56 p0 p42 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p44 p40 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p76 p22 p14 p8 p34 p35 p64 p67 p108 p128 } a29 {p94 p79 p78 p8 p36 p33 p64 p67 p127 p107 } )
		( {p76 p22 p14 p5 p58 p33 p64 p67 p126 p107 } a29 {p94 p79 p78 p60 p8 p33 p64 p67 p126 p107 } )
		( {p82 p55 p58 p68 p65 p119 p115 } a0 {p11 p60 p56 p37 p63 p116 p120 } )
		( {p7 p55 p58 p0 p46 p38 p105 p115 p120 } a39 {p96 p60 p56 p0 p41 p45 p105 p115 p120 } )
		( {p20 p2 p35 p42 p45 p127 p118 } a30 {p57 p36 p0 p46 p40 p117 p128 } )
		( {p82 p55 p58 p39 p64 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p66 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p42 p43 p127 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p40 p102 p128 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p128 } )
		( {p73 p58 p37 p40 p102 p111 } a16 {p24 p58 p42 p65 p112 p101 } )
		( {p85 p23 p29 p56 p0 p46 p43 p114 p111 } a17 {p76 p22 p14 p56 p0 p44 p45 p112 p113 } )
		( {p85 p23 p29 p56 p0 p48 p49 p127 p101 } a17 {p76 p22 p14 p56 p0 p50 p47 p102 p128 } )
		( {p85 p23 p29 p56 p0 p42 p43 p121 p101 } a17 {p76 p22 p14 p56 p0 p44 p40 p102 p122 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p119 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p120 } )
		( {p73 p58 p41 p45 p102 p111 } a16 {p24 p58 p46 p38 p112 p101 } )
		( {p85 p23 p29 p56 p0 p68 p43 p116 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p115 } )
		( {p85 p23 p29 p56 p0 p68 p43 p104 p101 } a17 {p76 p22 p14 p56 p0 p44 p63 p102 p103 } )
		( {p20 p0 p68 p47 p108 p126 } a30 {p57 p0 p48 p63 p125 p107 } )
		( {p73 p58 p48 p45 p102 p111 } a16 {p24 p58 p46 p47 p112 p101 } )
		( {p20 p0 p68 p47 p116 p113 } a30 {p57 p0 p48 p63 p114 p115 } )
		( {p10 p36 p0 p37 p49 p123 p105 } a6 {p27 p2 p35 p50 p65 p106 p124 } )
		( {p85 p23 p29 p55 p58 p2 p35 p48 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p47 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p44 p49 p127 p120 } a6 {p27 p2 p35 p50 p43 p119 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p123 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p112 p124 } )
		( {p85 p23 p29 p56 p0 p68 p43 p114 p111 } a17 {p76 p22 p14 p56 p0 p44 p63 p112 p113 } )
		( {p10 p35 p39 p49 p104 p115 } a6 {p27 p35 p50 p67 p116 p103 } )
		( {p7 p55 p58 p0 p40 p45 p119 p128 } a39 {p96 p60 p56 p0 p40 p45 p127 p120 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p103 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p117 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p118 } )
		( {p20 p2 p35 p39 p47 p119 p118 } a30 {p57 p36 p0 p48 p67 p117 p120 } )
		( {p10 p35 p37 p49 p104 p115 } a6 {p27 p35 p50 p65 p116 p103 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p122 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p116 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p102 p115 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p112 p113 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p113 } )
		( {p20 p2 p35 p37 p47 p102 p111 } a30 {p57 p36 p0 p48 p65 p112 p101 } )
		( {p82 p55 p58 p39 p64 p123 p113 } a0 {p11 p60 p56 p66 p67 p114 p124 } )
		( {p20 p2 p35 p37 p47 p108 p126 } a30 {p57 p36 p0 p48 p65 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p46 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p45 p102 p122 } )
		( {p7 p56 p0 p42 p63 p119 p128 } a39 {p96 p56 p0 p68 p40 p127 p120 } )
		( {p10 p36 p0 p48 p49 p121 p105 } a6 {p27 p2 p35 p50 p47 p106 p122 } )
		( {p82 p56 p41 p47 p123 p113 } a0 {p11 p56 p48 p38 p114 p124 } )
		( {p7 p55 p58 p2 p35 p46 p38 p106 p122 } a39 {p96 p60 p56 p36 p0 p41 p45 p121 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p37 p49 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p50 p65 p102 p122 } )
		( {p85 p23 p29 p55 p58 p0 p66 p49 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p64 p102 p115 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p122 } )
		( {p82 p56 p42 p65 p125 p113 } a0 {p11 p56 p37 p40 p114 p126 } )
		( {p85 p23 p29 p56 p2 p35 p39 p43 p121 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p67 p102 p122 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p106 p115 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p116 p105 } )
		( {p81 p1 p4 p100 p13 p17 } a20 {p15 p70 p71 p100 p6 p12 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p104 p101 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p102 p103 } )
		( {p7 p56 p2 p35 p40 p45 p116 p103 } a39 {p96 p56 p36 p0 p40 p45 p104 p115 } )
		( {p10 p36 p0 p42 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p40 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p10 p36 p0 p66 p49 p113 p103 p101 p124 p107 p122 p128 p118 } a6 {p27 p2 p35 p50 p64 p113 p103 p101 p124 p107 p122 p128 p118 } )
		( {p20 p0 p42 p45 p108 p126 } a30 {p57 p0 p46 p40 p125 p107 } )
		( {p73 p60 p56 p39 p64 p116 p111 } a16 {p24 p55 p58 p66 p67 p112 p115 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p112 p124 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p108 p126 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p125 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p102 p103 } )
		( {p89 } a24 {p99 } )
		( {p73 p58 p48 p45 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p58 p46 p47 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p47 p38 p43 p63 p67 p65 p116 p111 } a16 {p24 p55 p58 p47 p38 p43 p63 p67 p65 p112 p115 } )
		( {p85 p23 p29 p56 p2 p35 p48 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p50 p47 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p2 p35 p46 p43 p114 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p45 p112 p113 } )
		( {p10 p35 p48 p49 p121 p105 } a6 {p27 p35 p50 p47 p106 p122 } )
		( {p76 p22 p14 p5 p58 p33 p66 p65 p126 p107 } a29 {p94 p79 p78 p60 p8 p33 p37 p64 p126 p107 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p41 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p38 p112 p113 } )
		( {p85 p23 p29 p56 p2 p35 p68 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p36 p0 p44 p63 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p58 p37 p40 p127 p111 } a16 {p24 p58 p42 p65 p112 p128 } )
		( {p20 p0 p44 p47 p121 p124 } a30 {p57 p0 p48 p43 p123 p122 } )
		( {p82 p56 p68 p65 p121 p113 } a0 {p11 p56 p37 p63 p114 p122 } )
		( {p85 p23 p29 p56 p0 p37 p49 p116 p101 } a17 {p76 p22 p14 p56 p0 p50 p65 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p46 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p45 p102 p107 } )
		( {p73 p60 p56 p37 p40 p114 p111 } a16 {p24 p55 p58 p42 p65 p112 p113 } )
		( {p82 p55 p58 p41 p47 p112 p113 } a0 {p11 p60 p56 p48 p38 p114 p111 } )
		( {p20 p2 p35 p44 p47 p127 p118 } a30 {p57 p36 p0 p48 p43 p117 p128 } )
		( {p10 p35 p46 p49 p114 p115 } a6 {p27 p35 p50 p45 p116 p113 } )
		( {p10 p35 p44 p49 p104 p115 } a6 {p27 p35 p50 p43 p116 p103 } )
		( {p27 p0 p102 p107 } a40 {p21 p0 p108 p101 } )
		( {p82 p55 p58 p44 p49 p104 p113 } a0 {p11 p60 p56 p50 p43 p114 p103 } )
		( {p82 p55 p58 p41 p47 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p48 p38 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p73 p60 p56 p48 p45 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } a16 {p24 p55 p58 p46 p47 p113 p103 p105 p115 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p0 p50 p47 p106 p124 } a30 {p57 p0 p48 p49 p123 p105 } )
		( {p82 p55 p58 p40 p38 p45 p43 p63 p67 p125 p113 } a0 {p11 p60 p56 p40 p38 p45 p43 p63 p67 p114 p126 } )
		( {p10 p36 p0 p41 p49 p127 p120 } a6 {p27 p2 p35 p50 p38 p119 p128 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p10 p36 p0 p46 p49 p123 p105 } a6 {p27 p2 p35 p50 p45 p106 p124 } )
		( {p20 p2 p35 p37 p47 p127 p118 } a30 {p57 p36 p0 p48 p65 p117 p128 } )
		( {p85 p23 p29 p56 p0 p41 p43 p108 p101 } a17 {p76 p22 p14 p56 p0 p44 p38 p102 p107 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p115 } )
		( {p10 p36 p0 p39 p49 p121 p105 } a6 {p27 p2 p35 p50 p67 p106 p122 } )
		( {p10 p35 p68 p49 p114 p115 } a6 {p27 p35 p50 p63 p116 p113 } )
		( {p85 p23 p29 p56 p2 p35 p37 p49 p106 p101 } a17 {p76 p22 p14 p56 p36 p0 p50 p65 p102 p105 } )
		( {p85 p23 p29 p55 p58 p2 p35 p47 p40 p38 p45 p63 p64 p67 p65 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p118 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p112 p113 } )
		( {p20 p0 p68 p47 p119 p118 } a30 {p57 p0 p48 p63 p117 p120 } )
		( {p10 p36 p0 p39 p49 p104 p115 } a6 {p27 p2 p35 p50 p67 p116 p103 } )
		( {p73 p58 p39 p64 p114 p111 } a16 {p24 p58 p66 p67 p112 p113 } )
		( {p20 p2 p35 p49 p40 p38 p43 p63 p64 p67 p65 p116 p113 } a30 {p57 p36 p0 p49 p40 p38 p43 p63 p64 p67 p65 p114 p115 } )
		( {p10 p35 p42 p49 p127 p120 } a6 {p27 p35 p50 p40 p119 p128 } )
		( {p82 p55 p58 p46 p47 p117 p113 } a0 {p11 p60 p56 p48 p45 p114 p118 } )
		( {p98 p100 } a13 {p20 p100 } )
		( {p82 p55 p58 p68 p65 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p60 p56 p37 p63 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p55 p58 p0 p68 p43 p108 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p63 p102 p107 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p115 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p104 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p103 } )
		( {p10 p36 p0 p68 p49 p104 p115 } a6 {p27 p2 p35 p50 p63 p116 p103 } )
		( {p82 p55 p58 p39 p64 p112 p113 } a0 {p11 p60 p56 p66 p67 p114 p111 } )
		( {p85 p23 p29 p55 p58 p0 p39 p43 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p44 p67 p102 p128 } )
		( {p82 p56 p41 p47 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } a0 {p11 p56 p48 p38 p111 p103 p105 p101 p124 p126 p107 p122 p120 p128 p118 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p56 p2 p35 p41 p43 p123 p111 } a17 {p76 p22 p14 p56 p36 p0 p44 p38 p112 p124 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p119 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p120 } )
		( {p20 p0 p68 p47 p103 p105 p115 p101 p107 p122 p120 p128 } a30 {p57 p0 p48 p63 p103 p105 p115 p101 p107 p122 p120 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p114 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p112 p113 } )
		( {p82 p55 p58 p41 p47 p121 p113 } a0 {p11 p60 p56 p48 p38 p114 p122 } )
		( {p85 p23 p29 p56 p0 p46 p43 p116 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p115 } )
		( {p97 p40 p63 p64 p67 p65 p117 p128 } a3 {p10 p40 p63 p64 p67 p65 p127 p118 } )
		( {p10 p36 p0 p66 p49 p102 p111 } a6 {p27 p2 p35 p50 p64 p112 p101 } )
		( {p20 p0 p49 p40 p38 p43 p63 p64 p67 p65 p127 p118 } a30 {p57 p0 p49 p40 p38 p43 p63 p64 p67 p65 p117 p128 } )
		( {p20 p2 p35 p42 p45 p108 p126 } a30 {p57 p36 p0 p46 p40 p125 p107 } )
		( {p73 p60 p56 p39 p64 p125 p111 } a16 {p24 p55 p58 p66 p67 p112 p126 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p3 p72 p59 p87 } a2 {p85 p23 p29 p87 } )
		( {p10 p35 p37 p49 p102 p111 } a6 {p27 p35 p50 p65 p112 p101 } )
		( {p73 p58 p44 p49 p119 p111 } a16 {p24 p58 p50 p43 p112 p120 } )
		( {p10 p36 p0 p39 p49 p117 p120 } a6 {p27 p2 p35 p50 p67 p119 p118 } )
		( {p82 p56 p39 p64 p117 p113 } a0 {p11 p56 p66 p67 p114 p118 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p117 p111 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p112 p118 } )
		( {p85 p23 p29 p56 p0 p39 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p56 p0 p44 p67 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p82 p56 p46 p47 p127 p113 } a0 {p11 p56 p48 p45 p114 p128 } )
		( {p20 p2 p35 p41 p47 p104 p113 } a30 {p57 p36 p0 p48 p38 p114 p103 } )
		( {p20 p2 p35 p50 p47 p119 p118 } a30 {p57 p36 p0 p48 p49 p117 p120 } )
		( {p73 p60 p56 p41 p45 p102 p111 } a16 {p24 p55 p58 p46 p38 p112 p101 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p113 p103 p105 p115 p124 p126 p107 p122 p120 p128 p118 } )
		( {p85 p23 p29 p56 p0 p46 p43 p127 p101 } a17 {p76 p22 p14 p56 p0 p44 p45 p102 p128 } )
		( {p85 p23 p29 p55 p58 p2 p35 p39 p43 p116 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p67 p102 p115 } )
		( {p7 p55 p58 p2 p35 p42 p63 p105 p115 p120 } a39 {p96 p60 p56 p36 p0 p68 p40 p105 p115 p120 } )
		( {p76 p22 p14 p8 p34 p35 p66 p65 p126 p107 } a29 {p94 p79 p78 p8 p36 p33 p37 p64 p126 p107 } )
		( {p62 p4 p100 p6 p12 } a26 {p93 p4 p100 p13 p17 } )
		( {p7 p56 p0 p40 p45 p119 p128 } a39 {p96 p56 p0 p40 p45 p127 p120 } )
		( {p85 p23 p29 p55 p58 p2 p35 p42 p43 p119 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p40 p102 p120 } )
		( {p85 p23 p29 p55 p58 p0 p37 p49 p123 p111 } a17 {p76 p22 p14 p60 p56 p0 p50 p65 p112 p124 } )
		( {p10 p36 p0 p48 p49 p114 p115 } a6 {p27 p2 p35 p50 p47 p116 p113 } )
		( {p10 p36 p0 p37 p49 p108 p126 } a6 {p27 p2 p35 p50 p65 p125 p107 } )
		( {p82 p56 p40 p38 p45 p43 p63 p67 p123 p113 } a0 {p11 p56 p40 p38 p45 p43 p63 p67 p114 p124 } )
		( {p85 p23 p29 p55 p58 p0 p48 p49 p106 p101 } a17 {p76 p22 p14 p60 p56 p0 p50 p47 p102 p105 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p125 p111 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p112 p126 } )
		( {p85 p23 p29 p55 p58 p0 p47 p40 p38 p45 p63 p64 p67 p65 p127 p101 } a17 {p76 p22 p14 p60 p56 p0 p47 p40 p38 p45 p63 p64 p67 p65 p102 p128 } )
		( {p76 p22 p14 p8 p33 p39 p63 p108 p128 } a29 {p94 p79 p78 p8 p33 p68 p67 p127 p107 } )
		( {p97 p40 p63 p64 p67 p65 p123 p122 } a3 {p10 p40 p63 p64 p67 p65 p121 p124 } )
		( {p10 p36 p0 p68 p49 p121 p105 } a6 {p27 p2 p35 p50 p63 p106 p122 } )
		( {p85 p23 p29 p55 p58 p2 p35 p68 p43 p121 p101 } a17 {p76 p22 p14 p60 p56 p36 p0 p44 p63 p102 p122 } )
		( {p20 p0 p66 p47 p121 p124 } a30 {p57 p0 p48 p64 p123 p122 } )
		( {p82 p55 p58 p44 p49 p108 p113 } a0 {p11 p60 p56 p50 p43 p114 p107 } )
	},
	initialMarking = {p0 p38 p3 p40 p5 p43 p45 p47 p49 p13 p52 p17 p56 p58 p59 p63 p64 p65 p67 p101 p70 p103 p71 p72 p105 p74 p107 p110 p111 p113 p115 p84 p118 p120 p122 p95 p124 p126 p34 p35 p128 p100 },
	acceptingPlaces = {p83 p30 }
);