// Testfile dumped by Ultimate at 2020/03/07 08:14:11
//
// 

PetriNet net = (
	alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 },
	places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 },
	transitions = {
		({p46 p205 p132 } a68 {p83 p205 p132 })
		({p126 p77 p217 p200 } a54 {p126 p15 p199 p220 })
		({p77 p197 p217 p160 p140 p131 } a54 {p15 p214 p160 p199 p130 p141 })
		({p77 p208 p132 } a54 {p15 p208 p132 })
		({p126 p94 p54 p162 p144 } a34 {p94 p30 p135 p162 p132 })
		({p3 } a1 {p5 })
		({p68 p87 p89 p91 p92 } a89 {p93 p69 p87 p25 p89 p91 })
		({p155 p102 p17 p158 p137 p120 p112 p174 p193 } a40 {p156 p101 p178 p128 p111 p121 p198 p104 p97 p60 })
		({p126 p77 p215 p199 } a54 {p126 p15 p205 p217 })
		({p109 p51 p190 p183 } a46 {p109 p20 p198 p218 p183 })
		({p146 p81 p173 p192 } a59 {p29 p147 p159 p174 p193 })
		({p47 p110 p174 p193 } a48 {p176 p195 p22 })
		({p146 p48 p173 p192 } a73 {p147 p159 p85 p174 p193 })
		({p77 p127 p217 p200 } a54 {p127 p15 p199 p220 })
		({p67 p137 p158 p217 p129 p200 } a82 {p32 p128 p158 p139 p199 p220 })
		({p167 p47 p204 p220 } a48 {p167 p22 p200 })
		({p176 p155 p195 p107 p102 p214 p67 p158 p137 p120 p182 p112 } a82 {p106 p156 p101 p32 p179 p110 p197 p128 p111 p121 p97 })
		({p67 p206 p132 } a82 {p32 p216 p208 p132 })
		({p135 p215 p67 p160 p199 p130 } a82 {p126 p32 p205 p217 p160 p140 })
		({p155 p116 p108 p102 p17 p169 p119 p158 p137 p218 p191 p183 } a40 {p156 p117 p101 p118 p103 p109 p170 p128 p190 p97 p60 })
		({p77 p127 p215 p199 } a54 {p127 p15 p205 p217 })
		({p46 p211 p134 p204 p136 p158 } a68 {p133 p203 p83 p158 })
		({p94 p30 p122 p166 } a36 {p127 p33 p96 p138 p98 p166 })
		({p133 p81 p197 } a59 {p29 p134 p136 p197 })
		({p46 p157 p170 p180 p190 p162 p221 p142 p125 } a68 {p167 p149 p83 p218 p160 p183 p143 p124 p201 })
		({p155 p108 p102 p17 p169 p158 p137 p218 p191 p183 p115 } a40 {p156 p101 p103 p109 p170 p128 p190 p113 p97 p60 })
		({p133 p48 p197 } a73 {p134 p136 p197 p85 })
		({p94 p137 p54 p130 p162 } a34 {p94 p30 p128 p140 p162 })
		({p190 p143 p124 p28 } a31 {p65 p190 p142 p125 })
		({p156 p170 p67 p180 p190 p221 p142 p165 p125 } a82 {p167 p32 p158 p218 p183 p153 p143 p124 p201 })
		({p202 p46 p134 p136 p158 p221 } a68 {p210 p133 p83 p158 p201 })
		({p81 p199 p220 p130 p141 } a59 {p29 p217 p140 p200 p131 })
		({p108 p22 } a50 {p108 p10 })
		({p48 p199 p220 p130 p141 } a73 {p217 p85 p140 p200 p131 })
		({p157 p135 p170 p67 p180 p190 p162 p130 p221 } a82 {p167 p126 p32 p149 p218 p160 p140 p183 p201 })
		({p5 } a3 {p6 })
		({p156 p134 p170 p136 p67 p180 p190 p221 p165 } a82 {p167 p133 p32 p158 p218 p183 p153 p201 })
		({p34 } a77 {p63 })
		({p169 p51 p191 } a46 {p109 p20 p174 p193 })
		({p46 p137 p158 p217 p129 p200 } a68 {p83 p128 p158 p139 p199 p220 })
		({p80 } a21 {p4 })
		({p56 } a4 {p59 })
		({p94 p149 p139 p54 p131 p165 } a34 {p94 p30 p129 p162 p141 p153 })
		({p77 p215 p128 p158 p199 p144 } a54 {p15 p205 p137 p158 p217 p132 })
		({p46 p206 p132 } a68 {p83 p216 p208 p132 })
		({p46 p135 p215 p160 p199 p130 } a68 {p126 p83 p205 p217 p160 p140 })
		({p156 p134 p17 p179 p136 p197 p217 p181 p165 } a40 {p133 p177 p214 p158 p182 p199 p153 p60 })
		({p187 p146 p168 p81 } a59 {p29 p147 p169 p159 p191 })
		({p126 p67 p217 p200 } a82 {p126 p32 p199 p220 })
		({p67 p197 p217 p160 p140 p131 } a82 {p32 p214 p160 p199 p130 p141 })
		({p133 p81 p198 } a59 {p29 p134 p136 p198 })
		({p211 p204 p67 p137 p158 p129 } a82 {p203 p32 p128 p158 p139 })
		({p63 } a79 {p11 })
		({p187 p146 p48 p168 } a73 {p147 p169 p159 p85 p191 })
		({p67 p208 p132 } a82 {p32 p208 p132 })
		({p133 p48 p198 } a73 {p134 p136 p85 p198 })
		({p176 p77 p155 p116 p195 p107 p102 p214 p119 p158 p137 p182 } a54 {p106 p15 p156 p117 p101 p118 p179 p110 p197 p128 p97 })
		({p46 p156 p170 p180 p190 p221 p142 p165 p125 } a68 {p167 p83 p158 p218 p183 p153 p143 p124 p201 })
		({p202 p67 p137 p158 p129 p221 } a82 {p210 p32 p128 p158 p139 p201 })
		({p126 p215 p67 p199 } a82 {p126 p32 p205 p217 })
		({p210 p133 p21 p201 } a45 {p202 p134 p136 p51 p221 })
		({p176 p77 p155 p195 p107 p102 p214 p158 p137 p182 p115 } a54 {p106 p15 p156 p101 p179 p110 p197 p128 p113 p97 })
		({p100 p109 p159 p121 p21 p123 p186 } a45 {p187 p99 p146 p168 p51 p112 })
		({p17 p137 p158 p129 p190 p221 } a40 {p128 p158 p218 p139 p201 p60 })
		({p211 p67 p198 p160 p140 p131 } a82 {p203 p32 p160 p130 p141 })
		({p196 p214 p143 p124 p28 } a31 {p213 p65 p197 p142 p125 })
		({p127 p203 p17 } a40 {p127 p211 p209 p60 })
		({p46 p157 p135 p170 p180 p190 p162 p130 p221 } a68 {p167 p126 p149 p83 p218 p160 p140 p183 p201 })
		({p127 p67 p217 p200 } a82 {p127 p32 p199 p220 })
		({p147 p108 p169 p67 p120 p218 p161 p191 p183 p112 p142 p98 } a82 {p94 p100 p32 p148 p103 p109 p170 p111 p121 p190 p124 })
		({p46 p156 p134 p170 p136 p180 p190 p221 p165 } a68 {p167 p133 p83 p158 p218 p183 p153 p201 })
		({p77 p134 p136 p216 p158 p207 } a54 {p133 p15 p158 p206 })
		({p127 p215 p67 p199 } a82 {p127 p32 p205 p217 })
		({p99 p203 p159 p142 p28 } a31 {p99 p211 p65 p204 p159 p142 })
		({p133 p21 p221 } a45 {p134 p136 p51 p221 })
		({p126 p46 p217 p200 } a68 {p126 p83 p199 p220 })
		({p46 p197 p217 p160 p140 p131 } a68 {p214 p83 p160 p199 p130 p141 })
		({p46 p211 p204 p137 p158 p129 } a68 {p203 p83 p128 p158 p139 })
		({p211 p156 p134 p178 p17 p136 p198 p165 } a40 {p133 p203 p171 p158 p153 p60 })
		({p46 p208 p132 } a68 {p83 p208 p132 })
		({p77 p217 p160 p140 p200 p131 } a54 {p15 p160 p199 p220 p130 p141 })
		({p127 p17 p205 } a40 {p127 p205 p60 })
		({p202 p46 p137 p158 p129 p221 } a68 {p210 p83 p128 p158 p139 p201 })
		({p126 p46 p215 p199 } a68 {p126 p83 p205 p217 })
		({p21 p218 p189 p143 p124 } a45 {p51 p219 p190 p142 p125 })
		({p203 p17 p128 p158 p144 } a40 {p211 p137 p158 p209 p132 p60 })
		({p55 } a65 {p39 })
		({p46 p211 p198 p160 p140 p131 } a68 {p203 p83 p160 p130 p141 })
		({p127 p46 p217 p200 } a68 {p127 p83 p199 p220 })
		({p155 p116 p102 p17 p119 p158 p137 p174 p193 } a40 {p156 p117 p101 p178 p118 p128 p198 p104 p97 p60 })
		({p65 p148 p160 p141 p125 } a32 {p157 p161 p131 p143 p26 })
		({p107 p214 p110 p215 p217 p22 p181 p182 p220 } a49 {p107 p214 p110 p215 p217 p181 p71 p182 p220 })
		({p215 p67 p128 p158 p199 p144 } a82 {p32 p205 p137 p158 p217 p132 })
		({p127 p212 p67 p201 } a82 {p127 p32 p188 p221 })
		({p99 p81 p136 p137 p159 p206 p140 p142 p163 p164 } a59 {p29 p99 p136 p216 p137 p159 p140 p207 p142 p163 p164 })
		({p156 p170 p67 p137 p180 p129 p190 p221 p165 } a82 {p167 p32 p158 p128 p218 p139 p183 p153 p201 })
		({p155 p102 p17 p158 p137 p174 p193 p115 } a40 {p156 p101 p178 p128 p198 p104 p113 p97 p60 })
		({p99 p211 p81 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 } a59 {p29 p99 p211 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 })
		({p99 p48 p136 p137 p159 p206 p140 p142 p163 p164 } a73 {p99 p136 p216 p137 p85 p159 p140 p207 p142 p163 p164 })
		({p99 p211 p48 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 } a73 {p99 p211 p136 p137 p216 p85 p159 p217 p140 p142 p163 p221 p164 })
		({p127 p211 p204 p67 } a82 {p127 p203 p32 })
		({p127 p46 p215 p199 } a68 {p127 p83 p205 p217 })
		({p210 p21 p143 p124 p201 } a45 {p202 p51 p221 p142 p125 })
		({p176 p155 p116 p195 p107 p102 p214 p119 p67 p158 p137 p182 } a82 {p106 p156 p117 p101 p32 p118 p179 p110 p197 p128 p97 })
		({p202 p127 p67 p221 } a82 {p210 p127 p32 p201 })
		({p156 p17 p179 p197 p137 p217 p181 p129 p165 } a40 {p177 p214 p158 p128 p139 p182 p199 p153 p60 })
		({p176 p155 p195 p107 p102 p214 p67 p158 p137 p182 p115 } a82 {p106 p156 p101 p32 p179 p110 p197 p128 p113 p97 })
		({p167 p47 p215 p209 } a48 {p167 p205 p22 })
		({p194 p146 p81 p175 } a59 {p176 p29 p195 p147 p159 })
		({p134 p136 p67 p216 p158 p207 } a82 {p133 p32 p158 p206 })
		({p212 p67 p128 p158 p144 p201 } a82 {p32 p188 p137 p158 p221 p132 })
		({p40 } a81 {p67 })
		({p194 p146 p48 p175 } a73 {p176 p195 p147 p159 p85 })
		({p46 p215 p128 p158 p199 p144 } a68 {p83 p205 p137 p158 p217 p132 })
		({p127 p46 p212 p201 } a68 {p127 p188 p83 p221 })
		({p46 p156 p170 p137 p180 p129 p190 p221 p165 } a68 {p167 p83 p158 p128 p218 p139 p183 p153 p201 })
		({p133 p17 p215 p158 p199 } a40 {p127 p136 p205 p158 p217 p60 })
		({p77 p216 p137 p158 p129 p207 } a54 {p15 p128 p158 p206 p139 })
		({p75 } a61 {p12 })
		({p66 } a42 {p37 })
		({p127 p46 p211 p204 } a68 {p127 p203 p83 })
		({p127 p17 p206 } a40 {p127 p216 p208 p60 })
		({p67 p217 p160 p140 p200 p131 } a82 {p32 p160 p199 p220 p130 p141 })
		({p65 p161 p141 p125 } a32 {p161 p131 p143 p26 })
		({p94 p157 p158 p139 p54 p131 } a34 {p94 p30 p156 p160 p129 p141 })
		({p176 p155 p116 p46 p195 p107 p102 p214 p119 p158 p137 p182 } a68 {p106 p156 p117 p101 p118 p179 p110 p83 p197 p128 p97 })
		({p202 p127 p46 p221 } a68 {p210 p127 p83 p201 })
		({p81 p197 p128 p139 } a59 {p29 p197 p137 p129 })
		({p147 p67 p120 p161 p112 p174 p142 p193 p98 } a82 {p94 p100 p32 p178 p148 p111 p121 p198 p104 p124 })
		({p1 } a57 {p7 })
		({p48 p197 p128 p139 } a73 {p197 p137 p85 p129 })
		({p211 p156 p178 p17 p137 p198 p129 p165 } a40 {p203 p171 p158 p128 p139 p153 p60 })
		({p77 p148 p179 p197 p217 p138 p181 p124 p166 } a54 {p177 p15 p214 p122 p182 p161 p199 p142 p145 })
		({p4 } a2 {p31 })
		({p46 p134 p136 p216 p158 p207 } a68 {p133 p83 p158 p206 })
		({p46 p212 p128 p158 p144 p201 } a68 {p188 p83 p137 p158 p221 p132 })
		({p6 } a6 {p27 })
		({p133 p212 p17 p158 p201 } a40 {p127 p188 p136 p158 p221 p60 })
		({p116 p147 p108 p169 p119 p67 p218 p161 p191 p183 p142 p98 } a82 {p94 p100 p117 p32 p148 p118 p103 p109 p170 p190 p124 })
		({p94 p30 p145 p125 } a36 {p134 p33 p150 p96 p143 p166 p98 })
		({p147 p108 p169 p67 p218 p161 p191 p183 p142 p115 p98 } a82 {p94 p100 p32 p148 p103 p109 p170 p190 p113 p124 })
		({p128 p21 p218 p139 p189 } a45 {p51 p137 p129 p219 p190 })
		({p17 p128 p158 p206 p144 } a40 {p216 p137 p158 p208 p132 p60 })
		({p157 p170 p67 p180 p140 p190 p162 p221 p131 } a82 {p167 p32 p149 p218 p160 p183 p130 p141 p201 })
		({p58 } a5 {p78 })
		({p100 p65 p161 p143 } a32 {p100 p161 p26 p143 })
		({p167 p188 p103 p22 } a50 {p212 p108 p172 p180 p105 p208 p10 })
		({p46 p217 p160 p140 p200 p131 } a68 {p83 p160 p199 p220 p130 p141 })
		({p100 p109 p159 p121 p123 p186 p28 } a31 {p187 p99 p146 p168 p65 p112 })
		({p81 p128 p198 p139 } a59 {p29 p137 p198 p129 })
		({p127 p17 p208 } a40 {p127 p208 p60 })
		({p48 p128 p198 p139 } a73 {p137 p85 p198 p129 })
		({p13 } a9 {p16 })
		({p156 p170 p67 p128 p180 p190 p221 p165 p144 } a82 {p167 p32 p158 p137 p218 p183 p153 p201 p132 })
		({p210 p128 p21 p139 p201 } a45 {p202 p51 p137 p129 p221 })
		({p108 p169 p67 p120 p218 p160 p140 p191 p183 p112 p154 } a82 {p32 p157 p103 p109 p170 p95 p111 p121 p190 p130 })
		({p133 p203 p81 } a59 {p29 p211 p134 p204 p136 })
		({p187 p168 p81 p151 } a59 {p29 p169 p191 p163 p154 })
		({p77 p127 p216 p207 } a54 {p127 p15 p206 })
		({p133 p203 p48 } a73 {p211 p134 p204 p136 p85 })
		({p67 p216 p137 p158 p129 p207 } a82 {p32 p128 p158 p206 p139 })
		({p99 p159 p206 p142 p28 } a31 {p99 p65 p216 p159 p207 p142 })
		({p187 p48 p168 p151 } a73 {p169 p85 p191 p163 p154 })
		({p99 p211 p216 p159 p217 p142 p221 p28 } a31 {p99 p211 p65 p216 p159 p217 p142 p221 })
		({p187 p168 p51 } a46 {p109 p20 p173 p192 })
		({p116 p46 p147 p108 p169 p119 p218 p161 p191 p183 p142 p98 } a68 {p94 p100 p117 p148 p118 p103 p109 p170 p83 p190 p124 })
		({p156 p17 p179 p197 p128 p217 p181 p165 p144 } a40 {p177 p214 p158 p137 p182 p199 p153 p132 p60 })
		({p69 } a16 {p56 })
		({p46 p157 p170 p180 p140 p190 p162 p221 p131 } a68 {p167 p149 p83 p218 p160 p183 p130 p141 p201 })
		({p64 } a14 {p68 })
		({p94 p30 p125 p166 } a36 {p134 p33 p96 p143 p98 p166 })
		({p218 p189 p143 p124 p28 } a31 {p65 p219 p190 p142 p125 })
		({p148 p179 p67 p197 p217 p138 p181 p124 p166 } a82 {p177 p32 p214 p122 p182 p161 p199 p142 p145 })
		({p53 } a84 {p57 })
		({p46 p156 p170 p128 p180 p190 p221 p165 p144 } a68 {p167 p83 p158 p137 p218 p183 p153 p201 p132 })
		({p133 p156 p17 p170 p180 p190 p221 p165 } a40 {p167 p127 p136 p158 p218 p183 p153 p201 p60 })
		({p210 p143 p124 p201 p28 } a31 {p202 p65 p221 p142 p125 })
		({p77 p217 p200 p132 } a54 {p15 p199 p220 p132 })
		({p46 p216 p137 p158 p129 p207 } a68 {p83 p128 p158 p206 p139 })
		({p187 p168 p81 p152 } a59 {p29 p155 p169 p191 p164 })
		({p101 p67 p158 p160 p161 p190 p221 p142 p125 } a82 {p32 p101 p158 p218 p160 p161 p143 p124 p201 })
		({p187 p48 p168 p152 } a73 {p155 p169 p85 p191 p164 })
		({p133 p203 p67 p158 } a82 {p127 p211 p32 p136 p158 p209 })
		({p60 } a41 {p66 })
		({p77 p215 p199 p132 } a54 {p15 p205 p217 p132 })
		({p211 p156 p178 p17 p128 p198 p165 p144 } a40 {p203 p171 p158 p137 p153 p132 p60 })
		({p199 p220 p143 p124 p28 } a31 {p65 p217 p142 p200 p125 })
		({p77 p148 p179 p197 p217 p181 p142 p166 p125 } a54 {p177 p15 p214 p182 p161 p199 p143 p124 p145 })
		({p77 p100 p101 p217 p122 p200 } a54 {p100 p15 p101 p122 p199 p220 })
		({p46 p148 p179 p197 p217 p138 p181 p124 p166 } a68 {p177 p214 p83 p122 p182 p161 p199 p142 p145 })
		({p15 } a55 {p0 })
		({p116 p147 p119 p67 p161 p174 p142 p193 p98 } a82 {p94 p100 p117 p32 p178 p148 p118 p198 p104 p124 })
		({p211 p178 p148 p67 p138 p198 p124 p166 } a82 {p203 p32 p171 p122 p161 p142 p145 })
		({p127 p67 p216 p207 } a82 {p127 p32 p206 })
		({p147 p67 p161 p174 p142 p193 p115 p98 } a82 {p94 p100 p32 p178 p148 p198 p104 p113 p124 })
		({p77 p100 p101 p215 p122 p199 } a54 {p100 p15 p101 p205 p217 p122 })
		({p77 p133 p158 p206 } a54 {p127 p15 p136 p216 p158 p208 })
		({p187 p168 p108 p102 p17 p137 p120 p180 p219 p152 p112 p165 } a40 {p167 p101 p103 p109 p128 p111 p121 p189 p153 p164 p97 p60 })
		({p17 p197 p137 p158 p217 p129 } a40 {p214 p128 p158 p139 p199 p60 })
		({p167 p47 p201 } a48 {p167 p22 p201 })
		({p46 p101 p158 p160 p161 p190 p221 p142 p125 } a68 {p101 p83 p158 p218 p160 p161 p143 p124 p201 })
		({p74 } a43 {p45 })
		({p133 p46 p203 p158 } a68 {p127 p211 p136 p83 p158 p209 })
		({p67 p120 p160 p140 p112 p174 p193 p154 } a82 {p32 p178 p157 p95 p111 p121 p198 p104 p130 })
		({p77 p216 p160 p140 p207 p131 } a54 {p15 p206 p160 p130 p141 })
		({p211 p17 p137 p158 p198 p129 } a40 {p203 p128 p158 p139 p60 })
		({p77 p100 p101 p158 p138 p206 p160 p161 p124 } a54 {p100 p15 p101 p216 p158 p122 p160 p161 p142 p208 })
		({p18 } a11 {p23 })
		({p116 p46 p147 p119 p161 p174 p142 p193 p98 } a68 {p94 p100 p117 p178 p148 p118 p83 p198 p104 p124 })
		({p203 p17 p132 } a40 {p211 p209 p132 p60 })
		({p67 p217 p200 p132 } a82 {p32 p199 p220 p132 })
		({p46 p211 p178 p148 p138 p198 p124 p166 } a68 {p203 p83 p171 p122 p161 p142 p145 })
		({p127 p46 p216 p207 } a68 {p127 p83 p206 })
		({p77 p133 p156 p179 p197 p217 p181 p165 } a54 {p127 p177 p15 p214 p136 p158 p182 p199 p153 })
		({p210 p21 p130 p141 p201 } a45 {p202 p51 p140 p221 p131 })
		({p116 p108 p169 p119 p67 p218 p160 p140 p191 p183 p154 } a82 {p117 p32 p157 p118 p103 p109 p170 p95 p190 p130 })
		({p134 p17 p136 p158 p217 p200 } a40 {p133 p158 p199 p220 p60 })
		({p108 p169 p67 p218 p160 p140 p191 p183 p154 p115 } a82 {p32 p157 p103 p109 p170 p95 p190 p130 p113 })
		({p79 p118 p119 } a63 {p118 p119 p55 })
		({p215 p67 p199 p132 } a82 {p32 p205 p217 p132 })
		({p167 p202 p47 } a48 {p167 p202 p22 })
		({p47 p203 p107 p171 p217 p181 p104 } a48 {p106 p211 p177 p22 p199 })
		({p148 p179 p67 p197 p217 p181 p142 p166 p125 } a82 {p177 p32 p214 p182 p161 p199 p143 p124 p145 })
		({p21 p130 p141 p221 } a45 {p51 p140 p221 p131 })
		({p100 p101 p67 p217 p122 p200 } a82 {p100 p32 p101 p122 p199 p220 })
		({p17 p205 p132 } a40 {p205 p132 p60 })
		({p100 p101 p215 p67 p122 p199 } a82 {p100 p32 p101 p205 p217 p122 })
		({p133 p67 p158 p206 } a82 {p127 p32 p136 p216 p158 p208 })
		({p133 p81 p206 } a59 {p29 p134 p136 p216 p207 })
		({p77 p157 p179 p197 p217 p138 p181 p162 p124 } a54 {p177 p15 p214 p149 p160 p122 p182 p199 p142 })
		({p133 p48 p206 } a73 {p134 p136 p216 p85 p207 })
		({p46 p217 p200 p132 } a68 {p83 p199 p220 p132 })
		({p94 p135 p54 p140 p141 p145 } a34 {p94 p30 p135 p140 p141 p145 })
		({p203 p81 p128 p139 } a59 {p29 p211 p204 p137 p129 })
		({p212 p67 p201 p132 } a82 {p32 p188 p221 p132 })
		({p116 p46 p108 p169 p119 p218 p160 p140 p191 p183 p154 } a68 {p117 p157 p118 p103 p109 p170 p95 p83 p190 p130 })
		({p30 p101 p102 p137 p158 p139 p144 p165 } a35 {p101 p102 p2 p137 p158 p139 p144 p165 })
		({p203 p48 p128 p139 } a73 {p211 p204 p137 p85 p129 })
		({p211 p204 p67 p132 } a82 {p203 p32 p132 })
		({p46 p215 p199 p132 } a68 {p83 p205 p217 p132 })
		({p24 } a13 {p19 })
		({p73 } a19 {p70 })
		({p187 p146 p168 p21 } a45 {p147 p169 p51 p159 p191 })
		({p46 p148 p179 p197 p217 p181 p142 p166 p125 } a68 {p177 p214 p83 p182 p161 p199 p143 p124 p145 })
		({p211 p134 p17 p204 p136 p158 } a40 {p133 p203 p158 p60 })
		({p202 p67 p221 p132 } a82 {p210 p32 p201 p132 })
		({p47 p107 p178 p214 p198 p182 p104 } a48 {p106 p179 p197 p22 })
		({p211 p178 p148 p67 p198 p142 p166 p125 } a82 {p203 p32 p171 p161 p143 p124 p145 })
		({p46 p100 p101 p217 p122 p200 } a68 {p100 p101 p83 p122 p199 p220 })
		({p79 p111 } a64 {p82 p120 p114 })
		({p202 p134 p17 p136 p158 p221 } a40 {p210 p133 p158 p201 p60 })
		({p133 p156 p179 p67 p197 p217 p181 p165 } a82 {p127 p177 p32 p214 p136 p158 p182 p199 p153 })
		({p46 p100 p101 p215 p122 p199 } a68 {p100 p101 p83 p205 p217 p122 })
		({p133 p46 p158 p206 } a68 {p127 p136 p83 p216 p158 p208 })
		({p167 p210 p212 p103 p22 p221 } a50 {p210 p212 p108 p172 p180 p105 p221 p10 })
		({p77 p156 p179 p197 p217 p138 p181 p165 p124 } a54 {p177 p15 p214 p158 p122 p182 p199 p142 p153 })
		({p46 p212 p201 p132 } a68 {p188 p83 p221 p132 })
		({p17 p137 p158 p217 p129 p200 } a40 {p128 p158 p139 p199 p220 p60 })
		({p46 p211 p204 p132 } a68 {p203 p83 p132 })
		({p210 p109 p51 p218 p183 } a46 {p210 p109 p20 p218 p183 })
		({p176 p155 p195 p107 p102 p17 p214 p158 p137 p120 p182 p112 } a40 {p106 p156 p101 p179 p110 p197 p128 p111 p121 p97 p60 })
		({p17 p206 p132 } a40 {p216 p208 p132 p60 })
		({p202 p46 p221 p132 } a68 {p210 p83 p201 p132 })
		({p46 p211 p178 p148 p198 p142 p166 p125 } a68 {p203 p83 p171 p161 p143 p124 p145 })
		({p157 p179 p67 p197 p217 p138 p181 p162 p124 } a82 {p177 p32 p214 p149 p160 p122 p182 p199 p142 })
		({p155 p108 p102 p169 p67 p158 p137 p120 p218 p191 p183 p112 } a82 {p156 p101 p32 p103 p109 p170 p128 p111 p121 p190 p97 })
		({p116 p119 p67 p160 p140 p174 p193 p154 } a82 {p117 p32 p178 p157 p118 p95 p198 p104 p130 })
		({p99 p210 p81 p136 p137 p159 p140 p142 p163 p164 p201 } a59 {p29 p99 p202 p136 p137 p159 p140 p221 p142 p163 p164 })
		({p77 p101 p197 p158 p217 p160 p161 p142 p125 } a54 {p15 p101 p214 p158 p160 p161 p199 p143 p124 })
		({p101 p54 p154 } a34 {p155 p30 })
		({p67 p160 p140 p174 p193 p154 p115 } a82 {p32 p178 p157 p95 p198 p104 p130 p113 })
		({p133 p46 p156 p179 p197 p217 p181 p165 } a68 {p127 p177 p214 p136 p83 p158 p182 p199 p153 })
		({p99 p210 p48 p136 p137 p159 p140 p142 p163 p164 p201 } a73 {p99 p202 p136 p137 p85 p159 p140 p221 p142 p163 p164 })
		({p111 p12 } a62 {p79 p111 })
		({p133 p211 p156 p178 p67 p198 p165 } a82 {p127 p203 p32 p136 p171 p158 p153 })
		({p99 p78 p185 } a20 {p3 p123 p186 })
		({p133 p81 p190 } a59 {p29 p134 p136 p190 })
		({p156 p134 p17 p170 p136 p180 p190 p221 p165 } a40 {p167 p133 p158 p218 p183 p153 p201 p60 })
		({p133 p48 p190 } a73 {p134 p136 p85 p190 })
		({p47 p107 p204 p171 p181 p104 p220 } a48 {p106 p177 p22 p200 })
		({p99 p81 p136 p137 p159 p140 p199 p220 p142 p163 p164 } a59 {p29 p99 p136 p137 p217 p159 p140 p142 p163 p200 p164 })
		({p94 p30 p136 p124 p145 } a36 {p133 p33 p150 p96 p142 p166 p98 })
		({p94 p157 p158 p54 p140 p141 } a34 {p94 p30 p156 p160 p140 p141 })
		({p99 p48 p136 p137 p159 p140 p199 p220 p142 p163 p164 } a73 {p99 p136 p137 p217 p85 p159 p140 p142 p163 p200 p164 })
		({p146 p173 p192 p28 } a31 {p147 p65 p159 p174 p193 })
		({p77 p157 p179 p197 p217 p181 p162 p142 p125 } a54 {p177 p15 p214 p149 p160 p182 p199 p143 p124 })
		({p72 } a70 {p61 })
		({p211 p17 p204 p137 p158 p129 } a40 {p203 p128 p158 p139 p60 })
		({p17 p208 p132 } a40 {p208 p132 p60 })
		({p46 p157 p179 p197 p217 p138 p181 p162 p124 } a68 {p177 p214 p149 p83 p160 p122 p182 p199 p142 })
		({p116 p46 p119 p160 p140 p174 p193 p154 } a68 {p117 p178 p157 p118 p95 p83 p198 p104 p130 })
		({p202 p17 p137 p158 p129 p221 } a40 {p210 p128 p158 p139 p201 p60 })
		({p211 p178 p157 p67 p138 p198 p162 p124 } a82 {p203 p32 p149 p171 p160 p122 p142 })
		({p156 p179 p67 p197 p217 p138 p181 p165 p124 } a82 {p177 p32 p214 p158 p122 p182 p199 p142 p153 })
		({p202 p109 p51 p183 } a46 {p210 p204 p109 p20 p183 })
		({p82 } a67 {p46 })
		({p187 p146 p168 p108 p67 p120 p180 p219 p112 p142 p166 p98 } a82 {p167 p94 p100 p32 p103 p109 p111 p159 p121 p189 p124 p145 })
		({p133 p46 p211 p156 p178 p198 p165 } a68 {p127 p203 p136 p83 p171 p158 p153 })
		({p127 p17 p217 p200 } a40 {p127 p199 p220 p60 })
		({p77 p216 p207 p132 } a54 {p15 p206 p132 })
		({p2 } a37 {p62 })
		({p119 p113 p12 } a62 {p79 p117 })
		({p127 p17 p215 p199 } a40 {p127 p205 p217 p60 })
		({p103 p180 p22 } a50 {p108 p180 p105 p10 })
		({p36 } a23 {p8 })
		({p71 } a51 {p76 })
		({p118 p115 p12 } a62 {p116 p79 })
		({p94 p30 p136 p124 p166 } a36 {p133 p33 p96 p142 p98 p166 })
		({p101 p67 p197 p158 p217 p160 p161 p142 p125 } a82 {p32 p101 p214 p158 p160 p161 p199 p143 p124 })
		({p77 p100 p101 p216 p122 p207 } a54 {p100 p15 p101 p206 p122 })
		({p77 p156 p179 p197 p217 p181 p142 p165 p125 } a54 {p177 p15 p214 p158 p182 p199 p153 p143 p124 })
		({p25 } a71 {p9 })
		({p46 p211 p178 p157 p138 p198 p162 p124 } a68 {p203 p149 p83 p171 p160 p122 p142 })
		({p46 p156 p179 p197 p217 p138 p181 p165 p124 } a68 {p177 p214 p83 p158 p122 p182 p199 p142 p153 })
		({p81 p128 p206 p139 } a59 {p29 p216 p137 p129 p207 })
		({p77 p157 p135 p179 p197 p217 p181 p162 p130 } a54 {p126 p177 p15 p214 p149 p160 p182 p140 p199 })
		({p187 p146 p168 p28 } a31 {p147 p65 p169 p159 p191 })
		({p94 p139 p54 p131 p145 } a34 {p94 p30 p129 p141 p145 })
		({p211 p156 p178 p67 p138 p198 p165 p124 } a82 {p203 p32 p171 p158 p122 p142 p153 })
		({p23 } a12 {p43 })
		({p48 p128 p206 p139 } a73 {p216 p137 p85 p129 p207 })
		({p211 p101 p67 p158 p198 p160 p161 p142 p125 } a82 {p203 p32 p101 p158 p160 p161 p143 p124 })
		({p77 p156 p134 p179 p136 p197 p217 p181 p165 } a54 {p133 p177 p15 p214 p158 p182 p199 p153 })
		({p16 } a10 {p58 })
		({p17 p215 p128 p158 p199 p144 } a40 {p205 p137 p158 p217 p132 p60 })
		({p127 p212 p17 p201 } a40 {p127 p188 p221 p60 })
		({p156 p17 p170 p137 p180 p129 p190 p221 p165 } a40 {p167 p158 p128 p218 p139 p183 p153 p201 p60 })
		({p47 p203 p103 p171 p217 p181 } a48 {p211 p177 p103 p22 p199 })
		({p157 p179 p67 p197 p217 p181 p162 p142 p125 } a82 {p177 p32 p214 p149 p160 p182 p199 p143 p124 })
		({p176 p77 p195 p107 p147 p214 p120 p182 p161 p112 p142 p98 } a54 {p106 p94 p100 p15 p148 p179 p110 p197 p111 p121 p124 })
		({p155 p102 p67 p158 p137 p120 p112 p174 p193 } a82 {p156 p101 p32 p178 p128 p111 p121 p198 p104 p97 })
		({p127 p211 p17 p204 } a40 {p127 p203 p60 })
		({p126 p102 p149 p95 p54 p165 p144 } a34 {p30 p135 p162 p153 p97 p132 })
		({p176 p155 p116 p195 p107 p102 p17 p214 p119 p158 p137 p182 } a40 {p106 p156 p117 p101 p118 p179 p110 p197 p128 p97 p60 })
		({p202 p127 p17 p221 } a40 {p210 p127 p201 p60 })
		({p197 p143 p124 p28 } a31 {p65 p197 p142 p125 })
		({p46 p101 p197 p158 p217 p160 p161 p142 p125 } a68 {p101 p214 p83 p158 p160 p161 p199 p143 p124 })
		({p176 p155 p195 p107 p102 p17 p214 p158 p137 p182 p115 } a40 {p106 p156 p101 p179 p110 p197 p128 p113 p97 p60 })
		({p99 p210 p159 p142 p201 p28 } a31 {p99 p202 p65 p159 p221 p142 })
		({p77 p101 p158 p217 p160 p161 p142 p200 p125 } a54 {p15 p101 p158 p160 p161 p199 p220 p143 p124 })
		({p67 p216 p207 p132 } a82 {p32 p206 p132 })
		({p155 p116 p108 p102 p169 p119 p67 p158 p137 p218 p191 p183 } a82 {p156 p117 p101 p32 p118 p103 p109 p170 p128 p190 p97 })
		({p187 p168 p21 p151 } a45 {p169 p51 p191 p163 p154 })
		({p81 p196 p214 p143 p124 } a59 {p29 p213 p197 p142 p125 })
		({p167 p103 p216 p22 p201 } a50 {p108 p172 p180 p206 p105 p221 p10 })
		({p85 } a74 {p49 })
		({p155 p108 p102 p169 p67 p158 p137 p218 p191 p183 p115 } a82 {p156 p101 p32 p103 p109 p170 p128 p190 p113 p97 })
		({p14 } a76 {p34 })
		({p48 p196 p214 p143 p124 } a73 {p213 p197 p85 p142 p125 })
		({p46 p211 p156 p178 p138 p198 p165 p124 } a68 {p203 p83 p171 p158 p122 p142 p153 })
		({p212 p17 p128 p158 p144 p201 } a40 {p188 p137 p158 p221 p132 p60 })
		({p46 p211 p101 p158 p198 p160 p161 p142 p125 } a68 {p203 p101 p83 p158 p160 p161 p143 p124 })
		({p8 } a8 {p80 })
		({p68 p86 } a86 {p69 p87 p42 })
		({p77 p135 p206 p160 p130 } a54 {p126 p15 p216 p160 p140 p208 })
		({p102 p149 p95 p137 p54 p130 p165 } a34 {p30 p128 p140 p162 p153 p97 })
		({p99 p159 p199 p220 p142 p28 } a31 {p99 p65 p217 p159 p142 p200 })
		({p77 p127 p205 } a54 {p127 p15 p205 })
		({p46 p157 p179 p197 p217 p181 p162 p142 p125 } a68 {p177 p214 p149 p83 p160 p182 p199 p143 p124 })
		({p47 p178 p214 p103 p198 p182 } a48 {p103 p179 p197 p22 })
		({p33 } a39 {p17 })
		({p211 p178 p157 p67 p198 p162 p142 p125 } a82 {p203 p32 p149 p171 p160 p143 p124 })
		({p156 p179 p67 p197 p217 p181 p142 p165 p125 } a82 {p177 p32 p214 p158 p182 p199 p153 p143 p124 })
		({p9 } a72 {p48 })
		({p47 p107 p215 p171 p181 p104 p209 } a48 {p106 p177 p205 p22 })
		({p167 p47 p188 } a48 {p167 p188 p22 })
		({p198 p143 p124 p28 } a31 {p65 p198 p142 p125 })
		({p68 p87 p88 } a87 {p69 p87 p89 p74 })
		({p157 p135 p179 p67 p197 p217 p181 p162 p130 } a82 {p126 p177 p32 p214 p149 p160 p182 p140 p199 })
		({p156 p134 p179 p136 p67 p197 p217 p181 p165 } a82 {p133 p177 p32 p214 p158 p182 p199 p153 })
		({p46 p216 p207 p132 } a68 {p83 p206 p132 })
		({p155 p116 p46 p108 p102 p169 p119 p158 p137 p218 p191 p183 } a68 {p156 p117 p101 p118 p103 p109 p170 p83 p128 p190 p97 })
		({p94 p30 p138 p142 p143 p145 } a36 {p33 p150 p96 p138 p142 p143 p166 p98 })
		({p187 p168 p21 p152 } a45 {p155 p169 p51 p191 p164 })
		({p176 p195 p107 p147 p214 p67 p120 p182 p161 p112 p142 p98 } a82 {p106 p94 p100 p32 p148 p179 p110 p197 p111 p121 p124 })
		({p81 p128 p139 p190 } a59 {p29 p137 p129 p190 })
		({p77 p156 p179 p197 p137 p217 p181 p129 p165 } a54 {p177 p15 p214 p158 p128 p139 p182 p199 p153 })
		({p93 p68 p87 p89 p91 } a85 {p93 p87 p89 p91 p44 })
		({p167 p94 p31 p103 p111 p122 p184 p145 } a18 {p108 p120 p180 p138 p73 p185 p166 p98 })
		({p48 p128 p139 p190 } a73 {p137 p85 p129 p190 })
		({p67 p137 p158 p129 p190 p221 } a82 {p32 p128 p158 p218 p139 p201 })
		({p127 p203 p67 } a82 {p127 p211 p32 p209 })
		({p194 p146 p175 p28 } a31 {p176 p195 p147 p65 p159 })
		({p46 p211 p178 p157 p198 p162 p142 p125 } a68 {p203 p149 p83 p171 p160 p143 p124 })
		({p126 p77 p206 } a54 {p126 p15 p216 p208 })
		({p46 p156 p179 p197 p217 p181 p142 p165 p125 } a68 {p177 p214 p83 p158 p182 p199 p153 p143 p124 })
		({p101 p67 p158 p217 p160 p161 p142 p200 p125 } a82 {p32 p101 p158 p160 p161 p199 p220 p143 p124 })
		({p211 p156 p178 p67 p198 p142 p165 p125 } a82 {p203 p32 p171 p158 p153 p143 p124 })
		({p101 p151 p54 p164 } a34 {p30 p152 p163 })
		({p79 p120 } a64 {p82 p120 })
		({p46 p157 p135 p179 p197 p217 p181 p162 p130 } a68 {p126 p177 p214 p149 p83 p160 p182 p140 p199 })
		({p156 p17 p170 p128 p180 p190 p221 p165 p144 } a40 {p167 p158 p137 p218 p183 p153 p201 p132 p60 })
		({p77 p133 p215 p158 p199 } a54 {p127 p15 p136 p205 p158 p217 })
		({p211 p178 p157 p135 p67 p198 p162 p130 } a82 {p126 p203 p32 p149 p171 p160 p140 })
		({p46 p156 p134 p179 p136 p197 p217 p181 p165 } a68 {p133 p177 p214 p83 p158 p182 p199 p153 })
		({p102 p149 p95 p139 p54 p131 p165 } a34 {p30 p129 p162 p141 p153 p97 })
		({p77 p127 p206 } a54 {p127 p15 p216 p208 })
		({p20 } a47 {p47 })
		({p47 p204 p103 p171 p181 p220 } a48 {p177 p103 p22 p200 })
		({p211 p156 p134 p178 p136 p67 p198 p165 } a82 {p133 p203 p32 p171 p158 p153 })
		({p27 } a15 {p50 })
		({p41 } a27 {p18 })
		({p127 p67 p205 } a82 {p127 p32 p205 })
		({p17 p216 p137 p158 p129 p207 } a40 {p128 p158 p206 p139 p60 })
		({p94 p30 p138 p142 p143 p166 } a36 {p33 p96 p138 p142 p143 p98 p166 })
		({p187 p116 p46 p146 p168 p108 p119 p180 p219 p142 p166 p98 } a68 {p167 p94 p100 p117 p118 p103 p109 p83 p159 p189 p124 p145 })
		({p203 p67 p128 p158 p144 } a82 {p211 p32 p137 p158 p209 p132 })
		({p46 p137 p158 p129 p190 p221 } a68 {p83 p128 p158 p218 p139 p201 })
		({p148 p170 p67 p180 p138 p190 p221 p124 p166 } a82 {p167 p32 p218 p122 p161 p183 p142 p201 p145 })
		({p127 p46 p203 } a68 {p127 p211 p83 p209 })
		({p176 p77 p116 p195 p107 p147 p214 p119 p182 p161 p142 p98 } a54 {p106 p94 p100 p15 p117 p148 p118 p179 p110 p197 p124 })
		({p155 p116 p102 p119 p67 p158 p137 p174 p193 } a82 {p156 p117 p101 p32 p178 p118 p128 p198 p104 p97 })
		({p176 p77 p195 p107 p147 p214 p182 p161 p142 p115 p98 } a54 {p106 p94 p100 p15 p148 p179 p110 p197 p113 p124 })
		({p155 p102 p67 p158 p137 p174 p193 p115 } a82 {p156 p101 p32 p178 p128 p198 p104 p113 p97 })
		({p46 p101 p158 p217 p160 p161 p142 p200 p125 } a68 {p101 p83 p158 p160 p161 p199 p220 p143 p124 })
		({p77 p100 p101 p215 p158 p138 p160 p161 p199 p124 } a54 {p100 p15 p101 p205 p158 p217 p122 p160 p161 p142 })
		({p0 } a56 {p84 })
		({p46 p211 p156 p178 p198 p142 p165 p125 } a68 {p203 p83 p171 p158 p153 p143 p124 })
		({p77 p128 p158 p206 p144 } a54 {p15 p216 p137 p158 p208 p132 })
		({p83 } a69 {p72 })
		({p46 p211 p178 p157 p135 p198 p162 p130 } a68 {p126 p203 p149 p83 p171 p160 p140 })
		({p156 p179 p67 p197 p137 p217 p181 p129 p165 } a82 {p177 p32 p214 p158 p128 p139 p182 p199 p153 })
		({p46 p211 p156 p134 p178 p136 p198 p165 } a68 {p133 p203 p83 p171 p158 p153 })
		({p35 } a22 {p38 })
		({p127 p46 p205 } a68 {p127 p83 p205 })
		({p176 p77 p195 p107 p214 p120 p160 p182 p140 p112 p154 } a54 {p106 p15 p157 p179 p110 p95 p197 p111 p121 p130 })
		({p77 p157 p179 p197 p217 p181 p140 p162 p131 } a54 {p177 p15 p214 p149 p160 p182 p199 p130 p141 })
		({p77 p127 p208 } a54 {p127 p15 p208 })
		({p46 p203 p128 p158 p144 } a68 {p211 p83 p137 p158 p209 p132 })
		({p210 p133 p81 p201 } a59 {p29 p202 p134 p136 p221 })
		({p133 p203 p17 p158 } a40 {p127 p211 p136 p158 p209 p60 })
		({p46 p148 p170 p180 p138 p190 p221 p124 p166 } a68 {p167 p83 p218 p122 p161 p183 p142 p201 p145 })
		({p102 p157 p95 p158 p137 p54 p130 } a34 {p30 p156 p128 p160 p140 p97 })
		({p100 p81 p109 p159 p121 p123 p186 } a59 {p187 p99 p29 p146 p168 p112 })
		({p210 p133 p48 p201 } a73 {p202 p134 p136 p85 p221 })
		({p147 p65 } a32 {p100 p26 p154 })
		({p155 p116 p46 p102 p119 p158 p137 p174 p193 } a68 {p156 p117 p101 p178 p118 p83 p128 p198 p104 p97 })
		({p100 p48 p109 p159 p121 p123 p186 } a73 {p187 p99 p146 p168 p85 p112 })
		({p133 p215 p67 p158 p199 } a82 {p127 p32 p136 p205 p158 p217 })
		({p77 p156 p179 p197 p128 p217 p181 p165 p144 } a54 {p177 p15 p214 p158 p137 p182 p199 p153 p132 })
		({p127 p67 p206 } a82 {p127 p32 p216 p208 })
		({p167 p47 p214 p198 } a48 {p167 p197 p22 })
		({p133 p81 p199 p220 } a59 {p29 p134 p136 p217 p200 })
		({p127 p17 p216 p207 } a40 {p127 p206 p60 })
		({p43 } a28 {p24 })
		({p46 p156 p179 p197 p137 p217 p181 p129 p165 } a68 {p177 p214 p83 p158 p128 p139 p182 p199 p153 })
		({p133 p48 p199 p220 } a73 {p134 p136 p217 p85 p200 })
		({p211 p156 p178 p67 p137 p198 p129 p165 } a82 {p203 p32 p171 p158 p128 p139 p153 })
		({p26 } a33 {p54 })
		({p176 p116 p195 p107 p147 p214 p119 p67 p182 p161 p142 p98 } a82 {p106 p94 p100 p117 p32 p148 p118 p179 p110 p197 p124 })
		({p81 p218 p189 p143 p124 } a59 {p29 p219 p190 p142 p125 })
		({p176 p195 p107 p147 p214 p67 p182 p161 p142 p115 p98 } a82 {p106 p94 p100 p32 p148 p179 p110 p197 p113 p124 })
		({p100 p101 p215 p67 p158 p138 p160 p161 p199 p124 } a82 {p100 p32 p101 p205 p158 p217 p122 p160 p161 p142 })
		({p10 } a53 {p77 })
		({p48 p218 p189 p143 p124 } a73 {p85 p219 p190 p142 p125 })
		({p7 } a58 {p81 })
		({p133 p212 p67 p158 p201 } a82 {p127 p32 p188 p136 p158 p221 })
		({p67 p128 p158 p206 p144 } a82 {p32 p216 p137 p158 p208 p132 })
		({p133 p46 p215 p158 p199 } a68 {p127 p136 p83 p205 p158 p217 })
		({p127 p46 p206 } a68 {p127 p83 p216 p208 })
		({p38 } a25 {p41 })
		({p17 p217 p200 p132 } a40 {p199 p220 p132 p60 })
		({p176 p195 p107 p214 p67 p120 p160 p182 p140 p112 p154 } a82 {p106 p32 p157 p179 p110 p95 p197 p111 p121 p130 })
		({p148 p170 p67 p180 p190 p221 p142 p166 p125 } a82 {p167 p32 p218 p161 p183 p143 p124 p201 p145 })
		({p203 p143 p124 p28 } a31 {p211 p65 p204 p142 p125 })
		({p157 p179 p67 p197 p217 p181 p140 p162 p131 } a82 {p177 p32 p214 p149 p160 p182 p199 p130 p141 })
		({p127 p67 p208 } a82 {p127 p32 p208 })
		({p46 p211 p156 p178 p137 p198 p129 p165 } a68 {p203 p83 p171 p158 p128 p139 p153 })
		({p29 p112 } a60 {p121 p75 p115 })
		({p17 p215 p199 p132 } a40 {p205 p217 p132 p60 })
		({p102 p157 p95 p158 p139 p54 p131 } a34 {p30 p156 p160 p129 p141 p97 })
		({p176 p116 p46 p195 p107 p147 p214 p119 p182 p161 p142 p98 } a68 {p106 p94 p100 p117 p148 p118 p179 p110 p83 p197 p124 })
		({p45 } a44 {p21 })
		({p170 p51 p190 } a46 {p178 p20 p198 p218 p183 })
		({p47 p103 p215 p171 p181 p209 } a48 {p177 p103 p205 p22 })
		({p46 p100 p101 p215 p158 p138 p160 p161 p199 p124 } a68 {p100 p101 p83 p205 p158 p217 p122 p160 p161 p142 })
		({p81 p199 p220 p143 p124 } a59 {p29 p217 p142 p200 p125 })
		({p50 } a0 {p38 })
		({p99 p210 p136 p137 p21 p159 p140 p142 p163 p164 p201 } a45 {p99 p202 p51 p136 p137 p159 p140 p221 p142 p163 p164 })
		({p67 p160 p140 p190 p221 p131 } a82 {p32 p218 p160 p130 p141 p201 })
		({p133 p46 p212 p158 p201 } a68 {p127 p188 p136 p83 p158 p221 })
		({p48 p199 p220 p143 p124 } a73 {p217 p85 p142 p200 p125 })
		({p156 p179 p67 p197 p128 p217 p181 p165 p144 } a82 {p177 p32 p214 p158 p137 p182 p199 p153 p132 })
		({p77 p101 p216 p158 p160 p161 p207 p142 p125 } a54 {p15 p101 p158 p206 p160 p161 p143 p124 })
		({p46 p128 p158 p206 p144 } a68 {p83 p216 p137 p158 p208 p132 })
		({p77 p197 p137 p158 p217 p129 } a54 {p15 p214 p128 p158 p139 p199 })
		({p133 p17 p158 p206 } a40 {p127 p136 p216 p158 p208 p60 })
		({p46 p148 p170 p180 p190 p221 p142 p166 p125 } a68 {p167 p83 p218 p161 p183 p143 p124 p201 p145 })
		({p99 p136 p137 p21 p159 p140 p142 p163 p221 p164 } a45 {p99 p51 p136 p137 p159 p140 p142 p163 p221 p164 })
		({p212 p17 p201 p132 } a40 {p188 p221 p132 p60 })
		({p46 p157 p179 p197 p217 p181 p140 p162 p131 } a68 {p177 p214 p149 p83 p160 p182 p199 p130 p141 })
		({p127 p46 p208 } a68 {p127 p83 p208 })
		({p211 p178 p157 p67 p198 p140 p162 p131 } a82 {p203 p32 p149 p171 p160 p130 p141 })
		({p211 p17 p204 p132 } a40 {p203 p132 p60 })
		({p30 p98 } a36 {p33 p98 })
		({p176 p77 p116 p195 p107 p214 p119 p160 p182 p140 p154 } a54 {p106 p15 p117 p157 p118 p179 p110 p95 p197 p130 })
		({p133 p156 p170 p67 p180 p190 p221 p165 } a82 {p167 p127 p32 p136 p158 p218 p183 p153 p201 })
		({p176 p77 p195 p107 p214 p160 p182 p140 p154 p115 } a54 {p106 p15 p157 p179 p110 p95 p197 p130 p113 })
		({p202 p17 p221 p132 } a40 {p210 p201 p132 p60 })
		({p46 p160 p140 p190 p221 p131 } a68 {p83 p218 p160 p130 p141 p201 })
		({p46 p156 p179 p197 p128 p217 p181 p165 p144 } a68 {p177 p214 p83 p158 p137 p182 p199 p153 p132 })
		({p77 p134 p136 p158 p217 p200 } a54 {p133 p15 p158 p199 p220 })
		({p211 p156 p178 p67 p128 p198 p165 p144 } a82 {p203 p32 p171 p158 p137 p153 p132 })
		({p133 p156 p17 p179 p197 p217 p181 p165 } a40 {p127 p177 p214 p136 p158 p182 p199 p153 p60 })
		({p81 p128 p218 p139 p189 } a59 {p29 p137 p129 p219 p190 })
		({p48 p128 p218 p139 p189 } a73 {p137 p85 p129 p219 p190 })
		({p77 p205 p132 } a54 {p15 p205 p132 })
		({p157 p170 p67 p180 p138 p190 p162 p221 p124 } a82 {p167 p32 p149 p218 p160 p122 p183 p142 p201 })
		({p81 p213 p217 p219 p143 p124 } a59 {p29 p213 p217 p219 p142 p125 })
		({p46 p211 p178 p157 p198 p140 p162 p131 } a68 {p203 p149 p83 p171 p160 p130 p141 })
		({p48 p213 p217 p219 p143 p124 } a73 {p213 p85 p217 p219 p142 p125 })
		({p133 p46 p156 p170 p180 p190 p221 p165 } a68 {p167 p127 p136 p83 p158 p218 p183 p153 p201 })
		({p210 p81 p128 p139 p201 } a59 {p29 p202 p137 p129 p221 })
		({p21 p190 p143 p124 } a45 {p51 p190 p142 p125 })
		({p210 p48 p128 p139 p201 } a73 {p202 p137 p85 p129 p221 })
		({p67 p197 p137 p158 p217 p129 } a82 {p32 p214 p128 p158 p139 p199 })
		({p34 } a78 {p40 })
		({p155 p108 p102 p17 p169 p158 p137 p120 p218 p191 p183 p112 } a40 {p156 p101 p103 p109 p170 p128 p111 p121 p190 p97 p60 })
		({p94 p135 p149 p54 p140 p141 p165 } a34 {p94 p30 p135 p140 p162 p141 p153 })
		({p49 } a75 {p14 })
		({p52 } a30 {p28 })
		({p46 p211 p156 p178 p128 p198 p165 p144 } a68 {p203 p83 p171 p158 p137 p153 p132 })
		({p167 p47 p203 p217 } a48 {p167 p211 p22 p199 })
		({p133 p211 p156 p178 p17 p198 p165 } a40 {p127 p203 p136 p171 p158 p153 p60 })
		({p81 p128 p139 p199 p220 } a59 {p29 p137 p217 p129 p200 })
		({p211 p67 p137 p158 p198 p129 } a82 {p203 p32 p128 p158 p139 })
		({p48 p128 p139 p199 p220 } a73 {p137 p217 p85 p129 p200 })
		({p176 p116 p195 p107 p214 p119 p67 p160 p182 p140 p154 } a82 {p106 p117 p32 p157 p118 p179 p110 p95 p197 p130 })
		({p176 p195 p107 p214 p67 p160 p182 p140 p154 p115 } a82 {p106 p32 p157 p179 p110 p95 p197 p130 p113 })
		({p46 p157 p170 p180 p138 p190 p162 p221 p124 } a68 {p167 p149 p83 p218 p160 p122 p183 p142 p201 })
		({p203 p67 p132 } a82 {p211 p32 p209 p132 })
		({p156 p170 p67 p180 p138 p190 p221 p165 p124 } a82 {p167 p32 p158 p218 p122 p183 p142 p153 p201 })
		({p47 p110 p173 p192 } a48 {p194 p22 p175 })
		({p134 p136 p67 p158 p217 p200 } a82 {p133 p32 p158 p199 p220 })
		({p42 } a29 {p52 })
		({p77 p194 p146 p107 p213 p120 p181 p112 p142 p175 p166 p98 } a54 {p106 p94 p100 p177 p15 p196 p110 p111 p159 p121 p124 p145 })
		({p46 p197 p137 p158 p217 p129 } a68 {p214 p83 p128 p158 p139 p199 })
		({p59 } a7 {p35 })
		({p77 p137 p158 p217 p129 p200 } a54 {p15 p128 p158 p139 p199 p220 })
		({p206 p143 p124 p28 } a31 {p65 p216 p207 p142 p125 })
		({p176 p77 p155 p195 p107 p102 p214 p158 p137 p120 p182 p112 } a54 {p106 p15 p156 p101 p179 p110 p197 p128 p111 p121 p97 })
		({p77 p206 p132 } a54 {p15 p216 p208 p132 })
		({p38 } a26 {p64 })
		({p77 p135 p215 p160 p199 p130 } a54 {p126 p15 p205 p217 p160 p140 })
		({p146 p65 p163 } a32 {p100 p159 p151 p26 })
		({p67 p205 p132 } a82 {p32 p205 p132 })
		({p65 p148 p160 p143 } a32 {p157 p161 p26 p143 })
		({p46 p211 p137 p158 p198 p129 } a68 {p203 p83 p128 p158 p139 })
		({p81 p217 p130 p141 } a59 {p29 p217 p140 p131 })
		({p126 p94 p149 p54 p165 p144 } a34 {p94 p30 p135 p162 p153 p132 })
		({p176 p116 p46 p195 p107 p214 p119 p160 p182 p140 p154 } a68 {p106 p117 p157 p118 p179 p110 p95 p83 p197 p130 })
		({p48 p217 p130 p141 } a73 {p85 p217 p140 p131 })
		({p68 p87 p89 p90 } a88 {p1 p69 p87 p89 p91 })
		({p46 p203 p132 } a68 {p211 p83 p209 p132 })
		({p46 p156 p170 p180 p138 p190 p221 p165 p124 } a68 {p167 p83 p158 p218 p122 p183 p142 p153 p201 })
		({p77 p100 p101 p206 p122 } a54 {p100 p15 p101 p216 p122 p208 })
		({p46 p134 p136 p158 p217 p200 } a68 {p133 p83 p158 p199 p220 })
		({p32 } a83 {p53 })
		({p70 } a17 {p13 })
		({p99 p203 p81 p136 p137 p159 p140 p142 p163 p164 } a59 {p29 p99 p211 p204 p136 p137 p159 p140 p142 p163 p164 })
		({p94 p30 p122 p145 } a36 {p127 p33 p150 p96 p138 p166 p98 })
		({p211 p134 p204 p136 p67 p158 } a82 {p133 p203 p32 p158 })
		({p167 p202 p103 p22 } a50 {p210 p108 p172 p180 p207 p105 p10 })
		({p99 p203 p48 p136 p137 p159 p140 p142 p163 p164 } a73 {p99 p211 p204 p136 p137 p85 p159 p140 p142 p163 p164 })
		({p94 p149 p137 p54 p130 p165 } a34 {p94 p30 p128 p140 p162 p153 })
		({p157 p170 p67 p180 p190 p162 p221 p142 p125 } a82 {p167 p32 p149 p218 p160 p183 p143 p124 p201 })
		({p128 p21 p139 p190 } a45 {p51 p137 p129 p190 })
		({p29 p121 } a60 {p121 p75 })
		({p202 p134 p136 p67 p158 p221 } a82 {p210 p133 p32 p158 p201 })
	},
	initialMarking = {p107 p109 p110 p111 p118 p119 p121 p122 p36 p210 p211 p212 p213 p135 p214 p136 p215 p137 p216 p217 p139 p218 p140 p219 p141 p220 p142 p221 p143 p144 p145 p158 p159 p86 p160 p161 p88 p162 p163 p90 p164 p165 p92 p167 p94 p99 p100 p101 p102 p103 p181 p182 p183 p184 },
	acceptingPlaces = {p62 p39 p11 p44 p76 }
);
PetriNet net0 = (
	alphabet = {a0 a1 a2 a3 a4 a5 a6 a7 a8 a9 a10 a11 a12 a13 a14 a15 a16 a17 a18 a19 a20 a21 a22 a23 a24 a25 a26 a27 a28 a29 a30 a31 a32 a33 a34 a35 a36 a37 a38 a39 a40 a41 a42 a43 a44 a45 a46 a47 a48 a49 a50 a51 a52 a53 a54 a55 a56 a57 a58 a59 a60 a61 a62 a63 a64 a65 a66 a67 a68 a69 a70 a71 a72 a73 a74 a75 a76 a77 a78 a79 a80 a81 a82 a83 a84 a85 a86 a87 a88 a89 },
	places = {p0 p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 },
	transitions = {
		({p46 p205 p132 } a68 {p83 p205 p132 })
		({p126 p77 p217 p200 } a54 {p126 p15 p199 p220 })
		({p77 p197 p217 p160 p140 p131 } a54 {p15 p214 p160 p199 p130 p141 })
		({p77 p208 p132 } a54 {p15 p208 p132 })
		({p126 p94 p54 p162 p144 } a34 {p94 p30 p135 p162 p132 })
		({p3 } a1 {p5 })
		({p68 p87 p89 p91 p92 } a89 {p93 p69 p87 p25 p89 p91 })
		({p155 p102 p17 p158 p137 p120 p112 p174 p193 } a40 {p156 p101 p178 p128 p111 p121 p198 p104 p97 p60 })
		({p126 p77 p215 p199 } a54 {p126 p15 p205 p217 })
		({p109 p51 p190 p183 } a46 {p109 p20 p198 p218 p183 })
		({p146 p81 p173 p192 } a59 {p29 p147 p159 p174 p193 })
		({p47 p110 p174 p193 } a48 {p176 p195 p22 })
		({p146 p48 p173 p192 } a73 {p147 p159 p85 p174 p193 })
		({p77 p127 p217 p200 } a54 {p127 p15 p199 p220 })
		({p67 p137 p158 p217 p129 p200 } a82 {p32 p128 p158 p139 p199 p220 })
		({p167 p47 p204 p220 } a48 {p167 p22 p200 })
		({p176 p155 p195 p107 p102 p214 p67 p158 p137 p120 p182 p112 } a82 {p106 p156 p101 p32 p179 p110 p197 p128 p111 p121 p97 })
		({p67 p206 p132 } a82 {p32 p216 p208 p132 })
		({p135 p215 p67 p160 p199 p130 } a82 {p126 p32 p205 p217 p160 p140 })
		({p155 p116 p108 p102 p17 p169 p119 p158 p137 p218 p191 p183 } a40 {p156 p117 p101 p118 p103 p109 p170 p128 p190 p97 p60 })
		({p77 p127 p215 p199 } a54 {p127 p15 p205 p217 })
		({p46 p211 p134 p204 p136 p158 } a68 {p133 p203 p83 p158 })
		({p94 p30 p122 p166 } a36 {p127 p33 p96 p138 p98 p166 })
		({p133 p81 p197 } a59 {p29 p134 p136 p197 })
		({p46 p157 p170 p180 p190 p162 p221 p142 p125 } a68 {p167 p149 p83 p218 p160 p183 p143 p124 p201 })
		({p155 p108 p102 p17 p169 p158 p137 p218 p191 p183 p115 } a40 {p156 p101 p103 p109 p170 p128 p190 p113 p97 p60 })
		({p133 p48 p197 } a73 {p134 p136 p197 p85 })
		({p94 p137 p54 p130 p162 } a34 {p94 p30 p128 p140 p162 })
		({p190 p143 p124 p28 } a31 {p65 p190 p142 p125 })
		({p156 p170 p67 p180 p190 p221 p142 p165 p125 } a82 {p167 p32 p158 p218 p183 p153 p143 p124 p201 })
		({p202 p46 p134 p136 p158 p221 } a68 {p210 p133 p83 p158 p201 })
		({p81 p199 p220 p130 p141 } a59 {p29 p217 p140 p200 p131 })
		({p108 p22 } a50 {p108 p10 })
		({p48 p199 p220 p130 p141 } a73 {p217 p85 p140 p200 p131 })
		({p157 p135 p170 p67 p180 p190 p162 p130 p221 } a82 {p167 p126 p32 p149 p218 p160 p140 p183 p201 })
		({p5 } a3 {p6 })
		({p156 p134 p170 p136 p67 p180 p190 p221 p165 } a82 {p167 p133 p32 p158 p218 p183 p153 p201 })
		({p34 } a77 {p63 })
		({p169 p51 p191 } a46 {p109 p20 p174 p193 })
		({p46 p137 p158 p217 p129 p200 } a68 {p83 p128 p158 p139 p199 p220 })
		({p80 } a21 {p4 })
		({p56 } a4 {p59 })
		({p94 p149 p139 p54 p131 p165 } a34 {p94 p30 p129 p162 p141 p153 })
		({p77 p215 p128 p158 p199 p144 } a54 {p15 p205 p137 p158 p217 p132 })
		({p46 p206 p132 } a68 {p83 p216 p208 p132 })
		({p46 p135 p215 p160 p199 p130 } a68 {p126 p83 p205 p217 p160 p140 })
		({p156 p134 p17 p179 p136 p197 p217 p181 p165 } a40 {p133 p177 p214 p158 p182 p199 p153 p60 })
		({p187 p146 p168 p81 } a59 {p29 p147 p169 p159 p191 })
		({p126 p67 p217 p200 } a82 {p126 p32 p199 p220 })
		({p67 p197 p217 p160 p140 p131 } a82 {p32 p214 p160 p199 p130 p141 })
		({p133 p81 p198 } a59 {p29 p134 p136 p198 })
		({p211 p204 p67 p137 p158 p129 } a82 {p203 p32 p128 p158 p139 })
		({p63 } a79 {p11 })
		({p187 p146 p48 p168 } a73 {p147 p169 p159 p85 p191 })
		({p67 p208 p132 } a82 {p32 p208 p132 })
		({p133 p48 p198 } a73 {p134 p136 p85 p198 })
		({p176 p77 p155 p116 p195 p107 p102 p214 p119 p158 p137 p182 } a54 {p106 p15 p156 p117 p101 p118 p179 p110 p197 p128 p97 })
		({p46 p156 p170 p180 p190 p221 p142 p165 p125 } a68 {p167 p83 p158 p218 p183 p153 p143 p124 p201 })
		({p202 p67 p137 p158 p129 p221 } a82 {p210 p32 p128 p158 p139 p201 })
		({p126 p215 p67 p199 } a82 {p126 p32 p205 p217 })
		({p210 p133 p21 p201 } a45 {p202 p134 p136 p51 p221 })
		({p176 p77 p155 p195 p107 p102 p214 p158 p137 p182 p115 } a54 {p106 p15 p156 p101 p179 p110 p197 p128 p113 p97 })
		({p100 p109 p159 p121 p21 p123 p186 } a45 {p187 p99 p146 p168 p51 p112 })
		({p17 p137 p158 p129 p190 p221 } a40 {p128 p158 p218 p139 p201 p60 })
		({p211 p67 p198 p160 p140 p131 } a82 {p203 p32 p160 p130 p141 })
		({p196 p214 p143 p124 p28 } a31 {p213 p65 p197 p142 p125 })
		({p127 p203 p17 } a40 {p127 p211 p209 p60 })
		({p46 p157 p135 p170 p180 p190 p162 p130 p221 } a68 {p167 p126 p149 p83 p218 p160 p140 p183 p201 })
		({p127 p67 p217 p200 } a82 {p127 p32 p199 p220 })
		({p147 p108 p169 p67 p120 p218 p161 p191 p183 p112 p142 p98 } a82 {p94 p100 p32 p148 p103 p109 p170 p111 p121 p190 p124 })
		({p46 p156 p134 p170 p136 p180 p190 p221 p165 } a68 {p167 p133 p83 p158 p218 p183 p153 p201 })
		({p77 p134 p136 p216 p158 p207 } a54 {p133 p15 p158 p206 })
		({p127 p215 p67 p199 } a82 {p127 p32 p205 p217 })
		({p99 p203 p159 p142 p28 } a31 {p99 p211 p65 p204 p159 p142 })
		({p133 p21 p221 } a45 {p134 p136 p51 p221 })
		({p126 p46 p217 p200 } a68 {p126 p83 p199 p220 })
		({p46 p197 p217 p160 p140 p131 } a68 {p214 p83 p160 p199 p130 p141 })
		({p46 p211 p204 p137 p158 p129 } a68 {p203 p83 p128 p158 p139 })
		({p211 p156 p134 p178 p17 p136 p198 p165 } a40 {p133 p203 p171 p158 p153 p60 })
		({p46 p208 p132 } a68 {p83 p208 p132 })
		({p77 p217 p160 p140 p200 p131 } a54 {p15 p160 p199 p220 p130 p141 })
		({p127 p17 p205 } a40 {p127 p205 p60 })
		({p202 p46 p137 p158 p129 p221 } a68 {p210 p83 p128 p158 p139 p201 })
		({p126 p46 p215 p199 } a68 {p126 p83 p205 p217 })
		({p21 p218 p189 p143 p124 } a45 {p51 p219 p190 p142 p125 })
		({p203 p17 p128 p158 p144 } a40 {p211 p137 p158 p209 p132 p60 })
		({p55 } a65 {p39 })
		({p46 p211 p198 p160 p140 p131 } a68 {p203 p83 p160 p130 p141 })
		({p127 p46 p217 p200 } a68 {p127 p83 p199 p220 })
		({p155 p116 p102 p17 p119 p158 p137 p174 p193 } a40 {p156 p117 p101 p178 p118 p128 p198 p104 p97 p60 })
		({p65 p148 p160 p141 p125 } a32 {p157 p161 p131 p143 p26 })
		({p107 p214 p110 p215 p217 p22 p181 p182 p220 } a49 {p107 p214 p110 p215 p217 p181 p71 p182 p220 })
		({p215 p67 p128 p158 p199 p144 } a82 {p32 p205 p137 p158 p217 p132 })
		({p127 p212 p67 p201 } a82 {p127 p32 p188 p221 })
		({p99 p81 p136 p137 p159 p206 p140 p142 p163 p164 } a59 {p29 p99 p136 p216 p137 p159 p140 p207 p142 p163 p164 })
		({p156 p170 p67 p137 p180 p129 p190 p221 p165 } a82 {p167 p32 p158 p128 p218 p139 p183 p153 p201 })
		({p155 p102 p17 p158 p137 p174 p193 p115 } a40 {p156 p101 p178 p128 p198 p104 p113 p97 p60 })
		({p99 p211 p81 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 } a59 {p29 p99 p211 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 })
		({p99 p48 p136 p137 p159 p206 p140 p142 p163 p164 } a73 {p99 p136 p216 p137 p85 p159 p140 p207 p142 p163 p164 })
		({p99 p211 p48 p136 p137 p216 p159 p217 p140 p142 p163 p221 p164 } a73 {p99 p211 p136 p137 p216 p85 p159 p217 p140 p142 p163 p221 p164 })
		({p127 p211 p204 p67 } a82 {p127 p203 p32 })
		({p127 p46 p215 p199 } a68 {p127 p83 p205 p217 })
		({p210 p21 p143 p124 p201 } a45 {p202 p51 p221 p142 p125 })
		({p176 p155 p116 p195 p107 p102 p214 p119 p67 p158 p137 p182 } a82 {p106 p156 p117 p101 p32 p118 p179 p110 p197 p128 p97 })
		({p202 p127 p67 p221 } a82 {p210 p127 p32 p201 })
		({p156 p17 p179 p197 p137 p217 p181 p129 p165 } a40 {p177 p214 p158 p128 p139 p182 p199 p153 p60 })
		({p176 p155 p195 p107 p102 p214 p67 p158 p137 p182 p115 } a82 {p106 p156 p101 p32 p179 p110 p197 p128 p113 p97 })
		({p167 p47 p215 p209 } a48 {p167 p205 p22 })
		({p194 p146 p81 p175 } a59 {p176 p29 p195 p147 p159 })
		({p134 p136 p67 p216 p158 p207 } a82 {p133 p32 p158 p206 })
		({p212 p67 p128 p158 p144 p201 } a82 {p32 p188 p137 p158 p221 p132 })
		({p40 } a81 {p67 })
		({p194 p146 p48 p175 } a73 {p176 p195 p147 p159 p85 })
		({p46 p215 p128 p158 p199 p144 } a68 {p83 p205 p137 p158 p217 p132 })
		({p127 p46 p212 p201 } a68 {p127 p188 p83 p221 })
		({p46 p156 p170 p137 p180 p129 p190 p221 p165 } a68 {p167 p83 p158 p128 p218 p139 p183 p153 p201 })
		({p133 p17 p215 p158 p199 } a40 {p127 p136 p205 p158 p217 p60 })
		({p77 p216 p137 p158 p129 p207 } a54 {p15 p128 p158 p206 p139 })
		({p75 } a61 {p12 })
		({p66 } a42 {p37 })
		({p127 p46 p211 p204 } a68 {p127 p203 p83 })
		({p127 p17 p206 } a40 {p127 p216 p208 p60 })
		({p67 p217 p160 p140 p200 p131 } a82 {p32 p160 p199 p220 p130 p141 })
		({p65 p161 p141 p125 } a32 {p161 p131 p143 p26 })
		({p94 p157 p158 p139 p54 p131 } a34 {p94 p30 p156 p160 p129 p141 })
		({p176 p155 p116 p46 p195 p107 p102 p214 p119 p158 p137 p182 } a68 {p106 p156 p117 p101 p118 p179 p110 p83 p197 p128 p97 })
		({p202 p127 p46 p221 } a68 {p210 p127 p83 p201 })
		({p81 p197 p128 p139 } a59 {p29 p197 p137 p129 })
		({p147 p67 p120 p161 p112 p174 p142 p193 p98 } a82 {p94 p100 p32 p178 p148 p111 p121 p198 p104 p124 })
		({p1 } a57 {p7 })
		({p48 p197 p128 p139 } a73 {p197 p137 p85 p129 })
		({p211 p156 p178 p17 p137 p198 p129 p165 } a40 {p203 p171 p158 p128 p139 p153 p60 })
		({p77 p148 p179 p197 p217 p138 p181 p124 p166 } a54 {p177 p15 p214 p122 p182 p161 p199 p142 p145 })
		({p4 } a2 {p31 })
		({p46 p134 p136 p216 p158 p207 } a68 {p133 p83 p158 p206 })
		({p46 p212 p128 p158 p144 p201 } a68 {p188 p83 p137 p158 p221 p132 })
		({p6 } a6 {p27 })
		({p133 p212 p17 p158 p201 } a40 {p127 p188 p136 p158 p221 p60 })
		({p116 p147 p108 p169 p119 p67 p218 p161 p191 p183 p142 p98 } a82 {p94 p100 p117 p32 p148 p118 p103 p109 p170 p190 p124 })
		({p94 p30 p145 p125 } a36 {p134 p33 p150 p96 p143 p166 p98 })
		({p147 p108 p169 p67 p218 p161 p191 p183 p142 p115 p98 } a82 {p94 p100 p32 p148 p103 p109 p170 p190 p113 p124 })
		({p128 p21 p218 p139 p189 } a45 {p51 p137 p129 p219 p190 })
		({p17 p128 p158 p206 p144 } a40 {p216 p137 p158 p208 p132 p60 })
		({p157 p170 p67 p180 p140 p190 p162 p221 p131 } a82 {p167 p32 p149 p218 p160 p183 p130 p141 p201 })
		({p58 } a5 {p78 })
		({p100 p65 p161 p143 } a32 {p100 p161 p26 p143 })
		({p167 p188 p103 p22 } a50 {p212 p108 p172 p180 p105 p208 p10 })
		({p46 p217 p160 p140 p200 p131 } a68 {p83 p160 p199 p220 p130 p141 })
		({p100 p109 p159 p121 p123 p186 p28 } a31 {p187 p99 p146 p168 p65 p112 })
		({p81 p128 p198 p139 } a59 {p29 p137 p198 p129 })
		({p127 p17 p208 } a40 {p127 p208 p60 })
		({p48 p128 p198 p139 } a73 {p137 p85 p198 p129 })
		({p13 } a9 {p16 })
		({p156 p170 p67 p128 p180 p190 p221 p165 p144 } a82 {p167 p32 p158 p137 p218 p183 p153 p201 p132 })
		({p210 p128 p21 p139 p201 } a45 {p202 p51 p137 p129 p221 })
		({p108 p169 p67 p120 p218 p160 p140 p191 p183 p112 p154 } a82 {p32 p157 p103 p109 p170 p95 p111 p121 p190 p130 })
		({p133 p203 p81 } a59 {p29 p211 p134 p204 p136 })
		({p187 p168 p81 p151 } a59 {p29 p169 p191 p163 p154 })
		({p77 p127 p216 p207 } a54 {p127 p15 p206 })
		({p133 p203 p48 } a73 {p211 p134 p204 p136 p85 })
		({p67 p216 p137 p158 p129 p207 } a82 {p32 p128 p158 p206 p139 })
		({p99 p159 p206 p142 p28 } a31 {p99 p65 p216 p159 p207 p142 })
		({p187 p48 p168 p151 } a73 {p169 p85 p191 p163 p154 })
		({p99 p211 p216 p159 p217 p142 p221 p28 } a31 {p99 p211 p65 p216 p159 p217 p142 p221 })
		({p187 p168 p51 } a46 {p109 p20 p173 p192 })
		({p116 p46 p147 p108 p169 p119 p218 p161 p191 p183 p142 p98 } a68 {p94 p100 p117 p148 p118 p103 p109 p170 p83 p190 p124 })
		({p156 p17 p179 p197 p128 p217 p181 p165 p144 } a40 {p177 p214 p158 p137 p182 p199 p153 p132 p60 })
		({p69 } a16 {p56 })
		({p46 p157 p170 p180 p140 p190 p162 p221 p131 } a68 {p167 p149 p83 p218 p160 p183 p130 p141 p201 })
		({p64 } a14 {p68 })
		({p94 p30 p125 p166 } a36 {p134 p33 p96 p143 p98 p166 })
		({p218 p189 p143 p124 p28 } a31 {p65 p219 p190 p142 p125 })
		({p148 p179 p67 p197 p217 p138 p181 p124 p166 } a82 {p177 p32 p214 p122 p182 p161 p199 p142 p145 })
		({p53 } a84 {p57 })
		({p46 p156 p170 p128 p180 p190 p221 p165 p144 } a68 {p167 p83 p158 p137 p218 p183 p153 p201 p132 })
		({p133 p156 p17 p170 p180 p190 p221 p165 } a40 {p167 p127 p136 p158 p218 p183 p153 p201 p60 })
		({p210 p143 p124 p201 p28 } a31 {p202 p65 p221 p142 p125 })
		({p77 p217 p200 p132 } a54 {p15 p199 p220 p132 })
		({p46 p216 p137 p158 p129 p207 } a68 {p83 p128 p158 p206 p139 })
		({p187 p168 p81 p152 } a59 {p29 p155 p169 p191 p164 })
		({p101 p67 p158 p160 p161 p190 p221 p142 p125 } a82 {p32 p101 p158 p218 p160 p161 p143 p124 p201 })
		({p187 p48 p168 p152 } a73 {p155 p169 p85 p191 p164 })
		({p133 p203 p67 p158 } a82 {p127 p211 p32 p136 p158 p209 })
		({p60 } a41 {p66 })
		({p77 p215 p199 p132 } a54 {p15 p205 p217 p132 })
		({p211 p156 p178 p17 p128 p198 p165 p144 } a40 {p203 p171 p158 p137 p153 p132 p60 })
		({p199 p220 p143 p124 p28 } a31 {p65 p217 p142 p200 p125 })
		({p77 p148 p179 p197 p217 p181 p142 p166 p125 } a54 {p177 p15 p214 p182 p161 p199 p143 p124 p145 })
		({p77 p100 p101 p217 p122 p200 } a54 {p100 p15 p101 p122 p199 p220 })
		({p46 p148 p179 p197 p217 p138 p181 p124 p166 } a68 {p177 p214 p83 p122 p182 p161 p199 p142 p145 })
		({p15 } a55 {p0 })
		({p116 p147 p119 p67 p161 p174 p142 p193 p98 } a82 {p94 p100 p117 p32 p178 p148 p118 p198 p104 p124 })
		({p211 p178 p148 p67 p138 p198 p124 p166 } a82 {p203 p32 p171 p122 p161 p142 p145 })
		({p127 p67 p216 p207 } a82 {p127 p32 p206 })
		({p147 p67 p161 p174 p142 p193 p115 p98 } a82 {p94 p100 p32 p178 p148 p198 p104 p113 p124 })
		({p77 p100 p101 p215 p122 p199 } a54 {p100 p15 p101 p205 p217 p122 })
		({p77 p133 p158 p206 } a54 {p127 p15 p136 p216 p158 p208 })
		({p187 p168 p108 p102 p17 p137 p120 p180 p219 p152 p112 p165 } a40 {p167 p101 p103 p109 p128 p111 p121 p189 p153 p164 p97 p60 })
		({p17 p197 p137 p158 p217 p129 } a40 {p214 p128 p158 p139 p199 p60 })
		({p167 p47 p201 } a48 {p167 p22 p201 })
		({p46 p101 p158 p160 p161 p190 p221 p142 p125 } a68 {p101 p83 p158 p218 p160 p161 p143 p124 p201 })
		({p74 } a43 {p45 })
		({p133 p46 p203 p158 } a68 {p127 p211 p136 p83 p158 p209 })
		({p67 p120 p160 p140 p112 p174 p193 p154 } a82 {p32 p178 p157 p95 p111 p121 p198 p104 p130 })
		({p77 p216 p160 p140 p207 p131 } a54 {p15 p206 p160 p130 p141 })
		({p211 p17 p137 p158 p198 p129 } a40 {p203 p128 p158 p139 p60 })
		({p77 p100 p101 p158 p138 p206 p160 p161 p124 } a54 {p100 p15 p101 p216 p158 p122 p160 p161 p142 p208 })
		({p18 } a11 {p23 })
		({p116 p46 p147 p119 p161 p174 p142 p193 p98 } a68 {p94 p100 p117 p178 p148 p118 p83 p198 p104 p124 })
		({p203 p17 p132 } a40 {p211 p209 p132 p60 })
		({p67 p217 p200 p132 } a82 {p32 p199 p220 p132 })
		({p46 p211 p178 p148 p138 p198 p124 p166 } a68 {p203 p83 p171 p122 p161 p142 p145 })
		({p127 p46 p216 p207 } a68 {p127 p83 p206 })
		({p77 p133 p156 p179 p197 p217 p181 p165 } a54 {p127 p177 p15 p214 p136 p158 p182 p199 p153 })
		({p210 p21 p130 p141 p201 } a45 {p202 p51 p140 p221 p131 })
		({p116 p108 p169 p119 p67 p218 p160 p140 p191 p183 p154 } a82 {p117 p32 p157 p118 p103 p109 p170 p95 p190 p130 })
		({p134 p17 p136 p158 p217 p200 } a40 {p133 p158 p199 p220 p60 })
		({p108 p169 p67 p218 p160 p140 p191 p183 p154 p115 } a82 {p32 p157 p103 p109 p170 p95 p190 p130 p113 })
		({p79 p118 p119 } a63 {p118 p119 p55 })
		({p215 p67 p199 p132 } a82 {p32 p205 p217 p132 })
		({p167 p202 p47 } a48 {p167 p202 p22 })
		({p47 p203 p107 p171 p217 p181 p104 } a48 {p106 p211 p177 p22 p199 })
		({p148 p179 p67 p197 p217 p181 p142 p166 p125 } a82 {p177 p32 p214 p182 p161 p199 p143 p124 p145 })
		({p21 p130 p141 p221 } a45 {p51 p140 p221 p131 })
		({p100 p101 p67 p217 p122 p200 } a82 {p100 p32 p101 p122 p199 p220 })
		({p17 p205 p132 } a40 {p205 p132 p60 })
		({p100 p101 p215 p67 p122 p199 } a82 {p100 p32 p101 p205 p217 p122 })
		({p133 p67 p158 p206 } a82 {p127 p32 p136 p216 p158 p208 })
		({p133 p81 p206 } a59 {p29 p134 p136 p216 p207 })
		({p77 p157 p179 p197 p217 p138 p181 p162 p124 } a54 {p177 p15 p214 p149 p160 p122 p182 p199 p142 })
		({p133 p48 p206 } a73 {p134 p136 p216 p85 p207 })
		({p46 p217 p200 p132 } a68 {p83 p199 p220 p132 })
		({p94 p135 p54 p140 p141 p145 } a34 {p94 p30 p135 p140 p141 p145 })
		({p203 p81 p128 p139 } a59 {p29 p211 p204 p137 p129 })
		({p212 p67 p201 p132 } a82 {p32 p188 p221 p132 })
		({p116 p46 p108 p169 p119 p218 p160 p140 p191 p183 p154 } a68 {p117 p157 p118 p103 p109 p170 p95 p83 p190 p130 })
		({p30 p101 p102 p137 p158 p139 p144 p165 } a35 {p101 p102 p2 p137 p158 p139 p144 p165 })
		({p203 p48 p128 p139 } a73 {p211 p204 p137 p85 p129 })
		({p211 p204 p67 p132 } a82 {p203 p32 p132 })
		({p46 p215 p199 p132 } a68 {p83 p205 p217 p132 })
		({p24 } a13 {p19 })
		({p73 } a19 {p70 })
		({p187 p146 p168 p21 } a45 {p147 p169 p51 p159 p191 })
		({p46 p148 p179 p197 p217 p181 p142 p166 p125 } a68 {p177 p214 p83 p182 p161 p199 p143 p124 p145 })
		({p211 p134 p17 p204 p136 p158 } a40 {p133 p203 p158 p60 })
		({p202 p67 p221 p132 } a82 {p210 p32 p201 p132 })
		({p47 p107 p178 p214 p198 p182 p104 } a48 {p106 p179 p197 p22 })
		({p211 p178 p148 p67 p198 p142 p166 p125 } a82 {p203 p32 p171 p161 p143 p124 p145 })
		({p46 p100 p101 p217 p122 p200 } a68 {p100 p101 p83 p122 p199 p220 })
		({p79 p111 } a64 {p82 p120 p114 })
		({p202 p134 p17 p136 p158 p221 } a40 {p210 p133 p158 p201 p60 })
		({p133 p156 p179 p67 p197 p217 p181 p165 } a82 {p127 p177 p32 p214 p136 p158 p182 p199 p153 })
		({p46 p100 p101 p215 p122 p199 } a68 {p100 p101 p83 p205 p217 p122 })
		({p133 p46 p158 p206 } a68 {p127 p136 p83 p216 p158 p208 })
		({p167 p210 p212 p103 p22 p221 } a50 {p210 p212 p108 p172 p180 p105 p221 p10 })
		({p77 p156 p179 p197 p217 p138 p181 p165 p124 } a54 {p177 p15 p214 p158 p122 p182 p199 p142 p153 })
		({p46 p212 p201 p132 } a68 {p188 p83 p221 p132 })
		({p17 p137 p158 p217 p129 p200 } a40 {p128 p158 p139 p199 p220 p60 })
		({p46 p211 p204 p132 } a68 {p203 p83 p132 })
		({p210 p109 p51 p218 p183 } a46 {p210 p109 p20 p218 p183 })
		({p176 p155 p195 p107 p102 p17 p214 p158 p137 p120 p182 p112 } a40 {p106 p156 p101 p179 p110 p197 p128 p111 p121 p97 p60 })
		({p17 p206 p132 } a40 {p216 p208 p132 p60 })
		({p202 p46 p221 p132 } a68 {p210 p83 p201 p132 })
		({p46 p211 p178 p148 p198 p142 p166 p125 } a68 {p203 p83 p171 p161 p143 p124 p145 })
		({p157 p179 p67 p197 p217 p138 p181 p162 p124 } a82 {p177 p32 p214 p149 p160 p122 p182 p199 p142 })
		({p155 p108 p102 p169 p67 p158 p137 p120 p218 p191 p183 p112 } a82 {p156 p101 p32 p103 p109 p170 p128 p111 p121 p190 p97 })
		({p116 p119 p67 p160 p140 p174 p193 p154 } a82 {p117 p32 p178 p157 p118 p95 p198 p104 p130 })
		({p99 p210 p81 p136 p137 p159 p140 p142 p163 p164 p201 } a59 {p29 p99 p202 p136 p137 p159 p140 p221 p142 p163 p164 })
		({p77 p101 p197 p158 p217 p160 p161 p142 p125 } a54 {p15 p101 p214 p158 p160 p161 p199 p143 p124 })
		({p101 p54 p154 } a34 {p155 p30 })
		({p67 p160 p140 p174 p193 p154 p115 } a82 {p32 p178 p157 p95 p198 p104 p130 p113 })
		({p133 p46 p156 p179 p197 p217 p181 p165 } a68 {p127 p177 p214 p136 p83 p158 p182 p199 p153 })
		({p99 p210 p48 p136 p137 p159 p140 p142 p163 p164 p201 } a73 {p99 p202 p136 p137 p85 p159 p140 p221 p142 p163 p164 })
		({p111 p12 } a62 {p79 p111 })
		({p133 p211 p156 p178 p67 p198 p165 } a82 {p127 p203 p32 p136 p171 p158 p153 })
		({p99 p78 p185 } a20 {p3 p123 p186 })
		({p133 p81 p190 } a59 {p29 p134 p136 p190 })
		({p156 p134 p17 p170 p136 p180 p190 p221 p165 } a40 {p167 p133 p158 p218 p183 p153 p201 p60 })
		({p133 p48 p190 } a73 {p134 p136 p85 p190 })
		({p47 p107 p204 p171 p181 p104 p220 } a48 {p106 p177 p22 p200 })
		({p99 p81 p136 p137 p159 p140 p199 p220 p142 p163 p164 } a59 {p29 p99 p136 p137 p217 p159 p140 p142 p163 p200 p164 })
		({p94 p30 p136 p124 p145 } a36 {p133 p33 p150 p96 p142 p166 p98 })
		({p94 p157 p158 p54 p140 p141 } a34 {p94 p30 p156 p160 p140 p141 })
		({p99 p48 p136 p137 p159 p140 p199 p220 p142 p163 p164 } a73 {p99 p136 p137 p217 p85 p159 p140 p142 p163 p200 p164 })
		({p146 p173 p192 p28 } a31 {p147 p65 p159 p174 p193 })
		({p77 p157 p179 p197 p217 p181 p162 p142 p125 } a54 {p177 p15 p214 p149 p160 p182 p199 p143 p124 })
		({p72 } a70 {p61 })
		({p211 p17 p204 p137 p158 p129 } a40 {p203 p128 p158 p139 p60 })
		({p17 p208 p132 } a40 {p208 p132 p60 })
		({p46 p157 p179 p197 p217 p138 p181 p162 p124 } a68 {p177 p214 p149 p83 p160 p122 p182 p199 p142 })
		({p116 p46 p119 p160 p140 p174 p193 p154 } a68 {p117 p178 p157 p118 p95 p83 p198 p104 p130 })
		({p202 p17 p137 p158 p129 p221 } a40 {p210 p128 p158 p139 p201 p60 })
		({p211 p178 p157 p67 p138 p198 p162 p124 } a82 {p203 p32 p149 p171 p160 p122 p142 })
		({p156 p179 p67 p197 p217 p138 p181 p165 p124 } a82 {p177 p32 p214 p158 p122 p182 p199 p142 p153 })
		({p202 p109 p51 p183 } a46 {p210 p204 p109 p20 p183 })
		({p82 } a67 {p46 })
		({p187 p146 p168 p108 p67 p120 p180 p219 p112 p142 p166 p98 } a82 {p167 p94 p100 p32 p103 p109 p111 p159 p121 p189 p124 p145 })
		({p133 p46 p211 p156 p178 p198 p165 } a68 {p127 p203 p136 p83 p171 p158 p153 })
		({p127 p17 p217 p200 } a40 {p127 p199 p220 p60 })
		({p77 p216 p207 p132 } a54 {p15 p206 p132 })
		({p2 } a37 {p62 })
		({p119 p113 p12 } a62 {p79 p117 })
		({p127 p17 p215 p199 } a40 {p127 p205 p217 p60 })
		({p103 p180 p22 } a50 {p108 p180 p105 p10 })
		({p36 } a23 {p8 })
		({p71 } a51 {p76 })
		({p118 p115 p12 } a62 {p116 p79 })
		({p94 p30 p136 p124 p166 } a36 {p133 p33 p96 p142 p98 p166 })
		({p101 p67 p197 p158 p217 p160 p161 p142 p125 } a82 {p32 p101 p214 p158 p160 p161 p199 p143 p124 })
		({p77 p100 p101 p216 p122 p207 } a54 {p100 p15 p101 p206 p122 })
		({p77 p156 p179 p197 p217 p181 p142 p165 p125 } a54 {p177 p15 p214 p158 p182 p199 p153 p143 p124 })
		({p25 } a71 {p9 })
		({p46 p211 p178 p157 p138 p198 p162 p124 } a68 {p203 p149 p83 p171 p160 p122 p142 })
		({p46 p156 p179 p197 p217 p138 p181 p165 p124 } a68 {p177 p214 p83 p158 p122 p182 p199 p142 p153 })
		({p81 p128 p206 p139 } a59 {p29 p216 p137 p129 p207 })
		({p77 p157 p135 p179 p197 p217 p181 p162 p130 } a54 {p126 p177 p15 p214 p149 p160 p182 p140 p199 })
		({p187 p146 p168 p28 } a31 {p147 p65 p169 p159 p191 })
		({p94 p139 p54 p131 p145 } a34 {p94 p30 p129 p141 p145 })
		({p211 p156 p178 p67 p138 p198 p165 p124 } a82 {p203 p32 p171 p158 p122 p142 p153 })
		({p23 } a12 {p43 })
		({p48 p128 p206 p139 } a73 {p216 p137 p85 p129 p207 })
		({p211 p101 p67 p158 p198 p160 p161 p142 p125 } a82 {p203 p32 p101 p158 p160 p161 p143 p124 })
		({p77 p156 p134 p179 p136 p197 p217 p181 p165 } a54 {p133 p177 p15 p214 p158 p182 p199 p153 })
		({p16 } a10 {p58 })
		({p17 p215 p128 p158 p199 p144 } a40 {p205 p137 p158 p217 p132 p60 })
		({p127 p212 p17 p201 } a40 {p127 p188 p221 p60 })
		({p156 p17 p170 p137 p180 p129 p190 p221 p165 } a40 {p167 p158 p128 p218 p139 p183 p153 p201 p60 })
		({p47 p203 p103 p171 p217 p181 } a48 {p211 p177 p103 p22 p199 })
		({p157 p179 p67 p197 p217 p181 p162 p142 p125 } a82 {p177 p32 p214 p149 p160 p182 p199 p143 p124 })
		({p176 p77 p195 p107 p147 p214 p120 p182 p161 p112 p142 p98 } a54 {p106 p94 p100 p15 p148 p179 p110 p197 p111 p121 p124 })
		({p155 p102 p67 p158 p137 p120 p112 p174 p193 } a82 {p156 p101 p32 p178 p128 p111 p121 p198 p104 p97 })
		({p127 p211 p17 p204 } a40 {p127 p203 p60 })
		({p126 p102 p149 p95 p54 p165 p144 } a34 {p30 p135 p162 p153 p97 p132 })
		({p176 p155 p116 p195 p107 p102 p17 p214 p119 p158 p137 p182 } a40 {p106 p156 p117 p101 p118 p179 p110 p197 p128 p97 p60 })
		({p202 p127 p17 p221 } a40 {p210 p127 p201 p60 })
		({p197 p143 p124 p28 } a31 {p65 p197 p142 p125 })
		({p46 p101 p197 p158 p217 p160 p161 p142 p125 } a68 {p101 p214 p83 p158 p160 p161 p199 p143 p124 })
		({p176 p155 p195 p107 p102 p17 p214 p158 p137 p182 p115 } a40 {p106 p156 p101 p179 p110 p197 p128 p113 p97 p60 })
		({p99 p210 p159 p142 p201 p28 } a31 {p99 p202 p65 p159 p221 p142 })
		({p77 p101 p158 p217 p160 p161 p142 p200 p125 } a54 {p15 p101 p158 p160 p161 p199 p220 p143 p124 })
		({p67 p216 p207 p132 } a82 {p32 p206 p132 })
		({p155 p116 p108 p102 p169 p119 p67 p158 p137 p218 p191 p183 } a82 {p156 p117 p101 p32 p118 p103 p109 p170 p128 p190 p97 })
		({p187 p168 p21 p151 } a45 {p169 p51 p191 p163 p154 })
		({p81 p196 p214 p143 p124 } a59 {p29 p213 p197 p142 p125 })
		({p167 p103 p216 p22 p201 } a50 {p108 p172 p180 p206 p105 p221 p10 })
		({p85 } a74 {p49 })
		({p155 p108 p102 p169 p67 p158 p137 p218 p191 p183 p115 } a82 {p156 p101 p32 p103 p109 p170 p128 p190 p113 p97 })
		({p14 } a76 {p34 })
		({p48 p196 p214 p143 p124 } a73 {p213 p197 p85 p142 p125 })
		({p46 p211 p156 p178 p138 p198 p165 p124 } a68 {p203 p83 p171 p158 p122 p142 p153 })
		({p212 p17 p128 p158 p144 p201 } a40 {p188 p137 p158 p221 p132 p60 })
		({p46 p211 p101 p158 p198 p160 p161 p142 p125 } a68 {p203 p101 p83 p158 p160 p161 p143 p124 })
		({p8 } a8 {p80 })
		({p68 p86 } a86 {p69 p87 p42 })
		({p77 p135 p206 p160 p130 } a54 {p126 p15 p216 p160 p140 p208 })
		({p102 p149 p95 p137 p54 p130 p165 } a34 {p30 p128 p140 p162 p153 p97 })
		({p99 p159 p199 p220 p142 p28 } a31 {p99 p65 p217 p159 p142 p200 })
		({p77 p127 p205 } a54 {p127 p15 p205 })
		({p46 p157 p179 p197 p217 p181 p162 p142 p125 } a68 {p177 p214 p149 p83 p160 p182 p199 p143 p124 })
		({p47 p178 p214 p103 p198 p182 } a48 {p103 p179 p197 p22 })
		({p33 } a39 {p17 })
		({p211 p178 p157 p67 p198 p162 p142 p125 } a82 {p203 p32 p149 p171 p160 p143 p124 })
		({p156 p179 p67 p197 p217 p181 p142 p165 p125 } a82 {p177 p32 p214 p158 p182 p199 p153 p143 p124 })
		({p9 } a72 {p48 })
		({p47 p107 p215 p171 p181 p104 p209 } a48 {p106 p177 p205 p22 })
		({p167 p47 p188 } a48 {p167 p188 p22 })
		({p198 p143 p124 p28 } a31 {p65 p198 p142 p125 })
		({p68 p87 p88 } a87 {p69 p87 p89 p74 })
		({p157 p135 p179 p67 p197 p217 p181 p162 p130 } a82 {p126 p177 p32 p214 p149 p160 p182 p140 p199 })
		({p156 p134 p179 p136 p67 p197 p217 p181 p165 } a82 {p133 p177 p32 p214 p158 p182 p199 p153 })
		({p46 p216 p207 p132 } a68 {p83 p206 p132 })
		({p155 p116 p46 p108 p102 p169 p119 p158 p137 p218 p191 p183 } a68 {p156 p117 p101 p118 p103 p109 p170 p83 p128 p190 p97 })
		({p94 p30 p138 p142 p143 p145 } a36 {p33 p150 p96 p138 p142 p143 p166 p98 })
		({p187 p168 p21 p152 } a45 {p155 p169 p51 p191 p164 })
		({p176 p195 p107 p147 p214 p67 p120 p182 p161 p112 p142 p98 } a82 {p106 p94 p100 p32 p148 p179 p110 p197 p111 p121 p124 })
		({p81 p128 p139 p190 } a59 {p29 p137 p129 p190 })
		({p77 p156 p179 p197 p137 p217 p181 p129 p165 } a54 {p177 p15 p214 p158 p128 p139 p182 p199 p153 })
		({p93 p68 p87 p89 p91 } a85 {p93 p87 p89 p91 p44 })
		({p167 p94 p31 p103 p111 p122 p184 p145 } a18 {p108 p120 p180 p138 p73 p185 p166 p98 })
		({p48 p128 p139 p190 } a73 {p137 p85 p129 p190 })
		({p67 p137 p158 p129 p190 p221 } a82 {p32 p128 p158 p218 p139 p201 })
		({p127 p203 p67 } a82 {p127 p211 p32 p209 })
		({p194 p146 p175 p28 } a31 {p176 p195 p147 p65 p159 })
		({p46 p211 p178 p157 p198 p162 p142 p125 } a68 {p203 p149 p83 p171 p160 p143 p124 })
		({p126 p77 p206 } a54 {p126 p15 p216 p208 })
		({p46 p156 p179 p197 p217 p181 p142 p165 p125 } a68 {p177 p214 p83 p158 p182 p199 p153 p143 p124 })
		({p101 p67 p158 p217 p160 p161 p142 p200 p125 } a82 {p32 p101 p158 p160 p161 p199 p220 p143 p124 })
		({p211 p156 p178 p67 p198 p142 p165 p125 } a82 {p203 p32 p171 p158 p153 p143 p124 })
		({p101 p151 p54 p164 } a34 {p30 p152 p163 })
		({p79 p120 } a64 {p82 p120 })
		({p46 p157 p135 p179 p197 p217 p181 p162 p130 } a68 {p126 p177 p214 p149 p83 p160 p182 p140 p199 })
		({p156 p17 p170 p128 p180 p190 p221 p165 p144 } a40 {p167 p158 p137 p218 p183 p153 p201 p132 p60 })
		({p77 p133 p215 p158 p199 } a54 {p127 p15 p136 p205 p158 p217 })
		({p211 p178 p157 p135 p67 p198 p162 p130 } a82 {p126 p203 p32 p149 p171 p160 p140 })
		({p46 p156 p134 p179 p136 p197 p217 p181 p165 } a68 {p133 p177 p214 p83 p158 p182 p199 p153 })
		({p102 p149 p95 p139 p54 p131 p165 } a34 {p30 p129 p162 p141 p153 p97 })
		({p77 p127 p206 } a54 {p127 p15 p216 p208 })
		({p20 } a47 {p47 })
		({p47 p204 p103 p171 p181 p220 } a48 {p177 p103 p22 p200 })
		({p211 p156 p134 p178 p136 p67 p198 p165 } a82 {p133 p203 p32 p171 p158 p153 })
		({p27 } a15 {p50 })
		({p41 } a27 {p18 })
		({p127 p67 p205 } a82 {p127 p32 p205 })
		({p17 p216 p137 p158 p129 p207 } a40 {p128 p158 p206 p139 p60 })
		({p94 p30 p138 p142 p143 p166 } a36 {p33 p96 p138 p142 p143 p98 p166 })
		({p187 p116 p46 p146 p168 p108 p119 p180 p219 p142 p166 p98 } a68 {p167 p94 p100 p117 p118 p103 p109 p83 p159 p189 p124 p145 })
		({p203 p67 p128 p158 p144 } a82 {p211 p32 p137 p158 p209 p132 })
		({p46 p137 p158 p129 p190 p221 } a68 {p83 p128 p158 p218 p139 p201 })
		({p148 p170 p67 p180 p138 p190 p221 p124 p166 } a82 {p167 p32 p218 p122 p161 p183 p142 p201 p145 })
		({p127 p46 p203 } a68 {p127 p211 p83 p209 })
		({p176 p77 p116 p195 p107 p147 p214 p119 p182 p161 p142 p98 } a54 {p106 p94 p100 p15 p117 p148 p118 p179 p110 p197 p124 })
		({p155 p116 p102 p119 p67 p158 p137 p174 p193 } a82 {p156 p117 p101 p32 p178 p118 p128 p198 p104 p97 })
		({p176 p77 p195 p107 p147 p214 p182 p161 p142 p115 p98 } a54 {p106 p94 p100 p15 p148 p179 p110 p197 p113 p124 })
		({p155 p102 p67 p158 p137 p174 p193 p115 } a82 {p156 p101 p32 p178 p128 p198 p104 p113 p97 })
		({p46 p101 p158 p217 p160 p161 p142 p200 p125 } a68 {p101 p83 p158 p160 p161 p199 p220 p143 p124 })
		({p77 p100 p101 p215 p158 p138 p160 p161 p199 p124 } a54 {p100 p15 p101 p205 p158 p217 p122 p160 p161 p142 })
		({p0 } a56 {p84 })
		({p46 p211 p156 p178 p198 p142 p165 p125 } a68 {p203 p83 p171 p158 p153 p143 p124 })
		({p77 p128 p158 p206 p144 } a54 {p15 p216 p137 p158 p208 p132 })
		({p83 } a69 {p72 })
		({p46 p211 p178 p157 p135 p198 p162 p130 } a68 {p126 p203 p149 p83 p171 p160 p140 })
		({p156 p179 p67 p197 p137 p217 p181 p129 p165 } a82 {p177 p32 p214 p158 p128 p139 p182 p199 p153 })
		({p46 p211 p156 p134 p178 p136 p198 p165 } a68 {p133 p203 p83 p171 p158 p153 })
		({p35 } a22 {p38 })
		({p127 p46 p205 } a68 {p127 p83 p205 })
		({p176 p77 p195 p107 p214 p120 p160 p182 p140 p112 p154 } a54 {p106 p15 p157 p179 p110 p95 p197 p111 p121 p130 })
		({p77 p157 p179 p197 p217 p181 p140 p162 p131 } a54 {p177 p15 p214 p149 p160 p182 p199 p130 p141 })
		({p77 p127 p208 } a54 {p127 p15 p208 })
		({p46 p203 p128 p158 p144 } a68 {p211 p83 p137 p158 p209 p132 })
		({p210 p133 p81 p201 } a59 {p29 p202 p134 p136 p221 })
		({p133 p203 p17 p158 } a40 {p127 p211 p136 p158 p209 p60 })
		({p46 p148 p170 p180 p138 p190 p221 p124 p166 } a68 {p167 p83 p218 p122 p161 p183 p142 p201 p145 })
		({p102 p157 p95 p158 p137 p54 p130 } a34 {p30 p156 p128 p160 p140 p97 })
		({p100 p81 p109 p159 p121 p123 p186 } a59 {p187 p99 p29 p146 p168 p112 })
		({p210 p133 p48 p201 } a73 {p202 p134 p136 p85 p221 })
		({p147 p65 } a32 {p100 p26 p154 })
		({p155 p116 p46 p102 p119 p158 p137 p174 p193 } a68 {p156 p117 p101 p178 p118 p83 p128 p198 p104 p97 })
		({p100 p48 p109 p159 p121 p123 p186 } a73 {p187 p99 p146 p168 p85 p112 })
		({p133 p215 p67 p158 p199 } a82 {p127 p32 p136 p205 p158 p217 })
		({p77 p156 p179 p197 p128 p217 p181 p165 p144 } a54 {p177 p15 p214 p158 p137 p182 p199 p153 p132 })
		({p127 p67 p206 } a82 {p127 p32 p216 p208 })
		({p167 p47 p214 p198 } a48 {p167 p197 p22 })
		({p133 p81 p199 p220 } a59 {p29 p134 p136 p217 p200 })
		({p127 p17 p216 p207 } a40 {p127 p206 p60 })
		({p43 } a28 {p24 })
		({p46 p156 p179 p197 p137 p217 p181 p129 p165 } a68 {p177 p214 p83 p158 p128 p139 p182 p199 p153 })
		({p133 p48 p199 p220 } a73 {p134 p136 p217 p85 p200 })
		({p211 p156 p178 p67 p137 p198 p129 p165 } a82 {p203 p32 p171 p158 p128 p139 p153 })
		({p26 } a33 {p54 })
		({p176 p116 p195 p107 p147 p214 p119 p67 p182 p161 p142 p98 } a82 {p106 p94 p100 p117 p32 p148 p118 p179 p110 p197 p124 })
		({p81 p218 p189 p143 p124 } a59 {p29 p219 p190 p142 p125 })
		({p176 p195 p107 p147 p214 p67 p182 p161 p142 p115 p98 } a82 {p106 p94 p100 p32 p148 p179 p110 p197 p113 p124 })
		({p100 p101 p215 p67 p158 p138 p160 p161 p199 p124 } a82 {p100 p32 p101 p205 p158 p217 p122 p160 p161 p142 })
		({p10 } a53 {p77 })
		({p48 p218 p189 p143 p124 } a73 {p85 p219 p190 p142 p125 })
		({p7 } a58 {p81 })
		({p133 p212 p67 p158 p201 } a82 {p127 p32 p188 p136 p158 p221 })
		({p67 p128 p158 p206 p144 } a82 {p32 p216 p137 p158 p208 p132 })
		({p133 p46 p215 p158 p199 } a68 {p127 p136 p83 p205 p158 p217 })
		({p127 p46 p206 } a68 {p127 p83 p216 p208 })
		({p38 } a25 {p41 })
		({p17 p217 p200 p132 } a40 {p199 p220 p132 p60 })
		({p176 p195 p107 p214 p67 p120 p160 p182 p140 p112 p154 } a82 {p106 p32 p157 p179 p110 p95 p197 p111 p121 p130 })
		({p148 p170 p67 p180 p190 p221 p142 p166 p125 } a82 {p167 p32 p218 p161 p183 p143 p124 p201 p145 })
		({p203 p143 p124 p28 } a31 {p211 p65 p204 p142 p125 })
		({p157 p179 p67 p197 p217 p181 p140 p162 p131 } a82 {p177 p32 p214 p149 p160 p182 p199 p130 p141 })
		({p127 p67 p208 } a82 {p127 p32 p208 })
		({p46 p211 p156 p178 p137 p198 p129 p165 } a68 {p203 p83 p171 p158 p128 p139 p153 })
		({p29 p112 } a60 {p121 p75 p115 })
		({p17 p215 p199 p132 } a40 {p205 p217 p132 p60 })
		({p102 p157 p95 p158 p139 p54 p131 } a34 {p30 p156 p160 p129 p141 p97 })
		({p176 p116 p46 p195 p107 p147 p214 p119 p182 p161 p142 p98 } a68 {p106 p94 p100 p117 p148 p118 p179 p110 p83 p197 p124 })
		({p45 } a44 {p21 })
		({p170 p51 p190 } a46 {p178 p20 p198 p218 p183 })
		({p47 p103 p215 p171 p181 p209 } a48 {p177 p103 p205 p22 })
		({p46 p100 p101 p215 p158 p138 p160 p161 p199 p124 } a68 {p100 p101 p83 p205 p158 p217 p122 p160 p161 p142 })
		({p81 p199 p220 p143 p124 } a59 {p29 p217 p142 p200 p125 })
		({p50 } a0 {p38 })
		({p99 p210 p136 p137 p21 p159 p140 p142 p163 p164 p201 } a45 {p99 p202 p51 p136 p137 p159 p140 p221 p142 p163 p164 })
		({p67 p160 p140 p190 p221 p131 } a82 {p32 p218 p160 p130 p141 p201 })
		({p133 p46 p212 p158 p201 } a68 {p127 p188 p136 p83 p158 p221 })
		({p48 p199 p220 p143 p124 } a73 {p217 p85 p142 p200 p125 })
		({p156 p179 p67 p197 p128 p217 p181 p165 p144 } a82 {p177 p32 p214 p158 p137 p182 p199 p153 p132 })
		({p77 p101 p216 p158 p160 p161 p207 p142 p125 } a54 {p15 p101 p158 p206 p160 p161 p143 p124 })
		({p46 p128 p158 p206 p144 } a68 {p83 p216 p137 p158 p208 p132 })
		({p77 p197 p137 p158 p217 p129 } a54 {p15 p214 p128 p158 p139 p199 })
		({p133 p17 p158 p206 } a40 {p127 p136 p216 p158 p208 p60 })
		({p46 p148 p170 p180 p190 p221 p142 p166 p125 } a68 {p167 p83 p218 p161 p183 p143 p124 p201 p145 })
		({p99 p136 p137 p21 p159 p140 p142 p163 p221 p164 } a45 {p99 p51 p136 p137 p159 p140 p142 p163 p221 p164 })
		({p212 p17 p201 p132 } a40 {p188 p221 p132 p60 })
		({p46 p157 p179 p197 p217 p181 p140 p162 p131 } a68 {p177 p214 p149 p83 p160 p182 p199 p130 p141 })
		({p127 p46 p208 } a68 {p127 p83 p208 })
		({p211 p178 p157 p67 p198 p140 p162 p131 } a82 {p203 p32 p149 p171 p160 p130 p141 })
		({p211 p17 p204 p132 } a40 {p203 p132 p60 })
		({p30 p98 } a36 {p33 p98 })
		({p176 p77 p116 p195 p107 p214 p119 p160 p182 p140 p154 } a54 {p106 p15 p117 p157 p118 p179 p110 p95 p197 p130 })
		({p133 p156 p170 p67 p180 p190 p221 p165 } a82 {p167 p127 p32 p136 p158 p218 p183 p153 p201 })
		({p176 p77 p195 p107 p214 p160 p182 p140 p154 p115 } a54 {p106 p15 p157 p179 p110 p95 p197 p130 p113 })
		({p202 p17 p221 p132 } a40 {p210 p201 p132 p60 })
		({p46 p160 p140 p190 p221 p131 } a68 {p83 p218 p160 p130 p141 p201 })
		({p46 p156 p179 p197 p128 p217 p181 p165 p144 } a68 {p177 p214 p83 p158 p137 p182 p199 p153 p132 })
		({p77 p134 p136 p158 p217 p200 } a54 {p133 p15 p158 p199 p220 })
		({p211 p156 p178 p67 p128 p198 p165 p144 } a82 {p203 p32 p171 p158 p137 p153 p132 })
		({p133 p156 p17 p179 p197 p217 p181 p165 } a40 {p127 p177 p214 p136 p158 p182 p199 p153 p60 })
		({p81 p128 p218 p139 p189 } a59 {p29 p137 p129 p219 p190 })
		({p48 p128 p218 p139 p189 } a73 {p137 p85 p129 p219 p190 })
		({p77 p205 p132 } a54 {p15 p205 p132 })
		({p157 p170 p67 p180 p138 p190 p162 p221 p124 } a82 {p167 p32 p149 p218 p160 p122 p183 p142 p201 })
		({p81 p213 p217 p219 p143 p124 } a59 {p29 p213 p217 p219 p142 p125 })
		({p46 p211 p178 p157 p198 p140 p162 p131 } a68 {p203 p149 p83 p171 p160 p130 p141 })
		({p48 p213 p217 p219 p143 p124 } a73 {p213 p85 p217 p219 p142 p125 })
		({p133 p46 p156 p170 p180 p190 p221 p165 } a68 {p167 p127 p136 p83 p158 p218 p183 p153 p201 })
		({p210 p81 p128 p139 p201 } a59 {p29 p202 p137 p129 p221 })
		({p21 p190 p143 p124 } a45 {p51 p190 p142 p125 })
		({p210 p48 p128 p139 p201 } a73 {p202 p137 p85 p129 p221 })
		({p67 p197 p137 p158 p217 p129 } a82 {p32 p214 p128 p158 p139 p199 })
		({p34 } a78 {p40 })
		({p155 p108 p102 p17 p169 p158 p137 p120 p218 p191 p183 p112 } a40 {p156 p101 p103 p109 p170 p128 p111 p121 p190 p97 p60 })
		({p94 p135 p149 p54 p140 p141 p165 } a34 {p94 p30 p135 p140 p162 p141 p153 })
		({p49 } a75 {p14 })
		({p52 } a30 {p28 })
		({p46 p211 p156 p178 p128 p198 p165 p144 } a68 {p203 p83 p171 p158 p137 p153 p132 })
		({p167 p47 p203 p217 } a48 {p167 p211 p22 p199 })
		({p133 p211 p156 p178 p17 p198 p165 } a40 {p127 p203 p136 p171 p158 p153 p60 })
		({p81 p128 p139 p199 p220 } a59 {p29 p137 p217 p129 p200 })
		({p211 p67 p137 p158 p198 p129 } a82 {p203 p32 p128 p158 p139 })
		({p48 p128 p139 p199 p220 } a73 {p137 p217 p85 p129 p200 })
		({p176 p116 p195 p107 p214 p119 p67 p160 p182 p140 p154 } a82 {p106 p117 p32 p157 p118 p179 p110 p95 p197 p130 })
		({p176 p195 p107 p214 p67 p160 p182 p140 p154 p115 } a82 {p106 p32 p157 p179 p110 p95 p197 p130 p113 })
		({p46 p157 p170 p180 p138 p190 p162 p221 p124 } a68 {p167 p149 p83 p218 p160 p122 p183 p142 p201 })
		({p203 p67 p132 } a82 {p211 p32 p209 p132 })
		({p156 p170 p67 p180 p138 p190 p221 p165 p124 } a82 {p167 p32 p158 p218 p122 p183 p142 p153 p201 })
		({p47 p110 p173 p192 } a48 {p194 p22 p175 })
		({p134 p136 p67 p158 p217 p200 } a82 {p133 p32 p158 p199 p220 })
		({p42 } a29 {p52 })
		({p77 p194 p146 p107 p213 p120 p181 p112 p142 p175 p166 p98 } a54 {p106 p94 p100 p177 p15 p196 p110 p111 p159 p121 p124 p145 })
		({p46 p197 p137 p158 p217 p129 } a68 {p214 p83 p128 p158 p139 p199 })
		({p59 } a7 {p35 })
		({p77 p137 p158 p217 p129 p200 } a54 {p15 p128 p158 p139 p199 p220 })
		({p206 p143 p124 p28 } a31 {p65 p216 p207 p142 p125 })
		({p176 p77 p155 p195 p107 p102 p214 p158 p137 p120 p182 p112 } a54 {p106 p15 p156 p101 p179 p110 p197 p128 p111 p121 p97 })
		({p77 p206 p132 } a54 {p15 p216 p208 p132 })
		({p38 } a26 {p64 })
		({p77 p135 p215 p160 p199 p130 } a54 {p126 p15 p205 p217 p160 p140 })
		({p146 p65 p163 } a32 {p100 p159 p151 p26 })
		({p67 p205 p132 } a82 {p32 p205 p132 })
		({p65 p148 p160 p143 } a32 {p157 p161 p26 p143 })
		({p46 p211 p137 p158 p198 p129 } a68 {p203 p83 p128 p158 p139 })
		({p81 p217 p130 p141 } a59 {p29 p217 p140 p131 })
		({p126 p94 p149 p54 p165 p144 } a34 {p94 p30 p135 p162 p153 p132 })
		({p176 p116 p46 p195 p107 p214 p119 p160 p182 p140 p154 } a68 {p106 p117 p157 p118 p179 p110 p95 p83 p197 p130 })
		({p48 p217 p130 p141 } a73 {p85 p217 p140 p131 })
		({p68 p87 p89 p90 } a88 {p1 p69 p87 p89 p91 })
		({p46 p203 p132 } a68 {p211 p83 p209 p132 })
		({p46 p156 p170 p180 p138 p190 p221 p165 p124 } a68 {p167 p83 p158 p218 p122 p183 p142 p153 p201 })
		({p77 p100 p101 p206 p122 } a54 {p100 p15 p101 p216 p122 p208 })
		({p46 p134 p136 p158 p217 p200 } a68 {p133 p83 p158 p199 p220 })
		({p32 } a83 {p53 })
		({p70 } a17 {p13 })
		({p99 p203 p81 p136 p137 p159 p140 p142 p163 p164 } a59 {p29 p99 p211 p204 p136 p137 p159 p140 p142 p163 p164 })
		({p94 p30 p122 p145 } a36 {p127 p33 p150 p96 p138 p166 p98 })
		({p211 p134 p204 p136 p67 p158 } a82 {p133 p203 p32 p158 })
		({p167 p202 p103 p22 } a50 {p210 p108 p172 p180 p207 p105 p10 })
		({p99 p203 p48 p136 p137 p159 p140 p142 p163 p164 } a73 {p99 p211 p204 p136 p137 p85 p159 p140 p142 p163 p164 })
		({p94 p149 p137 p54 p130 p165 } a34 {p94 p30 p128 p140 p162 p153 })
		({p157 p170 p67 p180 p190 p162 p221 p142 p125 } a82 {p167 p32 p149 p218 p160 p183 p143 p124 p201 })
		({p128 p21 p139 p190 } a45 {p51 p137 p129 p190 })
		({p29 p121 } a60 {p121 p75 })
		({p202 p134 p136 p67 p158 p221 } a82 {p210 p133 p32 p158 p201 })
	},
	initialMarking = {p107 p109 p110 p111 p118 p119 p121 p122 p36 p210 p211 p212 p213 p135 p214 p136 p215 p137 p216 p217 p139 p218 p140 p219 p141 p220 p142 p221 p143 p144 p145 p158 p159 p86 p160 p161 p88 p162 p163 p90 p164 p165 p92 p167 p94 p99 p100 p101 p102 p103 p181 p182 p183 p184 },
	acceptingPlaces = {p62 p39 p11 p44 p76 }
);