INORDER = pp pq pr ps pt pu pa pb pc pd pe pf pg ph pi pj pk pl pm pn po;
OUTORDER = pv;
pv = pu*nj0;
n_n68 = !pn*[188];
n_n58 = !pl*[225];
n_n48 = !pg*[206];
n_n65 = !pm*[189];
n_n64 = !po*[190];
n_n67 = !po*[191];
n_n66 = !po*[192];
n_n61 = !pt*[193];
n_n60 = [194]*[195];
n_n63 = !pn*[196];
n_n62 = !pn*[197];
nb0 = [204] + [203];
n_n57 = !pk*[226];
n_n49 = !ph*[207];
n_n56 = !pi*[227];
n_n55 = !pk*[228];
n_n59 = !pj*[229];
n_n52 = !pl*[230];
n_n51 = [231]*[232];
n_n54 = !pl*[233];
n_n53 = !pj*[234];
ne0 = [241] + [240];
n_n50 = !pf*[208];
n_n47 = !pe*[209];
n_n46 = !pg*[210];
n_n43 = !ph*[211];
n_n42 = [212]*[213];
n_n45 = !ph*[214];
n_n44 = !pf*[215];
nf0 = [222] + [221];
n_n38 = !pa*[244];
n_n37 = !pc*[245];
n_n40 = !pd*[246];
n_n39 = !pc*[247];
n_n41 = !pb*[248];
n_n34 = !pd*[249];
n_n33 = [250]*[251];
n_n36 = !pd*[252];
n_n35 = !pb*[253];
ng0 = [260] + [259];
n_n32 = !nb0*[205];
n_n29 = !nf0*[223];
n_n28 = !nf0*[224];
n_n31 = !ne0*[242];
n_n30 = !ne0*[243];
n_n25 = !ng0*[261];
n_n24 = [262]*[263];
n_n27 = !ng0*[264];
n_n26 = !ng0*[265];
nj0 = [272] + [271];
[188] = !pm*ps;
[189] = pt*ps;
[190] = pt*!ps;
[191] = !ps*!pp;
[192] = !pm*pt;
[193] = !ps*!pp;
[194] = !pm*!pp;
[195] = !po*!pn;
[196] = !pt*!pp;
[197] = !pt*ps;
[198] = n_n68 + n_n65;
[199] = n_n64 + n_n67;
[200] = n_n66 + n_n61;
[201] = n_n60 + n_n63;
[202] = n_n62 + [198];
[203] = [199] + [200];
[204] = [201] + [202];
[205] = !pr*!pq;
[206] = !pe*pt;
[207] = !pg*!ps;
[208] = !pe*ps;
[209] = pt*ps;
[210] = pt*!ps;
[211] = !pt*!ps;
[212] = !pf*!pe;
[213] = !ph*!pg;
[214] = !pf*!pt;
[215] = !pt*ps;
[216] = n_n48 + n_n49;
[217] = n_n50 + n_n47;
[218] = n_n46 + n_n43;
[219] = n_n42 + n_n45;
[220] = n_n44 + [216];
[221] = [217] + [218];
[222] = [219] + [220];
[223] = !pr*pq;
[224] = !nb0*!pr;
[225] = !pk*!ps;
[226] = !pi*pt;
[227] = pt*ps;
[228] = pt*!ps;
[229] = !pi*ps;
[230] = !pt*!ps;
[231] = !pj*!pi;
[232] = !pl*!pk;
[233] = !pj*!pt;
[234] = !pt*ps;
[235] = n_n58 + n_n57;
[236] = n_n56 + n_n55;
[237] = n_n59 + n_n52;
[238] = n_n51 + n_n54;
[239] = n_n53 + [235];
[240] = [236] + [237];
[241] = [238] + [239];
[242] = pr*!pq;
[243] = !nb0*!pq;
[244] = pt*ps;
[245] = pt*!ps;
[246] = !pc*!ps;
[247] = !pa*pt;
[248] = !pa*ps;
[249] = !pt*!ps;
[250] = !pb*!pa;
[251] = !pd*!pc;
[252] = !pb*!pt;
[253] = !pt*ps;
[254] = n_n38 + n_n37;
[255] = n_n40 + n_n39;
[256] = n_n41 + n_n34;
[257] = n_n33 + n_n36;
[258] = n_n35 + [254];
[259] = [255] + [256];
[260] = [257] + [258];
[261] = !nf0*pq;
[262] = !ne0*!nb0;
[263] = !ng0*!nf0;
[264] = pr*pq;
[265] = !ne0*pr;
[266] = n_n32 + n_n29;
[267] = n_n31 + n_n27;
[268] = n_n28 + n_n30;
[269] = n_n25 + n_n24;
[270] = n_n26 + [266];
[271] = [267] + [268];
[272] = [269] + [270];