INORDER = pa pb pc pd pe pf pg ph pi;
OUTORDER = pp pa0 pq pb0 pr ps pt pu pv pw px py pz pj pk pl pm pn po;
pp = nt1 + nu1;
pa0 = [212] + [211];
pq = [230] + [229];
pb0 = [213]*[214];
pr = [231]*[232];
ps = [233]*[234];
pt = [235]*[236];
pu = [197]*[198];
pv = [245] + [244];
pw = [251] + [250];
px = [257] + [256];
py = [259] + [258];
pz = [261] + [260];
pj = [276] + [275];
pk = [289] + [288];
pl = [298] + [297];
pm = [302] + [301];
pn = no1 + pt;
po = nv1 + nw1;
nx1 = [277]*[278];
ny1 = [279]*[280];
nw1 = [262]*[263];
nv1 = [264]*[265];
ns1 = [200]*[201];
nq1 = [205]*[206];
np1 = [219]*[220];
n_n49 = [225]*[226];
nr1 = [209]*[210];
nz1 = [237]*[238];
nu1 = [193]*[194];
nt1 = [195]*[196];
no1 = [266]*[267];
[193] = !pb*!pa;
[194] = pi*pc;
[195] = !pb*!pa;
[196] = !pi*pc;
[197] = !pb*pa;
[198] = pi*pc;
[199] = !pb*!pa;
[200] = !pd*!pc;
[201] = [199]*pe;
[202] = !pb*!pa;
[203] = !pd*!pc;
[204] = !pf*!pe;
[205] = [202]*pg;
[206] = [204]*[203];
[207] = !pb*!pa;
[208] = !pd*!pc;
[209] = pf*!pe;
[210] = [208]*[207];
[211] = pu + ns1;
[212] = nq1 + nr1;
[213] = !pb*!pa;
[214] = pd*!pc;
[215] = !pb*!pa;
[216] = !pd*!pc;
[217] = !pf*!pe;
[218] = ph*!pg;
[219] = [216]*[215];
[220] = [218]*[217];
[221] = !pb*!pa;
[222] = !pd*!pc;
[223] = !pf*!pe;
[224] = !ph*!pg;
[225] = [222]*[221];
[226] = [224]*[223];
[227] = pb0 + ns1;
[228] = nq1 + np1;
[229] = n_n49 + nr1;
[230] = [227] + [228];
[231] = pb*!pa;
[232] = pi*!pc;
[233] = pb*!pa;
[234] = pi*pc;
[235] = !pb*pa;
[236] = pi*!pc;
[237] = !pb*pa;
[238] = !pi*pc;
[239] = pr + ps;
[240] = pt + pu;
[241] = nz1 + ns1;
[242] = nq1 + np1;
[243] = nr1 + [239];
[244] = [240] + [241];
[245] = [242] + [243];
[246] = pr + ps;
[247] = pt + pu;
[248] = ns1 + nq1;
[249] = np1 + nr1;
[250] = [246] + [247];
[251] = [248] + [249];
[252] = pr + ps;
[253] = pt + pu;
[254] = ns1 + nq1;
[255] = np1 + nr1;
[256] = [252] + [253];
[257] = [254] + [255];
[258] = pr + pt;
[259] = ns1 + nq1;
[260] = pr + pu;
[261] = ns1 + np1;
[262] = pb*pa;
[263] = pi*!pc;
[264] = pb*pa;
[265] = !pi*!pc;
[266] = !pb*pa;
[267] = !pi*!pc;
[268] = pr + ps;
[269] = pt + pu;
[270] = nw1 + nv1;
[271] = nz1 + nu1;
[272] = no1 + nq1;
[273] = np1 + [268];
[274] = [269] + [270];
[275] = [271] + [272];
[276] = [273] + [274];
[277] = pb*!pa;
[278] = !pi*!pc;
[279] = pb*!pa;
[280] = !pi*pc;
[281] = pr + ps;
[282] = pt + pu;
[283] = nx1 + ny1;
[284] = nw1 + nv1;
[285] = nu1 + ns1;
[286] = nr1 + [281];
[287] = [282] + [283];
[288] = [284] + [285];
[289] = [286] + [287];
[290] = pb0 + pr;
[291] = ps + pt;
[292] = ny1 + nw1;
[293] = nz1 + nu1;
[294] = nt1 + np1;
[295] = nr1 + [290];
[296] = [291] + [292];
[297] = [293] + [294];
[298] = [295] + [296];
[299] = pr + ps;
[300] = pu + nx1;
[301] = ny1 + nz1;
[302] = [299] + [300];